Analysis Run

019b477e-bace-729a-b670-803c31de91df
complete
Chain ID
1
Address
0x0000000000000eb4ec62758aae93400b3e5f7f18
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
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23799	artifact.fetch	complete	1 / 3	3 months ago
23800	tool.cast_disasm	complete	1 / 3	3 months ago
90085	analysis.bundle	complete	1 / 3	2 weeks ago
90086	capability.graph	complete	1 / 3	2 weeks ago
90087	detector.run	complete	1 / 3	2 weeks ago
90088	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
2
CREATE2
1
CALL-family (heavy)
24
EXT*/BALANCE
2
Total opcodes
5122
Flags
selfdestruct_present create_opcodes_present call_family_heavy
View cast disassembly output
00000000: CALLDATASIZE
00000001: ISZERO
00000002: ISZERO
00000003: PUSH2 0x0008
00000006: JUMPI
00000007: STOP
00000008: JUMPDEST
00000009: MSIZE
0000000a: CALLDATALOAD
0000000b: DUP1
0000000c: PUSH1 0x00
0000000e: BYTE
0000000f: PUSH1 0x00
00000011: DUP2
00000012: EQ
00000013: ISZERO
00000014: PUSH2 0x0035
00000017: JUMPI
00000018: PUSH1 0x0e
0000001a: CALLER
0000001b: SLOAD
0000001c: XOR
0000001d: ISZERO
0000001e: PUSH2 0x002a
00000021: JUMPI
00000022: PUSH2 0x0029
00000025: PUSH2 0x0129
00000028: JUMP
00000029: JUMPDEST
0000002a: JUMPDEST
0000002b: PUSH2 0x0033
0000002e: DUP3
0000002f: PUSH2 0x015e
00000032: JUMP
00000033: JUMPDEST
00000034: STOP
00000035: JUMPDEST
00000036: PUSH1 0x01
00000038: DUP2
00000039: EQ
0000003a: ISZERO
0000003b: PUSH2 0x004c
0000003e: JUMPI
0000003f: PUSH2 0x004a
00000042: DUP3
00000043: PUSH1 0x01
00000045: BYTE
00000046: PUSH2 0x03be
00000049: JUMP
0000004a: JUMPDEST
0000004b: STOP
0000004c: JUMPDEST
0000004d: PUSH2 0x0054
00000050: PUSH2 0x0129
00000053: JUMP
00000054: JUMPDEST
00000055: DUP1
00000056: PUSH1 0x11
00000058: DUP2
00000059: EQ
0000005a: PUSH2 0x008c
0000005d: JUMPI
0000005e: PUSH1 0x12
00000060: DUP2
00000061: EQ
00000062: PUSH2 0x009a
00000065: JUMPI
00000066: PUSH1 0x13
00000068: DUP2
00000069: EQ
0000006a: PUSH2 0x00ca
0000006d: JUMPI
0000006e: PUSH1 0xae
00000070: DUP2
00000071: EQ
00000072: PUSH2 0x00d8
00000075: JUMPI
00000076: PUSH1 0xff
00000078: DUP2
00000079: EQ
0000007a: PUSH2 0x00e7
0000007d: JUMPI
0000007e: PUSH2 0x0087
00000081: PUSH1 0xff
00000083: PUSH2 0x0108
00000086: JUMP
00000087: JUMPDEST
00000088: PUSH2 0x00ff
0000008b: JUMP
0000008c: JUMPDEST
0000008d: PUSH2 0x0095
00000090: DUP4
00000091: PUSH2 0x0321
00000094: JUMP
00000095: JUMPDEST
00000096: PUSH2 0x00ff
00000099: JUMP
0000009a: JUMPDEST
0000009b: PUSH1 0x41
0000009d: CALLDATASIZE
0000009e: SUB
0000009f: DUP1
000000a0: PUSH1 0x41
000000a2: PUSH1 0x00
000000a4: CALLDATACOPY
000000a5: PUSH1 0x00
000000a7: PUSH1 0x00
000000a9: DUP3
000000aa: PUSH1 0x00
000000ac: PUSH1 0x21
000000ae: CALLDATALOAD
000000af: PUSH1 0x01
000000b1: CALLDATALOAD
000000b2: GAS
000000b3: CALL
000000b4: ISZERO
000000b5: ISZERO
000000b6: PUSH2 0x00c4
000000b9: JUMPI
000000ba: PUSH2 0x00c3
000000bd: PUSH1 0x14
000000bf: PUSH2 0x0108
000000c2: JUMP
000000c3: JUMPDEST
000000c4: JUMPDEST
000000c5: POP
000000c6: PUSH2 0x00ff
000000c9: JUMP
000000ca: JUMPDEST
000000cb: PUSH2 0x00d3
000000ce: DUP4
000000cf: PUSH2 0x0374
000000d2: JUMP
000000d3: JUMPDEST
000000d4: PUSH2 0x00ff
000000d7: JUMP
000000d8: JUMPDEST
000000d9: PUSH1 0x0e
000000db: DUP4
000000dc: PUSH1 0x60
000000de: SHL
000000df: PUSH1 0x60
000000e1: SHR
000000e2: SSTORE
000000e3: PUSH2 0x00ff
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP3
000000e9: PUSH1 0x60
000000eb: SHL
000000ec: PUSH1 0x00
000000ee: DUP2
000000ef: EQ
000000f0: PUSH2 0x00fa
000000f3: JUMPI
000000f4: DUP4
000000f5: SELFDESTRUCT
000000f6: PUSH2 0x00fd
000000f9: JUMP
000000fa: JUMPDEST
000000fb: CALLER
000000fc: SELFDESTRUCT
000000fd: JUMPDEST
000000fe: POP
000000ff: JUMPDEST
00000100: POP
00000101: POP
00000102: POP
00000103: STOP
00000104: PUSH2 0x1c96
00000107: JUMP
00000108: JUMPDEST
00000109: PUSH1 0x14
0000010b: DUP2
0000010c: XOR
0000010d: ISZERO
0000010e: PUSH2 0x011b
00000111: JUMPI
00000112: DUP1
00000113: PUSH1 0x00
00000115: MSTORE8
00000116: PUSH1 0x01
00000118: PUSH1 0x00
0000011a: REVERT
0000011b: JUMPDEST
0000011c: RETURNDATASIZE
0000011d: PUSH1 0x00
0000011f: PUSH1 0x00
00000121: RETURNDATACOPY
00000122: RETURNDATASIZE
00000123: PUSH1 0x00
00000125: REVERT
00000126: JUMPDEST
00000127: POP
00000128: JUMP
00000129: JUMPDEST
0000012a: PUSH1 0x34
0000012c: PUSH1 0x34
0000012e: CODESIZE
0000012f: SUB
00000130: PUSH1 0x00
00000132: CODECOPY
00000133: PUSH1 0x20
00000135: MLOAD
00000136: CALLER
00000137: PUSH1 0x00
00000139: MLOAD
0000013a: MUL
0000013b: PUSH1 0x60
0000013d: SHL
0000013e: DUP2
0000013f: XOR
00000140: ISZERO
00000141: PUSH2 0x015a
00000144: JUMPI
00000145: CALLER
00000146: PUSH1 0x00
00000148: SLOAD
00000149: XOR
0000014a: ISZERO
0000014b: PUSH2 0x0159
0000014e: JUMPI
0000014f: PUSH2 0x0158
00000152: PUSH1 0xad
00000154: PUSH2 0x0108
00000157: JUMP
00000158: JUMPDEST
00000159: JUMPDEST
0000015a: JUMPDEST
0000015b: POP
0000015c: JUMPDEST
0000015d: JUMP
0000015e: JUMPDEST
0000015f: SELFBALANCE
00000160: PUSH1 0x01
00000162: PUSH1 0xf8
00000164: SHL
00000165: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000017a: OR
0000017b: DUP3
0000017c: PUSH1 0x01
0000017e: BYTE
0000017f: DUP1
00000180: PUSH1 0x01
00000182: ADD
00000183: DUP1
00000184: PUSH1 0x20
00000186: MUL
00000187: PUSH1 0x20
00000189: ADD
0000018a: PUSH1 0x00
0000018c: MSTORE
0000018d: DUP5
0000018e: PUSH1 0x80
00000190: SHL
00000191: PUSH1 0x80
00000193: SHR
00000194: DUP3
00000195: PUSH1 0x00
00000197: ADDRESS
00000198: DUP9
00000199: PUSH1 0x02
0000019b: BYTE
0000019c: DUP1
0000019d: PUSH1 0x01
0000019f: AND
000001a0: ISZERO
000001a1: PUSH2 0x01ab
000001a4: JUMPI
000001a5: DUP8
000001a6: SWAP3
000001a7: POP
000001a8: DUP6
000001a9: SWAP4
000001aa: POP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH1 0x02
000001af: AND
000001b0: ISZERO
000001b1: PUSH2 0x01c4
000001b4: JUMPI
000001b5: PUSH1 0x01
000001b7: PUSH1 0xf0
000001b9: SHL
000001ba: DUP9
000001bb: OR
000001bc: SWAP2
000001bd: POP
000001be: DUP4
000001bf: PUSH1 0x01
000001c1: ADD
000001c2: SWAP4
000001c3: POP
000001c4: JUMPDEST
000001c5: POP
000001c6: DUP4
000001c7: SWAP7
000001c8: POP
000001c9: PUSH1 0x00
000001cb: SWAP5
000001cc: POP
000001cd: DUP5
000001ce: DUP6
000001cf: PUSH1 0x20
000001d1: ADD
000001d2: DUP6
000001d3: DUP2
000001d4: MSTORE
000001d5: JUMPDEST
000001d6: PUSH1 0x00
000001d8: DUP10
000001d9: GT
000001da: DUP9
000001db: DUP9
000001dc: LT
000001dd: AND
000001de: ISZERO
000001df: PUSH2 0x0213
000001e2: JUMPI
000001e3: JUMPDEST
000001e4: PUSH2 0x01f3
000001e7: DUP3
000001e8: PUSH1 0x20
000001ea: ADD
000001eb: CALLDATALOAD
000001ec: CALLER
000001ed: XOR
000001ee: DUP11
000001ef: PUSH2 0x04c9
000001f2: JUMP
000001f3: JUMPDEST
000001f4: DUP1
000001f5: SWAP10
000001f6: POP
000001f7: PUSH1 0x01
000001f9: DUP9
000001fa: ADD
000001fb: DUP1
000001fc: SWAP9
000001fd: POP
000001fe: PUSH1 0x20
00000200: DUP2
00000201: MUL
00000202: SWAP1
00000203: POP
00000204: DUP1
00000205: SWAP4
00000206: POP
00000207: DUP2
00000208: DUP2
00000209: PUSH1 0x20
0000020b: ADD
0000020c: MSTORE
0000020d: POP
0000020e: POP
0000020f: PUSH2 0x01d5
00000212: JUMP
00000213: JUMPDEST
00000214: PUSH2 0x021c
00000217: DUP6
00000218: PUSH2 0x18a8
0000021b: JUMP
0000021c: JUMPDEST
0000021d: DUP7
0000021e: ADD
0000021f: DUP10
00000220: LT
00000221: ISZERO
00000222: PUSH2 0x024f
00000225: JUMPI
00000226: DUP11
00000227: PUSH1 0x03
00000229: BYTE
0000022a: ISZERO
0000022b: PUSH2 0x0239
0000022e: JUMPI
0000022f: PUSH2 0x0238
00000232: PUSH1 0x01
00000234: PUSH2 0x0405
00000237: JUMP
00000238: JUMPDEST
00000239: JUMPDEST
0000023a: DUP11
0000023b: PUSH1 0x04
0000023d: BYTE
0000023e: ISZERO
0000023f: PUSH2 0x024d
00000242: JUMPI
00000243: PUSH2 0x024c
00000246: PUSH1 0x02
00000248: PUSH2 0x0499
0000024b: JUMP
0000024c: JUMPDEST
0000024d: JUMPDEST
0000024e: STOP
0000024f: JUMPDEST
00000250: PUSH1 0x00
00000252: SWAP7
00000253: POP
00000254: DUP1
00000255: CALLDATALOAD
00000256: CALLER
00000257: XOR
00000258: SWAP5
00000259: POP
0000025a: POP
0000025b: POP
0000025c: DUP3
0000025d: PUSH1 0x20
0000025f: DUP4
00000260: ISZERO
00000261: PUSH2 0x0272
00000264: JUMPI
00000265: PUSH2 0x0271
00000268: DUP6
00000269: DUP6
0000026a: DUP4
0000026b: MLOAD
0000026c: DUP10
0000026d: PUSH2 0x05c2
00000270: JUMP
00000271: JUMPDEST
00000272: JUMPDEST
00000273: JUMPDEST
00000274: DUP8
00000275: DUP8
00000276: LT
00000277: ISZERO
00000278: PUSH2 0x02b9
0000027b: JUMPI
0000027c: JUMPDEST
0000027d: PUSH1 0x01
0000027f: DUP8
00000280: ADD
00000281: SWAP6
00000282: POP
00000283: PUSH1 0x20
00000285: DUP7
00000286: MUL
00000287: PUSH1 0x20
00000289: ADD
0000028a: SWAP5
0000028b: POP
0000028c: DUP3
0000028d: SWAP4
0000028e: POP
0000028f: DUP8
00000290: DUP7
00000291: LT
00000292: ISZERO
00000293: PUSH2 0x029d
00000296: JUMPI
00000297: DUP5
00000298: CALLDATALOAD
00000299: CALLER
0000029a: XOR
0000029b: SWAP4
0000029c: POP
0000029d: JUMPDEST
0000029e: PUSH2 0x02ab
000002a1: DUP5
000002a2: DUP4
000002a3: DUP8
000002a4: MLOAD
000002a5: DUP5
000002a6: MLOAD
000002a7: PUSH2 0x05c2
000002aa: JUMP
000002ab: JUMPDEST
000002ac: DUP6
000002ad: SWAP7
000002ae: POP
000002af: DUP5
000002b0: SWAP1
000002b1: POP
000002b2: DUP4
000002b3: SWAP2
000002b4: POP
000002b5: PUSH2 0x0273
000002b8: JUMP
000002b9: JUMPDEST
000002ba: POP
000002bb: POP
000002bc: ADDRESS
000002bd: DUP2
000002be: XOR
000002bf: ISZERO
000002c0: PUSH2 0x02d7
000002c3: JUMPI
000002c4: PUSH2 0x02d6
000002c7: ADDRESS
000002c8: DUP3
000002c9: DUP10
000002ca: PUSH1 0x20
000002cc: DUP11
000002cd: MUL
000002ce: PUSH1 0x20
000002d0: ADD
000002d1: MLOAD
000002d2: PUSH2 0x05c2
000002d5: JUMP
000002d6: JUMPDEST
000002d7: JUMPDEST
000002d8: POP
000002d9: POP
000002da: POP
000002db: POP
000002dc: POP
000002dd: POP
000002de: POP
000002df: DUP1
000002e0: SELFBALANCE
000002e1: LT
000002e2: ISZERO
000002e3: PUSH2 0x02f1
000002e6: JUMPI
000002e7: PUSH2 0x02f0
000002ea: PUSH1 0x0f
000002ec: PUSH2 0x0108
000002ef: JUMP
000002f0: JUMPDEST
000002f1: JUMPDEST
000002f2: POP
000002f3: DUP1
000002f4: PUSH1 0x03
000002f6: BYTE
000002f7: DUP1
000002f8: ISZERO
000002f9: PUSH2 0x0306
000002fc: JUMPI
000002fd: PUSH2 0x0305
00000300: DUP2
00000301: PUSH2 0x0405
00000304: JUMP
00000305: JUMPDEST
00000306: JUMPDEST
00000307: POP
00000308: DUP1
00000309: PUSH1 0x04
0000030b: BYTE
0000030c: DUP1
0000030d: ISZERO
0000030e: PUSH2 0x031b
00000311: JUMPI
00000312: PUSH2 0x031a
00000315: DUP2
00000316: PUSH2 0x0499
00000319: JUMP
0000031a: JUMPDEST
0000031b: JUMPDEST
0000031c: POP
0000031d: STOP
0000031e: JUMPDEST
0000031f: POP
00000320: JUMP
00000321: JUMPDEST
00000322: DUP1
00000323: PUSH1 0x01
00000325: BYTE
00000326: CALLDATASIZE
00000327: DUP2
00000328: PUSH1 0x20
0000032a: MUL
0000032b: PUSH1 0x02
0000032d: ADD
0000032e: XOR
0000032f: ISZERO
00000330: PUSH2 0x033e
00000333: JUMPI
00000334: PUSH2 0x033d
00000337: PUSH1 0x10
00000339: PUSH2 0x0108
0000033c: JUMP
0000033d: JUMPDEST
0000033e: JUMPDEST
0000033f: PUSH1 0x00
00000341: JUMPDEST
00000342: DUP2
00000343: DUP2
00000344: LT
00000345: ISZERO
00000346: PUSH2 0x036e
00000349: JUMPI
0000034a: JUMPDEST
0000034b: DUP1
0000034c: PUSH1 0x20
0000034e: MUL
0000034f: PUSH1 0x02
00000351: ADD
00000352: CALLDATALOAD
00000353: PUSH1 0x00
00000355: PUSH1 0x00
00000357: PUSH1 0x00
00000359: PUSH1 0x00
0000035b: DUP5
0000035c: PUSH1 0xa0
0000035e: SHR
0000035f: DUP6
00000360: GAS
00000361: CALL
00000362: POP
00000363: POP
00000364: PUSH1 0x01
00000366: DUP2
00000367: ADD
00000368: SWAP1
00000369: POP
0000036a: PUSH2 0x0341
0000036d: JUMP
0000036e: JUMPDEST
0000036f: POP
00000370: POP
00000371: JUMPDEST
00000372: POP
00000373: JUMP
00000374: JUMPDEST
00000375: DUP1
00000376: PUSH1 0x01
00000378: BYTE
00000379: CALLDATASIZE
0000037a: DUP2
0000037b: PUSH1 0x40
0000037d: MUL
0000037e: PUSH1 0x02
00000380: ADD
00000381: XOR
00000382: ISZERO
00000383: PUSH2 0x0391
00000386: JUMPI
00000387: PUSH2 0x0390
0000038a: PUSH1 0x10
0000038c: PUSH2 0x0108
0000038f: JUMP
00000390: JUMPDEST
00000391: JUMPDEST
00000392: PUSH1 0x00
00000394: JUMPDEST
00000395: DUP2
00000396: DUP2
00000397: LT
00000398: ISZERO
00000399: PUSH2 0x03b8
0000039c: JUMPI
0000039d: JUMPDEST
0000039e: DUP1
0000039f: PUSH1 0x40
000003a1: MUL
000003a2: DUP1
000003a3: PUSH1 0x22
000003a5: ADD
000003a6: CALLDATALOAD
000003a7: DUP2
000003a8: PUSH1 0x02
000003aa: ADD
000003ab: CALLDATALOAD
000003ac: SSTORE
000003ad: POP
000003ae: PUSH1 0x01
000003b0: DUP2
000003b1: ADD
000003b2: SWAP1
000003b3: POP
000003b4: PUSH2 0x0394
000003b7: JUMP
000003b8: JUMPDEST
000003b9: POP
000003ba: POP
000003bb: JUMPDEST
000003bc: POP
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH1 0x14
000003c1: DUP1
000003c2: PUSH2 0x1c98
000003c5: PUSH1 0x00
000003c7: CODECOPY
000003c8: PUSH1 0x01
000003ca: SLOAD
000003cb: DUP1
000003cc: DUP4
000003cd: ADD
000003ce: DUP2
000003cf: SWAP2
000003d0: POP
000003d1: JUMPDEST
000003d2: PUSH2 0xd6d8
000003d5: GAS
000003d6: GT
000003d7: DUP2
000003d8: DUP4
000003d9: LT
000003da: AND
000003db: ISZERO
000003dc: PUSH2 0x03fa
000003df: JUMPI
000003e0: DUP2
000003e1: DUP4
000003e2: PUSH1 0x00
000003e4: PUSH1 0x00
000003e6: CREATE2
000003e7: ISZERO
000003e8: ISZERO
000003e9: PUSH2 0x03ee
000003ec: JUMPI
000003ed: STOP
000003ee: JUMPDEST
000003ef: JUMPDEST
000003f0: PUSH1 0x01
000003f2: DUP3
000003f3: ADD
000003f4: SWAP2
000003f5: POP
000003f6: PUSH2 0x03d1
000003f9: JUMP
000003fa: JUMPDEST
000003fb: POP
000003fc: DUP1
000003fd: PUSH1 0x01
000003ff: SSTORE
00000400: POP
00000401: POP
00000402: JUMPDEST
00000403: POP
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH1 0x14
00000408: DUP1
00000409: PUSH2 0x1c98
0000040c: PUSH1 0x00
0000040e: CODECOPY
0000040f: DUP1
00000410: PUSH1 0x00
00000412: KECCAK256
00000413: PUSH1 0x35
00000415: MSTORE
00000416: POP
00000417: PUSH1 0xff
00000419: PUSH1 0x00
0000041b: MSTORE8
0000041c: ADDRESS
0000041d: PUSH1 0x60
0000041f: SHL
00000420: PUSH1 0x01
00000422: MSTORE
00000423: PUSH1 0x01
00000425: SLOAD
00000426: DUP1
00000427: ISZERO
00000428: ISZERO
00000429: PUSH2 0x042e
0000042c: JUMPI
0000042d: STOP
0000042e: JUMPDEST
0000042f: DUP2
00000430: DUP2
00000431: SUB
00000432: DUP1
00000433: SWAP3
00000434: POP
00000435: DUP2
00000436: DUP2
00000437: GT
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: SWAP3
00000440: POP
00000441: JUMPDEST
00000442: POP
00000443: DUP1
00000444: PUSH1 0x01
00000446: DUP3
00000447: SUB
00000448: SWAP2
00000449: POP
0000044a: JUMPDEST
0000044b: PUSH2 0x2af8
0000044e: GAS
0000044f: GT
00000450: DUP4
00000451: DUP3
00000452: GT
00000453: AND
00000454: ISZERO
00000455: PUSH2 0x048e
00000458: JUMPI
00000459: DUP2
0000045a: PUSH1 0x15
0000045c: MSTORE
0000045d: PUSH1 0x00
0000045f: PUSH1 0x00
00000461: PUSH1 0x00
00000463: PUSH1 0x00
00000465: PUSH1 0x00
00000467: PUSH1 0x55
00000469: PUSH1 0x00
0000046b: KECCAK256
0000046c: PUSH1 0x60
0000046e: SHL
0000046f: PUSH1 0x60
00000471: SHR
00000472: GAS
00000473: CALL
00000474: ISZERO
00000475: ISZERO
00000476: PUSH2 0x047f
00000479: JUMPI
0000047a: PUSH1 0x00
0000047c: PUSH1 0x00
0000047e: REVERT
0000047f: JUMPDEST
00000480: JUMPDEST
00000481: DUP2
00000482: SWAP1
00000483: POP
00000484: PUSH1 0x01
00000486: DUP3
00000487: SUB
00000488: SWAP2
00000489: POP
0000048a: PUSH2 0x044a
0000048d: JUMP
0000048e: JUMPDEST
0000048f: DUP1
00000490: PUSH1 0x01
00000492: SSTORE
00000493: POP
00000494: POP
00000495: STOP
00000496: JUMPDEST
00000497: POP
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH4 0x6366b936
0000049f: PUSH1 0xe0
000004a1: SHL
000004a2: PUSH1 0x00
000004a4: MSTORE
000004a5: DUP1
000004a6: PUSH1 0x04
000004a8: MSTORE
000004a9: PUSH1 0x00
000004ab: PUSH1 0x00
000004ad: PUSH1 0x24
000004af: PUSH1 0x00
000004b1: PUSH1 0x00
000004b3: PUSH14 0x4946c0e9f43f4dee607b0ef1fa1c
000004c2: GAS
000004c3: CALL
000004c4: POP
000004c5: STOP
000004c6: JUMPDEST
000004c7: POP
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH1 0x00
000004cc: DUP3
000004cd: DUP2
000004ce: BYTE
000004cf: PUSH1 0x00
000004d1: DUP2
000004d2: EQ
000004d3: PUSH2 0x0525
000004d6: JUMPI
000004d7: PUSH1 0x01
000004d9: DUP2
000004da: EQ
000004db: PUSH2 0x0536
000004de: JUMPI
000004df: PUSH1 0x02
000004e1: DUP2
000004e2: EQ
000004e3: PUSH2 0x0547
000004e6: JUMPI
000004e7: PUSH1 0x03
000004e9: DUP2
000004ea: EQ
000004eb: PUSH2 0x0558
000004ee: JUMPI
000004ef: PUSH1 0x04
000004f1: DUP2
000004f2: EQ
000004f3: PUSH2 0x0569
000004f6: JUMPI
000004f7: PUSH1 0x05
000004f9: DUP2
000004fa: EQ
000004fb: PUSH2 0x057a
000004fe: JUMPI
000004ff: PUSH1 0x06
00000501: DUP2
00000502: EQ
00000503: PUSH2 0x058b
00000506: JUMPI
00000507: PUSH1 0x07
00000509: DUP2
0000050a: EQ
0000050b: PUSH2 0x059c
0000050e: JUMPI
0000050f: PUSH1 0x7f
00000511: DUP2
00000512: EQ
00000513: PUSH2 0x05ad
00000516: JUMPI
00000517: PUSH2 0x0520
0000051a: PUSH1 0x11
0000051c: PUSH2 0x0108
0000051f: JUMP
00000520: JUMPDEST
00000521: PUSH2 0x05ba
00000524: JUMP
00000525: JUMPDEST
00000526: PUSH2 0x052f
00000529: DUP5
0000052a: DUP5
0000052b: PUSH2 0x0823
0000052e: JUMP
0000052f: JUMPDEST
00000530: SWAP2
00000531: POP
00000532: PUSH2 0x05ba
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH2 0x0540
0000053a: DUP5
0000053b: DUP5
0000053c: PUSH2 0x08f3
0000053f: JUMP
00000540: JUMPDEST
00000541: SWAP2
00000542: POP
00000543: PUSH2 0x05ba
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH2 0x0551
0000054b: DUP5
0000054c: DUP5
0000054d: PUSH2 0x0978
00000550: JUMP
00000551: JUMPDEST
00000552: SWAP2
00000553: POP
00000554: PUSH2 0x05ba
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH2 0x0562
0000055c: DUP5
0000055d: DUP5
0000055e: PUSH2 0x0a59
00000561: JUMP
00000562: JUMPDEST
00000563: SWAP2
00000564: POP
00000565: PUSH2 0x05ba
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH2 0x0573
0000056d: DUP5
0000056e: DUP5
0000056f: PUSH2 0x0f07
00000572: JUMP
00000573: JUMPDEST
00000574: SWAP2
00000575: POP
00000576: PUSH2 0x05ba
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH2 0x0584
0000057e: DUP5
0000057f: DUP5
00000580: PUSH2 0x1175
00000583: JUMP
00000584: JUMPDEST
00000585: SWAP2
00000586: POP
00000587: PUSH2 0x05ba
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH2 0x0595
0000058f: DUP5
00000590: DUP5
00000591: PUSH2 0x130d
00000594: JUMP
00000595: JUMPDEST
00000596: SWAP2
00000597: POP
00000598: PUSH2 0x05ba
0000059b: JUMP
0000059c: JUMPDEST
0000059d: PUSH2 0x05a6
000005a0: DUP5
000005a1: DUP5
000005a2: PUSH2 0x143c
000005a5: JUMP
000005a6: JUMPDEST
000005a7: SWAP2
000005a8: POP
000005a9: PUSH2 0x05ba
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH2 0x05b7
000005b1: DUP5
000005b2: DUP5
000005b3: PUSH2 0x16a6
000005b6: JUMP
000005b7: JUMPDEST
000005b8: SWAP2
000005b9: POP
000005ba: JUMPDEST
000005bb: POP
000005bc: JUMPDEST
000005bd: SWAP3
000005be: SWAP2
000005bf: POP
000005c0: POP
000005c1: JUMP
000005c2: JUMPDEST
000005c3: DUP3
000005c4: PUSH1 0x00
000005c6: BYTE
000005c7: PUSH1 0x00
000005c9: DUP2
000005ca: EQ
000005cb: PUSH2 0x061d
000005ce: JUMPI
000005cf: PUSH1 0x01
000005d1: DUP2
000005d2: EQ
000005d3: PUSH2 0x062e
000005d6: JUMPI
000005d7: PUSH1 0x02
000005d9: DUP2
000005da: EQ
000005db: PUSH2 0x063f
000005de: JUMPI
000005df: PUSH1 0x03
000005e1: DUP2
000005e2: EQ
000005e3: PUSH2 0x0650
000005e6: JUMPI
000005e7: PUSH1 0x04
000005e9: DUP2
000005ea: EQ
000005eb: PUSH2 0x0661
000005ee: JUMPI
000005ef: PUSH1 0x05
000005f1: DUP2
000005f2: EQ
000005f3: PUSH2 0x0672
000005f6: JUMPI
000005f7: PUSH1 0x06
000005f9: DUP2
000005fa: EQ
000005fb: PUSH2 0x0683
000005fe: JUMPI
000005ff: PUSH1 0x07
00000601: DUP2
00000602: EQ
00000603: PUSH2 0x0694
00000606: JUMPI
00000607: PUSH1 0x7f
00000609: DUP2
0000060a: EQ
0000060b: PUSH2 0x06a5
0000060e: JUMPI
0000060f: PUSH2 0x0618
00000612: PUSH1 0x11
00000614: PUSH2 0x0108
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH2 0x06b2
0000061c: JUMP
0000061d: JUMPDEST
0000061e: PUSH2 0x0629
00000621: DUP6
00000622: DUP6
00000623: DUP6
00000624: DUP6
00000625: PUSH2 0x087b
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH2 0x06b2
0000062d: JUMP
0000062e: JUMPDEST
0000062f: PUSH2 0x063a
00000632: DUP6
00000633: DUP6
00000634: DUP6
00000635: DUP6
00000636: PUSH2 0x08ff
00000639: JUMP
0000063a: JUMPDEST
0000063b: PUSH2 0x06b2
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH2 0x064b
00000643: DUP6
00000644: DUP6
00000645: DUP6
00000646: DUP6
00000647: PUSH2 0x09dc
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH2 0x06b2
0000064f: JUMP
00000650: JUMPDEST
00000651: PUSH2 0x065c
00000654: DUP6
00000655: DUP6
00000656: DUP6
00000657: DUP6
00000658: PUSH2 0x0ad2
0000065b: JUMP
0000065c: JUMPDEST
0000065d: PUSH2 0x06b2
00000660: JUMP
00000661: JUMPDEST
00000662: PUSH2 0x066d
00000665: DUP6
00000666: DUP6
00000667: DUP6
00000668: DUP6
00000669: PUSH2 0x10ba
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x06b2
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH2 0x067e
00000676: DUP6
00000677: DUP6
00000678: DUP6
00000679: DUP6
0000067a: PUSH2 0x124a
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH2 0x06b2
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH2 0x068f
00000687: DUP6
00000688: DUP6
00000689: DUP6
0000068a: DUP6
0000068b: PUSH2 0x136a
0000068e: JUMP
0000068f: JUMPDEST
00000690: PUSH2 0x06b2
00000693: JUMP
00000694: JUMPDEST
00000695: PUSH2 0x06a0
00000698: DUP6
00000699: DUP6
0000069a: DUP6
0000069b: DUP6
0000069c: PUSH2 0x159f
0000069f: JUMP
000006a0: JUMPDEST
000006a1: PUSH2 0x06b2
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH2 0x06b1
000006a9: DUP6
000006aa: DUP6
000006ab: DUP6
000006ac: DUP6
000006ad: PUSH2 0x1732
000006b0: JUMP
000006b1: JUMPDEST
000006b2: JUMPDEST
000006b3: POP
000006b4: JUMPDEST
000006b5: POP
000006b6: POP
000006b7: POP
000006b8: POP
000006b9: JUMP
000006ba: JUMPDEST
000006bb: PUSH1 0x00
000006bd: PUSH1 0x00
000006bf: DUP3
000006c0: DUP2
000006c1: BYTE
000006c2: PUSH1 0x00
000006c4: DUP2
000006c5: EQ
000006c6: PUSH2 0x0718
000006c9: JUMPI
000006ca: PUSH1 0x01
000006cc: DUP2
000006cd: EQ
000006ce: PUSH2 0x0729
000006d1: JUMPI
000006d2: PUSH1 0x02
000006d4: DUP2
000006d5: EQ
000006d6: PUSH2 0x0735
000006d9: JUMPI
000006da: PUSH1 0x03
000006dc: DUP2
000006dd: EQ
000006de: PUSH2 0x0764
000006e1: JUMPI
000006e2: PUSH1 0x04
000006e4: DUP2
000006e5: EQ
000006e6: PUSH2 0x077f
000006e9: JUMPI
000006ea: PUSH1 0x05
000006ec: DUP2
000006ed: EQ
000006ee: PUSH2 0x07ae
000006f1: JUMPI
000006f2: PUSH1 0x06
000006f4: DUP2
000006f5: EQ
000006f6: PUSH2 0x07c9
000006f9: JUMPI
000006fa: PUSH1 0x07
000006fc: DUP2
000006fd: EQ
000006fe: PUSH2 0x07e5
00000701: JUMPI
00000702: PUSH1 0x7f
00000704: DUP2
00000705: EQ
00000706: PUSH2 0x0801
00000709: JUMPI
0000070a: PUSH2 0x0713
0000070d: PUSH1 0x11
0000070f: PUSH2 0x0108
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x081c
00000717: JUMP
00000718: JUMPDEST
00000719: DUP4
0000071a: PUSH1 0x60
0000071c: SHL
0000071d: PUSH1 0x60
0000071f: SHR
00000720: SWAP3
00000721: POP
00000722: DUP2
00000723: SWAP2
00000724: POP
00000725: PUSH2 0x081c
00000728: JUMP
00000729: JUMPDEST
0000072a: ADDRESS
0000072b: SWAP3
0000072c: POP
0000072d: PUSH1 0x00
0000072f: SWAP2
00000730: POP
00000731: PUSH2 0x081c
00000734: JUMP
00000735: JUMPDEST
00000736: DUP4
00000737: PUSH1 0x60
00000739: SHL
0000073a: PUSH1 0x60
0000073c: SHR
0000073d: SWAP3
0000073e: POP
0000073f: PUSH2 0x0746
00000742: PUSH2 0x188b
00000745: JUMP
00000746: JUMPDEST
00000747: SWAP2
00000748: POP
00000749: DUP4
0000074a: PUSH1 0x01
0000074c: BYTE
0000074d: ISZERO
0000074e: PUSH2 0x075f
00000751: JUMPI
00000752: PUSH2 0x075c
00000755: PUSH1 0x02
00000757: DUP6
00000758: PUSH2 0x18da
0000075b: JUMP
0000075c: JUMPDEST
0000075d: SWAP2
0000075e: POP
0000075f: JUMPDEST
00000760: PUSH2 0x081c
00000763: JUMP
00000764: JUMPDEST
00000765: DUP4
00000766: PUSH1 0x60
00000768: SHL
00000769: PUSH1 0x60
0000076b: SHR
0000076c: SWAP3
0000076d: POP
0000076e: PUSH2 0x0778
00000771: PUSH1 0x01
00000773: DUP6
00000774: PUSH2 0x18da
00000777: JUMP
00000778: JUMPDEST
00000779: SWAP2
0000077a: POP
0000077b: PUSH2 0x081c
0000077e: JUMP
0000077f: JUMPDEST
00000780: PUSH20 0x95e6f48254609a6ee006f7d493c8e5fb97094cef
00000795: SWAP3
00000796: POP
00000797: PUSH2 0x07a7
0000079a: PUSH1 0xc0
0000079c: DUP6
0000079d: PUSH1 0x02
0000079f: BYTE
000007a0: PUSH1 0x20
000007a2: MUL
000007a3: PUSH2 0x0b5c
000007a6: JUMP
000007a7: JUMPDEST
000007a8: SWAP2
000007a9: POP
000007aa: PUSH2 0x081c
000007ad: JUMP
000007ae: JUMPDEST
000007af: DUP4
000007b0: PUSH1 0x60
000007b2: SHL
000007b3: PUSH1 0x60
000007b5: SHR
000007b6: SWAP3
000007b7: POP
000007b8: PUSH2 0x07c2
000007bb: PUSH1 0x01
000007bd: DUP6
000007be: PUSH2 0x18da
000007c1: JUMP
000007c2: JUMPDEST
000007c3: SWAP2
000007c4: POP
000007c5: PUSH2 0x081c
000007c8: JUMP
000007c9: JUMPDEST
000007ca: PUSH2 0x07d1
000007cd: PUSH2 0x12a6
000007d0: JUMP
000007d1: JUMPDEST
000007d2: SWAP3
000007d3: POP
000007d4: PUSH2 0x07de
000007d7: PUSH1 0x02
000007d9: DUP6
000007da: PUSH2 0x18da
000007dd: JUMP
000007de: JUMPDEST
000007df: SWAP2
000007e0: POP
000007e1: PUSH2 0x081c
000007e4: JUMP
000007e5: JUMPDEST
000007e6: PUSH2 0x07ed
000007e9: PUSH2 0x141f
000007ec: JUMP
000007ed: JUMPDEST
000007ee: SWAP3
000007ef: POP
000007f0: PUSH2 0x07fa
000007f3: PUSH1 0x02
000007f5: DUP6
000007f6: PUSH2 0x18da
000007f9: JUMP
000007fa: JUMPDEST
000007fb: SWAP2
000007fc: POP
000007fd: PUSH2 0x081c
00000800: JUMP
00000801: JUMPDEST
00000802: PUSH2 0x080c
00000805: PUSH1 0x01
00000807: DUP6
00000808: PUSH2 0x18da
0000080b: JUMP
0000080c: JUMPDEST
0000080d: SWAP3
0000080e: POP
0000080f: PUSH2 0x0819
00000812: PUSH1 0x02
00000814: DUP6
00000815: PUSH2 0x18da
00000818: JUMP
00000819: JUMPDEST
0000081a: SWAP2
0000081b: POP
0000081c: JUMPDEST
0000081d: POP
0000081e: JUMPDEST
0000081f: SWAP2
00000820: POP
00000821: SWAP2
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH1 0x00
00000826: PUSH2 0x0833
00000829: PUSH4 0x0902f1ac
0000082e: DUP5
0000082f: PUSH2 0x1b0d
00000832: JUMP
00000833: JUMPDEST
00000834: DUP1
00000835: MLOAD
00000836: PUSH1 0x20
00000838: DUP2
00000839: ADD
0000083a: PUSH1 0x60
0000083c: DUP4
0000083d: DUP4
0000083e: RETURNDATACOPY
0000083f: DUP3
00000840: DUP4
00000841: DUP7
00000842: PUSH1 0x01
00000844: BYTE
00000845: PUSH1 0x00
00000847: DUP2
00000848: EQ
00000849: PUSH2 0x0859
0000084c: JUMPI
0000084d: DUP4
0000084e: MLOAD
0000084f: SWAP3
00000850: POP
00000851: DUP5
00000852: MLOAD
00000853: SWAP2
00000854: POP
00000855: PUSH2 0x0862
00000858: JUMP
00000859: JUMPDEST
0000085a: DUP5
0000085b: MLOAD
0000085c: SWAP3
0000085d: POP
0000085e: DUP4
0000085f: MLOAD
00000860: SWAP2
00000861: POP
00000862: JUMPDEST
00000863: POP
00000864: PUSH2 0x086e
00000867: DUP2
00000868: DUP4
00000869: DUP9
0000086a: PUSH2 0x18bd
0000086d: JUMP
0000086e: JUMPDEST
0000086f: SWAP5
00000870: POP
00000871: POP
00000872: POP
00000873: POP
00000874: POP
00000875: JUMPDEST
00000876: SWAP3
00000877: SWAP2
00000878: POP
00000879: POP
0000087a: JUMP
0000087b: JUMPDEST
0000087c: PUSH1 0x00
0000087e: DUP3
0000087f: DUP2
00000880: DUP6
00000881: PUSH1 0x01
00000883: BYTE
00000884: ISZERO
00000885: PUSH2 0x0894
00000888: JUMPI
00000889: DUP5
0000088a: SWAP3
0000088b: POP
0000088c: PUSH1 0x00
0000088e: SWAP2
0000088f: POP
00000890: PUSH1 0x20
00000892: SWAP1
00000893: POP
00000894: JUMPDEST
00000895: PUSH2 0x089d
00000898: DUP8
00000899: PUSH2 0x06ba
0000089c: JUMP
0000089d: JUMPDEST
0000089e: DUP1
0000089f: PUSH1 0x00
000008a1: DUP2
000008a2: EQ
000008a3: PUSH2 0x08d1
000008a6: JUMPI
000008a7: PUSH2 0x08ba
000008aa: DUP5
000008ab: ADDRESS
000008ac: DUP8
000008ad: DUP10
000008ae: PUSH4 0x022c0d9f
000008b3: PUSH1 0x00
000008b5: DUP16
000008b6: PUSH2 0x1a20
000008b9: JUMP
000008ba: JUMPDEST
000008bb: PUSH2 0x08cc
000008be: DUP9
000008bf: DUP5
000008c0: PUSH4 0x095ea7b3
000008c5: PUSH1 0x00
000008c7: DUP7
000008c8: PUSH2 0x19a5
000008cb: JUMP
000008cc: JUMPDEST
000008cd: PUSH2 0x08e6
000008d0: JUMP
000008d1: JUMPDEST
000008d2: PUSH2 0x08e5
000008d5: DUP5
000008d6: DUP5
000008d7: DUP8
000008d8: DUP10
000008d9: PUSH4 0x022c0d9f
000008de: PUSH1 0x00
000008e0: DUP16
000008e1: PUSH2 0x1a20
000008e4: JUMP
000008e5: JUMPDEST
000008e6: JUMPDEST
000008e7: POP
000008e8: POP
000008e9: POP
000008ea: POP
000008eb: POP
000008ec: POP
000008ed: JUMPDEST
000008ee: POP
000008ef: POP
000008f0: POP
000008f1: POP
000008f2: JUMP
000008f3: JUMPDEST
000008f4: PUSH1 0x00
000008f6: DUP2
000008f7: SWAP1
000008f8: POP
000008f9: JUMPDEST
000008fa: SWAP3
000008fb: SWAP2
000008fc: POP
000008fd: POP
000008fe: JUMP
000008ff: JUMPDEST
00000900: DUP3
00000901: PUSH1 0x01
00000903: BYTE
00000904: PUSH1 0x00
00000906: DUP2
00000907: EQ
00000908: PUSH2 0x0921
0000090b: JUMPI
0000090c: PUSH2 0x091c
0000090f: DUP3
00000910: PUSH4 0x2e1a7d4d
00000915: PUSH1 0x00
00000917: DUP8
00000918: PUSH2 0x1972
0000091b: JUMP
0000091c: JUMPDEST
0000091d: PUSH2 0x0970
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH2 0x0930
00000925: PUSH4 0xd0e30db0
0000092a: DUP4
0000092b: DUP7
0000092c: PUSH2 0x1946
0000092f: JUMP
00000930: JUMPDEST
00000931: PUSH2 0x0939
00000934: DUP6
00000935: PUSH2 0x06ba
00000938: JUMP
00000939: JUMPDEST
0000093a: DUP1
0000093b: PUSH1 0x00
0000093d: DUP2
0000093e: EQ
0000093f: PUSH2 0x0959
00000942: JUMPI
00000943: PUSH2 0x0954
00000946: DUP7
00000947: DUP5
00000948: PUSH4 0x095ea7b3
0000094d: PUSH1 0x00
0000094f: DUP7
00000950: PUSH2 0x19a5
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH2 0x096c
00000958: JUMP
00000959: JUMPDEST
0000095a: PUSH2 0x096b
0000095d: DUP7
0000095e: DUP5
0000095f: PUSH4 0xa9059cbb
00000964: PUSH1 0x00
00000966: DUP12
00000967: PUSH2 0x19a5
0000096a: JUMP
0000096b: JUMPDEST
0000096c: JUMPDEST
0000096d: POP
0000096e: POP
0000096f: POP
00000970: JUMPDEST
00000971: POP
00000972: JUMPDEST
00000973: POP
00000974: POP
00000975: POP
00000976: POP
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH1 0x00
0000097b: PUSH2 0x0999
0000097e: DUP4
0000097f: PUSH1 0x60
00000981: SHL
00000982: PUSH1 0x60
00000984: SHR
00000985: PUSH4 0x70a08231
0000098a: PUSH2 0x0994
0000098d: PUSH1 0x02
0000098f: DUP8
00000990: PUSH2 0x18da
00000993: JUMP
00000994: JUMPDEST
00000995: PUSH2 0x1b37
00000998: JUMP
00000999: JUMPDEST
0000099a: DUP1
0000099b: MLOAD
0000099c: PUSH1 0x20
0000099e: DUP3
0000099f: DUP3
000009a0: RETURNDATACOPY
000009a1: DUP2
000009a2: DUP3
000009a3: DUP6
000009a4: PUSH1 0x01
000009a6: BYTE
000009a7: PUSH1 0x00
000009a9: DUP2
000009aa: EQ
000009ab: PUSH2 0x09bb
000009ae: JUMPI
000009af: DUP4
000009b0: MLOAD
000009b1: SWAP3
000009b2: POP
000009b3: DUP7
000009b4: BALANCE
000009b5: SWAP2
000009b6: POP
000009b7: PUSH2 0x09c4
000009ba: JUMP
000009bb: JUMPDEST
000009bc: DUP7
000009bd: BALANCE
000009be: SWAP3
000009bf: POP
000009c0: DUP4
000009c1: MLOAD
000009c2: SWAP2
000009c3: POP
000009c4: JUMPDEST
000009c5: POP
000009c6: PUSH2 0x09d0
000009c9: DUP2
000009ca: DUP4
000009cb: DUP8
000009cc: PUSH2 0x18bd
000009cf: JUMP
000009d0: JUMPDEST
000009d1: SWAP4
000009d2: POP
000009d3: POP
000009d4: POP
000009d5: POP
000009d6: JUMPDEST
000009d7: SWAP3
000009d8: SWAP2
000009d9: POP
000009da: POP
000009db: JUMP
000009dc: JUMPDEST
000009dd: DUP3
000009de: PUSH1 0x01
000009e0: BYTE
000009e1: PUSH1 0x00
000009e3: DUP2
000009e4: EQ
000009e5: PUSH2 0x0a00
000009e8: JUMPI
000009e9: PUSH2 0x09fb
000009ec: TIMESTAMP
000009ed: DUP5
000009ee: DUP5
000009ef: PUSH4 0x95e3c50b
000009f4: PUSH1 0x00
000009f6: DUP10
000009f7: PUSH2 0x19df
000009fa: JUMP
000009fb: JUMPDEST
000009fc: PUSH2 0x0a51
000009ff: JUMP
00000a00: JUMPDEST
00000a01: PUSH2 0x0a09
00000a04: DUP6
00000a05: PUSH2 0x06ba
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: DUP1
00000a0b: PUSH1 0x00
00000a0d: DUP2
00000a0e: EQ
00000a0f: PUSH2 0x0a3a
00000a12: JUMPI
00000a13: PUSH2 0x0a23
00000a16: TIMESTAMP
00000a17: DUP8
00000a18: PUSH4 0xf39b5b9b
00000a1d: DUP9
00000a1e: DUP12
00000a1f: PUSH2 0x19a5
00000a22: JUMP
00000a23: JUMPDEST
00000a24: PUSH2 0x0a35
00000a27: DUP7
00000a28: DUP5
00000a29: PUSH4 0x095ea7b3
00000a2e: PUSH1 0x00
00000a30: DUP7
00000a31: PUSH2 0x19a5
00000a34: JUMP
00000a35: JUMPDEST
00000a36: PUSH2 0x0a4d
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH2 0x0a4c
00000a3e: DUP4
00000a3f: TIMESTAMP
00000a40: DUP9
00000a41: PUSH4 0xad65d76d
00000a46: DUP10
00000a47: DUP13
00000a48: PUSH2 0x19df
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: JUMPDEST
00000a4e: POP
00000a4f: POP
00000a50: POP
00000a51: JUMPDEST
00000a52: POP
00000a53: JUMPDEST
00000a54: POP
00000a55: POP
00000a56: POP
00000a57: POP
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: PUSH1 0x00
00000a5c: DUP1
00000a5d: MLOAD
00000a5e: PUSH2 0x0a68
00000a61: PUSH1 0x01
00000a63: DUP6
00000a64: PUSH2 0x1921
00000a67: JUMP
00000a68: JUMPDEST
00000a69: PUSH2 0x0a77
00000a6c: DUP3
00000a6d: PUSH4 0xf8b2cb4f
00000a72: DUP9
00000a73: PUSH2 0x1b37
00000a76: JUMP
00000a77: JUMPDEST
00000a78: PUSH1 0x20
00000a7a: DUP5
00000a7b: DUP5
00000a7c: RETURNDATACOPY
00000a7d: DUP3
00000a7e: MLOAD
00000a7f: SWAP2
00000a80: POP
00000a81: PUSH2 0x0a8b
00000a84: PUSH1 0x02
00000a86: DUP8
00000a87: PUSH2 0x1921
00000a8a: JUMP
00000a8b: JUMPDEST
00000a8c: PUSH2 0x0a9a
00000a8f: DUP3
00000a90: PUSH4 0xf8b2cb4f
00000a95: DUP11
00000a96: PUSH2 0x1b37
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH1 0x20
00000a9d: DUP7
00000a9e: DUP7
00000a9f: RETURNDATACOPY
00000aa0: DUP5
00000aa1: MLOAD
00000aa2: SWAP2
00000aa3: POP
00000aa4: PUSH2 0x0abd
00000aa7: DUP9
00000aa8: PUSH1 0x20
00000aaa: SHL
00000aab: PUSH1 0xc0
00000aad: SHR
00000aae: DUP9
00000aaf: DUP4
00000ab0: DUP6
00000ab1: DUP8
00000ab2: DUP10
00000ab3: PUSH4 0xba9530a6
00000ab8: DUP16
00000ab9: PUSH2 0x1c25
00000abc: JUMP
00000abd: JUMPDEST
00000abe: POP
00000abf: POP
00000ac0: POP
00000ac1: POP
00000ac2: PUSH1 0x20
00000ac4: DUP3
00000ac5: DUP3
00000ac6: RETURNDATACOPY
00000ac7: DUP1
00000ac8: MLOAD
00000ac9: SWAP2
00000aca: POP
00000acb: POP
00000acc: JUMPDEST
00000acd: SWAP3
00000ace: SWAP2
00000acf: POP
00000ad0: POP
00000ad1: JUMP
00000ad2: JUMPDEST
00000ad3: PUSH2 0x0adb
00000ad6: DUP5
00000ad7: PUSH2 0x06ba
00000ada: JUMP
00000adb: JUMPDEST
00000adc: DUP1
00000add: PUSH2 0x0ae7
00000ae0: PUSH1 0x01
00000ae2: DUP8
00000ae3: PUSH2 0x18da
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: PUSH1 0x00
00000aea: DUP4
00000aeb: PUSH1 0x00
00000aed: DUP2
00000aee: EQ
00000aef: PUSH2 0x0afe
00000af2: JUMPI
00000af3: PUSH4 0x095ea7b3
00000af8: SWAP2
00000af9: POP
00000afa: PUSH2 0x0b13
00000afd: JUMP
00000afe: JUMPDEST
00000aff: PUSH2 0x0b09
00000b02: PUSH1 0x02
00000b04: DUP11
00000b05: PUSH2 0x18da
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: SWAP4
00000b0b: POP
00000b0c: PUSH4 0xa9059cbb
00000b11: SWAP2
00000b12: POP
00000b13: JUMPDEST
00000b14: POP
00000b15: PUSH2 0x0b2d
00000b18: PUSH1 0x01
00000b1a: PUSH1 0xff
00000b1c: SHL
00000b1d: DUP9
00000b1e: DUP6
00000b1f: DUP10
00000b20: DUP7
00000b21: PUSH4 0x8201aa3f
00000b26: PUSH1 0x00
00000b28: DUP16
00000b29: PUSH2 0x1a68
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: PUSH2 0x0b3b
00000b31: DUP8
00000b32: DUP7
00000b33: DUP4
00000b34: PUSH1 0x00
00000b36: DUP8
00000b37: PUSH2 0x19a5
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: POP
00000b3d: POP
00000b3e: POP
00000b3f: POP
00000b40: POP
00000b41: JUMPDEST
00000b42: POP
00000b43: POP
00000b44: POP
00000b45: POP
00000b46: JUMP
00000b47: JUMPDEST
00000b48: PUSH1 0x00
00000b4a: DUP2
00000b4b: DUP4
00000b4c: ADD
00000b4d: CALLDATALOAD
00000b4e: PUSH1 0x60
00000b50: SHL
00000b51: PUSH1 0x60
00000b53: SHR
00000b54: SWAP1
00000b55: POP
00000b56: JUMPDEST
00000b57: SWAP3
00000b58: SWAP2
00000b59: POP
00000b5a: POP
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: PUSH2 0x0b68
00000b62: DUP4
00000b63: DUP4
00000b64: PUSH2 0x0b47
00000b67: JUMP
00000b68: JUMPDEST
00000b69: CALLER
00000b6a: XOR
00000b6b: SWAP1
00000b6c: POP
00000b6d: JUMPDEST
00000b6e: SWAP3
00000b6f: SWAP2
00000b70: POP
00000b71: POP
00000b72: JUMP
00000b73: JUMPDEST
00000b74: PUSH1 0x00
00000b76: DUP2
00000b77: DUP4
00000b78: ADD
00000b79: CALLDATALOAD
00000b7a: PUSH1 0xa0
00000b7c: SHR
00000b7d: SWAP1
00000b7e: POP
00000b7f: JUMPDEST
00000b80: SWAP3
00000b81: SWAP2
00000b82: POP
00000b83: POP
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH1 0x00
00000b88: PUSH2 0x0b91
00000b8b: DUP5
00000b8c: DUP4
00000b8d: PUSH2 0x0b73
00000b90: JUMP
00000b91: JUMPDEST
00000b92: DUP1
00000b93: PUSH2 0x0b9c
00000b96: DUP6
00000b97: DUP6
00000b98: PUSH2 0x0b73
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: PUSH1 0x60
00000b9f: SHL
00000ba0: OR
00000ba1: SWAP2
00000ba2: POP
00000ba3: POP
00000ba4: JUMPDEST
00000ba5: SWAP4
00000ba6: SWAP3
00000ba7: POP
00000ba8: POP
00000ba9: POP
00000baa: JUMP
00000bab: JUMPDEST
00000bac: PUSH1 0x00
00000bae: PUSH1 0x01
00000bb0: DUP3
00000bb1: DUP5
00000bb2: ADD
00000bb3: CALLDATALOAD
00000bb4: SUB
00000bb5: NOT
00000bb6: SWAP1
00000bb7: POP
00000bb8: JUMPDEST
00000bb9: SWAP3
00000bba: SWAP2
00000bbb: POP
00000bbc: POP
00000bbd: JUMP
00000bbe: JUMPDEST
00000bbf: PUSH1 0x00
00000bc1: PUSH1 0x00
00000bc3: DUP1
00000bc4: SWAP2
00000bc5: POP
00000bc6: DUP1
00000bc7: SWAP1
00000bc8: POP
00000bc9: DUP4
00000bca: PUSH1 0x02
00000bcc: BYTE
00000bcd: DUP5
00000bce: PUSH1 0x03
00000bd0: BYTE
00000bd1: DUP2
00000bd2: ISZERO
00000bd3: PUSH2 0x0be6
00000bd6: JUMPI
00000bd7: PUSH2 0x0be3
00000bda: DUP3
00000bdb: PUSH1 0x20
00000bdd: MUL
00000bde: DUP7
00000bdf: PUSH2 0x0b5c
00000be2: JUMP
00000be3: JUMPDEST
00000be4: SWAP4
00000be5: POP
00000be6: JUMPDEST
00000be7: DUP1
00000be8: ISZERO
00000be9: PUSH2 0x0bfc
00000bec: JUMPI
00000bed: PUSH2 0x0bf9
00000bf0: DUP2
00000bf1: PUSH1 0x20
00000bf3: MUL
00000bf4: DUP7
00000bf5: PUSH2 0x0b5c
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: SWAP3
00000bfb: POP
00000bfc: JUMPDEST
00000bfd: POP
00000bfe: POP
00000bff: JUMPDEST
00000c00: SWAP3
00000c01: POP
00000c02: SWAP3
00000c03: SWAP1
00000c04: POP
00000c05: JUMP
00000c06: JUMPDEST
00000c07: PUSH1 0x00
00000c09: PUSH1 0x00
00000c0b: DUP2
00000c0c: SWAP2
00000c0d: POP
00000c0e: DUP1
00000c0f: SWAP1
00000c10: POP
00000c11: DUP4
00000c12: PUSH1 0x04
00000c14: BYTE
00000c15: DUP1
00000c16: ISZERO
00000c17: PUSH2 0x0c32
00000c1a: JUMPI
00000c1b: DUP4
00000c1c: DUP2
00000c1d: PUSH1 0x20
00000c1f: MUL
00000c20: ADD
00000c21: CALLDATALOAD
00000c22: DUP1
00000c23: PUSH1 0x80
00000c25: SHR
00000c26: SWAP4
00000c27: POP
00000c28: DUP1
00000c29: PUSH1 0x80
00000c2b: SHL
00000c2c: PUSH1 0x80
00000c2e: SHR
00000c2f: SWAP3
00000c30: POP
00000c31: POP
00000c32: JUMPDEST
00000c33: POP
00000c34: JUMPDEST
00000c35: SWAP3
00000c36: POP
00000c37: SWAP3
00000c38: SWAP1
00000c39: POP
00000c3a: JUMP
00000c3b: JUMPDEST
00000c3c: PUSH1 0x00
00000c3e: DUP1
00000c3f: SWAP1
00000c40: POP
00000c41: DUP4
00000c42: DUP3
00000c43: MUL
00000c44: PUSH2 0x03e8
00000c47: DUP5
00000c48: DUP7
00000c49: DUP6
00000c4a: MULMOD
00000c4b: MUL
00000c4c: GT
00000c4d: ISZERO
00000c4e: PUSH2 0x0c56
00000c51: JUMPI
00000c52: PUSH1 0x01
00000c54: SWAP1
00000c55: POP
00000c56: JUMPDEST
00000c57: JUMPDEST
00000c58: SWAP4
00000c59: SWAP3
00000c5a: POP
00000c5b: POP
00000c5c: POP
00000c5d: JUMP
00000c5e: JUMPDEST
00000c5f: PUSH1 0x00
00000c61: PUSH1 0x00
00000c63: DUP3
00000c64: SWAP2
00000c65: POP
00000c66: DUP1
00000c67: SWAP1
00000c68: POP
00000c69: DUP6
00000c6a: ISZERO
00000c6b: PUSH2 0x0c87
00000c6e: JUMPI
00000c6f: DUP6
00000c70: DUP6
00000c71: ADD
00000c72: DUP6
00000c73: DUP5
00000c74: MUL
00000c75: DIV
00000c76: DUP1
00000c77: SWAP3
00000c78: POP
00000c79: PUSH2 0x0c83
00000c7c: DUP8
00000c7d: DUP8
00000c7e: DUP4
00000c7f: PUSH2 0x0c3b
00000c82: JUMP
00000c83: JUMPDEST
00000c84: SWAP2
00000c85: POP
00000c86: POP
00000c87: JUMPDEST
00000c88: JUMPDEST
00000c89: SWAP5
00000c8a: POP
00000c8b: SWAP5
00000c8c: SWAP3
00000c8d: POP
00000c8e: POP
00000c8f: POP
00000c90: JUMP
00000c91: JUMPDEST
00000c92: PUSH1 0x00
00000c94: PUSH1 0x00
00000c96: DUP2
00000c97: SWAP2
00000c98: POP
00000c99: PUSH2 0x0ca3
00000c9c: DUP5
00000c9d: DUP7
00000c9e: DUP6
00000c9f: PUSH2 0x0c3b
00000ca2: JUMP
00000ca3: JUMPDEST
00000ca4: DUP1
00000ca5: SWAP2
00000ca6: POP
00000ca7: DUP1
00000ca8: ISZERO
00000ca9: PUSH2 0x0cb2
00000cac: JUMPI
00000cad: POP
00000cae: PUSH2 0x0cda
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: POP
00000cb4: DUP6
00000cb5: ISZERO
00000cb6: PUSH2 0x0cc7
00000cb9: JUMPI
00000cba: PUSH2 0x0cc4
00000cbd: DUP7
00000cbe: DUP7
00000cbf: DUP6
00000cc0: PUSH2 0x0c3b
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: SWAP1
00000cc6: POP
00000cc7: JUMPDEST
00000cc8: DUP1
00000cc9: ISZERO
00000cca: PUSH2 0x0cd2
00000ccd: JUMPI
00000cce: PUSH2 0x0cda
00000cd1: JUMP
00000cd2: JUMPDEST
00000cd3: DUP5
00000cd4: DUP5
00000cd5: DUP5
00000cd6: MUL
00000cd7: DIV
00000cd8: SWAP2
00000cd9: POP
00000cda: JUMPDEST
00000cdb: SWAP5
00000cdc: POP
00000cdd: SWAP5
00000cde: SWAP3
00000cdf: POP
00000ce0: POP
00000ce1: POP
00000ce2: JUMP
00000ce3: JUMPDEST
00000ce4: PUSH1 0x00
00000ce6: PUSH1 0x24
00000ce8: DUP3
00000ce9: MSTORE
00000cea: PUSH1 0x20
00000cec: DUP3
00000ced: ADD
00000cee: PUSH4 0xf47261b0
00000cf3: PUSH1 0xe0
00000cf5: SHL
00000cf6: DUP2
00000cf7: MSTORE
00000cf8: PUSH1 0x04
00000cfa: DUP2
00000cfb: ADD
00000cfc: SWAP1
00000cfd: POP
00000cfe: DUP4
00000cff: DUP2
00000d00: MSTORE
00000d01: PUSH1 0x3c
00000d03: DUP2
00000d04: ADD
00000d05: SWAP2
00000d06: POP
00000d07: POP
00000d08: JUMPDEST
00000d09: SWAP3
00000d0a: SWAP2
00000d0b: POP
00000d0c: POP
00000d0d: JUMP
00000d0e: JUMPDEST
00000d0f: PUSH1 0x00
00000d11: DUP3
00000d12: PUSH1 0x20
00000d14: ADD
00000d15: CALLDATALOAD
00000d16: PUSH2 0x0d22
00000d19: PUSH1 0xa0
00000d1b: PUSH1 0x40
00000d1d: DUP7
00000d1e: PUSH2 0x0b85
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH2 0x0d2f
00000d26: PUSH1 0xc0
00000d28: PUSH1 0x60
00000d2a: DUP8
00000d2b: PUSH2 0x0b85
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: PUSH2 0x0d39
00000d33: DUP4
00000d34: DUP8
00000d35: PUSH2 0x0bbe
00000d38: JUMP
00000d39: JUMPDEST
00000d3a: PUSH2 0x0d43
00000d3d: DUP6
00000d3e: DUP10
00000d3f: PUSH2 0x0c06
00000d42: JUMP
00000d43: JUMPDEST
00000d44: DUP9
00000d45: PUSH1 0x60
00000d47: DUP11
00000d48: MSTORE
00000d49: PUSH2 0x0d54
00000d4c: DUP3
00000d4d: DUP8
00000d4e: DUP10
00000d4f: DUP16
00000d50: PUSH2 0x0c5e
00000d53: JUMP
00000d54: JUMPDEST
00000d55: POP
00000d56: DUP1
00000d57: PUSH1 0x20
00000d59: DUP13
00000d5a: ADD
00000d5b: MSTORE
00000d5c: POP
00000d5d: PUSH1 0x40
00000d5f: PUSH1 0x20
00000d61: DUP12
00000d62: ADD
00000d63: ADD
00000d64: PUSH2 0x0d6e
00000d67: PUSH1 0x20
00000d69: DUP14
00000d6a: PUSH2 0x0b47
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: DUP2
00000d70: MSTORE
00000d71: PUSH1 0x20
00000d73: DUP2
00000d74: ADD
00000d75: SWAP1
00000d76: POP
00000d77: DUP10
00000d78: DUP2
00000d79: MSTORE
00000d7a: PUSH1 0x20
00000d7c: DUP2
00000d7d: ADD
00000d7e: SWAP1
00000d7f: POP
00000d80: PUSH2 0x0d8a
00000d83: PUSH1 0x40
00000d85: DUP14
00000d86: PUSH2 0x0b47
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: DUP2
00000d8c: MSTORE
00000d8d: PUSH1 0x20
00000d8f: DUP2
00000d90: ADD
00000d91: SWAP1
00000d92: POP
00000d93: PUSH2 0x0d9d
00000d96: PUSH1 0x60
00000d98: DUP14
00000d99: PUSH2 0x0b47
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x20
00000da2: DUP2
00000da3: ADD
00000da4: SWAP1
00000da5: POP
00000da6: DUP8
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x20
00000dab: DUP2
00000dac: ADD
00000dad: SWAP8
00000dae: POP
00000daf: POP
00000db0: DUP6
00000db1: DUP8
00000db2: MSTORE
00000db3: PUSH1 0x20
00000db5: DUP8
00000db6: ADD
00000db7: SWAP7
00000db8: POP
00000db9: DUP3
00000dba: DUP8
00000dbb: MSTORE
00000dbc: PUSH1 0x20
00000dbe: DUP8
00000dbf: ADD
00000dc0: SWAP7
00000dc1: POP
00000dc2: DUP2
00000dc3: DUP8
00000dc4: MSTORE
00000dc5: PUSH1 0x20
00000dc7: DUP8
00000dc8: ADD
00000dc9: SWAP7
00000dca: POP
00000dcb: PUSH2 0x0dd5
00000dce: PUSH1 0x20
00000dd0: DUP13
00000dd1: PUSH2 0x0b73
00000dd4: JUMP
00000dd5: JUMPDEST
00000dd6: PUSH4 0xffffffff
00000ddb: AND
00000ddc: DUP8
00000ddd: MSTORE
00000dde: PUSH1 0x20
00000de0: DUP8
00000de1: ADD
00000de2: SWAP7
00000de3: POP
00000de4: PUSH2 0x0dee
00000de7: PUSH1 0x80
00000de9: DUP13
00000dea: PUSH2 0x0bab
00000ded: JUMP
00000dee: JUMPDEST
00000def: DUP9
00000df0: PUSH1 0x01
00000df2: BYTE
00000df3: SHR
00000df4: DUP8
00000df5: MSTORE
00000df6: PUSH1 0x20
00000df8: DUP8
00000df9: ADD
00000dfa: SWAP7
00000dfb: POP
00000dfc: PUSH2 0x01c0
00000dff: DUP8
00000e00: MSTORE
00000e01: PUSH1 0x20
00000e03: DUP8
00000e04: ADD
00000e05: SWAP7
00000e06: POP
00000e07: PUSH2 0x0220
00000e0a: DUP8
00000e0b: MSTORE
00000e0c: PUSH1 0x20
00000e0e: DUP8
00000e0f: ADD
00000e10: SWAP7
00000e11: POP
00000e12: PUSH2 0x0280
00000e15: DUP8
00000e16: MSTORE
00000e17: PUSH1 0x20
00000e19: DUP8
00000e1a: ADD
00000e1b: SWAP7
00000e1c: POP
00000e1d: PUSH2 0x02a0
00000e20: DUP8
00000e21: MSTORE
00000e22: DUP5
00000e23: ISZERO
00000e24: PUSH2 0x0e2d
00000e27: JUMPI
00000e28: PUSH2 0x02e0
00000e2b: DUP8
00000e2c: MSTORE
00000e2d: JUMPDEST
00000e2e: PUSH2 0x0e44
00000e31: PUSH2 0x0e3b
00000e34: PUSH1 0xa0
00000e36: DUP14
00000e37: PUSH2 0x0b5c
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: PUSH1 0x20
00000e3e: DUP10
00000e3f: ADD
00000e40: PUSH2 0x0ce3
00000e43: JUMP
00000e44: JUMPDEST
00000e45: SWAP7
00000e46: POP
00000e47: PUSH2 0x0e5a
00000e4a: PUSH2 0x0e54
00000e4d: PUSH1 0xc0
00000e4f: DUP14
00000e50: PUSH2 0x0b5c
00000e53: JUMP
00000e54: JUMPDEST
00000e55: DUP9
00000e56: PUSH2 0x0ce3
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: SWAP7
00000e5c: POP
00000e5d: DUP7
00000e5e: SWAP10
00000e5f: POP
00000e60: DUP5
00000e61: ISZERO
00000e62: PUSH2 0x0e72
00000e65: JUMPI
00000e66: PUSH2 0x0e6f
00000e69: DUP6
00000e6a: DUP9
00000e6b: PUSH2 0x0ce3
00000e6e: JUMP
00000e6f: JUMPDEST
00000e70: SWAP10
00000e71: POP
00000e72: JUMPDEST
00000e73: DUP5
00000e74: ISZERO
00000e75: ISZERO
00000e76: PUSH2 0x0e83
00000e79: JUMPI
00000e7a: DUP9
00000e7b: DUP11
00000e7c: MSTORE
00000e7d: PUSH1 0x20
00000e7f: DUP11
00000e80: ADD
00000e81: SWAP10
00000e82: POP
00000e83: JUMPDEST
00000e84: DUP4
00000e85: ISZERO
00000e86: PUSH2 0x0e96
00000e89: JUMPI
00000e8a: PUSH2 0x0e93
00000e8d: DUP5
00000e8e: DUP12
00000e8f: PUSH2 0x0ce3
00000e92: JUMP
00000e93: JUMPDEST
00000e94: SWAP10
00000e95: POP
00000e96: JUMPDEST
00000e97: DUP4
00000e98: ISZERO
00000e99: ISZERO
00000e9a: PUSH2 0x0ea7
00000e9d: JUMPI
00000e9e: DUP9
00000e9f: DUP11
00000ea0: MSTORE
00000ea1: PUSH1 0x20
00000ea3: DUP11
00000ea4: ADD
00000ea5: SWAP10
00000ea6: POP
00000ea7: JUMPDEST
00000ea8: DUP1
00000ea9: DUP11
00000eaa: SUB
00000eab: DUP2
00000eac: PUSH1 0x40
00000eae: ADD
00000eaf: MSTORE
00000eb0: DUP8
00000eb1: DUP10
00000eb2: BYTE
00000eb3: DUP11
00000eb4: MSTORE
00000eb5: PUSH1 0x20
00000eb7: DUP11
00000eb8: ADD
00000eb9: SWAP8
00000eba: POP
00000ebb: PUSH2 0x0ec5
00000ebe: PUSH1 0xe0
00000ec0: DUP13
00000ec1: PUSH2 0x0bab
00000ec4: JUMP
00000ec5: JUMPDEST
00000ec6: DUP9
00000ec7: MSTORE
00000ec8: PUSH1 0x20
00000eca: DUP9
00000ecb: ADD
00000ecc: SWAP8
00000ecd: POP
00000ece: PUSH2 0x0ed9
00000ed1: PUSH2 0x0100
00000ed4: DUP13
00000ed5: PUSH2 0x0bab
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: DUP9
00000edb: MSTORE
00000edc: PUSH1 0x20
00000ede: DUP9
00000edf: ADD
00000ee0: SWAP8
00000ee1: POP
00000ee2: PUSH2 0x0eed
00000ee5: PUSH2 0x0120
00000ee8: DUP13
00000ee9: PUSH2 0x0bab
00000eec: JUMP
00000eed: JUMPDEST
00000eee: DUP9
00000eef: MSTORE
00000ef0: DUP1
00000ef1: PUSH1 0x20
00000ef3: DUP10
00000ef4: ADD
00000ef5: SUB
00000ef6: SWAP9
00000ef7: POP
00000ef8: POP
00000ef9: POP
00000efa: POP
00000efb: POP
00000efc: POP
00000efd: POP
00000efe: POP
00000eff: POP
00000f00: JUMPDEST
00000f01: SWAP4
00000f02: SWAP3
00000f03: POP
00000f04: POP
00000f05: POP
00000f06: JUMP
00000f07: JUMPDEST
00000f08: PUSH1 0x00
00000f0a: DUP1
00000f0b: SWAP1
00000f0c: POP
00000f0d: PUSH2 0x0f14
00000f10: PUSH2 0x1c79
00000f13: JUMP
00000f14: JUMPDEST
00000f15: PUSH1 0x00
00000f17: MLOAD
00000f18: DUP5
00000f19: PUSH1 0x02
00000f1b: BYTE
00000f1c: PUSH1 0x20
00000f1e: MUL
00000f1f: DUP1
00000f20: PUSH1 0x20
00000f22: ADD
00000f23: CALLDATALOAD
00000f24: PUSH2 0x0f30
00000f27: PUSH1 0xa0
00000f29: PUSH1 0x40
00000f2b: DUP5
00000f2c: PUSH2 0x0b85
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH2 0x0f3d
00000f34: PUSH1 0xc0
00000f36: PUSH1 0x60
00000f38: DUP6
00000f39: PUSH2 0x0b85
00000f3c: JUMP
00000f3d: JUMPDEST
00000f3e: PUSH2 0x0f47
00000f41: DUP4
00000f42: DUP6
00000f43: PUSH2 0x0c06
00000f46: JUMP
00000f47: JUMPDEST
00000f48: DUP3
00000f49: ISZERO
00000f4a: DUP5
00000f4b: ISZERO
00000f4c: OR
00000f4d: ISZERO
00000f4e: PUSH2 0x0f5e
00000f51: JUMPI
00000f52: POP
00000f53: POP
00000f54: POP
00000f55: POP
00000f56: POP
00000f57: POP
00000f58: POP
00000f59: POP
00000f5a: PUSH2 0x10b4
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH2 0x0f69
00000f62: PUSH1 0x20
00000f64: DUP8
00000f65: PUSH2 0x0b73
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: PUSH4 0xffffffff
00000f6f: AND
00000f70: TIMESTAMP
00000f71: DUP2
00000f72: GT
00000f73: ISZERO
00000f74: ISZERO
00000f75: PUSH2 0x0f86
00000f78: JUMPI
00000f79: POP
00000f7a: POP
00000f7b: POP
00000f7c: POP
00000f7d: POP
00000f7e: POP
00000f7f: POP
00000f80: POP
00000f81: POP
00000f82: PUSH2 0x10b4
00000f85: JUMP
00000f86: JUMPDEST
00000f87: POP
00000f88: DUP6
00000f89: CALLDATALOAD
00000f8a: NOT
00000f8b: PUSH2 0x0f99
00000f8e: DUP2
00000f8f: PUSH4 0x288cdc91
00000f94: DUP12
00000f95: PUSH2 0x1b37
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH1 0x20
00000f9c: PUSH1 0x00
00000f9e: DUP10
00000f9f: RETURNDATACOPY
00000fa0: DUP8
00000fa1: MLOAD
00000fa2: DUP5
00000fa3: SUB
00000fa4: DUP5
00000fa5: DUP2
00000fa6: GT
00000fa7: PUSH1 0x01
00000fa9: DUP3
00000faa: LT
00000fab: OR
00000fac: ISZERO
00000fad: PUSH2 0x0fbf
00000fb0: JUMPI
00000fb1: POP
00000fb2: POP
00000fb3: POP
00000fb4: POP
00000fb5: POP
00000fb6: POP
00000fb7: POP
00000fb8: POP
00000fb9: POP
00000fba: POP
00000fbb: PUSH2 0x10b4
00000fbe: JUMP
00000fbf: JUMPDEST
00000fc0: PUSH2 0x0fca
00000fc3: PUSH1 0x20
00000fc5: DUP10
00000fc6: PUSH2 0x0b47
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: PUSH2 0x0fd5
00000fce: PUSH1 0x60
00000fd0: DUP11
00000fd1: PUSH2 0x0b47
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH2 0x0fe0
00000fd9: PUSH1 0x80
00000fdb: DUP12
00000fdc: PUSH2 0x0bab
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: DUP10
00000fe2: PUSH1 0x01
00000fe4: BYTE
00000fe5: SHR
00000fe6: SWAP10
00000fe7: POP
00000fe8: PUSH2 0x0ff7
00000feb: DUP2
00000fec: DUP4
00000fed: PUSH4 0xd9bfa73e
00000ff2: DUP16
00000ff3: PUSH2 0x1b68
00000ff6: JUMP
00000ff7: JUMPDEST
00000ff8: POP
00000ff9: POP
00000ffa: PUSH1 0x20
00000ffc: PUSH1 0x00
00000ffe: DUP11
00000fff: RETURNDATACOPY
00001000: DUP8
00001001: DUP10
00001002: MLOAD
00001003: GT
00001004: ISZERO
00001005: PUSH2 0x1017
00001008: JUMPI
00001009: POP
0000100a: POP
0000100b: POP
0000100c: POP
0000100d: POP
0000100e: POP
0000100f: POP
00001010: POP
00001011: POP
00001012: POP
00001013: PUSH2 0x10b4
00001016: JUMP
00001017: JUMPDEST
00001018: PUSH2 0x1026
0000101b: DUP3
0000101c: PUSH4 0x2ac12622
00001021: DUP13
00001022: PUSH2 0x1b37
00001025: JUMP
00001026: JUMPDEST
00001027: PUSH1 0x20
00001029: PUSH1 0x00
0000102b: DUP11
0000102c: RETURNDATACOPY
0000102d: DUP9
0000102e: MLOAD
0000102f: ISZERO
00001030: PUSH2 0x1042
00001033: JUMPI
00001034: POP
00001035: POP
00001036: POP
00001037: POP
00001038: POP
00001039: POP
0000103a: POP
0000103b: POP
0000103c: POP
0000103d: POP
0000103e: PUSH2 0x10b4
00001041: JUMP
00001042: JUMPDEST
00001043: DUP12
00001044: DUP2
00001045: LT
00001046: ISZERO
00001047: PUSH2 0x104e
0000104a: JUMPI
0000104b: DUP1
0000104c: SWAP12
0000104d: POP
0000104e: JUMPDEST
0000104f: POP
00001050: POP
00001051: PUSH2 0x105c
00001054: DUP2
00001055: DUP5
00001056: DUP7
00001057: DUP14
00001058: PUSH2 0x0c5e
0000105b: JUMP
0000105c: JUMPDEST
0000105d: SWAP9
0000105e: POP
0000105f: SWAP7
00001060: POP
00001061: POP
00001062: DUP7
00001063: ISZERO
00001064: PUSH2 0x1073
00001067: JUMPI
00001068: POP
00001069: POP
0000106a: POP
0000106b: POP
0000106c: POP
0000106d: POP
0000106e: POP
0000106f: PUSH2 0x10b4
00001072: JUMP
00001073: JUMPDEST
00001074: PUSH2 0x107f
00001077: DUP2
00001078: DUP4
00001079: DUP6
0000107a: DUP10
0000107b: PUSH2 0x0c91
0000107e: JUMP
0000107f: JUMPDEST
00001080: SWAP8
00001081: POP
00001082: SWAP6
00001083: POP
00001084: POP
00001085: POP
00001086: DUP4
00001087: SWAP6
00001088: POP
00001089: DUP5
0000108a: ISZERO
0000108b: PUSH2 0x1098
0000108e: JUMPI
0000108f: POP
00001090: POP
00001091: POP
00001092: POP
00001093: POP
00001094: PUSH2 0x10b4
00001097: JUMP
00001098: JUMPDEST
00001099: DUP1
0000109a: DUP5
0000109b: GT
0000109c: ISZERO
0000109d: PUSH2 0x10ae
000010a0: JUMPI
000010a1: PUSH1 0x00
000010a3: SWAP6
000010a4: POP
000010a5: POP
000010a6: POP
000010a7: POP
000010a8: POP
000010a9: POP
000010aa: PUSH2 0x10b4
000010ad: JUMP
000010ae: JUMPDEST
000010af: POP
000010b0: POP
000010b1: POP
000010b2: POP
000010b3: POP
000010b4: JUMPDEST
000010b5: SWAP3
000010b6: SWAP2
000010b7: POP
000010b8: POP
000010b9: JUMP
000010ba: JUMPDEST
000010bb: DUP3
000010bc: PUSH1 0x02
000010be: BYTE
000010bf: PUSH1 0x20
000010c1: MUL
000010c2: PUSH2 0x10ca
000010c5: DUP6
000010c6: PUSH2 0x06ba
000010c9: JUMP
000010ca: JUMPDEST
000010cb: DUP1
000010cc: PUSH1 0x00
000010ce: DUP3
000010cf: PUSH1 0x00
000010d1: DUP2
000010d2: EQ
000010d3: PUSH2 0x10e2
000010d6: JUMPI
000010d7: PUSH4 0x095ea7b3
000010dc: SWAP2
000010dd: POP
000010de: PUSH2 0x10f7
000010e1: JUMP
000010e2: JUMPDEST
000010e3: PUSH2 0x10ed
000010e6: PUSH1 0xa0
000010e8: DUP8
000010e9: PUSH2 0x0b5c
000010ec: JUMP
000010ed: JUMPDEST
000010ee: SWAP3
000010ef: POP
000010f0: PUSH4 0xa9059cbb
000010f5: SWAP2
000010f6: POP
000010f7: JUMPDEST
000010f8: POP
000010f9: PUSH1 0x00
000010fb: MLOAD
000010fc: SWAP3
000010fd: POP
000010fe: PUSH4 0x9b44d556
00001103: PUSH1 0xe0
00001105: SHL
00001106: DUP4
00001107: MSTORE
00001108: PUSH1 0x00
0000110a: PUSH1 0x00
0000110c: PUSH2 0x1119
0000110f: DUP9
00001110: DUP9
00001111: PUSH1 0x04
00001113: DUP9
00001114: ADD
00001115: PUSH2 0x0d0e
00001118: JUMP
00001119: JUMPDEST
0000111a: PUSH1 0x04
0000111c: ADD
0000111d: DUP6
0000111e: DUP12
0000111f: PUSH1 0x40
00001121: SHL
00001122: PUSH1 0xe0
00001124: SHR
00001125: GASPRICE
00001126: MUL
00001127: PUSH2 0x112e
0000112a: PUSH2 0x1c79
0000112d: JUMP
0000112e: JUMPDEST
0000112f: GAS
00001130: CALL
00001131: ISZERO
00001132: ISZERO
00001133: PUSH2 0x1141
00001136: JUMPI
00001137: PUSH2 0x1140
0000113a: PUSH1 0x14
0000113c: PUSH2 0x0108
0000113f: JUMP
00001140: JUMPDEST
00001141: JUMPDEST
00001142: PUSH1 0x20
00001144: PUSH1 0x00
00001146: DUP5
00001147: RETURNDATACOPY
00001148: DUP7
00001149: DUP4
0000114a: MLOAD
0000114b: LT
0000114c: ISZERO
0000114d: PUSH2 0x115b
00001150: JUMPI
00001151: PUSH2 0x115a
00001154: PUSH1 0x15
00001156: PUSH2 0x0108
00001159: JUMP
0000115a: JUMPDEST
0000115b: JUMPDEST
0000115c: PUSH2 0x1169
0000115f: DUP8
00001160: DUP6
00001161: DUP4
00001162: PUSH1 0x00
00001164: DUP7
00001165: PUSH2 0x19a5
00001168: JUMP
00001169: JUMPDEST
0000116a: POP
0000116b: POP
0000116c: POP
0000116d: POP
0000116e: POP
0000116f: JUMPDEST
00001170: POP
00001171: POP
00001172: POP
00001173: POP
00001174: JUMP
00001175: JUMPDEST
00001176: PUSH1 0x00
00001178: PUSH2 0x1182
0000117b: PUSH1 0x01
0000117d: DUP5
0000117e: PUSH2 0x18da
00001181: JUMP
00001182: JUMPDEST
00001183: DUP1
00001184: PUSH2 0x118e
00001187: PUSH1 0x02
00001189: DUP7
0000118a: PUSH2 0x18da
0000118d: JUMP
0000118e: JUMPDEST
0000118f: DUP1
00001190: PUSH2 0x1197
00001193: PUSH2 0x188b
00001196: JUMP
00001197: JUMPDEST
00001198: DUP1
00001199: DUP6
0000119a: EQ
0000119b: ISZERO
0000119c: PUSH2 0x11a3
0000119f: JUMPI
000011a0: DUP6
000011a1: SWAP4
000011a2: POP
000011a3: JUMPDEST
000011a4: DUP1
000011a5: DUP4
000011a6: EQ
000011a7: ISZERO
000011a8: PUSH2 0x11af
000011ab: JUMPI
000011ac: DUP6
000011ad: SWAP2
000011ae: POP
000011af: JUMPDEST
000011b0: POP
000011b1: PUSH2 0x11c1
000011b4: DUP7
000011b5: DUP3
000011b6: DUP6
000011b7: PUSH4 0x1e1401f8
000011bc: DUP12
000011bd: PUSH2 0x1ba0
000011c0: JUMP
000011c1: JUMPDEST
000011c2: POP
000011c3: POP
000011c4: POP
000011c5: POP
000011c6: DUP1
000011c7: MLOAD
000011c8: PUSH1 0x20
000011ca: DUP3
000011cb: DUP3
000011cc: RETURNDATACOPY
000011cd: DUP1
000011ce: MLOAD
000011cf: SWAP2
000011d0: POP
000011d1: POP
000011d2: JUMPDEST
000011d3: SWAP3
000011d4: SWAP2
000011d5: POP
000011d6: POP
000011d7: JUMP
000011d8: JUMPDEST
000011d9: PUSH1 0x00
000011db: PUSH1 0x00
000011dd: PUSH1 0x00
000011df: PUSH1 0x00
000011e1: PUSH2 0x11e9
000011e4: DUP8
000011e5: PUSH2 0x06ba
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH2 0x11f4
000011ed: PUSH1 0x01
000011ef: DUP10
000011f0: PUSH2 0x18da
000011f3: JUMP
000011f4: JUMPDEST
000011f5: DUP1
000011f6: SWAP6
000011f7: POP
000011f8: PUSH2 0x1202
000011fb: PUSH1 0x02
000011fd: DUP11
000011fe: PUSH2 0x18da
00001201: JUMP
00001202: JUMPDEST
00001203: DUP1
00001204: SWAP6
00001205: POP
00001206: DUP4
00001207: SWAP5
00001208: POP
00001209: DUP3
0000120a: ISZERO
0000120b: PUSH2 0x1212
0000120e: JUMPI
0000120f: ADDRESS
00001210: SWAP5
00001211: POP
00001212: JUMPDEST
00001213: DUP8
00001214: SWAP8
00001215: POP
00001216: PUSH2 0x121d
00001219: PUSH2 0x188b
0000121c: JUMP
0000121d: JUMPDEST
0000121e: SWAP4
0000121f: POP
00001220: DUP4
00001221: DUP3
00001222: EQ
00001223: ISZERO
00001224: PUSH2 0x122f
00001227: JUMPI
00001228: PUSH1 0x00
0000122a: SWAP7
0000122b: POP
0000122c: DUP9
0000122d: SWAP8
0000122e: POP
0000122f: JUMPDEST
00001230: DUP4
00001231: DUP2
00001232: EQ
00001233: ISZERO
00001234: PUSH2 0x123c
00001237: JUMPI
00001238: PUSH1 0x00
0000123a: SWAP6
0000123b: POP
0000123c: JUMPDEST
0000123d: POP
0000123e: POP
0000123f: POP
00001240: POP
00001241: JUMPDEST
00001242: SWAP4
00001243: POP
00001244: SWAP4
00001245: POP
00001246: SWAP4
00001247: POP
00001248: SWAP4
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH2 0x1255
0000124e: DUP5
0000124f: DUP5
00001250: DUP4
00001251: PUSH2 0x11d8
00001254: JUMP
00001255: JUMPDEST
00001256: PUSH2 0x126c
00001259: DUP2
0000125a: PUSH1 0x00
0000125c: PUSH1 0x01
0000125e: DUP9
0000125f: DUP7
00001260: DUP9
00001261: PUSH4 0xe331d039
00001266: DUP12
00001267: DUP16
00001268: PUSH2 0x1ab7
0000126b: JUMP
0000126c: JUMPDEST
0000126d: POP
0000126e: POP
0000126f: POP
00001270: POP
00001271: PUSH2 0x1279
00001274: DUP5
00001275: PUSH2 0x06ba
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH2 0x1281
0000127d: PUSH2 0x188b
00001280: JUMP
00001281: JUMPDEST
00001282: DUP2
00001283: XOR
00001284: DUP2
00001285: AND
00001286: ISZERO
00001287: PUSH2 0x129d
0000128a: JUMPI
0000128b: PUSH2 0x129c
0000128e: DUP5
0000128f: DUP4
00001290: PUSH4 0x095ea7b3
00001295: PUSH1 0x00
00001297: DUP6
00001298: PUSH2 0x19a5
0000129b: JUMP
0000129c: JUMPDEST
0000129d: JUMPDEST
0000129e: POP
0000129f: POP
000012a0: JUMPDEST
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: POP
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x00
000012a9: PUSH20 0x2f9ec37d6ccfff1cab21733bdadede11c823ccb0
000012be: SWAP1
000012bf: POP
000012c0: JUMPDEST
000012c1: SWAP1
000012c2: JUMP
000012c3: JUMPDEST
000012c4: PUSH1 0x00
000012c6: DUP3
000012c7: PUSH1 0x01
000012c9: BYTE
000012ca: DUP1
000012cb: DUP4
000012cc: MSTORE
000012cd: DUP2
000012ce: JUMPDEST
000012cf: DUP2
000012d0: DUP2
000012d1: LT
000012d2: ISZERO
000012d3: PUSH2 0x12fb
000012d6: JUMPI
000012d7: PUSH2 0x12e3
000012da: PUSH1 0x02
000012dc: DUP3
000012dd: ADD
000012de: DUP7
000012df: PUSH2 0x18da
000012e2: JUMP
000012e3: JUMPDEST
000012e4: DUP1
000012e5: PUSH1 0x01
000012e7: DUP4
000012e8: ADD
000012e9: PUSH1 0x20
000012eb: MUL
000012ec: DUP7
000012ed: ADD
000012ee: MSTORE
000012ef: POP
000012f0: JUMPDEST
000012f1: DUP1
000012f2: PUSH1 0x01
000012f4: ADD
000012f5: SWAP1
000012f6: POP
000012f7: PUSH2 0x12ce
000012fa: JUMP
000012fb: JUMPDEST
000012fc: POP
000012fd: DUP1
000012fe: PUSH1 0x01
00001300: ADD
00001301: PUSH1 0x20
00001303: MUL
00001304: SWAP2
00001305: POP
00001306: POP
00001307: JUMPDEST
00001308: SWAP3
00001309: SWAP2
0000130a: POP
0000130b: POP
0000130c: JUMP
0000130d: JUMPDEST
0000130e: PUSH1 0x00
00001310: DUP1
00001311: MLOAD
00001312: PUSH4 0x7f9c0ecd
00001317: PUSH1 0xe0
00001319: SHL
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x40
0000131e: PUSH1 0x04
00001320: DUP3
00001321: ADD
00001322: MSTORE
00001323: DUP3
00001324: PUSH1 0x24
00001326: DUP3
00001327: ADD
00001328: MSTORE
00001329: DUP2
0000132a: DUP3
0000132b: PUSH2 0x1337
0000132e: DUP7
0000132f: PUSH1 0x44
00001331: DUP6
00001332: ADD
00001333: PUSH2 0x12c3
00001336: JUMP
00001337: JUMPDEST
00001338: PUSH1 0x44
0000133a: ADD
0000133b: DUP4
0000133c: PUSH2 0x1343
0000133f: PUSH2 0x12a6
00001342: JUMP
00001343: JUMPDEST
00001344: GAS
00001345: STATICCALL
00001346: ISZERO
00001347: ISZERO
00001348: PUSH2 0x1356
0000134b: JUMPI
0000134c: PUSH2 0x1355
0000134f: PUSH1 0x14
00001351: PUSH2 0x0108
00001354: JUMP
00001355: JUMPDEST
00001356: JUMPDEST
00001357: POP
00001358: DUP1
00001359: MLOAD
0000135a: PUSH1 0x20
0000135c: DUP3
0000135d: DUP3
0000135e: RETURNDATACOPY
0000135f: DUP1
00001360: MLOAD
00001361: SWAP2
00001362: POP
00001363: POP
00001364: JUMPDEST
00001365: SWAP3
00001366: SWAP2
00001367: POP
00001368: POP
00001369: JUMP
0000136a: JUMPDEST
0000136b: PUSH2 0x1373
0000136e: DUP5
0000136f: PUSH2 0x06ba
00001372: JUMP
00001373: JUMPDEST
00001374: DUP2
00001375: DUP2
00001376: ISZERO
00001377: PUSH2 0x137e
0000137a: JUMPI
0000137b: ADDRESS
0000137c: SWAP1
0000137d: POP
0000137e: JUMPDEST
0000137f: PUSH1 0x00
00001381: PUSH2 0x1388
00001384: PUSH2 0x188b
00001387: JUMP
00001388: JUMPDEST
00001389: DUP1
0000138a: PUSH2 0x1394
0000138d: PUSH1 0x02
0000138f: DUP11
00001390: PUSH2 0x18da
00001393: JUMP
00001394: JUMPDEST
00001395: EQ
00001396: ISZERO
00001397: PUSH2 0x139e
0000139a: JUMPI
0000139b: DUP6
0000139c: SWAP2
0000139d: POP
0000139e: JUMPDEST
0000139f: PUSH1 0x00
000013a1: MLOAD
000013a2: PUSH4 0xc98fefed
000013a7: PUSH1 0xe0
000013a9: SHL
000013aa: DUP2
000013ab: MSTORE
000013ac: PUSH1 0x80
000013ae: PUSH1 0x04
000013b0: DUP3
000013b1: ADD
000013b2: MSTORE
000013b3: DUP7
000013b4: PUSH1 0x24
000013b6: DUP3
000013b7: ADD
000013b8: MSTORE
000013b9: DUP8
000013ba: PUSH1 0x44
000013bc: DUP3
000013bd: ADD
000013be: MSTORE
000013bf: DUP4
000013c0: PUSH1 0x64
000013c2: DUP3
000013c3: ADD
000013c4: MSTORE
000013c5: PUSH1 0x00
000013c7: PUSH1 0x00
000013c9: PUSH2 0x13d5
000013cc: DUP12
000013cd: PUSH1 0x84
000013cf: DUP6
000013d0: ADD
000013d1: PUSH2 0x12c3
000013d4: JUMP
000013d5: JUMPDEST
000013d6: PUSH1 0x84
000013d8: ADD
000013d9: DUP4
000013da: DUP7
000013db: PUSH2 0x13e2
000013de: PUSH2 0x12a6
000013e1: JUMP
000013e2: JUMPDEST
000013e3: GAS
000013e4: CALL
000013e5: ISZERO
000013e6: ISZERO
000013e7: PUSH2 0x13f5
000013ea: JUMPI
000013eb: PUSH2 0x13f4
000013ee: PUSH1 0x14
000013f0: PUSH2 0x0108
000013f3: JUMP
000013f4: JUMPDEST
000013f5: JUMPDEST
000013f6: POP
000013f7: DUP1
000013f8: DUP5
000013f9: XOR
000013fa: DUP5
000013fb: AND
000013fc: ISZERO
000013fd: PUSH2 0x1413
00001400: JUMPI
00001401: PUSH2 0x1412
00001404: DUP8
00001405: DUP7
00001406: PUSH4 0x095ea7b3
0000140b: PUSH1 0x00
0000140d: DUP9
0000140e: PUSH2 0x19a5
00001411: JUMP
00001412: JUMPDEST
00001413: JUMPDEST
00001414: POP
00001415: POP
00001416: POP
00001417: POP
00001418: POP
00001419: JUMPDEST
0000141a: POP
0000141b: POP
0000141c: POP
0000141d: POP
0000141e: JUMP
0000141f: JUMPDEST
00001420: PUSH1 0x00
00001422: PUSH20 0x9aab3f75489902f3a48495025729a0af77d4b11e
00001437: SWAP1
00001438: POP
00001439: JUMPDEST
0000143a: SWAP1
0000143b: JUMP
0000143c: JUMPDEST
0000143d: PUSH1 0x00
0000143f: PUSH2 0x1449
00001442: PUSH1 0x01
00001444: DUP5
00001445: PUSH2 0x18da
00001448: JUMP
00001449: JUMPDEST
0000144a: DUP2
0000144b: DUP2
0000144c: PUSH1 0x00
0000144e: DUP2
0000144f: EQ
00001450: PUSH2 0x149a
00001453: JUMPI
00001454: PUSH2 0x1479
00001457: NUMBER
00001458: DUP7
00001459: PUSH2 0x1463
0000145c: PUSH1 0x03
0000145e: DUP11
0000145f: PUSH2 0x18da
00001462: JUMP
00001463: JUMPDEST
00001464: PUSH2 0x146e
00001467: PUSH1 0x02
00001469: DUP12
0000146a: PUSH2 0x18da
0000146d: JUMP
0000146e: JUMPDEST
0000146f: PUSH4 0x7cd44272
00001474: DUP9
00001475: PUSH2 0x1bdf
00001478: JUMP
00001479: JUMPDEST
0000147a: DUP4
0000147b: MLOAD
0000147c: PUSH1 0x20
0000147e: DUP6
0000147f: DUP3
00001480: RETURNDATACOPY
00001481: DUP1
00001482: MLOAD
00001483: SWAP1
00001484: POP
00001485: PUSH2 0x2710
00001488: DUP2
00001489: DUP9
0000148a: PUSH1 0x07
0000148c: BYTE
0000148d: PUSH2 0x2710
00001490: SUB
00001491: MUL
00001492: DIV
00001493: SWAP3
00001494: POP
00001495: POP
00001496: PUSH2 0x1521
00001499: JUMP
0000149a: JUMPDEST
0000149b: DUP4
0000149c: MLOAD
0000149d: PUSH4 0x8ff68a80
000014a2: PUSH1 0xe0
000014a4: SHL
000014a5: DUP2
000014a6: MSTORE
000014a7: PUSH2 0x14b1
000014aa: PUSH1 0x02
000014ac: DUP9
000014ad: PUSH2 0x18da
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH1 0x04
000014b4: DUP3
000014b5: ADD
000014b6: MSTORE
000014b7: PUSH2 0x14c1
000014ba: PUSH1 0x03
000014bc: DUP9
000014bd: PUSH2 0x18da
000014c0: JUMP
000014c1: JUMPDEST
000014c2: PUSH1 0x24
000014c4: DUP3
000014c5: ADD
000014c6: MSTORE
000014c7: DUP6
000014c8: PUSH1 0x44
000014ca: DUP3
000014cb: ADD
000014cc: MSTORE
000014cd: DUP5
000014ce: PUSH1 0x64
000014d0: DUP3
000014d1: ADD
000014d2: MSTORE
000014d3: PUSH1 0xa0
000014d5: PUSH1 0x84
000014d7: DUP3
000014d8: ADD
000014d9: MSTORE
000014da: PUSH2 0x14ea
000014dd: PUSH1 0x05
000014df: PUSH1 0x04
000014e1: DUP10
000014e2: PUSH1 0xc4
000014e4: DUP6
000014e5: ADD
000014e6: PUSH2 0x183f
000014e9: JUMP
000014ea: JUMPDEST
000014eb: DUP1
000014ec: PUSH1 0xa4
000014ee: DUP4
000014ef: ADD
000014f0: MSTORE
000014f1: DUP6
000014f2: DUP7
000014f3: DUP3
000014f4: PUSH1 0xc4
000014f6: ADD
000014f7: DUP5
000014f8: PUSH2 0x14ff
000014fb: PUSH2 0x141f
000014fe: JUMP
000014ff: JUMPDEST
00001500: GAS
00001501: STATICCALL
00001502: ISZERO
00001503: ISZERO
00001504: PUSH2 0x1512
00001507: JUMPI
00001508: PUSH2 0x1511
0000150b: PUSH1 0x14
0000150d: PUSH2 0x0108
00001510: JUMP
00001511: JUMPDEST
00001512: JUMPDEST
00001513: POP
00001514: POP
00001515: DUP4
00001516: MLOAD
00001517: PUSH1 0x20
00001519: DUP6
0000151a: DUP3
0000151b: RETURNDATACOPY
0000151c: DUP1
0000151d: MLOAD
0000151e: SWAP3
0000151f: POP
00001520: POP
00001521: JUMPDEST
00001522: POP
00001523: DUP1
00001524: DUP5
00001525: MUL
00001526: SWAP3
00001527: POP
00001528: POP
00001529: POP
0000152a: DUP3
0000152b: PUSH1 0x08
0000152d: BYTE
0000152e: DUP1
0000152f: ISZERO
00001530: PUSH2 0x158a
00001533: JUMPI
00001534: DUP1
00001535: PUSH1 0x80
00001537: AND
00001538: PUSH1 0x00
0000153a: DUP2
0000153b: PUSH1 0x00
0000153d: DUP2
0000153e: EQ
0000153f: PUSH2 0x154e
00001542: JUMPI
00001543: DUP4
00001544: PUSH2 0x0100
00001547: SUB
00001548: SWAP2
00001549: POP
0000154a: PUSH2 0x1552
0000154d: JUMP
0000154e: JUMPDEST
0000154f: DUP4
00001550: SWAP2
00001551: POP
00001552: JUMPDEST
00001553: POP
00001554: PUSH1 0x00
00001556: JUMPDEST
00001557: DUP2
00001558: DUP2
00001559: LT
0000155a: ISZERO
0000155b: PUSH2 0x1586
0000155e: JUMPI
0000155f: DUP3
00001560: PUSH1 0x00
00001562: DUP2
00001563: EQ
00001564: PUSH2 0x1572
00001567: JUMPI
00001568: PUSH1 0x0a
0000156a: DUP7
0000156b: DIV
0000156c: SWAP6
0000156d: POP
0000156e: PUSH2 0x1579
00001571: JUMP
00001572: JUMPDEST
00001573: PUSH1 0x0a
00001575: DUP7
00001576: MUL
00001577: SWAP6
00001578: POP
00001579: JUMPDEST
0000157a: POP
0000157b: JUMPDEST
0000157c: DUP1
0000157d: PUSH1 0x01
0000157f: ADD
00001580: SWAP1
00001581: POP
00001582: PUSH2 0x1556
00001585: JUMP
00001586: JUMPDEST
00001587: POP
00001588: POP
00001589: POP
0000158a: JUMPDEST
0000158b: POP
0000158c: PUSH8 0x0de0b6b3a7640000
00001595: DUP2
00001596: DIV
00001597: SWAP1
00001598: POP
00001599: JUMPDEST
0000159a: SWAP3
0000159b: SWAP2
0000159c: POP
0000159d: POP
0000159e: JUMP
0000159f: JUMPDEST
000015a0: PUSH2 0x15a8
000015a3: DUP5
000015a4: PUSH2 0x06ba
000015a7: JUMP
000015a8: JUMPDEST
000015a9: PUSH2 0x15b3
000015ac: PUSH1 0x02
000015ae: DUP7
000015af: PUSH2 0x18da
000015b2: JUMP
000015b3: JUMPDEST
000015b4: PUSH2 0x15be
000015b7: PUSH1 0x03
000015b9: DUP8
000015ba: PUSH2 0x18da
000015bd: JUMP
000015be: JUMPDEST
000015bf: DUP4
000015c0: DUP4
000015c1: ISZERO
000015c2: PUSH2 0x15c9
000015c5: JUMPI
000015c6: ADDRESS
000015c7: SWAP1
000015c8: POP
000015c9: JUMPDEST
000015ca: PUSH1 0x00
000015cc: PUSH2 0x15d3
000015cf: PUSH2 0x188b
000015d2: JUMP
000015d3: JUMPDEST
000015d4: DUP1
000015d5: DUP6
000015d6: EQ
000015d7: ISZERO
000015d8: PUSH2 0x15df
000015db: JUMPI
000015dc: DUP8
000015dd: SWAP2
000015de: POP
000015df: JUMPDEST
000015e0: PUSH1 0x00
000015e2: MLOAD
000015e3: PUSH4 0xae591d54
000015e8: PUSH1 0xe0
000015ea: SHL
000015eb: DUP2
000015ec: MSTORE
000015ed: DUP6
000015ee: PUSH1 0x04
000015f0: DUP3
000015f1: ADD
000015f2: MSTORE
000015f3: DUP9
000015f4: PUSH1 0x24
000015f6: DUP3
000015f7: ADD
000015f8: MSTORE
000015f9: DUP5
000015fa: PUSH1 0x44
000015fc: DUP3
000015fd: ADD
000015fe: MSTORE
000015ff: DUP4
00001600: PUSH1 0x64
00001602: DUP3
00001603: ADD
00001604: MSTORE
00001605: DUP10
00001606: PUSH1 0x80
00001608: SHL
00001609: PUSH1 0x84
0000160b: DUP3
0000160c: ADD
0000160d: MSTORE
0000160e: PUSH1 0x01
00001610: PUSH1 0xa4
00001612: DUP3
00001613: ADD
00001614: MSTORE
00001615: PUSH1 0x00
00001617: PUSH1 0xc4
00001619: DUP3
0000161a: ADD
0000161b: MSTORE
0000161c: PUSH1 0x00
0000161e: PUSH1 0xe4
00001620: DUP3
00001621: ADD
00001622: MSTORE
00001623: PUSH2 0x0120
00001626: PUSH2 0x0104
00001629: DUP3
0000162a: ADD
0000162b: MSTORE
0000162c: PUSH1 0x00
0000162e: SWAP6
0000162f: POP
00001630: DUP11
00001631: PUSH1 0x04
00001633: BYTE
00001634: ISZERO
00001635: PUSH2 0x164d
00001638: JUMPI
00001639: PUSH2 0x164a
0000163c: PUSH1 0x05
0000163e: PUSH1 0x04
00001640: DUP14
00001641: PUSH2 0x0144
00001644: DUP6
00001645: ADD
00001646: PUSH2 0x183f
00001649: JUMP
0000164a: JUMPDEST
0000164b: SWAP6
0000164c: POP
0000164d: JUMPDEST
0000164e: DUP6
0000164f: PUSH2 0x0124
00001652: DUP3
00001653: ADD
00001654: MSTORE
00001655: PUSH1 0x00
00001657: PUSH1 0x00
00001659: DUP8
0000165a: PUSH2 0x0144
0000165d: ADD
0000165e: DUP4
0000165f: DUP7
00001660: PUSH2 0x1667
00001663: PUSH2 0x141f
00001666: JUMP
00001667: JUMPDEST
00001668: GAS
00001669: CALL
0000166a: ISZERO
0000166b: ISZERO
0000166c: PUSH2 0x167a
0000166f: JUMPI
00001670: PUSH2 0x1679
00001673: PUSH1 0x14
00001675: PUSH2 0x0108
00001678: JUMP
00001679: JUMPDEST
0000167a: JUMPDEST
0000167b: POP
0000167c: DUP1
0000167d: DUP7
0000167e: XOR
0000167f: DUP7
00001680: AND
00001681: ISZERO
00001682: PUSH2 0x1698
00001685: JUMPI
00001686: PUSH2 0x1697
00001689: DUP10
0000168a: DUP9
0000168b: PUSH4 0x095ea7b3
00001690: PUSH1 0x00
00001692: DUP11
00001693: PUSH2 0x19a5
00001696: JUMP
00001697: JUMPDEST
00001698: JUMPDEST
00001699: POP
0000169a: POP
0000169b: POP
0000169c: POP
0000169d: POP
0000169e: POP
0000169f: POP
000016a0: JUMPDEST
000016a1: POP
000016a2: POP
000016a3: POP
000016a4: POP
000016a5: JUMP
000016a6: JUMPDEST
000016a7: PUSH1 0x00
000016a9: CALLER
000016aa: DUP4
000016ab: XOR
000016ac: PUSH2 0x16b6
000016af: PUSH1 0x04
000016b1: DUP3
000016b2: PUSH2 0x18da
000016b5: JUMP
000016b6: JUMPDEST
000016b7: DUP1
000016b8: ISZERO
000016b9: ISZERO
000016ba: PUSH2 0x16c7
000016bd: JUMPI
000016be: DUP4
000016bf: SWAP3
000016c0: POP
000016c1: POP
000016c2: POP
000016c3: PUSH2 0x172c
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH1 0x00
000016ca: MLOAD
000016cb: DUP3
000016cc: PUSH1 0xb8
000016ce: SHR
000016cf: PUSH1 0xe0
000016d1: SHL
000016d2: DUP2
000016d3: MSTORE
000016d4: PUSH2 0x16e4
000016d7: PUSH1 0x0a
000016d9: PUSH1 0x09
000016db: DUP6
000016dc: PUSH1 0x04
000016de: DUP6
000016df: ADD
000016e0: PUSH2 0x183f
000016e3: JUMP
000016e4: JUMPDEST
000016e5: DUP6
000016e6: PUSH2 0x16f0
000016e9: DUP6
000016ea: PUSH1 0x0c
000016ec: PUSH2 0x1827
000016ef: JUMP
000016f0: JUMPDEST
000016f1: DUP4
000016f2: ADD
000016f3: MSTORE
000016f4: PUSH1 0x00
000016f6: PUSH1 0x00
000016f8: DUP3
000016f9: PUSH1 0x04
000016fb: ADD
000016fc: DUP5
000016fd: DUP7
000016fe: GAS
000016ff: STATICCALL
00001700: ISZERO
00001701: ISZERO
00001702: PUSH2 0x1710
00001705: JUMPI
00001706: PUSH2 0x170f
00001709: PUSH1 0x14
0000170b: PUSH2 0x0108
0000170e: JUMP
0000170f: JUMPDEST
00001710: JUMPDEST
00001711: POP
00001712: POP
00001713: POP
00001714: PUSH1 0x00
00001716: MLOAD
00001717: PUSH1 0x20
00001719: PUSH2 0x1723
0000171c: DUP4
0000171d: PUSH1 0x0e
0000171f: PUSH2 0x1827
00001722: JUMP
00001723: JUMPDEST
00001724: DUP3
00001725: RETURNDATACOPY
00001726: DUP1
00001727: MLOAD
00001728: SWAP3
00001729: POP
0000172a: POP
0000172b: POP
0000172c: JUMPDEST
0000172d: SWAP3
0000172e: SWAP2
0000172f: POP
00001730: POP
00001731: JUMP
00001732: JUMPDEST
00001733: CALLER
00001734: DUP4
00001735: XOR
00001736: PUSH2 0x1740
00001739: PUSH1 0x10
0000173b: DUP3
0000173c: PUSH2 0x18da
0000173f: JUMP
00001740: JUMPDEST
00001741: DUP1
00001742: ISZERO
00001743: ISZERO
00001744: PUSH2 0x1752
00001747: JUMPI
00001748: PUSH2 0x1751
0000174b: PUSH1 0x14
0000174d: PUSH2 0x0108
00001750: JUMP
00001751: JUMPDEST
00001752: JUMPDEST
00001753: PUSH2 0x175b
00001756: DUP7
00001757: PUSH2 0x06ba
0000175a: JUMP
0000175b: JUMPDEST
0000175c: DUP2
0000175d: DUP2
0000175e: ISZERO
0000175f: PUSH2 0x1766
00001762: JUMPI
00001763: ADDRESS
00001764: SWAP1
00001765: POP
00001766: JUMPDEST
00001767: POP
00001768: PUSH1 0x00
0000176a: PUSH2 0x1771
0000176d: PUSH2 0x188b
00001770: JUMP
00001771: JUMPDEST
00001772: DUP1
00001773: PUSH2 0x177d
00001776: PUSH1 0x02
00001778: DUP9
00001779: PUSH2 0x18da
0000177c: JUMP
0000177d: JUMPDEST
0000177e: EQ
0000177f: ISZERO
00001780: PUSH2 0x1787
00001783: JUMPI
00001784: DUP7
00001785: SWAP2
00001786: POP
00001787: JUMPDEST
00001788: PUSH1 0x00
0000178a: MLOAD
0000178b: DUP7
0000178c: PUSH1 0x58
0000178e: SHR
0000178f: PUSH1 0xe0
00001791: SHL
00001792: DUP2
00001793: MSTORE
00001794: PUSH2 0x17a4
00001797: PUSH1 0x16
00001799: PUSH1 0x15
0000179b: DUP10
0000179c: PUSH1 0x04
0000179e: DUP6
0000179f: ADD
000017a0: PUSH2 0x183f
000017a3: JUMP
000017a4: JUMPDEST
000017a5: PUSH2 0x17af
000017a8: DUP9
000017a9: PUSH1 0x18
000017ab: PUSH2 0x1827
000017ae: JUMP
000017af: JUMPDEST
000017b0: PUSH2 0xffff
000017b3: DUP2
000017b4: XOR
000017b5: ISZERO
000017b6: PUSH2 0x17bf
000017b9: JUMPI
000017ba: DUP10
000017bb: DUP2
000017bc: DUP5
000017bd: ADD
000017be: MSTORE
000017bf: JUMPDEST
000017c0: POP
000017c1: PUSH2 0x17cb
000017c4: DUP9
000017c5: PUSH1 0x1a
000017c7: PUSH2 0x1827
000017ca: JUMP
000017cb: JUMPDEST
000017cc: SWAP8
000017cd: POP
000017ce: PUSH2 0xffff
000017d1: DUP9
000017d2: XOR
000017d3: ISZERO
000017d4: PUSH2 0x17dd
000017d7: JUMPI
000017d8: DUP10
000017d9: DUP9
000017da: DUP4
000017db: ADD
000017dc: MSTORE
000017dd: JUMPDEST
000017de: PUSH1 0x00
000017e0: PUSH1 0x00
000017e2: DUP3
000017e3: PUSH1 0x04
000017e5: ADD
000017e6: DUP5
000017e7: DUP8
000017e8: DUP12
000017e9: GAS
000017ea: CALL
000017eb: ISZERO
000017ec: ISZERO
000017ed: PUSH2 0x17fb
000017f0: JUMPI
000017f1: PUSH2 0x17fa
000017f4: PUSH1 0x14
000017f6: PUSH2 0x0108
000017f9: JUMP
000017fa: JUMPDEST
000017fb: JUMPDEST
000017fc: POP
000017fd: POP
000017fe: DUP1
000017ff: DUP4
00001800: XOR
00001801: DUP4
00001802: AND
00001803: ISZERO
00001804: PUSH2 0x181a
00001807: JUMPI
00001808: PUSH2 0x1819
0000180b: DUP9
0000180c: DUP6
0000180d: PUSH4 0x095ea7b3
00001812: PUSH1 0x00
00001814: DUP8
00001815: PUSH2 0x19a5
00001818: JUMP
00001819: JUMPDEST
0000181a: JUMPDEST
0000181b: POP
0000181c: POP
0000181d: POP
0000181e: POP
0000181f: POP
00001820: POP
00001821: JUMPDEST
00001822: POP
00001823: POP
00001824: POP
00001825: POP
00001826: JUMP
00001827: JUMPDEST
00001828: PUSH1 0x00
0000182a: DUP3
0000182b: DUP3
0000182c: PUSH1 0x01
0000182e: ADD
0000182f: BYTE
00001830: DUP4
00001831: DUP4
00001832: BYTE
00001833: PUSH1 0x08
00001835: SHL
00001836: OR
00001837: SWAP1
00001838: POP
00001839: JUMPDEST
0000183a: SWAP3
0000183b: SWAP2
0000183c: POP
0000183d: POP
0000183e: JUMP
0000183f: JUMPDEST
00001840: PUSH1 0x00
00001842: PUSH2 0x184b
00001845: DUP4
00001846: DUP7
00001847: PUSH2 0x1827
0000184a: JUMP
0000184b: JUMPDEST
0000184c: DUP1
0000184d: SWAP2
0000184e: POP
0000184f: DUP4
00001850: DUP6
00001851: BYTE
00001852: PUSH1 0x20
00001854: PUSH1 0x1f
00001856: DUP4
00001857: ADD
00001858: DIV
00001859: SWAP2
0000185a: POP
0000185b: PUSH1 0x00
0000185d: JUMPDEST
0000185e: DUP3
0000185f: DUP2
00001860: LT
00001861: ISZERO
00001862: PUSH2 0x187f
00001865: JUMPI
00001866: DUP2
00001867: DUP2
00001868: ADD
00001869: PUSH1 0x20
0000186b: MUL
0000186c: CALLDATALOAD
0000186d: DUP2
0000186e: PUSH1 0x20
00001870: MUL
00001871: DUP7
00001872: ADD
00001873: MSTORE
00001874: JUMPDEST
00001875: DUP1
00001876: PUSH1 0x01
00001878: ADD
00001879: SWAP1
0000187a: POP
0000187b: PUSH2 0x185d
0000187e: JUMP
0000187f: JUMPDEST
00001880: POP
00001881: POP
00001882: POP
00001883: JUMPDEST
00001884: SWAP5
00001885: SWAP4
00001886: POP
00001887: POP
00001888: POP
00001889: POP
0000188a: JUMP
0000188b: JUMPDEST
0000188c: PUSH1 0x00
0000188e: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000018a3: SWAP1
000018a4: POP
000018a5: JUMPDEST
000018a6: SWAP1
000018a7: JUMP
000018a8: JUMPDEST
000018a9: PUSH1 0x00
000018ab: DUP2
000018ac: PUSH2 0xc350
000018af: MUL
000018b0: PUSH2 0x9c40
000018b3: ADD
000018b4: GASPRICE
000018b5: MUL
000018b6: SWAP1
000018b7: POP
000018b8: JUMPDEST
000018b9: SWAP2
000018ba: SWAP1
000018bb: POP
000018bc: JUMP
000018bd: JUMPDEST
000018be: PUSH1 0x00
000018c0: PUSH2 0x03e5
000018c3: DUP3
000018c4: MUL
000018c5: DUP1
000018c6: PUSH2 0x03e8
000018c9: DUP6
000018ca: MUL
000018cb: ADD
000018cc: DUP6
000018cd: DUP3
000018ce: MUL
000018cf: DIV
000018d0: SWAP2
000018d1: POP
000018d2: POP
000018d3: JUMPDEST
000018d4: SWAP4
000018d5: SWAP3
000018d6: POP
000018d7: POP
000018d8: POP
000018d9: JUMP
000018da: JUMPDEST
000018db: PUSH1 0x00
000018dd: DUP2
000018de: DUP4
000018df: BYTE
000018e0: DUP1
000018e1: PUSH1 0xee
000018e3: DUP2
000018e4: EQ
000018e5: PUSH2 0x1904
000018e8: JUMPI
000018e9: PUSH1 0x00
000018eb: DUP2
000018ec: EQ
000018ed: PUSH2 0x1913
000018f0: JUMPI
000018f1: DUP2
000018f2: PUSH1 0x20
000018f4: MUL
000018f5: CALLDATALOAD
000018f6: PUSH1 0x60
000018f8: SHL
000018f9: PUSH1 0x60
000018fb: SHR
000018fc: CALLER
000018fd: XOR
000018fe: SWAP3
000018ff: POP
00001900: PUSH2 0x1918
00001903: JUMP
00001904: JUMPDEST
00001905: PUSH2 0x190c
00001908: PUSH2 0x188b
0000190b: JUMP
0000190c: JUMPDEST
0000190d: SWAP3
0000190e: POP
0000190f: PUSH2 0x1918
00001912: JUMP
00001913: JUMPDEST
00001914: PUSH1 0x00
00001916: SWAP3
00001917: POP
00001918: JUMPDEST
00001919: POP
0000191a: POP
0000191b: JUMPDEST
0000191c: SWAP3
0000191d: SWAP2
0000191e: POP
0000191f: POP
00001920: JUMP
00001921: JUMPDEST
00001922: PUSH1 0x00
00001924: PUSH1 0x00
00001926: DUP3
00001927: DUP5
00001928: BYTE
00001929: PUSH1 0x20
0000192b: MUL
0000192c: CALLDATALOAD
0000192d: DUP1
0000192e: PUSH1 0x60
00001930: SHL
00001931: PUSH1 0x60
00001933: SHR
00001934: CALLER
00001935: XOR
00001936: SWAP3
00001937: POP
00001938: DUP1
00001939: PUSH1 0xa0
0000193b: SHR
0000193c: SWAP2
0000193d: POP
0000193e: POP
0000193f: JUMPDEST
00001940: SWAP3
00001941: POP
00001942: SWAP3
00001943: SWAP1
00001944: POP
00001945: JUMP
00001946: JUMPDEST
00001947: PUSH1 0x00
00001949: MLOAD
0000194a: DUP4
0000194b: PUSH1 0xe0
0000194d: SHL
0000194e: DUP2
0000194f: MSTORE
00001950: PUSH1 0x00
00001952: PUSH1 0x00
00001954: PUSH1 0x04
00001956: DUP4
00001957: DUP7
00001958: DUP7
00001959: GAS
0000195a: CALL
0000195b: ISZERO
0000195c: ISZERO
0000195d: PUSH2 0x196b
00001960: JUMPI
00001961: PUSH2 0x196a
00001964: PUSH1 0x14
00001966: PUSH2 0x0108
00001969: JUMP
0000196a: JUMPDEST
0000196b: JUMPDEST
0000196c: POP
0000196d: JUMPDEST
0000196e: POP
0000196f: POP
00001970: POP
00001971: JUMP
00001972: JUMPDEST
00001973: PUSH1 0x00
00001975: MLOAD
00001976: DUP4
00001977: PUSH1 0xe0
00001979: SHL
0000197a: DUP2
0000197b: MSTORE
0000197c: DUP5
0000197d: PUSH1 0x04
0000197f: DUP3
00001980: ADD
00001981: MSTORE
00001982: PUSH1 0x00
00001984: PUSH1 0x00
00001986: PUSH1 0x24
00001988: DUP4
00001989: DUP7
0000198a: DUP7
0000198b: GAS
0000198c: CALL
0000198d: ISZERO
0000198e: ISZERO
0000198f: PUSH2 0x199d
00001992: JUMPI
00001993: PUSH2 0x199c
00001996: PUSH1 0x14
00001998: PUSH2 0x0108
0000199b: JUMP
0000199c: JUMPDEST
0000199d: JUMPDEST
0000199e: POP
0000199f: JUMPDEST
000019a0: POP
000019a1: POP
000019a2: POP
000019a3: POP
000019a4: JUMP
000019a5: JUMPDEST
000019a6: PUSH1 0x00
000019a8: MLOAD
000019a9: DUP4
000019aa: PUSH1 0xe0
000019ac: SHL
000019ad: DUP2
000019ae: MSTORE
000019af: DUP5
000019b0: PUSH1 0x04
000019b2: DUP3
000019b3: ADD
000019b4: MSTORE
000019b5: DUP6
000019b6: PUSH1 0x24
000019b8: DUP3
000019b9: ADD
000019ba: MSTORE
000019bb: PUSH1 0x00
000019bd: PUSH1 0x00
000019bf: PUSH1 0x44
000019c1: DUP4
000019c2: DUP7
000019c3: DUP7
000019c4: GAS
000019c5: CALL
000019c6: ISZERO
000019c7: ISZERO
000019c8: PUSH2 0x19d6
000019cb: JUMPI
000019cc: PUSH2 0x19d5
000019cf: PUSH1 0x14
000019d1: PUSH2 0x0108
000019d4: JUMP
000019d5: JUMPDEST
000019d6: JUMPDEST
000019d7: POP
000019d8: JUMPDEST
000019d9: POP
000019da: POP
000019db: POP
000019dc: POP
000019dd: POP
000019de: JUMP
000019df: JUMPDEST
000019e0: PUSH1 0x00
000019e2: MLOAD
000019e3: DUP4
000019e4: PUSH1 0xe0
000019e6: SHL
000019e7: DUP2
000019e8: MSTORE
000019e9: DUP5
000019ea: PUSH1 0x04
000019ec: DUP3
000019ed: ADD
000019ee: MSTORE
000019ef: DUP6
000019f0: PUSH1 0x24
000019f2: DUP3
000019f3: ADD
000019f4: MSTORE
000019f5: DUP7
000019f6: PUSH1 0x44
000019f8: DUP3
000019f9: ADD
000019fa: MSTORE
000019fb: PUSH1 0x00
000019fd: PUSH1 0x00
000019ff: PUSH1 0x64
00001a01: DUP4
00001a02: DUP7
00001a03: DUP7
00001a04: GAS
00001a05: CALL
00001a06: ISZERO
00001a07: ISZERO
00001a08: PUSH2 0x1a16
00001a0b: JUMPI
00001a0c: PUSH2 0x1a15
00001a0f: PUSH1 0x14
00001a11: PUSH2 0x0108
00001a14: JUMP
00001a15: JUMPDEST
00001a16: JUMPDEST
00001a17: POP
00001a18: JUMPDEST
00001a19: POP
00001a1a: POP
00001a1b: POP
00001a1c: POP
00001a1d: POP
00001a1e: POP
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH1 0x00
00001a23: MLOAD
00001a24: DUP4
00001a25: PUSH1 0xe0
00001a27: SHL
00001a28: DUP2
00001a29: MSTORE
00001a2a: DUP5
00001a2b: PUSH1 0x04
00001a2d: DUP3
00001a2e: ADD
00001a2f: MSTORE
00001a30: DUP6
00001a31: PUSH1 0x24
00001a33: DUP3
00001a34: ADD
00001a35: MSTORE
00001a36: DUP7
00001a37: PUSH1 0x44
00001a39: DUP3
00001a3a: ADD
00001a3b: MSTORE
00001a3c: DUP8
00001a3d: PUSH1 0x64
00001a3f: DUP3
00001a40: ADD
00001a41: MSTORE
00001a42: PUSH1 0x00
00001a44: PUSH1 0x00
00001a46: PUSH1 0x84
00001a48: DUP4
00001a49: DUP7
00001a4a: DUP7
00001a4b: GAS
00001a4c: CALL
00001a4d: ISZERO
00001a4e: ISZERO
00001a4f: PUSH2 0x1a5d
00001a52: JUMPI
00001a53: PUSH2 0x1a5c
00001a56: PUSH1 0x14
00001a58: PUSH2 0x0108
00001a5b: JUMP
00001a5c: JUMPDEST
00001a5d: JUMPDEST
00001a5e: POP
00001a5f: JUMPDEST
00001a60: POP
00001a61: POP
00001a62: POP
00001a63: POP
00001a64: POP
00001a65: POP
00001a66: POP
00001a67: JUMP
00001a68: JUMPDEST
00001a69: PUSH1 0x00
00001a6b: MLOAD
00001a6c: DUP4
00001a6d: PUSH1 0xe0
00001a6f: SHL
00001a70: DUP2
00001a71: MSTORE
00001a72: DUP5
00001a73: PUSH1 0x04
00001a75: DUP3
00001a76: ADD
00001a77: MSTORE
00001a78: DUP6
00001a79: PUSH1 0x24
00001a7b: DUP3
00001a7c: ADD
00001a7d: MSTORE
00001a7e: DUP7
00001a7f: PUSH1 0x44
00001a81: DUP3
00001a82: ADD
00001a83: MSTORE
00001a84: DUP8
00001a85: PUSH1 0x64
00001a87: DUP3
00001a88: ADD
00001a89: MSTORE
00001a8a: DUP9
00001a8b: PUSH1 0x84
00001a8d: DUP3
00001a8e: ADD
00001a8f: MSTORE
00001a90: PUSH1 0x00
00001a92: PUSH1 0x00
00001a94: PUSH1 0xa4
00001a96: DUP4
00001a97: DUP7
00001a98: DUP7
00001a99: GAS
00001a9a: CALL
00001a9b: ISZERO
00001a9c: ISZERO
00001a9d: PUSH2 0x1aab
00001aa0: JUMPI
00001aa1: PUSH2 0x1aaa
00001aa4: PUSH1 0x14
00001aa6: PUSH2 0x0108
00001aa9: JUMP
00001aaa: JUMPDEST
00001aab: JUMPDEST
00001aac: POP
00001aad: JUMPDEST
00001aae: POP
00001aaf: POP
00001ab0: POP
00001ab1: POP
00001ab2: POP
00001ab3: POP
00001ab4: POP
00001ab5: POP
00001ab6: JUMP
00001ab7: JUMPDEST
00001ab8: PUSH1 0x00
00001aba: MLOAD
00001abb: DUP4
00001abc: PUSH1 0xe0
00001abe: SHL
00001abf: DUP2
00001ac0: MSTORE
00001ac1: DUP5
00001ac2: PUSH1 0x04
00001ac4: DUP3
00001ac5: ADD
00001ac6: MSTORE
00001ac7: DUP6
00001ac8: PUSH1 0x24
00001aca: DUP3
00001acb: ADD
00001acc: MSTORE
00001acd: DUP7
00001ace: PUSH1 0x44
00001ad0: DUP3
00001ad1: ADD
00001ad2: MSTORE
00001ad3: DUP8
00001ad4: PUSH1 0x64
00001ad6: DUP3
00001ad7: ADD
00001ad8: MSTORE
00001ad9: DUP9
00001ada: PUSH1 0x84
00001adc: DUP3
00001add: ADD
00001ade: MSTORE
00001adf: DUP10
00001ae0: PUSH1 0xa4
00001ae2: DUP3
00001ae3: ADD
00001ae4: MSTORE
00001ae5: PUSH1 0x00
00001ae7: PUSH1 0x00
00001ae9: PUSH1 0xc4
00001aeb: DUP4
00001aec: DUP7
00001aed: DUP7
00001aee: GAS
00001aef: CALL
00001af0: ISZERO
00001af1: ISZERO
00001af2: PUSH2 0x1b00
00001af5: JUMPI
00001af6: PUSH2 0x1aff
00001af9: PUSH1 0x14
00001afb: PUSH2 0x0108
00001afe: JUMP
00001aff: JUMPDEST
00001b00: JUMPDEST
00001b01: POP
00001b02: JUMPDEST
00001b03: POP
00001b04: POP
00001b05: POP
00001b06: POP
00001b07: POP
00001b08: POP
00001b09: POP
00001b0a: POP
00001b0b: POP
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: PUSH1 0x00
00001b10: MLOAD
00001b11: DUP3
00001b12: PUSH1 0xe0
00001b14: SHL
00001b15: DUP2
00001b16: MSTORE
00001b17: PUSH1 0x00
00001b19: PUSH1 0x00
00001b1b: PUSH1 0x04
00001b1d: DUP4
00001b1e: DUP6
00001b1f: GAS
00001b20: STATICCALL
00001b21: ISZERO
00001b22: ISZERO
00001b23: PUSH2 0x1b31
00001b26: JUMPI
00001b27: PUSH2 0x1b30
00001b2a: PUSH1 0x14
00001b2c: PUSH2 0x0108
00001b2f: JUMP
00001b30: JUMPDEST
00001b31: JUMPDEST
00001b32: POP
00001b33: JUMPDEST
00001b34: POP
00001b35: POP
00001b36: JUMP
00001b37: JUMPDEST
00001b38: PUSH1 0x00
00001b3a: MLOAD
00001b3b: DUP3
00001b3c: PUSH1 0xe0
00001b3e: SHL
00001b3f: DUP2
00001b40: MSTORE
00001b41: DUP4
00001b42: PUSH1 0x04
00001b44: DUP3
00001b45: ADD
00001b46: MSTORE
00001b47: PUSH1 0x00
00001b49: PUSH1 0x00
00001b4b: PUSH1 0x24
00001b4d: DUP4
00001b4e: DUP6
00001b4f: GAS
00001b50: STATICCALL
00001b51: ISZERO
00001b52: ISZERO
00001b53: PUSH2 0x1b61
00001b56: JUMPI
00001b57: PUSH2 0x1b60
00001b5a: PUSH1 0x14
00001b5c: PUSH2 0x0108
00001b5f: JUMP
00001b60: JUMPDEST
00001b61: JUMPDEST
00001b62: POP
00001b63: JUMPDEST
00001b64: POP
00001b65: POP
00001b66: POP
00001b67: JUMP
00001b68: JUMPDEST
00001b69: PUSH1 0x00
00001b6b: MLOAD
00001b6c: DUP3
00001b6d: PUSH1 0xe0
00001b6f: SHL
00001b70: DUP2
00001b71: MSTORE
00001b72: DUP4
00001b73: PUSH1 0x04
00001b75: DUP3
00001b76: ADD
00001b77: MSTORE
00001b78: DUP5
00001b79: PUSH1 0x24
00001b7b: DUP3
00001b7c: ADD
00001b7d: MSTORE
00001b7e: PUSH1 0x00
00001b80: PUSH1 0x00
00001b82: PUSH1 0x44
00001b84: DUP4
00001b85: DUP6
00001b86: GAS
00001b87: STATICCALL
00001b88: ISZERO
00001b89: ISZERO
00001b8a: PUSH2 0x1b98
00001b8d: JUMPI
00001b8e: PUSH2 0x1b97
00001b91: PUSH1 0x14
00001b93: PUSH2 0x0108
00001b96: JUMP
00001b97: JUMPDEST
00001b98: JUMPDEST
00001b99: POP
00001b9a: JUMPDEST
00001b9b: POP
00001b9c: POP
00001b9d: POP
00001b9e: POP
00001b9f: JUMP
00001ba0: JUMPDEST
00001ba1: PUSH1 0x00
00001ba3: MLOAD
00001ba4: DUP3
00001ba5: PUSH1 0xe0
00001ba7: SHL
00001ba8: DUP2
00001ba9: MSTORE
00001baa: DUP4
00001bab: PUSH1 0x04
00001bad: DUP3
00001bae: ADD
00001baf: MSTORE
00001bb0: DUP5
00001bb1: PUSH1 0x24
00001bb3: DUP3
00001bb4: ADD
00001bb5: MSTORE
00001bb6: DUP6
00001bb7: PUSH1 0x44
00001bb9: DUP3
00001bba: ADD
00001bbb: MSTORE
00001bbc: PUSH1 0x00
00001bbe: PUSH1 0x00
00001bc0: PUSH1 0x64
00001bc2: DUP4
00001bc3: DUP6
00001bc4: GAS
00001bc5: STATICCALL
00001bc6: ISZERO
00001bc7: ISZERO
00001bc8: PUSH2 0x1bd6
00001bcb: JUMPI
00001bcc: PUSH2 0x1bd5
00001bcf: PUSH1 0x14
00001bd1: PUSH2 0x0108
00001bd4: JUMP
00001bd5: JUMPDEST
00001bd6: JUMPDEST
00001bd7: POP
00001bd8: JUMPDEST
00001bd9: POP
00001bda: POP
00001bdb: POP
00001bdc: POP
00001bdd: POP
00001bde: JUMP
00001bdf: JUMPDEST
00001be0: PUSH1 0x00
00001be2: MLOAD
00001be3: DUP3
00001be4: PUSH1 0xe0
00001be6: SHL
00001be7: DUP2
00001be8: MSTORE
00001be9: DUP4
00001bea: PUSH1 0x04
00001bec: DUP3
00001bed: ADD
00001bee: MSTORE
00001bef: DUP5
00001bf0: PUSH1 0x24
00001bf2: DUP3
00001bf3: ADD
00001bf4: MSTORE
00001bf5: DUP6
00001bf6: PUSH1 0x44
00001bf8: DUP3
00001bf9: ADD
00001bfa: MSTORE
00001bfb: DUP7
00001bfc: PUSH1 0x64
00001bfe: DUP3
00001bff: ADD
00001c00: MSTORE
00001c01: PUSH1 0x00
00001c03: PUSH1 0x00
00001c05: PUSH1 0x84
00001c07: DUP4
00001c08: DUP6
00001c09: GAS
00001c0a: STATICCALL
00001c0b: ISZERO
00001c0c: ISZERO
00001c0d: PUSH2 0x1c1b
00001c10: JUMPI
00001c11: PUSH2 0x1c1a
00001c14: PUSH1 0x14
00001c16: PUSH2 0x0108
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: JUMPDEST
00001c1c: POP
00001c1d: JUMPDEST
00001c1e: POP
00001c1f: POP
00001c20: POP
00001c21: POP
00001c22: POP
00001c23: POP
00001c24: JUMP
00001c25: JUMPDEST
00001c26: PUSH1 0x00
00001c28: MLOAD
00001c29: DUP3
00001c2a: PUSH1 0xe0
00001c2c: SHL
00001c2d: DUP2
00001c2e: MSTORE
00001c2f: DUP4
00001c30: PUSH1 0x04
00001c32: DUP3
00001c33: ADD
00001c34: MSTORE
00001c35: DUP5
00001c36: PUSH1 0x24
00001c38: DUP3
00001c39: ADD
00001c3a: MSTORE
00001c3b: DUP6
00001c3c: PUSH1 0x44
00001c3e: DUP3
00001c3f: ADD
00001c40: MSTORE
00001c41: DUP7
00001c42: PUSH1 0x64
00001c44: DUP3
00001c45: ADD
00001c46: MSTORE
00001c47: DUP8
00001c48: PUSH1 0x84
00001c4a: DUP3
00001c4b: ADD
00001c4c: MSTORE
00001c4d: DUP9
00001c4e: PUSH1 0xa4
00001c50: DUP3
00001c51: ADD
00001c52: MSTORE
00001c53: PUSH1 0x00
00001c55: PUSH1 0x00
00001c57: PUSH1 0xc4
00001c59: DUP4
00001c5a: DUP6
00001c5b: GAS
00001c5c: STATICCALL
00001c5d: ISZERO
00001c5e: ISZERO
00001c5f: PUSH2 0x1c6d
00001c62: JUMPI
00001c63: PUSH2 0x1c6c
00001c66: PUSH1 0x14
00001c68: PUSH2 0x0108
00001c6b: JUMP
00001c6c: JUMPDEST
00001c6d: JUMPDEST
00001c6e: POP
00001c6f: JUMPDEST
00001c70: POP
00001c71: POP
00001c72: POP
00001c73: POP
00001c74: POP
00001c75: POP
00001c76: POP
00001c77: POP
00001c78: JUMP
00001c79: JUMPDEST
00001c7a: PUSH1 0x00
00001c7c: PUSH20 0x61935cbdd02287b511119ddb11aeb42f1593b7ef
00001c91: SWAP1
00001c92: POP
00001c93: JUMPDEST
00001c94: SWAP1
00001c95: JUMP
00001c96: JUMPDEST
00001c97: INVALID
00001c98: PUSH12 0x3360601c610eb418585733ff
00001ca5: MSIZE
00001ca6: MSTORE
00001ca7: PUSH1 0x0c
00001ca9: PUSH1 0x14
00001cab: RETURN
00001cac: TIMESTAMP
00001cad: CALLDATASIZE
00001cae: DUP14
00001caf: LOG2
00001cb0: CALLDATALOAD
00001cb1: UNKNOWN(0x0C)
00001cb2: SWAP7
00001cb3: DUP5
00001cb4: OR
00001cb5: DUP15
00001cb6: MUL
00001cb7: DUP2
00001cb8: UNKNOWN(0xBE)
00001cb9: UNKNOWN(0xA6)
00001cba: COINBASE
00001cbb: ISZERO
00001cbc: PUSH25
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x309646e71ba0155541d5485fe1cd4df8b572216fe6641079b336a559ffceb02a call_targets: 0x0000000000000eb4ec62758aae93400b3e5f7f18 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x309646e71ba0155541d5485fe1cd4df8b572216fe6641079b336a559ffceb02a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0000000000000eb4ec62758aae93400b3e5f7f18" ], "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": "0x", "selector": "fallback", "calldata_variants": [ "0x" ] } ] } evidence_json { "examples": [ { "pc": 179, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant_zero", "target_expression_category": "computed" }, { "pc": 865, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "calldata-derived", "target_expression_category": "computed" }, { "pc": 4400, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 15, "guards_detected": [], "untrusted_call_count": 13 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x309646e71ba0155541d5485fe1cd4df8b572216fe6641079b336a559ffceb02a call_targets: 0x0000000000000eb4ec62758aae93400b3e5f7f18 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x309646e71ba0155541d5485fe1cd4df8b572216fe6641079b336a559ffceb02a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0000000000000eb4ec62758aae93400b3e5f7f18" ], "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": "0x", "selector": "fallback", "calldata_variants": [ "0x" ] } ] } evidence_json { "examples": [ { "pc": 865, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "calldata-derived", "target_expression_category": "computed" }, { "pc": 4400, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5092, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 12, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x788f16625e3d5dddb9337c28bc9265fd7702013e888d879cbc6db20dd7121615 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 1, "trace_id": "0x788f16625e3d5dddb9337c28bc9265fd7702013e888d879cbc6db20dd7121615", "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": "0x", "selector": "fallback", "calldata_variants": [ "0x" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 2 }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x788f16625e3d5dddb9337c28bc9265fd7702013e888d879cbc6db20dd7121615 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 1, "trace_id": "0x788f16625e3d5dddb9337c28bc9265fd7702013e888d879cbc6db20dd7121615", "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": "0x", "selector": "fallback", "calldata_variants": [ "0x" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }