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

019b477e-bf34-718f-bed9-2f9fd0024b6a
complete
Chain ID
Address
0x26a79bd709a7ef5e5f747b8d8f83326ea044d8cc
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
24499	artifact.fetch	complete	1 / 3	3 months ago
24500	tool.cast_disasm	complete	1 / 3	3 months ago
67674	analysis.bundle	complete	1 / 3	2 weeks ago
67675	capability.graph	complete	1 / 3	2 weeks ago
67676	detector.run	complete	1 / 3	2 weeks ago
67677	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
9028
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x021e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5342acb4
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa457c2d7
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd543dbeb
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd543dbeb
0000003a: EQ
0000003b: PUSH2 0x0bab
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd467064
00000045: EQ
00000046: PUSH2 0x0be6
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdd62ed3e
00000050: EQ
00000051: PUSH2 0x0c21
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xea2f0b37
0000005b: EQ
0000005c: PUSH2 0x0ca6
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x0cf7
0000006a: JUMPI
0000006b: PUSH2 0x0225
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xa457c2d7
00000076: EQ
00000077: PUSH2 0x0a4a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa69df4b5
00000081: EQ
00000082: PUSH2 0x0abb
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa9059cbb
0000008c: EQ
0000008d: PUSH2 0x0ad2
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xb6c52324
00000097: EQ
00000098: PUSH2 0x0b43
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc49b9a80
000000a2: EQ
000000a3: PUSH2 0x0b6e
000000a6: JUMPI
000000a7: PUSH2 0x0225
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x7d1db4a5
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7d1db4a5
000000bd: EQ
000000be: PUSH2 0x08ac
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x88f82020
000000c8: EQ
000000c9: PUSH2 0x08d7
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x8da5cb5b
000000d3: EQ
000000d4: PUSH2 0x093e
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x8ee88c53
000000de: EQ
000000df: PUSH2 0x097f
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x95d89b41
000000e9: EQ
000000ea: PUSH2 0x09ba
000000ed: JUMPI
000000ee: PUSH2 0x0225
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x5342acb4
000000f9: EQ
000000fa: PUSH2 0x079e
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x6bc87c3a
00000104: EQ
00000105: PUSH2 0x0805
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x70a08231
0000010f: EQ
00000110: PUSH2 0x0830
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x715018a6
0000011a: EQ
0000011b: PUSH2 0x0895
0000011e: JUMPI
0000011f: PUSH2 0x0225
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x3685d419
0000012a: GT
0000012b: PUSH2 0x01a6
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x437823ec
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x437823ec
00000140: EQ
00000141: PUSH2 0x0633
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x4549b039
0000014b: EQ
0000014c: PUSH2 0x0684
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x49bd5a5e
00000156: EQ
00000157: PUSH2 0x06df
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x4a74bb02
00000161: EQ
00000162: PUSH2 0x0720
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x52390c02
0000016c: EQ
0000016d: PUSH2 0x074d
00000170: JUMPI
00000171: PUSH2 0x0225
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x3685d419
0000017c: EQ
0000017d: PUSH2 0x050b
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x39509351
00000187: EQ
00000188: PUSH2 0x055c
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x3b124fe7
00000192: EQ
00000193: PUSH2 0x05cd
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x3bd5d173
0000019d: EQ
0000019e: PUSH2 0x05f8
000001a1: JUMPI
000001a2: PUSH2 0x0225
000001a5: JUMP
000001a6: JUMPDEST
000001a7: DUP1
000001a8: PUSH4 0x1694505e
000001ad: GT
000001ae: PUSH2 0x01ed
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x1694505e
000001b8: EQ
000001b9: PUSH2 0x0391
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x18160ddd
000001c3: EQ
000001c4: PUSH2 0x03d2
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x23b872dd
000001ce: EQ
000001cf: PUSH2 0x03fd
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x2d838119
000001d9: EQ
000001da: PUSH2 0x048e
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x313ce567
000001e4: EQ
000001e5: PUSH2 0x04dd
000001e8: JUMPI
000001e9: PUSH2 0x0225
000001ec: JUMP
000001ed: JUMPDEST
000001ee: DUP1
000001ef: PUSH4 0x061c82d0
000001f4: EQ
000001f5: PUSH2 0x022a
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x06fdde03
000001ff: EQ
00000200: PUSH2 0x0265
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x095ea7b3
0000020a: EQ
0000020b: PUSH2 0x02f5
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x13114a9d
00000215: EQ
00000216: PUSH2 0x0366
00000219: JUMPI
0000021a: PUSH2 0x0225
0000021d: JUMP
0000021e: JUMPDEST
0000021f: CALLDATASIZE
00000220: PUSH2 0x0225
00000223: JUMPI
00000224: STOP
00000225: JUMPDEST
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x0263
0000023b: PUSH1 0x04
0000023d: DUP1
0000023e: CALLDATASIZE
0000023f: SUB
00000240: PUSH1 0x20
00000242: DUP2
00000243: LT
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: DUP2
0000024f: ADD
00000250: SWAP1
00000251: DUP1
00000252: DUP1
00000253: CALLDATALOAD
00000254: SWAP1
00000255: PUSH1 0x20
00000257: ADD
00000258: SWAP1
00000259: SWAP3
0000025a: SWAP2
0000025b: SWAP1
0000025c: POP
0000025d: POP
0000025e: POP
0000025f: PUSH2 0x0d48
00000262: JUMP
00000263: JUMPDEST
00000264: STOP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x027a
00000276: PUSH2 0x0e13
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH1 0x40
0000027d: MLOAD
0000027e: DUP1
0000027f: DUP1
00000280: PUSH1 0x20
00000282: ADD
00000283: DUP3
00000284: DUP2
00000285: SUB
00000286: DUP3
00000287: MSTORE
00000288: DUP4
00000289: DUP2
0000028a: DUP2
0000028b: MLOAD
0000028c: DUP2
0000028d: MSTORE
0000028e: PUSH1 0x20
00000290: ADD
00000291: SWAP2
00000292: POP
00000293: DUP1
00000294: MLOAD
00000295: SWAP1
00000296: PUSH1 0x20
00000298: ADD
00000299: SWAP1
0000029a: DUP1
0000029b: DUP4
0000029c: DUP4
0000029d: PUSH1 0x00
0000029f: JUMPDEST
000002a0: DUP4
000002a1: DUP2
000002a2: LT
000002a3: ISZERO
000002a4: PUSH2 0x02ba
000002a7: JUMPI
000002a8: DUP1
000002a9: DUP3
000002aa: ADD
000002ab: MLOAD
000002ac: DUP2
000002ad: DUP5
000002ae: ADD
000002af: MSTORE
000002b0: PUSH1 0x20
000002b2: DUP2
000002b3: ADD
000002b4: SWAP1
000002b5: POP
000002b6: PUSH2 0x029f
000002b9: JUMP
000002ba: JUMPDEST
000002bb: POP
000002bc: POP
000002bd: POP
000002be: POP
000002bf: SWAP1
000002c0: POP
000002c1: SWAP1
000002c2: DUP2
000002c3: ADD
000002c4: SWAP1
000002c5: PUSH1 0x1f
000002c7: AND
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02e7
000002cd: JUMPI
000002ce: DUP1
000002cf: DUP3
000002d0: SUB
000002d1: DUP1
000002d2: MLOAD
000002d3: PUSH1 0x01
000002d5: DUP4
000002d6: PUSH1 0x20
000002d8: SUB
000002d9: PUSH2 0x0100
000002dc: EXP
000002dd: SUB
000002de: NOT
000002df: AND
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x20
000002e4: ADD
000002e5: SWAP2
000002e6: POP
000002e7: JUMPDEST
000002e8: POP
000002e9: SWAP3
000002ea: POP
000002eb: POP
000002ec: POP
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: DUP1
000002f1: SWAP2
000002f2: SUB
000002f3: SWAP1
000002f4: RETURN
000002f5: JUMPDEST
000002f6: CALLVALUE
000002f7: DUP1
000002f8: ISZERO
000002f9: PUSH2 0x0301
000002fc: JUMPI
000002fd: PUSH1 0x00
000002ff: DUP1
00000300: REVERT
00000301: JUMPDEST
00000302: POP
00000303: PUSH2 0x034e
00000306: PUSH1 0x04
00000308: DUP1
00000309: CALLDATASIZE
0000030a: SUB
0000030b: PUSH1 0x40
0000030d: DUP2
0000030e: LT
0000030f: ISZERO
00000310: PUSH2 0x0318
00000313: JUMPI
00000314: PUSH1 0x00
00000316: DUP1
00000317: REVERT
00000318: JUMPDEST
00000319: DUP2
0000031a: ADD
0000031b: SWAP1
0000031c: DUP1
0000031d: DUP1
0000031e: CALLDATALOAD
0000031f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000334: AND
00000335: SWAP1
00000336: PUSH1 0x20
00000338: ADD
00000339: SWAP1
0000033a: SWAP3
0000033b: SWAP2
0000033c: SWAP1
0000033d: DUP1
0000033e: CALLDATALOAD
0000033f: SWAP1
00000340: PUSH1 0x20
00000342: ADD
00000343: SWAP1
00000344: SWAP3
00000345: SWAP2
00000346: SWAP1
00000347: POP
00000348: POP
00000349: POP
0000034a: PUSH2 0x0e50
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH1 0x40
00000351: MLOAD
00000352: DUP1
00000353: DUP3
00000354: ISZERO
00000355: ISZERO
00000356: DUP2
00000357: MSTORE
00000358: PUSH1 0x20
0000035a: ADD
0000035b: SWAP2
0000035c: POP
0000035d: POP
0000035e: PUSH1 0x40
00000360: MLOAD
00000361: DUP1
00000362: SWAP2
00000363: SUB
00000364: SWAP1
00000365: RETURN
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0372
0000036d: JUMPI
0000036e: PUSH1 0x00
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x037b
00000377: PUSH2 0x0e67
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH1 0x40
0000037e: MLOAD
0000037f: DUP1
00000380: DUP3
00000381: DUP2
00000382: MSTORE
00000383: PUSH1 0x20
00000385: ADD
00000386: SWAP2
00000387: POP
00000388: POP
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: SWAP2
0000038e: SUB
0000038f: SWAP1
00000390: RETURN
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: POP
0000039f: PUSH2 0x03a6
000003a2: PUSH2 0x0e71
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH1 0x40
000003a9: MLOAD
000003aa: DUP1
000003ab: DUP3
000003ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c1: AND
000003c2: DUP2
000003c3: MSTORE
000003c4: PUSH1 0x20
000003c6: ADD
000003c7: SWAP2
000003c8: POP
000003c9: POP
000003ca: PUSH1 0x40
000003cc: MLOAD
000003cd: DUP1
000003ce: SWAP2
000003cf: SUB
000003d0: SWAP1
000003d1: RETURN
000003d2: JUMPDEST
000003d3: CALLVALUE
000003d4: DUP1
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: POP
000003e0: PUSH2 0x03e7
000003e3: PUSH2 0x0e97
000003e6: JUMP
000003e7: JUMPDEST
000003e8: PUSH1 0x40
000003ea: MLOAD
000003eb: DUP1
000003ec: DUP3
000003ed: DUP2
000003ee: MSTORE
000003ef: PUSH1 0x20
000003f1: ADD
000003f2: SWAP2
000003f3: POP
000003f4: POP
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: DUP1
000003f9: SWAP2
000003fa: SUB
000003fb: SWAP1
000003fc: RETURN
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x0476
0000040e: PUSH1 0x04
00000410: DUP1
00000411: CALLDATASIZE
00000412: SUB
00000413: PUSH1 0x60
00000415: DUP2
00000416: LT
00000417: ISZERO
00000418: PUSH2 0x0420
0000041b: JUMPI
0000041c: PUSH1 0x00
0000041e: DUP1
0000041f: REVERT
00000420: JUMPDEST
00000421: DUP2
00000422: ADD
00000423: SWAP1
00000424: DUP1
00000425: DUP1
00000426: CALLDATALOAD
00000427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000043c: AND
0000043d: SWAP1
0000043e: PUSH1 0x20
00000440: ADD
00000441: SWAP1
00000442: SWAP3
00000443: SWAP2
00000444: SWAP1
00000445: DUP1
00000446: CALLDATALOAD
00000447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045c: AND
0000045d: SWAP1
0000045e: PUSH1 0x20
00000460: ADD
00000461: SWAP1
00000462: SWAP3
00000463: SWAP2
00000464: SWAP1
00000465: DUP1
00000466: CALLDATALOAD
00000467: SWAP1
00000468: PUSH1 0x20
0000046a: ADD
0000046b: SWAP1
0000046c: SWAP3
0000046d: SWAP2
0000046e: SWAP1
0000046f: POP
00000470: POP
00000471: POP
00000472: PUSH2 0x0ea8
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x40
00000479: MLOAD
0000047a: DUP1
0000047b: DUP3
0000047c: ISZERO
0000047d: ISZERO
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: ADD
00000483: SWAP2
00000484: POP
00000485: POP
00000486: PUSH1 0x40
00000488: MLOAD
00000489: DUP1
0000048a: SWAP2
0000048b: SUB
0000048c: SWAP1
0000048d: RETURN
0000048e: JUMPDEST
0000048f: CALLVALUE
00000490: DUP1
00000491: ISZERO
00000492: PUSH2 0x049a
00000495: JUMPI
00000496: PUSH1 0x00
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: POP
0000049c: PUSH2 0x04c7
0000049f: PUSH1 0x04
000004a1: DUP1
000004a2: CALLDATASIZE
000004a3: SUB
000004a4: PUSH1 0x20
000004a6: DUP2
000004a7: LT
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: DUP2
000004b3: ADD
000004b4: SWAP1
000004b5: DUP1
000004b6: DUP1
000004b7: CALLDATALOAD
000004b8: SWAP1
000004b9: PUSH1 0x20
000004bb: ADD
000004bc: SWAP1
000004bd: SWAP3
000004be: SWAP2
000004bf: SWAP1
000004c0: POP
000004c1: POP
000004c2: POP
000004c3: PUSH2 0x0f73
000004c6: JUMP
000004c7: JUMPDEST
000004c8: PUSH1 0x40
000004ca: MLOAD
000004cb: DUP1
000004cc: DUP3
000004cd: DUP2
000004ce: MSTORE
000004cf: PUSH1 0x20
000004d1: ADD
000004d2: SWAP2
000004d3: POP
000004d4: POP
000004d5: PUSH1 0x40
000004d7: MLOAD
000004d8: DUP1
000004d9: SWAP2
000004da: SUB
000004db: SWAP1
000004dc: RETURN
000004dd: JUMPDEST
000004de: CALLVALUE
000004df: DUP1
000004e0: ISZERO
000004e1: PUSH2 0x04e9
000004e4: JUMPI
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: REVERT
000004e9: JUMPDEST
000004ea: POP
000004eb: PUSH2 0x04f2
000004ee: PUSH2 0x0ff7
000004f1: JUMP
000004f2: JUMPDEST
000004f3: PUSH1 0x40
000004f5: MLOAD
000004f6: DUP1
000004f7: DUP3
000004f8: PUSH1 0xff
000004fa: AND
000004fb: DUP2
000004fc: MSTORE
000004fd: PUSH1 0x20
000004ff: ADD
00000500: SWAP2
00000501: POP
00000502: POP
00000503: PUSH1 0x40
00000505: MLOAD
00000506: DUP1
00000507: SWAP2
00000508: SUB
00000509: SWAP1
0000050a: RETURN
0000050b: JUMPDEST
0000050c: CALLVALUE
0000050d: DUP1
0000050e: ISZERO
0000050f: PUSH2 0x0517
00000512: JUMPI
00000513: PUSH1 0x00
00000515: DUP1
00000516: REVERT
00000517: JUMPDEST
00000518: POP
00000519: PUSH2 0x055a
0000051c: PUSH1 0x04
0000051e: DUP1
0000051f: CALLDATASIZE
00000520: SUB
00000521: PUSH1 0x20
00000523: DUP2
00000524: LT
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: DUP2
00000530: ADD
00000531: SWAP1
00000532: DUP1
00000533: DUP1
00000534: CALLDATALOAD
00000535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000054a: AND
0000054b: SWAP1
0000054c: PUSH1 0x20
0000054e: ADD
0000054f: SWAP1
00000550: SWAP3
00000551: SWAP2
00000552: SWAP1
00000553: POP
00000554: POP
00000555: POP
00000556: PUSH2 0x1000
00000559: JUMP
0000055a: JUMPDEST
0000055b: STOP
0000055c: JUMPDEST
0000055d: CALLVALUE
0000055e: DUP1
0000055f: ISZERO
00000560: PUSH2 0x0568
00000563: JUMPI
00000564: PUSH1 0x00
00000566: DUP1
00000567: REVERT
00000568: JUMPDEST
00000569: POP
0000056a: PUSH2 0x05b5
0000056d: PUSH1 0x04
0000056f: DUP1
00000570: CALLDATASIZE
00000571: SUB
00000572: PUSH1 0x40
00000574: DUP2
00000575: LT
00000576: ISZERO
00000577: PUSH2 0x057f
0000057a: JUMPI
0000057b: PUSH1 0x00
0000057d: DUP1
0000057e: REVERT
0000057f: JUMPDEST
00000580: DUP2
00000581: ADD
00000582: SWAP1
00000583: DUP1
00000584: DUP1
00000585: CALLDATALOAD
00000586: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059b: AND
0000059c: SWAP1
0000059d: PUSH1 0x20
0000059f: ADD
000005a0: SWAP1
000005a1: SWAP3
000005a2: SWAP2
000005a3: SWAP1
000005a4: DUP1
000005a5: CALLDATALOAD
000005a6: SWAP1
000005a7: PUSH1 0x20
000005a9: ADD
000005aa: SWAP1
000005ab: SWAP3
000005ac: SWAP2
000005ad: SWAP1
000005ae: POP
000005af: POP
000005b0: POP
000005b1: PUSH2 0x1275
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: DUP1
000005ba: DUP3
000005bb: ISZERO
000005bc: ISZERO
000005bd: DUP2
000005be: MSTORE
000005bf: PUSH1 0x20
000005c1: ADD
000005c2: SWAP2
000005c3: POP
000005c4: POP
000005c5: PUSH1 0x40
000005c7: MLOAD
000005c8: DUP1
000005c9: SWAP2
000005ca: SUB
000005cb: SWAP1
000005cc: RETURN
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: POP
000005db: PUSH2 0x05e2
000005de: PUSH2 0x131a
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH1 0x40
000005e5: MLOAD
000005e6: DUP1
000005e7: DUP3
000005e8: DUP2
000005e9: MSTORE
000005ea: PUSH1 0x20
000005ec: ADD
000005ed: SWAP2
000005ee: POP
000005ef: POP
000005f0: PUSH1 0x40
000005f2: MLOAD
000005f3: DUP1
000005f4: SWAP2
000005f5: SUB
000005f6: SWAP1
000005f7: RETURN
000005f8: JUMPDEST
000005f9: CALLVALUE
000005fa: DUP1
000005fb: ISZERO
000005fc: PUSH2 0x0604
000005ff: JUMPI
00000600: PUSH1 0x00
00000602: DUP1
00000603: REVERT
00000604: JUMPDEST
00000605: POP
00000606: PUSH2 0x0631
00000609: PUSH1 0x04
0000060b: DUP1
0000060c: CALLDATASIZE
0000060d: SUB
0000060e: PUSH1 0x20
00000610: DUP2
00000611: LT
00000612: ISZERO
00000613: PUSH2 0x061b
00000616: JUMPI
00000617: PUSH1 0x00
00000619: DUP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: DUP2
0000061d: ADD
0000061e: SWAP1
0000061f: DUP1
00000620: DUP1
00000621: CALLDATALOAD
00000622: SWAP1
00000623: PUSH1 0x20
00000625: ADD
00000626: SWAP1
00000627: SWAP3
00000628: SWAP2
00000629: SWAP1
0000062a: POP
0000062b: POP
0000062c: POP
0000062d: PUSH2 0x1320
00000630: JUMP
00000631: JUMPDEST
00000632: STOP
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x0682
00000644: PUSH1 0x04
00000646: DUP1
00000647: CALLDATASIZE
00000648: SUB
00000649: PUSH1 0x20
0000064b: DUP2
0000064c: LT
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: DUP2
00000658: ADD
00000659: SWAP1
0000065a: DUP1
0000065b: DUP1
0000065c: CALLDATALOAD
0000065d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000672: AND
00000673: SWAP1
00000674: PUSH1 0x20
00000676: ADD
00000677: SWAP1
00000678: SWAP3
00000679: SWAP2
0000067a: SWAP1
0000067b: POP
0000067c: POP
0000067d: POP
0000067e: PUSH2 0x14aa
00000681: JUMP
00000682: JUMPDEST
00000683: STOP
00000684: JUMPDEST
00000685: CALLVALUE
00000686: DUP1
00000687: ISZERO
00000688: PUSH2 0x0690
0000068b: JUMPI
0000068c: PUSH1 0x00
0000068e: DUP1
0000068f: REVERT
00000690: JUMPDEST
00000691: POP
00000692: PUSH2 0x06c9
00000695: PUSH1 0x04
00000697: DUP1
00000698: CALLDATASIZE
00000699: SUB
0000069a: PUSH1 0x40
0000069c: DUP2
0000069d: LT
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: DUP2
000006a9: ADD
000006aa: SWAP1
000006ab: DUP1
000006ac: DUP1
000006ad: CALLDATALOAD
000006ae: SWAP1
000006af: PUSH1 0x20
000006b1: ADD
000006b2: SWAP1
000006b3: SWAP3
000006b4: SWAP2
000006b5: SWAP1
000006b6: DUP1
000006b7: CALLDATALOAD
000006b8: ISZERO
000006b9: ISZERO
000006ba: SWAP1
000006bb: PUSH1 0x20
000006bd: ADD
000006be: SWAP1
000006bf: SWAP3
000006c0: SWAP2
000006c1: SWAP1
000006c2: POP
000006c3: POP
000006c4: POP
000006c5: PUSH2 0x15c6
000006c8: JUMP
000006c9: JUMPDEST
000006ca: PUSH1 0x40
000006cc: MLOAD
000006cd: DUP1
000006ce: DUP3
000006cf: DUP2
000006d0: MSTORE
000006d1: PUSH1 0x20
000006d3: ADD
000006d4: SWAP2
000006d5: POP
000006d6: POP
000006d7: PUSH1 0x40
000006d9: MLOAD
000006da: DUP1
000006db: SWAP2
000006dc: SUB
000006dd: SWAP1
000006de: RETURN
000006df: JUMPDEST
000006e0: CALLVALUE
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06eb
000006e6: JUMPI
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: REVERT
000006eb: JUMPDEST
000006ec: POP
000006ed: PUSH2 0x06f4
000006f0: PUSH2 0x1684
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: DUP1
000006f9: DUP3
000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070f: AND
00000710: DUP2
00000711: MSTORE
00000712: PUSH1 0x20
00000714: ADD
00000715: SWAP2
00000716: POP
00000717: POP
00000718: PUSH1 0x40
0000071a: MLOAD
0000071b: DUP1
0000071c: SWAP2
0000071d: SUB
0000071e: SWAP1
0000071f: RETURN
00000720: JUMPDEST
00000721: CALLVALUE
00000722: DUP1
00000723: ISZERO
00000724: PUSH2 0x072c
00000727: JUMPI
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: REVERT
0000072c: JUMPDEST
0000072d: POP
0000072e: PUSH2 0x0735
00000731: PUSH2 0x16aa
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH1 0x40
00000738: MLOAD
00000739: DUP1
0000073a: DUP3
0000073b: ISZERO
0000073c: ISZERO
0000073d: DUP2
0000073e: MSTORE
0000073f: PUSH1 0x20
00000741: ADD
00000742: SWAP2
00000743: POP
00000744: POP
00000745: PUSH1 0x40
00000747: MLOAD
00000748: DUP1
00000749: SWAP2
0000074a: SUB
0000074b: SWAP1
0000074c: RETURN
0000074d: JUMPDEST
0000074e: CALLVALUE
0000074f: DUP1
00000750: ISZERO
00000751: PUSH2 0x0759
00000754: JUMPI
00000755: PUSH1 0x00
00000757: DUP1
00000758: REVERT
00000759: JUMPDEST
0000075a: POP
0000075b: PUSH2 0x079c
0000075e: PUSH1 0x04
00000760: DUP1
00000761: CALLDATASIZE
00000762: SUB
00000763: PUSH1 0x20
00000765: DUP2
00000766: LT
00000767: ISZERO
00000768: PUSH2 0x0770
0000076b: JUMPI
0000076c: PUSH1 0x00
0000076e: DUP1
0000076f: REVERT
00000770: JUMPDEST
00000771: DUP2
00000772: ADD
00000773: SWAP1
00000774: DUP1
00000775: DUP1
00000776: CALLDATALOAD
00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078c: AND
0000078d: SWAP1
0000078e: PUSH1 0x20
00000790: ADD
00000791: SWAP1
00000792: SWAP3
00000793: SWAP2
00000794: SWAP1
00000795: POP
00000796: POP
00000797: POP
00000798: PUSH2 0x16bd
0000079b: JUMP
0000079c: JUMPDEST
0000079d: STOP
0000079e: JUMPDEST
0000079f: CALLVALUE
000007a0: DUP1
000007a1: ISZERO
000007a2: PUSH2 0x07aa
000007a5: JUMPI
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: REVERT
000007aa: JUMPDEST
000007ab: POP
000007ac: PUSH2 0x07ed
000007af: PUSH1 0x04
000007b1: DUP1
000007b2: CALLDATASIZE
000007b3: SUB
000007b4: PUSH1 0x20
000007b6: DUP2
000007b7: LT
000007b8: ISZERO
000007b9: PUSH2 0x07c1
000007bc: JUMPI
000007bd: PUSH1 0x00
000007bf: DUP1
000007c0: REVERT
000007c1: JUMPDEST
000007c2: DUP2
000007c3: ADD
000007c4: SWAP1
000007c5: DUP1
000007c6: DUP1
000007c7: CALLDATALOAD
000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007dd: AND
000007de: SWAP1
000007df: PUSH1 0x20
000007e1: ADD
000007e2: SWAP1
000007e3: SWAP3
000007e4: SWAP2
000007e5: SWAP1
000007e6: POP
000007e7: POP
000007e8: POP
000007e9: PUSH2 0x1982
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH1 0x40
000007f0: MLOAD
000007f1: DUP1
000007f2: DUP3
000007f3: ISZERO
000007f4: ISZERO
000007f5: DUP2
000007f6: MSTORE
000007f7: PUSH1 0x20
000007f9: ADD
000007fa: SWAP2
000007fb: POP
000007fc: POP
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: DUP1
00000801: SWAP2
00000802: SUB
00000803: SWAP1
00000804: RETURN
00000805: JUMPDEST
00000806: CALLVALUE
00000807: DUP1
00000808: ISZERO
00000809: PUSH2 0x0811
0000080c: JUMPI
0000080d: PUSH1 0x00
0000080f: DUP1
00000810: REVERT
00000811: JUMPDEST
00000812: POP
00000813: PUSH2 0x081a
00000816: PUSH2 0x19d8
00000819: JUMP
0000081a: JUMPDEST
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: DUP1
0000081f: DUP3
00000820: DUP2
00000821: MSTORE
00000822: PUSH1 0x20
00000824: ADD
00000825: SWAP2
00000826: POP
00000827: POP
00000828: PUSH1 0x40
0000082a: MLOAD
0000082b: DUP1
0000082c: SWAP2
0000082d: SUB
0000082e: SWAP1
0000082f: RETURN
00000830: JUMPDEST
00000831: CALLVALUE
00000832: DUP1
00000833: ISZERO
00000834: PUSH2 0x083c
00000837: JUMPI
00000838: PUSH1 0x00
0000083a: DUP1
0000083b: REVERT
0000083c: JUMPDEST
0000083d: POP
0000083e: PUSH2 0x087f
00000841: PUSH1 0x04
00000843: DUP1
00000844: CALLDATASIZE
00000845: SUB
00000846: PUSH1 0x20
00000848: DUP2
00000849: LT
0000084a: ISZERO
0000084b: PUSH2 0x0853
0000084e: JUMPI
0000084f: PUSH1 0x00
00000851: DUP1
00000852: REVERT
00000853: JUMPDEST
00000854: DUP2
00000855: ADD
00000856: SWAP1
00000857: DUP1
00000858: DUP1
00000859: CALLDATALOAD
0000085a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000086f: AND
00000870: SWAP1
00000871: PUSH1 0x20
00000873: ADD
00000874: SWAP1
00000875: SWAP3
00000876: SWAP2
00000877: SWAP1
00000878: POP
00000879: POP
0000087a: POP
0000087b: PUSH2 0x19de
0000087e: JUMP
0000087f: JUMPDEST
00000880: PUSH1 0x40
00000882: MLOAD
00000883: DUP1
00000884: DUP3
00000885: DUP2
00000886: MSTORE
00000887: PUSH1 0x20
00000889: ADD
0000088a: SWAP2
0000088b: POP
0000088c: POP
0000088d: PUSH1 0x40
0000088f: MLOAD
00000890: DUP1
00000891: SWAP2
00000892: SUB
00000893: SWAP1
00000894: RETURN
00000895: JUMPDEST
00000896: CALLVALUE
00000897: DUP1
00000898: ISZERO
00000899: PUSH2 0x08a1
0000089c: JUMPI
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: REVERT
000008a1: JUMPDEST
000008a2: POP
000008a3: PUSH2 0x08aa
000008a6: PUSH2 0x1ac9
000008a9: JUMP
000008aa: JUMPDEST
000008ab: STOP
000008ac: JUMPDEST
000008ad: CALLVALUE
000008ae: DUP1
000008af: ISZERO
000008b0: PUSH2 0x08b8
000008b3: JUMPI
000008b4: PUSH1 0x00
000008b6: DUP1
000008b7: REVERT
000008b8: JUMPDEST
000008b9: POP
000008ba: PUSH2 0x08c1
000008bd: PUSH2 0x1c48
000008c0: JUMP
000008c1: JUMPDEST
000008c2: PUSH1 0x40
000008c4: MLOAD
000008c5: DUP1
000008c6: DUP3
000008c7: DUP2
000008c8: MSTORE
000008c9: PUSH1 0x20
000008cb: ADD
000008cc: SWAP2
000008cd: POP
000008ce: POP
000008cf: PUSH1 0x40
000008d1: MLOAD
000008d2: DUP1
000008d3: SWAP2
000008d4: SUB
000008d5: SWAP1
000008d6: RETURN
000008d7: JUMPDEST
000008d8: CALLVALUE
000008d9: DUP1
000008da: ISZERO
000008db: PUSH2 0x08e3
000008de: JUMPI
000008df: PUSH1 0x00
000008e1: DUP1
000008e2: REVERT
000008e3: JUMPDEST
000008e4: POP
000008e5: PUSH2 0x0926
000008e8: PUSH1 0x04
000008ea: DUP1
000008eb: CALLDATASIZE
000008ec: SUB
000008ed: PUSH1 0x20
000008ef: DUP2
000008f0: LT
000008f1: ISZERO
000008f2: PUSH2 0x08fa
000008f5: JUMPI
000008f6: PUSH1 0x00
000008f8: DUP1
000008f9: REVERT
000008fa: JUMPDEST
000008fb: DUP2
000008fc: ADD
000008fd: SWAP1
000008fe: DUP1
000008ff: DUP1
00000900: CALLDATALOAD
00000901: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000916: AND
00000917: SWAP1
00000918: PUSH1 0x20
0000091a: ADD
0000091b: SWAP1
0000091c: SWAP3
0000091d: SWAP2
0000091e: SWAP1
0000091f: POP
00000920: POP
00000921: POP
00000922: PUSH2 0x1c4e
00000925: JUMP
00000926: JUMPDEST
00000927: PUSH1 0x40
00000929: MLOAD
0000092a: DUP1
0000092b: DUP3
0000092c: ISZERO
0000092d: ISZERO
0000092e: DUP2
0000092f: MSTORE
00000930: PUSH1 0x20
00000932: ADD
00000933: SWAP2
00000934: POP
00000935: POP
00000936: PUSH1 0x40
00000938: MLOAD
00000939: DUP1
0000093a: SWAP2
0000093b: SUB
0000093c: SWAP1
0000093d: RETURN
0000093e: JUMPDEST
0000093f: CALLVALUE
00000940: DUP1
00000941: ISZERO
00000942: PUSH2 0x094a
00000945: JUMPI
00000946: PUSH1 0x00
00000948: DUP1
00000949: REVERT
0000094a: JUMPDEST
0000094b: POP
0000094c: PUSH2 0x0953
0000094f: PUSH2 0x1ca4
00000952: JUMP
00000953: JUMPDEST
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: DUP3
00000959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096e: AND
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x20
00000973: ADD
00000974: SWAP2
00000975: POP
00000976: POP
00000977: PUSH1 0x40
00000979: MLOAD
0000097a: DUP1
0000097b: SWAP2
0000097c: SUB
0000097d: SWAP1
0000097e: RETURN
0000097f: JUMPDEST
00000980: CALLVALUE
00000981: DUP1
00000982: ISZERO
00000983: PUSH2 0x098b
00000986: JUMPI
00000987: PUSH1 0x00
00000989: DUP1
0000098a: REVERT
0000098b: JUMPDEST
0000098c: POP
0000098d: PUSH2 0x09b8
00000990: PUSH1 0x04
00000992: DUP1
00000993: CALLDATASIZE
00000994: SUB
00000995: PUSH1 0x20
00000997: DUP2
00000998: LT
00000999: ISZERO
0000099a: PUSH2 0x09a2
0000099d: JUMPI
0000099e: PUSH1 0x00
000009a0: DUP1
000009a1: REVERT
000009a2: JUMPDEST
000009a3: DUP2
000009a4: ADD
000009a5: SWAP1
000009a6: DUP1
000009a7: DUP1
000009a8: CALLDATALOAD
000009a9: SWAP1
000009aa: PUSH1 0x20
000009ac: ADD
000009ad: SWAP1
000009ae: SWAP3
000009af: SWAP2
000009b0: SWAP1
000009b1: POP
000009b2: POP
000009b3: POP
000009b4: PUSH2 0x1ccd
000009b7: JUMP
000009b8: JUMPDEST
000009b9: STOP
000009ba: JUMPDEST
000009bb: CALLVALUE
000009bc: DUP1
000009bd: ISZERO
000009be: PUSH2 0x09c6
000009c1: JUMPI
000009c2: PUSH1 0x00
000009c4: DUP1
000009c5: REVERT
000009c6: JUMPDEST
000009c7: POP
000009c8: PUSH2 0x09cf
000009cb: PUSH2 0x1d98
000009ce: JUMP
000009cf: JUMPDEST
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: DUP1
000009d4: DUP1
000009d5: PUSH1 0x20
000009d7: ADD
000009d8: DUP3
000009d9: DUP2
000009da: SUB
000009db: DUP3
000009dc: MSTORE
000009dd: DUP4
000009de: DUP2
000009df: DUP2
000009e0: MLOAD
000009e1: DUP2
000009e2: MSTORE
000009e3: PUSH1 0x20
000009e5: ADD
000009e6: SWAP2
000009e7: POP
000009e8: DUP1
000009e9: MLOAD
000009ea: SWAP1
000009eb: PUSH1 0x20
000009ed: ADD
000009ee: SWAP1
000009ef: DUP1
000009f0: DUP4
000009f1: DUP4
000009f2: PUSH1 0x00
000009f4: JUMPDEST
000009f5: DUP4
000009f6: DUP2
000009f7: LT
000009f8: ISZERO
000009f9: PUSH2 0x0a0f
000009fc: JUMPI
000009fd: DUP1
000009fe: DUP3
000009ff: ADD
00000a00: MLOAD
00000a01: DUP2
00000a02: DUP5
00000a03: ADD
00000a04: MSTORE
00000a05: PUSH1 0x20
00000a07: DUP2
00000a08: ADD
00000a09: SWAP1
00000a0a: POP
00000a0b: PUSH2 0x09f4
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: POP
00000a11: POP
00000a12: POP
00000a13: POP
00000a14: SWAP1
00000a15: POP
00000a16: SWAP1
00000a17: DUP2
00000a18: ADD
00000a19: SWAP1
00000a1a: PUSH1 0x1f
00000a1c: AND
00000a1d: DUP1
00000a1e: ISZERO
00000a1f: PUSH2 0x0a3c
00000a22: JUMPI
00000a23: DUP1
00000a24: DUP3
00000a25: SUB
00000a26: DUP1
00000a27: MLOAD
00000a28: PUSH1 0x01
00000a2a: DUP4
00000a2b: PUSH1 0x20
00000a2d: SUB
00000a2e: PUSH2 0x0100
00000a31: EXP
00000a32: SUB
00000a33: NOT
00000a34: AND
00000a35: DUP2
00000a36: MSTORE
00000a37: PUSH1 0x20
00000a39: ADD
00000a3a: SWAP2
00000a3b: POP
00000a3c: JUMPDEST
00000a3d: POP
00000a3e: SWAP3
00000a3f: POP
00000a40: POP
00000a41: POP
00000a42: PUSH1 0x40
00000a44: MLOAD
00000a45: DUP1
00000a46: SWAP2
00000a47: SUB
00000a48: SWAP1
00000a49: RETURN
00000a4a: JUMPDEST
00000a4b: CALLVALUE
00000a4c: DUP1
00000a4d: ISZERO
00000a4e: PUSH2 0x0a56
00000a51: JUMPI
00000a52: PUSH1 0x00
00000a54: DUP1
00000a55: REVERT
00000a56: JUMPDEST
00000a57: POP
00000a58: PUSH2 0x0aa3
00000a5b: PUSH1 0x04
00000a5d: DUP1
00000a5e: CALLDATASIZE
00000a5f: SUB
00000a60: PUSH1 0x40
00000a62: DUP2
00000a63: LT
00000a64: ISZERO
00000a65: PUSH2 0x0a6d
00000a68: JUMPI
00000a69: PUSH1 0x00
00000a6b: DUP1
00000a6c: REVERT
00000a6d: JUMPDEST
00000a6e: DUP2
00000a6f: ADD
00000a70: SWAP1
00000a71: DUP1
00000a72: DUP1
00000a73: CALLDATALOAD
00000a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a89: AND
00000a8a: SWAP1
00000a8b: PUSH1 0x20
00000a8d: ADD
00000a8e: SWAP1
00000a8f: SWAP3
00000a90: SWAP2
00000a91: SWAP1
00000a92: DUP1
00000a93: CALLDATALOAD
00000a94: SWAP1
00000a95: PUSH1 0x20
00000a97: ADD
00000a98: SWAP1
00000a99: SWAP3
00000a9a: SWAP2
00000a9b: SWAP1
00000a9c: POP
00000a9d: POP
00000a9e: POP
00000a9f: PUSH2 0x1dd5
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x40
00000aa6: MLOAD
00000aa7: DUP1
00000aa8: DUP3
00000aa9: ISZERO
00000aaa: ISZERO
00000aab: DUP2
00000aac: MSTORE
00000aad: PUSH1 0x20
00000aaf: ADD
00000ab0: SWAP2
00000ab1: POP
00000ab2: POP
00000ab3: PUSH1 0x40
00000ab5: MLOAD
00000ab6: DUP1
00000ab7: SWAP2
00000ab8: SUB
00000ab9: SWAP1
00000aba: RETURN
00000abb: JUMPDEST
00000abc: CALLVALUE
00000abd: DUP1
00000abe: ISZERO
00000abf: PUSH2 0x0ac7
00000ac2: JUMPI
00000ac3: PUSH1 0x00
00000ac5: DUP1
00000ac6: REVERT
00000ac7: JUMPDEST
00000ac8: POP
00000ac9: PUSH2 0x0ad0
00000acc: PUSH2 0x1e94
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: STOP
00000ad2: JUMPDEST
00000ad3: CALLVALUE
00000ad4: DUP1
00000ad5: ISZERO
00000ad6: PUSH2 0x0ade
00000ad9: JUMPI
00000ada: PUSH1 0x00
00000adc: DUP1
00000add: REVERT
00000ade: JUMPDEST
00000adf: POP
00000ae0: PUSH2 0x0b2b
00000ae3: PUSH1 0x04
00000ae5: DUP1
00000ae6: CALLDATASIZE
00000ae7: SUB
00000ae8: PUSH1 0x40
00000aea: DUP2
00000aeb: LT
00000aec: ISZERO
00000aed: PUSH2 0x0af5
00000af0: JUMPI
00000af1: PUSH1 0x00
00000af3: DUP1
00000af4: REVERT
00000af5: JUMPDEST
00000af6: DUP2
00000af7: ADD
00000af8: SWAP1
00000af9: DUP1
00000afa: DUP1
00000afb: CALLDATALOAD
00000afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b11: AND
00000b12: SWAP1
00000b13: PUSH1 0x20
00000b15: ADD
00000b16: SWAP1
00000b17: SWAP3
00000b18: SWAP2
00000b19: SWAP1
00000b1a: DUP1
00000b1b: CALLDATALOAD
00000b1c: SWAP1
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: SWAP1
00000b21: SWAP3
00000b22: SWAP2
00000b23: SWAP1
00000b24: POP
00000b25: POP
00000b26: POP
00000b27: PUSH2 0x20b1
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: PUSH1 0x40
00000b2e: MLOAD
00000b2f: DUP1
00000b30: DUP3
00000b31: ISZERO
00000b32: ISZERO
00000b33: DUP2
00000b34: MSTORE
00000b35: PUSH1 0x20
00000b37: ADD
00000b38: SWAP2
00000b39: POP
00000b3a: POP
00000b3b: PUSH1 0x40
00000b3d: MLOAD
00000b3e: DUP1
00000b3f: SWAP2
00000b40: SUB
00000b41: SWAP1
00000b42: RETURN
00000b43: JUMPDEST
00000b44: CALLVALUE
00000b45: DUP1
00000b46: ISZERO
00000b47: PUSH2 0x0b4f
00000b4a: JUMPI
00000b4b: PUSH1 0x00
00000b4d: DUP1
00000b4e: REVERT
00000b4f: JUMPDEST
00000b50: POP
00000b51: PUSH2 0x0b58
00000b54: PUSH2 0x20c8
00000b57: JUMP
00000b58: JUMPDEST
00000b59: PUSH1 0x40
00000b5b: MLOAD
00000b5c: DUP1
00000b5d: DUP3
00000b5e: DUP2
00000b5f: MSTORE
00000b60: PUSH1 0x20
00000b62: ADD
00000b63: SWAP2
00000b64: POP
00000b65: POP
00000b66: PUSH1 0x40
00000b68: MLOAD
00000b69: DUP1
00000b6a: SWAP2
00000b6b: SUB
00000b6c: SWAP1
00000b6d: RETURN
00000b6e: JUMPDEST
00000b6f: CALLVALUE
00000b70: DUP1
00000b71: ISZERO
00000b72: PUSH2 0x0b7a
00000b75: JUMPI
00000b76: PUSH1 0x00
00000b78: DUP1
00000b79: REVERT
00000b7a: JUMPDEST
00000b7b: POP
00000b7c: PUSH2 0x0ba9
00000b7f: PUSH1 0x04
00000b81: DUP1
00000b82: CALLDATASIZE
00000b83: SUB
00000b84: PUSH1 0x20
00000b86: DUP2
00000b87: LT
00000b88: ISZERO
00000b89: PUSH2 0x0b91
00000b8c: JUMPI
00000b8d: PUSH1 0x00
00000b8f: DUP1
00000b90: REVERT
00000b91: JUMPDEST
00000b92: DUP2
00000b93: ADD
00000b94: SWAP1
00000b95: DUP1
00000b96: DUP1
00000b97: CALLDATALOAD
00000b98: ISZERO
00000b99: ISZERO
00000b9a: SWAP1
00000b9b: PUSH1 0x20
00000b9d: ADD
00000b9e: SWAP1
00000b9f: SWAP3
00000ba0: SWAP2
00000ba1: SWAP1
00000ba2: POP
00000ba3: POP
00000ba4: POP
00000ba5: PUSH2 0x20d2
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: STOP
00000bab: JUMPDEST
00000bac: CALLVALUE
00000bad: DUP1
00000bae: ISZERO
00000baf: PUSH2 0x0bb7
00000bb2: JUMPI
00000bb3: PUSH1 0x00
00000bb5: DUP1
00000bb6: REVERT
00000bb7: JUMPDEST
00000bb8: POP
00000bb9: PUSH2 0x0be4
00000bbc: PUSH1 0x04
00000bbe: DUP1
00000bbf: CALLDATASIZE
00000bc0: SUB
00000bc1: PUSH1 0x20
00000bc3: DUP2
00000bc4: LT
00000bc5: ISZERO
00000bc6: PUSH2 0x0bce
00000bc9: JUMPI
00000bca: PUSH1 0x00
00000bcc: DUP1
00000bcd: REVERT
00000bce: JUMPDEST
00000bcf: DUP2
00000bd0: ADD
00000bd1: SWAP1
00000bd2: DUP1
00000bd3: DUP1
00000bd4: CALLDATALOAD
00000bd5: SWAP1
00000bd6: PUSH1 0x20
00000bd8: ADD
00000bd9: SWAP1
00000bda: SWAP3
00000bdb: SWAP2
00000bdc: SWAP1
00000bdd: POP
00000bde: POP
00000bdf: POP
00000be0: PUSH2 0x21e9
00000be3: JUMP
00000be4: JUMPDEST
00000be5: STOP
00000be6: JUMPDEST
00000be7: CALLVALUE
00000be8: DUP1
00000be9: ISZERO
00000bea: PUSH2 0x0bf2
00000bed: JUMPI
00000bee: PUSH1 0x00
00000bf0: DUP1
00000bf1: REVERT
00000bf2: JUMPDEST
00000bf3: POP
00000bf4: PUSH2 0x0c1f
00000bf7: PUSH1 0x04
00000bf9: DUP1
00000bfa: CALLDATASIZE
00000bfb: SUB
00000bfc: PUSH1 0x20
00000bfe: DUP2
00000bff: LT
00000c00: ISZERO
00000c01: PUSH2 0x0c09
00000c04: JUMPI
00000c05: PUSH1 0x00
00000c07: DUP1
00000c08: REVERT
00000c09: JUMPDEST
00000c0a: DUP2
00000c0b: ADD
00000c0c: SWAP1
00000c0d: DUP1
00000c0e: DUP1
00000c0f: CALLDATALOAD
00000c10: SWAP1
00000c11: PUSH1 0x20
00000c13: ADD
00000c14: SWAP1
00000c15: SWAP3
00000c16: SWAP2
00000c17: SWAP1
00000c18: POP
00000c19: POP
00000c1a: POP
00000c1b: PUSH2 0x22e2
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: STOP
00000c21: JUMPDEST
00000c22: CALLVALUE
00000c23: DUP1
00000c24: ISZERO
00000c25: PUSH2 0x0c2d
00000c28: JUMPI
00000c29: PUSH1 0x00
00000c2b: DUP1
00000c2c: REVERT
00000c2d: JUMPDEST
00000c2e: POP
00000c2f: PUSH2 0x0c90
00000c32: PUSH1 0x04
00000c34: DUP1
00000c35: CALLDATASIZE
00000c36: SUB
00000c37: PUSH1 0x40
00000c39: DUP2
00000c3a: LT
00000c3b: ISZERO
00000c3c: PUSH2 0x0c44
00000c3f: JUMPI
00000c40: PUSH1 0x00
00000c42: DUP1
00000c43: REVERT
00000c44: JUMPDEST
00000c45: DUP2
00000c46: ADD
00000c47: SWAP1
00000c48: DUP1
00000c49: DUP1
00000c4a: CALLDATALOAD
00000c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c60: AND
00000c61: SWAP1
00000c62: PUSH1 0x20
00000c64: ADD
00000c65: SWAP1
00000c66: SWAP3
00000c67: SWAP2
00000c68: SWAP1
00000c69: DUP1
00000c6a: CALLDATALOAD
00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c80: AND
00000c81: SWAP1
00000c82: PUSH1 0x20
00000c84: ADD
00000c85: SWAP1
00000c86: SWAP3
00000c87: SWAP2
00000c88: SWAP1
00000c89: POP
00000c8a: POP
00000c8b: POP
00000c8c: PUSH2 0x24cc
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x40
00000c93: MLOAD
00000c94: DUP1
00000c95: DUP3
00000c96: DUP2
00000c97: MSTORE
00000c98: PUSH1 0x20
00000c9a: ADD
00000c9b: SWAP2
00000c9c: POP
00000c9d: POP
00000c9e: PUSH1 0x40
00000ca0: MLOAD
00000ca1: DUP1
00000ca2: SWAP2
00000ca3: SUB
00000ca4: SWAP1
00000ca5: RETURN
00000ca6: JUMPDEST
00000ca7: CALLVALUE
00000ca8: DUP1
00000ca9: ISZERO
00000caa: PUSH2 0x0cb2
00000cad: JUMPI
00000cae: PUSH1 0x00
00000cb0: DUP1
00000cb1: REVERT
00000cb2: JUMPDEST
00000cb3: POP
00000cb4: PUSH2 0x0cf5
00000cb7: PUSH1 0x04
00000cb9: DUP1
00000cba: CALLDATASIZE
00000cbb: SUB
00000cbc: PUSH1 0x20
00000cbe: DUP2
00000cbf: LT
00000cc0: ISZERO
00000cc1: PUSH2 0x0cc9
00000cc4: JUMPI
00000cc5: PUSH1 0x00
00000cc7: DUP1
00000cc8: REVERT
00000cc9: JUMPDEST
00000cca: DUP2
00000ccb: ADD
00000ccc: SWAP1
00000ccd: DUP1
00000cce: DUP1
00000ccf: CALLDATALOAD
00000cd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce5: AND
00000ce6: SWAP1
00000ce7: PUSH1 0x20
00000ce9: ADD
00000cea: SWAP1
00000ceb: SWAP3
00000cec: SWAP2
00000ced: SWAP1
00000cee: POP
00000cef: POP
00000cf0: POP
00000cf1: PUSH2 0x2553
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: STOP
00000cf7: JUMPDEST
00000cf8: CALLVALUE
00000cf9: DUP1
00000cfa: ISZERO
00000cfb: PUSH2 0x0d03
00000cfe: JUMPI
00000cff: PUSH1 0x00
00000d01: DUP1
00000d02: REVERT
00000d03: JUMPDEST
00000d04: POP
00000d05: PUSH2 0x0d46
00000d08: PUSH1 0x04
00000d0a: DUP1
00000d0b: CALLDATASIZE
00000d0c: SUB
00000d0d: PUSH1 0x20
00000d0f: DUP2
00000d10: LT
00000d11: ISZERO
00000d12: PUSH2 0x0d1a
00000d15: JUMPI
00000d16: PUSH1 0x00
00000d18: DUP1
00000d19: REVERT
00000d1a: JUMPDEST
00000d1b: DUP2
00000d1c: ADD
00000d1d: SWAP1
00000d1e: DUP1
00000d1f: DUP1
00000d20: CALLDATALOAD
00000d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d36: AND
00000d37: SWAP1
00000d38: PUSH1 0x20
00000d3a: ADD
00000d3b: SWAP1
00000d3c: SWAP3
00000d3d: SWAP2
00000d3e: SWAP1
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: PUSH2 0x266f
00000d45: JUMP
00000d46: JUMPDEST
00000d47: STOP
00000d48: JUMPDEST
00000d49: CALLER
00000d4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5f: AND
00000d60: PUSH1 0x00
00000d62: DUP1
00000d63: SLOAD
00000d64: SWAP1
00000d65: PUSH2 0x0100
00000d68: EXP
00000d69: SWAP1
00000d6a: DIV
00000d6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d80: AND
00000d81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d96: AND
00000d97: EQ
00000d98: PUSH2 0x0e09
00000d9b: JUMPI
00000d9c: PUSH1 0x40
00000d9e: MLOAD
00000d9f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dc0: DUP2
00000dc1: MSTORE
00000dc2: PUSH1 0x04
00000dc4: ADD
00000dc5: DUP1
00000dc6: DUP1
00000dc7: PUSH1 0x20
00000dc9: ADD
00000dca: DUP3
00000dcb: DUP2
00000dcc: SUB
00000dcd: DUP3
00000dce: MSTORE
00000dcf: PUSH1 0x20
00000dd1: DUP2
00000dd2: MSTORE
00000dd3: PUSH1 0x20
00000dd5: ADD
00000dd6: DUP1
00000dd7: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000df8: DUP2
00000df9: MSTORE
00000dfa: POP
00000dfb: PUSH1 0x20
00000dfd: ADD
00000dfe: SWAP2
00000dff: POP
00000e00: POP
00000e01: PUSH1 0x40
00000e03: MLOAD
00000e04: DUP1
00000e05: SWAP2
00000e06: SUB
00000e07: SWAP1
00000e08: REVERT
00000e09: JUMPDEST
00000e0a: DUP1
00000e0b: PUSH1 0x0c
00000e0d: DUP2
00000e0e: SWAP1
00000e0f: SSTORE
00000e10: POP
00000e11: POP
00000e12: JUMP
00000e13: JUMPDEST
00000e14: PUSH1 0x60
00000e16: PUSH1 0x40
00000e18: MLOAD
00000e19: DUP1
00000e1a: PUSH1 0x40
00000e1c: ADD
00000e1d: PUSH1 0x40
00000e1f: MSTORE
00000e20: DUP1
00000e21: PUSH1 0x0a
00000e23: DUP2
00000e24: MSTORE
00000e25: PUSH1 0x20
00000e27: ADD
00000e28: PUSH32 0x42616e6b536f6369616c00000000000000000000000000000000000000000000
00000e49: DUP2
00000e4a: MSTORE
00000e4b: POP
00000e4c: SWAP1
00000e4d: POP
00000e4e: SWAP1
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: PUSH1 0x00
00000e53: PUSH2 0x0e5d
00000e56: CALLER
00000e57: DUP5
00000e58: DUP5
00000e59: PUSH2 0x2873
00000e5c: JUMP
00000e5d: JUMPDEST
00000e5e: PUSH1 0x01
00000e60: SWAP1
00000e61: POP
00000e62: SWAP3
00000e63: SWAP2
00000e64: POP
00000e65: POP
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH1 0x00
00000e6a: PUSH1 0x0b
00000e6c: SLOAD
00000e6d: SWAP1
00000e6e: POP
00000e6f: SWAP1
00000e70: JUMP
00000e71: JUMPDEST
00000e72: PUSH1 0x10
00000e74: PUSH1 0x00
00000e76: SWAP1
00000e77: SLOAD
00000e78: SWAP1
00000e79: PUSH2 0x0100
00000e7c: EXP
00000e7d: SWAP1
00000e7e: DIV
00000e7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e94: AND
00000e95: DUP2
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x00
00000e9a: PUSH9 0x3635c9adc5dea00000
00000ea4: SWAP1
00000ea5: POP
00000ea6: SWAP1
00000ea7: JUMP
00000ea8: JUMPDEST
00000ea9: PUSH1 0x00
00000eab: PUSH2 0x0eb5
00000eae: DUP5
00000eaf: DUP5
00000eb0: DUP5
00000eb1: PUSH2 0x2a6a
00000eb4: JUMP
00000eb5: JUMPDEST
00000eb6: PUSH2 0x0f68
00000eb9: DUP5
00000eba: CALLER
00000ebb: PUSH2 0x0f63
00000ebe: DUP6
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: DUP1
00000ec3: PUSH1 0x60
00000ec5: ADD
00000ec6: PUSH1 0x40
00000ec8: MSTORE
00000ec9: DUP1
00000eca: PUSH1 0x28
00000ecc: DUP2
00000ecd: MSTORE
00000ece: PUSH1 0x20
00000ed0: ADD
00000ed1: PUSH2 0x4b9e
00000ed4: PUSH1 0x28
00000ed6: SWAP2
00000ed7: CODECOPY
00000ed8: PUSH1 0x05
00000eda: PUSH1 0x00
00000edc: DUP12
00000edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef2: AND
00000ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f08: AND
00000f09: DUP2
00000f0a: MSTORE
00000f0b: PUSH1 0x20
00000f0d: ADD
00000f0e: SWAP1
00000f0f: DUP2
00000f10: MSTORE
00000f11: PUSH1 0x20
00000f13: ADD
00000f14: PUSH1 0x00
00000f16: KECCAK256
00000f17: PUSH1 0x00
00000f19: CALLER
00000f1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2f: AND
00000f30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f45: AND
00000f46: DUP2
00000f47: MSTORE
00000f48: PUSH1 0x20
00000f4a: ADD
00000f4b: SWAP1
00000f4c: DUP2
00000f4d: MSTORE
00000f4e: PUSH1 0x20
00000f50: ADD
00000f51: PUSH1 0x00
00000f53: KECCAK256
00000f54: SLOAD
00000f55: PUSH2 0x2e3f
00000f58: SWAP1
00000f59: SWAP3
00000f5a: SWAP2
00000f5b: SWAP1
00000f5c: PUSH4 0xffffffff
00000f61: AND
00000f62: JUMP
00000f63: JUMPDEST
00000f64: PUSH2 0x2873
00000f67: JUMP
00000f68: JUMPDEST
00000f69: PUSH1 0x01
00000f6b: SWAP1
00000f6c: POP
00000f6d: SWAP4
00000f6e: SWAP3
00000f6f: POP
00000f70: POP
00000f71: POP
00000f72: JUMP
00000f73: JUMPDEST
00000f74: PUSH1 0x00
00000f76: PUSH1 0x0a
00000f78: SLOAD
00000f79: DUP3
00000f7a: GT
00000f7b: ISZERO
00000f7c: PUSH2 0x0fd0
00000f7f: JUMPI
00000f80: PUSH1 0x40
00000f82: MLOAD
00000f83: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fa4: DUP2
00000fa5: MSTORE
00000fa6: PUSH1 0x04
00000fa8: ADD
00000fa9: DUP1
00000faa: DUP1
00000fab: PUSH1 0x20
00000fad: ADD
00000fae: DUP3
00000faf: DUP2
00000fb0: SUB
00000fb1: DUP3
00000fb2: MSTORE
00000fb3: PUSH1 0x29
00000fb5: DUP2
00000fb6: MSTORE
00000fb7: PUSH1 0x20
00000fb9: ADD
00000fba: DUP1
00000fbb: PUSH2 0x4b54
00000fbe: PUSH1 0x29
00000fc0: SWAP2
00000fc1: CODECOPY
00000fc2: PUSH1 0x40
00000fc4: ADD
00000fc5: SWAP2
00000fc6: POP
00000fc7: POP
00000fc8: PUSH1 0x40
00000fca: MLOAD
00000fcb: DUP1
00000fcc: SWAP2
00000fcd: SUB
00000fce: SWAP1
00000fcf: REVERT
00000fd0: JUMPDEST
00000fd1: PUSH1 0x00
00000fd3: PUSH2 0x0fda
00000fd6: PUSH2 0x2eff
00000fd9: JUMP
00000fda: JUMPDEST
00000fdb: SWAP1
00000fdc: POP
00000fdd: PUSH2 0x0fef
00000fe0: DUP2
00000fe1: DUP5
00000fe2: PUSH2 0x2f2a
00000fe5: SWAP1
00000fe6: SWAP2
00000fe7: SWAP1
00000fe8: PUSH4 0xffffffff
00000fed: AND
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: SWAP2
00000ff1: POP
00000ff2: POP
00000ff3: SWAP2
00000ff4: SWAP1
00000ff5: POP
00000ff6: JUMP
00000ff7: JUMPDEST
00000ff8: PUSH1 0x00
00000ffa: PUSH1 0x08
00000ffc: SWAP1
00000ffd: POP
00000ffe: SWAP1
00000fff: JUMP
00001000: JUMPDEST
00001001: CALLER
00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001017: AND
00001018: PUSH1 0x00
0000101a: DUP1
0000101b: SLOAD
0000101c: SWAP1
0000101d: PUSH2 0x0100
00001020: EXP
00001021: SWAP1
00001022: DIV
00001023: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001038: AND
00001039: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104e: AND
0000104f: EQ
00001050: PUSH2 0x10c1
00001053: JUMPI
00001054: PUSH1 0x40
00001056: MLOAD
00001057: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x04
0000107c: ADD
0000107d: DUP1
0000107e: DUP1
0000107f: PUSH1 0x20
00001081: ADD
00001082: DUP3
00001083: DUP2
00001084: SUB
00001085: DUP3
00001086: MSTORE
00001087: PUSH1 0x20
00001089: DUP2
0000108a: MSTORE
0000108b: PUSH1 0x20
0000108d: ADD
0000108e: DUP1
0000108f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000010b0: DUP2
000010b1: MSTORE
000010b2: POP
000010b3: PUSH1 0x20
000010b5: ADD
000010b6: SWAP2
000010b7: POP
000010b8: POP
000010b9: PUSH1 0x40
000010bb: MLOAD
000010bc: DUP1
000010bd: SWAP2
000010be: SUB
000010bf: SWAP1
000010c0: REVERT
000010c1: JUMPDEST
000010c2: PUSH1 0x07
000010c4: PUSH1 0x00
000010c6: DUP3
000010c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010dc: AND
000010dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f2: AND
000010f3: DUP2
000010f4: MSTORE
000010f5: PUSH1 0x20
000010f7: ADD
000010f8: SWAP1
000010f9: DUP2
000010fa: MSTORE
000010fb: PUSH1 0x20
000010fd: ADD
000010fe: PUSH1 0x00
00001100: KECCAK256
00001101: PUSH1 0x00
00001103: SWAP1
00001104: SLOAD
00001105: SWAP1
00001106: PUSH2 0x0100
00001109: EXP
0000110a: SWAP1
0000110b: DIV
0000110c: PUSH1 0xff
0000110e: AND
0000110f: PUSH2 0x1180
00001112: JUMPI
00001113: PUSH1 0x40
00001115: MLOAD
00001116: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001137: DUP2
00001138: MSTORE
00001139: PUSH1 0x04
0000113b: ADD
0000113c: DUP1
0000113d: DUP1
0000113e: PUSH1 0x20
00001140: ADD
00001141: DUP3
00001142: DUP2
00001143: SUB
00001144: DUP3
00001145: MSTORE
00001146: PUSH1 0x17
00001148: DUP2
00001149: MSTORE
0000114a: PUSH1 0x20
0000114c: ADD
0000114d: DUP1
0000114e: PUSH32 0x4163636f756e74206973206e6f74206578636c75646564000000000000000000
0000116f: DUP2
00001170: MSTORE
00001171: POP
00001172: PUSH1 0x20
00001174: ADD
00001175: SWAP2
00001176: POP
00001177: POP
00001178: PUSH1 0x40
0000117a: MLOAD
0000117b: DUP1
0000117c: SWAP2
0000117d: SUB
0000117e: SWAP1
0000117f: REVERT
00001180: JUMPDEST
00001181: PUSH1 0x00
00001183: JUMPDEST
00001184: PUSH2 0x118d
00001187: PUSH1 0x08
00001189: PUSH2 0x2f74
0000118c: JUMP
0000118d: JUMPDEST
0000118e: DUP2
0000118f: LT
00001190: ISZERO
00001191: PUSH2 0x1271
00001194: JUMPI
00001195: PUSH2 0x11a8
00001198: DUP3
00001199: PUSH1 0x08
0000119b: PUSH2 0x2f89
0000119e: SWAP1
0000119f: SWAP2
000011a0: SWAP1
000011a1: PUSH4 0xffffffff
000011a6: AND
000011a7: JUMP
000011a8: JUMPDEST
000011a9: ISZERO
000011aa: PUSH2 0x1264
000011ad: JUMPI
000011ae: PUSH1 0x00
000011b0: PUSH1 0x04
000011b2: PUSH1 0x00
000011b4: DUP5
000011b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ca: AND
000011cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e0: AND
000011e1: DUP2
000011e2: MSTORE
000011e3: PUSH1 0x20
000011e5: ADD
000011e6: SWAP1
000011e7: DUP2
000011e8: MSTORE
000011e9: PUSH1 0x20
000011eb: ADD
000011ec: PUSH1 0x00
000011ee: KECCAK256
000011ef: DUP2
000011f0: SWAP1
000011f1: SSTORE
000011f2: POP
000011f3: PUSH1 0x00
000011f5: PUSH1 0x07
000011f7: PUSH1 0x00
000011f9: DUP5
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: PUSH1 0x00
00001236: PUSH2 0x0100
00001239: EXP
0000123a: DUP2
0000123b: SLOAD
0000123c: DUP2
0000123d: PUSH1 0xff
0000123f: MUL
00001240: NOT
00001241: AND
00001242: SWAP1
00001243: DUP4
00001244: ISZERO
00001245: ISZERO
00001246: MUL
00001247: OR
00001248: SWAP1
00001249: SSTORE
0000124a: POP
0000124b: PUSH2 0x125e
0000124e: DUP3
0000124f: PUSH1 0x08
00001251: PUSH2 0x2fb9
00001254: SWAP1
00001255: SWAP2
00001256: SWAP1
00001257: PUSH4 0xffffffff
0000125c: AND
0000125d: JUMP
0000125e: JUMPDEST
0000125f: POP
00001260: PUSH2 0x1271
00001263: JUMP
00001264: JUMPDEST
00001265: DUP1
00001266: DUP1
00001267: PUSH1 0x01
00001269: ADD
0000126a: SWAP2
0000126b: POP
0000126c: POP
0000126d: PUSH2 0x1183
00001270: JUMP
00001271: JUMPDEST
00001272: POP
00001273: POP
00001274: JUMP
00001275: JUMPDEST
00001276: PUSH1 0x00
00001278: PUSH2 0x1310
0000127b: CALLER
0000127c: DUP5
0000127d: PUSH2 0x130b
00001280: DUP6
00001281: PUSH1 0x05
00001283: PUSH1 0x00
00001285: CALLER
00001286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129b: AND
0000129c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b1: AND
000012b2: DUP2
000012b3: MSTORE
000012b4: PUSH1 0x20
000012b6: ADD
000012b7: SWAP1
000012b8: DUP2
000012b9: MSTORE
000012ba: PUSH1 0x20
000012bc: ADD
000012bd: PUSH1 0x00
000012bf: KECCAK256
000012c0: PUSH1 0x00
000012c2: DUP10
000012c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d8: AND
000012d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ee: AND
000012ef: DUP2
000012f0: MSTORE
000012f1: PUSH1 0x20
000012f3: ADD
000012f4: SWAP1
000012f5: DUP2
000012f6: MSTORE
000012f7: PUSH1 0x20
000012f9: ADD
000012fa: PUSH1 0x00
000012fc: KECCAK256
000012fd: SLOAD
000012fe: PUSH2 0x2fe9
00001301: SWAP1
00001302: SWAP2
00001303: SWAP1
00001304: PUSH4 0xffffffff
00001309: AND
0000130a: JUMP
0000130b: JUMPDEST
0000130c: PUSH2 0x2873
0000130f: JUMP
00001310: JUMPDEST
00001311: PUSH1 0x01
00001313: SWAP1
00001314: POP
00001315: SWAP3
00001316: SWAP2
00001317: POP
00001318: POP
00001319: JUMP
0000131a: JUMPDEST
0000131b: PUSH1 0x0c
0000131d: SLOAD
0000131e: DUP2
0000131f: JUMP
00001320: JUMPDEST
00001321: PUSH1 0x00
00001323: CALLER
00001324: SWAP1
00001325: POP
00001326: PUSH1 0x07
00001328: PUSH1 0x00
0000132a: DUP3
0000132b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001340: AND
00001341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001356: AND
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x20
0000135b: ADD
0000135c: SWAP1
0000135d: DUP2
0000135e: MSTORE
0000135f: PUSH1 0x20
00001361: ADD
00001362: PUSH1 0x00
00001364: KECCAK256
00001365: PUSH1 0x00
00001367: SWAP1
00001368: SLOAD
00001369: SWAP1
0000136a: PUSH2 0x0100
0000136d: EXP
0000136e: SWAP1
0000136f: DIV
00001370: PUSH1 0xff
00001372: AND
00001373: ISZERO
00001374: PUSH2 0x13c8
00001377: JUMPI
00001378: PUSH1 0x40
0000137a: MLOAD
0000137b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x04
000013a0: ADD
000013a1: DUP1
000013a2: DUP1
000013a3: PUSH1 0x20
000013a5: ADD
000013a6: DUP3
000013a7: DUP2
000013a8: SUB
000013a9: DUP3
000013aa: MSTORE
000013ab: PUSH1 0x2c
000013ad: DUP2
000013ae: MSTORE
000013af: PUSH1 0x20
000013b1: ADD
000013b2: DUP1
000013b3: PUSH2 0x4c38
000013b6: PUSH1 0x2c
000013b8: SWAP2
000013b9: CODECOPY
000013ba: PUSH1 0x40
000013bc: ADD
000013bd: SWAP2
000013be: POP
000013bf: POP
000013c0: PUSH1 0x40
000013c2: MLOAD
000013c3: DUP1
000013c4: SWAP2
000013c5: SUB
000013c6: SWAP1
000013c7: REVERT
000013c8: JUMPDEST
000013c9: PUSH1 0x00
000013cb: PUSH2 0x13d3
000013ce: DUP4
000013cf: PUSH2 0x3071
000013d2: JUMP
000013d3: JUMPDEST
000013d4: POP
000013d5: POP
000013d6: POP
000013d7: POP
000013d8: POP
000013d9: SWAP1
000013da: POP
000013db: PUSH2 0x142c
000013de: DUP2
000013df: PUSH1 0x03
000013e1: PUSH1 0x00
000013e3: DUP6
000013e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f9: AND
000013fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140f: AND
00001410: DUP2
00001411: MSTORE
00001412: PUSH1 0x20
00001414: ADD
00001415: SWAP1
00001416: DUP2
00001417: MSTORE
00001418: PUSH1 0x20
0000141a: ADD
0000141b: PUSH1 0x00
0000141d: KECCAK256
0000141e: SLOAD
0000141f: PUSH2 0x30cd
00001422: SWAP1
00001423: SWAP2
00001424: SWAP1
00001425: PUSH4 0xffffffff
0000142a: AND
0000142b: JUMP
0000142c: JUMPDEST
0000142d: PUSH1 0x03
0000142f: PUSH1 0x00
00001431: DUP5
00001432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001447: AND
00001448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145d: AND
0000145e: DUP2
0000145f: MSTORE
00001460: PUSH1 0x20
00001462: ADD
00001463: SWAP1
00001464: DUP2
00001465: MSTORE
00001466: PUSH1 0x20
00001468: ADD
00001469: PUSH1 0x00
0000146b: KECCAK256
0000146c: DUP2
0000146d: SWAP1
0000146e: SSTORE
0000146f: POP
00001470: PUSH2 0x1484
00001473: DUP2
00001474: PUSH1 0x0a
00001476: SLOAD
00001477: PUSH2 0x30cd
0000147a: SWAP1
0000147b: SWAP2
0000147c: SWAP1
0000147d: PUSH4 0xffffffff
00001482: AND
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH1 0x0a
00001487: DUP2
00001488: SWAP1
00001489: SSTORE
0000148a: POP
0000148b: PUSH2 0x149f
0000148e: DUP4
0000148f: PUSH1 0x0b
00001491: SLOAD
00001492: PUSH2 0x2fe9
00001495: SWAP1
00001496: SWAP2
00001497: SWAP1
00001498: PUSH4 0xffffffff
0000149d: AND
0000149e: JUMP
0000149f: JUMPDEST
000014a0: PUSH1 0x0b
000014a2: DUP2
000014a3: SWAP1
000014a4: SSTORE
000014a5: POP
000014a6: POP
000014a7: POP
000014a8: POP
000014a9: JUMP
000014aa: JUMPDEST
000014ab: CALLER
000014ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c1: AND
000014c2: PUSH1 0x00
000014c4: DUP1
000014c5: SLOAD
000014c6: SWAP1
000014c7: PUSH2 0x0100
000014ca: EXP
000014cb: SWAP1
000014cc: DIV
000014cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e2: AND
000014e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f8: AND
000014f9: EQ
000014fa: PUSH2 0x156b
000014fd: JUMPI
000014fe: PUSH1 0x40
00001500: MLOAD
00001501: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001522: DUP2
00001523: MSTORE
00001524: PUSH1 0x04
00001526: ADD
00001527: DUP1
00001528: DUP1
00001529: PUSH1 0x20
0000152b: ADD
0000152c: DUP3
0000152d: DUP2
0000152e: SUB
0000152f: DUP3
00001530: MSTORE
00001531: PUSH1 0x20
00001533: DUP2
00001534: MSTORE
00001535: PUSH1 0x20
00001537: ADD
00001538: DUP1
00001539: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000155a: DUP2
0000155b: MSTORE
0000155c: POP
0000155d: PUSH1 0x20
0000155f: ADD
00001560: SWAP2
00001561: POP
00001562: POP
00001563: PUSH1 0x40
00001565: MLOAD
00001566: DUP1
00001567: SWAP2
00001568: SUB
00001569: SWAP1
0000156a: REVERT
0000156b: JUMPDEST
0000156c: PUSH1 0x01
0000156e: PUSH1 0x06
00001570: PUSH1 0x00
00001572: DUP4
00001573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001588: AND
00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159e: AND
0000159f: DUP2
000015a0: MSTORE
000015a1: PUSH1 0x20
000015a3: ADD
000015a4: SWAP1
000015a5: DUP2
000015a6: MSTORE
000015a7: PUSH1 0x20
000015a9: ADD
000015aa: PUSH1 0x00
000015ac: KECCAK256
000015ad: PUSH1 0x00
000015af: PUSH2 0x0100
000015b2: EXP
000015b3: DUP2
000015b4: SLOAD
000015b5: DUP2
000015b6: PUSH1 0xff
000015b8: MUL
000015b9: NOT
000015ba: AND
000015bb: SWAP1
000015bc: DUP4
000015bd: ISZERO
000015be: ISZERO
000015bf: MUL
000015c0: OR
000015c1: SWAP1
000015c2: SSTORE
000015c3: POP
000015c4: POP
000015c5: JUMP
000015c6: JUMPDEST
000015c7: PUSH1 0x00
000015c9: PUSH9 0x3635c9adc5dea00000
000015d3: DUP4
000015d4: GT
000015d5: ISZERO
000015d6: PUSH2 0x1647
000015d9: JUMPI
000015da: PUSH1 0x40
000015dc: MLOAD
000015dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015fe: DUP2
000015ff: MSTORE
00001600: PUSH1 0x04
00001602: ADD
00001603: DUP1
00001604: DUP1
00001605: PUSH1 0x20
00001607: ADD
00001608: DUP3
00001609: DUP2
0000160a: SUB
0000160b: DUP3
0000160c: MSTORE
0000160d: PUSH1 0x1f
0000160f: DUP2
00001610: MSTORE
00001611: PUSH1 0x20
00001613: ADD
00001614: DUP1
00001615: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20737570706c7900
00001636: DUP2
00001637: MSTORE
00001638: POP
00001639: PUSH1 0x20
0000163b: ADD
0000163c: SWAP2
0000163d: POP
0000163e: POP
0000163f: PUSH1 0x40
00001641: MLOAD
00001642: DUP1
00001643: SWAP2
00001644: SUB
00001645: SWAP1
00001646: REVERT
00001647: JUMPDEST
00001648: DUP2
00001649: PUSH2 0x1667
0000164c: JUMPI
0000164d: PUSH1 0x00
0000164f: PUSH2 0x1657
00001652: DUP5
00001653: PUSH2 0x3071
00001656: JUMP
00001657: JUMPDEST
00001658: POP
00001659: POP
0000165a: POP
0000165b: POP
0000165c: POP
0000165d: SWAP1
0000165e: POP
0000165f: DUP1
00001660: SWAP2
00001661: POP
00001662: POP
00001663: PUSH2 0x167e
00001666: JUMP
00001667: JUMPDEST
00001668: PUSH1 0x00
0000166a: PUSH2 0x1672
0000166d: DUP5
0000166e: PUSH2 0x3071
00001671: JUMP
00001672: JUMPDEST
00001673: POP
00001674: POP
00001675: POP
00001676: POP
00001677: SWAP2
00001678: POP
00001679: POP
0000167a: DUP1
0000167b: SWAP2
0000167c: POP
0000167d: POP
0000167e: JUMPDEST
0000167f: SWAP3
00001680: SWAP2
00001681: POP
00001682: POP
00001683: JUMP
00001684: JUMPDEST
00001685: PUSH1 0x11
00001687: PUSH1 0x00
00001689: SWAP1
0000168a: SLOAD
0000168b: SWAP1
0000168c: PUSH2 0x0100
0000168f: EXP
00001690: SWAP1
00001691: DIV
00001692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a7: AND
000016a8: DUP2
000016a9: JUMP
000016aa: JUMPDEST
000016ab: PUSH1 0x11
000016ad: PUSH1 0x15
000016af: SWAP1
000016b0: SLOAD
000016b1: SWAP1
000016b2: PUSH2 0x0100
000016b5: EXP
000016b6: SWAP1
000016b7: DIV
000016b8: PUSH1 0xff
000016ba: AND
000016bb: DUP2
000016bc: JUMP
000016bd: JUMPDEST
000016be: CALLER
000016bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d4: AND
000016d5: PUSH1 0x00
000016d7: DUP1
000016d8: SLOAD
000016d9: SWAP1
000016da: PUSH2 0x0100
000016dd: EXP
000016de: SWAP1
000016df: DIV
000016e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f5: AND
000016f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170b: AND
0000170c: EQ
0000170d: PUSH2 0x177e
00001710: JUMPI
00001711: PUSH1 0x40
00001713: MLOAD
00001714: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001735: DUP2
00001736: MSTORE
00001737: PUSH1 0x04
00001739: ADD
0000173a: DUP1
0000173b: DUP1
0000173c: PUSH1 0x20
0000173e: ADD
0000173f: DUP3
00001740: DUP2
00001741: SUB
00001742: DUP3
00001743: MSTORE
00001744: PUSH1 0x20
00001746: DUP2
00001747: MSTORE
00001748: PUSH1 0x20
0000174a: ADD
0000174b: DUP1
0000174c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000176d: DUP2
0000176e: MSTORE
0000176f: POP
00001770: PUSH1 0x20
00001772: ADD
00001773: SWAP2
00001774: POP
00001775: POP
00001776: PUSH1 0x40
00001778: MLOAD
00001779: DUP1
0000177a: SWAP2
0000177b: SUB
0000177c: SWAP1
0000177d: REVERT
0000177e: JUMPDEST
0000177f: PUSH1 0x07
00001781: PUSH1 0x00
00001783: DUP3
00001784: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001799: AND
0000179a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017af: AND
000017b0: DUP2
000017b1: MSTORE
000017b2: PUSH1 0x20
000017b4: ADD
000017b5: SWAP1
000017b6: DUP2
000017b7: MSTORE
000017b8: PUSH1 0x20
000017ba: ADD
000017bb: PUSH1 0x00
000017bd: KECCAK256
000017be: PUSH1 0x00
000017c0: SWAP1
000017c1: SLOAD
000017c2: SWAP1
000017c3: PUSH2 0x0100
000017c6: EXP
000017c7: SWAP1
000017c8: DIV
000017c9: PUSH1 0xff
000017cb: AND
000017cc: ISZERO
000017cd: PUSH2 0x183e
000017d0: JUMPI
000017d1: PUSH1 0x40
000017d3: MLOAD
000017d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017f5: DUP2
000017f6: MSTORE
000017f7: PUSH1 0x04
000017f9: ADD
000017fa: DUP1
000017fb: DUP1
000017fc: PUSH1 0x20
000017fe: ADD
000017ff: DUP3
00001800: DUP2
00001801: SUB
00001802: DUP3
00001803: MSTORE
00001804: PUSH1 0x1b
00001806: DUP2
00001807: MSTORE
00001808: PUSH1 0x20
0000180a: ADD
0000180b: DUP1
0000180c: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
0000182d: DUP2
0000182e: MSTORE
0000182f: POP
00001830: PUSH1 0x20
00001832: ADD
00001833: SWAP2
00001834: POP
00001835: POP
00001836: PUSH1 0x40
00001838: MLOAD
00001839: DUP1
0000183a: SWAP2
0000183b: SUB
0000183c: SWAP1
0000183d: REVERT
0000183e: JUMPDEST
0000183f: PUSH1 0x00
00001841: PUSH1 0x03
00001843: PUSH1 0x00
00001845: DUP4
00001846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185b: AND
0000185c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001871: AND
00001872: DUP2
00001873: MSTORE
00001874: PUSH1 0x20
00001876: ADD
00001877: SWAP1
00001878: DUP2
00001879: MSTORE
0000187a: PUSH1 0x20
0000187c: ADD
0000187d: PUSH1 0x00
0000187f: KECCAK256
00001880: SLOAD
00001881: GT
00001882: ISZERO
00001883: PUSH2 0x1912
00001886: JUMPI
00001887: PUSH2 0x18ce
0000188a: PUSH1 0x03
0000188c: PUSH1 0x00
0000188e: DUP4
0000188f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a4: AND
000018a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ba: AND
000018bb: DUP2
000018bc: MSTORE
000018bd: PUSH1 0x20
000018bf: ADD
000018c0: SWAP1
000018c1: DUP2
000018c2: MSTORE
000018c3: PUSH1 0x20
000018c5: ADD
000018c6: PUSH1 0x00
000018c8: KECCAK256
000018c9: SLOAD
000018ca: PUSH2 0x0f73
000018cd: JUMP
000018ce: JUMPDEST
000018cf: PUSH1 0x04
000018d1: PUSH1 0x00
000018d3: DUP4
000018d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e9: AND
000018ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ff: AND
00001900: DUP2
00001901: MSTORE
00001902: PUSH1 0x20
00001904: ADD
00001905: SWAP1
00001906: DUP2
00001907: MSTORE
00001908: PUSH1 0x20
0000190a: ADD
0000190b: PUSH1 0x00
0000190d: KECCAK256
0000190e: DUP2
0000190f: SWAP1
00001910: SSTORE
00001911: POP
00001912: JUMPDEST
00001913: PUSH1 0x01
00001915: PUSH1 0x07
00001917: PUSH1 0x00
00001919: DUP4
0000191a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192f: AND
00001930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001945: AND
00001946: DUP2
00001947: MSTORE
00001948: PUSH1 0x20
0000194a: ADD
0000194b: SWAP1
0000194c: DUP2
0000194d: MSTORE
0000194e: PUSH1 0x20
00001950: ADD
00001951: PUSH1 0x00
00001953: KECCAK256
00001954: PUSH1 0x00
00001956: PUSH2 0x0100
00001959: EXP
0000195a: DUP2
0000195b: SLOAD
0000195c: DUP2
0000195d: PUSH1 0xff
0000195f: MUL
00001960: NOT
00001961: AND
00001962: SWAP1
00001963: DUP4
00001964: ISZERO
00001965: ISZERO
00001966: MUL
00001967: OR
00001968: SWAP1
00001969: SSTORE
0000196a: POP
0000196b: PUSH2 0x197e
0000196e: DUP2
0000196f: PUSH1 0x08
00001971: PUSH2 0x3117
00001974: SWAP1
00001975: SWAP2
00001976: SWAP1
00001977: PUSH4 0xffffffff
0000197c: AND
0000197d: JUMP
0000197e: JUMPDEST
0000197f: POP
00001980: POP
00001981: JUMP
00001982: JUMPDEST
00001983: PUSH1 0x00
00001985: PUSH1 0x06
00001987: PUSH1 0x00
00001989: DUP4
0000198a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199f: AND
000019a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b5: AND
000019b6: DUP2
000019b7: MSTORE
000019b8: PUSH1 0x20
000019ba: ADD
000019bb: SWAP1
000019bc: DUP2
000019bd: MSTORE
000019be: PUSH1 0x20
000019c0: ADD
000019c1: PUSH1 0x00
000019c3: KECCAK256
000019c4: PUSH1 0x00
000019c6: SWAP1
000019c7: SLOAD
000019c8: SWAP1
000019c9: PUSH2 0x0100
000019cc: EXP
000019cd: SWAP1
000019ce: DIV
000019cf: PUSH1 0xff
000019d1: AND
000019d2: SWAP1
000019d3: POP
000019d4: SWAP2
000019d5: SWAP1
000019d6: POP
000019d7: JUMP
000019d8: JUMPDEST
000019d9: PUSH1 0x0e
000019db: SLOAD
000019dc: DUP2
000019dd: JUMP
000019de: JUMPDEST
000019df: PUSH1 0x00
000019e1: PUSH1 0x07
000019e3: PUSH1 0x00
000019e5: DUP4
000019e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fb: AND
000019fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a11: AND
00001a12: DUP2
00001a13: MSTORE
00001a14: PUSH1 0x20
00001a16: ADD
00001a17: SWAP1
00001a18: DUP2
00001a19: MSTORE
00001a1a: PUSH1 0x20
00001a1c: ADD
00001a1d: PUSH1 0x00
00001a1f: KECCAK256
00001a20: PUSH1 0x00
00001a22: SWAP1
00001a23: SLOAD
00001a24: SWAP1
00001a25: PUSH2 0x0100
00001a28: EXP
00001a29: SWAP1
00001a2a: DIV
00001a2b: PUSH1 0xff
00001a2d: AND
00001a2e: ISZERO
00001a2f: PUSH2 0x1a79
00001a32: JUMPI
00001a33: PUSH1 0x04
00001a35: PUSH1 0x00
00001a37: DUP4
00001a38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4d: AND
00001a4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a63: AND
00001a64: DUP2
00001a65: MSTORE
00001a66: PUSH1 0x20
00001a68: ADD
00001a69: SWAP1
00001a6a: DUP2
00001a6b: MSTORE
00001a6c: PUSH1 0x20
00001a6e: ADD
00001a6f: PUSH1 0x00
00001a71: KECCAK256
00001a72: SLOAD
00001a73: SWAP1
00001a74: POP
00001a75: PUSH2 0x1ac4
00001a78: JUMP
00001a79: JUMPDEST
00001a7a: PUSH2 0x1ac1
00001a7d: PUSH1 0x03
00001a7f: PUSH1 0x00
00001a81: DUP5
00001a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a97: AND
00001a98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aad: AND
00001aae: DUP2
00001aaf: MSTORE
00001ab0: PUSH1 0x20
00001ab2: ADD
00001ab3: SWAP1
00001ab4: DUP2
00001ab5: MSTORE
00001ab6: PUSH1 0x20
00001ab8: ADD
00001ab9: PUSH1 0x00
00001abb: KECCAK256
00001abc: SLOAD
00001abd: PUSH2 0x0f73
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: SWAP1
00001ac3: POP
00001ac4: JUMPDEST
00001ac5: SWAP2
00001ac6: SWAP1
00001ac7: POP
00001ac8: JUMP
00001ac9: JUMPDEST
00001aca: CALLER
00001acb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae0: AND
00001ae1: PUSH1 0x00
00001ae3: DUP1
00001ae4: SLOAD
00001ae5: SWAP1
00001ae6: PUSH2 0x0100
00001ae9: EXP
00001aea: SWAP1
00001aeb: DIV
00001aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b01: AND
00001b02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b17: AND
00001b18: EQ
00001b19: PUSH2 0x1b8a
00001b1c: JUMPI
00001b1d: PUSH1 0x40
00001b1f: MLOAD
00001b20: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b41: DUP2
00001b42: MSTORE
00001b43: PUSH1 0x04
00001b45: ADD
00001b46: DUP1
00001b47: DUP1
00001b48: PUSH1 0x20
00001b4a: ADD
00001b4b: DUP3
00001b4c: DUP2
00001b4d: SUB
00001b4e: DUP3
00001b4f: MSTORE
00001b50: PUSH1 0x20
00001b52: DUP2
00001b53: MSTORE
00001b54: PUSH1 0x20
00001b56: ADD
00001b57: DUP1
00001b58: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001b79: DUP2
00001b7a: MSTORE
00001b7b: POP
00001b7c: PUSH1 0x20
00001b7e: ADD
00001b7f: SWAP2
00001b80: POP
00001b81: POP
00001b82: PUSH1 0x40
00001b84: MLOAD
00001b85: DUP1
00001b86: SWAP2
00001b87: SUB
00001b88: SWAP1
00001b89: REVERT
00001b8a: JUMPDEST
00001b8b: PUSH1 0x00
00001b8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba2: AND
00001ba3: PUSH1 0x00
00001ba5: DUP1
00001ba6: SLOAD
00001ba7: SWAP1
00001ba8: PUSH2 0x0100
00001bab: EXP
00001bac: SWAP1
00001bad: DIV
00001bae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc3: AND
00001bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd9: AND
00001bda: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001bfb: PUSH1 0x40
00001bfd: MLOAD
00001bfe: PUSH1 0x40
00001c00: MLOAD
00001c01: DUP1
00001c02: SWAP2
00001c03: SUB
00001c04: SWAP1
00001c05: LOG3
00001c06: PUSH1 0x00
00001c08: DUP1
00001c09: PUSH1 0x00
00001c0b: PUSH2 0x0100
00001c0e: EXP
00001c0f: DUP2
00001c10: SLOAD
00001c11: DUP2
00001c12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c27: MUL
00001c28: NOT
00001c29: AND
00001c2a: SWAP1
00001c2b: DUP4
00001c2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c41: AND
00001c42: MUL
00001c43: OR
00001c44: SWAP1
00001c45: SSTORE
00001c46: POP
00001c47: JUMP
00001c48: JUMPDEST
00001c49: PUSH1 0x12
00001c4b: SLOAD
00001c4c: DUP2
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: PUSH1 0x00
00001c51: PUSH1 0x07
00001c53: PUSH1 0x00
00001c55: DUP4
00001c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6b: AND
00001c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c81: AND
00001c82: DUP2
00001c83: MSTORE
00001c84: PUSH1 0x20
00001c86: ADD
00001c87: SWAP1
00001c88: DUP2
00001c89: MSTORE
00001c8a: PUSH1 0x20
00001c8c: ADD
00001c8d: PUSH1 0x00
00001c8f: KECCAK256
00001c90: PUSH1 0x00
00001c92: SWAP1
00001c93: SLOAD
00001c94: SWAP1
00001c95: PUSH2 0x0100
00001c98: EXP
00001c99: SWAP1
00001c9a: DIV
00001c9b: PUSH1 0xff
00001c9d: AND
00001c9e: SWAP1
00001c9f: POP
00001ca0: SWAP2
00001ca1: SWAP1
00001ca2: POP
00001ca3: JUMP
00001ca4: JUMPDEST
00001ca5: PUSH1 0x00
00001ca7: DUP1
00001ca8: PUSH1 0x00
00001caa: SWAP1
00001cab: SLOAD
00001cac: SWAP1
00001cad: PUSH2 0x0100
00001cb0: EXP
00001cb1: SWAP1
00001cb2: DIV
00001cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc8: AND
00001cc9: SWAP1
00001cca: POP
00001ccb: SWAP1
00001ccc: JUMP
00001ccd: JUMPDEST
00001cce: CALLER
00001ccf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce4: AND
00001ce5: PUSH1 0x00
00001ce7: DUP1
00001ce8: SLOAD
00001ce9: SWAP1
00001cea: PUSH2 0x0100
00001ced: EXP
00001cee: SWAP1
00001cef: DIV
00001cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d05: AND
00001d06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d1b: AND
00001d1c: EQ
00001d1d: PUSH2 0x1d8e
00001d20: JUMPI
00001d21: PUSH1 0x40
00001d23: MLOAD
00001d24: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d45: DUP2
00001d46: MSTORE
00001d47: PUSH1 0x04
00001d49: ADD
00001d4a: DUP1
00001d4b: DUP1
00001d4c: PUSH1 0x20
00001d4e: ADD
00001d4f: DUP3
00001d50: DUP2
00001d51: SUB
00001d52: DUP3
00001d53: MSTORE
00001d54: PUSH1 0x20
00001d56: DUP2
00001d57: MSTORE
00001d58: PUSH1 0x20
00001d5a: ADD
00001d5b: DUP1
00001d5c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001d7d: DUP2
00001d7e: MSTORE
00001d7f: POP
00001d80: PUSH1 0x20
00001d82: ADD
00001d83: SWAP2
00001d84: POP
00001d85: POP
00001d86: PUSH1 0x40
00001d88: MLOAD
00001d89: DUP1
00001d8a: SWAP2
00001d8b: SUB
00001d8c: SWAP1
00001d8d: REVERT
00001d8e: JUMPDEST
00001d8f: DUP1
00001d90: PUSH1 0x0e
00001d92: DUP2
00001d93: SWAP1
00001d94: SSTORE
00001d95: POP
00001d96: POP
00001d97: JUMP
00001d98: JUMPDEST
00001d99: PUSH1 0x60
00001d9b: PUSH1 0x40
00001d9d: MLOAD
00001d9e: DUP1
00001d9f: PUSH1 0x40
00001da1: ADD
00001da2: PUSH1 0x40
00001da4: MSTORE
00001da5: DUP1
00001da6: PUSH1 0x07
00001da8: DUP2
00001da9: MSTORE
00001daa: PUSH1 0x20
00001dac: ADD
00001dad: PUSH32 0x42534f4349414c00000000000000000000000000000000000000000000000000
00001dce: DUP2
00001dcf: MSTORE
00001dd0: POP
00001dd1: SWAP1
00001dd2: POP
00001dd3: SWAP1
00001dd4: JUMP
00001dd5: JUMPDEST
00001dd6: PUSH1 0x00
00001dd8: PUSH2 0x1e8a
00001ddb: CALLER
00001ddc: DUP5
00001ddd: PUSH2 0x1e85
00001de0: DUP6
00001de1: PUSH1 0x40
00001de3: MLOAD
00001de4: DUP1
00001de5: PUSH1 0x60
00001de7: ADD
00001de8: PUSH1 0x40
00001dea: MSTORE
00001deb: DUP1
00001dec: PUSH1 0x25
00001dee: DUP2
00001def: MSTORE
00001df0: PUSH1 0x20
00001df2: ADD
00001df3: PUSH2 0x4c87
00001df6: PUSH1 0x25
00001df8: SWAP2
00001df9: CODECOPY
00001dfa: PUSH1 0x05
00001dfc: PUSH1 0x00
00001dfe: CALLER
00001dff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e14: AND
00001e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2a: AND
00001e2b: DUP2
00001e2c: MSTORE
00001e2d: PUSH1 0x20
00001e2f: ADD
00001e30: SWAP1
00001e31: DUP2
00001e32: MSTORE
00001e33: PUSH1 0x20
00001e35: ADD
00001e36: PUSH1 0x00
00001e38: KECCAK256
00001e39: PUSH1 0x00
00001e3b: DUP11
00001e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e51: AND
00001e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e67: AND
00001e68: DUP2
00001e69: MSTORE
00001e6a: PUSH1 0x20
00001e6c: ADD
00001e6d: SWAP1
00001e6e: DUP2
00001e6f: MSTORE
00001e70: PUSH1 0x20
00001e72: ADD
00001e73: PUSH1 0x00
00001e75: KECCAK256
00001e76: SLOAD
00001e77: PUSH2 0x2e3f
00001e7a: SWAP1
00001e7b: SWAP3
00001e7c: SWAP2
00001e7d: SWAP1
00001e7e: PUSH4 0xffffffff
00001e83: AND
00001e84: JUMP
00001e85: JUMPDEST
00001e86: PUSH2 0x2873
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: PUSH1 0x01
00001e8d: SWAP1
00001e8e: POP
00001e8f: SWAP3
00001e90: SWAP2
00001e91: POP
00001e92: POP
00001e93: JUMP
00001e94: JUMPDEST
00001e95: CALLER
00001e96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eab: AND
00001eac: PUSH1 0x01
00001eae: PUSH1 0x00
00001eb0: SWAP1
00001eb1: SLOAD
00001eb2: SWAP1
00001eb3: PUSH2 0x0100
00001eb6: EXP
00001eb7: SWAP1
00001eb8: DIV
00001eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ece: AND
00001ecf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee4: AND
00001ee5: EQ
00001ee6: PUSH2 0x1f3a
00001ee9: JUMPI
00001eea: PUSH1 0x40
00001eec: MLOAD
00001eed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f0e: DUP2
00001f0f: MSTORE
00001f10: PUSH1 0x04
00001f12: ADD
00001f13: DUP1
00001f14: DUP1
00001f15: PUSH1 0x20
00001f17: ADD
00001f18: DUP3
00001f19: DUP2
00001f1a: SUB
00001f1b: DUP3
00001f1c: MSTORE
00001f1d: PUSH1 0x23
00001f1f: DUP2
00001f20: MSTORE
00001f21: PUSH1 0x20
00001f23: ADD
00001f24: DUP1
00001f25: PUSH2 0x4c64
00001f28: PUSH1 0x23
00001f2a: SWAP2
00001f2b: CODECOPY
00001f2c: PUSH1 0x40
00001f2e: ADD
00001f2f: SWAP2
00001f30: POP
00001f31: POP
00001f32: PUSH1 0x40
00001f34: MLOAD
00001f35: DUP1
00001f36: SWAP2
00001f37: SUB
00001f38: SWAP1
00001f39: REVERT
00001f3a: JUMPDEST
00001f3b: PUSH1 0x02
00001f3d: SLOAD
00001f3e: TIMESTAMP
00001f3f: GT
00001f40: PUSH2 0x1fb1
00001f43: JUMPI
00001f44: PUSH1 0x40
00001f46: MLOAD
00001f47: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f68: DUP2
00001f69: MSTORE
00001f6a: PUSH1 0x04
00001f6c: ADD
00001f6d: DUP1
00001f6e: DUP1
00001f6f: PUSH1 0x20
00001f71: ADD
00001f72: DUP3
00001f73: DUP2
00001f74: SUB
00001f75: DUP3
00001f76: MSTORE
00001f77: PUSH1 0x1d
00001f79: DUP2
00001f7a: MSTORE
00001f7b: PUSH1 0x20
00001f7d: ADD
00001f7e: DUP1
00001f7f: PUSH32 0x436f6e7472616374206973206c6f636b656420666f7220372064617973000000
00001fa0: DUP2
00001fa1: MSTORE
00001fa2: POP
00001fa3: PUSH1 0x20
00001fa5: ADD
00001fa6: SWAP2
00001fa7: POP
00001fa8: POP
00001fa9: PUSH1 0x40
00001fab: MLOAD
00001fac: DUP1
00001fad: SWAP2
00001fae: SUB
00001faf: SWAP1
00001fb0: REVERT
00001fb1: JUMPDEST
00001fb2: PUSH1 0x01
00001fb4: PUSH1 0x00
00001fb6: SWAP1
00001fb7: SLOAD
00001fb8: SWAP1
00001fb9: PUSH2 0x0100
00001fbc: EXP
00001fbd: SWAP1
00001fbe: DIV
00001fbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd4: AND
00001fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fea: AND
00001feb: PUSH1 0x00
00001fed: DUP1
00001fee: SLOAD
00001fef: SWAP1
00001ff0: PUSH2 0x0100
00001ff3: EXP
00001ff4: SWAP1
00001ff5: DIV
00001ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200b: AND
0000200c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002021: AND
00002022: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002043: PUSH1 0x40
00002045: MLOAD
00002046: PUSH1 0x40
00002048: MLOAD
00002049: DUP1
0000204a: SWAP2
0000204b: SUB
0000204c: SWAP1
0000204d: LOG3
0000204e: PUSH1 0x01
00002050: PUSH1 0x00
00002052: SWAP1
00002053: SLOAD
00002054: SWAP1
00002055: PUSH2 0x0100
00002058: EXP
00002059: SWAP1
0000205a: DIV
0000205b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002070: AND
00002071: PUSH1 0x00
00002073: DUP1
00002074: PUSH2 0x0100
00002077: EXP
00002078: DUP2
00002079: SLOAD
0000207a: DUP2
0000207b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002090: MUL
00002091: NOT
00002092: AND
00002093: SWAP1
00002094: DUP4
00002095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020aa: AND
000020ab: MUL
000020ac: OR
000020ad: SWAP1
000020ae: SSTORE
000020af: POP
000020b0: JUMP
000020b1: JUMPDEST
000020b2: PUSH1 0x00
000020b4: PUSH2 0x20be
000020b7: CALLER
000020b8: DUP5
000020b9: DUP5
000020ba: PUSH2 0x2a6a
000020bd: JUMP
000020be: JUMPDEST
000020bf: PUSH1 0x01
000020c1: SWAP1
000020c2: POP
000020c3: SWAP3
000020c4: SWAP2
000020c5: POP
000020c6: POP
000020c7: JUMP
000020c8: JUMPDEST
000020c9: PUSH1 0x00
000020cb: PUSH1 0x02
000020cd: SLOAD
000020ce: SWAP1
000020cf: POP
000020d0: SWAP1
000020d1: JUMP
000020d2: JUMPDEST
000020d3: CALLER
000020d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e9: AND
000020ea: PUSH1 0x00
000020ec: DUP1
000020ed: SLOAD
000020ee: SWAP1
000020ef: PUSH2 0x0100
000020f2: EXP
000020f3: SWAP1
000020f4: DIV
000020f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000210a: AND
0000210b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002120: AND
00002121: EQ
00002122: PUSH2 0x2193
00002125: JUMPI
00002126: PUSH1 0x40
00002128: MLOAD
00002129: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000214a: DUP2
0000214b: MSTORE
0000214c: PUSH1 0x04
0000214e: ADD
0000214f: DUP1
00002150: DUP1
00002151: PUSH1 0x20
00002153: ADD
00002154: DUP3
00002155: DUP2
00002156: SUB
00002157: DUP3
00002158: MSTORE
00002159: PUSH1 0x20
0000215b: DUP2
0000215c: MSTORE
0000215d: PUSH1 0x20
0000215f: ADD
00002160: DUP1
00002161: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002182: DUP2
00002183: MSTORE
00002184: POP
00002185: PUSH1 0x20
00002187: ADD
00002188: SWAP2
00002189: POP
0000218a: POP
0000218b: PUSH1 0x40
0000218d: MLOAD
0000218e: DUP1
0000218f: SWAP2
00002190: SUB
00002191: SWAP1
00002192: REVERT
00002193: JUMPDEST
00002194: DUP1
00002195: PUSH1 0x11
00002197: PUSH1 0x15
00002199: PUSH2 0x0100
0000219c: EXP
0000219d: DUP2
0000219e: SLOAD
0000219f: DUP2
000021a0: PUSH1 0xff
000021a2: MUL
000021a3: NOT
000021a4: AND
000021a5: SWAP1
000021a6: DUP4
000021a7: ISZERO
000021a8: ISZERO
000021a9: MUL
000021aa: OR
000021ab: SWAP1
000021ac: SSTORE
000021ad: POP
000021ae: PUSH32 0x53726dfcaf90650aa7eb35524f4d3220f07413c8d6cb404cc8c18bf5591bc159
000021cf: DUP2
000021d0: PUSH1 0x40
000021d2: MLOAD
000021d3: DUP1
000021d4: DUP3
000021d5: ISZERO
000021d6: ISZERO
000021d7: DUP2
000021d8: MSTORE
000021d9: PUSH1 0x20
000021db: ADD
000021dc: SWAP2
000021dd: POP
000021de: POP
000021df: PUSH1 0x40
000021e1: MLOAD
000021e2: DUP1
000021e3: SWAP2
000021e4: SUB
000021e5: SWAP1
000021e6: LOG1
000021e7: POP
000021e8: JUMP
000021e9: JUMPDEST
000021ea: CALLER
000021eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002200: AND
00002201: PUSH1 0x00
00002203: DUP1
00002204: SLOAD
00002205: SWAP1
00002206: PUSH2 0x0100
00002209: EXP
0000220a: SWAP1
0000220b: DIV
0000220c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002221: AND
00002222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002237: AND
00002238: EQ
00002239: PUSH2 0x22aa
0000223c: JUMPI
0000223d: PUSH1 0x40
0000223f: MLOAD
00002240: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002261: DUP2
00002262: MSTORE
00002263: PUSH1 0x04
00002265: ADD
00002266: DUP1
00002267: DUP1
00002268: PUSH1 0x20
0000226a: ADD
0000226b: DUP3
0000226c: DUP2
0000226d: SUB
0000226e: DUP3
0000226f: MSTORE
00002270: PUSH1 0x20
00002272: DUP2
00002273: MSTORE
00002274: PUSH1 0x20
00002276: ADD
00002277: DUP1
00002278: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002299: DUP2
0000229a: MSTORE
0000229b: POP
0000229c: PUSH1 0x20
0000229e: ADD
0000229f: SWAP2
000022a0: POP
000022a1: POP
000022a2: PUSH1 0x40
000022a4: MLOAD
000022a5: DUP1
000022a6: SWAP2
000022a7: SUB
000022a8: SWAP1
000022a9: REVERT
000022aa: JUMPDEST
000022ab: PUSH2 0x22d9
000022ae: PUSH1 0x64
000022b0: PUSH2 0x22cb
000022b3: DUP4
000022b4: PUSH9 0x3635c9adc5dea00000
000022be: PUSH2 0x3147
000022c1: SWAP1
000022c2: SWAP2
000022c3: SWAP1
000022c4: PUSH4 0xffffffff
000022c9: AND
000022ca: JUMP
000022cb: JUMPDEST
000022cc: PUSH2 0x2f2a
000022cf: SWAP1
000022d0: SWAP2
000022d1: SWAP1
000022d2: PUSH4 0xffffffff
000022d7: AND
000022d8: JUMP
000022d9: JUMPDEST
000022da: PUSH1 0x12
000022dc: DUP2
000022dd: SWAP1
000022de: SSTORE
000022df: POP
000022e0: POP
000022e1: JUMP
000022e2: JUMPDEST
000022e3: CALLER
000022e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f9: AND
000022fa: PUSH1 0x00
000022fc: DUP1
000022fd: SLOAD
000022fe: SWAP1
000022ff: PUSH2 0x0100
00002302: EXP
00002303: SWAP1
00002304: DIV
00002305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231a: AND
0000231b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002330: AND
00002331: EQ
00002332: PUSH2 0x23a3
00002335: JUMPI
00002336: PUSH1 0x40
00002338: MLOAD
00002339: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000235a: DUP2
0000235b: MSTORE
0000235c: PUSH1 0x04
0000235e: ADD
0000235f: DUP1
00002360: DUP1
00002361: PUSH1 0x20
00002363: ADD
00002364: DUP3
00002365: DUP2
00002366: SUB
00002367: DUP3
00002368: MSTORE
00002369: PUSH1 0x20
0000236b: DUP2
0000236c: MSTORE
0000236d: PUSH1 0x20
0000236f: ADD
00002370: DUP1
00002371: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002392: DUP2
00002393: MSTORE
00002394: POP
00002395: PUSH1 0x20
00002397: ADD
00002398: SWAP2
00002399: POP
0000239a: POP
0000239b: PUSH1 0x40
0000239d: MLOAD
0000239e: DUP1
0000239f: SWAP2
000023a0: SUB
000023a1: SWAP1
000023a2: REVERT
000023a3: JUMPDEST
000023a4: PUSH1 0x00
000023a6: DUP1
000023a7: SLOAD
000023a8: SWAP1
000023a9: PUSH2 0x0100
000023ac: EXP
000023ad: SWAP1
000023ae: DIV
000023af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023c4: AND
000023c5: PUSH1 0x01
000023c7: PUSH1 0x00
000023c9: PUSH2 0x0100
000023cc: EXP
000023cd: DUP2
000023ce: SLOAD
000023cf: DUP2
000023d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023e5: MUL
000023e6: NOT
000023e7: AND
000023e8: SWAP1
000023e9: DUP4
000023ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ff: AND
00002400: MUL
00002401: OR
00002402: SWAP1
00002403: SSTORE
00002404: POP
00002405: PUSH1 0x00
00002407: DUP1
00002408: PUSH1 0x00
0000240a: PUSH2 0x0100
0000240d: EXP
0000240e: DUP2
0000240f: SLOAD
00002410: DUP2
00002411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002426: MUL
00002427: NOT
00002428: AND
00002429: SWAP1
0000242a: DUP4
0000242b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002440: AND
00002441: MUL
00002442: OR
00002443: SWAP1
00002444: SSTORE
00002445: POP
00002446: DUP1
00002447: TIMESTAMP
00002448: ADD
00002449: PUSH1 0x02
0000244b: DUP2
0000244c: SWAP1
0000244d: SSTORE
0000244e: POP
0000244f: PUSH1 0x00
00002451: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002466: AND
00002467: PUSH1 0x00
00002469: DUP1
0000246a: SLOAD
0000246b: SWAP1
0000246c: PUSH2 0x0100
0000246f: EXP
00002470: SWAP1
00002471: DIV
00002472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002487: AND
00002488: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000249d: AND
0000249e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000024bf: PUSH1 0x40
000024c1: MLOAD
000024c2: PUSH1 0x40
000024c4: MLOAD
000024c5: DUP1
000024c6: SWAP2
000024c7: SUB
000024c8: SWAP1
000024c9: LOG3
000024ca: POP
000024cb: JUMP
000024cc: JUMPDEST
000024cd: PUSH1 0x00
000024cf: PUSH1 0x05
000024d1: PUSH1 0x00
000024d3: DUP5
000024d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e9: AND
000024ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ff: AND
00002500: DUP2
00002501: MSTORE
00002502: PUSH1 0x20
00002504: ADD
00002505: SWAP1
00002506: DUP2
00002507: MSTORE
00002508: PUSH1 0x20
0000250a: ADD
0000250b: PUSH1 0x00
0000250d: KECCAK256
0000250e: PUSH1 0x00
00002510: DUP4
00002511: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002526: AND
00002527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000253c: AND
0000253d: DUP2
0000253e: MSTORE
0000253f: PUSH1 0x20
00002541: ADD
00002542: SWAP1
00002543: DUP2
00002544: MSTORE
00002545: PUSH1 0x20
00002547: ADD
00002548: PUSH1 0x00
0000254a: KECCAK256
0000254b: SLOAD
0000254c: SWAP1
0000254d: POP
0000254e: SWAP3
0000254f: SWAP2
00002550: POP
00002551: POP
00002552: JUMP
00002553: JUMPDEST
00002554: CALLER
00002555: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000256a: AND
0000256b: PUSH1 0x00
0000256d: DUP1
0000256e: SLOAD
0000256f: SWAP1
00002570: PUSH2 0x0100
00002573: EXP
00002574: SWAP1
00002575: DIV
00002576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000258b: AND
0000258c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a1: AND
000025a2: EQ
000025a3: PUSH2 0x2614
000025a6: JUMPI
000025a7: PUSH1 0x40
000025a9: MLOAD
000025aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025cb: DUP2
000025cc: MSTORE
000025cd: PUSH1 0x04
000025cf: ADD
000025d0: DUP1
000025d1: DUP1
000025d2: PUSH1 0x20
000025d4: ADD
000025d5: DUP3
000025d6: DUP2
000025d7: SUB
000025d8: DUP3
000025d9: MSTORE
000025da: PUSH1 0x20
000025dc: DUP2
000025dd: MSTORE
000025de: PUSH1 0x20
000025e0: ADD
000025e1: DUP1
000025e2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002603: DUP2
00002604: MSTORE
00002605: POP
00002606: PUSH1 0x20
00002608: ADD
00002609: SWAP2
0000260a: POP
0000260b: POP
0000260c: PUSH1 0x40
0000260e: MLOAD
0000260f: DUP1
00002610: SWAP2
00002611: SUB
00002612: SWAP1
00002613: REVERT
00002614: JUMPDEST
00002615: PUSH1 0x00
00002617: PUSH1 0x06
00002619: PUSH1 0x00
0000261b: DUP4
0000261c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002631: AND
00002632: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002647: AND
00002648: DUP2
00002649: MSTORE
0000264a: PUSH1 0x20
0000264c: ADD
0000264d: SWAP1
0000264e: DUP2
0000264f: MSTORE
00002650: PUSH1 0x20
00002652: ADD
00002653: PUSH1 0x00
00002655: KECCAK256
00002656: PUSH1 0x00
00002658: PUSH2 0x0100
0000265b: EXP
0000265c: DUP2
0000265d: SLOAD
0000265e: DUP2
0000265f: PUSH1 0xff
00002661: MUL
00002662: NOT
00002663: AND
00002664: SWAP1
00002665: DUP4
00002666: ISZERO
00002667: ISZERO
00002668: MUL
00002669: OR
0000266a: SWAP1
0000266b: SSTORE
0000266c: POP
0000266d: POP
0000266e: JUMP
0000266f: JUMPDEST
00002670: CALLER
00002671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002686: AND
00002687: PUSH1 0x00
00002689: DUP1
0000268a: SLOAD
0000268b: SWAP1
0000268c: PUSH2 0x0100
0000268f: EXP
00002690: SWAP1
00002691: DIV
00002692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026a7: AND
000026a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026bd: AND
000026be: EQ
000026bf: PUSH2 0x2730
000026c2: JUMPI
000026c3: PUSH1 0x40
000026c5: MLOAD
000026c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026e7: DUP2
000026e8: MSTORE
000026e9: PUSH1 0x04
000026eb: ADD
000026ec: DUP1
000026ed: DUP1
000026ee: PUSH1 0x20
000026f0: ADD
000026f1: DUP3
000026f2: DUP2
000026f3: SUB
000026f4: DUP3
000026f5: MSTORE
000026f6: PUSH1 0x20
000026f8: DUP2
000026f9: MSTORE
000026fa: PUSH1 0x20
000026fc: ADD
000026fd: DUP1
000026fe: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000271f: DUP2
00002720: MSTORE
00002721: POP
00002722: PUSH1 0x20
00002724: ADD
00002725: SWAP2
00002726: POP
00002727: POP
00002728: PUSH1 0x40
0000272a: MLOAD
0000272b: DUP1
0000272c: SWAP2
0000272d: SUB
0000272e: SWAP1
0000272f: REVERT
00002730: JUMPDEST
00002731: PUSH1 0x00
00002733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002748: AND
00002749: DUP2
0000274a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000275f: AND
00002760: EQ
00002761: ISZERO
00002762: PUSH2 0x27b6
00002765: JUMPI
00002766: PUSH1 0x40
00002768: MLOAD
00002769: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000278a: DUP2
0000278b: MSTORE
0000278c: PUSH1 0x04
0000278e: ADD
0000278f: DUP1
00002790: DUP1
00002791: PUSH1 0x20
00002793: ADD
00002794: DUP3
00002795: DUP2
00002796: SUB
00002797: DUP3
00002798: MSTORE
00002799: PUSH1 0x26
0000279b: DUP2
0000279c: MSTORE
0000279d: PUSH1 0x20
0000279f: ADD
000027a0: DUP1
000027a1: PUSH2 0x4ae4
000027a4: PUSH1 0x26
000027a6: SWAP2
000027a7: CODECOPY
000027a8: PUSH1 0x40
000027aa: ADD
000027ab: SWAP2
000027ac: POP
000027ad: POP
000027ae: PUSH1 0x40
000027b0: MLOAD
000027b1: DUP1
000027b2: SWAP2
000027b3: SUB
000027b4: SWAP1
000027b5: REVERT
000027b6: JUMPDEST
000027b7: DUP1
000027b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027cd: AND
000027ce: PUSH1 0x00
000027d0: DUP1
000027d1: SLOAD
000027d2: SWAP1
000027d3: PUSH2 0x0100
000027d6: EXP
000027d7: SWAP1
000027d8: DIV
000027d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027ee: AND
000027ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002804: AND
00002805: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002826: PUSH1 0x40
00002828: MLOAD
00002829: PUSH1 0x40
0000282b: MLOAD
0000282c: DUP1
0000282d: SWAP2
0000282e: SUB
0000282f: SWAP1
00002830: LOG3
00002831: DUP1
00002832: PUSH1 0x00
00002834: DUP1
00002835: PUSH2 0x0100
00002838: EXP
00002839: DUP2
0000283a: SLOAD
0000283b: DUP2
0000283c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002851: MUL
00002852: NOT
00002853: AND
00002854: SWAP1
00002855: DUP4
00002856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000286b: AND
0000286c: MUL
0000286d: OR
0000286e: SWAP1
0000286f: SSTORE
00002870: POP
00002871: POP
00002872: JUMP
00002873: JUMPDEST
00002874: PUSH1 0x00
00002876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000288b: AND
0000288c: DUP4
0000288d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028a2: AND
000028a3: EQ
000028a4: ISZERO
000028a5: PUSH2 0x28f9
000028a8: JUMPI
000028a9: PUSH1 0x40
000028ab: MLOAD
000028ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028cd: DUP2
000028ce: MSTORE
000028cf: PUSH1 0x04
000028d1: ADD
000028d2: DUP1
000028d3: DUP1
000028d4: PUSH1 0x20
000028d6: ADD
000028d7: DUP3
000028d8: DUP2
000028d9: SUB
000028da: DUP3
000028db: MSTORE
000028dc: PUSH1 0x24
000028de: DUP2
000028df: MSTORE
000028e0: PUSH1 0x20
000028e2: ADD
000028e3: DUP1
000028e4: PUSH2 0x4c14
000028e7: PUSH1 0x24
000028e9: SWAP2
000028ea: CODECOPY
000028eb: PUSH1 0x40
000028ed: ADD
000028ee: SWAP2
000028ef: POP
000028f0: POP
000028f1: PUSH1 0x40
000028f3: MLOAD
000028f4: DUP1
000028f5: SWAP2
000028f6: SUB
000028f7: SWAP1
000028f8: REVERT
000028f9: JUMPDEST
000028fa: PUSH1 0x00
000028fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002911: AND
00002912: DUP3
00002913: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002928: AND
00002929: EQ
0000292a: ISZERO
0000292b: PUSH2 0x297f
0000292e: JUMPI
0000292f: PUSH1 0x40
00002931: MLOAD
00002932: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002953: DUP2
00002954: MSTORE
00002955: PUSH1 0x04
00002957: ADD
00002958: DUP1
00002959: DUP1
0000295a: PUSH1 0x20
0000295c: ADD
0000295d: DUP3
0000295e: DUP2
0000295f: SUB
00002960: DUP3
00002961: MSTORE
00002962: PUSH1 0x22
00002964: DUP2
00002965: MSTORE
00002966: PUSH1 0x20
00002968: ADD
00002969: DUP1
0000296a: PUSH2 0x4b0a
0000296d: PUSH1 0x22
0000296f: SWAP2
00002970: CODECOPY
00002971: PUSH1 0x40
00002973: ADD
00002974: SWAP2
00002975: POP
00002976: POP
00002977: PUSH1 0x40
00002979: MLOAD
0000297a: DUP1
0000297b: SWAP2
0000297c: SUB
0000297d: SWAP1
0000297e: REVERT
0000297f: JUMPDEST
00002980: DUP1
00002981: PUSH1 0x05
00002983: PUSH1 0x00
00002985: DUP6
00002986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000299b: AND
0000299c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b1: AND
000029b2: DUP2
000029b3: MSTORE
000029b4: PUSH1 0x20
000029b6: ADD
000029b7: SWAP1
000029b8: DUP2
000029b9: MSTORE
000029ba: PUSH1 0x20
000029bc: ADD
000029bd: PUSH1 0x00
000029bf: KECCAK256
000029c0: PUSH1 0x00
000029c2: DUP5
000029c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029d8: AND
000029d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ee: AND
000029ef: DUP2
000029f0: MSTORE
000029f1: PUSH1 0x20
000029f3: ADD
000029f4: SWAP1
000029f5: DUP2
000029f6: MSTORE
000029f7: PUSH1 0x20
000029f9: ADD
000029fa: PUSH1 0x00
000029fc: KECCAK256
000029fd: DUP2
000029fe: SWAP1
000029ff: SSTORE
00002a00: POP
00002a01: DUP2
00002a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a17: AND
00002a18: DUP4
00002a19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a2e: AND
00002a2f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002a50: DUP4
00002a51: PUSH1 0x40
00002a53: MLOAD
00002a54: DUP1
00002a55: DUP3
00002a56: DUP2
00002a57: MSTORE
00002a58: PUSH1 0x20
00002a5a: ADD
00002a5b: SWAP2
00002a5c: POP
00002a5d: POP
00002a5e: PUSH1 0x40
00002a60: MLOAD
00002a61: DUP1
00002a62: SWAP2
00002a63: SUB
00002a64: SWAP1
00002a65: LOG3
00002a66: POP
00002a67: POP
00002a68: POP
00002a69: JUMP
00002a6a: JUMPDEST
00002a6b: PUSH1 0x00
00002a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a82: AND
00002a83: DUP4
00002a84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a99: AND
00002a9a: EQ
00002a9b: ISZERO
00002a9c: PUSH2 0x2af0
00002a9f: JUMPI
00002aa0: PUSH1 0x40
00002aa2: MLOAD
00002aa3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ac4: DUP2
00002ac5: MSTORE
00002ac6: PUSH1 0x04
00002ac8: ADD
00002ac9: DUP1
00002aca: DUP1
00002acb: PUSH1 0x20
00002acd: ADD
00002ace: DUP3
00002acf: DUP2
00002ad0: SUB
00002ad1: DUP3
00002ad2: MSTORE
00002ad3: PUSH1 0x25
00002ad5: DUP2
00002ad6: MSTORE
00002ad7: PUSH1 0x20
00002ad9: ADD
00002ada: DUP1
00002adb: PUSH2 0x4bef
00002ade: PUSH1 0x25
00002ae0: SWAP2
00002ae1: CODECOPY
00002ae2: PUSH1 0x40
00002ae4: ADD
00002ae5: SWAP2
00002ae6: POP
00002ae7: POP
00002ae8: PUSH1 0x40
00002aea: MLOAD
00002aeb: DUP1
00002aec: SWAP2
00002aed: SUB
00002aee: SWAP1
00002aef: REVERT
00002af0: JUMPDEST
00002af1: PUSH1 0x00
00002af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b08: AND
00002b09: DUP3
00002b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b1f: AND
00002b20: EQ
00002b21: ISZERO
00002b22: PUSH2 0x2b76
00002b25: JUMPI
00002b26: PUSH1 0x40
00002b28: MLOAD
00002b29: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b4a: DUP2
00002b4b: MSTORE
00002b4c: PUSH1 0x04
00002b4e: ADD
00002b4f: DUP1
00002b50: DUP1
00002b51: PUSH1 0x20
00002b53: ADD
00002b54: DUP3
00002b55: DUP2
00002b56: SUB
00002b57: DUP3
00002b58: MSTORE
00002b59: PUSH1 0x23
00002b5b: DUP2
00002b5c: MSTORE
00002b5d: PUSH1 0x20
00002b5f: ADD
00002b60: DUP1
00002b61: PUSH2 0x4ac1
00002b64: PUSH1 0x23
00002b66: SWAP2
00002b67: CODECOPY
00002b68: PUSH1 0x40
00002b6a: ADD
00002b6b: SWAP2
00002b6c: POP
00002b6d: POP
00002b6e: PUSH1 0x40
00002b70: MLOAD
00002b71: DUP1
00002b72: SWAP2
00002b73: SUB
00002b74: SWAP1
00002b75: REVERT
00002b76: JUMPDEST
00002b77: PUSH1 0x00
00002b79: DUP2
00002b7a: GT
00002b7b: PUSH2 0x2bcf
00002b7e: JUMPI
00002b7f: PUSH1 0x40
00002b81: MLOAD
00002b82: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ba3: DUP2
00002ba4: MSTORE
00002ba5: PUSH1 0x04
00002ba7: ADD
00002ba8: DUP1
00002ba9: DUP1
00002baa: PUSH1 0x20
00002bac: ADD
00002bad: DUP3
00002bae: DUP2
00002baf: SUB
00002bb0: DUP3
00002bb1: MSTORE
00002bb2: PUSH1 0x29
00002bb4: DUP2
00002bb5: MSTORE
00002bb6: PUSH1 0x20
00002bb8: ADD
00002bb9: DUP1
00002bba: PUSH2 0x4bc6
00002bbd: PUSH1 0x29
00002bbf: SWAP2
00002bc0: CODECOPY
00002bc1: PUSH1 0x40
00002bc3: ADD
00002bc4: SWAP2
00002bc5: POP
00002bc6: POP
00002bc7: PUSH1 0x40
00002bc9: MLOAD
00002bca: DUP1
00002bcb: SWAP2
00002bcc: SUB
00002bcd: SWAP1
00002bce: REVERT
00002bcf: JUMPDEST
00002bd0: PUSH2 0x2bd7
00002bd3: PUSH2 0x1ca4
00002bd6: JUMP
00002bd7: JUMPDEST
00002bd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bed: AND
00002bee: DUP4
00002bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c04: AND
00002c05: EQ
00002c06: ISZERO
00002c07: DUP1
00002c08: ISZERO
00002c09: PUSH2 0x2c45
00002c0c: JUMPI
00002c0d: POP
00002c0e: PUSH2 0x2c15
00002c11: PUSH2 0x1ca4
00002c14: JUMP
00002c15: JUMPDEST
00002c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c2b: AND
00002c2c: DUP3
00002c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c42: AND
00002c43: EQ
00002c44: ISZERO
00002c45: JUMPDEST
00002c46: ISZERO
00002c47: PUSH2 0x2ca6
00002c4a: JUMPI
00002c4b: PUSH1 0x12
00002c4d: SLOAD
00002c4e: DUP2
00002c4f: GT
00002c50: ISZERO
00002c51: PUSH2 0x2ca5
00002c54: JUMPI
00002c55: PUSH1 0x40
00002c57: MLOAD
00002c58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c79: DUP2
00002c7a: MSTORE
00002c7b: PUSH1 0x04
00002c7d: ADD
00002c7e: DUP1
00002c7f: DUP1
00002c80: PUSH1 0x20
00002c82: ADD
00002c83: DUP3
00002c84: DUP2
00002c85: SUB
00002c86: DUP3
00002c87: MSTORE
00002c88: PUSH1 0x28
00002c8a: DUP2
00002c8b: MSTORE
00002c8c: PUSH1 0x20
00002c8e: ADD
00002c8f: DUP1
00002c90: PUSH2 0x4b2c
00002c93: PUSH1 0x28
00002c95: SWAP2
00002c96: CODECOPY
00002c97: PUSH1 0x40
00002c99: ADD
00002c9a: SWAP2
00002c9b: POP
00002c9c: POP
00002c9d: PUSH1 0x40
00002c9f: MLOAD
00002ca0: DUP1
00002ca1: SWAP2
00002ca2: SUB
00002ca3: SWAP1
00002ca4: REVERT
00002ca5: JUMPDEST
00002ca6: JUMPDEST
00002ca7: PUSH1 0x00
00002ca9: PUSH2 0x2cb1
00002cac: ADDRESS
00002cad: PUSH2 0x19de
00002cb0: JUMP
00002cb1: JUMPDEST
00002cb2: SWAP1
00002cb3: POP
00002cb4: PUSH1 0x12
00002cb6: SLOAD
00002cb7: DUP2
00002cb8: LT
00002cb9: PUSH2 0x2cc2
00002cbc: JUMPI
00002cbd: PUSH1 0x12
00002cbf: SLOAD
00002cc0: SWAP1
00002cc1: POP
00002cc2: JUMPDEST
00002cc3: PUSH1 0x00
00002cc5: PUSH9 0x1b1ae4d6e2ef500000
00002ccf: DUP3
00002cd0: LT
00002cd1: ISZERO
00002cd2: SWAP1
00002cd3: POP
00002cd4: DUP1
00002cd5: DUP1
00002cd6: ISZERO
00002cd7: PUSH2 0x2ced
00002cda: JUMPI
00002cdb: POP
00002cdc: PUSH1 0x11
00002cde: PUSH1 0x14
00002ce0: SWAP1
00002ce1: SLOAD
00002ce2: SWAP1
00002ce3: PUSH2 0x0100
00002ce6: EXP
00002ce7: SWAP1
00002ce8: DIV
00002ce9: PUSH1 0xff
00002ceb: AND
00002cec: ISZERO
00002ced: JUMPDEST
00002cee: DUP1
00002cef: ISZERO
00002cf0: PUSH2 0x2d47
00002cf3: JUMPI
00002cf4: POP
00002cf5: PUSH1 0x11
00002cf7: PUSH1 0x00
00002cf9: SWAP1
00002cfa: SLOAD
00002cfb: SWAP1
00002cfc: PUSH2 0x0100
00002cff: EXP
00002d00: SWAP1
00002d01: DIV
00002d02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d17: AND
00002d18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d2d: AND
00002d2e: DUP6
00002d2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d44: AND
00002d45: EQ
00002d46: ISZERO
00002d47: JUMPDEST
00002d48: DUP1
00002d49: ISZERO
00002d4a: PUSH2 0x2d5f
00002d4d: JUMPI
00002d4e: POP
00002d4f: PUSH1 0x11
00002d51: PUSH1 0x15
00002d53: SWAP1
00002d54: SLOAD
00002d55: SWAP1
00002d56: PUSH2 0x0100
00002d59: EXP
00002d5a: SWAP1
00002d5b: DIV
00002d5c: PUSH1 0xff
00002d5e: AND
00002d5f: JUMPDEST
00002d60: ISZERO
00002d61: PUSH2 0x2d7a
00002d64: JUMPI
00002d65: PUSH9 0x1b1ae4d6e2ef500000
00002d6f: SWAP2
00002d70: POP
00002d71: PUSH2 0x2d79
00002d74: DUP3
00002d75: PUSH2 0x31cd
00002d78: JUMP
00002d79: JUMPDEST
00002d7a: JUMPDEST
00002d7b: PUSH1 0x00
00002d7d: PUSH1 0x01
00002d7f: SWAP1
00002d80: POP
00002d81: PUSH1 0x06
00002d83: PUSH1 0x00
00002d85: DUP8
00002d86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d9b: AND
00002d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002db1: AND
00002db2: DUP2
00002db3: MSTORE
00002db4: PUSH1 0x20
00002db6: ADD
00002db7: SWAP1
00002db8: DUP2
00002db9: MSTORE
00002dba: PUSH1 0x20
00002dbc: ADD
00002dbd: PUSH1 0x00
00002dbf: KECCAK256
00002dc0: PUSH1 0x00
00002dc2: SWAP1
00002dc3: SLOAD
00002dc4: SWAP1
00002dc5: PUSH2 0x0100
00002dc8: EXP
00002dc9: SWAP1
00002dca: DIV
00002dcb: PUSH1 0xff
00002dcd: AND
00002dce: DUP1
00002dcf: PUSH2 0x2e21
00002dd2: JUMPI
00002dd3: POP
00002dd4: PUSH1 0x06
00002dd6: PUSH1 0x00
00002dd8: DUP7
00002dd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dee: AND
00002def: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e04: AND
00002e05: DUP2
00002e06: MSTORE
00002e07: PUSH1 0x20
00002e09: ADD
00002e0a: SWAP1
00002e0b: DUP2
00002e0c: MSTORE
00002e0d: PUSH1 0x20
00002e0f: ADD
00002e10: PUSH1 0x00
00002e12: KECCAK256
00002e13: PUSH1 0x00
00002e15: SWAP1
00002e16: SLOAD
00002e17: SWAP1
00002e18: PUSH2 0x0100
00002e1b: EXP
00002e1c: SWAP1
00002e1d: DIV
00002e1e: PUSH1 0xff
00002e20: AND
00002e21: JUMPDEST
00002e22: ISZERO
00002e23: PUSH2 0x2e2b
00002e26: JUMPI
00002e27: PUSH1 0x00
00002e29: SWAP1
00002e2a: POP
00002e2b: JUMPDEST
00002e2c: PUSH2 0x2e37
00002e2f: DUP7
00002e30: DUP7
00002e31: DUP7
00002e32: DUP5
00002e33: PUSH2 0x32af
00002e36: JUMP
00002e37: JUMPDEST
00002e38: POP
00002e39: POP
00002e3a: POP
00002e3b: POP
00002e3c: POP
00002e3d: POP
00002e3e: JUMP
00002e3f: JUMPDEST
00002e40: PUSH1 0x00
00002e42: DUP4
00002e43: DUP4
00002e44: GT
00002e45: ISZERO
00002e46: DUP3
00002e47: SWAP1
00002e48: PUSH2 0x2eec
00002e4b: JUMPI
00002e4c: PUSH1 0x40
00002e4e: MLOAD
00002e4f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e70: DUP2
00002e71: MSTORE
00002e72: PUSH1 0x04
00002e74: ADD
00002e75: DUP1
00002e76: DUP1
00002e77: PUSH1 0x20
00002e79: ADD
00002e7a: DUP3
00002e7b: DUP2
00002e7c: SUB
00002e7d: DUP3
00002e7e: MSTORE
00002e7f: DUP4
00002e80: DUP2
00002e81: DUP2
00002e82: MLOAD
00002e83: DUP2
00002e84: MSTORE
00002e85: PUSH1 0x20
00002e87: ADD
00002e88: SWAP2
00002e89: POP
00002e8a: DUP1
00002e8b: MLOAD
00002e8c: SWAP1
00002e8d: PUSH1 0x20
00002e8f: ADD
00002e90: SWAP1
00002e91: DUP1
00002e92: DUP4
00002e93: DUP4
00002e94: PUSH1 0x00
00002e96: JUMPDEST
00002e97: DUP4
00002e98: DUP2
00002e99: LT
00002e9a: ISZERO
00002e9b: PUSH2 0x2eb1
00002e9e: JUMPI
00002e9f: DUP1
00002ea0: DUP3
00002ea1: ADD
00002ea2: MLOAD
00002ea3: DUP2
00002ea4: DUP5
00002ea5: ADD
00002ea6: MSTORE
00002ea7: PUSH1 0x20
00002ea9: DUP2
00002eaa: ADD
00002eab: SWAP1
00002eac: POP
00002ead: PUSH2 0x2e96
00002eb0: JUMP
00002eb1: JUMPDEST
00002eb2: POP
00002eb3: POP
00002eb4: POP
00002eb5: POP
00002eb6: SWAP1
00002eb7: POP
00002eb8: SWAP1
00002eb9: DUP2
00002eba: ADD
00002ebb: SWAP1
00002ebc: PUSH1 0x1f
00002ebe: AND
00002ebf: DUP1
00002ec0: ISZERO
00002ec1: PUSH2 0x2ede
00002ec4: JUMPI
00002ec5: DUP1
00002ec6: DUP3
00002ec7: SUB
00002ec8: DUP1
00002ec9: MLOAD
00002eca: PUSH1 0x01
00002ecc: DUP4
00002ecd: PUSH1 0x20
00002ecf: SUB
00002ed0: PUSH2 0x0100
00002ed3: EXP
00002ed4: SUB
00002ed5: NOT
00002ed6: AND
00002ed7: DUP2
00002ed8: MSTORE
00002ed9: PUSH1 0x20
00002edb: ADD
00002edc: SWAP2
00002edd: POP
00002ede: JUMPDEST
00002edf: POP
00002ee0: SWAP3
00002ee1: POP
00002ee2: POP
00002ee3: POP
00002ee4: PUSH1 0x40
00002ee6: MLOAD
00002ee7: DUP1
00002ee8: SWAP2
00002ee9: SUB
00002eea: SWAP1
00002eeb: REVERT
00002eec: JUMPDEST
00002eed: POP
00002eee: PUSH1 0x00
00002ef0: DUP4
00002ef1: DUP6
00002ef2: SUB
00002ef3: SWAP1
00002ef4: POP
00002ef5: DUP1
00002ef6: SWAP2
00002ef7: POP
00002ef8: POP
00002ef9: SWAP4
00002efa: SWAP3
00002efb: POP
00002efc: POP
00002efd: POP
00002efe: JUMP
00002eff: JUMPDEST
00002f00: PUSH1 0x00
00002f02: DUP1
00002f03: PUSH1 0x00
00002f05: PUSH2 0x2f0c
00002f08: PUSH2 0x3506
00002f0b: JUMP
00002f0c: JUMPDEST
00002f0d: SWAP2
00002f0e: POP
00002f0f: SWAP2
00002f10: POP
00002f11: PUSH2 0x2f23
00002f14: DUP2
00002f15: DUP4
00002f16: PUSH2 0x2f2a
00002f19: SWAP1
00002f1a: SWAP2
00002f1b: SWAP1
00002f1c: PUSH4 0xffffffff
00002f21: AND
00002f22: JUMP
00002f23: JUMPDEST
00002f24: SWAP3
00002f25: POP
00002f26: POP
00002f27: POP
00002f28: SWAP1
00002f29: JUMP
00002f2a: JUMPDEST
00002f2b: PUSH1 0x00
00002f2d: PUSH2 0x2f6c
00002f30: DUP4
00002f31: DUP4
00002f32: PUSH1 0x40
00002f34: MLOAD
00002f35: DUP1
00002f36: PUSH1 0x40
00002f38: ADD
00002f39: PUSH1 0x40
00002f3b: MSTORE
00002f3c: DUP1
00002f3d: PUSH1 0x1a
00002f3f: DUP2
00002f40: MSTORE
00002f41: PUSH1 0x20
00002f43: ADD
00002f44: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002f65: DUP2
00002f66: MSTORE
00002f67: POP
00002f68: PUSH2 0x3727
00002f6b: JUMP
00002f6c: JUMPDEST
00002f6d: SWAP1
00002f6e: POP
00002f6f: SWAP3
00002f70: SWAP2
00002f71: POP
00002f72: POP
00002f73: JUMP
00002f74: JUMPDEST
00002f75: PUSH1 0x00
00002f77: PUSH2 0x2f82
00002f7a: DUP3
00002f7b: PUSH1 0x00
00002f7d: ADD
00002f7e: PUSH2 0x37ed
00002f81: JUMP
00002f82: JUMPDEST
00002f83: SWAP1
00002f84: POP
00002f85: SWAP2
00002f86: SWAP1
00002f87: POP
00002f88: JUMP
00002f89: JUMPDEST
00002f8a: PUSH1 0x00
00002f8c: PUSH2 0x2fb1
00002f8f: DUP4
00002f90: PUSH1 0x00
00002f92: ADD
00002f93: DUP4
00002f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fa9: AND
00002faa: PUSH1 0x00
00002fac: SHL
00002fad: PUSH2 0x37fe
00002fb0: JUMP
00002fb1: JUMPDEST
00002fb2: SWAP1
00002fb3: POP
00002fb4: SWAP3
00002fb5: SWAP2
00002fb6: POP
00002fb7: POP
00002fb8: JUMP
00002fb9: JUMPDEST
00002fba: PUSH1 0x00
00002fbc: PUSH2 0x2fe1
00002fbf: DUP4
00002fc0: PUSH1 0x00
00002fc2: ADD
00002fc3: DUP4
00002fc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fd9: AND
00002fda: PUSH1 0x00
00002fdc: SHL
00002fdd: PUSH2 0x3821
00002fe0: JUMP
00002fe1: JUMPDEST
00002fe2: SWAP1
00002fe3: POP
00002fe4: SWAP3
00002fe5: SWAP2
00002fe6: POP
00002fe7: POP
00002fe8: JUMP
00002fe9: JUMPDEST
00002fea: PUSH1 0x00
00002fec: DUP1
00002fed: DUP3
00002fee: DUP5
00002fef: ADD
00002ff0: SWAP1
00002ff1: POP
00002ff2: DUP4
00002ff3: DUP2
00002ff4: LT
00002ff5: ISZERO
00002ff6: PUSH2 0x3067
00002ff9: JUMPI
00002ffa: PUSH1 0x40
00002ffc: MLOAD
00002ffd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000301e: DUP2
0000301f: MSTORE
00003020: PUSH1 0x04
00003022: ADD
00003023: DUP1
00003024: DUP1
00003025: PUSH1 0x20
00003027: ADD
00003028: DUP3
00003029: DUP2
0000302a: SUB
0000302b: DUP3
0000302c: MSTORE
0000302d: PUSH1 0x1b
0000302f: DUP2
00003030: MSTORE
00003031: PUSH1 0x20
00003033: ADD
00003034: DUP1
00003035: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003056: DUP2
00003057: MSTORE
00003058: POP
00003059: PUSH1 0x20
0000305b: ADD
0000305c: SWAP2
0000305d: POP
0000305e: POP
0000305f: PUSH1 0x40
00003061: MLOAD
00003062: DUP1
00003063: SWAP2
00003064: SUB
00003065: SWAP1
00003066: REVERT
00003067: JUMPDEST
00003068: DUP1
00003069: SWAP2
0000306a: POP
0000306b: POP
0000306c: SWAP3
0000306d: SWAP2
0000306e: POP
0000306f: POP
00003070: JUMP
00003071: JUMPDEST
00003072: PUSH1 0x00
00003074: DUP1
00003075: PUSH1 0x00
00003077: DUP1
00003078: PUSH1 0x00
0000307a: DUP1
0000307b: PUSH1 0x00
0000307d: DUP1
0000307e: PUSH1 0x00
00003080: PUSH2 0x3088
00003083: DUP11
00003084: PUSH2 0x390e
00003087: JUMP
00003088: JUMPDEST
00003089: SWAP3
0000308a: POP
0000308b: SWAP3
0000308c: POP
0000308d: SWAP3
0000308e: POP
0000308f: PUSH1 0x00
00003091: DUP1
00003092: PUSH1 0x00
00003094: PUSH2 0x30a6
00003097: DUP14
00003098: DUP7
00003099: DUP7
0000309a: PUSH2 0x30a1
0000309d: PUSH2 0x2eff
000030a0: JUMP
000030a1: JUMPDEST
000030a2: PUSH2 0x3968
000030a5: JUMP
000030a6: JUMPDEST
000030a7: SWAP3
000030a8: POP
000030a9: SWAP3
000030aa: POP
000030ab: SWAP3
000030ac: POP
000030ad: DUP3
000030ae: DUP3
000030af: DUP3
000030b0: DUP9
000030b1: DUP9
000030b2: DUP9
000030b3: SWAP12
000030b4: POP
000030b5: SWAP12
000030b6: POP
000030b7: SWAP12
000030b8: POP
000030b9: SWAP12
000030ba: POP
000030bb: SWAP12
000030bc: POP
000030bd: SWAP12
000030be: POP
000030bf: POP
000030c0: POP
000030c1: POP
000030c2: POP
000030c3: POP
000030c4: POP
000030c5: SWAP2
000030c6: SWAP4
000030c7: SWAP6
000030c8: POP
000030c9: SWAP2
000030ca: SWAP4
000030cb: SWAP6
000030cc: JUMP
000030cd: JUMPDEST
000030ce: PUSH1 0x00
000030d0: PUSH2 0x310f
000030d3: DUP4
000030d4: DUP4
000030d5: PUSH1 0x40
000030d7: MLOAD
000030d8: DUP1
000030d9: PUSH1 0x40
000030db: ADD
000030dc: PUSH1 0x40
000030de: MSTORE
000030df: DUP1
000030e0: PUSH1 0x1e
000030e2: DUP2
000030e3: MSTORE
000030e4: PUSH1 0x20
000030e6: ADD
000030e7: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00003108: DUP2
00003109: MSTORE
0000310a: POP
0000310b: PUSH2 0x2e3f
0000310e: JUMP
0000310f: JUMPDEST
00003110: SWAP1
00003111: POP
00003112: SWAP3
00003113: SWAP2
00003114: POP
00003115: POP
00003116: JUMP
00003117: JUMPDEST
00003118: PUSH1 0x00
0000311a: PUSH2 0x313f
0000311d: DUP4
0000311e: PUSH1 0x00
00003120: ADD
00003121: DUP4
00003122: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003137: AND
00003138: PUSH1 0x00
0000313a: SHL
0000313b: PUSH2 0x39f1
0000313e: JUMP
0000313f: JUMPDEST
00003140: SWAP1
00003141: POP
00003142: SWAP3
00003143: SWAP2
00003144: POP
00003145: POP
00003146: JUMP
00003147: JUMPDEST
00003148: PUSH1 0x00
0000314a: DUP1
0000314b: DUP4
0000314c: EQ
0000314d: ISZERO
0000314e: PUSH2 0x315a
00003151: JUMPI
00003152: PUSH1 0x00
00003154: SWAP1
00003155: POP
00003156: PUSH2 0x31c7
00003159: JUMP
0000315a: JUMPDEST
0000315b: PUSH1 0x00
0000315d: DUP3
0000315e: DUP5
0000315f: MUL
00003160: SWAP1
00003161: POP
00003162: DUP3
00003163: DUP5
00003164: DUP3
00003165: DUP2
00003166: PUSH2 0x316b
00003169: JUMPI
0000316a: INVALID
0000316b: JUMPDEST
0000316c: DIV
0000316d: EQ
0000316e: PUSH2 0x31c2
00003171: JUMPI
00003172: PUSH1 0x40
00003174: MLOAD
00003175: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003196: DUP2
00003197: MSTORE
00003198: PUSH1 0x04
0000319a: ADD
0000319b: DUP1
0000319c: DUP1
0000319d: PUSH1 0x20
0000319f: ADD
000031a0: DUP3
000031a1: DUP2
000031a2: SUB
000031a3: DUP3
000031a4: MSTORE
000031a5: PUSH1 0x21
000031a7: DUP2
000031a8: MSTORE
000031a9: PUSH1 0x20
000031ab: ADD
000031ac: DUP1
000031ad: PUSH2 0x4b7d
000031b0: PUSH1 0x21
000031b2: SWAP2
000031b3: CODECOPY
000031b4: PUSH1 0x40
000031b6: ADD
000031b7: SWAP2
000031b8: POP
000031b9: POP
000031ba: PUSH1 0x40
000031bc: MLOAD
000031bd: DUP1
000031be: SWAP2
000031bf: SUB
000031c0: SWAP1
000031c1: REVERT
000031c2: JUMPDEST
000031c3: DUP1
000031c4: SWAP2
000031c5: POP
000031c6: POP
000031c7: JUMPDEST
000031c8: SWAP3
000031c9: SWAP2
000031ca: POP
000031cb: POP
000031cc: JUMP
000031cd: JUMPDEST
000031ce: PUSH1 0x01
000031d0: PUSH1 0x11
000031d2: PUSH1 0x14
000031d4: PUSH2 0x0100
000031d7: EXP
000031d8: DUP2
000031d9: SLOAD
000031da: DUP2
000031db: PUSH1 0xff
000031dd: MUL
000031de: NOT
000031df: AND
000031e0: SWAP1
000031e1: DUP4
000031e2: ISZERO
000031e3: ISZERO
000031e4: MUL
000031e5: OR
000031e6: SWAP1
000031e7: SSTORE
000031e8: POP
000031e9: PUSH1 0x00
000031eb: PUSH2 0x31fe
000031ee: PUSH1 0x02
000031f0: DUP4
000031f1: PUSH2 0x2f2a
000031f4: SWAP1
000031f5: SWAP2
000031f6: SWAP1
000031f7: PUSH4 0xffffffff
000031fc: AND
000031fd: JUMP
000031fe: JUMPDEST
000031ff: SWAP1
00003200: POP
00003201: PUSH1 0x00
00003203: PUSH2 0x3215
00003206: DUP3
00003207: DUP5
00003208: PUSH2 0x30cd
0000320b: SWAP1
0000320c: SWAP2
0000320d: SWAP1
0000320e: PUSH4 0xffffffff
00003213: AND
00003214: JUMP
00003215: JUMPDEST
00003216: SWAP1
00003217: POP
00003218: PUSH1 0x00
0000321a: SELFBALANCE
0000321b: SWAP1
0000321c: POP
0000321d: PUSH2 0x3225
00003220: DUP4
00003221: PUSH2 0x3a61
00003224: JUMP
00003225: JUMPDEST
00003226: PUSH1 0x00
00003228: PUSH2 0x323a
0000322b: DUP3
0000322c: SELFBALANCE
0000322d: PUSH2 0x30cd
00003230: SWAP1
00003231: SWAP2
00003232: SWAP1
00003233: PUSH4 0xffffffff
00003238: AND
00003239: JUMP
0000323a: JUMPDEST
0000323b: SWAP1
0000323c: POP
0000323d: PUSH2 0x3246
00003240: DUP4
00003241: DUP3
00003242: PUSH2 0x3d15
00003245: JUMP
00003246: JUMPDEST
00003247: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
00003268: DUP5
00003269: DUP3
0000326a: DUP6
0000326b: PUSH1 0x40
0000326d: MLOAD
0000326e: DUP1
0000326f: DUP5
00003270: DUP2
00003271: MSTORE
00003272: PUSH1 0x20
00003274: ADD
00003275: DUP4
00003276: DUP2
00003277: MSTORE
00003278: PUSH1 0x20
0000327a: ADD
0000327b: DUP3
0000327c: DUP2
0000327d: MSTORE
0000327e: PUSH1 0x20
00003280: ADD
00003281: SWAP4
00003282: POP
00003283: POP
00003284: POP
00003285: POP
00003286: PUSH1 0x40
00003288: MLOAD
00003289: DUP1
0000328a: SWAP2
0000328b: SUB
0000328c: SWAP1
0000328d: LOG1
0000328e: POP
0000328f: POP
00003290: POP
00003291: POP
00003292: PUSH1 0x00
00003294: PUSH1 0x11
00003296: PUSH1 0x14
00003298: PUSH2 0x0100
0000329b: EXP
0000329c: DUP2
0000329d: SLOAD
0000329e: DUP2
0000329f: PUSH1 0xff
000032a1: MUL
000032a2: NOT
000032a3: AND
000032a4: SWAP1
000032a5: DUP4
000032a6: ISZERO
000032a7: ISZERO
000032a8: MUL
000032a9: OR
000032aa: SWAP1
000032ab: SSTORE
000032ac: POP
000032ad: POP
000032ae: JUMP
000032af: JUMPDEST
000032b0: DUP1
000032b1: PUSH2 0x32bd
000032b4: JUMPI
000032b5: PUSH2 0x32bc
000032b8: PUSH2 0x3e6a
000032bb: JUMP
000032bc: JUMPDEST
000032bd: JUMPDEST
000032be: PUSH1 0x07
000032c0: PUSH1 0x00
000032c2: DUP6
000032c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032d8: AND
000032d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032ee: AND
000032ef: DUP2
000032f0: MSTORE
000032f1: PUSH1 0x20
000032f3: ADD
000032f4: SWAP1
000032f5: DUP2
000032f6: MSTORE
000032f7: PUSH1 0x20
000032f9: ADD
000032fa: PUSH1 0x00
000032fc: KECCAK256
000032fd: PUSH1 0x00
000032ff: SWAP1
00003300: SLOAD
00003301: SWAP1
00003302: PUSH2 0x0100
00003305: EXP
00003306: SWAP1
00003307: DIV
00003308: PUSH1 0xff
0000330a: AND
0000330b: DUP1
0000330c: ISZERO
0000330d: PUSH2 0x3360
00003310: JUMPI
00003311: POP
00003312: PUSH1 0x07
00003314: PUSH1 0x00
00003316: DUP5
00003317: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000332c: AND
0000332d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003342: AND
00003343: DUP2
00003344: MSTORE
00003345: PUSH1 0x20
00003347: ADD
00003348: SWAP1
00003349: DUP2
0000334a: MSTORE
0000334b: PUSH1 0x20
0000334d: ADD
0000334e: PUSH1 0x00
00003350: KECCAK256
00003351: PUSH1 0x00
00003353: SWAP1
00003354: SLOAD
00003355: SWAP1
00003356: PUSH2 0x0100
00003359: EXP
0000335a: SWAP1
0000335b: DIV
0000335c: PUSH1 0xff
0000335e: AND
0000335f: ISZERO
00003360: JUMPDEST
00003361: ISZERO
00003362: PUSH2 0x3375
00003365: JUMPI
00003366: PUSH2 0x3370
00003369: DUP5
0000336a: DUP5
0000336b: DUP5
0000336c: PUSH2 0x3ead
0000336f: JUMP
00003370: JUMPDEST
00003371: PUSH2 0x34f2
00003374: JUMP
00003375: JUMPDEST
00003376: PUSH1 0x07
00003378: PUSH1 0x00
0000337a: DUP6
0000337b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003390: AND
00003391: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033a6: AND
000033a7: DUP2
000033a8: MSTORE
000033a9: PUSH1 0x20
000033ab: ADD
000033ac: SWAP1
000033ad: DUP2
000033ae: MSTORE
000033af: PUSH1 0x20
000033b1: ADD
000033b2: PUSH1 0x00
000033b4: KECCAK256
000033b5: PUSH1 0x00
000033b7: SWAP1
000033b8: SLOAD
000033b9: SWAP1
000033ba: PUSH2 0x0100
000033bd: EXP
000033be: SWAP1
000033bf: DIV
000033c0: PUSH1 0xff
000033c2: AND
000033c3: ISZERO
000033c4: DUP1
000033c5: ISZERO
000033c6: PUSH2 0x3418
000033c9: JUMPI
000033ca: POP
000033cb: PUSH1 0x07
000033cd: PUSH1 0x00
000033cf: DUP5
000033d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033e5: AND
000033e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033fb: AND
000033fc: DUP2
000033fd: MSTORE
000033fe: PUSH1 0x20
00003400: ADD
00003401: SWAP1
00003402: DUP2
00003403: MSTORE
00003404: PUSH1 0x20
00003406: ADD
00003407: PUSH1 0x00
00003409: KECCAK256
0000340a: PUSH1 0x00
0000340c: SWAP1
0000340d: SLOAD
0000340e: SWAP1
0000340f: PUSH2 0x0100
00003412: EXP
00003413: SWAP1
00003414: DIV
00003415: PUSH1 0xff
00003417: AND
00003418: JUMPDEST
00003419: ISZERO
0000341a: PUSH2 0x342d
0000341d: JUMPI
0000341e: PUSH2 0x3428
00003421: DUP5
00003422: DUP5
00003423: DUP5
00003424: PUSH2 0x410d
00003427: JUMP
00003428: JUMPDEST
00003429: PUSH2 0x34f1
0000342c: JUMP
0000342d: JUMPDEST
0000342e: PUSH1 0x07
00003430: PUSH1 0x00
00003432: DUP6
00003433: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003448: AND
00003449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000345e: AND
0000345f: DUP2
00003460: MSTORE
00003461: PUSH1 0x20
00003463: ADD
00003464: SWAP1
00003465: DUP2
00003466: MSTORE
00003467: PUSH1 0x20
00003469: ADD
0000346a: PUSH1 0x00
0000346c: KECCAK256
0000346d: PUSH1 0x00
0000346f: SWAP1
00003470: SLOAD
00003471: SWAP1
00003472: PUSH2 0x0100
00003475: EXP
00003476: SWAP1
00003477: DIV
00003478: PUSH1 0xff
0000347a: AND
0000347b: DUP1
0000347c: ISZERO
0000347d: PUSH2 0x34cf
00003480: JUMPI
00003481: POP
00003482: PUSH1 0x07
00003484: PUSH1 0x00
00003486: DUP5
00003487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000349c: AND
0000349d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034b2: AND
000034b3: DUP2
000034b4: MSTORE
000034b5: PUSH1 0x20
000034b7: ADD
000034b8: SWAP1
000034b9: DUP2
000034ba: MSTORE
000034bb: PUSH1 0x20
000034bd: ADD
000034be: PUSH1 0x00
000034c0: KECCAK256
000034c1: PUSH1 0x00
000034c3: SWAP1
000034c4: SLOAD
000034c5: SWAP1
000034c6: PUSH2 0x0100
000034c9: EXP
000034ca: SWAP1
000034cb: DIV
000034cc: PUSH1 0xff
000034ce: AND
000034cf: JUMPDEST
000034d0: ISZERO
000034d1: PUSH2 0x34e4
000034d4: JUMPI
000034d5: PUSH2 0x34df
000034d8: DUP5
000034d9: DUP5
000034da: DUP5
000034db: PUSH2 0x436d
000034de: JUMP
000034df: JUMPDEST
000034e0: PUSH2 0x34f0
000034e3: JUMP
000034e4: JUMPDEST
000034e5: PUSH2 0x34ef
000034e8: DUP5
000034e9: DUP5
000034ea: DUP5
000034eb: PUSH2 0x4662
000034ee: JUMP
000034ef: JUMPDEST
000034f0: JUMPDEST
000034f1: JUMPDEST
000034f2: JUMPDEST
000034f3: DUP1
000034f4: PUSH2 0x3500
000034f7: JUMPI
000034f8: PUSH2 0x34ff
000034fb: PUSH2 0x482d
000034fe: JUMP
000034ff: JUMPDEST
00003500: JUMPDEST
00003501: POP
00003502: POP
00003503: POP
00003504: POP
00003505: JUMP
00003506: JUMPDEST
00003507: PUSH1 0x00
00003509: DUP1
0000350a: PUSH1 0x00
0000350c: PUSH1 0x0a
0000350e: SLOAD
0000350f: SWAP1
00003510: POP
00003511: PUSH1 0x00
00003513: PUSH9 0x3635c9adc5dea00000
0000351d: SWAP1
0000351e: POP
0000351f: PUSH1 0x00
00003521: JUMPDEST
00003522: PUSH2 0x352b
00003525: PUSH1 0x08
00003527: PUSH2 0x2f74
0000352a: JUMP
0000352b: JUMPDEST
0000352c: DUP2
0000352d: LT
0000352e: ISZERO
0000352f: PUSH2 0x36dc
00003532: JUMPI
00003533: DUP3
00003534: PUSH1 0x03
00003536: PUSH1 0x00
00003538: PUSH2 0x354b
0000353b: DUP5
0000353c: PUSH1 0x08
0000353e: PUSH2 0x4841
00003541: SWAP1
00003542: SWAP2
00003543: SWAP1
00003544: PUSH4 0xffffffff
00003549: AND
0000354a: JUMP
0000354b: JUMPDEST
0000354c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003561: AND
00003562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003577: AND
00003578: DUP2
00003579: MSTORE
0000357a: PUSH1 0x20
0000357c: ADD
0000357d: SWAP1
0000357e: DUP2
0000357f: MSTORE
00003580: PUSH1 0x20
00003582: ADD
00003583: PUSH1 0x00
00003585: KECCAK256
00003586: SLOAD
00003587: GT
00003588: DUP1
00003589: PUSH2 0x35e3
0000358c: JUMPI
0000358d: POP
0000358e: DUP2
0000358f: PUSH1 0x04
00003591: PUSH1 0x00
00003593: PUSH2 0x35a6
00003596: DUP5
00003597: PUSH1 0x08
00003599: PUSH2 0x4841
0000359c: SWAP1
0000359d: SWAP2
0000359e: SWAP1
0000359f: PUSH4 0xffffffff
000035a4: AND
000035a5: JUMP
000035a6: JUMPDEST
000035a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035bc: AND
000035bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035d2: AND
000035d3: DUP2
000035d4: MSTORE
000035d5: PUSH1 0x20
000035d7: ADD
000035d8: SWAP1
000035d9: DUP2
000035da: MSTORE
000035db: PUSH1 0x20
000035dd: ADD
000035de: PUSH1 0x00
000035e0: KECCAK256
000035e1: SLOAD
000035e2: GT
000035e3: JUMPDEST
000035e4: ISZERO
000035e5: PUSH2 0x3601
000035e8: JUMPI
000035e9: PUSH1 0x0a
000035eb: SLOAD
000035ec: PUSH9 0x3635c9adc5dea00000
000035f6: SWAP5
000035f7: POP
000035f8: SWAP5
000035f9: POP
000035fa: POP
000035fb: POP
000035fc: POP
000035fd: PUSH2 0x3723
00003600: JUMP
00003601: JUMPDEST
00003602: PUSH2 0x3666
00003605: PUSH1 0x03
00003607: PUSH1 0x00
00003609: PUSH2 0x361c
0000360c: DUP5
0000360d: PUSH1 0x08
0000360f: PUSH2 0x4841
00003612: SWAP1
00003613: SWAP2
00003614: SWAP1
00003615: PUSH4 0xffffffff
0000361a: AND
0000361b: JUMP
0000361c: JUMPDEST
0000361d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003632: AND
00003633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003648: AND
00003649: DUP2
0000364a: MSTORE
0000364b: PUSH1 0x20
0000364d: ADD
0000364e: SWAP1
0000364f: DUP2
00003650: MSTORE
00003651: PUSH1 0x20
00003653: ADD
00003654: PUSH1 0x00
00003656: KECCAK256
00003657: SLOAD
00003658: DUP5
00003659: PUSH2 0x30cd
0000365c: SWAP1
0000365d: SWAP2
0000365e: SWAP1
0000365f: PUSH4 0xffffffff
00003664: AND
00003665: JUMP
00003666: JUMPDEST
00003667: SWAP3
00003668: POP
00003669: PUSH2 0x36cd
0000366c: PUSH1 0x04
0000366e: PUSH1 0x00
00003670: PUSH2 0x3683
00003673: DUP5
00003674: PUSH1 0x08
00003676: PUSH2 0x4841
00003679: SWAP1
0000367a: SWAP2
0000367b: SWAP1
0000367c: PUSH4 0xffffffff
00003681: AND
00003682: JUMP
00003683: JUMPDEST
00003684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003699: AND
0000369a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036af: AND
000036b0: DUP2
000036b1: MSTORE
000036b2: PUSH1 0x20
000036b4: ADD
000036b5: SWAP1
000036b6: DUP2
000036b7: MSTORE
000036b8: PUSH1 0x20
000036ba: ADD
000036bb: PUSH1 0x00
000036bd: KECCAK256
000036be: SLOAD
000036bf: DUP4
000036c0: PUSH2 0x30cd
000036c3: SWAP1
000036c4: SWAP2
000036c5: SWAP1
000036c6: PUSH4 0xffffffff
000036cb: AND
000036cc: JUMP
000036cd: JUMPDEST
000036ce: SWAP2
000036cf: POP
000036d0: DUP1
000036d1: DUP1
000036d2: PUSH1 0x01
000036d4: ADD
000036d5: SWAP2
000036d6: POP
000036d7: POP
000036d8: PUSH2 0x3521
000036db: JUMP
000036dc: JUMPDEST
000036dd: POP
000036de: PUSH2 0x36fb
000036e1: PUSH9 0x3635c9adc5dea00000
000036eb: PUSH1 0x0a
000036ed: SLOAD
000036ee: PUSH2 0x2f2a
000036f1: SWAP1
000036f2: SWAP2
000036f3: SWAP1
000036f4: PUSH4 0xffffffff
000036f9: AND
000036fa: JUMP
000036fb: JUMPDEST
000036fc: DUP3
000036fd: LT
000036fe: ISZERO
000036ff: PUSH2 0x371a
00003702: JUMPI
00003703: PUSH1 0x0a
00003705: SLOAD
00003706: PUSH9 0x3635c9adc5dea00000
00003710: SWAP4
00003711: POP
00003712: SWAP4
00003713: POP
00003714: POP
00003715: POP
00003716: PUSH2 0x3723
00003719: JUMP
0000371a: JUMPDEST
0000371b: DUP2
0000371c: DUP2
0000371d: SWAP4
0000371e: POP
0000371f: SWAP4
00003720: POP
00003721: POP
00003722: POP
00003723: JUMPDEST
00003724: SWAP1
00003725: SWAP2
00003726: JUMP
00003727: JUMPDEST
00003728: PUSH1 0x00
0000372a: DUP1
0000372b: DUP4
0000372c: GT
0000372d: DUP3
0000372e: SWAP1
0000372f: PUSH2 0x37d3
00003732: JUMPI
00003733: PUSH1 0x40
00003735: MLOAD
00003736: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003757: DUP2
00003758: MSTORE
00003759: PUSH1 0x04
0000375b: ADD
0000375c: DUP1
0000375d: DUP1
0000375e: PUSH1 0x20
00003760: ADD
00003761: DUP3
00003762: DUP2
00003763: SUB
00003764: DUP3
00003765: MSTORE
00003766: DUP4
00003767: DUP2
00003768: DUP2
00003769: MLOAD
0000376a: DUP2
0000376b: MSTORE
0000376c: PUSH1 0x20
0000376e: ADD
0000376f: SWAP2
00003770: POP
00003771: DUP1
00003772: MLOAD
00003773: SWAP1
00003774: PUSH1 0x20
00003776: ADD
00003777: SWAP1
00003778: DUP1
00003779: DUP4
0000377a: DUP4
0000377b: PUSH1 0x00
0000377d: JUMPDEST
0000377e: DUP4
0000377f: DUP2
00003780: LT
00003781: ISZERO
00003782: PUSH2 0x3798
00003785: JUMPI
00003786: DUP1
00003787: DUP3
00003788: ADD
00003789: MLOAD
0000378a: DUP2
0000378b: DUP5
0000378c: ADD
0000378d: MSTORE
0000378e: PUSH1 0x20
00003790: DUP2
00003791: ADD
00003792: SWAP1
00003793: POP
00003794: PUSH2 0x377d
00003797: JUMP
00003798: JUMPDEST
00003799: POP
0000379a: POP
0000379b: POP
0000379c: POP
0000379d: SWAP1
0000379e: POP
0000379f: SWAP1
000037a0: DUP2
000037a1: ADD
000037a2: SWAP1
000037a3: PUSH1 0x1f
000037a5: AND
000037a6: DUP1
000037a7: ISZERO
000037a8: PUSH2 0x37c5
000037ab: JUMPI
000037ac: DUP1
000037ad: DUP3
000037ae: SUB
000037af: DUP1
000037b0: MLOAD
000037b1: PUSH1 0x01
000037b3: DUP4
000037b4: PUSH1 0x20
000037b6: SUB
000037b7: PUSH2 0x0100
000037ba: EXP
000037bb: SUB
000037bc: NOT
000037bd: AND
000037be: DUP2
000037bf: MSTORE
000037c0: PUSH1 0x20
000037c2: ADD
000037c3: SWAP2
000037c4: POP
000037c5: JUMPDEST
000037c6: POP
000037c7: SWAP3
000037c8: POP
000037c9: POP
000037ca: POP
000037cb: PUSH1 0x40
000037cd: MLOAD
000037ce: DUP1
000037cf: SWAP2
000037d0: SUB
000037d1: SWAP1
000037d2: REVERT
000037d3: JUMPDEST
000037d4: POP
000037d5: PUSH1 0x00
000037d7: DUP4
000037d8: DUP6
000037d9: DUP2
000037da: PUSH2 0x37df
000037dd: JUMPI
000037de: INVALID
000037df: JUMPDEST
000037e0: DIV
000037e1: SWAP1
000037e2: POP
000037e3: DUP1
000037e4: SWAP2
000037e5: POP
000037e6: POP
000037e7: SWAP4
000037e8: SWAP3
000037e9: POP
000037ea: POP
000037eb: POP
000037ec: JUMP
000037ed: JUMPDEST
000037ee: PUSH1 0x00
000037f0: DUP2
000037f1: PUSH1 0x00
000037f3: ADD
000037f4: DUP1
000037f5: SLOAD
000037f6: SWAP1
000037f7: POP
000037f8: SWAP1
000037f9: POP
000037fa: SWAP2
000037fb: SWAP1
000037fc: POP
000037fd: JUMP
000037fe: JUMPDEST
000037ff: PUSH1 0x00
00003801: DUP1
00003802: DUP4
00003803: PUSH1 0x01
00003805: ADD
00003806: PUSH1 0x00
00003808: DUP5
00003809: DUP2
0000380a: MSTORE
0000380b: PUSH1 0x20
0000380d: ADD
0000380e: SWAP1
0000380f: DUP2
00003810: MSTORE
00003811: PUSH1 0x20
00003813: ADD
00003814: PUSH1 0x00
00003816: KECCAK256
00003817: SLOAD
00003818: EQ
00003819: ISZERO
0000381a: SWAP1
0000381b: POP
0000381c: SWAP3
0000381d: SWAP2
0000381e: POP
0000381f: POP
00003820: JUMP
00003821: JUMPDEST
00003822: PUSH1 0x00
00003824: DUP1
00003825: DUP4
00003826: PUSH1 0x01
00003828: ADD
00003829: PUSH1 0x00
0000382b: DUP5
0000382c: DUP2
0000382d: MSTORE
0000382e: PUSH1 0x20
00003830: ADD
00003831: SWAP1
00003832: DUP2
00003833: MSTORE
00003834: PUSH1 0x20
00003836: ADD
00003837: PUSH1 0x00
00003839: KECCAK256
0000383a: SLOAD
0000383b: SWAP1
0000383c: POP
0000383d: PUSH1 0x00
0000383f: DUP2
00003840: EQ
00003841: PUSH2 0x3902
00003844: JUMPI
00003845: PUSH1 0x00
00003847: PUSH1 0x01
00003849: DUP3
0000384a: SUB
0000384b: SWAP1
0000384c: POP
0000384d: PUSH1 0x00
0000384f: PUSH1 0x01
00003851: DUP7
00003852: PUSH1 0x00
00003854: ADD
00003855: DUP1
00003856: SLOAD
00003857: SWAP1
00003858: POP
00003859: SUB
0000385a: SWAP1
0000385b: POP
0000385c: DUP2
0000385d: DUP2
0000385e: EQ
0000385f: PUSH2 0x38ba
00003862: JUMPI
00003863: PUSH1 0x00
00003865: DUP7
00003866: PUSH1 0x00
00003868: ADD
00003869: DUP3
0000386a: DUP2
0000386b: SLOAD
0000386c: DUP2
0000386d: LT
0000386e: PUSH2 0x3873
00003871: JUMPI
00003872: INVALID
00003873: JUMPDEST
00003874: SWAP1
00003875: PUSH1 0x00
00003877: MSTORE
00003878: PUSH1 0x20
0000387a: PUSH1 0x00
0000387c: KECCAK256
0000387d: ADD
0000387e: SLOAD
0000387f: SWAP1
00003880: POP
00003881: DUP1
00003882: DUP8
00003883: PUSH1 0x00
00003885: ADD
00003886: DUP5
00003887: DUP2
00003888: SLOAD
00003889: DUP2
0000388a: LT
0000388b: PUSH2 0x3890
0000388e: JUMPI
0000388f: INVALID
00003890: JUMPDEST
00003891: SWAP1
00003892: PUSH1 0x00
00003894: MSTORE
00003895: PUSH1 0x20
00003897: PUSH1 0x00
00003899: KECCAK256
0000389a: ADD
0000389b: DUP2
0000389c: SWAP1
0000389d: SSTORE
0000389e: POP
0000389f: DUP4
000038a0: DUP8
000038a1: PUSH1 0x01
000038a3: ADD
000038a4: PUSH1 0x00
000038a6: DUP4
000038a7: DUP2
000038a8: MSTORE
000038a9: PUSH1 0x20
000038ab: ADD
000038ac: SWAP1
000038ad: DUP2
000038ae: MSTORE
000038af: PUSH1 0x20
000038b1: ADD
000038b2: PUSH1 0x00
000038b4: KECCAK256
000038b5: DUP2
000038b6: SWAP1
000038b7: SSTORE
000038b8: POP
000038b9: POP
000038ba: JUMPDEST
000038bb: DUP6
000038bc: PUSH1 0x00
000038be: ADD
000038bf: DUP1
000038c0: SLOAD
000038c1: DUP1
000038c2: PUSH2 0x38c7
000038c5: JUMPI
000038c6: INVALID
000038c7: JUMPDEST
000038c8: PUSH1 0x01
000038ca: SWAP1
000038cb: SUB
000038cc: DUP2
000038cd: DUP2
000038ce: SWAP1
000038cf: PUSH1 0x00
000038d1: MSTORE
000038d2: PUSH1 0x20
000038d4: PUSH1 0x00
000038d6: KECCAK256
000038d7: ADD
000038d8: PUSH1 0x00
000038da: SWAP1
000038db: SSTORE
000038dc: SWAP1
000038dd: SSTORE
000038de: DUP6
000038df: PUSH1 0x01
000038e1: ADD
000038e2: PUSH1 0x00
000038e4: DUP7
000038e5: DUP2
000038e6: MSTORE
000038e7: PUSH1 0x20
000038e9: ADD
000038ea: SWAP1
000038eb: DUP2
000038ec: MSTORE
000038ed: PUSH1 0x20
000038ef: ADD
000038f0: PUSH1 0x00
000038f2: KECCAK256
000038f3: PUSH1 0x00
000038f5: SWAP1
000038f6: SSTORE
000038f7: PUSH1 0x01
000038f9: SWAP4
000038fa: POP
000038fb: POP
000038fc: POP
000038fd: POP
000038fe: PUSH2 0x3908
00003901: JUMP
00003902: JUMPDEST
00003903: PUSH1 0x00
00003905: SWAP2
00003906: POP
00003907: POP
00003908: JUMPDEST
00003909: SWAP3
0000390a: SWAP2
0000390b: POP
0000390c: POP
0000390d: JUMP
0000390e: JUMPDEST
0000390f: PUSH1 0x00
00003911: DUP1
00003912: PUSH1 0x00
00003914: DUP1
00003915: PUSH2 0x391d
00003918: DUP6
00003919: PUSH2 0x485b
0000391c: JUMP
0000391d: JUMPDEST
0000391e: SWAP1
0000391f: POP
00003920: PUSH1 0x00
00003922: PUSH2 0x392a
00003925: DUP7
00003926: PUSH2 0x488c
00003929: JUMP
0000392a: JUMPDEST
0000392b: SWAP1
0000392c: POP
0000392d: PUSH1 0x00
0000392f: PUSH2 0x3953
00003932: DUP3
00003933: PUSH2 0x3945
00003936: DUP6
00003937: DUP11
00003938: PUSH2 0x30cd
0000393b: SWAP1
0000393c: SWAP2
0000393d: SWAP1
0000393e: PUSH4 0xffffffff
00003943: AND
00003944: JUMP
00003945: JUMPDEST
00003946: PUSH2 0x30cd
00003949: SWAP1
0000394a: SWAP2
0000394b: SWAP1
0000394c: PUSH4 0xffffffff
00003951: AND
00003952: JUMP
00003953: JUMPDEST
00003954: SWAP1
00003955: POP
00003956: DUP1
00003957: DUP4
00003958: DUP4
00003959: SWAP6
0000395a: POP
0000395b: SWAP6
0000395c: POP
0000395d: SWAP6
0000395e: POP
0000395f: POP
00003960: POP
00003961: POP
00003962: SWAP2
00003963: SWAP4
00003964: SWAP1
00003965: SWAP3
00003966: POP
00003967: JUMP
00003968: JUMPDEST
00003969: PUSH1 0x00
0000396b: DUP1
0000396c: PUSH1 0x00
0000396e: DUP1
0000396f: PUSH2 0x3981
00003972: DUP6
00003973: DUP10
00003974: PUSH2 0x3147
00003977: SWAP1
00003978: SWAP2
00003979: SWAP1
0000397a: PUSH4 0xffffffff
0000397f: AND
00003980: JUMP
00003981: JUMPDEST
00003982: SWAP1
00003983: POP
00003984: PUSH1 0x00
00003986: PUSH2 0x3998
00003989: DUP7
0000398a: DUP10
0000398b: PUSH2 0x3147
0000398e: SWAP1
0000398f: SWAP2
00003990: SWAP1
00003991: PUSH4 0xffffffff
00003996: AND
00003997: JUMP
00003998: JUMPDEST
00003999: SWAP1
0000399a: POP
0000399b: PUSH1 0x00
0000399d: PUSH2 0x39af
000039a0: DUP8
000039a1: DUP10
000039a2: PUSH2 0x3147
000039a5: SWAP1
000039a6: SWAP2
000039a7: SWAP1
000039a8: PUSH4 0xffffffff
000039ad: AND
000039ae: JUMP
000039af: JUMPDEST
000039b0: SWAP1
000039b1: POP
000039b2: PUSH1 0x00
000039b4: PUSH2 0x39d8
000039b7: DUP3
000039b8: PUSH2 0x39ca
000039bb: DUP6
000039bc: DUP8
000039bd: PUSH2 0x30cd
000039c0: SWAP1
000039c1: SWAP2
000039c2: SWAP1
000039c3: PUSH4 0xffffffff
000039c8: AND
000039c9: JUMP
000039ca: JUMPDEST
000039cb: PUSH2 0x30cd
000039ce: SWAP1
000039cf: SWAP2
000039d0: SWAP1
000039d1: PUSH4 0xffffffff
000039d6: AND
000039d7: JUMP
000039d8: JUMPDEST
000039d9: SWAP1
000039da: POP
000039db: DUP4
000039dc: DUP2
000039dd: DUP5
000039de: SWAP7
000039df: POP
000039e0: SWAP7
000039e1: POP
000039e2: SWAP7
000039e3: POP
000039e4: POP
000039e5: POP
000039e6: POP
000039e7: POP
000039e8: SWAP5
000039e9: POP
000039ea: SWAP5
000039eb: POP
000039ec: SWAP5
000039ed: SWAP2
000039ee: POP
000039ef: POP
000039f0: JUMP
000039f1: JUMPDEST
000039f2: PUSH1 0x00
000039f4: PUSH2 0x39fd
000039f7: DUP4
000039f8: DUP4
000039f9: PUSH2 0x37fe
000039fc: JUMP
000039fd: JUMPDEST
000039fe: PUSH2 0x3a56
00003a01: JUMPI
00003a02: DUP3
00003a03: PUSH1 0x00
00003a05: ADD
00003a06: DUP3
00003a07: SWAP1
00003a08: DUP1
00003a09: PUSH1 0x01
00003a0b: DUP2
00003a0c: SLOAD
00003a0d: ADD
00003a0e: DUP1
00003a0f: DUP3
00003a10: SSTORE
00003a11: DUP1
00003a12: SWAP2
00003a13: POP
00003a14: POP
00003a15: PUSH1 0x01
00003a17: SWAP1
00003a18: SUB
00003a19: SWAP1
00003a1a: PUSH1 0x00
00003a1c: MSTORE
00003a1d: PUSH1 0x20
00003a1f: PUSH1 0x00
00003a21: KECCAK256
00003a22: ADD
00003a23: PUSH1 0x00
00003a25: SWAP1
00003a26: SWAP2
00003a27: SWAP1
00003a28: SWAP2
00003a29: SWAP1
00003a2a: SWAP2
00003a2b: POP
00003a2c: SSTORE
00003a2d: DUP3
00003a2e: PUSH1 0x00
00003a30: ADD
00003a31: DUP1
00003a32: SLOAD
00003a33: SWAP1
00003a34: POP
00003a35: DUP4
00003a36: PUSH1 0x01
00003a38: ADD
00003a39: PUSH1 0x00
00003a3b: DUP5
00003a3c: DUP2
00003a3d: MSTORE
00003a3e: PUSH1 0x20
00003a40: ADD
00003a41: SWAP1
00003a42: DUP2
00003a43: MSTORE
00003a44: PUSH1 0x20
00003a46: ADD
00003a47: PUSH1 0x00
00003a49: KECCAK256
00003a4a: DUP2
00003a4b: SWAP1
00003a4c: SSTORE
00003a4d: POP
00003a4e: PUSH1 0x01
00003a50: SWAP1
00003a51: POP
00003a52: PUSH2 0x3a5b
00003a55: JUMP
00003a56: JUMPDEST
00003a57: PUSH1 0x00
00003a59: SWAP1
00003a5a: POP
00003a5b: JUMPDEST
00003a5c: SWAP3
00003a5d: SWAP2
00003a5e: POP
00003a5f: POP
00003a60: JUMP
00003a61: JUMPDEST
00003a62: PUSH1 0x60
00003a64: PUSH1 0x02
00003a66: PUSH8 0xffffffffffffffff
00003a6f: DUP2
00003a70: GT
00003a71: DUP1
00003a72: ISZERO
00003a73: PUSH2 0x3a7b
00003a76: JUMPI
00003a77: PUSH1 0x00
00003a79: DUP1
00003a7a: REVERT
00003a7b: JUMPDEST
00003a7c: POP
00003a7d: PUSH1 0x40
00003a7f: MLOAD
00003a80: SWAP1
00003a81: DUP1
00003a82: DUP3
00003a83: MSTORE
00003a84: DUP1
00003a85: PUSH1 0x20
00003a87: MUL
00003a88: PUSH1 0x20
00003a8a: ADD
00003a8b: DUP3
00003a8c: ADD
00003a8d: PUSH1 0x40
00003a8f: MSTORE
00003a90: DUP1
00003a91: ISZERO
00003a92: PUSH2 0x3aaa
00003a95: JUMPI
00003a96: DUP2
00003a97: PUSH1 0x20
00003a99: ADD
00003a9a: PUSH1 0x20
00003a9c: DUP3
00003a9d: MUL
00003a9e: DUP1
00003a9f: CALLDATASIZE
00003aa0: DUP4
00003aa1: CALLDATACOPY
00003aa2: DUP1
00003aa3: DUP3
00003aa4: ADD
00003aa5: SWAP2
00003aa6: POP
00003aa7: POP
00003aa8: SWAP1
00003aa9: POP
00003aaa: JUMPDEST
00003aab: POP
00003aac: SWAP1
00003aad: POP
00003aae: ADDRESS
00003aaf: DUP2
00003ab0: PUSH1 0x00
00003ab2: DUP2
00003ab3: MLOAD
00003ab4: DUP2
00003ab5: LT
00003ab6: PUSH2 0x3abb
00003ab9: JUMPI
00003aba: INVALID
00003abb: JUMPDEST
00003abc: PUSH1 0x20
00003abe: MUL
00003abf: PUSH1 0x20
00003ac1: ADD
00003ac2: ADD
00003ac3: SWAP1
00003ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ad9: AND
00003ada: SWAP1
00003adb: DUP2
00003adc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003af1: AND
00003af2: DUP2
00003af3: MSTORE
00003af4: POP
00003af5: POP
00003af6: PUSH1 0x10
00003af8: PUSH1 0x00
00003afa: SWAP1
00003afb: SLOAD
00003afc: SWAP1
00003afd: PUSH2 0x0100
00003b00: EXP
00003b01: SWAP1
00003b02: DIV
00003b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b18: AND
00003b19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b2e: AND
00003b2f: PUSH4 0xad5c4648
00003b34: PUSH1 0x40
00003b36: MLOAD
00003b37: DUP2
00003b38: PUSH4 0xffffffff
00003b3d: AND
00003b3e: PUSH1 0xe0
00003b40: SHL
00003b41: DUP2
00003b42: MSTORE
00003b43: PUSH1 0x04
00003b45: ADD
00003b46: PUSH1 0x20
00003b48: PUSH1 0x40
00003b4a: MLOAD
00003b4b: DUP1
00003b4c: DUP4
00003b4d: SUB
00003b4e: DUP2
00003b4f: DUP7
00003b50: DUP1
00003b51: EXTCODESIZE
00003b52: ISZERO
00003b53: DUP1
00003b54: ISZERO
00003b55: PUSH2 0x3b5d
00003b58: JUMPI
00003b59: PUSH1 0x00
00003b5b: DUP1
00003b5c: REVERT
00003b5d: JUMPDEST
00003b5e: POP
00003b5f: GAS
00003b60: STATICCALL
00003b61: ISZERO
00003b62: DUP1
00003b63: ISZERO
00003b64: PUSH2 0x3b71
00003b67: JUMPI
00003b68: RETURNDATASIZE
00003b69: PUSH1 0x00
00003b6b: DUP1
00003b6c: RETURNDATACOPY
00003b6d: RETURNDATASIZE
00003b6e: PUSH1 0x00
00003b70: REVERT
00003b71: JUMPDEST
00003b72: POP
00003b73: POP
00003b74: POP
00003b75: POP
00003b76: PUSH1 0x40
00003b78: MLOAD
00003b79: RETURNDATASIZE
00003b7a: PUSH1 0x20
00003b7c: DUP2
00003b7d: LT
00003b7e: ISZERO
00003b7f: PUSH2 0x3b87
00003b82: JUMPI
00003b83: PUSH1 0x00
00003b85: DUP1
00003b86: REVERT
00003b87: JUMPDEST
00003b88: DUP2
00003b89: ADD
00003b8a: SWAP1
00003b8b: DUP1
00003b8c: DUP1
00003b8d: MLOAD
00003b8e: SWAP1
00003b8f: PUSH1 0x20
00003b91: ADD
00003b92: SWAP1
00003b93: SWAP3
00003b94: SWAP2
00003b95: SWAP1
00003b96: POP
00003b97: POP
00003b98: POP
00003b99: DUP2
00003b9a: PUSH1 0x01
00003b9c: DUP2
00003b9d: MLOAD
00003b9e: DUP2
00003b9f: LT
00003ba0: PUSH2 0x3ba5
00003ba3: JUMPI
00003ba4: INVALID
00003ba5: JUMPDEST
00003ba6: PUSH1 0x20
00003ba8: MUL
00003ba9: PUSH1 0x20
00003bab: ADD
00003bac: ADD
00003bad: SWAP1
00003bae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bc3: AND
00003bc4: SWAP1
00003bc5: DUP2
00003bc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bdb: AND
00003bdc: DUP2
00003bdd: MSTORE
00003bde: POP
00003bdf: POP
00003be0: PUSH2 0x3c0c
00003be3: ADDRESS
00003be4: PUSH1 0x10
00003be6: PUSH1 0x00
00003be8: SWAP1
00003be9: SLOAD
00003bea: SWAP1
00003beb: PUSH2 0x0100
00003bee: EXP
00003bef: SWAP1
00003bf0: DIV
00003bf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c06: AND
00003c07: DUP5
00003c08: PUSH2 0x2873
00003c0b: JUMP
00003c0c: JUMPDEST
00003c0d: PUSH1 0x10
00003c0f: PUSH1 0x00
00003c11: SWAP1
00003c12: SLOAD
00003c13: SWAP1
00003c14: PUSH2 0x0100
00003c17: EXP
00003c18: SWAP1
00003c19: DIV
00003c1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c2f: AND
00003c30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c45: AND
00003c46: PUSH4 0x791ac947
00003c4b: DUP4
00003c4c: PUSH1 0x00
00003c4e: DUP5
00003c4f: ADDRESS
00003c50: TIMESTAMP
00003c51: PUSH1 0x40
00003c53: MLOAD
00003c54: DUP7
00003c55: PUSH4 0xffffffff
00003c5a: AND
00003c5b: PUSH1 0xe0
00003c5d: SHL
00003c5e: DUP2
00003c5f: MSTORE
00003c60: PUSH1 0x04
00003c62: ADD
00003c63: DUP1
00003c64: DUP7
00003c65: DUP2
00003c66: MSTORE
00003c67: PUSH1 0x20
00003c69: ADD
00003c6a: DUP6
00003c6b: DUP2
00003c6c: MSTORE
00003c6d: PUSH1 0x20
00003c6f: ADD
00003c70: DUP1
00003c71: PUSH1 0x20
00003c73: ADD
00003c74: DUP5
00003c75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c8a: AND
00003c8b: DUP2
00003c8c: MSTORE
00003c8d: PUSH1 0x20
00003c8f: ADD
00003c90: DUP4
00003c91: DUP2
00003c92: MSTORE
00003c93: PUSH1 0x20
00003c95: ADD
00003c96: DUP3
00003c97: DUP2
00003c98: SUB
00003c99: DUP3
00003c9a: MSTORE
00003c9b: DUP6
00003c9c: DUP2
00003c9d: DUP2
00003c9e: MLOAD
00003c9f: DUP2
00003ca0: MSTORE
00003ca1: PUSH1 0x20
00003ca3: ADD
00003ca4: SWAP2
00003ca5: POP
00003ca6: DUP1
00003ca7: MLOAD
00003ca8: SWAP1
00003ca9: PUSH1 0x20
00003cab: ADD
00003cac: SWAP1
00003cad: PUSH1 0x20
00003caf: MUL
00003cb0: DUP1
00003cb1: DUP4
00003cb2: DUP4
00003cb3: PUSH1 0x00
00003cb5: JUMPDEST
00003cb6: DUP4
00003cb7: DUP2
00003cb8: LT
00003cb9: ISZERO
00003cba: PUSH2 0x3cd0
00003cbd: JUMPI
00003cbe: DUP1
00003cbf: DUP3
00003cc0: ADD
00003cc1: MLOAD
00003cc2: DUP2
00003cc3: DUP5
00003cc4: ADD
00003cc5: MSTORE
00003cc6: PUSH1 0x20
00003cc8: DUP2
00003cc9: ADD
00003cca: SWAP1
00003ccb: POP
00003ccc: PUSH2 0x3cb5
00003ccf: JUMP
00003cd0: JUMPDEST
00003cd1: POP
00003cd2: POP
00003cd3: POP
00003cd4: POP
00003cd5: SWAP1
00003cd6: POP
00003cd7: ADD
00003cd8: SWAP7
00003cd9: POP
00003cda: POP
00003cdb: POP
00003cdc: POP
00003cdd: POP
00003cde: POP
00003cdf: POP
00003ce0: PUSH1 0x00
00003ce2: PUSH1 0x40
00003ce4: MLOAD
00003ce5: DUP1
00003ce6: DUP4
00003ce7: SUB
00003ce8: DUP2
00003ce9: PUSH1 0x00
00003ceb: DUP8
00003cec: DUP1
00003ced: EXTCODESIZE
00003cee: ISZERO
00003cef: DUP1
00003cf0: ISZERO
00003cf1: PUSH2 0x3cf9
00003cf4: JUMPI
00003cf5: PUSH1 0x00
00003cf7: DUP1
00003cf8: REVERT
00003cf9: JUMPDEST
00003cfa: POP
00003cfb: GAS
00003cfc: CALL
00003cfd: ISZERO
00003cfe: DUP1
00003cff: ISZERO
00003d00: PUSH2 0x3d0d
00003d03: JUMPI
00003d04: RETURNDATASIZE
00003d05: PUSH1 0x00
00003d07: DUP1
00003d08: RETURNDATACOPY
00003d09: RETURNDATASIZE
00003d0a: PUSH1 0x00
00003d0c: REVERT
00003d0d: JUMPDEST
00003d0e: POP
00003d0f: POP
00003d10: POP
00003d11: POP
00003d12: POP
00003d13: POP
00003d14: JUMP
00003d15: JUMPDEST
00003d16: PUSH2 0x3d42
00003d19: ADDRESS
00003d1a: PUSH1 0x10
00003d1c: PUSH1 0x00
00003d1e: SWAP1
00003d1f: SLOAD
00003d20: SWAP1
00003d21: PUSH2 0x0100
00003d24: EXP
00003d25: SWAP1
00003d26: DIV
00003d27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d3c: AND
00003d3d: DUP5
00003d3e: PUSH2 0x2873
00003d41: JUMP
00003d42: JUMPDEST
00003d43: PUSH1 0x10
00003d45: PUSH1 0x00
00003d47: SWAP1
00003d48: SLOAD
00003d49: SWAP1
00003d4a: PUSH2 0x0100
00003d4d: EXP
00003d4e: SWAP1
00003d4f: DIV
00003d50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d65: AND
00003d66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d7b: AND
00003d7c: PUSH4 0xf305d719
00003d81: DUP3
00003d82: ADDRESS
00003d83: DUP6
00003d84: PUSH1 0x00
00003d86: DUP1
00003d87: PUSH2 0x3d8e
00003d8a: PUSH2 0x1ca4
00003d8d: JUMP
00003d8e: JUMPDEST
00003d8f: TIMESTAMP
00003d90: PUSH1 0x40
00003d92: MLOAD
00003d93: DUP9
00003d94: PUSH4 0xffffffff
00003d99: AND
00003d9a: PUSH1 0xe0
00003d9c: SHL
00003d9d: DUP2
00003d9e: MSTORE
00003d9f: PUSH1 0x04
00003da1: ADD
00003da2: DUP1
00003da3: DUP8
00003da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003db9: AND
00003dba: DUP2
00003dbb: MSTORE
00003dbc: PUSH1 0x20
00003dbe: ADD
00003dbf: DUP7
00003dc0: DUP2
00003dc1: MSTORE
00003dc2: PUSH1 0x20
00003dc4: ADD
00003dc5: DUP6
00003dc6: DUP2
00003dc7: MSTORE
00003dc8: PUSH1 0x20
00003dca: ADD
00003dcb: DUP5
00003dcc: DUP2
00003dcd: MSTORE
00003dce: PUSH1 0x20
00003dd0: ADD
00003dd1: DUP4
00003dd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003de7: AND
00003de8: DUP2
00003de9: MSTORE
00003dea: PUSH1 0x20
00003dec: ADD
00003ded: DUP3
00003dee: DUP2
00003def: MSTORE
00003df0: PUSH1 0x20
00003df2: ADD
00003df3: SWAP7
00003df4: POP
00003df5: POP
00003df6: POP
00003df7: POP
00003df8: POP
00003df9: POP
00003dfa: POP
00003dfb: PUSH1 0x60
00003dfd: PUSH1 0x40
00003dff: MLOAD
00003e00: DUP1
00003e01: DUP4
00003e02: SUB
00003e03: DUP2
00003e04: DUP6
00003e05: DUP9
00003e06: DUP1
00003e07: EXTCODESIZE
00003e08: ISZERO
00003e09: DUP1
00003e0a: ISZERO
00003e0b: PUSH2 0x3e13
00003e0e: JUMPI
00003e0f: PUSH1 0x00
00003e11: DUP1
00003e12: REVERT
00003e13: JUMPDEST
00003e14: POP
00003e15: GAS
00003e16: CALL
00003e17: ISZERO
00003e18: DUP1
00003e19: ISZERO
00003e1a: PUSH2 0x3e27
00003e1d: JUMPI
00003e1e: RETURNDATASIZE
00003e1f: PUSH1 0x00
00003e21: DUP1
00003e22: RETURNDATACOPY
00003e23: RETURNDATASIZE
00003e24: PUSH1 0x00
00003e26: REVERT
00003e27: JUMPDEST
00003e28: POP
00003e29: POP
00003e2a: POP
00003e2b: POP
00003e2c: POP
00003e2d: PUSH1 0x40
00003e2f: MLOAD
00003e30: RETURNDATASIZE
00003e31: PUSH1 0x60
00003e33: DUP2
00003e34: LT
00003e35: ISZERO
00003e36: PUSH2 0x3e3e
00003e39: JUMPI
00003e3a: PUSH1 0x00
00003e3c: DUP1
00003e3d: REVERT
00003e3e: JUMPDEST
00003e3f: DUP2
00003e40: ADD
00003e41: SWAP1
00003e42: DUP1
00003e43: DUP1
00003e44: MLOAD
00003e45: SWAP1
00003e46: PUSH1 0x20
00003e48: ADD
00003e49: SWAP1
00003e4a: SWAP3
00003e4b: SWAP2
00003e4c: SWAP1
00003e4d: DUP1
00003e4e: MLOAD
00003e4f: SWAP1
00003e50: PUSH1 0x20
00003e52: ADD
00003e53: SWAP1
00003e54: SWAP3
00003e55: SWAP2
00003e56: SWAP1
00003e57: DUP1
00003e58: MLOAD
00003e59: SWAP1
00003e5a: PUSH1 0x20
00003e5c: ADD
00003e5d: SWAP1
00003e5e: SWAP3
00003e5f: SWAP2
00003e60: SWAP1
00003e61: POP
00003e62: POP
00003e63: POP
00003e64: POP
00003e65: POP
00003e66: POP
00003e67: POP
00003e68: POP
00003e69: JUMP
00003e6a: JUMPDEST
00003e6b: PUSH1 0x00
00003e6d: PUSH1 0x0c
00003e6f: SLOAD
00003e70: EQ
00003e71: DUP1
00003e72: ISZERO
00003e73: PUSH2 0x3e7e
00003e76: JUMPI
00003e77: POP
00003e78: PUSH1 0x00
00003e7a: PUSH1 0x0e
00003e7c: SLOAD
00003e7d: EQ
00003e7e: JUMPDEST
00003e7f: ISZERO
00003e80: PUSH2 0x3e88
00003e83: JUMPI
00003e84: PUSH2 0x3eab
00003e87: JUMP
00003e88: JUMPDEST
00003e89: PUSH1 0x0c
00003e8b: SLOAD
00003e8c: PUSH1 0x0d
00003e8e: DUP2
00003e8f: SWAP1
00003e90: SSTORE
00003e91: POP
00003e92: PUSH1 0x0e
00003e94: SLOAD
00003e95: PUSH1 0x0f
00003e97: DUP2
00003e98: SWAP1
00003e99: SSTORE
00003e9a: POP
00003e9b: PUSH1 0x00
00003e9d: PUSH1 0x0c
00003e9f: DUP2
00003ea0: SWAP1
00003ea1: SSTORE
00003ea2: POP
00003ea3: PUSH1 0x00
00003ea5: PUSH1 0x0e
00003ea7: DUP2
00003ea8: SWAP1
00003ea9: SSTORE
00003eaa: POP
00003eab: JUMPDEST
00003eac: JUMP
00003ead: JUMPDEST
00003eae: PUSH1 0x00
00003eb0: DUP1
00003eb1: PUSH1 0x00
00003eb3: DUP1
00003eb4: PUSH1 0x00
00003eb6: DUP1
00003eb7: PUSH2 0x3ebf
00003eba: DUP8
00003ebb: PUSH2 0x3071
00003ebe: JUMP
00003ebf: JUMPDEST
00003ec0: SWAP6
00003ec1: POP
00003ec2: SWAP6
00003ec3: POP
00003ec4: SWAP6
00003ec5: POP
00003ec6: SWAP6
00003ec7: POP
00003ec8: SWAP6
00003ec9: POP
00003eca: SWAP6
00003ecb: POP
00003ecc: PUSH2 0x3f1d
00003ecf: DUP8
00003ed0: PUSH1 0x04
00003ed2: PUSH1 0x00
00003ed4: DUP13
00003ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003eea: AND
00003eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f00: AND
00003f01: DUP2
00003f02: MSTORE
00003f03: PUSH1 0x20
00003f05: ADD
00003f06: SWAP1
00003f07: DUP2
00003f08: MSTORE
00003f09: PUSH1 0x20
00003f0b: ADD
00003f0c: PUSH1 0x00
00003f0e: KECCAK256
00003f0f: SLOAD
00003f10: PUSH2 0x30cd
00003f13: SWAP1
00003f14: SWAP2
00003f15: SWAP1
00003f16: PUSH4 0xffffffff
00003f1b: AND
00003f1c: JUMP
00003f1d: JUMPDEST
00003f1e: PUSH1 0x04
00003f20: PUSH1 0x00
00003f22: DUP12
00003f23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f38: AND
00003f39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f4e: AND
00003f4f: DUP2
00003f50: MSTORE
00003f51: PUSH1 0x20
00003f53: ADD
00003f54: SWAP1
00003f55: DUP2
00003f56: MSTORE
00003f57: PUSH1 0x20
00003f59: ADD
00003f5a: PUSH1 0x00
00003f5c: KECCAK256
00003f5d: DUP2
00003f5e: SWAP1
00003f5f: SSTORE
00003f60: POP
00003f61: PUSH2 0x3fb2
00003f64: DUP7
00003f65: PUSH1 0x03
00003f67: PUSH1 0x00
00003f69: DUP13
00003f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f7f: AND
00003f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f95: AND
00003f96: DUP2
00003f97: MSTORE
00003f98: PUSH1 0x20
00003f9a: ADD
00003f9b: SWAP1
00003f9c: DUP2
00003f9d: MSTORE
00003f9e: PUSH1 0x20
00003fa0: ADD
00003fa1: PUSH1 0x00
00003fa3: KECCAK256
00003fa4: SLOAD
00003fa5: PUSH2 0x30cd
00003fa8: SWAP1
00003fa9: SWAP2
00003faa: SWAP1
00003fab: PUSH4 0xffffffff
00003fb0: AND
00003fb1: JUMP
00003fb2: JUMPDEST
00003fb3: PUSH1 0x03
00003fb5: PUSH1 0x00
00003fb7: DUP12
00003fb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fcd: AND
00003fce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fe3: AND
00003fe4: DUP2
00003fe5: MSTORE
00003fe6: PUSH1 0x20
00003fe8: ADD
00003fe9: SWAP1
00003fea: DUP2
00003feb: MSTORE
00003fec: PUSH1 0x20
00003fee: ADD
00003fef: PUSH1 0x00
00003ff1: KECCAK256
00003ff2: DUP2
00003ff3: SWAP1
00003ff4: SSTORE
00003ff5: POP
00003ff6: PUSH2 0x4047
00003ff9: DUP6
00003ffa: PUSH1 0x03
00003ffc: PUSH1 0x00
00003ffe: DUP12
00003fff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004014: AND
00004015: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000402a: AND
0000402b: DUP2
0000402c: MSTORE
0000402d: PUSH1 0x20
0000402f: ADD
00004030: SWAP1
00004031: DUP2
00004032: MSTORE
00004033: PUSH1 0x20
00004035: ADD
00004036: PUSH1 0x00
00004038: KECCAK256
00004039: SLOAD
0000403a: PUSH2 0x2fe9
0000403d: SWAP1
0000403e: SWAP2
0000403f: SWAP1
00004040: PUSH4 0xffffffff
00004045: AND
00004046: JUMP
00004047: JUMPDEST
00004048: PUSH1 0x03
0000404a: PUSH1 0x00
0000404c: DUP11
0000404d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004062: AND
00004063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004078: AND
00004079: DUP2
0000407a: MSTORE
0000407b: PUSH1 0x20
0000407d: ADD
0000407e: SWAP1
0000407f: DUP2
00004080: MSTORE
00004081: PUSH1 0x20
00004083: ADD
00004084: PUSH1 0x00
00004086: KECCAK256
00004087: DUP2
00004088: SWAP1
00004089: SSTORE
0000408a: POP
0000408b: PUSH2 0x4093
0000408e: DUP2
0000408f: PUSH2 0x48bd
00004092: JUMP
00004093: JUMPDEST
00004094: PUSH2 0x409d
00004097: DUP5
00004098: DUP4
00004099: PUSH2 0x4a62
0000409c: JUMP
0000409d: JUMPDEST
0000409e: DUP8
0000409f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040b4: AND
000040b5: DUP10
000040b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040cb: AND
000040cc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000040ed: DUP6
000040ee: PUSH1 0x40
000040f0: MLOAD
000040f1: DUP1
000040f2: DUP3
000040f3: DUP2
000040f4: MSTORE
000040f5: PUSH1 0x20
000040f7: ADD
000040f8: SWAP2
000040f9: POP
000040fa: POP
000040fb: PUSH1 0x40
000040fd: MLOAD
000040fe: DUP1
000040ff: SWAP2
00004100: SUB
00004101: SWAP1
00004102: LOG3
00004103: POP
00004104: POP
00004105: POP
00004106: POP
00004107: POP
00004108: POP
00004109: POP
0000410a: POP
0000410b: POP
0000410c: JUMP
0000410d: JUMPDEST
0000410e: PUSH1 0x00
00004110: DUP1
00004111: PUSH1 0x00
00004113: DUP1
00004114: PUSH1 0x00
00004116: DUP1
00004117: PUSH2 0x411f
0000411a: DUP8
0000411b: PUSH2 0x3071
0000411e: JUMP
0000411f: JUMPDEST
00004120: SWAP6
00004121: POP
00004122: SWAP6
00004123: POP
00004124: SWAP6
00004125: POP
00004126: SWAP6
00004127: POP
00004128: SWAP6
00004129: POP
0000412a: SWAP6
0000412b: POP
0000412c: PUSH2 0x417d
0000412f: DUP7
00004130: PUSH1 0x03
00004132: PUSH1 0x00
00004134: DUP13
00004135: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000414a: AND
0000414b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004160: AND
00004161: DUP2
00004162: MSTORE
00004163: PUSH1 0x20
00004165: ADD
00004166: SWAP1
00004167: DUP2
00004168: MSTORE
00004169: PUSH1 0x20
0000416b: ADD
0000416c: PUSH1 0x00
0000416e: KECCAK256
0000416f: SLOAD
00004170: PUSH2 0x30cd
00004173: SWAP1
00004174: SWAP2
00004175: SWAP1
00004176: PUSH4 0xffffffff
0000417b: AND
0000417c: JUMP
0000417d: JUMPDEST
0000417e: PUSH1 0x03
00004180: PUSH1 0x00
00004182: DUP12
00004183: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004198: AND
00004199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041ae: AND
000041af: DUP2
000041b0: MSTORE
000041b1: PUSH1 0x20
000041b3: ADD
000041b4: SWAP1
000041b5: DUP2
000041b6: MSTORE
000041b7: PUSH1 0x20
000041b9: ADD
000041ba: PUSH1 0x00
000041bc: KECCAK256
000041bd: DUP2
000041be: SWAP1
000041bf: SSTORE
000041c0: POP
000041c1: PUSH2 0x4212
000041c4: DUP4
000041c5: PUSH1 0x04
000041c7: PUSH1 0x00
000041c9: DUP12
000041ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041df: AND
000041e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041f5: AND
000041f6: DUP2
000041f7: MSTORE
000041f8: PUSH1 0x20
000041fa: ADD
000041fb: SWAP1
000041fc: DUP2
000041fd: MSTORE
000041fe: PUSH1 0x20
00004200: ADD
00004201: PUSH1 0x00
00004203: KECCAK256
00004204: SLOAD
00004205: PUSH2 0x2fe9
00004208: SWAP1
00004209: SWAP2
0000420a: SWAP1
0000420b: PUSH4 0xffffffff
00004210: AND
00004211: JUMP
00004212: JUMPDEST
00004213: PUSH1 0x04
00004215: PUSH1 0x00
00004217: DUP11
00004218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000422d: AND
0000422e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004243: AND
00004244: DUP2
00004245: MSTORE
00004246: PUSH1 0x20
00004248: ADD
00004249: SWAP1
0000424a: DUP2
0000424b: MSTORE
0000424c: PUSH1 0x20
0000424e: ADD
0000424f: PUSH1 0x00
00004251: KECCAK256
00004252: DUP2
00004253: SWAP1
00004254: SSTORE
00004255: POP
00004256: PUSH2 0x42a7
00004259: DUP6
0000425a: PUSH1 0x03
0000425c: PUSH1 0x00
0000425e: DUP12
0000425f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004274: AND
00004275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000428a: AND
0000428b: DUP2
0000428c: MSTORE
0000428d: PUSH1 0x20
0000428f: ADD
00004290: SWAP1
00004291: DUP2
00004292: MSTORE
00004293: PUSH1 0x20
00004295: ADD
00004296: PUSH1 0x00
00004298: KECCAK256
00004299: SLOAD
0000429a: PUSH2 0x2fe9
0000429d: SWAP1
0000429e: SWAP2
0000429f: SWAP1
000042a0: PUSH4 0xffffffff
000042a5: AND
000042a6: JUMP
000042a7: JUMPDEST
000042a8: PUSH1 0x03
000042aa: PUSH1 0x00
000042ac: DUP11
000042ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042c2: AND
000042c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042d8: AND
000042d9: DUP2
000042da: MSTORE
000042db: PUSH1 0x20
000042dd: ADD
000042de: SWAP1
000042df: DUP2
000042e0: MSTORE
000042e1: PUSH1 0x20
000042e3: ADD
000042e4: PUSH1 0x00
000042e6: KECCAK256
000042e7: DUP2
000042e8: SWAP1
000042e9: SSTORE
000042ea: POP
000042eb: PUSH2 0x42f3
000042ee: DUP2
000042ef: PUSH2 0x48bd
000042f2: JUMP
000042f3: JUMPDEST
000042f4: PUSH2 0x42fd
000042f7: DUP5
000042f8: DUP4
000042f9: PUSH2 0x4a62
000042fc: JUMP
000042fd: JUMPDEST
000042fe: DUP8
000042ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004314: AND
00004315: DUP10
00004316: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000432b: AND
0000432c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000434d: DUP6
0000434e: PUSH1 0x40
00004350: MLOAD
00004351: DUP1
00004352: DUP3
00004353: DUP2
00004354: MSTORE
00004355: PUSH1 0x20
00004357: ADD
00004358: SWAP2
00004359: POP
0000435a: POP
0000435b: PUSH1 0x40
0000435d: MLOAD
0000435e: DUP1
0000435f: SWAP2
00004360: SUB
00004361: SWAP1
00004362: LOG3
00004363: POP
00004364: POP
00004365: POP
00004366: POP
00004367: POP
00004368: POP
00004369: POP
0000436a: POP
0000436b: POP
0000436c: JUMP
0000436d: JUMPDEST
0000436e: PUSH1 0x00
00004370: DUP1
00004371: PUSH1 0x00
00004373: DUP1
00004374: PUSH1 0x00
00004376: DUP1
00004377: PUSH2 0x437f
0000437a: DUP8
0000437b: PUSH2 0x3071
0000437e: JUMP
0000437f: JUMPDEST
00004380: SWAP6
00004381: POP
00004382: SWAP6
00004383: POP
00004384: SWAP6
00004385: POP
00004386: SWAP6
00004387: POP
00004388: SWAP6
00004389: POP
0000438a: SWAP6
0000438b: POP
0000438c: PUSH2 0x43dd
0000438f: DUP8
00004390: PUSH1 0x04
00004392: PUSH1 0x00
00004394: DUP13
00004395: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043aa: AND
000043ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043c0: AND
000043c1: DUP2
000043c2: MSTORE
000043c3: PUSH1 0x20
000043c5: ADD
000043c6: SWAP1
000043c7: DUP2
000043c8: MSTORE
000043c9: PUSH1 0x20
000043cb: ADD
000043cc: PUSH1 0x00
000043ce: KECCAK256
000043cf: SLOAD
000043d0: PUSH2 0x30cd
000043d3: SWAP1
000043d4: SWAP2
000043d5: SWAP1
000043d6: PUSH4 0xffffffff
000043db: AND
000043dc: JUMP
000043dd: JUMPDEST
000043de: PUSH1 0x04
000043e0: PUSH1 0x00
000043e2: DUP12
000043e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043f8: AND
000043f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000440e: AND
0000440f: DUP2
00004410: MSTORE
00004411: PUSH1 0x20
00004413: ADD
00004414: SWAP1
00004415: DUP2
00004416: MSTORE
00004417: PUSH1 0x20
00004419: ADD
0000441a: PUSH1 0x00
0000441c: KECCAK256
0000441d: DUP2
0000441e: SWAP1
0000441f: SSTORE
00004420: POP
00004421: PUSH2 0x4472
00004424: DUP7
00004425: PUSH1 0x03
00004427: PUSH1 0x00
00004429: DUP13
0000442a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000443f: AND
00004440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004455: AND
00004456: DUP2
00004457: MSTORE
00004458: PUSH1 0x20
0000445a: ADD
0000445b: SWAP1
0000445c: DUP2
0000445d: MSTORE
0000445e: PUSH1 0x20
00004460: ADD
00004461: PUSH1 0x00
00004463: KECCAK256
00004464: SLOAD
00004465: PUSH2 0x30cd
00004468: SWAP1
00004469: SWAP2
0000446a: SWAP1
0000446b: PUSH4 0xffffffff
00004470: AND
00004471: JUMP
00004472: JUMPDEST
00004473: PUSH1 0x03
00004475: PUSH1 0x00
00004477: DUP12
00004478: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000448d: AND
0000448e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044a3: AND
000044a4: DUP2
000044a5: MSTORE
000044a6: PUSH1 0x20
000044a8: ADD
000044a9: SWAP1
000044aa: DUP2
000044ab: MSTORE
000044ac: PUSH1 0x20
000044ae: ADD
000044af: PUSH1 0x00
000044b1: KECCAK256
000044b2: DUP2
000044b3: SWAP1
000044b4: SSTORE
000044b5: POP
000044b6: PUSH2 0x4507
000044b9: DUP4
000044ba: PUSH1 0x04
000044bc: PUSH1 0x00
000044be: DUP12
000044bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044d4: AND
000044d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044ea: AND
000044eb: DUP2
000044ec: MSTORE
000044ed: PUSH1 0x20
000044ef: ADD
000044f0: SWAP1
000044f1: DUP2
000044f2: MSTORE
000044f3: PUSH1 0x20
000044f5: ADD
000044f6: PUSH1 0x00
000044f8: KECCAK256
000044f9: SLOAD
000044fa: PUSH2 0x2fe9
000044fd: SWAP1
000044fe: SWAP2
000044ff: SWAP1
00004500: PUSH4 0xffffffff
00004505: AND
00004506: JUMP
00004507: JUMPDEST
00004508: PUSH1 0x04
0000450a: PUSH1 0x00
0000450c: DUP11
0000450d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004522: AND
00004523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004538: AND
00004539: DUP2
0000453a: MSTORE
0000453b: PUSH1 0x20
0000453d: ADD
0000453e: SWAP1
0000453f: DUP2
00004540: MSTORE
00004541: PUSH1 0x20
00004543: ADD
00004544: PUSH1 0x00
00004546: KECCAK256
00004547: DUP2
00004548: SWAP1
00004549: SSTORE
0000454a: POP
0000454b: PUSH2 0x459c
0000454e: DUP6
0000454f: PUSH1 0x03
00004551: PUSH1 0x00
00004553: DUP12
00004554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004569: AND
0000456a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000457f: AND
00004580: DUP2
00004581: MSTORE
00004582: PUSH1 0x20
00004584: ADD
00004585: SWAP1
00004586: DUP2
00004587: MSTORE
00004588: PUSH1 0x20
0000458a: ADD
0000458b: PUSH1 0x00
0000458d: KECCAK256
0000458e: SLOAD
0000458f: PUSH2 0x2fe9
00004592: SWAP1
00004593: SWAP2
00004594: SWAP1
00004595: PUSH4 0xffffffff
0000459a: AND
0000459b: JUMP
0000459c: JUMPDEST
0000459d: PUSH1 0x03
0000459f: PUSH1 0x00
000045a1: DUP11
000045a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045b7: AND
000045b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000045cd: AND
000045ce: DUP2
000045cf: MSTORE
000045d0: PUSH1 0x20
000045d2: ADD
000045d3: SWAP1
000045d4: DUP2
000045d5: MSTORE
000045d6: PUSH1 0x20
000045d8: ADD
000045d9: PUSH1 0x00
000045db: KECCAK256
000045dc: DUP2
000045dd: SWAP1
000045de: SSTORE
000045df: POP
000045e0: PUSH2 0x45e8
000045e3: DUP2
000045e4: PUSH2 0x48bd
000045e7: JUMP
000045e8: JUMPDEST
000045e9: PUSH2 0x45f2
000045ec: DUP5
000045ed: DUP4
000045ee: PUSH2 0x4a62
000045f1: JUMP
000045f2: JUMPDEST
000045f3: DUP8
000045f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004609: AND
0000460a: DUP10
0000460b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004620: AND
00004621: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00004642: DUP6
00004643: PUSH1 0x40
00004645: MLOAD
00004646: DUP1
00004647: DUP3
00004648: DUP2
00004649: MSTORE
0000464a: PUSH1 0x20
0000464c: ADD
0000464d: SWAP2
0000464e: POP
0000464f: POP
00004650: PUSH1 0x40
00004652: MLOAD
00004653: DUP1
00004654: SWAP2
00004655: SUB
00004656: SWAP1
00004657: LOG3
00004658: POP
00004659: POP
0000465a: POP
0000465b: POP
0000465c: POP
0000465d: POP
0000465e: POP
0000465f: POP
00004660: POP
00004661: JUMP
00004662: JUMPDEST
00004663: PUSH1 0x00
00004665: DUP1
00004666: PUSH1 0x00
00004668: DUP1
00004669: PUSH1 0x00
0000466b: DUP1
0000466c: PUSH2 0x4674
0000466f: DUP8
00004670: PUSH2 0x3071
00004673: JUMP
00004674: JUMPDEST
00004675: SWAP6
00004676: POP
00004677: SWAP6
00004678: POP
00004679: SWAP6
0000467a: POP
0000467b: SWAP6
0000467c: POP
0000467d: SWAP6
0000467e: POP
0000467f: SWAP6
00004680: POP
00004681: PUSH2 0x46d2
00004684: DUP7
00004685: PUSH1 0x03
00004687: PUSH1 0x00
00004689: DUP13
0000468a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000469f: AND
000046a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046b5: AND
000046b6: DUP2
000046b7: MSTORE
000046b8: PUSH1 0x20
000046ba: ADD
000046bb: SWAP1
000046bc: DUP2
000046bd: MSTORE
000046be: PUSH1 0x20
000046c0: ADD
000046c1: PUSH1 0x00
000046c3: KECCAK256
000046c4: SLOAD
000046c5: PUSH2 0x30cd
000046c8: SWAP1
000046c9: SWAP2
000046ca: SWAP1
000046cb: PUSH4 0xffffffff
000046d0: AND
000046d1: JUMP
000046d2: JUMPDEST
000046d3: PUSH1 0x03
000046d5: PUSH1 0x00
000046d7: DUP12
000046d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046ed: AND
000046ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004703: AND
00004704: DUP2
00004705: MSTORE
00004706: PUSH1 0x20
00004708: ADD
00004709: SWAP1
0000470a: DUP2
0000470b: MSTORE
0000470c: PUSH1 0x20
0000470e: ADD
0000470f: PUSH1 0x00
00004711: KECCAK256
00004712: DUP2
00004713: SWAP1
00004714: SSTORE
00004715: POP
00004716: PUSH2 0x4767
00004719: DUP6
0000471a: PUSH1 0x03
0000471c: PUSH1 0x00
0000471e: DUP12
0000471f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004734: AND
00004735: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000474a: AND
0000474b: DUP2
0000474c: MSTORE
0000474d: PUSH1 0x20
0000474f: ADD
00004750: SWAP1
00004751: DUP2
00004752: MSTORE
00004753: PUSH1 0x20
00004755: ADD
00004756: PUSH1 0x00
00004758: KECCAK256
00004759: SLOAD
0000475a: PUSH2 0x2fe9
0000475d: SWAP1
0000475e: SWAP2
0000475f: SWAP1
00004760: PUSH4 0xffffffff
00004765: AND
00004766: JUMP
00004767: JUMPDEST
00004768: PUSH1 0x03
0000476a: PUSH1 0x00
0000476c: DUP11
0000476d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004782: AND
00004783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004798: AND
00004799: DUP2
0000479a: MSTORE
0000479b: PUSH1 0x20
0000479d: ADD
0000479e: SWAP1
0000479f: DUP2
000047a0: MSTORE
000047a1: PUSH1 0x20
000047a3: ADD
000047a4: PUSH1 0x00
000047a6: KECCAK256
000047a7: DUP2
000047a8: SWAP1
000047a9: SSTORE
000047aa: POP
000047ab: PUSH2 0x47b3
000047ae: DUP2
000047af: PUSH2 0x48bd
000047b2: JUMP
000047b3: JUMPDEST
000047b4: PUSH2 0x47bd
000047b7: DUP5
000047b8: DUP4
000047b9: PUSH2 0x4a62
000047bc: JUMP
000047bd: JUMPDEST
000047be: DUP8
000047bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047d4: AND
000047d5: DUP10
000047d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000047eb: AND
000047ec: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000480d: DUP6
0000480e: PUSH1 0x40
00004810: MLOAD
00004811: DUP1
00004812: DUP3
00004813: DUP2
00004814: MSTORE
00004815: PUSH1 0x20
00004817: ADD
00004818: SWAP2
00004819: POP
0000481a: POP
0000481b: PUSH1 0x40
0000481d: MLOAD
0000481e: DUP1
0000481f: SWAP2
00004820: SUB
00004821: SWAP1
00004822: LOG3
00004823: POP
00004824: POP
00004825: POP
00004826: POP
00004827: POP
00004828: POP
00004829: POP
0000482a: POP
0000482b: POP
0000482c: JUMP
0000482d: JUMPDEST
0000482e: PUSH1 0x0d
00004830: SLOAD
00004831: PUSH1 0x0c
00004833: DUP2
00004834: SWAP1
00004835: SSTORE
00004836: POP
00004837: PUSH1 0x0f
00004839: SLOAD
0000483a: PUSH1 0x0e
0000483c: DUP2
0000483d: SWAP1
0000483e: SSTORE
0000483f: POP
00004840: JUMP
00004841: JUMPDEST
00004842: PUSH1 0x00
00004844: PUSH2 0x4850
00004847: DUP4
00004848: PUSH1 0x00
0000484a: ADD
0000484b: DUP4
0000484c: PUSH2 0x4a9c
0000484f: JUMP
00004850: JUMPDEST
00004851: PUSH1 0x00
00004853: SHR
00004854: SWAP1
00004855: POP
00004856: SWAP3
00004857: SWAP2
00004858: POP
00004859: POP
0000485a: JUMP
0000485b: JUMPDEST
0000485c: PUSH1 0x00
0000485e: PUSH2 0x4885
00004861: PUSH1 0x64
00004863: PUSH2 0x4877
00004866: PUSH1 0x0c
00004868: SLOAD
00004869: DUP6
0000486a: PUSH2 0x3147
0000486d: SWAP1
0000486e: SWAP2
0000486f: SWAP1
00004870: PUSH4 0xffffffff
00004875: AND
00004876: JUMP
00004877: JUMPDEST
00004878: PUSH2 0x2f2a
0000487b: SWAP1
0000487c: SWAP2
0000487d: SWAP1
0000487e: PUSH4 0xffffffff
00004883: AND
00004884: JUMP
00004885: JUMPDEST
00004886: SWAP1
00004887: POP
00004888: SWAP2
00004889: SWAP1
0000488a: POP
0000488b: JUMP
0000488c: JUMPDEST
0000488d: PUSH1 0x00
0000488f: PUSH2 0x48b6
00004892: PUSH1 0x64
00004894: PUSH2 0x48a8
00004897: PUSH1 0x0e
00004899: SLOAD
0000489a: DUP6
0000489b: PUSH2 0x3147
0000489e: SWAP1
0000489f: SWAP2
000048a0: SWAP1
000048a1: PUSH4 0xffffffff
000048a6: AND
000048a7: JUMP
000048a8: JUMPDEST
000048a9: PUSH2 0x2f2a
000048ac: SWAP1
000048ad: SWAP2
000048ae: SWAP1
000048af: PUSH4 0xffffffff
000048b4: AND
000048b5: JUMP
000048b6: JUMPDEST
000048b7: SWAP1
000048b8: POP
000048b9: SWAP2
000048ba: SWAP1
000048bb: POP
000048bc: JUMP
000048bd: JUMPDEST
000048be: PUSH1 0x00
000048c0: PUSH2 0x48c7
000048c3: PUSH2 0x2eff
000048c6: JUMP
000048c7: JUMPDEST
000048c8: SWAP1
000048c9: POP
000048ca: PUSH1 0x00
000048cc: PUSH2 0x48de
000048cf: DUP3
000048d0: DUP5
000048d1: PUSH2 0x3147
000048d4: SWAP1
000048d5: SWAP2
000048d6: SWAP1
000048d7: PUSH4 0xffffffff
000048dc: AND
000048dd: JUMP
000048de: JUMPDEST
000048df: SWAP1
000048e0: POP
000048e1: PUSH2 0x4932
000048e4: DUP2
000048e5: PUSH1 0x03
000048e7: PUSH1 0x00
000048e9: ADDRESS
000048ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000048ff: AND
00004900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004915: AND
00004916: DUP2
00004917: MSTORE
00004918: PUSH1 0x20
0000491a: ADD
0000491b: SWAP1
0000491c: DUP2
0000491d: MSTORE
0000491e: PUSH1 0x20
00004920: ADD
00004921: PUSH1 0x00
00004923: KECCAK256
00004924: SLOAD
00004925: PUSH2 0x2fe9
00004928: SWAP1
00004929: SWAP2
0000492a: SWAP1
0000492b: PUSH4 0xffffffff
00004930: AND
00004931: JUMP
00004932: JUMPDEST
00004933: PUSH1 0x03
00004935: PUSH1 0x00
00004937: ADDRESS
00004938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000494d: AND
0000494e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004963: AND
00004964: DUP2
00004965: MSTORE
00004966: PUSH1 0x20
00004968: ADD
00004969: SWAP1
0000496a: DUP2
0000496b: MSTORE
0000496c: PUSH1 0x20
0000496e: ADD
0000496f: PUSH1 0x00
00004971: KECCAK256
00004972: DUP2
00004973: SWAP1
00004974: SSTORE
00004975: POP
00004976: PUSH1 0x07
00004978: PUSH1 0x00
0000497a: ADDRESS
0000497b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004990: AND
00004991: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000049a6: AND
000049a7: DUP2
000049a8: MSTORE
000049a9: PUSH1 0x20
000049ab: ADD
000049ac: SWAP1
000049ad: DUP2
000049ae: MSTORE
000049af: PUSH1 0x20
000049b1: ADD
000049b2: PUSH1 0x00
000049b4: KECCAK256
000049b5: PUSH1 0x00
000049b7: SWAP1
000049b8: SLOAD
000049b9: SWAP1
000049ba: PUSH2 0x0100
000049bd: EXP
000049be: SWAP1
000049bf: DIV
000049c0: PUSH1 0xff
000049c2: AND
000049c3: ISZERO
000049c4: PUSH2 0x4a5d
000049c7: JUMPI
000049c8: PUSH2 0x4a19
000049cb: DUP4
000049cc: PUSH1 0x04
000049ce: PUSH1 0x00
000049d0: ADDRESS
000049d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000049e6: AND
000049e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000049fc: AND
000049fd: DUP2
000049fe: MSTORE
000049ff: PUSH1 0x20
00004a01: ADD
00004a02: SWAP1
00004a03: DUP2
00004a04: MSTORE
00004a05: PUSH1 0x20
00004a07: ADD
00004a08: PUSH1 0x00
00004a0a: KECCAK256
00004a0b: SLOAD
00004a0c: PUSH2 0x2fe9
00004a0f: SWAP1
00004a10: SWAP2
00004a11: SWAP1
00004a12: PUSH4 0xffffffff
00004a17: AND
00004a18: JUMP
00004a19: JUMPDEST
00004a1a: PUSH1 0x04
00004a1c: PUSH1 0x00
00004a1e: ADDRESS
00004a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a34: AND
00004a35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004a4a: AND
00004a4b: DUP2
00004a4c: MSTORE
00004a4d: PUSH1 0x20
00004a4f: ADD
00004a50: SWAP1
00004a51: DUP2
00004a52: MSTORE
00004a53: PUSH1 0x20
00004a55: ADD
00004a56: PUSH1 0x00
00004a58: KECCAK256
00004a59: DUP2
00004a5a: SWAP1
00004a5b: SSTORE
00004a5c: POP
00004a5d: JUMPDEST
00004a5e: POP
00004a5f: POP
00004a60: POP
00004a61: JUMP
00004a62: JUMPDEST
00004a63: PUSH2 0x4a77
00004a66: DUP3
00004a67: PUSH1 0x0a
00004a69: SLOAD
00004a6a: PUSH2 0x30cd
00004a6d: SWAP1
00004a6e: SWAP2
00004a6f: SWAP1
00004a70: PUSH4 0xffffffff
00004a75: AND
00004a76: JUMP
00004a77: JUMPDEST
00004a78: PUSH1 0x0a
00004a7a: DUP2
00004a7b: SWAP1
00004a7c: SSTORE
00004a7d: POP
00004a7e: PUSH2 0x4a92
00004a81: DUP2
00004a82: PUSH1 0x0b
00004a84: SLOAD
00004a85: PUSH2 0x2fe9
00004a88: SWAP1
00004a89: SWAP2
00004a8a: SWAP1
00004a8b: PUSH4 0xffffffff
00004a90: AND
00004a91: JUMP
00004a92: JUMPDEST
00004a93: PUSH1 0x0b
00004a95: DUP2
00004a96: SWAP1
00004a97: SSTORE
00004a98: POP
00004a99: POP
00004a9a: POP
00004a9b: JUMP
00004a9c: JUMPDEST
00004a9d: PUSH1 0x00
00004a9f: DUP3
00004aa0: PUSH1 0x00
00004aa2: ADD
00004aa3: DUP3
00004aa4: DUP2
00004aa5: SLOAD
00004aa6: DUP2
00004aa7: LT
00004aa8: PUSH2 0x4aad
00004aab: JUMPI
00004aac: INVALID
00004aad: JUMPDEST
00004aae: SWAP1
00004aaf: PUSH1 0x00
00004ab1: MSTORE
00004ab2: PUSH1 0x20
00004ab4: PUSH1 0x00
00004ab6: KECCAK256
00004ab7: ADD
00004ab8: SLOAD
00004ab9: SWAP1
00004aba: POP
00004abb: SWAP3
00004abc: SWAP2
00004abd: POP
00004abe: POP
00004abf: JUMP
00004ac0: INVALID
00004ac1: GASLIMIT
00004ac2: MSTORE
00004ac3: NUMBER
00004ac4: ORIGIN
00004ac5: ADDRESS
00004ac6: GASPRICE
00004ac7: KECCAK256
00004ac8: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00004ade: PUSH5 0x6472657373
00004ae4: UNKNOWN(0x4F)
00004ae5: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00004afe: PUSH27 0x65726f206164647265737345524332303a20617070726f76652074
00004b1a: PUSH16 0x20746865207a65726f20616464726573
00004b2b: PUSH20 0x5472616e7366657220616d6f756e742065786365
00004b40: PUSH6 0x647320746865
00004b47: KECCAK256
00004b48: PUSH14 0x61785478416d6f756e742e416d6f
00004b57: PUSH22 0x6e74206d757374206265206c657373207468616e2074
00004b6e: PUSH16 0x74616c207265666c656374696f6e5361
00004b7f: PUSH7 0x654d6174683a20
00004b87: PUSH14 0x756c7469706c69636174696f6e20
00004b96: PUSH16 0x766572666c6f7745524332303a207472
00004ba7: PUSH2 0x6e73
00004baa: PUSH7 0x657220616d6f75
00004bb2: PUSH15 0x74206578636565647320616c6c6f77
00004bc2: PUSH2 0x6e63
00004bc5: PUSH6 0x5472616e7366
00004bcc: PUSH6 0x7220616d6f75
00004bd3: PUSH15 0x74206d757374206265206772656174
00004be3: PUSH6 0x72207468616e
00004bea: KECCAK256
00004beb: PUSH27 0x65726f45524332303a207472616e736665722066726f6d20746865
00004c07: KECCAK256
00004c08: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
00004c24: PUSH19 0x6f6d20746865207a65726f2061646472657373
00004c38: GASLIMIT
00004c39: PUSH25 0x636c75646564206164647265737365732063616e6e6f742063
00004c53: PUSH2 0x6c6c
00004c56: KECCAK256
00004c57: PUSH21 0x6869732066756e6374696f6e596f7520646f6e2774
00004c6d: KECCAK256
00004c6e: PUSH9 0x617665207065726d69
00004c78: PUSH20 0x73696f6e20746f20756e6c6f636b45524332303a
00004c8d: KECCAK256
00004c8e: PUSH5 0x6563726561
00004c94: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00004ca9: PUSH6 0x726fa2646970
00004cb0: PUSH7 0x73582212208029
00004cb8: UNKNOWN(0xCA)
00004cb9: UNKNOWN(0x0E)
00004cba: DUP2
00004cbb: DUP10
00004cbc: UNKNOWN(0x22)
00004cbd: AND
00004cbe: ADD
00004cbf: UNKNOWN(0xBF)
00004cc0: UNKNOWN(0xDF)
00004cc1: UNKNOWN(0xD8)
00004cc2: DUP2
00004cc3: UNKNOWN(0xFB)
00004cc4: SWAP3
00004cc5: CLZ
00004cc6: UNKNOWN(0xE7)
00004cc7: DUP1
00004cc8: UNKNOWN(0xEC)
00004cc9: SLOAD
00004cca: PUSH31
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": "0xd543dbeb", "selector": "0xd543dbeb", "calldata_variants": [ "0xd543dbeb", "0xd543dbeb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa69df4b5", "selector": "0xa69df4b5", "calldata_variants": [ "0xa69df4b5", "0xa69df4b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 19140, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xb42a94acc479ae33b7b92a22291b30c649214c510bad6a434b94a78cf0092547 call_targets: 0x26a79bd709a7ef5e5f747b8d8f83326ea044d8cc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb42a94acc479ae33b7b92a22291b30c649214c510bad6a434b94a78cf0092547", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x26a79bd709a7ef5e5f747b8d8f83326ea044d8cc" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd543dbeb", "selector": "0xd543dbeb", "calldata_variants": [ "0xd543dbeb", "0xd543dbeb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa69df4b5", "selector": "0xa69df4b5", "calldata_variants": [ "0xa69df4b5", "0xa69df4b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 15612, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 15894, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 19140, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xb42a94acc479ae33b7b92a22291b30c649214c510bad6a434b94a78cf0092547 call_targets: 0x26a79bd709a7ef5e5f747b8d8f83326ea044d8cc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb42a94acc479ae33b7b92a22291b30c649214c510bad6a434b94a78cf0092547", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x26a79bd709a7ef5e5f747b8d8f83326ea044d8cc" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd543dbeb", "selector": "0xd543dbeb", "calldata_variants": [ "0xd543dbeb", "0xd543dbeb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa69df4b5", "selector": "0xa69df4b5", "calldata_variants": [ "0xa69df4b5", "0xa69df4b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 15612, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 15894, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 19140, "type": "tx_origin_used" } ] }
Severity