;;; 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. ;; Here is a list of the 686 basis elements that "cover" those folds from *Astral40-fold-covers* that contain at least 5 domains. ;; The basis elements appear in Class.Fold order. (setf *Astral40-fold-cover-basis-5* '(259 2465 147 4216 1796 317 2233 2054 1005 2410 5972 2544 6476 2703 1595 4082 904 1301 2929 4011 1724 6384 4783 4077 4030 5789 3830 293 6461 2295 2519 3834 1395 5000 2627 1415 5016 5648 2591 1508 3829 4715 2094 1124 4699 4261 1987 834 2950 6268 4243 6605 3310 782 4716 2443 4062 4764 4242 3415 6506 6536 553 3613 4195 792 6622 1268 5212 3014 4607 4963 6329 4817 5285 1210 6033 1470 2342 4352 5525 3446 1472 25 4134 3470 3202 5702 5092 5689 6169 2634 5704 2753 4579 1497 365 6338 3472 233 1294 4921 405 1008 3344 5278 3986 169 4232 2097 1224 2696 735 177 5046 2205 1644 2840 3103 3489 6173 3256 5344 5700 5414 3187 350 2886 765 4497 2116 3063 2408 3297 387 4929 129 6555 153 5922 5036 4383 4154 2244 1995 6022 3625 1759 4019 420 5711 4380 4577 6011 3741 5479 3102 2243 5644 2966 4236 340 4209 4665 6391 4112 3300 2045 1435 5044 6273 3849 1464 3549 6028 740 2220 161 1217 315 2804 683 372 3810 5421 6326 824 5312 1756 1410 4087 6094 5731 587 5847 819 1805 64 6234 3366 4005 4246 5176 1501 5418 4907 1817 460 5038 3548 4914 360 2389 1169 3740 4653 5345 6142 2006 5861 3147 5713 6598 6099 4359 3055 5888 5640 3790 6399 1643 5368 1747 2879 2063 367 6311 1324 4630 2196 1913 5433 1777 4941 6167 5489 4713 4671 4538 4503 2409 1894 1624 801 949 1425 2065 6148 3933 198 4734 5535 4301 5830 51 3688 2314 543 6540 1763 5231 2867 4151 5223 5809 1591 6369 5029 4668 3481 4067 3561 4588 767 6573 5930 3990 4257 1896 1201 609 6000 978 3853 4192 5198 5567 812 3856 4940 2955 4516 5562 2083 207 2344 5939 3190 980 4669 6258 3034 1972 1233 3410 1476 4560 1447 4266 4998 2682 4561 678 2067 3322 2552 2422 5967 3776 6075 4562 6376 5771 6356 5073 6074 1908 1909 2298 5594 1736 6392 4299 3870 5132 1793 1944 6561 3538 3537 1084 4857 6243 1604 3585 6087 5487 96 136 3732 3362 6548 361 2340 2529 1867 4265 5039 5307 6192 4194 4275 1665 1808 5795 62 1731 2619 5500 3286 2821 1778 2733 4281 1034 472 5501 2834 3019 541 6225 5701 442 1577 584 3733 2308 2269 41 4505 4386 2048 5318 2209 4398 4502 3628 2755 5167 2842 4978 4492 1761 943 2533 5266 2249 2364 3391 4204 624 6462 729 5324 3041 3339 6228 3651 1043 2122 1690 1776 2595 1165 5913 1513 960 1082 818 3358 5601 6553 4470 5656 4504 6261 5945 5955 4563 4886 5560 945 307 3968 4495 6266 2447 6498 91 1267 3197 6587 6586 6585 2510 5101 5103 901 4115 3787 928 3084 2830 1957 1967 4254 5192 6089 6029 4009 4982 157 1204 3818 3817 2248 150 4226 4326 6294 3127 2556 6251 5949 6348 5904 5069 5068 4961 4551 5703 191 5442 5323 5080 329 155 861 672 1007 6041 635 1961 5638 2118 3334 1167 4648 162 5914 3626 3533 1481 6215 5761 1897 3114 3418 2003 4419 1121 1195 4621 5199 3703 6123 3261 6434 5749 5794 417 3289 3847 1366 4284 1451 2561 2650 5209 6309 5411 6575 3663 2731 937 3120 4037 561 5896 4491 6635 4415 4426 4255 1514 1388 6191 2557 795 4274 5977 2999 796 2393 5145 4992 1622 6061 1992 2203 4944 4405 4589 4731 6578 4140 5183 2114 5600 6539 4888 4338 2440 3570 2783 2940 2381 913 3070 4190 77 2166 2081 5557 433 4210 5865 3831 4932 3807 719 5065 4177 2072 6584 6238 4674 6306 6271 5822 3200 5134 3942 5746 2462 4034 2658 2551 5782 2117 1738 5121 6345 300 6046 1211 5718 2675 1345 495 305 2423 619 2947 4408 3778 4889 2279 5378 2179 4388 5053 6344 5215 6520 6403 5827 6613 5878 3656 3176 6079 3658 4678 5770 2525 6355 3659 1692 491 5083 4527 3496 3495 2773 3212 6359 3661 351 4332 3938 2990 3697 5540 6270 3222))