(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 u100000000)
(define-constant address-18 'SP2WEPZY2CGGPZRBRF47ZX9J2MD2NWN8F9JTMPDZK)
(define-constant name-18 "Shen Jing")
(define-constant schedule-18 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u9331729166667 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u9331729166667 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u9331729166667 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u9331729166667 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u13997593750000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u13997593750000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u4665864583333 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u4665864583333 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u4665864583333 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u4665864583333 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u4665864583333 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u4665864583333 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u4665864583333 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u4665864583333 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u4665864583333 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u4665864583333 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u4665864583333 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u4665864583333 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u4665864583333 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u4665864583333 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u4665864583333 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u4665864583333 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u4665864583333 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u4665864583333 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u4665864583333 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u4665864583333 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u4665864583333 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u4665864583333 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u4665864583333 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u4665864583333 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u4665864583333 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u4665864583333 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u4665864583333 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u4665864583333 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u4665864583333 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u4665864583333 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u4665864583333 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u4665864583333 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u4665864583333 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u4665864583333 }
))
(define-constant address-19 'SP27WEWFJ3R3A8P20SRZHYJT1RP7GQRSB995CZMC3)
(define-constant name-19 "Wang Limin")
(define-constant schedule-19 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u46733895833333 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u46733895833333 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u46733895833333 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u46733895833333 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u70100843750000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u70100843750000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u23366947916667 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u23366947916667 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u23366947916667 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u23366947916667 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u23366947916667 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u23366947916667 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u23366947916667 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u23366947916667 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u23366947916667 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u23366947916667 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u23366947916667 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u23366947916667 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u23366947916667 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u23366947916667 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u23366947916667 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u23366947916667 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u23366947916667 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u23366947916667 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u23366947916667 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u23366947916667 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u23366947916667 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u23366947916667 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u23366947916667 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u23366947916667 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u23366947916667 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u23366947916667 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u23366947916667 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u23366947916667 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u23366947916667 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u23366947916667 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u23366947916667 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u23366947916667 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u23366947916667 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u23366947916667 }
))
(define-constant address-20 'SP17XB0Y3BAAQKEQZF1TZTA6F5A0BN5WB116RME2A)
(define-constant name-20 "OK Blockchain Capital Limited")
(define-constant schedule-20 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u3537025000000 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u3537025000000 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u3537025000000 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u3537025000000 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u5305537500000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u5305537500000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u1768512500000 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u1768512500000 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u1768512500000 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u1768512500000 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u1768512500000 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u1768512500000 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u1768512500000 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u1768512500000 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u1768512500000 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u1768512500000 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u1768512500000 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u1768512500000 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u1768512500000 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u1768512500000 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u1768512500000 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u1768512500000 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u1768512500000 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u1768512500000 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u1768512500000 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u1768512500000 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u1768512500000 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u1768512500000 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u1768512500000 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u1768512500000 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u1768512500000 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u1768512500000 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u1768512500000 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u1768512500000 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u1768512500000 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u1768512500000 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u1768512500000 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u1768512500000 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u1768512500000 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u1768512500000 }
))
(define-constant address-21 'SP32TC51TNZ2ETPFVTAH87ERX5P49KRCPH5NJSBS)
(define-constant name-21 "Matt Feldmann")
(define-constant schedule-21 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u771608333333 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u771608333333 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u771608333333 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u771608333333 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u1157412500000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u1157412500000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u385804166667 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u385804166667 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u385804166667 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u385804166667 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u385804166667 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u385804166667 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u385804166667 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u385804166667 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u385804166667 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u385804166667 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u385804166667 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u385804166667 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u385804166667 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u385804166667 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u385804166667 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u385804166667 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u385804166667 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u385804166667 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u385804166667 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u385804166667 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u385804166667 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u385804166667 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u385804166667 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u385804166667 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u385804166667 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u385804166667 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u385804166667 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u385804166667 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u385804166667 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u385804166667 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u385804166667 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u385804166667 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u385804166667 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u385804166667 }
))
(define-constant address-22 'SP3J6G5CHGDNMVDKZ5X55QTZ5C6SRXQGNXSHKNX0Y)
(define-constant name-22 "Marty Stenson")
(define-constant schedule-22 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u1543212500000 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u1543212500000 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u1543212500000 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u1543212500000 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u2314818750000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u2314818750000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u771606250000 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u771606250000 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u771606250000 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u771606250000 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u771606250000 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u771606250000 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u771606250000 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u771606250000 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u771606250000 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u771606250000 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u771606250000 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u771606250000 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u771606250000 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u771606250000 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u771606250000 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u771606250000 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u771606250000 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u771606250000 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u771606250000 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u771606250000 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u771606250000 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u771606250000 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u771606250000 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u771606250000 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u771606250000 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u771606250000 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u771606250000 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u771606250000 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u771606250000 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u771606250000 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u771606250000 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u771606250000 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u771606250000 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u771606250000 }
))
(define-constant address-23 'SP2SRYMHAHWGS779MM4VFFW4HQ0M9JJQHZ8SXXM5D)
(define-constant name-23 "Kai Liu")
(define-constant schedule-23 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u752558333333 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u752558333333 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u752558333333 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u752558333333 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u1128837500000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u1128837500000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u376279166667 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u376279166667 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u376279166667 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u376279166667 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u376279166667 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u376279166667 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u376279166667 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u376279166667 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u376279166667 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u376279166667 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u376279166667 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u376279166667 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u376279166667 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u376279166667 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u376279166667 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u376279166667 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u376279166667 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u376279166667 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u376279166667 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u376279166667 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u376279166667 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u376279166667 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u376279166667 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u376279166667 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u376279166667 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u376279166667 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u376279166667 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u376279166667 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u376279166667 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u376279166667 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u376279166667 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u376279166667 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u376279166667 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u376279166667 }
))
(define-constant address-24 'SP3SPGBM842KZE7PF9FD1GN7B7HPBXKZAGRETEYE6)
(define-constant name-24 "Kenneth Oh")
(define-constant schedule-24 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u1543212500000 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u1543212500000 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u1543212500000 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u1543212500000 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u2314818750000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u2314818750000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u771606250000 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u771606250000 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u771606250000 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u771606250000 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u771606250000 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u771606250000 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u771606250000 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u771606250000 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u771606250000 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u771606250000 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u771606250000 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u771606250000 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u771606250000 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u771606250000 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u771606250000 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u771606250000 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u771606250000 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u771606250000 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u771606250000 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u771606250000 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u771606250000 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u771606250000 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u771606250000 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u771606250000 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u771606250000 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u771606250000 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u771606250000 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u771606250000 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u771606250000 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u771606250000 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u771606250000 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u771606250000 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u771606250000 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u771606250000 }
))
(define-public (execute (sender principal))
(let
(
(recipient-18 (try! (contract-call? .age009-token-lock set-recipient address-18 name-18)))
(recipient-19 (try! (contract-call? .age009-token-lock set-recipient address-19 name-19)))
(recipient-20 (try! (contract-call? .age009-token-lock set-recipient address-20 name-20)))
(recipient-21 (try! (contract-call? .age009-token-lock set-recipient address-21 name-21)))
(recipient-22 (try! (contract-call? .age009-token-lock set-recipient address-22 name-22)))
(recipient-23 (try! (contract-call? .age009-token-lock set-recipient address-23 name-23)))
(recipient-24 (try! (contract-call? .age009-token-lock set-recipient address-24 name-24)))
(vesting-18 (generate-schedule-many recipient-18 schedule-18))
(vesting-19 (generate-schedule-many recipient-19 schedule-19))
(vesting-20 (generate-schedule-many recipient-20 schedule-20))
(vesting-21 (generate-schedule-many recipient-21 schedule-21))
(vesting-22 (generate-schedule-many recipient-22 schedule-22))
(vesting-23 (generate-schedule-many recipient-23 schedule-23))
(vesting-24 (generate-schedule-many recipient-24 schedule-24))
)
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-18))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-19))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-20))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-21))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-22))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-23))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-24))
(ok true)
)
)
(define-private (generate-schedule-iter (recipient-id uint) (item { vesting-id: uint, vesting-timestamp: uint, amount: uint }))
{ recipient-id: recipient-id, vesting-id: (get vesting-id item), vesting-timestamp: (get vesting-timestamp item), amount: (get amount item) }
)
(define-private (generate-schedule-many (recipient-id uint) (items (list 50 { vesting-id: uint, vesting-timestamp: uint, amount: uint })))
(map generate-schedule-iter
(list
recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id
recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id
recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id
recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id
recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id recipient-id
)
items
)
)