(define-public (pay-refund)
(begin
;;below here are purchase-four refunds
(unwrap! (stx-transfer? u20000000 tx-sender 'SP11BW3Q3D6HZP20NWP8BD7CSA31TCRHT25TWQHT0) (err u49))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP12BEEDG31J0AH68DFDJJYZ36D002PKDZCP1DZQE) (err u50))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP158NQ75Q4MH4VW1GDESJBVT3GKSZZHW41TKHCF2) (err u51))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP16YA5N2VE52JRDYXKFZ2TF7T2CBRB4SH8NYKJX1) (err u52))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP17A4B5JXWE70230PA07A2M4GXVCS2KR3SQYRV68) (err u53))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP197GMEG6WGBRDTCTGGWMRA1G77E65TRXWYKGCT7) (err u54))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP19YRVJWZQ7FE5WBE1XA2ZG01187WQG954Z2Y05Q) (err u55))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP1PN944TZY06602036V2MQM1WEDX9JPMPN521TEE) (err u56))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP1QHRPPTYM8DJS1ZSW9B497YNS7TK9P3PM38S9DB) (err u57))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP1XHX4584AM7KARG7MTVBW6CN8JQ8Q97DMFZJ8W) (err u58))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP226P4V1G7T6KVD39VMAGQV6HXKDM97T009AV579) (err u59))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J) (err u60))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP247RS63PWW7ZQZ9EYYA9CXKKPWEP71M14W8N294) (err u61))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP25VWGTPR19E344S4ENTHQT8651216EPNABRYE51) (err u62))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP2AYJHP9H3JM3T26ZBW0SKBCXJ9S4JW03VQBP7K1) (err u63))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP2DG03SMAV8Q8JTDHF9F32Y7B3523ZJYM0Q3MK3Y) (err u64))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP2FHRXHTZBFGPFKSNWFGYPNBQXKSXC2JFJZ7BY7D) (err u65))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP2HVP68NY5BD2RDFX0JNXSYRS8AA6R7S30N08NJZ) (err u66))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP2YYBEEPT5ADRZSJJKHF077BTEMNE0YB1FBDC2JE) (err u67))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP38GBVK5HEJ0MBH4CRJ9HQEW86HX0H9AP1HZ3SVZ) (err u68))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP3RKSZS9X6A112MGR1NXN3QM4ERXKKCM12PXEPCJ) (err u69))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP3Z7511VWR5WG9J3MAKER3NRZYKWT83K2XTP36EV) (err u70))
(unwrap! (stx-transfer? u20000000 tx-sender 'SP7C953XMSK32N7Z58JTRGDKWP128BB9GXSP5BZV) (err u71))
(unwrap! (stx-transfer? u20000000 tx-sender 'SPHK8A7P61C6ASWKYDX1PCDX9YA54DKVJN49EXGJ) (err u72))
(unwrap! (stx-transfer? u20000000 tx-sender 'SPJ64B2PKV9SCGQJYF5VKRW5PWS7ZZDHGFQEK8WQ) (err u73))
(unwrap! (stx-transfer? u20000000 tx-sender 'SPKR1JG6RKDCA6DHPFC8VV5KSDKMBC28W3DZ89PQ) (err u74))
(unwrap! (stx-transfer? u20000000 tx-sender 'SPN9SQPATME5FN0JGHHGP9MW1WVW26663D5YN2SS) (err u75))
(unwrap! (stx-transfer? u20000000 tx-sender 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM) (err u76))
(unwrap! (stx-transfer? u20000000 tx-sender 'SPXHBSENFDVDRQGA57R9C633DR4FE93V7VSYGK15) (err u77))
(unwrap! (stx-transfer? u20000000 tx-sender 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE) (err u78))
;; below here are purchase-eights refunds
(unwrap! (stx-transfer? u80000000 tx-sender 'SP129SXC2YE4VM9ZXWXF1WSRT8M5BGAEZ0PQK685D) (err u79))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP18WRH4SF7F1M5QZZ2BQDZZYBCJWT9VWQMDSTFY5) (err u80))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP197GMEG6WGBRDTCTGGWMRA1G77E65TRXWYKGCT7) (err u81))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87) (err u82))
(unwrap! (stx-transfer? u240000000 tx-sender 'SP1H6R0QXWNPRCG9Q6Z2V4S0Z9VNKW1Y2ZXNARBXH) (err u83))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP1J5W1FN3P80XV1YK14BKC6A912WWFGJSW9M92HA) (err u84))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP226P4V1G7T6KVD39VMAGQV6HXKDM97T009AV579) (err u85))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N) (err u86))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP2MAWMYQPPVD3KH8SXC9M0HHERQ45YAKJFTWKXQ1) (err u87))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP2QFXPC7ESM7NVPSP7M7M711VEJFE7GBASSJMRTP) (err u88))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP2YYBEEPT5ADRZSJJKHF077BTEMNE0YB1FBDC2JE) (err u89))
(unwrap! (stx-transfer? u80000000 tx-sender 'SP33SCE1F3J9N6D4ZFY9AA3GR05GS3112GS1VZDFC) (err u90))
(unwrap! (stx-transfer? u120000000 tx-sender 'SP356400A5XM1ZKNXCQ7BJRE8PXXG1EJHV3954Z27) (err u91))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP3MMG05H6T48W5NJEEST0RR3FTPGKPM7C19X5M16) (err u92))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP3MR0WGR46ZJEFH0YKKY55Q6X9EA1RPET57XF7VV) (err u93))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP3S29RMG1E66D26V9VW73QQCA9ZR9V9RYMTYX72E) (err u94))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP3WXWMD8NC947EASJCMCVT11YDDMBHPXT8WE9WMF) (err u95))
(unwrap! (stx-transfer? u40000000 tx-sender 'SP8JVD8G9RRXPWF13STYZSJDDP25WSM8GWB46MAX) (err u96))
(unwrap! (stx-transfer? u40000000 tx-sender 'SPE9CQ6VBE2DER8MG4DJVZ9123CZM0QSVGWXSKWD) (err u97))
(unwrap! (stx-transfer? u40000000 tx-sender 'SPJ5X8PJ6WKQHQ88KG8WGVNGKCH55WD3NNA0ZSTZ) (err u98))
(ok (unwrap! (stx-transfer? u80000000 tx-sender 'SPR9FXRK4Y7BDDTMFV0THSKAN0H8NY7759K3RWHD) (err u99)))
)
)