TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-bce4-7034-959a-3bb9536ba5d7

complete
Chain ID
1
Address
0x0337184a497565a9bd8e300dad50270cd367f206
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
24147 artifact.fetch complete 1 / 3 3 months ago
24148 tool.cast_disasm complete 1 / 3 3 months ago
67466 analysis.bundle complete 1 / 3 2 weeks ago
67467 capability.graph complete 1 / 3 2 weeks ago
67468 detector.run complete 1 / 3 2 weeks ago
67469 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
22
EXT*/BALANCE
19
Total opcodes
8314
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0303
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x0190
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd260529c
00000024: GT
00000025: PUSH2 0x00dc
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd8959512
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xecbca55d
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xecbca55d
00000045: EQ
00000046: PUSH2 0x0b09
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0b39
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf95e146c
0000005b: EQ
0000005c: PUSH2 0x0b6c
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc0c546a
00000066: EQ
00000067: PUSH2 0x0b81
0000006a: JUMPI
0000006b: PUSH2 0x039a
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xd8959512
00000076: EQ
00000077: PUSH2 0x0a5d
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xdc8de379
00000081: EQ
00000082: PUSH2 0x0a90
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe8dc12ff
0000008c: EQ
0000008d: PUSH2 0x0ac3
00000090: JUMPI
00000091: PUSH2 0x039a
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xd260529c
0000009c: EQ
0000009d: PUSH2 0x09a3
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xd3fb73b4
000000a7: EQ
000000a8: PUSH2 0x09b8
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xd4ee1d90
000000b2: EQ
000000b3: PUSH2 0x09cd
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xd55ec697
000000bd: EQ
000000be: PUSH2 0x09e2
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xd66bd524
000000c8: EQ
000000c9: PUSH2 0x09f7
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xd79604c2
000000d3: EQ
000000d4: PUSH2 0x0a2a
000000d7: JUMPI
000000d8: PUSH2 0x039a
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xbf754558
000000e3: GT
000000e4: PUSH2 0x0149
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xc9be579b
000000ee: GT
000000ef: PUSH2 0x0123
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xc9be579b
000000f9: EQ
000000fa: PUSH2 0x0907
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xcdc91c69
00000104: EQ
00000105: PUSH2 0x0931
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0xd031370b
0000010f: EQ
00000110: PUSH2 0x0946
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0xd146d31d
0000011a: EQ
0000011b: PUSH2 0x0970
0000011e: JUMPI
0000011f: PUSH2 0x039a
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0xbf754558
0000012a: EQ
0000012b: PUSH2 0x08ad
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xc3e8dfa8
00000135: EQ
00000136: PUSH2 0x08c2
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xc45d3d92
00000140: EQ
00000141: PUSH2 0x08f2
00000144: JUMPI
00000145: PUSH2 0x039a
00000148: JUMP
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x8da5cb5b
00000150: EQ
00000151: PUSH2 0x07e6
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x94c275ad
0000015b: EQ
0000015c: PUSH2 0x07fb
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x9b99a8e2
00000166: EQ
00000167: PUSH2 0x0810
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0xad161582
00000171: EQ
00000172: PUSH2 0x0825
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0xaf94b8d8
0000017c: EQ
0000017d: PUSH2 0x0855
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0xb4a176d3
00000187: EQ
00000188: PUSH2 0x0898
0000018b: JUMPI
0000018c: PUSH2 0x039a
0000018f: JUMP
00000190: JUMPDEST
00000191: DUP1
00000192: PUSH4 0x49d10b64
00000197: GT
00000198: PUSH2 0x024f
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x67b6d57c
000001a2: GT
000001a3: PUSH2 0x0208
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x70b0aec5
000001ad: GT
000001ae: PUSH2 0x01e2
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x70b0aec5
000001b8: EQ
000001b9: PUSH2 0x0780
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x71f52bf3
000001c3: EQ
000001c4: PUSH2 0x07a7
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x79ba5097
000001ce: EQ
000001cf: PUSH2 0x07bc
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x7b103999
000001d9: EQ
000001da: PUSH2 0x07d1
000001dd: JUMPI
000001de: PUSH2 0x039a
000001e1: JUMP
000001e2: JUMPDEST
000001e3: DUP1
000001e4: PUSH4 0x67b6d57c
000001e9: EQ
000001ea: PUSH2 0x06db
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x690d8320
000001f4: EQ
000001f5: PUSH2 0x070e
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x6a49d2c4
000001ff: EQ
00000200: PUSH2 0x0741
00000203: JUMPI
00000204: PUSH2 0x039a
00000207: JUMP
00000208: JUMPDEST
00000209: DUP1
0000020a: PUSH4 0x49d10b64
0000020f: EQ
00000210: PUSH2 0x0611
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x4af80f0e
0000021a: EQ
0000021b: PUSH2 0x0626
0000021e: JUMPI
0000021f: DUP1
00000220: PUSH4 0x54fd4d50
00000225: EQ
00000226: PUSH2 0x0659
00000229: JUMPI
0000022a: DUP1
0000022b: PUSH4 0x579cd3ca
00000230: EQ
00000231: PUSH2 0x066e
00000234: JUMPI
00000235: DUP1
00000236: PUSH4 0x5e35359e
0000023b: EQ
0000023c: PUSH2 0x0683
0000023f: JUMPI
00000240: DUP1
00000241: PUSH4 0x61cd756e
00000246: EQ
00000247: PUSH2 0x06c6
0000024a: JUMPI
0000024b: PUSH2 0x039a
0000024e: JUMP
0000024f: JUMPDEST
00000250: DUP1
00000251: PUSH4 0x1e1401f8
00000256: GT
00000257: PUSH2 0x02bc
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0x2fe8a6ad
00000261: GT
00000262: PUSH2 0x0296
00000265: JUMPI
00000266: DUP1
00000267: PUSH4 0x2fe8a6ad
0000026c: EQ
0000026d: PUSH2 0x05a6
00000270: JUMPI
00000271: DUP1
00000272: PUSH4 0x38a5e016
00000277: EQ
00000278: PUSH2 0x05bb
0000027b: JUMPI
0000027c: DUP1
0000027d: PUSH4 0x3e8ff43f
00000282: EQ
00000283: PUSH2 0x05d0
00000286: JUMPI
00000287: DUP1
00000288: PUSH4 0x40bf2fb7
0000028d: EQ
0000028e: PUSH2 0x05fc
00000291: JUMPI
00000292: PUSH2 0x039a
00000295: JUMP
00000296: JUMPDEST
00000297: DUP1
00000298: PUSH4 0x1e1401f8
0000029d: EQ
0000029e: PUSH2 0x0502
000002a1: JUMPI
000002a2: DUP1
000002a3: PUSH4 0x21e6b53d
000002a8: EQ
000002a9: PUSH2 0x055e
000002ac: JUMPI
000002ad: DUP1
000002ae: PUSH4 0x22f3e2d4
000002b3: EQ
000002b4: PUSH2 0x0591
000002b7: JUMPI
000002b8: PUSH2 0x039a
000002bb: JUMP
000002bc: JUMPDEST
000002bd: DUP1
000002be: PUSH4 0x024c7ec7
000002c3: EQ
000002c4: PUSH2 0x039f
000002c7: JUMPI
000002c8: DUP1
000002c9: PUSH4 0x0c7d5cd8
000002ce: EQ
000002cf: PUSH2 0x03cb
000002d2: JUMPI
000002d3: DUP1
000002d4: PUSH4 0x0e53aae9
000002d9: EQ
000002da: PUSH2 0x03f9
000002dd: JUMPI
000002de: DUP1
000002df: PUSH4 0x12c2aca4
000002e4: EQ
000002e5: PUSH2 0x0460
000002e8: JUMPI
000002e9: DUP1
000002ea: PUSH4 0x19b64015
000002ef: EQ
000002f0: PUSH2 0x0489
000002f3: JUMPI
000002f4: DUP1
000002f5: PUSH4 0x1cfab290
000002fa: EQ
000002fb: PUSH2 0x04cf
000002fe: JUMPI
000002ff: PUSH2 0x039a
00000302: JUMP
00000303: JUMPDEST
00000304: CALLDATASIZE
00000305: PUSH2 0x039a
00000308: JUMPI
00000309: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
0000031e: PUSH1 0x00
00000320: MSTORE
00000321: PUSH1 0x07
00000323: PUSH1 0x20
00000325: MSTORE
00000326: PUSH32 0xb2084a3e4595ccf007fb44245853374aaf0de960074375e8e0fb334712e94d0f
00000347: SLOAD
00000348: PUSH1 0x01
0000034a: PUSH1 0x30
0000034c: SHL
0000034d: SWAP1
0000034e: DIV
0000034f: PUSH1 0xff
00000351: AND
00000352: PUSH2 0x0398
00000355: JUMPI
00000356: PUSH1 0x40
00000358: DUP1
00000359: MLOAD
0000035a: PUSH3 0x461bcd
0000035e: PUSH1 0xe5
00000360: SHL
00000361: DUP2
00000362: MSTORE
00000363: PUSH1 0x20
00000365: PUSH1 0x04
00000367: DUP3
00000368: ADD
00000369: MSTORE
0000036a: PUSH1 0x13
0000036c: PUSH1 0x24
0000036e: DUP3
0000036f: ADD
00000370: MSTORE
00000371: PUSH19 0x4552525f494e56414c49445f52455345525645
00000385: PUSH1 0x68
00000387: SHL
00000388: PUSH1 0x44
0000038a: DUP3
0000038b: ADD
0000038c: MSTORE
0000038d: SWAP1
0000038e: MLOAD
0000038f: SWAP1
00000390: DUP2
00000391: SWAP1
00000392: SUB
00000393: PUSH1 0x64
00000395: ADD
00000396: SWAP1
00000397: REVERT
00000398: JUMPDEST
00000399: STOP
0000039a: JUMPDEST
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: CALLVALUE
000003a1: DUP1
000003a2: ISZERO
000003a3: PUSH2 0x03ab
000003a6: JUMPI
000003a7: PUSH1 0x00
000003a9: DUP1
000003aa: REVERT
000003ab: JUMPDEST
000003ac: POP
000003ad: PUSH2 0x0398
000003b0: PUSH1 0x04
000003b2: DUP1
000003b3: CALLDATASIZE
000003b4: SUB
000003b5: PUSH1 0x20
000003b7: DUP2
000003b8: LT
000003b9: ISZERO
000003ba: PUSH2 0x03c2
000003bd: JUMPI
000003be: PUSH1 0x00
000003c0: DUP1
000003c1: REVERT
000003c2: JUMPDEST
000003c3: POP
000003c4: CALLDATALOAD
000003c5: ISZERO
000003c6: ISZERO
000003c7: PUSH2 0x0b96
000003ca: JUMP
000003cb: JUMPDEST
000003cc: CALLVALUE
000003cd: DUP1
000003ce: ISZERO
000003cf: PUSH2 0x03d7
000003d2: JUMPI
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: REVERT
000003d7: JUMPDEST
000003d8: POP
000003d9: PUSH2 0x03e0
000003dc: PUSH2 0x0bbc
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH1 0x40
000003e3: DUP1
000003e4: MLOAD
000003e5: PUSH4 0xffffffff
000003ea: SWAP1
000003eb: SWAP3
000003ec: AND
000003ed: DUP3
000003ee: MSTORE
000003ef: MLOAD
000003f0: SWAP1
000003f1: DUP2
000003f2: SWAP1
000003f3: SUB
000003f4: PUSH1 0x20
000003f6: ADD
000003f7: SWAP1
000003f8: RETURN
000003f9: JUMPDEST
000003fa: CALLVALUE
000003fb: DUP1
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: POP
00000407: PUSH2 0x042c
0000040a: PUSH1 0x04
0000040c: DUP1
0000040d: CALLDATASIZE
0000040e: SUB
0000040f: PUSH1 0x20
00000411: DUP2
00000412: LT
00000413: ISZERO
00000414: PUSH2 0x041c
00000417: JUMPI
00000418: PUSH1 0x00
0000041a: DUP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: POP
0000041e: CALLDATALOAD
0000041f: PUSH1 0x01
00000421: PUSH1 0x01
00000423: PUSH1 0xa0
00000425: SHL
00000426: SUB
00000427: AND
00000428: PUSH2 0x0bc8
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH1 0x40
0000042f: DUP1
00000430: MLOAD
00000431: SWAP6
00000432: DUP7
00000433: MSTORE
00000434: PUSH4 0xffffffff
00000439: SWAP1
0000043a: SWAP5
0000043b: AND
0000043c: PUSH1 0x20
0000043e: DUP7
0000043f: ADD
00000440: MSTORE
00000441: SWAP2
00000442: ISZERO
00000443: ISZERO
00000444: DUP5
00000445: DUP5
00000446: ADD
00000447: MSTORE
00000448: ISZERO
00000449: ISZERO
0000044a: PUSH1 0x60
0000044c: DUP5
0000044d: ADD
0000044e: MSTORE
0000044f: ISZERO
00000450: ISZERO
00000451: PUSH1 0x80
00000453: DUP4
00000454: ADD
00000455: MSTORE
00000456: MLOAD
00000457: SWAP1
00000458: DUP2
00000459: SWAP1
0000045a: SUB
0000045b: PUSH1 0xa0
0000045d: ADD
0000045e: SWAP1
0000045f: RETURN
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x0475
00000471: PUSH2 0x0c60
00000474: JUMP
00000475: JUMPDEST
00000476: PUSH1 0x40
00000478: DUP1
00000479: MLOAD
0000047a: SWAP2
0000047b: ISZERO
0000047c: ISZERO
0000047d: DUP3
0000047e: MSTORE
0000047f: MLOAD
00000480: SWAP1
00000481: DUP2
00000482: SWAP1
00000483: SUB
00000484: PUSH1 0x20
00000486: ADD
00000487: SWAP1
00000488: RETURN
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: DUP1
0000048c: ISZERO
0000048d: PUSH2 0x0495
00000490: JUMPI
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: POP
00000497: PUSH2 0x04b3
0000049a: PUSH1 0x04
0000049c: DUP1
0000049d: CALLDATASIZE
0000049e: SUB
0000049f: PUSH1 0x20
000004a1: DUP2
000004a2: LT
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: POP
000004ae: CALLDATALOAD
000004af: PUSH2 0x0cac
000004b2: JUMP
000004b3: JUMPDEST
000004b4: PUSH1 0x40
000004b6: DUP1
000004b7: MLOAD
000004b8: PUSH1 0x01
000004ba: PUSH1 0x01
000004bc: PUSH1 0xa0
000004be: SHL
000004bf: SUB
000004c0: SWAP1
000004c1: SWAP3
000004c2: AND
000004c3: DUP3
000004c4: MSTORE
000004c5: MLOAD
000004c6: SWAP1
000004c7: DUP2
000004c8: SWAP1
000004c9: SUB
000004ca: PUSH1 0x20
000004cc: ADD
000004cd: SWAP1
000004ce: RETURN
000004cf: JUMPDEST
000004d0: CALLVALUE
000004d1: DUP1
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: PUSH2 0x03e0
000004e0: PUSH1 0x04
000004e2: DUP1
000004e3: CALLDATASIZE
000004e4: SUB
000004e5: PUSH1 0x20
000004e7: DUP2
000004e8: LT
000004e9: ISZERO
000004ea: PUSH2 0x04f2
000004ed: JUMPI
000004ee: PUSH1 0x00
000004f0: DUP1
000004f1: REVERT
000004f2: JUMPDEST
000004f3: POP
000004f4: CALLDATALOAD
000004f5: PUSH1 0x01
000004f7: PUSH1 0x01
000004f9: PUSH1 0xa0
000004fb: SHL
000004fc: SUB
000004fd: AND
000004fe: PUSH2 0x0cd6
00000501: JUMP
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH2 0x0545
00000513: PUSH1 0x04
00000515: DUP1
00000516: CALLDATASIZE
00000517: SUB
00000518: PUSH1 0x60
0000051a: DUP2
0000051b: LT
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH1 0x01
00000529: PUSH1 0x01
0000052b: PUSH1 0xa0
0000052d: SHL
0000052e: SUB
0000052f: DUP2
00000530: CALLDATALOAD
00000531: DUP2
00000532: AND
00000533: SWAP2
00000534: PUSH1 0x20
00000536: DUP2
00000537: ADD
00000538: CALLDATALOAD
00000539: SWAP1
0000053a: SWAP2
0000053b: AND
0000053c: SWAP1
0000053d: PUSH1 0x40
0000053f: ADD
00000540: CALLDATALOAD
00000541: PUSH2 0x0d08
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH1 0x40
00000548: DUP1
00000549: MLOAD
0000054a: SWAP3
0000054b: DUP4
0000054c: MSTORE
0000054d: PUSH1 0x20
0000054f: DUP4
00000550: ADD
00000551: SWAP2
00000552: SWAP1
00000553: SWAP2
00000554: MSTORE
00000555: DUP1
00000556: MLOAD
00000557: SWAP2
00000558: DUP3
00000559: SWAP1
0000055a: SUB
0000055b: ADD
0000055c: SWAP1
0000055d: RETURN
0000055e: JUMPDEST
0000055f: CALLVALUE
00000560: DUP1
00000561: ISZERO
00000562: PUSH2 0x056a
00000565: JUMPI
00000566: PUSH1 0x00
00000568: DUP1
00000569: REVERT
0000056a: JUMPDEST
0000056b: POP
0000056c: PUSH2 0x0398
0000056f: PUSH1 0x04
00000571: DUP1
00000572: CALLDATASIZE
00000573: SUB
00000574: PUSH1 0x20
00000576: DUP2
00000577: LT
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: POP
00000583: CALLDATALOAD
00000584: PUSH1 0x01
00000586: PUSH1 0x01
00000588: PUSH1 0xa0
0000058a: SHL
0000058b: SUB
0000058c: AND
0000058d: PUSH2 0x0d23
00000590: JUMP
00000591: JUMPDEST
00000592: CALLVALUE
00000593: DUP1
00000594: ISZERO
00000595: PUSH2 0x059d
00000598: JUMPI
00000599: PUSH1 0x00
0000059b: DUP1
0000059c: REVERT
0000059d: JUMPDEST
0000059e: POP
0000059f: PUSH2 0x0475
000005a2: PUSH2 0x0d37
000005a5: JUMP
000005a6: JUMPDEST
000005a7: CALLVALUE
000005a8: DUP1
000005a9: ISZERO
000005aa: PUSH2 0x05b2
000005ad: JUMPI
000005ae: PUSH1 0x00
000005b0: DUP1
000005b1: REVERT
000005b2: JUMPDEST
000005b3: POP
000005b4: PUSH2 0x0475
000005b7: PUSH2 0x0db6
000005ba: JUMP
000005bb: JUMPDEST
000005bc: CALLVALUE
000005bd: DUP1
000005be: ISZERO
000005bf: PUSH2 0x05c7
000005c2: JUMPI
000005c3: PUSH1 0x00
000005c5: DUP1
000005c6: REVERT
000005c7: JUMPDEST
000005c8: POP
000005c9: PUSH2 0x0398
000005cc: PUSH2 0x0dc6
000005cf: JUMP
000005d0: JUMPDEST
000005d1: CALLVALUE
000005d2: DUP1
000005d3: ISZERO
000005d4: PUSH2 0x05dc
000005d7: JUMPI
000005d8: PUSH1 0x00
000005da: DUP1
000005db: REVERT
000005dc: JUMPDEST
000005dd: POP
000005de: PUSH2 0x05e5
000005e1: PUSH2 0x0dd8
000005e4: JUMP
000005e5: JUMPDEST
000005e6: PUSH1 0x40
000005e8: DUP1
000005e9: MLOAD
000005ea: PUSH2 0xffff
000005ed: SWAP1
000005ee: SWAP3
000005ef: AND
000005f0: DUP3
000005f1: MSTORE
000005f2: MLOAD
000005f3: SWAP1
000005f4: DUP2
000005f5: SWAP1
000005f6: SUB
000005f7: PUSH1 0x20
000005f9: ADD
000005fa: SWAP1
000005fb: RETURN
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x03e0
0000060d: PUSH2 0x0ddd
00000610: JUMP
00000611: JUMPDEST
00000612: CALLVALUE
00000613: DUP1
00000614: ISZERO
00000615: PUSH2 0x061d
00000618: JUMPI
00000619: PUSH1 0x00
0000061b: DUP1
0000061c: REVERT
0000061d: JUMPDEST
0000061e: POP
0000061f: PUSH2 0x0398
00000622: PUSH2 0x0df0
00000625: JUMP
00000626: JUMPDEST
00000627: CALLVALUE
00000628: DUP1
00000629: ISZERO
0000062a: PUSH2 0x0632
0000062d: JUMPI
0000062e: PUSH1 0x00
00000630: DUP1
00000631: REVERT
00000632: JUMPDEST
00000633: POP
00000634: PUSH2 0x0398
00000637: PUSH1 0x04
00000639: DUP1
0000063a: CALLDATASIZE
0000063b: SUB
0000063c: PUSH1 0x20
0000063e: DUP2
0000063f: LT
00000640: ISZERO
00000641: PUSH2 0x0649
00000644: JUMPI
00000645: PUSH1 0x00
00000647: DUP1
00000648: REVERT
00000649: JUMPDEST
0000064a: POP
0000064b: CALLDATALOAD
0000064c: PUSH1 0x01
0000064e: PUSH1 0x01
00000650: PUSH1 0xa0
00000652: SHL
00000653: SUB
00000654: AND
00000655: PUSH2 0x0ff8
00000658: JUMP
00000659: JUMPDEST
0000065a: CALLVALUE
0000065b: DUP1
0000065c: ISZERO
0000065d: PUSH2 0x0665
00000660: JUMPI
00000661: PUSH1 0x00
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: POP
00000667: PUSH2 0x05e5
0000066a: PUSH2 0x102d
0000066d: JUMP
0000066e: JUMPDEST
0000066f: CALLVALUE
00000670: DUP1
00000671: ISZERO
00000672: PUSH2 0x067a
00000675: JUMPI
00000676: PUSH1 0x00
00000678: DUP1
00000679: REVERT
0000067a: JUMPDEST
0000067b: POP
0000067c: PUSH2 0x03e0
0000067f: PUSH2 0x1032
00000682: JUMP
00000683: JUMPDEST
00000684: CALLVALUE
00000685: DUP1
00000686: ISZERO
00000687: PUSH2 0x068f
0000068a: JUMPI
0000068b: PUSH1 0x00
0000068d: DUP1
0000068e: REVERT
0000068f: JUMPDEST
00000690: POP
00000691: PUSH2 0x0398
00000694: PUSH1 0x04
00000696: DUP1
00000697: CALLDATASIZE
00000698: SUB
00000699: PUSH1 0x60
0000069b: DUP2
0000069c: LT
0000069d: ISZERO
0000069e: PUSH2 0x06a6
000006a1: JUMPI
000006a2: PUSH1 0x00
000006a4: DUP1
000006a5: REVERT
000006a6: JUMPDEST
000006a7: POP
000006a8: PUSH1 0x01
000006aa: PUSH1 0x01
000006ac: PUSH1 0xa0
000006ae: SHL
000006af: SUB
000006b0: DUP2
000006b1: CALLDATALOAD
000006b2: DUP2
000006b3: AND
000006b4: SWAP2
000006b5: PUSH1 0x20
000006b7: DUP2
000006b8: ADD
000006b9: CALLDATALOAD
000006ba: SWAP1
000006bb: SWAP2
000006bc: AND
000006bd: SWAP1
000006be: PUSH1 0x40
000006c0: ADD
000006c1: CALLDATALOAD
000006c2: PUSH2 0x1045
000006c5: JUMP
000006c6: JUMPDEST
000006c7: CALLVALUE
000006c8: DUP1
000006c9: ISZERO
000006ca: PUSH2 0x06d2
000006cd: JUMPI
000006ce: PUSH1 0x00
000006d0: DUP1
000006d1: REVERT
000006d2: JUMPDEST
000006d3: POP
000006d4: PUSH2 0x04b3
000006d7: PUSH2 0x10b9
000006da: JUMP
000006db: JUMPDEST
000006dc: CALLVALUE
000006dd: DUP1
000006de: ISZERO
000006df: PUSH2 0x06e7
000006e2: JUMPI
000006e3: PUSH1 0x00
000006e5: DUP1
000006e6: REVERT
000006e7: JUMPDEST
000006e8: POP
000006e9: PUSH2 0x0398
000006ec: PUSH1 0x04
000006ee: DUP1
000006ef: CALLDATASIZE
000006f0: SUB
000006f1: PUSH1 0x20
000006f3: DUP2
000006f4: LT
000006f5: ISZERO
000006f6: PUSH2 0x06fe
000006f9: JUMPI
000006fa: PUSH1 0x00
000006fc: DUP1
000006fd: REVERT
000006fe: JUMPDEST
000006ff: POP
00000700: CALLDATALOAD
00000701: PUSH1 0x01
00000703: PUSH1 0x01
00000705: PUSH1 0xa0
00000707: SHL
00000708: SUB
00000709: AND
0000070a: PUSH2 0x10c8
0000070d: JUMP
0000070e: JUMPDEST
0000070f: CALLVALUE
00000710: DUP1
00000711: ISZERO
00000712: PUSH2 0x071a
00000715: JUMPI
00000716: PUSH1 0x00
00000718: DUP1
00000719: REVERT
0000071a: JUMPDEST
0000071b: POP
0000071c: PUSH2 0x0398
0000071f: PUSH1 0x04
00000721: DUP1
00000722: CALLDATASIZE
00000723: SUB
00000724: PUSH1 0x20
00000726: DUP2
00000727: LT
00000728: ISZERO
00000729: PUSH2 0x0731
0000072c: JUMPI
0000072d: PUSH1 0x00
0000072f: DUP1
00000730: REVERT
00000731: JUMPDEST
00000732: POP
00000733: CALLDATALOAD
00000734: PUSH1 0x01
00000736: PUSH1 0x01
00000738: PUSH1 0xa0
0000073a: SHL
0000073b: SUB
0000073c: AND
0000073d: PUSH2 0x114f
00000740: JUMP
00000741: JUMPDEST
00000742: CALLVALUE
00000743: DUP1
00000744: ISZERO
00000745: PUSH2 0x074d
00000748: JUMPI
00000749: PUSH1 0x00
0000074b: DUP1
0000074c: REVERT
0000074d: JUMPDEST
0000074e: POP
0000074f: PUSH2 0x0398
00000752: PUSH1 0x04
00000754: DUP1
00000755: CALLDATASIZE
00000756: SUB
00000757: PUSH1 0x40
00000759: DUP2
0000075a: LT
0000075b: ISZERO
0000075c: PUSH2 0x0764
0000075f: JUMPI
00000760: PUSH1 0x00
00000762: DUP1
00000763: REVERT
00000764: JUMPDEST
00000765: POP
00000766: DUP1
00000767: CALLDATALOAD
00000768: PUSH1 0x01
0000076a: PUSH1 0x01
0000076c: PUSH1 0xa0
0000076e: SHL
0000076f: SUB
00000770: AND
00000771: SWAP1
00000772: PUSH1 0x20
00000774: ADD
00000775: CALLDATALOAD
00000776: PUSH4 0xffffffff
0000077b: AND
0000077c: PUSH2 0x11f4
0000077f: JUMP
00000780: JUMPDEST
00000781: CALLVALUE
00000782: DUP1
00000783: ISZERO
00000784: PUSH2 0x078c
00000787: JUMPI
00000788: PUSH1 0x00
0000078a: DUP1
0000078b: REVERT
0000078c: JUMPDEST
0000078d: POP
0000078e: PUSH2 0x0795
00000791: PUSH2 0x1264
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x40
00000798: DUP1
00000799: MLOAD
0000079a: SWAP2
0000079b: DUP3
0000079c: MSTORE
0000079d: MLOAD
0000079e: SWAP1
0000079f: DUP2
000007a0: SWAP1
000007a1: SUB
000007a2: PUSH1 0x20
000007a4: ADD
000007a5: SWAP1
000007a6: RETURN
000007a7: JUMPDEST
000007a8: CALLVALUE
000007a9: DUP1
000007aa: ISZERO
000007ab: PUSH2 0x07b3
000007ae: JUMPI
000007af: PUSH1 0x00
000007b1: DUP1
000007b2: REVERT
000007b3: JUMPDEST
000007b4: POP
000007b5: PUSH2 0x05e5
000007b8: PUSH2 0x126a
000007bb: JUMP
000007bc: JUMPDEST
000007bd: CALLVALUE
000007be: DUP1
000007bf: ISZERO
000007c0: PUSH2 0x07c8
000007c3: JUMPI
000007c4: PUSH1 0x00
000007c6: DUP1
000007c7: REVERT
000007c8: JUMPDEST
000007c9: POP
000007ca: PUSH2 0x0398
000007cd: PUSH2 0x1279
000007d0: JUMP
000007d1: JUMPDEST
000007d2: CALLVALUE
000007d3: DUP1
000007d4: ISZERO
000007d5: PUSH2 0x07dd
000007d8: JUMPI
000007d9: PUSH1 0x00
000007db: DUP1
000007dc: REVERT
000007dd: JUMPDEST
000007de: POP
000007df: PUSH2 0x04b3
000007e2: PUSH2 0x1330
000007e5: JUMP
000007e6: JUMPDEST
000007e7: CALLVALUE
000007e8: DUP1
000007e9: ISZERO
000007ea: PUSH2 0x07f2
000007ed: JUMPI
000007ee: PUSH1 0x00
000007f0: DUP1
000007f1: REVERT
000007f2: JUMPDEST
000007f3: POP
000007f4: PUSH2 0x04b3
000007f7: PUSH2 0x133f
000007fa: JUMP
000007fb: JUMPDEST
000007fc: CALLVALUE
000007fd: DUP1
000007fe: ISZERO
000007ff: PUSH2 0x0807
00000802: JUMPI
00000803: PUSH1 0x00
00000805: DUP1
00000806: REVERT
00000807: JUMPDEST
00000808: POP
00000809: PUSH2 0x03e0
0000080c: PUSH2 0x134e
0000080f: JUMP
00000810: JUMPDEST
00000811: CALLVALUE
00000812: DUP1
00000813: ISZERO
00000814: PUSH2 0x081c
00000817: JUMPI
00000818: PUSH1 0x00
0000081a: DUP1
0000081b: REVERT
0000081c: JUMPDEST
0000081d: POP
0000081e: PUSH2 0x05e5
00000821: PUSH2 0x1362
00000824: JUMP
00000825: JUMPDEST
00000826: CALLVALUE
00000827: DUP1
00000828: ISZERO
00000829: PUSH2 0x0831
0000082c: JUMPI
0000082d: PUSH1 0x00
0000082f: DUP1
00000830: REVERT
00000831: JUMPDEST
00000832: POP
00000833: PUSH2 0x0398
00000836: PUSH1 0x04
00000838: DUP1
00000839: CALLDATASIZE
0000083a: SUB
0000083b: PUSH1 0x20
0000083d: DUP2
0000083e: LT
0000083f: ISZERO
00000840: PUSH2 0x0848
00000843: JUMPI
00000844: PUSH1 0x00
00000846: DUP1
00000847: REVERT
00000848: JUMPDEST
00000849: POP
0000084a: CALLDATALOAD
0000084b: PUSH4 0xffffffff
00000850: AND
00000851: PUSH2 0x1368
00000854: JUMP
00000855: JUMPDEST
00000856: CALLVALUE
00000857: DUP1
00000858: ISZERO
00000859: PUSH2 0x0861
0000085c: JUMPI
0000085d: PUSH1 0x00
0000085f: DUP1
00000860: REVERT
00000861: JUMPDEST
00000862: POP
00000863: PUSH2 0x0545
00000866: PUSH1 0x04
00000868: DUP1
00000869: CALLDATASIZE
0000086a: SUB
0000086b: PUSH1 0x60
0000086d: DUP2
0000086e: LT
0000086f: ISZERO
00000870: PUSH2 0x0878
00000873: JUMPI
00000874: PUSH1 0x00
00000876: DUP1
00000877: REVERT
00000878: JUMPDEST
00000879: POP
0000087a: PUSH1 0x01
0000087c: PUSH1 0x01
0000087e: PUSH1 0xa0
00000880: SHL
00000881: SUB
00000882: DUP2
00000883: CALLDATALOAD
00000884: DUP2
00000885: AND
00000886: SWAP2
00000887: PUSH1 0x20
00000889: DUP2
0000088a: ADD
0000088b: CALLDATALOAD
0000088c: SWAP1
0000088d: SWAP2
0000088e: AND
0000088f: SWAP1
00000890: PUSH1 0x40
00000892: ADD
00000893: CALLDATALOAD
00000894: PUSH2 0x139e
00000897: JUMP
00000898: JUMPDEST
00000899: CALLVALUE
0000089a: DUP1
0000089b: ISZERO
0000089c: PUSH2 0x08a4
0000089f: JUMPI
000008a0: PUSH1 0x00
000008a2: DUP1
000008a3: REVERT
000008a4: JUMPDEST
000008a5: POP
000008a6: PUSH2 0x0398
000008a9: PUSH2 0x1487
000008ac: JUMP
000008ad: JUMPDEST
000008ae: CALLVALUE
000008af: DUP1
000008b0: ISZERO
000008b1: PUSH2 0x08b9
000008b4: JUMPI
000008b5: PUSH1 0x00
000008b7: DUP1
000008b8: REVERT
000008b9: JUMPDEST
000008ba: POP
000008bb: PUSH2 0x0475
000008be: PUSH2 0x14b3
000008c1: JUMP
000008c2: JUMPDEST
000008c3: CALLVALUE
000008c4: DUP1
000008c5: ISZERO
000008c6: PUSH2 0x08ce
000008c9: JUMPI
000008ca: PUSH1 0x00
000008cc: DUP1
000008cd: REVERT
000008ce: JUMPDEST
000008cf: POP
000008d0: PUSH2 0x0398
000008d3: PUSH1 0x04
000008d5: DUP1
000008d6: CALLDATASIZE
000008d7: SUB
000008d8: PUSH1 0x20
000008da: DUP2
000008db: LT
000008dc: ISZERO
000008dd: PUSH2 0x08e5
000008e0: JUMPI
000008e1: PUSH1 0x00
000008e3: DUP1
000008e4: REVERT
000008e5: JUMPDEST
000008e6: POP
000008e7: CALLDATALOAD
000008e8: PUSH4 0xffffffff
000008ed: AND
000008ee: PUSH2 0x14b8
000008f1: JUMP
000008f2: JUMPDEST
000008f3: CALLVALUE
000008f4: DUP1
000008f5: ISZERO
000008f6: PUSH2 0x08fe
000008f9: JUMPI
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: REVERT
000008fe: JUMPDEST
000008ff: POP
00000900: PUSH2 0x04b3
00000903: PUSH2 0x14ee
00000906: JUMP
00000907: JUMPDEST
00000908: CALLVALUE
00000909: DUP1
0000090a: ISZERO
0000090b: PUSH2 0x0913
0000090e: JUMPI
0000090f: PUSH1 0x00
00000911: DUP1
00000912: REVERT
00000913: JUMPDEST
00000914: POP
00000915: PUSH2 0x0398
00000918: PUSH1 0x04
0000091a: DUP1
0000091b: CALLDATASIZE
0000091c: SUB
0000091d: PUSH1 0x20
0000091f: DUP2
00000920: LT
00000921: ISZERO
00000922: PUSH2 0x092a
00000925: JUMPI
00000926: PUSH1 0x00
00000928: DUP1
00000929: REVERT
0000092a: JUMPDEST
0000092b: POP
0000092c: CALLDATALOAD
0000092d: PUSH2 0x14fd
00000930: JUMP
00000931: JUMPDEST
00000932: CALLVALUE
00000933: DUP1
00000934: ISZERO
00000935: PUSH2 0x093d
00000938: JUMPI
00000939: PUSH1 0x00
0000093b: DUP1
0000093c: REVERT
0000093d: JUMPDEST
0000093e: POP
0000093f: PUSH2 0x0398
00000942: PUSH2 0x1512
00000945: JUMP
00000946: JUMPDEST
00000947: CALLVALUE
00000948: DUP1
00000949: ISZERO
0000094a: PUSH2 0x0952
0000094d: JUMPI
0000094e: PUSH1 0x00
00000950: DUP1
00000951: REVERT
00000952: JUMPDEST
00000953: POP
00000954: PUSH2 0x04b3
00000957: PUSH1 0x04
00000959: DUP1
0000095a: CALLDATASIZE
0000095b: SUB
0000095c: PUSH1 0x20
0000095e: DUP2
0000095f: LT
00000960: ISZERO
00000961: PUSH2 0x0969
00000964: JUMPI
00000965: PUSH1 0x00
00000967: DUP1
00000968: REVERT
00000969: JUMPDEST
0000096a: POP
0000096b: CALLDATALOAD
0000096c: PUSH2 0x156b
0000096f: JUMP
00000970: JUMPDEST
00000971: CALLVALUE
00000972: DUP1
00000973: ISZERO
00000974: PUSH2 0x097c
00000977: JUMPI
00000978: PUSH1 0x00
0000097a: DUP1
0000097b: REVERT
0000097c: JUMPDEST
0000097d: POP
0000097e: PUSH2 0x0795
00000981: PUSH1 0x04
00000983: DUP1
00000984: CALLDATASIZE
00000985: SUB
00000986: PUSH1 0x20
00000988: DUP2
00000989: LT
0000098a: ISZERO
0000098b: PUSH2 0x0993
0000098e: JUMPI
0000098f: PUSH1 0x00
00000991: DUP1
00000992: REVERT
00000993: JUMPDEST
00000994: POP
00000995: CALLDATALOAD
00000996: PUSH1 0x01
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: SHL
0000099d: SUB
0000099e: AND
0000099f: PUSH2 0x1592
000009a2: JUMP
000009a3: JUMPDEST
000009a4: CALLVALUE
000009a5: DUP1
000009a6: ISZERO
000009a7: PUSH2 0x09af
000009aa: JUMPI
000009ab: PUSH1 0x00
000009ad: DUP1
000009ae: REVERT
000009af: JUMPDEST
000009b0: POP
000009b1: PUSH2 0x0475
000009b4: PUSH2 0x15dc
000009b7: JUMP
000009b8: JUMPDEST
000009b9: CALLVALUE
000009ba: DUP1
000009bb: ISZERO
000009bc: PUSH2 0x09c4
000009bf: JUMPI
000009c0: PUSH1 0x00
000009c2: DUP1
000009c3: REVERT
000009c4: JUMPDEST
000009c5: POP
000009c6: PUSH2 0x04b3
000009c9: PUSH2 0x15e1
000009cc: JUMP
000009cd: JUMPDEST
000009ce: CALLVALUE
000009cf: DUP1
000009d0: ISZERO
000009d1: PUSH2 0x09d9
000009d4: JUMPI
000009d5: PUSH1 0x00
000009d7: DUP1
000009d8: REVERT
000009d9: JUMPDEST
000009da: POP
000009db: PUSH2 0x04b3
000009de: PUSH2 0x15f0
000009e1: JUMP
000009e2: JUMPDEST
000009e3: CALLVALUE
000009e4: DUP1
000009e5: ISZERO
000009e6: PUSH2 0x09ee
000009e9: JUMPI
000009ea: PUSH1 0x00
000009ec: DUP1
000009ed: REVERT
000009ee: JUMPDEST
000009ef: POP
000009f0: PUSH2 0x0398
000009f3: PUSH2 0x15ff
000009f6: JUMP
000009f7: JUMPDEST
000009f8: CALLVALUE
000009f9: DUP1
000009fa: ISZERO
000009fb: PUSH2 0x0a03
000009fe: JUMPI
000009ff: PUSH1 0x00
00000a01: DUP1
00000a02: REVERT
00000a03: JUMPDEST
00000a04: POP
00000a05: PUSH2 0x042c
00000a08: PUSH1 0x04
00000a0a: DUP1
00000a0b: CALLDATASIZE
00000a0c: SUB
00000a0d: PUSH1 0x20
00000a0f: DUP2
00000a10: LT
00000a11: ISZERO
00000a12: PUSH2 0x0a1a
00000a15: JUMPI
00000a16: PUSH1 0x00
00000a18: DUP1
00000a19: REVERT
00000a1a: JUMPDEST
00000a1b: POP
00000a1c: CALLDATALOAD
00000a1d: PUSH1 0x01
00000a1f: PUSH1 0x01
00000a21: PUSH1 0xa0
00000a23: SHL
00000a24: SUB
00000a25: AND
00000a26: PUSH2 0x16ed
00000a29: JUMP
00000a2a: JUMPDEST
00000a2b: CALLVALUE
00000a2c: DUP1
00000a2d: ISZERO
00000a2e: PUSH2 0x0a36
00000a31: JUMPI
00000a32: PUSH1 0x00
00000a34: DUP1
00000a35: REVERT
00000a36: JUMPDEST
00000a37: POP
00000a38: PUSH2 0x0398
00000a3b: PUSH1 0x04
00000a3d: DUP1
00000a3e: CALLDATASIZE
00000a3f: SUB
00000a40: PUSH1 0x20
00000a42: DUP2
00000a43: LT
00000a44: ISZERO
00000a45: PUSH2 0x0a4d
00000a48: JUMPI
00000a49: PUSH1 0x00
00000a4b: DUP1
00000a4c: REVERT
00000a4d: JUMPDEST
00000a4e: POP
00000a4f: CALLDATALOAD
00000a50: PUSH1 0x01
00000a52: PUSH1 0x01
00000a54: PUSH1 0xa0
00000a56: SHL
00000a57: SUB
00000a58: AND
00000a59: PUSH2 0x1730
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: CALLVALUE
00000a5f: DUP1
00000a60: ISZERO
00000a61: PUSH2 0x0a69
00000a64: JUMPI
00000a65: PUSH1 0x00
00000a67: DUP1
00000a68: REVERT
00000a69: JUMPDEST
00000a6a: POP
00000a6b: PUSH2 0x0795
00000a6e: PUSH1 0x04
00000a70: DUP1
00000a71: CALLDATASIZE
00000a72: SUB
00000a73: PUSH1 0x20
00000a75: DUP2
00000a76: LT
00000a77: ISZERO
00000a78: PUSH2 0x0a80
00000a7b: JUMPI
00000a7c: PUSH1 0x00
00000a7e: DUP1
00000a7f: REVERT
00000a80: JUMPDEST
00000a81: POP
00000a82: CALLDATALOAD
00000a83: PUSH1 0x01
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: SHL
00000a8a: SUB
00000a8b: AND
00000a8c: PUSH2 0x19a9
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: CALLVALUE
00000a92: DUP1
00000a93: ISZERO
00000a94: PUSH2 0x0a9c
00000a97: JUMPI
00000a98: PUSH1 0x00
00000a9a: DUP1
00000a9b: REVERT
00000a9c: JUMPDEST
00000a9d: POP
00000a9e: PUSH2 0x0795
00000aa1: PUSH1 0x04
00000aa3: DUP1
00000aa4: CALLDATASIZE
00000aa5: SUB
00000aa6: PUSH1 0x20
00000aa8: DUP2
00000aa9: LT
00000aaa: ISZERO
00000aab: PUSH2 0x0ab3
00000aae: JUMPI
00000aaf: PUSH1 0x00
00000ab1: DUP1
00000ab2: REVERT
00000ab3: JUMPDEST
00000ab4: POP
00000ab5: CALLDATALOAD
00000ab6: PUSH1 0x01
00000ab8: PUSH1 0x01
00000aba: PUSH1 0xa0
00000abc: SHL
00000abd: SUB
00000abe: AND
00000abf: PUSH2 0x19ba
00000ac2: JUMP
00000ac3: JUMPDEST
00000ac4: PUSH2 0x0795
00000ac7: PUSH1 0x04
00000ac9: DUP1
00000aca: CALLDATASIZE
00000acb: SUB
00000acc: PUSH1 0xa0
00000ace: DUP2
00000acf: LT
00000ad0: ISZERO
00000ad1: PUSH2 0x0ad9
00000ad4: JUMPI
00000ad5: PUSH1 0x00
00000ad7: DUP1
00000ad8: REVERT
00000ad9: JUMPDEST
00000ada: POP
00000adb: PUSH1 0x01
00000add: PUSH1 0x01
00000adf: PUSH1 0xa0
00000ae1: SHL
00000ae2: SUB
00000ae3: DUP2
00000ae4: CALLDATALOAD
00000ae5: DUP2
00000ae6: AND
00000ae7: SWAP2
00000ae8: PUSH1 0x20
00000aea: DUP2
00000aeb: ADD
00000aec: CALLDATALOAD
00000aed: DUP3
00000aee: AND
00000aef: SWAP2
00000af0: PUSH1 0x40
00000af2: DUP3
00000af3: ADD
00000af4: CALLDATALOAD
00000af5: SWAP2
00000af6: PUSH1 0x60
00000af8: DUP2
00000af9: ADD
00000afa: CALLDATALOAD
00000afb: DUP3
00000afc: AND
00000afd: SWAP2
00000afe: PUSH1 0x80
00000b00: SWAP1
00000b01: SWAP2
00000b02: ADD
00000b03: CALLDATALOAD
00000b04: AND
00000b05: PUSH2 0x19e3
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: CALLVALUE
00000b0b: DUP1
00000b0c: ISZERO
00000b0d: PUSH2 0x0b15
00000b10: JUMPI
00000b11: PUSH1 0x00
00000b13: DUP1
00000b14: REVERT
00000b15: JUMPDEST
00000b16: POP
00000b17: PUSH2 0x0398
00000b1a: PUSH1 0x04
00000b1c: DUP1
00000b1d: CALLDATASIZE
00000b1e: SUB
00000b1f: PUSH1 0x20
00000b21: DUP2
00000b22: LT
00000b23: ISZERO
00000b24: PUSH2 0x0b2c
00000b27: JUMPI
00000b28: PUSH1 0x00
00000b2a: DUP1
00000b2b: REVERT
00000b2c: JUMPDEST
00000b2d: POP
00000b2e: CALLDATALOAD
00000b2f: PUSH4 0xffffffff
00000b34: AND
00000b35: PUSH2 0x1bf3
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: CALLVALUE
00000b3b: DUP1
00000b3c: ISZERO
00000b3d: PUSH2 0x0b45
00000b40: JUMPI
00000b41: PUSH1 0x00
00000b43: DUP1
00000b44: REVERT
00000b45: JUMPDEST
00000b46: POP
00000b47: PUSH2 0x0398
00000b4a: PUSH1 0x04
00000b4c: DUP1
00000b4d: CALLDATASIZE
00000b4e: SUB
00000b4f: PUSH1 0x20
00000b51: DUP2
00000b52: LT
00000b53: ISZERO
00000b54: PUSH2 0x0b5c
00000b57: JUMPI
00000b58: PUSH1 0x00
00000b5a: DUP1
00000b5b: REVERT
00000b5c: JUMPDEST
00000b5d: POP
00000b5e: CALLDATALOAD
00000b5f: PUSH1 0x01
00000b61: PUSH1 0x01
00000b63: PUSH1 0xa0
00000b65: SHL
00000b66: SUB
00000b67: AND
00000b68: PUSH2 0x1cdb
00000b6b: JUMP
00000b6c: JUMPDEST
00000b6d: CALLVALUE
00000b6e: DUP1
00000b6f: ISZERO
00000b70: PUSH2 0x0b78
00000b73: JUMPI
00000b74: PUSH1 0x00
00000b76: DUP1
00000b77: REVERT
00000b78: JUMPDEST
00000b79: POP
00000b7a: PUSH2 0x03e0
00000b7d: PUSH2 0x1d59
00000b80: JUMP
00000b81: JUMPDEST
00000b82: CALLVALUE
00000b83: DUP1
00000b84: ISZERO
00000b85: PUSH2 0x0b8d
00000b88: JUMPI
00000b89: PUSH1 0x00
00000b8b: DUP1
00000b8c: REVERT
00000b8d: JUMPDEST
00000b8e: POP
00000b8f: PUSH2 0x04b3
00000b92: PUSH2 0x1d6c
00000b95: JUMP
00000b96: JUMPDEST
00000b97: PUSH2 0x0b9e
00000b9a: PUSH2 0x1d7b
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH1 0x03
00000ba1: DUP1
00000ba2: SLOAD
00000ba3: SWAP2
00000ba4: ISZERO
00000ba5: ISZERO
00000ba6: PUSH1 0x01
00000ba8: PUSH1 0xa0
00000baa: SHL
00000bab: MUL
00000bac: PUSH1 0xff
00000bae: PUSH1 0xa0
00000bb0: SHL
00000bb1: NOT
00000bb2: SWAP1
00000bb3: SWAP3
00000bb4: AND
00000bb5: SWAP2
00000bb6: SWAP1
00000bb7: SWAP2
00000bb8: OR
00000bb9: SWAP1
00000bba: SSTORE
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: PUSH1 0x08
00000bbf: SLOAD
00000bc0: PUSH4 0xffffffff
00000bc5: AND
00000bc6: DUP2
00000bc7: JUMP
00000bc8: JUMPDEST
00000bc9: PUSH1 0x00
00000bcb: DUP1
00000bcc: PUSH1 0x00
00000bce: DUP1
00000bcf: PUSH1 0x00
00000bd1: PUSH2 0x0bd8
00000bd4: PUSH2 0x32b5
00000bd7: JUMP
00000bd8: JUMPDEST
00000bd9: POP
00000bda: POP
00000bdb: POP
00000bdc: POP
00000bdd: PUSH1 0x01
00000bdf: PUSH1 0x01
00000be1: PUSH1 0xa0
00000be3: SHL
00000be4: SUB
00000be5: SWAP3
00000be6: SWAP1
00000be7: SWAP3
00000be8: AND
00000be9: PUSH1 0x00
00000beb: SWAP1
00000bec: DUP2
00000bed: MSTORE
00000bee: PUSH1 0x07
00000bf0: PUSH1 0x20
00000bf2: SWAP1
00000bf3: DUP2
00000bf4: MSTORE
00000bf5: PUSH1 0x40
00000bf7: DUP1
00000bf8: DUP4
00000bf9: KECCAK256
00000bfa: DUP2
00000bfb: MLOAD
00000bfc: PUSH1 0xa0
00000bfe: DUP2
00000bff: ADD
00000c00: DUP4
00000c01: MSTORE
00000c02: DUP2
00000c03: SLOAD
00000c04: DUP1
00000c05: DUP3
00000c06: MSTORE
00000c07: PUSH1 0x01
00000c09: SWAP1
00000c0a: SWAP3
00000c0b: ADD
00000c0c: SLOAD
00000c0d: PUSH4 0xffffffff
00000c12: DUP2
00000c13: AND
00000c14: SWAP5
00000c15: DUP3
00000c16: ADD
00000c17: DUP6
00000c18: SWAP1
00000c19: MSTORE
00000c1a: PUSH1 0xff
00000c1c: PUSH5 0x0100000000
00000c22: DUP3
00000c23: DIV
00000c24: DUP2
00000c25: AND
00000c26: ISZERO
00000c27: ISZERO
00000c28: SWAP5
00000c29: DUP4
00000c2a: ADD
00000c2b: SWAP5
00000c2c: SWAP1
00000c2d: SWAP5
00000c2e: MSTORE
00000c2f: PUSH6 0x010000000000
00000c36: DUP2
00000c37: DIV
00000c38: DUP5
00000c39: AND
00000c3a: ISZERO
00000c3b: ISZERO
00000c3c: PUSH1 0x60
00000c3e: DUP4
00000c3f: ADD
00000c40: MSTORE
00000c41: PUSH1 0x01
00000c43: PUSH1 0x30
00000c45: SHL
00000c46: SWAP1
00000c47: DIV
00000c48: SWAP1
00000c49: SWAP3
00000c4a: AND
00000c4b: ISZERO
00000c4c: ISZERO
00000c4d: PUSH1 0x80
00000c4f: SWAP1
00000c50: SWAP3
00000c51: ADD
00000c52: DUP3
00000c53: SWAP1
00000c54: MSTORE
00000c55: SWAP6
00000c56: SWAP2
00000c57: SWAP5
00000c58: POP
00000c59: SWAP2
00000c5a: SWAP3
00000c5b: POP
00000c5c: DUP3
00000c5d: SWAP2
00000c5e: SWAP1
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000c76: PUSH1 0x00
00000c78: MSTORE
00000c79: PUSH1 0x07
00000c7b: PUSH1 0x20
00000c7d: MSTORE
00000c7e: PUSH32 0xb2084a3e4595ccf007fb44245853374aaf0de960074375e8e0fb334712e94d0f
00000c9f: SLOAD
00000ca0: PUSH1 0x01
00000ca2: PUSH1 0x30
00000ca4: SHL
00000ca5: SWAP1
00000ca6: DIV
00000ca7: PUSH1 0xff
00000ca9: AND
00000caa: SWAP1
00000cab: JUMP
00000cac: JUMPDEST
00000cad: PUSH1 0x00
00000caf: PUSH1 0x06
00000cb1: DUP3
00000cb2: DUP2
00000cb3: SLOAD
00000cb4: DUP2
00000cb5: LT
00000cb6: PUSH2 0x0cbb
00000cb9: JUMPI
00000cba: INVALID
00000cbb: JUMPDEST
00000cbc: PUSH1 0x00
00000cbe: SWAP2
00000cbf: DUP3
00000cc0: MSTORE
00000cc1: PUSH1 0x20
00000cc3: SWAP1
00000cc4: SWAP2
00000cc5: KECCAK256
00000cc6: ADD
00000cc7: SLOAD
00000cc8: PUSH1 0x01
00000cca: PUSH1 0x01
00000ccc: PUSH1 0xa0
00000cce: SHL
00000ccf: SUB
00000cd0: AND
00000cd1: SWAP3
00000cd2: SWAP2
00000cd3: POP
00000cd4: POP
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: PUSH1 0x00
00000cd9: DUP2
00000cda: PUSH2 0x0ce2
00000cdd: DUP2
00000cde: PUSH2 0x1dce
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: POP
00000ce4: POP
00000ce5: PUSH1 0x01
00000ce7: PUSH1 0x01
00000ce9: PUSH1 0xa0
00000ceb: SHL
00000cec: SUB
00000ced: AND
00000cee: PUSH1 0x00
00000cf0: SWAP1
00000cf1: DUP2
00000cf2: MSTORE
00000cf3: PUSH1 0x07
00000cf5: PUSH1 0x20
00000cf7: MSTORE
00000cf8: PUSH1 0x40
00000cfa: SWAP1
00000cfb: KECCAK256
00000cfc: PUSH1 0x01
00000cfe: ADD
00000cff: SLOAD
00000d00: PUSH4 0xffffffff
00000d05: AND
00000d06: SWAP1
00000d07: JUMP
00000d08: JUMPDEST
00000d09: PUSH1 0x00
00000d0b: DUP1
00000d0c: PUSH2 0x0d16
00000d0f: DUP6
00000d10: DUP6
00000d11: DUP6
00000d12: PUSH2 0x139e
00000d15: JUMP
00000d16: JUMPDEST
00000d17: SWAP2
00000d18: POP
00000d19: SWAP2
00000d1a: POP
00000d1b: JUMPDEST
00000d1c: SWAP4
00000d1d: POP
00000d1e: SWAP4
00000d1f: SWAP2
00000d20: POP
00000d21: POP
00000d22: JUMP
00000d23: JUMPDEST
00000d24: PUSH2 0x0d2b
00000d27: PUSH2 0x1d7b
00000d2a: JUMP
00000d2b: JUMPDEST
00000d2c: PUSH2 0x0d34
00000d2f: DUP2
00000d30: PUSH2 0x10c8
00000d33: JUMP
00000d34: JUMPDEST
00000d35: POP
00000d36: JUMP
00000d37: JUMPDEST
00000d38: PUSH1 0x04
00000d3a: DUP1
00000d3b: SLOAD
00000d3c: PUSH1 0x40
00000d3e: DUP1
00000d3f: MLOAD
00000d40: PUSH4 0x8da5cb5b
00000d45: PUSH1 0xe0
00000d47: SHL
00000d48: DUP2
00000d49: MSTORE
00000d4a: SWAP1
00000d4b: MLOAD
00000d4c: PUSH1 0x00
00000d4e: SWAP4
00000d4f: ADDRESS
00000d50: SWAP4
00000d51: PUSH1 0x01
00000d53: PUSH1 0x01
00000d55: PUSH1 0xa0
00000d57: SHL
00000d58: SUB
00000d59: AND
00000d5a: SWAP3
00000d5b: PUSH4 0x8da5cb5b
00000d60: SWAP3
00000d61: DUP2
00000d62: DUP4
00000d63: ADD
00000d64: SWAP3
00000d65: PUSH1 0x20
00000d67: SWAP3
00000d68: DUP3
00000d69: SWAP1
00000d6a: SUB
00000d6b: ADD
00000d6c: DUP2
00000d6d: DUP7
00000d6e: DUP1
00000d6f: EXTCODESIZE
00000d70: ISZERO
00000d71: DUP1
00000d72: ISZERO
00000d73: PUSH2 0x0d7b
00000d76: JUMPI
00000d77: PUSH1 0x00
00000d79: DUP1
00000d7a: REVERT
00000d7b: JUMPDEST
00000d7c: POP
00000d7d: GAS
00000d7e: STATICCALL
00000d7f: ISZERO
00000d80: DUP1
00000d81: ISZERO
00000d82: PUSH2 0x0d8f
00000d85: JUMPI
00000d86: RETURNDATASIZE
00000d87: PUSH1 0x00
00000d89: DUP1
00000d8a: RETURNDATACOPY
00000d8b: RETURNDATASIZE
00000d8c: PUSH1 0x00
00000d8e: REVERT
00000d8f: JUMPDEST
00000d90: POP
00000d91: POP
00000d92: POP
00000d93: POP
00000d94: PUSH1 0x40
00000d96: MLOAD
00000d97: RETURNDATASIZE
00000d98: PUSH1 0x20
00000d9a: DUP2
00000d9b: LT
00000d9c: ISZERO
00000d9d: PUSH2 0x0da5
00000da0: JUMPI
00000da1: PUSH1 0x00
00000da3: DUP1
00000da4: REVERT
00000da5: JUMPDEST
00000da6: POP
00000da7: MLOAD
00000da8: PUSH1 0x01
00000daa: PUSH1 0x01
00000dac: PUSH1 0xa0
00000dae: SHL
00000daf: SUB
00000db0: AND
00000db1: EQ
00000db2: SWAP1
00000db3: POP
00000db4: SWAP1
00000db5: JUMP
00000db6: JUMPDEST
00000db7: PUSH1 0x03
00000db9: SLOAD
00000dba: PUSH1 0x01
00000dbc: PUSH1 0xa0
00000dbe: SHL
00000dbf: SWAP1
00000dc0: DIV
00000dc1: PUSH1 0xff
00000dc3: AND
00000dc4: DUP2
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH2 0x0dce
00000dca: PUSH2 0x1d7b
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: PUSH2 0x0dd6
00000dd2: PUSH2 0x1512
00000dd5: JUMP
00000dd6: JUMPDEST
00000dd7: JUMP
00000dd8: JUMPDEST
00000dd9: PUSH1 0x00
00000ddb: SWAP1
00000ddc: JUMP
00000ddd: JUMPDEST
00000dde: PUSH1 0x08
00000de0: SLOAD
00000de1: PUSH1 0x01
00000de3: PUSH1 0x60
00000de5: SHL
00000de6: SWAP1
00000de7: DIV
00000de8: PUSH4 0xffffffff
00000ded: AND
00000dee: DUP2
00000def: JUMP
00000df0: JUMPDEST
00000df1: PUSH1 0x00
00000df3: SLOAD
00000df4: PUSH1 0x01
00000df6: PUSH1 0x01
00000df8: PUSH1 0xa0
00000dfa: SHL
00000dfb: SUB
00000dfc: AND
00000dfd: CALLER
00000dfe: EQ
00000dff: DUP1
00000e00: PUSH2 0x0e13
00000e03: JUMPI
00000e04: POP
00000e05: PUSH1 0x03
00000e07: SLOAD
00000e08: PUSH1 0x01
00000e0a: PUSH1 0xa0
00000e0c: SHL
00000e0d: SWAP1
00000e0e: DIV
00000e0f: PUSH1 0xff
00000e11: AND
00000e12: ISZERO
00000e13: JUMPDEST
00000e14: PUSH2 0x0e58
00000e17: JUMPI
00000e18: PUSH1 0x40
00000e1a: DUP1
00000e1b: MLOAD
00000e1c: PUSH3 0x461bcd
00000e20: PUSH1 0xe5
00000e22: SHL
00000e23: DUP2
00000e24: MSTORE
00000e25: PUSH1 0x20
00000e27: PUSH1 0x04
00000e29: DUP3
00000e2a: ADD
00000e2b: MSTORE
00000e2c: PUSH1 0x11
00000e2e: PUSH1 0x24
00000e30: DUP3
00000e31: ADD
00000e32: MSTORE
00000e33: PUSH17 0x11549497d050d0d154d4d7d11153925151
00000e45: PUSH1 0x7a
00000e47: SHL
00000e48: PUSH1 0x44
00000e4a: DUP3
00000e4b: ADD
00000e4c: MSTORE
00000e4d: SWAP1
00000e4e: MLOAD
00000e4f: SWAP1
00000e50: DUP2
00000e51: SWAP1
00000e52: SUB
00000e53: PUSH1 0x64
00000e55: ADD
00000e56: SWAP1
00000e57: REVERT
00000e58: JUMPDEST
00000e59: PUSH1 0x00
00000e5b: PUSH2 0x0e76
00000e5e: PUSH16 0x436f6e74726163745265676973747279
00000e6f: PUSH1 0x80
00000e71: SHL
00000e72: PUSH2 0x1e3b
00000e75: JUMP
00000e76: JUMPDEST
00000e77: PUSH1 0x02
00000e79: SLOAD
00000e7a: SWAP1
00000e7b: SWAP2
00000e7c: POP
00000e7d: PUSH1 0x01
00000e7f: PUSH1 0x01
00000e81: PUSH1 0xa0
00000e83: SHL
00000e84: SUB
00000e85: DUP1
00000e86: DUP4
00000e87: AND
00000e88: SWAP2
00000e89: AND
00000e8a: EQ
00000e8b: DUP1
00000e8c: ISZERO
00000e8d: SWAP1
00000e8e: PUSH2 0x0e9f
00000e91: JUMPI
00000e92: POP
00000e93: PUSH1 0x01
00000e95: PUSH1 0x01
00000e97: PUSH1 0xa0
00000e99: SHL
00000e9a: SUB
00000e9b: DUP2
00000e9c: AND
00000e9d: ISZERO
00000e9e: ISZERO
00000e9f: JUMPDEST
00000ea0: PUSH2 0x0ee7
00000ea3: JUMPI
00000ea4: PUSH1 0x40
00000ea6: DUP1
00000ea7: MLOAD
00000ea8: PUSH3 0x461bcd
00000eac: PUSH1 0xe5
00000eae: SHL
00000eaf: DUP2
00000eb0: MSTORE
00000eb1: PUSH1 0x20
00000eb3: PUSH1 0x04
00000eb5: DUP3
00000eb6: ADD
00000eb7: MSTORE
00000eb8: PUSH1 0x14
00000eba: PUSH1 0x24
00000ebc: DUP3
00000ebd: ADD
00000ebe: MSTORE
00000ebf: PUSH20 0x4552525f494e56414c49445f5245474953545259
00000ed4: PUSH1 0x60
00000ed6: SHL
00000ed7: PUSH1 0x44
00000ed9: DUP3
00000eda: ADD
00000edb: MSTORE
00000edc: SWAP1
00000edd: MLOAD
00000ede: SWAP1
00000edf: DUP2
00000ee0: SWAP1
00000ee1: SUB
00000ee2: PUSH1 0x64
00000ee4: ADD
00000ee5: SWAP1
00000ee6: REVERT
00000ee7: JUMPDEST
00000ee8: PUSH1 0x00
00000eea: PUSH1 0x01
00000eec: PUSH1 0x01
00000eee: PUSH1 0xa0
00000ef0: SHL
00000ef1: SUB
00000ef2: AND
00000ef3: DUP2
00000ef4: PUSH1 0x01
00000ef6: PUSH1 0x01
00000ef8: PUSH1 0xa0
00000efa: SHL
00000efb: SUB
00000efc: AND
00000efd: PUSH4 0xbb34534c
00000f02: PUSH16 0x436f6e74726163745265676973747279
00000f13: PUSH1 0x80
00000f15: SHL
00000f16: PUSH1 0x40
00000f18: MLOAD
00000f19: DUP3
00000f1a: PUSH4 0xffffffff
00000f1f: AND
00000f20: PUSH1 0xe0
00000f22: SHL
00000f23: DUP2
00000f24: MSTORE
00000f25: PUSH1 0x04
00000f27: ADD
00000f28: DUP1
00000f29: DUP3
00000f2a: DUP2
00000f2b: MSTORE
00000f2c: PUSH1 0x20
00000f2e: ADD
00000f2f: SWAP2
00000f30: POP
00000f31: POP
00000f32: PUSH1 0x20
00000f34: PUSH1 0x40
00000f36: MLOAD
00000f37: DUP1
00000f38: DUP4
00000f39: SUB
00000f3a: DUP2
00000f3b: DUP7
00000f3c: DUP1
00000f3d: EXTCODESIZE
00000f3e: ISZERO
00000f3f: DUP1
00000f40: ISZERO
00000f41: PUSH2 0x0f49
00000f44: JUMPI
00000f45: PUSH1 0x00
00000f47: DUP1
00000f48: REVERT
00000f49: JUMPDEST
00000f4a: POP
00000f4b: GAS
00000f4c: STATICCALL
00000f4d: ISZERO
00000f4e: DUP1
00000f4f: ISZERO
00000f50: PUSH2 0x0f5d
00000f53: JUMPI
00000f54: RETURNDATASIZE
00000f55: PUSH1 0x00
00000f57: DUP1
00000f58: RETURNDATACOPY
00000f59: RETURNDATASIZE
00000f5a: PUSH1 0x00
00000f5c: REVERT
00000f5d: JUMPDEST
00000f5e: POP
00000f5f: POP
00000f60: POP
00000f61: POP
00000f62: PUSH1 0x40
00000f64: MLOAD
00000f65: RETURNDATASIZE
00000f66: PUSH1 0x20
00000f68: DUP2
00000f69: LT
00000f6a: ISZERO
00000f6b: PUSH2 0x0f73
00000f6e: JUMPI
00000f6f: PUSH1 0x00
00000f71: DUP1
00000f72: REVERT
00000f73: JUMPDEST
00000f74: POP
00000f75: MLOAD
00000f76: PUSH1 0x01
00000f78: PUSH1 0x01
00000f7a: PUSH1 0xa0
00000f7c: SHL
00000f7d: SUB
00000f7e: AND
00000f7f: EQ
00000f80: ISZERO
00000f81: PUSH2 0x0fc8
00000f84: JUMPI
00000f85: PUSH1 0x40
00000f87: DUP1
00000f88: MLOAD
00000f89: PUSH3 0x461bcd
00000f8d: PUSH1 0xe5
00000f8f: SHL
00000f90: DUP2
00000f91: MSTORE
00000f92: PUSH1 0x20
00000f94: PUSH1 0x04
00000f96: DUP3
00000f97: ADD
00000f98: MSTORE
00000f99: PUSH1 0x14
00000f9b: PUSH1 0x24
00000f9d: DUP3
00000f9e: ADD
00000f9f: MSTORE
00000fa0: PUSH20 0x4552525f494e56414c49445f5245474953545259
00000fb5: PUSH1 0x60
00000fb7: SHL
00000fb8: PUSH1 0x44
00000fba: DUP3
00000fbb: ADD
00000fbc: MSTORE
00000fbd: SWAP1
00000fbe: MLOAD
00000fbf: SWAP1
00000fc0: DUP2
00000fc1: SWAP1
00000fc2: SUB
00000fc3: PUSH1 0x64
00000fc5: ADD
00000fc6: SWAP1
00000fc7: REVERT
00000fc8: JUMPDEST
00000fc9: PUSH1 0x02
00000fcb: DUP1
00000fcc: SLOAD
00000fcd: PUSH1 0x03
00000fcf: DUP1
00000fd0: SLOAD
00000fd1: PUSH1 0x01
00000fd3: PUSH1 0x01
00000fd5: PUSH1 0xa0
00000fd7: SHL
00000fd8: SUB
00000fd9: DUP1
00000fda: DUP5
00000fdb: AND
00000fdc: PUSH1 0x01
00000fde: PUSH1 0x01
00000fe0: PUSH1 0xa0
00000fe2: SHL
00000fe3: SUB
00000fe4: NOT
00000fe5: SWAP3
00000fe6: DUP4
00000fe7: AND
00000fe8: OR
00000fe9: SWAP1
00000fea: SWAP3
00000feb: SSTORE
00000fec: SWAP1
00000fed: SWAP2
00000fee: AND
00000fef: SWAP3
00000ff0: AND
00000ff1: SWAP2
00000ff2: SWAP1
00000ff3: SWAP2
00000ff4: OR
00000ff5: SWAP1
00000ff6: SSTORE
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: PUSH2 0x1000
00000ffc: PUSH2 0x1d7b
00000fff: JUMP
00001000: JUMPDEST
00001001: DUP1
00001002: PUSH2 0x100a
00001005: DUP2
00001006: PUSH2 0x1eb9
00001009: JUMP
0000100a: JUMPDEST
0000100b: POP
0000100c: PUSH1 0x05
0000100e: DUP1
0000100f: SLOAD
00001010: PUSH1 0x01
00001012: PUSH1 0x01
00001014: PUSH1 0xa0
00001016: SHL
00001017: SUB
00001018: NOT
00001019: AND
0000101a: PUSH1 0x01
0000101c: PUSH1 0x01
0000101e: PUSH1 0xa0
00001020: SHL
00001021: SUB
00001022: SWAP3
00001023: SWAP1
00001024: SWAP3
00001025: AND
00001026: SWAP2
00001027: SWAP1
00001028: SWAP2
00001029: OR
0000102a: SWAP1
0000102b: SSTORE
0000102c: JUMP
0000102d: JUMPDEST
0000102e: PUSH1 0x28
00001030: DUP2
00001031: JUMP
00001032: JUMPDEST
00001033: PUSH1 0x08
00001035: SLOAD
00001036: PUSH1 0x01
00001038: PUSH1 0x40
0000103a: SHL
0000103b: SWAP1
0000103c: DIV
0000103d: PUSH4 0xffffffff
00001042: AND
00001043: DUP2
00001044: JUMP
00001045: JUMPDEST
00001046: PUSH2 0x104d
00001049: PUSH2 0x1f0d
0000104c: JUMP
0000104d: JUMPDEST
0000104e: PUSH1 0x03
00001050: DUP1
00001051: SLOAD
00001052: PUSH1 0xff
00001054: PUSH1 0xa8
00001056: SHL
00001057: NOT
00001058: AND
00001059: PUSH1 0x01
0000105b: PUSH1 0xa8
0000105d: SHL
0000105e: OR
0000105f: SWAP1
00001060: SSTORE
00001061: PUSH2 0x1068
00001064: PUSH2 0x1d7b
00001067: JUMP
00001068: JUMPDEST
00001069: PUSH2 0x1073
0000106c: DUP4
0000106d: DUP4
0000106e: DUP4
0000106f: PUSH2 0x1f5d
00001072: JUMP
00001073: JUMPDEST
00001074: PUSH1 0x01
00001076: PUSH1 0x01
00001078: PUSH1 0xa0
0000107a: SHL
0000107b: SUB
0000107c: DUP4
0000107d: AND
0000107e: PUSH1 0x00
00001080: SWAP1
00001081: DUP2
00001082: MSTORE
00001083: PUSH1 0x07
00001085: PUSH1 0x20
00001087: MSTORE
00001088: PUSH1 0x40
0000108a: SWAP1
0000108b: KECCAK256
0000108c: PUSH1 0x01
0000108e: ADD
0000108f: SLOAD
00001090: PUSH1 0x01
00001092: PUSH1 0x30
00001094: SHL
00001095: SWAP1
00001096: DIV
00001097: PUSH1 0xff
00001099: AND
0000109a: ISZERO
0000109b: PUSH2 0x10a7
0000109e: JUMPI
0000109f: PUSH2 0x10a7
000010a2: DUP4
000010a3: PUSH2 0x1f96
000010a6: JUMP
000010a7: JUMPDEST
000010a8: POP
000010a9: POP
000010aa: PUSH1 0x03
000010ac: DUP1
000010ad: SLOAD
000010ae: PUSH1 0xff
000010b0: PUSH1 0xa8
000010b2: SHL
000010b3: NOT
000010b4: AND
000010b5: SWAP1
000010b6: SSTORE
000010b7: POP
000010b8: JUMP
000010b9: JUMPDEST
000010ba: PUSH1 0x03
000010bc: SLOAD
000010bd: PUSH1 0x01
000010bf: PUSH1 0x01
000010c1: PUSH1 0xa0
000010c3: SHL
000010c4: SUB
000010c5: AND
000010c6: DUP2
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH2 0x10d0
000010cc: PUSH2 0x1d7b
000010cf: JUMP
000010d0: JUMPDEST
000010d1: PUSH1 0x04
000010d3: PUSH1 0x00
000010d5: SWAP1
000010d6: SLOAD
000010d7: SWAP1
000010d8: PUSH2 0x0100
000010db: EXP
000010dc: SWAP1
000010dd: DIV
000010de: PUSH1 0x01
000010e0: PUSH1 0x01
000010e2: PUSH1 0xa0
000010e4: SHL
000010e5: SUB
000010e6: AND
000010e7: PUSH1 0x01
000010e9: PUSH1 0x01
000010eb: PUSH1 0xa0
000010ed: SHL
000010ee: SUB
000010ef: AND
000010f0: PUSH4 0xf2fde38b
000010f5: DUP3
000010f6: PUSH1 0x40
000010f8: MLOAD
000010f9: DUP3
000010fa: PUSH4 0xffffffff
000010ff: AND
00001100: PUSH1 0xe0
00001102: SHL
00001103: DUP2
00001104: MSTORE
00001105: PUSH1 0x04
00001107: ADD
00001108: DUP1
00001109: DUP3
0000110a: PUSH1 0x01
0000110c: PUSH1 0x01
0000110e: PUSH1 0xa0
00001110: SHL
00001111: SUB
00001112: AND
00001113: DUP2
00001114: MSTORE
00001115: PUSH1 0x20
00001117: ADD
00001118: SWAP2
00001119: POP
0000111a: POP
0000111b: PUSH1 0x00
0000111d: PUSH1 0x40
0000111f: MLOAD
00001120: DUP1
00001121: DUP4
00001122: SUB
00001123: DUP2
00001124: PUSH1 0x00
00001126: DUP8
00001127: DUP1
00001128: EXTCODESIZE
00001129: ISZERO
0000112a: DUP1
0000112b: ISZERO
0000112c: PUSH2 0x1134
0000112f: JUMPI
00001130: PUSH1 0x00
00001132: DUP1
00001133: REVERT
00001134: JUMPDEST
00001135: POP
00001136: GAS
00001137: CALL
00001138: ISZERO
00001139: DUP1
0000113a: ISZERO
0000113b: PUSH2 0x1148
0000113e: JUMPI
0000113f: RETURNDATASIZE
00001140: PUSH1 0x00
00001142: DUP1
00001143: RETURNDATACOPY
00001144: RETURNDATASIZE
00001145: PUSH1 0x00
00001147: REVERT
00001148: JUMPDEST
00001149: POP
0000114a: POP
0000114b: POP
0000114c: POP
0000114d: POP
0000114e: JUMP
0000114f: JUMPDEST
00001150: PUSH2 0x1157
00001153: PUSH2 0x1f0d
00001156: JUMP
00001157: JUMPDEST
00001158: PUSH1 0x03
0000115a: DUP1
0000115b: SLOAD
0000115c: PUSH1 0xff
0000115e: PUSH1 0xa8
00001160: SHL
00001161: NOT
00001162: AND
00001163: PUSH1 0x01
00001165: PUSH1 0xa8
00001167: SHL
00001168: OR
00001169: SWAP1
0000116a: SSTORE
0000116b: PUSH2 0x1172
0000116e: PUSH2 0x1d7b
00001171: JUMP
00001172: JUMPDEST
00001173: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001188: PUSH2 0x1190
0000118b: DUP2
0000118c: PUSH2 0x1dce
0000118f: JUMP
00001190: JUMPDEST
00001191: PUSH1 0x40
00001193: MLOAD
00001194: PUSH1 0x01
00001196: PUSH1 0x01
00001198: PUSH1 0xa0
0000119a: SHL
0000119b: SUB
0000119c: DUP4
0000119d: AND
0000119e: SWAP1
0000119f: SELFBALANCE
000011a0: DUP1
000011a1: ISZERO
000011a2: PUSH2 0x08fc
000011a5: MUL
000011a6: SWAP2
000011a7: PUSH1 0x00
000011a9: DUP2
000011aa: DUP2
000011ab: DUP2
000011ac: DUP6
000011ad: DUP9
000011ae: DUP9
000011af: CALL
000011b0: SWAP4
000011b1: POP
000011b2: POP
000011b3: POP
000011b4: POP
000011b5: ISZERO
000011b6: DUP1
000011b7: ISZERO
000011b8: PUSH2 0x11c5
000011bb: JUMPI
000011bc: RETURNDATASIZE
000011bd: PUSH1 0x00
000011bf: DUP1
000011c0: RETURNDATACOPY
000011c1: RETURNDATASIZE
000011c2: PUSH1 0x00
000011c4: REVERT
000011c5: JUMPDEST
000011c6: POP
000011c7: PUSH2 0x11e3
000011ca: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000011df: PUSH2 0x1f96
000011e2: JUMP
000011e3: JUMPDEST
000011e4: POP
000011e5: POP
000011e6: PUSH1 0x03
000011e8: DUP1
000011e9: SLOAD
000011ea: PUSH1 0xff
000011ec: PUSH1 0xa8
000011ee: SHL
000011ef: NOT
000011f0: AND
000011f1: SWAP1
000011f2: SSTORE
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH2 0x11fc
000011f8: PUSH2 0x1d7b
000011fb: JUMP
000011fc: JUMPDEST
000011fd: PUSH2 0x1204
00001200: PUSH2 0x1362
00001203: JUMP
00001204: JUMPDEST
00001205: PUSH2 0xffff
00001208: AND
00001209: ISZERO
0000120a: PUSH2 0x1256
0000120d: JUMPI
0000120e: PUSH1 0x40
00001210: DUP1
00001211: MLOAD
00001212: PUSH3 0x461bcd
00001216: PUSH1 0xe5
00001218: SHL
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x20
0000121d: PUSH1 0x04
0000121f: DUP3
00001220: ADD
00001221: MSTORE
00001222: PUSH1 0x19
00001224: PUSH1 0x24
00001226: DUP3
00001227: ADD
00001228: MSTORE
00001229: PUSH25 0x11549497d253959053125117d49154d154959157d0d3d55395
00001243: PUSH1 0x3a
00001245: SHL
00001246: PUSH1 0x44
00001248: DUP3
00001249: ADD
0000124a: MSTORE
0000124b: SWAP1
0000124c: MLOAD
0000124d: SWAP1
0000124e: DUP2
0000124f: SWAP1
00001250: SUB
00001251: PUSH1 0x64
00001253: ADD
00001254: SWAP1
00001255: REVERT
00001256: JUMPDEST
00001257: PUSH2 0x1260
0000125a: DUP3
0000125b: DUP3
0000125c: PUSH2 0x2074
0000125f: JUMP
00001260: JUMPDEST
00001261: POP
00001262: POP
00001263: JUMP
00001264: JUMPDEST
00001265: PUSH1 0x09
00001267: SLOAD
00001268: DUP2
00001269: JUMP
0000126a: JUMPDEST
0000126b: PUSH1 0x00
0000126d: PUSH2 0x1274
00001270: PUSH2 0x1362
00001273: JUMP
00001274: JUMPDEST
00001275: SWAP1
00001276: POP
00001277: SWAP1
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH1 0x01
0000127c: SLOAD
0000127d: PUSH1 0x01
0000127f: PUSH1 0x01
00001281: PUSH1 0xa0
00001283: SHL
00001284: SUB
00001285: AND
00001286: CALLER
00001287: EQ
00001288: PUSH2 0x12cc
0000128b: JUMPI
0000128c: PUSH1 0x40
0000128e: DUP1
0000128f: MLOAD
00001290: PUSH3 0x461bcd
00001294: PUSH1 0xe5
00001296: SHL
00001297: DUP2
00001298: MSTORE
00001299: PUSH1 0x20
0000129b: PUSH1 0x04
0000129d: DUP3
0000129e: ADD
0000129f: MSTORE
000012a0: PUSH1 0x11
000012a2: PUSH1 0x24
000012a4: DUP3
000012a5: ADD
000012a6: MSTORE
000012a7: PUSH17 0x11549497d050d0d154d4d7d11153925151
000012b9: PUSH1 0x7a
000012bb: SHL
000012bc: PUSH1 0x44
000012be: DUP3
000012bf: ADD
000012c0: MSTORE
000012c1: SWAP1
000012c2: MLOAD
000012c3: SWAP1
000012c4: DUP2
000012c5: SWAP1
000012c6: SUB
000012c7: PUSH1 0x64
000012c9: ADD
000012ca: SWAP1
000012cb: REVERT
000012cc: JUMPDEST
000012cd: PUSH1 0x01
000012cf: SLOAD
000012d0: PUSH1 0x00
000012d2: DUP1
000012d3: SLOAD
000012d4: PUSH1 0x40
000012d6: MLOAD
000012d7: PUSH1 0x01
000012d9: PUSH1 0x01
000012db: PUSH1 0xa0
000012dd: SHL
000012de: SUB
000012df: SWAP4
000012e0: DUP5
000012e1: AND
000012e2: SWAP4
000012e3: SWAP1
000012e4: SWAP2
000012e5: AND
000012e6: SWAP2
000012e7: PUSH32 0x343765429aea5a34b3ff6a3785a98a5abb2597aca87bfbb58632c173d585373a
00001308: SWAP2
00001309: LOG3
0000130a: PUSH1 0x01
0000130c: DUP1
0000130d: SLOAD
0000130e: PUSH1 0x00
00001310: DUP1
00001311: SLOAD
00001312: PUSH1 0x01
00001314: PUSH1 0x01
00001316: PUSH1 0xa0
00001318: SHL
00001319: SUB
0000131a: NOT
0000131b: SWAP1
0000131c: DUP2
0000131d: AND
0000131e: PUSH1 0x01
00001320: PUSH1 0x01
00001322: PUSH1 0xa0
00001324: SHL
00001325: SUB
00001326: DUP5
00001327: AND
00001328: OR
00001329: SWAP1
0000132a: SWAP2
0000132b: SSTORE
0000132c: AND
0000132d: SWAP1
0000132e: SSTORE
0000132f: JUMP
00001330: JUMPDEST
00001331: PUSH1 0x02
00001333: SLOAD
00001334: PUSH1 0x01
00001336: PUSH1 0x01
00001338: PUSH1 0xa0
0000133a: SHL
0000133b: SUB
0000133c: AND
0000133d: DUP2
0000133e: JUMP
0000133f: JUMPDEST
00001340: PUSH1 0x00
00001342: SLOAD
00001343: PUSH1 0x01
00001345: PUSH1 0x01
00001347: PUSH1 0xa0
00001349: SHL
0000134a: SUB
0000134b: AND
0000134c: DUP2
0000134d: JUMP
0000134e: JUMPDEST
0000134f: PUSH1 0x08
00001351: SLOAD
00001352: PUSH5 0x0100000000
00001358: SWAP1
00001359: DIV
0000135a: PUSH4 0xffffffff
0000135f: AND
00001360: DUP2
00001361: JUMP
00001362: JUMPDEST
00001363: PUSH1 0x06
00001365: SLOAD
00001366: SWAP1
00001367: JUMP
00001368: JUMPDEST
00001369: PUSH2 0x1370
0000136c: PUSH2 0x1d7b
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH2 0x1378
00001374: PUSH2 0x2293
00001377: JUMP
00001378: JUMPDEST
00001379: PUSH1 0x08
0000137b: DUP1
0000137c: SLOAD
0000137d: PUSH4 0xffffffff
00001382: SWAP1
00001383: SWAP3
00001384: AND
00001385: PUSH1 0x01
00001387: PUSH1 0x80
00001389: SHL
0000138a: MUL
0000138b: PUSH4 0xffffffff
00001390: PUSH1 0x80
00001392: SHL
00001393: NOT
00001394: SWAP1
00001395: SWAP3
00001396: AND
00001397: SWAP2
00001398: SWAP1
00001399: SWAP2
0000139a: OR
0000139b: SWAP1
0000139c: SSTORE
0000139d: JUMP
0000139e: JUMPDEST
0000139f: PUSH1 0x04
000013a1: SLOAD
000013a2: PUSH1 0x00
000013a4: SWAP1
000013a5: DUP2
000013a6: SWAP1
000013a7: PUSH1 0x01
000013a9: PUSH1 0x01
000013ab: PUSH1 0xa0
000013ad: SHL
000013ae: SUB
000013af: DUP6
000013b0: DUP2
000013b1: AND
000013b2: SWAP2
000013b3: AND
000013b4: EQ
000013b5: DUP1
000013b6: ISZERO
000013b7: PUSH2 0x13e2
000013ba: JUMPI
000013bb: POP
000013bc: PUSH1 0x01
000013be: PUSH1 0x01
000013c0: PUSH1 0xa0
000013c2: SHL
000013c3: SUB
000013c4: DUP6
000013c5: AND
000013c6: PUSH1 0x00
000013c8: SWAP1
000013c9: DUP2
000013ca: MSTORE
000013cb: PUSH1 0x07
000013cd: PUSH1 0x20
000013cf: MSTORE
000013d0: PUSH1 0x40
000013d2: SWAP1
000013d3: KECCAK256
000013d4: PUSH1 0x01
000013d6: ADD
000013d7: SLOAD
000013d8: PUSH1 0x01
000013da: PUSH1 0x30
000013dc: SHL
000013dd: SWAP1
000013de: DIV
000013df: PUSH1 0xff
000013e1: AND
000013e2: JUMPDEST
000013e3: ISZERO
000013e4: PUSH2 0x13f9
000013e7: JUMPI
000013e8: PUSH2 0x13f0
000013eb: DUP4
000013ec: PUSH2 0x22da
000013ef: JUMP
000013f0: JUMPDEST
000013f1: SWAP2
000013f2: POP
000013f3: SWAP2
000013f4: POP
000013f5: PUSH2 0x0d1b
000013f8: JUMP
000013f9: JUMPDEST
000013fa: PUSH1 0x04
000013fc: SLOAD
000013fd: PUSH1 0x01
000013ff: PUSH1 0x01
00001401: PUSH1 0xa0
00001403: SHL
00001404: SUB
00001405: DUP7
00001406: DUP2
00001407: AND
00001408: SWAP2
00001409: AND
0000140a: EQ
0000140b: DUP1
0000140c: ISZERO
0000140d: PUSH2 0x1438
00001410: JUMPI
00001411: POP
00001412: PUSH1 0x01
00001414: PUSH1 0x01
00001416: PUSH1 0xa0
00001418: SHL
00001419: SUB
0000141a: DUP5
0000141b: AND
0000141c: PUSH1 0x00
0000141e: SWAP1
0000141f: DUP2
00001420: MSTORE
00001421: PUSH1 0x07
00001423: PUSH1 0x20
00001425: MSTORE
00001426: PUSH1 0x40
00001428: SWAP1
00001429: KECCAK256
0000142a: PUSH1 0x01
0000142c: ADD
0000142d: SLOAD
0000142e: PUSH1 0x01
00001430: PUSH1 0x30
00001432: SHL
00001433: SWAP1
00001434: DIV
00001435: PUSH1 0xff
00001437: AND
00001438: JUMPDEST
00001439: ISZERO
0000143a: PUSH2 0x1446
0000143d: JUMPI
0000143e: PUSH2 0x13f0
00001441: DUP4
00001442: PUSH2 0x24c6
00001445: JUMP
00001446: JUMPDEST
00001447: PUSH1 0x40
00001449: DUP1
0000144a: MLOAD
0000144b: PUSH3 0x461bcd
0000144f: PUSH1 0xe5
00001451: SHL
00001452: DUP2
00001453: MSTORE
00001454: PUSH1 0x20
00001456: PUSH1 0x04
00001458: DUP3
00001459: ADD
0000145a: MSTORE
0000145b: PUSH1 0x11
0000145d: PUSH1 0x24
0000145f: DUP3
00001460: ADD
00001461: MSTORE
00001462: PUSH17 0x22a9292fa4a72b20a624a22faa27a5a2a7
00001474: PUSH1 0x79
00001476: SHL
00001477: PUSH1 0x44
00001479: DUP3
0000147a: ADD
0000147b: MSTORE
0000147c: SWAP1
0000147d: MLOAD
0000147e: SWAP1
0000147f: DUP2
00001480: SWAP1
00001481: SUB
00001482: PUSH1 0x64
00001484: ADD
00001485: SWAP1
00001486: REVERT
00001487: JUMPDEST
00001488: PUSH2 0x148f
0000148b: PUSH2 0x1d7b
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH1 0x03
00001492: SLOAD
00001493: PUSH1 0x02
00001495: DUP1
00001496: SLOAD
00001497: PUSH1 0x01
00001499: PUSH1 0x01
0000149b: PUSH1 0xa0
0000149d: SHL
0000149e: SUB
0000149f: NOT
000014a0: AND
000014a1: PUSH1 0x01
000014a3: PUSH1 0x01
000014a5: PUSH1 0xa0
000014a7: SHL
000014a8: SUB
000014a9: SWAP1
000014aa: SWAP3
000014ab: AND
000014ac: SWAP2
000014ad: SWAP1
000014ae: SWAP2
000014af: OR
000014b0: SWAP1
000014b1: SSTORE
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH1 0x01
000014b6: DUP2
000014b7: JUMP
000014b8: JUMPDEST
000014b9: PUSH2 0x14c0
000014bc: PUSH2 0x1d7b
000014bf: JUMP
000014c0: JUMPDEST
000014c1: PUSH2 0x14c8
000014c4: PUSH2 0x2293
000014c7: JUMP
000014c8: JUMPDEST
000014c9: PUSH1 0x08
000014cb: DUP1
000014cc: SLOAD
000014cd: PUSH4 0xffffffff
000014d2: SWAP1
000014d3: SWAP3
000014d4: AND
000014d5: PUSH1 0x01
000014d7: PUSH1 0x60
000014d9: SHL
000014da: MUL
000014db: PUSH4 0xffffffff
000014e0: PUSH1 0x60
000014e2: SHL
000014e3: NOT
000014e4: SWAP1
000014e5: SWAP3
000014e6: AND
000014e7: SWAP2
000014e8: SWAP1
000014e9: SWAP2
000014ea: OR
000014eb: SWAP1
000014ec: SSTORE
000014ed: JUMP
000014ee: JUMPDEST
000014ef: PUSH1 0x05
000014f1: SLOAD
000014f2: PUSH1 0x01
000014f4: PUSH1 0x01
000014f6: PUSH1 0xa0
000014f8: SHL
000014f9: SUB
000014fa: AND
000014fb: DUP2
000014fc: JUMP
000014fd: JUMPDEST
000014fe: PUSH2 0x1505
00001501: PUSH2 0x1d7b
00001504: JUMP
00001505: JUMPDEST
00001506: PUSH2 0x150d
00001509: PUSH2 0x2293
0000150c: JUMP
0000150d: JUMPDEST
0000150e: PUSH1 0x09
00001510: SSTORE
00001511: JUMP
00001512: JUMPDEST
00001513: PUSH2 0x151a
00001516: PUSH2 0x1d7b
00001519: JUMP
0000151a: JUMPDEST
0000151b: PUSH2 0x1522
0000151e: PUSH2 0x25ba
00001521: JUMP
00001522: JUMPDEST
00001523: PUSH1 0x04
00001525: SLOAD
00001526: PUSH1 0x01
00001528: SWAP1
00001529: PUSH1 0x01
0000152b: PUSH1 0x01
0000152d: PUSH1 0xa0
0000152f: SHL
00001530: SUB
00001531: AND
00001532: PUSH2 0x1539
00001535: PUSH2 0x0dd8
00001538: JUMP
00001539: JUMPDEST
0000153a: PUSH2 0xffff
0000153d: AND
0000153e: PUSH32 0x6b08c2e2c9969e55a647a764db9b554d64dc42f1a704da11a6d5b129ad163f2c
0000155f: PUSH1 0x40
00001561: MLOAD
00001562: PUSH1 0x40
00001564: MLOAD
00001565: DUP1
00001566: SWAP2
00001567: SUB
00001568: SWAP1
00001569: LOG4
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH1 0x06
0000156e: DUP2
0000156f: DUP2
00001570: SLOAD
00001571: DUP2
00001572: LT
00001573: PUSH2 0x1578
00001576: JUMPI
00001577: INVALID
00001578: JUMPDEST
00001579: PUSH1 0x00
0000157b: SWAP2
0000157c: DUP3
0000157d: MSTORE
0000157e: PUSH1 0x20
00001580: SWAP1
00001581: SWAP2
00001582: KECCAK256
00001583: ADD
00001584: SLOAD
00001585: PUSH1 0x01
00001587: PUSH1 0x01
00001589: PUSH1 0xa0
0000158b: SHL
0000158c: SUB
0000158d: AND
0000158e: SWAP1
0000158f: POP
00001590: DUP2
00001591: JUMP
00001592: JUMPDEST
00001593: PUSH1 0x01
00001595: PUSH1 0x01
00001597: PUSH1 0xa0
00001599: SHL
0000159a: SUB
0000159b: DUP2
0000159c: AND
0000159d: PUSH1 0x00
0000159f: SWAP1
000015a0: DUP2
000015a1: MSTORE
000015a2: PUSH1 0x07
000015a4: PUSH1 0x20
000015a6: MSTORE
000015a7: PUSH1 0x40
000015a9: DUP2
000015aa: KECCAK256
000015ab: PUSH1 0x01
000015ad: DUP2
000015ae: ADD
000015af: SLOAD
000015b0: PUSH2 0x15d5
000015b3: SWAP1
000015b4: PUSH4 0xffffffff
000015b9: AND
000015ba: PUSH2 0x15cf
000015bd: PUSH3 0x0f4240
000015c1: PUSH2 0x15c9
000015c4: DUP8
000015c5: PUSH2 0x19ba
000015c8: JUMP
000015c9: JUMPDEST
000015ca: SWAP1
000015cb: PUSH2 0x2681
000015ce: JUMP
000015cf: JUMPDEST
000015d0: SWAP1
000015d1: PUSH2 0x26df
000015d4: JUMP
000015d5: JUMPDEST
000015d6: SWAP4
000015d7: SWAP3
000015d8: POP
000015d9: POP
000015da: POP
000015db: JUMP
000015dc: JUMPDEST
000015dd: PUSH1 0x01
000015df: SWAP1
000015e0: JUMP
000015e1: JUMPDEST
000015e2: PUSH1 0x04
000015e4: SLOAD
000015e5: PUSH1 0x01
000015e7: PUSH1 0x01
000015e9: PUSH1 0xa0
000015eb: SHL
000015ec: SUB
000015ed: AND
000015ee: DUP2
000015ef: JUMP
000015f0: JUMPDEST
000015f1: PUSH1 0x01
000015f3: SLOAD
000015f4: PUSH1 0x01
000015f6: PUSH1 0x01
000015f8: PUSH1 0xa0
000015fa: SHL
000015fb: SUB
000015fc: AND
000015fd: DUP2
000015fe: JUMP
000015ff: JUMPDEST
00001600: PUSH2 0x1607
00001603: PUSH2 0x1d7b
00001606: JUMP
00001607: JUMPDEST
00001608: PUSH1 0x00
0000160a: PUSH2 0x1632
0000160d: PUSH32 0x42616e636f72436f6e7665727465725570677261646572000000000000000000
0000162e: PUSH2 0x1e3b
00001631: JUMP
00001632: JUMPDEST
00001633: PUSH1 0x04
00001635: SLOAD
00001636: SWAP1
00001637: SWAP2
00001638: POP
00001639: PUSH1 0x00
0000163b: SWAP1
0000163c: PUSH1 0x01
0000163e: PUSH1 0x01
00001640: PUSH1 0xa0
00001642: SHL
00001643: SUB
00001644: AND
00001645: PUSH2 0x164c
00001648: PUSH2 0x0dd8
0000164b: JUMP
0000164c: JUMPDEST
0000164d: PUSH2 0xffff
00001650: AND
00001651: PUSH32 0x6b08c2e2c9969e55a647a764db9b554d64dc42f1a704da11a6d5b129ad163f2c
00001672: PUSH1 0x40
00001674: MLOAD
00001675: PUSH1 0x40
00001677: MLOAD
00001678: DUP1
00001679: SWAP2
0000167a: SUB
0000167b: SWAP1
0000167c: LOG4
0000167d: PUSH2 0x1685
00001680: DUP2
00001681: PUSH2 0x1cdb
00001684: JUMP
00001685: JUMPDEST
00001686: PUSH1 0x40
00001688: DUP1
00001689: MLOAD
0000168a: PUSH4 0x487ac64b
0000168f: PUSH1 0xe1
00001691: SHL
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x28
00001696: PUSH1 0x04
00001698: DUP3
00001699: ADD
0000169a: MSTORE
0000169b: SWAP1
0000169c: MLOAD
0000169d: PUSH1 0x01
0000169f: PUSH1 0x01
000016a1: PUSH1 0xa0
000016a3: SHL
000016a4: SUB
000016a5: DUP4
000016a6: AND
000016a7: SWAP2
000016a8: PUSH4 0x90f58c96
000016ad: SWAP2
000016ae: PUSH1 0x24
000016b0: DUP1
000016b1: DUP4
000016b2: ADD
000016b3: SWAP3
000016b4: PUSH1 0x00
000016b6: SWAP3
000016b7: SWAP2
000016b8: SWAP1
000016b9: DUP3
000016ba: SWAP1
000016bb: SUB
000016bc: ADD
000016bd: DUP2
000016be: DUP4
000016bf: DUP8
000016c0: DUP1
000016c1: EXTCODESIZE
000016c2: ISZERO
000016c3: DUP1
000016c4: ISZERO
000016c5: PUSH2 0x16cd
000016c8: JUMPI
000016c9: PUSH1 0x00
000016cb: DUP1
000016cc: REVERT
000016cd: JUMPDEST
000016ce: POP
000016cf: GAS
000016d0: CALL
000016d1: ISZERO
000016d2: DUP1
000016d3: ISZERO
000016d4: PUSH2 0x16e1
000016d7: JUMPI
000016d8: RETURNDATASIZE
000016d9: PUSH1 0x00
000016db: DUP1
000016dc: RETURNDATACOPY
000016dd: RETURNDATASIZE
000016de: PUSH1 0x00
000016e0: REVERT
000016e1: JUMPDEST
000016e2: POP
000016e3: POP
000016e4: POP
000016e5: POP
000016e6: PUSH2 0x0d34
000016e9: PUSH2 0x1279
000016ec: JUMP
000016ed: JUMPDEST
000016ee: PUSH1 0x07
000016f0: PUSH1 0x20
000016f2: MSTORE
000016f3: PUSH1 0x00
000016f5: SWAP1
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x40
000016fa: SWAP1
000016fb: KECCAK256
000016fc: DUP1
000016fd: SLOAD
000016fe: PUSH1 0x01
00001700: SWAP1
00001701: SWAP2
00001702: ADD
00001703: SLOAD
00001704: PUSH4 0xffffffff
00001709: DUP2
0000170a: AND
0000170b: SWAP1
0000170c: PUSH1 0xff
0000170e: PUSH5 0x0100000000
00001714: DUP3
00001715: DIV
00001716: DUP2
00001717: AND
00001718: SWAP2
00001719: PUSH6 0x010000000000
00001720: DUP2
00001721: DIV
00001722: DUP3
00001723: AND
00001724: SWAP2
00001725: PUSH1 0x01
00001727: PUSH1 0x30
00001729: SHL
0000172a: SWAP1
0000172b: SWAP2
0000172c: DIV
0000172d: AND
0000172e: DUP6
0000172f: JUMP
00001730: JUMPDEST
00001731: DUP1
00001732: PUSH2 0x173a
00001735: DUP2
00001736: PUSH2 0x1dce
00001739: JUMP
0000173a: JUMPDEST
0000173b: PUSH2 0x1742
0000173e: PUSH2 0x1d7b
00001741: JUMP
00001742: JUMPDEST
00001743: PUSH1 0x00
00001745: PUSH2 0x174d
00001748: DUP4
00001749: PUSH2 0x1592
0000174c: JUMP
0000174d: JUMPDEST
0000174e: SWAP1
0000174f: POP
00001750: PUSH2 0x1766
00001753: PUSH1 0x09
00001755: SLOAD
00001756: PUSH1 0x0a
00001758: SLOAD
00001759: PUSH2 0x273e
0000175c: SWAP1
0000175d: SWAP2
0000175e: SWAP1
0000175f: PUSH4 0xffffffff
00001764: AND
00001765: JUMP
00001766: JUMPDEST
00001767: DUP2
00001768: GT
00001769: PUSH2 0x17b9
0000176c: JUMPI
0000176d: PUSH1 0x40
0000176f: DUP1
00001770: MLOAD
00001771: PUSH3 0x461bcd
00001775: PUSH1 0xe5
00001777: SHL
00001778: DUP2
00001779: MSTORE
0000177a: PUSH1 0x20
0000177c: PUSH1 0x04
0000177e: DUP3
0000177f: ADD
00001780: MSTORE
00001781: PUSH1 0x1e
00001783: PUSH1 0x24
00001785: DUP3
00001786: ADD
00001787: MSTORE
00001788: PUSH32 0x4552525f4d41524b45545f4341505f42454c4f575f5448524553484f4c440000
000017a9: PUSH1 0x44
000017ab: DUP3
000017ac: ADD
000017ad: MSTORE
000017ae: SWAP1
000017af: MLOAD
000017b0: SWAP1
000017b1: DUP2
000017b2: SWAP1
000017b3: SUB
000017b4: PUSH1 0x64
000017b6: ADD
000017b7: SWAP1
000017b8: REVERT
000017b9: JUMPDEST
000017ba: PUSH1 0x01
000017bc: PUSH1 0x01
000017be: PUSH1 0xa0
000017c0: SHL
000017c1: SUB
000017c2: DUP4
000017c3: AND
000017c4: PUSH1 0x00
000017c6: SWAP1
000017c7: DUP2
000017c8: MSTORE
000017c9: PUSH1 0x07
000017cb: PUSH1 0x20
000017cd: MSTORE
000017ce: PUSH1 0x40
000017d0: DUP2
000017d1: KECCAK256
000017d2: PUSH1 0x08
000017d4: SLOAD
000017d5: PUSH1 0x01
000017d7: DUP3
000017d8: ADD
000017d9: SLOAD
000017da: SWAP2
000017db: SWAP3
000017dc: SWAP2
000017dd: PUSH2 0x17fa
000017e0: SWAP2
000017e1: PUSH4 0xffffffff
000017e6: SWAP2
000017e7: DUP3
000017e8: AND
000017e9: SWAP2
000017ea: PUSH1 0x01
000017ec: PUSH1 0x80
000017ee: SHL
000017ef: SWAP1
000017f0: SWAP2
000017f1: DIV
000017f2: DUP2
000017f3: AND
000017f4: SWAP1
000017f5: PUSH2 0x2787
000017f8: AND
000017f9: JUMP
000017fa: JUMPDEST
000017fb: PUSH1 0x01
000017fd: DUP4
000017fe: ADD
000017ff: SLOAD
00001800: PUSH1 0x08
00001802: SLOAD
00001803: SWAP2
00001804: SWAP3
00001805: POP
00001806: PUSH4 0xffffffff
0000180b: SWAP1
0000180c: DUP2
0000180d: AND
0000180e: SWAP2
0000180f: PUSH1 0x01
00001811: PUSH1 0x60
00001813: SHL
00001814: SWAP1
00001815: DIV
00001816: AND
00001817: DUP3
00001818: LT
00001819: ISZERO
0000181a: PUSH2 0x1867
0000181d: JUMPI
0000181e: PUSH1 0x40
00001820: DUP1
00001821: MLOAD
00001822: PUSH3 0x461bcd
00001826: PUSH1 0xe5
00001828: SHL
00001829: DUP2
0000182a: MSTORE
0000182b: PUSH1 0x20
0000182d: PUSH1 0x04
0000182f: DUP3
00001830: ADD
00001831: MSTORE
00001832: PUSH1 0x1a
00001834: PUSH1 0x24
00001836: DUP3
00001837: ADD
00001838: MSTORE
00001839: PUSH26 0x11549497d253959053125117d49154d154959157d5d15251d215
00001854: PUSH1 0x32
00001856: SHL
00001857: PUSH1 0x44
00001859: DUP3
0000185a: ADD
0000185b: MSTORE
0000185c: SWAP1
0000185d: MLOAD
0000185e: SWAP1
0000185f: DUP2
00001860: SWAP1
00001861: SUB
00001862: PUSH1 0x64
00001864: ADD
00001865: SWAP1
00001866: REVERT
00001867: JUMPDEST
00001868: PUSH1 0x01
0000186a: DUP4
0000186b: ADD
0000186c: SLOAD
0000186d: PUSH1 0x00
0000186f: SWAP1
00001870: PUSH2 0x189b
00001873: SWAP1
00001874: PUSH2 0x1891
00001877: SWAP1
00001878: PUSH4 0xffffffff
0000187d: SWAP1
0000187e: DUP2
0000187f: AND
00001880: SWAP1
00001881: PUSH2 0x15cf
00001884: SWAP1
00001885: DUP8
00001886: SWAP1
00001887: PUSH3 0x0f4240
0000188b: SWAP1
0000188c: PUSH2 0x2681
0000188f: AND
00001890: JUMP
00001891: JUMPDEST
00001892: PUSH3 0x0f4240
00001896: SWAP1
00001897: PUSH2 0x2787
0000189a: JUMP
0000189b: JUMPDEST
0000189c: PUSH1 0x01
0000189e: DUP6
0000189f: ADD
000018a0: DUP1
000018a1: SLOAD
000018a2: PUSH4 0xffffffff
000018a7: DUP7
000018a8: AND
000018a9: PUSH4 0xffffffff
000018ae: NOT
000018af: SWAP2
000018b0: DUP3
000018b1: AND
000018b2: DUP2
000018b3: OR
000018b4: SWAP1
000018b5: SWAP3
000018b6: SSTORE
000018b7: PUSH1 0x08
000018b9: DUP1
000018ba: SLOAD
000018bb: SWAP1
000018bc: SWAP2
000018bd: AND
000018be: SWAP1
000018bf: SWAP2
000018c0: OR
000018c1: SWAP1
000018c2: SSTORE
000018c3: SWAP1
000018c4: POP
000018c5: DUP3
000018c6: PUSH1 0x00
000018c8: PUSH2 0x18db
000018cb: PUSH3 0x0f4240
000018cf: PUSH2 0x15cf
000018d2: DUP6
000018d3: PUSH2 0x15c9
000018d6: DUP14
000018d7: PUSH2 0x19ba
000018da: JUMP
000018db: JUMPDEST
000018dc: SWAP1
000018dd: POP
000018de: PUSH1 0x01
000018e0: PUSH1 0x01
000018e2: PUSH1 0xa0
000018e4: SHL
000018e5: SUB
000018e6: DUP10
000018e7: AND
000018e8: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000018fd: EQ
000018fe: ISZERO
000018ff: PUSH2 0x1935
00001902: JUMPI
00001903: PUSH1 0x40
00001905: MLOAD
00001906: CALLER
00001907: SWAP1
00001908: DUP3
00001909: ISZERO
0000190a: PUSH2 0x08fc
0000190d: MUL
0000190e: SWAP1
0000190f: DUP4
00001910: SWAP1
00001911: PUSH1 0x00
00001913: DUP2
00001914: DUP2
00001915: DUP2
00001916: DUP6
00001917: DUP9
00001918: DUP9
00001919: CALL
0000191a: SWAP4
0000191b: POP
0000191c: POP
0000191d: POP
0000191e: POP
0000191f: ISZERO
00001920: DUP1
00001921: ISZERO
00001922: PUSH2 0x192f
00001925: JUMPI
00001926: RETURNDATASIZE
00001927: PUSH1 0x00
00001929: DUP1
0000192a: RETURNDATACOPY
0000192b: RETURNDATASIZE
0000192c: PUSH1 0x00
0000192e: REVERT
0000192f: JUMPDEST
00001930: POP
00001931: PUSH2 0x1940
00001934: JUMP
00001935: JUMPDEST
00001936: PUSH2 0x1940
00001939: DUP10
0000193a: CALLER
0000193b: DUP4
0000193c: PUSH2 0x27d4
0000193f: JUMP
00001940: JUMPDEST
00001941: PUSH1 0x0a
00001943: DUP8
00001944: SWAP1
00001945: SSTORE
00001946: PUSH2 0x194e
00001949: DUP10
0000194a: PUSH2 0x1f96
0000194d: JUMP
0000194e: JUMPDEST
0000194f: DUP6
00001950: SLOAD
00001951: PUSH1 0x40
00001953: DUP1
00001954: MLOAD
00001955: PUSH4 0xffffffff
0000195a: DUP1
0000195b: DUP9
0000195c: AND
0000195d: DUP3
0000195e: MSTORE
0000195f: DUP6
00001960: AND
00001961: PUSH1 0x20
00001963: DUP3
00001964: ADD
00001965: MSTORE
00001966: DUP1
00001967: DUP3
00001968: ADD
00001969: DUP7
0000196a: SWAP1
0000196b: MSTORE
0000196c: PUSH1 0x60
0000196e: DUP2
0000196f: ADD
00001970: SWAP3
00001971: SWAP1
00001972: SWAP3
00001973: MSTORE
00001974: MLOAD
00001975: PUSH32 0xdb546a099d5772cc83680ebd46cf464225ffd886eda63ba6c11095aa1422f75d
00001996: SWAP2
00001997: DUP2
00001998: SWAP1
00001999: SUB
0000199a: PUSH1 0x80
0000199c: ADD
0000199d: SWAP1
0000199e: LOG1
0000199f: POP
000019a0: POP
000019a1: POP
000019a2: POP
000019a3: POP
000019a4: POP
000019a5: POP
000019a6: POP
000019a7: POP
000019a8: JUMP
000019a9: JUMPDEST
000019aa: PUSH1 0x00
000019ac: PUSH2 0x19b4
000019af: DUP3
000019b0: PUSH2 0x19ba
000019b3: JUMP
000019b4: JUMPDEST
000019b5: SWAP3
000019b6: SWAP2
000019b7: POP
000019b8: POP
000019b9: JUMP
000019ba: JUMPDEST
000019bb: PUSH1 0x00
000019bd: DUP2
000019be: PUSH2 0x19c6
000019c1: DUP2
000019c2: PUSH2 0x1dce
000019c5: JUMP
000019c6: JUMPDEST
000019c7: POP
000019c8: POP
000019c9: PUSH1 0x01
000019cb: PUSH1 0x01
000019cd: PUSH1 0xa0
000019cf: SHL
000019d0: SUB
000019d1: AND
000019d2: PUSH1 0x00
000019d4: SWAP1
000019d5: DUP2
000019d6: MSTORE
000019d7: PUSH1 0x07
000019d9: PUSH1 0x20
000019db: MSTORE
000019dc: PUSH1 0x40
000019de: SWAP1
000019df: KECCAK256
000019e0: SLOAD
000019e1: SWAP1
000019e2: JUMP
000019e3: JUMPDEST
000019e4: PUSH1 0x00
000019e6: PUSH2 0x19ed
000019e9: PUSH2 0x1f0d
000019ec: JUMP
000019ed: JUMPDEST
000019ee: PUSH1 0x03
000019f0: DUP1
000019f1: SLOAD
000019f2: PUSH1 0xff
000019f4: PUSH1 0xa8
000019f6: SHL
000019f7: NOT
000019f8: AND
000019f9: PUSH1 0x01
000019fb: PUSH1 0xa8
000019fd: SHL
000019fe: OR
000019ff: SWAP1
00001a00: SSTORE
00001a01: PUSH13 0x42616e636f724e6574776f726b
00001a0f: PUSH1 0x98
00001a11: SHL
00001a12: PUSH2 0x1a1a
00001a15: DUP2
00001a16: PUSH2 0x292d
00001a19: JUMP
00001a1a: JUMPDEST
00001a1b: DUP6
00001a1c: PUSH1 0x01
00001a1e: PUSH1 0x01
00001a20: PUSH1 0xa0
00001a22: SHL
00001a23: SUB
00001a24: AND
00001a25: DUP8
00001a26: PUSH1 0x01
00001a28: PUSH1 0x01
00001a2a: PUSH1 0xa0
00001a2c: SHL
00001a2d: SUB
00001a2e: AND
00001a2f: EQ
00001a30: ISZERO
00001a31: PUSH2 0x1a7a
00001a34: JUMPI
00001a35: PUSH1 0x40
00001a37: DUP1
00001a38: MLOAD
00001a39: PUSH3 0x461bcd
00001a3d: PUSH1 0xe5
00001a3f: SHL
00001a40: DUP2
00001a41: MSTORE
00001a42: PUSH1 0x20
00001a44: PUSH1 0x04
00001a46: DUP3
00001a47: ADD
00001a48: MSTORE
00001a49: PUSH1 0x16
00001a4b: PUSH1 0x24
00001a4d: DUP3
00001a4e: ADD
00001a4f: MSTORE
00001a50: PUSH22 0x11549497d4d0535157d4d3d55490d157d5105491d155
00001a67: PUSH1 0x52
00001a69: SHL
00001a6a: PUSH1 0x44
00001a6c: DUP3
00001a6d: ADD
00001a6e: MSTORE
00001a6f: SWAP1
00001a70: MLOAD
00001a71: SWAP1
00001a72: DUP2
00001a73: SWAP1
00001a74: SUB
00001a75: PUSH1 0x64
00001a77: ADD
00001a78: SWAP1
00001a79: REVERT
00001a7a: JUMPDEST
00001a7b: PUSH1 0x05
00001a7d: SLOAD
00001a7e: PUSH1 0x01
00001a80: PUSH1 0x01
00001a82: PUSH1 0xa0
00001a84: SHL
00001a85: SUB
00001a86: AND
00001a87: ISZERO
00001a88: DUP1
00001a89: PUSH2 0x1b87
00001a8c: JUMPI
00001a8d: POP
00001a8e: PUSH1 0x05
00001a90: SLOAD
00001a91: PUSH1 0x40
00001a93: DUP1
00001a94: MLOAD
00001a95: PUSH4 0x3af32abf
00001a9a: PUSH1 0xe0
00001a9c: SHL
00001a9d: DUP2
00001a9e: MSTORE
00001a9f: PUSH1 0x01
00001aa1: PUSH1 0x01
00001aa3: PUSH1 0xa0
00001aa5: SHL
00001aa6: SUB
00001aa7: DUP8
00001aa8: DUP2
00001aa9: AND
00001aaa: PUSH1 0x04
00001aac: DUP4
00001aad: ADD
00001aae: MSTORE
00001aaf: SWAP2
00001ab0: MLOAD
00001ab1: SWAP2
00001ab2: SWAP1
00001ab3: SWAP3
00001ab4: AND
00001ab5: SWAP2
00001ab6: PUSH4 0x3af32abf
00001abb: SWAP2
00001abc: PUSH1 0x24
00001abe: DUP1
00001abf: DUP4
00001ac0: ADD
00001ac1: SWAP3
00001ac2: PUSH1 0x20
00001ac4: SWAP3
00001ac5: SWAP2
00001ac6: SWAP1
00001ac7: DUP3
00001ac8: SWAP1
00001ac9: SUB
00001aca: ADD
00001acb: DUP2
00001acc: DUP7
00001acd: DUP1
00001ace: EXTCODESIZE
00001acf: ISZERO
00001ad0: DUP1
00001ad1: ISZERO
00001ad2: PUSH2 0x1ada
00001ad5: JUMPI
00001ad6: PUSH1 0x00
00001ad8: DUP1
00001ad9: REVERT
00001ada: JUMPDEST
00001adb: POP
00001adc: GAS
00001add: STATICCALL
00001ade: ISZERO
00001adf: DUP1
00001ae0: ISZERO
00001ae1: PUSH2 0x1aee
00001ae4: JUMPI
00001ae5: RETURNDATASIZE
00001ae6: PUSH1 0x00
00001ae8: DUP1
00001ae9: RETURNDATACOPY
00001aea: RETURNDATASIZE
00001aeb: PUSH1 0x00
00001aed: REVERT
00001aee: JUMPDEST
00001aef: POP
00001af0: POP
00001af1: POP
00001af2: POP
00001af3: PUSH1 0x40
00001af5: MLOAD
00001af6: RETURNDATASIZE
00001af7: PUSH1 0x20
00001af9: DUP2
00001afa: LT
00001afb: ISZERO
00001afc: PUSH2 0x1b04
00001aff: JUMPI
00001b00: PUSH1 0x00
00001b02: DUP1
00001b03: REVERT
00001b04: JUMPDEST
00001b05: POP
00001b06: MLOAD
00001b07: DUP1
00001b08: ISZERO
00001b09: PUSH2 0x1b87
00001b0c: JUMPI
00001b0d: POP
00001b0e: PUSH1 0x05
00001b10: SLOAD
00001b11: PUSH1 0x40
00001b13: DUP1
00001b14: MLOAD
00001b15: PUSH4 0x3af32abf
00001b1a: PUSH1 0xe0
00001b1c: SHL
00001b1d: DUP2
00001b1e: MSTORE
00001b1f: PUSH1 0x01
00001b21: PUSH1 0x01
00001b23: PUSH1 0xa0
00001b25: SHL
00001b26: SUB
00001b27: DUP7
00001b28: DUP2
00001b29: AND
00001b2a: PUSH1 0x04
00001b2c: DUP4
00001b2d: ADD
00001b2e: MSTORE
00001b2f: SWAP2
00001b30: MLOAD
00001b31: SWAP2
00001b32: SWAP1
00001b33: SWAP3
00001b34: AND
00001b35: SWAP2
00001b36: PUSH4 0x3af32abf
00001b3b: SWAP2
00001b3c: PUSH1 0x24
00001b3e: DUP1
00001b3f: DUP4
00001b40: ADD
00001b41: SWAP3
00001b42: PUSH1 0x20
00001b44: SWAP3
00001b45: SWAP2
00001b46: SWAP1
00001b47: DUP3
00001b48: SWAP1
00001b49: SUB
00001b4a: ADD
00001b4b: DUP2
00001b4c: DUP7
00001b4d: DUP1
00001b4e: EXTCODESIZE
00001b4f: ISZERO
00001b50: DUP1
00001b51: ISZERO
00001b52: PUSH2 0x1b5a
00001b55: JUMPI
00001b56: PUSH1 0x00
00001b58: DUP1
00001b59: REVERT
00001b5a: JUMPDEST
00001b5b: POP
00001b5c: GAS
00001b5d: STATICCALL
00001b5e: ISZERO
00001b5f: DUP1
00001b60: ISZERO
00001b61: PUSH2 0x1b6e
00001b64: JUMPI
00001b65: RETURNDATASIZE
00001b66: PUSH1 0x00
00001b68: DUP1
00001b69: RETURNDATACOPY
00001b6a: RETURNDATASIZE
00001b6b: PUSH1 0x00
00001b6d: REVERT
00001b6e: JUMPDEST
00001b6f: POP
00001b70: POP
00001b71: POP
00001b72: POP
00001b73: PUSH1 0x40
00001b75: MLOAD
00001b76: RETURNDATASIZE
00001b77: PUSH1 0x20
00001b79: DUP2
00001b7a: LT
00001b7b: ISZERO
00001b7c: PUSH2 0x1b84
00001b7f: JUMPI
00001b80: PUSH1 0x00
00001b82: DUP1
00001b83: REVERT
00001b84: JUMPDEST
00001b85: POP
00001b86: MLOAD
00001b87: JUMPDEST
00001b88: PUSH2 0x1bce
00001b8b: JUMPI
00001b8c: PUSH1 0x40
00001b8e: DUP1
00001b8f: MLOAD
00001b90: PUSH3 0x461bcd
00001b94: PUSH1 0xe5
00001b96: SHL
00001b97: DUP2
00001b98: MSTORE
00001b99: PUSH1 0x20
00001b9b: PUSH1 0x04
00001b9d: DUP3
00001b9e: ADD
00001b9f: MSTORE
00001ba0: PUSH1 0x13
00001ba2: PUSH1 0x24
00001ba4: DUP3
00001ba5: ADD
00001ba6: MSTORE
00001ba7: PUSH19 0x11549497d393d517d5d2125511531254d51151
00001bbb: PUSH1 0x6a
00001bbd: SHL
00001bbe: PUSH1 0x44
00001bc0: DUP3
00001bc1: ADD
00001bc2: MSTORE
00001bc3: SWAP1
00001bc4: MLOAD
00001bc5: SWAP1
00001bc6: DUP2
00001bc7: SWAP1
00001bc8: SUB
00001bc9: PUSH1 0x64
00001bcb: ADD
00001bcc: SWAP1
00001bcd: REVERT
00001bce: JUMPDEST
00001bcf: PUSH2 0x1bdb
00001bd2: DUP8
00001bd3: DUP8
00001bd4: DUP8
00001bd5: DUP8
00001bd6: DUP8
00001bd7: PUSH2 0x298f
00001bda: JUMP
00001bdb: JUMPDEST
00001bdc: PUSH1 0x03
00001bde: DUP1
00001bdf: SLOAD
00001be0: PUSH1 0xff
00001be2: PUSH1 0xa8
00001be4: SHL
00001be5: NOT
00001be6: AND
00001be7: SWAP1
00001be8: SSTORE
00001be9: SWAP8
00001bea: SWAP7
00001beb: POP
00001bec: POP
00001bed: POP
00001bee: POP
00001bef: POP
00001bf0: POP
00001bf1: POP
00001bf2: JUMP
00001bf3: JUMPDEST
00001bf4: PUSH2 0x1bfb
00001bf7: PUSH2 0x1d7b
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: PUSH1 0x08
00001bfe: SLOAD
00001bff: PUSH4 0xffffffff
00001c04: PUSH5 0x0100000000
00001c0a: SWAP1
00001c0b: SWAP2
00001c0c: DIV
00001c0d: DUP2
00001c0e: AND
00001c0f: SWAP1
00001c10: DUP3
00001c11: AND
00001c12: GT
00001c13: ISZERO
00001c14: PUSH2 0x1c64
00001c17: JUMPI
00001c18: PUSH1 0x40
00001c1a: DUP1
00001c1b: MLOAD
00001c1c: PUSH3 0x461bcd
00001c20: PUSH1 0xe5
00001c22: SHL
00001c23: DUP2
00001c24: MSTORE
00001c25: PUSH1 0x20
00001c27: PUSH1 0x04
00001c29: DUP3
00001c2a: ADD
00001c2b: MSTORE
00001c2c: PUSH1 0x1a
00001c2e: PUSH1 0x24
00001c30: DUP3
00001c31: ADD
00001c32: MSTORE
00001c33: PUSH32 0x4552525f494e56414c49445f434f4e56455253494f4e5f464545000000000000
00001c54: PUSH1 0x44
00001c56: DUP3
00001c57: ADD
00001c58: MSTORE
00001c59: SWAP1
00001c5a: MLOAD
00001c5b: SWAP1
00001c5c: DUP2
00001c5d: SWAP1
00001c5e: SUB
00001c5f: PUSH1 0x64
00001c61: ADD
00001c62: SWAP1
00001c63: REVERT
00001c64: JUMPDEST
00001c65: PUSH1 0x08
00001c67: SLOAD
00001c68: PUSH1 0x40
00001c6a: DUP1
00001c6b: MLOAD
00001c6c: PUSH4 0xffffffff
00001c71: PUSH1 0x01
00001c73: PUSH1 0x40
00001c75: SHL
00001c76: SWAP1
00001c77: SWAP4
00001c78: DIV
00001c79: DUP4
00001c7a: AND
00001c7b: DUP2
00001c7c: MSTORE
00001c7d: SWAP2
00001c7e: DUP4
00001c7f: AND
00001c80: PUSH1 0x20
00001c82: DUP4
00001c83: ADD
00001c84: MSTORE
00001c85: DUP1
00001c86: MLOAD
00001c87: PUSH32 0x81cd2ffb37dd237c0e4e2a3de5265fcf9deb43d3e7801e80db9f1ccfba7ee600
00001ca8: SWAP3
00001ca9: DUP2
00001caa: SWAP1
00001cab: SUB
00001cac: SWAP1
00001cad: SWAP2
00001cae: ADD
00001caf: SWAP1
00001cb0: LOG1
00001cb1: PUSH1 0x08
00001cb3: DUP1
00001cb4: SLOAD
00001cb5: PUSH4 0xffffffff
00001cba: SWAP1
00001cbb: SWAP3
00001cbc: AND
00001cbd: PUSH1 0x01
00001cbf: PUSH1 0x40
00001cc1: SHL
00001cc2: MUL
00001cc3: PUSH12 0xffffffff0000000000000000
00001cd0: NOT
00001cd1: SWAP1
00001cd2: SWAP3
00001cd3: AND
00001cd4: SWAP2
00001cd5: SWAP1
00001cd6: SWAP2
00001cd7: OR
00001cd8: SWAP1
00001cd9: SSTORE
00001cda: JUMP
00001cdb: JUMPDEST
00001cdc: PUSH2 0x1ce3
00001cdf: PUSH2 0x1d7b
00001ce2: JUMP
00001ce3: JUMPDEST
00001ce4: PUSH1 0x00
00001ce6: SLOAD
00001ce7: PUSH1 0x01
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0xa0
00001ced: SHL
00001cee: SUB
00001cef: DUP3
00001cf0: DUP2
00001cf1: AND
00001cf2: SWAP2
00001cf3: AND
00001cf4: EQ
00001cf5: ISZERO
00001cf6: PUSH2 0x1d37
00001cf9: JUMPI
00001cfa: PUSH1 0x40
00001cfc: DUP1
00001cfd: MLOAD
00001cfe: PUSH3 0x461bcd
00001d02: PUSH1 0xe5
00001d04: SHL
00001d05: DUP2
00001d06: MSTORE
00001d07: PUSH1 0x20
00001d09: PUSH1 0x04
00001d0b: DUP3
00001d0c: ADD
00001d0d: MSTORE
00001d0e: PUSH1 0x0e
00001d10: PUSH1 0x24
00001d12: DUP3
00001d13: ADD
00001d14: MSTORE
00001d15: PUSH14 0x22a9292fa9a0a6a2afa7aba722a9
00001d24: PUSH1 0x91
00001d26: SHL
00001d27: PUSH1 0x44
00001d29: DUP3
00001d2a: ADD
00001d2b: MSTORE
00001d2c: SWAP1
00001d2d: MLOAD
00001d2e: SWAP1
00001d2f: DUP2
00001d30: SWAP1
00001d31: SUB
00001d32: PUSH1 0x64
00001d34: ADD
00001d35: SWAP1
00001d36: REVERT
00001d37: JUMPDEST
00001d38: PUSH1 0x01
00001d3a: DUP1
00001d3b: SLOAD
00001d3c: PUSH1 0x01
00001d3e: PUSH1 0x01
00001d40: PUSH1 0xa0
00001d42: SHL
00001d43: SUB
00001d44: NOT
00001d45: AND
00001d46: PUSH1 0x01
00001d48: PUSH1 0x01
00001d4a: PUSH1 0xa0
00001d4c: SHL
00001d4d: SUB
00001d4e: SWAP3
00001d4f: SWAP1
00001d50: SWAP3
00001d51: AND
00001d52: SWAP2
00001d53: SWAP1
00001d54: SWAP2
00001d55: OR
00001d56: SWAP1
00001d57: SSTORE
00001d58: JUMP
00001d59: JUMPDEST
00001d5a: PUSH1 0x08
00001d5c: SLOAD
00001d5d: PUSH1 0x01
00001d5f: PUSH1 0x80
00001d61: SHL
00001d62: SWAP1
00001d63: DIV
00001d64: PUSH4 0xffffffff
00001d69: AND
00001d6a: DUP2
00001d6b: JUMP
00001d6c: JUMPDEST
00001d6d: PUSH1 0x04
00001d6f: SLOAD
00001d70: PUSH1 0x01
00001d72: PUSH1 0x01
00001d74: PUSH1 0xa0
00001d76: SHL
00001d77: SUB
00001d78: AND
00001d79: SWAP1
00001d7a: JUMP
00001d7b: JUMPDEST
00001d7c: PUSH1 0x00
00001d7e: SLOAD
00001d7f: PUSH1 0x01
00001d81: PUSH1 0x01
00001d83: PUSH1 0xa0
00001d85: SHL
00001d86: SUB
00001d87: AND
00001d88: CALLER
00001d89: EQ
00001d8a: PUSH2 0x0dd6
00001d8d: JUMPI
00001d8e: PUSH1 0x40
00001d90: DUP1
00001d91: MLOAD
00001d92: PUSH3 0x461bcd
00001d96: PUSH1 0xe5
00001d98: SHL
00001d99: DUP2
00001d9a: MSTORE
00001d9b: PUSH1 0x20
00001d9d: PUSH1 0x04
00001d9f: DUP3
00001da0: ADD
00001da1: MSTORE
00001da2: PUSH1 0x11
00001da4: PUSH1 0x24
00001da6: DUP3
00001da7: ADD
00001da8: MSTORE
00001da9: PUSH17 0x11549497d050d0d154d4d7d11153925151
00001dbb: PUSH1 0x7a
00001dbd: SHL
00001dbe: PUSH1 0x44
00001dc0: DUP3
00001dc1: ADD
00001dc2: MSTORE
00001dc3: SWAP1
00001dc4: MLOAD
00001dc5: SWAP1
00001dc6: DUP2
00001dc7: SWAP1
00001dc8: SUB
00001dc9: PUSH1 0x64
00001dcb: ADD
00001dcc: SWAP1
00001dcd: REVERT
00001dce: JUMPDEST
00001dcf: PUSH1 0x01
00001dd1: PUSH1 0x01
00001dd3: PUSH1 0xa0
00001dd5: SHL
00001dd6: SUB
00001dd7: DUP2
00001dd8: AND
00001dd9: PUSH1 0x00
00001ddb: SWAP1
00001ddc: DUP2
00001ddd: MSTORE
00001dde: PUSH1 0x07
00001de0: PUSH1 0x20
00001de2: MSTORE
00001de3: PUSH1 0x40
00001de5: SWAP1
00001de6: KECCAK256
00001de7: PUSH1 0x01
00001de9: ADD
00001dea: SLOAD
00001deb: PUSH1 0x01
00001ded: PUSH1 0x30
00001def: SHL
00001df0: SWAP1
00001df1: DIV
00001df2: PUSH1 0xff
00001df4: AND
00001df5: PUSH2 0x0d34
00001df8: JUMPI
00001df9: PUSH1 0x40
00001dfb: DUP1
00001dfc: MLOAD
00001dfd: PUSH3 0x461bcd
00001e01: PUSH1 0xe5
00001e03: SHL
00001e04: DUP2
00001e05: MSTORE
00001e06: PUSH1 0x20
00001e08: PUSH1 0x04
00001e0a: DUP3
00001e0b: ADD
00001e0c: MSTORE
00001e0d: PUSH1 0x13
00001e0f: PUSH1 0x24
00001e11: DUP3
00001e12: ADD
00001e13: MSTORE
00001e14: PUSH19 0x4552525f494e56414c49445f52455345525645
00001e28: PUSH1 0x68
00001e2a: SHL
00001e2b: PUSH1 0x44
00001e2d: DUP3
00001e2e: ADD
00001e2f: MSTORE
00001e30: SWAP1
00001e31: MLOAD
00001e32: SWAP1
00001e33: DUP2
00001e34: SWAP1
00001e35: SUB
00001e36: PUSH1 0x64
00001e38: ADD
00001e39: SWAP1
00001e3a: REVERT
00001e3b: JUMPDEST
00001e3c: PUSH1 0x02
00001e3e: SLOAD
00001e3f: PUSH1 0x40
00001e41: DUP1
00001e42: MLOAD
00001e43: PUSH4 0x2ecd14d3
00001e48: PUSH1 0xe2
00001e4a: SHL
00001e4b: DUP2
00001e4c: MSTORE
00001e4d: PUSH1 0x04
00001e4f: DUP2
00001e50: ADD
00001e51: DUP5
00001e52: SWAP1
00001e53: MSTORE
00001e54: SWAP1
00001e55: MLOAD
00001e56: PUSH1 0x00
00001e58: SWAP3
00001e59: PUSH1 0x01
00001e5b: PUSH1 0x01
00001e5d: PUSH1 0xa0
00001e5f: SHL
00001e60: SUB
00001e61: AND
00001e62: SWAP2
00001e63: PUSH4 0xbb34534c
00001e68: SWAP2
00001e69: PUSH1 0x24
00001e6b: DUP1
00001e6c: DUP4
00001e6d: ADD
00001e6e: SWAP3
00001e6f: PUSH1 0x20
00001e71: SWAP3
00001e72: SWAP2
00001e73: SWAP1
00001e74: DUP3
00001e75: SWAP1
00001e76: SUB
00001e77: ADD
00001e78: DUP2
00001e79: DUP7
00001e7a: DUP1
00001e7b: EXTCODESIZE
00001e7c: ISZERO
00001e7d: DUP1
00001e7e: ISZERO
00001e7f: PUSH2 0x1e87
00001e82: JUMPI
00001e83: PUSH1 0x00
00001e85: DUP1
00001e86: REVERT
00001e87: JUMPDEST
00001e88: POP
00001e89: GAS
00001e8a: STATICCALL
00001e8b: ISZERO
00001e8c: DUP1
00001e8d: ISZERO
00001e8e: PUSH2 0x1e9b
00001e91: JUMPI
00001e92: RETURNDATASIZE
00001e93: PUSH1 0x00
00001e95: DUP1
00001e96: RETURNDATACOPY
00001e97: RETURNDATASIZE
00001e98: PUSH1 0x00
00001e9a: REVERT
00001e9b: JUMPDEST
00001e9c: POP
00001e9d: POP
00001e9e: POP
00001e9f: POP
00001ea0: PUSH1 0x40
00001ea2: MLOAD
00001ea3: RETURNDATASIZE
00001ea4: PUSH1 0x20
00001ea6: DUP2
00001ea7: LT
00001ea8: ISZERO
00001ea9: PUSH2 0x1eb1
00001eac: JUMPI
00001ead: PUSH1 0x00
00001eaf: DUP1
00001eb0: REVERT
00001eb1: JUMPDEST
00001eb2: POP
00001eb3: MLOAD
00001eb4: SWAP3
00001eb5: SWAP2
00001eb6: POP
00001eb7: POP
00001eb8: JUMP
00001eb9: JUMPDEST
00001eba: PUSH1 0x01
00001ebc: PUSH1 0x01
00001ebe: PUSH1 0xa0
00001ec0: SHL
00001ec1: SUB
00001ec2: DUP2
00001ec3: AND
00001ec4: ADDRESS
00001ec5: EQ
00001ec6: ISZERO
00001ec7: PUSH2 0x0d34
00001eca: JUMPI
00001ecb: PUSH1 0x40
00001ecd: DUP1
00001ece: MLOAD
00001ecf: PUSH3 0x461bcd
00001ed3: PUSH1 0xe5
00001ed5: SHL
00001ed6: DUP2
00001ed7: MSTORE
00001ed8: PUSH1 0x20
00001eda: PUSH1 0x04
00001edc: DUP3
00001edd: ADD
00001ede: MSTORE
00001edf: PUSH1 0x13
00001ee1: PUSH1 0x24
00001ee3: DUP3
00001ee4: ADD
00001ee5: MSTORE
00001ee6: PUSH19 0x22a9292fa0a2222922a9a9afa4a9afa9a2a623
00001efa: PUSH1 0x69
00001efc: SHL
00001efd: PUSH1 0x44
00001eff: DUP3
00001f00: ADD
00001f01: MSTORE
00001f02: SWAP1
00001f03: MLOAD
00001f04: SWAP1
00001f05: DUP2
00001f06: SWAP1
00001f07: SUB
00001f08: PUSH1 0x64
00001f0a: ADD
00001f0b: SWAP1
00001f0c: REVERT
00001f0d: JUMPDEST
00001f0e: PUSH1 0x03
00001f10: SLOAD
00001f11: PUSH1 0x01
00001f13: PUSH1 0xa8
00001f15: SHL
00001f16: SWAP1
00001f17: DIV
00001f18: PUSH1 0xff
00001f1a: AND
00001f1b: ISZERO
00001f1c: PUSH2 0x0dd6
00001f1f: JUMPI
00001f20: PUSH1 0x40
00001f22: DUP1
00001f23: MLOAD
00001f24: PUSH3 0x461bcd
00001f28: PUSH1 0xe5
00001f2a: SHL
00001f2b: DUP2
00001f2c: MSTORE
00001f2d: PUSH1 0x20
00001f2f: PUSH1 0x04
00001f31: DUP3
00001f32: ADD
00001f33: MSTORE
00001f34: PUSH1 0x0e
00001f36: PUSH1 0x24
00001f38: DUP3
00001f39: ADD
00001f3a: MSTORE
00001f3b: PUSH14 0x4552525f5245454e5452414e4359
00001f4a: PUSH1 0x90
00001f4c: SHL
00001f4d: PUSH1 0x44
00001f4f: DUP3
00001f50: ADD
00001f51: MSTORE
00001f52: SWAP1
00001f53: MLOAD
00001f54: SWAP1
00001f55: DUP2
00001f56: SWAP1
00001f57: SUB
00001f58: PUSH1 0x64
00001f5a: ADD
00001f5b: SWAP1
00001f5c: REVERT
00001f5d: JUMPDEST
00001f5e: PUSH2 0x1f65
00001f61: PUSH2 0x1d7b
00001f64: JUMP
00001f65: JUMPDEST
00001f66: DUP3
00001f67: PUSH2 0x1f6f
00001f6a: DUP2
00001f6b: PUSH2 0x2b52
00001f6e: JUMP
00001f6f: JUMPDEST
00001f70: DUP3
00001f71: PUSH2 0x1f79
00001f74: DUP2
00001f75: PUSH2 0x2b52
00001f78: JUMP
00001f79: JUMPDEST
00001f7a: DUP4
00001f7b: PUSH2 0x1f83
00001f7e: DUP2
00001f7f: PUSH2 0x1eb9
00001f82: JUMP
00001f83: JUMPDEST
00001f84: PUSH2 0x1f8e
00001f87: DUP7
00001f88: DUP7
00001f89: DUP7
00001f8a: PUSH2 0x27d4
00001f8d: JUMP
00001f8e: JUMPDEST
00001f8f: POP
00001f90: POP
00001f91: POP
00001f92: POP
00001f93: POP
00001f94: POP
00001f95: JUMP
00001f96: JUMPDEST
00001f97: DUP1
00001f98: PUSH2 0x1fa0
00001f9b: DUP2
00001f9c: PUSH2 0x1dce
00001f9f: JUMP
00001fa0: JUMPDEST
00001fa1: PUSH1 0x01
00001fa3: PUSH1 0x01
00001fa5: PUSH1 0xa0
00001fa7: SHL
00001fa8: SUB
00001fa9: DUP3
00001faa: AND
00001fab: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001fc0: EQ
00001fc1: ISZERO
00001fc2: PUSH2 0x1fe5
00001fc5: JUMPI
00001fc6: PUSH1 0x01
00001fc8: PUSH1 0x01
00001fca: PUSH1 0xa0
00001fcc: SHL
00001fcd: SUB
00001fce: DUP3
00001fcf: AND
00001fd0: PUSH1 0x00
00001fd2: SWAP1
00001fd3: DUP2
00001fd4: MSTORE
00001fd5: PUSH1 0x07
00001fd7: PUSH1 0x20
00001fd9: MSTORE
00001fda: PUSH1 0x40
00001fdc: SWAP1
00001fdd: KECCAK256
00001fde: SELFBALANCE
00001fdf: SWAP1
00001fe0: SSTORE
00001fe1: PUSH2 0x1260
00001fe4: JUMP
00001fe5: JUMPDEST
00001fe6: PUSH1 0x40
00001fe8: DUP1
00001fe9: MLOAD
00001fea: PUSH4 0x70a08231
00001fef: PUSH1 0xe0
00001ff1: SHL
00001ff2: DUP2
00001ff3: MSTORE
00001ff4: ADDRESS
00001ff5: PUSH1 0x04
00001ff7: DUP3
00001ff8: ADD
00001ff9: MSTORE
00001ffa: SWAP1
00001ffb: MLOAD
00001ffc: PUSH1 0x01
00001ffe: PUSH1 0x01
00002000: PUSH1 0xa0
00002002: SHL
00002003: SUB
00002004: DUP5
00002005: AND
00002006: SWAP2
00002007: PUSH4 0x70a08231
0000200c: SWAP2
0000200d: PUSH1 0x24
0000200f: DUP1
00002010: DUP4
00002011: ADD
00002012: SWAP3
00002013: PUSH1 0x20
00002015: SWAP3
00002016: SWAP2
00002017: SWAP1
00002018: DUP3
00002019: SWAP1
0000201a: SUB
0000201b: ADD
0000201c: DUP2
0000201d: DUP7
0000201e: DUP1
0000201f: EXTCODESIZE
00002020: ISZERO
00002021: DUP1
00002022: ISZERO
00002023: PUSH2 0x202b
00002026: JUMPI
00002027: PUSH1 0x00
00002029: DUP1
0000202a: REVERT
0000202b: JUMPDEST
0000202c: POP
0000202d: GAS
0000202e: STATICCALL
0000202f: ISZERO
00002030: DUP1
00002031: ISZERO
00002032: PUSH2 0x203f
00002035: JUMPI
00002036: RETURNDATASIZE
00002037: PUSH1 0x00
00002039: DUP1
0000203a: RETURNDATACOPY
0000203b: RETURNDATASIZE
0000203c: PUSH1 0x00
0000203e: REVERT
0000203f: JUMPDEST
00002040: POP
00002041: POP
00002042: POP
00002043: POP
00002044: PUSH1 0x40
00002046: MLOAD
00002047: RETURNDATASIZE
00002048: PUSH1 0x20
0000204a: DUP2
0000204b: LT
0000204c: ISZERO
0000204d: PUSH2 0x2055
00002050: JUMPI
00002051: PUSH1 0x00
00002053: DUP1
00002054: REVERT
00002055: JUMPDEST
00002056: POP
00002057: MLOAD
00002058: PUSH1 0x01
0000205a: PUSH1 0x01
0000205c: PUSH1 0xa0
0000205e: SHL
0000205f: SUB
00002060: DUP4
00002061: AND
00002062: PUSH1 0x00
00002064: SWAP1
00002065: DUP2
00002066: MSTORE
00002067: PUSH1 0x07
00002069: PUSH1 0x20
0000206b: MSTORE
0000206c: PUSH1 0x40
0000206e: SWAP1
0000206f: KECCAK256
00002070: SSTORE
00002071: POP
00002072: POP
00002073: JUMP
00002074: JUMPDEST
00002075: PUSH2 0x207c
00002078: PUSH2 0x1d7b
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH2 0x2084
00002080: PUSH2 0x2293
00002083: JUMP
00002084: JUMPDEST
00002085: DUP2
00002086: PUSH2 0x208e
00002089: DUP2
0000208a: PUSH2 0x2b52
0000208d: JUMP
0000208e: JUMPDEST
0000208f: DUP3
00002090: PUSH2 0x2098
00002093: DUP2
00002094: PUSH2 0x1eb9
00002097: JUMP
00002098: JUMPDEST
00002099: DUP3
0000209a: PUSH2 0x20a2
0000209d: DUP2
0000209e: PUSH2 0x2ba3
000020a1: JUMP
000020a2: JUMPDEST
000020a3: PUSH1 0x04
000020a5: SLOAD
000020a6: PUSH1 0x01
000020a8: PUSH1 0x01
000020aa: PUSH1 0xa0
000020ac: SHL
000020ad: SUB
000020ae: DUP7
000020af: DUP2
000020b0: AND
000020b1: SWAP2
000020b2: AND
000020b3: EQ
000020b4: DUP1
000020b5: ISZERO
000020b6: SWAP1
000020b7: PUSH2 0x20e3
000020ba: JUMPI
000020bb: POP
000020bc: PUSH1 0x01
000020be: PUSH1 0x01
000020c0: PUSH1 0xa0
000020c2: SHL
000020c3: SUB
000020c4: DUP6
000020c5: AND
000020c6: PUSH1 0x00
000020c8: SWAP1
000020c9: DUP2
000020ca: MSTORE
000020cb: PUSH1 0x07
000020cd: PUSH1 0x20
000020cf: MSTORE
000020d0: PUSH1 0x40
000020d2: SWAP1
000020d3: KECCAK256
000020d4: PUSH1 0x01
000020d6: ADD
000020d7: SLOAD
000020d8: PUSH1 0x01
000020da: PUSH1 0x30
000020dc: SHL
000020dd: SWAP1
000020de: DIV
000020df: PUSH1 0xff
000020e1: AND
000020e2: ISZERO
000020e3: JUMPDEST
000020e4: PUSH2 0x212a
000020e7: JUMPI
000020e8: PUSH1 0x40
000020ea: DUP1
000020eb: MLOAD
000020ec: PUSH3 0x461bcd
000020f0: PUSH1 0xe5
000020f2: SHL
000020f3: DUP2
000020f4: MSTORE
000020f5: PUSH1 0x20
000020f7: PUSH1 0x04
000020f9: DUP3
000020fa: ADD
000020fb: MSTORE
000020fc: PUSH1 0x13
000020fe: PUSH1 0x24
00002100: DUP3
00002101: ADD
00002102: MSTORE
00002103: PUSH19 0x4552525f494e56414c49445f52455345525645
00002117: PUSH1 0x68
00002119: SHL
0000211a: PUSH1 0x44
0000211c: DUP3
0000211d: ADD
0000211e: MSTORE
0000211f: SWAP1
00002120: MLOAD
00002121: SWAP1
00002122: DUP2
00002123: SWAP1
00002124: SUB
00002125: PUSH1 0x64
00002127: ADD
00002128: SWAP1
00002129: REVERT
0000212a: JUMPDEST
0000212b: PUSH1 0x08
0000212d: SLOAD
0000212e: PUSH4 0xffffffff
00002133: SWAP1
00002134: DUP2
00002135: AND
00002136: PUSH3 0x0f4240
0000213a: SUB
0000213b: DUP2
0000213c: AND
0000213d: SWAP1
0000213e: DUP6
0000213f: AND
00002140: GT
00002141: ISZERO
00002142: PUSH2 0x218f
00002145: JUMPI
00002146: PUSH1 0x40
00002148: DUP1
00002149: MLOAD
0000214a: PUSH3 0x461bcd
0000214e: PUSH1 0xe5
00002150: SHL
00002151: DUP2
00002152: MSTORE
00002153: PUSH1 0x20
00002155: PUSH1 0x04
00002157: DUP3
00002158: ADD
00002159: MSTORE
0000215a: PUSH1 0x1a
0000215c: PUSH1 0x24
0000215e: DUP3
0000215f: ADD
00002160: MSTORE
00002161: PUSH26 0x11549497d253959053125117d49154d154959157d5d15251d215
0000217c: PUSH1 0x32
0000217e: SHL
0000217f: PUSH1 0x44
00002181: DUP3
00002182: ADD
00002183: MSTORE
00002184: SWAP1
00002185: MLOAD
00002186: SWAP1
00002187: DUP2
00002188: SWAP1
00002189: SUB
0000218a: PUSH1 0x64
0000218c: ADD
0000218d: SWAP1
0000218e: REVERT
0000218f: JUMPDEST
00002190: PUSH2 0xffff
00002193: PUSH2 0x219a
00002196: PUSH2 0x1362
00002199: JUMP
0000219a: JUMPDEST
0000219b: PUSH2 0xffff
0000219e: AND
0000219f: LT
000021a0: PUSH2 0x21ec
000021a3: JUMPI
000021a4: PUSH1 0x40
000021a6: DUP1
000021a7: MLOAD
000021a8: PUSH3 0x461bcd
000021ac: PUSH1 0xe5
000021ae: SHL
000021af: DUP2
000021b0: MSTORE
000021b1: PUSH1 0x20
000021b3: PUSH1 0x04
000021b5: DUP3
000021b6: ADD
000021b7: MSTORE
000021b8: PUSH1 0x19
000021ba: PUSH1 0x24
000021bc: DUP3
000021bd: ADD
000021be: MSTORE
000021bf: PUSH25 0x11549497d253959053125117d49154d154959157d0d3d55395
000021d9: PUSH1 0x3a
000021db: SHL
000021dc: PUSH1 0x44
000021de: DUP3
000021df: ADD
000021e0: MSTORE
000021e1: SWAP1
000021e2: MLOAD
000021e3: SWAP1
000021e4: DUP2
000021e5: SWAP1
000021e6: SUB
000021e7: PUSH1 0x64
000021e9: ADD
000021ea: SWAP1
000021eb: REVERT
000021ec: JUMPDEST
000021ed: POP
000021ee: POP
000021ef: POP
000021f0: PUSH1 0x01
000021f2: PUSH1 0x01
000021f4: PUSH1 0xa0
000021f6: SHL
000021f7: SUB
000021f8: SWAP1
000021f9: SWAP2
000021fa: AND
000021fb: PUSH1 0x00
000021fd: DUP2
000021fe: DUP2
000021ff: MSTORE
00002200: PUSH1 0x07
00002202: PUSH1 0x20
00002204: MSTORE
00002205: PUSH1 0x40
00002207: DUP2
00002208: KECCAK256
00002209: DUP2
0000220a: DUP2
0000220b: SSTORE
0000220c: PUSH1 0x01
0000220e: SWAP1
0000220f: DUP2
00002210: ADD
00002211: DUP1
00002212: SLOAD
00002213: PUSH7 0xff000000000000
0000221b: NOT
0000221c: PUSH4 0xffffffff
00002221: DUP1
00002222: DUP9
00002223: AND
00002224: PUSH4 0xffffffff
00002229: NOT
0000222a: SWAP4
0000222b: DUP5
0000222c: AND
0000222d: OR
0000222e: SWAP2
0000222f: SWAP1
00002230: SWAP2
00002231: AND
00002232: PUSH1 0x01
00002234: PUSH1 0x30
00002236: SHL
00002237: OR
00002238: SWAP1
00002239: SWAP3
0000223a: SSTORE
0000223b: PUSH1 0x06
0000223d: DUP1
0000223e: SLOAD
0000223f: SWAP4
00002240: DUP5
00002241: ADD
00002242: DUP2
00002243: SSTORE
00002244: SWAP1
00002245: SWAP4
00002246: MSTORE
00002247: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f
00002268: SWAP1
00002269: SWAP2
0000226a: ADD
0000226b: DUP1
0000226c: SLOAD
0000226d: PUSH1 0x01
0000226f: PUSH1 0x01
00002271: PUSH1 0xa0
00002273: SHL
00002274: SUB
00002275: NOT
00002276: AND
00002277: SWAP1
00002278: SWAP4
00002279: OR
0000227a: SWAP1
0000227b: SWAP3
0000227c: SSTORE
0000227d: PUSH1 0x08
0000227f: DUP1
00002280: SLOAD
00002281: DUP1
00002282: DUP5
00002283: AND
00002284: SWAP1
00002285: SWAP5
00002286: ADD
00002287: SWAP1
00002288: SWAP3
00002289: AND
0000228a: SWAP3
0000228b: AND
0000228c: SWAP2
0000228d: SWAP1
0000228e: SWAP2
0000228f: OR
00002290: SWAP1
00002291: SSTORE
00002292: JUMP
00002293: JUMPDEST
00002294: PUSH2 0x229b
00002297: PUSH2 0x0d37
0000229a: JUMP
0000229b: JUMPDEST
0000229c: ISZERO
0000229d: PUSH2 0x0dd6
000022a0: JUMPI
000022a1: PUSH1 0x40
000022a3: DUP1
000022a4: MLOAD
000022a5: PUSH3 0x461bcd
000022a9: PUSH1 0xe5
000022ab: SHL
000022ac: DUP2
000022ad: MSTORE
000022ae: PUSH1 0x20
000022b0: PUSH1 0x04
000022b2: DUP3
000022b3: ADD
000022b4: MSTORE
000022b5: PUSH1 0x0a
000022b7: PUSH1 0x24
000022b9: DUP3
000022ba: ADD
000022bb: MSTORE
000022bc: PUSH10 0x4552525f414354495645
000022c7: PUSH1 0xb0
000022c9: SHL
000022ca: PUSH1 0x44
000022cc: DUP3
000022cd: ADD
000022ce: MSTORE
000022cf: SWAP1
000022d0: MLOAD
000022d1: SWAP1
000022d2: DUP2
000022d3: SWAP1
000022d4: SUB
000022d5: PUSH1 0x64
000022d7: ADD
000022d8: SWAP1
000022d9: REVERT
000022da: JUMPDEST
000022db: PUSH1 0x00
000022dd: DUP1
000022de: PUSH2 0x22e5
000022e1: PUSH2 0x2c10
000022e4: JUMP
000022e5: JUMPDEST
000022e6: PUSH1 0x00
000022e8: PUSH1 0x04
000022ea: PUSH1 0x00
000022ec: SWAP1
000022ed: SLOAD
000022ee: SWAP1
000022ef: PUSH2 0x0100
000022f2: EXP
000022f3: SWAP1
000022f4: DIV
000022f5: PUSH1 0x01
000022f7: PUSH1 0x01
000022f9: PUSH1 0xa0
000022fb: SHL
000022fc: SUB
000022fd: AND
000022fe: PUSH1 0x01
00002300: PUSH1 0x01
00002302: PUSH1 0xa0
00002304: SHL
00002305: SUB
00002306: AND
00002307: PUSH4 0x18160ddd
0000230c: PUSH1 0x40
0000230e: MLOAD
0000230f: DUP2
00002310: PUSH4 0xffffffff
00002315: AND
00002316: PUSH1 0xe0
00002318: SHL
00002319: DUP2
0000231a: MSTORE
0000231b: PUSH1 0x04
0000231d: ADD
0000231e: PUSH1 0x20
00002320: PUSH1 0x40
00002322: MLOAD
00002323: DUP1
00002324: DUP4
00002325: SUB
00002326: DUP2
00002327: DUP7
00002328: DUP1
00002329: EXTCODESIZE
0000232a: ISZERO
0000232b: DUP1
0000232c: ISZERO
0000232d: PUSH2 0x2335
00002330: JUMPI
00002331: PUSH1 0x00
00002333: DUP1
00002334: REVERT
00002335: JUMPDEST
00002336: POP
00002337: GAS
00002338: STATICCALL
00002339: ISZERO
0000233a: DUP1
0000233b: ISZERO
0000233c: PUSH2 0x2349
0000233f: JUMPI
00002340: RETURNDATASIZE
00002341: PUSH1 0x00
00002343: DUP1
00002344: RETURNDATACOPY
00002345: RETURNDATASIZE
00002346: PUSH1 0x00
00002348: REVERT
00002349: JUMPDEST
0000234a: POP
0000234b: POP
0000234c: POP
0000234d: POP
0000234e: PUSH1 0x40
00002350: MLOAD
00002351: RETURNDATASIZE
00002352: PUSH1 0x20
00002354: DUP2
00002355: LT
00002356: ISZERO
00002357: PUSH2 0x235f
0000235a: JUMPI
0000235b: PUSH1 0x00
0000235d: DUP1
0000235e: REVERT
0000235f: JUMPDEST
00002360: POP
00002361: MLOAD
00002362: PUSH1 0x06
00002364: DUP1
00002365: SLOAD
00002366: SWAP2
00002367: SWAP3
00002368: POP
00002369: PUSH1 0x00
0000236b: SWAP2
0000236c: DUP3
0000236d: SWAP1
0000236e: PUSH2 0x2373
00002371: JUMPI
00002372: INVALID
00002373: JUMPDEST
00002374: PUSH1 0x00
00002376: SWAP2
00002377: DUP3
00002378: MSTORE
00002379: PUSH1 0x20
0000237b: SWAP1
0000237c: SWAP2
0000237d: KECCAK256
0000237e: ADD
0000237f: SLOAD
00002380: PUSH1 0x01
00002382: PUSH1 0x01
00002384: PUSH1 0xa0
00002386: SHL
00002387: SUB
00002388: AND
00002389: SWAP1
0000238a: POP
0000238b: DUP2
0000238c: PUSH2 0x23d6
0000238f: JUMPI
00002390: PUSH1 0x01
00002392: PUSH1 0x01
00002394: PUSH1 0xa0
00002396: SHL
00002397: SUB
00002398: DUP2
00002399: AND
0000239a: PUSH1 0x00
0000239c: SWAP1
0000239d: DUP2
0000239e: MSTORE
0000239f: PUSH1 0x07
000023a1: PUSH1 0x20
000023a3: MSTORE
000023a4: PUSH1 0x40
000023a6: SWAP1
000023a7: KECCAK256
000023a8: PUSH1 0x01
000023aa: ADD
000023ab: SLOAD
000023ac: PUSH2 0x23c9
000023af: SWAP1
000023b0: PUSH4 0xffffffff
000023b5: SWAP1
000023b6: DUP2
000023b7: AND
000023b8: SWAP1
000023b9: PUSH2 0x15cf
000023bc: SWAP1
000023bd: DUP9
000023be: SWAP1
000023bf: PUSH3 0x0f4240
000023c3: SWAP1
000023c4: PUSH2 0x2681
000023c7: AND
000023c8: JUMP
000023c9: JUMPDEST
000023ca: PUSH1 0x00
000023cc: SWAP4
000023cd: POP
000023ce: SWAP4
000023cf: POP
000023d0: POP
000023d1: POP
000023d2: PUSH2 0x24c1
000023d5: JUMP
000023d6: JUMPDEST
000023d7: PUSH1 0x00
000023d9: PUSH2 0x23f1
000023dc: PUSH13 0x42616e636f72466f726d756c61
000023ea: PUSH1 0x98
000023ec: SHL
000023ed: PUSH2 0x1e3b
000023f0: JUMP
000023f1: JUMPDEST
000023f2: PUSH1 0x01
000023f4: PUSH1 0x01
000023f6: PUSH1 0xa0
000023f8: SHL
000023f9: SUB
000023fa: AND
000023fb: PUSH4 0xf3250fe2
00002400: DUP5
00002401: PUSH2 0x2409
00002404: DUP6
00002405: PUSH2 0x19ba
00002408: JUMP
00002409: JUMPDEST
0000240a: PUSH1 0x01
0000240c: PUSH1 0x01
0000240e: PUSH1 0xa0
00002410: SHL
00002411: SUB
00002412: DUP7
00002413: AND
00002414: PUSH1 0x00
00002416: SWAP1
00002417: DUP2
00002418: MSTORE
00002419: PUSH1 0x07
0000241b: PUSH1 0x20
0000241d: SWAP1
0000241e: DUP2
0000241f: MSTORE
00002420: PUSH1 0x40
00002422: SWAP2
00002423: DUP3
00002424: SWAP1
00002425: KECCAK256
00002426: PUSH1 0x01
00002428: ADD
00002429: SLOAD
0000242a: DUP3
0000242b: MLOAD
0000242c: PUSH1 0x01
0000242e: PUSH1 0x01
00002430: PUSH1 0xe0
00002432: SHL
00002433: SUB
00002434: NOT
00002435: PUSH1 0xe0
00002437: DUP9
00002438: SWAP1
00002439: SHL
0000243a: AND
0000243b: DUP2
0000243c: MSTORE
0000243d: PUSH1 0x04
0000243f: DUP2
00002440: ADD
00002441: SWAP6
00002442: SWAP1
00002443: SWAP6
00002444: MSTORE
00002445: PUSH1 0x24
00002447: DUP6
00002448: ADD
00002449: SWAP4
0000244a: SWAP1
0000244b: SWAP4
0000244c: MSTORE
0000244d: PUSH4 0xffffffff
00002452: SWAP1
00002453: SWAP3
00002454: AND
00002455: PUSH1 0x44
00002457: DUP5
00002458: ADD
00002459: MSTORE
0000245a: PUSH1 0x64
0000245c: DUP4
0000245d: ADD
0000245e: DUP12
0000245f: SWAP1
00002460: MSTORE
00002461: MLOAD
00002462: PUSH1 0x84
00002464: DUP1
00002465: DUP5
00002466: ADD
00002467: SWAP4
00002468: DUP3
00002469: SWAP1
0000246a: SUB
0000246b: ADD
0000246c: DUP2
0000246d: DUP7
0000246e: DUP1
0000246f: EXTCODESIZE
00002470: ISZERO
00002471: DUP1
00002472: ISZERO
00002473: PUSH2 0x247b
00002476: JUMPI
00002477: PUSH1 0x00
00002479: DUP1
0000247a: REVERT
0000247b: JUMPDEST
0000247c: POP
0000247d: GAS
0000247e: STATICCALL
0000247f: ISZERO
00002480: DUP1
00002481: ISZERO
00002482: PUSH2 0x248f
00002485: JUMPI
00002486: RETURNDATASIZE
00002487: PUSH1 0x00
00002489: DUP1
0000248a: RETURNDATACOPY
0000248b: RETURNDATASIZE
0000248c: PUSH1 0x00
0000248e: REVERT
0000248f: JUMPDEST
00002490: POP
00002491: POP
00002492: POP
00002493: POP
00002494: PUSH1 0x40
00002496: MLOAD
00002497: RETURNDATASIZE
00002498: PUSH1 0x20
0000249a: DUP2
0000249b: LT
0000249c: ISZERO
0000249d: PUSH2 0x24a5
000024a0: JUMPI
000024a1: PUSH1 0x00
000024a3: DUP1
000024a4: REVERT
000024a5: JUMPDEST
000024a6: POP
000024a7: MLOAD
000024a8: SWAP1
000024a9: POP
000024aa: PUSH1 0x00
000024ac: PUSH2 0x24b4
000024af: DUP3
000024b0: PUSH2 0x2c58
000024b3: JUMP
000024b4: JUMPDEST
000024b5: SWAP2
000024b6: DUP3
000024b7: SWAP1
000024b8: SUB
000024b9: SWAP6
000024ba: POP
000024bb: SWAP1
000024bc: SWAP4
000024bd: POP
000024be: POP
000024bf: POP
000024c0: POP
000024c1: JUMPDEST
000024c2: SWAP2
000024c3: POP
000024c4: SWAP2
000024c5: JUMP
000024c6: JUMPDEST
000024c7: PUSH1 0x00
000024c9: DUP1
000024ca: PUSH2 0x24d1
000024cd: PUSH2 0x2c10
000024d0: JUMP
000024d1: JUMPDEST
000024d2: PUSH1 0x00
000024d4: PUSH1 0x04
000024d6: PUSH1 0x00
000024d8: SWAP1
000024d9: SLOAD
000024da: SWAP1
000024db: PUSH2 0x0100
000024de: EXP
000024df: SWAP1
000024e0: DIV
000024e1: PUSH1 0x01
000024e3: PUSH1 0x01
000024e5: PUSH1 0xa0
000024e7: SHL
000024e8: SUB
000024e9: AND
000024ea: PUSH1 0x01
000024ec: PUSH1 0x01
000024ee: PUSH1 0xa0
000024f0: SHL
000024f1: SUB
000024f2: AND
000024f3: PUSH4 0x18160ddd
000024f8: PUSH1 0x40
000024fa: MLOAD
000024fb: DUP2
000024fc: PUSH4 0xffffffff
00002501: AND
00002502: PUSH1 0xe0
00002504: SHL
00002505: DUP2
00002506: MSTORE
00002507: PUSH1 0x04
00002509: ADD
0000250a: PUSH1 0x20
0000250c: PUSH1 0x40
0000250e: MLOAD
0000250f: DUP1
00002510: DUP4
00002511: SUB
00002512: DUP2
00002513: DUP7
00002514: DUP1
00002515: EXTCODESIZE
00002516: ISZERO
00002517: DUP1
00002518: ISZERO
00002519: PUSH2 0x2521
0000251c: JUMPI
0000251d: PUSH1 0x00
0000251f: DUP1
00002520: REVERT
00002521: JUMPDEST
00002522: POP
00002523: GAS
00002524: STATICCALL
00002525: ISZERO
00002526: DUP1
00002527: ISZERO
00002528: PUSH2 0x2535
0000252b: JUMPI
0000252c: RETURNDATASIZE
0000252d: PUSH1 0x00
0000252f: DUP1
00002530: RETURNDATACOPY
00002531: RETURNDATASIZE
00002532: PUSH1 0x00
00002534: REVERT
00002535: JUMPDEST
00002536: POP
00002537: POP
00002538: POP
00002539: POP
0000253a: PUSH1 0x40
0000253c: MLOAD
0000253d: RETURNDATASIZE
0000253e: PUSH1 0x20
00002540: DUP2
00002541: LT
00002542: ISZERO
00002543: PUSH2 0x254b
00002546: JUMPI
00002547: PUSH1 0x00
00002549: DUP1
0000254a: REVERT
0000254b: JUMPDEST
0000254c: POP
0000254d: MLOAD
0000254e: PUSH1 0x06
00002550: DUP1
00002551: SLOAD
00002552: SWAP2
00002553: SWAP3
00002554: POP
00002555: PUSH1 0x00
00002557: SWAP2
00002558: DUP3
00002559: SWAP1
0000255a: PUSH2 0x255f
0000255d: JUMPI
0000255e: INVALID
0000255f: JUMPDEST
00002560: PUSH1 0x00
00002562: SWAP2
00002563: DUP3
00002564: MSTORE
00002565: PUSH1 0x20
00002567: SWAP1
00002568: SWAP2
00002569: KECCAK256
0000256a: ADD
0000256b: SLOAD
0000256c: PUSH1 0x01
0000256e: PUSH1 0x01
00002570: PUSH1 0xa0
00002572: SHL
00002573: SUB
00002574: AND
00002575: SWAP1
00002576: POP
00002577: DUP2
00002578: DUP6
00002579: EQ
0000257a: ISZERO
0000257b: PUSH2 0x2587
0000257e: JUMPI
0000257f: PUSH2 0x23c9
00002582: DUP2
00002583: PUSH2 0x19ba
00002586: JUMP
00002587: JUMPDEST
00002588: PUSH1 0x00
0000258a: PUSH2 0x25a2
0000258d: PUSH13 0x42616e636f72466f726d756c61
0000259b: PUSH1 0x98
0000259d: SHL
0000259e: PUSH2 0x1e3b
000025a1: JUMP
000025a2: JUMPDEST
000025a3: PUSH1 0x01
000025a5: PUSH1 0x01
000025a7: PUSH1 0xa0
000025a9: SHL
000025aa: SUB
000025ab: AND
000025ac: PUSH4 0x76cf0b56
000025b1: DUP5
000025b2: PUSH2 0x2409
000025b5: DUP6
000025b6: PUSH2 0x19ba
000025b9: JUMP
000025ba: JUMPDEST
000025bb: PUSH2 0x25c2
000025be: PUSH2 0x1d7b
000025c1: JUMP
000025c2: JUMPDEST
000025c3: PUSH1 0x00
000025c5: PUSH2 0x25cc
000025c8: PUSH2 0x1362
000025cb: JUMP
000025cc: JUMPDEST
000025cd: PUSH2 0xffff
000025d0: AND
000025d1: GT
000025d2: PUSH2 0x261e
000025d5: JUMPI
000025d6: PUSH1 0x40
000025d8: DUP1
000025d9: MLOAD
000025da: PUSH3 0x461bcd
000025de: PUSH1 0xe5
000025e0: SHL
000025e1: DUP2
000025e2: MSTORE
000025e3: PUSH1 0x20
000025e5: PUSH1 0x04
000025e7: DUP3
000025e8: ADD
000025e9: MSTORE
000025ea: PUSH1 0x19
000025ec: PUSH1 0x24
000025ee: DUP3
000025ef: ADD
000025f0: MSTORE
000025f1: PUSH25 0x11549497d253959053125117d49154d154959157d0d3d55395
0000260b: PUSH1 0x3a
0000260d: SHL
0000260e: PUSH1 0x44
00002610: DUP3
00002611: ADD
00002612: MSTORE
00002613: SWAP1
00002614: MLOAD
00002615: SWAP1
00002616: DUP2
00002617: SWAP1
00002618: SUB
00002619: PUSH1 0x64
0000261b: ADD
0000261c: SWAP1
0000261d: REVERT
0000261e: JUMPDEST
0000261f: PUSH1 0x04
00002621: DUP1
00002622: SLOAD
00002623: PUSH1 0x40
00002625: DUP1
00002626: MLOAD
00002627: PUSH4 0x79ba5097
0000262c: PUSH1 0xe0
0000262e: SHL
0000262f: DUP2
00002630: MSTORE
00002631: SWAP1
00002632: MLOAD
00002633: PUSH1 0x01
00002635: PUSH1 0x01
00002637: PUSH1 0xa0
00002639: SHL
0000263a: SUB
0000263b: SWAP1
0000263c: SWAP3
0000263d: AND
0000263e: SWAP3
0000263f: PUSH4 0x79ba5097
00002644: SWAP3
00002645: DUP3
00002646: DUP3
00002647: ADD
00002648: SWAP3
00002649: PUSH1 0x00
0000264b: SWAP3
0000264c: SWAP1
0000264d: DUP3
0000264e: SWAP1
0000264f: SUB
00002650: ADD
00002651: DUP2
00002652: DUP4
00002653: DUP8
00002654: DUP1
00002655: EXTCODESIZE
00002656: ISZERO
00002657: DUP1
00002658: ISZERO
00002659: PUSH2 0x2661
0000265c: JUMPI
0000265d: PUSH1 0x00
0000265f: DUP1
00002660: REVERT
00002661: JUMPDEST
00002662: POP
00002663: GAS
00002664: CALL
00002665: ISZERO
00002666: DUP1
00002667: ISZERO
00002668: PUSH2 0x2675
0000266b: JUMPI
0000266c: RETURNDATASIZE
0000266d: PUSH1 0x00
0000266f: DUP1
00002670: RETURNDATACOPY
00002671: RETURNDATASIZE
00002672: PUSH1 0x00
00002674: REVERT
00002675: JUMPDEST
00002676: POP
00002677: POP
00002678: POP
00002679: POP
0000267a: PUSH2 0x0dd6
0000267d: PUSH2 0x2c83
00002680: JUMP
00002681: JUMPDEST
00002682: PUSH1 0x00
00002684: DUP3
00002685: PUSH2 0x2690
00002688: JUMPI
00002689: POP
0000268a: PUSH1 0x00
0000268c: PUSH2 0x19b4
0000268f: JUMP
00002690: JUMPDEST
00002691: DUP3
00002692: DUP3
00002693: MUL
00002694: DUP3
00002695: DUP5
00002696: DUP3
00002697: DUP2
00002698: PUSH2 0x269d
0000269b: JUMPI
0000269c: INVALID
0000269d: JUMPDEST
0000269e: DIV
0000269f: EQ
000026a0: PUSH2 0x15d5
000026a3: JUMPI
000026a4: PUSH1 0x40
000026a6: DUP1
000026a7: MLOAD
000026a8: PUSH3 0x461bcd
000026ac: PUSH1 0xe5
000026ae: SHL
000026af: DUP2
000026b0: MSTORE
000026b1: PUSH1 0x20
000026b3: PUSH1 0x04
000026b5: DUP3
000026b6: ADD
000026b7: MSTORE
000026b8: PUSH1 0x0c
000026ba: PUSH1 0x24
000026bc: DUP3
000026bd: ADD
000026be: MSTORE
000026bf: PUSH12 0x4552525f4f564552464c4f57
000026cc: PUSH1 0xa0
000026ce: SHL
000026cf: PUSH1 0x44
000026d1: DUP3
000026d2: ADD
000026d3: MSTORE
000026d4: SWAP1
000026d5: MLOAD
000026d6: SWAP1
000026d7: DUP2
000026d8: SWAP1
000026d9: SUB
000026da: PUSH1 0x64
000026dc: ADD
000026dd: SWAP1
000026de: REVERT
000026df: JUMPDEST
000026e0: PUSH1 0x00
000026e2: DUP1
000026e3: DUP3
000026e4: GT
000026e5: PUSH2 0x272a
000026e8: JUMPI
000026e9: PUSH1 0x40
000026eb: DUP1
000026ec: MLOAD
000026ed: PUSH3 0x461bcd
000026f1: PUSH1 0xe5
000026f3: SHL
000026f4: DUP2
000026f5: MSTORE
000026f6: PUSH1 0x20
000026f8: PUSH1 0x04
000026fa: DUP3
000026fb: ADD
000026fc: MSTORE
000026fd: PUSH1 0x12
000026ff: PUSH1 0x24
00002701: DUP3
00002702: ADD
00002703: MSTORE
00002704: PUSH18 0x4552525f4449564944455f42595f5a45524f
00002717: PUSH1 0x70
00002719: SHL
0000271a: PUSH1 0x44
0000271c: DUP3
0000271d: ADD
0000271e: MSTORE
0000271f: SWAP1
00002720: MLOAD
00002721: SWAP1
00002722: DUP2
00002723: SWAP1
00002724: SUB
00002725: PUSH1 0x64
00002727: ADD
00002728: SWAP1
00002729: REVERT
0000272a: JUMPDEST
0000272b: PUSH1 0x00
0000272d: DUP3
0000272e: DUP5
0000272f: DUP2
00002730: PUSH2 0x2735
00002733: JUMPI
00002734: INVALID
00002735: JUMPDEST
00002736: DIV
00002737: SWAP5
00002738: SWAP4
00002739: POP
0000273a: POP
0000273b: POP
0000273c: POP
0000273d: JUMP
0000273e: JUMPDEST
0000273f: PUSH1 0x00
00002741: DUP3
00002742: DUP3
00002743: ADD
00002744: DUP4
00002745: DUP2
00002746: LT
00002747: ISZERO
00002748: PUSH2 0x15d5
0000274b: JUMPI
0000274c: PUSH1 0x40
0000274e: DUP1
0000274f: MLOAD
00002750: PUSH3 0x461bcd
00002754: PUSH1 0xe5
00002756: SHL
00002757: DUP2
00002758: MSTORE
00002759: PUSH1 0x20
0000275b: PUSH1 0x04
0000275d: DUP3
0000275e: ADD
0000275f: MSTORE
00002760: PUSH1 0x0c
00002762: PUSH1 0x24
00002764: DUP3
00002765: ADD
00002766: MSTORE
00002767: PUSH12 0x4552525f4f564552464c4f57
00002774: PUSH1 0xa0
00002776: SHL
00002777: PUSH1 0x44
00002779: DUP3
0000277a: ADD
0000277b: MSTORE
0000277c: SWAP1
0000277d: MLOAD
0000277e: SWAP1
0000277f: DUP2
00002780: SWAP1
00002781: SUB
00002782: PUSH1 0x64
00002784: ADD
00002785: SWAP1
00002786: REVERT
00002787: JUMPDEST
00002788: PUSH1 0x00
0000278a: DUP2
0000278b: DUP4
0000278c: LT
0000278d: ISZERO
0000278e: PUSH2 0x27ce
00002791: JUMPI
00002792: PUSH1 0x40
00002794: DUP1
00002795: MLOAD
00002796: PUSH3 0x461bcd
0000279a: PUSH1 0xe5
0000279c: SHL
0000279d: DUP2
0000279e: MSTORE
0000279f: PUSH1 0x20
000027a1: PUSH1 0x04
000027a3: DUP3
000027a4: ADD
000027a5: MSTORE
000027a6: PUSH1 0x0d
000027a8: PUSH1 0x24
000027aa: DUP3
000027ab: ADD
000027ac: MSTORE
000027ad: PUSH13 0x4552525f554e444552464c4f57
000027bb: PUSH1 0x98
000027bd: SHL
000027be: PUSH1 0x44
000027c0: DUP3
000027c1: ADD
000027c2: MSTORE
000027c3: SWAP1
000027c4: MLOAD
000027c5: SWAP1
000027c6: DUP2
000027c7: SWAP1
000027c8: SUB
000027c9: PUSH1 0x64
000027cb: ADD
000027cc: SWAP1
000027cd: REVERT
000027ce: JUMPDEST
000027cf: POP
000027d0: SWAP1
000027d1: SUB
000027d2: SWAP1
000027d3: JUMP
000027d4: JUMPDEST
000027d5: PUSH1 0x40
000027d7: DUP1
000027d8: MLOAD
000027d9: PUSH1 0x01
000027db: PUSH1 0x01
000027dd: PUSH1 0xa0
000027df: SHL
000027e0: SUB
000027e1: DUP5
000027e2: DUP2
000027e3: AND
000027e4: PUSH1 0x24
000027e6: DUP4
000027e7: ADD
000027e8: MSTORE
000027e9: PUSH1 0x44
000027eb: DUP1
000027ec: DUP4
000027ed: ADD
000027ee: DUP6
000027ef: SWAP1
000027f0: MSTORE
000027f1: DUP4
000027f2: MLOAD
000027f3: DUP1
000027f4: DUP5
000027f5: SUB
000027f6: SWAP1
000027f7: SWAP2
000027f8: ADD
000027f9: DUP2
000027fa: MSTORE
000027fb: PUSH1 0x64
000027fd: SWAP1
000027fe: SWAP3
000027ff: ADD
00002800: DUP4
00002801: MSTORE
00002802: PUSH1 0x20
00002804: DUP3
00002805: ADD
00002806: DUP1
00002807: MLOAD
00002808: PUSH1 0x01
0000280a: PUSH1 0x01
0000280c: PUSH1 0xe0
0000280e: SHL
0000280f: SUB
00002810: AND
00002811: PUSH4 0xa9059cbb
00002816: PUSH1 0xe0
00002818: SHL
00002819: OR
0000281a: DUP2
0000281b: MSTORE
0000281c: SWAP3
0000281d: MLOAD
0000281e: DUP3
0000281f: MLOAD
00002820: PUSH1 0x00
00002822: SWAP5
00002823: PUSH1 0x60
00002825: SWAP5
00002826: SWAP4
00002827: DUP10
00002828: AND
00002829: SWAP4
0000282a: SWAP3
0000282b: SWAP2
0000282c: DUP3
0000282d: SWAP2
0000282e: SWAP1
0000282f: DUP1
00002830: DUP4
00002831: DUP4
00002832: JUMPDEST
00002833: PUSH1 0x20
00002835: DUP4
00002836: LT
00002837: PUSH2 0x2851
0000283a: JUMPI
0000283b: DUP1
0000283c: MLOAD
0000283d: DUP3
0000283e: MSTORE
0000283f: PUSH1 0x1f
00002841: NOT
00002842: SWAP1
00002843: SWAP3
00002844: ADD
00002845: SWAP2
00002846: PUSH1 0x20
00002848: SWAP2
00002849: DUP3
0000284a: ADD
0000284b: SWAP2
0000284c: ADD
0000284d: PUSH2 0x2832
00002850: JUMP
00002851: JUMPDEST
00002852: PUSH1 0x01
00002854: DUP4
00002855: PUSH1 0x20
00002857: SUB
00002858: PUSH2 0x0100
0000285b: EXP
0000285c: SUB
0000285d: DUP1
0000285e: NOT
0000285f: DUP3
00002860: MLOAD
00002861: AND
00002862: DUP2
00002863: DUP5
00002864: MLOAD
00002865: AND
00002866: DUP1
00002867: DUP3
00002868: OR
00002869: DUP6
0000286a: MSTORE
0000286b: POP
0000286c: POP
0000286d: POP
0000286e: POP
0000286f: POP
00002870: POP
00002871: SWAP1
00002872: POP
00002873: ADD
00002874: SWAP2
00002875: POP
00002876: POP
00002877: PUSH1 0x00
00002879: PUSH1 0x40
0000287b: MLOAD
0000287c: DUP1
0000287d: DUP4
0000287e: SUB
0000287f: DUP2
00002880: PUSH1 0x00
00002882: DUP7
00002883: GAS
00002884: CALL
00002885: SWAP2
00002886: POP
00002887: POP
00002888: RETURNDATASIZE
00002889: DUP1
0000288a: PUSH1 0x00
0000288c: DUP2
0000288d: EQ
0000288e: PUSH2 0x28b3
00002891: JUMPI
00002892: PUSH1 0x40
00002894: MLOAD
00002895: SWAP2
00002896: POP
00002897: PUSH1 0x1f
00002899: NOT
0000289a: PUSH1 0x3f
0000289c: RETURNDATASIZE
0000289d: ADD
0000289e: AND
0000289f: DUP3
000028a0: ADD
000028a1: PUSH1 0x40
000028a3: MSTORE
000028a4: RETURNDATASIZE
000028a5: DUP3
000028a6: MSTORE
000028a7: RETURNDATASIZE
000028a8: PUSH1 0x00
000028aa: PUSH1 0x20
000028ac: DUP5
000028ad: ADD
000028ae: RETURNDATACOPY
000028af: PUSH2 0x28b8
000028b2: JUMP
000028b3: JUMPDEST
000028b4: PUSH1 0x60
000028b6: SWAP2
000028b7: POP
000028b8: JUMPDEST
000028b9: POP
000028ba: SWAP2
000028bb: POP
000028bc: SWAP2
000028bd: POP
000028be: DUP2
000028bf: DUP1
000028c0: ISZERO
000028c1: PUSH2 0x28e6
000028c4: JUMPI
000028c5: POP
000028c6: DUP1
000028c7: MLOAD
000028c8: ISZERO
000028c9: DUP1
000028ca: PUSH2 0x28e6
000028cd: JUMPI
000028ce: POP
000028cf: DUP1
000028d0: DUP1
000028d1: PUSH1 0x20
000028d3: ADD
000028d4: SWAP1
000028d5: MLOAD
000028d6: PUSH1 0x20
000028d8: DUP2
000028d9: LT
000028da: ISZERO
000028db: PUSH2 0x28e3
000028de: JUMPI
000028df: PUSH1 0x00
000028e1: DUP1
000028e2: REVERT
000028e3: JUMPDEST
000028e4: POP
000028e5: MLOAD
000028e6: JUMPDEST
000028e7: PUSH2 0x1148
000028ea: JUMPI
000028eb: PUSH1 0x40
000028ed: DUP1
000028ee: MLOAD
000028ef: PUSH3 0x461bcd
000028f3: PUSH1 0xe5
000028f5: SHL
000028f6: DUP2
000028f7: MSTORE
000028f8: PUSH1 0x20
000028fa: PUSH1 0x04
000028fc: DUP3
000028fd: ADD
000028fe: MSTORE
000028ff: PUSH1 0x13
00002901: PUSH1 0x24
00002903: DUP3
00002904: ADD
00002905: MSTORE
00002906: PUSH19 0x11549497d514905394d1915497d19052531151
0000291a: PUSH1 0x6a
0000291c: SHL
0000291d: PUSH1 0x44
0000291f: DUP3
00002920: ADD
00002921: MSTORE
00002922: SWAP1
00002923: MLOAD
00002924: SWAP1
00002925: DUP2
00002926: SWAP1
00002927: SUB
00002928: PUSH1 0x64
0000292a: ADD
0000292b: SWAP1
0000292c: REVERT
0000292d: JUMPDEST
0000292e: PUSH2 0x2936
00002931: DUP2
00002932: PUSH2 0x1e3b
00002935: JUMP
00002936: JUMPDEST
00002937: PUSH1 0x01
00002939: PUSH1 0x01
0000293b: PUSH1 0xa0
0000293d: SHL
0000293e: SUB
0000293f: AND
00002940: CALLER
00002941: PUSH1 0x01
00002943: PUSH1 0x01
00002945: PUSH1 0xa0
00002947: SHL
00002948: SUB
00002949: AND
0000294a: EQ
0000294b: PUSH2 0x0d34
0000294e: JUMPI
0000294f: PUSH1 0x40
00002951: DUP1
00002952: MLOAD
00002953: PUSH3 0x461bcd
00002957: PUSH1 0xe5
00002959: SHL
0000295a: DUP2
0000295b: MSTORE
0000295c: PUSH1 0x20
0000295e: PUSH1 0x04
00002960: DUP3
00002961: ADD
00002962: MSTORE
00002963: PUSH1 0x11
00002965: PUSH1 0x24
00002967: DUP3
00002968: ADD
00002969: MSTORE
0000296a: PUSH17 0x11549497d050d0d154d4d7d11153925151
0000297c: PUSH1 0x7a
0000297e: SHL
0000297f: PUSH1 0x44
00002981: DUP3
00002982: ADD
00002983: MSTORE
00002984: SWAP1
00002985: MLOAD
00002986: SWAP1
00002987: DUP2
00002988: SWAP1
00002989: SUB
0000298a: PUSH1 0x64
0000298c: ADD
0000298d: SWAP1
0000298e: REVERT
0000298f: JUMPDEST
00002990: PUSH1 0x04
00002992: SLOAD
00002993: PUSH1 0x00
00002995: SWAP1
00002996: DUP2
00002997: SWAP1
00002998: DUP2
00002999: SWAP1
0000299a: PUSH1 0x01
0000299c: PUSH1 0x01
0000299e: PUSH1 0xa0
000029a0: SHL
000029a1: SUB
000029a2: DUP9
000029a3: DUP2
000029a4: AND
000029a5: SWAP2
000029a6: AND
000029a7: EQ
000029a8: DUP1
000029a9: ISZERO
000029aa: PUSH2 0x29d5
000029ad: JUMPI
000029ae: POP
000029af: PUSH1 0x01
000029b1: PUSH1 0x01
000029b3: PUSH1 0xa0
000029b5: SHL
000029b6: SUB
000029b7: DUP9
000029b8: AND
000029b9: PUSH1 0x00
000029bb: SWAP1
000029bc: DUP2
000029bd: MSTORE
000029be: PUSH1 0x07
000029c0: PUSH1 0x20
000029c2: MSTORE
000029c3: PUSH1 0x40
000029c5: SWAP1
000029c6: KECCAK256
000029c7: PUSH1 0x01
000029c9: ADD
000029ca: SLOAD
000029cb: PUSH1 0x01
000029cd: PUSH1 0x30
000029cf: SHL
000029d0: SWAP1
000029d1: DIV
000029d2: PUSH1 0xff
000029d4: AND
000029d5: JUMPDEST
000029d6: ISZERO
000029d7: PUSH2 0x29ee
000029da: JUMPI
000029db: POP
000029dc: DUP7
000029dd: PUSH2 0x29e7
000029e0: DUP7
000029e1: DUP7
000029e2: DUP7
000029e3: PUSH2 0x2cc3
000029e6: JUMP
000029e7: JUMPDEST
000029e8: SWAP2
000029e9: POP
000029ea: PUSH2 0x2a3f
000029ed: JUMP
000029ee: JUMPDEST
000029ef: PUSH1 0x04
000029f1: SLOAD
000029f2: PUSH1 0x01
000029f4: PUSH1 0x01
000029f6: PUSH1 0xa0
000029f8: SHL
000029f9: SUB
000029fa: DUP10
000029fb: DUP2
000029fc: AND
000029fd: SWAP2
000029fe: AND
000029ff: EQ
00002a00: DUP1
00002a01: ISZERO
00002a02: PUSH2 0x2a2d
00002a05: JUMPI
00002a06: POP
00002a07: PUSH1 0x01
00002a09: PUSH1 0x01
00002a0b: PUSH1 0xa0
00002a0d: SHL
00002a0e: SUB
00002a0f: DUP8
00002a10: AND
00002a11: PUSH1 0x00
00002a13: SWAP1
00002a14: DUP2
00002a15: MSTORE
00002a16: PUSH1 0x07
00002a18: PUSH1 0x20
00002a1a: MSTORE
00002a1b: PUSH1 0x40
00002a1d: SWAP1
00002a1e: KECCAK256
00002a1f: PUSH1 0x01
00002a21: ADD
00002a22: SLOAD
00002a23: PUSH1 0x01
00002a25: PUSH1 0x30
00002a27: SHL
00002a28: SWAP1
00002a29: DIV
00002a2a: PUSH1 0xff
00002a2c: AND
00002a2d: JUMPDEST
00002a2e: ISZERO
00002a2f: PUSH2 0x1446
00002a32: JUMPI
00002a33: POP
00002a34: DUP6
00002a35: PUSH2 0x29e7
00002a38: DUP7
00002a39: DUP7
00002a3a: DUP7
00002a3b: PUSH2 0x2f37
00002a3e: JUMP
00002a3f: JUMPDEST
00002a40: PUSH1 0x00
00002a42: PUSH1 0x04
00002a44: PUSH1 0x00
00002a46: SWAP1
00002a47: SLOAD
00002a48: SWAP1
00002a49: PUSH2 0x0100
00002a4c: EXP
00002a4d: SWAP1
00002a4e: DIV
00002a4f: PUSH1 0x01
00002a51: PUSH1 0x01
00002a53: PUSH1 0xa0
00002a55: SHL
00002a56: SUB
00002a57: AND
00002a58: PUSH1 0x01
00002a5a: PUSH1 0x01
00002a5c: PUSH1 0xa0
00002a5e: SHL
00002a5f: SUB
00002a60: AND
00002a61: PUSH4 0x18160ddd
00002a66: PUSH1 0x40
00002a68: MLOAD
00002a69: DUP2
00002a6a: PUSH4 0xffffffff
00002a6f: AND
00002a70: PUSH1 0xe0
00002a72: SHL
00002a73: DUP2
00002a74: MSTORE
00002a75: PUSH1 0x04
00002a77: ADD
00002a78: PUSH1 0x20
00002a7a: PUSH1 0x40
00002a7c: MLOAD
00002a7d: DUP1
00002a7e: DUP4
00002a7f: SUB
00002a80: DUP2
00002a81: DUP7
00002a82: DUP1
00002a83: EXTCODESIZE
00002a84: ISZERO
00002a85: DUP1
00002a86: ISZERO
00002a87: PUSH2 0x2a8f
00002a8a: JUMPI
00002a8b: PUSH1 0x00
00002a8d: DUP1
00002a8e: REVERT
00002a8f: JUMPDEST
00002a90: POP
00002a91: GAS
00002a92: STATICCALL
00002a93: ISZERO
00002a94: DUP1
00002a95: ISZERO
00002a96: PUSH2 0x2aa3
00002a99: JUMPI
00002a9a: RETURNDATASIZE
00002a9b: PUSH1 0x00
00002a9d: DUP1
00002a9e: RETURNDATACOPY
00002a9f: RETURNDATASIZE
00002aa0: PUSH1 0x00
00002aa2: REVERT
00002aa3: JUMPDEST
00002aa4: POP
00002aa5: POP
00002aa6: POP
00002aa7: POP
00002aa8: PUSH1 0x40
00002aaa: MLOAD
00002aab: RETURNDATASIZE
00002aac: PUSH1 0x20
00002aae: DUP2
00002aaf: LT
00002ab0: ISZERO
00002ab1: PUSH2 0x2ab9
00002ab4: JUMPI
00002ab5: PUSH1 0x00
00002ab7: DUP1
00002ab8: REVERT
00002ab9: JUMPDEST
00002aba: POP
00002abb: MLOAD
00002abc: PUSH1 0x01
00002abe: PUSH1 0x01
00002ac0: PUSH1 0xa0
00002ac2: SHL
00002ac3: SUB
00002ac4: DUP1
00002ac5: DUP5
00002ac6: AND
00002ac7: PUSH1 0x00
00002ac9: DUP2
00002aca: DUP2
00002acb: MSTORE
00002acc: PUSH1 0x07
00002ace: PUSH1 0x20
00002ad0: MSTORE
00002ad1: PUSH1 0x40
00002ad3: SWAP1
00002ad4: KECCAK256
00002ad5: PUSH1 0x01
00002ad7: ADD
00002ad8: SLOAD
00002ad9: PUSH1 0x04
00002adb: SLOAD
00002adc: SWAP4
00002add: SWAP5
00002ade: POP
00002adf: PUSH4 0xffffffff
00002ae4: AND
00002ae5: SWAP3
00002ae6: SWAP1
00002ae7: SWAP2
00002ae8: AND
00002ae9: PUSH32 0x77f29993cf2c084e726f7e802da0719d6a0ade3e204badc7a3ffd57ecb768c24
00002b0a: PUSH2 0x2b19
00002b0d: PUSH3 0x0f4240
00002b11: PUSH2 0x15c9
00002b14: DUP9
00002b15: PUSH2 0x19ba
00002b18: JUMP
00002b19: JUMPDEST
00002b1a: PUSH2 0x2b2c
00002b1d: DUP7
00002b1e: PUSH4 0xffffffff
00002b23: DUP1
00002b24: DUP9
00002b25: AND
00002b26: SWAP1
00002b27: PUSH2 0x2681
00002b2a: AND
00002b2b: JUMP
00002b2c: JUMPDEST
00002b2d: PUSH1 0x40
00002b2f: DUP1
00002b30: MLOAD
00002b31: SWAP3
00002b32: DUP4
00002b33: MSTORE
00002b34: PUSH1 0x20
00002b36: DUP4
00002b37: ADD
00002b38: SWAP2
00002b39: SWAP1
00002b3a: SWAP2
00002b3b: MSTORE
00002b3c: DUP1
00002b3d: MLOAD
00002b3e: SWAP2
00002b3f: DUP3
00002b40: SWAP1
00002b41: SUB
00002b42: ADD
00002b43: SWAP1
00002b44: LOG3
00002b45: POP
00002b46: SWAP2
00002b47: SWAP9
00002b48: SWAP8
00002b49: POP
00002b4a: POP
00002b4b: POP
00002b4c: POP
00002b4d: POP
00002b4e: POP
00002b4f: POP
00002b50: POP
00002b51: JUMP
00002b52: JUMPDEST
00002b53: PUSH1 0x01
00002b55: PUSH1 0x01
00002b57: PUSH1 0xa0
00002b59: SHL
00002b5a: SUB
00002b5b: DUP2
00002b5c: AND
00002b5d: PUSH2 0x0d34
00002b60: JUMPI
00002b61: PUSH1 0x40
00002b63: DUP1
00002b64: MLOAD
00002b65: PUSH3 0x461bcd
00002b69: PUSH1 0xe5
00002b6b: SHL
00002b6c: DUP2
00002b6d: MSTORE
00002b6e: PUSH1 0x20
00002b70: PUSH1 0x04
00002b72: DUP3
00002b73: ADD
00002b74: MSTORE
00002b75: PUSH1 0x13
00002b77: PUSH1 0x24
00002b79: DUP3
00002b7a: ADD
00002b7b: MSTORE
00002b7c: PUSH19 0x4552525f494e56414c49445f41444452455353
00002b90: PUSH1 0x68
00002b92: SHL
00002b93: PUSH1 0x44
00002b95: DUP3
00002b96: ADD
00002b97: MSTORE
00002b98: SWAP1
00002b99: MLOAD
00002b9a: SWAP1
00002b9b: DUP2
00002b9c: SWAP1
00002b9d: SUB
00002b9e: PUSH1 0x64
00002ba0: ADD
00002ba1: SWAP1
00002ba2: REVERT
00002ba3: JUMPDEST
00002ba4: PUSH1 0x00
00002ba6: DUP2
00002ba7: PUSH4 0xffffffff
00002bac: AND
00002bad: GT
00002bae: DUP1
00002baf: ISZERO
00002bb0: PUSH2 0x2bc2
00002bb3: JUMPI
00002bb4: POP
00002bb5: PUSH3 0x0f4240
00002bb9: PUSH4 0xffffffff
00002bbe: DUP3
00002bbf: AND
00002bc0: GT
00002bc1: ISZERO
00002bc2: JUMPDEST
00002bc3: PUSH2 0x0d34
00002bc6: JUMPI
00002bc7: PUSH1 0x40
00002bc9: DUP1
00002bca: MLOAD
00002bcb: PUSH3 0x461bcd
00002bcf: PUSH1 0xe5
00002bd1: SHL
00002bd2: DUP2
00002bd3: MSTORE
00002bd4: PUSH1 0x20
00002bd6: PUSH1 0x04
00002bd8: DUP3
00002bd9: ADD
00002bda: MSTORE
00002bdb: PUSH1 0x1a
00002bdd: PUSH1 0x24
00002bdf: DUP3
00002be0: ADD
00002be1: MSTORE
00002be2: PUSH26 0x11549497d253959053125117d49154d154959157d5d15251d215
00002bfd: PUSH1 0x32
00002bff: SHL
00002c00: PUSH1 0x44
00002c02: DUP3
00002c03: ADD
00002c04: MSTORE
00002c05: SWAP1
00002c06: MLOAD
00002c07: SWAP1
00002c08: DUP2
00002c09: SWAP1
00002c0a: SUB
00002c0b: PUSH1 0x64
00002c0d: ADD
00002c0e: SWAP1
00002c0f: REVERT
00002c10: JUMPDEST
00002c11: PUSH2 0x2c18
00002c14: PUSH2 0x0d37
00002c17: JUMP
00002c18: JUMPDEST
00002c19: PUSH2 0x0dd6
00002c1c: JUMPI
00002c1d: PUSH1 0x40
00002c1f: DUP1
00002c20: MLOAD
00002c21: PUSH3 0x461bcd
00002c25: PUSH1 0xe5
00002c27: SHL
00002c28: DUP2
00002c29: MSTORE
00002c2a: PUSH1 0x20
00002c2c: PUSH1 0x04
00002c2e: DUP3
00002c2f: ADD
00002c30: MSTORE
00002c31: PUSH1 0x0c
00002c33: PUSH1 0x24
00002c35: DUP3
00002c36: ADD
00002c37: MSTORE
00002c38: PUSH12 0x4552525f494e414354495645
00002c45: PUSH1 0xa0
00002c47: SHL
00002c48: PUSH1 0x44
00002c4a: DUP3
00002c4b: ADD
00002c4c: MSTORE
00002c4d: SWAP1
00002c4e: MLOAD
00002c4f: SWAP1
00002c50: DUP2
00002c51: SWAP1
00002c52: SUB
00002c53: PUSH1 0x64
00002c55: ADD
00002c56: SWAP1
00002c57: REVERT
00002c58: JUMPDEST
00002c59: PUSH1 0x08
00002c5b: SLOAD
00002c5c: PUSH1 0x00
00002c5e: SWAP1
00002c5f: PUSH2 0x19b4
00002c62: SWAP1
00002c63: PUSH3 0x0f4240
00002c67: SWAP1
00002c68: PUSH2 0x15cf
00002c6b: SWAP1
00002c6c: DUP6
00002c6d: SWAP1
00002c6e: PUSH1 0x01
00002c70: PUSH1 0x40
00002c72: SHL
00002c73: SWAP1
00002c74: DIV
00002c75: PUSH4 0xffffffff
00002c7a: SWAP1
00002c7b: DUP2
00002c7c: AND
00002c7d: SWAP1
00002c7e: PUSH2 0x2681
00002c81: AND
00002c82: JUMP
00002c83: JUMPDEST
00002c84: PUSH1 0x06
00002c86: SLOAD
00002c87: PUSH1 0x00
00002c89: JUMPDEST
00002c8a: DUP2
00002c8b: DUP2
00002c8c: LT
00002c8d: ISZERO
00002c8e: PUSH2 0x1260
00002c91: JUMPI
00002c92: PUSH2 0x2cbb
00002c95: PUSH1 0x06
00002c97: DUP3
00002c98: DUP2
00002c99: SLOAD
00002c9a: DUP2
00002c9b: LT
00002c9c: PUSH2 0x2ca1
00002c9f: JUMPI
00002ca0: INVALID
00002ca1: JUMPDEST
00002ca2: PUSH1 0x00
00002ca4: SWAP2
00002ca5: DUP3
00002ca6: MSTORE
00002ca7: PUSH1 0x20
00002ca9: SWAP1
00002caa: SWAP2
00002cab: KECCAK256
00002cac: ADD
00002cad: SLOAD
00002cae: PUSH1 0x01
00002cb0: PUSH1 0x01
00002cb2: PUSH1 0xa0
00002cb4: SHL
00002cb5: SUB
00002cb6: AND
00002cb7: PUSH2 0x1f96
00002cba: JUMP
00002cbb: JUMPDEST
00002cbc: PUSH1 0x01
00002cbe: ADD
00002cbf: PUSH2 0x2c89
00002cc2: JUMP
00002cc3: JUMPDEST
00002cc4: PUSH1 0x00
00002cc6: DUP1
00002cc7: PUSH1 0x00
00002cc9: PUSH2 0x2cd1
00002ccc: DUP7
00002ccd: PUSH2 0x22da
00002cd0: JUMP
00002cd1: JUMPDEST
00002cd2: SWAP2
00002cd3: POP
00002cd4: SWAP2
00002cd5: POP
00002cd6: DUP2
00002cd7: PUSH1 0x00
00002cd9: EQ
00002cda: ISZERO
00002cdb: PUSH2 0x2d24
00002cde: JUMPI
00002cdf: PUSH1 0x40
00002ce1: DUP1
00002ce2: MLOAD
00002ce3: PUSH3 0x461bcd
00002ce7: PUSH1 0xe5
00002ce9: SHL
00002cea: DUP2
00002ceb: MSTORE
00002cec: PUSH1 0x20
00002cee: PUSH1 0x04
00002cf0: DUP3
00002cf1: ADD
00002cf2: MSTORE
00002cf3: PUSH1 0x16
00002cf5: PUSH1 0x24
00002cf7: DUP3
00002cf8: ADD
00002cf9: MSTORE
00002cfa: PUSH22 0x11549497d6915493d7d5105491d15517d05353d55395
00002d11: PUSH1 0x52
00002d13: SHL
00002d14: PUSH1 0x44
00002d16: DUP3
00002d17: ADD
00002d18: MSTORE
00002d19: SWAP1
00002d1a: MLOAD
00002d1b: SWAP1
00002d1c: DUP2
00002d1d: SWAP1
00002d1e: SUB
00002d1f: PUSH1 0x64
00002d21: ADD
00002d22: SWAP1
00002d23: REVERT
00002d24: JUMPDEST
00002d25: PUSH1 0x00
00002d27: PUSH1 0x06
00002d29: PUSH1 0x00
00002d2b: DUP2
00002d2c: SLOAD
00002d2d: DUP2
00002d2e: LT
00002d2f: PUSH2 0x2d34
00002d32: JUMPI
00002d33: INVALID
00002d34: JUMPDEST
00002d35: PUSH1 0x00
00002d37: SWAP2
00002d38: DUP3
00002d39: MSTORE
00002d3a: PUSH1 0x20
00002d3c: SWAP1
00002d3d: SWAP2
00002d3e: KECCAK256
00002d3f: ADD
00002d40: SLOAD
00002d41: PUSH1 0x01
00002d43: PUSH1 0x01
00002d45: PUSH1 0xa0
00002d47: SHL
00002d48: SUB
00002d49: AND
00002d4a: SWAP1
00002d4b: POP
00002d4c: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00002d61: DUP2
00002d62: EQ
00002d63: ISZERO
00002d64: PUSH2 0x2dc0
00002d67: JUMPI
00002d68: DUP7
00002d69: CALLVALUE
00002d6a: EQ
00002d6b: PUSH2 0x2dbb
00002d6e: JUMPI
00002d6f: PUSH1 0x40
00002d71: DUP1
00002d72: MLOAD
00002d73: PUSH3 0x461bcd
00002d77: PUSH1 0xe5
00002d79: SHL
00002d7a: DUP2
00002d7b: MSTORE
00002d7c: PUSH1 0x20
00002d7e: PUSH1 0x04
00002d80: DUP3
00002d81: ADD
00002d82: MSTORE
00002d83: PUSH1 0x17
00002d85: PUSH1 0x24
00002d87: DUP3
00002d88: ADD
00002d89: MSTORE
00002d8a: PUSH32 0x4552525f4554485f414d4f554e545f4d49534d41544348000000000000000000
00002dab: PUSH1 0x44
00002dad: DUP3
00002dae: ADD
00002daf: MSTORE
00002db0: SWAP1
00002db1: MLOAD
00002db2: SWAP1
00002db3: DUP2
00002db4: SWAP1
00002db5: SUB
00002db6: PUSH1 0x64
00002db8: ADD
00002db9: SWAP1
00002dba: REVERT
00002dbb: JUMPDEST
00002dbc: PUSH2 0x2e97
00002dbf: JUMP
00002dc0: JUMPDEST
00002dc1: CALLVALUE
00002dc2: ISZERO
00002dc3: DUP1
00002dc4: ISZERO
00002dc5: PUSH2 0x2e51
00002dc8: JUMPI
00002dc9: POP
00002dca: DUP7
00002dcb: PUSH2 0x2e4e
00002dce: PUSH2 0x2dd6
00002dd1: DUP4
00002dd2: PUSH2 0x19ba
00002dd5: JUMP
00002dd6: JUMPDEST
00002dd7: PUSH1 0x40
00002dd9: DUP1
00002dda: MLOAD
00002ddb: PUSH4 0x70a08231
00002de0: PUSH1 0xe0
00002de2: SHL
00002de3: DUP2
00002de4: MSTORE
00002de5: ADDRESS
00002de6: PUSH1 0x04
00002de8: DUP3
00002de9: ADD
00002dea: MSTORE
00002deb: SWAP1
00002dec: MLOAD
00002ded: PUSH1 0x01
00002def: PUSH1 0x01
00002df1: PUSH1 0xa0
00002df3: SHL
00002df4: SUB
00002df5: DUP7
00002df6: AND
00002df7: SWAP2
00002df8: PUSH4 0x70a08231
00002dfd: SWAP2
00002dfe: PUSH1 0x24
00002e00: DUP1
00002e01: DUP4
00002e02: ADD
00002e03: SWAP3
00002e04: PUSH1 0x20
00002e06: SWAP3
00002e07: SWAP2
00002e08: SWAP1
00002e09: DUP3
00002e0a: SWAP1
00002e0b: SUB
00002e0c: ADD
00002e0d: DUP2
00002e0e: DUP7
00002e0f: DUP1
00002e10: EXTCODESIZE
00002e11: ISZERO
00002e12: DUP1
00002e13: ISZERO
00002e14: PUSH2 0x2e1c
00002e17: JUMPI
00002e18: PUSH1 0x00
00002e1a: DUP1
00002e1b: REVERT
00002e1c: JUMPDEST
00002e1d: POP
00002e1e: GAS
00002e1f: STATICCALL
00002e20: ISZERO
00002e21: DUP1
00002e22: ISZERO
00002e23: PUSH2 0x2e30
00002e26: JUMPI
00002e27: RETURNDATASIZE
00002e28: PUSH1 0x00
00002e2a: DUP1
00002e2b: RETURNDATACOPY
00002e2c: RETURNDATASIZE
00002e2d: PUSH1 0x00
00002e2f: REVERT
00002e30: JUMPDEST
00002e31: POP
00002e32: POP
00002e33: POP
00002e34: POP
00002e35: PUSH1 0x40
00002e37: MLOAD
00002e38: RETURNDATASIZE
00002e39: PUSH1 0x20
00002e3b: DUP2
00002e3c: LT
00002e3d: ISZERO
00002e3e: PUSH2 0x2e46
00002e41: JUMPI
00002e42: PUSH1 0x00
00002e44: DUP1
00002e45: REVERT
00002e46: JUMPDEST
00002e47: POP
00002e48: MLOAD
00002e49: SWAP1
00002e4a: PUSH2 0x2787
00002e4d: JUMP
00002e4e: JUMPDEST
00002e4f: LT
00002e50: ISZERO
00002e51: JUMPDEST
00002e52: PUSH2 0x2e97
00002e55: JUMPI
00002e56: PUSH1 0x40
00002e58: DUP1
00002e59: MLOAD
00002e5a: PUSH3 0x461bcd
00002e5e: PUSH1 0xe5
00002e60: SHL
00002e61: DUP2
00002e62: MSTORE
00002e63: PUSH1 0x20
00002e65: PUSH1 0x04
00002e67: DUP3
00002e68: ADD
00002e69: MSTORE
00002e6a: PUSH1 0x12
00002e6c: PUSH1 0x24
00002e6e: DUP3
00002e6f: ADD
00002e70: MSTORE
00002e71: PUSH18 0x11549497d253959053125117d05353d55395
00002e84: PUSH1 0x72
00002e86: SHL
00002e87: PUSH1 0x44
00002e89: DUP3
00002e8a: ADD
00002e8b: MSTORE
00002e8c: SWAP1
00002e8d: MLOAD
00002e8e: SWAP1
00002e8f: DUP2
00002e90: SWAP1
00002e91: SUB
00002e92: PUSH1 0x64
00002e94: ADD
00002e95: SWAP1
00002e96: REVERT
00002e97: JUMPDEST
00002e98: PUSH2 0x2ea0
00002e9b: DUP2
00002e9c: PUSH2 0x1f96
00002e9f: JUMP
00002ea0: JUMPDEST
00002ea1: PUSH1 0x04
00002ea3: DUP1
00002ea4: SLOAD
00002ea5: PUSH1 0x40
00002ea7: DUP1
00002ea8: MLOAD
00002ea9: PUSH4 0x219e412d
00002eae: PUSH1 0xe2
00002eb0: SHL
00002eb1: DUP2
00002eb2: MSTORE
00002eb3: PUSH1 0x01
00002eb5: PUSH1 0x01
00002eb7: PUSH1 0xa0
00002eb9: SHL
00002eba: SUB
00002ebb: DUP10
00002ebc: DUP2
00002ebd: AND
00002ebe: SWAP5
00002ebf: DUP3
00002ec0: ADD
00002ec1: SWAP5
00002ec2: SWAP1
00002ec3: SWAP5
00002ec4: MSTORE
00002ec5: PUSH1 0x24
00002ec7: DUP2
00002ec8: ADD
00002ec9: DUP8
00002eca: SWAP1
00002ecb: MSTORE
00002ecc: SWAP1
00002ecd: MLOAD
00002ece: SWAP3
00002ecf: SWAP1
00002ed0: SWAP2
00002ed1: AND
00002ed2: SWAP2
00002ed3: PUSH4 0x867904b4
00002ed8: SWAP2
00002ed9: PUSH1 0x44
00002edb: DUP1
00002edc: DUP3
00002edd: ADD
00002ede: SWAP3
00002edf: PUSH1 0x00
00002ee1: SWAP3
00002ee2: SWAP1
00002ee3: SWAP2
00002ee4: SWAP1
00002ee5: DUP3
00002ee6: SWAP1
00002ee7: SUB
00002ee8: ADD
00002ee9: DUP2
00002eea: DUP4
00002eeb: DUP8
00002eec: DUP1
00002eed: EXTCODESIZE
00002eee: ISZERO
00002eef: DUP1
00002ef0: ISZERO
00002ef1: PUSH2 0x2ef9
00002ef4: JUMPI
00002ef5: PUSH1 0x00
00002ef7: DUP1
00002ef8: REVERT
00002ef9: JUMPDEST
00002efa: POP
00002efb: GAS
00002efc: CALL
00002efd: ISZERO
00002efe: DUP1
00002eff: ISZERO
00002f00: PUSH2 0x2f0d
00002f03: JUMPI
00002f04: RETURNDATASIZE
00002f05: PUSH1 0x00
00002f07: DUP1
00002f08: RETURNDATACOPY
00002f09: RETURNDATASIZE
00002f0a: PUSH1 0x00
00002f0c: REVERT
00002f0d: JUMPDEST
00002f0e: POP
00002f0f: POP
00002f10: PUSH1 0x04
00002f12: SLOAD
00002f13: PUSH2 0x2f2c
00002f16: SWAP3
00002f17: POP
00002f18: DUP4
00002f19: SWAP2
00002f1a: POP
00002f1b: PUSH1 0x01
00002f1d: PUSH1 0x01
00002f1f: PUSH1 0xa0
00002f21: SHL
00002f22: SUB
00002f23: AND
00002f24: DUP9
00002f25: DUP11
00002f26: DUP8
00002f27: DUP8
00002f28: PUSH2 0x324c
00002f2b: JUMP
00002f2c: JUMPDEST
00002f2d: POP
00002f2e: SWAP1
00002f2f: SWAP6
00002f30: SWAP5
00002f31: POP
00002f32: POP
00002f33: POP
00002f34: POP
00002f35: POP
00002f36: JUMP
00002f37: JUMPDEST
00002f38: PUSH1 0x04
00002f3a: DUP1
00002f3b: SLOAD
00002f3c: PUSH1 0x40
00002f3e: DUP1
00002f3f: MLOAD
00002f40: PUSH4 0x70a08231
00002f45: PUSH1 0xe0
00002f47: SHL
00002f48: DUP2
00002f49: MSTORE
00002f4a: ADDRESS
00002f4b: SWAP4
00002f4c: DUP2
00002f4d: ADD
00002f4e: SWAP4
00002f4f: SWAP1
00002f50: SWAP4
00002f51: MSTORE
00002f52: MLOAD
00002f53: PUSH1 0x00
00002f55: SWAP3
00002f56: PUSH1 0x01
00002f58: PUSH1 0x01
00002f5a: PUSH1 0xa0
00002f5c: SHL
00002f5d: SUB
00002f5e: SWAP1
00002f5f: SWAP3
00002f60: AND
00002f61: SWAP2
00002f62: PUSH4 0x70a08231
00002f67: SWAP2
00002f68: PUSH1 0x24
00002f6a: DUP1
00002f6b: DUP4
00002f6c: ADD
00002f6d: SWAP3
00002f6e: PUSH1 0x20
00002f70: SWAP3
00002f71: SWAP2
00002f72: SWAP1
00002f73: DUP3
00002f74: SWAP1
00002f75: SUB
00002f76: ADD
00002f77: DUP2
00002f78: DUP7
00002f79: DUP1
00002f7a: EXTCODESIZE
00002f7b: ISZERO
00002f7c: DUP1
00002f7d: ISZERO
00002f7e: PUSH2 0x2f86
00002f81: JUMPI
00002f82: PUSH1 0x00
00002f84: DUP1
00002f85: REVERT
00002f86: JUMPDEST
00002f87: POP
00002f88: GAS
00002f89: STATICCALL
00002f8a: ISZERO
00002f8b: DUP1
00002f8c: ISZERO
00002f8d: PUSH2 0x2f9a
00002f90: JUMPI
00002f91: RETURNDATASIZE
00002f92: PUSH1 0x00
00002f94: DUP1
00002f95: RETURNDATACOPY
00002f96: RETURNDATASIZE
00002f97: PUSH1 0x00
00002f99: REVERT
00002f9a: JUMPDEST
00002f9b: POP
00002f9c: POP
00002f9d: POP
00002f9e: POP
00002f9f: PUSH1 0x40
00002fa1: MLOAD
00002fa2: RETURNDATASIZE
00002fa3: PUSH1 0x20
00002fa5: DUP2
00002fa6: LT
00002fa7: ISZERO
00002fa8: PUSH2 0x2fb0
00002fab: JUMPI
00002fac: PUSH1 0x00
00002fae: DUP1
00002faf: REVERT
00002fb0: JUMPDEST
00002fb1: POP
00002fb2: MLOAD
00002fb3: DUP5
00002fb4: GT
00002fb5: ISZERO
00002fb6: PUSH2 0x2ffb
00002fb9: JUMPI
00002fba: PUSH1 0x40
00002fbc: DUP1
00002fbd: MLOAD
00002fbe: PUSH3 0x461bcd
00002fc2: PUSH1 0xe5
00002fc4: SHL
00002fc5: DUP2
00002fc6: MSTORE
00002fc7: PUSH1 0x20
00002fc9: PUSH1 0x04
00002fcb: DUP3
00002fcc: ADD
00002fcd: MSTORE
00002fce: PUSH1 0x12
00002fd0: PUSH1 0x24
00002fd2: DUP3
00002fd3: ADD
00002fd4: MSTORE
00002fd5: PUSH18 0x11549497d253959053125117d05353d55395
00002fe8: PUSH1 0x72
00002fea: SHL
00002feb: PUSH1 0x44
00002fed: DUP3
00002fee: ADD
00002fef: MSTORE
00002ff0: SWAP1
00002ff1: MLOAD
00002ff2: SWAP1
00002ff3: DUP2
00002ff4: SWAP1
00002ff5: SUB
00002ff6: PUSH1 0x64
00002ff8: ADD
00002ff9: SWAP1
00002ffa: REVERT
00002ffb: JUMPDEST
00002ffc: PUSH1 0x00
00002ffe: DUP1
00002fff: PUSH2 0x3007
00003002: DUP7
00003003: PUSH2 0x24c6
00003006: JUMP
00003007: JUMPDEST
00003008: SWAP2
00003009: POP
0000300a: SWAP2
0000300b: POP
0000300c: DUP2
0000300d: PUSH1 0x00
0000300f: EQ
00003010: ISZERO
00003011: PUSH2 0x305a
00003014: JUMPI
00003015: PUSH1 0x40
00003017: DUP1
00003018: MLOAD
00003019: PUSH3 0x461bcd
0000301d: PUSH1 0xe5
0000301f: SHL
00003020: DUP2
00003021: MSTORE
00003022: PUSH1 0x20
00003024: PUSH1 0x04
00003026: DUP3
00003027: ADD
00003028: MSTORE
00003029: PUSH1 0x16
0000302b: PUSH1 0x24
0000302d: DUP3
0000302e: ADD
0000302f: MSTORE
00003030: PUSH22 0x11549497d6915493d7d5105491d15517d05353d55395
00003047: PUSH1 0x52
00003049: SHL
0000304a: PUSH1 0x44
0000304c: DUP3
0000304d: ADD
0000304e: MSTORE
0000304f: SWAP1
00003050: MLOAD
00003051: SWAP1
00003052: DUP2
00003053: SWAP1
00003054: SUB
00003055: PUSH1 0x64
00003057: ADD
00003058: SWAP1
00003059: REVERT
0000305a: JUMPDEST
0000305b: PUSH1 0x00
0000305d: PUSH1 0x06
0000305f: PUSH1 0x00
00003061: DUP2
00003062: SLOAD
00003063: DUP2
00003064: LT
00003065: PUSH2 0x306a
00003068: JUMPI
00003069: INVALID
0000306a: JUMPDEST
0000306b: PUSH1 0x00
0000306d: SWAP2
0000306e: DUP3
0000306f: MSTORE
00003070: PUSH1 0x20
00003072: DUP1
00003073: DUP4
00003074: KECCAK256
00003075: SWAP1
00003076: SWAP2
00003077: ADD
00003078: SLOAD
00003079: PUSH1 0x04
0000307b: DUP1
0000307c: SLOAD
0000307d: PUSH1 0x40
0000307f: DUP1
00003080: MLOAD
00003081: PUSH4 0x18160ddd
00003086: PUSH1 0xe0
00003088: SHL
00003089: DUP2
0000308a: MSTORE
0000308b: SWAP1
0000308c: MLOAD
0000308d: PUSH1 0x01
0000308f: PUSH1 0x01
00003091: PUSH1 0xa0
00003093: SHL
00003094: SUB
00003095: SWAP5
00003096: DUP6
00003097: AND
00003098: SWAP8
00003099: POP
0000309a: SWAP2
0000309b: SWAP1
0000309c: SWAP4
0000309d: AND
0000309e: SWAP4
0000309f: PUSH4 0x18160ddd
000030a4: SWAP4
000030a5: DUP1
000030a6: DUP5
000030a7: ADD
000030a8: SWAP4
000030a9: SWAP2
000030aa: SWAP3
000030ab: SWAP2
000030ac: SWAP1
000030ad: DUP3
000030ae: SWAP1
000030af: SUB
000030b0: ADD
000030b1: DUP2
000030b2: DUP7
000030b3: DUP1
000030b4: EXTCODESIZE
000030b5: ISZERO
000030b6: DUP1
000030b7: ISZERO
000030b8: PUSH2 0x30c0
000030bb: JUMPI
000030bc: PUSH1 0x00
000030be: DUP1
000030bf: REVERT
000030c0: JUMPDEST
000030c1: POP
000030c2: GAS
000030c3: STATICCALL
000030c4: ISZERO
000030c5: DUP1
000030c6: ISZERO
000030c7: PUSH2 0x30d4
000030ca: JUMPI
000030cb: RETURNDATASIZE
000030cc: PUSH1 0x00
000030ce: DUP1
000030cf: RETURNDATACOPY
000030d0: RETURNDATASIZE
000030d1: PUSH1 0x00
000030d3: REVERT
000030d4: JUMPDEST
000030d5: POP
000030d6: POP
000030d7: POP
000030d8: POP
000030d9: PUSH1 0x40
000030db: MLOAD
000030dc: RETURNDATASIZE
000030dd: PUSH1 0x20
000030df: DUP2
000030e0: LT
000030e1: ISZERO
000030e2: PUSH2 0x30ea
000030e5: JUMPI
000030e6: PUSH1 0x00
000030e8: DUP1
000030e9: REVERT
000030ea: JUMPDEST
000030eb: POP
000030ec: MLOAD
000030ed: SWAP1
000030ee: POP
000030ef: PUSH1 0x00
000030f1: PUSH2 0x30f9
000030f4: DUP4
000030f5: PUSH2 0x19ba
000030f8: JUMP
000030f9: JUMPDEST
000030fa: SWAP1
000030fb: POP
000030fc: DUP1
000030fd: DUP6
000030fe: LT
000030ff: DUP1
00003100: PUSH2 0x3112
00003103: JUMPI
00003104: POP
00003105: DUP1
00003106: DUP6
00003107: EQ
00003108: DUP1
00003109: ISZERO
0000310a: PUSH2 0x3112
0000310d: JUMPI
0000310e: POP
0000310f: DUP2
00003110: DUP10
00003111: EQ
00003112: JUMPDEST
00003113: PUSH2 0x3118
00003116: JUMPI
00003117: INVALID
00003118: JUMPDEST
00003119: PUSH1 0x04
0000311b: DUP1
0000311c: SLOAD
0000311d: PUSH1 0x40
0000311f: DUP1
00003120: MLOAD
00003121: PUSH4 0xa24835d1
00003126: PUSH1 0xe0
00003128: SHL
00003129: DUP2
0000312a: MSTORE
0000312b: ADDRESS
0000312c: SWAP4
0000312d: DUP2
0000312e: ADD
0000312f: SWAP4
00003130: SWAP1
00003131: SWAP4
00003132: MSTORE
00003133: PUSH1 0x24
00003135: DUP4
00003136: ADD
00003137: DUP13
00003138: SWAP1
00003139: MSTORE
0000313a: MLOAD
0000313b: PUSH1 0x01
0000313d: PUSH1 0x01
0000313f: PUSH1 0xa0
00003141: SHL
00003142: SUB
00003143: SWAP1
00003144: SWAP2
00003145: AND
00003146: SWAP2
00003147: PUSH4 0xa24835d1
0000314c: SWAP2
0000314d: PUSH1 0x44
0000314f: DUP1
00003150: DUP4
00003151: ADD
00003152: SWAP3
00003153: PUSH1 0x00
00003155: SWAP3
00003156: SWAP2
00003157: SWAP1
00003158: DUP3
00003159: SWAP1
0000315a: SUB
0000315b: ADD
0000315c: DUP2
0000315d: DUP4
0000315e: DUP8
0000315f: DUP1
00003160: EXTCODESIZE
00003161: ISZERO
00003162: DUP1
00003163: ISZERO
00003164: PUSH2 0x316c
00003167: JUMPI
00003168: PUSH1 0x00
0000316a: DUP1
0000316b: REVERT
0000316c: JUMPDEST
0000316d: POP
0000316e: GAS
0000316f: CALL
00003170: ISZERO
00003171: DUP1
00003172: ISZERO
00003173: PUSH2 0x3180
00003176: JUMPI
00003177: RETURNDATASIZE
00003178: PUSH1 0x00
0000317a: DUP1
0000317b: RETURNDATACOPY
0000317c: RETURNDATASIZE
0000317d: PUSH1 0x00
0000317f: REVERT
00003180: JUMPDEST
00003181: POP
00003182: POP
00003183: POP
00003184: PUSH1 0x01
00003186: PUSH1 0x01
00003188: PUSH1 0xa0
0000318a: SHL
0000318b: SUB
0000318c: DUP5
0000318d: AND
0000318e: PUSH1 0x00
00003190: SWAP1
00003191: DUP2
00003192: MSTORE
00003193: PUSH1 0x07
00003195: PUSH1 0x20
00003197: MSTORE
00003198: PUSH1 0x40
0000319a: SWAP1
0000319b: KECCAK256
0000319c: SLOAD
0000319d: PUSH2 0x31a7
000031a0: SWAP2
000031a1: POP
000031a2: DUP7
000031a3: PUSH2 0x2787
000031a6: JUMP
000031a7: JUMPDEST
000031a8: PUSH1 0x01
000031aa: PUSH1 0x01
000031ac: PUSH1 0xa0
000031ae: SHL
000031af: SUB
000031b0: DUP5
000031b1: AND
000031b2: PUSH1 0x00
000031b4: DUP2
000031b5: DUP2
000031b6: MSTORE
000031b7: PUSH1 0x07
000031b9: PUSH1 0x20
000031bb: MSTORE
000031bc: PUSH1 0x40
000031be: SWAP1
000031bf: KECCAK256
000031c0: SWAP2
000031c1: SWAP1
000031c2: SWAP2
000031c3: SSTORE
000031c4: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000031d9: EQ
000031da: ISZERO
000031db: PUSH2 0x321a
000031de: JUMPI
000031df: PUSH1 0x40
000031e1: MLOAD
000031e2: PUSH1 0x01
000031e4: PUSH1 0x01
000031e6: PUSH1 0xa0
000031e8: SHL
000031e9: SUB
000031ea: DUP9
000031eb: AND
000031ec: SWAP1
000031ed: DUP7
000031ee: ISZERO
000031ef: PUSH2 0x08fc
000031f2: MUL
000031f3: SWAP1
000031f4: DUP8
000031f5: SWAP1
000031f6: PUSH1 0x00
000031f8: DUP2
000031f9: DUP2
000031fa: DUP2
000031fb: DUP6
000031fc: DUP9
000031fd: DUP9
000031fe: CALL
000031ff: SWAP4
00003200: POP
00003201: POP
00003202: POP
00003203: POP
00003204: ISZERO
00003205: DUP1
00003206: ISZERO
00003207: PUSH2 0x3214
0000320a: JUMPI
0000320b: RETURNDATASIZE
0000320c: PUSH1 0x00
0000320e: DUP1
0000320f: RETURNDATACOPY
00003210: RETURNDATASIZE
00003211: PUSH1 0x00
00003213: REVERT
00003214: JUMPDEST
00003215: POP
00003216: PUSH2 0x3225
00003219: JUMP
0000321a: JUMPDEST
0000321b: PUSH2 0x3225
0000321e: DUP4
0000321f: DUP9
00003220: DUP8
00003221: PUSH2 0x27d4
00003224: JUMP
00003225: JUMPDEST
00003226: PUSH1 0x04
00003228: SLOAD
00003229: PUSH2 0x323f
0000322c: SWAP1
0000322d: PUSH1 0x01
0000322f: PUSH1 0x01
00003231: PUSH1 0xa0
00003233: SHL
00003234: SUB
00003235: AND
00003236: DUP5
00003237: DUP11
00003238: DUP13
00003239: DUP10
0000323a: DUP10
0000323b: PUSH2 0x324c
0000323e: JUMP
0000323f: JUMPDEST
00003240: POP
00003241: SWAP3
00003242: SWAP8
00003243: SWAP7
00003244: POP
00003245: POP
00003246: POP
00003247: POP
00003248: POP
00003249: POP
0000324a: POP
0000324b: JUMP
0000324c: JUMPDEST
0000324d: PUSH1 0x01
0000324f: PUSH1 0xff
00003251: SHL
00003252: DUP2
00003253: LT
00003254: PUSH2 0x3259
00003257: JUMPI
00003258: INVALID
00003259: JUMPDEST
0000325a: PUSH1 0x40
0000325c: DUP1
0000325d: MLOAD
0000325e: DUP5
0000325f: DUP2
00003260: MSTORE
00003261: PUSH1 0x20
00003263: DUP2
00003264: ADD
00003265: DUP5
00003266: SWAP1
00003267: MSTORE
00003268: DUP1
00003269: DUP3
0000326a: ADD
0000326b: DUP4
0000326c: SWAP1
0000326d: MSTORE
0000326e: SWAP1
0000326f: MLOAD
00003270: PUSH1 0x01
00003272: PUSH1 0x01
00003274: PUSH1 0xa0
00003276: SHL
00003277: SUB
00003278: DUP1
00003279: DUP8
0000327a: AND
0000327b: SWAP3
0000327c: DUP9
0000327d: DUP3
0000327e: AND
0000327f: SWAP3
00003280: SWAP2
00003281: DUP11
00003282: AND
00003283: SWAP2
00003284: PUSH32 0x276856b36cbc45526a0ba64f44611557a2a8b68662c5388e9fe6d72e86e1c8cb
000032a5: SWAP2
000032a6: DUP2
000032a7: SWAP1
000032a8: SUB
000032a9: PUSH1 0x60
000032ab: ADD
000032ac: SWAP1
000032ad: LOG4
000032ae: POP
000032af: POP
000032b0: POP
000032b1: POP
000032b2: POP
000032b3: POP
000032b4: JUMP
000032b5: JUMPDEST
000032b6: PUSH1 0x40
000032b8: DUP1
000032b9: MLOAD
000032ba: PUSH1 0xa0
000032bc: DUP2
000032bd: ADD
000032be: DUP3
000032bf: MSTORE
000032c0: PUSH1 0x00
000032c2: DUP1
000032c3: DUP3
000032c4: MSTORE
000032c5: PUSH1 0x20
000032c7: DUP3
000032c8: ADD
000032c9: DUP2
000032ca: SWAP1
000032cb: MSTORE
000032cc: SWAP2
000032cd: DUP2
000032ce: ADD
000032cf: DUP3
000032d0: SWAP1
000032d1: MSTORE
000032d2: PUSH1 0x60
000032d4: DUP2
000032d5: ADD
000032d6: DUP3
000032d7: SWAP1
000032d8: MSTORE
000032d9: PUSH1 0x80
000032db: DUP2
000032dc: ADD
000032dd: SWAP2
000032de: SWAP1
000032df: SWAP2
000032e0: MSTORE
000032e1: SWAP1
000032e2: JUMP
000032e3: INVALID
000032e4: LOG2
000032e5: PUSH5 0x6970667358
000032eb: UNKNOWN(0x22)
000032ec: SLT
000032ed: KECCAK256
000032ee: UNKNOWN(0xF8)
000032ef: UNKNOWN(0xC1)
000032f0: UNKNOWN(0xE0)
000032f1: UNKNOWN(0xE2)
000032f2: UNKNOWN(0xEC)
000032f3: CODECOPY
000032f4: POP
000032f5: LOG0
000032f6: UNKNOWN(0xCA)
000032f7: ADD
000032f8: UNKNOWN(0xAC)
000032f9: STOP
000032fa: EXTCODESIZE
000032fb: UNKNOWN(0x4D)
000032fc: PUSH23 0x7e4ea2e2eae30ec9a7a322bddc5ae37a1164736f6c6343
00003314: STOP
00003315: MOD
00003316: UNKNOWN(0x0C)
00003317: STOP
00003318: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xef97f2171d74987d6e4f9a9d0fa140f7b78f8ba6a66d6efca5c3c067d4562224
call_targets: 0x0337184a497565a9bd8e300dad50270cd367f206
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xef97f2171d74987d6e4f9a9d0fa140f7b78f8ba6a66d6efca5c3c067d4562224",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0337184a497565a9bd8e300dad50270cd367f206"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xecbca55d",
            "selector": "0xecbca55d",
            "calldata_variants": [
                "0xecbca55d",
                "0xecbca55d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf95e146c",
            "selector": "0xf95e146c",
            "calldata_variants": [
                "0xf95e146c",
                "0xf95e146c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8959512",
            "selector": "0xd8959512",
            "calldata_variants": [
                "0xd8959512",
                "0xd89595120000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdc8de379",
            "selector": "0xdc8de379",
            "calldata_variants": [
                "0xdc8de379",
                "0xdc8de3790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8dc12ff",
            "selector": "0xe8dc12ff",
            "calldata_variants": [
                "0xe8dc12ff",
                "0xe8dc12ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd260529c",
            "selector": "0xd260529c",
            "calldata_variants": [
                "0xd260529c",
                "0xd260529c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4407,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4527,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5840,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [],
    "untrusted_call_count": 9
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xef97f2171d74987d6e4f9a9d0fa140f7b78f8ba6a66d6efca5c3c067d4562224
call_targets: 0x0337184a497565a9bd8e300dad50270cd367f206
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xef97f2171d74987d6e4f9a9d0fa140f7b78f8ba6a66d6efca5c3c067d4562224",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0337184a497565a9bd8e300dad50270cd367f206"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xecbca55d",
            "selector": "0xecbca55d",
            "calldata_variants": [
                "0xecbca55d",
                "0xecbca55d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf95e146c",
            "selector": "0xf95e146c",
            "calldata_variants": [
                "0xf95e146c",
                "0xf95e146c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8959512",
            "selector": "0xd8959512",
            "calldata_variants": [
                "0xd8959512",
                "0xd89595120000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdc8de379",
            "selector": "0xdc8de379",
            "calldata_variants": [
                "0xdc8de379",
                "0xdc8de3790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8dc12ff",
            "selector": "0xe8dc12ff",
            "calldata_variants": [
                "0xe8dc12ff",
                "0xe8dc12ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd260529c",
            "selector": "0xd260529c",
            "calldata_variants": [
                "0xd260529c",
                "0xd260529c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4407,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4527,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5840,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": []
}