a(9)=20 1 2 6 7 9 14 15 18 20 (Known when the website was started)
a(10)=24 1 2 5 7 11 16 18 19 23 24 (Known when the website was started)
a(11)=26 1 2 5 7 11 16 18 19 23 24 26 (Known when the website was started)
a(12)=30 1 3 4 8 9 11 20 22 23 27 28 30 (Known when the website was started)
a(13)=32 1 2 4 8 9 11 19 22 23 26 28 31 32 (Known when the website was started)
a(14)=36 1 2 4 8 9 13 21 23 26 27 30 32 35 36 (Known when the website was started)
a(17)=51 1 2 4 5 10 13 14 17 31 35 37 38 40 46 47 50 51 (Known when the website was started)
a(21)=71 1 2 5 7 10 17 20 22 26 31 41 46 48 49 53 54 63 64 68 69 71 (Known when the website was started)
a(22)=74 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 (Known when the website was started)
a(23)=82 1 2 4 8 9 11 19 22 23 26 28 31 49 57 59 62 63 66 68 71 78 81 82 (Known when the website was started)
a(24)=84 1 3 4 8 9 16 18 21 22 25 30 37 48 55 60 63 64 67 69 76 77 81 82 84 (Known when the website was started)
a(25)=92 1 2 6 8 9 13 19 21 22 27 28 39 58 62 64 67 68 71 73 81 83 86 87 90 92 (Known when the website was started)
a(29)=111 1 2 5 6 13 15 19 26 27 30 31 38 42 44 66 68 72 77 80 81 84 89 93 95 99 104 107 108 111 (Known when the website was started)
a(30)=114 1 2 4 9 12 13 18 19 28 30 31 33 40 45 46 69 70 75 82 84 85 87 96 97 102 103 106 111 113 114 (Known when the website was started)
a(33)=137 1 2 4 5 13 15 16 20 23 32 34 37 43 46 47 50 56 83 86 94 100 101 103 104 109 113 121 127 128 130 131 136 137 (Estimate known when the website was started, equality due to William Marshall, 2003-11-15)
a(34)=145 1 2 4 8 10 11 13 17 29 31 34 35 38 43 44 46 83 89 93 98 99 101 102 108 110 125 126 129 130 136 138 139 141 145 (Estimate known when the website was started, equality due to William Marshall, 2004-01-24)
a(35)=150 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 105 108 109 112 117 118 120 121 136 138 139 141 145 147 148 150 (Estimete known when the website was started, equality due to Gavin Theobald, 2004-06-20)
a(36)<=157 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 145 146 149 154 155 157 (Known when the website was started)
a(41)<=194 1 2 5 7 11 16 18 19 24 26 38 39 42 44 48 53 55 56 61 63 112 127 128 133 135 136 140 146 148 149 151 155 172 173 178 179 181 187 188 192 194 (Known when the website was started)
m(6)<=19 0 1 3 12 14 15 (Known when the website was started)
m(9)<=35 0 1 3 4 10 12 22 26 28 (Known when the website was started)
m(10)<=37 0 1 3 7 17 24 25 28 29 35 (Known when the website was started)
m(12)<=52 0 1 3 7 8 10 18 32 37 38 41 43 (Known when the website was started)
m(13)<=61 0 1 3 4 9 11 29 39 42 43 46 48 51 (Known when the website was started)
m(14)<=65 0 1 3 12 14 15 17 35 37 38 42 43 45 63 (Known when the website was started)
m(17)<=93 0 1 5 7 11 19 23 25 28 29 32 34 42 44 62 85 91 (Known when the website was started)
m(21)<=125 0 1 4 5 11 13 14 16 20 37 41 43 44 46 52 56 57 64 80 102 118 (Known when the website was started)
m(22)<=141 0 1 3 8 12 14 17 18 38 39 42 44 48 53 55 56 63 65 69 128 132 134 (Known when the website was started)
m(26)<=171 1 2 8 13 16 23 26 37 43 46 57 64 67 104 107 114 125 128 134 145 148 155 158 163 169 170 (Known when the website was started)
m(30)<=211 1 22 23 29 33 34 51 55 56 62 71 84 85 93 104 107 118 126 127 140 149 155 156 160 177 178 182 188 189 210 (Known when the website was started)
m(36)<=291 6 25 35 36 62 70 75 81 85 96 98 109 113 119 124 132 158 159 169 188 195 196 200 210 216 226 230 238 247 255 259 269 275 285 289 290 (Known when the website was started)
m(46)<=397 0 1 9 10 14 16 26 29 34 47 69 73 79 81 82 90 100 126 140 147 172 176 192 196 209 224 228 234 261 281 286 290 304 306 312 314 332 340 341 354 357 361 362 364 372 393 (Known when the website was started)
m(69)<=831 25 27 30 69 70 84 121 131 155 164 187 196 201 203 213 218 220 229 236 264 273 274 278 289 293 296 316 329 340 400 408 432 434 441 446 452 454 469 475 480 488 495 499 505 513 533 555 570 573 581 583 584 601 606 616 623 637 638 643 711 715 723 729 755 765 767 810 818 827 (Known when the website was started)
m(84)<=1009 1 12 15 28 32 40 54 67 74 87 101 105 121 127 139 144 150 164 196 218 232 245 251 280 302 317 333 334 339 350 378 384 394 400 411 412 426 431 443 469 494 500 509 515 540 566 578 583 597 598 609 615 625 631 659 670 675 676 692 707 729 758 764 777 791 813 845 859 865 870 882 888 904 908 922 935 942 955 969 977 981 994 997 1008 (Known when the website was started)
m(138)<=2347 1 13 14 19 79 86 109 115 119 146 150 162 169 182 193 196 201 241 247 263 266 276 296 303 346 355 360 361 397 427 449 452 467 502 503 515 535 550 594 659 681 713 731 737 755 777 786 800 821 830 846 852 857 864 875 926 930 945 970 1012 1027 1062 1063 1072 1106 1111 1118 1143 1165 1182 1204 1229 1236 1241 1275 1284 1285 1320 1335 1377 1402 1417 1421 1472 1483 1490 1495 1501 1517 1526 1547 1561 1570 1592 1610 1616 1634 1666 1688 1753 1797 1812 1832 1844 1845 1880 1895 1898 1920 1950 1986 1987 1992 2001 2044 2051 2071 2081 2084 2100 2106 2146 2151 2154 2165 2178 2185 2197 2201 2228 2232 2238 2261 2268 2328 2333 2334 2346 (Known when the website was started)
m(216)<=3889 1 8 12 18 27 64 70 74 92 96 105 111 138 144 163 169 207 216 238 257 310 324 357 394 395 401 427 428 436 454 465 473 486 500 512 560 591 592 642 654 668 674 681 686 729 736 737 750 768 805 839 840 847 851 888 892 923 955 963 970 981 1002 1011 1029 1033 1054 1058 1066 1104 1125 1152 1222 1235 1247 1260 1291 1297 1304 1332 1338 1339 1343 1352 1405 1409 1438 1455 1503 1559 1581 1587 1599 1634 1656 1691 1700 1728 1732 1778 1787 1833 1861 1882 1890 1891 1904 1933 1943 1946 1956 1985 1998 1999 2007 2028 2056 2102 2111 2157 2161 2189 2198 2233 2255 2290 2302 2308 2330 2386 2434 2451 2480 2484 2537 2546 2550 2551 2557 2585 2592 2598 2629 2642 2654 2667 2737 2764 2785 2823 2831 2835 2856 2860 2878 2887 2908 2919 2926 2934 2966 2997 3001 3038 3042 3049 3050 3084 3121 3139 3152 3153 3160 3203 3208 3215 3221 3235 3247 3297 3298 3329 3377 3389 3403 3416 3424 3435 3453 3461 3462 3488 3494 3495 3532 3565 3579 3632 3651 3673 3682 3720 3726 3745 3751 3778 3784 3793 3797 3815 3819 3825 3862 3871 3877 3881 3888 (Known when the website was started)
m(28)<=189 1 2 7 17 18 23 26 56 61 71 80 83 88 91 98 101 106 109 118 128 133 163 166 171 172 182 187 188 (1069055398 Jarek Wroblewski)
m(17)<=85 0 1 3 4 9 10 13 24 28 29 31 36 40 42 50 66 73 (1069196998 Fumitaka Yura)
a(512)<=9785 1 7 9 12 19 21 25 27 28 32 40 50 51 54 56 64 65 86 92 94 97 104 106 110 112 113 117 125 135 136 139 141 149 150 256 262 264 267 274 276 280 282 283 287 295 305 306 309 311 319 320 341 347 349 352 359 361 365 367 368 372 380 390 391 394 396 404 405 766 772 774 777 784 786 790 792 793 797 805 815 816 819 821 829 830 851 857 859 862 869 871 875 877 878 882 890 900 901 904 906 914 915 1021 1027 1029 1032 1039 1041 1045 1047 1048 1052 1060 1070 1071 1074 1076 1084 1085 1106 1112 1114 1117 1124 1126 1130 1132 1133 1137 1145 1155 1156 1159 1161 1169 1170 2296 2302 2304 2307 2314 2316 2320 2322 2323 2327 2335 2345 2346 2349 2351 2359 2360 2381 2387 2389 2392 2399 2401 2405 2407 2408 2412 2420 2430 2431 2434 2436 2444 2445 2551 2557 2559 2562 2569 2571 2575 2577 2578 2582 2590 2600 2601 2604 2606 2614 2615 2636 2642 2644 2647 2654 2656 2660 2662 2663 2667 2675 2685 2686 2689 2691 2699 2700 3061 3067 3069 3072 3079 3081 3085 3087 3088 3092 3100 3110 3111 3114 3116 3124 3125 3146 3152 3154 3157 3164 3166 3170 3172 3173 3177 3185 3195 3196 3199 3201 3209 3210 3316 3322 3324 3327 3334 3336 3340 3342 3343 3347 3355 3365 3366 3369 3371 3379 3380 3401 3407 3409 3412 3419 3421 3425 3427 3428 3432 3440 3450 3451 3454 3456 3464 3465 6912 6920 6924 6930 6932 6938 6939 6942 6947 6950 6951 6957 6959 6965 6969 6985 6989 6995 6997 7003 7004 7007 7012 7015 7016 7022 7024 7030 7034 7042 7123 7131 7135 7141 7143 7149 7150 7153 7158 7161 7162 7168 7170 7176 7180 7196 7200 7206 7208 7214 7215 7218 7223 7226 7227 7233 7235 7241 7245 7253 7545 7553 7557 7563 7565 7571 7572 7575 7580 7583 7584 7590 7592 7598 7602 7618 7622 7628 7630 7636 7637 7640 7645 7648 7649 7655 7657 7663 7667 7675 7756 7764 7768 7774 7776 7782 7783 7786 7791 7794 7795 7801 7803 7809 7813 7829 7833 7839 7841 7847 7848 7851 7856 7859 7860 7866 7868 7874 7878 7886 8811 8819 8823 8829 8831 8837 8838 8841 8846 8849 8850 8856 8858 8864 8868 8884 8888 8894 8896 8902 8903 8906 8911 8914 8915 8921 8923 8929 8933 8941 9022 9030 9034 9040 9042 9048 9049 9052 9057 9060 9061 9067 9069 9075 9079 9095 9099 9105 9107 9113 9114 9117 9122 9125 9126 9132 9134 9140 9144 9152 9444 9452 9456 9462 9464 9470 9471 9474 9479 9482 9483 9489 9491 9497 9501 9517 9521 9527 9529 9535 9536 9539 9544 9547 9548 9554 9556 9562 9566 9574 9655 9663 9667 9673 9675 9681 9682 9685 9690 9693 9694 9700 9702 9708 9712 9728 9732 9738 9740 9746 9747 9750 9755 9758 9759 9765 9767 9773 9777 9785 (1069243413 Jarek Wroblewski and Fumitaka Yura)
a(511)<=9777 1 7 9 12 19 21 25 27 28 32 40 50 51 54 56 64 65 86 92 94 97 104 106 110 112 113 117 125 135 136 139 141 149 150 256 262 264 267 274 276 280 282 283 287 295 305 306 309 311 319 320 341 347 349 352 359 361 365 367 368 372 380 390 391 394 396 404 405 766 772 774 777 784 786 790 792 793 797 805 815 816 819 821 829 830 851 857 859 862 869 871 875 877 878 882 890 900 901 904 906 914 915 1021 1027 1029 1032 1039 1041 1045 1047 1048 1052 1060 1070 1071 1074 1076 1084 1085 1106 1112 1114 1117 1124 1126 1130 1132 1133 1137 1145 1155 1156 1159 1161 1169 1170 2296 2302 2304 2307 2314 2316 2320 2322 2323 2327 2335 2345 2346 2349 2351 2359 2360 2381 2387 2389 2392 2399 2401 2405 2407 2408 2412 2420 2430 2431 2434 2436 2444 2445 2551 2557 2559 2562 2569 2571 2575 2577 2578 2582 2590 2600 2601 2604 2606 2614 2615 2636 2642 2644 2647 2654 2656 2660 2662 2663 2667 2675 2685 2686 2689 2691 2699 2700 3061 3067 3069 3072 3079 3081 3085 3087 3088 3092 3100 3110 3111 3114 3116 3124 3125 3146 3152 3154 3157 3164 3166 3170 3172 3173 3177 3185 3195 3196 3199 3201 3209 3210 3316 3322 3324 3327 3334 3336 3340 3342 3343 3347 3355 3365 3366 3369 3371 3379 3380 3401 3407 3409 3412 3419 3421 3425 3427 3428 3432 3440 3450 3451 3454 3456 3464 3465 6912 6920 6924 6930 6932 6938 6939 6942 6947 6950 6951 6957 6959 6965 6969 6985 6989 6995 6997 7003 7004 7007 7012 7015 7016 7022 7024 7030 7034 7042 7123 7131 7135 7141 7143 7149 7150 7153 7158 7161 7162 7168 7170 7176 7180 7196 7200 7206 7208 7214 7215 7218 7223 7226 7227 7233 7235 7241 7245 7253 7545 7553 7557 7563 7565 7571 7572 7575 7580 7583 7584 7590 7592 7598 7602 7618 7622 7628 7630 7636 7637 7640 7645 7648 7649 7655 7657 7663 7667 7675 7756 7764 7768 7774 7776 7782 7783 7786 7791 7794 7795 7801 7803 7809 7813 7829 7833 7839 7841 7847 7848 7851 7856 7859 7860 7866 7868 7874 7878 7886 8811 8819 8823 8829 8831 8837 8838 8841 8846 8849 8850 8856 8858 8864 8868 8884 8888 8894 8896 8902 8903 8906 8911 8914 8915 8921 8923 8929 8933 8941 9022 9030 9034 9040 9042 9048 9049 9052 9057 9060 9061 9067 9069 9075 9079 9095 9099 9105 9107 9113 9114 9117 9122 9125 9126 9132 9134 9140 9144 9152 9444 9452 9456 9462 9464 9470 9471 9474 9479 9482 9483 9489 9491 9497 9501 9517 9521 9527 9529 9535 9536 9539 9544 9547 9548 9554 9556 9562 9566 9574 9655 9663 9667 9673 9675 9681 9682 9685 9690 9693 9694 9700 9702 9708 9712 9728 9732 9738 9740 9746 9747 9750 9755 9758 9759 9765 9767 9773 9777 (1069243413 Jarek Wroblewski and Fumitaka Yura)
m(39)<=327 13 16 18 26 40 43 45 56 57 63 80 82 90 111 112 122 125 126 136 149 152 153 156 171 174 175 191 202 219 221 244 245 274 276 284 298 309 311 321 (1069243521 Jarek Wroblewski)
m(43)<=381 7 28 46 67 87 97 112 117 129 130 133 135 139 151 159 165 174 175 177 184 202 223 234 241 249 254 255 258 268 270 273 277 279 310 315 318 319 327 330 346 348 354 355 (1069243521 Jarek Wroblewski)
m(23)<=153 1 5 7 14 17 18 55 57 61 64 72 75 79 81 85 118 119 122 129 131 135 142 147 (1069243521 Jarek Wroblewski)
m(74)<=873 13 19 34 36 67 75 81 127 141 150 160 175 181 194 199 208 210 211 216 232 255 274 297 303 310 327 372 387 418 420 423 448 450 457 472 475 483 486 490 499 507 510 511 555 556 568 576 577 588 592 595 609 610 619 649 654 657 678 681 714 741 744 757 776 777 792 793 835 837 856 859 861 867 868 (1069243521 Jarek Wroblewski)
m(18)<=103 0 1 3 4 10 11 13 27 29 35 49 64 72 73 77 83 86 91 (1069292119 Fumitaka Yura)
m(19)<=110 0 1 3 7 9 16 22 24 50 53 54 65 68 69 72 81 87 95 98 (1069292119 Fumitaka Yura)
a(42)<=205 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 140 142 143 148 150 159 162 163 166 179 180 185 187 188 193 200 202 203 205 (1085647403 Gavin Theobald)
a(43)<=209 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 140 142 143 148 150 159 162 163 166 179 180 185 187 188 193 200 202 203 205 209 (1085647403 Gavin Theobald)
a(45)<=228 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 143 152 159 160 163 170 172 173 178 179 182 189 202 207 210 211 214 216 223 224 227 228 (1085647403 Gavin Theobald)
a(49)<=256 1 2 5 6 12 14 15 20 21 31 33 44 58 59 62 63 69 71 77 78 81 89 108 146 165 169 171 174 175 178 180 188 190 193 194 197 199 226 228 231 232 235 237 245 247 250 251 254 256 (1087204940 Gavin Theobald)
a(50)<=261 1 2 8 9 12 13 19 21 27 28 31 32 38 59 65 66 69 70 76 78 84 85 88 89 95 153 172 179 180 183 184 190 192 198 199 202 203 210 229 233 235 238 239 242 244 252 254 257 258 261 (1087204940 Gavin Theobald)
a(51)<=263 1 2 8 9 12 13 19 21 27 28 31 32 38 59 65 66 69 70 76 78 84 85 88 96 115 153 172 176 178 181 182 185 187 195 197 200 201 204 206 233 235 238 239 242 244 252 254 257 258 261 263 (1087204940 Gavin Theobald)
a(52)<=268 1 3 4 8 9 11 20 22 23 27 28 30 58 60 61 65 66 68 77 79 80 84 85 87 101 120 158 177 181 183 186 187 190 192 200 202 205 206 209 211 238 240 243 244 247 249 257 259 262 263 266 268 (1087204940 Gavin Theobald)
a(53)<=272 1 5 7 10 11 14 16 24 26 29 30 33 35 62 64 67 68 71 73 81 83 86 87 90 92 96 115 153 172 186 188 189 193 194 196 205 207 208 212 213 215 243 245 246 250 251 253 262 264 265 269 270 272 (1087204940 Gavin Theobald)
a(54)<=286 1 2 8 9 12 13 19 21 27 28 31 32 38 59 65 66 69 70 76 78 84 85 88 89 95 96 115 153 172 193 194 196 205 207 208 212 213 215 224 226 227 250 251 253 262 264 265 269 270 272 281 283 284 286 (1087204940 Gavin Theobald)
a(57)<=315 1 5 7 10 11 14 16 20 28 32 34 37 38 41 43 74 78 80 83 84 87 89 97 99 102 103 106 108 112 212 216 218 221 222 225 227 235 237 240 241 244 246 250 277 281 283 286 287 290 292 300 302 305 306 309 311 315 (1087204940 Gavin Theobald)
a(58)<=323 1 5 7 10 11 14 16 20 28 32 34 37 38 41 43 74 78 80 83 84 87 89 97 99 102 103 106 108 112 212 216 218 221 222 225 227 231 239 243 245 248 249 252 254 285 289 291 294 295 298 300 308 310 313 314 317 319 323 (1087204940 Gavin Theobald)
a(59)<=331 1 5 7 10 11 14 16 20 28 32 34 37 38 41 43 74 78 80 83 84 87 89 97 99 102 103 106 108 112 139 216 218 221 222 225 227 231 239 243 245 248 249 252 254 289 291 294 295 298 300 304 312 316 318 321 322 325 327 331 (1087204940 Gavin Theobald)
a(69)<=440 1 2 4 8 10 11 13 17 29 31 34 35 38 43 44 46 83 89 93 98 99 101 102 108 110 125 126 129 130 136 138 139 141 145 291 292 295 296 302 304 305 307 311 321 328 329 332 333 339 341 342 344 348 395 398 399 402 407 408 411 413 422 425 426 429 434 435 438 440 (1087204940 Gavin Theobald)
a(70)<=445 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 105 108 109 112 117 118 121 123 132 135 136 139 144 145 148 150 296 297 300 301 307 309 310 312 316 326 333 334 337 338 344 346 347 349 353 400 403 404 407 412 413 416 418 427 430 431 434 439 440 443 445 (1087204940 Gavin Theobald)
a(72)<=463 1 2 4 5 11 12 14 15 30 32 33 35 39 41 42 44 75 90 91 93 94 99 100 102 103 119 121 122 124 130 133 134 137 295 299 301 302 304 310 311 314 315 322 332 336 338 339 341 347 348 351 352 359 406 410 412 413 415 421 422 425 426 433 443 447 449 450 452 458 459 462 463 (1087204940 Gavin Theobald)
a(73)<=471 1 2 5 7 10 11 14 16 28 29 32 34 37 38 41 43 86 88 91 92 95 97 100 101 113 115 120 121 123 124 132 136 137 298 300 305 306 308 313 317 319 322 323 335 337 342 343 345 350 354 356 359 360 409 411 416 417 419 424 428 430 433 434 446 448 453 454 456 461 465 467 470 471 (1087204940 Gavin Theobald)
a(74)<=479 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 330 331 334 335 341 343 344 346 350 360 367 368 371 372 378 380 381 383 387 434 437 438 441 446 447 449 450 465 467 468 470 474 476 477 479 (1087204940 Gavin Theobald)
a(75)<=490 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 401 445 446 449 450 456 458 459 461 465 475 478 479 482 487 488 490 (1087204940 Gavin Theobald)
a(81)<=549 1 2 5 7 11 16 18 19 24 26 38 39 42 44 48 53 55 56 61 63 112 113 116 118 122 127 129 130 135 137 149 150 153 155 159 164 166 167 172 174 356 360 362 363 365 371 372 375 376 383 393 397 399 400 402 408 409 412 413 420 467 482 483 488 490 491 495 501 503 504 506 510 527 528 531 533 536 542 543 547 549 (1087204940 Gavin Theobald)
a(82)<=571 1 2 5 7 11 16 18 19 24 26 38 39 42 44 48 53 55 56 61 63 112 127 128 133 135 136 140 146 148 149 151 155 172 173 178 179 181 187 188 192 194 378 380 384 385 391 393 394 399 400 417 421 423 424 426 432 436 437 439 444 445 460 509 511 516 517 519 524 528 530 533 534 546 548 553 554 556 561 565 567 570 571 (1087204940 Gavin Theobald)
a(85)<=613 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 140 142 143 148 150 159 162 163 166 179 180 185 187 188 193 200 202 203 205 209 406 410 412 413 415 422 427 428 430 435 436 449 452 453 456 461 465 467 472 475 526 541 542 547 549 550 554 560 562 563 565 569 586 590 592 593 595 601 605 606 608 613 (1087204940 Gavin Theobald)
a(86)<=614 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 140 142 143 148 150 159 162 163 166 179 180 185 187 188 193 200 202 203 205 209 406 410 412 413 415 422 427 428 430 435 436 449 452 453 456 461 465 467 472 475 526 541 542 547 549 550 554 560 562 563 565 569 586 590 592 593 595 601 605 606 608 613 614 (1087204940 Gavin Theobald)
a(87)<=632 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 142 143 148 150 151 155 161 163 164 166 170 187 191 193 194 196 202 206 207 209 214 215 424 425 430 432 433 437 443 445 446 448 452 469 473 475 476 478 484 488 489 491 496 497 512 563 565 566 571 573 582 585 586 589 602 603 608 610 611 616 623 625 626 628 632 (1087204940 Gavin Theobald)
a(89)<=664 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 143 152 159 160 163 170 172 173 178 179 182 189 202 207 210 211 214 216 223 224 227 228 450 451 456 458 459 463 469 471 472 474 478 495 499 501 502 504 510 514 515 517 522 523 591 592 597 599 600 604 610 612 613 615 619 636 640 642 643 645 651 655 656 658 663 664 (1087204940 Gavin Theobald)
a(90)<=678 1 2 5 7 16 17 19 23 24 26 34 48 53 54 57 59 68 69 71 75 76 78 86 152 157 158 161 163 172 173 175 179 180 182 190 204 209 210 213 215 224 225 227 231 232 234 464 465 470 472 473 477 483 485 486 488 492 509 513 515 516 518 524 528 529 531 536 537 605 606 611 613 614 618 624 626 627 629 633 650 654 656 657 659 665 669 670 672 677 678 (1087204940 Gavin Theobald)
a(91)<=686 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 142 143 148 150 151 155 161 163 164 166 170 187 191 193 194 196 202 206 207 209 214 215 448 453 454 457 459 468 469 471 475 476 478 486 500 505 506 509 511 520 521 523 527 528 530 538 604 609 610 613 615 624 625 627 631 632 634 642 656 661 662 665 667 676 677 679 683 684 686 (1087204940 Gavin Theobald)
a(97)<=750 1 2 5 6 12 14 15 20 21 31 33 44 58 59 62 63 69 71 77 78 81 89 108 146 165 169 171 174 175 178 180 188 190 193 194 197 199 226 228 231 232 235 237 245 247 250 251 254 256 504 512 514 515 519 521 522 531 533 536 537 542 556 564 566 567 571 573 574 583 585 588 589 594 660 668 670 671 675 677 678 687 689 692 693 698 712 720 722 723 727 729 730 739 741 744 745 750 (1087204940 Gavin Theobald)
a(105)<=807 1 2 6 7 9 18 20 21 25 26 28 56 58 59 63 64 66 75 77 78 82 83 85 99 118 156 175 179 181 184 185 188 190 198 200 203 204 207 209 236 238 241 242 245 247 255 257 260 261 264 266 270 536 540 542 545 546 549 551 559 561 564 565 568 570 597 599 602 603 606 608 616 618 621 622 625 627 631 650 688 707 721 723 724 728 729 731 740 742 743 747 748 750 778 780 781 785 786 788 797 799 800 804 805 807 (1087204940 Gavin Theobald)
a(106)<=809 1 3 4 8 9 11 20 22 23 27 28 30 58 60 61 65 66 68 77 79 80 84 85 87 101 120 158 177 181 183 186 187 190 192 200 202 205 206 209 211 238 240 243 244 247 249 257 259 262 263 266 268 272 538 542 544 547 548 551 553 561 563 566 567 570 572 599 601 604 605 608 610 618 620 623 624 627 629 633 652 690 709 723 725 726 730 731 733 742 744 745 749 750 752 780 782 783 787 788 790 799 801 802 806 807 809 (1087204940 Gavin Theobald)
a(107)<=831 1 3 4 8 9 11 20 22 23 27 28 30 58 60 61 65 66 68 77 79 80 84 85 87 101 120 158 177 181 183 186 187 190 192 200 202 205 206 209 211 238 240 243 244 247 249 257 259 262 263 266 268 272 546 548 549 551 560 562 563 567 568 570 579 581 582 605 606 608 617 619 620 624 625 627 636 638 639 660 679 717 736 740 742 745 746 749 751 759 761 764 765 768 770 797 799 802 803 806 808 816 818 821 822 825 827 831 (1087204940 Gavin Theobald)
a(108)<=837 1 5 7 10 11 14 16 24 26 29 30 33 35 62 64 67 68 71 73 81 83 86 87 90 92 96 115 153 172 190 192 198 199 202 203 209 211 217 218 221 222 247 249 255 256 259 260 266 268 274 275 278 279 286 552 559 560 563 564 570 572 578 579 582 583 589 591 616 617 620 621 627 629 635 636 639 640 646 648 666 685 723 742 746 748 751 752 755 757 765 767 770 771 774 776 803 805 808 809 812 814 822 824 827 828 831 833 837 (1087204940 Gavin Theobald)
a(109)<=857 1 3 4 8 9 11 20 22 23 27 28 30 58 60 61 65 66 68 77 79 80 84 85 87 101 120 158 177 181 183 186 187 190 192 200 202 205 206 209 211 238 240 243 244 247 249 257 259 262 263 266 268 272 559 563 565 568 569 572 574 582 584 587 588 591 593 597 624 628 630 633 634 637 639 647 649 652 653 656 658 662 754 758 760 763 764 767 769 777 779 782 783 786 788 792 819 823 825 828 829 832 834 842 844 847 848 851 853 857 (1087204940 Gavin Theobald)
a(113)<=916 1 5 7 10 11 14 16 24 26 29 30 33 35 39 66 70 72 75 76 79 81 89 91 94 95 98 100 104 196 200 202 205 206 209 211 219 221 224 225 228 230 234 261 265 267 270 271 274 276 284 286 289 290 293 295 299 602 606 608 611 612 615 617 621 629 633 635 638 639 642 644 675 679 681 684 685 688 690 698 700 703 704 707 709 713 813 817 819 822 823 826 828 836 838 841 842 845 847 851 878 882 884 887 888 891 893 901 903 906 907 910 912 916 (1087204940 Gavin Theobald)
a(114)<=932 1 5 7 10 11 14 16 20 28 32 34 37 38 41 43 74 78 80 83 84 87 89 97 99 102 103 106 108 112 212 216 218 221 222 225 227 235 237 240 241 244 246 250 277 281 283 286 287 290 292 300 302 305 306 309 311 315 618 622 624 627 628 631 633 637 645 649 651 654 655 658 660 691 695 697 700 701 704 706 714 716 719 720 723 725 729 829 833 835 838 839 842 844 852 854 857 858 861 863 867 894 898 900 903 904 907 909 917 919 922 923 926 928 932 (1087204940 Gavin Theobald)
a(121)<=1044 1 2 4 5 10 11 13 14 28 29 31 32 37 38 40 41 82 83 85 86 91 92 94 95 109 110 112 113 118 119 121 122 244 245 247 248 253 254 256 257 271 272 274 275 280 281 283 284 325 326 328 329 334 335 337 338 352 353 355 356 361 362 364 365 730 734 736 739 740 743 745 749 757 761 763 766 767 770 772 803 807 809 812 813 816 818 826 828 831 832 835 837 841 941 945 947 950 951 954 956 964 966 969 970 973 975 979 1006 1010 1012 1015 1016 1019 1021 1029 1031 1034 1035 1038 1040 1044 (1087204940 Gavin Theobald)
a(122)<=1052 1 2 4 5 10 11 13 14 28 29 31 32 37 38 40 41 82 83 85 86 91 92 94 95 109 110 112 113 118 119 121 122 244 245 247 248 253 254 256 257 271 272 274 275 280 281 283 284 325 326 328 329 334 335 337 338 352 353 355 356 361 362 364 365 730 734 736 739 740 743 745 749 757 761 763 766 767 770 772 803 807 809 812 813 816 818 826 828 831 832 835 837 841 941 945 947 950 951 954 956 960 968 972 974 977 978 981 983 1014 1018 1020 1023 1024 1027 1029 1037 1039 1042 1043 1046 1048 1052 (1087204940 Gavin Theobald)
a(123)<=1060 1 2 4 5 10 11 13 14 28 29 31 32 37 38 40 41 82 83 85 86 91 92 94 95 109 110 112 113 118 119 121 122 244 245 247 248 253 254 256 257 271 272 274 275 280 281 283 284 325 326 328 329 334 335 337 338 352 353 355 356 361 362 364 365 730 734 736 739 740 743 745 749 757 761 763 766 767 770 772 803 807 809 812 813 816 818 826 828 831 832 835 837 841 868 945 947 950 951 954 956 960 968 972 974 977 978 981 983 1018 1020 1023 1024 1027 1029 1033 1041 1045 1047 1050 1051 1054 1056 1060 (1087204940 Gavin Theobald)
a(69)<=437 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 105 108 109 112 117 118 121 123 132 135 136 139 144 145 148 150 292 293 296 297 303 305 306 308 312 322 329 330 333 334 340 342 343 345 395 396 399 401 404 405 408 410 422 423 426 428 431 432 435 437 (1087885186 Gavin Theobald)
a(71)<=457 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 334 335 338 340 343 344 347 349 361 362 365 367 370 371 374 376 415 416 419 421 424 425 428 430 442 443 446 448 451 452 455 457 (1087885186 Gavin Theobald)
a(74)<=478 1 2 4 8 10 11 13 17 29 31 34 35 38 43 44 46 83 89 93 98 99 101 102 108 110 125 126 129 130 136 138 139 141 145 303 310 311 314 315 321 323 324 326 330 340 347 348 351 352 358 360 361 363 367 414 421 422 425 426 432 434 435 437 441 451 458 459 462 463 469 471 472 474 478 (1087885186 Gavin Theobald)
a(75)<=486 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 330 331 334 335 341 343 344 346 350 360 367 368 371 372 378 380 381 383 387 397 441 442 445 446 452 454 455 457 461 471 474 475 478 483 484 486 (1087885186 Gavin Theobald)
a(83)<=581 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 140 142 143 148 150 159 162 163 166 179 180 185 187 188 193 200 202 203 205 209 406 410 412 413 415 421 422 425 426 433 443 447 449 450 452 458 459 462 463 470 517 521 523 524 526 532 533 536 537 544 554 558 560 561 563 569 570 573 574 581 (1087885186 Gavin Theobald)
a(90)<=677 1 2 5 7 16 17 19 23 24 26 34 48 53 54 57 59 68 69 71 75 76 78 86 152 157 158 161 163 172 173 175 179 180 182 190 204 209 210 213 215 224 225 227 231 232 234 242 469 473 475 476 478 485 490 491 493 498 499 512 515 516 519 524 528 530 535 538 589 604 605 610 612 613 617 623 625 626 628 632 649 653 655 656 658 664 668 669 671 676 677 (1087885186 Gavin Theobald)
a(91)<=682 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 140 142 143 148 150 159 162 163 166 179 180 185 187 188 193 200 202 203 205 209 436 444 446 447 451 453 454 463 465 468 469 474 488 496 498 499 503 505 506 515 517 520 521 526 592 600 602 603 607 609 610 619 621 624 625 630 644 652 654 655 659 661 662 671 673 676 677 682 (1087885186 Gavin Theobald)
a(105)<=805 1 3 6 7 10 12 20 22 25 26 29 31 58 60 63 64 67 69 77 79 82 83 86 88 92 111 149 168 182 184 185 189 190 192 201 203 204 208 209 211 239 241 242 246 247 249 258 260 261 265 266 268 534 536 537 541 542 544 553 555 556 560 561 563 591 593 594 598 599 601 610 612 613 617 618 620 634 653 691 710 714 716 719 720 723 725 733 735 738 739 742 744 771 773 776 777 780 782 790 792 795 796 799 801 805 (1087885186 Gavin Theobald)
a(61)<=353 1 2 4 5 10 11 13 14 28 29 31 32 37 38 40 41 82 83 85 86 91 92 94 95 109 110 112 116 118 119 121 239 242 243 246 251 255 257 261 266 269 270 273 278 282 284 306 308 312 319 320 323 324 331 335 337 341 348 349 352 353 (1089184755 Gavin Theobald)
a(71)<=455 1 2 4 5 10 11 13 14 28 29 31 32 37 38 40 41 82 85 86 89 91 94 95 98 109 112 113 116 118 121 122 125 287 291 293 294 296 302 303 306 307 314 324 328 330 331 333 339 340 343 344 351 398 402 404 405 407 413 414 417 418 425 435 439 441 442 444 450 451 454 455 (1089184755 Gavin Theobald)
a(92)<=696 1 3 4 8 9 11 16 20 22 25 26 45 50 52 58 60 63 67 69 72 73 146 148 149 153 154 156 161 165 167 170 171 190 195 197 198 202 203 205 217 218 221 222 228 450 458 460 461 465 467 468 477 479 482 483 488 502 510 512 513 517 519 520 529 531 534 535 540 606 614 616 617 621 623 624 633 635 638 639 644 658 666 668 669 673 675 676 685 687 690 691 696 (1089184755 Gavin Theobald)
a(125)<=1082 1 2 4 5 10 11 13 14 28 29 31 32 37 38 40 41 82 83 85 86 91 92 94 95 109 110 112 113 118 119 121 122 244 245 247 248 253 254 256 257 271 272 274 275 280 281 283 284 325 326 328 329 334 335 337 338 352 353 355 356 361 362 364 365 730 731 733 734 739 740 742 743 757 758 760 761 766 767 769 770 811 812 814 815 820 821 823 824 838 839 841 845 847 848 850 968 971 972 975 980 984 986 990 995 998 999 1002 1007 1011 1013 1035 1037 1041 1048 1049 1052 1053 1060 1064 1066 1070 1077 1078 1081 1082 (1089184755 Gavin Theobald)
a(129)<=1128 1 2 5 7 10 11 14 16 28 29 32 34 37 38 41 43 82 83 86 88 91 92 95 97 109 110 113 115 118 119 122 124 244 245 248 250 253 254 257 259 271 272 275 277 280 281 284 286 325 326 329 331 334 335 338 340 352 353 356 358 361 362 365 367 746 747 749 750 755 756 759 770 774 775 777 782 786 788 796 812 819 831 832 834 835 840 841 844 855 859 860 862 867 871 873 881 897 904 1001 1002 1004 1005 1010 1011 1014 1025 1029 1030 1032 1037 1041 1043 1051 1067 1074 1086 1087 1089 1090 1095 1096 1099 1110 1114 1115 1117 1122 1126 1128 (1089184755 Gavin Theobald)
a(137)<=1270 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 105 108 109 112 117 118 121 123 132 135 136 139 144 145 148 150 292 293 296 297 303 305 306 308 312 322 329 330 333 334 340 342 343 345 395 396 399 401 404 405 408 410 422 423 426 428 431 432 435 437 866 867 875 877 880 881 891 899 903 904 906 910 912 919 922 924 930 951 952 960 962 965 966 976 984 988 989 991 995 997 1004 1007 1009 1015 1121 1122 1130 1132 1135 1136 1146 1154 1158 1159 1161 1165 1167 1174 1177 1179 1185 1206 1207 1215 1217 1220 1221 1231 1239 1243 1244 1246 1250 1252 1259 1262 1264 1270 (1089184755 Gavin Theobald)
a(138)<=1284 1 2 10 12 15 16 26 34 38 39 41 45 47 54 57 59 65 86 87 95 97 100 101 111 119 123 124 126 130 132 139 142 144 150 256 257 265 267 270 271 281 289 293 294 296 300 302 309 312 314 320 341 342 350 352 355 356 366 374 378 379 381 385 387 394 397 399 405 840 841 844 845 851 853 854 856 860 870 877 878 881 882 888 890 891 893 897 944 947 948 951 956 957 960 962 971 974 975 978 983 984 987 989 1135 1136 1139 1140 1146 1148 1149 1151 1155 1165 1172 1173 1176 1177 1183 1185 1186 1188 1192 1239 1242 1243 1246 1251 1252 1255 1257 1266 1269 1270 1273 1278 1279 1282 1284 (1089184755 Gavin Theobald)
a(139)<=1309 1 5 7 8 10 16 17 20 21 28 38 42 44 45 47 53 54 57 58 65 112 116 118 119 121 127 128 131 132 139 149 153 155 156 158 164 165 168 169 334 336 339 340 343 345 348 349 361 363 366 367 370 372 375 376 415 417 420 421 424 426 429 430 442 444 447 448 451 453 456 457 900 908 910 914 919 921 922 926 937 940 941 946 947 949 950 962 969 985 993 995 999 1004 1006 1007 1011 1022 1025 1026 1031 1032 1034 1035 1047 1054 1155 1163 1165 1169 1174 1176 1177 1181 1192 1195 1196 1201 1202 1204 1205 1217 1224 1240 1248 1250 1254 1259 1261 1262 1266 1277 1280 1281 1286 1287 1289 1290 1302 1309 (1089184755 Gavin Theobald)
a(140)<=1316 1 2 10 12 15 16 26 34 38 39 41 45 47 54 57 59 65 86 87 95 97 100 101 111 119 123 124 126 130 132 139 142 144 150 256 257 265 267 270 271 281 289 293 294 296 300 302 309 312 314 320 341 342 350 352 355 356 366 374 378 379 381 385 387 394 397 399 405 852 856 858 859 861 865 867 868 879 883 885 886 888 892 894 895 933 937 939 940 942 946 948 949 960 964 966 967 969 973 975 976 1143 1144 1147 1149 1153 1158 1160 1161 1166 1168 1180 1181 1184 1186 1190 1195 1197 1198 1203 1205 1254 1255 1258 1260 1264 1269 1271 1272 1277 1279 1291 1292 1295 1297 1301 1306 1308 1309 1314 1316 (1089184755 Gavin Theobald)
a(141)<=1340 1 2 5 7 10 11 14 16 28 29 32 34 37 38 41 43 86 88 91 92 95 97 100 101 113 115 120 121 123 124 132 136 137 298 300 305 306 308 313 317 319 322 323 335 337 342 343 345 350 354 356 359 360 409 411 416 417 419 424 428 430 433 434 446 448 453 454 456 461 465 467 470 471 936 942 944 947 954 956 960 962 963 967 975 985 986 989 991 999 1000 1021 1027 1029 1032 1039 1041 1045 1047 1048 1052 1060 1070 1071 1074 1076 1084 1085 1191 1197 1199 1202 1209 1211 1215 1217 1218 1222 1230 1240 1241 1244 1246 1254 1255 1276 1282 1284 1287 1294 1296 1300 1302 1303 1307 1315 1325 1326 1329 1331 1339 1340 (1089184755 Gavin Theobald)
a(142)<=1352 1 2 10 12 15 16 26 34 38 39 41 45 47 54 57 59 65 86 87 95 97 100 101 111 119 123 124 126 130 132 139 142 144 150 256 257 265 267 270 271 281 289 293 294 296 300 302 309 312 314 320 341 342 350 352 355 356 366 374 378 379 381 385 387 394 397 399 405 874 875 878 879 885 887 888 890 894 904 911 912 915 916 922 924 925 927 931 941 985 986 989 990 996 998 999 1001 1005 1015 1022 1023 1026 1027 1033 1035 1036 1038 1042 1203 1204 1207 1208 1214 1216 1217 1219 1223 1233 1240 1241 1244 1245 1251 1253 1254 1256 1260 1307 1310 1311 1314 1319 1320 1323 1325 1334 1337 1338 1341 1346 1347 1350 1352 (1089184755 Gavin Theobald)
a(143)<=1366 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 327 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 438 445 446 449 450 456 458 459 461 465 475 482 483 486 487 493 495 496 498 502 1000 1001 1004 1006 1009 1010 1013 1015 1027 1028 1031 1033 1036 1037 1040 1042 1081 1082 1085 1087 1090 1091 1094 1096 1108 1109 1112 1114 1117 1118 1121 1123 1243 1244 1247 1249 1252 1253 1256 1258 1270 1271 1274 1276 1279 1280 1283 1285 1324 1325 1328 1330 1333 1334 1337 1339 1351 1352 1355 1357 1360 1361 1364 1366 (1089184755 Gavin Theobald)
a(144)<=1374 1 3 8 9 11 16 20 22 25 26 38 40 45 46 48 53 57 59 62 63 112 114 119 120 122 127 131 133 136 137 149 151 156 157 159 164 168 170 173 174 334 336 341 342 344 349 353 355 358 359 371 373 378 379 381 386 390 392 395 396 445 447 452 453 455 460 464 466 469 470 482 484 489 490 492 497 501 503 506 507 1007 1008 1010 1014 1016 1017 1019 1023 1034 1035 1037 1041 1043 1044 1046 1050 1088 1089 1091 1095 1097 1098 1100 1104 1115 1116 1118 1122 1124 1125 1127 1131 1250 1251 1253 1257 1259 1260 1262 1266 1277 1278 1280 1284 1286 1287 1289 1293 1331 1332 1334 1338 1340 1341 1343 1347 1358 1359 1361 1365 1367 1368 1370 1374 (1089184755 Gavin Theobald)
a(145)<=1380 1 2 4 5 10 11 14 25 29 30 32 37 41 43 51 67 74 86 87 89 90 95 96 99 110 114 115 117 122 126 128 136 152 159 256 257 259 260 265 266 269 280 284 285 287 292 296 298 306 322 329 341 342 344 345 350 351 354 365 369 370 372 377 381 383 391 879 880 883 884 890 892 893 895 899 909 916 917 920 921 927 929 930 932 936 946 990 991 994 995 1001 1003 1004 1006 1010 1020 1027 1028 1031 1032 1038 1040 1041 1043 1047 1205 1212 1213 1216 1217 1223 1225 1226 1228 1232 1242 1249 1250 1253 1254 1260 1262 1263 1265 1269 1316 1323 1324 1327 1328 1334 1336 1337 1339 1343 1353 1360 1361 1364 1365 1371 1373 1374 1376 1380 (1089184755 Gavin Theobald)
a(146)<=1390 1 2 4 5 10 11 14 25 29 30 32 37 41 43 51 67 74 86 87 89 90 95 96 99 110 114 115 117 122 126 128 136 152 159 256 257 259 260 265 266 269 280 284 285 287 292 296 298 306 322 329 341 342 344 345 350 351 354 365 369 370 372 377 381 383 391 884 885 888 890 894 899 901 902 907 909 921 922 925 927 931 936 938 939 944 946 995 996 999 1001 1005 1010 1012 1013 1018 1020 1032 1033 1036 1038 1042 1047 1049 1050 1055 1057 1217 1218 1221 1223 1227 1232 1234 1235 1240 1242 1254 1255 1258 1260 1264 1269 1271 1272 1277 1279 1328 1329 1332 1334 1338 1343 1345 1346 1351 1353 1365 1366 1369 1371 1375 1380 1382 1383 1388 1390 (1089184755 Gavin Theobald)
a(147)<=1399 1 5 7 8 10 16 17 20 21 28 38 42 44 45 47 53 54 57 58 65 112 116 118 119 121 127 128 131 132 139 149 153 155 156 158 164 165 168 169 176 334 338 340 341 343 349 350 353 354 361 371 375 377 378 380 386 387 390 391 398 445 449 451 452 454 460 461 464 465 472 482 486 488 489 491 497 498 501 502 990 998 1000 1004 1009 1011 1012 1016 1027 1030 1031 1036 1037 1039 1040 1052 1059 1075 1083 1085 1089 1094 1096 1097 1101 1112 1115 1116 1121 1122 1124 1125 1137 1144 1245 1253 1255 1259 1264 1266 1267 1271 1282 1285 1286 1291 1292 1294 1295 1307 1314 1330 1338 1340 1344 1349 1351 1352 1356 1367 1370 1371 1376 1377 1379 1380 1392 1399 (1089184755 Gavin Theobald)
a(148)<=1409 1 3 8 9 11 16 20 22 25 26 38 40 45 46 48 53 57 59 62 63 112 114 119 120 122 127 131 133 136 137 149 151 156 157 159 164 168 170 173 174 334 336 341 342 344 349 353 355 358 359 371 373 378 379 381 386 390 392 395 396 445 447 452 453 455 460 464 466 469 470 482 484 489 490 492 497 501 503 506 507 1000 1007 1019 1020 1022 1023 1028 1029 1032 1043 1047 1048 1050 1055 1059 1061 1069 1085 1092 1104 1105 1107 1108 1113 1114 1117 1128 1132 1133 1135 1140 1144 1146 1154 1255 1262 1274 1275 1277 1278 1283 1284 1287 1298 1302 1303 1305 1310 1314 1316 1324 1340 1347 1359 1360 1362 1363 1368 1369 1372 1383 1387 1388 1390 1395 1399 1401 1409 (1089184755 Gavin Theobald)
a(149)<=1440 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 327 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 438 445 446 449 450 456 458 459 461 465 475 482 483 486 487 493 495 496 498 502 996 997 1000 1001 1007 1009 1010 1012 1016 1026 1033 1034 1037 1038 1044 1046 1047 1049 1053 1100 1103 1104 1107 1112 1113 1116 1118 1127 1130 1131 1134 1139 1140 1143 1145 1291 1292 1295 1296 1302 1304 1305 1307 1311 1321 1328 1329 1332 1333 1339 1341 1342 1344 1348 1395 1398 1399 1402 1407 1408 1411 1413 1422 1425 1426 1429 1434 1435 1438 1440 (1089184755 Gavin Theobald)
a(150)<=1450 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 327 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 438 445 446 449 450 456 458 459 461 465 475 482 483 486 487 493 495 496 498 502 996 997 1000 1001 1007 1009 1010 1012 1016 1026 1033 1034 1037 1038 1044 1046 1047 1049 1053 1063 1107 1108 1111 1112 1118 1120 1121 1123 1127 1137 1144 1145 1148 1149 1155 1157 1158 1160 1164 1326 1329 1330 1333 1335 1338 1339 1342 1353 1356 1357 1360 1362 1365 1366 1369 1407 1410 1411 1414 1416 1419 1420 1423 1434 1437 1438 1441 1443 1446 1447 1450 (1089184755 Gavin Theobald)
a(151)<=1456 1 2 5 7 10 11 14 16 28 29 32 34 37 38 41 43 82 83 86 88 91 92 95 97 109 110 113 115 118 119 122 124 289 290 293 294 300 302 303 305 309 319 326 327 330 331 337 339 340 342 346 356 400 401 404 405 411 413 414 416 420 430 437 438 441 442 448 450 451 453 457 948 955 956 959 960 966 968 969 971 975 985 992 993 996 997 1003 1005 1006 1008 1012 1059 1066 1067 1070 1071 1077 1079 1080 1082 1086 1096 1103 1104 1107 1108 1114 1116 1117 1119 1123 1281 1288 1289 1292 1293 1299 1301 1302 1304 1308 1318 1325 1326 1329 1330 1336 1338 1339 1341 1345 1392 1399 1400 1403 1404 1410 1412 1413 1415 1419 1429 1436 1437 1440 1441 1447 1449 1450 1452 1456 (1089184755 Gavin Theobald)
a(152)<=1464 1 3 8 9 11 16 20 22 25 26 38 40 45 46 48 53 57 59 62 63 112 114 119 120 122 127 131 133 136 137 149 151 156 157 159 164 168 170 173 174 334 336 341 342 344 349 353 355 358 359 371 373 378 379 381 386 390 392 395 396 445 447 452 453 455 460 464 466 469 470 482 484 489 490 492 497 501 503 506 507 1000 1002 1007 1008 1010 1015 1019 1021 1024 1025 1037 1039 1044 1045 1047 1052 1056 1058 1061 1062 1111 1113 1118 1119 1121 1126 1130 1132 1135 1136 1148 1150 1155 1156 1158 1163 1167 1169 1172 1173 1340 1341 1343 1347 1349 1350 1352 1356 1367 1368 1370 1374 1376 1377 1379 1383 1421 1422 1424 1428 1430 1431 1433 1437 1448 1449 1451 1455 1457 1458 1460 1464 (1089184755 Gavin Theobald)
a(153)<=1470 1 2 5 7 10 11 14 16 28 29 32 34 37 38 41 43 86 88 91 92 95 97 100 101 113 115 120 121 123 124 132 136 137 298 300 305 306 308 313 317 319 322 323 335 337 342 343 345 350 354 356 359 360 409 411 416 417 419 424 428 430 433 434 446 448 453 454 456 461 465 467 470 471 964 966 971 972 974 979 983 985 988 989 1001 1003 1008 1009 1011 1016 1020 1022 1025 1026 1075 1077 1082 1083 1085 1090 1094 1096 1099 1100 1112 1114 1119 1120 1122 1127 1131 1133 1136 1137 1297 1299 1304 1305 1307 1312 1316 1318 1321 1322 1334 1336 1341 1342 1344 1349 1353 1355 1358 1359 1408 1410 1415 1416 1418 1423 1427 1429 1432 1433 1445 1447 1452 1453 1455 1460 1464 1466 1469 1470 (1089184755 Gavin Theobald)
a(154)<=1477 1 2 4 8 10 11 13 17 29 31 34 35 38 43 44 46 83 89 93 98 99 101 102 108 110 125 126 129 130 136 138 139 141 145 303 310 311 314 315 321 323 324 326 330 340 347 348 351 352 358 360 361 363 367 414 421 422 425 426 432 434 435 437 441 451 458 459 462 463 469 471 472 474 478 969 976 977 980 981 987 989 990 992 996 1006 1013 1014 1017 1018 1024 1026 1027 1029 1033 1080 1087 1088 1091 1092 1098 1100 1101 1103 1107 1117 1124 1125 1128 1129 1135 1137 1138 1140 1144 1302 1309 1310 1313 1314 1320 1322 1323 1325 1329 1339 1346 1347 1350 1351 1357 1359 1360 1362 1366 1413 1420 1421 1424 1425 1431 1433 1434 1436 1440 1450 1457 1458 1461 1462 1468 1470 1471 1473 1477 (1089184755 Gavin Theobald)
a(49)<=254 1 2 5 6 12 14 20 21 24 25 31 33 58 59 62 63 69 71 77 78 81 82 89 108 146 165 169 171 174 175 178 180 188 190 193 194 197 199 226 228 231 232 235 237 245 247 250 251 254 (1092044464 Gavin Theobald)
a(71)<=454 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 179 334 335 338 339 345 347 348 350 354 364 367 368 371 377 379 385 405 414 417 418 421 426 427 430 441 444 445 448 450 453 454 (1092044464 Gavin Theobald)
a(75)<=483 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 179 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 438 441 442 445 450 451 453 454 469 471 472 474 478 480 481 483 (1092044464 Gavin Theobald)
a(76)<=490 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 179 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 401 445 446 449 450 456 458 459 461 465 475 478 479 482 487 488 490 (1092044464 Gavin Theobald)
a(83)<=580 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 179 372 373 378 380 381 385 391 393 394 396 400 417 421 423 424 426 432 436 437 439 444 445 460 511 513 514 519 521 530 533 534 537 550 551 556 558 559 564 571 573 574 576 580 (1092044464 Gavin Theobald)
a(92)<=693 1 2 5 7 16 17 19 23 24 26 34 48 53 54 57 59 68 69 71 75 76 78 86 152 157 158 161 163 172 173 175 179 180 182 190 204 209 210 213 215 224 225 227 231 232 234 242 464 469 470 473 475 484 485 487 491 492 494 502 516 521 522 525 527 536 537 539 543 544 546 554 612 620 625 629 631 632 634 640 645 657 663 664 666 667 672 673 676 684 690 691 693 (1092044464 Gavin Theobald)
a(93)<=698 1 3 4 10 18 21 22 27 28 30 31 37 49 54 60 62 63 65 69 74 82 140 148 150 151 155 157 158 167 169 172 173 178 192 200 202 203 207 209 210 219 221 224 225 230 452 460 462 463 467 469 470 479 481 484 485 490 504 512 514 515 519 521 522 531 533 536 537 542 608 616 618 619 623 625 626 635 637 640 641 646 660 668 670 671 675 677 678 687 689 692 693 698 (1092044464 Gavin Theobald)
a(97)<=744 1 4 5 8 10 18 20 23 24 27 29 56 58 61 62 65 67 75 77 80 81 84 86 90 109 147 166 173 174 177 178 184 186 192 193 196 197 203 205 230 231 234 235 241 243 249 250 253 254 261 506 508 509 513 515 516 525 527 530 531 536 550 558 560 561 565 567 568 577 579 582 583 588 602 662 664 665 669 671 672 681 683 686 687 692 706 714 716 717 721 723 724 733 735 738 739 744 (1092044464 Gavin Theobald)
a(98)<=756 1 3 4 8 9 16 18 21 22 25 30 37 48 55 60 63 64 67 69 76 77 81 82 84 166 168 169 173 174 181 183 186 187 190 195 202 213 220 225 228 229 232 234 241 242 246 247 249 496 503 504 507 508 514 516 522 523 526 527 533 535 560 561 564 565 571 573 579 580 583 584 591 610 648 667 671 673 676 677 680 682 690 692 695 696 699 701 728 730 733 734 737 739 747 749 752 753 756 (1092044464 Gavin Theobald)
a(139)<=1306 1 2 5 7 10 11 14 25 28 29 34 37 38 41 50 70 76 78 84 87 88 91 101 105 107 108 110 116 117 120 121 276 286 290 292 293 295 301 302 305 306 313 323 327 329 330 332 338 339 342 343 387 397 401 403 404 406 412 413 416 417 424 434 438 440 441 443 449 450 453 454 902 908 910 913 920 922 926 928 929 933 941 951 952 955 957 965 966 987 993 995 998 1005 1007 1011 1013 1014 1018 1026 1036 1037 1040 1042 1050 1051 1157 1163 1165 1168 1175 1177 1181 1183 1184 1188 1196 1206 1207 1210 1212 1220 1221 1242 1248 1250 1253 1260 1262 1266 1268 1269 1273 1281 1291 1292 1295 1297 1305 1306 (1092044464 Gavin Theobald)
a(143)<=1360 1 2 10 12 15 16 26 34 38 39 41 45 47 54 57 59 65 86 87 95 97 100 101 111 119 123 124 126 130 132 139 142 144 150 256 257 265 267 270 271 281 289 293 294 296 300 302 309 312 314 320 341 342 350 352 355 356 366 374 378 379 381 385 387 394 397 399 405 878 879 882 883 889 891 892 894 898 908 915 916 919 920 926 928 929 931 935 945 989 990 993 994 1000 1002 1003 1005 1009 1019 1026 1027 1030 1031 1037 1039 1040 1042 1046 1056 1211 1212 1215 1216 1222 1224 1225 1227 1231 1241 1248 1249 1252 1253 1259 1261 1262 1264 1268 1315 1318 1319 1322 1327 1328 1331 1333 1342 1345 1346 1349 1354 1355 1358 1360 (1092044464 Gavin Theobald)
a(149)<=1436 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 179 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 438 441 442 445 450 451 454 456 465 468 469 472 477 478 481 483 958 959 962 963 969 971 972 974 978 988 995 996 999 1000 1006 1008 1009 1011 1015 1025 1069 1070 1073 1074 1080 1082 1083 1085 1089 1099 1106 1107 1110 1111 1117 1119 1120 1122 1126 1287 1288 1291 1292 1298 1300 1301 1303 1307 1317 1324 1325 1328 1329 1335 1337 1338 1340 1344 1391 1394 1395 1398 1403 1404 1407 1409 1418 1421 1422 1425 1430 1431 1434 1436 (1092044464 Gavin Theobald)
a(150)<=1444 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 179 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 438 441 442 445 450 451 454 456 465 468 469 472 477 478 481 483 962 963 966 967 973 975 976 978 982 992 999 1000 1003 1004 1010 1012 1013 1015 1019 1029 1073 1074 1077 1078 1084 1086 1087 1089 1093 1103 1110 1111 1114 1115 1121 1123 1124 1126 1130 1140 1295 1296 1299 1300 1306 1308 1309 1311 1315 1325 1332 1333 1336 1337 1343 1345 1346 1348 1352 1399 1402 1403 1406 1411 1412 1415 1417 1426 1429 1430 1433 1438 1439 1442 1444 (1092044464 Gavin Theobald)
a(155)<=1485 1 2 5 6 12 14 15 17 21 31 38 39 42 43 49 51 52 54 58 68 112 113 116 117 123 125 126 128 132 142 149 150 153 154 160 162 163 165 169 179 334 335 338 339 345 347 348 350 354 364 371 372 375 376 382 384 385 387 391 401 445 446 449 450 456 458 459 461 465 475 482 483 486 487 493 495 496 498 502 996 997 1000 1001 1007 1009 1010 1012 1016 1026 1033 1034 1037 1038 1044 1046 1047 1049 1053 1063 1107 1108 1111 1112 1118 1120 1121 1123 1127 1137 1144 1145 1148 1149 1155 1157 1158 1160 1164 1174 1329 1330 1333 1334 1340 1342 1343 1345 1349 1359 1366 1367 1370 1371 1377 1379 1380 1382 1386 1396 1440 1441 1444 1445 1451 1453 1454 1456 1460 1470 1473 1474 1477 1482 1483 1485 (1092044464 Gavin Theobald)
a(161)<=1598 1 2 5 7 11 16 18 19 24 26 38 39 42 44 48 53 55 56 61 63 112 113 116 118 122 127 129 130 135 137 149 150 153 155 159 164 166 167 172 174 334 335 338 340 344 349 351 352 357 359 371 372 375 377 381 386 388 389 394 396 445 446 449 451 455 460 462 463 468 470 482 483 486 488 492 497 499 500 505 507 1050 1051 1054 1056 1060 1065 1067 1068 1073 1075 1087 1088 1091 1093 1097 1102 1104 1105 1110 1112 1161 1162 1165 1167 1171 1176 1178 1179 1184 1186 1198 1199 1202 1204 1208 1213 1215 1216 1221 1223 1405 1409 1411 1412 1414 1420 1421 1424 1425 1432 1442 1446 1448 1449 1451 1457 1458 1461 1462 1469 1516 1531 1532 1537 1539 1540 1544 1550 1552 1553 1555 1559 1576 1577 1580 1582 1585 1591 1592 1596 1598 (1092044464 Gavin Theobald)
a(162)<=1636 1 2 5 7 11 16 18 19 24 26 38 39 42 44 48 53 55 56 61 63 112 113 116 118 122 127 129 130 135 137 149 150 153 155 159 164 166 167 172 174 356 360 362 363 365 371 372 375 376 383 393 397 399 400 402 408 409 412 413 420 467 482 483 488 490 491 495 501 503 504 506 510 527 528 531 533 536 542 543 547 549 1088 1090 1094 1095 1101 1104 1106 1109 1110 1127 1131 1133 1134 1136 1142 1146 1147 1149 1154 1155 1170 1217 1224 1225 1228 1229 1235 1237 1238 1240 1244 1254 1261 1262 1265 1266 1272 1274 1275 1277 1281 1463 1465 1470 1471 1473 1478 1482 1484 1487 1488 1500 1502 1507 1508 1510 1515 1519 1521 1524 1525 1574 1576 1581 1582 1584 1589 1593 1595 1598 1599 1611 1613 1618 1619 1621 1626 1630 1632 1635 1636 (1092044465 Gavin Theobald)
a(163)<=1655 1 2 5 7 11 16 18 19 24 26 38 39 42 44 48 53 55 56 61 63 112 113 116 118 122 127 129 130 135 137 149 150 153 155 159 164 166 167 172 174 334 335 338 340 344 349 351 352 357 359 371 372 375 377 381 386 388 389 394 396 445 446 449 451 455 460 462 463 468 470 482 483 486 488 492 497 499 500 505 507 1075 1082 1083 1086 1087 1093 1095 1096 1098 1102 1112 1119 1120 1123 1124 1130 1132 1133 1135 1139 1186 1193 1194 1197 1198 1204 1206 1207 1209 1213 1223 1230 1231 1234 1235 1241 1243 1244 1246 1250 1447 1451 1453 1454 1456 1463 1468 1469 1471 1476 1477 1490 1493 1494 1497 1502 1506 1508 1513 1516 1567 1582 1583 1588 1590 1591 1595 1601 1603 1604 1606 1610 1627 1631 1633 1634 1636 1642 1646 1647 1649 1654 1655 (1092044465 Gavin Theobald)
a(164)<=1672 1 2 5 7 16 18 23 24 26 33 37 49 53 60 62 63 68 70 81 84 85 126 127 130 132 141 143 148 149 151 158 162 174 178 185 187 188 193 195 206 209 210 376 377 380 382 391 393 398 399 401 408 412 424 428 435 437 438 443 445 456 459 460 501 502 505 507 516 518 523 524 526 533 537 549 553 560 562 563 568 570 581 584 585 1164 1171 1172 1175 1176 1182 1184 1185 1187 1191 1201 1208 1209 1212 1213 1219 1221 1222 1224 1228 1275 1282 1283 1286 1287 1293 1295 1296 1298 1302 1312 1319 1320 1323 1324 1330 1332 1333 1335 1339 1497 1504 1505 1508 1509 1515 1517 1518 1520 1524 1534 1541 1542 1545 1546 1552 1554 1555 1557 1561 1608 1615 1616 1619 1620 1626 1628 1629 1631 1635 1645 1652 1653 1656 1657 1663 1665 1666 1668 1672 (1092044465 Gavin Theobald)
m(23)<=151 0 1 4 6 15 16 20 22 23 27 33 35 56 57 61 63 67 72 74 75 80 82 105 (1092044465 Gavin Theobald)
m(23)<=148 0 6 7 10 16 17 19 29 30 33 35 55 57 61 62 68 71 73 76 83 88 96 102 (1092044472 Gavin Theobald)
m(24)<=148 0 6 14 19 26 29 31 34 40 41 45 47 67 69 72 73 83 85 86 92 95 96 102 116 (1092044472 Gavin Theobald)
m(25)<=165 0 10 15 16 18 19 25 29 41 46 59 61 68 84 86 94 96 110 114 123 125 128 130 141 148 (1092044472 Gavin Theobald)
a(60)<=332 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 (1095251260 Gavin Theobald)
a(61)<=341 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 (1095251260 Gavin Theobald)
a(62)<=350 1 10 11 18 20 23 24 41 43 44 48 57 60 61 67 69 80 82 88 89 92 101 105 106 108 126 129 131 138 139 148 203 212 213 220 222 225 243 245 246 250 259 262 263 269 271 282 284 290 291 294 303 307 308 310 327 328 331 333 340 341 350 (1095251260 Gavin Theobald)
a(92)<=670 1 2 5 11 12 14 24 25 28 30 50 52 56 57 63 66 68 71 78 83 91 97 129 143 149 150 153 159 160 162 172 173 176 178 198 200 204 205 211 214 216 219 226 231 239 245 425 439 445 446 449 455 456 458 468 469 472 474 494 496 500 501 507 510 512 515 522 527 535 541 573 587 593 594 597 603 604 606 616 617 620 622 642 644 648 649 655 658 660 663 669 670 (1095251260 Gavin Theobald)
a(93)<=676 1 2 8 11 13 16 22 23 27 29 49 51 54 55 65 67 68 74 77 78 84 98 130 136 144 149 156 159 161 164 170 171 175 177 197 199 202 203 213 215 216 222 225 226 232 246 278 284 440 445 452 455 457 460 466 467 471 473 493 495 498 499 509 511 512 518 521 522 528 542 574 580 588 593 600 603 605 608 614 615 619 621 641 643 646 647 657 659 660 666 669 670 676 (1095251260 Gavin Theobald)
a(98)<=746 1 3 7 8 10 18 21 22 25 27 30 31 56 60 62 65 66 69 77 79 80 84 86 118 134 166 168 172 173 175 183 186 187 190 192 195 196 221 225 227 230 231 234 242 244 245 249 251 448 464 496 498 502 503 505 513 516 517 520 522 525 526 551 555 557 560 561 564 572 574 575 579 581 613 629 661 663 667 668 670 678 681 682 685 687 690 691 716 720 722 725 726 729 737 739 740 744 746 (1095251260 Gavin Theobald)
a(113)<=899 1 3 4 8 17 20 21 27 29 40 42 48 49 52 61 65 66 68 86 89 91 98 99 108 163 172 173 180 182 185 203 205 206 210 219 222 223 229 231 242 244 250 251 254 263 267 268 270 287 288 291 293 300 301 310 567 576 577 584 586 589 607 609 610 614 623 626 627 633 635 646 648 654 655 658 667 671 672 674 691 692 695 697 704 705 769 778 779 786 788 791 809 811 812 816 825 828 829 835 837 848 850 856 857 860 869 873 874 876 893 894 897 899 (1095251260 Gavin Theobald)
a(114)<=905 1 2 6 15 18 19 25 27 38 40 46 47 50 59 63 64 66 84 87 89 96 97 106 161 170 171 178 180 183 201 203 204 208 217 220 221 227 229 240 242 248 249 252 261 265 266 268 285 286 289 291 298 299 308 565 574 575 582 584 587 605 607 608 612 621 624 625 631 633 644 646 652 653 656 665 669 670 672 689 690 693 695 702 703 767 776 777 784 786 789 807 809 810 814 823 826 827 833 835 846 848 854 855 858 867 871 872 874 891 892 895 897 904 905 (1095251260 Gavin Theobald)
a(115)<=907 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 (1095251260 Gavin Theobald)
a(116)<=916 1 3 4 8 17 20 21 27 29 40 42 48 49 52 61 65 66 68 86 89 91 98 99 108 163 172 173 180 182 185 203 205 206 210 219 222 223 229 231 242 244 250 251 254 263 267 268 270 287 288 291 293 300 301 310 567 576 577 584 586 589 607 609 610 614 623 626 627 633 635 646 648 654 655 658 667 671 672 674 691 692 695 697 704 705 769 778 779 786 788 791 809 811 812 816 825 828 829 835 837 848 850 856 857 860 869 873 874 876 893 894 897 899 906 907 916 (1095251260 Gavin Theobald)
a(117)<=922 1 3 6 7 24 26 27 31 40 43 44 50 52 63 65 71 72 75 84 88 89 91 109 112 114 121 122 131 186 195 196 203 205 208 226 228 229 233 242 245 246 252 254 265 267 273 274 277 286 290 291 293 310 311 314 316 323 324 333 590 599 600 607 609 612 630 632 633 637 646 649 650 656 658 669 671 677 678 681 690 694 695 697 714 715 718 720 727 728 792 801 802 809 811 814 832 834 835 839 848 851 852 858 860 871 873 879 880 883 892 896 897 899 916 917 920 922 (1095251260 Gavin Theobald)
a(118)<=928 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 (1095251260 Gavin Theobald)
a(119)<=930 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 930 (1095251260 Gavin Theobald)
a(120)<=937 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 930 937 (1095251260 Gavin Theobald)
a(121)<=938 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 930 937 938 (1095251260 Gavin Theobald)
a(122)<=947 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 203 204 211 213 216 217 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 319 322 324 331 332 341 598 607 608 615 617 620 621 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 723 726 728 735 736 745 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 930 937 938 947 (1095251260 Gavin Theobald)
a(123)<=956 1 10 11 18 20 23 24 41 43 44 48 57 60 61 67 69 80 82 88 89 92 101 105 106 108 126 129 131 138 139 148 203 212 213 220 222 225 243 245 246 250 259 262 263 269 271 282 284 290 291 294 303 307 308 310 327 328 331 333 340 341 350 607 616 617 624 626 629 647 649 650 654 663 666 667 673 675 686 688 694 695 698 707 711 712 714 731 732 735 737 744 745 809 818 819 826 828 831 849 851 852 856 865 868 869 875 877 888 890 896 897 900 909 913 914 916 933 934 937 939 946 947 956 (1095251260 Gavin Theobald)
a(124)<=1023 1 10 11 18 20 23 24 41 43 44 48 57 60 61 67 69 80 82 88 89 92 101 105 106 108 126 129 131 138 139 148 203 212 213 220 222 225 243 245 246 250 259 262 263 269 271 282 284 290 291 294 303 307 308 310 327 328 331 333 340 341 350 674 683 684 691 693 696 697 714 716 717 721 730 733 734 740 742 753 755 761 762 765 774 778 779 781 799 802 804 811 812 821 876 885 886 893 895 898 916 918 919 923 932 935 936 942 944 955 957 963 964 967 976 980 981 983 1000 1001 1004 1006 1013 1014 1023 (1095251260 Gavin Theobald)
a(125)<=1066 1 2 5 7 10 11 14 16 28 29 32 34 37 38 41 43 82 83 86 88 91 92 95 97 109 110 113 115 118 119 122 124 244 245 248 250 253 254 257 259 271 272 275 277 280 281 284 286 325 326 329 331 334 335 338 340 352 353 356 358 361 362 365 367 726 735 736 743 745 748 749 766 768 769 773 782 785 786 792 794 805 807 813 814 817 826 830 831 833 851 854 856 863 864 873 928 937 938 945 947 950 968 970 971 975 984 987 988 994 996 1007 1009 1015 1016 1019 1028 1032 1033 1035 1052 1053 1056 1058 1065 1066 (1095251260 Gavin Theobald)
a(126)<=1075 1 2 5 7 10 11 14 16 28 29 32 34 37 38 41 43 82 83 86 88 91 92 95 97 109 110 113 115 118 119 122 124 244 245 248 250 253 254 257 259 271 272 275 277 280 281 284 286 325 326 329 331 334 335 338 340 352 353 356 358 361 362 365 367 726 735 736 743 745 748 749 766 768 769 773 782 785 786 792 794 805 807 813 814 817 826 830 831 833 851 854 856 863 864 873 928 937 938 945 947 950 968 970 971 975 984 987 988 994 996 1007 1009 1015 1016 1019 1028 1032 1033 1035 1052 1053 1056 1058 1065 1066 1075 (1095251260 Gavin Theobald)
a(129)<=1125 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 716 724 726 730 735 737 738 742 753 756 757 762 763 765 766 778 785 801 809 811 815 820 822 823 827 838 841 842 847 848 850 851 863 870 971 979 981 985 990 992 993 997 1008 1011 1012 1017 1018 1020 1021 1033 1040 1056 1064 1066 1070 1075 1077 1078 1082 1093 1096 1097 1102 1103 1105 1106 1118 1125 (1095251260 Gavin Theobald)
a(130)<=1134 1 8 20 21 23 24 29 30 33 44 48 49 51 56 60 62 70 86 93 105 106 108 109 114 115 118 129 133 134 136 141 145 147 155 256 263 275 276 278 279 284 285 288 299 303 304 306 311 315 317 325 341 348 360 361 363 364 369 370 373 384 388 389 391 396 400 402 410 785 794 795 802 804 807 808 825 827 828 832 841 844 845 851 853 864 866 872 873 876 885 889 890 892 910 913 915 922 923 932 987 996 997 1004 1006 1009 1027 1029 1030 1034 1043 1046 1047 1053 1055 1066 1068 1074 1075 1078 1087 1091 1092 1094 1111 1112 1115 1117 1124 1125 1134 (1095251260 Gavin Theobald)
a(141)<=1336 1 5 7 10 11 14 16 20 28 32 34 37 38 41 43 47 82 95 97 98 100 104 106 107 109 124 125 128 129 135 137 138 140 292 302 309 310 313 314 320 322 323 325 329 339 346 347 350 351 357 359 360 362 403 413 420 421 424 425 431 433 434 436 440 450 457 458 461 462 468 470 471 473 927 934 946 947 949 950 955 956 959 970 974 975 977 982 986 988 996 1012 1019 1031 1032 1034 1035 1040 1041 1044 1055 1059 1060 1062 1067 1071 1073 1081 1182 1189 1201 1202 1204 1205 1210 1211 1214 1225 1229 1230 1232 1237 1241 1243 1251 1267 1274 1286 1287 1289 1290 1295 1296 1299 1310 1314 1315 1317 1322 1326 1328 1336 (1095251260 Gavin Theobald)
a(151)<=1455 1 2 4 8 10 11 13 17 28 29 31 35 37 38 40 44 82 83 85 89 91 92 94 98 109 110 112 116 118 119 121 125 288 289 292 293 299 301 302 304 308 318 325 326 329 330 336 338 339 341 345 355 399 400 403 404 410 412 413 415 419 429 436 437 440 441 447 449 450 452 456 947 954 955 958 959 965 967 968 970 974 984 991 992 995 996 1002 1004 1005 1007 1011 1058 1065 1066 1069 1070 1076 1078 1079 1081 1085 1095 1102 1103 1106 1107 1113 1115 1116 1118 1122 1280 1287 1288 1291 1292 1298 1300 1301 1303 1307 1317 1324 1325 1328 1329 1335 1337 1338 1340 1344 1391 1398 1399 1402 1403 1409 1411 1412 1414 1418 1428 1435 1436 1439 1440 1446 1448 1449 1451 1455 (1095251260 Gavin Theobald)
m(27)<=182 0 5 6 22 23 29 31 32 34 43 48 50 51 60 75 84 85 87 92 101 103 104 106 112 129 130 135 (1095251260 Gavin Theobald)
m(29)<=202 0 1 8 10 13 14 31 33 34 38 47 50 51 57 59 70 72 78 79 82 91 95 96 98 116 119 121 128 129 (1095251260 Gavin Theobald)
m(30)<=202 0 1 8 10 13 14 31 33 34 38 47 50 51 57 59 70 72 78 79 82 91 95 96 98 116 119 121 128 129 138 (1095251260 Gavin Theobald)
m(37)<=317 0 2 6 7 13 15 16 18 31 37 38 40 41 48 50 53 54 57 103 105 110 111 113 118 122 124 127 128 140 142 147 148 150 155 159 161 164 (1095251260 Gavin Theobald)
m(53)<=541 0 2 3 7 8 10 19 21 22 26 27 29 57 59 60 64 65 67 76 78 79 83 84 86 100 119 157 176 180 182 185 186 189 191 199 201 204 205 208 210 237 239 242 243 246 248 256 258 261 262 265 267 271 (1095251260 Gavin Theobald)
a(107)<=830 1 2 5 18 19 25 27 28 30 39 44 46 47 56 57 71 80 81 88 97 99 100 102 108 125 126 131 178 183 184 187 200 201 207 209 210 212 221 226 228 229 238 239 253 262 263 270 279 281 282 284 290 307 308 313 542 547 548 551 564 565 571 573 574 576 585 590 592 593 602 603 617 626 627 634 643 645 646 648 654 671 672 677 724 729 730 733 746 747 753 755 756 758 767 772 774 775 784 785 799 808 809 816 825 827 828 830 (1095251268 Gavin Theobald)
a(108)<=835 1 3 4 6 15 22 23 32 46 47 56 57 59 64 73 75 76 78 84 85 98 101 102 107 154 159 160 177 183 185 186 188 197 204 205 214 228 229 238 239 241 246 255 257 258 260 266 267 280 283 284 289 518 523 524 527 540 541 547 549 550 552 561 566 568 569 578 579 593 602 603 610 619 621 622 624 630 647 648 653 700 705 706 709 722 723 729 731 732 734 743 748 750 751 760 761 775 784 785 792 801 803 804 806 812 829 830 835 (1095251268 Gavin Theobald)
a(109)<=841 1 6 7 10 23 24 30 32 33 35 44 49 51 52 61 62 76 85 86 93 102 104 105 107 113 130 131 136 183 188 189 192 205 206 212 214 215 217 226 231 233 234 243 244 258 267 268 275 284 286 287 289 295 312 313 318 547 552 553 556 569 570 576 578 579 581 590 595 597 598 607 608 622 631 632 639 648 650 651 653 659 676 677 682 729 734 735 738 751 752 758 760 761 763 772 777 779 780 789 790 804 813 814 821 830 832 833 835 841 (1095251268 Gavin Theobald)
a(110)<=853 1 2 5 18 19 25 27 28 30 39 44 46 47 56 57 71 80 81 88 97 99 100 102 108 125 126 131 178 183 184 187 200 201 207 209 210 212 221 226 228 229 238 239 253 262 263 270 279 281 282 284 290 307 308 313 542 547 548 551 564 565 571 573 574 576 585 590 592 593 602 603 617 626 627 634 643 645 646 648 654 671 672 677 724 729 730 733 746 747 753 755 756 758 767 772 774 775 784 785 799 808 809 816 825 827 828 830 836 850 853 (1095251268 Gavin Theobald)
a(111)<=854 1 2 5 18 19 25 27 28 30 39 44 46 47 56 57 71 80 81 88 97 99 100 102 108 125 126 131 178 183 184 187 200 201 207 209 210 212 221 226 228 229 238 239 253 262 263 270 279 281 282 284 290 307 308 313 542 547 548 551 564 565 571 573 574 576 585 590 592 593 602 603 617 626 627 634 643 645 646 648 654 671 672 677 724 729 730 733 746 747 753 755 756 758 767 772 774 775 784 785 799 808 809 816 825 827 828 830 836 850 853 854 (1095251268 Gavin Theobald)
a(112)<=859 1 2 5 18 19 25 27 28 30 39 44 46 47 56 57 71 80 81 88 97 99 100 102 108 125 126 131 178 183 184 187 200 201 207 209 210 212 221 226 228 229 238 239 253 262 263 270 279 281 282 284 290 307 308 313 542 547 548 551 564 565 571 573 574 576 585 590 592 593 602 603 617 626 627 634 643 645 646 648 654 671 672 677 724 729 730 733 746 747 753 755 756 758 767 772 774 775 784 785 799 808 809 816 825 827 828 830 836 850 853 854 859 (1095251268 Gavin Theobald)
a(113)<=864 1 6 7 10 23 24 30 32 33 35 44 49 51 52 61 62 76 85 86 93 102 104 105 107 113 130 131 136 183 188 189 192 205 206 212 214 215 217 226 231 233 234 243 244 258 267 268 275 284 286 287 289 295 312 313 318 547 552 553 556 569 570 576 578 579 581 590 595 597 598 607 608 622 631 632 639 648 650 651 653 659 676 677 682 729 734 735 738 751 752 758 760 761 763 772 777 779 780 789 790 804 813 814 821 830 832 833 835 841 855 858 859 864 (1095251268 Gavin Theobald)
a(114)<=897 1 2 6 15 18 19 25 27 38 40 46 47 50 59 63 64 66 83 84 87 89 96 97 106 161 170 171 178 180 183 201 203 204 208 217 220 221 227 229 240 242 248 249 252 261 265 266 268 285 286 289 291 298 299 308 565 574 575 582 584 587 588 605 607 608 612 621 624 625 631 633 644 646 652 653 656 665 669 670 672 690 693 695 702 703 712 767 776 777 784 786 789 790 807 809 810 814 823 826 827 833 835 846 848 854 855 858 867 871 872 874 892 895 897 (1095251268 Gavin Theobald)
a(115)<=899 1 3 4 8 17 20 21 27 29 40 42 48 49 52 61 65 66 68 85 86 89 91 98 99 108 163 172 173 180 182 185 203 205 206 210 219 222 223 229 231 242 244 250 251 254 263 267 268 270 287 288 291 293 300 301 310 567 576 577 584 586 589 590 607 609 610 614 623 626 627 633 635 646 648 654 655 658 667 671 672 674 692 695 697 704 705 714 769 778 779 786 788 791 792 809 811 812 816 825 828 829 835 837 848 850 856 857 860 869 873 874 876 894 897 899 (1095251268 Gavin Theobald)
a(116)<=905 1 2 6 15 18 19 25 27 38 40 46 47 50 59 63 64 66 83 84 87 89 96 97 106 161 170 171 178 180 183 201 203 204 208 217 220 221 227 229 240 242 248 249 252 261 265 266 268 285 286 289 291 298 299 308 565 574 575 582 584 587 588 605 607 608 612 621 624 625 631 633 644 646 652 653 656 665 669 670 672 690 693 695 702 703 712 767 776 777 784 786 789 790 807 809 810 814 823 826 827 833 835 846 848 854 855 858 867 871 872 874 892 895 897 904 905 (1095251268 Gavin Theobald)
a(117)<=907 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 745 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 (1095251268 Gavin Theobald)
a(118)<=916 1 3 4 8 17 20 21 27 29 40 42 48 49 52 61 65 66 68 85 86 89 91 98 99 108 163 172 173 180 182 185 203 205 206 210 219 222 223 229 231 242 244 250 251 254 263 267 268 270 287 288 291 293 300 301 310 567 576 577 584 586 589 590 607 609 610 614 623 626 627 633 635 646 648 654 655 658 667 671 672 674 692 695 697 704 705 714 769 778 779 786 788 791 792 809 811 812 816 825 828 829 835 837 848 850 856 857 860 869 873 874 876 894 897 899 906 907 916 (1095251268 Gavin Theobald)
a(119)<=922 1 3 6 7 24 26 27 31 40 43 44 50 52 63 65 71 72 75 84 88 89 91 108 109 112 114 121 122 131 186 195 196 203 205 208 226 228 229 233 242 245 246 252 254 265 267 273 274 277 286 290 291 293 310 311 314 316 323 324 333 590 599 600 607 609 612 630 632 633 637 646 649 650 656 658 669 671 677 678 681 690 694 695 697 714 715 718 720 727 728 737 792 801 802 809 811 814 832 834 835 839 848 851 852 858 860 871 873 879 880 883 892 896 897 899 916 917 920 922 (1095251268 Gavin Theobald)
a(120)<=928 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 745 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 (1095251268 Gavin Theobald)
a(121)<=930 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 745 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 930 (1095251268 Gavin Theobald)
a(122)<=937 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 745 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 930 937 (1095251268 Gavin Theobald)
a(123)<=938 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 745 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 930 937 938 (1095251268 Gavin Theobald)
a(124)<=947 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 745 800 809 810 817 819 822 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 924 925 928 930 937 938 947 (1095251268 Gavin Theobald)
a(125)<=956 1 10 11 18 20 23 24 41 43 44 48 57 60 61 67 69 80 82 88 89 92 101 105 106 108 126 129 131 138 139 148 203 212 213 220 222 225 226 243 245 246 250 259 262 263 269 271 282 284 290 291 294 303 307 308 310 328 331 333 340 341 350 607 616 617 624 626 629 630 647 649 650 654 663 666 667 673 675 686 688 694 695 698 707 711 712 714 732 735 737 744 745 754 809 818 819 826 828 831 832 849 851 852 856 865 868 869 875 877 888 890 896 897 900 909 913 914 916 933 934 937 939 946 947 956 (1095251268 Gavin Theobald)
a(126)<=1034 1 10 11 18 20 23 24 41 43 44 48 57 60 61 67 69 80 82 88 89 92 101 105 106 108 125 126 129 131 138 139 148 203 212 213 220 222 225 243 245 246 250 259 262 263 269 271 282 284 290 291 294 303 307 308 310 327 328 331 333 340 341 350 607 616 617 624 626 629 647 649 650 654 663 666 667 673 675 686 688 694 695 698 707 711 712 714 731 732 735 737 744 745 754 809 818 819 826 828 831 849 851 852 856 865 868 869 875 877 888 890 896 897 900 909 913 914 916 933 934 937 939 946 947 956 1034 (1095251268 Gavin Theobald)
a(129)<=1124 1 2 10 12 15 16 26 34 38 39 41 45 47 54 57 59 65 86 87 95 97 100 101 111 119 123 124 126 130 132 139 142 144 150 256 257 265 267 270 271 281 289 293 294 296 300 302 309 312 314 320 341 342 350 352 355 356 366 374 378 379 381 385 387 394 397 399 405 780 789 791 799 804 805 810 814 822 826 827 835 836 841 852 854 857 859 870 875 876 884 885 889 897 901 907 912 920 922 931 982 991 993 1001 1006 1007 1012 1016 1024 1028 1029 1037 1038 1043 1054 1056 1059 1061 1072 1077 1078 1086 1087 1091 1099 1103 1109 1114 1122 1124 (1095251268 Gavin Theobald)
a(130)<=1133 1 2 10 12 15 16 26 34 38 39 41 45 47 54 57 59 65 86 87 95 97 100 101 111 119 123 124 126 130 132 139 142 144 150 256 257 265 267 270 271 281 289 293 294 296 300 302 309 312 314 320 341 342 350 352 355 356 366 374 378 379 381 385 387 394 397 399 405 780 789 791 799 804 805 810 814 822 826 827 835 836 841 852 854 857 859 870 875 876 884 885 889 897 901 907 912 920 922 931 982 991 993 1001 1006 1007 1012 1016 1024 1028 1029 1037 1038 1043 1054 1056 1059 1061 1072 1077 1078 1086 1087 1091 1099 1103 1109 1114 1122 1124 1133 (1095251268 Gavin Theobald)
a(142)<=1350 1 2 5 7 11 16 18 19 24 26 38 39 42 44 48 53 55 56 61 63 112 113 116 118 122 127 129 130 135 137 149 150 153 155 159 164 166 167 172 174 334 335 338 340 344 349 351 352 357 359 371 372 375 377 381 386 388 389 394 396 445 446 449 451 455 460 462 463 468 470 482 483 486 488 492 497 499 500 505 507 1001 1010 1011 1018 1020 1023 1024 1041 1043 1044 1048 1057 1060 1061 1067 1069 1080 1082 1088 1089 1092 1101 1105 1106 1108 1126 1129 1131 1138 1139 1148 1203 1212 1213 1220 1222 1225 1243 1245 1246 1250 1259 1262 1263 1269 1271 1282 1284 1290 1291 1294 1303 1307 1308 1310 1327 1328 1331 1333 1340 1341 1350 (1095251268 Gavin Theobald)
a(256)<=3208 1 2 10 12 15 16 26 34 38 39 41 45 47 54 57 59 65 86 87 95 97 100 101 111 119 123 124 126 130 132 139 142 144 150 256 257 265 267 270 271 281 289 293 294 296 300 302 309 312 314 320 341 342 350 352 355 356 366 374 378 379 381 385 387 394 397 399 405 780 789 791 799 804 805 810 814 822 826 827 835 836 841 852 854 857 859 870 875 876 884 885 889 897 901 907 912 920 922 931 982 991 993 1001 1006 1007 1012 1016 1024 1028 1029 1037 1038 1043 1054 1056 1059 1061 1072 1077 1078 1086 1087 1091 1099 1103 1109 1114 1122 1124 1133 2175 2253 2262 2263 2270 2272 2275 2276 2293 2295 2296 2300 2309 2312 2313 2319 2321 2332 2334 2340 2341 2344 2353 2357 2358 2360 2378 2381 2383 2390 2391 2400 2455 2464 2465 2472 2474 2477 2478 2495 2497 2498 2502 2511 2514 2515 2521 2523 2534 2536 2542 2543 2546 2555 2559 2560 2562 2580 2583 2585 2592 2593 2602 2859 2868 2869 2876 2878 2881 2882 2899 2901 2902 2906 2915 2918 2919 2925 2927 2938 2940 2946 2947 2950 2959 2963 2964 2966 2984 2987 2989 2996 2997 3006 3061 3070 3071 3078 3080 3083 3084 3101 3103 3104 3108 3117 3120 3121 3127 3129 3140 3142 3148 3149 3152 3161 3165 3166 3168 3185 3186 3189 3191 3198 3199 3208 (1095251268 Gavin Theobald)
m(28)<=182 0 5 6 9 22 23 29 31 32 34 43 48 50 51 60 61 75 84 85 92 101 103 104 106 112 129 130 135 (1095251268 Gavin Theobald)
m(31)<=202 0 9 10 17 19 22 23 40 42 43 47 56 59 60 66 68 79 81 87 88 91 100 104 105 107 125 128 130 137 138 147 (1095251268 Gavin Theobald)
a(127)<=1085 1 5 6 12 14 17 35 38 43 45 54 57 61 66 67 82 83 88 92 95 104 106 111 114 132 135 137 143 144 148 157 224 233 237 238 244 246 249 267 270 275 277 286 289 293 298 299 314 315 320 324 327 336 338 343 346 364 367 369 375 376 380 389 456 697 701 702 708 710 713 731 734 739 741 750 753 757 762 763 778 779 784 788 791 800 802 807 810 828 831 833 839 840 844 853 920 929 933 934 940 942 945 963 966 971 973 982 985 989 994 995 1010 1011 1016 1020 1023 1032 1034 1039 1042 1060 1063 1065 1071 1072 1076 1085 (1095399179 Gavin Theobald)
a(128)<=1092 1 4 9 16 18 22 34 37 41 47 51 54 63 69 77 82 83 88 96 102 111 114 118 124 128 131 143 147 149 156 161 164 233 236 241 248 250 254 266 269 273 279 283 286 295 301 309 314 315 320 328 334 343 346 350 356 360 363 375 379 381 388 393 396 697 700 705 712 714 718 730 733 737 743 747 750 759 765 773 778 779 784 792 798 807 810 814 820 824 827 839 843 845 852 857 860 929 932 937 944 946 950 962 965 969 975 979 982 991 997 1005 1010 1011 1016 1024 1030 1039 1042 1046 1052 1056 1059 1071 1075 1077 1084 1089 1092 (1095399179 Gavin Theobald)
a(131)<=1139 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 (1095399179 Gavin Theobald)
a(132)<=1144 1 2 7 8 16 18 19 21 33 38 39 44 51 53 54 61 91 97 113 123 127 137 153 159 189 196 197 199 206 211 212 217 229 231 232 234 242 243 248 249 276 277 282 283 291 293 294 296 308 313 314 319 326 328 329 336 366 372 388 398 402 412 428 434 464 746 747 749 756 761 762 767 779 781 782 784 792 793 798 799 826 827 832 833 841 843 844 846 858 863 864 869 876 878 879 886 916 922 938 948 952 962 978 984 1014 1021 1022 1024 1031 1036 1037 1042 1054 1056 1057 1059 1067 1068 1073 1074 1101 1102 1107 1108 1116 1118 1119 1121 1133 1138 1139 1144 (1095399179 Gavin Theobald)
a(134)<=1153 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 (1095399179 Gavin Theobald)
a(135)<=1154 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 (1095399179 Gavin Theobald)
a(136)<=1161 1 2 7 8 16 18 19 21 33 38 39 44 51 53 54 61 91 97 113 123 127 137 153 159 189 196 197 199 206 211 212 217 229 231 232 234 242 243 248 249 276 277 282 283 291 293 294 296 308 313 314 319 326 328 329 336 366 372 388 398 402 412 428 434 464 746 747 749 756 761 762 767 779 781 782 784 792 793 798 799 826 827 832 833 841 843 844 846 858 863 864 869 876 878 879 886 916 922 938 948 952 962 978 984 1014 1021 1022 1024 1031 1036 1037 1042 1054 1056 1057 1059 1067 1068 1073 1074 1101 1102 1107 1108 1116 1118 1119 1121 1133 1138 1139 1144 1151 1153 1154 1161 (1095399179 Gavin Theobald)
a(137)<=1180 1 3 4 6 14 15 20 21 48 49 54 55 63 65 66 68 80 85 86 91 98 100 101 108 138 144 160 170 174 184 200 206 236 243 244 246 253 258 259 264 276 278 279 281 289 290 295 296 323 324 329 330 338 340 341 343 355 360 361 366 373 375 376 383 413 419 435 445 449 459 475 481 511 793 794 796 803 808 809 814 826 828 829 831 839 840 845 846 873 874 879 880 888 890 891 893 905 910 911 916 923 925 926 933 963 969 985 995 999 1009 1025 1031 1061 1068 1069 1071 1078 1083 1084 1089 1101 1103 1104 1106 1114 1115 1120 1121 1148 1149 1154 1155 1163 1165 1166 1168 1180 (1095399179 Gavin Theobald)
a(138)<=1184 1 2 4 12 13 18 19 46 47 52 53 61 63 64 66 78 83 84 89 96 98 99 106 136 142 158 168 172 182 198 204 234 241 242 244 251 256 257 262 274 276 277 279 287 288 293 294 321 322 327 328 336 338 339 341 353 358 359 364 371 373 374 381 411 417 433 443 447 457 473 479 509 791 792 794 801 806 807 812 824 826 827 829 837 838 843 844 871 872 877 878 886 888 889 891 903 908 909 914 921 923 924 931 961 967 983 993 997 1007 1023 1029 1059 1066 1067 1069 1076 1081 1082 1087 1099 1101 1102 1104 1112 1113 1118 1119 1146 1147 1152 1153 1161 1163 1164 1166 1178 1183 1184 (1095399179 Gavin Theobald)
a(139)<=1186 1 2 7 19 21 22 24 32 33 38 39 66 67 72 73 81 83 84 86 98 103 104 109 116 118 119 126 156 162 178 188 192 202 218 224 254 261 262 264 271 276 277 282 294 296 297 299 307 308 313 314 341 342 347 348 356 358 359 361 373 378 379 384 391 393 394 401 431 437 453 463 467 477 493 499 529 811 812 814 821 826 827 832 844 846 847 849 857 858 863 864 891 892 897 898 906 908 909 911 923 928 929 934 941 943 944 951 981 987 1003 1013 1017 1027 1043 1049 1079 1086 1087 1089 1096 1101 1102 1107 1119 1121 1122 1124 1132 1133 1138 1139 1166 1167 1172 1173 1181 1183 1184 1186 (1095399179 Gavin Theobald)
a(140)<=1191 1 3 4 6 14 15 20 21 48 49 54 55 63 65 66 68 80 85 86 91 98 100 101 108 138 144 160 170 174 184 200 206 236 243 244 246 253 258 259 264 276 278 279 281 289 290 295 296 323 324 329 330 338 340 341 343 355 360 361 366 373 375 376 383 413 419 435 445 449 459 475 481 511 793 794 796 803 808 809 814 826 828 829 831 839 840 845 846 873 874 879 880 888 890 891 893 905 910 911 916 923 925 926 933 963 969 985 995 999 1009 1025 1031 1061 1068 1069 1071 1078 1083 1084 1089 1101 1103 1104 1106 1114 1115 1120 1121 1148 1149 1154 1155 1163 1165 1166 1168 1180 1185 1186 1191 (1095399179 Gavin Theobald)
a(141)<=1198 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 (1095399179 Gavin Theobald)
a(142)<=1199 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 (1095399179 Gavin Theobald)
a(143)<=1201 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 (1095399179 Gavin Theobald)
a(144)<=1208 1 3 4 6 14 15 20 21 48 49 54 55 63 65 66 68 80 85 86 91 98 100 101 108 138 144 160 170 174 184 200 206 236 243 244 246 253 258 259 264 276 278 279 281 289 290 295 296 323 324 329 330 338 340 341 343 355 360 361 366 373 375 376 383 413 419 435 445 449 459 475 481 511 793 794 796 803 808 809 814 826 828 829 831 839 840 845 846 873 874 879 880 888 890 891 893 905 910 911 916 923 925 926 933 963 969 985 995 999 1009 1025 1031 1061 1068 1069 1071 1078 1083 1084 1089 1101 1103 1104 1106 1114 1115 1120 1121 1148 1149 1154 1155 1163 1165 1166 1168 1180 1185 1186 1191 1198 1200 1201 1208 (1095399179 Gavin Theobald)
a(145)<=1218 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 (1095399179 Gavin Theobald)
a(146)<=1219 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 (1095399179 Gavin Theobald)
a(147)<=1224 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 1224 (1095399179 Gavin Theobald)
a(148)<=1231 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 1224 1231 (1095399179 Gavin Theobald)
a(149)<=1233 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 1224 1231 1233 (1095399179 Gavin Theobald)
a(150)<=1234 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 1224 1231 1233 1234 (1095399179 Gavin Theobald)
a(151)<=1241 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 1224 1231 1233 1234 1241 (1095399179 Gavin Theobald)
a(152)<=1248 1 8 9 11 18 23 24 29 41 43 44 46 54 55 60 61 88 89 94 95 103 105 106 108 120 125 126 131 138 140 141 148 178 184 200 210 214 224 240 246 276 283 284 286 293 298 299 304 316 318 319 321 329 330 335 336 363 364 369 370 378 380 381 383 395 400 401 406 413 415 416 423 728 734 750 760 764 774 790 796 826 833 834 836 843 848 849 854 866 868 869 871 879 880 885 886 913 914 919 920 928 930 931 933 945 950 951 956 963 965 966 973 1003 1009 1025 1035 1039 1049 1065 1071 1101 1108 1109 1111 1118 1123 1124 1129 1141 1143 1144 1146 1154 1155 1160 1161 1188 1189 1194 1195 1203 1205 1206 1208 1220 1225 1226 1231 1238 1240 1241 1248 (1095399179 Gavin Theobald)
a(153)<=1277 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 1224 1231 1233 1234 1241 1271 1277 (1095399179 Gavin Theobald)
a(154)<=1284 1 7 37 44 45 47 54 59 60 65 77 79 80 82 90 91 96 97 124 125 130 131 139 141 142 144 156 161 162 167 174 176 177 184 214 220 236 246 250 260 276 282 312 319 320 322 329 334 335 340 352 354 355 357 365 366 371 372 399 400 405 406 414 416 417 419 431 436 437 442 449 451 452 459 764 770 786 796 800 810 826 832 862 869 870 872 879 884 885 890 902 904 905 907 915 916 921 922 949 950 955 956 964 966 967 969 981 986 987 992 999 1001 1002 1009 1039 1045 1061 1071 1075 1085 1101 1107 1137 1144 1145 1147 1154 1159 1160 1165 1177 1179 1180 1182 1190 1191 1196 1197 1224 1225 1230 1231 1239 1241 1242 1244 1256 1261 1262 1267 1274 1276 1277 1284 (1095399179 Gavin Theobald)
a(155)<=1300 1 8 9 11 18 23 24 29 41 43 44 46 54 55 60 61 88 89 94 95 103 105 106 108 120 125 126 131 138 140 141 148 178 184 200 210 214 224 240 246 276 283 284 286 293 298 299 304 316 318 319 321 329 330 335 336 363 364 369 370 378 380 381 383 395 400 401 406 413 415 416 423 453 459 475 485 489 499 515 521 826 833 834 836 843 848 849 854 866 868 869 871 879 880 885 886 913 914 919 920 928 930 931 933 945 950 951 956 963 965 966 973 1003 1009 1025 1035 1039 1049 1065 1071 1101 1108 1109 1111 1118 1123 1124 1129 1141 1143 1144 1146 1154 1155 1160 1161 1188 1189 1194 1195 1203 1205 1206 1208 1220 1225 1226 1231 1238 1240 1241 1248 1278 1284 1300 (1095399179 Gavin Theobald)
a(156)<=1305 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 1224 1231 1233 1234 1241 1271 1277 1293 1303 1305 (1095399179 Gavin Theobald)
a(157)<=1312 1 3 13 29 35 65 72 73 75 82 87 88 93 105 107 108 110 118 119 124 125 152 153 158 159 167 169 170 172 184 189 190 195 202 204 205 212 242 248 264 274 278 288 304 310 340 347 348 350 357 362 363 368 380 382 383 385 393 394 399 400 427 428 433 434 442 444 445 447 459 464 465 470 477 479 480 487 792 798 814 824 828 838 854 860 890 897 898 900 907 912 913 918 930 932 933 935 943 944 949 950 977 978 983 984 992 994 995 997 1009 1014 1015 1020 1027 1029 1030 1037 1067 1073 1089 1099 1103 1113 1129 1135 1165 1172 1173 1175 1182 1187 1188 1193 1205 1207 1208 1210 1218 1219 1224 1225 1252 1253 1258 1259 1267 1269 1270 1272 1284 1289 1290 1295 1302 1304 1305 1312 (1095399179 Gavin Theobald)
a(158)<=1324 1 8 9 11 18 23 24 29 41 43 44 46 54 55 60 61 88 89 94 95 103 105 106 108 120 125 126 131 138 140 141 148 178 184 200 210 214 224 240 246 276 283 284 286 293 298 299 304 316 318 319 321 329 330 335 336 363 364 369 370 378 380 381 383 395 400 401 406 413 415 416 423 453 459 475 485 489 499 515 521 826 833 834 836 843 848 849 854 866 868 869 871 879 880 885 886 913 914 919 920 928 930 931 933 945 950 951 956 963 965 966 973 1003 1009 1025 1035 1039 1049 1065 1071 1101 1108 1109 1111 1118 1123 1124 1129 1141 1143 1144 1146 1154 1155 1160 1161 1188 1189 1194 1195 1203 1205 1206 1208 1220 1225 1226 1231 1238 1240 1241 1248 1278 1284 1300 1310 1314 1324 (1095399179 Gavin Theobald)
a(159)<=1339 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 544 826 827 829 836 841 842 847 859 861 862 864 872 873 878 879 906 907 912 913 921 923 924 926 938 943 944 949 956 958 959 966 996 1002 1018 1028 1032 1042 1058 1064 1094 1101 1102 1104 1111 1116 1117 1122 1134 1136 1137 1139 1147 1148 1153 1154 1181 1182 1187 1188 1196 1198 1199 1201 1213 1218 1219 1224 1231 1233 1234 1241 1271 1277 1293 1303 1307 1317 1333 1339 (1095399179 Gavin Theobald)
a(160)<=1346 1 7 23 33 37 47 63 69 99 106 107 109 116 121 122 127 139 141 142 144 152 153 158 159 186 187 192 193 201 203 204 206 218 223 224 229 236 238 239 246 276 282 298 308 312 322 338 344 374 381 382 384 391 396 397 402 414 416 417 419 427 428 433 434 461 462 467 468 476 478 479 481 493 498 499 504 511 513 514 521 826 832 848 858 862 872 888 894 924 931 932 934 941 946 947 952 964 966 967 969 977 978 983 984 1011 1012 1017 1018 1026 1028 1029 1031 1043 1048 1049 1054 1061 1063 1064 1071 1101 1107 1123 1133 1137 1147 1163 1169 1199 1206 1207 1209 1216 1221 1222 1227 1239 1241 1242 1244 1252 1253 1258 1259 1286 1287 1292 1293 1301 1303 1304 1306 1318 1323 1324 1329 1336 1338 1339 1346 (1095399179 Gavin Theobald)
a(161)<=1410 1 7 23 33 37 47 63 69 99 106 107 109 116 121 122 127 139 141 142 144 152 153 158 159 186 187 192 193 201 203 204 206 218 223 224 229 236 238 239 246 276 282 298 308 312 322 338 344 374 381 382 384 391 396 397 402 414 416 417 419 427 428 433 434 461 462 467 468 476 478 479 481 493 498 499 504 511 513 514 521 826 832 848 858 862 872 888 894 924 931 932 934 941 946 947 952 964 966 967 969 977 978 983 984 1011 1012 1017 1018 1026 1028 1029 1031 1043 1048 1049 1054 1061 1063 1064 1071 1101 1107 1123 1133 1137 1147 1163 1169 1199 1206 1207 1209 1216 1221 1222 1227 1239 1241 1242 1244 1252 1253 1258 1259 1286 1287 1292 1293 1301 1303 1304 1306 1318 1323 1324 1329 1336 1338 1339 1346 1410 (1095399179 Gavin Theobald)
a(162)<=1632 1 3 7 8 14 17 19 22 23 40 44 46 47 49 55 59 60 62 67 68 83 130 137 138 141 142 148 150 151 153 157 167 174 175 178 179 185 187 188 190 194 382 386 388 389 391 397 398 401 402 409 419 423 425 426 428 434 435 438 439 446 493 508 509 514 516 517 521 527 529 530 532 536 553 554 557 559 562 568 569 573 575 1112 1118 1134 1144 1148 1158 1174 1180 1210 1217 1218 1220 1227 1232 1233 1238 1250 1252 1253 1255 1263 1264 1269 1270 1297 1298 1303 1304 1312 1314 1315 1317 1329 1334 1335 1340 1347 1349 1350 1357 1387 1393 1409 1419 1423 1433 1449 1455 1485 1492 1493 1495 1502 1507 1508 1513 1525 1527 1528 1530 1538 1539 1544 1545 1572 1573 1578 1579 1587 1589 1590 1592 1604 1609 1610 1615 1622 1624 1625 1632 (1095399179 Gavin Theobald)
a(163)<=1639 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 446 452 468 478 482 492 508 514 1055 1056 1059 1070 1072 1077 1078 1080 1087 1091 1103 1107 1114 1116 1117 1122 1124 1133 1135 1138 1139 1180 1181 1184 1195 1197 1202 1203 1205 1212 1216 1228 1232 1239 1241 1242 1247 1249 1258 1260 1263 1264 1430 1431 1434 1445 1447 1452 1453 1455 1462 1466 1478 1482 1489 1491 1492 1497 1499 1508 1510 1513 1514 1555 1556 1559 1570 1572 1577 1578 1580 1587 1591 1603 1607 1614 1616 1617 1622 1624 1633 1635 1638 1639 (1095399179 Gavin Theobald)
a(164)<=1646 1 2 5 7 16 18 23 24 26 33 37 49 53 60 62 63 68 70 81 84 85 126 127 130 132 141 143 148 149 151 158 162 174 178 185 187 188 193 195 206 209 210 376 377 380 382 391 393 398 399 401 408 412 424 428 435 437 438 443 445 456 459 460 501 502 505 507 516 518 523 524 526 533 537 549 553 560 562 563 568 570 581 584 585 1126 1132 1148 1158 1162 1172 1188 1194 1224 1231 1232 1234 1241 1246 1247 1252 1264 1266 1267 1269 1277 1278 1283 1284 1311 1312 1317 1318 1326 1328 1329 1331 1343 1348 1349 1354 1361 1363 1364 1371 1401 1407 1423 1433 1437 1447 1463 1469 1499 1506 1507 1509 1516 1521 1522 1527 1539 1541 1542 1544 1552 1553 1558 1559 1586 1587 1592 1593 1601 1603 1604 1606 1618 1623 1624 1629 1636 1638 1639 1646 (1095399179 Gavin Theobald)
a(256)<=3180 1 4 9 16 18 22 34 37 41 47 51 54 63 69 77 82 83 88 96 102 111 114 118 124 128 131 143 147 149 156 161 164 233 236 241 248 250 254 266 269 273 279 283 286 295 301 309 314 315 320 328 334 343 346 350 356 360 363 375 379 381 388 393 396 697 700 705 712 714 718 730 733 737 743 747 750 759 765 773 778 779 784 792 798 807 810 814 820 824 827 839 843 845 852 857 860 929 932 937 944 946 950 962 965 969 975 979 982 991 997 1005 1010 1011 1016 1024 1030 1039 1042 1046 1052 1056 1059 1071 1075 1077 1084 1089 1092 2089 2092 2097 2104 2106 2110 2122 2125 2129 2135 2139 2142 2151 2157 2165 2170 2171 2176 2184 2190 2199 2202 2206 2212 2216 2219 2231 2235 2237 2244 2249 2252 2321 2324 2329 2336 2338 2342 2354 2357 2361 2367 2371 2374 2383 2389 2397 2402 2403 2408 2416 2422 2431 2434 2438 2444 2448 2451 2463 2467 2469 2476 2481 2484 2785 2788 2793 2800 2802 2806 2818 2821 2825 2831 2835 2838 2847 2853 2861 2866 2867 2872 2880 2886 2895 2898 2902 2908 2912 2915 2927 2931 2933 2940 2945 2948 3017 3020 3025 3032 3034 3038 3050 3053 3057 3063 3067 3070 3079 3085 3093 3098 3099 3104 3112 3118 3127 3130 3134 3140 3144 3147 3159 3163 3165 3172 3177 3180 (1095399179 Gavin Theobald)
m(32)<=232 0 3 8 15 17 21 33 36 40 46 50 53 62 68 76 81 82 87 95 101 110 113 117 123 127 130 142 146 148 155 160 163 (1095399179 Gavin Theobald)
m(35)<=275 0 7 8 10 17 22 23 28 40 42 43 45 53 54 59 60 87 88 93 94 102 104 105 107 119 124 125 130 137 139 140 147 177 183 199 (1095399179 Gavin Theobald)
m(36)<=275 0 1 3 10 15 16 21 33 35 36 38 46 47 52 53 80 81 86 87 95 97 98 100 112 117 118 123 130 132 133 140 170 176 192 202 206 (1095399179 Gavin Theobald)
m(37)<=275 0 7 8 10 17 22 23 28 40 42 43 45 53 54 59 60 87 88 93 94 102 104 105 107 119 124 125 130 137 139 140 147 177 183 199 209 213 (1095399179 Gavin Theobald)
m(38)<=275 0 7 8 10 17 22 23 28 40 42 43 45 53 54 59 60 87 88 93 94 102 104 105 107 119 124 125 130 137 139 140 147 177 183 199 209 213 223 (1095399179 Gavin Theobald)
m(39)<=275 0 1 3 10 15 16 21 33 35 36 38 46 47 52 53 80 81 86 87 95 97 98 100 112 117 118 123 130 132 133 140 170 176 192 202 206 216 232 238 (1095399179 Gavin Theobald)
m(40)<=275 0 7 8 10 17 22 23 28 40 42 43 45 53 54 59 60 87 88 93 94 102 104 105 107 119 124 125 130 137 139 140 147 177 183 199 209 213 223 239 245 (1095399179 Gavin Theobald)
a(114)<=891 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 745 800 809 810 817 819 822 823 840 842 843 847 856 859 860 866 868 879 881 887 888 891 (1119853912 Gavin Theobald)
a(115)<=897 1 2 6 15 18 19 25 27 38 40 46 47 50 59 63 64 66 83 84 87 89 96 97 106 161 170 171 178 180 183 184 201 203 204 208 217 220 221 227 229 240 242 248 249 252 261 265 266 268 286 289 291 298 299 308 565 574 575 582 584 587 588 605 607 608 612 621 624 625 631 633 644 646 652 653 656 665 669 670 672 690 693 695 702 703 712 767 776 777 784 786 789 790 807 809 810 814 823 826 827 833 835 846 848 854 855 858 867 871 872 874 891 892 895 897 (1119853912 Gavin Theobald)
a(116)<=899 1 3 4 8 17 20 21 27 29 40 42 48 49 52 61 65 66 68 85 86 89 91 98 99 108 163 172 173 180 182 185 186 203 205 206 210 219 222 223 229 231 242 244 250 251 254 263 267 268 270 288 291 293 300 301 310 567 576 577 584 586 589 590 607 609 610 614 623 626 627 633 635 646 648 654 655 658 667 671 672 674 692 695 697 704 705 714 769 778 779 786 788 791 792 809 811 812 816 825 828 829 835 837 848 850 856 857 860 869 873 874 876 893 894 897 899 (1119853912 Gavin Theobald)
a(117)<=905 1 2 6 15 18 19 25 27 38 40 46 47 50 59 63 64 66 83 84 87 89 96 97 106 161 170 171 178 180 183 184 201 203 204 208 217 220 221 227 229 240 242 248 249 252 261 265 266 268 286 289 291 298 299 308 565 574 575 582 584 587 588 605 607 608 612 621 624 625 631 633 644 646 652 653 656 665 669 670 672 690 693 695 702 703 712 767 776 777 784 786 789 790 807 809 810 814 823 826 827 833 835 846 848 854 855 858 867 871 872 874 891 892 895 897 904 905 (1119853912 Gavin Theobald)
a(118)<=907 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 598 607 608 615 617 620 638 640 641 645 654 657 658 664 666 677 679 685 686 689 698 702 703 705 722 723 726 728 735 736 745 800 809 810 817 819 822 823 840 842 843 847 856 859 860 866 868 879 881 887 888 891 900 904 905 907 (1119853912 Gavin Theobald)
a(119)<=916 1 3 4 8 17 20 21 27 29 40 42 48 49 52 61 65 66 68 85 86 89 91 98 99 108 163 172 173 180 182 185 186 203 205 206 210 219 222 223 229 231 242 244 250 251 254 263 267 268 270 288 291 293 300 301 310 567 576 577 584 586 589 590 607 609 610 614 623 626 627 633 635 646 648 654 655 658 667 671 672 674 692 695 697 704 705 714 769 778 779 786 788 791 792 809 811 812 816 825 828 829 835 837 848 850 856 857 860 869 873 874 876 893 894 897 899 906 907 916 (1119853912 Gavin Theobald)
a(129)<=1123 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 783 792 793 800 802 805 806 823 825 826 830 839 842 843 849 851 862 864 870 871 874 883 887 888 890 908 911 913 920 921 930 985 994 995 1002 1004 1007 1008 1025 1027 1028 1032 1041 1044 1045 1051 1053 1064 1066 1072 1073 1076 1085 1089 1090 1092 1110 1113 1115 1122 1123 (1119853912 Gavin Theobald)
a(130)<=1132 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 783 792 793 800 802 805 806 823 825 826 830 839 842 843 849 851 862 864 870 871 874 883 887 888 890 908 911 913 920 921 930 985 994 995 1002 1004 1007 1008 1025 1027 1028 1032 1041 1044 1045 1051 1053 1064 1066 1072 1073 1076 1085 1089 1090 1092 1110 1113 1115 1122 1123 1132 (1119853912 Gavin Theobald)
a(162)<=1614 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 140 142 143 148 150 159 162 163 166 179 180 185 187 188 193 200 202 203 205 209 406 410 412 413 415 421 422 425 426 433 443 447 449 450 452 458 459 462 463 470 517 521 523 524 526 532 533 536 537 544 554 558 560 561 563 569 570 573 574 1135 1140 1143 1153 1154 1158 1161 1175 1178 1184 1185 1191 1194 1200 1201 1205 1220 1223 1231 1236 1238 1243 1251 1254 1269 1273 1274 1280 1283 1289 1290 1296 1299 1313 1316 1320 1321 1331 1334 1339 1410 1415 1418 1428 1429 1433 1436 1450 1453 1459 1460 1466 1469 1475 1476 1480 1495 1498 1506 1511 1513 1518 1526 1529 1544 1548 1549 1555 1558 1564 1565 1571 1574 1588 1591 1595 1596 1606 1609 1614 (1119853912 Gavin Theobald)
a(163)<=1628 1 2 7 9 10 14 20 22 23 25 29 46 50 52 53 55 61 65 66 68 73 74 89 140 142 143 148 150 159 162 163 166 179 180 185 187 188 193 200 202 203 205 209 406 410 412 413 415 421 422 425 426 433 443 447 449 450 452 458 459 462 463 470 517 521 523 524 526 532 533 536 537 544 554 558 560 561 563 569 570 573 574 581 1149 1154 1157 1167 1168 1172 1175 1189 1192 1198 1199 1205 1208 1214 1215 1219 1234 1237 1245 1250 1252 1257 1265 1268 1283 1287 1288 1294 1297 1303 1304 1310 1313 1327 1330 1334 1335 1345 1348 1353 1424 1429 1432 1442 1443 1447 1450 1464 1467 1473 1474 1480 1483 1489 1490 1494 1509 1512 1520 1525 1527 1532 1540 1543 1558 1562 1563 1569 1572 1578 1579 1585 1588 1602 1605 1609 1610 1620 1623 1628 (1119853912 Gavin Theobald)
m(23)<=147 0 4 6 14 15 18 20 23 27 29 33 49 55 56 59 64 67 68 74 76 82 86 102 (1119853912 Gavin Theobald)
m(35)<=273 0 6 21 29 30 32 33 41 47 51 63 83 89 91 92 107 108 113 114 117 129 130 132 138 158 170 174 180 188 189 191 192 200 215 221 (1119853912 Gavin Theobald)
m(57)<=603 0 7 12 30 32 33 37 46 49 50 56 58 69 71 77 78 81 90 94 95 97 114 115 118 120 127 128 137 192 201 202 209 211 214 215 232 234 235 239 248 251 252 258 260 271 273 279 280 283 292 296 297 299 317 322 329 339 (1119853912 Gavin Theobald)
a(42)<=204 1 3 4 6 13 15 18 19 31 36 45 46 51 52 55 60 62 63 67 70 76 129 135 138 142 143 145 150 153 154 159 160 169 174 186 187 190 192 199 201 202 204 (1196518682 Gavin Theobald)
a(46)<=233 1 4 5 11 13 14 16 26 29 30 35 50 52 58 61 62 68 73 76 77 80 82 97 137 152 154 157 158 161 166 172 173 176 182 184 199 204 205 208 218 220 221 223 229 230 233 (1196518682 Gavin Theobald)
a(48)<=245 1 3 4 8 9 11 23 29 33 39 48 51 53 59 61 64 68 76 78 81 90 96 100 106 140 146 150 156 165 168 170 178 182 185 187 193 195 198 207 213 217 223 235 237 238 242 243 245 (1196518682 Gavin Theobald)
a(50)<=260 1 2 5 11 12 18 26 28 29 36 37 42 49 59 64 65 68 74 75 78 95 98 103 105 109 152 156 158 163 166 183 186 187 193 196 197 202 212 219 224 225 232 233 235 243 249 250 256 259 260 (1196518682 Gavin Theobald)
a(58)<=321 1 2 7 11 19 23 24 32 33 38 49 51 54 56 67 72 73 81 82 86 94 98 103 104 109 117 119 128 179 188 190 198 203 209 213 221 225 226 234 235 240 251 253 256 258 269 274 275 283 284 288 296 300 305 306 311 319 321 (1196518682 Gavin Theobald)
a(60)<=331 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 (1196518878 Gavin Theobald)
a(61)<=332 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 (1196518878 Gavin Theobald)
a(62)<=341 1 2 9 11 14 15 32 34 35 39 48 51 52 58 60 71 73 79 80 83 92 96 97 99 116 117 120 122 129 130 139 194 203 204 211 213 216 234 236 237 241 250 253 254 260 262 273 275 281 282 285 294 298 299 301 318 319 322 324 331 332 341 (1196518878 Gavin Theobald)
a(63)<=350 1 10 11 18 20 23 24 41 43 44 48 57 60 61 67 69 80 82 88 89 92 101 105 106 108 125 126 129 131 138 139 148 203 212 213 220 222 225 243 245 246 250 259 262 263 269 271 282 284 290 291 294 303 307 308 310 327 328 331 333 340 341 350 (1196518878 Gavin Theobald)
a(82)<=567 1 2 5 7 11 16 18 19 23 24 26 49 53 55 56 58 65 66 70 71 73 78 142 143 146 148 152 157 159 160 165 167 179 180 183 185 189 194 196 197 202 204 394 395 398 400 404 409 411 412 417 419 431 432 435 437 441 446 448 449 454 456 505 506 509 511 515 520 522 523 528 530 542 543 546 548 552 557 559 560 565 567 (1196518878 Gavin Theobald)
a(97)<=736 1 2 8 11 13 16 22 23 27 29 49 51 54 55 65 67 68 74 77 78 84 98 130 136 144 149 156 159 161 164 170 171 175 177 197 199 202 203 213 215 216 222 225 226 232 246 278 284 292 445 452 455 457 460 466 467 471 473 493 495 498 499 509 511 512 518 521 522 528 542 574 580 588 593 600 603 605 608 614 615 619 621 641 643 646 647 657 659 660 666 669 670 676 690 722 728 736 (1196518878 Gavin Theobald)
a(98)<=742 1 2 7 15 21 53 67 73 74 77 83 84 86 96 97 100 102 122 124 128 129 135 138 140 143 150 155 163 169 201 215 221 222 225 231 232 234 244 245 248 250 270 272 276 277 283 286 288 291 451 459 465 497 511 517 518 521 527 528 530 540 541 544 546 566 568 572 573 579 582 584 587 594 599 607 613 645 659 665 666 669 675 676 678 688 689 692 694 714 716 720 721 727 730 732 735 741 742 (1196518878 Gavin Theobald)
a(101)<=765 1 2 5 7 15 17 20 21 24 26 53 55 58 59 62 64 72 74 77 78 81 83 87 106 144 163 170 171 174 175 181 183 189 190 193 194 219 221 227 228 231 232 238 240 246 247 250 251 258 448 486 505 512 513 516 517 523 525 531 532 535 536 561 563 569 570 573 574 580 582 588 589 592 593 600 619 657 676 680 682 685 686 689 691 699 701 704 705 708 710 737 739 742 743 746 748 756 758 761 762 765 (1196518878 Gavin Theobald)
a(102)<=768 1 4 5 8 10 18 20 23 24 27 29 56 58 61 62 65 67 75 77 80 81 84 86 90 109 147 166 173 174 177 178 184 186 192 193 196 197 203 205 230 231 234 235 241 243 249 250 253 254 261 280 318 508 515 516 519 520 526 528 534 535 538 539 545 547 572 573 576 577 583 585 591 592 595 596 603 622 660 679 683 685 688 689 692 694 702 704 707 708 711 713 740 742 745 746 749 751 759 761 764 765 768 (1196518878 Gavin Theobald)
a(103)<=783 1 2 5 6 12 14 20 21 24 25 31 33 58 59 62 63 69 71 77 78 81 82 88 89 108 146 165 179 181 182 186 187 189 198 200 201 205 206 208 236 238 239 243 244 246 255 257 258 262 263 265 450 469 507 526 533 534 537 538 544 546 552 553 556 557 582 584 590 591 594 595 601 603 609 610 613 614 621 640 678 697 701 703 706 707 710 712 720 722 725 726 729 731 758 760 763 764 767 769 777 779 782 783 (1196518878 Gavin Theobald)
a(104)<=786 1 2 5 6 12 14 20 21 24 25 31 33 58 59 62 63 69 71 77 78 81 82 88 89 108 146 165 179 181 182 186 187 189 198 200 201 205 206 208 236 238 239 243 244 246 255 257 258 262 263 265 450 469 507 526 533 534 537 538 544 546 552 553 556 557 582 584 590 591 594 595 601 603 609 610 613 614 621 640 678 697 701 703 706 707 710 712 720 722 725 726 729 731 758 760 763 764 767 769 777 779 782 783 786 (1196518878 Gavin Theobald)
a(105)<=788 1 2 5 6 12 14 20 21 24 25 31 33 58 59 62 63 69 71 77 78 81 82 88 89 108 146 165 179 181 182 186 187 189 198 200 201 205 206 208 236 238 239 243 244 246 255 257 258 262 263 265 450 469 507 526 527 533 534 537 538 544 546 552 553 556 557 582 584 590 591 594 595 601 603 609 610 613 621 640 678 697 701 703 706 707 710 712 720 722 725 726 729 731 758 760 763 764 767 769 777 779 782 783 786 788 (1196518878 Gavin Theobald)
a(106)<=795 1 2 8 9 12 13 19 21 27 28 31 32 38 59 65 66 69 70 76 78 84 85 88 89 96 115 153 172 186 188 189 193 194 196 205 207 208 212 213 215 243 245 246 250 251 253 262 264 265 269 270 272 457 476 514 533 534 540 541 544 545 551 553 559 560 563 564 589 591 597 598 601 602 608 610 616 617 620 628 647 685 704 708 710 713 714 717 719 727 729 732 733 736 738 765 767 770 771 774 776 784 786 789 790 793 795 (1196518878 Gavin Theobald)
a(107)<=807 1 2 6 7 9 18 20 21 25 26 28 37 58 59 63 64 66 75 77 78 82 83 85 99 118 156 175 179 181 184 185 188 190 198 200 203 204 207 209 236 238 241 242 245 247 255 257 260 261 264 266 270 289 517 536 540 542 545 546 549 551 559 561 564 565 568 570 597 599 602 603 606 608 616 618 621 622 625 627 631 650 688 707 721 723 724 728 729 731 740 742 743 747 748 750 778 780 781 785 786 788 797 799 800 804 805 807 (1196518878 Gavin Theobald)
a(108)<=809 1 3 4 8 9 11 20 22 23 27 28 30 58 60 61 65 66 68 77 79 80 84 85 87 101 120 158 177 181 183 186 187 190 192 200 202 205 206 209 211 238 240 243 244 247 249 257 259 262 263 266 268 272 291 519 538 542 544 547 548 551 553 561 563 566 567 570 572 599 601 604 605 608 610 618 620 623 624 627 629 633 652 690 709 723 725 726 730 731 733 742 744 745 749 750 752 780 782 783 787 788 790 799 801 802 806 807 809 (1196518878 Gavin Theobald)
a(109)<=833 1 3 6 7 10 12 20 22 25 26 29 31 58 60 63 64 67 69 77 79 82 83 86 88 92 111 149 168 186 188 194 195 198 199 205 207 213 214 217 218 243 245 251 252 255 256 262 264 270 271 274 275 282 301 339 358 555 556 559 560 566 568 574 575 578 579 585 587 612 613 616 617 623 625 631 632 635 636 642 644 662 681 719 738 742 744 747 748 751 753 761 763 766 767 770 772 799 801 804 805 808 810 818 820 823 824 827 829 833 (1196518878 Gavin Theobald)
a(110)<=841 1 6 7 10 24 30 32 33 35 44 51 52 61 75 76 85 86 88 93 102 104 105 107 113 114 127 130 131 136 183 188 189 206 212 214 215 217 226 231 233 234 243 257 258 267 268 270 275 284 286 287 289 295 296 312 313 318 547 552 553 556 569 570 576 578 579 581 590 595 597 598 607 608 622 631 632 639 648 650 651 653 659 676 677 682 729 734 735 738 751 752 758 760 761 763 772 777 779 780 789 790 804 813 814 821 830 832 833 835 841 (1196518878 Gavin Theobald)
a(111)<=853 1 2 5 19 25 27 28 30 39 46 47 56 70 71 80 81 83 88 97 99 100 102 108 109 122 125 126 131 178 183 184 201 207 209 210 212 221 226 228 229 238 252 253 262 263 265 270 279 281 282 284 290 291 307 308 313 542 547 548 564 565 571 573 574 576 585 590 592 593 602 603 617 626 627 629 634 643 645 646 648 654 671 672 677 724 729 730 733 746 747 753 755 756 758 767 772 774 775 784 785 799 808 809 816 825 827 828 830 836 850 853 (1196518878 Gavin Theobald)
a(112)<=854 1 2 5 19 25 27 28 30 39 44 46 47 56 70 71 80 81 88 97 99 100 102 108 109 122 125 126 131 178 183 184 201 207 209 210 212 221 226 228 229 238 252 253 262 263 265 270 279 281 282 284 290 291 307 308 313 542 547 548 564 565 571 573 574 576 585 590 592 593 602 603 617 626 627 629 634 643 645 646 648 654 671 672 677 724 729 730 733 746 747 753 755 756 758 767 772 774 775 784 785 799 808 809 816 825 827 828 830 836 850 853 854 (1196518878 Gavin Theobald)
a(113)<=859 1 2 5 19 25 27 28 30 39 44 46 47 56 70 71 80 81 88 97 99 100 102 108 109 122 125 126 131 178 183 184 201 207 209 210 212 221 226 228 229 238 252 253 262 263 265 270 279 281 282 284 290 291 307 308 313 542 547 548 564 565 571 573 574 576 585 590 592 593 602 603 617 626 627 629 634 643 645 646 648 654 671 672 677 724 729 730 733 746 747 753 755 756 758 767 772 774 775 784 785 799 808 809 816 825 827 828 830 836 850 853 854 859 (1196518878 Gavin Theobald)
a(114)<=864 1 6 7 10 24 30 32 33 35 44 49 51 52 61 75 76 85 86 93 102 104 105 107 113 114 127 130 131 136 183 188 189 206 212 214 215 217 226 231 233 234 243 257 258 267 268 270 275 284 286 287 289 295 296 312 313 318 547 552 553 569 570 576 578 579 581 590 595 597 598 607 608 622 631 632 634 639 648 650 651 653 659 676 677 682 729 734 735 738 751 752 758 760 761 763 772 777 779 780 789 790 804 813 814 821 830 832 833 835 841 855 858 859 864 (1196518878 Gavin Theobald)
a(126)<=1023 1 10 11 18 20 23 24 41 43 44 48 57 60 61 67 69 80 82 88 89 92 101 105 106 108 125 126 129 131 138 139 148 203 212 213 220 222 225 243 245 246 250 259 262 263 269 271 282 284 290 291 294 303 307 308 310 327 328 331 333 340 341 350 674 683 684 691 693 696 697 714 716 717 721 730 733 734 740 742 753 755 761 762 765 774 778 779 781 798 799 802 804 811 812 821 876 885 886 893 895 898 916 918 919 923 932 935 936 942 944 955 957 963 964 967 976 980 981 983 1000 1001 1004 1006 1013 1014 1023 (1196518878 Gavin Theobald)
a(127)<=1075 1 2 5 7 10 11 14 16 28 29 32 34 37 38 41 43 82 83 86 88 91 92 95 97 109 110 113 115 118 119 122 124 244 245 248 250 253 254 257 259 271 272 275 277 280 281 284 286 325 326 329 331 334 335 338 340 352 353 356 358 361 362 365 367 726 735 736 743 745 748 749 766 768 769 773 782 785 786 792 794 805 807 813 814 817 826 830 831 833 850 851 854 856 863 864 873 928 937 938 945 947 950 968 970 971 975 984 987 988 994 996 1007 1009 1015 1016 1019 1028 1032 1033 1035 1052 1053 1056 1058 1065 1066 1075 (1196518878 Gavin Theobald)
a(129)<=1115 1 2 4 5 10 11 14 25 29 30 32 37 41 43 51 67 74 86 87 89 90 95 96 99 110 114 115 117 122 126 128 136 152 159 256 257 259 260 265 266 269 280 284 285 287 292 296 298 306 322 329 341 342 344 345 350 351 354 365 369 370 372 377 381 383 391 766 775 776 783 785 788 789 806 808 809 813 822 825 826 832 834 845 847 853 854 857 866 870 871 873 890 891 894 896 903 904 913 968 977 978 985 987 990 1008 1010 1011 1015 1024 1027 1028 1034 1036 1047 1049 1055 1056 1059 1068 1072 1073 1075 1092 1093 1096 1098 1105 1106 1115 (1196518878 Gavin Theobald)
a(130)<=1123 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 783 792 793 800 802 805 806 823 825 826 830 839 842 843 849 851 862 864 870 871 874 883 887 888 890 908 911 913 920 921 930 985 994 995 1002 1004 1007 1008 1025 1027 1028 1032 1041 1044 1045 1051 1053 1064 1066 1072 1073 1076 1085 1089 1090 1092 1109 1110 1113 1115 1122 1123 (1196518878 Gavin Theobald)
a(131)<=1132 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 783 792 793 800 802 805 806 823 825 826 830 839 842 843 849 851 862 864 870 871 874 883 887 888 890 908 911 913 920 921 930 985 994 995 1002 1004 1007 1008 1025 1027 1028 1032 1041 1044 1045 1051 1053 1064 1066 1072 1073 1076 1085 1089 1090 1092 1109 1110 1113 1115 1122 1123 1132 (1196518878 Gavin Theobald)
a(132)<=1143 1 2 4 11 16 17 22 34 36 37 39 47 48 53 54 81 82 87 88 96 98 99 101 113 118 119 124 131 133 134 141 171 177 193 203 207 217 233 239 269 276 277 279 286 291 292 297 309 311 312 314 322 323 328 329 356 357 362 363 371 373 374 376 388 393 394 399 406 408 409 416 803 813 820 822 825 826 843 845 846 850 859 862 863 869 871 882 884 890 891 894 903 907 908 910 927 928 931 933 940 941 950 1005 1014 1015 1022 1024 1027 1045 1047 1048 1052 1061 1064 1065 1071 1073 1084 1086 1092 1093 1096 1105 1109 1110 1112 1129 1130 1133 1135 1142 1143 (1196518878 Gavin Theobald)
a(162)<=1601 1 3 8 9 11 16 20 22 25 26 38 40 45 46 48 53 57 59 62 63 112 114 119 120 122 127 131 133 136 137 149 151 156 157 159 164 168 170 173 174 364 366 371 372 374 379 383 385 388 389 401 403 408 409 411 416 420 422 425 426 490 495 497 498 502 503 510 512 513 515 519 542 544 545 549 550 552 557 561 563 566 567 1122 1127 1130 1140 1141 1145 1148 1162 1165 1171 1172 1178 1181 1187 1188 1192 1207 1210 1218 1223 1225 1230 1238 1241 1256 1260 1261 1267 1270 1276 1277 1283 1286 1300 1303 1307 1308 1318 1321 1326 1397 1402 1405 1415 1416 1420 1423 1437 1440 1446 1447 1453 1456 1462 1463 1467 1482 1485 1493 1498 1500 1505 1513 1516 1531 1535 1536 1542 1545 1551 1552 1558 1561 1575 1578 1582 1583 1593 1596 1601 (1196518878 Gavin Theobald)
m(58)<=603 0 10 17 22 40 42 43 47 56 59 60 66 68 79 81 87 88 91 100 104 105 107 124 125 128 130 137 138 147 202 211 212 219 221 224 225 242 244 245 249 258 261 262 268 270 281 283 289 290 293 302 306 307 309 327 332 339 349 (1196518878 Gavin Theobald)
m(63)<=673 0 9 10 17 19 22 23 40 42 43 47 56 59 60 66 68 79 81 87 88 91 100 104 105 107 124 125 128 130 137 138 147 202 211 212 219 221 224 242 244 245 249 258 261 262 268 270 281 283 289 290 293 302 306 307 309 326 327 330 332 339 340 349 (1196518878 Gavin Theobald)
m(65)<=763 0 5 6 11 23 25 26 28 36 37 42 43 70 71 76 77 85 87 88 90 102 107 108 113 120 122 123 130 160 166 182 192 196 206 222 228 258 265 266 268 275 280 281 286 298 300 301 303 311 312 317 318 345 346 351 352 360 362 363 365 377 382 383 388 395 (1196518878 Gavin Theobald)
m(66)<=763 0 7 12 13 18 30 32 33 35 43 44 49 50 77 78 83 84 92 94 95 97 109 114 115 120 127 129 130 137 167 173 189 199 203 213 229 235 265 272 273 275 282 287 288 293 305 307 308 310 318 319 324 325 352 353 358 359 367 369 370 372 384 389 390 395 402 (1196518878 Gavin Theobald)
m(69)<=787 0 2 9 14 15 20 32 34 35 37 45 46 51 52 79 80 85 86 94 96 97 99 111 116 117 122 129 131 132 139 169 175 191 201 205 215 231 237 267 274 275 277 284 289 290 295 307 309 310 312 320 321 326 327 354 355 360 361 369 371 372 374 386 391 392 397 404 406 407 (1196518878 Gavin Theobald)
m(70)<=787 0 1 3 10 15 16 21 33 35 36 38 46 47 52 53 80 81 86 87 95 97 98 100 112 117 118 123 130 132 133 140 170 176 192 202 206 216 232 238 268 275 276 278 285 290 291 296 308 310 311 313 321 322 327 328 355 356 361 362 370 372 373 375 387 392 393 398 405 407 408 (1196518878 Gavin Theobald)
m(71)<=823 0 7 8 10 17 22 23 28 40 42 43 45 53 54 59 60 87 88 93 94 102 104 105 107 119 124 125 130 137 139 140 147 177 183 199 209 213 223 239 245 275 282 283 285 292 297 298 303 315 317 318 320 328 329 334 335 362 363 368 369 377 379 380 382 394 399 400 405 412 414 422 (1196518878 Gavin Theobald)
m(101)<=1529 0 3 4 7 9 17 19 22 23 26 28 55 57 60 61 64 66 74 76 79 80 83 85 89 108 146 165 172 173 176 177 183 185 191 192 195 196 202 204 229 230 233 234 240 242 248 249 252 253 260 279 507 514 515 518 519 525 527 533 534 537 538 544 546 571 572 575 576 582 584 590 591 594 595 602 621 659 678 682 684 687 688 691 693 701 703 706 707 710 712 739 741 744 745 748 750 758 760 763 764 767 (1196518878 Gavin Theobald)
m(102)<=1529 0 3 4 7 9 17 19 22 23 26 28 55 57 60 61 64 66 74 76 79 80 83 85 89 108 146 165 172 173 176 177 183 185 191 192 195 196 202 204 229 230 233 234 240 242 248 249 252 253 260 279 317 507 514 515 518 519 525 527 533 534 537 538 544 546 571 572 575 576 582 584 590 591 594 595 602 621 659 678 682 684 687 688 691 693 701 703 706 707 710 712 739 741 744 745 748 750 758 760 763 764 767 (1196518878 Gavin Theobald)
m(105)<=1571 0 1 4 5 11 13 19 20 23 24 30 51 57 58 61 62 68 70 76 77 80 81 87 88 107 145 164 178 180 181 185 186 188 197 199 200 204 205 207 235 237 238 242 243 245 254 256 257 261 262 264 449 468 506 525 526 532 533 536 537 543 545 551 552 555 556 581 583 589 590 593 594 600 602 608 609 612 620 639 677 696 700 702 705 706 709 711 719 721 724 725 728 730 757 759 762 763 766 768 776 778 781 782 785 787 (1196518878 Gavin Theobald)
m(106)<=1585 0 1 7 8 11 12 18 20 26 27 30 31 37 58 64 65 68 69 75 77 83 84 87 88 95 114 152 171 185 187 188 192 193 195 204 206 207 211 212 214 242 244 245 249 250 252 261 263 264 268 269 271 456 475 513 532 533 539 540 543 544 550 552 558 559 562 569 582 590 596 597 600 601 607 609 615 616 619 627 646 684 703 707 709 712 713 716 718 726 728 731 732 735 737 764 766 769 770 773 775 783 785 788 789 792 794 (1196518878 Gavin Theobald)
m(107)<=1613 0 1 5 6 8 17 19 20 24 25 27 36 57 58 62 63 65 74 76 77 81 82 84 98 117 155 174 178 180 183 184 187 189 197 199 202 203 206 208 235 237 240 241 244 246 254 256 259 260 263 265 269 288 516 535 539 541 544 545 548 550 558 560 563 564 567 569 596 598 601 602 605 607 615 617 620 621 624 626 630 649 687 706 720 722 723 727 728 730 739 741 742 746 747 749 777 779 780 784 785 787 796 798 799 803 804 806 (1196518878 Gavin Theobald)
m(108)<=1615 0 2 3 7 8 10 19 21 22 26 27 29 57 59 60 64 65 67 76 78 79 83 84 86 100 119 157 176 180 182 185 186 189 191 199 201 204 205 208 210 237 239 242 243 246 248 256 258 261 262 265 267 271 290 518 537 541 543 546 547 550 552 560 562 565 566 569 571 598 600 603 604 607 609 617 619 622 623 626 628 632 651 689 708 722 724 725 729 730 732 741 743 744 748 749 751 779 781 782 786 787 789 798 800 801 805 806 808 (1196518878 Gavin Theobald)
m(113)<=1638 0 1 4 18 24 26 27 29 38 45 46 55 69 70 79 80 82 87 96 98 99 101 107 108 121 124 125 130 177 182 183 200 206 208 209 211 220 225 227 228 237 251 252 261 262 264 269 278 280 281 283 289 290 306 307 312 359 546 547 563 564 570 572 573 575 584 589 591 592 601 602 616 625 626 628 633 642 644 645 647 653 670 671 676 723 728 729 732 745 746 752 754 755 757 766 771 773 774 783 784 798 807 808 815 824 826 827 829 835 849 852 853 858 (1196518878 Gavin Theobald)
m(114)<=1638 0 1 4 18 24 26 27 29 38 43 45 46 55 69 70 79 80 87 96 98 99 101 107 108 121 124 125 130 177 182 183 200 206 208 209 211 220 225 227 228 237 251 252 261 262 264 269 278 280 281 283 289 290 306 307 312 359 546 547 563 564 570 572 573 575 584 589 591 592 601 602 616 625 626 628 633 642 644 645 647 653 670 671 676 723 728 729 732 745 746 752 754 755 757 766 771 773 774 783 784 798 807 808 815 824 826 827 829 835 849 852 853 858 905 (1196518878 Gavin Theobald)
m(115)<=1769 0 1 18 20 21 25 34 37 38 44 46 57 59 65 66 69 78 82 83 85 102 103 106 108 115 116 125 180 189 190 197 199 202 220 222 223 227 236 239 240 246 248 259 261 267 268 271 280 284 285 287 304 305 308 310 317 318 327 584 593 594 601 603 606 624 626 627 631 640 643 644 650 652 663 665 671 672 675 684 688 689 691 708 709 712 714 721 722 731 786 795 796 803 805 808 809 826 828 829 833 842 845 846 852 854 865 867 873 874 877 886 890 891 893 911 (1196518878 Gavin Theobald)
m(116)<=1787 0 3 7 16 19 20 26 28 39 41 47 48 51 60 64 65 67 84 85 88 90 97 98 107 162 171 172 179 181 184 185 202 204 205 209 218 221 222 228 230 241 243 249 250 253 262 266 267 269 287 290 292 299 300 309 566 575 576 583 585 588 589 606 608 609 613 622 625 626 632 634 645 647 653 654 657 666 670 671 673 691 694 696 703 704 713 768 777 778 785 787 790 791 808 810 811 815 824 827 828 834 836 847 849 855 856 859 868 872 873 875 892 893 896 898 906 (1196518878 Gavin Theobald)
m(117)<=1797 0 2 3 7 16 19 20 26 28 39 41 47 48 51 60 64 65 67 84 85 88 90 97 98 107 162 171 172 179 181 184 185 202 204 205 209 218 221 222 228 230 241 243 249 250 253 262 266 267 269 287 290 292 299 300 309 566 575 576 583 585 588 589 606 608 609 613 622 625 626 632 634 645 647 653 654 657 666 670 671 673 691 694 696 703 704 713 768 777 778 785 787 790 791 808 810 811 815 824 827 828 834 836 847 849 855 856 859 868 872 873 875 892 893 896 898 906 (1196518878 Gavin Theobald)
m(118)<=1809 0 1 5 14 17 18 24 26 37 39 45 46 49 58 62 63 65 82 83 86 88 95 96 105 160 169 170 177 179 182 183 200 202 203 207 216 219 220 226 228 239 241 247 248 251 260 264 265 267 285 288 290 297 298 307 564 573 574 581 583 586 587 604 606 607 611 620 623 624 630 632 643 645 651 652 655 664 668 669 671 689 692 694 701 702 711 766 775 776 783 785 788 789 806 808 809 813 822 825 826 832 834 845 847 853 854 857 866 870 871 873 890 891 894 896 903 904 1180 (1196518878 Gavin Theobald)
m(125)<=1818 0 9 10 17 19 22 23 40 42 43 47 56 59 60 66 68 79 81 87 88 91 100 104 105 107 124 125 128 130 137 138 147 202 211 212 219 221 224 242 244 245 249 258 261 262 268 270 281 283 289 290 293 302 306 307 309 326 327 330 332 339 340 349 606 615 616 623 625 628 646 648 649 653 662 665 666 672 674 685 687 693 694 697 706 710 711 713 730 731 734 736 743 744 753 808 817 818 825 827 830 831 848 850 851 855 864 867 868 874 876 887 889 895 896 899 908 912 913 915 933 936 938 945 946 955 (1196518878 Gavin Theobald)
m(126)<=1973 0 9 10 17 19 22 23 40 42 43 47 56 59 60 66 68 79 81 87 88 91 100 104 105 107 125 128 130 137 138 147 202 211 212 219 221 224 225 242 244 245 249 258 261 262 268 270 281 283 289 290 293 302 306 307 309 326 327 330 332 339 340 349 606 615 616 623 625 628 646 648 649 653 662 665 666 672 674 685 687 693 694 697 706 710 711 713 730 731 734 736 743 744 753 808 817 818 825 827 830 848 850 851 855 864 867 868 874 876 887 889 895 896 899 908 912 913 915 932 933 936 938 945 946 955 1033 (1196518878 Gavin Theobald)
m(129)<=2217 0 5 6 11 23 25 26 28 36 37 42 43 70 71 76 77 85 87 88 90 102 107 108 113 120 122 123 130 160 166 182 192 196 206 222 228 258 265 266 268 275 280 281 286 298 300 301 303 311 312 317 318 345 346 351 352 360 362 363 365 377 382 383 388 395 397 398 763 772 774 782 787 793 797 805 809 810 818 819 824 835 837 840 842 853 858 859 867 868 872 880 884 889 890 895 903 905 914 965 974 976 984 989 995 999 1007 1011 1012 1020 1021 1026 1037 1039 1042 1044 1055 1060 1061 1069 1070 1074 1082 1086 1091 1092 1097 1105 1107 1116 (1196518878 Gavin Theobald)
m(130)<=2231 0 1 8 10 13 14 31 33 34 38 47 50 51 57 59 70 72 78 79 82 91 95 96 98 115 116 119 121 128 129 138 193 202 203 210 212 215 233 235 236 240 249 252 253 259 261 272 274 280 281 284 293 297 298 300 317 318 321 323 330 331 340 715 723 725 729 734 736 737 741 752 755 756 761 762 764 765 777 784 800 808 810 814 819 821 822 826 837 840 841 846 847 849 850 862 869 970 978 980 984 989 991 992 996 1007 1010 1011 1016 1017 1019 1020 1032 1039 1055 1063 1065 1069 1074 1076 1077 1081 1092 1095 1096 1101 1102 1104 1105 1117 1124 (1196518878 Gavin Theobald)
m(131)<=2245 0 9 10 17 19 22 23 40 42 43 47 56 59 60 66 68 79 81 87 88 91 100 104 105 107 125 128 130 137 138 147 202 211 212 219 221 224 225 242 244 245 249 258 261 262 268 270 281 283 289 290 293 302 306 307 309 326 327 330 332 339 340 349 724 732 734 738 743 745 746 750 761 764 765 770 771 773 774 786 793 809 817 819 823 828 830 831 835 846 849 850 855 856 858 859 871 878 979 987 989 993 998 1000 1001 1005 1016 1019 1020 1025 1026 1028 1029 1041 1048 1064 1072 1074 1078 1083 1085 1086 1090 1101 1104 1105 1110 1111 1113 1114 1126 1133 (1196518878 Gavin Theobald)
m(132)<=2265 0 1 6 7 15 17 18 20 32 37 38 43 50 52 53 60 90 96 112 122 126 136 152 158 188 195 196 198 205 210 211 216 228 230 231 233 241 242 247 248 275 276 281 282 290 292 293 295 307 312 313 318 325 327 328 335 640 646 662 672 676 686 702 708 738 745 746 748 755 760 761 766 778 780 781 783 791 792 797 798 825 826 831 832 840 842 843 845 857 862 863 868 875 877 878 885 915 921 937 947 951 961 977 983 1013 1020 1021 1023 1030 1035 1036 1041 1053 1055 1056 1058 1066 1067 1072 1073 1100 1101 1106 1107 1115 1117 1118 1120 1132 1137 1138 1153 (1196518878 Gavin Theobald)
a(45)<=227 1 2 6 8 12 17 19 20 24 25 27 43 45 51 54 55 58 60 64 72 76 79 129 145 147 154 155 159 160 167 169 170 172 176 201 202 206 208 212 217 219 220 224 225 227 (1218688862 Clyde Kruskal)