/
reverse-5.clar
203 lines (197 loc) · 13.7 KB
/
reverse-5.clar
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
;; Reverse.btc distribution
;; Schedule REVERSE-D-05
;; Reverse.btc distributes the inverse propotional allocation
;; of a fraction of transaction fees to stabilize
;; the Gini coefficient of the digital land minting set
;; according to the latest statistical dispersion metrics.
;;
;; Disbursements sent in STX as financial aid to increase mining
;; in all areas and reduce inequalities.
;;
;; Reverse.btc also drops minting fees in the weekend to
;; increase mining and provide an equal playing field.
;;
;; This file was automatically generated. Part of Bitfari.
;; ------------------------------------------------------------------------------------------------------------------
;; Section 1. Constants
;;
(define-constant CONTRACT_OWNER tx-sender)
(define-constant VERSION "v0.1") ;; version string
(define-constant DISTRIBUTION u5) ;; distribution sequential
(define-constant MANPAGE "https://www.bitfari.org/man/reverse-v01") ;; smart contract manual
;; Section 2. Execute Distribution
;;
;; Transfer STX, USDA or xBTC according to schedule
;; Reverse tx fee incentive for statistical dispertion reduction (Gini adjustment)
(stx-transfer? u1363532 tx-sender 'SP25330Y71FKE4A1E8SP6TKADQ6B239Z1GQZSYT0N)
(stx-transfer? u1353255 tx-sender 'SP29BENM1NA4PY3DQPV0KTGS70FHXXMTTT27TBWJA)
(stx-transfer? u793681 tx-sender 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK)
(stx-transfer? u734298 tx-sender 'SPY1HAK2PJ770KFV3CS1SZKSXZACC5P8GR4E09HJ)
(stx-transfer? u488770 tx-sender 'SP2DFX28F1S3CB46B5XH9M5JQ7N4SMCE7CQY1TNYS)
(stx-transfer? u454511 tx-sender 'SP3QVE7RWA654M8Y1RXJPGG93FN5XMD2QXF6RKH2S)
(stx-transfer? u382566 tx-sender 'SP2QV18K6HB5NBE2RWHKH1HY2A3HKJ4NVW7KYN2SY)
(stx-transfer? u286639 tx-sender 'SP12BEEDG31J0AH68DFDJJYZ36D002PKDZCP1DZQE)
(stx-transfer? u286639 tx-sender 'SP3HMGX5X7FJT7CMQX7R4F1RKR3NCWCMYZZMT46EE)
(stx-transfer? u279787 tx-sender 'SP2TGDR7E7EW5PKYV2XDN5CE4WNRGKGJ6WW5AQ1NW)
(stx-transfer? u258089 tx-sender 'SP31HWJGNYAJ6RP5XCGMJBZDW8SMWHGNZQ915NKM)
(stx-transfer? u251237 tx-sender 'SP37YN3AE9WZZ9E0JVA67Y6TT4S2ES45AP6PR4KKT)
(stx-transfer? u214694 tx-sender 'SP1ZQSWQ9QNNW388VFG45HYX1H592147V2FZZJY8V)
(stx-transfer? u181576 tx-sender 'SP2RT9J3FYQXRG8V3YCT8P85QJ9XWNNS2Z19EYCNV)
(stx-transfer? u179292 tx-sender 'SPMA0EH4FZGPA1FJBQXJREE22CBKYCBBVH8M55TV)
(stx-transfer? u172440 tx-sender 'SP3ZRRE4QQZHJHM9CEM4YBBVXX3SVSQ0D7W9DZZT7)
(stx-transfer? u171298 tx-sender 'SP3SPJMC3CJP0RH1ESQZKYJ1CVB98KG2NC7EC1XS2)
(stx-transfer? u171298 tx-sender 'SP3277KR8E5CQ01YM8TKKPAXYTB80HYQ4ZDENR5EA)
(stx-transfer? u146174 tx-sender 'SP1T07GK9H4M0WP4N1DSSA7NJ7GNTQZ0GBZM0GAR2)
(stx-transfer? u140464 tx-sender 'SP1YTGN8BNCEC4Z7NCHG7XBC1G4BN4AN50GQ50MBD)
(stx-transfer? u133612 tx-sender 'SP2Z2AQM22D9AZ5YZKZPWYBFWKJ7YGVVWT1C5M66P)
(stx-transfer? u123335 tx-sender 'SPVRT3145SGGJC48ZHS2XR1Z597XFBMMR83RHPQ1)
(stx-transfer? u119909 tx-sender 'SP1ER4CBVNYJHQ64PQ1HVW47TK2QS22T40W1BDKMC)
(stx-transfer? u115341 tx-sender 'SP3DYY6XZBXAQTKNWJ9RK70JHNNCQTPC7RM0NJ44T)
(stx-transfer? u114199 tx-sender 'SP1FY7ERTFBK26G6RA9P7940S81NCC1AZ5BTVZBY5)
(stx-transfer? u114199 tx-sender 'SP3VQPY4JMS5PRM9AXD5T22EP3DC7BK4C7QFQVBQ)
(stx-transfer? u113057 tx-sender 'SP27ZWQ6T8GJ7MH1S0B9G6C38RH9P924A6K503NFZ)
(stx-transfer? u101637 tx-sender 'SP3K99VRCD54RDHCBVE92K1VMNTNCJ2J1D4718AYC)
(stx-transfer? u100495 tx-sender 'SP3X49X7B7ZA82TZXGZCKQY56X1EB14R7AYMCN9FT)
(stx-transfer? u94785 tx-sender 'SPFZE247J5FGK81D6GNE43X4569XZMG2S5QNS7QC)
(stx-transfer? u94785 tx-sender 'SPVDF4YJER5QZD2PEY7WEDY6ZX6EQ36V1WN5XME)
(stx-transfer? u92501 tx-sender 'SP37N35P4903CB8S91SHHYYQ3Q44Q3HCJSBP8DCVF)
(stx-transfer? u89075 tx-sender 'SPN4Y5QPGQA8882ZXW90ADC2DHYXMSTN8VAR8C3X)
(stx-transfer? u86791 tx-sender 'SP1SHMD0WTEYENHC56S1D8QH283EGJKJ56GHJXGS9)
(stx-transfer? u85649 tx-sender 'SPT0H6K5XMT9KDN6PQ69QN6XRFSJR6YAWQMTF3ZZ)
(stx-transfer? u85649 tx-sender 'SPQS8N9R6C1PRX0HEQCC55YFD19JH6XBAWKG7GEJ)
(stx-transfer? u78797 tx-sender 'SP65P5A8E85M1N8BM4T0CKJZ8XX5YTNT2NZAYFG2)
(stx-transfer? u78797 tx-sender 'SP38590XMYXDGM9ZV4Y8HT2XSF0HWD3KDW52H5XA4)
(stx-transfer? u76513 tx-sender 'SP2KB4Z0RNKD7YX35FHSC7GA11XE8FVMN1VW7MDCZ)
(stx-transfer? u76513 tx-sender 'SP2N5TZARW27311PDTA4D10GXYFYPRJ39S9REWTDM)
(stx-transfer? u70803 tx-sender 'SP201YXWFXK8E1WVQS90JF965DXEHYGA98YGXXEWG)
(stx-transfer? u68519 tx-sender 'SP1X9000NJ01CYBX2N33CNSYTHPBF7R4M3HMAXMNJ)
(stx-transfer? u68519 tx-sender 'SP2ABTVQ1WYKFRQZT4XC4HHTYAPPGRQR4WTJWE7T4)
(stx-transfer? u65093 tx-sender 'SP1K68RJTNARBRP4DDT5SE4CBE2RQW24T043CACFA)
(stx-transfer? u61667 tx-sender 'SP35S9C9PTF8VZ0M4ESVGWBAX73CNRH5CZX0JMRW9)
(stx-transfer? u55957 tx-sender 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9)
(stx-transfer? u52531 tx-sender 'SP2RQ3AMJGQBJDV987P7EYMPECR3ZT96WZ2P2447N)
(stx-transfer? u50247 tx-sender 'SP2ZRVGFW8QYW9HXTMEABGZTPX0PV10E6D7KDNMA)
(stx-transfer? u49105 tx-sender 'SP2NK9TG7J510PRX4KMGX93XWX9GWV987JJEXHXBA)
(stx-transfer? u47963 tx-sender 'SP3KC0MA7VJPWVPK0A0XH79A98AYECCZ4V62M150P)
(stx-transfer? u46821 tx-sender 'SP34WMXFDPXPYK9G3APPMTK62H0RQWPYZC2DZY7SC)
(stx-transfer? u41112 tx-sender 'SPE0MZ50PMVGKE5AEHDZH8RVDCEFJ2TWF2EKBM4E)
(stx-transfer? u39970 tx-sender 'SP25XC1EK7S9KY6V1RXJPJ3QX8PERGA8NE12J9S5Q)
(stx-transfer? u39970 tx-sender 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV)
(stx-transfer? u38828 tx-sender 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC)
(stx-transfer? u34260 tx-sender 'SP2C1NCMMHFJXXTCAK3KYYJVY9VV0XH62RMEJNX92)
(stx-transfer? u34260 tx-sender 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ)
(stx-transfer? u33118 tx-sender 'SP7536HSN93Q17XWVGD8J66WY4VGYBAQX99G28H3)
(stx-transfer? u29692 tx-sender 'SP18WRH4SF7F1M5QZZ2BQDZZYBCJWT9VWQMDSTFY5)
(stx-transfer? u29692 tx-sender 'SP2BDQE2TQT1GK2N23M2EDNFA2VBJ40JCYPXVP76Q)
(stx-transfer? u27408 tx-sender 'SP3D4JYKRGQD7QGETJMNF91RBMW6W5373SHXYV69Y)
(stx-transfer? u27408 tx-sender 'SP3RW6BW9F5STYG2K8XS5EP5PM33E0DNQT4XEG864)
(stx-transfer? u27408 tx-sender 'SP14NSM2BAB9MGMYNXJB93NY4EF4NFRW3G3EFBZDX)
(stx-transfer? u26266 tx-sender 'SP2M86EN3V4VP8KW9XRZ0A6YCC9JKR6JWRQWY0MX5)
(stx-transfer? u22840 tx-sender 'SP19QANAE85WETXM6TBB9ZSHNGEYH5YHC6D3YDM6D)
(stx-transfer? u21698 tx-sender 'SPKTS1HQQH6Y50GXNEBM5VBQTNHPG28Y2XYD2SPJ)
(stx-transfer? u19414 tx-sender 'SP1CK8B18RYZBZ9WS84G10P7HY2SPK1MM6MFDEASQ)
(stx-transfer? u19414 tx-sender 'SP3GNQ7KG46VPNQZ3HPDEZVZ82CNZ913PB6Y2HN7M)
(stx-transfer? u19414 tx-sender 'SP1JKNQA5JVZ58NVJXKM2A0R6NF513FX5AQTN2NFB)
(stx-transfer? u18272 tx-sender 'SP26KW236H3EW7HJ5ZBRZ99GJHNZAD296GHBB74K5)
(stx-transfer? u17130 tx-sender 'SP1357NQKP2TM226WT52ATMVC8H92AV4140H0JNK)
(stx-transfer? u17130 tx-sender 'SP1E89NBEQFC4D31FB15N937A009M52VD7VSMHB2T)
(stx-transfer? u15988 tx-sender 'SP1ARWZD4G0SZPADBFQ5DVSK93B6QKQ6DHK9G452P)
(stx-transfer? u14846 tx-sender 'SPBYE18RSMEPD8ZRYJ4F81CKX08MKMV22HGE7EWM)
(stx-transfer? u13704 tx-sender 'SP38MM954FT9HY8JQ7QKVY87N249H4TMS8603JRA8)
(stx-transfer? u12562 tx-sender 'SP12AQXBS9YBAM64Y0S74QPAPDNSA8PBPS66DB5VA)
(stx-transfer? u11420 tx-sender 'SP3XDVFDF963FE61X7WXGWFAXXAP1FPBHGCJK8JTQ)
(stx-transfer? u10278 tx-sender 'SP1C714XS2J1ENZ7RSWK22YD02T1HZK7AV920GSN1)
(stx-transfer? u10278 tx-sender 'SP2295SVNAEZ4DW7YK5R2YSR3BY8RAHS49CG2J28F)
(stx-transfer? u10278 tx-sender 'SP2GT2QGG4XEXJ53EE08ZVYZX3KE123T4ZZ4KD1GC)
(stx-transfer? u9136 tx-sender 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD)
(stx-transfer? u9136 tx-sender 'SP2HDY11VYMQ8JD5JC4GPM0E8YZDJRDT15QCVC0MV)
(stx-transfer? u9136 tx-sender 'SPKADBG7J0186P87Q3XM847C611PWND8P81TB7KT)
(stx-transfer? u9136 tx-sender 'SPNZMHZ55RGYZF27534AYSVND54H8PKSHW9RD577)
(stx-transfer? u9136 tx-sender 'SP3T9V0Y3R1ZGGGC2QE2VW6J362DRZM52H0GDQ8ZE)
(stx-transfer? u9136 tx-sender 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA)
(stx-transfer? u9136 tx-sender 'SP2CHJ9TQ827NKFFHJ5JR4TYNM6WA6N8D17J49XX1)
(stx-transfer? u9136 tx-sender 'SP2TYGXC39J1QR6FNGRPCRZRHVMJ14NF7QM06YBK7)
(stx-transfer? u9136 tx-sender 'SPH9YG28V53YATFKTJHMDG19RRJT74YFNS2MYTGF)
(stx-transfer? u9136 tx-sender 'SP3RSW5ZE77P009KRXFXEBZX02WBZS03EK5Y2QC1S)
(stx-transfer? u9136 tx-sender 'SP1KRGM5MCYPRJ5N2M4QT703Z2JQHHMEC39SZX26W)
(stx-transfer? u7994 tx-sender 'SP27W55J4PD78NDFST0883MQ3641PYZPZWYKZ8Z7Y)
(stx-transfer? u7994 tx-sender 'SP1P6YGP0TAQJG0DD774KPA9N0AHRB4B1YTEGWWBH)
(stx-transfer? u7994 tx-sender 'SP3KFHZJF6723B8D8HF1F039YFAH4AZTH0R2TPF73)
(stx-transfer? u7994 tx-sender 'SP3FYGS9F88Y5FW2DT2Q5C7FVX99Y9HREGCMQJD6E)
(stx-transfer? u7994 tx-sender 'SPD45KB4FC6PVFAVDDD3K2NTVX9AY0D8BZ3AMSEZ)
(stx-transfer? u7994 tx-sender 'SP2PABAF9FTAJYNFZH93XENAJ8FVY99RRM50D2JG9)
(stx-transfer? u7994 tx-sender 'SP4TSR7RRW87BB0W4KJEP8K7AHZZSR2SJ36MFDJ5)
(stx-transfer? u7994 tx-sender 'SP3XXK59HRB0TZN2FJQC870D7QKPP5S9B0FG3YPZZ)
(stx-transfer? u6852 tx-sender 'SPYQQ01EMQ4XN4TKX6H7BYCGR0PXMN68PRZC10SK)
(stx-transfer? u6852 tx-sender 'SP3FRT6WTV0NGX5NX8EHJZDA7R79CKGGNQJEC0WQ9)
(stx-transfer? u6852 tx-sender 'SP16CKYKND9V6770E3FFZ9SE3MV78ZZ76ANYRDNJ1)
(stx-transfer? u6852 tx-sender 'SP363ECSA62Y3HTHD6NB70RY5WTVA113WJPGN7G6N)
(stx-transfer? u6852 tx-sender 'SPX5EGQYNSQ59PJ17WK5HNHFKKCP6TBCJ3MB297V)
(stx-transfer? u6852 tx-sender 'SP31T6C38QA231HP5AMF71FE1J913TDP0Y40F0E4F)
(stx-transfer? u6852 tx-sender 'SPB9X66S8M25BB8T2Q7HMR10SSEWR0TCECCWFRTB)
(stx-transfer? u6852 tx-sender 'SP25XTKZ948M9JBGTEZRX857S9V4EA1TTKWN7NPFD)
(stx-transfer? u5710 tx-sender 'SP3DCV25CKJAGQ0KG7EATN43RV9CPQ3WM8X36VYY7)
(stx-transfer? u5710 tx-sender 'SP1Z0ZRW8V44F6GMGS9EQYDZEF02R7V3WYMDVNBK8)
(stx-transfer? u5710 tx-sender 'SP1CGRDT9F67E9GZ8FPQYBF5HF2TV30ZMWB32C6DV)
(stx-transfer? u5710 tx-sender 'SP2AZJC7WYHM578F490NEGM5R16ATD7JFDKEX2RBF)
(stx-transfer? u5710 tx-sender 'SPK95D2DJXMHM9302JT4SM6PGVBA7BSZEHG6WZQ6)
(stx-transfer? u5710 tx-sender 'SP3633GDVYMBYNRTVGGJNR0S1ZXN0CTJGHVY6APNV)
(stx-transfer? u5710 tx-sender 'SP846HTAYC6E7WZJ0HRZHYY04RCHJS69YWTMADKQ)
(stx-transfer? u5710 tx-sender 'SP3GKD03CY339NVCVG0PKKRRC4CAGCECYXNXGQ69)
(stx-transfer? u5710 tx-sender 'SP1SAGTEXEGCSJ6C82AN705HKH34ES49H3WBMZBPW)
(stx-transfer? u4568 tx-sender 'SP3YQZD1YV0JBM30EMVK8HK30AAYW19JFA5X0X6XY)
(stx-transfer? u4568 tx-sender 'SP6NGC41EY0PXY1B85JA8EN73A5X1541KX1YZZ10)
(stx-transfer? u4568 tx-sender 'SPZ61EGH7MMMEVEVTNSY3S9GN4M8NG3P7TDN382E)
(stx-transfer? u4568 tx-sender 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X)
(stx-transfer? u4568 tx-sender 'SP102TEMMEZHM4NC88VQN2WFZ9H26ST6MG51WB8JW)
(stx-transfer? u4568 tx-sender 'SPX9AKZF9EF8Y4D74GV67YKJ4A41WAAX14CGPP7T)
(stx-transfer? u4568 tx-sender 'SP3F75VJXSX2WEJHP7WHFW08KZNYKNFFRYZSCJ0DT)
(stx-transfer? u4568 tx-sender 'SP1KP0JQTW6JA01595Y4RYV77ZXE8EPGYYM25Y6B6)
(stx-transfer? u3426 tx-sender 'SP3AXBXM4YWJB1QX92E186K1X3N4R4B1JQNZ4F4AH)
(stx-transfer? u3426 tx-sender 'SP1Y4QPBK8RNJKHWWD9XNJBBTZKYF7PYB01SF6EE4)
(stx-transfer? u3426 tx-sender 'SP1JZT264HSNP3QKBESK3X9J9B665Z0GF4EP6RZ0V)
(stx-transfer? u3426 tx-sender 'SP2NZFPS4W1MHGAQ34JVYG33C9ZV8ZTCDFP2A83V8)
(stx-transfer? u3426 tx-sender 'SP2TW1D8YF5CE0NDP5VCR5NMTPHQ4PQR1KBB4NQ5Q)
(stx-transfer? u3426 tx-sender 'SP31ER8WTA6RM08Z0GNTY786T4PW6SYKFTNMTPRSV)
(stx-transfer? u3426 tx-sender 'SP11EJ51Y0EFVXQ2AY439JRJ7EJB8K08A5YGFFXR6)
(stx-transfer? u3426 tx-sender 'SPCN929TF9X8HYH8SKY8PDP6MMYPWRHGTWT9CV17)
(stx-transfer? u3426 tx-sender 'SP184TV3EQE88ZA2W8EXY0NHS2A42V50ZAFC6Z90F)
(stx-transfer? u3426 tx-sender 'SPDKQ161GEPRVTAX3SXBM6EVSWD1CJGRSCQ8CR5K)
(stx-transfer? u2284 tx-sender 'SP299Q853SA7CTB71D52ZEXENTHKY56E3GTTGJ13)
(stx-transfer? u2284 tx-sender 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP)
(stx-transfer? u2284 tx-sender 'SP1ECWMAHWV3HY1N1WPCG5WTBD7XG4SF919JSP0Y2)
(stx-transfer? u2284 tx-sender 'SP370AWKNPV2YX6HP8CAPFT3ZAEY0R0XZK08X4CS0)
(stx-transfer? u2284 tx-sender 'SP2B8MMQ39HYPHH965Q9D6KJ6DW777BNK4Q6BPQAT)
(stx-transfer? u2284 tx-sender 'SP3YT0X4T85W45YCZXREX9WMC5VS4V251YYNKRH3D)
(stx-transfer? u2284 tx-sender 'SP3QBRHQF4BN8HNNGFHCJMQZDB8V20BMGF2VS3MJ2)
(stx-transfer? u2284 tx-sender 'SP2CDHVX0MGV2J790YMGMP0ZPNKTZS5XDAWYS81SF)
(stx-transfer? u2284 tx-sender 'SPECW310NYWYZQXJMG734PQKPMAVXYY3YGWZ9YJB)
(stx-transfer? u1142 tx-sender 'SP3JWKHWFFK5EEA5N1WNZNW2GN8FQAGJD6D23D465)
(stx-transfer? u1142 tx-sender 'SP5RSRY9K5PYQ6NJS2F9Y2JMQH2NB62RBZNRV2KF)
(stx-transfer? u1142 tx-sender 'SP24A4TAJZ5WSYW5RZKQWM6VJQ26NQHA8F47KJMPM)
(stx-transfer? u1142 tx-sender 'SP7HKGPZR075P2F760HNJGSS2HB51GS3V6RHF7KD)
(stx-transfer? u1142 tx-sender 'SP1MFA4QP3QMXW7GX767GGQ9JXP60GHE6Z312CSD9)
(stx-transfer? u1142 tx-sender 'SP9R65ZE7YHM5Z5A1XGWEWPSMX49W6HNHKA08A9R)
(stx-transfer? u1142 tx-sender 'SP38WRGD9H5ZKCTZDVTDESWWZC66F3TF2QD3J77QV)
(stx-transfer? u1142 tx-sender 'SP39JQW8XD6Y35GTQZASNJ75NBYMXEFNTH9RK4RZD)
(stx-transfer? u1142 tx-sender 'SP3N6A3B2F06Z5S7PHEEER64N1GXD4TAMG79ZM8GY)
(stx-transfer? u1142 tx-sender 'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3)
(stx-transfer? u1142 tx-sender 'SPSW50765RN3GVCV1B9EK3YKP8P4PB22KKZ4ER89)
(stx-transfer? u1142 tx-sender 'SP2CJB9EN5ZCQ0ET6TZQAAEB159A4HYJW96DYCCXQ)
(stx-transfer? u1142 tx-sender 'SP1G64YGP5QHNJK50B19A357NPSBZGA6P5X3RACP8)
(stx-transfer? u1142 tx-sender 'SPNGYW68THDYGMPQ138XV1BFHCTGA91QQ6F34XH0)
(stx-transfer? u1142 tx-sender 'SP1EC0SK5EQXKZARMV8CX882SZSWSYX9XT26EANSD)
(stx-transfer? u1142 tx-sender 'SPA6DVSF7S0DEXE4NWG6JQBX3BEA5AS5PEE2NQXP)
(stx-transfer? u1142 tx-sender 'SP329NVZJA1ED132RNQH1811PS5XX22VT7VKKANGS)
(stx-transfer? u1142 tx-sender 'SP1CHRN1TBQHW8GKY1M0WK600F8XP6W8T77BP75EV)
(stx-transfer? u1142 tx-sender 'SP1DBCVQ5MZ2AABHVSBXQ2T9D97F3XYNE3T2KXBZM)
(stx-transfer? u1142 tx-sender 'SPG34S51QV6YTZQGVRPZY9323MY4BTCFAFP1HR25)
(stx-transfer? u1142 tx-sender 'SPMB1AWVGKG7P6JMX940WA7PMY5T4Y6KKJQZB3VM)
(stx-transfer? u1142 tx-sender 'SP2AFDYPNZVRJDMN8RQQX8T9FAQW7MCSE1WSZR2G9)
(stx-transfer? u1142 tx-sender 'SP39EMTZG4P7D55FMEQXEB8ZEQEK0ECBHB1GD8GMT)
(stx-transfer? u1142 tx-sender 'SPSJ1B5QJR9XDRG2QR6GQW6PNPXP1NT9FG5VX4S3)
(stx-transfer? u1142 tx-sender 'SP2J3FES9WG5R6SR85WE4GW3TMA863PBCR47KZS59)
(stx-transfer? u1142 tx-sender 'SPHK8A7P61C6ASWKYDX1PCDX9YA54DKVJN49EXGJ)
(stx-transfer? u1142 tx-sender 'SP2QBAGF310GJWVJAFHA1DJ2BBHZ4V56ZM1XBG3H7)
;; End of reverse.btc distribution
;; Schedule REVERSE-D-05