;; 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 (vault-id principal))
  (contract-call? 'SP2C2YFP12AJZB4MABJBAJ55XECVS7E4PMMZ89YZR.usda-token get-balance vault-id)
)

(define-read-only (get-total-debt)
  (ok (var-get total-debt))
)


(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2T5YZ2YPPTRJFNP1KSSD7GN14SATEA89NANJ8N0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14E544B2FY8BSKTV5V7W8NCRYX2B7NXRQ7B7NJ9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2T5YZ2YPPTRJFNP1KSSD7GN14SATEA89NANJ8N0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14E544B2FY8BSKTV5V7W8NCRYX2B7NXRQ7B7NJ9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1R9H5Z0F2P0VN97K82X66ZT7DEVJDXVH5EG5DH2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14E544B2FY8BSKTV5V7W8NCRYX2B7NXRQ7B7NJ9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPF2HF3JRTJ37F8FABR025TP2YSK1W7751Q7MTRV)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14E544B2FY8BSKTV5V7W8NCRYX2B7NXRQ7B7NJ9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2FJP6DBKTQ4Y54DZ12F3J9KMER77KF7TSY2H1VN)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP4S58QY6PY66F18MQWRDVTC3R9NM7W0MMHS363W)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1F3ZMTFT45S6PR7Z53TFPF9JHXP0TQJ1RDFRANZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPJ2VG1VQHTWSS7D7MPYKGPM8CBCVSVH53D6WDBR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPJARWKX1RWBCRTSAN3R026ET3AJXMN128V2ACHG)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPXB6NEE9DQ5AX73RV78A9KQCHQDGDCQHK3XE25r)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1Y8PTDHGHTFQNM9T6P0XZ1EBHH6K6H152G85809)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2XDPBH40QK7W88VJDGTVJZ7AMPT993Y55VNSAX9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14E544B2FY8BSKTV5V7W8NCRYX2B7NXRQ7B7NJ9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPFJQVRN5D6E753TW7GKFHX14RBG5JBSH2VT2R00)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14E544B2FY8BSKTV5V7W8NCRYX2B7NXRQ7B7NJ9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3TG8WMJC7RH3FV27VNFZMM4D2ETCH5C1M6V2AZX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2BF9XYC865FN7X5Y06MSQVA8FHSWGS0PHE3QPE5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPJNDBYSGM0Y6TVXDCQFVF7WT3GQ4Y511AVKV7Z2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPEJEG71DNFTDBJESR9291FRS4KF93YG3G5CZ1S5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP6SSMC628J3GD0RVGJFVNRNFAPZD37GMBJ6TYMD)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPEJEG71DNFTDBJESR9291FRS4KF93YG3G5CZ1S5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1SXPYG8A25RQVKHJ4TR5MHEW4ZB9AQ5P35PJPWT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP19ZQZE3P2F33HS8FJ9MA52PASRB8F58MWT7VW71)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3G5AH22FQC5TX8N7GYMZRBVXZ4198402ZWE6FG8)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP7X8T87XSFX39FCCE9E6W88NC91G009TXQZ4DC8)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPDX8SAK94A81PDMGRKV1DCWKY8R2R2WVFSVWMXT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1AQ6F6T29GWEH1NEJJMC6NMTX66M324F4PVSA14)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1C4P84D6AJYPQMZT1K5RRY5S5XG3Z3TEKZX5BXH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3NZBJSWNA5BT8PX4C1YB5SPX7XCKKWTTJNQ9ZSH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3Q3Y5E2S782ZWCQNQM6S66FCBVB4SS764RMV6KF)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1NRNNBW4696DABH0NYBYJVWTZCMZ4SY17AXXF21)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1C05YRGY8PHNEY55MTG2FSC3XS4AXE3H1KAYPCQ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2C2YFP12AJZB4MABJBAJ55XECVS7E4PMMZ89YZR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPN6WWD5M6G7PS0CE6N6XB1RX3HCYMTE1G8VF3QK)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3VQ781F0WE531CJ4Y9KN8D84XVX5WNKXDAY3JYB)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1DPTJHS9XWN3CYZGTTB6K0F0SSP97KTA4S2EZHE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3RXG6YN2PAEC1GK16M4KSHMBHAP7880R4F2EQ10)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2BEBDJYKG9QVMF87QEFZMATRBV9ME2ACFA5AY1R)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MBFQ3DGMQR0Z4PRNY48HEPRRF9RT28MHY14SQP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP30HDQ1WGZRD1YTBRPPPYZHKQJ7E8CVYZCTHXKVX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPD2VZM43WJTTZ6XETC14H3FXJH9H2B1PDQQ4NA2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1XD3FHNYJ6CVD562532KVQ6NVYAR56G0TQMQ429)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPY0PS5CYV12EBGH7CMCD98RGAP3CW24W2CNQN4G)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPN2DQA1B5DD54BFZ86WP6Q5FJDDDH4D18PSRJPJ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3NZBJSWNA5BT8PX4C1YB5SPX7XCKKWTTJNQ9ZSH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPESYCD35SFVDXP4K6K6D9H6VN0EEJ78BQ17A6ME)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3EJC48YEY7HHJCHYY17MQG139C37B4W26GHGA6E)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPQKBXJ27WMJZ31JP9MB1PKZ8YRYR5YWTVGT5Y7r)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP17ZSYNRWBSQJBCCWN4BAW4G9V8VC936EW98Z10G)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1WN14EFH3AENCE7P79KS9E9FZ6QH4TNCPE1163)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPXEXQ0ZESWZK9ZK4S5KEZ2EHS48NZ4F241X2FZS)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPEJEG71DNFTDBJESR9291FRS4KF93YG3G5CZ1S5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2SPC04MGP0R90X943EKQAFK7QMJPEKMW92N8T39)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP09WHDXNV8F2YX2X85B9KZ9R4C963XM31TG21NZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPY9J48GJXFDDBVNV4SREN6APJBTV226XFRCDCTZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1QGBG49RB1C609210DWX4PV5RMSJVNCGKMV6PC8)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1XD3FHNYJ6CVD562532KVQ6NVYAR56G0TQMQ429)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2A2PRP42YGGJPRC59MJ44JM8ZFCNCNZSCGKW3QS)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP60SD99KEWG7DMJYHGWM9K14D563ZZSDG6QV3SC)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1EF64D5ZWF4HEBHSPJPX68M9DA5XYH6V97RBXCH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2CGXF77ZRMA12GCJ3J5PC7XVDNERM02A0HR9M10)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPXFCT0TMAKQ0QHN9BDQ0ZYTDXWBW65BD9AEECJG)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1JQNYF9ZYCDYZ36BWZFR4BAQYBGTKPTKXDC85SY)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2AJXN904JSXMPHXW3CJEEKTEK169RT2QD48H7Q2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPDVAGX3EGETB7BJ6737FRS4DTNXC7CVSNFK7TSR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP33E9NRZQ3YCJM0A3Z6WA91JQKW62T5SPYHYTJHC)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3QGM78R5MHE06380K64X6J43VZ0YN9C520PTWY2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3AATYA22DJHS5Y2TRQE00KDKSB3M3RANW60Q1MT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1T1NBZ3DJ2QBFYN411DPV8T67WRFB2WBBE55W2B)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP282NE79YNR434627WPP4XPHCJQS2D0R3ADSWKTR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPVTH2NKQT2HY9DXMXBYG25BVBKY83S64NBY7CQR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2ZWHRDG84WAZ9XHZGX36VQH4V93YB3T5YEP1RHK)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2RHCM6K2Z3D40Z4HR5XQ4N86W8GRT4FXDM3WX16)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14VNBCWK3H3P7B0N4BT032XDS7KHWPW47F6SHTK)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPWP00Z94PZNMX2BMN305M0Y9CWCCQ5PXQJQA1X0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPW813D5F5T8DFKE7ZSC14AZKSV80MAAM670HX7T)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP23KP265B53WED6C4XK3VA5QFH0N4184ZK558ANW)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2X95E14XS6PEM031NX8MQDSQ02ZA0Q41B93YFJE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3JNQYXGCSMH5PKJGD9412RXMTW6N45YCY27GPQF)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP37R5S8NSKWG7SGJ0N5DV4D8811KFE5W7H9HERH5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP10H649C3N6RFQJY7E0RN6VZHHVX3EQDKXVW3SWA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP37XTD0P498TFJ7KB54E9B1KJ4GHTWXQMED55H0D)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2372AN3AQ45BNNZ38FS65AKK6CEW8K2DHT7H9MD)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1FS9ERDTXYA3NHN0KRE8XH3Y01DDTRSBK31Z1ZZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP6K0M8D7MAFQ7RTRH31NDZXXFTA85Y8VGYQTHBR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1PREJ153KGPEBNJJZWPGARVYMKA5X7CVW8JHT5M)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPMQAMQP7SD25HRENNHHRK38PY5M2AE6SWVZVY56)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP20T2Y5FEBRR6D42RG109CB7VJ0BGCMT9BY3K2VF)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1WHCEF60XCC1K5W0B6FDRE5305KXXSHC4D07BK7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPYK7WJCM4PMCEH4CCM4FHA3RTG946QKJBNN5553)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPGATZ86JD8WNE6CR5H157ERWD3QG10KMY9SDHYH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPT7J3VXH570NNCKRVJ7YEMBB5S7F2418RMH4KHM)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1J5W1FN3P80XV1YK14BKC6A912WWFGJSW9M92HA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPYR8YP15S1QAWCJ8TCVXAYJ2F57VD593ECRXMXT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP30BTV3905TS3A83CENN271AHZHGM4C3FDZX3JNR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP20T2Y5FEBRR6D42RG109CB7VJ0BGCMT9BY3K2VF)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2B5ZG6JA7HBWP3DMC1600V02D1EQ2Z88HJGQD9V)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2PBWZ78B6Y7AS786B5RAZZ9NZKBFQZ62FYHP6WN)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2SV0NA9HQ021FPFYKMHZ2ZR4W5S83JKPNN8WMJA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP285GDW3F18MY7YHR2GN4X0C90F4SQT2D9GTBJX9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1XD3FHNYJ6CVD562532KVQ6NVYAR56G0TQMQ429)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3DVRHY4JSHEHQFRBCDDE3M30QGHW4BJMPF331H9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3QRRS9QBBYBVNX2Y7WS4SY51N45YC9JH6EXQJTG)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1MSJSEH8WT6Z43JQMT67N3CDDGRRA4R30ZGX8YH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPYR8YP15S1QAWCJ8TCVXAYJ2F57VD593ECRXMXT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2G8V5G9CAQ73XMX56VENNTHH7QNZRPR55YMAYBY)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2GFJXDVAARK7JF6T5SZJGVW8DR7TA65KXPHAKX2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPKQYX7V64SGYPZGBC7MV98MX4D39SCF45PQN9MD)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP17BWXNG7KYWCR7W6QCM771HTWNDR0K56C6TDRAP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP7QXF69DV4B5TV0GJGJFED2JBRED62BAX24R086)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2G53997NM5HK0FYC6AW1QBDKDSMV3GKHB64XZ5C)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2RHCM6K2Z3D40Z4HR5XQ4N86W8GRT4FXDM3WX16)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP7RK2XD2KB2S4XAZ1K74HCGWXZ4JSYBAK6893Q2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPJ25PPMNNVYSHRP9ZG6D6KXN4R7B4JFKQPRSFK3)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP18SSC4VPYF2190FFECHR0SR1YB7T2BAXT96EN5P)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP38B866QTRR7PEZ4TKA0BQ1ZVQR5PFXC7GQ8TA43)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP28QESDAEJ94D43QVFEPS51J7YVB4YW4XH2N66V7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2XFJN4A315QNCYAVPXXTT4ZSDBZRNK835BYQMPZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3STNGTE2K74N02CNS24Z7Z0G2JVP5TPTZMTG2W)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPWP00Z94PZNMX2BMN305M0Y9CWCCQ5PXQJQA1X0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPJNDBYSGM0Y6TVXDCQFVF7WT3GQ4Y511AVKV7Z2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPR11YBZY0MM5AZFTQQEX1X1K9EN9TZZF0G21YBJ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP35RVRR6R5T15Z46KJ1KFYKVDDQKM5YC2T3A8NEP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MNH54VP0P229FY6AB8MQYBBX8HE2VNSS4B98BT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPNKK0WTGPHF75JHV2X4N47YWBZTZ95Y2CJ0WAH4)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3V9TP8NJ704HQPE7M419B0G3ZMGBK53F77E1V27)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPHPGBNFA4PK7NCVWXZ75CPPRA9Y8W0P6G7GV8KA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3EVQ0GWNJAYTXMNKMDX6EWP06TXTX3RSE0RTNS4)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1ATQ583E6VJV899AFTEK9D2P7J69WC2CHGERACY)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP28QESDAEJ94D43QVFEPS51J7YVB4YW4XH2N66V7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3WDN9Y2T2JK43X6B04NJ472AY5EYG63WF7B0N2E)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPFJQ1HKXPHNPK9RWWT6V30B9HRA6HJC0QZYM9ND)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP36WZAANJF0DBV7D7487SMAX8TJ1EEGKMTX1ZRV6)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPBM9BTEYFTC50HTEGWHG39D7S7JHHBRYQ3Q159V)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3DPXHEAQ34YVNC7NADP1BSYXWSDTW9KW6PGTAM0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPBM9BTEYFTC50HTEGWHG39D7S7JHHBRYQ3Q159V)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP346H4Y8J4MG3E4RMCWT3DJTQ391336Y000SH1V3)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPG4WQS3KDW55V9ZFYSBYDG29WJZF40W2N36SHHZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPBM9BTEYFTC50HTEGWHG39D7S7JHHBRYQ3Q159V)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1Y8PTDHGHTFQNM9T6P0XZ1EBHH6K6H152G85809)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPWP00Z94PZNMX2BMN305M0Y9CWCCQ5PXQJQA1X0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP34J4X76MEBK9KG45ZFG8ZQSDENY7PSV4A5E91EW)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPR11YBZY0MM5AZFTQQEX1X1K9EN9TZZF0G21YBJ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP34J4X76MEBK9KG45ZFG8ZQSDENY7PSV4A5E91EW)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2QHQK90HWT2WRRDDS18FB7C8J5PF6ZAJ58J7YSD)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2RHSEGX0TRM6TPX59QG7QZFHAA7GWZQMR2YYD36)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3Z40271K667EKJKDJ5610HWMCCTV1W1MH3H8PKE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP28QESDAEJ94D43QVFEPS51J7YVB4YW4XH2N66V7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1TCHR4YNKTS30EXCN2WE0EQEW7S364CKEHRPFV6)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP19CFFFPNJXXPEBPDJXKJJ2TQT11WEK1M5GJN5W7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2KQN92ME0P6ZNMDZC8JGPTWD3V120TQYPKKV12H)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3C5ECA2QFB2XF6BTBY3Z006NVTDKNHJM1NTMQT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPX9GJV2BPHY684445WTFWVCXPFH3AE5N7133YAB)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPYK7WJCM4PMCEH4CCM4FHA3RTG946QKJBNN5553)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP38B866QTRR7PEZ4TKA0BQ1ZVQR5PFXC7GQ8TA43)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPEGNXRZ764RT6EWQVMFGZ7AR4Z6PV8VJ008QN99)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1YQFZTZZ42SY22H831HE5REGVJ43XEMQ0C3TR1C)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP335ZC3W6M308ZKTSCCBMR54GWA20RSXCKJPZC59)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2FHZCB4BWX89EE1V1Q4YZMF77ASX0GBCG13ZQM0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1YR8XPY3JJZXQ91MMFTE1FT7RA7DF6NAWMQ2C84)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPS41XCN6RWAWA77K2QKWHPQ9XGTSP1CDKZ3ZWHS)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2FHZCB4BWX89EE1V1Q4YZMF77ASX0GBCG13ZQM0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPV9NSTB2SMP4AN77R74A7NWKH70PK5ZZJGXQPXZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2FHZCB4BWX89EE1V1Q4YZMF77ASX0GBCG13ZQM0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPJNDBYSGM0Y6TVXDCQFVF7WT3GQ4Y511AVKV7Z2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP35TFJ6RNGS7JZDMSGKDSMJJ2K99PJQWMQ4H5TYC)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3DPXHEAQ34YVNC7NADP1BSYXWSDTW9KW6PGTAM0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP20NZZ0ZBAWN69Y82ABT140DS8DBG43H4YR7B5F)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1WN14EFH3AENCE7P79KS9E9FZ6QH4TNCPE1163)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPGATZ86JD8WNE6CR5H157ERWD3QG10KMY9SDHYH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1JQ78JZA5979350ZQKBHZY79P903QKRKMHR7BCR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2G8V5G9CAQ73XMX56VENNTHH7QNZRPR55YMAYBY)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3RAKZFQSAQNWJTFYZQCCAE8TZ1JG792KVQQFE38)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3NPCHFE9VEZJTJMB5MHD189D6ZZ9T3FGP7DAT1A)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP23KP265B53WED6C4XK3VA5QFH0N4184ZK558ANW)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3VB8JXCGQCKR2NP9SE0D4W28TZ2AMF6TBVQ3EQA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP140C7442MG8F1651WF03K0GN0TA4WTY50A7P7VX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP7X8T87XSFX39FCCE9E6W88NC91G009TXQZ4DC8)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3P8X7VY45Y9T21FNAJAG95H8ADE2MB00TCKRAXB)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3RXG6YN2PAEC1GK16M4KSHMBHAP7880R4F2EQ10)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP24GQGWVJ2J7F42E3TZMVACQX896RKK3Z1V9HXZK)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP32SRPYW7S8CW5WE488CVPCE5YD8DYNWYW60GTBJ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP25580K1TBHC87TX5K605GVP78422F8FYCHHMPM2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EV31SMG1FTAB89CVRXXZEWWE0M9AXB9ZP8S4NB)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2E5MEBPE2H5PZH5ET50MSQDZ2TF25520GAJ95JA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2G8V5G9CAQ73XMX56VENNTHH7QNZRPR55YMAYBY)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2G91Y1166PBB4K6V0GYGQDYKX68Z1GZ91BDTXJF)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP33E9NRZQ3YCJM0A3Z6WA91JQKW62T5SPYHYTJHC)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP36CEXSQ1FAT63Y821VM9NP227QZKFWG94Z3ZT4T)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPEJEG71DNFTDBJESR9291FRS4KF93YG3G5CZ1S5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2XY8XXWCF0HJF53KBW5W16ESSGXJQHDCK044T16)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1BJNHYNBYE0R2NSHT54YX7GF73FWB8BP8HWEYC4)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1C7N0JYSY3ZAPXJHVWWS0YQ4AHHKSYGWF8B1DAT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPWKHHHT2PAN2HKB0TXK7KFMSQCG4T8S73AD6AZT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPXBCKJ7XHB27A3EFCE6216V22BFEBDMXWP8R9GJ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2A7E530WYEWPAPX4V1W5BQBK3K4DBVZJR6FCQZJ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPHPHNN5XPAHCZWB5M5PVZ1KK8GY9C4KB1R7N6Z7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3CX9HWGVQY04FZBRM0XTD0XS4GN538STMKNZA2Z)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP25Q443ZQ7QV539NH8Z0JAQA5AD40TYSXDKXADCQ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2AZZWG7H99G9JW0PJAAC1JDANZ02GZ9CWGEJQC4)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1HW33XWKZERZCNCV8NNEAAVEKTJAGT7XTH6VG62)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3KFF4CVP1ZNHGZH9DDC72JSEXJX63Z6K23GPX5X)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPC5XDPYK8ZXNDS0FNP31RKG5P7K4JT8JMY3XAJ1)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2CRFC4E448GAVN8RM8ZS4N2G9ZS16F3BABKZ9VV)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3DPXHEAQ34YVNC7NADP1BSYXWSDTW9KW6PGTAM0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPH7P46DMTTFNSHDD33N6G8GFE1MQB2R0QW176B1)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1WHCEF60XCC1K5W0B6FDRE5305KXXSHC4D07BK7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPHPHNN5XPAHCZWB5M5PVZ1KK8GY9C4KB1R7N6Z7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2KGGXYNK7P93RMJZXAKYBXA4Y1JZQZTWSYK8AGX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPHPHNN5XPAHCZWB5M5PVZ1KK8GY9C4KB1R7N6Z7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3C5ECA2QFB2XF6BTBY3Z006NVTDKNHJM1NTMQT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3KGJHCN8V9YBXX0AGNN7RH4H4KSAN4NR2BRQRX9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2XFJN4A315QNCYAVPXXTT4ZSDBZRNK835BYQMPZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP119GBPAF81GXA1JF03EGE7G3BRCW8RKZS9S7P0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPATHMHSMW2YFPHA2G8XP2JXN2F9R9AKHW4AQ0QA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPYABRXAJRTERW97VT4P5ACESQRNTD2Q16C9YQ2F)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP10A1RNF0ZEN59QEZP424J4BZRMFJ4Y2AXFVQ0T6)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2AJXN904JSXMPHXW3CJEEKTEK169RT2QD48H7Q2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1QGBG49RB1C609210DWX4PV5RMSJVNCGKMV6PC8)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3DPXHEAQ34YVNC7NADP1BSYXWSDTW9KW6PGTAM0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2GECXN2APY12P4NYXRZHDMQGHNP13YZRZXJY561)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2A7E530WYEWPAPX4V1W5BQBK3K4DBVZJR6FCQZJ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2C8PH2TTY1N5P89WPQEHW1J44BP8ZTN2B0N6XZD)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3703G782B0M0MY6DM1BHS8RPKP1R9KBX486MY3Q)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP335ZC3W6M308ZKTSCCBMR54GWA20RSXCKJPZC59)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP381G5RHTPWJC7XS918X5MGD89HN744P564G8B0T)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP361G26C1PJB2D2M1AT9QQ0MX119W32Z52X4SRHP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP119GBPAF81GXA1JF03EGE7G3BRCW8RKZS9S7P0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPHPGBNFA4PK7NCVWXZ75CPPRA9Y8W0P6G7GV8KA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1TB6JVWBHWR5RKPW3752V6A650RC0KVRWTH3CYC)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP140GG9DCG9JFGXE88A2YMZCFBTCRFJQ7MQK1WHX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2EEJQ060B714W0DPXTZ9STWS9F1FXZ807ZYJPX5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP15W83Y5K9X0H96RGX050GX2YFXVFCZTKAAT00H5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2Y4Y133J0FG8F1MD1886TA465204FX3AXX0PAD2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP7E34QCWBZKMWMAHZJ7GEYYZR10986KAVPPZWYZ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2NC2AQ0S5CNYQNXSQYTKTNK9YQDGPQ2CQ578XVV)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3H2TDA41FD8MSVE73MHTEF75M4JDF7KR6XAXSZB)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2BEBDJYKG9QVMF87QEFZMATRBV9ME2ACFA5AY1R)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2AZY74SHWPHFB67VPA4C7W5M8WMPZMBVQBK06HE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2A2PRP42YGGJPRC59MJ44JM8ZFCNCNZSCGKW3QS)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2X0ZM1XEDJVXSGTBFRD8NZBXE5WFBX6CJVF517H)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPWCK6HRFKGJ5F8A9VRENYHYCJ7WFNGN7PNJS9AT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2Z1W06B63KFYFFVPZ8Y1ZF27HYF3D6ERGZW5QT3)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2CGXF77ZRMA12GCJ3J5PC7XVDNERM02A0HR9M10)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP16NP5N4Q9J3N5AZY91XAW2XNE11E9CNMQPA7MR8)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP399W7Z9WS0GMSNQGJGME5JADNKN56R65RC2E8B9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2Z1W06B63KFYFFVPZ8Y1ZF27HYF3D6ERGZW5QT3)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPR35JC5BGKTN20GJAKRZJDM1P8J81NZSHZ40AV7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPP6TX1NNVT34BTJT275VK1VSGB6R5TZJ5V397TR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3RXKXCGNKJ81NH1XHCZNGD6FTTWW4W0MYVZN170)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPN4Y5QPGQA8882ZXW90ADC2DHYXMSTN8VAR8C3X)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2FZGK7779FA5S1F4QH2HYGP2S4X4845A1KHBESG)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3VCX5NFQ8VCHFS9M6N40ZJNVTRT4HZ62WFH5C4Q)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP19HEA9K1C88HFD6FH02C6XEFQZNZERD1CXRF14D)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPNPER203K27EP5K9HQKQDTFZBCKSEH44DMBQNWM)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP37XZWB0DWXNKMT0172HHMWCK35VBBEK19DN2YYT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPYMQGWH0SXVZQY2R46CYWVX1CEVHHV34H76DC49)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2X4NB3HPV3VZZQV86CB8F4K364FY5XTHK56N80S)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP17TK9D2MWWSE1GWD3Q8SFT5AMT8TTDGQHZ023M6)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3EKY8XPBFNTFJY4Y3V926HDK5AJD33Z30RZTX1G)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP26HV87537JY5550S2CY4HZ43Y3PR2QDKJYKYBG2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP19CFFFPNJXXPEBPDJXKJJ2TQT11WEK1M5GJN5W7)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1WKGN88TVKD2YW17HR0WZSE7PG67HVHE2G1TD15)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPK8X4P1YWBVHHZFTSZNXN4SVYCGY7B0PYYYB682)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2ESTD148ZCBTH37FA20H7H2V8DDCW7S4D95E1C0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2NQDTN4KNFPSRJB35Y2E0FHH6HBF9YTJQ3002XG)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3YNW8VYWRY13M5T8E357RWYC1XEKW4G53ZH9D40)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3NZBJSWNA5BT8PX4C1YB5SPX7XCKKWTTJNQ9ZSH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPT2X3Q9V7R8N071ZKMGE5B26X47WC2GGC53A4FE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1MVN4WTAEA9AMNJT7QCAFXMQ1A9EBN58Y5FE2NE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP38E64WZT7E2Y2697AVM0382VJRJ5224J8CGC34V)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3T23YN6MBF44YNV910FD8JNMN1NZYGKG3MMZ73X)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP32SZMWQ507C9TEYDRMXKXM4N80XBTB3KC821P2P)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPDVAGX3EGETB7BJ6737FRS4DTNXC7CVSNFK7TSR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3FBR2AGK5H9QBDH3EEN6DF8EK8JY7RX8QJ5SVTE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPDVAGX3EGETB7BJ6737FRS4DTNXC7CVSNFK7TSR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPDVAGX3EGETB7BJ6737FRS4DTNXC7CVSNFK7TSR)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2G962KFNJGXDN3M5KC1SB06BQAHZ9ESM5JX201H)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP20T2Y5FEBRR6D42RG109CB7VJ0BGCMT9BY3K2VF)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP4W74WSSGA891H3V34D4STXJGSTTWCRTPFYSKZ0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP30X26Z7Z1R9YJ6QEHQZ5GPG9EV4MG2KFAESYK8Z)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP34NBA0BFND0710TXRM2MSZFX60VEHD5S8A62K8T)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP8C31Q0BXR3JN4DQF2ZXRYFFASGEFP5BE5DR62N)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPN3RFQPYPQQPF03M92KM2R666VWR6A9DKZJ849V)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3THKNVVSBKVS4M82PQ6WPFT74D96K0XD28T1Q10)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2GFJXDVAARK7JF6T5SZJGVW8DR7TA65KXPHAKX2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPH7P46DMTTFNSHDD33N6G8GFE1MQB2R0QW176B1)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1FXCKY6E03H7HYKWX8Z0DGJ54YDK5CQH1EDSAJM)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP6Z0QQR7WBY4MDSY4F59V5YCT29B9KPQJT0TF45)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP381G5RHTPWJC7XS918X5MGD89HN744P564G8B0T)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2P8QYQX5PMKVBXQ9FWK8F96J8DJXXW7NB7AA5DT)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1QQ4S8GZ98F2YD7D3F8AESSDQ6ACC4XEBCMVM25)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2E9ZNH76V0KPJ3PGEHJ491QK7YYGFZPT7D990E5)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP233XSB2ASBJQ0E1A9V49F1FC3B6TT0X4Y3PES0T)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP84YDY1N5XKS7R927TYWE89HSD2TY3TV85773ZP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1MVN4WTAEA9AMNJT7QCAFXMQ1A9EBN58Y5FE2NE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3RZDE0SV2A8PNFXCKX5R32VX9G9YE6P511X0JAP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2ZDK0KDW1CFRJ0Q6KCB77XA16BW5ZREA1QG92ST)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP15JABGZ13DGKC9P32XKZ9MM7FXXDEGZWRKT6Y3H)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPVTS7AM6JD5ADC9C292FMBDTZVA86TKPN774QDr)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPZCT62CE8G2GKAJPKQ53564YTBY2VE4C245M2GV)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPESYCD35SFVDXP4K6K6D9H6VN0EEJ78BQ17A6ME)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2F8E0737Z83159DS4GH881CKJJRZATKJT7RTX0E)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3C07TVBKY1QGP0D78NV9SRBV7ZDPFA6QERTPEDH)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1QQ4S8GZ98F2YD7D3F8AESSDQ6ACC4XEBCMVM25)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP14E544B2FY8BSKTV5V7W8NCRYX2B7NXRQ7B7NJ9)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP18ZWQMEX1K741ZXQ6FZ1J6RMZ4NWNR08YTH8HK4)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3RBA1QKQCQYDSN7EF4V9M1Z038PZ17ZZEK3DRVW)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP381G5RHTPWJC7XS918X5MGD89HN744P564G8B0T)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2RHCM6K2Z3D40Z4HR5XQ4N86W8GRT4FXDM3WX16)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3M7YYQB5QG7X9P4M82CVD6NMDT7V2ABD133V9Y)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3DPXHEAQ34YVNC7NADP1BSYXWSDTW9KW6PGTAM0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2QTDJ36A7V446XCJM4B2Q8G9X0WSTPWQ3WN77ZP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP29ZK9K1035SDDYE7GN1BJSWBD73WAADXEK3EXY0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPF59PQGPSBZSYNGR6K22B5EC291HV5FMTBRVCA2)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1TX6C96KDC5W1JJAY14HMN145731YE9WSY387F1)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2DCZAFH72S458MNV9SEE3Q983V9CJG49X2J3P7G)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3VCX5NFQ8VCHFS9M6N40ZJNVTRT4HZ62WFH5C4Q)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2HESD8CYT4B0QKW3EAX12DC18XAW8C8WRZXFKKX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP374RMXRCP8SZCWYT21KX7ETY3V2WSQPNGEZ7GF8)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1JVB9ZWKPGMYQ62YFWA8KBE66SDEFJHGJR9DVX1)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1D1E5QDFP1QSKP8RERNM9524DETS8589W08RHYE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2X7P20J3MWPB8H58PWAA8G06WNPK8P2FBYA8RG1)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP22X5VSFN2EZDBHPYCWS442YQTJES2QGEG7X6YKF)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP20NZZ0ZBAWN69Y82ABT140DS8DBG43H4YR7B5F)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2FJ5TKSCAE1VEEJ8DT64FT2GQJAVVA8X9J1FWYD)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPY3WAAMSF7DQQPJTB8VA8FRB30P7J3GZ32ZJQ45)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2E205DXBA7AW2GH2H8ZFZ68S5WRHHY6A1RNRRXX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1P2XGDSVYHXZ6GQAM4N7CX89GTZKBRP2BQF0G15)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3MC9CB9A226S1XZBN4F2HEE8NPKNK9BRS3XRMKX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2SDE64SNG4PB6YPQM6TNYJVGJFEWWQ1ERR9F42B)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1E73BHBHC552C2FCNJBHYY398NG9YGMDCRYSS7V)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3H6Z8KZ2EHTCNW5B43K3RSXCYWTPNKPTX4VJJZE)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1WH1R5S238SDR0X087814JRQEX5BHCVYY2JBPRP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2ZDFQNGN63NQE8A5WPDSQPDJQC7D13VRC2XWJ3Y)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2WW8M12WVGKN8V7AEFB1CWNY576S38AFRYE5ANG)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP30HDQ1WGZRD1YTBRPPPYZHKQJ7E8CVYZCTHXKVX)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2A9XSN8MYK60BX67AVM8F5KSFC65EGKSVSWPTHF)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP228WEAEMYX21RW0TT5T38THPNDYPPGGVW2RP570)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPBDCE0KCWY56SX6XE7MB6DVVETABYM2WRDK6PCB)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPXY801W2Q2XGSFHWPF2NRDRR17R78SJHRDVBGXJ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2K6MN8WFVT0VCZDBBAYY6C7J098DEVS5GA2606Y)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPCA9364SXJ9JQJH52ZYZZCPQ3PKYAXAAC8WHM4T)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2MW8KQQ60MAR6ST0EJ161XQFJSSDR7VS79T8XQY)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3JCJYVVZVY7Y64JYJ57JFS6FM7ASHX6QDTKFXGY)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP1P6XE2GG0MBSQMQ6EKQVFND46RKHYQKH92VKBSY)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SPHPGBNFA4PK7NCVWXZ75CPPRA9Y8W0P6G7GV8KA)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP2C45MRMA0Y7KXTWD2C8NJQMBSXDVTKF4Z2D4X08)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP92C75TCAQ6G940GCR024ZEW53MV35DSKR9328B)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP23NGMAFV3NP3Y6PFKVQKPEFR2NZ12WKNYET37KP)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3CDV7032X3GM01SXYSNXSJY7EG5XG008W21A7HQ)))
(var-set total-supply (+ (var-get total-supply) (get-balance 'SP3SXZEV9KGEF5VM9N1CVHY9482XJ50MNS4KPSSCD)))


(print (var-get total-supply))