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

Analysis Run

019b3836-574c-71c7-a0fa-64a952e98e18

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:04 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?

Confirmed
0
Validated
0
Source
Bytecode only
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
8493 artifact.fetch complete 1 / 3 3 months ago
8494 tool.cast_disasm complete 1 / 3 3 months ago
98702 analysis.bundle complete 1 / 3 1 week ago
98703 capability.graph complete 1 / 3 1 week ago
98704 detector.run complete 1 / 3 1 week ago
98705 validation.fork complete 1 / 3 1 week ago

Artifact

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

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
2
CALL-family (heavy)
17
EXT*/BALANCE
1
Total opcodes
4536
Flags
create_opcodes_present call_family_heavy
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x01cc
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x03959bb7
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x01d4
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x058d7433
00000025: EQ
00000026: PUSH2 0x0222
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x06fdde03
00000030: EQ
00000031: PUSH2 0x026f
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x095ea7b3
0000003b: EQ
0000003c: PUSH2 0x02cc
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x0d668818
00000046: EQ
00000047: PUSH2 0x0341
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x12819817
00000051: EQ
00000052: PUSH2 0x0353
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x13af4035
0000005c: EQ
0000005d: PUSH2 0x03a0
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x18160ddd
00000067: EQ
00000068: PUSH2 0x03db
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x1ca60aeb
00000072: EQ
00000073: PUSH2 0x03e4
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x23b872dd
0000007d: EQ
0000007e: PUSH2 0x0431
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x240ecad5
00000088: EQ
00000089: PUSH2 0x0547
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x313ce567
00000093: EQ
00000094: PUSH2 0x05d2
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x3e853128
0000009e: EQ
0000009f: PUSH2 0x05de
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x3e8a0bc9
000000a9: EQ
000000aa: PUSH2 0x0865
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x40df280e
000000b4: EQ
000000b5: PUSH2 0x0871
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x4d7559a8
000000bf: EQ
000000c0: PUSH2 0x0883
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x5a3b7e42
000000ca: EQ
000000cb: PUSH2 0x088c
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x60c311fd
000000d5: EQ
000000d6: PUSH2 0x08ea
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x70a08231
000000e0: EQ
000000e1: PUSH2 0x0936
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x7137ed47
000000eb: EQ
000000ec: PUSH2 0x095b
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x74eb9b68
000000f6: EQ
000000f7: PUSH2 0x09a8
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x75438e49
00000101: EQ
00000102: PUSH2 0x09d7
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x7997b997
0000010c: EQ
0000010d: PUSH2 0x09f6
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x7fd238ba
00000117: EQ
00000118: PUSH2 0x0a6f
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x85a10b30
00000122: EQ
00000123: PUSH2 0x0bf2
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x8b169c7a
0000012d: EQ
0000012e: PUSH2 0x0c04
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x8da5cb5b
00000138: EQ
00000139: PUSH2 0x0c16
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x91cca3db
00000143: EQ
00000144: PUSH2 0x0c28
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x95d89b41
0000014e: EQ
0000014f: PUSH2 0x0c3a
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xa9059cbb
00000159: EQ
0000015a: PUSH2 0x0c95
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xac562666
00000164: EQ
00000165: PUSH2 0x0dd7
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xcacc24eb
0000016f: EQ
00000170: PUSH2 0x0e1f
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xcae9ca51
0000017a: EQ
0000017b: PUSH2 0x0ead
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xdd62ed3e
00000185: EQ
00000186: PUSH2 0x1012
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xe8d1e961
00000190: EQ
00000191: PUSH2 0x1046
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xeb06e65e
0000019b: EQ
0000019c: PUSH2 0x107f
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xed550443
000001a6: EQ
000001a7: PUSH2 0x10b9
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xf11c4482
000001b1: EQ
000001b2: PUSH2 0x10cb
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xf7ddfb4b
000001bc: EQ
000001bd: PUSH2 0x1152
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xf8bd526e
000001c7: EQ
000001c8: PUSH2 0x1164
000001cb: JUMPI
000001cc: JUMPDEST
000001cd: PUSH2 0x11b0
000001d0: PUSH2 0x0002
000001d3: JUMP
000001d4: JUMPDEST
000001d5: PUSH2 0x11b0
000001d8: PUSH1 0x04
000001da: CALLDATALOAD
000001db: PUSH1 0x10
000001dd: SLOAD
000001de: PUSH1 0x01
000001e0: PUSH1 0xa0
000001e2: PUSH1 0x02
000001e4: EXP
000001e5: SUB
000001e6: SWAP1
000001e7: DUP2
000001e8: AND
000001e9: CALLER
000001ea: SWAP1
000001eb: SWAP2
000001ec: AND
000001ed: EQ
000001ee: DUP1
000001ef: PUSH2 0x0207
000001f2: JUMPI
000001f3: POP
000001f4: PUSH1 0x11
000001f6: SLOAD
000001f7: PUSH1 0x01
000001f9: PUSH1 0xa0
000001fb: PUSH1 0x02
000001fd: EXP
000001fe: SUB
000001ff: SWAP1
00000200: DUP2
00000201: AND
00000202: CALLER
00000203: SWAP1
00000204: SWAP2
00000205: AND
00000206: EQ
00000207: JUMPDEST
00000208: ISZERO
00000209: PUSH2 0x021f
0000020c: JUMPI
0000020d: PUSH1 0x0c
0000020f: DUP1
00000210: SLOAD
00000211: PUSH1 0x01
00000213: PUSH1 0xa0
00000215: PUSH1 0x02
00000217: EXP
00000218: SUB
00000219: NOT
0000021a: AND
0000021b: DUP3
0000021c: OR
0000021d: SWAP1
0000021e: SSTORE
0000021f: JUMPDEST
00000220: POP
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH2 0x11b0
00000226: PUSH1 0x04
00000228: CALLDATALOAD
00000229: PUSH1 0x10
0000022b: SLOAD
0000022c: PUSH1 0x01
0000022e: PUSH1 0xa0
00000230: PUSH1 0x02
00000232: EXP
00000233: SUB
00000234: SWAP1
00000235: DUP2
00000236: AND
00000237: CALLER
00000238: SWAP1
00000239: SWAP2
0000023a: AND
0000023b: EQ
0000023c: DUP1
0000023d: PUSH2 0x0255
00000240: JUMPI
00000241: POP
00000242: PUSH1 0x11
00000244: SLOAD
00000245: PUSH1 0x01
00000247: PUSH1 0xa0
00000249: PUSH1 0x02
0000024b: EXP
0000024c: SUB
0000024d: SWAP1
0000024e: DUP2
0000024f: AND
00000250: CALLER
00000251: SWAP1
00000252: SWAP2
00000253: AND
00000254: EQ
00000255: JUMPDEST
00000256: ISZERO
00000257: PUSH2 0x021f
0000025a: JUMPI
0000025b: PUSH1 0x0f
0000025d: DUP1
0000025e: SLOAD
0000025f: PUSH1 0x01
00000261: PUSH1 0xa0
00000263: PUSH1 0x02
00000265: EXP
00000266: SUB
00000267: NOT
00000268: AND
00000269: DUP3
0000026a: OR
0000026b: SWAP1
0000026c: SSTORE
0000026d: POP
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH1 0x40
00000272: DUP1
00000273: MLOAD
00000274: PUSH1 0x01
00000276: DUP1
00000277: SLOAD
00000278: PUSH1 0x20
0000027a: PUSH1 0x02
0000027c: DUP3
0000027d: DUP5
0000027e: AND
0000027f: ISZERO
00000280: PUSH2 0x0100
00000283: MUL
00000284: PUSH1 0x00
00000286: NOT
00000287: ADD
00000288: SWAP1
00000289: SWAP3
0000028a: AND
0000028b: SWAP2
0000028c: SWAP1
0000028d: SWAP2
0000028e: DIV
0000028f: PUSH1 0x1f
00000291: DUP2
00000292: ADD
00000293: DUP3
00000294: SWAP1
00000295: DIV
00000296: DUP3
00000297: MUL
00000298: DUP5
00000299: ADD
0000029a: DUP3
0000029b: ADD
0000029c: SWAP1
0000029d: SWAP5
0000029e: MSTORE
0000029f: DUP4
000002a0: DUP4
000002a1: MSTORE
000002a2: PUSH2 0x11b4
000002a5: SWAP4
000002a6: SWAP1
000002a7: DUP4
000002a8: ADD
000002a9: DUP3
000002aa: DUP3
000002ab: DUP1
000002ac: ISZERO
000002ad: PUSH2 0x12ea
000002b0: JUMPI
000002b1: DUP1
000002b2: PUSH1 0x1f
000002b4: LT
000002b5: PUSH2 0x12bf
000002b8: JUMPI
000002b9: PUSH2 0x0100
000002bc: DUP1
000002bd: DUP4
000002be: SLOAD
000002bf: DIV
000002c0: MUL
000002c1: DUP4
000002c2: MSTORE
000002c3: SWAP2
000002c4: PUSH1 0x20
000002c6: ADD
000002c7: SWAP2
000002c8: PUSH2 0x12ea
000002cb: JUMP
000002cc: JUMPDEST
000002cd: PUSH2 0x1222
000002d0: PUSH1 0x04
000002d2: CALLDATALOAD
000002d3: PUSH1 0x24
000002d5: CALLDATALOAD
000002d6: CALLER
000002d7: PUSH1 0x01
000002d9: PUSH1 0xa0
000002db: PUSH1 0x02
000002dd: EXP
000002de: SUB
000002df: SWAP1
000002e0: DUP2
000002e1: AND
000002e2: PUSH1 0x00
000002e4: DUP2
000002e5: DUP2
000002e6: MSTORE
000002e7: PUSH1 0x09
000002e9: PUSH1 0x20
000002eb: SWAP1
000002ec: DUP2
000002ed: MSTORE
000002ee: PUSH1 0x40
000002f0: DUP1
000002f1: DUP4
000002f2: KECCAK256
000002f3: SWAP5
000002f4: DUP8
000002f5: AND
000002f6: DUP1
000002f7: DUP5
000002f8: MSTORE
000002f9: SWAP5
000002fa: DUP3
000002fb: MSTORE
000002fc: DUP1
000002fd: DUP4
000002fe: KECCAK256
000002ff: DUP7
00000300: SWAP1
00000301: SSTORE
00000302: DUP1
00000303: MLOAD
00000304: DUP7
00000305: DUP2
00000306: MSTORE
00000307: SWAP1
00000308: MLOAD
00000309: SWAP3
0000030a: SWAP5
0000030b: SWAP4
0000030c: SWAP3
0000030d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000032e: SWAP3
0000032f: SWAP2
00000330: DUP2
00000331: SWAP1
00000332: SUB
00000333: SWAP1
00000334: SWAP2
00000335: ADD
00000336: SWAP1
00000337: LOG3
00000338: POP
00000339: PUSH1 0x01
0000033b: JUMPDEST
0000033c: SWAP3
0000033d: SWAP2
0000033e: POP
0000033f: POP
00000340: JUMP
00000341: JUMPDEST
00000342: PUSH2 0x1236
00000345: PUSH1 0x0c
00000347: SLOAD
00000348: PUSH1 0x01
0000034a: PUSH1 0xa0
0000034c: PUSH1 0x02
0000034e: EXP
0000034f: SUB
00000350: AND
00000351: DUP2
00000352: JUMP
00000353: JUMPDEST
00000354: PUSH2 0x11b0
00000357: PUSH1 0x04
00000359: CALLDATALOAD
0000035a: PUSH1 0x10
0000035c: SLOAD
0000035d: PUSH1 0x01
0000035f: PUSH1 0xa0
00000361: PUSH1 0x02
00000363: EXP
00000364: SUB
00000365: SWAP1
00000366: DUP2
00000367: AND
00000368: CALLER
00000369: SWAP1
0000036a: SWAP2
0000036b: AND
0000036c: EQ
0000036d: DUP1
0000036e: PUSH2 0x0386
00000371: JUMPI
00000372: POP
00000373: PUSH1 0x11
00000375: SLOAD
00000376: PUSH1 0x01
00000378: PUSH1 0xa0
0000037a: PUSH1 0x02
0000037c: EXP
0000037d: SUB
0000037e: SWAP1
0000037f: DUP2
00000380: AND
00000381: CALLER
00000382: SWAP1
00000383: SWAP2
00000384: AND
00000385: EQ
00000386: JUMPDEST
00000387: ISZERO
00000388: PUSH2 0x021f
0000038b: JUMPI
0000038c: PUSH1 0x12
0000038e: DUP1
0000038f: SLOAD
00000390: PUSH1 0x01
00000392: PUSH1 0xa0
00000394: PUSH1 0x02
00000396: EXP
00000397: SUB
00000398: NOT
00000399: AND
0000039a: DUP3
0000039b: OR
0000039c: SWAP1
0000039d: SSTORE
0000039e: POP
0000039f: JUMP
000003a0: JUMPDEST
000003a1: PUSH2 0x1222
000003a4: PUSH1 0x04
000003a6: CALLDATALOAD
000003a7: PUSH1 0x11
000003a9: SLOAD
000003aa: PUSH1 0x00
000003ac: SWAP1
000003ad: PUSH1 0x01
000003af: PUSH1 0xa0
000003b1: PUSH1 0x02
000003b3: EXP
000003b4: SUB
000003b5: SWAP1
000003b6: DUP2
000003b7: AND
000003b8: CALLER
000003b9: SWAP1
000003ba: SWAP2
000003bb: AND
000003bc: EQ
000003bd: ISZERO
000003be: PUSH2 0x12f2
000003c1: JUMPI
000003c2: POP
000003c3: PUSH1 0x10
000003c5: DUP1
000003c6: SLOAD
000003c7: PUSH1 0x01
000003c9: PUSH1 0xa0
000003cb: PUSH1 0x02
000003cd: EXP
000003ce: SUB
000003cf: NOT
000003d0: AND
000003d1: DUP3
000003d2: OR
000003d3: SWAP1
000003d4: SSTORE
000003d5: PUSH1 0x01
000003d7: PUSH2 0x0956
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH2 0x1253
000003df: PUSH1 0x04
000003e1: SLOAD
000003e2: DUP2
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH2 0x11b0
000003e8: PUSH1 0x04
000003ea: CALLDATALOAD
000003eb: PUSH1 0x10
000003ed: SLOAD
000003ee: PUSH1 0x01
000003f0: PUSH1 0xa0
000003f2: PUSH1 0x02
000003f4: EXP
000003f5: SUB
000003f6: SWAP1
000003f7: DUP2
000003f8: AND
000003f9: CALLER
000003fa: SWAP1
000003fb: SWAP2
000003fc: AND
000003fd: EQ
000003fe: DUP1
000003ff: PUSH2 0x0417
00000402: JUMPI
00000403: POP
00000404: PUSH1 0x11
00000406: SLOAD
00000407: PUSH1 0x01
00000409: PUSH1 0xa0
0000040b: PUSH1 0x02
0000040d: EXP
0000040e: SUB
0000040f: SWAP1
00000410: DUP2
00000411: AND
00000412: CALLER
00000413: SWAP1
00000414: SWAP2
00000415: AND
00000416: EQ
00000417: JUMPDEST
00000418: ISZERO
00000419: PUSH2 0x021f
0000041c: JUMPI
0000041d: PUSH1 0x0b
0000041f: DUP1
00000420: SLOAD
00000421: PUSH1 0x01
00000423: PUSH1 0xa0
00000425: PUSH1 0x02
00000427: EXP
00000428: SUB
00000429: NOT
0000042a: AND
0000042b: DUP3
0000042c: OR
0000042d: SWAP1
0000042e: SSTORE
0000042f: POP
00000430: JUMP
00000431: JUMPDEST
00000432: PUSH2 0x1222
00000435: PUSH1 0x04
00000437: CALLDATALOAD
00000438: PUSH1 0x24
0000043a: CALLDATALOAD
0000043b: PUSH1 0x44
0000043d: CALLDATALOAD
0000043e: PUSH1 0x00
00000440: PUSH1 0x00
00000442: PUSH1 0x0c
00000444: PUSH1 0x00
00000446: SWAP1
00000447: SLOAD
00000448: SWAP1
00000449: PUSH2 0x0100
0000044c: EXP
0000044d: SWAP1
0000044e: DIV
0000044f: PUSH1 0x01
00000451: PUSH1 0xa0
00000453: PUSH1 0x02
00000455: EXP
00000456: SUB
00000457: AND
00000458: PUSH1 0x01
0000045a: PUSH1 0xa0
0000045c: PUSH1 0x02
0000045e: EXP
0000045f: SUB
00000460: AND
00000461: PUSH4 0x7f4da132
00000466: PUSH1 0x40
00000468: MLOAD
00000469: DUP2
0000046a: PUSH1 0xe0
0000046c: PUSH1 0x02
0000046e: EXP
0000046f: MUL
00000470: DUP2
00000471: MSTORE
00000472: PUSH1 0x04
00000474: ADD
00000475: DUP1
00000476: SWAP1
00000477: POP
00000478: PUSH1 0x20
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: DUP1
0000047e: DUP4
0000047f: SUB
00000480: DUP2
00000481: PUSH1 0x00
00000483: DUP8
00000484: PUSH2 0x61da
00000487: GAS
00000488: SUB
00000489: CALL
0000048a: ISZERO
0000048b: PUSH2 0x0002
0000048e: JUMPI
0000048f: POP
00000490: POP
00000491: PUSH1 0x40
00000493: DUP1
00000494: MLOAD
00000495: MLOAD
00000496: PUSH1 0x01
00000498: PUSH1 0xa0
0000049a: PUSH1 0x02
0000049c: EXP
0000049d: SUB
0000049e: DUP9
0000049f: AND
000004a0: SWAP1
000004a1: SWAP4
000004a2: MSTORE
000004a3: PUSH1 0x08
000004a5: PUSH1 0x20
000004a7: MSTORE
000004a8: DUP4
000004a9: KECCAK256
000004aa: SLOAD
000004ab: DUP5
000004ac: SWAP1
000004ad: LT
000004ae: DUP1
000004af: ISZERO
000004b0: SWAP2
000004b1: POP
000004b2: PUSH2 0x04cc
000004b5: JUMPI
000004b6: POP
000004b7: PUSH1 0x01
000004b9: PUSH1 0xa0
000004bb: PUSH1 0x02
000004bd: EXP
000004be: SUB
000004bf: DUP5
000004c0: AND
000004c1: DUP3
000004c2: MSTORE
000004c3: PUSH1 0x40
000004c5: DUP3
000004c6: KECCAK256
000004c7: SLOAD
000004c8: DUP4
000004c9: DUP2
000004ca: ADD
000004cb: GT
000004cc: JUMPDEST
000004cd: DUP1
000004ce: ISZERO
000004cf: PUSH2 0x04d7
000004d2: JUMPI
000004d3: POP
000004d4: DUP1
000004d5: DUP4
000004d6: GT
000004d7: JUMPDEST
000004d8: DUP1
000004d9: ISZERO
000004da: PUSH2 0x04e6
000004dd: JUMPI
000004de: POP
000004df: PUSH1 0x06
000004e1: SLOAD
000004e2: PUSH1 0xff
000004e4: AND
000004e5: ISZERO
000004e6: JUMPDEST
000004e7: DUP1
000004e8: ISZERO
000004e9: PUSH2 0x050b
000004ec: JUMPI
000004ed: POP
000004ee: PUSH1 0x01
000004f0: PUSH1 0xa0
000004f2: PUSH1 0x02
000004f4: EXP
000004f5: SUB
000004f6: DUP6
000004f7: AND
000004f8: PUSH1 0x00
000004fa: SWAP1
000004fb: DUP2
000004fc: MSTORE
000004fd: PUSH1 0x0a
000004ff: PUSH1 0x20
00000501: MSTORE
00000502: PUSH1 0x40
00000504: SWAP1
00000505: KECCAK256
00000506: SLOAD
00000507: NUMBER
00000508: SWAP1
00000509: GT
0000050a: ISZERO
0000050b: JUMPDEST
0000050c: ISZERO
0000050d: PUSH2 0x12fa
00000510: JUMPI
00000511: PUSH1 0x01
00000513: PUSH1 0xa0
00000515: PUSH1 0x02
00000517: EXP
00000518: SUB
00000519: DUP6
0000051a: DUP2
0000051b: AND
0000051c: PUSH1 0x00
0000051e: SWAP1
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x09
00000523: PUSH1 0x20
00000525: SWAP1
00000526: DUP2
00000527: MSTORE
00000528: PUSH1 0x40
0000052a: DUP1
0000052b: DUP4
0000052c: KECCAK256
0000052d: CALLER
0000052e: SWAP1
0000052f: SWAP5
00000530: AND
00000531: DUP4
00000532: MSTORE
00000533: SWAP3
00000534: SWAP1
00000535: MSTORE
00000536: KECCAK256
00000537: SLOAD
00000538: DUP4
00000539: GT
0000053a: ISZERO
0000053b: PUSH2 0x1307
0000053e: JUMPI
0000053f: PUSH1 0x00
00000541: SWAP2
00000542: POP
00000543: PUSH2 0x12ff
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH2 0x1265
0000054b: PUSH1 0x04
0000054d: CALLDATALOAD
0000054e: PUSH1 0x24
00000550: CALLDATALOAD
00000551: PUSH1 0x44
00000553: CALLDATALOAD
00000554: PUSH1 0x00
00000556: PUSH1 0x00
00000558: PUSH1 0x00
0000055a: PUSH1 0x00
0000055c: PUSH1 0x00
0000055e: PUSH1 0x00
00000560: PUSH1 0x00
00000562: PUSH1 0x0e
00000564: PUSH1 0x00
00000566: SWAP1
00000567: SLOAD
00000568: SWAP1
00000569: PUSH2 0x0100
0000056c: EXP
0000056d: SWAP1
0000056e: DIV
0000056f: PUSH1 0x01
00000571: PUSH1 0xa0
00000573: PUSH1 0x02
00000575: EXP
00000576: SUB
00000577: AND
00000578: PUSH1 0x01
0000057a: PUSH1 0xa0
0000057c: PUSH1 0x02
0000057e: EXP
0000057f: SUB
00000580: AND
00000581: PUSH4 0x245a6f74
00000586: CALLER
00000587: PUSH1 0x40
00000589: MLOAD
0000058a: DUP3
0000058b: PUSH1 0xe0
0000058d: PUSH1 0x02
0000058f: EXP
00000590: MUL
00000591: DUP2
00000592: MSTORE
00000593: PUSH1 0x04
00000595: ADD
00000596: DUP1
00000597: DUP3
00000598: PUSH1 0x01
0000059a: PUSH1 0xa0
0000059c: PUSH1 0x02
0000059e: EXP
0000059f: SUB
000005a0: AND
000005a1: DUP2
000005a2: MSTORE
000005a3: PUSH1 0x20
000005a5: ADD
000005a6: SWAP2
000005a7: POP
000005a8: POP
000005a9: PUSH1 0x20
000005ab: PUSH1 0x40
000005ad: MLOAD
000005ae: DUP1
000005af: DUP4
000005b0: SUB
000005b1: DUP2
000005b2: PUSH1 0x00
000005b4: DUP8
000005b5: PUSH2 0x61da
000005b8: GAS
000005b9: SUB
000005ba: CALL
000005bb: ISZERO
000005bc: PUSH2 0x0002
000005bf: JUMPI
000005c0: POP
000005c1: POP
000005c2: PUSH1 0x40
000005c4: MLOAD
000005c5: MLOAD
000005c6: ISZERO
000005c7: ISZERO
000005c8: SWAP1
000005c9: POP
000005ca: PUSH2 0x1410
000005cd: JUMPI
000005ce: PUSH2 0x1563
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x12a8
000005d6: PUSH1 0x03
000005d8: SLOAD
000005d9: PUSH1 0xff
000005db: AND
000005dc: DUP2
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH2 0x1222
000005e2: PUSH1 0x04
000005e4: CALLDATALOAD
000005e5: PUSH1 0x00
000005e7: PUSH1 0x00
000005e9: PUSH1 0x00
000005eb: PUSH1 0x0c
000005ed: PUSH1 0x00
000005ef: SWAP1
000005f0: SLOAD
000005f1: SWAP1
000005f2: PUSH2 0x0100
000005f5: EXP
000005f6: SWAP1
000005f7: DIV
000005f8: PUSH1 0x01
000005fa: PUSH1 0xa0
000005fc: PUSH1 0x02
000005fe: EXP
000005ff: SUB
00000600: AND
00000601: PUSH1 0x01
00000603: PUSH1 0xa0
00000605: PUSH1 0x02
00000607: EXP
00000608: SUB
00000609: AND
0000060a: PUSH4 0xa7397d27
0000060f: PUSH1 0x40
00000611: MLOAD
00000612: DUP2
00000613: PUSH1 0xe0
00000615: PUSH1 0x02
00000617: EXP
00000618: MUL
00000619: DUP2
0000061a: MSTORE
0000061b: PUSH1 0x04
0000061d: ADD
0000061e: DUP1
0000061f: SWAP1
00000620: POP
00000621: PUSH1 0x20
00000623: PUSH1 0x40
00000625: MLOAD
00000626: DUP1
00000627: DUP4
00000628: SUB
00000629: DUP2
0000062a: PUSH1 0x00
0000062c: DUP8
0000062d: PUSH2 0x61da
00000630: GAS
00000631: SUB
00000632: CALL
00000633: ISZERO
00000634: PUSH2 0x0002
00000637: JUMPI
00000638: POP
00000639: POP
0000063a: PUSH1 0x40
0000063c: DUP1
0000063d: MLOAD
0000063e: DUP1
0000063f: MLOAD
00000640: PUSH1 0x0c
00000642: SLOAD
00000643: PUSH32 0x21d148ab00000000000000000000000000000000000000000000000000000000
00000664: DUP4
00000665: MSTORE
00000666: SWAP3
00000667: MLOAD
00000668: SWAP1
00000669: SWAP6
0000066a: POP
0000066b: PUSH1 0x01
0000066d: PUSH1 0xa0
0000066f: PUSH1 0x02
00000671: EXP
00000672: SUB
00000673: SWAP3
00000674: SWAP1
00000675: SWAP3
00000676: AND
00000677: SWAP3
00000678: POP
00000679: PUSH4 0x21d148ab
0000067e: SWAP2
0000067f: PUSH1 0x04
00000681: DUP3
00000682: DUP2
00000683: ADD
00000684: SWAP3
00000685: PUSH1 0x20
00000687: SWAP3
00000688: SWAP2
00000689: SWAP1
0000068a: DUP3
0000068b: SWAP1
0000068c: SUB
0000068d: ADD
0000068e: DUP2
0000068f: DUP8
00000690: DUP8
00000691: PUSH2 0x61da
00000694: GAS
00000695: SUB
00000696: CALL
00000697: ISZERO
00000698: PUSH2 0x0002
0000069b: JUMPI
0000069c: POP
0000069d: POP
0000069e: POP
0000069f: PUSH1 0x40
000006a1: MLOAD
000006a2: DUP1
000006a3: MLOAD
000006a4: SWAP1
000006a5: PUSH1 0x20
000006a7: ADD
000006a8: POP
000006a9: SWAP1
000006aa: POP
000006ab: DUP2
000006ac: PUSH1 0x08
000006ae: PUSH1 0x00
000006b0: POP
000006b1: PUSH1 0x00
000006b3: CALLER
000006b4: PUSH1 0x01
000006b6: PUSH1 0xa0
000006b8: PUSH1 0x02
000006ba: EXP
000006bb: SUB
000006bc: AND
000006bd: DUP2
000006be: MSTORE
000006bf: PUSH1 0x20
000006c1: ADD
000006c2: SWAP1
000006c3: DUP2
000006c4: MSTORE
000006c5: PUSH1 0x20
000006c7: ADD
000006c8: PUSH1 0x00
000006ca: KECCAK256
000006cb: PUSH1 0x00
000006cd: POP
000006ce: SLOAD
000006cf: GT
000006d0: DUP1
000006d1: ISZERO
000006d2: PUSH2 0x074a
000006d5: JUMPI
000006d6: POP
000006d7: DUP2
000006d8: PUSH1 0x08
000006da: PUSH1 0x00
000006dc: POP
000006dd: PUSH1 0x00
000006df: PUSH1 0x12
000006e1: PUSH1 0x00
000006e3: SWAP1
000006e4: SLOAD
000006e5: SWAP1
000006e6: PUSH2 0x0100
000006e9: EXP
000006ea: SWAP1
000006eb: DIV
000006ec: PUSH1 0x01
000006ee: PUSH1 0xa0
000006f0: PUSH1 0x02
000006f2: EXP
000006f3: SUB
000006f4: AND
000006f5: PUSH1 0x01
000006f7: PUSH1 0xa0
000006f9: PUSH1 0x02
000006fb: EXP
000006fc: SUB
000006fd: AND
000006fe: DUP2
000006ff: MSTORE
00000700: PUSH1 0x20
00000702: ADD
00000703: SWAP1
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x20
00000708: ADD
00000709: PUSH1 0x00
0000070b: KECCAK256
0000070c: PUSH1 0x00
0000070e: POP
0000070f: SLOAD
00000710: ADD
00000711: PUSH1 0x08
00000713: PUSH1 0x00
00000715: POP
00000716: PUSH1 0x00
00000718: PUSH1 0x12
0000071a: PUSH1 0x00
0000071c: SWAP1
0000071d: SLOAD
0000071e: SWAP1
0000071f: PUSH2 0x0100
00000722: EXP
00000723: SWAP1
00000724: DIV
00000725: PUSH1 0x01
00000727: PUSH1 0xa0
00000729: PUSH1 0x02
0000072b: EXP
0000072c: SUB
0000072d: AND
0000072e: PUSH1 0x01
00000730: PUSH1 0xa0
00000732: PUSH1 0x02
00000734: EXP
00000735: SUB
00000736: AND
00000737: DUP2
00000738: MSTORE
00000739: PUSH1 0x20
0000073b: ADD
0000073c: SWAP1
0000073d: DUP2
0000073e: MSTORE
0000073f: PUSH1 0x20
00000741: ADD
00000742: PUSH1 0x00
00000744: KECCAK256
00000745: PUSH1 0x00
00000747: POP
00000748: SLOAD
00000749: LT
0000074a: JUMPDEST
0000074b: DUP1
0000074c: ISZERO
0000074d: PUSH2 0x07b3
00000750: JUMPI
00000751: POP
00000752: PUSH1 0x0c
00000754: PUSH1 0x00
00000756: SWAP1
00000757: SLOAD
00000758: SWAP1
00000759: PUSH2 0x0100
0000075c: EXP
0000075d: SWAP1
0000075e: DIV
0000075f: PUSH1 0x01
00000761: PUSH1 0xa0
00000763: PUSH1 0x02
00000765: EXP
00000766: SUB
00000767: AND
00000768: PUSH1 0x01
0000076a: PUSH1 0xa0
0000076c: PUSH1 0x02
0000076e: EXP
0000076f: SUB
00000770: AND
00000771: PUSH4 0x21d148ab
00000776: PUSH1 0x40
00000778: MLOAD
00000779: DUP2
0000077a: PUSH1 0xe0
0000077c: PUSH1 0x02
0000077e: EXP
0000077f: MUL
00000780: DUP2
00000781: MSTORE
00000782: PUSH1 0x04
00000784: ADD
00000785: DUP1
00000786: SWAP1
00000787: POP
00000788: PUSH1 0x20
0000078a: PUSH1 0x40
0000078c: MLOAD
0000078d: DUP1
0000078e: DUP4
0000078f: SUB
00000790: DUP2
00000791: PUSH1 0x00
00000793: DUP8
00000794: PUSH2 0x61da
00000797: GAS
00000798: SUB
00000799: CALL
0000079a: ISZERO
0000079b: PUSH2 0x0002
0000079e: JUMPI
0000079f: POP
000007a0: POP
000007a1: PUSH1 0x40
000007a3: MLOAD
000007a4: MLOAD
000007a5: ADDRESS
000007a6: PUSH1 0x01
000007a8: PUSH1 0xa0
000007aa: PUSH1 0x02
000007ac: EXP
000007ad: SUB
000007ae: AND
000007af: BALANCE
000007b0: GT
000007b1: SWAP1
000007b2: POP
000007b3: JUMPDEST
000007b4: ISZERO
000007b5: PUSH2 0x1595
000007b8: JUMPI
000007b9: DUP4
000007ba: PUSH1 0x01
000007bc: PUSH1 0xa0
000007be: PUSH1 0x02
000007c0: EXP
000007c1: SUB
000007c2: AND
000007c3: PUSH1 0x00
000007c5: PUSH1 0x0c
000007c7: PUSH1 0x00
000007c9: SWAP1
000007ca: SLOAD
000007cb: SWAP1
000007cc: PUSH2 0x0100
000007cf: EXP
000007d0: SWAP1
000007d1: DIV
000007d2: PUSH1 0x01
000007d4: PUSH1 0xa0
000007d6: PUSH1 0x02
000007d8: EXP
000007d9: SUB
000007da: AND
000007db: PUSH1 0x01
000007dd: PUSH1 0xa0
000007df: PUSH1 0x02
000007e1: EXP
000007e2: SUB
000007e3: AND
000007e4: PUSH4 0x21d148ab
000007e9: PUSH1 0x40
000007eb: MLOAD
000007ec: DUP2
000007ed: PUSH1 0xe0
000007ef: PUSH1 0x02
000007f1: EXP
000007f2: MUL
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x04
000007f7: ADD
000007f8: DUP1
000007f9: SWAP1
000007fa: POP
000007fb: PUSH1 0x20
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: DUP1
00000801: DUP4
00000802: SUB
00000803: DUP2
00000804: PUSH1 0x00
00000806: DUP8
00000807: PUSH2 0x61da
0000080a: GAS
0000080b: SUB
0000080c: CALL
0000080d: ISZERO
0000080e: PUSH2 0x0002
00000811: JUMPI
00000812: POP
00000813: POP
00000814: PUSH1 0x40
00000816: MLOAD
00000817: DUP1
00000818: MLOAD
00000819: SWAP2
0000081a: POP
0000081b: DUP3
0000081c: DUP2
0000081d: DUP2
0000081e: DUP2
0000081f: DUP6
00000820: DUP9
00000821: DUP4
00000822: CALL
00000823: SWAP4
00000824: POP
00000825: POP
00000826: POP
00000827: POP
00000828: ISZERO
00000829: PUSH2 0x1595
0000082c: JUMPI
0000082d: PUSH1 0x01
0000082f: PUSH1 0xa0
00000831: PUSH1 0x02
00000833: EXP
00000834: SUB
00000835: CALLER
00000836: DUP2
00000837: AND
00000838: PUSH1 0x00
0000083a: SWAP1
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x08
0000083f: PUSH1 0x20
00000841: MSTORE
00000842: PUSH1 0x40
00000844: DUP1
00000845: DUP3
00000846: KECCAK256
00000847: DUP1
00000848: SLOAD
00000849: DUP7
0000084a: SWAP1
0000084b: SUB
0000084c: SWAP1
0000084d: SSTORE
0000084e: PUSH1 0x12
00000850: SLOAD
00000851: SWAP1
00000852: SWAP3
00000853: AND
00000854: DUP2
00000855: MSTORE
00000856: KECCAK256
00000857: DUP1
00000858: SLOAD
00000859: DUP4
0000085a: ADD
0000085b: SWAP1
0000085c: SSTORE
0000085d: PUSH1 0x01
0000085f: SWAP3
00000860: POP
00000861: PUSH2 0x159a
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH2 0x1222
00000869: PUSH1 0x06
0000086b: SLOAD
0000086c: PUSH1 0xff
0000086e: AND
0000086f: DUP2
00000870: JUMP
00000871: JUMPDEST
00000872: PUSH2 0x1236
00000875: PUSH1 0x0f
00000877: SLOAD
00000878: PUSH1 0x01
0000087a: PUSH1 0xa0
0000087c: PUSH1 0x02
0000087e: EXP
0000087f: SUB
00000880: AND
00000881: DUP2
00000882: JUMP
00000883: JUMPDEST
00000884: PUSH2 0x1253
00000887: PUSH1 0x05
00000889: SLOAD
0000088a: DUP2
0000088b: JUMP
0000088c: JUMPDEST
0000088d: PUSH1 0x40
0000088f: DUP1
00000890: MLOAD
00000891: PUSH1 0x00
00000893: DUP1
00000894: SLOAD
00000895: PUSH1 0x20
00000897: PUSH1 0x02
00000899: PUSH1 0x01
0000089b: DUP4
0000089c: AND
0000089d: ISZERO
0000089e: PUSH2 0x0100
000008a1: MUL
000008a2: PUSH1 0x00
000008a4: NOT
000008a5: ADD
000008a6: SWAP1
000008a7: SWAP3
000008a8: AND
000008a9: SWAP2
000008aa: SWAP1
000008ab: SWAP2
000008ac: DIV
000008ad: PUSH1 0x1f
000008af: DUP2
000008b0: ADD
000008b1: DUP3
000008b2: SWAP1
000008b3: DIV
000008b4: DUP3
000008b5: MUL
000008b6: DUP5
000008b7: ADD
000008b8: DUP3
000008b9: ADD
000008ba: SWAP1
000008bb: SWAP5
000008bc: MSTORE
000008bd: DUP4
000008be: DUP4
000008bf: MSTORE
000008c0: PUSH2 0x11b4
000008c3: SWAP4
000008c4: SWAP1
000008c5: DUP4
000008c6: ADD
000008c7: DUP3
000008c8: DUP3
000008c9: DUP1
000008ca: ISZERO
000008cb: PUSH2 0x12ea
000008ce: JUMPI
000008cf: DUP1
000008d0: PUSH1 0x1f
000008d2: LT
000008d3: PUSH2 0x12bf
000008d6: JUMPI
000008d7: PUSH2 0x0100
000008da: DUP1
000008db: DUP4
000008dc: SLOAD
000008dd: DIV
000008de: MUL
000008df: DUP4
000008e0: MSTORE
000008e1: SWAP2
000008e2: PUSH1 0x20
000008e4: ADD
000008e5: SWAP2
000008e6: PUSH2 0x12ea
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH2 0x1222
000008ee: PUSH1 0x04
000008f0: CALLDATALOAD
000008f1: PUSH1 0x24
000008f3: CALLDATALOAD
000008f4: PUSH1 0x0f
000008f6: SLOAD
000008f7: PUSH1 0x00
000008f9: SWAP1
000008fa: PUSH1 0x01
000008fc: PUSH1 0xa0
000008fe: PUSH1 0x02
00000900: EXP
00000901: SUB
00000902: SWAP1
00000903: DUP2
00000904: AND
00000905: CALLER
00000906: SWAP1
00000907: SWAP2
00000908: AND
00000909: EQ
0000090a: ISZERO
0000090b: PUSH2 0x15a1
0000090e: JUMPI
0000090f: PUSH1 0x01
00000911: PUSH1 0xa0
00000913: PUSH1 0x02
00000915: EXP
00000916: SUB
00000917: DUP4
00000918: AND
00000919: DUP2
0000091a: MSTORE
0000091b: PUSH1 0x08
0000091d: PUSH1 0x20
0000091f: MSTORE
00000920: PUSH1 0x40
00000922: DUP2
00000923: KECCAK256
00000924: DUP1
00000925: SLOAD
00000926: DUP4
00000927: SWAP1
00000928: SUB
00000929: SWAP1
0000092a: SSTORE
0000092b: PUSH2 0x15e4
0000092e: DUP4
0000092f: DUP4
00000930: PUSH1 0x01
00000932: PUSH2 0x1369
00000935: JUMP
00000936: JUMPDEST
00000937: PUSH2 0x1253
0000093a: PUSH1 0x04
0000093c: CALLDATALOAD
0000093d: PUSH1 0x01
0000093f: PUSH1 0xa0
00000941: PUSH1 0x02
00000943: EXP
00000944: SUB
00000945: DUP2
00000946: AND
00000947: PUSH1 0x00
00000949: SWAP1
0000094a: DUP2
0000094b: MSTORE
0000094c: PUSH1 0x08
0000094e: PUSH1 0x20
00000950: MSTORE
00000951: PUSH1 0x40
00000953: SWAP1
00000954: KECCAK256
00000955: SLOAD
00000956: JUMPDEST
00000957: SWAP2
00000958: SWAP1
00000959: POP
0000095a: JUMP
0000095b: JUMPDEST
0000095c: PUSH2 0x11b0
0000095f: PUSH1 0x04
00000961: CALLDATALOAD
00000962: PUSH1 0x10
00000964: SLOAD
00000965: PUSH1 0x01
00000967: PUSH1 0xa0
00000969: PUSH1 0x02
0000096b: EXP
0000096c: SUB
0000096d: SWAP1
0000096e: DUP2
0000096f: AND
00000970: CALLER
00000971: SWAP1
00000972: SWAP2
00000973: AND
00000974: EQ
00000975: DUP1
00000976: PUSH2 0x098e
00000979: JUMPI
0000097a: POP
0000097b: PUSH1 0x11
0000097d: SLOAD
0000097e: PUSH1 0x01
00000980: PUSH1 0xa0
00000982: PUSH1 0x02
00000984: EXP
00000985: SUB
00000986: SWAP1
00000987: DUP2
00000988: AND
00000989: CALLER
0000098a: SWAP1
0000098b: SWAP2
0000098c: AND
0000098d: EQ
0000098e: JUMPDEST
0000098f: ISZERO
00000990: PUSH2 0x021f
00000993: JUMPI
00000994: PUSH1 0x0e
00000996: DUP1
00000997: SLOAD
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: PUSH1 0x02
0000099e: EXP
0000099f: SUB
000009a0: NOT
000009a1: AND
000009a2: DUP3
000009a3: OR
000009a4: SWAP1
000009a5: SSTORE
000009a6: POP
000009a7: JUMP
000009a8: JUMPDEST
000009a9: PUSH2 0x1222
000009ac: PUSH1 0x04
000009ae: CALLDATALOAD
000009af: PUSH1 0x01
000009b1: PUSH1 0xa0
000009b3: PUSH1 0x02
000009b5: EXP
000009b6: SUB
000009b7: DUP2
000009b8: AND
000009b9: PUSH1 0x00
000009bb: SWAP1
000009bc: DUP2
000009bd: MSTORE
000009be: PUSH1 0x0a
000009c0: PUSH1 0x20
000009c2: MSTORE
000009c3: PUSH1 0x40
000009c5: DUP2
000009c6: KECCAK256
000009c7: SLOAD
000009c8: NUMBER
000009c9: SWAP1
000009ca: GT
000009cb: ISZERO
000009cc: PUSH2 0x12f2
000009cf: JUMPI
000009d0: POP
000009d1: PUSH1 0x01
000009d3: PUSH2 0x0956
000009d6: JUMP
000009d7: JUMPDEST
000009d8: PUSH2 0x11b0
000009db: PUSH1 0x12
000009dd: SLOAD
000009de: PUSH1 0x01
000009e0: PUSH1 0xa0
000009e2: PUSH1 0x02
000009e4: EXP
000009e5: SUB
000009e6: SWAP1
000009e7: DUP2
000009e8: AND
000009e9: CALLER
000009ea: SWAP1
000009eb: SWAP2
000009ec: AND
000009ed: EQ
000009ee: PUSH2 0x11b2
000009f1: JUMPI
000009f2: PUSH2 0x0002
000009f5: JUMP
000009f6: JUMPDEST
000009f7: PUSH2 0x1222
000009fa: PUSH1 0x04
000009fc: CALLDATALOAD
000009fd: PUSH1 0x24
000009ff: CALLDATALOAD
00000a00: PUSH1 0x0b
00000a02: SLOAD
00000a03: PUSH1 0x00
00000a05: SWAP1
00000a06: PUSH1 0x01
00000a08: PUSH1 0xa0
00000a0a: PUSH1 0x02
00000a0c: EXP
00000a0d: SUB
00000a0e: SWAP1
00000a0f: DUP2
00000a10: AND
00000a11: CALLER
00000a12: SWAP1
00000a13: SWAP2
00000a14: AND
00000a15: EQ
00000a16: ISZERO
00000a17: PUSH2 0x15ec
00000a1a: JUMPI
00000a1b: PUSH1 0x04
00000a1d: DUP1
00000a1e: SLOAD
00000a1f: DUP5
00000a20: SWAP1
00000a21: SUB
00000a22: SWAP1
00000a23: SSTORE
00000a24: PUSH1 0x05
00000a26: DUP1
00000a27: SLOAD
00000a28: DUP4
00000a29: SWAP1
00000a2a: SUB
00000a2b: SWAP1
00000a2c: SSTORE
00000a2d: PUSH1 0x40
00000a2f: DUP1
00000a30: MLOAD
00000a31: DUP5
00000a32: DUP2
00000a33: MSTORE
00000a34: PUSH1 0x20
00000a36: DUP2
00000a37: ADD
00000a38: DUP5
00000a39: SWAP1
00000a3a: MSTORE
00000a3b: DUP2
00000a3c: MLOAD
00000a3d: PUSH32 0xbff18be960d6b68b36595d778b20694fb0e5bf000b02434cdc0a122f32e7bff4
00000a5e: SWAP3
00000a5f: SWAP2
00000a60: DUP2
00000a61: SWAP1
00000a62: SUB
00000a63: SWAP1
00000a64: SWAP2
00000a65: ADD
00000a66: SWAP1
00000a67: LOG1
00000a68: POP
00000a69: PUSH1 0x01
00000a6b: PUSH2 0x033b
00000a6e: JUMP
00000a6f: JUMPDEST
00000a70: PUSH1 0x40
00000a72: DUP1
00000a73: MLOAD
00000a74: PUSH1 0x04
00000a76: DUP1
00000a77: CALLDATALOAD
00000a78: DUP1
00000a79: DUP3
00000a7a: ADD
00000a7b: CALLDATALOAD
00000a7c: PUSH1 0x20
00000a7e: DUP2
00000a7f: DUP2
00000a80: MUL
00000a81: DUP1
00000a82: DUP7
00000a83: ADD
00000a84: DUP3
00000a85: ADD
00000a86: SWAP1
00000a87: SWAP7
00000a88: MSTORE
00000a89: DUP2
00000a8a: DUP6
00000a8b: MSTORE
00000a8c: PUSH2 0x1222
00000a8f: SWAP6
00000a90: SWAP4
00000a91: SWAP5
00000a92: PUSH1 0x24
00000a94: SWAP5
00000a95: SWAP1
00000a96: SWAP4
00000a97: DUP6
00000a98: ADD
00000a99: SWAP3
00000a9a: SWAP2
00000a9b: DUP3
00000a9c: SWAP2
00000a9d: SWAP1
00000a9e: DUP6
00000a9f: ADD
00000aa0: SWAP1
00000aa1: DUP5
00000aa2: SWAP1
00000aa3: DUP1
00000aa4: DUP3
00000aa5: DUP5
00000aa6: CALLDATACOPY
00000aa7: POP
00000aa8: POP
00000aa9: PUSH1 0x40
00000aab: DUP1
00000aac: MLOAD
00000aad: DUP8
00000aae: CALLDATALOAD
00000aaf: DUP1
00000ab0: DUP11
00000ab1: ADD
00000ab2: CALLDATALOAD
00000ab3: PUSH1 0x20
00000ab5: DUP2
00000ab6: DUP2
00000ab7: MUL
00000ab8: DUP1
00000ab9: DUP6
00000aba: ADD
00000abb: DUP3
00000abc: ADD
00000abd: SWAP1
00000abe: SWAP6
00000abf: MSTORE
00000ac0: DUP2
00000ac1: DUP5
00000ac2: MSTORE
00000ac3: SWAP9
00000ac4: SWAP11
00000ac5: SWAP10
00000ac6: PUSH1 0x44
00000ac8: SWAP10
00000ac9: SWAP4
00000aca: SWAP9
00000acb: POP
00000acc: SWAP2
00000acd: SWAP1
00000ace: SWAP2
00000acf: ADD
00000ad0: SWAP6
00000ad1: POP
00000ad2: SWAP4
00000ad3: POP
00000ad4: DUP4
00000ad5: SWAP3
00000ad6: POP
00000ad7: DUP6
00000ad8: ADD
00000ad9: SWAP1
00000ada: DUP5
00000adb: SWAP1
00000adc: DUP1
00000add: DUP3
00000ade: DUP5
00000adf: CALLDATACOPY
00000ae0: POP
00000ae1: SWAP5
00000ae2: SWAP7
00000ae3: POP
00000ae4: POP
00000ae5: SWAP4
00000ae6: CALLDATALOAD
00000ae7: SWAP4
00000ae8: POP
00000ae9: POP
00000aea: PUSH1 0x64
00000aec: CALLDATALOAD
00000aed: SWAP2
00000aee: POP
00000aef: POP
00000af0: PUSH1 0x84
00000af2: CALLDATALOAD
00000af3: PUSH1 0x0d
00000af5: SLOAD
00000af6: PUSH1 0x00
00000af8: SWAP1
00000af9: DUP2
00000afa: SWAP1
00000afb: PUSH1 0x01
00000afd: PUSH1 0xa0
00000aff: PUSH1 0x02
00000b01: EXP
00000b02: SUB
00000b03: SWAP1
00000b04: DUP2
00000b05: AND
00000b06: CALLER
00000b07: SWAP1
00000b08: SWAP2
00000b09: AND
00000b0a: EQ
00000b0b: DUP1
00000b0c: ISZERO
00000b0d: PUSH2 0x0b17
00000b10: JUMPI
00000b11: POP
00000b12: DUP6
00000b13: MLOAD
00000b14: DUP8
00000b15: MLOAD
00000b16: EQ
00000b17: JUMPDEST
00000b18: ISZERO
00000b19: PUSH2 0x15f4
00000b1c: JUMPI
00000b1d: PUSH1 0x04
00000b1f: DUP1
00000b20: SLOAD
00000b21: DUP6
00000b22: ADD
00000b23: SWAP1
00000b24: DUP2
00000b25: SWAP1
00000b26: SSTORE
00000b27: PUSH1 0x05
00000b29: DUP1
00000b2a: SLOAD
00000b2b: DUP6
00000b2c: ADD
00000b2d: SWAP1
00000b2e: DUP2
00000b2f: SWAP1
00000b30: SSTORE
00000b31: PUSH1 0x07
00000b33: DUP1
00000b34: SLOAD
00000b35: PUSH1 0x01
00000b37: ADD
00000b38: SWAP1
00000b39: DUP2
00000b3a: SWAP1
00000b3b: SSTORE
00000b3c: PUSH1 0x40
00000b3e: DUP1
00000b3f: MLOAD
00000b40: SWAP2
00000b41: DUP3
00000b42: MSTORE
00000b43: PUSH1 0x20
00000b45: DUP3
00000b46: ADD
00000b47: DUP10
00000b48: SWAP1
00000b49: MSTORE
00000b4a: DUP2
00000b4b: DUP2
00000b4c: ADD
00000b4d: DUP9
00000b4e: SWAP1
00000b4f: MSTORE
00000b50: PUSH1 0x60
00000b52: DUP3
00000b53: ADD
00000b54: DUP8
00000b55: SWAP1
00000b56: MSTORE
00000b57: PUSH1 0x80
00000b59: DUP3
00000b5a: ADD
00000b5b: SWAP3
00000b5c: SWAP1
00000b5d: SWAP3
00000b5e: MSTORE
00000b5f: PUSH1 0xa0
00000b61: DUP2
00000b62: ADD
00000b63: SWAP3
00000b64: SWAP1
00000b65: SWAP3
00000b66: MSTORE
00000b67: MLOAD
00000b68: PUSH32 0xcb7ef63daa96829dd0d9b246d0e96fca7f5f51e769894d1b56eb895b43f8c7e2
00000b89: SWAP2
00000b8a: DUP2
00000b8b: SWAP1
00000b8c: SUB
00000b8d: PUSH1 0xc0
00000b8f: ADD
00000b90: SWAP1
00000b91: LOG1
00000b92: POP
00000b93: PUSH1 0x00
00000b95: JUMPDEST
00000b96: DUP7
00000b97: MLOAD
00000b98: DUP2
00000b99: LT
00000b9a: ISZERO
00000b9b: PUSH2 0x1603
00000b9e: JUMPI
00000b9f: DUP6
00000ba0: DUP2
00000ba1: DUP2
00000ba2: MLOAD
00000ba3: DUP2
00000ba4: LT
00000ba5: ISZERO
00000ba6: PUSH2 0x0002
00000ba9: JUMPI
00000baa: SWAP1
00000bab: PUSH1 0x20
00000bad: ADD
00000bae: SWAP1
00000baf: PUSH1 0x20
00000bb1: MUL
00000bb2: ADD
00000bb3: MLOAD
00000bb4: PUSH1 0x08
00000bb6: PUSH1 0x00
00000bb8: POP
00000bb9: PUSH1 0x00
00000bbb: DUP10
00000bbc: DUP5
00000bbd: DUP2
00000bbe: MLOAD
00000bbf: DUP2
00000bc0: LT
00000bc1: ISZERO
00000bc2: PUSH2 0x0002
00000bc5: JUMPI
00000bc6: PUSH1 0x20
00000bc8: SWAP1
00000bc9: DUP2
00000bca: MUL
00000bcb: SWAP1
00000bcc: SWAP2
00000bcd: ADD
00000bce: DUP2
00000bcf: ADD
00000bd0: MLOAD
00000bd1: PUSH1 0x01
00000bd3: PUSH1 0xa0
00000bd5: PUSH1 0x02
00000bd7: EXP
00000bd8: SUB
00000bd9: AND
00000bda: DUP3
00000bdb: MSTORE
00000bdc: SWAP2
00000bdd: SWAP1
00000bde: SWAP2
00000bdf: MSTORE
00000be0: PUSH1 0x40
00000be2: SWAP1
00000be3: KECCAK256
00000be4: DUP1
00000be5: SLOAD
00000be6: SWAP1
00000be7: SWAP2
00000be8: ADD
00000be9: SWAP1
00000bea: SSTORE
00000beb: PUSH1 0x01
00000bed: ADD
00000bee: PUSH2 0x0b95
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: PUSH2 0x1236
00000bf6: PUSH1 0x13
00000bf8: SLOAD
00000bf9: PUSH1 0x01
00000bfb: PUSH1 0xa0
00000bfd: PUSH1 0x02
00000bff: EXP
00000c00: SUB
00000c01: AND
00000c02: DUP2
00000c03: JUMP
00000c04: JUMPDEST
00000c05: PUSH2 0x1236
00000c08: PUSH1 0x0d
00000c0a: SLOAD
00000c0b: PUSH1 0x01
00000c0d: PUSH1 0xa0
00000c0f: PUSH1 0x02
00000c11: EXP
00000c12: SUB
00000c13: AND
00000c14: DUP2
00000c15: JUMP
00000c16: JUMPDEST
00000c17: PUSH2 0x1236
00000c1a: PUSH1 0x10
00000c1c: SLOAD
00000c1d: PUSH1 0x01
00000c1f: PUSH1 0xa0
00000c21: PUSH1 0x02
00000c23: EXP
00000c24: SUB
00000c25: AND
00000c26: DUP2
00000c27: JUMP
00000c28: JUMPDEST
00000c29: PUSH2 0x1236
00000c2c: PUSH1 0x11
00000c2e: SLOAD
00000c2f: PUSH1 0x01
00000c31: PUSH1 0xa0
00000c33: PUSH1 0x02
00000c35: EXP
00000c36: SUB
00000c37: AND
00000c38: DUP2
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: PUSH1 0x40
00000c3d: DUP1
00000c3e: MLOAD
00000c3f: PUSH1 0x02
00000c41: DUP1
00000c42: SLOAD
00000c43: PUSH1 0x20
00000c45: PUSH1 0x01
00000c47: DUP3
00000c48: AND
00000c49: ISZERO
00000c4a: PUSH2 0x0100
00000c4d: MUL
00000c4e: PUSH1 0x00
00000c50: NOT
00000c51: ADD
00000c52: SWAP1
00000c53: SWAP2
00000c54: AND
00000c55: DUP3
00000c56: SWAP1
00000c57: DIV
00000c58: PUSH1 0x1f
00000c5a: DUP2
00000c5b: ADD
00000c5c: DUP3
00000c5d: SWAP1
00000c5e: DIV
00000c5f: DUP3
00000c60: MUL
00000c61: DUP5
00000c62: ADD
00000c63: DUP3
00000c64: ADD
00000c65: SWAP1
00000c66: SWAP5
00000c67: MSTORE
00000c68: DUP4
00000c69: DUP4
00000c6a: MSTORE
00000c6b: PUSH2 0x11b4
00000c6e: SWAP4
00000c6f: SWAP1
00000c70: DUP4
00000c71: ADD
00000c72: DUP3
00000c73: DUP3
00000c74: DUP1
00000c75: ISZERO
00000c76: PUSH2 0x12ea
00000c79: JUMPI
00000c7a: DUP1
00000c7b: PUSH1 0x1f
00000c7d: LT
00000c7e: PUSH2 0x12bf
00000c81: JUMPI
00000c82: PUSH2 0x0100
00000c85: DUP1
00000c86: DUP4
00000c87: SLOAD
00000c88: DIV
00000c89: MUL
00000c8a: DUP4
00000c8b: MSTORE
00000c8c: SWAP2
00000c8d: PUSH1 0x20
00000c8f: ADD
00000c90: SWAP2
00000c91: PUSH2 0x12ea
00000c94: JUMP
00000c95: JUMPDEST
00000c96: PUSH2 0x1222
00000c99: PUSH1 0x04
00000c9b: CALLDATALOAD
00000c9c: PUSH1 0x24
00000c9e: CALLDATALOAD
00000c9f: PUSH1 0x00
00000ca1: PUSH1 0x00
00000ca3: PUSH1 0x0c
00000ca5: PUSH1 0x00
00000ca7: SWAP1
00000ca8: SLOAD
00000ca9: SWAP1
00000caa: PUSH2 0x0100
00000cad: EXP
00000cae: SWAP1
00000caf: DIV
00000cb0: PUSH1 0x01
00000cb2: PUSH1 0xa0
00000cb4: PUSH1 0x02
00000cb6: EXP
00000cb7: SUB
00000cb8: AND
00000cb9: PUSH1 0x01
00000cbb: PUSH1 0xa0
00000cbd: PUSH1 0x02
00000cbf: EXP
00000cc0: SUB
00000cc1: AND
00000cc2: PUSH4 0x7f4da132
00000cc7: PUSH1 0x40
00000cc9: MLOAD
00000cca: DUP2
00000ccb: PUSH1 0xe0
00000ccd: PUSH1 0x02
00000ccf: EXP
00000cd0: MUL
00000cd1: DUP2
00000cd2: MSTORE
00000cd3: PUSH1 0x04
00000cd5: ADD
00000cd6: DUP1
00000cd7: SWAP1
00000cd8: POP
00000cd9: PUSH1 0x20
00000cdb: PUSH1 0x40
00000cdd: MLOAD
00000cde: DUP1
00000cdf: DUP4
00000ce0: SUB
00000ce1: DUP2
00000ce2: PUSH1 0x00
00000ce4: DUP8
00000ce5: PUSH2 0x61da
00000ce8: GAS
00000ce9: SUB
00000cea: CALL
00000ceb: ISZERO
00000cec: PUSH2 0x0002
00000cef: JUMPI
00000cf0: POP
00000cf1: POP
00000cf2: PUSH1 0x40
00000cf4: DUP1
00000cf5: MLOAD
00000cf6: MLOAD
00000cf7: CALLER
00000cf8: PUSH1 0x01
00000cfa: PUSH1 0xa0
00000cfc: PUSH1 0x02
00000cfe: EXP
00000cff: SUB
00000d00: AND
00000d01: SWAP1
00000d02: SWAP4
00000d03: MSTORE
00000d04: PUSH1 0x08
00000d06: PUSH1 0x20
00000d08: MSTORE
00000d09: DUP4
00000d0a: KECCAK256
00000d0b: SLOAD
00000d0c: DUP5
00000d0d: SWAP1
00000d0e: LT
00000d0f: DUP1
00000d10: ISZERO
00000d11: SWAP2
00000d12: POP
00000d13: PUSH2 0x0d2d
00000d16: JUMPI
00000d17: POP
00000d18: PUSH1 0x01
00000d1a: PUSH1 0xa0
00000d1c: PUSH1 0x02
00000d1e: EXP
00000d1f: SUB
00000d20: DUP5
00000d21: AND
00000d22: DUP3
00000d23: MSTORE
00000d24: PUSH1 0x40
00000d26: DUP3
00000d27: KECCAK256
00000d28: SLOAD
00000d29: DUP4
00000d2a: DUP2
00000d2b: ADD
00000d2c: GT
00000d2d: JUMPDEST
00000d2e: DUP1
00000d2f: ISZERO
00000d30: PUSH2 0x0d38
00000d33: JUMPI
00000d34: POP
00000d35: DUP1
00000d36: DUP4
00000d37: GT
00000d38: JUMPDEST
00000d39: DUP1
00000d3a: ISZERO
00000d3b: PUSH2 0x0d47
00000d3e: JUMPI
00000d3f: POP
00000d40: PUSH1 0x06
00000d42: SLOAD
00000d43: PUSH1 0xff
00000d45: AND
00000d46: ISZERO
00000d47: JUMPDEST
00000d48: DUP1
00000d49: ISZERO
00000d4a: PUSH2 0x0d6c
00000d4d: JUMPI
00000d4e: POP
00000d4f: CALLER
00000d50: PUSH1 0x01
00000d52: PUSH1 0xa0
00000d54: PUSH1 0x02
00000d56: EXP
00000d57: SUB
00000d58: AND
00000d59: PUSH1 0x00
00000d5b: SWAP1
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x0a
00000d60: PUSH1 0x20
00000d62: MSTORE
00000d63: PUSH1 0x40
00000d65: SWAP1
00000d66: KECCAK256
00000d67: SLOAD
00000d68: NUMBER
00000d69: SWAP1
00000d6a: GT
00000d6b: ISZERO
00000d6c: JUMPDEST
00000d6d: ISZERO
00000d6e: PUSH2 0x160c
00000d71: JUMPI
00000d72: PUSH1 0x01
00000d74: PUSH1 0xa0
00000d76: PUSH1 0x02
00000d78: EXP
00000d79: SUB
00000d7a: CALLER
00000d7b: DUP2
00000d7c: AND
00000d7d: PUSH1 0x00
00000d7f: DUP2
00000d80: DUP2
00000d81: MSTORE
00000d82: PUSH1 0x08
00000d84: PUSH1 0x20
00000d86: SWAP1
00000d87: DUP2
00000d88: MSTORE
00000d89: PUSH1 0x40
00000d8b: DUP1
00000d8c: DUP4
00000d8d: KECCAK256
00000d8e: DUP1
00000d8f: SLOAD
00000d90: DUP10
00000d91: SWAP1
00000d92: SUB
00000d93: SWAP1
00000d94: SSTORE
00000d95: SWAP4
00000d96: DUP9
00000d97: AND
00000d98: DUP1
00000d99: DUP4
00000d9a: MSTORE
00000d9b: SWAP2
00000d9c: DUP5
00000d9d: SWAP1
00000d9e: KECCAK256
00000d9f: DUP1
00000da0: SLOAD
00000da1: DUP7
00000da2: DUP10
00000da3: SUB
00000da4: SWAP1
00000da5: DUP2
00000da6: ADD
00000da7: SWAP1
00000da8: SWAP2
00000da9: SSTORE
00000daa: DUP5
00000dab: MLOAD
00000dac: SWAP1
00000dad: DUP2
00000dae: MSTORE
00000daf: SWAP4
00000db0: MLOAD
00000db1: SWAP2
00000db2: SWAP4
00000db3: PUSH1 0x00
00000db5: DUP1
00000db6: MLOAD
00000db7: PUSH1 0x20
00000db9: PUSH2 0x1876
00000dbc: DUP4
00000dbd: CODECOPY
00000dbe: DUP2
00000dbf: MLOAD
00000dc0: SWAP2
00000dc1: MSTORE
00000dc2: SWAP3
00000dc3: SWAP1
00000dc4: DUP2
00000dc5: SWAP1
00000dc6: SUB
00000dc7: SWAP1
00000dc8: SWAP2
00000dc9: ADD
00000dca: SWAP1
00000dcb: LOG3
00000dcc: PUSH2 0x1618
00000dcf: CALLER
00000dd0: DUP3
00000dd1: PUSH1 0x00
00000dd3: PUSH2 0x1369
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH2 0x11b0
00000ddb: PUSH1 0x10
00000ddd: SLOAD
00000dde: CALLER
00000ddf: PUSH1 0x01
00000de1: PUSH1 0xa0
00000de3: PUSH1 0x02
00000de5: EXP
00000de6: SUB
00000de7: SWAP1
00000de8: DUP2
00000de9: AND
00000dea: SWAP2
00000deb: AND
00000dec: EQ
00000ded: DUP1
00000dee: PUSH2 0x0e06
00000df1: JUMPI
00000df2: POP
00000df3: PUSH1 0x11
00000df5: SLOAD
00000df6: PUSH1 0x01
00000df8: PUSH1 0xa0
00000dfa: PUSH1 0x02
00000dfc: EXP
00000dfd: SUB
00000dfe: SWAP1
00000dff: DUP2
00000e00: AND
00000e01: CALLER
00000e02: SWAP1
00000e03: SWAP2
00000e04: AND
00000e05: EQ
00000e06: JUMPDEST
00000e07: ISZERO
00000e08: PUSH2 0x11b2
00000e0b: JUMPI
00000e0c: PUSH1 0x06
00000e0e: DUP1
00000e0f: SLOAD
00000e10: PUSH1 0xff
00000e12: DUP2
00000e13: AND
00000e14: ISZERO
00000e15: PUSH1 0xff
00000e17: NOT
00000e18: SWAP1
00000e19: SWAP2
00000e1a: AND
00000e1b: OR
00000e1c: SWAP1
00000e1d: SSTORE
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: PUSH2 0x1265
00000e23: PUSH1 0x04
00000e25: CALLDATALOAD
00000e26: PUSH1 0x24
00000e28: CALLDATALOAD
00000e29: PUSH1 0x44
00000e2b: CALLDATALOAD
00000e2c: PUSH1 0x64
00000e2e: CALLDATALOAD
00000e2f: PUSH1 0x00
00000e31: PUSH1 0x00
00000e33: PUSH1 0x00
00000e35: PUSH1 0x00
00000e37: PUSH1 0x00
00000e39: PUSH1 0x00
00000e3b: PUSH1 0x00
00000e3d: PUSH1 0x0e
00000e3f: PUSH1 0x00
00000e41: SWAP1
00000e42: SLOAD
00000e43: SWAP1
00000e44: PUSH2 0x0100
00000e47: EXP
00000e48: SWAP1
00000e49: DIV
00000e4a: PUSH1 0x01
00000e4c: PUSH1 0xa0
00000e4e: PUSH1 0x02
00000e50: EXP
00000e51: SUB
00000e52: AND
00000e53: PUSH1 0x01
00000e55: PUSH1 0xa0
00000e57: PUSH1 0x02
00000e59: EXP
00000e5a: SUB
00000e5b: AND
00000e5c: PUSH4 0x245a6f74
00000e61: CALLER
00000e62: PUSH1 0x40
00000e64: MLOAD
00000e65: DUP3
00000e66: PUSH1 0xe0
00000e68: PUSH1 0x02
00000e6a: EXP
00000e6b: MUL
00000e6c: DUP2
00000e6d: MSTORE
00000e6e: PUSH1 0x04
00000e70: ADD
00000e71: DUP1
00000e72: DUP3
00000e73: PUSH1 0x01
00000e75: PUSH1 0xa0
00000e77: PUSH1 0x02
00000e79: EXP
00000e7a: SUB
00000e7b: AND
00000e7c: DUP2
00000e7d: MSTORE
00000e7e: PUSH1 0x20
00000e80: ADD
00000e81: SWAP2
00000e82: POP
00000e83: POP
00000e84: PUSH1 0x20
00000e86: PUSH1 0x40
00000e88: MLOAD
00000e89: DUP1
00000e8a: DUP4
00000e8b: SUB
00000e8c: DUP2
00000e8d: PUSH1 0x00
00000e8f: DUP8
00000e90: PUSH2 0x61da
00000e93: GAS
00000e94: SUB
00000e95: CALL
00000e96: ISZERO
00000e97: PUSH2 0x0002
00000e9a: JUMPI
00000e9b: POP
00000e9c: POP
00000e9d: PUSH1 0x40
00000e9f: MLOAD
00000ea0: MLOAD
00000ea1: ISZERO
00000ea2: ISZERO
00000ea3: SWAP1
00000ea4: POP
00000ea5: PUSH2 0x1621
00000ea8: JUMPI
00000ea9: PUSH2 0x1753
00000eac: JUMP
00000ead: JUMPDEST
00000eae: PUSH1 0x40
00000eb0: DUP1
00000eb1: MLOAD
00000eb2: PUSH1 0x20
00000eb4: PUSH1 0x44
00000eb6: CALLDATALOAD
00000eb7: PUSH1 0x04
00000eb9: DUP2
00000eba: DUP2
00000ebb: ADD
00000ebc: CALLDATALOAD
00000ebd: PUSH1 0x1f
00000ebf: DUP2
00000ec0: ADD
00000ec1: DUP5
00000ec2: SWAP1
00000ec3: DIV
00000ec4: DUP5
00000ec5: MUL
00000ec6: DUP6
00000ec7: ADD
00000ec8: DUP5
00000ec9: ADD
00000eca: SWAP1
00000ecb: SWAP6
00000ecc: MSTORE
00000ecd: DUP5
00000ece: DUP5
00000ecf: MSTORE
00000ed0: PUSH2 0x1222
00000ed3: SWAP5
00000ed4: DUP2
00000ed5: CALLDATALOAD
00000ed6: SWAP5
00000ed7: PUSH1 0x24
00000ed9: DUP1
00000eda: CALLDATALOAD
00000edb: SWAP6
00000edc: SWAP4
00000edd: SWAP5
00000ede: PUSH1 0x64
00000ee0: SWAP5
00000ee1: SWAP3
00000ee2: SWAP4
00000ee3: SWAP2
00000ee4: ADD
00000ee5: SWAP2
00000ee6: DUP2
00000ee7: SWAP1
00000ee8: DUP5
00000ee9: ADD
00000eea: DUP4
00000eeb: DUP3
00000eec: DUP1
00000eed: DUP3
00000eee: DUP5
00000eef: CALLDATACOPY
00000ef0: POP
00000ef1: SWAP5
00000ef2: SWAP7
00000ef3: POP
00000ef4: POP
00000ef5: POP
00000ef6: POP
00000ef7: POP
00000ef8: POP
00000ef9: POP
00000efa: PUSH1 0x00
00000efc: PUSH1 0x00
00000efe: DUP4
00000eff: PUSH1 0x09
00000f01: PUSH1 0x00
00000f03: POP
00000f04: PUSH1 0x00
00000f06: CALLER
00000f07: PUSH1 0x01
00000f09: PUSH1 0xa0
00000f0b: PUSH1 0x02
00000f0d: EXP
00000f0e: SUB
00000f0f: AND
00000f10: DUP2
00000f11: MSTORE
00000f12: PUSH1 0x20
00000f14: ADD
00000f15: SWAP1
00000f16: DUP2
00000f17: MSTORE
00000f18: PUSH1 0x20
00000f1a: ADD
00000f1b: PUSH1 0x00
00000f1d: KECCAK256
00000f1e: PUSH1 0x00
00000f20: POP
00000f21: PUSH1 0x00
00000f23: DUP8
00000f24: PUSH1 0x01
00000f26: PUSH1 0xa0
00000f28: PUSH1 0x02
00000f2a: EXP
00000f2b: SUB
00000f2c: AND
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x20
00000f31: ADD
00000f32: SWAP1
00000f33: DUP2
00000f34: MSTORE
00000f35: PUSH1 0x20
00000f37: ADD
00000f38: PUSH1 0x00
00000f3a: KECCAK256
00000f3b: PUSH1 0x00
00000f3d: POP
00000f3e: DUP2
00000f3f: SWAP1
00000f40: SSTORE
00000f41: POP
00000f42: DUP5
00000f43: SWAP1
00000f44: POP
00000f45: DUP1
00000f46: PUSH1 0x01
00000f48: PUSH1 0xa0
00000f4a: PUSH1 0x02
00000f4c: EXP
00000f4d: SUB
00000f4e: AND
00000f4f: PUSH4 0x8f4ffcb1
00000f54: CALLER
00000f55: DUP7
00000f56: ADDRESS
00000f57: DUP8
00000f58: PUSH1 0x40
00000f5a: MLOAD
00000f5b: DUP6
00000f5c: PUSH1 0xe0
00000f5e: PUSH1 0x02
00000f60: EXP
00000f61: MUL
00000f62: DUP2
00000f63: MSTORE
00000f64: PUSH1 0x04
00000f66: ADD
00000f67: DUP1
00000f68: DUP6
00000f69: PUSH1 0x01
00000f6b: PUSH1 0xa0
00000f6d: PUSH1 0x02
00000f6f: EXP
00000f70: SUB
00000f71: AND
00000f72: DUP2
00000f73: MSTORE
00000f74: PUSH1 0x20
00000f76: ADD
00000f77: DUP5
00000f78: DUP2
00000f79: MSTORE
00000f7a: PUSH1 0x20
00000f7c: ADD
00000f7d: DUP4
00000f7e: PUSH1 0x01
00000f80: PUSH1 0xa0
00000f82: PUSH1 0x02
00000f84: EXP
00000f85: SUB
00000f86: AND
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH1 0x20
00000f8b: ADD
00000f8c: DUP1
00000f8d: PUSH1 0x20
00000f8f: ADD
00000f90: DUP3
00000f91: DUP2
00000f92: SUB
00000f93: DUP3
00000f94: MSTORE
00000f95: DUP4
00000f96: DUP2
00000f97: DUP2
00000f98: MLOAD
00000f99: DUP2
00000f9a: MSTORE
00000f9b: PUSH1 0x20
00000f9d: ADD
00000f9e: SWAP2
00000f9f: POP
00000fa0: DUP1
00000fa1: MLOAD
00000fa2: SWAP1
00000fa3: PUSH1 0x20
00000fa5: ADD
00000fa6: SWAP1
00000fa7: DUP1
00000fa8: DUP4
00000fa9: DUP4
00000faa: DUP3
00000fab: SWAP1
00000fac: PUSH1 0x00
00000fae: PUSH1 0x04
00000fb0: PUSH1 0x20
00000fb2: DUP5
00000fb3: PUSH1 0x1f
00000fb5: ADD
00000fb6: DIV
00000fb7: PUSH1 0x0f
00000fb9: MUL
00000fba: PUSH1 0x03
00000fbc: ADD
00000fbd: CALL
00000fbe: POP
00000fbf: SWAP1
00000fc0: POP
00000fc1: SWAP1
00000fc2: DUP2
00000fc3: ADD
00000fc4: SWAP1
00000fc5: PUSH1 0x1f
00000fc7: AND
00000fc8: DUP1
00000fc9: ISZERO
00000fca: PUSH2 0x0fe7
00000fcd: JUMPI
00000fce: DUP1
00000fcf: DUP3
00000fd0: SUB
00000fd1: DUP1
00000fd2: MLOAD
00000fd3: PUSH1 0x01
00000fd5: DUP4
00000fd6: PUSH1 0x20
00000fd8: SUB
00000fd9: PUSH2 0x0100
00000fdc: EXP
00000fdd: SUB
00000fde: NOT
00000fdf: AND
00000fe0: DUP2
00000fe1: MSTORE
00000fe2: PUSH1 0x20
00000fe4: ADD
00000fe5: SWAP2
00000fe6: POP
00000fe7: JUMPDEST
00000fe8: POP
00000fe9: SWAP6
00000fea: POP
00000feb: POP
00000fec: POP
00000fed: POP
00000fee: POP
00000fef: POP
00000ff0: PUSH1 0x00
00000ff2: PUSH1 0x40
00000ff4: MLOAD
00000ff5: DUP1
00000ff6: DUP4
00000ff7: SUB
00000ff8: DUP2
00000ff9: PUSH1 0x00
00000ffb: DUP8
00000ffc: PUSH2 0x61da
00000fff: GAS
00001000: SUB
00001001: CALL
00001002: ISZERO
00001003: PUSH2 0x0002
00001006: JUMPI
00001007: POP
00001008: POP
00001009: POP
0000100a: PUSH1 0x01
0000100c: SWAP2
0000100d: POP
0000100e: PUSH2 0x12ff
00001011: JUMP
00001012: JUMPDEST
00001013: PUSH2 0x1253
00001016: PUSH1 0x04
00001018: CALLDATALOAD
00001019: PUSH1 0x24
0000101b: CALLDATALOAD
0000101c: PUSH1 0x01
0000101e: PUSH1 0xa0
00001020: PUSH1 0x02
00001022: EXP
00001023: SUB
00001024: DUP3
00001025: DUP2
00001026: AND
00001027: PUSH1 0x00
00001029: SWAP1
0000102a: DUP2
0000102b: MSTORE
0000102c: PUSH1 0x09
0000102e: PUSH1 0x20
00001030: SWAP1
00001031: DUP2
00001032: MSTORE
00001033: PUSH1 0x40
00001035: DUP1
00001036: DUP4
00001037: KECCAK256
00001038: SWAP4
00001039: DUP6
0000103a: AND
0000103b: DUP4
0000103c: MSTORE
0000103d: SWAP3
0000103e: SWAP1
0000103f: MSTORE
00001040: KECCAK256
00001041: SLOAD
00001042: PUSH2 0x033b
00001045: JUMP
00001046: JUMPDEST
00001047: PUSH2 0x1222
0000104a: PUSH1 0x04
0000104c: CALLDATALOAD
0000104d: CALLER
0000104e: PUSH1 0x01
00001050: PUSH1 0xa0
00001052: PUSH1 0x02
00001054: EXP
00001055: SUB
00001056: AND
00001057: PUSH1 0x00
00001059: SWAP1
0000105a: DUP2
0000105b: MSTORE
0000105c: PUSH1 0x0a
0000105e: PUSH1 0x20
00001060: MSTORE
00001061: PUSH1 0x40
00001063: DUP2
00001064: KECCAK256
00001065: SLOAD
00001066: NUMBER
00001067: DUP4
00001068: ADD
00001069: SWAP1
0000106a: LT
0000106b: ISZERO
0000106c: PUSH2 0x12f2
0000106f: JUMPI
00001070: PUSH1 0x40
00001072: SWAP1
00001073: KECCAK256
00001074: NUMBER
00001075: DUP3
00001076: ADD
00001077: SWAP1
00001078: SSTORE
00001079: PUSH1 0x01
0000107b: PUSH2 0x0956
0000107e: JUMP
0000107f: JUMPDEST
00001080: PUSH2 0x1253
00001083: PUSH1 0x04
00001085: CALLDATALOAD
00001086: PUSH1 0x24
00001088: CALLDATALOAD
00001089: PUSH1 0x44
0000108b: CALLDATALOAD
0000108c: PUSH1 0x01
0000108e: PUSH1 0xa0
00001090: PUSH1 0x02
00001092: EXP
00001093: SUB
00001094: DUP3
00001095: DUP2
00001096: AND
00001097: PUSH1 0x00
00001099: SWAP1
0000109a: DUP2
0000109b: MSTORE
0000109c: PUSH1 0x09
0000109e: PUSH1 0x20
000010a0: SWAP1
000010a1: DUP2
000010a2: MSTORE
000010a3: PUSH1 0x40
000010a5: DUP1
000010a6: DUP4
000010a7: KECCAK256
000010a8: SWAP4
000010a9: DUP6
000010aa: AND
000010ab: DUP4
000010ac: MSTORE
000010ad: SWAP3
000010ae: SWAP1
000010af: MSTORE
000010b0: KECCAK256
000010b1: SLOAD
000010b2: JUMPDEST
000010b3: SWAP4
000010b4: SWAP3
000010b5: POP
000010b6: POP
000010b7: POP
000010b8: JUMP
000010b9: JUMPDEST
000010ba: PUSH2 0x1236
000010bd: PUSH1 0x0e
000010bf: SLOAD
000010c0: PUSH1 0x01
000010c2: PUSH1 0xa0
000010c4: PUSH1 0x02
000010c6: EXP
000010c7: SUB
000010c8: AND
000010c9: DUP2
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH2 0x1222
000010cf: PUSH1 0x04
000010d1: CALLDATALOAD
000010d2: PUSH1 0x24
000010d4: CALLDATALOAD
000010d5: PUSH1 0x44
000010d7: CALLDATALOAD
000010d8: PUSH1 0x0e
000010da: SLOAD
000010db: PUSH1 0x40
000010dd: DUP1
000010de: MLOAD
000010df: PUSH32 0x245a6f7400000000000000000000000000000000000000000000000000000000
00001100: DUP2
00001101: MSTORE
00001102: CALLER
00001103: PUSH1 0x01
00001105: PUSH1 0xa0
00001107: PUSH1 0x02
00001109: EXP
0000110a: SUB
0000110b: SWAP1
0000110c: DUP2
0000110d: AND
0000110e: PUSH1 0x04
00001110: DUP4
00001111: ADD
00001112: MSTORE
00001113: SWAP2
00001114: MLOAD
00001115: PUSH1 0x00
00001117: SWAP4
00001118: SWAP1
00001119: SWAP3
0000111a: AND
0000111b: SWAP2
0000111c: PUSH4 0x245a6f74
00001121: SWAP2
00001122: PUSH1 0x24
00001124: DUP2
00001125: DUP2
00001126: ADD
00001127: SWAP3
00001128: PUSH1 0x20
0000112a: SWAP3
0000112b: SWAP1
0000112c: SWAP2
0000112d: SWAP1
0000112e: DUP3
0000112f: SWAP1
00001130: SUB
00001131: ADD
00001132: DUP2
00001133: DUP8
00001134: DUP8
00001135: PUSH2 0x61da
00001138: GAS
00001139: SUB
0000113a: CALL
0000113b: ISZERO
0000113c: PUSH2 0x0002
0000113f: JUMPI
00001140: POP
00001141: POP
00001142: PUSH1 0x40
00001144: MLOAD
00001145: MLOAD
00001146: ISZERO
00001147: ISZERO
00001148: SWAP1
00001149: POP
0000114a: PUSH2 0x1811
0000114d: JUMPI
0000114e: PUSH2 0x10b2
00001151: JUMP
00001152: JUMPDEST
00001153: PUSH2 0x1236
00001156: PUSH1 0x0b
00001158: SLOAD
00001159: PUSH1 0x01
0000115b: PUSH1 0xa0
0000115d: PUSH1 0x02
0000115f: EXP
00001160: SUB
00001161: AND
00001162: DUP2
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH2 0x11b0
00001168: PUSH1 0x04
0000116a: CALLDATALOAD
0000116b: PUSH1 0x10
0000116d: SLOAD
0000116e: CALLER
0000116f: PUSH1 0x01
00001171: PUSH1 0xa0
00001173: PUSH1 0x02
00001175: EXP
00001176: SUB
00001177: SWAP1
00001178: DUP2
00001179: AND
0000117a: SWAP2
0000117b: AND
0000117c: EQ
0000117d: DUP1
0000117e: PUSH2 0x1196
00001181: JUMPI
00001182: POP
00001183: PUSH1 0x11
00001185: SLOAD
00001186: PUSH1 0x01
00001188: PUSH1 0xa0
0000118a: PUSH1 0x02
0000118c: EXP
0000118d: SUB
0000118e: SWAP1
0000118f: DUP2
00001190: AND
00001191: CALLER
00001192: SWAP1
00001193: SWAP2
00001194: AND
00001195: EQ
00001196: JUMPDEST
00001197: ISZERO
00001198: PUSH2 0x021f
0000119b: JUMPI
0000119c: PUSH1 0x0d
0000119e: DUP1
0000119f: SLOAD
000011a0: PUSH1 0x01
000011a2: PUSH1 0xa0
000011a4: PUSH1 0x02
000011a6: EXP
000011a7: SUB
000011a8: NOT
000011a9: AND
000011aa: DUP3
000011ab: OR
000011ac: SWAP1
000011ad: SSTORE
000011ae: POP
000011af: JUMP
000011b0: JUMPDEST
000011b1: STOP
000011b2: JUMPDEST
000011b3: JUMP
000011b4: JUMPDEST
000011b5: PUSH1 0x40
000011b7: MLOAD
000011b8: DUP1
000011b9: DUP1
000011ba: PUSH1 0x20
000011bc: ADD
000011bd: DUP3
000011be: DUP2
000011bf: SUB
000011c0: DUP3
000011c1: MSTORE
000011c2: DUP4
000011c3: DUP2
000011c4: DUP2
000011c5: MLOAD
000011c6: DUP2
000011c7: MSTORE
000011c8: PUSH1 0x20
000011ca: ADD
000011cb: SWAP2
000011cc: POP
000011cd: DUP1
000011ce: MLOAD
000011cf: SWAP1
000011d0: PUSH1 0x20
000011d2: ADD
000011d3: SWAP1
000011d4: DUP1
000011d5: DUP4
000011d6: DUP4
000011d7: DUP3
000011d8: SWAP1
000011d9: PUSH1 0x00
000011db: PUSH1 0x04
000011dd: PUSH1 0x20
000011df: DUP5
000011e0: PUSH1 0x1f
000011e2: ADD
000011e3: DIV
000011e4: PUSH1 0x0f
000011e6: MUL
000011e7: PUSH1 0x03
000011e9: ADD
000011ea: CALL
000011eb: POP
000011ec: SWAP1
000011ed: POP
000011ee: SWAP1
000011ef: DUP2
000011f0: ADD
000011f1: SWAP1
000011f2: PUSH1 0x1f
000011f4: AND
000011f5: DUP1
000011f6: ISZERO
000011f7: PUSH2 0x1214
000011fa: JUMPI
000011fb: DUP1
000011fc: DUP3
000011fd: SUB
000011fe: DUP1
000011ff: MLOAD
00001200: PUSH1 0x01
00001202: DUP4
00001203: PUSH1 0x20
00001205: SUB
00001206: PUSH2 0x0100
00001209: EXP
0000120a: SUB
0000120b: NOT
0000120c: AND
0000120d: DUP2
0000120e: MSTORE
0000120f: PUSH1 0x20
00001211: ADD
00001212: SWAP2
00001213: POP
00001214: JUMPDEST
00001215: POP
00001216: SWAP3
00001217: POP
00001218: POP
00001219: POP
0000121a: PUSH1 0x40
0000121c: MLOAD
0000121d: DUP1
0000121e: SWAP2
0000121f: SUB
00001220: SWAP1
00001221: RETURN
00001222: JUMPDEST
00001223: PUSH1 0x40
00001225: DUP1
00001226: MLOAD
00001227: SWAP2
00001228: ISZERO
00001229: ISZERO
0000122a: DUP3
0000122b: MSTORE
0000122c: MLOAD
0000122d: SWAP1
0000122e: DUP2
0000122f: SWAP1
00001230: SUB
00001231: PUSH1 0x20
00001233: ADD
00001234: SWAP1
00001235: RETURN
00001236: JUMPDEST
00001237: PUSH1 0x40
00001239: DUP1
0000123a: MLOAD
0000123b: PUSH1 0x01
0000123d: PUSH1 0xa0
0000123f: PUSH1 0x02
00001241: EXP
00001242: SUB
00001243: SWAP3
00001244: SWAP1
00001245: SWAP3
00001246: AND
00001247: DUP3
00001248: MSTORE
00001249: MLOAD
0000124a: SWAP1
0000124b: DUP2
0000124c: SWAP1
0000124d: SUB
0000124e: PUSH1 0x20
00001250: ADD
00001251: SWAP1
00001252: RETURN
00001253: JUMPDEST
00001254: PUSH1 0x40
00001256: DUP1
00001257: MLOAD
00001258: SWAP2
00001259: DUP3
0000125a: MSTORE
0000125b: MLOAD
0000125c: SWAP1
0000125d: DUP2
0000125e: SWAP1
0000125f: SUB
00001260: PUSH1 0x20
00001262: ADD
00001263: SWAP1
00001264: RETURN
00001265: JUMPDEST
00001266: PUSH1 0x40
00001268: DUP1
00001269: MLOAD
0000126a: SWAP7
0000126b: ISZERO
0000126c: ISZERO
0000126d: DUP8
0000126e: MSTORE
0000126f: PUSH1 0x01
00001271: PUSH1 0xa0
00001273: PUSH1 0x02
00001275: EXP
00001276: SUB
00001277: SWAP6
00001278: DUP7
00001279: AND
0000127a: PUSH1 0x20
0000127c: DUP9
0000127d: ADD
0000127e: MSTORE
0000127f: SWAP4
00001280: DUP6
00001281: AND
00001282: DUP7
00001283: DUP6
00001284: ADD
00001285: MSTORE
00001286: PUSH1 0x60
00001288: DUP7
00001289: ADD
0000128a: SWAP3
0000128b: SWAP1
0000128c: SWAP3
0000128d: MSTORE
0000128e: SWAP1
0000128f: SWAP3
00001290: AND
00001291: PUSH1 0x80
00001293: DUP5
00001294: ADD
00001295: MSTORE
00001296: PUSH1 0xa0
00001298: DUP4
00001299: ADD
0000129a: SWAP2
0000129b: SWAP1
0000129c: SWAP2
0000129d: MSTORE
0000129e: MLOAD
0000129f: SWAP1
000012a0: DUP2
000012a1: SWAP1
000012a2: SUB
000012a3: PUSH1 0xc0
000012a5: ADD
000012a6: SWAP1
000012a7: RETURN
000012a8: JUMPDEST
000012a9: PUSH1 0x40
000012ab: DUP1
000012ac: MLOAD
000012ad: PUSH1 0xff
000012af: SWAP3
000012b0: SWAP1
000012b1: SWAP3
000012b2: AND
000012b3: DUP3
000012b4: MSTORE
000012b5: MLOAD
000012b6: SWAP1
000012b7: DUP2
000012b8: SWAP1
000012b9: SUB
000012ba: PUSH1 0x20
000012bc: ADD
000012bd: SWAP1
000012be: RETURN
000012bf: JUMPDEST
000012c0: DUP3
000012c1: ADD
000012c2: SWAP2
000012c3: SWAP1
000012c4: PUSH1 0x00
000012c6: MSTORE
000012c7: PUSH1 0x20
000012c9: PUSH1 0x00
000012cb: KECCAK256
000012cc: SWAP1
000012cd: JUMPDEST
000012ce: DUP2
000012cf: SLOAD
000012d0: DUP2
000012d1: MSTORE
000012d2: SWAP1
000012d3: PUSH1 0x01
000012d5: ADD
000012d6: SWAP1
000012d7: PUSH1 0x20
000012d9: ADD
000012da: DUP1
000012db: DUP4
000012dc: GT
000012dd: PUSH2 0x12cd
000012e0: JUMPI
000012e1: DUP3
000012e2: SWAP1
000012e3: SUB
000012e4: PUSH1 0x1f
000012e6: AND
000012e7: DUP3
000012e8: ADD
000012e9: SWAP2
000012ea: JUMPDEST
000012eb: POP
000012ec: POP
000012ed: POP
000012ee: POP
000012ef: POP
000012f0: DUP2
000012f1: JUMP
000012f2: JUMPDEST
000012f3: POP
000012f4: PUSH1 0x00
000012f6: PUSH2 0x0956
000012f9: JUMP
000012fa: JUMPDEST
000012fb: PUSH1 0x00
000012fd: SWAP2
000012fe: POP
000012ff: JUMPDEST
00001300: POP
00001301: SWAP4
00001302: SWAP3
00001303: POP
00001304: POP
00001305: POP
00001306: JUMP
00001307: JUMPDEST
00001308: PUSH1 0x01
0000130a: PUSH1 0xa0
0000130c: PUSH1 0x02
0000130e: EXP
0000130f: SUB
00001310: DUP6
00001311: DUP2
00001312: AND
00001313: PUSH1 0x00
00001315: DUP2
00001316: DUP2
00001317: MSTORE
00001318: PUSH1 0x08
0000131a: PUSH1 0x20
0000131c: SWAP1
0000131d: DUP2
0000131e: MSTORE
0000131f: PUSH1 0x40
00001321: DUP1
00001322: DUP4
00001323: KECCAK256
00001324: DUP1
00001325: SLOAD
00001326: DUP10
00001327: SWAP1
00001328: SUB
00001329: SWAP1
0000132a: SSTORE
0000132b: SWAP4
0000132c: DUP9
0000132d: AND
0000132e: DUP1
0000132f: DUP4
00001330: MSTORE
00001331: SWAP2
00001332: DUP5
00001333: SWAP1
00001334: KECCAK256
00001335: DUP1
00001336: SLOAD
00001337: DUP7
00001338: DUP10
00001339: SUB
0000133a: SWAP1
0000133b: DUP2
0000133c: ADD
0000133d: SWAP1
0000133e: SWAP2
0000133f: SSTORE
00001340: DUP5
00001341: MLOAD
00001342: SWAP1
00001343: DUP2
00001344: MSTORE
00001345: SWAP4
00001346: MLOAD
00001347: SWAP2
00001348: SWAP4
00001349: PUSH1 0x00
0000134b: DUP1
0000134c: MLOAD
0000134d: PUSH1 0x20
0000134f: PUSH2 0x1876
00001352: DUP4
00001353: CODECOPY
00001354: DUP2
00001355: MLOAD
00001356: SWAP2
00001357: MSTORE
00001358: SWAP3
00001359: SWAP1
0000135a: DUP2
0000135b: SWAP1
0000135c: SUB
0000135d: SWAP1
0000135e: SWAP2
0000135f: ADD
00001360: SWAP1
00001361: LOG3
00001362: PUSH2 0x13da
00001365: DUP6
00001366: DUP3
00001367: PUSH1 0x00
00001369: JUMPDEST
0000136a: PUSH1 0x13
0000136c: SLOAD
0000136d: PUSH1 0x01
0000136f: PUSH1 0xa0
00001371: PUSH1 0x02
00001373: EXP
00001374: SUB
00001375: SWAP1
00001376: DUP2
00001377: AND
00001378: PUSH1 0x00
0000137a: SWAP1
0000137b: DUP2
0000137c: MSTORE
0000137d: PUSH1 0x08
0000137f: PUSH1 0x20
00001381: SWAP1
00001382: DUP2
00001383: MSTORE
00001384: PUSH1 0x40
00001386: SWAP2
00001387: DUP3
00001388: SWAP1
00001389: KECCAK256
0000138a: DUP1
0000138b: SLOAD
0000138c: DUP7
0000138d: ADD
0000138e: SWAP1
0000138f: SSTORE
00001390: PUSH1 0x04
00001392: DUP1
00001393: SLOAD
00001394: DUP7
00001395: SWAP1
00001396: SUB
00001397: SWAP1
00001398: SSTORE
00001399: DUP2
0000139a: MLOAD
0000139b: SWAP3
0000139c: DUP7
0000139d: AND
0000139e: DUP4
0000139f: MSTORE
000013a0: DUP3
000013a1: ADD
000013a2: DUP5
000013a3: SWAP1
000013a4: MSTORE
000013a5: DUP2
000013a6: DUP2
000013a7: ADD
000013a8: DUP4
000013a9: SWAP1
000013aa: MSTORE
000013ab: MLOAD
000013ac: PUSH32 0x55eee3060c5b26cb8b25640c0ac7284dca63b649106677825a2c7e9566fdc16e
000013cd: SWAP2
000013ce: DUP2
000013cf: SWAP1
000013d0: SUB
000013d1: PUSH1 0x60
000013d3: ADD
000013d4: SWAP1
000013d5: LOG1
000013d6: POP
000013d7: POP
000013d8: POP
000013d9: JUMP
000013da: JUMPDEST
000013db: PUSH1 0x01
000013dd: PUSH1 0xa0
000013df: PUSH1 0x02
000013e1: EXP
000013e2: SUB
000013e3: DUP6
000013e4: DUP2
000013e5: AND
000013e6: PUSH1 0x00
000013e8: SWAP1
000013e9: DUP2
000013ea: MSTORE
000013eb: PUSH1 0x09
000013ed: PUSH1 0x20
000013ef: SWAP1
000013f0: DUP2
000013f1: MSTORE
000013f2: PUSH1 0x40
000013f4: DUP1
000013f5: DUP4
000013f6: KECCAK256
000013f7: CALLER
000013f8: SWAP1
000013f9: SWAP5
000013fa: AND
000013fb: DUP4
000013fc: MSTORE
000013fd: SWAP3
000013fe: SWAP1
000013ff: MSTORE
00001400: KECCAK256
00001401: DUP1
00001402: SLOAD
00001403: DUP5
00001404: SWAP1
00001405: SUB
00001406: SWAP1
00001407: SSTORE
00001408: PUSH1 0x01
0000140a: SWAP2
0000140b: POP
0000140c: PUSH2 0x12ff
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH1 0x0c
00001413: PUSH1 0x00
00001415: SWAP1
00001416: SLOAD
00001417: SWAP1
00001418: PUSH2 0x0100
0000141b: EXP
0000141c: SWAP1
0000141d: DIV
0000141e: PUSH1 0x01
00001420: PUSH1 0xa0
00001422: PUSH1 0x02
00001424: EXP
00001425: SUB
00001426: AND
00001427: PUSH1 0x01
00001429: PUSH1 0xa0
0000142b: PUSH1 0x02
0000142d: EXP
0000142e: SUB
0000142f: AND
00001430: PUSH4 0x7f4da132
00001435: PUSH1 0x40
00001437: MLOAD
00001438: DUP2
00001439: PUSH1 0xe0
0000143b: PUSH1 0x02
0000143d: EXP
0000143e: MUL
0000143f: DUP2
00001440: MSTORE
00001441: PUSH1 0x04
00001443: ADD
00001444: DUP1
00001445: SWAP1
00001446: POP
00001447: PUSH1 0x20
00001449: PUSH1 0x40
0000144b: MLOAD
0000144c: DUP1
0000144d: DUP4
0000144e: SUB
0000144f: DUP2
00001450: PUSH1 0x00
00001452: DUP8
00001453: PUSH2 0x61da
00001456: GAS
00001457: SUB
00001458: CALL
00001459: ISZERO
0000145a: PUSH2 0x0002
0000145d: JUMPI
0000145e: POP
0000145f: POP
00001460: PUSH1 0x40
00001462: DUP1
00001463: MLOAD
00001464: MLOAD
00001465: PUSH1 0x01
00001467: PUSH1 0xa0
00001469: PUSH1 0x02
0000146b: EXP
0000146c: SUB
0000146d: DUP14
0000146e: AND
0000146f: PUSH1 0x00
00001471: SWAP1
00001472: DUP2
00001473: MSTORE
00001474: PUSH1 0x08
00001476: PUSH1 0x20
00001478: MSTORE
00001479: SWAP2
0000147a: SWAP1
0000147b: SWAP2
0000147c: KECCAK256
0000147d: SLOAD
0000147e: SWAP1
0000147f: SWAP3
00001480: POP
00001481: DUP10
00001482: SWAP1
00001483: LT
00001484: DUP1
00001485: ISZERO
00001486: SWAP2
00001487: POP
00001488: PUSH2 0x14a5
0000148b: JUMPI
0000148c: POP
0000148d: PUSH1 0x01
0000148f: PUSH1 0xa0
00001491: PUSH1 0x02
00001493: EXP
00001494: SUB
00001495: DUP10
00001496: AND
00001497: PUSH1 0x00
00001499: SWAP1
0000149a: DUP2
0000149b: MSTORE
0000149c: PUSH1 0x40
0000149e: SWAP1
0000149f: KECCAK256
000014a0: SLOAD
000014a1: DUP9
000014a2: DUP2
000014a3: ADD
000014a4: GT
000014a5: JUMPDEST
000014a6: DUP1
000014a7: ISZERO
000014a8: PUSH2 0x14b0
000014ab: JUMPI
000014ac: POP
000014ad: DUP1
000014ae: DUP9
000014af: GT
000014b0: JUMPDEST
000014b1: DUP1
000014b2: ISZERO
000014b3: PUSH2 0x14bf
000014b6: JUMPI
000014b7: POP
000014b8: PUSH1 0x06
000014ba: SLOAD
000014bb: PUSH1 0xff
000014bd: AND
000014be: ISZERO
000014bf: JUMPDEST
000014c0: DUP1
000014c1: ISZERO
000014c2: PUSH2 0x14e4
000014c5: JUMPI
000014c6: POP
000014c7: PUSH1 0x01
000014c9: PUSH1 0xa0
000014cb: PUSH1 0x02
000014cd: EXP
000014ce: SUB
000014cf: DUP11
000014d0: AND
000014d1: PUSH1 0x00
000014d3: SWAP1
000014d4: DUP2
000014d5: MSTORE
000014d6: PUSH1 0x0a
000014d8: PUSH1 0x20
000014da: MSTORE
000014db: PUSH1 0x40
000014dd: SWAP1
000014de: KECCAK256
000014df: SLOAD
000014e0: NUMBER
000014e1: SWAP1
000014e2: GT
000014e3: ISZERO
000014e4: JUMPDEST
000014e5: ISZERO
000014e6: PUSH2 0x154f
000014e9: JUMPI
000014ea: PUSH1 0x01
000014ec: PUSH1 0xa0
000014ee: PUSH1 0x02
000014f0: EXP
000014f1: SUB
000014f2: DUP11
000014f3: DUP2
000014f4: AND
000014f5: PUSH1 0x00
000014f7: DUP2
000014f8: DUP2
000014f9: MSTORE
000014fa: PUSH1 0x08
000014fc: PUSH1 0x20
000014fe: SWAP1
000014ff: DUP2
00001500: MSTORE
00001501: PUSH1 0x40
00001503: DUP1
00001504: DUP4
00001505: KECCAK256
00001506: DUP1
00001507: SLOAD
00001508: DUP15
00001509: SWAP1
0000150a: SUB
0000150b: SWAP1
0000150c: SSTORE
0000150d: SWAP4
0000150e: DUP14
0000150f: AND
00001510: DUP1
00001511: DUP4
00001512: MSTORE
00001513: SWAP2
00001514: DUP5
00001515: SWAP1
00001516: KECCAK256
00001517: DUP1
00001518: SLOAD
00001519: DUP7
0000151a: DUP15
0000151b: SUB
0000151c: SWAP1
0000151d: DUP2
0000151e: ADD
0000151f: SWAP1
00001520: SWAP2
00001521: SSTORE
00001522: DUP5
00001523: MLOAD
00001524: SWAP1
00001525: DUP2
00001526: MSTORE
00001527: SWAP4
00001528: MLOAD
00001529: SWAP2
0000152a: SWAP4
0000152b: PUSH1 0x00
0000152d: DUP1
0000152e: MLOAD
0000152f: PUSH1 0x20
00001531: PUSH2 0x1876
00001534: DUP4
00001535: CODECOPY
00001536: DUP2
00001537: MLOAD
00001538: SWAP2
00001539: MSTORE
0000153a: SWAP3
0000153b: SWAP1
0000153c: DUP2
0000153d: SWAP1
0000153e: SUB
0000153f: SWAP1
00001540: SWAP2
00001541: ADD
00001542: SWAP1
00001543: LOG3
00001544: PUSH2 0x1570
00001547: DUP11
00001548: DUP3
00001549: PUSH1 0x00
0000154b: PUSH2 0x1369
0000154e: JUMP
0000154f: JUMPDEST
00001550: PUSH1 0x00
00001552: SWAP7
00001553: POP
00001554: DUP7
00001555: SWAP6
00001556: POP
00001557: DUP6
00001558: SWAP5
00001559: POP
0000155a: DUP5
0000155b: SWAP4
0000155c: POP
0000155d: DUP4
0000155e: SWAP3
0000155f: POP
00001560: DUP3
00001561: SWAP2
00001562: POP
00001563: JUMPDEST
00001564: POP
00001565: SWAP4
00001566: SWAP8
00001567: POP
00001568: SWAP4
00001569: SWAP8
0000156a: SWAP2
0000156b: SWAP6
0000156c: POP
0000156d: SWAP4
0000156e: POP
0000156f: JUMP
00001570: JUMPDEST
00001571: PUSH1 0x13
00001573: SLOAD
00001574: PUSH1 0x01
00001576: SWAP8
00001577: POP
00001578: DUP11
00001579: SWAP7
0000157a: POP
0000157b: DUP10
0000157c: SWAP6
0000157d: POP
0000157e: DUP2
0000157f: DUP10
00001580: SUB
00001581: SWAP5
00001582: POP
00001583: PUSH1 0x01
00001585: PUSH1 0xa0
00001587: PUSH1 0x02
00001589: EXP
0000158a: SUB
0000158b: AND
0000158c: SWAP3
0000158d: POP
0000158e: SWAP1
0000158f: POP
00001590: DUP1
00001591: PUSH2 0x1563
00001594: JUMP
00001595: JUMPDEST
00001596: PUSH1 0x00
00001598: SWAP3
00001599: POP
0000159a: JUMPDEST
0000159b: POP
0000159c: POP
0000159d: SWAP2
0000159e: SWAP1
0000159f: POP
000015a0: JUMP
000015a1: JUMPDEST
000015a2: PUSH1 0x0d
000015a4: SLOAD
000015a5: PUSH1 0x01
000015a7: PUSH1 0xa0
000015a9: PUSH1 0x02
000015ab: EXP
000015ac: SUB
000015ad: SWAP1
000015ae: DUP2
000015af: AND
000015b0: CALLER
000015b1: SWAP1
000015b2: SWAP2
000015b3: AND
000015b4: EQ
000015b5: ISZERO
000015b6: PUSH2 0x15ec
000015b9: JUMPI
000015ba: PUSH1 0x01
000015bc: PUSH1 0xa0
000015be: PUSH1 0x02
000015c0: EXP
000015c1: SUB
000015c2: DUP4
000015c3: AND
000015c4: PUSH1 0x00
000015c6: SWAP1
000015c7: DUP2
000015c8: MSTORE
000015c9: PUSH1 0x08
000015cb: PUSH1 0x20
000015cd: MSTORE
000015ce: PUSH1 0x40
000015d0: SWAP1
000015d1: KECCAK256
000015d2: DUP1
000015d3: SLOAD
000015d4: DUP4
000015d5: SWAP1
000015d6: SUB
000015d7: SWAP1
000015d8: SSTORE
000015d9: PUSH2 0x15e4
000015dc: DUP4
000015dd: DUP4
000015de: PUSH1 0x02
000015e0: PUSH2 0x1369
000015e3: JUMP
000015e4: JUMPDEST
000015e5: POP
000015e6: PUSH1 0x01
000015e8: PUSH2 0x033b
000015eb: JUMP
000015ec: JUMPDEST
000015ed: POP
000015ee: PUSH1 0x00
000015f0: PUSH2 0x033b
000015f3: JUMP
000015f4: JUMPDEST
000015f5: PUSH1 0x00
000015f7: SWAP2
000015f8: POP
000015f9: JUMPDEST
000015fa: POP
000015fb: SWAP6
000015fc: SWAP5
000015fd: POP
000015fe: POP
000015ff: POP
00001600: POP
00001601: POP
00001602: JUMP
00001603: JUMPDEST
00001604: PUSH1 0x01
00001606: SWAP2
00001607: POP
00001608: PUSH2 0x15f9
0000160b: JUMP
0000160c: JUMPDEST
0000160d: PUSH1 0x00
0000160f: SWAP2
00001610: POP
00001611: JUMPDEST
00001612: POP
00001613: SWAP3
00001614: SWAP2
00001615: POP
00001616: POP
00001617: JUMP
00001618: JUMPDEST
00001619: PUSH1 0x01
0000161b: SWAP2
0000161c: POP
0000161d: PUSH2 0x1611
00001620: JUMP
00001621: JUMPDEST
00001622: PUSH1 0x0c
00001624: PUSH1 0x00
00001626: SWAP1
00001627: SLOAD
00001628: SWAP1
00001629: PUSH2 0x0100
0000162c: EXP
0000162d: SWAP1
0000162e: DIV
0000162f: PUSH1 0x01
00001631: PUSH1 0xa0
00001633: PUSH1 0x02
00001635: EXP
00001636: SUB
00001637: AND
00001638: PUSH1 0x01
0000163a: PUSH1 0xa0
0000163c: PUSH1 0x02
0000163e: EXP
0000163f: SUB
00001640: AND
00001641: PUSH4 0x7f4da132
00001646: PUSH1 0x40
00001648: MLOAD
00001649: DUP2
0000164a: PUSH1 0xe0
0000164c: PUSH1 0x02
0000164e: EXP
0000164f: MUL
00001650: DUP2
00001651: MSTORE
00001652: PUSH1 0x04
00001654: ADD
00001655: DUP1
00001656: SWAP1
00001657: POP
00001658: PUSH1 0x20
0000165a: PUSH1 0x40
0000165c: MLOAD
0000165d: DUP1
0000165e: DUP4
0000165f: SUB
00001660: DUP2
00001661: PUSH1 0x00
00001663: DUP8
00001664: PUSH2 0x61da
00001667: GAS
00001668: SUB
00001669: CALL
0000166a: ISZERO
0000166b: PUSH2 0x0002
0000166e: JUMPI
0000166f: POP
00001670: POP
00001671: PUSH1 0x40
00001673: DUP1
00001674: MLOAD
00001675: MLOAD
00001676: PUSH1 0x01
00001678: PUSH1 0xa0
0000167a: PUSH1 0x02
0000167c: EXP
0000167d: SUB
0000167e: DUP14
0000167f: AND
00001680: PUSH1 0x00
00001682: SWAP1
00001683: DUP2
00001684: MSTORE
00001685: PUSH1 0x08
00001687: PUSH1 0x20
00001689: MSTORE
0000168a: SWAP2
0000168b: SWAP1
0000168c: SWAP2
0000168d: KECCAK256
0000168e: SLOAD
0000168f: SWAP1
00001690: SWAP3
00001691: POP
00001692: DUP10
00001693: SWAP1
00001694: LT
00001695: DUP1
00001696: ISZERO
00001697: SWAP2
00001698: POP
00001699: PUSH2 0x16b6
0000169c: JUMPI
0000169d: POP
0000169e: PUSH1 0x01
000016a0: PUSH1 0xa0
000016a2: PUSH1 0x02
000016a4: EXP
000016a5: SUB
000016a6: DUP10
000016a7: AND
000016a8: PUSH1 0x00
000016aa: SWAP1
000016ab: DUP2
000016ac: MSTORE
000016ad: PUSH1 0x40
000016af: SWAP1
000016b0: KECCAK256
000016b1: SLOAD
000016b2: DUP9
000016b3: DUP2
000016b4: ADD
000016b5: GT
000016b6: JUMPDEST
000016b7: DUP1
000016b8: ISZERO
000016b9: PUSH2 0x16c1
000016bc: JUMPI
000016bd: POP
000016be: DUP1
000016bf: DUP9
000016c0: GT
000016c1: JUMPDEST
000016c2: DUP1
000016c3: ISZERO
000016c4: PUSH2 0x16d0
000016c7: JUMPI
000016c8: POP
000016c9: PUSH1 0x06
000016cb: SLOAD
000016cc: PUSH1 0xff
000016ce: AND
000016cf: ISZERO
000016d0: JUMPDEST
000016d1: DUP1
000016d2: ISZERO
000016d3: PUSH2 0x16f5
000016d6: JUMPI
000016d7: POP
000016d8: PUSH1 0x01
000016da: PUSH1 0xa0
000016dc: PUSH1 0x02
000016de: EXP
000016df: SUB
000016e0: DUP11
000016e1: AND
000016e2: PUSH1 0x00
000016e4: SWAP1
000016e5: DUP2
000016e6: MSTORE
000016e7: PUSH1 0x0a
000016e9: PUSH1 0x20
000016eb: MSTORE
000016ec: PUSH1 0x40
000016ee: SWAP1
000016ef: KECCAK256
000016f0: SLOAD
000016f1: NUMBER
000016f2: SWAP1
000016f3: GT
000016f4: ISZERO
000016f5: JUMPDEST
000016f6: ISZERO
000016f7: PUSH2 0x173f
000016fa: JUMPI
000016fb: PUSH1 0x01
000016fd: PUSH1 0xa0
000016ff: PUSH1 0x02
00001701: EXP
00001702: SUB
00001703: DUP11
00001704: DUP2
00001705: AND
00001706: PUSH1 0x00
00001708: SWAP1
00001709: DUP2
0000170a: MSTORE
0000170b: PUSH1 0x09
0000170d: PUSH1 0x20
0000170f: SWAP1
00001710: DUP2
00001711: MSTORE
00001712: PUSH1 0x40
00001714: DUP1
00001715: DUP4
00001716: KECCAK256
00001717: SWAP4
00001718: DUP16
00001719: AND
0000171a: DUP4
0000171b: MSTORE
0000171c: SWAP3
0000171d: SWAP1
0000171e: MSTORE
0000171f: KECCAK256
00001720: SLOAD
00001721: DUP9
00001722: GT
00001723: ISZERO
00001724: PUSH2 0x1761
00001727: JUMPI
00001728: PUSH1 0x00
0000172a: SWAP7
0000172b: POP
0000172c: DUP7
0000172d: SWAP6
0000172e: POP
0000172f: DUP6
00001730: SWAP5
00001731: POP
00001732: DUP5
00001733: SWAP4
00001734: POP
00001735: DUP4
00001736: SWAP3
00001737: POP
00001738: DUP3
00001739: SWAP2
0000173a: POP
0000173b: PUSH2 0x1753
0000173e: JUMP
0000173f: JUMPDEST
00001740: PUSH1 0x00
00001742: SWAP7
00001743: POP
00001744: DUP7
00001745: SWAP6
00001746: POP
00001747: DUP6
00001748: SWAP5
00001749: POP
0000174a: DUP5
0000174b: SWAP4
0000174c: POP
0000174d: DUP4
0000174e: SWAP3
0000174f: POP
00001750: DUP3
00001751: SWAP2
00001752: POP
00001753: JUMPDEST
00001754: POP
00001755: SWAP5
00001756: SWAP10
00001757: SWAP4
00001758: SWAP9
00001759: POP
0000175a: SWAP5
0000175b: POP
0000175c: SWAP5
0000175d: POP
0000175e: SWAP5
0000175f: POP
00001760: JUMP
00001761: JUMPDEST
00001762: PUSH1 0x01
00001764: PUSH1 0xa0
00001766: PUSH1 0x02
00001768: EXP
00001769: SUB
0000176a: DUP11
0000176b: DUP2
0000176c: AND
0000176d: PUSH1 0x00
0000176f: DUP2
00001770: DUP2
00001771: MSTORE
00001772: PUSH1 0x08
00001774: PUSH1 0x20
00001776: SWAP1
00001777: DUP2
00001778: MSTORE
00001779: PUSH1 0x40
0000177b: DUP1
0000177c: DUP4
0000177d: KECCAK256
0000177e: DUP1
0000177f: SLOAD
00001780: DUP15
00001781: SWAP1
00001782: SUB
00001783: SWAP1
00001784: SSTORE
00001785: SWAP4
00001786: DUP14
00001787: AND
00001788: DUP1
00001789: DUP4
0000178a: MSTORE
0000178b: SWAP2
0000178c: DUP5
0000178d: SWAP1
0000178e: KECCAK256
0000178f: DUP1
00001790: SLOAD
00001791: DUP7
00001792: DUP15
00001793: SUB
00001794: SWAP1
00001795: DUP2
00001796: ADD
00001797: SWAP1
00001798: SWAP2
00001799: SSTORE
0000179a: DUP5
0000179b: MLOAD
0000179c: SWAP1
0000179d: DUP2
0000179e: MSTORE
0000179f: SWAP4
000017a0: MLOAD
000017a1: SWAP2
000017a2: SWAP4
000017a3: PUSH1 0x00
000017a5: DUP1
000017a6: MLOAD
000017a7: PUSH1 0x20
000017a9: PUSH2 0x1876
000017ac: DUP4
000017ad: CODECOPY
000017ae: DUP2
000017af: MLOAD
000017b0: SWAP2
000017b1: MSTORE
000017b2: SWAP3
000017b3: SWAP1
000017b4: DUP2
000017b5: SWAP1
000017b6: SUB
000017b7: SWAP1
000017b8: SWAP2
000017b9: ADD
000017ba: SWAP1
000017bb: LOG3
000017bc: PUSH2 0x17c7
000017bf: DUP11
000017c0: DUP3
000017c1: PUSH1 0x00
000017c3: PUSH2 0x1369
000017c6: JUMP
000017c7: JUMPDEST
000017c8: PUSH1 0x01
000017ca: PUSH1 0xa0
000017cc: PUSH1 0x02
000017ce: EXP
000017cf: SUB
000017d0: DUP11
000017d1: DUP2
000017d2: AND
000017d3: PUSH1 0x00
000017d5: SWAP1
000017d6: DUP2
000017d7: MSTORE
000017d8: PUSH1 0x09
000017da: PUSH1 0x20
000017dc: SWAP1
000017dd: DUP2
000017de: MSTORE
000017df: PUSH1 0x40
000017e1: DUP1
000017e2: DUP4
000017e3: KECCAK256
000017e4: DUP16
000017e5: DUP6
000017e6: AND
000017e7: DUP5
000017e8: MSTORE
000017e9: SWAP1
000017ea: SWAP2
000017eb: MSTORE
000017ec: SWAP1
000017ed: KECCAK256
000017ee: DUP1
000017ef: SLOAD
000017f0: DUP11
000017f1: SWAP1
000017f2: SUB
000017f3: SWAP1
000017f4: SSTORE
000017f5: PUSH1 0x13
000017f7: SLOAD
000017f8: PUSH1 0x01
000017fa: SWAP9
000017fb: POP
000017fc: DUP12
000017fd: SWAP8
000017fe: POP
000017ff: DUP11
00001800: SWAP7
00001801: POP
00001802: DUP3
00001803: DUP11
00001804: SUB
00001805: SWAP6
00001806: POP
00001807: AND
00001808: SWAP3
00001809: POP
0000180a: SWAP1
0000180b: POP
0000180c: DUP1
0000180d: PUSH2 0x1753
00001810: JUMP
00001811: JUMPDEST
00001812: PUSH1 0x01
00001814: PUSH1 0xa0
00001816: PUSH1 0x02
00001818: EXP
00001819: SUB
0000181a: DUP5
0000181b: DUP2
0000181c: AND
0000181d: PUSH1 0x00
0000181f: DUP2
00001820: DUP2
00001821: MSTORE
00001822: PUSH1 0x09
00001824: PUSH1 0x20
00001826: SWAP1
00001827: DUP2
00001828: MSTORE
00001829: PUSH1 0x40
0000182b: DUP1
0000182c: DUP4
0000182d: KECCAK256
0000182e: SWAP5
0000182f: DUP9
00001830: AND
00001831: DUP1
00001832: DUP5
00001833: MSTORE
00001834: SWAP5
00001835: DUP3
00001836: MSTORE
00001837: SWAP2
00001838: DUP3
00001839: SWAP1
0000183a: KECCAK256
0000183b: DUP7
0000183c: SWAP1
0000183d: SSTORE
0000183e: DUP2
0000183f: MLOAD
00001840: DUP7
00001841: DUP2
00001842: MSTORE
00001843: SWAP2
00001844: MLOAD
00001845: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001866: SWAP3
00001867: DUP2
00001868: SWAP1
00001869: SUB
0000186a: SWAP1
0000186b: SWAP2
0000186c: ADD
0000186d: SWAP1
0000186e: LOG3
0000186f: POP
00001870: PUSH1 0x01
00001872: PUSH2 0x10b2
00001875: JUMP
00001876: UNKNOWN(0xDD)
00001877: CALLCODE
00001878: MSTORE
00001879: UNKNOWN(0xAD)
0000187a: SHL
0000187b: UNKNOWN(0xE2)
0000187c: UNKNOWN(0xC8)
0000187d: SWAP12
0000187e: PUSH10 0xc2b068fc378daa952ba7
00001889: CALL
0000188a: PUSH4 0xc4a11628
0000188f: CREATE2
00001890: GAS
00001891: UNKNOWN(0x4D)
00001892: CREATE2
00001893: UNKNOWN(0x23)
00001894: UNKNOWN(0xB3)
00001895: UNKNOWN(0xEF)
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0x60ffbfa3783edc93a362a72aa7213064b45b059962b4e25036027c30766132d4
call_targets: 0x4df812f6064def1e5e029f1ca858777cc98d2d81
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x60ffbfa3783edc93a362a72aa7213064b45b059962b4e25036027c30766132d4",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4df812f6064def1e5e029f1ca858777cc98d2d81"
    ],
    "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": "0x03959bb7",
            "selector": "0x03959bb7",
            "calldata_variants": [
                "0x03959bb7",
                "0x03959bb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x058d7433",
            "selector": "0x058d7433",
            "calldata_variants": [
                "0x058d7433",
                "0x058d74330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d668818",
            "selector": "0x0d668818",
            "calldata_variants": [
                "0x0d668818",
                "0x0d6688180000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12819817",
            "selector": "0x12819817",
            "calldata_variants": [
                "0x12819817",
                "0x128198170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1161,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant_zero",
            "target_expression_category": "calldata-derived"
        },
        {
            "pc": 1686,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1945,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 17,
    "guards_detected": [],
    "untrusted_call_count": 14
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x60ffbfa3783edc93a362a72aa7213064b45b059962b4e25036027c30766132d4
call_targets: 0x4df812f6064def1e5e029f1ca858777cc98d2d81
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x60ffbfa3783edc93a362a72aa7213064b45b059962b4e25036027c30766132d4",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4df812f6064def1e5e029f1ca858777cc98d2d81"
    ],
    "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": "0x03959bb7",
            "selector": "0x03959bb7",
            "calldata_variants": [
                "0x03959bb7",
                "0x03959bb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x058d7433",
            "selector": "0x058d7433",
            "calldata_variants": [
                "0x058d7433",
                "0x058d74330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d668818",
            "selector": "0x0d668818",
            "calldata_variants": [
                "0x0d668818",
                "0x0d6688180000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12819817",
            "selector": "0x12819817",
            "calldata_variants": [
                "0x12819817",
                "0x128198170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1686,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1945,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2060,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 12,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xb1a3629904f1b7b20251a919af299e5d1c40e15253e891a62514f538a9fa13dd
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xb1a3629904f1b7b20251a919af299e5d1c40e15253e891a62514f538a9fa13dd",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x03959bb7",
            "selector": "0x03959bb7",
            "calldata_variants": [
                "0x03959bb7",
                "0x03959bb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x058d7433",
            "selector": "0x058d7433",
            "calldata_variants": [
                "0x058d7433",
                "0x058d74330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d668818",
            "selector": "0x0d668818",
            "calldata_variants": [
                "0x0d668818",
                "0x0d6688180000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12819817",
            "selector": "0x12819817",
            "calldata_variants": [
                "0x12819817",
                "0x128198170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}