#<CONS {1207EA5347}>
--------------------
A proper list:
0: (2 . 3)
1: (4 . 7)
2: (12 . 67)
3: (16 . 31)
4: (22 . 281)
5: (38 . 557)
6: (48 . 139)
7: (52 . 197)
8: (64 . 127)
9: (66 . 907)
10: (67 . 1459)
11: (90 . 587)
12: (93 . 1123)
13: (132 . 1039)
14: (148 . 757)
15: (149 . 1319)
16: (155 . 96989)
17: (163 . 2957)
18: (165 . 102199)
19: (185 . 5897)
20: (201 . 5009)
21: (208 . 509)
22: (222 . 86371)
23: (229 . 2857)
24: (230 . 2939)
25: (237 . 3433)
26: (242 . 99431)
27: (264 . 1303)
28: (268 . 1861)
29: (275 . 100673)
30: (289 . 5743)
31: (309 . 2549)
32: (324 . 1949)
33: (332 . 102593)
34: (339 . 32119)
35: (351 . 109267)
36: (352 . 941)
37: (359 . 56909)
38: (362 . 1811)
39: (363 . 13063)
40: (373 . 3083)
41: (382 . 27961)
42: (384 . 811)
43: (401 . 5309)
44: (403 . 8693)
45: (465 . 7109)
46: (471 . 124493)
47: (474 . 3907)
48: (485 . 101737)
49: (507 . 23633)
50: (517 . 106681)
51: (518 . 106853)
52: (528 . 1831)
53: (532 . 2339)
54: (567 . 90863)
55: (571 . 17417)
56: (591 . 36847)
57: (596 . 2213)
58: (608 . 1697)
59: (616 . 2003)
60: (618 . 3167)
61: (620 . 97919)
62: (622 . 102503)
63: (625 . 6961)
64: (633 . 24091)
65: (649 . 163901)
66: (650 . 3821)
67: (654 . 176081)
68: (655 . 192173)
69: (678 . 32797)
70: (703 . 4439569)
71: (719 . 75289)
72: (720 . 1847)
73: (722 . 15541)
74: (726 . 13789)
75: (727 . 24481)
76: (735 . 59077)
77: (737 . 172153)
78: (748 . 10313)
79: (762 . 107609)
80: (768 . 1579)
81: (790 . 94121)
82: (813 . 9619)
83: (819 . 16091)
84: (827 . 25747)
85: (842 . 8017)
86: (843 . 18749)
87: (844 . 8161)
88: (852 . 2797)
89: (861 . 108413)
90: (897 . 38767)
91: (904 . 2801)
92: (905 . 70753)
93: (914 . 114799)
94: (916 . 4231)
95: (917 . 7673)
96: (918 . 113227)
97: (919 . 126739)
98: (922 . 6053)
99: (925 . 124471)
100: (926 . 132383)
101: (930 . 8039)
102: (941 . 122033)
103: (946 . 9311)
104: (972 . 102871)
105: (993 . 117329)
106: (1005 . 90313)
107: (1010 . 31139)
108: (1015 . 39569)
109: (1027 . 20063)
110: (1031 . 40351)
111: (1035 . 124277)
112: (1037 . 111781)
113: (1043 . 126823)
114: (1048 . 4201)
115: (1049 . 36857)
116: (1056 . 2887)
117: (1062 . 120121)
118: (1066 . 5407)
119: (1067 . 54673)
120: (1072 . 3469)
121: (1094 . 9803)
122: (1098 . 102139)
123: (1105 . 113143)
124: (1119 . 152897)
125: (1129 . 55337)
126: (1132 . 83653)
127: (1134 . 91997)
128: (1153 . 175003)
129: (1154 . 9883)
130: (1156 . 7477)
131: (1165 . 111593)
132: (1173 . 110419)
133: (1174 . 114041)
134: (1177 . 24109)
135: (1185 . 357787)
136: (1195 . 133543)
137: (1201 . 41597)
138: (1209 . 88463)
139: (1266 . 25357)
140: (1271 . 45737)
141: (1281 . 25033)
142: (1283 . 32707)
143: (1284 . 6469)
144: (1307 . 1630891)
145: (1318 . 19427)
146: (1319 . 184711)
147: (1322 . 106993)
148: (1402 . 100169)
149: (1404 . 111373)
150: (1433 . 29347)
151: (1436 . 59063)
152: (1443 . 25873)
153: (1452 . 15241)
154: (1453 . 20693)
155: (1477 . 11821)
156: (1497 . 28751)
157: (1524 . 109133)
158: (1528 . 30253)
159: (1580 . 95701)
160: (1586 . 108193)
161: (1606 . 14249)
162: (1608 . 7823)
163: (1610 . 10847)
164: (1617 . 39631)
165: (1623 . 150011)
166: (1624 . 8191)
167: (1627 . 165961)
168: (1637 . 17207)
169: (1638 . 17729)
170: (1639 . 1119659)
171: (1661 . 173777)
172: (1672 . 7247)
173: (1674 . 10391)
174: (1682 . 25847)
175: (1729 . 123169)
176: (1735 . 167521)
177: (1755 . 95803)
178: (1761 . 324953)
179: (1812 . 6317)
180: (1819 . 14066483)
181: (1825 . 37633)
182: (1826 . 116423)
183: (1857 . 25903)
184: (1886 . 54331)
185: (1942 . 23293)
186: (1945 . 36739)
187: (1955 . 128477)
188: (1987 . 135467)
189: (2012 . 95957)
190: (2017 . 166457)
191: (2023 . 268757)
192: (2025 . 338411)
193: (2049 . 194729)
194: (2051 . 37321)
195: (2052 . 13763)
196: (2072 . 109961)
197: (2089 . 189697)
198: (2102 . 344807)
199: (2103 . 375709)
200: (2112 . 4999)
201: (2116 . 9887)
202: (2120 . 117917)
203: (2128 . 5531)
204: (2133 . 15541)
205: (2134 . 56807)
206: (2137 . 68483)
207: (2197 . 112577)
208: (2236 . 111121)
209: (2237 . 119513)
210: (2267 . 457253)
211: (2270 . 149309)
212: (2271 . 238591)
213: (2281 . 241229)
214: (2327 . 233071)
215: (2332 . 32789)
216: (2349 . 125201)
217: (2351 . 171937)
218: (2361 . 102437)
219: (2366 . 332191)
220: (2368 . 5197)
221: (2419 . 110543)
222: (2474 . 11519)
223: (2490 . 110909)
224: (2497 . 140683)
225: (2500 . 10711)
226: (2543 . 829813)
227: (2547 . 63419)
228: (2554 . 87743)
229: (2571 . 68113)
230: (2575 . 265703)
231: (2578 . 173779)
232: (2583 . 77047)
233: (2613 . 20107)
234: (2617 . 136559)
235: (2626 . 26083)
236: (2629 . 26399)
237: (2635 . 57641)
238: (2636 . 22063)
239: (2638 . 187349)
240: (2648 . 11777)
241: (2669 . 360391)
242: (2670 . 370003)
243: (2679 . 80599)
244: (2691 . 143461)
245: (2695 . 96451)
246: (2708 . 36637)
247: (2714 . 41959)
248: (2731 . 186211)
249: (2813 . 4454339)
250: (2816 . 5869)
251: (2817 . 138889)
252: (2819 . 145903)
253: (2835 . 112621)
254: (2841 . 144413)
255: (2847 . 569117)
256: (2851 . 45853)
257: (2854 . 34589)
258: (2859 . 138559)
259: (2860 . 22291)
260: (2861 . 33023)
261: (2866 . 32213)
262: (2875 . 104381)
263: (2885 . 27847)
264: (2886 . 28759)
265: (2889 . 191537)
266: (2891 . 62119)
267: (2906 . 23599)
268: (2908 . 28843)
269: (2910 . 196549)
270: (2926 . 184271)
271: (2927 . 559397)
272: (2940 . 63487)
273: (2942 . 1617817)
274: (2945 . 114311)
275: (2949 . 187637)
276: (2960 . 11447)
277: (2965 . 25357)
278: (2969 . 171517)
279: (2987 . 97651)
280: (2995 . 56087)
281: (2998 . 66593)
282: (3012 . 12911)
283: (3028 . 110491)
284: (3029 . 121853)
285: (3031 . 751481)
286: (3042 . 119689)
287: (3048 . 112181)
288: (3060 . 36187)
289: (3170 . 114941)
290: (3191 . 124769)
291: (3218 . 104183)
292: (3226 . 20389)
293: (3236 . 58169)
294: (3238 . 71333)
295: (3243 . 96323)
296: (3244 . 129403)
297: (3253 . 26699)
298: (3267 . 172279)
299: (3278 . 1122937)
300: (3287 . 141241)
301: (3289 . 171863)
302: (3291 . 254987)
303: (3303 . 356563)
304: (3351 . 207497)
305: (3382 . 334069)
306: (3412 . 11117)
307: (3448 . 31699)
308: (3452 . 65657)
309: (3471 . 256163)
310: (3474 . 146719)
311: (3523 . 357107)
312: (3568 . 101863)
313: (3577 . 173891)
314: (3581 . 576319)
315: (3598 . 99079)
316: (3603 . 314261)
317: (3609 . 91571)
318: (3622 . 90907)
319: (3624 . 9941)
320: (3649 . 56591)
321: (3656 . 120283)
322: (3667 . 142097)
323: (3671 . 206993)
324: (3678 . 313711)
325: (3679 . 458323)
326: (3680 . 9839)
327: (3683 . 159227)
328: (3686 . 140123)
329: (3699 . 103291)
330: (3700 . 130021)
331: (3703 . 214667)
332: (3715 . 59809)
333: (3719 . 148921)
334: (3720 . 13619)
335: (3727 . 316567)
336: (3734 . 42767)
337: (3761 . 46091)
338: (3764 . 127679)
339: (3786 . 22091)
340: (3793 . 93319)
341: (3798 . 95549)
342: (3811 . 56591)
343: (3882 . 115811)
344: (3891 . 72251)
345: (3892 . 112361)
346: (3945 . 271057)
347: (3949 . 64037)
348: (3951 . 855739)
349: (3960 . 274957)
350: (3962 . 282391)
351: (4014 . 103141)
352: (4025 . 143483)
353: (4027 . 185177)
354: (4040 . 37199)
355: (4044 . 45427)
356: (4060 . 45659)
357: (4077 . 84463)
358: (4091 . 1370839)
359: (4096 . 8191)
360: (4098 . 198827)
361: (4100 . 24749)
362: (4121 . 127711)
363: (4123 . 853319)
364: (4126 . 97171)
365: (4145 . 72689)
366: (4146 . 63311)
367: (4154 . 44257)
368: (4156 . 61981)
369: (4157 . 77573)
370: (4161 . 75431)
371: (4162 . 57973)
372: (4182 . 61583)
373: (4186 . 128749)
374: (4187 . 500873)
375: (4196 . 43151)
376: (4201 . 186211)
377: (4202 . 20359)
378: (4234 . 22063)
379: (4237 . 38629)
380: (4245 . 142067)
381: (4248 . 126493)
382: (4256 . 9787)
383: (4263 . 7790443)
384: (4288 . 9901)
385: (4309 . 31153)
386: (4315 . 344987)
387: (4373 . 32411)
388: (4392 . 108727)
389: (4397 . 45599)
390: (4400 . 108923)
391: (4420 . 119773)
392: (4449 . 259121)
393: (4502 . 69473)
394: (4515 . 89989)
395: (4529 . 109267)
396: (4531 . 135841)
397: (4536 . 98801)
398: (4541 . 170881)
399: (4543 . 15193967)
400: (4556 . 43067)
401: (4558 . 325753)
402: (4568 . 25411)
403: (4594 . 85853)
404: (4598 . 375443)
405: (4618 . 25471)
406: (4632 . 19139)
407: (4642 . 34679)
408: (4652 . 203531)
409: (4658 . 230393)
410: (4660 . 118583)
411: (4667 . 142189)
412: (4686 . 252139)
413: (4693 . 135059)
414: (4724 . 35023)
415: (4728 . 45121)
416: (4737 . 178909)
417: (4738 . 138389)
418: (4743 . 182141)
419: (4807 . 300787)
420: (4812 . 55889)
421: (4836 . 95717)
422: (4891 . 3718069)
423: (4928 . 10627)
424: (4945 . 459763)
425: (4947 . 587737)
426: (4976 . 111211)
427: (4977 . 148243)
428: (5004 . 25889)
429: (5007 . 344153)
430: (5020 . 256939)
431: (5051 . 258157)
432: (5066 . 42457)
433: (5068 . 43261)
434: (5069 . 62273)
435: (5089 . 325463)
436: (5092 . 47809)
437: (5123 . 209819)
438: (5124 . 32719)
439: (5125 . 51941)
440: (5136 . 14173)
441: (5139 . 130859)
442: (5140 . 19001)
443: (5157 . 198277)
444: (5171 . 108923)
445: (5192 . 172987)
446: (5202 . 586711)
447: (5203 . 628993)
448: (5216 . 13063)
449: (5219 . 104369)
450: (5228 . 1638733)
451: (5234 . 141793)
452: (5242 . 211177)
453: (5258 . 31657)
454: (5260 . 32491)
455: (5261 . 52223)
456: (5280 . 112429)
457: (5294 . 86369)
458: (5300 . 22051)
459: (5304 . 26839)
460: (5306 . 36793)
461: (5309 . 138799)
462: (5314 . 87679)
463: (5318 . 52697)
464: (5323 . 125407)
465: (5329 . 117889)
466: (5330 . 138641)
467: (5332 . 118843)
468: (5381 . 147151)
469: (5402 . 134033)
470: (5420 . 139589)
471: (5428 . 47387)
472: (5441 . 100043)
473: (5543 . 4868363)
474: (5564 . 417727)
475: (5616 . 119797)
476: (5627 . 573509)
477: (5639 . 308573)
478: (5651 . 288427)
479: (5683 . 196277)
480: (5733 . 59447)
481: (5743 . 686977)
482: (5744 . 67679)
483: (5754 . 96149)
484: (5760 . 11927)
485: (5770 . 33617)
486: (5782 . 67901)
487: (5785 . 249311)
488: (5792 . 12671)
489: (5810 . 58937)
490: (5812 . 29411)
491: (5821 . 224201)
492: (5841 . 149173)
493: (5857 . 437243)
494: (5876 . 45949)
495: (5881 . 162209)
496: (5884 . 1623701)
497: (5896 . 182471)
498: (5905 . 233939)
499: (5932 . 156943)
500: (5940 . 25997)
501: (5947 . 290033)
502: (5950 . 358327)
503: (5952 . 12841)
504: (5957 . 54601)
505: (5958 . 56473)
506: (5973 . 42283)
507: (5977 . 111611)
508: (5987 . 93151)
509: (5995 . 274931)
510: (6005 . 54497)
511: (6028 . 31193)
512: (6062 . 757543)
513: (6065 . 69497)
514: (6067 . 105071)
515: (6096 . 118277)
516: (6120 . 42307)
517: (6122 . 53791)
518: (6173 . 193861)
519: (6175 . 1331399)
520: (6199 . 1084253)
521: (6258 . 345181)
522: (6259 . 396043)
523: (6319 . 1667881)
524: (6324 . 111119)
525: (6326 . 331553)
526: (6328 . 116827)
527: (6341 . 145063)
528: (6344 . 117709)
529: (6353 . 200807)
530: (6361 . 572843)
531: (6363 . 419297)
532: (6375 . 14724673)
533: (6379 . 524369)
534: (6392 . 114661)
535: (6399 . 2220527)
536: (6429 . 292807)
537: (6432 . 17471)
538: (6435 . 162257)
539: (6439 . 734267)
540: (6440 . 20507)
541: (6445 . 66697)
542: (6453 . 51043)
543: (6468 . 49333)
544: (6475 . 150287)
545: (6477 . 102101)
546: (6504 . 21001)
547: (6507 . 233621)
548: (6508 . 175723)
549: (6510 . 223547)
550: (6512 . 23957)
551: (6515 . 164837)
552: (6517 . 54517)
553: (6531 . 212987)
554: (6534 . 178813)
555: (6542 . 256129)
556: (6546 . 193597)
557: (6551 . 281867)
558: (6555 . 664667)
559: (6575 . 409817)
560: (6578 . 178441)
561: (6581 . 179687)
562: (6586 . 173297)
563: (6602 . 153469)
564: (6603 . 145799)
565: (6615 . 676807)
566: (6618 . 49739)
567: (6619 . 395543)
568: (6622 . 1606783)
569: (6635 . 867467)
570: (6637 . 94207)
571: (6682 . 152959)
572: (6698 . 32999)
573: (6701 . 190097)
574: (6709 . 52181)
575: (6722 . 67777)
576: (6729 . 340393)
577: (6730 . 48563)
578: (6732 . 49627)
579: (6793 . 452813)
580: (6890 . 133391)
581: (6916 . 133543)
582: (6919 . 5482181)
583: (6985 . 300851)
584: (6998 . 3548557)
585: (7038 . 1618807)
586: (7044 . 335519)
587: (7065 . 237257)
588: (7113 . 236983)
589: (7120 . 101837)
590: (7123 . 427013)
591: (7127 . 4528519)
592: (7137 . 312031)
593: (7138 . 130043)
594: (7147 . 678721)
595: (7160 . 570047)
596: (7162 . 583481)
597: (7165 . 1143487)
598: (7177 . 446221)
599: (7190 . 111833)
600: (7199 . 1257323)
601: (7204 . 292183)
602: (7206 . 321467)
603: (7217 . 115127)
604: (7222 . 440347)
605: (7225 . 199033)
606: (7240 . 83423)
607: (7242 . 97007)
608: (7248 . 17189)
609: (7253 . 51199)
610: (7286 . 284057)
611: (7308 . 142237)
612: (7309 . 169649)
613: (7323 . 3367381)
614: (7332 . 119627)
615: (7344 . 126079)
616: (7346 . 265607)
617: (7347 . 325309)
618: (7378 . 1110643)
619: (7380 . 25889)
620: (7382 . 159287)
621: (7383 . 267739)
622: (7406 . 222073)
623: (7419 . 948551)
624: (7440 . 21059)
625: (7442 . 539947)
626: (7446 . 205063)
627: (7452 . 232567)
628: (7457 . 153757)
629: (7460 . 83063)
630: (7463 . 462109)
631: (7475 . 464767)
632: (7485 . 247991)
633: (7495 . 661663)
634: (7506 . 1284737)
635: (7544 . 65647)
636: (7545 . 866213)
637: (7546 . 79801)
638: (7569 . 220169)
639: (7570 . 221671)
640: (7571 . 283193)
641: (7572 . 29663)
642: (7576 . 30271)
643: (7579 . 8101019)
644: (7584 . 18127)
645: (7587 . 162557)
646: (7595 . 476081)
647: (7598 . 158959)
648: (7611 . 388313)
649: (7636 . 28051)
650: (7643 . 395069)
651: (7650 . 51109)
652: (7676 . 682373)
653: (7698 . 458477)
654: (7699 . 521039)
655: (7780 . 48409)
656: (7781 . 77591)
657: (7814 . 84787)
658: (7816 . 124309)
659: (7819 . 198997)
660: (7820 . 140207)
661: (7857 . 195401)
662: (7890 . 278947)
663: (7901 . 115781)
664: (7902 . 863641)
665: (7944 . 131231)
666: (7963 . 12654959)
667: (7999 . 1846073)
668: (8002 . 111487)
669: (8014 . 339751)
670: (8018 . 4381067)
671: (8024 . 81671)
672: (8040 . 104383)
673: (8047 . 817907)
674: (8057 . 2766151)
675: (8060 . 560653)
676: (8068 . 178559)
677: (8097 . 185683)
678: (8099 . 151397)
679: (8100 . 350561)
680: (8108 . 278227)
681: (8109 . 308639)
682: (8111 . 472151)
683: (8127 . 5552509)
684: (8143 . 732257)
685: (8145 . 284831)
686: (8152 . 77323)
687: (8179 . 281887)
688: (8187 . 1755181)
689: (8204 . 49627)
690: (8206 . 320843)
691: (8219 . 3319103)
692: (8232 . 125101)
693: (8237 . 91673)
694: (8258 . 1709971)
695: (8260 . 139297)
696: (8261 . 170279)
697: (8262 . 172871)
698: (8264 . 219799)
699: (8274 . 634091)
700: (8276 . 129959)
701: (8288 . 122393)
702: (8298 . 141863)
703: (8313 . 1965631)
704: (8328 . 129443)
705: (8332 . 146381)
706: (8336 . 132929)
707: (8338 . 358637)
708: (8347 . 857663)
709: (8352 . 18719)
710: (8356 . 202231)
711: (8368 . 129263)
712: (8370 . 92779)
713: (8373 . 168523)
714: (8385 . 230849)
715: (8395 . 254869)
716: (8396 . 68611)
717: (8397 . 100103)
718: (8401 . 161921)
719: (8406 . 238481)
720: (8407 . 361973)
721: (8410 . 373193)
722: (8496 . 134989)
723: (8526 . 7798969)
724: (8546 . 90971)
725: (8547 . 160423)
726: (8563 . 295073)
727: (8601 . 234461)
728: (8644 . 36683)
729: (8757 . 66179)
730: (8784 . 117511)
731: (8817 . 191467)
732: (8860 . 3474083)
733: (8903 . 479909)
734: (8922 . 295417)
735: (8929 . 784451)
736: (8943 . 8600233)
737: (8983 . 1559267)
738: (8999 . 1306519)
739: (9005 . 112249)
740: (9010 . 109579)
741: (9022 . 4347991)
742: (9031 . 1956533)
743: (9032 . 71143)
744: (9052 . 103123)
745: (9060 . 108079)
746: (9061 . 142061)
747: (9072 . 107873)
748: (9075 . 232459)
749: (9085 . 286289)
750: (9111 . 250687)
751: (9137 . 106949)
752: (9142 . 213949)
753: (9147 . 399953)
754: (9161 . 483619)
755: (9163 . 197891)
756: (9165 . 249967)
757: (9167 . 1825003)
758: (9171 . 494899)
759: (9191 . 612877)
760: (9203 . 256471)
761: (9208 . 291721)
762: (9233 . 271603)
763: (9264 . 28403)
764: (9272 . 84559)
765: (9282 . 126019)
766: (9283 . 201451)
767: (9284 . 43963)
768: (9293 . 1710757)
769: (9303 . 259781)
770: (9305 . 270619)
771: (9310 . 599959)
772: (9312 . 123517)
773: (9334 . 151523)
774: (9337 . 615431)
775: (9347 . 156679)
776: (9348 . 61121)
777: (9356 . 59387)
778: (9371 . 2123783)
779: (9373 . 296663)
780: (9392 . 130477)
781: (9402 . 165397)
782: (9406 . 370897)
783: (9426 . 519539)
784: (9443 . 238859)
785: (9449 . 466273)
786: (9455 . 4844227)
787: (9456 . 54577)
788: (9466 . 364141)
789: (9469 . 527407)
790: (9470 . 1796677)
791: (9473 . 209071)
792: (9478 . 186379)
793: (9485 . 429227)
794: (9486 . 191627)
795: (9556 . 31333)
796: (9568 . 130489)
797: (9578 . 152959)
798: (9589 . 184291)
799: (9602 . 184447)
800: (9607 . 433117)
801: (9608 . 58411)
802: (9613 . 114001)
803: (9616 . 55717)
804: (9638 . 248099)
805: (9649 . 140263)
806: (9651 . 196837)
807: (9662 . 487247)
808: (9672 . 105389)
809: (9673 . 281581)
810: (9681 . 201667)
811: (9709 . 266921)
812: (9719 . 608471)
813: (9728 . 19937)
814: (9822 . 717797)
815: (9823 . 1103849)
816: (9856 . 20483)
817: (9857 . 649849)
818: (9887 . 11492779)
819: (9898 . 44927)
820: (9899 . 1140341)