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

Analysis Run

019b477e-b82b-71ea-985f-daf52b3882b4

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
Bytecode only
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
23397 artifact.fetch complete 1 / 3 3 months ago
23398 tool.cast_disasm complete 1 / 3 3 months ago
107937 analysis.bundle complete 1 / 3 1 week ago
107938 capability.graph complete 1 / 3 1 week ago
107939 detector.run complete 1 / 3 1 week ago
107940 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
2
Total opcodes
4153
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 0x00dd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6ec0c3a5
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x89b9abcc
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x89b9abcc
0000002f: EQ
00000030: PUSH2 0x04da
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa137f286
0000003a: EQ
0000003b: PUSH2 0x0529
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd4e83a25
00000045: EQ
00000046: PUSH2 0x0554
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd892f7e1
00000050: EQ
00000051: PUSH2 0x055e
00000054: JUMPI
00000055: PUSH2 0x00dd
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x6ec0c3a5
00000060: EQ
00000061: PUSH2 0x0449
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x70ed0ada
0000006b: EQ
0000006c: PUSH2 0x0460
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x79378e30
00000076: EQ
00000077: PUSH2 0x048b
0000007a: JUMPI
0000007b: PUSH2 0x00dd
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x20f5e73a
00000086: GT
00000087: PUSH2 0x00bb
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x20f5e73a
00000091: EQ
00000092: PUSH2 0x029f
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x2d774965
0000009c: EQ
0000009d: PUSH2 0x02a9
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x4a4baa8f
000000a7: EQ
000000a8: PUSH2 0x033a
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x630a0263
000000b2: EQ
000000b3: PUSH2 0x03e0
000000b6: JUMPI
000000b7: PUSH2 0x00dd
000000ba: JUMP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x0d7e4f84
000000c2: EQ
000000c3: PUSH2 0x00e2
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x18e227ee
000000cd: EQ
000000ce: PUSH2 0x015d
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x1c0d42aa
000000d8: EQ
000000d9: PUSH2 0x020e
000000dc: JUMPI
000000dd: JUMPDEST
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: CALLVALUE
000000e4: DUP1
000000e5: ISZERO
000000e6: PUSH2 0x00ee
000000e9: JUMPI
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: POP
000000f0: PUSH2 0x011b
000000f3: PUSH1 0x04
000000f5: DUP1
000000f6: CALLDATASIZE
000000f7: SUB
000000f8: PUSH1 0x20
000000fa: DUP2
000000fb: LT
000000fc: ISZERO
000000fd: PUSH2 0x0105
00000100: JUMPI
00000101: PUSH1 0x00
00000103: DUP1
00000104: REVERT
00000105: JUMPDEST
00000106: DUP2
00000107: ADD
00000108: SWAP1
00000109: DUP1
0000010a: DUP1
0000010b: CALLDATALOAD
0000010c: SWAP1
0000010d: PUSH1 0x20
0000010f: ADD
00000110: SWAP1
00000111: SWAP3
00000112: SWAP2
00000113: SWAP1
00000114: POP
00000115: POP
00000116: POP
00000117: PUSH2 0x05ad
0000011a: JUMP
0000011b: JUMPDEST
0000011c: PUSH1 0x40
0000011e: MLOAD
0000011f: DUP1
00000120: DUP3
00000121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000136: AND
00000137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000014c: AND
0000014d: DUP2
0000014e: MSTORE
0000014f: PUSH1 0x20
00000151: ADD
00000152: SWAP2
00000153: POP
00000154: POP
00000155: PUSH1 0x40
00000157: MLOAD
00000158: DUP1
00000159: SWAP2
0000015a: SUB
0000015b: SWAP1
0000015c: RETURN
0000015d: JUMPDEST
0000015e: CALLVALUE
0000015f: DUP1
00000160: ISZERO
00000161: PUSH2 0x0169
00000164: JUMPI
00000165: PUSH1 0x00
00000167: DUP1
00000168: REVERT
00000169: JUMPDEST
0000016a: POP
0000016b: PUSH2 0x01ac
0000016e: PUSH1 0x04
00000170: DUP1
00000171: CALLDATASIZE
00000172: SUB
00000173: PUSH1 0x20
00000175: DUP2
00000176: LT
00000177: ISZERO
00000178: PUSH2 0x0180
0000017b: JUMPI
0000017c: PUSH1 0x00
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: DUP2
00000182: ADD
00000183: SWAP1
00000184: DUP1
00000185: DUP1
00000186: CALLDATALOAD
00000187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000019c: AND
0000019d: SWAP1
0000019e: PUSH1 0x20
000001a0: ADD
000001a1: SWAP1
000001a2: SWAP3
000001a3: SWAP2
000001a4: SWAP1
000001a5: POP
000001a6: POP
000001a7: POP
000001a8: PUSH2 0x05e0
000001ab: JUMP
000001ac: JUMPDEST
000001ad: PUSH1 0x40
000001af: MLOAD
000001b0: DUP1
000001b1: DUP7
000001b2: ISZERO
000001b3: ISZERO
000001b4: ISZERO
000001b5: ISZERO
000001b6: DUP2
000001b7: MSTORE
000001b8: PUSH1 0x20
000001ba: ADD
000001bb: DUP6
000001bc: DUP2
000001bd: MSTORE
000001be: PUSH1 0x20
000001c0: ADD
000001c1: DUP5
000001c2: DUP2
000001c3: MSTORE
000001c4: PUSH1 0x20
000001c6: ADD
000001c7: DUP4
000001c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001dd: AND
000001de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f3: AND
000001f4: DUP2
000001f5: MSTORE
000001f6: PUSH1 0x20
000001f8: ADD
000001f9: DUP3
000001fa: DUP2
000001fb: MSTORE
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: SWAP6
00000200: POP
00000201: POP
00000202: POP
00000203: POP
00000204: POP
00000205: POP
00000206: PUSH1 0x40
00000208: MLOAD
00000209: DUP1
0000020a: SWAP2
0000020b: SUB
0000020c: SWAP1
0000020d: RETURN
0000020e: JUMPDEST
0000020f: CALLVALUE
00000210: DUP1
00000211: ISZERO
00000212: PUSH2 0x021a
00000215: JUMPI
00000216: PUSH1 0x00
00000218: DUP1
00000219: REVERT
0000021a: JUMPDEST
0000021b: POP
0000021c: PUSH2 0x025d
0000021f: PUSH1 0x04
00000221: DUP1
00000222: CALLDATASIZE
00000223: SUB
00000224: PUSH1 0x20
00000226: DUP2
00000227: LT
00000228: ISZERO
00000229: PUSH2 0x0231
0000022c: JUMPI
0000022d: PUSH1 0x00
0000022f: DUP1
00000230: REVERT
00000231: JUMPDEST
00000232: DUP2
00000233: ADD
00000234: SWAP1
00000235: DUP1
00000236: DUP1
00000237: CALLDATALOAD
00000238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000024d: AND
0000024e: SWAP1
0000024f: PUSH1 0x20
00000251: ADD
00000252: SWAP1
00000253: SWAP3
00000254: SWAP2
00000255: SWAP1
00000256: POP
00000257: POP
00000258: POP
00000259: PUSH2 0x0643
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH1 0x40
00000260: MLOAD
00000261: DUP1
00000262: DUP3
00000263: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000278: AND
00000279: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028e: AND
0000028f: DUP2
00000290: MSTORE
00000291: PUSH1 0x20
00000293: ADD
00000294: SWAP2
00000295: POP
00000296: POP
00000297: PUSH1 0x40
00000299: MLOAD
0000029a: DUP1
0000029b: SWAP2
0000029c: SUB
0000029d: SWAP1
0000029e: RETURN
0000029f: JUMPDEST
000002a0: PUSH2 0x02a7
000002a3: PUSH2 0x100b
000002a6: JUMP
000002a7: JUMPDEST
000002a8: STOP
000002a9: JUMPDEST
000002aa: CALLVALUE
000002ab: DUP1
000002ac: ISZERO
000002ad: PUSH2 0x02b5
000002b0: JUMPI
000002b1: PUSH1 0x00
000002b3: DUP1
000002b4: REVERT
000002b5: JUMPDEST
000002b6: POP
000002b7: PUSH2 0x02f8
000002ba: PUSH1 0x04
000002bc: DUP1
000002bd: CALLDATASIZE
000002be: SUB
000002bf: PUSH1 0x20
000002c1: DUP2
000002c2: LT
000002c3: ISZERO
000002c4: PUSH2 0x02cc
000002c7: JUMPI
000002c8: PUSH1 0x00
000002ca: DUP1
000002cb: REVERT
000002cc: JUMPDEST
000002cd: DUP2
000002ce: ADD
000002cf: SWAP1
000002d0: DUP1
000002d1: DUP1
000002d2: CALLDATALOAD
000002d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e8: AND
000002e9: SWAP1
000002ea: PUSH1 0x20
000002ec: ADD
000002ed: SWAP1
000002ee: SWAP3
000002ef: SWAP2
000002f0: SWAP1
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: PUSH2 0x104c
000002f7: JUMP
000002f8: JUMPDEST
000002f9: PUSH1 0x40
000002fb: MLOAD
000002fc: DUP1
000002fd: DUP3
000002fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000313: AND
00000314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000329: AND
0000032a: DUP2
0000032b: MSTORE
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: SWAP2
00000330: POP
00000331: POP
00000332: PUSH1 0x40
00000334: MLOAD
00000335: DUP1
00000336: SWAP2
00000337: SUB
00000338: SWAP1
00000339: RETURN
0000033a: JUMPDEST
0000033b: CALLVALUE
0000033c: DUP1
0000033d: ISZERO
0000033e: PUSH2 0x0346
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: REVERT
00000346: JUMPDEST
00000347: POP
00000348: PUSH2 0x0389
0000034b: PUSH1 0x04
0000034d: DUP1
0000034e: CALLDATASIZE
0000034f: SUB
00000350: PUSH1 0x20
00000352: DUP2
00000353: LT
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: DUP2
0000035f: ADD
00000360: SWAP1
00000361: DUP1
00000362: DUP1
00000363: CALLDATALOAD
00000364: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000379: AND
0000037a: SWAP1
0000037b: PUSH1 0x20
0000037d: ADD
0000037e: SWAP1
0000037f: SWAP3
00000380: SWAP2
00000381: SWAP1
00000382: POP
00000383: POP
00000384: POP
00000385: PUSH2 0x10b8
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH1 0x40
0000038c: MLOAD
0000038d: DUP1
0000038e: DUP1
0000038f: PUSH1 0x20
00000391: ADD
00000392: DUP3
00000393: DUP2
00000394: SUB
00000395: DUP3
00000396: MSTORE
00000397: DUP4
00000398: DUP2
00000399: DUP2
0000039a: MLOAD
0000039b: DUP2
0000039c: MSTORE
0000039d: PUSH1 0x20
0000039f: ADD
000003a0: SWAP2
000003a1: POP
000003a2: DUP1
000003a3: MLOAD
000003a4: SWAP1
000003a5: PUSH1 0x20
000003a7: ADD
000003a8: SWAP1
000003a9: PUSH1 0x20
000003ab: MUL
000003ac: DUP1
000003ad: DUP4
000003ae: DUP4
000003af: PUSH1 0x00
000003b1: JUMPDEST
000003b2: DUP4
000003b3: DUP2
000003b4: LT
000003b5: ISZERO
000003b6: PUSH2 0x03cc
000003b9: JUMPI
000003ba: DUP1
000003bb: DUP3
000003bc: ADD
000003bd: MLOAD
000003be: DUP2
000003bf: DUP5
000003c0: ADD
000003c1: MSTORE
000003c2: PUSH1 0x20
000003c4: DUP2
000003c5: ADD
000003c6: SWAP1
000003c7: POP
000003c8: PUSH2 0x03b1
000003cb: JUMP
000003cc: JUMPDEST
000003cd: POP
000003ce: POP
000003cf: POP
000003d0: POP
000003d1: SWAP1
000003d2: POP
000003d3: ADD
000003d4: SWAP3
000003d5: POP
000003d6: POP
000003d7: POP
000003d8: PUSH1 0x40
000003da: MLOAD
000003db: DUP1
000003dc: SWAP2
000003dd: SUB
000003de: SWAP1
000003df: RETURN
000003e0: JUMPDEST
000003e1: CALLVALUE
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x03ec
000003e7: JUMPI
000003e8: PUSH1 0x00
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: POP
000003ee: PUSH2 0x042f
000003f1: PUSH1 0x04
000003f3: DUP1
000003f4: CALLDATASIZE
000003f5: SUB
000003f6: PUSH1 0x20
000003f8: DUP2
000003f9: LT
000003fa: ISZERO
000003fb: PUSH2 0x0403
000003fe: JUMPI
000003ff: PUSH1 0x00
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: DUP2
00000405: ADD
00000406: SWAP1
00000407: DUP1
00000408: DUP1
00000409: CALLDATALOAD
0000040a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000041f: AND
00000420: SWAP1
00000421: PUSH1 0x20
00000423: ADD
00000424: SWAP1
00000425: SWAP3
00000426: SWAP2
00000427: SWAP1
00000428: POP
00000429: POP
0000042a: POP
0000042b: PUSH2 0x1188
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH1 0x40
00000432: MLOAD
00000433: DUP1
00000434: DUP3
00000435: ISZERO
00000436: ISZERO
00000437: ISZERO
00000438: ISZERO
00000439: DUP2
0000043a: MSTORE
0000043b: PUSH1 0x20
0000043d: ADD
0000043e: SWAP2
0000043f: POP
00000440: POP
00000441: PUSH1 0x40
00000443: MLOAD
00000444: DUP1
00000445: SWAP2
00000446: SUB
00000447: SWAP1
00000448: RETURN
00000449: JUMPDEST
0000044a: CALLVALUE
0000044b: DUP1
0000044c: ISZERO
0000044d: PUSH2 0x0455
00000450: JUMPI
00000451: PUSH1 0x00
00000453: DUP1
00000454: REVERT
00000455: JUMPDEST
00000456: POP
00000457: PUSH2 0x045e
0000045a: PUSH2 0x11e1
0000045d: JUMP
0000045e: JUMPDEST
0000045f: STOP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x0475
00000471: PUSH2 0x136d
00000474: JUMP
00000475: JUMPDEST
00000476: PUSH1 0x40
00000478: MLOAD
00000479: DUP1
0000047a: DUP3
0000047b: DUP2
0000047c: MSTORE
0000047d: PUSH1 0x20
0000047f: ADD
00000480: SWAP2
00000481: POP
00000482: POP
00000483: PUSH1 0x40
00000485: MLOAD
00000486: DUP1
00000487: SWAP2
00000488: SUB
00000489: SWAP1
0000048a: RETURN
0000048b: JUMPDEST
0000048c: CALLVALUE
0000048d: DUP1
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: POP
00000499: PUSH2 0x04c4
0000049c: PUSH1 0x04
0000049e: DUP1
0000049f: CALLDATASIZE
000004a0: SUB
000004a1: PUSH1 0x20
000004a3: DUP2
000004a4: LT
000004a5: ISZERO
000004a6: PUSH2 0x04ae
000004a9: JUMPI
000004aa: PUSH1 0x00
000004ac: DUP1
000004ad: REVERT
000004ae: JUMPDEST
000004af: DUP2
000004b0: ADD
000004b1: SWAP1
000004b2: DUP1
000004b3: DUP1
000004b4: CALLDATALOAD
000004b5: SWAP1
000004b6: PUSH1 0x20
000004b8: ADD
000004b9: SWAP1
000004ba: SWAP3
000004bb: SWAP2
000004bc: SWAP1
000004bd: POP
000004be: POP
000004bf: POP
000004c0: PUSH2 0x138c
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: DUP1
000004c9: DUP3
000004ca: DUP2
000004cb: MSTORE
000004cc: PUSH1 0x20
000004ce: ADD
000004cf: SWAP2
000004d0: POP
000004d1: POP
000004d2: PUSH1 0x40
000004d4: MLOAD
000004d5: DUP1
000004d6: SWAP2
000004d7: SUB
000004d8: SWAP1
000004d9: RETURN
000004da: JUMPDEST
000004db: CALLVALUE
000004dc: DUP1
000004dd: ISZERO
000004de: PUSH2 0x04e6
000004e1: JUMPI
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: POP
000004e8: PUSH2 0x0513
000004eb: PUSH1 0x04
000004ed: DUP1
000004ee: CALLDATASIZE
000004ef: SUB
000004f0: PUSH1 0x20
000004f2: DUP2
000004f3: LT
000004f4: ISZERO
000004f5: PUSH2 0x04fd
000004f8: JUMPI
000004f9: PUSH1 0x00
000004fb: DUP1
000004fc: REVERT
000004fd: JUMPDEST
000004fe: DUP2
000004ff: ADD
00000500: SWAP1
00000501: DUP1
00000502: DUP1
00000503: CALLDATALOAD
00000504: SWAP1
00000505: PUSH1 0x20
00000507: ADD
00000508: SWAP1
00000509: SWAP3
0000050a: SWAP2
0000050b: SWAP1
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: PUSH2 0x13a4
00000512: JUMP
00000513: JUMPDEST
00000514: PUSH1 0x40
00000516: MLOAD
00000517: DUP1
00000518: DUP3
00000519: DUP2
0000051a: MSTORE
0000051b: PUSH1 0x20
0000051d: ADD
0000051e: SWAP2
0000051f: POP
00000520: POP
00000521: PUSH1 0x40
00000523: MLOAD
00000524: DUP1
00000525: SWAP2
00000526: SUB
00000527: SWAP1
00000528: RETURN
00000529: JUMPDEST
0000052a: CALLVALUE
0000052b: DUP1
0000052c: ISZERO
0000052d: PUSH2 0x0535
00000530: JUMPI
00000531: PUSH1 0x00
00000533: DUP1
00000534: REVERT
00000535: JUMPDEST
00000536: POP
00000537: PUSH2 0x053e
0000053a: PUSH2 0x13bc
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH1 0x40
00000541: MLOAD
00000542: DUP1
00000543: DUP3
00000544: DUP2
00000545: MSTORE
00000546: PUSH1 0x20
00000548: ADD
00000549: SWAP2
0000054a: POP
0000054b: POP
0000054c: PUSH1 0x40
0000054e: MLOAD
0000054f: DUP1
00000550: SWAP2
00000551: SUB
00000552: SWAP1
00000553: RETURN
00000554: JUMPDEST
00000555: PUSH2 0x055c
00000558: PUSH2 0x13c2
0000055b: JUMP
0000055c: JUMPDEST
0000055d: STOP
0000055e: JUMPDEST
0000055f: CALLVALUE
00000560: DUP1
00000561: ISZERO
00000562: PUSH2 0x056a
00000565: JUMPI
00000566: PUSH1 0x00
00000568: DUP1
00000569: REVERT
0000056a: JUMPDEST
0000056b: POP
0000056c: PUSH2 0x0597
0000056f: PUSH1 0x04
00000571: DUP1
00000572: CALLDATASIZE
00000573: SUB
00000574: PUSH1 0x20
00000576: DUP2
00000577: LT
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: DUP2
00000583: ADD
00000584: SWAP1
00000585: DUP1
00000586: DUP1
00000587: CALLDATALOAD
00000588: SWAP1
00000589: PUSH1 0x20
0000058b: ADD
0000058c: SWAP1
0000058d: SWAP3
0000058e: SWAP2
0000058f: SWAP1
00000590: POP
00000591: POP
00000592: POP
00000593: PUSH2 0x1e6b
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH1 0x40
0000059a: MLOAD
0000059b: DUP1
0000059c: DUP3
0000059d: DUP2
0000059e: MSTORE
0000059f: PUSH1 0x20
000005a1: ADD
000005a2: SWAP2
000005a3: POP
000005a4: POP
000005a5: PUSH1 0x40
000005a7: MLOAD
000005a8: DUP1
000005a9: SWAP2
000005aa: SUB
000005ab: SWAP1
000005ac: RETURN
000005ad: JUMPDEST
000005ae: PUSH1 0x07
000005b0: PUSH1 0x20
000005b2: MSTORE
000005b3: DUP1
000005b4: PUSH1 0x00
000005b6: MSTORE
000005b7: PUSH1 0x40
000005b9: PUSH1 0x00
000005bb: KECCAK256
000005bc: PUSH1 0x00
000005be: SWAP2
000005bf: POP
000005c0: SLOAD
000005c1: SWAP1
000005c2: PUSH2 0x0100
000005c5: EXP
000005c6: SWAP1
000005c7: DIV
000005c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005dd: AND
000005de: DUP2
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH1 0x06
000005e3: PUSH1 0x20
000005e5: MSTORE
000005e6: DUP1
000005e7: PUSH1 0x00
000005e9: MSTORE
000005ea: PUSH1 0x40
000005ec: PUSH1 0x00
000005ee: KECCAK256
000005ef: PUSH1 0x00
000005f1: SWAP2
000005f2: POP
000005f3: SWAP1
000005f4: POP
000005f5: DUP1
000005f6: PUSH1 0x00
000005f8: ADD
000005f9: PUSH1 0x00
000005fb: SWAP1
000005fc: SLOAD
000005fd: SWAP1
000005fe: PUSH2 0x0100
00000601: EXP
00000602: SWAP1
00000603: DIV
00000604: PUSH1 0xff
00000606: AND
00000607: SWAP1
00000608: DUP1
00000609: PUSH1 0x01
0000060b: ADD
0000060c: SLOAD
0000060d: SWAP1
0000060e: DUP1
0000060f: PUSH1 0x02
00000611: ADD
00000612: SLOAD
00000613: SWAP1
00000614: DUP1
00000615: PUSH1 0x04
00000617: ADD
00000618: PUSH1 0x00
0000061a: SWAP1
0000061b: SLOAD
0000061c: SWAP1
0000061d: PUSH2 0x0100
00000620: EXP
00000621: SWAP1
00000622: DIV
00000623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000638: AND
00000639: SWAP1
0000063a: DUP1
0000063b: PUSH1 0x05
0000063d: ADD
0000063e: SLOAD
0000063f: SWAP1
00000640: POP
00000641: DUP6
00000642: JUMP
00000643: JUMPDEST
00000644: PUSH1 0x00
00000646: PUSH1 0x02
00000648: SLOAD
00000649: PUSH1 0x06
0000064b: PUSH1 0x00
0000064d: DUP5
0000064e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000663: AND
00000664: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000679: AND
0000067a: DUP2
0000067b: MSTORE
0000067c: PUSH1 0x20
0000067e: ADD
0000067f: SWAP1
00000680: DUP2
00000681: MSTORE
00000682: PUSH1 0x20
00000684: ADD
00000685: PUSH1 0x00
00000687: KECCAK256
00000688: PUSH1 0x03
0000068a: ADD
0000068b: DUP1
0000068c: SLOAD
0000068d: SWAP1
0000068e: POP
0000068f: LT
00000690: ISZERO
00000691: PUSH2 0x069c
00000694: JUMPI
00000695: DUP2
00000696: SWAP1
00000697: POP
00000698: PUSH2 0x1006
0000069b: JUMP
0000069c: JUMPDEST
0000069d: PUSH1 0x60
0000069f: PUSH2 0x013b
000006a2: PUSH1 0x40
000006a4: MLOAD
000006a5: SWAP1
000006a6: DUP1
000006a7: DUP3
000006a8: MSTORE
000006a9: DUP1
000006aa: PUSH1 0x20
000006ac: MUL
000006ad: PUSH1 0x20
000006af: ADD
000006b0: DUP3
000006b1: ADD
000006b2: PUSH1 0x40
000006b4: MSTORE
000006b5: DUP1
000006b6: ISZERO
000006b7: PUSH2 0x06cf
000006ba: JUMPI
000006bb: DUP2
000006bc: PUSH1 0x20
000006be: ADD
000006bf: PUSH1 0x20
000006c1: DUP3
000006c2: MUL
000006c3: DUP1
000006c4: CODESIZE
000006c5: DUP4
000006c6: CODECOPY
000006c7: DUP1
000006c8: DUP3
000006c9: ADD
000006ca: SWAP2
000006cb: POP
000006cc: POP
000006cd: SWAP1
000006ce: POP
000006cf: JUMPDEST
000006d0: POP
000006d1: SWAP1
000006d2: POP
000006d3: PUSH1 0x06
000006d5: PUSH1 0x00
000006d7: DUP5
000006d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ed: AND
000006ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000703: AND
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x20
00000708: ADD
00000709: SWAP1
0000070a: DUP2
0000070b: MSTORE
0000070c: PUSH1 0x20
0000070e: ADD
0000070f: PUSH1 0x00
00000711: KECCAK256
00000712: PUSH1 0x03
00000714: ADD
00000715: PUSH1 0x00
00000717: DUP2
00000718: SLOAD
00000719: DUP2
0000071a: LT
0000071b: PUSH2 0x0720
0000071e: JUMPI
0000071f: INVALID
00000720: JUMPDEST
00000721: SWAP1
00000722: PUSH1 0x00
00000724: MSTORE
00000725: PUSH1 0x20
00000727: PUSH1 0x00
00000729: KECCAK256
0000072a: ADD
0000072b: PUSH1 0x00
0000072d: SWAP1
0000072e: SLOAD
0000072f: SWAP1
00000730: PUSH2 0x0100
00000733: EXP
00000734: SWAP1
00000735: DIV
00000736: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000074b: AND
0000074c: DUP2
0000074d: PUSH1 0x00
0000074f: DUP2
00000750: MLOAD
00000751: DUP2
00000752: LT
00000753: PUSH2 0x0758
00000756: JUMPI
00000757: INVALID
00000758: JUMPDEST
00000759: PUSH1 0x20
0000075b: MUL
0000075c: PUSH1 0x20
0000075e: ADD
0000075f: ADD
00000760: SWAP1
00000761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000776: AND
00000777: SWAP1
00000778: DUP2
00000779: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078e: AND
0000078f: DUP2
00000790: MSTORE
00000791: POP
00000792: POP
00000793: PUSH1 0x06
00000795: PUSH1 0x00
00000797: DUP5
00000798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ad: AND
000007ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c3: AND
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x20
000007c8: ADD
000007c9: SWAP1
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: ADD
000007cf: PUSH1 0x00
000007d1: KECCAK256
000007d2: PUSH1 0x03
000007d4: ADD
000007d5: PUSH1 0x01
000007d7: DUP2
000007d8: SLOAD
000007d9: DUP2
000007da: LT
000007db: PUSH2 0x07e0
000007de: JUMPI
000007df: INVALID
000007e0: JUMPDEST
000007e1: SWAP1
000007e2: PUSH1 0x00
000007e4: MSTORE
000007e5: PUSH1 0x20
000007e7: PUSH1 0x00
000007e9: KECCAK256
000007ea: ADD
000007eb: PUSH1 0x00
000007ed: SWAP1
000007ee: SLOAD
000007ef: SWAP1
000007f0: PUSH2 0x0100
000007f3: EXP
000007f4: SWAP1
000007f5: DIV
000007f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080b: AND
0000080c: DUP2
0000080d: PUSH1 0x01
0000080f: DUP2
00000810: MLOAD
00000811: DUP2
00000812: LT
00000813: PUSH2 0x0818
00000816: JUMPI
00000817: INVALID
00000818: JUMPDEST
00000819: PUSH1 0x20
0000081b: MUL
0000081c: PUSH1 0x20
0000081e: ADD
0000081f: ADD
00000820: SWAP1
00000821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000836: AND
00000837: SWAP1
00000838: DUP2
00000839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084e: AND
0000084f: DUP2
00000850: MSTORE
00000851: POP
00000852: POP
00000853: PUSH1 0x06
00000855: PUSH1 0x00
00000857: DUP5
00000858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000086d: AND
0000086e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000883: AND
00000884: DUP2
00000885: MSTORE
00000886: PUSH1 0x20
00000888: ADD
00000889: SWAP1
0000088a: DUP2
0000088b: MSTORE
0000088c: PUSH1 0x20
0000088e: ADD
0000088f: PUSH1 0x00
00000891: KECCAK256
00000892: PUSH1 0x03
00000894: ADD
00000895: PUSH1 0x02
00000897: DUP2
00000898: SLOAD
00000899: DUP2
0000089a: LT
0000089b: PUSH2 0x08a0
0000089e: JUMPI
0000089f: INVALID
000008a0: JUMPDEST
000008a1: SWAP1
000008a2: PUSH1 0x00
000008a4: MSTORE
000008a5: PUSH1 0x20
000008a7: PUSH1 0x00
000008a9: KECCAK256
000008aa: ADD
000008ab: PUSH1 0x00
000008ad: SWAP1
000008ae: SLOAD
000008af: SWAP1
000008b0: PUSH2 0x0100
000008b3: EXP
000008b4: SWAP1
000008b5: DIV
000008b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cb: AND
000008cc: DUP2
000008cd: PUSH1 0x02
000008cf: DUP2
000008d0: MLOAD
000008d1: DUP2
000008d2: LT
000008d3: PUSH2 0x08d8
000008d6: JUMPI
000008d7: INVALID
000008d8: JUMPDEST
000008d9: PUSH1 0x20
000008db: MUL
000008dc: PUSH1 0x20
000008de: ADD
000008df: ADD
000008e0: SWAP1
000008e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f6: AND
000008f7: SWAP1
000008f8: DUP2
000008f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090e: AND
0000090f: DUP2
00000910: MSTORE
00000911: POP
00000912: POP
00000913: PUSH1 0x06
00000915: PUSH1 0x00
00000917: DUP5
00000918: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000092d: AND
0000092e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000943: AND
00000944: DUP2
00000945: MSTORE
00000946: PUSH1 0x20
00000948: ADD
00000949: SWAP1
0000094a: DUP2
0000094b: MSTORE
0000094c: PUSH1 0x20
0000094e: ADD
0000094f: PUSH1 0x00
00000951: KECCAK256
00000952: PUSH1 0x03
00000954: ADD
00000955: PUSH1 0x03
00000957: DUP2
00000958: SLOAD
00000959: DUP2
0000095a: LT
0000095b: PUSH2 0x0960
0000095e: JUMPI
0000095f: INVALID
00000960: JUMPDEST
00000961: SWAP1
00000962: PUSH1 0x00
00000964: MSTORE
00000965: PUSH1 0x20
00000967: PUSH1 0x00
00000969: KECCAK256
0000096a: ADD
0000096b: PUSH1 0x00
0000096d: SWAP1
0000096e: SLOAD
0000096f: SWAP1
00000970: PUSH2 0x0100
00000973: EXP
00000974: SWAP1
00000975: DIV
00000976: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098b: AND
0000098c: DUP2
0000098d: PUSH1 0x03
0000098f: DUP2
00000990: MLOAD
00000991: DUP2
00000992: LT
00000993: PUSH2 0x0998
00000996: JUMPI
00000997: INVALID
00000998: JUMPDEST
00000999: PUSH1 0x20
0000099b: MUL
0000099c: PUSH1 0x20
0000099e: ADD
0000099f: ADD
000009a0: SWAP1
000009a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b6: AND
000009b7: SWAP1
000009b8: DUP2
000009b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ce: AND
000009cf: DUP2
000009d0: MSTORE
000009d1: POP
000009d2: POP
000009d3: PUSH1 0x06
000009d5: PUSH1 0x00
000009d7: DUP5
000009d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ed: AND
000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a03: AND
00000a04: DUP2
00000a05: MSTORE
00000a06: PUSH1 0x20
00000a08: ADD
00000a09: SWAP1
00000a0a: DUP2
00000a0b: MSTORE
00000a0c: PUSH1 0x20
00000a0e: ADD
00000a0f: PUSH1 0x00
00000a11: KECCAK256
00000a12: PUSH1 0x03
00000a14: ADD
00000a15: PUSH1 0x04
00000a17: DUP2
00000a18: SLOAD
00000a19: DUP2
00000a1a: LT
00000a1b: PUSH2 0x0a20
00000a1e: JUMPI
00000a1f: INVALID
00000a20: JUMPDEST
00000a21: SWAP1
00000a22: PUSH1 0x00
00000a24: MSTORE
00000a25: PUSH1 0x20
00000a27: PUSH1 0x00
00000a29: KECCAK256
00000a2a: ADD
00000a2b: PUSH1 0x00
00000a2d: SWAP1
00000a2e: SLOAD
00000a2f: SWAP1
00000a30: PUSH2 0x0100
00000a33: EXP
00000a34: SWAP1
00000a35: DIV
00000a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4b: AND
00000a4c: DUP2
00000a4d: PUSH1 0x04
00000a4f: DUP2
00000a50: MLOAD
00000a51: DUP2
00000a52: LT
00000a53: PUSH2 0x0a58
00000a56: JUMPI
00000a57: INVALID
00000a58: JUMPDEST
00000a59: PUSH1 0x20
00000a5b: MUL
00000a5c: PUSH1 0x20
00000a5e: ADD
00000a5f: ADD
00000a60: SWAP1
00000a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a76: AND
00000a77: SWAP1
00000a78: DUP2
00000a79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8e: AND
00000a8f: DUP2
00000a90: MSTORE
00000a91: POP
00000a92: POP
00000a93: PUSH1 0x00
00000a95: DUP1
00000a96: PUSH1 0x01
00000a98: SWAP1
00000a99: POP
00000a9a: PUSH1 0x00
00000a9c: DUP1
00000a9d: SWAP1
00000a9e: POP
00000a9f: JUMPDEST
00000aa0: PUSH2 0x013b
00000aa3: DUP2
00000aa4: LT
00000aa5: ISZERO
00000aa6: PUSH2 0x0f8a
00000aa9: JUMPI
00000aaa: PUSH1 0x02
00000aac: SLOAD
00000aad: PUSH1 0x06
00000aaf: PUSH1 0x00
00000ab1: DUP7
00000ab2: DUP5
00000ab3: DUP2
00000ab4: MLOAD
00000ab5: DUP2
00000ab6: LT
00000ab7: PUSH2 0x0abc
00000aba: JUMPI
00000abb: INVALID
00000abc: JUMPDEST
00000abd: PUSH1 0x20
00000abf: MUL
00000ac0: PUSH1 0x20
00000ac2: ADD
00000ac3: ADD
00000ac4: MLOAD
00000ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ada: AND
00000adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af0: AND
00000af1: DUP2
00000af2: MSTORE
00000af3: PUSH1 0x20
00000af5: ADD
00000af6: SWAP1
00000af7: DUP2
00000af8: MSTORE
00000af9: PUSH1 0x20
00000afb: ADD
00000afc: PUSH1 0x00
00000afe: KECCAK256
00000aff: PUSH1 0x03
00000b01: ADD
00000b02: DUP1
00000b03: SLOAD
00000b04: SWAP1
00000b05: POP
00000b06: EQ
00000b07: ISZERO
00000b08: PUSH2 0x0f5e
00000b0b: JUMPI
00000b0c: PUSH1 0x3e
00000b0e: DUP2
00000b0f: LT
00000b10: ISZERO
00000b11: PUSH2 0x0f59
00000b14: JUMPI
00000b15: PUSH1 0x06
00000b17: PUSH1 0x00
00000b19: DUP6
00000b1a: DUP4
00000b1b: DUP2
00000b1c: MLOAD
00000b1d: DUP2
00000b1e: LT
00000b1f: PUSH2 0x0b24
00000b22: JUMPI
00000b23: INVALID
00000b24: JUMPDEST
00000b25: PUSH1 0x20
00000b27: MUL
00000b28: PUSH1 0x20
00000b2a: ADD
00000b2b: ADD
00000b2c: MLOAD
00000b2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b42: AND
00000b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b58: AND
00000b59: DUP2
00000b5a: MSTORE
00000b5b: PUSH1 0x20
00000b5d: ADD
00000b5e: SWAP1
00000b5f: DUP2
00000b60: MSTORE
00000b61: PUSH1 0x20
00000b63: ADD
00000b64: PUSH1 0x00
00000b66: KECCAK256
00000b67: PUSH1 0x03
00000b69: ADD
00000b6a: PUSH1 0x00
00000b6c: DUP2
00000b6d: SLOAD
00000b6e: DUP2
00000b6f: LT
00000b70: PUSH2 0x0b75
00000b73: JUMPI
00000b74: INVALID
00000b75: JUMPDEST
00000b76: SWAP1
00000b77: PUSH1 0x00
00000b79: MSTORE
00000b7a: PUSH1 0x20
00000b7c: PUSH1 0x00
00000b7e: KECCAK256
00000b7f: ADD
00000b80: PUSH1 0x00
00000b82: SWAP1
00000b83: SLOAD
00000b84: SWAP1
00000b85: PUSH2 0x0100
00000b88: EXP
00000b89: SWAP1
00000b8a: DIV
00000b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba0: AND
00000ba1: DUP5
00000ba2: PUSH1 0x05
00000ba4: PUSH1 0x01
00000ba6: DUP5
00000ba7: ADD
00000ba8: MUL
00000ba9: DUP2
00000baa: MLOAD
00000bab: DUP2
00000bac: LT
00000bad: PUSH2 0x0bb2
00000bb0: JUMPI
00000bb1: INVALID
00000bb2: JUMPDEST
00000bb3: PUSH1 0x20
00000bb5: MUL
00000bb6: PUSH1 0x20
00000bb8: ADD
00000bb9: ADD
00000bba: SWAP1
00000bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd0: AND
00000bd1: SWAP1
00000bd2: DUP2
00000bd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be8: AND
00000be9: DUP2
00000bea: MSTORE
00000beb: POP
00000bec: POP
00000bed: PUSH1 0x06
00000bef: PUSH1 0x00
00000bf1: DUP6
00000bf2: DUP4
00000bf3: DUP2
00000bf4: MLOAD
00000bf5: DUP2
00000bf6: LT
00000bf7: PUSH2 0x0bfc
00000bfa: JUMPI
00000bfb: INVALID
00000bfc: JUMPDEST
00000bfd: PUSH1 0x20
00000bff: MUL
00000c00: PUSH1 0x20
00000c02: ADD
00000c03: ADD
00000c04: MLOAD
00000c05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1a: AND
00000c1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c30: AND
00000c31: DUP2
00000c32: MSTORE
00000c33: PUSH1 0x20
00000c35: ADD
00000c36: SWAP1
00000c37: DUP2
00000c38: MSTORE
00000c39: PUSH1 0x20
00000c3b: ADD
00000c3c: PUSH1 0x00
00000c3e: KECCAK256
00000c3f: PUSH1 0x03
00000c41: ADD
00000c42: PUSH1 0x01
00000c44: DUP2
00000c45: SLOAD
00000c46: DUP2
00000c47: LT
00000c48: PUSH2 0x0c4d
00000c4b: JUMPI
00000c4c: INVALID
00000c4d: JUMPDEST
00000c4e: SWAP1
00000c4f: PUSH1 0x00
00000c51: MSTORE
00000c52: PUSH1 0x20
00000c54: PUSH1 0x00
00000c56: KECCAK256
00000c57: ADD
00000c58: PUSH1 0x00
00000c5a: SWAP1
00000c5b: SLOAD
00000c5c: SWAP1
00000c5d: PUSH2 0x0100
00000c60: EXP
00000c61: SWAP1
00000c62: DIV
00000c63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c78: AND
00000c79: DUP5
00000c7a: PUSH1 0x01
00000c7c: PUSH1 0x05
00000c7e: PUSH1 0x01
00000c80: DUP6
00000c81: ADD
00000c82: MUL
00000c83: ADD
00000c84: DUP2
00000c85: MLOAD
00000c86: DUP2
00000c87: LT
00000c88: PUSH2 0x0c8d
00000c8b: JUMPI
00000c8c: INVALID
00000c8d: JUMPDEST
00000c8e: PUSH1 0x20
00000c90: MUL
00000c91: PUSH1 0x20
00000c93: ADD
00000c94: ADD
00000c95: SWAP1
00000c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cab: AND
00000cac: SWAP1
00000cad: DUP2
00000cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc3: AND
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: POP
00000cc7: POP
00000cc8: PUSH1 0x06
00000cca: PUSH1 0x00
00000ccc: DUP6
00000ccd: DUP4
00000cce: DUP2
00000ccf: MLOAD
00000cd0: DUP2
00000cd1: LT
00000cd2: PUSH2 0x0cd7
00000cd5: JUMPI
00000cd6: INVALID
00000cd7: JUMPDEST
00000cd8: PUSH1 0x20
00000cda: MUL
00000cdb: PUSH1 0x20
00000cdd: ADD
00000cde: ADD
00000cdf: MLOAD
00000ce0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf5: AND
00000cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d0b: AND
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x20
00000d10: ADD
00000d11: SWAP1
00000d12: DUP2
00000d13: MSTORE
00000d14: PUSH1 0x20
00000d16: ADD
00000d17: PUSH1 0x00
00000d19: KECCAK256
00000d1a: PUSH1 0x03
00000d1c: ADD
00000d1d: PUSH1 0x02
00000d1f: DUP2
00000d20: SLOAD
00000d21: DUP2
00000d22: LT
00000d23: PUSH2 0x0d28
00000d26: JUMPI
00000d27: INVALID
00000d28: JUMPDEST
00000d29: SWAP1
00000d2a: PUSH1 0x00
00000d2c: MSTORE
00000d2d: PUSH1 0x20
00000d2f: PUSH1 0x00
00000d31: KECCAK256
00000d32: ADD
00000d33: PUSH1 0x00
00000d35: SWAP1
00000d36: SLOAD
00000d37: SWAP1
00000d38: PUSH2 0x0100
00000d3b: EXP
00000d3c: SWAP1
00000d3d: DIV
00000d3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d53: AND
00000d54: DUP5
00000d55: PUSH1 0x02
00000d57: PUSH1 0x05
00000d59: PUSH1 0x01
00000d5b: DUP6
00000d5c: ADD
00000d5d: MUL
00000d5e: ADD
00000d5f: DUP2
00000d60: MLOAD
00000d61: DUP2
00000d62: LT
00000d63: PUSH2 0x0d68
00000d66: JUMPI
00000d67: INVALID
00000d68: JUMPDEST
00000d69: PUSH1 0x20
00000d6b: MUL
00000d6c: PUSH1 0x20
00000d6e: ADD
00000d6f: ADD
00000d70: SWAP1
00000d71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d86: AND
00000d87: SWAP1
00000d88: DUP2
00000d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9e: AND
00000d9f: DUP2
00000da0: MSTORE
00000da1: POP
00000da2: POP
00000da3: PUSH1 0x06
00000da5: PUSH1 0x00
00000da7: DUP6
00000da8: DUP4
00000da9: DUP2
00000daa: MLOAD
00000dab: DUP2
00000dac: LT
00000dad: PUSH2 0x0db2
00000db0: JUMPI
00000db1: INVALID
00000db2: JUMPDEST
00000db3: PUSH1 0x20
00000db5: MUL
00000db6: PUSH1 0x20
00000db8: ADD
00000db9: ADD
00000dba: MLOAD
00000dbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd0: AND
00000dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de6: AND
00000de7: DUP2
00000de8: MSTORE
00000de9: PUSH1 0x20
00000deb: ADD
00000dec: SWAP1
00000ded: DUP2
00000dee: MSTORE
00000def: PUSH1 0x20
00000df1: ADD
00000df2: PUSH1 0x00
00000df4: KECCAK256
00000df5: PUSH1 0x03
00000df7: ADD
00000df8: PUSH1 0x03
00000dfa: DUP2
00000dfb: SLOAD
00000dfc: DUP2
00000dfd: LT
00000dfe: PUSH2 0x0e03
00000e01: JUMPI
00000e02: INVALID
00000e03: JUMPDEST
00000e04: SWAP1
00000e05: PUSH1 0x00
00000e07: MSTORE
00000e08: PUSH1 0x20
00000e0a: PUSH1 0x00
00000e0c: KECCAK256
00000e0d: ADD
00000e0e: PUSH1 0x00
00000e10: SWAP1
00000e11: SLOAD
00000e12: SWAP1
00000e13: PUSH2 0x0100
00000e16: EXP
00000e17: SWAP1
00000e18: DIV
00000e19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e2e: AND
00000e2f: DUP5
00000e30: PUSH1 0x03
00000e32: PUSH1 0x05
00000e34: PUSH1 0x01
00000e36: DUP6
00000e37: ADD
00000e38: MUL
00000e39: ADD
00000e3a: DUP2
00000e3b: MLOAD
00000e3c: DUP2
00000e3d: LT
00000e3e: PUSH2 0x0e43
00000e41: JUMPI
00000e42: INVALID
00000e43: JUMPDEST
00000e44: PUSH1 0x20
00000e46: MUL
00000e47: PUSH1 0x20
00000e49: ADD
00000e4a: ADD
00000e4b: SWAP1
00000e4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e61: AND
00000e62: SWAP1
00000e63: DUP2
00000e64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e79: AND
00000e7a: DUP2
00000e7b: MSTORE
00000e7c: POP
00000e7d: POP
00000e7e: PUSH1 0x06
00000e80: PUSH1 0x00
00000e82: DUP6
00000e83: DUP4
00000e84: DUP2
00000e85: MLOAD
00000e86: DUP2
00000e87: LT
00000e88: PUSH2 0x0e8d
00000e8b: JUMPI
00000e8c: INVALID
00000e8d: JUMPDEST
00000e8e: PUSH1 0x20
00000e90: MUL
00000e91: PUSH1 0x20
00000e93: ADD
00000e94: ADD
00000e95: MLOAD
00000e96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eab: AND
00000eac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec1: AND
00000ec2: DUP2
00000ec3: MSTORE
00000ec4: PUSH1 0x20
00000ec6: ADD
00000ec7: SWAP1
00000ec8: DUP2
00000ec9: MSTORE
00000eca: PUSH1 0x20
00000ecc: ADD
00000ecd: PUSH1 0x00
00000ecf: KECCAK256
00000ed0: PUSH1 0x03
00000ed2: ADD
00000ed3: PUSH1 0x04
00000ed5: DUP2
00000ed6: SLOAD
00000ed7: DUP2
00000ed8: LT
00000ed9: PUSH2 0x0ede
00000edc: JUMPI
00000edd: INVALID
00000ede: JUMPDEST
00000edf: SWAP1
00000ee0: PUSH1 0x00
00000ee2: MSTORE
00000ee3: PUSH1 0x20
00000ee5: PUSH1 0x00
00000ee7: KECCAK256
00000ee8: ADD
00000ee9: PUSH1 0x00
00000eeb: SWAP1
00000eec: SLOAD
00000eed: SWAP1
00000eee: PUSH2 0x0100
00000ef1: EXP
00000ef2: SWAP1
00000ef3: DIV
00000ef4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f09: AND
00000f0a: DUP5
00000f0b: PUSH1 0x04
00000f0d: PUSH1 0x05
00000f0f: PUSH1 0x01
00000f11: DUP6
00000f12: ADD
00000f13: MUL
00000f14: ADD
00000f15: DUP2
00000f16: MLOAD
00000f17: DUP2
00000f18: LT
00000f19: PUSH2 0x0f1e
00000f1c: JUMPI
00000f1d: INVALID
00000f1e: JUMPDEST
00000f1f: PUSH1 0x20
00000f21: MUL
00000f22: PUSH1 0x20
00000f24: ADD
00000f25: ADD
00000f26: SWAP1
00000f27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f3c: AND
00000f3d: SWAP1
00000f3e: DUP2
00000f3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f54: AND
00000f55: DUP2
00000f56: MSTORE
00000f57: POP
00000f58: POP
00000f59: JUMPDEST
00000f5a: PUSH2 0x0f7d
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH1 0x00
00000f61: SWAP2
00000f62: POP
00000f63: DUP4
00000f64: DUP2
00000f65: DUP2
00000f66: MLOAD
00000f67: DUP2
00000f68: LT
00000f69: PUSH2 0x0f6e
00000f6c: JUMPI
00000f6d: INVALID
00000f6e: JUMPDEST
00000f6f: PUSH1 0x20
00000f71: MUL
00000f72: PUSH1 0x20
00000f74: ADD
00000f75: ADD
00000f76: MLOAD
00000f77: SWAP3
00000f78: POP
00000f79: PUSH2 0x0f8a
00000f7c: JUMP
00000f7d: JUMPDEST
00000f7e: DUP1
00000f7f: DUP1
00000f80: PUSH1 0x01
00000f82: ADD
00000f83: SWAP2
00000f84: POP
00000f85: POP
00000f86: PUSH2 0x0a9f
00000f89: JUMP
00000f8a: JUMPDEST
00000f8b: POP
00000f8c: DUP1
00000f8d: ISZERO
00000f8e: PUSH2 0x0fff
00000f91: JUMPI
00000f92: PUSH1 0x40
00000f94: MLOAD
00000f95: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fb6: DUP2
00000fb7: MSTORE
00000fb8: PUSH1 0x04
00000fba: ADD
00000fbb: DUP1
00000fbc: DUP1
00000fbd: PUSH1 0x20
00000fbf: ADD
00000fc0: DUP3
00000fc1: DUP2
00000fc2: SUB
00000fc3: DUP3
00000fc4: MSTORE
00000fc5: PUSH1 0x10
00000fc7: DUP2
00000fc8: MSTORE
00000fc9: PUSH1 0x20
00000fcb: ADD
00000fcc: DUP1
00000fcd: PUSH32 0x4e6f204672656520526566657272657200000000000000000000000000000000
00000fee: DUP2
00000fef: MSTORE
00000ff0: POP
00000ff1: PUSH1 0x20
00000ff3: ADD
00000ff4: SWAP2
00000ff5: POP
00000ff6: POP
00000ff7: PUSH1 0x40
00000ff9: MLOAD
00000ffa: DUP1
00000ffb: SWAP2
00000ffc: SUB
00000ffd: SWAP1
00000ffe: REVERT
00000fff: JUMPDEST
00001000: DUP2
00001001: SWAP4
00001002: POP
00001003: POP
00001004: POP
00001005: POP
00001006: JUMPDEST
00001007: SWAP2
00001008: SWAP1
00001009: POP
0000100a: JUMP
0000100b: JUMPDEST
0000100c: PUSH32 0x788751843d5b00335b64d8c05189e4a4d9dd9abad2a097ba42ddd0ba43b8cb5e
0000102d: CALLVALUE
0000102e: TIMESTAMP
0000102f: PUSH1 0x40
00001031: MLOAD
00001032: DUP1
00001033: DUP4
00001034: DUP2
00001035: MSTORE
00001036: PUSH1 0x20
00001038: ADD
00001039: DUP3
0000103a: DUP2
0000103b: MSTORE
0000103c: PUSH1 0x20
0000103e: ADD
0000103f: SWAP3
00001040: POP
00001041: POP
00001042: POP
00001043: PUSH1 0x40
00001045: MLOAD
00001046: DUP1
00001047: SWAP2
00001048: SUB
00001049: SWAP1
0000104a: LOG1
0000104b: JUMP
0000104c: JUMPDEST
0000104d: PUSH1 0x00
0000104f: PUSH1 0x06
00001051: PUSH1 0x00
00001053: DUP4
00001054: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001069: AND
0000106a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107f: AND
00001080: DUP2
00001081: MSTORE
00001082: PUSH1 0x20
00001084: ADD
00001085: SWAP1
00001086: DUP2
00001087: MSTORE
00001088: PUSH1 0x20
0000108a: ADD
0000108b: PUSH1 0x00
0000108d: KECCAK256
0000108e: PUSH1 0x04
00001090: ADD
00001091: PUSH1 0x00
00001093: SWAP1
00001094: SLOAD
00001095: SWAP1
00001096: PUSH2 0x0100
00001099: EXP
0000109a: SWAP1
0000109b: DIV
0000109c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b1: AND
000010b2: SWAP1
000010b3: POP
000010b4: SWAP2
000010b5: SWAP1
000010b6: POP
000010b7: JUMP
000010b8: JUMPDEST
000010b9: PUSH1 0x60
000010bb: PUSH1 0x06
000010bd: PUSH1 0x00
000010bf: DUP4
000010c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d5: AND
000010d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010eb: AND
000010ec: DUP2
000010ed: MSTORE
000010ee: PUSH1 0x20
000010f0: ADD
000010f1: SWAP1
000010f2: DUP2
000010f3: MSTORE
000010f4: PUSH1 0x20
000010f6: ADD
000010f7: PUSH1 0x00
000010f9: KECCAK256
000010fa: PUSH1 0x03
000010fc: ADD
000010fd: DUP1
000010fe: SLOAD
000010ff: DUP1
00001100: PUSH1 0x20
00001102: MUL
00001103: PUSH1 0x20
00001105: ADD
00001106: PUSH1 0x40
00001108: MLOAD
00001109: SWAP1
0000110a: DUP2
0000110b: ADD
0000110c: PUSH1 0x40
0000110e: MSTORE
0000110f: DUP1
00001110: SWAP3
00001111: SWAP2
00001112: SWAP1
00001113: DUP2
00001114: DUP2
00001115: MSTORE
00001116: PUSH1 0x20
00001118: ADD
00001119: DUP3
0000111a: DUP1
0000111b: SLOAD
0000111c: DUP1
0000111d: ISZERO
0000111e: PUSH2 0x117c
00001121: JUMPI
00001122: PUSH1 0x20
00001124: MUL
00001125: DUP3
00001126: ADD
00001127: SWAP2
00001128: SWAP1
00001129: PUSH1 0x00
0000112b: MSTORE
0000112c: PUSH1 0x20
0000112e: PUSH1 0x00
00001130: KECCAK256
00001131: SWAP1
00001132: JUMPDEST
00001133: DUP2
00001134: PUSH1 0x00
00001136: SWAP1
00001137: SLOAD
00001138: SWAP1
00001139: PUSH2 0x0100
0000113c: EXP
0000113d: SWAP1
0000113e: DIV
0000113f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001154: AND
00001155: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116a: AND
0000116b: DUP2
0000116c: MSTORE
0000116d: PUSH1 0x20
0000116f: ADD
00001170: SWAP1
00001171: PUSH1 0x01
00001173: ADD
00001174: SWAP1
00001175: DUP1
00001176: DUP4
00001177: GT
00001178: PUSH2 0x1132
0000117b: JUMPI
0000117c: JUMPDEST
0000117d: POP
0000117e: POP
0000117f: POP
00001180: POP
00001181: POP
00001182: SWAP1
00001183: POP
00001184: SWAP2
00001185: SWAP1
00001186: POP
00001187: JUMP
00001188: JUMPDEST
00001189: PUSH1 0x00
0000118b: PUSH1 0x06
0000118d: PUSH1 0x00
0000118f: DUP4
00001190: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a5: AND
000011a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bb: AND
000011bc: DUP2
000011bd: MSTORE
000011be: PUSH1 0x20
000011c0: ADD
000011c1: SWAP1
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH1 0x20
000011c6: ADD
000011c7: PUSH1 0x00
000011c9: KECCAK256
000011ca: PUSH1 0x00
000011cc: ADD
000011cd: PUSH1 0x00
000011cf: SWAP1
000011d0: SLOAD
000011d1: SWAP1
000011d2: PUSH2 0x0100
000011d5: EXP
000011d6: SWAP1
000011d7: DIV
000011d8: PUSH1 0xff
000011da: AND
000011db: SWAP1
000011dc: POP
000011dd: SWAP2
000011de: SWAP1
000011df: POP
000011e0: JUMP
000011e1: JUMPDEST
000011e2: PUSH1 0x01
000011e4: PUSH1 0x00
000011e6: SWAP1
000011e7: SLOAD
000011e8: SWAP1
000011e9: PUSH2 0x0100
000011ec: EXP
000011ed: SWAP1
000011ee: DIV
000011ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001204: AND
00001205: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121a: AND
0000121b: CALLER
0000121c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001231: AND
00001232: EQ
00001233: PUSH2 0x12a4
00001236: JUMPI
00001237: PUSH1 0x40
00001239: MLOAD
0000123a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000125b: DUP2
0000125c: MSTORE
0000125d: PUSH1 0x04
0000125f: ADD
00001260: DUP1
00001261: DUP1
00001262: PUSH1 0x20
00001264: ADD
00001265: DUP3
00001266: DUP2
00001267: SUB
00001268: DUP3
00001269: MSTORE
0000126a: PUSH1 0x16
0000126c: DUP2
0000126d: MSTORE
0000126e: PUSH1 0x20
00001270: ADD
00001271: DUP1
00001272: PUSH32 0x596f7520617265206e6f7420617574686f72697a656400000000000000000000
00001293: DUP2
00001294: MSTORE
00001295: POP
00001296: PUSH1 0x20
00001298: ADD
00001299: SWAP2
0000129a: POP
0000129b: POP
0000129c: PUSH1 0x40
0000129e: MLOAD
0000129f: DUP1
000012a0: SWAP2
000012a1: SUB
000012a2: SWAP1
000012a3: REVERT
000012a4: JUMPDEST
000012a5: PUSH1 0x01
000012a7: PUSH1 0x00
000012a9: SWAP1
000012aa: SLOAD
000012ab: SWAP1
000012ac: PUSH2 0x0100
000012af: EXP
000012b0: SWAP1
000012b1: DIV
000012b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c7: AND
000012c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012dd: AND
000012de: CALLER
000012df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f4: AND
000012f5: EQ
000012f6: ISZERO
000012f7: PUSH2 0x136b
000012fa: JUMPI
000012fb: PUSH1 0x00
000012fd: PUSH2 0x1304
00001300: PUSH2 0x136d
00001303: JUMP
00001304: JUMPDEST
00001305: GT
00001306: ISZERO
00001307: PUSH2 0x136a
0000130a: JUMPI
0000130b: PUSH1 0x01
0000130d: PUSH1 0x00
0000130f: SWAP1
00001310: SLOAD
00001311: SWAP1
00001312: PUSH2 0x0100
00001315: EXP
00001316: SWAP1
00001317: DIV
00001318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132d: AND
0000132e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001343: AND
00001344: PUSH2 0x08fc
00001347: PUSH2 0x134e
0000134a: PUSH2 0x136d
0000134d: JUMP
0000134e: JUMPDEST
0000134f: SWAP1
00001350: DUP2
00001351: ISZERO
00001352: MUL
00001353: SWAP1
00001354: PUSH1 0x40
00001356: MLOAD
00001357: PUSH1 0x00
00001359: PUSH1 0x40
0000135b: MLOAD
0000135c: DUP1
0000135d: DUP4
0000135e: SUB
0000135f: DUP2
00001360: DUP6
00001361: DUP9
00001362: DUP9
00001363: CALL
00001364: SWAP4
00001365: POP
00001366: POP
00001367: POP
00001368: POP
00001369: POP
0000136a: JUMPDEST
0000136b: JUMPDEST
0000136c: JUMP
0000136d: JUMPDEST
0000136e: PUSH1 0x00
00001370: ADDRESS
00001371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001386: AND
00001387: BALANCE
00001388: SWAP1
00001389: POP
0000138a: SWAP1
0000138b: JUMP
0000138c: JUMPDEST
0000138d: PUSH1 0x05
0000138f: PUSH1 0x20
00001391: MSTORE
00001392: DUP1
00001393: PUSH1 0x00
00001395: MSTORE
00001396: PUSH1 0x40
00001398: PUSH1 0x00
0000139a: KECCAK256
0000139b: PUSH1 0x00
0000139d: SWAP2
0000139e: POP
0000139f: SWAP1
000013a0: POP
000013a1: SLOAD
000013a2: DUP2
000013a3: JUMP
000013a4: JUMPDEST
000013a5: PUSH1 0x04
000013a7: PUSH1 0x20
000013a9: MSTORE
000013aa: DUP1
000013ab: PUSH1 0x00
000013ad: MSTORE
000013ae: PUSH1 0x40
000013b0: PUSH1 0x00
000013b2: KECCAK256
000013b3: PUSH1 0x00
000013b5: SWAP2
000013b6: POP
000013b7: SWAP1
000013b8: POP
000013b9: SLOAD
000013ba: DUP2
000013bb: JUMP
000013bc: JUMPDEST
000013bd: PUSH1 0x08
000013bf: SLOAD
000013c0: DUP2
000013c1: JUMP
000013c2: JUMPDEST
000013c3: PUSH1 0x00
000013c5: DUP1
000013c6: PUSH1 0x00
000013c8: SWAP1
000013c9: SLOAD
000013ca: SWAP1
000013cb: PUSH2 0x0100
000013ce: EXP
000013cf: SWAP1
000013d0: DIV
000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e6: AND
000013e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013fc: AND
000013fd: PUSH4 0x2d774965
00001402: CALLER
00001403: PUSH1 0x40
00001405: MLOAD
00001406: DUP3
00001407: PUSH4 0xffffffff
0000140c: AND
0000140d: PUSH1 0xe0
0000140f: SHL
00001410: DUP2
00001411: MSTORE
00001412: PUSH1 0x04
00001414: ADD
00001415: DUP1
00001416: DUP3
00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142c: AND
0000142d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001442: AND
00001443: DUP2
00001444: MSTORE
00001445: PUSH1 0x20
00001447: ADD
00001448: SWAP2
00001449: POP
0000144a: POP
0000144b: PUSH1 0x20
0000144d: PUSH1 0x40
0000144f: MLOAD
00001450: DUP1
00001451: DUP4
00001452: SUB
00001453: DUP2
00001454: DUP7
00001455: DUP1
00001456: EXTCODESIZE
00001457: ISZERO
00001458: DUP1
00001459: ISZERO
0000145a: PUSH2 0x1462
0000145d: JUMPI
0000145e: PUSH1 0x00
00001460: DUP1
00001461: REVERT
00001462: JUMPDEST
00001463: POP
00001464: GAS
00001465: STATICCALL
00001466: ISZERO
00001467: DUP1
00001468: ISZERO
00001469: PUSH2 0x1476
0000146c: JUMPI
0000146d: RETURNDATASIZE
0000146e: PUSH1 0x00
00001470: DUP1
00001471: RETURNDATACOPY
00001472: RETURNDATASIZE
00001473: PUSH1 0x00
00001475: REVERT
00001476: JUMPDEST
00001477: POP
00001478: POP
00001479: POP
0000147a: POP
0000147b: PUSH1 0x40
0000147d: MLOAD
0000147e: RETURNDATASIZE
0000147f: PUSH1 0x20
00001481: DUP2
00001482: LT
00001483: ISZERO
00001484: PUSH2 0x148c
00001487: JUMPI
00001488: PUSH1 0x00
0000148a: DUP1
0000148b: REVERT
0000148c: JUMPDEST
0000148d: DUP2
0000148e: ADD
0000148f: SWAP1
00001490: DUP1
00001491: DUP1
00001492: MLOAD
00001493: SWAP1
00001494: PUSH1 0x20
00001496: ADD
00001497: SWAP1
00001498: SWAP3
00001499: SWAP2
0000149a: SWAP1
0000149b: POP
0000149c: POP
0000149d: POP
0000149e: SWAP1
0000149f: POP
000014a0: PUSH1 0x00
000014a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b7: AND
000014b8: DUP2
000014b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ce: AND
000014cf: EQ
000014d0: ISZERO
000014d1: PUSH2 0x1542
000014d4: JUMPI
000014d5: PUSH1 0x40
000014d7: MLOAD
000014d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014f9: DUP2
000014fa: MSTORE
000014fb: PUSH1 0x04
000014fd: ADD
000014fe: DUP1
000014ff: DUP1
00001500: PUSH1 0x20
00001502: ADD
00001503: DUP3
00001504: DUP2
00001505: SUB
00001506: DUP3
00001507: MSTORE
00001508: PUSH1 0x1c
0000150a: DUP2
0000150b: MSTORE
0000150c: PUSH1 0x20
0000150e: ADD
0000150f: DUP1
00001510: PUSH32 0x55736572206d757374206265206174204d617472697820342058203400000000
00001531: DUP2
00001532: MSTORE
00001533: POP
00001534: PUSH1 0x20
00001536: ADD
00001537: SWAP2
00001538: POP
00001539: POP
0000153a: PUSH1 0x40
0000153c: MLOAD
0000153d: DUP1
0000153e: SWAP2
0000153f: SUB
00001540: SWAP1
00001541: REVERT
00001542: JUMPDEST
00001543: PUSH1 0x06
00001545: PUSH1 0x00
00001547: CALLER
00001548: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155d: AND
0000155e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001573: AND
00001574: DUP2
00001575: MSTORE
00001576: PUSH1 0x20
00001578: ADD
00001579: SWAP1
0000157a: DUP2
0000157b: MSTORE
0000157c: PUSH1 0x20
0000157e: ADD
0000157f: PUSH1 0x00
00001581: KECCAK256
00001582: PUSH1 0x00
00001584: ADD
00001585: PUSH1 0x00
00001587: SWAP1
00001588: SLOAD
00001589: SWAP1
0000158a: PUSH2 0x0100
0000158d: EXP
0000158e: SWAP1
0000158f: DIV
00001590: PUSH1 0xff
00001592: AND
00001593: ISZERO
00001594: PUSH2 0x1605
00001597: JUMPI
00001598: PUSH1 0x40
0000159a: MLOAD
0000159b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015bc: DUP2
000015bd: MSTORE
000015be: PUSH1 0x04
000015c0: ADD
000015c1: DUP1
000015c2: DUP1
000015c3: PUSH1 0x20
000015c5: ADD
000015c6: DUP3
000015c7: DUP2
000015c8: SUB
000015c9: DUP3
000015ca: MSTORE
000015cb: PUSH1 0x0a
000015cd: DUP2
000015ce: MSTORE
000015cf: PUSH1 0x20
000015d1: ADD
000015d2: DUP1
000015d3: PUSH32 0x5573657220657869737400000000000000000000000000000000000000000000
000015f4: DUP2
000015f5: MSTORE
000015f6: POP
000015f7: PUSH1 0x20
000015f9: ADD
000015fa: SWAP2
000015fb: POP
000015fc: POP
000015fd: PUSH1 0x40
000015ff: MLOAD
00001600: DUP1
00001601: SWAP2
00001602: SUB
00001603: SWAP1
00001604: REVERT
00001605: JUMPDEST
00001606: PUSH1 0x05
00001608: PUSH1 0x00
0000160a: PUSH1 0x05
0000160c: DUP2
0000160d: MSTORE
0000160e: PUSH1 0x20
00001610: ADD
00001611: SWAP1
00001612: DUP2
00001613: MSTORE
00001614: PUSH1 0x20
00001616: ADD
00001617: PUSH1 0x00
00001619: KECCAK256
0000161a: SLOAD
0000161b: CALLVALUE
0000161c: EQ
0000161d: PUSH2 0x168e
00001620: JUMPI
00001621: PUSH1 0x40
00001623: MLOAD
00001624: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001645: DUP2
00001646: MSTORE
00001647: PUSH1 0x04
00001649: ADD
0000164a: DUP1
0000164b: DUP1
0000164c: PUSH1 0x20
0000164e: ADD
0000164f: DUP3
00001650: DUP2
00001651: SUB
00001652: DUP3
00001653: MSTORE
00001654: PUSH1 0x0f
00001656: DUP2
00001657: MSTORE
00001658: PUSH1 0x20
0000165a: ADD
0000165b: DUP1
0000165c: PUSH32 0x496e636f72726563742056616c75650000000000000000000000000000000000
0000167d: DUP2
0000167e: MSTORE
0000167f: POP
00001680: PUSH1 0x20
00001682: ADD
00001683: SWAP2
00001684: POP
00001685: POP
00001686: PUSH1 0x40
00001688: MLOAD
00001689: DUP1
0000168a: SWAP2
0000168b: SUB
0000168c: SWAP1
0000168d: REVERT
0000168e: JUMPDEST
0000168f: PUSH1 0x00
00001691: PUSH1 0x06
00001693: PUSH1 0x00
00001695: DUP4
00001696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ab: AND
000016ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c1: AND
000016c2: DUP2
000016c3: MSTORE
000016c4: PUSH1 0x20
000016c6: ADD
000016c7: SWAP1
000016c8: DUP2
000016c9: MSTORE
000016ca: PUSH1 0x20
000016cc: ADD
000016cd: PUSH1 0x00
000016cf: KECCAK256
000016d0: PUSH1 0x00
000016d2: ADD
000016d3: PUSH1 0x00
000016d5: SWAP1
000016d6: SLOAD
000016d7: SWAP1
000016d8: PUSH2 0x0100
000016db: EXP
000016dc: SWAP1
000016dd: DIV
000016de: PUSH1 0xff
000016e0: AND
000016e1: ISZERO
000016e2: PUSH2 0x1831
000016e5: JUMPI
000016e6: PUSH1 0x06
000016e8: PUSH1 0x00
000016ea: DUP4
000016eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001700: AND
00001701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001716: AND
00001717: DUP2
00001718: MSTORE
00001719: PUSH1 0x20
0000171b: ADD
0000171c: SWAP1
0000171d: DUP2
0000171e: MSTORE
0000171f: PUSH1 0x20
00001721: ADD
00001722: PUSH1 0x00
00001724: KECCAK256
00001725: PUSH1 0x01
00001727: ADD
00001728: SLOAD
00001729: SWAP1
0000172a: POP
0000172b: PUSH1 0x02
0000172d: SLOAD
0000172e: PUSH1 0x06
00001730: PUSH1 0x00
00001732: PUSH1 0x07
00001734: PUSH1 0x00
00001736: DUP6
00001737: DUP2
00001738: MSTORE
00001739: PUSH1 0x20
0000173b: ADD
0000173c: SWAP1
0000173d: DUP2
0000173e: MSTORE
0000173f: PUSH1 0x20
00001741: ADD
00001742: PUSH1 0x00
00001744: KECCAK256
00001745: PUSH1 0x00
00001747: SWAP1
00001748: SLOAD
00001749: SWAP1
0000174a: PUSH2 0x0100
0000174d: EXP
0000174e: SWAP1
0000174f: DIV
00001750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001765: AND
00001766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177b: AND
0000177c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001791: AND
00001792: DUP2
00001793: MSTORE
00001794: PUSH1 0x20
00001796: ADD
00001797: SWAP1
00001798: DUP2
00001799: MSTORE
0000179a: PUSH1 0x20
0000179c: ADD
0000179d: PUSH1 0x00
0000179f: KECCAK256
000017a0: PUSH1 0x03
000017a2: ADD
000017a3: DUP1
000017a4: SLOAD
000017a5: SWAP1
000017a6: POP
000017a7: LT
000017a8: PUSH2 0x182c
000017ab: JUMPI
000017ac: PUSH1 0x06
000017ae: PUSH1 0x00
000017b0: PUSH2 0x17eb
000017b3: PUSH1 0x07
000017b5: PUSH1 0x00
000017b7: DUP6
000017b8: DUP2
000017b9: MSTORE
000017ba: PUSH1 0x20
000017bc: ADD
000017bd: SWAP1
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x20
000017c2: ADD
000017c3: PUSH1 0x00
000017c5: KECCAK256
000017c6: PUSH1 0x00
000017c8: SWAP1
000017c9: SLOAD
000017ca: SWAP1
000017cb: PUSH2 0x0100
000017ce: EXP
000017cf: SWAP1
000017d0: DIV
000017d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e6: AND
000017e7: PUSH2 0x0643
000017ea: JUMP
000017eb: JUMPDEST
000017ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001801: AND
00001802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001817: AND
00001818: DUP2
00001819: MSTORE
0000181a: PUSH1 0x20
0000181c: ADD
0000181d: SWAP1
0000181e: DUP2
0000181f: MSTORE
00001820: PUSH1 0x20
00001822: ADD
00001823: PUSH1 0x00
00001825: KECCAK256
00001826: PUSH1 0x01
00001828: ADD
00001829: SLOAD
0000182a: SWAP1
0000182b: POP
0000182c: JUMPDEST
0000182d: PUSH2 0x1938
00001830: JUMP
00001831: JUMPDEST
00001832: PUSH1 0x01
00001834: SWAP1
00001835: POP
00001836: PUSH1 0x02
00001838: SLOAD
00001839: PUSH1 0x06
0000183b: PUSH1 0x00
0000183d: PUSH1 0x07
0000183f: PUSH1 0x00
00001841: DUP6
00001842: DUP2
00001843: MSTORE
00001844: PUSH1 0x20
00001846: ADD
00001847: SWAP1
00001848: DUP2
00001849: MSTORE
0000184a: PUSH1 0x20
0000184c: ADD
0000184d: PUSH1 0x00
0000184f: KECCAK256
00001850: PUSH1 0x00
00001852: SWAP1
00001853: SLOAD
00001854: SWAP1
00001855: PUSH2 0x0100
00001858: EXP
00001859: SWAP1
0000185a: DIV
0000185b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001870: AND
00001871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001886: AND
00001887: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189c: AND
0000189d: DUP2
0000189e: MSTORE
0000189f: PUSH1 0x20
000018a1: ADD
000018a2: SWAP1
000018a3: DUP2
000018a4: MSTORE
000018a5: PUSH1 0x20
000018a7: ADD
000018a8: PUSH1 0x00
000018aa: KECCAK256
000018ab: PUSH1 0x03
000018ad: ADD
000018ae: DUP1
000018af: SLOAD
000018b0: SWAP1
000018b1: POP
000018b2: LT
000018b3: PUSH2 0x1937
000018b6: JUMPI
000018b7: PUSH1 0x06
000018b9: PUSH1 0x00
000018bb: PUSH2 0x18f6
000018be: PUSH1 0x07
000018c0: PUSH1 0x00
000018c2: DUP6
000018c3: DUP2
000018c4: MSTORE
000018c5: PUSH1 0x20
000018c7: ADD
000018c8: SWAP1
000018c9: DUP2
000018ca: MSTORE
000018cb: PUSH1 0x20
000018cd: ADD
000018ce: PUSH1 0x00
000018d0: KECCAK256
000018d1: PUSH1 0x00
000018d3: SWAP1
000018d4: SLOAD
000018d5: SWAP1
000018d6: PUSH2 0x0100
000018d9: EXP
000018da: SWAP1
000018db: DIV
000018dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f1: AND
000018f2: PUSH2 0x0643
000018f5: JUMP
000018f6: JUMPDEST
000018f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190c: AND
0000190d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001922: AND
00001923: DUP2
00001924: MSTORE
00001925: PUSH1 0x20
00001927: ADD
00001928: SWAP1
00001929: DUP2
0000192a: MSTORE
0000192b: PUSH1 0x20
0000192d: ADD
0000192e: PUSH1 0x00
00001930: KECCAK256
00001931: PUSH1 0x01
00001933: ADD
00001934: SLOAD
00001935: SWAP1
00001936: POP
00001937: JUMPDEST
00001938: JUMPDEST
00001939: PUSH2 0x1940
0000193c: PUSH2 0x217a
0000193f: JUMP
00001940: JUMPDEST
00001941: PUSH1 0x08
00001943: PUSH1 0x00
00001945: DUP2
00001946: SLOAD
00001947: DUP1
00001948: SWAP3
00001949: SWAP2
0000194a: SWAP1
0000194b: PUSH1 0x01
0000194d: ADD
0000194e: SWAP2
0000194f: SWAP1
00001950: POP
00001951: SSTORE
00001952: POP
00001953: PUSH1 0x40
00001955: MLOAD
00001956: DUP1
00001957: PUSH1 0xc0
00001959: ADD
0000195a: PUSH1 0x40
0000195c: MSTORE
0000195d: DUP1
0000195e: PUSH1 0x01
00001960: ISZERO
00001961: ISZERO
00001962: DUP2
00001963: MSTORE
00001964: PUSH1 0x20
00001966: ADD
00001967: PUSH1 0x08
00001969: SLOAD
0000196a: DUP2
0000196b: MSTORE
0000196c: PUSH1 0x20
0000196e: ADD
0000196f: DUP4
00001970: DUP2
00001971: MSTORE
00001972: PUSH1 0x20
00001974: ADD
00001975: PUSH1 0x00
00001977: PUSH1 0x40
00001979: MLOAD
0000197a: SWAP1
0000197b: DUP1
0000197c: DUP3
0000197d: MSTORE
0000197e: DUP1
0000197f: PUSH1 0x20
00001981: MUL
00001982: PUSH1 0x20
00001984: ADD
00001985: DUP3
00001986: ADD
00001987: PUSH1 0x40
00001989: MSTORE
0000198a: DUP1
0000198b: ISZERO
0000198c: PUSH2 0x19a4
0000198f: JUMPI
00001990: DUP2
00001991: PUSH1 0x20
00001993: ADD
00001994: PUSH1 0x20
00001996: DUP3
00001997: MUL
00001998: DUP1
00001999: CODESIZE
0000199a: DUP4
0000199b: CODECOPY
0000199c: DUP1
0000199d: DUP3
0000199e: ADD
0000199f: SWAP2
000019a0: POP
000019a1: POP
000019a2: SWAP1
000019a3: POP
000019a4: JUMPDEST
000019a5: POP
000019a6: DUP2
000019a7: MSTORE
000019a8: PUSH1 0x20
000019aa: ADD
000019ab: DUP5
000019ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c1: AND
000019c2: DUP2
000019c3: MSTORE
000019c4: PUSH1 0x20
000019c6: ADD
000019c7: PUSH1 0x00
000019c9: DUP2
000019ca: MSTORE
000019cb: POP
000019cc: SWAP1
000019cd: POP
000019ce: DUP1
000019cf: PUSH1 0x06
000019d1: PUSH1 0x00
000019d3: CALLER
000019d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e9: AND
000019ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ff: AND
00001a00: DUP2
00001a01: MSTORE
00001a02: PUSH1 0x20
00001a04: ADD
00001a05: SWAP1
00001a06: DUP2
00001a07: MSTORE
00001a08: PUSH1 0x20
00001a0a: ADD
00001a0b: PUSH1 0x00
00001a0d: KECCAK256
00001a0e: PUSH1 0x00
00001a10: DUP3
00001a11: ADD
00001a12: MLOAD
00001a13: DUP2
00001a14: PUSH1 0x00
00001a16: ADD
00001a17: PUSH1 0x00
00001a19: PUSH2 0x0100
00001a1c: EXP
00001a1d: DUP2
00001a1e: SLOAD
00001a1f: DUP2
00001a20: PUSH1 0xff
00001a22: MUL
00001a23: NOT
00001a24: AND
00001a25: SWAP1
00001a26: DUP4
00001a27: ISZERO
00001a28: ISZERO
00001a29: MUL
00001a2a: OR
00001a2b: SWAP1
00001a2c: SSTORE
00001a2d: POP
00001a2e: PUSH1 0x20
00001a30: DUP3
00001a31: ADD
00001a32: MLOAD
00001a33: DUP2
00001a34: PUSH1 0x01
00001a36: ADD
00001a37: SSTORE
00001a38: PUSH1 0x40
00001a3a: DUP3
00001a3b: ADD
00001a3c: MLOAD
00001a3d: DUP2
00001a3e: PUSH1 0x02
00001a40: ADD
00001a41: SSTORE
00001a42: PUSH1 0x60
00001a44: DUP3
00001a45: ADD
00001a46: MLOAD
00001a47: DUP2
00001a48: PUSH1 0x03
00001a4a: ADD
00001a4b: SWAP1
00001a4c: DUP1
00001a4d: MLOAD
00001a4e: SWAP1
00001a4f: PUSH1 0x20
00001a51: ADD
00001a52: SWAP1
00001a53: PUSH2 0x1a5d
00001a56: SWAP3
00001a57: SWAP2
00001a58: SWAP1
00001a59: PUSH2 0x21c8
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: POP
00001a5f: PUSH1 0x80
00001a61: DUP3
00001a62: ADD
00001a63: MLOAD
00001a64: DUP2
00001a65: PUSH1 0x04
00001a67: ADD
00001a68: PUSH1 0x00
00001a6a: PUSH2 0x0100
00001a6d: EXP
00001a6e: DUP2
00001a6f: SLOAD
00001a70: DUP2
00001a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a86: MUL
00001a87: NOT
00001a88: AND
00001a89: SWAP1
00001a8a: DUP4
00001a8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa0: AND
00001aa1: MUL
00001aa2: OR
00001aa3: SWAP1
00001aa4: SSTORE
00001aa5: POP
00001aa6: PUSH1 0xa0
00001aa8: DUP3
00001aa9: ADD
00001aaa: MLOAD
00001aab: DUP2
00001aac: PUSH1 0x05
00001aae: ADD
00001aaf: SSTORE
00001ab0: SWAP1
00001ab1: POP
00001ab2: POP
00001ab3: CALLER
00001ab4: PUSH1 0x07
00001ab6: PUSH1 0x00
00001ab8: PUSH1 0x08
00001aba: SLOAD
00001abb: DUP2
00001abc: MSTORE
00001abd: PUSH1 0x20
00001abf: ADD
00001ac0: SWAP1
00001ac1: DUP2
00001ac2: MSTORE
00001ac3: PUSH1 0x20
00001ac5: ADD
00001ac6: PUSH1 0x00
00001ac8: KECCAK256
00001ac9: PUSH1 0x00
00001acb: PUSH2 0x0100
00001ace: EXP
00001acf: DUP2
00001ad0: SLOAD
00001ad1: DUP2
00001ad2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae7: MUL
00001ae8: NOT
00001ae9: AND
00001aea: SWAP1
00001aeb: DUP4
00001aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b01: AND
00001b02: MUL
00001b03: OR
00001b04: SWAP1
00001b05: SSTORE
00001b06: POP
00001b07: PUSH1 0x06
00001b09: PUSH1 0x00
00001b0b: PUSH1 0x07
00001b0d: PUSH1 0x00
00001b0f: DUP6
00001b10: DUP2
00001b11: MSTORE
00001b12: PUSH1 0x20
00001b14: ADD
00001b15: SWAP1
00001b16: DUP2
00001b17: MSTORE
00001b18: PUSH1 0x20
00001b1a: ADD
00001b1b: PUSH1 0x00
00001b1d: KECCAK256
00001b1e: PUSH1 0x00
00001b20: SWAP1
00001b21: SLOAD
00001b22: SWAP1
00001b23: PUSH2 0x0100
00001b26: EXP
00001b27: SWAP1
00001b28: DIV
00001b29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b3e: AND
00001b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b54: AND
00001b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6a: AND
00001b6b: DUP2
00001b6c: MSTORE
00001b6d: PUSH1 0x20
00001b6f: ADD
00001b70: SWAP1
00001b71: DUP2
00001b72: MSTORE
00001b73: PUSH1 0x20
00001b75: ADD
00001b76: PUSH1 0x00
00001b78: KECCAK256
00001b79: PUSH1 0x03
00001b7b: ADD
00001b7c: CALLER
00001b7d: SWAP1
00001b7e: DUP1
00001b7f: PUSH1 0x01
00001b81: DUP2
00001b82: SLOAD
00001b83: ADD
00001b84: DUP1
00001b85: DUP3
00001b86: SSTORE
00001b87: DUP1
00001b88: SWAP2
00001b89: POP
00001b8a: POP
00001b8b: SWAP1
00001b8c: PUSH1 0x01
00001b8e: DUP3
00001b8f: SUB
00001b90: SWAP1
00001b91: PUSH1 0x00
00001b93: MSTORE
00001b94: PUSH1 0x20
00001b96: PUSH1 0x00
00001b98: KECCAK256
00001b99: ADD
00001b9a: PUSH1 0x00
00001b9c: SWAP1
00001b9d: SWAP2
00001b9e: SWAP3
00001b9f: SWAP1
00001ba0: SWAP2
00001ba1: SWAP1
00001ba2: SWAP2
00001ba3: PUSH2 0x0100
00001ba6: EXP
00001ba7: DUP2
00001ba8: SLOAD
00001ba9: DUP2
00001baa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bbf: MUL
00001bc0: NOT
00001bc1: AND
00001bc2: SWAP1
00001bc3: DUP4
00001bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd9: AND
00001bda: MUL
00001bdb: OR
00001bdc: SWAP1
00001bdd: SSTORE
00001bde: POP
00001bdf: POP
00001be0: PUSH1 0x07
00001be2: PUSH1 0x00
00001be4: DUP4
00001be5: DUP2
00001be6: MSTORE
00001be7: PUSH1 0x20
00001be9: ADD
00001bea: SWAP1
00001beb: DUP2
00001bec: MSTORE
00001bed: PUSH1 0x20
00001bef: ADD
00001bf0: PUSH1 0x00
00001bf2: KECCAK256
00001bf3: PUSH1 0x00
00001bf5: SWAP1
00001bf6: SLOAD
00001bf7: SWAP1
00001bf8: PUSH2 0x0100
00001bfb: EXP
00001bfc: SWAP1
00001bfd: DIV
00001bfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c13: AND
00001c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c29: AND
00001c2a: CALLER
00001c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c40: AND
00001c41: PUSH32 0x0c88ab673df7b82fb9cd3ae0ce2597b0af9d0c8a5a07c47651908a88568b9a04
00001c62: TIMESTAMP
00001c63: PUSH1 0x05
00001c65: PUSH1 0x40
00001c67: MLOAD
00001c68: DUP1
00001c69: DUP4
00001c6a: DUP2
00001c6b: MSTORE
00001c6c: PUSH1 0x20
00001c6e: ADD
00001c6f: DUP3
00001c70: DUP2
00001c71: MSTORE
00001c72: PUSH1 0x20
00001c74: ADD
00001c75: SWAP3
00001c76: POP
00001c77: POP
00001c78: POP
00001c79: PUSH1 0x40
00001c7b: MLOAD
00001c7c: DUP1
00001c7d: SWAP2
00001c7e: SUB
00001c7f: SWAP1
00001c80: LOG3
00001c81: PUSH1 0x00
00001c83: DUP1
00001c84: SWAP1
00001c85: POP
00001c86: PUSH1 0x06
00001c88: PUSH1 0x00
00001c8a: DUP6
00001c8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca0: AND
00001ca1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb6: AND
00001cb7: DUP2
00001cb8: MSTORE
00001cb9: PUSH1 0x20
00001cbb: ADD
00001cbc: SWAP1
00001cbd: DUP2
00001cbe: MSTORE
00001cbf: PUSH1 0x20
00001cc1: ADD
00001cc2: PUSH1 0x00
00001cc4: KECCAK256
00001cc5: PUSH1 0x00
00001cc7: ADD
00001cc8: PUSH1 0x00
00001cca: SWAP1
00001ccb: SLOAD
00001ccc: SWAP1
00001ccd: PUSH2 0x0100
00001cd0: EXP
00001cd1: SWAP1
00001cd2: DIV
00001cd3: PUSH1 0xff
00001cd5: AND
00001cd6: ISZERO
00001cd7: PUSH2 0x1d78
00001cda: JUMPI
00001cdb: PUSH1 0x01
00001cdd: PUSH1 0x06
00001cdf: PUSH1 0x00
00001ce1: DUP7
00001ce2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf7: AND
00001cf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0d: AND
00001d0e: DUP2
00001d0f: MSTORE
00001d10: PUSH1 0x20
00001d12: ADD
00001d13: SWAP1
00001d14: DUP2
00001d15: MSTORE
00001d16: PUSH1 0x20
00001d18: ADD
00001d19: PUSH1 0x00
00001d1b: KECCAK256
00001d1c: PUSH1 0x05
00001d1e: ADD
00001d1f: PUSH1 0x00
00001d21: DUP3
00001d22: DUP3
00001d23: SLOAD
00001d24: ADD
00001d25: SWAP3
00001d26: POP
00001d27: POP
00001d28: DUP2
00001d29: SWAP1
00001d2a: SSTORE
00001d2b: POP
00001d2c: DUP4
00001d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d42: AND
00001d43: PUSH2 0x08fc
00001d46: PUSH8 0x016345785d8a0000
00001d4f: SWAP1
00001d50: DUP2
00001d51: ISZERO
00001d52: MUL
00001d53: SWAP1
00001d54: PUSH1 0x40
00001d56: MLOAD
00001d57: PUSH1 0x00
00001d59: PUSH1 0x40
00001d5b: MLOAD
00001d5c: DUP1
00001d5d: DUP4
00001d5e: SUB
00001d5f: DUP2
00001d60: DUP6
00001d61: DUP9
00001d62: DUP9
00001d63: CALL
00001d64: SWAP4
00001d65: POP
00001d66: POP
00001d67: POP
00001d68: POP
00001d69: SWAP1
00001d6a: POP
00001d6b: PUSH2 0x1d73
00001d6e: DUP5
00001d6f: PUSH2 0x1e83
00001d72: JUMP
00001d73: JUMPDEST
00001d74: PUSH2 0x1dda
00001d77: JUMP
00001d78: JUMPDEST
00001d79: PUSH1 0x01
00001d7b: PUSH1 0x00
00001d7d: SWAP1
00001d7e: SLOAD
00001d7f: SWAP1
00001d80: PUSH2 0x0100
00001d83: EXP
00001d84: SWAP1
00001d85: DIV
00001d86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9b: AND
00001d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db1: AND
00001db2: PUSH2 0x08fc
00001db5: PUSH8 0x016345785d8a0000
00001dbe: SWAP1
00001dbf: DUP2
00001dc0: ISZERO
00001dc1: MUL
00001dc2: SWAP1
00001dc3: PUSH1 0x40
00001dc5: MLOAD
00001dc6: PUSH1 0x00
00001dc8: PUSH1 0x40
00001dca: MLOAD
00001dcb: DUP1
00001dcc: DUP4
00001dcd: SUB
00001dce: DUP2
00001dcf: DUP6
00001dd0: DUP9
00001dd1: DUP9
00001dd2: CALL
00001dd3: SWAP4
00001dd4: POP
00001dd5: POP
00001dd6: POP
00001dd7: POP
00001dd8: SWAP1
00001dd9: POP
00001dda: JUMPDEST
00001ddb: DUP1
00001ddc: ISZERO
00001ddd: PUSH2 0x1e65
00001de0: JUMPI
00001de1: CALLER
00001de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df7: AND
00001df8: DUP5
00001df9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e0e: AND
00001e0f: PUSH32 0x48312df7d168f67e4d789b35dfb1e3246e9cf2b96d0af3b36134bf08cd3d728e
00001e30: PUSH1 0x00
00001e32: TIMESTAMP
00001e33: PUSH1 0x05
00001e35: PUSH1 0x40
00001e37: MLOAD
00001e38: DUP1
00001e39: DUP5
00001e3a: DUP2
00001e3b: MSTORE
00001e3c: PUSH1 0x20
00001e3e: ADD
00001e3f: DUP4
00001e40: DUP2
00001e41: MSTORE
00001e42: PUSH1 0x20
00001e44: ADD
00001e45: DUP3
00001e46: DUP2
00001e47: MSTORE
00001e48: PUSH1 0x20
00001e4a: ADD
00001e4b: SWAP4
00001e4c: POP
00001e4d: POP
00001e4e: POP
00001e4f: POP
00001e50: PUSH1 0x40
00001e52: MLOAD
00001e53: DUP1
00001e54: SWAP2
00001e55: SUB
00001e56: SWAP1
00001e57: LOG3
00001e58: PUSH2 0x1e64
00001e5b: PUSH1 0x01
00001e5d: CALLER
00001e5e: PUSH1 0x05
00001e60: PUSH2 0x1fc9
00001e63: JUMP
00001e64: JUMPDEST
00001e65: JUMPDEST
00001e66: POP
00001e67: POP
00001e68: POP
00001e69: POP
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: PUSH1 0x03
00001e6e: PUSH1 0x20
00001e70: MSTORE
00001e71: DUP1
00001e72: PUSH1 0x00
00001e74: MSTORE
00001e75: PUSH1 0x40
00001e77: PUSH1 0x00
00001e79: KECCAK256
00001e7a: PUSH1 0x00
00001e7c: SWAP2
00001e7d: POP
00001e7e: SWAP1
00001e7f: POP
00001e80: SLOAD
00001e81: DUP2
00001e82: JUMP
00001e83: JUMPDEST
00001e84: PUSH1 0x00
00001e86: PUSH1 0x06
00001e88: PUSH1 0x00
00001e8a: DUP4
00001e8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea0: AND
00001ea1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb6: AND
00001eb7: DUP2
00001eb8: MSTORE
00001eb9: PUSH1 0x20
00001ebb: ADD
00001ebc: SWAP1
00001ebd: DUP2
00001ebe: MSTORE
00001ebf: PUSH1 0x20
00001ec1: ADD
00001ec2: PUSH1 0x00
00001ec4: KECCAK256
00001ec5: PUSH1 0x05
00001ec7: ADD
00001ec8: SLOAD
00001ec9: SWAP1
00001eca: POP
00001ecb: PUSH1 0x00
00001ecd: DUP1
00001ece: SWAP1
00001ecf: POP
00001ed0: PUSH1 0x05
00001ed2: DUP3
00001ed3: EQ
00001ed4: ISZERO
00001ed5: PUSH2 0x1edd
00001ed8: JUMPI
00001ed9: PUSH1 0x01
00001edb: SWAP1
00001edc: POP
00001edd: JUMPDEST
00001ede: PUSH1 0x0f
00001ee0: DUP3
00001ee1: EQ
00001ee2: ISZERO
00001ee3: PUSH2 0x1eeb
00001ee6: JUMPI
00001ee7: PUSH1 0x02
00001ee9: SWAP1
00001eea: POP
00001eeb: JUMPDEST
00001eec: PUSH1 0x19
00001eee: DUP3
00001eef: EQ
00001ef0: ISZERO
00001ef1: PUSH2 0x1ef9
00001ef4: JUMPI
00001ef5: PUSH1 0x03
00001ef7: SWAP1
00001ef8: POP
00001ef9: JUMPDEST
00001efa: PUSH1 0x32
00001efc: DUP3
00001efd: EQ
00001efe: ISZERO
00001eff: PUSH2 0x1f07
00001f02: JUMPI
00001f03: PUSH1 0x04
00001f05: SWAP1
00001f06: POP
00001f07: JUMPDEST
00001f08: PUSH1 0x00
00001f0a: DUP2
00001f0b: GT
00001f0c: ISZERO
00001f0d: PUSH2 0x1fc4
00001f10: JUMPI
00001f11: PUSH1 0x00
00001f13: DUP4
00001f14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f29: AND
00001f2a: PUSH2 0x08fc
00001f2d: PUSH1 0x04
00001f2f: PUSH1 0x00
00001f31: DUP6
00001f32: DUP2
00001f33: MSTORE
00001f34: PUSH1 0x20
00001f36: ADD
00001f37: SWAP1
00001f38: DUP2
00001f39: MSTORE
00001f3a: PUSH1 0x20
00001f3c: ADD
00001f3d: PUSH1 0x00
00001f3f: KECCAK256
00001f40: SLOAD
00001f41: SWAP1
00001f42: DUP2
00001f43: ISZERO
00001f44: MUL
00001f45: SWAP1
00001f46: PUSH1 0x40
00001f48: MLOAD
00001f49: PUSH1 0x00
00001f4b: PUSH1 0x40
00001f4d: MLOAD
00001f4e: DUP1
00001f4f: DUP4
00001f50: SUB
00001f51: DUP2
00001f52: DUP6
00001f53: DUP9
00001f54: DUP9
00001f55: CALL
00001f56: SWAP4
00001f57: POP
00001f58: POP
00001f59: POP
00001f5a: POP
00001f5b: SWAP1
00001f5c: POP
00001f5d: DUP1
00001f5e: ISZERO
00001f5f: PUSH2 0x1fc2
00001f62: JUMPI
00001f63: DUP4
00001f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f79: AND
00001f7a: PUSH32 0xd62544fb5bfbdeb0d980cbea253f96b7293391ae1de4929651c0acd66b2d8d75
00001f9b: DUP4
00001f9c: TIMESTAMP
00001f9d: PUSH1 0x05
00001f9f: PUSH1 0x40
00001fa1: MLOAD
00001fa2: DUP1
00001fa3: DUP5
00001fa4: DUP2
00001fa5: MSTORE
00001fa6: PUSH1 0x20
00001fa8: ADD
00001fa9: DUP4
00001faa: DUP2
00001fab: MSTORE
00001fac: PUSH1 0x20
00001fae: ADD
00001faf: DUP3
00001fb0: DUP2
00001fb1: MSTORE
00001fb2: PUSH1 0x20
00001fb4: ADD
00001fb5: SWAP4
00001fb6: POP
00001fb7: POP
00001fb8: POP
00001fb9: POP
00001fba: PUSH1 0x40
00001fbc: MLOAD
00001fbd: DUP1
00001fbe: SWAP2
00001fbf: SUB
00001fc0: SWAP1
00001fc1: LOG2
00001fc2: JUMPDEST
00001fc3: POP
00001fc4: JUMPDEST
00001fc5: POP
00001fc6: POP
00001fc7: POP
00001fc8: JUMP
00001fc9: JUMPDEST
00001fca: PUSH1 0x00
00001fcc: PUSH1 0x07
00001fce: PUSH1 0x00
00001fd0: PUSH1 0x06
00001fd2: PUSH1 0x00
00001fd4: DUP7
00001fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fea: AND
00001feb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002000: AND
00002001: DUP2
00002002: MSTORE
00002003: PUSH1 0x20
00002005: ADD
00002006: SWAP1
00002007: DUP2
00002008: MSTORE
00002009: PUSH1 0x20
0000200b: ADD
0000200c: PUSH1 0x00
0000200e: KECCAK256
0000200f: PUSH1 0x02
00002011: ADD
00002012: SLOAD
00002013: DUP2
00002014: MSTORE
00002015: PUSH1 0x20
00002017: ADD
00002018: SWAP1
00002019: DUP2
0000201a: MSTORE
0000201b: PUSH1 0x20
0000201d: ADD
0000201e: PUSH1 0x00
00002020: KECCAK256
00002021: PUSH1 0x00
00002023: SWAP1
00002024: SLOAD
00002025: SWAP1
00002026: PUSH2 0x0100
00002029: EXP
0000202a: SWAP1
0000202b: DIV
0000202c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002041: AND
00002042: SWAP1
00002043: POP
00002044: PUSH1 0x00
00002046: DUP2
00002047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205c: AND
0000205d: PUSH2 0x08fc
00002060: PUSH1 0x03
00002062: PUSH1 0x00
00002064: DUP9
00002065: DUP2
00002066: MSTORE
00002067: PUSH1 0x20
00002069: ADD
0000206a: SWAP1
0000206b: DUP2
0000206c: MSTORE
0000206d: PUSH1 0x20
0000206f: ADD
00002070: PUSH1 0x00
00002072: KECCAK256
00002073: SLOAD
00002074: SWAP1
00002075: DUP2
00002076: ISZERO
00002077: MUL
00002078: SWAP1
00002079: PUSH1 0x40
0000207b: MLOAD
0000207c: PUSH1 0x00
0000207e: PUSH1 0x40
00002080: MLOAD
00002081: DUP1
00002082: DUP4
00002083: SUB
00002084: DUP2
00002085: DUP6
00002086: DUP9
00002087: DUP9
00002088: CALL
00002089: SWAP4
0000208a: POP
0000208b: POP
0000208c: POP
0000208d: POP
0000208e: SWAP1
0000208f: POP
00002090: DUP1
00002091: ISZERO
00002092: PUSH2 0x2173
00002095: JUMPI
00002096: CALLER
00002097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ac: AND
000020ad: DUP3
000020ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c3: AND
000020c4: PUSH32 0x48312df7d168f67e4d789b35dfb1e3246e9cf2b96d0af3b36134bf08cd3d728e
000020e5: DUP8
000020e6: TIMESTAMP
000020e7: DUP8
000020e8: PUSH1 0x40
000020ea: MLOAD
000020eb: DUP1
000020ec: DUP5
000020ed: DUP2
000020ee: MSTORE
000020ef: PUSH1 0x20
000020f1: ADD
000020f2: DUP4
000020f3: DUP2
000020f4: MSTORE
000020f5: PUSH1 0x20
000020f7: ADD
000020f8: DUP3
000020f9: DUP2
000020fa: MSTORE
000020fb: PUSH1 0x20
000020fd: ADD
000020fe: SWAP4
000020ff: POP
00002100: POP
00002101: POP
00002102: POP
00002103: PUSH1 0x40
00002105: MLOAD
00002106: DUP1
00002107: SWAP2
00002108: SUB
00002109: SWAP1
0000210a: LOG3
0000210b: PUSH1 0x05
0000210d: DUP6
0000210e: LT
0000210f: DUP1
00002110: ISZERO
00002111: PUSH2 0x215d
00002114: JUMPI
00002115: POP
00002116: PUSH1 0x01
00002118: PUSH1 0x06
0000211a: PUSH1 0x00
0000211c: DUP5
0000211d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002132: AND
00002133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002148: AND
00002149: DUP2
0000214a: MSTORE
0000214b: PUSH1 0x20
0000214d: ADD
0000214e: SWAP1
0000214f: DUP2
00002150: MSTORE
00002151: PUSH1 0x20
00002153: ADD
00002154: PUSH1 0x00
00002156: KECCAK256
00002157: PUSH1 0x02
00002159: ADD
0000215a: SLOAD
0000215b: LT
0000215c: ISZERO
0000215d: JUMPDEST
0000215e: ISZERO
0000215f: PUSH2 0x2172
00002162: JUMPI
00002163: PUSH2 0x2171
00002166: PUSH1 0x01
00002168: DUP7
00002169: ADD
0000216a: DUP4
0000216b: PUSH1 0x05
0000216d: PUSH2 0x1fc9
00002170: JUMP
00002171: JUMPDEST
00002172: JUMPDEST
00002173: JUMPDEST
00002174: POP
00002175: POP
00002176: POP
00002177: POP
00002178: POP
00002179: JUMP
0000217a: JUMPDEST
0000217b: PUSH1 0x40
0000217d: MLOAD
0000217e: DUP1
0000217f: PUSH1 0xc0
00002181: ADD
00002182: PUSH1 0x40
00002184: MSTORE
00002185: DUP1
00002186: PUSH1 0x00
00002188: ISZERO
00002189: ISZERO
0000218a: DUP2
0000218b: MSTORE
0000218c: PUSH1 0x20
0000218e: ADD
0000218f: PUSH1 0x00
00002191: DUP2
00002192: MSTORE
00002193: PUSH1 0x20
00002195: ADD
00002196: PUSH1 0x00
00002198: DUP2
00002199: MSTORE
0000219a: PUSH1 0x20
0000219c: ADD
0000219d: PUSH1 0x60
0000219f: DUP2
000021a0: MSTORE
000021a1: PUSH1 0x20
000021a3: ADD
000021a4: PUSH1 0x00
000021a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021bb: AND
000021bc: DUP2
000021bd: MSTORE
000021be: PUSH1 0x20
000021c0: ADD
000021c1: PUSH1 0x00
000021c3: DUP2
000021c4: MSTORE
000021c5: POP
000021c6: SWAP1
000021c7: JUMP
000021c8: JUMPDEST
000021c9: DUP3
000021ca: DUP1
000021cb: SLOAD
000021cc: DUP3
000021cd: DUP3
000021ce: SSTORE
000021cf: SWAP1
000021d0: PUSH1 0x00
000021d2: MSTORE
000021d3: PUSH1 0x20
000021d5: PUSH1 0x00
000021d7: KECCAK256
000021d8: SWAP1
000021d9: DUP2
000021da: ADD
000021db: SWAP3
000021dc: DUP3
000021dd: ISZERO
000021de: PUSH2 0x2241
000021e1: JUMPI
000021e2: SWAP2
000021e3: PUSH1 0x20
000021e5: MUL
000021e6: DUP3
000021e7: ADD
000021e8: JUMPDEST
000021e9: DUP3
000021ea: DUP2
000021eb: GT
000021ec: ISZERO
000021ed: PUSH2 0x2240
000021f0: JUMPI
000021f1: DUP3
000021f2: MLOAD
000021f3: DUP3
000021f4: PUSH1 0x00
000021f6: PUSH2 0x0100
000021f9: EXP
000021fa: DUP2
000021fb: SLOAD
000021fc: DUP2
000021fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002212: MUL
00002213: NOT
00002214: AND
00002215: SWAP1
00002216: DUP4
00002217: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000222c: AND
0000222d: MUL
0000222e: OR
0000222f: SWAP1
00002230: SSTORE
00002231: POP
00002232: SWAP2
00002233: PUSH1 0x20
00002235: ADD
00002236: SWAP2
00002237: SWAP1
00002238: PUSH1 0x01
0000223a: ADD
0000223b: SWAP1
0000223c: PUSH2 0x21e8
0000223f: JUMP
00002240: JUMPDEST
00002241: JUMPDEST
00002242: POP
00002243: SWAP1
00002244: POP
00002245: PUSH2 0x224e
00002248: SWAP2
00002249: SWAP1
0000224a: PUSH2 0x2252
0000224d: JUMP
0000224e: JUMPDEST
0000224f: POP
00002250: SWAP1
00002251: JUMP
00002252: JUMPDEST
00002253: PUSH2 0x2292
00002256: SWAP2
00002257: SWAP1
00002258: JUMPDEST
00002259: DUP1
0000225a: DUP3
0000225b: GT
0000225c: ISZERO
0000225d: PUSH2 0x228e
00002260: JUMPI
00002261: PUSH1 0x00
00002263: DUP2
00002264: DUP2
00002265: PUSH2 0x0100
00002268: EXP
00002269: DUP2
0000226a: SLOAD
0000226b: SWAP1
0000226c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002281: MUL
00002282: NOT
00002283: AND
00002284: SWAP1
00002285: SSTORE
00002286: POP
00002287: PUSH1 0x01
00002289: ADD
0000228a: PUSH2 0x2258
0000228d: JUMP
0000228e: JUMPDEST
0000228f: POP
00002290: SWAP1
00002291: JUMP
00002292: JUMPDEST
00002293: SWAP1
00002294: JUMP
00002295: INVALID
00002296: LOG2
00002297: PUSH6 0x627a7a723158
0000229e: KECCAK256
0000229f: UNKNOWN(0xCE)
000022a0: ORIGIN
000022a1: UNKNOWN(0xD0)
000022a2: OR
000022a3: SLT
000022a4: MLOAD
000022a5: INVALID
000022a6: UNKNOWN(0x26)
000022a7: CODESIZE
000022a8: ADD
000022a9: CALLCODE
000022aa: KECCAK256
000022ab: PUSH21 0x0da571b4e5764dec365406c76a5a22878d7b806473
000022c1: PUSH16

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": "0x89b9abcc",
            "selector": "0x89b9abcc",
            "calldata_variants": [
                "0x89b9abcc",
                "0x89b9abcc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa137f286",
            "selector": "0xa137f286",
            "calldata_variants": [
                "0xa137f286",
                "0xa137f2860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4e83a25",
            "selector": "0xd4e83a25",
            "calldata_variants": [
                "0xd4e83a25",
                "0xd4e83a250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd892f7e1",
            "selector": "0xd892f7e1",
            "calldata_variants": [
                "0xd892f7e1",
                "0xd892f7e10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ec0c3a5",
            "selector": "0x6ec0c3a5",
            "calldata_variants": [
                "0x6ec0c3a5",
                "0x6ec0c3a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70ed0ada",
            "selector": "0x70ed0ada",
            "calldata_variants": [
                "0x70ed0ada",
                "0x70ed0ada0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x79378e30",
            "selector": "0x79378e30",
            "calldata_variants": [
                "0x79378e30",
                "0x79378e300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20f5e73a",
            "selector": "0x20f5e73a",
            "calldata_variants": [
                "0x20f5e73a",
                "0x20f5e73a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 4635,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4830,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8864,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x165302fd33caa3c2cc55e4a3b56e8723bdf1d32cd112b57c85048b66044dbaec
call_targets: 0xc1e072751c7287a466844daeeee203ecaae34857
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x165302fd33caa3c2cc55e4a3b56e8723bdf1d32cd112b57c85048b66044dbaec",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc1e072751c7287a466844daeeee203ecaae34857"
    ],
    "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": "0x89b9abcc",
            "selector": "0x89b9abcc",
            "calldata_variants": [
                "0x89b9abcc",
                "0x89b9abcc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa137f286",
            "selector": "0xa137f286",
            "calldata_variants": [
                "0xa137f286",
                "0xa137f2860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4e83a25",
            "selector": "0xd4e83a25",
            "calldata_variants": [
                "0xd4e83a25",
                "0xd4e83a250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd892f7e1",
            "selector": "0xd892f7e1",
            "calldata_variants": [
                "0xd892f7e1",
                "0xd892f7e10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ec0c3a5",
            "selector": "0x6ec0c3a5",
            "calldata_variants": [
                "0x6ec0c3a5",
                "0x6ec0c3a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70ed0ada",
            "selector": "0x70ed0ada",
            "calldata_variants": [
                "0x70ed0ada",
                "0x70ed0ada0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x79378e30",
            "selector": "0x79378e30",
            "calldata_variants": [
                "0x79378e30",
                "0x79378e300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20f5e73a",
            "selector": "0x20f5e73a",
            "calldata_variants": [
                "0x20f5e73a",
                "0x20f5e73a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4963,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7523,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7634,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 4635,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4830,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8864,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 6
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x165302fd33caa3c2cc55e4a3b56e8723bdf1d32cd112b57c85048b66044dbaec
call_targets: 0xc1e072751c7287a466844daeeee203ecaae34857
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x165302fd33caa3c2cc55e4a3b56e8723bdf1d32cd112b57c85048b66044dbaec",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc1e072751c7287a466844daeeee203ecaae34857"
    ],
    "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": "0x89b9abcc",
            "selector": "0x89b9abcc",
            "calldata_variants": [
                "0x89b9abcc",
                "0x89b9abcc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa137f286",
            "selector": "0xa137f286",
            "calldata_variants": [
                "0xa137f286",
                "0xa137f2860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4e83a25",
            "selector": "0xd4e83a25",
            "calldata_variants": [
                "0xd4e83a25",
                "0xd4e83a250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd892f7e1",
            "selector": "0xd892f7e1",
            "calldata_variants": [
                "0xd892f7e1",
                "0xd892f7e10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ec0c3a5",
            "selector": "0x6ec0c3a5",
            "calldata_variants": [
                "0x6ec0c3a5",
                "0x6ec0c3a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70ed0ada",
            "selector": "0x70ed0ada",
            "calldata_variants": [
                "0x70ed0ada",
                "0x70ed0ada0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x79378e30",
            "selector": "0x79378e30",
            "calldata_variants": [
                "0x79378e30",
                "0x79378e300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20f5e73a",
            "selector": "0x20f5e73a",
            "calldata_variants": [
                "0x20f5e73a",
                "0x20f5e73a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4963,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7523,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7634,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 4635,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4830,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8864,
            "type": "tx_origin_used"
        }
    ]
}