;;; Copyright (C) 2006 Michael Erdmann.
;;;
;;; Permission is granted to any individual or institution to use,
;;; copy, modify, and distribute this software, provided that this
;;; complete copyright and permission notice is maintained, intact, 
;;; in all copies and supporting documentation.
;;;
;;; Michael Erdmann provides this software "as is" without
;;; express or implied warranty.

;; The list *Astral40-fold-covers* concerns single-chain domains in
;; classes 1,2,3,4 with at least 6 significant secondary structure
;; elements (at least 5 residues in helices, at least 3 residues in strands).
;;
;; Entries in *Astral40-fold-covers* are generally of the form:
;;
;; ((class . fold)  L2_radius  coverage_ratio  fold_card  neighborhood_card  coverage_card  cover  uncovered)
;;
;;    "coverage_ratio" is the ratio coverage_card/fold_card.
;;
;;    "fold_card" is the number of domains in the fold.
;;    "neighborhood_card" is the number of nontrivial punctured neighborhoods (for the given "L2_radius") available in the fold.
;;    "coverage_card" is the number of folds covered by the neighborhoods appearing in "cover".
;;
;;    "cover" is a list of items of the form (center .  neighbors) 
;;          -- "center" is a basis element; the actual basis for a fold consists of all the "centers".
;;          -- "neighbors" consists of all the domains that are close to "center" (inclusive), as measured by "L2_radius".
;;
;;    "uncovered" is a list of those domains in the fold that are not included in the "cover".
;;
;;
;; EXCEPTION:  The entry for a fold simply appears as ((class . fold)) if:
;;
;;                (a) the fold only contains one domain --- there are 226 such folds;
;;
;;          or    (b) if the code could not compute a good cover for the fold --- there are 9 such folds:
;;                    ((1 . 23) (1 . 35) (1 . 152) (1 . 173) (2 . 83) (2 . 110) (4 . 212) (4 . 241) (4 . 264)) 
;;                    Each of these consisted of two domains for which the code either could not find an alignment 
;;                    or found an alignment whose L2 value was greater than 8.0 (the maximum the code was willing to consider).

(setf *Astral40-fold-covers*
      '(((1 . 1) 3.0 0.942857142857143 35 32 33 ((259 259 56 197 586 1098 1282 1503 1795 1796 2142 2597 2956 3406 3899 4675 6595) (2465 2465 876 877 1795 2580 2598 4241) (147 147 148 2815) (4216 4216 3283 5374) (1796 1796 56 259 586 1098 1503 1795 2233 2597 2956 3899 4675 6457 6595) (317 317 2816) (2233 2233 586 1098 1795 1796 4675 4759)) (656 2126))
	((1 . 2))
	((1 . 3) 6.0 1.0 13 13 13 ((2054 2054 533 1005 1333 2055 2567 3450 4964 4965 5367 6494) (1005 1005 533 644 2054 2055 2566 3450 4964 4965 5367)) NIL)
	((1 . 4) 4.0 0.920634920634921 63 58 58 ((2410 2410 288 328 410 576 997 1576 1595 1973 1999 2162 2224 2278 2544 2862 3296 3438 3639 3681 3746 3748 3960 4082 4537 4697 4714 4745 4840 4872 4894 4895 5074 5110 5180 5764 5829 5959 5972 6450 6476) (5972 5972 288 328 424 576 904 1576 1595 1597 1999 2410 2482 2544 3296 3681 3960 4537 4697 4714 4745 4872 4894 4895 5074 5180 5613 5750 5764 5776 5829 5959 6346 6450 6476) (2544 2544 288 410 576 997 1595 1597 1973 2162 2224 2278 2410 3296 3338 3438 3746 3748 4082 4537 4697 4714 4745 4840 4872 5074 5110 5180 5829 5972 6450 6451 6476 6480) (6476 6476 410 576 1461 1973 2162 2224 2278 2410 2544 2862 3639 3681 3748 4714 4894 5074 5110 5612 5764 5829 5959 5972) (2703 2703 2871) (1595 1595 576 1597 1999 2278 2410 2544 3296 3438 3746 4082 4745 4840 4872 5074 5180 5508 5829 5972 6450) (4082 4082 288 328 410 509 997 1576 1595 1597 2410 2482 2544 3960 4697 4745 4840 5180 5829) (904 904 288 424 2162 2862 3237 3681 4697 5972)) (1664 3604 3934 4986 6025))
	((1 . 5))
	((1 . 6) 3.5 1.0 7 7 7 ((1301 1301 2777 2810 3573 5164) (2929 2929 2926 3573)) NIL)
	((1 . 7) 2.5 0.5 4 2 2 ((5372 5372 2996)) (2172 5593))
	((1 . 19) 2.5 1.0 2 2 2 ((6483 6483 1789)) NIL)
	((1 . 22) 3.0 1.0 3 3 3 ((5260 5260 1361 5756)) NIL)
	((1 . 23))
	((1 . 24) 6.0 0.916666666666667 12 11 11 ((4011 4011 1072 1172 3003 3371 5741) (1724 1724 1172 2190 2326) (6384 6384 499)) (5366))
	((1 . 25) 6.0 1.0 11 11 11 ((4783 4783 119 2032 3587 4030 4270 6297) (4077 4077 2032 3294 4031) (4030 4030 119 2948 4031 4270 4783 6297)) NIL)
	((1 . 26) 4.0 0.904761904761905 21 17 19 ((5789 5789 1258 3834 6190 6461) (3830 3830 1125 2519 3698) (293 293 205 1125 1395) (6461 6461 2294 2519 4104) (2295 2295 1417) (2519 2519 1258 2347 3830 6461) (3834 3834 774 4104 5789) (1395 1395 293 1278)) (379 6479))
	((1 . 27) 5.0 1.0 6 5 6 ((5000 5000 69 1495 2528) (2627 2627 1430 1495)) NIL)
	((1 . 29) 8.0 1.0 9 9 9 ((1415 1415 1051 1246 1247) (5016 5016 2590 5648) (5648 5648 2967) (2591 2591 2590)) NIL)
	((1 . 35))
	((1 . 36) 7.0 1.0 2 2 2 ((5507 5507 5275)) NIL)
	((1 . 39) 4.0 0.967741935483871 31 30 30 ((1508 1508 152 209 520 917 2262 2512 2808 2851 3221 3227 3816 3829 4437 4870 5465 5565 5774 6021 6327 6416 6521 6527 6528) (3829 3829 520 835 1142 1508 2808 2851 3221 3816 4437 4740 5565 5845 6327 6416 6521 6528) (4715 4715 209 835 1143 1508 2808 2851 3221 4437 5774 6416)) (1306))
	((1 . 40) 5.0 1.0 6 6 6 ((2094 2094 165 166 3678 4906 4950)) NIL)
	((1 . 41) 2.5 1.0 2 2 2 ((1929 1929 23)) NIL)
	((1 . 42) 2.5 1.0 3 3 3 ((6161 6161 6160 6358)) NIL)
	((1 . 45) 3.5 0.904761904761905 21 19 19 ((1124 1124 225 1371 1883 3116 3642 4114 4261 5558) (4699 4699 1868 2662 3169 3774 4613) (4261 4261 1124 2962 3116 4114 5558 6157) (1987 1987 225 1371 1883 3110)) (1754 4837))
	((1 . 47) 7.0 1.0 2 2 2 ((1510 1510 373)) NIL)
	((1 . 48))
	((1 . 52))
	((1 . 55) 4.0 1.0 3 3 3 ((4805 4805 324 4804)) NIL)
	((1 . 60) 7.0 1.0 7 6 7 ((834 834 1552 1887 3866 5722 5905 6349)) NIL)
	((1 . 61) 6.0 1.0 2 2 2 ((1106 1106 59)) NIL)
	((1 . 62))
	((1 . 63))
	((1 . 64))
	((1 . 65) 2.5 1.0 2 2 2 ((4086 4086 235)) NIL)
	((1 . 66) 3.0 1.0 2 2 2 ((603 603 254)) NIL)
	((1 . 69) 5.0 1.0 3 3 3 ((1539 1539 1056 1540)) NIL)
	((1 . 70))
	((1 . 71) 8.0 1.0 2 1 2 ((4798 4798 4979)) NIL)
	((1 . 72))
	((1 . 73) 2.5 1.0 3 3 3 ((3889 3889 1214 6437)) NIL)
	((1 . 74) 5.0 1.0 12 12 12 ((2950 2950 461 462 1405 1406 1710 1963 1964 2949 6267 6268) (6268 6268 461 462 1405 1406 1710 1963 2077 2950 6267)) NIL)
	((1 . 75) 2.5 1.0 2 2 2 ((5699 5699 2574)) NIL)
	((1 . 77) 3.5 0.923076923076923 13 12 12 ((4243 4243 20 738 739 804 2460 4117 5971) (6605 6605 706 831 6562)) (1453))
	((1 . 78))
	((1 . 79) 3.5 1.0 3 3 3 ((1319 1319 1310 5240)) NIL)
	((1 . 80) 3.5 1.0 3 3 3 ((3030 3030 47 3029)) NIL)
	((1 . 81))
	((1 . 83) 5.0 1.0 2 2 2 ((5330 5330 3779)) NIL)
	((1 . 84))
	((1 . 85))
	((1 . 86) 4.0 1.0 4 4 4 ((2164 2164 457 3654) (457 457 2164 3042)) NIL)
	((1 . 87) 6.0 1.0 6 6 6 ((3310 3310 1408 1592 3483) (782 782 487 1408 1592)) NIL)
	((1 . 88))
	((1 . 89) 5.0 1.0 2 2 2 ((2160 2160 2158)) NIL)
	((1 . 90))
	((1 . 91) 4.0 1.0 6 6 6 ((4716 4716 125 1216 1606) (2443 2443 2286)) NIL)
	((1 . 92))
	((1 . 93) 7.0 1.0 7 7 7 ((4062 4062 194 1990 2832 4061 4578 5206)) NIL)
	((1 . 94))
	((1 . 95))
	((1 . 96) 3.5 1.0 8 8 8 ((4764 4764 3274 3820 4003 4042 5108) (4242 4242 3672 4042 4764)) NIL)
	((1 . 97) 5.0 1.0 2 2 2 ((2683 2683 2585)) NIL)
	((1 . 98))
	((1 . 99) 2.5 1.0 3 3 3 ((2573 2573 4345 4807)) NIL)
	((1 . 100) 6.0 1.0 9 9 9 ((3415 3415 378 3638 3855 4342 5003) (6506 6506 2726 5003 5388)) NIL)
	((1 . 102) 5.0 1.0 33 33 33 ((6536 6536 514 627 792 1581 1599 1998 2035 2346 2438 3413 3460 3600 3613 4125 4195 4424 6106 6622) (553 553 792 2242 2688 4152 4424 5273 5710) (3613 3613 246 792 1788 2085 2346 2438 3413 4101 4125 6536) (4195 4195 514 627 792 1599 1780 2346 2438 3407 3413 3460 3600 3613 4125 4424 6106 6536 6622) (792 792 514 1581 1780 2346 3413 3460 3600 3613 4101 4125 4152 4195 5710 6536 6537) (6622 6622 792 868 1581 1599 3600 4101 4125 4195 6536)) NIL)
	((1 . 103) 4.0 1.0 3 3 3 ((3161 3161 674 2550)) NIL)
	((1 . 104) 3.5 0.928571428571429 14 13 13 ((1268 1268 651 2681 2848 4119) (5212 5212 981 3617 4607) (3014 3014 2092 4173) (4607 4607 981 2549 5212)) (5066))
	((1 . 110) 2.5 1.0 2 2 2 ((271 271 175)) NIL)
	((1 . 111) 5.0 1.0 4 4 4 ((6313 6313 737 5348) (5348 5348 6073 6313)) NIL)
	((1 . 113) 4.0 1.0 2 2 2 ((1290 1290 1022)) NIL)
	((1 . 114))
	((1 . 115) 8.0 1.0 3 3 3 ((5996 5996 473 5332)) NIL)
	((1 . 116) 5.0 1.0 5 5 5 ((4963 4963 1424 5938 6329) (6329 6329 4225 4963)) NIL)
	((1 . 117))
	((1 . 118) 5.0 0.982758620689655 58 57 57 ((4817 4817 16 314 789 954 1069 1118 1205 1206 1210 1984 2101 2102 2197 2213 2252 2276 2292 2342 2493 2829 3353 3424 3540 3599 3711 3718 4456 5190 5326 5441 6033 6077 6128 6176) (5285 5285 287 314 954 1470 1983 2103 2213 2252 2829 3353 3392 3434 3882 4792 4952 5284 5326 5441 5595 6176 6212) (1210 1210 287 314 444 789 954 1118 1205 1206 1470 1983 1984 2213 2252 2276 2292 2342 2829 3353 3540 3599 3711 3718 3882 4792 4817 4841 5284 5326 5354 5417 5441 6077 6176) (6033 6033 16 287 954 1069 1205 1315 1983 1984 2102 2197 2213 2342 2829 3353 3392 4123 4166 4817 4841 5284 5326 5595 6077 6176 6212) (1470 1470 954 1205 1206 1210 1984 2213 2252 2493 3216 4456 4792 4841 5285 5417 6077 6176) (2342 2342 789 954 1205 1206 1210 2213 2493 2698 4456 4817 4952 6033 6176)) (3602))
	((1 . 119) 8.0 1.0 2 1 2 ((1438 1438 3686)) NIL)
	((1 . 120))
	((1 . 121) 6.0 1.0 2 2 2 ((6542 6542 4956)) NIL)
	((1 . 123) 3.0 0.9375 16 15 15 ((4352 4352 25 2467 4370 4773 4988) (5525 5525 1472 1701 5079 6515) (3446 3446 4370 5034) (1472 1472 4121 5079 5525 6515) (25 25 4352 4773 4988 5365)) (3743))
	((1 . 124) 5.0 1.0 3 3 3 ((549 549 126 140)) NIL)
	((1 . 125) 3.5 1.0 3 3 3 ((5660 5660 1347 5832)) NIL)
	((1 . 126) 6.0 1.0 5 5 5 ((4134 4134 3469 3470 4133) (3470 3470 3469 4132 4134)) NIL)
	((1 . 127) 8.0 1.0 6 6 6 ((3202 3202 513 895 1847 5214 6210)) NIL)
	((1 . 128) 5.0 1.0 10 10 10 ((5702 5702 844 1323 5689 6169) (5092 5092 844 4102 6623) (5689 5689 1323 3317 5702 6169) (6169 6169 5689 5702 5964)) NIL)
	((1 . 129) 2.5 1.0 2 2 2 ((5196 5196 3388)) NIL)
	((1 . 130))
	((1 . 131))
	((1 . 132) 5.0 1.0 7 7 7 ((2634 2634 4120 4786 5608) (5704 5704 5207) (2753 2753 2634)) NIL)
	((1 . 133) 2.5 0.5 4 2 2 ((3905 3905 1721)) (3757 5067))
	((1 . 136))
	((1 . 138) 8.0 1.0 9 8 9 ((4579 4579 968 1497 1617 1623 2044 4635) (1497 1497 968 1617 1623 2043 4579 4772)) NIL)
	((1 . 142))
	((1 . 145))
	((1 . 146) 3.0 1.0 2 2 2 ((2107 2107 2106)) NIL)
	((1 . 148))
	((1 . 149) 3.0 1.0 2 2 2 ((5605 5605 4465)) NIL)
	((1 . 152))
	((1 . 154))
	((1 . 158) 4.0 1.0 2 2 2 ((4868 4868 4222)) NIL)
	((1 . 160) 3.0 1.0 2 2 2 ((5590 5590 1400)) NIL)
	((1 . 162))
	((1 . 166))
	((1 . 167))
	((1 . 168))
	((1 . 169))
	((1 . 170))
	((1 . 172) 4.0 1.0 2 2 2 ((4295 4295 3863)) NIL)
	((1 . 173))
	((1 . 174) 2.5 1.0 3 3 3 ((5469 5469 3193 3309)) NIL)
	((1 . 175))
	((1 . 176))
	((1 . 177) 7.0 1.0 3 3 3 ((5818 5818 3435 4760)) NIL)
	((1 . 182))
	((1 . 183))
	((1 . 184))
	((1 . 185))
	((1 . 191))
	((1 . 192))
	((1 . 195))
	((1 . 196))
	((1 . 197))
	((1 . 198))
	((1 . 199))
	((1 . 200))
	((1 . 201))
	((1 . 202))
	((1 . 203))
	((1 . 204))
	((1 . 205))
	((1 . 206))
	((1 . 207) 8.0 1.0 2 2 2 ((6201 6201 6135)) NIL)
	((1 . 208))
	((1 . 209))
	((2 . 1) 5.0 1.0 276 276 276 ((365 365 233 234 349 388 402 404 405 445 449 450 564 565 567 568 578 579 599 626 668 669 670 671 693 695 697 698 828 888 919 922 926 1025 1110 1112 1126 1127 1149 1164 1235 1270 1293 1295 1341 1342 1363 1390 1391 1392 1418 1419 1445 1446 1555 1566 1568 1569 1570 1571 1572 1573 1579 1601 1660 1661 1666 1668 1684 1826 1827 1864 1928 1938 1996 2009 2061 2087 2188 2191 2221 2246 2318 2319 2338 2441 2442 2444 2445 2473 2507 2508 2531 2534 2577 2578 2579 2641 2686 2728 2767 2812 2877 2880 3099 3101 3159 3185 3186 3205 3292 3342 3378 3443 3445 3472 3530 3531 3532 3550 3554 3555 3557 3690 3699 3700 3762 3791 3949 3950 3951 4079 4109 4110 4111 4145 4197 4221 4224 4230 4286 4289 4290 4349 4512 4526 4584 4637 4639 4640 4687 4700 4708 4744 4777 4800 4809 4892 4908 4921 4923 4951 5166 5316 5319 5320 5413 5431 5432 5552 5682 5683 5835 5899 5916 5948 5974 5988 5989 5993 6012 6013 6105 6124 6126 6206 6207 6285 6288 6334 6338 6379 6380 6444 6446 6449 6466 6467 6485 6612) (6338 6338 291 349 365 403 405 445 564 565 578 600 671 693 695 696 698 828 888 927 1025 1110 1126 1164 1181 1235 1236 1270 1294 1295 1341 1391 1392 1445 1502 1555 1568 1569 1570 1571 1572 1573 1580 1600 1601 1661 1667 1668 1688 1826 1864 1928 1939 2009 2022 2061 2110 2186 2188 2191 2246 2319 2321 2338 2365 2441 2442 2444 2507 2531 2577 2578 2579 2641 2686 2728 2877 2880 2971 3099 3101 3159 3185 3186 3342 3378 3443 3444 3445 3478 3530 3555 3667 3762 3876 3949 3950 3951 4079 4197 4199 4464 4526 4584 4637 4640 4687 4708 4744 4777 4800 4809 4892 4896 4951 4968 5040 5166 5246 5310 5311 5320 5342 5413 5431 5432 5497 5634 5683 5733 5899 5948 5974 6012 6037 6124 6126 6206 6207 6285 6287 6288 6334 6379 6380 6444 6449 6467 6485 6570 6612) (3472 3472 234 349 365 450 564 568 578 695 696 697 919 922 926 1086 1112 1127 1235 1293 1341 1374 1419 1446 1502 1566 1579 1580 1600 1661 1666 1684 1688 1722 1826 1827 1828 1928 1939 1996 2022 2087 2186 2221 2318 2320 2445 2473 2534 2579 2686 2877 2880 2987 3099 3159 3292 3342 3357 3378 3430 3431 3443 3556 3557 3667 3690 3791 3948 3950 4079 4197 4221 4224 4230 4286 4289 4290 4349 4512 4525 4581 4584 4637 4639 4700 4892 4921 4923 4951 5040 5043 5166 5310 5316 5319 5342 5552 5633 5682 5683 5835 5936 5974 5988 5989 5993 6037 6124 6285 6380 6443 6444 6445 6570) (233 233 291 365 402 405 445 449 450 564 565 567 568 579 668 671 693 695 696 697 698 828 888 927 1025 1126 1127 1181 1235 1236 1294 1295 1342 1363 1375 1391 1392 1418 1419 1445 1555 1568 1569 1570 1571 1572 1573 1600 1601 1660 1661 1668 1827 1828 1938 1939 2009 2022 2061 2186 2188 2319 2321 2338 2365 2428 2441 2442 2444 2445 2473 2507 2508 2531 2577 2578 2579 2641 2728 2767 2812 2987 3099 3101 3159 3185 3186 3342 3378 3417 3445 3507 3530 3531 3550 3554 3555 3699 3700 3762 3949 3951 4109 4110 4111 4145 4464 4512 4525 4526 4640 4687 4708 4744 4777 4800 4809 4892 4896 4897 4898 4951 4967 5043 5166 5281 5319 5320 5342 5413 5431 5432 5615 5634 5683 5733 5863 5899 5948 5974 5988 5989 5993 6012 6037 6124 6126 6207 6287 6288 6334 6379 6380 6444 6446 6449 6466 6570 6612) (1294 1294 233 291 450 568 695 696 697 888 919 1025 1127 1149 1235 1295 1392 1419 1568 1569 1570 1571 1572 1573 1600 1601 1660 1661 1667 1668 1722 1827 1938 2061 2165 2186 2188 2191 2321 2338 2444 2445 2473 2531 2579 2641 2728 3099 3101 3186 3342 3357 3417 3430 3444 3445 3530 3550 3554 3555 3655 3700 3792 3793 3951 4110 4219 4464 4525 4526 4640 4809 4896 5040 5043 5166 5310 5311 5319 5413 5432 5615 5682 5733 5835 5899 5974 6206 6207 6287 6288 6338 6444 6467 6485) (4921 4921 349 365 445 449 565 570 626 668 669 670 695 828 919 922 1127 1149 1295 1341 1374 1375 1391 1392 1419 1568 1573 1660 1661 1668 1723 1826 1827 1828 1939 2009 2061 2087 2318 2319 2320 2444 2507 2577 2578 2579 2686 2767 2877 2880 3159 3430 3445 3472 3690 3699 3762 3876 3948 3951 4109 4145 4178 4286 4349 4584 4639 4777 4809 4892 4968 5281 5319 5431 5432 5552 5863 5948 5974 5988 5993 6124 6126 6207 6288 6380 6445 6449 6466 6467) (405 405 233 291 365 445 565 571 578 668 670 671 693 696 828 1110 1270 1294 1342 1363 1374 1390 1555 1568 1569 1660 1826 1864 1938 2061 2110 2191 2246 2441 2508 2577 2578 2728 2767 2812 3205 3445 3530 3531 3667 3690 3699 3762 3791 3794 4109 4199 4289 4512 4526 4708 4744 4809 4908 5320 5432 5497 5733 5948 5974 5988 5993 6206 6334 6338 6379 6467)) NIL)
	((2 . 2) 5.0 1.0 34 34 34 ((1008 1008 34 169 245 1040 1300 3803 4142 4232 4570 4976 5521 6068) (3344 3344 169 2097 3343 3803 4141 4232 4922 4985 5520) (5278 5278 159 374 1040 1300 1689 1760 2375 4141) (3986 3986 1351 4098 6119) (169 169 34 245 1008 1040 1300 1689 3344 4098 4187 4232 4910) (4232 4232 34 159 169 374 1008 1087 3344 3803 4922 4976 6119) (2097 2097 34 2769 3343 3344 4570 4922)) NIL)
	((2 . 3) 4.0 0.909090909090909 11 10 10 ((1224 1224 882 1225 2138 3664) (2696 2696 3440 5343) (735 735 734)) (1432))
	((2 . 4) 4.0 0.75 4 3 3 ((4305 4305 515 516)) (4303))
	((2 . 5))
	((2 . 6) 2.5 0.975609756097561 41 40 40 ((177 177 179 1644 1935 1980 2204 3255 3256 3266 3267 4610 4611 6418) (5046 5046 94 337 448 709 3103 3272 6173 6424) (2205 2205 178 1936 1981 1982 2206 3265) (1644 1644 94 177 179 337 2455 3255 3447 4610 6424) (2840 2840 2522 3272 6418) (3103 3103 1937 5046 5344) (3489 3489 3490) (6173 6173 94 337 709 3264 3272 5046) (3256 3256 177 179 1981 3449 4611) (5344 5344 94 1010 3103)) (3448))
	((2 . 7) 3.5 0.944444444444444 18 17 17 ((5700 5700 22 357 613 755 1068 1874 3187 5270 5631 6015 6156 6594) (5414 5414 3534 4909) (3187 3187 22 755 1068 5700 6331 6594)) (790))
	((2 . 8) 5.0 1.0 3 3 3 ((3588 3588 716 3142)) NIL)
	((2 . 9))
	((2 . 11) 2.5 1.0 10 10 10 ((350 350 498 1824 2074 2075 2181 4348 4691 4692 6335)) NIL)
	((2 . 12) 4.0 1.0 4 4 4 ((3685 3685 466 550) (1437 1437 466 550)) NIL)
	((2 . 14))
	((2 . 15) 7.0 1.0 4 4 4 ((5666 5666 1185 1873 5816)) NIL)
	((2 . 16))
	((2 . 17) 2.5 1.0 3 3 3 ((5407 5407 37 1532)) NIL)
	((2 . 18) 3.5 0.971428571428571 35 34 34 ((2886 2886 607 1954 2408 3562 4599 4929 6347) (765 765 1918 2872 3124 3157 3280) (4497 4497 700 1271 1989 4496 6140) (2116 2116 700 1884 2241 6050) (3063 3063 3680 4423) (2408 2408 607 1959 2886 3170 4599 4929) (3297 3297 1884 2762) (387 387 3098) (4929 4929 607 2408 2886 4496 5569 6140)) (4654))
	((2 . 19) 5.0 1.0 7 7 7 ((129 129 474 1548 5333 5997) (6555 6555 1548 3047)) NIL)
	((2 . 20))
	((2 . 21) 2.5 0.666666666666667 3 2 2 ((5346 5346 2131)) (3332))
	((2 . 22) 2.5 0.909090909090909 11 10 10 ((153 153 829 3467 4556 5036 5649 5922 6544) (5922 5922 153 829 2565 5036 6544) (5036 5036 153 517 3467 5649)) (5035))
	((2 . 23) 5.0 1.0 6 6 6 ((4383 4383 4354 4381 4453 5808 5836)) NIL)
	((2 . 24) 2.5 1.0 6 6 6 ((4154 4154 555 1364 2244) (2244 2244 2690 4154 5712)) NIL)
	((2 . 25))
	((2 . 26) 3.0 1.0 10 10 10 ((1995 1995 887 1741 3625 3947 4084 6022) (6022 6022 1995 3947 4084 5481 5527) (3625 3625 887 1741 1995 4084 6040)) NIL)
	((2 . 27))
	((2 . 28))
	((2 . 29) 5.0 1.0 45 45 45 ((1759 1759 32 66 413 420 529 736 840 1239 1968 2019 2024 2052 2053 2076 2592 2701 2873 3316 3405 4019 4050 4302 4488 4677 4695 4696 4701 4748 5155 5751 5784 6047 6056 6137 6143 6185 6397) (4019 4019 32 66 420 529 736 840 977 1239 1759 1968 2024 2030 2052 2053 2076 2523 2592 2701 2873 3314 3405 4050 4488 4677 4695 4696 5155 5784 6047 6056 6137 6185 6397 6532) (420 420 32 66 529 736 840 1239 1759 1968 2019 2024 2052 2592 2701 2873 3405 4019 4050 4302 4488 4677 4695 4696 4748 5155 5186 5784 6047 6056 6137 6143 6185 6397 6500)) NIL)
	((2 . 30) 3.5 0.952380952380952 21 20 20 ((5711 5711 554 2689 4153 4176) (4380 4380 3006 3133 3741 5831) (4577 4577 1197 2631 3420 4176) (6011 6011 3612) (3741 3741 2084 3133 4380 5831) (5479 5479 554) (3102 3102 3741) (2243 2243 3741)) (2976))
	((2 . 31) 6.0 1.0 2 2 2 ((2047 2047 1251)) NIL)
	((2 . 32))
	((2 . 33) 2.5 1.0 7 7 7 ((5644 5644 1607 2966 4440 4541) (2966 2966 1607 1768 5622 5644)) NIL)
	((2 . 34) 3.0 0.914285714285714 35 32 32 ((4236 4236 340 501 1648 1715 2363 2900 2913 3892 4112 4665 4842 4843 5668 5805 6009) (340 340 1648 2073 2334 2363 3300 3693 3892 4112 4209 4665 4842 4843 5014 6325) (4209 4209 340 3783 4112 5957 6604) (4665 4665 340 1648 2363 3300 3303 3326 4236 4842 4843 5668 5805) (6391 6391 2334 2581 3693) (4112 4112 340 1648 2073 2334 2363 3300 3892 4209 4236 5014 5548 6009 6325) (3300 3300 340 414 3326 4112 4665 6009)) (251 2916 3838))
	((2 . 35) 2.5 1.0 16 16 16 ((2045 2045 3071 3384 4548 5044 5405 6113) (1435 1435 1955 2193 6113 6273 6275) (5044 5044 2045 2673 3016 3384 4548) (6273 6273 1435 1707 4881)) NIL)
	((2 . 36) 2.5 0.933333333333333 30 28 28 ((3849 3849 358 753 1464 1783 2357 2606 3150 3459 3549 3598 3918 4150 4592 4861 5271 5272 5574 5625 5991 5992 5994 6028 6032 6039) (1464 1464 358 753 1783 2357 2606 3150 3459 3549 3598 3849 3918 4150 4592 4861 5195 5271 5272 5574 5991 5994 6028 6032 6039) (3549 3549 358 753 1464 1783 2494 2606 3150 3459 3598 3849 3918 4150 4592 4861 5271 5272 5574 5991 5994 6028 6032 6039) (6028 6028 358 753 1464 1783 2606 3459 3549 3849 4150 4592 4861 5271 5272 5574 5625 5994 6032 6038 6039)) (4227 5990))
	((2 . 37) 6.0 1.0 2 2 2 ((1713 1713 1712)) NIL)
	((2 . 38) 2.5 0.909090909090909 11 10 10 ((740 740 275 276 2220 3394 3640 3843 3924 4179) (2220 2220 740 741 3394 4179)) (2449))
	((2 . 39) 2.5 1.0 2 2 2 ((6330 6330 2907)) NIL)
	((2 . 40) 5.0 0.988505747126437 87 86 86 ((161 161 49 315 415 452 528 620 683 766 1002 1081 1217 1228 1256 1262 1500 1542 1610 1638 1696 1800 1886 1958 2149 2150 2212 2382 2384 2652 2664 2665 2667 2801 2802 2803 2805 2935 3054 3118 3121 3341 3509 3726 3742 3836 4180 4330 4539 4738 4821 4859 5087 5089 5144 5148 5171 5276 5460 5461 5505 5765 5844 5854 5951 6560 6596 6601) (1217 1217 11 49 161 285 315 415 452 475 528 620 766 833 1081 1228 1256 1262 1499 1500 1610 1638 1800 1870 1895 1958 1978 2149 2150 2212 2384 2652 2664 2665 2667 2802 2803 2927 2935 3054 3118 3121 3341 3509 3515 3836 4330 4539 4738 5087 5089 5144 5148 5171 5276 5460 5505 5844 5854 5951 5982 6560 6596 6601) (315 315 161 285 415 452 475 528 683 833 1002 1217 1228 1256 1262 1285 1499 1542 1610 1638 1870 1958 2149 2150 2384 2396 2667 2801 2803 2935 3054 3118 3121 3509 3726 3836 4180 4330 4539 4738 4859 4996 5087 5088 5148 5276 5460 5461 5468 5505 5765 5844 5854 5951 5982 6560 6596 6601) (2804 2804 452 620 833 2935 3054 3515 4330 4539 5468 6603) (683 683 49 161 285 315 415 475 528 766 833 1081 1256 1542 1610 1638 1958 2150 2212 2396 2652 2664 2667 2803 2805 2835 2935 3054 3118 3121 3341 3509 3515 3742 3836 4180 4330 4539 4859 4996 5087 5144 5460 5461 5468 5854 6601)) (1527))
	((2 . 41) 2.5 1.0 2 2 2 ((5735 5735 5050)) NIL)
	((2 . 42) 2.5 0.931034482758621 29 27 27 ((372 372 67 822 824 1240 2495 2963 2964 3906 5136 5184 5485 5486) (3810 3810 918 1822 2306 3363 3811) (5421 5421 822 1822 2495 2963 3519 3906 5136 5184 5486 6558) (6326 6326 223 4122) (824 824 372 823 2171 5485 5486)) (218 2692))
	((2 . 43) 3.5 0.928571428571429 28 26 26 ((5312 5312 657 778 805 1232 1369 1475 2345 2424 2429 2780 2806 3409 3487 3488 4090) (1756 1756 74 725 778 2901 4090) (1410 1410 728 1758 6507) (4087 4087 4017)) (1633 3329))
	((2 . 44) 3.5 1.0 4 4 4 ((5027 5027 1304 1411) (3330 3330 1304 1411)) NIL)
	((2 . 45) 2.5 1.0 6 6 6 ((6094 6094 1184 1551 2354 5731) (5731 5731 889 1184 1551 6094)) NIL)
	((2 . 46) 3.5 1.0 3 3 3 ((1565 1565 1287 5763)) NIL)
	((2 . 47) 3.0 0.911764705882353 34 31 31 ((587 587 64 123 212 255 407 872 1209 1244 1536 1805 1979 2154 3345 3893 3900 4877 4900 5188 5781 5847 6471) (5847 5847 587 655 1244 3513 5492 5811) (819 819 5864 6475) (1805 1805 64 123 192 212 255 407 587 655 872 1209 1244 1536 1979 3345 3893 3900 4900 5492 5781 6471) (64 64 123 212 407 587 872 1209 1244 1536 1805 1974 3345 3893 3900 4877 5492 5781 6471)) (3475 3597 3752))
	((2 . 48))
	((2 . 49) 4.0 1.0 8 8 8 ((6234 6234 1054 1057 3366 6241) (3366 3366 347 2226 6234 6637)) NIL)
	((2 . 50) 3.5 1.0 13 12 13 ((4005 4005 908 1541 2272 2751 3611 4618 6394) (4246 4246 1559 4378 6525 6610)) NIL)
	((2 . 51) 3.5 1.0 3 3 3 ((2068 2068 2626 5981)) NIL)
	((2 . 52) 3.5 0.933333333333333 15 14 14 ((5176 5176 92 479 660 711 1012 1261 1767 3398 4096 4650 5286 6439 6499)) (5076))
	((2 . 53) 6.0 1.0 3 3 3 ((1484 1484 827 1950)) NIL)
	((2 . 54))
	((2 . 55) 3.0 0.909090909090909 33 30 30 ((1501 1501 185 459 460 783 976 1090 1455 1504 1593 1817 2034 2080 2694 3895 3931 3941 4718 4907 5049 5418 5419) (5418 5418 808 976 1090 1277 1455 1501 1504 1593 1817 2694 3941 3957 5049 5221) (4907 4907 459 1090 1501 2694 3484 3941 4390 5419) (1817 1817 808 1277 1455 1501 1593 2694 3753 3941 5221 5418) (460 460 1455 1501 3895 4822 5221 5419)) (3182 3311 6501))
	((2 . 56) 2.5 1.0 3 3 3 ((4253 4253 4251 4407)) NIL)
	((2 . 57) 3.0 1.0 3 3 3 ((2468 2468 199 1543)) NIL)
	((2 . 58) 3.5 1.0 5 5 5 ((5038 5038 39 994 4507 4767)) NIL)
	((2 . 59))
	((2 . 60) 4.0 0.923076923076923 26 24 24 ((3548 3548 360 409 662 984 1044 1234 2389 2471 3106 3383 3425 3468 3614 3618 4914 5317 5491) (4914 4914 662 984 1044 2240 2389 2471 3106 3383 3548 3618 3910 4472 5317) (360 360 219 409 984 1044 1234 3425 3548 3614 5317 5474 5491) (2389 2389 409 984 1044 1234 1845 3106 3425 3468 3548 3614 4914 5491)) (4617 5513))
	((2 . 61) 4.0 0.916666666666667 12 11 11 ((1169 1169 1170 2895 3153 4438 5828) (3740 3740 2986 4356 4966) (4653 4653 4438)) (6337))
	((2 . 62) 2.5 1.0 2 2 2 ((6423 6423 3683)) NIL)
	((2 . 63) 3.5 1.0 2 2 2 ((3048 3048 21)) NIL)
	((2 . 64) 3.5 1.0 2 2 2 ((1892 1892 512)) NIL)
	((2 . 65) 3.5 1.0 2 2 2 ((1387 1387 1386)) NIL)
	((2 . 66) 2.5 1.0 5 5 5 ((5345 5345 1458 1812 2322 2601)) NIL)
	((2 . 67) 5.0 1.0 5 5 5 ((6142 6142 2006 4834 5748) (2006 2006 5918 6142)) NIL)
	((2 . 68) 3.5 0.952380952380952 21 20 20 ((5861 5861 666 2105 2515 3147 4346 4375 4636 5229) (3147 3147 664 666 1269 1434 4375 5861 6099 6154) (5713 5713 666 999 1434 4636 5229 6533) (6598 6598 1269 3315 4636 6533) (6099 6099 1269 6165)) (4018))
	((2 . 69) 3.0 0.923076923076923 26 24 24 ((4359 4359 1250 2000 3002 3148 3506 4223 4360 4869 5009 5010 5640 5888) (3055 3055 15 3148 4223 4969 6107) (5888 5888 1250 2000 3211 3506 3790 4359 4360 4869 5010 6399) (5640 5640 15 2988 3002 3211 3506 4359 4360 5010) (3790 3790 3148 4706 5888) (6399 6399 3908 5888) (1643 1643 3055)) (3158 5314))
	((2 . 70) 4.0 1.0 5 5 5 ((5368 5368 1550 1747 4768) (1747 1747 1550 3244 5368)) NIL)
	((2 . 71) 3.5 0.96 25 24 24 ((2879 2879 335 367 1028 1729 2063 2311 2622 2687 2882 3426 3839 3878 4072 5341 5546 5953 6067 6644) (2063 2063 335 367 1729 1839 2232 2311 2622 2687 2879 2882 3426 3839 3878 4072 5341 5472 6067 6644) (367 367 1028 1729 2063 2311 2622 2687 2879 2882 3426 3839 3878 4072 4335 5472 5953 6023 6067 6644)) (4646))
	((2 . 73))
	((2 . 74) 3.0 1.0 4 4 4 ((3737 3737 2826 3386 6556)) NIL)
	((2 . 75))
	((2 . 76) 5.0 1.0 2 2 2 ((4776 4776 2064)) NIL)
	((2 . 77) 6.0 1.0 6 6 6 ((6311 6311 518 606 2407 2885 4793)) NIL)
	((2 . 78))
	((2 . 80) 3.5 0.96 25 23 24 ((1324 1324 386 429 776 1913 2132 2208 3209 3243 4547 4629 4630 4990 5288 5359 5679 5706 5714 5940) (4630 4630 429 776 1119 1324 1913 2196 3181 4547 4990 5288 5679 5706) (2196 2196 776 3179 4547 4630 4990 5706 5714) (1913 1913 776 1324 4630 4644 5359 5706)) (6229))
	((2 . 81) 3.5 0.9 10 9 9 ((5433 5433 1777 4597 4941 6167) (1777 1777 4013 4941 5433 6339) (4941 4941 1777 2715 5433 6167) (6167 6167 3508 4941 5433)) (5898))
	((2 . 82) 3.0 0.979166666666667 48 47 47 ((5489 5489 702 836 1230 1312 1505 1946 2409 2699 2735 3066 3708 4207 4429 4484 4536 4538 4600 4601 4631 4713 5054 5193 5480 5604 5840 6277 6395) (4713 4713 702 836 1045 1894 1946 2049 2409 2735 4501 4671 5480 5489 5856) (4671 4671 930 2479 3032 3066 3708 4421 4713 4782) (4538 4538 1312 1505 1624 1946 2049 2409 2477 3004 3066 4207 4429 4484 4536 4631 4671 5054 5193 5480 5489 5840) (4503 4503 2735 4429 4600 4601 4631 5002) (2409 2409 702 799 1894 1946 4501 4538 4713 5489 5856) (1894 1894 2409 4501 4606 4713) (1624 1624 701 702 4538)) (3833))
	((2 . 83))
	((2 . 84) 3.0 0.909090909090909 11 10 10 ((801 801 355 1906 2287 2672 3217 5482) (949 949 306 3324)) (1942))
	((2 . 85) 4.0 1.0 15 15 15 ((1425 1425 1274 2065 4116 5037 5213 5820 5935 6618) (2065 2065 1425 3971 4052 4854 5213) (6148 6148 534 1770)) NIL)
	((2 . 86) 4.0 1.0 5 5 5 ((3933 3933 154 198 912) (198 198 1904 3933)) NIL)
	((2 . 87) 5.0 1.0 4 4 4 ((2870 2870 264 1382 6053)) NIL)
	((2 . 88) 8.0 1.0 3 3 3 ((3512 3512 2108 2323)) NIL)
	((2 . 89))
	((2 . 90))
	((2 . 91) 2.5 1.0 2 2 2 ((5420 5420 938)) NIL)
	((2 . 92) 2.5 1.0 9 9 9 ((4734 4734 1849 1851 3194 3268 4467 4865 6058 6619)) NIL)
	((2 . 93) 3.0 1.0 2 2 2 ((1061 1061 188)) NIL)
	((2 . 94))
	((2 . 95))
	((2 . 96))
	((2 . 97))
	((2 . 98))
	((2 . 100) 3.0 1.0 2 2 2 ((5483 5483 2513)) NIL)
	((2 . 101))
	((2 . 102))
	((2 . 103) 5.0 1.0 2 2 2 ((6146 6146 1769)) NIL)
	((2 . 105))
	((2 . 106) 4.0 1.0 2 2 2 ((3140 3140 3139)) NIL)
	((2 . 107) 2.5 1.0 2 2 2 ((1876 1876 1088)) NIL)
	((2 . 108))
	((2 . 109))
	((2 . 110))
	((2 . 111))
	((2 . 112))
	((2 . 113) 3.0 1.0 5 5 5 ((5535 5535 1120 3165 3204 4324)) NIL)
	((2 . 114))
	((2 . 115))
	((2 . 116))
	((2 . 117))
	((2 . 118) 3.5 1.0 3 3 3 ((4523 4523 4442 4522)) NIL)
	((2 . 120))
	((2 . 121) 5.0 0.981132075471698 53 52 52 ((4301 4301 29 51 52 53 215 241 243 277 363 543 694 1357 1373 2315 2496 3770 4234 4435 4747 4874 5004 5005 5006 5008 5122 5424 5796 5797 5830 5852 6316 6486 6488 6538) (5830 5830 51 52 215 241 277 278 363 543 807 1357 1373 2315 2496 4234 4301 4657 4747 5004 5006 5007 5122 5852 6401 6411 6486 6488 6540) (51 51 29 52 53 243 277 278 363 694 893 1357 1373 2315 2496 3183 3770 4234 4301 4435 4747 4874 5004 5005 5006 5122 5422 5424 5796 5830 5852 6412 6486 6488 6540) (3688 3688 241 277 363 542 2496) (2314 2314 3825 6538) (543 543 29 52 53 215 278 363 807 1357 1373 2315 2496 3826 4234 4301 4657 4747 5004 5006 5422 5797 5830 5852 6401 6486 6538 6540) (6540 6540 51 52 53 215 243 543 694 807 1357 1373 2496 3183 4234 4435 4747 4873 5004 5005 5006 5422 5796 5830 6401 6411 6486 6488)) (985))
	((2 . 122) 3.5 1.0 7 7 7 ((1763 1763 2867 6236 6250) (5231 5231 2564) (2867 2867 1763 6168)) NIL)
	((2 . 123))
	((2 . 124) 4.0 1.0 2 2 2 ((5596 5596 4416)) NIL)
	((2 . 125) 4.0 1.0 2 2 2 ((2640 2640 2639)) NIL)
	((2 . 126))
	((2 . 127))
	((2 . 128))
	((2 . 129))
	((2 . 130))
	((2 . 131) 5.0 1.0 3 3 3 ((4801 4801 2843 2845)) NIL)
	((2 . 132))
	((2 . 133))
	((2 . 134))
	((2 . 135))
	((2 . 136))
	((2 . 137) 4.0 1.0 2 2 2 ((4971 4971 4753)) NIL)
	((2 . 139) 2.5 1.0 2 2 2 ((4571 4571 4509)) NIL)
	((2 . 140))
	((2 . 141))
	((2 . 142))
	((2 . 143))
	((2 . 144))
	((2 . 145))
	((3 . 1) 5.0 1.0 230 230 230 ((4151 4151 9 38 43 45 184 224 294 334 348 368 389 447 490 563 573 639 730 742 770 773 785 899 923 924 965 1027 1035 1097 1099 1109 1113 1128 1152 1226 1231 1245 1298 1313 1340 1413 1421 1422 1591 1605 1728 1797 1811 1813 1838 1841 1850 1916 1917 1970 1971 1977 2020 2028 2039 2042 2062 2129 2207 2222 2227 2230 2231 2302 2310 2367 2388 2411 2469 2562 2677 2695 2745 2754 2771 2784 2824 2857 2878 2881 2991 3010 3012 3065 3100 3195 3198 3207 3251 3254 3269 3288 3337 3354 3367 3461 3552 3553 3696 3725 3735 3736 3759 3822 3844 3877 4038 4041 4045 4071 4129 4184 4336 4339 4355 4376 4389 4402 4475 4486 4500 4557 4608 4622 4647 4659 4682 4709 4727 4733 4735 4833 4853 4866 4887 4958 4989 5019 5020 5093 5131 5149 5153 5203 5223 5236 5237 5280 5340 5393 5398 5403 5412 5451 5467 5473 5475 5545 5566 5581 5584 5632 5709 5753 5809 5911 5952 5956 6010 6024 6035 6059 6066 6083 6084 6090 6091 6117 6200 6205 6232 6239 6272 6298 6354 6369 6435 6491 6512 6545 6620 6626 6633 6638 6639 6641 6643) (5223 5223 9 38 45 104 107 184 224 294 334 348 368 389 447 563 573 639 676 742 770 773 785 923 924 965 1027 1035 1097 1099 1113 1128 1152 1226 1231 1245 1255 1298 1313 1340 1413 1421 1422 1591 1605 1811 1813 1838 1841 1850 1852 1889 1916 1917 1970 1971 1977 2020 2028 2039 2042 2129 2207 2216 2222 2227 2230 2231 2284 2302 2310 2353 2367 2388 2600 2603 2677 2695 2745 2754 2771 2784 2824 2857 2878 2881 2991 3010 3012 3023 3025 3065 3100 3198 3207 3251 3254 3269 3288 3337 3354 3367 3552 3553 3696 3725 3735 3736 3822 3844 3872 4038 4041 4045 4071 4129 4151 4184 4336 4339 4355 4376 4389 4402 4468 4475 4486 4500 4557 4622 4628 4659 4682 4709 4727 4733 4735 4833 4853 4887 4958 4989 5019 5020 5093 5131 5149 5153 5203 5236 5237 5269 5280 5340 5393 5398 5403 5412 5451 5467 5473 5475 5538 5545 5581 5584 5632 5709 5753 5809 5911 5952 5956 6010 6024 6035 6059 6066 6083 6084 6091 6200 6205 6232 6239 6272 6298 6354 6369 6491 6512 6518 6545 6620 6626 6633 6639 6641) (5809 5809 9 38 43 45 104 184 224 294 334 348 366 368 389 447 563 573 639 676 730 742 770 773 785 899 923 924 965 1027 1035 1097 1099 1113 1128 1155 1226 1231 1245 1298 1313 1340 1413 1421 1422 1591 1605 1728 1797 1811 1813 1841 1852 1889 1916 1917 1970 1971 1977 2020 2028 2039 2042 2062 2129 2216 2222 2227 2230 2231 2284 2302 2353 2367 2388 2411 2469 2562 2603 2621 2677 2695 2771 2784 2824 2857 2881 2991 3012 3025 3065 3100 3195 3198 3207 3251 3269 3288 3337 3354 3367 3552 3553 3696 3725 3736 3759 3822 3844 3872 3877 4038 4041 4045 4071 4129 4151 4184 4231 4233 4336 4339 4355 4376 4389 4402 4468 4475 4486 4500 4557 4608 4622 4628 4647 4659 4682 4727 4733 4853 4866 4887 4958 4989 5019 5020 5093 5131 5153 5203 5223 5236 5237 5280 5340 5393 5403 5412 5467 5473 5475 5566 5581 5584 5632 5709 5753 5956 6010 6024 6035 6059 6066 6083 6091 6117 6200 6205 6232 6239 6272 6298 6354 6369 6435 6491 6512 6518 6545 6620 6626 6638 6641 6643) (1591 1591 38 45 184 224 294 348 368 389 447 490 573 639 676 730 742 770 773 785 965 1027 1035 1097 1099 1109 1113 1115 1128 1152 1226 1245 1298 1313 1340 1413 1422 1471 1605 1728 1797 1811 1813 1838 1841 1889 1916 1970 1971 1977 2020 2028 2039 2042 2062 2129 2207 2216 2222 2227 2230 2231 2284 2302 2367 2388 2469 2562 2603 2677 2695 2771 2784 2824 2857 2991 3010 3012 3025 3100 3198 3207 3251 3254 3288 3337 3354 3367 3461 3552 3553 3696 3725 3735 3759 3822 3844 3877 4038 4041 4071 4129 4151 4184 4336 4339 4355 4376 4389 4402 4468 4475 4486 4500 4557 4628 4647 4659 4682 4705 4709 4727 4733 4735 4833 4887 4958 5019 5020 5093 5131 5149 5153 5203 5223 5236 5237 5280 5340 5393 5398 5403 5451 5467 5475 5581 5584 5632 5709 5753 5809 5952 5956 6010 6024 6035 6066 6083 6084 6090 6091 6117 6200 6205 6232 6272 6298 6354 6369 6435 6491 6512 6545 6626 6633 6639 6641 6643) (6369 6369 38 45 104 184 224 294 334 348 368 389 447 490 563 573 639 676 730 742 770 785 923 924 965 1099 1109 1128 1152 1226 1231 1255 1298 1313 1340 1413 1421 1422 1591 1605 1728 1797 1811 1813 1838 1841 1852 1917 1970 1971 1977 2020 2039 2042 2129 2207 2222 2230 2231 2302 2353 2367 2388 2411 2562 2600 2621 2677 2695 2738 2745 2771 2784 2824 2857 2878 2991 3010 3012 3025 3065 3100 3198 3251 3254 3269 3288 3337 3354 3552 3553 3696 3725 3735 3759 3822 3844 3877 4038 4041 4071 4129 4151 4336 4339 4355 4376 4389 4402 4468 4475 4500 4557 4622 4628 4647 4659 4682 4727 4733 4735 4833 4853 4887 4958 4989 5019 5020 5093 5131 5149 5203 5223 5236 5237 5269 5280 5393 5398 5403 5451 5467 5473 5475 5538 5545 5566 5581 5584 5632 5709 5753 5809 5911 5952 5956 6010 6024 6035 6059 6066 6083 6084 6090 6091 6200 6205 6232 6239 6272 6298 6354 6435 6491 6512 6545 6620 6626 6633 6638 6639 6641)) NIL)
	((3 . 2) 3.5 1.0 132 132 132 ((5029 5029 265 312 352 377 873 906 972 1071 1117 1219 1221 1242 1355 1436 1487 1531 1560 1804 1807 1809 1948 1956 2004 2016 2017 2046 2090 2180 2189 2194 2316 2328 2330 2368 2376 2463 2615 2657 2674 2725 2781 2789 3017 3072 3144 3192 3257 3385 3481 3561 3606 3633 3677 3722 3724 3734 4047 4067 4131 4341 4351 4409 4417 4430 4499 4549 4585 4588 4668 4730 4943 5045 5082 5097 5140 5227 5362 5387 5406 5444 5493 5571 5654 5665 5786 5838 5877 5954 6085 6114 6257 6274 6276 6388 6420 6426 6497 6505 6627) (4668 4668 42 312 319 352 377 847 873 906 972 1117 1189 1355 1487 1804 1922 2004 2046 2095 2189 2309 2328 2330 2368 2376 2463 2674 2725 2736 2789 3017 3072 3192 3385 3481 3593 3606 3610 3633 3677 3722 3724 4047 4067 4131 4341 4351 4404 4409 4417 4447 4520 4585 4588 4765 4943 5029 5045 5097 5362 5406 5409 5571 5654 5665 5877 5942 6085 6257 6274 6276 6341 6420 6426 6505) (3481 3481 265 312 352 377 506 707 781 906 1071 1094 1189 1219 1221 1242 1355 1436 1487 1531 1560 1804 1807 1809 1899 1922 1948 2004 2017 2046 2180 2189 2194 2316 2463 2657 2725 2736 2781 3017 3059 3072 3144 3192 3385 3414 3677 3722 3734 3854 4067 4131 4351 4404 4409 4430 4447 4499 4549 4573 4585 4668 4765 4943 5029 5045 5082 5227 5362 5406 5493 5571 5654 5665 5786 5838 6257 6274 6276 6292 6388 6426 6497 6505) (4067 4067 42 265 312 377 506 707 781 847 873 906 972 1053 1094 1117 1436 1487 1804 1807 1948 1956 2016 2046 2180 2189 2194 2270 2309 2615 2657 2674 2789 3017 3072 3385 3481 3561 3610 3633 3724 3734 3854 4047 4131 4351 4409 4417 4447 4499 4549 4588 4668 5029 5045 5082 5097 5140 5387 5406 5409 5493 5571 5654 5786 5838 6114 6257 6276 6388 6420 6497 6505 6627) (3561 3561 352 377 707 873 972 1117 1221 1436 1487 1804 1809 2017 2046 2090 2189 2194 2309 2330 2463 2674 2781 2789 3633 3637 3722 3734 3854 4067 4131 4351 4447 4520 4549 4588 4730 4739 5029 5045 5082 5097 5140 5786 5838 5942 6114 6257 6274 6497 6627) (4588 4588 312 781 847 873 906 972 1355 1436 1487 1804 1922 1948 2095 2189 2194 2270 2463 2736 3072 3561 3593 3722 3724 3854 4047 4067 4404 4417 4668 4765 4863 4943 5029 5045 5097 5362 5409 5493 5786 6257 6274 6292 6341 6420)) NIL)
	((3 . 3) 2.5 0.962264150943396 53 50 51 ((767 767 1466 1478 1479 1544 2112 2837 2994 3113 3728 3751 3859 3989 4257 4258 5057 5181 5182 5760 5803 5930 6572 6576) (6573 6573 1092 1201 1479 1545 2113 2837 2994 3751 3990 4559 4680 4728 5095 5182 5262 5803 6209 6577) (5930 5930 281 767 1201 1439 1466 1479 1544 3060 3270 3728 3859 4213 4237 4559 4728 5024 5182 5370 5760 5803) (3990 3990 1092 1479 2113 2837 3751 3860 4258 4728 5182 5803 5931 6573 6577) (4257 4257 594 767 1465 1545 2837 4559 5181 6577) (1896 1896 2128) (1201 1201 756 1092 1479 2113 2837 4559 5024 5930 5931 6573)) (3702 4127))
	((3 . 4) 3.0 1.0 8 8 8 ((609 609 502 2127 2432 3701 4558 5094 6214)) NIL)
	((3 . 5) 3.0 1.0 3 3 3 ((6552 6552 2747 4878)) NIL)
	((3 . 6) 4.0 1.0 8 7 8 ((6000 6000 3131 4432) (978 978 4594 5919) (3853 3853 5477)) NIL)
	((3 . 7) 5.0 1.0 4 4 4 ((5676 5676 3514) (2219 2219 2036)) NIL)
	((3 . 8) 4.0 1.0 12 12 12 ((4192 4192 102 3253 3313 4427 5567 6381) (5198 5198 89 1875) (5567 5567 3313 3541 4192 6381) (812 812 5567)) NIL)
	((3 . 9) 7.0 1.0 2 2 2 ((2921 2921 236)) NIL)
	((3 . 10) 2.5 0.904761904761905 21 19 19 ((3856 3856 83 2109 2111 2955 3857 3890 4167 4169 4516 4850) (4940 4940 83 791 2111 2547 3857 4516 5011) (2955 2955 791 1616 3856 6362) (4516 4516 2488 3856 4645)) (44 2490))
	((3 . 12) 2.5 1.0 2 2 2 ((2911 2911 2908)) NIL)
	((3 . 13) 4.0 1.0 5 5 5 ((5562 5562 2083 4514) (2083 2083 216 5562) (207 207 4514)) NIL)
	((3 . 14) 3.5 0.944444444444444 18 17 17 ((2344 2344 794 1132 1311 1463 2251 4459 4554 4722 4723 5023 5210 6030 6144) (5939 5939 2761 4722 4723 5023 6144 6145)) (3149))
	((3 . 15) 2.5 1.0 4 4 4 ((5873 5873 572 3491 3492)) NIL)
	((3 . 16) 5.0 1.0 3 3 3 ((4357 4357 843 1182)) NIL)
	((3 . 17) 4.0 1.0 3 3 3 ((4414 4414 692 3869)) NIL)
	((3 . 18) 5.0 1.0 4 4 4 ((4039 4039 4612 6026 6566)) NIL)
	((3 . 19) 6.0 1.0 4 4 4 ((4819 4819 614 4308) (4308 4308 3972 4819)) NIL)
	((3 . 20))
	((3 . 21))
	((3 . 22) 2.5 1.0 2 2 2 ((2902 2902 881)) NIL)
	((3 . 23) 4.0 1.0 83 83 83 ((3190 3190 6 26 90 256 428 477 786 793 971 980 1177 1266 1379 1397 1443 1516 1662 1700 1803 2027 2427 2470 2714 2729 2809 3073 3189 3199 3234 3238 3295 3412 3462 3632 3896 4066 4130 4185 4669 4787 4813 4871 4905 4916 4926 5289 5297 5470 5752 5785 5920 6258 6496 6624 6640) (980 980 6 26 90 256 428 477 523 562 745 786 793 971 1177 1266 1379 1397 1659 1803 1901 2027 2470 2714 2729 2809 3073 3189 3190 3295 3412 3462 3560 3632 3801 3896 4066 4185 4323 4433 4474 4669 4787 4813 4871 4916 5289 5364 5397 5785 5842 5920 6242 6258 6496 6640) (4669 4669 6 26 90 256 266 428 477 562 786 793 971 980 1042 1252 1266 1397 1901 2027 2427 2470 2714 2809 3189 3190 3234 3238 3295 3412 3462 3560 3581 3801 3896 4185 4433 4590 4813 4871 4905 4916 4926 5289 5297 5364 5673 5920 6242 6258 6640 6642) (6258 6258 6 26 428 786 793 971 980 1253 1516 1547 1659 1662 1803 1901 2027 2427 2714 2809 3189 3190 3234 3238 3560 3581 3632 3801 3896 4066 4130 4185 4669 4813 4905 5096 5234 5289 5297 5364 5397 5920 6496) (3034 3034 1252 3199 3234 6283)) NIL)
	((3 . 24) 3.5 1.0 3 3 3 ((1771 1771 88 325)) NIL)
	((3 . 25) 2.5 1.0 11 11 11 ((1972 1972 658 806 1476 2425 3410 5313) (1233 1233 658 1972 6508) (3410 3410 806 1476 1972 2807 5313) (1476 1476 75 1972 3410)) NIL)
	((3 . 26) 4.0 0.98 50 49 49 ((4560 4560 646 678 1135 1139 1140 1447 1949 2059 2413 2558 2584 2705 2864 2868 2894 2984 3174 3225 3755 3945 3995 4016 4561 4602 5226 5707) (1447 1447 646 678 875 1135 1139 1140 1429 1764 1949 2059 2702 2705 2868 3174 3225 3241 3755 4016 4049 4266 4455 4560 4561 4602 5226) (4266 4266 678 1139 1447 1902 2059 2705 3225 4118 5579 5707 5860) (4998 4998 68 1493 2067) (2682 2682 1949 2527 2584 2984 3634 4118 4455 4561 5226) (4561 4561 646 678 875 1135 1139 1140 1429 1447 1949 2059 2413 2558 2584 2682 2705 2894 2984 3225 3755 3945 4399 4455 4560 4602 5226 5579) (678 678 1135 1139 1447 1902 2705 2864 3755 3995 4266 4560 4561 5174) (2067 2067 2625)) (3404))
	((3 . 27) 3.5 1.0 3 3 3 ((6070 6070 3302 4471)) NIL)
	((3 . 28) 3.0 1.0 4 4 4 ((4806 4806 890 2572 4344)) NIL)
	((3 . 30) 3.0 0.916666666666667 12 11 11 ((3322 3322 947 2422 5967) (2552 2552 1031 1158) (2422 2422 304 1940 3322) (5967 5967 304 1932) (3776 3776 304)) (84))
	((3 . 31) 2.5 0.933333333333333 15 14 14 ((6075 6075 370 842 4562 4795 5172 5771 6376) (4562 4562 370 2765 3045 4847 5072 6075 6376) (6376 6376 3045 4562 4795 5072 5124 6075) (5771 5771 3802 4847 6075)) (747))
	((3 . 32) 3.5 1.0 4 4 4 ((6060 6060 4666) (5932 5932 4632)) NIL)
	((3 . 33) 2.5 1.0 5 5 5 ((6356 6356 2532 2713 4186 4229)) NIL)
	((3 . 34) 2.5 1.0 3 3 3 ((4883 4883 1735 4053)) NIL)
	((3 . 36) 3.0 0.962962962962963 27 26 26 ((5073 5073 371 1909 3044 3046 3275 3567 4263 4702 4796 4846 4848 5071 5123 5125 5438 6049 6076 6377) (6074 6074 369 4703 5123 6375) (1908 1908 371 3566) (1909 1909 369 371 3044 3046 3567 4264 4796 4846 4848 5071 5073 6076 6377)) (3279))
	((3 . 37) 5.0 1.0 156 156 156 ((2298 2298 18 19 46 63 263 399 492 526 527 557 616 647 659 733 777 1047 1055 1058 1254 1291 1409 1634 1714 1736 1743 1773 1854 1855 1857 1871 1872 1934 2291 2299 2500 2501 2543 2569 2774 2814 2876 2924 3022 3081 3307 3364 3416 3473 3521 3536 3564 3571 3716 3756 3765 3870 3881 3927 3965 4026 4046 4094 4108 4262 4271 4277 4292 4294 4299 4318 4343 4367 4379 4434 4603 4634 4694 4820 4838 4839 4911 4946 5113 5114 5132 5170 5202 5295 5303 5309 5339 5347 5517 5588 5645 5725 5732 5946 5947 5979 5999 6031 6216 6307 6372 6392 6522 6557 6593) (5594 5594 18 190 399 492 557 602 616 647 682 733 777 1006 1050 1145 1146 1303 1403 1409 1416 1575 1714 1755 1855 1857 1934 2093 2291 2373 2501 2569 2774 2814 2876 2924 3022 3081 3293 3307 3327 3328 3416 3473 3536 3571 3650 3716 3756 3765 3927 3964 3965 4026 4046 4089 4108 4291 4294 4299 4343 4434 4603 4609 4634 4694 4911 4946 5113 5114 5202 5295 5303 5309 5339 5347 5534 5620 5732 5947 5979 6031 6048 6216 6307 6593 6616) (1736 1736 18 19 46 63 263 399 492 527 557 616 647 659 721 733 815 1047 1050 1055 1058 1145 1254 1291 1561 1575 1634 1714 1742 1743 1765 1773 1854 1855 1866 1871 1872 1934 1976 2298 2299 2500 2501 2543 2569 2814 2876 2924 3022 3240 3293 3307 3364 3416 3473 3521 3564 3571 3716 3745 3756 3765 3870 3881 3927 4026 4046 4094 4108 4271 4277 4292 4294 4318 4434 4634 4694 4820 4838 4839 5113 5132 5170 5309 5347 5517 5588 5645 5946 5947 5999 6031 6048 6216 6245 6262 6372 6392 6557 6593 6616) (6392 6392 18 19 46 63 376 492 602 659 682 777 815 1050 1058 1254 1291 1303 1403 1409 1416 1449 1575 1634 1714 1719 1736 1743 1765 1854 1857 1871 1872 1934 1976 2093 2298 2299 2373 2543 2569 2814 2876 3022 3081 3240 3293 3307 3327 3364 3536 3571 3716 3756 3765 3870 3881 3927 3965 4046 4094 4262 4271 4277 4291 4318 4343 4634 4694 4820 4839 4911 4946 5113 5114 5170 5295 5309 5347 5506 5620 5947 5999 6048 6216 6262 6372 6522 6557 6616) (4299 4299 18 19 46 63 263 399 527 557 602 616 647 659 1006 1047 1146 1254 1291 1303 1403 1416 1575 1634 1742 1743 1765 1773 1854 1855 1857 1871 1934 1976 2291 2298 2299 2373 2501 2543 2876 3022 3293 3307 3327 3364 3416 3571 3716 3745 3765 3870 3881 3965 4026 4094 4271 4291 4292 4294 4318 4343 4367 4379 4434 4609 4634 4775 4820 4838 4839 4918 4946 5113 5114 5170 5295 5303 5309 5347 5517 5594 5645 5732 5946 5947 6031 6048 6216 6245 6307 6522 6557 6616) (3870 3870 18 19 63 190 399 527 557 602 616 647 659 682 733 815 1047 1050 1058 1145 1146 1254 1291 1303 1449 1634 1714 1719 1736 1743 1755 1765 1773 1854 1857 1871 1872 1934 1976 2093 2298 2299 2373 2500 2569 2774 2785 2814 2876 3022 3081 3240 3293 3307 3328 3364 3473 3521 3536 3716 3756 3765 3881 3927 3965 4094 4271 4277 4291 4292 4299 4318 4343 4367 4434 4603 4634 4694 4820 4838 4839 4911 4946 5113 5114 5132 5170 5202 5295 5309 5347 5588 5620 5645 5946 5947 5979 5999 6031 6048 6216 6245 6262 6372 6392 6522 6557 6593 6616) (5132 5132 19 46 557 647 733 1047 1055 1058 1561 1634 1714 1742 1743 1855 1866 1871 1934 1976 2298 2299 2500 2501 2774 2814 2876 2924 3022 3307 3364 3521 3571 3650 3716 3765 3870 3881 3964 4026 4046 4094 4144 4291 4294 4434 4603 4634 4694 4775 4820 4839 5309 5347 5517 5620 5645 5732 5946 5947 5999 6048 6245 6616)) NIL)
	((3 . 38))
	((3 . 39) 2.5 1.0 2 2 2 ((3543 3543 2718)) NIL)
	((3 . 40))
	((3 . 41) 2.5 1.0 5 5 5 ((1793 1793 2456 5568) (1944 1944 1786)) NIL)
	((3 . 42) 4.0 1.0 3 3 3 ((1912 1912 519 743)) NIL)
	((3 . 43) 4.0 1.0 7 7 7 ((6561 6561 1084 3537 3538) (3538 3538 3537 4312 6561) (3537 3537 3538 4313 6561) (1084 1084 5792 6561)) NIL)
	((3 . 44) 5.0 1.0 3 3 3 ((2846 2846 726 2505)) NIL)
	((3 . 45) 3.5 1.0 16 16 16 ((4857 4857 754 1604 2436 2959 3585 3963 4656 4948 6243 6530) (6243 6243 754 1604 2436 3754 3963 4655 4656 4857 5573) (1604 1604 2436 3768 3963 4656 4857 5573 6243) (3585 3585 1725 2959 4656 4857 4948 6530)) NIL)
	((3 . 46) 2.5 0.916666666666667 12 11 11 ((6087 6087 989 990 4688 4689 5274 5635 5636 6088) (5487 5487 989 990 1878)) (2348))
	((3 . 47) 3.0 0.969230769230769 65 63 63 ((96 96 79 941 1048 1123 1150 1588 1753 1867 1882 2120 2340 2529 2661 2685 2961 3109 3115 3168 3362 3427 3641 4113 4260 4311 4724 4797 4836 5258 6463) (136 136 71 72 78 79 1448 2340 2856 3362 3732 3800 4797 5059 5328 5528 5551 5850 5868 5966 6409 6548 6549) (3732 3732 71 72 136 1150 1752 1893 2177 2340 2529 2856 3362 3641 3800 3915 4724 4797 4836 5059 5090 5258 5528 5563 5850 6549) (3362 3362 71 72 96 136 1048 1123 1448 1867 1893 2120 2340 2529 2661 2685 2856 3115 3641 3732 3800 4161 4724 4797 5059 5090 5391 5528 5563 5850 5868) (6548 6548 79 80 1150 1448 3915 4555 4797 5528 5563 5868 6409) (361 361 1639) (2340 2340 72 79 96 136 1448 1588 1752 1867 1893 2120 2339 2529 2661 2856 3362 3641 3732 3800 4797 5258 5528 5551 5868 6409 6548 6549) (2529 2529 79 96 941 1048 1123 1150 1588 1753 1867 1882 2120 2340 2685 2961 3115 3168 3362 3641 3732 3800 4113 4260 4310 4311 4797 4836) (1867 1867 79 96 941 1048 1123 1150 1588 1753 1882 2120 2340 2529 2661 2685 2776 2961 3115 3362 3427 3641 4113 4260 4311 4836 6463)) (1122 5390))
	((3 . 48) 5.0 1.0 6 6 6 ((4265 4265 1910 2605 3276 3568 4704)) NIL)
	((3 . 49) 7.0 1.0 6 6 6 ((5039 5039 35 40 995 1060 1612)) NIL)
	((3 . 50) 3.0 1.0 4 4 4 ((6246 6246 5837) (3583 3583 2008)) NIL)
	((3 . 51) 3.5 0.928571428571429 14 13 13 ((5307 5307 203 1734 2082 2290 4275 5300) (6192 6192 1296 3201) (4194 4194 1129) (4275 4275 1734 2167 5307)) (665))
	((3 . 52) 5.0 1.0 28 28 28 ((1665 1665 62 336 621 717 788 982 1512 2210 2707 4182 5514 5795 6453) (1808 1808 62 222 825 886 1276 1367 2210 2707 5514 5516 5867 6592) (5795 5795 581 825 1665 3258 3365 5516 6453) (62 62 222 250 717 825 1276 1367 1665 1808 2210 2707 5514 5516 6324)) NIL)
	((3 . 53) 6.0 1.0 5 5 5 ((1731 1731 809 1194 2414 6524)) NIL)
	((3 . 54))
	((3 . 55) 4.0 0.932203389830508 59 55 55 ((2619 2619 247 345 463 592 703 1021 1191 1223 1305 1522 1656 2296 2378 2491 2733 2821 2910 3286 4057 4191 4281 4469 5120 5243 5500 5906) (5500 5500 463 471 472 703 714 934 1223 1289 1522 2296 2378 2483 2619 2821 4057 4191 4469 4935 5120 5501 6323) (3286 3286 1034 1289 1656 2491 2619 2733 2775 2821 2910 4281 4469 5243 5447 5883 5906 6064 6299) (2821 2821 592 713 1033 1191 1223 1289 1522 2218 2619 2822 3286 4057 4191 4469 4935 5120 5500 6249) (1778 1778 247 464 592 713 2483 4057 4391 5120 6249) (2733 2733 463 1021 1289 1656 2491 2619 3286 4193 4281 5243 5906 6064 6323) (4281 4281 463 1305 2484 2491 2619 2733 2822 3286 5120 5447 6064 6299) (1034 1034 713 1033 1223 2296 2378 2822 3286 4058 4469) (472 472 1033 1289 2218 2483 3260 4469 4935 5500) (5501 5501 471 3210 5500)) (1779 2954 3925 4043))
	((3 . 56) 3.5 1.0 31 31 31 ((2834 2834 318 551 1702 3097 4605 5179 5724 6225 6233 6248) (3019 3019 583 584 2137 3080 3832 4591) (541 541 3832 4605 5179 5727 6240 6519) (6225 6225 584 1577 2834 3620 4605 5701) (5701 5701 811 3080 5416 6225) (442 442 3584) (1577 1577 3620 5543 6225 6233 6240) (584 584 2608 3019 6225)) NIL)
	((3 . 57) 2.5 1.0 4 4 4 ((3967 3967 846 6147) (846 846 2958 3967)) NIL)
	((3 . 58) 3.5 0.923076923076923 13 12 12 ((3733 3733 41 1116 2015 4350 4446 6256) (2308 2308 505) (2269 2269 1947) (41 41 258 1116 3733 4350 6256)) (3609))
	((3 . 59) 3.5 1.0 7 7 7 ((4505 4505 1077 1820 2749 2818 4880 6554)) NIL)
	((3 . 60) 3.5 1.0 8 8 8 ((4386 4386 862 4201 5318) (2048 2048 400 1039) (5318 5318 2498 4386)) NIL)
	((3 . 61) 3.5 1.0 18 18 18 ((2209 2209 31 497 1619 2755 4398 4494 5277 5892) (4398 4398 864 1703 2209 2960 3517 5892) (4502 4502 863 2960) (3628 3628 1101) (2755 2755 31 864 920 2209 5277 5892)) NIL)
	((3 . 62) 3.5 0.916666666666667 12 11 11 ((5167 5167 204 2514 2842 2844 3917 3946 4978 5104) (2842 2842 204 2844 3917 5104 5167 5817) (4978 4978 204 2514 3805 5104 5167)) (3795))
	((3 . 64))
	((3 . 65) 2.5 1.0 4 4 4 ((3916 3916 1564 2951 5762)) NIL)
	((3 . 66) 3.5 1.0 53 52 53 ((4492 4492 115 869 943 1179 1598 1708 1761 2037 2249 2364 2390 2435 2533 2858 3018 3391 3865 4384 4401 4413 4567 5169 5266 5509 5639 6005 6352 6430) (1761 1761 439 800 943 1179 1598 1708 1727 1737 2364 2390 2435 2533 2545 3391 4384 4492 4567 4860 5266 5509 6027 6352 6430 6629) (943 943 1179 1708 1737 1761 2037 2249 2435 2533 2649 2858 3018 3051 3391 4296 4401 4412 4413 4492 4567 5266 5509 5639 6132 6164 6430) (2533 2533 943 1708 1761 2037 2249 2435 3865 3944 4204 4384 4401 4492 4567 4860 5033 5169 5266 5509 5639 6027 6132 6352 6430) (5266 5266 800 943 1179 1384 1598 1708 1737 1761 2249 2364 2390 2435 2533 2649 2858 3018 3051 3391 3577 3865 4384 4401 4492 5169 5509 5639 6005 6430) (2249 2249 943 1708 2364 2435 2533 2649 3858 3865 4401 4413 4492 4567 5266 5650 6027 6132 6629) (2364 2364 869 1708 1737 1761 2249 2435 2858 3391 3524 4492 4860 5266 6005 6132) (3391 3391 943 1596 1708 2364 4204 4384 4492 5266 6005 6027 6132 6352 6629) (4204 4204 2533 3391 3865 4567 4936 6005 6027 6132 6352)) NIL)
	((3 . 67) 3.5 1.0 43 43 43 ((624 624 326 411 667 1144 1207 1462 1496 1790 2454 2847 3339 3595 3864 3911 4165 4483 4508 5324 5503 6111 6428) (6462 6462 228 326 456 1144 1462 1790 2612 3339 3813 4508 4662 5503 5742 6291 6428 6502) (729 729 139 478 538 1496 1802 3595 3879 4483 5350 6111) (5324 5324 326 411 524 538 624 667 1496 1790 2454 3339 3644 3864 4165 4483 6111) (3041 3041 139 5056) (3339 3339 326 624 667 1144 1207 1462 1496 1790 2454 2847 3595 3864 3911 4165 4508 4882 5324 5503 6111 6291 6462)) NIL)
	((3 . 68) 3.5 0.947368421052632 19 18 18 ((6228 6228 1043 1325 1690 1776 2122 2402 5476) (3651 3651 1043 1787 4544 4719 5768) (1043 1043 2402 3093 3466 3651 4719 5476 6228) (2122 2122 1325 1690 1776 2402 5322 5476 6228) (1690 1690 1325 1776 2122 2402 5159 5476 6228) (1776 1776 1690 2122 3068 5476 6228)) (1590))
	((3 . 69) 3.5 0.983333333333333 60 59 59 ((2595 2595 76 211 303 453 530 575 691 849 960 1082 1165 1513 2535 2616 2632 2697 2855 2946 2975 3218 3433 3558 3657 3679 3769 3814 3984 4033 4065 4769 5028 5168 5301 5315 5352 5380 5400 5450 5498 5522 5894 5912 6279 6404) (1165 1165 76 98 211 303 465 530 652 1173 1513 1846 2535 2595 2616 2632 2697 2934 3657 3943 3984 4065 4769 5028 5168 5315 5352 5400 5522 5894 5912 6279 6404) (5913 5913 3814 3943 6129 6599) (1513 1513 211 530 575 849 1165 1173 1740 2535 2595 2697 2855 2946 3769 3984 5028 5522 6006) (960 960 211 303 453 1082 2595 2855 2946 2975 3062 3769 4033 4065 5400 5450 6404) (1082 1082 98 211 303 453 925 960 2595 2616 2855 2946 3769 4065 5301 6404)) (4422))
	((3 . 70) 3.0 1.0 3 3 3 ((6484 6484 3312 5241)) NIL)
	((3 . 71) 3.0 0.909090909090909 11 10 10 ((818 818 168 710 2724 3358 5504 5601 6563) (3358 3358 168 818 2724 5504 5601 6608) (5601 5601 710 818 3358 6211 6563)) (3067))
	((3 . 72) 3.0 0.904761904761905 21 19 19 ((6553 6553 1819 2748 2817 4879) (4470 4470 3480 6194 6304) (5656 5656 483 6155) (4504 4504 1076 1819 2817 6553) (6261 6261 3629) (5945 5945 830) (5955 5955 3480)) (2740 4945))
	((3 . 73) 5.0 1.0 2 2 2 ((1930 1930 998)) NIL)
	((3 . 74) 2.5 1.0 4 4 4 ((5133 5133 1030 4679) (1030 1030 3123 5133)) NIL)
	((3 . 76) 3.0 1.0 8 8 8 ((4563 4563 1108 1171 1280 1621 4886) (4886 4886 210 1621 2182 4563)) NIL)
	((3 . 77) 5.0 1.0 7 7 7 ((5560 5560 640 2261 2602 3758 5106 6255)) NIL)
	((3 . 78) 3.5 1.0 11 11 11 ((945 945 308 3039 3040 3968 3969 4781) (307 307 2852 2853) (3968 3968 944 3039 3969)) NIL)
	((3 . 79) 4.0 1.0 9 9 9 ((4495 4495 1046 1370 2684 3340 5138 5404 5895 6189)) NIL)
	((3 . 80) 4.0 1.0 7 7 7 ((6266 6266 2742 3821 3996 4365) (2447 2447 539)) NIL)
	((3 . 81) 4.0 1.0 7 7 7 ((6498 6498 91 1260 1766 3397 4649) (91 91 1766 3397 4649 5175 6498)) NIL)
	((3 . 82) 3.5 1.0 8 7 8 ((1267 1267 106 1320 3197 3474 4460 6149) (3197 3197 4476)) NIL)
	((3 . 83) 4.0 1.0 2 2 2 ((3542 3542 101)) NIL)
	((3 . 84) 2.5 1.0 6 6 6 ((6587 6587 4903) (6586 6586 4902) (6585 6585 4901)) NIL)
	((3 . 85))
	((3 . 86) 2.5 1.0 2 2 2 ((6186 6186 1641)) NIL)
	((3 . 87) 5.0 1.0 7 7 7 ((2510 2510 1348 2896 6080 6170) (5101 5101 70 1348 6170)) NIL)
	((3 . 88))
	((3 . 89) 3.0 1.0 2 2 2 ((4994 4994 3486)) NIL)
	((3 . 90) 4.0 1.0 3 3 3 ((556 556 5031 6247)) NIL)
	((3 . 91) 4.0 1.0 4 4 4 ((3377 3377 3299 3369 4771)) NIL)
	((3 . 92) 4.0 1.0 12 12 12 ((5103 5103 901 3787 3788 5078 5924) (901 901 2271 3936 3937 5103) (4115 4115 1133 5078 5924) (3787 3787 901 3788 3936 5103 5325)) NIL)
	((3 . 93) 3.5 1.0 13 13 13 ((928 928 493 784 1791 2830 3084 3091 5396 6095 6645) (3084 3084 493 784 928 1286 1791 3091 5396 6645) (2830 2830 903 928) (1957 1957 5396)) NIL)
	((3 . 94) 4.0 0.944444444444444 36 34 34 ((1967 1967 146 157 552 4254 4939 4957 4982 5730 5788 6328) (4254 4254 552 1204 1967 2057 2700 3723 4506 4982 6581) (5192 5192 2412 2503 2841 4320 5070) (6089 6089 1204 1264 2841 4254 6581 6600) (6029 6029 905 6082) (4009 4009 157 3723 4939 4957 4982 6092) (4982 4982 1967 2412 2646 4009 4254 4320) (157 157 201 1264 1967 4957 5788) (1204 1204 82 1264 6089 6581)) (2648 5599))
	((3 . 95) 2.5 0.928571428571429 14 13 13 ((3818 3818 395 1187 1188 4811 4812 5958) (3817 3817 120 1187 2247 2349) (2248 2248 2350 5958)) (394))
	((3 . 96))
	((3 . 97) 3.5 1.0 6 6 6 ((150 150 149 1772 3058 4664 4913)) NIL)
	((3 . 98) 3.0 1.0 4 4 4 ((3376 3376 1818 3368) (1818 1818 1075 3376)) NIL)
	((3 . 99))
	((3 . 100) 2.5 1.0 2 2 2 ((2478 2478 2476)) NIL)
	((3 . 101) 2.5 1.0 2 2 2 ((5984 5984 1423)) NIL)
	((3 . 102))
	((3 . 103))
	((3 . 104))
	((3 . 105))
	((3 . 106) 3.5 1.0 2 2 2 ((3545 3545 2778)) NIL)
	((3 . 107) 5.0 1.0 2 2 2 ((3134 3134 2576)) NIL)
	((3 . 108) 3.5 1.0 19 19 19 ((4226 4226 2772 3127 3551 4372 4461 5415 5494 5690 6278 6378) (4326 4326 2772 3127 3551 4164 5664 5857 6294) (6294 6294 3127 3727 4326 4461 5257 5690) (3127 3127 3551 4226 4326 4372 5415 5494 5661 6278 6294 6378)) NIL)
	((3 . 109) 3.0 1.0 4 4 4 ((4770 4770 2502 2722 3298)) NIL)
	((3 . 110))
	((3 . 111) 2.5 1.0 3 2 3 ((4244 4244 3078 4245)) NIL)
	((3 . 112))
	((3 . 113))
	((3 . 114) 2.5 1.0 2 2 2 ((3518 3518 3085)) NIL)
	((3 . 115))
	((3 . 116) 3.0 0.916666666666667 12 11 11 ((2556 2556 2013 4073 4374 4510 6158 6227) (6251 6251 4073 4374 4510 6227 6237) (5949 5949 4824)) (3162))
	((3 . 117) 3.0 1.0 3 3 3 ((4568 4568 3799 4027)) NIL)
	((3 . 118))
	((3 . 119) 2.5 1.0 2 2 2 ((5162 5162 3923)) NIL)
	((3 . 120) 3.5 1.0 6 6 6 ((6348 6348 382 4487 5721 5904) (5904 5904 382 5721 6198 6348)) NIL)
	((3 . 121) 2.5 1.0 2 2 2 ((6096 6096 4473)) NIL)
	((3 . 122) 3.5 1.0 2 2 2 ((5621 5621 4431)) NIL)
	((3 . 123))
	((3 . 124) 3.0 1.0 9 9 9 ((5069 5069 4551 4743) (5068 5068 3191 4742) (4961 4961 4208) (4551 4551 3643 5069)) NIL)
	((3 . 125))
	((3 . 126))
	((3 . 127))
	((3 . 128))
	((3 . 129) 3.5 1.0 2 2 2 ((5879 5879 5607)) NIL)
	((3 . 130))
	((3 . 131) 2.5 1.0 2 2 2 ((5674 5674 5235)) NIL)
	((3 . 132))
	((3 . 133))
	((3 . 134) 3.0 1.0 2 2 2 ((5950 5950 5225)) NIL)
	((3 . 135))
	((4 . 1) 3.5 1.0 5 5 5 ((5703 5703 191 2355 3675) (191 191 27 2355 5703)) NIL)
	((4 . 2) 4.0 1.0 11 11 11 ((5442 5442 2 155 329 5462) (5323 5323 591) (5080 5080 3137) (329 329 5442 6580) (155 155 967 5442)) NIL)
	((4 . 3) 5.0 0.952380952380952 21 20 20 ((861 861 635 672 688 816 1007 1272 3306 3912 3914 4300 5392) (672 672 688 816 861 3306 3914 5392 5910 6414 6571) (1007 1007 861 1993 6286) (6041 6041 4188) (635 635 861 3914 5970)) (2607))
	((4 . 4) 8.0 1.0 4 4 4 ((4791 4791 60 1609 1775)) NIL)
	((4 . 5) 2.5 1.0 4 4 4 ((4725 4725 973 1919) (973 973 122 4725)) NIL)
	((4 . 6))
	((4 . 8))
	((4 . 9))
	((4 . 12) 4.0 1.0 3 3 3 ((4159 4159 2909 2915)) NIL)
	((4 . 13) 3.0 1.0 6 6 6 ((1961 1961 1511 1960 3390 3580 5849)) NIL)
	((4 . 14) 5.0 0.96551724137931 29 28 28 ((5638 5638 54 296 779 1014 1017 1167 1506 1520 2118 3334 4092 4448 4885 5575 5637 5747 6101) (2118 2118 296 779 1167 1506 3171 3334 3453 3920 4884 5017 5127 5638 5985 6259) (3334 3334 54 779 1017 1506 2118 2125 3171 3453 3920 5017 5638 5747 5985 6259) (1167 1167 296 779 1014 1017 1520 2118 3171 5017 5637 5638 5695 5747 5985 6259)) (4036))
	((4 . 15) 3.5 1.0 54 54 54 ((4648 4648 239 330 508 715 746 896 1067 1481 1556 1582 1815 1881 2078 2421 2554 2764 2786 3219 3282 3544 3565 3616 3886 3919 4135 4215 4619 4620 4754 5304 5373 5872 5914 5987 6159 6195 6509) (162 162 1218 1257 1263 2385 3837 6597 6602) (5914 5914 715 1481 1556 1582 1815 2078 2554 2764 2786 3015 3219 3408 3544 4135 4620 4648 5081 5373 5872 5987 6195) (3626 3626 239 4754 5373 6526) (3533 3533 1218 5427) (1481 1481 239 330 508 715 746 1067 1354 1556 1582 1815 1881 2078 2421 2554 2764 2786 3219 3282 3408 3544 3886 3919 4135 4215 4619 4648 4754 5373 5914 5987 6195 6509)) NIL)
	((4 . 16) 3.5 1.0 17 17 17 ((6215 6215 503 757 1202 4238 5025 5804) (5761 5761 282 1440 3729 5804) (1897 1897 3061 3271 4128) (3114 3114 3061 5058)) NIL)
	((4 . 17) 3.5 0.911764705882353 34 31 31 ((3418 3418 1121 1195 1196 2630 3419 3888 4174 4175 4328 4575 4576 5230) (2003 2003 2944 2945 4596 4621 5199 5200) (4419 4419 574 1248 4596 4652 5769 5821) (1121 1121 1195 1196 2563 3418 3888 4575 5230 6014) (1195 1195 1121 1196 3418 3888 4174 4175 4328 4575 4576 5851) (4621 4621 2003 2944 2945 3994) (5199 5199 2003 6319)) (2228 2464 4543))
	((4 . 18) 3.0 1.0 2 1 2 ((4974 4974 3523)) NIL)
	((4 . 19) 3.5 0.928571428571429 14 13 13 ((3703 3703 566 810 2021 2187 3184 3261 6125 6366 6569) (6123 6123 2337) (3261 3261 566 810 2854 3184 3703 6125 6569)) (2185))
	((4 . 20) 3.5 1.0 9 9 9 ((6434 6434 532 2787 2788 5160 5749 5944 6385) (5749 5749 6153 6385 6434)) NIL)
	((4 . 21) 5.0 1.0 5 5 5 ((5794 5794 1920 1921 5778 5793)) NIL)
	((4 . 22) 5.0 1.0 3 3 3 ((4815 4815 1823 1863)) NIL)
	((4 . 23))
	((4 . 24) 6.0 1.0 3 3 3 ((986 986 4755 6511)) NIL)
	((4 . 25))
	((4 . 26) 3.5 0.947368421052632 19 18 18 ((417 417 1243 1474 2998 3075 3423 3847 5022 5222 6565) (3289 3289 1114 1890 2223 2604 2992) (3847 3847 417 2998 3075 3848 4690 5022 5222)) (2642))
	((4 . 29))
	((4 . 31) 3.0 1.0 3 3 3 ((5287 5287 661 1013)) NIL)
	((4 . 32) 3.5 0.941176470588235 17 16 16 ((1366 1366 1105 1365 1451 2819 2890 3347 3456 4006 4007 4284 5349 5597) (4284 4284 611 1105 1365 1366 2890 3175 3456 4006 5349 5597) (1451 1451 611 612 1105 1365 1366 2819 3347 3456 5349 5597)) (3457))
	((4 . 33))
	((4 . 34))
	((4 . 35))
	((4 . 36))
	((4 . 37) 3.0 1.0 2 2 2 ((5129 5129 4489)) NIL)
	((4 . 38) 4.0 0.9375 16 15 15 ((2561 2561 544 2650 2704 4279 5060 5061 5100 5209 5224 5772 6230) (2650 2650 544 2561 2704 3955 4279 4321 5100 5209 5224 6230) (5209 5209 544 2561 2650 2704 3682 3955 4279 5100 6230)) (545))
	((4 . 39))
	((4 . 41) 3.5 0.916666666666667 12 11 11 ((6309 6309 454 1586 2906 3038 4137 6071 6547) (5411 5411 4485 5267)) (1557))
	((4 . 42) 2.5 1.0 7 7 7 ((6575 6575 470 4319 5529 5875) (3663 3663 2297)) NIL)
	((4 . 43) 3.0 1.0 3 3 3 ((1138 1138 1137 5902)) NIL)
	((4 . 44) 2.5 1.0 3 3 3 ((2466 2466 643 2644)) NIL)
	((4 . 45) 3.0 1.0 2 2 2 ((3901 3901 680)) NIL)
	((4 . 48))
	((4 . 50) 5.0 0.666666666666667 3 2 2 ((4983 4983 915)) (3359))
	((4 . 51) 2.5 1.0 6 6 6 ((2731 2731 937 2732 3129 3305) (937 937 2731 2732 3305 6265)) NIL)
	((4 . 52) 6.0 1.0 8 8 8 ((3120 3120 1147 1517 1903 3005 3119 6202 6590)) NIL)
	((4 . 53))
	((4 . 54) 4.0 1.0 8 8 8 ((4037 4037 1096 3009 3011 3336 4726 5708 6490)) NIL)
	((4 . 55) 2.5 1.0 2 2 2 ((2914 2914 2386)) NIL)
	((4 . 56) 4.0 1.0 2 2 2 ((5197 5197 3389)) NIL)
	((4 . 58) 5.0 1.0 148 148 148 ((561 561 173 252 585 653 689 690 850 1089 1359 1388 1412 1450 1477 1489 1507 1514 1515 1574 1578 1626 1636 1640 1645 1653 1654 1655 1810 1829 1840 1877 1898 2001 2031 2058 2104 2119 2143 2159 2161 2199 2239 2361 2541 2575 2599 2614 2633 2791 2931 2997 3172 3335 3387 3399 3403 3454 3465 3525 3526 3621 3684 3763 3764 3921 3973 4060 4064 4091 4255 4309 4334 4392 4415 4426 4450 4451 4462 4491 4552 4673 4737 4810 4826 4867 4962 5015 5018 5098 5177 5208 5219 5239 5290 5291 5381 5382 5459 5544 5587 5591 5611 5642 5652 5767 5790 5896 5897 5986 6007 6127 6226 6343 6386 6396 6510 6551 6625 6635) (5896 5896 173 561 585 653 689 690 850 1089 1353 1359 1412 1477 1489 1507 1514 1515 1574 1578 1626 1636 1640 1645 1653 1654 1655 1810 1829 1840 1898 2001 2031 2058 2104 2119 2130 2143 2157 2159 2161 2239 2304 2360 2361 2541 2575 2599 2931 2997 3172 3335 3387 3403 3454 3525 3526 3621 3684 3763 3784 3921 3973 4060 4064 4091 4183 4255 4309 4334 4392 4415 4426 4450 4451 4462 4491 4552 4673 4737 4810 4826 4831 4867 4962 5015 5018 5098 5208 5219 5239 5291 5379 5381 5382 5459 5587 5591 5611 5642 5652 5767 5775 5790 5897 5986 6007 6127 6226 6343 6386 6396 6410 6510 6551 6625 6635) (4491 4491 173 252 286 561 689 850 1089 1359 1412 1450 1452 1477 1489 1507 1514 1578 1645 1653 1654 1655 1810 1829 1840 1877 1898 2001 2031 2058 2119 2541 2599 2614 2633 2708 2791 2931 3020 3172 3335 3399 3403 3454 3465 3525 3684 3695 3764 3973 4060 4093 4183 4255 4309 4334 4415 4426 4450 4451 4673 4737 4826 4867 4962 5015 5018 5098 5177 5208 5219 5239 5290 5291 5379 5382 5544 5591 5642 5652 5767 5790 5896 5986 6044 6127 6226 6386 6396 6410 6510) (6635 6635 173 561 653 689 1089 1359 1477 1482 1489 1514 1574 1626 1640 1653 1654 1655 1877 1898 2001 2031 2058 2104 2119 2130 2143 2199 2360 2540 2541 2575 2599 2791 2981 2997 3172 3278 3335 3387 3454 3465 3525 3526 3973 4064 4255 4309 4334 4392 4552 4673 4737 4867 5015 5018 5177 5381 5382 5459 5775 5790 5896 5897 5986 6127 6343 6396 6551) (4415 4415 173 238 252 561 585 653 689 690 850 1089 1353 1359 1388 1412 1450 1477 1489 1507 1514 1515 1574 1578 1626 1636 1640 1653 1654 1655 1810 1840 1877 2001 2058 2104 2119 2130 2143 2161 2239 2360 2361 2541 2599 2614 2791 2931 2997 3020 3172 3335 3387 3403 3454 3525 3526 3621 3684 3763 3764 3784 3973 4060 4064 4091 4183 4255 4309 4334 4392 4426 4451 4462 4491 4552 4673 4737 4810 4826 4827 4831 4867 4962 5015 5018 5098 5208 5219 5239 5290 5291 5379 5381 5382 5459 5544 5587 5591 5642 5652 5767 5775 5790 5896 5897 5986 6007 6127 6226 6386 6396 6510 6551 6625) (4426 4426 173 252 253 561 585 653 1089 1359 1388 1412 1450 1477 1489 1514 1574 1578 1626 1627 1636 1640 1645 1653 1654 1810 1829 1877 1898 2001 2058 2104 2119 2161 2239 2360 2361 2599 2614 2633 2708 2931 3172 3335 3387 3403 3454 3465 3621 3684 3763 3764 3973 4060 4064 4091 4183 4255 4309 4334 4392 4415 4450 4451 4462 4491 4552 4673 4737 4826 5015 5018 5098 5208 5219 5239 5290 5291 5381 5382 5459 5544 5611 5642 5652 5767 5790 5896 5897 5986 6127 6226 6386 6396 6410 6510 6625) (4255 4255 173 252 286 561 585 653 689 850 1089 1353 1359 1388 1401 1412 1450 1477 1489 1507 1514 1574 1578 1626 1636 1645 1653 1654 1655 1810 1829 1840 1877 1898 2001 2058 2104 2119 2143 2199 2239 2361 2541 2575 2599 2633 2708 2997 3172 3335 3387 3403 3454 3465 3525 3526 3621 3684 3763 3764 3921 3973 4060 4064 4091 4183 4309 4334 4392 4415 4426 4451 4462 4491 4552 4673 4737 4810 4826 4831 4962 5015 5018 5098 5208 5219 5239 5290 5291 5379 5381 5382 5459 5544 5587 5591 5642 5652 5767 5790 5896 5897 5986 6007 6127 6226 6386 6396 6410 6510 6551 6625 6635) (1514 1514 173 561 585 653 689 690 780 850 1089 1353 1359 1388 1477 1489 1507 1515 1574 1626 1636 1640 1645 1653 1654 1655 1810 1829 1840 1877 1898 2001 2104 2119 2143 2159 2161 2199 2239 2360 2361 2541 2575 2599 2633 2791 2931 2997 3172 3335 3403 3454 3525 3526 3621 3684 3695 3921 3973 4060 4064 4091 4255 4309 4334 4392 4415 4426 4450 4462 4491 4552 4673 4737 4810 4826 4831 4867 4962 5015 5018 5098 5208 5290 5291 5379 5381 5382 5459 5587 5591 5611 5642 5652 5767 5775 5790 5896 5897 5986 6007 6127 6343 6386 6396 6410 6510 6551 6625 6635) (1388 1388 252 561 585 689 690 1198 1359 1412 1477 1489 1507 1514 1515 1574 1578 1640 1645 1653 1654 1829 1840 2001 2104 2360 2361 2541 2599 3335 3454 3525 3526 3684 3764 3921 3973 4064 4091 4255 4309 4334 4392 4415 4426 4552 4737 4810 4826 5098 5208 5219 5239 5291 5381 5382 5459 5642 5652 5775 5790 5986 6007 6127 6226 6386 6396 6551)) NIL)
	((4 . 59))
	((4 . 60) 5.0 1.0 3 3 3 ((3092 3092 443 760)) NIL)
	((4 . 61) 6.0 1.0 3 2 3 ((4126 4126 2613 2866)) NIL)
	((4 . 62))
	((4 . 63))
	((4 . 65) 3.0 1.0 2 2 2 ((6235 6235 3591)) NIL)
	((4 . 66) 2.5 1.0 4 4 4 ((2865 2865 2060) (1519 1519 878)) NIL)
	((4 . 67) 4.0 1.0 6 6 6 ((6191 6191 5305 6122) (2557 2557 1428 2588)) NIL)
	((4 . 68) 3.5 0.923076923076923 13 12 12 ((795 795 1183 1744 2831 4274 5389) (4274 4274 795 2168 2831 4276) (5977 5977 4256) (2999 2999 5618)) (5915))
	((4 . 70))
	((4 . 73) 2.5 1.0 2 2 2 ((1842 1842 482)) NIL)
	((4 . 74) 8.0 1.0 8 8 8 ((796 796 289 500 2400 3511 6353) (2393 2393 353)) NIL)
	((4 . 75) 2.5 1.0 4 4 4 ((5515 5515 61) (1288 1288 1020)) NIL)
	((4 . 77) 2.5 1.0 2 2 2 ((2903 2903 2560)) NIL)
	((4 . 79) 4.0 0.96 25 24 24 ((5145 5145 636 935 1064 1622 2012 2123 2555 2827 4992 6008) (4992 4992 935 2123 2827 5145 5454 5934 6008 6300 6302) (1622 1622 2827 4633 5145 5247 5454 5933 6008) (6061 6061 4667 5526) (1992 1992 628 2620)) (4583))
	((4 . 80) 4.0 1.0 5 5 5 ((2203 2203 910 1799 4063 4780)) NIL)
	((4 . 81) 5.0 1.0 18 18 18 ((4944 4944 313 848 907 1488 2096 2737 3594 4405 4731 4864 5363 6293) (4405 4405 313 848 907 1488 1923 3594 4589 4731 4864 4944 6293 6427) (4589 4589 313 848 1488 1923 2737 3594 4405 4418 4731 4864) (4731 4731 313 848 1095 2737 3594 4405 4589 4944)) NIL)
	((4 . 82) 4.0 1.0 4 4 4 ((4574 4574 1193 1281) (1193 1193 1281 5810)) NIL)
	((4 . 83) 8.0 1.0 3 3 3 ((6102 6102 1283 1284)) NIL)
	((4 . 84))
	((4 . 85) 3.0 1.0 3 3 3 ((5282 5282 959 1052)) NIL)
	((4 . 86) 3.5 1.0 2 2 2 ((3569 3569 180)) NIL)
	((4 . 87) 3.0 1.0 13 13 13 ((6578 6578 2114 3991 4259 4681 5183 6574) (4140 4140 1585 3037) (5183 5183 768 2114 3861 6578) (2114 2114 1480 4681 5183 6574 6578)) NIL)
	((4 . 89) 3.5 1.0 7 7 7 ((5600 5600 1344 3539) (6539 6539 3840) (4888 4888 4712)) NIL)
	((4 . 90) 3.0 1.0 4 4 4 ((6222 6222 2461) (4340 4340 1407)) NIL)
	((4 . 91))
	((4 . 92) 4.0 0.92 25 23 23 ((4338 4338 537 2440 2757 2783 2940 3235 3242 3439 3570 4550 4844 5279) (2440 2440 416 537 1091 1686 2940 3242 3321 3439 3570 4338 5279) (3570 3570 1326 1915 2275 2440 2783 3235 3669 4338 4844 5279) (2783 2783 537 1915 2275 2362 2940 3235 3242 3439 3570 4338 4550 5279) (2940 2940 416 537 885 1686 2440 2783 3242 3439 4338 4550 5279)) (1238 2759))
	((4 . 93) 3.0 0.909090909090909 11 10 10 ((2381 2381 748 3064 3230 3850 3851 3935 5265 6120 6513)) (5688))
	((4 . 94) 5.0 1.0 4 4 4 ((5105 5105 2744 4746 4975)) NIL)
	((4 . 95) 3.5 0.909090909090909 11 10 10 ((913 913 268 914 1785 3070 3845 4930) (3070 3070 269 913 914 4480 4931)) (3069))
	((4 . 96) 3.5 1.0 8 8 8 ((4190 4190 77 327 841 2593 5554 5555) (77 77 298 841 2593 4190 5554 5555)) NIL)
	((4 . 98))
	((4 . 99))
	((4 . 101) 5.0 1.0 3 3 3 ((1018 1018 1015 5576)) NIL)
	((4 . 102))
	((4 . 103))
	((4 . 104) 4.0 0.941176470588235 17 16 16 ((2166 2166 1 202 316 1003 1229 1733 2081 2741 2925 2930 3510 4322 5306 5802) (2081 2081 202 316 1003 1229 2166 2741 2925 2930 4322 5306 5646)) (397))
	((4 . 105) 4.0 1.0 3 3 3 ((5553 5553 1026 3479)) NIL)
	((4 . 106) 2.5 1.0 3 3 3 ((5154 5154 521 2526)) NIL)
	((4 . 107))
	((4 . 108) 4.0 0.92 25 23 23 ((5557 5557 433 610 1831 2356 2669 3485 3713 3828 3954 4148 4211 4377 4852 5189 5446 5841 6003 6244) (433 433 435 610 1831 3954 4210 4211 5189 5445 5557 6244) (4210 4210 433 3712)) (1657 2668))
	((4 . 109) 3.0 0.928571428571429 14 13 13 ((5865 5865 719 3263 3807 4933 4934) (3831 3831 582 1426) (4932 4932 752) (3807 3807 3263 4933 4934 4980 5865) (719 719 2263 3263 4933 4934 5865)) (141))
	((4 . 110) 4.0 1.0 25 25 25 ((5065 5065 100 1402 2072 3652 3903 3961 4366 6238 6584) (4177 4177 496 1279 3527 4420 4676 4856 4938) (2072 2072 1985 1986 2472 4674 5065 6584) (6584 6584 100 1279 2072 2727 3903 5065 6238) (6238 6238 100 1402 3903 3904 3961 5065 6584) (4674 4674 1985 2072 2139 4676)) NIL)
	((4 . 111) 5.0 1.0 2 2 2 ((5395 5395 580)) NIL)
	((4 . 112) 5.0 1.0 3 3 3 ((55 55 30 2333)) NIL)
	((4 . 113) 5.0 1.0 17 17 17 ((6306 6306 1389 1669 2351 2586 3428 4000 4358 5185 5191 5696 5822 6252 6271 6305) (6271 6271 1389 1669 2351 2586 3428 4000 4044 4358 5185 5191 5696 5822 6252 6306) (5822 5822 1389 1669 2351 2586 3141 3428 4000 4358 5185 5191 5696 6252 6271 6306)) NIL)
	((4 . 114))
	((4 . 115) 3.0 1.0 5 5 5 ((3200 3200 2273 2825) (5134 5134 3173)) NIL)
	((4 . 116) 3.0 1.0 2 2 2 ((6282 6282 787)) NIL)
	((4 . 117) 3.0 1.0 3 3 3 ((418 418 292 5426)) NIL)
	((4 . 118) 3.5 1.0 3 3 3 ((3589 3589 2723 4660)) NIL)
	((4 . 120) 3.0 1.0 5 5 5 ((3942 3942 704 708 3250 5871)) NIL)
	((4 . 121))
	((4 . 122) 3.5 0.923076923076923 13 12 12 ((5746 5746 295 1166 2124 4034 5126) (2462 2462 485 1859 2403 2968) (4034 4034 3504 5126 5746)) (494))
	((4 . 123))
	((4 . 124) 2.5 1.0 6 6 6 ((2658 2658 2551 3089 5969) (2551 2551 436 2571 2658)) NIL)
	((4 . 125))
	((4 . 126) 2.5 1.0 7 7 7 ((5782 5782 481 5723) (2117 2117 1738 2833) (1738 1738 1739 2117)) NIL)
	((4 . 127) 3.0 1.0 7 6 7 ((5121 5121 248 593) (6345 6345 510) (300 300 5490)) NIL)
	((4 . 128) 6.0 1.0 3 3 3 ((3780 3780 663 3627)) NIL)
	((4 . 129) 5.0 1.0 18 17 18 ((6046 6046 133 1396 1558 3819 4002 4248 4249 4542 4904 5264 6196 6284 6588) (1211 1211 1558 3050 3262 3673 4002 6284 6588)) NIL)
	((4 . 130) 7.0 1.0 3 3 3 ((4070 4070 4068 4069)) NIL)
	((4 . 131) 3.5 1.0 15 15 15 ((5718 5718 230 231 309 310 884 2675 2676 3977 3978 3979 5047 5048 5717) (2675 2675 230 231 309 883 884 2676 3977 3978 3979 5047 5048 5717 5718)) NIL)
	((4 . 133) 4.0 1.0 3 3 3 ((1587 1587 4138 6310)) NIL)
	((4 . 134) 4.0 1.0 2 2 2 ((174 174 172)) NIL)
	((4 . 135))
	((4 . 136) 4.0 1.0 5 4 5 ((1345 1345 495 1346 3088) (495 495 1345 1346 3087)) NIL)
	((4 . 137) 5.0 1.0 3 3 3 ((1685 1685 623 2260)) NIL)
	((4 . 138))
	((4 . 139) 3.5 1.0 3 3 3 ((6301 6301 629 6303)) NIL)
	((4 . 140) 2.5 1.0 2 2 2 ((5800 5800 2415)) NIL)
	((4 . 141) 2.5 1.0 4 4 4 ((2905 2905 5670 5671) (5670 5670 2904)) NIL)
	((4 . 142) 5.0 1.0 23 23 23 ((305 305 85 87 948 1032 1159 1265 1637 1933 1941 2423 2553 3252 3323 3775 5773 5968) (2423 2423 85 87 305 619 1032 1159 1933 2553 3252 3323 4858 5773 5968 6468 6529) (619 619 10 85 87 305 832 1637 2423 3252 4858)) NIL)
	((4 . 143) 6.0 1.0 3 3 3 ((4587 4587 432 3441)) NIL)
	((4 . 144) 4.0 0.971428571428571 35 34 34 ((2947 2947 7 608 675 1385 1498 1563 2018 2446 3143 3379 3778 3808 4001 4008 4408 4428 4511 4519 4717 4889 5013 5201 5248 5510 5539 5609 5917 6112 6130) (4408 4408 7 1385 2018 2756 2947 3143 3379 3778 3808 4008 4200 4428 4511 4717 5201 5510 5609 5917 6112) (3778 3778 7 675 1070 1385 1498 1563 2018 2446 2947 3143 3379 3808 4001 4008 4408 4428 4511 4519 4717 4889 5013 5248 5510 5539 5609 5917 6112 6130) (4889 4889 1385 1498 1563 2446 2947 3143 3379 3778 4001 4008 4411 4519 4717 5013 5510 5917 6112 6130)) (2439))
	((4 . 145) 3.0 1.0 8 8 8 ((2279 2279 1584 2359 3036 4139 5378 6138) (5378 5378 1352 2279 3036)) NIL)
	((4 . 146) 2.5 1.0 2 2 2 ((6139 6139 2280)) NIL)
	((4 . 147))
	((4 . 148) 4.0 1.0 2 2 2 ((4202 4202 531)) NIL)
	((4 . 149))
	((4 . 150) 3.5 1.0 3 3 3 ((5430 5430 1427 5429)) NIL)
	((4 . 151) 4.0 1.0 5 5 5 ((2179 2179 143 4388 6429) (4388 4388 2179 2437)) NIL)
	((4 . 152))
	((4 . 153) 3.0 0.964285714285714 28 27 27 ((5053 5053 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 2712 5215 5216) (6344 6344 164 677 1100 3442 4627) (5215 5215 1670 1672 1673 1676 1678 1679 1680 1681 1683 1709 2712 2863 5053) (6520 6520 1709)) (5173))
	((4 . 154))
	((4 . 156))
	((4 . 157) 3.5 0.9 10 9 9 ((6403 6403 65 1041 2933 3373 3812 5331) (5827 5827 3108)) (6290))
	((4 . 159) 5.0 1.0 9 9 9 ((6613 6613 208 1730 2253 2504 2942 4329 5998 6109)) NIL)
	((4 . 160) 3.0 1.0 4 4 4 ((2717 2717 1589) (1433 1433 1215)) NIL)
	((4 . 161) 4.0 1.0 3 3 3 ((5296 5296 2426 3111)) NIL)
	((4 . 162) 4.0 1.0 13 13 13 ((5878 5878 320 1322 1965 2329 2331 3656 4521 4586 5943 6421) (3656 3656 320 1322 1965 2329 2331 4521 5878 6421 6628 6636)) NIL)
	((4 . 163) 6.0 1.0 7 7 7 ((3176 3176 13 36 112 131 1394 1553)) NIL)
	((4 . 164))
	((4 . 165) 2.5 1.0 9 9 9 ((6079 6079 762 1821 2305 3809 4015 5549) (3658 3658 762 3689)) NIL)
	((4 . 166) 4.0 1.0 12 12 12 ((4678 4678 1694 1834 2002 2758 5439 5440) (5770 5770 24 5085) (2525 2525 1349)) NIL)
	((4 . 167) 2.5 1.0 5 5 5 ((6355 6355 3659 3666 5669) (3659 3659 1698 3666)) NIL)
	((4 . 168) 5.0 1.0 4 4 4 ((595 595 2995 5263 5371)) NIL)
	((4 . 169) 3.0 0.928571428571429 28 26 26 ((1692 1692 302 491 699 951 1073 1148 1343 2014 2141 3104 3231 3290 5083 5137 5294 5921) (491 491 951 1073 1148 1692 2014 2259 2719 3079 3104 3231 5294 5399 5921 6043) (5083 5083 1692 3380 4527 5086) (4527 4527 5083 6115)) (3630 3631))
	((4 . 170) 4.0 1.0 3 3 3 ((488 488 4059 4899)) NIL)
	((4 . 171) 3.5 1.0 3 3 3 ((2820 2820 1509 1663)) NIL)
	((4 . 172))
	((4 . 173) 4.0 1.0 2 2 2 ((4020 4020 2746)) NIL)
	((4 . 174) 2.5 1.0 2 2 2 ((5187 5187 3875)) NIL)
	((4 . 175) 7.0 1.0 2 2 2 ((6320 6320 5383)) NIL)
	((4 . 176))
	((4 . 177) 3.0 1.0 4 4 4 ((4363 4363 1951 1952 2335)) NIL)
	((4 . 178) 3.5 1.0 2 2 2 ((3730 3730 2770)) NIL)
	((4 . 179) 6.0 1.0 2 2 2 ((5586 5586 2303)) NIL)
	((4 . 180))
	((4 . 181) 2.5 1.0 2 2 2 ((2394 2394 354)) NIL)
	((4 . 182))
	((4 . 183))
	((4 . 184))
	((4 . 185) 3.0 0.923076923076923 13 12 12 ((3496 3496 1327 1328 2266 2267 2268 3494) (3495 3495 1327 1329 2265 2267) (2773 2773 2750)) (1330))
	((4 . 187))
	((4 . 188))
	((4 . 189) 5.0 1.0 4 4 4 ((4595 4595 2100 3355 3396)) NIL)
	((4 . 190))
	((4 . 192))
	((4 . 193))
	((4 . 194))
	((4 . 195))
	((4 . 196))
	((4 . 197))
	((4 . 198) 6.0 1.0 8 8 8 ((3212 3212 3090 3094 3156 3164 3213 3215 5726)) NIL)
	((4 . 199))
	((4 . 202))
	((4 . 203))
	((4 . 204))
	((4 . 205))
	((4 . 206) 2.5 1.0 2 2 2 ((4171 4171 3035)) NIL)
	((4 . 207))
	((4 . 208) 5.0 1.0 2 2 2 ((3077 3077 2739)) NIL)
	((4 . 210) 3.5 1.0 2 2 2 ((3226 3226 2706)) NIL)
	((4 . 211) 3.0 1.0 15 14 15 ((6359 6359 226 351 798 2521 2656 3126 4081 4097 4778 4823 6065) (3661 3661 3660) (351 351 226 2656 3126 4097 4778 4823 5866 6065 6359)) NIL)
	((4 . 212))
	((4 . 213))
	((4 . 214))
	((4 . 215))
	((4 . 216))
	((4 . 217) 5.0 1.0 3 3 3 ((4752 4752 2089 4012)) NIL)
	((4 . 218) 4.0 0.923076923076923 13 12 12 ((4332 4332 2980 2990 3370 3938 4788 5740 6281 6336) (3938 3938 2782 2980 2990 3370 4332 4788 5589 6281) (2990 2990 1399 2980 3370 3938 4332 4788 5589 6281)) (5141))
	((4 . 219))
	((4 . 220) 3.5 1.0 2 2 2 ((5858 5858 3988)) NIL)
	((4 . 221))
	((4 . 222))
	((4 . 223) 2.5 0.666666666666667 3 2 2 ((6055 6055 6054)) (3902))
	((4 . 224) 4.0 1.0 3 3 3 ((4083 4083 4268 5204)) NIL)
	((4 . 225) 3.5 1.0 2 2 2 ((4832 4832 4828)) NIL)
	((4 . 226))
	((4 . 227) 3.5 1.0 5 5 5 ((3697 3697 3970 4439 6042 6098)) NIL)
	((4 . 228))
	((4 . 229))
	((4 . 232))
	((4 . 233) 2.5 1.0 2 2 2 ((6121 6121 1905)) NIL)
	((4 . 235))
	((4 . 236))
	((4 . 237))
	((4 . 238))
	((4 . 239))
	((4 . 240) 3.0 1.0 3 3 3 ((3083 3083 2893 6063)) NIL)
	((4 . 241))
	((4 . 242))
	((4 . 243))
	((4 . 245))
	((4 . 246))
	((4 . 247))
	((4 . 248))
	((4 . 249))
	((4 . 250) 3.5 1.0 2 2 2 ((5026 5026 4368)) NIL)
	((4 . 251))
	((4 . 252))
	((4 . 255))
	((4 . 256))
	((4 . 257))
	((4 . 258) 2.5 1.0 3 3 3 ((5839 5839 5488 5556)) NIL)
	((4 . 259))
	((4 . 260))
	((4 . 261))
	((4 . 262))
	((4 . 263))
	((4 . 264))
	((4 . 265) 4.0 1.0 7 6 7 ((5540 5540 854 3222 5812) (6270 6270 5870) (3222 3222 854 5091 5540)) NIL)
	))