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

Analysis Run

019b3844-9084-701c-add2-f53113448b42

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
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
12615 artifact.fetch complete 1 / 3 4 months ago
12616 tool.cast_disasm complete 1 / 3 4 months ago
55848 analysis.bundle complete 1 / 3 2 weeks ago
55849 capability.graph complete 1 / 3 2 weeks ago
55850 detector.run complete 1 / 3 2 weeks ago
55851 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
4
Total opcodes
4449
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01aa
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0x65318b
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x01ca
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x06fdde03
00000045: EQ
00000046: PUSH2 0x01fb
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x0f34dc16
00000050: EQ
00000051: PUSH2 0x0285
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x10d0ffdd
0000005b: EQ
0000005c: PUSH2 0x02b8
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x18160ddd
00000066: EQ
00000067: PUSH2 0x02ce
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x22609373
00000071: EQ
00000072: PUSH2 0x02e1
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x27defa1f
0000007c: EQ
0000007d: PUSH2 0x02f7
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x294205b4
00000087: EQ
00000088: PUSH2 0x030a
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x313ce567
00000092: EQ
00000093: PUSH2 0x0330
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x3ccfd60b
0000009d: EQ
0000009e: PUSH2 0x0359
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x4000aea0
000000a8: EQ
000000a9: PUSH2 0x036c
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x4b750334
000000b3: EQ
000000b4: PUSH2 0x039b
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x56d399e8
000000be: EQ
000000bf: PUSH2 0x03ae
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x5e079aa5
000000c9: EQ
000000ca: PUSH2 0x03c1
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x66042e7a
000000d4: EQ
000000d5: PUSH2 0x03f0
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x688abbf7
000000df: EQ
000000e0: PUSH2 0x0403
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x6b2f4632
000000ea: EQ
000000eb: PUSH2 0x041b
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x70a08231
000000f5: EQ
000000f6: PUSH2 0x042e
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x76be1585
00000100: EQ
00000101: PUSH2 0x044d
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x7ff276bd
0000010b: EQ
0000010c: PUSH2 0x046c
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x8328b610
00000116: EQ
00000117: PUSH2 0x047f
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x8620410b
00000121: EQ
00000122: PUSH2 0x0495
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x87c95058
0000012c: EQ
0000012d: PUSH2 0x04a8
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x8974372d
00000137: EQ
00000138: PUSH2 0x04cc
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x949e8acd
00000142: EQ
00000143: PUSH2 0x04d4
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x95d89b41
0000014d: EQ
0000014e: PUSH2 0x04e7
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0xa4d55686
00000158: EQ
00000159: PUSH2 0x04fa
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0xa9059cbb
00000163: EQ
00000164: PUSH2 0x050d
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0xb84c8246
0000016e: EQ
0000016f: PUSH2 0x052f
00000172: JUMPI
00000173: DUP1
00000174: PUSH4 0xc47f0027
00000179: EQ
0000017a: PUSH2 0x0580
0000017d: JUMPI
0000017e: DUP1
0000017f: PUSH4 0xe4849b32
00000184: EQ
00000185: PUSH2 0x05d1
00000188: JUMPI
00000189: DUP1
0000018a: PUSH4 0xe9fad8ee
0000018f: EQ
00000190: PUSH2 0x05e7
00000193: JUMPI
00000194: DUP1
00000195: PUSH4 0xf088d547
0000019a: EQ
0000019b: PUSH2 0x05fa
0000019e: JUMPI
0000019f: DUP1
000001a0: PUSH4 0xfdb5a03e
000001a5: EQ
000001a6: PUSH2 0x060e
000001a9: JUMPI
000001aa: JUMPDEST
000001ab: PUSH5 0x02540be400
000001b1: GASPRICE
000001b2: GT
000001b3: ISZERO
000001b4: PUSH2 0x01bc
000001b7: JUMPI
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: PUSH2 0x01c7
000001c0: CALLVALUE
000001c1: PUSH1 0x00
000001c3: PUSH2 0x0621
000001c6: JUMP
000001c7: JUMPDEST
000001c8: POP
000001c9: STOP
000001ca: JUMPDEST
000001cb: CALLVALUE
000001cc: ISZERO
000001cd: PUSH2 0x01d5
000001d0: JUMPI
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: REVERT
000001d5: JUMPDEST
000001d6: PUSH2 0x01e9
000001d9: PUSH1 0x01
000001db: PUSH1 0xa0
000001dd: PUSH1 0x02
000001df: EXP
000001e0: SUB
000001e1: PUSH1 0x04
000001e3: CALLDATALOAD
000001e4: AND
000001e5: PUSH2 0x06e1
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH1 0x40
000001ec: MLOAD
000001ed: SWAP1
000001ee: DUP2
000001ef: MSTORE
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: PUSH1 0x40
000001f5: MLOAD
000001f6: DUP1
000001f7: SWAP2
000001f8: SUB
000001f9: SWAP1
000001fa: RETURN
000001fb: JUMPDEST
000001fc: CALLVALUE
000001fd: ISZERO
000001fe: PUSH2 0x0206
00000201: JUMPI
00000202: PUSH1 0x00
00000204: DUP1
00000205: REVERT
00000206: JUMPDEST
00000207: PUSH2 0x020e
0000020a: PUSH2 0x071c
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH1 0x40
00000211: MLOAD
00000212: PUSH1 0x20
00000214: DUP1
00000215: DUP3
00000216: MSTORE
00000217: DUP2
00000218: SWAP1
00000219: DUP2
0000021a: ADD
0000021b: DUP4
0000021c: DUP2
0000021d: DUP2
0000021e: MLOAD
0000021f: DUP2
00000220: MSTORE
00000221: PUSH1 0x20
00000223: ADD
00000224: SWAP2
00000225: POP
00000226: DUP1
00000227: MLOAD
00000228: SWAP1
00000229: PUSH1 0x20
0000022b: ADD
0000022c: SWAP1
0000022d: DUP1
0000022e: DUP4
0000022f: DUP4
00000230: PUSH1 0x00
00000232: JUMPDEST
00000233: DUP4
00000234: DUP2
00000235: LT
00000236: ISZERO
00000237: PUSH2 0x024a
0000023a: JUMPI
0000023b: DUP1
0000023c: DUP3
0000023d: ADD
0000023e: MLOAD
0000023f: DUP4
00000240: DUP3
00000241: ADD
00000242: MSTORE
00000243: PUSH1 0x20
00000245: ADD
00000246: PUSH2 0x0232
00000249: JUMP
0000024a: JUMPDEST
0000024b: POP
0000024c: POP
0000024d: POP
0000024e: POP
0000024f: SWAP1
00000250: POP
00000251: SWAP1
00000252: DUP2
00000253: ADD
00000254: SWAP1
00000255: PUSH1 0x1f
00000257: AND
00000258: DUP1
00000259: ISZERO
0000025a: PUSH2 0x0277
0000025d: JUMPI
0000025e: DUP1
0000025f: DUP3
00000260: SUB
00000261: DUP1
00000262: MLOAD
00000263: PUSH1 0x01
00000265: DUP4
00000266: PUSH1 0x20
00000268: SUB
00000269: PUSH2 0x0100
0000026c: EXP
0000026d: SUB
0000026e: NOT
0000026f: AND
00000270: DUP2
00000271: MSTORE
00000272: PUSH1 0x20
00000274: ADD
00000275: SWAP2
00000276: POP
00000277: JUMPDEST
00000278: POP
00000279: SWAP3
0000027a: POP
0000027b: POP
0000027c: POP
0000027d: PUSH1 0x40
0000027f: MLOAD
00000280: DUP1
00000281: SWAP2
00000282: SUB
00000283: SWAP1
00000284: RETURN
00000285: JUMPDEST
00000286: CALLVALUE
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: PUSH2 0x02a4
00000294: PUSH1 0x01
00000296: PUSH1 0xa0
00000298: PUSH1 0x02
0000029a: EXP
0000029b: SUB
0000029c: PUSH1 0x04
0000029e: CALLDATALOAD
0000029f: AND
000002a0: PUSH2 0x07ba
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH1 0x40
000002a7: MLOAD
000002a8: SWAP1
000002a9: ISZERO
000002aa: ISZERO
000002ab: DUP2
000002ac: MSTORE
000002ad: PUSH1 0x20
000002af: ADD
000002b0: PUSH1 0x40
000002b2: MLOAD
000002b3: DUP1
000002b4: SWAP2
000002b5: SUB
000002b6: SWAP1
000002b7: RETURN
000002b8: JUMPDEST
000002b9: CALLVALUE
000002ba: ISZERO
000002bb: PUSH2 0x02c3
000002be: JUMPI
000002bf: PUSH1 0x00
000002c1: DUP1
000002c2: REVERT
000002c3: JUMPDEST
000002c4: PUSH2 0x01e9
000002c7: PUSH1 0x04
000002c9: CALLDATALOAD
000002ca: PUSH2 0x07cf
000002cd: JUMP
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: ISZERO
000002d1: PUSH2 0x02d9
000002d4: JUMPI
000002d5: PUSH1 0x00
000002d7: DUP1
000002d8: REVERT
000002d9: JUMPDEST
000002da: PUSH2 0x01e9
000002dd: PUSH2 0x0824
000002e0: JUMP
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: PUSH2 0x01e9
000002f0: PUSH1 0x04
000002f2: CALLDATALOAD
000002f3: PUSH2 0x082b
000002f6: JUMP
000002f7: JUMPDEST
000002f8: CALLVALUE
000002f9: ISZERO
000002fa: PUSH2 0x0302
000002fd: JUMPI
000002fe: PUSH1 0x00
00000300: DUP1
00000301: REVERT
00000302: JUMPDEST
00000303: PUSH2 0x02a4
00000306: PUSH2 0x0882
00000309: JUMP
0000030a: JUMPDEST
0000030b: CALLVALUE
0000030c: ISZERO
0000030d: PUSH2 0x0315
00000310: JUMPI
00000311: PUSH1 0x00
00000313: DUP1
00000314: REVERT
00000315: JUMPDEST
00000316: PUSH2 0x032e
00000319: PUSH1 0x01
0000031b: PUSH1 0xa0
0000031d: PUSH1 0x02
0000031f: EXP
00000320: SUB
00000321: PUSH1 0x04
00000323: CALLDATALOAD
00000324: AND
00000325: PUSH1 0x24
00000327: CALLDATALOAD
00000328: ISZERO
00000329: ISZERO
0000032a: PUSH2 0x088b
0000032d: JUMP
0000032e: JUMPDEST
0000032f: STOP
00000330: JUMPDEST
00000331: CALLVALUE
00000332: ISZERO
00000333: PUSH2 0x033b
00000336: JUMPI
00000337: PUSH1 0x00
00000339: DUP1
0000033a: REVERT
0000033b: JUMPDEST
0000033c: PUSH2 0x0343
0000033f: PUSH2 0x08df
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH1 0x40
00000346: MLOAD
00000347: PUSH1 0xff
00000349: SWAP1
0000034a: SWAP2
0000034b: AND
0000034c: DUP2
0000034d: MSTORE
0000034e: PUSH1 0x20
00000350: ADD
00000351: PUSH1 0x40
00000353: MLOAD
00000354: DUP1
00000355: SWAP2
00000356: SUB
00000357: SWAP1
00000358: RETURN
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: ISZERO
0000035c: PUSH2 0x0364
0000035f: JUMPI
00000360: PUSH1 0x00
00000362: DUP1
00000363: REVERT
00000364: JUMPDEST
00000365: PUSH2 0x032e
00000368: PUSH2 0x08e4
0000036b: JUMP
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: ISZERO
0000036f: PUSH2 0x0377
00000372: JUMPI
00000373: PUSH1 0x00
00000375: DUP1
00000376: REVERT
00000377: JUMPDEST
00000378: PUSH2 0x02a4
0000037b: PUSH1 0x04
0000037d: DUP1
0000037e: CALLDATALOAD
0000037f: PUSH1 0x01
00000381: PUSH1 0xa0
00000383: PUSH1 0x02
00000385: EXP
00000386: SUB
00000387: AND
00000388: SWAP1
00000389: PUSH1 0x24
0000038b: DUP1
0000038c: CALLDATALOAD
0000038d: SWAP2
0000038e: PUSH1 0x44
00000390: CALLDATALOAD
00000391: SWAP2
00000392: DUP3
00000393: ADD
00000394: SWAP2
00000395: ADD
00000396: CALLDATALOAD
00000397: PUSH2 0x09b0
0000039a: JUMP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: PUSH2 0x01e9
000003aa: PUSH2 0x0adb
000003ad: JUMP
000003ae: JUMPDEST
000003af: CALLVALUE
000003b0: ISZERO
000003b1: PUSH2 0x03b9
000003b4: JUMPI
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: PUSH2 0x01e9
000003bd: PUSH2 0x0b48
000003c0: JUMP
000003c1: JUMPDEST
000003c2: CALLVALUE
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: PUSH2 0x03d4
000003d0: PUSH2 0x0b4e
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH1 0x40
000003d7: MLOAD
000003d8: PUSH1 0x01
000003da: PUSH1 0xa0
000003dc: PUSH1 0x02
000003de: EXP
000003df: SUB
000003e0: SWAP1
000003e1: SWAP2
000003e2: AND
000003e3: DUP2
000003e4: MSTORE
000003e5: PUSH1 0x20
000003e7: ADD
000003e8: PUSH1 0x40
000003ea: MLOAD
000003eb: DUP1
000003ec: SWAP2
000003ed: SUB
000003ee: SWAP1
000003ef: RETURN
000003f0: JUMPDEST
000003f1: CALLVALUE
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: PUSH2 0x01e9
000003ff: PUSH2 0x0b66
00000402: JUMP
00000403: JUMPDEST
00000404: CALLVALUE
00000405: ISZERO
00000406: PUSH2 0x040e
00000409: JUMPI
0000040a: PUSH1 0x00
0000040c: DUP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: PUSH2 0x01e9
00000412: PUSH1 0x04
00000414: CALLDATALOAD
00000415: ISZERO
00000416: ISZERO
00000417: PUSH2 0x0b7b
0000041a: JUMP
0000041b: JUMPDEST
0000041c: CALLVALUE
0000041d: ISZERO
0000041e: PUSH2 0x0426
00000421: JUMPI
00000422: PUSH1 0x00
00000424: DUP1
00000425: REVERT
00000426: JUMPDEST
00000427: PUSH2 0x01e9
0000042a: PUSH2 0x0bbe
0000042d: JUMP
0000042e: JUMPDEST
0000042f: CALLVALUE
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: PUSH2 0x01e9
0000043d: PUSH1 0x01
0000043f: PUSH1 0xa0
00000441: PUSH1 0x02
00000443: EXP
00000444: SUB
00000445: PUSH1 0x04
00000447: CALLDATALOAD
00000448: AND
00000449: PUSH2 0x0bcc
0000044c: JUMP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: PUSH2 0x02a4
0000045c: PUSH1 0x01
0000045e: PUSH1 0xa0
00000460: PUSH1 0x02
00000462: EXP
00000463: SUB
00000464: PUSH1 0x04
00000466: CALLDATALOAD
00000467: AND
00000468: PUSH2 0x0be7
0000046b: JUMP
0000046c: JUMPDEST
0000046d: CALLVALUE
0000046e: ISZERO
0000046f: PUSH2 0x0477
00000472: JUMPI
00000473: PUSH1 0x00
00000475: DUP1
00000476: REVERT
00000477: JUMPDEST
00000478: PUSH2 0x01e9
0000047b: PUSH2 0x0bfc
0000047e: JUMP
0000047f: JUMPDEST
00000480: CALLVALUE
00000481: ISZERO
00000482: PUSH2 0x048a
00000485: JUMPI
00000486: PUSH1 0x00
00000488: DUP1
00000489: REVERT
0000048a: JUMPDEST
0000048b: PUSH2 0x032e
0000048e: PUSH1 0x04
00000490: CALLDATALOAD
00000491: PUSH2 0x0c02
00000494: JUMP
00000495: JUMPDEST
00000496: CALLVALUE
00000497: ISZERO
00000498: PUSH2 0x04a0
0000049b: JUMPI
0000049c: PUSH1 0x00
0000049e: DUP1
0000049f: REVERT
000004a0: JUMPDEST
000004a1: PUSH2 0x01e9
000004a4: PUSH2 0x0c30
000004a7: JUMP
000004a8: JUMPDEST
000004a9: CALLVALUE
000004aa: ISZERO
000004ab: PUSH2 0x04b3
000004ae: JUMPI
000004af: PUSH1 0x00
000004b1: DUP1
000004b2: REVERT
000004b3: JUMPDEST
000004b4: PUSH2 0x032e
000004b7: PUSH1 0x01
000004b9: PUSH1 0xa0
000004bb: PUSH1 0x02
000004bd: EXP
000004be: SUB
000004bf: PUSH1 0x04
000004c1: CALLDATALOAD
000004c2: AND
000004c3: PUSH1 0x24
000004c5: CALLDATALOAD
000004c6: ISZERO
000004c7: ISZERO
000004c8: PUSH2 0x0c96
000004cb: JUMP
000004cc: JUMPDEST
000004cd: PUSH2 0x032e
000004d0: PUSH2 0x0cea
000004d3: JUMP
000004d4: JUMPDEST
000004d5: CALLVALUE
000004d6: ISZERO
000004d7: PUSH2 0x04df
000004da: JUMPI
000004db: PUSH1 0x00
000004dd: DUP1
000004de: REVERT
000004df: JUMPDEST
000004e0: PUSH2 0x01e9
000004e3: PUSH2 0x0d60
000004e6: JUMP
000004e7: JUMPDEST
000004e8: CALLVALUE
000004e9: ISZERO
000004ea: PUSH2 0x04f2
000004ed: JUMPI
000004ee: PUSH1 0x00
000004f0: DUP1
000004f1: REVERT
000004f2: JUMPDEST
000004f3: PUSH2 0x020e
000004f6: PUSH2 0x0d73
000004f9: JUMP
000004fa: JUMPDEST
000004fb: CALLVALUE
000004fc: ISZERO
000004fd: PUSH2 0x0505
00000500: JUMPI
00000501: PUSH1 0x00
00000503: DUP1
00000504: REVERT
00000505: JUMPDEST
00000506: PUSH2 0x01e9
00000509: PUSH2 0x0dde
0000050c: JUMP
0000050d: JUMPDEST
0000050e: CALLVALUE
0000050f: ISZERO
00000510: PUSH2 0x0518
00000513: JUMPI
00000514: PUSH1 0x00
00000516: DUP1
00000517: REVERT
00000518: JUMPDEST
00000519: PUSH2 0x02a4
0000051c: PUSH1 0x01
0000051e: PUSH1 0xa0
00000520: PUSH1 0x02
00000522: EXP
00000523: SUB
00000524: PUSH1 0x04
00000526: CALLDATALOAD
00000527: AND
00000528: PUSH1 0x24
0000052a: CALLDATALOAD
0000052b: PUSH2 0x0de4
0000052e: JUMP
0000052f: JUMPDEST
00000530: CALLVALUE
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: PUSH2 0x032e
0000053e: PUSH1 0x04
00000540: PUSH1 0x24
00000542: DUP2
00000543: CALLDATALOAD
00000544: DUP2
00000545: DUP2
00000546: ADD
00000547: SWAP1
00000548: DUP4
00000549: ADD
0000054a: CALLDATALOAD
0000054b: DUP1
0000054c: PUSH1 0x20
0000054e: PUSH1 0x1f
00000550: DUP3
00000551: ADD
00000552: DUP2
00000553: SWAP1
00000554: DIV
00000555: DUP2
00000556: MUL
00000557: ADD
00000558: PUSH1 0x40
0000055a: MLOAD
0000055b: SWAP1
0000055c: DUP2
0000055d: ADD
0000055e: PUSH1 0x40
00000560: MSTORE
00000561: DUP2
00000562: DUP2
00000563: MSTORE
00000564: SWAP3
00000565: SWAP2
00000566: SWAP1
00000567: PUSH1 0x20
00000569: DUP5
0000056a: ADD
0000056b: DUP4
0000056c: DUP4
0000056d: DUP1
0000056e: DUP3
0000056f: DUP5
00000570: CALLDATACOPY
00000571: POP
00000572: SWAP5
00000573: SWAP7
00000574: POP
00000575: PUSH2 0x0f1e
00000578: SWAP6
00000579: POP
0000057a: POP
0000057b: POP
0000057c: POP
0000057d: POP
0000057e: POP
0000057f: JUMP
00000580: JUMPDEST
00000581: CALLVALUE
00000582: ISZERO
00000583: PUSH2 0x058b
00000586: JUMPI
00000587: PUSH1 0x00
00000589: DUP1
0000058a: REVERT
0000058b: JUMPDEST
0000058c: PUSH2 0x032e
0000058f: PUSH1 0x04
00000591: PUSH1 0x24
00000593: DUP2
00000594: CALLDATALOAD
00000595: DUP2
00000596: DUP2
00000597: ADD
00000598: SWAP1
00000599: DUP4
0000059a: ADD
0000059b: CALLDATALOAD
0000059c: DUP1
0000059d: PUSH1 0x20
0000059f: PUSH1 0x1f
000005a1: DUP3
000005a2: ADD
000005a3: DUP2
000005a4: SWAP1
000005a5: DIV
000005a6: DUP2
000005a7: MUL
000005a8: ADD
000005a9: PUSH1 0x40
000005ab: MLOAD
000005ac: SWAP1
000005ad: DUP2
000005ae: ADD
000005af: PUSH1 0x40
000005b1: MSTORE
000005b2: DUP2
000005b3: DUP2
000005b4: MSTORE
000005b5: SWAP3
000005b6: SWAP2
000005b7: SWAP1
000005b8: PUSH1 0x20
000005ba: DUP5
000005bb: ADD
000005bc: DUP4
000005bd: DUP4
000005be: DUP1
000005bf: DUP3
000005c0: DUP5
000005c1: CALLDATACOPY
000005c2: POP
000005c3: SWAP5
000005c4: SWAP7
000005c5: POP
000005c6: PUSH2 0x0f5e
000005c9: SWAP6
000005ca: POP
000005cb: POP
000005cc: POP
000005cd: POP
000005ce: POP
000005cf: POP
000005d0: JUMP
000005d1: JUMPDEST
000005d2: CALLVALUE
000005d3: ISZERO
000005d4: PUSH2 0x05dc
000005d7: JUMPI
000005d8: PUSH1 0x00
000005da: DUP1
000005db: REVERT
000005dc: JUMPDEST
000005dd: PUSH2 0x032e
000005e0: PUSH1 0x04
000005e2: CALLDATALOAD
000005e3: PUSH2 0x0f99
000005e6: JUMP
000005e7: JUMPDEST
000005e8: CALLVALUE
000005e9: ISZERO
000005ea: PUSH2 0x05f2
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: DUP1
000005f1: REVERT
000005f2: JUMPDEST
000005f3: PUSH2 0x032e
000005f6: PUSH2 0x1124
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH2 0x01e9
000005fe: PUSH1 0x01
00000600: PUSH1 0xa0
00000602: PUSH1 0x02
00000604: EXP
00000605: SUB
00000606: PUSH1 0x04
00000608: CALLDATALOAD
00000609: AND
0000060a: PUSH2 0x115b
0000060d: JUMP
0000060e: JUMPDEST
0000060f: CALLVALUE
00000610: ISZERO
00000611: PUSH2 0x0619
00000614: JUMPI
00000615: PUSH1 0x00
00000617: DUP1
00000618: REVERT
00000619: JUMPDEST
0000061a: PUSH2 0x032e
0000061d: PUSH2 0x1179
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH1 0x00
00000624: DUP1
00000625: PUSH1 0x00
00000627: ORIGIN
00000628: PUSH1 0x01
0000062a: PUSH1 0xa0
0000062c: PUSH1 0x02
0000062e: EXP
0000062f: SUB
00000630: AND
00000631: CALLER
00000632: PUSH1 0x01
00000634: PUSH1 0xa0
00000636: PUSH1 0x02
00000638: EXP
00000639: SUB
0000063a: AND
0000063b: EQ
0000063c: ISZERO
0000063d: ISZERO
0000063e: PUSH2 0x0646
00000641: JUMPI
00000642: PUSH1 0x00
00000644: DUP1
00000645: REVERT
00000646: JUMPDEST
00000647: DUP5
00000648: SWAP2
00000649: POP
0000064a: PUSH8 0x1bc16d674ec80000
00000653: DUP3
00000654: GT
00000655: ISZERO
00000656: PUSH2 0x0694
00000659: JUMPI
0000065a: PUSH9 0x0ad78ebc5ac6200000
00000664: PUSH2 0x0677
00000667: ADDRESS
00000668: PUSH1 0x01
0000066a: PUSH1 0xa0
0000066c: PUSH1 0x02
0000066e: EXP
0000066f: SUB
00000670: AND
00000671: BALANCE
00000672: DUP5
00000673: PUSH2 0x1234
00000676: JUMP
00000677: JUMPDEST
00000678: GT
00000679: PUSH2 0x0694
0000067c: JUMPI
0000067d: PUSH8 0x1bc16d674ec80000
00000686: SWAP2
00000687: POP
00000688: PUSH2 0x0691
0000068b: DUP6
0000068c: DUP4
0000068d: PUSH2 0x1234
00000690: JUMP
00000691: JUMPDEST
00000692: SWAP1
00000693: POP
00000694: JUMPDEST
00000695: PUSH2 0x069e
00000698: DUP3
00000699: DUP6
0000069a: PUSH2 0x1246
0000069d: JUMP
0000069e: JUMPDEST
0000069f: POP
000006a0: PUSH1 0x00
000006a2: DUP2
000006a3: GT
000006a4: ISZERO
000006a5: PUSH2 0x06d9
000006a8: JUMPI
000006a9: PUSH1 0x01
000006ab: PUSH1 0xa0
000006ad: PUSH1 0x02
000006af: EXP
000006b0: SUB
000006b1: CALLER
000006b2: AND
000006b3: DUP2
000006b4: ISZERO
000006b5: PUSH2 0x08fc
000006b8: MUL
000006b9: DUP3
000006ba: PUSH1 0x40
000006bc: MLOAD
000006bd: PUSH1 0x00
000006bf: PUSH1 0x40
000006c1: MLOAD
000006c2: DUP1
000006c3: DUP4
000006c4: SUB
000006c5: DUP2
000006c6: DUP6
000006c7: DUP9
000006c8: DUP9
000006c9: CALL
000006ca: SWAP4
000006cb: POP
000006cc: POP
000006cd: POP
000006ce: POP
000006cf: ISZERO
000006d0: ISZERO
000006d1: PUSH2 0x06d9
000006d4: JUMPI
000006d5: PUSH1 0x00
000006d7: DUP1
000006d8: REVERT
000006d9: JUMPDEST
000006da: POP
000006db: POP
000006dc: SWAP3
000006dd: SWAP2
000006de: POP
000006df: POP
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH1 0x01
000006e4: PUSH1 0xa0
000006e6: PUSH1 0x02
000006e8: EXP
000006e9: SUB
000006ea: AND
000006eb: PUSH1 0x00
000006ed: SWAP1
000006ee: DUP2
000006ef: MSTORE
000006f0: PUSH1 0x09
000006f2: PUSH1 0x20
000006f4: SWAP1
000006f5: DUP2
000006f6: MSTORE
000006f7: PUSH1 0x40
000006f9: DUP1
000006fa: DUP4
000006fb: KECCAK256
000006fc: SLOAD
000006fd: PUSH1 0x07
000006ff: SWAP1
00000700: SWAP3
00000701: MSTORE
00000702: SWAP1
00000703: SWAP2
00000704: KECCAK256
00000705: SLOAD
00000706: PUSH1 0x0c
00000708: SLOAD
00000709: PUSH9 0x010000000000000000
00000713: SWAP2
00000714: MUL
00000715: SWAP2
00000716: SWAP1
00000717: SWAP2
00000718: SUB
00000719: DIV
0000071a: SWAP1
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH1 0x01
0000071f: DUP1
00000720: SLOAD
00000721: PUSH1 0x01
00000723: DUP2
00000724: PUSH1 0x01
00000726: AND
00000727: ISZERO
00000728: PUSH2 0x0100
0000072b: MUL
0000072c: SUB
0000072d: AND
0000072e: PUSH1 0x02
00000730: SWAP1
00000731: DIV
00000732: DUP1
00000733: PUSH1 0x1f
00000735: ADD
00000736: PUSH1 0x20
00000738: DUP1
00000739: SWAP2
0000073a: DIV
0000073b: MUL
0000073c: PUSH1 0x20
0000073e: ADD
0000073f: PUSH1 0x40
00000741: MLOAD
00000742: SWAP1
00000743: DUP2
00000744: ADD
00000745: PUSH1 0x40
00000747: MSTORE
00000748: DUP1
00000749: SWAP3
0000074a: SWAP2
0000074b: SWAP1
0000074c: DUP2
0000074d: DUP2
0000074e: MSTORE
0000074f: PUSH1 0x20
00000751: ADD
00000752: DUP3
00000753: DUP1
00000754: SLOAD
00000755: PUSH1 0x01
00000757: DUP2
00000758: PUSH1 0x01
0000075a: AND
0000075b: ISZERO
0000075c: PUSH2 0x0100
0000075f: MUL
00000760: SUB
00000761: AND
00000762: PUSH1 0x02
00000764: SWAP1
00000765: DIV
00000766: DUP1
00000767: ISZERO
00000768: PUSH2 0x07b2
0000076b: JUMPI
0000076c: DUP1
0000076d: PUSH1 0x1f
0000076f: LT
00000770: PUSH2 0x0787
00000773: JUMPI
00000774: PUSH2 0x0100
00000777: DUP1
00000778: DUP4
00000779: SLOAD
0000077a: DIV
0000077b: MUL
0000077c: DUP4
0000077d: MSTORE
0000077e: SWAP2
0000077f: PUSH1 0x20
00000781: ADD
00000782: SWAP2
00000783: PUSH2 0x07b2
00000786: JUMP
00000787: JUMPDEST
00000788: DUP3
00000789: ADD
0000078a: SWAP2
0000078b: SWAP1
0000078c: PUSH1 0x00
0000078e: MSTORE
0000078f: PUSH1 0x20
00000791: PUSH1 0x00
00000793: KECCAK256
00000794: SWAP1
00000795: JUMPDEST
00000796: DUP2
00000797: SLOAD
00000798: DUP2
00000799: MSTORE
0000079a: SWAP1
0000079b: PUSH1 0x01
0000079d: ADD
0000079e: SWAP1
0000079f: PUSH1 0x20
000007a1: ADD
000007a2: DUP1
000007a3: DUP4
000007a4: GT
000007a5: PUSH2 0x0795
000007a8: JUMPI
000007a9: DUP3
000007aa: SWAP1
000007ab: SUB
000007ac: PUSH1 0x1f
000007ae: AND
000007af: DUP3
000007b0: ADD
000007b1: SWAP2
000007b2: JUMPDEST
000007b3: POP
000007b4: POP
000007b5: POP
000007b6: POP
000007b7: POP
000007b8: DUP2
000007b9: JUMP
000007ba: JUMPDEST
000007bb: PUSH1 0x0f
000007bd: PUSH1 0x20
000007bf: MSTORE
000007c0: PUSH1 0x00
000007c2: SWAP1
000007c3: DUP2
000007c4: MSTORE
000007c5: PUSH1 0x40
000007c7: SWAP1
000007c8: KECCAK256
000007c9: SLOAD
000007ca: PUSH1 0xff
000007cc: AND
000007cd: DUP2
000007ce: JUMP
000007cf: JUMPDEST
000007d0: PUSH1 0x00
000007d2: DUP1
000007d3: DUP1
000007d4: DUP1
000007d5: DUP1
000007d6: PUSH2 0x07ea
000007d9: PUSH2 0x07e3
000007dc: DUP8
000007dd: PUSH1 0x14
000007df: PUSH2 0x1867
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH1 0x64
000007e6: PUSH2 0x1899
000007e9: JUMP
000007ea: JUMPDEST
000007eb: SWAP4
000007ec: POP
000007ed: PUSH2 0x07fa
000007f0: PUSH2 0x07e3
000007f3: DUP8
000007f4: PUSH1 0x05
000007f6: PUSH2 0x1867
000007f9: JUMP
000007fa: JUMPDEST
000007fb: SWAP3
000007fc: POP
000007fd: PUSH2 0x080f
00000800: PUSH2 0x0809
00000803: DUP8
00000804: DUP7
00000805: PUSH2 0x1234
00000808: JUMP
00000809: JUMPDEST
0000080a: DUP5
0000080b: PUSH2 0x1234
0000080e: JUMP
0000080f: JUMPDEST
00000810: SWAP2
00000811: POP
00000812: PUSH2 0x081a
00000815: DUP3
00000816: PUSH2 0x18b0
00000819: JUMP
0000081a: JUMPDEST
0000081b: SWAP7
0000081c: SWAP6
0000081d: POP
0000081e: POP
0000081f: POP
00000820: POP
00000821: POP
00000822: POP
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH1 0x0b
00000827: SLOAD
00000828: JUMPDEST
00000829: SWAP1
0000082a: JUMP
0000082b: JUMPDEST
0000082c: PUSH1 0x00
0000082e: DUP1
0000082f: PUSH1 0x00
00000831: DUP1
00000832: PUSH1 0x00
00000834: PUSH1 0x0b
00000836: SLOAD
00000837: DUP7
00000838: GT
00000839: ISZERO
0000083a: ISZERO
0000083b: ISZERO
0000083c: PUSH2 0x0844
0000083f: JUMPI
00000840: PUSH1 0x00
00000842: DUP1
00000843: REVERT
00000844: JUMPDEST
00000845: PUSH2 0x084d
00000848: DUP7
00000849: PUSH2 0x1942
0000084c: JUMP
0000084d: JUMPDEST
0000084e: SWAP4
0000084f: POP
00000850: PUSH2 0x085d
00000853: PUSH2 0x07e3
00000856: DUP6
00000857: PUSH1 0x14
00000859: PUSH2 0x1867
0000085c: JUMP
0000085d: JUMPDEST
0000085e: SWAP3
0000085f: POP
00000860: PUSH2 0x086d
00000863: PUSH2 0x07e3
00000866: DUP6
00000867: PUSH1 0x05
00000869: PUSH2 0x1867
0000086c: JUMP
0000086d: JUMPDEST
0000086e: SWAP2
0000086f: POP
00000870: PUSH2 0x081a
00000873: PUSH2 0x087c
00000876: DUP6
00000877: DUP6
00000878: PUSH2 0x1234
0000087b: JUMP
0000087c: JUMPDEST
0000087d: DUP4
0000087e: PUSH2 0x1234
00000881: JUMP
00000882: JUMPDEST
00000883: PUSH1 0x0e
00000885: SLOAD
00000886: PUSH1 0xff
00000888: AND
00000889: DUP2
0000088a: JUMP
0000088b: JUMPDEST
0000088c: CALLER
0000088d: PUSH1 0x01
0000088f: PUSH1 0xa0
00000891: PUSH1 0x02
00000893: EXP
00000894: SUB
00000895: DUP2
00000896: AND
00000897: PUSH1 0x00
00000899: SWAP1
0000089a: DUP2
0000089b: MSTORE
0000089c: PUSH1 0x0d
0000089e: PUSH1 0x20
000008a0: MSTORE
000008a1: PUSH1 0x40
000008a3: SWAP1
000008a4: KECCAK256
000008a5: SLOAD
000008a6: PUSH1 0xff
000008a8: AND
000008a9: ISZERO
000008aa: ISZERO
000008ab: PUSH2 0x08b3
000008ae: JUMPI
000008af: PUSH1 0x00
000008b1: DUP1
000008b2: REVERT
000008b3: JUMPDEST
000008b4: POP
000008b5: PUSH1 0x01
000008b7: PUSH1 0xa0
000008b9: PUSH1 0x02
000008bb: EXP
000008bc: SUB
000008bd: SWAP2
000008be: SWAP1
000008bf: SWAP2
000008c0: AND
000008c1: PUSH1 0x00
000008c3: SWAP1
000008c4: DUP2
000008c5: MSTORE
000008c6: PUSH1 0x0f
000008c8: PUSH1 0x20
000008ca: MSTORE
000008cb: PUSH1 0x40
000008cd: SWAP1
000008ce: KECCAK256
000008cf: DUP1
000008d0: SLOAD
000008d1: PUSH1 0xff
000008d3: NOT
000008d4: AND
000008d5: SWAP2
000008d6: ISZERO
000008d7: ISZERO
000008d8: SWAP2
000008d9: SWAP1
000008da: SWAP2
000008db: OR
000008dc: SWAP1
000008dd: SSTORE
000008de: JUMP
000008df: JUMPDEST
000008e0: PUSH1 0x12
000008e2: DUP2
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH1 0x00
000008e7: DUP1
000008e8: PUSH1 0x00
000008ea: PUSH2 0x08f3
000008ed: PUSH1 0x01
000008ef: PUSH2 0x0b7b
000008f2: JUMP
000008f3: JUMPDEST
000008f4: GT
000008f5: PUSH2 0x08fd
000008f8: JUMPI
000008f9: PUSH1 0x00
000008fb: DUP1
000008fc: REVERT
000008fd: JUMPDEST
000008fe: CALLER
000008ff: SWAP2
00000900: POP
00000901: PUSH2 0x090a
00000904: PUSH1 0x00
00000906: PUSH2 0x0b7b
00000909: JUMP
0000090a: JUMPDEST
0000090b: PUSH1 0x01
0000090d: PUSH1 0xa0
0000090f: PUSH1 0x02
00000911: EXP
00000912: SUB
00000913: DUP4
00000914: AND
00000915: PUSH1 0x00
00000917: DUP2
00000918: DUP2
00000919: MSTORE
0000091a: PUSH1 0x09
0000091c: PUSH1 0x20
0000091e: SWAP1
0000091f: DUP2
00000920: MSTORE
00000921: PUSH1 0x40
00000923: DUP1
00000924: DUP4
00000925: KECCAK256
00000926: DUP1
00000927: SLOAD
00000928: PUSH9 0x010000000000000000
00000932: DUP8
00000933: MUL
00000934: ADD
00000935: SWAP1
00000936: SSTORE
00000937: PUSH1 0x08
00000939: SWAP1
0000093a: SWAP2
0000093b: MSTORE
0000093c: DUP1
0000093d: DUP3
0000093e: KECCAK256
0000093f: DUP1
00000940: SLOAD
00000941: SWAP3
00000942: SWAP1
00000943: SSTORE
00000944: SWAP3
00000945: ADD
00000946: SWAP3
00000947: POP
00000948: SWAP1
00000949: DUP3
0000094a: ISZERO
0000094b: PUSH2 0x08fc
0000094e: MUL
0000094f: SWAP1
00000950: DUP4
00000951: SWAP1
00000952: MLOAD
00000953: PUSH1 0x00
00000955: PUSH1 0x40
00000957: MLOAD
00000958: DUP1
00000959: DUP4
0000095a: SUB
0000095b: DUP2
0000095c: DUP6
0000095d: DUP9
0000095e: DUP9
0000095f: CALL
00000960: SWAP4
00000961: POP
00000962: POP
00000963: POP
00000964: POP
00000965: ISZERO
00000966: ISZERO
00000967: PUSH2 0x096f
0000096a: JUMPI
0000096b: PUSH1 0x00
0000096d: DUP1
0000096e: REVERT
0000096f: JUMPDEST
00000970: DUP2
00000971: PUSH1 0x01
00000973: PUSH1 0xa0
00000975: PUSH1 0x02
00000977: EXP
00000978: SUB
00000979: AND
0000097a: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
0000099b: DUP3
0000099c: PUSH1 0x40
0000099e: MLOAD
0000099f: SWAP1
000009a0: DUP2
000009a1: MSTORE
000009a2: PUSH1 0x20
000009a4: ADD
000009a5: PUSH1 0x40
000009a7: MLOAD
000009a8: DUP1
000009a9: SWAP2
000009aa: SUB
000009ab: SWAP1
000009ac: LOG2
000009ad: POP
000009ae: POP
000009af: JUMP
000009b0: JUMPDEST
000009b1: PUSH1 0x00
000009b3: DUP1
000009b4: PUSH1 0x01
000009b6: PUSH1 0xa0
000009b8: PUSH1 0x02
000009ba: EXP
000009bb: SUB
000009bc: DUP7
000009bd: AND
000009be: ISZERO
000009bf: ISZERO
000009c0: PUSH2 0x09c8
000009c3: JUMPI
000009c4: PUSH1 0x00
000009c6: DUP1
000009c7: REVERT
000009c8: JUMPDEST
000009c9: PUSH1 0x01
000009cb: PUSH1 0xa0
000009cd: PUSH1 0x02
000009cf: EXP
000009d0: SUB
000009d1: DUP7
000009d2: AND
000009d3: PUSH1 0x00
000009d5: SWAP1
000009d6: DUP2
000009d7: MSTORE
000009d8: PUSH1 0x0f
000009da: PUSH1 0x20
000009dc: MSTORE
000009dd: PUSH1 0x40
000009df: SWAP1
000009e0: KECCAK256
000009e1: SLOAD
000009e2: PUSH1 0xff
000009e4: AND
000009e5: ISZERO
000009e6: ISZERO
000009e7: PUSH1 0x01
000009e9: EQ
000009ea: PUSH2 0x09f2
000009ed: JUMPI
000009ee: PUSH1 0x00
000009f0: DUP1
000009f1: REVERT
000009f2: JUMPDEST
000009f3: PUSH2 0x09fc
000009f6: DUP7
000009f7: DUP7
000009f8: PUSH2 0x0de4
000009fb: JUMP
000009fc: JUMPDEST
000009fd: ISZERO
000009fe: ISZERO
000009ff: PUSH2 0x0a07
00000a02: JUMPI
00000a03: PUSH1 0x00
00000a05: DUP1
00000a06: REVERT
00000a07: JUMPDEST
00000a08: PUSH2 0x0a10
00000a0b: DUP7
00000a0c: PUSH2 0x19ac
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: ISZERO
00000a12: PUSH2 0x0acf
00000a15: JUMPI
00000a16: POP
00000a17: DUP5
00000a18: PUSH1 0x01
00000a1a: PUSH1 0xa0
00000a1c: PUSH1 0x02
00000a1e: EXP
00000a1f: SUB
00000a20: DUP2
00000a21: AND
00000a22: PUSH4 0xc0ee0b8a
00000a27: CALLER
00000a28: DUP8
00000a29: DUP8
00000a2a: DUP8
00000a2b: PUSH1 0x40
00000a2d: MLOAD
00000a2e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000a4c: PUSH4 0xffffffff
00000a51: DUP8
00000a52: AND
00000a53: MUL
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x01
00000a58: PUSH1 0xa0
00000a5a: PUSH1 0x02
00000a5c: EXP
00000a5d: SUB
00000a5e: DUP6
00000a5f: AND
00000a60: PUSH1 0x04
00000a62: DUP3
00000a63: ADD
00000a64: SWAP1
00000a65: DUP2
00000a66: MSTORE
00000a67: PUSH1 0x24
00000a69: DUP3
00000a6a: ADD
00000a6b: DUP6
00000a6c: SWAP1
00000a6d: MSTORE
00000a6e: PUSH1 0x60
00000a70: PUSH1 0x44
00000a72: DUP4
00000a73: ADD
00000a74: SWAP1
00000a75: DUP2
00000a76: MSTORE
00000a77: PUSH1 0x64
00000a79: DUP4
00000a7a: ADD
00000a7b: DUP5
00000a7c: SWAP1
00000a7d: MSTORE
00000a7e: SWAP1
00000a7f: SWAP2
00000a80: PUSH1 0x84
00000a82: ADD
00000a83: DUP5
00000a84: DUP5
00000a85: DUP1
00000a86: DUP3
00000a87: DUP5
00000a88: CALLDATACOPY
00000a89: DUP3
00000a8a: ADD
00000a8b: SWAP2
00000a8c: POP
00000a8d: POP
00000a8e: SWAP6
00000a8f: POP
00000a90: POP
00000a91: POP
00000a92: POP
00000a93: POP
00000a94: POP
00000a95: PUSH1 0x20
00000a97: PUSH1 0x40
00000a99: MLOAD
00000a9a: DUP1
00000a9b: DUP4
00000a9c: SUB
00000a9d: DUP2
00000a9e: PUSH1 0x00
00000aa0: DUP8
00000aa1: DUP1
00000aa2: EXTCODESIZE
00000aa3: ISZERO
00000aa4: ISZERO
00000aa5: PUSH2 0x0aad
00000aa8: JUMPI
00000aa9: PUSH1 0x00
00000aab: DUP1
00000aac: REVERT
00000aad: JUMPDEST
00000aae: GAS
00000aaf: CALL
00000ab0: ISZERO
00000ab1: ISZERO
00000ab2: PUSH2 0x0aba
00000ab5: JUMPI
00000ab6: PUSH1 0x00
00000ab8: DUP1
00000ab9: REVERT
00000aba: JUMPDEST
00000abb: POP
00000abc: POP
00000abd: POP
00000abe: PUSH1 0x40
00000ac0: MLOAD
00000ac1: DUP1
00000ac2: MLOAD
00000ac3: SWAP1
00000ac4: POP
00000ac5: ISZERO
00000ac6: ISZERO
00000ac7: PUSH2 0x0acf
00000aca: JUMPI
00000acb: PUSH1 0x00
00000acd: DUP1
00000ace: REVERT
00000acf: JUMPDEST
00000ad0: POP
00000ad1: PUSH1 0x01
00000ad3: SWAP6
00000ad4: SWAP5
00000ad5: POP
00000ad6: POP
00000ad7: POP
00000ad8: POP
00000ad9: POP
00000ada: JUMP
00000adb: JUMPDEST
00000adc: PUSH1 0x00
00000ade: DUP1
00000adf: PUSH1 0x00
00000ae1: DUP1
00000ae2: PUSH1 0x00
00000ae4: PUSH1 0x0b
00000ae6: SLOAD
00000ae7: PUSH1 0x00
00000ae9: EQ
00000aea: ISZERO
00000aeb: PUSH2 0x0afb
00000aee: JUMPI
00000aef: PUSH5 0x0218711a00
00000af5: SWAP5
00000af6: POP
00000af7: PUSH2 0x0b41
00000afa: JUMP
00000afb: JUMPDEST
00000afc: PUSH2 0x0b0c
00000aff: PUSH8 0x0de0b6b3a7640000
00000b08: PUSH2 0x1942
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: SWAP4
00000b0e: POP
00000b0f: PUSH2 0x0b1c
00000b12: PUSH2 0x07e3
00000b15: DUP6
00000b16: PUSH1 0x14
00000b18: PUSH2 0x1867
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: SWAP3
00000b1e: POP
00000b1f: PUSH2 0x0b2c
00000b22: PUSH2 0x07e3
00000b25: DUP6
00000b26: PUSH1 0x05
00000b28: PUSH2 0x1867
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: SWAP2
00000b2e: POP
00000b2f: PUSH2 0x0b3b
00000b32: PUSH2 0x087c
00000b35: DUP6
00000b36: DUP6
00000b37: PUSH2 0x1234
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: SWAP1
00000b3d: POP
00000b3e: DUP1
00000b3f: SWAP5
00000b40: POP
00000b41: JUMPDEST
00000b42: POP
00000b43: POP
00000b44: POP
00000b45: POP
00000b46: SWAP1
00000b47: JUMP
00000b48: JUMPDEST
00000b49: PUSH1 0x05
00000b4b: SLOAD
00000b4c: DUP2
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: PUSH20 0xd9092d94f74e6b5d408dbd3ecc88f3e5810d1e98
00000b64: DUP2
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x00
00000b69: PUSH2 0x0b76
00000b6c: PUSH1 0x04
00000b6e: SLOAD
00000b6f: PUSH1 0x03
00000b71: SLOAD
00000b72: PUSH2 0x1234
00000b75: JUMP
00000b76: JUMPDEST
00000b77: SWAP1
00000b78: POP
00000b79: SWAP1
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: PUSH1 0x00
00000b7e: CALLER
00000b7f: DUP3
00000b80: PUSH2 0x0b91
00000b83: JUMPI
00000b84: PUSH2 0x0b8c
00000b87: DUP2
00000b88: PUSH2 0x06e1
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: PUSH2 0x0bb5
00000b90: JUMP
00000b91: JUMPDEST
00000b92: PUSH1 0x01
00000b94: PUSH1 0xa0
00000b96: PUSH1 0x02
00000b98: EXP
00000b99: SUB
00000b9a: DUP2
00000b9b: AND
00000b9c: PUSH1 0x00
00000b9e: SWAP1
00000b9f: DUP2
00000ba0: MSTORE
00000ba1: PUSH1 0x08
00000ba3: PUSH1 0x20
00000ba5: MSTORE
00000ba6: PUSH1 0x40
00000ba8: SWAP1
00000ba9: KECCAK256
00000baa: SLOAD
00000bab: PUSH2 0x0bb3
00000bae: DUP3
00000baf: PUSH2 0x06e1
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: ADD
00000bb5: JUMPDEST
00000bb6: SWAP2
00000bb7: POP
00000bb8: JUMPDEST
00000bb9: POP
00000bba: SWAP2
00000bbb: SWAP1
00000bbc: POP
00000bbd: JUMP
00000bbe: JUMPDEST
00000bbf: PUSH1 0x01
00000bc1: PUSH1 0xa0
00000bc3: PUSH1 0x02
00000bc5: EXP
00000bc6: SUB
00000bc7: ADDRESS
00000bc8: AND
00000bc9: BALANCE
00000bca: SWAP1
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: PUSH1 0x01
00000bcf: PUSH1 0xa0
00000bd1: PUSH1 0x02
00000bd3: EXP
00000bd4: SUB
00000bd5: AND
00000bd6: PUSH1 0x00
00000bd8: SWAP1
00000bd9: DUP2
00000bda: MSTORE
00000bdb: PUSH1 0x07
00000bdd: PUSH1 0x20
00000bdf: MSTORE
00000be0: PUSH1 0x40
00000be2: SWAP1
00000be3: KECCAK256
00000be4: SLOAD
00000be5: SWAP1
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH1 0x0d
00000bea: PUSH1 0x20
00000bec: MSTORE
00000bed: PUSH1 0x00
00000bef: SWAP1
00000bf0: DUP2
00000bf1: MSTORE
00000bf2: PUSH1 0x40
00000bf4: SWAP1
00000bf5: KECCAK256
00000bf6: SLOAD
00000bf7: PUSH1 0xff
00000bf9: AND
00000bfa: DUP2
00000bfb: JUMP
00000bfc: JUMPDEST
00000bfd: PUSH1 0x04
00000bff: SLOAD
00000c00: DUP2
00000c01: JUMP
00000c02: JUMPDEST
00000c03: CALLER
00000c04: PUSH1 0x01
00000c06: PUSH1 0xa0
00000c08: PUSH1 0x02
00000c0a: EXP
00000c0b: SUB
00000c0c: DUP2
00000c0d: AND
00000c0e: PUSH1 0x00
00000c10: SWAP1
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x0d
00000c15: PUSH1 0x20
00000c17: MSTORE
00000c18: PUSH1 0x40
00000c1a: SWAP1
00000c1b: KECCAK256
00000c1c: SLOAD
00000c1d: PUSH1 0xff
00000c1f: AND
00000c20: ISZERO
00000c21: ISZERO
00000c22: PUSH2 0x0c2a
00000c25: JUMPI
00000c26: PUSH1 0x00
00000c28: DUP1
00000c29: REVERT
00000c2a: JUMPDEST
00000c2b: POP
00000c2c: PUSH1 0x05
00000c2e: SSTORE
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: PUSH1 0x00
00000c33: DUP1
00000c34: PUSH1 0x00
00000c36: DUP1
00000c37: PUSH1 0x00
00000c39: PUSH1 0x0b
00000c3b: SLOAD
00000c3c: PUSH1 0x00
00000c3e: EQ
00000c3f: ISZERO
00000c40: PUSH2 0x0c50
00000c43: JUMPI
00000c44: PUSH5 0x028fa6ae00
00000c4a: SWAP5
00000c4b: POP
00000c4c: PUSH2 0x0b41
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH2 0x0c61
00000c54: PUSH8 0x0de0b6b3a7640000
00000c5d: PUSH2 0x1942
00000c60: JUMP
00000c61: JUMPDEST
00000c62: SWAP4
00000c63: POP
00000c64: PUSH2 0x0c71
00000c67: PUSH2 0x07e3
00000c6a: DUP6
00000c6b: PUSH1 0x14
00000c6d: PUSH2 0x1867
00000c70: JUMP
00000c71: JUMPDEST
00000c72: SWAP3
00000c73: POP
00000c74: PUSH2 0x0c81
00000c77: PUSH2 0x07e3
00000c7a: DUP6
00000c7b: PUSH1 0x05
00000c7d: PUSH2 0x1867
00000c80: JUMP
00000c81: JUMPDEST
00000c82: SWAP2
00000c83: POP
00000c84: PUSH2 0x0b3b
00000c87: PUSH2 0x0c90
00000c8a: DUP6
00000c8b: DUP6
00000c8c: PUSH2 0x19b4
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: DUP4
00000c92: PUSH2 0x19b4
00000c95: JUMP
00000c96: JUMPDEST
00000c97: CALLER
00000c98: PUSH1 0x01
00000c9a: PUSH1 0xa0
00000c9c: PUSH1 0x02
00000c9e: EXP
00000c9f: SUB
00000ca0: DUP2
00000ca1: AND
00000ca2: PUSH1 0x00
00000ca4: SWAP1
00000ca5: DUP2
00000ca6: MSTORE
00000ca7: PUSH1 0x0d
00000ca9: PUSH1 0x20
00000cab: MSTORE
00000cac: PUSH1 0x40
00000cae: SWAP1
00000caf: KECCAK256
00000cb0: SLOAD
00000cb1: PUSH1 0xff
00000cb3: AND
00000cb4: ISZERO
00000cb5: ISZERO
00000cb6: PUSH2 0x0cbe
00000cb9: JUMPI
00000cba: PUSH1 0x00
00000cbc: DUP1
00000cbd: REVERT
00000cbe: JUMPDEST
00000cbf: POP
00000cc0: PUSH1 0x01
00000cc2: PUSH1 0xa0
00000cc4: PUSH1 0x02
00000cc6: EXP
00000cc7: SUB
00000cc8: SWAP2
00000cc9: SWAP1
00000cca: SWAP2
00000ccb: AND
00000ccc: PUSH1 0x00
00000cce: SWAP1
00000ccf: DUP2
00000cd0: MSTORE
00000cd1: PUSH1 0x0d
00000cd3: PUSH1 0x20
00000cd5: MSTORE
00000cd6: PUSH1 0x40
00000cd8: SWAP1
00000cd9: KECCAK256
00000cda: DUP1
00000cdb: SLOAD
00000cdc: PUSH1 0xff
00000cde: NOT
00000cdf: AND
00000ce0: SWAP2
00000ce1: ISZERO
00000ce2: ISZERO
00000ce3: SWAP2
00000ce4: SWAP1
00000ce5: SWAP2
00000ce6: OR
00000ce7: SWAP1
00000ce8: SSTORE
00000ce9: JUMP
00000cea: JUMPDEST
00000ceb: PUSH1 0x00
00000ced: PUSH2 0x0cfa
00000cf0: PUSH1 0x04
00000cf2: SLOAD
00000cf3: PUSH1 0x03
00000cf5: SLOAD
00000cf6: PUSH2 0x1234
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: SWAP1
00000cfc: POP
00000cfd: PUSH1 0x01
00000cff: DUP2
00000d00: GT
00000d01: PUSH2 0x0d09
00000d04: JUMPI
00000d05: PUSH1 0x00
00000d07: DUP1
00000d08: REVERT
00000d09: JUMPDEST
00000d0a: PUSH2 0x0d15
00000d0d: PUSH1 0x03
00000d0f: SLOAD
00000d10: DUP3
00000d11: PUSH2 0x19b4
00000d14: JUMP
00000d15: JUMPDEST
00000d16: PUSH1 0x03
00000d18: SSTORE
00000d19: PUSH20 0xd9092d94f74e6b5d408dbd3ecc88f3e5810d1e98
00000d2e: PUSH3 0x061a80
00000d32: DUP3
00000d33: PUSH1 0x40
00000d35: MLOAD
00000d36: PUSH1 0x00
00000d38: PUSH1 0x40
00000d3a: MLOAD
00000d3b: DUP1
00000d3c: DUP4
00000d3d: SUB
00000d3e: DUP2
00000d3f: DUP6
00000d40: DUP9
00000d41: DUP9
00000d42: CALL
00000d43: SWAP4
00000d44: POP
00000d45: POP
00000d46: POP
00000d47: POP
00000d48: ISZERO
00000d49: ISZERO
00000d4a: PUSH2 0x0d5d
00000d4d: JUMPI
00000d4e: PUSH2 0x0d59
00000d51: PUSH1 0x03
00000d53: SLOAD
00000d54: DUP3
00000d55: PUSH2 0x1234
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: PUSH1 0x03
00000d5c: SSTORE
00000d5d: JUMPDEST
00000d5e: POP
00000d5f: JUMP
00000d60: JUMPDEST
00000d61: PUSH1 0x00
00000d63: CALLER
00000d64: PUSH2 0x0d6c
00000d67: DUP2
00000d68: PUSH2 0x0bcc
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: SWAP2
00000d6e: POP
00000d6f: JUMPDEST
00000d70: POP
00000d71: SWAP1
00000d72: JUMP
00000d73: JUMPDEST
00000d74: PUSH1 0x02
00000d76: DUP1
00000d77: SLOAD
00000d78: PUSH1 0x01
00000d7a: DUP2
00000d7b: PUSH1 0x01
00000d7d: AND
00000d7e: ISZERO
00000d7f: PUSH2 0x0100
00000d82: MUL
00000d83: SUB
00000d84: AND
00000d85: PUSH1 0x02
00000d87: SWAP1
00000d88: DIV
00000d89: DUP1
00000d8a: PUSH1 0x1f
00000d8c: ADD
00000d8d: PUSH1 0x20
00000d8f: DUP1
00000d90: SWAP2
00000d91: DIV
00000d92: MUL
00000d93: PUSH1 0x20
00000d95: ADD
00000d96: PUSH1 0x40
00000d98: MLOAD
00000d99: SWAP1
00000d9a: DUP2
00000d9b: ADD
00000d9c: PUSH1 0x40
00000d9e: MSTORE
00000d9f: DUP1
00000da0: SWAP3
00000da1: SWAP2
00000da2: SWAP1
00000da3: DUP2
00000da4: DUP2
00000da5: MSTORE
00000da6: PUSH1 0x20
00000da8: ADD
00000da9: DUP3
00000daa: DUP1
00000dab: SLOAD
00000dac: PUSH1 0x01
00000dae: DUP2
00000daf: PUSH1 0x01
00000db1: AND
00000db2: ISZERO
00000db3: PUSH2 0x0100
00000db6: MUL
00000db7: SUB
00000db8: AND
00000db9: PUSH1 0x02
00000dbb: SWAP1
00000dbc: DIV
00000dbd: DUP1
00000dbe: ISZERO
00000dbf: PUSH2 0x07b2
00000dc2: JUMPI
00000dc3: DUP1
00000dc4: PUSH1 0x1f
00000dc6: LT
00000dc7: PUSH2 0x0787
00000dca: JUMPI
00000dcb: PUSH2 0x0100
00000dce: DUP1
00000dcf: DUP4
00000dd0: SLOAD
00000dd1: DIV
00000dd2: MUL
00000dd3: DUP4
00000dd4: MSTORE
00000dd5: SWAP2
00000dd6: PUSH1 0x20
00000dd8: ADD
00000dd9: SWAP2
00000dda: PUSH2 0x07b2
00000ddd: JUMP
00000dde: JUMPDEST
00000ddf: PUSH1 0x03
00000de1: SLOAD
00000de2: DUP2
00000de3: JUMP
00000de4: JUMPDEST
00000de5: PUSH1 0x00
00000de7: DUP1
00000de8: PUSH1 0x00
00000dea: PUSH2 0x0df1
00000ded: PUSH2 0x0d60
00000df0: JUMP
00000df1: JUMPDEST
00000df2: GT
00000df3: PUSH2 0x0dfb
00000df6: JUMPI
00000df7: PUSH1 0x00
00000df9: DUP1
00000dfa: REVERT
00000dfb: JUMPDEST
00000dfc: POP
00000dfd: CALLER
00000dfe: PUSH1 0x01
00000e00: PUSH1 0xa0
00000e02: PUSH1 0x02
00000e04: EXP
00000e05: SUB
00000e06: DUP2
00000e07: AND
00000e08: PUSH1 0x00
00000e0a: SWAP1
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x07
00000e0f: PUSH1 0x20
00000e11: MSTORE
00000e12: PUSH1 0x40
00000e14: SWAP1
00000e15: KECCAK256
00000e16: SLOAD
00000e17: DUP4
00000e18: GT
00000e19: ISZERO
00000e1a: PUSH2 0x0e22
00000e1d: JUMPI
00000e1e: PUSH1 0x00
00000e20: DUP1
00000e21: REVERT
00000e22: JUMPDEST
00000e23: PUSH1 0x00
00000e25: PUSH2 0x0e2e
00000e28: PUSH1 0x01
00000e2a: PUSH2 0x0b7b
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: GT
00000e30: ISZERO
00000e31: PUSH2 0x0e3c
00000e34: JUMPI
00000e35: PUSH2 0x0e3c
00000e38: PUSH2 0x08e4
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: PUSH1 0x01
00000e3f: PUSH1 0xa0
00000e41: PUSH1 0x02
00000e43: EXP
00000e44: SUB
00000e45: DUP2
00000e46: AND
00000e47: PUSH1 0x00
00000e49: SWAP1
00000e4a: DUP2
00000e4b: MSTORE
00000e4c: PUSH1 0x07
00000e4e: PUSH1 0x20
00000e50: MSTORE
00000e51: PUSH1 0x40
00000e53: SWAP1
00000e54: KECCAK256
00000e55: SLOAD
00000e56: PUSH2 0x0e5f
00000e59: SWAP1
00000e5a: DUP5
00000e5b: PUSH2 0x1234
00000e5e: JUMP
00000e5f: JUMPDEST
00000e60: PUSH1 0x01
00000e62: PUSH1 0xa0
00000e64: PUSH1 0x02
00000e66: EXP
00000e67: SUB
00000e68: DUP1
00000e69: DUP4
00000e6a: AND
00000e6b: PUSH1 0x00
00000e6d: SWAP1
00000e6e: DUP2
00000e6f: MSTORE
00000e70: PUSH1 0x07
00000e72: PUSH1 0x20
00000e74: MSTORE
00000e75: PUSH1 0x40
00000e77: DUP1
00000e78: DUP3
00000e79: KECCAK256
00000e7a: SWAP4
00000e7b: SWAP1
00000e7c: SWAP4
00000e7d: SSTORE
00000e7e: SWAP1
00000e7f: DUP7
00000e80: AND
00000e81: DUP2
00000e82: MSTORE
00000e83: KECCAK256
00000e84: SLOAD
00000e85: PUSH2 0x0e8e
00000e88: SWAP1
00000e89: DUP5
00000e8a: PUSH2 0x19b4
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH1 0x01
00000e91: PUSH1 0xa0
00000e93: PUSH1 0x02
00000e95: EXP
00000e96: SUB
00000e97: DUP6
00000e98: DUP2
00000e99: AND
00000e9a: PUSH1 0x00
00000e9c: DUP2
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x07
00000ea1: PUSH1 0x20
00000ea3: SWAP1
00000ea4: DUP2
00000ea5: MSTORE
00000ea6: PUSH1 0x40
00000ea8: DUP1
00000ea9: DUP4
00000eaa: KECCAK256
00000eab: SWAP6
00000eac: SWAP1
00000ead: SWAP6
00000eae: SSTORE
00000eaf: PUSH1 0x0c
00000eb1: DUP1
00000eb2: SLOAD
00000eb3: SWAP5
00000eb4: DUP8
00000eb5: AND
00000eb6: DUP1
00000eb7: DUP5
00000eb8: MSTORE
00000eb9: PUSH1 0x09
00000ebb: SWAP1
00000ebc: SWAP3
00000ebd: MSTORE
00000ebe: DUP6
00000ebf: DUP4
00000ec0: KECCAK256
00000ec1: DUP1
00000ec2: SLOAD
00000ec3: SWAP6
00000ec4: DUP11
00000ec5: MUL
00000ec6: SWAP1
00000ec7: SWAP6
00000ec8: SUB
00000ec9: SWAP1
00000eca: SWAP5
00000ecb: SSTORE
00000ecc: SWAP3
00000ecd: SLOAD
00000ece: DUP3
00000ecf: DUP3
00000ed0: MSTORE
00000ed1: SWAP1
00000ed2: DUP5
00000ed3: SWAP1
00000ed4: KECCAK256
00000ed5: DUP1
00000ed6: SLOAD
00000ed7: SWAP2
00000ed8: DUP9
00000ed9: MUL
00000eda: SWAP1
00000edb: SWAP2
00000edc: ADD
00000edd: SWAP1
00000ede: SSTORE
00000edf: SWAP2
00000ee0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000f01: SWAP1
00000f02: DUP7
00000f03: SWAP1
00000f04: MLOAD
00000f05: SWAP1
00000f06: DUP2
00000f07: MSTORE
00000f08: PUSH1 0x20
00000f0a: ADD
00000f0b: PUSH1 0x40
00000f0d: MLOAD
00000f0e: DUP1
00000f0f: SWAP2
00000f10: SUB
00000f11: SWAP1
00000f12: LOG3
00000f13: PUSH1 0x01
00000f15: SWAP2
00000f16: POP
00000f17: JUMPDEST
00000f18: POP
00000f19: SWAP3
00000f1a: SWAP2
00000f1b: POP
00000f1c: POP
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: CALLER
00000f20: PUSH1 0x01
00000f22: PUSH1 0xa0
00000f24: PUSH1 0x02
00000f26: EXP
00000f27: SUB
00000f28: DUP2
00000f29: AND
00000f2a: PUSH1 0x00
00000f2c: SWAP1
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x0d
00000f31: PUSH1 0x20
00000f33: MSTORE
00000f34: PUSH1 0x40
00000f36: SWAP1
00000f37: KECCAK256
00000f38: SLOAD
00000f39: PUSH1 0xff
00000f3b: AND
00000f3c: ISZERO
00000f3d: ISZERO
00000f3e: PUSH2 0x0f46
00000f41: JUMPI
00000f42: PUSH1 0x00
00000f44: DUP1
00000f45: REVERT
00000f46: JUMPDEST
00000f47: PUSH1 0x02
00000f49: DUP3
00000f4a: DUP1
00000f4b: MLOAD
00000f4c: PUSH2 0x0f59
00000f4f: SWAP3
00000f50: SWAP2
00000f51: PUSH1 0x20
00000f53: ADD
00000f54: SWAP1
00000f55: PUSH2 0x19f8
00000f58: JUMP
00000f59: JUMPDEST
00000f5a: POP
00000f5b: POP
00000f5c: POP
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: CALLER
00000f60: PUSH1 0x01
00000f62: PUSH1 0xa0
00000f64: PUSH1 0x02
00000f66: EXP
00000f67: SUB
00000f68: DUP2
00000f69: AND
00000f6a: PUSH1 0x00
00000f6c: SWAP1
00000f6d: DUP2
00000f6e: MSTORE
00000f6f: PUSH1 0x0d
00000f71: PUSH1 0x20
00000f73: MSTORE
00000f74: PUSH1 0x40
00000f76: SWAP1
00000f77: KECCAK256
00000f78: SLOAD
00000f79: PUSH1 0xff
00000f7b: AND
00000f7c: ISZERO
00000f7d: ISZERO
00000f7e: PUSH2 0x0f86
00000f81: JUMPI
00000f82: PUSH1 0x00
00000f84: DUP1
00000f85: REVERT
00000f86: JUMPDEST
00000f87: PUSH1 0x01
00000f89: DUP3
00000f8a: DUP1
00000f8b: MLOAD
00000f8c: PUSH2 0x0f59
00000f8f: SWAP3
00000f90: SWAP2
00000f91: PUSH1 0x20
00000f93: ADD
00000f94: SWAP1
00000f95: PUSH2 0x19f8
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH1 0x00
00000f9c: DUP1
00000f9d: PUSH1 0x00
00000f9f: DUP1
00000fa0: PUSH1 0x00
00000fa2: DUP1
00000fa3: PUSH1 0x00
00000fa5: DUP1
00000fa6: PUSH2 0x0fad
00000fa9: PUSH2 0x0d60
00000fac: JUMP
00000fad: JUMPDEST
00000fae: GT
00000faf: PUSH2 0x0fb7
00000fb2: JUMPI
00000fb3: PUSH1 0x00
00000fb5: DUP1
00000fb6: REVERT
00000fb7: JUMPDEST
00000fb8: CALLER
00000fb9: PUSH1 0x01
00000fbb: PUSH1 0xa0
00000fbd: PUSH1 0x02
00000fbf: EXP
00000fc0: SUB
00000fc1: DUP2
00000fc2: AND
00000fc3: PUSH1 0x00
00000fc5: SWAP1
00000fc6: DUP2
00000fc7: MSTORE
00000fc8: PUSH1 0x07
00000fca: PUSH1 0x20
00000fcc: MSTORE
00000fcd: PUSH1 0x40
00000fcf: SWAP1
00000fd0: KECCAK256
00000fd1: SLOAD
00000fd2: SWAP1
00000fd3: SWAP8
00000fd4: POP
00000fd5: DUP9
00000fd6: GT
00000fd7: ISZERO
00000fd8: PUSH2 0x0fe0
00000fdb: JUMPI
00000fdc: PUSH1 0x00
00000fde: DUP1
00000fdf: REVERT
00000fe0: JUMPDEST
00000fe1: DUP8
00000fe2: SWAP6
00000fe3: POP
00000fe4: PUSH2 0x0fec
00000fe7: DUP7
00000fe8: PUSH2 0x1942
00000feb: JUMP
00000fec: JUMPDEST
00000fed: SWAP5
00000fee: POP
00000fef: PUSH2 0x0ffc
00000ff2: PUSH2 0x07e3
00000ff5: DUP7
00000ff6: PUSH1 0x14
00000ff8: PUSH2 0x1867
00000ffb: JUMP
00000ffc: JUMPDEST
00000ffd: SWAP4
00000ffe: POP
00000fff: PUSH2 0x100c
00001002: PUSH2 0x07e3
00001005: DUP7
00001006: PUSH1 0x05
00001008: PUSH2 0x1867
0000100b: JUMP
0000100c: JUMPDEST
0000100d: SWAP3
0000100e: POP
0000100f: PUSH2 0x101b
00001012: PUSH2 0x0809
00001015: DUP7
00001016: DUP7
00001017: PUSH2 0x1234
0000101a: JUMP
0000101b: JUMPDEST
0000101c: SWAP2
0000101d: POP
0000101e: PUSH2 0x1029
00001021: PUSH1 0x04
00001023: SLOAD
00001024: DUP5
00001025: PUSH2 0x19b4
00001028: JUMP
00001029: JUMPDEST
0000102a: PUSH1 0x04
0000102c: SSTORE
0000102d: PUSH1 0x0b
0000102f: SLOAD
00001030: PUSH2 0x1039
00001033: SWAP1
00001034: DUP8
00001035: PUSH2 0x1234
00001038: JUMP
00001039: JUMPDEST
0000103a: PUSH1 0x0b
0000103c: SSTORE
0000103d: PUSH1 0x01
0000103f: PUSH1 0xa0
00001041: PUSH1 0x02
00001043: EXP
00001044: SUB
00001045: DUP8
00001046: AND
00001047: PUSH1 0x00
00001049: SWAP1
0000104a: DUP2
0000104b: MSTORE
0000104c: PUSH1 0x07
0000104e: PUSH1 0x20
00001050: MSTORE
00001051: PUSH1 0x40
00001053: SWAP1
00001054: KECCAK256
00001055: SLOAD
00001056: PUSH2 0x105f
00001059: SWAP1
0000105a: DUP8
0000105b: PUSH2 0x1234
0000105e: JUMP
0000105f: JUMPDEST
00001060: PUSH1 0x01
00001062: PUSH1 0xa0
00001064: PUSH1 0x02
00001066: EXP
00001067: SUB
00001068: DUP9
00001069: AND
0000106a: PUSH1 0x00
0000106c: SWAP1
0000106d: DUP2
0000106e: MSTORE
0000106f: PUSH1 0x07
00001071: PUSH1 0x20
00001073: SWAP1
00001074: DUP2
00001075: MSTORE
00001076: PUSH1 0x40
00001078: DUP1
00001079: DUP4
0000107a: KECCAK256
0000107b: SWAP4
0000107c: SWAP1
0000107d: SWAP4
0000107e: SSTORE
0000107f: PUSH1 0x0c
00001081: SLOAD
00001082: PUSH1 0x09
00001084: SWAP1
00001085: SWAP2
00001086: MSTORE
00001087: SWAP2
00001088: DUP2
00001089: KECCAK256
0000108a: DUP1
0000108b: SLOAD
0000108c: SWAP3
0000108d: DUP10
0000108e: MUL
0000108f: PUSH9 0x010000000000000000
00001099: DUP7
0000109a: MUL
0000109b: ADD
0000109c: SWAP3
0000109d: DUP4
0000109e: SWAP1
0000109f: SUB
000010a0: SWAP1
000010a1: SSTORE
000010a2: PUSH1 0x0b
000010a4: SLOAD
000010a5: SWAP2
000010a6: SWAP3
000010a7: POP
000010a8: SWAP1
000010a9: GT
000010aa: ISZERO
000010ab: PUSH2 0x10d6
000010ae: JUMPI
000010af: PUSH2 0x10d2
000010b2: PUSH1 0x0c
000010b4: SLOAD
000010b5: PUSH1 0x0b
000010b7: SLOAD
000010b8: PUSH9 0x010000000000000000
000010c2: DUP8
000010c3: MUL
000010c4: DUP2
000010c5: ISZERO
000010c6: ISZERO
000010c7: PUSH2 0x10cc
000010ca: JUMPI
000010cb: INVALID
000010cc: JUMPDEST
000010cd: DIV
000010ce: PUSH2 0x19b4
000010d1: JUMP
000010d2: JUMPDEST
000010d3: PUSH1 0x0c
000010d5: SSTORE
000010d6: JUMPDEST
000010d7: DUP7
000010d8: PUSH1 0x01
000010da: PUSH1 0xa0
000010dc: PUSH1 0x02
000010de: EXP
000010df: SUB
000010e0: AND
000010e1: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00001102: DUP8
00001103: DUP5
00001104: PUSH1 0x40
00001106: MLOAD
00001107: SWAP2
00001108: DUP3
00001109: MSTORE
0000110a: PUSH1 0x20
0000110c: DUP3
0000110d: ADD
0000110e: MSTORE
0000110f: PUSH1 0x40
00001111: SWAP1
00001112: DUP2
00001113: ADD
00001114: SWAP1
00001115: MLOAD
00001116: DUP1
00001117: SWAP2
00001118: SUB
00001119: SWAP1
0000111a: LOG2
0000111b: POP
0000111c: POP
0000111d: POP
0000111e: POP
0000111f: POP
00001120: POP
00001121: POP
00001122: POP
00001123: JUMP
00001124: JUMPDEST
00001125: CALLER
00001126: PUSH1 0x01
00001128: PUSH1 0xa0
0000112a: PUSH1 0x02
0000112c: EXP
0000112d: SUB
0000112e: DUP2
0000112f: AND
00001130: PUSH1 0x00
00001132: SWAP1
00001133: DUP2
00001134: MSTORE
00001135: PUSH1 0x07
00001137: PUSH1 0x20
00001139: MSTORE
0000113a: PUSH1 0x40
0000113c: DUP2
0000113d: KECCAK256
0000113e: SLOAD
0000113f: SWAP1
00001140: DUP2
00001141: GT
00001142: ISZERO
00001143: PUSH2 0x114f
00001146: JUMPI
00001147: PUSH2 0x114f
0000114a: DUP2
0000114b: PUSH2 0x0f99
0000114e: JUMP
0000114f: JUMPDEST
00001150: PUSH2 0x1157
00001153: PUSH2 0x08e4
00001156: JUMP
00001157: JUMPDEST
00001158: POP
00001159: POP
0000115a: JUMP
0000115b: JUMPDEST
0000115c: PUSH1 0x00
0000115e: PUSH5 0x0ba43b7400
00001164: GASPRICE
00001165: GT
00001166: ISZERO
00001167: PUSH2 0x116f
0000116a: JUMPI
0000116b: PUSH1 0x00
0000116d: DUP1
0000116e: REVERT
0000116f: JUMPDEST
00001170: PUSH2 0x0bb8
00001173: CALLVALUE
00001174: DUP4
00001175: PUSH2 0x0621
00001178: JUMP
00001179: JUMPDEST
0000117a: PUSH1 0x00
0000117c: DUP1
0000117d: PUSH1 0x00
0000117f: DUP1
00001180: PUSH2 0x1189
00001183: PUSH1 0x01
00001185: PUSH2 0x0b7b
00001188: JUMP
00001189: JUMPDEST
0000118a: GT
0000118b: PUSH2 0x1193
0000118e: JUMPI
0000118f: PUSH1 0x00
00001191: DUP1
00001192: REVERT
00001193: JUMPDEST
00001194: PUSH2 0x119d
00001197: PUSH1 0x00
00001199: PUSH2 0x0b7b
0000119c: JUMP
0000119d: JUMPDEST
0000119e: CALLER
0000119f: PUSH1 0x01
000011a1: PUSH1 0xa0
000011a3: PUSH1 0x02
000011a5: EXP
000011a6: SUB
000011a7: DUP2
000011a8: AND
000011a9: PUSH1 0x00
000011ab: SWAP1
000011ac: DUP2
000011ad: MSTORE
000011ae: PUSH1 0x09
000011b0: PUSH1 0x20
000011b2: SWAP1
000011b3: DUP2
000011b4: MSTORE
000011b5: PUSH1 0x40
000011b7: DUP1
000011b8: DUP4
000011b9: KECCAK256
000011ba: DUP1
000011bb: SLOAD
000011bc: PUSH9 0x010000000000000000
000011c6: DUP8
000011c7: MUL
000011c8: ADD
000011c9: SWAP1
000011ca: SSTORE
000011cb: PUSH1 0x08
000011cd: SWAP1
000011ce: SWAP2
000011cf: MSTORE
000011d0: DUP2
000011d1: KECCAK256
000011d2: DUP1
000011d3: SLOAD
000011d4: SWAP1
000011d5: DUP3
000011d6: SWAP1
000011d7: SSTORE
000011d8: SWAP1
000011d9: SWAP3
000011da: ADD
000011db: SWAP5
000011dc: POP
000011dd: SWAP3
000011de: POP
000011df: PUSH2 0x11e9
000011e2: SWAP1
000011e3: DUP5
000011e4: SWAP1
000011e5: PUSH2 0x1246
000011e8: JUMP
000011e9: JUMPDEST
000011ea: SWAP1
000011eb: POP
000011ec: DUP2
000011ed: PUSH1 0x01
000011ef: PUSH1 0xa0
000011f1: PUSH1 0x02
000011f3: EXP
000011f4: SUB
000011f5: AND
000011f6: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00001217: DUP5
00001218: DUP4
00001219: PUSH1 0x40
0000121b: MLOAD
0000121c: SWAP2
0000121d: DUP3
0000121e: MSTORE
0000121f: PUSH1 0x20
00001221: DUP3
00001222: ADD
00001223: MSTORE
00001224: PUSH1 0x40
00001226: SWAP1
00001227: DUP2
00001228: ADD
00001229: SWAP1
0000122a: MLOAD
0000122b: DUP1
0000122c: SWAP2
0000122d: SUB
0000122e: SWAP1
0000122f: LOG2
00001230: POP
00001231: POP
00001232: POP
00001233: JUMP
00001234: JUMPDEST
00001235: PUSH1 0x00
00001237: DUP3
00001238: DUP3
00001239: GT
0000123a: ISZERO
0000123b: PUSH2 0x1240
0000123e: JUMPI
0000123f: INVALID
00001240: JUMPDEST
00001241: POP
00001242: SWAP1
00001243: SUB
00001244: SWAP1
00001245: JUMP
00001246: JUMPDEST
00001247: PUSH1 0x00
00001249: DUP1
0000124a: PUSH1 0x00
0000124c: DUP1
0000124d: PUSH1 0x00
0000124f: DUP1
00001250: PUSH1 0x00
00001252: DUP1
00001253: PUSH1 0x00
00001255: DUP11
00001256: PUSH1 0x00
00001258: CALLER
00001259: SWAP1
0000125a: POP
0000125b: PUSH1 0x00
0000125d: SLOAD
0000125e: TIMESTAMP
0000125f: LT
00001260: ISZERO
00001261: ISZERO
00001262: PUSH2 0x1270
00001265: JUMPI
00001266: PUSH1 0x0e
00001268: DUP1
00001269: SLOAD
0000126a: PUSH1 0xff
0000126c: NOT
0000126d: AND
0000126e: SWAP1
0000126f: SSTORE
00001270: JUMPDEST
00001271: PUSH1 0x0e
00001273: SLOAD
00001274: PUSH1 0xff
00001276: AND
00001277: DUP1
00001278: ISZERO
00001279: PUSH2 0x1293
0000127c: JUMPI
0000127d: POP
0000127e: PUSH8 0x6f05b59d3b200000
00001287: DUP3
00001288: PUSH2 0x128f
0000128b: PUSH2 0x0bbe
0000128e: JUMP
0000128f: JUMPDEST
00001290: SUB
00001291: GT
00001292: ISZERO
00001293: JUMPDEST
00001294: ISZERO
00001295: PUSH2 0x15c3
00001298: JUMPI
00001299: PUSH1 0x01
0000129b: PUSH1 0xa0
0000129d: PUSH1 0x02
0000129f: EXP
000012a0: SUB
000012a1: DUP2
000012a2: AND
000012a3: PUSH1 0x00
000012a5: SWAP1
000012a6: DUP2
000012a7: MSTORE
000012a8: PUSH1 0x06
000012aa: PUSH1 0x20
000012ac: MSTORE
000012ad: PUSH1 0x40
000012af: SWAP1
000012b0: KECCAK256
000012b1: SLOAD
000012b2: PUSH1 0xff
000012b4: AND
000012b5: ISZERO
000012b6: ISZERO
000012b7: PUSH1 0x01
000012b9: EQ
000012ba: DUP1
000012bb: ISZERO
000012bc: PUSH2 0x12e8
000012bf: JUMPI
000012c0: POP
000012c1: PUSH1 0x01
000012c3: PUSH1 0xa0
000012c5: PUSH1 0x02
000012c7: EXP
000012c8: SUB
000012c9: DUP2
000012ca: AND
000012cb: PUSH1 0x00
000012cd: SWAP1
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x0a
000012d2: PUSH1 0x20
000012d4: MSTORE
000012d5: PUSH1 0x40
000012d7: SWAP1
000012d8: KECCAK256
000012d9: SLOAD
000012da: PUSH8 0x6f05b59d3b200000
000012e3: SWAP1
000012e4: DUP4
000012e5: ADD
000012e6: GT
000012e7: ISZERO
000012e8: JUMPDEST
000012e9: ISZERO
000012ea: ISZERO
000012eb: PUSH2 0x12f3
000012ee: JUMPI
000012ef: PUSH1 0x00
000012f1: DUP1
000012f2: REVERT
000012f3: JUMPDEST
000012f4: PUSH1 0x01
000012f6: PUSH1 0xa0
000012f8: PUSH1 0x02
000012fa: EXP
000012fb: SUB
000012fc: DUP2
000012fd: AND
000012fe: PUSH1 0x00
00001300: SWAP1
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0x0a
00001305: PUSH1 0x20
00001307: MSTORE
00001308: PUSH1 0x40
0000130a: SWAP1
0000130b: KECCAK256
0000130c: SLOAD
0000130d: PUSH2 0x1316
00001310: SWAP1
00001311: DUP4
00001312: PUSH2 0x19b4
00001315: JUMP
00001316: JUMPDEST
00001317: PUSH1 0x01
00001319: PUSH1 0xa0
0000131b: PUSH1 0x02
0000131d: EXP
0000131e: SUB
0000131f: DUP3
00001320: AND
00001321: PUSH1 0x00
00001323: SWAP1
00001324: DUP2
00001325: MSTORE
00001326: PUSH1 0x0a
00001328: PUSH1 0x20
0000132a: MSTORE
0000132b: PUSH1 0x40
0000132d: SWAP1
0000132e: KECCAK256
0000132f: SSTORE
00001330: PUSH2 0x133d
00001333: PUSH2 0x07e3
00001336: DUP15
00001337: PUSH1 0x14
00001339: PUSH2 0x1867
0000133c: JUMP
0000133d: JUMPDEST
0000133e: SWAP10
0000133f: POP
00001340: PUSH2 0x134a
00001343: DUP11
00001344: PUSH1 0x03
00001346: PUSH2 0x1899
00001349: JUMP
0000134a: JUMPDEST
0000134b: SWAP9
0000134c: POP
0000134d: PUSH2 0x135a
00001350: PUSH2 0x07e3
00001353: DUP15
00001354: PUSH1 0x05
00001356: PUSH2 0x1867
00001359: JUMP
0000135a: JUMPDEST
0000135b: SWAP8
0000135c: POP
0000135d: PUSH2 0x1366
00001360: DUP11
00001361: DUP11
00001362: PUSH2 0x1234
00001365: JUMP
00001366: JUMPDEST
00001367: SWAP7
00001368: POP
00001369: PUSH2 0x137b
0000136c: PUSH2 0x1375
0000136f: DUP15
00001370: DUP13
00001371: PUSH2 0x1234
00001374: JUMP
00001375: JUMPDEST
00001376: DUP10
00001377: PUSH2 0x1234
0000137a: JUMP
0000137b: JUMPDEST
0000137c: SWAP6
0000137d: POP
0000137e: PUSH2 0x1389
00001381: PUSH1 0x04
00001383: SLOAD
00001384: DUP10
00001385: PUSH2 0x19b4
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x04
0000138c: SSTORE
0000138d: PUSH2 0x1395
00001390: DUP7
00001391: PUSH2 0x18b0
00001394: JUMP
00001395: JUMPDEST
00001396: SWAP5
00001397: POP
00001398: PUSH9 0x010000000000000000
000013a2: DUP8
000013a3: MUL
000013a4: SWAP4
000013a5: POP
000013a6: PUSH1 0x00
000013a8: DUP6
000013a9: GT
000013aa: DUP1
000013ab: ISZERO
000013ac: PUSH2 0x13bf
000013af: JUMPI
000013b0: POP
000013b1: PUSH1 0x0b
000013b3: SLOAD
000013b4: PUSH2 0x13bd
000013b7: DUP7
000013b8: DUP3
000013b9: PUSH2 0x19b4
000013bc: JUMP
000013bd: JUMPDEST
000013be: GT
000013bf: JUMPDEST
000013c0: ISZERO
000013c1: ISZERO
000013c2: PUSH2 0x13ca
000013c5: JUMPI
000013c6: PUSH1 0x00
000013c8: DUP1
000013c9: REVERT
000013ca: JUMPDEST
000013cb: PUSH1 0x01
000013cd: PUSH1 0xa0
000013cf: PUSH1 0x02
000013d1: EXP
000013d2: SUB
000013d3: DUP13
000013d4: AND
000013d5: ISZERO
000013d6: DUP1
000013d7: ISZERO
000013d8: SWAP1
000013d9: PUSH2 0x13f4
000013dc: JUMPI
000013dd: POP
000013de: CALLER
000013df: PUSH1 0x01
000013e1: PUSH1 0xa0
000013e3: PUSH1 0x02
000013e5: EXP
000013e6: SUB
000013e7: AND
000013e8: DUP13
000013e9: PUSH1 0x01
000013eb: PUSH1 0xa0
000013ed: PUSH1 0x02
000013ef: EXP
000013f0: SUB
000013f1: AND
000013f2: EQ
000013f3: ISZERO
000013f4: JUMPDEST
000013f5: DUP1
000013f6: ISZERO
000013f7: PUSH2 0x141a
000013fa: JUMPI
000013fb: POP
000013fc: PUSH1 0x05
000013fe: SLOAD
000013ff: PUSH1 0x01
00001401: PUSH1 0xa0
00001403: PUSH1 0x02
00001405: EXP
00001406: SUB
00001407: DUP14
00001408: AND
00001409: PUSH1 0x00
0000140b: SWAP1
0000140c: DUP2
0000140d: MSTORE
0000140e: PUSH1 0x07
00001410: PUSH1 0x20
00001412: MSTORE
00001413: PUSH1 0x40
00001415: SWAP1
00001416: KECCAK256
00001417: SLOAD
00001418: LT
00001419: ISZERO
0000141a: JUMPDEST
0000141b: ISZERO
0000141c: PUSH2 0x1460
0000141f: JUMPI
00001420: PUSH1 0x01
00001422: PUSH1 0xa0
00001424: PUSH1 0x02
00001426: EXP
00001427: SUB
00001428: DUP13
00001429: AND
0000142a: PUSH1 0x00
0000142c: SWAP1
0000142d: DUP2
0000142e: MSTORE
0000142f: PUSH1 0x08
00001431: PUSH1 0x20
00001433: MSTORE
00001434: PUSH1 0x40
00001436: SWAP1
00001437: KECCAK256
00001438: SLOAD
00001439: PUSH2 0x1442
0000143c: SWAP1
0000143d: DUP11
0000143e: PUSH2 0x19b4
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH1 0x01
00001445: PUSH1 0xa0
00001447: PUSH1 0x02
00001449: EXP
0000144a: SUB
0000144b: DUP14
0000144c: AND
0000144d: PUSH1 0x00
0000144f: SWAP1
00001450: DUP2
00001451: MSTORE
00001452: PUSH1 0x08
00001454: PUSH1 0x20
00001456: MSTORE
00001457: PUSH1 0x40
00001459: SWAP1
0000145a: KECCAK256
0000145b: SSTORE
0000145c: PUSH2 0x147b
0000145f: JUMP
00001460: JUMPDEST
00001461: PUSH2 0x146a
00001464: DUP8
00001465: DUP11
00001466: PUSH2 0x19b4
00001469: JUMP
0000146a: JUMPDEST
0000146b: SWAP7
0000146c: POP
0000146d: PUSH9 0x010000000000000000
00001477: DUP8
00001478: MUL
00001479: SWAP4
0000147a: POP
0000147b: JUMPDEST
0000147c: PUSH1 0x00
0000147e: PUSH1 0x0b
00001480: SLOAD
00001481: GT
00001482: ISZERO
00001483: PUSH2 0x14df
00001486: JUMPI
00001487: PUSH2 0x1492
0000148a: PUSH1 0x0b
0000148c: SLOAD
0000148d: DUP7
0000148e: PUSH2 0x19b4
00001491: JUMP
00001492: JUMPDEST
00001493: PUSH1 0x0b
00001495: DUP2
00001496: SWAP1
00001497: SSTORE
00001498: PUSH9 0x010000000000000000
000014a2: DUP9
000014a3: MUL
000014a4: DUP2
000014a5: ISZERO
000014a6: ISZERO
000014a7: PUSH2 0x14ac
000014aa: JUMPI
000014ab: INVALID
000014ac: JUMPDEST
000014ad: PUSH1 0x0c
000014af: DUP1
000014b0: SLOAD
000014b1: SWAP3
000014b2: SWAP1
000014b3: SWAP2
000014b4: DIV
000014b5: SWAP1
000014b6: SWAP2
000014b7: ADD
000014b8: SWAP1
000014b9: SSTORE
000014ba: PUSH1 0x0b
000014bc: SLOAD
000014bd: PUSH9 0x010000000000000000
000014c7: DUP9
000014c8: MUL
000014c9: DUP2
000014ca: ISZERO
000014cb: ISZERO
000014cc: PUSH2 0x14d1
000014cf: JUMPI
000014d0: INVALID
000014d1: JUMPDEST
000014d2: DIV
000014d3: DUP6
000014d4: MUL
000014d5: DUP5
000014d6: SUB
000014d7: DUP5
000014d8: SUB
000014d9: SWAP4
000014da: POP
000014db: PUSH2 0x14e5
000014de: JUMP
000014df: JUMPDEST
000014e0: PUSH1 0x0b
000014e2: DUP6
000014e3: SWAP1
000014e4: SSTORE
000014e5: JUMPDEST
000014e6: PUSH1 0x01
000014e8: PUSH1 0xa0
000014ea: PUSH1 0x02
000014ec: EXP
000014ed: SUB
000014ee: CALLER
000014ef: AND
000014f0: PUSH1 0x00
000014f2: SWAP1
000014f3: DUP2
000014f4: MSTORE
000014f5: PUSH1 0x07
000014f7: PUSH1 0x20
000014f9: MSTORE
000014fa: PUSH1 0x40
000014fc: SWAP1
000014fd: KECCAK256
000014fe: SLOAD
000014ff: PUSH2 0x1508
00001502: SWAP1
00001503: DUP7
00001504: PUSH2 0x19b4
00001507: JUMP
00001508: JUMPDEST
00001509: PUSH1 0x07
0000150b: PUSH1 0x00
0000150d: CALLER
0000150e: PUSH1 0x01
00001510: PUSH1 0xa0
00001512: PUSH1 0x02
00001514: EXP
00001515: SUB
00001516: AND
00001517: PUSH1 0x01
00001519: PUSH1 0xa0
0000151b: PUSH1 0x02
0000151d: EXP
0000151e: SUB
0000151f: AND
00001520: DUP2
00001521: MSTORE
00001522: PUSH1 0x20
00001524: ADD
00001525: SWAP1
00001526: DUP2
00001527: MSTORE
00001528: PUSH1 0x20
0000152a: ADD
0000152b: PUSH1 0x00
0000152d: KECCAK256
0000152e: DUP2
0000152f: SWAP1
00001530: SSTORE
00001531: POP
00001532: DUP4
00001533: DUP6
00001534: PUSH1 0x0c
00001536: SLOAD
00001537: MUL
00001538: SUB
00001539: SWAP3
0000153a: POP
0000153b: DUP3
0000153c: PUSH1 0x09
0000153e: PUSH1 0x00
00001540: CALLER
00001541: PUSH1 0x01
00001543: PUSH1 0xa0
00001545: PUSH1 0x02
00001547: EXP
00001548: SUB
00001549: AND
0000154a: PUSH1 0x01
0000154c: PUSH1 0xa0
0000154e: PUSH1 0x02
00001550: EXP
00001551: SUB
00001552: AND
00001553: DUP2
00001554: MSTORE
00001555: PUSH1 0x20
00001557: ADD
00001558: SWAP1
00001559: DUP2
0000155a: MSTORE
0000155b: PUSH1 0x20
0000155d: ADD
0000155e: PUSH1 0x00
00001560: KECCAK256
00001561: PUSH1 0x00
00001563: DUP3
00001564: DUP3
00001565: SLOAD
00001566: ADD
00001567: SWAP3
00001568: POP
00001569: POP
0000156a: DUP2
0000156b: SWAP1
0000156c: SSTORE
0000156d: POP
0000156e: DUP12
0000156f: PUSH1 0x01
00001571: PUSH1 0xa0
00001573: PUSH1 0x02
00001575: EXP
00001576: SUB
00001577: AND
00001578: CALLER
00001579: PUSH1 0x01
0000157b: PUSH1 0xa0
0000157d: PUSH1 0x02
0000157f: EXP
00001580: SUB
00001581: AND
00001582: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
000015a3: DUP16
000015a4: DUP9
000015a5: PUSH1 0x40
000015a7: MLOAD
000015a8: SWAP2
000015a9: DUP3
000015aa: MSTORE
000015ab: PUSH1 0x20
000015ad: DUP3
000015ae: ADD
000015af: MSTORE
000015b0: PUSH1 0x40
000015b2: SWAP1
000015b3: DUP2
000015b4: ADD
000015b5: SWAP1
000015b6: MLOAD
000015b7: DUP1
000015b8: SWAP2
000015b9: SUB
000015ba: SWAP1
000015bb: LOG3
000015bc: DUP5
000015bd: SWAP11
000015be: POP
000015bf: PUSH2 0x1857
000015c2: JUMP
000015c3: JUMPDEST
000015c4: PUSH1 0x0e
000015c6: DUP1
000015c7: SLOAD
000015c8: PUSH1 0xff
000015ca: NOT
000015cb: AND
000015cc: SWAP1
000015cd: SSTORE
000015ce: PUSH2 0x15db
000015d1: PUSH2 0x07e3
000015d4: DUP15
000015d5: PUSH1 0x14
000015d7: PUSH2 0x1867
000015da: JUMP
000015db: JUMPDEST
000015dc: SWAP10
000015dd: POP
000015de: PUSH2 0x15e8
000015e1: DUP11
000015e2: PUSH1 0x03
000015e4: PUSH2 0x1899
000015e7: JUMP
000015e8: JUMPDEST
000015e9: SWAP9
000015ea: POP
000015eb: PUSH2 0x15f8
000015ee: PUSH2 0x07e3
000015f1: DUP15
000015f2: PUSH1 0x05
000015f4: PUSH2 0x1867
000015f7: JUMP
000015f8: JUMPDEST
000015f9: SWAP8
000015fa: POP
000015fb: PUSH2 0x1604
000015fe: DUP11
000015ff: DUP11
00001600: PUSH2 0x1234
00001603: JUMP
00001604: JUMPDEST
00001605: SWAP7
00001606: POP
00001607: PUSH2 0x1613
0000160a: PUSH2 0x1375
0000160d: DUP15
0000160e: DUP13
0000160f: PUSH2 0x1234
00001612: JUMP
00001613: JUMPDEST
00001614: SWAP6
00001615: POP
00001616: PUSH2 0x1621
00001619: PUSH1 0x04
0000161b: SLOAD
0000161c: DUP10
0000161d: PUSH2 0x19b4
00001620: JUMP
00001621: JUMPDEST
00001622: PUSH1 0x04
00001624: SSTORE
00001625: PUSH2 0x162d
00001628: DUP7
00001629: PUSH2 0x18b0
0000162c: JUMP
0000162d: JUMPDEST
0000162e: SWAP5
0000162f: POP
00001630: PUSH9 0x010000000000000000
0000163a: DUP8
0000163b: MUL
0000163c: SWAP4
0000163d: POP
0000163e: PUSH1 0x00
00001640: DUP6
00001641: GT
00001642: DUP1
00001643: ISZERO
00001644: PUSH2 0x1657
00001647: JUMPI
00001648: POP
00001649: PUSH1 0x0b
0000164b: SLOAD
0000164c: PUSH2 0x1655
0000164f: DUP7
00001650: DUP3
00001651: PUSH2 0x19b4
00001654: JUMP
00001655: JUMPDEST
00001656: GT
00001657: JUMPDEST
00001658: ISZERO
00001659: ISZERO
0000165a: PUSH2 0x1662
0000165d: JUMPI
0000165e: PUSH1 0x00
00001660: DUP1
00001661: REVERT
00001662: JUMPDEST
00001663: PUSH1 0x01
00001665: PUSH1 0xa0
00001667: PUSH1 0x02
00001669: EXP
0000166a: SUB
0000166b: DUP13
0000166c: AND
0000166d: ISZERO
0000166e: DUP1
0000166f: ISZERO
00001670: SWAP1
00001671: PUSH2 0x168c
00001674: JUMPI
00001675: POP
00001676: CALLER
00001677: PUSH1 0x01
00001679: PUSH1 0xa0
0000167b: PUSH1 0x02
0000167d: EXP
0000167e: SUB
0000167f: AND
00001680: DUP13
00001681: PUSH1 0x01
00001683: PUSH1 0xa0
00001685: PUSH1 0x02
00001687: EXP
00001688: SUB
00001689: AND
0000168a: EQ
0000168b: ISZERO
0000168c: JUMPDEST
0000168d: DUP1
0000168e: ISZERO
0000168f: PUSH2 0x16b2
00001692: JUMPI
00001693: POP
00001694: PUSH1 0x05
00001696: SLOAD
00001697: PUSH1 0x01
00001699: PUSH1 0xa0
0000169b: PUSH1 0x02
0000169d: EXP
0000169e: SUB
0000169f: DUP14
000016a0: AND
000016a1: PUSH1 0x00
000016a3: SWAP1
000016a4: DUP2
000016a5: MSTORE
000016a6: PUSH1 0x07
000016a8: PUSH1 0x20
000016aa: MSTORE
000016ab: PUSH1 0x40
000016ad: SWAP1
000016ae: KECCAK256
000016af: SLOAD
000016b0: LT
000016b1: ISZERO
000016b2: JUMPDEST
000016b3: ISZERO
000016b4: PUSH2 0x16f8
000016b7: JUMPI
000016b8: PUSH1 0x01
000016ba: PUSH1 0xa0
000016bc: PUSH1 0x02
000016be: EXP
000016bf: SUB
000016c0: DUP13
000016c1: AND
000016c2: PUSH1 0x00
000016c4: SWAP1
000016c5: DUP2
000016c6: MSTORE
000016c7: PUSH1 0x08
000016c9: PUSH1 0x20
000016cb: MSTORE
000016cc: PUSH1 0x40
000016ce: SWAP1
000016cf: KECCAK256
000016d0: SLOAD
000016d1: PUSH2 0x16da
000016d4: SWAP1
000016d5: DUP11
000016d6: PUSH2 0x19b4
000016d9: JUMP
000016da: JUMPDEST
000016db: PUSH1 0x01
000016dd: PUSH1 0xa0
000016df: PUSH1 0x02
000016e1: EXP
000016e2: SUB
000016e3: DUP14
000016e4: AND
000016e5: PUSH1 0x00
000016e7: SWAP1
000016e8: DUP2
000016e9: MSTORE
000016ea: PUSH1 0x08
000016ec: PUSH1 0x20
000016ee: MSTORE
000016ef: PUSH1 0x40
000016f1: SWAP1
000016f2: KECCAK256
000016f3: SSTORE
000016f4: PUSH2 0x1713
000016f7: JUMP
000016f8: JUMPDEST
000016f9: PUSH2 0x1702
000016fc: DUP8
000016fd: DUP11
000016fe: PUSH2 0x19b4
00001701: JUMP
00001702: JUMPDEST
00001703: SWAP7
00001704: POP
00001705: PUSH9 0x010000000000000000
0000170f: DUP8
00001710: MUL
00001711: SWAP4
00001712: POP
00001713: JUMPDEST
00001714: PUSH1 0x00
00001716: PUSH1 0x0b
00001718: SLOAD
00001719: GT
0000171a: ISZERO
0000171b: PUSH2 0x1777
0000171e: JUMPI
0000171f: PUSH2 0x172a
00001722: PUSH1 0x0b
00001724: SLOAD
00001725: DUP7
00001726: PUSH2 0x19b4
00001729: JUMP
0000172a: JUMPDEST
0000172b: PUSH1 0x0b
0000172d: DUP2
0000172e: SWAP1
0000172f: SSTORE
00001730: PUSH9 0x010000000000000000
0000173a: DUP9
0000173b: MUL
0000173c: DUP2
0000173d: ISZERO
0000173e: ISZERO
0000173f: PUSH2 0x1744
00001742: JUMPI
00001743: INVALID
00001744: JUMPDEST
00001745: PUSH1 0x0c
00001747: DUP1
00001748: SLOAD
00001749: SWAP3
0000174a: SWAP1
0000174b: SWAP2
0000174c: DIV
0000174d: SWAP1
0000174e: SWAP2
0000174f: ADD
00001750: SWAP1
00001751: SSTORE
00001752: PUSH1 0x0b
00001754: SLOAD
00001755: PUSH9 0x010000000000000000
0000175f: DUP9
00001760: MUL
00001761: DUP2
00001762: ISZERO
00001763: ISZERO
00001764: PUSH2 0x1769
00001767: JUMPI
00001768: INVALID
00001769: JUMPDEST
0000176a: DIV
0000176b: DUP6
0000176c: MUL
0000176d: DUP5
0000176e: SUB
0000176f: DUP5
00001770: SUB
00001771: SWAP4
00001772: POP
00001773: PUSH2 0x177d
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH1 0x0b
0000177a: DUP6
0000177b: SWAP1
0000177c: SSTORE
0000177d: JUMPDEST
0000177e: PUSH1 0x01
00001780: PUSH1 0xa0
00001782: PUSH1 0x02
00001784: EXP
00001785: SUB
00001786: CALLER
00001787: AND
00001788: PUSH1 0x00
0000178a: SWAP1
0000178b: DUP2
0000178c: MSTORE
0000178d: PUSH1 0x07
0000178f: PUSH1 0x20
00001791: MSTORE
00001792: PUSH1 0x40
00001794: SWAP1
00001795: KECCAK256
00001796: SLOAD
00001797: PUSH2 0x17a0
0000179a: SWAP1
0000179b: DUP7
0000179c: PUSH2 0x19b4
0000179f: JUMP
000017a0: JUMPDEST
000017a1: PUSH1 0x07
000017a3: PUSH1 0x00
000017a5: CALLER
000017a6: PUSH1 0x01
000017a8: PUSH1 0xa0
000017aa: PUSH1 0x02
000017ac: EXP
000017ad: SUB
000017ae: AND
000017af: PUSH1 0x01
000017b1: PUSH1 0xa0
000017b3: PUSH1 0x02
000017b5: EXP
000017b6: SUB
000017b7: AND
000017b8: DUP2
000017b9: MSTORE
000017ba: PUSH1 0x20
000017bc: ADD
000017bd: SWAP1
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x20
000017c2: ADD
000017c3: PUSH1 0x00
000017c5: KECCAK256
000017c6: DUP2
000017c7: SWAP1
000017c8: SSTORE
000017c9: POP
000017ca: DUP4
000017cb: DUP6
000017cc: PUSH1 0x0c
000017ce: SLOAD
000017cf: MUL
000017d0: SUB
000017d1: SWAP3
000017d2: POP
000017d3: DUP3
000017d4: PUSH1 0x09
000017d6: PUSH1 0x00
000017d8: CALLER
000017d9: PUSH1 0x01
000017db: PUSH1 0xa0
000017dd: PUSH1 0x02
000017df: EXP
000017e0: SUB
000017e1: AND
000017e2: PUSH1 0x01
000017e4: PUSH1 0xa0
000017e6: PUSH1 0x02
000017e8: EXP
000017e9: SUB
000017ea: AND
000017eb: DUP2
000017ec: MSTORE
000017ed: PUSH1 0x20
000017ef: ADD
000017f0: SWAP1
000017f1: DUP2
000017f2: MSTORE
000017f3: PUSH1 0x20
000017f5: ADD
000017f6: PUSH1 0x00
000017f8: KECCAK256
000017f9: PUSH1 0x00
000017fb: DUP3
000017fc: DUP3
000017fd: SLOAD
000017fe: ADD
000017ff: SWAP3
00001800: POP
00001801: POP
00001802: DUP2
00001803: SWAP1
00001804: SSTORE
00001805: POP
00001806: DUP12
00001807: PUSH1 0x01
00001809: PUSH1 0xa0
0000180b: PUSH1 0x02
0000180d: EXP
0000180e: SUB
0000180f: AND
00001810: CALLER
00001811: PUSH1 0x01
00001813: PUSH1 0xa0
00001815: PUSH1 0x02
00001817: EXP
00001818: SUB
00001819: AND
0000181a: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
0000183b: DUP16
0000183c: DUP9
0000183d: PUSH1 0x40
0000183f: MLOAD
00001840: SWAP2
00001841: DUP3
00001842: MSTORE
00001843: PUSH1 0x20
00001845: DUP3
00001846: ADD
00001847: MSTORE
00001848: PUSH1 0x40
0000184a: SWAP1
0000184b: DUP2
0000184c: ADD
0000184d: SWAP1
0000184e: MLOAD
0000184f: DUP1
00001850: SWAP2
00001851: SUB
00001852: SWAP1
00001853: LOG3
00001854: DUP5
00001855: SWAP11
00001856: POP
00001857: JUMPDEST
00001858: POP
00001859: POP
0000185a: POP
0000185b: POP
0000185c: POP
0000185d: POP
0000185e: POP
0000185f: POP
00001860: POP
00001861: POP
00001862: SWAP3
00001863: SWAP2
00001864: POP
00001865: POP
00001866: JUMP
00001867: JUMPDEST
00001868: PUSH1 0x00
0000186a: DUP1
0000186b: DUP4
0000186c: ISZERO
0000186d: ISZERO
0000186e: PUSH2 0x187a
00001871: JUMPI
00001872: PUSH1 0x00
00001874: SWAP2
00001875: POP
00001876: PUSH2 0x0f17
00001879: JUMP
0000187a: JUMPDEST
0000187b: POP
0000187c: DUP3
0000187d: DUP3
0000187e: MUL
0000187f: DUP3
00001880: DUP5
00001881: DUP3
00001882: DUP2
00001883: ISZERO
00001884: ISZERO
00001885: PUSH2 0x188a
00001888: JUMPI
00001889: INVALID
0000188a: JUMPDEST
0000188b: DIV
0000188c: EQ
0000188d: PUSH2 0x1892
00001890: JUMPI
00001891: INVALID
00001892: JUMPDEST
00001893: SWAP4
00001894: SWAP3
00001895: POP
00001896: POP
00001897: POP
00001898: JUMP
00001899: JUMPDEST
0000189a: PUSH1 0x00
0000189c: DUP1
0000189d: DUP3
0000189e: DUP5
0000189f: DUP2
000018a0: ISZERO
000018a1: ISZERO
000018a2: PUSH2 0x18a7
000018a5: JUMPI
000018a6: INVALID
000018a7: JUMPDEST
000018a8: DIV
000018a9: SWAP5
000018aa: SWAP4
000018ab: POP
000018ac: POP
000018ad: POP
000018ae: POP
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH1 0x0b
000018b3: SLOAD
000018b4: PUSH1 0x00
000018b6: SWAP1
000018b7: PUSH12 0x204fce5e3e25026110000000
000018c4: SWAP1
000018c5: DUP3
000018c6: SWAP1
000018c7: PUSH4 0x3b9aca00
000018cc: PUSH2 0x192f
000018cf: PUSH2 0x1929
000018d2: PUSH19 0x59aedfc10d7279c5eed1401645400000000000
000018e6: DUP9
000018e7: MUL
000018e8: PUSH1 0x02
000018ea: DUP6
000018eb: EXP
000018ec: PUSH8 0x0de0b6b3a7640000
000018f5: MUL
000018f6: ADD
000018f7: PUSH16 0x0f0bdc21abb48db201e86d4000000000
00001908: DUP6
00001909: MUL
0000190a: ADD
0000190b: PUSH24 0x04140c78940f6a24fdffc78873d4490d2100000000000000
00001924: ADD
00001925: PUSH2 0x19c3
00001928: JUMP
00001929: JUMPDEST
0000192a: DUP6
0000192b: PUSH2 0x1234
0000192e: JUMP
0000192f: JUMPDEST
00001930: DUP2
00001931: ISZERO
00001932: ISZERO
00001933: PUSH2 0x1938
00001936: JUMPI
00001937: INVALID
00001938: JUMPDEST
00001939: DIV
0000193a: SUB
0000193b: SWAP5
0000193c: SWAP4
0000193d: POP
0000193e: POP
0000193f: POP
00001940: POP
00001941: JUMP
00001942: JUMPDEST
00001943: PUSH1 0x0b
00001945: SLOAD
00001946: PUSH1 0x00
00001948: SWAP1
00001949: PUSH8 0x0de0b6b3a7640000
00001952: DUP4
00001953: DUP2
00001954: ADD
00001955: SWAP2
00001956: DUP2
00001957: ADD
00001958: SWAP1
00001959: DUP4
0000195a: SWAP1
0000195b: PUSH2 0x1999
0000195e: PUSH5 0x0218711a00
00001964: DUP3
00001965: DUP6
00001966: DIV
00001967: PUSH4 0x3b9aca00
0000196c: MUL
0000196d: ADD
0000196e: DUP8
0000196f: MUL
00001970: PUSH1 0x02
00001972: DUP4
00001973: PUSH8 0x0de0b6b3a763ffff
0000197c: NOT
0000197d: DUP3
0000197e: DUP10
0000197f: EXP
00001980: DUP12
00001981: SWAP1
00001982: SUB
00001983: ADD
00001984: DIV
00001985: PUSH4 0x3b9aca00
0000198a: MUL
0000198b: DUP2
0000198c: ISZERO
0000198d: ISZERO
0000198e: PUSH2 0x1993
00001991: JUMPI
00001992: INVALID
00001993: JUMPDEST
00001994: DIV
00001995: PUSH2 0x1234
00001998: JUMP
00001999: JUMPDEST
0000199a: DUP2
0000199b: ISZERO
0000199c: ISZERO
0000199d: PUSH2 0x19a2
000019a0: JUMPI
000019a1: INVALID
000019a2: JUMPDEST
000019a3: DIV
000019a4: SWAP6
000019a5: SWAP5
000019a6: POP
000019a7: POP
000019a8: POP
000019a9: POP
000019aa: POP
000019ab: JUMP
000019ac: JUMPDEST
000019ad: PUSH1 0x00
000019af: SWAP1
000019b0: EXTCODESIZE
000019b1: GT
000019b2: SWAP1
000019b3: JUMP
000019b4: JUMPDEST
000019b5: PUSH1 0x00
000019b7: DUP3
000019b8: DUP3
000019b9: ADD
000019ba: DUP4
000019bb: DUP2
000019bc: LT
000019bd: ISZERO
000019be: PUSH2 0x1892
000019c1: JUMPI
000019c2: INVALID
000019c3: JUMPDEST
000019c4: DUP1
000019c5: PUSH1 0x02
000019c7: PUSH1 0x01
000019c9: DUP3
000019ca: ADD
000019cb: DIV
000019cc: JUMPDEST
000019cd: DUP2
000019ce: DUP2
000019cf: LT
000019d0: ISZERO
000019d1: PUSH2 0x0bb8
000019d4: JUMPI
000019d5: DUP1
000019d6: SWAP2
000019d7: POP
000019d8: PUSH1 0x02
000019da: DUP2
000019db: DUP3
000019dc: DUP6
000019dd: DUP2
000019de: ISZERO
000019df: ISZERO
000019e0: PUSH2 0x19e5
000019e3: JUMPI
000019e4: INVALID
000019e5: JUMPDEST
000019e6: DIV
000019e7: ADD
000019e8: DUP2
000019e9: ISZERO
000019ea: ISZERO
000019eb: PUSH2 0x19f0
000019ee: JUMPI
000019ef: INVALID
000019f0: JUMPDEST
000019f1: DIV
000019f2: SWAP1
000019f3: POP
000019f4: PUSH2 0x19cc
000019f7: JUMP
000019f8: JUMPDEST
000019f9: DUP3
000019fa: DUP1
000019fb: SLOAD
000019fc: PUSH1 0x01
000019fe: DUP2
000019ff: PUSH1 0x01
00001a01: AND
00001a02: ISZERO
00001a03: PUSH2 0x0100
00001a06: MUL
00001a07: SUB
00001a08: AND
00001a09: PUSH1 0x02
00001a0b: SWAP1
00001a0c: DIV
00001a0d: SWAP1
00001a0e: PUSH1 0x00
00001a10: MSTORE
00001a11: PUSH1 0x20
00001a13: PUSH1 0x00
00001a15: KECCAK256
00001a16: SWAP1
00001a17: PUSH1 0x1f
00001a19: ADD
00001a1a: PUSH1 0x20
00001a1c: SWAP1
00001a1d: DIV
00001a1e: DUP2
00001a1f: ADD
00001a20: SWAP3
00001a21: DUP3
00001a22: PUSH1 0x1f
00001a24: LT
00001a25: PUSH2 0x1a39
00001a28: JUMPI
00001a29: DUP1
00001a2a: MLOAD
00001a2b: PUSH1 0xff
00001a2d: NOT
00001a2e: AND
00001a2f: DUP4
00001a30: DUP1
00001a31: ADD
00001a32: OR
00001a33: DUP6
00001a34: SSTORE
00001a35: PUSH2 0x1a66
00001a38: JUMP
00001a39: JUMPDEST
00001a3a: DUP3
00001a3b: DUP1
00001a3c: ADD
00001a3d: PUSH1 0x01
00001a3f: ADD
00001a40: DUP6
00001a41: SSTORE
00001a42: DUP3
00001a43: ISZERO
00001a44: PUSH2 0x1a66
00001a47: JUMPI
00001a48: SWAP2
00001a49: DUP3
00001a4a: ADD
00001a4b: JUMPDEST
00001a4c: DUP3
00001a4d: DUP2
00001a4e: GT
00001a4f: ISZERO
00001a50: PUSH2 0x1a66
00001a53: JUMPI
00001a54: DUP3
00001a55: MLOAD
00001a56: DUP3
00001a57: SSTORE
00001a58: SWAP2
00001a59: PUSH1 0x20
00001a5b: ADD
00001a5c: SWAP2
00001a5d: SWAP1
00001a5e: PUSH1 0x01
00001a60: ADD
00001a61: SWAP1
00001a62: PUSH2 0x1a4b
00001a65: JUMP
00001a66: JUMPDEST
00001a67: POP
00001a68: PUSH2 0x0d6f
00001a6b: SWAP3
00001a6c: PUSH2 0x0828
00001a6f: SWAP3
00001a70: POP
00001a71: SWAP1
00001a72: JUMPDEST
00001a73: DUP1
00001a74: DUP3
00001a75: GT
00001a76: ISZERO
00001a77: PUSH2 0x0d6f
00001a7a: JUMPI
00001a7b: PUSH1 0x00
00001a7d: DUP2
00001a7e: SSTORE
00001a7f: PUSH1 0x01
00001a81: ADD
00001a82: PUSH2 0x1a72
00001a85: JUMP
00001a86: STOP
00001a87: LOG1
00001a88: PUSH6 0x627a7a723058
00001a8f: KECCAK256
00001a90: EQ
00001a91: UNKNOWN(0xD9)
00001a92: PUSH16 0xec83bc9cf55f3890485556a1a5d77628
00001aa3: SIGNEXTEND
00001aa4: UNKNOWN(0xD0)
00001aa5: CALLDATACOPY
00001aa6: UNKNOWN(0xE5)
00001aa7: PUSH2 0x2f9f
00001aaa: GASPRICE
00001aab: SLT
00001aac: UNKNOWN(0xBF)
00001aad: UNKNOWN(0x24)
00001aae: UNKNOWN(0x4E)
00001aaf: UNKNOWN(0x0D)
00001ab0: STOP
00001ab1: UNKNOWN(0x29)
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high 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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f34dc16",
            "selector": "0x0f34dc16",
            "calldata_variants": [
                "0x0f34dc16",
                "0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27defa1f",
            "selector": "0x27defa1f",
            "calldata_variants": [
                "0x27defa1f",
                "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x294205b4",
            "selector": "0x294205b4",
            "calldata_variants": [
                "0x294205b4",
                "0x294205b40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 1575,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x3fbe07e84f13bc5a8a87d6d30fcb1e2ef79a30894d9f32dccfe1114dccdb0e7a
call_targets: 0xd2bfceeab8ffa24cdf94faa2683df63df4bcbdc8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3fbe07e84f13bc5a8a87d6d30fcb1e2ef79a30894d9f32dccfe1114dccdb0e7a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd2bfceeab8ffa24cdf94faa2683df63df4bcbdc8"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f34dc16",
            "selector": "0x0f34dc16",
            "calldata_variants": [
                "0x0f34dc16",
                "0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27defa1f",
            "selector": "0x27defa1f",
            "calldata_variants": [
                "0x27defa1f",
                "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x294205b4",
            "selector": "0x294205b4",
            "calldata_variants": [
                "0x294205b4",
                "0x294205b40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1737,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2399,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2735,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 1575,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x3fbe07e84f13bc5a8a87d6d30fcb1e2ef79a30894d9f32dccfe1114dccdb0e7a
call_targets: 0xd2bfceeab8ffa24cdf94faa2683df63df4bcbdc8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3fbe07e84f13bc5a8a87d6d30fcb1e2ef79a30894d9f32dccfe1114dccdb0e7a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd2bfceeab8ffa24cdf94faa2683df63df4bcbdc8"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f34dc16",
            "selector": "0x0f34dc16",
            "calldata_variants": [
                "0x0f34dc16",
                "0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27defa1f",
            "selector": "0x27defa1f",
            "calldata_variants": [
                "0x27defa1f",
                "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x294205b4",
            "selector": "0x294205b4",
            "calldata_variants": [
                "0x294205b4",
                "0x294205b40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1737,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2399,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2735,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 1575,
            "type": "tx_origin_used"
        }
    ]
}