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

Analysis Run

019b477e-c867-72d3-8d45-adfc668d31e0

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
26133 artifact.fetch complete 1 / 3 3 months ago
26134 tool.cast_disasm complete 1 / 3 3 months ago
112951 analysis.bundle complete 1 / 3 1 week ago
112952 capability.graph complete 1 / 3 1 week ago
112953 detector.run complete 1 / 3 1 week ago
112954 validation.fork complete 1 / 3 1 week 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
0
CALL-family (heavy)
5
EXT*/BALANCE
4
Total opcodes
4360
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01d1
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8b83209b
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce7c2ac2
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe0e31639
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe0e31639
0000003a: EQ
0000003b: PUSH2 0x05d5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe33b7de3
00000045: EQ
00000046: PUSH2 0x05e8
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe6a72acf
00000050: EQ
00000051: PUSH2 0x05fd
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x061d
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xce7c2ac2
0000006b: EQ
0000006c: PUSH2 0x053f
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd5f52098
00000076: EQ
00000077: PUSH2 0x0575
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd79779b2
00000081: EQ
00000082: PUSH2 0x058a
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xde8801e5
0000008c: EQ
0000008d: PUSH2 0x05c0
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xab0bcc41
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xab0bcc41
000000a7: EQ
000000a8: PUSH2 0x0495
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xb3a891c9
000000b2: EQ
000000b3: PUSH2 0x04c9
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb87d1a8b
000000bd: EQ
000000be: PUSH2 0x04e9
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xc7029964
000000c8: EQ
000000c9: PUSH2 0x051b
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x8b83209b
000000d8: EQ
000000d9: PUSH2 0x0404
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x8da5cb5b
000000e3: EQ
000000e4: PUSH2 0x043c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x9852595c
000000ee: EQ
000000ef: PUSH2 0x045f
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x420401e9
000000fe: GT
000000ff: PUSH2 0x016f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x7cb64759
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x7cb64759
00000114: EQ
00000115: PUSH2 0x03a7
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x8456cb59
0000011f: EQ
00000120: PUSH2 0x03c7
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x8559dff3
0000012a: EQ
0000012b: PUSH2 0x03dc
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x877a294a
00000135: EQ
00000136: PUSH2 0x03f1
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x420401e9
00000145: EQ
00000146: PUSH2 0x032e
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x48b75044
00000150: EQ
00000151: PUSH2 0x034e
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x5c975abb
0000015b: EQ
0000015c: PUSH2 0x036e
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x715018a6
00000166: EQ
00000167: PUSH2 0x0392
0000016a: JUMPI
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x3a98ef39
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x3a98ef39
00000181: EQ
00000182: PUSH2 0x0281
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x3cf924a0
0000018c: EQ
0000018d: PUSH2 0x02a5
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x3f4ba83a
00000197: EQ
00000198: PUSH2 0x02d3
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x406072a9
000001a2: EQ
000001a3: PUSH2 0x02e8
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x19165587
000001b2: EQ
000001b3: PUSH2 0x021f
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x222cb901
000001bd: EQ
000001be: PUSH2 0x0241
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x26a4e8d2
000001c8: EQ
000001c9: PUSH2 0x0261
000001cc: JUMPI
000001cd: PUSH1 0x00
000001cf: DUP1
000001d0: REVERT
000001d1: JUMPDEST
000001d2: CALLDATASIZE
000001d3: PUSH2 0x021a
000001d6: JUMPI
000001d7: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
000001f8: CALLER
000001f9: PUSH1 0x40
000001fb: DUP1
000001fc: MLOAD
000001fd: PUSH1 0x01
000001ff: PUSH1 0x01
00000201: PUSH1 0xa0
00000203: SHL
00000204: SUB
00000205: SWAP1
00000206: SWAP3
00000207: AND
00000208: DUP3
00000209: MSTORE
0000020a: CALLVALUE
0000020b: PUSH1 0x20
0000020d: DUP4
0000020e: ADD
0000020f: MSTORE
00000210: ADD
00000211: PUSH1 0x40
00000213: MLOAD
00000214: DUP1
00000215: SWAP2
00000216: SUB
00000217: SWAP1
00000218: LOG1
00000219: STOP
0000021a: JUMPDEST
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: CALLVALUE
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH2 0x023f
00000230: PUSH2 0x023a
00000233: CALLDATASIZE
00000234: PUSH1 0x04
00000236: PUSH2 0x1827
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH2 0x063d
0000023e: JUMP
0000023f: JUMPDEST
00000240: STOP
00000241: JUMPDEST
00000242: CALLVALUE
00000243: DUP1
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: POP
0000024f: PUSH2 0x023f
00000252: PUSH2 0x025c
00000255: CALLDATASIZE
00000256: PUSH1 0x04
00000258: PUSH2 0x1844
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH2 0x07f3
00000260: JUMP
00000261: JUMPDEST
00000262: CALLVALUE
00000263: DUP1
00000264: ISZERO
00000265: PUSH2 0x026d
00000268: JUMPI
00000269: PUSH1 0x00
0000026b: DUP1
0000026c: REVERT
0000026d: JUMPDEST
0000026e: POP
0000026f: PUSH2 0x023f
00000272: PUSH2 0x027c
00000275: CALLDATASIZE
00000276: PUSH1 0x04
00000278: PUSH2 0x1827
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH2 0x0868
00000280: JUMP
00000281: JUMPDEST
00000282: CALLVALUE
00000283: DUP1
00000284: ISZERO
00000285: PUSH2 0x028d
00000288: JUMPI
00000289: PUSH1 0x00
0000028b: DUP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: POP
0000028f: PUSH1 0x01
00000291: SLOAD
00000292: JUMPDEST
00000293: PUSH1 0x40
00000295: MLOAD
00000296: SWAP1
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: ADD
0000029c: JUMPDEST
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: DUP1
000002a1: SWAP2
000002a2: SUB
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: PUSH1 0x09
000002b5: SLOAD
000002b6: PUSH1 0x01
000002b8: PUSH1 0x40
000002ba: SHL
000002bb: SWAP1
000002bc: DIV
000002bd: PUSH2 0xffff
000002c0: AND
000002c1: PUSH1 0x40
000002c3: MLOAD
000002c4: PUSH2 0xffff
000002c7: SWAP1
000002c8: SWAP2
000002c9: AND
000002ca: DUP2
000002cb: MSTORE
000002cc: PUSH1 0x20
000002ce: ADD
000002cf: PUSH2 0x029c
000002d2: JUMP
000002d3: JUMPDEST
000002d4: CALLVALUE
000002d5: DUP1
000002d6: ISZERO
000002d7: PUSH2 0x02df
000002da: JUMPI
000002db: PUSH1 0x00
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: PUSH2 0x023f
000002e4: PUSH2 0x08e5
000002e7: JUMP
000002e8: JUMPDEST
000002e9: CALLVALUE
000002ea: DUP1
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: POP
000002f6: PUSH2 0x0292
000002f9: PUSH2 0x0303
000002fc: CALLDATASIZE
000002fd: PUSH1 0x04
000002ff: PUSH2 0x1868
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH1 0x01
00000306: PUSH1 0x01
00000308: PUSH1 0xa0
0000030a: SHL
0000030b: SUB
0000030c: SWAP2
0000030d: DUP3
0000030e: AND
0000030f: PUSH1 0x00
00000311: SWAP1
00000312: DUP2
00000313: MSTORE
00000314: PUSH1 0x07
00000316: PUSH1 0x20
00000318: SWAP1
00000319: DUP2
0000031a: MSTORE
0000031b: PUSH1 0x40
0000031d: DUP1
0000031e: DUP4
0000031f: KECCAK256
00000320: SWAP4
00000321: SWAP1
00000322: SWAP5
00000323: AND
00000324: DUP3
00000325: MSTORE
00000326: SWAP2
00000327: SWAP1
00000328: SWAP2
00000329: MSTORE
0000032a: KECCAK256
0000032b: SLOAD
0000032c: SWAP1
0000032d: JUMP
0000032e: JUMPDEST
0000032f: CALLVALUE
00000330: DUP1
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: POP
0000033c: PUSH2 0x023f
0000033f: PUSH2 0x0349
00000342: CALLDATASIZE
00000343: PUSH1 0x04
00000345: PUSH2 0x18a1
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH2 0x093d
0000034d: JUMP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: DUP1
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: POP
0000035c: PUSH2 0x023f
0000035f: PUSH2 0x0369
00000362: CALLDATASIZE
00000363: PUSH1 0x04
00000365: PUSH2 0x1868
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH2 0x0990
0000036d: JUMP
0000036e: JUMPDEST
0000036f: CALLVALUE
00000370: DUP1
00000371: ISZERO
00000372: PUSH2 0x037a
00000375: JUMPI
00000376: PUSH1 0x00
00000378: DUP1
00000379: REVERT
0000037a: JUMPDEST
0000037b: POP
0000037c: PUSH1 0x00
0000037e: SLOAD
0000037f: PUSH1 0xff
00000381: AND
00000382: JUMPDEST
00000383: PUSH1 0x40
00000385: MLOAD
00000386: SWAP1
00000387: ISZERO
00000388: ISZERO
00000389: DUP2
0000038a: MSTORE
0000038b: PUSH1 0x20
0000038d: ADD
0000038e: PUSH2 0x029c
00000391: JUMP
00000392: JUMPDEST
00000393: CALLVALUE
00000394: DUP1
00000395: ISZERO
00000396: PUSH2 0x039e
00000399: JUMPI
0000039a: PUSH1 0x00
0000039c: DUP1
0000039d: REVERT
0000039e: JUMPDEST
0000039f: POP
000003a0: PUSH2 0x023f
000003a3: PUSH2 0x0bfb
000003a6: JUMP
000003a7: JUMPDEST
000003a8: CALLVALUE
000003a9: DUP1
000003aa: ISZERO
000003ab: PUSH2 0x03b3
000003ae: JUMPI
000003af: PUSH1 0x00
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: POP
000003b5: PUSH2 0x023f
000003b8: PUSH2 0x03c2
000003bb: CALLDATASIZE
000003bc: PUSH1 0x04
000003be: PUSH2 0x18a1
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH2 0x0c53
000003c6: JUMP
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: DUP1
000003ca: ISZERO
000003cb: PUSH2 0x03d3
000003ce: JUMPI
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: POP
000003d5: PUSH2 0x023f
000003d8: PUSH2 0x0ca6
000003db: JUMP
000003dc: JUMPDEST
000003dd: CALLVALUE
000003de: DUP1
000003df: ISZERO
000003e0: PUSH2 0x03e8
000003e3: JUMPI
000003e4: PUSH1 0x00
000003e6: DUP1
000003e7: REVERT
000003e8: JUMPDEST
000003e9: POP
000003ea: PUSH1 0x08
000003ec: SLOAD
000003ed: PUSH2 0x0292
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH2 0x023f
000003f5: PUSH2 0x03ff
000003f8: CALLDATASIZE
000003f9: PUSH1 0x04
000003fb: PUSH2 0x18d0
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH2 0x0cfc
00000403: JUMP
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x0424
00000415: PUSH2 0x041f
00000418: CALLDATASIZE
00000419: PUSH1 0x04
0000041b: PUSH2 0x18a1
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH2 0x0ea0
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH1 0x40
00000427: MLOAD
00000428: PUSH1 0x01
0000042a: PUSH1 0x01
0000042c: PUSH1 0xa0
0000042e: SHL
0000042f: SUB
00000430: SWAP1
00000431: SWAP2
00000432: AND
00000433: DUP2
00000434: MSTORE
00000435: PUSH1 0x20
00000437: ADD
00000438: PUSH2 0x029c
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH1 0x00
0000044c: SLOAD
0000044d: PUSH2 0x0100
00000450: SWAP1
00000451: DIV
00000452: PUSH1 0x01
00000454: PUSH1 0x01
00000456: PUSH1 0xa0
00000458: SHL
00000459: SUB
0000045a: AND
0000045b: PUSH2 0x0424
0000045e: JUMP
0000045f: JUMPDEST
00000460: CALLVALUE
00000461: DUP1
00000462: ISZERO
00000463: PUSH2 0x046b
00000466: JUMPI
00000467: PUSH1 0x00
00000469: DUP1
0000046a: REVERT
0000046b: JUMPDEST
0000046c: POP
0000046d: PUSH2 0x0292
00000470: PUSH2 0x047a
00000473: CALLDATASIZE
00000474: PUSH1 0x04
00000476: PUSH2 0x1827
00000479: JUMP
0000047a: JUMPDEST
0000047b: PUSH1 0x01
0000047d: PUSH1 0x01
0000047f: PUSH1 0xa0
00000481: SHL
00000482: SUB
00000483: AND
00000484: PUSH1 0x00
00000486: SWAP1
00000487: DUP2
00000488: MSTORE
00000489: PUSH1 0x04
0000048b: PUSH1 0x20
0000048d: MSTORE
0000048e: PUSH1 0x40
00000490: SWAP1
00000491: KECCAK256
00000492: SLOAD
00000493: SWAP1
00000494: JUMP
00000495: JUMPDEST
00000496: CALLVALUE
00000497: DUP1
00000498: ISZERO
00000499: PUSH2 0x04a1
0000049c: JUMPI
0000049d: PUSH1 0x00
0000049f: DUP1
000004a0: REVERT
000004a1: JUMPDEST
000004a2: POP
000004a3: PUSH1 0x09
000004a5: SLOAD
000004a6: PUSH8 0xffffffffffffffff
000004af: AND
000004b0: JUMPDEST
000004b1: PUSH1 0x40
000004b3: MLOAD
000004b4: PUSH8 0xffffffffffffffff
000004bd: SWAP1
000004be: SWAP2
000004bf: AND
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: PUSH2 0x029c
000004c8: JUMP
000004c9: JUMPDEST
000004ca: CALLVALUE
000004cb: DUP1
000004cc: ISZERO
000004cd: PUSH2 0x04d5
000004d0: JUMPI
000004d1: PUSH1 0x00
000004d3: DUP1
000004d4: REVERT
000004d5: JUMPDEST
000004d6: POP
000004d7: PUSH2 0x023f
000004da: PUSH2 0x04e4
000004dd: CALLDATASIZE
000004de: PUSH1 0x04
000004e0: PUSH2 0x18eb
000004e3: JUMP
000004e4: JUMPDEST
000004e5: PUSH2 0x0ed0
000004e8: JUMP
000004e9: JUMPDEST
000004ea: CALLVALUE
000004eb: DUP1
000004ec: ISZERO
000004ed: PUSH2 0x04f5
000004f0: JUMPI
000004f1: PUSH1 0x00
000004f3: DUP1
000004f4: REVERT
000004f5: JUMPDEST
000004f6: POP
000004f7: PUSH2 0x0509
000004fa: PUSH2 0x0504
000004fd: CALLDATASIZE
000004fe: PUSH1 0x04
00000500: PUSH2 0x18d0
00000503: JUMP
00000504: JUMPDEST
00000505: PUSH2 0x0f42
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH1 0x40
0000050c: MLOAD
0000050d: PUSH1 0xff
0000050f: SWAP1
00000510: SWAP2
00000511: AND
00000512: DUP2
00000513: MSTORE
00000514: PUSH1 0x20
00000516: ADD
00000517: PUSH2 0x029c
0000051a: JUMP
0000051b: JUMPDEST
0000051c: CALLVALUE
0000051d: DUP1
0000051e: ISZERO
0000051f: PUSH2 0x0527
00000522: JUMPI
00000523: PUSH1 0x00
00000525: DUP1
00000526: REVERT
00000527: JUMPDEST
00000528: POP
00000529: PUSH1 0x09
0000052b: SLOAD
0000052c: TIMESTAMP
0000052d: PUSH8 0xffffffffffffffff
00000536: SWAP1
00000537: SWAP2
00000538: AND
00000539: GT
0000053a: ISZERO
0000053b: PUSH2 0x0382
0000053e: JUMP
0000053f: JUMPDEST
00000540: CALLVALUE
00000541: DUP1
00000542: ISZERO
00000543: PUSH2 0x054b
00000546: JUMPI
00000547: PUSH1 0x00
00000549: DUP1
0000054a: REVERT
0000054b: JUMPDEST
0000054c: POP
0000054d: PUSH2 0x0292
00000550: PUSH2 0x055a
00000553: CALLDATASIZE
00000554: PUSH1 0x04
00000556: PUSH2 0x1827
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH1 0x01
0000055d: PUSH1 0x01
0000055f: PUSH1 0xa0
00000561: SHL
00000562: SUB
00000563: AND
00000564: PUSH1 0x00
00000566: SWAP1
00000567: DUP2
00000568: MSTORE
00000569: PUSH1 0x03
0000056b: PUSH1 0x20
0000056d: MSTORE
0000056e: PUSH1 0x40
00000570: SWAP1
00000571: KECCAK256
00000572: SLOAD
00000573: SWAP1
00000574: JUMP
00000575: JUMPDEST
00000576: CALLVALUE
00000577: DUP1
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: POP
00000583: PUSH2 0x0382
00000586: PUSH2 0x0f5f
00000589: JUMP
0000058a: JUMPDEST
0000058b: CALLVALUE
0000058c: DUP1
0000058d: ISZERO
0000058e: PUSH2 0x0596
00000591: JUMPI
00000592: PUSH1 0x00
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: POP
00000598: PUSH2 0x0292
0000059b: PUSH2 0x05a5
0000059e: CALLDATASIZE
0000059f: PUSH1 0x04
000005a1: PUSH2 0x1827
000005a4: JUMP
000005a5: JUMPDEST
000005a6: PUSH1 0x01
000005a8: PUSH1 0x01
000005aa: PUSH1 0xa0
000005ac: SHL
000005ad: SUB
000005ae: AND
000005af: PUSH1 0x00
000005b1: SWAP1
000005b2: DUP2
000005b3: MSTORE
000005b4: PUSH1 0x06
000005b6: PUSH1 0x20
000005b8: MSTORE
000005b9: PUSH1 0x40
000005bb: SWAP1
000005bc: KECCAK256
000005bd: SLOAD
000005be: SWAP1
000005bf: JUMP
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: DUP1
000005c3: ISZERO
000005c4: PUSH2 0x05cc
000005c7: JUMPI
000005c8: PUSH1 0x00
000005ca: DUP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: POP
000005ce: PUSH2 0x04b0
000005d1: PUSH2 0x0f7b
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH2 0x023f
000005d9: PUSH2 0x05e3
000005dc: CALLDATASIZE
000005dd: PUSH1 0x04
000005df: PUSH2 0x1915
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH2 0x0f9d
000005e7: JUMP
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH1 0x02
000005f8: SLOAD
000005f9: PUSH2 0x0292
000005fc: JUMP
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x0609
00000604: JUMPI
00000605: PUSH1 0x00
00000607: DUP1
00000608: REVERT
00000609: JUMPDEST
0000060a: POP
0000060b: PUSH2 0x0292
0000060e: PUSH2 0x0618
00000611: CALLDATASIZE
00000612: PUSH1 0x04
00000614: PUSH2 0x18a1
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH2 0x1189
0000061c: JUMP
0000061d: JUMPDEST
0000061e: CALLVALUE
0000061f: DUP1
00000620: ISZERO
00000621: PUSH2 0x0629
00000624: JUMPI
00000625: PUSH1 0x00
00000627: DUP1
00000628: REVERT
00000629: JUMPDEST
0000062a: POP
0000062b: PUSH2 0x023f
0000062e: PUSH2 0x0638
00000631: CALLDATASIZE
00000632: PUSH1 0x04
00000634: PUSH2 0x1827
00000637: JUMP
00000638: JUMPDEST
00000639: PUSH2 0x1199
0000063c: JUMP
0000063d: JUMPDEST
0000063e: PUSH1 0x01
00000640: PUSH1 0x01
00000642: PUSH1 0xa0
00000644: SHL
00000645: SUB
00000646: DUP2
00000647: AND
00000648: PUSH1 0x00
0000064a: SWAP1
0000064b: DUP2
0000064c: MSTORE
0000064d: PUSH1 0x03
0000064f: PUSH1 0x20
00000651: MSTORE
00000652: PUSH1 0x40
00000654: SWAP1
00000655: KECCAK256
00000656: SLOAD
00000657: PUSH2 0x06b6
0000065a: JUMPI
0000065b: PUSH1 0x40
0000065d: MLOAD
0000065e: PUSH3 0x461bcd
00000662: PUSH1 0xe5
00000664: SHL
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x20
00000669: PUSH1 0x04
0000066b: DUP3
0000066c: ADD
0000066d: MSTORE
0000066e: PUSH1 0x26
00000670: PUSH1 0x24
00000672: DUP3
00000673: ADD
00000674: MSTORE
00000675: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00000696: PUSH1 0x44
00000698: DUP3
00000699: ADD
0000069a: MSTORE
0000069b: PUSH6 0x736861726573
000006a2: PUSH1 0xd0
000006a4: SHL
000006a5: PUSH1 0x64
000006a7: DUP3
000006a8: ADD
000006a9: MSTORE
000006aa: PUSH1 0x84
000006ac: ADD
000006ad: JUMPDEST
000006ae: PUSH1 0x40
000006b0: MLOAD
000006b1: DUP1
000006b2: SWAP2
000006b3: SUB
000006b4: SWAP1
000006b5: REVERT
000006b6: JUMPDEST
000006b7: PUSH1 0x00
000006b9: PUSH2 0x06c1
000006bc: PUSH1 0x02
000006be: SLOAD
000006bf: SWAP1
000006c0: JUMP
000006c1: JUMPDEST
000006c2: PUSH2 0x06cb
000006c5: SWAP1
000006c6: SELFBALANCE
000006c7: PUSH2 0x19b1
000006ca: JUMP
000006cb: JUMPDEST
000006cc: SWAP1
000006cd: POP
000006ce: PUSH1 0x00
000006d0: PUSH2 0x06f8
000006d3: DUP4
000006d4: DUP4
000006d5: PUSH2 0x06f3
000006d8: DUP7
000006d9: PUSH1 0x01
000006db: PUSH1 0x01
000006dd: PUSH1 0xa0
000006df: SHL
000006e0: SUB
000006e1: AND
000006e2: PUSH1 0x00
000006e4: SWAP1
000006e5: DUP2
000006e6: MSTORE
000006e7: PUSH1 0x04
000006e9: PUSH1 0x20
000006eb: MSTORE
000006ec: PUSH1 0x40
000006ee: SWAP1
000006ef: KECCAK256
000006f0: SLOAD
000006f1: SWAP1
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH2 0x1258
000006f7: JUMP
000006f8: JUMPDEST
000006f9: SWAP1
000006fa: POP
000006fb: DUP1
000006fc: PUSH2 0x075b
000006ff: JUMPI
00000700: PUSH1 0x40
00000702: MLOAD
00000703: PUSH3 0x461bcd
00000707: PUSH1 0xe5
00000709: SHL
0000070a: DUP2
0000070b: MSTORE
0000070c: PUSH1 0x20
0000070e: PUSH1 0x04
00000710: DUP3
00000711: ADD
00000712: MSTORE
00000713: PUSH1 0x2b
00000715: PUSH1 0x24
00000717: DUP3
00000718: ADD
00000719: MSTORE
0000071a: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
0000073b: PUSH1 0x44
0000073d: DUP3
0000073e: ADD
0000073f: MSTORE
00000740: PUSH11 0x191d59481c185e5b595b9d
0000074c: PUSH1 0xaa
0000074e: SHL
0000074f: PUSH1 0x64
00000751: DUP3
00000752: ADD
00000753: MSTORE
00000754: PUSH1 0x84
00000756: ADD
00000757: PUSH2 0x06ad
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH1 0x01
0000075e: PUSH1 0x01
00000760: PUSH1 0xa0
00000762: SHL
00000763: SUB
00000764: DUP4
00000765: AND
00000766: PUSH1 0x00
00000768: SWAP1
00000769: DUP2
0000076a: MSTORE
0000076b: PUSH1 0x04
0000076d: PUSH1 0x20
0000076f: MSTORE
00000770: PUSH1 0x40
00000772: DUP2
00000773: KECCAK256
00000774: DUP1
00000775: SLOAD
00000776: DUP4
00000777: SWAP3
00000778: SWAP1
00000779: PUSH2 0x0783
0000077c: SWAP1
0000077d: DUP5
0000077e: SWAP1
0000077f: PUSH2 0x19b1
00000782: JUMP
00000783: JUMPDEST
00000784: SWAP3
00000785: POP
00000786: POP
00000787: DUP2
00000788: SWAP1
00000789: SSTORE
0000078a: POP
0000078b: DUP1
0000078c: PUSH1 0x02
0000078e: PUSH1 0x00
00000790: DUP3
00000791: DUP3
00000792: SLOAD
00000793: PUSH2 0x079c
00000796: SWAP2
00000797: SWAP1
00000798: PUSH2 0x19b1
0000079b: JUMP
0000079c: JUMPDEST
0000079d: SWAP1
0000079e: SWAP2
0000079f: SSTORE
000007a0: POP
000007a1: PUSH2 0x07ac
000007a4: SWAP1
000007a5: POP
000007a6: DUP4
000007a7: DUP3
000007a8: PUSH2 0x12a0
000007ab: JUMP
000007ac: JUMPDEST
000007ad: PUSH1 0x40
000007af: DUP1
000007b0: MLOAD
000007b1: PUSH1 0x01
000007b3: PUSH1 0x01
000007b5: PUSH1 0xa0
000007b7: SHL
000007b8: SUB
000007b9: DUP6
000007ba: AND
000007bb: DUP2
000007bc: MSTORE
000007bd: PUSH1 0x20
000007bf: DUP2
000007c0: ADD
000007c1: DUP4
000007c2: SWAP1
000007c3: MSTORE
000007c4: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
000007e5: SWAP2
000007e6: ADD
000007e7: PUSH1 0x40
000007e9: MLOAD
000007ea: DUP1
000007eb: SWAP2
000007ec: SUB
000007ed: SWAP1
000007ee: LOG1
000007ef: POP
000007f0: POP
000007f1: POP
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH1 0x00
000007f6: SLOAD
000007f7: PUSH1 0x01
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: SHL
000007fe: SUB
000007ff: PUSH2 0x0100
00000802: SWAP1
00000803: SWAP2
00000804: DIV
00000805: AND
00000806: CALLER
00000807: EQ
00000808: PUSH2 0x0841
0000080b: JUMPI
0000080c: PUSH1 0x40
0000080e: MLOAD
0000080f: PUSH3 0x461bcd
00000813: PUSH1 0xe5
00000815: SHL
00000816: DUP2
00000817: MSTORE
00000818: PUSH1 0x20
0000081a: PUSH1 0x04
0000081c: DUP3
0000081d: ADD
0000081e: DUP2
0000081f: SWAP1
00000820: MSTORE
00000821: PUSH1 0x24
00000823: DUP3
00000824: ADD
00000825: MSTORE
00000826: PUSH1 0x00
00000828: DUP1
00000829: MLOAD
0000082a: PUSH1 0x20
0000082c: PUSH2 0x1b85
0000082f: DUP4
00000830: CODECOPY
00000831: DUP2
00000832: MLOAD
00000833: SWAP2
00000834: MSTORE
00000835: PUSH1 0x44
00000837: DUP3
00000838: ADD
00000839: MSTORE
0000083a: PUSH1 0x64
0000083c: ADD
0000083d: PUSH2 0x06ad
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x09
00000844: DUP1
00000845: SLOAD
00000846: PUSH2 0xffff
00000849: SWAP1
0000084a: SWAP3
0000084b: AND
0000084c: PUSH1 0x01
0000084e: PUSH1 0x40
00000850: SHL
00000851: MUL
00000852: PUSH10 0xffff0000000000000000
0000085d: NOT
0000085e: SWAP1
0000085f: SWAP3
00000860: AND
00000861: SWAP2
00000862: SWAP1
00000863: SWAP2
00000864: OR
00000865: SWAP1
00000866: SSTORE
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH1 0x00
0000086b: SLOAD
0000086c: PUSH1 0x01
0000086e: PUSH1 0x01
00000870: PUSH1 0xa0
00000872: SHL
00000873: SUB
00000874: PUSH2 0x0100
00000877: SWAP1
00000878: SWAP2
00000879: DIV
0000087a: AND
0000087b: CALLER
0000087c: EQ
0000087d: PUSH2 0x08b6
00000880: JUMPI
00000881: PUSH1 0x40
00000883: MLOAD
00000884: PUSH3 0x461bcd
00000888: PUSH1 0xe5
0000088a: SHL
0000088b: DUP2
0000088c: MSTORE
0000088d: PUSH1 0x20
0000088f: PUSH1 0x04
00000891: DUP3
00000892: ADD
00000893: DUP2
00000894: SWAP1
00000895: MSTORE
00000896: PUSH1 0x24
00000898: DUP3
00000899: ADD
0000089a: MSTORE
0000089b: PUSH1 0x00
0000089d: DUP1
0000089e: MLOAD
0000089f: PUSH1 0x20
000008a1: PUSH2 0x1b85
000008a4: DUP4
000008a5: CODECOPY
000008a6: DUP2
000008a7: MLOAD
000008a8: SWAP2
000008a9: MSTORE
000008aa: PUSH1 0x44
000008ac: DUP3
000008ad: ADD
000008ae: MSTORE
000008af: PUSH1 0x64
000008b1: ADD
000008b2: PUSH2 0x06ad
000008b5: JUMP
000008b6: JUMPDEST
000008b7: PUSH1 0x0c
000008b9: DUP1
000008ba: SLOAD
000008bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d0: NOT
000008d1: AND
000008d2: PUSH1 0x01
000008d4: PUSH1 0x01
000008d6: PUSH1 0xa0
000008d8: SHL
000008d9: SUB
000008da: SWAP3
000008db: SWAP1
000008dc: SWAP3
000008dd: AND
000008de: SWAP2
000008df: SWAP1
000008e0: SWAP2
000008e1: OR
000008e2: SWAP1
000008e3: SSTORE
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x00
000008e8: SLOAD
000008e9: PUSH1 0x01
000008eb: PUSH1 0x01
000008ed: PUSH1 0xa0
000008ef: SHL
000008f0: SUB
000008f1: PUSH2 0x0100
000008f4: SWAP1
000008f5: SWAP2
000008f6: DIV
000008f7: AND
000008f8: CALLER
000008f9: EQ
000008fa: PUSH2 0x0933
000008fd: JUMPI
000008fe: PUSH1 0x40
00000900: MLOAD
00000901: PUSH3 0x461bcd
00000905: PUSH1 0xe5
00000907: SHL
00000908: DUP2
00000909: MSTORE
0000090a: PUSH1 0x20
0000090c: PUSH1 0x04
0000090e: DUP3
0000090f: ADD
00000910: DUP2
00000911: SWAP1
00000912: MSTORE
00000913: PUSH1 0x24
00000915: DUP3
00000916: ADD
00000917: MSTORE
00000918: PUSH1 0x00
0000091a: DUP1
0000091b: MLOAD
0000091c: PUSH1 0x20
0000091e: PUSH2 0x1b85
00000921: DUP4
00000922: CODECOPY
00000923: DUP2
00000924: MLOAD
00000925: SWAP2
00000926: MSTORE
00000927: PUSH1 0x44
00000929: DUP3
0000092a: ADD
0000092b: MSTORE
0000092c: PUSH1 0x64
0000092e: ADD
0000092f: PUSH2 0x06ad
00000932: JUMP
00000933: JUMPDEST
00000934: PUSH2 0x093b
00000937: PUSH2 0x13be
0000093a: JUMP
0000093b: JUMPDEST
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH1 0x00
00000940: SLOAD
00000941: PUSH1 0x01
00000943: PUSH1 0x01
00000945: PUSH1 0xa0
00000947: SHL
00000948: SUB
00000949: PUSH2 0x0100
0000094c: SWAP1
0000094d: SWAP2
0000094e: DIV
0000094f: AND
00000950: CALLER
00000951: EQ
00000952: PUSH2 0x098b
00000955: JUMPI
00000956: PUSH1 0x40
00000958: MLOAD
00000959: PUSH3 0x461bcd
0000095d: PUSH1 0xe5
0000095f: SHL
00000960: DUP2
00000961: MSTORE
00000962: PUSH1 0x20
00000964: PUSH1 0x04
00000966: DUP3
00000967: ADD
00000968: DUP2
00000969: SWAP1
0000096a: MSTORE
0000096b: PUSH1 0x24
0000096d: DUP3
0000096e: ADD
0000096f: MSTORE
00000970: PUSH1 0x00
00000972: DUP1
00000973: MLOAD
00000974: PUSH1 0x20
00000976: PUSH2 0x1b85
00000979: DUP4
0000097a: CODECOPY
0000097b: DUP2
0000097c: MLOAD
0000097d: SWAP2
0000097e: MSTORE
0000097f: PUSH1 0x44
00000981: DUP3
00000982: ADD
00000983: MSTORE
00000984: PUSH1 0x64
00000986: ADD
00000987: PUSH2 0x06ad
0000098a: JUMP
0000098b: JUMPDEST
0000098c: PUSH1 0x08
0000098e: SSTORE
0000098f: JUMP
00000990: JUMPDEST
00000991: PUSH1 0x01
00000993: PUSH1 0x01
00000995: PUSH1 0xa0
00000997: SHL
00000998: SUB
00000999: DUP2
0000099a: AND
0000099b: PUSH1 0x00
0000099d: SWAP1
0000099e: DUP2
0000099f: MSTORE
000009a0: PUSH1 0x03
000009a2: PUSH1 0x20
000009a4: MSTORE
000009a5: PUSH1 0x40
000009a7: SWAP1
000009a8: KECCAK256
000009a9: SLOAD
000009aa: PUSH2 0x0a04
000009ad: JUMPI
000009ae: PUSH1 0x40
000009b0: MLOAD
000009b1: PUSH3 0x461bcd
000009b5: PUSH1 0xe5
000009b7: SHL
000009b8: DUP2
000009b9: MSTORE
000009ba: PUSH1 0x20
000009bc: PUSH1 0x04
000009be: DUP3
000009bf: ADD
000009c0: MSTORE
000009c1: PUSH1 0x26
000009c3: PUSH1 0x24
000009c5: DUP3
000009c6: ADD
000009c7: MSTORE
000009c8: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
000009e9: PUSH1 0x44
000009eb: DUP3
000009ec: ADD
000009ed: MSTORE
000009ee: PUSH6 0x736861726573
000009f5: PUSH1 0xd0
000009f7: SHL
000009f8: PUSH1 0x64
000009fa: DUP3
000009fb: ADD
000009fc: MSTORE
000009fd: PUSH1 0x84
000009ff: ADD
00000a00: PUSH2 0x06ad
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH1 0x01
00000a07: PUSH1 0x01
00000a09: PUSH1 0xa0
00000a0b: SHL
00000a0c: SUB
00000a0d: DUP3
00000a0e: AND
00000a0f: PUSH1 0x00
00000a11: SWAP1
00000a12: DUP2
00000a13: MSTORE
00000a14: PUSH1 0x06
00000a16: PUSH1 0x20
00000a18: MSTORE
00000a19: PUSH1 0x40
00000a1b: DUP2
00000a1c: KECCAK256
00000a1d: SLOAD
00000a1e: PUSH1 0x40
00000a20: MLOAD
00000a21: PUSH4 0x70a08231
00000a26: PUSH1 0xe0
00000a28: SHL
00000a29: DUP2
00000a2a: MSTORE
00000a2b: ADDRESS
00000a2c: PUSH1 0x04
00000a2e: DUP3
00000a2f: ADD
00000a30: MSTORE
00000a31: PUSH1 0x01
00000a33: PUSH1 0x01
00000a35: PUSH1 0xa0
00000a37: SHL
00000a38: SUB
00000a39: DUP6
00000a3a: AND
00000a3b: SWAP1
00000a3c: PUSH4 0x70a08231
00000a41: SWAP1
00000a42: PUSH1 0x24
00000a44: ADD
00000a45: PUSH1 0x20
00000a47: PUSH1 0x40
00000a49: MLOAD
00000a4a: DUP1
00000a4b: DUP4
00000a4c: SUB
00000a4d: DUP2
00000a4e: DUP7
00000a4f: DUP1
00000a50: EXTCODESIZE
00000a51: ISZERO
00000a52: DUP1
00000a53: ISZERO
00000a54: PUSH2 0x0a5c
00000a57: JUMPI
00000a58: PUSH1 0x00
00000a5a: DUP1
00000a5b: REVERT
00000a5c: JUMPDEST
00000a5d: POP
00000a5e: GAS
00000a5f: STATICCALL
00000a60: ISZERO
00000a61: DUP1
00000a62: ISZERO
00000a63: PUSH2 0x0a70
00000a66: JUMPI
00000a67: RETURNDATASIZE
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: RETURNDATACOPY
00000a6c: RETURNDATASIZE
00000a6d: PUSH1 0x00
00000a6f: REVERT
00000a70: JUMPDEST
00000a71: POP
00000a72: POP
00000a73: POP
00000a74: POP
00000a75: PUSH1 0x40
00000a77: MLOAD
00000a78: RETURNDATASIZE
00000a79: PUSH1 0x1f
00000a7b: NOT
00000a7c: PUSH1 0x1f
00000a7e: DUP3
00000a7f: ADD
00000a80: AND
00000a81: DUP3
00000a82: ADD
00000a83: DUP1
00000a84: PUSH1 0x40
00000a86: MSTORE
00000a87: POP
00000a88: DUP2
00000a89: ADD
00000a8a: SWAP1
00000a8b: PUSH2 0x0a94
00000a8e: SWAP2
00000a8f: SWAP1
00000a90: PUSH2 0x19c9
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH2 0x0a9e
00000a98: SWAP2
00000a99: SWAP1
00000a9a: PUSH2 0x19b1
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: SWAP1
00000aa0: POP
00000aa1: PUSH1 0x00
00000aa3: PUSH2 0x0ad7
00000aa6: DUP4
00000aa7: DUP4
00000aa8: PUSH2 0x06f3
00000aab: DUP8
00000aac: DUP8
00000aad: PUSH1 0x01
00000aaf: PUSH1 0x01
00000ab1: PUSH1 0xa0
00000ab3: SHL
00000ab4: SUB
00000ab5: SWAP2
00000ab6: DUP3
00000ab7: AND
00000ab8: PUSH1 0x00
00000aba: SWAP1
00000abb: DUP2
00000abc: MSTORE
00000abd: PUSH1 0x07
00000abf: PUSH1 0x20
00000ac1: SWAP1
00000ac2: DUP2
00000ac3: MSTORE
00000ac4: PUSH1 0x40
00000ac6: DUP1
00000ac7: DUP4
00000ac8: KECCAK256
00000ac9: SWAP4
00000aca: SWAP1
00000acb: SWAP5
00000acc: AND
00000acd: DUP3
00000ace: MSTORE
00000acf: SWAP2
00000ad0: SWAP1
00000ad1: SWAP2
00000ad2: MSTORE
00000ad3: KECCAK256
00000ad4: SLOAD
00000ad5: SWAP1
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: SWAP1
00000ad9: POP
00000ada: DUP1
00000adb: PUSH2 0x0b3a
00000ade: JUMPI
00000adf: PUSH1 0x40
00000ae1: MLOAD
00000ae2: PUSH3 0x461bcd
00000ae6: PUSH1 0xe5
00000ae8: SHL
00000ae9: DUP2
00000aea: MSTORE
00000aeb: PUSH1 0x20
00000aed: PUSH1 0x04
00000aef: DUP3
00000af0: ADD
00000af1: MSTORE
00000af2: PUSH1 0x2b
00000af4: PUSH1 0x24
00000af6: DUP3
00000af7: ADD
00000af8: MSTORE
00000af9: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000b1a: PUSH1 0x44
00000b1c: DUP3
00000b1d: ADD
00000b1e: MSTORE
00000b1f: PUSH11 0x191d59481c185e5b595b9d
00000b2b: PUSH1 0xaa
00000b2d: SHL
00000b2e: PUSH1 0x64
00000b30: DUP3
00000b31: ADD
00000b32: MSTORE
00000b33: PUSH1 0x84
00000b35: ADD
00000b36: PUSH2 0x06ad
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: PUSH1 0x01
00000b3d: PUSH1 0x01
00000b3f: PUSH1 0xa0
00000b41: SHL
00000b42: SUB
00000b43: DUP1
00000b44: DUP6
00000b45: AND
00000b46: PUSH1 0x00
00000b48: SWAP1
00000b49: DUP2
00000b4a: MSTORE
00000b4b: PUSH1 0x07
00000b4d: PUSH1 0x20
00000b4f: SWAP1
00000b50: DUP2
00000b51: MSTORE
00000b52: PUSH1 0x40
00000b54: DUP1
00000b55: DUP4
00000b56: KECCAK256
00000b57: SWAP4
00000b58: DUP8
00000b59: AND
00000b5a: DUP4
00000b5b: MSTORE
00000b5c: SWAP3
00000b5d: SWAP1
00000b5e: MSTORE
00000b5f: SWAP1
00000b60: DUP2
00000b61: KECCAK256
00000b62: DUP1
00000b63: SLOAD
00000b64: DUP4
00000b65: SWAP3
00000b66: SWAP1
00000b67: PUSH2 0x0b71
00000b6a: SWAP1
00000b6b: DUP5
00000b6c: SWAP1
00000b6d: PUSH2 0x19b1
00000b70: JUMP
00000b71: JUMPDEST
00000b72: SWAP1
00000b73: SWAP2
00000b74: SSTORE
00000b75: POP
00000b76: POP
00000b77: PUSH1 0x01
00000b79: PUSH1 0x01
00000b7b: PUSH1 0xa0
00000b7d: SHL
00000b7e: SUB
00000b7f: DUP5
00000b80: AND
00000b81: PUSH1 0x00
00000b83: SWAP1
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH1 0x06
00000b88: PUSH1 0x20
00000b8a: MSTORE
00000b8b: PUSH1 0x40
00000b8d: DUP2
00000b8e: KECCAK256
00000b8f: DUP1
00000b90: SLOAD
00000b91: DUP4
00000b92: SWAP3
00000b93: SWAP1
00000b94: PUSH2 0x0b9e
00000b97: SWAP1
00000b98: DUP5
00000b99: SWAP1
00000b9a: PUSH2 0x19b1
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: SWAP1
00000ba0: SWAP2
00000ba1: SSTORE
00000ba2: POP
00000ba3: PUSH2 0x0baf
00000ba6: SWAP1
00000ba7: POP
00000ba8: DUP5
00000ba9: DUP5
00000baa: DUP4
00000bab: PUSH2 0x145a
00000bae: JUMP
00000baf: JUMPDEST
00000bb0: PUSH1 0x40
00000bb2: DUP1
00000bb3: MLOAD
00000bb4: PUSH1 0x01
00000bb6: PUSH1 0x01
00000bb8: PUSH1 0xa0
00000bba: SHL
00000bbb: SUB
00000bbc: DUP6
00000bbd: DUP2
00000bbe: AND
00000bbf: DUP3
00000bc0: MSTORE
00000bc1: PUSH1 0x20
00000bc3: DUP3
00000bc4: ADD
00000bc5: DUP5
00000bc6: SWAP1
00000bc7: MSTORE
00000bc8: DUP7
00000bc9: AND
00000bca: SWAP2
00000bcb: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
00000bec: SWAP2
00000bed: ADD
00000bee: PUSH1 0x40
00000bf0: MLOAD
00000bf1: DUP1
00000bf2: SWAP2
00000bf3: SUB
00000bf4: SWAP1
00000bf5: LOG2
00000bf6: POP
00000bf7: POP
00000bf8: POP
00000bf9: POP
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: PUSH1 0x00
00000bfe: SLOAD
00000bff: PUSH1 0x01
00000c01: PUSH1 0x01
00000c03: PUSH1 0xa0
00000c05: SHL
00000c06: SUB
00000c07: PUSH2 0x0100
00000c0a: SWAP1
00000c0b: SWAP2
00000c0c: DIV
00000c0d: AND
00000c0e: CALLER
00000c0f: EQ
00000c10: PUSH2 0x0c49
00000c13: JUMPI
00000c14: PUSH1 0x40
00000c16: MLOAD
00000c17: PUSH3 0x461bcd
00000c1b: PUSH1 0xe5
00000c1d: SHL
00000c1e: DUP2
00000c1f: MSTORE
00000c20: PUSH1 0x20
00000c22: PUSH1 0x04
00000c24: DUP3
00000c25: ADD
00000c26: DUP2
00000c27: SWAP1
00000c28: MSTORE
00000c29: PUSH1 0x24
00000c2b: DUP3
00000c2c: ADD
00000c2d: MSTORE
00000c2e: PUSH1 0x00
00000c30: DUP1
00000c31: MLOAD
00000c32: PUSH1 0x20
00000c34: PUSH2 0x1b85
00000c37: DUP4
00000c38: CODECOPY
00000c39: DUP2
00000c3a: MLOAD
00000c3b: SWAP2
00000c3c: MSTORE
00000c3d: PUSH1 0x44
00000c3f: DUP3
00000c40: ADD
00000c41: MSTORE
00000c42: PUSH1 0x64
00000c44: ADD
00000c45: PUSH2 0x06ad
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: PUSH2 0x093b
00000c4d: PUSH1 0x00
00000c4f: PUSH2 0x14c1
00000c52: JUMP
00000c53: JUMPDEST
00000c54: PUSH1 0x00
00000c56: SLOAD
00000c57: PUSH1 0x01
00000c59: PUSH1 0x01
00000c5b: PUSH1 0xa0
00000c5d: SHL
00000c5e: SUB
00000c5f: PUSH2 0x0100
00000c62: SWAP1
00000c63: SWAP2
00000c64: DIV
00000c65: AND
00000c66: CALLER
00000c67: EQ
00000c68: PUSH2 0x0ca1
00000c6b: JUMPI
00000c6c: PUSH1 0x40
00000c6e: MLOAD
00000c6f: PUSH3 0x461bcd
00000c73: PUSH1 0xe5
00000c75: SHL
00000c76: DUP2
00000c77: MSTORE
00000c78: PUSH1 0x20
00000c7a: PUSH1 0x04
00000c7c: DUP3
00000c7d: ADD
00000c7e: DUP2
00000c7f: SWAP1
00000c80: MSTORE
00000c81: PUSH1 0x24
00000c83: DUP3
00000c84: ADD
00000c85: MSTORE
00000c86: PUSH1 0x00
00000c88: DUP1
00000c89: MLOAD
00000c8a: PUSH1 0x20
00000c8c: PUSH2 0x1b85
00000c8f: DUP4
00000c90: CODECOPY
00000c91: DUP2
00000c92: MLOAD
00000c93: SWAP2
00000c94: MSTORE
00000c95: PUSH1 0x44
00000c97: DUP3
00000c98: ADD
00000c99: MSTORE
00000c9a: PUSH1 0x64
00000c9c: ADD
00000c9d: PUSH2 0x06ad
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH1 0x0b
00000ca4: SSTORE
00000ca5: JUMP
00000ca6: JUMPDEST
00000ca7: PUSH1 0x00
00000ca9: SLOAD
00000caa: PUSH1 0x01
00000cac: PUSH1 0x01
00000cae: PUSH1 0xa0
00000cb0: SHL
00000cb1: SUB
00000cb2: PUSH2 0x0100
00000cb5: SWAP1
00000cb6: SWAP2
00000cb7: DIV
00000cb8: AND
00000cb9: CALLER
00000cba: EQ
00000cbb: PUSH2 0x0cf4
00000cbe: JUMPI
00000cbf: PUSH1 0x40
00000cc1: MLOAD
00000cc2: PUSH3 0x461bcd
00000cc6: PUSH1 0xe5
00000cc8: SHL
00000cc9: DUP2
00000cca: MSTORE
00000ccb: PUSH1 0x20
00000ccd: PUSH1 0x04
00000ccf: DUP3
00000cd0: ADD
00000cd1: DUP2
00000cd2: SWAP1
00000cd3: MSTORE
00000cd4: PUSH1 0x24
00000cd6: DUP3
00000cd7: ADD
00000cd8: MSTORE
00000cd9: PUSH1 0x00
00000cdb: DUP1
00000cdc: MLOAD
00000cdd: PUSH1 0x20
00000cdf: PUSH2 0x1b85
00000ce2: DUP4
00000ce3: CODECOPY
00000ce4: DUP2
00000ce5: MLOAD
00000ce6: SWAP2
00000ce7: MSTORE
00000ce8: PUSH1 0x44
00000cea: DUP3
00000ceb: ADD
00000cec: MSTORE
00000ced: PUSH1 0x64
00000cef: ADD
00000cf0: PUSH2 0x06ad
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: PUSH2 0x093b
00000cf8: PUSH2 0x1527
00000cfb: JUMP
00000cfc: JUMPDEST
00000cfd: PUSH1 0x00
00000cff: SLOAD
00000d00: PUSH1 0xff
00000d02: AND
00000d03: ISZERO
00000d04: PUSH2 0x0d42
00000d07: JUMPI
00000d08: PUSH1 0x40
00000d0a: MLOAD
00000d0b: PUSH3 0x461bcd
00000d0f: PUSH1 0xe5
00000d11: SHL
00000d12: DUP2
00000d13: MSTORE
00000d14: PUSH1 0x20
00000d16: PUSH1 0x04
00000d18: DUP3
00000d19: ADD
00000d1a: MSTORE
00000d1b: PUSH1 0x10
00000d1d: PUSH1 0x24
00000d1f: DUP3
00000d20: ADD
00000d21: MSTORE
00000d22: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000d33: PUSH1 0x82
00000d35: SHL
00000d36: PUSH1 0x44
00000d38: DUP3
00000d39: ADD
00000d3a: MSTORE
00000d3b: PUSH1 0x64
00000d3d: ADD
00000d3e: PUSH2 0x06ad
00000d41: JUMP
00000d42: JUMPDEST
00000d43: PUSH1 0x09
00000d45: SLOAD
00000d46: DUP2
00000d47: SWAP1
00000d48: PUSH1 0x01
00000d4a: PUSH1 0x40
00000d4c: SHL
00000d4d: SWAP1
00000d4e: DIV
00000d4f: PUSH2 0xffff
00000d52: AND
00000d53: PUSH1 0xff
00000d55: DUP3
00000d56: AND
00000d57: GT
00000d58: ISZERO
00000d59: PUSH2 0x0d8d
00000d5c: JUMPI
00000d5d: PUSH1 0x09
00000d5f: SLOAD
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: PUSH3 0x02d103
00000d67: PUSH1 0xe9
00000d69: SHL
00000d6a: DUP2
00000d6b: MSTORE
00000d6c: PUSH1 0xff
00000d6e: DUP4
00000d6f: AND
00000d70: PUSH1 0x04
00000d72: DUP3
00000d73: ADD
00000d74: MSTORE
00000d75: PUSH1 0x01
00000d77: PUSH1 0x40
00000d79: SHL
00000d7a: SWAP1
00000d7b: SWAP2
00000d7c: DIV
00000d7d: PUSH2 0xffff
00000d80: AND
00000d81: PUSH1 0x24
00000d83: DUP3
00000d84: ADD
00000d85: MSTORE
00000d86: PUSH1 0x44
00000d88: ADD
00000d89: PUSH2 0x06ad
00000d8c: JUMP
00000d8d: JUMPDEST
00000d8e: DUP2
00000d8f: PUSH2 0x0d9a
00000d92: DUP2
00000d93: PUSH1 0xff
00000d95: AND
00000d96: PUSH2 0x1189
00000d99: JUMP
00000d9a: JUMPDEST
00000d9b: CALLVALUE
00000d9c: LT
00000d9d: ISZERO
00000d9e: PUSH2 0x0dd0
00000da1: JUMPI
00000da2: CALLVALUE
00000da3: PUSH2 0x0dae
00000da6: DUP3
00000da7: PUSH1 0xff
00000da9: AND
00000daa: PUSH2 0x1189
00000dad: JUMP
00000dae: JUMPDEST
00000daf: PUSH1 0x40
00000db1: MLOAD
00000db2: PUSH4 0xb99e2ab7
00000db7: PUSH1 0xe0
00000db9: SHL
00000dba: DUP2
00000dbb: MSTORE
00000dbc: PUSH1 0x04
00000dbe: DUP2
00000dbf: ADD
00000dc0: SWAP3
00000dc1: SWAP1
00000dc2: SWAP3
00000dc3: MSTORE
00000dc4: PUSH1 0x24
00000dc6: DUP3
00000dc7: ADD
00000dc8: MSTORE
00000dc9: PUSH1 0x44
00000dcb: ADD
00000dcc: PUSH2 0x06ad
00000dcf: JUMP
00000dd0: JUMPDEST
00000dd1: CALLER
00000dd2: ORIGIN
00000dd3: EQ
00000dd4: PUSH2 0x0df0
00000dd7: JUMPI
00000dd8: PUSH1 0x40
00000dda: MLOAD
00000ddb: PUSH4 0x057e8cb9
00000de0: PUSH1 0xe1
00000de2: SHL
00000de3: DUP2
00000de4: MSTORE
00000de5: PUSH1 0x04
00000de7: ADD
00000de8: PUSH1 0x40
00000dea: MLOAD
00000deb: DUP1
00000dec: SWAP2
00000ded: SUB
00000dee: SWAP1
00000def: REVERT
00000df0: JUMPDEST
00000df1: PUSH1 0x09
00000df3: SLOAD
00000df4: TIMESTAMP
00000df5: PUSH8 0xffffffffffffffff
00000dfe: SWAP1
00000dff: SWAP2
00000e00: AND
00000e01: GT
00000e02: ISZERO
00000e03: PUSH2 0x0e1f
00000e06: JUMPI
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: PUSH4 0x16851a37
00000e0f: PUSH1 0xe1
00000e11: SHL
00000e12: DUP2
00000e13: MSTORE
00000e14: PUSH1 0x04
00000e16: ADD
00000e17: PUSH1 0x40
00000e19: MLOAD
00000e1a: DUP1
00000e1b: SWAP2
00000e1c: SUB
00000e1d: SWAP1
00000e1e: REVERT
00000e1f: JUMPDEST
00000e20: PUSH1 0x0c
00000e22: SLOAD
00000e23: PUSH1 0x01
00000e25: PUSH1 0x01
00000e27: PUSH1 0xa0
00000e29: SHL
00000e2a: SUB
00000e2b: AND
00000e2c: PUSH4 0x1bc09925
00000e31: PUSH2 0x0e39
00000e34: DUP6
00000e35: PUSH2 0x0f42
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: CALLER
00000e3b: PUSH1 0x40
00000e3d: MLOAD
00000e3e: PUSH1 0x01
00000e40: PUSH1 0x01
00000e42: PUSH1 0xe0
00000e44: SHL
00000e45: SUB
00000e46: NOT
00000e47: PUSH1 0xe0
00000e49: DUP6
00000e4a: SWAP1
00000e4b: SHL
00000e4c: AND
00000e4d: DUP2
00000e4e: MSTORE
00000e4f: PUSH1 0xff
00000e51: SWAP1
00000e52: SWAP3
00000e53: AND
00000e54: PUSH1 0x04
00000e56: DUP4
00000e57: ADD
00000e58: MSTORE
00000e59: PUSH1 0x01
00000e5b: PUSH1 0x01
00000e5d: PUSH1 0xa0
00000e5f: SHL
00000e60: SUB
00000e61: AND
00000e62: PUSH1 0x24
00000e64: DUP3
00000e65: ADD
00000e66: MSTORE
00000e67: PUSH1 0x44
00000e69: ADD
00000e6a: PUSH1 0x00
00000e6c: PUSH1 0x40
00000e6e: MLOAD
00000e6f: DUP1
00000e70: DUP4
00000e71: SUB
00000e72: DUP2
00000e73: PUSH1 0x00
00000e75: DUP8
00000e76: DUP1
00000e77: EXTCODESIZE
00000e78: ISZERO
00000e79: DUP1
00000e7a: ISZERO
00000e7b: PUSH2 0x0e83
00000e7e: JUMPI
00000e7f: PUSH1 0x00
00000e81: DUP1
00000e82: REVERT
00000e83: JUMPDEST
00000e84: POP
00000e85: GAS
00000e86: CALL
00000e87: ISZERO
00000e88: DUP1
00000e89: ISZERO
00000e8a: PUSH2 0x0e97
00000e8d: JUMPI
00000e8e: RETURNDATASIZE
00000e8f: PUSH1 0x00
00000e91: DUP1
00000e92: RETURNDATACOPY
00000e93: RETURNDATASIZE
00000e94: PUSH1 0x00
00000e96: REVERT
00000e97: JUMPDEST
00000e98: POP
00000e99: POP
00000e9a: POP
00000e9b: POP
00000e9c: POP
00000e9d: POP
00000e9e: POP
00000e9f: JUMP
00000ea0: JUMPDEST
00000ea1: PUSH1 0x00
00000ea3: PUSH1 0x05
00000ea5: DUP3
00000ea6: DUP2
00000ea7: SLOAD
00000ea8: DUP2
00000ea9: LT
00000eaa: PUSH2 0x0eb5
00000ead: JUMPI
00000eae: PUSH2 0x0eb5
00000eb1: PUSH2 0x19e2
00000eb4: JUMP
00000eb5: JUMPDEST
00000eb6: PUSH1 0x00
00000eb8: SWAP2
00000eb9: DUP3
00000eba: MSTORE
00000ebb: PUSH1 0x20
00000ebd: SWAP1
00000ebe: SWAP2
00000ebf: KECCAK256
00000ec0: ADD
00000ec1: SLOAD
00000ec2: PUSH1 0x01
00000ec4: PUSH1 0x01
00000ec6: PUSH1 0xa0
00000ec8: SHL
00000ec9: SUB
00000eca: AND
00000ecb: SWAP3
00000ecc: SWAP2
00000ecd: POP
00000ece: POP
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: PUSH1 0x00
00000ed3: SLOAD
00000ed4: PUSH1 0x01
00000ed6: PUSH1 0x01
00000ed8: PUSH1 0xa0
00000eda: SHL
00000edb: SUB
00000edc: PUSH2 0x0100
00000edf: SWAP1
00000ee0: SWAP2
00000ee1: DIV
00000ee2: AND
00000ee3: CALLER
00000ee4: EQ
00000ee5: PUSH2 0x0f1e
00000ee8: JUMPI
00000ee9: PUSH1 0x40
00000eeb: MLOAD
00000eec: PUSH3 0x461bcd
00000ef0: PUSH1 0xe5
00000ef2: SHL
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x20
00000ef7: PUSH1 0x04
00000ef9: DUP3
00000efa: ADD
00000efb: DUP2
00000efc: SWAP1
00000efd: MSTORE
00000efe: PUSH1 0x24
00000f00: DUP3
00000f01: ADD
00000f02: MSTORE
00000f03: PUSH1 0x00
00000f05: DUP1
00000f06: MLOAD
00000f07: PUSH1 0x20
00000f09: PUSH2 0x1b85
00000f0c: DUP4
00000f0d: CODECOPY
00000f0e: DUP2
00000f0f: MLOAD
00000f10: SWAP2
00000f11: MSTORE
00000f12: PUSH1 0x44
00000f14: DUP3
00000f15: ADD
00000f16: MSTORE
00000f17: PUSH1 0x64
00000f19: ADD
00000f1a: PUSH2 0x06ad
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: PUSH1 0x09
00000f21: DUP1
00000f22: SLOAD
00000f23: PUSH8 0xffffffffffffffff
00000f2c: NOT
00000f2d: AND
00000f2e: PUSH8 0xffffffffffffffff
00000f37: SWAP3
00000f38: SWAP1
00000f39: SWAP3
00000f3a: AND
00000f3b: SWAP2
00000f3c: SWAP1
00000f3d: SWAP2
00000f3e: OR
00000f3f: SWAP1
00000f40: SSTORE
00000f41: JUMP
00000f42: JUMPDEST
00000f43: PUSH1 0x00
00000f45: PUSH2 0x0f4f
00000f48: PUSH1 0x05
00000f4a: DUP4
00000f4b: PUSH2 0x1a0e
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH2 0x0f59
00000f53: SWAP1
00000f54: DUP4
00000f55: PUSH2 0x1a30
00000f58: JUMP
00000f59: JUMPDEST
00000f5a: SWAP3
00000f5b: SWAP2
00000f5c: POP
00000f5d: POP
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH1 0x00
00000f62: TIMESTAMP
00000f63: PUSH2 0x0f6a
00000f66: PUSH2 0x0f7b
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: PUSH8 0xffffffffffffffff
00000f74: AND
00000f75: GT
00000f76: ISZERO
00000f77: SWAP1
00000f78: POP
00000f79: SWAP1
00000f7a: JUMP
00000f7b: JUMPDEST
00000f7c: PUSH1 0x09
00000f7e: SLOAD
00000f7f: PUSH1 0x00
00000f81: SWAP1
00000f82: PUSH2 0x0f98
00000f85: SWAP1
00000f86: PUSH2 0x1c20
00000f89: SWAP1
00000f8a: PUSH8 0xffffffffffffffff
00000f93: AND
00000f94: PUSH2 0x1a55
00000f97: JUMP
00000f98: JUMPDEST
00000f99: SWAP1
00000f9a: POP
00000f9b: SWAP1
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: PUSH1 0x00
00000fa0: SLOAD
00000fa1: PUSH1 0xff
00000fa3: AND
00000fa4: ISZERO
00000fa5: PUSH2 0x0fe3
00000fa8: JUMPI
00000fa9: PUSH1 0x40
00000fab: MLOAD
00000fac: PUSH3 0x461bcd
00000fb0: PUSH1 0xe5
00000fb2: SHL
00000fb3: DUP2
00000fb4: MSTORE
00000fb5: PUSH1 0x20
00000fb7: PUSH1 0x04
00000fb9: DUP3
00000fba: ADD
00000fbb: MSTORE
00000fbc: PUSH1 0x10
00000fbe: PUSH1 0x24
00000fc0: DUP3
00000fc1: ADD
00000fc2: MSTORE
00000fc3: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000fd4: PUSH1 0x82
00000fd6: SHL
00000fd7: PUSH1 0x44
00000fd9: DUP3
00000fda: ADD
00000fdb: MSTORE
00000fdc: PUSH1 0x64
00000fde: ADD
00000fdf: PUSH2 0x06ad
00000fe2: JUMP
00000fe3: JUMPDEST
00000fe4: PUSH1 0x09
00000fe6: SLOAD
00000fe7: DUP4
00000fe8: SWAP1
00000fe9: PUSH1 0x01
00000feb: PUSH1 0x40
00000fed: SHL
00000fee: SWAP1
00000fef: DIV
00000ff0: PUSH2 0xffff
00000ff3: AND
00000ff4: PUSH1 0xff
00000ff6: DUP3
00000ff7: AND
00000ff8: GT
00000ff9: ISZERO
00000ffa: PUSH2 0x102e
00000ffd: JUMPI
00000ffe: PUSH1 0x09
00001000: SLOAD
00001001: PUSH1 0x40
00001003: MLOAD
00001004: PUSH3 0x02d103
00001008: PUSH1 0xe9
0000100a: SHL
0000100b: DUP2
0000100c: MSTORE
0000100d: PUSH1 0xff
0000100f: DUP4
00001010: AND
00001011: PUSH1 0x04
00001013: DUP3
00001014: ADD
00001015: MSTORE
00001016: PUSH1 0x01
00001018: PUSH1 0x40
0000101a: SHL
0000101b: SWAP1
0000101c: SWAP2
0000101d: DIV
0000101e: PUSH2 0xffff
00001021: AND
00001022: PUSH1 0x24
00001024: DUP3
00001025: ADD
00001026: MSTORE
00001027: PUSH1 0x44
00001029: ADD
0000102a: PUSH2 0x06ad
0000102d: JUMP
0000102e: JUMPDEST
0000102f: DUP4
00001030: PUSH2 0x103b
00001033: DUP2
00001034: PUSH1 0xff
00001036: AND
00001037: PUSH2 0x1189
0000103a: JUMP
0000103b: JUMPDEST
0000103c: CALLVALUE
0000103d: LT
0000103e: ISZERO
0000103f: PUSH2 0x104f
00001042: JUMPI
00001043: CALLVALUE
00001044: PUSH2 0x0dae
00001047: DUP3
00001048: PUSH1 0xff
0000104a: AND
0000104b: PUSH2 0x1189
0000104e: JUMP
0000104f: JUMPDEST
00001050: PUSH2 0x1057
00001053: PUSH2 0x0f5f
00001056: JUMP
00001057: JUMPDEST
00001058: PUSH2 0x1074
0000105b: JUMPI
0000105c: PUSH1 0x40
0000105e: MLOAD
0000105f: PUSH4 0x13858657
00001064: PUSH1 0xe2
00001066: SHL
00001067: DUP2
00001068: MSTORE
00001069: PUSH1 0x04
0000106b: ADD
0000106c: PUSH1 0x40
0000106e: MLOAD
0000106f: DUP1
00001070: SWAP2
00001071: SUB
00001072: SWAP1
00001073: REVERT
00001074: JUMPDEST
00001075: PUSH2 0x10e9
00001078: DUP5
00001079: DUP5
0000107a: DUP1
0000107b: DUP1
0000107c: PUSH1 0x20
0000107e: MUL
0000107f: PUSH1 0x20
00001081: ADD
00001082: PUSH1 0x40
00001084: MLOAD
00001085: SWAP1
00001086: DUP2
00001087: ADD
00001088: PUSH1 0x40
0000108a: MSTORE
0000108b: DUP1
0000108c: SWAP4
0000108d: SWAP3
0000108e: SWAP2
0000108f: SWAP1
00001090: DUP2
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x20
00001095: ADD
00001096: DUP4
00001097: DUP4
00001098: PUSH1 0x20
0000109a: MUL
0000109b: DUP1
0000109c: DUP3
0000109d: DUP5
0000109e: CALLDATACOPY
0000109f: PUSH1 0x00
000010a1: SWAP3
000010a2: ADD
000010a3: SWAP2
000010a4: SWAP1
000010a5: SWAP2
000010a6: MSTORE
000010a7: POP
000010a8: POP
000010a9: PUSH1 0x0b
000010ab: SLOAD
000010ac: PUSH1 0x40
000010ae: MLOAD
000010af: PUSH12 0xffffffffffffffffffffffff
000010bc: NOT
000010bd: CALLER
000010be: PUSH1 0x60
000010c0: SHL
000010c1: AND
000010c2: PUSH1 0x20
000010c4: DUP3
000010c5: ADD
000010c6: MSTORE
000010c7: SWAP1
000010c8: SWAP3
000010c9: POP
000010ca: PUSH1 0x34
000010cc: ADD
000010cd: SWAP1
000010ce: POP
000010cf: PUSH1 0x40
000010d1: MLOAD
000010d2: PUSH1 0x20
000010d4: DUP2
000010d5: DUP4
000010d6: SUB
000010d7: SUB
000010d8: DUP2
000010d9: MSTORE
000010da: SWAP1
000010db: PUSH1 0x40
000010dd: MSTORE
000010de: DUP1
000010df: MLOAD
000010e0: SWAP1
000010e1: PUSH1 0x20
000010e3: ADD
000010e4: KECCAK256
000010e5: PUSH2 0x15a2
000010e8: JUMP
000010e9: JUMPDEST
000010ea: PUSH2 0x1106
000010ed: JUMPI
000010ee: PUSH1 0x40
000010f0: MLOAD
000010f1: PUSH4 0x582f497d
000010f6: PUSH1 0xe1
000010f8: SHL
000010f9: DUP2
000010fa: MSTORE
000010fb: PUSH1 0x04
000010fd: ADD
000010fe: PUSH1 0x40
00001100: MLOAD
00001101: DUP1
00001102: SWAP2
00001103: SUB
00001104: SWAP1
00001105: REVERT
00001106: JUMPDEST
00001107: PUSH1 0x0c
00001109: SLOAD
0000110a: PUSH1 0x01
0000110c: PUSH1 0x01
0000110e: PUSH1 0xa0
00001110: SHL
00001111: SUB
00001112: AND
00001113: PUSH4 0x1bc09925
00001118: PUSH2 0x1120
0000111b: DUP8
0000111c: PUSH2 0x0f42
0000111f: JUMP
00001120: JUMPDEST
00001121: CALLER
00001122: PUSH1 0x40
00001124: MLOAD
00001125: PUSH1 0x01
00001127: PUSH1 0x01
00001129: PUSH1 0xe0
0000112b: SHL
0000112c: SUB
0000112d: NOT
0000112e: PUSH1 0xe0
00001130: DUP6
00001131: SWAP1
00001132: SHL
00001133: AND
00001134: DUP2
00001135: MSTORE
00001136: PUSH1 0xff
00001138: SWAP1
00001139: SWAP3
0000113a: AND
0000113b: PUSH1 0x04
0000113d: DUP4
0000113e: ADD
0000113f: MSTORE
00001140: PUSH1 0x01
00001142: PUSH1 0x01
00001144: PUSH1 0xa0
00001146: SHL
00001147: SUB
00001148: AND
00001149: PUSH1 0x24
0000114b: DUP3
0000114c: ADD
0000114d: MSTORE
0000114e: PUSH1 0x44
00001150: ADD
00001151: PUSH1 0x00
00001153: PUSH1 0x40
00001155: MLOAD
00001156: DUP1
00001157: DUP4
00001158: SUB
00001159: DUP2
0000115a: PUSH1 0x00
0000115c: DUP8
0000115d: DUP1
0000115e: EXTCODESIZE
0000115f: ISZERO
00001160: DUP1
00001161: ISZERO
00001162: PUSH2 0x116a
00001165: JUMPI
00001166: PUSH1 0x00
00001168: DUP1
00001169: REVERT
0000116a: JUMPDEST
0000116b: POP
0000116c: GAS
0000116d: CALL
0000116e: ISZERO
0000116f: DUP1
00001170: ISZERO
00001171: PUSH2 0x117e
00001174: JUMPI
00001175: RETURNDATASIZE
00001176: PUSH1 0x00
00001178: DUP1
00001179: RETURNDATACOPY
0000117a: RETURNDATASIZE
0000117b: PUSH1 0x00
0000117d: REVERT
0000117e: JUMPDEST
0000117f: POP
00001180: POP
00001181: POP
00001182: POP
00001183: POP
00001184: POP
00001185: POP
00001186: POP
00001187: POP
00001188: JUMP
00001189: JUMPDEST
0000118a: PUSH1 0x00
0000118c: DUP2
0000118d: PUSH1 0x08
0000118f: SLOAD
00001190: PUSH2 0x0f59
00001193: SWAP2
00001194: SWAP1
00001195: PUSH2 0x1a7e
00001198: JUMP
00001199: JUMPDEST
0000119a: PUSH1 0x00
0000119c: SLOAD
0000119d: PUSH1 0x01
0000119f: PUSH1 0x01
000011a1: PUSH1 0xa0
000011a3: SHL
000011a4: SUB
000011a5: PUSH2 0x0100
000011a8: SWAP1
000011a9: SWAP2
000011aa: DIV
000011ab: AND
000011ac: CALLER
000011ad: EQ
000011ae: PUSH2 0x11e7
000011b1: JUMPI
000011b2: PUSH1 0x40
000011b4: MLOAD
000011b5: PUSH3 0x461bcd
000011b9: PUSH1 0xe5
000011bb: SHL
000011bc: DUP2
000011bd: MSTORE
000011be: PUSH1 0x20
000011c0: PUSH1 0x04
000011c2: DUP3
000011c3: ADD
000011c4: DUP2
000011c5: SWAP1
000011c6: MSTORE
000011c7: PUSH1 0x24
000011c9: DUP3
000011ca: ADD
000011cb: MSTORE
000011cc: PUSH1 0x00
000011ce: DUP1
000011cf: MLOAD
000011d0: PUSH1 0x20
000011d2: PUSH2 0x1b85
000011d5: DUP4
000011d6: CODECOPY
000011d7: DUP2
000011d8: MLOAD
000011d9: SWAP2
000011da: MSTORE
000011db: PUSH1 0x44
000011dd: DUP3
000011de: ADD
000011df: MSTORE
000011e0: PUSH1 0x64
000011e2: ADD
000011e3: PUSH2 0x06ad
000011e6: JUMP
000011e7: JUMPDEST
000011e8: PUSH1 0x01
000011ea: PUSH1 0x01
000011ec: PUSH1 0xa0
000011ee: SHL
000011ef: SUB
000011f0: DUP2
000011f1: AND
000011f2: PUSH2 0x124c
000011f5: JUMPI
000011f6: PUSH1 0x40
000011f8: MLOAD
000011f9: PUSH3 0x461bcd
000011fd: PUSH1 0xe5
000011ff: SHL
00001200: DUP2
00001201: MSTORE
00001202: PUSH1 0x20
00001204: PUSH1 0x04
00001206: DUP3
00001207: ADD
00001208: MSTORE
00001209: PUSH1 0x26
0000120b: PUSH1 0x24
0000120d: DUP3
0000120e: ADD
0000120f: MSTORE
00001210: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001231: PUSH1 0x44
00001233: DUP3
00001234: ADD
00001235: MSTORE
00001236: PUSH6 0x646472657373
0000123d: PUSH1 0xd0
0000123f: SHL
00001240: PUSH1 0x64
00001242: DUP3
00001243: ADD
00001244: MSTORE
00001245: PUSH1 0x84
00001247: ADD
00001248: PUSH2 0x06ad
0000124b: JUMP
0000124c: JUMPDEST
0000124d: PUSH2 0x1255
00001250: DUP2
00001251: PUSH2 0x14c1
00001254: JUMP
00001255: JUMPDEST
00001256: POP
00001257: JUMP
00001258: JUMPDEST
00001259: PUSH1 0x01
0000125b: SLOAD
0000125c: PUSH1 0x01
0000125e: PUSH1 0x01
00001260: PUSH1 0xa0
00001262: SHL
00001263: SUB
00001264: DUP5
00001265: AND
00001266: PUSH1 0x00
00001268: SWAP1
00001269: DUP2
0000126a: MSTORE
0000126b: PUSH1 0x03
0000126d: PUSH1 0x20
0000126f: MSTORE
00001270: PUSH1 0x40
00001272: DUP2
00001273: KECCAK256
00001274: SLOAD
00001275: SWAP1
00001276: SWAP2
00001277: DUP4
00001278: SWAP2
00001279: PUSH2 0x1282
0000127c: SWAP1
0000127d: DUP7
0000127e: PUSH2 0x1a7e
00001281: JUMP
00001282: JUMPDEST
00001283: PUSH2 0x128c
00001286: SWAP2
00001287: SWAP1
00001288: PUSH2 0x1a9d
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH2 0x1296
00001290: SWAP2
00001291: SWAP1
00001292: PUSH2 0x1ab1
00001295: JUMP
00001296: JUMPDEST
00001297: SWAP1
00001298: POP
00001299: JUMPDEST
0000129a: SWAP4
0000129b: SWAP3
0000129c: POP
0000129d: POP
0000129e: POP
0000129f: JUMP
000012a0: JUMPDEST
000012a1: DUP1
000012a2: SELFBALANCE
000012a3: LT
000012a4: ISZERO
000012a5: PUSH2 0x12f0
000012a8: JUMPI
000012a9: PUSH1 0x40
000012ab: MLOAD
000012ac: PUSH3 0x461bcd
000012b0: PUSH1 0xe5
000012b2: SHL
000012b3: DUP2
000012b4: MSTORE
000012b5: PUSH1 0x20
000012b7: PUSH1 0x04
000012b9: DUP3
000012ba: ADD
000012bb: MSTORE
000012bc: PUSH1 0x1d
000012be: PUSH1 0x24
000012c0: DUP3
000012c1: ADD
000012c2: MSTORE
000012c3: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
000012e4: PUSH1 0x44
000012e6: DUP3
000012e7: ADD
000012e8: MSTORE
000012e9: PUSH1 0x64
000012eb: ADD
000012ec: PUSH2 0x06ad
000012ef: JUMP
000012f0: JUMPDEST
000012f1: PUSH1 0x00
000012f3: DUP3
000012f4: PUSH1 0x01
000012f6: PUSH1 0x01
000012f8: PUSH1 0xa0
000012fa: SHL
000012fb: SUB
000012fc: AND
000012fd: DUP3
000012fe: PUSH1 0x40
00001300: MLOAD
00001301: PUSH1 0x00
00001303: PUSH1 0x40
00001305: MLOAD
00001306: DUP1
00001307: DUP4
00001308: SUB
00001309: DUP2
0000130a: DUP6
0000130b: DUP8
0000130c: GAS
0000130d: CALL
0000130e: SWAP3
0000130f: POP
00001310: POP
00001311: POP
00001312: RETURNDATASIZE
00001313: DUP1
00001314: PUSH1 0x00
00001316: DUP2
00001317: EQ
00001318: PUSH2 0x133d
0000131b: JUMPI
0000131c: PUSH1 0x40
0000131e: MLOAD
0000131f: SWAP2
00001320: POP
00001321: PUSH1 0x1f
00001323: NOT
00001324: PUSH1 0x3f
00001326: RETURNDATASIZE
00001327: ADD
00001328: AND
00001329: DUP3
0000132a: ADD
0000132b: PUSH1 0x40
0000132d: MSTORE
0000132e: RETURNDATASIZE
0000132f: DUP3
00001330: MSTORE
00001331: RETURNDATASIZE
00001332: PUSH1 0x00
00001334: PUSH1 0x20
00001336: DUP5
00001337: ADD
00001338: RETURNDATACOPY
00001339: PUSH2 0x1342
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x60
00001340: SWAP2
00001341: POP
00001342: JUMPDEST
00001343: POP
00001344: POP
00001345: SWAP1
00001346: POP
00001347: DUP1
00001348: PUSH2 0x13b9
0000134b: JUMPI
0000134c: PUSH1 0x40
0000134e: MLOAD
0000134f: PUSH3 0x461bcd
00001353: PUSH1 0xe5
00001355: SHL
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x20
0000135a: PUSH1 0x04
0000135c: DUP3
0000135d: ADD
0000135e: MSTORE
0000135f: PUSH1 0x3a
00001361: PUSH1 0x24
00001363: DUP3
00001364: ADD
00001365: MSTORE
00001366: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001387: PUSH1 0x44
00001389: DUP3
0000138a: ADD
0000138b: MSTORE
0000138c: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
000013ad: PUSH1 0x64
000013af: DUP3
000013b0: ADD
000013b1: MSTORE
000013b2: PUSH1 0x84
000013b4: ADD
000013b5: PUSH2 0x06ad
000013b8: JUMP
000013b9: JUMPDEST
000013ba: POP
000013bb: POP
000013bc: POP
000013bd: JUMP
000013be: JUMPDEST
000013bf: PUSH1 0x00
000013c1: SLOAD
000013c2: PUSH1 0xff
000013c4: AND
000013c5: PUSH2 0x1410
000013c8: JUMPI
000013c9: PUSH1 0x40
000013cb: MLOAD
000013cc: PUSH3 0x461bcd
000013d0: PUSH1 0xe5
000013d2: SHL
000013d3: DUP2
000013d4: MSTORE
000013d5: PUSH1 0x20
000013d7: PUSH1 0x04
000013d9: DUP3
000013da: ADD
000013db: MSTORE
000013dc: PUSH1 0x14
000013de: PUSH1 0x24
000013e0: DUP3
000013e1: ADD
000013e2: MSTORE
000013e3: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
00001404: PUSH1 0x44
00001406: DUP3
00001407: ADD
00001408: MSTORE
00001409: PUSH1 0x64
0000140b: ADD
0000140c: PUSH2 0x06ad
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH1 0x00
00001413: DUP1
00001414: SLOAD
00001415: PUSH1 0xff
00001417: NOT
00001418: AND
00001419: SWAP1
0000141a: SSTORE
0000141b: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
0000143c: CALLER
0000143d: JUMPDEST
0000143e: PUSH1 0x40
00001440: MLOAD
00001441: PUSH1 0x01
00001443: PUSH1 0x01
00001445: PUSH1 0xa0
00001447: SHL
00001448: SUB
00001449: SWAP1
0000144a: SWAP2
0000144b: AND
0000144c: DUP2
0000144d: MSTORE
0000144e: PUSH1 0x20
00001450: ADD
00001451: PUSH1 0x40
00001453: MLOAD
00001454: DUP1
00001455: SWAP2
00001456: SUB
00001457: SWAP1
00001458: LOG1
00001459: JUMP
0000145a: JUMPDEST
0000145b: PUSH1 0x40
0000145d: DUP1
0000145e: MLOAD
0000145f: PUSH1 0x01
00001461: PUSH1 0x01
00001463: PUSH1 0xa0
00001465: SHL
00001466: SUB
00001467: DUP5
00001468: AND
00001469: PUSH1 0x24
0000146b: DUP3
0000146c: ADD
0000146d: MSTORE
0000146e: PUSH1 0x44
00001470: DUP1
00001471: DUP3
00001472: ADD
00001473: DUP5
00001474: SWAP1
00001475: MSTORE
00001476: DUP3
00001477: MLOAD
00001478: DUP1
00001479: DUP4
0000147a: SUB
0000147b: SWAP1
0000147c: SWAP2
0000147d: ADD
0000147e: DUP2
0000147f: MSTORE
00001480: PUSH1 0x64
00001482: SWAP1
00001483: SWAP2
00001484: ADD
00001485: SWAP1
00001486: SWAP2
00001487: MSTORE
00001488: PUSH1 0x20
0000148a: DUP2
0000148b: ADD
0000148c: DUP1
0000148d: MLOAD
0000148e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000014ab: AND
000014ac: PUSH4 0xa9059cbb
000014b1: PUSH1 0xe0
000014b3: SHL
000014b4: OR
000014b5: SWAP1
000014b6: MSTORE
000014b7: PUSH2 0x13b9
000014ba: SWAP1
000014bb: DUP5
000014bc: SWAP1
000014bd: PUSH2 0x15b8
000014c0: JUMP
000014c1: JUMPDEST
000014c2: PUSH1 0x00
000014c4: DUP1
000014c5: SLOAD
000014c6: PUSH1 0x01
000014c8: PUSH1 0x01
000014ca: PUSH1 0xa0
000014cc: SHL
000014cd: SUB
000014ce: DUP4
000014cf: DUP2
000014d0: AND
000014d1: PUSH2 0x0100
000014d4: DUP2
000014d5: DUP2
000014d6: MUL
000014d7: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
000014ed: NOT
000014ee: DUP6
000014ef: AND
000014f0: OR
000014f1: DUP6
000014f2: SSTORE
000014f3: PUSH1 0x40
000014f5: MLOAD
000014f6: SWAP4
000014f7: DIV
000014f8: SWAP2
000014f9: SWAP1
000014fa: SWAP2
000014fb: AND
000014fc: SWAP3
000014fd: SWAP1
000014fe: SWAP2
000014ff: DUP4
00001500: SWAP2
00001501: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001522: SWAP2
00001523: LOG3
00001524: POP
00001525: POP
00001526: JUMP
00001527: JUMPDEST
00001528: PUSH1 0x00
0000152a: SLOAD
0000152b: PUSH1 0xff
0000152d: AND
0000152e: ISZERO
0000152f: PUSH2 0x156d
00001532: JUMPI
00001533: PUSH1 0x40
00001535: MLOAD
00001536: PUSH3 0x461bcd
0000153a: PUSH1 0xe5
0000153c: SHL
0000153d: DUP2
0000153e: MSTORE
0000153f: PUSH1 0x20
00001541: PUSH1 0x04
00001543: DUP3
00001544: ADD
00001545: MSTORE
00001546: PUSH1 0x10
00001548: PUSH1 0x24
0000154a: DUP3
0000154b: ADD
0000154c: MSTORE
0000154d: PUSH16 0x14185d5cd8589b194e881c185d5cd959
0000155e: PUSH1 0x82
00001560: SHL
00001561: PUSH1 0x44
00001563: DUP3
00001564: ADD
00001565: MSTORE
00001566: PUSH1 0x64
00001568: ADD
00001569: PUSH2 0x06ad
0000156c: JUMP
0000156d: JUMPDEST
0000156e: PUSH1 0x00
00001570: DUP1
00001571: SLOAD
00001572: PUSH1 0xff
00001574: NOT
00001575: AND
00001576: PUSH1 0x01
00001578: OR
00001579: SWAP1
0000157a: SSTORE
0000157b: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
0000159c: PUSH2 0x143d
0000159f: CALLER
000015a0: SWAP1
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH1 0x00
000015a5: DUP3
000015a6: PUSH2 0x15af
000015a9: DUP6
000015aa: DUP5
000015ab: PUSH2 0x168a
000015ae: JUMP
000015af: JUMPDEST
000015b0: EQ
000015b1: SWAP5
000015b2: SWAP4
000015b3: POP
000015b4: POP
000015b5: POP
000015b6: POP
000015b7: JUMP
000015b8: JUMPDEST
000015b9: PUSH1 0x00
000015bb: PUSH2 0x160d
000015be: DUP3
000015bf: PUSH1 0x40
000015c1: MLOAD
000015c2: DUP1
000015c3: PUSH1 0x40
000015c5: ADD
000015c6: PUSH1 0x40
000015c8: MSTORE
000015c9: DUP1
000015ca: PUSH1 0x20
000015cc: DUP2
000015cd: MSTORE
000015ce: PUSH1 0x20
000015d0: ADD
000015d1: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000015f2: DUP2
000015f3: MSTORE
000015f4: POP
000015f5: DUP6
000015f6: PUSH1 0x01
000015f8: PUSH1 0x01
000015fa: PUSH1 0xa0
000015fc: SHL
000015fd: SUB
000015fe: AND
000015ff: PUSH2 0x16fe
00001602: SWAP1
00001603: SWAP3
00001604: SWAP2
00001605: SWAP1
00001606: PUSH4 0xffffffff
0000160b: AND
0000160c: JUMP
0000160d: JUMPDEST
0000160e: DUP1
0000160f: MLOAD
00001610: SWAP1
00001611: SWAP2
00001612: POP
00001613: ISZERO
00001614: PUSH2 0x13b9
00001617: JUMPI
00001618: DUP1
00001619: DUP1
0000161a: PUSH1 0x20
0000161c: ADD
0000161d: SWAP1
0000161e: MLOAD
0000161f: DUP2
00001620: ADD
00001621: SWAP1
00001622: PUSH2 0x162b
00001625: SWAP2
00001626: SWAP1
00001627: PUSH2 0x1ac8
0000162a: JUMP
0000162b: JUMPDEST
0000162c: PUSH2 0x13b9
0000162f: JUMPI
00001630: PUSH1 0x40
00001632: MLOAD
00001633: PUSH3 0x461bcd
00001637: PUSH1 0xe5
00001639: SHL
0000163a: DUP2
0000163b: MSTORE
0000163c: PUSH1 0x20
0000163e: PUSH1 0x04
00001640: DUP3
00001641: ADD
00001642: MSTORE
00001643: PUSH1 0x2a
00001645: PUSH1 0x24
00001647: DUP3
00001648: ADD
00001649: MSTORE
0000164a: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000166b: PUSH1 0x44
0000166d: DUP3
0000166e: ADD
0000166f: MSTORE
00001670: PUSH10 0x1bdd081cdd58d8d95959
0000167b: PUSH1 0xb2
0000167d: SHL
0000167e: PUSH1 0x64
00001680: DUP3
00001681: ADD
00001682: MSTORE
00001683: PUSH1 0x84
00001685: ADD
00001686: PUSH2 0x06ad
00001689: JUMP
0000168a: JUMPDEST
0000168b: PUSH1 0x00
0000168d: DUP2
0000168e: DUP2
0000168f: JUMPDEST
00001690: DUP5
00001691: MLOAD
00001692: DUP2
00001693: LT
00001694: ISZERO
00001695: PUSH2 0x16f6
00001698: JUMPI
00001699: PUSH1 0x00
0000169b: DUP6
0000169c: DUP3
0000169d: DUP2
0000169e: MLOAD
0000169f: DUP2
000016a0: LT
000016a1: PUSH2 0x16ac
000016a4: JUMPI
000016a5: PUSH2 0x16ac
000016a8: PUSH2 0x19e2
000016ab: JUMP
000016ac: JUMPDEST
000016ad: PUSH1 0x20
000016af: MUL
000016b0: PUSH1 0x20
000016b2: ADD
000016b3: ADD
000016b4: MLOAD
000016b5: SWAP1
000016b6: POP
000016b7: DUP1
000016b8: DUP4
000016b9: GT
000016ba: PUSH2 0x16d2
000016bd: JUMPI
000016be: PUSH1 0x00
000016c0: DUP4
000016c1: DUP2
000016c2: MSTORE
000016c3: PUSH1 0x20
000016c5: DUP3
000016c6: SWAP1
000016c7: MSTORE
000016c8: PUSH1 0x40
000016ca: SWAP1
000016cb: KECCAK256
000016cc: SWAP3
000016cd: POP
000016ce: PUSH2 0x16e3
000016d1: JUMP
000016d2: JUMPDEST
000016d3: PUSH1 0x00
000016d5: DUP2
000016d6: DUP2
000016d7: MSTORE
000016d8: PUSH1 0x20
000016da: DUP5
000016db: SWAP1
000016dc: MSTORE
000016dd: PUSH1 0x40
000016df: SWAP1
000016e0: KECCAK256
000016e1: SWAP3
000016e2: POP
000016e3: JUMPDEST
000016e4: POP
000016e5: DUP1
000016e6: PUSH2 0x16ee
000016e9: DUP2
000016ea: PUSH2 0x1aea
000016ed: JUMP
000016ee: JUMPDEST
000016ef: SWAP2
000016f0: POP
000016f1: POP
000016f2: PUSH2 0x168f
000016f5: JUMP
000016f6: JUMPDEST
000016f7: POP
000016f8: SWAP4
000016f9: SWAP3
000016fa: POP
000016fb: POP
000016fc: POP
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH1 0x60
00001701: PUSH2 0x1296
00001704: DUP5
00001705: DUP5
00001706: PUSH1 0x00
00001708: DUP6
00001709: DUP6
0000170a: PUSH1 0x01
0000170c: PUSH1 0x01
0000170e: PUSH1 0xa0
00001710: SHL
00001711: SUB
00001712: DUP6
00001713: AND
00001714: EXTCODESIZE
00001715: PUSH2 0x1760
00001718: JUMPI
00001719: PUSH1 0x40
0000171b: MLOAD
0000171c: PUSH3 0x461bcd
00001720: PUSH1 0xe5
00001722: SHL
00001723: DUP2
00001724: MSTORE
00001725: PUSH1 0x20
00001727: PUSH1 0x04
00001729: DUP3
0000172a: ADD
0000172b: MSTORE
0000172c: PUSH1 0x1d
0000172e: PUSH1 0x24
00001730: DUP3
00001731: ADD
00001732: MSTORE
00001733: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001754: PUSH1 0x44
00001756: DUP3
00001757: ADD
00001758: MSTORE
00001759: PUSH1 0x64
0000175b: ADD
0000175c: PUSH2 0x06ad
0000175f: JUMP
00001760: JUMPDEST
00001761: PUSH1 0x00
00001763: DUP1
00001764: DUP7
00001765: PUSH1 0x01
00001767: PUSH1 0x01
00001769: PUSH1 0xa0
0000176b: SHL
0000176c: SUB
0000176d: AND
0000176e: DUP6
0000176f: DUP8
00001770: PUSH1 0x40
00001772: MLOAD
00001773: PUSH2 0x177c
00001776: SWAP2
00001777: SWAP1
00001778: PUSH2 0x1b35
0000177b: JUMP
0000177c: JUMPDEST
0000177d: PUSH1 0x00
0000177f: PUSH1 0x40
00001781: MLOAD
00001782: DUP1
00001783: DUP4
00001784: SUB
00001785: DUP2
00001786: DUP6
00001787: DUP8
00001788: GAS
00001789: CALL
0000178a: SWAP3
0000178b: POP
0000178c: POP
0000178d: POP
0000178e: RETURNDATASIZE
0000178f: DUP1
00001790: PUSH1 0x00
00001792: DUP2
00001793: EQ
00001794: PUSH2 0x17b9
00001797: JUMPI
00001798: PUSH1 0x40
0000179a: MLOAD
0000179b: SWAP2
0000179c: POP
0000179d: PUSH1 0x1f
0000179f: NOT
000017a0: PUSH1 0x3f
000017a2: RETURNDATASIZE
000017a3: ADD
000017a4: AND
000017a5: DUP3
000017a6: ADD
000017a7: PUSH1 0x40
000017a9: MSTORE
000017aa: RETURNDATASIZE
000017ab: DUP3
000017ac: MSTORE
000017ad: RETURNDATASIZE
000017ae: PUSH1 0x00
000017b0: PUSH1 0x20
000017b2: DUP5
000017b3: ADD
000017b4: RETURNDATACOPY
000017b5: PUSH2 0x17be
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH1 0x60
000017bc: SWAP2
000017bd: POP
000017be: JUMPDEST
000017bf: POP
000017c0: SWAP2
000017c1: POP
000017c2: SWAP2
000017c3: POP
000017c4: PUSH2 0x17ce
000017c7: DUP3
000017c8: DUP3
000017c9: DUP7
000017ca: PUSH2 0x17d9
000017cd: JUMP
000017ce: JUMPDEST
000017cf: SWAP8
000017d0: SWAP7
000017d1: POP
000017d2: POP
000017d3: POP
000017d4: POP
000017d5: POP
000017d6: POP
000017d7: POP
000017d8: JUMP
000017d9: JUMPDEST
000017da: PUSH1 0x60
000017dc: DUP4
000017dd: ISZERO
000017de: PUSH2 0x17e8
000017e1: JUMPI
000017e2: POP
000017e3: DUP2
000017e4: PUSH2 0x1299
000017e7: JUMP
000017e8: JUMPDEST
000017e9: DUP3
000017ea: MLOAD
000017eb: ISZERO
000017ec: PUSH2 0x17f8
000017ef: JUMPI
000017f0: DUP3
000017f1: MLOAD
000017f2: DUP1
000017f3: DUP5
000017f4: PUSH1 0x20
000017f6: ADD
000017f7: REVERT
000017f8: JUMPDEST
000017f9: DUP2
000017fa: PUSH1 0x40
000017fc: MLOAD
000017fd: PUSH3 0x461bcd
00001801: PUSH1 0xe5
00001803: SHL
00001804: DUP2
00001805: MSTORE
00001806: PUSH1 0x04
00001808: ADD
00001809: PUSH2 0x06ad
0000180c: SWAP2
0000180d: SWAP1
0000180e: PUSH2 0x1b51
00001811: JUMP
00001812: JUMPDEST
00001813: PUSH1 0x01
00001815: PUSH1 0x01
00001817: PUSH1 0xa0
00001819: SHL
0000181a: SUB
0000181b: DUP2
0000181c: AND
0000181d: DUP2
0000181e: EQ
0000181f: PUSH2 0x1255
00001822: JUMPI
00001823: PUSH1 0x00
00001825: DUP1
00001826: REVERT
00001827: JUMPDEST
00001828: PUSH1 0x00
0000182a: PUSH1 0x20
0000182c: DUP3
0000182d: DUP5
0000182e: SUB
0000182f: SLT
00001830: ISZERO
00001831: PUSH2 0x1839
00001834: JUMPI
00001835: PUSH1 0x00
00001837: DUP1
00001838: REVERT
00001839: JUMPDEST
0000183a: DUP2
0000183b: CALLDATALOAD
0000183c: PUSH2 0x1299
0000183f: DUP2
00001840: PUSH2 0x1812
00001843: JUMP
00001844: JUMPDEST
00001845: PUSH1 0x00
00001847: PUSH1 0x20
00001849: DUP3
0000184a: DUP5
0000184b: SUB
0000184c: SLT
0000184d: ISZERO
0000184e: PUSH2 0x1856
00001851: JUMPI
00001852: PUSH1 0x00
00001854: DUP1
00001855: REVERT
00001856: JUMPDEST
00001857: DUP2
00001858: CALLDATALOAD
00001859: PUSH2 0xffff
0000185c: DUP2
0000185d: AND
0000185e: DUP2
0000185f: EQ
00001860: PUSH2 0x1299
00001863: JUMPI
00001864: PUSH1 0x00
00001866: DUP1
00001867: REVERT
00001868: JUMPDEST
00001869: PUSH1 0x00
0000186b: DUP1
0000186c: PUSH1 0x40
0000186e: DUP4
0000186f: DUP6
00001870: SUB
00001871: SLT
00001872: ISZERO
00001873: PUSH2 0x187b
00001876: JUMPI
00001877: PUSH1 0x00
00001879: DUP1
0000187a: REVERT
0000187b: JUMPDEST
0000187c: DUP3
0000187d: CALLDATALOAD
0000187e: PUSH2 0x1886
00001881: DUP2
00001882: PUSH2 0x1812
00001885: JUMP
00001886: JUMPDEST
00001887: SWAP2
00001888: POP
00001889: PUSH1 0x20
0000188b: DUP4
0000188c: ADD
0000188d: CALLDATALOAD
0000188e: PUSH2 0x1896
00001891: DUP2
00001892: PUSH2 0x1812
00001895: JUMP
00001896: JUMPDEST
00001897: DUP1
00001898: SWAP2
00001899: POP
0000189a: POP
0000189b: SWAP3
0000189c: POP
0000189d: SWAP3
0000189e: SWAP1
0000189f: POP
000018a0: JUMP
000018a1: JUMPDEST
000018a2: PUSH1 0x00
000018a4: PUSH1 0x20
000018a6: DUP3
000018a7: DUP5
000018a8: SUB
000018a9: SLT
000018aa: ISZERO
000018ab: PUSH2 0x18b3
000018ae: JUMPI
000018af: PUSH1 0x00
000018b1: DUP1
000018b2: REVERT
000018b3: JUMPDEST
000018b4: POP
000018b5: CALLDATALOAD
000018b6: SWAP2
000018b7: SWAP1
000018b8: POP
000018b9: JUMP
000018ba: JUMPDEST
000018bb: DUP1
000018bc: CALLDATALOAD
000018bd: PUSH1 0xff
000018bf: DUP2
000018c0: AND
000018c1: DUP2
000018c2: EQ
000018c3: PUSH2 0x18cb
000018c6: JUMPI
000018c7: PUSH1 0x00
000018c9: DUP1
000018ca: REVERT
000018cb: JUMPDEST
000018cc: SWAP2
000018cd: SWAP1
000018ce: POP
000018cf: JUMP
000018d0: JUMPDEST
000018d1: PUSH1 0x00
000018d3: PUSH1 0x20
000018d5: DUP3
000018d6: DUP5
000018d7: SUB
000018d8: SLT
000018d9: ISZERO
000018da: PUSH2 0x18e2
000018dd: JUMPI
000018de: PUSH1 0x00
000018e0: DUP1
000018e1: REVERT
000018e2: JUMPDEST
000018e3: PUSH2 0x1299
000018e6: DUP3
000018e7: PUSH2 0x18ba
000018ea: JUMP
000018eb: JUMPDEST
000018ec: PUSH1 0x00
000018ee: PUSH1 0x20
000018f0: DUP3
000018f1: DUP5
000018f2: SUB
000018f3: SLT
000018f4: ISZERO
000018f5: PUSH2 0x18fd
000018f8: JUMPI
000018f9: PUSH1 0x00
000018fb: DUP1
000018fc: REVERT
000018fd: JUMPDEST
000018fe: DUP2
000018ff: CALLDATALOAD
00001900: PUSH8 0xffffffffffffffff
00001909: DUP2
0000190a: AND
0000190b: DUP2
0000190c: EQ
0000190d: PUSH2 0x1299
00001910: JUMPI
00001911: PUSH1 0x00
00001913: DUP1
00001914: REVERT
00001915: JUMPDEST
00001916: PUSH1 0x00
00001918: DUP1
00001919: PUSH1 0x00
0000191b: PUSH1 0x40
0000191d: DUP5
0000191e: DUP7
0000191f: SUB
00001920: SLT
00001921: ISZERO
00001922: PUSH2 0x192a
00001925: JUMPI
00001926: PUSH1 0x00
00001928: DUP1
00001929: REVERT
0000192a: JUMPDEST
0000192b: PUSH2 0x1933
0000192e: DUP5
0000192f: PUSH2 0x18ba
00001932: JUMP
00001933: JUMPDEST
00001934: SWAP3
00001935: POP
00001936: PUSH1 0x20
00001938: DUP5
00001939: ADD
0000193a: CALLDATALOAD
0000193b: PUSH8 0xffffffffffffffff
00001944: DUP1
00001945: DUP3
00001946: GT
00001947: ISZERO
00001948: PUSH2 0x1950
0000194b: JUMPI
0000194c: PUSH1 0x00
0000194e: DUP1
0000194f: REVERT
00001950: JUMPDEST
00001951: DUP2
00001952: DUP7
00001953: ADD
00001954: SWAP2
00001955: POP
00001956: DUP7
00001957: PUSH1 0x1f
00001959: DUP4
0000195a: ADD
0000195b: SLT
0000195c: PUSH2 0x1964
0000195f: JUMPI
00001960: PUSH1 0x00
00001962: DUP1
00001963: REVERT
00001964: JUMPDEST
00001965: DUP2
00001966: CALLDATALOAD
00001967: DUP2
00001968: DUP2
00001969: GT
0000196a: ISZERO
0000196b: PUSH2 0x1973
0000196e: JUMPI
0000196f: PUSH1 0x00
00001971: DUP1
00001972: REVERT
00001973: JUMPDEST
00001974: DUP8
00001975: PUSH1 0x20
00001977: DUP3
00001978: PUSH1 0x05
0000197a: SHL
0000197b: DUP6
0000197c: ADD
0000197d: ADD
0000197e: GT
0000197f: ISZERO
00001980: PUSH2 0x1988
00001983: JUMPI
00001984: PUSH1 0x00
00001986: DUP1
00001987: REVERT
00001988: JUMPDEST
00001989: PUSH1 0x20
0000198b: DUP4
0000198c: ADD
0000198d: SWAP5
0000198e: POP
0000198f: DUP1
00001990: SWAP4
00001991: POP
00001992: POP
00001993: POP
00001994: POP
00001995: SWAP3
00001996: POP
00001997: SWAP3
00001998: POP
00001999: SWAP3
0000199a: JUMP
0000199b: JUMPDEST
0000199c: PUSH4 0x4e487b71
000019a1: PUSH1 0xe0
000019a3: SHL
000019a4: PUSH1 0x00
000019a6: MSTORE
000019a7: PUSH1 0x11
000019a9: PUSH1 0x04
000019ab: MSTORE
000019ac: PUSH1 0x24
000019ae: PUSH1 0x00
000019b0: REVERT
000019b1: JUMPDEST
000019b2: PUSH1 0x00
000019b4: DUP3
000019b5: NOT
000019b6: DUP3
000019b7: GT
000019b8: ISZERO
000019b9: PUSH2 0x19c4
000019bc: JUMPI
000019bd: PUSH2 0x19c4
000019c0: PUSH2 0x199b
000019c3: JUMP
000019c4: JUMPDEST
000019c5: POP
000019c6: ADD
000019c7: SWAP1
000019c8: JUMP
000019c9: JUMPDEST
000019ca: PUSH1 0x00
000019cc: PUSH1 0x20
000019ce: DUP3
000019cf: DUP5
000019d0: SUB
000019d1: SLT
000019d2: ISZERO
000019d3: PUSH2 0x19db
000019d6: JUMPI
000019d7: PUSH1 0x00
000019d9: DUP1
000019da: REVERT
000019db: JUMPDEST
000019dc: POP
000019dd: MLOAD
000019de: SWAP2
000019df: SWAP1
000019e0: POP
000019e1: JUMP
000019e2: JUMPDEST
000019e3: PUSH4 0x4e487b71
000019e8: PUSH1 0xe0
000019ea: SHL
000019eb: PUSH1 0x00
000019ed: MSTORE
000019ee: PUSH1 0x32
000019f0: PUSH1 0x04
000019f2: MSTORE
000019f3: PUSH1 0x24
000019f5: PUSH1 0x00
000019f7: REVERT
000019f8: JUMPDEST
000019f9: PUSH4 0x4e487b71
000019fe: PUSH1 0xe0
00001a00: SHL
00001a01: PUSH1 0x00
00001a03: MSTORE
00001a04: PUSH1 0x12
00001a06: PUSH1 0x04
00001a08: MSTORE
00001a09: PUSH1 0x24
00001a0b: PUSH1 0x00
00001a0d: REVERT
00001a0e: JUMPDEST
00001a0f: PUSH1 0x00
00001a11: PUSH1 0xff
00001a13: DUP4
00001a14: AND
00001a15: DUP1
00001a16: PUSH2 0x1a21
00001a19: JUMPI
00001a1a: PUSH2 0x1a21
00001a1d: PUSH2 0x19f8
00001a20: JUMP
00001a21: JUMPDEST
00001a22: DUP1
00001a23: PUSH1 0xff
00001a25: DUP5
00001a26: AND
00001a27: DIV
00001a28: SWAP2
00001a29: POP
00001a2a: POP
00001a2b: SWAP3
00001a2c: SWAP2
00001a2d: POP
00001a2e: POP
00001a2f: JUMP
00001a30: JUMPDEST
00001a31: PUSH1 0x00
00001a33: PUSH1 0xff
00001a35: DUP3
00001a36: AND
00001a37: PUSH1 0xff
00001a39: DUP5
00001a3a: AND
00001a3b: DUP1
00001a3c: PUSH1 0xff
00001a3e: SUB
00001a3f: DUP3
00001a40: GT
00001a41: ISZERO
00001a42: PUSH2 0x1a4d
00001a45: JUMPI
00001a46: PUSH2 0x1a4d
00001a49: PUSH2 0x199b
00001a4c: JUMP
00001a4d: JUMPDEST
00001a4e: ADD
00001a4f: SWAP4
00001a50: SWAP3
00001a51: POP
00001a52: POP
00001a53: POP
00001a54: JUMP
00001a55: JUMPDEST
00001a56: PUSH1 0x00
00001a58: PUSH8 0xffffffffffffffff
00001a61: DUP4
00001a62: DUP2
00001a63: AND
00001a64: SWAP1
00001a65: DUP4
00001a66: AND
00001a67: DUP2
00001a68: DUP2
00001a69: LT
00001a6a: ISZERO
00001a6b: PUSH2 0x1a76
00001a6e: JUMPI
00001a6f: PUSH2 0x1a76
00001a72: PUSH2 0x199b
00001a75: JUMP
00001a76: JUMPDEST
00001a77: SUB
00001a78: SWAP4
00001a79: SWAP3
00001a7a: POP
00001a7b: POP
00001a7c: POP
00001a7d: JUMP
00001a7e: JUMPDEST
00001a7f: PUSH1 0x00
00001a81: DUP2
00001a82: PUSH1 0x00
00001a84: NOT
00001a85: DIV
00001a86: DUP4
00001a87: GT
00001a88: DUP3
00001a89: ISZERO
00001a8a: ISZERO
00001a8b: AND
00001a8c: ISZERO
00001a8d: PUSH2 0x1a98
00001a90: JUMPI
00001a91: PUSH2 0x1a98
00001a94: PUSH2 0x199b
00001a97: JUMP
00001a98: JUMPDEST
00001a99: POP
00001a9a: MUL
00001a9b: SWAP1
00001a9c: JUMP
00001a9d: JUMPDEST
00001a9e: PUSH1 0x00
00001aa0: DUP3
00001aa1: PUSH2 0x1aac
00001aa4: JUMPI
00001aa5: PUSH2 0x1aac
00001aa8: PUSH2 0x19f8
00001aab: JUMP
00001aac: JUMPDEST
00001aad: POP
00001aae: DIV
00001aaf: SWAP1
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: PUSH1 0x00
00001ab4: DUP3
00001ab5: DUP3
00001ab6: LT
00001ab7: ISZERO
00001ab8: PUSH2 0x1ac3
00001abb: JUMPI
00001abc: PUSH2 0x1ac3
00001abf: PUSH2 0x199b
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: POP
00001ac5: SUB
00001ac6: SWAP1
00001ac7: JUMP
00001ac8: JUMPDEST
00001ac9: PUSH1 0x00
00001acb: PUSH1 0x20
00001acd: DUP3
00001ace: DUP5
00001acf: SUB
00001ad0: SLT
00001ad1: ISZERO
00001ad2: PUSH2 0x1ada
00001ad5: JUMPI
00001ad6: PUSH1 0x00
00001ad8: DUP1
00001ad9: REVERT
00001ada: JUMPDEST
00001adb: DUP2
00001adc: MLOAD
00001add: DUP1
00001ade: ISZERO
00001adf: ISZERO
00001ae0: DUP2
00001ae1: EQ
00001ae2: PUSH2 0x1299
00001ae5: JUMPI
00001ae6: PUSH1 0x00
00001ae8: DUP1
00001ae9: REVERT
00001aea: JUMPDEST
00001aeb: PUSH1 0x00
00001aed: PUSH1 0x00
00001aef: NOT
00001af0: DUP3
00001af1: EQ
00001af2: ISZERO
00001af3: PUSH2 0x1afe
00001af6: JUMPI
00001af7: PUSH2 0x1afe
00001afa: PUSH2 0x199b
00001afd: JUMP
00001afe: JUMPDEST
00001aff: POP
00001b00: PUSH1 0x01
00001b02: ADD
00001b03: SWAP1
00001b04: JUMP
00001b05: JUMPDEST
00001b06: PUSH1 0x00
00001b08: JUMPDEST
00001b09: DUP4
00001b0a: DUP2
00001b0b: LT
00001b0c: ISZERO
00001b0d: PUSH2 0x1b20
00001b10: JUMPI
00001b11: DUP2
00001b12: DUP2
00001b13: ADD
00001b14: MLOAD
00001b15: DUP4
00001b16: DUP3
00001b17: ADD
00001b18: MSTORE
00001b19: PUSH1 0x20
00001b1b: ADD
00001b1c: PUSH2 0x1b08
00001b1f: JUMP
00001b20: JUMPDEST
00001b21: DUP4
00001b22: DUP2
00001b23: GT
00001b24: ISZERO
00001b25: PUSH2 0x1b2f
00001b28: JUMPI
00001b29: PUSH1 0x00
00001b2b: DUP5
00001b2c: DUP5
00001b2d: ADD
00001b2e: MSTORE
00001b2f: JUMPDEST
00001b30: POP
00001b31: POP
00001b32: POP
00001b33: POP
00001b34: JUMP
00001b35: JUMPDEST
00001b36: PUSH1 0x00
00001b38: DUP3
00001b39: MLOAD
00001b3a: PUSH2 0x1b47
00001b3d: DUP2
00001b3e: DUP5
00001b3f: PUSH1 0x20
00001b41: DUP8
00001b42: ADD
00001b43: PUSH2 0x1b05
00001b46: JUMP
00001b47: JUMPDEST
00001b48: SWAP2
00001b49: SWAP1
00001b4a: SWAP2
00001b4b: ADD
00001b4c: SWAP3
00001b4d: SWAP2
00001b4e: POP
00001b4f: POP
00001b50: JUMP
00001b51: JUMPDEST
00001b52: PUSH1 0x20
00001b54: DUP2
00001b55: MSTORE
00001b56: PUSH1 0x00
00001b58: DUP3
00001b59: MLOAD
00001b5a: DUP1
00001b5b: PUSH1 0x20
00001b5d: DUP5
00001b5e: ADD
00001b5f: MSTORE
00001b60: PUSH2 0x1b70
00001b63: DUP2
00001b64: PUSH1 0x40
00001b66: DUP6
00001b67: ADD
00001b68: PUSH1 0x20
00001b6a: DUP8
00001b6b: ADD
00001b6c: PUSH2 0x1b05
00001b6f: JUMP
00001b70: JUMPDEST
00001b71: PUSH1 0x1f
00001b73: ADD
00001b74: PUSH1 0x1f
00001b76: NOT
00001b77: AND
00001b78: SWAP2
00001b79: SWAP1
00001b7a: SWAP2
00001b7b: ADD
00001b7c: PUSH1 0x40
00001b7e: ADD
00001b7f: SWAP3
00001b80: SWAP2
00001b81: POP
00001b82: POP
00001b83: JUMP
00001b84: INVALID
00001b85: UNKNOWN(0x4F)
00001b86: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865
00001b9f: KECCAK256
00001ba0: PUSH16 0x776e6572a264697066735822122038c5
00001bb1: SWAP7
00001bb2: PUSH7 0xc144ae8ef32305
00001bba: UNKNOWN(0x28)
00001bbb: LT
00001bbc: NOT
00001bbd: UNKNOWN(0x4B)
00001bbe: SMOD
00001bbf: UNKNOWN(0xFB)
00001bc0: UNKNOWN(0xD7)
00001bc1: SDIV
00001bc2: SHL
00001bc3: DUP11
00001bc4: DUP3
00001bc5: UNKNOWN(0x24)
00001bc6: UNKNOWN(0xE2)
00001bc7: PUSH2 0x7db8
00001bca: DUP11
00001bcb: UNKNOWN(0x2C)
00001bcc: UNKNOWN(0xCD)
00001bcd: UNKNOWN(0xEC)
00001bce: STOP
00001bcf: PUSH5 0x736f6c6343
00001bd5: STOP
00001bd6: ADDMOD
00001bd7: MULMOD
00001bd8: STOP
00001bd9: CALLER

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": "0xe0e31639",
            "selector": "0xe0e31639",
            "calldata_variants": [
                "0xe0e31639",
                "0xe0e316390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6a72acf",
            "selector": "0xe6a72acf",
            "calldata_variants": [
                "0xe6a72acf",
                "0xe6a72acf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5f52098",
            "selector": "0xd5f52098",
            "calldata_variants": [
                "0xd5f52098",
                "0xd5f520980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xde8801e5",
            "selector": "0xde8801e5",
            "calldata_variants": [
                "0xde8801e5",
                "0xde8801e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 3539,
            "type": "tx_origin_used"
        },
        {
            "pc": 3538,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xd66f20be18610def7f4be8800c06bedef5cb8736b9da8b628891ac7f9c708c5e
call_targets: 0x9a84c5a2cf4a3f84f65f501f219f72406feb0e0e
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd66f20be18610def7f4be8800c06bedef5cb8736b9da8b628891ac7f9c708c5e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9a84c5a2cf4a3f84f65f501f219f72406feb0e0e"
    ],
    "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": "0xe0e31639",
            "selector": "0xe0e31639",
            "calldata_variants": [
                "0xe0e31639",
                "0xe0e316390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6a72acf",
            "selector": "0xe6a72acf",
            "calldata_variants": [
                "0xe6a72acf",
                "0xe6a72acf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5f52098",
            "selector": "0xd5f52098",
            "calldata_variants": [
                "0xd5f52098",
                "0xd5f520980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xde8801e5",
            "selector": "0xde8801e5",
            "calldata_variants": [
                "0xde8801e5",
                "0xde8801e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3718,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4461,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4877,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 3539,
            "type": "tx_origin_used"
        },
        {
            "pc": 3538,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xd66f20be18610def7f4be8800c06bedef5cb8736b9da8b628891ac7f9c708c5e
call_targets: 0x9a84c5a2cf4a3f84f65f501f219f72406feb0e0e
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd66f20be18610def7f4be8800c06bedef5cb8736b9da8b628891ac7f9c708c5e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9a84c5a2cf4a3f84f65f501f219f72406feb0e0e"
    ],
    "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": "0xe0e31639",
            "selector": "0xe0e31639",
            "calldata_variants": [
                "0xe0e31639",
                "0xe0e316390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6a72acf",
            "selector": "0xe6a72acf",
            "calldata_variants": [
                "0xe6a72acf",
                "0xe6a72acf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5f52098",
            "selector": "0xd5f52098",
            "calldata_variants": [
                "0xd5f52098",
                "0xd5f520980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xde8801e5",
            "selector": "0xde8801e5",
            "calldata_variants": [
                "0xde8801e5",
                "0xde8801e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3718,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4461,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4877,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 3539,
            "type": "tx_origin_used"
        },
        {
            "pc": 3538,
            "type": "tx_origin_used"
        }
    ]
}