(impl-trait .proposal-trait.proposal-trait) (define-constant batch-5 (list
{ participant: 'SP2DMFMJW2JPP0Z7V7C0X3CZH9K1GEW9K7A0T9ZEK, details: { stx: u888397654, alex: u784209127950 }}
{ participant: 'SP26Q1H70V4ATF5EHG1J6G362BGMESCERDZ2GD6SR, details: { stx: u805514080, alex: u711045882630 }}
{ participant: 'SPHKFR7YCBASQXCCXJKHN3J6E9J4156KVF98RAJE, details: { stx: u262059233, alex: u231325737180 }}
{ participant: 'SPSTE5R54386QDCDNJJWH2EXQFST44QYZW3RPMD3, details: { stx: u43671984, alex: u38550268860 }}
{ participant: 'SP125BST4GXSBW4M67W5G3PNDXWGFM10CHJKD0FVT, details: { stx: u434839248, alex: u383842647230 }}
{ participant: 'SP2YWMJCGXXGZ4R5AKBK61V3CBRKMQ25HRB5K594J, details: { stx: u1202816293, alex: u1061753722260 }}
{ participant: 'SP2A8E9BY1YYHP0JMTJZXWQ8GMQXGZZJ72K808C6Y, details: { stx: u884398591, alex: u780679063050 }}
{ participant: 'SPSGS6FNJRE1VJRMPZSQFC8BJ7CNC26Q1K1H7NJP, details: { stx: u272872360, alex: u240870734750 }}
{ participant: 'SPDMTD93KR32R72V2ZDJVQMSRYKR8SMMJD7RZB49, details: { stx: u272872360, alex: u240870734750 }}
{ participant: 'SP3CCW7W0Q5QXEBKXX1R0Z47ERJ6A3MYK8M17A5J9, details: { stx: u272872360, alex: u240870734750 }}
{ participant: 'SP2GHPX871GG50BE72CNFZZ0FJM5JQ5GPDKM4T2RC, details: { stx: u377928112, alex: u333605873250 }}
{ participant: 'SPZ71M8HE11WAJZDX2JCWE28H3FJNN02FGSTK43R, details: { stx: u1434434, alex: u1266207600 }}
{ participant: 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS, details: { stx: u2600799315, alex: u2295785624760 }}
{ participant: 'SP26RMN84H52GHBEB8GBA89PBST9WRR7FX6MVGHVD, details: { stx: u49453830, alex: u43654038200 }}
{ participant: 'SP171G8THFCAKAZ2YYSE872B1ZX68HPHDRHJYZXWJ, details: { stx: u706702626, alex: u623822730630 }}
{ participant: 'SP28P9RHZDH3RF6SK0WV2KEXBA9FDWYS94DNWRM6B, details: { stx: u580738548, alex: u512631329170 }}
{ participant: 'SPBVF489RM32YGESDWE38AWHQVKXGDZ6XM57JYRJ, details: { stx: u2965558366, alex: u2617766863260 }}
{ participant: 'SP1S1ZPFABXAQBF2JNZ0NGF0KWDXJJAE8AFNJM568, details: { stx: u870261044, alex: u768199523480 }}
{ participant: 'SP1KWKFRJBC1VEZ8AVY2MQ1YDSC3XH3ACD493W7HA, details: { stx: u46696205, alex: u41219819080 }}
{ participant: 'SP34SYKT08GSP4ECNRWR7B3QWWS6WX7PN5YZHQ95F, details: { stx: u1091961942, alex: u963900026770 }}
{ participant: 'SP1Y2V7GEC6R0632H31HQBNX3AWEKJM9XTGR5CH6W, details: { stx: u827603281, alex: u730544531190 }}
{ participant: 'SP11RGYTSAP1F5B9NHD5K420GQBZYXX2RQGX2SGGG, details: { stx: u1060333, alex: u935980330 }}
{ participant: 'SP2EAEPZD7XCJ178PHK27R42XYYNAS59ADWWTSVXN, details: { stx: u1066157, alex: u941121710 }}
{ participant: 'SP3VWZ73BVGCY503QB71AGN27Y8DQRDXBM56BHHZE, details: { stx: u1060333, alex: u935980330 }}
{ participant: 'SPT9FHW8VNXTASGJ90K6G5FHK61NKZ7PEED0G7VV, details: { stx: u10683953, alex: u9430971780 }}
{ participant: 'SP22F7AV2S9WMG1MXT1001RAC9C3X45YXKF2FVGJK, details: { stx: u897391159, alex: u792147902880 }}
)) (define-public (execute (sender principal)) (begin (try! (contract-call? .treasury-grant set-vesting-many batch-5)) (ok true)))