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

Analysis Run

019b477e-c782-72a9-81f1-f429b0022c0e

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
25981 artifact.fetch complete 1 / 3 3 months ago
25982 tool.cast_disasm complete 1 / 3 3 months ago
91425 analysis.bundle complete 1 / 3 2 weeks ago
91426 capability.graph complete 1 / 3 2 weeks ago
91427 detector.run complete 1 / 3 2 weeks ago
91428 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
2
EXT*/BALANCE
0
Total opcodes
4968
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0177
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x03c83302
00000019: EQ
0000001a: PUSH2 0x018b
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x0483f7a0
00000024: EQ
00000025: PUSH2 0x0193
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x06fdde03
0000002f: EQ
00000030: PUSH2 0x01ce
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x095ea7b3
0000003a: EQ
0000003b: PUSH2 0x0258
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x09bbedde
00000045: EQ
00000046: PUSH2 0x02a5
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x0c8b234e
00000050: EQ
00000051: PUSH2 0x02cc
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x18160ddd
0000005b: EQ
0000005c: PUSH2 0x02ff
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x1fa71a3b
00000066: EQ
00000067: PUSH2 0x0314
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x226cfa3d
00000071: EQ
00000072: PUSH2 0x033e
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x23b872dd
0000007c: EQ
0000007d: PUSH2 0x0371
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x27ce0147
00000087: EQ
00000088: PUSH2 0x03b4
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x313ce567
00000092: EQ
00000093: PUSH2 0x03e7
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x39509351
0000009d: EQ
0000009e: PUSH2 0x0412
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x4e7b827f
000000a8: EQ
000000a9: PUSH2 0x044b
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x6a474002
000000b3: EQ
000000b4: PUSH2 0x047e
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x6f2789ec
000000be: EQ
000000bf: PUSH2 0x0493
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x70a08231
000000c9: EQ
000000ca: PUSH2 0x04a8
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x85a6b3ae
000000d4: EQ
000000d5: PUSH2 0x04db
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x91b89fba
000000df: EQ
000000e0: PUSH2 0x04f0
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x95d89b41
000000ea: EQ
000000eb: PUSH2 0x0523
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xa457c2d7
000000f5: EQ
000000f6: PUSH2 0x0538
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xa8b9d240
00000100: EQ
00000101: PUSH2 0x0571
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xa9059cbb
0000010b: EQ
0000010c: PUSH2 0x05a4
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xaafd847a
00000116: EQ
00000117: PUSH2 0x05dd
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xadf48490
00000121: EQ
00000122: PUSH2 0x0610
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xbc4c4b37
0000012c: EQ
0000012d: PUSH2 0x064b
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xbe10b614
00000137: EQ
00000138: PUSH2 0x0686
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xd0f2d485
00000142: EQ
00000143: PUSH2 0x069b
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xdd62ed3e
0000014d: EQ
0000014e: PUSH2 0x074b
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0xe30443bc
00000158: EQ
00000159: PUSH2 0x0786
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0xe98030c7
00000163: EQ
00000164: PUSH2 0x07bf
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0xfbcbc0f1
0000016e: EQ
0000016f: PUSH2 0x07e9
00000172: JUMPI
00000173: PUSH2 0x0186
00000176: JUMP
00000177: JUMPDEST
00000178: CALLDATASIZE
00000179: PUSH2 0x0186
0000017c: JUMPI
0000017d: PUSH2 0x0184
00000180: PUSH2 0x0859
00000183: JUMP
00000184: JUMPDEST
00000185: STOP
00000186: JUMPDEST
00000187: PUSH1 0x00
00000189: DUP1
0000018a: REVERT
0000018b: JUMPDEST
0000018c: PUSH2 0x0184
0000018f: PUSH2 0x0859
00000192: JUMP
00000193: JUMPDEST
00000194: CALLVALUE
00000195: DUP1
00000196: ISZERO
00000197: PUSH2 0x019f
0000019a: JUMPI
0000019b: PUSH1 0x00
0000019d: DUP1
0000019e: REVERT
0000019f: JUMPDEST
000001a0: POP
000001a1: PUSH2 0x0184
000001a4: PUSH1 0x04
000001a6: DUP1
000001a7: CALLDATASIZE
000001a8: SUB
000001a9: PUSH1 0x40
000001ab: DUP2
000001ac: LT
000001ad: ISZERO
000001ae: PUSH2 0x01b6
000001b1: JUMPI
000001b2: PUSH1 0x00
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: POP
000001b8: PUSH1 0x01
000001ba: PUSH1 0x01
000001bc: PUSH1 0xa0
000001be: SHL
000001bf: SUB
000001c0: DUP2
000001c1: CALLDATALOAD
000001c2: AND
000001c3: SWAP1
000001c4: PUSH1 0x20
000001c6: ADD
000001c7: CALLDATALOAD
000001c8: ISZERO
000001c9: ISZERO
000001ca: PUSH2 0x08ea
000001cd: JUMP
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x01e3
000001df: PUSH2 0x0986
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH1 0x40
000001e6: DUP1
000001e7: MLOAD
000001e8: PUSH1 0x20
000001ea: DUP1
000001eb: DUP3
000001ec: MSTORE
000001ed: DUP4
000001ee: MLOAD
000001ef: DUP2
000001f0: DUP4
000001f1: ADD
000001f2: MSTORE
000001f3: DUP4
000001f4: MLOAD
000001f5: SWAP2
000001f6: SWAP3
000001f7: DUP4
000001f8: SWAP3
000001f9: SWAP1
000001fa: DUP4
000001fb: ADD
000001fc: SWAP2
000001fd: DUP6
000001fe: ADD
000001ff: SWAP1
00000200: DUP1
00000201: DUP4
00000202: DUP4
00000203: PUSH1 0x00
00000205: JUMPDEST
00000206: DUP4
00000207: DUP2
00000208: LT
00000209: ISZERO
0000020a: PUSH2 0x021d
0000020d: JUMPI
0000020e: DUP2
0000020f: DUP2
00000210: ADD
00000211: MLOAD
00000212: DUP4
00000213: DUP3
00000214: ADD
00000215: MSTORE
00000216: PUSH1 0x20
00000218: ADD
00000219: PUSH2 0x0205
0000021c: JUMP
0000021d: JUMPDEST
0000021e: POP
0000021f: POP
00000220: POP
00000221: POP
00000222: SWAP1
00000223: POP
00000224: SWAP1
00000225: DUP2
00000226: ADD
00000227: SWAP1
00000228: PUSH1 0x1f
0000022a: AND
0000022b: DUP1
0000022c: ISZERO
0000022d: PUSH2 0x024a
00000230: JUMPI
00000231: DUP1
00000232: DUP3
00000233: SUB
00000234: DUP1
00000235: MLOAD
00000236: PUSH1 0x01
00000238: DUP4
00000239: PUSH1 0x20
0000023b: SUB
0000023c: PUSH2 0x0100
0000023f: EXP
00000240: SUB
00000241: NOT
00000242: AND
00000243: DUP2
00000244: MSTORE
00000245: PUSH1 0x20
00000247: ADD
00000248: SWAP2
00000249: POP
0000024a: JUMPDEST
0000024b: POP
0000024c: SWAP3
0000024d: POP
0000024e: POP
0000024f: POP
00000250: PUSH1 0x40
00000252: MLOAD
00000253: DUP1
00000254: SWAP2
00000255: SUB
00000256: SWAP1
00000257: RETURN
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: DUP1
0000025b: ISZERO
0000025c: PUSH2 0x0264
0000025f: JUMPI
00000260: PUSH1 0x00
00000262: DUP1
00000263: REVERT
00000264: JUMPDEST
00000265: POP
00000266: PUSH2 0x0291
00000269: PUSH1 0x04
0000026b: DUP1
0000026c: CALLDATASIZE
0000026d: SUB
0000026e: PUSH1 0x40
00000270: DUP2
00000271: LT
00000272: ISZERO
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: POP
0000027d: PUSH1 0x01
0000027f: PUSH1 0x01
00000281: PUSH1 0xa0
00000283: SHL
00000284: SUB
00000285: DUP2
00000286: CALLDATALOAD
00000287: AND
00000288: SWAP1
00000289: PUSH1 0x20
0000028b: ADD
0000028c: CALLDATALOAD
0000028d: PUSH2 0x0a1c
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH1 0x40
00000294: DUP1
00000295: MLOAD
00000296: SWAP2
00000297: ISZERO
00000298: ISZERO
00000299: DUP3
0000029a: MSTORE
0000029b: MLOAD
0000029c: SWAP1
0000029d: DUP2
0000029e: SWAP1
0000029f: SUB
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: SWAP1
000002a4: RETURN
000002a5: JUMPDEST
000002a6: CALLVALUE
000002a7: DUP1
000002a8: ISZERO
000002a9: PUSH2 0x02b1
000002ac: JUMPI
000002ad: PUSH1 0x00
000002af: DUP1
000002b0: REVERT
000002b1: JUMPDEST
000002b2: POP
000002b3: PUSH2 0x02ba
000002b6: PUSH2 0x0a3a
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH1 0x40
000002bd: DUP1
000002be: MLOAD
000002bf: SWAP2
000002c0: DUP3
000002c1: MSTORE
000002c2: MLOAD
000002c3: SWAP1
000002c4: DUP2
000002c5: SWAP1
000002c6: SUB
000002c7: PUSH1 0x20
000002c9: ADD
000002ca: SWAP1
000002cb: RETURN
000002cc: JUMPDEST
000002cd: CALLVALUE
000002ce: DUP1
000002cf: ISZERO
000002d0: PUSH2 0x02d8
000002d3: JUMPI
000002d4: PUSH1 0x00
000002d6: DUP1
000002d7: REVERT
000002d8: JUMPDEST
000002d9: POP
000002da: PUSH2 0x0291
000002dd: PUSH1 0x04
000002df: DUP1
000002e0: CALLDATASIZE
000002e1: SUB
000002e2: PUSH1 0x20
000002e4: DUP2
000002e5: LT
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: POP
000002f1: CALLDATALOAD
000002f2: PUSH1 0x01
000002f4: PUSH1 0x01
000002f6: PUSH1 0xa0
000002f8: SHL
000002f9: SUB
000002fa: AND
000002fb: PUSH2 0x0a40
000002fe: JUMP
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: POP
0000030d: PUSH2 0x02ba
00000310: PUSH2 0x0a62
00000313: JUMP
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0320
0000031b: JUMPI
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: REVERT
00000320: JUMPDEST
00000321: POP
00000322: PUSH2 0x0184
00000325: PUSH1 0x04
00000327: DUP1
00000328: CALLDATASIZE
00000329: SUB
0000032a: PUSH1 0x20
0000032c: DUP2
0000032d: LT
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: CALLDATALOAD
0000033a: PUSH2 0x0a68
0000033d: JUMP
0000033e: JUMPDEST
0000033f: CALLVALUE
00000340: DUP1
00000341: ISZERO
00000342: PUSH2 0x034a
00000345: JUMPI
00000346: PUSH1 0x00
00000348: DUP1
00000349: REVERT
0000034a: JUMPDEST
0000034b: POP
0000034c: PUSH2 0x02ba
0000034f: PUSH1 0x04
00000351: DUP1
00000352: CALLDATASIZE
00000353: SUB
00000354: PUSH1 0x20
00000356: DUP2
00000357: LT
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: CALLDATALOAD
00000364: PUSH1 0x01
00000366: PUSH1 0x01
00000368: PUSH1 0xa0
0000036a: SHL
0000036b: SUB
0000036c: AND
0000036d: PUSH2 0x0b56
00000370: JUMP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x037d
00000378: JUMPI
00000379: PUSH1 0x00
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: POP
0000037f: PUSH2 0x0291
00000382: PUSH1 0x04
00000384: DUP1
00000385: CALLDATASIZE
00000386: SUB
00000387: PUSH1 0x60
00000389: DUP2
0000038a: LT
0000038b: ISZERO
0000038c: PUSH2 0x0394
0000038f: JUMPI
00000390: PUSH1 0x00
00000392: DUP1
00000393: REVERT
00000394: JUMPDEST
00000395: POP
00000396: PUSH1 0x01
00000398: PUSH1 0x01
0000039a: PUSH1 0xa0
0000039c: SHL
0000039d: SUB
0000039e: DUP2
0000039f: CALLDATALOAD
000003a0: DUP2
000003a1: AND
000003a2: SWAP2
000003a3: PUSH1 0x20
000003a5: DUP2
000003a6: ADD
000003a7: CALLDATALOAD
000003a8: SWAP1
000003a9: SWAP2
000003aa: AND
000003ab: SWAP1
000003ac: PUSH1 0x40
000003ae: ADD
000003af: CALLDATALOAD
000003b0: PUSH2 0x0b68
000003b3: JUMP
000003b4: JUMPDEST
000003b5: CALLVALUE
000003b6: DUP1
000003b7: ISZERO
000003b8: PUSH2 0x03c0
000003bb: JUMPI
000003bc: PUSH1 0x00
000003be: DUP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH2 0x02ba
000003c5: PUSH1 0x04
000003c7: DUP1
000003c8: CALLDATASIZE
000003c9: SUB
000003ca: PUSH1 0x20
000003cc: DUP2
000003cd: LT
000003ce: ISZERO
000003cf: PUSH2 0x03d7
000003d2: JUMPI
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: REVERT
000003d7: JUMPDEST
000003d8: POP
000003d9: CALLDATALOAD
000003da: PUSH1 0x01
000003dc: PUSH1 0x01
000003de: PUSH1 0xa0
000003e0: SHL
000003e1: SUB
000003e2: AND
000003e3: PUSH2 0x0bef
000003e6: JUMP
000003e7: JUMPDEST
000003e8: CALLVALUE
000003e9: DUP1
000003ea: ISZERO
000003eb: PUSH2 0x03f3
000003ee: JUMPI
000003ef: PUSH1 0x00
000003f1: DUP1
000003f2: REVERT
000003f3: JUMPDEST
000003f4: POP
000003f5: PUSH2 0x03fc
000003f8: PUSH2 0x0c4c
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH1 0x40
000003ff: DUP1
00000400: MLOAD
00000401: PUSH1 0xff
00000403: SWAP1
00000404: SWAP3
00000405: AND
00000406: DUP3
00000407: MSTORE
00000408: MLOAD
00000409: SWAP1
0000040a: DUP2
0000040b: SWAP1
0000040c: SUB
0000040d: PUSH1 0x20
0000040f: ADD
00000410: SWAP1
00000411: RETURN
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x0291
00000423: PUSH1 0x04
00000425: DUP1
00000426: CALLDATASIZE
00000427: SUB
00000428: PUSH1 0x40
0000042a: DUP2
0000042b: LT
0000042c: ISZERO
0000042d: PUSH2 0x0435
00000430: JUMPI
00000431: PUSH1 0x00
00000433: DUP1
00000434: REVERT
00000435: JUMPDEST
00000436: POP
00000437: PUSH1 0x01
00000439: PUSH1 0x01
0000043b: PUSH1 0xa0
0000043d: SHL
0000043e: SUB
0000043f: DUP2
00000440: CALLDATALOAD
00000441: AND
00000442: SWAP1
00000443: PUSH1 0x20
00000445: ADD
00000446: CALLDATALOAD
00000447: PUSH2 0x0c51
0000044a: JUMP
0000044b: JUMPDEST
0000044c: CALLVALUE
0000044d: DUP1
0000044e: ISZERO
0000044f: PUSH2 0x0457
00000452: JUMPI
00000453: PUSH1 0x00
00000455: DUP1
00000456: REVERT
00000457: JUMPDEST
00000458: POP
00000459: PUSH2 0x0291
0000045c: PUSH1 0x04
0000045e: DUP1
0000045f: CALLDATASIZE
00000460: SUB
00000461: PUSH1 0x20
00000463: DUP2
00000464: LT
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: CALLDATALOAD
00000471: PUSH1 0x01
00000473: PUSH1 0x01
00000475: PUSH1 0xa0
00000477: SHL
00000478: SUB
00000479: AND
0000047a: PUSH2 0x0c9f
0000047d: JUMP
0000047e: JUMPDEST
0000047f: CALLVALUE
00000480: DUP1
00000481: ISZERO
00000482: PUSH2 0x048a
00000485: JUMPI
00000486: PUSH1 0x00
00000488: DUP1
00000489: REVERT
0000048a: JUMPDEST
0000048b: POP
0000048c: PUSH2 0x0184
0000048f: PUSH2 0x0cb4
00000492: JUMP
00000493: JUMPDEST
00000494: CALLVALUE
00000495: DUP1
00000496: ISZERO
00000497: PUSH2 0x049f
0000049a: JUMPI
0000049b: PUSH1 0x00
0000049d: DUP1
0000049e: REVERT
0000049f: JUMPDEST
000004a0: POP
000004a1: PUSH2 0x02ba
000004a4: PUSH2 0x0ceb
000004a7: JUMP
000004a8: JUMPDEST
000004a9: CALLVALUE
000004aa: DUP1
000004ab: ISZERO
000004ac: PUSH2 0x04b4
000004af: JUMPI
000004b0: PUSH1 0x00
000004b2: DUP1
000004b3: REVERT
000004b4: JUMPDEST
000004b5: POP
000004b6: PUSH2 0x02ba
000004b9: PUSH1 0x04
000004bb: DUP1
000004bc: CALLDATASIZE
000004bd: SUB
000004be: PUSH1 0x20
000004c0: DUP2
000004c1: LT
000004c2: ISZERO
000004c3: PUSH2 0x04cb
000004c6: JUMPI
000004c7: PUSH1 0x00
000004c9: DUP1
000004ca: REVERT
000004cb: JUMPDEST
000004cc: POP
000004cd: CALLDATALOAD
000004ce: PUSH1 0x01
000004d0: PUSH1 0x01
000004d2: PUSH1 0xa0
000004d4: SHL
000004d5: SUB
000004d6: AND
000004d7: PUSH2 0x0cf1
000004da: JUMP
000004db: JUMPDEST
000004dc: CALLVALUE
000004dd: DUP1
000004de: ISZERO
000004df: PUSH2 0x04e7
000004e2: JUMPI
000004e3: PUSH1 0x00
000004e5: DUP1
000004e6: REVERT
000004e7: JUMPDEST
000004e8: POP
000004e9: PUSH2 0x02ba
000004ec: PUSH2 0x0d0c
000004ef: JUMP
000004f0: JUMPDEST
000004f1: CALLVALUE
000004f2: DUP1
000004f3: ISZERO
000004f4: PUSH2 0x04fc
000004f7: JUMPI
000004f8: PUSH1 0x00
000004fa: DUP1
000004fb: REVERT
000004fc: JUMPDEST
000004fd: POP
000004fe: PUSH2 0x02ba
00000501: PUSH1 0x04
00000503: DUP1
00000504: CALLDATASIZE
00000505: SUB
00000506: PUSH1 0x20
00000508: DUP2
00000509: LT
0000050a: ISZERO
0000050b: PUSH2 0x0513
0000050e: JUMPI
0000050f: PUSH1 0x00
00000511: DUP1
00000512: REVERT
00000513: JUMPDEST
00000514: POP
00000515: CALLDATALOAD
00000516: PUSH1 0x01
00000518: PUSH1 0x01
0000051a: PUSH1 0xa0
0000051c: SHL
0000051d: SUB
0000051e: AND
0000051f: PUSH2 0x0d12
00000522: JUMP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x01e3
00000534: PUSH2 0x0d1d
00000537: JUMP
00000538: JUMPDEST
00000539: CALLVALUE
0000053a: DUP1
0000053b: ISZERO
0000053c: PUSH2 0x0544
0000053f: JUMPI
00000540: PUSH1 0x00
00000542: DUP1
00000543: REVERT
00000544: JUMPDEST
00000545: POP
00000546: PUSH2 0x0291
00000549: PUSH1 0x04
0000054b: DUP1
0000054c: CALLDATASIZE
0000054d: SUB
0000054e: PUSH1 0x40
00000550: DUP2
00000551: LT
00000552: ISZERO
00000553: PUSH2 0x055b
00000556: JUMPI
00000557: PUSH1 0x00
00000559: DUP1
0000055a: REVERT
0000055b: JUMPDEST
0000055c: POP
0000055d: PUSH1 0x01
0000055f: PUSH1 0x01
00000561: PUSH1 0xa0
00000563: SHL
00000564: SUB
00000565: DUP2
00000566: CALLDATALOAD
00000567: AND
00000568: SWAP1
00000569: PUSH1 0x20
0000056b: ADD
0000056c: CALLDATALOAD
0000056d: PUSH2 0x0d7e
00000570: JUMP
00000571: JUMPDEST
00000572: CALLVALUE
00000573: DUP1
00000574: ISZERO
00000575: PUSH2 0x057d
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: REVERT
0000057d: JUMPDEST
0000057e: POP
0000057f: PUSH2 0x02ba
00000582: PUSH1 0x04
00000584: DUP1
00000585: CALLDATASIZE
00000586: SUB
00000587: PUSH1 0x20
00000589: DUP2
0000058a: LT
0000058b: ISZERO
0000058c: PUSH2 0x0594
0000058f: JUMPI
00000590: PUSH1 0x00
00000592: DUP1
00000593: REVERT
00000594: JUMPDEST
00000595: POP
00000596: CALLDATALOAD
00000597: PUSH1 0x01
00000599: PUSH1 0x01
0000059b: PUSH1 0xa0
0000059d: SHL
0000059e: SUB
0000059f: AND
000005a0: PUSH2 0x0de6
000005a3: JUMP
000005a4: JUMPDEST
000005a5: CALLVALUE
000005a6: DUP1
000005a7: ISZERO
000005a8: PUSH2 0x05b0
000005ab: JUMPI
000005ac: PUSH1 0x00
000005ae: DUP1
000005af: REVERT
000005b0: JUMPDEST
000005b1: POP
000005b2: PUSH2 0x0291
000005b5: PUSH1 0x04
000005b7: DUP1
000005b8: CALLDATASIZE
000005b9: SUB
000005ba: PUSH1 0x40
000005bc: DUP2
000005bd: LT
000005be: ISZERO
000005bf: PUSH2 0x05c7
000005c2: JUMPI
000005c3: PUSH1 0x00
000005c5: DUP1
000005c6: REVERT
000005c7: JUMPDEST
000005c8: POP
000005c9: PUSH1 0x01
000005cb: PUSH1 0x01
000005cd: PUSH1 0xa0
000005cf: SHL
000005d0: SUB
000005d1: DUP2
000005d2: CALLDATALOAD
000005d3: AND
000005d4: SWAP1
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: CALLDATALOAD
000005d9: PUSH2 0x0e12
000005dc: JUMP
000005dd: JUMPDEST
000005de: CALLVALUE
000005df: DUP1
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: POP
000005eb: PUSH2 0x02ba
000005ee: PUSH1 0x04
000005f0: DUP1
000005f1: CALLDATASIZE
000005f2: SUB
000005f3: PUSH1 0x20
000005f5: DUP2
000005f6: LT
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: POP
00000602: CALLDATALOAD
00000603: PUSH1 0x01
00000605: PUSH1 0x01
00000607: PUSH1 0xa0
00000609: SHL
0000060a: SUB
0000060b: AND
0000060c: PUSH2 0x0e26
0000060f: JUMP
00000610: JUMPDEST
00000611: CALLVALUE
00000612: DUP1
00000613: ISZERO
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: POP
0000061e: PUSH2 0x0184
00000621: PUSH1 0x04
00000623: DUP1
00000624: CALLDATASIZE
00000625: SUB
00000626: PUSH1 0x40
00000628: DUP2
00000629: LT
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: PUSH1 0x01
00000637: PUSH1 0x01
00000639: PUSH1 0xa0
0000063b: SHL
0000063c: SUB
0000063d: DUP2
0000063e: CALLDATALOAD
0000063f: AND
00000640: SWAP1
00000641: PUSH1 0x20
00000643: ADD
00000644: CALLDATALOAD
00000645: ISZERO
00000646: ISZERO
00000647: PUSH2 0x0e41
0000064a: JUMP
0000064b: JUMPDEST
0000064c: CALLVALUE
0000064d: DUP1
0000064e: ISZERO
0000064f: PUSH2 0x0657
00000652: JUMPI
00000653: PUSH1 0x00
00000655: DUP1
00000656: REVERT
00000657: JUMPDEST
00000658: POP
00000659: PUSH2 0x0291
0000065c: PUSH1 0x04
0000065e: DUP1
0000065f: CALLDATASIZE
00000660: SUB
00000661: PUSH1 0x40
00000663: DUP2
00000664: LT
00000665: ISZERO
00000666: PUSH2 0x066e
00000669: JUMPI
0000066a: PUSH1 0x00
0000066c: DUP1
0000066d: REVERT
0000066e: JUMPDEST
0000066f: POP
00000670: PUSH1 0x01
00000672: PUSH1 0x01
00000674: PUSH1 0xa0
00000676: SHL
00000677: SUB
00000678: DUP2
00000679: CALLDATALOAD
0000067a: AND
0000067b: SWAP1
0000067c: PUSH1 0x20
0000067e: ADD
0000067f: CALLDATALOAD
00000680: ISZERO
00000681: ISZERO
00000682: PUSH2 0x0f5b
00000685: JUMP
00000686: JUMPDEST
00000687: CALLVALUE
00000688: DUP1
00000689: ISZERO
0000068a: PUSH2 0x0692
0000068d: JUMPI
0000068e: PUSH1 0x00
00000690: DUP1
00000691: REVERT
00000692: JUMPDEST
00000693: POP
00000694: PUSH2 0x02ba
00000697: PUSH2 0x109b
0000069a: JUMP
0000069b: JUMPDEST
0000069c: CALLVALUE
0000069d: DUP1
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: POP
000006a9: PUSH2 0x0184
000006ac: PUSH1 0x04
000006ae: DUP1
000006af: CALLDATASIZE
000006b0: SUB
000006b1: PUSH1 0x40
000006b3: DUP2
000006b4: LT
000006b5: ISZERO
000006b6: PUSH2 0x06be
000006b9: JUMPI
000006ba: PUSH1 0x00
000006bc: DUP1
000006bd: REVERT
000006be: JUMPDEST
000006bf: DUP2
000006c0: ADD
000006c1: SWAP1
000006c2: PUSH1 0x20
000006c4: DUP2
000006c5: ADD
000006c6: DUP2
000006c7: CALLDATALOAD
000006c8: PUSH1 0x01
000006ca: PUSH1 0x20
000006cc: SHL
000006cd: DUP2
000006ce: GT
000006cf: ISZERO
000006d0: PUSH2 0x06d8
000006d3: JUMPI
000006d4: PUSH1 0x00
000006d6: DUP1
000006d7: REVERT
000006d8: JUMPDEST
000006d9: DUP3
000006da: ADD
000006db: DUP4
000006dc: PUSH1 0x20
000006de: DUP3
000006df: ADD
000006e0: GT
000006e1: ISZERO
000006e2: PUSH2 0x06ea
000006e5: JUMPI
000006e6: PUSH1 0x00
000006e8: DUP1
000006e9: REVERT
000006ea: JUMPDEST
000006eb: DUP1
000006ec: CALLDATALOAD
000006ed: SWAP1
000006ee: PUSH1 0x20
000006f0: ADD
000006f1: SWAP2
000006f2: DUP5
000006f3: PUSH1 0x20
000006f5: DUP4
000006f6: MUL
000006f7: DUP5
000006f8: ADD
000006f9: GT
000006fa: PUSH1 0x01
000006fc: PUSH1 0x20
000006fe: SHL
000006ff: DUP4
00000700: GT
00000701: OR
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: SWAP2
0000070d: SWAP1
0000070e: DUP1
0000070f: DUP1
00000710: PUSH1 0x20
00000712: MUL
00000713: PUSH1 0x20
00000715: ADD
00000716: PUSH1 0x40
00000718: MLOAD
00000719: SWAP1
0000071a: DUP2
0000071b: ADD
0000071c: PUSH1 0x40
0000071e: MSTORE
0000071f: DUP1
00000720: SWAP4
00000721: SWAP3
00000722: SWAP2
00000723: SWAP1
00000724: DUP2
00000725: DUP2
00000726: MSTORE
00000727: PUSH1 0x20
00000729: ADD
0000072a: DUP4
0000072b: DUP4
0000072c: PUSH1 0x20
0000072e: MUL
0000072f: DUP1
00000730: DUP3
00000731: DUP5
00000732: CALLDATACOPY
00000733: PUSH1 0x00
00000735: SWAP3
00000736: ADD
00000737: SWAP2
00000738: SWAP1
00000739: SWAP2
0000073a: MSTORE
0000073b: POP
0000073c: SWAP3
0000073d: SWAP6
0000073e: POP
0000073f: POP
00000740: POP
00000741: POP
00000742: CALLDATALOAD
00000743: ISZERO
00000744: ISZERO
00000745: SWAP1
00000746: POP
00000747: PUSH2 0x10a1
0000074a: JUMP
0000074b: JUMPDEST
0000074c: CALLVALUE
0000074d: DUP1
0000074e: ISZERO
0000074f: PUSH2 0x0757
00000752: JUMPI
00000753: PUSH1 0x00
00000755: DUP1
00000756: REVERT
00000757: JUMPDEST
00000758: POP
00000759: PUSH2 0x02ba
0000075c: PUSH1 0x04
0000075e: DUP1
0000075f: CALLDATASIZE
00000760: SUB
00000761: PUSH1 0x40
00000763: DUP2
00000764: LT
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: POP
00000770: PUSH1 0x01
00000772: PUSH1 0x01
00000774: PUSH1 0xa0
00000776: SHL
00000777: SUB
00000778: DUP2
00000779: CALLDATALOAD
0000077a: DUP2
0000077b: AND
0000077c: SWAP2
0000077d: PUSH1 0x20
0000077f: ADD
00000780: CALLDATALOAD
00000781: AND
00000782: PUSH2 0x113f
00000785: JUMP
00000786: JUMPDEST
00000787: CALLVALUE
00000788: DUP1
00000789: ISZERO
0000078a: PUSH2 0x0792
0000078d: JUMPI
0000078e: PUSH1 0x00
00000790: DUP1
00000791: REVERT
00000792: JUMPDEST
00000793: POP
00000794: PUSH2 0x0184
00000797: PUSH1 0x04
00000799: DUP1
0000079a: CALLDATASIZE
0000079b: SUB
0000079c: PUSH1 0x40
0000079e: DUP2
0000079f: LT
000007a0: ISZERO
000007a1: PUSH2 0x07a9
000007a4: JUMPI
000007a5: PUSH1 0x00
000007a7: DUP1
000007a8: REVERT
000007a9: JUMPDEST
000007aa: POP
000007ab: PUSH1 0x01
000007ad: PUSH1 0x01
000007af: PUSH1 0xa0
000007b1: SHL
000007b2: SUB
000007b3: DUP2
000007b4: CALLDATALOAD
000007b5: AND
000007b6: SWAP1
000007b7: PUSH1 0x20
000007b9: ADD
000007ba: CALLDATALOAD
000007bb: PUSH2 0x116a
000007be: JUMP
000007bf: JUMPDEST
000007c0: CALLVALUE
000007c1: DUP1
000007c2: ISZERO
000007c3: PUSH2 0x07cb
000007c6: JUMPI
000007c7: PUSH1 0x00
000007c9: DUP1
000007ca: REVERT
000007cb: JUMPDEST
000007cc: POP
000007cd: PUSH2 0x0184
000007d0: PUSH1 0x04
000007d2: DUP1
000007d3: CALLDATASIZE
000007d4: SUB
000007d5: PUSH1 0x20
000007d7: DUP2
000007d8: LT
000007d9: ISZERO
000007da: PUSH2 0x07e2
000007dd: JUMPI
000007de: PUSH1 0x00
000007e0: DUP1
000007e1: REVERT
000007e2: JUMPDEST
000007e3: POP
000007e4: CALLDATALOAD
000007e5: PUSH2 0x12c7
000007e8: JUMP
000007e9: JUMPDEST
000007ea: CALLVALUE
000007eb: DUP1
000007ec: ISZERO
000007ed: PUSH2 0x07f5
000007f0: JUMPI
000007f1: PUSH1 0x00
000007f3: DUP1
000007f4: REVERT
000007f5: JUMPDEST
000007f6: POP
000007f7: PUSH2 0x081c
000007fa: PUSH1 0x04
000007fc: DUP1
000007fd: CALLDATASIZE
000007fe: SUB
000007ff: PUSH1 0x20
00000801: DUP2
00000802: LT
00000803: ISZERO
00000804: PUSH2 0x080c
00000807: JUMPI
00000808: PUSH1 0x00
0000080a: DUP1
0000080b: REVERT
0000080c: JUMPDEST
0000080d: POP
0000080e: CALLDATALOAD
0000080f: PUSH1 0x01
00000811: PUSH1 0x01
00000813: PUSH1 0xa0
00000815: SHL
00000816: SUB
00000817: AND
00000818: PUSH2 0x13f3
0000081b: JUMP
0000081c: JUMPDEST
0000081d: PUSH1 0x40
0000081f: DUP1
00000820: MLOAD
00000821: PUSH1 0x01
00000823: PUSH1 0x01
00000825: PUSH1 0xa0
00000827: SHL
00000828: SUB
00000829: SWAP1
0000082a: SWAP8
0000082b: AND
0000082c: DUP8
0000082d: MSTORE
0000082e: PUSH1 0x20
00000830: DUP8
00000831: ADD
00000832: SWAP6
00000833: SWAP1
00000834: SWAP6
00000835: MSTORE
00000836: DUP6
00000837: DUP6
00000838: ADD
00000839: SWAP4
0000083a: SWAP1
0000083b: SWAP4
0000083c: MSTORE
0000083d: PUSH1 0x60
0000083f: DUP6
00000840: ADD
00000841: SWAP2
00000842: SWAP1
00000843: SWAP2
00000844: MSTORE
00000845: PUSH1 0x80
00000847: DUP5
00000848: ADD
00000849: MSTORE
0000084a: PUSH1 0xa0
0000084c: DUP4
0000084d: ADD
0000084e: MSTORE
0000084f: MLOAD
00000850: SWAP1
00000851: DUP2
00000852: SWAP1
00000853: SUB
00000854: PUSH1 0xc0
00000856: ADD
00000857: SWAP1
00000858: RETURN
00000859: JUMPDEST
0000085a: PUSH1 0x00
0000085c: PUSH2 0x0863
0000085f: PUSH2 0x0a62
00000862: JUMP
00000863: JUMPDEST
00000864: GT
00000865: PUSH2 0x086d
00000868: JUMPI
00000869: PUSH1 0x00
0000086b: DUP1
0000086c: REVERT
0000086d: JUMPDEST
0000086e: CALLVALUE
0000086f: ISZERO
00000870: PUSH2 0x08e8
00000873: JUMPI
00000874: PUSH2 0x089e
00000877: PUSH2 0x087e
0000087a: PUSH2 0x0a62
0000087d: JUMP
0000087e: JUMPDEST
0000087f: PUSH2 0x088c
00000882: CALLVALUE
00000883: PUSH1 0x01
00000885: PUSH1 0x80
00000887: SHL
00000888: PUSH2 0x146a
0000088b: JUMP
0000088c: JUMPDEST
0000088d: DUP2
0000088e: PUSH2 0x0893
00000891: JUMPI
00000892: INVALID
00000893: JUMPDEST
00000894: PUSH1 0x05
00000896: SLOAD
00000897: SWAP2
00000898: SWAP1
00000899: DIV
0000089a: PUSH2 0x14ca
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x05
000008a1: SSTORE
000008a2: PUSH1 0x40
000008a4: DUP1
000008a5: MLOAD
000008a6: CALLVALUE
000008a7: DUP2
000008a8: MSTORE
000008a9: SWAP1
000008aa: MLOAD
000008ab: CALLER
000008ac: SWAP2
000008ad: PUSH32 0xa493a9229478c3fcd73f66d2cdeb7f94fd0f341da924d1054236d78454116511
000008ce: SWAP2
000008cf: SWAP1
000008d0: DUP2
000008d1: SWAP1
000008d2: SUB
000008d3: PUSH1 0x20
000008d5: ADD
000008d6: SWAP1
000008d7: LOG2
000008d8: PUSH1 0x08
000008da: SLOAD
000008db: PUSH2 0x08e4
000008de: SWAP1
000008df: CALLVALUE
000008e0: PUSH2 0x14ca
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH1 0x08
000008e7: SSTORE
000008e8: JUMPDEST
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x0c
000008ed: PUSH1 0x00
000008ef: PUSH2 0x08f6
000008f2: PUSH2 0x1522
000008f5: JUMP
000008f6: JUMPDEST
000008f7: PUSH1 0x01
000008f9: PUSH1 0x01
000008fb: PUSH1 0xa0
000008fd: SHL
000008fe: SUB
000008ff: AND
00000900: DUP2
00000901: MSTORE
00000902: PUSH1 0x20
00000904: DUP2
00000905: ADD
00000906: SWAP2
00000907: SWAP1
00000908: SWAP2
00000909: MSTORE
0000090a: PUSH1 0x40
0000090c: ADD
0000090d: PUSH1 0x00
0000090f: KECCAK256
00000910: SLOAD
00000911: PUSH1 0xff
00000913: AND
00000914: PUSH2 0x0952
00000917: JUMPI
00000918: PUSH1 0x40
0000091a: DUP1
0000091b: MLOAD
0000091c: PUSH3 0x461bcd
00000920: PUSH1 0xe5
00000922: SHL
00000923: DUP2
00000924: MSTORE
00000925: PUSH1 0x20
00000927: PUSH1 0x04
00000929: DUP3
0000092a: ADD
0000092b: DUP2
0000092c: SWAP1
0000092d: MSTORE
0000092e: PUSH1 0x24
00000930: DUP3
00000931: ADD
00000932: MSTORE
00000933: PUSH1 0x00
00000935: DUP1
00000936: MLOAD
00000937: PUSH1 0x20
00000939: PUSH2 0x1d03
0000093c: DUP4
0000093d: CODECOPY
0000093e: DUP2
0000093f: MLOAD
00000940: SWAP2
00000941: MSTORE
00000942: PUSH1 0x44
00000944: DUP3
00000945: ADD
00000946: MSTORE
00000947: SWAP1
00000948: MLOAD
00000949: SWAP1
0000094a: DUP2
0000094b: SWAP1
0000094c: SUB
0000094d: PUSH1 0x64
0000094f: ADD
00000950: SWAP1
00000951: REVERT
00000952: JUMPDEST
00000953: PUSH1 0x01
00000955: PUSH1 0x01
00000957: PUSH1 0xa0
00000959: SHL
0000095a: SUB
0000095b: DUP3
0000095c: AND
0000095d: PUSH1 0x00
0000095f: SWAP1
00000960: DUP2
00000961: MSTORE
00000962: PUSH1 0x0a
00000964: PUSH1 0x20
00000966: MSTORE
00000967: PUSH1 0x40
00000969: SWAP1
0000096a: KECCAK256
0000096b: SLOAD
0000096c: PUSH1 0xff
0000096e: AND
0000096f: ISZERO
00000970: PUSH2 0x0978
00000973: JUMPI
00000974: PUSH2 0x0982
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH2 0x0982
0000097c: DUP3
0000097d: DUP3
0000097e: PUSH2 0x1526
00000981: JUMP
00000982: JUMPDEST
00000983: POP
00000984: POP
00000985: JUMP
00000986: JUMPDEST
00000987: PUSH1 0x03
00000989: DUP1
0000098a: SLOAD
0000098b: PUSH1 0x40
0000098d: DUP1
0000098e: MLOAD
0000098f: PUSH1 0x20
00000991: PUSH1 0x1f
00000993: PUSH1 0x02
00000995: PUSH1 0x00
00000997: NOT
00000998: PUSH2 0x0100
0000099b: PUSH1 0x01
0000099d: DUP9
0000099e: AND
0000099f: ISZERO
000009a0: MUL
000009a1: ADD
000009a2: SWAP1
000009a3: SWAP6
000009a4: AND
000009a5: SWAP5
000009a6: SWAP1
000009a7: SWAP5
000009a8: DIV
000009a9: SWAP4
000009aa: DUP5
000009ab: ADD
000009ac: DUP2
000009ad: SWAP1
000009ae: DIV
000009af: DUP2
000009b0: MUL
000009b1: DUP3
000009b2: ADD
000009b3: DUP2
000009b4: ADD
000009b5: SWAP1
000009b6: SWAP3
000009b7: MSTORE
000009b8: DUP3
000009b9: DUP2
000009ba: MSTORE
000009bb: PUSH1 0x60
000009bd: SWAP4
000009be: SWAP1
000009bf: SWAP3
000009c0: SWAP1
000009c1: SWAP2
000009c2: DUP4
000009c3: ADD
000009c4: DUP3
000009c5: DUP3
000009c6: DUP1
000009c7: ISZERO
000009c8: PUSH2 0x0a12
000009cb: JUMPI
000009cc: DUP1
000009cd: PUSH1 0x1f
000009cf: LT
000009d0: PUSH2 0x09e7
000009d3: JUMPI
000009d4: PUSH2 0x0100
000009d7: DUP1
000009d8: DUP4
000009d9: SLOAD
000009da: DIV
000009db: MUL
000009dc: DUP4
000009dd: MSTORE
000009de: SWAP2
000009df: PUSH1 0x20
000009e1: ADD
000009e2: SWAP2
000009e3: PUSH2 0x0a12
000009e6: JUMP
000009e7: JUMPDEST
000009e8: DUP3
000009e9: ADD
000009ea: SWAP2
000009eb: SWAP1
000009ec: PUSH1 0x00
000009ee: MSTORE
000009ef: PUSH1 0x20
000009f1: PUSH1 0x00
000009f3: KECCAK256
000009f4: SWAP1
000009f5: JUMPDEST
000009f6: DUP2
000009f7: SLOAD
000009f8: DUP2
000009f9: MSTORE
000009fa: SWAP1
000009fb: PUSH1 0x01
000009fd: ADD
000009fe: SWAP1
000009ff: PUSH1 0x20
00000a01: ADD
00000a02: DUP1
00000a03: DUP4
00000a04: GT
00000a05: PUSH2 0x09f5
00000a08: JUMPI
00000a09: DUP3
00000a0a: SWAP1
00000a0b: SUB
00000a0c: PUSH1 0x1f
00000a0e: AND
00000a0f: DUP3
00000a10: ADD
00000a11: SWAP2
00000a12: JUMPDEST
00000a13: POP
00000a14: POP
00000a15: POP
00000a16: POP
00000a17: POP
00000a18: SWAP1
00000a19: POP
00000a1a: SWAP1
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: PUSH1 0x00
00000a1f: PUSH2 0x0a30
00000a22: PUSH2 0x0a29
00000a25: PUSH2 0x1522
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: DUP5
00000a2b: DUP5
00000a2c: PUSH2 0x15e5
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: POP
00000a32: PUSH1 0x01
00000a34: JUMPDEST
00000a35: SWAP3
00000a36: SWAP2
00000a37: POP
00000a38: POP
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH1 0x0e
00000a3d: SLOAD
00000a3e: SWAP1
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: PUSH1 0x01
00000a43: PUSH1 0x01
00000a45: PUSH1 0xa0
00000a47: SHL
00000a48: SUB
00000a49: DUP2
00000a4a: AND
00000a4b: PUSH1 0x00
00000a4d: SWAP1
00000a4e: DUP2
00000a4f: MSTORE
00000a50: PUSH1 0x0c
00000a52: PUSH1 0x20
00000a54: MSTORE
00000a55: PUSH1 0x40
00000a57: SWAP1
00000a58: KECCAK256
00000a59: SLOAD
00000a5a: PUSH1 0xff
00000a5c: AND
00000a5d: JUMPDEST
00000a5e: SWAP2
00000a5f: SWAP1
00000a60: POP
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH1 0x02
00000a65: SLOAD
00000a66: SWAP1
00000a67: JUMP
00000a68: JUMPDEST
00000a69: PUSH1 0x0c
00000a6b: PUSH1 0x00
00000a6d: PUSH2 0x0a74
00000a70: PUSH2 0x1522
00000a73: JUMP
00000a74: JUMPDEST
00000a75: PUSH1 0x01
00000a77: PUSH1 0x01
00000a79: PUSH1 0xa0
00000a7b: SHL
00000a7c: SUB
00000a7d: AND
00000a7e: DUP2
00000a7f: MSTORE
00000a80: PUSH1 0x20
00000a82: DUP2
00000a83: ADD
00000a84: SWAP2
00000a85: SWAP1
00000a86: SWAP2
00000a87: MSTORE
00000a88: PUSH1 0x40
00000a8a: ADD
00000a8b: PUSH1 0x00
00000a8d: KECCAK256
00000a8e: SLOAD
00000a8f: PUSH1 0xff
00000a91: AND
00000a92: PUSH2 0x0ad0
00000a95: JUMPI
00000a96: PUSH1 0x40
00000a98: DUP1
00000a99: MLOAD
00000a9a: PUSH3 0x461bcd
00000a9e: PUSH1 0xe5
00000aa0: SHL
00000aa1: DUP2
00000aa2: MSTORE
00000aa3: PUSH1 0x20
00000aa5: PUSH1 0x04
00000aa7: DUP3
00000aa8: ADD
00000aa9: DUP2
00000aaa: SWAP1
00000aab: MSTORE
00000aac: PUSH1 0x24
00000aae: DUP3
00000aaf: ADD
00000ab0: MSTORE
00000ab1: PUSH1 0x00
00000ab3: DUP1
00000ab4: MLOAD
00000ab5: PUSH1 0x20
00000ab7: PUSH2 0x1d03
00000aba: DUP4
00000abb: CODECOPY
00000abc: DUP2
00000abd: MLOAD
00000abe: SWAP2
00000abf: MSTORE
00000ac0: PUSH1 0x44
00000ac2: DUP3
00000ac3: ADD
00000ac4: MSTORE
00000ac5: SWAP1
00000ac6: MLOAD
00000ac7: SWAP1
00000ac8: DUP2
00000ac9: SWAP1
00000aca: SUB
00000acb: PUSH1 0x64
00000acd: ADD
00000ace: SWAP1
00000acf: REVERT
00000ad0: JUMPDEST
00000ad1: PUSH1 0x01
00000ad3: DUP2
00000ad4: LT
00000ad5: ISZERO
00000ad6: PUSH2 0x0b10
00000ad9: JUMPI
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: PUSH3 0x461bcd
00000ae1: PUSH1 0xe5
00000ae3: SHL
00000ae4: DUP2
00000ae5: MSTORE
00000ae6: PUSH1 0x04
00000ae8: ADD
00000ae9: DUP1
00000aea: DUP1
00000aeb: PUSH1 0x20
00000aed: ADD
00000aee: DUP3
00000aef: DUP2
00000af0: SUB
00000af1: DUP3
00000af2: MSTORE
00000af3: PUSH1 0x34
00000af5: DUP2
00000af6: MSTORE
00000af7: PUSH1 0x20
00000af9: ADD
00000afa: DUP1
00000afb: PUSH2 0x1bc7
00000afe: PUSH1 0x34
00000b00: SWAP2
00000b01: CODECOPY
00000b02: PUSH1 0x40
00000b04: ADD
00000b05: SWAP2
00000b06: POP
00000b07: POP
00000b08: PUSH1 0x40
00000b0a: MLOAD
00000b0b: DUP1
00000b0c: SWAP2
00000b0d: SUB
00000b0e: SWAP1
00000b0f: REVERT
00000b10: JUMPDEST
00000b11: PUSH1 0x0f
00000b13: SLOAD
00000b14: PUSH1 0x40
00000b16: MLOAD
00000b17: DUP3
00000b18: SWAP1
00000b19: PUSH32 0x9c9571fb23d65fec0768248b245e0bee0cd9e9036a4a9f9e8e417eb151886785
00000b3a: SWAP1
00000b3b: PUSH1 0x00
00000b3d: SWAP1
00000b3e: LOG3
00000b3f: PUSH2 0x0b50
00000b42: DUP2
00000b43: PUSH8 0x0de0b6b3a7640000
00000b4c: PUSH2 0x146a
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: PUSH1 0x0f
00000b53: SSTORE
00000b54: POP
00000b55: JUMP
00000b56: JUMPDEST
00000b57: PUSH1 0x0b
00000b59: PUSH1 0x20
00000b5b: MSTORE
00000b5c: PUSH1 0x00
00000b5e: SWAP1
00000b5f: DUP2
00000b60: MSTORE
00000b61: PUSH1 0x40
00000b63: SWAP1
00000b64: KECCAK256
00000b65: SLOAD
00000b66: DUP2
00000b67: JUMP
00000b68: JUMPDEST
00000b69: PUSH1 0x00
00000b6b: PUSH2 0x0b75
00000b6e: DUP5
00000b6f: DUP5
00000b70: DUP5
00000b71: PUSH2 0x161c
00000b74: JUMP
00000b75: JUMPDEST
00000b76: PUSH2 0x0be5
00000b79: DUP5
00000b7a: PUSH2 0x0b81
00000b7d: PUSH2 0x1522
00000b80: JUMP
00000b81: JUMPDEST
00000b82: PUSH2 0x0be0
00000b85: DUP6
00000b86: PUSH1 0x40
00000b88: MLOAD
00000b89: DUP1
00000b8a: PUSH1 0x60
00000b8c: ADD
00000b8d: PUSH1 0x40
00000b8f: MSTORE
00000b90: DUP1
00000b91: PUSH1 0x28
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x20
00000b97: ADD
00000b98: PUSH2 0x1cdb
00000b9b: PUSH1 0x28
00000b9d: SWAP2
00000b9e: CODECOPY
00000b9f: PUSH1 0x01
00000ba1: PUSH1 0x01
00000ba3: PUSH1 0xa0
00000ba5: SHL
00000ba6: SUB
00000ba7: DUP11
00000ba8: AND
00000ba9: PUSH1 0x00
00000bab: SWAP1
00000bac: DUP2
00000bad: MSTORE
00000bae: PUSH1 0x01
00000bb0: PUSH1 0x20
00000bb2: MSTORE
00000bb3: PUSH1 0x40
00000bb5: DUP2
00000bb6: KECCAK256
00000bb7: SWAP1
00000bb8: PUSH2 0x0bbf
00000bbb: PUSH2 0x1522
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH1 0x01
00000bc2: PUSH1 0x01
00000bc4: PUSH1 0xa0
00000bc6: SHL
00000bc7: SUB
00000bc8: AND
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x20
00000bcd: DUP2
00000bce: ADD
00000bcf: SWAP2
00000bd0: SWAP1
00000bd1: SWAP2
00000bd2: MSTORE
00000bd3: PUSH1 0x40
00000bd5: ADD
00000bd6: PUSH1 0x00
00000bd8: KECCAK256
00000bd9: SLOAD
00000bda: SWAP2
00000bdb: SWAP1
00000bdc: PUSH2 0x1653
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: PUSH2 0x15e5
00000be4: JUMP
00000be5: JUMPDEST
00000be6: POP
00000be7: PUSH1 0x01
00000be9: SWAP4
00000bea: SWAP3
00000beb: POP
00000bec: POP
00000bed: POP
00000bee: JUMP
00000bef: JUMPDEST
00000bf0: PUSH1 0x01
00000bf2: PUSH1 0x01
00000bf4: PUSH1 0xa0
00000bf6: SHL
00000bf7: SUB
00000bf8: DUP2
00000bf9: AND
00000bfa: PUSH1 0x00
00000bfc: SWAP1
00000bfd: DUP2
00000bfe: MSTORE
00000bff: PUSH1 0x06
00000c01: PUSH1 0x20
00000c03: MSTORE
00000c04: PUSH1 0x40
00000c06: DUP2
00000c07: KECCAK256
00000c08: SLOAD
00000c09: PUSH1 0x01
00000c0b: PUSH1 0x80
00000c0d: SHL
00000c0e: SWAP1
00000c0f: PUSH2 0x0c3e
00000c12: SWAP1
00000c13: PUSH2 0x0c39
00000c16: SWAP1
00000c17: PUSH2 0x0c33
00000c1a: PUSH2 0x0c2e
00000c1d: PUSH2 0x0c25
00000c20: DUP9
00000c21: PUSH2 0x0cf1
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH1 0x05
00000c28: SLOAD
00000c29: SWAP1
00000c2a: PUSH2 0x146a
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: PUSH2 0x16ea
00000c32: JUMP
00000c33: JUMPDEST
00000c34: SWAP1
00000c35: PUSH2 0x16fa
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: PUSH2 0x172d
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: DUP2
00000c40: PUSH2 0x0c45
00000c43: JUMPI
00000c44: INVALID
00000c45: JUMPDEST
00000c46: DIV
00000c47: SWAP3
00000c48: SWAP2
00000c49: POP
00000c4a: POP
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: PUSH1 0x12
00000c4f: SWAP1
00000c50: JUMP
00000c51: JUMPDEST
00000c52: PUSH1 0x00
00000c54: PUSH2 0x0a30
00000c57: PUSH2 0x0c5e
00000c5a: PUSH2 0x1522
00000c5d: JUMP
00000c5e: JUMPDEST
00000c5f: DUP5
00000c60: PUSH2 0x0be0
00000c63: DUP6
00000c64: PUSH1 0x01
00000c66: PUSH1 0x00
00000c68: PUSH2 0x0c6f
00000c6b: PUSH2 0x1522
00000c6e: JUMP
00000c6f: JUMPDEST
00000c70: PUSH1 0x01
00000c72: PUSH1 0x01
00000c74: PUSH1 0xa0
00000c76: SHL
00000c77: SUB
00000c78: SWAP1
00000c79: DUP2
00000c7a: AND
00000c7b: DUP3
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: DUP1
00000c80: DUP4
00000c81: ADD
00000c82: SWAP4
00000c83: SWAP1
00000c84: SWAP4
00000c85: MSTORE
00000c86: PUSH1 0x40
00000c88: SWAP2
00000c89: DUP3
00000c8a: ADD
00000c8b: PUSH1 0x00
00000c8d: SWAP1
00000c8e: DUP2
00000c8f: KECCAK256
00000c90: SWAP2
00000c91: DUP13
00000c92: AND
00000c93: DUP2
00000c94: MSTORE
00000c95: SWAP3
00000c96: MSTORE
00000c97: SWAP1
00000c98: KECCAK256
00000c99: SLOAD
00000c9a: SWAP1
00000c9b: PUSH2 0x14ca
00000c9e: JUMP
00000c9f: JUMPDEST
00000ca0: PUSH1 0x0a
00000ca2: PUSH1 0x20
00000ca4: MSTORE
00000ca5: PUSH1 0x00
00000ca7: SWAP1
00000ca8: DUP2
00000ca9: MSTORE
00000caa: PUSH1 0x40
00000cac: SWAP1
00000cad: KECCAK256
00000cae: SLOAD
00000caf: PUSH1 0xff
00000cb1: AND
00000cb2: DUP2
00000cb3: JUMP
00000cb4: JUMPDEST
00000cb5: PUSH1 0x40
00000cb7: MLOAD
00000cb8: PUSH3 0x461bcd
00000cbc: PUSH1 0xe5
00000cbe: SHL
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH1 0x04
00000cc3: ADD
00000cc4: DUP1
00000cc5: DUP1
00000cc6: PUSH1 0x20
00000cc8: ADD
00000cc9: DUP3
00000cca: DUP2
00000ccb: SUB
00000ccc: DUP3
00000ccd: MSTORE
00000cce: PUSH1 0x67
00000cd0: DUP2
00000cd1: MSTORE
00000cd2: PUSH1 0x20
00000cd4: ADD
00000cd5: DUP1
00000cd6: PUSH2 0x1bfb
00000cd9: PUSH1 0x67
00000cdb: SWAP2
00000cdc: CODECOPY
00000cdd: PUSH1 0x80
00000cdf: ADD
00000ce0: SWAP2
00000ce1: POP
00000ce2: POP
00000ce3: PUSH1 0x40
00000ce5: MLOAD
00000ce6: DUP1
00000ce7: SWAP2
00000ce8: SUB
00000ce9: SWAP1
00000cea: REVERT
00000ceb: JUMPDEST
00000cec: PUSH1 0x0d
00000cee: SLOAD
00000cef: DUP2
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: PUSH1 0x01
00000cf4: PUSH1 0x01
00000cf6: PUSH1 0xa0
00000cf8: SHL
00000cf9: SUB
00000cfa: AND
00000cfb: PUSH1 0x00
00000cfd: SWAP1
00000cfe: DUP2
00000cff: MSTORE
00000d00: PUSH1 0x20
00000d02: DUP2
00000d03: SWAP1
00000d04: MSTORE
00000d05: PUSH1 0x40
00000d07: SWAP1
00000d08: KECCAK256
00000d09: SLOAD
00000d0a: SWAP1
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: PUSH1 0x08
00000d0f: SLOAD
00000d10: DUP2
00000d11: JUMP
00000d12: JUMPDEST
00000d13: PUSH1 0x00
00000d15: PUSH2 0x0a34
00000d18: DUP3
00000d19: PUSH2 0x0de6
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: PUSH1 0x04
00000d20: DUP1
00000d21: SLOAD
00000d22: PUSH1 0x40
00000d24: DUP1
00000d25: MLOAD
00000d26: PUSH1 0x20
00000d28: PUSH1 0x1f
00000d2a: PUSH1 0x02
00000d2c: PUSH1 0x00
00000d2e: NOT
00000d2f: PUSH2 0x0100
00000d32: PUSH1 0x01
00000d34: DUP9
00000d35: AND
00000d36: ISZERO
00000d37: MUL
00000d38: ADD
00000d39: SWAP1
00000d3a: SWAP6
00000d3b: AND
00000d3c: SWAP5
00000d3d: SWAP1
00000d3e: SWAP5
00000d3f: DIV
00000d40: SWAP4
00000d41: DUP5
00000d42: ADD
00000d43: DUP2
00000d44: SWAP1
00000d45: DIV
00000d46: DUP2
00000d47: MUL
00000d48: DUP3
00000d49: ADD
00000d4a: DUP2
00000d4b: ADD
00000d4c: SWAP1
00000d4d: SWAP3
00000d4e: MSTORE
00000d4f: DUP3
00000d50: DUP2
00000d51: MSTORE
00000d52: PUSH1 0x60
00000d54: SWAP4
00000d55: SWAP1
00000d56: SWAP3
00000d57: SWAP1
00000d58: SWAP2
00000d59: DUP4
00000d5a: ADD
00000d5b: DUP3
00000d5c: DUP3
00000d5d: DUP1
00000d5e: ISZERO
00000d5f: PUSH2 0x0a12
00000d62: JUMPI
00000d63: DUP1
00000d64: PUSH1 0x1f
00000d66: LT
00000d67: PUSH2 0x09e7
00000d6a: JUMPI
00000d6b: PUSH2 0x0100
00000d6e: DUP1
00000d6f: DUP4
00000d70: SLOAD
00000d71: DIV
00000d72: MUL
00000d73: DUP4
00000d74: MSTORE
00000d75: SWAP2
00000d76: PUSH1 0x20
00000d78: ADD
00000d79: SWAP2
00000d7a: PUSH2 0x0a12
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: PUSH1 0x00
00000d81: PUSH2 0x0a30
00000d84: PUSH2 0x0d8b
00000d87: PUSH2 0x1522
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: DUP5
00000d8d: PUSH2 0x0be0
00000d90: DUP6
00000d91: PUSH1 0x40
00000d93: MLOAD
00000d94: DUP1
00000d95: PUSH1 0x60
00000d97: ADD
00000d98: PUSH1 0x40
00000d9a: MSTORE
00000d9b: DUP1
00000d9c: PUSH1 0x25
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: PUSH2 0x1e66
00000da6: PUSH1 0x25
00000da8: SWAP2
00000da9: CODECOPY
00000daa: PUSH1 0x01
00000dac: PUSH1 0x00
00000dae: PUSH2 0x0db5
00000db1: PUSH2 0x1522
00000db4: JUMP
00000db5: JUMPDEST
00000db6: PUSH1 0x01
00000db8: PUSH1 0x01
00000dba: PUSH1 0xa0
00000dbc: SHL
00000dbd: SUB
00000dbe: SWAP1
00000dbf: DUP2
00000dc0: AND
00000dc1: DUP3
00000dc2: MSTORE
00000dc3: PUSH1 0x20
00000dc5: DUP1
00000dc6: DUP4
00000dc7: ADD
00000dc8: SWAP4
00000dc9: SWAP1
00000dca: SWAP4
00000dcb: MSTORE
00000dcc: PUSH1 0x40
00000dce: SWAP2
00000dcf: DUP3
00000dd0: ADD
00000dd1: PUSH1 0x00
00000dd3: SWAP1
00000dd4: DUP2
00000dd5: KECCAK256
00000dd6: SWAP2
00000dd7: DUP14
00000dd8: AND
00000dd9: DUP2
00000dda: MSTORE
00000ddb: SWAP3
00000ddc: MSTORE
00000ddd: SWAP1
00000dde: KECCAK256
00000ddf: SLOAD
00000de0: SWAP2
00000de1: SWAP1
00000de2: PUSH2 0x1653
00000de5: JUMP
00000de6: JUMPDEST
00000de7: PUSH1 0x01
00000de9: PUSH1 0x01
00000deb: PUSH1 0xa0
00000ded: SHL
00000dee: SUB
00000def: DUP2
00000df0: AND
00000df1: PUSH1 0x00
00000df3: SWAP1
00000df4: DUP2
00000df5: MSTORE
00000df6: PUSH1 0x07
00000df8: PUSH1 0x20
00000dfa: MSTORE
00000dfb: PUSH1 0x40
00000dfd: DUP2
00000dfe: KECCAK256
00000dff: SLOAD
00000e00: PUSH2 0x0a34
00000e03: SWAP1
00000e04: PUSH2 0x0e0c
00000e07: DUP5
00000e08: PUSH2 0x0bef
00000e0b: JUMP
00000e0c: JUMPDEST
00000e0d: SWAP1
00000e0e: PUSH2 0x1740
00000e11: JUMP
00000e12: JUMPDEST
00000e13: PUSH1 0x00
00000e15: PUSH2 0x0a30
00000e18: PUSH2 0x0e1f
00000e1b: PUSH2 0x1522
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: DUP5
00000e21: DUP5
00000e22: PUSH2 0x161c
00000e25: JUMP
00000e26: JUMPDEST
00000e27: PUSH1 0x01
00000e29: PUSH1 0x01
00000e2b: PUSH1 0xa0
00000e2d: SHL
00000e2e: SUB
00000e2f: AND
00000e30: PUSH1 0x00
00000e32: SWAP1
00000e33: DUP2
00000e34: MSTORE
00000e35: PUSH1 0x07
00000e37: PUSH1 0x20
00000e39: MSTORE
00000e3a: PUSH1 0x40
00000e3c: SWAP1
00000e3d: KECCAK256
00000e3e: SLOAD
00000e3f: SWAP1
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH1 0x0c
00000e44: PUSH1 0x00
00000e46: PUSH2 0x0e4d
00000e49: PUSH2 0x1522
00000e4c: JUMP
00000e4d: JUMPDEST
00000e4e: PUSH1 0x01
00000e50: PUSH1 0x01
00000e52: PUSH1 0xa0
00000e54: SHL
00000e55: SUB
00000e56: AND
00000e57: DUP2
00000e58: MSTORE
00000e59: PUSH1 0x20
00000e5b: DUP2
00000e5c: ADD
00000e5d: SWAP2
00000e5e: SWAP1
00000e5f: SWAP2
00000e60: MSTORE
00000e61: PUSH1 0x40
00000e63: ADD
00000e64: PUSH1 0x00
00000e66: KECCAK256
00000e67: SLOAD
00000e68: PUSH1 0xff
00000e6a: AND
00000e6b: PUSH2 0x0ea9
00000e6e: JUMPI
00000e6f: PUSH1 0x40
00000e71: DUP1
00000e72: MLOAD
00000e73: PUSH3 0x461bcd
00000e77: PUSH1 0xe5
00000e79: SHL
00000e7a: DUP2
00000e7b: MSTORE
00000e7c: PUSH1 0x20
00000e7e: PUSH1 0x04
00000e80: DUP3
00000e81: ADD
00000e82: DUP2
00000e83: SWAP1
00000e84: MSTORE
00000e85: PUSH1 0x24
00000e87: DUP3
00000e88: ADD
00000e89: MSTORE
00000e8a: PUSH1 0x00
00000e8c: DUP1
00000e8d: MLOAD
00000e8e: PUSH1 0x20
00000e90: PUSH2 0x1d03
00000e93: DUP4
00000e94: CODECOPY
00000e95: DUP2
00000e96: MLOAD
00000e97: SWAP2
00000e98: MSTORE
00000e99: PUSH1 0x44
00000e9b: DUP3
00000e9c: ADD
00000e9d: MSTORE
00000e9e: SWAP1
00000e9f: MLOAD
00000ea0: SWAP1
00000ea1: DUP2
00000ea2: SWAP1
00000ea3: SUB
00000ea4: PUSH1 0x64
00000ea6: ADD
00000ea7: SWAP1
00000ea8: REVERT
00000ea9: JUMPDEST
00000eaa: PUSH1 0x01
00000eac: PUSH1 0x01
00000eae: PUSH1 0xa0
00000eb0: SHL
00000eb1: SUB
00000eb2: DUP3
00000eb3: AND
00000eb4: PUSH1 0x00
00000eb6: SWAP1
00000eb7: DUP2
00000eb8: MSTORE
00000eb9: PUSH1 0x0c
00000ebb: PUSH1 0x20
00000ebd: MSTORE
00000ebe: PUSH1 0x40
00000ec0: SWAP1
00000ec1: KECCAK256
00000ec2: SLOAD
00000ec3: PUSH1 0xff
00000ec5: AND
00000ec6: ISZERO
00000ec7: ISZERO
00000ec8: DUP2
00000ec9: ISZERO
00000eca: ISZERO
00000ecb: EQ
00000ecc: ISZERO
00000ecd: PUSH2 0x0f07
00000ed0: JUMPI
00000ed1: PUSH1 0x40
00000ed3: MLOAD
00000ed4: PUSH3 0x461bcd
00000ed8: PUSH1 0xe5
00000eda: SHL
00000edb: DUP2
00000edc: MSTORE
00000edd: PUSH1 0x04
00000edf: ADD
00000ee0: DUP1
00000ee1: DUP1
00000ee2: PUSH1 0x20
00000ee4: ADD
00000ee5: DUP3
00000ee6: DUP2
00000ee7: SUB
00000ee8: DUP3
00000ee9: MSTORE
00000eea: PUSH1 0x2c
00000eec: DUP2
00000eed: MSTORE
00000eee: PUSH1 0x20
00000ef0: ADD
00000ef1: DUP1
00000ef2: PUSH2 0x1c62
00000ef5: PUSH1 0x2c
00000ef7: SWAP2
00000ef8: CODECOPY
00000ef9: PUSH1 0x40
00000efb: ADD
00000efc: SWAP2
00000efd: POP
00000efe: POP
00000eff: PUSH1 0x40
00000f01: MLOAD
00000f02: DUP1
00000f03: SWAP2
00000f04: SUB
00000f05: SWAP1
00000f06: REVERT
00000f07: JUMPDEST
00000f08: PUSH1 0x01
00000f0a: PUSH1 0x01
00000f0c: PUSH1 0xa0
00000f0e: SHL
00000f0f: SUB
00000f10: DUP3
00000f11: AND
00000f12: PUSH1 0x00
00000f14: DUP2
00000f15: DUP2
00000f16: MSTORE
00000f17: PUSH1 0x0c
00000f19: PUSH1 0x20
00000f1b: MSTORE
00000f1c: PUSH1 0x40
00000f1e: DUP1
00000f1f: DUP3
00000f20: KECCAK256
00000f21: DUP1
00000f22: SLOAD
00000f23: PUSH1 0xff
00000f25: NOT
00000f26: AND
00000f27: DUP6
00000f28: ISZERO
00000f29: ISZERO
00000f2a: SWAP1
00000f2b: DUP2
00000f2c: OR
00000f2d: SWAP1
00000f2e: SWAP2
00000f2f: SSTORE
00000f30: SWAP1
00000f31: MLOAD
00000f32: SWAP1
00000f33: SWAP3
00000f34: SWAP2
00000f35: PUSH32 0x8ae3029208fd6692a475f09e97b7a86f7993f1eb5e1edb563554aebc28838602
00000f56: SWAP2
00000f57: LOG3
00000f58: POP
00000f59: POP
00000f5a: JUMP
00000f5b: JUMPDEST
00000f5c: PUSH1 0x00
00000f5e: PUSH1 0x0c
00000f60: PUSH1 0x00
00000f62: PUSH2 0x0f69
00000f65: PUSH2 0x1522
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: PUSH1 0x01
00000f6c: PUSH1 0x01
00000f6e: PUSH1 0xa0
00000f70: SHL
00000f71: SUB
00000f72: AND
00000f73: DUP2
00000f74: MSTORE
00000f75: PUSH1 0x20
00000f77: DUP2
00000f78: ADD
00000f79: SWAP2
00000f7a: SWAP1
00000f7b: SWAP2
00000f7c: MSTORE
00000f7d: PUSH1 0x40
00000f7f: ADD
00000f80: PUSH1 0x00
00000f82: KECCAK256
00000f83: SLOAD
00000f84: PUSH1 0xff
00000f86: AND
00000f87: PUSH2 0x0fc5
00000f8a: JUMPI
00000f8b: PUSH1 0x40
00000f8d: DUP1
00000f8e: MLOAD
00000f8f: PUSH3 0x461bcd
00000f93: PUSH1 0xe5
00000f95: SHL
00000f96: DUP2
00000f97: MSTORE
00000f98: PUSH1 0x20
00000f9a: PUSH1 0x04
00000f9c: DUP3
00000f9d: ADD
00000f9e: DUP2
00000f9f: SWAP1
00000fa0: MSTORE
00000fa1: PUSH1 0x24
00000fa3: DUP3
00000fa4: ADD
00000fa5: MSTORE
00000fa6: PUSH1 0x00
00000fa8: DUP1
00000fa9: MLOAD
00000faa: PUSH1 0x20
00000fac: PUSH2 0x1d03
00000faf: DUP4
00000fb0: CODECOPY
00000fb1: DUP2
00000fb2: MLOAD
00000fb3: SWAP2
00000fb4: MSTORE
00000fb5: PUSH1 0x44
00000fb7: DUP3
00000fb8: ADD
00000fb9: MSTORE
00000fba: SWAP1
00000fbb: MLOAD
00000fbc: SWAP1
00000fbd: DUP2
00000fbe: SWAP1
00000fbf: SUB
00000fc0: PUSH1 0x64
00000fc2: ADD
00000fc3: SWAP1
00000fc4: REVERT
00000fc5: JUMPDEST
00000fc6: PUSH1 0x01
00000fc8: PUSH1 0x01
00000fca: PUSH1 0xa0
00000fcc: SHL
00000fcd: SUB
00000fce: DUP4
00000fcf: AND
00000fd0: PUSH1 0x00
00000fd2: SWAP1
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: PUSH1 0x0b
00000fd7: PUSH1 0x20
00000fd9: MSTORE
00000fda: PUSH1 0x40
00000fdc: SWAP1
00000fdd: KECCAK256
00000fde: SLOAD
00000fdf: PUSH1 0x0d
00000fe1: SLOAD
00000fe2: TIMESTAMP
00000fe3: SWAP2
00000fe4: ADD
00000fe5: LT
00000fe6: PUSH2 0x1020
00000fe9: JUMPI
00000fea: PUSH1 0x40
00000fec: MLOAD
00000fed: PUSH3 0x461bcd
00000ff1: PUSH1 0xe5
00000ff3: SHL
00000ff4: DUP2
00000ff5: MSTORE
00000ff6: PUSH1 0x04
00000ff8: ADD
00000ff9: DUP1
00000ffa: DUP1
00000ffb: PUSH1 0x20
00000ffd: ADD
00000ffe: DUP3
00000fff: DUP2
00001000: SUB
00001001: DUP3
00001002: MSTORE
00001003: PUSH1 0x35
00001005: DUP2
00001006: MSTORE
00001007: PUSH1 0x20
00001009: ADD
0000100a: DUP1
0000100b: PUSH2 0x1e31
0000100e: PUSH1 0x35
00001010: SWAP2
00001011: CODECOPY
00001012: PUSH1 0x40
00001014: ADD
00001015: SWAP2
00001016: POP
00001017: POP
00001018: PUSH1 0x40
0000101a: MLOAD
0000101b: DUP1
0000101c: SWAP2
0000101d: SUB
0000101e: SWAP1
0000101f: REVERT
00001020: JUMPDEST
00001021: PUSH1 0x00
00001023: PUSH2 0x102b
00001026: DUP5
00001027: PUSH2 0x1782
0000102a: JUMP
0000102b: JUMPDEST
0000102c: SWAP1
0000102d: POP
0000102e: DUP1
0000102f: ISZERO
00001030: PUSH2 0x1091
00001033: JUMPI
00001034: PUSH1 0x01
00001036: PUSH1 0x01
00001038: PUSH1 0xa0
0000103a: SHL
0000103b: SUB
0000103c: DUP5
0000103d: AND
0000103e: PUSH1 0x00
00001040: DUP2
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x0b
00001045: PUSH1 0x20
00001047: SWAP1
00001048: DUP2
00001049: MSTORE
0000104a: PUSH1 0x40
0000104c: SWAP2
0000104d: DUP3
0000104e: SWAP1
0000104f: KECCAK256
00001050: TIMESTAMP
00001051: SWAP1
00001052: SSTORE
00001053: DUP2
00001054: MLOAD
00001055: DUP5
00001056: DUP2
00001057: MSTORE
00001058: SWAP2
00001059: MLOAD
0000105a: DUP7
0000105b: ISZERO
0000105c: ISZERO
0000105d: SWAP4
0000105e: SWAP3
0000105f: PUSH32 0xa2c38e2d2fb7e3e1912d937fd1ca11ed6d51864dee4cfa7a7bf02becd7acf092
00001080: SWAP3
00001081: SWAP1
00001082: DUP3
00001083: SWAP1
00001084: SUB
00001085: ADD
00001086: SWAP1
00001087: LOG3
00001088: PUSH1 0x01
0000108a: SWAP2
0000108b: POP
0000108c: POP
0000108d: PUSH2 0x0a34
00001090: JUMP
00001091: JUMPDEST
00001092: POP
00001093: PUSH1 0x00
00001095: SWAP4
00001096: SWAP3
00001097: POP
00001098: POP
00001099: POP
0000109a: JUMP
0000109b: JUMPDEST
0000109c: PUSH1 0x0f
0000109e: SLOAD
0000109f: DUP2
000010a0: JUMP
000010a1: JUMPDEST
000010a2: PUSH1 0x0c
000010a4: PUSH1 0x00
000010a6: PUSH2 0x10ad
000010a9: PUSH2 0x1522
000010ac: JUMP
000010ad: JUMPDEST
000010ae: PUSH1 0x01
000010b0: PUSH1 0x01
000010b2: PUSH1 0xa0
000010b4: SHL
000010b5: SUB
000010b6: AND
000010b7: DUP2
000010b8: MSTORE
000010b9: PUSH1 0x20
000010bb: DUP2
000010bc: ADD
000010bd: SWAP2
000010be: SWAP1
000010bf: SWAP2
000010c0: MSTORE
000010c1: PUSH1 0x40
000010c3: ADD
000010c4: PUSH1 0x00
000010c6: KECCAK256
000010c7: SLOAD
000010c8: PUSH1 0xff
000010ca: AND
000010cb: PUSH2 0x1109
000010ce: JUMPI
000010cf: PUSH1 0x40
000010d1: DUP1
000010d2: MLOAD
000010d3: PUSH3 0x461bcd
000010d7: PUSH1 0xe5
000010d9: SHL
000010da: DUP2
000010db: MSTORE
000010dc: PUSH1 0x20
000010de: PUSH1 0x04
000010e0: DUP3
000010e1: ADD
000010e2: DUP2
000010e3: SWAP1
000010e4: MSTORE
000010e5: PUSH1 0x24
000010e7: DUP3
000010e8: ADD
000010e9: MSTORE
000010ea: PUSH1 0x00
000010ec: DUP1
000010ed: MLOAD
000010ee: PUSH1 0x20
000010f0: PUSH2 0x1d03
000010f3: DUP4
000010f4: CODECOPY
000010f5: DUP2
000010f6: MLOAD
000010f7: SWAP2
000010f8: MSTORE
000010f9: PUSH1 0x44
000010fb: DUP3
000010fc: ADD
000010fd: MSTORE
000010fe: SWAP1
000010ff: MLOAD
00001100: SWAP1
00001101: DUP2
00001102: SWAP1
00001103: SUB
00001104: PUSH1 0x64
00001106: ADD
00001107: SWAP1
00001108: REVERT
00001109: JUMPDEST
0000110a: PUSH1 0x00
0000110c: JUMPDEST
0000110d: DUP3
0000110e: MLOAD
0000110f: DUP2
00001110: LT
00001111: ISZERO
00001112: PUSH2 0x113a
00001115: JUMPI
00001116: PUSH2 0x1132
00001119: DUP4
0000111a: DUP3
0000111b: DUP2
0000111c: MLOAD
0000111d: DUP2
0000111e: LT
0000111f: PUSH2 0x1124
00001122: JUMPI
00001123: INVALID
00001124: JUMPDEST
00001125: PUSH1 0x20
00001127: MUL
00001128: PUSH1 0x20
0000112a: ADD
0000112b: ADD
0000112c: MLOAD
0000112d: DUP4
0000112e: PUSH2 0x1526
00001131: JUMP
00001132: JUMPDEST
00001133: PUSH1 0x01
00001135: ADD
00001136: PUSH2 0x110c
00001139: JUMP
0000113a: JUMPDEST
0000113b: POP
0000113c: POP
0000113d: POP
0000113e: JUMP
0000113f: JUMPDEST
00001140: PUSH1 0x01
00001142: PUSH1 0x01
00001144: PUSH1 0xa0
00001146: SHL
00001147: SUB
00001148: SWAP2
00001149: DUP3
0000114a: AND
0000114b: PUSH1 0x00
0000114d: SWAP1
0000114e: DUP2
0000114f: MSTORE
00001150: PUSH1 0x01
00001152: PUSH1 0x20
00001154: SWAP1
00001155: DUP2
00001156: MSTORE
00001157: PUSH1 0x40
00001159: DUP1
0000115a: DUP4
0000115b: KECCAK256
0000115c: SWAP4
0000115d: SWAP1
0000115e: SWAP5
0000115f: AND
00001160: DUP3
00001161: MSTORE
00001162: SWAP2
00001163: SWAP1
00001164: SWAP2
00001165: MSTORE
00001166: KECCAK256
00001167: SLOAD
00001168: SWAP1
00001169: JUMP
0000116a: JUMPDEST
0000116b: PUSH1 0x0c
0000116d: PUSH1 0x00
0000116f: PUSH2 0x1176
00001172: PUSH2 0x1522
00001175: JUMP
00001176: JUMPDEST
00001177: PUSH1 0x01
00001179: PUSH1 0x01
0000117b: PUSH1 0xa0
0000117d: SHL
0000117e: SUB
0000117f: AND
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x20
00001184: DUP2
00001185: ADD
00001186: SWAP2
00001187: SWAP1
00001188: SWAP2
00001189: MSTORE
0000118a: PUSH1 0x40
0000118c: ADD
0000118d: PUSH1 0x00
0000118f: KECCAK256
00001190: SLOAD
00001191: PUSH1 0xff
00001193: AND
00001194: PUSH2 0x11d2
00001197: JUMPI
00001198: PUSH1 0x40
0000119a: DUP1
0000119b: MLOAD
0000119c: PUSH3 0x461bcd
000011a0: PUSH1 0xe5
000011a2: SHL
000011a3: DUP2
000011a4: MSTORE
000011a5: PUSH1 0x20
000011a7: PUSH1 0x04
000011a9: DUP3
000011aa: ADD
000011ab: DUP2
000011ac: SWAP1
000011ad: MSTORE
000011ae: PUSH1 0x24
000011b0: DUP3
000011b1: ADD
000011b2: MSTORE
000011b3: PUSH1 0x00
000011b5: DUP1
000011b6: MLOAD
000011b7: PUSH1 0x20
000011b9: PUSH2 0x1d03
000011bc: DUP4
000011bd: CODECOPY
000011be: DUP2
000011bf: MLOAD
000011c0: SWAP2
000011c1: MSTORE
000011c2: PUSH1 0x44
000011c4: DUP3
000011c5: ADD
000011c6: MSTORE
000011c7: SWAP1
000011c8: MLOAD
000011c9: SWAP1
000011ca: DUP2
000011cb: SWAP1
000011cc: SUB
000011cd: PUSH1 0x64
000011cf: ADD
000011d0: SWAP1
000011d1: REVERT
000011d2: JUMPDEST
000011d3: PUSH1 0x01
000011d5: PUSH1 0x01
000011d7: PUSH1 0xa0
000011d9: SHL
000011da: SUB
000011db: DUP3
000011dc: AND
000011dd: PUSH1 0x00
000011df: SWAP1
000011e0: DUP2
000011e1: MSTORE
000011e2: PUSH1 0x0a
000011e4: PUSH1 0x20
000011e6: MSTORE
000011e7: PUSH1 0x40
000011e9: SWAP1
000011ea: KECCAK256
000011eb: SLOAD
000011ec: PUSH1 0xff
000011ee: AND
000011ef: ISZERO
000011f0: PUSH2 0x11f8
000011f3: JUMPI
000011f4: PUSH2 0x0982
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH1 0x0f
000011fb: SLOAD
000011fc: DUP2
000011fd: LT
000011fe: PUSH2 0x1266
00001201: JUMPI
00001202: PUSH2 0x120b
00001205: DUP3
00001206: DUP3
00001207: PUSH2 0x18c1
0000120a: JUMP
0000120b: JUMPDEST
0000120c: PUSH1 0x01
0000120e: PUSH1 0x01
00001210: PUSH1 0xa0
00001212: SHL
00001213: SUB
00001214: DUP3
00001215: AND
00001216: PUSH1 0x00
00001218: SWAP1
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x09
0000121d: PUSH1 0x20
0000121f: MSTORE
00001220: PUSH1 0x40
00001222: SWAP1
00001223: KECCAK256
00001224: SLOAD
00001225: PUSH1 0xff
00001227: AND
00001228: PUSH2 0x1261
0000122b: JUMPI
0000122c: PUSH1 0x01
0000122e: PUSH1 0x01
00001230: PUSH1 0xa0
00001232: SHL
00001233: SUB
00001234: DUP3
00001235: AND
00001236: PUSH1 0x00
00001238: SWAP1
00001239: DUP2
0000123a: MSTORE
0000123b: PUSH1 0x09
0000123d: PUSH1 0x20
0000123f: MSTORE
00001240: PUSH1 0x40
00001242: SWAP1
00001243: KECCAK256
00001244: DUP1
00001245: SLOAD
00001246: PUSH1 0xff
00001248: NOT
00001249: AND
0000124a: PUSH1 0x01
0000124c: SWAP1
0000124d: DUP2
0000124e: OR
0000124f: SWAP1
00001250: SWAP2
00001251: SSTORE
00001252: PUSH1 0x0e
00001254: SLOAD
00001255: PUSH2 0x125d
00001258: SWAP2
00001259: PUSH2 0x14ca
0000125c: JUMP
0000125d: JUMPDEST
0000125e: PUSH1 0x0e
00001260: SSTORE
00001261: JUMPDEST
00001262: PUSH2 0x0982
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH2 0x1271
0000126a: DUP3
0000126b: PUSH1 0x00
0000126d: PUSH2 0x18c1
00001270: JUMP
00001271: JUMPDEST
00001272: PUSH1 0x01
00001274: PUSH1 0x01
00001276: PUSH1 0xa0
00001278: SHL
00001279: SUB
0000127a: DUP3
0000127b: AND
0000127c: PUSH1 0x00
0000127e: SWAP1
0000127f: DUP2
00001280: MSTORE
00001281: PUSH1 0x09
00001283: PUSH1 0x20
00001285: MSTORE
00001286: PUSH1 0x40
00001288: SWAP1
00001289: KECCAK256
0000128a: SLOAD
0000128b: PUSH1 0xff
0000128d: AND
0000128e: ISZERO
0000128f: PUSH2 0x0982
00001292: JUMPI
00001293: PUSH1 0x01
00001295: PUSH1 0x01
00001297: PUSH1 0xa0
00001299: SHL
0000129a: SUB
0000129b: DUP3
0000129c: AND
0000129d: PUSH1 0x00
0000129f: SWAP1
000012a0: DUP2
000012a1: MSTORE
000012a2: PUSH1 0x09
000012a4: PUSH1 0x20
000012a6: MSTORE
000012a7: PUSH1 0x40
000012a9: SWAP1
000012aa: KECCAK256
000012ab: DUP1
000012ac: SLOAD
000012ad: PUSH1 0xff
000012af: NOT
000012b0: AND
000012b1: SWAP1
000012b2: SSTORE
000012b3: PUSH1 0x0e
000012b5: SLOAD
000012b6: PUSH2 0x12c0
000012b9: SWAP1
000012ba: PUSH1 0x01
000012bc: PUSH2 0x1740
000012bf: JUMP
000012c0: JUMPDEST
000012c1: PUSH1 0x0e
000012c3: SSTORE
000012c4: POP
000012c5: POP
000012c6: JUMP
000012c7: JUMPDEST
000012c8: PUSH1 0x0c
000012ca: PUSH1 0x00
000012cc: PUSH2 0x12d3
000012cf: PUSH2 0x1522
000012d2: JUMP
000012d3: JUMPDEST
000012d4: PUSH1 0x01
000012d6: PUSH1 0x01
000012d8: PUSH1 0xa0
000012da: SHL
000012db: SUB
000012dc: AND
000012dd: DUP2
000012de: MSTORE
000012df: PUSH1 0x20
000012e1: DUP2
000012e2: ADD
000012e3: SWAP2
000012e4: SWAP1
000012e5: SWAP2
000012e6: MSTORE
000012e7: PUSH1 0x40
000012e9: ADD
000012ea: PUSH1 0x00
000012ec: KECCAK256
000012ed: SLOAD
000012ee: PUSH1 0xff
000012f0: AND
000012f1: PUSH2 0x132f
000012f4: JUMPI
000012f5: PUSH1 0x40
000012f7: DUP1
000012f8: MLOAD
000012f9: PUSH3 0x461bcd
000012fd: PUSH1 0xe5
000012ff: SHL
00001300: DUP2
00001301: MSTORE
00001302: PUSH1 0x20
00001304: PUSH1 0x04
00001306: DUP3
00001307: ADD
00001308: DUP2
00001309: SWAP1
0000130a: MSTORE
0000130b: PUSH1 0x24
0000130d: DUP3
0000130e: ADD
0000130f: MSTORE
00001310: PUSH1 0x00
00001312: DUP1
00001313: MLOAD
00001314: PUSH1 0x20
00001316: PUSH2 0x1d03
00001319: DUP4
0000131a: CODECOPY
0000131b: DUP2
0000131c: MLOAD
0000131d: SWAP2
0000131e: MSTORE
0000131f: PUSH1 0x44
00001321: DUP3
00001322: ADD
00001323: MSTORE
00001324: SWAP1
00001325: MLOAD
00001326: SWAP1
00001327: DUP2
00001328: SWAP1
00001329: SUB
0000132a: PUSH1 0x64
0000132c: ADD
0000132d: SWAP1
0000132e: REVERT
0000132f: JUMPDEST
00001330: PUSH2 0x0e10
00001333: DUP2
00001334: LT
00001335: ISZERO
00001336: DUP1
00001337: ISZERO
00001338: PUSH2 0x1344
0000133b: JUMPI
0000133c: POP
0000133d: PUSH3 0x015180
00001341: DUP2
00001342: GT
00001343: ISZERO
00001344: JUMPDEST
00001345: PUSH2 0x137f
00001348: JUMPI
00001349: PUSH1 0x40
0000134b: MLOAD
0000134c: PUSH3 0x461bcd
00001350: PUSH1 0xe5
00001352: SHL
00001353: DUP2
00001354: MSTORE
00001355: PUSH1 0x04
00001357: ADD
00001358: DUP1
00001359: DUP1
0000135a: PUSH1 0x20
0000135c: ADD
0000135d: DUP3
0000135e: DUP2
0000135f: SUB
00001360: DUP3
00001361: MSTORE
00001362: PUSH1 0x4b
00001364: DUP2
00001365: MSTORE
00001366: PUSH1 0x20
00001368: ADD
00001369: DUP1
0000136a: PUSH2 0x1d23
0000136d: PUSH1 0x4b
0000136f: SWAP2
00001370: CODECOPY
00001371: PUSH1 0x60
00001373: ADD
00001374: SWAP2
00001375: POP
00001376: POP
00001377: PUSH1 0x40
00001379: MLOAD
0000137a: DUP1
0000137b: SWAP2
0000137c: SUB
0000137d: SWAP1
0000137e: REVERT
0000137f: JUMPDEST
00001380: PUSH1 0x0d
00001382: SLOAD
00001383: DUP2
00001384: EQ
00001385: ISZERO
00001386: PUSH2 0x13c0
00001389: JUMPI
0000138a: PUSH1 0x40
0000138c: MLOAD
0000138d: PUSH3 0x461bcd
00001391: PUSH1 0xe5
00001393: SHL
00001394: DUP2
00001395: MSTORE
00001396: PUSH1 0x04
00001398: ADD
00001399: DUP1
0000139a: DUP1
0000139b: PUSH1 0x20
0000139d: ADD
0000139e: DUP3
0000139f: DUP2
000013a0: SUB
000013a1: DUP3
000013a2: MSTORE
000013a3: PUSH1 0x3d
000013a5: DUP2
000013a6: MSTORE
000013a7: PUSH1 0x20
000013a9: ADD
000013aa: DUP1
000013ab: PUSH2 0x1daf
000013ae: PUSH1 0x3d
000013b0: SWAP2
000013b1: CODECOPY
000013b2: PUSH1 0x40
000013b4: ADD
000013b5: SWAP2
000013b6: POP
000013b7: POP
000013b8: PUSH1 0x40
000013ba: MLOAD
000013bb: DUP1
000013bc: SWAP2
000013bd: SUB
000013be: SWAP1
000013bf: REVERT
000013c0: JUMPDEST
000013c1: PUSH1 0x0d
000013c3: SLOAD
000013c4: PUSH1 0x40
000013c6: MLOAD
000013c7: DUP3
000013c8: SWAP1
000013c9: PUSH32 0x474ea64804364a1e29a4487ddb63c3342a2dd826ccd8acf48825e680a0e6f20f
000013ea: SWAP1
000013eb: PUSH1 0x00
000013ed: SWAP1
000013ee: LOG3
000013ef: PUSH1 0x0d
000013f1: SSTORE
000013f2: JUMP
000013f3: JUMPDEST
000013f4: DUP1
000013f5: PUSH1 0x00
000013f7: DUP1
000013f8: DUP1
000013f9: DUP1
000013fa: DUP1
000013fb: PUSH2 0x1403
000013fe: DUP7
000013ff: PUSH2 0x0de6
00001402: JUMP
00001403: JUMPDEST
00001404: SWAP5
00001405: POP
00001406: PUSH2 0x140e
00001409: DUP7
0000140a: PUSH2 0x0bef
0000140d: JUMP
0000140e: JUMPDEST
0000140f: PUSH1 0x01
00001411: PUSH1 0x01
00001413: PUSH1 0xa0
00001415: SHL
00001416: SUB
00001417: DUP8
00001418: AND
00001419: PUSH1 0x00
0000141b: SWAP1
0000141c: DUP2
0000141d: MSTORE
0000141e: PUSH1 0x0b
00001420: PUSH1 0x20
00001422: MSTORE
00001423: PUSH1 0x40
00001425: SWAP1
00001426: KECCAK256
00001427: SLOAD
00001428: SWAP1
00001429: SWAP5
0000142a: POP
0000142b: SWAP3
0000142c: POP
0000142d: DUP3
0000142e: PUSH2 0x1437
00001431: JUMPI
00001432: TIMESTAMP
00001433: PUSH2 0x1445
00001436: JUMP
00001437: JUMPDEST
00001438: PUSH1 0x0d
0000143a: SLOAD
0000143b: PUSH2 0x1445
0000143e: SWAP1
0000143f: DUP5
00001440: SWAP1
00001441: PUSH2 0x14ca
00001444: JUMP
00001445: JUMPDEST
00001446: SWAP2
00001447: POP
00001448: TIMESTAMP
00001449: DUP3
0000144a: GT
0000144b: PUSH2 0x1455
0000144e: JUMPI
0000144f: PUSH1 0x00
00001451: PUSH2 0x145f
00001454: JUMP
00001455: JUMPDEST
00001456: PUSH2 0x145f
00001459: DUP3
0000145a: TIMESTAMP
0000145b: PUSH2 0x1740
0000145e: JUMP
0000145f: JUMPDEST
00001460: SWAP1
00001461: POP
00001462: SWAP2
00001463: SWAP4
00001464: SWAP6
00001465: POP
00001466: SWAP2
00001467: SWAP4
00001468: SWAP6
00001469: JUMP
0000146a: JUMPDEST
0000146b: PUSH1 0x00
0000146d: DUP3
0000146e: PUSH2 0x1479
00001471: JUMPI
00001472: POP
00001473: PUSH1 0x00
00001475: PUSH2 0x0a34
00001478: JUMP
00001479: JUMPDEST
0000147a: DUP3
0000147b: DUP3
0000147c: MUL
0000147d: DUP3
0000147e: DUP5
0000147f: DUP3
00001480: DUP2
00001481: PUSH2 0x1486
00001484: JUMPI
00001485: INVALID
00001486: JUMPDEST
00001487: DIV
00001488: EQ
00001489: PUSH2 0x14c3
0000148c: JUMPI
0000148d: PUSH1 0x40
0000148f: MLOAD
00001490: PUSH3 0x461bcd
00001494: PUSH1 0xe5
00001496: SHL
00001497: DUP2
00001498: MSTORE
00001499: PUSH1 0x04
0000149b: ADD
0000149c: DUP1
0000149d: DUP1
0000149e: PUSH1 0x20
000014a0: ADD
000014a1: DUP3
000014a2: DUP2
000014a3: SUB
000014a4: DUP3
000014a5: MSTORE
000014a6: PUSH1 0x21
000014a8: DUP2
000014a9: MSTORE
000014aa: PUSH1 0x20
000014ac: ADD
000014ad: DUP1
000014ae: PUSH2 0x1c8e
000014b1: PUSH1 0x21
000014b3: SWAP2
000014b4: CODECOPY
000014b5: PUSH1 0x40
000014b7: ADD
000014b8: SWAP2
000014b9: POP
000014ba: POP
000014bb: PUSH1 0x40
000014bd: MLOAD
000014be: DUP1
000014bf: SWAP2
000014c0: SUB
000014c1: SWAP1
000014c2: REVERT
000014c3: JUMPDEST
000014c4: SWAP4
000014c5: SWAP3
000014c6: POP
000014c7: POP
000014c8: POP
000014c9: JUMP
000014ca: JUMPDEST
000014cb: PUSH1 0x00
000014cd: DUP3
000014ce: DUP3
000014cf: ADD
000014d0: DUP4
000014d1: DUP2
000014d2: LT
000014d3: ISZERO
000014d4: PUSH2 0x14c3
000014d7: JUMPI
000014d8: PUSH1 0x40
000014da: DUP1
000014db: MLOAD
000014dc: PUSH3 0x461bcd
000014e0: PUSH1 0xe5
000014e2: SHL
000014e3: DUP2
000014e4: MSTORE
000014e5: PUSH1 0x20
000014e7: PUSH1 0x04
000014e9: DUP3
000014ea: ADD
000014eb: MSTORE
000014ec: PUSH1 0x1b
000014ee: PUSH1 0x24
000014f0: DUP3
000014f1: ADD
000014f2: MSTORE
000014f3: PUSH27 0x536166654d6174683a206164646974696f6e206f766572666c6f77
0000150f: PUSH1 0x28
00001511: SHL
00001512: PUSH1 0x44
00001514: DUP3
00001515: ADD
00001516: MSTORE
00001517: SWAP1
00001518: MLOAD
00001519: SWAP1
0000151a: DUP2
0000151b: SWAP1
0000151c: SUB
0000151d: PUSH1 0x64
0000151f: ADD
00001520: SWAP1
00001521: REVERT
00001522: JUMPDEST
00001523: CALLER
00001524: SWAP1
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH1 0x01
00001529: PUSH1 0x01
0000152b: PUSH1 0xa0
0000152d: SHL
0000152e: SUB
0000152f: DUP3
00001530: AND
00001531: PUSH1 0x00
00001533: SWAP1
00001534: DUP2
00001535: MSTORE
00001536: PUSH1 0x0a
00001538: PUSH1 0x20
0000153a: MSTORE
0000153b: PUSH1 0x40
0000153d: DUP2
0000153e: KECCAK256
0000153f: DUP1
00001540: SLOAD
00001541: PUSH1 0xff
00001543: NOT
00001544: AND
00001545: PUSH1 0x01
00001547: OR
00001548: SWAP1
00001549: SSTORE
0000154a: PUSH2 0x1554
0000154d: SWAP1
0000154e: DUP4
0000154f: SWAP1
00001550: PUSH2 0x18c1
00001553: JUMP
00001554: JUMPDEST
00001555: DUP1
00001556: ISZERO
00001557: PUSH2 0x15ad
0000155a: JUMPI
0000155b: PUSH1 0x01
0000155d: PUSH1 0x01
0000155f: PUSH1 0xa0
00001561: SHL
00001562: SUB
00001563: DUP3
00001564: AND
00001565: PUSH1 0x00
00001567: SWAP1
00001568: DUP2
00001569: MSTORE
0000156a: PUSH1 0x09
0000156c: PUSH1 0x20
0000156e: MSTORE
0000156f: PUSH1 0x40
00001571: SWAP1
00001572: KECCAK256
00001573: SLOAD
00001574: PUSH1 0xff
00001576: AND
00001577: ISZERO
00001578: PUSH2 0x15ad
0000157b: JUMPI
0000157c: PUSH1 0x01
0000157e: PUSH1 0x01
00001580: PUSH1 0xa0
00001582: SHL
00001583: SUB
00001584: DUP3
00001585: AND
00001586: PUSH1 0x00
00001588: SWAP1
00001589: DUP2
0000158a: MSTORE
0000158b: PUSH1 0x09
0000158d: PUSH1 0x20
0000158f: MSTORE
00001590: PUSH1 0x40
00001592: SWAP1
00001593: KECCAK256
00001594: DUP1
00001595: SLOAD
00001596: PUSH1 0xff
00001598: NOT
00001599: AND
0000159a: SWAP1
0000159b: SSTORE
0000159c: PUSH1 0x0e
0000159e: SLOAD
0000159f: PUSH2 0x15a9
000015a2: SWAP1
000015a3: PUSH1 0x01
000015a5: PUSH2 0x1740
000015a8: JUMP
000015a9: JUMPDEST
000015aa: PUSH1 0x0e
000015ac: SSTORE
000015ad: JUMPDEST
000015ae: PUSH1 0x40
000015b0: MLOAD
000015b1: PUSH1 0x01
000015b3: PUSH1 0x01
000015b5: PUSH1 0xa0
000015b7: SHL
000015b8: SUB
000015b9: DUP4
000015ba: AND
000015bb: SWAP1
000015bc: PUSH32 0xa878b31040b2e6d0a9a3d3361209db3908ba62014b0dca52adbaee451d128b25
000015dd: SWAP1
000015de: PUSH1 0x00
000015e0: SWAP1
000015e1: LOG2
000015e2: POP
000015e3: POP
000015e4: JUMP
000015e5: JUMPDEST
000015e6: PUSH1 0x40
000015e8: MLOAD
000015e9: PUSH3 0x461bcd
000015ed: PUSH1 0xe5
000015ef: SHL
000015f0: DUP2
000015f1: MSTORE
000015f2: PUSH1 0x04
000015f4: ADD
000015f5: DUP1
000015f6: DUP1
000015f7: PUSH1 0x20
000015f9: ADD
000015fa: DUP3
000015fb: DUP2
000015fc: SUB
000015fd: DUP3
000015fe: MSTORE
000015ff: PUSH1 0x45
00001601: DUP2
00001602: MSTORE
00001603: PUSH1 0x20
00001605: ADD
00001606: DUP1
00001607: PUSH2 0x1dec
0000160a: PUSH1 0x45
0000160c: SWAP2
0000160d: CODECOPY
0000160e: PUSH1 0x60
00001610: ADD
00001611: SWAP2
00001612: POP
00001613: POP
00001614: PUSH1 0x40
00001616: MLOAD
00001617: DUP1
00001618: SWAP2
00001619: SUB
0000161a: SWAP1
0000161b: REVERT
0000161c: JUMPDEST
0000161d: PUSH1 0x40
0000161f: MLOAD
00001620: PUSH3 0x461bcd
00001624: PUSH1 0xe5
00001626: SHL
00001627: DUP2
00001628: MSTORE
00001629: PUSH1 0x04
0000162b: ADD
0000162c: DUP1
0000162d: DUP1
0000162e: PUSH1 0x20
00001630: ADD
00001631: DUP3
00001632: DUP2
00001633: SUB
00001634: DUP3
00001635: MSTORE
00001636: PUSH1 0x2c
00001638: DUP2
00001639: MSTORE
0000163a: PUSH1 0x20
0000163c: ADD
0000163d: DUP1
0000163e: PUSH2 0x1caf
00001641: PUSH1 0x2c
00001643: SWAP2
00001644: CODECOPY
00001645: PUSH1 0x40
00001647: ADD
00001648: SWAP2
00001649: POP
0000164a: POP
0000164b: PUSH1 0x40
0000164d: MLOAD
0000164e: DUP1
0000164f: SWAP2
00001650: SUB
00001651: SWAP1
00001652: REVERT
00001653: JUMPDEST
00001654: PUSH1 0x00
00001656: DUP2
00001657: DUP5
00001658: DUP5
00001659: GT
0000165a: ISZERO
0000165b: PUSH2 0x16e2
0000165e: JUMPI
0000165f: PUSH1 0x40
00001661: MLOAD
00001662: PUSH3 0x461bcd
00001666: PUSH1 0xe5
00001668: SHL
00001669: DUP2
0000166a: MSTORE
0000166b: PUSH1 0x04
0000166d: ADD
0000166e: DUP1
0000166f: DUP1
00001670: PUSH1 0x20
00001672: ADD
00001673: DUP3
00001674: DUP2
00001675: SUB
00001676: DUP3
00001677: MSTORE
00001678: DUP4
00001679: DUP2
0000167a: DUP2
0000167b: MLOAD
0000167c: DUP2
0000167d: MSTORE
0000167e: PUSH1 0x20
00001680: ADD
00001681: SWAP2
00001682: POP
00001683: DUP1
00001684: MLOAD
00001685: SWAP1
00001686: PUSH1 0x20
00001688: ADD
00001689: SWAP1
0000168a: DUP1
0000168b: DUP4
0000168c: DUP4
0000168d: PUSH1 0x00
0000168f: JUMPDEST
00001690: DUP4
00001691: DUP2
00001692: LT
00001693: ISZERO
00001694: PUSH2 0x16a7
00001697: JUMPI
00001698: DUP2
00001699: DUP2
0000169a: ADD
0000169b: MLOAD
0000169c: DUP4
0000169d: DUP3
0000169e: ADD
0000169f: MSTORE
000016a0: PUSH1 0x20
000016a2: ADD
000016a3: PUSH2 0x168f
000016a6: JUMP
000016a7: JUMPDEST
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: SWAP1
000016ad: POP
000016ae: SWAP1
000016af: DUP2
000016b0: ADD
000016b1: SWAP1
000016b2: PUSH1 0x1f
000016b4: AND
000016b5: DUP1
000016b6: ISZERO
000016b7: PUSH2 0x16d4
000016ba: JUMPI
000016bb: DUP1
000016bc: DUP3
000016bd: SUB
000016be: DUP1
000016bf: MLOAD
000016c0: PUSH1 0x01
000016c2: DUP4
000016c3: PUSH1 0x20
000016c5: SUB
000016c6: PUSH2 0x0100
000016c9: EXP
000016ca: SUB
000016cb: NOT
000016cc: AND
000016cd: DUP2
000016ce: MSTORE
000016cf: PUSH1 0x20
000016d1: ADD
000016d2: SWAP2
000016d3: POP
000016d4: JUMPDEST
000016d5: POP
000016d6: SWAP3
000016d7: POP
000016d8: POP
000016d9: POP
000016da: PUSH1 0x40
000016dc: MLOAD
000016dd: DUP1
000016de: SWAP2
000016df: SUB
000016e0: SWAP1
000016e1: REVERT
000016e2: JUMPDEST
000016e3: POP
000016e4: POP
000016e5: POP
000016e6: SWAP1
000016e7: SUB
000016e8: SWAP1
000016e9: JUMP
000016ea: JUMPDEST
000016eb: PUSH1 0x00
000016ed: DUP2
000016ee: DUP2
000016ef: DUP2
000016f0: SLT
000016f1: ISZERO
000016f2: PUSH2 0x0a34
000016f5: JUMPI
000016f6: PUSH1 0x00
000016f8: DUP1
000016f9: REVERT
000016fa: JUMPDEST
000016fb: PUSH1 0x00
000016fd: DUP3
000016fe: DUP3
000016ff: ADD
00001700: DUP2
00001701: DUP4
00001702: SLT
00001703: DUP1
00001704: ISZERO
00001705: SWAP1
00001706: PUSH2 0x170f
00001709: JUMPI
0000170a: POP
0000170b: DUP4
0000170c: DUP2
0000170d: SLT
0000170e: ISZERO
0000170f: JUMPDEST
00001710: DUP1
00001711: PUSH2 0x1724
00001714: JUMPI
00001715: POP
00001716: PUSH1 0x00
00001718: DUP4
00001719: SLT
0000171a: DUP1
0000171b: ISZERO
0000171c: PUSH2 0x1724
0000171f: JUMPI
00001720: POP
00001721: DUP4
00001722: DUP2
00001723: SLT
00001724: JUMPDEST
00001725: PUSH2 0x14c3
00001728: JUMPI
00001729: PUSH1 0x00
0000172b: DUP1
0000172c: REVERT
0000172d: JUMPDEST
0000172e: PUSH1 0x00
00001730: DUP1
00001731: DUP3
00001732: SLT
00001733: ISZERO
00001734: PUSH2 0x173c
00001737: JUMPI
00001738: PUSH1 0x00
0000173a: DUP1
0000173b: REVERT
0000173c: JUMPDEST
0000173d: POP
0000173e: SWAP1
0000173f: JUMP
00001740: JUMPDEST
00001741: PUSH1 0x00
00001743: PUSH2 0x14c3
00001746: DUP4
00001747: DUP4
00001748: PUSH1 0x40
0000174a: MLOAD
0000174b: DUP1
0000174c: PUSH1 0x40
0000174e: ADD
0000174f: PUSH1 0x40
00001751: MSTORE
00001752: DUP1
00001753: PUSH1 0x1e
00001755: DUP2
00001756: MSTORE
00001757: PUSH1 0x20
00001759: ADD
0000175a: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000177b: DUP2
0000177c: MSTORE
0000177d: POP
0000177e: PUSH2 0x1653
00001781: JUMP
00001782: JUMPDEST
00001783: PUSH1 0x00
00001785: DUP1
00001786: PUSH2 0x178e
00001789: DUP4
0000178a: PUSH2 0x0de6
0000178d: JUMP
0000178e: JUMPDEST
0000178f: SWAP1
00001790: POP
00001791: DUP1
00001792: ISZERO
00001793: PUSH2 0x18b8
00001796: JUMPI
00001797: PUSH1 0x40
00001799: DUP1
0000179a: MLOAD
0000179b: DUP3
0000179c: DUP2
0000179d: MSTORE
0000179e: SWAP1
0000179f: MLOAD
000017a0: PUSH1 0x01
000017a2: PUSH1 0x01
000017a4: PUSH1 0xa0
000017a6: SHL
000017a7: SUB
000017a8: DUP6
000017a9: AND
000017aa: SWAP2
000017ab: PUSH32 0xee503bee2bb6a87e57bc57db795f98137327401a0e7b7ce42e37926cc1a9ca4d
000017cc: SWAP2
000017cd: SWAP1
000017ce: DUP2
000017cf: SWAP1
000017d0: SUB
000017d1: PUSH1 0x20
000017d3: ADD
000017d4: SWAP1
000017d5: LOG2
000017d6: PUSH1 0x01
000017d8: PUSH1 0x01
000017da: PUSH1 0xa0
000017dc: SHL
000017dd: SUB
000017de: DUP4
000017df: AND
000017e0: PUSH1 0x00
000017e2: SWAP1
000017e3: DUP2
000017e4: MSTORE
000017e5: PUSH1 0x07
000017e7: PUSH1 0x20
000017e9: MSTORE
000017ea: PUSH1 0x40
000017ec: SWAP1
000017ed: KECCAK256
000017ee: SLOAD
000017ef: PUSH2 0x17f8
000017f2: SWAP1
000017f3: DUP3
000017f4: PUSH2 0x14ca
000017f7: JUMP
000017f8: JUMPDEST
000017f9: PUSH1 0x01
000017fb: PUSH1 0x01
000017fd: PUSH1 0xa0
000017ff: SHL
00001800: SUB
00001801: DUP5
00001802: AND
00001803: PUSH1 0x00
00001805: DUP2
00001806: DUP2
00001807: MSTORE
00001808: PUSH1 0x07
0000180a: PUSH1 0x20
0000180c: MSTORE
0000180d: PUSH1 0x40
0000180f: DUP1
00001810: DUP3
00001811: KECCAK256
00001812: SWAP4
00001813: SWAP1
00001814: SWAP4
00001815: SSTORE
00001816: SWAP2
00001817: MLOAD
00001818: PUSH2 0x0bb8
0000181b: SWAP1
0000181c: DUP5
0000181d: SWAP1
0000181e: DUP5
0000181f: DUP2
00001820: DUP2
00001821: DUP2
00001822: DUP6
00001823: DUP9
00001824: DUP9
00001825: CALL
00001826: SWAP4
00001827: POP
00001828: POP
00001829: POP
0000182a: POP
0000182b: RETURNDATASIZE
0000182c: DUP1
0000182d: PUSH1 0x00
0000182f: DUP2
00001830: EQ
00001831: PUSH2 0x1856
00001834: JUMPI
00001835: PUSH1 0x40
00001837: MLOAD
00001838: SWAP2
00001839: POP
0000183a: PUSH1 0x1f
0000183c: NOT
0000183d: PUSH1 0x3f
0000183f: RETURNDATASIZE
00001840: ADD
00001841: AND
00001842: DUP3
00001843: ADD
00001844: PUSH1 0x40
00001846: MSTORE
00001847: RETURNDATASIZE
00001848: DUP3
00001849: MSTORE
0000184a: RETURNDATASIZE
0000184b: PUSH1 0x00
0000184d: PUSH1 0x20
0000184f: DUP5
00001850: ADD
00001851: RETURNDATACOPY
00001852: PUSH2 0x185b
00001855: JUMP
00001856: JUMPDEST
00001857: PUSH1 0x60
00001859: SWAP2
0000185a: POP
0000185b: JUMPDEST
0000185c: POP
0000185d: POP
0000185e: SWAP1
0000185f: POP
00001860: DUP1
00001861: PUSH2 0x18a5
00001864: JUMPI
00001865: PUSH1 0x01
00001867: PUSH1 0x01
00001869: PUSH1 0xa0
0000186b: SHL
0000186c: SUB
0000186d: DUP5
0000186e: AND
0000186f: PUSH1 0x00
00001871: SWAP1
00001872: DUP2
00001873: MSTORE
00001874: PUSH1 0x07
00001876: PUSH1 0x20
00001878: MSTORE
00001879: PUSH1 0x40
0000187b: SWAP1
0000187c: KECCAK256
0000187d: SLOAD
0000187e: PUSH2 0x1887
00001881: SWAP1
00001882: DUP4
00001883: PUSH2 0x1740
00001886: JUMP
00001887: JUMPDEST
00001888: PUSH1 0x01
0000188a: PUSH1 0x01
0000188c: PUSH1 0xa0
0000188e: SHL
0000188f: SUB
00001890: DUP6
00001891: AND
00001892: PUSH1 0x00
00001894: SWAP1
00001895: DUP2
00001896: MSTORE
00001897: PUSH1 0x07
00001899: PUSH1 0x20
0000189b: MSTORE
0000189c: PUSH1 0x40
0000189e: SWAP1
0000189f: KECCAK256
000018a0: SSTORE
000018a1: PUSH2 0x18b0
000018a4: JUMP
000018a5: JUMPDEST
000018a6: PUSH1 0x00
000018a8: SWAP3
000018a9: POP
000018aa: POP
000018ab: POP
000018ac: PUSH2 0x0a5d
000018af: JUMP
000018b0: JUMPDEST
000018b1: POP
000018b2: SWAP1
000018b3: POP
000018b4: PUSH2 0x0a5d
000018b7: JUMP
000018b8: JUMPDEST
000018b9: POP
000018ba: PUSH1 0x00
000018bc: SWAP3
000018bd: SWAP2
000018be: POP
000018bf: POP
000018c0: JUMP
000018c1: JUMPDEST
000018c2: PUSH1 0x00
000018c4: PUSH2 0x18cc
000018c7: DUP4
000018c8: PUSH2 0x0cf1
000018cb: JUMP
000018cc: JUMPDEST
000018cd: SWAP1
000018ce: POP
000018cf: DUP1
000018d0: DUP3
000018d1: GT
000018d2: ISZERO
000018d3: PUSH2 0x18f4
000018d6: JUMPI
000018d7: PUSH1 0x00
000018d9: PUSH2 0x18e2
000018dc: DUP4
000018dd: DUP4
000018de: PUSH2 0x1740
000018e1: JUMP
000018e2: JUMPDEST
000018e3: SWAP1
000018e4: POP
000018e5: PUSH2 0x18ee
000018e8: DUP5
000018e9: DUP3
000018ea: PUSH2 0x191a
000018ed: JUMP
000018ee: JUMPDEST
000018ef: POP
000018f0: PUSH2 0x113a
000018f3: JUMP
000018f4: JUMPDEST
000018f5: DUP1
000018f6: DUP3
000018f7: LT
000018f8: ISZERO
000018f9: PUSH2 0x113a
000018fc: JUMPI
000018fd: PUSH1 0x00
000018ff: PUSH2 0x1908
00001902: DUP3
00001903: DUP5
00001904: PUSH2 0x1740
00001907: JUMP
00001908: JUMPDEST
00001909: SWAP1
0000190a: POP
0000190b: PUSH2 0x1914
0000190e: DUP5
0000190f: DUP3
00001910: PUSH2 0x197e
00001913: JUMP
00001914: JUMPDEST
00001915: POP
00001916: POP
00001917: POP
00001918: POP
00001919: JUMP
0000191a: JUMPDEST
0000191b: PUSH2 0x1924
0000191e: DUP3
0000191f: DUP3
00001920: PUSH2 0x19c2
00001923: JUMP
00001924: JUMPDEST
00001925: PUSH2 0x195e
00001928: PUSH2 0x193f
0000192b: PUSH2 0x0c2e
0000192e: DUP4
0000192f: PUSH1 0x05
00001931: SLOAD
00001932: PUSH2 0x146a
00001935: SWAP1
00001936: SWAP2
00001937: SWAP1
00001938: PUSH4 0xffffffff
0000193d: AND
0000193e: JUMP
0000193f: JUMPDEST
00001940: PUSH1 0x01
00001942: PUSH1 0x01
00001944: PUSH1 0xa0
00001946: SHL
00001947: SUB
00001948: DUP5
00001949: AND
0000194a: PUSH1 0x00
0000194c: SWAP1
0000194d: DUP2
0000194e: MSTORE
0000194f: PUSH1 0x06
00001951: PUSH1 0x20
00001953: MSTORE
00001954: PUSH1 0x40
00001956: SWAP1
00001957: KECCAK256
00001958: SLOAD
00001959: SWAP1
0000195a: PUSH2 0x1a94
0000195d: JUMP
0000195e: JUMPDEST
0000195f: PUSH1 0x01
00001961: PUSH1 0x01
00001963: PUSH1 0xa0
00001965: SHL
00001966: SUB
00001967: SWAP1
00001968: SWAP3
00001969: AND
0000196a: PUSH1 0x00
0000196c: SWAP1
0000196d: DUP2
0000196e: MSTORE
0000196f: PUSH1 0x06
00001971: PUSH1 0x20
00001973: MSTORE
00001974: PUSH1 0x40
00001976: SWAP1
00001977: KECCAK256
00001978: SWAP2
00001979: SWAP1
0000197a: SWAP2
0000197b: SSTORE
0000197c: POP
0000197d: JUMP
0000197e: JUMPDEST
0000197f: PUSH2 0x1988
00001982: DUP3
00001983: DUP3
00001984: PUSH2 0x1ac6
00001987: JUMP
00001988: JUMPDEST
00001989: PUSH2 0x195e
0000198c: PUSH2 0x19a3
0000198f: PUSH2 0x0c2e
00001992: DUP4
00001993: PUSH1 0x05
00001995: SLOAD
00001996: PUSH2 0x146a
00001999: SWAP1
0000199a: SWAP2
0000199b: SWAP1
0000199c: PUSH4 0xffffffff
000019a1: AND
000019a2: JUMP
000019a3: JUMPDEST
000019a4: PUSH1 0x01
000019a6: PUSH1 0x01
000019a8: PUSH1 0xa0
000019aa: SHL
000019ab: SUB
000019ac: DUP5
000019ad: AND
000019ae: PUSH1 0x00
000019b0: SWAP1
000019b1: DUP2
000019b2: MSTORE
000019b3: PUSH1 0x06
000019b5: PUSH1 0x20
000019b7: MSTORE
000019b8: PUSH1 0x40
000019ba: SWAP1
000019bb: KECCAK256
000019bc: SLOAD
000019bd: SWAP1
000019be: PUSH2 0x16fa
000019c1: JUMP
000019c2: JUMPDEST
000019c3: PUSH1 0x01
000019c5: PUSH1 0x01
000019c7: PUSH1 0xa0
000019c9: SHL
000019ca: SUB
000019cb: DUP3
000019cc: AND
000019cd: PUSH2 0x1a1d
000019d0: JUMPI
000019d1: PUSH1 0x40
000019d3: DUP1
000019d4: MLOAD
000019d5: PUSH3 0x461bcd
000019d9: PUSH1 0xe5
000019db: SHL
000019dc: DUP2
000019dd: MSTORE
000019de: PUSH1 0x20
000019e0: PUSH1 0x04
000019e2: DUP3
000019e3: ADD
000019e4: MSTORE
000019e5: PUSH1 0x1f
000019e7: PUSH1 0x24
000019e9: DUP3
000019ea: ADD
000019eb: MSTORE
000019ec: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001a0d: PUSH1 0x44
00001a0f: DUP3
00001a10: ADD
00001a11: MSTORE
00001a12: SWAP1
00001a13: MLOAD
00001a14: SWAP1
00001a15: DUP2
00001a16: SWAP1
00001a17: SUB
00001a18: PUSH1 0x64
00001a1a: ADD
00001a1b: SWAP1
00001a1c: REVERT
00001a1d: JUMPDEST
00001a1e: PUSH1 0x02
00001a20: SLOAD
00001a21: PUSH2 0x1a2a
00001a24: SWAP1
00001a25: DUP3
00001a26: PUSH2 0x14ca
00001a29: JUMP
00001a2a: JUMPDEST
00001a2b: PUSH1 0x02
00001a2d: SSTORE
00001a2e: PUSH1 0x01
00001a30: PUSH1 0x01
00001a32: PUSH1 0xa0
00001a34: SHL
00001a35: SUB
00001a36: DUP3
00001a37: AND
00001a38: PUSH1 0x00
00001a3a: SWAP1
00001a3b: DUP2
00001a3c: MSTORE
00001a3d: PUSH1 0x20
00001a3f: DUP2
00001a40: SWAP1
00001a41: MSTORE
00001a42: PUSH1 0x40
00001a44: SWAP1
00001a45: KECCAK256
00001a46: SLOAD
00001a47: PUSH2 0x1a50
00001a4a: SWAP1
00001a4b: DUP3
00001a4c: PUSH2 0x14ca
00001a4f: JUMP
00001a50: JUMPDEST
00001a51: PUSH1 0x01
00001a53: PUSH1 0x01
00001a55: PUSH1 0xa0
00001a57: SHL
00001a58: SUB
00001a59: DUP4
00001a5a: AND
00001a5b: PUSH1 0x00
00001a5d: DUP2
00001a5e: DUP2
00001a5f: MSTORE
00001a60: PUSH1 0x20
00001a62: DUP2
00001a63: DUP2
00001a64: MSTORE
00001a65: PUSH1 0x40
00001a67: DUP1
00001a68: DUP4
00001a69: KECCAK256
00001a6a: SWAP5
00001a6b: SWAP1
00001a6c: SWAP5
00001a6d: SSTORE
00001a6e: DUP4
00001a6f: MLOAD
00001a70: DUP6
00001a71: DUP2
00001a72: MSTORE
00001a73: SWAP4
00001a74: MLOAD
00001a75: SWAP3
00001a76: SWAP4
00001a77: SWAP2
00001a78: SWAP3
00001a79: PUSH1 0x00
00001a7b: DUP1
00001a7c: MLOAD
00001a7d: PUSH1 0x20
00001a7f: PUSH2 0x1d6e
00001a82: DUP4
00001a83: CODECOPY
00001a84: DUP2
00001a85: MLOAD
00001a86: SWAP2
00001a87: MSTORE
00001a88: SWAP3
00001a89: DUP2
00001a8a: SWAP1
00001a8b: SUB
00001a8c: SWAP1
00001a8d: SWAP2
00001a8e: ADD
00001a8f: SWAP1
00001a90: LOG3
00001a91: POP
00001a92: POP
00001a93: JUMP
00001a94: JUMPDEST
00001a95: PUSH1 0x00
00001a97: DUP2
00001a98: DUP4
00001a99: SUB
00001a9a: DUP2
00001a9b: DUP4
00001a9c: SLT
00001a9d: DUP1
00001a9e: ISZERO
00001a9f: SWAP1
00001aa0: PUSH2 0x1aa9
00001aa3: JUMPI
00001aa4: POP
00001aa5: DUP4
00001aa6: DUP2
00001aa7: SGT
00001aa8: ISZERO
00001aa9: JUMPDEST
00001aaa: DUP1
00001aab: PUSH2 0x1724
00001aae: JUMPI
00001aaf: POP
00001ab0: PUSH1 0x00
00001ab2: DUP4
00001ab3: SLT
00001ab4: DUP1
00001ab5: ISZERO
00001ab6: PUSH2 0x1724
00001ab9: JUMPI
00001aba: POP
00001abb: DUP4
00001abc: DUP2
00001abd: SGT
00001abe: PUSH2 0x14c3
00001ac1: JUMPI
00001ac2: PUSH1 0x00
00001ac4: DUP1
00001ac5: REVERT
00001ac6: JUMPDEST
00001ac7: PUSH1 0x01
00001ac9: PUSH1 0x01
00001acb: PUSH1 0xa0
00001acd: SHL
00001ace: SUB
00001acf: DUP3
00001ad0: AND
00001ad1: PUSH2 0x1b0b
00001ad4: JUMPI
00001ad5: PUSH1 0x40
00001ad7: MLOAD
00001ad8: PUSH3 0x461bcd
00001adc: PUSH1 0xe5
00001ade: SHL
00001adf: DUP2
00001ae0: MSTORE
00001ae1: PUSH1 0x04
00001ae3: ADD
00001ae4: DUP1
00001ae5: DUP1
00001ae6: PUSH1 0x20
00001ae8: ADD
00001ae9: DUP3
00001aea: DUP2
00001aeb: SUB
00001aec: DUP3
00001aed: MSTORE
00001aee: PUSH1 0x21
00001af0: DUP2
00001af1: MSTORE
00001af2: PUSH1 0x20
00001af4: ADD
00001af5: DUP1
00001af6: PUSH2 0x1d8e
00001af9: PUSH1 0x21
00001afb: SWAP2
00001afc: CODECOPY
00001afd: PUSH1 0x40
00001aff: ADD
00001b00: SWAP2
00001b01: POP
00001b02: POP
00001b03: PUSH1 0x40
00001b05: MLOAD
00001b06: DUP1
00001b07: SWAP2
00001b08: SUB
00001b09: SWAP1
00001b0a: REVERT
00001b0b: JUMPDEST
00001b0c: PUSH2 0x1b48
00001b0f: DUP2
00001b10: PUSH1 0x40
00001b12: MLOAD
00001b13: DUP1
00001b14: PUSH1 0x60
00001b16: ADD
00001b17: PUSH1 0x40
00001b19: MSTORE
00001b1a: DUP1
00001b1b: PUSH1 0x22
00001b1d: DUP2
00001b1e: MSTORE
00001b1f: PUSH1 0x20
00001b21: ADD
00001b22: PUSH2 0x1ba5
00001b25: PUSH1 0x22
00001b27: SWAP2
00001b28: CODECOPY
00001b29: PUSH1 0x01
00001b2b: PUSH1 0x01
00001b2d: PUSH1 0xa0
00001b2f: SHL
00001b30: SUB
00001b31: DUP6
00001b32: AND
00001b33: PUSH1 0x00
00001b35: SWAP1
00001b36: DUP2
00001b37: MSTORE
00001b38: PUSH1 0x20
00001b3a: DUP2
00001b3b: SWAP1
00001b3c: MSTORE
00001b3d: PUSH1 0x40
00001b3f: SWAP1
00001b40: KECCAK256
00001b41: SLOAD
00001b42: SWAP2
00001b43: SWAP1
00001b44: PUSH2 0x1653
00001b47: JUMP
00001b48: JUMPDEST
00001b49: PUSH1 0x01
00001b4b: PUSH1 0x01
00001b4d: PUSH1 0xa0
00001b4f: SHL
00001b50: SUB
00001b51: DUP4
00001b52: AND
00001b53: PUSH1 0x00
00001b55: SWAP1
00001b56: DUP2
00001b57: MSTORE
00001b58: PUSH1 0x20
00001b5a: DUP2
00001b5b: SWAP1
00001b5c: MSTORE
00001b5d: PUSH1 0x40
00001b5f: SWAP1
00001b60: KECCAK256
00001b61: SSTORE
00001b62: PUSH1 0x02
00001b64: SLOAD
00001b65: PUSH2 0x1b6e
00001b68: SWAP1
00001b69: DUP3
00001b6a: PUSH2 0x1740
00001b6d: JUMP
00001b6e: JUMPDEST
00001b6f: PUSH1 0x02
00001b71: SSTORE
00001b72: PUSH1 0x40
00001b74: DUP1
00001b75: MLOAD
00001b76: DUP3
00001b77: DUP2
00001b78: MSTORE
00001b79: SWAP1
00001b7a: MLOAD
00001b7b: PUSH1 0x00
00001b7d: SWAP2
00001b7e: PUSH1 0x01
00001b80: PUSH1 0x01
00001b82: PUSH1 0xa0
00001b84: SHL
00001b85: SUB
00001b86: DUP6
00001b87: AND
00001b88: SWAP2
00001b89: PUSH1 0x00
00001b8b: DUP1
00001b8c: MLOAD
00001b8d: PUSH1 0x20
00001b8f: PUSH2 0x1d6e
00001b92: DUP4
00001b93: CODECOPY
00001b94: DUP2
00001b95: MLOAD
00001b96: SWAP2
00001b97: MSTORE
00001b98: SWAP2
00001b99: DUP2
00001b9a: SWAP1
00001b9b: SUB
00001b9c: PUSH1 0x20
00001b9e: ADD
00001b9f: SWAP1
00001ba0: LOG3
00001ba1: POP
00001ba2: POP
00001ba3: JUMP
00001ba4: INVALID
00001ba5: GASLIMIT
00001ba6: MSTORE
00001ba7: NUMBER
00001ba8: ORIGIN
00001ba9: ADDRESS
00001baa: GASPRICE
00001bab: KECCAK256
00001bac: PUSH3 0x75726e
00001bb0: KECCAK256
00001bb1: PUSH2 0x6d6f
00001bb4: PUSH22 0x6e7420657863656564732062616c616e636556697261
00001bcb: PUSH13 0x5f4469766964656e645f547261
00001bd9: PUSH4 0x6b65723a
00001bde: KECCAK256
00001bdf: PUSH15 0x65774d696e696d756d546f6b656e20
00001bef: PUSH14 0x6f7265203120746f6b656e566972
00001bfe: PUSH2 0x6c5f
00001c01: DIFFICULTY
00001c02: PUSH10 0x766964656e645f547261
00001c0d: PUSH4 0x6b65723a
00001c12: KECCAK256
00001c13: PUSH24 0x697468647261774469766964656e642064697361626c6564
00001c2c: UNKNOWN(0x2E)
00001c2d: KECCAK256
00001c2e: SSTORE
00001c2f: PUSH20 0x65207468652027636c61696d272066756e637469
00001c44: PUSH16 0x6e206f6e20746865206d61696e205649
00001c55: MSTORE
00001c56: COINBASE
00001c57: UNKNOWN(0x4C)
00001c58: KECCAK256
00001c59: PUSH4 0x6f6e7472
00001c5e: PUSH2 0x6374
00001c61: UNKNOWN(0x2E)
00001c62: UNKNOWN(0x4F)
00001c63: PUSH24 0x6e6572736869703a20726f6c6520697320616c7265616479
00001c7c: KECCAK256
00001c7d: PUSH20 0x657420746f20746869732076616c756553616665
00001c92: UNKNOWN(0x4D)
00001c93: PUSH2 0x7468
00001c96: GASPRICE
00001c97: KECCAK256
00001c98: PUSH14 0x756c7469706c69636174696f6e20
00001ca7: PUSH16 0x766572666c6f77566972616c5f446976
00001cb8: PUSH10 0x64656e645f547261636b
00001cc3: PUSH6 0x723a204e6f20
00001cca: PUSH21 0x72616e736665727320616c6c6f7765644552433230
00001ce0: GASPRICE
00001ce1: KECCAK256
00001ce2: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00001cf8: PUSH20 0x20616c6c6f77616e63654f776e61626c653a2063
00001d0d: PUSH2 0x6c6c
00001d10: PUSH6 0x72206973206e
00001d17: PUSH16 0x7420746865206f776e6572566972616c
00001d28: PUSH0
00001d29: DIFFICULTY
00001d2a: PUSH10 0x766964656e645f547261
00001d35: PUSH4 0x6b65723a
00001d3a: KECCAK256
00001d3b: PUSH4 0x6c61696d
00001d40: JUMPI
00001d41: PUSH2 0x6974
00001d44: KECCAK256
00001d45: PUSH14 0x7573742062652075706461746564
00001d54: KECCAK256
00001d55: PUSH21 0x6f206265747765656e203120616e6420323420686f
00001d6b: PUSH22 0x7273ddf252ad1be2c89b69c2b068fc378daa952ba7f1
00001d82: PUSH4 0xc4a11628
00001d87: CREATE2
00001d88: GAS
00001d89: UNKNOWN(0x4D)
00001d8a: CREATE2
00001d8b: UNKNOWN(0x23)
00001d8c: UNKNOWN(0xB3)
00001d8d: UNKNOWN(0xEF)
00001d8e: GASLIMIT
00001d8f: MSTORE
00001d90: NUMBER
00001d91: ORIGIN
00001d92: ADDRESS
00001d93: GASPRICE
00001d94: KECCAK256
00001d95: PUSH3 0x75726e
00001d99: KECCAK256
00001d9a: PUSH7 0x726f6d20746865
00001da2: KECCAK256
00001da3: PUSH27 0x65726f2061646472657373566972616c5f4469766964656e645f54
00001dbf: PUSH19 0x61636b65723a2043616e6e6f74207570646174
00001dd3: PUSH6 0x20636c61696d
00001dda: JUMPI
00001ddb: PUSH2 0x6974
00001dde: KECCAK256
00001ddf: PUSH21 0x6f2073616d652076616c7565566972616c5f446976
00001df5: PUSH10 0x64656e645f547261636b
00001e00: PUSH6 0x723a20546f6b
00001e07: PUSH6 0x6e206973206e
00001e0e: PUSH16 0x74207472616e7366657261626c652c20
00001e1f: PUSH15 0x6f206e65656420746f20617070726f
00001e2f: PUSH23 0x65566972616c5f4469766964656e645f547261636b6572
00001e47: GASPRICE
00001e48: KECCAK256
00001e49: PUSH17 0x6c65617365207761697420666f7220616e
00001e5b: PUSH16 0x7468657220636c61696d45524332303a
00001e6c: KECCAK256
00001e6d: PUSH5 0x6563726561
00001e73: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00001e88: PUSH6 0x726fa2646970
00001e8f: PUSH7 0x7358221220d258
00001e97: RETURNDATASIZE
00001e98: CALL
00001e99: SWAP10
00001e9a: MULMOD
00001e9b: PUSH28 0x89c9b9c64ff1a1cc8619215be563d457835ba0c681930b956b64736f
00001eb8: PUSH13

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x03c83302",
            "selector": "0x03c83302",
            "calldata_variants": [
                "0x03c83302",
                "0x03c833020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0483f7a0",
            "selector": "0x0483f7a0",
            "calldata_variants": [
                "0x0483f7a0",
                "0x0483f7a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09bbedde",
            "selector": "0x09bbedde",
            "calldata_variants": [
                "0x09bbedde",
                "0x09bbedde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c8b234e",
            "selector": "0x0c8b234e",
            "calldata_variants": [
                "0x0c8b234e",
                "0x0c8b234e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fa71a3b",
            "selector": "0x1fa71a3b",
            "calldata_variants": [
                "0x1fa71a3b",
                "0x1fa71a3b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 7080,
            "type": "tx_origin_used"
        },
        {
            "pc": 7569,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x37d81650ecbd2966c2c46b5d4c16d09f7fce3a3b68c4858d1cf1b903c2c2d7b0
call_targets: 0x68d14a8ce6fab89cba4c4dac033d222b132c7fe6
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x37d81650ecbd2966c2c46b5d4c16d09f7fce3a3b68c4858d1cf1b903c2c2d7b0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x68d14a8ce6fab89cba4c4dac033d222b132c7fe6"
    ],
    "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": "0x03c83302",
            "selector": "0x03c83302",
            "calldata_variants": [
                "0x03c83302",
                "0x03c833020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0483f7a0",
            "selector": "0x0483f7a0",
            "calldata_variants": [
                "0x0483f7a0",
                "0x0483f7a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09bbedde",
            "selector": "0x09bbedde",
            "calldata_variants": [
                "0x09bbedde",
                "0x09bbedde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c8b234e",
            "selector": "0x0c8b234e",
            "calldata_variants": [
                "0x0c8b234e",
                "0x0c8b234e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fa71a3b",
            "selector": "0x1fa71a3b",
            "calldata_variants": [
                "0x1fa71a3b",
                "0x1fa71a3b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 6181,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7832,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 7080,
            "type": "tx_origin_used"
        },
        {
            "pc": 7569,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x37d81650ecbd2966c2c46b5d4c16d09f7fce3a3b68c4858d1cf1b903c2c2d7b0
call_targets: 0x68d14a8ce6fab89cba4c4dac033d222b132c7fe6
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x37d81650ecbd2966c2c46b5d4c16d09f7fce3a3b68c4858d1cf1b903c2c2d7b0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x68d14a8ce6fab89cba4c4dac033d222b132c7fe6"
    ],
    "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": "0x03c83302",
            "selector": "0x03c83302",
            "calldata_variants": [
                "0x03c83302",
                "0x03c833020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0483f7a0",
            "selector": "0x0483f7a0",
            "calldata_variants": [
                "0x0483f7a0",
                "0x0483f7a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09bbedde",
            "selector": "0x09bbedde",
            "calldata_variants": [
                "0x09bbedde",
                "0x09bbedde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c8b234e",
            "selector": "0x0c8b234e",
            "calldata_variants": [
                "0x0c8b234e",
                "0x0c8b234e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fa71a3b",
            "selector": "0x1fa71a3b",
            "calldata_variants": [
                "0x1fa71a3b",
                "0x1fa71a3b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 6181,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7832,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 7080,
            "type": "tx_origin_used"
        },
        {
            "pc": 7569,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xf40578231c5f0d856145e37f5e099af01490aa0cf5a3c2a883b790b8895a1459
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xf40578231c5f0d856145e37f5e099af01490aa0cf5a3c2a883b790b8895a1459",
    "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": "0x03c83302",
            "selector": "0x03c83302",
            "calldata_variants": [
                "0x03c83302",
                "0x03c833020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0483f7a0",
            "selector": "0x0483f7a0",
            "calldata_variants": [
                "0x0483f7a0",
                "0x0483f7a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09bbedde",
            "selector": "0x09bbedde",
            "calldata_variants": [
                "0x09bbedde",
                "0x09bbedde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c8b234e",
            "selector": "0x0c8b234e",
            "calldata_variants": [
                "0x0c8b234e",
                "0x0c8b234e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fa71a3b",
            "selector": "0x1fa71a3b",
            "calldata_variants": [
                "0x1fa71a3b",
                "0x1fa71a3b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}