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

Analysis Run

019b477e-cfe7-7097-b2ce-3ba5133cb2cf

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
27469 artifact.fetch complete 1 / 3 3 months ago
27470 tool.cast_disasm complete 1 / 3 3 months ago
92117 analysis.bundle complete 1 / 3 2 weeks ago
92118 capability.graph complete 1 / 3 2 weeks ago
92119 detector.run complete 1 / 3 2 weeks ago
92120 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
1
Total opcodes
4731
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 0x01d0
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7d1db4a5
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa2a957bb
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc492f046
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc492f046
0000003a: EQ
0000003b: PUSH2 0x0522
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x0542
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xea1644d5
00000050: EQ
00000051: PUSH2 0x0588
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x05a8
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa2a957bb
0000006b: EQ
0000006c: PUSH2 0x049d
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa9059cbb
00000076: EQ
00000077: PUSH2 0x04bd
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbfd79284
00000081: EQ
00000082: PUSH2 0x04dd
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc3c8cd80
0000008c: EQ
0000008d: PUSH2 0x050d
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x8f70ccf7
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8f70ccf7
000000a7: EQ
000000a8: PUSH2 0x0447
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8f9a55c0
000000b2: EQ
000000b3: PUSH2 0x0467
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x01fe
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x98a5c315
000000c8: EQ
000000c9: PUSH2 0x047d
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x7d1db4a5
000000d8: EQ
000000d9: PUSH2 0x03e6
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x7f2feddc
000000e3: EQ
000000e4: PUSH2 0x03fc
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x8da5cb5b
000000ee: EQ
000000ef: PUSH2 0x0429
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x313ce567
000000fe: GT
000000ff: PUSH2 0x016f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x6fc3eaec
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6fc3eaec
00000114: EQ
00000115: PUSH2 0x037c
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x70a08231
0000011f: EQ
00000120: PUSH2 0x0391
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x715018a6
0000012a: EQ
0000012b: PUSH2 0x03b1
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x74010ece
00000135: EQ
00000136: PUSH2 0x03c6
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x313ce567
00000145: EQ
00000146: PUSH2 0x0300
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x49bd5a5e
00000150: EQ
00000151: PUSH2 0x031c
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x6b999053
0000015b: EQ
0000015c: PUSH2 0x033c
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x6d8aa8f8
00000166: EQ
00000167: PUSH2 0x035c
0000016a: JUMPI
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x1694505e
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x1694505e
00000181: EQ
00000182: PUSH2 0x026c
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x18160ddd
0000018c: EQ
0000018d: PUSH2 0x02a4
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x23b872dd
00000197: EQ
00000198: PUSH2 0x02ca
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x2fd689e3
000001a2: EQ
000001a3: PUSH2 0x02ea
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH3 0xb8cf2a
000001b1: EQ
000001b2: PUSH2 0x01dc
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0x06fdde03
000001bc: EQ
000001bd: PUSH2 0x01fe
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x095ea7b3
000001c7: EQ
000001c8: PUSH2 0x023c
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: CALLDATASIZE
000001d2: PUSH2 0x01d7
000001d5: JUMPI
000001d6: STOP
000001d7: JUMPDEST
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: POP
000001ea: PUSH2 0x01fc
000001ed: PUSH2 0x01f7
000001f0: CALLDATASIZE
000001f1: PUSH1 0x04
000001f3: PUSH2 0x1922
000001f6: JUMP
000001f7: JUMPDEST
000001f8: PUSH2 0x05c8
000001fb: JUMP
000001fc: JUMPDEST
000001fd: STOP
000001fe: JUMPDEST
000001ff: CALLVALUE
00000200: DUP1
00000201: ISZERO
00000202: PUSH2 0x020a
00000205: JUMPI
00000206: PUSH1 0x00
00000208: DUP1
00000209: REVERT
0000020a: JUMPDEST
0000020b: POP
0000020c: PUSH1 0x40
0000020e: DUP1
0000020f: MLOAD
00000210: DUP1
00000211: DUP3
00000212: ADD
00000213: DUP3
00000214: MSTORE
00000215: PUSH1 0x06
00000217: DUP2
00000218: MSTORE
00000219: PUSH6 0x544545484545
00000220: PUSH1 0xd0
00000222: SHL
00000223: PUSH1 0x20
00000225: DUP3
00000226: ADD
00000227: MSTORE
00000228: SWAP1
00000229: MLOAD
0000022a: PUSH2 0x0233
0000022d: SWAP2
0000022e: SWAP1
0000022f: PUSH2 0x19e7
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: DUP1
00000238: SWAP2
00000239: SUB
0000023a: SWAP1
0000023b: RETURN
0000023c: JUMPDEST
0000023d: CALLVALUE
0000023e: DUP1
0000023f: ISZERO
00000240: PUSH2 0x0248
00000243: JUMPI
00000244: PUSH1 0x00
00000246: DUP1
00000247: REVERT
00000248: JUMPDEST
00000249: POP
0000024a: PUSH2 0x025c
0000024d: PUSH2 0x0257
00000250: CALLDATASIZE
00000251: PUSH1 0x04
00000253: PUSH2 0x1a35
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x0667
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: SWAP1
00000261: ISZERO
00000262: ISZERO
00000263: DUP2
00000264: MSTORE
00000265: PUSH1 0x20
00000267: ADD
00000268: PUSH2 0x0233
0000026b: JUMP
0000026c: JUMPDEST
0000026d: CALLVALUE
0000026e: DUP1
0000026f: ISZERO
00000270: PUSH2 0x0278
00000273: JUMPI
00000274: PUSH1 0x00
00000276: DUP1
00000277: REVERT
00000278: JUMPDEST
00000279: POP
0000027a: PUSH1 0x14
0000027c: SLOAD
0000027d: PUSH2 0x028c
00000280: SWAP1
00000281: PUSH1 0x01
00000283: PUSH1 0x01
00000285: PUSH1 0xa0
00000287: SHL
00000288: SUB
00000289: AND
0000028a: DUP2
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: PUSH1 0x01
00000292: PUSH1 0x01
00000294: PUSH1 0xa0
00000296: SHL
00000297: SUB
00000298: SWAP1
00000299: SWAP2
0000029a: AND
0000029b: DUP2
0000029c: MSTORE
0000029d: PUSH1 0x20
0000029f: ADD
000002a0: PUSH2 0x0233
000002a3: JUMP
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH9 0x2567ac70392b880000
000002bc: JUMPDEST
000002bd: PUSH1 0x40
000002bf: MLOAD
000002c0: SWAP1
000002c1: DUP2
000002c2: MSTORE
000002c3: PUSH1 0x20
000002c5: ADD
000002c6: PUSH2 0x0233
000002c9: JUMP
000002ca: JUMPDEST
000002cb: CALLVALUE
000002cc: DUP1
000002cd: ISZERO
000002ce: PUSH2 0x02d6
000002d1: JUMPI
000002d2: PUSH1 0x00
000002d4: DUP1
000002d5: REVERT
000002d6: JUMPDEST
000002d7: POP
000002d8: PUSH2 0x025c
000002db: PUSH2 0x02e5
000002de: CALLDATASIZE
000002df: PUSH1 0x04
000002e1: PUSH2 0x1a61
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH2 0x067e
000002e9: JUMP
000002ea: JUMPDEST
000002eb: CALLVALUE
000002ec: DUP1
000002ed: ISZERO
000002ee: PUSH2 0x02f6
000002f1: JUMPI
000002f2: PUSH1 0x00
000002f4: DUP1
000002f5: REVERT
000002f6: JUMPDEST
000002f7: POP
000002f8: PUSH2 0x02bc
000002fb: PUSH1 0x18
000002fd: SLOAD
000002fe: DUP2
000002ff: JUMP
00000300: JUMPDEST
00000301: CALLVALUE
00000302: DUP1
00000303: ISZERO
00000304: PUSH2 0x030c
00000307: JUMPI
00000308: PUSH1 0x00
0000030a: DUP1
0000030b: REVERT
0000030c: JUMPDEST
0000030d: POP
0000030e: PUSH1 0x40
00000310: MLOAD
00000311: PUSH1 0x09
00000313: DUP2
00000314: MSTORE
00000315: PUSH1 0x20
00000317: ADD
00000318: PUSH2 0x0233
0000031b: JUMP
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH1 0x15
0000032c: SLOAD
0000032d: PUSH2 0x028c
00000330: SWAP1
00000331: PUSH1 0x01
00000333: PUSH1 0x01
00000335: PUSH1 0xa0
00000337: SHL
00000338: SUB
00000339: AND
0000033a: DUP2
0000033b: JUMP
0000033c: JUMPDEST
0000033d: CALLVALUE
0000033e: DUP1
0000033f: ISZERO
00000340: PUSH2 0x0348
00000343: JUMPI
00000344: PUSH1 0x00
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: PUSH2 0x01fc
0000034d: PUSH2 0x0357
00000350: CALLDATASIZE
00000351: PUSH1 0x04
00000353: PUSH2 0x1aa2
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH2 0x06e7
0000035b: JUMP
0000035c: JUMPDEST
0000035d: CALLVALUE
0000035e: DUP1
0000035f: ISZERO
00000360: PUSH2 0x0368
00000363: JUMPI
00000364: PUSH1 0x00
00000366: DUP1
00000367: REVERT
00000368: JUMPDEST
00000369: POP
0000036a: PUSH2 0x01fc
0000036d: PUSH2 0x0377
00000370: CALLDATASIZE
00000371: PUSH1 0x04
00000373: PUSH2 0x1acf
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH2 0x0732
0000037b: JUMP
0000037c: JUMPDEST
0000037d: CALLVALUE
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0388
00000383: JUMPI
00000384: PUSH1 0x00
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: POP
0000038a: PUSH2 0x01fc
0000038d: PUSH2 0x077a
00000390: JUMP
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: POP
0000039f: PUSH2 0x02bc
000003a2: PUSH2 0x03ac
000003a5: CALLDATASIZE
000003a6: PUSH1 0x04
000003a8: PUSH2 0x1aa2
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH2 0x07c5
000003b0: JUMP
000003b1: JUMPDEST
000003b2: CALLVALUE
000003b3: DUP1
000003b4: ISZERO
000003b5: PUSH2 0x03bd
000003b8: JUMPI
000003b9: PUSH1 0x00
000003bb: DUP1
000003bc: REVERT
000003bd: JUMPDEST
000003be: POP
000003bf: PUSH2 0x01fc
000003c2: PUSH2 0x07e7
000003c5: JUMP
000003c6: JUMPDEST
000003c7: CALLVALUE
000003c8: DUP1
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: POP
000003d4: PUSH2 0x01fc
000003d7: PUSH2 0x03e1
000003da: CALLDATASIZE
000003db: PUSH1 0x04
000003dd: PUSH2 0x1aea
000003e0: JUMP
000003e1: JUMPDEST
000003e2: PUSH2 0x085b
000003e5: JUMP
000003e6: JUMPDEST
000003e7: CALLVALUE
000003e8: DUP1
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: POP
000003f4: PUSH2 0x02bc
000003f7: PUSH1 0x16
000003f9: SLOAD
000003fa: DUP2
000003fb: JUMP
000003fc: JUMPDEST
000003fd: CALLVALUE
000003fe: DUP1
000003ff: ISZERO
00000400: PUSH2 0x0408
00000403: JUMPI
00000404: PUSH1 0x00
00000406: DUP1
00000407: REVERT
00000408: JUMPDEST
00000409: POP
0000040a: PUSH2 0x02bc
0000040d: PUSH2 0x0417
00000410: CALLDATASIZE
00000411: PUSH1 0x04
00000413: PUSH2 0x1aa2
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH1 0x11
0000041a: PUSH1 0x20
0000041c: MSTORE
0000041d: PUSH1 0x00
0000041f: SWAP1
00000420: DUP2
00000421: MSTORE
00000422: PUSH1 0x40
00000424: SWAP1
00000425: KECCAK256
00000426: SLOAD
00000427: DUP2
00000428: JUMP
00000429: JUMPDEST
0000042a: CALLVALUE
0000042b: DUP1
0000042c: ISZERO
0000042d: PUSH2 0x0435
00000430: JUMPI
00000431: PUSH1 0x00
00000433: DUP1
00000434: REVERT
00000435: JUMPDEST
00000436: POP
00000437: PUSH1 0x00
00000439: SLOAD
0000043a: PUSH1 0x01
0000043c: PUSH1 0x01
0000043e: PUSH1 0xa0
00000440: SHL
00000441: SUB
00000442: AND
00000443: PUSH2 0x028c
00000446: JUMP
00000447: JUMPDEST
00000448: CALLVALUE
00000449: DUP1
0000044a: ISZERO
0000044b: PUSH2 0x0453
0000044e: JUMPI
0000044f: PUSH1 0x00
00000451: DUP1
00000452: REVERT
00000453: JUMPDEST
00000454: POP
00000455: PUSH2 0x01fc
00000458: PUSH2 0x0462
0000045b: CALLDATASIZE
0000045c: PUSH1 0x04
0000045e: PUSH2 0x1acf
00000461: JUMP
00000462: JUMPDEST
00000463: PUSH2 0x088a
00000466: JUMP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0473
0000046e: JUMPI
0000046f: PUSH1 0x00
00000471: DUP1
00000472: REVERT
00000473: JUMPDEST
00000474: POP
00000475: PUSH2 0x02bc
00000478: PUSH1 0x17
0000047a: SLOAD
0000047b: DUP2
0000047c: JUMP
0000047d: JUMPDEST
0000047e: CALLVALUE
0000047f: DUP1
00000480: ISZERO
00000481: PUSH2 0x0489
00000484: JUMPI
00000485: PUSH1 0x00
00000487: DUP1
00000488: REVERT
00000489: JUMPDEST
0000048a: POP
0000048b: PUSH2 0x01fc
0000048e: PUSH2 0x0498
00000491: CALLDATASIZE
00000492: PUSH1 0x04
00000494: PUSH2 0x1aea
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH2 0x08d2
0000049c: JUMP
0000049d: JUMPDEST
0000049e: CALLVALUE
0000049f: DUP1
000004a0: ISZERO
000004a1: PUSH2 0x04a9
000004a4: JUMPI
000004a5: PUSH1 0x00
000004a7: DUP1
000004a8: REVERT
000004a9: JUMPDEST
000004aa: POP
000004ab: PUSH2 0x01fc
000004ae: PUSH2 0x04b8
000004b1: CALLDATASIZE
000004b2: PUSH1 0x04
000004b4: PUSH2 0x1b03
000004b7: JUMP
000004b8: JUMPDEST
000004b9: PUSH2 0x0901
000004bc: JUMP
000004bd: JUMPDEST
000004be: CALLVALUE
000004bf: DUP1
000004c0: ISZERO
000004c1: PUSH2 0x04c9
000004c4: JUMPI
000004c5: PUSH1 0x00
000004c7: DUP1
000004c8: REVERT
000004c9: JUMPDEST
000004ca: POP
000004cb: PUSH2 0x025c
000004ce: PUSH2 0x04d8
000004d1: CALLDATASIZE
000004d2: PUSH1 0x04
000004d4: PUSH2 0x1a35
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH2 0x093f
000004dc: JUMP
000004dd: JUMPDEST
000004de: CALLVALUE
000004df: DUP1
000004e0: ISZERO
000004e1: PUSH2 0x04e9
000004e4: JUMPI
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: REVERT
000004e9: JUMPDEST
000004ea: POP
000004eb: PUSH2 0x025c
000004ee: PUSH2 0x04f8
000004f1: CALLDATASIZE
000004f2: PUSH1 0x04
000004f4: PUSH2 0x1aa2
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH1 0x10
000004fb: PUSH1 0x20
000004fd: MSTORE
000004fe: PUSH1 0x00
00000500: SWAP1
00000501: DUP2
00000502: MSTORE
00000503: PUSH1 0x40
00000505: SWAP1
00000506: KECCAK256
00000507: SLOAD
00000508: PUSH1 0xff
0000050a: AND
0000050b: DUP2
0000050c: JUMP
0000050d: JUMPDEST
0000050e: CALLVALUE
0000050f: DUP1
00000510: ISZERO
00000511: PUSH2 0x0519
00000514: JUMPI
00000515: PUSH1 0x00
00000517: DUP1
00000518: REVERT
00000519: JUMPDEST
0000051a: POP
0000051b: PUSH2 0x01fc
0000051e: PUSH2 0x094c
00000521: JUMP
00000522: JUMPDEST
00000523: CALLVALUE
00000524: DUP1
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: PUSH2 0x01fc
00000533: PUSH2 0x053d
00000536: CALLDATASIZE
00000537: PUSH1 0x04
00000539: PUSH2 0x1b35
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH2 0x09a0
00000541: JUMP
00000542: JUMPDEST
00000543: CALLVALUE
00000544: DUP1
00000545: ISZERO
00000546: PUSH2 0x054e
00000549: JUMPI
0000054a: PUSH1 0x00
0000054c: DUP1
0000054d: REVERT
0000054e: JUMPDEST
0000054f: POP
00000550: PUSH2 0x02bc
00000553: PUSH2 0x055d
00000556: CALLDATASIZE
00000557: PUSH1 0x04
00000559: PUSH2 0x1bb9
0000055c: JUMP
0000055d: JUMPDEST
0000055e: PUSH1 0x01
00000560: PUSH1 0x01
00000562: PUSH1 0xa0
00000564: SHL
00000565: SUB
00000566: SWAP2
00000567: DUP3
00000568: AND
00000569: PUSH1 0x00
0000056b: SWAP1
0000056c: DUP2
0000056d: MSTORE
0000056e: PUSH1 0x04
00000570: PUSH1 0x20
00000572: SWAP1
00000573: DUP2
00000574: MSTORE
00000575: PUSH1 0x40
00000577: DUP1
00000578: DUP4
00000579: KECCAK256
0000057a: SWAP4
0000057b: SWAP1
0000057c: SWAP5
0000057d: AND
0000057e: DUP3
0000057f: MSTORE
00000580: SWAP2
00000581: SWAP1
00000582: SWAP2
00000583: MSTORE
00000584: KECCAK256
00000585: SLOAD
00000586: SWAP1
00000587: JUMP
00000588: JUMPDEST
00000589: CALLVALUE
0000058a: DUP1
0000058b: ISZERO
0000058c: PUSH2 0x0594
0000058f: JUMPI
00000590: PUSH1 0x00
00000592: DUP1
00000593: REVERT
00000594: JUMPDEST
00000595: POP
00000596: PUSH2 0x01fc
00000599: PUSH2 0x05a3
0000059c: CALLDATASIZE
0000059d: PUSH1 0x04
0000059f: PUSH2 0x1aea
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH2 0x0a41
000005a7: JUMP
000005a8: JUMPDEST
000005a9: CALLVALUE
000005aa: DUP1
000005ab: ISZERO
000005ac: PUSH2 0x05b4
000005af: JUMPI
000005b0: PUSH1 0x00
000005b2: DUP1
000005b3: REVERT
000005b4: JUMPDEST
000005b5: POP
000005b6: PUSH2 0x01fc
000005b9: PUSH2 0x05c3
000005bc: CALLDATASIZE
000005bd: PUSH1 0x04
000005bf: PUSH2 0x1aa2
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH2 0x0a70
000005c7: JUMP
000005c8: JUMPDEST
000005c9: PUSH1 0x00
000005cb: SLOAD
000005cc: PUSH1 0x01
000005ce: PUSH1 0x01
000005d0: PUSH1 0xa0
000005d2: SHL
000005d3: SUB
000005d4: AND
000005d5: CALLER
000005d6: EQ
000005d7: PUSH2 0x05fb
000005da: JUMPI
000005db: PUSH1 0x40
000005dd: MLOAD
000005de: PUSH3 0x461bcd
000005e2: PUSH1 0xe5
000005e4: SHL
000005e5: DUP2
000005e6: MSTORE
000005e7: PUSH1 0x04
000005e9: ADD
000005ea: PUSH2 0x05f2
000005ed: SWAP1
000005ee: PUSH2 0x1bf2
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH1 0x40
000005f5: MLOAD
000005f6: DUP1
000005f7: SWAP2
000005f8: SUB
000005f9: SWAP1
000005fa: REVERT
000005fb: JUMPDEST
000005fc: PUSH1 0x00
000005fe: JUMPDEST
000005ff: DUP2
00000600: MLOAD
00000601: DUP2
00000602: LT
00000603: ISZERO
00000604: PUSH2 0x0663
00000607: JUMPI
00000608: PUSH1 0x01
0000060a: PUSH1 0x10
0000060c: PUSH1 0x00
0000060e: DUP5
0000060f: DUP5
00000610: DUP2
00000611: MLOAD
00000612: DUP2
00000613: LT
00000614: PUSH2 0x061f
00000617: JUMPI
00000618: PUSH2 0x061f
0000061b: PUSH2 0x1c27
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH1 0x20
00000622: SWAP1
00000623: DUP2
00000624: MUL
00000625: SWAP2
00000626: SWAP1
00000627: SWAP2
00000628: ADD
00000629: DUP2
0000062a: ADD
0000062b: MLOAD
0000062c: PUSH1 0x01
0000062e: PUSH1 0x01
00000630: PUSH1 0xa0
00000632: SHL
00000633: SUB
00000634: AND
00000635: DUP3
00000636: MSTORE
00000637: DUP2
00000638: ADD
00000639: SWAP2
0000063a: SWAP1
0000063b: SWAP2
0000063c: MSTORE
0000063d: PUSH1 0x40
0000063f: ADD
00000640: PUSH1 0x00
00000642: KECCAK256
00000643: DUP1
00000644: SLOAD
00000645: PUSH1 0xff
00000647: NOT
00000648: AND
00000649: SWAP2
0000064a: ISZERO
0000064b: ISZERO
0000064c: SWAP2
0000064d: SWAP1
0000064e: SWAP2
0000064f: OR
00000650: SWAP1
00000651: SSTORE
00000652: DUP1
00000653: PUSH2 0x065b
00000656: DUP2
00000657: PUSH2 0x1c53
0000065a: JUMP
0000065b: JUMPDEST
0000065c: SWAP2
0000065d: POP
0000065e: POP
0000065f: PUSH2 0x05fe
00000662: JUMP
00000663: JUMPDEST
00000664: POP
00000665: POP
00000666: JUMP
00000667: JUMPDEST
00000668: PUSH1 0x00
0000066a: PUSH2 0x0674
0000066d: CALLER
0000066e: DUP5
0000066f: DUP5
00000670: PUSH2 0x0b5a
00000673: JUMP
00000674: JUMPDEST
00000675: POP
00000676: PUSH1 0x01
00000678: JUMPDEST
00000679: SWAP3
0000067a: SWAP2
0000067b: POP
0000067c: POP
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH1 0x00
00000681: PUSH2 0x068b
00000684: DUP5
00000685: DUP5
00000686: DUP5
00000687: PUSH2 0x0c7e
0000068a: JUMP
0000068b: JUMPDEST
0000068c: PUSH2 0x06dd
0000068f: DUP5
00000690: CALLER
00000691: PUSH2 0x06d8
00000694: DUP6
00000695: PUSH1 0x40
00000697: MLOAD
00000698: DUP1
00000699: PUSH1 0x60
0000069b: ADD
0000069c: PUSH1 0x40
0000069e: MSTORE
0000069f: DUP1
000006a0: PUSH1 0x28
000006a2: DUP2
000006a3: MSTORE
000006a4: PUSH1 0x20
000006a6: ADD
000006a7: PUSH2 0x1d5a
000006aa: PUSH1 0x28
000006ac: SWAP2
000006ad: CODECOPY
000006ae: PUSH1 0x01
000006b0: PUSH1 0x01
000006b2: PUSH1 0xa0
000006b4: SHL
000006b5: SUB
000006b6: DUP11
000006b7: AND
000006b8: PUSH1 0x00
000006ba: SWAP1
000006bb: DUP2
000006bc: MSTORE
000006bd: PUSH1 0x04
000006bf: PUSH1 0x20
000006c1: SWAP1
000006c2: DUP2
000006c3: MSTORE
000006c4: PUSH1 0x40
000006c6: DUP1
000006c7: DUP4
000006c8: KECCAK256
000006c9: CALLER
000006ca: DUP5
000006cb: MSTORE
000006cc: SWAP1
000006cd: SWAP2
000006ce: MSTORE
000006cf: SWAP1
000006d0: KECCAK256
000006d1: SLOAD
000006d2: SWAP2
000006d3: SWAP1
000006d4: PUSH2 0x11ba
000006d7: JUMP
000006d8: JUMPDEST
000006d9: PUSH2 0x0b5a
000006dc: JUMP
000006dd: JUMPDEST
000006de: POP
000006df: PUSH1 0x01
000006e1: SWAP4
000006e2: SWAP3
000006e3: POP
000006e4: POP
000006e5: POP
000006e6: JUMP
000006e7: JUMPDEST
000006e8: PUSH1 0x00
000006ea: SLOAD
000006eb: PUSH1 0x01
000006ed: PUSH1 0x01
000006ef: PUSH1 0xa0
000006f1: SHL
000006f2: SUB
000006f3: AND
000006f4: CALLER
000006f5: EQ
000006f6: PUSH2 0x0711
000006f9: JUMPI
000006fa: PUSH1 0x40
000006fc: MLOAD
000006fd: PUSH3 0x461bcd
00000701: PUSH1 0xe5
00000703: SHL
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x04
00000708: ADD
00000709: PUSH2 0x05f2
0000070c: SWAP1
0000070d: PUSH2 0x1bf2
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH1 0x01
00000714: PUSH1 0x01
00000716: PUSH1 0xa0
00000718: SHL
00000719: SUB
0000071a: AND
0000071b: PUSH1 0x00
0000071d: SWAP1
0000071e: DUP2
0000071f: MSTORE
00000720: PUSH1 0x10
00000722: PUSH1 0x20
00000724: MSTORE
00000725: PUSH1 0x40
00000727: SWAP1
00000728: KECCAK256
00000729: DUP1
0000072a: SLOAD
0000072b: PUSH1 0xff
0000072d: NOT
0000072e: AND
0000072f: SWAP1
00000730: SSTORE
00000731: JUMP
00000732: JUMPDEST
00000733: PUSH1 0x00
00000735: SLOAD
00000736: PUSH1 0x01
00000738: PUSH1 0x01
0000073a: PUSH1 0xa0
0000073c: SHL
0000073d: SUB
0000073e: AND
0000073f: CALLER
00000740: EQ
00000741: PUSH2 0x075c
00000744: JUMPI
00000745: PUSH1 0x40
00000747: MLOAD
00000748: PUSH3 0x461bcd
0000074c: PUSH1 0xe5
0000074e: SHL
0000074f: DUP2
00000750: MSTORE
00000751: PUSH1 0x04
00000753: ADD
00000754: PUSH2 0x05f2
00000757: SWAP1
00000758: PUSH2 0x1bf2
0000075b: JUMP
0000075c: JUMPDEST
0000075d: PUSH1 0x15
0000075f: DUP1
00000760: SLOAD
00000761: SWAP2
00000762: ISZERO
00000763: ISZERO
00000764: PUSH1 0x01
00000766: PUSH1 0xb0
00000768: SHL
00000769: MUL
0000076a: PUSH1 0xff
0000076c: PUSH1 0xb0
0000076e: SHL
0000076f: NOT
00000770: SWAP1
00000771: SWAP3
00000772: AND
00000773: SWAP2
00000774: SWAP1
00000775: SWAP2
00000776: OR
00000777: SWAP1
00000778: SSTORE
00000779: JUMP
0000077a: JUMPDEST
0000077b: PUSH1 0x12
0000077d: SLOAD
0000077e: PUSH1 0x01
00000780: PUSH1 0x01
00000782: PUSH1 0xa0
00000784: SHL
00000785: SUB
00000786: AND
00000787: CALLER
00000788: PUSH1 0x01
0000078a: PUSH1 0x01
0000078c: PUSH1 0xa0
0000078e: SHL
0000078f: SUB
00000790: AND
00000791: EQ
00000792: DUP1
00000793: PUSH2 0x07af
00000796: JUMPI
00000797: POP
00000798: PUSH1 0x13
0000079a: SLOAD
0000079b: PUSH1 0x01
0000079d: PUSH1 0x01
0000079f: PUSH1 0xa0
000007a1: SHL
000007a2: SUB
000007a3: AND
000007a4: CALLER
000007a5: PUSH1 0x01
000007a7: PUSH1 0x01
000007a9: PUSH1 0xa0
000007ab: SHL
000007ac: SUB
000007ad: AND
000007ae: EQ
000007af: JUMPDEST
000007b0: PUSH2 0x07b8
000007b3: JUMPI
000007b4: PUSH1 0x00
000007b6: DUP1
000007b7: REVERT
000007b8: JUMPDEST
000007b9: SELFBALANCE
000007ba: PUSH2 0x07c2
000007bd: DUP2
000007be: PUSH2 0x11f4
000007c1: JUMP
000007c2: JUMPDEST
000007c3: POP
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH1 0x01
000007c8: PUSH1 0x01
000007ca: PUSH1 0xa0
000007cc: SHL
000007cd: SUB
000007ce: DUP2
000007cf: AND
000007d0: PUSH1 0x00
000007d2: SWAP1
000007d3: DUP2
000007d4: MSTORE
000007d5: PUSH1 0x02
000007d7: PUSH1 0x20
000007d9: MSTORE
000007da: PUSH1 0x40
000007dc: DUP2
000007dd: KECCAK256
000007de: SLOAD
000007df: PUSH2 0x0678
000007e2: SWAP1
000007e3: PUSH2 0x122e
000007e6: JUMP
000007e7: JUMPDEST
000007e8: PUSH1 0x00
000007ea: SLOAD
000007eb: PUSH1 0x01
000007ed: PUSH1 0x01
000007ef: PUSH1 0xa0
000007f1: SHL
000007f2: SUB
000007f3: AND
000007f4: CALLER
000007f5: EQ
000007f6: PUSH2 0x0811
000007f9: JUMPI
000007fa: PUSH1 0x40
000007fc: MLOAD
000007fd: PUSH3 0x461bcd
00000801: PUSH1 0xe5
00000803: SHL
00000804: DUP2
00000805: MSTORE
00000806: PUSH1 0x04
00000808: ADD
00000809: PUSH2 0x05f2
0000080c: SWAP1
0000080d: PUSH2 0x1bf2
00000810: JUMP
00000811: JUMPDEST
00000812: PUSH1 0x00
00000814: DUP1
00000815: SLOAD
00000816: PUSH1 0x40
00000818: MLOAD
00000819: PUSH1 0x01
0000081b: PUSH1 0x01
0000081d: PUSH1 0xa0
0000081f: SHL
00000820: SUB
00000821: SWAP1
00000822: SWAP2
00000823: AND
00000824: SWAP1
00000825: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000846: SWAP1
00000847: DUP4
00000848: SWAP1
00000849: LOG3
0000084a: PUSH1 0x00
0000084c: DUP1
0000084d: SLOAD
0000084e: PUSH1 0x01
00000850: PUSH1 0x01
00000852: PUSH1 0xa0
00000854: SHL
00000855: SUB
00000856: NOT
00000857: AND
00000858: SWAP1
00000859: SSTORE
0000085a: JUMP
0000085b: JUMPDEST
0000085c: PUSH1 0x00
0000085e: SLOAD
0000085f: PUSH1 0x01
00000861: PUSH1 0x01
00000863: PUSH1 0xa0
00000865: SHL
00000866: SUB
00000867: AND
00000868: CALLER
00000869: EQ
0000086a: PUSH2 0x0885
0000086d: JUMPI
0000086e: PUSH1 0x40
00000870: MLOAD
00000871: PUSH3 0x461bcd
00000875: PUSH1 0xe5
00000877: SHL
00000878: DUP2
00000879: MSTORE
0000087a: PUSH1 0x04
0000087c: ADD
0000087d: PUSH2 0x05f2
00000880: SWAP1
00000881: PUSH2 0x1bf2
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x16
00000888: SSTORE
00000889: JUMP
0000088a: JUMPDEST
0000088b: PUSH1 0x00
0000088d: SLOAD
0000088e: PUSH1 0x01
00000890: PUSH1 0x01
00000892: PUSH1 0xa0
00000894: SHL
00000895: SUB
00000896: AND
00000897: CALLER
00000898: EQ
00000899: PUSH2 0x08b4
0000089c: JUMPI
0000089d: PUSH1 0x40
0000089f: MLOAD
000008a0: PUSH3 0x461bcd
000008a4: PUSH1 0xe5
000008a6: SHL
000008a7: DUP2
000008a8: MSTORE
000008a9: PUSH1 0x04
000008ab: ADD
000008ac: PUSH2 0x05f2
000008af: SWAP1
000008b0: PUSH2 0x1bf2
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x15
000008b7: DUP1
000008b8: SLOAD
000008b9: SWAP2
000008ba: ISZERO
000008bb: ISZERO
000008bc: PUSH1 0x01
000008be: PUSH1 0xa0
000008c0: SHL
000008c1: MUL
000008c2: PUSH1 0xff
000008c4: PUSH1 0xa0
000008c6: SHL
000008c7: NOT
000008c8: SWAP1
000008c9: SWAP3
000008ca: AND
000008cb: SWAP2
000008cc: SWAP1
000008cd: SWAP2
000008ce: OR
000008cf: SWAP1
000008d0: SSTORE
000008d1: JUMP
000008d2: JUMPDEST
000008d3: PUSH1 0x00
000008d5: SLOAD
000008d6: PUSH1 0x01
000008d8: PUSH1 0x01
000008da: PUSH1 0xa0
000008dc: SHL
000008dd: SUB
000008de: AND
000008df: CALLER
000008e0: EQ
000008e1: PUSH2 0x08fc
000008e4: JUMPI
000008e5: PUSH1 0x40
000008e7: MLOAD
000008e8: PUSH3 0x461bcd
000008ec: PUSH1 0xe5
000008ee: SHL
000008ef: DUP2
000008f0: MSTORE
000008f1: PUSH1 0x04
000008f3: ADD
000008f4: PUSH2 0x05f2
000008f7: SWAP1
000008f8: PUSH2 0x1bf2
000008fb: JUMP
000008fc: JUMPDEST
000008fd: PUSH1 0x18
000008ff: SSTORE
00000900: JUMP
00000901: JUMPDEST
00000902: PUSH1 0x00
00000904: SLOAD
00000905: PUSH1 0x01
00000907: PUSH1 0x01
00000909: PUSH1 0xa0
0000090b: SHL
0000090c: SUB
0000090d: AND
0000090e: CALLER
0000090f: EQ
00000910: PUSH2 0x092b
00000913: JUMPI
00000914: PUSH1 0x40
00000916: MLOAD
00000917: PUSH3 0x461bcd
0000091b: PUSH1 0xe5
0000091d: SHL
0000091e: DUP2
0000091f: MSTORE
00000920: PUSH1 0x04
00000922: ADD
00000923: PUSH2 0x05f2
00000926: SWAP1
00000927: PUSH2 0x1bf2
0000092a: JUMP
0000092b: JUMPDEST
0000092c: PUSH1 0x08
0000092e: SWAP4
0000092f: SWAP1
00000930: SWAP4
00000931: SSTORE
00000932: PUSH1 0x0a
00000934: SWAP2
00000935: SWAP1
00000936: SWAP2
00000937: SSTORE
00000938: PUSH1 0x09
0000093a: SSTORE
0000093b: PUSH1 0x0b
0000093d: SSTORE
0000093e: JUMP
0000093f: JUMPDEST
00000940: PUSH1 0x00
00000942: PUSH2 0x0674
00000945: CALLER
00000946: DUP5
00000947: DUP5
00000948: PUSH2 0x0c7e
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH1 0x12
0000094f: SLOAD
00000950: PUSH1 0x01
00000952: PUSH1 0x01
00000954: PUSH1 0xa0
00000956: SHL
00000957: SUB
00000958: AND
00000959: CALLER
0000095a: PUSH1 0x01
0000095c: PUSH1 0x01
0000095e: PUSH1 0xa0
00000960: SHL
00000961: SUB
00000962: AND
00000963: EQ
00000964: DUP1
00000965: PUSH2 0x0981
00000968: JUMPI
00000969: POP
0000096a: PUSH1 0x13
0000096c: SLOAD
0000096d: PUSH1 0x01
0000096f: PUSH1 0x01
00000971: PUSH1 0xa0
00000973: SHL
00000974: SUB
00000975: AND
00000976: CALLER
00000977: PUSH1 0x01
00000979: PUSH1 0x01
0000097b: PUSH1 0xa0
0000097d: SHL
0000097e: SUB
0000097f: AND
00000980: EQ
00000981: JUMPDEST
00000982: PUSH2 0x098a
00000985: JUMPI
00000986: PUSH1 0x00
00000988: DUP1
00000989: REVERT
0000098a: JUMPDEST
0000098b: PUSH1 0x00
0000098d: PUSH2 0x0995
00000990: ADDRESS
00000991: PUSH2 0x07c5
00000994: JUMP
00000995: JUMPDEST
00000996: SWAP1
00000997: POP
00000998: PUSH2 0x07c2
0000099b: DUP2
0000099c: PUSH2 0x12b2
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH1 0x00
000009a3: SLOAD
000009a4: PUSH1 0x01
000009a6: PUSH1 0x01
000009a8: PUSH1 0xa0
000009aa: SHL
000009ab: SUB
000009ac: AND
000009ad: CALLER
000009ae: EQ
000009af: PUSH2 0x09ca
000009b2: JUMPI
000009b3: PUSH1 0x40
000009b5: MLOAD
000009b6: PUSH3 0x461bcd
000009ba: PUSH1 0xe5
000009bc: SHL
000009bd: DUP2
000009be: MSTORE
000009bf: PUSH1 0x04
000009c1: ADD
000009c2: PUSH2 0x05f2
000009c5: SWAP1
000009c6: PUSH2 0x1bf2
000009c9: JUMP
000009ca: JUMPDEST
000009cb: PUSH1 0x00
000009cd: JUMPDEST
000009ce: DUP3
000009cf: DUP2
000009d0: LT
000009d1: ISZERO
000009d2: PUSH2 0x0a3b
000009d5: JUMPI
000009d6: DUP2
000009d7: PUSH1 0x05
000009d9: PUSH1 0x00
000009db: DUP7
000009dc: DUP7
000009dd: DUP6
000009de: DUP2
000009df: DUP2
000009e0: LT
000009e1: PUSH2 0x09ec
000009e4: JUMPI
000009e5: PUSH2 0x09ec
000009e8: PUSH2 0x1c27
000009eb: JUMP
000009ec: JUMPDEST
000009ed: SWAP1
000009ee: POP
000009ef: PUSH1 0x20
000009f1: MUL
000009f2: ADD
000009f3: PUSH1 0x20
000009f5: DUP2
000009f6: ADD
000009f7: SWAP1
000009f8: PUSH2 0x0a01
000009fb: SWAP2
000009fc: SWAP1
000009fd: PUSH2 0x1aa2
00000a00: JUMP
00000a01: JUMPDEST
00000a02: PUSH1 0x01
00000a04: PUSH1 0x01
00000a06: PUSH1 0xa0
00000a08: SHL
00000a09: SUB
00000a0a: AND
00000a0b: DUP2
00000a0c: MSTORE
00000a0d: PUSH1 0x20
00000a0f: DUP2
00000a10: ADD
00000a11: SWAP2
00000a12: SWAP1
00000a13: SWAP2
00000a14: MSTORE
00000a15: PUSH1 0x40
00000a17: ADD
00000a18: PUSH1 0x00
00000a1a: KECCAK256
00000a1b: DUP1
00000a1c: SLOAD
00000a1d: PUSH1 0xff
00000a1f: NOT
00000a20: AND
00000a21: SWAP2
00000a22: ISZERO
00000a23: ISZERO
00000a24: SWAP2
00000a25: SWAP1
00000a26: SWAP2
00000a27: OR
00000a28: SWAP1
00000a29: SSTORE
00000a2a: DUP1
00000a2b: PUSH2 0x0a33
00000a2e: DUP2
00000a2f: PUSH2 0x1c53
00000a32: JUMP
00000a33: JUMPDEST
00000a34: SWAP2
00000a35: POP
00000a36: POP
00000a37: PUSH2 0x09cd
00000a3a: JUMP
00000a3b: JUMPDEST
00000a3c: POP
00000a3d: POP
00000a3e: POP
00000a3f: POP
00000a40: JUMP
00000a41: JUMPDEST
00000a42: PUSH1 0x00
00000a44: SLOAD
00000a45: PUSH1 0x01
00000a47: PUSH1 0x01
00000a49: PUSH1 0xa0
00000a4b: SHL
00000a4c: SUB
00000a4d: AND
00000a4e: CALLER
00000a4f: EQ
00000a50: PUSH2 0x0a6b
00000a53: JUMPI
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: PUSH3 0x461bcd
00000a5b: PUSH1 0xe5
00000a5d: SHL
00000a5e: DUP2
00000a5f: MSTORE
00000a60: PUSH1 0x04
00000a62: ADD
00000a63: PUSH2 0x05f2
00000a66: SWAP1
00000a67: PUSH2 0x1bf2
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH1 0x17
00000a6e: SSTORE
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH1 0x00
00000a73: SLOAD
00000a74: PUSH1 0x01
00000a76: PUSH1 0x01
00000a78: PUSH1 0xa0
00000a7a: SHL
00000a7b: SUB
00000a7c: AND
00000a7d: CALLER
00000a7e: EQ
00000a7f: PUSH2 0x0a9a
00000a82: JUMPI
00000a83: PUSH1 0x40
00000a85: MLOAD
00000a86: PUSH3 0x461bcd
00000a8a: PUSH1 0xe5
00000a8c: SHL
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: PUSH1 0x04
00000a91: ADD
00000a92: PUSH2 0x05f2
00000a95: SWAP1
00000a96: PUSH2 0x1bf2
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0x01
00000a9f: PUSH1 0xa0
00000aa1: SHL
00000aa2: SUB
00000aa3: DUP2
00000aa4: AND
00000aa5: PUSH2 0x0aff
00000aa8: JUMPI
00000aa9: PUSH1 0x40
00000aab: MLOAD
00000aac: PUSH3 0x461bcd
00000ab0: PUSH1 0xe5
00000ab2: SHL
00000ab3: DUP2
00000ab4: MSTORE
00000ab5: PUSH1 0x20
00000ab7: PUSH1 0x04
00000ab9: DUP3
00000aba: ADD
00000abb: MSTORE
00000abc: PUSH1 0x26
00000abe: PUSH1 0x24
00000ac0: DUP3
00000ac1: ADD
00000ac2: MSTORE
00000ac3: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000ae4: PUSH1 0x44
00000ae6: DUP3
00000ae7: ADD
00000ae8: MSTORE
00000ae9: PUSH6 0x646472657373
00000af0: PUSH1 0xd0
00000af2: SHL
00000af3: PUSH1 0x64
00000af5: DUP3
00000af6: ADD
00000af7: MSTORE
00000af8: PUSH1 0x84
00000afa: ADD
00000afb: PUSH2 0x05f2
00000afe: JUMP
00000aff: JUMPDEST
00000b00: PUSH1 0x00
00000b02: DUP1
00000b03: SLOAD
00000b04: PUSH1 0x40
00000b06: MLOAD
00000b07: PUSH1 0x01
00000b09: PUSH1 0x01
00000b0b: PUSH1 0xa0
00000b0d: SHL
00000b0e: SUB
00000b0f: DUP1
00000b10: DUP6
00000b11: AND
00000b12: SWAP4
00000b13: SWAP3
00000b14: AND
00000b15: SWAP2
00000b16: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000b37: SWAP2
00000b38: LOG3
00000b39: PUSH1 0x00
00000b3b: DUP1
00000b3c: SLOAD
00000b3d: PUSH1 0x01
00000b3f: PUSH1 0x01
00000b41: PUSH1 0xa0
00000b43: SHL
00000b44: SUB
00000b45: NOT
00000b46: AND
00000b47: PUSH1 0x01
00000b49: PUSH1 0x01
00000b4b: PUSH1 0xa0
00000b4d: SHL
00000b4e: SUB
00000b4f: SWAP3
00000b50: SWAP1
00000b51: SWAP3
00000b52: AND
00000b53: SWAP2
00000b54: SWAP1
00000b55: SWAP2
00000b56: OR
00000b57: SWAP1
00000b58: SSTORE
00000b59: JUMP
00000b5a: JUMPDEST
00000b5b: PUSH1 0x01
00000b5d: PUSH1 0x01
00000b5f: PUSH1 0xa0
00000b61: SHL
00000b62: SUB
00000b63: DUP4
00000b64: AND
00000b65: PUSH2 0x0bbc
00000b68: JUMPI
00000b69: PUSH1 0x40
00000b6b: MLOAD
00000b6c: PUSH3 0x461bcd
00000b70: PUSH1 0xe5
00000b72: SHL
00000b73: DUP2
00000b74: MSTORE
00000b75: PUSH1 0x20
00000b77: PUSH1 0x04
00000b79: DUP3
00000b7a: ADD
00000b7b: MSTORE
00000b7c: PUSH1 0x24
00000b7e: DUP1
00000b7f: DUP3
00000b80: ADD
00000b81: MSTORE
00000b82: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00000ba3: PUSH1 0x44
00000ba5: DUP3
00000ba6: ADD
00000ba7: MSTORE
00000ba8: PUSH4 0x72657373
00000bad: PUSH1 0xe0
00000baf: SHL
00000bb0: PUSH1 0x64
00000bb2: DUP3
00000bb3: ADD
00000bb4: MSTORE
00000bb5: PUSH1 0x84
00000bb7: ADD
00000bb8: PUSH2 0x05f2
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: PUSH1 0x01
00000bbf: PUSH1 0x01
00000bc1: PUSH1 0xa0
00000bc3: SHL
00000bc4: SUB
00000bc5: DUP3
00000bc6: AND
00000bc7: PUSH2 0x0c1d
00000bca: JUMPI
00000bcb: PUSH1 0x40
00000bcd: MLOAD
00000bce: PUSH3 0x461bcd
00000bd2: PUSH1 0xe5
00000bd4: SHL
00000bd5: DUP2
00000bd6: MSTORE
00000bd7: PUSH1 0x20
00000bd9: PUSH1 0x04
00000bdb: DUP3
00000bdc: ADD
00000bdd: MSTORE
00000bde: PUSH1 0x22
00000be0: PUSH1 0x24
00000be2: DUP3
00000be3: ADD
00000be4: MSTORE
00000be5: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000c06: PUSH1 0x44
00000c08: DUP3
00000c09: ADD
00000c0a: MSTORE
00000c0b: PUSH2 0x7373
00000c0e: PUSH1 0xf0
00000c10: SHL
00000c11: PUSH1 0x64
00000c13: DUP3
00000c14: ADD
00000c15: MSTORE
00000c16: PUSH1 0x84
00000c18: ADD
00000c19: PUSH2 0x05f2
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: PUSH1 0x01
00000c20: PUSH1 0x01
00000c22: PUSH1 0xa0
00000c24: SHL
00000c25: SUB
00000c26: DUP4
00000c27: DUP2
00000c28: AND
00000c29: PUSH1 0x00
00000c2b: DUP2
00000c2c: DUP2
00000c2d: MSTORE
00000c2e: PUSH1 0x04
00000c30: PUSH1 0x20
00000c32: SWAP1
00000c33: DUP2
00000c34: MSTORE
00000c35: PUSH1 0x40
00000c37: DUP1
00000c38: DUP4
00000c39: KECCAK256
00000c3a: SWAP5
00000c3b: DUP8
00000c3c: AND
00000c3d: DUP1
00000c3e: DUP5
00000c3f: MSTORE
00000c40: SWAP5
00000c41: DUP3
00000c42: MSTORE
00000c43: SWAP2
00000c44: DUP3
00000c45: SWAP1
00000c46: KECCAK256
00000c47: DUP6
00000c48: SWAP1
00000c49: SSTORE
00000c4a: SWAP1
00000c4b: MLOAD
00000c4c: DUP5
00000c4d: DUP2
00000c4e: MSTORE
00000c4f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000c70: SWAP2
00000c71: ADD
00000c72: PUSH1 0x40
00000c74: MLOAD
00000c75: DUP1
00000c76: SWAP2
00000c77: SUB
00000c78: SWAP1
00000c79: LOG3
00000c7a: POP
00000c7b: POP
00000c7c: POP
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: PUSH1 0x01
00000c81: PUSH1 0x01
00000c83: PUSH1 0xa0
00000c85: SHL
00000c86: SUB
00000c87: DUP4
00000c88: AND
00000c89: PUSH2 0x0ce2
00000c8c: JUMPI
00000c8d: PUSH1 0x40
00000c8f: MLOAD
00000c90: PUSH3 0x461bcd
00000c94: PUSH1 0xe5
00000c96: SHL
00000c97: DUP2
00000c98: MSTORE
00000c99: PUSH1 0x20
00000c9b: PUSH1 0x04
00000c9d: DUP3
00000c9e: ADD
00000c9f: MSTORE
00000ca0: PUSH1 0x25
00000ca2: PUSH1 0x24
00000ca4: DUP3
00000ca5: ADD
00000ca6: MSTORE
00000ca7: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00000cc8: PUSH1 0x44
00000cca: DUP3
00000ccb: ADD
00000ccc: MSTORE
00000ccd: PUSH5 0x6472657373
00000cd3: PUSH1 0xd8
00000cd5: SHL
00000cd6: PUSH1 0x64
00000cd8: DUP3
00000cd9: ADD
00000cda: MSTORE
00000cdb: PUSH1 0x84
00000cdd: ADD
00000cde: PUSH2 0x05f2
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: PUSH1 0x01
00000ce5: PUSH1 0x01
00000ce7: PUSH1 0xa0
00000ce9: SHL
00000cea: SUB
00000ceb: DUP3
00000cec: AND
00000ced: PUSH2 0x0d44
00000cf0: JUMPI
00000cf1: PUSH1 0x40
00000cf3: MLOAD
00000cf4: PUSH3 0x461bcd
00000cf8: PUSH1 0xe5
00000cfa: SHL
00000cfb: DUP2
00000cfc: MSTORE
00000cfd: PUSH1 0x20
00000cff: PUSH1 0x04
00000d01: DUP3
00000d02: ADD
00000d03: MSTORE
00000d04: PUSH1 0x23
00000d06: PUSH1 0x24
00000d08: DUP3
00000d09: ADD
00000d0a: MSTORE
00000d0b: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00000d2c: PUSH1 0x44
00000d2e: DUP3
00000d2f: ADD
00000d30: MSTORE
00000d31: PUSH3 0x657373
00000d35: PUSH1 0xe8
00000d37: SHL
00000d38: PUSH1 0x64
00000d3a: DUP3
00000d3b: ADD
00000d3c: MSTORE
00000d3d: PUSH1 0x84
00000d3f: ADD
00000d40: PUSH2 0x05f2
00000d43: JUMP
00000d44: JUMPDEST
00000d45: PUSH1 0x00
00000d47: DUP2
00000d48: GT
00000d49: PUSH2 0x0da6
00000d4c: JUMPI
00000d4d: PUSH1 0x40
00000d4f: MLOAD
00000d50: PUSH3 0x461bcd
00000d54: PUSH1 0xe5
00000d56: SHL
00000d57: DUP2
00000d58: MSTORE
00000d59: PUSH1 0x20
00000d5b: PUSH1 0x04
00000d5d: DUP3
00000d5e: ADD
00000d5f: MSTORE
00000d60: PUSH1 0x29
00000d62: PUSH1 0x24
00000d64: DUP3
00000d65: ADD
00000d66: MSTORE
00000d67: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00000d88: PUSH1 0x44
00000d8a: DUP3
00000d8b: ADD
00000d8c: MSTORE
00000d8d: PUSH9 0x7468616e207a65726f
00000d97: PUSH1 0xb8
00000d99: SHL
00000d9a: PUSH1 0x64
00000d9c: DUP3
00000d9d: ADD
00000d9e: MSTORE
00000d9f: PUSH1 0x84
00000da1: ADD
00000da2: PUSH2 0x05f2
00000da5: JUMP
00000da6: JUMPDEST
00000da7: PUSH1 0x00
00000da9: SLOAD
00000daa: PUSH1 0x01
00000dac: PUSH1 0x01
00000dae: PUSH1 0xa0
00000db0: SHL
00000db1: SUB
00000db2: DUP5
00000db3: DUP2
00000db4: AND
00000db5: SWAP2
00000db6: AND
00000db7: EQ
00000db8: DUP1
00000db9: ISZERO
00000dba: SWAP1
00000dbb: PUSH2 0x0dd2
00000dbe: JUMPI
00000dbf: POP
00000dc0: PUSH1 0x00
00000dc2: SLOAD
00000dc3: PUSH1 0x01
00000dc5: PUSH1 0x01
00000dc7: PUSH1 0xa0
00000dc9: SHL
00000dca: SUB
00000dcb: DUP4
00000dcc: DUP2
00000dcd: AND
00000dce: SWAP2
00000dcf: AND
00000dd0: EQ
00000dd1: ISZERO
00000dd2: JUMPDEST
00000dd3: ISZERO
00000dd4: PUSH2 0x10b3
00000dd7: JUMPI
00000dd8: PUSH1 0x15
00000dda: SLOAD
00000ddb: PUSH1 0x01
00000ddd: PUSH1 0xa0
00000ddf: SHL
00000de0: SWAP1
00000de1: DIV
00000de2: PUSH1 0xff
00000de4: AND
00000de5: PUSH2 0x0e6b
00000de8: JUMPI
00000de9: PUSH1 0x00
00000deb: SLOAD
00000dec: PUSH1 0x01
00000dee: PUSH1 0x01
00000df0: PUSH1 0xa0
00000df2: SHL
00000df3: SUB
00000df4: DUP5
00000df5: DUP2
00000df6: AND
00000df7: SWAP2
00000df8: AND
00000df9: EQ
00000dfa: PUSH2 0x0e6b
00000dfd: JUMPI
00000dfe: PUSH1 0x40
00000e00: MLOAD
00000e01: PUSH3 0x461bcd
00000e05: PUSH1 0xe5
00000e07: SHL
00000e08: DUP2
00000e09: MSTORE
00000e0a: PUSH1 0x20
00000e0c: PUSH1 0x04
00000e0e: DUP3
00000e0f: ADD
00000e10: MSTORE
00000e11: PUSH1 0x3f
00000e13: PUSH1 0x24
00000e15: DUP3
00000e16: ADD
00000e17: MSTORE
00000e18: PUSH32 0x544f4b454e3a2054686973206163636f756e742063616e6e6f742073656e6420
00000e39: PUSH1 0x44
00000e3b: DUP3
00000e3c: ADD
00000e3d: MSTORE
00000e3e: PUSH32 0x746f6b656e7320756e74696c2074726164696e6720697320656e61626c656400
00000e5f: PUSH1 0x64
00000e61: DUP3
00000e62: ADD
00000e63: MSTORE
00000e64: PUSH1 0x84
00000e66: ADD
00000e67: PUSH2 0x05f2
00000e6a: JUMP
00000e6b: JUMPDEST
00000e6c: PUSH1 0x16
00000e6e: SLOAD
00000e6f: DUP2
00000e70: GT
00000e71: ISZERO
00000e72: PUSH2 0x0ebd
00000e75: JUMPI
00000e76: PUSH1 0x40
00000e78: MLOAD
00000e79: PUSH3 0x461bcd
00000e7d: PUSH1 0xe5
00000e7f: SHL
00000e80: DUP2
00000e81: MSTORE
00000e82: PUSH1 0x20
00000e84: PUSH1 0x04
00000e86: DUP3
00000e87: ADD
00000e88: MSTORE
00000e89: PUSH1 0x1c
00000e8b: PUSH1 0x24
00000e8d: DUP3
00000e8e: ADD
00000e8f: MSTORE
00000e90: PUSH32 0x544f4b454e3a204d6178205472616e73616374696f6e204c696d697400000000
00000eb1: PUSH1 0x44
00000eb3: DUP3
00000eb4: ADD
00000eb5: MSTORE
00000eb6: PUSH1 0x64
00000eb8: ADD
00000eb9: PUSH2 0x05f2
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH1 0x01
00000ec0: PUSH1 0x01
00000ec2: PUSH1 0xa0
00000ec4: SHL
00000ec5: SUB
00000ec6: DUP4
00000ec7: AND
00000ec8: PUSH1 0x00
00000eca: SWAP1
00000ecb: DUP2
00000ecc: MSTORE
00000ecd: PUSH1 0x10
00000ecf: PUSH1 0x20
00000ed1: MSTORE
00000ed2: PUSH1 0x40
00000ed4: SWAP1
00000ed5: KECCAK256
00000ed6: SLOAD
00000ed7: PUSH1 0xff
00000ed9: AND
00000eda: ISZERO
00000edb: DUP1
00000edc: ISZERO
00000edd: PUSH2 0x0eff
00000ee0: JUMPI
00000ee1: POP
00000ee2: PUSH1 0x01
00000ee4: PUSH1 0x01
00000ee6: PUSH1 0xa0
00000ee8: SHL
00000ee9: SUB
00000eea: DUP3
00000eeb: AND
00000eec: PUSH1 0x00
00000eee: SWAP1
00000eef: DUP2
00000ef0: MSTORE
00000ef1: PUSH1 0x10
00000ef3: PUSH1 0x20
00000ef5: MSTORE
00000ef6: PUSH1 0x40
00000ef8: SWAP1
00000ef9: KECCAK256
00000efa: SLOAD
00000efb: PUSH1 0xff
00000efd: AND
00000efe: ISZERO
00000eff: JUMPDEST
00000f00: PUSH2 0x0f57
00000f03: JUMPI
00000f04: PUSH1 0x40
00000f06: MLOAD
00000f07: PUSH3 0x461bcd
00000f0b: PUSH1 0xe5
00000f0d: SHL
00000f0e: DUP2
00000f0f: MSTORE
00000f10: PUSH1 0x20
00000f12: PUSH1 0x04
00000f14: DUP3
00000f15: ADD
00000f16: MSTORE
00000f17: PUSH1 0x23
00000f19: PUSH1 0x24
00000f1b: DUP3
00000f1c: ADD
00000f1d: MSTORE
00000f1e: PUSH32 0x544f4b454e3a20596f7572206163636f756e7420697320626c61636b6c697374
00000f3f: PUSH1 0x44
00000f41: DUP3
00000f42: ADD
00000f43: MSTORE
00000f44: PUSH3 0x656421
00000f48: PUSH1 0xe8
00000f4a: SHL
00000f4b: PUSH1 0x64
00000f4d: DUP3
00000f4e: ADD
00000f4f: MSTORE
00000f50: PUSH1 0x84
00000f52: ADD
00000f53: PUSH2 0x05f2
00000f56: JUMP
00000f57: JUMPDEST
00000f58: PUSH1 0x15
00000f5a: SLOAD
00000f5b: PUSH1 0x01
00000f5d: PUSH1 0x01
00000f5f: PUSH1 0xa0
00000f61: SHL
00000f62: SUB
00000f63: DUP4
00000f64: DUP2
00000f65: AND
00000f66: SWAP2
00000f67: AND
00000f68: EQ
00000f69: PUSH2 0x0fdc
00000f6c: JUMPI
00000f6d: PUSH1 0x17
00000f6f: SLOAD
00000f70: DUP2
00000f71: PUSH2 0x0f79
00000f74: DUP5
00000f75: PUSH2 0x07c5
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: PUSH2 0x0f83
00000f7d: SWAP2
00000f7e: SWAP1
00000f7f: PUSH2 0x1c6c
00000f82: JUMP
00000f83: JUMPDEST
00000f84: LT
00000f85: PUSH2 0x0fdc
00000f88: JUMPI
00000f89: PUSH1 0x40
00000f8b: MLOAD
00000f8c: PUSH3 0x461bcd
00000f90: PUSH1 0xe5
00000f92: SHL
00000f93: DUP2
00000f94: MSTORE
00000f95: PUSH1 0x20
00000f97: PUSH1 0x04
00000f99: DUP3
00000f9a: ADD
00000f9b: MSTORE
00000f9c: PUSH1 0x23
00000f9e: PUSH1 0x24
00000fa0: DUP3
00000fa1: ADD
00000fa2: MSTORE
00000fa3: PUSH32 0x544f4b454e3a2042616c616e636520657863656564732077616c6c6574207369
00000fc4: PUSH1 0x44
00000fc6: DUP3
00000fc7: ADD
00000fc8: MSTORE
00000fc9: PUSH3 0x7a6521
00000fcd: PUSH1 0xe8
00000fcf: SHL
00000fd0: PUSH1 0x64
00000fd2: DUP3
00000fd3: ADD
00000fd4: MSTORE
00000fd5: PUSH1 0x84
00000fd7: ADD
00000fd8: PUSH2 0x05f2
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: PUSH1 0x00
00000fdf: PUSH2 0x0fe7
00000fe2: ADDRESS
00000fe3: PUSH2 0x07c5
00000fe6: JUMP
00000fe7: JUMPDEST
00000fe8: PUSH1 0x18
00000fea: SLOAD
00000feb: PUSH1 0x16
00000fed: SLOAD
00000fee: SWAP2
00000fef: SWAP3
00000ff0: POP
00000ff1: DUP3
00000ff2: LT
00000ff3: ISZERO
00000ff4: SWAP1
00000ff5: DUP3
00000ff6: LT
00000ff7: PUSH2 0x1000
00000ffa: JUMPI
00000ffb: PUSH1 0x16
00000ffd: SLOAD
00000ffe: SWAP2
00000fff: POP
00001000: JUMPDEST
00001001: DUP1
00001002: DUP1
00001003: ISZERO
00001004: PUSH2 0x1017
00001007: JUMPI
00001008: POP
00001009: PUSH1 0x15
0000100b: SLOAD
0000100c: PUSH1 0x01
0000100e: PUSH1 0xa8
00001010: SHL
00001011: SWAP1
00001012: DIV
00001013: PUSH1 0xff
00001015: AND
00001016: ISZERO
00001017: JUMPDEST
00001018: DUP1
00001019: ISZERO
0000101a: PUSH2 0x1031
0000101d: JUMPI
0000101e: POP
0000101f: PUSH1 0x15
00001021: SLOAD
00001022: PUSH1 0x01
00001024: PUSH1 0x01
00001026: PUSH1 0xa0
00001028: SHL
00001029: SUB
0000102a: DUP7
0000102b: DUP2
0000102c: AND
0000102d: SWAP2
0000102e: AND
0000102f: EQ
00001030: ISZERO
00001031: JUMPDEST
00001032: DUP1
00001033: ISZERO
00001034: PUSH2 0x1046
00001037: JUMPI
00001038: POP
00001039: PUSH1 0x15
0000103b: SLOAD
0000103c: PUSH1 0x01
0000103e: PUSH1 0xb0
00001040: SHL
00001041: SWAP1
00001042: DIV
00001043: PUSH1 0xff
00001045: AND
00001046: JUMPDEST
00001047: DUP1
00001048: ISZERO
00001049: PUSH2 0x106b
0000104c: JUMPI
0000104d: POP
0000104e: PUSH1 0x01
00001050: PUSH1 0x01
00001052: PUSH1 0xa0
00001054: SHL
00001055: SUB
00001056: DUP6
00001057: AND
00001058: PUSH1 0x00
0000105a: SWAP1
0000105b: DUP2
0000105c: MSTORE
0000105d: PUSH1 0x05
0000105f: PUSH1 0x20
00001061: MSTORE
00001062: PUSH1 0x40
00001064: SWAP1
00001065: KECCAK256
00001066: SLOAD
00001067: PUSH1 0xff
00001069: AND
0000106a: ISZERO
0000106b: JUMPDEST
0000106c: DUP1
0000106d: ISZERO
0000106e: PUSH2 0x1090
00001071: JUMPI
00001072: POP
00001073: PUSH1 0x01
00001075: PUSH1 0x01
00001077: PUSH1 0xa0
00001079: SHL
0000107a: SUB
0000107b: DUP5
0000107c: AND
0000107d: PUSH1 0x00
0000107f: SWAP1
00001080: DUP2
00001081: MSTORE
00001082: PUSH1 0x05
00001084: PUSH1 0x20
00001086: MSTORE
00001087: PUSH1 0x40
00001089: SWAP1
0000108a: KECCAK256
0000108b: SLOAD
0000108c: PUSH1 0xff
0000108e: AND
0000108f: ISZERO
00001090: JUMPDEST
00001091: ISZERO
00001092: PUSH2 0x10b0
00001095: JUMPI
00001096: PUSH2 0x109e
00001099: DUP3
0000109a: PUSH2 0x12b2
0000109d: JUMP
0000109e: JUMPDEST
0000109f: SELFBALANCE
000010a0: DUP1
000010a1: ISZERO
000010a2: PUSH2 0x10ae
000010a5: JUMPI
000010a6: PUSH2 0x10ae
000010a9: SELFBALANCE
000010aa: PUSH2 0x11f4
000010ad: JUMP
000010ae: JUMPDEST
000010af: POP
000010b0: JUMPDEST
000010b1: POP
000010b2: POP
000010b3: JUMPDEST
000010b4: PUSH1 0x01
000010b6: PUSH1 0x01
000010b8: PUSH1 0xa0
000010ba: SHL
000010bb: SUB
000010bc: DUP4
000010bd: AND
000010be: PUSH1 0x00
000010c0: SWAP1
000010c1: DUP2
000010c2: MSTORE
000010c3: PUSH1 0x05
000010c5: PUSH1 0x20
000010c7: MSTORE
000010c8: PUSH1 0x40
000010ca: SWAP1
000010cb: KECCAK256
000010cc: SLOAD
000010cd: PUSH1 0x01
000010cf: SWAP1
000010d0: PUSH1 0xff
000010d2: AND
000010d3: DUP1
000010d4: PUSH2 0x10f5
000010d7: JUMPI
000010d8: POP
000010d9: PUSH1 0x01
000010db: PUSH1 0x01
000010dd: PUSH1 0xa0
000010df: SHL
000010e0: SUB
000010e1: DUP4
000010e2: AND
000010e3: PUSH1 0x00
000010e5: SWAP1
000010e6: DUP2
000010e7: MSTORE
000010e8: PUSH1 0x05
000010ea: PUSH1 0x20
000010ec: MSTORE
000010ed: PUSH1 0x40
000010ef: SWAP1
000010f0: KECCAK256
000010f1: SLOAD
000010f2: PUSH1 0xff
000010f4: AND
000010f5: JUMPDEST
000010f6: DUP1
000010f7: PUSH2 0x1127
000010fa: JUMPI
000010fb: POP
000010fc: PUSH1 0x15
000010fe: SLOAD
000010ff: PUSH1 0x01
00001101: PUSH1 0x01
00001103: PUSH1 0xa0
00001105: SHL
00001106: SUB
00001107: DUP6
00001108: DUP2
00001109: AND
0000110a: SWAP2
0000110b: AND
0000110c: EQ
0000110d: DUP1
0000110e: ISZERO
0000110f: SWAP1
00001110: PUSH2 0x1127
00001113: JUMPI
00001114: POP
00001115: PUSH1 0x15
00001117: SLOAD
00001118: PUSH1 0x01
0000111a: PUSH1 0x01
0000111c: PUSH1 0xa0
0000111e: SHL
0000111f: SUB
00001120: DUP5
00001121: DUP2
00001122: AND
00001123: SWAP2
00001124: AND
00001125: EQ
00001126: ISZERO
00001127: JUMPDEST
00001128: ISZERO
00001129: PUSH2 0x1134
0000112c: JUMPI
0000112d: POP
0000112e: PUSH1 0x00
00001130: PUSH2 0x11ae
00001133: JUMP
00001134: JUMPDEST
00001135: PUSH1 0x15
00001137: SLOAD
00001138: PUSH1 0x01
0000113a: PUSH1 0x01
0000113c: PUSH1 0xa0
0000113e: SHL
0000113f: SUB
00001140: DUP6
00001141: DUP2
00001142: AND
00001143: SWAP2
00001144: AND
00001145: EQ
00001146: DUP1
00001147: ISZERO
00001148: PUSH2 0x115f
0000114b: JUMPI
0000114c: POP
0000114d: PUSH1 0x14
0000114f: SLOAD
00001150: PUSH1 0x01
00001152: PUSH1 0x01
00001154: PUSH1 0xa0
00001156: SHL
00001157: SUB
00001158: DUP5
00001159: DUP2
0000115a: AND
0000115b: SWAP2
0000115c: AND
0000115d: EQ
0000115e: ISZERO
0000115f: JUMPDEST
00001160: ISZERO
00001161: PUSH2 0x1171
00001164: JUMPI
00001165: PUSH1 0x08
00001167: SLOAD
00001168: PUSH1 0x0c
0000116a: SSTORE
0000116b: PUSH1 0x09
0000116d: SLOAD
0000116e: PUSH1 0x0d
00001170: SSTORE
00001171: JUMPDEST
00001172: PUSH1 0x15
00001174: SLOAD
00001175: PUSH1 0x01
00001177: PUSH1 0x01
00001179: PUSH1 0xa0
0000117b: SHL
0000117c: SUB
0000117d: DUP5
0000117e: DUP2
0000117f: AND
00001180: SWAP2
00001181: AND
00001182: EQ
00001183: DUP1
00001184: ISZERO
00001185: PUSH2 0x119c
00001188: JUMPI
00001189: POP
0000118a: PUSH1 0x14
0000118c: SLOAD
0000118d: PUSH1 0x01
0000118f: PUSH1 0x01
00001191: PUSH1 0xa0
00001193: SHL
00001194: SUB
00001195: DUP6
00001196: DUP2
00001197: AND
00001198: SWAP2
00001199: AND
0000119a: EQ
0000119b: ISZERO
0000119c: JUMPDEST
0000119d: ISZERO
0000119e: PUSH2 0x11ae
000011a1: JUMPI
000011a2: PUSH1 0x0a
000011a4: SLOAD
000011a5: PUSH1 0x0c
000011a7: SSTORE
000011a8: PUSH1 0x0b
000011aa: SLOAD
000011ab: PUSH1 0x0d
000011ad: SSTORE
000011ae: JUMPDEST
000011af: PUSH2 0x0a3b
000011b2: DUP5
000011b3: DUP5
000011b4: DUP5
000011b5: DUP5
000011b6: PUSH2 0x142c
000011b9: JUMP
000011ba: JUMPDEST
000011bb: PUSH1 0x00
000011bd: DUP2
000011be: DUP5
000011bf: DUP5
000011c0: GT
000011c1: ISZERO
000011c2: PUSH2 0x11de
000011c5: JUMPI
000011c6: PUSH1 0x40
000011c8: MLOAD
000011c9: PUSH3 0x461bcd
000011cd: PUSH1 0xe5
000011cf: SHL
000011d0: DUP2
000011d1: MSTORE
000011d2: PUSH1 0x04
000011d4: ADD
000011d5: PUSH2 0x05f2
000011d8: SWAP2
000011d9: SWAP1
000011da: PUSH2 0x19e7
000011dd: JUMP
000011de: JUMPDEST
000011df: POP
000011e0: PUSH1 0x00
000011e2: PUSH2 0x11eb
000011e5: DUP5
000011e6: DUP7
000011e7: PUSH2 0x1c7f
000011ea: JUMP
000011eb: JUMPDEST
000011ec: SWAP6
000011ed: SWAP5
000011ee: POP
000011ef: POP
000011f0: POP
000011f1: POP
000011f2: POP
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH1 0x13
000011f7: SLOAD
000011f8: PUSH1 0x40
000011fa: MLOAD
000011fb: PUSH1 0x01
000011fd: PUSH1 0x01
000011ff: PUSH1 0xa0
00001201: SHL
00001202: SUB
00001203: SWAP1
00001204: SWAP2
00001205: AND
00001206: SWAP1
00001207: DUP3
00001208: ISZERO
00001209: PUSH2 0x08fc
0000120c: MUL
0000120d: SWAP1
0000120e: DUP4
0000120f: SWAP1
00001210: PUSH1 0x00
00001212: DUP2
00001213: DUP2
00001214: DUP2
00001215: DUP6
00001216: DUP9
00001217: DUP9
00001218: CALL
00001219: SWAP4
0000121a: POP
0000121b: POP
0000121c: POP
0000121d: POP
0000121e: ISZERO
0000121f: DUP1
00001220: ISZERO
00001221: PUSH2 0x0663
00001224: JUMPI
00001225: RETURNDATASIZE
00001226: PUSH1 0x00
00001228: DUP1
00001229: RETURNDATACOPY
0000122a: RETURNDATASIZE
0000122b: PUSH1 0x00
0000122d: REVERT
0000122e: JUMPDEST
0000122f: PUSH1 0x00
00001231: PUSH1 0x06
00001233: SLOAD
00001234: DUP3
00001235: GT
00001236: ISZERO
00001237: PUSH2 0x1295
0000123a: JUMPI
0000123b: PUSH1 0x40
0000123d: MLOAD
0000123e: PUSH3 0x461bcd
00001242: PUSH1 0xe5
00001244: SHL
00001245: DUP2
00001246: MSTORE
00001247: PUSH1 0x20
00001249: PUSH1 0x04
0000124b: DUP3
0000124c: ADD
0000124d: MSTORE
0000124e: PUSH1 0x2a
00001250: PUSH1 0x24
00001252: DUP3
00001253: ADD
00001254: MSTORE
00001255: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072
00001276: PUSH1 0x44
00001278: DUP3
00001279: ADD
0000127a: MSTORE
0000127b: PUSH10 0x65666c656374696f6e73
00001286: PUSH1 0xb0
00001288: SHL
00001289: PUSH1 0x64
0000128b: DUP3
0000128c: ADD
0000128d: MSTORE
0000128e: PUSH1 0x84
00001290: ADD
00001291: PUSH2 0x05f2
00001294: JUMP
00001295: JUMPDEST
00001296: PUSH1 0x00
00001298: PUSH2 0x129f
0000129b: PUSH2 0x145a
0000129e: JUMP
0000129f: JUMPDEST
000012a0: SWAP1
000012a1: POP
000012a2: PUSH2 0x12ab
000012a5: DUP4
000012a6: DUP3
000012a7: PUSH2 0x147d
000012aa: JUMP
000012ab: JUMPDEST
000012ac: SWAP4
000012ad: SWAP3
000012ae: POP
000012af: POP
000012b0: POP
000012b1: JUMP
000012b2: JUMPDEST
000012b3: PUSH1 0x15
000012b5: DUP1
000012b6: SLOAD
000012b7: PUSH1 0xff
000012b9: PUSH1 0xa8
000012bb: SHL
000012bc: NOT
000012bd: AND
000012be: PUSH1 0x01
000012c0: PUSH1 0xa8
000012c2: SHL
000012c3: OR
000012c4: SWAP1
000012c5: SSTORE
000012c6: PUSH1 0x40
000012c8: DUP1
000012c9: MLOAD
000012ca: PUSH1 0x02
000012cc: DUP1
000012cd: DUP3
000012ce: MSTORE
000012cf: PUSH1 0x60
000012d1: DUP3
000012d2: ADD
000012d3: DUP4
000012d4: MSTORE
000012d5: PUSH1 0x00
000012d7: SWAP3
000012d8: PUSH1 0x20
000012da: DUP4
000012db: ADD
000012dc: SWAP1
000012dd: DUP1
000012de: CALLDATASIZE
000012df: DUP4
000012e0: CALLDATACOPY
000012e1: ADD
000012e2: SWAP1
000012e3: POP
000012e4: POP
000012e5: SWAP1
000012e6: POP
000012e7: ADDRESS
000012e8: DUP2
000012e9: PUSH1 0x00
000012eb: DUP2
000012ec: MLOAD
000012ed: DUP2
000012ee: LT
000012ef: PUSH2 0x12fa
000012f2: JUMPI
000012f3: PUSH2 0x12fa
000012f6: PUSH2 0x1c27
000012f9: JUMP
000012fa: JUMPDEST
000012fb: PUSH1 0x01
000012fd: PUSH1 0x01
000012ff: PUSH1 0xa0
00001301: SHL
00001302: SUB
00001303: SWAP3
00001304: DUP4
00001305: AND
00001306: PUSH1 0x20
00001308: SWAP2
00001309: DUP3
0000130a: MUL
0000130b: SWAP3
0000130c: SWAP1
0000130d: SWAP3
0000130e: ADD
0000130f: DUP2
00001310: ADD
00001311: SWAP2
00001312: SWAP1
00001313: SWAP2
00001314: MSTORE
00001315: PUSH1 0x14
00001317: SLOAD
00001318: PUSH1 0x40
0000131a: DUP1
0000131b: MLOAD
0000131c: PUSH4 0x15ab88c9
00001321: PUSH1 0xe3
00001323: SHL
00001324: DUP2
00001325: MSTORE
00001326: SWAP1
00001327: MLOAD
00001328: SWAP2
00001329: SWAP1
0000132a: SWAP4
0000132b: AND
0000132c: SWAP3
0000132d: PUSH4 0xad5c4648
00001332: SWAP3
00001333: PUSH1 0x04
00001335: DUP1
00001336: DUP4
00001337: ADD
00001338: SWAP4
00001339: SWAP2
0000133a: SWAP3
0000133b: DUP3
0000133c: SWAP1
0000133d: SUB
0000133e: ADD
0000133f: DUP2
00001340: DUP7
00001341: GAS
00001342: STATICCALL
00001343: ISZERO
00001344: DUP1
00001345: ISZERO
00001346: PUSH2 0x1353
00001349: JUMPI
0000134a: RETURNDATASIZE
0000134b: PUSH1 0x00
0000134d: DUP1
0000134e: RETURNDATACOPY
0000134f: RETURNDATASIZE
00001350: PUSH1 0x00
00001352: REVERT
00001353: JUMPDEST
00001354: POP
00001355: POP
00001356: POP
00001357: POP
00001358: PUSH1 0x40
0000135a: MLOAD
0000135b: RETURNDATASIZE
0000135c: PUSH1 0x1f
0000135e: NOT
0000135f: PUSH1 0x1f
00001361: DUP3
00001362: ADD
00001363: AND
00001364: DUP3
00001365: ADD
00001366: DUP1
00001367: PUSH1 0x40
00001369: MSTORE
0000136a: POP
0000136b: DUP2
0000136c: ADD
0000136d: SWAP1
0000136e: PUSH2 0x1377
00001371: SWAP2
00001372: SWAP1
00001373: PUSH2 0x1c92
00001376: JUMP
00001377: JUMPDEST
00001378: DUP2
00001379: PUSH1 0x01
0000137b: DUP2
0000137c: MLOAD
0000137d: DUP2
0000137e: LT
0000137f: PUSH2 0x138a
00001382: JUMPI
00001383: PUSH2 0x138a
00001386: PUSH2 0x1c27
00001389: JUMP
0000138a: JUMPDEST
0000138b: PUSH1 0x01
0000138d: PUSH1 0x01
0000138f: PUSH1 0xa0
00001391: SHL
00001392: SUB
00001393: SWAP3
00001394: DUP4
00001395: AND
00001396: PUSH1 0x20
00001398: SWAP2
00001399: DUP3
0000139a: MUL
0000139b: SWAP3
0000139c: SWAP1
0000139d: SWAP3
0000139e: ADD
0000139f: ADD
000013a0: MSTORE
000013a1: PUSH1 0x14
000013a3: SLOAD
000013a4: PUSH2 0x13b0
000013a7: SWAP2
000013a8: ADDRESS
000013a9: SWAP2
000013aa: AND
000013ab: DUP5
000013ac: PUSH2 0x0b5a
000013af: JUMP
000013b0: JUMPDEST
000013b1: PUSH1 0x14
000013b3: SLOAD
000013b4: PUSH1 0x40
000013b6: MLOAD
000013b7: PUSH4 0x791ac947
000013bc: PUSH1 0xe0
000013be: SHL
000013bf: DUP2
000013c0: MSTORE
000013c1: PUSH1 0x01
000013c3: PUSH1 0x01
000013c5: PUSH1 0xa0
000013c7: SHL
000013c8: SUB
000013c9: SWAP1
000013ca: SWAP2
000013cb: AND
000013cc: SWAP1
000013cd: PUSH4 0x791ac947
000013d2: SWAP1
000013d3: PUSH2 0x13e9
000013d6: SWAP1
000013d7: DUP6
000013d8: SWAP1
000013d9: PUSH1 0x00
000013db: SWAP1
000013dc: DUP7
000013dd: SWAP1
000013de: ADDRESS
000013df: SWAP1
000013e0: TIMESTAMP
000013e1: SWAP1
000013e2: PUSH1 0x04
000013e4: ADD
000013e5: PUSH2 0x1caf
000013e8: JUMP
000013e9: JUMPDEST
000013ea: PUSH1 0x00
000013ec: PUSH1 0x40
000013ee: MLOAD
000013ef: DUP1
000013f0: DUP4
000013f1: SUB
000013f2: DUP2
000013f3: PUSH1 0x00
000013f5: DUP8
000013f6: DUP1
000013f7: EXTCODESIZE
000013f8: ISZERO
000013f9: DUP1
000013fa: ISZERO
000013fb: PUSH2 0x1403
000013fe: JUMPI
000013ff: PUSH1 0x00
00001401: DUP1
00001402: REVERT
00001403: JUMPDEST
00001404: POP
00001405: GAS
00001406: CALL
00001407: ISZERO
00001408: DUP1
00001409: ISZERO
0000140a: PUSH2 0x1417
0000140d: JUMPI
0000140e: RETURNDATASIZE
0000140f: PUSH1 0x00
00001411: DUP1
00001412: RETURNDATACOPY
00001413: RETURNDATASIZE
00001414: PUSH1 0x00
00001416: REVERT
00001417: JUMPDEST
00001418: POP
00001419: POP
0000141a: PUSH1 0x15
0000141c: DUP1
0000141d: SLOAD
0000141e: PUSH1 0xff
00001420: PUSH1 0xa8
00001422: SHL
00001423: NOT
00001424: AND
00001425: SWAP1
00001426: SSTORE
00001427: POP
00001428: POP
00001429: POP
0000142a: POP
0000142b: JUMP
0000142c: JUMPDEST
0000142d: DUP1
0000142e: PUSH2 0x1439
00001431: JUMPI
00001432: PUSH2 0x1439
00001435: PUSH2 0x14bf
00001438: JUMP
00001439: JUMPDEST
0000143a: PUSH2 0x1444
0000143d: DUP5
0000143e: DUP5
0000143f: DUP5
00001440: PUSH2 0x14ed
00001443: JUMP
00001444: JUMPDEST
00001445: DUP1
00001446: PUSH2 0x0a3b
00001449: JUMPI
0000144a: PUSH2 0x0a3b
0000144d: PUSH1 0x0e
0000144f: SLOAD
00001450: PUSH1 0x0c
00001452: SSTORE
00001453: PUSH1 0x0f
00001455: SLOAD
00001456: PUSH1 0x0d
00001458: SSTORE
00001459: JUMP
0000145a: JUMPDEST
0000145b: PUSH1 0x00
0000145d: DUP1
0000145e: PUSH1 0x00
00001460: PUSH2 0x1467
00001463: PUSH2 0x15e4
00001466: JUMP
00001467: JUMPDEST
00001468: SWAP1
00001469: SWAP3
0000146a: POP
0000146b: SWAP1
0000146c: POP
0000146d: PUSH2 0x1476
00001470: DUP3
00001471: DUP3
00001472: PUSH2 0x147d
00001475: JUMP
00001476: JUMPDEST
00001477: SWAP3
00001478: POP
00001479: POP
0000147a: POP
0000147b: SWAP1
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x00
00001480: PUSH2 0x12ab
00001483: DUP4
00001484: DUP4
00001485: PUSH1 0x40
00001487: MLOAD
00001488: DUP1
00001489: PUSH1 0x40
0000148b: ADD
0000148c: PUSH1 0x40
0000148e: MSTORE
0000148f: DUP1
00001490: PUSH1 0x1a
00001492: DUP2
00001493: MSTORE
00001494: PUSH1 0x20
00001496: ADD
00001497: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000014b8: DUP2
000014b9: MSTORE
000014ba: POP
000014bb: PUSH2 0x1626
000014be: JUMP
000014bf: JUMPDEST
000014c0: PUSH1 0x0c
000014c2: SLOAD
000014c3: ISZERO
000014c4: DUP1
000014c5: ISZERO
000014c6: PUSH2 0x14cf
000014c9: JUMPI
000014ca: POP
000014cb: PUSH1 0x0d
000014cd: SLOAD
000014ce: ISZERO
000014cf: JUMPDEST
000014d0: ISZERO
000014d1: PUSH2 0x14d6
000014d4: JUMPI
000014d5: JUMP
000014d6: JUMPDEST
000014d7: PUSH1 0x0c
000014d9: DUP1
000014da: SLOAD
000014db: PUSH1 0x0e
000014dd: SSTORE
000014de: PUSH1 0x0d
000014e0: DUP1
000014e1: SLOAD
000014e2: PUSH1 0x0f
000014e4: SSTORE
000014e5: PUSH1 0x00
000014e7: SWAP2
000014e8: DUP3
000014e9: SWAP1
000014ea: SSTORE
000014eb: SSTORE
000014ec: JUMP
000014ed: JUMPDEST
000014ee: PUSH1 0x00
000014f0: DUP1
000014f1: PUSH1 0x00
000014f3: DUP1
000014f4: PUSH1 0x00
000014f6: DUP1
000014f7: PUSH2 0x14ff
000014fa: DUP8
000014fb: PUSH2 0x1654
000014fe: JUMP
000014ff: JUMPDEST
00001500: PUSH1 0x01
00001502: PUSH1 0x01
00001504: PUSH1 0xa0
00001506: SHL
00001507: SUB
00001508: DUP16
00001509: AND
0000150a: PUSH1 0x00
0000150c: SWAP1
0000150d: DUP2
0000150e: MSTORE
0000150f: PUSH1 0x02
00001511: PUSH1 0x20
00001513: MSTORE
00001514: PUSH1 0x40
00001516: SWAP1
00001517: KECCAK256
00001518: SLOAD
00001519: SWAP6
0000151a: SWAP12
0000151b: POP
0000151c: SWAP4
0000151d: SWAP10
0000151e: POP
0000151f: SWAP2
00001520: SWAP8
00001521: POP
00001522: SWAP6
00001523: POP
00001524: SWAP4
00001525: POP
00001526: SWAP2
00001527: POP
00001528: PUSH2 0x1531
0000152b: SWAP1
0000152c: DUP8
0000152d: PUSH2 0x16b1
00001530: JUMP
00001531: JUMPDEST
00001532: PUSH1 0x01
00001534: PUSH1 0x01
00001536: PUSH1 0xa0
00001538: SHL
00001539: SUB
0000153a: DUP1
0000153b: DUP12
0000153c: AND
0000153d: PUSH1 0x00
0000153f: SWAP1
00001540: DUP2
00001541: MSTORE
00001542: PUSH1 0x02
00001544: PUSH1 0x20
00001546: MSTORE
00001547: PUSH1 0x40
00001549: DUP1
0000154a: DUP3
0000154b: KECCAK256
0000154c: SWAP4
0000154d: SWAP1
0000154e: SWAP4
0000154f: SSTORE
00001550: SWAP1
00001551: DUP11
00001552: AND
00001553: DUP2
00001554: MSTORE
00001555: KECCAK256
00001556: SLOAD
00001557: PUSH2 0x1560
0000155a: SWAP1
0000155b: DUP7
0000155c: PUSH2 0x16f3
0000155f: JUMP
00001560: JUMPDEST
00001561: PUSH1 0x01
00001563: PUSH1 0x01
00001565: PUSH1 0xa0
00001567: SHL
00001568: SUB
00001569: DUP10
0000156a: AND
0000156b: PUSH1 0x00
0000156d: SWAP1
0000156e: DUP2
0000156f: MSTORE
00001570: PUSH1 0x02
00001572: PUSH1 0x20
00001574: MSTORE
00001575: PUSH1 0x40
00001577: SWAP1
00001578: KECCAK256
00001579: SSTORE
0000157a: PUSH2 0x1582
0000157d: DUP2
0000157e: PUSH2 0x1752
00001581: JUMP
00001582: JUMPDEST
00001583: PUSH2 0x158c
00001586: DUP5
00001587: DUP4
00001588: PUSH2 0x179c
0000158b: JUMP
0000158c: JUMPDEST
0000158d: DUP8
0000158e: PUSH1 0x01
00001590: PUSH1 0x01
00001592: PUSH1 0xa0
00001594: SHL
00001595: SUB
00001596: AND
00001597: DUP10
00001598: PUSH1 0x01
0000159a: PUSH1 0x01
0000159c: PUSH1 0xa0
0000159e: SHL
0000159f: SUB
000015a0: AND
000015a1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000015c2: DUP6
000015c3: PUSH1 0x40
000015c5: MLOAD
000015c6: PUSH2 0x15d1
000015c9: SWAP2
000015ca: DUP2
000015cb: MSTORE
000015cc: PUSH1 0x20
000015ce: ADD
000015cf: SWAP1
000015d0: JUMP
000015d1: JUMPDEST
000015d2: PUSH1 0x40
000015d4: MLOAD
000015d5: DUP1
000015d6: SWAP2
000015d7: SUB
000015d8: SWAP1
000015d9: LOG3
000015da: POP
000015db: POP
000015dc: POP
000015dd: POP
000015de: POP
000015df: POP
000015e0: POP
000015e1: POP
000015e2: POP
000015e3: JUMP
000015e4: JUMPDEST
000015e5: PUSH1 0x06
000015e7: SLOAD
000015e8: PUSH1 0x00
000015ea: SWAP1
000015eb: DUP2
000015ec: SWAP1
000015ed: PUSH9 0x2567ac70392b880000
000015f7: PUSH2 0x1600
000015fa: DUP3
000015fb: DUP3
000015fc: PUSH2 0x147d
000015ff: JUMP
00001600: JUMPDEST
00001601: DUP3
00001602: LT
00001603: ISZERO
00001604: PUSH2 0x161d
00001607: JUMPI
00001608: POP
00001609: POP
0000160a: PUSH1 0x06
0000160c: SLOAD
0000160d: SWAP3
0000160e: PUSH9 0x2567ac70392b880000
00001618: SWAP3
00001619: POP
0000161a: SWAP1
0000161b: POP
0000161c: JUMP
0000161d: JUMPDEST
0000161e: SWAP1
0000161f: SWAP4
00001620: SWAP1
00001621: SWAP3
00001622: POP
00001623: SWAP1
00001624: POP
00001625: JUMP
00001626: JUMPDEST
00001627: PUSH1 0x00
00001629: DUP2
0000162a: DUP4
0000162b: PUSH2 0x1647
0000162e: JUMPI
0000162f: PUSH1 0x40
00001631: MLOAD
00001632: PUSH3 0x461bcd
00001636: PUSH1 0xe5
00001638: SHL
00001639: DUP2
0000163a: MSTORE
0000163b: PUSH1 0x04
0000163d: ADD
0000163e: PUSH2 0x05f2
00001641: SWAP2
00001642: SWAP1
00001643: PUSH2 0x19e7
00001646: JUMP
00001647: JUMPDEST
00001648: POP
00001649: PUSH1 0x00
0000164b: PUSH2 0x11eb
0000164e: DUP5
0000164f: DUP7
00001650: PUSH2 0x1d20
00001653: JUMP
00001654: JUMPDEST
00001655: PUSH1 0x00
00001657: DUP1
00001658: PUSH1 0x00
0000165a: DUP1
0000165b: PUSH1 0x00
0000165d: DUP1
0000165e: PUSH1 0x00
00001660: DUP1
00001661: PUSH1 0x00
00001663: PUSH2 0x1671
00001666: DUP11
00001667: PUSH1 0x0c
00001669: SLOAD
0000166a: PUSH1 0x0d
0000166c: SLOAD
0000166d: PUSH2 0x17c0
00001670: JUMP
00001671: JUMPDEST
00001672: SWAP3
00001673: POP
00001674: SWAP3
00001675: POP
00001676: SWAP3
00001677: POP
00001678: PUSH1 0x00
0000167a: PUSH2 0x1681
0000167d: PUSH2 0x145a
00001680: JUMP
00001681: JUMPDEST
00001682: SWAP1
00001683: POP
00001684: PUSH1 0x00
00001686: DUP1
00001687: PUSH1 0x00
00001689: PUSH2 0x1694
0000168c: DUP15
0000168d: DUP8
0000168e: DUP8
0000168f: DUP8
00001690: PUSH2 0x1815
00001693: JUMP
00001694: JUMPDEST
00001695: SWAP2
00001696: SWAP15
00001697: POP
00001698: SWAP13
00001699: POP
0000169a: SWAP11
0000169b: POP
0000169c: SWAP6
0000169d: SWAP9
0000169e: POP
0000169f: SWAP4
000016a0: SWAP7
000016a1: POP
000016a2: SWAP2
000016a3: SWAP5
000016a4: POP
000016a5: POP
000016a6: POP
000016a7: POP
000016a8: POP
000016a9: SWAP2
000016aa: SWAP4
000016ab: SWAP6
000016ac: POP
000016ad: SWAP2
000016ae: SWAP4
000016af: SWAP6
000016b0: JUMP
000016b1: JUMPDEST
000016b2: PUSH1 0x00
000016b4: PUSH2 0x12ab
000016b7: DUP4
000016b8: DUP4
000016b9: PUSH1 0x40
000016bb: MLOAD
000016bc: DUP1
000016bd: PUSH1 0x40
000016bf: ADD
000016c0: PUSH1 0x40
000016c2: MSTORE
000016c3: DUP1
000016c4: PUSH1 0x1e
000016c6: DUP2
000016c7: MSTORE
000016c8: PUSH1 0x20
000016ca: ADD
000016cb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000016ec: DUP2
000016ed: MSTORE
000016ee: POP
000016ef: PUSH2 0x11ba
000016f2: JUMP
000016f3: JUMPDEST
000016f4: PUSH1 0x00
000016f6: DUP1
000016f7: PUSH2 0x1700
000016fa: DUP4
000016fb: DUP6
000016fc: PUSH2 0x1c6c
000016ff: JUMP
00001700: JUMPDEST
00001701: SWAP1
00001702: POP
00001703: DUP4
00001704: DUP2
00001705: LT
00001706: ISZERO
00001707: PUSH2 0x12ab
0000170a: JUMPI
0000170b: PUSH1 0x40
0000170d: MLOAD
0000170e: PUSH3 0x461bcd
00001712: PUSH1 0xe5
00001714: SHL
00001715: DUP2
00001716: MSTORE
00001717: PUSH1 0x20
00001719: PUSH1 0x04
0000171b: DUP3
0000171c: ADD
0000171d: MSTORE
0000171e: PUSH1 0x1b
00001720: PUSH1 0x24
00001722: DUP3
00001723: ADD
00001724: MSTORE
00001725: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001746: PUSH1 0x44
00001748: DUP3
00001749: ADD
0000174a: MSTORE
0000174b: PUSH1 0x64
0000174d: ADD
0000174e: PUSH2 0x05f2
00001751: JUMP
00001752: JUMPDEST
00001753: PUSH1 0x00
00001755: PUSH2 0x175c
00001758: PUSH2 0x145a
0000175b: JUMP
0000175c: JUMPDEST
0000175d: SWAP1
0000175e: POP
0000175f: PUSH1 0x00
00001761: PUSH2 0x176a
00001764: DUP4
00001765: DUP4
00001766: PUSH2 0x1865
00001769: JUMP
0000176a: JUMPDEST
0000176b: ADDRESS
0000176c: PUSH1 0x00
0000176e: SWAP1
0000176f: DUP2
00001770: MSTORE
00001771: PUSH1 0x02
00001773: PUSH1 0x20
00001775: MSTORE
00001776: PUSH1 0x40
00001778: SWAP1
00001779: KECCAK256
0000177a: SLOAD
0000177b: SWAP1
0000177c: SWAP2
0000177d: POP
0000177e: PUSH2 0x1787
00001781: SWAP1
00001782: DUP3
00001783: PUSH2 0x16f3
00001786: JUMP
00001787: JUMPDEST
00001788: ADDRESS
00001789: PUSH1 0x00
0000178b: SWAP1
0000178c: DUP2
0000178d: MSTORE
0000178e: PUSH1 0x02
00001790: PUSH1 0x20
00001792: MSTORE
00001793: PUSH1 0x40
00001795: SWAP1
00001796: KECCAK256
00001797: SSTORE
00001798: POP
00001799: POP
0000179a: POP
0000179b: JUMP
0000179c: JUMPDEST
0000179d: PUSH1 0x06
0000179f: SLOAD
000017a0: PUSH2 0x17a9
000017a3: SWAP1
000017a4: DUP4
000017a5: PUSH2 0x16b1
000017a8: JUMP
000017a9: JUMPDEST
000017aa: PUSH1 0x06
000017ac: SSTORE
000017ad: PUSH1 0x07
000017af: SLOAD
000017b0: PUSH2 0x17b9
000017b3: SWAP1
000017b4: DUP3
000017b5: PUSH2 0x16f3
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH1 0x07
000017bc: SSTORE
000017bd: POP
000017be: POP
000017bf: JUMP
000017c0: JUMPDEST
000017c1: PUSH1 0x00
000017c3: DUP1
000017c4: DUP1
000017c5: DUP1
000017c6: PUSH2 0x17da
000017c9: PUSH1 0x64
000017cb: PUSH2 0x17d4
000017ce: DUP10
000017cf: DUP10
000017d0: PUSH2 0x1865
000017d3: JUMP
000017d4: JUMPDEST
000017d5: SWAP1
000017d6: PUSH2 0x147d
000017d9: JUMP
000017da: JUMPDEST
000017db: SWAP1
000017dc: POP
000017dd: PUSH1 0x00
000017df: PUSH2 0x17ed
000017e2: PUSH1 0x64
000017e4: PUSH2 0x17d4
000017e7: DUP11
000017e8: DUP10
000017e9: PUSH2 0x1865
000017ec: JUMP
000017ed: JUMPDEST
000017ee: SWAP1
000017ef: POP
000017f0: PUSH1 0x00
000017f2: PUSH2 0x1805
000017f5: DUP3
000017f6: PUSH2 0x17ff
000017f9: DUP12
000017fa: DUP7
000017fb: PUSH2 0x16b1
000017fe: JUMP
000017ff: JUMPDEST
00001800: SWAP1
00001801: PUSH2 0x16b1
00001804: JUMP
00001805: JUMPDEST
00001806: SWAP10
00001807: SWAP3
00001808: SWAP9
00001809: POP
0000180a: SWAP1
0000180b: SWAP7
0000180c: POP
0000180d: SWAP1
0000180e: SWAP5
0000180f: POP
00001810: POP
00001811: POP
00001812: POP
00001813: POP
00001814: JUMP
00001815: JUMPDEST
00001816: PUSH1 0x00
00001818: DUP1
00001819: DUP1
0000181a: DUP1
0000181b: PUSH2 0x1824
0000181e: DUP9
0000181f: DUP7
00001820: PUSH2 0x1865
00001823: JUMP
00001824: JUMPDEST
00001825: SWAP1
00001826: POP
00001827: PUSH1 0x00
00001829: PUSH2 0x1832
0000182c: DUP9
0000182d: DUP8
0000182e: PUSH2 0x1865
00001831: JUMP
00001832: JUMPDEST
00001833: SWAP1
00001834: POP
00001835: PUSH1 0x00
00001837: PUSH2 0x1840
0000183a: DUP9
0000183b: DUP9
0000183c: PUSH2 0x1865
0000183f: JUMP
00001840: JUMPDEST
00001841: SWAP1
00001842: POP
00001843: PUSH1 0x00
00001845: PUSH2 0x1852
00001848: DUP3
00001849: PUSH2 0x17ff
0000184c: DUP7
0000184d: DUP7
0000184e: PUSH2 0x16b1
00001851: JUMP
00001852: JUMPDEST
00001853: SWAP4
00001854: SWAP12
00001855: SWAP4
00001856: SWAP11
00001857: POP
00001858: SWAP2
00001859: SWAP9
0000185a: POP
0000185b: SWAP2
0000185c: SWAP7
0000185d: POP
0000185e: POP
0000185f: POP
00001860: POP
00001861: POP
00001862: POP
00001863: POP
00001864: JUMP
00001865: JUMPDEST
00001866: PUSH1 0x00
00001868: DUP3
00001869: PUSH1 0x00
0000186b: SUB
0000186c: PUSH2 0x1877
0000186f: JUMPI
00001870: POP
00001871: PUSH1 0x00
00001873: PUSH2 0x0678
00001876: JUMP
00001877: JUMPDEST
00001878: PUSH1 0x00
0000187a: PUSH2 0x1883
0000187d: DUP4
0000187e: DUP6
0000187f: PUSH2 0x1d42
00001882: JUMP
00001883: JUMPDEST
00001884: SWAP1
00001885: POP
00001886: DUP3
00001887: PUSH2 0x1890
0000188a: DUP6
0000188b: DUP4
0000188c: PUSH2 0x1d20
0000188f: JUMP
00001890: JUMPDEST
00001891: EQ
00001892: PUSH2 0x12ab
00001895: JUMPI
00001896: PUSH1 0x40
00001898: MLOAD
00001899: PUSH3 0x461bcd
0000189d: PUSH1 0xe5
0000189f: SHL
000018a0: DUP2
000018a1: MSTORE
000018a2: PUSH1 0x20
000018a4: PUSH1 0x04
000018a6: DUP3
000018a7: ADD
000018a8: MSTORE
000018a9: PUSH1 0x21
000018ab: PUSH1 0x24
000018ad: DUP3
000018ae: ADD
000018af: MSTORE
000018b0: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
000018d1: PUSH1 0x44
000018d3: DUP3
000018d4: ADD
000018d5: MSTORE
000018d6: PUSH1 0x77
000018d8: PUSH1 0xf8
000018da: SHL
000018db: PUSH1 0x64
000018dd: DUP3
000018de: ADD
000018df: MSTORE
000018e0: PUSH1 0x84
000018e2: ADD
000018e3: PUSH2 0x05f2
000018e6: JUMP
000018e7: JUMPDEST
000018e8: PUSH4 0x4e487b71
000018ed: PUSH1 0xe0
000018ef: SHL
000018f0: PUSH1 0x00
000018f2: MSTORE
000018f3: PUSH1 0x41
000018f5: PUSH1 0x04
000018f7: MSTORE
000018f8: PUSH1 0x24
000018fa: PUSH1 0x00
000018fc: REVERT
000018fd: JUMPDEST
000018fe: PUSH1 0x01
00001900: PUSH1 0x01
00001902: PUSH1 0xa0
00001904: SHL
00001905: SUB
00001906: DUP2
00001907: AND
00001908: DUP2
00001909: EQ
0000190a: PUSH2 0x07c2
0000190d: JUMPI
0000190e: PUSH1 0x00
00001910: DUP1
00001911: REVERT
00001912: JUMPDEST
00001913: DUP1
00001914: CALLDATALOAD
00001915: PUSH2 0x191d
00001918: DUP2
00001919: PUSH2 0x18fd
0000191c: JUMP
0000191d: JUMPDEST
0000191e: SWAP2
0000191f: SWAP1
00001920: POP
00001921: JUMP
00001922: JUMPDEST
00001923: PUSH1 0x00
00001925: PUSH1 0x20
00001927: DUP1
00001928: DUP4
00001929: DUP6
0000192a: SUB
0000192b: SLT
0000192c: ISZERO
0000192d: PUSH2 0x1935
00001930: JUMPI
00001931: PUSH1 0x00
00001933: DUP1
00001934: REVERT
00001935: JUMPDEST
00001936: DUP3
00001937: CALLDATALOAD
00001938: PUSH8 0xffffffffffffffff
00001941: DUP1
00001942: DUP3
00001943: GT
00001944: ISZERO
00001945: PUSH2 0x194d
00001948: JUMPI
00001949: PUSH1 0x00
0000194b: DUP1
0000194c: REVERT
0000194d: JUMPDEST
0000194e: DUP2
0000194f: DUP6
00001950: ADD
00001951: SWAP2
00001952: POP
00001953: DUP6
00001954: PUSH1 0x1f
00001956: DUP4
00001957: ADD
00001958: SLT
00001959: PUSH2 0x1961
0000195c: JUMPI
0000195d: PUSH1 0x00
0000195f: DUP1
00001960: REVERT
00001961: JUMPDEST
00001962: DUP2
00001963: CALLDATALOAD
00001964: DUP2
00001965: DUP2
00001966: GT
00001967: ISZERO
00001968: PUSH2 0x1973
0000196b: JUMPI
0000196c: PUSH2 0x1973
0000196f: PUSH2 0x18e7
00001972: JUMP
00001973: JUMPDEST
00001974: DUP1
00001975: PUSH1 0x05
00001977: SHL
00001978: PUSH1 0x40
0000197a: MLOAD
0000197b: PUSH1 0x1f
0000197d: NOT
0000197e: PUSH1 0x3f
00001980: DUP4
00001981: ADD
00001982: AND
00001983: DUP2
00001984: ADD
00001985: DUP2
00001986: DUP2
00001987: LT
00001988: DUP6
00001989: DUP3
0000198a: GT
0000198b: OR
0000198c: ISZERO
0000198d: PUSH2 0x1998
00001990: JUMPI
00001991: PUSH2 0x1998
00001994: PUSH2 0x18e7
00001997: JUMP
00001998: JUMPDEST
00001999: PUSH1 0x40
0000199b: MSTORE
0000199c: SWAP2
0000199d: DUP3
0000199e: MSTORE
0000199f: DUP5
000019a0: DUP3
000019a1: ADD
000019a2: SWAP3
000019a3: POP
000019a4: DUP4
000019a5: DUP2
000019a6: ADD
000019a7: DUP6
000019a8: ADD
000019a9: SWAP2
000019aa: DUP9
000019ab: DUP4
000019ac: GT
000019ad: ISZERO
000019ae: PUSH2 0x19b6
000019b1: JUMPI
000019b2: PUSH1 0x00
000019b4: DUP1
000019b5: REVERT
000019b6: JUMPDEST
000019b7: SWAP4
000019b8: DUP6
000019b9: ADD
000019ba: SWAP4
000019bb: JUMPDEST
000019bc: DUP3
000019bd: DUP6
000019be: LT
000019bf: ISZERO
000019c0: PUSH2 0x19db
000019c3: JUMPI
000019c4: PUSH2 0x19cc
000019c7: DUP6
000019c8: PUSH2 0x1912
000019cb: JUMP
000019cc: JUMPDEST
000019cd: DUP5
000019ce: MSTORE
000019cf: SWAP4
000019d0: DUP6
000019d1: ADD
000019d2: SWAP4
000019d3: SWAP3
000019d4: DUP6
000019d5: ADD
000019d6: SWAP3
000019d7: PUSH2 0x19bb
000019da: JUMP
000019db: JUMPDEST
000019dc: SWAP9
000019dd: SWAP8
000019de: POP
000019df: POP
000019e0: POP
000019e1: POP
000019e2: POP
000019e3: POP
000019e4: POP
000019e5: POP
000019e6: JUMP
000019e7: JUMPDEST
000019e8: PUSH1 0x00
000019ea: PUSH1 0x20
000019ec: DUP1
000019ed: DUP4
000019ee: MSTORE
000019ef: DUP4
000019f0: MLOAD
000019f1: DUP1
000019f2: DUP3
000019f3: DUP6
000019f4: ADD
000019f5: MSTORE
000019f6: PUSH1 0x00
000019f8: JUMPDEST
000019f9: DUP2
000019fa: DUP2
000019fb: LT
000019fc: ISZERO
000019fd: PUSH2 0x1a14
00001a00: JUMPI
00001a01: DUP6
00001a02: DUP2
00001a03: ADD
00001a04: DUP4
00001a05: ADD
00001a06: MLOAD
00001a07: DUP6
00001a08: DUP3
00001a09: ADD
00001a0a: PUSH1 0x40
00001a0c: ADD
00001a0d: MSTORE
00001a0e: DUP3
00001a0f: ADD
00001a10: PUSH2 0x19f8
00001a13: JUMP
00001a14: JUMPDEST
00001a15: POP
00001a16: PUSH1 0x00
00001a18: PUSH1 0x40
00001a1a: DUP3
00001a1b: DUP7
00001a1c: ADD
00001a1d: ADD
00001a1e: MSTORE
00001a1f: PUSH1 0x40
00001a21: PUSH1 0x1f
00001a23: NOT
00001a24: PUSH1 0x1f
00001a26: DUP4
00001a27: ADD
00001a28: AND
00001a29: DUP6
00001a2a: ADD
00001a2b: ADD
00001a2c: SWAP3
00001a2d: POP
00001a2e: POP
00001a2f: POP
00001a30: SWAP3
00001a31: SWAP2
00001a32: POP
00001a33: POP
00001a34: JUMP
00001a35: JUMPDEST
00001a36: PUSH1 0x00
00001a38: DUP1
00001a39: PUSH1 0x40
00001a3b: DUP4
00001a3c: DUP6
00001a3d: SUB
00001a3e: SLT
00001a3f: ISZERO
00001a40: PUSH2 0x1a48
00001a43: JUMPI
00001a44: PUSH1 0x00
00001a46: DUP1
00001a47: REVERT
00001a48: JUMPDEST
00001a49: DUP3
00001a4a: CALLDATALOAD
00001a4b: PUSH2 0x1a53
00001a4e: DUP2
00001a4f: PUSH2 0x18fd
00001a52: JUMP
00001a53: JUMPDEST
00001a54: SWAP5
00001a55: PUSH1 0x20
00001a57: SWAP4
00001a58: SWAP1
00001a59: SWAP4
00001a5a: ADD
00001a5b: CALLDATALOAD
00001a5c: SWAP4
00001a5d: POP
00001a5e: POP
00001a5f: POP
00001a60: JUMP
00001a61: JUMPDEST
00001a62: PUSH1 0x00
00001a64: DUP1
00001a65: PUSH1 0x00
00001a67: PUSH1 0x60
00001a69: DUP5
00001a6a: DUP7
00001a6b: SUB
00001a6c: SLT
00001a6d: ISZERO
00001a6e: PUSH2 0x1a76
00001a71: JUMPI
00001a72: PUSH1 0x00
00001a74: DUP1
00001a75: REVERT
00001a76: JUMPDEST
00001a77: DUP4
00001a78: CALLDATALOAD
00001a79: PUSH2 0x1a81
00001a7c: DUP2
00001a7d: PUSH2 0x18fd
00001a80: JUMP
00001a81: JUMPDEST
00001a82: SWAP3
00001a83: POP
00001a84: PUSH1 0x20
00001a86: DUP5
00001a87: ADD
00001a88: CALLDATALOAD
00001a89: PUSH2 0x1a91
00001a8c: DUP2
00001a8d: PUSH2 0x18fd
00001a90: JUMP
00001a91: JUMPDEST
00001a92: SWAP3
00001a93: SWAP6
00001a94: SWAP3
00001a95: SWAP5
00001a96: POP
00001a97: POP
00001a98: POP
00001a99: PUSH1 0x40
00001a9b: SWAP2
00001a9c: SWAP1
00001a9d: SWAP2
00001a9e: ADD
00001a9f: CALLDATALOAD
00001aa0: SWAP1
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH1 0x00
00001aa5: PUSH1 0x20
00001aa7: DUP3
00001aa8: DUP5
00001aa9: SUB
00001aaa: SLT
00001aab: ISZERO
00001aac: PUSH2 0x1ab4
00001aaf: JUMPI
00001ab0: PUSH1 0x00
00001ab2: DUP1
00001ab3: REVERT
00001ab4: JUMPDEST
00001ab5: DUP2
00001ab6: CALLDATALOAD
00001ab7: PUSH2 0x12ab
00001aba: DUP2
00001abb: PUSH2 0x18fd
00001abe: JUMP
00001abf: JUMPDEST
00001ac0: DUP1
00001ac1: CALLDATALOAD
00001ac2: DUP1
00001ac3: ISZERO
00001ac4: ISZERO
00001ac5: DUP2
00001ac6: EQ
00001ac7: PUSH2 0x191d
00001aca: JUMPI
00001acb: PUSH1 0x00
00001acd: DUP1
00001ace: REVERT
00001acf: JUMPDEST
00001ad0: PUSH1 0x00
00001ad2: PUSH1 0x20
00001ad4: DUP3
00001ad5: DUP5
00001ad6: SUB
00001ad7: SLT
00001ad8: ISZERO
00001ad9: PUSH2 0x1ae1
00001adc: JUMPI
00001add: PUSH1 0x00
00001adf: DUP1
00001ae0: REVERT
00001ae1: JUMPDEST
00001ae2: PUSH2 0x12ab
00001ae5: DUP3
00001ae6: PUSH2 0x1abf
00001ae9: JUMP
00001aea: JUMPDEST
00001aeb: PUSH1 0x00
00001aed: PUSH1 0x20
00001aef: DUP3
00001af0: DUP5
00001af1: SUB
00001af2: SLT
00001af3: ISZERO
00001af4: PUSH2 0x1afc
00001af7: JUMPI
00001af8: PUSH1 0x00
00001afa: DUP1
00001afb: REVERT
00001afc: JUMPDEST
00001afd: POP
00001afe: CALLDATALOAD
00001aff: SWAP2
00001b00: SWAP1
00001b01: POP
00001b02: JUMP
00001b03: JUMPDEST
00001b04: PUSH1 0x00
00001b06: DUP1
00001b07: PUSH1 0x00
00001b09: DUP1
00001b0a: PUSH1 0x80
00001b0c: DUP6
00001b0d: DUP8
00001b0e: SUB
00001b0f: SLT
00001b10: ISZERO
00001b11: PUSH2 0x1b19
00001b14: JUMPI
00001b15: PUSH1 0x00
00001b17: DUP1
00001b18: REVERT
00001b19: JUMPDEST
00001b1a: POP
00001b1b: POP
00001b1c: DUP3
00001b1d: CALLDATALOAD
00001b1e: SWAP5
00001b1f: PUSH1 0x20
00001b21: DUP5
00001b22: ADD
00001b23: CALLDATALOAD
00001b24: SWAP5
00001b25: POP
00001b26: PUSH1 0x40
00001b28: DUP5
00001b29: ADD
00001b2a: CALLDATALOAD
00001b2b: SWAP4
00001b2c: PUSH1 0x60
00001b2e: ADD
00001b2f: CALLDATALOAD
00001b30: SWAP3
00001b31: POP
00001b32: SWAP1
00001b33: POP
00001b34: JUMP
00001b35: JUMPDEST
00001b36: PUSH1 0x00
00001b38: DUP1
00001b39: PUSH1 0x00
00001b3b: PUSH1 0x40
00001b3d: DUP5
00001b3e: DUP7
00001b3f: SUB
00001b40: SLT
00001b41: ISZERO
00001b42: PUSH2 0x1b4a
00001b45: JUMPI
00001b46: PUSH1 0x00
00001b48: DUP1
00001b49: REVERT
00001b4a: JUMPDEST
00001b4b: DUP4
00001b4c: CALLDATALOAD
00001b4d: PUSH8 0xffffffffffffffff
00001b56: DUP1
00001b57: DUP3
00001b58: GT
00001b59: ISZERO
00001b5a: PUSH2 0x1b62
00001b5d: JUMPI
00001b5e: PUSH1 0x00
00001b60: DUP1
00001b61: REVERT
00001b62: JUMPDEST
00001b63: DUP2
00001b64: DUP7
00001b65: ADD
00001b66: SWAP2
00001b67: POP
00001b68: DUP7
00001b69: PUSH1 0x1f
00001b6b: DUP4
00001b6c: ADD
00001b6d: SLT
00001b6e: PUSH2 0x1b76
00001b71: JUMPI
00001b72: PUSH1 0x00
00001b74: DUP1
00001b75: REVERT
00001b76: JUMPDEST
00001b77: DUP2
00001b78: CALLDATALOAD
00001b79: DUP2
00001b7a: DUP2
00001b7b: GT
00001b7c: ISZERO
00001b7d: PUSH2 0x1b85
00001b80: JUMPI
00001b81: PUSH1 0x00
00001b83: DUP1
00001b84: REVERT
00001b85: JUMPDEST
00001b86: DUP8
00001b87: PUSH1 0x20
00001b89: DUP3
00001b8a: PUSH1 0x05
00001b8c: SHL
00001b8d: DUP6
00001b8e: ADD
00001b8f: ADD
00001b90: GT
00001b91: ISZERO
00001b92: PUSH2 0x1b9a
00001b95: JUMPI
00001b96: PUSH1 0x00
00001b98: DUP1
00001b99: REVERT
00001b9a: JUMPDEST
00001b9b: PUSH1 0x20
00001b9d: SWAP3
00001b9e: DUP4
00001b9f: ADD
00001ba0: SWAP6
00001ba1: POP
00001ba2: SWAP4
00001ba3: POP
00001ba4: PUSH2 0x1bb0
00001ba7: SWAP2
00001ba8: DUP7
00001ba9: ADD
00001baa: SWAP1
00001bab: POP
00001bac: PUSH2 0x1abf
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: SWAP1
00001bb2: POP
00001bb3: SWAP3
00001bb4: POP
00001bb5: SWAP3
00001bb6: POP
00001bb7: SWAP3
00001bb8: JUMP
00001bb9: JUMPDEST
00001bba: PUSH1 0x00
00001bbc: DUP1
00001bbd: PUSH1 0x40
00001bbf: DUP4
00001bc0: DUP6
00001bc1: SUB
00001bc2: SLT
00001bc3: ISZERO
00001bc4: PUSH2 0x1bcc
00001bc7: JUMPI
00001bc8: PUSH1 0x00
00001bca: DUP1
00001bcb: REVERT
00001bcc: JUMPDEST
00001bcd: DUP3
00001bce: CALLDATALOAD
00001bcf: PUSH2 0x1bd7
00001bd2: DUP2
00001bd3: PUSH2 0x18fd
00001bd6: JUMP
00001bd7: JUMPDEST
00001bd8: SWAP2
00001bd9: POP
00001bda: PUSH1 0x20
00001bdc: DUP4
00001bdd: ADD
00001bde: CALLDATALOAD
00001bdf: PUSH2 0x1be7
00001be2: DUP2
00001be3: PUSH2 0x18fd
00001be6: JUMP
00001be7: JUMPDEST
00001be8: DUP1
00001be9: SWAP2
00001bea: POP
00001beb: POP
00001bec: SWAP3
00001bed: POP
00001bee: SWAP3
00001bef: SWAP1
00001bf0: POP
00001bf1: JUMP
00001bf2: JUMPDEST
00001bf3: PUSH1 0x20
00001bf5: DUP1
00001bf6: DUP3
00001bf7: MSTORE
00001bf8: DUP2
00001bf9: DUP2
00001bfa: ADD
00001bfb: MSTORE
00001bfc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001c1d: PUSH1 0x40
00001c1f: DUP3
00001c20: ADD
00001c21: MSTORE
00001c22: PUSH1 0x60
00001c24: ADD
00001c25: SWAP1
00001c26: JUMP
00001c27: JUMPDEST
00001c28: PUSH4 0x4e487b71
00001c2d: PUSH1 0xe0
00001c2f: SHL
00001c30: PUSH1 0x00
00001c32: MSTORE
00001c33: PUSH1 0x32
00001c35: PUSH1 0x04
00001c37: MSTORE
00001c38: PUSH1 0x24
00001c3a: PUSH1 0x00
00001c3c: REVERT
00001c3d: JUMPDEST
00001c3e: PUSH4 0x4e487b71
00001c43: PUSH1 0xe0
00001c45: SHL
00001c46: PUSH1 0x00
00001c48: MSTORE
00001c49: PUSH1 0x11
00001c4b: PUSH1 0x04
00001c4d: MSTORE
00001c4e: PUSH1 0x24
00001c50: PUSH1 0x00
00001c52: REVERT
00001c53: JUMPDEST
00001c54: PUSH1 0x00
00001c56: PUSH1 0x01
00001c58: DUP3
00001c59: ADD
00001c5a: PUSH2 0x1c65
00001c5d: JUMPI
00001c5e: PUSH2 0x1c65
00001c61: PUSH2 0x1c3d
00001c64: JUMP
00001c65: JUMPDEST
00001c66: POP
00001c67: PUSH1 0x01
00001c69: ADD
00001c6a: SWAP1
00001c6b: JUMP
00001c6c: JUMPDEST
00001c6d: DUP1
00001c6e: DUP3
00001c6f: ADD
00001c70: DUP1
00001c71: DUP3
00001c72: GT
00001c73: ISZERO
00001c74: PUSH2 0x0678
00001c77: JUMPI
00001c78: PUSH2 0x0678
00001c7b: PUSH2 0x1c3d
00001c7e: JUMP
00001c7f: JUMPDEST
00001c80: DUP2
00001c81: DUP2
00001c82: SUB
00001c83: DUP2
00001c84: DUP2
00001c85: GT
00001c86: ISZERO
00001c87: PUSH2 0x0678
00001c8a: JUMPI
00001c8b: PUSH2 0x0678
00001c8e: PUSH2 0x1c3d
00001c91: JUMP
00001c92: JUMPDEST
00001c93: PUSH1 0x00
00001c95: PUSH1 0x20
00001c97: DUP3
00001c98: DUP5
00001c99: SUB
00001c9a: SLT
00001c9b: ISZERO
00001c9c: PUSH2 0x1ca4
00001c9f: JUMPI
00001ca0: PUSH1 0x00
00001ca2: DUP1
00001ca3: REVERT
00001ca4: JUMPDEST
00001ca5: DUP2
00001ca6: MLOAD
00001ca7: PUSH2 0x12ab
00001caa: DUP2
00001cab: PUSH2 0x18fd
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: PUSH1 0x00
00001cb2: PUSH1 0xa0
00001cb4: DUP3
00001cb5: ADD
00001cb6: DUP8
00001cb7: DUP4
00001cb8: MSTORE
00001cb9: PUSH1 0x20
00001cbb: DUP8
00001cbc: DUP2
00001cbd: DUP6
00001cbe: ADD
00001cbf: MSTORE
00001cc0: PUSH1 0xa0
00001cc2: PUSH1 0x40
00001cc4: DUP6
00001cc5: ADD
00001cc6: MSTORE
00001cc7: DUP2
00001cc8: DUP8
00001cc9: MLOAD
00001cca: DUP1
00001ccb: DUP5
00001ccc: MSTORE
00001ccd: PUSH1 0xc0
00001ccf: DUP7
00001cd0: ADD
00001cd1: SWAP2
00001cd2: POP
00001cd3: DUP3
00001cd4: DUP10
00001cd5: ADD
00001cd6: SWAP4
00001cd7: POP
00001cd8: PUSH1 0x00
00001cda: JUMPDEST
00001cdb: DUP2
00001cdc: DUP2
00001cdd: LT
00001cde: ISZERO
00001cdf: PUSH2 0x1cff
00001ce2: JUMPI
00001ce3: DUP5
00001ce4: MLOAD
00001ce5: PUSH1 0x01
00001ce7: PUSH1 0x01
00001ce9: PUSH1 0xa0
00001ceb: SHL
00001cec: SUB
00001ced: AND
00001cee: DUP4
00001cef: MSTORE
00001cf0: SWAP4
00001cf1: DUP4
00001cf2: ADD
00001cf3: SWAP4
00001cf4: SWAP2
00001cf5: DUP4
00001cf6: ADD
00001cf7: SWAP2
00001cf8: PUSH1 0x01
00001cfa: ADD
00001cfb: PUSH2 0x1cda
00001cfe: JUMP
00001cff: JUMPDEST
00001d00: POP
00001d01: POP
00001d02: PUSH1 0x01
00001d04: PUSH1 0x01
00001d06: PUSH1 0xa0
00001d08: SHL
00001d09: SUB
00001d0a: SWAP7
00001d0b: SWAP1
00001d0c: SWAP7
00001d0d: AND
00001d0e: PUSH1 0x60
00001d10: DUP6
00001d11: ADD
00001d12: MSTORE
00001d13: POP
00001d14: POP
00001d15: POP
00001d16: PUSH1 0x80
00001d18: ADD
00001d19: MSTORE
00001d1a: SWAP4
00001d1b: SWAP3
00001d1c: POP
00001d1d: POP
00001d1e: POP
00001d1f: JUMP
00001d20: JUMPDEST
00001d21: PUSH1 0x00
00001d23: DUP3
00001d24: PUSH2 0x1d3d
00001d27: JUMPI
00001d28: PUSH4 0x4e487b71
00001d2d: PUSH1 0xe0
00001d2f: SHL
00001d30: PUSH1 0x00
00001d32: MSTORE
00001d33: PUSH1 0x12
00001d35: PUSH1 0x04
00001d37: MSTORE
00001d38: PUSH1 0x24
00001d3a: PUSH1 0x00
00001d3c: REVERT
00001d3d: JUMPDEST
00001d3e: POP
00001d3f: DIV
00001d40: SWAP1
00001d41: JUMP
00001d42: JUMPDEST
00001d43: DUP1
00001d44: DUP3
00001d45: MUL
00001d46: DUP2
00001d47: ISZERO
00001d48: DUP3
00001d49: DUP3
00001d4a: DIV
00001d4b: DUP5
00001d4c: EQ
00001d4d: OR
00001d4e: PUSH2 0x0678
00001d51: JUMPI
00001d52: PUSH2 0x0678
00001d55: PUSH2 0x1c3d
00001d58: JUMP
00001d59: INVALID
00001d5a: GASLIMIT
00001d5b: MSTORE
00001d5c: NUMBER
00001d5d: ORIGIN
00001d5e: ADDRESS
00001d5f: GASPRICE
00001d60: KECCAK256
00001d61: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00001d77: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
00001d8c: SWAP8
00001d8d: CODECOPY
00001d8e: UNKNOWN(0xCD)
00001d8f: UNKNOWN(0xBB)
00001d90: PUSH11 0x82f49ce1e4bbdda60feafe
00001d9c: PUSH10 0xd566d663ff1ee35811ba
00001da7: PUSH20

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": "0xc492f046",
            "selector": "0xc492f046",
            "calldata_variants": [
                "0xc492f046",
                "0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea1644d5",
            "selector": "0xea1644d5",
            "calldata_variants": [
                "0xea1644d5",
                "0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa2a957bb",
            "selector": "0xa2a957bb",
            "calldata_variants": [
                "0xa2a957bb",
                "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbfd79284",
            "selector": "0xbfd79284",
            "calldata_variants": [
                "0xbfd79284",
                "0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc3c8cd80",
            "selector": "0xc3c8cd80",
            "calldata_variants": [
                "0xc3c8cd80",
                "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 7517,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xf5f355957226bb63f558d34566828f24393deb3245669a2154f8f857304bdecb
call_targets: 0x87fd591abf2c13c0ab2762eecdc2216a0b1c61df
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf5f355957226bb63f558d34566828f24393deb3245669a2154f8f857304bdecb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x87fd591abf2c13c0ab2762eecdc2216a0b1c61df"
    ],
    "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": "0xc492f046",
            "selector": "0xc492f046",
            "calldata_variants": [
                "0xc492f046",
                "0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea1644d5",
            "selector": "0xea1644d5",
            "calldata_variants": [
                "0xea1644d5",
                "0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa2a957bb",
            "selector": "0xa2a957bb",
            "calldata_variants": [
                "0xa2a957bb",
                "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbfd79284",
            "selector": "0xbfd79284",
            "calldata_variants": [
                "0xbfd79284",
                "0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc3c8cd80",
            "selector": "0xc3c8cd80",
            "calldata_variants": [
                "0xc3c8cd80",
                "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4632,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5126,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 7517,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xf5f355957226bb63f558d34566828f24393deb3245669a2154f8f857304bdecb
call_targets: 0x87fd591abf2c13c0ab2762eecdc2216a0b1c61df
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf5f355957226bb63f558d34566828f24393deb3245669a2154f8f857304bdecb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x87fd591abf2c13c0ab2762eecdc2216a0b1c61df"
    ],
    "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": "0xc492f046",
            "selector": "0xc492f046",
            "calldata_variants": [
                "0xc492f046",
                "0xc492f0460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea1644d5",
            "selector": "0xea1644d5",
            "calldata_variants": [
                "0xea1644d5",
                "0xea1644d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa2a957bb",
            "selector": "0xa2a957bb",
            "calldata_variants": [
                "0xa2a957bb",
                "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbfd79284",
            "selector": "0xbfd79284",
            "calldata_variants": [
                "0xbfd79284",
                "0xbfd792840000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc3c8cd80",
            "selector": "0xc3c8cd80",
            "calldata_variants": [
                "0xc3c8cd80",
                "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4632,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5126,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 7517,
            "type": "tx_origin_used"
        }
    ]
}