Skip to content

Instantly share code, notes, and snippets.

@Legogris

Legogris/alethzero_contract_result

Last active January 13, 2016 14:29
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save Legogris/e025a66eca6becded4d1 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save Legogris/e025a66eca6becded4d1 to your computer and use it in GitHub Desktop.
Download ZIP
contract test
Raw
alethzero_contract_result
.code:
PUSH 1
PUSH 1ABF
MSTORE8
PUSH #[$00000000…00000000]
DUP1
PUSH [$00000000…00000000]
PUSH 0
CODECOPY
PUSH 0
RETURN
.data:
0:
.code:
PUSH 1E0
Code
PUSH1 0x1 PUSH2 0x1ABF MSTORE8 PUSH1 0x3 DUP1 PUSH1 0x11 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH2 0x1E0
Hex
6001611abf5360038060116000396000f36101e0
Raw
bank2.lll
(return 0
(lll
(with '__funid
(div (calldataload 0)
26959946667150639794667015087019630673637144422540572481103610249216
)
(seq
(unless (iszero (eq (get '__funid) 571255481))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(seq
(set 'retVal (get 'v1))
(seq
(set '_temp_32731 (get 'retVal))
(return (ref '_temp_32731) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 909226583))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(unless (iszero (eq (mload (get 'v1)) 0))
(seq
(set 'v2 (mload (add (get 'v1) 32)))
(set 'v3 (mload (add (get 'v1) 64)))
(set 'retVal (get 'v3))
(seq
(set '_temp_33251 (get 'retVal))
(return (ref '_temp_33251) 32)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 3664071643))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
)
(seq
(set 'v5
(with '_temp3358_arr (alloc 64)
(seq
(mstore (get '_temp3358_arr) 1)
(mstore (add (get '_temp3358_arr) 32) 0)
(add (get '_temp3358_arr) 32)
)
)
)
(set 'v6
(with '_temp3375_arr (alloc 64)
(seq
(mstore (get '_temp3375_arr) 1)
(mstore (add (get '_temp3375_arr) 32) 2)
(add (get '_temp3375_arr) 32)
)
)
)
(set 'retVal
(with '_temp3392_arr (alloc 128)
(seq
(mstore (get '_temp3392_arr) 3)
(mstore (add (get '_temp3392_arr) 32) 2)
(mstore (add (get '_temp3392_arr) 64) (get 'v5))
(mstore (add (get '_temp3392_arr) 96) (get 'v6))
(add (get '_temp3392_arr) 32)
)
)
)
(seq
(set '_temp_34171 (get 'retVal))
(return (ref '_temp_34171) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 4028906797))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(unless (iszero (eq (mload (get 'v1)) 0))
(seq
(set 'v2 (mload (add (get 'v1) 32)))
(set 'v3 (mload (add (get 'v1) 64)))
(set 'retVal (get 'v2))
(seq
(set '_temp_34691 (get 'retVal))
(return (ref '_temp_34691) 32)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 469609234))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
)
(seq
(set 'v4
(with '_temp3499_arr (alloc 64)
(seq
(mstore (get '_temp3499_arr) 1)
(mstore (add (get '_temp3499_arr) 32) 0)
(add (get '_temp3499_arr) 32)
)
)
)
(set 'v5
(with '_temp3516_arr (alloc 64)
(seq
(mstore (get '_temp3516_arr) 1)
(mstore (add (get '_temp3516_arr) 32) 0)
(add (get '_temp3516_arr) 32)
)
)
)
(set 'retVal
(with '_temp3533_arr (alloc 128)
(seq
(mstore (get '_temp3533_arr) 3)
(mstore (add (get '_temp3533_arr) 32) 2)
(mstore (add (get '_temp3533_arr) 64) (get 'v4))
(mstore (add (get '_temp3533_arr) 96) (get 'v5))
(add (get '_temp3533_arr) 32)
)
)
)
(seq
(set '_temp_35581 (get 'retVal))
(return (ref '_temp_35581) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 1697646642))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
)
(if (eq (mload (get 'v4)) 2)
(seq
(set 'v5 (mload (add (get 'v4) 32)))
(unless (iszero (eq (mload (get 'v3)) 1))
(seq
(set 'v6 (mload (add (get 'v3) 32)))
(set 'v7 (mload (add (get 'v3) 64)))
(set 'v8 (mload (add (get 'v3) 96)))
(set 'v9 0)
(set 'v10 0)
(set 'v11 0)
(set 'retVal
(with '_datastart (add (alloc 196) 28)
(seq
(mstore (sub (get '_datastart) 28) 1697646642)
(mstore (add (get '_datastart) 4) (get 'v9))
(mstore (add (get '_datastart) 36) (get 'v10))
(mstore (add (get '_datastart) 68) (get 'v11))
(mstore (add (get '_datastart) 100) (get 'v8))
(mstore (add (get '_datastart) 132) (get 'v5))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 164 (ref '_temp3652_dataout) 32)
)
(get '_temp3652_dataout)
)
)
)
)
(seq
(set '_temp_37041 (get 'retVal))
(return (ref '_temp_37041) 32)
)
)
)
)
(if (eq (mload (get 'v4)) 1)
(seq
(set 'v5 (mload (add (get 'v4) 32)))
(unless (iszero (eq (mload (get 'v3)) 1))
(seq
(set 'v6 (mload (add (get 'v3) 32)))
(set 'v7 (mload (add (get 'v3) 64)))
(set 'v8 (mload (add (get 'v3) 96)))
(set 'v9 0)
(set 'v10 0)
(set 'v11 0)
(set 'v9
(with '_datastart (add (alloc 196) 28)
(seq
(mstore (sub (get '_datastart) 28) 1697646642)
(mstore (add (get '_datastart) 4) (get 'v9))
(mstore (add (get '_datastart) 36) (get 'v10))
(mstore (add (get '_datastart) 68) (get 'v11))
(mstore (add (get '_datastart) 100) (get 'v8))
(mstore (add (get '_datastart) 132) (get 'v5))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 164 (ref '_temp3775_dataout) 32)
)
(get '_temp3775_dataout)
)
)
)
)
(set 'retVal
(with '_temp3829_arr (alloc 160)
(seq
(mstore (get '_temp3829_arr) 4)
(mstore (add (get '_temp3829_arr) 32) 1)
(mstore (add (get '_temp3829_arr) 64) (get 'v6))
(mstore (add (get '_temp3829_arr) 96) (get 'v7))
(mstore (add (get '_temp3829_arr) 128) (get 'v9))
(add (get '_temp3829_arr) 32)
)
)
)
(seq
(set '_temp_38591 (get 'retVal))
(return (ref '_temp_38591) 32)
)
)
)
)
(unless (iszero (eq (mload (get 'v4)) 0))
(seq
(set 'retVal
(with '_temp3881_arr (alloc 64)
(seq
(mstore (get '_temp3881_arr) 1)
(mstore (add (get '_temp3881_arr) 32) 0)
(add (get '_temp3881_arr) 32)
)
)
)
(seq
(set '_temp_38961 (get 'retVal))
(return (ref '_temp_38961) 32)
)
)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 847365384))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
(set 'v5 (calldataload 164))
(set 'v6 (calldataload 196))
(set 'v7 (calldataload 228))
)
(if (eq (mload (get 'v6)) 5)
(seq
(set 'v8 (mload (add (get 'v6) 32)))
(set 'v9 0)
(set 'v10 0)
(set 'v11 0)
(set 'v12 0)
(set 'v13 0)
(set 'v14 0)
(set 'v15 0)
(set 'v16 0)
(set 'v17 0)
(set 'v14
(with '_datastart (add (alloc 196) 28)
(seq
(mstore (sub (get '_datastart) 28) 2391904237)
(mstore (add (get '_datastart) 4) (get 'v14))
(mstore (add (get '_datastart) 36) (get 'v15))
(mstore (add (get '_datastart) 68) (get 'v16))
(mstore (add (get '_datastart) 100) (get 'v17))
(mstore (add (get '_datastart) 132) (get 'v5))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 164 (ref '_temp3974_dataout) 32)
)
(get '_temp3974_dataout)
)
)
)
)
(set 'v15
(with '_temp4028_arr (alloc 96)
(seq
(mstore (get '_temp4028_arr) 2)
(mstore (add (get '_temp4028_arr) 32) 65697)
(mstore (add (get '_temp4028_arr) 64) (get 'v7))
(add (get '_temp4028_arr) 32)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 292) 28)
(seq
(mstore (sub (get '_datastart) 28) 847365384)
(mstore (add (get '_datastart) 4) (get 'v9))
(mstore (add (get '_datastart) 36) (get 'v10))
(mstore (add (get '_datastart) 68) (get 'v11))
(mstore (add (get '_datastart) 100) (get 'v12))
(mstore (add (get '_datastart) 132) (get 'v13))
(mstore (add (get '_datastart) 164) (get 'v14))
(mstore (add (get '_datastart) 196) (get 'v8))
(mstore (add (get '_datastart) 228) (get 'v15))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 260 (ref '_temp4050_dataout) 32)
)
(get '_temp4050_dataout)
)
)
)
)
(seq
(set '_temp_41171 (get 'retVal))
(return (ref '_temp_41171) 32)
)
)
(if (eq (mload (get 'v6)) 2)
(seq
(set 'v8 (mload (add (get 'v6) 32)))
(set 'v9 (mload (add (get 'v6) 64)))
(set 'v10 0)
(set 'v11 0)
(set 'v12 0)
(set 'v13 0)
(set 'v14 0)
(set 'v15 0)
(set 'v16 0)
(set 'retVal
(with '_datastart (add (alloc 388) 28)
(seq
(mstore (sub (get '_datastart) 28) 262376678)
(mstore (add (get '_datastart) 4) (get 'v10))
(mstore (add (get '_datastart) 36) (get 'v11))
(mstore (add (get '_datastart) 68) (get 'v12))
(mstore (add (get '_datastart) 100) (get 'v13))
(mstore (add (get '_datastart) 132) (get 'v14))
(mstore (add (get '_datastart) 164) (get 'v15))
(mstore (add (get '_datastart) 196) (get 'v16))
(mstore (add (get '_datastart) 228) (get 'v5))
(mstore (add (get '_datastart) 260) (get 'v8))
(mstore (add (get '_datastart) 292) (get 'v9))
(mstore (add (get '_datastart) 324) (get 'v7))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 356 (ref '_temp4167_dataout) 32)
)
(get '_temp4167_dataout)
)
)
)
)
(seq
(set '_temp_42491 (get 'retVal))
(return (ref '_temp_42491) 32)
)
)
(if (eq (mload (get 'v6)) 1)
(seq
(set 'v8 (mload (add (get 'v6) 32)))
(set 'v9 (mload (add (get 'v6) 64)))
(set 'v10 0)
(set 'v11 0)
(set 'v12 0)
(set 'v13 0)
(set 'v14 0)
(set 'v15
(with '_temp4295_arr (alloc 128)
(seq
(mstore (get '_temp4295_arr) 3)
(mstore (add (get '_temp4295_arr) 32) 65699)
(mstore (add (get '_temp4295_arr) 64) (get 'v9))
(mstore (add (get '_temp4295_arr) 96) (get 'v7))
(add (get '_temp4295_arr) 32)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 292) 28)
(seq
(mstore (sub (get '_datastart) 28) 847365384)
(mstore (add (get '_datastart) 4) (get 'v10))
(mstore (add (get '_datastart) 36) (get 'v11))
(mstore (add (get '_datastart) 68) (get 'v12))
(mstore (add (get '_datastart) 100) (get 'v13))
(mstore (add (get '_datastart) 132) (get 'v14))
(mstore (add (get '_datastart) 164) (get 'v5))
(mstore (add (get '_datastart) 196) (get 'v8))
(mstore (add (get '_datastart) 228) (get 'v15))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 260 (ref '_temp4322_dataout) 32)
)
(get '_temp4322_dataout)
)
)
)
)
(seq
(set '_temp_43891 (get 'retVal))
(return (ref '_temp_43891) 32)
)
)
(if (eq (mload (get 'v6)) 3)
(seq
(set 'v8 (mload (add (get 'v6) 32)))
(set 'v9 (mload (add (get 'v6) 64)))
(set 'v10 0)
(set 'v11 0)
(set 'v12 0)
(set 'v13 0)
(set 'v14 0)
(set 'v15 0)
(set 'v16 0)
(set 'v17 0)
(set 'v15
(with '_datastart (add (alloc 196) 28)
(seq
(mstore (sub (get '_datastart) 28) 1697646642)
(mstore (add (get '_datastart) 4) (get 'v15))
(mstore (add (get '_datastart) 36) (get 'v16))
(mstore (add (get '_datastart) 68) (get 'v17))
(mstore (add (get '_datastart) 100) (get 'v5))
(mstore (add (get '_datastart) 132) (get 'v8))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 164 (ref '_temp4441_dataout) 32)
)
(get '_temp4441_dataout)
)
)
)
)
(set 'v16
(with '_temp4495_arr (alloc 160)
(seq
(mstore (get '_temp4495_arr) 4)
(mstore (add (get '_temp4495_arr) 32) 65701)
(mstore (add (get '_temp4495_arr) 64) (get 'v7))
(mstore (add (get '_temp4495_arr) 96) (get 'v8))
(mstore (add (get '_temp4495_arr) 128) (get 'v5))
(add (get '_temp4495_arr) 32)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 292) 28)
(seq
(mstore (sub (get '_datastart) 28) 847365384)
(mstore (add (get '_datastart) 4) (get 'v10))
(mstore (add (get '_datastart) 36) (get 'v11))
(mstore (add (get '_datastart) 68) (get 'v12))
(mstore (add (get '_datastart) 100) (get 'v13))
(mstore (add (get '_datastart) 132) (get 'v14))
(mstore (add (get '_datastart) 164) (get 'v15))
(mstore (add (get '_datastart) 196) (get 'v9))
(mstore (add (get '_datastart) 228) (get 'v16))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 260 (ref '_temp4527_dataout) 32)
)
(get '_temp4527_dataout)
)
)
)
)
(seq
(set '_temp_45941 (get 'retVal))
(return (ref '_temp_45941) 32)
)
)
(if (eq (mload (get 'v6)) 4)
(seq
(set 'v8 (mload (add (get 'v6) 32)))
(set 'v9 (mload (add (get 'v6) 64)))
(set 'v10 (mload (add (get 'v6) 96)))
(set 'v11 0)
(set 'v12 0)
(set 'v13 0)
(set 'v14 0)
(set 'v15 0)
(set 'v16
(with '_temp4648_arr (alloc 160)
(seq
(mstore (get '_temp4648_arr) 4)
(mstore (add (get '_temp4648_arr) 32) 1)
(mstore (add (get '_temp4648_arr) 64) (get 'v8))
(mstore (add (get '_temp4648_arr) 96) (get 'v9))
(mstore (add (get '_temp4648_arr) 128) (get 'v5))
(add (get '_temp4648_arr) 32)
)
)
)
(set 'v17
(with '_temp4680_arr (alloc 96)
(seq
(mstore (get '_temp4680_arr) 2)
(mstore (add (get '_temp4680_arr) 32) 65702)
(mstore (add (get '_temp4680_arr) 64) (get 'v7))
(add (get '_temp4680_arr) 32)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 292) 28)
(seq
(mstore (sub (get '_datastart) 28) 847365384)
(mstore (add (get '_datastart) 4) (get 'v11))
(mstore (add (get '_datastart) 36) (get 'v12))
(mstore (add (get '_datastart) 68) (get 'v13))
(mstore (add (get '_datastart) 100) (get 'v14))
(mstore (add (get '_datastart) 132) (get 'v15))
(mstore (add (get '_datastart) 164) (get 'v16))
(mstore (add (get '_datastart) 196) (get 'v10))
(mstore (add (get '_datastart) 228) (get 'v17))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 260 (ref '_temp4702_dataout) 32)
)
(get '_temp4702_dataout)
)
)
)
)
(seq
(set '_temp_47691 (get 'retVal))
(return (ref '_temp_47691) 32)
)
)
(unless (iszero (eq (mload (get 'v6)) 0))
(seq
(set 'v8 (mload (add (get 'v6) 32)))
(set 'v9
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v7))
(mstore (add (get '_datastart) 36) (get 'v8))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp4799_dataout) 32)
)
(get '_temp4799_dataout)
)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v9))
(mstore (add (get '_datastart) 36) (get 'v5))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp4838_dataout) 32)
)
(get '_temp4838_dataout)
)
)
)
)
(seq
(set '_temp_48751 (get 'retVal))
(return (ref '_temp_48751) 32)
)
)
)
)
)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 262376678))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
(set 'v5 (calldataload 164))
(set 'v6 (calldataload 196))
(set 'v7 (calldataload 228))
(set 'v8 (calldataload 260))
(set 'v9 (calldataload 292))
(set 'v10 (calldataload 324))
)
(if (eq (mload (get 'v8)) 0)
(unless (iszero (eq (mload (get 'v7)) 1))
(seq
(set 'v11 (mload (add (get 'v7) 32)))
(set 'v12 (mload (add (get 'v7) 64)))
(set 'v13 (mload (add (get 'v7) 96)))
(set 'v14 0)
(set 'v15 0)
(set 'v16 0)
(set 'v17 0)
(set 'v18 0)
(set 'v19 0)
(set 'v14
(with '_datastart (add (alloc 260) 28)
(seq
(mstore (sub (get '_datastart) 28) 2662049567)
(mstore (add (get '_datastart) 4) (get 'v14))
(mstore (add (get '_datastart) 36) (get 'v15))
(mstore (add (get '_datastart) 68) (get 'v16))
(mstore (add (get '_datastart) 100) (get 'v17))
(mstore (add (get '_datastart) 132) (get 'v18))
(mstore (add (get '_datastart) 164) (get 'v19))
(mstore (add (get '_datastart) 196) (get 'v11))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 228 (ref '_temp4984_dataout) 32)
)
(get '_temp4984_dataout)
)
)
)
)
(set 'v14
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v14))
(mstore (add (get '_datastart) 36) (get 'v12))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp5048_dataout) 32)
)
(get '_temp5048_dataout)
)
)
)
)
(set 'v14
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v14))
(mstore (add (get '_datastart) 36) (get 'v9))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp5087_dataout) 32)
)
(get '_temp5087_dataout)
)
)
)
)
(set 'v15
(with '_temp5126_arr (alloc 160)
(seq
(mstore (get '_temp5126_arr) 4)
(mstore (add (get '_temp5126_arr) 32) 65704)
(mstore (add (get '_temp5126_arr) 64) (get 'v10))
(mstore (add (get '_temp5126_arr) 96) (get 'v11))
(mstore (add (get '_temp5126_arr) 128) (get 'v13))
(add (get '_temp5126_arr) 32)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v14))
(mstore (add (get '_datastart) 36) (get 'v15))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp5158_dataout) 32)
)
(get '_temp5158_dataout)
)
)
)
)
(seq
(set '_temp_51951 (get 'retVal))
(return (ref '_temp_51951) 32)
)
)
)
(unless (iszero (eq (mload (get 'v8)) 1))
(seq
(set 'v11 (mload (add (get 'v8) 32)))
(unless (iszero (eq (mload (get 'v7)) 1))
(seq
(set 'v12 (mload (add (get 'v7) 32)))
(set 'v13 (mload (add (get 'v7) 64)))
(set 'v14 (mload (add (get 'v7) 96)))
(set 'v15 0)
(set 'v16 0)
(set 'v17 0)
(set 'v18 0)
(set 'v19 0)
(set 'v20 0)
(set 'v21 0)
(set 'v22
(with '_temp5276_arr (alloc 160)
(seq
(mstore (get '_temp5276_arr) 4)
(mstore (add (get '_temp5276_arr) 32) 65706)
(mstore (add (get '_temp5276_arr) 64) (get 'v10))
(mstore (add (get '_temp5276_arr) 96) (get 'v12))
(mstore (add (get '_temp5276_arr) 128) (get 'v13))
(add (get '_temp5276_arr) 32)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 388) 28)
(seq
(mstore (sub (get '_datastart) 28) 262376678)
(mstore (add (get '_datastart) 4) (get 'v15))
(mstore (add (get '_datastart) 36) (get 'v16))
(mstore (add (get '_datastart) 68) (get 'v17))
(mstore (add (get '_datastart) 100) (get 'v18))
(mstore (add (get '_datastart) 132) (get 'v19))
(mstore (add (get '_datastart) 164) (get 'v20))
(mstore (add (get '_datastart) 196) (get 'v21))
(mstore (add (get '_datastart) 228) (get 'v14))
(mstore (add (get '_datastart) 260) (get 'v11))
(mstore (add (get '_datastart) 292) (get 'v9))
(mstore (add (get '_datastart) 324) (get 'v22))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 356 (ref '_temp5308_dataout) 32)
)
(get '_temp5308_dataout)
)
)
)
)
(seq
(set '_temp_53901 (get 'retVal))
(return (ref '_temp_53901) 32)
)
)
)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 2662049567))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
(set 'v5 (calldataload 164))
(set 'v6 (calldataload 196))
)
(seq
(set 'v7
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v6))
(mstore (add (get '_datastart) 36) (get 'v2))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp5429_dataout) 32)
)
(get '_temp5429_dataout)
)
)
)
)
(set 'v7
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v7))
(mstore (add (get '_datastart) 36) (get 'v3))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp5468_dataout) 32)
)
(get '_temp5468_dataout)
)
)
)
)
(set 'v7
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v7))
(mstore (add (get '_datastart) 36) (get 'v4))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp5507_dataout) 32)
)
(get '_temp5507_dataout)
)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v7))
(mstore (add (get '_datastart) 36) (get 'v5))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp5546_dataout) 32)
)
(get '_temp5546_dataout)
)
)
)
)
(seq
(set '_temp_55831 (get 'retVal))
(return (ref '_temp_55831) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 1544381383))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
)
(seq
(set 'retVal
(with '_temp5613_arr (alloc 64)
(seq
(mstore (get '_temp5613_arr) 1)
(mstore (add (get '_temp5613_arr) 32) 0)
(add (get '_temp5613_arr) 32)
)
)
)
(seq
(set '_temp_56281 (get 'retVal))
(return (ref '_temp_56281) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 321049300))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
)
(seq
(set 'retVal
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v2))
(mstore (add (get '_datastart) 36) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp5655_dataout) 32)
)
(get '_temp5655_dataout)
)
)
)
)
(seq
(set '_temp_56921 (get 'retVal))
(return (ref '_temp_56921) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 2614655971))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
(set 'v5 (calldataload 164))
(set 'v6 (calldataload 196))
)
(if (eq (mload (get 'v5)) 2)
(seq
(set 'v7 (mload (add (get 'v5) 32)))
(unless (iszero (eq (mload (get 'v6)) 1))
(seq
(set 'v8 (mload (add (get 'v6) 32)))
(set 'v9 (mload (add (get 'v6) 64)))
(set 'v10 (mload (add (get 'v6) 96)))
(set 'v11 0)
(set 'v12 0)
(set 'v13 0)
(set 'v14 0)
(set 'v11
(with '_datastart (add (alloc 260) 28)
(seq
(mstore (sub (get '_datastart) 28) 2614655971)
(mstore (add (get '_datastart) 4) (get 'v11))
(mstore (add (get '_datastart) 36) (get 'v12))
(mstore (add (get '_datastart) 68) (get 'v13))
(mstore (add (get '_datastart) 100) (get 'v14))
(mstore (add (get '_datastart) 132) (get 'v4))
(mstore (add (get '_datastart) 164) (get 'v7))
(mstore (add (get '_datastart) 196) (get 'v10))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 228 (ref '_temp5794_dataout) 32)
)
(get '_temp5794_dataout)
)
)
)
)
(set 'retVal
(with '_temp5858_arr (alloc 160)
(seq
(mstore (get '_temp5858_arr) 4)
(mstore (add (get '_temp5858_arr) 32) 1)
(mstore (add (get '_temp5858_arr) 64) (get 'v8))
(mstore (add (get '_temp5858_arr) 96) (get 'v9))
(mstore (add (get '_temp5858_arr) 128) (get 'v11))
(add (get '_temp5858_arr) 32)
)
)
)
(seq
(set '_temp_58881 (get 'retVal))
(return (ref '_temp_58881) 32)
)
)
)
)
(if (eq (mload (get 'v5)) 1)
(seq
(set 'v7 (mload (add (get 'v5) 32)))
(if (eq (mload (get 'v4)) 1)
(seq
(set 'v8 (mload (add (get 'v4) 32)))
(set 'v9 (mload (add (get 'v4) 64)))
(set 'v10 (mload (add (get 'v4) 96)))
(unless (iszero (eq (mload (get 'v6)) 1))
(seq
(set 'v11 (mload (add (get 'v6) 32)))
(set 'v12 (mload (add (get 'v6) 64)))
(set 'v13 (mload (add (get 'v6) 96)))
(set 'v14 0)
(set 'v15 0)
(set 'v16 0)
(set 'v17 0)
(set 'v14
(with '_datastart (add (alloc 260) 28)
(seq
(mstore (sub (get '_datastart) 28) 2614655971)
(mstore (add (get '_datastart) 4) (get 'v14))
(mstore (add (get '_datastart) 36) (get 'v15))
(mstore (add (get '_datastart) 68) (get 'v16))
(mstore (add (get '_datastart) 100) (get 'v17))
(mstore (add (get '_datastart) 132) (get 'v10))
(mstore (add (get '_datastart) 164) (get 'v7))
(mstore (add (get '_datastart) 196) (get 'v13))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 228 (ref '_temp5996_dataout) 32)
)
(get '_temp5996_dataout)
)
)
)
)
(set 'retVal
(with '_temp6060_arr (alloc 160)
(seq
(mstore (get '_temp6060_arr) 4)
(mstore (add (get '_temp6060_arr) 32) 1)
(mstore (add (get '_temp6060_arr) 64) (get 'v8))
(mstore (add (get '_temp6060_arr) 96) (get 'v9))
(mstore (add (get '_temp6060_arr) 128) (get 'v14))
(add (get '_temp6060_arr) 32)
)
)
)
(seq
(set '_temp_60901 (get 'retVal))
(return (ref '_temp_60901) 32)
)
)
)
)
(unless (iszero (eq (mload (get 'v4)) 0))
(seq
(set 'retVal
(with '_temp6112_arr (alloc 64)
(seq
(mstore (get '_temp6112_arr) 1)
(mstore (add (get '_temp6112_arr) 32) 0)
(add (get '_temp6112_arr) 32)
)
)
)
(seq
(set '_temp_61271 (get 'retVal))
(return (ref '_temp_61271) 32)
)
)
)
)
)
(unless (iszero (eq (mload (get 'v5)) 0))
(if (eq (mload (get 'v4)) 1)
(seq
(set 'v7 (mload (add (get 'v4) 32)))
(set 'v8 (mload (add (get 'v4) 64)))
(set 'v9 (mload (add (get 'v4) 96)))
(set 'retVal
(with '_temp6183_arr (alloc 160)
(seq
(mstore (get '_temp6183_arr) 4)
(mstore (add (get '_temp6183_arr) 32) 1)
(mstore (add (get '_temp6183_arr) 64) (get 'v7))
(mstore (add (get '_temp6183_arr) 96) (get 'v8))
(mstore (add (get '_temp6183_arr) 128) (get 'v9))
(add (get '_temp6183_arr) 32)
)
)
)
(seq
(set '_temp_62131 (get 'retVal))
(return (ref '_temp_62131) 32)
)
)
(unless (iszero (eq (mload (get 'v4)) 0))
(seq
(set 'retVal (get 'v6))
(seq
(set '_temp_62351 (get 'retVal))
(return (ref '_temp_62351) 32)
)
)
)
)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 4207136621))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
)
(if (eq (mload (get 'v4)) 1)
(seq
(set 'v5 (mload (add (get 'v4) 32)))
(set 'v6 (mload (add (get 'v4) 64)))
(set 'v7 (mload (add (get 'v4) 96)))
(set 'v8 0)
(set 'v9 0)
(set 'v10 0)
(set 'v11 0)
(set 'v8
(with '_datastart (add (alloc 196) 28)
(seq
(mstore (sub (get '_datastart) 28) 4207136621)
(mstore (add (get '_datastart) 4) (get 'v8))
(mstore (add (get '_datastart) 36) (get 'v9))
(mstore (add (get '_datastart) 68) (get 'v10))
(mstore (add (get '_datastart) 100) (get 'v11))
(mstore (add (get '_datastart) 132) (get 'v7))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 164 (ref '_temp6310_dataout) 32)
)
(get '_temp6310_dataout)
)
)
)
)
(set 'retVal
(with '_temp6364_arr (alloc 160)
(seq
(mstore (get '_temp6364_arr) 4)
(mstore (add (get '_temp6364_arr) 32) 1)
(mstore (add (get '_temp6364_arr) 64) (get 'v5))
(mstore (add (get '_temp6364_arr) 96) (get 'v6))
(mstore (add (get '_temp6364_arr) 128) (get 'v8))
(add (get '_temp6364_arr) 32)
)
)
)
(seq
(set '_temp_63941 (get 'retVal))
(return (ref '_temp_63941) 32)
)
)
(unless (iszero (eq (mload (get 'v4)) 0))
(seq
(set 'retVal
(with '_temp6416_arr (alloc 64)
(seq
(mstore (get '_temp6416_arr) 1)
(mstore (add (get '_temp6416_arr) 32) 0)
(add (get '_temp6416_arr) 32)
)
)
)
(seq
(set '_temp_64311 (get 'retVal))
(return (ref '_temp_64311) 32)
)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 2836669155))
(seq
(set 'v0 (calldataload 4))
(seq
(set 'v1 0)
(set 'v2 0)
(set 'v3 0)
(set 'v4 0)
(set 'v5
(with '_temp6460_arr (alloc 64)
(seq
(mstore (get '_temp6460_arr) 1)
(mstore (add (get '_temp6460_arr) 32) 65678)
(add (get '_temp6460_arr) 32)
)
)
)
(set 'v6
(with '_temp6477_arr (alloc 64)
(seq
(mstore (get '_temp6477_arr) 1)
(mstore (add (get '_temp6477_arr) 32) 65685)
(add (get '_temp6477_arr) 32)
)
)
)
(set 'v7
(with '_temp6494_arr (alloc 64)
(seq
(mstore (get '_temp6494_arr) 1)
(mstore (add (get '_temp6494_arr) 32) 0)
(add (get '_temp6494_arr) 32)
)
)
)
(set 'v6
(with '_temp6511_arr (alloc 160)
(seq
(mstore (get '_temp6511_arr) 4)
(mstore (add (get '_temp6511_arr) 32) 1)
(mstore (add (get '_temp6511_arr) 64) (get 'v6))
(mstore (add (get '_temp6511_arr) 96) (get 'v0))
(mstore (add (get '_temp6511_arr) 128) (get 'v7))
(add (get '_temp6511_arr) 32)
)
)
)
(set 'v7 0)
(set 'v8 0)
(set 'v9 0)
(set 'v10 0)
(set 'v11 0)
(set 'v7 0)
(set 'retVal
(with '_datastart (add (alloc 260) 28)
(seq
(mstore (sub (get '_datastart) 28) 1866352320)
(mstore (add (get '_datastart) 4) (get 'v1))
(mstore (add (get '_datastart) 36) (get 'v2))
(mstore (add (get '_datastart) 68) (get 'v3))
(mstore (add (get '_datastart) 100) (get 'v4))
(mstore (add (get '_datastart) 132) (get 'v5))
(mstore (add (get '_datastart) 164) (get 'v6))
(mstore (add (get '_datastart) 196) (get 'v7))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 228 (ref '_temp6555_dataout) 32)
)
(get '_temp6555_dataout)
)
)
)
)
(seq
(set '_temp_66171 (get 'retVal))
(return (ref '_temp_66171) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 1866352320))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
(set 'v5 (calldataload 164))
(set 'v6 (calldataload 196))
)
(seq
(set 'v7 0)
(set 'v8 0)
(set 'v9 0)
(set 'v10 0)
(set 'v11 0)
(set 'v12
(with '_temp6666_arr (alloc 96)
(seq
(mstore (get '_temp6666_arr) 2)
(mstore (add (get '_temp6666_arr) 32) 65708)
(mstore (add (get '_temp6666_arr) 64) (get 'v4))
(add (get '_temp6666_arr) 32)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 292) 28)
(seq
(mstore (sub (get '_datastart) 28) 847365384)
(mstore (add (get '_datastart) 4) (get 'v7))
(mstore (add (get '_datastart) 36) (get 'v8))
(mstore (add (get '_datastart) 68) (get 'v9))
(mstore (add (get '_datastart) 100) (get 'v10))
(mstore (add (get '_datastart) 132) (get 'v11))
(mstore (add (get '_datastart) 164) (get 'v5))
(mstore (add (get '_datastart) 196) (get 'v6))
(mstore (add (get '_datastart) 228) (get 'v12))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 260 (ref '_temp6688_dataout) 32)
)
(get '_temp6688_dataout)
)
)
)
)
(seq
(set '_temp_67551 (get 'retVal))
(return (ref '_temp_67551) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 2145188036))
(seq
(set '_temp_67691 10)
(return (ref '_temp_67691) 32)
)
)
(unless (iszero (eq (get '__funid) 743213200))
(seq
(set 'v0 (calldataload 4))
(seq
(set 'v1 0)
(set 'v2 0)
(set 'v3 0)
(set 'v4 0)
(set 'v5
(with '_temp6798_arr (alloc 64)
(seq
(mstore (get '_temp6798_arr) 1)
(mstore (add (get '_temp6798_arr) 32) 65687)
(add (get '_temp6798_arr) 32)
)
)
)
(set 'v6
(with '_temp6815_arr (alloc 64)
(seq
(mstore (get '_temp6815_arr) 1)
(mstore (add (get '_temp6815_arr) 32) 65694)
(add (get '_temp6815_arr) 32)
)
)
)
(set 'v7 0)
(set 'v8
(with '_temp6834_arr (alloc 64)
(seq
(mstore (get '_temp6834_arr) 1)
(mstore (add (get '_temp6834_arr) 32) 0)
(add (get '_temp6834_arr) 32)
)
)
)
(set 'v6
(with '_temp6851_arr (alloc 160)
(seq
(mstore (get '_temp6851_arr) 4)
(mstore (add (get '_temp6851_arr) 32) 1)
(mstore (add (get '_temp6851_arr) 64) (get 'v6))
(mstore (add (get '_temp6851_arr) 96) (get 'v7))
(mstore (add (get '_temp6851_arr) 128) (get 'v8))
(add (get '_temp6851_arr) 32)
)
)
)
(set 'v7 0)
(set 'v7
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 4181925414)
(mstore (add (get '_datastart) 4) (get 'v0))
(mstore (add (get '_datastart) 36) (get 'v7))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp6885_dataout) 32)
)
(get '_temp6885_dataout)
)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 260) 28)
(seq
(mstore (sub (get '_datastart) 28) 1866352320)
(mstore (add (get '_datastart) 4) (get 'v1))
(mstore (add (get '_datastart) 36) (get 'v2))
(mstore (add (get '_datastart) 68) (get 'v3))
(mstore (add (get '_datastart) 100) (get 'v4))
(mstore (add (get '_datastart) 132) (get 'v5))
(mstore (add (get '_datastart) 164) (get 'v6))
(mstore (add (get '_datastart) 196) (get 'v7))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 228 (ref '_temp6924_dataout) 32)
)
(get '_temp6924_dataout)
)
)
)
)
(seq
(set '_temp_69861 (get 'retVal))
(return (ref '_temp_69861) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 4273813918))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
)
(seq
(set 'v5
(with '_temp7019_arr (alloc 64)
(seq
(mstore (get '_temp7019_arr) 1)
(mstore (add (get '_temp7019_arr) 32) 0)
(add (get '_temp7019_arr) 32)
)
)
)
(set 'v6
(with '_temp7036_arr (alloc 64)
(seq
(mstore (get '_temp7036_arr) 1)
(mstore (add (get '_temp7036_arr) 32) 4)
(add (get '_temp7036_arr) 32)
)
)
)
(set 'retVal
(with '_temp7053_arr (alloc 128)
(seq
(mstore (get '_temp7053_arr) 3)
(mstore (add (get '_temp7053_arr) 32) 2)
(mstore (add (get '_temp7053_arr) 64) (get 'v5))
(mstore (add (get '_temp7053_arr) 96) (get 'v6))
(add (get '_temp7053_arr) 32)
)
)
)
(seq
(set '_temp_70781 (get 'retVal))
(return (ref '_temp_70781) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 2638278941))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
(set 'v5 (calldataload 164))
)
(seq
(set 'v6
(with '_temp7114_arr (alloc 64)
(seq
(mstore (get '_temp7114_arr) 1)
(mstore (add (get '_temp7114_arr) 32) 0)
(add (get '_temp7114_arr) 32)
)
)
)
(set 'v7
(with '_temp7131_arr (alloc 64)
(seq
(mstore (get '_temp7131_arr) 1)
(mstore (add (get '_temp7131_arr) 32) 5)
(add (get '_temp7131_arr) 32)
)
)
)
(set 'retVal
(with '_temp7148_arr (alloc 128)
(seq
(mstore (get '_temp7148_arr) 3)
(mstore (add (get '_temp7148_arr) 32) 2)
(mstore (add (get '_temp7148_arr) 64) (get 'v6))
(mstore (add (get '_temp7148_arr) 96) (get 'v7))
(add (get '_temp7148_arr) 32)
)
)
)
(seq
(set '_temp_71731 (get 'retVal))
(return (ref '_temp_71731) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 3830449955))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
)
(seq
(set 'v4
(with '_temp7203_arr (alloc 64)
(seq
(mstore (get '_temp7203_arr) 1)
(mstore (add (get '_temp7203_arr) 32) 0)
(add (get '_temp7203_arr) 32)
)
)
)
(set 'v5
(with '_temp7220_arr (alloc 64)
(seq
(mstore (get '_temp7220_arr) 1)
(mstore (add (get '_temp7220_arr) 32) 3)
(add (get '_temp7220_arr) 32)
)
)
)
(set 'retVal
(with '_temp7237_arr (alloc 128)
(seq
(mstore (get '_temp7237_arr) 3)
(mstore (add (get '_temp7237_arr) 32) 2)
(mstore (add (get '_temp7237_arr) 64) (get 'v4))
(mstore (add (get '_temp7237_arr) 96) (get 'v5))
(add (get '_temp7237_arr) 32)
)
)
)
(seq
(set '_temp_72621 (get 'retVal))
(return (ref '_temp_72621) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 2391904237))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
)
(unless (iszero (eq (mload (get 'v4)) 1))
(seq
(set 'v5 (mload (add (get 'v4) 32)))
(set 'v6 (mload (add (get 'v4) 64)))
(set 'v7 (mload (add (get 'v4) 96)))
(set 'v8
(with '_temp7331_arr (alloc 64)
(seq
(mstore (get '_temp7331_arr) 1)
(mstore (add (get '_temp7331_arr) 32) 0)
(add (get '_temp7331_arr) 32)
)
)
)
(set 'retVal
(with '_temp7348_arr (alloc 160)
(seq
(mstore (get '_temp7348_arr) 4)
(mstore (add (get '_temp7348_arr) 32) 1)
(mstore (add (get '_temp7348_arr) 64) (get 'v5))
(mstore (add (get '_temp7348_arr) 96) (get 'v6))
(mstore (add (get '_temp7348_arr) 128) (get 'v8))
(add (get '_temp7348_arr) 32)
)
)
)
(seq
(set '_temp_73781 (get 'retVal))
(return (ref '_temp_73781) 32)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 4181925414))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(seq
(set 'v2 0)
(set 'v3 0)
(set 'v4 0)
(set 'v2 (caller))
(set 'v3
(with '_temp7411_arr (alloc 128)
(seq
(mstore (get '_temp7411_arr) 3)
(mstore (add (get '_temp7411_arr) 32) 65676)
(mstore (add (get '_temp7411_arr) 64) (get 'v1))
(mstore (add (get '_temp7411_arr) 96) (get 'v0))
(add (get '_temp7411_arr) 32)
)
)
)
(set 'retVal
(with '_temp7438_arr (alloc 128)
(seq
(mstore (get '_temp7438_arr) 3)
(mstore (add (get '_temp7438_arr) 32) 1)
(mstore (add (get '_temp7438_arr) 64) (get 'v2))
(mstore (add (get '_temp7438_arr) 96) (get 'v3))
(add (get '_temp7438_arr) 32)
)
)
)
(seq
(set '_temp_74631 (get 'retVal))
(return (ref '_temp_74631) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 4293811148))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(if (eq (mload (get 'v0)) 0)
(seq
(set 'retVal
(with '_datastart (add (alloc 68) 28)
(seq
(mstore (sub (get '_datastart) 28) 1745294690)
(mstore (add (get '_datastart) 4) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 36 (ref '_temp7497_dataout) 32)
)
(get '_temp7497_dataout)
)
)
)
)
(seq
(set '_temp_75291 (get 'retVal))
(return (ref '_temp_75291) 32)
)
)
(unless (iszero (eq (mload (get 'v0)) 1))
(seq
(set 'retVal
(with '_temp7551_arr (alloc 64)
(seq
(mstore (get '_temp7551_arr) 1)
(mstore (add (get '_temp7551_arr) 32) 1)
(add (get '_temp7551_arr) 32)
)
)
)
(seq
(set '_temp_75661 (get 'retVal))
(return (ref '_temp_75661) 32)
)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 3763762923))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(if (eq (mload (get 'v0)) 65672)
(seq
(set 'retVal
(with '_datastart (add (alloc 68) 28)
(seq
(mstore (sub (get '_datastart) 28) 3886167626)
(mstore (add (get '_datastart) 4) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 36 (ref '_temp7600_dataout) 32)
)
(get '_temp7600_dataout)
)
)
)
)
(seq
(set '_temp_76321 (get 'retVal))
(return (ref '_temp_76321) 32)
)
)
(if (eq (mload (get 'v0)) 65673)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_76601 (get 'retVal))
(return (ref '_temp_76601) 32)
)
)
(if (eq (mload (get 'v0)) 65674)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'retVal 0)
(seq
(set '_temp_77041 (get 'retVal))
(return (ref '_temp_77041) 32)
)
)
(if (eq (mload (get 'v0)) 65675)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'retVal 0)
(seq
(set '_temp_77481 (get 'retVal))
(return (ref '_temp_77481) 32)
)
)
(if (eq (mload (get 'v0)) 65676)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'retVal 0)
(seq
(set '_temp_77841 (get 'retVal))
(return (ref '_temp_77841) 32)
)
)
(if (eq (mload (get 'v0)) 65677)
(seq
(set 'retVal 0)
(seq
(set '_temp_78041 (get 'retVal))
(return (ref '_temp_78041) 32)
)
)
(if (eq (mload (get 'v0)) 65678)
(seq
(set 'retVal 0)
(seq
(set '_temp_78241 (get 'retVal))
(return (ref '_temp_78241) 32)
)
)
(if (eq (mload (get 'v0)) 65679)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'retVal 0)
(seq
(set '_temp_78601 (get 'retVal))
(return (ref '_temp_78601) 32)
)
)
(if (eq (mload (get 'v0)) 65680)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_78881 (get 'retVal))
(return (ref '_temp_78881) 32)
)
)
(if (eq (mload (get 'v0)) 65681)
(seq
(set 'retVal 0)
(seq
(set '_temp_79081 (get 'retVal))
(return (ref '_temp_79081) 32)
)
)
(if (eq (mload (get 'v0)) 65682)
(seq
(set 'retVal 0)
(seq
(set '_temp_79281 (get 'retVal))
(return (ref '_temp_79281) 32)
)
)
(if (eq (mload (get 'v0)) 65683)
(seq
(set 'retVal 0)
(seq
(set '_temp_79481 (get 'retVal))
(return (ref '_temp_79481) 32)
)
)
(if (eq (mload (get 'v0)) 65684)
(seq
(set 'retVal 0)
(seq
(set '_temp_79681 (get 'retVal))
(return (ref '_temp_79681) 32)
)
)
(if (eq (mload (get 'v0)) 65685)
(seq
(set 'retVal 0)
(seq
(set '_temp_79881 (get 'retVal))
(return (ref '_temp_79881) 32)
)
)
(if (eq (mload (get 'v0)) 65686)
(seq
(set 'retVal
(with '_datastart (add (alloc 68) 28)
(seq
(mstore (sub (get '_datastart) 28) 2201185919)
(mstore (add (get '_datastart) 4) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 36 (ref '_temp8008_dataout) 32)
)
(get '_temp8008_dataout)
)
)
)
)
(seq
(set '_temp_80401 (get 'retVal))
(return (ref '_temp_80401) 32)
)
)
(if (eq (mload (get 'v0)) 65687)
(seq
(set 'retVal 0)
(seq
(set '_temp_80601 (get 'retVal))
(return (ref '_temp_80601) 32)
)
)
(if (eq (mload (get 'v0)) 65688)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'retVal 0)
(seq
(set '_temp_80961 (get 'retVal))
(return (ref '_temp_80961) 32)
)
)
(if (eq (mload (get 'v0)) 65689)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_81241 (get 'retVal))
(return (ref '_temp_81241) 32)
)
)
(if (eq (mload (get 'v0)) 65690)
(seq
(set 'retVal 0)
(seq
(set '_temp_81441 (get 'retVal))
(return (ref '_temp_81441) 32)
)
)
(if (eq (mload (get 'v0)) 65691)
(seq
(set 'retVal 0)
(seq
(set '_temp_81641 (get 'retVal))
(return (ref '_temp_81641) 32)
)
)
(if (eq (mload (get 'v0)) 65692)
(seq
(set 'retVal 0)
(seq
(set '_temp_81841 (get 'retVal))
(return (ref '_temp_81841) 32)
)
)
(if (eq (mload (get 'v0)) 65693)
(seq
(set 'retVal 0)
(seq
(set '_temp_82041 (get 'retVal))
(return (ref '_temp_82041) 32)
)
)
(if (eq (mload (get 'v0)) 65694)
(seq
(set 'retVal 0)
(seq
(set '_temp_82241 (get 'retVal))
(return (ref '_temp_82241) 32)
)
)
(if (eq (mload (get 'v0)) 65695)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'v5 (mload (add (get 'v0) 128)))
(set 'v6 (mload (add (get 'v0) 160)))
(set 'v7 (mload (add (get 'v0) 192)))
(set 'v8 (mload (add (get 'v0) 224)))
(set 'v9 (mload (add (get 'v0) 256)))
(set 'v10 (mload (add (get 'v0) 288)))
(set 'v11 (mload (add (get 'v0) 320)))
(set 'v12 (mload (add (get 'v0) 352)))
(set 'v13 (mload (add (get 'v0) 384)))
(set 'v14 (mload (add (get 'v0) 416)))
(set 'v15 (mload (add (get 'v0) 448)))
(set 'retVal 0)
(seq
(set '_temp_83561 (get 'retVal))
(return (ref '_temp_83561) 32)
)
)
(if (eq (mload (get 'v0)) 65696)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'retVal
(with '_datastart (add (alloc 132) 28)
(seq
(mstore (sub (get '_datastart) 28) 3190816067)
(mstore (add (get '_datastart) 4) (get 'v2))
(mstore (add (get '_datastart) 36) (get 'v3))
(mstore (add (get '_datastart) 68) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 100 (ref '_temp8392_dataout) 32)
)
(get '_temp8392_dataout)
)
)
)
)
(seq
(set '_temp_84341 (get 'retVal))
(return (ref '_temp_84341) 32)
)
)
(if (eq (mload (get 'v0)) 65697)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_84621 (get 'retVal))
(return (ref '_temp_84621) 32)
)
)
(if (eq (mload (get 'v0)) 65698)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'retVal 0)
(seq
(set '_temp_85061 (get 'retVal))
(return (ref '_temp_85061) 32)
)
)
(if (eq (mload (get 'v0)) 65699)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'retVal 0)
(seq
(set '_temp_85421 (get 'retVal))
(return (ref '_temp_85421) 32)
)
)
(if (eq (mload (get 'v0)) 65700)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'v5 (mload (add (get 'v0) 128)))
(set 'retVal 0)
(seq
(set '_temp_85941 (get 'retVal))
(return (ref '_temp_85941) 32)
)
)
(if (eq (mload (get 'v0)) 65701)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'retVal 0)
(seq
(set '_temp_86381 (get 'retVal))
(return (ref '_temp_86381) 32)
)
)
(if (eq (mload (get 'v0)) 65702)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_86661 (get 'retVal))
(return (ref '_temp_86661) 32)
)
)
(if (eq (mload (get 'v0)) 65703)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'v5 (mload (add (get 'v0) 128)))
(set 'retVal
(with '_datastart (add (alloc 196) 28)
(seq
(mstore (sub (get '_datastart) 28) 4207633475)
(mstore (add (get '_datastart) 4) (get 'v2))
(mstore (add (get '_datastart) 36) (get 'v3))
(mstore (add (get '_datastart) 68) (get 'v4))
(mstore (add (get '_datastart) 100) (get 'v5))
(mstore (add (get '_datastart) 132) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 164 (ref '_temp8718_dataout) 32)
)
(get '_temp8718_dataout)
)
)
)
)
(seq
(set '_temp_87701 (get 'retVal))
(return (ref '_temp_87701) 32)
)
)
(if (eq (mload (get 'v0)) 65704)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'retVal 0)
(seq
(set '_temp_88141 (get 'retVal))
(return (ref '_temp_88141) 32)
)
)
(if (eq (mload (get 'v0)) 65705)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'v5 (mload (add (get 'v0) 128)))
(set 'retVal 0)
(seq
(set '_temp_88661 (get 'retVal))
(return (ref '_temp_88661) 32)
)
)
(if (eq (mload (get 'v0)) 65706)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'retVal 0)
(seq
(set '_temp_89101 (get 'retVal))
(return (ref '_temp_89101) 32)
)
)
(if (eq (mload (get 'v0)) 65707)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_89381 (get 'retVal))
(return (ref '_temp_89381) 32)
)
)
(if (eq (mload (get 'v0)) 65708)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_89661 (get 'retVal))
(return (ref '_temp_89661) 32)
)
)
(if (eq (mload (get 'v0)) 65709)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_89941 (get 'retVal))
(return (ref '_temp_89941) 32)
)
)
(if (eq (mload (get 'v0)) 65710)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_90221 (get 'retVal))
(return (ref '_temp_90221) 32)
)
)
(if (eq (mload (get 'v0)) 65711)
(seq
(set 'retVal 0)
(seq
(set '_temp_90421 (get 'retVal))
(return (ref '_temp_90421) 32)
)
)
(if (eq (mload (get 'v0)) 65712)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'retVal 0)
(seq
(set '_temp_90701 (get 'retVal))
(return (ref '_temp_90701) 32)
)
)
(if (eq (mload (get 'v0)) 65713)
(seq
(set 'retVal 0)
(seq
(set '_temp_90901 (get 'retVal))
(return (ref '_temp_90901) 32)
)
)
(if (eq (mload (get 'v0)) 65714)
(seq
(set 'v2 (mload (add (get 'v0) 32)))
(set 'v3 (mload (add (get 'v0) 64)))
(set 'v4 (mload (add (get 'v0) 96)))
(set 'retVal
(with '_datastart (add (alloc 164) 28)
(seq
(mstore (sub (get '_datastart) 28) 1544381383)
(mstore (add (get '_datastart) 4) (get 'v2))
(mstore (add (get '_datastart) 36) (get 'v3))
(mstore (add (get '_datastart) 68) (get 'v4))
(mstore (add (get '_datastart) 100) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 132 (ref '_temp9134_dataout) 32)
)
(get '_temp9134_dataout)
)
)
)
)
(seq
(set '_temp_91811 (get 'retVal))
(return (ref '_temp_91811) 32)
)
)
(if (eq (mload (get 'v0)) 65715)
(seq
(set 'retVal
(with '_temp9201_arr (alloc 96)
(seq
(mstore (get '_temp9201_arr) 2)
(mstore (add (get '_temp9201_arr) 32) 65709)
(mstore (add (get '_temp9201_arr) 64) (get 'v1))
(add (get '_temp9201_arr) 32)
)
)
)
(seq
(set '_temp_92211 (get 'retVal))
(return (ref '_temp_92211) 32)
)
)
(unless (iszero (get 'True))
(seq
(set 'retVal 0)
(seq
(set '_temp_92351 (get 'retVal))
(return (ref '_temp_92351) 32)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 1745294690))
(seq
(set 'v0 (calldataload 4))
(unless (iszero (get 'True))
(seq
(set 'retVal (get 'v0))
(seq
(set '_temp_92601 (get 'retVal))
(return (ref '_temp_92601) 32)
)
)
)
)
)
(unless (iszero (eq (get '__funid) 4001238614))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(seq
(set 'retVal 0)
(seq
(set '_temp_92841 (get 'retVal))
(return (ref '_temp_92841) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 595533552))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(seq
(set 'retVal 0)
(seq
(set '_temp_93081 (get 'retVal))
(return (ref '_temp_93081) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 3190816067))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
)
(seq
(set 'v3
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v0))
(mstore (add (get '_datastart) 36) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp9335_dataout) 32)
)
(get '_temp9335_dataout)
)
)
)
)
(set 'v4 0)
(set 'v5 0)
(set 'v6 0)
(set 'v7 0)
(set 'v4
(with '_datastart (add (alloc 196) 28)
(seq
(mstore (sub (get '_datastart) 28) 4207136621)
(mstore (add (get '_datastart) 4) (get 'v4))
(mstore (add (get '_datastart) 36) (get 'v5))
(mstore (add (get '_datastart) 68) (get 'v6))
(mstore (add (get '_datastart) 100) (get 'v7))
(mstore (add (get '_datastart) 132) (get 'v2))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 164 (ref '_temp9382_dataout) 32)
)
(get '_temp9382_dataout)
)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v3))
(mstore (add (get '_datastart) 36) (get 'v4))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp9436_dataout) 32)
)
(get '_temp9436_dataout)
)
)
)
)
(seq
(set '_temp_94731 (get 'retVal))
(return (ref '_temp_94731) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 4207633475))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
(set 'v2 (calldataload 68))
(set 'v3 (calldataload 100))
(set 'v4 (calldataload 132))
)
(seq
(set 'v5
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v0))
(mstore (add (get '_datastart) 36) (get 'v1))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp9506_dataout) 32)
)
(get '_temp9506_dataout)
)
)
)
)
(set 'v6
(with '_temp9545_arr (alloc 160)
(seq
(mstore (get '_temp9545_arr) 4)
(mstore (add (get '_temp9545_arr) 32) 1)
(mstore (add (get '_temp9545_arr) 64) (get 'v2))
(mstore (add (get '_temp9545_arr) 96) (get 'v4))
(mstore (add (get '_temp9545_arr) 128) (get 'v3))
(add (get '_temp9545_arr) 32)
)
)
)
(set 'retVal
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v5))
(mstore (add (get '_datastart) 36) (get 'v6))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp9577_dataout) 32)
)
(get '_temp9577_dataout)
)
)
)
)
(seq
(set '_temp_96141 (get 'retVal))
(return (ref '_temp_96141) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 3625199353))
(seq
(set 'v0 (calldataload 4))
(seq
(set 'v1 0)
(set 'v2 0)
(set 'v3 0)
(set 'retVal
(with '_temp9641_arr (alloc 160)
(seq
(mstore (get '_temp9641_arr) 4)
(mstore (add (get '_temp9641_arr) 32) 65714)
(mstore (add (get '_temp9641_arr) 64) (get 'v1))
(mstore (add (get '_temp9641_arr) 96) (get 'v2))
(mstore (add (get '_temp9641_arr) 128) (get 'v3))
(add (get '_temp9641_arr) 32)
)
)
)
(seq
(set '_temp_96711 (get 'retVal))
(return (ref '_temp_96711) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 3440875409))
(seq
(seq
(set 'v0 (calldataload 4))
(set 'v1 (calldataload 36))
)
(seq
(set 'v2 0)
(set 'v3 0)
(set 'v2
(with '_datastart (add (alloc 132) 28)
(seq
(mstore (sub (get '_datastart) 28) 321049300)
(mstore (add (get '_datastart) 4) (get 'v2))
(mstore (add (get '_datastart) 36) (get 'v3))
(mstore (add (get '_datastart) 68) (get 'v0))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 100 (ref '_temp9699_dataout) 32)
)
(get '_temp9699_dataout)
)
)
)
)
(set 'v3 0)
(set 'retVal
(with '_datastart (add (alloc 100) 28)
(seq
(mstore (sub (get '_datastart) 28) 3763762923)
(mstore (add (get '_datastart) 4) (get 'v2))
(mstore (add (get '_datastart) 36) (get 'v3))
(seq
(pop
(call (sub (gas) 45) (address) 0 (get '_datastart) 68 (ref '_temp9745_dataout) 32)
)
(get '_temp9745_dataout)
)
)
)
)
(seq
(set '_temp_97821 (get 'retVal))
(return (ref '_temp_97821) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 2201185919))
(seq
(set 'v0 (calldataload 4))
(seq
(set 'v1 0)
(set 'v2 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'v3 0)
(set 'retVal
(with '_temp9833_arr (alloc 160)
(seq
(mstore (get '_temp9833_arr) 4)
(mstore (add (get '_temp9833_arr) 32) 65714)
(mstore (add (get '_temp9833_arr) 64) (get 'v1))
(mstore (add (get '_temp9833_arr) 96) (get 'v2))
(mstore (add (get '_temp9833_arr) 128) (get 'v3))
(add (get '_temp9833_arr) 32)
)
)
)
(seq
(set '_temp_98631 (get 'retVal))
(return (ref '_temp_98631) 32)
)
)
)
)
(unless (iszero (eq (get '__funid) 3886167626))
(seq
(set 'v0 (calldataload 4))
(seq
(set 'v1
(with '_temp9884_arr (alloc 64)
(seq
(mstore (get '_temp9884_arr) 1)
(mstore (add (get '_temp9884_arr) 32) 1)
(add (get '_temp9884_arr) 32)
)
)
)
(set 'retVal
(with '_temp9901_arr (alloc 96)
(seq
(mstore (get '_temp9901_arr) 2)
(mstore (add (get '_temp9901_arr) 32) 0)
(mstore (add (get '_temp9901_arr) 64) (get 'v1))
(add (get '_temp9901_arr) 32)
)
)
)
(seq
(set '_temp_99211 (get 'retVal))
(return (ref '_temp_99211) 32)
)
)
)
)
)
)
0
)
)
Raw
bank2.py
import serpent
from ethereum import tester, utils, abi
serpent_code = '''
def idris_Effects_46_dropEnv(v0, v1, v2, v3, v4): #Effects.dropEnv
if v4[0] == 2:
if v3[0] == 1:
return self.idris_Effects_46_dropEnv(0, 0, 0, v3[3], v4[1])
elif v4[0] == 1:
if v3[0] == 1:
retVal = [1,v6,v3[2],self.idris_Effects_46_dropEnv(0, 0, 0, v3[3], v4[1])]
return retVal
elif v4[0] == 0:
return [0]
def idris_Effects_46_eff(v0, v1, v2, v3, v4, v5, v6, v7): #Effects.eff
if v6[0] == 5:
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, [1,v5[1],v5[2],[0]], v6[1], [65693,v7])
elif v6[0] == 2:
return self.idris_Effects_46_execEff(0, 0, 0, 0, 0, 0, 0, v5, v6[1], v6[2], v7)
elif v6[0] == 1:
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, v5, v6[1], [65695,v6[2],v7])
elif v6[0] == 3:
v15 = self.idris_Effects_46_dropEnv(0, 0, 0, v5, v6[1])
v16 = [65697,v7,v6[1],v5]
retVal = self.idris_Effects_46_eff(0, 0, 0, 0, 0, v15, v6[2], v16)
return retVal
elif v6[0] == 4:
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, [1,v6[1],v6[2],v5], v6[3], [65698,v7])
elif v6[0] == 0:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v7, v6[1]), v5)
def idris_Effects_46_execEff(v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10): #Effects.execEff
if v8[0] == 0:
if v7[0] == 1:
v14 = self.idris_Effects_46_handle(0, 0, 0, 0, 0, 0, v7[1])
v14 = self.idris__123_APPLY0_125_(v14, v7[2])
v14 = self.idris__123_APPLY0_125_(v14, v9)
v15 = [65700,v10,v7[1],v7[3]]
return self.idris__123_APPLY0_125_(v14, v15)
elif v8[0] == 1:
if v7[0] == 1:
return self.idris_Effects_46_execEff(0, 0, 0, 0, 0, 0, 0, v7[3], v8[1], v9, [65702,v10,v7[1],v7[2]])
def idris_Effects_46_handle(v0, v1, v2, v3, v4, v5, v6): #Effects.handle
v7 = self.idris__123_APPLY0_125_(v6, v2)
v7 = self.idris__123_APPLY0_125_(v7, v3)
v7 = self.idris__123_APPLY0_125_(v7, v4)
return self.idris__123_APPLY0_125_(v7, v5)
def idris_Effects_46_rebuildEnv(v0, v1, v2, v3, v4, v5, v6): #Effects.rebuildEnv
if v5[0] == 2:
if v6[0] == 1:
v11 = self.idris_Effects_46_rebuildEnv(0, 0, 0, 0, v4, v5[1], v6[3])
retVal = [1,v6[1],v6[2],v11]
return retVal
elif v5[0] == 1:
v7 = v5[1]
if v4[0] == 1:
v8 = v4[1]
v9 = v4[2]
v10 = v4[3]
if v6[0] == 1:
v14 = self.idris_Effects_46_rebuildEnv(0, 0, 0, 0, v10, v7, v6[3])
retVal = [1,v8,v9,v14]
return retVal
elif v4[0] == 0:
return [0]
elif v5[0] == 0:
if v4[0] == 1:
retVal = [1,v4[1],v4[2],v4[3]]
return retVal
elif v4[0] == 0:
return v6
def idris_Effects_46_relabel(v0, v1, v2, v3, v4): #Effects.relabel
if v4[0] == 1:
retVal = [1,v4[1],v4[2],self.idris_Effects_46_relabel(0, 0, 0, 0, v4[3])]
return retVal
elif v4[0] == 0:
return [0]
def idris_Bank_46_Main_46_runDep(v0): #Bank.Main.runDep
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, [1,[65677],v0,[0]], [2,[0],[4]], [65704,[65670]])
def idris_Bank_46_Main_46_runWith(v0): #Bank.Main.runWith
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, [1,[65686],0,[0]], [1,[2,[0],[3]],[65668,0,v0]], [65704,[65679]])
def idris__123_APPLY0_125_(v0, v1): #{APPLY0}
if v0[0] == 65664:
retVal = [0,[1]]
return retVal
elif v0[0] == 65665:
retVal = [1, [2,[0],[5,v0[1],v1]], [65664]]
return retVal
elif v0[0] == 65666:
return self.idris_Bank_46_Bank2_46__123_withdraw3_125_(v0[1], v0[2], v0[3], v1)
elif v0[0] == 65667:
retVal = [1,[2,[0],[2,v1]],[65666,v0[2],v0[3],v0[1]]]
return retVal
elif v0[0] == 65668:
retVal = [1,[2,[0],[0]],[65667,v0[1],v1,v0[2]]]
return retVal
elif v0[0] == 65669:
retVal = [65715,0,0,v1]
return retVal
elif v0[0] == 65670:
return [65669]
elif v0[0] == 65671:
return self.idris_Effects_46_Ethereum_46_Ether_46__64_Effects_46_Handler_36_EtherRules_58_SIO_58__33_handle_58_0(0, 0, 0, 0, v0[1], v0[2], v1)
elif v0[0] == 65672:
retVal = [65671,v0[1],v1]
return retVal
elif v0[0] == 65673:
retVal = [65672,v1]
return retVal
elif v0[0] == 65674:
return [65673]
elif v0[0] == 65675:
return [65674]
elif v0[0] == 65676:
return [65675]
elif v0[0] == 65677:
return [65676]
elif v0[0] == 65678:
retVal = [65715,0,0,v1]
return retVal
elif v0[0] == 65679:
return [65678]
elif v0[0] == 65680:
return self.idris_Effects_46_Ethereum_46_Ether_46__64_Effects_46_Handler_36_EtherRules_58_SIO_58__33_handle_58_0(0, 0, 0, 0, v0[1], v0[2], v1)
elif v0[0] == 65681:
retVal = [65680,v0[1],v1]
return retVal
elif v0[0] == 65682:
retVal = [65681,v1]
return retVal
elif v0[0] == 65683:
return [65682]
elif v0[0] == 65684:
return [65683]
elif v0[0] == 65685:
return [65684]
elif v0[0] == 65686:
return [65685]
elif v0[0] == 65687:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[10], v0[13]), v1[3])
elif v0[0] == 65688:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v1), v0[2])
elif v0[0] == 65689:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v1), v0[2])
elif v0[0] == 65690:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v0[2]))
elif v0[0] == 65691:
v0 = self.idris__123_APPLY0_125_(v0[1], v1)
return self.idris__123_APPLY0_125_(v0, v0[2])
elif v0[0] == 65692:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v0[2]), self.idris_Effects_46_relabel(0, 0, 0, 0, v1))
elif v0[0] == 65693:
retVal = [65692,v0,v1]
return retVal
elif v0[0] == 65694:
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, v1, self.idris__123_APPLY0_125_(v0[1], v0[2]), v0[3])
elif v0[0] == 65695:
retVal = [65694,v0[1],v1,v0[2]]
return retVal
elif v0[0] == 65696:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v0[2]), self.idris_Effects_46_rebuildEnv(0, 0, 0, 0, v1, v0[3], v0[4]))
elif v0[0] == 65697:
retVal = [65696,v0[1],v1,v0[2],v0[3]]
return retVal
elif v0[0] == 65698:
retVal = [65687,0,0,0,0,0,0,0,0,0,v0[1],0,0,v1,0]
return retVal
elif v0[0] == 65699:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v0[2]), [1,v0[3],v1,v0[4]])
elif v0[0] == 65700:
retVal = [65699,v0[1],v1,v0[2],v0[3]]
return retVal
elif v0[0] == 65701:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v2, v3), [1,v4,v5,v1])
elif v0[0] == 65702:
retVal = [65701,v0[1],v1,v0[2],v0[3]]
return retVal
elif v0[0] == 65703:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], 0), v0[2])
elif v0[0] == 65704:
retVal = [65703,v0[1],v1]
return retVal
elif v0[0] == 65705:
v2 = v0[1]
return v2.balance
elif v0[0] == 65706:
return self
elif v0[0] == 65707:
return send(v0[1], v0[2]) #self.idris_Ethereum_46_SIO_46_send(v2, v3, v1)
elif v0[0] == 65708:
return msg.sender #self.idris_Ethereum_46_SIO_46_sender(v1)
elif v0[0] == 65709:
return self.idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Eq_36_Nat_58__33__61__61__58_0(v0[1], v1)
elif v0[0] == 65710:
return self.idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Ord_36_Nat_58__33_compare_58_0(v0, v1)
elif v0[0] == 65711:
retVal = [65710,v1]
return retVal
elif v0[0] == 65712:
return self.idris_Prelude_46_Nat_46__123_Nat_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam2_125_(v0[1], v1)
elif v0[0] == 65713:
retVal = [65712,v1]
return retVal
elif v0[0] == 65714:
return self.idris__123_APPLY0_125_([65716,v0[1],v0[2],v0[3],v0[4],v0[5],v1], self.idris__123_APPLY0_125_(v0[4], v1))
elif v0[0] == 65715:
return v4 #self.idris_io_95_return(v2, v3, v4, v1)
elif v0[0] == 65716:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[5], v1), v0[6])
elif v0[0] == 65717:
retVal = [65709,v1]
return retVal
else:
return 0
def idris_Prelude_46_Nat_46__123_Nat_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam2_125_(v0, v1): #Prelude.Nat.{Nat instance of Prelude.Classes.Ord_lam2}
#legonote compare fishy
v2 = self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_([65711], v0), v1)
if v2[0] == 2:
return [1]
else:
return [0]
def idris_Bank_46_Bank2_46__123_withdraw3_125_(v0, v1, v2, v3): #Bank.Bank2.{withdraw3}
if v0 == 701581095649848031: #legonote: or opposite? maybe == should be 0
v4 = self.idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Ord_36_Nat_58__33__62__61__58_0(v3, v1)
else:
v4 = [0]
if v4[0] == 0:
retVal = [0,[0]]
return retVal
elif v4[0] == 1:
retVal = [1,[2,[0],[3]],[65665,v1,v2]]
return retVal
def idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Eq_36_Nat_58__33__61__61__58_0(v0, v1): #Prelude.Classes.Prelude.Nat.@Prelude.Classes.Eq$Nat:!==:0
if v1 == 0:
if v0 == 0:
return [1]
else:
return [0]
else:
if v0 == 0:
return [0]
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_([65717], v0-1), v1-1)
def idris_Effects_46_Ethereum_46_Ether_46__64_Effects_46_Handler_36_EtherRules_58_SIO_58__33_handle_58_0(v0, v1, v2, v3, v4, v5, v6): #Effects.Ethereum.Ether.@Effects.Handler$EtherRules:SIO:!handle:0
if v5[0] == 2:
retVal = [65714,0,0,0,[65705,v5[1]],[65688,v6,v4]]
return retVal
elif v5[0] == 0:
retVal = [65714,0,0,0,[65706],[65689,v6,v4]]
return retVal
elif v5[0] == 4:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v6, [0]), v4)
elif v5[0] == 5:
retVal = [65714,0,0,0,[65707,v5[2],v5[1]],[65690,v6,v4]]
return retVal
elif v5[0] == 3:
retVal = [65714,0,0,0,[65708],[65691,v6,v4]]
return retVal
elif v5[0] == 1:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v6, v4), v4)
def idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Ord_36_Nat_58__33__62__61__58_0(v0, v1): #Prelude.Classes.Prelude.Nat.@Prelude.Classes.Ord$Nat:!>=:0
v2 = self.idris__123_APPLY0_125_([65713], v0) #legonote ordshit
v2 = self.idris__123_APPLY0_125_(v2, v1)
if v2[0] == 0:
return self.idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Eq_36_Nat_58__33__61__61__58_0(v0, v1)
elif v2[0] == 1:
return [1]
def idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Ord_36_Nat_58__33_compare_58_0(v0, v1): #Prelude.Classes.Prelude.Nat.@Prelude.Classes.Ord$Nat:!compare:0
if v1 == 0:
if v0 == 0:
return [1]
#legonote wtf @ v2, not used
return [2]
#v2 = 1
#v2 = (v0 - v2)
#retVal = [2]
#return retVal
v2 = (v1 - 1)
if v0 == 0:
return [0]
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_([65711], v0 - 1), v2)
'''
#Generate public keys
public_k0 = utils.privtoaddr(tester.k0)
public_k1 = utils.privtoaddr(tester.k1)
#Generate state and add contract to bvk chain
s = tester.state()
print("Tester state created")
c = s.abi_contract(serpent_code)
print("Code added to chain")
Raw
bank2.se
def idris_Effects_46_dropEnv(v0, v1, v2, v3, v4): #Effects.dropEnv
if v4[0] == 2:
if v3[0] == 1:
return self.idris_Effects_46_dropEnv(0, 0, 0, v3[3], v4[1])
elif v4[0] == 1:
if v3[0] == 1:
retVal = [1,v6,v3[2],self.idris_Effects_46_dropEnv(0, 0, 0, v3[3], v4[1])]
return retVal
elif v4[0] == 0:
return [0]
def idris_Effects_46_eff(v0, v1, v2, v3, v4, v5, v6, v7): #Effects.eff
if v6[0] == 5:
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, [1,v5[1],v5[2],[0]], v6[1], [65693,v7])
elif v6[0] == 2:
return self.idris_Effects_46_execEff(0, 0, 0, 0, 0, 0, 0, v5, v6[1], v6[2], v7)
elif v6[0] == 1:
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, v5, v6[1], [65695,v6[2],v7])
elif v6[0] == 3:
v15 = self.idris_Effects_46_dropEnv(0, 0, 0, v5, v6[1])
v16 = [65697,v7,v6[1],v5]
retVal = self.idris_Effects_46_eff(0, 0, 0, 0, 0, v15, v6[2], v16)
return retVal
elif v6[0] == 4:
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, [1,v6[1],v6[2],v5], v6[3], [65698,v7])
elif v6[0] == 0:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v7, v6[1]), v5)
def idris_Effects_46_execEff(v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10): #Effects.execEff
if v8[0] == 0:
if v7[0] == 1:
v14 = self.idris_Effects_46_handle(0, 0, 0, 0, 0, 0, v7[1])
v14 = self.idris__123_APPLY0_125_(v14, v7[2])
v14 = self.idris__123_APPLY0_125_(v14, v9)
v15 = [65700,v10,v7[1],v7[3]]
return self.idris__123_APPLY0_125_(v14, v15)
elif v8[0] == 1:
if v7[0] == 1:
return self.idris_Effects_46_execEff(0, 0, 0, 0, 0, 0, 0, v7[3], v8[1], v9, [65702,v10,v7[1],v7[2]])
def idris_Effects_46_handle(v0, v1, v2, v3, v4, v5, v6): #Effects.handle
v7 = self.idris__123_APPLY0_125_(v6, v2)
v7 = self.idris__123_APPLY0_125_(v7, v3)
v7 = self.idris__123_APPLY0_125_(v7, v4)
return self.idris__123_APPLY0_125_(v7, v5)
def idris_Effects_46_rebuildEnv(v0, v1, v2, v3, v4, v5, v6): #Effects.rebuildEnv
if v5[0] == 2:
if v6[0] == 1:
v11 = self.idris_Effects_46_rebuildEnv(0, 0, 0, 0, v4, v5[1], v6[3])
retVal = [1,v6[1],v6[2],v11]
return retVal
elif v5[0] == 1:
v7 = v5[1]
if v4[0] == 1:
v8 = v4[1]
v9 = v4[2]
v10 = v4[3]
if v6[0] == 1:
v14 = self.idris_Effects_46_rebuildEnv(0, 0, 0, 0, v10, v7, v6[3])
retVal = [1,v8,v9,v14]
return retVal
elif v4[0] == 0:
return [0]
elif v5[0] == 0:
if v4[0] == 1:
retVal = [1,v4[1],v4[2],v4[3]]
return retVal
elif v4[0] == 0:
return v6
def idris_Effects_46_relabel(v0, v1, v2, v3, v4): #Effects.relabel
if v4[0] == 1:
retVal = [1,v4[1],v4[2],self.idris_Effects_46_relabel(0, 0, 0, 0, v4[3])]
return retVal
elif v4[0] == 0:
return [0]
def idris_Bank_46_Main_46_runDep(v0): #Bank.Main.runDep
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, [1,[65677],v0,[0]], [2,[0],[4]], [65704,[65670]])
def idris_Bank_46_Main_46_runWith(v0): #Bank.Main.runWith
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, [1,[65686],0,[0]], [1,[2,[0],[3]],[65668,0,v0]], [65704,[65679]])
def idris__123_APPLY0_125_(v0, v1): #{APPLY0}
if v0[0] == 65664:
retVal = [0,[1]]
return retVal
elif v0[0] == 65665:
retVal = [1, [2,[0],[5,v0[1],v1]], [65664]]
return retVal
elif v0[0] == 65666:
return self.idris_Bank_46_Bank2_46__123_withdraw3_125_(v0[1], v0[2], v0[3], v1)
elif v0[0] == 65667:
retVal = [1,[2,[0],[2,v1]],[65666,v0[2],v0[3],v0[1]]]
return retVal
elif v0[0] == 65668:
retVal = [1,[2,[0],[0]],[65667,v0[1],v1,v0[2]]]
return retVal
elif v0[0] == 65669:
retVal = [65715,0,0,v1]
return retVal
elif v0[0] == 65670:
return [65669]
elif v0[0] == 65671:
return self.idris_Effects_46_Ethereum_46_Ether_46__64_Effects_46_Handler_36_EtherRules_58_SIO_58__33_handle_58_0(0, 0, 0, 0, v0[1], v0[2], v1)
elif v0[0] == 65672:
retVal = [65671,v0[1],v1]
return retVal
elif v0[0] == 65673:
retVal = [65672,v1]
return retVal
elif v0[0] == 65674:
return [65673]
elif v0[0] == 65675:
return [65674]
elif v0[0] == 65676:
return [65675]
elif v0[0] == 65677:
return [65676]
elif v0[0] == 65678:
retVal = [65715,0,0,v1]
return retVal
elif v0[0] == 65679:
return [65678]
elif v0[0] == 65680:
return self.idris_Effects_46_Ethereum_46_Ether_46__64_Effects_46_Handler_36_EtherRules_58_SIO_58__33_handle_58_0(0, 0, 0, 0, v0[1], v0[2], v1)
elif v0[0] == 65681:
retVal = [65680,v0[1],v1]
return retVal
elif v0[0] == 65682:
retVal = [65681,v1]
return retVal
elif v0[0] == 65683:
return [65682]
elif v0[0] == 65684:
return [65683]
elif v0[0] == 65685:
return [65684]
elif v0[0] == 65686:
return [65685]
elif v0[0] == 65687:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[10], v0[13]), v1[3])
elif v0[0] == 65688:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v1), v0[2])
elif v0[0] == 65689:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v1), v0[2])
elif v0[0] == 65690:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v0[2]))
elif v0[0] == 65691:
v0 = self.idris__123_APPLY0_125_(v0[1], v1)
return self.idris__123_APPLY0_125_(v0, v0[2])
elif v0[0] == 65692:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v0[2]), self.idris_Effects_46_relabel(0, 0, 0, 0, v1))
elif v0[0] == 65693:
retVal = [65692,v0,v1]
return retVal
elif v0[0] == 65694:
return self.idris_Effects_46_eff(0, 0, 0, 0, 0, v1, self.idris__123_APPLY0_125_(v0[1], v0[2]), v0[3])
elif v0[0] == 65695:
retVal = [65694,v0[1],v1,v0[2]]
return retVal
elif v0[0] == 65696:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v0[2]), self.idris_Effects_46_rebuildEnv(0, 0, 0, 0, v1, v0[3], v0[4]))
elif v0[0] == 65697:
retVal = [65696,v0[1],v1,v0[2],v0[3]]
return retVal
elif v0[0] == 65698:
retVal = [65687,0,0,0,0,0,0,0,0,0,v0[1],0,0,v1,0]
return retVal
elif v0[0] == 65699:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], v0[2]), [1,v0[3],v1,v0[4]])
elif v0[0] == 65700:
retVal = [65699,v0[1],v1,v0[2],v0[3]]
return retVal
elif v0[0] == 65701:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v2, v3), [1,v4,v5,v1])
elif v0[0] == 65702:
retVal = [65701,v0[1],v1,v0[2],v0[3]]
return retVal
elif v0[0] == 65703:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[1], 0), v0[2])
elif v0[0] == 65704:
retVal = [65703,v0[1],v1]
return retVal
elif v0[0] == 65705:
v2 = v0[1]
return v2.balance
elif v0[0] == 65706:
return self
elif v0[0] == 65707:
return send(v0[1], v0[2]) #self.idris_Ethereum_46_SIO_46_send(v2, v3, v1)
elif v0[0] == 65708:
return msg.sender #self.idris_Ethereum_46_SIO_46_sender(v1)
elif v0[0] == 65709:
return self.idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Eq_36_Nat_58__33__61__61__58_0(v0[1], v1)
elif v0[0] == 65710:
return self.idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Ord_36_Nat_58__33_compare_58_0(v0, v1)
elif v0[0] == 65711:
retVal = [65710,v1]
return retVal
elif v0[0] == 65712:
return self.idris_Prelude_46_Nat_46__123_Nat_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam2_125_(v0[1], v1)
elif v0[0] == 65713:
retVal = [65712,v1]
return retVal
elif v0[0] == 65714:
return self.idris__123_APPLY0_125_([65716,v0[1],v0[2],v0[3],v0[4],v0[5],v1], self.idris__123_APPLY0_125_(v0[4], v1))
elif v0[0] == 65715:
return v4 #self.idris_io_95_return(v2, v3, v4, v1)
elif v0[0] == 65716:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v0[5], v1), v0[6])
elif v0[0] == 65717:
retVal = [65709,v1]
return retVal
else:
return 0
def idris_Prelude_46_Nat_46__123_Nat_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam2_125_(v0, v1): #Prelude.Nat.{Nat instance of Prelude.Classes.Ord_lam2}
v2 = self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_([65711], v0), v1)
if v2[0] == 2:
return [1]
else:
return [0]
def idris_Bank_46_Bank2_46__123_withdraw3_125_(v0, v1, v2, v3): #Bank.Bank2.{withdraw3}
if v0 == 701581095649848031:
v4 = self.idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Ord_36_Nat_58__33__62__61__58_0(v3, v1)
else:
v4 = [0]
if v4[0] == 0:
retVal = [0,[0]]
return retVal
elif v4[0] == 1:
retVal = [1,[2,[0],[3]],[65665,v1,v2]]
return retVal
def idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Eq_36_Nat_58__33__61__61__58_0(v0, v1): #Prelude.Classes.Prelude.Nat.@Prelude.Classes.Eq$Nat:!==:0
if v1 == 0:
if v0 == 0:
return [1]
else:
return [0]
else:
if v0 == 0:
return [0]
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_([65717], v0-1), v1-1)
def idris_Effects_46_Ethereum_46_Ether_46__64_Effects_46_Handler_36_EtherRules_58_SIO_58__33_handle_58_0(v0, v1, v2, v3, v4, v5, v6): #Effects.Ethereum.Ether.@Effects.Handler$EtherRules:SIO:!handle:0
if v5[0] == 2:
retVal = [65714,0,0,0,[65705,v5[1]],[65688,v6,v4]]
return retVal
elif v5[0] == 0:
retVal = [65714,0,0,0,[65706],[65689,v6,v4]]
return retVal
elif v5[0] == 4:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v6, [0]), v4)
elif v5[0] == 5:
retVal = [65714,0,0,0,[65707,v5[2],v5[1]],[65690,v6,v4]]
return retVal
elif v5[0] == 3:
retVal = [65714,0,0,0,[65708],[65691,v6,v4]]
return retVal
elif v5[0] == 1:
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_(v6, v4), v4)
def idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Ord_36_Nat_58__33__62__61__58_0(v0, v1): #Prelude.Classes.Prelude.Nat.@Prelude.Classes.Ord$Nat:!>=:0
v2 = self.idris__123_APPLY0_125_([65713], v0)
v2 = self.idris__123_APPLY0_125_(v2, v1)
if v2[0] == 0:
return self.idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Eq_36_Nat_58__33__61__61__58_0(v0, v1)
elif v2[0] == 1:
return [1]
def idris_Prelude_46_Classes_46_Prelude_46_Nat_46__64_Prelude_46_Classes_46_Ord_36_Nat_58__33_compare_58_0(v0, v1): #Prelude.Classes.Prelude.Nat.@Prelude.Classes.Ord$Nat:!compare:0
if v1 == 0:
if v0 == 0:
return [1]
return [2]
#v2 = 1
#v2 = (v0 - v2)
#retVal = [2]
#return retVal
v2 = (v1 - 1)
if v0 == 0:
return [0]
return self.idris__123_APPLY0_125_(self.idris__123_APPLY0_125_([65711], v0 - 1), v2)
@Legogris

Legogris commented Jan 13, 2016

Copy link
Copy Markdown
Author

Serpent can transform the se code to lll code, but attempting to compile all the way or running using the test runner generates an error (Contract code empty).

If the resulting LLL code is used to create a contract in alethzero, the result is very small.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment