Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-bdee-73b6-b775-599b3dedb9fd
complete
Chain ID
Address
0x5347fdea6aa4d7770b31734408da6d34a8a07bdf
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
Validated
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
24305	artifact.fetch	complete	1 / 3	3 months ago
24306	tool.cast_disasm	complete	1 / 3	3 months ago
67962	analysis.bundle	complete	1 / 3	2 weeks ago
67963	capability.graph	complete	1 / 3	2 weeks ago
67964	detector.run	complete	1 / 3	2 weeks ago
67965	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
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
5030
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01cf
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x632f6d3e
00000026: GT
00000027: PUSH2 0x0104
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xa217fddf
00000031: GT
00000032: PUSH2 0x00a2
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd5391393
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd5391393
00000047: EQ
00000048: PUSH2 0x08ee
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd547741f
00000052: EQ
00000053: PUSH2 0x090c
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x095a
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xe63ab1e9
00000068: EQ
00000069: PUSH2 0x09d2
0000006c: JUMPI
0000006d: PUSH2 0x01cf
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xa217fddf
00000078: EQ
00000079: PUSH2 0x07c2
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xa457c2d7
00000083: EQ
00000084: PUSH2 0x07e0
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xa9059cbb
0000008e: EQ
0000008f: PUSH2 0x0846
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xca15c873
00000099: EQ
0000009a: PUSH2 0x08ac
0000009d: JUMPI
0000009e: PUSH2 0x01cf
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x8456cb59
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8456cb59
000000b4: EQ
000000b5: PUSH2 0x0657
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x9010d07c
000000bf: EQ
000000c0: PUSH2 0x0661
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x91d14854
000000ca: EQ
000000cb: PUSH2 0x06d9
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x95d89b41
000000d5: EQ
000000d6: PUSH2 0x073f
000000d9: JUMPI
000000da: PUSH2 0x01cf
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x632f6d3e
000000e5: EQ
000000e6: PUSH2 0x058f
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x70a08231
000000f0: EQ
000000f1: PUSH2 0x05b1
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x79cc6790
000000fb: EQ
000000fc: PUSH2 0x0609
000000ff: JUMPI
00000100: PUSH2 0x01cf
00000103: JUMP
00000104: JUMPDEST
00000105: DUP1
00000106: PUSH4 0x355274ea
0000010b: GT
0000010c: PUSH2 0x0171
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x3f4ba83a
00000116: GT
00000117: PUSH2 0x014b
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x3f4ba83a
00000121: EQ
00000122: PUSH2 0x04e7
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x40c10f19
0000012c: EQ
0000012d: PUSH2 0x04f1
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x42966c68
00000137: EQ
00000138: PUSH2 0x053f
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x5c975abb
00000142: EQ
00000143: PUSH2 0x056d
00000146: JUMPI
00000147: PUSH2 0x01cf
0000014a: JUMP
0000014b: JUMPDEST
0000014c: DUP1
0000014d: PUSH4 0x355274ea
00000152: EQ
00000153: PUSH2 0x0415
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x36568abe
0000015d: EQ
0000015e: PUSH2 0x0433
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x39509351
00000168: EQ
00000169: PUSH2 0x0481
0000016c: JUMPI
0000016d: PUSH2 0x01cf
00000170: JUMP
00000171: JUMPDEST
00000172: DUP1
00000173: PUSH4 0x23b872dd
00000178: GT
00000179: PUSH2 0x01ad
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x23b872dd
00000183: EQ
00000184: PUSH2 0x02db
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x248a9ca3
0000018e: EQ
0000018f: PUSH2 0x0361
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x2f2ff15d
00000199: EQ
0000019a: PUSH2 0x03a3
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x313ce567
000001a4: EQ
000001a5: PUSH2 0x03f1
000001a8: JUMPI
000001a9: PUSH2 0x01cf
000001ac: JUMP
000001ad: JUMPDEST
000001ae: DUP1
000001af: PUSH4 0x06fdde03
000001b4: EQ
000001b5: PUSH2 0x01d4
000001b8: JUMPI
000001b9: DUP1
000001ba: PUSH4 0x095ea7b3
000001bf: EQ
000001c0: PUSH2 0x0257
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x18160ddd
000001ca: EQ
000001cb: PUSH2 0x02bd
000001ce: JUMPI
000001cf: JUMPDEST
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: PUSH2 0x01dc
000001d8: PUSH2 0x09f0
000001db: JUMP
000001dc: JUMPDEST
000001dd: PUSH1 0x40
000001df: MLOAD
000001e0: DUP1
000001e1: DUP1
000001e2: PUSH1 0x20
000001e4: ADD
000001e5: DUP3
000001e6: DUP2
000001e7: SUB
000001e8: DUP3
000001e9: MSTORE
000001ea: DUP4
000001eb: DUP2
000001ec: DUP2
000001ed: MLOAD
000001ee: DUP2
000001ef: MSTORE
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: SWAP2
000001f4: POP
000001f5: DUP1
000001f6: MLOAD
000001f7: SWAP1
000001f8: PUSH1 0x20
000001fa: ADD
000001fb: SWAP1
000001fc: DUP1
000001fd: DUP4
000001fe: DUP4
000001ff: PUSH1 0x00
00000201: JUMPDEST
00000202: DUP4
00000203: DUP2
00000204: LT
00000205: ISZERO
00000206: PUSH2 0x021c
00000209: JUMPI
0000020a: DUP1
0000020b: DUP3
0000020c: ADD
0000020d: MLOAD
0000020e: DUP2
0000020f: DUP5
00000210: ADD
00000211: MSTORE
00000212: PUSH1 0x20
00000214: DUP2
00000215: ADD
00000216: SWAP1
00000217: POP
00000218: PUSH2 0x0201
0000021b: JUMP
0000021c: JUMPDEST
0000021d: POP
0000021e: POP
0000021f: POP
00000220: POP
00000221: SWAP1
00000222: POP
00000223: SWAP1
00000224: DUP2
00000225: ADD
00000226: SWAP1
00000227: PUSH1 0x1f
00000229: AND
0000022a: DUP1
0000022b: ISZERO
0000022c: PUSH2 0x0249
0000022f: JUMPI
00000230: DUP1
00000231: DUP3
00000232: SUB
00000233: DUP1
00000234: MLOAD
00000235: PUSH1 0x01
00000237: DUP4
00000238: PUSH1 0x20
0000023a: SUB
0000023b: PUSH2 0x0100
0000023e: EXP
0000023f: SUB
00000240: NOT
00000241: AND
00000242: DUP2
00000243: MSTORE
00000244: PUSH1 0x20
00000246: ADD
00000247: SWAP2
00000248: POP
00000249: JUMPDEST
0000024a: POP
0000024b: SWAP3
0000024c: POP
0000024d: POP
0000024e: POP
0000024f: PUSH1 0x40
00000251: MLOAD
00000252: DUP1
00000253: SWAP2
00000254: SUB
00000255: SWAP1
00000256: RETURN
00000257: JUMPDEST
00000258: PUSH2 0x02a3
0000025b: PUSH1 0x04
0000025d: DUP1
0000025e: CALLDATASIZE
0000025f: SUB
00000260: PUSH1 0x40
00000262: DUP2
00000263: LT
00000264: ISZERO
00000265: PUSH2 0x026d
00000268: JUMPI
00000269: PUSH1 0x00
0000026b: DUP1
0000026c: REVERT
0000026d: JUMPDEST
0000026e: DUP2
0000026f: ADD
00000270: SWAP1
00000271: DUP1
00000272: DUP1
00000273: CALLDATALOAD
00000274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000289: AND
0000028a: SWAP1
0000028b: PUSH1 0x20
0000028d: ADD
0000028e: SWAP1
0000028f: SWAP3
00000290: SWAP2
00000291: SWAP1
00000292: DUP1
00000293: CALLDATALOAD
00000294: SWAP1
00000295: PUSH1 0x20
00000297: ADD
00000298: SWAP1
00000299: SWAP3
0000029a: SWAP2
0000029b: SWAP1
0000029c: POP
0000029d: POP
0000029e: POP
0000029f: PUSH2 0x0a92
000002a2: JUMP
000002a3: JUMPDEST
000002a4: PUSH1 0x40
000002a6: MLOAD
000002a7: DUP1
000002a8: DUP3
000002a9: ISZERO
000002aa: ISZERO
000002ab: ISZERO
000002ac: ISZERO
000002ad: DUP2
000002ae: MSTORE
000002af: PUSH1 0x20
000002b1: ADD
000002b2: SWAP2
000002b3: POP
000002b4: POP
000002b5: PUSH1 0x40
000002b7: MLOAD
000002b8: DUP1
000002b9: SWAP2
000002ba: SUB
000002bb: SWAP1
000002bc: RETURN
000002bd: JUMPDEST
000002be: PUSH2 0x02c5
000002c1: PUSH2 0x0ab0
000002c4: JUMP
000002c5: JUMPDEST
000002c6: PUSH1 0x40
000002c8: MLOAD
000002c9: DUP1
000002ca: DUP3
000002cb: DUP2
000002cc: MSTORE
000002cd: PUSH1 0x20
000002cf: ADD
000002d0: SWAP2
000002d1: POP
000002d2: POP
000002d3: PUSH1 0x40
000002d5: MLOAD
000002d6: DUP1
000002d7: SWAP2
000002d8: SUB
000002d9: SWAP1
000002da: RETURN
000002db: JUMPDEST
000002dc: PUSH2 0x0347
000002df: PUSH1 0x04
000002e1: DUP1
000002e2: CALLDATASIZE
000002e3: SUB
000002e4: PUSH1 0x60
000002e6: DUP2
000002e7: LT
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: DUP2
000002f3: ADD
000002f4: SWAP1
000002f5: DUP1
000002f6: DUP1
000002f7: CALLDATALOAD
000002f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000030d: AND
0000030e: SWAP1
0000030f: PUSH1 0x20
00000311: ADD
00000312: SWAP1
00000313: SWAP3
00000314: SWAP2
00000315: SWAP1
00000316: DUP1
00000317: CALLDATALOAD
00000318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000032d: AND
0000032e: SWAP1
0000032f: PUSH1 0x20
00000331: ADD
00000332: SWAP1
00000333: SWAP3
00000334: SWAP2
00000335: SWAP1
00000336: DUP1
00000337: CALLDATALOAD
00000338: SWAP1
00000339: PUSH1 0x20
0000033b: ADD
0000033c: SWAP1
0000033d: SWAP3
0000033e: SWAP2
0000033f: SWAP1
00000340: POP
00000341: POP
00000342: POP
00000343: PUSH2 0x0aba
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH1 0x40
0000034a: MLOAD
0000034b: DUP1
0000034c: DUP3
0000034d: ISZERO
0000034e: ISZERO
0000034f: ISZERO
00000350: ISZERO
00000351: DUP2
00000352: MSTORE
00000353: PUSH1 0x20
00000355: ADD
00000356: SWAP2
00000357: POP
00000358: POP
00000359: PUSH1 0x40
0000035b: MLOAD
0000035c: DUP1
0000035d: SWAP2
0000035e: SUB
0000035f: SWAP1
00000360: RETURN
00000361: JUMPDEST
00000362: PUSH2 0x038d
00000365: PUSH1 0x04
00000367: DUP1
00000368: CALLDATASIZE
00000369: SUB
0000036a: PUSH1 0x20
0000036c: DUP2
0000036d: LT
0000036e: ISZERO
0000036f: PUSH2 0x0377
00000372: JUMPI
00000373: PUSH1 0x00
00000375: DUP1
00000376: REVERT
00000377: JUMPDEST
00000378: DUP2
00000379: ADD
0000037a: SWAP1
0000037b: DUP1
0000037c: DUP1
0000037d: CALLDATALOAD
0000037e: SWAP1
0000037f: PUSH1 0x20
00000381: ADD
00000382: SWAP1
00000383: SWAP3
00000384: SWAP2
00000385: SWAP1
00000386: POP
00000387: POP
00000388: POP
00000389: PUSH2 0x0b93
0000038c: JUMP
0000038d: JUMPDEST
0000038e: PUSH1 0x40
00000390: MLOAD
00000391: DUP1
00000392: DUP3
00000393: DUP2
00000394: MSTORE
00000395: PUSH1 0x20
00000397: ADD
00000398: SWAP2
00000399: POP
0000039a: POP
0000039b: PUSH1 0x40
0000039d: MLOAD
0000039e: DUP1
0000039f: SWAP2
000003a0: SUB
000003a1: SWAP1
000003a2: RETURN
000003a3: JUMPDEST
000003a4: PUSH2 0x03ef
000003a7: PUSH1 0x04
000003a9: DUP1
000003aa: CALLDATASIZE
000003ab: SUB
000003ac: PUSH1 0x40
000003ae: DUP2
000003af: LT
000003b0: ISZERO
000003b1: PUSH2 0x03b9
000003b4: JUMPI
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: DUP2
000003bb: ADD
000003bc: SWAP1
000003bd: DUP1
000003be: DUP1
000003bf: CALLDATALOAD
000003c0: SWAP1
000003c1: PUSH1 0x20
000003c3: ADD
000003c4: SWAP1
000003c5: SWAP3
000003c6: SWAP2
000003c7: SWAP1
000003c8: DUP1
000003c9: CALLDATALOAD
000003ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003df: AND
000003e0: SWAP1
000003e1: PUSH1 0x20
000003e3: ADD
000003e4: SWAP1
000003e5: SWAP3
000003e6: SWAP2
000003e7: SWAP1
000003e8: POP
000003e9: POP
000003ea: POP
000003eb: PUSH2 0x0bb2
000003ee: JUMP
000003ef: JUMPDEST
000003f0: STOP
000003f1: JUMPDEST
000003f2: PUSH2 0x03f9
000003f5: PUSH2 0x0c3b
000003f8: JUMP
000003f9: JUMPDEST
000003fa: PUSH1 0x40
000003fc: MLOAD
000003fd: DUP1
000003fe: DUP3
000003ff: PUSH1 0xff
00000401: AND
00000402: PUSH1 0xff
00000404: AND
00000405: DUP2
00000406: MSTORE
00000407: PUSH1 0x20
00000409: ADD
0000040a: SWAP2
0000040b: POP
0000040c: POP
0000040d: PUSH1 0x40
0000040f: MLOAD
00000410: DUP1
00000411: SWAP2
00000412: SUB
00000413: SWAP1
00000414: RETURN
00000415: JUMPDEST
00000416: PUSH2 0x041d
00000419: PUSH2 0x0c52
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: DUP1
00000422: DUP3
00000423: DUP2
00000424: MSTORE
00000425: PUSH1 0x20
00000427: ADD
00000428: SWAP2
00000429: POP
0000042a: POP
0000042b: PUSH1 0x40
0000042d: MLOAD
0000042e: DUP1
0000042f: SWAP2
00000430: SUB
00000431: SWAP1
00000432: RETURN
00000433: JUMPDEST
00000434: PUSH2 0x047f
00000437: PUSH1 0x04
00000439: DUP1
0000043a: CALLDATASIZE
0000043b: SUB
0000043c: PUSH1 0x40
0000043e: DUP2
0000043f: LT
00000440: ISZERO
00000441: PUSH2 0x0449
00000444: JUMPI
00000445: PUSH1 0x00
00000447: DUP1
00000448: REVERT
00000449: JUMPDEST
0000044a: DUP2
0000044b: ADD
0000044c: SWAP1
0000044d: DUP1
0000044e: DUP1
0000044f: CALLDATALOAD
00000450: SWAP1
00000451: PUSH1 0x20
00000453: ADD
00000454: SWAP1
00000455: SWAP3
00000456: SWAP2
00000457: SWAP1
00000458: DUP1
00000459: CALLDATALOAD
0000045a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000046f: AND
00000470: SWAP1
00000471: PUSH1 0x20
00000473: ADD
00000474: SWAP1
00000475: SWAP3
00000476: SWAP2
00000477: SWAP1
00000478: POP
00000479: POP
0000047a: POP
0000047b: PUSH2 0x0c5c
0000047e: JUMP
0000047f: JUMPDEST
00000480: STOP
00000481: JUMPDEST
00000482: PUSH2 0x04cd
00000485: PUSH1 0x04
00000487: DUP1
00000488: CALLDATASIZE
00000489: SUB
0000048a: PUSH1 0x40
0000048c: DUP2
0000048d: LT
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: DUP2
00000499: ADD
0000049a: SWAP1
0000049b: DUP1
0000049c: DUP1
0000049d: CALLDATALOAD
0000049e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b3: AND
000004b4: SWAP1
000004b5: PUSH1 0x20
000004b7: ADD
000004b8: SWAP1
000004b9: SWAP3
000004ba: SWAP2
000004bb: SWAP1
000004bc: DUP1
000004bd: CALLDATALOAD
000004be: SWAP1
000004bf: PUSH1 0x20
000004c1: ADD
000004c2: SWAP1
000004c3: SWAP3
000004c4: SWAP2
000004c5: SWAP1
000004c6: POP
000004c7: POP
000004c8: POP
000004c9: PUSH2 0x0cf5
000004cc: JUMP
000004cd: JUMPDEST
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: DUP1
000004d2: DUP3
000004d3: ISZERO
000004d4: ISZERO
000004d5: ISZERO
000004d6: ISZERO
000004d7: DUP2
000004d8: MSTORE
000004d9: PUSH1 0x20
000004db: ADD
000004dc: SWAP2
000004dd: POP
000004de: POP
000004df: PUSH1 0x40
000004e1: MLOAD
000004e2: DUP1
000004e3: SWAP2
000004e4: SUB
000004e5: SWAP1
000004e6: RETURN
000004e7: JUMPDEST
000004e8: PUSH2 0x04ef
000004eb: PUSH2 0x0da8
000004ee: JUMP
000004ef: JUMPDEST
000004f0: STOP
000004f1: JUMPDEST
000004f2: PUSH2 0x053d
000004f5: PUSH1 0x04
000004f7: DUP1
000004f8: CALLDATASIZE
000004f9: SUB
000004fa: PUSH1 0x40
000004fc: DUP2
000004fd: LT
000004fe: ISZERO
000004ff: PUSH2 0x0507
00000502: JUMPI
00000503: PUSH1 0x00
00000505: DUP1
00000506: REVERT
00000507: JUMPDEST
00000508: DUP2
00000509: ADD
0000050a: SWAP1
0000050b: DUP1
0000050c: DUP1
0000050d: CALLDATALOAD
0000050e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000523: AND
00000524: SWAP1
00000525: PUSH1 0x20
00000527: ADD
00000528: SWAP1
00000529: SWAP3
0000052a: SWAP2
0000052b: SWAP1
0000052c: DUP1
0000052d: CALLDATALOAD
0000052e: SWAP1
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP1
00000533: SWAP3
00000534: SWAP2
00000535: SWAP1
00000536: POP
00000537: POP
00000538: POP
00000539: PUSH2 0x0e4d
0000053c: JUMP
0000053d: JUMPDEST
0000053e: STOP
0000053f: JUMPDEST
00000540: PUSH2 0x056b
00000543: PUSH1 0x04
00000545: DUP1
00000546: CALLDATASIZE
00000547: SUB
00000548: PUSH1 0x20
0000054a: DUP2
0000054b: LT
0000054c: ISZERO
0000054d: PUSH2 0x0555
00000550: JUMPI
00000551: PUSH1 0x00
00000553: DUP1
00000554: REVERT
00000555: JUMPDEST
00000556: DUP2
00000557: ADD
00000558: SWAP1
00000559: DUP1
0000055a: DUP1
0000055b: CALLDATALOAD
0000055c: SWAP1
0000055d: PUSH1 0x20
0000055f: ADD
00000560: SWAP1
00000561: SWAP3
00000562: SWAP2
00000563: SWAP1
00000564: POP
00000565: POP
00000566: POP
00000567: PUSH2 0x0ef6
0000056a: JUMP
0000056b: JUMPDEST
0000056c: STOP
0000056d: JUMPDEST
0000056e: PUSH2 0x0575
00000571: PUSH2 0x0f0a
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x40
00000578: MLOAD
00000579: DUP1
0000057a: DUP3
0000057b: ISZERO
0000057c: ISZERO
0000057d: ISZERO
0000057e: ISZERO
0000057f: DUP2
00000580: MSTORE
00000581: PUSH1 0x20
00000583: ADD
00000584: SWAP2
00000585: POP
00000586: POP
00000587: PUSH1 0x40
00000589: MLOAD
0000058a: DUP1
0000058b: SWAP2
0000058c: SUB
0000058d: SWAP1
0000058e: RETURN
0000058f: JUMPDEST
00000590: PUSH2 0x0597
00000593: PUSH2 0x0f21
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH1 0x40
0000059a: MLOAD
0000059b: DUP1
0000059c: DUP3
0000059d: ISZERO
0000059e: ISZERO
0000059f: ISZERO
000005a0: ISZERO
000005a1: DUP2
000005a2: MSTORE
000005a3: PUSH1 0x20
000005a5: ADD
000005a6: SWAP2
000005a7: POP
000005a8: POP
000005a9: PUSH1 0x40
000005ab: MLOAD
000005ac: DUP1
000005ad: SWAP2
000005ae: SUB
000005af: SWAP1
000005b0: RETURN
000005b1: JUMPDEST
000005b2: PUSH2 0x05f3
000005b5: PUSH1 0x04
000005b7: DUP1
000005b8: CALLDATASIZE
000005b9: SUB
000005ba: PUSH1 0x20
000005bc: DUP2
000005bd: LT
000005be: ISZERO
000005bf: PUSH2 0x05c7
000005c2: JUMPI
000005c3: PUSH1 0x00
000005c5: DUP1
000005c6: REVERT
000005c7: JUMPDEST
000005c8: DUP2
000005c9: ADD
000005ca: SWAP1
000005cb: DUP1
000005cc: DUP1
000005cd: CALLDATALOAD
000005ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e3: AND
000005e4: SWAP1
000005e5: PUSH1 0x20
000005e7: ADD
000005e8: SWAP1
000005e9: SWAP3
000005ea: SWAP2
000005eb: SWAP1
000005ec: POP
000005ed: POP
000005ee: POP
000005ef: PUSH2 0x0f2a
000005f2: JUMP
000005f3: JUMPDEST
000005f4: PUSH1 0x40
000005f6: MLOAD
000005f7: DUP1
000005f8: DUP3
000005f9: DUP2
000005fa: MSTORE
000005fb: PUSH1 0x20
000005fd: ADD
000005fe: SWAP2
000005ff: POP
00000600: POP
00000601: PUSH1 0x40
00000603: MLOAD
00000604: DUP1
00000605: SWAP2
00000606: SUB
00000607: SWAP1
00000608: RETURN
00000609: JUMPDEST
0000060a: PUSH2 0x0655
0000060d: PUSH1 0x04
0000060f: DUP1
00000610: CALLDATASIZE
00000611: SUB
00000612: PUSH1 0x40
00000614: DUP2
00000615: LT
00000616: ISZERO
00000617: PUSH2 0x061f
0000061a: JUMPI
0000061b: PUSH1 0x00
0000061d: DUP1
0000061e: REVERT
0000061f: JUMPDEST
00000620: DUP2
00000621: ADD
00000622: SWAP1
00000623: DUP1
00000624: DUP1
00000625: CALLDATALOAD
00000626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063b: AND
0000063c: SWAP1
0000063d: PUSH1 0x20
0000063f: ADD
00000640: SWAP1
00000641: SWAP3
00000642: SWAP2
00000643: SWAP1
00000644: DUP1
00000645: CALLDATALOAD
00000646: SWAP1
00000647: PUSH1 0x20
00000649: ADD
0000064a: SWAP1
0000064b: SWAP3
0000064c: SWAP2
0000064d: SWAP1
0000064e: POP
0000064f: POP
00000650: POP
00000651: PUSH2 0x0f73
00000654: JUMP
00000655: JUMPDEST
00000656: STOP
00000657: JUMPDEST
00000658: PUSH2 0x065f
0000065b: PUSH2 0x0fd5
0000065e: JUMP
0000065f: JUMPDEST
00000660: STOP
00000661: JUMPDEST
00000662: PUSH2 0x0697
00000665: PUSH1 0x04
00000667: DUP1
00000668: CALLDATASIZE
00000669: SUB
0000066a: PUSH1 0x40
0000066c: DUP2
0000066d: LT
0000066e: ISZERO
0000066f: PUSH2 0x0677
00000672: JUMPI
00000673: PUSH1 0x00
00000675: DUP1
00000676: REVERT
00000677: JUMPDEST
00000678: DUP2
00000679: ADD
0000067a: SWAP1
0000067b: DUP1
0000067c: DUP1
0000067d: CALLDATALOAD
0000067e: SWAP1
0000067f: PUSH1 0x20
00000681: ADD
00000682: SWAP1
00000683: SWAP3
00000684: SWAP2
00000685: SWAP1
00000686: DUP1
00000687: CALLDATALOAD
00000688: SWAP1
00000689: PUSH1 0x20
0000068b: ADD
0000068c: SWAP1
0000068d: SWAP3
0000068e: SWAP2
0000068f: SWAP1
00000690: POP
00000691: POP
00000692: POP
00000693: PUSH2 0x107a
00000696: JUMP
00000697: JUMPDEST
00000698: PUSH1 0x40
0000069a: MLOAD
0000069b: DUP1
0000069c: DUP3
0000069d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b2: AND
000006b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c8: AND
000006c9: DUP2
000006ca: MSTORE
000006cb: PUSH1 0x20
000006cd: ADD
000006ce: SWAP2
000006cf: POP
000006d0: POP
000006d1: PUSH1 0x40
000006d3: MLOAD
000006d4: DUP1
000006d5: SWAP2
000006d6: SUB
000006d7: SWAP1
000006d8: RETURN
000006d9: JUMPDEST
000006da: PUSH2 0x0725
000006dd: PUSH1 0x04
000006df: DUP1
000006e0: CALLDATASIZE
000006e1: SUB
000006e2: PUSH1 0x40
000006e4: DUP2
000006e5: LT
000006e6: ISZERO
000006e7: PUSH2 0x06ef
000006ea: JUMPI
000006eb: PUSH1 0x00
000006ed: DUP1
000006ee: REVERT
000006ef: JUMPDEST
000006f0: DUP2
000006f1: ADD
000006f2: SWAP1
000006f3: DUP1
000006f4: DUP1
000006f5: CALLDATALOAD
000006f6: SWAP1
000006f7: PUSH1 0x20
000006f9: ADD
000006fa: SWAP1
000006fb: SWAP3
000006fc: SWAP2
000006fd: SWAP1
000006fe: DUP1
000006ff: CALLDATALOAD
00000700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000715: AND
00000716: SWAP1
00000717: PUSH1 0x20
00000719: ADD
0000071a: SWAP1
0000071b: SWAP3
0000071c: SWAP2
0000071d: SWAP1
0000071e: POP
0000071f: POP
00000720: POP
00000721: PUSH2 0x10ab
00000724: JUMP
00000725: JUMPDEST
00000726: PUSH1 0x40
00000728: MLOAD
00000729: DUP1
0000072a: DUP3
0000072b: ISZERO
0000072c: ISZERO
0000072d: ISZERO
0000072e: ISZERO
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x20
00000733: ADD
00000734: SWAP2
00000735: POP
00000736: POP
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: DUP1
0000073b: SWAP2
0000073c: SUB
0000073d: SWAP1
0000073e: RETURN
0000073f: JUMPDEST
00000740: PUSH2 0x0747
00000743: PUSH2 0x10dc
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH1 0x40
0000074a: MLOAD
0000074b: DUP1
0000074c: DUP1
0000074d: PUSH1 0x20
0000074f: ADD
00000750: DUP3
00000751: DUP2
00000752: SUB
00000753: DUP3
00000754: MSTORE
00000755: DUP4
00000756: DUP2
00000757: DUP2
00000758: MLOAD
00000759: DUP2
0000075a: MSTORE
0000075b: PUSH1 0x20
0000075d: ADD
0000075e: SWAP2
0000075f: POP
00000760: DUP1
00000761: MLOAD
00000762: SWAP1
00000763: PUSH1 0x20
00000765: ADD
00000766: SWAP1
00000767: DUP1
00000768: DUP4
00000769: DUP4
0000076a: PUSH1 0x00
0000076c: JUMPDEST
0000076d: DUP4
0000076e: DUP2
0000076f: LT
00000770: ISZERO
00000771: PUSH2 0x0787
00000774: JUMPI
00000775: DUP1
00000776: DUP3
00000777: ADD
00000778: MLOAD
00000779: DUP2
0000077a: DUP5
0000077b: ADD
0000077c: MSTORE
0000077d: PUSH1 0x20
0000077f: DUP2
00000780: ADD
00000781: SWAP1
00000782: POP
00000783: PUSH2 0x076c
00000786: JUMP
00000787: JUMPDEST
00000788: POP
00000789: POP
0000078a: POP
0000078b: POP
0000078c: SWAP1
0000078d: POP
0000078e: SWAP1
0000078f: DUP2
00000790: ADD
00000791: SWAP1
00000792: PUSH1 0x1f
00000794: AND
00000795: DUP1
00000796: ISZERO
00000797: PUSH2 0x07b4
0000079a: JUMPI
0000079b: DUP1
0000079c: DUP3
0000079d: SUB
0000079e: DUP1
0000079f: MLOAD
000007a0: PUSH1 0x01
000007a2: DUP4
000007a3: PUSH1 0x20
000007a5: SUB
000007a6: PUSH2 0x0100
000007a9: EXP
000007aa: SUB
000007ab: NOT
000007ac: AND
000007ad: DUP2
000007ae: MSTORE
000007af: PUSH1 0x20
000007b1: ADD
000007b2: SWAP2
000007b3: POP
000007b4: JUMPDEST
000007b5: POP
000007b6: SWAP3
000007b7: POP
000007b8: POP
000007b9: POP
000007ba: PUSH1 0x40
000007bc: MLOAD
000007bd: DUP1
000007be: SWAP2
000007bf: SUB
000007c0: SWAP1
000007c1: RETURN
000007c2: JUMPDEST
000007c3: PUSH2 0x07ca
000007c6: PUSH2 0x117e
000007c9: JUMP
000007ca: JUMPDEST
000007cb: PUSH1 0x40
000007cd: MLOAD
000007ce: DUP1
000007cf: DUP3
000007d0: DUP2
000007d1: MSTORE
000007d2: PUSH1 0x20
000007d4: ADD
000007d5: SWAP2
000007d6: POP
000007d7: POP
000007d8: PUSH1 0x40
000007da: MLOAD
000007db: DUP1
000007dc: SWAP2
000007dd: SUB
000007de: SWAP1
000007df: RETURN
000007e0: JUMPDEST
000007e1: PUSH2 0x082c
000007e4: PUSH1 0x04
000007e6: DUP1
000007e7: CALLDATASIZE
000007e8: SUB
000007e9: PUSH1 0x40
000007eb: DUP2
000007ec: LT
000007ed: ISZERO
000007ee: PUSH2 0x07f6
000007f1: JUMPI
000007f2: PUSH1 0x00
000007f4: DUP1
000007f5: REVERT
000007f6: JUMPDEST
000007f7: DUP2
000007f8: ADD
000007f9: SWAP1
000007fa: DUP1
000007fb: DUP1
000007fc: CALLDATALOAD
000007fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000812: AND
00000813: SWAP1
00000814: PUSH1 0x20
00000816: ADD
00000817: SWAP1
00000818: SWAP3
00000819: SWAP2
0000081a: SWAP1
0000081b: DUP1
0000081c: CALLDATALOAD
0000081d: SWAP1
0000081e: PUSH1 0x20
00000820: ADD
00000821: SWAP1
00000822: SWAP3
00000823: SWAP2
00000824: SWAP1
00000825: POP
00000826: POP
00000827: POP
00000828: PUSH2 0x1185
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x40
0000082f: MLOAD
00000830: DUP1
00000831: DUP3
00000832: ISZERO
00000833: ISZERO
00000834: ISZERO
00000835: ISZERO
00000836: DUP2
00000837: MSTORE
00000838: PUSH1 0x20
0000083a: ADD
0000083b: SWAP2
0000083c: POP
0000083d: POP
0000083e: PUSH1 0x40
00000840: MLOAD
00000841: DUP1
00000842: SWAP2
00000843: SUB
00000844: SWAP1
00000845: RETURN
00000846: JUMPDEST
00000847: PUSH2 0x0892
0000084a: PUSH1 0x04
0000084c: DUP1
0000084d: CALLDATASIZE
0000084e: SUB
0000084f: PUSH1 0x40
00000851: DUP2
00000852: LT
00000853: ISZERO
00000854: PUSH2 0x085c
00000857: JUMPI
00000858: PUSH1 0x00
0000085a: DUP1
0000085b: REVERT
0000085c: JUMPDEST
0000085d: DUP2
0000085e: ADD
0000085f: SWAP1
00000860: DUP1
00000861: DUP1
00000862: CALLDATALOAD
00000863: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000878: AND
00000879: SWAP1
0000087a: PUSH1 0x20
0000087c: ADD
0000087d: SWAP1
0000087e: SWAP3
0000087f: SWAP2
00000880: SWAP1
00000881: DUP1
00000882: CALLDATALOAD
00000883: SWAP1
00000884: PUSH1 0x20
00000886: ADD
00000887: SWAP1
00000888: SWAP3
00000889: SWAP2
0000088a: SWAP1
0000088b: POP
0000088c: POP
0000088d: POP
0000088e: PUSH2 0x1252
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x40
00000895: MLOAD
00000896: DUP1
00000897: DUP3
00000898: ISZERO
00000899: ISZERO
0000089a: ISZERO
0000089b: ISZERO
0000089c: DUP2
0000089d: MSTORE
0000089e: PUSH1 0x20
000008a0: ADD
000008a1: SWAP2
000008a2: POP
000008a3: POP
000008a4: PUSH1 0x40
000008a6: MLOAD
000008a7: DUP1
000008a8: SWAP2
000008a9: SUB
000008aa: SWAP1
000008ab: RETURN
000008ac: JUMPDEST
000008ad: PUSH2 0x08d8
000008b0: PUSH1 0x04
000008b2: DUP1
000008b3: CALLDATASIZE
000008b4: SUB
000008b5: PUSH1 0x20
000008b7: DUP2
000008b8: LT
000008b9: ISZERO
000008ba: PUSH2 0x08c2
000008bd: JUMPI
000008be: PUSH1 0x00
000008c0: DUP1
000008c1: REVERT
000008c2: JUMPDEST
000008c3: DUP2
000008c4: ADD
000008c5: SWAP1
000008c6: DUP1
000008c7: DUP1
000008c8: CALLDATALOAD
000008c9: SWAP1
000008ca: PUSH1 0x20
000008cc: ADD
000008cd: SWAP1
000008ce: SWAP3
000008cf: SWAP2
000008d0: SWAP1
000008d1: POP
000008d2: POP
000008d3: POP
000008d4: PUSH2 0x1270
000008d7: JUMP
000008d8: JUMPDEST
000008d9: PUSH1 0x40
000008db: MLOAD
000008dc: DUP1
000008dd: DUP3
000008de: DUP2
000008df: MSTORE
000008e0: PUSH1 0x20
000008e2: ADD
000008e3: SWAP2
000008e4: POP
000008e5: POP
000008e6: PUSH1 0x40
000008e8: MLOAD
000008e9: DUP1
000008ea: SWAP2
000008eb: SUB
000008ec: SWAP1
000008ed: RETURN
000008ee: JUMPDEST
000008ef: PUSH2 0x08f6
000008f2: PUSH2 0x1296
000008f5: JUMP
000008f6: JUMPDEST
000008f7: PUSH1 0x40
000008f9: MLOAD
000008fa: DUP1
000008fb: DUP3
000008fc: DUP2
000008fd: MSTORE
000008fe: PUSH1 0x20
00000900: ADD
00000901: SWAP2
00000902: POP
00000903: POP
00000904: PUSH1 0x40
00000906: MLOAD
00000907: DUP1
00000908: SWAP2
00000909: SUB
0000090a: SWAP1
0000090b: RETURN
0000090c: JUMPDEST
0000090d: PUSH2 0x0958
00000910: PUSH1 0x04
00000912: DUP1
00000913: CALLDATASIZE
00000914: SUB
00000915: PUSH1 0x40
00000917: DUP2
00000918: LT
00000919: ISZERO
0000091a: PUSH2 0x0922
0000091d: JUMPI
0000091e: PUSH1 0x00
00000920: DUP1
00000921: REVERT
00000922: JUMPDEST
00000923: DUP2
00000924: ADD
00000925: SWAP1
00000926: DUP1
00000927: DUP1
00000928: CALLDATALOAD
00000929: SWAP1
0000092a: PUSH1 0x20
0000092c: ADD
0000092d: SWAP1
0000092e: SWAP3
0000092f: SWAP2
00000930: SWAP1
00000931: DUP1
00000932: CALLDATALOAD
00000933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000948: AND
00000949: SWAP1
0000094a: PUSH1 0x20
0000094c: ADD
0000094d: SWAP1
0000094e: SWAP3
0000094f: SWAP2
00000950: SWAP1
00000951: POP
00000952: POP
00000953: POP
00000954: PUSH2 0x12cf
00000957: JUMP
00000958: JUMPDEST
00000959: STOP
0000095a: JUMPDEST
0000095b: PUSH2 0x09bc
0000095e: PUSH1 0x04
00000960: DUP1
00000961: CALLDATASIZE
00000962: SUB
00000963: PUSH1 0x40
00000965: DUP2
00000966: LT
00000967: ISZERO
00000968: PUSH2 0x0970
0000096b: JUMPI
0000096c: PUSH1 0x00
0000096e: DUP1
0000096f: REVERT
00000970: JUMPDEST
00000971: DUP2
00000972: ADD
00000973: SWAP1
00000974: DUP1
00000975: DUP1
00000976: CALLDATALOAD
00000977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098c: AND
0000098d: SWAP1
0000098e: PUSH1 0x20
00000990: ADD
00000991: SWAP1
00000992: SWAP3
00000993: SWAP2
00000994: SWAP1
00000995: DUP1
00000996: CALLDATALOAD
00000997: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ac: AND
000009ad: SWAP1
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: SWAP1
000009b2: SWAP3
000009b3: SWAP2
000009b4: SWAP1
000009b5: POP
000009b6: POP
000009b7: POP
000009b8: PUSH2 0x1358
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0x40
000009bf: MLOAD
000009c0: DUP1
000009c1: DUP3
000009c2: DUP2
000009c3: MSTORE
000009c4: PUSH1 0x20
000009c6: ADD
000009c7: SWAP2
000009c8: POP
000009c9: POP
000009ca: PUSH1 0x40
000009cc: MLOAD
000009cd: DUP1
000009ce: SWAP2
000009cf: SUB
000009d0: SWAP1
000009d1: RETURN
000009d2: JUMPDEST
000009d3: PUSH2 0x09da
000009d6: PUSH2 0x13df
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x40
000009dd: MLOAD
000009de: DUP1
000009df: DUP3
000009e0: DUP2
000009e1: MSTORE
000009e2: PUSH1 0x20
000009e4: ADD
000009e5: SWAP2
000009e6: POP
000009e7: POP
000009e8: PUSH1 0x40
000009ea: MLOAD
000009eb: DUP1
000009ec: SWAP2
000009ed: SUB
000009ee: SWAP1
000009ef: RETURN
000009f0: JUMPDEST
000009f1: PUSH1 0x60
000009f3: PUSH1 0x04
000009f5: DUP1
000009f6: SLOAD
000009f7: PUSH1 0x01
000009f9: DUP2
000009fa: PUSH1 0x01
000009fc: AND
000009fd: ISZERO
000009fe: PUSH2 0x0100
00000a01: MUL
00000a02: SUB
00000a03: AND
00000a04: PUSH1 0x02
00000a06: SWAP1
00000a07: DIV
00000a08: DUP1
00000a09: PUSH1 0x1f
00000a0b: ADD
00000a0c: PUSH1 0x20
00000a0e: DUP1
00000a0f: SWAP2
00000a10: DIV
00000a11: MUL
00000a12: PUSH1 0x20
00000a14: ADD
00000a15: PUSH1 0x40
00000a17: MLOAD
00000a18: SWAP1
00000a19: DUP2
00000a1a: ADD
00000a1b: PUSH1 0x40
00000a1d: MSTORE
00000a1e: DUP1
00000a1f: SWAP3
00000a20: SWAP2
00000a21: SWAP1
00000a22: DUP2
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x20
00000a27: ADD
00000a28: DUP3
00000a29: DUP1
00000a2a: SLOAD
00000a2b: PUSH1 0x01
00000a2d: DUP2
00000a2e: PUSH1 0x01
00000a30: AND
00000a31: ISZERO
00000a32: PUSH2 0x0100
00000a35: MUL
00000a36: SUB
00000a37: AND
00000a38: PUSH1 0x02
00000a3a: SWAP1
00000a3b: DIV
00000a3c: DUP1
00000a3d: ISZERO
00000a3e: PUSH2 0x0a88
00000a41: JUMPI
00000a42: DUP1
00000a43: PUSH1 0x1f
00000a45: LT
00000a46: PUSH2 0x0a5d
00000a49: JUMPI
00000a4a: PUSH2 0x0100
00000a4d: DUP1
00000a4e: DUP4
00000a4f: SLOAD
00000a50: DIV
00000a51: MUL
00000a52: DUP4
00000a53: MSTORE
00000a54: SWAP2
00000a55: PUSH1 0x20
00000a57: ADD
00000a58: SWAP2
00000a59: PUSH2 0x0a88
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: DUP3
00000a5f: ADD
00000a60: SWAP2
00000a61: SWAP1
00000a62: PUSH1 0x00
00000a64: MSTORE
00000a65: PUSH1 0x20
00000a67: PUSH1 0x00
00000a69: KECCAK256
00000a6a: SWAP1
00000a6b: JUMPDEST
00000a6c: DUP2
00000a6d: SLOAD
00000a6e: DUP2
00000a6f: MSTORE
00000a70: SWAP1
00000a71: PUSH1 0x01
00000a73: ADD
00000a74: SWAP1
00000a75: PUSH1 0x20
00000a77: ADD
00000a78: DUP1
00000a79: DUP4
00000a7a: GT
00000a7b: PUSH2 0x0a6b
00000a7e: JUMPI
00000a7f: DUP3
00000a80: SWAP1
00000a81: SUB
00000a82: PUSH1 0x1f
00000a84: AND
00000a85: DUP3
00000a86: ADD
00000a87: SWAP2
00000a88: JUMPDEST
00000a89: POP
00000a8a: POP
00000a8b: POP
00000a8c: POP
00000a8d: POP
00000a8e: SWAP1
00000a8f: POP
00000a90: SWAP1
00000a91: JUMP
00000a92: JUMPDEST
00000a93: PUSH1 0x00
00000a95: PUSH2 0x0aa6
00000a98: PUSH2 0x0a9f
00000a9b: PUSH2 0x1418
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: DUP5
00000aa1: DUP5
00000aa2: PUSH2 0x1420
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x01
00000aa9: SWAP1
00000aaa: POP
00000aab: SWAP3
00000aac: SWAP2
00000aad: POP
00000aae: POP
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: PUSH1 0x00
00000ab3: PUSH1 0x03
00000ab5: SLOAD
00000ab6: SWAP1
00000ab7: POP
00000ab8: SWAP1
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: PUSH1 0x00
00000abd: PUSH2 0x0ac7
00000ac0: DUP5
00000ac1: DUP5
00000ac2: DUP5
00000ac3: PUSH2 0x1617
00000ac6: JUMP
00000ac7: JUMPDEST
00000ac8: PUSH2 0x0b88
00000acb: DUP5
00000acc: PUSH2 0x0ad3
00000acf: PUSH2 0x1418
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: PUSH2 0x0b83
00000ad7: DUP6
00000ad8: PUSH1 0x40
00000ada: MLOAD
00000adb: DUP1
00000adc: PUSH1 0x60
00000ade: ADD
00000adf: PUSH1 0x40
00000ae1: MSTORE
00000ae2: DUP1
00000ae3: PUSH1 0x28
00000ae5: DUP2
00000ae6: MSTORE
00000ae7: PUSH1 0x20
00000ae9: ADD
00000aea: PUSH2 0x26a6
00000aed: PUSH1 0x28
00000aef: SWAP2
00000af0: CODECOPY
00000af1: PUSH1 0x02
00000af3: PUSH1 0x00
00000af5: DUP12
00000af6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0b: AND
00000b0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b21: AND
00000b22: DUP2
00000b23: MSTORE
00000b24: PUSH1 0x20
00000b26: ADD
00000b27: SWAP1
00000b28: DUP2
00000b29: MSTORE
00000b2a: PUSH1 0x20
00000b2c: ADD
00000b2d: PUSH1 0x00
00000b2f: KECCAK256
00000b30: PUSH1 0x00
00000b32: PUSH2 0x0b39
00000b35: PUSH2 0x1418
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4f: AND
00000b50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b65: AND
00000b66: DUP2
00000b67: MSTORE
00000b68: PUSH1 0x20
00000b6a: ADD
00000b6b: SWAP1
00000b6c: DUP2
00000b6d: MSTORE
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: PUSH1 0x00
00000b73: KECCAK256
00000b74: SLOAD
00000b75: PUSH2 0x18dc
00000b78: SWAP1
00000b79: SWAP3
00000b7a: SWAP2
00000b7b: SWAP1
00000b7c: PUSH4 0xffffffff
00000b81: AND
00000b82: JUMP
00000b83: JUMPDEST
00000b84: PUSH2 0x1420
00000b87: JUMP
00000b88: JUMPDEST
00000b89: PUSH1 0x01
00000b8b: SWAP1
00000b8c: POP
00000b8d: SWAP4
00000b8e: SWAP3
00000b8f: POP
00000b90: POP
00000b91: POP
00000b92: JUMP
00000b93: JUMPDEST
00000b94: PUSH1 0x00
00000b96: DUP1
00000b97: PUSH1 0x00
00000b99: DUP4
00000b9a: DUP2
00000b9b: MSTORE
00000b9c: PUSH1 0x20
00000b9e: ADD
00000b9f: SWAP1
00000ba0: DUP2
00000ba1: MSTORE
00000ba2: PUSH1 0x20
00000ba4: ADD
00000ba5: PUSH1 0x00
00000ba7: KECCAK256
00000ba8: PUSH1 0x02
00000baa: ADD
00000bab: SLOAD
00000bac: SWAP1
00000bad: POP
00000bae: SWAP2
00000baf: SWAP1
00000bb0: POP
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: PUSH2 0x0bd8
00000bb6: PUSH1 0x00
00000bb8: DUP1
00000bb9: DUP5
00000bba: DUP2
00000bbb: MSTORE
00000bbc: PUSH1 0x20
00000bbe: ADD
00000bbf: SWAP1
00000bc0: DUP2
00000bc1: MSTORE
00000bc2: PUSH1 0x20
00000bc4: ADD
00000bc5: PUSH1 0x00
00000bc7: KECCAK256
00000bc8: PUSH1 0x02
00000bca: ADD
00000bcb: SLOAD
00000bcc: PUSH2 0x0bd3
00000bcf: PUSH2 0x1418
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: PUSH2 0x10ab
00000bd7: JUMP
00000bd8: JUMPDEST
00000bd9: PUSH2 0x0c2d
00000bdc: JUMPI
00000bdd: PUSH1 0x40
00000bdf: MLOAD
00000be0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c01: DUP2
00000c02: MSTORE
00000c03: PUSH1 0x04
00000c05: ADD
00000c06: DUP1
00000c07: DUP1
00000c08: PUSH1 0x20
00000c0a: ADD
00000c0b: DUP3
00000c0c: DUP2
00000c0d: SUB
00000c0e: DUP3
00000c0f: MSTORE
00000c10: PUSH1 0x2f
00000c12: DUP2
00000c13: MSTORE
00000c14: PUSH1 0x20
00000c16: ADD
00000c17: DUP1
00000c18: PUSH2 0x25a4
00000c1b: PUSH1 0x2f
00000c1d: SWAP2
00000c1e: CODECOPY
00000c1f: PUSH1 0x40
00000c21: ADD
00000c22: SWAP2
00000c23: POP
00000c24: POP
00000c25: PUSH1 0x40
00000c27: MLOAD
00000c28: DUP1
00000c29: SWAP2
00000c2a: SUB
00000c2b: SWAP1
00000c2c: REVERT
00000c2d: JUMPDEST
00000c2e: PUSH2 0x0c37
00000c31: DUP3
00000c32: DUP3
00000c33: PUSH2 0x199c
00000c36: JUMP
00000c37: JUMPDEST
00000c38: POP
00000c39: POP
00000c3a: JUMP
00000c3b: JUMPDEST
00000c3c: PUSH1 0x00
00000c3e: PUSH1 0x06
00000c40: PUSH1 0x00
00000c42: SWAP1
00000c43: SLOAD
00000c44: SWAP1
00000c45: PUSH2 0x0100
00000c48: EXP
00000c49: SWAP1
00000c4a: DIV
00000c4b: PUSH1 0xff
00000c4d: AND
00000c4e: SWAP1
00000c4f: POP
00000c50: SWAP1
00000c51: JUMP
00000c52: JUMPDEST
00000c53: PUSH1 0x00
00000c55: PUSH1 0x07
00000c57: SLOAD
00000c58: SWAP1
00000c59: POP
00000c5a: SWAP1
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: PUSH2 0x0c64
00000c60: PUSH2 0x1418
00000c63: JUMP
00000c64: JUMPDEST
00000c65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c7a: AND
00000c7b: DUP2
00000c7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c91: AND
00000c92: EQ
00000c93: PUSH2 0x0ce7
00000c96: JUMPI
00000c97: PUSH1 0x40
00000c99: MLOAD
00000c9a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: PUSH1 0x04
00000cbf: ADD
00000cc0: DUP1
00000cc1: DUP1
00000cc2: PUSH1 0x20
00000cc4: ADD
00000cc5: DUP3
00000cc6: DUP2
00000cc7: SUB
00000cc8: DUP3
00000cc9: MSTORE
00000cca: PUSH1 0x2f
00000ccc: DUP2
00000ccd: MSTORE
00000cce: PUSH1 0x20
00000cd0: ADD
00000cd1: DUP1
00000cd2: PUSH2 0x27ee
00000cd5: PUSH1 0x2f
00000cd7: SWAP2
00000cd8: CODECOPY
00000cd9: PUSH1 0x40
00000cdb: ADD
00000cdc: SWAP2
00000cdd: POP
00000cde: POP
00000cdf: PUSH1 0x40
00000ce1: MLOAD
00000ce2: DUP1
00000ce3: SWAP2
00000ce4: SUB
00000ce5: SWAP1
00000ce6: REVERT
00000ce7: JUMPDEST
00000ce8: PUSH2 0x0cf1
00000ceb: DUP3
00000cec: DUP3
00000ced: PUSH2 0x1a2f
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: POP
00000cf3: POP
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: PUSH1 0x00
00000cf8: PUSH2 0x0d9e
00000cfb: PUSH2 0x0d02
00000cfe: PUSH2 0x1418
00000d01: JUMP
00000d02: JUMPDEST
00000d03: DUP5
00000d04: PUSH2 0x0d99
00000d07: DUP6
00000d08: PUSH1 0x02
00000d0a: PUSH1 0x00
00000d0c: PUSH2 0x0d13
00000d0f: PUSH2 0x1418
00000d12: JUMP
00000d13: JUMPDEST
00000d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d29: AND
00000d2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3f: AND
00000d40: DUP2
00000d41: MSTORE
00000d42: PUSH1 0x20
00000d44: ADD
00000d45: SWAP1
00000d46: DUP2
00000d47: MSTORE
00000d48: PUSH1 0x20
00000d4a: ADD
00000d4b: PUSH1 0x00
00000d4d: KECCAK256
00000d4e: PUSH1 0x00
00000d50: DUP10
00000d51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d66: AND
00000d67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7c: AND
00000d7d: DUP2
00000d7e: MSTORE
00000d7f: PUSH1 0x20
00000d81: ADD
00000d82: SWAP1
00000d83: DUP2
00000d84: MSTORE
00000d85: PUSH1 0x20
00000d87: ADD
00000d88: PUSH1 0x00
00000d8a: KECCAK256
00000d8b: SLOAD
00000d8c: PUSH2 0x1ac2
00000d8f: SWAP1
00000d90: SWAP2
00000d91: SWAP1
00000d92: PUSH4 0xffffffff
00000d97: AND
00000d98: JUMP
00000d99: JUMPDEST
00000d9a: PUSH2 0x1420
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH1 0x01
00000da1: SWAP1
00000da2: POP
00000da3: SWAP3
00000da4: SWAP2
00000da5: POP
00000da6: POP
00000da7: JUMP
00000da8: JUMPDEST
00000da9: PUSH2 0x0dee
00000dac: PUSH1 0x40
00000dae: MLOAD
00000daf: DUP1
00000db0: DUP1
00000db1: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000
00000dd2: DUP2
00000dd3: MSTORE
00000dd4: POP
00000dd5: PUSH1 0x0b
00000dd7: ADD
00000dd8: SWAP1
00000dd9: POP
00000dda: PUSH1 0x40
00000ddc: MLOAD
00000ddd: DUP1
00000dde: SWAP2
00000ddf: SUB
00000de0: SWAP1
00000de1: KECCAK256
00000de2: PUSH2 0x0de9
00000de5: PUSH2 0x1418
00000de8: JUMP
00000de9: JUMPDEST
00000dea: PUSH2 0x10ab
00000ded: JUMP
00000dee: JUMPDEST
00000def: PUSH2 0x0e43
00000df2: JUMPI
00000df3: PUSH1 0x40
00000df5: MLOAD
00000df6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e17: DUP2
00000e18: MSTORE
00000e19: PUSH1 0x04
00000e1b: ADD
00000e1c: DUP1
00000e1d: DUP1
00000e1e: PUSH1 0x20
00000e20: ADD
00000e21: DUP3
00000e22: DUP2
00000e23: SUB
00000e24: DUP3
00000e25: MSTORE
00000e26: PUSH1 0x39
00000e28: DUP2
00000e29: MSTORE
00000e2a: PUSH1 0x20
00000e2c: ADD
00000e2d: DUP1
00000e2e: PUSH2 0x25f5
00000e31: PUSH1 0x39
00000e33: SWAP2
00000e34: CODECOPY
00000e35: PUSH1 0x40
00000e37: ADD
00000e38: SWAP2
00000e39: POP
00000e3a: POP
00000e3b: PUSH1 0x40
00000e3d: MLOAD
00000e3e: DUP1
00000e3f: SWAP2
00000e40: SUB
00000e41: SWAP1
00000e42: REVERT
00000e43: JUMPDEST
00000e44: PUSH2 0x0e4b
00000e47: PUSH2 0x1b4a
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: JUMP
00000e4d: JUMPDEST
00000e4e: PUSH2 0x0e93
00000e51: PUSH1 0x40
00000e53: MLOAD
00000e54: DUP1
00000e55: DUP1
00000e56: PUSH32 0x4d494e5445525f524f4c45000000000000000000000000000000000000000000
00000e77: DUP2
00000e78: MSTORE
00000e79: POP
00000e7a: PUSH1 0x0b
00000e7c: ADD
00000e7d: SWAP1
00000e7e: POP
00000e7f: PUSH1 0x40
00000e81: MLOAD
00000e82: DUP1
00000e83: SWAP2
00000e84: SUB
00000e85: SWAP1
00000e86: KECCAK256
00000e87: PUSH2 0x0e8e
00000e8a: PUSH2 0x1418
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH2 0x10ab
00000e92: JUMP
00000e93: JUMPDEST
00000e94: PUSH2 0x0ee8
00000e97: JUMPI
00000e98: PUSH1 0x40
00000e9a: MLOAD
00000e9b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: PUSH1 0x04
00000ec0: ADD
00000ec1: DUP1
00000ec2: DUP1
00000ec3: PUSH1 0x20
00000ec5: ADD
00000ec6: DUP3
00000ec7: DUP2
00000ec8: SUB
00000ec9: DUP3
00000eca: MSTORE
00000ecb: PUSH1 0x36
00000ecd: DUP2
00000ece: MSTORE
00000ecf: PUSH1 0x20
00000ed1: ADD
00000ed2: DUP1
00000ed3: PUSH2 0x26ce
00000ed6: PUSH1 0x36
00000ed8: SWAP2
00000ed9: CODECOPY
00000eda: PUSH1 0x40
00000edc: ADD
00000edd: SWAP2
00000ede: POP
00000edf: POP
00000ee0: PUSH1 0x40
00000ee2: MLOAD
00000ee3: DUP1
00000ee4: SWAP2
00000ee5: SUB
00000ee6: SWAP1
00000ee7: REVERT
00000ee8: JUMPDEST
00000ee9: PUSH2 0x0ef2
00000eec: DUP3
00000eed: DUP3
00000eee: PUSH2 0x1c53
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: POP
00000ef4: POP
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: PUSH2 0x0f07
00000efa: PUSH2 0x0f01
00000efd: PUSH2 0x1418
00000f00: JUMP
00000f01: JUMPDEST
00000f02: DUP3
00000f03: PUSH2 0x1e1c
00000f06: JUMP
00000f07: JUMPDEST
00000f08: POP
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: PUSH1 0x00
00000f0d: PUSH1 0x08
00000f0f: PUSH1 0x00
00000f11: SWAP1
00000f12: SLOAD
00000f13: SWAP1
00000f14: PUSH2 0x0100
00000f17: EXP
00000f18: SWAP1
00000f19: DIV
00000f1a: PUSH1 0xff
00000f1c: AND
00000f1d: SWAP1
00000f1e: POP
00000f1f: SWAP1
00000f20: JUMP
00000f21: JUMPDEST
00000f22: PUSH1 0x00
00000f24: PUSH1 0x01
00000f26: SWAP1
00000f27: POP
00000f28: SWAP1
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH1 0x00
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0x00
00000f31: DUP4
00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f47: AND
00000f48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5d: AND
00000f5e: DUP2
00000f5f: MSTORE
00000f60: PUSH1 0x20
00000f62: ADD
00000f63: SWAP1
00000f64: DUP2
00000f65: MSTORE
00000f66: PUSH1 0x20
00000f68: ADD
00000f69: PUSH1 0x00
00000f6b: KECCAK256
00000f6c: SLOAD
00000f6d: SWAP1
00000f6e: POP
00000f6f: SWAP2
00000f70: SWAP1
00000f71: POP
00000f72: JUMP
00000f73: JUMPDEST
00000f74: PUSH1 0x00
00000f76: PUSH2 0x0fb2
00000f79: DUP3
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: DUP1
00000f7e: PUSH1 0x60
00000f80: ADD
00000f81: PUSH1 0x40
00000f83: MSTORE
00000f84: DUP1
00000f85: PUSH1 0x24
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH1 0x20
00000f8b: ADD
00000f8c: PUSH2 0x2704
00000f8f: PUSH1 0x24
00000f91: SWAP2
00000f92: CODECOPY
00000f93: PUSH2 0x0fa3
00000f96: DUP7
00000f97: PUSH2 0x0f9e
00000f9a: PUSH2 0x1418
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: PUSH2 0x1358
00000fa2: JUMP
00000fa3: JUMPDEST
00000fa4: PUSH2 0x18dc
00000fa7: SWAP1
00000fa8: SWAP3
00000fa9: SWAP2
00000faa: SWAP1
00000fab: PUSH4 0xffffffff
00000fb0: AND
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: SWAP1
00000fb4: POP
00000fb5: PUSH2 0x0fc6
00000fb8: DUP4
00000fb9: PUSH2 0x0fc0
00000fbc: PUSH2 0x1418
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: DUP4
00000fc2: PUSH2 0x1420
00000fc5: JUMP
00000fc6: JUMPDEST
00000fc7: PUSH2 0x0fd0
00000fca: DUP4
00000fcb: DUP4
00000fcc: PUSH2 0x1e1c
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: POP
00000fd2: POP
00000fd3: POP
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH2 0x101b
00000fd9: PUSH1 0x40
00000fdb: MLOAD
00000fdc: DUP1
00000fdd: DUP1
00000fde: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000
00000fff: DUP2
00001000: MSTORE
00001001: POP
00001002: PUSH1 0x0b
00001004: ADD
00001005: SWAP1
00001006: POP
00001007: PUSH1 0x40
00001009: MLOAD
0000100a: DUP1
0000100b: SWAP2
0000100c: SUB
0000100d: SWAP1
0000100e: KECCAK256
0000100f: PUSH2 0x1016
00001012: PUSH2 0x1418
00001015: JUMP
00001016: JUMPDEST
00001017: PUSH2 0x10ab
0000101a: JUMP
0000101b: JUMPDEST
0000101c: PUSH2 0x1070
0000101f: JUMPI
00001020: PUSH1 0x40
00001022: MLOAD
00001023: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001044: DUP2
00001045: MSTORE
00001046: PUSH1 0x04
00001048: ADD
00001049: DUP1
0000104a: DUP1
0000104b: PUSH1 0x20
0000104d: ADD
0000104e: DUP3
0000104f: DUP2
00001050: SUB
00001051: DUP3
00001052: MSTORE
00001053: PUSH1 0x37
00001055: DUP2
00001056: MSTORE
00001057: PUSH1 0x20
00001059: ADD
0000105a: DUP1
0000105b: PUSH2 0x2792
0000105e: PUSH1 0x37
00001060: SWAP2
00001061: CODECOPY
00001062: PUSH1 0x40
00001064: ADD
00001065: SWAP2
00001066: POP
00001067: POP
00001068: PUSH1 0x40
0000106a: MLOAD
0000106b: DUP1
0000106c: SWAP2
0000106d: SUB
0000106e: SWAP1
0000106f: REVERT
00001070: JUMPDEST
00001071: PUSH2 0x1078
00001074: PUSH2 0x1fe2
00001077: JUMP
00001078: JUMPDEST
00001079: JUMP
0000107a: JUMPDEST
0000107b: PUSH1 0x00
0000107d: PUSH2 0x10a3
00001080: DUP3
00001081: PUSH1 0x00
00001083: DUP1
00001084: DUP7
00001085: DUP2
00001086: MSTORE
00001087: PUSH1 0x20
00001089: ADD
0000108a: SWAP1
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: PUSH1 0x00
00001092: KECCAK256
00001093: PUSH1 0x00
00001095: ADD
00001096: PUSH2 0x20ec
00001099: SWAP1
0000109a: SWAP2
0000109b: SWAP1
0000109c: PUSH4 0xffffffff
000010a1: AND
000010a2: JUMP
000010a3: JUMPDEST
000010a4: SWAP1
000010a5: POP
000010a6: SWAP3
000010a7: SWAP2
000010a8: POP
000010a9: POP
000010aa: JUMP
000010ab: JUMPDEST
000010ac: PUSH1 0x00
000010ae: PUSH2 0x10d4
000010b1: DUP3
000010b2: PUSH1 0x00
000010b4: DUP1
000010b5: DUP7
000010b6: DUP2
000010b7: MSTORE
000010b8: PUSH1 0x20
000010ba: ADD
000010bb: SWAP1
000010bc: DUP2
000010bd: MSTORE
000010be: PUSH1 0x20
000010c0: ADD
000010c1: PUSH1 0x00
000010c3: KECCAK256
000010c4: PUSH1 0x00
000010c6: ADD
000010c7: PUSH2 0x2106
000010ca: SWAP1
000010cb: SWAP2
000010cc: SWAP1
000010cd: PUSH4 0xffffffff
000010d2: AND
000010d3: JUMP
000010d4: JUMPDEST
000010d5: SWAP1
000010d6: POP
000010d7: SWAP3
000010d8: SWAP2
000010d9: POP
000010da: POP
000010db: JUMP
000010dc: JUMPDEST
000010dd: PUSH1 0x60
000010df: PUSH1 0x05
000010e1: DUP1
000010e2: SLOAD
000010e3: PUSH1 0x01
000010e5: DUP2
000010e6: PUSH1 0x01
000010e8: AND
000010e9: ISZERO
000010ea: PUSH2 0x0100
000010ed: MUL
000010ee: SUB
000010ef: AND
000010f0: PUSH1 0x02
000010f2: SWAP1
000010f3: DIV
000010f4: DUP1
000010f5: PUSH1 0x1f
000010f7: ADD
000010f8: PUSH1 0x20
000010fa: DUP1
000010fb: SWAP2
000010fc: DIV
000010fd: MUL
000010fe: PUSH1 0x20
00001100: ADD
00001101: PUSH1 0x40
00001103: MLOAD
00001104: SWAP1
00001105: DUP2
00001106: ADD
00001107: PUSH1 0x40
00001109: MSTORE
0000110a: DUP1
0000110b: SWAP3
0000110c: SWAP2
0000110d: SWAP1
0000110e: DUP2
0000110f: DUP2
00001110: MSTORE
00001111: PUSH1 0x20
00001113: ADD
00001114: DUP3
00001115: DUP1
00001116: SLOAD
00001117: PUSH1 0x01
00001119: DUP2
0000111a: PUSH1 0x01
0000111c: AND
0000111d: ISZERO
0000111e: PUSH2 0x0100
00001121: MUL
00001122: SUB
00001123: AND
00001124: PUSH1 0x02
00001126: SWAP1
00001127: DIV
00001128: DUP1
00001129: ISZERO
0000112a: PUSH2 0x1174
0000112d: JUMPI
0000112e: DUP1
0000112f: PUSH1 0x1f
00001131: LT
00001132: PUSH2 0x1149
00001135: JUMPI
00001136: PUSH2 0x0100
00001139: DUP1
0000113a: DUP4
0000113b: SLOAD
0000113c: DIV
0000113d: MUL
0000113e: DUP4
0000113f: MSTORE
00001140: SWAP2
00001141: PUSH1 0x20
00001143: ADD
00001144: SWAP2
00001145: PUSH2 0x1174
00001148: JUMP
00001149: JUMPDEST
0000114a: DUP3
0000114b: ADD
0000114c: SWAP2
0000114d: SWAP1
0000114e: PUSH1 0x00
00001150: MSTORE
00001151: PUSH1 0x20
00001153: PUSH1 0x00
00001155: KECCAK256
00001156: SWAP1
00001157: JUMPDEST
00001158: DUP2
00001159: SLOAD
0000115a: DUP2
0000115b: MSTORE
0000115c: SWAP1
0000115d: PUSH1 0x01
0000115f: ADD
00001160: SWAP1
00001161: PUSH1 0x20
00001163: ADD
00001164: DUP1
00001165: DUP4
00001166: GT
00001167: PUSH2 0x1157
0000116a: JUMPI
0000116b: DUP3
0000116c: SWAP1
0000116d: SUB
0000116e: PUSH1 0x1f
00001170: AND
00001171: DUP3
00001172: ADD
00001173: SWAP2
00001174: JUMPDEST
00001175: POP
00001176: POP
00001177: POP
00001178: POP
00001179: POP
0000117a: SWAP1
0000117b: POP
0000117c: SWAP1
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH1 0x00
00001181: DUP1
00001182: SHL
00001183: DUP2
00001184: JUMP
00001185: JUMPDEST
00001186: PUSH1 0x00
00001188: PUSH2 0x1248
0000118b: PUSH2 0x1192
0000118e: PUSH2 0x1418
00001191: JUMP
00001192: JUMPDEST
00001193: DUP5
00001194: PUSH2 0x1243
00001197: DUP6
00001198: PUSH1 0x40
0000119a: MLOAD
0000119b: DUP1
0000119c: PUSH1 0x60
0000119e: ADD
0000119f: PUSH1 0x40
000011a1: MSTORE
000011a2: DUP1
000011a3: PUSH1 0x25
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0x20
000011a9: ADD
000011aa: PUSH2 0x27c9
000011ad: PUSH1 0x25
000011af: SWAP2
000011b0: CODECOPY
000011b1: PUSH1 0x02
000011b3: PUSH1 0x00
000011b5: PUSH2 0x11bc
000011b8: PUSH2 0x1418
000011bb: JUMP
000011bc: JUMPDEST
000011bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d2: AND
000011d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e8: AND
000011e9: DUP2
000011ea: MSTORE
000011eb: PUSH1 0x20
000011ed: ADD
000011ee: SWAP1
000011ef: DUP2
000011f0: MSTORE
000011f1: PUSH1 0x20
000011f3: ADD
000011f4: PUSH1 0x00
000011f6: KECCAK256
000011f7: PUSH1 0x00
000011f9: DUP11
000011fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120f: AND
00001210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001225: AND
00001226: DUP2
00001227: MSTORE
00001228: PUSH1 0x20
0000122a: ADD
0000122b: SWAP1
0000122c: DUP2
0000122d: MSTORE
0000122e: PUSH1 0x20
00001230: ADD
00001231: PUSH1 0x00
00001233: KECCAK256
00001234: SLOAD
00001235: PUSH2 0x18dc
00001238: SWAP1
00001239: SWAP3
0000123a: SWAP2
0000123b: SWAP1
0000123c: PUSH4 0xffffffff
00001241: AND
00001242: JUMP
00001243: JUMPDEST
00001244: PUSH2 0x1420
00001247: JUMP
00001248: JUMPDEST
00001249: PUSH1 0x01
0000124b: SWAP1
0000124c: POP
0000124d: SWAP3
0000124e: SWAP2
0000124f: POP
00001250: POP
00001251: JUMP
00001252: JUMPDEST
00001253: PUSH1 0x00
00001255: PUSH2 0x1266
00001258: PUSH2 0x125f
0000125b: PUSH2 0x1418
0000125e: JUMP
0000125f: JUMPDEST
00001260: DUP5
00001261: DUP5
00001262: PUSH2 0x1617
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH1 0x01
00001269: SWAP1
0000126a: POP
0000126b: SWAP3
0000126c: SWAP2
0000126d: POP
0000126e: POP
0000126f: JUMP
00001270: JUMPDEST
00001271: PUSH1 0x00
00001273: PUSH2 0x128f
00001276: PUSH1 0x00
00001278: DUP1
00001279: DUP5
0000127a: DUP2
0000127b: MSTORE
0000127c: PUSH1 0x20
0000127e: ADD
0000127f: SWAP1
00001280: DUP2
00001281: MSTORE
00001282: PUSH1 0x20
00001284: ADD
00001285: PUSH1 0x00
00001287: KECCAK256
00001288: PUSH1 0x00
0000128a: ADD
0000128b: PUSH2 0x2136
0000128e: JUMP
0000128f: JUMPDEST
00001290: SWAP1
00001291: POP
00001292: SWAP2
00001293: SWAP1
00001294: POP
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: DUP1
0000129b: DUP1
0000129c: PUSH32 0x4d494e5445525f524f4c45000000000000000000000000000000000000000000
000012bd: DUP2
000012be: MSTORE
000012bf: POP
000012c0: PUSH1 0x0b
000012c2: ADD
000012c3: SWAP1
000012c4: POP
000012c5: PUSH1 0x40
000012c7: MLOAD
000012c8: DUP1
000012c9: SWAP2
000012ca: SUB
000012cb: SWAP1
000012cc: KECCAK256
000012cd: DUP2
000012ce: JUMP
000012cf: JUMPDEST
000012d0: PUSH2 0x12f5
000012d3: PUSH1 0x00
000012d5: DUP1
000012d6: DUP5
000012d7: DUP2
000012d8: MSTORE
000012d9: PUSH1 0x20
000012db: ADD
000012dc: SWAP1
000012dd: DUP2
000012de: MSTORE
000012df: PUSH1 0x20
000012e1: ADD
000012e2: PUSH1 0x00
000012e4: KECCAK256
000012e5: PUSH1 0x02
000012e7: ADD
000012e8: SLOAD
000012e9: PUSH2 0x12f0
000012ec: PUSH2 0x1418
000012ef: JUMP
000012f0: JUMPDEST
000012f1: PUSH2 0x10ab
000012f4: JUMP
000012f5: JUMPDEST
000012f6: PUSH2 0x134a
000012f9: JUMPI
000012fa: PUSH1 0x40
000012fc: MLOAD
000012fd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000131e: DUP2
0000131f: MSTORE
00001320: PUSH1 0x04
00001322: ADD
00001323: DUP1
00001324: DUP1
00001325: PUSH1 0x20
00001327: ADD
00001328: DUP3
00001329: DUP2
0000132a: SUB
0000132b: DUP3
0000132c: MSTORE
0000132d: PUSH1 0x30
0000132f: DUP2
00001330: MSTORE
00001331: PUSH1 0x20
00001333: ADD
00001334: DUP1
00001335: PUSH2 0x2676
00001338: PUSH1 0x30
0000133a: SWAP2
0000133b: CODECOPY
0000133c: PUSH1 0x40
0000133e: ADD
0000133f: SWAP2
00001340: POP
00001341: POP
00001342: PUSH1 0x40
00001344: MLOAD
00001345: DUP1
00001346: SWAP2
00001347: SUB
00001348: SWAP1
00001349: REVERT
0000134a: JUMPDEST
0000134b: PUSH2 0x1354
0000134e: DUP3
0000134f: DUP3
00001350: PUSH2 0x1a2f
00001353: JUMP
00001354: JUMPDEST
00001355: POP
00001356: POP
00001357: JUMP
00001358: JUMPDEST
00001359: PUSH1 0x00
0000135b: PUSH1 0x02
0000135d: PUSH1 0x00
0000135f: DUP5
00001360: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001375: AND
00001376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138b: AND
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x20
00001390: ADD
00001391: SWAP1
00001392: DUP2
00001393: MSTORE
00001394: PUSH1 0x20
00001396: ADD
00001397: PUSH1 0x00
00001399: KECCAK256
0000139a: PUSH1 0x00
0000139c: DUP4
0000139d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b2: AND
000013b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c8: AND
000013c9: DUP2
000013ca: MSTORE
000013cb: PUSH1 0x20
000013cd: ADD
000013ce: SWAP1
000013cf: DUP2
000013d0: MSTORE
000013d1: PUSH1 0x20
000013d3: ADD
000013d4: PUSH1 0x00
000013d6: KECCAK256
000013d7: SLOAD
000013d8: SWAP1
000013d9: POP
000013da: SWAP3
000013db: SWAP2
000013dc: POP
000013dd: POP
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH1 0x40
000013e2: MLOAD
000013e3: DUP1
000013e4: DUP1
000013e5: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000
00001406: DUP2
00001407: MSTORE
00001408: POP
00001409: PUSH1 0x0b
0000140b: ADD
0000140c: SWAP1
0000140d: POP
0000140e: PUSH1 0x40
00001410: MLOAD
00001411: DUP1
00001412: SWAP2
00001413: SUB
00001414: SWAP1
00001415: KECCAK256
00001416: DUP2
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH1 0x00
0000141b: CALLER
0000141c: SWAP1
0000141d: POP
0000141e: SWAP1
0000141f: JUMP
00001420: JUMPDEST
00001421: PUSH1 0x00
00001423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001438: AND
00001439: DUP4
0000143a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144f: AND
00001450: EQ
00001451: ISZERO
00001452: PUSH2 0x14a6
00001455: JUMPI
00001456: PUSH1 0x40
00001458: MLOAD
00001459: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000147a: DUP2
0000147b: MSTORE
0000147c: PUSH1 0x04
0000147e: ADD
0000147f: DUP1
00001480: DUP1
00001481: PUSH1 0x20
00001483: ADD
00001484: DUP3
00001485: DUP2
00001486: SUB
00001487: DUP3
00001488: MSTORE
00001489: PUSH1 0x24
0000148b: DUP2
0000148c: MSTORE
0000148d: PUSH1 0x20
0000148f: ADD
00001490: DUP1
00001491: PUSH2 0x276e
00001494: PUSH1 0x24
00001496: SWAP2
00001497: CODECOPY
00001498: PUSH1 0x40
0000149a: ADD
0000149b: SWAP2
0000149c: POP
0000149d: POP
0000149e: PUSH1 0x40
000014a0: MLOAD
000014a1: DUP1
000014a2: SWAP2
000014a3: SUB
000014a4: SWAP1
000014a5: REVERT
000014a6: JUMPDEST
000014a7: PUSH1 0x00
000014a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014be: AND
000014bf: DUP3
000014c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d5: AND
000014d6: EQ
000014d7: ISZERO
000014d8: PUSH2 0x152c
000014db: JUMPI
000014dc: PUSH1 0x40
000014de: MLOAD
000014df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001500: DUP2
00001501: MSTORE
00001502: PUSH1 0x04
00001504: ADD
00001505: DUP1
00001506: DUP1
00001507: PUSH1 0x20
00001509: ADD
0000150a: DUP3
0000150b: DUP2
0000150c: SUB
0000150d: DUP3
0000150e: MSTORE
0000150f: PUSH1 0x22
00001511: DUP2
00001512: MSTORE
00001513: PUSH1 0x20
00001515: ADD
00001516: DUP1
00001517: PUSH2 0x262e
0000151a: PUSH1 0x22
0000151c: SWAP2
0000151d: CODECOPY
0000151e: PUSH1 0x40
00001520: ADD
00001521: SWAP2
00001522: POP
00001523: POP
00001524: PUSH1 0x40
00001526: MLOAD
00001527: DUP1
00001528: SWAP2
00001529: SUB
0000152a: SWAP1
0000152b: REVERT
0000152c: JUMPDEST
0000152d: DUP1
0000152e: PUSH1 0x02
00001530: PUSH1 0x00
00001532: DUP6
00001533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001548: AND
00001549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155e: AND
0000155f: DUP2
00001560: MSTORE
00001561: PUSH1 0x20
00001563: ADD
00001564: SWAP1
00001565: DUP2
00001566: MSTORE
00001567: PUSH1 0x20
00001569: ADD
0000156a: PUSH1 0x00
0000156c: KECCAK256
0000156d: PUSH1 0x00
0000156f: DUP5
00001570: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001585: AND
00001586: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159b: AND
0000159c: DUP2
0000159d: MSTORE
0000159e: PUSH1 0x20
000015a0: ADD
000015a1: SWAP1
000015a2: DUP2
000015a3: MSTORE
000015a4: PUSH1 0x20
000015a6: ADD
000015a7: PUSH1 0x00
000015a9: KECCAK256
000015aa: DUP2
000015ab: SWAP1
000015ac: SSTORE
000015ad: POP
000015ae: DUP2
000015af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c4: AND
000015c5: DUP4
000015c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015db: AND
000015dc: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000015fd: DUP4
000015fe: PUSH1 0x40
00001600: MLOAD
00001601: DUP1
00001602: DUP3
00001603: DUP2
00001604: MSTORE
00001605: PUSH1 0x20
00001607: ADD
00001608: SWAP2
00001609: POP
0000160a: POP
0000160b: PUSH1 0x40
0000160d: MLOAD
0000160e: DUP1
0000160f: SWAP2
00001610: SUB
00001611: SWAP1
00001612: LOG3
00001613: POP
00001614: POP
00001615: POP
00001616: JUMP
00001617: JUMPDEST
00001618: PUSH1 0x00
0000161a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162f: AND
00001630: DUP4
00001631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001646: AND
00001647: EQ
00001648: ISZERO
00001649: PUSH2 0x169d
0000164c: JUMPI
0000164d: PUSH1 0x40
0000164f: MLOAD
00001650: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001671: DUP2
00001672: MSTORE
00001673: PUSH1 0x04
00001675: ADD
00001676: DUP1
00001677: DUP1
00001678: PUSH1 0x20
0000167a: ADD
0000167b: DUP3
0000167c: DUP2
0000167d: SUB
0000167e: DUP3
0000167f: MSTORE
00001680: PUSH1 0x25
00001682: DUP2
00001683: MSTORE
00001684: PUSH1 0x20
00001686: ADD
00001687: DUP1
00001688: PUSH2 0x2749
0000168b: PUSH1 0x25
0000168d: SWAP2
0000168e: CODECOPY
0000168f: PUSH1 0x40
00001691: ADD
00001692: SWAP2
00001693: POP
00001694: POP
00001695: PUSH1 0x40
00001697: MLOAD
00001698: DUP1
00001699: SWAP2
0000169a: SUB
0000169b: SWAP1
0000169c: REVERT
0000169d: JUMPDEST
0000169e: PUSH1 0x00
000016a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b5: AND
000016b6: DUP3
000016b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cc: AND
000016cd: EQ
000016ce: ISZERO
000016cf: PUSH2 0x1723
000016d2: JUMPI
000016d3: PUSH1 0x40
000016d5: MLOAD
000016d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016f7: DUP2
000016f8: MSTORE
000016f9: PUSH1 0x04
000016fb: ADD
000016fc: DUP1
000016fd: DUP1
000016fe: PUSH1 0x20
00001700: ADD
00001701: DUP3
00001702: DUP2
00001703: SUB
00001704: DUP3
00001705: MSTORE
00001706: PUSH1 0x23
00001708: DUP2
00001709: MSTORE
0000170a: PUSH1 0x20
0000170c: ADD
0000170d: DUP1
0000170e: PUSH2 0x2581
00001711: PUSH1 0x23
00001713: SWAP2
00001714: CODECOPY
00001715: PUSH1 0x40
00001717: ADD
00001718: SWAP2
00001719: POP
0000171a: POP
0000171b: PUSH1 0x40
0000171d: MLOAD
0000171e: DUP1
0000171f: SWAP2
00001720: SUB
00001721: SWAP1
00001722: REVERT
00001723: JUMPDEST
00001724: PUSH2 0x172e
00001727: DUP4
00001728: DUP4
00001729: DUP4
0000172a: PUSH2 0x214b
0000172d: JUMP
0000172e: JUMPDEST
0000172f: PUSH2 0x179a
00001732: DUP2
00001733: PUSH1 0x40
00001735: MLOAD
00001736: DUP1
00001737: PUSH1 0x60
00001739: ADD
0000173a: PUSH1 0x40
0000173c: MSTORE
0000173d: DUP1
0000173e: PUSH1 0x26
00001740: DUP2
00001741: MSTORE
00001742: PUSH1 0x20
00001744: ADD
00001745: PUSH2 0x2650
00001748: PUSH1 0x26
0000174a: SWAP2
0000174b: CODECOPY
0000174c: PUSH1 0x01
0000174e: PUSH1 0x00
00001750: DUP8
00001751: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001766: AND
00001767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177c: AND
0000177d: DUP2
0000177e: MSTORE
0000177f: PUSH1 0x20
00001781: ADD
00001782: SWAP1
00001783: DUP2
00001784: MSTORE
00001785: PUSH1 0x20
00001787: ADD
00001788: PUSH1 0x00
0000178a: KECCAK256
0000178b: SLOAD
0000178c: PUSH2 0x18dc
0000178f: SWAP1
00001790: SWAP3
00001791: SWAP2
00001792: SWAP1
00001793: PUSH4 0xffffffff
00001798: AND
00001799: JUMP
0000179a: JUMPDEST
0000179b: PUSH1 0x01
0000179d: PUSH1 0x00
0000179f: DUP6
000017a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b5: AND
000017b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017cb: AND
000017cc: DUP2
000017cd: MSTORE
000017ce: PUSH1 0x20
000017d0: ADD
000017d1: SWAP1
000017d2: DUP2
000017d3: MSTORE
000017d4: PUSH1 0x20
000017d6: ADD
000017d7: PUSH1 0x00
000017d9: KECCAK256
000017da: DUP2
000017db: SWAP1
000017dc: SSTORE
000017dd: POP
000017de: PUSH2 0x182f
000017e1: DUP2
000017e2: PUSH1 0x01
000017e4: PUSH1 0x00
000017e6: DUP6
000017e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017fc: AND
000017fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001812: AND
00001813: DUP2
00001814: MSTORE
00001815: PUSH1 0x20
00001817: ADD
00001818: SWAP1
00001819: DUP2
0000181a: MSTORE
0000181b: PUSH1 0x20
0000181d: ADD
0000181e: PUSH1 0x00
00001820: KECCAK256
00001821: SLOAD
00001822: PUSH2 0x1ac2
00001825: SWAP1
00001826: SWAP2
00001827: SWAP1
00001828: PUSH4 0xffffffff
0000182d: AND
0000182e: JUMP
0000182f: JUMPDEST
00001830: PUSH1 0x01
00001832: PUSH1 0x00
00001834: DUP5
00001835: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184a: AND
0000184b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001860: AND
00001861: DUP2
00001862: MSTORE
00001863: PUSH1 0x20
00001865: ADD
00001866: SWAP1
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x20
0000186b: ADD
0000186c: PUSH1 0x00
0000186e: KECCAK256
0000186f: DUP2
00001870: SWAP1
00001871: SSTORE
00001872: POP
00001873: DUP2
00001874: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001889: AND
0000188a: DUP4
0000188b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a0: AND
000018a1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000018c2: DUP4
000018c3: PUSH1 0x40
000018c5: MLOAD
000018c6: DUP1
000018c7: DUP3
000018c8: DUP2
000018c9: MSTORE
000018ca: PUSH1 0x20
000018cc: ADD
000018cd: SWAP2
000018ce: POP
000018cf: POP
000018d0: PUSH1 0x40
000018d2: MLOAD
000018d3: DUP1
000018d4: SWAP2
000018d5: SUB
000018d6: SWAP1
000018d7: LOG3
000018d8: POP
000018d9: POP
000018da: POP
000018db: JUMP
000018dc: JUMPDEST
000018dd: PUSH1 0x00
000018df: DUP4
000018e0: DUP4
000018e1: GT
000018e2: ISZERO
000018e3: DUP3
000018e4: SWAP1
000018e5: PUSH2 0x1989
000018e8: JUMPI
000018e9: PUSH1 0x40
000018eb: MLOAD
000018ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000190d: DUP2
0000190e: MSTORE
0000190f: PUSH1 0x04
00001911: ADD
00001912: DUP1
00001913: DUP1
00001914: PUSH1 0x20
00001916: ADD
00001917: DUP3
00001918: DUP2
00001919: SUB
0000191a: DUP3
0000191b: MSTORE
0000191c: DUP4
0000191d: DUP2
0000191e: DUP2
0000191f: MLOAD
00001920: DUP2
00001921: MSTORE
00001922: PUSH1 0x20
00001924: ADD
00001925: SWAP2
00001926: POP
00001927: DUP1
00001928: MLOAD
00001929: SWAP1
0000192a: PUSH1 0x20
0000192c: ADD
0000192d: SWAP1
0000192e: DUP1
0000192f: DUP4
00001930: DUP4
00001931: PUSH1 0x00
00001933: JUMPDEST
00001934: DUP4
00001935: DUP2
00001936: LT
00001937: ISZERO
00001938: PUSH2 0x194e
0000193b: JUMPI
0000193c: DUP1
0000193d: DUP3
0000193e: ADD
0000193f: MLOAD
00001940: DUP2
00001941: DUP5
00001942: ADD
00001943: MSTORE
00001944: PUSH1 0x20
00001946: DUP2
00001947: ADD
00001948: SWAP1
00001949: POP
0000194a: PUSH2 0x1933
0000194d: JUMP
0000194e: JUMPDEST
0000194f: POP
00001950: POP
00001951: POP
00001952: POP
00001953: SWAP1
00001954: POP
00001955: SWAP1
00001956: DUP2
00001957: ADD
00001958: SWAP1
00001959: PUSH1 0x1f
0000195b: AND
0000195c: DUP1
0000195d: ISZERO
0000195e: PUSH2 0x197b
00001961: JUMPI
00001962: DUP1
00001963: DUP3
00001964: SUB
00001965: DUP1
00001966: MLOAD
00001967: PUSH1 0x01
00001969: DUP4
0000196a: PUSH1 0x20
0000196c: SUB
0000196d: PUSH2 0x0100
00001970: EXP
00001971: SUB
00001972: NOT
00001973: AND
00001974: DUP2
00001975: MSTORE
00001976: PUSH1 0x20
00001978: ADD
00001979: SWAP2
0000197a: POP
0000197b: JUMPDEST
0000197c: POP
0000197d: SWAP3
0000197e: POP
0000197f: POP
00001980: POP
00001981: PUSH1 0x40
00001983: MLOAD
00001984: DUP1
00001985: SWAP2
00001986: SUB
00001987: SWAP1
00001988: REVERT
00001989: JUMPDEST
0000198a: POP
0000198b: PUSH1 0x00
0000198d: DUP4
0000198e: DUP6
0000198f: SUB
00001990: SWAP1
00001991: POP
00001992: DUP1
00001993: SWAP2
00001994: POP
00001995: POP
00001996: SWAP4
00001997: SWAP3
00001998: POP
00001999: POP
0000199a: POP
0000199b: JUMP
0000199c: JUMPDEST
0000199d: PUSH2 0x19c3
000019a0: DUP2
000019a1: PUSH1 0x00
000019a3: DUP1
000019a4: DUP6
000019a5: DUP2
000019a6: MSTORE
000019a7: PUSH1 0x20
000019a9: ADD
000019aa: SWAP1
000019ab: DUP2
000019ac: MSTORE
000019ad: PUSH1 0x20
000019af: ADD
000019b0: PUSH1 0x00
000019b2: KECCAK256
000019b3: PUSH1 0x00
000019b5: ADD
000019b6: PUSH2 0x215b
000019b9: SWAP1
000019ba: SWAP2
000019bb: SWAP1
000019bc: PUSH4 0xffffffff
000019c1: AND
000019c2: JUMP
000019c3: JUMPDEST
000019c4: ISZERO
000019c5: PUSH2 0x1a2b
000019c8: JUMPI
000019c9: PUSH2 0x19d0
000019cc: PUSH2 0x1418
000019cf: JUMP
000019d0: JUMPDEST
000019d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e6: AND
000019e7: DUP2
000019e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fd: AND
000019fe: DUP4
000019ff: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001a20: PUSH1 0x40
00001a22: MLOAD
00001a23: PUSH1 0x40
00001a25: MLOAD
00001a26: DUP1
00001a27: SWAP2
00001a28: SUB
00001a29: SWAP1
00001a2a: LOG4
00001a2b: JUMPDEST
00001a2c: POP
00001a2d: POP
00001a2e: JUMP
00001a2f: JUMPDEST
00001a30: PUSH2 0x1a56
00001a33: DUP2
00001a34: PUSH1 0x00
00001a36: DUP1
00001a37: DUP6
00001a38: DUP2
00001a39: MSTORE
00001a3a: PUSH1 0x20
00001a3c: ADD
00001a3d: SWAP1
00001a3e: DUP2
00001a3f: MSTORE
00001a40: PUSH1 0x20
00001a42: ADD
00001a43: PUSH1 0x00
00001a45: KECCAK256
00001a46: PUSH1 0x00
00001a48: ADD
00001a49: PUSH2 0x218b
00001a4c: SWAP1
00001a4d: SWAP2
00001a4e: SWAP1
00001a4f: PUSH4 0xffffffff
00001a54: AND
00001a55: JUMP
00001a56: JUMPDEST
00001a57: ISZERO
00001a58: PUSH2 0x1abe
00001a5b: JUMPI
00001a5c: PUSH2 0x1a63
00001a5f: PUSH2 0x1418
00001a62: JUMP
00001a63: JUMPDEST
00001a64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a79: AND
00001a7a: DUP2
00001a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a90: AND
00001a91: DUP4
00001a92: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001ab3: PUSH1 0x40
00001ab5: MLOAD
00001ab6: PUSH1 0x40
00001ab8: MLOAD
00001ab9: DUP1
00001aba: SWAP2
00001abb: SUB
00001abc: SWAP1
00001abd: LOG4
00001abe: JUMPDEST
00001abf: POP
00001ac0: POP
00001ac1: JUMP
00001ac2: JUMPDEST
00001ac3: PUSH1 0x00
00001ac5: DUP1
00001ac6: DUP3
00001ac7: DUP5
00001ac8: ADD
00001ac9: SWAP1
00001aca: POP
00001acb: DUP4
00001acc: DUP2
00001acd: LT
00001ace: ISZERO
00001acf: PUSH2 0x1b40
00001ad2: JUMPI
00001ad3: PUSH1 0x40
00001ad5: MLOAD
00001ad6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001af7: DUP2
00001af8: MSTORE
00001af9: PUSH1 0x04
00001afb: ADD
00001afc: DUP1
00001afd: DUP1
00001afe: PUSH1 0x20
00001b00: ADD
00001b01: DUP3
00001b02: DUP2
00001b03: SUB
00001b04: DUP3
00001b05: MSTORE
00001b06: PUSH1 0x1b
00001b08: DUP2
00001b09: MSTORE
00001b0a: PUSH1 0x20
00001b0c: ADD
00001b0d: DUP1
00001b0e: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001b2f: DUP2
00001b30: MSTORE
00001b31: POP
00001b32: PUSH1 0x20
00001b34: ADD
00001b35: SWAP2
00001b36: POP
00001b37: POP
00001b38: PUSH1 0x40
00001b3a: MLOAD
00001b3b: DUP1
00001b3c: SWAP2
00001b3d: SUB
00001b3e: SWAP1
00001b3f: REVERT
00001b40: JUMPDEST
00001b41: DUP1
00001b42: SWAP2
00001b43: POP
00001b44: POP
00001b45: SWAP3
00001b46: SWAP2
00001b47: POP
00001b48: POP
00001b49: JUMP
00001b4a: JUMPDEST
00001b4b: PUSH1 0x08
00001b4d: PUSH1 0x00
00001b4f: SWAP1
00001b50: SLOAD
00001b51: SWAP1
00001b52: PUSH2 0x0100
00001b55: EXP
00001b56: SWAP1
00001b57: DIV
00001b58: PUSH1 0xff
00001b5a: AND
00001b5b: PUSH2 0x1bcc
00001b5e: JUMPI
00001b5f: PUSH1 0x40
00001b61: MLOAD
00001b62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b83: DUP2
00001b84: MSTORE
00001b85: PUSH1 0x04
00001b87: ADD
00001b88: DUP1
00001b89: DUP1
00001b8a: PUSH1 0x20
00001b8c: ADD
00001b8d: DUP3
00001b8e: DUP2
00001b8f: SUB
00001b90: DUP3
00001b91: MSTORE
00001b92: PUSH1 0x14
00001b94: DUP2
00001b95: MSTORE
00001b96: PUSH1 0x20
00001b98: ADD
00001b99: DUP1
00001b9a: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
00001bbb: DUP2
00001bbc: MSTORE
00001bbd: POP
00001bbe: PUSH1 0x20
00001bc0: ADD
00001bc1: SWAP2
00001bc2: POP
00001bc3: POP
00001bc4: PUSH1 0x40
00001bc6: MLOAD
00001bc7: DUP1
00001bc8: SWAP2
00001bc9: SUB
00001bca: SWAP1
00001bcb: REVERT
00001bcc: JUMPDEST
00001bcd: PUSH1 0x00
00001bcf: PUSH1 0x08
00001bd1: PUSH1 0x00
00001bd3: PUSH2 0x0100
00001bd6: EXP
00001bd7: DUP2
00001bd8: SLOAD
00001bd9: DUP2
00001bda: PUSH1 0xff
00001bdc: MUL
00001bdd: NOT
00001bde: AND
00001bdf: SWAP1
00001be0: DUP4
00001be1: ISZERO
00001be2: ISZERO
00001be3: MUL
00001be4: OR
00001be5: SWAP1
00001be6: SSTORE
00001be7: POP
00001be8: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001c09: PUSH2 0x1c10
00001c0c: PUSH2 0x1418
00001c0f: JUMP
00001c10: JUMPDEST
00001c11: PUSH1 0x40
00001c13: MLOAD
00001c14: DUP1
00001c15: DUP3
00001c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2b: AND
00001c2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c41: AND
00001c42: DUP2
00001c43: MSTORE
00001c44: PUSH1 0x20
00001c46: ADD
00001c47: SWAP2
00001c48: POP
00001c49: POP
00001c4a: PUSH1 0x40
00001c4c: MLOAD
00001c4d: DUP1
00001c4e: SWAP2
00001c4f: SUB
00001c50: SWAP1
00001c51: LOG1
00001c52: JUMP
00001c53: JUMPDEST
00001c54: PUSH1 0x00
00001c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6b: AND
00001c6c: DUP3
00001c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c82: AND
00001c83: EQ
00001c84: ISZERO
00001c85: PUSH2 0x1cf6
00001c88: JUMPI
00001c89: PUSH1 0x40
00001c8b: MLOAD
00001c8c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cad: DUP2
00001cae: MSTORE
00001caf: PUSH1 0x04
00001cb1: ADD
00001cb2: DUP1
00001cb3: DUP1
00001cb4: PUSH1 0x20
00001cb6: ADD
00001cb7: DUP3
00001cb8: DUP2
00001cb9: SUB
00001cba: DUP3
00001cbb: MSTORE
00001cbc: PUSH1 0x1f
00001cbe: DUP2
00001cbf: MSTORE
00001cc0: PUSH1 0x20
00001cc2: ADD
00001cc3: DUP1
00001cc4: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001ce5: DUP2
00001ce6: MSTORE
00001ce7: POP
00001ce8: PUSH1 0x20
00001cea: ADD
00001ceb: SWAP2
00001cec: POP
00001ced: POP
00001cee: PUSH1 0x40
00001cf0: MLOAD
00001cf1: DUP1
00001cf2: SWAP2
00001cf3: SUB
00001cf4: SWAP1
00001cf5: REVERT
00001cf6: JUMPDEST
00001cf7: PUSH2 0x1d02
00001cfa: PUSH1 0x00
00001cfc: DUP4
00001cfd: DUP4
00001cfe: PUSH2 0x214b
00001d01: JUMP
00001d02: JUMPDEST
00001d03: PUSH2 0x1d17
00001d06: DUP2
00001d07: PUSH1 0x03
00001d09: SLOAD
00001d0a: PUSH2 0x1ac2
00001d0d: SWAP1
00001d0e: SWAP2
00001d0f: SWAP1
00001d10: PUSH4 0xffffffff
00001d15: AND
00001d16: JUMP
00001d17: JUMPDEST
00001d18: PUSH1 0x03
00001d1a: DUP2
00001d1b: SWAP1
00001d1c: SSTORE
00001d1d: POP
00001d1e: PUSH2 0x1d6f
00001d21: DUP2
00001d22: PUSH1 0x01
00001d24: PUSH1 0x00
00001d26: DUP6
00001d27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3c: AND
00001d3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d52: AND
00001d53: DUP2
00001d54: MSTORE
00001d55: PUSH1 0x20
00001d57: ADD
00001d58: SWAP1
00001d59: DUP2
00001d5a: MSTORE
00001d5b: PUSH1 0x20
00001d5d: ADD
00001d5e: PUSH1 0x00
00001d60: KECCAK256
00001d61: SLOAD
00001d62: PUSH2 0x1ac2
00001d65: SWAP1
00001d66: SWAP2
00001d67: SWAP1
00001d68: PUSH4 0xffffffff
00001d6d: AND
00001d6e: JUMP
00001d6f: JUMPDEST
00001d70: PUSH1 0x01
00001d72: PUSH1 0x00
00001d74: DUP5
00001d75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8a: AND
00001d8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da0: AND
00001da1: DUP2
00001da2: MSTORE
00001da3: PUSH1 0x20
00001da5: ADD
00001da6: SWAP1
00001da7: DUP2
00001da8: MSTORE
00001da9: PUSH1 0x20
00001dab: ADD
00001dac: PUSH1 0x00
00001dae: KECCAK256
00001daf: DUP2
00001db0: SWAP1
00001db1: SSTORE
00001db2: POP
00001db3: DUP2
00001db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc9: AND
00001dca: PUSH1 0x00
00001dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de1: AND
00001de2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001e03: DUP4
00001e04: PUSH1 0x40
00001e06: MLOAD
00001e07: DUP1
00001e08: DUP3
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH1 0x20
00001e0d: ADD
00001e0e: SWAP2
00001e0f: POP
00001e10: POP
00001e11: PUSH1 0x40
00001e13: MLOAD
00001e14: DUP1
00001e15: SWAP2
00001e16: SUB
00001e17: SWAP1
00001e18: LOG3
00001e19: POP
00001e1a: POP
00001e1b: JUMP
00001e1c: JUMPDEST
00001e1d: PUSH1 0x00
00001e1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e34: AND
00001e35: DUP3
00001e36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e4b: AND
00001e4c: EQ
00001e4d: ISZERO
00001e4e: PUSH2 0x1ea2
00001e51: JUMPI
00001e52: PUSH1 0x40
00001e54: MLOAD
00001e55: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e76: DUP2
00001e77: MSTORE
00001e78: PUSH1 0x04
00001e7a: ADD
00001e7b: DUP1
00001e7c: DUP1
00001e7d: PUSH1 0x20
00001e7f: ADD
00001e80: DUP3
00001e81: DUP2
00001e82: SUB
00001e83: DUP3
00001e84: MSTORE
00001e85: PUSH1 0x21
00001e87: DUP2
00001e88: MSTORE
00001e89: PUSH1 0x20
00001e8b: ADD
00001e8c: DUP1
00001e8d: PUSH2 0x2728
00001e90: PUSH1 0x21
00001e92: SWAP2
00001e93: CODECOPY
00001e94: PUSH1 0x40
00001e96: ADD
00001e97: SWAP2
00001e98: POP
00001e99: POP
00001e9a: PUSH1 0x40
00001e9c: MLOAD
00001e9d: DUP1
00001e9e: SWAP2
00001e9f: SUB
00001ea0: SWAP1
00001ea1: REVERT
00001ea2: JUMPDEST
00001ea3: PUSH2 0x1eae
00001ea6: DUP3
00001ea7: PUSH1 0x00
00001ea9: DUP4
00001eaa: PUSH2 0x214b
00001ead: JUMP
00001eae: JUMPDEST
00001eaf: PUSH2 0x1f1a
00001eb2: DUP2
00001eb3: PUSH1 0x40
00001eb5: MLOAD
00001eb6: DUP1
00001eb7: PUSH1 0x60
00001eb9: ADD
00001eba: PUSH1 0x40
00001ebc: MSTORE
00001ebd: DUP1
00001ebe: PUSH1 0x22
00001ec0: DUP2
00001ec1: MSTORE
00001ec2: PUSH1 0x20
00001ec4: ADD
00001ec5: PUSH2 0x25d3
00001ec8: PUSH1 0x22
00001eca: SWAP2
00001ecb: CODECOPY
00001ecc: PUSH1 0x01
00001ece: PUSH1 0x00
00001ed0: DUP7
00001ed1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee6: AND
00001ee7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efc: AND
00001efd: DUP2
00001efe: MSTORE
00001eff: PUSH1 0x20
00001f01: ADD
00001f02: SWAP1
00001f03: DUP2
00001f04: MSTORE
00001f05: PUSH1 0x20
00001f07: ADD
00001f08: PUSH1 0x00
00001f0a: KECCAK256
00001f0b: SLOAD
00001f0c: PUSH2 0x18dc
00001f0f: SWAP1
00001f10: SWAP3
00001f11: SWAP2
00001f12: SWAP1
00001f13: PUSH4 0xffffffff
00001f18: AND
00001f19: JUMP
00001f1a: JUMPDEST
00001f1b: PUSH1 0x01
00001f1d: PUSH1 0x00
00001f1f: DUP5
00001f20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f35: AND
00001f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4b: AND
00001f4c: DUP2
00001f4d: MSTORE
00001f4e: PUSH1 0x20
00001f50: ADD
00001f51: SWAP1
00001f52: DUP2
00001f53: MSTORE
00001f54: PUSH1 0x20
00001f56: ADD
00001f57: PUSH1 0x00
00001f59: KECCAK256
00001f5a: DUP2
00001f5b: SWAP1
00001f5c: SSTORE
00001f5d: POP
00001f5e: PUSH2 0x1f72
00001f61: DUP2
00001f62: PUSH1 0x03
00001f64: SLOAD
00001f65: PUSH2 0x21bb
00001f68: SWAP1
00001f69: SWAP2
00001f6a: SWAP1
00001f6b: PUSH4 0xffffffff
00001f70: AND
00001f71: JUMP
00001f72: JUMPDEST
00001f73: PUSH1 0x03
00001f75: DUP2
00001f76: SWAP1
00001f77: SSTORE
00001f78: POP
00001f79: PUSH1 0x00
00001f7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f90: AND
00001f91: DUP3
00001f92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa7: AND
00001fa8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001fc9: DUP4
00001fca: PUSH1 0x40
00001fcc: MLOAD
00001fcd: DUP1
00001fce: DUP3
00001fcf: DUP2
00001fd0: MSTORE
00001fd1: PUSH1 0x20
00001fd3: ADD
00001fd4: SWAP2
00001fd5: POP
00001fd6: POP
00001fd7: PUSH1 0x40
00001fd9: MLOAD
00001fda: DUP1
00001fdb: SWAP2
00001fdc: SUB
00001fdd: SWAP1
00001fde: LOG3
00001fdf: POP
00001fe0: POP
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: PUSH1 0x08
00001fe5: PUSH1 0x00
00001fe7: SWAP1
00001fe8: SLOAD
00001fe9: SWAP1
00001fea: PUSH2 0x0100
00001fed: EXP
00001fee: SWAP1
00001fef: DIV
00001ff0: PUSH1 0xff
00001ff2: AND
00001ff3: ISZERO
00001ff4: PUSH2 0x2065
00001ff7: JUMPI
00001ff8: PUSH1 0x40
00001ffa: MLOAD
00001ffb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000201c: DUP2
0000201d: MSTORE
0000201e: PUSH1 0x04
00002020: ADD
00002021: DUP1
00002022: DUP1
00002023: PUSH1 0x20
00002025: ADD
00002026: DUP3
00002027: DUP2
00002028: SUB
00002029: DUP3
0000202a: MSTORE
0000202b: PUSH1 0x10
0000202d: DUP2
0000202e: MSTORE
0000202f: PUSH1 0x20
00002031: ADD
00002032: DUP1
00002033: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00002054: DUP2
00002055: MSTORE
00002056: POP
00002057: PUSH1 0x20
00002059: ADD
0000205a: SWAP2
0000205b: POP
0000205c: POP
0000205d: PUSH1 0x40
0000205f: MLOAD
00002060: DUP1
00002061: SWAP2
00002062: SUB
00002063: SWAP1
00002064: REVERT
00002065: JUMPDEST
00002066: PUSH1 0x01
00002068: PUSH1 0x08
0000206a: PUSH1 0x00
0000206c: PUSH2 0x0100
0000206f: EXP
00002070: DUP2
00002071: SLOAD
00002072: DUP2
00002073: PUSH1 0xff
00002075: MUL
00002076: NOT
00002077: AND
00002078: SWAP1
00002079: DUP4
0000207a: ISZERO
0000207b: ISZERO
0000207c: MUL
0000207d: OR
0000207e: SWAP1
0000207f: SSTORE
00002080: POP
00002081: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000020a2: PUSH2 0x20a9
000020a5: PUSH2 0x1418
000020a8: JUMP
000020a9: JUMPDEST
000020aa: PUSH1 0x40
000020ac: MLOAD
000020ad: DUP1
000020ae: DUP3
000020af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c4: AND
000020c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020da: AND
000020db: DUP2
000020dc: MSTORE
000020dd: PUSH1 0x20
000020df: ADD
000020e0: SWAP2
000020e1: POP
000020e2: POP
000020e3: PUSH1 0x40
000020e5: MLOAD
000020e6: DUP1
000020e7: SWAP2
000020e8: SUB
000020e9: SWAP1
000020ea: LOG1
000020eb: JUMP
000020ec: JUMPDEST
000020ed: PUSH1 0x00
000020ef: PUSH2 0x20fb
000020f2: DUP4
000020f3: PUSH1 0x00
000020f5: ADD
000020f6: DUP4
000020f7: PUSH2 0x2205
000020fa: JUMP
000020fb: JUMPDEST
000020fc: PUSH1 0x00
000020fe: SHR
000020ff: SWAP1
00002100: POP
00002101: SWAP3
00002102: SWAP2
00002103: POP
00002104: POP
00002105: JUMP
00002106: JUMPDEST
00002107: PUSH1 0x00
00002109: PUSH2 0x212e
0000210c: DUP4
0000210d: PUSH1 0x00
0000210f: ADD
00002110: DUP4
00002111: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002126: AND
00002127: PUSH1 0x00
00002129: SHL
0000212a: PUSH2 0x2288
0000212d: JUMP
0000212e: JUMPDEST
0000212f: SWAP1
00002130: POP
00002131: SWAP3
00002132: SWAP2
00002133: POP
00002134: POP
00002135: JUMP
00002136: JUMPDEST
00002137: PUSH1 0x00
00002139: PUSH2 0x2144
0000213c: DUP3
0000213d: PUSH1 0x00
0000213f: ADD
00002140: PUSH2 0x22ab
00002143: JUMP
00002144: JUMPDEST
00002145: SWAP1
00002146: POP
00002147: SWAP2
00002148: SWAP1
00002149: POP
0000214a: JUMP
0000214b: JUMPDEST
0000214c: PUSH2 0x2156
0000214f: DUP4
00002150: DUP4
00002151: DUP4
00002152: PUSH2 0x22bc
00002155: JUMP
00002156: JUMPDEST
00002157: POP
00002158: POP
00002159: POP
0000215a: JUMP
0000215b: JUMPDEST
0000215c: PUSH1 0x00
0000215e: PUSH2 0x2183
00002161: DUP4
00002162: PUSH1 0x00
00002164: ADD
00002165: DUP4
00002166: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000217b: AND
0000217c: PUSH1 0x00
0000217e: SHL
0000217f: PUSH2 0x232a
00002182: JUMP
00002183: JUMPDEST
00002184: SWAP1
00002185: POP
00002186: SWAP3
00002187: SWAP2
00002188: POP
00002189: POP
0000218a: JUMP
0000218b: JUMPDEST
0000218c: PUSH1 0x00
0000218e: PUSH2 0x21b3
00002191: DUP4
00002192: PUSH1 0x00
00002194: ADD
00002195: DUP4
00002196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ab: AND
000021ac: PUSH1 0x00
000021ae: SHL
000021af: PUSH2 0x239a
000021b2: JUMP
000021b3: JUMPDEST
000021b4: SWAP1
000021b5: POP
000021b6: SWAP3
000021b7: SWAP2
000021b8: POP
000021b9: POP
000021ba: JUMP
000021bb: JUMPDEST
000021bc: PUSH1 0x00
000021be: PUSH2 0x21fd
000021c1: DUP4
000021c2: DUP4
000021c3: PUSH1 0x40
000021c5: MLOAD
000021c6: DUP1
000021c7: PUSH1 0x40
000021c9: ADD
000021ca: PUSH1 0x40
000021cc: MSTORE
000021cd: DUP1
000021ce: PUSH1 0x1e
000021d0: DUP2
000021d1: MSTORE
000021d2: PUSH1 0x20
000021d4: ADD
000021d5: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000021f6: DUP2
000021f7: MSTORE
000021f8: POP
000021f9: PUSH2 0x18dc
000021fc: JUMP
000021fd: JUMPDEST
000021fe: SWAP1
000021ff: POP
00002200: SWAP3
00002201: SWAP2
00002202: POP
00002203: POP
00002204: JUMP
00002205: JUMPDEST
00002206: PUSH1 0x00
00002208: DUP2
00002209: DUP4
0000220a: PUSH1 0x00
0000220c: ADD
0000220d: DUP1
0000220e: SLOAD
0000220f: SWAP1
00002210: POP
00002211: GT
00002212: PUSH2 0x2266
00002215: JUMPI
00002216: PUSH1 0x40
00002218: MLOAD
00002219: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000223a: DUP2
0000223b: MSTORE
0000223c: PUSH1 0x04
0000223e: ADD
0000223f: DUP1
00002240: DUP1
00002241: PUSH1 0x20
00002243: ADD
00002244: DUP3
00002245: DUP2
00002246: SUB
00002247: DUP3
00002248: MSTORE
00002249: PUSH1 0x22
0000224b: DUP2
0000224c: MSTORE
0000224d: PUSH1 0x20
0000224f: ADD
00002250: DUP1
00002251: PUSH2 0x255f
00002254: PUSH1 0x22
00002256: SWAP2
00002257: CODECOPY
00002258: PUSH1 0x40
0000225a: ADD
0000225b: SWAP2
0000225c: POP
0000225d: POP
0000225e: PUSH1 0x40
00002260: MLOAD
00002261: DUP1
00002262: SWAP2
00002263: SUB
00002264: SWAP1
00002265: REVERT
00002266: JUMPDEST
00002267: DUP3
00002268: PUSH1 0x00
0000226a: ADD
0000226b: DUP3
0000226c: DUP2
0000226d: SLOAD
0000226e: DUP2
0000226f: LT
00002270: PUSH2 0x2275
00002273: JUMPI
00002274: INVALID
00002275: JUMPDEST
00002276: SWAP1
00002277: PUSH1 0x00
00002279: MSTORE
0000227a: PUSH1 0x20
0000227c: PUSH1 0x00
0000227e: KECCAK256
0000227f: ADD
00002280: SLOAD
00002281: SWAP1
00002282: POP
00002283: SWAP3
00002284: SWAP2
00002285: POP
00002286: POP
00002287: JUMP
00002288: JUMPDEST
00002289: PUSH1 0x00
0000228b: DUP1
0000228c: DUP4
0000228d: PUSH1 0x01
0000228f: ADD
00002290: PUSH1 0x00
00002292: DUP5
00002293: DUP2
00002294: MSTORE
00002295: PUSH1 0x20
00002297: ADD
00002298: SWAP1
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x20
0000229d: ADD
0000229e: PUSH1 0x00
000022a0: KECCAK256
000022a1: SLOAD
000022a2: EQ
000022a3: ISZERO
000022a4: SWAP1
000022a5: POP
000022a6: SWAP3
000022a7: SWAP2
000022a8: POP
000022a9: POP
000022aa: JUMP
000022ab: JUMPDEST
000022ac: PUSH1 0x00
000022ae: DUP2
000022af: PUSH1 0x00
000022b1: ADD
000022b2: DUP1
000022b3: SLOAD
000022b4: SWAP1
000022b5: POP
000022b6: SWAP1
000022b7: POP
000022b8: SWAP2
000022b9: SWAP1
000022ba: POP
000022bb: JUMP
000022bc: JUMPDEST
000022bd: PUSH2 0x22c7
000022c0: DUP4
000022c1: DUP4
000022c2: DUP4
000022c3: PUSH2 0x2482
000022c6: JUMP
000022c7: JUMPDEST
000022c8: PUSH2 0x22cf
000022cb: PUSH2 0x0f0a
000022ce: JUMP
000022cf: JUMPDEST
000022d0: ISZERO
000022d1: PUSH2 0x2325
000022d4: JUMPI
000022d5: PUSH1 0x40
000022d7: MLOAD
000022d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022f9: DUP2
000022fa: MSTORE
000022fb: PUSH1 0x04
000022fd: ADD
000022fe: DUP1
000022ff: DUP1
00002300: PUSH1 0x20
00002302: ADD
00002303: DUP3
00002304: DUP2
00002305: SUB
00002306: DUP3
00002307: MSTORE
00002308: PUSH1 0x2a
0000230a: DUP2
0000230b: MSTORE
0000230c: PUSH1 0x20
0000230e: ADD
0000230f: DUP1
00002310: PUSH2 0x281d
00002313: PUSH1 0x2a
00002315: SWAP2
00002316: CODECOPY
00002317: PUSH1 0x40
00002319: ADD
0000231a: SWAP2
0000231b: POP
0000231c: POP
0000231d: PUSH1 0x40
0000231f: MLOAD
00002320: DUP1
00002321: SWAP2
00002322: SUB
00002323: SWAP1
00002324: REVERT
00002325: JUMPDEST
00002326: POP
00002327: POP
00002328: POP
00002329: JUMP
0000232a: JUMPDEST
0000232b: PUSH1 0x00
0000232d: PUSH2 0x2336
00002330: DUP4
00002331: DUP4
00002332: PUSH2 0x2288
00002335: JUMP
00002336: JUMPDEST
00002337: PUSH2 0x238f
0000233a: JUMPI
0000233b: DUP3
0000233c: PUSH1 0x00
0000233e: ADD
0000233f: DUP3
00002340: SWAP1
00002341: DUP1
00002342: PUSH1 0x01
00002344: DUP2
00002345: SLOAD
00002346: ADD
00002347: DUP1
00002348: DUP3
00002349: SSTORE
0000234a: DUP1
0000234b: SWAP2
0000234c: POP
0000234d: POP
0000234e: PUSH1 0x01
00002350: SWAP1
00002351: SUB
00002352: SWAP1
00002353: PUSH1 0x00
00002355: MSTORE
00002356: PUSH1 0x20
00002358: PUSH1 0x00
0000235a: KECCAK256
0000235b: ADD
0000235c: PUSH1 0x00
0000235e: SWAP1
0000235f: SWAP2
00002360: SWAP1
00002361: SWAP2
00002362: SWAP1
00002363: SWAP2
00002364: POP
00002365: SSTORE
00002366: DUP3
00002367: PUSH1 0x00
00002369: ADD
0000236a: DUP1
0000236b: SLOAD
0000236c: SWAP1
0000236d: POP
0000236e: DUP4
0000236f: PUSH1 0x01
00002371: ADD
00002372: PUSH1 0x00
00002374: DUP5
00002375: DUP2
00002376: MSTORE
00002377: PUSH1 0x20
00002379: ADD
0000237a: SWAP1
0000237b: DUP2
0000237c: MSTORE
0000237d: PUSH1 0x20
0000237f: ADD
00002380: PUSH1 0x00
00002382: KECCAK256
00002383: DUP2
00002384: SWAP1
00002385: SSTORE
00002386: POP
00002387: PUSH1 0x01
00002389: SWAP1
0000238a: POP
0000238b: PUSH2 0x2394
0000238e: JUMP
0000238f: JUMPDEST
00002390: PUSH1 0x00
00002392: SWAP1
00002393: POP
00002394: JUMPDEST
00002395: SWAP3
00002396: SWAP2
00002397: POP
00002398: POP
00002399: JUMP
0000239a: JUMPDEST
0000239b: PUSH1 0x00
0000239d: DUP1
0000239e: DUP4
0000239f: PUSH1 0x01
000023a1: ADD
000023a2: PUSH1 0x00
000023a4: DUP5
000023a5: DUP2
000023a6: MSTORE
000023a7: PUSH1 0x20
000023a9: ADD
000023aa: SWAP1
000023ab: DUP2
000023ac: MSTORE
000023ad: PUSH1 0x20
000023af: ADD
000023b0: PUSH1 0x00
000023b2: KECCAK256
000023b3: SLOAD
000023b4: SWAP1
000023b5: POP
000023b6: PUSH1 0x00
000023b8: DUP2
000023b9: EQ
000023ba: PUSH2 0x2476
000023bd: JUMPI
000023be: PUSH1 0x00
000023c0: PUSH1 0x01
000023c2: DUP3
000023c3: SUB
000023c4: SWAP1
000023c5: POP
000023c6: PUSH1 0x00
000023c8: PUSH1 0x01
000023ca: DUP7
000023cb: PUSH1 0x00
000023cd: ADD
000023ce: DUP1
000023cf: SLOAD
000023d0: SWAP1
000023d1: POP
000023d2: SUB
000023d3: SWAP1
000023d4: POP
000023d5: PUSH1 0x00
000023d7: DUP7
000023d8: PUSH1 0x00
000023da: ADD
000023db: DUP3
000023dc: DUP2
000023dd: SLOAD
000023de: DUP2
000023df: LT
000023e0: PUSH2 0x23e5
000023e3: JUMPI
000023e4: INVALID
000023e5: JUMPDEST
000023e6: SWAP1
000023e7: PUSH1 0x00
000023e9: MSTORE
000023ea: PUSH1 0x20
000023ec: PUSH1 0x00
000023ee: KECCAK256
000023ef: ADD
000023f0: SLOAD
000023f1: SWAP1
000023f2: POP
000023f3: DUP1
000023f4: DUP8
000023f5: PUSH1 0x00
000023f7: ADD
000023f8: DUP5
000023f9: DUP2
000023fa: SLOAD
000023fb: DUP2
000023fc: LT
000023fd: PUSH2 0x2402
00002400: JUMPI
00002401: INVALID
00002402: JUMPDEST
00002403: SWAP1
00002404: PUSH1 0x00
00002406: MSTORE
00002407: PUSH1 0x20
00002409: PUSH1 0x00
0000240b: KECCAK256
0000240c: ADD
0000240d: DUP2
0000240e: SWAP1
0000240f: SSTORE
00002410: POP
00002411: PUSH1 0x01
00002413: DUP4
00002414: ADD
00002415: DUP8
00002416: PUSH1 0x01
00002418: ADD
00002419: PUSH1 0x00
0000241b: DUP4
0000241c: DUP2
0000241d: MSTORE
0000241e: PUSH1 0x20
00002420: ADD
00002421: SWAP1
00002422: DUP2
00002423: MSTORE
00002424: PUSH1 0x20
00002426: ADD
00002427: PUSH1 0x00
00002429: KECCAK256
0000242a: DUP2
0000242b: SWAP1
0000242c: SSTORE
0000242d: POP
0000242e: DUP7
0000242f: PUSH1 0x00
00002431: ADD
00002432: DUP1
00002433: SLOAD
00002434: DUP1
00002435: PUSH2 0x243a
00002438: JUMPI
00002439: INVALID
0000243a: JUMPDEST
0000243b: PUSH1 0x01
0000243d: SWAP1
0000243e: SUB
0000243f: DUP2
00002440: DUP2
00002441: SWAP1
00002442: PUSH1 0x00
00002444: MSTORE
00002445: PUSH1 0x20
00002447: PUSH1 0x00
00002449: KECCAK256
0000244a: ADD
0000244b: PUSH1 0x00
0000244d: SWAP1
0000244e: SSTORE
0000244f: SWAP1
00002450: SSTORE
00002451: DUP7
00002452: PUSH1 0x01
00002454: ADD
00002455: PUSH1 0x00
00002457: DUP8
00002458: DUP2
00002459: MSTORE
0000245a: PUSH1 0x20
0000245c: ADD
0000245d: SWAP1
0000245e: DUP2
0000245f: MSTORE
00002460: PUSH1 0x20
00002462: ADD
00002463: PUSH1 0x00
00002465: KECCAK256
00002466: PUSH1 0x00
00002468: SWAP1
00002469: SSTORE
0000246a: PUSH1 0x01
0000246c: SWAP5
0000246d: POP
0000246e: POP
0000246f: POP
00002470: POP
00002471: POP
00002472: PUSH2 0x247c
00002475: JUMP
00002476: JUMPDEST
00002477: PUSH1 0x00
00002479: SWAP2
0000247a: POP
0000247b: POP
0000247c: JUMPDEST
0000247d: SWAP3
0000247e: SWAP2
0000247f: POP
00002480: POP
00002481: JUMP
00002482: JUMPDEST
00002483: PUSH2 0x248d
00002486: DUP4
00002487: DUP4
00002488: DUP4
00002489: PUSH2 0x2559
0000248c: JUMP
0000248d: JUMPDEST
0000248e: PUSH1 0x00
00002490: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a5: AND
000024a6: DUP4
000024a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024bc: AND
000024bd: EQ
000024be: ISZERO
000024bf: PUSH2 0x2554
000024c2: JUMPI
000024c3: PUSH1 0x07
000024c5: SLOAD
000024c6: PUSH2 0x24df
000024c9: DUP3
000024ca: PUSH2 0x24d1
000024cd: PUSH2 0x0ab0
000024d0: JUMP
000024d1: JUMPDEST
000024d2: PUSH2 0x1ac2
000024d5: SWAP1
000024d6: SWAP2
000024d7: SWAP1
000024d8: PUSH4 0xffffffff
000024dd: AND
000024de: JUMP
000024df: JUMPDEST
000024e0: GT
000024e1: ISZERO
000024e2: PUSH2 0x2553
000024e5: JUMPI
000024e6: PUSH1 0x40
000024e8: MLOAD
000024e9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000250a: DUP2
0000250b: MSTORE
0000250c: PUSH1 0x04
0000250e: ADD
0000250f: DUP1
00002510: DUP1
00002511: PUSH1 0x20
00002513: ADD
00002514: DUP3
00002515: DUP2
00002516: SUB
00002517: DUP3
00002518: MSTORE
00002519: PUSH1 0x19
0000251b: DUP2
0000251c: MSTORE
0000251d: PUSH1 0x20
0000251f: ADD
00002520: DUP1
00002521: PUSH32 0x45524332304361707065643a2063617020657863656564656400000000000000
00002542: DUP2
00002543: MSTORE
00002544: POP
00002545: PUSH1 0x20
00002547: ADD
00002548: SWAP2
00002549: POP
0000254a: POP
0000254b: PUSH1 0x40
0000254d: MLOAD
0000254e: DUP1
0000254f: SWAP2
00002550: SUB
00002551: SWAP1
00002552: REVERT
00002553: JUMPDEST
00002554: JUMPDEST
00002555: POP
00002556: POP
00002557: POP
00002558: JUMP
00002559: JUMPDEST
0000255a: POP
0000255b: POP
0000255c: POP
0000255d: JUMP
0000255e: INVALID
0000255f: GASLIMIT
00002560: PUSH15 0x756d657261626c655365743a20696e
00002570: PUSH5 0x6578206f75
00002576: PUSH21 0x206f6620626f756e647345524332303a207472616e
0000258c: PUSH20 0x66657220746f20746865207a65726f2061646472
000025a1: PUSH6 0x737341636365
000025a8: PUSH20 0x73436f6e74726f6c3a2073656e646572206d7573
000025bd: PUSH21 0x20626520616e2061646d696e20746f206772616e74
000025d3: GASLIMIT
000025d4: MSTORE
000025d5: NUMBER
000025d6: ORIGIN
000025d7: ADDRESS
000025d8: GASPRICE
000025d9: KECCAK256
000025da: PUSH3 0x75726e
000025de: KECCAK256
000025df: PUSH2 0x6d6f
000025e2: PUSH22 0x6e7420657863656564732062616c616e636545524332
000025f9: ADDRESS
000025fa: POP
000025fb: PUSH19 0x657365744d696e7465725061757365723a206d
0000260f: PUSH22 0x737420686176652070617573657220726f6c6520746f
00002626: KECCAK256
00002627: PUSH22 0x6e706175736545524332303a20617070726f76652074
0000263e: PUSH16 0x20746865207a65726f20616464726573
0000264f: PUSH20 0x45524332303a207472616e7366657220616d6f75
00002664: PUSH15 0x7420657863656564732062616c616e
00002674: PUSH4 0x65416363
00002679: PUSH6 0x7373436f6e74
00002680: PUSH19 0x6f6c3a2073656e646572206d75737420626520
00002694: PUSH2 0x6e20
00002697: PUSH2 0x646d
0000269a: PUSH10 0x6e20746f207265766f6b
000026a5: PUSH6 0x45524332303a
000026ac: KECCAK256
000026ad: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000026c3: PUSH20 0x20616c6c6f77616e636545524332305072657365
000026d8: PUSH21 0x4d696e7465725061757365723a206d757374206861
000026ee: PUSH23 0x65206d696e74657220726f6c6520746f206d696e744552
00002706: NUMBER
00002707: ORIGIN
00002708: ADDRESS
00002709: GASPRICE
0000270a: KECCAK256
0000270b: PUSH3 0x75726e
0000270f: KECCAK256
00002710: PUSH2 0x6d6f
00002713: PUSH22 0x6e74206578636565647320616c6c6f77616e63654552
0000272a: NUMBER
0000272b: ORIGIN
0000272c: ADDRESS
0000272d: GASPRICE
0000272e: KECCAK256
0000272f: PUSH3 0x75726e
00002733: KECCAK256
00002734: PUSH7 0x726f6d20746865
0000273c: KECCAK256
0000273d: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
00002759: PUSH7 0x726f6d20746865
00002761: KECCAK256
00002762: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
0000277e: PUSH19 0x6f6d20746865207a65726f2061646472657373
00002792: GASLIMIT
00002793: MSTORE
00002794: NUMBER
00002795: ORIGIN
00002796: ADDRESS
00002797: POP
00002798: PUSH19 0x657365744d696e7465725061757365723a206d
000027ac: PUSH22 0x737420686176652070617573657220726f6c6520746f
000027c3: KECCAK256
000027c4: PUSH17 0x6175736545524332303a20646563726561
000027d6: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
000027eb: PUSH6 0x726f41636365
000027f2: PUSH20 0x73436f6e74726f6c3a2063616e206f6e6c792072
00002807: PUSH6 0x6e6f756e6365
0000280e: KECCAK256
0000280f: PUSH19 0x6f6c657320666f722073656c66455243323050
00002823: PUSH2 0x7573
00002826: PUSH2 0x626c
00002829: PUSH6 0x3a20746f6b65
00002830: PUSH15 0x207472616e73666572207768696c65
00002840: KECCAK256
00002841: PUSH17 0x6175736564a2646970667358221220403b
00002853: SHR
00002854: UNKNOWN(0xC0)
00002855: PUSH27 0x50dc24a088f36c3ebcc0bf5d6115e2b9f2a9931127803257e82e1a
00002871: PUSH5 0x736f6c6343
00002877: STOP
00002878: MOD
00002879: MUL
0000287a: STOP
0000287b: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd5391393", "selector": "0xd5391393", "calldata_variants": [ "0xd5391393", "0xd53913930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe63ab1e9", "selector": "0xe63ab1e9", "calldata_variants": [ "0xe63ab1e9", "0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa217fddf", "selector": "0xa217fddf", "calldata_variants": [ "0xa217fddf", "0xa217fddf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xca15c873", "selector": "0xca15c873", "calldata_variants": [ "0xca15c873", "0xca15c8730000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 9686, "type": "tx_origin_used" }, { "pc": 9991, "type": "tx_origin_used" }, { "pc": 10027, "type": "tx_origin_used" }, { "pc": 10133, "type": "tx_origin_used" } ] }
Severity