(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 u100000000)
(define-constant address-25 'SP3VV72CHJFRDVC0V4C41JF6NVMVAD1JFBX24CQM4)
(define-constant name-25 "Martin Wiedmann")
(define-constant schedule-25 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u4289583333333 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u4289583333333 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u4289583333333 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u4289583333333 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u6434375000000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u6434375000000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u2144791666667 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u2144791666667 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u2144791666667 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u2144791666667 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u2144791666667 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u2144791666667 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u2144791666667 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u2144791666667 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u2144791666667 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u2144791666667 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u2144791666667 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u2144791666667 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u2144791666667 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u2144791666667 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u2144791666667 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u2144791666667 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u2144791666667 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u2144791666667 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u2144791666667 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u2144791666667 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u2144791666667 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u2144791666667 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u2144791666667 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u2144791666667 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u2144791666667 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u2144791666667 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u2144791666667 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u2144791666667 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u2144791666667 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u2144791666667 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u2144791666667 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u2144791666667 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u2144791666667 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u2144791666667 }
))
(define-constant address-26 'SP20BHTXF4B95A71PXYHM0TWNZ9SM94VPJ5GA71Y1)
(define-constant name-26 "Barbara Wiedmann-Schindler")
(define-constant schedule-26 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u1956654166667 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u1956654166667 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u1956654166667 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u1956654166667 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u2934981250000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u2934981250000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u978327083333 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u978327083333 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u978327083333 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u978327083333 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u978327083333 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u978327083333 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u978327083333 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u978327083333 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u978327083333 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u978327083333 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u978327083333 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u978327083333 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u978327083333 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u978327083333 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u978327083333 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u978327083333 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u978327083333 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u978327083333 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u978327083333 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u978327083333 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u978327083333 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u978327083333 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u978327083333 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u978327083333 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u978327083333 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u978327083333 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u978327083333 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u978327083333 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u978327083333 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u978327083333 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u978327083333 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u978327083333 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u978327083333 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u978327083333 }
))
(define-constant address-27 'SP3TF26QFS3YMYHC9N3ZZTZQKCM4AFYMVW1WMFRTT)
(define-constant name-27 "sbxcapital.co")
(define-constant schedule-27 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u7826612500000 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u7826612500000 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u7826612500000 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u7826612500000 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u11739918750000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u11739918750000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u3913306250000 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u3913306250000 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u3913306250000 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u3913306250000 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u3913306250000 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u3913306250000 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u3913306250000 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u3913306250000 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u3913306250000 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u3913306250000 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u3913306250000 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u3913306250000 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u3913306250000 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u3913306250000 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u3913306250000 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u3913306250000 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u3913306250000 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u3913306250000 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u3913306250000 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u3913306250000 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u3913306250000 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u3913306250000 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u3913306250000 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u3913306250000 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u3913306250000 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u3913306250000 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u3913306250000 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u3913306250000 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u3913306250000 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u3913306250000 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u3913306250000 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u3913306250000 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u3913306250000 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u3913306250000 }
))
(define-constant address-28 'SP1RTCCPW9GDH3KC3N1MQ59AJFNCFCSHC4E69JWQ5)
(define-constant name-28 "Hugh Burns")
(define-constant schedule-28 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u3913304166667 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u3913304166667 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u3913304166667 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u3913304166667 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u5869956250000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u5869956250000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u1956652083333 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u1956652083333 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u1956652083333 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u1956652083333 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u1956652083333 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u1956652083333 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u1956652083333 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u1956652083333 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u1956652083333 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u1956652083333 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u1956652083333 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u1956652083333 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u1956652083333 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u1956652083333 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u1956652083333 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u1956652083333 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u1956652083333 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u1956652083333 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u1956652083333 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u1956652083333 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u1956652083333 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u1956652083333 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u1956652083333 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u1956652083333 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u1956652083333 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u1956652083333 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u1956652083333 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u1956652083333 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u1956652083333 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u1956652083333 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u1956652083333 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u1956652083333 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u1956652083333 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u1956652083333 }
))
(define-constant address-29 'SP3BKB4Y28MY7M7WB825NXDYE29QPS4TJ1C59RBK9)
(define-constant name-29 "Westridge Markets")
(define-constant schedule-29 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u2483441666667 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u2483441666667 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u2483441666667 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u2483441666667 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u3725162500000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u3725162500000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u1241720833333 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u1241720833333 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u1241720833333 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u1241720833333 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u1241720833333 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u1241720833333 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u1241720833333 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u1241720833333 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u1241720833333 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u1241720833333 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u1241720833333 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u1241720833333 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u1241720833333 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u1241720833333 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u1241720833333 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u1241720833333 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u1241720833333 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u1241720833333 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u1241720833333 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u1241720833333 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u1241720833333 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u1241720833333 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u1241720833333 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u1241720833333 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u1241720833333 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u1241720833333 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u1241720833333 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u1241720833333 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u1241720833333 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u1241720833333 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u1241720833333 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u1241720833333 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u1241720833333 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u1241720833333 }
))
(define-constant address-30 'SP2RYDZ3TW1F92RM659NC0HWPF7HBKZM8GR1XT5Y6)
(define-constant name-30 "Jonathan Gerber")
(define-constant schedule-30 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u3913304166667 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u3913304166667 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u3913304166667 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u3913304166667 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u5869956250000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u5869956250000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u1956652083333 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u1956652083333 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u1956652083333 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u1956652083333 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u1956652083333 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u1956652083333 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u1956652083333 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u1956652083333 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u1956652083333 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u1956652083333 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u1956652083333 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u1956652083333 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u1956652083333 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u1956652083333 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u1956652083333 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u1956652083333 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u1956652083333 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u1956652083333 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u1956652083333 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u1956652083333 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u1956652083333 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u1956652083333 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u1956652083333 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u1956652083333 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u1956652083333 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u1956652083333 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u1956652083333 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u1956652083333 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u1956652083333 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u1956652083333 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u1956652083333 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u1956652083333 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u1956652083333 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u1956652083333 }
))
(define-constant address-31 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH)
(define-constant name-31 "Ji Ahn")
(define-constant schedule-31 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u602045833333 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u602045833333 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u602045833333 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u602045833333 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u903068750000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u903068750000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u301022916667 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u301022916667 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u301022916667 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u301022916667 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u301022916667 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u301022916667 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u301022916667 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u301022916667 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u301022916667 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u301022916667 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u301022916667 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u301022916667 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u301022916667 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u301022916667 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u301022916667 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u301022916667 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u301022916667 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u301022916667 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u301022916667 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u301022916667 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u301022916667 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u301022916667 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u301022916667 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u301022916667 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u301022916667 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u301022916667 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u301022916667 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u301022916667 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u301022916667 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u301022916667 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u301022916667 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u301022916667 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u301022916667 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u301022916667 }
))
(define-constant address-32 'SP30N34PVPFG253GZWRBRZ2CWP41YJ3TV6DGT7ZEN)
(define-constant name-32 "YoungTaek Kim")
(define-constant schedule-32 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u30866666667 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u30866666667 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u30866666667 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u30866666667 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u46300000000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u46300000000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u15433333333 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u15433333333 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u15433333333 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u15433333333 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u15433333333 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u15433333333 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u15433333333 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u15433333333 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u15433333333 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u15433333333 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u15433333333 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u15433333333 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u15433333333 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u15433333333 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u15433333333 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u15433333333 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u15433333333 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u15433333333 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u15433333333 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u15433333333 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u15433333333 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u15433333333 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u15433333333 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u15433333333 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u15433333333 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u15433333333 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u15433333333 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u15433333333 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u15433333333 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u15433333333 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u15433333333 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u15433333333 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u15433333333 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u15433333333 }
))
(define-constant address-33 'SP3HM756ZBN71F492RN55G2CEFH0S6XQK1H1QGWSJ)
(define-constant name-33 "David Schimmel")
(define-constant schedule-33 (list
{ vesting-id: u1, vesting-timestamp: u1667174400, amount: u39584587500000 }
{ vesting-id: u2, vesting-timestamp: u1669766400, amount: u39584587500000 }
{ vesting-id: u3, vesting-timestamp: u1672444800, amount: u39584587500000 }
{ vesting-id: u4, vesting-timestamp: u1675123200, amount: u39584587500000 }
{ vesting-id: u5, vesting-timestamp: u1677542400, amount: u59376881250000 }
{ vesting-id: u6, vesting-timestamp: u1680220800, amount: u59376881250000 }
{ vesting-id: u7, vesting-timestamp: u1682812800, amount: u19792293750000 }
{ vesting-id: u8, vesting-timestamp: u1685491200, amount: u19792293750000 }
{ vesting-id: u9, vesting-timestamp: u1688083200, amount: u19792293750000 }
{ vesting-id: u10, vesting-timestamp: u1690761600, amount: u19792293750000 }
{ vesting-id: u11, vesting-timestamp: u1693440000, amount: u19792293750000 }
{ vesting-id: u12, vesting-timestamp: u1696032000, amount: u19792293750000 }
{ vesting-id: u13, vesting-timestamp: u1698710400, amount: u19792293750000 }
{ vesting-id: u14, vesting-timestamp: u1701302400, amount: u19792293750000 }
{ vesting-id: u15, vesting-timestamp: u1703980800, amount: u19792293750000 }
{ vesting-id: u16, vesting-timestamp: u1706659200, amount: u19792293750000 }
{ vesting-id: u17, vesting-timestamp: u1709164800, amount: u19792293750000 }
{ vesting-id: u18, vesting-timestamp: u1711843200, amount: u19792293750000 }
{ vesting-id: u19, vesting-timestamp: u1714435200, amount: u19792293750000 }
{ vesting-id: u20, vesting-timestamp: u1717113600, amount: u19792293750000 }
{ vesting-id: u21, vesting-timestamp: u1719705600, amount: u19792293750000 }
{ vesting-id: u22, vesting-timestamp: u1722384000, amount: u19792293750000 }
{ vesting-id: u23, vesting-timestamp: u1725062400, amount: u19792293750000 }
{ vesting-id: u24, vesting-timestamp: u1727654400, amount: u19792293750000 }
{ vesting-id: u25, vesting-timestamp: u1730332800, amount: u19792293750000 }
{ vesting-id: u26, vesting-timestamp: u1732924800, amount: u19792293750000 }
{ vesting-id: u27, vesting-timestamp: u1735603200, amount: u19792293750000 }
{ vesting-id: u28, vesting-timestamp: u1738281600, amount: u19792293750000 }
{ vesting-id: u29, vesting-timestamp: u1740700800, amount: u19792293750000 }
{ vesting-id: u30, vesting-timestamp: u1743379200, amount: u19792293750000 }
{ vesting-id: u31, vesting-timestamp: u1745971200, amount: u19792293750000 }
{ vesting-id: u32, vesting-timestamp: u1748649600, amount: u19792293750000 }
{ vesting-id: u33, vesting-timestamp: u1751241600, amount: u19792293750000 }
{ vesting-id: u34, vesting-timestamp: u1753920000, amount: u19792293750000 }
{ vesting-id: u35, vesting-timestamp: u1756598400, amount: u19792293750000 }
{ vesting-id: u36, vesting-timestamp: u1759190400, amount: u19792293750000 }
{ vesting-id: u37, vesting-timestamp: u1761868800, amount: u19792293750000 }
{ vesting-id: u38, vesting-timestamp: u1764460800, amount: u19792293750000 }
{ vesting-id: u39, vesting-timestamp: u1767139200, amount: u19792293750000 }
{ vesting-id: u40, vesting-timestamp: u1769817600, amount: u19792293750000 }
))
(define-public (execute (sender principal))
(let
(
(recipient-25 (try! (contract-call? .age009-token-lock set-recipient address-25 name-25)))
(recipient-26 (try! (contract-call? .age009-token-lock set-recipient address-26 name-26)))
(recipient-27 (try! (contract-call? .age009-token-lock set-recipient address-27 name-27)))
(recipient-28 (try! (contract-call? .age009-token-lock set-recipient address-28 name-28)))
(recipient-29 (try! (contract-call? .age009-token-lock set-recipient address-29 name-29)))
(recipient-30 (try! (contract-call? .age009-token-lock set-recipient address-30 name-30)))
(recipient-31 (try! (contract-call? .age009-token-lock set-recipient address-31 name-31)))
(recipient-32 (try! (contract-call? .age009-token-lock set-recipient address-32 name-32)))
(recipient-33 (try! (contract-call? .age009-token-lock set-recipient address-33 name-33)))
(vesting-25 (generate-schedule-many recipient-25 schedule-25))
(vesting-26 (generate-schedule-many recipient-26 schedule-26))
(vesting-27 (generate-schedule-many recipient-27 schedule-27))
(vesting-28 (generate-schedule-many recipient-28 schedule-28))
(vesting-29 (generate-schedule-many recipient-29 schedule-29))
(vesting-30 (generate-schedule-many recipient-30 schedule-30))
(vesting-31 (generate-schedule-many recipient-31 schedule-31))
(vesting-32 (generate-schedule-many recipient-32 schedule-32))
(vesting-33 (generate-schedule-many recipient-33 schedule-33))
)
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-25))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-26))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-27))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-28))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-29))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-30))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-31))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-32))
(unwrap-panic (contract-call? .age009-token-lock set-vesting-schedule-many vesting-33))
(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
)
)