Contract

SETCP0
(:methods
  recv_internal: 
    s0 PUSH
    SBITS
    39 GTINT
    <{
      32 LDU
      s0 s1 XCHG
      0 EQINT
      <{
        8 LDU
        s0 POP
        8 PUSHPOW2DEC
        NEQ
        <{
          0 THROW
        }> PUSHCONT
        IF
      }> PUSHCONT
      <{
        s0 POP
      }> PUSHCONT
      IFELSE
    }> PUSHCONT
    <{
      s0 POP
    }> PUSHCONT
    IFELSE
    CTOS
    4 PUSHINT
    SDSKIPFIRST
    LDMSGADDR
    s0 POP
    0 PUSHINT
    16 PUSHINT
    NEWC
    6 STU
    ROT
    STSLICER
    s1 PUSH
    STGRAMS
    107 STU
    PUSHSLICE
    STSLICER
    ENDC
    64 PUSHINT
    SENDRAWMSG

  get_public_key: 
    c4 PUSH
    CTOS
    64 LDU
    s1 POP
    256 PLDU

  seqno: 
    c4 PUSH
    CTOS
    32 PLDU

  recv_external: 
    9 PUSHPOW2
    LDSLICEX
    s0 PUSH
    32 LDU
    32 LDU
    32 LDU
    s0 s2 XCHG
    NOW
    LEQ
    35 THROWIF
    c4 PUSH
    CTOS
    32 LDU
    32 LDU
    256 LDU
    ENDS
    s3 s2 XCPU
    EQUAL
    33 THROWIFNOT
    s4 s4 XCPU
    EQUAL
    34 THROWIFNOT
    s0 s4 XCHG
    HASHSU
    0 5 5 XC2PU
    CHKSIGNU
    35 THROWIFNOT
    ACCEPT
    <{
      s0 PUSH
      SREFS
    }> PUSHCONT
    <{
      8 LDU
      LDREF
      s0 s2 XCHG
      SENDRAWMSG
    }> PUSHCONT
    WHILE
    s0 POP
    s0 s1 XCHG
    INC
    NEWC
    32 STU
    32 STU
    256 STU
    ENDC
    c4 POP
) 19 DICTPUSHCONST
DICTIGETJMPZ
11 THROWARG

te6cckEBCAEA9wABFP8A9KQT9LzyyAsBAgEgAgcCAUgDBADm0CDXScInjhPTHwHAAJrTBzCEB72S8gDekTDikTDi0HTXIfpAMHCAEMjLBVjPFiH6AstqjQ2AAAAAEZvciBwdXJjaGFzZXMgbmVlZCB0byBzZXQgY29tbWVudCBmb3IgdHJhbnNhY3Rpb24ugzxbJgED7AAIBSAUGABe7Oc7UTQ0z8x1wv/gAEbjJftRNDXCx+ACW8oMI1xgg0x/TH9MfAvgju/Jj7UTQ0x/TH9P/0VEyuvKhUUS68qIE+QFUEFX5EPKj+ACTINdKltMH1AL7AOgwAaTIyx/LH8v/ye1UfynRsw==

te6cckEBAQEAKgAAUAAAAjsHxhT8+Mn91B6nJzovpJ1g5XEqfGNFqPD2oVQw8MTu52NMHhh1O8Ln

x{FF00F4A413F4BCF2C80B}
 x{2_}
  x{4}
   x{D020D749C2278E13D31F01C0009AD307308407BD92F200DE9130E29130E2D074D721FA4030708010C8CB0558CF1621FA02CB6A8D0D80000000119BDC881C1D5C98DA185CD95CC81B995959081D1BC81CD95D0818DBDB5B595B9D08199BDC881D1C985B9CD858DD1A5BDB8BA0CF16C98040FB00}
   x{4}
    x{BB39CED44D0D33F31D70BFF}
    x{B8C97ED44D0D70B1F}
  x{F28308D71820D31FD31FD31F02F823BBF263ED44D0D31FD31FD3FFD15132BAF2A15144BAF2A204F901541055F910F2A3F8009320D74A96D307D402FB00E83001A4C8CB1FCB1FCBFFC9ED54}

x{0000023B07C614FCF8C9FDD41EA7273A2FA49D60E5712A7C6345A8F0F6A15430F0C4EEE7634C1E18}