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

Analysis Run

019b477e-be5f-7236-8c1e-aff137339a7e

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

back to vulns open contract
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
24375 artifact.fetch complete 1 / 3 3 months ago
24376 tool.cast_disasm complete 1 / 3 3 months ago
67822 analysis.bundle complete 1 / 3 2 weeks ago
67823 capability.graph complete 1 / 3 2 weeks ago
67824 detector.run complete 1 / 3 2 weeks ago
67825 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)
8
EXT*/BALANCE
5
Total opcodes
5156
Flags
heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x018f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x94427da9
00000019: GT
0000001a: PUSH2 0x00d6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb7c5ab41
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc6c3f3f9
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc6c3f3f9
0000003a: EQ
0000003b: PUSH2 0x06bf
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe61387e0
00000045: EQ
00000046: PUSH2 0x06ff
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf0eeed81
00000050: EQ
00000051: PUSH2 0x0714
00000054: JUMPI
00000055: PUSH2 0x01c9
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xb7c5ab41
00000060: EQ
00000061: PUSH2 0x0569
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc01bdf04
0000006b: EQ
0000006c: PUSH2 0x066a
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc03e798c
00000076: EQ
00000077: PUSH2 0x06aa
0000007a: JUMPI
0000007b: PUSH2 0x01c9
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xa840874f
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xa840874f
00000091: EQ
00000092: PUSH2 0x052a
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xae2e933b
0000009c: EQ
0000009d: PUSH2 0x053f
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xb45782c7
000000a7: EQ
000000a8: PUSH2 0x0554
000000ab: JUMPI
000000ac: PUSH2 0x01c9
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x94427da9
000000b7: EQ
000000b8: PUSH2 0x049f
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x9907672a
000000c2: EQ
000000c3: PUSH2 0x04d5
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xa636a8a2
000000cd: EQ
000000ce: PUSH2 0x0515
000000d1: JUMPI
000000d2: PUSH2 0x01c9
000000d5: JUMP
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0x64354d65
000000dd: GT
000000de: PUSH2 0x0138
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x770ba561
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x770ba561
000000f3: EQ
000000f4: PUSH2 0x041e
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x80feeef3
000000fe: EQ
000000ff: PUSH2 0x044c
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x8c9bc208
00000109: EQ
0000010a: PUSH2 0x0461
0000010d: JUMPI
0000010e: PUSH2 0x01c9
00000111: JUMP
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0x64354d65
00000119: EQ
0000011a: PUSH2 0x0333
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x66ab3fe6
00000124: EQ
00000125: PUSH2 0x0373
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x692bdfd5
0000012f: EQ
00000130: PUSH2 0x03d8
00000133: JUMPI
00000134: PUSH2 0x01c9
00000137: JUMP
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x2e4da25c
0000013f: GT
00000140: PUSH2 0x0169
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x2e4da25c
0000014a: EQ
0000014b: PUSH2 0x0277
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x53fa2eb7
00000155: EQ
00000156: PUSH2 0x02ad
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x579d6b74
00000160: EQ
00000161: PUSH2 0x02f3
00000164: JUMPI
00000165: PUSH2 0x01c9
00000168: JUMP
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH4 0x03339513
00000170: EQ
00000171: PUSH2 0x01ce
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x12efe834
0000017b: EQ
0000017c: PUSH2 0x0220
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x19db2228
00000186: EQ
00000187: PUSH2 0x0235
0000018a: JUMPI
0000018b: PUSH2 0x01c9
0000018e: JUMP
0000018f: JUMPDEST
00000190: CALLDATASIZE
00000191: PUSH2 0x01c9
00000194: JUMPI
00000195: PUSH1 0x40
00000197: DUP1
00000198: MLOAD
00000199: CALLVALUE
0000019a: DUP2
0000019b: MSTORE
0000019c: SWAP1
0000019d: MLOAD
0000019e: PUSH32 0x353bcaaf167a6add95a753d39727e3d3beb865129a69a10ed774b0b899671403
000001bf: SWAP2
000001c0: DUP2
000001c1: SWAP1
000001c2: SUB
000001c3: PUSH1 0x20
000001c5: ADD
000001c6: SWAP1
000001c7: LOG1
000001c8: STOP
000001c9: JUMPDEST
000001ca: PUSH1 0x00
000001cc: DUP1
000001cd: REVERT
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x020e
000001df: PUSH1 0x04
000001e1: DUP1
000001e2: CALLDATASIZE
000001e3: SUB
000001e4: PUSH1 0x20
000001e6: DUP2
000001e7: LT
000001e8: ISZERO
000001e9: PUSH2 0x01f1
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: POP
000001f3: CALLDATALOAD
000001f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000209: AND
0000020a: PUSH2 0x0729
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH1 0x40
00000211: DUP1
00000212: MLOAD
00000213: SWAP2
00000214: DUP3
00000215: MSTORE
00000216: MLOAD
00000217: SWAP1
00000218: DUP2
00000219: SWAP1
0000021a: SUB
0000021b: PUSH1 0x20
0000021d: ADD
0000021e: SWAP1
0000021f: RETURN
00000220: JUMPDEST
00000221: CALLVALUE
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022c
00000227: JUMPI
00000228: PUSH1 0x00
0000022a: DUP1
0000022b: REVERT
0000022c: JUMPDEST
0000022d: POP
0000022e: PUSH2 0x020e
00000231: PUSH2 0x073b
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x0275
00000246: PUSH1 0x04
00000248: DUP1
00000249: CALLDATASIZE
0000024a: SUB
0000024b: PUSH1 0x20
0000024d: DUP2
0000024e: LT
0000024f: ISZERO
00000250: PUSH2 0x0258
00000253: JUMPI
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: POP
0000025a: CALLDATALOAD
0000025b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000270: AND
00000271: PUSH2 0x0741
00000274: JUMP
00000275: JUMPDEST
00000276: STOP
00000277: JUMPDEST
00000278: CALLVALUE
00000279: DUP1
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: PUSH2 0x028c
00000288: PUSH2 0x08c2
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH1 0x40
0000028f: DUP1
00000290: MLOAD
00000291: PUSH2 0xffff
00000294: SWAP4
00000295: DUP5
00000296: AND
00000297: DUP2
00000298: MSTORE
00000299: SWAP2
0000029a: SWAP1
0000029b: SWAP3
0000029c: AND
0000029d: PUSH1 0x20
0000029f: DUP3
000002a0: ADD
000002a1: MSTORE
000002a2: DUP2
000002a3: MLOAD
000002a4: SWAP1
000002a5: DUP2
000002a6: SWAP1
000002a7: SUB
000002a8: SWAP1
000002a9: SWAP2
000002aa: ADD
000002ab: SWAP1
000002ac: RETURN
000002ad: JUMPDEST
000002ae: CALLVALUE
000002af: DUP1
000002b0: ISZERO
000002b1: PUSH2 0x02b9
000002b4: JUMPI
000002b5: PUSH1 0x00
000002b7: DUP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: POP
000002bb: PUSH2 0x020e
000002be: PUSH1 0x04
000002c0: DUP1
000002c1: CALLDATASIZE
000002c2: SUB
000002c3: PUSH1 0x40
000002c5: DUP2
000002c6: LT
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e7: DUP2
000002e8: CALLDATALOAD
000002e9: AND
000002ea: SWAP1
000002eb: PUSH1 0x20
000002ed: ADD
000002ee: CALLDATALOAD
000002ef: PUSH2 0x08d6
000002f2: JUMP
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02ff
000002fa: JUMPI
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: POP
00000301: PUSH2 0x020e
00000304: PUSH1 0x04
00000306: DUP1
00000307: CALLDATASIZE
00000308: SUB
00000309: PUSH1 0x20
0000030b: DUP2
0000030c: LT
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: CALLDATALOAD
00000319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000032e: AND
0000032f: PUSH2 0x08dd
00000332: JUMP
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x0275
00000344: PUSH1 0x04
00000346: DUP1
00000347: CALLDATASIZE
00000348: SUB
00000349: PUSH1 0x20
0000034b: DUP2
0000034c: LT
0000034d: ISZERO
0000034e: PUSH2 0x0356
00000351: JUMPI
00000352: PUSH1 0x00
00000354: DUP1
00000355: REVERT
00000356: JUMPDEST
00000357: POP
00000358: CALLDATALOAD
00000359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036e: AND
0000036f: PUSH2 0x08ef
00000372: JUMP
00000373: JUMPDEST
00000374: CALLVALUE
00000375: DUP1
00000376: ISZERO
00000377: PUSH2 0x037f
0000037a: JUMPI
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: REVERT
0000037f: JUMPDEST
00000380: POP
00000381: PUSH2 0x0388
00000384: PUSH2 0x0a70
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH1 0x40
0000038b: DUP1
0000038c: MLOAD
0000038d: PUSH1 0x20
0000038f: DUP1
00000390: DUP3
00000391: MSTORE
00000392: DUP4
00000393: MLOAD
00000394: DUP2
00000395: DUP4
00000396: ADD
00000397: MSTORE
00000398: DUP4
00000399: MLOAD
0000039a: SWAP2
0000039b: SWAP3
0000039c: DUP4
0000039d: SWAP3
0000039e: SWAP1
0000039f: DUP4
000003a0: ADD
000003a1: SWAP2
000003a2: DUP6
000003a3: DUP2
000003a4: ADD
000003a5: SWAP2
000003a6: MUL
000003a7: DUP1
000003a8: DUP4
000003a9: DUP4
000003aa: PUSH1 0x00
000003ac: JUMPDEST
000003ad: DUP4
000003ae: DUP2
000003af: LT
000003b0: ISZERO
000003b1: PUSH2 0x03c4
000003b4: JUMPI
000003b5: DUP2
000003b6: DUP2
000003b7: ADD
000003b8: MLOAD
000003b9: DUP4
000003ba: DUP3
000003bb: ADD
000003bc: MSTORE
000003bd: PUSH1 0x20
000003bf: ADD
000003c0: PUSH2 0x03ac
000003c3: JUMP
000003c4: JUMPDEST
000003c5: POP
000003c6: POP
000003c7: POP
000003c8: POP
000003c9: SWAP1
000003ca: POP
000003cb: ADD
000003cc: SWAP3
000003cd: POP
000003ce: POP
000003cf: POP
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: DUP1
000003d4: SWAP2
000003d5: SUB
000003d6: SWAP1
000003d7: RETURN
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x0275
000003e9: PUSH1 0x04
000003eb: DUP1
000003ec: CALLDATASIZE
000003ed: SUB
000003ee: PUSH1 0x40
000003f0: DUP2
000003f1: LT
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000412: DUP2
00000413: CALLDATALOAD
00000414: AND
00000415: SWAP1
00000416: PUSH1 0x20
00000418: ADD
00000419: CALLDATALOAD
0000041a: PUSH2 0x0adf
0000041d: JUMP
0000041e: JUMPDEST
0000041f: CALLVALUE
00000420: DUP1
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: PUSH2 0x0433
0000042f: PUSH2 0x0db7
00000432: JUMP
00000433: JUMPDEST
00000434: PUSH1 0x40
00000436: DUP1
00000437: MLOAD
00000438: SWAP3
00000439: DUP4
0000043a: MSTORE
0000043b: PUSH1 0x20
0000043d: DUP4
0000043e: ADD
0000043f: SWAP2
00000440: SWAP1
00000441: SWAP2
00000442: MSTORE
00000443: DUP1
00000444: MLOAD
00000445: SWAP2
00000446: DUP3
00000447: SWAP1
00000448: SUB
00000449: ADD
0000044a: SWAP1
0000044b: RETURN
0000044c: JUMPDEST
0000044d: CALLVALUE
0000044e: DUP1
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: POP
0000045a: PUSH2 0x020e
0000045d: PUSH2 0x0dcc
00000460: JUMP
00000461: JUMPDEST
00000462: CALLVALUE
00000463: DUP1
00000464: ISZERO
00000465: PUSH2 0x046d
00000468: JUMPI
00000469: PUSH1 0x00
0000046b: DUP1
0000046c: REVERT
0000046d: JUMPDEST
0000046e: POP
0000046f: PUSH2 0x0476
00000472: PUSH2 0x0dd2
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x40
00000479: DUP1
0000047a: MLOAD
0000047b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000490: SWAP1
00000491: SWAP3
00000492: AND
00000493: DUP3
00000494: MSTORE
00000495: MLOAD
00000496: SWAP1
00000497: DUP2
00000498: SWAP1
00000499: SUB
0000049a: PUSH1 0x20
0000049c: ADD
0000049d: SWAP1
0000049e: RETURN
0000049f: JUMPDEST
000004a0: CALLVALUE
000004a1: DUP1
000004a2: ISZERO
000004a3: PUSH2 0x04ab
000004a6: JUMPI
000004a7: PUSH1 0x00
000004a9: DUP1
000004aa: REVERT
000004ab: JUMPDEST
000004ac: POP
000004ad: PUSH2 0x0275
000004b0: PUSH1 0x04
000004b2: DUP1
000004b3: CALLDATASIZE
000004b4: SUB
000004b5: PUSH1 0x60
000004b7: DUP2
000004b8: LT
000004b9: ISZERO
000004ba: PUSH2 0x04c2
000004bd: JUMPI
000004be: PUSH1 0x00
000004c0: DUP1
000004c1: REVERT
000004c2: JUMPDEST
000004c3: POP
000004c4: DUP1
000004c5: CALLDATALOAD
000004c6: SWAP1
000004c7: PUSH1 0x20
000004c9: DUP2
000004ca: ADD
000004cb: CALLDATALOAD
000004cc: SWAP1
000004cd: PUSH1 0x40
000004cf: ADD
000004d0: CALLDATALOAD
000004d1: PUSH2 0x0dee
000004d4: JUMP
000004d5: JUMPDEST
000004d6: CALLVALUE
000004d7: DUP1
000004d8: ISZERO
000004d9: PUSH2 0x04e1
000004dc: JUMPI
000004dd: PUSH1 0x00
000004df: DUP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: POP
000004e3: PUSH2 0x020e
000004e6: PUSH1 0x04
000004e8: DUP1
000004e9: CALLDATASIZE
000004ea: SUB
000004eb: PUSH1 0x20
000004ed: DUP2
000004ee: LT
000004ef: ISZERO
000004f0: PUSH2 0x04f8
000004f3: JUMPI
000004f4: PUSH1 0x00
000004f6: DUP1
000004f7: REVERT
000004f8: JUMPDEST
000004f9: POP
000004fa: CALLDATALOAD
000004fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000510: AND
00000511: PUSH2 0x0fa7
00000514: JUMP
00000515: JUMPDEST
00000516: CALLVALUE
00000517: DUP1
00000518: ISZERO
00000519: PUSH2 0x0521
0000051c: JUMPI
0000051d: PUSH1 0x00
0000051f: DUP1
00000520: REVERT
00000521: JUMPDEST
00000522: POP
00000523: PUSH2 0x020e
00000526: PUSH2 0x12cb
00000529: JUMP
0000052a: JUMPDEST
0000052b: CALLVALUE
0000052c: DUP1
0000052d: ISZERO
0000052e: PUSH2 0x0536
00000531: JUMPI
00000532: PUSH1 0x00
00000534: DUP1
00000535: REVERT
00000536: JUMPDEST
00000537: POP
00000538: PUSH2 0x020e
0000053b: PUSH2 0x175c
0000053e: JUMP
0000053f: JUMPDEST
00000540: CALLVALUE
00000541: DUP1
00000542: ISZERO
00000543: PUSH2 0x054b
00000546: JUMPI
00000547: PUSH1 0x00
00000549: DUP1
0000054a: REVERT
0000054b: JUMPDEST
0000054c: POP
0000054d: PUSH2 0x0476
00000550: PUSH2 0x1871
00000553: JUMP
00000554: JUMPDEST
00000555: CALLVALUE
00000556: DUP1
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: POP
00000562: PUSH2 0x020e
00000565: PUSH2 0x188d
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH2 0x0275
0000056d: PUSH1 0x04
0000056f: DUP1
00000570: CALLDATASIZE
00000571: SUB
00000572: PUSH1 0xc0
00000574: DUP2
00000575: LT
00000576: ISZERO
00000577: PUSH2 0x057f
0000057a: JUMPI
0000057b: PUSH1 0x00
0000057d: DUP1
0000057e: REVERT
0000057f: JUMPDEST
00000580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000595: DUP3
00000596: CALLDATALOAD
00000597: AND
00000598: SWAP2
00000599: SWAP1
0000059a: DUP2
0000059b: ADD
0000059c: SWAP1
0000059d: PUSH1 0x40
0000059f: DUP2
000005a0: ADD
000005a1: PUSH1 0x20
000005a3: DUP3
000005a4: ADD
000005a5: CALLDATALOAD
000005a6: PUSH5 0x0100000000
000005ac: DUP2
000005ad: GT
000005ae: ISZERO
000005af: PUSH2 0x05b7
000005b2: JUMPI
000005b3: PUSH1 0x00
000005b5: DUP1
000005b6: REVERT
000005b7: JUMPDEST
000005b8: DUP3
000005b9: ADD
000005ba: DUP4
000005bb: PUSH1 0x20
000005bd: DUP3
000005be: ADD
000005bf: GT
000005c0: ISZERO
000005c1: PUSH2 0x05c9
000005c4: JUMPI
000005c5: PUSH1 0x00
000005c7: DUP1
000005c8: REVERT
000005c9: JUMPDEST
000005ca: DUP1
000005cb: CALLDATALOAD
000005cc: SWAP1
000005cd: PUSH1 0x20
000005cf: ADD
000005d0: SWAP2
000005d1: DUP5
000005d2: PUSH1 0x20
000005d4: DUP4
000005d5: MUL
000005d6: DUP5
000005d7: ADD
000005d8: GT
000005d9: PUSH5 0x0100000000
000005df: DUP4
000005e0: GT
000005e1: OR
000005e2: ISZERO
000005e3: PUSH2 0x05eb
000005e6: JUMPI
000005e7: PUSH1 0x00
000005e9: DUP1
000005ea: REVERT
000005eb: JUMPDEST
000005ec: SWAP2
000005ed: SWAP4
000005ee: SWAP1
000005ef: SWAP3
000005f0: SWAP1
000005f1: SWAP2
000005f2: PUSH1 0x20
000005f4: DUP2
000005f5: ADD
000005f6: SWAP1
000005f7: CALLDATALOAD
000005f8: PUSH5 0x0100000000
000005fe: DUP2
000005ff: GT
00000600: ISZERO
00000601: PUSH2 0x0609
00000604: JUMPI
00000605: PUSH1 0x00
00000607: DUP1
00000608: REVERT
00000609: JUMPDEST
0000060a: DUP3
0000060b: ADD
0000060c: DUP4
0000060d: PUSH1 0x20
0000060f: DUP3
00000610: ADD
00000611: GT
00000612: ISZERO
00000613: PUSH2 0x061b
00000616: JUMPI
00000617: PUSH1 0x00
00000619: DUP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: DUP1
0000061d: CALLDATALOAD
0000061e: SWAP1
0000061f: PUSH1 0x20
00000621: ADD
00000622: SWAP2
00000623: DUP5
00000624: PUSH1 0x20
00000626: DUP4
00000627: MUL
00000628: DUP5
00000629: ADD
0000062a: GT
0000062b: PUSH5 0x0100000000
00000631: DUP4
00000632: GT
00000633: OR
00000634: ISZERO
00000635: PUSH2 0x063d
00000638: JUMPI
00000639: PUSH1 0x00
0000063b: DUP1
0000063c: REVERT
0000063d: JUMPDEST
0000063e: SWAP2
0000063f: SWAP4
00000640: POP
00000641: SWAP2
00000642: POP
00000643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000658: DUP2
00000659: CALLDATALOAD
0000065a: AND
0000065b: SWAP1
0000065c: PUSH1 0x20
0000065e: DUP2
0000065f: ADD
00000660: CALLDATALOAD
00000661: SWAP1
00000662: PUSH1 0x40
00000664: ADD
00000665: CALLDATALOAD
00000666: PUSH2 0x18b1
00000669: JUMP
0000066a: JUMPDEST
0000066b: CALLVALUE
0000066c: DUP1
0000066d: ISZERO
0000066e: PUSH2 0x0676
00000671: JUMPI
00000672: PUSH1 0x00
00000674: DUP1
00000675: REVERT
00000676: JUMPDEST
00000677: POP
00000678: PUSH2 0x020e
0000067b: PUSH1 0x04
0000067d: DUP1
0000067e: CALLDATASIZE
0000067f: SUB
00000680: PUSH1 0x20
00000682: DUP2
00000683: LT
00000684: ISZERO
00000685: PUSH2 0x068d
00000688: JUMPI
00000689: PUSH1 0x00
0000068b: DUP1
0000068c: REVERT
0000068d: JUMPDEST
0000068e: POP
0000068f: CALLDATALOAD
00000690: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a5: AND
000006a6: PUSH2 0x1f86
000006a9: JUMP
000006aa: JUMPDEST
000006ab: CALLVALUE
000006ac: DUP1
000006ad: ISZERO
000006ae: PUSH2 0x06b6
000006b1: JUMPI
000006b2: PUSH1 0x00
000006b4: DUP1
000006b5: REVERT
000006b6: JUMPDEST
000006b7: POP
000006b8: PUSH2 0x020e
000006bb: PUSH2 0x22aa
000006be: JUMP
000006bf: JUMPDEST
000006c0: CALLVALUE
000006c1: DUP1
000006c2: ISZERO
000006c3: PUSH2 0x06cb
000006c6: JUMPI
000006c7: PUSH1 0x00
000006c9: DUP1
000006ca: REVERT
000006cb: JUMPDEST
000006cc: POP
000006cd: PUSH2 0x0275
000006d0: PUSH1 0x04
000006d2: DUP1
000006d3: CALLDATASIZE
000006d4: SUB
000006d5: PUSH1 0x20
000006d7: DUP2
000006d8: LT
000006d9: ISZERO
000006da: PUSH2 0x06e2
000006dd: JUMPI
000006de: PUSH1 0x00
000006e0: DUP1
000006e1: REVERT
000006e2: JUMPDEST
000006e3: POP
000006e4: CALLDATALOAD
000006e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006fa: AND
000006fb: PUSH2 0x22b0
000006fe: JUMP
000006ff: JUMPDEST
00000700: CALLVALUE
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: POP
0000070d: PUSH2 0x0476
00000710: PUSH2 0x2454
00000713: JUMP
00000714: JUMPDEST
00000715: CALLVALUE
00000716: DUP1
00000717: ISZERO
00000718: PUSH2 0x0720
0000071b: JUMPI
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: REVERT
00000720: JUMPDEST
00000721: POP
00000722: PUSH2 0x0476
00000725: PUSH2 0x2478
00000728: JUMP
00000729: JUMPDEST
0000072a: PUSH1 0x07
0000072c: PUSH1 0x20
0000072e: MSTORE
0000072f: PUSH1 0x00
00000731: SWAP1
00000732: DUP2
00000733: MSTORE
00000734: PUSH1 0x40
00000736: SWAP1
00000737: KECCAK256
00000738: SLOAD
00000739: DUP2
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x09
0000073e: SLOAD
0000073f: DUP2
00000740: JUMP
00000741: JUMPDEST
00000742: PUSH1 0x01
00000744: SLOAD
00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075a: AND
0000075b: CALLER
0000075c: EQ
0000075d: PUSH2 0x07c7
00000760: JUMPI
00000761: PUSH1 0x40
00000763: DUP1
00000764: MLOAD
00000765: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000786: DUP2
00000787: MSTORE
00000788: PUSH1 0x20
0000078a: PUSH1 0x04
0000078c: DUP3
0000078d: ADD
0000078e: MSTORE
0000078f: PUSH1 0x10
00000791: PUSH1 0x24
00000793: DUP3
00000794: ADD
00000795: MSTORE
00000796: PUSH32 0x6f6e6c792064616f4f70657261746f7200000000000000000000000000000000
000007b7: PUSH1 0x44
000007b9: DUP3
000007ba: ADD
000007bb: MSTORE
000007bc: SWAP1
000007bd: MLOAD
000007be: SWAP1
000007bf: DUP2
000007c0: SWAP1
000007c1: SUB
000007c2: PUSH1 0x64
000007c4: ADD
000007c5: SWAP1
000007c6: REVERT
000007c7: JUMPDEST
000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007dd: DUP2
000007de: AND
000007df: PUSH2 0x0849
000007e2: JUMPI
000007e3: PUSH1 0x40
000007e5: DUP1
000007e6: MLOAD
000007e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000808: DUP2
00000809: MSTORE
0000080a: PUSH1 0x20
0000080c: PUSH1 0x04
0000080e: DUP3
0000080f: ADD
00000810: MSTORE
00000811: PUSH1 0x09
00000813: PUSH1 0x24
00000815: DUP3
00000816: ADD
00000817: MSTORE
00000818: PUSH32 0x666565506f6f6c20300000000000000000000000000000000000000000000000
00000839: PUSH1 0x44
0000083b: DUP3
0000083c: ADD
0000083d: MSTORE
0000083e: SWAP1
0000083f: MLOAD
00000840: SWAP1
00000841: DUP2
00000842: SWAP1
00000843: SUB
00000844: PUSH1 0x64
00000846: ADD
00000847: SWAP1
00000848: REVERT
00000849: JUMPDEST
0000084a: PUSH1 0x03
0000084c: DUP1
0000084d: SLOAD
0000084e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000863: DUP4
00000864: AND
00000865: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000886: SWAP1
00000887: SWAP2
00000888: AND
00000889: DUP2
0000088a: OR
0000088b: SWAP1
0000088c: SWAP2
0000088d: SSTORE
0000088e: PUSH1 0x40
00000890: DUP1
00000891: MLOAD
00000892: SWAP2
00000893: DUP3
00000894: MSTORE
00000895: MLOAD
00000896: PUSH32 0x6d1d088acfe4f30d6014f6f693c61c16258f9784a6ed8439b2c59213eecb6295
000008b7: SWAP2
000008b8: DUP2
000008b9: SWAP1
000008ba: SUB
000008bb: PUSH1 0x20
000008bd: ADD
000008be: SWAP1
000008bf: LOG1
000008c0: POP
000008c1: JUMP
000008c2: JUMPDEST
000008c3: PUSH1 0x05
000008c5: SLOAD
000008c6: PUSH2 0xffff
000008c9: DUP1
000008ca: DUP3
000008cb: AND
000008cc: SWAP2
000008cd: PUSH3 0x010000
000008d1: SWAP1
000008d2: DIV
000008d3: AND
000008d4: DUP3
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x00
000008d9: DUP1
000008da: PUSH1 0x00
000008dc: REVERT
000008dd: JUMPDEST
000008de: PUSH1 0x08
000008e0: PUSH1 0x20
000008e2: MSTORE
000008e3: PUSH1 0x00
000008e5: SWAP1
000008e6: DUP2
000008e7: MSTORE
000008e8: PUSH1 0x40
000008ea: SWAP1
000008eb: KECCAK256
000008ec: SLOAD
000008ed: DUP2
000008ee: JUMP
000008ef: JUMPDEST
000008f0: PUSH1 0x01
000008f2: SLOAD
000008f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000908: AND
00000909: CALLER
0000090a: EQ
0000090b: PUSH2 0x0975
0000090e: JUMPI
0000090f: PUSH1 0x40
00000911: DUP1
00000912: MLOAD
00000913: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000934: DUP2
00000935: MSTORE
00000936: PUSH1 0x20
00000938: PUSH1 0x04
0000093a: DUP3
0000093b: ADD
0000093c: MSTORE
0000093d: PUSH1 0x10
0000093f: PUSH1 0x24
00000941: DUP3
00000942: ADD
00000943: MSTORE
00000944: PUSH32 0x6f6e6c792064616f4f70657261746f7200000000000000000000000000000000
00000965: PUSH1 0x44
00000967: DUP3
00000968: ADD
00000969: MSTORE
0000096a: SWAP1
0000096b: MLOAD
0000096c: SWAP1
0000096d: DUP2
0000096e: SWAP1
0000096f: SUB
00000970: PUSH1 0x64
00000972: ADD
00000973: SWAP1
00000974: REVERT
00000975: JUMPDEST
00000976: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098b: DUP2
0000098c: AND
0000098d: PUSH2 0x09f7
00000990: JUMPI
00000991: PUSH1 0x40
00000993: DUP1
00000994: MLOAD
00000995: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009b6: DUP2
000009b7: MSTORE
000009b8: PUSH1 0x20
000009ba: PUSH1 0x04
000009bc: DUP3
000009bd: ADD
000009be: MSTORE
000009bf: PUSH1 0x0d
000009c1: PUSH1 0x24
000009c3: DUP3
000009c4: ADD
000009c5: MSTORE
000009c6: PUSH32 0x64616f4f70657261746f72203000000000000000000000000000000000000000
000009e7: PUSH1 0x44
000009e9: DUP3
000009ea: ADD
000009eb: MSTORE
000009ec: SWAP1
000009ed: MLOAD
000009ee: SWAP1
000009ef: DUP2
000009f0: SWAP1
000009f1: SUB
000009f2: PUSH1 0x64
000009f4: ADD
000009f5: SWAP1
000009f6: REVERT
000009f7: JUMPDEST
000009f8: PUSH1 0x01
000009fa: DUP1
000009fb: SLOAD
000009fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a11: DUP4
00000a12: AND
00000a13: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000a34: SWAP1
00000a35: SWAP2
00000a36: AND
00000a37: DUP2
00000a38: OR
00000a39: SWAP1
00000a3a: SWAP2
00000a3b: SSTORE
00000a3c: PUSH1 0x40
00000a3e: DUP1
00000a3f: MLOAD
00000a40: SWAP2
00000a41: DUP3
00000a42: MSTORE
00000a43: MLOAD
00000a44: PUSH32 0xadf9b628cb2a4e665382961f42205fce0577c0bb2c0e31ef9f87f4a35033c691
00000a65: SWAP2
00000a66: DUP2
00000a67: SWAP1
00000a68: SUB
00000a69: PUSH1 0x20
00000a6b: ADD
00000a6c: SWAP1
00000a6d: LOG1
00000a6e: POP
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH1 0x60
00000a73: PUSH1 0x0a
00000a75: DUP1
00000a76: SLOAD
00000a77: DUP1
00000a78: PUSH1 0x20
00000a7a: MUL
00000a7b: PUSH1 0x20
00000a7d: ADD
00000a7e: PUSH1 0x40
00000a80: MLOAD
00000a81: SWAP1
00000a82: DUP2
00000a83: ADD
00000a84: PUSH1 0x40
00000a86: MSTORE
00000a87: DUP1
00000a88: SWAP3
00000a89: SWAP2
00000a8a: SWAP1
00000a8b: DUP2
00000a8c: DUP2
00000a8d: MSTORE
00000a8e: PUSH1 0x20
00000a90: ADD
00000a91: DUP3
00000a92: DUP1
00000a93: SLOAD
00000a94: DUP1
00000a95: ISZERO
00000a96: PUSH2 0x0ad5
00000a99: JUMPI
00000a9a: PUSH1 0x20
00000a9c: MUL
00000a9d: DUP3
00000a9e: ADD
00000a9f: SWAP2
00000aa0: SWAP1
00000aa1: PUSH1 0x00
00000aa3: MSTORE
00000aa4: PUSH1 0x20
00000aa6: PUSH1 0x00
00000aa8: KECCAK256
00000aa9: SWAP1
00000aaa: JUMPDEST
00000aab: DUP2
00000aac: SLOAD
00000aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac2: AND
00000ac3: DUP2
00000ac4: MSTORE
00000ac5: PUSH1 0x01
00000ac7: SWAP1
00000ac8: SWAP2
00000ac9: ADD
00000aca: SWAP1
00000acb: PUSH1 0x20
00000acd: ADD
00000ace: DUP1
00000acf: DUP4
00000ad0: GT
00000ad1: PUSH2 0x0aaa
00000ad4: JUMPI
00000ad5: JUMPDEST
00000ad6: POP
00000ad7: POP
00000ad8: POP
00000ad9: POP
00000ada: POP
00000adb: SWAP1
00000adc: POP
00000add: SWAP1
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: PUSH1 0x01
00000ae2: SLOAD
00000ae3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af8: AND
00000af9: CALLER
00000afa: EQ
00000afb: PUSH2 0x0b65
00000afe: JUMPI
00000aff: PUSH1 0x40
00000b01: DUP1
00000b02: MLOAD
00000b03: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH1 0x20
00000b28: PUSH1 0x04
00000b2a: DUP3
00000b2b: ADD
00000b2c: MSTORE
00000b2d: PUSH1 0x10
00000b2f: PUSH1 0x24
00000b31: DUP3
00000b32: ADD
00000b33: MSTORE
00000b34: PUSH32 0x6f6e6c792064616f4f70657261746f7200000000000000000000000000000000
00000b55: PUSH1 0x44
00000b57: DUP3
00000b58: ADD
00000b59: MSTORE
00000b5a: SWAP1
00000b5b: MLOAD
00000b5c: SWAP1
00000b5d: DUP2
00000b5e: SWAP1
00000b5f: SUB
00000b60: PUSH1 0x64
00000b62: ADD
00000b63: SWAP1
00000b64: REVERT
00000b65: JUMPDEST
00000b66: PUSH1 0x00
00000b68: DUP2
00000b69: GT
00000b6a: PUSH2 0x0bd4
00000b6d: JUMPI
00000b6e: PUSH1 0x40
00000b70: DUP1
00000b71: MLOAD
00000b72: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x20
00000b97: PUSH1 0x04
00000b99: DUP3
00000b9a: ADD
00000b9b: MSTORE
00000b9c: PUSH1 0x0f
00000b9e: PUSH1 0x24
00000ba0: DUP3
00000ba1: ADD
00000ba2: MSTORE
00000ba3: PUSH32 0x5f776569546f4275726e20697320300000000000000000000000000000000000
00000bc4: PUSH1 0x44
00000bc6: DUP3
00000bc7: ADD
00000bc8: MSTORE
00000bc9: SWAP1
00000bca: MLOAD
00000bcb: SWAP1
00000bcc: DUP2
00000bcd: SWAP1
00000bce: SUB
00000bcf: PUSH1 0x64
00000bd1: ADD
00000bd2: SWAP1
00000bd3: REVERT
00000bd4: JUMPDEST
00000bd5: PUSH1 0x0a
00000bd7: SLOAD
00000bd8: ISZERO
00000bd9: DUP1
00000bda: PUSH2 0x0c15
00000bdd: JUMPI
00000bde: POP
00000bdf: PUSH1 0x0a
00000be1: PUSH1 0x00
00000be3: DUP2
00000be4: SLOAD
00000be5: DUP2
00000be6: LT
00000be7: PUSH2 0x0bec
00000bea: JUMPI
00000beb: INVALID
00000bec: JUMPDEST
00000bed: PUSH1 0x00
00000bef: SWAP2
00000bf0: DUP3
00000bf1: MSTORE
00000bf2: PUSH1 0x20
00000bf4: SWAP1
00000bf5: SWAP2
00000bf6: KECCAK256
00000bf7: ADD
00000bf8: SLOAD
00000bf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0e: DUP4
00000c0f: DUP2
00000c10: AND
00000c11: SWAP2
00000c12: AND
00000c13: EQ
00000c14: ISZERO
00000c15: JUMPDEST
00000c16: ISZERO
00000c17: PUSH2 0x0d5d
00000c1a: JUMPI
00000c1b: PUSH1 0x0a
00000c1d: SLOAD
00000c1e: PUSH2 0x0c96
00000c21: JUMPI
00000c22: PUSH1 0x0a
00000c24: DUP1
00000c25: SLOAD
00000c26: PUSH1 0x01
00000c28: DUP2
00000c29: ADD
00000c2a: DUP3
00000c2b: SSTORE
00000c2c: PUSH1 0x00
00000c2e: SWAP2
00000c2f: SWAP1
00000c30: SWAP2
00000c31: MSTORE
00000c32: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8
00000c53: ADD
00000c54: DUP1
00000c55: SLOAD
00000c56: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000c77: AND
00000c78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8d: DUP5
00000c8e: AND
00000c8f: OR
00000c90: SWAP1
00000c91: SSTORE
00000c92: PUSH2 0x0d5d
00000c95: JUMP
00000c96: JUMPDEST
00000c97: PUSH1 0x0a
00000c99: DUP1
00000c9a: PUSH1 0x00
00000c9c: DUP2
00000c9d: SLOAD
00000c9e: DUP2
00000c9f: LT
00000ca0: PUSH2 0x0ca5
00000ca3: JUMPI
00000ca4: INVALID
00000ca5: JUMPDEST
00000ca6: PUSH1 0x00
00000ca8: SWAP2
00000ca9: DUP3
00000caa: MSTORE
00000cab: PUSH1 0x20
00000cad: DUP1
00000cae: DUP4
00000caf: KECCAK256
00000cb0: SWAP1
00000cb1: SWAP2
00000cb2: ADD
00000cb3: SLOAD
00000cb4: DUP4
00000cb5: SLOAD
00000cb6: PUSH1 0x01
00000cb8: DUP2
00000cb9: ADD
00000cba: DUP6
00000cbb: SSTORE
00000cbc: SWAP4
00000cbd: DUP4
00000cbe: MSTORE
00000cbf: SWAP1
00000cc0: DUP3
00000cc1: KECCAK256
00000cc2: SWAP1
00000cc3: SWAP3
00000cc4: ADD
00000cc5: DUP1
00000cc6: SLOAD
00000cc7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000ce8: AND
00000ce9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfe: SWAP1
00000cff: SWAP4
00000d00: AND
00000d01: SWAP3
00000d02: SWAP1
00000d03: SWAP3
00000d04: OR
00000d05: SWAP1
00000d06: SWAP2
00000d07: SSTORE
00000d08: PUSH1 0x0a
00000d0a: DUP1
00000d0b: SLOAD
00000d0c: DUP5
00000d0d: SWAP3
00000d0e: SWAP1
00000d0f: PUSH2 0x0d14
00000d12: JUMPI
00000d13: INVALID
00000d14: JUMPDEST
00000d15: SWAP1
00000d16: PUSH1 0x00
00000d18: MSTORE
00000d19: PUSH1 0x20
00000d1b: PUSH1 0x00
00000d1d: KECCAK256
00000d1e: ADD
00000d1f: PUSH1 0x00
00000d21: PUSH2 0x0100
00000d24: EXP
00000d25: DUP2
00000d26: SLOAD
00000d27: DUP2
00000d28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3d: MUL
00000d3e: NOT
00000d3f: AND
00000d40: SWAP1
00000d41: DUP4
00000d42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d57: AND
00000d58: MUL
00000d59: OR
00000d5a: SWAP1
00000d5b: SSTORE
00000d5c: POP
00000d5d: JUMPDEST
00000d5e: PUSH1 0x06
00000d60: DUP2
00000d61: SWAP1
00000d62: SSTORE
00000d63: PUSH1 0x40
00000d65: DUP1
00000d66: MLOAD
00000d67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7c: DUP5
00000d7d: AND
00000d7e: DUP2
00000d7f: MSTORE
00000d80: PUSH1 0x20
00000d82: DUP2
00000d83: ADD
00000d84: DUP4
00000d85: SWAP1
00000d86: MSTORE
00000d87: DUP2
00000d88: MLOAD
00000d89: PUSH32 0xe40f97f23269c4682610e9b2522d6d4272ee56f115906d71fcb3da82a860f755
00000daa: SWAP3
00000dab: SWAP2
00000dac: DUP2
00000dad: SWAP1
00000dae: SUB
00000daf: SWAP1
00000db0: SWAP2
00000db1: ADD
00000db2: SWAP1
00000db3: LOG1
00000db4: POP
00000db5: POP
00000db6: JUMP
00000db7: JUMPDEST
00000db8: PUSH1 0x05
00000dba: SLOAD
00000dbb: PUSH2 0xffff
00000dbe: DUP1
00000dbf: DUP3
00000dc0: AND
00000dc1: SWAP3
00000dc2: PUSH3 0x010000
00000dc6: SWAP1
00000dc7: SWAP3
00000dc8: DIV
00000dc9: AND
00000dca: SWAP1
00000dcb: JUMP
00000dcc: JUMPDEST
00000dcd: PUSH1 0x06
00000dcf: SLOAD
00000dd0: DUP2
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: PUSH1 0x01
00000dd5: SLOAD
00000dd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000deb: AND
00000dec: DUP2
00000ded: JUMP
00000dee: JUMPDEST
00000def: PUSH1 0x01
00000df1: SLOAD
00000df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e07: AND
00000e08: CALLER
00000e09: EQ
00000e0a: PUSH2 0x0e74
00000e0d: JUMPI
00000e0e: PUSH1 0x40
00000e10: DUP1
00000e11: MLOAD
00000e12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e33: DUP2
00000e34: MSTORE
00000e35: PUSH1 0x20
00000e37: PUSH1 0x04
00000e39: DUP3
00000e3a: ADD
00000e3b: MSTORE
00000e3c: PUSH1 0x10
00000e3e: PUSH1 0x24
00000e40: DUP3
00000e41: ADD
00000e42: MSTORE
00000e43: PUSH32 0x6f6e6c792064616f4f70657261746f7200000000000000000000000000000000
00000e64: PUSH1 0x44
00000e66: DUP3
00000e67: ADD
00000e68: MSTORE
00000e69: SWAP1
00000e6a: MLOAD
00000e6b: SWAP1
00000e6c: DUP2
00000e6d: SWAP1
00000e6e: SUB
00000e6f: PUSH1 0x64
00000e71: ADD
00000e72: SWAP1
00000e73: REVERT
00000e74: JUMPDEST
00000e75: PUSH2 0x2710
00000e78: PUSH2 0x0e97
00000e7b: DUP3
00000e7c: PUSH2 0x0e8b
00000e7f: DUP7
00000e80: DUP7
00000e81: PUSH4 0xffffffff
00000e86: PUSH2 0x2494
00000e89: AND
00000e8a: JUMP
00000e8b: JUMPDEST
00000e8c: SWAP1
00000e8d: PUSH4 0xffffffff
00000e92: PUSH2 0x2494
00000e95: AND
00000e96: JUMP
00000e97: JUMPDEST
00000e98: EQ
00000e99: PUSH2 0x0f03
00000e9c: JUMPI
00000e9d: PUSH1 0x40
00000e9f: DUP1
00000ea0: MLOAD
00000ea1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ec2: DUP2
00000ec3: MSTORE
00000ec4: PUSH1 0x20
00000ec6: PUSH1 0x04
00000ec8: DUP3
00000ec9: ADD
00000eca: MSTORE
00000ecb: PUSH1 0x0e
00000ecd: PUSH1 0x24
00000ecf: DUP3
00000ed0: ADD
00000ed1: MSTORE
00000ed2: PUSH32 0x426164204252522076616c756573000000000000000000000000000000000000
00000ef3: PUSH1 0x44
00000ef5: DUP3
00000ef6: ADD
00000ef7: MSTORE
00000ef8: SWAP1
00000ef9: MLOAD
00000efa: SWAP1
00000efb: DUP2
00000efc: SWAP1
00000efd: SUB
00000efe: PUSH1 0x64
00000f00: ADD
00000f01: SWAP1
00000f02: REVERT
00000f03: JUMPDEST
00000f04: PUSH1 0x05
00000f06: DUP1
00000f07: SLOAD
00000f08: PUSH2 0xffff
00000f0b: DUP4
00000f0c: DUP2
00000f0d: AND
00000f0e: PUSH3 0x010000
00000f12: MUL
00000f13: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000ffff
00000f34: SWAP2
00000f35: DUP7
00000f36: AND
00000f37: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000
00000f58: SWAP1
00000f59: SWAP4
00000f5a: AND
00000f5b: SWAP3
00000f5c: SWAP1
00000f5d: SWAP3
00000f5e: OR
00000f5f: AND
00000f60: OR
00000f61: SWAP1
00000f62: SSTORE
00000f63: PUSH1 0x40
00000f65: DUP1
00000f66: MLOAD
00000f67: DUP4
00000f68: DUP2
00000f69: MSTORE
00000f6a: PUSH1 0x20
00000f6c: DUP2
00000f6d: ADD
00000f6e: DUP4
00000f6f: SWAP1
00000f70: MSTORE
00000f71: DUP1
00000f72: DUP3
00000f73: ADD
00000f74: DUP6
00000f75: SWAP1
00000f76: MSTORE
00000f77: SWAP1
00000f78: MLOAD
00000f79: PUSH32 0x7806a23da6d7c83c8caf5e3fc8ec22c30900a5fcf10e266ac158ad3c9e3384c4
00000f9a: SWAP2
00000f9b: DUP2
00000f9c: SWAP1
00000f9d: SUB
00000f9e: PUSH1 0x60
00000fa0: ADD
00000fa1: SWAP1
00000fa2: LOG1
00000fa3: POP
00000fa4: POP
00000fa5: POP
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: PUSH1 0x01
00000faa: SLOAD
00000fab: PUSH1 0x00
00000fad: SWAP1
00000fae: PUSH21 0x010000000000000000000000000000000000000000
00000fc4: SWAP1
00000fc5: DIV
00000fc6: PUSH1 0xff
00000fc8: AND
00000fc9: PUSH2 0x1033
00000fcc: JUMPI
00000fcd: PUSH1 0x40
00000fcf: DUP1
00000fd0: MLOAD
00000fd1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ff2: DUP2
00000ff3: MSTORE
00000ff4: PUSH1 0x20
00000ff6: PUSH1 0x04
00000ff8: DUP3
00000ff9: ADD
00000ffa: MSTORE
00000ffb: PUSH1 0x1f
00000ffd: PUSH1 0x24
00000fff: DUP3
00001000: ADD
00001001: MSTORE
00001002: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001023: PUSH1 0x44
00001025: DUP3
00001026: ADD
00001027: MSTORE
00001028: SWAP1
00001029: MLOAD
0000102a: SWAP1
0000102b: DUP2
0000102c: SWAP1
0000102d: SUB
0000102e: PUSH1 0x64
00001030: ADD
00001031: SWAP1
00001032: REVERT
00001033: JUMPDEST
00001034: PUSH1 0x01
00001036: DUP1
00001037: SLOAD
00001038: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00001059: AND
0000105a: DUP2
0000105b: SSTORE
0000105c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001071: DUP4
00001072: AND
00001073: PUSH1 0x00
00001075: SWAP1
00001076: DUP2
00001077: MSTORE
00001078: PUSH1 0x07
0000107a: PUSH1 0x20
0000107c: MSTORE
0000107d: PUSH1 0x40
0000107f: SWAP1
00001080: KECCAK256
00001081: SLOAD
00001082: GT
00001083: PUSH2 0x10ed
00001086: JUMPI
00001087: PUSH1 0x40
00001089: DUP1
0000108a: MLOAD
0000108b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010ac: DUP2
000010ad: MSTORE
000010ae: PUSH1 0x20
000010b0: PUSH1 0x04
000010b2: DUP3
000010b3: ADD
000010b4: MSTORE
000010b5: PUSH1 0x0f
000010b7: PUSH1 0x24
000010b9: DUP3
000010ba: ADD
000010bb: MSTORE
000010bc: PUSH32 0x6e6f2066656520746f20636c61696d0000000000000000000000000000000000
000010dd: PUSH1 0x44
000010df: DUP3
000010e0: ADD
000010e1: MSTORE
000010e2: SWAP1
000010e3: MLOAD
000010e4: SWAP1
000010e5: DUP2
000010e6: SWAP1
000010e7: SUB
000010e8: PUSH1 0x64
000010ea: ADD
000010eb: SWAP1
000010ec: REVERT
000010ed: JUMPDEST
000010ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001103: DUP3
00001104: AND
00001105: PUSH1 0x00
00001107: SWAP1
00001108: DUP2
00001109: MSTORE
0000110a: PUSH1 0x07
0000110c: PUSH1 0x20
0000110e: MSTORE
0000110f: PUSH1 0x40
00001111: SWAP1
00001112: KECCAK256
00001113: SLOAD
00001114: PUSH2 0x1124
00001117: SWAP1
00001118: PUSH1 0x01
0000111a: PUSH4 0xffffffff
0000111f: PUSH2 0x2511
00001122: AND
00001123: JUMP
00001124: JUMPDEST
00001125: SWAP1
00001126: POP
00001127: DUP1
00001128: PUSH1 0x09
0000112a: SLOAD
0000112b: LT
0000112c: ISZERO
0000112d: PUSH2 0x1132
00001130: JUMPI
00001131: INVALID
00001132: JUMPDEST
00001133: PUSH1 0x09
00001135: SLOAD
00001136: PUSH2 0x1145
00001139: SWAP1
0000113a: DUP3
0000113b: PUSH4 0xffffffff
00001140: PUSH2 0x2511
00001143: AND
00001144: JUMP
00001145: JUMPDEST
00001146: PUSH1 0x09
00001148: SSTORE
00001149: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115e: DUP3
0000115f: AND
00001160: PUSH1 0x00
00001162: DUP2
00001163: DUP2
00001164: MSTORE
00001165: PUSH1 0x07
00001167: PUSH1 0x20
00001169: MSTORE
0000116a: PUSH1 0x40
0000116c: DUP1
0000116d: DUP3
0000116e: KECCAK256
0000116f: PUSH1 0x01
00001171: SWAP1
00001172: SSTORE
00001173: MLOAD
00001174: SWAP1
00001175: SWAP2
00001176: SWAP1
00001177: DUP4
00001178: SWAP1
00001179: DUP4
0000117a: DUP2
0000117b: DUP2
0000117c: DUP2
0000117d: DUP6
0000117e: DUP8
0000117f: GAS
00001180: CALL
00001181: SWAP3
00001182: POP
00001183: POP
00001184: POP
00001185: RETURNDATASIZE
00001186: DUP1
00001187: PUSH1 0x00
00001189: DUP2
0000118a: EQ
0000118b: PUSH2 0x11b0
0000118e: JUMPI
0000118f: PUSH1 0x40
00001191: MLOAD
00001192: SWAP2
00001193: POP
00001194: PUSH1 0x1f
00001196: NOT
00001197: PUSH1 0x3f
00001199: RETURNDATASIZE
0000119a: ADD
0000119b: AND
0000119c: DUP3
0000119d: ADD
0000119e: PUSH1 0x40
000011a0: MSTORE
000011a1: RETURNDATASIZE
000011a2: DUP3
000011a3: MSTORE
000011a4: RETURNDATASIZE
000011a5: PUSH1 0x00
000011a7: PUSH1 0x20
000011a9: DUP5
000011aa: ADD
000011ab: RETURNDATACOPY
000011ac: PUSH2 0x11b5
000011af: JUMP
000011b0: JUMPDEST
000011b1: PUSH1 0x60
000011b3: SWAP2
000011b4: POP
000011b5: JUMPDEST
000011b6: POP
000011b7: POP
000011b8: SWAP1
000011b9: POP
000011ba: DUP1
000011bb: PUSH2 0x1225
000011be: JUMPI
000011bf: PUSH1 0x40
000011c1: DUP1
000011c2: MLOAD
000011c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011e4: DUP2
000011e5: MSTORE
000011e6: PUSH1 0x20
000011e8: PUSH1 0x04
000011ea: DUP3
000011eb: ADD
000011ec: MSTORE
000011ed: PUSH1 0x1c
000011ef: PUSH1 0x24
000011f1: DUP3
000011f2: ADD
000011f3: MSTORE
000011f4: PUSH32 0x706c6174666f726d20666565207472616e73666572206661696c656400000000
00001215: PUSH1 0x44
00001217: DUP3
00001218: ADD
00001219: MSTORE
0000121a: SWAP1
0000121b: MLOAD
0000121c: SWAP1
0000121d: DUP2
0000121e: SWAP1
0000121f: SUB
00001220: PUSH1 0x64
00001222: ADD
00001223: SWAP1
00001224: REVERT
00001225: JUMPDEST
00001226: PUSH1 0x40
00001228: DUP1
00001229: MLOAD
0000122a: DUP4
0000122b: DUP2
0000122c: MSTORE
0000122d: SWAP1
0000122e: MLOAD
0000122f: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001244: SWAP2
00001245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125a: DUP7
0000125b: AND
0000125c: SWAP2
0000125d: PUSH32 0xebe3db09f5650582b4782506e0d272262129183570e55fcf8768dd6e91f8c0f6
0000127e: SWAP2
0000127f: DUP2
00001280: SWAP1
00001281: SUB
00001282: PUSH1 0x20
00001284: ADD
00001285: SWAP1
00001286: LOG3
00001287: POP
00001288: PUSH1 0x01
0000128a: DUP1
0000128b: SLOAD
0000128c: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
000012ad: AND
000012ae: PUSH21 0x010000000000000000000000000000000000000000
000012c4: OR
000012c5: SWAP1
000012c6: SSTORE
000012c7: SWAP2
000012c8: SWAP1
000012c9: POP
000012ca: JUMP
000012cb: JUMPDEST
000012cc: PUSH1 0x00
000012ce: ORIGIN
000012cf: CALLER
000012d0: EQ
000012d1: PUSH2 0x133b
000012d4: JUMPI
000012d5: PUSH1 0x40
000012d7: DUP1
000012d8: MLOAD
000012d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012fa: DUP2
000012fb: MSTORE
000012fc: PUSH1 0x20
000012fe: PUSH1 0x04
00001300: DUP3
00001301: ADD
00001302: MSTORE
00001303: PUSH1 0x11
00001305: PUSH1 0x24
00001307: DUP3
00001308: ADD
00001309: MSTORE
0000130a: PUSH32 0x6f6e6c79206e6f6e2d636f6e7472616374000000000000000000000000000000
0000132b: PUSH1 0x44
0000132d: DUP3
0000132e: ADD
0000132f: MSTORE
00001330: SWAP1
00001331: MLOAD
00001332: SWAP1
00001333: DUP2
00001334: SWAP1
00001335: SUB
00001336: PUSH1 0x64
00001338: ADD
00001339: SWAP1
0000133a: REVERT
0000133b: JUMPDEST
0000133c: PUSH32 0x000000000000000000000000000000000000000000000000000000000000001e
0000135d: PUSH1 0x04
0000135f: SLOAD
00001360: ADD
00001361: NUMBER
00001362: GT
00001363: PUSH2 0x13cd
00001366: JUMPI
00001367: PUSH1 0x40
00001369: DUP1
0000136a: MLOAD
0000136b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x20
00001390: PUSH1 0x04
00001392: DUP3
00001393: ADD
00001394: MSTORE
00001395: PUSH1 0x18
00001397: PUSH1 0x24
00001399: DUP3
0000139a: ADD
0000139b: MSTORE
0000139c: PUSH32 0x77616974206d6f726520626c6f636b7320746f206275726e0000000000000000
000013bd: PUSH1 0x44
000013bf: DUP3
000013c0: ADD
000013c1: MSTORE
000013c2: SWAP1
000013c3: MLOAD
000013c4: SWAP1
000013c5: DUP2
000013c6: SWAP1
000013c7: SUB
000013c8: PUSH1 0x64
000013ca: ADD
000013cb: SWAP1
000013cc: REVERT
000013cd: JUMPDEST
000013ce: NUMBER
000013cf: PUSH1 0x04
000013d1: SSTORE
000013d2: PUSH1 0x09
000013d4: SLOAD
000013d5: SELFBALANCE
000013d6: SWAP1
000013d7: DUP2
000013d8: LT
000013d9: ISZERO
000013da: PUSH2 0x13df
000013dd: JUMPI
000013de: INVALID
000013df: JUMPDEST
000013e0: PUSH1 0x00
000013e2: PUSH2 0x13f6
000013e5: PUSH1 0x09
000013e7: SLOAD
000013e8: DUP4
000013e9: PUSH2 0x2511
000013ec: SWAP1
000013ed: SWAP2
000013ee: SWAP1
000013ef: PUSH4 0xffffffff
000013f4: AND
000013f5: JUMP
000013f6: JUMPDEST
000013f7: SWAP1
000013f8: POP
000013f9: PUSH1 0x06
000013fb: SLOAD
000013fc: DUP2
000013fd: GT
000013fe: PUSH2 0x1407
00001401: JUMPI
00001402: DUP1
00001403: PUSH2 0x140b
00001406: JUMP
00001407: JUMPDEST
00001408: PUSH1 0x06
0000140a: SLOAD
0000140b: JUMPDEST
0000140c: PUSH1 0x02
0000140e: SLOAD
0000140f: PUSH1 0x40
00001411: DUP1
00001412: MLOAD
00001413: PUSH32 0x418436bc00000000000000000000000000000000000000000000000000000000
00001434: DUP2
00001435: MSTORE
00001436: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
0000144b: PUSH1 0x04
0000144d: DUP3
0000144e: ADD
0000144f: MSTORE
00001450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001465: PUSH32 0x000000000000000000000000defa4e8a7bcba345f687a2f1456f5edd9ce97202
00001486: DUP2
00001487: AND
00001488: PUSH1 0x24
0000148a: DUP4
0000148b: ADD
0000148c: MSTORE
0000148d: PUSH1 0x44
0000148f: DUP3
00001490: ADD
00001491: DUP6
00001492: SWAP1
00001493: MSTORE
00001494: PUSH1 0x00
00001496: PUSH1 0x64
00001498: DUP4
00001499: ADD
0000149a: DUP2
0000149b: SWAP1
0000149c: MSTORE
0000149d: PUSH1 0xa0
0000149f: PUSH1 0x84
000014a1: DUP5
000014a2: ADD
000014a3: MSTORE
000014a4: PUSH1 0xa4
000014a6: DUP4
000014a7: ADD
000014a8: DUP2
000014a9: SWAP1
000014aa: MSTORE
000014ab: SWAP3
000014ac: MLOAD
000014ad: SWAP5
000014ae: SWAP6
000014af: POP
000014b0: SWAP2
000014b1: SWAP4
000014b2: SWAP2
000014b3: SWAP1
000014b4: SWAP3
000014b5: AND
000014b6: SWAP2
000014b7: PUSH4 0x418436bc
000014bc: SWAP2
000014bd: PUSH1 0xe4
000014bf: DUP1
000014c0: DUP4
000014c1: ADD
000014c2: SWAP3
000014c3: PUSH1 0x20
000014c5: SWAP3
000014c6: SWAP2
000014c7: SWAP1
000014c8: DUP3
000014c9: SWAP1
000014ca: SUB
000014cb: ADD
000014cc: DUP2
000014cd: DUP7
000014ce: DUP1
000014cf: EXTCODESIZE
000014d0: ISZERO
000014d1: DUP1
000014d2: ISZERO
000014d3: PUSH2 0x14db
000014d6: JUMPI
000014d7: PUSH1 0x00
000014d9: DUP1
000014da: REVERT
000014db: JUMPDEST
000014dc: POP
000014dd: GAS
000014de: STATICCALL
000014df: ISZERO
000014e0: DUP1
000014e1: ISZERO
000014e2: PUSH2 0x14ef
000014e5: JUMPI
000014e6: RETURNDATASIZE
000014e7: PUSH1 0x00
000014e9: DUP1
000014ea: RETURNDATACOPY
000014eb: RETURNDATASIZE
000014ec: PUSH1 0x00
000014ee: REVERT
000014ef: JUMPDEST
000014f0: POP
000014f1: POP
000014f2: POP
000014f3: POP
000014f4: PUSH1 0x40
000014f6: MLOAD
000014f7: RETURNDATASIZE
000014f8: PUSH1 0x20
000014fa: DUP2
000014fb: LT
000014fc: ISZERO
000014fd: PUSH2 0x1505
00001500: JUMPI
00001501: PUSH1 0x00
00001503: DUP1
00001504: REVERT
00001505: JUMPDEST
00001506: POP
00001507: MLOAD
00001508: SWAP1
00001509: POP
0000150a: PUSH2 0x1512
0000150d: DUP2
0000150e: PUSH2 0x2553
00001511: JUMP
00001512: JUMPDEST
00001513: PUSH1 0x02
00001515: SLOAD
00001516: PUSH1 0x40
00001518: DUP1
00001519: MLOAD
0000151a: PUSH32 0x7a2a045600000000000000000000000000000000000000000000000000000000
0000153b: DUP2
0000153c: MSTORE
0000153d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001552: PUSH32 0x000000000000000000000000defa4e8a7bcba345f687a2f1456f5edd9ce97202
00001573: DUP2
00001574: AND
00001575: PUSH1 0x04
00001577: DUP4
00001578: ADD
00001579: MSTORE
0000157a: PUSH1 0x24
0000157c: DUP3
0000157d: ADD
0000157e: DUP6
0000157f: SWAP1
00001580: MSTORE
00001581: SWAP2
00001582: MLOAD
00001583: SWAP2
00001584: SWAP1
00001585: SWAP3
00001586: AND
00001587: SWAP2
00001588: PUSH4 0x7a2a0456
0000158d: SWAP2
0000158e: DUP6
0000158f: SWAP2
00001590: PUSH1 0x44
00001592: DUP1
00001593: DUP3
00001594: ADD
00001595: SWAP3
00001596: PUSH1 0x20
00001598: SWAP3
00001599: SWAP1
0000159a: SWAP2
0000159b: SWAP1
0000159c: DUP3
0000159d: SWAP1
0000159e: SUB
0000159f: ADD
000015a0: DUP2
000015a1: DUP6
000015a2: DUP9
000015a3: DUP1
000015a4: EXTCODESIZE
000015a5: ISZERO
000015a6: DUP1
000015a7: ISZERO
000015a8: PUSH2 0x15b0
000015ab: JUMPI
000015ac: PUSH1 0x00
000015ae: DUP1
000015af: REVERT
000015b0: JUMPDEST
000015b1: POP
000015b2: GAS
000015b3: CALL
000015b4: ISZERO
000015b5: DUP1
000015b6: ISZERO
000015b7: PUSH2 0x15c4
000015ba: JUMPI
000015bb: RETURNDATASIZE
000015bc: PUSH1 0x00
000015be: DUP1
000015bf: RETURNDATACOPY
000015c0: RETURNDATASIZE
000015c1: PUSH1 0x00
000015c3: REVERT
000015c4: JUMPDEST
000015c5: POP
000015c6: POP
000015c7: POP
000015c8: POP
000015c9: POP
000015ca: PUSH1 0x40
000015cc: MLOAD
000015cd: RETURNDATASIZE
000015ce: PUSH1 0x20
000015d0: DUP2
000015d1: LT
000015d2: ISZERO
000015d3: PUSH2 0x15db
000015d6: JUMPI
000015d7: PUSH1 0x00
000015d9: DUP1
000015da: REVERT
000015db: JUMPDEST
000015dc: POP
000015dd: MLOAD
000015de: PUSH1 0x40
000015e0: DUP1
000015e1: MLOAD
000015e2: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000
00001603: DUP2
00001604: MSTORE
00001605: PUSH1 0x04
00001607: DUP2
00001608: ADD
00001609: DUP4
0000160a: SWAP1
0000160b: MSTORE
0000160c: SWAP1
0000160d: MLOAD
0000160e: SWAP2
0000160f: SWAP6
00001610: POP
00001611: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001626: PUSH32 0x000000000000000000000000defa4e8a7bcba345f687a2f1456f5edd9ce97202
00001647: AND
00001648: SWAP2
00001649: PUSH4 0x42966c68
0000164e: SWAP2
0000164f: PUSH1 0x24
00001651: DUP1
00001652: DUP3
00001653: ADD
00001654: SWAP3
00001655: PUSH1 0x20
00001657: SWAP3
00001658: SWAP1
00001659: SWAP2
0000165a: SWAP1
0000165b: DUP3
0000165c: SWAP1
0000165d: SUB
0000165e: ADD
0000165f: DUP2
00001660: PUSH1 0x00
00001662: DUP8
00001663: DUP1
00001664: EXTCODESIZE
00001665: ISZERO
00001666: DUP1
00001667: ISZERO
00001668: PUSH2 0x1670
0000166b: JUMPI
0000166c: PUSH1 0x00
0000166e: DUP1
0000166f: REVERT
00001670: JUMPDEST
00001671: POP
00001672: GAS
00001673: CALL
00001674: ISZERO
00001675: DUP1
00001676: ISZERO
00001677: PUSH2 0x1684
0000167a: JUMPI
0000167b: RETURNDATASIZE
0000167c: PUSH1 0x00
0000167e: DUP1
0000167f: RETURNDATACOPY
00001680: RETURNDATASIZE
00001681: PUSH1 0x00
00001683: REVERT
00001684: JUMPDEST
00001685: POP
00001686: POP
00001687: POP
00001688: POP
00001689: PUSH1 0x40
0000168b: MLOAD
0000168c: RETURNDATASIZE
0000168d: PUSH1 0x20
0000168f: DUP2
00001690: LT
00001691: ISZERO
00001692: PUSH2 0x169a
00001695: JUMPI
00001696: PUSH1 0x00
00001698: DUP1
00001699: REVERT
0000169a: JUMPDEST
0000169b: POP
0000169c: MLOAD
0000169d: PUSH2 0x1707
000016a0: JUMPI
000016a1: PUSH1 0x40
000016a3: DUP1
000016a4: MLOAD
000016a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016c6: DUP2
000016c7: MSTORE
000016c8: PUSH1 0x20
000016ca: PUSH1 0x04
000016cc: DUP3
000016cd: ADD
000016ce: MSTORE
000016cf: PUSH1 0x0f
000016d1: PUSH1 0x24
000016d3: DUP3
000016d4: ADD
000016d5: MSTORE
000016d6: PUSH32 0x6b6e63206275726e206661696c65640000000000000000000000000000000000
000016f7: PUSH1 0x44
000016f9: DUP3
000016fa: ADD
000016fb: MSTORE
000016fc: SWAP1
000016fd: MLOAD
000016fe: SWAP1
000016ff: DUP2
00001700: SWAP1
00001701: SUB
00001702: PUSH1 0x64
00001704: ADD
00001705: SWAP1
00001706: REVERT
00001707: JUMPDEST
00001708: PUSH1 0x40
0000170a: DUP1
0000170b: MLOAD
0000170c: DUP6
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x20
00001711: DUP2
00001712: ADD
00001713: DUP5
00001714: SWAP1
00001715: MSTORE
00001716: DUP2
00001717: MLOAD
00001718: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
0000172d: SWAP3
0000172e: PUSH32 0xa0fcef56e2b45fcbeb91d5e629ef6b2b6e982d0768f02d1232610315cd23ea10
0000174f: SWAP3
00001750: DUP3
00001751: SWAP1
00001752: SUB
00001753: ADD
00001754: SWAP1
00001755: LOG2
00001756: POP
00001757: POP
00001758: POP
00001759: JUMPDEST
0000175a: SWAP1
0000175b: JUMP
0000175c: JUMPDEST
0000175d: PUSH1 0x0a
0000175f: SLOAD
00001760: PUSH1 0x00
00001762: SWAP1
00001763: ISZERO
00001764: DUP1
00001765: ISZERO
00001766: SWAP1
00001767: PUSH2 0x17b6
0000176a: JUMPI
0000176b: POP
0000176c: PUSH1 0x00
0000176e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001783: AND
00001784: PUSH1 0x0a
00001786: PUSH1 0x00
00001788: DUP2
00001789: SLOAD
0000178a: DUP2
0000178b: LT
0000178c: PUSH2 0x1791
0000178f: JUMPI
00001790: INVALID
00001791: JUMPDEST
00001792: PUSH1 0x00
00001794: SWAP2
00001795: DUP3
00001796: MSTORE
00001797: PUSH1 0x20
00001799: SWAP1
0000179a: SWAP2
0000179b: KECCAK256
0000179c: ADD
0000179d: SLOAD
0000179e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b3: AND
000017b4: EQ
000017b5: ISZERO
000017b6: JUMPDEST
000017b7: ISZERO
000017b8: PUSH2 0x186b
000017bb: JUMPI
000017bc: PUSH1 0x0a
000017be: PUSH1 0x00
000017c0: DUP2
000017c1: SLOAD
000017c2: DUP2
000017c3: LT
000017c4: PUSH2 0x17c9
000017c7: JUMPI
000017c8: INVALID
000017c9: JUMPDEST
000017ca: PUSH1 0x00
000017cc: SWAP2
000017cd: DUP3
000017ce: MSTORE
000017cf: PUSH1 0x20
000017d1: SWAP2
000017d2: DUP3
000017d3: SWAP1
000017d4: KECCAK256
000017d5: ADD
000017d6: SLOAD
000017d7: PUSH1 0x40
000017d9: DUP1
000017da: MLOAD
000017db: PUSH32 0x50d25bcd00000000000000000000000000000000000000000000000000000000
000017fc: DUP2
000017fd: MSTORE
000017fe: SWAP1
000017ff: MLOAD
00001800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001815: SWAP1
00001816: SWAP3
00001817: AND
00001818: SWAP3
00001819: PUSH4 0x50d25bcd
0000181e: SWAP3
0000181f: PUSH1 0x04
00001821: DUP1
00001822: DUP5
00001823: ADD
00001824: SWAP4
00001825: DUP3
00001826: SWAP1
00001827: SUB
00001828: ADD
00001829: DUP2
0000182a: DUP7
0000182b: DUP1
0000182c: EXTCODESIZE
0000182d: ISZERO
0000182e: DUP1
0000182f: ISZERO
00001830: PUSH2 0x1838
00001833: JUMPI
00001834: PUSH1 0x00
00001836: DUP1
00001837: REVERT
00001838: JUMPDEST
00001839: POP
0000183a: GAS
0000183b: STATICCALL
0000183c: ISZERO
0000183d: DUP1
0000183e: ISZERO
0000183f: PUSH2 0x184c
00001842: JUMPI
00001843: RETURNDATASIZE
00001844: PUSH1 0x00
00001846: DUP1
00001847: RETURNDATACOPY
00001848: RETURNDATASIZE
00001849: PUSH1 0x00
0000184b: REVERT
0000184c: JUMPDEST
0000184d: POP
0000184e: POP
0000184f: POP
00001850: POP
00001851: PUSH1 0x40
00001853: MLOAD
00001854: RETURNDATASIZE
00001855: PUSH1 0x20
00001857: DUP2
00001858: LT
00001859: ISZERO
0000185a: PUSH2 0x1862
0000185d: JUMPI
0000185e: PUSH1 0x00
00001860: DUP1
00001861: REVERT
00001862: JUMPDEST
00001863: POP
00001864: MLOAD
00001865: SWAP1
00001866: POP
00001867: PUSH2 0x1759
0000186a: JUMP
0000186b: JUMPDEST
0000186c: POP
0000186d: PUSH1 0x00
0000186f: SWAP1
00001870: JUMP
00001871: JUMPDEST
00001872: PUSH1 0x03
00001874: SLOAD
00001875: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188a: AND
0000188b: DUP2
0000188c: JUMP
0000188d: JUMPDEST
0000188e: PUSH32 0x000000000000000000000000000000000000000000000000000000000000001e
000018af: DUP2
000018b0: JUMP
000018b1: JUMPDEST
000018b2: PUSH1 0x01
000018b4: SLOAD
000018b5: PUSH21 0x010000000000000000000000000000000000000000
000018cb: SWAP1
000018cc: DIV
000018cd: PUSH1 0xff
000018cf: AND
000018d0: PUSH2 0x193a
000018d3: JUMPI
000018d4: PUSH1 0x40
000018d6: DUP1
000018d7: MLOAD
000018d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018f9: DUP2
000018fa: MSTORE
000018fb: PUSH1 0x20
000018fd: PUSH1 0x04
000018ff: DUP3
00001900: ADD
00001901: MSTORE
00001902: PUSH1 0x1f
00001904: PUSH1 0x24
00001906: DUP3
00001907: ADD
00001908: MSTORE
00001909: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000192a: PUSH1 0x44
0000192c: DUP3
0000192d: ADD
0000192e: MSTORE
0000192f: SWAP1
00001930: MLOAD
00001931: SWAP1
00001932: DUP2
00001933: SWAP1
00001934: SUB
00001935: PUSH1 0x64
00001937: ADD
00001938: SWAP1
00001939: REVERT
0000193a: JUMPDEST
0000193b: PUSH1 0x01
0000193d: DUP1
0000193e: SLOAD
0000193f: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00001960: AND
00001961: SWAP1
00001962: SSTORE
00001963: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001978: DUP9
00001979: AND
0000197a: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
0000198f: EQ
00001990: PUSH2 0x19fa
00001993: JUMPI
00001994: PUSH1 0x40
00001996: DUP1
00001997: MLOAD
00001998: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019b9: DUP2
000019ba: MSTORE
000019bb: PUSH1 0x20
000019bd: PUSH1 0x04
000019bf: DUP3
000019c0: ADD
000019c1: MSTORE
000019c2: PUSH1 0x0d
000019c4: PUSH1 0x24
000019c6: DUP3
000019c7: ADD
000019c8: MSTORE
000019c9: PUSH32 0x746f6b656e206e6f742065746800000000000000000000000000000000000000
000019ea: PUSH1 0x44
000019ec: DUP3
000019ed: ADD
000019ee: MSTORE
000019ef: SWAP1
000019f0: MLOAD
000019f1: SWAP1
000019f2: DUP2
000019f3: SWAP1
000019f4: SUB
000019f5: PUSH1 0x64
000019f7: ADD
000019f8: SWAP1
000019f9: REVERT
000019fa: JUMPDEST
000019fb: PUSH2 0x1a0a
000019fe: DUP3
000019ff: DUP3
00001a00: PUSH4 0xffffffff
00001a05: PUSH2 0x2494
00001a08: AND
00001a09: JUMP
00001a0a: JUMPDEST
00001a0b: CALLVALUE
00001a0c: EQ
00001a0d: PUSH2 0x1a77
00001a10: JUMPI
00001a11: PUSH1 0x40
00001a13: DUP1
00001a14: MLOAD
00001a15: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a36: DUP2
00001a37: MSTORE
00001a38: PUSH1 0x20
00001a3a: PUSH1 0x04
00001a3c: DUP3
00001a3d: ADD
00001a3e: MSTORE
00001a3f: PUSH1 0x17
00001a41: PUSH1 0x24
00001a43: DUP3
00001a44: ADD
00001a45: MSTORE
00001a46: PUSH32 0x6d73672e76616c756520213d20746f74616c2066656573000000000000000000
00001a67: PUSH1 0x44
00001a69: DUP3
00001a6a: ADD
00001a6b: MSTORE
00001a6c: SWAP1
00001a6d: MLOAD
00001a6e: SWAP1
00001a6f: DUP2
00001a70: SWAP1
00001a71: SUB
00001a72: PUSH1 0x64
00001a74: ADD
00001a75: SWAP1
00001a76: REVERT
00001a77: JUMPDEST
00001a78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a8d: DUP4
00001a8e: AND
00001a8f: PUSH1 0x00
00001a91: SWAP1
00001a92: DUP2
00001a93: MSTORE
00001a94: PUSH1 0x07
00001a96: PUSH1 0x20
00001a98: MSTORE
00001a99: PUSH1 0x40
00001a9b: SWAP1
00001a9c: KECCAK256
00001a9d: SLOAD
00001a9e: PUSH2 0x1aad
00001aa1: SWAP1
00001aa2: DUP4
00001aa3: PUSH4 0xffffffff
00001aa8: PUSH2 0x2494
00001aab: AND
00001aac: JUMP
00001aad: JUMPDEST
00001aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac3: DUP5
00001ac4: AND
00001ac5: PUSH1 0x00
00001ac7: SWAP1
00001ac8: DUP2
00001ac9: MSTORE
00001aca: PUSH1 0x07
00001acc: PUSH1 0x20
00001ace: MSTORE
00001acf: PUSH1 0x40
00001ad1: SWAP1
00001ad2: KECCAK256
00001ad3: SSTORE
00001ad4: DUP1
00001ad5: PUSH2 0x1c40
00001ad8: JUMPI
00001ad9: PUSH1 0x09
00001adb: SLOAD
00001adc: PUSH2 0x1aeb
00001adf: SWAP1
00001ae0: DUP4
00001ae1: PUSH4 0xffffffff
00001ae6: PUSH2 0x2494
00001ae9: AND
00001aea: JUMP
00001aeb: JUMPDEST
00001aec: PUSH1 0x09
00001aee: DUP2
00001aef: SWAP1
00001af0: SSTORE
00001af1: POP
00001af2: DUP3
00001af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b08: AND
00001b09: CALLER
00001b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b1f: AND
00001b20: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4a: AND
00001b4b: PUSH32 0xc207a63c18c4070ce1e33e5fcc02efb09ac984caa6a2046e2b1d2811723846f1
00001b6c: DUP6
00001b6d: PUSH1 0x00
00001b6f: DUP1
00001b70: DUP14
00001b71: DUP14
00001b72: DUP14
00001b73: DUP14
00001b74: PUSH1 0x00
00001b76: PUSH1 0x40
00001b78: MLOAD
00001b79: DUP1
00001b7a: DUP10
00001b7b: DUP2
00001b7c: MSTORE
00001b7d: PUSH1 0x20
00001b7f: ADD
00001b80: DUP9
00001b81: DUP2
00001b82: MSTORE
00001b83: PUSH1 0x20
00001b85: ADD
00001b86: DUP8
00001b87: DUP2
00001b88: MSTORE
00001b89: PUSH1 0x20
00001b8b: ADD
00001b8c: DUP1
00001b8d: PUSH1 0x20
00001b8f: ADD
00001b90: DUP1
00001b91: PUSH1 0x20
00001b93: ADD
00001b94: DUP5
00001b95: DUP2
00001b96: MSTORE
00001b97: PUSH1 0x20
00001b99: ADD
00001b9a: DUP4
00001b9b: DUP2
00001b9c: SUB
00001b9d: DUP4
00001b9e: MSTORE
00001b9f: DUP9
00001ba0: DUP9
00001ba1: DUP3
00001ba2: DUP2
00001ba3: DUP2
00001ba4: MSTORE
00001ba5: PUSH1 0x20
00001ba7: ADD
00001ba8: SWAP3
00001ba9: POP
00001baa: PUSH1 0x20
00001bac: MUL
00001bad: DUP1
00001bae: DUP3
00001baf: DUP5
00001bb0: CALLDATACOPY
00001bb1: PUSH1 0x00
00001bb3: DUP4
00001bb4: DUP3
00001bb5: ADD
00001bb6: MSTORE
00001bb7: PUSH1 0x1f
00001bb9: ADD
00001bba: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001bdb: AND
00001bdc: SWAP1
00001bdd: SWAP2
00001bde: ADD
00001bdf: DUP5
00001be0: DUP2
00001be1: SUB
00001be2: DUP4
00001be3: MSTORE
00001be4: DUP7
00001be5: DUP2
00001be6: MSTORE
00001be7: PUSH1 0x20
00001be9: SWAP1
00001bea: DUP2
00001beb: ADD
00001bec: SWAP2
00001bed: POP
00001bee: DUP8
00001bef: SWAP1
00001bf0: DUP8
00001bf1: MUL
00001bf2: DUP1
00001bf3: DUP3
00001bf4: DUP5
00001bf5: CALLDATACOPY
00001bf6: PUSH1 0x00
00001bf8: DUP4
00001bf9: DUP3
00001bfa: ADD
00001bfb: MSTORE
00001bfc: PUSH1 0x40
00001bfe: MLOAD
00001bff: PUSH1 0x1f
00001c01: SWAP1
00001c02: SWAP2
00001c03: ADD
00001c04: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001c25: AND
00001c26: SWAP1
00001c27: SWAP3
00001c28: ADD
00001c29: DUP3
00001c2a: SWAP1
00001c2b: SUB
00001c2c: SWAP13
00001c2d: POP
00001c2e: SWAP1
00001c2f: SWAP11
00001c30: POP
00001c31: POP
00001c32: POP
00001c33: POP
00001c34: POP
00001c35: POP
00001c36: POP
00001c37: POP
00001c38: POP
00001c39: POP
00001c3a: POP
00001c3b: LOG4
00001c3c: PUSH2 0x1f3d
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH2 0x1c48
00001c44: PUSH2 0x2e16
00001c47: JUMP
00001c48: JUMPDEST
00001c49: PUSH2 0x1c51
00001c4c: DUP3
00001c4d: PUSH2 0x299a
00001c50: JUMP
00001c51: JUMPDEST
00001c52: PUSH1 0x20
00001c54: DUP1
00001c55: DUP5
00001c56: ADD
00001c57: DUP3
00001c58: SWAP1
00001c59: MSTORE
00001c5a: SWAP2
00001c5b: DUP4
00001c5c: MSTORE
00001c5d: PUSH1 0x40
00001c5f: DUP1
00001c60: MLOAD
00001c61: DUP11
00001c62: DUP5
00001c63: MUL
00001c64: DUP2
00001c65: DUP2
00001c66: ADD
00001c67: DUP6
00001c68: ADD
00001c69: SWAP1
00001c6a: SWAP3
00001c6b: MSTORE
00001c6c: DUP11
00001c6d: DUP2
00001c6e: MSTORE
00001c6f: PUSH2 0x1cc6
00001c72: SWAP4
00001c73: SWAP1
00001c74: SWAP2
00001c75: DUP13
00001c76: SWAP2
00001c77: DUP13
00001c78: SWAP2
00001c79: DUP3
00001c7a: SWAP2
00001c7b: DUP6
00001c7c: ADD
00001c7d: SWAP1
00001c7e: DUP5
00001c7f: SWAP1
00001c80: DUP1
00001c81: DUP3
00001c82: DUP5
00001c83: CALLDATACOPY
00001c84: PUSH1 0x00
00001c86: SWAP3
00001c87: ADD
00001c88: SWAP2
00001c89: SWAP1
00001c8a: SWAP2
00001c8b: MSTORE
00001c8c: POP
00001c8d: POP
00001c8e: PUSH1 0x40
00001c90: DUP1
00001c91: MLOAD
00001c92: PUSH1 0x20
00001c94: DUP1
00001c95: DUP14
00001c96: MUL
00001c97: DUP3
00001c98: DUP2
00001c99: ADD
00001c9a: DUP3
00001c9b: ADD
00001c9c: SWAP1
00001c9d: SWAP4
00001c9e: MSTORE
00001c9f: DUP13
00001ca0: DUP3
00001ca1: MSTORE
00001ca2: SWAP1
00001ca3: SWAP4
00001ca4: POP
00001ca5: DUP13
00001ca6: SWAP3
00001ca7: POP
00001ca8: DUP12
00001ca9: SWAP2
00001caa: DUP3
00001cab: SWAP2
00001cac: DUP6
00001cad: ADD
00001cae: SWAP1
00001caf: DUP5
00001cb0: SWAP1
00001cb1: DUP1
00001cb2: DUP3
00001cb3: DUP5
00001cb4: CALLDATACOPY
00001cb5: PUSH1 0x00
00001cb7: SWAP3
00001cb8: ADD
00001cb9: SWAP2
00001cba: SWAP1
00001cbb: SWAP2
00001cbc: MSTORE
00001cbd: POP
00001cbe: PUSH2 0x29e7
00001cc1: SWAP3
00001cc2: POP
00001cc3: POP
00001cc4: POP
00001cc5: JUMP
00001cc6: JUMPDEST
00001cc7: PUSH1 0x40
00001cc9: DUP3
00001cca: ADD
00001ccb: DUP2
00001ccc: SWAP1
00001ccd: MSTORE
00001cce: DUP2
00001ccf: MLOAD
00001cd0: PUSH2 0x1cf1
00001cd3: SWAP2
00001cd4: SWAP1
00001cd5: PUSH2 0x1ce5
00001cd8: SWAP1
00001cd9: DUP6
00001cda: SWAP1
00001cdb: PUSH4 0xffffffff
00001ce0: PUSH2 0x2511
00001ce3: AND
00001ce4: JUMP
00001ce5: JUMPDEST
00001ce6: SWAP1
00001ce7: PUSH4 0xffffffff
00001cec: PUSH2 0x2511
00001cef: AND
00001cf0: JUMP
00001cf1: JUMPDEST
00001cf2: PUSH1 0x60
00001cf4: DUP3
00001cf5: ADD
00001cf6: MSTORE
00001cf7: PUSH1 0x40
00001cf9: DUP2
00001cfa: ADD
00001cfb: MLOAD
00001cfc: PUSH1 0x09
00001cfe: SLOAD
00001cff: PUSH2 0x1d13
00001d02: SWAP2
00001d03: SWAP1
00001d04: PUSH2 0x0e8b
00001d07: SWAP1
00001d08: DUP7
00001d09: PUSH4 0xffffffff
00001d0e: PUSH2 0x2494
00001d11: AND
00001d12: JUMP
00001d13: JUMPDEST
00001d14: PUSH1 0x09
00001d16: SSTORE
00001d17: PUSH1 0x03
00001d19: SLOAD
00001d1a: DUP2
00001d1b: MLOAD
00001d1c: PUSH1 0x40
00001d1e: MLOAD
00001d1f: PUSH1 0x00
00001d21: SWAP3
00001d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d37: AND
00001d38: SWAP2
00001d39: SWAP1
00001d3a: DUP4
00001d3b: DUP2
00001d3c: DUP2
00001d3d: DUP2
00001d3e: DUP6
00001d3f: DUP8
00001d40: GAS
00001d41: CALL
00001d42: SWAP3
00001d43: POP
00001d44: POP
00001d45: POP
00001d46: RETURNDATASIZE
00001d47: DUP1
00001d48: PUSH1 0x00
00001d4a: DUP2
00001d4b: EQ
00001d4c: PUSH2 0x1d71
00001d4f: JUMPI
00001d50: PUSH1 0x40
00001d52: MLOAD
00001d53: SWAP2
00001d54: POP
00001d55: PUSH1 0x1f
00001d57: NOT
00001d58: PUSH1 0x3f
00001d5a: RETURNDATASIZE
00001d5b: ADD
00001d5c: AND
00001d5d: DUP3
00001d5e: ADD
00001d5f: PUSH1 0x40
00001d61: MSTORE
00001d62: RETURNDATASIZE
00001d63: DUP3
00001d64: MSTORE
00001d65: RETURNDATASIZE
00001d66: PUSH1 0x00
00001d68: PUSH1 0x20
00001d6a: DUP5
00001d6b: ADD
00001d6c: RETURNDATACOPY
00001d6d: PUSH2 0x1d76
00001d70: JUMP
00001d71: JUMPDEST
00001d72: PUSH1 0x60
00001d74: SWAP2
00001d75: POP
00001d76: JUMPDEST
00001d77: POP
00001d78: POP
00001d79: SWAP1
00001d7a: POP
00001d7b: DUP1
00001d7c: PUSH2 0x1de6
00001d7f: JUMPI
00001d80: PUSH1 0x40
00001d82: DUP1
00001d83: MLOAD
00001d84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001da5: DUP2
00001da6: MSTORE
00001da7: PUSH1 0x20
00001da9: PUSH1 0x04
00001dab: DUP3
00001dac: ADD
00001dad: MSTORE
00001dae: PUSH1 0x0f
00001db0: PUSH1 0x24
00001db2: DUP3
00001db3: ADD
00001db4: MSTORE
00001db5: PUSH32 0x73656e6420666565206661696c65640000000000000000000000000000000000
00001dd6: PUSH1 0x44
00001dd8: DUP3
00001dd9: ADD
00001dda: MSTORE
00001ddb: SWAP1
00001ddc: MLOAD
00001ddd: SWAP1
00001dde: DUP2
00001ddf: SWAP1
00001de0: SUB
00001de1: PUSH1 0x64
00001de3: ADD
00001de4: SWAP1
00001de5: REVERT
00001de6: JUMPDEST
00001de7: DUP5
00001de8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfd: AND
00001dfe: CALLER
00001dff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e14: AND
00001e15: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e3f: AND
00001e40: PUSH32 0xc207a63c18c4070ce1e33e5fcc02efb09ac984caa6a2046e2b1d2811723846f1
00001e61: DUP8
00001e62: DUP7
00001e63: PUSH1 0x00
00001e65: ADD
00001e66: MLOAD
00001e67: DUP8
00001e68: PUSH1 0x40
00001e6a: ADD
00001e6b: MLOAD
00001e6c: DUP16
00001e6d: DUP16
00001e6e: DUP16
00001e6f: DUP16
00001e70: DUP13
00001e71: PUSH1 0x60
00001e73: ADD
00001e74: MLOAD
00001e75: PUSH1 0x40
00001e77: MLOAD
00001e78: DUP1
00001e79: DUP10
00001e7a: DUP2
00001e7b: MSTORE
00001e7c: PUSH1 0x20
00001e7e: ADD
00001e7f: DUP9
00001e80: DUP2
00001e81: MSTORE
00001e82: PUSH1 0x20
00001e84: ADD
00001e85: DUP8
00001e86: DUP2
00001e87: MSTORE
00001e88: PUSH1 0x20
00001e8a: ADD
00001e8b: DUP1
00001e8c: PUSH1 0x20
00001e8e: ADD
00001e8f: DUP1
00001e90: PUSH1 0x20
00001e92: ADD
00001e93: DUP5
00001e94: DUP2
00001e95: MSTORE
00001e96: PUSH1 0x20
00001e98: ADD
00001e99: DUP4
00001e9a: DUP2
00001e9b: SUB
00001e9c: DUP4
00001e9d: MSTORE
00001e9e: DUP9
00001e9f: DUP9
00001ea0: DUP3
00001ea1: DUP2
00001ea2: DUP2
00001ea3: MSTORE
00001ea4: PUSH1 0x20
00001ea6: ADD
00001ea7: SWAP3
00001ea8: POP
00001ea9: PUSH1 0x20
00001eab: MUL
00001eac: DUP1
00001ead: DUP3
00001eae: DUP5
00001eaf: CALLDATACOPY
00001eb0: PUSH1 0x00
00001eb2: DUP4
00001eb3: DUP3
00001eb4: ADD
00001eb5: MSTORE
00001eb6: PUSH1 0x1f
00001eb8: ADD
00001eb9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001eda: AND
00001edb: SWAP1
00001edc: SWAP2
00001edd: ADD
00001ede: DUP5
00001edf: DUP2
00001ee0: SUB
00001ee1: DUP4
00001ee2: MSTORE
00001ee3: DUP7
00001ee4: DUP2
00001ee5: MSTORE
00001ee6: PUSH1 0x20
00001ee8: SWAP1
00001ee9: DUP2
00001eea: ADD
00001eeb: SWAP2
00001eec: POP
00001eed: DUP8
00001eee: SWAP1
00001eef: DUP8
00001ef0: MUL
00001ef1: DUP1
00001ef2: DUP3
00001ef3: DUP5
00001ef4: CALLDATACOPY
00001ef5: PUSH1 0x00
00001ef7: DUP4
00001ef8: DUP3
00001ef9: ADD
00001efa: MSTORE
00001efb: PUSH1 0x40
00001efd: MLOAD
00001efe: PUSH1 0x1f
00001f00: SWAP1
00001f01: SWAP2
00001f02: ADD
00001f03: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001f24: AND
00001f25: SWAP1
00001f26: SWAP3
00001f27: ADD
00001f28: DUP3
00001f29: SWAP1
00001f2a: SUB
00001f2b: SWAP13
00001f2c: POP
00001f2d: SWAP1
00001f2e: SWAP11
00001f2f: POP
00001f30: POP
00001f31: POP
00001f32: POP
00001f33: POP
00001f34: POP
00001f35: POP
00001f36: POP
00001f37: POP
00001f38: POP
00001f39: POP
00001f3a: LOG4
00001f3b: POP
00001f3c: POP
00001f3d: JUMPDEST
00001f3e: POP
00001f3f: POP
00001f40: PUSH1 0x01
00001f42: DUP1
00001f43: SLOAD
00001f44: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00001f65: AND
00001f66: PUSH21 0x010000000000000000000000000000000000000000
00001f7c: OR
00001f7d: SWAP1
00001f7e: SSTORE
00001f7f: POP
00001f80: POP
00001f81: POP
00001f82: POP
00001f83: POP
00001f84: POP
00001f85: JUMP
00001f86: JUMPDEST
00001f87: PUSH1 0x01
00001f89: SLOAD
00001f8a: PUSH1 0x00
00001f8c: SWAP1
00001f8d: PUSH21 0x010000000000000000000000000000000000000000
00001fa3: SWAP1
00001fa4: DIV
00001fa5: PUSH1 0xff
00001fa7: AND
00001fa8: PUSH2 0x2012
00001fab: JUMPI
00001fac: PUSH1 0x40
00001fae: DUP1
00001faf: MLOAD
00001fb0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fd1: DUP2
00001fd2: MSTORE
00001fd3: PUSH1 0x20
00001fd5: PUSH1 0x04
00001fd7: DUP3
00001fd8: ADD
00001fd9: MSTORE
00001fda: PUSH1 0x1f
00001fdc: PUSH1 0x24
00001fde: DUP3
00001fdf: ADD
00001fe0: MSTORE
00001fe1: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00002002: PUSH1 0x44
00002004: DUP3
00002005: ADD
00002006: MSTORE
00002007: SWAP1
00002008: MLOAD
00002009: SWAP1
0000200a: DUP2
0000200b: SWAP1
0000200c: SUB
0000200d: PUSH1 0x64
0000200f: ADD
00002010: SWAP1
00002011: REVERT
00002012: JUMPDEST
00002013: PUSH1 0x01
00002015: DUP1
00002016: SLOAD
00002017: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00002038: AND
00002039: DUP2
0000203a: SSTORE
0000203b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002050: DUP4
00002051: AND
00002052: PUSH1 0x00
00002054: SWAP1
00002055: DUP2
00002056: MSTORE
00002057: PUSH1 0x08
00002059: PUSH1 0x20
0000205b: MSTORE
0000205c: PUSH1 0x40
0000205e: SWAP1
0000205f: KECCAK256
00002060: SLOAD
00002061: GT
00002062: PUSH2 0x20cc
00002065: JUMPI
00002066: PUSH1 0x40
00002068: DUP1
00002069: MLOAD
0000206a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000208b: DUP2
0000208c: MSTORE
0000208d: PUSH1 0x20
0000208f: PUSH1 0x04
00002091: DUP3
00002092: ADD
00002093: MSTORE
00002094: PUSH1 0x12
00002096: PUSH1 0x24
00002098: DUP3
00002099: ADD
0000209a: MSTORE
0000209b: PUSH32 0x6e6f2072656261746520746f20636c61696d0000000000000000000000000000
000020bc: PUSH1 0x44
000020be: DUP3
000020bf: ADD
000020c0: MSTORE
000020c1: SWAP1
000020c2: MLOAD
000020c3: SWAP1
000020c4: DUP2
000020c5: SWAP1
000020c6: SUB
000020c7: PUSH1 0x64
000020c9: ADD
000020ca: SWAP1
000020cb: REVERT
000020cc: JUMPDEST
000020cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e2: DUP3
000020e3: AND
000020e4: PUSH1 0x00
000020e6: SWAP1
000020e7: DUP2
000020e8: MSTORE
000020e9: PUSH1 0x08
000020eb: PUSH1 0x20
000020ed: MSTORE
000020ee: PUSH1 0x40
000020f0: SWAP1
000020f1: KECCAK256
000020f2: SLOAD
000020f3: PUSH2 0x2103
000020f6: SWAP1
000020f7: PUSH1 0x01
000020f9: PUSH4 0xffffffff
000020fe: PUSH2 0x2511
00002101: AND
00002102: JUMP
00002103: JUMPDEST
00002104: SWAP1
00002105: POP
00002106: DUP1
00002107: PUSH1 0x09
00002109: SLOAD
0000210a: LT
0000210b: ISZERO
0000210c: PUSH2 0x2111
0000210f: JUMPI
00002110: INVALID
00002111: JUMPDEST
00002112: PUSH1 0x09
00002114: SLOAD
00002115: PUSH2 0x2124
00002118: SWAP1
00002119: DUP3
0000211a: PUSH4 0xffffffff
0000211f: PUSH2 0x2511
00002122: AND
00002123: JUMP
00002124: JUMPDEST
00002125: PUSH1 0x09
00002127: SSTORE
00002128: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000213d: DUP3
0000213e: AND
0000213f: PUSH1 0x00
00002141: DUP2
00002142: DUP2
00002143: MSTORE
00002144: PUSH1 0x08
00002146: PUSH1 0x20
00002148: MSTORE
00002149: PUSH1 0x40
0000214b: DUP1
0000214c: DUP3
0000214d: KECCAK256
0000214e: PUSH1 0x01
00002150: SWAP1
00002151: SSTORE
00002152: MLOAD
00002153: SWAP1
00002154: SWAP2
00002155: SWAP1
00002156: DUP4
00002157: SWAP1
00002158: DUP4
00002159: DUP2
0000215a: DUP2
0000215b: DUP2
0000215c: DUP6
0000215d: DUP8
0000215e: GAS
0000215f: CALL
00002160: SWAP3
00002161: POP
00002162: POP
00002163: POP
00002164: RETURNDATASIZE
00002165: DUP1
00002166: PUSH1 0x00
00002168: DUP2
00002169: EQ
0000216a: PUSH2 0x218f
0000216d: JUMPI
0000216e: PUSH1 0x40
00002170: MLOAD
00002171: SWAP2
00002172: POP
00002173: PUSH1 0x1f
00002175: NOT
00002176: PUSH1 0x3f
00002178: RETURNDATASIZE
00002179: ADD
0000217a: AND
0000217b: DUP3
0000217c: ADD
0000217d: PUSH1 0x40
0000217f: MSTORE
00002180: RETURNDATASIZE
00002181: DUP3
00002182: MSTORE
00002183: RETURNDATASIZE
00002184: PUSH1 0x00
00002186: PUSH1 0x20
00002188: DUP5
00002189: ADD
0000218a: RETURNDATACOPY
0000218b: PUSH2 0x2194
0000218e: JUMP
0000218f: JUMPDEST
00002190: PUSH1 0x60
00002192: SWAP2
00002193: POP
00002194: JUMPDEST
00002195: POP
00002196: POP
00002197: SWAP1
00002198: POP
00002199: DUP1
0000219a: PUSH2 0x2204
0000219d: JUMPI
0000219e: PUSH1 0x40
000021a0: DUP1
000021a1: MLOAD
000021a2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021c3: DUP2
000021c4: MSTORE
000021c5: PUSH1 0x20
000021c7: PUSH1 0x04
000021c9: DUP3
000021ca: ADD
000021cb: MSTORE
000021cc: PUSH1 0x16
000021ce: PUSH1 0x24
000021d0: DUP3
000021d1: ADD
000021d2: MSTORE
000021d3: PUSH32 0x726562617465207472616e73666572206661696c656400000000000000000000
000021f4: PUSH1 0x44
000021f6: DUP3
000021f7: ADD
000021f8: MSTORE
000021f9: SWAP1
000021fa: MLOAD
000021fb: SWAP1
000021fc: DUP2
000021fd: SWAP1
000021fe: SUB
000021ff: PUSH1 0x64
00002201: ADD
00002202: SWAP1
00002203: REVERT
00002204: JUMPDEST
00002205: PUSH1 0x40
00002207: DUP1
00002208: MLOAD
00002209: DUP4
0000220a: DUP2
0000220b: MSTORE
0000220c: SWAP1
0000220d: MLOAD
0000220e: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00002223: SWAP2
00002224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002239: DUP7
0000223a: AND
0000223b: SWAP2
0000223c: PUSH32 0xb5ec5e03662403108373ab6431d3e834cb1011fca164541aef315fc7dea7b3b6
0000225d: SWAP2
0000225e: DUP2
0000225f: SWAP1
00002260: SUB
00002261: PUSH1 0x20
00002263: ADD
00002264: SWAP1
00002265: LOG3
00002266: POP
00002267: PUSH1 0x01
00002269: DUP1
0000226a: SLOAD
0000226b: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
0000228c: AND
0000228d: PUSH21 0x010000000000000000000000000000000000000000
000022a3: OR
000022a4: SWAP1
000022a5: SSTORE
000022a6: SWAP2
000022a7: SWAP1
000022a8: POP
000022a9: JUMP
000022aa: JUMPDEST
000022ab: PUSH1 0x04
000022ad: SLOAD
000022ae: DUP2
000022af: JUMP
000022b0: JUMPDEST
000022b1: PUSH1 0x01
000022b3: SLOAD
000022b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c9: AND
000022ca: CALLER
000022cb: EQ
000022cc: PUSH2 0x2336
000022cf: JUMPI
000022d0: PUSH1 0x40
000022d2: DUP1
000022d3: MLOAD
000022d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022f5: DUP2
000022f6: MSTORE
000022f7: PUSH1 0x20
000022f9: PUSH1 0x04
000022fb: DUP3
000022fc: ADD
000022fd: MSTORE
000022fe: PUSH1 0x10
00002300: PUSH1 0x24
00002302: DUP3
00002303: ADD
00002304: MSTORE
00002305: PUSH32 0x6f6e6c792064616f4f70657261746f7200000000000000000000000000000000
00002326: PUSH1 0x44
00002328: DUP3
00002329: ADD
0000232a: MSTORE
0000232b: SWAP1
0000232c: MLOAD
0000232d: SWAP1
0000232e: DUP2
0000232f: SWAP1
00002330: SUB
00002331: PUSH1 0x64
00002333: ADD
00002334: SWAP1
00002335: REVERT
00002336: JUMPDEST
00002337: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000234c: DUP2
0000234d: AND
0000234e: PUSH2 0x23b8
00002351: JUMPI
00002352: PUSH1 0x40
00002354: DUP1
00002355: MLOAD
00002356: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002377: DUP2
00002378: MSTORE
00002379: PUSH1 0x20
0000237b: PUSH1 0x04
0000237d: DUP3
0000237e: ADD
0000237f: MSTORE
00002380: PUSH1 0x13
00002382: PUSH1 0x24
00002384: DUP3
00002385: ADD
00002386: MSTORE
00002387: PUSH32 0x6b796265724e6574776f726b50726f7879203000000000000000000000000000
000023a8: PUSH1 0x44
000023aa: DUP3
000023ab: ADD
000023ac: MSTORE
000023ad: SWAP1
000023ae: MLOAD
000023af: SWAP1
000023b0: DUP2
000023b1: SWAP1
000023b2: SUB
000023b3: PUSH1 0x64
000023b5: ADD
000023b6: SWAP1
000023b7: REVERT
000023b8: JUMPDEST
000023b9: PUSH1 0x02
000023bb: SLOAD
000023bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d1: DUP3
000023d2: DUP2
000023d3: AND
000023d4: SWAP2
000023d5: AND
000023d6: EQ
000023d7: PUSH2 0x2451
000023da: JUMPI
000023db: PUSH1 0x02
000023dd: DUP1
000023de: SLOAD
000023df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f4: DUP4
000023f5: AND
000023f6: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002417: SWAP1
00002418: SWAP2
00002419: AND
0000241a: DUP2
0000241b: OR
0000241c: SWAP1
0000241d: SWAP2
0000241e: SSTORE
0000241f: PUSH1 0x40
00002421: DUP1
00002422: MLOAD
00002423: SWAP2
00002424: DUP3
00002425: MSTORE
00002426: MLOAD
00002427: PUSH32 0x8457f9bd0d13488a6c265af376d291f3c6bd2311d9e8dee5671d4169ca6e0ae0
00002448: SWAP2
00002449: DUP2
0000244a: SWAP1
0000244b: SUB
0000244c: PUSH1 0x20
0000244e: ADD
0000244f: SWAP1
00002450: LOG1
00002451: JUMPDEST
00002452: POP
00002453: JUMP
00002454: JUMPDEST
00002455: PUSH32 0x000000000000000000000000defa4e8a7bcba345f687a2f1456f5edd9ce97202
00002476: DUP2
00002477: JUMP
00002478: JUMPDEST
00002479: PUSH1 0x02
0000247b: SLOAD
0000247c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002491: AND
00002492: DUP2
00002493: JUMP
00002494: JUMPDEST
00002495: PUSH1 0x00
00002497: DUP3
00002498: DUP3
00002499: ADD
0000249a: DUP4
0000249b: DUP2
0000249c: LT
0000249d: ISZERO
0000249e: PUSH2 0x2508
000024a1: JUMPI
000024a2: PUSH1 0x40
000024a4: DUP1
000024a5: MLOAD
000024a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024c7: DUP2
000024c8: MSTORE
000024c9: PUSH1 0x20
000024cb: PUSH1 0x04
000024cd: DUP3
000024ce: ADD
000024cf: MSTORE
000024d0: PUSH1 0x1b
000024d2: PUSH1 0x24
000024d4: DUP3
000024d5: ADD
000024d6: MSTORE
000024d7: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000024f8: PUSH1 0x44
000024fa: DUP3
000024fb: ADD
000024fc: MSTORE
000024fd: SWAP1
000024fe: MLOAD
000024ff: SWAP1
00002500: DUP2
00002501: SWAP1
00002502: SUB
00002503: PUSH1 0x64
00002505: ADD
00002506: SWAP1
00002507: REVERT
00002508: JUMPDEST
00002509: SWAP1
0000250a: POP
0000250b: JUMPDEST
0000250c: SWAP3
0000250d: SWAP2
0000250e: POP
0000250f: POP
00002510: JUMP
00002511: JUMPDEST
00002512: PUSH1 0x00
00002514: PUSH2 0x2508
00002517: DUP4
00002518: DUP4
00002519: PUSH1 0x40
0000251b: MLOAD
0000251c: DUP1
0000251d: PUSH1 0x40
0000251f: ADD
00002520: PUSH1 0x40
00002522: MSTORE
00002523: DUP1
00002524: PUSH1 0x1e
00002526: DUP2
00002527: MSTORE
00002528: PUSH1 0x20
0000252a: ADD
0000252b: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000254c: DUP2
0000254d: MSTORE
0000254e: POP
0000254f: PUSH2 0x2c36
00002552: JUMP
00002553: JUMPDEST
00002554: PUSH11 0x084595161401484a000000
00002560: DUP2
00002561: GT
00002562: ISZERO
00002563: PUSH2 0x25cd
00002566: JUMPI
00002567: PUSH1 0x40
00002569: DUP1
0000256a: MLOAD
0000256b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000258c: DUP2
0000258d: MSTORE
0000258e: PUSH1 0x20
00002590: PUSH1 0x04
00002592: DUP3
00002593: ADD
00002594: MSTORE
00002595: PUSH1 0x1b
00002597: PUSH1 0x24
00002599: DUP3
0000259a: ADD
0000259b: MSTORE
0000259c: PUSH32 0x657468546f4b6e632072617465206f7574206f6620626f756e64730000000000
000025bd: PUSH1 0x44
000025bf: DUP3
000025c0: ADD
000025c1: MSTORE
000025c2: SWAP1
000025c3: MLOAD
000025c4: SWAP1
000025c5: DUP2
000025c6: SWAP1
000025c7: SUB
000025c8: PUSH1 0x64
000025ca: ADD
000025cb: SWAP1
000025cc: REVERT
000025cd: JUMPDEST
000025ce: PUSH1 0x00
000025d0: DUP2
000025d1: GT
000025d2: PUSH2 0x263c
000025d5: JUMPI
000025d6: PUSH1 0x40
000025d8: DUP1
000025d9: MLOAD
000025da: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025fb: DUP2
000025fc: MSTORE
000025fd: PUSH1 0x20
000025ff: PUSH1 0x04
00002601: DUP3
00002602: ADD
00002603: MSTORE
00002604: PUSH1 0x12
00002606: PUSH1 0x24
00002608: DUP3
00002609: ADD
0000260a: MSTORE
0000260b: PUSH32 0x657468546f4b6e63207261746520697320300000000000000000000000000000
0000262c: PUSH1 0x44
0000262e: DUP3
0000262f: ADD
00002630: MSTORE
00002631: SWAP1
00002632: MLOAD
00002633: SWAP1
00002634: DUP2
00002635: SWAP1
00002636: SUB
00002637: PUSH1 0x64
00002639: ADD
0000263a: SWAP1
0000263b: REVERT
0000263c: JUMPDEST
0000263d: PUSH1 0x0a
0000263f: SLOAD
00002640: PUSH2 0x26aa
00002643: JUMPI
00002644: PUSH1 0x40
00002646: DUP1
00002647: MLOAD
00002648: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002669: DUP2
0000266a: MSTORE
0000266b: PUSH1 0x20
0000266d: PUSH1 0x04
0000266f: DUP3
00002670: ADD
00002671: MSTORE
00002672: PUSH1 0x17
00002674: PUSH1 0x24
00002676: DUP3
00002677: ADD
00002678: MSTORE
00002679: PUSH32 0x6e6f2073616e697479207261746520636f6e7472616374000000000000000000
0000269a: PUSH1 0x44
0000269c: DUP3
0000269d: ADD
0000269e: MSTORE
0000269f: SWAP1
000026a0: MLOAD
000026a1: SWAP1
000026a2: DUP2
000026a3: SWAP1
000026a4: SUB
000026a5: PUSH1 0x64
000026a7: ADD
000026a8: SWAP1
000026a9: REVERT
000026aa: JUMPDEST
000026ab: PUSH1 0x00
000026ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026c2: AND
000026c3: PUSH1 0x0a
000026c5: PUSH1 0x00
000026c7: DUP2
000026c8: SLOAD
000026c9: DUP2
000026ca: LT
000026cb: PUSH2 0x26d0
000026ce: JUMPI
000026cf: INVALID
000026d0: JUMPDEST
000026d1: PUSH1 0x00
000026d3: SWAP2
000026d4: DUP3
000026d5: MSTORE
000026d6: PUSH1 0x20
000026d8: SWAP1
000026d9: SWAP2
000026da: KECCAK256
000026db: ADD
000026dc: SLOAD
000026dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f2: AND
000026f3: EQ
000026f4: ISZERO
000026f5: PUSH2 0x2749
000026f8: JUMPI
000026f9: PUSH1 0x40
000026fb: MLOAD
000026fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000271d: DUP2
0000271e: MSTORE
0000271f: PUSH1 0x04
00002721: ADD
00002722: DUP1
00002723: DUP1
00002724: PUSH1 0x20
00002726: ADD
00002727: DUP3
00002728: DUP2
00002729: SUB
0000272a: DUP3
0000272b: MSTORE
0000272c: PUSH1 0x26
0000272e: DUP2
0000272f: MSTORE
00002730: PUSH1 0x20
00002732: ADD
00002733: DUP1
00002734: PUSH2 0x2e84
00002737: PUSH1 0x26
00002739: SWAP2
0000273a: CODECOPY
0000273b: PUSH1 0x40
0000273d: ADD
0000273e: SWAP2
0000273f: POP
00002740: POP
00002741: PUSH1 0x40
00002743: MLOAD
00002744: DUP1
00002745: SWAP2
00002746: SUB
00002747: SWAP1
00002748: REVERT
00002749: JUMPDEST
0000274a: PUSH1 0x00
0000274c: PUSH1 0x0a
0000274e: PUSH1 0x00
00002750: DUP2
00002751: SLOAD
00002752: DUP2
00002753: LT
00002754: PUSH2 0x2759
00002757: JUMPI
00002758: INVALID
00002759: JUMPDEST
0000275a: PUSH1 0x00
0000275c: SWAP2
0000275d: DUP3
0000275e: MSTORE
0000275f: PUSH1 0x20
00002761: SWAP2
00002762: DUP3
00002763: SWAP1
00002764: KECCAK256
00002765: ADD
00002766: SLOAD
00002767: PUSH1 0x40
00002769: DUP1
0000276a: MLOAD
0000276b: PUSH32 0x50d25bcd00000000000000000000000000000000000000000000000000000000
0000278c: DUP2
0000278d: MSTORE
0000278e: SWAP1
0000278f: MLOAD
00002790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a5: SWAP1
000027a6: SWAP3
000027a7: AND
000027a8: SWAP3
000027a9: PUSH4 0x50d25bcd
000027ae: SWAP3
000027af: PUSH1 0x04
000027b1: DUP1
000027b2: DUP5
000027b3: ADD
000027b4: SWAP4
000027b5: DUP3
000027b6: SWAP1
000027b7: SUB
000027b8: ADD
000027b9: DUP2
000027ba: DUP7
000027bb: DUP1
000027bc: EXTCODESIZE
000027bd: ISZERO
000027be: DUP1
000027bf: ISZERO
000027c0: PUSH2 0x27c8
000027c3: JUMPI
000027c4: PUSH1 0x00
000027c6: DUP1
000027c7: REVERT
000027c8: JUMPDEST
000027c9: POP
000027ca: GAS
000027cb: STATICCALL
000027cc: ISZERO
000027cd: DUP1
000027ce: ISZERO
000027cf: PUSH2 0x27dc
000027d2: JUMPI
000027d3: RETURNDATASIZE
000027d4: PUSH1 0x00
000027d6: DUP1
000027d7: RETURNDATACOPY
000027d8: RETURNDATASIZE
000027d9: PUSH1 0x00
000027db: REVERT
000027dc: JUMPDEST
000027dd: POP
000027de: POP
000027df: POP
000027e0: POP
000027e1: PUSH1 0x40
000027e3: MLOAD
000027e4: RETURNDATASIZE
000027e5: PUSH1 0x20
000027e7: DUP2
000027e8: LT
000027e9: ISZERO
000027ea: PUSH2 0x27f2
000027ed: JUMPI
000027ee: PUSH1 0x00
000027f0: DUP1
000027f1: REVERT
000027f2: JUMPDEST
000027f3: POP
000027f4: MLOAD
000027f5: SWAP1
000027f6: POP
000027f7: DUP1
000027f8: PUSH2 0x2862
000027fb: JUMPI
000027fc: PUSH1 0x40
000027fe: DUP1
000027ff: MLOAD
00002800: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002821: DUP2
00002822: MSTORE
00002823: PUSH1 0x20
00002825: PUSH1 0x04
00002827: DUP3
00002828: ADD
00002829: MSTORE
0000282a: PUSH1 0x10
0000282c: PUSH1 0x24
0000282e: DUP3
0000282f: ADD
00002830: MSTORE
00002831: PUSH32 0x73616e6974792072617465206973203000000000000000000000000000000000
00002852: PUSH1 0x44
00002854: DUP3
00002855: ADD
00002856: MSTORE
00002857: SWAP1
00002858: MLOAD
00002859: SWAP1
0000285a: DUP2
0000285b: SWAP1
0000285c: SUB
0000285d: PUSH1 0x64
0000285f: ADD
00002860: SWAP1
00002861: REVERT
00002862: JUMPDEST
00002863: PUSH11 0x084595161401484a000000
0000286f: DUP2
00002870: GT
00002871: ISZERO
00002872: PUSH2 0x28dc
00002875: JUMPI
00002876: PUSH1 0x40
00002878: DUP1
00002879: MLOAD
0000287a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000289b: DUP2
0000289c: MSTORE
0000289d: PUSH1 0x20
0000289f: PUSH1 0x04
000028a1: DUP3
000028a2: ADD
000028a3: MSTORE
000028a4: PUSH1 0x19
000028a6: PUSH1 0x24
000028a8: DUP3
000028a9: ADD
000028aa: MSTORE
000028ab: PUSH32 0x73616e6974792072617465206f7574206f6620626f756e647300000000000000
000028cc: PUSH1 0x44
000028ce: DUP3
000028cf: ADD
000028d0: MSTORE
000028d1: SWAP1
000028d2: MLOAD
000028d3: SWAP1
000028d4: DUP2
000028d5: SWAP1
000028d6: SUB
000028d7: PUSH1 0x64
000028d9: ADD
000028da: SWAP1
000028db: REVERT
000028dc: JUMPDEST
000028dd: PUSH1 0x00
000028df: PUSH2 0x2906
000028e2: DUP3
000028e3: PUSH2 0x28fa
000028e6: PUSH8 0x0de0b6b3a7640000
000028ef: DUP1
000028f0: PUSH4 0xffffffff
000028f5: PUSH2 0x2ce7
000028f8: AND
000028f9: JUMP
000028fa: JUMPDEST
000028fb: SWAP1
000028fc: PUSH4 0xffffffff
00002901: PUSH2 0x2d5a
00002904: AND
00002905: JUMP
00002906: JUMPDEST
00002907: SWAP1
00002908: POP
00002909: PUSH2 0x292c
0000290c: PUSH2 0x291f
0000290f: PUSH2 0x2710
00002912: PUSH2 0x03e8
00002915: PUSH4 0xffffffff
0000291a: PUSH2 0x2511
0000291d: AND
0000291e: JUMP
0000291f: JUMPDEST
00002920: DUP3
00002921: SWAP1
00002922: PUSH4 0xffffffff
00002927: PUSH2 0x2ce7
0000292a: AND
0000292b: JUMP
0000292c: JUMPDEST
0000292d: PUSH2 0x293e
00002930: DUP5
00002931: PUSH2 0x2710
00002934: PUSH4 0xffffffff
00002939: PUSH2 0x2ce7
0000293c: AND
0000293d: JUMP
0000293e: JUMPDEST
0000293f: LT
00002940: ISZERO
00002941: PUSH2 0x2995
00002944: JUMPI
00002945: PUSH1 0x40
00002947: MLOAD
00002948: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002969: DUP2
0000296a: MSTORE
0000296b: PUSH1 0x04
0000296d: ADD
0000296e: DUP1
0000296f: DUP1
00002970: PUSH1 0x20
00002972: ADD
00002973: DUP3
00002974: DUP2
00002975: SUB
00002976: DUP3
00002977: MSTORE
00002978: PUSH1 0x24
0000297a: DUP2
0000297b: MSTORE
0000297c: PUSH1 0x20
0000297e: ADD
0000297f: DUP1
00002980: PUSH2 0x2e3f
00002983: PUSH1 0x24
00002985: SWAP2
00002986: CODECOPY
00002987: PUSH1 0x40
00002989: ADD
0000298a: SWAP2
0000298b: POP
0000298c: POP
0000298d: PUSH1 0x40
0000298f: MLOAD
00002990: DUP1
00002991: SWAP2
00002992: SUB
00002993: SWAP1
00002994: REVERT
00002995: JUMPDEST
00002996: POP
00002997: POP
00002998: POP
00002999: JUMP
0000299a: JUMPDEST
0000299b: PUSH1 0x05
0000299d: SLOAD
0000299e: PUSH1 0x00
000029a0: SWAP1
000029a1: DUP2
000029a2: SWAP1
000029a3: PUSH2 0xffff
000029a6: DUP1
000029a7: DUP3
000029a8: AND
000029a9: SWAP2
000029aa: PUSH3 0x010000
000029ae: SWAP1
000029af: DIV
000029b0: AND
000029b1: PUSH2 0x29c6
000029b4: PUSH2 0x2710
000029b7: PUSH2 0x28fa
000029ba: DUP8
000029bb: DUP5
000029bc: PUSH4 0xffffffff
000029c1: PUSH2 0x2ce7
000029c4: AND
000029c5: JUMP
000029c6: JUMPDEST
000029c7: SWAP3
000029c8: POP
000029c9: PUSH2 0x29de
000029cc: PUSH2 0x2710
000029cf: PUSH2 0x28fa
000029d2: DUP8
000029d3: DUP6
000029d4: PUSH4 0xffffffff
000029d9: PUSH2 0x2ce7
000029dc: AND
000029dd: JUMP
000029de: JUMPDEST
000029df: SWAP4
000029e0: POP
000029e1: POP
000029e2: POP
000029e3: SWAP2
000029e4: POP
000029e5: SWAP2
000029e6: JUMP
000029e7: JUMPDEST
000029e8: PUSH1 0x00
000029ea: DUP1
000029eb: DUP1
000029ec: DUP1
000029ed: JUMPDEST
000029ee: DUP6
000029ef: MLOAD
000029f0: DUP2
000029f1: LT
000029f2: ISZERO
000029f3: PUSH2 0x2bbb
000029f6: JUMPI
000029f7: PUSH1 0x00
000029f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a0e: AND
00002a0f: DUP7
00002a10: DUP3
00002a11: DUP2
00002a12: MLOAD
00002a13: DUP2
00002a14: LT
00002a15: PUSH2 0x2a1a
00002a18: JUMPI
00002a19: INVALID
00002a1a: JUMPDEST
00002a1b: PUSH1 0x20
00002a1d: MUL
00002a1e: PUSH1 0x20
00002a20: ADD
00002a21: ADD
00002a22: MLOAD
00002a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a38: AND
00002a39: EQ
00002a3a: ISZERO
00002a3b: PUSH2 0x2aa5
00002a3e: JUMPI
00002a3f: PUSH1 0x40
00002a41: DUP1
00002a42: MLOAD
00002a43: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a64: DUP2
00002a65: MSTORE
00002a66: PUSH1 0x20
00002a68: PUSH1 0x04
00002a6a: DUP3
00002a6b: ADD
00002a6c: MSTORE
00002a6d: PUSH1 0x17
00002a6f: PUSH1 0x24
00002a71: DUP3
00002a72: ADD
00002a73: MSTORE
00002a74: PUSH32 0x7265626174652077616c6c657420616464726573732030000000000000000000
00002a95: PUSH1 0x44
00002a97: DUP3
00002a98: ADD
00002a99: MSTORE
00002a9a: SWAP1
00002a9b: MLOAD
00002a9c: SWAP1
00002a9d: DUP2
00002a9e: SWAP1
00002a9f: SUB
00002aa0: PUSH1 0x64
00002aa2: ADD
00002aa3: SWAP1
00002aa4: REVERT
00002aa5: JUMPDEST
00002aa6: PUSH2 0x2ad1
00002aa9: PUSH2 0x2710
00002aac: PUSH2 0x28fa
00002aaf: DUP8
00002ab0: DUP5
00002ab1: DUP2
00002ab2: MLOAD
00002ab3: DUP2
00002ab4: LT
00002ab5: PUSH2 0x2aba
00002ab8: JUMPI
00002ab9: INVALID
00002aba: JUMPDEST
00002abb: PUSH1 0x20
00002abd: MUL
00002abe: PUSH1 0x20
00002ac0: ADD
00002ac1: ADD
00002ac2: MLOAD
00002ac3: DUP11
00002ac4: PUSH2 0x2ce7
00002ac7: SWAP1
00002ac8: SWAP2
00002ac9: SWAP1
00002aca: PUSH4 0xffffffff
00002acf: AND
00002ad0: JUMP
00002ad1: JUMPDEST
00002ad2: SWAP2
00002ad3: POP
00002ad4: PUSH2 0x2b38
00002ad7: DUP3
00002ad8: PUSH1 0x08
00002ada: PUSH1 0x00
00002adc: DUP10
00002add: DUP6
00002ade: DUP2
00002adf: MLOAD
00002ae0: DUP2
00002ae1: LT
00002ae2: PUSH2 0x2ae7
00002ae5: JUMPI
00002ae6: INVALID
00002ae7: JUMPDEST
00002ae8: PUSH1 0x20
00002aea: MUL
00002aeb: PUSH1 0x20
00002aed: ADD
00002aee: ADD
00002aef: MLOAD
00002af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b05: AND
00002b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b1b: AND
00002b1c: DUP2
00002b1d: MSTORE
00002b1e: PUSH1 0x20
00002b20: ADD
00002b21: SWAP1
00002b22: DUP2
00002b23: MSTORE
00002b24: PUSH1 0x20
00002b26: ADD
00002b27: PUSH1 0x00
00002b29: KECCAK256
00002b2a: SLOAD
00002b2b: PUSH2 0x2494
00002b2e: SWAP1
00002b2f: SWAP2
00002b30: SWAP1
00002b31: PUSH4 0xffffffff
00002b36: AND
00002b37: JUMP
00002b38: JUMPDEST
00002b39: PUSH1 0x08
00002b3b: PUSH1 0x00
00002b3d: DUP9
00002b3e: DUP5
00002b3f: DUP2
00002b40: MLOAD
00002b41: DUP2
00002b42: LT
00002b43: PUSH2 0x2b48
00002b46: JUMPI
00002b47: INVALID
00002b48: JUMPDEST
00002b49: PUSH1 0x20
00002b4b: SWAP1
00002b4c: DUP2
00002b4d: MUL
00002b4e: SWAP2
00002b4f: SWAP1
00002b50: SWAP2
00002b51: ADD
00002b52: DUP2
00002b53: ADD
00002b54: MLOAD
00002b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b6a: AND
00002b6b: DUP3
00002b6c: MSTORE
00002b6d: DUP2
00002b6e: ADD
00002b6f: SWAP2
00002b70: SWAP1
00002b71: SWAP2
00002b72: MSTORE
00002b73: PUSH1 0x40
00002b75: ADD
00002b76: PUSH1 0x00
00002b78: KECCAK256
00002b79: SSTORE
00002b7a: PUSH2 0x2b89
00002b7d: DUP5
00002b7e: DUP4
00002b7f: PUSH4 0xffffffff
00002b84: PUSH2 0x2494
00002b87: AND
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: SWAP4
00002b8b: POP
00002b8c: PUSH2 0x2bb1
00002b8f: DUP6
00002b90: DUP3
00002b91: DUP2
00002b92: MLOAD
00002b93: DUP2
00002b94: LT
00002b95: PUSH2 0x2b9a
00002b98: JUMPI
00002b99: INVALID
00002b9a: JUMPDEST
00002b9b: PUSH1 0x20
00002b9d: MUL
00002b9e: PUSH1 0x20
00002ba0: ADD
00002ba1: ADD
00002ba2: MLOAD
00002ba3: DUP5
00002ba4: PUSH2 0x2494
00002ba7: SWAP1
00002ba8: SWAP2
00002ba9: SWAP1
00002baa: PUSH4 0xffffffff
00002baf: AND
00002bb0: JUMP
00002bb1: JUMPDEST
00002bb2: SWAP3
00002bb3: POP
00002bb4: PUSH1 0x01
00002bb6: ADD
00002bb7: PUSH2 0x29ed
00002bba: JUMP
00002bbb: JUMPDEST
00002bbc: POP
00002bbd: PUSH2 0x2710
00002bc0: DUP3
00002bc1: GT
00002bc2: ISZERO
00002bc3: PUSH2 0x2c2d
00002bc6: JUMPI
00002bc7: PUSH1 0x40
00002bc9: DUP1
00002bca: MLOAD
00002bcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002bec: DUP2
00002bed: MSTORE
00002bee: PUSH1 0x20
00002bf0: PUSH1 0x04
00002bf2: DUP3
00002bf3: ADD
00002bf4: MSTORE
00002bf5: PUSH1 0x15
00002bf7: PUSH1 0x24
00002bf9: DUP3
00002bfa: ADD
00002bfb: MSTORE
00002bfc: PUSH32 0x746f74616c526562617465427073203e20313030250000000000000000000000
00002c1d: PUSH1 0x44
00002c1f: DUP3
00002c20: ADD
00002c21: MSTORE
00002c22: SWAP1
00002c23: MLOAD
00002c24: SWAP1
00002c25: DUP2
00002c26: SWAP1
00002c27: SUB
00002c28: PUSH1 0x64
00002c2a: ADD
00002c2b: SWAP1
00002c2c: REVERT
00002c2d: JUMPDEST
00002c2e: POP
00002c2f: POP
00002c30: SWAP4
00002c31: SWAP3
00002c32: POP
00002c33: POP
00002c34: POP
00002c35: JUMP
00002c36: JUMPDEST
00002c37: PUSH1 0x00
00002c39: DUP2
00002c3a: DUP5
00002c3b: DUP5
00002c3c: GT
00002c3d: ISZERO
00002c3e: PUSH2 0x2cdf
00002c41: JUMPI
00002c42: PUSH1 0x40
00002c44: MLOAD
00002c45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c66: DUP2
00002c67: MSTORE
00002c68: PUSH1 0x04
00002c6a: ADD
00002c6b: DUP1
00002c6c: DUP1
00002c6d: PUSH1 0x20
00002c6f: ADD
00002c70: DUP3
00002c71: DUP2
00002c72: SUB
00002c73: DUP3
00002c74: MSTORE
00002c75: DUP4
00002c76: DUP2
00002c77: DUP2
00002c78: MLOAD
00002c79: DUP2
00002c7a: MSTORE
00002c7b: PUSH1 0x20
00002c7d: ADD
00002c7e: SWAP2
00002c7f: POP
00002c80: DUP1
00002c81: MLOAD
00002c82: SWAP1
00002c83: PUSH1 0x20
00002c85: ADD
00002c86: SWAP1
00002c87: DUP1
00002c88: DUP4
00002c89: DUP4
00002c8a: PUSH1 0x00
00002c8c: JUMPDEST
00002c8d: DUP4
00002c8e: DUP2
00002c8f: LT
00002c90: ISZERO
00002c91: PUSH2 0x2ca4
00002c94: JUMPI
00002c95: DUP2
00002c96: DUP2
00002c97: ADD
00002c98: MLOAD
00002c99: DUP4
00002c9a: DUP3
00002c9b: ADD
00002c9c: MSTORE
00002c9d: PUSH1 0x20
00002c9f: ADD
00002ca0: PUSH2 0x2c8c
00002ca3: JUMP
00002ca4: JUMPDEST
00002ca5: POP
00002ca6: POP
00002ca7: POP
00002ca8: POP
00002ca9: SWAP1
00002caa: POP
00002cab: SWAP1
00002cac: DUP2
00002cad: ADD
00002cae: SWAP1
00002caf: PUSH1 0x1f
00002cb1: AND
00002cb2: DUP1
00002cb3: ISZERO
00002cb4: PUSH2 0x2cd1
00002cb7: JUMPI
00002cb8: DUP1
00002cb9: DUP3
00002cba: SUB
00002cbb: DUP1
00002cbc: MLOAD
00002cbd: PUSH1 0x01
00002cbf: DUP4
00002cc0: PUSH1 0x20
00002cc2: SUB
00002cc3: PUSH2 0x0100
00002cc6: EXP
00002cc7: SUB
00002cc8: NOT
00002cc9: AND
00002cca: DUP2
00002ccb: MSTORE
00002ccc: PUSH1 0x20
00002cce: ADD
00002ccf: SWAP2
00002cd0: POP
00002cd1: JUMPDEST
00002cd2: POP
00002cd3: SWAP3
00002cd4: POP
00002cd5: POP
00002cd6: POP
00002cd7: PUSH1 0x40
00002cd9: MLOAD
00002cda: DUP1
00002cdb: SWAP2
00002cdc: SUB
00002cdd: SWAP1
00002cde: REVERT
00002cdf: JUMPDEST
00002ce0: POP
00002ce1: POP
00002ce2: POP
00002ce3: SWAP1
00002ce4: SUB
00002ce5: SWAP1
00002ce6: JUMP
00002ce7: JUMPDEST
00002ce8: PUSH1 0x00
00002cea: DUP3
00002ceb: PUSH2 0x2cf6
00002cee: JUMPI
00002cef: POP
00002cf0: PUSH1 0x00
00002cf2: PUSH2 0x250b
00002cf5: JUMP
00002cf6: JUMPDEST
00002cf7: DUP3
00002cf8: DUP3
00002cf9: MUL
00002cfa: DUP3
00002cfb: DUP5
00002cfc: DUP3
00002cfd: DUP2
00002cfe: PUSH2 0x2d03
00002d01: JUMPI
00002d02: INVALID
00002d03: JUMPDEST
00002d04: DIV
00002d05: EQ
00002d06: PUSH2 0x2508
00002d09: JUMPI
00002d0a: PUSH1 0x40
00002d0c: MLOAD
00002d0d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d2e: DUP2
00002d2f: MSTORE
00002d30: PUSH1 0x04
00002d32: ADD
00002d33: DUP1
00002d34: DUP1
00002d35: PUSH1 0x20
00002d37: ADD
00002d38: DUP3
00002d39: DUP2
00002d3a: SUB
00002d3b: DUP3
00002d3c: MSTORE
00002d3d: PUSH1 0x21
00002d3f: DUP2
00002d40: MSTORE
00002d41: PUSH1 0x20
00002d43: ADD
00002d44: DUP1
00002d45: PUSH2 0x2e63
00002d48: PUSH1 0x21
00002d4a: SWAP2
00002d4b: CODECOPY
00002d4c: PUSH1 0x40
00002d4e: ADD
00002d4f: SWAP2
00002d50: POP
00002d51: POP
00002d52: PUSH1 0x40
00002d54: MLOAD
00002d55: DUP1
00002d56: SWAP2
00002d57: SUB
00002d58: SWAP1
00002d59: REVERT
00002d5a: JUMPDEST
00002d5b: PUSH1 0x00
00002d5d: PUSH2 0x2508
00002d60: DUP4
00002d61: DUP4
00002d62: PUSH1 0x40
00002d64: MLOAD
00002d65: DUP1
00002d66: PUSH1 0x40
00002d68: ADD
00002d69: PUSH1 0x40
00002d6b: MSTORE
00002d6c: DUP1
00002d6d: PUSH1 0x1a
00002d6f: DUP2
00002d70: MSTORE
00002d71: PUSH1 0x20
00002d73: ADD
00002d74: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002d95: DUP2
00002d96: MSTORE
00002d97: POP
00002d98: PUSH1 0x00
00002d9a: DUP2
00002d9b: DUP4
00002d9c: PUSH2 0x2e00
00002d9f: JUMPI
00002da0: PUSH1 0x40
00002da2: MLOAD
00002da3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002dc4: DUP2
00002dc5: MSTORE
00002dc6: PUSH1 0x20
00002dc8: PUSH1 0x04
00002dca: DUP3
00002dcb: ADD
00002dcc: DUP2
00002dcd: DUP2
00002dce: MSTORE
00002dcf: DUP4
00002dd0: MLOAD
00002dd1: PUSH1 0x24
00002dd3: DUP5
00002dd4: ADD
00002dd5: MSTORE
00002dd6: DUP4
00002dd7: MLOAD
00002dd8: SWAP1
00002dd9: SWAP3
00002dda: DUP4
00002ddb: SWAP3
00002ddc: PUSH1 0x44
00002dde: SWAP1
00002ddf: SWAP2
00002de0: ADD
00002de1: SWAP2
00002de2: SWAP1
00002de3: DUP6
00002de4: ADD
00002de5: SWAP1
00002de6: DUP1
00002de7: DUP4
00002de8: DUP4
00002de9: PUSH1 0x00
00002deb: DUP4
00002dec: ISZERO
00002ded: PUSH2 0x2ca4
00002df0: JUMPI
00002df1: DUP2
00002df2: DUP2
00002df3: ADD
00002df4: MLOAD
00002df5: DUP4
00002df6: DUP3
00002df7: ADD
00002df8: MSTORE
00002df9: PUSH1 0x20
00002dfb: ADD
00002dfc: PUSH2 0x2c8c
00002dff: JUMP
00002e00: JUMPDEST
00002e01: POP
00002e02: PUSH1 0x00
00002e04: DUP4
00002e05: DUP6
00002e06: DUP2
00002e07: PUSH2 0x2e0c
00002e0a: JUMPI
00002e0b: INVALID
00002e0c: JUMPDEST
00002e0d: DIV
00002e0e: SWAP6
00002e0f: SWAP5
00002e10: POP
00002e11: POP
00002e12: POP
00002e13: POP
00002e14: POP
00002e15: JUMP
00002e16: JUMPDEST
00002e17: PUSH1 0x40
00002e19: MLOAD
00002e1a: DUP1
00002e1b: PUSH1 0x80
00002e1d: ADD
00002e1e: PUSH1 0x40
00002e20: MSTORE
00002e21: DUP1
00002e22: PUSH1 0x00
00002e24: DUP2
00002e25: MSTORE
00002e26: PUSH1 0x20
00002e28: ADD
00002e29: PUSH1 0x00
00002e2b: DUP2
00002e2c: MSTORE
00002e2d: PUSH1 0x20
00002e2f: ADD
00002e30: PUSH1 0x00
00002e32: DUP2
00002e33: MSTORE
00002e34: PUSH1 0x20
00002e36: ADD
00002e37: PUSH1 0x00
00002e39: DUP2
00002e3a: MSTORE
00002e3b: POP
00002e3c: SWAP1
00002e3d: JUMP
00002e3e: INVALID
00002e3f: PUSH12 0x796265724e6574776f726b20
00002e4c: PUSH6 0x746820746f20
00002e53: PUSH12 0x6e63207261746520746f6f20
00002e60: PUSH13 0x6f77536166654d6174683a206d
00002e6e: PUSH22 0x6c7469706c69636174696f6e206f766572666c6f7773
00002e85: PUSH2 0x6e69
00002e88: PUSH21 0x792072617465206973203078302c206275726e696e
00002e9e: PUSH8 0x20697320626c6f63
00002ea7: PUSH12 0x6564a2646970667358221220
00002eb4: PUSH13 0x2983954afdb0c49f4334d32803
00002ec2: SGT
00002ec3: UNKNOWN(0xD0)
00002ec4: SWAP10
00002ec5: SWAP15
00002ec6: LOG1
00002ec7: UNKNOWN(0xB6)
00002ec8: UNKNOWN(0xFC)
00002ec9: JUMPDEST
00002eca: BLOCKHASH
00002ecb: 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": "0xc6c3f3f9",
            "selector": "0xc6c3f3f9",
            "calldata_variants": [
                "0xc6c3f3f9",
                "0xc6c3f3f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe61387e0",
            "selector": "0xe61387e0",
            "calldata_variants": [
                "0xe61387e0",
                "0xe61387e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0eeed81",
            "selector": "0xf0eeed81",
            "calldata_variants": [
                "0xf0eeed81",
                "0xf0eeed810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb7c5ab41",
            "selector": "0xb7c5ab41",
            "calldata_variants": [
                "0xb7c5ab41",
                "0xb7c5ab410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc01bdf04",
            "selector": "0xc01bdf04",
            "calldata_variants": [
                "0xc01bdf04",
                "0xc01bdf040000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc03e798c",
            "selector": "0xc03e798c",
            "calldata_variants": [
                "0xc03e798c",
                "0xc03e798c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa840874f",
            "selector": "0xa840874f",
            "calldata_variants": [
                "0xa840874f",
                "0xa840874f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae2e933b",
            "selector": "0xae2e933b",
            "calldata_variants": [
                "0xae2e933b",
                "0xae2e933b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 4816,
            "type": "tx_origin_used"
        },
        {
            "pc": 4814,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x810be54a5490c951259091a93f40d6e0c4e1e4758ac72d2a451ae1f166230a94
call_targets: 0x9fb131efbac23b735d7764ab12f9e52cc68401ca
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x810be54a5490c951259091a93f40d6e0c4e1e4758ac72d2a451ae1f166230a94",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9fb131efbac23b735d7764ab12f9e52cc68401ca"
    ],
    "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": "0xc6c3f3f9",
            "selector": "0xc6c3f3f9",
            "calldata_variants": [
                "0xc6c3f3f9",
                "0xc6c3f3f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe61387e0",
            "selector": "0xe61387e0",
            "calldata_variants": [
                "0xe61387e0",
                "0xe61387e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0eeed81",
            "selector": "0xf0eeed81",
            "calldata_variants": [
                "0xf0eeed81",
                "0xf0eeed810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb7c5ab41",
            "selector": "0xb7c5ab41",
            "calldata_variants": [
                "0xb7c5ab41",
                "0xb7c5ab410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc01bdf04",
            "selector": "0xc01bdf04",
            "calldata_variants": [
                "0xc01bdf04",
                "0xc01bdf040000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc03e798c",
            "selector": "0xc03e798c",
            "calldata_variants": [
                "0xc03e798c",
                "0xc03e798c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa840874f",
            "selector": "0xa840874f",
            "calldata_variants": [
                "0xa840874f",
                "0xa840874f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae2e933b",
            "selector": "0xae2e933b",
            "calldata_variants": [
                "0xae2e933b",
                "0xae2e933b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4480,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5555,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5747,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 4816,
            "type": "tx_origin_used"
        },
        {
            "pc": 4814,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x810be54a5490c951259091a93f40d6e0c4e1e4758ac72d2a451ae1f166230a94
call_targets: 0x9fb131efbac23b735d7764ab12f9e52cc68401ca
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x810be54a5490c951259091a93f40d6e0c4e1e4758ac72d2a451ae1f166230a94",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9fb131efbac23b735d7764ab12f9e52cc68401ca"
    ],
    "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": "0xc6c3f3f9",
            "selector": "0xc6c3f3f9",
            "calldata_variants": [
                "0xc6c3f3f9",
                "0xc6c3f3f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe61387e0",
            "selector": "0xe61387e0",
            "calldata_variants": [
                "0xe61387e0",
                "0xe61387e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0eeed81",
            "selector": "0xf0eeed81",
            "calldata_variants": [
                "0xf0eeed81",
                "0xf0eeed810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb7c5ab41",
            "selector": "0xb7c5ab41",
            "calldata_variants": [
                "0xb7c5ab41",
                "0xb7c5ab410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc01bdf04",
            "selector": "0xc01bdf04",
            "calldata_variants": [
                "0xc01bdf04",
                "0xc01bdf040000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc03e798c",
            "selector": "0xc03e798c",
            "calldata_variants": [
                "0xc03e798c",
                "0xc03e798c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa840874f",
            "selector": "0xa840874f",
            "calldata_variants": [
                "0xa840874f",
                "0xa840874f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae2e933b",
            "selector": "0xae2e933b",
            "calldata_variants": [
                "0xae2e933b",
                "0xae2e933b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4480,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5555,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5747,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 4816,
            "type": "tx_origin_used"
        },
        {
            "pc": 4814,
            "type": "tx_origin_used"
        }
    ]
}