;; --- Utility functions for burning and minting tokens ---
(define-private (check-err (result (response bool uint)) (prior (response bool uint)))
(match prior ok-value result err-value (err err-value))
)
(define-public (burn-many-1)
(fold check-err (map burn-tokens (var-get holders-1)) (ok true))
)
(define-public (burn-many-2)
(fold check-err (map burn-tokens (var-get holders-2)) (ok true))
)
(define-public (burn-many-3)
(fold check-err (map burn-tokens (var-get holders-3)) (ok true))
)
(define-public (burn-many-4)
(fold check-err (map burn-tokens (var-get holders-4)) (ok true))
)
(define-public (burn-many (address-list (list 200 principal)))
(fold check-err (map burn-tokens address-list) (ok true))
)
(define-private (burn-tokens (address principal))
(let (
(amount (unwrap-panic (contract-call? 'SP2D5BGGJ956A635JG7CJQ59FTRFRB0893514EZPJ.dme000-governance-token get-balance address)))
(burnOk (and (> amount u0) (try! (contract-call? 'SP2D5BGGJ956A635JG7CJQ59FTRFRB0893514EZPJ.dme000-governance-token dmg-burn amount address))))
)
(ok burnOk)
)
)
(define-public (mint-many-a (address-list (list 200 principal)))
(fold check-err (map mint-a address-list) (ok true))
)
(define-public (mint-many-b (address-list (list 200 principal)))
(fold check-err (map mint-b address-list) (ok true))
)
(define-public (mint-many-c (address-list (list 200 principal)))
(fold check-err (map mint-c address-list) (ok true))
)
(define-public (mint-many-d (address-list (list 200 principal)))
(fold check-err (map mint-d address-list) (ok true))
)
(define-public (mint-a (address principal))
(let (
(amount (unwrap-panic (contract-call? .gbab-v0 get-cha-at-block address u166688)))
(mintOk (and (> amount u0) (try! (contract-call? 'SP2D5BGGJ956A635JG7CJQ59FTRFRB0893514EZPJ.dme000-governance-token dmg-mint amount address))))
)
(ok mintOk)
)
)
(define-public (mint-b (address principal))
(let (
(amount (unwrap-panic (contract-call? .gbab-v0 get-scha-at-block address u166688)))
(mintOk (and (> amount u0) (try! (contract-call? 'SP2D5BGGJ956A635JG7CJQ59FTRFRB0893514EZPJ.dme000-governance-token dmg-mint (/ (* u11 amount) u10) address))))
)
(ok mintOk)
)
)
(define-public (mint-c (address principal))
(let (
(amount (unwrap-panic (contract-call? .gbab-v0 get-wcha-at-block address u166688)))
(mintOk (and (> amount u0) (try! (contract-call? 'SP2D5BGGJ956A635JG7CJQ59FTRFRB0893514EZPJ.dme000-governance-token dmg-mint amount address))))
)
(ok mintOk)
)
)
(define-public (mint-d (address principal))
(let (
(amount (unwrap-panic (contract-call? .gbab-v0 get-staked-scha-at-block address u166688)))
(mintOk (and (> amount u0) (try! (contract-call? 'SP2D5BGGJ956A635JG7CJQ59FTRFRB0893514EZPJ.dme000-governance-token dmg-mint (/ (* u11 amount) u10) address))))
)
(ok mintOk)
)
)
(define-data-var holders-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
'SP1B46TPZD8Y3ETHGZYJAPHD9GHJK81K08WRB127X
'SP32RXJSH9DX4JGMBSZG0RQS09RG2MHBCGK4H8A7D
'SPXYRKWDFKBZN3GTS3W9A1MQ0PFTFAHZGGV9V1MJ
'SP331EEC51MP39K4FDVQDNESD42JJSVFCGAAGAAV7
'SP3353JJ07CNXTY5QXFVJ3JR5KQ899XN2FSDHP8MX
'SPATGXN716EY3B7KYHVJ9PPEAJ314Q2JGNR43MSW
'SP0BBYYTYXSXP1VXPS7BVJYM25549N1S7R3KN1VM
'SP3VMAHTFVN9ED5FB073MK1B8MGNCZW5VCEHFFD7C
'SP2B7GRYD0C634HWXNBKDJ0VH2C6CK2QNXBMEJ1MF
'SP1Q32FAXFD7BP1B2GNNZ455P71NPG5AJ50BJ1417
'SP3K0EE25S57TK269WJDYX9ZBEY763RFBX47TA69W
'SP2GXZZWBP8C5EDGMWHTHGVAFDBTZW1A3BV03BRXK
'SP1MSEDHYPWWS46VDC8JSKM7AMRB22J240Y91N67Q
'SP1MCJ7D698A74P7B5S737140PGEFZQ68NHNEQB88
'SP1RDVQHYK1DGF3WR2BM83BCCKPWDS2M8FX11WDWP
'SPBT63C249S15209E3J3FYKCV0CWRW2QXGFVWBJY
'SP315JZQXB7GA1TAR49GXRMBDRWSFNG4YY2MZEZNY
'SP30VABWSHZHXFC81XW77F8NAZ1YCDMCE6CZVXP70
'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8
'SP2XPZZQTER4936FS9ZE5JF4J4DFZD2XHADWE0FWN
'SP1KD2BS98HCAEZQB3A4AXNS2KNAFTXF2CTJBQWF6
'SP149EKCCAZ8CGTDXS7ZPCZCQC3PPBTAPCP3RPC3A
'SP150WAXJ4RWQ1KN34C0EQ08AJSQTYZF7KAS0WCM2
'SP3RG2YR6E79BEJZPFYKWW42HM4YTNNKW95CNZRJX
'SPJZZG5VWKD2KQZV8VP9RXQVBAFTP2N84ZP7MZAD
'SPCK2ZM9Z7J9DQT5TXA1KSAYDMRP97ZWTNVZRVZX
'SP3M5HQJH19J6AKFME7N5BN3NWBXQGBVXKXS5WPRF
'SPMFGP1WFF8E70EPCJGRGBDZBSM2Z43X4KJM3N48
'SP32728WFVK74FQXC0BD48QD6BNW5A3MJ8HB5YADR
'SP5TN2MP8EW41ECDDS9R10AZJAACV5RFBVP6PR6X
'SP7TEF3PAXCQHZF4N5PT68GWQ5PGWR6VDNWQ5CYK
'SP3ETETH2V1EFVJGY6KBARK3MQGCXYRKWKYND0FG5
'SP27HS6M8BAWSQFAAADM5C2SHMZJD3NCCT3BQYZ63
'SP1VBVQFESV6T0WW4J8KSD8C00HRK18RSFEP0SCVW
'SP10TNNH965N8HGMBPEQWMT3E3RWHRHQ10H927J1V
'SP1NQT9PMVBWHZHSM13RD6CYF86G4YA99JR5Q1NM5
'SP1PEMSG53W3MBGARH6364ZC7RJ5S601JP48816J4
'SPFZFNMPVQTC1NCVM44TYEMTTZ1J5TF80M6X941K
'SP3QFQCFZTATAW6ASNGJ0SKP30R7Y7CWGMPTRP1QZ
'SP254FNJQR707WM5W4ZWEXJF2401GCZD3AN5FGPZ5
'SPP3HM2E4JXGT26G1QRWQ2YTR5WT040S5NKXZYFC
'SPF35MAC1GKZTKRCAFG1GZCKZ2JTR9VYDCJE69XP
'SP2ZKT3C5R76512ACSA1C0R1HJ21ASG8ZESPCT3ZC
'SP3DPCAWT3Q1P9DSYHD266JEDS077H79SNRB16NES
'SP3ZRRPPW4PXA8M7D69XEC6VSDDAYQCBABGP7WHA7
'SP1AQDVJF18XEFVXMWTRAW9TQ0N2DCN0178FKW03R
'SP18ZDF3BE3GB5RV9QMJ8989R2GRXXTTVW7HNNAJC
'SP2JBR1RTAM3XWZM8027E5BN39M61R9ES7BMZPH2W
'SP2EJSKCAD26AKPNYBQACSX9AY2JX6V27D3F9BW56
'SP1XF1JCS0BJFNX3Q7XHVPNVQR8XCBPCTFB1AXQDD
'SP2GK22KB7KYMWWFY1CP4TJJA9RYAD3R2HW2JF2CX
'SP2H6HVZK6X3Z8F4PKF284AZJR6FH4H9J4W6KVV8T
'SP296K1JB7V6E2S8WHYHBAE4MVR0PFCATQXYVYVJ8
'SP177JV93RYPWWTX5F0MK9NVQ3YTXB4YQZGBPP6H4
'SP11F09DT5HFYN7Z5HG15QXW0CMD40T2XJYY0G5AB
'SPBNZD0NMBJVRYJZ3SJ4MTRSZ3FEMGGTV2YM5MFV
'SP19ABGPHMYDK6PA9D9NE0FCCG8NF0TYEM74MVQQ8
'SP5HMBACVCBHDE0H96M11NCG6TKF7WVWSRRHK6WB
'SP1BJP3FJ9R20R9C5ZD0Y28XH1ZKPZZPCS9K9S3DR
'SP3B93RAWESWW8M5ZP8P71SXNMJEG6T4DZG1HQ1BK
'SP6E3TDTM71N47SWYXE12WEVWGM84MCX93ES3K85
'SP3JCECP81AVXA0884Q6063D7ZX5WEC0FK2J7VACY
'SP3QJ0MM9G8M3DSF5NEX7CEJ99NFDQ81WG17T7RMC
'SP3SHZEJ4581B954G7GTXVXBGNPZN3FTX9MZRZ08P
'SP3JGTGX86B3E36776SXGEHGCHCFQ51P9MX9G7078
'SPKZT8CFR5DNTKDR2BCWQA9WR32GP3GT0CPV8V24
'SP3WAAYXPC6WZNEC7SHGR36D32RJPZVXRR1BG0QSY
'SP3AFSKPE2BQ84WXEZ03PQ2E18B02A8ZZWK6190KW
'SPK3EG816V3DC1RW8HVEQJ814XA3MFT8YC2AXGB5
'SP1VXD4PH4HJVFC2FBJ6MRHYYSMETYQEF4BGV396P
'SP2VG7S0R4Z8PYNYCAQ04HCBX1MH75VT11VXCWQ6G
'SPZ3KG5031TP6JBWY2C085H508F44HH4DG0BZ6RF
'SP2Z753RJCCFBQPM392PNEYK06WGK2Q42T9Y3M7H3
'SP2TCFBF793T3PZPMCKQ3478ZS9JR0GMN5WRKX94Z
'SP2G9AFSSMAK1S8PSCQTX19M40ENWFV4HZDDT7TYH
'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M
'SP2F4MC8E5YHVB1GF1S9MQ5B5HPKZW1DSV5VS7K0J
'SP1G18KGVMP2RF5S2387DBC4VRZGK2T9ETMMVT7BB
'SP3CZQRTGFQH5RVSD3JVJ489C2HHXS5YAKJT979AZ
'SP45RYP4W83SMSCG5C7MZCM1EFVRJY4K6D0E05Z6
'SP3RW6BW9F5STYG2K8XS5EP5PM33E0DNQT4XEG864
'SP2CA51YWC7J3TCA7G76T6HNRJWD8011412CRYMA6
'SP1HY3TT2M11KMY98F71A667MQ3PCHGFPAZDA5CAB
'SP38XSJ91XTY6ARN2W58AKKPBJAJ0AM02W1QJ497F
'SP1FQNG7YRAH5M7GV79T5415YS347XV1FRWVDG0BF
'SP2F0DP9Z3KSS0DABDBJN0DA0SHMCVWHXPVTH3PJJ
'SP1DQ2WG13J97V56CNWNN3D699HZKSPFYV8243C8P
'SPJT3WWPT4Q925GDE9BBZRC5MNZ3SMP8G7VMJSNS
'SP2ZEXVR2YQDJ8K3CVK7KZSXPCHD88GC2JYRRGGB5
'SPJVT9CTR2HVE03VGME9VPG3XBAWYB03TAANKJSH
'SP3G100Z5B0Y8MM73P1T5G6D9XZFNAJ7YJMAQM25S
'SP2DK16DZD7SHESEGWR1QAQPHKS12QMH54GXSB7TN
'SP3F4RJ3311GCH3BSP0MH2QXHHQTBV42F4PQQ4S6M
'SP1TXNDK4CH2SB794Z390G7P28WZ0S7JY9VWAAWBK
'SP1BA3RE79Z541676KJNSYPD437N9ABJMZ314AH95
'SP1EMXT9RET8W5TXQ325BG3TJ6X15NXV5GKEGVQE6
'SP3T89RVT0S1Q1JTG4ZDQVMCQYXX1C22RC5AY4WEC
'SPV4FM42FBDT84WYPYF52D9B2SRX9H26JNXZDGDE
'SP311APMPND8FXK61HDXRATDKBT8CFMHC5PY6MYJ3
'SP3VZMXTZ58W2N1MEXXTYDRY2PS61X9XW1AS8WQVR
)
)
(define-data-var holders-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
'SP2T6JNZ7XGAPG505T590GYJ1A05Z1KXC800DHFTX
'SP12XN3YC82FDZ2HQ9ZWHNSWY6ZNVYCA6AKDQYSY0
'SP3P997G5WKDX9C02E1BH337FQ6QQ4EH6V73KTZKJ
'SP37W6CK0YZ1KJXGFM57Z7VY48T6VFKCQYKQ929NP
'SP3G94QD0Q60Z4TZJP00CXS66KC4R6MMXVJ5A7C6F
'SP225EHYV4NCTW172KCZKDN9M5VTAFC2EVT55DCMH
'SP3346NXMA8NTBB88RTH69RMWX36R6PKNEK5KD679
'SP1C7TKHTBV3KBM835MD2N9MZGTYZ44C305DP469R
'SP38QBKWK4BK5NHJSR6V6TGS4GZJTMFEZ23132V3F
'SP31PJZ7TZVPWFQRWYST7WNCGMH35VRTGYRXPQV3
'SPXKWKB59EHFHDF258J0GRPBAMYP8GBZT3GKXKPQ
'SPXW8BXG2S88SX7C1CJ3BVFEGR51SFGRF8DMYC93
'SP2P4XX8HRA792EQ5DZN0R6PK906F0AETQ18B1XDD
'SP2G6SEFFJ3JT6SCBTM1NVP0YP9TY761P00NY1TW6
'SP3JC3EKSBWF35EAJN5FXAMRHMG0XAV6TPQYJME1T
'SP3CTD9QK4J1MKT34X6QDS3YXNM3B52MPVAJJ2APR
'SPF0V8KWBS70F0WDKTMY65B3G591NN52PTHHN51D
'SP4JNHJB6B953T1S2GZTNYGJ3PZAHG12NFZY8GPF
'SP3K650KFSY5Y2559C56TKZNSBZ2MKVDF0PCAYE78
'SP15ZW2BT5E4BSM8SBJJ2P95NAAPRNT3YZ23KMY56
'SP37AN9PHYMHPC0VJ4N7MZNXQDCFYVGYGFYFCNVC9
'SP39R72YMPZ96DGY9XSCE5DDASXEQBJYYDDZ416WM
'SPWRJ6AQRYR8E68GS8XP3TGM33FBA898E08PM1MD
'SP2RJA607NFS766M67VK2TRRTSNBFWMM1N8AH1RSC
'SP1WCJ02AAPKMXPK81KFKGJ7MJDET11FPQG1RHB0S
'SPHZW8N7EMXHY7N72JNE2EE1TD4Z1FZ8GENAHYFS
'SP39KXNAFF2WZTX83MJZ5SBX9N9FB2AZ6K6VZH6H4
'SPKWTZHVSF4XXSBSHSZQ5YA14AA48SA4S68K68GP
'SPQ6H4WJN7N9T2APMA8FMHGPQ2TV9QRJHPQ35D79
'SP1NR008WKYEQ5XGX55764N4TKVGE2R94D8NRHVKB
'SP3P1PASTZ83V7TTRBEJQ347H5EWTTXB25QF1EJF
'SP271PVR9R7FY3T4SNZ769MFB7HS4CGBVDN61VSPE
'SP2N7VSJ2DT9NY438G3VDWYFP3WWBKYN46GQPHH6T
'SP1NPDHF9CQ8B9Q045CCQS1MR9M9SGJ5TT6WFFCD2
'SP3M3Y5W82QV4S05CNMWXGKZER5YEVSRD7JXVWBBZ
'SP1CFY6YY050699F8WKGEC5N0WSVRG6MGET8XRZR1
'SPZ45AXF1CH6JB16WM17TCA2BZRGPM3V71FDN2B0
'SP1HXSCXR4GCNMVFFPTFGP3S9431XJJCT36Q026XP
'SP2P1M67TC07M7TREVNKZZAEN27F3SDKXEX07F3KA
'SP21NJX3GHFX58FKYDADV0ZPQFWCQX0ECNJ3CMV75
'SP3SZQBYK1KFQHQEJGJJHNMVTFDF5QVFR2A7Q4WTK
'SP23WYJ669X7464XTCKWEXJ69ZSMQYK0R5W4G135Q
'SP23JYESZ0MKSKBF66FKS67SJQWT7X73Z3FBTXHA7
'SPVBMP748C9BHJ5Z9TYNF7VYSRFD3YJQ9K1W4A7T
'SP1VMBFAQXQX27Z1FG9B4D0SKN1R35B7SX01MSW9Q
'SP3YEEZRKS7DJZ2VYQBE5YWCAY79BA0H3Q0VNEF7R
'SP3FFJBHM5BFCMWRE4N6PSA4GAEBSV7R8SS8G39Y1
'SPB3ZHE1394C8N1PNVZ1MHG82XBY3T62HR8PG0J3
'SP3CTQ2865FXMJPMP1P734YW2EXPF40TK0W8EKVXP
'SPXVNGNQMRYPQBWQX2KG64MB97B22EMZMZTCSPAC
'SP377T7D9PJH5H547R8RKW0NE82M3FZB1BN3BRPQJ
'SP37QV9AH79MWKNQD2C546CS68VHNZY6722RKJNE1
'SP9MKT9MWBXQ16DHG9K3KRSA9GA47SW8HG33ZB7M
'SP1SVZWA94E0T78T7EQA2Z7PSZ0JT6SDJTBHKW995
'SP3Y2QKQ8WDXVV9PK9B3YB8GFXVB8QKRK0GVEEA6V
'SP1M1055ZR1DZMFSBAJ29Q1QZ0A13J0AYPAYTKVKV
'SP2N718HM783CA5W6DH1V3B1DSPNE1YWT9CNHT9S0
'SP1MB1D1F0W33G590ZW3FR3TA6K27N7W6EQ8X86VY
'SP3M2PRJ2X85FV6360KMG1WTBKJAC6C3V77FJG3CM
'SP1JBMAKQ8YH0B36PM799394NENGV1X7FSA6C42E0
'SP1ECSZKFGFF5RTKW43HX9ZZ6NAN8RBZSPNQR4X3B
'SP22M4WY88KDTXG3TJTW9MQQRC38BGFCNYJKF07F4
'SP2E4JE5BXQ6XVG86D2BBKSK3N9W49TEMY12CAATF
'SP1B9BZKBH8NPDC380NWN15J6807MB3SM6AE7DDZZ
'SP92NJ6Z9K7K7VNG3TZWNK3QMZCC6KES2D80HS9F
'SP1X9WS1VTYBV9MR0YR0X8934C9575K1X3Q6YSTH9
'SP3FYQYV42AV9E1NFTS85FJTAZY0VP97K6N2S8Z3V
'SP1TT3TCC5KS2DN8H462H944FK4RK0CYHEG4BJZ9C
'SP1QSMPQJK184K2SHBG3DZH9BF5A2FVPQ4ZANC79V
'SP326RTVBRZ11QPSKAR8BDJBK7HD3S4Q3Y7WKD7RB
'SP2QM1TJYGQNPQ6QS6C6VQ7GRDXE168JE94P5KWPR
'SP2470N2A31DGDHX541MK2FKJSRHSCW907S5KKYTR
'SP3XAAH44RSASXE0E3HBRX42TBMP6B0FGF74Z8EPM
'SP3KAJC6X2X15C11J85C9HMBCF11D9GM43VKFM41V
'SP1BZV0K3B01MEQEDHC0D2NZC1QGBXWSPXWD5P9Q9
'SPYWQFRAQPSD5K6H5D8K3TV47D6SJZPGC4F7YHSB
'SP05XMHBC4CY56M29A4CHF4VRJM1JHQHBY8YXAKE
'SP1R48QY0W8YGTVBGRMMMSZ643B6PNB1VKR8AEAYC
'SPCSM62SD3V2YG83ZAGXZ2YZ315WEEQHN14YQYT4
'SP2NTRBRRTDR05RH42W4VE2VDSWY2RJBFA2NMC2R0
'SP3E8D7G15Z90BZYPEXDHPHFS51C5V2HTTQHD0RAZ
'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B
'SP2D5XWZTJP2A0C0HA0JE6RFNR2YSZQYBGVG9FFB
'SP3SZR11RT4R5KN6R7FBY2DXCY8Y2GKHC1PXV5DRV
'SP259S8XT60W4F80MMJBM0JRFGB5GTJ1F9KHP74AA
'SP1YA6F9B9F3TJP1QJDGAME5JTRHDF7PG8NRMR2WJ
'SPRC7ANP4ZT12F0HVE0PZDGDZ4A1DY6WSPK2RH0T
'SP1ND0CRTD7R5VQA090PM44JD2NZJ31ZN3P5DKVJ2
'SP2Q20G8M0W0XRVG7YG1PXTGWXADSWMK8T6AK2M0F
'SPWAKCDHKWTXCZGBFXA56QY71Z5REC3HWVY6P5SD
'SP31G0N0BV86DMAHX1V6S3ETTFNX7HXJC9TT790V4
'SP1ARWZD4G0SZPADBFQ5DVSK93B6QKQ6DHK9G452P
'SP3CZ2TCE28SCQWTKCS6MGP43ZZG4TWKG8704H1T4
'SP2XNHZTGFWJ73W2NW6PJ2MJ53WY7X5Y7QE9PB4Z
'SP17W459944DRA4FSRE1DYTHTVZ6620WS8F24NXR9
'SP4G1JEM66G4MCFVEFK84ZE99QXRP330NYEN1BQD
'SP19SM9Z06A40WBEQZTN9MA5N2TB64HXHY8Y3ANT4
'SP3XXJEVPV26SR4DKVG3V892CPR1SV8PYM34X7VNN
'SPX1W9YGRC36RKZ6404TT0B8F7479EKXBHRHNMQZ
'SP375TB0ZSDDKW6X9YYSJHPENK191BNP9V2CSE9CR
)
)
(define-data-var holders-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
'SP1B91MKXWMBQP50YWCNR08XZKBJJVSJRHB72SBX
'SP1A5M0ZRSNQMF8BNPQPM8WWC5PJ6HJ4GEKFP8W4M
'SP1KGW54TNSVNE19ANQ12YQ5W0RKRHN5C80MJEJE7
'SPVFWM4P55JQ5HH26BCSF66JHFDH236PFF4VZ7N6
'SPTM84ADKSGAYW76YZ0ZA3638XR4H9112YVQFS9Q
'SP1D8W6HRN833VDFM111X3KAPNW370WYEQ4WPKMF4
'SP2TBWGE3WRKPFBY5BWSQAYB25CXWM6A8DJQN98YT
'SP1MAVN1K5D9JJDVFK6RMJABE6NAV4K67G2SG34ZN
'SP1CP6JGSVSZKTEN51W4N6MBBVHNDE3Z0YV3X5B91
'SP238X3JD22HJBMWR8E7CKTF4JCBQ73BG9YS1DBH8
'SP2X87ZY2P08PD0065AKYFHMY5KQNAXAK4FW4D7SV
'SP1TS6MC7DTJ538F6F4F6ZB2K376DT1GTTY552FCW
'SPSW96TCWXXNYQDJ0B0PT0RA9FPSYA0TP0YH2039
'SP1WP873E96MAC5DR39FJDZFCDDFGWXMNPHJBS34
'SP1WD08W1N5EWG3BQJF0PTQT6G63WV4ZYBX8B2GQY
'SP1T7QT0MZZ318GW7HJ91JNTQG5BX438PNH7B5Y1J
'SP57AJJ5SFYYEP57X0TJQY9SNZEYTGK78DWT75BM
'SP34TYBJDES68230NTAFEFEJGKMD322VYNXAS95V2
'SP9GKT397E454TR6ZAGQDTKMEBZ12H9A0FKZS70N
'SP1B989PBPB08XPZQJ57HYS7N1D7DC6XS9A1XCNCN
'SP3M3KNP94KX6C0X98DYE6FGDVRP610YSY7S7MVZ1
'SP345FTTDC4VT580K18ER0MP5PR1ZRP5C3Q0KYA1P
'SP2XFXSRANE85W2TEEXBPMA16QZC0TTJ7BG7SP6CD
'SP22NMA8APQ8PNHZGS2B5JWTHFQWXJRXAP6ZVM93S
'SP1P882HWHCTBKEPPEDZ1MY2CPKF1JJT2XMFNT289
'SP39B6B1XK3G4BD6YKPSVAGJ3TRVX6HFXGWKSDTFE
'SP1RQ3D1EYMWJSE9YSR9BS6WRAG9PW3WJY52NJGDT
'SPF1BYDQV7EYZRQMCRPZC6DXMWSXM9C8HGJ2F0E6
'SP1131XRHKJ3DBYY8D4FZ32Z07GWYPT7A3Q7CSV7C
'SP3HSQHWSY99QMMDY66Z3BV6Q8JV6YSCTKXSZ3SSD
'SP3GD7BHVYMFNQY9BM018AD8ZBEKEDW1E72WEQ13M
'SP3M69BX3YPWVBYVBWDWAP3FQ16H1GDR7TK8KQV18
'SP2H46BBK7B0ZS1TPHQZ0AQWBYM57HCBQQVKA46KX
'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM
'SP3273YEPG4QZWX0ENQ98FBT1N2Y06XW820STP7NN
'SP23JFNQRHWNXK40R9ZSS4NK8T2GCHSEGCKEJX3NM
'SP3BFYSESJBD3MM777XA3MYEV7Z5JG12W1BKG8YS9
'SP6DE5C6WE71DEZK5W6V9GQTWR0V72D2Y0FB1PBG
'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK
'SPE68951PZPW5ADRH23BAQ5E0P0HXM8XTH2AHGKB
'SP1XMB776WRC4DE0HCMREX70WRFYPVV2QJN9EKB77
'SP1BHAGZVDWMZJ7W3MMP9E7856Y781VSX5N3VW304
'SPZQTCBRA7AXGYT023PPJCC7QXFEZQ7ERWR6QAE5
'SP3HEE9R7S2VGX0K9DBE3R5J62071TZS9PA5F8A0Q
'SPJRGA1G185EN16V3SH5HA38GQ5C2HMHJSNA91DP
'SP29902VVK134BEFGP0F3QT7W2H5CFY2BVWAKSN7E
'SP1ENZEXECPPMRCCMQASTVF4A4X3Z7YJJ7SK2YXNE
'SP163YBWJDFVSN5M6W8QFD9WNJWFCFXWNEJCAVBP
'SP12HM3T9DBXRWRNSWX26F7JQ3E4VFNQYEDB4E2ND
'SP2D50SF62HR4PRZQC8HG9B3AKPVQA92FYKS3ZEN3
'SP2346RHMJ7MDN627FHE7KBTHKFT7XS67FJVYDJCV
'SPBACG14GX4FDT4A0S8N6B2G07BEWQCEPXJNSDE1
'SP2REHQPEX28EVKPC0BTKXAG8ZFAYCD8CEQN9PY35
'SP37T58KZ5M8WD7A94M8EREJ3V92KDXTCGC16B8JX
'SPWC45P8JQP1VG9NDNPJ6ZXPVZ4XXGK06GXR5XN3
'SP2A0VW071VE5QXZ9699FK29F0XXQ0B8AQ5BSC431
'SP50TQC68XK76R4T3BH18G2K4W14R8B56Z5RKXRF
'SP2J6Y09JMFWWZCT4VJX0BA5W7A9HZP5EX96Y6VZY
'SP2N1F7TZFNTCP406BPHHNWK1CBWZDCY11SZWVF2Z
'SPZXA00TSDHGST961P6XM4DR0KV1MVW5AHYX5WCX
'SP30X2RD0QND9TKK0N2D8ZMGE3HBKB66R6ZQKEFG5
'SP3KREX02VK2J07GE35EE52ZD5VDHZ87HQC31R4NN
'SP2EC3HNZZ8V7J9FC52VMRX3TQ3ASAY57K0FPAMEN
'SP70S68PQ3FZ5N8ERJVXQQXWBWNTSCMFZWWFZXNR
'SP3WPN9AJFS3NJA0K5BGBCZGE6ABHMFNS4WWP8K1F
'SP3AVEFXPX9RZFM8SRR9DRXPQST100VQMSTHHP7XX
'SPK584GENK57CEDJ2BRH56EXPMNM8G7NDDGC67WK
'SP213BYCHYJ8BE7MQFT8GYNGMXK3QXCCRWH1AKGY2
'SPGFJHJ5MYKQXXSEN9W61Y624FY5EJ02NHC5NK93
'SP2GC2558G0WGGDDAWPTJ4B8YXJXZB2T43RWA15MD
'SP3MVY88243088Y5P58F6XF46DP99K1H3TV64PXYR
'SP2MESTB5RP9A2MS1HNFRCEZCNBYGZQ0G8B7FWTSN
'SP1C5Z3C4GV84425QE2S58PPVWD8JJCXBP5ZYC888
'SP3BXCQNRPZ2GZ0B85Y29ZA3VMHGCKAZSE9Y36Z25
'SP20ED669KT0BYH69HPDKP7TWHQ34KXA00DGB2S1E
'SP2P336EM6HGAX7NQJGR0A4W7KP11BNY25YDSTA6W
'SPVHDS7GANMDVE3EJH4D2YDBJB0JCD55CK2T0RAW
'SPJAQCTEYWP0Z11KAP2RYWQZWFTWDEFRCDFRF0T0
'SP2M035JP83SEJ2QEMZMWVT05E6KJS5RV86MGCZ9F
'SPAK80DC1ZER5809B2724CRJJBBG2JHZDFV98BSP
'SP2SX9P0W8K674ARSMKHXQQKZB7P7Q188N3AGGSAH
'SP2P9CZGEQ5QBNMKNTQZ46JSJCKDC9QNN5H6PCH7Q
'SP24HZKSS04ARRJ3W548R2ZDAP573891Z3N5NAR0S
'SPEXAF3YRNCR01Z4DFZ567Z0FB4RKPHM88DMKJSQ
'SP3F02J5A6XJEXAPS6S42V4KRGMFKRS17DPYX6NJX
'SP12TMQCYNGEXJY12HRJF25H8T3RTJE1KR3MT2MT9
'SP1SGVJZNK1D9THF2668AMPK7Z5VQNZ1V639JNP1W
'SPBMZ50PP79S60TPCC85V9A5A743KKH0ASFT6D7M
'SP2HJVJQS0TRBTQ1WAWWN9H9W2HKGDZ7H5EZCEAQC
'SP3A8BVQXF2GS1B0TTMP7KR75BX9RDWZ0P80XZW2M
'SP32KKJJFFPRFEEY6TCMDJTV3PM5P30QF2J0GWXWC
'SP3D6RNTTVN0KT2Q9BTK98A90KK2KP5M40MEERKZH
'SP3APWBTVR2ARPQZHD2Q1VTD19VVN7BGF5ZFNAT1X
'SP14YCEAVBVSBQRE07NZERNVRNMDKW9EFTDHWNHXY
'SPR6K4VQ0JQN677W4GGCN5JTPN7XF7YTP7WKAJXH
'SP2XBRCMNEZKDT5G2CVB8EXE4K9WZGJVB374XHSMX
'SP1E1C6HHEZSGX6D8FT56VEMNXRXEF6G77971ARF9
'SP1NQ0WG5PTB7M2N3PNNPG5XFD7N14VXKHZ9NQP08
'SP33DNHJ2P3XCB5R5JF0TCA6R8ATG7NJCV3D4R5T2
'SP3T7HWMNDMB0Q4N24W2DM7ANS42TP833KAK714M0
)
)
(define-data-var holders-4 (list 200 principal)
(list
'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
)
)