(define-public (check-many-1)
(ok {
a: (check-many-a (var-get address-list-1)),
b: (check-many-b (var-get address-list-1)),
c: (check-many-c (var-get address-list-1)),
d: (check-many-d (var-get address-list-1))
}))
(define-public (check-many-2)
(ok {
a: (check-many-a (var-get address-list-2)),
b: (check-many-b (var-get address-list-2)),
c: (check-many-c (var-get address-list-2)),
d: (check-many-d (var-get address-list-2))
}))
(define-public (check-many-3)
(ok {
a: (check-many-a (var-get address-list-3)),
b: (check-many-b (var-get address-list-3)),
c: (check-many-c (var-get address-list-3)),
d: (check-many-d (var-get address-list-3))
}))
(define-public (check-many-4)
(ok {
a: (check-many-a (var-get address-list-4)),
b: (check-many-b (var-get address-list-4)),
c: (check-many-c (var-get address-list-4)),
d: (check-many-d (var-get address-list-4))
}))
(define-read-only (check-many-a (address (list 200 principal)))
(fold check-err (map check-scs-user-lp address) (ok u0))
)
(define-read-only (check-many-b (address (list 200 principal)))
(fold check-err (map check-wcs-user-lp address) (ok u0))
)
(define-read-only (check-many-c (address (list 200 principal)))
(fold check-err (map check-scs-lands-lp address) (ok u0))
)
(define-read-only (check-many-d (address (list 200 principal)))
(fold check-err (map check-wcs-lands-lp address) (ok u0))
)
(define-private (check-err (result (response uint uint)) (prior (response uint uint)))
(match prior ok-value result err-value (err err-value))
)
(define-private (check-scs-user-lp (address principal))
(contract-call? 'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS.lp-recovery-calculator scs-user-lp-checker address u166688)
)
(define-private (check-wcs-user-lp (address principal))
(contract-call? 'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS.lp-recovery-calculator wcs-user-lp-checker address u166688)
)
(define-private (check-scs-lands-lp (address principal))
(contract-call? 'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS.lp-recovery-calculator scs-lands-lp-checker address u166688)
)
(define-private (check-wcs-lands-lp (address principal))
(contract-call? 'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS.lp-recovery-calculator wcs-lands-lp-checker address u166688)
)
(define-data-var address-list-1 (list 200 principal) (list
'SPGYCP878RYFVT03ZT8TWGPKNYTSQB1578VVXHGE
'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N
'SP1KMAA7TPZ5AZZ4W67X74MJNFKMN576604CWNBQS
'SP26PZG61DH667XCX51TZNBHXM4HG4M6B2HWVM47V
'SP2JWM4MB1SBY2FT3PG5PM0V12NW8Y4FK1XXWBHSF
'SP3W83KG17KJZZXPDZQDTRQKQRGHNFZN410R9P02E
'SP3T1M18J3VX038KSYPP5G450WVWWG9F9G6GAZA4Q
'SP16VAAGEE7XE3DFZZSFDW7T5SCJR1N0WY3CVQ00B
'SP20VRJRCZ3FQG7RE4QSPFPQC24J92TKDXJVHWEAW
'SP3KVRE3RDYYSJ3JDGXKA0K15CC4JEA2ZGX4TJ5EC
'SP2Z8Q9C1SMZXSGKJ2Z43JMAD0AQWR14EFQRG23DY
'SP3ANMVKK0P1YT48CMYEBWRFKSEM1N212TB2A1P78
'SP1HFXD9SCN1DNSA17CSZ5559X0AETD91BY7M03YY
'SP33QYJHG988R7XD10B5MPKG7NCWQJ77ETKMA2HK4
'SP3C7508XY726X7Z4DECMDAGMD85MYPGF9GE5RQ12
'SP36KY8Q0X14W3Z67DSJ0DCFNFF09HSQWZCT6RDXM
'SP25RK61425QBXW105M85SY22WJ46T6T6G5D1XJ9
'SP2RFGZ9WWXV3CZAR9QR94FHJ1WVZ59SF8J6QEA0C
'SP145Z1WBN4CEDF39KCYF9QCYQD27AW0AH5KH58H
'SP1454QJJZC5E7Q5D25R32Q1WYCGAN2MZHC1W349D
'SP150XPYG4D6EZJ1F35VA5QSW7KRGFK75YC124PBW
'SP10ECZKBTMVGV9Z41A9QQP80TQFZK2QRSV5BWNMX
'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS
'SP2D5BGGJ956A635JG7CJQ59FTRFRB0893514EZPJ
'SP2GYXR37WGDP11A2CT9T4HBXDPS8SA6YTHQ8A2NH
'SP1VGCMHKXYGZ4Y0DWZR6449M0EJY3PZV2XX61EMH
'SP27TDGA3QF2YHTND7194AZA69YD60BRFN93GR3T4
'SPAFPBD7M89973WDEN68FKYW761RQVYNHSEFQZB9
'SP2MR4YP9C7P93EJZC4W1JT8HKAX8Q4HR9Q6X3S88
'SP25SF2MPZZS8Q20QA3VTYJXTHAHCRNM5MSZYDNB0
'SP23QVH1RTFJ67B8AF8BH8AZNMXMHT0AK32PZ8Q4S
'SP2RNHHQDTHGHPEVX83291K4AQZVGWEJ7WCQQDA9R
'SP3T8XVBX10T72WB2E41ZTS5NCY85WC6YMWR2QA6K
'SP161CG3B0H9SC48GRACQB9THE9KD4W93EVSP3C59
'SPSHPX1ETZ8TVD6HN6JK3MMTVREYM8QNRC49Z617
'SPFTZQ4895V5PNMVZVKVQDY1HECZ3G0D8V6SZNFJ
'SP2SKMAR9WMD9DBJHC4XTQXPZCDNV1258PSJTRGTV
'SP3YTJRGXXMXDQ1V4T5GTFQC2KJ8G5EMYW93A4Q1G
'SP2MYKFP31BM5GMQKNXS6FJXR36K0T2AH0X8JHCC7
'SP3TMGZ7WTT658PA632A3BA4B1GRXBNNEN8XPZQ5X
'SPF5EXW1M9FJR96HD9SE0WXJ3P4SX5PG2GWH6WSF
'SPFD0Z2W50QMWRQ27ERW7KNGNHK6Q74EPD4C4TNQ
'SP1VKEVK39KZTA7T95XTYX3ACXBSDBDQC3HECH4QA
'SP2EM6V94PZ2VZVF4DX47B5RQ5WQDSMPEFAQ68807
'SP2WF8FYQP39XQ421VYDJTKFNA1VWNWA0CRTAWPWX
'SP2R8MWH5XDRM6T0H3C49S5T4NGFVSQF8Z4AVVMWH
'SP2T5827X3MVZYRR79C7MY6MFFMSKRD7T3AT01YXQ
'SPWJ4BEX6W11B953S7635M93PGW4SGG1KAEPJ690
'SP3ZTFMK2K8HRZ7AR5XFBQB6AZ7SMSPYE539991Q
'SP3V33NQETWM00Q7G733WGWNG6PKSMZN9EBS7611S
'SPH6FZ3TGS22E23RBMHXGAH6RK08JP1GQZD15J4K
'SP10Y19FEFQVFNMTY2JM5WKJS7BDSZTQ3E5Z2RKR1
'SPTBAXKRKT7EXTZ6QRZFG1145M0BZ0TTX3HJZTFW
'SP2CWHF1TR7T5KJVCTSZ2HF57YPCGRJ869H612Q3D
'SP3Z7511VWR5WG9J3MAKER3NRZYKWT83K2XTP36EV
'SP36GSEC1W1P101YMCJG2S9P2J2VHQ8Q384H7VK0V
'SP3WHYBHPFABS9DKX8KAN27BACNM5PSKYZ9RMKRVW
'SP26YN47AQF3Y608RA3WXKMX8XQRBYQ63EP541THF
'SP33D61STZNHJJRP9H0P2FK05S9W55DKW24FXJ25D
'SP5MX9KTJW1MARJHAQGZM7TM7RD5W8NA6ZBE7E5J
'SP2DCFHTZSY5YKSRHC7YRD1AD6HRA9CBZENCM4NGV
'SPX1H1YDC8FSYR9QBHBEEG904EZSAGBJN7ENDVNR
'SP3NJ4BR35W8002J0PWZY0QNG9FTYZ32H38Z0PV17
'SP37BWJKFCBJHW7C3H522M03DCRJQ2NC492T4AMY9
'SP1PP386VVPRJHV7REMVMRZ2YH6ZJBNB1EAYB3ABC
'SP2WK3A9140MVQMNPZ8ZCAMVDDXJ9PKD7ZF1H3N0G
'SP7S3EY6FS1PJHJN6S3NV71RYQ7CKGABE5SDAT9N
'SP2J1K2BX0HNTP8JEZ23MR3Z38JFPQA49X0BJ45AF
'SP3MVNVNNCVBQPNDXGETAEX65PNGQGHQBBGB4496T
'SP2ZRF8JCSA852P2K4ZB7RS21M43NYFKPSQ7DG1N8
'SP3JJ85TMPCFJZ07JW5S3TSCQS3C1Y1K67K7A02R6
'SPAQN4FQ9FY58RCZG1GEP5Q3RSDS7PSW3QXA6XZV
'SP2P0QX0C70S8SJ8VYP530JFMNPHNVJBQY3KEZ9ZC
'SP1DZ6CVX4TYYNRV39WBPSH18EMA5C6S6TZHBZT75
'SP2MP5DTW9ZRRQGJBY8G7F8R0CWGAMCNT14STP9C6
'SP1WH97VSCG19ZA3ATKSTFHXQY4QYQ71E3EDZFWR1
'SP19NPW1QYFAVJ4DFY9C29X9MMVD1RA3SGK033EZ8
'SP35H6YJMN4RBWRVSZ2YS0EB1EMZQHHGN3CFBF2CK
'SP3ANWJVVKYEH20BRCHZZDD45ZJGZM9Q1CKXKD9NF
'SP1XTG7WM9VTKPS9NCX26D9QAB7VB60TPK9Z9CK6S
'SP1EVQPQHG45FWVHBKJH4Y96MMTDRBVDA8SH38D2Q
'SP1FSNGYGF2BVMFJQ51YQNRP2GGY13TMFH2VBVRMJ
'SP1QHAAFM1CF2CWCXQSWE2EQRNNS75X1XHPPMRETC
'SP25DP4A9QDM42KC40EXTYQPMQCT1P0R5243GWEGS
'SP16XD8Q7JD8Y2Y93S0WZC6WGN421R57V0Q56R7CX
'SP1TT4XB6TQFV0SJHB7X0TCFDV46VA7HRY6P4QSVQ
'SP8JMYHEMMJQH18KYTG8TW9PC9MWA8X6PW093F2V
'SP235DV9CZGRGMFN1PZ3NC7Z2TGT1YV4XNMM9P7BY
'SP1TVZXD5B3TNZ2ZMSQW2C80AB168K5WDZSGCPSFV
'SP2GZQ3SNB2RR2Z60E1YNT63HRY41EKS3NETQKP2G
'SP37WSPGD1KBRC5NQ6CQB2VCHZD4CJBYW0F0S3PYE
'SP24PGPQND2701QJA3RP0HZX693F8AWY7V86TX2VY
'SP5W88Y324AKEPZZJB89YKCGFKZRS5H4W8XBZ1K4
'SP351RTK5SY0E9NJTBN8PAJCW2831XHGD3BJ82KC7
'SPPT9EYE1K4MMJGVGRE0FZJNTMBWABJW8Z87C54G
'SP2AB8Q2MMPP1S2NM13N3NNBE0KA6CG94FK7MZ41H
'SP2QHKHZPX0T5HX8AKDR628EYJXCSRGVVWYEWNPHJ
'SP35ZPRFSCA52PW0P9N52D2AWP9QWTFH8RFM23G44
'SP1X7X9SCHHK4JG4K5NXZ4TDNWKBQR759A85XC1PC
'SP1AMRSG2DZE6SKWSTJJ5C0GGVVXQMFH2JR1ZNVXM
))
(define-data-var address-list-2 (list 200 principal) (list
'SP13P8H3WN71ACNZ8AN4YK2R7NW1P8XTVTNE84KHB
'SP2SMSPX443W4HTX9YT9WVV5C0A212FJ8WQMGT51M
'SP2FPTH274BXVB1E2HNXBAMGABV5TCSZTFNC16FR3
'SP39KRQADXSNTZPBHSKAWHD1S61BH2SJDWFYPNYDR
'SP2FQ9RB2EVMJW7T8S5X1XVGS4F774S594E3D52WH
'SP3BW03953R9TGHB3D8NW6QSWMHH09K9D2CMZE2C6
'SP3R9REDFB3KEFK4Y3JYSZ86YR93TCJP4NVM4FDQQ
'SPXW6EQXX4H553ZQEFSDGR6709VCV5WCDSS03J16
'SP22DC2E4YTYNMT7QKRXG80WDH4P1N6TPBVV50EJP
'SP1J9CFRV5C69EQ0E8PP95Y5W4FBP53M7G133SZAH
'SP32SCFJ05BN6EEH3SAC7AC9M9TXE33XY8K3H990J
'SP3GQR81NG8ERGZD46VJ7RR94XFBGFTCXXBYYT701
'SP1VD8VF055DGMWR29N89X1W7NXFFWJHSF99J43NN
'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X
'SP3YXYKW414YNY94E23AB7F5K1RQV001J71YYF2SC
'SP1PR96CX3GH05Y2WN66TWSJZ1Q4VTSNMX7F2DSC0
'SP3TAQCT0KQ1TC9E6XJ33J26XPG1DGSPS61M61H9G
'SP10F5W11YT4HH62VSKA7R9TY1PAXC2JPKNN8ZD5A
'SP2CTV5SX2GJJWGVEBQ951DQGBK0144RHMSKHGTZG
'SP11Z0M9SXMXM2BGQHDPT0B9Z03TDE56WFSF6EEX8
'SP1R6DVQWMMC7303Y2A2MTK0SZPNMZWPECZX5XR9N
'SPMMMJG8C5709MN8JTA4HT5EB7HNA7ZMDQ4R1HCV
'SP2CWKGNX1E1XT4F7W56KQZGMZ3MNQWHGDPGVA00G
'SP2ZY6YZ3FSDTY6B43QYCJVKE1C9VZE825A9S2VHZ
'SP3FSDVFTA9JG8XF1DYWD8Z5TKN5Q7ZKEV35XBRQ2
'SP9K8TYVJZM2BYXDVANV2EBG8HCFNDWVN9KAK4WA
'SP1J5734PEXN6KKRJ9MGSN7RAPP46C7JHMR3FYM3W
'SP1Z2RQXJES8BBNWWDH1G5H7SVT90AFZ5J4H5GV3P
'SPWE0HJ3TS75Q69EH0D2ZHKKZKXRVPB8WMCVKRPD
'SP3MYZ2T7JA4GYBYMSZ4ZJYEYTZ69JDD0M7W4BQ8V
'SP2HMNV7HAAWYBYDE3CPQMGZ14V137E78B53KEJV1
'SP1X4ADFYRX2DV0F2RAYEMAH7ZZKP5A7M9QJYF982
'SP1V3BWAG44SWZPMM6GGKH17V4EEH56236GAY1YY1
'SP2205A7D28WM3RHKX0QXTB8FJVXA7DDX3XSWXRPE
'SP3E9FZC0N9G4S467FHZQ4DR6JD4R32BVKJARFET5
'SP1GVG333FZMB058DS0BMJTHHBNP74AK1ZKBKXH24
'SP12NHMD67NJ0Q14791NAMEBRZZ1B0SDNKES0Y2Q3
'SP1CHWS7TDP36PPVWV8E4Q8QV7S8SZPYYWW9N0ZW8
'SPSTE5R54386QDCDNJJWH2EXQFST44QYZW3RPMD3
'SP5BNSXRM3TDKPBS1C53E1EXNWTDZXGBEBQX7VGY
'SP9B45Q5N95G9WP16V4T7GSAH6817Q22K3S7T99C
'SP1BVFZC8H4NZSWKP4BWZT9XK5K88EZXKXJMJ8MRQ
'SP101A2VJZ7BSSS07WP7WB81TK1S9TS16CAVV2RQS
'SP262Q37WXVJA3MPT41R1ZN79R0BYYFN6BQ7MTAKV
'SP1NEAEVY2E1MF1MDKB0K2RZ7K9W1NWCGST83PKAA
'SP3MZ2SM81W87D29GZFS1R9R6NZHM8VAJ9XRHSVER
'SPN3AV2KQ8HYFHGKC34SGVSS9TNMJXG56GXRSR70
'SP1BXHJX3MXTMRDVVSGWDM8HEHBWGRMESBJRKDZRV
'SPBBHW86SPQNVRBFMQ6VP0FEKA25599B3CSD047X
'SP3BWGEDCSJERZ4D4TRNG9VH10WZT8B60SVKYX7S1
'SP34V64PNDN1535R0DP60EBSXASJHKJ5NH8JPHBQH
'SP1M76XXM6E1AC6JTN70S14EX9K9B2Y8ZTS04T9Q0
'SP1G587Z50B7SXCWHDA5WPKYV9RDFDV93TQ2VH58Z
'SP1FJ6E10PW8SDJJ96NWXAGKTXEZAGWYQ7WTJP4VY
'SP33M6FMW0N1QN4HPPRPJWR6TWP6NA48VRZ0SS863
'SP10MJMD78XV08EK1A9BWV9CGZZCAB7XTXQFZ9PMN
'SP2R3VHCJF89D71AGB3FQMTHX57ZFDP0MJR7TJ1VP
'SP1PPXY0RPYCRGK4CEEE3HD4YR7T0S6R9W35DRA0M
'SPT2RYRYR5MQ50Z42556KJJKC36S3PMZP0NDFS46
'SPG071C251M5XJNZE9PSRACDD6YRBR3JF89E95HZ
'SP12VTBRY3M9X3HKZH1ST668METTXR452V29XF7QJ
'SP1YY55KN7GV47B621WEJMQVBXS3GEVKJKG1KV0TB
'SP36N76Z6613HXY1AMRPWTZ7PVMBD54R7F3A2M0FS
'SP219HVS7MR0A1J5GQ6WK37C4D2TN0P6H3YXCCGKH
'SPRMDCCN9YHTJ8D84EGGHSC97RTXYV8Y9DP62K6W
'SP19ZKA3X5K5EPPA810SQ9SRJCPKT7CRQJ9E8T222
'SPTF2PTH6MYEKX4AD5QPPERGD2720XQEMWW7V7WC
'SP3RE5RYJQFAHVC8XC94RHGNGBTA52SBDEGQE9Y5W
'SP35MER4PHM6XGB99YDRQAK0M0JQ8F9CVF04VZ1VX
'SPRY9DWJ6E5FA3H2MHQ0SMPYT6QA5BH2BJJZ08JD
'SPW32GREJ0TZ013P3CK4H8ZKAVSSQFYHYMN1NF8M
'SPY9K49VE06A66ZXJ3S2ZMJXYJ8HQ08J4MAR4A3R
'SP20FG5HZH3PZJRVCG6SQA2ZP3SV6WEXCVAGCKX1D
'SP3QNKSSR7FEDN3HABNGJ6J192YSP2TJFGNM8PPCN
'SP1GJ5AQ9MR1CX02GGTRFT7YF33GY7GGZ4WC70S0E
'SP3YKKE23MAQA1CSQJGWXBKYXMVGGH3G6AYHHBXHR
'SP1EBPKACEAEBMF6SY8NZ54W709BFY39NCK1WK956
'SPQE3J7XMMK0DN0BWJZHGE6B05VDYQRXRMDV734D
'SP1ED344HZP7ENH1J89YDSZ47ZZ9EPNGB72MSZ6CS
'SP2Z7EPPAQGCVSTSKG13DT6YRN8X21HVD83Y5YH1N
'SP3WGHEQEXD8HSNKPAAEH97W4XQPB9TZ0P7TVDGZZ
'SP3BDYQF1D943XC34Y8M83TC8WS27A4SZKYNFED43
'SP2B5BSBT7QXTXDCT2JJJRQ9K05FWNHF0VCSJ4SE
'SP38M1K82GX1CK3W4KTPF6VYA4YD4YJBV3GYDQ1H
'SP20N6WDNFSZBZ0H9569FFKBQHVRWHXR9R1Y7Q9SP
'SP1KC8SY7KD6G55WVVC24GE4PH5NRNHSZK45ND0CH
'SPSQ4W56BY5XKZR8YJMXYP1CKJ64TT4CQ04GFQT8
'SP3PQE65P3PX6YGA8J2CC74NPD02Z40JY69BXS3PC
'SP2Z5GGS5106E33E0X9NSCDZMRYWHFRTK5P3WXSEE
'SP3THVJBP8WAACY01SAPXY9WBTQ8N0PJ60Y48KZR2
'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB
'SP2AWP117784BPN3BPGWFGC566EAG6RXF02V7XWD1
'SP1Q634KDQ6VDRN4SGM48XEND42AKD63JP2ANWXBT
'SP2NKS77SEWCD1YGKNKYJDEW95X6WWG03F07H2MF9
'SP142N3M2RFDBRMMMPZVPJJJX5AJC3YM82QG64EPX
'SP1QB0T51CYHKVFDGPES0QQ9WAA1JD8K7FQR9YMSG
'SP2M7K3YM8813404G1R7AXV106CPWH0Z5ZA80JVAV
'SP3PH3YQQQWZ00J70E7JD1Q1XKPB3HRSZAKRTRJNS
'SP2WRX7ZAR4Z1SJ5V1NHBXZHWX2112HATSDV4R0Y5
'SP1GN9H48K7813BQDMQGRW1YREV9R2Z8307QKXDKV
))
(define-data-var address-list-3 (list 200 principal) (list
'SP4C561Q3TTFP836MZA4TXGRS3SXZPM2TYR3C6V7
'SP33BMBB3E5EZMRM598MA23A4YGWJG7PXSTXPDAC3
'SPTD40A2TYR54RQ3GJJN80TGPAF98E2KGESAEAKR
'SPTGQJPEZKS9S5SWQBQJRE6P5CKGSGBY1EM1E40
'SP1S1EK45BMDAZRDZSXYXF7HFSN400030B8MNK340
'SP394FNPMFQWRJHTT2CVM30MPADW948Y8S0RXHM4B
'SP32681KRBDH0PM2QB12ZR0KXHEHPNWFXM45AVXVH
'SP1Y2B9527C057X1MBCXADS1FYY5PM9SKGRZRMVGB
'SP3XF7DW9K4R0E23BKF9244TEJJM3DN5WWV5CW2Z2
'SPFPGTQFD6EFFBYAAFRB2APA2AYJTG6P5P9XRTZ4
'SP3EH6XTCEW1PXGHVK34VN53T4W4GY2PB8FBGN7HA
'SP1ZY2ZXY9QR5CNEGDPNZHC88T781ARC9VT6S7HS3
'SPYYQXXZ0PT8RA5KBRQWB8KGHAMDGERP9H243E1J
'SP2H6E5NJS0KCRJA577RA0B0P6FJT2JCAZCK7R1WM
'SP3HSMAQNKD029880297FBXMYC2QT4BS07RTWS0FD
'SPRS26BHGZGZ0AP9VEX718S9H8XT4KFHWSV8NY07
'SPA161K7PR8Y1KV8N5V1HRABA7G64ZZA78X5XP0W
'SPK40QN3YCT0CHT2DFC17W7NG54FPYCHGN41ACQV
'SP313MRFF9AK07W9P1WETX32ZTH3V9MQ6VVM8BF62
'SP3561G51Z4G06G66AZXSS65QDYYW7N2WYD6YP23Q
'SP2FSCH9EGTSWBZPKXWRGZXT5DD03NSEJ0SX1XRCJ
'SPNXAX4E0952XERSXBQ5VNQ9A3D0B7MGBQTEFB7C
'SP21F9X20AXC2KFVSGXHZVZHQ1T7PR2P7WAYYB78E
'SP2GMKYSQQ7RP4TSGQ1QJAMMV7ZY3JFTPJCRE3S4F
'SP2AGHZQXV2WQ0AXBJ0RB39JW8VPVHBNSAJJJ6PHX
'SP308TTPX0XTY1TQ7DPDD45DEHRNDPG1DCJHJ6RR8
'SP2CGXYX1V7APZP9E03D6GFJYBM0PH2FRGX7NJRA
'SP24SBJMZYS9FWKQZVVDZGM595EYGRT6368ND7MEA
'SP2NKY5A0501A1CNMNR4Z1AX2MA6AJ03R6M2EEH98
'SP1B14W7S57Q471J0E61A01YGQBC3KMZ0WEAWAE39
'SP2ZMHZE792DEC1196H5TQBKXEHP33BBJR2WC1Q0V
'SP3PSRA8PV42GEB8K70CESKHPZFG9MRB4FZANS2KA
'SP1JN8HK5SJ9Q404ZAQ6JK8WD74Y62PD03ZJWBMVN
'SP1G7YWW8JEZMTZXY1VWEQCCGSFBQYEY1ZXXFD2W4
'SP3EJCRT5V10W6JBS8D76J5PXCTF0SD250N1Z1HRS
'SP1ZRFHFGMXGZKEM0FS08MKVE608DMKKX1MF5T30P
'SP5CWSZJ928HRA3YPN5QTJ3PK9ZC20PBTDNJZM8Y
'SP3MZYWF2JWWYSP5NEH9Z8Y46D3HZVY3CZD5RGVHD
'SPMF5MT7BFT4V3YV6V5DG2AJJK7ST273WN4ZG8SB
'SP3F8C35X34SKQXVJ44HCT3P072ETQVEJQ37VQ98W
'SPMFA2XE21YAXX8JGANYRNTEY989BQK8QGCWAD0G
'SP2KT9B9TGJJ9ZY6G7MD2BPFT3E879WMVNSP5JNPV
'SP3NWJKKE77ZSYBM5WEFYDHBJDE4THB9T5S2DGAN2
'SP1563V6RA3XEJHZ7HHD6JAF8JJ03W0KRMQM3TD0T
'SP3TN9N83VNHM38P9RP6HJZZ4A6SPGKYJ8DTCKJW4
'SP306YWEQCB3YE1ZX4ZS0ZEW089F8PDG11BE38MTX
'SP0FXTGWB5EDHTKQAYBR58SCKBJKCNGAM40H91HR
'SP13YN0WR458V3PX6XA1PC1XXV3JBJ3R1BFYX4G2N
'SPJDGVNQ83JVGBCNBJV8NEYXQEJXNTFT7TQSP6BJ
'SP1STK37SQNKY31TJVNZ6CMYSAC47VQPD6XA0Z1A3
'SP35HYERP4QPKZZYASZNHRMGT4CTYW917BDC4HX5G
'SP20TK23CA8RHXCFZWWKN6XXDA4EQ5HR7CK20004Q
'SP16EFMH4W36F4A8N0H0PCHK74SV2RCKWBZ4D4AM5
'SP28TJ5S5P97BWZQD2R9XV9ATAB6P8XSW3VKC12HD
'SP216YJ7BC840SGXDR9JSAQD6D7WXFKHPR3FAFNN5
'SP3W65P3GCFD4NZG4PKXJD6DPFAKKJ9ZBKMWNAAAS
'SP1FKNBCBTAWQJE8Y695VNMYX6ZM55SZ9TAC8NVVV
'SP3H5A0N69DK4EENYNQWY9FQP5AN313PQ1S8K3F8M
'SP10PRBR2ZART0VC3S1J4Q4B0S1N295E752X2WDCV
'SP15CJ9JTGR8BTNDV3YN7609509M64H448NK4JMD8
'SP1FHD93WPG6T5EW924XB58YN0DPDXGG7TP4HF4MQ
'SP2QQPZ9RDMZFTMV7F864G6Z5KXPS6GH0DM4K2E7Z
'SPMW1A7BAESTSF34XTYDTG8XB8ZDAZRMMBZ8B7VP
'SPP2VCBWYVJ0SZSX1M1T9T9K0ZRAJVEY8S2W8VB2
'SP2Y17QFNHEXKPP9Z4ZCMXGYNDGCJV9HEYJQK62K7
'SP33NVNZHT60Q0RW6AM5F0RZDBTR4YZ6GW71JZG91
'SP1DQ15HV89MTR6FXW7H5W6C61Y4ZWHPP8JDGNDG3
'SP1HAQ4NW6HH98PMJP55CY0FXCT3XWZ95KY0Y731R
'SP2JAXQH012QGFSM7HCPPK2PCS3Y15TJ3E3BEY82V
'SP2MEE9QRQH8F5X3M22SPVQWDKAHCA645T6ECJAAZ
'SP3GK1BRHABP8ETF0WWATDE3QN04XYQ0ZD6JHMWRM
'SPXBNHQHGNCGHFY0XNFNKS5NFJCNCC4ZP6NREX2T
'SP1P458Q2Z3CZY9CHDJ3GS5THDHCYD7PR0BM5JFZ3
'SP2QPXRQ314AAR7SSJDMZQD2HR13PVJGWYJXR8K5F
'SPP2TQ9M7YHGS4KSN30HKKSD5NR0CEYD1D3PQ8MB
'SP2KK1NWJ8MHP3H3PXZDX77715WBZ301KTTEAKQ5X
'SP2944D80P2TQY1EY4E5RFWP3NZFGM3N6DEWPDTGX
'SPK0R1N0KFVQ65M0T2G9YG06BABN0KZZXV8JAHY2
'SP3AJC728JY0Y43E8RT6K4VDWPT265RDMXJ8M0VH0
'SP2009N95GZJWQ7W6QFN4CXKVVCM3HKCY050ZM97Y
'SPJ8NVC2ZVQCKB68XW1QXM6P7YJF8EYGQ2TT5QT7
'SP1XT2RZQFHJJAVMMB72XZY1H6PQVGW7S1Z2AJZNJ
'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y
'SPC7SG4NPSP1Q51HCHMD1TM9QV7SVE02VKHRRVNK
'SP3JFEKTFHVC3B9RRQ46FNC8MFRZPHVYYTFWYRX6W
'SP1ZSNWY9FH24CCEP8022ZS378VCSZG2E8DX8Y7RH
'SP3X0TMMDKQVHM923PQGGY0C73JWW6J038XHYMETG
'SP1BVGFC1VP6VQX7N873CAJB62HP1R1EN6YV10GYZ
'SPBC525A5WEZJP1MPNWT0WJMDTP0RAW3JRCMQ3BH
'SP11ATA1BBME266XXDMQPCRMHWEVQKDKAZ2FDVYHY
'SP1Z0JAG083DEE8VQ5H1D5RJDCT5DVEGS212N4XX8
'SP1M3C6626ANZ7MZDZPEXD9KHRZA0R70DWC8XNYZG
'SP213FCK4QPHW1PMRXCVWYJX2KXW79WF6847XZVBZ
'SP3QD8B23CAQQ5CN42FH461XMKHK3MXQ3FBT2C5K4
'SPWGBBG0G1Y4NMYFK7166EJ9T1WDPXCSHXFN92PS
'SP356JJHE9PPN2333GZDM72B1JHEQZJQZCRRHTB3H
'SP27AV8K8ZP7JJ1PTCFJG6T16708Q3CR63VTAKFAJ
'SPGNRR2GG22EKH62N8DCW58YB4D1PVK8TP0KQTHD
'SP1YSEVHW3KNTQ1JWHDDAR1WNBNZRHEXVQ1GE4FBG
'SP2D8RP8J0EYMZPFTT0SS0YE4HR0JV6CBBAB9508F
))
(define-data-var address-list-4 (list 200 principal) (list
'SP3T7HWMNDMB0Q4N24W2DM7ANS42TP833KAK714M0
'SP31R2D422MR0QHC2GY2TD4BZJZDVVHDHJ48Y6XE2
'SP39Y9Q1Z5TEBGRNVNHNCF015M12SQWPBJA741262
'SP1DNB8NFT1B10G4S6TN9F2ZBA1WS1TWCE20QYB4P
'SP1TPBSKSBDTZW406PYBSBVAJMVD0KDGQ1P3Z16RE
'SP2RYWNM8VWM2M7VG9W5SR5S617CD3Y091PCQGHBF
'SP366Y28519SE18AQMJ6CRQR1E05JYYQJM2YN4XPQ
'SP1ET2F3ARW365ADA90NPV9SJHEBWAVVNNHQGT1PH
'SP9XVN6QMN1XEGTM6SR6ZDHZDAWJ6Y6RNMDPZ7Y9
'SP34NJCCYANQR5YAY58JHX7AGCZ4E82EFYD0FR0TP
'SP1RB1V65A1PAAXYT8PVFFFC6T1FN9E8RQX7HMDKC
'SP3RYGTCPHMMD2MSJ7VHX7AZWQHHXF4JZP7BQW0G0
'SPB554NZYV3PM1F9GGWGZ71FAK4YKHVDAJHP08SM
'SP2Y1SYVF1PX7EBGM00QY2ARE6BBGK59QDA9B3EHK
'SP2H3TTG3MQK9CEF59S7VQ86H4FX9CH596ZXSE2EK
'SP24Y9TDFABS6RMHDJ8PQB3MEDTM19TZGEB2ZJ8QF
'SP3TW60M88XFKRT9E5QXKA3RW7YZCH2G93NJ8EDAK
'SP2T424HFWWMSYMWRZV6J3PJ2K36X3HWZ7S0KTXZ3
'SPY61MF42XT81KB36J3ZA7EXB1M2VRYQM9AZ0MYA
'SP2J8FYCX382ZPFWFHKWQPPGN13JZG10FC3HDHZWR
'SPK2Z9CB6VQD91GQC8C2R21H1J0JRJEV9GDYQEBN
'SP3TZ3BCB16A0W0PPFYMGTTWTT3DVWTQEP8DFRAG1
'SP10RQSHF7410BWSWGG113EM5T2KD1EK3DXC0062K
'SP13ZCJD150MM2EGV8P67D2PWCGHEE2YDBKZRJ150
'SP11MZNWA0W5J15P9NFPHP45KN4RM975RJDR85B76
'SP1TE7M8SDKMP1YJYXVGSNCQZH2ZPKC37BBPZDZ26
'SP2D4JG2J2JK230CYEZC6VHNF5GF2W4M4VWRRAKCK
'SP3Y7Z4A50727ST812HFKD6G34WFK26KV1CE9FR2M
'SP2537Z4XCCQ1XEGS4DQQD7KC8DNGHMT85FJ8JY3C
'SPSSE4Q4G9QV5P3XVJA72Y4ZY63JQHT60CD4YGBT
'SP32Q8KWX66BVKY240R0EA2B2EGPZYEPFQ0ZXQPWZ
'SP18QG8A8943KY9S15M08AMAWWF58W9X1M90BRCSJ
'SP3ATXBS4ZSXX3DCDZDT8FMHK9MEHRF5A9XD11M60
'SP3S3X4WCNPTDZW0623D5MGFK6K8WR8PSQAXTY505
'SP3ATFW5VSD0W4N0E3K1E4CGFE8MJXQ9XFFMQ0HBY
'SP9JGMF6G3RT3W0YFHBXRW3A1T3D3GFB7M2AW5KR
'SP3BZKVQM2RSXBMNZ4E2YC9TQT15S8PG7Z6W3V5NR
'SP3FS1SG3273YCMS0G58B0JX0Y1EZQ8JPC92QCVHK
'SP6ZCQDY5M3FZM1194986HTQES77ZQWWW372WGE7
'SP1VTE98M0WVN9BSJ796J7VJQHM4M4KQQCDPCTHBX
'SP2YHT981TCNR3KMTD48QSPH2ZKZVFGJWPCHR1DQA
'SP3C7Y6C7CQT0K6BKJCYBGJ301BP8G43SKE8616J6
'SP1FHC2XXJW3CQFNFZX60633E5WPWST4DBW8JFP66
'SP1AGAJKWZ1MGYDC36H0TJ8C1R61VSGB2GN7QDVYR
'SP1JHA6E6JWYZ6G9Q0Q5D3YH3C55G391GV9EP9JQ8
))