(define-constant list-0 (list
'SPXKPY2NMKPQW7W5PCNKD1YG67GVBJKATQKNA1ZH
'SP3A36KQPFYA2PBHADC6ZQCX8ZDXXN405H2CH85DH
'SP32CF0E78JNPK0HYDTH3CCZ8FN76PFX5W0FYBN20
'SP2DW9RTN82J2MR2FHQXY5EE0Y616JJ076RYG8PTY
'SP1MBQ2FVRJ6P20K7MBFTWHN8QVDHNJ36AHKKMKN7
'SP3M1X036A4KCD49JZC4M941S4ZDH140ZDVZEHVBA
'SP3KMGHQ0AZY23G1RABGD8VT0BY8P2C91J604AA8G
'SP1AE8QN5FAZM8SEBRE14S05QNK89AA9JFRQERNAZ
'SP37N35P4903CB8S91SHHYYQ3Q44Q3HCJSBP8DCVF
'SP1GYWMYK320ASBBAERSC40TA3PA99ZHV3GF256T8
'SP1WZ5HR7PMR99S10M75GX6EDDQRET0XH4G7QSFDS
'SP1CSP7FJR4TAZADS93NCAYMP5BXW77QDB42Y9SYC
'SPE6KAAKXSC0QSGG17SWYPX5R2KP3Q56V9KD88TP
'SPGKD75JXD79Z204ZGJSBNC5BTD4P0Q2F81WEM9A
'SP13NK68ADVWYDZM2GZCNF0ZCFMCYAYGCTK22YE6T
'SP2NBCT6WVMD8PX46VTNRT4ENTQBZZ8ZYYYZY65RB
'SPS46Q8P75FGWDX11JNVER71R90VD5MV45XA5X1B
'SP337WP7AQSX8Q9H0TGY8K3RVQBBF82MTZMRE7JDB
'SP33G7CYV2ACDVKEK3HV5Q2M1EPJ4T2111HBVMD1T
'SP36MCQHXPP0DZ2KPC1KEY6ERC8GKB6QVCAK0PQYG
'SP3JJC9CVH2251JC0B4QTPS661H6JNTA2P9E6HA6N
'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N
'SP3G9BMCJ0858Y68MM35R6HA0WAZDNYXWZBN4RYK1
'SP1JF9VSNJBP4YZVC7AJ9CE6CXBD2ZV0W67T0E4T0
'SP1KBVBP3AZP7YA968Y3G14A17P9XXFPBPEVF5EG9
'SP3YPMD71E1Q0WRW0949AT5MQ4M72GMP915CX1XTW
'SP26ZSXREMGCD8M71Y4FVA17QBC42EV0VM3HPVXYQ
'SP2HX7247FTWB9FEM3J5CKJ3H3FKZ51C4D3XABFT
'SP3NX54B0VA0G002FBJE44C1ZJTV7F34VTPS7NB4J
'SPDTD8F9XA43CN5RDQMNZHG07A4ANB5PGH30WHSG
'SP3QBRHQF4BN8HNNGFHCJMQZDB8V20BMGF2VS3MJ2
'SP1QY7NXWJJAH5R8WQ50A8WAKCTSFH7HQPPQNV7D6
'SPSN6K776CXQBFSVM74W4SAR8W7HCQD6844FA4XC
'SP1QDGMK42YYKT1AM2QT9B200P3D7SWSKW1888CPM
'SP5CQR0EPFKM8WET982GNG3GJF59K7CBFBF4S71G
'SP2AYJHP9H3JM3T26ZBW0SKBCXJ9S4JW03VQBP7K1
'SP2TW1D8YF5CE0NDP5VCR5NMTPHQ4PQR1KBB4NQ5Q
'SP2ZWP1808CN0SW7J2JEEMBQRGMJDBCNCC1PTTKS4
'SP15PP6ZA0NS1WK91241YD4M4RCKP90PMRQYQM989
'SP2YJWK0P09Z6PC7W5JV7GAD5AB5TQ04DCKDTTENV
'SP3273YEPG4QZWX0ENQ98FBT1N2Y06XW820STP7NN
'SP32DFA3HXYZ2BV3P8H6XQM8EN94D2212QM71BRYG
'SP247RS63PWW7ZQZ9EYYA9CXKKPWEP71M14W8N294
'SP2KXV16SRDB00PDA9KTC1DSGQ6VQX5MD6SYN3D8F
'SP314E6K9TJK511VW56X8ZDGSPFZ7HHA9HJYJQA6J
'SP3GNAE8V8KZ24T31JC10TT184F6NQ4YDYHGVFZ10
'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP
'SP39XMB07QV4KN4PB6X3KHNQKWARB0F9AXY6K41E0
'SP1BSM0HS0WPJXMWPR5S1N21WQZRDTH1Y46BYQXMQ
'SP3EHACEYVBB6FV16P0Q3XS07JP04WG4CXNGC7GRH
'SP226P4V1G7T6KVD39VMAGQV6HXKDM97T009AV579
'SP3KBRJS2CC0A1SQK1ZXJPGE9F349FEPX86EAK3BX
'SP3YB4SCQJDQZMH5SMNVMHXMRWX8RRNGA8ZFFYTT2
'SP3356JJ54Q0YB2Q7EN3ZPV7DAY8E2NAS9P8E2WZ0
'SPTC6NJHKV5Q8PVHHSCNFWQ1Q3HFAXF8JZET5AHE
'SP3EQ7FQ8TFXB792P7VAGRXER0YNFMGM1Y8RS69RC
'SP2JN8DJ2MS5K5QESFTQWSTDP79QYYYH2YSZDYVA9
'SPCXZMB170SEXX2HEK510GBFZ88N4VNYP6ZMRNEX
'SP1WRAYGB0T5BS0888WXQ3A1XTSGR6A8Z4P6KDYX3
'SP33N5R751MG99QAM4CN6HQ3MDTYBR71SB4NXVGT1
'SP3HKZAJE54JT38T82208T3WJ6WNQDWJPPTZDGKX4
'SP25HAV8ZKNE8B7QCT1FPKPD8JQF2KK06VKQE6JSE
'SPHK8A7P61C6ASWKYDX1PCDX9YA54DKVJN49EXGJ
'SP28KM60ZBE7SPYGHNBCJQHYMPB7DEYYTX7R9H1T4
'SP2KEERCZ9MR48142HJPZHN1XDZZ93ZPVMS144WFA
'SPX0076GHSMQ2J7WPZ817X1438DRJHYAKM5243J8
'SP161CG3B0H9SC48GRACQB9THE9KD4W93EVSP3C59
'SP3K22XKPT9WJFCE957J94J6XXVZHP7747YNPDTFD
'SP1XPCCJE4NR82X6D8PX32NF1KAYYM36B5T83J6GP
'SPHP588Y6ES886214AA3S7WPCN6QQR2S3Z8348TC
'SP3C27ZAE4K2RE9M5WNRTN7W2626H4CZDGE2TPDWF
'SPJCSG2ZJD95JR4QG9Z0EP786WN7T3CAF7GKBD01
'SP16VFAB98FZ3GEM00SYYRV1V7J87JXZERWR9FQ6Y
'SP1VCG4HXMG02BMJCSAZDBS1WR4N2YG3RPHMNP9WR
'SP3GG2XRSX2APJ1JFWV2A3KFEJPAJ5X8JGDXTSF1N
'SP37PM1Q3VY6KFKCNMB1WMK1W7D0CH1WZMKJVRRSD
'SP284KTW6YXVAQGMVCKRGPHJFTCVK1MFMPMH9VZHV
'SP2G4M87CA0AACNS5ZHG0FPGQ77WXERZJE8DGA878
'SP3ZTYBN9PYVVFKBEFVSZ2BEGK3HXRNVP6FDG79WV
'SP3MSSVGZTW4TGZ7WXJQZXYX1FJZRV30F0YDTVS5Z
'SP2VH1NNMC5WHGC0X1BZ1YCWB48621CHDYPP5C999
'SPN7C68VE0HZJ2812V5ZT444GJPZXE9G3TT9QFYT
'SP2VNTSYGBS0WHPWSWQRD3W0D56ZYPY75S70ADMEN
'SPGM4RBXP6GM6M2FDCPVZYCKPK1FXYH1767XR7FC
'SP2PWAZ7FFGGEFA53MG4M8HG3KNAH3Q5TMMG66GJA
'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK
'SP1Y5KTXK6KRV1YTB6QX1ARYDFSK65NKVXKR0HVRF
'SP13PVXJD3B41CC3XR6YE6QN4K9H3WPS9BY2FR06Z
'SP22GWMAYP8HKGWRDF6V07JMHEAGPMRRNC72PAHJ5
'SP36WZAANJF0DBV7D7487SMAX8TJ1EEGKMTX1ZRV6
'SPJ81C2WPQHFB6XTG518JKPABWM639R2X0B331XE
'SP34S80102KYXHC0C5VC3GDPDVY3WFG1G5G507Y0K
'SP3N0TH3N7BDG4WBSYV6FE2ASSAPEGWK47EEWD9TV
'SP1RYWKCXYWAHWS3RC9QJSFK5EPEH07E4DG1GCFWV
'SP1GK1YMVRYZAFQ5BCMZ8KQDXGGFRZ8V3GF1PX0KH
'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3
'SP2H3TTG3MQK9CEF59S7VQ86H4FX9CH596ZXSE2EK
'SP12ZVZNKA89JFHH5WJ4YQ999Q57NRBX3WCCJ04VS
'SP1QJDCZ0J9NRPPPZ9186GGBFQZEZM86VKCE19D4T
'SP2QFXPC7ESM7NVPSP7M7M711VEJFE7GBASSJMRTP
'SP329G766AV8Z01X9EEAHPDQ4WDJXT2A0XB383MGP
'SP38XSJ91XTY6ARN2W58AKKPBJAJ0AM02W1QJ497F
'SP3CBV5HH30Y38MWFKHWRJPQ2K1R2BF11BVVP663P
'SP0DKPNHR7FW183BQQHABN5CEJHPG93FR0Z41FH2
'SPKFSJ4T8T39ZJN455QBY7TJX4DYF47J7344HNNF
'SP4QA0NHP03T3T9GJKR5KEA7VQ2KNSXRK5JC74NG
'SP3Y1R9KPDB0SQK8T1BXP9FAMAYV4FR7WTYX42GQZ
'SP1K8ZADQJ7GPXBND02S2V3ZCAC8W1YMGVR7DP99P
'SP25KJH4N4YNKTVXSWSHDPVCWDFAN2BA4H2VQVN0G
'SP2RWS7D7RW6DDZCTXJC0VTK86CKD0TF445116V8A
'SPEXAF3YRNCR01Z4DFZ567Z0FB4RKPHM88DMKJSQ
'SP2S7Y7BMX7Y73FHV3SV9W1EE63EQ98BE95PZ4C4E
'SP3ZY51K23M753B7S2CG823Y47EE80RC3ZMYJ78X
'SP20BRQYA0YMF1E41W485TB0PXSGKWV07DAWP0T03
'SP24ZBZ8ZE6F48JE9G3F3HRTG9FK7E2H6K2QZ3Q1K
'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP
'SP2KHHFABJJHD63DSBX0GGY69D2G22P9F1VDVGRKN
'SP1B7FFVFHHBCB466DVJR02BQ7PS9TNW02YA29DR3
'SP328RRCE6B3DK3NJR01C2QHVVHXAF9WY9CVV36QD
'SP277HZA8AGXV42MZKDW5B2NNN61RHQ42MTAHVNB1
'SPCJ0JZVB02YYVSR5XVS1JJ17G4ZP1KFGD15B049
'SP2TV9WT5FM6TEDCS5C10X7P7R813MTA3W5GAGJHQ
'SP223QGRP81XNHPJKCYNR3X3QWF3ZG799TZ9PYXFS
'SP1MFKQM507CF8JT5SHYX992BHXC4Y5XY4WK3ZCMC
'SP2XWMW49C4XE0MCA5MAWBH78597Y7ZZXQ72DCKB2
'SP1ST9NA85RZQX2D3P5VEXDKE9WXDZRGKHB88A5CF
'SP1NW8Q0CTAP9BDCBB0KWC1K5Q0W4JDDS674RGRCR
'SP1T07GK9H4M0WP4N1DSSA7NJ7GNTQZ0GBZM0GAR2
'SP20R5GNHG7KTDEH9SXRX8ACRSJNJ5FGFTYDGBND2
'SPFERFF3QKF0Q6WBC4Y2Y6RQWEGN3DTDD5Y7S0NY
'SP1P8NFZ9JPWVJD1FRVX4R5T9GDG6K3GBSDX05J9S
'SP1VN8DNGQGT37KAJXT3XY5Z1EB2Y1HZ6NCXSP38K
'SP1FCVMBP2XWJFXJ2VJJ5P2MBD4PKK9R5SPG87EB8
'SP2A4AHARKR9PNPNYWCE9RT1EF9BQ7GDPTRJ03EAA
'SP364J7EDJXRE1FPDZDABP9M58HPY4G88BFCP2HD0
'SP1934QK1ZXGCEBB3MN9Y0FNR20GMDWM3Y5P5VV5
'SP183P6T1M6TX4R7432JM0P6TBWWEBJ4EC4WF5GYN
'SP2XJCFE0MZB33AAP91ZY8TXJ03HMXCJPJD71AJCM
'SP318KEHRC2V6EBRX4B56FYM1KKYSY6K3EWS3NCXJ
'SP2PD7DBZWDC0YSTHF9B7WD510SY2AS40YXK97CY1
'SP1X21JZKQQMASWQ7AYH704B5S269V4ZSKJDWT8DJ
'SP20QZBHD8QZKS9NGV9FQ76KQ6AD98SGQKXYQ2ZPG
'SPJ6RD5PYMM75KQNGH588RHE153JMWRMCSWP4Q2H
'SPAFPBD7M89973WDEN68FKYW761RQVYNHSEFQZB9
'SP1KWZ8MQA40FF6EXK4G6SMF06B6SZ5FVKQYC5YQT
'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8
'SP350N4SX832092H6F07YKB1R5X5DM90BV6P97B8N
'SPHWCHVHRY2Q4884XNNSV8B3J1T41PBN0GQE16A9
'SP2CZMH9A6FH5QPAJAR8ZG091Z15JKAGY1X0F3EJ0
'SP9MZHJH0FQB746YZ7D22ZBHJFQVBYN8M8FQ4PCX
'SP3MMG05H6T48W5NJEEST0RR3FTPGKPM7C19X5M16
'SPHBMWA8TBJGBN35BDJ2E5MZM0EJH2QKZTVMP35F
'SP6M4JARC501VCQ3S86G537H87NXJ176PNVHN2PQ
'SP2R3CHRAP1HE4M64X1NZXHZT41JG3XGNHJW4HX2W
'SP12VTBRY3M9X3HKZH1ST668METTXR452V29XF7QJ
'SP1PCEAP62X5BZSMH257ZHAPGAPSX3BDT3TDVCN4M
'SP3ZXMYGG13NS5TTD6Z31RM9TF5G2SRTSZFPZC85Q
'SPXQS1T1T2BKGSHH8H75PVFEY0R1X39F0B3MQWTJ
'SP3M6D6M2BS7FNEFV111ZF6WQYATNJZ89Q7MXSPAE
'SP2FPGSACWER1EKCQWDF3MF2G9406X5PS1MXXEZ26
'SPBN3J1JST1K4MEZXZMV95ZXNBGMMKFZGJKY7VVC
'SP12VFHJHW9GAMX9FK5SDZ2V3198YZ611VQWKEAZ4
'SP3AQSW210PFW6K3FB1JW62ZHTH11FSVR0SH5AZ6P
'SP3HYFVG35TW1RF47N6RKYYDNPX6T47J6ZJB3B4PE
'SP3QFME3CANQFQNR86TYVKQYCFT7QX4PRXN0JJ4B8
'SP3RW6BW9F5STYG2K8XS5EP5PM33E0DNQT4XEG864
'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ
'SPPMGZTRGMBVCFW3RMEVQJEF26MW9G6EKT51EMD8
'SPZP85J0GV3QQF4XP3P80GZBZ1C08K0XWSZB6RB6
'SP16JSP1JMTBNV3GN5Y3JYEEPG5WK3SGSYDZSM7VJ
'SPT8MA3H81X02BKEFX2WF7FJKV2G1FZX1SFR6HX2
'SP32QTYYGG6SWTP198FST4SPM85J0A3JPNB9S2BEA
'SP3ZJPSRZKYFZRFCNKWRP30RERBB7Z7B5HPEKVJHX
'SP2NR2625HB0YFFRFBD9VHVYESNY83VTMKZXMV6H0
'SPMQAMQP7SD25HRENNHHRK38PY5M2AE6SWVZVY56
'SP265DNHNK1NHX7FE9MZKCCA4G1VS7TT3BMES5TR
'SP3BRRCHKMPBR60V8ES9J5YF40VXWMABWXK4SEB9G
'SP21TA8GMAH56PSNZ8EJPPY6HSN5DDV0S3GQ2XDQP
'SP3EPS563XJNK170J902C78ZPDPNXVZFWWCN7DGWH
'SP1ZQSWQ9QNNW388VFG45HYX1H592147V2FZZJY8V
'SP84C5YVBTBSXZ8KS39R97QDKX1YNSXXR8814ET7
'SP18QG8A8943KY9S15M08AMAWWF58W9X1M90BRCSJ
'SP3323PE9C9B452CVW5HMQF3JYRKF9N4RG96JN61F
'SP1JCPNPAMAQJ364AFHPTW3HY7X0HYZ3TJ0ZDGWZH
'SP29TD2E52QWP2403TE7MVVXB5Q0BQDS5EHMDM208
'SPT298DGTCVJFTBYJJTWG14K6D2ZX1VG669EA36F
'SP349J1ZTEE71M1J5D4YS0BPQCCFJ3YSNM1P8BJY4
'SP3VP4DWQ177CH3TF63HA25DNW300Z555AHWAKAJ3
'SP2GSEVPVKX2PX027NMCQK74XH5Z4FK3M7K62SVCE
'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M
'SP3YBQRESRPX4B90BZHE77J2YK5DG8BBBXWJHZ0M9
'SP1C0EGYWYDZ2JVJVCGASH1G5HJ2GE2KB2SMN54D
'SP2FQ7FY41RKCP6E2Z53Q70S5V99F2PETQZVAD3V3
'SP3JXAXGZA5JJJ4YHTEW6Q46PKX3VMT0Q0F7JDYF7
'SP6K8CTMC52XBCNG9TRCF3JBE76S2BFYS985DANQ
'SP3PZGB6ZXH1G9K158H56A6TF26X7K1GGMAGMW0M3
'SP3VQM46NM7Z41VP3ZR80M1YRZC92QWK6SSV1EEHG
'SP2BZC70G79TAQXBH6NCYMKP3C9BPP2RMCM07DMDP
'SP2Q1SZSETS27AZ9FE0BH6C6B7MVC25E4N6C2VE7D
'SP2HVP68NY5BD2RDFX0JNXSYRS8AA6R7S30N08NJZ
))
(define-constant list-1 (list
'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD
'SP1JX2RYKPR0G7H81SQHZQ187H50RR6QSM8GX839X
'SPCRDMAJ0RJYPQ3BMNN9VV01BFSCG1SQ1WJZB558
'SPX5F21SSNTWTM55F24TM03S095QYQM7JARDA1F
'SP3R5TCK97NMBS1V1MARCK0YTDFWG1FKJ94EFQTF4
'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X
'SP2F18PH7FP22EHS0J0X3A6EFZ9PAW0EZJRET0GXZ
'SPF4FR0X9Q4PAF6KENDD3NVAGQTM8A830A4F96YG
'SP38501NC6JC8CR7Q337SCT5GJFQA9FSFSJ6MF39A
'SP27A09VG1SH1J8Z76NXHBGKB0ZWSBZ99DRGAC8NB
'SP3C5ECA2QFB2XF6BTBY3Z006NVTDKNHJM1NTMQT
'SPSEBFRZZEZSHGRKRR1Z55RX5AWHER3CYM0H9BMW
'SP2FHRXHTZBFGPFKSNWFGYPNBQXKSXC2JFJZ7BY7D
'SP4TG510YQ4NGS9YFY8W7GKSRV1JASH02ACYHD3F
'SPN8ZJW7PXA5NGHJND77Q52CAG0WEW747BWXTXTH
'SP384CVPNDTYA0E92TKJZQTYXQHNZSWGCAG7SAPVB
'SPN4Y5QPGQA8882ZXW90ADC2DHYXMSTN8VAR8C3X
'SP2Q1RFJ6TSQZPRVHHG2CPTV1TQTBPSR3S8YAB135
'SP2M63YGBZCTWBWBCG77RET0RMP42C08T73MKAPNP
'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG
'SP3B84QWAXRAKB67Z4TB33SY5G0BGGVQC36526QN6
'SP1VARC5XTG0G93FZGH760PFFV1CPXMG0SFSWSY1W
'SP30KD0JV9B3XX6DSPXSH90J621R7VBSSY2GNBC26
'SP3DW5P0EPZX7KB4N381QTWGDYTJN98M80PFR0X62
'SPZNTAFC849F9TTSD9T12Q6E57JMY8KFHS9FXZ21
'SP1RQZCECRGR5W7J9PBX6TGF7Q0JN923E47W22KN7
'SP1NQJF5Z38JYZNEPH3Y02ZERF587V2W39A1WXYH5
'SP2HJVJQS0TRBTQ1WAWWN9H9W2HKGDZ7H5EZCEAQC
'SP11J1VHP7RWX0ME3X5814A3T6GHEDXPZMR9XPECX
'SPNW3S0YAPDY63D8HGBXEV03SS231HZX208KBG1Q
'SP2XXMH2DHP5S0CS1VB8C6TV75510YDQA527CAPG0
'SP2X1GD24FA3TGGV6T4TRPKT8MVZ8F02RZESYWEH5
'SP3WVWGYZ9NPFJ44Q0D1MNQ3P1XCQAQ0A1KEFKSQD
'SP16H5R1ZDFJQ7FE3ZYZKGFD8QTGPAGVEYWQXJMS5
'SP16PRV5FEZRH1KNFWNJTZ9HHZGWMPFB6G1QKE607
'SPMA0EH4FZGPA1FJBQXJREE22CBKYCBBVH8M55TV
'SP1VH4R8R3ASSW377GRRB8DK71416ZC3EEEPY140R
'SP32V5EAKRWZ66VVA67XGDK18VYMZM5NT7NP98M9
'SP1SBTRXDJP4N825PY69B1MKTQ4MSPB0DW9JCQHKE
'SP3R91G719XMPED4S1ZP37YHF30CAV1KGEKB8YXDT
'SP356400A5XM1ZKNXCQ7BJRE8PXXG1EJHV3954Z27
'SP6PHFNEB479QWYT9VDSW32VKHDWQ436416AW439
'SP1G4Z5J9AYVKZCHZ8RVPH593FPWJX5P6QM6JEV27
'SP162D87CY84QVVCMJKNKGHC7GGXFGA0TAR9D0XJW
'SPM1Q7YG18378H6W254YN8PABEVRPT38ZCY01SJD
'SP9J6BTSPCXGQ5HC066NRYQPK43S48V7K299PTQX
'SP2JZ2WJVNQ6ECEKJHEBW8663CFXFCZHHKN64BVFM
'SP3SF0PSD7KYVJQPKKRBYJFF7NENGFHZSBVHM3B27
'SP23RS2V3BAWHNQ3RHVZHK10F51RA99C1FHQKY9QH
'SP3CV98G6W9B2NPDX3XT7V96BBYKKJ004GYSJAFY0
'SP4CFPJA53W1VHVZ6WJ00G1M4CAX904PZ8EAAY03
'SP20E0RC1NWFVD6A2QC8Z4CTWK7X5FKFCB6M6P6W4
'SP2Z9GZBYNZNFH0D09CPGY134593SFET5BC0ZFFM4
'SP3ESBKP1EDKAA0083DA2MAM1TYPF93MFME2MRE2B
'SP643H4YMDRDNAE89EHY4B65S9K047XWX3QNW3W9
'SP1XZ7KEMJT5V8ATRYZB0XWJ20KMGM37JXJZG9D6S
'SP193B6A8GMXNFEH3WWCQC22QYYNSPHJTSGM80ZWY
'SP2D6BPAJBBZY61D4QV523XVEJK18798YSD6TDWVB
'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP
'SPW14VZ1X2SDJYNK3Y5NHEK28584BVZD9PEHNNPH
'SP25HZXKHGGZ2ASKXPF7R7QMG3QPYMQ6ZTGBSCVPS
'SP21JJ0KVPTGAA1PD8RG1QR0ZSCFX39Q86T5NNFCY
'SP30A5KWFY7JW4Z7SV9V6N6WQMGX5180GJD0THN0S
'SP2GH7VE11SB5E91XKENMT3ZV9X1KEZKHPGGNBNFA
'SP21728T40XTN7EV3PZXXZDHVT8GJH1JPKDEC8WGX
'SP3M2T13J2TM7FAGKVJS39H9HPMDK63HE4R06X7C3
'SP1WY2NB1DXCV4K2H5H88D4G1QNKKZ3VZ398CET8G
'SP2MBP1G8G58475ZAMAE838DAXX4NY1YKX1B47AWP
'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4
'SP1Q26KDNW89GAQG80C22X1ATCF9Z47BX3P7E4W5H
'SP26GZCVY8FYHNZ6C73W68TCFJHS8F8C9E772XX7X
'SP2NHZDAMMEEASE4DKHYYCVAG8RF8PA7YHPPW40BX
'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9
'SP245RYQHC7TZH2VDQ95KHG4CNKMYYX9Z8A08BGTE
'SP1QZT85MFT8HBAG3XEK7K6QY4GGP3MSG5C3H9PQ1
'SP2ANSCYNHS3RBQ078F5NC31F3NRTE3BQBGT9CCJH
'SP3CRGM0QHHD36B57FXZW60EQS7NM6XJK8WC7T34S
'SP39KCWR0B81CMMW6CC9QNZ8PQZGV320HGWTTT0Y
'SP1BFAYGH3G7AK91A5ZZHKD4E9N1RDV5Q483S9S2Y
'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM
'SPJ94PHDV99QRKWVZFBSG6RTJ8HQ8CDCD92P8G36
'SP19CFFFPNJXXPEBPDJXKJJ2TQT11WEK1M5GJN5W7
'SP3YF5XZN4CNKRANEHVFWS18DAG5M2CHQTSBZQX35
'SP30AEXNHBE87E97QZAG0A3SC6GNM6QJ6QN2NN7B0
'SP1XHRDWG5N0TZJWFCCPV6YJ3GQ0KA2485AZNK59E
'SPHWY482ANTWNTW2618HYHQSDY1WCW7P20BW5F7Y
'SP1KWCYXS5N2C0CWDBXFJWRXXWVGVPDBG008Q1C6D
'SP6YAN6MV4SS2YJRMA3HQ2PYVQGVHV4W08D8HZ3V
'SP19KAP9XM7JKBR7MNPTGABRSC39XQBT0TBKN6HS4
'SP197GMEG6WGBRDTCTGGWMRA1G77E65TRXWYKGCT7
'SP3W5KN5XC7RQ5M0TMFGEZANE4P80Z7KQF1PJJB55
'SP235VD14JSA9EZJT2SPWAYS70BV5QFGF9JFS754A
'SPA5P51076FPT6JPC0H09ENXTCMW55ZXQCR27JSZ
'SPPT6DNNC9KQW9MXNYTX4FH3CJXWQP90E5B6K64G
'SP8SWEY2AAP77JWEGJB8WBBXYV7CD6P9HNVD05AB
'SP5GX6PQVGYQKBFA3E9EWWVPM65SN5Z0XDDX3YW7
'SP1AECJGWCYDH3JBVM566GCSP26M7H4GPZ7N8MZVE
'SP2GBS7FD3WC542HZRJZ0ACSVVC136ZYM74EMKJAM
'SP2ZR3MD6VBM689M1ZHQT495ZNX4EZ36P4WT8JANY
'SP3YDEFRTWZ7TG78C98K55JCE8FEQX8QVARPNQPGC
'SPHSJ8X8NM1B59FRR9H643J93TC8G75F3TGWNRJ1
'SP2BZQ48MADDN62X044NNJCNXF5BA33C3BFQ3TZJW
'SP1XBS03PFDTV1HSD7BY02V6VG16VTNRDP9N1QZAV
'SP3STPCADGPT3B5HB2NFSATYCTCTZV012J564C5KX
'SPCHCKT6NSVATFMXSPC2GHKFG1XKDP5B6ZJNWX1S
'SP342MMZRDFSC556F193N76D87SCTYX7SSHD8H3XD
'SP1K8RG4PV202FHT8J9023G1WJRPFTSZXN9TPNEJX
'SP22ZMWMT7NGSQ9B2B0QTXJ9FFDWA6NXFHV9XJ294
'SP37XZWB0DWXNKMT0172HHMWCK35VBBEK19DN2YYT
'SP2RKVC8PYANWJ40VSRCK2K935HSN4H0AHTVHD73D
'SP17YP1HGWK7DP5Q69GRG14W34E078S4D78YM1FA5
'SP2DFX28F1S3CB46B5XH9M5JQ7N4SMCE7CQY1TNYS
'SP31SJ2X5683KDX8P58HWRA2DXY3ED4WZ6Z3DM0A9
'SP3T7WAB5DMJ3JSRMCQF6SC7CG50DYYJVS4C303CN
'SP2868VG4Q2G7CAV12M7MZ17XJ018R8D60WF27XQR
'SP3A3P9HDMATTTERGSC373XA2RSHHXNFSSHMEADM5
'SP1TDMMAXQH9TP2GREPRA9TX78DK7DKMX8R26VD4N
'SP18WRH4SF7F1M5QZZ2BQDZZYBCJWT9VWQMDSTFY5
'SP398XE371G08T84A99TCBD8XKWY3S7VVX6JKJWKY
'SP2JYYV7DE2YGPY8MGGMCKXG5HB4RNXXB1PMW528A
'SP3R4NKXMGW6YXA44X2ESZPKJNV25X4ZN7DPW0RXR
'SP2H6HVZK6X3Z8F4PKF284AZJR6FH4H9J4W6KVV8T
'SP3NFPNNJ6QCMWH99474QP92FPJQHJA3A07NSDX9H
'SP2YQCF4DMRWRPKD0EVNDY3AJ0BBS9FQH548GCHND
'SP1PEHM5P8FEFTSVNX42CA2TGB70TDAMQ4G66J0KQ
'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J
'SP2HK7F30KWK8JRPEJXKHGP5QMWGMZTZX5SM570QS
'SP3JCN7W79KNRJBBPBRPKJZ7TRCVAK1NGV2FX4ZH
'SP2ACV2M2P1AJMTKZHF8S0GE0JBQNVDSN7MS40437
'SP77NT5VGM8XNMCTGK39Z1F6JRAX7GK7MWMS22TQ
'SP17NZ4FXJAKJYM3976YT216ZTJVMJ6XACRB089XH
'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9
'SP16Z3TD3R9H71EN1MR74AAB17ZMZ5YWP5FB92296
'SP26A8HH1ZJWVJ044RW6S37AR573GNHJFDRRXWKD3
'SP19N6NE3EYCM96N0Y173Z2B61MCPNDT8PQEQY166
'SP35DJDPDNCYRPMTDW10YCQFA29HWXK2S3W5FKFA7
'SPYF9PC72BSWS0DGA33FR24GCG81MG1Z96463H68
'SPH2FHVTD5ZTF0EB4FM9K5S2V54JKNX735WKQYYN
'SP38REZNW2QD8CSSQ3PZKWJZ84TTBTXDJDD20GKW4
'SP3HD6JF8N5214S5Q7GHXBQGKY6XJNTRH0DS6P6KY
'SP2RH3J2MJ4E5RQ4MNQSBCEQMGVS9XCTNCCP2DN2W
'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK
'SP1FR2M102H4DE4DH96R4D29RC8AGQZG5D5Y4S7CH
'SPYWT3H4JQG72G0PVZW4E2M6FAK997KN6PDC26GM
'SPSS7WAYA17Y8Z5Q6GJTMH4FH4MRJ7HZZ6JPGAGR
'SPXSGH4FNJHFVDVHPB05VS9R5MN5P9HQ5GWAK6GM
'SPF42XNA138JDVDD11Q3WNZQBW8XJPWPXJGTTTB4
'SP3TMT5AV7D73EWWMR898PXN4H8JTCSWAAXY39N2A
'SP17AT5A3NB02KDTEGHF7NHHGFR0P4HJSP7PZEXEC
'SP20P02KXAW338AS0ED5HV0M37SNQRFAMPB0F1R51
'SP1NBCK2JP3KNCHGGM8FGWPT7VFWSCBAXGMJ1WMZB
'SP2EJMPGZKE983KP58VRZZVTYV6Q99HHZ0WYEKGZR
'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB
'SPY11X2CFKJ9JG213HJP1Z4JFT2H88079MQFW2MS
'SPVHB3W1VD7JC7HE2HFFJ2SJFJX9PV79GPRW78T
'SP1Z8M48EK5KFVSKW0VMX0J4A4KKKQHKS95NSS7QW
'SP3R8WHTXYQY6NJ7VT6EPZJE5RZJERH2RA0NH5PX9
'SP213BHFYJ54M0R7C84MHN04JYJYE4V363XRHXKHD
'SP3KY9D092ZVXYSQ2Z43XH8DGK319PWBX848XWM4P
'SPFK6E20DN1PFBY02956QN23TCWSPHMY76KYWGEZ
'SP2JCF3ME5QC779DQ2X1CM9S62VNJF44GC23MKQXK
'SPC84CF05VYMWX8AP05PYKPHH2FF2A8XMNVCAHVH
'SPNNXMY01SNT92EEK9DRRG2QW1FA256MCNBPPSRX
'SP2F2KH0RVX6GF1Y9FWMMSR9RHG0TW3NN72D724NX
'SP2HK7J6617VBSKXQGZWMXP2R64MMDX3S54M0S1Q6
'SP1J4SFHSMMT5Z0PG3WDD1TNGZVCWMB5QBYHNFECG
'SP1GGQCQQY16GVMDPBT5Z7CDNEZ13TMAC18B51W4B
'SP3F50PNGA4PY5PVB590SKY4WE8NHZEYQKRDBSJX8
'SPS2FZ3K6N2CZPBM4BSQCEQV23V2334E7MJ4CHZT
'SP35K3WCA9GCJV2XC7X021MR2D9D2PKF855CVCKB0
'SP3C00JQWPG67FX6G05HHDB3E786XGE8AQQCP4X00
'SP3GARS14D25RNGWRS85V5VZWJ6TKNFY8Y2TPZV3K
'SP3SKH6YB515J76KVDHDHBTE2GQ4CV6QJHC5GJKRF
'SPAFJKGDVS11C9P9DY0ZTNFQ9774R568W9XYZDJV
'SP1NGMS9Z48PRXFAG2MKBSP0PWERF07C0KV9SPJ66
'SP2Q77B1MQFSY3Y1XGER3ACPPAEPFNSNMZ2DXVXZP
'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ
'SP2Z4MCB2488PSASQHWDA2J3G2CG7TDETT8TK5QA0
'SP26C9TWJYK6DTCD4T6HKBC76DPMK2DXXRNWS3E2D
'SP1YSNFNPWR391Y6Q133283GSFRAQPCTP3AXCED82
'SPAPQQJDYSQM184CMN34YGZENJM0H6ZN9N1204RK
'SP1AJA50BJ395R622N59B0VHWR25XPQH8WEPJ2VZV
'SP3K56FKA65F4AVTA69N02M02B9N1M8AARJMS49N2
'SP1C671AAKE9M5T7BPR7X8F9WRK5W7A4PVMHSSPGZ
'SP38Z9JA0Q1ZXBN3DPH9SD9AN8RE2MMPZV8D2DVX
'SP3TZ3BCB16A0W0PPFYMGTTWTT3DVWTQEP8DFRAG1
'SP1B8CHAEDJH87WCC78K8BZ1DF4DJG0DTG3FCMSQB
'SP3QC4R6M7M0DAZBXSZCW4FWGDCNDD05FV8Y0AY8C
'SP26CCB8R53ZSGQAJZ86VQZB3X3KMZV1W5WN92SYK
'SP1GJK5XZ0RP9WBHN18CNTBAXMB7WEV3H0C2NN1N3
'SP1S6Y45D7M0DV4E29H7ZZ4XGTQ2WW3RB9JC0QSQ2
'SP1E7DEJG95E0EBZFFGEFGE0QX6Y0CR5V79615FB2
'SP9227STGNCZPRTP2T2G3S02M7XB5ENAQB1J82FA
'SP13ZDF0VZBZSJ19W7DXNHWJDBCS9WSZB880PQXQS
'SPFZJAWND9GDB2QC54524J73DGBQ07XJ6JM1E3GN
'SP779SC9CDWQVMTRXT0HZCEHSDBXCHNGG7BC1H9B
'SP1XY24C7AJ8XZ2QQ5BMD43YWJBYAM388G00P354V
'SP19WSDJWTH4CW3YG554XS5CAXJJGAN83P8CFZ4K1
'SPD7RK3X2AF8F9RRXJE4CRJWZYJA3E7B3ZZJ8RDG
'SP25T7AW62DPPWMATYZ4HXH4V43EY7J1E8P57TAWZ
))
(define-constant list-2 (list
'SP3P8PMKMYJQ9V16A6EZW2XHH1P29JN58R31VQ4VJ
'SPC4KZE8PZ82XG79TYGFXMWMNFY0TPFEFESYWFS7
'SP1Y5X4DZ2MT3V5MT0KPYSX60D7AXXHDFJNRM25KQ
'SP13E0D48NSSZZAPQADK50NJ6812ZBNTJY2ZZEER9
'SPZ5DJGRVZHXEEEYYGWEX84KQB8P69GC715ZRNW1
'SP1F48HCD4SP4HT8BHQPXZ35615764KC80ACNMBDZ
'SP3VCX5NFQ8VCHFS9M6N40ZJNVTRT4HZ62WFH5C4Q
'SP24GYRG3M7T0S6FZE9RVVP9PNNZQJQ614650G590
'SP3JCN7W79KNRJBBPBRPKJZ7TRCVAK1NGV2FX4ZH
'SP3R5TCK97NMBS1V1MARCK0YTDFWG1FKJ94EFQTF4
'SP3ZTYBN9PYVVFKBEFVSZ2BEGK3HXRNVP6FDG79WV
'SP1AV2HX27BCGB7S91Q47J0K05NK334YBQ270TJJT
'SP14ZVJSGEC4P7WGYCYC5P67WNGBVZ1K71DA75J13
'SP19SPKSM4BMHF0KG7C03RS6MT4EA173SPG6MNH8Y
'SP08NR67Z2GAS6ZQHCGH5BZFTC2360QSDPM1WQYJ
'SP1P72Z3704VMT3DMHPP2CB8TGQWGDBHD3RPR9GZS
'SP20M883T8FJ6S63VJQEXE5ZMP91ZMKVR5RN5N0DR
'SP28PH564J54QCKP1R694GFG82BS4GDKPCQ0GBQNG
'SP314228TP77PCRCDM0JXD5H7W9FV9QPK4XJ6HGGX
'SP33CX7SE4Y1NHNNF8WWQB04S3VRSTAJ6ZCG0Z8G7
'SP3R1WCPTE2M55PNYD0A29G9Q5BJ2RDTMFGB3RAW2
'SP3T23YN6MBF44YNV910FD8JNMN1NZYGKG3MMZ73X
'SP3THN394AGQ6NA5JSMAF3NSJ2G74A12RN8JXCVA5
'SP13J4B7B8A32QMW7E8KVZQHKDPRJ4AY1HNBKGKS8
'SP143YHR805B8S834BWJTMZVFR1WP5FFC03WZE4BF
'SP14W78Q821B3HQ3ED30624Z1F13X4JMFZY3N5SK4
'SP16RDTYEH5SRP4VNVH0GJVD65R3NT52NQ1RGJR4X
'SP1A2Y54GET3Z63HQ80RM2Z7ZNGQJVPGCJ8FKD0P3
'SP1J5PS54EC4M9WN7CVNFRP5J88DB9K0MS06PZ7R6
'SP1KRGM5MCYPRJ5N2M4QT703Z2JQHHMEC39SZX26W
'SP1RVZGP4TYSRJ4KQXWKGR1M9ED89T91WD9ATPYHX
'SP1W13VWTCM42XKG6FTXNH78BEKJVYG3XZB9JT8KX
'SP25SF2MPZZS8Q20QA3VTYJXTHAHCRNM5MSZYDNB0
'SP2RJKMWG8XA99S4MHGHEQHA5XZDHQH6MPT5QTQT0
'SP2XQSVXH1VS1JP2BN81JAWNPBMH3TT77XS9AAXPY
'SP2ZVXF3AB22AA3RVHE8T8NHBDRZ51DPGWDRJCGSX
'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B
'SP31WTJ415SNJM9H6202S3WK9AFQXQZMT48PESBQE
'SP33FWG4TSMHQTZDCC04B4KZ5840KXK1GTTF98D2D
'SP33MSVS98XCX87NS59R38V70THGWQ21CG8M2FMAM
'SP361JJRR1SV6CGTG5ECY6J3719Q5TZ5X7K28RRJW
'SP3EW5GY6DM9ZT6T20F58PRJNG64VETHKHJF24A9D
'SP3GP5KQDA8N1FVFDDZAJD0PRKQFE3TYNJ6VRDMSP
'SP3PPNZMHQKGA09KN56RPK4S72DRH74RTVN820DBH
'SP3XJCEDZDTDD3N4MAR3WK88PEK9SPDQKGVVWD9W3
'SPAD6FPJBY115MK6CRY80984ZK9XVVMVTGA38ATZ
'SPE9CQ6VBE2DER8MG4DJVZ9123CZM0QSVGWXSKWD
'SPT2F2B7D68W5V3PJJJ5FFPGB1ENT1P448YQJPH1
'SP17R8QKWW1B8M427X0G9BR6XZHJTYTRS79WPGX1Q
'SP1N6K9H2BVE8G09Y70HPTFX9H37F0JT0QGGKT7DW
'SP1XF5Y5JY1NGYBD8BQ3HTV1C9DAMZYRN2CDBGP5F
'SP1YMBQR7E34D8GV7DY7FED4TWDQTTVZXTDBX9JKB
'SP29AF3F0D5QZCVKNDYK15DATN4Y5A7DE39MZXXEH
'SP2FVZ9QTV579XFZ2RSCVXC6PZE54E2B6QF67541N
'SP2RWVYPRJAJY35179GS0JNXXX2K9K380J7F563N0
'SP2WVXXAMRWRYZ530616S3BKRGHMWCBEE9VSRJ6F6
'SP31QFBF2M32B94JQQMDE5JGRT4T9R0E0HHJ48QKV
'SP37445HT84H5P8MPP75PVAB5ZN8PPTGP7H63ER45
'SP3VSCJ7F70YH8AKBMA6BP0TJP4800ZNZY59RJC89
'SPP33D8EVYWYYKVADHPR77YPDM7TDSBJRPGYNPZ2
'SP2BBEDQTNJQQ2H7X9W1V4522DDQT8FSV47BAC38C
'SP3V9TP8NJ704HQPE7M419B0G3ZMGBK53F77E1V27
'SP3Y321NXXS9X272Y550EG2TS9ZQPK0M1REVQRN33
'SP1P8BYCYMP2ADAMXPQAHM615CM0RE1G0RWDXN4QF
'SP162W9JMD2CRP9XDF1AJVE2MSTFQNRNPPKCRDA58
'SPSDGXP9QW83AHFJHW335GJP052R4QWXHRVMRNV2
'SP16346BTMBYAC18KSJ1Y4NXCDDE97ZD182G20P7P
'SP3VT2536A903ARTD9HTZEJY3WDWTXYKK68T9Y66T
'SP2PBW5WPNJ88BZVNDVP4KCTN9HJGNNR1BQA6G1W6
'SP12BEEDG31J0AH68DFDJJYZ36D002PKDZCP1DZQE
'SP23X6YK00CCHQSK0AQ9JBPJS58BCFNR71NKRGV7W
'SP222TSPW0Z8FQ2HRQZNJS1Z94S8HE2BQN5FDY402
'SP5FDYA08VSNSEZW4S31G5D953YTVFN0SNG07TN2
'SP1DC4ZMHTFBZWXXMSS83TZ0TW7YCAJ663ZQRBP1
'SPCD0QPKVDYE1VBK616J8RM65W6RHP7ZV5Q49GYX
'SP3DTAJVB27VGJV1T0EX8ST8CWXKJJ3VZC09FX5KQ
'SP2ZD78CEHCFPJ71SB8R0EK0ZMVAGB3NTHK947F06
'SP3M3KT2J2ESBVFN6P4JQMEQFJMHX1YGWBCY0F0A0
'SP17WB59VTMRE17M9MY6FKPHWRQK8KPP0DYH00PNG
'SP3EHXKH36BKE33ZY1VVER4A35ZQD9Z552XQ38AFS
'SP2KSK3WJ1TJWMBWWEAA5043ARA21ZNFCARTHT8EZ
'SP6Y9FQ6HE0HZ4G5XVT9PG0XZJJM2WWN0SXCY8YV
'SPMEQ7E77HBSWJSXRRF4TR428JKY7D7YEPA6XPSD
'SP2YTGQK34RX0G1GAKTRQN8W33CGJQ3F2PKTKE2PZ
'SPSRQRBBD6PZ1PE3R1T80JHYAE2DCQ5ANNC9WHKZ
'SP252R771AE6X786AKZCCXMK4TF6FWEV0G9FP8D21
'SP36CEVWEP79A7ZNR1CCB6QD75HV4ANCVJ7ZVQX20
'SP2F40S465JTD7AMZ2X9SMN229617HZ9YB0HHY98A
'SP1J74SH0NQ5PCP519A8GTF4BJNPT7K40EM1YY78N
'SP2NS999PSDK4XS4K0YK4GFK1E547SQM6V5PWWK2C
'SP2NZSB49K7AXGCJCPZVZDVW1GC97Z8N558QE6KV6
'SPZ7Q5J0NE9PSD7MNRGQ6QR61N9YZRET1S7RH1DT
'SP32AEEF6WW5Y0NMJ1S8SBSZDAY8R5J32NBZFPKKZ
'SP1EPBKHN6PTKE53R1RSDJ8FH531CTNZYRQC33X1E
'SP36NC0KX6RZGPQXR73AMW8R0CXXHS06DRM487A5G
'SP18J677R5GRD7EKK0S096WVQW19SDPWTC0TCBTGV
'SP15Q69FFX3YRGR9PCKS3X88N52EYX8PXWB0NVXC2
'SPKRZWQREC2V1T8T0NEQKXC27MFM2TNZSANYZ4F4
'SP7SKXF3ZR9XM3FTAXQQ68G6M74YJ82QFKRPRBKQ
'SP2VEP75T5X58TDMTBSVH86RH95XFNKAHHJRQSG9A
'SP21A89VNFKAHRFGN0KBXWC97T0EFKXWBH4MJP6MQ
'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G
'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV
'SPJ52DQFJVJACKHY0QX5DRE559MBCXWTSGNBN76V
'SP1X6M947Z7E58CNE0H8YJVJTVKS9VW0PHD4Q0A5F
'SP1XPG9QFX5M95G36SGN9R8YJ4KJ0JB7ZXNH892N6
'SP34XEPDJJFJKFPT87CCZQCPGXR4PJ8ERFVQETKZ4
'SP1Z7XZD0AH8B2MW443QAXAMS4K7NC65Y5YZQSJ4B
'SP2B4M6D4NBEJDDAX22SS34MEPJPPJ3T920V7RHYE
'SP1H6RJ4C117QZ0SFC0EVNEJVESFP4Q835CFP4Z30
'SPM77RGCZF9QQZWNTRQG0C5QCV588KYKTQGVD4Y
'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH
'SP18TXE53HRYQM1KW6961V4FS1C0VQ1JCABE09JCD
'SPJXJ7P3A40ER9WQG888BXCHHHEN9TZX8MWQKN4
'SPBYD3K0NVEZEHFRMNFE3VW07SBX744JS086WJ6R
'SP6CRZ19K5YTT64V8FGD5XTM6JCSP0MP1NVW40RJ
'SP1FXCKY6E03H7HYKWX8Z0DGJ54YDK5CQH1EDSAJM
'SP3AFTJ38PSZQBXZGNCDGM05GR0SFY7HBPZD2ACR2
'SP2V7WNGMFH4BHPKE41SZ3JF1V8QAXXF0HFDM95CB
'SP2PCBFFTR6JG9KJM9WTYEWAQCE8QTWBFEW0HQGQZ
'SP23NXVJWQARSPF1K3TD73MHVJE4EFV9V58GXHT73
'SP3ZKZEFX3K4HD9JXKCKAE0QGBHG0WZ50BRAG78D5
'SP3H4XR5RZ0EEAT4NRYMPC8ZK3X5R8YH7N4P9QS8V
'SP3HB6N6GD0CZFFYRQTS01KHMDX1TGEWK0ZKVP4K6
'SP1PTT5GSWJSD4PZR4WR4NHJZQ3NJEWJK41HV1G7H
'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ
'SP3XVFQ1AB7DD5N19GS0412CG4JG7XWSBYAG98PVW
'SP2PBWHHBGW4KP3E4VW0E9R8S6NTKTZMWHT1RW6XB
'SP3XFSS6D2FPECBVVT9Z0VD2ZNBB2MV9FR8JCD7EN
'SPRVE398N4MY14ZGAETQVH75JFEQ6SZ6Y2GMM65Y
'SPZNABG4GB3Z62R66V08WDWSQ4KPYRQ6EENKCYP2
'SP3KFH61H5QZ3FFCEBECGPACSR6V10GXVXQSQ3KF9
'SP3M5HQJH19J6AKFME7N5BN3NWBXQGBVXKXS5WPRF
'SP3MSQHD6CD47T80DQTHN964ZVMMBX12VM6SC8RDT
'SP3N56EKWSNN2SQ0WJ8MJGXPFSE9TRGCVSTSFG50J
'SPVWPYXGHCBRCTV9FZ4Y8VG83XK5V78VR7BKDJF3
'SPE3KVDP8SN9BD7G8P4NVC5SGGAFZVP7DY0MS7ZX
'SP2326P9X9SJ79XFB96R08GS4NSVYY92SNHEX4FXP
'SP3WHR1CECQPMJE7KZ4X2CNYSYRXA00KSR8SYTXCS
'SPZH8SKGW4Y87PMV00AC0A5QCZSQ83GSHECB876E
'SP2MT9KM3H9AM79EW0ER6SQTWJB2HDB3CY6GPKH8V
'SP3TBSZ85T6G8V91FGYQ3QG8HNR7GTVVHRCW62B6X
'SP2XV2G7H7DC97ESZGFKWADTYZWNQH1QHZWGDDVS1
'SP1CA9W3C35F6WH2MH1D5Z1XQG9595Q1C3P7Z2NYY
'SP26ZXHQ28WTZG3GKR5AZN2PHTR7S9G1YD555BE4P
'SPJ3XAPS4BN9G95SVQPAFSS9N8STS53NF6DYZWT0
'SP2ZHPZZBS25E4S1QVD5PJQ764ST8NYJQ14FWX5BB
'SP2G52KJHH94FDMWW75B9EEB3TRCPXD4NKMBT3NXG
'SP2KSR2XHZF8PJMRV4K420J2DZ90F9NNRAGS37JNS
'SP1V7EZGJAYM3KT3K5H9TH4KGWFKZG7CH5SMY8GNT
'SP3B9R6SPYP6E693ZTYVB1AS81HTJPQ081EZBB3S2
'SP1T4VRJX5GWG4F0PYP0TNYZRCNPEVRBTAWGQQ99
'SP865YKWAEFDF2H4W5WGFQHN9K7EESH0G0AQNAAH
'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM
'SP3C5W9RSSYG3SVP192DCQY4Z2WQWPJ9YEERKTPSY
'SP2SFZX1WJSKT1GA2STDT6E5NWDX44GW4BB8DW4DJ
'SP29T11N6X6RRTJVJ6WV11EP6E1JW1G9YWMEXE89W
'SP3E9D0DHZM0V84BGQS4QE4E8A4GB9WAH0EPZG6P0
'SP2P8QYQX5PMKVBXQ9FWK8F96J8DJXXW7NB7AA5DT
'SP160BBEP7AHT0XV3NPFRB75AQGTBSC1H1QPFCD2P
'SP2CZ9HX0D766VBDFQJEZS3G291PPKSHKS7VFAGAJ
'SP624CC9MSWX8SV0KX02EK30AFDNT0MSPT42XG3X
'SPFMQ3ARM5KTQN5N9H0ATSQBGY7XST5QD8M1CYVJ
'SP606Y9VBE29GX2PGFR41NTE86DDXPW3C7DX7T8H
'SP3H0DJMGJFXJ6HP30B74YGK19ADYMD9H13ECSPZJ
'SPFFG6R4H74R4AQ7X5YHSRH9PHK4573WY97M36P4
'SP29VWA66ZWAR1XQWYNDX9TJTYKFX1ER5MYEF4H4K
'SP302YBD113HAKPSQ3X46KQ3KS48XH6W5T7NRW9JM
'SPK70AN512VN2VRD52D0928MA05JVJ7DY2H5F3CF
'SP19Z1SDK7E1S54041NV70165TP1GD1YTHVYC3YQW
'SPJG6YPP0SDMVYGXPDNBY3WG4RCYVRD0PTR08N6Y
'SPGR0ZRYE9P63PXGEE0KH1888JHNBEXDFRCVG0HC
'SPGEWNC9WS7N7AV8ME8GV6QDET9VQ8BDAM43TBXY
'SPDXC0NM3YQDHV1HN3V9P5Y4P26QWY709NB86EYB
'SP2RX7WKH0JJ5RJJ69D0F4NF39BC38KQQYAJM5TKA
'SP172ERBPZ1QHXN46JYHZ89969J7EYK3B1N7PW6VP
'SP1CMFJW9J8WN7R2XJ26AC90AARGW68R1CWNYDANC
'SPAX2SZCDFTVV76SR4JY4RYEPC5PBH2QAHEJXHTF
'SP9H6RZ3G5VCWNZXQDVWQ32RYJVYE8Q0Y40R7FZK
'SP1F5Y37R832GR5JPRY0S03546QDK5WRTWBP3XF5A
'SPZCT62CE8G2GKAJPKQ53564YTBY2VE4C245M2GV
'SP6ZSYZ9F28C80KW9QGASQ8SQY4K0RFVRM5YM2C4
'SP60KV6KBTVFJ90PFB4KJZ5GV3FMKG661D1NQ6GG
'SPR30KK2JTWVPM9ZB3EE05H8HFDYVSHDNKVFXJ8G
'SP12FQ4P8X6NMRXPGZM4QCRKPBQJWRCGVK3201P1S
'SP1HNS1QE5Y2S9E09MV9WZSKYWAXE5FGMM6RDYB4E
'SP2AZZWG7H99G9JW0PJAAC1JDANZ02GZ9CWGEJQC4
'SPR6AH6APP1D54G68Y7N8983J6AC7TF219K1ZFM1
'SP3VHP5FZDEC2WGF5QCJCXBYKDPXNY1BB7JP8TCGS
'SP1K4KMRT5DCY7HDGSVFH2T62V6C8QVZA72VNS43V
'SP3NX4W4MQQACK08K9MEFX5949YB1CT46PKFBKWWY
'SP1Q3W9ZK6VEJBJYJTS1W295Z5HQXA1FEHGBF1JGR
'SP10TRDNW4VVW85Y2F17X5EB1K90DD0XKG3WTDJMM
'SPTETNN57BDV0X796ZVW41B5VVN99JQRDH68Z5W6
'SP3E23G3EG270XPMFYW9VTFMNCT8RD2W6QZNX59CN
'SP3E0P4SS0B5MQ7JYBBD6JZY01SX4G7364Q2P718R
'SPZKBCMMR5EZ66V8P2V8TTP6QHKC8MXF6CNRE8TH
'SP3D13Y02BXZYVJQE05KEEBQD3S9WE092162AAYR1
'SP1STGN6V7V2X273WCS37PFNVKHAFZYJS9CBAP6YV
'SP3A7S7GFKR8E3TVZ41Z2N441265CKXS0QQ1KZD1S
))
(define-constant list-3 (list
'SP14814KM6CBCJZMD15JJ58Q3E2S3NCB6SDXM8C79
'SP1W6GK034ADAWPHNZE1MDA68R7GY7F1V14NQ3NQX
'SP35T3VRATM64YWPVVTJJ494FY184MY7XBDRT668
'SP35J47SSK3ZNSRDTDTN1XA1FKNK5GQ98JM8NTTDE
'SP2GHDG3VET1QJ8T5RCRRETCADWX50YZYR7EPEBQM
'SP26SB34D9THJ8BMSPT6EJHW9JDGBHWMX74PVDFEN
'SP25VWGTPR19E344S4ENTHQT8651216EPNABRYE51
'SP34T5PTVXDWT5KH10EKCSWD8GB3RYKH6YY3D620Q
'SP330W0W9T52FWXB849FFJPYHNJ0BY6MSHKBDTEYG
'SP30R561BM7PSZXDET9KE1FMMSHDH4TBMTZCPBTTB
'SP15TF0R1GCEFA84WSSRFPWM8XDQSQAJN7QAB31BE
'SP2W16FCKKSP83TA98X3NPAVBHQKS11AR6K4SDF9
'SPSJV562TZ8NXQWFC07T7EHWT7WRVZ1NXFBEG1GY
'SP2NZB3NXSDE2WKGX8MVX47TQ152NK94WJSXVMMRJ
'SP2TTA56CYTESFFME2T2E3SYWPKGFHB3W06JD0GQJ
'SPYK7WJCM4PMCEH4CCM4FHA3RTG946QKJBNN5553
'SPN9SQPATME5FN0JGHHGP9MW1WVW26663D5YN2SS
'SPNEC97S1B9FN24FY560SGXNG4SP0Y5AEWHSVZEA
'SP60EC74B4J7E894CXCSCRHXX0EKSX6P0BSWN1R7
'SP1ZMAMFNXKY6D0RQEQREH4GNXGW81K83SZ50QGD3
'SPMXJDG0B87DDPT9NB3JDJ99F6QW23P9CETS49ZZ
'SP66AMRB818ZSA321SAMMNBV4PEV6NYNNB921MXR
'SP3F85G136JNMC81EJPHRRFD8JQE3Z3JR34J2RC89
'SP1FXY0FASRSJ00BC71YS569RG9JFFG0J51EW42GD
'SP2D0CC6ND3GNREH50MAX065HH2QPS216EWN31QWK
'SP1S2KYD0CEJR99A10SBQRFD668SSKK072PBPT42E
'SP23Z3QX3CPAF7ARD2N1YP4BR5ATZW9X2Z6J0740J
'SP2Z7HVNTYFMTNQ4MSB0BJN6M90EVHHV5SEEWPB55
'SP15PFZSYXPSR8VBBCBJ7Q7JBQC06DKD8DS21FHVZ
'SP06QC626XTXDQ2D6X6SV2E5SVMNKHNRHYSAMN4M
'SP2E03GHWY145XMFDTHX4Z913EADP4RMZ0P0DCTE9
'SP2YCRG9VNTAECNP2NMPWWZD9K95SGS9PJDYYVHAJ
'SP1AFM56YRPQT6Q7KB3XEAETCP9PKR0HPYZP243QC
'SP2XNNRXCQRJ2BENB6WZBP5TX6N978NQNK9J6EA85
'SP7MAP8XJCMRZ9901ETFA3EKVVPJ4X51AWQ2VG4F
'SPQY88E87FNMP1NTY2YQ7X5DPTVY810PS8T6D2Y3
'SP1EMQV7J58W7R5FC7B1VPXZQNCHZRYDHYPX0RRXW
'SP8FTJK8G1FEQGFYXG1TCP3R4MC05GWVSFY8N4E8
'SP1TRJR66FTZZGJWDG3ZK6VCS4SNQ10CHWTTMHMHZ
'SPKAPFHZ0Y4H9ZG36HVGYK9KHK0CC24BAVJ1KVT0
'SP1E4798MP7RNHPVSBM954MSS5EJNM1AC3R53DC31
'SP381022Q6SK26ZBFXN4KE1GW9HY7HXJE8CFNXWQ8
'SP1E1GF69STPETQSWQPQ0RW7V6B8K6THXFF6KJQTS
'SP2ETTCQ007QB4BYE123KDD9SGPKWE87ETWGYKT42
'SPQV5QCYKBGYG8AHB2ZPT5RJCWXNWSGMJKXYG5JK
'SP2W0KJMJB2601KK53Y7F8W9FV5YJ1QVCT0GBJHTA
'SPBFBXTFYYDZJ967X8ZS8BMF53CRVA5HYK8E2X9K
'SP36KZRX2ET7W215D568EDTA4A392EWN14FT12TAN
'SP2MJ9Q5MPZ2XFY0Z84TMJQ9ZVW7JN86WGJQ7SXGD
'SP364VQ58GRKDZ1M0V7Q21D85SZ64XJH073C33KS6
'SPNC4G6P4V8VSYVTW3CGW8ZQYPZ4M51S35AXX5AC
'SP17WGFQPDT20CWHCC9S4VVDZ5NBT6HZ52MGX4WG5
'SP1XAR0A0J2AFWXQXCJ07SPV3TSZV2BCQQAQ6H5B5
'SP14DXQ7A1PVVGPBQCJQVP0T4CH6FTZZ312FSE724
'SPZ0WKZJKVXTAX4M6M6QZ3W8ASCWH1X2WPJ58GQK
'SP2GJ27F1B7G73PJQZRY4J4DZYS7181QGMKZKDEZ9
'SP1A8RJXZYCGY69T201R46JET2M0KJTEF4GAFWSG5
'SP19B1VKRR79SBPVSQX1PDM2DJ0Y2MVA40MWC1BTF
'SP33QDBZ63H63S2T7JFBWJ68P1THW3D2PZX415PKA
'SPS0TB5ZXDEE7D8H2J6C8SNYBV3ZNYQGM1BDKP2H
'SP1Y7D753C87A1GRW0RGQSK461A8EQHWTAYN57G9N
'SPYAX2RNZA18KQA8Y0S5G393QBE8SWPNZ6R08XNH
'SP2J9XB6CNJX9C36D5SY4J85SA0P1MQX7R5VFKZZX
'SP175WK14PAZ9HRT84BNMWASD9YVGM2GNPXM3BR93
'SP31J5PYBW08QNTTZRZTKR0V6TZFXSZKQXM8HR6EE
'SP1Z2PTDPE6GJMTYWX252H674F3B3AXKV724YH2G3
'SPDBATJP7EY8AR42KZF8V5XVBRHYTYWDB86ERC1G
'SP30R6C4BZXKA2ABXRS3D7TGS6RKEHHVRTBGX1K6F
'SP3TF26QFS3YMYHC9N3ZZTZQKCM4AFYMVW1WMFRTT
'SPRX8W53YWFKB61CAMRH4WPT3N1SD7H2KCZTH9Z3
'SP3T7SA543GTWEPD3022B66RYN2WZ4SQW64S686AA
'SPXVNGKBTDFSW6N58RA5GFBTE0K2EQVHG7HG9Q73
'SP1MHYF45ZRE9QCG4SRHB72W65K89Q48FSQR4PDNK
'SPVTS7AM6JD5ADC9C292FMBDTZVA86TKPN774QD
'SP12KK5K4W7G60PGQJF7X674JWXWWF0M7S483EY5G
'SPV66P459FE5HCKXFDFPAG50J78S87NK12VQRZDB
'SP1J0H4K3GCHFVJKTYDYS9957AX97PN52RY02H0PG
'SP3MC0JMDDET2743MWVNATD5V8T3P958PQEGRQYJ9
'SP3WXWMD8NC947EASJCMCVT11YDDMBHPXT8WE9WMF
'SP2C1BVR38WHJK1RDACXDD6A4SSP10X01SVNC8EBX
'SP1NT4GVJGNF7VB7K9C14F5X13BJ3RWH7AXVGD8CP
'SP3X0426D7BXSNW9QN05R3K8SSV4W8WQXFKYW0TGD
'SP3XSEEJ9PBKHTW0C8BRYDY0KDS3Z5ZCJFCXXD51F
'SP3YME0RQCJWQB49S98B7095VNK1ZBK2CSPN37NTY
'SP3JER1QHHQMDMJYG3640MSFZHAS6JQH3C86TNW65
'SP3YSS74QDCSHYJCEQ69559T3YMRRWT4FXK1XBF6Z
'SP3HX7TQRWJGE08G5KWSABQ3CW38X90RY9AJ8899A
'SP3HJBJ96EZ5XQ7J08GJM4M8ZY4NV1PRCKTWBDHF2
'SP17MF5SZF5MSY8TQXK01SZB3VAJTC61QK78WFPHC
'SP1Q97RES9QDGVDQVCB9VASPNY7FSSG4WVZW336MG
'SP3Z7511VWR5WG9J3MAKER3NRZYKWT83K2XTP36EV
'SP2A4R43TCNHZ19AKK44WEBP4R16X7DV4093GQ0X4
'SP129SXC2YE4VM9ZXWXF1WSRT8M5BGAEZ0PQK685D
'SP1AMRF27BKZBMHFRMZWCVA7Y9RB54XF0SSZKS1E0
'SP2M5YGRBM1WD9PNFCS0SX2S15PAVEGN9B8VAAR0J
'SP2H15M15GTJJR4BWKP948JEYSS8G7H599E11GHA6
'SP116PWFHERYGV4NJF2NKDE9DZ2PNRFX41NS2EKN
'SP12FXX43RDKMHD2BNQTT6XYQX4AMEEG52XT36N9S
'SP13M69F9YG8XAQAK3G1MDSHK5BHH8WQD8E9EDGDY
'SP141ZVAWA6TC8GMB82APSD16J26KK0SXJXD5SWEV
'SP142BS3DJK11EZMV1TG47MK9MG3KBY0405A3QD7R
'SP14EC2HB138R5Z30GS0C9M3Y804D7MHXYCPY5HXB
'SP16C65ZWQ1STZ7DGVVHC8A9XT6MPD3PXCBGHCF86
'SP17CF2Q36TBYPWE289RVT4JXF7AMQKN30D1Z8QBA
'SP17XZQC08H8ASTGNYJ651YGCM5497G9TX8V061SX
'SP18SQ92V4C8HG48CPZ32MK3V4PNJGK25EAGH75KT
'SP1C7GA86MKK3180KHZVYRWDJT60ZVXF0GXKA8RM4
'SP1G6RNWY5YMF61XQCC1BF9VVZY9GM2SC1P43KGWR
'SP1GH7Q7R73X27TQGV27MVKDHR4YF83HZAMJ9K5YH
'SP1GMF5DB0B4ZQTK1028PDE3KYH16QVA8K1WTVJ6N
'SP1GNB1KSWAB2SK9GWZ9A1R8HSYKWKBBQ40QP240F
'SP1HW4T07QJX7MTYQMSNZZ4CVPXHSJYBN6N4ANJTM
'SP1J2KC8MXZZNP47SMKT5NNHHP9B2K1WSD5YE82XS
'SP1J5W1FN3P80XV1YK14BKC6A912WWFGJSW9M92HA
'SP1K1FB9F1TMRJMWRQP8FCM28EC749P3X5WX0BK0G
'SP1M8DY6T039YCZADJ0B7W00EZ0AH0R6G96KPRKBE
'SP1MQ7SNBKZDKPE1A8HHVWKRN6PPESH48WNQVJKBY
'SP1N6RYA1NK8TK8DVKRKTJ16GADK71ET6X1CV2RRE
'SP1P94TYSJZ25849PHEBR5Y4J9BCW8MJMZCE0TD4K
'SP1QRFVDS76WFV5XCDHAR7FQYTSNM4M1P4TGFZRK1
'SP1R7RDW631XH0HEX52CQ4KD608F7DS0EW8BP1Y6E
'SP1S9NMJEEMV9R8FWYZAX98S90FJNJV7H5V9HGFX
'SP1SGWYFVJGHJDVHP90MM89W563DBQGK5N1QJ52T
'SP1VMNBYM92RSPMYXSZE4N2SHHW0N38T0XA4ZJM8E
'SP1VTN0BM5VQBRMB3417WND3GSZW723086AQGCYXG
'SP1XF2MM158ABHSKP5T4SX3FMV7TND882EX744N2J
'SP1Z46A6DNM5RZDW7DDTFXCQ2S6Z4HEHPK3PG1GMG
'SP1ZJQRJ7TT1HA636DQRJ7PMGTP5GN89CS7FQSKKP
'SP210TT3W8JNVFMW1CJ81J2CTB8HYC5HHEHA8EAP
'SP2191W2RPSAQK81QHZ9P6BNSZDK1S72DQG2N42VG
'SP2401T9DQPVBFBCA9MGY03WGF2MPJR00K7SRMR1R
'SP24TD9G7JBNMGT3S3AJWBF1YS3E6A03D2ZT154J5
'SP250NMVYJZ5J9PMXVYM4HHNCGT2QNERHBZQAHXMS
'SP259FPQ5JMEQD98E6DC9XXZYW0VXYC080DGWTAA5
'SP28KECCXDDH072GG38Y9P2KTAF97YECZVHWPYDG
'SP28XZ5KNDYBSP0KY2ESET5MWQ96B398T325B8EKG
'SP29RKAMSY8HNDC1VNBPWJVAN9C4CKG5J3GA8XJB
'SP2ARFMQ4BXJ5K7M28QDCH6JV3WY51TJ14054AENV
'SP2C5ESG78X65N2C9BWAE733JAVJWGV44N621518T
'SP2D3RWCJEB13VNMXKQXPTGTANJPXWZQXA4ZYK3AR
'SP2E4HAQW0EPMPCP58H2R2GTY17KHDG3YNCNMYBQG
'SP2EV31SMG1FTAB89CVRXXZEWWE0M9AXB9ZP8S4NB
'SP2F804HS5987TBG4YP6FXF1QNQTM348CXHJXTF62
'SP2FK2BBMKM2FB9J7505DA8ZDSJ1F8MNF2KZEPJ1K
'SP2HWMF5Z61D4CYRB6BCD1VHWSC1XHQ3GB8FJZ730
'SP2JHHPM8CN07GRNFQ0TCJHG3T52XWNKNK8WVPS37
'SP2JPS8NHJMGYZ9YAYGD1NKN3PQAB57FCZ8CK4ZTM
'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52
'SP2KJC2WBNJPGVRB0GG30666PQW96MAKH7YWGPWB0
'SP2KK2ZM5NS03TB8GPZKSM3XQ82SAQYTE5EXQD8KY
'SP2N1PFF13V26CQE1R78Z6X6NDCQQWCG668M3R8V3
'SP2QDMH88MEZ8FFAYHW4B0BTXJRTHX8XBD54FE7HJ
'SP2QND89SYHEPQ63QRE3GVKQZAH1FGXP0YJG2SATE
'SP2QR6NNM61XJM3MJCRFKQDMT558M2735CKP56CBD
'SP2R2KM14QJ3Y0T7T5HCMB499HSKDEKKY3RKCVZ3Y
'SP2RBMAXDG42ZETKCG5Z5T13EB4H6WX11MB6VFG95
'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM
'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8
'SP2VS41C9A89KXKS23J7B3SZ46H8SY1595KJHS6W3
'SP2W3Y4VWXSG4QBXVY403N7ABGJ30PY3EHNZN8ASP
'SP2WAVAZHWND7E9ZQ2G25WG1MFMAA6191B4DB56CC
'SP2WBJR206HSZQYSR7QB3Z2Z10BNQMSX1A5X35G9
'SP2XX8XWYCCMQP26QHJFD4K4WDYHYNM6SKS5P8PP0
'SP31M74SVGHZHZ35N71M92ZRHNYHX2TAENMKK20BV
'SP33SCE1F3J9N6D4ZFY9AA3GR05GS3112GS1VZDFC
'SP346F3SD01P9G47WP8CSGYTD64S7WE70H1BC1F49
'SP34ACC4Z1GTY9EC17A01PT059CZ7ANP5A87NJXBF
'SP36KY6SG05FK21AZGTNNY7HD5CPH5MQT8Q85HPD8
'SP36V8CEAZ7RWC31VFFQWJ1Y6H802GXRJ0YCC24XY
'SP3847E5HTEJCRV91G02XYWHT2GPH9R9Y5Z7DY2N5
'SP3A5VJWA3CH4BM7W08APVJKJ8MQ7PXXFACWAYA2J
'SP3C9XN6MPRV5B346QTMMC89PG1R9VGVKHQ7PPABZ
'SP3CXP82SP2M920C5XX42RMAJ3Y6FS0KS5ZK1N1BC
'SP3D9TPSQXDTB39KYF293XDJ5MC4PYJ3HDRQD932S
'SP3DAVVBBJPKV1WDHBV78D2D6Q5F11PDHW3H9MTZ3
'SP3E4J49T5VT6N6VZTV5AD4NEXRTZRYHKKH10TZPH
'SP3EHZRHKV5Q2A1F6ZSHEK56JS3K3BMDJ8P1N54VG
'SP3ER62BVZCXVQNE8BGETD80MFYX7G6BZ420H300B
'SP3F45128M6FFR0HGEBZ2YDH0AK0GWC6CBSDCHF83
'SP3HMFZYT6YB5JWCZE6BR79M5HNRNQ9515A5DQA1G
'SP3JCJYVVZVY7Y64JYJ57JFS6FM7ASHX6QDTKFXGY
'SP3JPR7XNR60AMBBEZAGF1YHRSFY1JCKE14HBKGTY
'SP3KHBA0SQ2E7TJT97RE0EG89R9ZR9C5K3AGQQ0G0
'SP3KKWD1181ZPY1PK7NVCT9QJTVW2YQ9PPMNQTB9G
'SP3KXV3J6MRHAH4H89MDS390X1KS0GQN4DWQ5RFVB
'SP3M3MGSZVTMQ7S89H72JXGP6QPHJE0E434EYRVWM
'SP3N1A9DQ5GATH4Z81HBZ13GYM6J3HHEP7N90XMZG
'SP3Q1CZZNXM95DZVTB7VBND4FW4B2E0YXM2KJ7FAH
'SP3QC7BBWP1TQSXBG0ED8KSQ1T38B5QTSY6Z325DE
'SP3QD59YEP9MQ00BVPSD894AG1XCQQ2AY4SXF9F8
'SP3R7Q3QMTYC4QR0RFDR9HZBWNBNBNDA7S549CR6Y
'SP3RX7G6XQBJ9FW87NNAMEFP5VJP6Y0Y6RE52J0GA
'SP3RYDKM1K785D2133JCSK0NE69Z6Y9B32KD314YF
'SP3SGYDM6PGF5TC0RW3CX1NESMZ96BH1TQ9B9ME8X
'SP3ST6K5W36V2MTSNYYXE56SCXR7DGTW9N4NMZHYV
'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3
'SP3WNYR6YD1YHGEJ5P6BS6Z1P91HNCYXQ5WGWMXRA
'SP3XEW2B2HNPF9YRVX7E4PHBD4SVPYTEWTTT6Y9TT
'SP3YPWXCCGDZH0Q784T5TS3KQMPMJ5NDW3Z23WJB6
'SP3ZC5SVQV5383KC2RFE0P5WY2GAX7DDJADJWBA67
))
(define-constant list-4 (list
'SP3ZVASJCNQ44A4YA5A1GPFFY0NDT77W8FV73QV30
'SP4DQHVX11XXG4XN97HR845G9V51GKGS05Y86NH6
'SP6DANYRE7CWNR90B43AVJFRNBMPJDNTJMRJ9E2F
'SP6RJ2BZKNNC6DCSC1YFZTZRGDPGNCEC6S67CCPP
'SP6VV2AFXM7ZMT5V3ZAE8M6JXK9EA5N1GPFHJC4M
'SP9ED821QKP4AEHATX7T6PFYK0CSKA791TF9N38X
'SPAA5YZ8NFWSKS8VFRC16N3AW92KZBTQHD64JQ17
'SPBFZ5MRGDMEKWNQTJ57W2PA2GC0765ZFC5BY0KP
'SPCA1WAGTEA3Q35YHB0FW9YJPRX7AYF2PED1N71T
'SPE2DPVFVJGXHTMS9ARTF15S2PX5Y9E0VBCB2H4J
'SPFAW0W7Z7YR099S0XSQR0K3V5HT9YVSGREHK500
'SPG6E41SRHAPDQRNYRWJBS9JRXVR4H065X8TVRAC
'SPJSCH3DDEJ8GQPGYZBHSB4F3HX5Q222CG89PSAB
'SPKCN7FXPWGKN6NSBHYA2EJG8PHF451B5BMRXGP1
'SPKGS0Y412RTY88A4A8S1XF8EEPRM3BVJ4FJ8GYP
'SPMPV5BSPVN9E287S0XEV8T39W9BPNDRGTM2KA5S
'SPMSJDTTJ4W91KE70CFZXS17BHGT19W1ZJWAR0YK
'SPN3QS2Y9M9BHQ85DV0MNRRW23QN9TKB3SVC0BX0
'SPP3ASPD239C597A90ZR16TS6G3PEY86T4HV6NDT
'SPPQ99FXEVZ2M4X2FGQZ3Z9JYXF25MPE303NEGT2
'SPQRPHM633V8Q2GZZ491WT1CPETG4K741984429
'SPR7GA14THRPZZDRSWBYAY5QBMVED8VKQYAS3SS3
'SPS2RBYAXSCXMVPYXSG724CFY4W2WA2NPG44V191
'SPS6543QSVCWM0B1CQYD67RV4QP3MGFPJEHG4FHS
'SPSHJE4F0D0ZKJZ1DVXEDFFD6AKHHKF31H3M77B8
'SPTE2M6TA977BZK6G6N8V1XB196YD18VETDR67EE
'SPTWFHFDX678Q2YRNDHQD0HPEF9E2AFDSDRFNANB
'SPWSAG54TP7G2JJSZGJNAPAJZCHBH5X4APE315FR
'SPX45ED39F3Y61KG5MCRG1ZHJNM67W7MA0JA9BTJ
'SPYST1F36DCCECCBQY525BPKH1WFSEX70V1ZB1CC
'SPZ245ZBKG60RNA0AVX1T7HK4C1B8FZS7PK3VXDE
'SPZE89TY5HZPMHQGT0WGQ2HJHEJPHYF17YH825H6
'SP23H2CGE75B251C6BR28FS5K5Z57HR0EPRKHBTXV
'SP22N5K9NH767EKGAGZ6HJ76Y37RQWZK0ZMBAHSND
'SP2PFNBABRMJGWC8MMQW4Z8Y6MGA7CVMZJAM9DHR0
'SP2PKDE927BHCD3FSVW80WYW3VRN4V26JXEZMR0NH
'SP2PMPYWST8PC53Q36GA9PW16FZV4AQG23FMXG975
'SP22KA0XBTE5XDF02VX5MC7NPYZCHH0FZKH69XY7W
'SP2Q5PTH6538318FE2B90T6P1YNRZAV2KAD48Y2WQ
'SP2Q67RN9ZVVX0KDECPHEP2PG3YEHJZ87WCX7CCWX
'SPNYFP2E7517XSVN516XM4QVPAG5B0APHFDY6QYF
'SP2QJSDM9GC2191A591PFJYXWNW8Y2VMPSNMZC7N0
'SPP39B6RGNGXD42ZCDF8XDCT6RWNQ322M58NBKSG
'SPYMQPZY0YQBETFNHNB52984SYKJ6FHGZMW59MHT
'SP2QSEFTCYJCEQ3K6H3DEVAT7Q86GDMWCBNKC8ACB
'SP2QV9WT337Y1JZYS9QZJNY9FTDHJ48N4GQRRR9Q1
'SP2QVZ8EPMNTAA0FB8YJ41F8HYX3QXHZR9QXY44W2
'SP2QYNBJSZDX7M8T1HHFKT11H9GVJ8VR3NHM73S0J
'SPP3HM2E4JXGT26G1QRWQ2YTR5WT040S5NKXZYFC
'SP2R4DNJXP7M340BBK6G3GEBVFBC3D7HK8743F17K
'SPPAGNQV4TKA6SBCV239ZQ934R0ZNAKZHFRR32RZ
'SP2RCMGCCXG0J006F4M9HJWTWEZ2SWCP6WS433CWS
'SP2RCXT3BVDA3RQ0S00PZZSVHNFP9D63QHH3M6SV2
'SP2RDS0Z96XRF61CDT5Q2AMDX30T0GEDFVF29ZW9Y
'SP2RHTJS51CJ714THBEEEPRB2YZDBMGDRQCVFFAHJ
'SP2RRDWA0HD4D9M1JN06PB0CCAFAZZFA83STHSTDY
'SP22190Z5EDF25G5AGFCDV24HTF8GHWS4GN6WKE22
'SP2S9GJ32DBX44CK8HV2P6781EA388PZYFQRSKR5G
'SP2SE1WTDPJEJ417SJEJPG31QBP1W3SD9CGB4759A
'SP21BJ4BG4MBVP9AV8HMXX1VYAFA31CRJR2506WW7
'SP2SQ3A4E3BR0D8QJ10K7HE1NS28935GHAN4GBCA2
'SPPC3WSS0W4V9CM0AX2MV4WPVR2NYRNS6P6381QW
'SP2TB9BR1WQ8TZTACRY4MWM27KGR85VQAM8BK49NE
'SP2TP96DZ67WS1KVDEE5EDK67CP6KRG3DHTHZ8ZQ7
'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3
'SP2TW1J31HN0TP3G2CAARQ3ZED4H3ZSDKZJ5C6AQB
'SP2TX67N0B21SKMR919F7HCEAZNY147MWSPH2B93G
'SP1180E4APAVXN564T8RAD272WGTZ11B89YTS4XYX
'SP2V7EPA4FM5WEHSHBJA7P3DECV3ZQRPHCZKKCKVA
'SP2138MWFYGQ4FE641W96SXPRA3B0CHZJ8B9NNCF2
'SP2VC4CXTWYRZEV7MSGXPNHE739N14ECQWX8JP2BF
'SP2VDPFG68TBPA8B1J53BHKEVYNEABFGS3GEJDCQ6
'SP20S9B0C4M0MVBPGTNNWT8WZHKAAD9PDW22CSXKT
'SPPXHPRQWAWTR92N3XSA0MFMB4402YKQY15HEYVQ
'SP20KCVZCG7GYWJ3H4NHMS2ZFYBHM7G4WQBP1F2KP
'SP20FXRN0MRDH6FKGNN3T1YPJN90VST912998TY1Z
'SP17751ZPC34NS173PTHPZXXQ9DX1R7YP9E0ZC8RS
'SP2W7RC4ERS8XKN83MR2KJPJ97DWN68K4064Q7C2W
'SP2W809Q4T3B7CVZ216BEA3F257BEHWYHC77GKW7V
'SPQCAMFRAXV93WNZHWXSDHSZGZ72G9RJPHXQ8CXN
'SPQF5KEFHWAKTGNQXTRGG233C6KEKARDM5Q2A7EM
'SP2069715QFEA9GK8Q2E7QREFABGKRP78C08NTDTK
'SP2WXE5SEYPDN5KF63BN97TADVGBWMNK5KJ6Y996M
'SP2XH2CQ7QSEBH5FK9J90QYEZ9MTBZXXN7FP31F5T
'SP201VQDZD54J2RM07N8283D80X7SY15ZBGCMRB8T
'SP2XSH77HP616VKM6SV83KAV0G5D3M6ZTM3WM7PFZ
'SP1ZYTEQWM9KDF7D9YEE8DCD6MM8V44RP7N6Y139W
'SP2XWF5KV9ZC8NB5JD0PJ6BS4VCTGTS2V4202CZ8N
'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R
'SP2XZXH4A7F82FJY2J98Y2V90S05Q4HYMNTNDS50G
'SP2Y4B8EWSTTJJJZ7C2YWFS545HCS9YGFEF1PJE7E
'SP1ZTC41HNC5PS8A7K444GBHN4104JXJ5EWRHTDM8
'SP2YFRWDHK9NEHC0Q7Y3G11DET6QSMFT9F1068A65
'SP2YH9A4K2EH3ZE4JCBH8NREHP5DT49HK812AH6G6
'SP2YJEE7EY54MPEZ6X3BB126XZ9SN2CA9JT66EXXK
'SPQR221CQKJBW9VE18QJ6N5SPNEG1W1JNNKK053
'SP1ZNJWDPKYVRPP06SE3DYPCMQWSRXRJM0YC1C3VT
'SP2YYBEEPT5ADRZSJJKHF077BTEMNE0YB1FBDC2JE
'SPYYBJXVKB214QG4TDDGWDN8M5CA4NQX2540HQFM
'SP1ZMZ2ZEG811WM7T9XECFM0V14D0WCRYA6RRBR4W
'SP2Z9B5BXTH61CHSZRP49KJC8N0E2H3000A1RPXF9
'SP2ZCER0Z8VVMCDA3817SDFVES833XD9ACYDAFH1T
'SP2ZD1JVPK8Y9SPBCSNS47GY5XYNM9NHJ8DHST3BT
'SP1ZMQNZK293A6ZZ1G51XS3T0F6GJ6P9GV0RVQ4SV
'SP2ZFHBEJNP50S1W9V0R540WNW0PK9VMEVMEH9W5Q
'SP1ZJNZCGCBZ2CMY9VE1QNC8W12SZJYE6FJTGGRMT
'SP1ZH36Z292CHQTQ1S63HXBWVZ6ECSX5SXS8VYGTQ
'SP1ZC0ZZF22VSA7E7XXPBYF5HQST1542T0BQJBAGD
'SP307BQHCHH036TZ2SYQG0C01AR5YMYJ9J1XHNNR4
'SP30AF1XADY530B2MTQRNP1NFDE22A4X51QZ056KV
'SP30AG244B32NQ90AQT99P82PRKM4GWD0JYBMCCP0
'SP30BTV3905TS3A83CENN271AHZHGM4C3FDZX3JNR
'SP30E4WCX9NBXBD8PPR0C93GJ2CY9VQSDWFKQ9XE8
'SP30MMKE9KF93DFG5JZXHJV8AJFSF5CMSV8Y32EGX
'SP30PEDM150G80TJRRPG7V2Z35EJNV09GCFQH9BNQ
'SP1ZBJGKDPTH9KBJ60Y2PD2MEE38JN9Z6D51RZ3NA
'SP1Z5W0T6EXVRAMXE88KWRSJQK7CB1B5V0271TJWT
'SP310C7PK2VJW1TKJDHADHFCY65KTMCWV4PNJ2HKH
'SP314X52J8X4Y3FSVR0MZ1H8KG1BQ2H5QVXB1A9RS
'SP31CXXYE8ZGKA7RTTVHDDX7K5WQS8DBNR1GJPCCG
'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A
'SP16RJG4X53JQ981839220E3198ZFG06CW7TPA3D5
'SP31PV6X2Y2NE6887KQWT7W6H9DYA813GM11Q5MF7
'SPQSTQ9D6C26HY3P8GF7G22Z43ASD42YBCNFW7AZ
'SP31XWSHGBK7AM5RAW2QXP3R49C2ANTN8S9VFYZWJ
'SP31YYKT4Q19JD33J2TEQZ20GSH142PNTHHQC5AYR
'SP1YR8XPY3JJZXQ91MMFTE1FT7RA7DF6NAWMQ2C84
'SP1YER43GXPVTW7G4EZ54PGNQEJGV76VTV8TCA9J8
'SP32BCZHXNPMT7F6HTJZFNMZ87BKNK7K23H4MDRDH
'SP1Y90PSKC1M9K8FHAFW4ZEZM7PABEZ97Z6D26KMT
'SP32DK6SPVG9NH56W36V7V45G4T5MK1QB3JP5QSS7
'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F
'SP1Y4AA1SSX53ENFKRV7W1S08NSPTMQ2HNHCKMT4P
'SP32TZP239BSFJAXGZSRF0M8ZGNRSJTGGT623SXZC
'SP32VSA24M5EDET10ZG9W1TR4SZ24XDB1YDYF63GX
'SP1Y3Q42KKR8NNYBZ0TSRXWH2Z5GAW8RKNE96R61E
'SP337H73M92XRN5R66GJHDB5RAQNDYEWDJJQXAAPD
'SP1Y12EG7JB0ZBKABSG232FRDHF4G5ERD26V5KX5X
'SP16PP8TV1ZE1ZC8DFQ017GM17P5Q17A5R498NMXJ
'SP345KRJ8SF7KHRKC5Q8DCB53Y2WRMF83RMCX2VWX
'SPQW8JR9RZ9T3N1RA4WFEPFKK505ETRZ44SDGB1E
'SP349TXSSB54EXQ2MXKTSR967TF68V513BHCRR8V5
'SP16JKVNWBBGFPZXYWQ7YS95SZKPR3CMJHFHTM7Z1
'SP34DCQYT1WNZFDE1MKSQHGTT2ST48V3NRV36H4A6
'SP34M6R04MS19EW426W4PH9663942TRR21YYQE5KY
'SP1Y0RHD79NASDZZE308RWGTN8MCJHK9ZT79G79A6
'SP1Y0DKXT7AQ2H54DQWFHGZN5MEGTRPZY4P6JT0CH
'SP353JZBY0GBX3K4Q7389KWT2JBF473JR4PE2XZK4
'SP355N7XZRWPV0AT7Y0ZY3VBHQK1W5Z8337JMZY7Z
'SP1XF3WW6GA30KEBNKJ795M504ZEXMSG6VA5EV0E3
'SP35H2XNSFXGMJCMHNCA37SW6PAPGRXTCRVJA7M2J
'SP1X1EY59D47ZENYX0BQYFJ1YTVWH1R9VTC980AMQ
'SP35Q9M893AEGZWBRWWBNXWWH7RTPC6WKD6XP5HAJ
'SP1X11HKCJ46PT9GSRS1PRYA53NB1VZ5P2B7KGASE
'SPQY8EQ04A653PASZPN3PE8E9CCVNNWC6J1AMSB6
'SP1W7EGR4QMC6NBGQZ49D19S0BGXX4VNEXA2G71RW
'SP1W23Q7P7P12C1FQ6BXV85XPD9FTMAGRB4VFWBGT
'SP36F3NA5S64EJCCMZ50Z9PMRYS6NKWNYAZK1X4D2
'SPR0ERQGYW544QPS4Q97A2SVDG2JBBCBJJ71MA6C
'SP1W12YAJ4E3G31PX863QF1SZDEZCB687XSGZQX5P
'SP1VWZ87JH5QVYB1FZ9274Q597XR1ZAQ99KGCTEFS
'SP1VSTFYS6CDQ5GN3C1PV0VE7XKNWDATBNCW61850
'SPR11YBZY0MM5AZFTQQEX1X1K9EN9TZZF0G21YBJ
'SP36XCMPSZS3476GBQ81RE74C13HZHPJKRZYSDRQN
'SP371XCNMB1RABNH4FP2175GAJ9P5W16V4AE8766A
'SP3731FXN86HFJ5SH525315DD37AA9NV5TBZ2ZKWX
'SP374Y6TQDPD2C7XQHSVP9P744BCYQMWBZ4NENC34
'SP3777JHDE9PT5DSQDGDJBE7D0QYNKJEYSN0JKV70
'SP37C6HQRQ4GYP1EMEK7KW31HG7G5JNZ5ZPFQMP57
'SP37CZJAKY2EQ7RH8HBDNTJAA4KDT4J1TBX5SEV3J
'SP1VK3F98YMR1JFMZNJJ5MXCH2RGBAP5G2DZ6MZ13
'SP37WP07K6M2FEBEDB7W97QQ5WVC0JWXQZ94DVCJB
'SP1VFQY4W4Q9Z7F7R4MX30XKCRVR17JQ323CT22PJ
'SP380D7D0A2AD1CMY8WQ88J5ACZNMKYJVNEZE0DZ3
'SP1VAS8R61PP03Q11FE296YZ3XGM2FZ42KR40ETAH
'SPR2996PNHR8FW4KCCX9EYDM7AD8DVQTBQNM2ZVX
'SP3866CAJYT8HXF36JT0B24DD6WPFSSEWA9CSA1W9
'SP38687CYZ2EK6WM7T7P19R7J1G2WQHKBWQ4J29NY
'SP38AJ28GP1Q3E40QD8K3WA7JR315794Y29YWKAP1
'SP38CGR9HQMP2PCZ663HAC2X6RD7E2PCV3DSFQ7HJ
'SP38GBVK5HEJ0MBH4CRJ9HQEW86HX0H9AP1HZ3SVZ
'SP38T78N96Q5TR3ZYMDAEEMQKCDC2AD25ARSMT5AR
'SP38VV4YM3MEDRCDF77HANWTGVJ5G4MNEDTF951QS
'SP38YNC7199FYZQ74KBXP33HYNRRQ6BYNK8RCERP3
'SP390E3P44T0XJHWQ7C41R4Z5G76K79TGC7PERXJJ
'SP397HG9F74EN8HCES5G72832RNPYTHFYFPYZQQQZ
'SP399W7Z9WS0GMSNQGJGME5JADNKN56R65RC2E8B9
'SP3A3KBET6JXHCHGQSE8ZMTXE4ZNJ4QF5TQWHWYSE
'SP16AZ9829ABNJ8TXV57DCDP6Q67VBSA43RYXC1F0
'SP3A6SRWC0295MPY00805CZBWSF1TAY8DWMR05XFM
'SP1V0JDB6QDN84V4XECGH7JDCHRPS89TPYJMYG6XY
'SP3A7SN9NXRPWE418XMM8QNA8Y0P660T3BD0RXARD
'SP3AARS5TBY5X7ZS7JJHBKNND3EJME7AD2BRX1V4A
'SP3AC2H5TGJJYM7XHF366FH7M0GAW6QQJZFZY0QJH
'SP3AD54KCM4K501K31ENVAAVXZ747KQV1RC5W8ESK
'SP1TAS8DAT68SRNCKP2N0DBTQA8SHMAW4D5P50XHV
'SP3ATSKXC6M2DMN001W20D2GSNEJDX1NXP6N85JEP
'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8
'SP1T91N2Y2TE5M937FE3R6DE0HGWD85SGCV50T95A
'SP3BPB30CSNHF29C1SEZZV3ADWWS6131V6TFYAPG1
))
(define-constant list-5 (list
'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD
'SP3C1BKPF1G86504S5RN6ERWW9YDGT38CE454ZHDE
'SP1SYH7QG1YBA5378CSK4EV7WX7RKQ33FDX4QQK3P
'SP1SXFE323XBDFEK6D5BV7P20BD3B4Y8W1RFN759H
'SPR5HXKRK4Z8307XWS28CWACDA0AYK0GJK77DVZK
'SP3CE32MAM488RHSATA55ABVXF0GKZFH8B7BKPF4Z
'SP3CHBBRE5Z90V62G31X0K8SPC60RXX9WKFC643CB
'SP3CJ6V0E9D2KTGSHYNJ22GBCA54G8ZRZ0MRCM25V
'SP3CXM41BTG5WCRQ5PBX96PNTXV1GKC5F2M400RZ7
'SP1674Z16Y9XVA6H2910HMYF4KH5QC955ZNHCHHC9
'SP1STDYW7BG9E8S4BXSRH8XRA5C8BSVJ4YJJ2D5WZ
'SP3D5EHK8SMJ3MMJWYCAKWJ2H4F1JQX85E33ZJDB9
'SPR6RNTSP1TRMNXG17DHN7S2EVQ4AVDK9Y38MK88
'SP3DA62QS7XXZ0D8WYNPDYT29R4MVV491M0J232DX
'SPZ0FZ0162H8YH2535YJF6WHYMDENAS0FHXDGGR4
'SP3DEZ8G52PRAGPHX8V7G063KMHZCPZKA53FYKMS9
'SP1SGSW8M204HNPRYCM695VJ5H4365GXDBA7VTZ8E
'SP3DX6CF5J8XYAF1CG732Y57Y37JKF84BDP94PQVK
'SP1S7KMEZ5183XCBGFASM2M9KZ9R63DS6DV980DJG
'SP1S6H6MYJXGNDNQXK9BH8G57XGV9SJ95ZN8BMEVD
'SP15Y0FKNH0NSEHW2N48MG764WZ738KYBR782MK4S
'SP3E545ADCKY56EVCXZPA87525VM0ZA8DQQAEP77Z
'SP3E5SQ8X9HVT7SJDQDD2EBBVE7SS55R04KMW7JRG
'SP3E8RSJ0QSMTER13JBKDYYCHR6DV3WFHDMPH3YE0
'SP1S2RQV0JCQ1P4PZYFHK1J0D5R1WNPH089EYJAF
'SP3EHFDPJGGE28TKJG9E5JJSR2HEEH0V6BQZPK1JR
'SP1S1FJQRNKXA0GDX3XFB4ZYHFW1DABN0FAA5PWQM
'SP15M881ED8JGZ5CAXTR6VM4FRH61C0SJQ3H9BAFR
'SP159A7QXQV1TXC7S9WT9MB7F23WKP8C5MN6VNR98
'SP11DXPHZSZH65ARZ13B5TV5JFFFKH19PA0RJB9ZB
'SP1RPZRNM2C7AFEAWY6X6HXGT4TVRQF74725SJQ41
'SP3FBR2AGK5H9QBDH3EEN6DF8EK8JY7RX8QJ5SVTE
'SP3FZJR1F2E2KC6VR97TKEC16PDFPWFWH43H1TV29
'SP1RPD165KJG3EKSFXE6MW36XFC3R31XX8XQEBAWV
'SP3GMFWCF1S8EQZV3ZAAH955JPCEFV8RJFYTRQGBZ
'SP1QVY5ZFXHK66K5YJG166X9VV7W6DDWVC7V2NWD1
'SP3GREWB05GRB9P6DZPTRDA7VWG720HYZ4VT5P8S7
'SP3GSSJ0JR17Q8CE68S976HNDBM3V05T9APBJ18NP
'SP3GT6YMNTGNZ50RBFAPR5WWJMQ2XKJCJAY6KQTFD
'SP3GWCBBCGM8QDADF7V928CDM31S5BKSC4H9GGQWD
'SP1QGF6BRM4NTAADMJXGW4HJYC6Y0FTKFESTHNH4B
'SP3H39CMMHZ5J84Y5MRTPDEG7QQYVWR2ZYTN7DZPT
'SP1QEV6AN3G85VJPHDP7FDNZ2MKQ5SENBPM2BASM
'SP1QAY6H9FRNESDTC1W0XNP5T2C6GAPM4ZQR8HZCV
'SP109XZ34VRKXJDMZD0PZFWFCSCTBM8NY27DJH7JB
'SP3HN698895PAF4WMVN4H02EEV7GW75WJ2GYT07SY
'SP3HN9FZEQJFR26S393R3SP7B78SB0TS7K17G54Y1
'SP1PZ59BBDBA6JKSEW4639F946Z5SSHYX4E3Y4S3H
'SP3HY8Z7BBPVJH7PKP3VBCEA9DE8XATR9ENR39QB3
'SP3J09ZBRH8EJYEJATCV7E7BSYPE42KKNAGQW00EG
'SP3J54WB9K81BX6B4BMCRSB7GRW9DQDE80BZH8XE2
'SPS9E2ADF1035YAW48E1WYMVTJFC9VMYRJFE6HW2
'SP1PN944TZY06602036V2MQM1WEDX9JPMPN521TEE
'SP3JET5YK9VY0RRTX6JJYXRM3T56R0VTVA11MV8P4
'SP3JP1QHR31X0HRX1VM0SEMRAMCEAHC5BR626QX16
'SP156TPWS4JGFVH615K63T22WQAQ0XWY8ZNY9R7Q1
'SP3JQHSYDFY5SJB2XXSZRS6D31BY5KBNM7Q8KQFEG
'SP1P637C9NB6GSK9TY8AT8SN3QKH1WSV5ZVCZZSKS
'SP11BX8MW2ACBQ1JWCBGCMWQBGXV9677DKJ68TA0A
'SP156PKFGDHNQ5322FWE631WR391K7NMZ091G3J6A
'SP3KW1JVCDNEVKN3JR4TGSCS9FW1T403WAH8BFNWN
'SP3KXQWSKS5A2WSSD76AB4Z7TZCQZPE3PQFGFPBPJ
'SPSMJE6H7YH9RWWXHC98YHHN26F95EWQJ0TWJ4JF
'SP3M16X85R7ED2RR70ANNB3X0HXPHGSAXBEGGZKK0
'SP14ZYP25NW67XZQWMCDQCGH9S178JT78QJYE6K37
'SP1NS740KN76RGYY5VXWRS6KMPQ6A9X8F4S0N6TVS
'SP3M72S3S5085CHCMH6KWQG6NGFT9MYFJRZX036P2
'SP3M8P86P10Y43KYHN7GGAYCYB3G730MFS7HVA84M
'SP3M9RDQJFD062B4R1GM0SWJ5A2VW6F618J5QD95Z
'SP1NA3T0PF0VF3VPN39HSNVSTJJMVSAW5TYYVRTZP
'SP3MJSNG2DPSBPPCCBFKJF6MFFPH0M8HCVKMVGPXF
'SP3MP2Q6ZXRXQNV74W3WXBN0QDN39Y783WJ2WM131
'SP1N98A6QH3MZZ36KZ1HJSFYPDQPPPDZ8CSVBMJDB
'SP3MTAJG1C3ZR2SEJVF2QY9YNMN96EW1X2RHSWDD1
'SP3MVPZ2FM56R4R7F20GD2Y7492NFE3YS6NWZ24TF
'SP3MZ0HS03DMDHX8GYE967W5C9KMXSSMED7BEBG1E
'SPSYBVB381AYF3HBN65GA5PEHGSJ1XDQ8MSXKFNR
'SP3N2Y4A98AQZBDPDG4A73CZVMBNKGDHTXNN9JP06
'SP1MZMXJE8H9XJNPYPWWP6VYGEMPG52FQZJNK38KH
'SP3NH76GQ6M070SEMXE1PHM1GW9A5GKTJME2S8Y4H
'SP1MS7KGA5WESV319PV9GVKW2FFJJ1YNT9ETC6FQC
'SP3P4C7Y072A6VZEWKR187K27X8B92X8K91KK70X0
'SP3P8M5J25457Q73MKS8EGD5Z19Z57RKYSPNEAK85
'SP3PME4HP16HX2206MCZXTMQGS0BV19VHX6PVFCDN
'SP3PMM5Z7J3G2TN05T5RTYVCSHFFQPVH4N5A78GPC
'SP3PX2KFX034PHAGD05YDAVJRVH9FMQ39C155901Q
'SPTDFHMESJHW0GMDV59626JHXTXCKCYPK5JEP670
'SP3Q95K93HSPK33W55NXR3MXQV14Q7AD27RD3SN0J
'SP3QATHJVE76YEEJWE2Z7PAS5KMCKMSWD4PSDFKKF
'SP1MKW8GWF41XNY4XRFNM51GSYA1NJGMKN1P8N62N
'SPZ7YBW5J8Z43T6VKR4JSY4GV222RM5QXETBWA6Z
'SP13VWBY80A8S11DZ8Z3XSEQBTHMM11TSAGY4GC6D
'SP3QKAQS3J0YS3ZAZPSZM5ZSZZRYRYV72N6A9ZPZT
'SP3QVXMZWR9T5RZVFGJ838BDH4S96BZKDWHBX52EK
'SP3R4E8BJ6WYHQVBA92XD7BV46ZA80KDQZD52J4EW
'SPTQT3VZEQ0Y1XSCK7Q7Z1MKBRFGX7CMXCKMQCZ9
'SP3R7J41NRY975QQ1J8P35CY1M65S0B5YBQ28JJ4W
'SP119S8YYJD5XZNW4CQCHDZ0VHN0K2V4837AZGRQW
'SP3RBMGTRD92F0S8DTDJ4FVP3D76SM4A27EV93106
'SP3RHH6MRYNMDRWVVEZ0AW20CY6ACX9H90XMK8DZA
'SPTY2FEDK1T61PM67QS4ADR4T8HAVBG3RM2PGXQH
'SP3RY185H0R8TNX4PGRYFZ07AV001N23N1FJX9MEE
'SPTYWR4YW4G0R6ZM53QYTDP1NA3P2CNEJMCKVV81
'SP3S235BVRBYBAVVS5ASPGS3CB2G93S2QM1DJ6M4K
'SP3S5Z0VT3KT4YG10MPPY9PJY33YAFPRYVVBC0W9G
'SP1MCT54R5W04CJP04T3A79A2EB7K5D7RB3PT1YJ2
'SPV38A13R7NFZTC6CTD412X265BC1VASM20QVYFT
'SP3SK8XV6YQJK9J5E9SCXWS062EVKH61147A54BJE
'SP13J4QQAWZCB64ZFQH8Y1BY9VD49VEJ30TJMRK1D
'SP3SM73FEDGP9188Q9GGHP43RE6GK4C1F0N15YE0W
'SP13DPYYWR91K4PHP9J8D4K49H4TW4KC96DT1Y773
'SP3T17DDJDTQHY519ZPQVP0TG65M22B7QMD8DSS7F
'SP3T54S0M1G1143PA9EZH9A26MCFQN2GSMH587Q3D
'SP1KPYMDGBM2ZKYMWTNGXZHWZWTQMAB9A5N56WGY5
'SP1KBMRDJCD1T95B4Y04QAE8ZM1NDPFRXD4DJ4B3X
'SP3TA55JNKEDNNTSF5E6X4G79F4EG88JZKHFPWP2G
'SP1K9P1E6FJZ02E6TDGB6BJSFY3RTA4SKQG4JP0PW
'SP1K7MZK8W4QG46CZM02GK9GZXDHT7RJDJAA3WGTP
'SPV7P7QDW7QBR9XYN3PDYXAQM62EEDK7RX6JSW92
'SP3TMVB1H4TYRDRBX9YYDJNP5CZ0BSMTDG9A2K24C
'SP3TW1W4M3CAEEB6H5YEZMZ84QT49GTBK6XBD10T1
'SP3TWS2QDFJWP0W2KEW8PQNK3D93RBH6E1P56WSE4
'SP3TXB19BJ0S57M6P5709JDTVMRVXYNSHXNXYCRM7
'SP3VEF4XJGQPYGVCCY0FVY7XVG3H16N95ZMAM3B5Z
'SP1K36TEG5D3M5REH2QP30PS4KRB5H89S1HHTAZ0A
'SPV9QBDXNXTAP7D3M24CMMQQ1NPJY1BHR4GH4MXC
'SP3W00ZZE6PN11NHFH5KVEY6Q4P7YCYPTAWM7M9DX
'SP3W94E3YG52TZ1Z5E4DFA3KQ1PKC80D5QWDMN7YQ
'SP1JG7PGJ4R310T3M0Z9VRGMTPSVERTZAQ0FX5EF4
'SPVCMKZTGYMKYJEHFN4FABNFBBYMM02HNF66A6N6
'SP1HXGM7JQAX6QS4RNH02EPHJ3Q97V0RD6JMQ6GXD
'SP1HX74BNM4Y0DWB4AM7863AH93ZSWS74EHJA2SNF
'SP3X0PERP3MXAJYTN2VN3582DKN6KXG3Y325DPK2C
'SP3X16BR7MQ0K690CZ2BGDK9RXA4BXDXWGAR20VK5
'SP3X229F4Q6FSQP6Y83NE56PGCR0TC00JSZ59EX7N
'SP13A5F28WK6BZ5WY66XZ5AN533CYYBCCR18ER6QE
'SP1HJDCVWKVSMHME64XVNAHKZDAWAEVSGAA1QDD0H
'SP3XJC7CR402RK3QEE7MKC2DK5SRP8PW64T5P5Q04
'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9
'SP1HDNT0Q0A6W5WH70XF112E0B1GDGFMWN4E7HQEG
'SP3XW4E3DJSEQ3Q0VB0RM6JSH5N713VHM1JD9DSNJ
'SP3XZWPSPTY0X58GTG3HQR97R4CCG47N429PX73MT
'SP1386044X5N01AJAGN50NGKE87K4Q72P7DHVXF3F
'SP1HBJJP3ZQGVH8RWPJQ3BMNQAQHKN4JYVQVB5AKY
'SP3YNE7F7GNB0TKJVN3S2X3VT19N4FT6K4FS5X2NN
'SPZVJZANF97Y2Y365S1Q2G41Y8KJA62F4ZMGCJFW
'SP3YQ6YDBG7YC2FM4RKA4A5GMZSKZWYSWYZSH9K0P
'SP1H9TFPMDT8XZTGNY9QQXEBGHEA6ZRDYAQX4NZVD
'SP1H8FAXQFBY6CX3SZWP4K62MQGAR65Q9JKCRZ5V6
'SPWA6BCE5RR07XXG63V8XSA354GCAMS37XT5QBE5
'SP3ZFWDS6529FN0RD6JF3KV6V5SSWGCG91TR4P22
'SP1GYYPMY52CEA0FZQVSCQRZZB4TWR7YJ5VHA5EVY
'SPWDPE1ERAGVGZ6AS69F2TXMBFPSW0T0XSRHC1K6
'SP3ZPQ3QWH2V5CT69A9G6WPYXKDKZP6D1YV1ZVT6G
'SP1GXSYKNFKHTFG61K22P6MFWSFJPVQHM8QP9SAWW
'SPWKDKPZ3QDPQGDADWJ3EWPAP14CB1N1HDQ897W5
'SPWRRWJMVCZ0YZZM6V48DSF5XZK8SFGBS7TEZHAF
'SP4JRVAABXMXVNSA023C4KW3MEHND6BGRPQK51NB
'SP4PKHS23W0CPWY5NWCH5JVCDVGBGX1XQK8J5GMY
'SP4T1A2BNKJMFBY7JNXRKTFYJGTNHW5GJ1W1BBBE
'SP5DVYVM5FMWGAQNP2KE9HGXAY4N3F3CNTMSRGM8
'SP1GMYB5WB87T3AS6XJ2FFK2RHWKWSGSE25BAY7SV
'SP5QBKZJM7MKJ0TN4XBH0N80SY3X90JFMJX73HY9
'SP1GGDWH3QHWZ4PBQS332MT5C9V9ZER8W9FFKVHQA
'SP1GA0TP74PFHTHC4Z0ST55ZVAR5JSWVH92HF2JGW
'SP1G39XB9T4030JNGGN3V0MBR166HZSK4EM3Y3W41
'SP1G2ZVEXXGY339MJEP5BY9GGEFRAXPD05FGCWBFN
'SP1G2DW10YTAR9WVW5ZTSMSQA433X33KCM771XTJ0
'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV
'SPZGN4KG2AKNNPEWVXXB6EWN1W9WV1JWMGBVVNK3
'SP6F8AENK7HGY5PW9141HVDJV4PTD54QVWDJFD4J
'SP6P0X1B49WDH1Z5M7P5E53W0EP6B7C510CJVZM6
'SPWVVHEMSMXJ8F6YEP9JGSF2EQ9Z577TKKY53AKN
'SPX0FKCZ2QNS7AWYT95HQ89S1YGEEY89AYG8ASZ4
'SP1FV3SN48RVHHQF7456N62G5NW768B8YM44M3AV1
'SP6Z0QQR7WBY4MDSY4F59V5YCT29B9KPQJT0TF45
'SP1FTE6BCZ14AHW7025F8B7AS6GQT4ZRNG4V209WH
'SP753DM4YTCETNZC2AV9BF26XW61SFD8MDTQDE13
'SP1FDTFJCBCW8M8H64Y80DZDQDGK5P402FRTD79HK
'SP79JMAGQVWMVWRXG2AE5GF8Z27VF1W4KZ3J03WG
'SP7KMRGE5YEF52G4G1Q4ZYPH8WEFMXVM4DD2J4ET
'SP7NGKP1TSF2FCEZN7GCBWDAJ4BJ5Y07F1RJD47H
'SP7PVWRNY9AQM0H1GAA4DKBCQ825RMC17JTRCEB3
'SP7S0VEJ4FW96NEJPQ7ME36CZVKQQZ2AWVK45GTD
'SP1F7JGXJFJCBVST3GWNN0W5KCRC2W4K9S9N1Y4B7
'SP1196RC32FHQEAFXKHN3DCHBVVQBH7TZ6QTXKKDP
'SP1F4B1X5J913CKAEHA99DYD6NHYNCPZ9751WPJZ3
'SP86QENQB6S45M2BMPE7Y1XJ76FQA4J5Z5WA5D9M
'SP1EA5AMAG5YRJYAT1YV88HWTRB263PQ1ZK35AFH6
'SP8QXXDBP41QNJ591Y656QH7DKTNQ59QHDMC8N8B
'SP8WBXPWRY1QDWT5SPZ0TGSZVTW8W9XJG619PC2J
'SP8YBWGCRTJ9YF3KYGPC8XDMM0EV7RGV9X28HSZJ
'SP97DC4P1XFZMAG3B2EPVD8R1JPK9DES691JAM97
'SP9CMJ7S8XR25H6ZKAJXT4M7KSPQ1B8PPVSYJRTC
'SP9D6VCZVVWFQMQ6JKMJKV7X6SHXP8NB1F2YPX10
'SPX472B9EJRKY0ZBZ11QJDMWAQBXR4A17Y7WPWBT
'SP1DDD3E4HKEM86PVN91VGZ2BTMH5Z16F8CCRWV0C
'SP1D6G7P0QC4MJ0HMFRZRZQKRMRDMRNEC7HYMGSN0
'SP9KZ3MXAFVZZFANPZC639GM1Y1FWKH8QYVVTFGG
'SP9QXM38XZX8744Z9DFWX1EG92ENF0NKPNMF24TH
))
(define-constant list-6 (list
'SP9R2XZWT156NN77BSDM9XE7ADYKFYE938B3EYZF
'SPA2Q7N4TXW4MBSNKN18N9SSMMXG97TXMM2Y8YVS
'SPX6K8FAJPNY25ZW0G8J7HJFJRQ1YQ6355GW610S
'SPAJYAJBZDN49K04BEVZKEZ29MMRWB5VX1H5PS0B
'SP1CSQN78X6JGFMKCJ1791124JFBE32RJA2Z8ZTQC
'SPB6QWYFHZK0V7HNQGPK2HPBAQG0QST173HB3XT1
'SPB6ZXFGXW52J8TT0H0YDRFH4GXK6SSK0DEFT7S6
'SPBA7BPCQTPVJATE06PPRJZ5ND1QK5V6ZAAQN9B7
'SP1CG8MHZB2QZ0GAKZ5P9BXWWRTG74D1PZE097667
'SPX8YNCPBZRQKK8GBW5S1YB259B030NGDD01KPBP
'SPBKC1NGB52EMR5HWXB3P615XKTHD64TXY3D6J1G
'SPBM1HP2YBH7JHEQ58KPY2C309ZYT506J7ZY9AP2
'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87
'SPBW8GGZTH6C9W7H9QAMAFCA44TJS3DA629VZPWP
'SP1C5YMHVE4ARYYKR2J93XT6FMCW3PW9TA3A2V075
'SPC3270HXDARJHK319ZXPXDZ6KGZATJ8YMEPB5EZ
'SPXBDKXGE6VWCX5SANGC7J4BCZCVHWHPBT4MQ3XJ
'SP1C5N37KPVY75A42VKVFD10V8N04TA0YFNEGQET1
'SPD1FGYTNQE7AZ3CRTH7FTZNC0QHGHJJW56KSTS9
'SP1C22PGF9XX5B158A09DF3C6ZVHK80Y9W54KAHT2
'SPDBEYHE5KBHHPCPJYQET6BJEEM2WN1VAW97AXEE
'SPDR67E8A1XM1ZGDC9JRQ9FDHYR4S5HT9YTHFJ14
'SPDTDQ593Q1PRXY2NYP2B3CWYEHZ1KTXA1M5BBAW
'SP1C0RE7BWRR0Y4HPE3KXMFFVSAFYDAR1BH72XN5W
'SPE1NV7FZ091GB7E5D73JBSA5173ZV0GYDF6JTV3
'SP1BS2AZXV23Q060WSQKZ1S37YGNNGZ3MEX8VSGVT
'SP1BPJH6RMBR34NYWHN49ZMRYJCH34NAG2HDP693X
'SPEEEDRM8KPE9GCZ4SKVAJ465XJ6BE8JJ956H75C
'SPEP2Y5QCGJ0EARVNZQ81CJHYWJXGCF6GP91JQWS
'SPEQ4V65ND9WR591JFHN6ESC38CQNAFY3S0Z3EFH
'SPF27EBBDHFVYGN0CFKEE6XG812XWYJ5V5R564CA
'SP1BGSCYHZMBNE57Q8YPBS3HHNE2CZT4VMD8HDE12
'SPF556QKXVDARH1K9G8A7F2BMSKA5B4FZ2DQM9WV
'SPF9W50MEPFSCPR6263N05CMFBFP652792DESKFZ
'SP136F61ZS50P3NQYZ8GRH60VGS6RCWPPG8BDR853
'SPFCWC7RPNDBNYH9XSKPEA2SBFC7VM5F7PXQ8W36
'SP1BCW6AR8B582G7MCN9X8FDKJF0VZJ0QHSYFZJ8S
'SPFPMC99PMNBJT5VV9X5S134GJFG421XXYB4JS9H
'SPFSN90N11WAT93HKZ9CZWTS39TBVX3G0KA968ZX
'SPFZN1E9SM3KDTT4NKQBEM3X8RBRJK1QWRGPPCQ6
'SPG1KJF4YKPD7QFRD601Y1J6BCDRG42N6280Y702
'SPXVK2MG8HCN0Q45BH350DWKR52SQPG643Y5BS5P
'SPG6NQTDVBE0VVMQF04PQ5X829MT7XMYDMBR17DR
'SPG843H33HT78F5H536VQ9Z7JJ1AR3DT6RG3JB3V
'SP1B724WN0WPK7C5MKKSVXTVGXNKQQQ75SQSK6MPT
'SP1B1JH3EB8K7C5WQANE1R25H62735YD5XB7XE36C
'SPH8DYPNFV7VPK6MNK2G1X9H2DJ1D69PXNQKSE0B
'SPHHACR3Z1V6VQ5XJKETK6BK39WWABB5J7HGG4MH
'SPHS59MMSCT0XNWTWJFVWGQPGZN6TTDAMAB7VGQG
'SPHSQGVCANXPHGE3XS2JMQXP4H2V31TCDJR6SKGP
'SP1B0AF8M9YVZTGNM6VH1EJQQF37A77DF1SD59BR3
'SP12ZTNXCQY2Q09JQP6991SDHK6P0J6AG8QDCBMJ0
'SPHXC0J3DB326BFM0ZV6G0GT7QPAWZH1K2CAM78W
'SP1ANP9JHZXC1MHJ8885274AZQS363JM2AGF90AEP
'SP1AH1H15SGPR3N5VS1Q95EGE4JD3Q1H3M2NCX2DE
'SP1A967GSS8V1HCGQWTWDHFRQP51K1Z7S8CA4YJYR
'SP1A86KRVMMXD3QFXRWHWKNAEW07A6KTDX21SK40F
'SPJJCRARCX2X0C6PR5P989WFAH3SPTXD07B6PXV4
'SPY0BMZRGFW9BP5FGAP966Z0HNKMM3QZRTK7RNDQ
'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH
'SPJVEB5A63E0Q5YDRNNGT5G5JM7YMH89RRZD3048
'SP1A32MBZDN1B28ZT5DH6MA739VJ0BFH05CJHCM8W
'SP19Z0WS3G6CZ8T9ZPAA93K6FH399BZYSTH6VZ1S0
'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3
'SPK6T63ETR72NDJ5YG9N74E8FVGESFVTX92WSSWY
'SP19WVWM8S602R90QGBK29Z60DB3W32S6A7SYT55A
'SPK8785ECMV8E8Q94KQF94JVZ50TH8FTS5TMQV7Y
'SP19SM9Z06A40WBEQZTN9MA5N2TB64HXHY8Y3ANT4
'SP125KZ3AD7NDXWME4K1TGGNXE1MP878WPF37KRQ
'SPY1KNBBM90SA08C5Q4EZQ092Q43KWMM2X0Y4ENM
'SPKJS228CFCZ86Z0E5MCEHJFAQJYXZ695RKV3M9R
'SPKSG77V3EGXED5RJ4H7P6G2H24TAWFJFR083A9B
'SP18ZQRE3N8RNMYGMASDZXV4XGYEZMA8JSHAK31Q8
'SP29TGAQTGE45M6SGHKSFR8SCF3F5WQQXXPW38M7R
'SP29PXC6HN8FXZ8VT9SDEX68HWS5FWCQQED3PM8Y7
'SP2A0AHSWNYPAS1KRNMEFQMV8WQ2KZRRW8DZC8Z3K
'SP29FDAS51DYGJ6GVBK9QRTRA6272QZSBBCWHF9Z9
'SP2A6DHVSJG71V0PHWG3JSYAT5VFJ9MD0S7GSX7M9
'SP2ADACVVJG2NNFAYY33PYS42Y46Q96F6JHFEGM51
'SP2ADZT49MQ7NQB8PM9PKDCPZANHKQ6E6T1FHPC2J
'SP2AEY9QJD5MGDEEYYTNYBVVS7S97W2S0302HQ7S1
'SP2AF5NV00FERBPWXP7JMXJBCXQTTW7869PAXWQ6C
'SP2AFQYV8W4YN1ZYSJEJ2F23N70MM8ERP1SC32D96
'SP2AQE1YBGJ3DSE7Q85TJEYW6C0VQEQWPEQJXMJAC
'SP18V7NZHXPQKRNBYAF5WGBV79PDY6XMDNHMZSW4R
'SP2AWHPKFF66NMK6CJ1FSEDYVAQB3EPFFEWYFXD9
'SP2AWJNZ2TMNS63Q77GA6424FE5JZ5DB4SSZEE4JY
'SP292X48TSX81PJZXQY150NZ3BABA4DEDNM3S8FYM
'SP28YEDDDBM8GT23KVS9HEEGVRD4X35H542K100SC
'SP2B629DYE4VV4P8ANB5FB4FMMPH9NBTPTZ4PZ20N
'SP2BB2Y38C8EDNEK8JTR126GWEFYKY97AG9HRW9CW
'SP2BR695BMDE7FT933B3H159XB0KVVRZ9WNS52V4D
'SP2BVBCF72JQZH9EHWX99WWEB726QS8WN4MT87CY2
'SP28TF20S0HM5EGTEMZ5NWCDRQDQC0Q9GZVPXWHBB
'SP28T9FE5DK238Q7MJZXWW6GZRYB4KMK5FWSTF73B
'SP124K8WX1C8WG9J0XHXCZRPTG7R1PE58EZ17X06W
'SP2CCFBZ0NBTDRVWANFF5XD41WM6SA1P9HY7V1HA5
'SP2CHC7GM2Y8RMMSRC7DSDJW3Y7CNYC2Q9EVFSSHV
'SP2CQFRJ19ZMD92G50R5KX2MWYHDMX3JDYQ0R3TF5
'SP2CXRK3Z7522WBNB43BVC6G41BNVTHRGPGEZHAJS
'SP28317JGN1WCMYE4TKH06CVDXAGFRG1TK98VRHZH
'SP2D21TSA9RB2TXT67E2A0K76JVG1NBEWC93FZE8Q
'SP122VAXBT28HWFHJ3QWVS90D367ZGGZ62PSY0213
'SP2D4802J2X81TTC0J57XD7WA6722BWZX05EVBZFJ
'SP2D5JBKGE0ZAJXJ1VFZ1CB0DVV2SGJMWASM3KH2V
'SP2D6ZAQ5XPZRQMB54BZVDWA3JANJFG9DR238K47J
'SP2DD578GTACQ37J0JWX255G677A52J3MCCS4F129
'SP2DMPHG41N6HAQYWJ7PSD1ZBM6X9ZYYEJVK6MPTW
'SP2DP70FRC4FFCZR5B2F6S112NK79WAFWHCWPYKQZ
'SP27SAJ9Y60ZHCD7HBKHXY5CWVNCME57V1JHM3EBQ
'SP2E0ZMX8BSVR2E4M4SYA49A8VKSE3XC522V375VS
'SP18SPEDGW7SCZ1NMDHRFM09HDEY0THHAF8ZP1QRR
'SP2E852RZJ5QX4ASNGT1N1Q1A7Z3Y1MZWSHQK0MEB
'SP2EBPACHFYKWM7XD19WT5RV6G7QXKPSM6NRNH1HK
'SP2ERT3QFK9Y53R65RBSA9SXY6MDM1K44999XCS71
'SP27P4FECZXC2TXPS24C1CCTNKB0K1JEK3SZK7CB
'SP11ZMVNDH5SHHEPWQD8C1B6SPKWP211YAD959TH6
'SP27MATWR8P5JSRXQV5ZE4P4HRTQ7KS37BPXMWZA2
'SP27E3TDKYNH3C11RBDFPD5WGR6FV0VN08RKX4D2N
'SPN4EF6BXVDT93F5VG7R4F1E20WZVCQ8B2APM1BE
'SP18P831TBGKSGMJEMJM0V29CMKJP650ZT21YJ3XX
'SP2FYPZ8NX755K2HQF8M2M7N2EFMD65YZFFCZRYT4
'SP2G51DZCK7DQNHKSD532MGPX3Q8ZEJN1812SS9KR
'SPN5HJN2H6H2SH0VPSVFAEB41KQT0E7Q3EPWDDJ1
'SP26V9Y02D83GY4F31297DRF5FGAJ6QK23PRAB82Q
'SP265G22G807XH0ZWK09V4E92SJ6BF98C60M4MMEX
'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48
'SP02A6KK9V9M4ZK6YVNVGJ5T2954JWMF2P7SNKNT
'SP25VX80NQGVZTN2F7H78VT6G2WB0PZXQS17KXEHQ
'SP2HS73HXN7K5X4QJ5GK6S4MGDSPH24QWZ4NVRB3G
'SP2HV9HYWZRAPTCC10VXCK72P3W4F9NDB8E1HBEZH
'SP2HVQ6KP2E8FGY56BXD58GC3W43SQ8KD6RNTKEFZ
'SPN9JGFGXFJZD7AM5VF2S7BRATNCQYVHVWG3087B
'SP18N0JFNZRZMSW37947DVWBADVY3A6MMG2CRB1S6
'SP2J6JHPGKNR94528QGPSNEPVK8ZBT6B2NKVGECY3
'SP2J82VPYB2G6GABXY1F73ZQ7S76G7Q7VPV8MBDFW
'SP25RG52CQVD5CG29K5J0B1CRMSX53YQC5J0PXWD2
'SP18HVRHCJ7RWWSZJG5CB9SSZRJZE8T86FG4QYPPJ
'SP2JG4KWTAF82YR57CHR3KV52BTSRVP7TP4CSNCHA
'SPNCWN5YA61KTBHSW6D8M01MREC6QHTT1N8WNWTE
'SP2JPMCK24H4ANXV3V2CVWP93E13R3QFBEYKYM2QG
'SP17Z76Y7AEVDMV12RP6WC1CMG79M3ZA6R1J5EN4Z
'SP2JQKHDV4N3FH86S52G4DH8HRG93DE1X39YHNSN
'SP2JWXVBMB0DW53KC1PJ80VC7T6N2ZQDBGCDJDMNR
'SP2KCF8YW6ZXXQ88MTHKWZ0VEHZZHNGN8ZVVVZSSJ
'SPNGMRQ2GAB05J0BJM80ST2DW8KW5PHPTHB59HDH
'SP2KHFFYHNSGSDK0H2CM5GRTQF88C5F8KCP5R52P
'SPNS7S7BDEBAVT3QRPHAVG2E2HR06PGSY3MBKXCT
'SP2KJS8GMVA7ZE4TP01E73SCG6G5NX6NQ4N3F3HHQ
'SPNTTNBWER98CJZD7J9V0W4584V5AYBBYS25KYYC
'SP2KSNCT9MF74MFCXKDNDCAJ0B0CZ2JZQ20QBCX45
'SP256M51SYG7NETXYAF3BPBRCW3NC3T73CKD685V5
'SP2KY7GS7DQPP379JJR3P4DNM40NX86WTGW4HH30N
'SP2KZ24AM4X9HGTG8314MS4VSY1CVAFH0G1KBZZ1D
'SP2KZD336Y6CFPGJETF3ZH7163MZ3R6PFM0DEYGYP
'SP2M53MP0PNNAK7Z9168ZV24J22SQTMTNBF46AFJJ
'SP2519Y6K4W20GZHARDS42FGX4ZZYPYQC3F68V2JD
'SP24TQKNT4E7R67FPSRNVM3XE0FTZCN8JY33NKVMW
'SP2M6Q8A9YKDRABAN5YY6ZHEN3PJ1PSGZ20AR9BSD
'SP2M8KYSACMQBJBTVNCVMBKDN927TT04MMC4GXM0C
'SP2MAWMYQPPVD3KH8SXC9M0HHERQ45YAKJFTWKXQ1
'SP2MDEE7BMXWTNST6PKE8MGP2EWD6412ZNPTYMQ5S
'SP24RE2HVY7R0P7KDRX623EZ89Q2KV8JKJQ5MJ9JX
'SP2MMQN4BVGG9TYBTV0Y5WFAHRQPVMJMY8NB88QW7
'SP2MN9BT5230AM8YPXK4JVYRMAXJ6G3VZ206ZS8X1
'SP2MS5KKM4CFTC6C6H2QAB7BKYBSNXWZKVCCXBMQG
'SP2MY6V4X4HJHSQ62QXWH9RRGXPGTBXTMQ9YXTKCC
'SP2N07B85APXF40HDAQT6S8YDNW7B69A3DKWE3Y2Y
'SPNWZ5V2TPWGQGVDR6T7B6RQ4XMGZ4PXTEE0VQ0S
'SP2N65XG5NHHZQB50X119YMZ018AP0FCSXDJPNE05
'SP2NK7DRRGAE9ZZ38NFPBGMK39XEA5CWKKKDW03BJ
'SP248HH800501WYSG7Z2SS1ZWHQW1GGH85ME34NT2
'SP2NX3QDZ9VY0D1VY7B98R7HFN5HXE02V6MAYVTRX
'SP23YBQ8DQBPBRRMTJ8ES33QCZ6Q0M4PF7G6TNMBE
'SP23SF305J0AK125Y7E74Y044DANEAHZ39HDR96AD
'SPMJAX6KSZKGD7EGY37MS78KCQ51B30R8F7PVNBV
'SPXJJ6XPRV52JREBENWFX7TG1CFPFP0QS81BDH0A
))
(define-public (add-allow-list-0)
(contract-call?
.ryder-mint set-allow-listed-many list-0))
(define-public (add-allow-list-1)
(contract-call?
.ryder-mint set-allow-listed-many list-1))
(define-public (add-allow-list-2)
(contract-call?
.ryder-mint set-allow-listed-many list-2))
(define-public (add-allow-list-3)
(contract-call?
.ryder-mint set-allow-listed-many list-3))
(define-public (add-allow-list-4)
(contract-call?
.ryder-mint set-allow-listed-many list-4))
(define-public (add-allow-list-5)
(contract-call?
.ryder-mint set-allow-listed-many list-5))
(define-public (add-allow-list-6)
(contract-call?
.ryder-mint set-allow-listed-many list-6))