baking-bad / tezos-on-tezos

Michelson VM and Tezos OS in Rust
MIT License
25 stars 1 forks source link

Run operation failed (Temple) #11

Closed m-kus closed 1 year ago

m-kus commented 1 year ago

Temple failed to estimate fees because the underlying call to run_operation failed.
When trying to originate a contract with the same code via Pytezos — everything is ok.

Error:

TezosProtocol error
Caused by: Interpreter error, Caused by: Parsing error, Cannot convert Sequence to a PrimitiveApplication (caused by tezos_michelson::Error)
Stacktrace:
   0: <core::result::Result<T,F> as core::ops::try_trait::FromResidual<core::result::Result<core::convert::Infallible,E>>>::from_residual.25018
   1: tokio::runtime::task::raw::poll
   2: tokio::runtime::task::UnownedTask<S>::run
   3: std::sys_common::backtrace::__rust_begin_short_backtrace
   4: core::ops::function::FnOnce::call_once{{vtable.shim}}
   5: <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once
             at ./rustc/9eb3afe9ebe9c7d2b84b71002d44f4a0edac95e0/library/alloc/src/boxed.rs:1988:9
   6: <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once
             at ./rustc/9eb3afe9ebe9c7d2b84b71002d44f4a0edac95e0/library/alloc/src/boxed.rs:1988:9
   7: std::sys::unix::thread::Thread::new::thread_start
             at ./rustc/9eb3afe9ebe9c7d2b84b71002d44f4a0edac95e0/library/std/src/sys/unix/thread.rs:108:17
   8: <unknown>

Payload:

{"operation":{"branch":"BMGK5hqUdRZ6PMNtHmiB4KLt8Sy9q1GNZZbGXoGaeTTwAUqhUwU","contents":[{"kind":"origination","fee":"0","gas_limit":"1040000","storage_limit":"60000","balance":"0","script":{"code":[[{"prim":"parameter","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"pair","annots":["%burn"],"args":[{"prim":"nat","annots":["%burnValue"]},{"prim":"address","annots":["%owner"]}]},{"prim":"pair","annots":["%mint"],"args":[{"prim":"address","annots":["%mintOwner"]},{"prim":"nat","annots":["%mintValue"]}]}]},{"prim":"or","args":[{"prim":"bool","annots":["%pause"]},{"prim":"address","annots":["%setAdmin"]}]}]},{"prim":"pair","annots":["%transfer"],"args":[{"prim":"pair","args":[{"prim":"address","annots":["%fromOwner"]},{"prim":"address","annots":["%toOwner"]}]},{"prim":"nat","annots":["%value"]}]}]}]},{"prim":"storage","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address","annots":["%admin"]},{"prim":"big_map","annots":["%balances"],"args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool","annots":["%paused"]},{"prim":"string","annots":["%shareType"]}]}]},{"prim":"nat","annots":["%totalSupply"]}]}]},{"prim":"code","args":[[{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"bool"},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CAR"}]]},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"3"}]}]]}]]},{"prim":"DUP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]},{"prim":"bool"},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DROP"}]]}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"bool"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DUP"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]}]]},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CDR"}]]},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DROP"}]]}]]},{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[set_admin] need admin privileges"}]},{"prim":"FAILWITH"}]]},{"prim":"DROP"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"5"}]}]]}]]},{"prim":"SWAP"},{"prim":"APPLY"},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"PAIR"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]},{"prim":"GET"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"SWAP"},{"prim":"IF_NONE","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DIP","args":[[{"prim":"DROP"}]]},{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]}]]},{"prim":"ADD"},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"DROP"}]]},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIP","args":[[{"prim":"DROP"}]]},{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"SOME"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]}]]},{"prim":"UPDATE"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CAR"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DIP","args":[{"int":"4"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]}]]},{"prim":"ADD"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CAR"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"DIP","args":[{"int":"4"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"7"}]}]]}]]},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"PAIR"}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]},{"prim":"bool"}]},{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"bool"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"}]]}]]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]}]]},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[mint] contract is paused"}]},{"prim":"FAILWITH"}],[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}]]},{"prim":"DROP"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"7"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"7"}]}]]},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[mint] need admin privileges"}]},{"prim":"FAILWITH"}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"SWAP"},{"prim":"COMPARE"},{"prim":"GT"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[mint] value must be positive"}]},{"prim":"FAILWITH"}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"7"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"7"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"}]]},{"prim":"DIP","args":[{"int":"4"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"10"}]}]]}]]},{"prim":"SWAP"},{"prim":"APPLY"},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"PAIR"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]},{"prim":"GET"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"SWAP"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[doBurn] unknown owner"}]},{"prim":"FAILWITH"}],[{"prim":"DUP"},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"6"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"6"}]}]]},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"7"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"7"}]}]]},{"prim":"SUB"},{"prim":"ABS"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"}]]},{"prim":"DIP","args":[{"int":"4"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[doBurn] not enough to burn"}]},{"prim":"FAILWITH"}]]},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"3"}]}]]}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"SOME"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]}]]},{"prim":"UPDATE"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CAR"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DIP","args":[{"int":"4"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]}]]},{"prim":"SUB"},{"prim":"ABS"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CAR"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"DIP","args":[{"int":"4"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"7"}]}]]}]]},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"PAIR"}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]},{"prim":"bool"}]},{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"bool"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"}]]}]]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]}]]},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[burn] contract is paused"}]},{"prim":"FAILWITH"}],[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}]]},{"prim":"DROP"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"7"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"7"}]}]]},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[burn] need admin privileges"}]},{"prim":"FAILWITH"}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"SWAP"},{"prim":"COMPARE"},{"prim":"GT"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[burn] value must be positive"}]},{"prim":"FAILWITH"}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"7"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"7"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"}]]},{"prim":"DIP","args":[{"int":"4"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"10"}]}]]}]]},{"prim":"SWAP"},{"prim":"APPLY"},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"PAIR"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"CAR"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CDR"},{"prim":"CDR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]},{"prim":"GET"},{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]},{"prim":"GET"},{"prim":"DUP"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[doTransfer] unknown owner"}]},{"prim":"FAILWITH"}],[{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]}]]},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"DIP","args":[{"int":"8"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"8"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"6"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"6"}]}]]},{"prim":"SUB"},{"prim":"ABS"},{"prim":"SOME"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]}]]},{"prim":"UPDATE"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CAR"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DIP","args":[{"int":"6"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"5"}]},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"IF_NONE","args":[[{"prim":"DIP","args":[{"int":"7"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"7"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"6"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"SOME"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]}]]},{"prim":"UPDATE"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CAR"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DIP","args":[{"int":"6"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"5"}]},{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"DIP","args":[{"int":"8"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"8"}]},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"7"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"7"}]}]]},{"prim":"ADD"},{"prim":"SOME"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"6"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"}]]}]]},{"prim":"UPDATE"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"6"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CAR"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DIP","args":[{"int":"7"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"6"}]},{"prim":"DROP"},{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}]]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[doTransfer] not enough to burn"}]},{"prim":"FAILWITH"}]]},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"2"}]}]]}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"8"}]}]]}]]},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"PAIR"}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]},{"prim":"bool"}]},{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"bool"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"}]]}]]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"CAR"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CDR"},{"prim":"CDR"},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"6"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"6"}]}]]},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[transfer] contract is paused"}]},{"prim":"FAILWITH"}],[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}]]},{"prim":"DROP"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"8"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"8"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"}]]},{"prim":"OR"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[transfer] need admin privileges or must be the sender"}]},{"prim":"FAILWITH"}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"SWAP"},{"prim":"COMPARE"},{"prim":"GT"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[transfer] value must be positive"}]},{"prim":"FAILWITH"}]]},{"prim":"DROP"},{"prim":"DIP","args":[{"int":"6"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]}]]},{"prim":"PAIR"}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"8"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"8"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"}]]},{"prim":"DIP","args":[{"int":"4"},[{"prim":"DROP"}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"11"}]}]]}]]},{"prim":"SWAP"},{"prim":"APPLY"},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"lambda","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},{"prim":"bool"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"string"}]}]},{"prim":"nat"}]}]},[{"prim":"DUP"},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DUP"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"3"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"3"}]}]]},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"IF","args":[[{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"CDR"}]]},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[[{"prim":"DROP"}]]}]]},{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]}],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"[pause] need admin privileges"}]},{"prim":"FAILWITH"}]]},{"prim":"DROP"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"5"}]}]]}]]},{"prim":"SWAP"},{"prim":"APPLY"},{"prim":"DIP","args":[{"int":"10"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"10"}]},{"prim":"CAR"},{"prim":"DIP","args":[{"int":"11"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"11"}]},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DUP"}]]},{"prim":"SWAP"},{"prim":"IF_LEFT","args":[[{"prim":"DUP"},{"prim":"IF_LEFT","args":[[{"prim":"DUP"},{"prim":"IF_LEFT","args":[[{"prim":"DUP"},{"prim":"DUP"},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CAR"}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"9"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"9"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"2"}]}]]}],[{"prim":"DUP"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CDR"}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"11"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"11"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"2"}]}]]}]]},{"prim":"DIP","args":[[{"prim":"DROP"}]]}],[{"prim":"DUP"},{"prim":"IF_LEFT","args":[[{"prim":"DUP"},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"6"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"6"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"2"}]}]]}],[{"prim":"DUP"},{"prim":"DUP"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"4"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"4"}]}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"13"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"13"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"2"}]}]]}]]},{"prim":"DIP","args":[[{"prim":"DROP"}]]}]]},{"prim":"DIP","args":[[{"prim":"DROP"}]]}],[{"prim":"DUP"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CAR"},{"prim":"CDR"}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DUP"},{"prim":"CDR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"2"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"2"}]}]]},{"prim":"PAIR"}]]},{"prim":"PAIR"},{"prim":"DIP","args":[[{"prim":"DIP","args":[{"int":"5"},[{"prim":"DUP"}]]},{"prim":"DIG","args":[{"int":"5"}]}]]},{"prim":"EXEC"},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"2"}]}]]}]]},{"prim":"DIP","args":[[{"prim":"DROP","args":[{"int":"13"}]}]]}]]}]],"storage":{"prim":"Pair","args":[{"prim":"Pair","args":[{"prim":"Pair","args":[{"string":"tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx"},[]]},{"prim":"Pair","args":[{"prim":"False"},{"string":"s"}]}]},{"int":"0"}]}},"source":"tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx","counter":"5"}],"signature":"edsigtkpiSSschcaCt9pUVrpNPf7TTcgvgDEDD6NCEHMy8NNQJCGnMfLZzYoQj74yLjo9wx6MPVV29CvVzgi7qEcEUok3k7AuMg"},"chain_id":"NetXRc5LThNqBfZ"}

The reason is most likely the extra curly brackets in the code: https://github.com/baking-bad/pytezos/blob/master/tests/unit_tests/test_contract/contracts/token.tz

Need to handle that on script parsing level.