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

Analysis Run

019b477e-b2f4-70a8-a9c2-561d35364238

complete
Chain ID
1
Address
0xc213539cb2fda6940507f50f40060f5cbbe38e00
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
22455 artifact.fetch complete 1 / 3 4 months ago
22456 tool.cast_disasm complete 1 / 3 4 months ago
65578 analysis.bundle complete 1 / 3 2 weeks ago
65579 capability.graph complete 1 / 3 2 weeks ago
65580 detector.run complete 1 / 3 2 weeks ago
65581 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
2
CALL-family (heavy)
13
EXT*/BALANCE
9
Total opcodes
4832
Flags
create_opcodes_present 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 0x00cf
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x06fdde03
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x01ef
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x095ea7b3
00000046: EQ
00000047: PUSH2 0x0279
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x18160ddd
00000051: EQ
00000052: PUSH2 0x029d
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x23b872dd
0000005c: EQ
0000005d: PUSH2 0x02c4
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x313ce567
00000067: EQ
00000068: PUSH2 0x0302
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x70a08231
00000072: EQ
00000073: PUSH2 0x032d
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x8da5cb5b
0000007d: EQ
0000007e: PUSH2 0x034e
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x95d89b41
00000088: EQ
00000089: PUSH2 0x037f
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xa035b1fe
00000093: EQ
00000094: PUSH2 0x0394
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xa9059cbb
0000009e: EQ
0000009f: PUSH2 0x03a9
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xd21cacdf
000000a9: EQ
000000aa: PUSH2 0x03cd
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xd929bf26
000000b4: EQ
000000b5: PUSH2 0x03ee
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xdd62ed3e
000000bf: EQ
000000c0: PUSH2 0x040f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xf32ca660
000000ca: EQ
000000cb: PUSH2 0x0436
000000ce: JUMPI
000000cf: JUMPDEST
000000d0: PUSH2 0x00d8
000000d3: CALLER
000000d4: PUSH2 0x0457
000000d7: JUMP
000000d8: JUMPDEST
000000d9: ISZERO
000000da: PUSH2 0x00e2
000000dd: JUMPI
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: PUSH7 0x2386f26fc10000
000000eb: CALLVALUE
000000ec: LT
000000ed: ISZERO
000000ee: PUSH2 0x00f6
000000f1: JUMPI
000000f2: PUSH1 0x00
000000f4: DUP1
000000f5: REVERT
000000f6: JUMPDEST
000000f7: PUSH9 0x01a055690d9db80000
00000101: CALLVALUE
00000102: GT
00000103: ISZERO
00000104: PUSH2 0x010c
00000107: JUMPI
00000108: PUSH1 0x00
0000010a: DUP1
0000010b: REVERT
0000010c: JUMPDEST
0000010d: CALLER
0000010e: PUSH20 0xab85cb1087ce716e11dc37c69eaabc09d674575d
00000123: EQ
00000124: PUSH2 0x01a9
00000127: JUMPI
00000128: PUSH1 0x05
0000012a: DUP1
0000012b: SLOAD
0000012c: PUSH1 0x01
0000012e: PUSH1 0xa0
00000130: PUSH1 0x02
00000132: EXP
00000133: SUB
00000134: NOT
00000135: SWAP1
00000136: DUP2
00000137: AND
00000138: SWAP1
00000139: SWAP2
0000013a: SSTORE
0000013b: PUSH1 0x06
0000013d: DUP1
0000013e: SLOAD
0000013f: DUP3
00000140: AND
00000141: SWAP1
00000142: SSTORE
00000143: PUSH1 0x07
00000145: DUP1
00000146: SLOAD
00000147: DUP3
00000148: AND
00000149: SWAP1
0000014a: SSTORE
0000014b: PUSH1 0x08
0000014d: DUP1
0000014e: SLOAD
0000014f: DUP3
00000150: AND
00000151: SWAP1
00000152: SSTORE
00000153: PUSH1 0x09
00000155: DUP1
00000156: SLOAD
00000157: SWAP1
00000158: SWAP2
00000159: AND
0000015a: SWAP1
0000015b: SSTORE
0000015c: CALLER
0000015d: PUSH20 0x28ff20d2d413a346f123198385ccf16e15295351
00000172: EQ
00000173: DUP1
00000174: ISZERO
00000175: SWAP1
00000176: PUSH2 0x018a
00000179: JUMPI
0000017a: POP
0000017b: PUSH1 0x0a
0000017d: SLOAD
0000017e: PUSH1 0x01
00000180: PUSH1 0xa0
00000182: PUSH1 0x02
00000184: EXP
00000185: SUB
00000186: AND
00000187: CALLER
00000188: EQ
00000189: ISZERO
0000018a: JUMPDEST
0000018b: ISZERO
0000018c: PUSH2 0x019c
0000018f: JUMPI
00000190: PUSH2 0x0197
00000193: PUSH2 0x045f
00000196: JUMP
00000197: JUMPDEST
00000198: PUSH2 0x01a4
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH2 0x01a4
000001a0: PUSH2 0x08c9
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH2 0x01ed
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH2 0x01cb
000001ad: PUSH1 0x5a
000001af: PUSH2 0x01bf
000001b2: CALLVALUE
000001b3: PUSH1 0x64
000001b5: PUSH4 0xffffffff
000001ba: PUSH2 0x137f
000001bd: AND
000001be: JUMP
000001bf: JUMPDEST
000001c0: SWAP1
000001c1: PUSH4 0xffffffff
000001c6: PUSH2 0x139b
000001c9: AND
000001ca: JUMP
000001cb: JUMPDEST
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: SLOAD
000001d0: SWAP1
000001d1: SWAP2
000001d2: ADD
000001d3: SWAP1
000001d4: DUP2
000001d5: SWAP1
000001d6: SSTORE
000001d7: PUSH1 0x02
000001d9: SLOAD
000001da: PUSH2 0x01e9
000001dd: SWAP2
000001de: SWAP1
000001df: PUSH4 0xffffffff
000001e4: PUSH2 0x137f
000001e7: AND
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH1 0x01
000001ec: SSTORE
000001ed: JUMPDEST
000001ee: STOP
000001ef: JUMPDEST
000001f0: CALLVALUE
000001f1: DUP1
000001f2: ISZERO
000001f3: PUSH2 0x01fb
000001f6: JUMPI
000001f7: PUSH1 0x00
000001f9: DUP1
000001fa: REVERT
000001fb: JUMPDEST
000001fc: POP
000001fd: PUSH2 0x0204
00000200: PUSH2 0x13cd
00000203: JUMP
00000204: JUMPDEST
00000205: PUSH1 0x40
00000207: DUP1
00000208: MLOAD
00000209: PUSH1 0x20
0000020b: DUP1
0000020c: DUP3
0000020d: MSTORE
0000020e: DUP4
0000020f: MLOAD
00000210: DUP2
00000211: DUP4
00000212: ADD
00000213: MSTORE
00000214: DUP4
00000215: MLOAD
00000216: SWAP2
00000217: SWAP3
00000218: DUP4
00000219: SWAP3
0000021a: SWAP1
0000021b: DUP4
0000021c: ADD
0000021d: SWAP2
0000021e: DUP6
0000021f: ADD
00000220: SWAP1
00000221: DUP1
00000222: DUP4
00000223: DUP4
00000224: PUSH1 0x00
00000226: JUMPDEST
00000227: DUP4
00000228: DUP2
00000229: LT
0000022a: ISZERO
0000022b: PUSH2 0x023e
0000022e: JUMPI
0000022f: DUP2
00000230: DUP2
00000231: ADD
00000232: MLOAD
00000233: DUP4
00000234: DUP3
00000235: ADD
00000236: MSTORE
00000237: PUSH1 0x20
00000239: ADD
0000023a: PUSH2 0x0226
0000023d: JUMP
0000023e: JUMPDEST
0000023f: POP
00000240: POP
00000241: POP
00000242: POP
00000243: SWAP1
00000244: POP
00000245: SWAP1
00000246: DUP2
00000247: ADD
00000248: SWAP1
00000249: PUSH1 0x1f
0000024b: AND
0000024c: DUP1
0000024d: ISZERO
0000024e: PUSH2 0x026b
00000251: JUMPI
00000252: DUP1
00000253: DUP3
00000254: SUB
00000255: DUP1
00000256: MLOAD
00000257: PUSH1 0x01
00000259: DUP4
0000025a: PUSH1 0x20
0000025c: SUB
0000025d: PUSH2 0x0100
00000260: EXP
00000261: SUB
00000262: NOT
00000263: AND
00000264: DUP2
00000265: MSTORE
00000266: PUSH1 0x20
00000268: ADD
00000269: SWAP2
0000026a: POP
0000026b: JUMPDEST
0000026c: POP
0000026d: SWAP3
0000026e: POP
0000026f: POP
00000270: POP
00000271: PUSH1 0x40
00000273: MLOAD
00000274: DUP1
00000275: SWAP2
00000276: SUB
00000277: SWAP1
00000278: RETURN
00000279: JUMPDEST
0000027a: CALLVALUE
0000027b: DUP1
0000027c: ISZERO
0000027d: PUSH2 0x0285
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: POP
00000287: PUSH2 0x01ed
0000028a: PUSH1 0x01
0000028c: PUSH1 0xa0
0000028e: PUSH1 0x02
00000290: EXP
00000291: SUB
00000292: PUSH1 0x04
00000294: CALLDATALOAD
00000295: AND
00000296: PUSH1 0x24
00000298: CALLDATALOAD
00000299: PUSH2 0x1404
0000029c: JUMP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x02b2
000002ae: PUSH2 0x1466
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH1 0x40
000002b5: DUP1
000002b6: MLOAD
000002b7: SWAP2
000002b8: DUP3
000002b9: MSTORE
000002ba: MLOAD
000002bb: SWAP1
000002bc: DUP2
000002bd: SWAP1
000002be: SUB
000002bf: PUSH1 0x20
000002c1: ADD
000002c2: SWAP1
000002c3: RETURN
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x02ee
000002d5: PUSH1 0x01
000002d7: PUSH1 0xa0
000002d9: PUSH1 0x02
000002db: EXP
000002dc: SUB
000002dd: PUSH1 0x04
000002df: CALLDATALOAD
000002e0: DUP2
000002e1: AND
000002e2: SWAP1
000002e3: PUSH1 0x24
000002e5: CALLDATALOAD
000002e6: AND
000002e7: PUSH1 0x44
000002e9: CALLDATALOAD
000002ea: PUSH2 0x146c
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x40
000002f1: DUP1
000002f2: MLOAD
000002f3: SWAP2
000002f4: ISZERO
000002f5: ISZERO
000002f6: DUP3
000002f7: MSTORE
000002f8: MLOAD
000002f9: SWAP1
000002fa: DUP2
000002fb: SWAP1
000002fc: SUB
000002fd: PUSH1 0x20
000002ff: ADD
00000300: SWAP1
00000301: RETURN
00000302: JUMPDEST
00000303: CALLVALUE
00000304: DUP1
00000305: ISZERO
00000306: PUSH2 0x030e
00000309: JUMPI
0000030a: PUSH1 0x00
0000030c: DUP1
0000030d: REVERT
0000030e: JUMPDEST
0000030f: POP
00000310: PUSH2 0x0317
00000313: PUSH2 0x1812
00000316: JUMP
00000317: JUMPDEST
00000318: PUSH1 0x40
0000031a: DUP1
0000031b: MLOAD
0000031c: PUSH1 0xff
0000031e: SWAP1
0000031f: SWAP3
00000320: AND
00000321: DUP3
00000322: MSTORE
00000323: MLOAD
00000324: SWAP1
00000325: DUP2
00000326: SWAP1
00000327: SUB
00000328: PUSH1 0x20
0000032a: ADD
0000032b: SWAP1
0000032c: RETURN
0000032d: JUMPDEST
0000032e: CALLVALUE
0000032f: DUP1
00000330: ISZERO
00000331: PUSH2 0x0339
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: POP
0000033b: PUSH2 0x02b2
0000033e: PUSH1 0x01
00000340: PUSH1 0xa0
00000342: PUSH1 0x02
00000344: EXP
00000345: SUB
00000346: PUSH1 0x04
00000348: CALLDATALOAD
00000349: AND
0000034a: PUSH2 0x1817
0000034d: JUMP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: DUP1
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: POP
0000035c: PUSH2 0x0363
0000035f: PUSH2 0x1832
00000362: JUMP
00000363: JUMPDEST
00000364: PUSH1 0x40
00000366: DUP1
00000367: MLOAD
00000368: PUSH1 0x01
0000036a: PUSH1 0xa0
0000036c: PUSH1 0x02
0000036e: EXP
0000036f: SUB
00000370: SWAP1
00000371: SWAP3
00000372: AND
00000373: DUP3
00000374: MSTORE
00000375: MLOAD
00000376: SWAP1
00000377: DUP2
00000378: SWAP1
00000379: SUB
0000037a: PUSH1 0x20
0000037c: ADD
0000037d: SWAP1
0000037e: RETURN
0000037f: JUMPDEST
00000380: CALLVALUE
00000381: DUP1
00000382: ISZERO
00000383: PUSH2 0x038b
00000386: JUMPI
00000387: PUSH1 0x00
00000389: DUP1
0000038a: REVERT
0000038b: JUMPDEST
0000038c: POP
0000038d: PUSH2 0x0204
00000390: PUSH2 0x1841
00000393: JUMP
00000394: JUMPDEST
00000395: CALLVALUE
00000396: DUP1
00000397: ISZERO
00000398: PUSH2 0x03a0
0000039b: JUMPI
0000039c: PUSH1 0x00
0000039e: DUP1
0000039f: REVERT
000003a0: JUMPDEST
000003a1: POP
000003a2: PUSH2 0x02b2
000003a5: PUSH2 0x1878
000003a8: JUMP
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: DUP1
000003ac: ISZERO
000003ad: PUSH2 0x03b5
000003b0: JUMPI
000003b1: PUSH1 0x00
000003b3: DUP1
000003b4: REVERT
000003b5: JUMPDEST
000003b6: POP
000003b7: PUSH2 0x02ee
000003ba: PUSH1 0x01
000003bc: PUSH1 0xa0
000003be: PUSH1 0x02
000003c0: EXP
000003c1: SUB
000003c2: PUSH1 0x04
000003c4: CALLDATALOAD
000003c5: AND
000003c6: PUSH1 0x24
000003c8: CALLDATALOAD
000003c9: PUSH2 0x187e
000003cc: JUMP
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: DUP1
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: POP
000003db: PUSH2 0x0363
000003de: PUSH1 0x01
000003e0: PUSH1 0xa0
000003e2: PUSH1 0x02
000003e4: EXP
000003e5: SUB
000003e6: PUSH1 0x04
000003e8: CALLDATALOAD
000003e9: AND
000003ea: PUSH2 0x1b55
000003ed: JUMP
000003ee: JUMPDEST
000003ef: CALLVALUE
000003f0: DUP1
000003f1: ISZERO
000003f2: PUSH2 0x03fa
000003f5: JUMPI
000003f6: PUSH1 0x00
000003f8: DUP1
000003f9: REVERT
000003fa: JUMPDEST
000003fb: POP
000003fc: PUSH2 0x02b2
000003ff: PUSH1 0x01
00000401: PUSH1 0xa0
00000403: PUSH1 0x02
00000405: EXP
00000406: SUB
00000407: PUSH1 0x04
00000409: CALLDATALOAD
0000040a: AND
0000040b: PUSH2 0x1b70
0000040e: JUMP
0000040f: JUMPDEST
00000410: CALLVALUE
00000411: DUP1
00000412: ISZERO
00000413: PUSH2 0x041b
00000416: JUMPI
00000417: PUSH1 0x00
00000419: DUP1
0000041a: REVERT
0000041b: JUMPDEST
0000041c: POP
0000041d: PUSH2 0x02b2
00000420: PUSH1 0x01
00000422: PUSH1 0xa0
00000424: PUSH1 0x02
00000426: EXP
00000427: SUB
00000428: PUSH1 0x04
0000042a: CALLDATALOAD
0000042b: DUP2
0000042c: AND
0000042d: SWAP1
0000042e: PUSH1 0x24
00000430: CALLDATALOAD
00000431: AND
00000432: PUSH2 0x1b82
00000435: JUMP
00000436: JUMPDEST
00000437: CALLVALUE
00000438: DUP1
00000439: ISZERO
0000043a: PUSH2 0x0442
0000043d: JUMPI
0000043e: PUSH1 0x00
00000440: DUP1
00000441: REVERT
00000442: JUMPDEST
00000443: POP
00000444: PUSH2 0x02b2
00000447: PUSH1 0x01
00000449: PUSH1 0xa0
0000044b: PUSH1 0x02
0000044d: EXP
0000044e: SUB
0000044f: PUSH1 0x04
00000451: CALLDATALOAD
00000452: AND
00000453: PUSH2 0x1bad
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x00
0000045a: SWAP1
0000045b: EXTCODESIZE
0000045c: GT
0000045d: SWAP1
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH9 0x015af1d78b58c40000
0000046a: CALLVALUE
0000046b: LT
0000046c: ISZERO
0000046d: DUP1
0000046e: ISZERO
0000046f: PUSH2 0x0487
00000472: JUMPI
00000473: POP
00000474: CALLER
00000475: PUSH1 0x00
00000477: SWAP1
00000478: DUP2
00000479: MSTORE
0000047a: PUSH1 0x0c
0000047c: PUSH1 0x20
0000047e: MSTORE
0000047f: PUSH1 0x40
00000481: SWAP1
00000482: KECCAK256
00000483: SLOAD
00000484: PUSH1 0x06
00000486: GT
00000487: JUMPDEST
00000488: ISZERO
00000489: PUSH2 0x04a0
0000048c: JUMPI
0000048d: CALLER
0000048e: PUSH1 0x00
00000490: SWAP1
00000491: DUP2
00000492: MSTORE
00000493: PUSH1 0x0c
00000495: PUSH1 0x20
00000497: MSTORE
00000498: PUSH1 0x40
0000049a: SWAP1
0000049b: KECCAK256
0000049c: PUSH1 0x06
0000049e: SWAP1
0000049f: SSTORE
000004a0: JUMPDEST
000004a1: PUSH9 0x01158e460913d00000
000004ab: CALLVALUE
000004ac: LT
000004ad: ISZERO
000004ae: DUP1
000004af: ISZERO
000004b0: PUSH2 0x04c8
000004b3: JUMPI
000004b4: POP
000004b5: CALLER
000004b6: PUSH1 0x00
000004b8: SWAP1
000004b9: DUP2
000004ba: MSTORE
000004bb: PUSH1 0x0c
000004bd: PUSH1 0x20
000004bf: MSTORE
000004c0: PUSH1 0x40
000004c2: SWAP1
000004c3: KECCAK256
000004c4: SLOAD
000004c5: PUSH1 0x05
000004c7: GT
000004c8: JUMPDEST
000004c9: ISZERO
000004ca: PUSH2 0x04e1
000004cd: JUMPI
000004ce: CALLER
000004cf: PUSH1 0x00
000004d1: SWAP1
000004d2: DUP2
000004d3: MSTORE
000004d4: PUSH1 0x0c
000004d6: PUSH1 0x20
000004d8: MSTORE
000004d9: PUSH1 0x40
000004db: SWAP1
000004dc: KECCAK256
000004dd: PUSH1 0x05
000004df: SWAP1
000004e0: SSTORE
000004e1: JUMPDEST
000004e2: PUSH8 0xd02ab486cedc0000
000004eb: CALLVALUE
000004ec: LT
000004ed: ISZERO
000004ee: DUP1
000004ef: ISZERO
000004f0: PUSH2 0x0508
000004f3: JUMPI
000004f4: POP
000004f5: CALLER
000004f6: PUSH1 0x00
000004f8: SWAP1
000004f9: DUP2
000004fa: MSTORE
000004fb: PUSH1 0x0c
000004fd: PUSH1 0x20
000004ff: MSTORE
00000500: PUSH1 0x40
00000502: SWAP1
00000503: KECCAK256
00000504: SLOAD
00000505: PUSH1 0x04
00000507: GT
00000508: JUMPDEST
00000509: ISZERO
0000050a: PUSH2 0x0521
0000050d: JUMPI
0000050e: CALLER
0000050f: PUSH1 0x00
00000511: SWAP1
00000512: DUP2
00000513: MSTORE
00000514: PUSH1 0x0c
00000516: PUSH1 0x20
00000518: MSTORE
00000519: PUSH1 0x40
0000051b: SWAP1
0000051c: KECCAK256
0000051d: PUSH1 0x04
0000051f: SWAP1
00000520: SSTORE
00000521: JUMPDEST
00000522: PUSH8 0x8ac7230489e80000
0000052b: CALLVALUE
0000052c: LT
0000052d: ISZERO
0000052e: DUP1
0000052f: ISZERO
00000530: PUSH2 0x0548
00000533: JUMPI
00000534: POP
00000535: CALLER
00000536: PUSH1 0x00
00000538: SWAP1
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x0c
0000053d: PUSH1 0x20
0000053f: MSTORE
00000540: PUSH1 0x40
00000542: SWAP1
00000543: KECCAK256
00000544: SLOAD
00000545: PUSH1 0x03
00000547: GT
00000548: JUMPDEST
00000549: ISZERO
0000054a: PUSH2 0x0561
0000054d: JUMPI
0000054e: CALLER
0000054f: PUSH1 0x00
00000551: SWAP1
00000552: DUP2
00000553: MSTORE
00000554: PUSH1 0x0c
00000556: PUSH1 0x20
00000558: MSTORE
00000559: PUSH1 0x40
0000055b: SWAP1
0000055c: KECCAK256
0000055d: PUSH1 0x03
0000055f: SWAP1
00000560: SSTORE
00000561: JUMPDEST
00000562: PUSH8 0x4563918244f40000
0000056b: CALLVALUE
0000056c: LT
0000056d: ISZERO
0000056e: DUP1
0000056f: ISZERO
00000570: PUSH2 0x0588
00000573: JUMPI
00000574: POP
00000575: CALLER
00000576: PUSH1 0x00
00000578: SWAP1
00000579: DUP2
0000057a: MSTORE
0000057b: PUSH1 0x0c
0000057d: PUSH1 0x20
0000057f: MSTORE
00000580: PUSH1 0x40
00000582: SWAP1
00000583: KECCAK256
00000584: SLOAD
00000585: PUSH1 0x02
00000587: GT
00000588: JUMPDEST
00000589: ISZERO
0000058a: PUSH2 0x05a1
0000058d: JUMPI
0000058e: CALLER
0000058f: PUSH1 0x00
00000591: SWAP1
00000592: DUP2
00000593: MSTORE
00000594: PUSH1 0x0c
00000596: PUSH1 0x20
00000598: MSTORE
00000599: PUSH1 0x40
0000059b: SWAP1
0000059c: KECCAK256
0000059d: PUSH1 0x02
0000059f: SWAP1
000005a0: SSTORE
000005a1: JUMPDEST
000005a2: PUSH8 0x016345785d8a0000
000005ab: CALLVALUE
000005ac: LT
000005ad: ISZERO
000005ae: DUP1
000005af: ISZERO
000005b0: PUSH2 0x05c8
000005b3: JUMPI
000005b4: POP
000005b5: CALLER
000005b6: PUSH1 0x00
000005b8: SWAP1
000005b9: DUP2
000005ba: MSTORE
000005bb: PUSH1 0x0c
000005bd: PUSH1 0x20
000005bf: MSTORE
000005c0: PUSH1 0x40
000005c2: SWAP1
000005c3: KECCAK256
000005c4: SLOAD
000005c5: PUSH1 0x01
000005c7: GT
000005c8: JUMPDEST
000005c9: ISZERO
000005ca: PUSH2 0x05e1
000005cd: JUMPI
000005ce: CALLER
000005cf: PUSH1 0x00
000005d1: SWAP1
000005d2: DUP2
000005d3: MSTORE
000005d4: PUSH1 0x0c
000005d6: PUSH1 0x20
000005d8: MSTORE
000005d9: PUSH1 0x40
000005db: SWAP1
000005dc: KECCAK256
000005dd: PUSH1 0x01
000005df: SWAP1
000005e0: SSTORE
000005e1: JUMPDEST
000005e2: CALLER
000005e3: PUSH1 0x00
000005e5: SWAP1
000005e6: DUP2
000005e7: MSTORE
000005e8: PUSH1 0x0d
000005ea: PUSH1 0x20
000005ec: MSTORE
000005ed: PUSH1 0x40
000005ef: SWAP1
000005f0: KECCAK256
000005f1: SLOAD
000005f2: PUSH9 0x0d8d726b7177a80000
000005fc: GT
000005fd: DUP1
000005fe: ISZERO
000005ff: SWAP1
00000600: PUSH2 0x0618
00000603: JUMPI
00000604: POP
00000605: CALLER
00000606: PUSH1 0x00
00000608: SWAP1
00000609: DUP2
0000060a: MSTORE
0000060b: PUSH1 0x0c
0000060d: PUSH1 0x20
0000060f: MSTORE
00000610: PUSH1 0x40
00000612: SWAP1
00000613: KECCAK256
00000614: SLOAD
00000615: PUSH1 0x06
00000617: GT
00000618: JUMPDEST
00000619: ISZERO
0000061a: PUSH2 0x0631
0000061d: JUMPI
0000061e: CALLER
0000061f: PUSH1 0x00
00000621: SWAP1
00000622: DUP2
00000623: MSTORE
00000624: PUSH1 0x0c
00000626: PUSH1 0x20
00000628: MSTORE
00000629: PUSH1 0x40
0000062b: SWAP1
0000062c: KECCAK256
0000062d: PUSH1 0x06
0000062f: SWAP1
00000630: SSTORE
00000631: JUMPDEST
00000632: CALLER
00000633: PUSH1 0x00
00000635: SWAP1
00000636: DUP2
00000637: MSTORE
00000638: PUSH1 0x0d
0000063a: PUSH1 0x20
0000063c: MSTORE
0000063d: PUSH1 0x40
0000063f: SWAP1
00000640: KECCAK256
00000641: SLOAD
00000642: PUSH9 0x0ad78ebc5ac6200000
0000064c: GT
0000064d: DUP1
0000064e: ISZERO
0000064f: SWAP1
00000650: PUSH2 0x0668
00000653: JUMPI
00000654: POP
00000655: CALLER
00000656: PUSH1 0x00
00000658: SWAP1
00000659: DUP2
0000065a: MSTORE
0000065b: PUSH1 0x0c
0000065d: PUSH1 0x20
0000065f: MSTORE
00000660: PUSH1 0x40
00000662: SWAP1
00000663: KECCAK256
00000664: SLOAD
00000665: PUSH1 0x05
00000667: GT
00000668: JUMPDEST
00000669: ISZERO
0000066a: PUSH2 0x0681
0000066d: JUMPI
0000066e: CALLER
0000066f: PUSH1 0x00
00000671: SWAP1
00000672: DUP2
00000673: MSTORE
00000674: PUSH1 0x0c
00000676: PUSH1 0x20
00000678: MSTORE
00000679: PUSH1 0x40
0000067b: SWAP1
0000067c: KECCAK256
0000067d: PUSH1 0x05
0000067f: SWAP1
00000680: SSTORE
00000681: JUMPDEST
00000682: CALLER
00000683: PUSH1 0x00
00000685: SWAP1
00000686: DUP2
00000687: MSTORE
00000688: PUSH1 0x0d
0000068a: PUSH1 0x20
0000068c: MSTORE
0000068d: PUSH1 0x40
0000068f: SWAP1
00000690: KECCAK256
00000691: SLOAD
00000692: PUSH9 0x0821ab0d4414980000
0000069c: GT
0000069d: DUP1
0000069e: ISZERO
0000069f: SWAP1
000006a0: PUSH2 0x06b8
000006a3: JUMPI
000006a4: POP
000006a5: CALLER
000006a6: PUSH1 0x00
000006a8: SWAP1
000006a9: DUP2
000006aa: MSTORE
000006ab: PUSH1 0x0c
000006ad: PUSH1 0x20
000006af: MSTORE
000006b0: PUSH1 0x40
000006b2: SWAP1
000006b3: KECCAK256
000006b4: SLOAD
000006b5: PUSH1 0x04
000006b7: GT
000006b8: JUMPDEST
000006b9: ISZERO
000006ba: PUSH2 0x06d1
000006bd: JUMPI
000006be: CALLER
000006bf: PUSH1 0x00
000006c1: SWAP1
000006c2: DUP2
000006c3: MSTORE
000006c4: PUSH1 0x0c
000006c6: PUSH1 0x20
000006c8: MSTORE
000006c9: PUSH1 0x40
000006cb: SWAP1
000006cc: KECCAK256
000006cd: PUSH1 0x04
000006cf: SWAP1
000006d0: SSTORE
000006d1: JUMPDEST
000006d2: CALLER
000006d3: PUSH1 0x00
000006d5: SWAP1
000006d6: DUP2
000006d7: MSTORE
000006d8: PUSH1 0x0d
000006da: PUSH1 0x20
000006dc: MSTORE
000006dd: PUSH1 0x40
000006df: SWAP1
000006e0: KECCAK256
000006e1: SLOAD
000006e2: PUSH9 0x056bc75e2d63100000
000006ec: GT
000006ed: DUP1
000006ee: ISZERO
000006ef: SWAP1
000006f0: PUSH2 0x0708
000006f3: JUMPI
000006f4: POP
000006f5: CALLER
000006f6: PUSH1 0x00
000006f8: SWAP1
000006f9: DUP2
000006fa: MSTORE
000006fb: PUSH1 0x0c
000006fd: PUSH1 0x20
000006ff: MSTORE
00000700: PUSH1 0x40
00000702: SWAP1
00000703: KECCAK256
00000704: SLOAD
00000705: PUSH1 0x03
00000707: GT
00000708: JUMPDEST
00000709: ISZERO
0000070a: PUSH2 0x0721
0000070d: JUMPI
0000070e: CALLER
0000070f: PUSH1 0x00
00000711: SWAP1
00000712: DUP2
00000713: MSTORE
00000714: PUSH1 0x0c
00000716: PUSH1 0x20
00000718: MSTORE
00000719: PUSH1 0x40
0000071b: SWAP1
0000071c: KECCAK256
0000071d: PUSH1 0x03
0000071f: SWAP1
00000720: SSTORE
00000721: JUMPDEST
00000722: CALLER
00000723: PUSH1 0x00
00000725: SWAP1
00000726: DUP2
00000727: MSTORE
00000728: PUSH1 0x0d
0000072a: PUSH1 0x20
0000072c: MSTORE
0000072d: PUSH1 0x40
0000072f: SWAP1
00000730: KECCAK256
00000731: SLOAD
00000732: PUSH9 0x02b5e3af16b1880000
0000073c: GT
0000073d: DUP1
0000073e: ISZERO
0000073f: SWAP1
00000740: PUSH2 0x0758
00000743: JUMPI
00000744: POP
00000745: CALLER
00000746: PUSH1 0x00
00000748: SWAP1
00000749: DUP2
0000074a: MSTORE
0000074b: PUSH1 0x0c
0000074d: PUSH1 0x20
0000074f: MSTORE
00000750: PUSH1 0x40
00000752: SWAP1
00000753: KECCAK256
00000754: SLOAD
00000755: PUSH1 0x02
00000757: GT
00000758: JUMPDEST
00000759: ISZERO
0000075a: PUSH2 0x0771
0000075d: JUMPI
0000075e: CALLER
0000075f: PUSH1 0x00
00000761: SWAP1
00000762: DUP2
00000763: MSTORE
00000764: PUSH1 0x0c
00000766: PUSH1 0x20
00000768: MSTORE
00000769: PUSH1 0x40
0000076b: SWAP1
0000076c: KECCAK256
0000076d: PUSH1 0x02
0000076f: SWAP1
00000770: SSTORE
00000771: JUMPDEST
00000772: CALLER
00000773: PUSH1 0x00
00000775: SWAP1
00000776: DUP2
00000777: MSTORE
00000778: PUSH1 0x0b
0000077a: PUSH1 0x20
0000077c: MSTORE
0000077d: PUSH1 0x40
0000077f: SWAP1
00000780: KECCAK256
00000781: SLOAD
00000782: PUSH1 0x05
00000784: DUP1
00000785: SLOAD
00000786: PUSH1 0x01
00000788: PUSH1 0xa0
0000078a: PUSH1 0x02
0000078c: EXP
0000078d: SUB
0000078e: NOT
0000078f: AND
00000790: PUSH1 0x01
00000792: PUSH1 0xa0
00000794: PUSH1 0x02
00000796: EXP
00000797: SUB
00000798: SWAP3
00000799: DUP4
0000079a: AND
0000079b: OR
0000079c: SWAP1
0000079d: DUP2
0000079e: SWAP1
0000079f: SSTORE
000007a0: AND
000007a1: ISZERO
000007a2: ISZERO
000007a3: PUSH2 0x08bf
000007a6: JUMPI
000007a7: PUSH2 0x07e0
000007aa: PUSH1 0x00
000007ac: CALLDATASIZE
000007ad: DUP1
000007ae: DUP1
000007af: PUSH1 0x1f
000007b1: ADD
000007b2: PUSH1 0x20
000007b4: DUP1
000007b5: SWAP2
000007b6: DIV
000007b7: MUL
000007b8: PUSH1 0x20
000007ba: ADD
000007bb: PUSH1 0x40
000007bd: MLOAD
000007be: SWAP1
000007bf: DUP2
000007c0: ADD
000007c1: PUSH1 0x40
000007c3: MSTORE
000007c4: DUP1
000007c5: SWAP4
000007c6: SWAP3
000007c7: SWAP2
000007c8: SWAP1
000007c9: DUP2
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: ADD
000007cf: DUP4
000007d0: DUP4
000007d1: DUP1
000007d2: DUP3
000007d3: DUP5
000007d4: CALLDATACOPY
000007d5: POP
000007d6: PUSH2 0x1bbf
000007d9: SWAP5
000007da: POP
000007db: POP
000007dc: POP
000007dd: POP
000007de: POP
000007df: JUMP
000007e0: JUMPDEST
000007e1: PUSH1 0x05
000007e3: DUP1
000007e4: SLOAD
000007e5: PUSH1 0x01
000007e7: PUSH1 0xa0
000007e9: PUSH1 0x02
000007eb: EXP
000007ec: SUB
000007ed: NOT
000007ee: AND
000007ef: PUSH1 0x01
000007f1: PUSH1 0xa0
000007f3: PUSH1 0x02
000007f5: EXP
000007f6: SUB
000007f7: SWAP3
000007f8: DUP4
000007f9: AND
000007fa: OR
000007fb: SWAP1
000007fc: DUP2
000007fd: SWAP1
000007fe: SSTORE
000007ff: PUSH2 0x0808
00000802: SWAP2
00000803: AND
00000804: PUSH2 0x0457
00000807: JUMP
00000808: JUMPDEST
00000809: ISZERO
0000080a: PUSH2 0x0812
0000080d: JUMPI
0000080e: PUSH1 0x00
00000810: DUP1
00000811: REVERT
00000812: JUMPDEST
00000813: PUSH1 0x05
00000815: SLOAD
00000816: PUSH1 0x01
00000818: PUSH1 0xa0
0000081a: PUSH1 0x02
0000081c: EXP
0000081d: SUB
0000081e: AND
0000081f: PUSH1 0x00
00000821: SWAP1
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x04
00000826: PUSH1 0x20
00000828: MSTORE
00000829: PUSH1 0x40
0000082b: DUP2
0000082c: KECCAK256
0000082d: SLOAD
0000082e: GT
0000082f: PUSH2 0x0837
00000832: JUMPI
00000833: PUSH1 0x00
00000835: DUP1
00000836: REVERT
00000837: JUMPDEST
00000838: PUSH1 0x05
0000083a: SLOAD
0000083b: PUSH1 0x01
0000083d: PUSH1 0xa0
0000083f: PUSH1 0x02
00000841: EXP
00000842: SUB
00000843: AND
00000844: PUSH20 0x516e0debb3db8c2c087786ccf7653fa0991784b3
00000859: EQ
0000085a: ISZERO
0000085b: PUSH2 0x0863
0000085e: JUMPI
0000085f: PUSH1 0x00
00000861: DUP1
00000862: REVERT
00000863: JUMPDEST
00000864: PUSH1 0x05
00000866: SLOAD
00000867: PUSH1 0x01
00000869: PUSH1 0xa0
0000086b: PUSH1 0x02
0000086d: EXP
0000086e: SUB
0000086f: AND
00000870: PUSH20 0xab85cb1087ce716e11dc37c69eaabc09d674575d
00000885: EQ
00000886: ISZERO
00000887: PUSH2 0x088f
0000088a: JUMPI
0000088b: PUSH1 0x00
0000088d: DUP1
0000088e: REVERT
0000088f: JUMPDEST
00000890: PUSH1 0x05
00000892: SLOAD
00000893: CALLER
00000894: PUSH1 0x00
00000896: SWAP1
00000897: DUP2
00000898: MSTORE
00000899: PUSH1 0x0b
0000089b: PUSH1 0x20
0000089d: MSTORE
0000089e: PUSH1 0x40
000008a0: SWAP1
000008a1: KECCAK256
000008a2: DUP1
000008a3: SLOAD
000008a4: PUSH1 0x01
000008a6: PUSH1 0xa0
000008a8: PUSH1 0x02
000008aa: EXP
000008ab: SUB
000008ac: NOT
000008ad: AND
000008ae: PUSH1 0x01
000008b0: PUSH1 0xa0
000008b2: PUSH1 0x02
000008b4: EXP
000008b5: SUB
000008b6: SWAP1
000008b7: SWAP3
000008b8: AND
000008b9: SWAP2
000008ba: SWAP1
000008bb: SWAP2
000008bc: OR
000008bd: SWAP1
000008be: SSTORE
000008bf: JUMPDEST
000008c0: PUSH2 0x08c7
000008c3: PUSH2 0x08c9
000008c6: JUMP
000008c7: JUMPDEST
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH1 0x00
000008cc: DUP1
000008cd: PUSH1 0x00
000008cf: DUP1
000008d0: PUSH1 0x00
000008d2: DUP1
000008d3: PUSH1 0x00
000008d5: DUP1
000008d6: PUSH1 0x00
000008d8: DUP1
000008d9: PUSH1 0x00
000008db: PUSH2 0x0903
000008de: PUSH2 0x08f6
000008e1: PUSH1 0x46
000008e3: PUSH1 0x01
000008e5: SLOAD
000008e6: PUSH1 0x64
000008e8: MUL
000008e9: PUSH2 0x137f
000008ec: SWAP1
000008ed: SWAP2
000008ee: SWAP1
000008ef: PUSH4 0xffffffff
000008f4: AND
000008f5: JUMP
000008f6: JUMPDEST
000008f7: CALLVALUE
000008f8: SWAP1
000008f9: PUSH4 0xffffffff
000008fe: PUSH2 0x137f
00000901: AND
00000902: JUMP
00000903: JUMPDEST
00000904: SWAP11
00000905: POP
00000906: PUSH1 0x00
00000908: DUP12
00000909: GT
0000090a: PUSH2 0x0912
0000090d: JUMPI
0000090e: PUSH1 0x00
00000910: DUP1
00000911: REVERT
00000912: JUMPDEST
00000913: CALLER
00000914: PUSH1 0x00
00000916: SWAP1
00000917: DUP2
00000918: MSTORE
00000919: PUSH1 0x04
0000091b: PUSH1 0x20
0000091d: MSTORE
0000091e: PUSH1 0x40
00000920: SWAP1
00000921: KECCAK256
00000922: SLOAD
00000923: DUP12
00000924: DUP2
00000925: ADD
00000926: GT
00000927: PUSH2 0x092f
0000092a: JUMPI
0000092b: PUSH1 0x00
0000092d: DUP1
0000092e: REVERT
0000092f: JUMPDEST
00000930: PUSH2 0x0940
00000933: CALLVALUE
00000934: PUSH1 0x64
00000936: PUSH4 0xffffffff
0000093b: PUSH2 0x137f
0000093e: AND
0000093f: JUMP
00000940: JUMPDEST
00000941: SWAP10
00000942: POP
00000943: PUSH2 0x0953
00000946: DUP11
00000947: PUSH1 0x0a
00000949: PUSH4 0xffffffff
0000094e: PUSH2 0x139b
00000951: AND
00000952: JUMP
00000953: JUMPDEST
00000954: SWAP9
00000955: POP
00000956: PUSH1 0x00
00000958: SWAP8
00000959: POP
0000095a: DUP8
0000095b: SWAP7
0000095c: POP
0000095d: DUP7
0000095e: SWAP6
0000095f: POP
00000960: DUP6
00000961: SWAP5
00000962: POP
00000963: DUP5
00000964: SWAP4
00000965: POP
00000966: DUP4
00000967: SWAP3
00000968: POP
00000969: PUSH1 0x0a
0000096b: SWAP2
0000096c: POP
0000096d: DUP3
0000096e: SWAP1
0000096f: POP
00000970: CALLER
00000971: PUSH20 0x28ff20d2d413a346f123198385ccf16e15295351
00000986: EQ
00000987: DUP1
00000988: ISZERO
00000989: SWAP1
0000098a: PUSH2 0x099e
0000098d: JUMPI
0000098e: POP
0000098f: PUSH1 0x0a
00000991: SLOAD
00000992: PUSH1 0x01
00000994: PUSH1 0xa0
00000996: PUSH1 0x02
00000998: EXP
00000999: SUB
0000099a: AND
0000099b: CALLER
0000099c: EQ
0000099d: ISZERO
0000099e: JUMPDEST
0000099f: DUP1
000009a0: ISZERO
000009a1: PUSH2 0x09be
000009a4: JUMPI
000009a5: POP
000009a6: CALLER
000009a7: PUSH20 0x516e0debb3db8c2c087786ccf7653fa0991784b3
000009bc: EQ
000009bd: ISZERO
000009be: JUMPDEST
000009bf: ISZERO
000009c0: PUSH2 0x103d
000009c3: JUMPI
000009c4: PUSH1 0x05
000009c6: SLOAD
000009c7: PUSH1 0x01
000009c9: PUSH1 0xa0
000009cb: PUSH1 0x02
000009cd: EXP
000009ce: SUB
000009cf: AND
000009d0: ISZERO
000009d1: PUSH2 0x0de1
000009d4: JUMPI
000009d5: PUSH1 0x05
000009d7: DUP1
000009d8: SLOAD
000009d9: PUSH1 0x01
000009db: PUSH1 0xa0
000009dd: PUSH1 0x02
000009df: EXP
000009e0: SUB
000009e1: SWAP1
000009e2: DUP2
000009e3: AND
000009e4: PUSH1 0x00
000009e6: SWAP1
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x0d
000009eb: PUSH1 0x20
000009ed: MSTORE
000009ee: PUSH1 0x40
000009f0: DUP1
000009f1: DUP3
000009f2: KECCAK256
000009f3: DUP1
000009f4: SLOAD
000009f5: CALLVALUE
000009f6: ADD
000009f7: SWAP1
000009f8: SSTORE
000009f9: SWAP3
000009fa: SLOAD
000009fb: SWAP1
000009fc: SWAP2
000009fd: AND
000009fe: DUP2
000009ff: MSTORE
00000a00: KECCAK256
00000a01: SLOAD
00000a02: PUSH9 0x0d8d726b7177a80000
00000a0c: GT
00000a0d: DUP1
00000a0e: ISZERO
00000a0f: SWAP1
00000a10: PUSH2 0x0a33
00000a13: JUMPI
00000a14: POP
00000a15: PUSH1 0x05
00000a17: SLOAD
00000a18: PUSH1 0x01
00000a1a: PUSH1 0xa0
00000a1c: PUSH1 0x02
00000a1e: EXP
00000a1f: SUB
00000a20: AND
00000a21: PUSH1 0x00
00000a23: SWAP1
00000a24: DUP2
00000a25: MSTORE
00000a26: PUSH1 0x0c
00000a28: PUSH1 0x20
00000a2a: MSTORE
00000a2b: PUSH1 0x40
00000a2d: SWAP1
00000a2e: KECCAK256
00000a2f: SLOAD
00000a30: PUSH1 0x06
00000a32: GT
00000a33: JUMPDEST
00000a34: ISZERO
00000a35: PUSH2 0x0a57
00000a38: JUMPI
00000a39: PUSH1 0x05
00000a3b: SLOAD
00000a3c: PUSH1 0x01
00000a3e: PUSH1 0xa0
00000a40: PUSH1 0x02
00000a42: EXP
00000a43: SUB
00000a44: AND
00000a45: PUSH1 0x00
00000a47: SWAP1
00000a48: DUP2
00000a49: MSTORE
00000a4a: PUSH1 0x0c
00000a4c: PUSH1 0x20
00000a4e: MSTORE
00000a4f: PUSH1 0x40
00000a51: SWAP1
00000a52: KECCAK256
00000a53: PUSH1 0x06
00000a55: SWAP1
00000a56: SSTORE
00000a57: JUMPDEST
00000a58: PUSH1 0x05
00000a5a: SLOAD
00000a5b: PUSH1 0x01
00000a5d: PUSH1 0xa0
00000a5f: PUSH1 0x02
00000a61: EXP
00000a62: SUB
00000a63: AND
00000a64: PUSH1 0x00
00000a66: SWAP1
00000a67: DUP2
00000a68: MSTORE
00000a69: PUSH1 0x0d
00000a6b: PUSH1 0x20
00000a6d: MSTORE
00000a6e: PUSH1 0x40
00000a70: SWAP1
00000a71: KECCAK256
00000a72: SLOAD
00000a73: PUSH9 0x0ad78ebc5ac6200000
00000a7d: GT
00000a7e: DUP1
00000a7f: ISZERO
00000a80: SWAP1
00000a81: PUSH2 0x0aa3
00000a84: JUMPI
00000a85: POP
00000a86: PUSH1 0x05
00000a88: DUP1
00000a89: SLOAD
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0xa0
00000a8e: PUSH1 0x02
00000a90: EXP
00000a91: SUB
00000a92: AND
00000a93: PUSH1 0x00
00000a95: SWAP1
00000a96: DUP2
00000a97: MSTORE
00000a98: PUSH1 0x0c
00000a9a: PUSH1 0x20
00000a9c: MSTORE
00000a9d: PUSH1 0x40
00000a9f: SWAP1
00000aa0: KECCAK256
00000aa1: SLOAD
00000aa2: LT
00000aa3: JUMPDEST
00000aa4: ISZERO
00000aa5: PUSH2 0x0ac5
00000aa8: JUMPI
00000aa9: PUSH1 0x05
00000aab: DUP1
00000aac: SLOAD
00000aad: PUSH1 0x01
00000aaf: PUSH1 0xa0
00000ab1: PUSH1 0x02
00000ab3: EXP
00000ab4: SUB
00000ab5: AND
00000ab6: PUSH1 0x00
00000ab8: SWAP1
00000ab9: DUP2
00000aba: MSTORE
00000abb: PUSH1 0x0c
00000abd: PUSH1 0x20
00000abf: MSTORE
00000ac0: PUSH1 0x40
00000ac2: SWAP1
00000ac3: KECCAK256
00000ac4: SSTORE
00000ac5: JUMPDEST
00000ac6: PUSH1 0x05
00000ac8: SLOAD
00000ac9: PUSH1 0x01
00000acb: PUSH1 0xa0
00000acd: PUSH1 0x02
00000acf: EXP
00000ad0: SUB
00000ad1: AND
00000ad2: PUSH1 0x00
00000ad4: SWAP1
00000ad5: DUP2
00000ad6: MSTORE
00000ad7: PUSH1 0x0d
00000ad9: PUSH1 0x20
00000adb: MSTORE
00000adc: PUSH1 0x40
00000ade: SWAP1
00000adf: KECCAK256
00000ae0: SLOAD
00000ae1: PUSH9 0x0821ab0d4414980000
00000aeb: GT
00000aec: DUP1
00000aed: ISZERO
00000aee: SWAP1
00000aef: PUSH2 0x0b12
00000af2: JUMPI
00000af3: POP
00000af4: PUSH1 0x05
00000af6: SLOAD
00000af7: PUSH1 0x01
00000af9: PUSH1 0xa0
00000afb: PUSH1 0x02
00000afd: EXP
00000afe: SUB
00000aff: AND
00000b00: PUSH1 0x00
00000b02: SWAP1
00000b03: DUP2
00000b04: MSTORE
00000b05: PUSH1 0x0c
00000b07: PUSH1 0x20
00000b09: MSTORE
00000b0a: PUSH1 0x40
00000b0c: SWAP1
00000b0d: KECCAK256
00000b0e: SLOAD
00000b0f: PUSH1 0x04
00000b11: GT
00000b12: JUMPDEST
00000b13: ISZERO
00000b14: PUSH2 0x0b36
00000b17: JUMPI
00000b18: PUSH1 0x05
00000b1a: SLOAD
00000b1b: PUSH1 0x01
00000b1d: PUSH1 0xa0
00000b1f: PUSH1 0x02
00000b21: EXP
00000b22: SUB
00000b23: AND
00000b24: PUSH1 0x00
00000b26: SWAP1
00000b27: DUP2
00000b28: MSTORE
00000b29: PUSH1 0x0c
00000b2b: PUSH1 0x20
00000b2d: MSTORE
00000b2e: PUSH1 0x40
00000b30: SWAP1
00000b31: KECCAK256
00000b32: PUSH1 0x04
00000b34: SWAP1
00000b35: SSTORE
00000b36: JUMPDEST
00000b37: PUSH1 0x05
00000b39: SLOAD
00000b3a: PUSH1 0x01
00000b3c: PUSH1 0xa0
00000b3e: PUSH1 0x02
00000b40: EXP
00000b41: SUB
00000b42: AND
00000b43: PUSH1 0x00
00000b45: SWAP1
00000b46: DUP2
00000b47: MSTORE
00000b48: PUSH1 0x0d
00000b4a: PUSH1 0x20
00000b4c: MSTORE
00000b4d: PUSH1 0x40
00000b4f: SWAP1
00000b50: KECCAK256
00000b51: SLOAD
00000b52: PUSH9 0x056bc75e2d63100000
00000b5c: GT
00000b5d: DUP1
00000b5e: ISZERO
00000b5f: SWAP1
00000b60: PUSH2 0x0b83
00000b63: JUMPI
00000b64: POP
00000b65: PUSH1 0x05
00000b67: SLOAD
00000b68: PUSH1 0x01
00000b6a: PUSH1 0xa0
00000b6c: PUSH1 0x02
00000b6e: EXP
00000b6f: SUB
00000b70: AND
00000b71: PUSH1 0x00
00000b73: SWAP1
00000b74: DUP2
00000b75: MSTORE
00000b76: PUSH1 0x0c
00000b78: PUSH1 0x20
00000b7a: MSTORE
00000b7b: PUSH1 0x40
00000b7d: SWAP1
00000b7e: KECCAK256
00000b7f: SLOAD
00000b80: PUSH1 0x03
00000b82: GT
00000b83: JUMPDEST
00000b84: ISZERO
00000b85: PUSH2 0x0ba7
00000b88: JUMPI
00000b89: PUSH1 0x05
00000b8b: SLOAD
00000b8c: PUSH1 0x01
00000b8e: PUSH1 0xa0
00000b90: PUSH1 0x02
00000b92: EXP
00000b93: SUB
00000b94: AND
00000b95: PUSH1 0x00
00000b97: SWAP1
00000b98: DUP2
00000b99: MSTORE
00000b9a: PUSH1 0x0c
00000b9c: PUSH1 0x20
00000b9e: MSTORE
00000b9f: PUSH1 0x40
00000ba1: SWAP1
00000ba2: KECCAK256
00000ba3: PUSH1 0x03
00000ba5: SWAP1
00000ba6: SSTORE
00000ba7: JUMPDEST
00000ba8: PUSH1 0x05
00000baa: SLOAD
00000bab: PUSH1 0x01
00000bad: PUSH1 0xa0
00000baf: PUSH1 0x02
00000bb1: EXP
00000bb2: SUB
00000bb3: AND
00000bb4: PUSH1 0x00
00000bb6: SWAP1
00000bb7: DUP2
00000bb8: MSTORE
00000bb9: PUSH1 0x0d
00000bbb: PUSH1 0x20
00000bbd: MSTORE
00000bbe: PUSH1 0x40
00000bc0: SWAP1
00000bc1: KECCAK256
00000bc2: SLOAD
00000bc3: PUSH9 0x02b5e3af16b1880000
00000bcd: GT
00000bce: DUP1
00000bcf: ISZERO
00000bd0: SWAP1
00000bd1: PUSH2 0x0bf4
00000bd4: JUMPI
00000bd5: POP
00000bd6: PUSH1 0x05
00000bd8: SLOAD
00000bd9: PUSH1 0x01
00000bdb: PUSH1 0xa0
00000bdd: PUSH1 0x02
00000bdf: EXP
00000be0: SUB
00000be1: AND
00000be2: PUSH1 0x00
00000be4: SWAP1
00000be5: DUP2
00000be6: MSTORE
00000be7: PUSH1 0x0c
00000be9: PUSH1 0x20
00000beb: MSTORE
00000bec: PUSH1 0x40
00000bee: SWAP1
00000bef: KECCAK256
00000bf0: SLOAD
00000bf1: PUSH1 0x02
00000bf3: GT
00000bf4: JUMPDEST
00000bf5: ISZERO
00000bf6: PUSH2 0x0c18
00000bf9: JUMPI
00000bfa: PUSH1 0x05
00000bfc: SLOAD
00000bfd: PUSH1 0x01
00000bff: PUSH1 0xa0
00000c01: PUSH1 0x02
00000c03: EXP
00000c04: SUB
00000c05: AND
00000c06: PUSH1 0x00
00000c08: SWAP1
00000c09: DUP2
00000c0a: MSTORE
00000c0b: PUSH1 0x0c
00000c0d: PUSH1 0x20
00000c0f: MSTORE
00000c10: PUSH1 0x40
00000c12: SWAP1
00000c13: KECCAK256
00000c14: PUSH1 0x02
00000c16: SWAP1
00000c17: SSTORE
00000c18: JUMPDEST
00000c19: PUSH1 0x05
00000c1b: SLOAD
00000c1c: PUSH1 0x01
00000c1e: PUSH1 0xa0
00000c20: PUSH1 0x02
00000c22: EXP
00000c23: SUB
00000c24: SWAP1
00000c25: DUP2
00000c26: AND
00000c27: PUSH1 0x00
00000c29: SWAP1
00000c2a: DUP2
00000c2b: MSTORE
00000c2c: PUSH1 0x0b
00000c2e: PUSH1 0x20
00000c30: MSTORE
00000c31: PUSH1 0x40
00000c33: SWAP1
00000c34: KECCAK256
00000c35: SLOAD
00000c36: AND
00000c37: ISZERO
00000c38: PUSH2 0x0c6e
00000c3b: JUMPI
00000c3c: PUSH1 0x05
00000c3e: SLOAD
00000c3f: PUSH1 0x01
00000c41: PUSH1 0xa0
00000c43: PUSH1 0x02
00000c45: EXP
00000c46: SUB
00000c47: SWAP1
00000c48: DUP2
00000c49: AND
00000c4a: PUSH1 0x00
00000c4c: SWAP1
00000c4d: DUP2
00000c4e: MSTORE
00000c4f: PUSH1 0x0b
00000c51: PUSH1 0x20
00000c53: MSTORE
00000c54: PUSH1 0x40
00000c56: SWAP1
00000c57: KECCAK256
00000c58: SLOAD
00000c59: PUSH1 0x06
00000c5b: DUP1
00000c5c: SLOAD
00000c5d: PUSH1 0x01
00000c5f: PUSH1 0xa0
00000c61: PUSH1 0x02
00000c63: EXP
00000c64: SUB
00000c65: NOT
00000c66: AND
00000c67: SWAP2
00000c68: SWAP1
00000c69: SWAP3
00000c6a: AND
00000c6b: OR
00000c6c: SWAP1
00000c6d: SSTORE
00000c6e: JUMPDEST
00000c6f: PUSH1 0x06
00000c71: SLOAD
00000c72: PUSH1 0x01
00000c74: PUSH1 0xa0
00000c76: PUSH1 0x02
00000c78: EXP
00000c79: SUB
00000c7a: SWAP1
00000c7b: DUP2
00000c7c: AND
00000c7d: PUSH1 0x00
00000c7f: SWAP1
00000c80: DUP2
00000c81: MSTORE
00000c82: PUSH1 0x0b
00000c84: PUSH1 0x20
00000c86: MSTORE
00000c87: PUSH1 0x40
00000c89: SWAP1
00000c8a: KECCAK256
00000c8b: SLOAD
00000c8c: AND
00000c8d: ISZERO
00000c8e: PUSH2 0x0cc4
00000c91: JUMPI
00000c92: PUSH1 0x06
00000c94: SLOAD
00000c95: PUSH1 0x01
00000c97: PUSH1 0xa0
00000c99: PUSH1 0x02
00000c9b: EXP
00000c9c: SUB
00000c9d: SWAP1
00000c9e: DUP2
00000c9f: AND
00000ca0: PUSH1 0x00
00000ca2: SWAP1
00000ca3: DUP2
00000ca4: MSTORE
00000ca5: PUSH1 0x0b
00000ca7: PUSH1 0x20
00000ca9: MSTORE
00000caa: PUSH1 0x40
00000cac: SWAP1
00000cad: KECCAK256
00000cae: SLOAD
00000caf: PUSH1 0x07
00000cb1: DUP1
00000cb2: SLOAD
00000cb3: PUSH1 0x01
00000cb5: PUSH1 0xa0
00000cb7: PUSH1 0x02
00000cb9: EXP
00000cba: SUB
00000cbb: NOT
00000cbc: AND
00000cbd: SWAP2
00000cbe: SWAP1
00000cbf: SWAP3
00000cc0: AND
00000cc1: OR
00000cc2: SWAP1
00000cc3: SSTORE
00000cc4: JUMPDEST
00000cc5: PUSH1 0x07
00000cc7: SLOAD
00000cc8: PUSH1 0x01
00000cca: PUSH1 0xa0
00000ccc: PUSH1 0x02
00000cce: EXP
00000ccf: SUB
00000cd0: SWAP1
00000cd1: DUP2
00000cd2: AND
00000cd3: PUSH1 0x00
00000cd5: SWAP1
00000cd6: DUP2
00000cd7: MSTORE
00000cd8: PUSH1 0x0b
00000cda: PUSH1 0x20
00000cdc: MSTORE
00000cdd: PUSH1 0x40
00000cdf: SWAP1
00000ce0: KECCAK256
00000ce1: SLOAD
00000ce2: AND
00000ce3: ISZERO
00000ce4: PUSH2 0x0d1a
00000ce7: JUMPI
00000ce8: PUSH1 0x07
00000cea: SLOAD
00000ceb: PUSH1 0x01
00000ced: PUSH1 0xa0
00000cef: PUSH1 0x02
00000cf1: EXP
00000cf2: SUB
00000cf3: SWAP1
00000cf4: DUP2
00000cf5: AND
00000cf6: PUSH1 0x00
00000cf8: SWAP1
00000cf9: DUP2
00000cfa: MSTORE
00000cfb: PUSH1 0x0b
00000cfd: PUSH1 0x20
00000cff: MSTORE
00000d00: PUSH1 0x40
00000d02: SWAP1
00000d03: KECCAK256
00000d04: SLOAD
00000d05: PUSH1 0x08
00000d07: DUP1
00000d08: SLOAD
00000d09: PUSH1 0x01
00000d0b: PUSH1 0xa0
00000d0d: PUSH1 0x02
00000d0f: EXP
00000d10: SUB
00000d11: NOT
00000d12: AND
00000d13: SWAP2
00000d14: SWAP1
00000d15: SWAP3
00000d16: AND
00000d17: OR
00000d18: SWAP1
00000d19: SSTORE
00000d1a: JUMPDEST
00000d1b: PUSH1 0x08
00000d1d: SLOAD
00000d1e: PUSH1 0x01
00000d20: PUSH1 0xa0
00000d22: PUSH1 0x02
00000d24: EXP
00000d25: SUB
00000d26: SWAP1
00000d27: DUP2
00000d28: AND
00000d29: PUSH1 0x00
00000d2b: SWAP1
00000d2c: DUP2
00000d2d: MSTORE
00000d2e: PUSH1 0x0b
00000d30: PUSH1 0x20
00000d32: MSTORE
00000d33: PUSH1 0x40
00000d35: SWAP1
00000d36: KECCAK256
00000d37: SLOAD
00000d38: AND
00000d39: ISZERO
00000d3a: PUSH2 0x0d70
00000d3d: JUMPI
00000d3e: PUSH1 0x08
00000d40: SLOAD
00000d41: PUSH1 0x01
00000d43: PUSH1 0xa0
00000d45: PUSH1 0x02
00000d47: EXP
00000d48: SUB
00000d49: SWAP1
00000d4a: DUP2
00000d4b: AND
00000d4c: PUSH1 0x00
00000d4e: SWAP1
00000d4f: DUP2
00000d50: MSTORE
00000d51: PUSH1 0x0b
00000d53: PUSH1 0x20
00000d55: MSTORE
00000d56: PUSH1 0x40
00000d58: SWAP1
00000d59: KECCAK256
00000d5a: SLOAD
00000d5b: PUSH1 0x09
00000d5d: DUP1
00000d5e: SLOAD
00000d5f: PUSH1 0x01
00000d61: PUSH1 0xa0
00000d63: PUSH1 0x02
00000d65: EXP
00000d66: SUB
00000d67: NOT
00000d68: AND
00000d69: SWAP2
00000d6a: SWAP1
00000d6b: SWAP3
00000d6c: AND
00000d6d: OR
00000d6e: SWAP1
00000d6f: SSTORE
00000d70: JUMPDEST
00000d71: PUSH1 0x05
00000d73: SLOAD
00000d74: PUSH1 0x01
00000d76: PUSH1 0xa0
00000d78: PUSH1 0x02
00000d7a: EXP
00000d7b: SUB
00000d7c: AND
00000d7d: PUSH1 0x00
00000d7f: SWAP1
00000d80: DUP2
00000d81: MSTORE
00000d82: PUSH1 0x0c
00000d84: PUSH1 0x20
00000d86: MSTORE
00000d87: PUSH1 0x40
00000d89: SWAP1
00000d8a: KECCAK256
00000d8b: SLOAD
00000d8c: PUSH1 0x01
00000d8e: LT
00000d8f: ISZERO
00000d90: PUSH2 0x0db6
00000d93: JUMPI
00000d94: SWAP8
00000d95: DUP10
00000d96: SWAP1
00000d97: SUB
00000d98: SWAP8
00000d99: PUSH2 0x0da9
00000d9c: DUP11
00000d9d: PUSH1 0x02
00000d9f: PUSH4 0xffffffff
00000da4: PUSH2 0x139b
00000da7: AND
00000da8: JUMP
00000da9: JUMPDEST
00000daa: SWAP7
00000dab: POP
00000dac: PUSH1 0x02
00000dae: DUP3
00000daf: SUB
00000db0: SWAP2
00000db1: POP
00000db2: PUSH2 0x0de1
00000db5: JUMP
00000db6: JUMPDEST
00000db7: PUSH1 0x05
00000db9: SLOAD
00000dba: PUSH1 0x01
00000dbc: PUSH1 0xa0
00000dbe: PUSH1 0x02
00000dc0: EXP
00000dc1: SUB
00000dc2: AND
00000dc3: PUSH1 0x00
00000dc5: SWAP1
00000dc6: DUP2
00000dc7: MSTORE
00000dc8: PUSH1 0x0c
00000dca: PUSH1 0x20
00000dcc: MSTORE
00000dcd: PUSH1 0x40
00000dcf: DUP2
00000dd0: KECCAK256
00000dd1: SLOAD
00000dd2: GT
00000dd3: ISZERO
00000dd4: PUSH2 0x0de1
00000dd7: JUMPI
00000dd8: DUP10
00000dd9: SWAP7
00000dda: POP
00000ddb: PUSH1 0x01
00000ddd: DUP3
00000dde: SUB
00000ddf: SWAP2
00000de0: POP
00000de1: JUMPDEST
00000de2: PUSH1 0x06
00000de4: SLOAD
00000de5: PUSH1 0x01
00000de7: PUSH1 0xa0
00000de9: PUSH1 0x02
00000deb: EXP
00000dec: SUB
00000ded: AND
00000dee: ISZERO
00000def: PUSH2 0x0e78
00000df2: JUMPI
00000df3: PUSH1 0x06
00000df5: SLOAD
00000df6: PUSH1 0x01
00000df8: PUSH1 0xa0
00000dfa: PUSH1 0x02
00000dfc: EXP
00000dfd: SUB
00000dfe: AND
00000dff: PUSH1 0x00
00000e01: SWAP1
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x0c
00000e06: PUSH1 0x20
00000e08: MSTORE
00000e09: PUSH1 0x40
00000e0b: SWAP1
00000e0c: KECCAK256
00000e0d: SLOAD
00000e0e: PUSH1 0x02
00000e10: LT
00000e11: ISZERO
00000e12: PUSH2 0x0e48
00000e15: JUMPI
00000e16: PUSH2 0x0e26
00000e19: DUP11
00000e1a: PUSH1 0x02
00000e1c: PUSH4 0xffffffff
00000e21: PUSH2 0x139b
00000e24: AND
00000e25: JUMP
00000e26: JUMPDEST
00000e27: SWAP1
00000e28: SWAP9
00000e29: SUB
00000e2a: SWAP8
00000e2b: PUSH2 0x0e3b
00000e2e: DUP11
00000e2f: PUSH1 0x02
00000e31: PUSH4 0xffffffff
00000e36: PUSH2 0x139b
00000e39: AND
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: SWAP6
00000e3d: POP
00000e3e: PUSH1 0x02
00000e40: DUP3
00000e41: SUB
00000e42: SWAP2
00000e43: POP
00000e44: PUSH2 0x0e78
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH1 0x06
00000e4b: SLOAD
00000e4c: PUSH1 0x01
00000e4e: PUSH1 0xa0
00000e50: PUSH1 0x02
00000e52: EXP
00000e53: SUB
00000e54: AND
00000e55: PUSH1 0x00
00000e57: SWAP1
00000e58: DUP2
00000e59: MSTORE
00000e5a: PUSH1 0x0c
00000e5c: PUSH1 0x20
00000e5e: MSTORE
00000e5f: PUSH1 0x40
00000e61: DUP2
00000e62: KECCAK256
00000e63: SLOAD
00000e64: GT
00000e65: ISZERO
00000e66: PUSH2 0x0e78
00000e69: JUMPI
00000e6a: DUP10
00000e6b: DUP10
00000e6c: SUB
00000e6d: SWAP9
00000e6e: POP
00000e6f: DUP10
00000e70: SWAP6
00000e71: POP
00000e72: PUSH1 0x01
00000e74: DUP3
00000e75: SUB
00000e76: SWAP2
00000e77: POP
00000e78: JUMPDEST
00000e79: PUSH1 0x07
00000e7b: SLOAD
00000e7c: PUSH1 0x01
00000e7e: PUSH1 0xa0
00000e80: PUSH1 0x02
00000e82: EXP
00000e83: SUB
00000e84: AND
00000e85: ISZERO
00000e86: PUSH2 0x0f0f
00000e89: JUMPI
00000e8a: PUSH1 0x07
00000e8c: SLOAD
00000e8d: PUSH1 0x01
00000e8f: PUSH1 0xa0
00000e91: PUSH1 0x02
00000e93: EXP
00000e94: SUB
00000e95: AND
00000e96: PUSH1 0x00
00000e98: SWAP1
00000e99: DUP2
00000e9a: MSTORE
00000e9b: PUSH1 0x0c
00000e9d: PUSH1 0x20
00000e9f: MSTORE
00000ea0: PUSH1 0x40
00000ea2: SWAP1
00000ea3: KECCAK256
00000ea4: SLOAD
00000ea5: PUSH1 0x03
00000ea7: LT
00000ea8: ISZERO
00000ea9: PUSH2 0x0edf
00000eac: JUMPI
00000ead: PUSH2 0x0ebd
00000eb0: DUP11
00000eb1: PUSH1 0x02
00000eb3: PUSH4 0xffffffff
00000eb8: PUSH2 0x139b
00000ebb: AND
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: SWAP1
00000ebf: SWAP9
00000ec0: SUB
00000ec1: SWAP8
00000ec2: PUSH2 0x0ed2
00000ec5: DUP11
00000ec6: PUSH1 0x02
00000ec8: PUSH4 0xffffffff
00000ecd: PUSH2 0x139b
00000ed0: AND
00000ed1: JUMP
00000ed2: JUMPDEST
00000ed3: SWAP5
00000ed4: POP
00000ed5: PUSH1 0x02
00000ed7: DUP3
00000ed8: SUB
00000ed9: SWAP2
00000eda: POP
00000edb: PUSH2 0x0f0f
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: PUSH1 0x07
00000ee2: SLOAD
00000ee3: PUSH1 0x01
00000ee5: PUSH1 0xa0
00000ee7: PUSH1 0x02
00000ee9: EXP
00000eea: SUB
00000eeb: AND
00000eec: PUSH1 0x00
00000eee: SWAP1
00000eef: DUP2
00000ef0: MSTORE
00000ef1: PUSH1 0x0c
00000ef3: PUSH1 0x20
00000ef5: MSTORE
00000ef6: PUSH1 0x40
00000ef8: DUP2
00000ef9: KECCAK256
00000efa: SLOAD
00000efb: GT
00000efc: ISZERO
00000efd: PUSH2 0x0f0f
00000f00: JUMPI
00000f01: DUP10
00000f02: DUP10
00000f03: SUB
00000f04: SWAP9
00000f05: POP
00000f06: DUP10
00000f07: SWAP5
00000f08: POP
00000f09: PUSH1 0x01
00000f0b: DUP3
00000f0c: SUB
00000f0d: SWAP2
00000f0e: POP
00000f0f: JUMPDEST
00000f10: PUSH1 0x08
00000f12: SLOAD
00000f13: PUSH1 0x01
00000f15: PUSH1 0xa0
00000f17: PUSH1 0x02
00000f19: EXP
00000f1a: SUB
00000f1b: AND
00000f1c: ISZERO
00000f1d: PUSH2 0x0fa6
00000f20: JUMPI
00000f21: PUSH1 0x08
00000f23: SLOAD
00000f24: PUSH1 0x01
00000f26: PUSH1 0xa0
00000f28: PUSH1 0x02
00000f2a: EXP
00000f2b: SUB
00000f2c: AND
00000f2d: PUSH1 0x00
00000f2f: SWAP1
00000f30: DUP2
00000f31: MSTORE
00000f32: PUSH1 0x0c
00000f34: PUSH1 0x20
00000f36: MSTORE
00000f37: PUSH1 0x40
00000f39: SWAP1
00000f3a: KECCAK256
00000f3b: SLOAD
00000f3c: PUSH1 0x04
00000f3e: LT
00000f3f: ISZERO
00000f40: PUSH2 0x0f76
00000f43: JUMPI
00000f44: PUSH2 0x0f54
00000f47: DUP11
00000f48: PUSH1 0x02
00000f4a: PUSH4 0xffffffff
00000f4f: PUSH2 0x139b
00000f52: AND
00000f53: JUMP
00000f54: JUMPDEST
00000f55: SWAP1
00000f56: SWAP9
00000f57: SUB
00000f58: SWAP8
00000f59: PUSH2 0x0f69
00000f5c: DUP11
00000f5d: PUSH1 0x02
00000f5f: PUSH4 0xffffffff
00000f64: PUSH2 0x139b
00000f67: AND
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: SWAP4
00000f6b: POP
00000f6c: PUSH1 0x02
00000f6e: DUP3
00000f6f: SUB
00000f70: SWAP2
00000f71: POP
00000f72: PUSH2 0x0fa6
00000f75: JUMP
00000f76: JUMPDEST
00000f77: PUSH1 0x08
00000f79: SLOAD
00000f7a: PUSH1 0x01
00000f7c: PUSH1 0xa0
00000f7e: PUSH1 0x02
00000f80: EXP
00000f81: SUB
00000f82: AND
00000f83: PUSH1 0x00
00000f85: SWAP1
00000f86: DUP2
00000f87: MSTORE
00000f88: PUSH1 0x0c
00000f8a: PUSH1 0x20
00000f8c: MSTORE
00000f8d: PUSH1 0x40
00000f8f: DUP2
00000f90: KECCAK256
00000f91: SLOAD
00000f92: GT
00000f93: ISZERO
00000f94: PUSH2 0x0fa6
00000f97: JUMPI
00000f98: DUP10
00000f99: DUP10
00000f9a: SUB
00000f9b: SWAP9
00000f9c: POP
00000f9d: DUP10
00000f9e: SWAP4
00000f9f: POP
00000fa0: PUSH1 0x01
00000fa2: DUP3
00000fa3: SUB
00000fa4: SWAP2
00000fa5: POP
00000fa6: JUMPDEST
00000fa7: PUSH1 0x09
00000fa9: SLOAD
00000faa: PUSH1 0x01
00000fac: PUSH1 0xa0
00000fae: PUSH1 0x02
00000fb0: EXP
00000fb1: SUB
00000fb2: AND
00000fb3: ISZERO
00000fb4: PUSH2 0x103d
00000fb7: JUMPI
00000fb8: PUSH1 0x09
00000fba: SLOAD
00000fbb: PUSH1 0x01
00000fbd: PUSH1 0xa0
00000fbf: PUSH1 0x02
00000fc1: EXP
00000fc2: SUB
00000fc3: AND
00000fc4: PUSH1 0x00
00000fc6: SWAP1
00000fc7: DUP2
00000fc8: MSTORE
00000fc9: PUSH1 0x0c
00000fcb: PUSH1 0x20
00000fcd: MSTORE
00000fce: PUSH1 0x40
00000fd0: SWAP1
00000fd1: KECCAK256
00000fd2: SLOAD
00000fd3: PUSH1 0x05
00000fd5: LT
00000fd6: ISZERO
00000fd7: PUSH2 0x100d
00000fda: JUMPI
00000fdb: PUSH2 0x0feb
00000fde: DUP11
00000fdf: PUSH1 0x02
00000fe1: PUSH4 0xffffffff
00000fe6: PUSH2 0x139b
00000fe9: AND
00000fea: JUMP
00000feb: JUMPDEST
00000fec: SWAP1
00000fed: SWAP9
00000fee: SUB
00000fef: SWAP8
00000ff0: PUSH2 0x1000
00000ff3: DUP11
00000ff4: PUSH1 0x02
00000ff6: PUSH4 0xffffffff
00000ffb: PUSH2 0x139b
00000ffe: AND
00000fff: JUMP
00001000: JUMPDEST
00001001: SWAP3
00001002: POP
00001003: PUSH1 0x02
00001005: DUP3
00001006: SUB
00001007: SWAP2
00001008: POP
00001009: PUSH2 0x103d
0000100c: JUMP
0000100d: JUMPDEST
0000100e: PUSH1 0x09
00001010: SLOAD
00001011: PUSH1 0x01
00001013: PUSH1 0xa0
00001015: PUSH1 0x02
00001017: EXP
00001018: SUB
00001019: AND
0000101a: PUSH1 0x00
0000101c: SWAP1
0000101d: DUP2
0000101e: MSTORE
0000101f: PUSH1 0x0c
00001021: PUSH1 0x20
00001023: MSTORE
00001024: PUSH1 0x40
00001026: DUP2
00001027: KECCAK256
00001028: SLOAD
00001029: GT
0000102a: ISZERO
0000102b: PUSH2 0x103d
0000102e: JUMPI
0000102f: DUP10
00001030: DUP10
00001031: SUB
00001032: SWAP9
00001033: POP
00001034: DUP10
00001035: SWAP3
00001036: POP
00001037: PUSH1 0x01
00001039: DUP3
0000103a: SUB
0000103b: SWAP2
0000103c: POP
0000103d: JUMPDEST
0000103e: PUSH1 0x00
00001040: DUP10
00001041: GT
00001042: ISZERO
00001043: PUSH2 0x10fe
00001046: JUMPI
00001047: PUSH1 0x01
00001049: SLOAD
0000104a: PUSH2 0x106e
0000104d: SWAP1
0000104e: PUSH2 0x1061
00001051: SWAP1
00001052: PUSH1 0x64
00001054: MUL
00001055: PUSH1 0x46
00001057: PUSH4 0xffffffff
0000105c: PUSH2 0x137f
0000105f: AND
00001060: JUMP
00001061: JUMPDEST
00001062: DUP11
00001063: SWAP1
00001064: PUSH4 0xffffffff
00001069: PUSH2 0x137f
0000106c: AND
0000106d: JUMP
0000106e: JUMPDEST
0000106f: SWAP1
00001070: POP
00001071: PUSH1 0x00
00001073: DUP2
00001074: GT
00001075: PUSH2 0x107d
00001078: JUMPI
00001079: PUSH1 0x00
0000107b: DUP1
0000107c: REVERT
0000107d: JUMPDEST
0000107e: PUSH2 0x108e
00001081: DUP10
00001082: PUSH1 0x64
00001084: PUSH4 0xffffffff
00001089: PUSH2 0x137f
0000108c: AND
0000108d: JUMP
0000108e: JUMPDEST
0000108f: PUSH20 0x516e0debb3db8c2c087786ccf7653fa0991784b3
000010a4: PUSH1 0x00
000010a6: DUP2
000010a7: SWAP1
000010a8: MSTORE
000010a9: PUSH1 0x04
000010ab: PUSH1 0x20
000010ad: SWAP1
000010ae: DUP2
000010af: MSTORE
000010b0: PUSH32 0x9cab67b1fd49a9fd5659c983036f04080887eda312c1db99701d26815f3f37b3
000010d1: DUP1
000010d2: SLOAD
000010d3: DUP6
000010d4: ADD
000010d5: SWAP1
000010d6: SSTORE
000010d7: PUSH1 0x40
000010d9: DUP1
000010da: MLOAD
000010db: DUP6
000010dc: DUP2
000010dd: MSTORE
000010de: SWAP1
000010df: MLOAD
000010e0: SWAP4
000010e1: SWAP12
000010e2: POP
000010e3: SWAP2
000010e4: SWAP3
000010e5: ADDRESS
000010e6: SWAP3
000010e7: PUSH1 0x00
000010e9: DUP1
000010ea: MLOAD
000010eb: PUSH1 0x20
000010ed: PUSH2 0x1bc7
000010f0: DUP4
000010f1: CODECOPY
000010f2: DUP2
000010f3: MLOAD
000010f4: SWAP2
000010f5: MSTORE
000010f6: SWAP3
000010f7: SWAP1
000010f8: DUP3
000010f9: SWAP1
000010fa: SUB
000010fb: ADD
000010fc: SWAP1
000010fd: LOG3
000010fe: JUMPDEST
000010ff: PUSH2 0x1114
00001102: DUP11
00001103: DUP10
00001104: ADD
00001105: PUSH1 0x55
00001107: DUP5
00001108: SWAP1
00001109: SUB
0000110a: PUSH4 0xffffffff
0000110f: PUSH2 0x139b
00001112: AND
00001113: JUMP
00001114: JUMPDEST
00001115: PUSH1 0x00
00001117: DUP1
00001118: SLOAD
00001119: SWAP1
0000111a: SWAP2
0000111b: ADD
0000111c: SWAP1
0000111d: DUP2
0000111e: SWAP1
0000111f: SSTORE
00001120: PUSH1 0x02
00001122: DUP1
00001123: SLOAD
00001124: DUP14
00001125: DUP5
00001126: ADD
00001127: ADD
00001128: SWAP1
00001129: DUP2
0000112a: SWAP1
0000112b: SSTORE
0000112c: PUSH2 0x113b
0000112f: SWAP2
00001130: SWAP1
00001131: PUSH4 0xffffffff
00001136: PUSH2 0x137f
00001139: AND
0000113a: JUMP
0000113b: JUMPDEST
0000113c: PUSH1 0x01
0000113e: SSTORE
0000113f: CALLER
00001140: PUSH1 0x00
00001142: DUP2
00001143: DUP2
00001144: MSTORE
00001145: PUSH1 0x04
00001147: PUSH1 0x20
00001149: SWAP1
0000114a: DUP2
0000114b: MSTORE
0000114c: PUSH1 0x40
0000114e: SWAP2
0000114f: DUP3
00001150: SWAP1
00001151: KECCAK256
00001152: DUP1
00001153: SLOAD
00001154: DUP16
00001155: ADD
00001156: SWAP1
00001157: SSTORE
00001158: DUP2
00001159: MLOAD
0000115a: DUP15
0000115b: DUP2
0000115c: MSTORE
0000115d: SWAP2
0000115e: MLOAD
0000115f: ADDRESS
00001160: SWAP3
00001161: PUSH1 0x00
00001163: DUP1
00001164: MLOAD
00001165: PUSH1 0x20
00001167: PUSH2 0x1bc7
0000116a: DUP4
0000116b: CODECOPY
0000116c: DUP2
0000116d: MLOAD
0000116e: SWAP2
0000116f: MSTORE
00001170: SWAP3
00001171: SWAP1
00001172: DUP3
00001173: SWAP1
00001174: SUB
00001175: ADD
00001176: SWAP1
00001177: LOG3
00001178: POP
00001179: PUSH1 0x0a
0000117b: SLOAD
0000117c: PUSH1 0x00
0000117e: SWAP11
0000117f: POP
00001180: DUP11
00001181: SWAP1
00001182: PUSH1 0x01
00001184: PUSH1 0xa0
00001186: PUSH1 0x02
00001188: EXP
00001189: SUB
0000118a: AND
0000118b: PUSH2 0x08fc
0000118e: PUSH2 0x119e
00001191: DUP13
00001192: PUSH1 0x05
00001194: PUSH4 0xffffffff
00001199: PUSH2 0x139b
0000119c: AND
0000119d: JUMP
0000119e: JUMPDEST
0000119f: PUSH1 0x40
000011a1: MLOAD
000011a2: DUP2
000011a3: ISZERO
000011a4: SWAP1
000011a5: SWAP3
000011a6: MUL
000011a7: SWAP2
000011a8: PUSH1 0x00
000011aa: DUP2
000011ab: DUP2
000011ac: DUP2
000011ad: DUP6
000011ae: DUP9
000011af: DUP9
000011b0: CALL
000011b1: SWAP4
000011b2: POP
000011b3: POP
000011b4: POP
000011b5: POP
000011b6: ISZERO
000011b7: DUP1
000011b8: ISZERO
000011b9: PUSH2 0x11c6
000011bc: JUMPI
000011bd: RETURNDATASIZE
000011be: PUSH1 0x00
000011c0: DUP1
000011c1: RETURNDATACOPY
000011c2: RETURNDATASIZE
000011c3: PUSH1 0x00
000011c5: REVERT
000011c6: JUMPDEST
000011c7: POP
000011c8: PUSH20 0x28ff20d2d413a346f123198385ccf16e15295351
000011dd: PUSH2 0x08fc
000011e0: PUSH2 0x11f0
000011e3: DUP13
000011e4: PUSH1 0x05
000011e6: PUSH4 0xffffffff
000011eb: PUSH2 0x139b
000011ee: AND
000011ef: JUMP
000011f0: JUMPDEST
000011f1: PUSH1 0x40
000011f3: MLOAD
000011f4: DUP2
000011f5: ISZERO
000011f6: SWAP1
000011f7: SWAP3
000011f8: MUL
000011f9: SWAP2
000011fa: PUSH1 0x00
000011fc: DUP2
000011fd: DUP2
000011fe: DUP2
000011ff: DUP6
00001200: DUP9
00001201: DUP9
00001202: CALL
00001203: SWAP4
00001204: POP
00001205: POP
00001206: POP
00001207: POP
00001208: ISZERO
00001209: DUP1
0000120a: ISZERO
0000120b: PUSH2 0x1218
0000120e: JUMPI
0000120f: RETURNDATASIZE
00001210: PUSH1 0x00
00001212: DUP1
00001213: RETURNDATACOPY
00001214: RETURNDATASIZE
00001215: PUSH1 0x00
00001217: REVERT
00001218: JUMPDEST
00001219: POP
0000121a: PUSH1 0x00
0000121c: DUP8
0000121d: GT
0000121e: ISZERO
0000121f: PUSH2 0x125e
00001222: JUMPI
00001223: PUSH1 0x05
00001225: SLOAD
00001226: PUSH1 0x40
00001228: MLOAD
00001229: PUSH1 0x01
0000122b: PUSH1 0xa0
0000122d: PUSH1 0x02
0000122f: EXP
00001230: SUB
00001231: SWAP1
00001232: SWAP2
00001233: AND
00001234: SWAP1
00001235: DUP9
00001236: ISZERO
00001237: PUSH2 0x08fc
0000123a: MUL
0000123b: SWAP1
0000123c: DUP10
0000123d: SWAP1
0000123e: PUSH1 0x00
00001240: DUP2
00001241: DUP2
00001242: DUP2
00001243: DUP6
00001244: DUP9
00001245: DUP9
00001246: CALL
00001247: SWAP4
00001248: POP
00001249: POP
0000124a: POP
0000124b: POP
0000124c: ISZERO
0000124d: DUP1
0000124e: ISZERO
0000124f: PUSH2 0x125c
00001252: JUMPI
00001253: RETURNDATASIZE
00001254: PUSH1 0x00
00001256: DUP1
00001257: RETURNDATACOPY
00001258: RETURNDATASIZE
00001259: PUSH1 0x00
0000125b: REVERT
0000125c: JUMPDEST
0000125d: POP
0000125e: JUMPDEST
0000125f: PUSH1 0x00
00001261: DUP7
00001262: GT
00001263: ISZERO
00001264: PUSH2 0x12a3
00001267: JUMPI
00001268: PUSH1 0x06
0000126a: SLOAD
0000126b: PUSH1 0x40
0000126d: MLOAD
0000126e: PUSH1 0x01
00001270: PUSH1 0xa0
00001272: PUSH1 0x02
00001274: EXP
00001275: SUB
00001276: SWAP1
00001277: SWAP2
00001278: AND
00001279: SWAP1
0000127a: DUP8
0000127b: ISZERO
0000127c: PUSH2 0x08fc
0000127f: MUL
00001280: SWAP1
00001281: DUP9
00001282: SWAP1
00001283: PUSH1 0x00
00001285: DUP2
00001286: DUP2
00001287: DUP2
00001288: DUP6
00001289: DUP9
0000128a: DUP9
0000128b: CALL
0000128c: SWAP4
0000128d: POP
0000128e: POP
0000128f: POP
00001290: POP
00001291: ISZERO
00001292: DUP1
00001293: ISZERO
00001294: PUSH2 0x12a1
00001297: JUMPI
00001298: RETURNDATASIZE
00001299: PUSH1 0x00
0000129b: DUP1
0000129c: RETURNDATACOPY
0000129d: RETURNDATASIZE
0000129e: PUSH1 0x00
000012a0: REVERT
000012a1: JUMPDEST
000012a2: POP
000012a3: JUMPDEST
000012a4: PUSH1 0x00
000012a6: DUP6
000012a7: GT
000012a8: ISZERO
000012a9: PUSH2 0x12e8
000012ac: JUMPI
000012ad: PUSH1 0x07
000012af: SLOAD
000012b0: PUSH1 0x40
000012b2: MLOAD
000012b3: PUSH1 0x01
000012b5: PUSH1 0xa0
000012b7: PUSH1 0x02
000012b9: EXP
000012ba: SUB
000012bb: SWAP1
000012bc: SWAP2
000012bd: AND
000012be: SWAP1
000012bf: DUP7
000012c0: ISZERO
000012c1: PUSH2 0x08fc
000012c4: MUL
000012c5: SWAP1
000012c6: DUP8
000012c7: SWAP1
000012c8: PUSH1 0x00
000012ca: DUP2
000012cb: DUP2
000012cc: DUP2
000012cd: DUP6
000012ce: DUP9
000012cf: DUP9
000012d0: CALL
000012d1: SWAP4
000012d2: POP
000012d3: POP
000012d4: POP
000012d5: POP
000012d6: ISZERO
000012d7: DUP1
000012d8: ISZERO
000012d9: PUSH2 0x12e6
000012dc: JUMPI
000012dd: RETURNDATASIZE
000012de: PUSH1 0x00
000012e0: DUP1
000012e1: RETURNDATACOPY
000012e2: RETURNDATASIZE
000012e3: PUSH1 0x00
000012e5: REVERT
000012e6: JUMPDEST
000012e7: POP
000012e8: JUMPDEST
000012e9: PUSH1 0x00
000012eb: DUP5
000012ec: GT
000012ed: ISZERO
000012ee: PUSH2 0x132d
000012f1: JUMPI
000012f2: PUSH1 0x08
000012f4: SLOAD
000012f5: PUSH1 0x40
000012f7: MLOAD
000012f8: PUSH1 0x01
000012fa: PUSH1 0xa0
000012fc: PUSH1 0x02
000012fe: EXP
000012ff: SUB
00001300: SWAP1
00001301: SWAP2
00001302: AND
00001303: SWAP1
00001304: DUP6
00001305: ISZERO
00001306: PUSH2 0x08fc
00001309: MUL
0000130a: SWAP1
0000130b: DUP7
0000130c: SWAP1
0000130d: PUSH1 0x00
0000130f: DUP2
00001310: DUP2
00001311: DUP2
00001312: DUP6
00001313: DUP9
00001314: DUP9
00001315: CALL
00001316: SWAP4
00001317: POP
00001318: POP
00001319: POP
0000131a: POP
0000131b: ISZERO
0000131c: DUP1
0000131d: ISZERO
0000131e: PUSH2 0x132b
00001321: JUMPI
00001322: RETURNDATASIZE
00001323: PUSH1 0x00
00001325: DUP1
00001326: RETURNDATACOPY
00001327: RETURNDATASIZE
00001328: PUSH1 0x00
0000132a: REVERT
0000132b: JUMPDEST
0000132c: POP
0000132d: JUMPDEST
0000132e: PUSH1 0x00
00001330: DUP4
00001331: GT
00001332: ISZERO
00001333: PUSH2 0x1372
00001336: JUMPI
00001337: PUSH1 0x09
00001339: SLOAD
0000133a: PUSH1 0x40
0000133c: MLOAD
0000133d: PUSH1 0x01
0000133f: PUSH1 0xa0
00001341: PUSH1 0x02
00001343: EXP
00001344: SUB
00001345: SWAP1
00001346: SWAP2
00001347: AND
00001348: SWAP1
00001349: DUP5
0000134a: ISZERO
0000134b: PUSH2 0x08fc
0000134e: MUL
0000134f: SWAP1
00001350: DUP6
00001351: SWAP1
00001352: PUSH1 0x00
00001354: DUP2
00001355: DUP2
00001356: DUP2
00001357: DUP6
00001358: DUP9
00001359: DUP9
0000135a: CALL
0000135b: SWAP4
0000135c: POP
0000135d: POP
0000135e: POP
0000135f: POP
00001360: ISZERO
00001361: DUP1
00001362: ISZERO
00001363: PUSH2 0x1370
00001366: JUMPI
00001367: RETURNDATASIZE
00001368: PUSH1 0x00
0000136a: DUP1
0000136b: RETURNDATACOPY
0000136c: RETURNDATASIZE
0000136d: PUSH1 0x00
0000136f: REVERT
00001370: JUMPDEST
00001371: POP
00001372: JUMPDEST
00001373: POP
00001374: POP
00001375: POP
00001376: POP
00001377: POP
00001378: POP
00001379: POP
0000137a: POP
0000137b: POP
0000137c: POP
0000137d: POP
0000137e: JUMP
0000137f: JUMPDEST
00001380: PUSH1 0x00
00001382: DUP1
00001383: DUP3
00001384: DUP5
00001385: DUP2
00001386: ISZERO
00001387: ISZERO
00001388: PUSH2 0x138d
0000138b: JUMPI
0000138c: INVALID
0000138d: JUMPDEST
0000138e: DIV
0000138f: SWAP1
00001390: POP
00001391: DUP1
00001392: SWAP2
00001393: POP
00001394: JUMPDEST
00001395: POP
00001396: SWAP3
00001397: SWAP2
00001398: POP
00001399: POP
0000139a: JUMP
0000139b: JUMPDEST
0000139c: PUSH1 0x00
0000139e: DUP1
0000139f: DUP4
000013a0: ISZERO
000013a1: ISZERO
000013a2: PUSH2 0x13ae
000013a5: JUMPI
000013a6: PUSH1 0x00
000013a8: SWAP2
000013a9: POP
000013aa: PUSH2 0x1394
000013ad: JUMP
000013ae: JUMPDEST
000013af: POP
000013b0: DUP3
000013b1: DUP3
000013b2: MUL
000013b3: DUP3
000013b4: DUP5
000013b5: DUP3
000013b6: DUP2
000013b7: ISZERO
000013b8: ISZERO
000013b9: PUSH2 0x13be
000013bc: JUMPI
000013bd: INVALID
000013be: JUMPDEST
000013bf: DIV
000013c0: EQ
000013c1: PUSH2 0x13c6
000013c4: JUMPI
000013c5: INVALID
000013c6: JUMPDEST
000013c7: SWAP4
000013c8: SWAP3
000013c9: POP
000013ca: POP
000013cb: POP
000013cc: JUMP
000013cd: JUMPDEST
000013ce: PUSH1 0x40
000013d0: DUP1
000013d1: MLOAD
000013d2: DUP1
000013d3: DUP3
000013d4: ADD
000013d5: SWAP1
000013d6: SWAP2
000013d7: MSTORE
000013d8: PUSH1 0x0a
000013da: DUP2
000013db: MSTORE
000013dc: PUSH32 0x4f6e557020544f4b454e00000000000000000000000000000000000000000000
000013fd: PUSH1 0x20
000013ff: DUP3
00001400: ADD
00001401: MSTORE
00001402: DUP2
00001403: JUMP
00001404: JUMPDEST
00001405: CALLER
00001406: PUSH1 0x00
00001408: DUP2
00001409: DUP2
0000140a: MSTORE
0000140b: PUSH1 0x03
0000140d: PUSH1 0x20
0000140f: SWAP1
00001410: DUP2
00001411: MSTORE
00001412: PUSH1 0x40
00001414: DUP1
00001415: DUP4
00001416: KECCAK256
00001417: PUSH1 0x01
00001419: PUSH1 0xa0
0000141b: PUSH1 0x02
0000141d: EXP
0000141e: SUB
0000141f: DUP8
00001420: AND
00001421: DUP1
00001422: DUP6
00001423: MSTORE
00001424: SWAP1
00001425: DUP4
00001426: MSTORE
00001427: SWAP3
00001428: DUP2
00001429: SWAP1
0000142a: KECCAK256
0000142b: DUP6
0000142c: SWAP1
0000142d: SSTORE
0000142e: DUP1
0000142f: MLOAD
00001430: DUP6
00001431: DUP2
00001432: MSTORE
00001433: SWAP1
00001434: MLOAD
00001435: SWAP3
00001436: SWAP4
00001437: SWAP3
00001438: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001459: SWAP3
0000145a: SWAP2
0000145b: DUP2
0000145c: SWAP1
0000145d: SUB
0000145e: SWAP1
0000145f: SWAP2
00001460: ADD
00001461: SWAP1
00001462: LOG3
00001463: POP
00001464: POP
00001465: JUMP
00001466: JUMPDEST
00001467: PUSH1 0x02
00001469: SLOAD
0000146a: DUP2
0000146b: JUMP
0000146c: JUMPDEST
0000146d: PUSH1 0x00
0000146f: DUP1
00001470: DUP1
00001471: PUSH1 0x60
00001473: PUSH1 0x64
00001475: CALLDATASIZE
00001476: LT
00001477: ISZERO
00001478: PUSH2 0x1480
0000147b: JUMPI
0000147c: PUSH1 0x00
0000147e: DUP1
0000147f: REVERT
00001480: JUMPDEST
00001481: PUSH1 0x01
00001483: PUSH1 0xa0
00001485: PUSH1 0x02
00001487: EXP
00001488: SUB
00001489: DUP8
0000148a: AND
0000148b: PUSH1 0x00
0000148d: SWAP1
0000148e: DUP2
0000148f: MSTORE
00001490: PUSH1 0x04
00001492: PUSH1 0x20
00001494: MSTORE
00001495: PUSH1 0x40
00001497: SWAP1
00001498: KECCAK256
00001499: SLOAD
0000149a: DUP6
0000149b: GT
0000149c: ISZERO
0000149d: PUSH2 0x14a5
000014a0: JUMPI
000014a1: PUSH1 0x00
000014a3: DUP1
000014a4: REVERT
000014a5: JUMPDEST
000014a6: PUSH1 0x01
000014a8: PUSH1 0xa0
000014aa: PUSH1 0x02
000014ac: EXP
000014ad: SUB
000014ae: DUP8
000014af: AND
000014b0: PUSH1 0x00
000014b2: SWAP1
000014b3: DUP2
000014b4: MSTORE
000014b5: PUSH1 0x03
000014b7: PUSH1 0x20
000014b9: SWAP1
000014ba: DUP2
000014bb: MSTORE
000014bc: PUSH1 0x40
000014be: DUP1
000014bf: DUP4
000014c0: KECCAK256
000014c1: CALLER
000014c2: DUP5
000014c3: MSTORE
000014c4: SWAP1
000014c5: SWAP2
000014c6: MSTORE
000014c7: SWAP1
000014c8: KECCAK256
000014c9: SLOAD
000014ca: DUP6
000014cb: GT
000014cc: ISZERO
000014cd: PUSH2 0x14d5
000014d0: JUMPI
000014d1: PUSH1 0x00
000014d3: DUP1
000014d4: REVERT
000014d5: JUMPDEST
000014d6: PUSH1 0x01
000014d8: PUSH1 0xa0
000014da: PUSH1 0x02
000014dc: EXP
000014dd: SUB
000014de: DUP7
000014df: AND
000014e0: ADDRESS
000014e1: EQ
000014e2: PUSH2 0x15ab
000014e5: JUMPI
000014e6: CALLER
000014e7: PUSH20 0x516e0debb3db8c2c087786ccf7653fa0991784b3
000014fc: EQ
000014fd: ISZERO
000014fe: PUSH2 0x1511
00001501: JUMPI
00001502: PUSH4 0x01312d01
00001507: DUP6
00001508: LT
00001509: PUSH2 0x1511
0000150c: JUMPI
0000150d: PUSH1 0x00
0000150f: DUP1
00001510: REVERT
00001511: JUMPDEST
00001512: PUSH1 0x01
00001514: PUSH1 0xa0
00001516: PUSH1 0x02
00001518: EXP
00001519: SUB
0000151a: DUP7
0000151b: AND
0000151c: PUSH1 0x00
0000151e: SWAP1
0000151f: DUP2
00001520: MSTORE
00001521: PUSH1 0x04
00001523: PUSH1 0x20
00001525: MSTORE
00001526: PUSH1 0x40
00001528: SWAP1
00001529: KECCAK256
0000152a: SLOAD
0000152b: DUP6
0000152c: DUP2
0000152d: ADD
0000152e: LT
0000152f: ISZERO
00001530: PUSH2 0x1538
00001533: JUMPI
00001534: PUSH1 0x00
00001536: DUP1
00001537: REVERT
00001538: JUMPDEST
00001539: PUSH1 0x01
0000153b: PUSH1 0xa0
0000153d: PUSH1 0x02
0000153f: EXP
00001540: SUB
00001541: DUP1
00001542: DUP9
00001543: AND
00001544: PUSH1 0x00
00001546: DUP2
00001547: DUP2
00001548: MSTORE
00001549: PUSH1 0x04
0000154b: PUSH1 0x20
0000154d: SWAP1
0000154e: DUP2
0000154f: MSTORE
00001550: PUSH1 0x40
00001552: DUP1
00001553: DUP4
00001554: KECCAK256
00001555: DUP1
00001556: SLOAD
00001557: DUP12
00001558: SWAP1
00001559: SUB
0000155a: SWAP1
0000155b: SSTORE
0000155c: SWAP4
0000155d: DUP11
0000155e: AND
0000155f: DUP1
00001560: DUP4
00001561: MSTORE
00001562: DUP5
00001563: DUP4
00001564: KECCAK256
00001565: DUP1
00001566: SLOAD
00001567: DUP12
00001568: ADD
00001569: SWAP1
0000156a: SSTORE
0000156b: DUP4
0000156c: DUP4
0000156d: MSTORE
0000156e: PUSH1 0x03
00001570: DUP3
00001571: MSTORE
00001572: DUP5
00001573: DUP4
00001574: KECCAK256
00001575: CALLER
00001576: DUP5
00001577: MSTORE
00001578: DUP3
00001579: MSTORE
0000157a: SWAP2
0000157b: DUP5
0000157c: SWAP1
0000157d: KECCAK256
0000157e: DUP1
0000157f: SLOAD
00001580: DUP11
00001581: SWAP1
00001582: SUB
00001583: SWAP1
00001584: SSTORE
00001585: DUP4
00001586: MLOAD
00001587: DUP10
00001588: DUP2
00001589: MSTORE
0000158a: SWAP4
0000158b: MLOAD
0000158c: SWAP2
0000158d: SWAP4
0000158e: PUSH1 0x00
00001590: DUP1
00001591: MLOAD
00001592: PUSH1 0x20
00001594: PUSH2 0x1bc7
00001597: DUP4
00001598: CODECOPY
00001599: DUP2
0000159a: MLOAD
0000159b: SWAP2
0000159c: MSTORE
0000159d: SWAP3
0000159e: SWAP1
0000159f: DUP2
000015a0: SWAP1
000015a1: SUB
000015a2: SWAP1
000015a3: SWAP2
000015a4: ADD
000015a5: SWAP1
000015a6: LOG3
000015a7: PUSH2 0x1805
000015aa: JUMP
000015ab: JUMPDEST
000015ac: PUSH1 0x01
000015ae: PUSH1 0xa0
000015b0: PUSH1 0x02
000015b2: EXP
000015b3: SUB
000015b4: DUP8
000015b5: AND
000015b6: PUSH20 0x516e0debb3db8c2c087786ccf7653fa0991784b3
000015cb: EQ
000015cc: ISZERO
000015cd: PUSH2 0x15d5
000015d0: JUMPI
000015d1: PUSH1 0x00
000015d3: DUP1
000015d4: REVERT
000015d5: JUMPDEST
000015d6: PUSH1 0x01
000015d8: PUSH1 0xa0
000015da: PUSH1 0x02
000015dc: EXP
000015dd: SUB
000015de: DUP8
000015df: AND
000015e0: PUSH1 0x00
000015e2: SWAP1
000015e3: DUP2
000015e4: MSTORE
000015e5: PUSH1 0x04
000015e7: PUSH1 0x20
000015e9: MSTORE
000015ea: PUSH1 0x40
000015ec: SWAP1
000015ed: KECCAK256
000015ee: DUP1
000015ef: SLOAD
000015f0: DUP7
000015f1: SWAP1
000015f2: SUB
000015f3: SWAP1
000015f4: SSTORE
000015f5: PUSH1 0x01
000015f7: SLOAD
000015f8: PUSH2 0x1608
000015fb: SWAP1
000015fc: DUP7
000015fd: SWAP1
000015fe: PUSH4 0xffffffff
00001603: PUSH2 0x139b
00001606: AND
00001607: JUMP
00001608: JUMPDEST
00001609: SWAP3
0000160a: POP
0000160b: ADDRESS
0000160c: BALANCE
0000160d: DUP4
0000160e: GT
0000160f: ISZERO
00001610: PUSH2 0x1618
00001613: JUMPI
00001614: PUSH1 0x00
00001616: DUP1
00001617: REVERT
00001618: JUMPDEST
00001619: DUP5
0000161a: PUSH1 0x02
0000161c: SLOAD
0000161d: GT
0000161e: ISZERO
0000161f: PUSH2 0x16e6
00001622: JUMPI
00001623: PUSH2 0x1645
00001626: PUSH1 0x02
00001628: SLOAD
00001629: PUSH1 0x00
0000162b: SLOAD
0000162c: ADDRESS
0000162d: PUSH1 0x01
0000162f: PUSH1 0xa0
00001631: PUSH1 0x02
00001633: EXP
00001634: SUB
00001635: AND
00001636: BALANCE
00001637: SUB
00001638: PUSH2 0x137f
0000163b: SWAP1
0000163c: SWAP2
0000163d: SWAP1
0000163e: PUSH4 0xffffffff
00001643: AND
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x00
00001648: DUP1
00001649: SLOAD
0000164a: DUP6
0000164b: SWAP1
0000164c: SUB
0000164d: SWAP1
0000164e: SSTORE
0000164f: PUSH1 0x02
00001651: DUP1
00001652: SLOAD
00001653: DUP8
00001654: SWAP1
00001655: SUB
00001656: SWAP1
00001657: SSTORE
00001658: SWAP2
00001659: POP
0000165a: PUSH2 0x1669
0000165d: DUP3
0000165e: DUP7
0000165f: PUSH4 0xffffffff
00001664: PUSH2 0x139b
00001667: AND
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH1 0x00
0000166c: DUP1
0000166d: SLOAD
0000166e: SWAP1
0000166f: SWAP2
00001670: ADD
00001671: SWAP1
00001672: DUP2
00001673: SWAP1
00001674: SSTORE
00001675: PUSH1 0x02
00001677: SLOAD
00001678: PUSH2 0x1687
0000167b: SWAP2
0000167c: SWAP1
0000167d: PUSH4 0xffffffff
00001682: PUSH2 0x137f
00001685: AND
00001686: JUMP
00001687: JUMPDEST
00001688: PUSH1 0x01
0000168a: SSTORE
0000168b: PUSH1 0x40
0000168d: DUP1
0000168e: MLOAD
0000168f: DUP7
00001690: DUP2
00001691: MSTORE
00001692: SWAP1
00001693: MLOAD
00001694: PUSH1 0x01
00001696: PUSH1 0xa0
00001698: PUSH1 0x02
0000169a: EXP
0000169b: SUB
0000169c: DUP1
0000169d: DUP10
0000169e: AND
0000169f: SWAP3
000016a0: SWAP1
000016a1: DUP11
000016a2: AND
000016a3: SWAP2
000016a4: PUSH1 0x00
000016a6: DUP1
000016a7: MLOAD
000016a8: PUSH1 0x20
000016aa: PUSH2 0x1bc7
000016ad: DUP4
000016ae: CODECOPY
000016af: DUP2
000016b0: MLOAD
000016b1: SWAP2
000016b2: MSTORE
000016b3: SWAP2
000016b4: DUP2
000016b5: SWAP1
000016b6: SUB
000016b7: PUSH1 0x20
000016b9: ADD
000016ba: SWAP1
000016bb: LOG3
000016bc: PUSH1 0x01
000016be: PUSH1 0xa0
000016c0: PUSH1 0x02
000016c2: EXP
000016c3: SUB
000016c4: DUP8
000016c5: AND
000016c6: PUSH1 0x00
000016c8: SWAP1
000016c9: DUP2
000016ca: MSTORE
000016cb: PUSH1 0x03
000016cd: PUSH1 0x20
000016cf: SWAP1
000016d0: DUP2
000016d1: MSTORE
000016d2: PUSH1 0x40
000016d4: DUP1
000016d5: DUP4
000016d6: KECCAK256
000016d7: CALLER
000016d8: DUP5
000016d9: MSTORE
000016da: SWAP1
000016db: SWAP2
000016dc: MSTORE
000016dd: SWAP1
000016de: KECCAK256
000016df: DUP1
000016e0: SLOAD
000016e1: DUP7
000016e2: SWAP1
000016e3: SUB
000016e4: SWAP1
000016e5: SSTORE
000016e6: JUMPDEST
000016e7: DUP5
000016e8: PUSH1 0x02
000016ea: SLOAD
000016eb: EQ
000016ec: ISZERO
000016ed: PUSH2 0x17cd
000016f0: JUMPI
000016f1: PUSH1 0x02
000016f3: SLOAD
000016f4: PUSH2 0x1705
000016f7: SWAP1
000016f8: ADDRESS
000016f9: BALANCE
000016fa: SWAP1
000016fb: PUSH4 0xffffffff
00001700: PUSH2 0x137f
00001703: AND
00001704: JUMP
00001705: JUMPDEST
00001706: PUSH1 0x01
00001708: DUP2
00001709: SWAP1
0000170a: SSTORE
0000170b: PUSH2 0x172e
0000170e: SWAP1
0000170f: PUSH1 0x64
00001711: SWAP1
00001712: PUSH2 0x1722
00001715: SWAP1
00001716: PUSH1 0x65
00001718: PUSH4 0xffffffff
0000171d: PUSH2 0x139b
00001720: AND
00001721: JUMP
00001722: JUMPDEST
00001723: SWAP1
00001724: PUSH4 0xffffffff
00001729: PUSH2 0x137f
0000172c: AND
0000172d: JUMP
0000172e: JUMPDEST
0000172f: PUSH1 0x01
00001731: SSTORE
00001732: PUSH1 0x00
00001734: PUSH1 0x02
00001736: DUP2
00001737: SWAP1
00001738: SSTORE
00001739: DUP1
0000173a: SSTORE
0000173b: PUSH1 0x40
0000173d: DUP1
0000173e: MLOAD
0000173f: DUP7
00001740: DUP2
00001741: MSTORE
00001742: SWAP1
00001743: MLOAD
00001744: PUSH1 0x01
00001746: PUSH1 0xa0
00001748: PUSH1 0x02
0000174a: EXP
0000174b: SUB
0000174c: DUP1
0000174d: DUP10
0000174e: AND
0000174f: SWAP3
00001750: SWAP1
00001751: DUP11
00001752: AND
00001753: SWAP2
00001754: PUSH1 0x00
00001756: DUP1
00001757: MLOAD
00001758: PUSH1 0x20
0000175a: PUSH2 0x1bc7
0000175d: DUP4
0000175e: CODECOPY
0000175f: DUP2
00001760: MLOAD
00001761: SWAP2
00001762: MSTORE
00001763: SWAP2
00001764: DUP2
00001765: SWAP1
00001766: SUB
00001767: PUSH1 0x20
00001769: ADD
0000176a: SWAP1
0000176b: LOG3
0000176c: PUSH1 0x01
0000176e: PUSH1 0xa0
00001770: PUSH1 0x02
00001772: EXP
00001773: SUB
00001774: DUP1
00001775: DUP9
00001776: AND
00001777: PUSH1 0x00
00001779: SWAP1
0000177a: DUP2
0000177b: MSTORE
0000177c: PUSH1 0x03
0000177e: PUSH1 0x20
00001780: SWAP1
00001781: DUP2
00001782: MSTORE
00001783: PUSH1 0x40
00001785: DUP1
00001786: DUP4
00001787: KECCAK256
00001788: CALLER
00001789: DUP5
0000178a: MSTORE
0000178b: SWAP1
0000178c: SWAP2
0000178d: MSTORE
0000178e: DUP1
0000178f: DUP3
00001790: KECCAK256
00001791: DUP1
00001792: SLOAD
00001793: DUP10
00001794: SWAP1
00001795: SUB
00001796: SWAP1
00001797: SSTORE
00001798: PUSH1 0x0a
0000179a: SLOAD
0000179b: SWAP1
0000179c: MLOAD
0000179d: SWAP3
0000179e: AND
0000179f: SWAP2
000017a0: ADDRESS
000017a1: BALANCE
000017a2: DUP7
000017a3: SWAP1
000017a4: SUB
000017a5: DUP1
000017a6: ISZERO
000017a7: PUSH2 0x08fc
000017aa: MUL
000017ab: SWAP3
000017ac: SWAP1
000017ad: SWAP2
000017ae: SWAP1
000017af: DUP2
000017b0: DUP2
000017b1: DUP2
000017b2: DUP6
000017b3: DUP9
000017b4: DUP9
000017b5: CALL
000017b6: SWAP4
000017b7: POP
000017b8: POP
000017b9: POP
000017ba: POP
000017bb: ISZERO
000017bc: DUP1
000017bd: ISZERO
000017be: PUSH2 0x17cb
000017c1: JUMPI
000017c2: RETURNDATASIZE
000017c3: PUSH1 0x00
000017c5: DUP1
000017c6: RETURNDATACOPY
000017c7: RETURNDATASIZE
000017c8: PUSH1 0x00
000017ca: REVERT
000017cb: JUMPDEST
000017cc: POP
000017cd: JUMPDEST
000017ce: PUSH1 0x40
000017d0: MLOAD
000017d1: PUSH1 0x01
000017d3: PUSH1 0xa0
000017d5: PUSH1 0x02
000017d7: EXP
000017d8: SUB
000017d9: DUP9
000017da: AND
000017db: SWAP1
000017dc: DUP5
000017dd: ISZERO
000017de: PUSH2 0x08fc
000017e1: MUL
000017e2: SWAP1
000017e3: DUP6
000017e4: SWAP1
000017e5: PUSH1 0x00
000017e7: DUP2
000017e8: DUP2
000017e9: DUP2
000017ea: DUP6
000017eb: DUP9
000017ec: DUP9
000017ed: CALL
000017ee: SWAP4
000017ef: POP
000017f0: POP
000017f1: POP
000017f2: POP
000017f3: ISZERO
000017f4: DUP1
000017f5: ISZERO
000017f6: PUSH2 0x1803
000017f9: JUMPI
000017fa: RETURNDATASIZE
000017fb: PUSH1 0x00
000017fd: DUP1
000017fe: RETURNDATACOPY
000017ff: RETURNDATASIZE
00001800: PUSH1 0x00
00001802: REVERT
00001803: JUMPDEST
00001804: POP
00001805: JUMPDEST
00001806: POP
00001807: PUSH1 0x01
00001809: SWAP7
0000180a: SWAP6
0000180b: POP
0000180c: POP
0000180d: POP
0000180e: POP
0000180f: POP
00001810: POP
00001811: JUMP
00001812: JUMPDEST
00001813: PUSH1 0x06
00001815: DUP2
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH1 0x01
0000181a: PUSH1 0xa0
0000181c: PUSH1 0x02
0000181e: EXP
0000181f: SUB
00001820: AND
00001821: PUSH1 0x00
00001823: SWAP1
00001824: DUP2
00001825: MSTORE
00001826: PUSH1 0x04
00001828: PUSH1 0x20
0000182a: MSTORE
0000182b: PUSH1 0x40
0000182d: SWAP1
0000182e: KECCAK256
0000182f: SLOAD
00001830: SWAP1
00001831: JUMP
00001832: JUMPDEST
00001833: PUSH1 0x0a
00001835: SLOAD
00001836: PUSH1 0x01
00001838: PUSH1 0xa0
0000183a: PUSH1 0x02
0000183c: EXP
0000183d: SUB
0000183e: AND
0000183f: DUP2
00001840: JUMP
00001841: JUMPDEST
00001842: PUSH1 0x40
00001844: DUP1
00001845: MLOAD
00001846: DUP1
00001847: DUP3
00001848: ADD
00001849: SWAP1
0000184a: SWAP2
0000184b: MSTORE
0000184c: PUSH1 0x04
0000184e: DUP2
0000184f: MSTORE
00001850: PUSH32 0x4f6e557000000000000000000000000000000000000000000000000000000000
00001871: PUSH1 0x20
00001873: DUP3
00001874: ADD
00001875: MSTORE
00001876: DUP2
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH1 0x01
0000187b: SLOAD
0000187c: DUP2
0000187d: JUMP
0000187e: JUMPDEST
0000187f: PUSH1 0x00
00001881: DUP1
00001882: DUP1
00001883: PUSH1 0x40
00001885: PUSH1 0x44
00001887: CALLDATASIZE
00001888: LT
00001889: ISZERO
0000188a: PUSH2 0x1892
0000188d: JUMPI
0000188e: PUSH1 0x00
00001890: DUP1
00001891: REVERT
00001892: JUMPDEST
00001893: CALLER
00001894: PUSH1 0x00
00001896: SWAP1
00001897: DUP2
00001898: MSTORE
00001899: PUSH1 0x04
0000189b: PUSH1 0x20
0000189d: MSTORE
0000189e: PUSH1 0x40
000018a0: SWAP1
000018a1: KECCAK256
000018a2: SLOAD
000018a3: DUP6
000018a4: GT
000018a5: ISZERO
000018a6: PUSH2 0x18ae
000018a9: JUMPI
000018aa: PUSH1 0x00
000018ac: DUP1
000018ad: REVERT
000018ae: JUMPDEST
000018af: PUSH1 0x01
000018b1: PUSH1 0xa0
000018b3: PUSH1 0x02
000018b5: EXP
000018b6: SUB
000018b7: DUP7
000018b8: AND
000018b9: ADDRESS
000018ba: EQ
000018bb: PUSH2 0x1969
000018be: JUMPI
000018bf: CALLER
000018c0: PUSH20 0x516e0debb3db8c2c087786ccf7653fa0991784b3
000018d5: EQ
000018d6: ISZERO
000018d7: PUSH2 0x18ea
000018da: JUMPI
000018db: PUSH4 0x01312d01
000018e0: DUP6
000018e1: LT
000018e2: PUSH2 0x18ea
000018e5: JUMPI
000018e6: PUSH1 0x00
000018e8: DUP1
000018e9: REVERT
000018ea: JUMPDEST
000018eb: PUSH1 0x01
000018ed: PUSH1 0xa0
000018ef: PUSH1 0x02
000018f1: EXP
000018f2: SUB
000018f3: DUP7
000018f4: AND
000018f5: PUSH1 0x00
000018f7: SWAP1
000018f8: DUP2
000018f9: MSTORE
000018fa: PUSH1 0x04
000018fc: PUSH1 0x20
000018fe: MSTORE
000018ff: PUSH1 0x40
00001901: SWAP1
00001902: KECCAK256
00001903: SLOAD
00001904: DUP6
00001905: DUP2
00001906: ADD
00001907: LT
00001908: ISZERO
00001909: PUSH2 0x1911
0000190c: JUMPI
0000190d: PUSH1 0x00
0000190f: DUP1
00001910: REVERT
00001911: JUMPDEST
00001912: CALLER
00001913: PUSH1 0x00
00001915: DUP2
00001916: DUP2
00001917: MSTORE
00001918: PUSH1 0x04
0000191a: PUSH1 0x20
0000191c: SWAP1
0000191d: DUP2
0000191e: MSTORE
0000191f: PUSH1 0x40
00001921: DUP1
00001922: DUP4
00001923: KECCAK256
00001924: DUP1
00001925: SLOAD
00001926: DUP11
00001927: SWAP1
00001928: SUB
00001929: SWAP1
0000192a: SSTORE
0000192b: PUSH1 0x01
0000192d: PUSH1 0xa0
0000192f: PUSH1 0x02
00001931: EXP
00001932: SUB
00001933: DUP11
00001934: AND
00001935: DUP1
00001936: DUP5
00001937: MSTORE
00001938: SWAP3
00001939: DUP2
0000193a: SWAP1
0000193b: KECCAK256
0000193c: DUP1
0000193d: SLOAD
0000193e: DUP11
0000193f: ADD
00001940: SWAP1
00001941: SSTORE
00001942: DUP1
00001943: MLOAD
00001944: DUP10
00001945: DUP2
00001946: MSTORE
00001947: SWAP1
00001948: MLOAD
00001949: SWAP3
0000194a: SWAP4
0000194b: SWAP3
0000194c: PUSH1 0x00
0000194e: DUP1
0000194f: MLOAD
00001950: PUSH1 0x20
00001952: PUSH2 0x1bc7
00001955: DUP4
00001956: CODECOPY
00001957: DUP2
00001958: MLOAD
00001959: SWAP2
0000195a: MSTORE
0000195b: SWAP3
0000195c: SWAP2
0000195d: DUP2
0000195e: SWAP1
0000195f: SUB
00001960: SWAP1
00001961: SWAP2
00001962: ADD
00001963: SWAP1
00001964: LOG3
00001965: PUSH2 0x1b49
00001968: JUMP
00001969: JUMPDEST
0000196a: CALLER
0000196b: PUSH20 0x516e0debb3db8c2c087786ccf7653fa0991784b3
00001980: EQ
00001981: ISZERO
00001982: PUSH2 0x198a
00001985: JUMPI
00001986: PUSH1 0x00
00001988: DUP1
00001989: REVERT
0000198a: JUMPDEST
0000198b: CALLER
0000198c: PUSH1 0x00
0000198e: SWAP1
0000198f: DUP2
00001990: MSTORE
00001991: PUSH1 0x04
00001993: PUSH1 0x20
00001995: MSTORE
00001996: PUSH1 0x40
00001998: SWAP1
00001999: KECCAK256
0000199a: DUP1
0000199b: SLOAD
0000199c: DUP7
0000199d: SWAP1
0000199e: SUB
0000199f: SWAP1
000019a0: SSTORE
000019a1: PUSH1 0x01
000019a3: SLOAD
000019a4: PUSH2 0x19b4
000019a7: SWAP1
000019a8: DUP7
000019a9: SWAP1
000019aa: PUSH4 0xffffffff
000019af: PUSH2 0x139b
000019b2: AND
000019b3: JUMP
000019b4: JUMPDEST
000019b5: SWAP3
000019b6: POP
000019b7: ADDRESS
000019b8: BALANCE
000019b9: DUP4
000019ba: GT
000019bb: ISZERO
000019bc: PUSH2 0x19c4
000019bf: JUMPI
000019c0: PUSH1 0x00
000019c2: DUP1
000019c3: REVERT
000019c4: JUMPDEST
000019c5: DUP5
000019c6: PUSH1 0x02
000019c8: SLOAD
000019c9: GT
000019ca: ISZERO
000019cb: PUSH2 0x1a65
000019ce: JUMPI
000019cf: PUSH2 0x19f1
000019d2: PUSH1 0x02
000019d4: SLOAD
000019d5: PUSH1 0x00
000019d7: SLOAD
000019d8: ADDRESS
000019d9: PUSH1 0x01
000019db: PUSH1 0xa0
000019dd: PUSH1 0x02
000019df: EXP
000019e0: SUB
000019e1: AND
000019e2: BALANCE
000019e3: SUB
000019e4: PUSH2 0x137f
000019e7: SWAP1
000019e8: SWAP2
000019e9: SWAP1
000019ea: PUSH4 0xffffffff
000019ef: AND
000019f0: JUMP
000019f1: JUMPDEST
000019f2: PUSH1 0x00
000019f4: DUP1
000019f5: SLOAD
000019f6: DUP6
000019f7: SWAP1
000019f8: SUB
000019f9: SWAP1
000019fa: SSTORE
000019fb: PUSH1 0x02
000019fd: DUP1
000019fe: SLOAD
000019ff: DUP8
00001a00: SWAP1
00001a01: SUB
00001a02: SWAP1
00001a03: SSTORE
00001a04: SWAP2
00001a05: POP
00001a06: PUSH2 0x1a15
00001a09: DUP3
00001a0a: DUP7
00001a0b: PUSH4 0xffffffff
00001a10: PUSH2 0x139b
00001a13: AND
00001a14: JUMP
00001a15: JUMPDEST
00001a16: PUSH1 0x00
00001a18: DUP1
00001a19: SLOAD
00001a1a: SWAP1
00001a1b: SWAP2
00001a1c: ADD
00001a1d: SWAP1
00001a1e: DUP2
00001a1f: SWAP1
00001a20: SSTORE
00001a21: PUSH1 0x02
00001a23: SLOAD
00001a24: PUSH2 0x1a33
00001a27: SWAP2
00001a28: SWAP1
00001a29: PUSH4 0xffffffff
00001a2e: PUSH2 0x137f
00001a31: AND
00001a32: JUMP
00001a33: JUMPDEST
00001a34: PUSH1 0x01
00001a36: SSTORE
00001a37: PUSH1 0x40
00001a39: DUP1
00001a3a: MLOAD
00001a3b: DUP7
00001a3c: DUP2
00001a3d: MSTORE
00001a3e: SWAP1
00001a3f: MLOAD
00001a40: PUSH1 0x01
00001a42: PUSH1 0xa0
00001a44: PUSH1 0x02
00001a46: EXP
00001a47: SUB
00001a48: DUP9
00001a49: AND
00001a4a: SWAP2
00001a4b: CALLER
00001a4c: SWAP2
00001a4d: PUSH1 0x00
00001a4f: DUP1
00001a50: MLOAD
00001a51: PUSH1 0x20
00001a53: PUSH2 0x1bc7
00001a56: DUP4
00001a57: CODECOPY
00001a58: DUP2
00001a59: MLOAD
00001a5a: SWAP2
00001a5b: MSTORE
00001a5c: SWAP2
00001a5d: DUP2
00001a5e: SWAP1
00001a5f: SUB
00001a60: PUSH1 0x20
00001a62: ADD
00001a63: SWAP1
00001a64: LOG3
00001a65: JUMPDEST
00001a66: DUP5
00001a67: PUSH1 0x02
00001a69: SLOAD
00001a6a: EQ
00001a6b: ISZERO
00001a6c: PUSH2 0x1b1a
00001a6f: JUMPI
00001a70: PUSH1 0x02
00001a72: SLOAD
00001a73: PUSH2 0x1a84
00001a76: SWAP1
00001a77: ADDRESS
00001a78: BALANCE
00001a79: SWAP1
00001a7a: PUSH4 0xffffffff
00001a7f: PUSH2 0x137f
00001a82: AND
00001a83: JUMP
00001a84: JUMPDEST
00001a85: PUSH1 0x01
00001a87: DUP2
00001a88: SWAP1
00001a89: SSTORE
00001a8a: PUSH2 0x1aa1
00001a8d: SWAP1
00001a8e: PUSH1 0x64
00001a90: SWAP1
00001a91: PUSH2 0x1722
00001a94: SWAP1
00001a95: PUSH1 0x65
00001a97: PUSH4 0xffffffff
00001a9c: PUSH2 0x139b
00001a9f: AND
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH1 0x01
00001aa4: SSTORE
00001aa5: PUSH1 0x00
00001aa7: PUSH1 0x02
00001aa9: DUP2
00001aaa: SWAP1
00001aab: SSTORE
00001aac: DUP1
00001aad: SSTORE
00001aae: PUSH1 0x40
00001ab0: DUP1
00001ab1: MLOAD
00001ab2: DUP7
00001ab3: DUP2
00001ab4: MSTORE
00001ab5: SWAP1
00001ab6: MLOAD
00001ab7: PUSH1 0x01
00001ab9: PUSH1 0xa0
00001abb: PUSH1 0x02
00001abd: EXP
00001abe: SUB
00001abf: DUP9
00001ac0: AND
00001ac1: SWAP2
00001ac2: CALLER
00001ac3: SWAP2
00001ac4: PUSH1 0x00
00001ac6: DUP1
00001ac7: MLOAD
00001ac8: PUSH1 0x20
00001aca: PUSH2 0x1bc7
00001acd: DUP4
00001ace: CODECOPY
00001acf: DUP2
00001ad0: MLOAD
00001ad1: SWAP2
00001ad2: MSTORE
00001ad3: SWAP2
00001ad4: DUP2
00001ad5: SWAP1
00001ad6: SUB
00001ad7: PUSH1 0x20
00001ad9: ADD
00001ada: SWAP1
00001adb: LOG3
00001adc: PUSH1 0x0a
00001ade: SLOAD
00001adf: PUSH1 0x40
00001ae1: MLOAD
00001ae2: PUSH1 0x01
00001ae4: PUSH1 0xa0
00001ae6: PUSH1 0x02
00001ae8: EXP
00001ae9: SUB
00001aea: SWAP1
00001aeb: SWAP2
00001aec: AND
00001aed: SWAP1
00001aee: ADDRESS
00001aef: BALANCE
00001af0: DUP6
00001af1: SWAP1
00001af2: SUB
00001af3: DUP1
00001af4: ISZERO
00001af5: PUSH2 0x08fc
00001af8: MUL
00001af9: SWAP2
00001afa: PUSH1 0x00
00001afc: DUP2
00001afd: DUP2
00001afe: DUP2
00001aff: DUP6
00001b00: DUP9
00001b01: DUP9
00001b02: CALL
00001b03: SWAP4
00001b04: POP
00001b05: POP
00001b06: POP
00001b07: POP
00001b08: ISZERO
00001b09: DUP1
00001b0a: ISZERO
00001b0b: PUSH2 0x1b18
00001b0e: JUMPI
00001b0f: RETURNDATASIZE
00001b10: PUSH1 0x00
00001b12: DUP1
00001b13: RETURNDATACOPY
00001b14: RETURNDATASIZE
00001b15: PUSH1 0x00
00001b17: REVERT
00001b18: JUMPDEST
00001b19: POP
00001b1a: JUMPDEST
00001b1b: PUSH1 0x40
00001b1d: MLOAD
00001b1e: CALLER
00001b1f: SWAP1
00001b20: DUP5
00001b21: ISZERO
00001b22: PUSH2 0x08fc
00001b25: MUL
00001b26: SWAP1
00001b27: DUP6
00001b28: SWAP1
00001b29: PUSH1 0x00
00001b2b: DUP2
00001b2c: DUP2
00001b2d: DUP2
00001b2e: DUP6
00001b2f: DUP9
00001b30: DUP9
00001b31: CALL
00001b32: SWAP4
00001b33: POP
00001b34: POP
00001b35: POP
00001b36: POP
00001b37: ISZERO
00001b38: DUP1
00001b39: ISZERO
00001b3a: PUSH2 0x1b47
00001b3d: JUMPI
00001b3e: RETURNDATASIZE
00001b3f: PUSH1 0x00
00001b41: DUP1
00001b42: RETURNDATACOPY
00001b43: RETURNDATASIZE
00001b44: PUSH1 0x00
00001b46: REVERT
00001b47: JUMPDEST
00001b48: POP
00001b49: JUMPDEST
00001b4a: POP
00001b4b: PUSH1 0x01
00001b4d: SWAP6
00001b4e: SWAP5
00001b4f: POP
00001b50: POP
00001b51: POP
00001b52: POP
00001b53: POP
00001b54: JUMP
00001b55: JUMPDEST
00001b56: PUSH1 0x0b
00001b58: PUSH1 0x20
00001b5a: MSTORE
00001b5b: PUSH1 0x00
00001b5d: SWAP1
00001b5e: DUP2
00001b5f: MSTORE
00001b60: PUSH1 0x40
00001b62: SWAP1
00001b63: KECCAK256
00001b64: SLOAD
00001b65: PUSH1 0x01
00001b67: PUSH1 0xa0
00001b69: PUSH1 0x02
00001b6b: EXP
00001b6c: SUB
00001b6d: AND
00001b6e: DUP2
00001b6f: JUMP
00001b70: JUMPDEST
00001b71: PUSH1 0x0d
00001b73: PUSH1 0x20
00001b75: MSTORE
00001b76: PUSH1 0x00
00001b78: SWAP1
00001b79: DUP2
00001b7a: MSTORE
00001b7b: PUSH1 0x40
00001b7d: SWAP1
00001b7e: KECCAK256
00001b7f: SLOAD
00001b80: DUP2
00001b81: JUMP
00001b82: JUMPDEST
00001b83: PUSH1 0x01
00001b85: PUSH1 0xa0
00001b87: PUSH1 0x02
00001b89: EXP
00001b8a: SUB
00001b8b: SWAP2
00001b8c: DUP3
00001b8d: AND
00001b8e: PUSH1 0x00
00001b90: SWAP1
00001b91: DUP2
00001b92: MSTORE
00001b93: PUSH1 0x03
00001b95: PUSH1 0x20
00001b97: SWAP1
00001b98: DUP2
00001b99: MSTORE
00001b9a: PUSH1 0x40
00001b9c: DUP1
00001b9d: DUP4
00001b9e: KECCAK256
00001b9f: SWAP4
00001ba0: SWAP1
00001ba1: SWAP5
00001ba2: AND
00001ba3: DUP3
00001ba4: MSTORE
00001ba5: SWAP2
00001ba6: SWAP1
00001ba7: SWAP2
00001ba8: MSTORE
00001ba9: KECCAK256
00001baa: SLOAD
00001bab: SWAP1
00001bac: JUMP
00001bad: JUMPDEST
00001bae: PUSH1 0x0c
00001bb0: PUSH1 0x20
00001bb2: MSTORE
00001bb3: PUSH1 0x00
00001bb5: SWAP1
00001bb6: DUP2
00001bb7: MSTORE
00001bb8: PUSH1 0x40
00001bba: SWAP1
00001bbb: KECCAK256
00001bbc: SLOAD
00001bbd: DUP2
00001bbe: JUMP
00001bbf: JUMPDEST
00001bc0: PUSH1 0x14
00001bc2: ADD
00001bc3: MLOAD
00001bc4: SWAP1
00001bc5: JUMP
00001bc6: STOP
00001bc7: UNKNOWN(0xDD)
00001bc8: CALLCODE
00001bc9: MSTORE
00001bca: UNKNOWN(0xAD)
00001bcb: SHL
00001bcc: UNKNOWN(0xE2)
00001bcd: UNKNOWN(0xC8)
00001bce: SWAP12
00001bcf: PUSH10 0xc2b068fc378daa952ba7
00001bda: CALL
00001bdb: PUSH4 0xc4a11628
00001be0: CREATE2
00001be1: GAS
00001be2: UNKNOWN(0x4D)
00001be3: CREATE2
00001be4: UNKNOWN(0x23)
00001be5: UNKNOWN(0xB3)
00001be6: UNKNOWN(0xEF)
00001be7: LOG1
00001be8: PUSH6 0x627a7a723058
00001bef: KECCAK256
00001bf0: UNKNOWN(0xBD)
00001bf1: UNKNOWN(0x29)
00001bf2: DUP14
00001bf3: UNKNOWN(0xAE)
00001bf4: SWAP4
00001bf5: PUSH30

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x71ae7f8c314d3f0e255d64cddb6a19676a0365ab8a12409adac82f87ae272f25
call_targets: 0xc213539cb2fda6940507f50f40060f5cbbe38e00
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x71ae7f8c314d3f0e255d64cddb6a19676a0365ab8a12409adac82f87ae272f25",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc213539cb2fda6940507f50f40060f5cbbe38e00"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4528,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4610,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4678,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 13,
    "guards_detected": [
        {
            "pc": 291,
            "type": "msg_sender_eq_const",
            "value": 9.792211103413608e+47
        },
        {
            "pc": 370,
            "type": "msg_sender_eq_const",
            "value": 2.3404918019292407e+47
        },
        {
            "pc": 2438,
            "type": "msg_sender_eq_const",
            "value": 2.3404918019292407e+47
        },
        {
            "pc": 2492,
            "type": "msg_sender_eq_const",
            "value": 4.648825470737145e+47
        },
        {
            "pc": 5372,
            "type": "msg_sender_eq_const",
            "value": 4.648825470737145e+47
        },
        {
            "pc": 6357,
            "type": "msg_sender_eq_const",
            "value": 4.648825470737145e+47
        },
        {
            "pc": 6528,
            "type": "msg_sender_eq_const",
            "value": 4.648825470737145e+47
        },
        {
            "pc": 269,
            "type": "msg_sender_eq_const",
            "value": "0xab85cb1087ce716e11dc37c69eaabc09d674575d"
        },
        {
            "pc": 348,
            "type": "msg_sender_eq_const",
            "value": "0x28ff20d2d413a346f123198385ccf16e15295351"
        },
        {
            "pc": 2416,
            "type": "msg_sender_eq_const",
            "value": "0x28ff20d2d413a346f123198385ccf16e15295351"
        },
        {
            "pc": 2470,
            "type": "msg_sender_eq_const",
            "value": "0x516e0debb3db8c2c087786ccf7653fa0991784b3"
        },
        {
            "pc": 5350,
            "type": "msg_sender_eq_const",
            "value": "0x516e0debb3db8c2c087786ccf7653fa0991784b3"
        },
        {
            "pc": 6335,
            "type": "msg_sender_eq_const",
            "value": "0x516e0debb3db8c2c087786ccf7653fa0991784b3"
        },
        {
            "pc": 6506,
            "type": "msg_sender_eq_const",
            "value": "0x516e0debb3db8c2c087786ccf7653fa0991784b3"
        }
    ],
    "untrusted_call_count": 13
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x71ae7f8c314d3f0e255d64cddb6a19676a0365ab8a12409adac82f87ae272f25
call_targets: 0xc213539cb2fda6940507f50f40060f5cbbe38e00
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x71ae7f8c314d3f0e255d64cddb6a19676a0365ab8a12409adac82f87ae272f25",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc213539cb2fda6940507f50f40060f5cbbe38e00"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4528,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4610,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4678,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 13,
    "guards_detected": [
        {
            "pc": 291,
            "type": "msg_sender_eq_const",
            "value": 9.792211103413608e+47
        },
        {
            "pc": 370,
            "type": "msg_sender_eq_const",
            "value": 2.3404918019292407e+47
        },
        {
            "pc": 2438,
            "type": "msg_sender_eq_const",
            "value": 2.3404918019292407e+47
        },
        {
            "pc": 2492,
            "type": "msg_sender_eq_const",
            "value": 4.648825470737145e+47
        },
        {
            "pc": 5372,
            "type": "msg_sender_eq_const",
            "value": 4.648825470737145e+47
        },
        {
            "pc": 6357,
            "type": "msg_sender_eq_const",
            "value": 4.648825470737145e+47
        },
        {
            "pc": 6528,
            "type": "msg_sender_eq_const",
            "value": 4.648825470737145e+47
        },
        {
            "pc": 269,
            "type": "msg_sender_eq_const",
            "value": "0xab85cb1087ce716e11dc37c69eaabc09d674575d"
        },
        {
            "pc": 348,
            "type": "msg_sender_eq_const",
            "value": "0x28ff20d2d413a346f123198385ccf16e15295351"
        },
        {
            "pc": 2416,
            "type": "msg_sender_eq_const",
            "value": "0x28ff20d2d413a346f123198385ccf16e15295351"
        },
        {
            "pc": 2470,
            "type": "msg_sender_eq_const",
            "value": "0x516e0debb3db8c2c087786ccf7653fa0991784b3"
        },
        {
            "pc": 5350,
            "type": "msg_sender_eq_const",
            "value": "0x516e0debb3db8c2c087786ccf7653fa0991784b3"
        },
        {
            "pc": 6335,
            "type": "msg_sender_eq_const",
            "value": "0x516e0debb3db8c2c087786ccf7653fa0991784b3"
        },
        {
            "pc": 6506,
            "type": "msg_sender_eq_const",
            "value": "0x516e0debb3db8c2c087786ccf7653fa0991784b3"
        }
    ]
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xadc0c319631e417fc33ead2f96726d3e9450bb04e6f8edb2d7bb5cb483c1cde3
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 28,
    "trace_id": "0xadc0c319631e417fc33ead2f96726d3e9450bb04e6f8edb2d7bb5cb483c1cde3",
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 0,
    "create2_count": 2
}