;; constants
(define-constant ERR-NOT-AUTHORIZED u401)
(define-constant CONTRACT-OWNER tx-sender)

(define-data-var total-supply uint u0)


;;;;;;;;;;;;;;

(define-read-only (get-balance-this (vault-id principal))
  (contract-call? 'SP2C2YFP12AJZB4MABJBAJ55XECVS7E4PMMZ89YZR.usda-token get-balance vault-id)
)


(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPSDF36009G1973AX5MPKVAQZ9EQKH14G35KTMDW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3D5EHK8SMJ3MMJWYCAKWJ2H4F1JQX85E33ZJDB9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3QS9C7EY35ZF2RRF3Z7WKQD72ZX2A2MMQ3SJVWG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2K2Y277FZ48627S2PGDH0Q0J0GBJCYSY4QYNPK6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP374RMXRCP8SZCWYT21KX7ETY3V2WSQPNGEZ7GF8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2JQHM025HA3R18HEGZ8X3GR8EKYV3BWY2B4W396))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPM3VEAX84AFTAXG4KPMXXDJHPXAMRJ1BDSSDQ8Q))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3N6FS2TMC021WCAKBV4MGKCEZHD3HK6B2TJ23XJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3N6FS2TMC021WCAKBV4MGKCEZHD3HK6B2TJ23XJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1JQ6KP52NFT2RAF0JN348G8XD142GZ0PN7Q9ETK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KSJSBECT24E90JP5E17Y2XG0MJEBY16X04CKGD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2PRVHDTV2Y7N7WVABPMBV1HWMRZ548TEDJ3RZ2V))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP22ZAQG6E440QBQRP2A25D68B4N4GYQM7CT0RBK2))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPRP8E2B66J9C58QRC2F98P3YJ11GC33JK7YRCTN))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPM3VEAX84AFTAXG4KPMXXDJHPXAMRJ1BDSSDQ8Q))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3TY55JJ0Z72M6RMN1SYQC0XYM3Z1S33J6KA78GW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP325DAYKWK2AST79G24TTJ9E28CBEESGRG9XWCAF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP23ZSH34VFD9WC6FVWYNKJAVME1SN89ZWHHR5NCC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1D7H14YMARPB4G7R6SCEGGVGS78G4B3HQCZ43PM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3KSQV74SJ669TB364J8M59DQC6ZTXE2NX28J6JW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPPHN29HHPJJSJX3092D5WNPDC9J88TZN5416HJD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2EJQWPQRJX3JDYSBT3BN10JRCPBN8JMN9QTFAST))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPDR2VQWVZY7M1BMQ98Q815DSG75NNCPEC2XEKJQ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK42M5PXE9MHC8JYCK491YRNEK8E94HTJH3QKCH))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3NH26Q1KYANP3CYBV5ZWRJVXBPBE8GK33S8M20F))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP14XNHK0SA1N8RPCTXQJSDT4GPHGEWYH7VQETMQ0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3THKNVVSBKVS4M82PQ6WPFT74D96K0XD28T1Q10))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPM3VEAX84AFTAXG4KPMXXDJHPXAMRJ1BDSSDQ8Q))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2E9Y2CPF7YTAXEXDHAYWJ9GQG3AH0W9HWHE20G7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP374RMXRCP8SZCWYT21KX7ETY3V2WSQPNGEZ7GF8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2G4SF22876WJWMKZPJ95D1R98V2KX1HA8F6REQF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2SWNHT2Z548J90EY7M5QCW1GXSZ0PH0CR954SXB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2R58JQ881P7QSBXQBF1H2N5CEYX8P06H4DS9B3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2SWNHT2Z548J90EY7M5QCW1GXSZ0PH0CR954SXB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3RY185H0R8TNX4PGRYFZ07AV001N23N1FJX9MEE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1TND71PMH7PY7H464YCYR6Y23XT53DYXT06034F))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPM3VEAX84AFTAXG4KPMXXDJHPXAMRJ1BDSSDQ8Q))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3AEM26JN09V9PKBWN23XF6T7KVGQQSRTSXPFQ3K))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2ZDFQNGN63NQE8A5WPDSQPDJQC7D13VRC2XWJ3Y))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3V2E4Z95FN2D2ZD75KDDP6HD4KGPHT2BEBANWMC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPGAKH27HF1T170QET72C727873H911BKNMPF8YB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP29CFS1B8CAJ14VCWGGH3Q88T7RDJYVCGE1BK0XN))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP76GVKAGYNNJG4YZ32D3M8853YG73JHZXG4SSWJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3X9696B2ZKFMBHEJF1RBWMYDQ2YGXDA11GFYTE5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2SWNHT2Z548J90EY7M5QCW1GXSZ0PH0CR954SXB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3MMNZW52DHWJG4AWM2D74C6QCCNVVR1TAB4CNX2))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP13M69F9YG8XAQAK3G1MDSHK5BHH8WQD8E9EDGDY))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP374RMXRCP8SZCWYT21KX7ETY3V2WSQPNGEZ7GF8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2C8EV5DNAB2H9JE71GHH60503FNJWTXKBRQP4HS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2E9Y2CPF7YTAXEXDHAYWJ9GQG3AH0W9HWHE20G7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2QK197NC1SWGBJP2TJDT3KP24RZFX7FYHM1BWDA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2CA5EG4H3V340PGGJWHBCVHZR2KE08CNGQN7FFJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1WMDK3WHQMTZA6KNAGYQF6GE9XGDJPR80Y0C4FJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPV4VNB1FXEM8JT46QGZD2HTC22V3181B4686KEB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPMNTTDYV0Q03Y28PM3KVPPBK83VGZFK18Z7RC2R))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPA6DVSF7S0DEXE4NWG6JQBX3BEA5AS5PEE2NQXP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1MS7KGA5WESV319PV9GVKW2FFJJ1YNT9ETC6FQC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2TGBAT4N2X691E3HPCFV0P9AZ2RCKYW5RAHG87))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2K0XC023AT9D2JPRMBTNA8X3KCFHAX7EANR21MF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPH315YR93G68PVV7BNWYT7GKG11E1GQZMJYEG2X))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1GADGVQCP1PP2Q3GD5SNYEHFS22G3MX1HKE1SHX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3N8Y6YKX2Q5VT4GYJWS1E017ZZY7RC4NP5K0G87))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3QETBCGT1PJX0ZPNFMMHYZEQXER2M1M4AE0GAWW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2TPJBHCWM5QWRQ6TGY1D91H91DMHHJ20PW4JP83))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2QK197NC1SWGBJP2TJDT3KP24RZFX7FYHM1BWDA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP39QYDCS647Q0CZCHFRN9P2WFNY2PQBSAZVZ1JG0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP43A5P838QWPYBNTY0M37RJ91CF4TJMFM5SSWXQ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP33QWVZAJZJGB5KXSM8MFWWGQDV0S74F8SYSCT0B))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3T23YN6MBF44YNV910FD8JNMN1NZYGKG3MMZ73X))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP141RGA1XEQJZB59ZJ2VRWER2SZWFH6FYEF8GXXK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3ZTYBN9PYVVFKBEFVSZ2BEGK3HXRNVP6FDG79WV))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPPAQWRD7Y3E982NB4BVXPFRZ1PMZVZEV7635GZ9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1NXP8V4NT0M2371SPR5K4KDGN3T2PTAKN7N7MCR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPJVEB5A63E0Q5YDRNNGT5G5JM7YMH89RRZD3048))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP36GSEC1W1P101YMCJG2S9P2J2VHQ8Q384H7VK0V))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP36GSEC1W1P101YMCJG2S9P2J2VHQ8Q384H7VK0V))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2E85Y7SJAPEET3RG6X79AMCSSEMP28M09W0V026))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2E9Y2CPF7YTAXEXDHAYWJ9GQG3AH0W9HWHE20G7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3D5EHK8SMJ3MMJWYCAKWJ2H4F1JQX85E33ZJDB9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1Z4GPQRY0KZKJSS1RGZ5NHP1PG1PDWJ09N0B02K))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP36GSEC1W1P101YMCJG2S9P2J2VHQ8Q384H7VK0V))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP76GVKAGYNNJG4YZ32D3M8853YG73JHZXG4SSWJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3D5EHK8SMJ3MMJWYCAKWJ2H4F1JQX85E33ZJDB9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3V29S20KP4BPZHBWYAXJWNBRAB66TPBDZ444995))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPPHTVGGPYGDWV8VQWG5YEWT53ZN38FWB8HJVKJ9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3HREEBAGV848V080HBWKGY09G8HAXRQQ135N01Z))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP16DP49DN52X3MGDWM114WZT3MZ0W9855AV1FYCK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP21M0HMJ29X3NPCX2EJMRRTGZXSS5ZJWV8BJYC8M))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2QV18K6HB5NBE2RWHKH1HY2A3HKJ4NVW7KYN2SY))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPKQYX7V64SGYPZGBC7MV98MX4D39SCF45PQN9MD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP37Z5W7FAWKBKVGVVDPRP093T9PHCCA4JCZTG1VD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2MN9BT5230AM8YPXK4JVYRMAXJ6G3VZ206ZS8X1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1HW4T07QJX7MTYQMSNZZ4CVPXHSJYBN6N4ANJTM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2CCXSJQDEXQYTV5MWFTTK6SWMCPGY2G05DS1MM6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2CCXSJQDEXQYTV5MWFTTK6SWMCPGY2G05DS1MM6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2YSV51P5KQ0XNXHQD8C5CJDX0AH7RNQD60315PB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2PFNBABRMJGWC8MMQW4Z8Y6MGA7CVMZJAM9DHR0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP35PPXHMC70N3RSW8J0WE951QC07YCT43ZBEQSC2))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2DFX28F1S3CB46B5XH9M5JQ7N4SMCE7CQY1TNYS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP247S5GNXWHGBTPN7R2MTQMAN20AGC4MK9V7H31S))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3RGQB4KTSAFKB2BN7R247QVETSYXC65A1509QCK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3THKNVVSBKVS4M82PQ6WPFT74D96K0XD28T1Q10))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2387SVTEFW59A7BWJE84V9Y6M9SYEBDPFAQ1XN1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2E9Y2CPF7YTAXEXDHAYWJ9GQG3AH0W9HWHE20G7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPCA9364SXJ9JQJH52ZYZZCPQ3PKYAXAAC8WHM4T))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2TP6QTKRPET3APEZN0E73SG08K6MQQJSFMDWF3K))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP20BBHM4E3TTBTJEA7Y09E9NV736RVCFY7SMTAMN))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP17PMFS0GRYNPC6CSMYDJ42FDNJVBS5FS4VXY4WH))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP779SC9CDWQVMTRXT0HZCEHSDBXCHNGG7BC1H9B))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP779SC9CDWQVMTRXT0HZCEHSDBXCHNGG7BC1H9B))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP779SC9CDWQVMTRXT0HZCEHSDBXCHNGG7BC1H9B))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3N8ZJBY5R6V4QNW7GR7GA6VG73WAYXAFPEMF69X))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP38XSJ91XTY6ARN2W58AKKPBJAJ0AM02W1QJ497F))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1CCVPBKXT69WRP8VKSK2VJ5W0M5MTBHG2HPS962))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP13M69F9YG8XAQAK3G1MDSHK5BHH8WQD8E9EDGDY))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPRB3JCRYJQXAXFTFR78NM9FS1VB8CSSBX2RKKFW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1JVB9ZWKPGMYQ62YFWA8KBE66SDEFJHGJR9DVX1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPDVAGX3EGETB7BJ6737FRS4DTNXC7CVSNFK7TSR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1Z938956ACRTVVK7KBVXH3TQE1G5PWBN4HX1CGW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1CCVPBKXT69WRP8VKSK2VJ5W0M5MTBHG2HPS962))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1AX2ND6NE41YNN9C0SDJV2N11X7684RBKQWB9XD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1CCVPBKXT69WRP8VKSK2VJ5W0M5MTBHG2HPS962))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1CCVPBKXT69WRP8VKSK2VJ5W0M5MTBHG2HPS962))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3VHP5FZDEC2WGF5QCJCXBYKDPXNY1BB7JP8TCGS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1HCKCWNY6FGHD6BZSW8DJEYAHC9242WEHGZXZRD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1CCVPBKXT69WRP8VKSK2VJ5W0M5MTBHG2HPS962))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP35PQTA0R41CNAAH9ST3FK5EE48TC4Y09VJ00GCN))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP35026ZT8Y9F77E8VMK5K6PFGFBRVRRWXGN823S8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPT0W7P8ZWJKEEJ6ENTYDAH6FXHC0ACYNKH73Q0R))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3TF26QFS3YMYHC9N3ZZTZQKCM4AFYMVW1WMFRTT))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP13M3AG1C419Q58PBN3NQZVA4F780YYV74ECSD1T))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2W4HSZ5MBP7BB643K5E0XG5TEEK73P1C1PWEY2A))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2G53997NM5HK0FYC6AW1QBDKDSMV3GKHB64XZ5C))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2TM156EEV0Z11CD21Z8MSCWKG6BT2A1AQWQN6HA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3MR272GM7X7H9QSB4211RSQPYV94GT2FWXV84QK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2J53NTNWK3ZP61TVEAVE4VMV7NMZHGSJ1KG759))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2Z7BS65RDDHE17JSXVHCQDGNPJVW6672W0WZT00))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1N5V0B9QF2QRTSDQVTKQ6X7PK7EVHXYT401GF3C))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPR1JJNCKRQQTSE98HCR0XHK6QHFG4WAMRSV7KAG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP25TCYPJB4S1HFXKXHS79N92K76TA4TG6NZMCMW4))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP18F9RXVS407Q1Y041W8NWYGB8N2FFT48B5D7FBP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3SRFPAW2MXEVQFZ1XT7QF79YCN9EQY9J3CH4X29))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2VHY30GZYGHDR0BBF6VFHGT5SG0VFX6TJB62QPV))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1NW8Q0CTAP9BDCBB0KWC1K5Q0W4JDDS674RGRCR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP386GH4VX83NHW6N5R5GPH6BWBS0Y2JVG6ND2RXS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2PWPZBMP03E2DW3E9XN2349D9NQ72M3P8WEPNMF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPBFZ5MRGDMEKWNQTJ57W2PA2GC0765ZFC5BY0KP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2CCXSJQDEXQYTV5MWFTTK6SWMCPGY2G05DS1MM6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1W8FHN99K69H4J2GF9R0HFK85000DTPKGDJ4PB7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPKQYX7V64SGYPZGBC7MV98MX4D39SCF45PQN9MD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2TG524TRXDS16NBCY6RG0PXN2HH4CZPKAT1BCT8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3VH4DZ7HJYVHJYWE3JZ6A6XV5YEZW0TZFP55FVJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1SCY6RS1W4R9JZ3Z362T1P76ZDZ6Q1WW8BRXDTQ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1EDW8XD27MMDYAQPS3HXZGPH09VZ804N0GB2C6E))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3JYTEYFKCY12WTY7TNRCQ392D1WF0YTPV71P0EM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3AF7N5ZKAHMSTG6FDSPQF1T2NV5BMVGBSDP2ZGE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1AX2ND6NE41YNN9C0SDJV2N11X7684RBKQWB9XD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3D5EHK8SMJ3MMJWYCAKWJ2H4F1JQX85E33ZJDB9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3RTGVE6VBZB8YEGQKM5W0PWVV88T9FTZQ3S714Q))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP164ERMDNBT15W1E33VC6XK8V9G8GR1EZN682VAC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3TF26QFS3YMYHC9N3ZZTZQKCM4AFYMVW1WMFRTT))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KBXZ16EYW9WMG06PCYQ2VK9339DVHV6ZBP0K0Z))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3SKQXRJCZ1HPJV4JCH4EC78RRTQP3Y3M33TARHQ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1A6BJNST4XNQYT6HKCZ5KX3G0DAWTMK34P7BHYX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3Z5DK1KFP3YFFVPWY4NGQZEJVP3532FYN2A7E63))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP374RMXRCP8SZCWYT21KX7ETY3V2WSQPNGEZ7GF8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP18F9RXVS407Q1Y041W8NWYGB8N2FFT48B5D7FBP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2SWNHT2Z548J90EY7M5QCW1GXSZ0PH0CR954SXB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1CCVPBKXT69WRP8VKSK2VJ5W0M5MTBHG2HPS962))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP04FJ1VBN18JKG1FE6M7RGWPZT3XTPE4SXEC9Hr))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1V9KKM0KRE2V86Y506GF9ACWS7MJ81T9192FRPW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3FYANEPQWPMB6AC6QF65Y78X2HRAE1YKTFA4P0A))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP26ZSXREMGCD8M71Y4FVA17QBC42EV0VM3HPVXYQ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP4PCYSF8Z36123NXB2KT8H6HX78VT9QCXHK8YJ8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP38EB8H418BD6C1N1HHQ16ZADNS5Z0ZMYMN3P6XY))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3WT85B2PJWBQG70B8NTCA9DNZ6TS07YP5497WWW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPXM2MXDXS5R33SJ9J91N1T8Z4YJH9PYH4E8NGVW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8R8AT0HS12MRKHMZ22J05DMTBDHRW9XJBKE5DG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1X2J2FGVS88MJS5JC50EGH5636SNSD801B4X7QD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP18P831TBGKSGMJEMJM0V29CMKJP650ZT21YJ3XX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3W83KG17KJZZXPDZQDTRQKQRGHNFZN410R9P02E))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPJWDXP3D1GTV6RAS88WM4FY1AQXR5K5Z63CM9GG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP37FFFCKYG03HGS4DTRE2CGPP1RWMNN8R18M6K83))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3DADFZ5M352BV2XZY1RSPV307QH0JPKKEQMFAP3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPD7K15XDVMBHDAKVGX04Y21ESXEC7SWV556PTB9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP23E1ZQAFFASNS8XT39E8Z3J41066J7772FWMQ9M))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP4PCYSF8Z36123NXB2KT8H6HX78VT9QCXHK8YJ8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP37WP07K6M2FEBEDB7W97QQ5WVC0JWXQZ94DVCJB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1T363X6T7VJ4RCNSA6RQ0RPGCK5QPPSKHRCE7F8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP207D4A7XMNGA7JJ34FD724A0NYV7K7MYDWK9T21))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPR09Q32WPG9JKN7SXXXJB1VC6BGPD4VV893SFFX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8PXM597MJXH5BD5FMWK3VN4E51Q7VTZW7RWHCV))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3Y55W354VTM2C87VJE70BMMACSDJMP7ARWBBS7P))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP6PHFNEB479QWYT9VDSW32VKHDWQ436416AW439))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP16WBJNJ26EVFX8C1Q17SK1ZZ2SFEK04426489JW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPQKBXJ27WMJZ31JP9MB1PKZ8YRYR5YWTVGT5Y7r))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3VBME5VPZJ16G7KFA2VFTNHD7924RNE4G4J46ZZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP158V6RZEA7N9WQDYZMQZNSXJPTSYJWAGH1N8AYA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2YQCG0TTTQ0A79DEEK0XVW8PDRM6EBDXSYXDFAP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3VBME5VPZJ16G7KFA2VFTNHD7924RNE4G4J46ZZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1R0XPMJGNPZJKJFC056C3D0GFD8VSTQB0PBEJ7B))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3JJC9CVH2251JC0B4QTPS661H6JNTA2P9E6HA6N))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2GHPX871GG50BE72CNFZZ0FJM5JQ5GPDKM4T2RC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3Y55W354VTM2C87VJE70BMMACSDJMP7ARWBBS7P))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KB34T2ZCX7F6TW3MTM5FZ2738WABWRVZFY7N1J))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2DEZYGP2FX545Q252QYPGB1KMTPNRG71PHTNCWN))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1W5CWFJWXGHHM4ZEAJWFQ6D9V3N5GB9VQEDYSED))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPHNEPXY2N25RTB6BMJGJXAH0XSHV55GZB2FC69D))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPWKDKPZ3QDPQGDADWJ3EWPAP14CB1N1HDQ897W5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2M51D1DTWR3ARWSD3TDKYN3W5T7FE1QN9YZV3G6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP207D4A7XMNGA7JJ34FD724A0NYV7K7MYDWK9T21))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP335ZC3W6M308ZKTSCCBMR54GWA20RSXCKJPZC59))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP248HH800501WYSG7Z2SS1ZWHQW1GGH85ME34NT2))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KQPVBJWNSNG9VSZV3YGZHPRG2ECQCBK2HQDCV))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2T3TZZJ6T85KZ0DD3EP1VFYN3163S64XWQJ336C))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP33C3EK83NFZ9YHVKG2VP4PC59EDYN14Q229QBA4))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2T3TZZJ6T85KZ0DD3EP1VFYN3163S64XWQJ336C))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPE39HZGRQ45ZSDJXY5JEG483VC8B8J0DEEDDTT5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPHWCHVHRY2Q4884XNNSV8B3J1T41PBN0GQE16A9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPHKPJXTXJ67E195R4Q7R5XWY4AJFNGW7300F5SP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPS3RTVHYXAMVGFW7EDTFMK7QPMH7DHFZX0F342R))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2C2YFP12AJZB4MABJBAJ55XECVS7E4PMMZ89YZR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP14PVWDVKVK1P1SZV72MJQMNX5N5XDZ8AGNG9M0C))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1HCKCWNY6FGHD6BZSW8DJEYAHC9242WEHGZXZRD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3YMA76EEMEJF84G4DVQ5DDTZVTFWNXSEZSEZEKJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1EJQF3A1K89H19CX0JSXJV93Z5KMGNBS5ZP2249))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1EJQF3A1K89H19CX0JSXJV93Z5KMGNBS5ZP2249))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK2780EBGCJG5BQKS62JG0SBPNBYNMYYF5XYFPE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3M6D6M2BS7FNEFV111ZF6WQYATNJZ89Q7MXSPAE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPKQ7Y5HQ56S9E93X27YA31GV65SY6BYWA48SFF6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1JBH2QG5PVT74HYP2CV9T5XRJSP81GYZBVEQ93K))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2A1W8JP4EQY55ZTJ4HFQMK4WPF9HW4XYZWNEWDC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1A6GA5HW38SXKQRXSV2DDET8XEJ9F8KSXNNS422))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1AQEC1851MKFSEXT8097C3K405CBC2A817AQTRF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1FWMX2QG3KN6BARN7R59TY4MK9K5XTSMA66YSJ7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2XPPSEH7WFSTPEPXB06F6H08J01VVVE0JEPQWVD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1TW2MNREE41DMPEGARWZ4DV41JQCD21YWZ73EEZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP38B866QTRR7PEZ4TKA0BQ1ZVQR5PFXC7GQ8TA43))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPXEKXFSG75TQ28CQK6D6T49ZFV0B15Z963VV8A8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1079Y0A0F03TM9M6W0NW6ER7MNX1W2FZF37X05V))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2B2MZB2QPZF1GWRR6MT4N0JKPAQGT6H0YC6QEB6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2QS5AZ7C14DW550P37GTPE0R8QS3X0SE0PAPRNK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1YRN3TZF2JAT9SZB8HTTV4G3K007YDM2GDX50Z7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPX0YTYZ0TPRFWFH4230ZV1DP7ENV1D0ECPBN18B))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPTZMQZTKDWQ4MX6AJMR3VSY4C5BESHWSAF9NB56))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1Z2ZBDTPWKB0W2NWN96N8BBNMCVS8804BAXQG62))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3ZSB9X1WA3VRJKN9B4W5KW47EDW36EJAMYMX615))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3F26ZFXKZX70E1CB0GSZM4PR13Q3HQVHSA4ZGET))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3SEFGN6PBB3FJQ4XQ5K5NCB07HN8RDGCAS4AC1Q))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1CREGBA2EY8YST9FVM3Z7HZKFA286QVKQ9RWJ0Z))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP30JCCR06VXSZ1M2P4SEPEYWDCC501B3W5CVWMPF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPDX1P8WYK71NYQQ82BDVDPKM07ZXA6PF2XKTC4W))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3J7YBMV29WQGSBGK6DJY0KBFR5GZGRG381PF1DE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP11TS4Y2BGMZMWAYZ6MGM8CPG8VESFG09NV6FXGY))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3Y1S03R3FEARM11YT2RF72ASK7JSP81VWT4TFPR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2CDNFPSGPRNRNE1T24297PP4NDCHPZHQDER3X67))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP59VK4J3F5ZSS7WX6VB1AAWD2KH7W668VFC2QCD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPHFHDC26X93NX0R8R4YE747TCTBXJ8BVMV591VR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP24EZHQVR7PTXRG0P8PQ1ZPRWH7H6HJ8RDAZFNZ4))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1DKNN4M9A6H22HVWB50X2YZAVVWM2TSM7ZPPGQ2))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP35GASMB3XN98MHCDKR7SVK8TP2SQPEJEX877D73))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPKJ2SJQ8QV9RFA2JJB9ZX05DK3S5TWY4ZYZCFYX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3EE6RY8YC69FG6B8VGQKWZ7RATZZF50XQKAT6KV))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP36X9NHRYE4G92VP3CTA11X8BWY683H4WDNFRFXS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP25P3EMKHPCS2FV76MVFE18AMZM5Y4Z6XEVXCHTM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3N6477YFKEGTNSADKNDGM4P8HQP16WF5BY008FV))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1D4KV1PYZB92DN6WTZZP39HPDABR4ZBSMF6N5Q7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2HTJ0Q14G2YKQH736PBVKAMFQKMWE57X08TEA8X))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1X4J3MV14S8JJMJSGHF2BEE4Z4S2JV8F55CMJN8))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP372DM2AA7P9NK57E8AY36SABF7NVQ1J3Y21FM6D))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1B90JH4QQGC9QNAY0MNK4H10Y8AGAG4B8ZNFYMZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPW5G28D81QXNMCDM96XZVH87HBD1Y6Q3PPCS4GK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP16FQVRXF0E4YQF09D08NQDMG1D15C7ZMDD7S6EV))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1QVGHAGCX3J8BQ8F1F2EAPABRP49C7H1PMQPBBG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2YPHY53YRNDVA46QEXTA0WHAQ01W1TCF4PGSJPT))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2GV4C3CQ77V6EN49E1N1N439RPKNEDKR93QGD98))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP32QDJRBEBT2JKFYMBNC667VWVD1WMQEVAAW2F9G))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP202NP66G7XZK1KJ5V1J7YV4H6DZM91ZRMX3C31C))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPY90FYQ9SNEG6ZGZ5CMF3G5S7EHGEMQZCZX7BP0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1Z2X5NMCBSDHT6VHA63BZQG8BXY19TY30DT72TG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2NFZ7DM6J11RBNJRFVTSXSF0EP8KCZM45W8MECW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP322K5ZGHBZ4ZH72FQP6VQA1CETZ8CJRF983AESN))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1ZNREA926EJSED1PRJEJ8YSBPDNSQQQ7W76PBK7))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP209BJGKZ9FN01TS54MZW7TT8CNTASW2FWGPDV55))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPKEERKSX4E5HKFBF1ZDTNED894WZF9SC5JX7CX6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2GARQT5R8ENJYYZPCCFMCZA420HR809FX7C6QDJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1T7W0076597AGX9A2RJRX033NTTAS9W4CQ7QHBX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2DKG1KGD123PBXG8HMC9WGFS82E6FFDKX5KK2F1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3B1MKY2GG9EWPHQ0NXF73QSGVWXMGPMEXV36248))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2T7A953BFDW6B5QTW6STGX9YPWSJ9FKHN675D6P))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3H020MRYJFPDD808CGB9R6ZZYZCCS8AXNGMYJVF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP4KEPXSSM3WH36N3526QQHMP79XG39JMJY1F0N1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP35EF0EJV62BWBZRE1GT6XN1TSVN1H9MC2DEVP0F))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1RB9PE9EJ86BSPVC1TSMMED7XGCHRM486DKDN06))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2EGR0Y7VTAEJG9ARS4QGRB6EG75257GMD69NB5G))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPS8MTYCK7KJV6CB69JRJKSQMA1MSNKZKV6TE4Q1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3BKCV53RH3XBX7NBB50BEZ1PBS54NEJ2G9TN8W1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP9HX6K7K89M0K2JRSWYTDA3E5W41EAPHXYK93XE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3J0PD5XMGN1TW1NW6SHRA3B5NM2AYNMV3MXK7K2))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP9QNXEAPP9P5CDB5T5P120Q7ZBAWS2YHZ3Q38NH))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3FJQQ0PBB879F3BFDY8PZG5G73D5B2R4SP86H08))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP11Y7C0DBYAPQP7T9N2KVDY83YWTVPW86WBE8F62))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3SQYB13911D03C1XN4X9Y77CTVRBX8EPXWXN63K))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP7BSGQR7G69XH1W0CWDA849DQY04YBFKN0KZW72))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1ENKCWGFTYWVB1TTJ4W5AC0X9EQ2J6FB75D27TS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP236Z1P0TEG4F7AHN8PSMSA9A4EMEQX6R9YD3V32))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1RDZTBNX4Z5TYP9EW12RYQ231M47PBSZYYH6T6X))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3AT1G15CYYD55JT9RCXG6M655AK0RYC8K2NP0B))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1098AD7T1M40R0CMSAZNWHD194D0T8GPR2NPN7S))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPSJZC8358HHYP7X1YY0EBPRFDM8Z1KHXB0ACEFJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1ABF1R3B3KWN87PQWZ44MC5DA0V76ZA2P9PS669))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP11588JNWZC9DE576XCJFACXYXRW72CS9BVJYDHD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1D55XWNJ6GT7GG218BMXEB8BDZ4EDB1QQFGBVD3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2046VNRGPPTV09HXEBA6EA4JRSFAB4Z90HBCPWD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP29WC36JKHXYH1E0HSNT1G9PM34X4D2YF67BQQES))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2SS5X5R5H1QG2Z9G2P2S0MMCKPJ149MW6QVST4W))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP36HHQ8VD4GDJTAMEX3HZ2SP15KVHVFMDJR57CPR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3FHNWS9Y4BP21MHEHTJYS7N4A7X7JJ3PA69T5BE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3Y23BS1CJK48RRCYMGVNCBK22H9V5XHKDKCAW9A))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPYZ6387K72YC3VS7PNYVM8CKF5YZWZSKKG49R5C))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK7BNCX511MKE1173RQZCNKQDPVMNNSXEPJSKFN))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1B7FFVFHHBCB466DVJR02BQ7PS9TNW02YA29DR3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1JJHDWEX8TWDKANC2ZGR3R17P2JP07S8JPW1R5B))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2HCKXC6GAWMAHWH06XGJBTS7JVA6YFRJJB2PCWA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPWN68KH7QC9V3Z6JM1T9RW0PR8TC5FQGB6CYM03))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPX6Y3434EC3H5Q2AEHBKAT6ZS3BFY39053A42JN))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1CXDQR133G73DD3QPDMK5MQWHRC6Z0YMN80HR99))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2F9D2Z3P2GZD3WNK9H7MTSYFX6D0J2A8TFN64Y5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP28KM60ZBE7SPYGHNBCJQHYMPB7DEYYTX7R9H1T4))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2EVH80XBHCSJFQFQ1KKK9NE42Z5ZZJKGMPNW0C9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2EVH80XBHCSJFQFQ1KKK9NE42Z5ZZJKGMPNW0C9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2HCKXC6GAWMAHWH06XGJBTS7JVA6YFRJJB2PCWA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2HCKXC6GAWMAHWH06XGJBTS7JVA6YFRJJB2PCWA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP26ZSXREMGCD8M71Y4FVA17QBC42EV0VM3HPVXYQ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPMHBW0ME2NPEBGGQ3H56Q159FNFR79DD6WNVJMG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPF2VNHRHWJR3ABJRGKS21CH6KMR50NGADH29E5A))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK2780EBGCJG5BQKS62JG0SBPNBYNMYYF5XYFPE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK2780EBGCJG5BQKS62JG0SBPNBYNMYYF5XYFPE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK2780EBGCJG5BQKS62JG0SBPNBYNMYYF5XYFPE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK2780EBGCJG5BQKS62JG0SBPNBYNMYYF5XYFPE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK2780EBGCJG5BQKS62JG0SBPNBYNMYYF5XYFPE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPK2780EBGCJG5BQKS62JG0SBPNBYNMYYF5XYFPE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPESYQ0AXGNVFS3WC9DG3A47QCTBN71FWAGE9YMW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3DAT7GJ2CZW3V1DGC8PAKP3SW4KSFXTWM3FB1HC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3R7K4TE4KJGMW0G3RMRSFJCXATKZCX36HYSB0MX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3EDVFJVM02CJ8NCW61RJPJW4YHYB4PKCBJQQSFW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP17PMFS0GRYNPC6CSMYDJ42FDNJVBS5FS4VXY4WH))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2R7RY5CC5FED2J6F7SW9H3M6X4N2T1D1BQBSH9C))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP5RSRY9K5PYQ6NJS2F9Y2JMQH2NB62RBZNRV2KF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPKDAT0BZ3YCTHH14H2HKSBT9XPKQT1GX1SDEYGM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KTXESSF6FADPTP6MCJZ2JHMMZNDR4XT1TPM7ZS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2E7W7F568R99DKATHCB5B5ZTG690RF0KAPR9BWX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPMHBW0ME2NPEBGGQ3H56Q159FNFR79DD6WNVJMG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3P8X7VY45Y9T21FNAJAG95H8ADE2MB00TCKRAXB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1HBSPDYX7D8413DP2Q2GWQD2YFV061Q0VJ82ED4))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP24B77W7NZ924CVA4W9YYPV5Y6WRJRMY5Q8H8QXA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1JPKH64TWH1EW9K88A16FJRRXRNMY2J9JSAF086))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPE39HZGRQ45ZSDJXY5JEG483VC8B8J0DEEDDTT5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPNKK0WTGPHF75JHV2X4N47YWBZTZ95Y2CJ0WAH4))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP49DG6YSCMNFT6S0KCC0A3XWXZEZVS7GMZ6ABTG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1Z84TMVM83HXE5VFHTXF27JPF73HPWT618RR26Y))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3MSQHD6CD47T80DQTHN964ZVMMBX12VM6SC8RDT))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3GDVJ93E47GXZVV963BY1S8GR7HNGQN316SPTF5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1V5JHZK64JB2RD2VXVH2T5MS5WE8J3T33YEJTQJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1EJQF3A1K89H19CX0JSXJV93Z5KMGNBS5ZP2249))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1SBR1Z6PZBJT17PHYBSPB6YP7TBGBRD85FJ31X5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3DAT7GJ2CZW3V1DGC8PAKP3SW4KSFXTWM3FB1HC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1V5JHZK64JB2RD2VXVH2T5MS5WE8J3T33YEJTQJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP207D4A7XMNGA7JJ34FD724A0NYV7K7MYDWK9T21))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP24Z7C1VBBEQ8Y988E6CCR42MW8F7D37BVKK01TA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP272HMYC5PG4R60NQKCX96Q682NDKF1VDZ7P5RSQ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP207D4A7XMNGA7JJ34FD724A0NYV7K7MYDWK9T21))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP6K0M8D7MAFQ7RTRH31NDZXXFTA85Y8VGYQTHBR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP25GVRF24WD68CG4A6Q5PTN5CGC0SSPWZZW0V9XM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP19E9ESY8NSH80WKW1KJJB7954NVPRSGT1JFWSK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3WHY3FT5JG0A9NV28AZH0TF38AHHZ1JHR9VJKCH))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3JV1ZPY95ZGY0HYYVPXD31XH1CNN8TVV2T7TGAE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP28R593JKNFH8PTWNECR84A83EESKC3CC5P826R5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP12Q49M8VT3RVYD2ZG3YB8WT6Q9T01C5DPTWJDC1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPRAHKK7E6HZ159H4PV1QPZ685QXCXER6S4MZR7W))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPBE0C64WNPG01XBRRA39N38VK3NDPTPF2Z74TRD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP16WBJNJ26EVFX8C1Q17SK1ZZ2SFEK04426489JW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1JX2RYKPR0G7H81SQHZQ187H50RR6QSM8GX839X))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2QE3SKKZAY68Z3KN4TTJN41BVE3B5QVJMNKJAZB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3V1AQ60BQ4KND6NSSFDZS4XMHM24H0E1DKZH1SS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPT83RSJXQJXXSBHVKS7V8SKYK3QT13A2G097RDJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP16TGFRKGZCACBJ6985C0TSM85CJCHANSZZEXKBB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP13KYQ9AG8MSDR43D0H2EXS5M6V3RVXVVWSSJ521))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2NQDTN4KNFPSRJB35Y2E0FHH6HBF9YTJQ3002XG))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP566Q1Q1A33NR9E93F4W64S9WP32JBSMK4SY140))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3W40MRS2BYEK9DEXAZQD5P08F4XR521621HMHTS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP16WBJNJ26EVFX8C1Q17SK1ZZ2SFEK04426489JW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KQ2QJYEWD7SZQEB3G649MGAE8T8EV3FJBZFMCZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP168KQV2ME5PDA6P6KRQ49M7ZED1TYC0JMX2VNDK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2PD1J6V36HVW7NEG6ZX77TB67JCJM9W6YDGCNB0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPGAKH27HF1T170QET72C727873H911BKNMPF8YB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP22EPNZ1AGQ4GBWEZS5TYCZTJR4JBDYEDSMGQ5MP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2NHZDAMMEEASE4DKHYYCVAG8RF8PA7YHPPW40BX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3RPJF4RXQP8V1A2786W4N9PH1DMK0N2WSSCPXNP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP28R593JKNFH8PTWNECR84A83EESKC3CC5P826R5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP4HRBY7QMDRJWWTDWR23D5P24MGKB3ZWYNHG0VY))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP31SYCQVVS1TE6CHYDTFE89XQ6SVBSM3V6VGBTF5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KQ2QJYEWD7SZQEB3G649MGAE8T8EV3FJBZFMCZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP4VFNHSSST4Y7Q2H1A71HKS78N72FE68VZ4JHQ3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KQ2QJYEWD7SZQEB3G649MGAE8T8EV3FJBZFMCZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2KQ2QJYEWD7SZQEB3G649MGAE8T8EV3FJBZFMCZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3JHW4QR077GSBMXYJEDPFMA4YMM77MC15Y154JD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPQXBMD470T84Y6H1A8DK2CH72XRWTCMN4JEE3W1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP33M793WRK2Q7CKV8T93JRB942KPJGXQ0H1DA9J3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3M7YYQB5QG7X9P4M82CVD6NMDT7V2ABD133V9Y))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2C8EV5DNAB2H9JE71GHH60503FNJWTXKBRQP4HS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP23KP265B53WED6C4XK3VA5QFH0N4184ZK558ANW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP28R593JKNFH8PTWNECR84A83EESKC3CC5P826R5))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP38B866QTRR7PEZ4TKA0BQ1ZVQR5PFXC7GQ8TA43))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2TR502K0GKXABS8FH8FXP0DWDBAS93BC8AGCHD1))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPV33GEYEKNYADD9WZ64WAWJ9AN0S9NP9DT5P8G0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2C8EV5DNAB2H9JE71GHH60503FNJWTXKBRQP4HS))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1EMFNE8SYE60AAH6X2YW1RC2K2VE1744KT4G3YD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP23KP265B53WED6C4XK3VA5QFH0N4184ZK558ANW))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP30NSFJ78W9Q1KREP8NJD7T3YAMY6HR8E4ACDQVE))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2CNWQ85KJAP57RSDANZM3BK2YWQN1FAH21RZS2S))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2BHZ4GDZBP12WGWH0GGVF3ZNVGYWTWN6B7P3QXY))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3Y4DWNK7PG9YM46SMXA870JX5K9CQ6DTHKMAPMJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3ZSFSECJ3KYSWZ27DR0BP7XPTCJ2W1KASARDJEC))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP8JGCBRSDKKEATE8G90B4TRHAT1CQKPE2W1FB8P))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP24B77W7NZ924CVA4W9YYPV5Y6WRJRMY5Q8H8QXA))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3NDX6RVFBYW97BTKK0PE20SABAYPFVZ282ZY4KJ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP4HRBY7QMDRJWWTDWR23D5P24MGKB3ZWYNHG0VY))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP185345QBXH57YKKSX0Z3ZS6MBD2Q9517JRQ9FR4))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2CNWQ85KJAP57RSDANZM3BK2YWQN1FAH21RZS2S))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2QE3SKKZAY68Z3KN4TTJN41BVE3B5QVJMNKJAZB))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP11ETHNJKZRF8N4VMMK62FM322HKVQPRAN8JM1R6))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2Z46YNKT3A0GQN63EXMD9037GZP4AE15MBA3HMT))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1R3R1YBNMTGDQW4NGMM27KHRW64RX4RC5N01TE0))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP15M3SRPBS8P9TQG9R095BARHA4S5A5QFMCY2TGM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2088FC9NCVVYAPT8D1XJC8QPSGTREFBHYPDZAWV))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP17VJYT0YMS2W5HMBEKYZ5Y9ZAR47YEC3X20FBZ))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPVQTTQEMNNQ037B1C4FRF5Y03W78AW4XFGGMYSD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2132VJK6NHGW73PQSDH0QKY4CMT5BQSZ75XADDF))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP30HDQ1WGZRD1YTBRPPPYZHKQJ7E8CVYZCTHXKVX))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP30MK30GF3YACJQ0ERHG89V1FCAWMQBKSPQG93MM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP3KFNCCPKPCGMFKMVCCGK877M9VTD23Q9JNSR4TD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP4VFNHSSST4Y7Q2H1A71HKS78N72FE68VZ4JHQ3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPHTME3Z11YK1AGKC0MBNNXKCPRC9WR52MDDV9GK))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP4VFNHSSST4Y7Q2H1A71HKS78N72FE68VZ4JHQ3))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP1VNQ4HWH09WHF31W1EPJCS3W2E1JB95B4ZSCAD))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2WDRAP0PQX87DFH9HKP1ZN6KY2C9JMA385EE69F))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPDVAGX3EGETB7BJ6737FRS4DTNXC7CVSNFK7TSR))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP2K04RKSPMH0PHVEH0WZNCMN0ZFM61ZTE1JF6SJM))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SP97DC4P1XFZMAG3B2EPVD8R1JPK9DES691JAM97))))
(var-set total-supply (+ (var-get total-supply) (unwrap-panic (get-balance-this 'SPQH1F2WVJN92B0JK8Q036E9HV3NT30VX8S2EVQM))))

(print (var-get total-supply))
