SEPARATING POINTS Please view this file in a non-proportional font such as Lucida Console. This file shows the causal set for the Point Separation problem. The causal set has 1322 elements and 1842 precedence relations. The elements are numbered 0 to 1321. The precedence relations are arbitrarily numbered 0 to 1841. The table below lists the precedence relations, ten per row. For example, the first precedence relation is 0 < 401, and indicates that element 0 precedes element 401. The value of the action functional for the identical permutation is 1,246,808. This file is machine-readable. 0 < 401, 167 < 401, 0 < 402, 168 < 402, 0 < 403, 169 < 403, 0 < 404, 170 < 404, 0 < 405, 171 < 405, 0 < 406, 172 < 406, 1 < 407, 169 < 407, 1 < 408, 173 < 408, 1 < 409, 174 < 409, 1 < 410, 172 < 410, 1 < 411, 175 < 411, 1 < 412, 176 < 412, 2 < 413, 176 < 413, 2 < 414, 177 < 414, 2 < 415, 178 < 415, 2 < 416, 179 < 416, 2 < 417, 180 < 417, 2 < 418, 181 < 418, 3 < 419, 171 < 419, 3 < 420, 172 < 420, 3 < 421, 175 < 421, 3 < 422, 182 < 422, 3 < 423, 183 < 423, 3 < 424, 184 < 424, 4 < 425, 172 < 425, 4 < 426, 175 < 426, 4 < 427, 176 < 427, 4 < 428, 183 < 428, 4 < 429, 184 < 429, 4 < 430, 179 < 430, 5 < 431, 175 < 431, 5 < 432, 176 < 432, 5 < 433, 177 < 433, 5 < 434, 184 < 434, 5 < 435, 179 < 435, 5 < 436, 180 < 436, 6 < 437, 170 < 437, 6 < 438, 171 < 438, 6 < 439, 185 < 439, 6 < 440, 182 < 440, 6 < 441, 186 < 441, 6 < 442, 187 < 442, 7 < 443, 170 < 443, 7 < 444, 171 < 444, 7 < 445, 172 < 445, 7 < 446, 185 < 446, 7 < 447, 182 < 447, 7 < 448, 183 < 448, 7 < 449, 186 < 449, 7 < 450, 187 < 450, 7 < 451, 188 < 451, 8 < 452, 172 < 452, 8 < 453, 175 < 453, 8 < 454, 183 < 454, 8 < 455, 184 < 455, 8 < 456, 188 < 456, 8 < 457, 189 < 457, 9 < 458, 175 < 458, 9 < 459, 176 < 459, 9 < 460, 177 < 460, 9 < 461, 184 < 461, 9 < 462, 179 < 462, 9 < 463, 180 < 463, 9 < 464, 189 < 464, 9 < 465, 190 < 465, 9 < 466, 191 < 466, 10 < 467, 176 < 467, 10 < 468, 177 < 468, 10 < 469, 178 < 469, 10 < 470, 179 < 470, 10 < 471, 180 < 471, 10 < 472, 181 < 472, 11 < 473, 177 < 473, 11 < 474, 178 < 474, 11 < 475, 180 < 475, 11 < 476, 181 < 476, 11 < 477, 191 < 477, 11 < 478, 192 < 478, 12 < 479, 184 < 479, 12 < 480, 179 < 480, 12 < 481, 189 < 481, 12 < 482, 190 < 482, 13 < 483, 183 < 483, 13 < 484, 184 < 484, 13 < 485, 188 < 485, 13 < 486, 189 < 486, 14 < 487, 185 < 487, 14 < 488, 182 < 488, 14 < 489, 186 < 489, 14 < 490, 187 < 490, 15 < 491, 184 < 491, 15 < 492, 179 < 492, 15 < 493, 189 < 493, 15 < 494, 190 < 494, 15 < 495, 193 < 495, 15 < 496, 194 < 496, 16 < 497, 190 < 497, 16 < 498, 191 < 498, 16 < 499, 192 < 499, 16 < 500, 194 < 500, 16 < 501, 195 < 501, 16 < 502, 196 < 502, 17 < 503, 171 < 503, 17 < 504, 172 < 504, 17 < 505, 182 < 505, 17 < 506, 183 < 506, 18 < 507, 171 < 507, 18 < 508, 172 < 508, 18 < 509, 175 < 509, 18 < 510, 182 < 510, 18 < 511, 183 < 511, 18 < 512, 184 < 512, 18 < 513, 187 < 513, 18 < 514, 188 < 514, 18 < 515, 189 < 515, 19 < 516, 189 < 516, 19 < 517, 190 < 517, 19 < 518, 193 < 518, 19 < 519, 194 < 519, 20 < 520, 189 < 520, 20 < 521, 190 < 521, 20 < 522, 193 < 522, 20 < 523, 194 < 523, 20 < 524, 197 < 524, 20 < 525, 198 < 525, 21 < 526, 199 < 526, 21 < 527, 200 < 527, 21 < 528, 201 < 528, 21 < 529, 202 < 529, 21 < 530, 203 < 530, 21 < 531, 204 < 531, 22 < 532, 201 < 532, 22 < 533, 193 < 533, 22 < 534, 204 < 534, 22 < 535, 197 < 535, 23 < 536, 199 < 536, 23 < 537, 200 < 537, 23 < 538, 201 < 538, 23 < 539, 202 < 539, 23 < 540, 203 < 540, 23 < 541, 204 < 541, 24 < 542, 200 < 542, 24 < 543, 201 < 543, 24 < 544, 193 < 544, 24 < 545, 203 < 545, 24 < 546, 204 < 546, 24 < 547, 197 < 547, 25 < 548, 201 < 548, 25 < 549, 193 < 549, 25 < 550, 194 < 550, 25 < 551, 204 < 551, 25 < 552, 197 < 552, 25 < 553, 198 < 553, 26 < 554, 202 < 554, 26 < 555, 203 < 555, 26 < 556, 205 < 556, 26 < 557, 206 < 557, 27 < 558, 202 < 558, 27 < 559, 203 < 559, 27 < 560, 204 < 560, 27 < 561, 205 < 561, 27 < 562, 206 < 562, 27 < 563, 207 < 563, 28 < 564, 203 < 564, 28 < 565, 204 < 565, 28 < 566, 206 < 566, 28 < 567, 207 < 567, 29 < 568, 208 < 568, 29 < 569, 209 < 569, 29 < 570, 210 < 570, 29 < 571, 211 < 571, 30 < 572, 209 < 572, 30 < 573, 212 < 573, 30 < 574, 211 < 574, 30 < 575, 213 < 575, 31 < 576, 214 < 576, 31 < 577, 215 < 577, 31 < 578, 216 < 578, 31 < 579, 217 < 579, 32 < 580, 214 < 580, 32 < 581, 215 < 581, 32 < 582, 216 < 582, 32 < 583, 217 < 583, 32 < 584, 218 < 584, 32 < 585, 219 < 585, 33 < 586, 215 < 586, 33 < 587, 208 < 587, 33 < 588, 217 < 588, 33 < 589, 210 < 589, 33 < 590, 219 < 590, 33 < 591, 220 < 591, 34 < 592, 221 < 592, 34 < 593, 222 < 593, 34 < 594, 223 < 594, 34 < 595, 224 < 595, 35 < 596, 225 < 596, 35 < 597, 216 < 597, 35 < 598, 217 < 598, 35 < 599, 222 < 599, 35 < 600, 218 < 600, 35 < 601, 219 < 601, 36 < 602, 211 < 602, 36 < 603, 213 < 603, 36 < 604, 226 < 604, 36 < 605, 227 < 605, 37 < 606, 210 < 606, 37 < 607, 211 < 607, 37 < 608, 220 < 608, 37 < 609, 226 < 609, 37 < 610, 228 < 610, 37 < 611, 229 < 611, 38 < 612, 211 < 612, 38 < 613, 213 < 613, 38 < 614, 230 < 614, 38 < 615, 226 < 615, 38 < 616, 227 < 616, 38 < 617, 231 < 617, 38 < 618, 229 < 618, 38 < 619, 232 < 619, 38 < 620, 233 < 620, 39 < 621, 218 < 621, 39 < 622, 219 < 622, 39 < 623, 234 < 623, 39 < 624, 235 < 624, 40 < 625, 221 < 625, 40 < 626, 222 < 626, 40 < 627, 218 < 627, 40 < 628, 223 < 628, 40 < 629, 224 < 629, 40 < 630, 234 < 630, 41 < 631, 236 < 631, 41 < 632, 223 < 632, 41 < 633, 237 < 633, 41 < 634, 238 < 634, 42 < 635, 239 < 635, 42 < 636, 221 < 636, 42 < 637, 222 < 637, 42 < 638, 236 < 638, 42 < 639, 223 < 639, 42 < 640, 224 < 640, 43 < 641, 222 < 641, 43 < 642, 218 < 642, 43 < 643, 224 < 643, 43 < 644, 234 < 644, 44 < 645, 219 < 645, 44 < 646, 220 < 646, 44 < 647, 235 < 647, 44 < 648, 228 < 648, 45 < 649, 226 < 649, 45 < 650, 227 < 650, 45 < 651, 229 < 651, 45 < 652, 232 < 652, 45 < 653, 240 < 653, 45 < 654, 241 < 654, 46 < 655, 242 < 655, 46 < 656, 236 < 656, 46 < 657, 243 < 657, 46 < 658, 237 < 658, 47 < 659, 236 < 659, 47 < 660, 223 < 660, 47 < 661, 237 < 661, 47 < 662, 238 < 662, 48 < 663, 223 < 663, 48 < 664, 224 < 664, 48 < 665, 238 < 665, 48 < 666, 244 < 666, 49 < 667, 234 < 667, 49 < 668, 235 < 668, 49 < 669, 245 < 669, 49 < 670, 246 < 670, 50 < 671, 235 < 671, 50 < 672, 228 < 672, 50 < 673, 246 < 673, 50 < 674, 247 < 674, 51 < 675, 248 < 675, 51 < 676, 242 < 676, 51 < 677, 249 < 677, 51 < 678, 243 < 678, 51 < 679, 250 < 679, 51 < 680, 251 < 680, 52 < 681, 228 < 681, 52 < 682, 229 < 682, 52 < 683, 247 < 683, 52 < 684, 240 < 684, 52 < 685, 252 < 685, 52 < 686, 253 < 686, 53 < 687, 249 < 687, 53 < 688, 243 < 688, 53 < 689, 237 < 689, 53 < 690, 250 < 690, 53 < 691, 251 < 691, 53 < 692, 254 < 692, 54 < 693, 237 < 693, 54 < 694, 238 < 694, 54 < 695, 244 < 695, 54 < 696, 254 < 696, 54 < 697, 255 < 697, 54 < 698, 256 < 698, 55 < 699, 244 < 699, 55 < 700, 245 < 700, 55 < 701, 246 < 701, 55 < 702, 256 < 702, 55 < 703, 257 < 703, 55 < 704, 258 < 704, 56 < 705, 246 < 705, 56 < 706, 247 < 706, 56 < 707, 258 < 707, 56 < 708, 252 < 708, 57 < 709, 259 < 709, 57 < 710, 260 < 710, 57 < 711, 261 < 711, 57 < 712, 262 < 712, 57 < 713, 263 < 713, 57 < 714, 264 < 714, 58 < 715, 260 < 715, 58 < 716, 249 < 716, 58 < 717, 262 < 717, 58 < 718, 250 < 718, 58 < 719, 264 < 719, 58 < 720, 265 < 720, 59 < 721, 243 < 721, 59 < 722, 237 < 722, 59 < 723, 238 < 723, 59 < 724, 251 < 724, 59 < 725, 254 < 725, 59 < 726, 255 < 726, 59 < 727, 266 < 727, 59 < 728, 267 < 728, 59 < 729, 268 < 729, 60 < 730, 238 < 730, 60 < 731, 244 < 731, 60 < 732, 255 < 732, 60 < 733, 256 < 733, 60 < 734, 268 < 734, 60 < 735, 269 < 735, 61 < 736, 244 < 736, 61 < 737, 245 < 737, 61 < 738, 256 < 738, 61 < 739, 257 < 739, 61 < 740, 269 < 740, 61 < 741, 270 < 741, 62 < 742, 245 < 742, 62 < 743, 246 < 743, 62 < 744, 257 < 744, 62 < 745, 258 < 745, 62 < 746, 270 < 746, 62 < 747, 271 < 747, 63 < 748, 261 < 748, 63 < 749, 262 < 749, 63 < 750, 250 < 750, 63 < 751, 263 < 751, 63 < 752, 264 < 752, 63 < 753, 265 < 753, 64 < 754, 250 < 754, 64 < 755, 251 < 755, 64 < 756, 265 < 756, 64 < 757, 266 < 757, 65 < 758, 251 < 758, 65 < 759, 254 < 759, 65 < 760, 266 < 760, 65 < 761, 267 < 761, 66 < 762, 256 < 762, 66 < 763, 257 < 763, 66 < 764, 269 < 764, 66 < 765, 270 < 765, 67 < 766, 255 < 766, 67 < 767, 256 < 767, 67 < 768, 268 < 768, 67 < 769, 269 < 769, 68 < 770, 250 < 770, 68 < 771, 251 < 771, 68 < 772, 265 < 772, 68 < 773, 266 < 773, 68 < 774, 272 < 774, 68 < 775, 273 < 775, 69 < 776, 255 < 776, 69 < 777, 256 < 777, 69 < 778, 257 < 778, 69 < 779, 268 < 779, 69 < 780, 269 < 780, 69 < 781, 270 < 781, 69 < 782, 274 < 782, 69 < 783, 275 < 783, 69 < 784, 276 < 784, 70 < 785, 267 < 785, 70 < 786, 268 < 786, 70 < 787, 277 < 787, 70 < 788, 274 < 788, 71 < 789, 267 < 789, 71 < 790, 268 < 790, 71 < 791, 269 < 791, 71 < 792, 277 < 792, 71 < 793, 274 < 793, 71 < 794, 275 < 794, 72 < 795, 278 < 795, 72 < 796, 272 < 796, 72 < 797, 279 < 797, 72 < 798, 280 < 798, 73 < 799, 264 < 799, 73 < 800, 265 < 800, 73 < 801, 266 < 801, 73 < 802, 278 < 802, 73 < 803, 272 < 803, 73 < 804, 273 < 804, 73 < 805, 279 < 805, 73 < 806, 280 < 806, 73 < 807, 281 < 807, 74 < 808, 266 < 808, 74 < 809, 267 < 809, 74 < 810, 273 < 810, 74 < 811, 277 < 811, 74 < 812, 281 < 812, 74 < 813, 282 < 813, 75 < 814, 277 < 814, 75 < 815, 274 < 815, 75 < 816, 282 < 816, 75 < 817, 283 < 817, 76 < 818, 268 < 818, 76 < 819, 269 < 819, 76 < 820, 274 < 820, 76 < 821, 275 < 821, 76 < 822, 283 < 822, 76 < 823, 284 < 823, 77 < 824, 272 < 824, 77 < 825, 273 < 825, 77 < 826, 280 < 826, 77 < 827, 281 < 827, 78 < 828, 273 < 828, 78 < 829, 277 < 829, 78 < 830, 274 < 830, 78 < 831, 281 < 831, 78 < 832, 282 < 832, 78 < 833, 283 < 833, 78 < 834, 285 < 834, 78 < 835, 286 < 835, 78 < 836, 287 < 836, 79 < 837, 288 < 837, 79 < 838, 279 < 838, 79 < 839, 280 < 839, 79 < 840, 289 < 840, 79 < 841, 290 < 841, 79 < 842, 291 < 842, 80 < 843, 279 < 843, 80 < 844, 280 < 844, 80 < 845, 290 < 845, 80 < 846, 291 < 846, 81 < 847, 280 < 847, 81 < 848, 281 < 848, 81 < 849, 291 < 849, 81 < 850, 285 < 850, 82 < 851, 281 < 851, 82 < 852, 282 < 852, 82 < 853, 283 < 853, 82 < 854, 285 < 854, 82 < 855, 286 < 855, 82 < 856, 287 < 856, 83 < 857, 288 < 857, 83 < 858, 279 < 858, 83 < 859, 289 < 859, 83 < 860, 290 < 860, 83 < 861, 292 < 861, 83 < 862, 293 < 862, 84 < 863, 280 < 863, 84 < 864, 281 < 864, 84 < 865, 282 < 865, 84 < 866, 291 < 866, 84 < 867, 285 < 867, 84 < 868, 286 < 868, 84 < 869, 294 < 869, 84 < 870, 295 < 870, 84 < 871, 296 < 871, 85 < 872, 290 < 872, 85 < 873, 291 < 873, 85 < 874, 293 < 874, 85 < 875, 294 < 875, 86 < 876, 286 < 876, 86 < 877, 287 < 877, 86 < 878, 296 < 878, 86 < 879, 297 < 879, 87 < 880, 290 < 880, 87 < 881, 291 < 881, 87 < 882, 285 < 882, 87 < 883, 293 < 883, 87 < 884, 294 < 884, 87 < 885, 295 < 885, 87 < 886, 298 < 886, 87 < 887, 299 < 887, 87 < 888, 300 < 888, 88 < 889, 296 < 889, 88 < 890, 297 < 890, 88 < 891, 301 < 891, 88 < 892, 302 < 892, 89 < 893, 293 < 893, 89 < 894, 294 < 894, 89 < 895, 295 < 895, 89 < 896, 298 < 896, 89 < 897, 299 < 897, 89 < 898, 300 < 898, 90 < 899, 295 < 899, 90 < 900, 296 < 900, 90 < 901, 297 < 901, 90 < 902, 300 < 902, 90 < 903, 301 < 903, 90 < 904, 302 < 904, 91 < 905, 294 < 905, 91 < 906, 295 < 906, 91 < 907, 299 < 907, 91 < 908, 300 < 908, 91 < 909, 303 < 909, 91 < 910, 304 < 910, 92 < 911, 295 < 911, 92 < 912, 296 < 912, 92 < 913, 300 < 913, 92 < 914, 301 < 914, 92 < 915, 304 < 915, 92 < 916, 305 < 916, 93 < 917, 301 < 917, 93 < 918, 302 < 918, 93 < 919, 305 < 919, 93 < 920, 306 < 920, 94 < 921, 298 < 921, 94 < 922, 299 < 922, 94 < 923, 300 < 923, 94 < 924, 307 < 924, 94 < 925, 303 < 925, 94 < 926, 304 < 926, 95 < 927, 299 < 927, 95 < 928, 300 < 928, 95 < 929, 303 < 929, 95 < 930, 304 < 930, 96 < 931, 298 < 931, 96 < 932, 299 < 932, 96 < 933, 300 < 933, 96 < 934, 307 < 934, 96 < 935, 303 < 935, 96 < 936, 304 < 936, 96 < 937, 308 < 937, 96 < 938, 309 < 938, 96 < 939, 310 < 939, 97 < 940, 300 < 940, 97 < 941, 301 < 941, 97 < 942, 304 < 942, 97 < 943, 305 < 943, 97 < 944, 310 < 944, 97 < 945, 311 < 945, 98 < 946, 301 < 946, 98 < 947, 302 < 947, 98 < 948, 305 < 948, 98 < 949, 306 < 949, 98 < 950, 311 < 950, 98 < 951, 312 < 951, 99 < 952, 303 < 952, 99 < 953, 304 < 953, 99 < 954, 309 < 954, 99 < 955, 310 < 955, 100 < 956, 304 < 956, 100 < 957, 305 < 957, 100 < 958, 306 < 958, 100 < 959, 310 < 959, 100 < 960, 311 < 960, 100 < 961, 312 < 961, 100 < 962, 313 < 962, 100 < 963, 314 < 963, 100 < 964, 315 < 964, 101 < 965, 306 < 965, 101 < 966, 316 < 966, 101 < 967, 312 < 967, 101 < 968, 317 < 968, 101 < 969, 315 < 969, 101 < 970, 318 < 970, 102 < 971, 316 < 971, 102 < 972, 319 < 972, 102 < 973, 317 < 973, 102 < 974, 320 < 974, 103 < 975, 309 < 975, 103 < 976, 310 < 976, 103 < 977, 311 < 977, 103 < 978, 321 < 978, 103 < 979, 313 < 979, 103 < 980, 314 < 980, 104 < 981, 322 < 981, 104 < 982, 323 < 982, 104 < 983, 324 < 983, 104 < 984, 325 < 984, 104 < 985, 326 < 985, 104 < 986, 327 < 986, 105 < 987, 311 < 987, 105 < 988, 312 < 988, 105 < 989, 317 < 989, 105 < 990, 314 < 990, 105 < 991, 315 < 991, 105 < 992, 318 < 992, 106 < 993, 317 < 993, 106 < 994, 320 < 994, 106 < 995, 318 < 995, 106 < 996, 328 < 996, 107 < 997, 323 < 997, 107 < 998, 324 < 998, 107 < 999, 326 < 999, 107 < 1000, 327 < 1000, 108 < 1001, 310 < 1001, 108 < 1002, 311 < 1002, 108 < 1003, 312 < 1003, 108 < 1004, 313 < 1004, 108 < 1005, 314 < 1005, 108 < 1006, 315 < 1006, 108 < 1007, 329 < 1007, 108 < 1008, 330 < 1008, 108 < 1009, 331 < 1009, 109 < 1010, 322 < 1010, 109 < 1011, 323 < 1011, 109 < 1012, 325 < 1012, 109 < 1013, 326 < 1013, 109 < 1014, 332 < 1014, 109 < 1015, 333 < 1015, 110 < 1016, 324 < 1016, 110 < 1017, 334 < 1017, 110 < 1018, 335 < 1018, 110 < 1019, 327 < 1019, 110 < 1020, 336 < 1020, 110 < 1021, 337 < 1021, 110 < 1022, 338 < 1022, 110 < 1023, 339 < 1023, 110 < 1024, 340 < 1024, 111 < 1025, 314 < 1025, 111 < 1026, 315 < 1026, 111 < 1027, 318 < 1027, 111 < 1028, 330 < 1028, 111 < 1029, 331 < 1029, 111 < 1030, 341 < 1030, 112 < 1031, 318 < 1031, 112 < 1032, 328 < 1032, 112 < 1033, 341 < 1033, 112 < 1034, 342 < 1034, 113 < 1035, 328 < 1035, 113 < 1036, 343 < 1036, 113 < 1037, 342 < 1037, 113 < 1038, 344 < 1038, 114 < 1039, 328 < 1039, 114 < 1040, 343 < 1040, 114 < 1041, 325 < 1041, 114 < 1042, 342 < 1042, 114 < 1043, 344 < 1043, 114 < 1044, 332 < 1044, 115 < 1045, 343 < 1045, 115 < 1046, 325 < 1046, 115 < 1047, 326 < 1047, 115 < 1048, 344 < 1048, 115 < 1049, 332 < 1049, 115 < 1050, 333 < 1050, 116 < 1051, 325 < 1051, 116 < 1052, 326 < 1052, 116 < 1053, 327 < 1053, 116 < 1054, 332 < 1054, 116 < 1055, 333 < 1055, 116 < 1056, 338 < 1056, 117 < 1057, 326 < 1057, 117 < 1058, 327 < 1058, 117 < 1059, 333 < 1059, 117 < 1060, 338 < 1060, 118 < 1061, 328 < 1061, 118 < 1062, 343 < 1062, 118 < 1063, 325 < 1063, 118 < 1064, 342 < 1064, 118 < 1065, 344 < 1065, 118 < 1066, 332 < 1066, 118 < 1067, 345 < 1067, 118 < 1068, 346 < 1068, 118 < 1069, 347 < 1069, 119 < 1070, 326 < 1070, 119 < 1071, 327 < 1071, 119 < 1072, 333 < 1072, 119 < 1073, 338 < 1073, 119 < 1074, 348 < 1074, 119 < 1075, 349 < 1075, 120 < 1076, 327 < 1076, 120 < 1077, 336 < 1077, 120 < 1078, 338 < 1078, 120 < 1079, 339 < 1079, 120 < 1080, 349 < 1080, 120 < 1081, 350 < 1081, 121 < 1082, 330 < 1082, 121 < 1083, 331 < 1083, 121 < 1084, 341 < 1084, 121 < 1085, 351 < 1085, 121 < 1086, 352 < 1086, 121 < 1087, 353 < 1087, 122 < 1088, 344 < 1088, 122 < 1089, 332 < 1089, 122 < 1090, 333 < 1090, 122 < 1091, 346 < 1091, 122 < 1092, 347 < 1092, 122 < 1093, 348 < 1093, 123 < 1094, 341 < 1094, 123 < 1095, 342 < 1095, 123 < 1096, 344 < 1096, 123 < 1097, 353 < 1097, 123 < 1098, 345 < 1098, 123 < 1099, 346 < 1099, 124 < 1100, 344 < 1100, 124 < 1101, 332 < 1101, 124 < 1102, 346 < 1102, 124 < 1103, 347 < 1103, 125 < 1104, 333 < 1104, 125 < 1105, 338 < 1105, 125 < 1106, 339 < 1106, 125 < 1107, 348 < 1107, 125 < 1108, 349 < 1108, 125 < 1109, 350 < 1109, 126 < 1110, 331 < 1110, 126 < 1111, 341 < 1111, 126 < 1112, 352 < 1112, 126 < 1113, 353 < 1113, 127 < 1114, 341 < 1114, 127 < 1115, 342 < 1115, 127 < 1116, 353 < 1116, 127 < 1117, 345 < 1117, 127 < 1118, 354 < 1118, 127 < 1119, 355 < 1119, 128 < 1120, 342 < 1120, 128 < 1121, 344 < 1121, 128 < 1122, 345 < 1122, 128 < 1123, 346 < 1123, 128 < 1124, 355 < 1124, 128 < 1125, 356 < 1125, 129 < 1126, 332 < 1126, 129 < 1127, 333 < 1127, 129 < 1128, 347 < 1128, 129 < 1129, 348 < 1129, 129 < 1130, 357 < 1130, 129 < 1131, 358 < 1131, 130 < 1132, 348 < 1132, 130 < 1133, 349 < 1133, 130 < 1134, 350 < 1134, 130 < 1135, 358 < 1135, 130 < 1136, 359 < 1136, 130 < 1137, 360 < 1137, 131 < 1138, 352 < 1138, 131 < 1139, 353 < 1139, 131 < 1140, 361 < 1140, 131 < 1141, 354 < 1141, 132 < 1142, 348 < 1142, 132 < 1143, 349 < 1143, 132 < 1144, 358 < 1144, 132 < 1145, 359 < 1145, 132 < 1146, 362 < 1146, 132 < 1147, 363 < 1147, 133 < 1148, 241 < 1148, 133 < 1149, 364 < 1149, 133 < 1150, 365 < 1150, 133 < 1151, 366 < 1151, 133 < 1152, 367 < 1152, 133 < 1153, 368 < 1153, 134 < 1154, 365 < 1154, 134 < 1155, 366 < 1155, 134 < 1156, 367 < 1156, 134 < 1157, 368 < 1157, 135 < 1158, 367 < 1158, 135 < 1159, 368 < 1159, 135 < 1160, 369 < 1160, 135 < 1161, 370 < 1161, 136 < 1162, 371 < 1162, 136 < 1163, 367 < 1163, 136 < 1164, 372 < 1164, 136 < 1165, 369 < 1165, 137 < 1166, 367 < 1166, 137 < 1167, 368 < 1167, 137 < 1168, 373 < 1168, 137 < 1169, 369 < 1169, 137 < 1170, 370 < 1170, 137 < 1171, 374 < 1171, 138 < 1172, 375 < 1172, 138 < 1173, 372 < 1173, 138 < 1174, 376 < 1174, 138 < 1175, 377 < 1175, 139 < 1176, 367 < 1176, 139 < 1177, 368 < 1177, 139 < 1178, 369 < 1178, 139 < 1179, 370 < 1179, 139 < 1180, 378 < 1180, 139 < 1181, 379 < 1181, 140 < 1182, 372 < 1182, 140 < 1183, 369 < 1183, 140 < 1184, 370 < 1184, 140 < 1185, 377 < 1185, 140 < 1186, 378 < 1186, 140 < 1187, 379 < 1187, 141 < 1188, 380 < 1188, 141 < 1189, 375 < 1189, 141 < 1190, 381 < 1190, 141 < 1191, 376 < 1191, 142 < 1192, 375 < 1192, 142 < 1193, 372 < 1193, 142 < 1194, 376 < 1194, 142 < 1195, 377 < 1195, 143 < 1196, 375 < 1196, 143 < 1197, 372 < 1197, 143 < 1198, 369 < 1198, 143 < 1199, 376 < 1199, 143 < 1200, 377 < 1200, 143 < 1201, 378 < 1201, 144 < 1202, 381 < 1202, 144 < 1203, 376 < 1203, 144 < 1204, 382 < 1204, 144 < 1205, 383 < 1205, 145 < 1206, 375 < 1206, 145 < 1207, 372 < 1207, 145 < 1208, 369 < 1208, 145 < 1209, 376 < 1209, 145 < 1210, 377 < 1210, 145 < 1211, 378 < 1211, 146 < 1212, 378 < 1212, 146 < 1213, 379 < 1213, 146 < 1214, 384 < 1214, 146 < 1215, 385 < 1215, 147 < 1216, 376 < 1216, 147 < 1217, 377 < 1217, 147 < 1218, 383 < 1218, 147 < 1219, 386 < 1219, 148 < 1220, 377 < 1220, 148 < 1221, 378 < 1221, 148 < 1222, 386 < 1222, 148 < 1223, 384 < 1223, 149 < 1224, 381 < 1224, 149 < 1225, 376 < 1225, 149 < 1226, 382 < 1226, 149 < 1227, 383 < 1227, 150 < 1228, 377 < 1228, 150 < 1229, 378 < 1229, 150 < 1230, 379 < 1230, 150 < 1231, 386 < 1231, 150 < 1232, 384 < 1232, 150 < 1233, 385 < 1233, 151 < 1234, 387 < 1234, 151 < 1235, 381 < 1235, 151 < 1236, 388 < 1236, 151 < 1237, 382 < 1237, 151 < 1238, 389 < 1238, 151 < 1239, 390 < 1239, 152 < 1240, 381 < 1240, 152 < 1241, 376 < 1241, 152 < 1242, 377 < 1242, 152 < 1243, 382 < 1243, 152 < 1244, 383 < 1244, 152 < 1245, 386 < 1245, 152 < 1246, 390 < 1246, 152 < 1247, 391 < 1247, 152 < 1248, 392 < 1248, 153 < 1249, 378 < 1249, 153 < 1250, 379 < 1250, 153 < 1251, 384 < 1251, 153 < 1252, 385 < 1252, 153 < 1253, 393 < 1253, 153 < 1254, 394 < 1254, 154 < 1255, 386 < 1255, 154 < 1256, 384 < 1256, 154 < 1257, 392 < 1257, 154 < 1258, 393 < 1258, 155 < 1259, 388 < 1259, 155 < 1260, 382 < 1260, 155 < 1261, 383 < 1261, 155 < 1262, 389 < 1262, 155 < 1263, 390 < 1263, 155 < 1264, 391 < 1264, 156 < 1265, 383 < 1265, 156 < 1266, 386 < 1266, 156 < 1267, 391 < 1267, 156 < 1268, 392 < 1268, 157 < 1269, 384 < 1269, 157 < 1270, 385 < 1270, 157 < 1271, 393 < 1271, 157 < 1272, 394 < 1272, 158 < 1273, 388 < 1273, 158 < 1274, 382 < 1274, 158 < 1275, 383 < 1275, 158 < 1276, 389 < 1276, 158 < 1277, 390 < 1277, 158 < 1278, 391 < 1278, 158 < 1279, 395 < 1279, 158 < 1280, 396 < 1280, 158 < 1281, 397 < 1281, 159 < 1282, 382 < 1282, 159 < 1283, 383 < 1283, 159 < 1284, 390 < 1284, 159 < 1285, 391 < 1285, 159 < 1286, 396 < 1286, 159 < 1287, 397 < 1287, 160 < 1288, 386 < 1288, 160 < 1289, 384 < 1289, 160 < 1290, 392 < 1290, 160 < 1291, 393 < 1291, 160 < 1292, 398 < 1292, 160 < 1293, 399 < 1293, 161 < 1294, 389 < 1294, 161 < 1295, 390 < 1295, 161 < 1296, 395 < 1296, 161 < 1297, 396 < 1297, 162 < 1298, 391 < 1298, 162 < 1299, 392 < 1299, 162 < 1300, 397 < 1300, 162 < 1301, 398 < 1301, 163 < 1302, 390 < 1302, 163 < 1303, 391 < 1303, 163 < 1304, 396 < 1304, 163 < 1305, 397 < 1305, 164 < 1306, 392 < 1306, 164 < 1307, 393 < 1307, 164 < 1308, 394 < 1308, 164 < 1309, 398 < 1309, 164 < 1310, 399 < 1310, 164 < 1311, 400 < 1311, 165 < 1312, 389 < 1312, 165 < 1313, 390 < 1313, 165 < 1314, 395 < 1314, 165 < 1315, 396 < 1315, 166 < 1316, 391 < 1316, 166 < 1317, 392 < 1317, 166 < 1318, 393 < 1318, 166 < 1319, 397 < 1319, 166 < 1320, 398 < 1320, 166 < 1321, 399 < 1321.