/
reverse-6.clar
213 lines (207 loc) · 14.4 KB
/
reverse-6.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
204
205
206
207
208
209
210
211
212
213
;; Reverse.btc distribution
;; Schedule REVERSE-D-06
;; 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? u1141952 tx-sender 'SP25330Y71FKE4A1E8SP6TKADQ6B239Z1GQZSYT0N)
(stx-transfer? u1132395 tx-sender 'SP29BENM1NA4PY3DQPV0KTGS70FHXXMTTT27TBWJA)
(stx-transfer? u766398 tx-sender 'SPY1HAK2PJ770KFV3CS1SZKSXZACC5P8GR4E09HJ)
(stx-transfer? u723395 tx-sender 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK)
(stx-transfer? u415689 tx-sender 'SP2DFX28F1S3CB46B5XH9M5JQ7N4SMCE7CQY1TNYS)
(stx-transfer? u380332 tx-sender 'SP3QVE7RWA654M8Y1RXJPGG93FN5XMD2QXF6RKH2S)
(stx-transfer? u338285 tx-sender 'SP2TGDR7E7EW5PKYV2XDN5CE4WNRGKGJ6WW5AQ1NW)
(stx-transfer? u320129 tx-sender 'SP2QV18K6HB5NBE2RWHKH1HY2A3HKJ4NVW7KYN2SY)
(stx-transfer? u290505 tx-sender 'SP1SHMD0WTEYENHC56S1D8QH283EGJKJ56GHJXGS9)
(stx-transfer? u261837 tx-sender 'SPVRT3145SGGJC48ZHS2XR1Z597XFBMMR83RHPQ1)
(stx-transfer? u258970 tx-sender 'SP3HMGX5X7FJT7CMQX7R4F1RKR3NCWCMYZZMT46EE)
(stx-transfer? u239858 tx-sender 'SP12BEEDG31J0AH68DFDJJYZ36D002PKDZCP1DZQE)
(stx-transfer? u215967 tx-sender 'SP31HWJGNYAJ6RP5XCGMJBZDW8SMWHGNZQ915NKM)
(stx-transfer? u210234 tx-sender 'SP37YN3AE9WZZ9E0JVA67Y6TT4S2ES45AP6PR4KKT)
(stx-transfer? u204500 tx-sender 'SP3DYY6XZBXAQTKNWJ9RK70JHNNCQTPC7RM0NJ44T)
(stx-transfer? u185388 tx-sender 'SP1ZQSWQ9QNNW388VFG45HYX1H592147V2FZZJY8V)
(stx-transfer? u151942 tx-sender 'SP2RT9J3FYQXRG8V3YCT8P85QJ9XWNNS2Z19EYCNV)
(stx-transfer? u150030 tx-sender 'SPMA0EH4FZGPA1FJBQXJREE22CBKYCBBVH8M55TV)
(stx-transfer? u144297 tx-sender 'SP3ZRRE4QQZHJHM9CEM4YBBVXX3SVSQ0D7W9DZZT7)
(stx-transfer? u143341 tx-sender 'SP3277KR8E5CQ01YM8TKKPAXYTB80HYQ4ZDENR5EA)
(stx-transfer? u143341 tx-sender 'SP3SPJMC3CJP0RH1ESQZKYJ1CVB98KG2NC7EC1XS2)
(stx-transfer? u139519 tx-sender 'SP1YTGN8BNCEC4Z7NCHG7XBC1G4BN4AN50GQ50MBD)
(stx-transfer? u122318 tx-sender 'SP1T07GK9H4M0WP4N1DSSA7NJ7GNTQZ0GBZM0GAR2)
(stx-transfer? u112762 tx-sender 'SP2Z2AQM22D9AZ5YZKZPWYBFWKJ7YGVVWT1C5M66P)
(stx-transfer? u104161 tx-sender 'SP1ER4CBVNYJHQ64PQ1HVW47TK2QS22T40W1BDKMC)
(stx-transfer? u95561 tx-sender 'SP3VQPY4JMS5PRM9AXD5T22EP3DC7BK4C7QFQVBQ)
(stx-transfer? u95561 tx-sender 'SP1FY7ERTFBK26G6RA9P7940S81NCC1AZ5BTVZBY5)
(stx-transfer? u94605 tx-sender 'SP27ZWQ6T8GJ7MH1S0B9G6C38RH9P924A6K503NFZ)
(stx-transfer? u85049 tx-sender 'SP3K99VRCD54RDHCBVE92K1VMNTNCJ2J1D4718AYC)
(stx-transfer? u84094 tx-sender 'SP3X49X7B7ZA82TZXGZCKQY56X1EB14R7AYMCN9FT)
(stx-transfer? u83138 tx-sender 'SP38590XMYXDGM9ZV4Y8HT2XSF0HWD3KDW52H5XA4)
(stx-transfer? u83138 tx-sender 'SP2N5TZARW27311PDTA4D10GXYFYPRJ39S9REWTDM)
(stx-transfer? u79315 tx-sender 'SPFZE247J5FGK81D6GNE43X4569XZMG2S5QNS7QC)
(stx-transfer? u79315 tx-sender 'SPVDF4YJER5QZD2PEY7WEDY6ZX6EQ36V1WN5XME)
(stx-transfer? u77404 tx-sender 'SP37N35P4903CB8S91SHHYYQ3Q44Q3HCJSBP8DCVF)
(stx-transfer? u74537 tx-sender 'SPN4Y5QPGQA8882ZXW90ADC2DHYXMSTN8VAR8C3X)
(stx-transfer? u71671 tx-sender 'SPQS8N9R6C1PRX0HEQCC55YFD19JH6XBAWKG7GEJ)
(stx-transfer? u71671 tx-sender 'SPT0H6K5XMT9KDN6PQ69QN6XRFSJR6YAWQMTF3ZZ)
(stx-transfer? u65937 tx-sender 'SP65P5A8E85M1N8BM4T0CKJZ8XX5YTNT2NZAYFG2)
(stx-transfer? u64026 tx-sender 'SP2KB4Z0RNKD7YX35FHSC7GA11XE8FVMN1VW7MDCZ)
(stx-transfer? u59248 tx-sender 'SP201YXWFXK8E1WVQS90JF965DXEHYGA98YGXXEWG)
(stx-transfer? u57336 tx-sender 'SP1X9000NJ01CYBX2N33CNSYTHPBF7R4M3HMAXMNJ)
(stx-transfer? u57336 tx-sender 'SP2ABTVQ1WYKFRQZT4XC4HHTYAPPGRQR4WTJWE7T4)
(stx-transfer? u54470 tx-sender 'SP1K68RJTNARBRP4DDT5SE4CBE2RQW24T043CACFA)
(stx-transfer? u53514 tx-sender 'SP34WMXFDPXPYK9G3APPMTK62H0RQWPYZC2DZY7SC)
(stx-transfer? u52558 tx-sender 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9)
(stx-transfer? u51603 tx-sender 'SP35S9C9PTF8VZ0M4ESVGWBAX73CNRH5CZX0JMRW9)
(stx-transfer? u43958 tx-sender 'SP2RQ3AMJGQBJDV987P7EYMPECR3ZT96WZ2P2447N)
(stx-transfer? u42047 tx-sender 'SP2ZRVGFW8QYW9HXTMEABGZTPX0PV10E6D7KDNMA)
(stx-transfer? u41091 tx-sender 'SP2NK9TG7J510PRX4KMGX93XWX9GWV987JJEXHXBA)
(stx-transfer? u40136 tx-sender 'SP3KC0MA7VJPWVPK0A0XH79A98AYECCZ4V62M150P)
(stx-transfer? u34402 tx-sender 'SPE0MZ50PMVGKE5AEHDZH8RVDCEFJ2TWF2EKBM4E)
(stx-transfer? u33446 tx-sender 'SP25XC1EK7S9KY6V1RXJPJ3QX8PERGA8NE12J9S5Q)
(stx-transfer? u33446 tx-sender 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV)
(stx-transfer? u32491 tx-sender 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC)
(stx-transfer? u29624 tx-sender 'SP26KW236H3EW7HJ5ZBRZ99GJHNZAD296GHBB74K5)
(stx-transfer? u28668 tx-sender 'SP2C1NCMMHFJXXTCAK3KYYJVY9VV0XH62RMEJNX92)
(stx-transfer? u28668 tx-sender 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ)
(stx-transfer? u27713 tx-sender 'SP7536HSN93Q17XWVGD8J66WY4VGYBAQX99G28H3)
(stx-transfer? u25801 tx-sender 'SP19QANAE85WETXM6TBB9ZSHNGEYH5YHC6D3YDM6D)
(stx-transfer? u24846 tx-sender 'SP18WRH4SF7F1M5QZZ2BQDZZYBCJWT9VWQMDSTFY5)
(stx-transfer? u24846 tx-sender 'SP2BDQE2TQT1GK2N23M2EDNFA2VBJ40JCYPXVP76Q)
(stx-transfer? u24846 tx-sender 'SP14NSM2BAB9MGMYNXJB93NY4EF4NFRW3G3EFBZDX)
(stx-transfer? u22935 tx-sender 'SP3RW6BW9F5STYG2K8XS5EP5PM33E0DNQT4XEG864)
(stx-transfer? u22935 tx-sender 'SP3D4JYKRGQD7QGETJMNF91RBMW6W5373SHXYV69Y)
(stx-transfer? u21979 tx-sender 'SP2M86EN3V4VP8KW9XRZ0A6YCC9JKR6JWRQWY0MX5)
(stx-transfer? u18157 tx-sender 'SPKTS1HQQH6Y50GXNEBM5VBQTNHPG28Y2XYD2SPJ)
(stx-transfer? u16245 tx-sender 'SP1CK8B18RYZBZ9WS84G10P7HY2SPK1MM6MFDEASQ)
(stx-transfer? u16245 tx-sender 'SP3GNQ7KG46VPNQZ3HPDEZVZ82CNZ913PB6Y2HN7M)
(stx-transfer? u16245 tx-sender 'SP1JKNQA5JVZ58NVJXKM2A0R6NF513FX5AQTN2NFB)
(stx-transfer? u14334 tx-sender 'SP1357NQKP2TM226WT52ATMVC8H92AV4140H0JNK)
(stx-transfer? u14334 tx-sender 'SP1E89NBEQFC4D31FB15N937A009M52VD7VSMHB2T)
(stx-transfer? u13379 tx-sender 'SP1ARWZD4G0SZPADBFQ5DVSK93B6QKQ6DHK9G452P)
(stx-transfer? u13379 tx-sender 'SPBYE18RSMEPD8ZRYJ4F81CKX08MKMV22HGE7EWM)
(stx-transfer? u11467 tx-sender 'SP31ER8WTA6RM08Z0GNTY786T4PW6SYKFTNMTPRSV)
(stx-transfer? u11467 tx-sender 'SP38MM954FT9HY8JQ7QKVY87N249H4TMS8603JRA8)
(stx-transfer? u10512 tx-sender 'SP12AQXBS9YBAM64Y0S74QPAPDNSA8PBPS66DB5VA)
(stx-transfer? u9556 tx-sender 'SP3XDVFDF963FE61X7WXGWFAXXAP1FPBHGCJK8JTQ)
(stx-transfer? u8600 tx-sender 'SP1C714XS2J1ENZ7RSWK22YD02T1HZK7AV920GSN1)
(stx-transfer? u8600 tx-sender 'SP2295SVNAEZ4DW7YK5R2YSR3BY8RAHS49CG2J28F)
(stx-transfer? u8600 tx-sender 'SP2GT2QGG4XEXJ53EE08ZVYZX3KE123T4ZZ4KD1GC)
(stx-transfer? u7645 tx-sender 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD)
(stx-transfer? u7645 tx-sender 'SP2HDY11VYMQ8JD5JC4GPM0E8YZDJRDT15QCVC0MV)
(stx-transfer? u7645 tx-sender 'SP2CHJ9TQ827NKFFHJ5JR4TYNM6WA6N8D17J49XX1)
(stx-transfer? u7645 tx-sender 'SPKADBG7J0186P87Q3XM847C611PWND8P81TB7KT)
(stx-transfer? u7645 tx-sender 'SPNZMHZ55RGYZF27534AYSVND54H8PKSHW9RD577)
(stx-transfer? u7645 tx-sender 'SP2TYGXC39J1QR6FNGRPCRZRHVMJ14NF7QM06YBK7)
(stx-transfer? u7645 tx-sender 'SP1KRGM5MCYPRJ5N2M4QT703Z2JQHHMEC39SZX26W)
(stx-transfer? u7645 tx-sender 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA)
(stx-transfer? u7645 tx-sender 'SP3T9V0Y3R1ZGGGC2QE2VW6J362DRZM52H0GDQ8ZE)
(stx-transfer? u7645 tx-sender 'SPH9YG28V53YATFKTJHMDG19RRJT74YFNS2MYTGF)
(stx-transfer? u7645 tx-sender 'SP3RSW5ZE77P009KRXFXEBZX02WBZS03EK5Y2QC1S)
(stx-transfer? u6689 tx-sender 'SP1P6YGP0TAQJG0DD774KPA9N0AHRB4B1YTEGWWBH)
(stx-transfer? u6689 tx-sender 'SP27W55J4PD78NDFST0883MQ3641PYZPZWYKZ8Z7Y)
(stx-transfer? u6689 tx-sender 'SP4TSR7RRW87BB0W4KJEP8K7AHZZSR2SJ36MFDJ5)
(stx-transfer? u6689 tx-sender 'SP2PABAF9FTAJYNFZH93XENAJ8FVY99RRM50D2JG9)
(stx-transfer? u6689 tx-sender 'SP3FYGS9F88Y5FW2DT2Q5C7FVX99Y9HREGCMQJD6E)
(stx-transfer? u6689 tx-sender 'SP3KFHZJF6723B8D8HF1F039YFAH4AZTH0R2TPF73)
(stx-transfer? u6689 tx-sender 'SP3XXK59HRB0TZN2FJQC870D7QKPP5S9B0FG3YPZZ)
(stx-transfer? u6689 tx-sender 'SPD45KB4FC6PVFAVDDD3K2NTVX9AY0D8BZ3AMSEZ)
(stx-transfer? u5734 tx-sender 'SPYQQ01EMQ4XN4TKX6H7BYCGR0PXMN68PRZC10SK)
(stx-transfer? u5734 tx-sender 'SP25XTKZ948M9JBGTEZRX857S9V4EA1TTKWN7NPFD)
(stx-transfer? u5734 tx-sender 'SP363ECSA62Y3HTHD6NB70RY5WTVA113WJPGN7G6N)
(stx-transfer? u5734 tx-sender 'SPX5EGQYNSQ59PJ17WK5HNHFKKCP6TBCJ3MB297V)
(stx-transfer? u5734 tx-sender 'SP16CKYKND9V6770E3FFZ9SE3MV78ZZ76ANYRDNJ1)
(stx-transfer? u5734 tx-sender 'SPB9X66S8M25BB8T2Q7HMR10SSEWR0TCECCWFRTB)
(stx-transfer? u5734 tx-sender 'SP3FRT6WTV0NGX5NX8EHJZDA7R79CKGGNQJEC0WQ9)
(stx-transfer? u5734 tx-sender 'SP31T6C38QA231HP5AMF71FE1J913TDP0Y40F0E4F)
(stx-transfer? u4778 tx-sender 'SP2AZJC7WYHM578F490NEGM5R16ATD7JFDKEX2RBF)
(stx-transfer? u4778 tx-sender 'SP1CGRDT9F67E9GZ8FPQYBF5HF2TV30ZMWB32C6DV)
(stx-transfer? u4778 tx-sender 'SPK95D2DJXMHM9302JT4SM6PGVBA7BSZEHG6WZQ6)
(stx-transfer? u4778 tx-sender 'SP3DCV25CKJAGQ0KG7EATN43RV9CPQ3WM8X36VYY7)
(stx-transfer? u4778 tx-sender 'SP1Z0ZRW8V44F6GMGS9EQYDZEF02R7V3WYMDVNBK8)
(stx-transfer? u4778 tx-sender 'SP3GKD03CY339NVCVG0PKKRRC4CAGCECYXNXGQ69)
(stx-transfer? u4778 tx-sender 'SP1SAGTEXEGCSJ6C82AN705HKH34ES49H3WBMZBPW)
(stx-transfer? u4778 tx-sender 'SP3633GDVYMBYNRTVGGJNR0S1ZXN0CTJGHVY6APNV)
(stx-transfer? u4778 tx-sender 'SP846HTAYC6E7WZJ0HRZHYY04RCHJS69YWTMADKQ)
(stx-transfer? u3822 tx-sender 'SPZ61EGH7MMMEVEVTNSY3S9GN4M8NG3P7TDN382E)
(stx-transfer? u3822 tx-sender 'SP3YQZD1YV0JBM30EMVK8HK30AAYW19JFA5X0X6XY)
(stx-transfer? u3822 tx-sender 'SP6NGC41EY0PXY1B85JA8EN73A5X1541KX1YZZ10)
(stx-transfer? u3822 tx-sender 'SP1KP0JQTW6JA01595Y4RYV77ZXE8EPGYYM25Y6B6)
(stx-transfer? u3822 tx-sender 'SP102TEMMEZHM4NC88VQN2WFZ9H26ST6MG51WB8JW)
(stx-transfer? u3822 tx-sender 'SP3F75VJXSX2WEJHP7WHFW08KZNYKNFFRYZSCJ0DT)
(stx-transfer? u3822 tx-sender 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X)
(stx-transfer? u3822 tx-sender 'SPX9AKZF9EF8Y4D74GV67YKJ4A41WAAX14CGPP7T)
(stx-transfer? u2867 tx-sender 'SP2NZFPS4W1MHGAQ34JVYG33C9ZV8ZTCDFP2A83V8)
(stx-transfer? u2867 tx-sender 'SP1Y4QPBK8RNJKHWWD9XNJBBTZKYF7PYB01SF6EE4)
(stx-transfer? u2867 tx-sender 'SP1JZT264HSNP3QKBESK3X9J9B665Z0GF4EP6RZ0V)
(stx-transfer? u2867 tx-sender 'SP3AXBXM4YWJB1QX92E186K1X3N4R4B1JQNZ4F4AH)
(stx-transfer? u2867 tx-sender 'SP2TW1D8YF5CE0NDP5VCR5NMTPHQ4PQR1KBB4NQ5Q)
(stx-transfer? u2867 tx-sender 'SPCN929TF9X8HYH8SKY8PDP6MMYPWRHGTWT9CV17)
(stx-transfer? u2867 tx-sender 'SP184TV3EQE88ZA2W8EXY0NHS2A42V50ZAFC6Z90F)
(stx-transfer? u2867 tx-sender 'SP11EJ51Y0EFVXQ2AY439JRJ7EJB8K08A5YGFFXR6)
(stx-transfer? u2867 tx-sender 'SPDKQ161GEPRVTAX3SXBM6EVSWD1CJGRSCQ8CR5K)
(stx-transfer? u1911 tx-sender 'SP1ECWMAHWV3HY1N1WPCG5WTBD7XG4SF919JSP0Y2)
(stx-transfer? u1911 tx-sender 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP)
(stx-transfer? u1911 tx-sender 'SP299Q853SA7CTB71D52ZEXENTHKY56E3GTTGJ13)
(stx-transfer? u1911 tx-sender 'SP3YT0X4T85W45YCZXREX9WMC5VS4V251YYNKRH3D)
(stx-transfer? u1911 tx-sender 'SPEKEKXEQJ1G8A23X7PYZ9PDFDAHMTKNGV41PXB9)
(stx-transfer? u1911 tx-sender 'SP3QBRHQF4BN8HNNGFHCJMQZDB8V20BMGF2VS3MJ2)
(stx-transfer? u1911 tx-sender 'SPECW310NYWYZQXJMG734PQKPMAVXYY3YGWZ9YJB)
(stx-transfer? u1911 tx-sender 'SP2CDHVX0MGV2J790YMGMP0ZPNKTZS5XDAWYS81SF)
(stx-transfer? u1911 tx-sender 'SP2B8MMQ39HYPHH965Q9D6KJ6DW777BNK4Q6BPQAT)
(stx-transfer? u1911 tx-sender 'SP370AWKNPV2YX6HP8CAPFT3ZAEY0R0XZK08X4CS0)
(stx-transfer? u956 tx-sender 'SP3GC0C27BHNR8EQRDW1ETV3DC3YAYN80NHJ4QPZ4)
(stx-transfer? u956 tx-sender 'SP39JQW8XD6Y35GTQZASNJ75NBYMXEFNTH9RK4RZD)
(stx-transfer? u956 tx-sender 'SP3N6A3B2F06Z5S7PHEEER64N1GXD4TAMG79ZM8GY)
(stx-transfer? u956 tx-sender 'SP38WRGD9H5ZKCTZDVTDESWWZC66F3TF2QD3J77QV)
(stx-transfer? u956 tx-sender 'SP329NVZJA1ED132RNQH1811PS5XX22VT7VKKANGS)
(stx-transfer? u956 tx-sender 'SP2CJB9EN5ZCQ0ET6TZQAAEB159A4HYJW96DYCCXQ)
(stx-transfer? u956 tx-sender 'SP5RSRY9K5PYQ6NJS2F9Y2JMQH2NB62RBZNRV2KF)
(stx-transfer? u956 tx-sender 'SP7HKGPZR075P2F760HNJGSS2HB51GS3V6RHF7KD)
(stx-transfer? u956 tx-sender 'SP9R65ZE7YHM5Z5A1XGWEWPSMX49W6HNHKA08A9R)
(stx-transfer? u956 tx-sender 'SPA6DVSF7S0DEXE4NWG6JQBX3BEA5AS5PEE2NQXP)
(stx-transfer? u956 tx-sender 'SP24A4TAJZ5WSYW5RZKQWM6VJQ26NQHA8F47KJMPM)
(stx-transfer? u956 tx-sender 'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3)
(stx-transfer? u956 tx-sender 'SP1MFA4QP3QMXW7GX767GGQ9JXP60GHE6Z312CSD9)
(stx-transfer? u956 tx-sender 'SP1G64YGP5QHNJK50B19A357NPSBZGA6P5X3RACP8)
(stx-transfer? u956 tx-sender 'SPNGYW68THDYGMPQ138XV1BFHCTGA91QQ6F34XH0)
(stx-transfer? u956 tx-sender 'SPSW50765RN3GVCV1B9EK3YKP8P4PB22KKZ4ER89)
(stx-transfer? u956 tx-sender 'SP1EC0SK5EQXKZARMV8CX882SZSWSYX9XT26EANSD)
(stx-transfer? u956 tx-sender 'SP3JWKHWFFK5EEA5N1WNZNW2GN8FQAGJD6D23D465)
(stx-transfer? u956 tx-sender 'SP2AFDYPNZVRJDMN8RQQX8T9FAQW7MCSE1WSZR2G9)
(stx-transfer? u956 tx-sender 'SPMB1AWVGKG7P6JMX940WA7PMY5T4Y6KKJQZB3VM)
(stx-transfer? u956 tx-sender 'SP19D2KJ8T155M7D7FB89A4X3N8ZJY69NH0CPXADN)
(stx-transfer? u956 tx-sender 'SP2QBAGF310GJWVJAFHA1DJ2BBHZ4V56ZM1XBG3H7)
(stx-transfer? u956 tx-sender 'SP1FP2203PH99BGK6J76J5J7X2XBB7PR03HZ6YVFT)
(stx-transfer? u956 tx-sender 'SPQDDGJG6KVGAYA5ED386MAFH17C5HCXW2VZ9XZ3)
(stx-transfer? u956 tx-sender 'SP2J3FES9WG5R6SR85WE4GW3TMA863PBCR47KZS59)
(stx-transfer? u956 tx-sender 'SPR6HNZE6Y63BFAF958F40G960GS5DA4BBXCA1Z)
(stx-transfer? u956 tx-sender 'SPSJ1B5QJR9XDRG2QR6GQW6PNPXP1NT9FG5VX4S3)
(stx-transfer? u956 tx-sender 'SP3828EVG2764D5J5RBXHFNHH1THM0HSDJBT8QC46)
(stx-transfer? u956 tx-sender 'SP39EMTZG4P7D55FMEQXEB8ZEQEK0ECBHB1GD8GMT)
(stx-transfer? u956 tx-sender 'SP1DBCVQ5MZ2AABHVSBXQ2T9D97F3XYNE3T2KXBZM)
(stx-transfer? u956 tx-sender 'SPG34S51QV6YTZQGVRPZY9323MY4BTCFAFP1HR25)
(stx-transfer? u956 tx-sender 'SP1N7A727KA5JA4SQKRNW01AAZDBQW2NTAG93S0F3)
(stx-transfer? u956 tx-sender 'SPHK8A7P61C6ASWKYDX1PCDX9YA54DKVJN49EXGJ)
(stx-transfer? u956 tx-sender 'SP1CHRN1TBQHW8GKY1M0WK600F8XP6W8T77BP75EV)
(stx-transfer? u956 tx-sender 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67)
(stx-transfer? u956 tx-sender 'SP1QSN4WQFHTDX5W5EKVDVDFBPZ1Z9J51543DV74D)
;; End of reverse.btc distribution
;; Schedule REVERSE-D-06