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

019b477e-bbd1-7195-b4b3-511177e60064
complete
Chain ID
Address
0xb0bc45972f1cbab76d6e433c28d53c012bcd568e
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
23971	artifact.fetch	complete	1 / 3	3 months ago
23972	tool.cast_disasm	complete	1 / 3	3 months ago
67134	analysis.bundle	complete	1 / 3	2 weeks ago
67135	capability.graph	complete	1 / 3	2 weeks ago
67136	detector.run	complete	1 / 3	2 weeks ago
67137	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
7917
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x032d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6ba5b8b8
00000019: GT
0000001a: PUSH2 0x01a5
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9fed80ca
00000024: GT
00000025: PUSH2 0x00ec
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcba0e996
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe5d41c6b
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe5d41c6b
00000045: EQ
00000046: PUSH2 0x0a87
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2cc0c18
00000050: EQ
00000051: PUSH2 0x0a9c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0adc
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf84354f1
00000066: EQ
00000067: PUSH2 0x0b1c
0000006a: JUMPI
0000006b: PUSH2 0x0334
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xcba0e996
00000076: EQ
00000077: PUSH2 0x09ea
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xdd62ed3e
00000081: EQ
00000082: PUSH2 0x0a2a
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe563037e
0000008c: EQ
0000008d: PUSH2 0x0a72
00000090: JUMPI
00000091: PUSH2 0x0334
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xa94917b1
0000009c: GT
0000009d: PUSH2 0x00c6
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa94917b1
000000a7: EQ
000000a8: PUSH2 0x096a
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc4081a4c
000000b2: EQ
000000b3: PUSH2 0x0994
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xc49b9a80
000000bd: EQ
000000be: PUSH2 0x09be
000000c1: JUMPI
000000c2: PUSH2 0x0334
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x9fed80ca
000000cd: EQ
000000ce: PUSH2 0x08b4
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xa457c2d7
000000d8: EQ
000000d9: PUSH2 0x08de
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xa9059cbb
000000e3: EQ
000000e4: PUSH2 0x0924
000000e7: JUMPI
000000e8: PUSH2 0x0334
000000eb: JUMP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x887675d5
000000f3: GT
000000f4: PUSH2 0x014e
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x8da5cb5b
000000fe: GT
000000ff: PUSH2 0x0128
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x8da5cb5b
00000109: EQ
0000010a: PUSH2 0x0875
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x90f75e56
00000114: EQ
00000115: PUSH2 0x088a
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x95d89b41
0000011f: EQ
00000120: PUSH2 0x089f
00000123: JUMPI
00000124: PUSH2 0x0334
00000127: JUMP
00000128: JUMPDEST
00000129: DUP1
0000012a: PUSH4 0x887675d5
0000012f: EQ
00000130: PUSH2 0x080c
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x8a8c523c
0000013a: EQ
0000013b: PUSH2 0x0836
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x8b4d0ef7
00000145: EQ
00000146: PUSH2 0x084b
00000149: JUMPI
0000014a: PUSH2 0x0334
0000014d: JUMP
0000014e: JUMPDEST
0000014f: DUP1
00000150: PUSH4 0x70a08231
00000155: GT
00000156: PUSH2 0x017f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x70a08231
00000160: EQ
00000161: PUSH2 0x07a2
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x715018a6
0000016b: EQ
0000016c: PUSH2 0x07e2
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x7444483e
00000176: EQ
00000177: PUSH2 0x07f7
0000017a: JUMPI
0000017b: PUSH2 0x0334
0000017e: JUMP
0000017f: JUMPDEST
00000180: DUP1
00000181: PUSH4 0x6ba5b8b8
00000186: EQ
00000187: PUSH2 0x0763
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x6bc87c3a
00000191: EQ
00000192: PUSH2 0x0778
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0x6eea2717
0000019c: EQ
0000019d: PUSH2 0x078d
000001a0: JUMPI
000001a1: PUSH2 0x0334
000001a4: JUMP
000001a5: JUMPDEST
000001a6: DUP1
000001a7: PUSH4 0x313ce567
000001ac: GT
000001ad: PUSH2 0x0274
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x49bd5a5e
000001b7: GT
000001b8: PUSH2 0x021d
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x4ccd8e5a
000001c2: GT
000001c3: PUSH2 0x01f7
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0x4ccd8e5a
000001cd: EQ
000001ce: PUSH2 0x06c7
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0x4f080736
000001d8: EQ
000001d9: PUSH2 0x06dc
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x6612e66f
000001e3: EQ
000001e4: PUSH2 0x0706
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x6a4fce60
000001ee: EQ
000001ef: PUSH2 0x074e
000001f2: JUMPI
000001f3: PUSH2 0x0334
000001f6: JUMP
000001f7: JUMPDEST
000001f8: DUP1
000001f9: PUSH4 0x49bd5a5e
000001fe: EQ
000001ff: PUSH2 0x0688
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0x4a74bb02
00000209: EQ
0000020a: PUSH2 0x069d
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0x4ada218b
00000214: EQ
00000215: PUSH2 0x06b2
00000218: JUMPI
00000219: PUSH2 0x0334
0000021c: JUMP
0000021d: JUMPDEST
0000021e: DUP1
0000021f: PUSH4 0x3b124fe7
00000224: GT
00000225: PUSH2 0x024e
00000228: JUMPI
00000229: DUP1
0000022a: PUSH4 0x3b124fe7
0000022f: EQ
00000230: PUSH2 0x0617
00000233: JUMPI
00000234: DUP1
00000235: PUSH4 0x4549b039
0000023a: EQ
0000023b: PUSH2 0x062c
0000023e: JUMPI
0000023f: DUP1
00000240: PUSH4 0x48a46473
00000245: EQ
00000246: PUSH2 0x065e
00000249: JUMPI
0000024a: PUSH2 0x0334
0000024d: JUMP
0000024e: JUMPDEST
0000024f: DUP1
00000250: PUSH4 0x313ce567
00000255: EQ
00000256: PUSH2 0x057a
00000259: JUMPI
0000025a: DUP1
0000025b: PUSH4 0x357bf15c
00000260: EQ
00000261: PUSH2 0x05a5
00000264: JUMPI
00000265: DUP1
00000266: PUSH4 0x39509351
0000026b: EQ
0000026c: PUSH2 0x05d1
0000026f: JUMPI
00000270: PUSH2 0x0334
00000273: JUMP
00000274: JUMPDEST
00000275: DUP1
00000276: PUSH4 0x17519dae
0000027b: GT
0000027c: PUSH2 0x02d6
0000027f: JUMPI
00000280: DUP1
00000281: PUSH4 0x1e6ee830
00000286: GT
00000287: PUSH2 0x02b0
0000028a: JUMPI
0000028b: DUP1
0000028c: PUSH4 0x1e6ee830
00000291: EQ
00000292: PUSH2 0x04eb
00000295: JUMPI
00000296: DUP1
00000297: PUSH4 0x23b872dd
0000029c: EQ
0000029d: PUSH2 0x0500
000002a0: JUMPI
000002a1: DUP1
000002a2: PUSH4 0x2d838119
000002a7: EQ
000002a8: PUSH2 0x0550
000002ab: JUMPI
000002ac: PUSH2 0x0334
000002af: JUMP
000002b0: JUMPDEST
000002b1: DUP1
000002b2: PUSH4 0x17519dae
000002b7: EQ
000002b8: PUSH2 0x04ac
000002bb: JUMPI
000002bc: DUP1
000002bd: PUSH4 0x18160ddd
000002c2: EQ
000002c3: PUSH2 0x04c1
000002c6: JUMPI
000002c7: DUP1
000002c8: PUSH4 0x19db457d
000002cd: EQ
000002ce: PUSH2 0x04d6
000002d1: JUMPI
000002d2: PUSH2 0x0334
000002d5: JUMP
000002d6: JUMPDEST
000002d7: DUP1
000002d8: PUSH4 0x106b9ca1
000002dd: GT
000002de: PUSH2 0x0307
000002e1: JUMPI
000002e2: DUP1
000002e3: PUSH4 0x106b9ca1
000002e8: EQ
000002e9: PUSH2 0x0444
000002ec: JUMPI
000002ed: DUP1
000002ee: PUSH4 0x1694505e
000002f3: EQ
000002f4: PUSH2 0x0459
000002f7: JUMPI
000002f8: DUP1
000002f9: PUSH4 0x16d1d916
000002fe: EQ
000002ff: PUSH2 0x0497
00000302: JUMPI
00000303: PUSH2 0x0334
00000306: JUMP
00000307: JUMPDEST
00000308: DUP1
00000309: PUSH4 0x04b64527
0000030e: EQ
0000030f: PUSH2 0x0339
00000312: JUMPI
00000313: DUP1
00000314: PUSH4 0x06fdde03
00000319: EQ
0000031a: PUSH2 0x0360
0000031d: JUMPI
0000031e: DUP1
0000031f: PUSH4 0x095ea7b3
00000324: EQ
00000325: PUSH2 0x03ea
00000328: JUMPI
00000329: PUSH2 0x0334
0000032c: JUMP
0000032d: JUMPDEST
0000032e: CALLDATASIZE
0000032f: PUSH2 0x0334
00000332: JUMPI
00000333: STOP
00000334: JUMPDEST
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: CALLVALUE
0000033b: DUP1
0000033c: ISZERO
0000033d: PUSH2 0x0345
00000340: JUMPI
00000341: PUSH1 0x00
00000343: DUP1
00000344: REVERT
00000345: JUMPDEST
00000346: POP
00000347: PUSH2 0x034e
0000034a: PUSH2 0x0b5c
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH1 0x40
00000351: DUP1
00000352: MLOAD
00000353: SWAP2
00000354: DUP3
00000355: MSTORE
00000356: MLOAD
00000357: SWAP1
00000358: DUP2
00000359: SWAP1
0000035a: SUB
0000035b: PUSH1 0x20
0000035d: ADD
0000035e: SWAP1
0000035f: RETURN
00000360: JUMPDEST
00000361: CALLVALUE
00000362: DUP1
00000363: ISZERO
00000364: PUSH2 0x036c
00000367: JUMPI
00000368: PUSH1 0x00
0000036a: DUP1
0000036b: REVERT
0000036c: JUMPDEST
0000036d: POP
0000036e: PUSH2 0x0375
00000371: PUSH2 0x0b62
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH1 0x40
00000378: DUP1
00000379: MLOAD
0000037a: PUSH1 0x20
0000037c: DUP1
0000037d: DUP3
0000037e: MSTORE
0000037f: DUP4
00000380: MLOAD
00000381: DUP2
00000382: DUP4
00000383: ADD
00000384: MSTORE
00000385: DUP4
00000386: MLOAD
00000387: SWAP2
00000388: SWAP3
00000389: DUP4
0000038a: SWAP3
0000038b: SWAP1
0000038c: DUP4
0000038d: ADD
0000038e: SWAP2
0000038f: DUP6
00000390: ADD
00000391: SWAP1
00000392: DUP1
00000393: DUP4
00000394: DUP4
00000395: PUSH1 0x00
00000397: JUMPDEST
00000398: DUP4
00000399: DUP2
0000039a: LT
0000039b: ISZERO
0000039c: PUSH2 0x03af
0000039f: JUMPI
000003a0: DUP2
000003a1: DUP2
000003a2: ADD
000003a3: MLOAD
000003a4: DUP4
000003a5: DUP3
000003a6: ADD
000003a7: MSTORE
000003a8: PUSH1 0x20
000003aa: ADD
000003ab: PUSH2 0x0397
000003ae: JUMP
000003af: JUMPDEST
000003b0: POP
000003b1: POP
000003b2: POP
000003b3: POP
000003b4: SWAP1
000003b5: POP
000003b6: SWAP1
000003b7: DUP2
000003b8: ADD
000003b9: SWAP1
000003ba: PUSH1 0x1f
000003bc: AND
000003bd: DUP1
000003be: ISZERO
000003bf: PUSH2 0x03dc
000003c2: JUMPI
000003c3: DUP1
000003c4: DUP3
000003c5: SUB
000003c6: DUP1
000003c7: MLOAD
000003c8: PUSH1 0x01
000003ca: DUP4
000003cb: PUSH1 0x20
000003cd: SUB
000003ce: PUSH2 0x0100
000003d1: EXP
000003d2: SUB
000003d3: NOT
000003d4: AND
000003d5: DUP2
000003d6: MSTORE
000003d7: PUSH1 0x20
000003d9: ADD
000003da: SWAP2
000003db: POP
000003dc: JUMPDEST
000003dd: POP
000003de: SWAP3
000003df: POP
000003e0: POP
000003e1: POP
000003e2: PUSH1 0x40
000003e4: MLOAD
000003e5: DUP1
000003e6: SWAP2
000003e7: SUB
000003e8: SWAP1
000003e9: RETURN
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH2 0x0430
000003fb: PUSH1 0x04
000003fd: DUP1
000003fe: CALLDATASIZE
000003ff: SUB
00000400: PUSH1 0x40
00000402: DUP2
00000403: LT
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000424: DUP2
00000425: CALLDATALOAD
00000426: AND
00000427: SWAP1
00000428: PUSH1 0x20
0000042a: ADD
0000042b: CALLDATALOAD
0000042c: PUSH2 0x0c16
0000042f: JUMP
00000430: JUMPDEST
00000431: PUSH1 0x40
00000433: DUP1
00000434: MLOAD
00000435: SWAP2
00000436: ISZERO
00000437: ISZERO
00000438: DUP3
00000439: MSTORE
0000043a: MLOAD
0000043b: SWAP1
0000043c: DUP2
0000043d: SWAP1
0000043e: SUB
0000043f: PUSH1 0x20
00000441: ADD
00000442: SWAP1
00000443: RETURN
00000444: JUMPDEST
00000445: CALLVALUE
00000446: DUP1
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: PUSH2 0x034e
00000455: PUSH2 0x0c34
00000458: JUMP
00000459: JUMPDEST
0000045a: CALLVALUE
0000045b: DUP1
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: PUSH2 0x046e
0000046a: PUSH2 0x0c3a
0000046d: JUMP
0000046e: JUMPDEST
0000046f: PUSH1 0x40
00000471: DUP1
00000472: MLOAD
00000473: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000488: SWAP1
00000489: SWAP3
0000048a: AND
0000048b: DUP3
0000048c: MSTORE
0000048d: MLOAD
0000048e: SWAP1
0000048f: DUP2
00000490: SWAP1
00000491: SUB
00000492: PUSH1 0x20
00000494: ADD
00000495: SWAP1
00000496: RETURN
00000497: JUMPDEST
00000498: CALLVALUE
00000499: DUP1
0000049a: ISZERO
0000049b: PUSH2 0x04a3
0000049e: JUMPI
0000049f: PUSH1 0x00
000004a1: DUP1
000004a2: REVERT
000004a3: JUMPDEST
000004a4: POP
000004a5: PUSH2 0x034e
000004a8: PUSH2 0x0c56
000004ab: JUMP
000004ac: JUMPDEST
000004ad: CALLVALUE
000004ae: DUP1
000004af: ISZERO
000004b0: PUSH2 0x04b8
000004b3: JUMPI
000004b4: PUSH1 0x00
000004b6: DUP1
000004b7: REVERT
000004b8: JUMPDEST
000004b9: POP
000004ba: PUSH2 0x034e
000004bd: PUSH2 0x0c5c
000004c0: JUMP
000004c1: JUMPDEST
000004c2: CALLVALUE
000004c3: DUP1
000004c4: ISZERO
000004c5: PUSH2 0x04cd
000004c8: JUMPI
000004c9: PUSH1 0x00
000004cb: DUP1
000004cc: REVERT
000004cd: JUMPDEST
000004ce: POP
000004cf: PUSH2 0x034e
000004d2: PUSH2 0x0c62
000004d5: JUMP
000004d6: JUMPDEST
000004d7: CALLVALUE
000004d8: DUP1
000004d9: ISZERO
000004da: PUSH2 0x04e2
000004dd: JUMPI
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: POP
000004e4: PUSH2 0x034e
000004e7: PUSH2 0x0c68
000004ea: JUMP
000004eb: JUMPDEST
000004ec: CALLVALUE
000004ed: DUP1
000004ee: ISZERO
000004ef: PUSH2 0x04f7
000004f2: JUMPI
000004f3: PUSH1 0x00
000004f5: DUP1
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: PUSH2 0x034e
000004fc: PUSH2 0x0c6e
000004ff: JUMP
00000500: JUMPDEST
00000501: CALLVALUE
00000502: DUP1
00000503: ISZERO
00000504: PUSH2 0x050c
00000507: JUMPI
00000508: PUSH1 0x00
0000050a: DUP1
0000050b: REVERT
0000050c: JUMPDEST
0000050d: POP
0000050e: PUSH2 0x0430
00000511: PUSH1 0x04
00000513: DUP1
00000514: CALLDATASIZE
00000515: SUB
00000516: PUSH1 0x60
00000518: DUP2
00000519: LT
0000051a: ISZERO
0000051b: PUSH2 0x0523
0000051e: JUMPI
0000051f: PUSH1 0x00
00000521: DUP1
00000522: REVERT
00000523: JUMPDEST
00000524: POP
00000525: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000053a: DUP2
0000053b: CALLDATALOAD
0000053c: DUP2
0000053d: AND
0000053e: SWAP2
0000053f: PUSH1 0x20
00000541: DUP2
00000542: ADD
00000543: CALLDATALOAD
00000544: SWAP1
00000545: SWAP2
00000546: AND
00000547: SWAP1
00000548: PUSH1 0x40
0000054a: ADD
0000054b: CALLDATALOAD
0000054c: PUSH2 0x0c74
0000054f: JUMP
00000550: JUMPDEST
00000551: CALLVALUE
00000552: DUP1
00000553: ISZERO
00000554: PUSH2 0x055c
00000557: JUMPI
00000558: PUSH1 0x00
0000055a: DUP1
0000055b: REVERT
0000055c: JUMPDEST
0000055d: POP
0000055e: PUSH2 0x034e
00000561: PUSH1 0x04
00000563: DUP1
00000564: CALLDATASIZE
00000565: SUB
00000566: PUSH1 0x20
00000568: DUP2
00000569: LT
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: CALLDATALOAD
00000576: PUSH2 0x0d15
00000579: JUMP
0000057a: JUMPDEST
0000057b: CALLVALUE
0000057c: DUP1
0000057d: ISZERO
0000057e: PUSH2 0x0586
00000581: JUMPI
00000582: PUSH1 0x00
00000584: DUP1
00000585: REVERT
00000586: JUMPDEST
00000587: POP
00000588: PUSH2 0x058f
0000058b: PUSH2 0x0d91
0000058e: JUMP
0000058f: JUMPDEST
00000590: PUSH1 0x40
00000592: DUP1
00000593: MLOAD
00000594: PUSH1 0xff
00000596: SWAP1
00000597: SWAP3
00000598: AND
00000599: DUP3
0000059a: MSTORE
0000059b: MLOAD
0000059c: SWAP1
0000059d: DUP2
0000059e: SWAP1
0000059f: SUB
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: SWAP1
000005a4: RETURN
000005a5: JUMPDEST
000005a6: CALLVALUE
000005a7: DUP1
000005a8: ISZERO
000005a9: PUSH2 0x05b1
000005ac: JUMPI
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: REVERT
000005b1: JUMPDEST
000005b2: POP
000005b3: PUSH2 0x05cf
000005b6: PUSH1 0x04
000005b8: DUP1
000005b9: CALLDATASIZE
000005ba: SUB
000005bb: PUSH1 0x20
000005bd: DUP2
000005be: LT
000005bf: ISZERO
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: POP
000005ca: CALLDATALOAD
000005cb: PUSH2 0x0d9a
000005ce: JUMP
000005cf: JUMPDEST
000005d0: STOP
000005d1: JUMPDEST
000005d2: CALLVALUE
000005d3: DUP1
000005d4: ISZERO
000005d5: PUSH2 0x05dd
000005d8: JUMPI
000005d9: PUSH1 0x00
000005db: DUP1
000005dc: REVERT
000005dd: JUMPDEST
000005de: POP
000005df: PUSH2 0x0430
000005e2: PUSH1 0x04
000005e4: DUP1
000005e5: CALLDATASIZE
000005e6: SUB
000005e7: PUSH1 0x40
000005e9: DUP2
000005ea: LT
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000060b: DUP2
0000060c: CALLDATALOAD
0000060d: AND
0000060e: SWAP1
0000060f: PUSH1 0x20
00000611: ADD
00000612: CALLDATALOAD
00000613: PUSH2 0x0ec7
00000616: JUMP
00000617: JUMPDEST
00000618: CALLVALUE
00000619: DUP1
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH2 0x034e
00000628: PUSH2 0x0f22
0000062b: JUMP
0000062c: JUMPDEST
0000062d: CALLVALUE
0000062e: DUP1
0000062f: ISZERO
00000630: PUSH2 0x0638
00000633: JUMPI
00000634: PUSH1 0x00
00000636: DUP1
00000637: REVERT
00000638: JUMPDEST
00000639: POP
0000063a: PUSH2 0x034e
0000063d: PUSH1 0x04
0000063f: DUP1
00000640: CALLDATASIZE
00000641: SUB
00000642: PUSH1 0x40
00000644: DUP2
00000645: LT
00000646: ISZERO
00000647: PUSH2 0x064f
0000064a: JUMPI
0000064b: PUSH1 0x00
0000064d: DUP1
0000064e: REVERT
0000064f: JUMPDEST
00000650: POP
00000651: DUP1
00000652: CALLDATALOAD
00000653: SWAP1
00000654: PUSH1 0x20
00000656: ADD
00000657: CALLDATALOAD
00000658: ISZERO
00000659: ISZERO
0000065a: PUSH2 0x0f28
0000065d: JUMP
0000065e: JUMPDEST
0000065f: CALLVALUE
00000660: DUP1
00000661: ISZERO
00000662: PUSH2 0x066a
00000665: JUMPI
00000666: PUSH1 0x00
00000668: DUP1
00000669: REVERT
0000066a: JUMPDEST
0000066b: POP
0000066c: PUSH2 0x05cf
0000066f: PUSH1 0x04
00000671: DUP1
00000672: CALLDATASIZE
00000673: SUB
00000674: PUSH1 0x20
00000676: DUP2
00000677: LT
00000678: ISZERO
00000679: PUSH2 0x0681
0000067c: JUMPI
0000067d: PUSH1 0x00
0000067f: DUP1
00000680: REVERT
00000681: JUMPDEST
00000682: POP
00000683: CALLDATALOAD
00000684: PUSH2 0x0ffb
00000687: JUMP
00000688: JUMPDEST
00000689: CALLVALUE
0000068a: DUP1
0000068b: ISZERO
0000068c: PUSH2 0x0694
0000068f: JUMPI
00000690: PUSH1 0x00
00000692: DUP1
00000693: REVERT
00000694: JUMPDEST
00000695: POP
00000696: PUSH2 0x046e
00000699: PUSH2 0x1191
0000069c: JUMP
0000069d: JUMPDEST
0000069e: CALLVALUE
0000069f: DUP1
000006a0: ISZERO
000006a1: PUSH2 0x06a9
000006a4: JUMPI
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: REVERT
000006a9: JUMPDEST
000006aa: POP
000006ab: PUSH2 0x0430
000006ae: PUSH2 0x11ad
000006b1: JUMP
000006b2: JUMPDEST
000006b3: CALLVALUE
000006b4: DUP1
000006b5: ISZERO
000006b6: PUSH2 0x06be
000006b9: JUMPI
000006ba: PUSH1 0x00
000006bc: DUP1
000006bd: REVERT
000006be: JUMPDEST
000006bf: POP
000006c0: PUSH2 0x0430
000006c3: PUSH2 0x11bb
000006c6: JUMP
000006c7: JUMPDEST
000006c8: CALLVALUE
000006c9: DUP1
000006ca: ISZERO
000006cb: PUSH2 0x06d3
000006ce: JUMPI
000006cf: PUSH1 0x00
000006d1: DUP1
000006d2: REVERT
000006d3: JUMPDEST
000006d4: POP
000006d5: PUSH2 0x034e
000006d8: PUSH2 0x11c4
000006db: JUMP
000006dc: JUMPDEST
000006dd: CALLVALUE
000006de: DUP1
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: POP
000006ea: PUSH2 0x05cf
000006ed: PUSH1 0x04
000006ef: DUP1
000006f0: CALLDATASIZE
000006f1: SUB
000006f2: PUSH1 0x20
000006f4: DUP2
000006f5: LT
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: CALLDATALOAD
00000702: PUSH2 0x11ca
00000705: JUMP
00000706: JUMPDEST
00000707: CALLVALUE
00000708: DUP1
00000709: ISZERO
0000070a: PUSH2 0x0712
0000070d: JUMPI
0000070e: PUSH1 0x00
00000710: DUP1
00000711: REVERT
00000712: JUMPDEST
00000713: POP
00000714: PUSH2 0x05cf
00000717: PUSH1 0x04
00000719: DUP1
0000071a: CALLDATASIZE
0000071b: SUB
0000071c: PUSH1 0x40
0000071e: DUP2
0000071f: LT
00000720: ISZERO
00000721: PUSH2 0x0729
00000724: JUMPI
00000725: PUSH1 0x00
00000727: DUP1
00000728: REVERT
00000729: JUMPDEST
0000072a: POP
0000072b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000740: DUP2
00000741: CALLDATALOAD
00000742: AND
00000743: SWAP1
00000744: PUSH1 0x20
00000746: ADD
00000747: CALLDATALOAD
00000748: ISZERO
00000749: ISZERO
0000074a: PUSH2 0x1304
0000074d: JUMP
0000074e: JUMPDEST
0000074f: CALLVALUE
00000750: DUP1
00000751: ISZERO
00000752: PUSH2 0x075a
00000755: JUMPI
00000756: PUSH1 0x00
00000758: DUP1
00000759: REVERT
0000075a: JUMPDEST
0000075b: POP
0000075c: PUSH2 0x034e
0000075f: PUSH2 0x13eb
00000762: JUMP
00000763: JUMPDEST
00000764: CALLVALUE
00000765: DUP1
00000766: ISZERO
00000767: PUSH2 0x076f
0000076a: JUMPI
0000076b: PUSH1 0x00
0000076d: DUP1
0000076e: REVERT
0000076f: JUMPDEST
00000770: POP
00000771: PUSH2 0x034e
00000774: PUSH2 0x13f1
00000777: JUMP
00000778: JUMPDEST
00000779: CALLVALUE
0000077a: DUP1
0000077b: ISZERO
0000077c: PUSH2 0x0784
0000077f: JUMPI
00000780: PUSH1 0x00
00000782: DUP1
00000783: REVERT
00000784: JUMPDEST
00000785: POP
00000786: PUSH2 0x034e
00000789: PUSH2 0x13f7
0000078c: JUMP
0000078d: JUMPDEST
0000078e: CALLVALUE
0000078f: DUP1
00000790: ISZERO
00000791: PUSH2 0x0799
00000794: JUMPI
00000795: PUSH1 0x00
00000797: DUP1
00000798: REVERT
00000799: JUMPDEST
0000079a: POP
0000079b: PUSH2 0x05cf
0000079e: PUSH2 0x13fd
000007a1: JUMP
000007a2: JUMPDEST
000007a3: CALLVALUE
000007a4: DUP1
000007a5: ISZERO
000007a6: PUSH2 0x07ae
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: REVERT
000007ae: JUMPDEST
000007af: POP
000007b0: PUSH2 0x034e
000007b3: PUSH1 0x04
000007b5: DUP1
000007b6: CALLDATASIZE
000007b7: SUB
000007b8: PUSH1 0x20
000007ba: DUP2
000007bb: LT
000007bc: ISZERO
000007bd: PUSH2 0x07c5
000007c0: JUMPI
000007c1: PUSH1 0x00
000007c3: DUP1
000007c4: REVERT
000007c5: JUMPDEST
000007c6: POP
000007c7: CALLDATALOAD
000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007dd: AND
000007de: PUSH2 0x1825
000007e1: JUMP
000007e2: JUMPDEST
000007e3: CALLVALUE
000007e4: DUP1
000007e5: ISZERO
000007e6: PUSH2 0x07ee
000007e9: JUMPI
000007ea: PUSH1 0x00
000007ec: DUP1
000007ed: REVERT
000007ee: JUMPDEST
000007ef: POP
000007f0: PUSH2 0x05cf
000007f3: PUSH2 0x18ae
000007f6: JUMP
000007f7: JUMPDEST
000007f8: CALLVALUE
000007f9: DUP1
000007fa: ISZERO
000007fb: PUSH2 0x0803
000007fe: JUMPI
000007ff: PUSH1 0x00
00000801: DUP1
00000802: REVERT
00000803: JUMPDEST
00000804: POP
00000805: PUSH2 0x034e
00000808: PUSH2 0x19ae
0000080b: JUMP
0000080c: JUMPDEST
0000080d: CALLVALUE
0000080e: DUP1
0000080f: ISZERO
00000810: PUSH2 0x0818
00000813: JUMPI
00000814: PUSH1 0x00
00000816: DUP1
00000817: REVERT
00000818: JUMPDEST
00000819: POP
0000081a: PUSH2 0x05cf
0000081d: PUSH1 0x04
0000081f: DUP1
00000820: CALLDATASIZE
00000821: SUB
00000822: PUSH1 0x20
00000824: DUP2
00000825: LT
00000826: ISZERO
00000827: PUSH2 0x082f
0000082a: JUMPI
0000082b: PUSH1 0x00
0000082d: DUP1
0000082e: REVERT
0000082f: JUMPDEST
00000830: POP
00000831: CALLDATALOAD
00000832: PUSH2 0x19b4
00000835: JUMP
00000836: JUMPDEST
00000837: CALLVALUE
00000838: DUP1
00000839: ISZERO
0000083a: PUSH2 0x0842
0000083d: JUMPI
0000083e: PUSH1 0x00
00000840: DUP1
00000841: REVERT
00000842: JUMPDEST
00000843: POP
00000844: PUSH2 0x05cf
00000847: PUSH2 0x1a80
0000084a: JUMP
0000084b: JUMPDEST
0000084c: CALLVALUE
0000084d: DUP1
0000084e: ISZERO
0000084f: PUSH2 0x0857
00000852: JUMPI
00000853: PUSH1 0x00
00000855: DUP1
00000856: REVERT
00000857: JUMPDEST
00000858: POP
00000859: PUSH2 0x05cf
0000085c: PUSH1 0x04
0000085e: DUP1
0000085f: CALLDATASIZE
00000860: SUB
00000861: PUSH1 0x20
00000863: DUP2
00000864: LT
00000865: ISZERO
00000866: PUSH2 0x086e
00000869: JUMPI
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: CALLDATALOAD
00000871: PUSH2 0x1b6b
00000874: JUMP
00000875: JUMPDEST
00000876: CALLVALUE
00000877: DUP1
00000878: ISZERO
00000879: PUSH2 0x0881
0000087c: JUMPI
0000087d: PUSH1 0x00
0000087f: DUP1
00000880: REVERT
00000881: JUMPDEST
00000882: POP
00000883: PUSH2 0x046e
00000886: PUSH2 0x1c94
00000889: JUMP
0000088a: JUMPDEST
0000088b: CALLVALUE
0000088c: DUP1
0000088d: ISZERO
0000088e: PUSH2 0x0896
00000891: JUMPI
00000892: PUSH1 0x00
00000894: DUP1
00000895: REVERT
00000896: JUMPDEST
00000897: POP
00000898: PUSH2 0x034e
0000089b: PUSH2 0x1cb0
0000089e: JUMP
0000089f: JUMPDEST
000008a0: CALLVALUE
000008a1: DUP1
000008a2: ISZERO
000008a3: PUSH2 0x08ab
000008a6: JUMPI
000008a7: PUSH1 0x00
000008a9: DUP1
000008aa: REVERT
000008ab: JUMPDEST
000008ac: POP
000008ad: PUSH2 0x0375
000008b0: PUSH2 0x1cb6
000008b3: JUMP
000008b4: JUMPDEST
000008b5: CALLVALUE
000008b6: DUP1
000008b7: ISZERO
000008b8: PUSH2 0x08c0
000008bb: JUMPI
000008bc: PUSH1 0x00
000008be: DUP1
000008bf: REVERT
000008c0: JUMPDEST
000008c1: POP
000008c2: PUSH2 0x05cf
000008c5: PUSH1 0x04
000008c7: DUP1
000008c8: CALLDATASIZE
000008c9: SUB
000008ca: PUSH1 0x20
000008cc: DUP2
000008cd: LT
000008ce: ISZERO
000008cf: PUSH2 0x08d7
000008d2: JUMPI
000008d3: PUSH1 0x00
000008d5: DUP1
000008d6: REVERT
000008d7: JUMPDEST
000008d8: POP
000008d9: CALLDATALOAD
000008da: PUSH2 0x1d32
000008dd: JUMP
000008de: JUMPDEST
000008df: CALLVALUE
000008e0: DUP1
000008e1: ISZERO
000008e2: PUSH2 0x08ea
000008e5: JUMPI
000008e6: PUSH1 0x00
000008e8: DUP1
000008e9: REVERT
000008ea: JUMPDEST
000008eb: POP
000008ec: PUSH2 0x0430
000008ef: PUSH1 0x04
000008f1: DUP1
000008f2: CALLDATASIZE
000008f3: SUB
000008f4: PUSH1 0x40
000008f6: DUP2
000008f7: LT
000008f8: ISZERO
000008f9: PUSH2 0x0901
000008fc: JUMPI
000008fd: PUSH1 0x00
000008ff: DUP1
00000900: REVERT
00000901: JUMPDEST
00000902: POP
00000903: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000918: DUP2
00000919: CALLDATALOAD
0000091a: AND
0000091b: SWAP1
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: CALLDATALOAD
00000920: PUSH2 0x1e6c
00000923: JUMP
00000924: JUMPDEST
00000925: CALLVALUE
00000926: DUP1
00000927: ISZERO
00000928: PUSH2 0x0930
0000092b: JUMPI
0000092c: PUSH1 0x00
0000092e: DUP1
0000092f: REVERT
00000930: JUMPDEST
00000931: POP
00000932: PUSH2 0x0430
00000935: PUSH1 0x04
00000937: DUP1
00000938: CALLDATASIZE
00000939: SUB
0000093a: PUSH1 0x40
0000093c: DUP2
0000093d: LT
0000093e: ISZERO
0000093f: PUSH2 0x0947
00000942: JUMPI
00000943: PUSH1 0x00
00000945: DUP1
00000946: REVERT
00000947: JUMPDEST
00000948: POP
00000949: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095e: DUP2
0000095f: CALLDATALOAD
00000960: AND
00000961: SWAP1
00000962: PUSH1 0x20
00000964: ADD
00000965: CALLDATALOAD
00000966: PUSH2 0x1ee1
00000969: JUMP
0000096a: JUMPDEST
0000096b: CALLVALUE
0000096c: DUP1
0000096d: ISZERO
0000096e: PUSH2 0x0976
00000971: JUMPI
00000972: PUSH1 0x00
00000974: DUP1
00000975: REVERT
00000976: JUMPDEST
00000977: POP
00000978: PUSH2 0x05cf
0000097b: PUSH1 0x04
0000097d: DUP1
0000097e: CALLDATASIZE
0000097f: SUB
00000980: PUSH1 0x20
00000982: DUP2
00000983: LT
00000984: ISZERO
00000985: PUSH2 0x098d
00000988: JUMPI
00000989: PUSH1 0x00
0000098b: DUP1
0000098c: REVERT
0000098d: JUMPDEST
0000098e: POP
0000098f: CALLDATALOAD
00000990: PUSH2 0x1ef5
00000993: JUMP
00000994: JUMPDEST
00000995: CALLVALUE
00000996: DUP1
00000997: ISZERO
00000998: PUSH2 0x09a0
0000099b: JUMPI
0000099c: PUSH1 0x00
0000099e: DUP1
0000099f: REVERT
000009a0: JUMPDEST
000009a1: POP
000009a2: PUSH2 0x05cf
000009a5: PUSH1 0x04
000009a7: DUP1
000009a8: CALLDATASIZE
000009a9: SUB
000009aa: PUSH1 0x20
000009ac: DUP2
000009ad: LT
000009ae: ISZERO
000009af: PUSH2 0x09b7
000009b2: JUMPI
000009b3: PUSH1 0x00
000009b5: DUP1
000009b6: REVERT
000009b7: JUMPDEST
000009b8: POP
000009b9: CALLDATALOAD
000009ba: PUSH2 0x1fc1
000009bd: JUMP
000009be: JUMPDEST
000009bf: CALLVALUE
000009c0: DUP1
000009c1: ISZERO
000009c2: PUSH2 0x09ca
000009c5: JUMPI
000009c6: PUSH1 0x00
000009c8: DUP1
000009c9: REVERT
000009ca: JUMPDEST
000009cb: POP
000009cc: PUSH2 0x05cf
000009cf: PUSH1 0x04
000009d1: DUP1
000009d2: CALLDATASIZE
000009d3: SUB
000009d4: PUSH1 0x20
000009d6: DUP2
000009d7: LT
000009d8: ISZERO
000009d9: PUSH2 0x09e1
000009dc: JUMPI
000009dd: PUSH1 0x00
000009df: DUP1
000009e0: REVERT
000009e1: JUMPDEST
000009e2: POP
000009e3: CALLDATALOAD
000009e4: ISZERO
000009e5: ISZERO
000009e6: PUSH2 0x2104
000009e9: JUMP
000009ea: JUMPDEST
000009eb: CALLVALUE
000009ec: DUP1
000009ed: ISZERO
000009ee: PUSH2 0x09f6
000009f1: JUMPI
000009f2: PUSH1 0x00
000009f4: DUP1
000009f5: REVERT
000009f6: JUMPDEST
000009f7: POP
000009f8: PUSH2 0x0430
000009fb: PUSH1 0x04
000009fd: DUP1
000009fe: CALLDATASIZE
000009ff: SUB
00000a00: PUSH1 0x20
00000a02: DUP2
00000a03: LT
00000a04: ISZERO
00000a05: PUSH2 0x0a0d
00000a08: JUMPI
00000a09: PUSH1 0x00
00000a0b: DUP1
00000a0c: REVERT
00000a0d: JUMPDEST
00000a0e: POP
00000a0f: CALLDATALOAD
00000a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a25: AND
00000a26: PUSH2 0x2201
00000a29: JUMP
00000a2a: JUMPDEST
00000a2b: CALLVALUE
00000a2c: DUP1
00000a2d: ISZERO
00000a2e: PUSH2 0x0a36
00000a31: JUMPI
00000a32: PUSH1 0x00
00000a34: DUP1
00000a35: REVERT
00000a36: JUMPDEST
00000a37: POP
00000a38: PUSH2 0x034e
00000a3b: PUSH1 0x04
00000a3d: DUP1
00000a3e: CALLDATASIZE
00000a3f: SUB
00000a40: PUSH1 0x40
00000a42: DUP2
00000a43: LT
00000a44: ISZERO
00000a45: PUSH2 0x0a4d
00000a48: JUMPI
00000a49: PUSH1 0x00
00000a4b: DUP1
00000a4c: REVERT
00000a4d: JUMPDEST
00000a4e: POP
00000a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a64: DUP2
00000a65: CALLDATALOAD
00000a66: DUP2
00000a67: AND
00000a68: SWAP2
00000a69: PUSH1 0x20
00000a6b: ADD
00000a6c: CALLDATALOAD
00000a6d: AND
00000a6e: PUSH2 0x222c
00000a71: JUMP
00000a72: JUMPDEST
00000a73: CALLVALUE
00000a74: DUP1
00000a75: ISZERO
00000a76: PUSH2 0x0a7e
00000a79: JUMPI
00000a7a: PUSH1 0x00
00000a7c: DUP1
00000a7d: REVERT
00000a7e: JUMPDEST
00000a7f: POP
00000a80: PUSH2 0x046e
00000a83: PUSH2 0x2264
00000a86: JUMP
00000a87: JUMPDEST
00000a88: CALLVALUE
00000a89: DUP1
00000a8a: ISZERO
00000a8b: PUSH2 0x0a93
00000a8e: JUMPI
00000a8f: PUSH1 0x00
00000a91: DUP1
00000a92: REVERT
00000a93: JUMPDEST
00000a94: POP
00000a95: PUSH2 0x034e
00000a98: PUSH2 0x2280
00000a9b: JUMP
00000a9c: JUMPDEST
00000a9d: CALLVALUE
00000a9e: DUP1
00000a9f: ISZERO
00000aa0: PUSH2 0x0aa8
00000aa3: JUMPI
00000aa4: PUSH1 0x00
00000aa6: DUP1
00000aa7: REVERT
00000aa8: JUMPDEST
00000aa9: POP
00000aaa: PUSH2 0x05cf
00000aad: PUSH1 0x04
00000aaf: DUP1
00000ab0: CALLDATASIZE
00000ab1: SUB
00000ab2: PUSH1 0x20
00000ab4: DUP2
00000ab5: LT
00000ab6: ISZERO
00000ab7: PUSH2 0x0abf
00000aba: JUMPI
00000abb: PUSH1 0x00
00000abd: DUP1
00000abe: REVERT
00000abf: JUMPDEST
00000ac0: POP
00000ac1: CALLDATALOAD
00000ac2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad7: AND
00000ad8: PUSH2 0x2286
00000adb: JUMP
00000adc: JUMPDEST
00000add: CALLVALUE
00000ade: DUP1
00000adf: ISZERO
00000ae0: PUSH2 0x0ae8
00000ae3: JUMPI
00000ae4: PUSH1 0x00
00000ae6: DUP1
00000ae7: REVERT
00000ae8: JUMPDEST
00000ae9: POP
00000aea: PUSH2 0x05cf
00000aed: PUSH1 0x04
00000aef: DUP1
00000af0: CALLDATASIZE
00000af1: SUB
00000af2: PUSH1 0x20
00000af4: DUP2
00000af5: LT
00000af6: ISZERO
00000af7: PUSH2 0x0aff
00000afa: JUMPI
00000afb: PUSH1 0x00
00000afd: DUP1
00000afe: REVERT
00000aff: JUMPDEST
00000b00: POP
00000b01: CALLDATALOAD
00000b02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b17: AND
00000b18: PUSH2 0x25b2
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: CALLVALUE
00000b1e: DUP1
00000b1f: ISZERO
00000b20: PUSH2 0x0b28
00000b23: JUMPI
00000b24: PUSH1 0x00
00000b26: DUP1
00000b27: REVERT
00000b28: JUMPDEST
00000b29: POP
00000b2a: PUSH2 0x05cf
00000b2d: PUSH1 0x04
00000b2f: DUP1
00000b30: CALLDATASIZE
00000b31: SUB
00000b32: PUSH1 0x20
00000b34: DUP2
00000b35: LT
00000b36: ISZERO
00000b37: PUSH2 0x0b3f
00000b3a: JUMPI
00000b3b: PUSH1 0x00
00000b3d: DUP1
00000b3e: REVERT
00000b3f: JUMPDEST
00000b40: POP
00000b41: CALLDATALOAD
00000b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b57: AND
00000b58: PUSH2 0x273c
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x12
00000b5f: SLOAD
00000b60: DUP2
00000b61: JUMP
00000b62: JUMPDEST
00000b63: PUSH1 0x01
00000b65: DUP1
00000b66: SLOAD
00000b67: PUSH1 0x40
00000b69: DUP1
00000b6a: MLOAD
00000b6b: PUSH1 0x20
00000b6d: PUSH1 0x1f
00000b6f: PUSH1 0x02
00000b71: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000b92: PUSH2 0x0100
00000b95: DUP8
00000b96: DUP10
00000b97: AND
00000b98: ISZERO
00000b99: MUL
00000b9a: ADD
00000b9b: SWAP1
00000b9c: SWAP6
00000b9d: AND
00000b9e: SWAP5
00000b9f: SWAP1
00000ba0: SWAP5
00000ba1: DIV
00000ba2: SWAP4
00000ba3: DUP5
00000ba4: ADD
00000ba5: DUP2
00000ba6: SWAP1
00000ba7: DIV
00000ba8: DUP2
00000ba9: MUL
00000baa: DUP3
00000bab: ADD
00000bac: DUP2
00000bad: ADD
00000bae: SWAP1
00000baf: SWAP3
00000bb0: MSTORE
00000bb1: DUP3
00000bb2: DUP2
00000bb3: MSTORE
00000bb4: PUSH1 0x60
00000bb6: SWAP4
00000bb7: SWAP1
00000bb8: SWAP3
00000bb9: SWAP1
00000bba: SWAP2
00000bbb: DUP4
00000bbc: ADD
00000bbd: DUP3
00000bbe: DUP3
00000bbf: DUP1
00000bc0: ISZERO
00000bc1: PUSH2 0x0c0b
00000bc4: JUMPI
00000bc5: DUP1
00000bc6: PUSH1 0x1f
00000bc8: LT
00000bc9: PUSH2 0x0be0
00000bcc: JUMPI
00000bcd: PUSH2 0x0100
00000bd0: DUP1
00000bd1: DUP4
00000bd2: SLOAD
00000bd3: DIV
00000bd4: MUL
00000bd5: DUP4
00000bd6: MSTORE
00000bd7: SWAP2
00000bd8: PUSH1 0x20
00000bda: ADD
00000bdb: SWAP2
00000bdc: PUSH2 0x0c0b
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: DUP3
00000be2: ADD
00000be3: SWAP2
00000be4: SWAP1
00000be5: PUSH1 0x00
00000be7: MSTORE
00000be8: PUSH1 0x20
00000bea: PUSH1 0x00
00000bec: KECCAK256
00000bed: SWAP1
00000bee: JUMPDEST
00000bef: DUP2
00000bf0: SLOAD
00000bf1: DUP2
00000bf2: MSTORE
00000bf3: SWAP1
00000bf4: PUSH1 0x01
00000bf6: ADD
00000bf7: SWAP1
00000bf8: PUSH1 0x20
00000bfa: ADD
00000bfb: DUP1
00000bfc: DUP4
00000bfd: GT
00000bfe: PUSH2 0x0bee
00000c01: JUMPI
00000c02: DUP3
00000c03: SWAP1
00000c04: SUB
00000c05: PUSH1 0x1f
00000c07: AND
00000c08: DUP3
00000c09: ADD
00000c0a: SWAP2
00000c0b: JUMPDEST
00000c0c: POP
00000c0d: POP
00000c0e: POP
00000c0f: POP
00000c10: POP
00000c11: SWAP1
00000c12: POP
00000c13: JUMPDEST
00000c14: SWAP1
00000c15: JUMP
00000c16: JUMPDEST
00000c17: PUSH1 0x00
00000c19: PUSH2 0x0c2a
00000c1c: PUSH2 0x0c23
00000c1f: PUSH2 0x2a05
00000c22: JUMP
00000c23: JUMPDEST
00000c24: DUP5
00000c25: DUP5
00000c26: PUSH2 0x2a09
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: POP
00000c2c: PUSH1 0x01
00000c2e: JUMPDEST
00000c2f: SWAP3
00000c30: SWAP2
00000c31: POP
00000c32: POP
00000c33: JUMP
00000c34: JUMPDEST
00000c35: PUSH1 0x17
00000c37: SLOAD
00000c38: DUP2
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: PUSH1 0x1c
00000c3d: SLOAD
00000c3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c53: AND
00000c54: DUP2
00000c55: JUMP
00000c56: JUMPDEST
00000c57: PUSH1 0x18
00000c59: SLOAD
00000c5a: DUP2
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: PUSH1 0x1b
00000c5f: SLOAD
00000c60: DUP2
00000c61: JUMP
00000c62: JUMPDEST
00000c63: PUSH1 0x04
00000c65: SLOAD
00000c66: SWAP1
00000c67: JUMP
00000c68: JUMPDEST
00000c69: PUSH1 0x0c
00000c6b: SLOAD
00000c6c: DUP2
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: PUSH1 0x0f
00000c71: SLOAD
00000c72: DUP2
00000c73: JUMP
00000c74: JUMPDEST
00000c75: PUSH1 0x00
00000c77: PUSH2 0x0c81
00000c7a: DUP5
00000c7b: DUP5
00000c7c: DUP5
00000c7d: PUSH2 0x2b50
00000c80: JUMP
00000c81: JUMPDEST
00000c82: PUSH2 0x0d0b
00000c85: DUP5
00000c86: PUSH2 0x0c8d
00000c89: PUSH2 0x2a05
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH2 0x0d06
00000c91: DUP6
00000c92: PUSH1 0x40
00000c94: MLOAD
00000c95: DUP1
00000c96: PUSH1 0x60
00000c98: ADD
00000c99: PUSH1 0x40
00000c9b: MSTORE
00000c9c: DUP1
00000c9d: PUSH1 0x28
00000c9f: DUP2
00000ca0: MSTORE
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: PUSH2 0x421f
00000ca7: PUSH1 0x28
00000ca9: SWAP2
00000caa: CODECOPY
00000cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc0: DUP11
00000cc1: AND
00000cc2: PUSH1 0x00
00000cc4: SWAP1
00000cc5: DUP2
00000cc6: MSTORE
00000cc7: PUSH1 0x08
00000cc9: PUSH1 0x20
00000ccb: MSTORE
00000ccc: PUSH1 0x40
00000cce: DUP2
00000ccf: KECCAK256
00000cd0: SWAP1
00000cd1: PUSH2 0x0cd8
00000cd4: PUSH2 0x2a05
00000cd7: JUMP
00000cd8: JUMPDEST
00000cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cee: AND
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x20
00000cf3: DUP2
00000cf4: ADD
00000cf5: SWAP2
00000cf6: SWAP1
00000cf7: SWAP2
00000cf8: MSTORE
00000cf9: PUSH1 0x40
00000cfb: ADD
00000cfc: PUSH1 0x00
00000cfe: KECCAK256
00000cff: SLOAD
00000d00: SWAP2
00000d01: SWAP1
00000d02: PUSH2 0x31fe
00000d05: JUMP
00000d06: JUMPDEST
00000d07: PUSH2 0x2a09
00000d0a: JUMP
00000d0b: JUMPDEST
00000d0c: POP
00000d0d: PUSH1 0x01
00000d0f: SWAP4
00000d10: SWAP3
00000d11: POP
00000d12: POP
00000d13: POP
00000d14: JUMP
00000d15: JUMPDEST
00000d16: PUSH1 0x00
00000d18: PUSH1 0x05
00000d1a: SLOAD
00000d1b: DUP3
00000d1c: GT
00000d1d: ISZERO
00000d1e: PUSH2 0x0d72
00000d21: JUMPI
00000d22: PUSH1 0x40
00000d24: MLOAD
00000d25: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d46: DUP2
00000d47: MSTORE
00000d48: PUSH1 0x04
00000d4a: ADD
00000d4b: DUP1
00000d4c: DUP1
00000d4d: PUSH1 0x20
00000d4f: ADD
00000d50: DUP3
00000d51: DUP2
00000d52: SUB
00000d53: DUP3
00000d54: MSTORE
00000d55: PUSH1 0x2a
00000d57: DUP2
00000d58: MSTORE
00000d59: PUSH1 0x20
00000d5b: ADD
00000d5c: DUP1
00000d5d: PUSH2 0x4006
00000d60: PUSH1 0x2a
00000d62: SWAP2
00000d63: CODECOPY
00000d64: PUSH1 0x40
00000d66: ADD
00000d67: SWAP2
00000d68: POP
00000d69: POP
00000d6a: PUSH1 0x40
00000d6c: MLOAD
00000d6d: DUP1
00000d6e: SWAP2
00000d6f: SUB
00000d70: SWAP1
00000d71: REVERT
00000d72: JUMPDEST
00000d73: PUSH1 0x00
00000d75: PUSH2 0x0d7c
00000d78: PUSH2 0x32af
00000d7b: JUMP
00000d7c: JUMPDEST
00000d7d: SWAP1
00000d7e: POP
00000d7f: PUSH2 0x0d88
00000d82: DUP4
00000d83: DUP3
00000d84: PUSH2 0x345a
00000d87: JUMP
00000d88: JUMPDEST
00000d89: SWAP2
00000d8a: POP
00000d8b: POP
00000d8c: JUMPDEST
00000d8d: SWAP2
00000d8e: SWAP1
00000d8f: POP
00000d90: JUMP
00000d91: JUMPDEST
00000d92: PUSH1 0x03
00000d94: SLOAD
00000d95: PUSH1 0xff
00000d97: AND
00000d98: SWAP1
00000d99: JUMP
00000d9a: JUMPDEST
00000d9b: PUSH2 0x0da2
00000d9e: PUSH2 0x2a05
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH1 0x00
00000da5: SLOAD
00000da6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbb: SWAP1
00000dbc: DUP2
00000dbd: AND
00000dbe: SWAP2
00000dbf: AND
00000dc0: EQ
00000dc1: PUSH2 0x0e2b
00000dc4: JUMPI
00000dc5: PUSH1 0x40
00000dc7: DUP1
00000dc8: MLOAD
00000dc9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dea: DUP2
00000deb: MSTORE
00000dec: PUSH1 0x20
00000dee: PUSH1 0x04
00000df0: DUP3
00000df1: ADD
00000df2: DUP2
00000df3: SWAP1
00000df4: MSTORE
00000df5: PUSH1 0x24
00000df7: DUP3
00000df8: ADD
00000df9: MSTORE
00000dfa: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000e1b: PUSH1 0x44
00000e1d: DUP3
00000e1e: ADD
00000e1f: MSTORE
00000e20: SWAP1
00000e21: MLOAD
00000e22: SWAP1
00000e23: DUP2
00000e24: SWAP1
00000e25: SUB
00000e26: PUSH1 0x64
00000e28: ADD
00000e29: SWAP1
00000e2a: REVERT
00000e2b: JUMPDEST
00000e2c: PUSH1 0x0c
00000e2e: SLOAD
00000e2f: PUSH1 0x0a
00000e31: EXP
00000e32: PUSH1 0x05
00000e34: MUL
00000e35: DUP2
00000e36: GT
00000e37: ISZERO
00000e38: PUSH2 0x0e8c
00000e3b: JUMPI
00000e3c: PUSH1 0x40
00000e3e: MLOAD
00000e3f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e60: DUP2
00000e61: MSTORE
00000e62: PUSH1 0x04
00000e64: ADD
00000e65: DUP1
00000e66: DUP1
00000e67: PUSH1 0x20
00000e69: ADD
00000e6a: DUP3
00000e6b: DUP2
00000e6c: SUB
00000e6d: DUP3
00000e6e: MSTORE
00000e6f: PUSH1 0x21
00000e71: DUP2
00000e72: MSTORE
00000e73: PUSH1 0x20
00000e75: ADD
00000e76: DUP1
00000e77: PUSH2 0x41a4
00000e7a: PUSH1 0x21
00000e7c: SWAP2
00000e7d: CODECOPY
00000e7e: PUSH1 0x40
00000e80: ADD
00000e81: SWAP2
00000e82: POP
00000e83: POP
00000e84: PUSH1 0x40
00000e86: MLOAD
00000e87: DUP1
00000e88: SWAP2
00000e89: SUB
00000e8a: SWAP1
00000e8b: REVERT
00000e8c: JUMPDEST
00000e8d: PUSH1 0x0e
00000e8f: DUP2
00000e90: SWAP1
00000e91: SSTORE
00000e92: PUSH1 0x40
00000e94: DUP1
00000e95: MLOAD
00000e96: DUP3
00000e97: DUP2
00000e98: MSTORE
00000e99: SWAP1
00000e9a: MLOAD
00000e9b: PUSH32 0xc9c3eda55e0c1d7fbf155eefd9be0dcbb00e86498e4a8c8efb530e71d390b9ad
00000ebc: SWAP2
00000ebd: DUP2
00000ebe: SWAP1
00000ebf: SUB
00000ec0: PUSH1 0x20
00000ec2: ADD
00000ec3: SWAP1
00000ec4: LOG1
00000ec5: POP
00000ec6: JUMP
00000ec7: JUMPDEST
00000ec8: PUSH1 0x00
00000eca: PUSH2 0x0c2a
00000ecd: PUSH2 0x0ed4
00000ed0: PUSH2 0x2a05
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: DUP5
00000ed6: PUSH2 0x0d06
00000ed9: DUP6
00000eda: PUSH1 0x08
00000edc: PUSH1 0x00
00000ede: PUSH2 0x0ee5
00000ee1: PUSH2 0x2a05
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efb: SWAP1
00000efc: DUP2
00000efd: AND
00000efe: DUP3
00000eff: MSTORE
00000f00: PUSH1 0x20
00000f02: DUP1
00000f03: DUP4
00000f04: ADD
00000f05: SWAP4
00000f06: SWAP1
00000f07: SWAP4
00000f08: MSTORE
00000f09: PUSH1 0x40
00000f0b: SWAP2
00000f0c: DUP3
00000f0d: ADD
00000f0e: PUSH1 0x00
00000f10: SWAP1
00000f11: DUP2
00000f12: KECCAK256
00000f13: SWAP2
00000f14: DUP13
00000f15: AND
00000f16: DUP2
00000f17: MSTORE
00000f18: SWAP3
00000f19: MSTORE
00000f1a: SWAP1
00000f1b: KECCAK256
00000f1c: SLOAD
00000f1d: SWAP1
00000f1e: PUSH2 0x34a3
00000f21: JUMP
00000f22: JUMPDEST
00000f23: PUSH1 0x0d
00000f25: SLOAD
00000f26: DUP2
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH1 0x00
00000f2b: PUSH1 0x04
00000f2d: SLOAD
00000f2e: DUP4
00000f2f: GT
00000f30: ISZERO
00000f31: PUSH2 0x0f9b
00000f34: JUMPI
00000f35: PUSH1 0x40
00000f37: DUP1
00000f38: MLOAD
00000f39: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f5a: DUP2
00000f5b: MSTORE
00000f5c: PUSH1 0x20
00000f5e: PUSH1 0x04
00000f60: DUP3
00000f61: ADD
00000f62: MSTORE
00000f63: PUSH1 0x1f
00000f65: PUSH1 0x24
00000f67: DUP3
00000f68: ADD
00000f69: MSTORE
00000f6a: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20737570706c7900
00000f8b: PUSH1 0x44
00000f8d: DUP3
00000f8e: ADD
00000f8f: MSTORE
00000f90: SWAP1
00000f91: MLOAD
00000f92: SWAP1
00000f93: DUP2
00000f94: SWAP1
00000f95: SUB
00000f96: PUSH1 0x64
00000f98: ADD
00000f99: SWAP1
00000f9a: REVERT
00000f9b: JUMPDEST
00000f9c: DUP2
00000f9d: PUSH2 0x0fb9
00000fa0: JUMPI
00000fa1: PUSH2 0x0fb2
00000fa4: PUSH2 0x0fab
00000fa7: PUSH2 0x32af
00000faa: JUMP
00000fab: JUMPDEST
00000fac: DUP5
00000fad: SWAP1
00000fae: PUSH2 0x3517
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: SWAP1
00000fb4: POP
00000fb5: PUSH2 0x0c2e
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: PUSH2 0x0fb2
00000fbd: PUSH2 0x0fc4
00000fc0: PUSH2 0x32af
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: PUSH2 0x0ff5
00000fc8: PUSH2 0x0fee
00000fcb: PUSH1 0x0c
00000fcd: SLOAD
00000fce: PUSH1 0x0a
00000fd0: EXP
00000fd1: PUSH1 0x02
00000fd3: ADD
00000fd4: PUSH2 0x0fe8
00000fd7: PUSH1 0x0d
00000fd9: SLOAD
00000fda: DUP10
00000fdb: PUSH2 0x3517
00000fde: SWAP1
00000fdf: SWAP2
00000fe0: SWAP1
00000fe1: PUSH4 0xffffffff
00000fe6: AND
00000fe7: JUMP
00000fe8: JUMPDEST
00000fe9: SWAP1
00000fea: PUSH2 0x345a
00000fed: JUMP
00000fee: JUMPDEST
00000fef: DUP7
00000ff0: SWAP1
00000ff1: PUSH2 0x358a
00000ff4: JUMP
00000ff5: JUMPDEST
00000ff6: SWAP1
00000ff7: PUSH2 0x3517
00000ffa: JUMP
00000ffb: JUMPDEST
00000ffc: PUSH2 0x1003
00000fff: PUSH2 0x2a05
00001002: JUMP
00001003: JUMPDEST
00001004: PUSH1 0x00
00001006: SLOAD
00001007: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101c: SWAP1
0000101d: DUP2
0000101e: AND
0000101f: SWAP2
00001020: AND
00001021: EQ
00001022: PUSH2 0x108c
00001025: JUMPI
00001026: PUSH1 0x40
00001028: DUP1
00001029: MLOAD
0000102a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x20
0000104f: PUSH1 0x04
00001051: DUP3
00001052: ADD
00001053: DUP2
00001054: SWAP1
00001055: MSTORE
00001056: PUSH1 0x24
00001058: DUP3
00001059: ADD
0000105a: MSTORE
0000105b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000107c: PUSH1 0x44
0000107e: DUP3
0000107f: ADD
00001080: MSTORE
00001081: SWAP1
00001082: MLOAD
00001083: SWAP1
00001084: DUP2
00001085: SWAP1
00001086: SUB
00001087: PUSH1 0x64
00001089: ADD
0000108a: SWAP1
0000108b: REVERT
0000108c: JUMPDEST
0000108d: PUSH5 0x0ba43b7400
00001093: DUP2
00001094: LT
00001095: ISZERO
00001096: DUP1
00001097: ISZERO
00001098: PUSH2 0x10a7
0000109b: JUMPI
0000109c: POP
0000109d: PUSH6 0x16bcc41e9000
000010a4: DUP2
000010a5: GT
000010a6: ISZERO
000010a7: JUMPDEST
000010a8: PUSH2 0x10fc
000010ab: JUMPI
000010ac: PUSH1 0x40
000010ae: MLOAD
000010af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010d0: DUP2
000010d1: MSTORE
000010d2: PUSH1 0x04
000010d4: ADD
000010d5: DUP1
000010d6: DUP1
000010d7: PUSH1 0x20
000010d9: ADD
000010da: DUP3
000010db: DUP2
000010dc: SUB
000010dd: DUP3
000010de: MSTORE
000010df: PUSH1 0x35
000010e1: DUP2
000010e2: MSTORE
000010e3: PUSH1 0x20
000010e5: ADD
000010e6: DUP1
000010e7: PUSH2 0x40c7
000010ea: PUSH1 0x35
000010ec: SWAP2
000010ed: CODECOPY
000010ee: PUSH1 0x40
000010f0: ADD
000010f1: SWAP2
000010f2: POP
000010f3: POP
000010f4: PUSH1 0x40
000010f6: MLOAD
000010f7: DUP1
000010f8: SWAP2
000010f9: SUB
000010fa: SWAP1
000010fb: REVERT
000010fc: JUMPDEST
000010fd: PUSH1 0x15
000010ff: SLOAD
00001100: DUP2
00001101: GT
00001102: PUSH2 0x1156
00001105: JUMPI
00001106: PUSH1 0x40
00001108: MLOAD
00001109: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000112a: DUP2
0000112b: MSTORE
0000112c: PUSH1 0x04
0000112e: ADD
0000112f: DUP1
00001130: DUP1
00001131: PUSH1 0x20
00001133: ADD
00001134: DUP3
00001135: DUP2
00001136: SUB
00001137: DUP3
00001138: MSTORE
00001139: PUSH1 0x42
0000113b: DUP2
0000113c: MSTORE
0000113d: PUSH1 0x20
0000113f: ADD
00001140: DUP1
00001141: PUSH2 0x3f50
00001144: PUSH1 0x42
00001146: SWAP2
00001147: CODECOPY
00001148: PUSH1 0x60
0000114a: ADD
0000114b: SWAP2
0000114c: POP
0000114d: POP
0000114e: PUSH1 0x40
00001150: MLOAD
00001151: DUP1
00001152: SWAP2
00001153: SUB
00001154: SWAP1
00001155: REVERT
00001156: JUMPDEST
00001157: PUSH1 0x14
00001159: DUP2
0000115a: SWAP1
0000115b: SSTORE
0000115c: PUSH1 0x40
0000115e: DUP1
0000115f: MLOAD
00001160: DUP3
00001161: DUP2
00001162: MSTORE
00001163: SWAP1
00001164: MLOAD
00001165: PUSH32 0x5948780118f41f7c4577ae4619d5cbd064057bd8562d9f7b7e60324053375c00
00001186: SWAP2
00001187: DUP2
00001188: SWAP1
00001189: SUB
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: SWAP1
0000118e: LOG1
0000118f: POP
00001190: JUMP
00001191: JUMPDEST
00001192: PUSH1 0x1d
00001194: SLOAD
00001195: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011aa: AND
000011ab: DUP2
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x13
000011b0: SLOAD
000011b1: PUSH2 0x0100
000011b4: SWAP1
000011b5: DIV
000011b6: PUSH1 0xff
000011b8: AND
000011b9: DUP2
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH1 0x13
000011be: SLOAD
000011bf: PUSH1 0xff
000011c1: AND
000011c2: DUP2
000011c3: JUMP
000011c4: JUMPDEST
000011c5: PUSH1 0x11
000011c7: SLOAD
000011c8: DUP2
000011c9: JUMP
000011ca: JUMPDEST
000011cb: PUSH2 0x11d2
000011ce: PUSH2 0x2a05
000011d1: JUMP
000011d2: JUMPDEST
000011d3: PUSH1 0x00
000011d5: SLOAD
000011d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011eb: SWAP1
000011ec: DUP2
000011ed: AND
000011ee: SWAP2
000011ef: AND
000011f0: EQ
000011f1: PUSH2 0x125b
000011f4: JUMPI
000011f5: PUSH1 0x40
000011f7: DUP1
000011f8: MLOAD
000011f9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000121a: DUP2
0000121b: MSTORE
0000121c: PUSH1 0x20
0000121e: PUSH1 0x04
00001220: DUP3
00001221: ADD
00001222: DUP2
00001223: SWAP1
00001224: MSTORE
00001225: PUSH1 0x24
00001227: DUP3
00001228: ADD
00001229: MSTORE
0000122a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000124b: PUSH1 0x44
0000124d: DUP3
0000124e: ADD
0000124f: MSTORE
00001250: SWAP1
00001251: MLOAD
00001252: SWAP1
00001253: DUP2
00001254: SWAP1
00001255: SUB
00001256: PUSH1 0x64
00001258: ADD
00001259: SWAP1
0000125a: REVERT
0000125b: JUMPDEST
0000125c: PUSH1 0x01
0000125e: DUP2
0000125f: LT
00001260: ISZERO
00001261: DUP1
00001262: ISZERO
00001263: PUSH2 0x1274
00001266: JUMPI
00001267: POP
00001268: PUSH1 0x0c
0000126a: SLOAD
0000126b: PUSH1 0x0a
0000126d: EXP
0000126e: PUSH1 0x0f
00001270: MUL
00001271: DUP2
00001272: GT
00001273: ISZERO
00001274: JUMPDEST
00001275: PUSH2 0x12c9
00001278: JUMPI
00001279: PUSH1 0x40
0000127b: MLOAD
0000127c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000129d: DUP2
0000129e: MSTORE
0000129f: PUSH1 0x04
000012a1: ADD
000012a2: DUP1
000012a3: DUP1
000012a4: PUSH1 0x20
000012a6: ADD
000012a7: DUP3
000012a8: DUP2
000012a9: SUB
000012aa: DUP3
000012ab: MSTORE
000012ac: PUSH1 0x29
000012ae: DUP2
000012af: MSTORE
000012b0: PUSH1 0x20
000012b2: ADD
000012b3: DUP1
000012b4: PUSH2 0x430c
000012b7: PUSH1 0x29
000012b9: SWAP2
000012ba: CODECOPY
000012bb: PUSH1 0x40
000012bd: ADD
000012be: SWAP2
000012bf: POP
000012c0: POP
000012c1: PUSH1 0x40
000012c3: MLOAD
000012c4: DUP1
000012c5: SWAP2
000012c6: SUB
000012c7: SWAP1
000012c8: REVERT
000012c9: JUMPDEST
000012ca: PUSH1 0x1a
000012cc: DUP2
000012cd: SWAP1
000012ce: SSTORE
000012cf: PUSH1 0x40
000012d1: DUP1
000012d2: MLOAD
000012d3: DUP3
000012d4: DUP2
000012d5: MSTORE
000012d6: SWAP1
000012d7: MLOAD
000012d8: PUSH32 0x9765f75ab2b13d6c29b74cc52404cbfe9c6485274d6b86a869014f52993ac24e
000012f9: SWAP2
000012fa: DUP2
000012fb: SWAP1
000012fc: SUB
000012fd: PUSH1 0x20
000012ff: ADD
00001300: SWAP1
00001301: LOG1
00001302: POP
00001303: JUMP
00001304: JUMPDEST
00001305: PUSH2 0x130c
00001308: PUSH2 0x2a05
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH1 0x00
0000130f: SLOAD
00001310: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001325: SWAP1
00001326: DUP2
00001327: AND
00001328: SWAP2
00001329: AND
0000132a: EQ
0000132b: PUSH2 0x1395
0000132e: JUMPI
0000132f: PUSH1 0x40
00001331: DUP1
00001332: MLOAD
00001333: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001354: DUP2
00001355: MSTORE
00001356: PUSH1 0x20
00001358: PUSH1 0x04
0000135a: DUP3
0000135b: ADD
0000135c: DUP2
0000135d: SWAP1
0000135e: MSTORE
0000135f: PUSH1 0x24
00001361: DUP3
00001362: ADD
00001363: MSTORE
00001364: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001385: PUSH1 0x44
00001387: DUP3
00001388: ADD
00001389: MSTORE
0000138a: SWAP1
0000138b: MLOAD
0000138c: SWAP1
0000138d: DUP2
0000138e: SWAP1
0000138f: SUB
00001390: PUSH1 0x64
00001392: ADD
00001393: SWAP1
00001394: REVERT
00001395: JUMPDEST
00001396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ab: SWAP2
000013ac: SWAP1
000013ad: SWAP2
000013ae: AND
000013af: PUSH1 0x00
000013b1: SWAP1
000013b2: DUP2
000013b3: MSTORE
000013b4: PUSH1 0x09
000013b6: PUSH1 0x20
000013b8: MSTORE
000013b9: PUSH1 0x40
000013bb: SWAP1
000013bc: KECCAK256
000013bd: DUP1
000013be: SLOAD
000013bf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000013e0: AND
000013e1: SWAP2
000013e2: ISZERO
000013e3: ISZERO
000013e4: SWAP2
000013e5: SWAP1
000013e6: SWAP2
000013e7: OR
000013e8: SWAP1
000013e9: SSTORE
000013ea: JUMP
000013eb: JUMPDEST
000013ec: PUSH1 0x19
000013ee: SLOAD
000013ef: DUP2
000013f0: JUMP
000013f1: JUMPDEST
000013f2: PUSH1 0x10
000013f4: SLOAD
000013f5: DUP2
000013f6: JUMP
000013f7: JUMPDEST
000013f8: PUSH1 0x0e
000013fa: SLOAD
000013fb: DUP2
000013fc: JUMP
000013fd: JUMPDEST
000013fe: PUSH1 0x13
00001400: DUP1
00001401: SLOAD
00001402: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffff
00001423: AND
00001424: PUSH3 0x010000
00001428: OR
00001429: SWAP1
0000142a: SSTORE
0000142b: PUSH1 0x19
0000142d: SLOAD
0000142e: PUSH2 0x143d
00001431: PUSH2 0x1438
00001434: PUSH2 0x2a05
00001437: JUMP
00001438: JUMPDEST
00001439: PUSH2 0x1825
0000143c: JUMP
0000143d: JUMPDEST
0000143e: LT
0000143f: ISZERO
00001440: PUSH2 0x1494
00001443: JUMPI
00001444: PUSH1 0x40
00001446: MLOAD
00001447: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001468: DUP2
00001469: MSTORE
0000146a: PUSH1 0x04
0000146c: ADD
0000146d: DUP1
0000146e: DUP1
0000146f: PUSH1 0x20
00001471: ADD
00001472: DUP3
00001473: DUP2
00001474: SUB
00001475: DUP3
00001476: MSTORE
00001477: PUSH1 0x39
00001479: DUP2
0000147a: MSTORE
0000147b: PUSH1 0x20
0000147d: ADD
0000147e: DUP1
0000147f: PUSH2 0x41e6
00001482: PUSH1 0x39
00001484: SWAP2
00001485: CODECOPY
00001486: PUSH1 0x40
00001488: ADD
00001489: SWAP2
0000148a: POP
0000148b: POP
0000148c: PUSH1 0x40
0000148e: MLOAD
0000148f: DUP1
00001490: SWAP2
00001491: SUB
00001492: SWAP1
00001493: REVERT
00001494: JUMPDEST
00001495: PUSH1 0x18
00001497: SLOAD
00001498: PUSH1 0x17
0000149a: SLOAD
0000149b: ADD
0000149c: TIMESTAMP
0000149d: GT
0000149e: PUSH2 0x14f2
000014a1: JUMPI
000014a2: PUSH1 0x40
000014a4: MLOAD
000014a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014c6: DUP2
000014c7: MSTORE
000014c8: PUSH1 0x04
000014ca: ADD
000014cb: DUP1
000014cc: DUP1
000014cd: PUSH1 0x20
000014cf: ADD
000014d0: DUP3
000014d1: DUP2
000014d2: SUB
000014d3: DUP3
000014d4: MSTORE
000014d5: PUSH1 0x2f
000014d7: DUP2
000014d8: MSTORE
000014d9: PUSH1 0x20
000014db: ADD
000014dc: DUP1
000014dd: PUSH2 0x3fd7
000014e0: PUSH1 0x2f
000014e2: SWAP2
000014e3: CODECOPY
000014e4: PUSH1 0x40
000014e6: ADD
000014e7: SWAP2
000014e8: POP
000014e9: POP
000014ea: PUSH1 0x40
000014ec: MLOAD
000014ed: DUP1
000014ee: SWAP2
000014ef: SUB
000014f0: SWAP1
000014f1: REVERT
000014f2: JUMPDEST
000014f3: TIMESTAMP
000014f4: PUSH1 0x17
000014f6: SSTORE
000014f7: PUSH1 0x0c
000014f9: SLOAD
000014fa: PUSH1 0x1b
000014fc: SLOAD
000014fd: PUSH1 0x1d
000014ff: SLOAD
00001500: PUSH1 0x40
00001502: DUP1
00001503: MLOAD
00001504: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001525: DUP2
00001526: MSTORE
00001527: ADDRESS
00001528: PUSH1 0x04
0000152a: DUP3
0000152b: ADD
0000152c: MSTORE
0000152d: SWAP1
0000152e: MLOAD
0000152f: PUSH1 0x00
00001531: SWAP5
00001532: PUSH2 0x15b4
00001535: SWAP5
00001536: PUSH1 0x02
00001538: SWAP1
00001539: SWAP2
0000153a: ADD
0000153b: PUSH1 0x0a
0000153d: EXP
0000153e: SWAP4
0000153f: PUSH2 0x0fe8
00001542: SWAP4
00001543: SWAP2
00001544: SWAP3
00001545: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155a: SWAP1
0000155b: SWAP2
0000155c: AND
0000155d: SWAP2
0000155e: PUSH4 0x70a08231
00001563: SWAP2
00001564: PUSH1 0x24
00001566: DUP1
00001567: DUP4
00001568: ADD
00001569: SWAP3
0000156a: PUSH1 0x20
0000156c: SWAP3
0000156d: SWAP2
0000156e: SWAP1
0000156f: DUP3
00001570: SWAP1
00001571: SUB
00001572: ADD
00001573: DUP2
00001574: DUP7
00001575: DUP1
00001576: EXTCODESIZE
00001577: ISZERO
00001578: DUP1
00001579: ISZERO
0000157a: PUSH2 0x1582
0000157d: JUMPI
0000157e: PUSH1 0x00
00001580: DUP1
00001581: REVERT
00001582: JUMPDEST
00001583: POP
00001584: GAS
00001585: STATICCALL
00001586: ISZERO
00001587: DUP1
00001588: ISZERO
00001589: PUSH2 0x1596
0000158c: JUMPI
0000158d: RETURNDATASIZE
0000158e: PUSH1 0x00
00001590: DUP1
00001591: RETURNDATACOPY
00001592: RETURNDATASIZE
00001593: PUSH1 0x00
00001595: REVERT
00001596: JUMPDEST
00001597: POP
00001598: POP
00001599: POP
0000159a: POP
0000159b: PUSH1 0x40
0000159d: MLOAD
0000159e: RETURNDATASIZE
0000159f: PUSH1 0x20
000015a1: DUP2
000015a2: LT
000015a3: ISZERO
000015a4: PUSH2 0x15ac
000015a7: JUMPI
000015a8: PUSH1 0x00
000015aa: DUP1
000015ab: REVERT
000015ac: JUMPDEST
000015ad: POP
000015ae: MLOAD
000015af: SWAP1
000015b0: PUSH2 0x3517
000015b3: JUMP
000015b4: JUMPDEST
000015b5: SWAP1
000015b6: POP
000015b7: DUP1
000015b8: PUSH2 0x15c1
000015bb: JUMPI
000015bc: POP
000015bd: PUSH2 0x17fb
000015c0: JUMP
000015c1: JUMPDEST
000015c2: SELFBALANCE
000015c3: PUSH2 0x15cb
000015c6: DUP3
000015c7: PUSH2 0x35cc
000015ca: JUMP
000015cb: JUMPDEST
000015cc: POP
000015cd: PUSH1 0x00
000015cf: PUSH2 0x15d8
000015d2: SELFBALANCE
000015d3: DUP4
000015d4: PUSH2 0x358a
000015d7: JUMP
000015d8: JUMPDEST
000015d9: SWAP1
000015da: POP
000015db: PUSH2 0x15e3
000015de: DUP2
000015df: PUSH2 0x3747
000015e2: JUMP
000015e3: JUMPDEST
000015e4: PUSH1 0x16
000015e6: SLOAD
000015e7: PUSH1 0x00
000015e9: SWAP1
000015ea: PUSH2 0x1608
000015ed: SWAP1
000015ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001603: AND
00001604: PUSH2 0x1825
00001607: JUMP
00001608: JUMPDEST
00001609: SWAP1
0000160a: POP
0000160b: PUSH1 0x00
0000160d: PUSH2 0x162d
00001610: PUSH1 0x0c
00001612: SLOAD
00001613: PUSH1 0x02
00001615: ADD
00001616: PUSH1 0x0a
00001618: EXP
00001619: PUSH2 0x0fe8
0000161c: PUSH1 0x1a
0000161e: SLOAD
0000161f: DUP6
00001620: PUSH2 0x3517
00001623: SWAP1
00001624: SWAP2
00001625: SWAP1
00001626: PUSH4 0xffffffff
0000162b: AND
0000162c: JUMP
0000162d: JUMPDEST
0000162e: SWAP1
0000162f: POP
00001630: PUSH1 0x00
00001632: PUSH2 0x163b
00001635: DUP4
00001636: DUP4
00001637: PUSH2 0x358a
0000163a: JUMP
0000163b: JUMPDEST
0000163c: SWAP1
0000163d: POP
0000163e: PUSH1 0x00
00001640: PUSH2 0x1647
00001643: PUSH2 0x32af
00001646: JUMP
00001647: JUMPDEST
00001648: SWAP1
00001649: POP
0000164a: PUSH2 0x168f
0000164d: PUSH2 0x1656
00001650: DUP5
00001651: DUP4
00001652: PUSH2 0x3517
00001655: JUMP
00001656: JUMPDEST
00001657: PUSH1 0x06
00001659: PUSH1 0x00
0000165b: PUSH2 0x1662
0000165e: PUSH2 0x2a05
00001661: JUMP
00001662: JUMPDEST
00001663: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001678: AND
00001679: DUP2
0000167a: MSTORE
0000167b: PUSH1 0x20
0000167d: DUP2
0000167e: ADD
0000167f: SWAP2
00001680: SWAP1
00001681: SWAP2
00001682: MSTORE
00001683: PUSH1 0x40
00001685: ADD
00001686: PUSH1 0x00
00001688: KECCAK256
00001689: SLOAD
0000168a: SWAP1
0000168b: PUSH2 0x34a3
0000168e: JUMP
0000168f: JUMPDEST
00001690: PUSH1 0x06
00001692: PUSH1 0x00
00001694: PUSH2 0x169b
00001697: PUSH2 0x2a05
0000169a: JUMP
0000169b: JUMPDEST
0000169c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b1: SWAP1
000016b2: DUP2
000016b3: AND
000016b4: DUP3
000016b5: MSTORE
000016b6: PUSH1 0x20
000016b8: DUP1
000016b9: DUP4
000016ba: ADD
000016bb: SWAP4
000016bc: SWAP1
000016bd: SWAP4
000016be: MSTORE
000016bf: PUSH1 0x40
000016c1: SWAP2
000016c2: DUP3
000016c3: ADD
000016c4: PUSH1 0x00
000016c6: SWAP1
000016c7: DUP2
000016c8: KECCAK256
000016c9: SWAP5
000016ca: SWAP1
000016cb: SWAP5
000016cc: SSTORE
000016cd: PUSH1 0x16
000016cf: SLOAD
000016d0: AND
000016d1: DUP4
000016d2: MSTORE
000016d3: PUSH1 0x06
000016d5: SWAP1
000016d6: SWAP2
000016d7: MSTORE
000016d8: DUP2
000016d9: KECCAK256
000016da: SSTORE
000016db: PUSH1 0x11
000016dd: SLOAD
000016de: PUSH2 0x16e7
000016e1: SWAP1
000016e2: DUP4
000016e3: PUSH2 0x34a3
000016e6: JUMP
000016e7: JUMPDEST
000016e8: PUSH1 0x11
000016ea: SSTORE
000016eb: PUSH1 0x04
000016ed: SLOAD
000016ee: PUSH2 0x16f7
000016f1: SWAP1
000016f2: DUP4
000016f3: PUSH2 0x358a
000016f6: JUMP
000016f7: JUMPDEST
000016f8: PUSH1 0x04
000016fa: SSTORE
000016fb: PUSH2 0x1710
000016fe: PUSH2 0x1707
00001701: DUP4
00001702: DUP4
00001703: PUSH2 0x3517
00001706: JUMP
00001707: JUMPDEST
00001708: PUSH1 0x05
0000170a: SLOAD
0000170b: SWAP1
0000170c: PUSH2 0x358a
0000170f: JUMP
00001710: JUMPDEST
00001711: PUSH1 0x05
00001713: SSTORE
00001714: PUSH2 0x171b
00001717: PUSH2 0x2a05
0000171a: JUMP
0000171b: JUMPDEST
0000171c: PUSH1 0x16
0000171e: SLOAD
0000171f: PUSH1 0x40
00001721: DUP1
00001722: MLOAD
00001723: DUP7
00001724: DUP2
00001725: MSTORE
00001726: SWAP1
00001727: MLOAD
00001728: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173d: SWAP4
0000173e: DUP5
0000173f: AND
00001740: SWAP4
00001741: SWAP3
00001742: SWAP1
00001743: SWAP3
00001744: AND
00001745: SWAP2
00001746: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001767: SWAP2
00001768: DUP2
00001769: SWAP1
0000176a: SUB
0000176b: PUSH1 0x20
0000176d: ADD
0000176e: SWAP1
0000176f: LOG3
00001770: PUSH1 0x16
00001772: SLOAD
00001773: PUSH1 0x40
00001775: DUP1
00001776: MLOAD
00001777: DUP5
00001778: DUP2
00001779: MSTORE
0000177a: SWAP1
0000177b: MLOAD
0000177c: PUSH1 0x00
0000177e: SWAP3
0000177f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001794: AND
00001795: SWAP2
00001796: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000017b7: SWAP2
000017b8: SWAP1
000017b9: DUP2
000017ba: SWAP1
000017bb: SUB
000017bc: PUSH1 0x20
000017be: ADD
000017bf: SWAP1
000017c0: LOG3
000017c1: PUSH1 0x40
000017c3: DUP1
000017c4: MLOAD
000017c5: DUP4
000017c6: DUP2
000017c7: MSTORE
000017c8: SWAP1
000017c9: MLOAD
000017ca: PUSH32 0x811d4760f1a92875eb76dbd3dc2359544b2f6a000ba5b78784c0b105b3469bd0
000017eb: SWAP2
000017ec: DUP2
000017ed: SWAP1
000017ee: SUB
000017ef: PUSH1 0x20
000017f1: ADD
000017f2: SWAP1
000017f3: LOG1
000017f4: POP
000017f5: POP
000017f6: POP
000017f7: POP
000017f8: POP
000017f9: POP
000017fa: POP
000017fb: JUMPDEST
000017fc: PUSH1 0x13
000017fe: DUP1
000017ff: SLOAD
00001800: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffff
00001821: AND
00001822: SWAP1
00001823: SSTORE
00001824: JUMP
00001825: JUMPDEST
00001826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000183b: DUP2
0000183c: AND
0000183d: PUSH1 0x00
0000183f: SWAP1
00001840: DUP2
00001841: MSTORE
00001842: PUSH1 0x0a
00001844: PUSH1 0x20
00001846: MSTORE
00001847: PUSH1 0x40
00001849: DUP2
0000184a: KECCAK256
0000184b: SLOAD
0000184c: PUSH1 0xff
0000184e: AND
0000184f: ISZERO
00001850: PUSH2 0x187f
00001853: JUMPI
00001854: POP
00001855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186a: DUP2
0000186b: AND
0000186c: PUSH1 0x00
0000186e: SWAP1
0000186f: DUP2
00001870: MSTORE
00001871: PUSH1 0x07
00001873: PUSH1 0x20
00001875: MSTORE
00001876: PUSH1 0x40
00001878: SWAP1
00001879: KECCAK256
0000187a: SLOAD
0000187b: PUSH2 0x0d8c
0000187e: JUMP
0000187f: JUMPDEST
00001880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001895: DUP3
00001896: AND
00001897: PUSH1 0x00
00001899: SWAP1
0000189a: DUP2
0000189b: MSTORE
0000189c: PUSH1 0x06
0000189e: PUSH1 0x20
000018a0: MSTORE
000018a1: PUSH1 0x40
000018a3: SWAP1
000018a4: KECCAK256
000018a5: SLOAD
000018a6: PUSH2 0x0c2e
000018a9: SWAP1
000018aa: PUSH2 0x0d15
000018ad: JUMP
000018ae: JUMPDEST
000018af: PUSH2 0x18b6
000018b2: PUSH2 0x2a05
000018b5: JUMP
000018b6: JUMPDEST
000018b7: PUSH1 0x00
000018b9: SLOAD
000018ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018cf: SWAP1
000018d0: DUP2
000018d1: AND
000018d2: SWAP2
000018d3: AND
000018d4: EQ
000018d5: PUSH2 0x193f
000018d8: JUMPI
000018d9: PUSH1 0x40
000018db: DUP1
000018dc: MLOAD
000018dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018fe: DUP2
000018ff: MSTORE
00001900: PUSH1 0x20
00001902: PUSH1 0x04
00001904: DUP3
00001905: ADD
00001906: DUP2
00001907: SWAP1
00001908: MSTORE
00001909: PUSH1 0x24
0000190b: DUP3
0000190c: ADD
0000190d: MSTORE
0000190e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000192f: PUSH1 0x44
00001931: DUP3
00001932: ADD
00001933: MSTORE
00001934: SWAP1
00001935: MLOAD
00001936: SWAP1
00001937: DUP2
00001938: SWAP1
00001939: SUB
0000193a: PUSH1 0x64
0000193c: ADD
0000193d: SWAP1
0000193e: REVERT
0000193f: JUMPDEST
00001940: PUSH1 0x00
00001942: DUP1
00001943: SLOAD
00001944: PUSH1 0x40
00001946: MLOAD
00001947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195c: SWAP1
0000195d: SWAP2
0000195e: AND
0000195f: SWAP1
00001960: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001981: SWAP1
00001982: DUP4
00001983: SWAP1
00001984: LOG3
00001985: PUSH1 0x00
00001987: DUP1
00001988: SLOAD
00001989: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000019aa: AND
000019ab: SWAP1
000019ac: SSTORE
000019ad: JUMP
000019ae: JUMPDEST
000019af: PUSH1 0x1a
000019b1: SLOAD
000019b2: DUP2
000019b3: JUMP
000019b4: JUMPDEST
000019b5: PUSH2 0x19bc
000019b8: PUSH2 0x2a05
000019bb: JUMP
000019bc: JUMPDEST
000019bd: PUSH1 0x00
000019bf: SLOAD
000019c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d5: SWAP1
000019d6: DUP2
000019d7: AND
000019d8: SWAP2
000019d9: AND
000019da: EQ
000019db: PUSH2 0x1a45
000019de: JUMPI
000019df: PUSH1 0x40
000019e1: DUP1
000019e2: MLOAD
000019e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a04: DUP2
00001a05: MSTORE
00001a06: PUSH1 0x20
00001a08: PUSH1 0x04
00001a0a: DUP3
00001a0b: ADD
00001a0c: DUP2
00001a0d: SWAP1
00001a0e: MSTORE
00001a0f: PUSH1 0x24
00001a11: DUP3
00001a12: ADD
00001a13: MSTORE
00001a14: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001a35: PUSH1 0x44
00001a37: DUP3
00001a38: ADD
00001a39: MSTORE
00001a3a: SWAP1
00001a3b: MLOAD
00001a3c: SWAP1
00001a3d: DUP2
00001a3e: SWAP1
00001a3f: SUB
00001a40: PUSH1 0x64
00001a42: ADD
00001a43: SWAP1
00001a44: REVERT
00001a45: JUMPDEST
00001a46: PUSH1 0x19
00001a48: DUP2
00001a49: SWAP1
00001a4a: SSTORE
00001a4b: PUSH1 0x40
00001a4d: DUP1
00001a4e: MLOAD
00001a4f: DUP3
00001a50: DUP2
00001a51: MSTORE
00001a52: SWAP1
00001a53: MLOAD
00001a54: PUSH32 0x8374a3bea33ded453e957fa7e2b11170872937507d72670d3b848ad4bd98f9e1
00001a75: SWAP2
00001a76: DUP2
00001a77: SWAP1
00001a78: SUB
00001a79: PUSH1 0x20
00001a7b: ADD
00001a7c: SWAP1
00001a7d: LOG1
00001a7e: POP
00001a7f: JUMP
00001a80: JUMPDEST
00001a81: PUSH2 0x1a88
00001a84: PUSH2 0x2a05
00001a87: JUMP
00001a88: JUMPDEST
00001a89: PUSH1 0x00
00001a8b: SLOAD
00001a8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa1: SWAP1
00001aa2: DUP2
00001aa3: AND
00001aa4: SWAP2
00001aa5: AND
00001aa6: EQ
00001aa7: PUSH2 0x1b11
00001aaa: JUMPI
00001aab: PUSH1 0x40
00001aad: DUP1
00001aae: MLOAD
00001aaf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ad0: DUP2
00001ad1: MSTORE
00001ad2: PUSH1 0x20
00001ad4: PUSH1 0x04
00001ad6: DUP3
00001ad7: ADD
00001ad8: DUP2
00001ad9: SWAP1
00001ada: MSTORE
00001adb: PUSH1 0x24
00001add: DUP3
00001ade: ADD
00001adf: MSTORE
00001ae0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001b01: PUSH1 0x44
00001b03: DUP3
00001b04: ADD
00001b05: MSTORE
00001b06: SWAP1
00001b07: MLOAD
00001b08: SWAP1
00001b09: DUP2
00001b0a: SWAP1
00001b0b: SUB
00001b0c: PUSH1 0x64
00001b0e: ADD
00001b0f: SWAP1
00001b10: REVERT
00001b11: JUMPDEST
00001b12: TIMESTAMP
00001b13: PUSH1 0x12
00001b15: SSTORE
00001b16: PUSH1 0x13
00001b18: DUP1
00001b19: SLOAD
00001b1a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001b3b: AND
00001b3c: PUSH1 0x01
00001b3e: OR
00001b3f: SWAP1
00001b40: SSTORE
00001b41: PUSH1 0x40
00001b43: MLOAD
00001b44: PUSH32 0x799663458a5ef2936f7fa0c99b3336c69c25890f82974f04e811e5bb359186c7
00001b65: SWAP1
00001b66: PUSH1 0x00
00001b68: SWAP1
00001b69: LOG1
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: PUSH2 0x1b73
00001b6f: PUSH2 0x2a05
00001b72: JUMP
00001b73: JUMPDEST
00001b74: PUSH1 0x00
00001b76: SLOAD
00001b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8c: SWAP1
00001b8d: DUP2
00001b8e: AND
00001b8f: SWAP2
00001b90: AND
00001b91: EQ
00001b92: PUSH2 0x1bfc
00001b95: JUMPI
00001b96: PUSH1 0x40
00001b98: DUP1
00001b99: MLOAD
00001b9a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bbb: DUP2
00001bbc: MSTORE
00001bbd: PUSH1 0x20
00001bbf: PUSH1 0x04
00001bc1: DUP3
00001bc2: ADD
00001bc3: DUP2
00001bc4: SWAP1
00001bc5: MSTORE
00001bc6: PUSH1 0x24
00001bc8: DUP3
00001bc9: ADD
00001bca: MSTORE
00001bcb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001bec: PUSH1 0x44
00001bee: DUP3
00001bef: ADD
00001bf0: MSTORE
00001bf1: SWAP1
00001bf2: MLOAD
00001bf3: SWAP1
00001bf4: DUP2
00001bf5: SWAP1
00001bf6: SUB
00001bf7: PUSH1 0x64
00001bf9: ADD
00001bfa: SWAP1
00001bfb: REVERT
00001bfc: JUMPDEST
00001bfd: PUSH4 0x3b9aca00
00001c02: DUP2
00001c03: LT
00001c04: ISZERO
00001c05: PUSH2 0x1c59
00001c08: JUMPI
00001c09: PUSH1 0x40
00001c0b: MLOAD
00001c0c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c2d: DUP2
00001c2e: MSTORE
00001c2f: PUSH1 0x04
00001c31: ADD
00001c32: DUP1
00001c33: DUP1
00001c34: PUSH1 0x20
00001c36: ADD
00001c37: DUP3
00001c38: DUP2
00001c39: SUB
00001c3a: DUP3
00001c3b: MSTORE
00001c3c: PUSH1 0x33
00001c3e: DUP2
00001c3f: MSTORE
00001c40: PUSH1 0x20
00001c42: ADD
00001c43: DUP1
00001c44: PUSH2 0x4125
00001c47: PUSH1 0x33
00001c49: SWAP2
00001c4a: CODECOPY
00001c4b: PUSH1 0x40
00001c4d: ADD
00001c4e: SWAP2
00001c4f: POP
00001c50: POP
00001c51: PUSH1 0x40
00001c53: MLOAD
00001c54: DUP1
00001c55: SWAP2
00001c56: SUB
00001c57: SWAP1
00001c58: REVERT
00001c59: JUMPDEST
00001c5a: PUSH1 0x15
00001c5c: DUP2
00001c5d: SWAP1
00001c5e: SSTORE
00001c5f: PUSH1 0x40
00001c61: DUP1
00001c62: MLOAD
00001c63: DUP3
00001c64: DUP2
00001c65: MSTORE
00001c66: SWAP1
00001c67: MLOAD
00001c68: PUSH32 0x74272e6f6c75e19c6f48bb75e2724eb55e3e1726f8b81d97f1db21d22ead93dc
00001c89: SWAP2
00001c8a: DUP2
00001c8b: SWAP1
00001c8c: SUB
00001c8d: PUSH1 0x20
00001c8f: ADD
00001c90: SWAP1
00001c91: LOG1
00001c92: POP
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH1 0x00
00001c97: SLOAD
00001c98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cad: AND
00001cae: SWAP1
00001caf: JUMP
00001cb0: JUMPDEST
00001cb1: PUSH1 0x15
00001cb3: SLOAD
00001cb4: DUP2
00001cb5: JUMP
00001cb6: JUMPDEST
00001cb7: PUSH1 0x02
00001cb9: DUP1
00001cba: SLOAD
00001cbb: PUSH1 0x40
00001cbd: DUP1
00001cbe: MLOAD
00001cbf: PUSH1 0x20
00001cc1: PUSH1 0x1f
00001cc3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ce4: PUSH2 0x0100
00001ce7: PUSH1 0x01
00001ce9: DUP8
00001cea: AND
00001ceb: ISZERO
00001cec: MUL
00001ced: ADD
00001cee: SWAP1
00001cef: SWAP5
00001cf0: AND
00001cf1: DUP6
00001cf2: SWAP1
00001cf3: DIV
00001cf4: SWAP4
00001cf5: DUP5
00001cf6: ADD
00001cf7: DUP2
00001cf8: SWAP1
00001cf9: DIV
00001cfa: DUP2
00001cfb: MUL
00001cfc: DUP3
00001cfd: ADD
00001cfe: DUP2
00001cff: ADD
00001d00: SWAP1
00001d01: SWAP3
00001d02: MSTORE
00001d03: DUP3
00001d04: DUP2
00001d05: MSTORE
00001d06: PUSH1 0x60
00001d08: SWAP4
00001d09: SWAP1
00001d0a: SWAP3
00001d0b: SWAP1
00001d0c: SWAP2
00001d0d: DUP4
00001d0e: ADD
00001d0f: DUP3
00001d10: DUP3
00001d11: DUP1
00001d12: ISZERO
00001d13: PUSH2 0x0c0b
00001d16: JUMPI
00001d17: DUP1
00001d18: PUSH1 0x1f
00001d1a: LT
00001d1b: PUSH2 0x0be0
00001d1e: JUMPI
00001d1f: PUSH2 0x0100
00001d22: DUP1
00001d23: DUP4
00001d24: SLOAD
00001d25: DIV
00001d26: MUL
00001d27: DUP4
00001d28: MSTORE
00001d29: SWAP2
00001d2a: PUSH1 0x20
00001d2c: ADD
00001d2d: SWAP2
00001d2e: PUSH2 0x0c0b
00001d31: JUMP
00001d32: JUMPDEST
00001d33: PUSH2 0x1d3a
00001d36: PUSH2 0x2a05
00001d39: JUMP
00001d3a: JUMPDEST
00001d3b: PUSH1 0x00
00001d3d: SLOAD
00001d3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d53: SWAP1
00001d54: DUP2
00001d55: AND
00001d56: SWAP2
00001d57: AND
00001d58: EQ
00001d59: PUSH2 0x1dc3
00001d5c: JUMPI
00001d5d: PUSH1 0x40
00001d5f: DUP1
00001d60: MLOAD
00001d61: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d82: DUP2
00001d83: MSTORE
00001d84: PUSH1 0x20
00001d86: PUSH1 0x04
00001d88: DUP3
00001d89: ADD
00001d8a: DUP2
00001d8b: SWAP1
00001d8c: MSTORE
00001d8d: PUSH1 0x24
00001d8f: DUP3
00001d90: ADD
00001d91: MSTORE
00001d92: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001db3: PUSH1 0x44
00001db5: DUP3
00001db6: ADD
00001db7: MSTORE
00001db8: SWAP1
00001db9: MLOAD
00001dba: SWAP1
00001dbb: DUP2
00001dbc: SWAP1
00001dbd: SUB
00001dbe: PUSH1 0x64
00001dc0: ADD
00001dc1: SWAP1
00001dc2: REVERT
00001dc3: JUMPDEST
00001dc4: PUSH1 0x01
00001dc6: DUP2
00001dc7: LT
00001dc8: ISZERO
00001dc9: DUP1
00001dca: ISZERO
00001dcb: PUSH2 0x1ddc
00001dce: JUMPI
00001dcf: POP
00001dd0: PUSH1 0x0c
00001dd2: SLOAD
00001dd3: PUSH1 0x0a
00001dd5: EXP
00001dd6: PUSH1 0x0a
00001dd8: MUL
00001dd9: DUP2
00001dda: GT
00001ddb: ISZERO
00001ddc: JUMPDEST
00001ddd: PUSH2 0x1e31
00001de0: JUMPI
00001de1: PUSH1 0x40
00001de3: MLOAD
00001de4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e05: DUP2
00001e06: MSTORE
00001e07: PUSH1 0x04
00001e09: ADD
00001e0a: DUP1
00001e0b: DUP1
00001e0c: PUSH1 0x20
00001e0e: ADD
00001e0f: DUP3
00001e10: DUP2
00001e11: SUB
00001e12: DUP3
00001e13: MSTORE
00001e14: PUSH1 0x2d
00001e16: DUP2
00001e17: MSTORE
00001e18: PUSH1 0x20
00001e1a: ADD
00001e1b: DUP1
00001e1c: PUSH2 0x409a
00001e1f: PUSH1 0x2d
00001e21: SWAP2
00001e22: CODECOPY
00001e23: PUSH1 0x40
00001e25: ADD
00001e26: SWAP2
00001e27: POP
00001e28: POP
00001e29: PUSH1 0x40
00001e2b: MLOAD
00001e2c: DUP1
00001e2d: SWAP2
00001e2e: SUB
00001e2f: SWAP1
00001e30: REVERT
00001e31: JUMPDEST
00001e32: PUSH1 0x1b
00001e34: DUP2
00001e35: SWAP1
00001e36: SSTORE
00001e37: PUSH1 0x40
00001e39: DUP1
00001e3a: MLOAD
00001e3b: DUP3
00001e3c: DUP2
00001e3d: MSTORE
00001e3e: SWAP1
00001e3f: MLOAD
00001e40: PUSH32 0x5be5e13332f5fe25d72958c9d03ce5cdb01b189670222a86673715d56e43ce2a
00001e61: SWAP2
00001e62: DUP2
00001e63: SWAP1
00001e64: SUB
00001e65: PUSH1 0x20
00001e67: ADD
00001e68: SWAP1
00001e69: LOG1
00001e6a: POP
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH1 0x00
00001e6f: PUSH2 0x0c2a
00001e72: PUSH2 0x1e79
00001e75: PUSH2 0x2a05
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: DUP5
00001e7b: PUSH2 0x0d06
00001e7e: DUP6
00001e7f: PUSH1 0x40
00001e81: MLOAD
00001e82: DUP1
00001e83: PUSH1 0x60
00001e85: ADD
00001e86: PUSH1 0x40
00001e88: MSTORE
00001e89: DUP1
00001e8a: PUSH1 0x25
00001e8c: DUP2
00001e8d: MSTORE
00001e8e: PUSH1 0x20
00001e90: ADD
00001e91: PUSH2 0x42e7
00001e94: PUSH1 0x25
00001e96: SWAP2
00001e97: CODECOPY
00001e98: PUSH1 0x08
00001e9a: PUSH1 0x00
00001e9c: PUSH2 0x1ea3
00001e9f: PUSH2 0x2a05
00001ea2: JUMP
00001ea3: JUMPDEST
00001ea4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb9: SWAP1
00001eba: DUP2
00001ebb: AND
00001ebc: DUP3
00001ebd: MSTORE
00001ebe: PUSH1 0x20
00001ec0: DUP1
00001ec1: DUP4
00001ec2: ADD
00001ec3: SWAP4
00001ec4: SWAP1
00001ec5: SWAP4
00001ec6: MSTORE
00001ec7: PUSH1 0x40
00001ec9: SWAP2
00001eca: DUP3
00001ecb: ADD
00001ecc: PUSH1 0x00
00001ece: SWAP1
00001ecf: DUP2
00001ed0: KECCAK256
00001ed1: SWAP2
00001ed2: DUP14
00001ed3: AND
00001ed4: DUP2
00001ed5: MSTORE
00001ed6: SWAP3
00001ed7: MSTORE
00001ed8: SWAP1
00001ed9: KECCAK256
00001eda: SLOAD
00001edb: SWAP2
00001edc: SWAP1
00001edd: PUSH2 0x31fe
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: PUSH1 0x00
00001ee4: PUSH2 0x0c2a
00001ee7: PUSH2 0x1eee
00001eea: PUSH2 0x2a05
00001eed: JUMP
00001eee: JUMPDEST
00001eef: DUP5
00001ef0: DUP5
00001ef1: PUSH2 0x2b50
00001ef4: JUMP
00001ef5: JUMPDEST
00001ef6: PUSH2 0x1efd
00001ef9: PUSH2 0x2a05
00001efc: JUMP
00001efd: JUMPDEST
00001efe: PUSH1 0x00
00001f00: SLOAD
00001f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f16: SWAP1
00001f17: DUP2
00001f18: AND
00001f19: SWAP2
00001f1a: AND
00001f1b: EQ
00001f1c: PUSH2 0x1f86
00001f1f: JUMPI
00001f20: PUSH1 0x40
00001f22: DUP1
00001f23: MLOAD
00001f24: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f45: DUP2
00001f46: MSTORE
00001f47: PUSH1 0x20
00001f49: PUSH1 0x04
00001f4b: DUP3
00001f4c: ADD
00001f4d: DUP2
00001f4e: SWAP1
00001f4f: MSTORE
00001f50: PUSH1 0x24
00001f52: DUP3
00001f53: ADD
00001f54: MSTORE
00001f55: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f76: PUSH1 0x44
00001f78: DUP3
00001f79: ADD
00001f7a: MSTORE
00001f7b: SWAP1
00001f7c: MLOAD
00001f7d: SWAP1
00001f7e: DUP2
00001f7f: SWAP1
00001f80: SUB
00001f81: PUSH1 0x64
00001f83: ADD
00001f84: SWAP1
00001f85: REVERT
00001f86: JUMPDEST
00001f87: PUSH1 0x18
00001f89: DUP2
00001f8a: SWAP1
00001f8b: SSTORE
00001f8c: PUSH1 0x40
00001f8e: DUP1
00001f8f: MLOAD
00001f90: DUP3
00001f91: DUP2
00001f92: MSTORE
00001f93: SWAP1
00001f94: MLOAD
00001f95: PUSH32 0x8b06935304277197be5d3ccc7b672a23adfc30c675f1078e336b620484302023
00001fb6: SWAP2
00001fb7: DUP2
00001fb8: SWAP1
00001fb9: SUB
00001fba: PUSH1 0x20
00001fbc: ADD
00001fbd: SWAP1
00001fbe: LOG1
00001fbf: POP
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: PUSH2 0x1fc9
00001fc5: PUSH2 0x2a05
00001fc8: JUMP
00001fc9: JUMPDEST
00001fca: PUSH1 0x00
00001fcc: SLOAD
00001fcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe2: SWAP1
00001fe3: DUP2
00001fe4: AND
00001fe5: SWAP2
00001fe6: AND
00001fe7: EQ
00001fe8: PUSH2 0x2052
00001feb: JUMPI
00001fec: PUSH1 0x40
00001fee: DUP1
00001fef: MLOAD
00001ff0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002011: DUP2
00002012: MSTORE
00002013: PUSH1 0x20
00002015: PUSH1 0x04
00002017: DUP3
00002018: ADD
00002019: DUP2
0000201a: SWAP1
0000201b: MSTORE
0000201c: PUSH1 0x24
0000201e: DUP3
0000201f: ADD
00002020: MSTORE
00002021: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002042: PUSH1 0x44
00002044: DUP3
00002045: ADD
00002046: MSTORE
00002047: SWAP1
00002048: MLOAD
00002049: SWAP1
0000204a: DUP2
0000204b: SWAP1
0000204c: SUB
0000204d: PUSH1 0x64
0000204f: ADD
00002050: SWAP1
00002051: REVERT
00002052: JUMPDEST
00002053: PUSH1 0x0c
00002055: SLOAD
00002056: PUSH1 0x0a
00002058: EXP
00002059: PUSH1 0x05
0000205b: MUL
0000205c: DUP2
0000205d: GT
0000205e: ISZERO
0000205f: PUSH2 0x20c9
00002062: JUMPI
00002063: PUSH1 0x40
00002065: DUP1
00002066: MLOAD
00002067: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002088: DUP2
00002089: MSTORE
0000208a: PUSH1 0x20
0000208c: PUSH1 0x04
0000208e: DUP3
0000208f: ADD
00002090: DUP2
00002091: SWAP1
00002092: MSTORE
00002093: PUSH1 0x24
00002095: DUP3
00002096: ADD
00002097: MSTORE
00002098: PUSH32 0x4d616769783a207461784665652073686f756c6420626520696e2030202d2035
000020b9: PUSH1 0x44
000020bb: DUP3
000020bc: ADD
000020bd: MSTORE
000020be: SWAP1
000020bf: MLOAD
000020c0: SWAP1
000020c1: DUP2
000020c2: SWAP1
000020c3: SUB
000020c4: PUSH1 0x64
000020c6: ADD
000020c7: SWAP1
000020c8: REVERT
000020c9: JUMPDEST
000020ca: PUSH1 0x0d
000020cc: DUP2
000020cd: SWAP1
000020ce: SSTORE
000020cf: PUSH1 0x40
000020d1: DUP1
000020d2: MLOAD
000020d3: DUP3
000020d4: DUP2
000020d5: MSTORE
000020d6: SWAP1
000020d7: MLOAD
000020d8: PUSH32 0xaa4b71ac29531fdea0ef1650c76ef91e3771dac25f4a4dd2a561ff3e0b9a5de2
000020f9: SWAP2
000020fa: DUP2
000020fb: SWAP1
000020fc: SUB
000020fd: PUSH1 0x20
000020ff: ADD
00002100: SWAP1
00002101: LOG1
00002102: POP
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH2 0x210c
00002108: PUSH2 0x2a05
0000210b: JUMP
0000210c: JUMPDEST
0000210d: PUSH1 0x00
0000210f: SLOAD
00002110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002125: SWAP1
00002126: DUP2
00002127: AND
00002128: SWAP2
00002129: AND
0000212a: EQ
0000212b: PUSH2 0x2195
0000212e: JUMPI
0000212f: PUSH1 0x40
00002131: DUP1
00002132: MLOAD
00002133: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002154: DUP2
00002155: MSTORE
00002156: PUSH1 0x20
00002158: PUSH1 0x04
0000215a: DUP3
0000215b: ADD
0000215c: DUP2
0000215d: SWAP1
0000215e: MSTORE
0000215f: PUSH1 0x24
00002161: DUP3
00002162: ADD
00002163: MSTORE
00002164: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002185: PUSH1 0x44
00002187: DUP3
00002188: ADD
00002189: MSTORE
0000218a: SWAP1
0000218b: MLOAD
0000218c: SWAP1
0000218d: DUP2
0000218e: SWAP1
0000218f: SUB
00002190: PUSH1 0x64
00002192: ADD
00002193: SWAP1
00002194: REVERT
00002195: JUMPDEST
00002196: PUSH1 0x13
00002198: DUP1
00002199: SLOAD
0000219a: DUP3
0000219b: ISZERO
0000219c: ISZERO
0000219d: PUSH2 0x0100
000021a0: DUP2
000021a1: MUL
000021a2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000021c3: SWAP1
000021c4: SWAP3
000021c5: AND
000021c6: SWAP2
000021c7: SWAP1
000021c8: SWAP2
000021c9: OR
000021ca: SWAP1
000021cb: SWAP2
000021cc: SSTORE
000021cd: PUSH1 0x40
000021cf: DUP1
000021d0: MLOAD
000021d1: SWAP2
000021d2: DUP3
000021d3: MSTORE
000021d4: MLOAD
000021d5: PUSH32 0x53726dfcaf90650aa7eb35524f4d3220f07413c8d6cb404cc8c18bf5591bc159
000021f6: SWAP2
000021f7: DUP2
000021f8: SWAP1
000021f9: SUB
000021fa: PUSH1 0x20
000021fc: ADD
000021fd: SWAP1
000021fe: LOG1
000021ff: POP
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002217: AND
00002218: PUSH1 0x00
0000221a: SWAP1
0000221b: DUP2
0000221c: MSTORE
0000221d: PUSH1 0x0a
0000221f: PUSH1 0x20
00002221: MSTORE
00002222: PUSH1 0x40
00002224: SWAP1
00002225: KECCAK256
00002226: SLOAD
00002227: PUSH1 0xff
00002229: AND
0000222a: SWAP1
0000222b: JUMP
0000222c: JUMPDEST
0000222d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002242: SWAP2
00002243: DUP3
00002244: AND
00002245: PUSH1 0x00
00002247: SWAP1
00002248: DUP2
00002249: MSTORE
0000224a: PUSH1 0x08
0000224c: PUSH1 0x20
0000224e: SWAP1
0000224f: DUP2
00002250: MSTORE
00002251: PUSH1 0x40
00002253: DUP1
00002254: DUP4
00002255: KECCAK256
00002256: SWAP4
00002257: SWAP1
00002258: SWAP5
00002259: AND
0000225a: DUP3
0000225b: MSTORE
0000225c: SWAP2
0000225d: SWAP1
0000225e: SWAP2
0000225f: MSTORE
00002260: KECCAK256
00002261: SLOAD
00002262: SWAP1
00002263: JUMP
00002264: JUMPDEST
00002265: PUSH1 0x16
00002267: SLOAD
00002268: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000227d: AND
0000227e: DUP2
0000227f: JUMP
00002280: JUMPDEST
00002281: PUSH1 0x14
00002283: SLOAD
00002284: DUP2
00002285: JUMP
00002286: JUMPDEST
00002287: PUSH2 0x228e
0000228a: PUSH2 0x2a05
0000228d: JUMP
0000228e: JUMPDEST
0000228f: PUSH1 0x00
00002291: SLOAD
00002292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a7: SWAP1
000022a8: DUP2
000022a9: AND
000022aa: SWAP2
000022ab: AND
000022ac: EQ
000022ad: PUSH2 0x2317
000022b0: JUMPI
000022b1: PUSH1 0x40
000022b3: DUP1
000022b4: MLOAD
000022b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022d6: DUP2
000022d7: MSTORE
000022d8: PUSH1 0x20
000022da: PUSH1 0x04
000022dc: DUP3
000022dd: ADD
000022de: DUP2
000022df: SWAP1
000022e0: MSTORE
000022e1: PUSH1 0x24
000022e3: DUP3
000022e4: ADD
000022e5: MSTORE
000022e6: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002307: PUSH1 0x44
00002309: DUP3
0000230a: ADD
0000230b: MSTORE
0000230c: SWAP1
0000230d: MLOAD
0000230e: SWAP1
0000230f: DUP2
00002310: SWAP1
00002311: SUB
00002312: PUSH1 0x64
00002314: ADD
00002315: SWAP1
00002316: REVERT
00002317: JUMPDEST
00002318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000232d: DUP2
0000232e: AND
0000232f: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00002344: EQ
00002345: ISZERO
00002346: PUSH2 0x239a
00002349: JUMPI
0000234a: PUSH1 0x40
0000234c: MLOAD
0000234d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000236e: DUP2
0000236f: MSTORE
00002370: PUSH1 0x04
00002372: ADD
00002373: DUP1
00002374: DUP1
00002375: PUSH1 0x20
00002377: ADD
00002378: DUP3
00002379: DUP2
0000237a: SUB
0000237b: DUP3
0000237c: MSTORE
0000237d: PUSH1 0x29
0000237f: DUP2
00002380: MSTORE
00002381: PUSH1 0x20
00002383: ADD
00002384: DUP1
00002385: PUSH2 0x40fc
00002388: PUSH1 0x29
0000238a: SWAP2
0000238b: CODECOPY
0000238c: PUSH1 0x40
0000238e: ADD
0000238f: SWAP2
00002390: POP
00002391: POP
00002392: PUSH1 0x40
00002394: MLOAD
00002395: DUP1
00002396: SWAP2
00002397: SUB
00002398: SWAP1
00002399: REVERT
0000239a: JUMPDEST
0000239b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b0: DUP2
000023b1: AND
000023b2: ADDRESS
000023b3: EQ
000023b4: ISZERO
000023b5: PUSH2 0x2409
000023b8: JUMPI
000023b9: PUSH1 0x40
000023bb: MLOAD
000023bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023dd: DUP2
000023de: MSTORE
000023df: PUSH1 0x04
000023e1: ADD
000023e2: DUP1
000023e3: DUP1
000023e4: PUSH1 0x20
000023e6: ADD
000023e7: DUP3
000023e8: DUP2
000023e9: SUB
000023ea: DUP3
000023eb: MSTORE
000023ec: PUSH1 0x2e
000023ee: DUP2
000023ef: MSTORE
000023f0: PUSH1 0x20
000023f2: ADD
000023f3: DUP1
000023f4: PUSH2 0x42b9
000023f7: PUSH1 0x2e
000023f9: SWAP2
000023fa: CODECOPY
000023fb: PUSH1 0x40
000023fd: ADD
000023fe: SWAP2
000023ff: POP
00002400: POP
00002401: PUSH1 0x40
00002403: MLOAD
00002404: DUP1
00002405: SWAP2
00002406: SUB
00002407: SWAP1
00002408: REVERT
00002409: JUMPDEST
0000240a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000241f: DUP2
00002420: AND
00002421: PUSH1 0x00
00002423: SWAP1
00002424: DUP2
00002425: MSTORE
00002426: PUSH1 0x0a
00002428: PUSH1 0x20
0000242a: MSTORE
0000242b: PUSH1 0x40
0000242d: SWAP1
0000242e: KECCAK256
0000242f: SLOAD
00002430: PUSH1 0xff
00002432: AND
00002433: ISZERO
00002434: PUSH2 0x2488
00002437: JUMPI
00002438: PUSH1 0x40
0000243a: MLOAD
0000243b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000245c: DUP2
0000245d: MSTORE
0000245e: PUSH1 0x04
00002460: ADD
00002461: DUP1
00002462: DUP1
00002463: PUSH1 0x20
00002465: ADD
00002466: DUP3
00002467: DUP2
00002468: SUB
00002469: DUP3
0000246a: MSTORE
0000246b: PUSH1 0x22
0000246d: DUP2
0000246e: MSTORE
0000246f: PUSH1 0x20
00002471: ADD
00002472: DUP1
00002473: PUSH2 0x4078
00002476: PUSH1 0x22
00002478: SWAP2
00002479: CODECOPY
0000247a: PUSH1 0x40
0000247c: ADD
0000247d: SWAP2
0000247e: POP
0000247f: POP
00002480: PUSH1 0x40
00002482: MLOAD
00002483: DUP1
00002484: SWAP2
00002485: SUB
00002486: SWAP1
00002487: REVERT
00002488: JUMPDEST
00002489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000249e: DUP2
0000249f: AND
000024a0: PUSH1 0x00
000024a2: SWAP1
000024a3: DUP2
000024a4: MSTORE
000024a5: PUSH1 0x06
000024a7: PUSH1 0x20
000024a9: MSTORE
000024aa: PUSH1 0x40
000024ac: SWAP1
000024ad: KECCAK256
000024ae: SLOAD
000024af: ISZERO
000024b0: PUSH2 0x2509
000024b3: JUMPI
000024b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c9: DUP2
000024ca: AND
000024cb: PUSH1 0x00
000024cd: SWAP1
000024ce: DUP2
000024cf: MSTORE
000024d0: PUSH1 0x06
000024d2: PUSH1 0x20
000024d4: MSTORE
000024d5: PUSH1 0x40
000024d7: SWAP1
000024d8: KECCAK256
000024d9: SLOAD
000024da: PUSH2 0x24e2
000024dd: SWAP1
000024de: PUSH2 0x0d15
000024e1: JUMP
000024e2: JUMPDEST
000024e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024f8: DUP3
000024f9: AND
000024fa: PUSH1 0x00
000024fc: SWAP1
000024fd: DUP2
000024fe: MSTORE
000024ff: PUSH1 0x07
00002501: PUSH1 0x20
00002503: MSTORE
00002504: PUSH1 0x40
00002506: SWAP1
00002507: KECCAK256
00002508: SSTORE
00002509: JUMPDEST
0000250a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000251f: AND
00002520: PUSH1 0x00
00002522: DUP2
00002523: DUP2
00002524: MSTORE
00002525: PUSH1 0x0a
00002527: PUSH1 0x20
00002529: MSTORE
0000252a: PUSH1 0x40
0000252c: DUP2
0000252d: KECCAK256
0000252e: DUP1
0000252f: SLOAD
00002530: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002551: AND
00002552: PUSH1 0x01
00002554: SWAP1
00002555: DUP2
00002556: OR
00002557: SWAP1
00002558: SWAP2
00002559: SSTORE
0000255a: PUSH1 0x0b
0000255c: DUP1
0000255d: SLOAD
0000255e: SWAP2
0000255f: DUP3
00002560: ADD
00002561: DUP2
00002562: SSTORE
00002563: SWAP1
00002564: SWAP2
00002565: MSTORE
00002566: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9
00002587: ADD
00002588: DUP1
00002589: SLOAD
0000258a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000025ab: AND
000025ac: SWAP1
000025ad: SWAP2
000025ae: OR
000025af: SWAP1
000025b0: SSTORE
000025b1: JUMP
000025b2: JUMPDEST
000025b3: PUSH2 0x25ba
000025b6: PUSH2 0x2a05
000025b9: JUMP
000025ba: JUMPDEST
000025bb: PUSH1 0x00
000025bd: SLOAD
000025be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d3: SWAP1
000025d4: DUP2
000025d5: AND
000025d6: SWAP2
000025d7: AND
000025d8: EQ
000025d9: PUSH2 0x2643
000025dc: JUMPI
000025dd: PUSH1 0x40
000025df: DUP1
000025e0: MLOAD
000025e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002602: DUP2
00002603: MSTORE
00002604: PUSH1 0x20
00002606: PUSH1 0x04
00002608: DUP3
00002609: ADD
0000260a: DUP2
0000260b: SWAP1
0000260c: MSTORE
0000260d: PUSH1 0x24
0000260f: DUP3
00002610: ADD
00002611: MSTORE
00002612: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002633: PUSH1 0x44
00002635: DUP3
00002636: ADD
00002637: MSTORE
00002638: SWAP1
00002639: MLOAD
0000263a: SWAP1
0000263b: DUP2
0000263c: SWAP1
0000263d: SUB
0000263e: PUSH1 0x64
00002640: ADD
00002641: SWAP1
00002642: REVERT
00002643: JUMPDEST
00002644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002659: DUP2
0000265a: AND
0000265b: PUSH2 0x26af
0000265e: JUMPI
0000265f: PUSH1 0x40
00002661: MLOAD
00002662: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002683: DUP2
00002684: MSTORE
00002685: PUSH1 0x04
00002687: ADD
00002688: DUP1
00002689: DUP1
0000268a: PUSH1 0x20
0000268c: ADD
0000268d: DUP3
0000268e: DUP2
0000268f: SUB
00002690: DUP3
00002691: MSTORE
00002692: PUSH1 0x26
00002694: DUP2
00002695: MSTORE
00002696: PUSH1 0x20
00002698: ADD
00002699: DUP1
0000269a: PUSH2 0x4030
0000269d: PUSH1 0x26
0000269f: SWAP2
000026a0: CODECOPY
000026a1: PUSH1 0x40
000026a3: ADD
000026a4: SWAP2
000026a5: POP
000026a6: POP
000026a7: PUSH1 0x40
000026a9: MLOAD
000026aa: DUP1
000026ab: SWAP2
000026ac: SUB
000026ad: SWAP1
000026ae: REVERT
000026af: JUMPDEST
000026b0: PUSH1 0x00
000026b2: DUP1
000026b3: SLOAD
000026b4: PUSH1 0x40
000026b6: MLOAD
000026b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026cc: DUP1
000026cd: DUP6
000026ce: AND
000026cf: SWAP4
000026d0: SWAP3
000026d1: AND
000026d2: SWAP2
000026d3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000026f4: SWAP2
000026f5: LOG3
000026f6: PUSH1 0x00
000026f8: DUP1
000026f9: SLOAD
000026fa: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000271b: AND
0000271c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002731: SWAP3
00002732: SWAP1
00002733: SWAP3
00002734: AND
00002735: SWAP2
00002736: SWAP1
00002737: SWAP2
00002738: OR
00002739: SWAP1
0000273a: SSTORE
0000273b: JUMP
0000273c: JUMPDEST
0000273d: PUSH2 0x2744
00002740: PUSH2 0x2a05
00002743: JUMP
00002744: JUMPDEST
00002745: PUSH1 0x00
00002747: SLOAD
00002748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000275d: SWAP1
0000275e: DUP2
0000275f: AND
00002760: SWAP2
00002761: AND
00002762: EQ
00002763: PUSH2 0x27cd
00002766: JUMPI
00002767: PUSH1 0x40
00002769: DUP1
0000276a: MLOAD
0000276b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000278c: DUP2
0000278d: MSTORE
0000278e: PUSH1 0x20
00002790: PUSH1 0x04
00002792: DUP3
00002793: ADD
00002794: DUP2
00002795: SWAP1
00002796: MSTORE
00002797: PUSH1 0x24
00002799: DUP3
0000279a: ADD
0000279b: MSTORE
0000279c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000027bd: PUSH1 0x44
000027bf: DUP3
000027c0: ADD
000027c1: MSTORE
000027c2: SWAP1
000027c3: MLOAD
000027c4: SWAP1
000027c5: DUP2
000027c6: SWAP1
000027c7: SUB
000027c8: PUSH1 0x64
000027ca: ADD
000027cb: SWAP1
000027cc: REVERT
000027cd: JUMPDEST
000027ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e3: DUP2
000027e4: AND
000027e5: PUSH1 0x00
000027e7: SWAP1
000027e8: DUP2
000027e9: MSTORE
000027ea: PUSH1 0x0a
000027ec: PUSH1 0x20
000027ee: MSTORE
000027ef: PUSH1 0x40
000027f1: SWAP1
000027f2: KECCAK256
000027f3: SLOAD
000027f4: PUSH1 0xff
000027f6: AND
000027f7: PUSH2 0x284b
000027fa: JUMPI
000027fb: PUSH1 0x40
000027fd: MLOAD
000027fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000281f: DUP2
00002820: MSTORE
00002821: PUSH1 0x04
00002823: ADD
00002824: DUP1
00002825: DUP1
00002826: PUSH1 0x20
00002828: ADD
00002829: DUP3
0000282a: DUP2
0000282b: SUB
0000282c: DUP3
0000282d: MSTORE
0000282e: PUSH1 0x22
00002830: DUP2
00002831: MSTORE
00002832: PUSH1 0x20
00002834: ADD
00002835: DUP1
00002836: PUSH2 0x3fb5
00002839: PUSH1 0x22
0000283b: SWAP2
0000283c: CODECOPY
0000283d: PUSH1 0x40
0000283f: ADD
00002840: SWAP2
00002841: POP
00002842: POP
00002843: PUSH1 0x40
00002845: MLOAD
00002846: DUP1
00002847: SWAP2
00002848: SUB
00002849: SWAP1
0000284a: REVERT
0000284b: JUMPDEST
0000284c: PUSH1 0x00
0000284e: JUMPDEST
0000284f: PUSH1 0x0b
00002851: SLOAD
00002852: DUP2
00002853: LT
00002854: ISZERO
00002855: PUSH2 0x2a01
00002858: JUMPI
00002859: DUP2
0000285a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000286f: AND
00002870: PUSH1 0x0b
00002872: DUP3
00002873: DUP2
00002874: SLOAD
00002875: DUP2
00002876: LT
00002877: PUSH2 0x287c
0000287a: JUMPI
0000287b: INVALID
0000287c: JUMPDEST
0000287d: PUSH1 0x00
0000287f: SWAP2
00002880: DUP3
00002881: MSTORE
00002882: PUSH1 0x20
00002884: SWAP1
00002885: SWAP2
00002886: KECCAK256
00002887: ADD
00002888: SLOAD
00002889: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000289e: AND
0000289f: EQ
000028a0: ISZERO
000028a1: PUSH2 0x29f9
000028a4: JUMPI
000028a5: PUSH1 0x0b
000028a7: DUP1
000028a8: SLOAD
000028a9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000028ca: DUP2
000028cb: ADD
000028cc: SWAP1
000028cd: DUP2
000028ce: LT
000028cf: PUSH2 0x28d4
000028d2: JUMPI
000028d3: INVALID
000028d4: JUMPDEST
000028d5: PUSH1 0x00
000028d7: SWAP2
000028d8: DUP3
000028d9: MSTORE
000028da: PUSH1 0x20
000028dc: SWAP1
000028dd: SWAP2
000028de: KECCAK256
000028df: ADD
000028e0: SLOAD
000028e1: PUSH1 0x0b
000028e3: DUP1
000028e4: SLOAD
000028e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028fa: SWAP1
000028fb: SWAP3
000028fc: AND
000028fd: SWAP2
000028fe: DUP4
000028ff: SWAP1
00002900: DUP2
00002901: LT
00002902: PUSH2 0x2907
00002905: JUMPI
00002906: INVALID
00002907: JUMPDEST
00002908: PUSH1 0x00
0000290a: SWAP2
0000290b: DUP3
0000290c: MSTORE
0000290d: PUSH1 0x20
0000290f: DUP1
00002910: DUP4
00002911: KECCAK256
00002912: SWAP2
00002913: SWAP1
00002914: SWAP2
00002915: ADD
00002916: DUP1
00002917: SLOAD
00002918: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002939: AND
0000293a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000294f: SWAP5
00002950: DUP6
00002951: AND
00002952: OR
00002953: SWAP1
00002954: SSTORE
00002955: SWAP2
00002956: DUP5
00002957: AND
00002958: DUP2
00002959: MSTORE
0000295a: PUSH1 0x07
0000295c: DUP3
0000295d: MSTORE
0000295e: PUSH1 0x40
00002960: DUP1
00002961: DUP3
00002962: KECCAK256
00002963: DUP3
00002964: SWAP1
00002965: SSTORE
00002966: PUSH1 0x0a
00002968: SWAP1
00002969: SWAP3
0000296a: MSTORE
0000296b: KECCAK256
0000296c: DUP1
0000296d: SLOAD
0000296e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000298f: AND
00002990: SWAP1
00002991: SSTORE
00002992: PUSH1 0x0b
00002994: DUP1
00002995: SLOAD
00002996: DUP1
00002997: PUSH2 0x299c
0000299a: JUMPI
0000299b: INVALID
0000299c: JUMPDEST
0000299d: PUSH1 0x00
0000299f: DUP3
000029a0: DUP2
000029a1: MSTORE
000029a2: PUSH1 0x20
000029a4: SWAP1
000029a5: KECCAK256
000029a6: DUP2
000029a7: ADD
000029a8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029c9: SWAP1
000029ca: DUP2
000029cb: ADD
000029cc: DUP1
000029cd: SLOAD
000029ce: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000029ef: AND
000029f0: SWAP1
000029f1: SSTORE
000029f2: ADD
000029f3: SWAP1
000029f4: SSTORE
000029f5: PUSH2 0x2a01
000029f8: JUMP
000029f9: JUMPDEST
000029fa: PUSH1 0x01
000029fc: ADD
000029fd: PUSH2 0x284e
00002a00: JUMP
00002a01: JUMPDEST
00002a02: POP
00002a03: POP
00002a04: JUMP
00002a05: JUMPDEST
00002a06: CALLER
00002a07: SWAP1
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a1f: DUP4
00002a20: AND
00002a21: PUSH2 0x2a75
00002a24: JUMPI
00002a25: PUSH1 0x40
00002a27: MLOAD
00002a28: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a49: DUP2
00002a4a: MSTORE
00002a4b: PUSH1 0x04
00002a4d: ADD
00002a4e: DUP1
00002a4f: DUP1
00002a50: PUSH1 0x20
00002a52: ADD
00002a53: DUP3
00002a54: DUP2
00002a55: SUB
00002a56: DUP3
00002a57: MSTORE
00002a58: PUSH1 0x24
00002a5a: DUP2
00002a5b: MSTORE
00002a5c: PUSH1 0x20
00002a5e: ADD
00002a5f: DUP1
00002a60: PUSH2 0x4295
00002a63: PUSH1 0x24
00002a65: SWAP2
00002a66: CODECOPY
00002a67: PUSH1 0x40
00002a69: ADD
00002a6a: SWAP2
00002a6b: POP
00002a6c: POP
00002a6d: PUSH1 0x40
00002a6f: MLOAD
00002a70: DUP1
00002a71: SWAP2
00002a72: SUB
00002a73: SWAP1
00002a74: REVERT
00002a75: JUMPDEST
00002a76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a8b: DUP3
00002a8c: AND
00002a8d: PUSH2 0x2ae1
00002a90: JUMPI
00002a91: PUSH1 0x40
00002a93: MLOAD
00002a94: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ab5: DUP2
00002ab6: MSTORE
00002ab7: PUSH1 0x04
00002ab9: ADD
00002aba: DUP1
00002abb: DUP1
00002abc: PUSH1 0x20
00002abe: ADD
00002abf: DUP3
00002ac0: DUP2
00002ac1: SUB
00002ac2: DUP3
00002ac3: MSTORE
00002ac4: PUSH1 0x22
00002ac6: DUP2
00002ac7: MSTORE
00002ac8: PUSH1 0x20
00002aca: ADD
00002acb: DUP1
00002acc: PUSH2 0x4056
00002acf: PUSH1 0x22
00002ad1: SWAP2
00002ad2: CODECOPY
00002ad3: PUSH1 0x40
00002ad5: ADD
00002ad6: SWAP2
00002ad7: POP
00002ad8: POP
00002ad9: PUSH1 0x40
00002adb: MLOAD
00002adc: DUP1
00002add: SWAP2
00002ade: SUB
00002adf: SWAP1
00002ae0: REVERT
00002ae1: JUMPDEST
00002ae2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002af7: DUP1
00002af8: DUP5
00002af9: AND
00002afa: PUSH1 0x00
00002afc: DUP2
00002afd: DUP2
00002afe: MSTORE
00002aff: PUSH1 0x08
00002b01: PUSH1 0x20
00002b03: SWAP1
00002b04: DUP2
00002b05: MSTORE
00002b06: PUSH1 0x40
00002b08: DUP1
00002b09: DUP4
00002b0a: KECCAK256
00002b0b: SWAP5
00002b0c: DUP8
00002b0d: AND
00002b0e: DUP1
00002b0f: DUP5
00002b10: MSTORE
00002b11: SWAP5
00002b12: DUP3
00002b13: MSTORE
00002b14: SWAP2
00002b15: DUP3
00002b16: SWAP1
00002b17: KECCAK256
00002b18: DUP6
00002b19: SWAP1
00002b1a: SSTORE
00002b1b: DUP2
00002b1c: MLOAD
00002b1d: DUP6
00002b1e: DUP2
00002b1f: MSTORE
00002b20: SWAP2
00002b21: MLOAD
00002b22: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002b43: SWAP3
00002b44: DUP2
00002b45: SWAP1
00002b46: SUB
00002b47: SWAP1
00002b48: SWAP2
00002b49: ADD
00002b4a: SWAP1
00002b4b: LOG3
00002b4c: POP
00002b4d: POP
00002b4e: POP
00002b4f: JUMP
00002b50: JUMPDEST
00002b51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b66: DUP4
00002b67: AND
00002b68: PUSH2 0x2bbc
00002b6b: JUMPI
00002b6c: PUSH1 0x40
00002b6e: MLOAD
00002b6f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b90: DUP2
00002b91: MSTORE
00002b92: PUSH1 0x04
00002b94: ADD
00002b95: DUP1
00002b96: DUP1
00002b97: PUSH1 0x20
00002b99: ADD
00002b9a: DUP3
00002b9b: DUP2
00002b9c: SUB
00002b9d: DUP3
00002b9e: MSTORE
00002b9f: PUSH1 0x25
00002ba1: DUP2
00002ba2: MSTORE
00002ba3: PUSH1 0x20
00002ba5: ADD
00002ba6: DUP1
00002ba7: PUSH2 0x4270
00002baa: PUSH1 0x25
00002bac: SWAP2
00002bad: CODECOPY
00002bae: PUSH1 0x40
00002bb0: ADD
00002bb1: SWAP2
00002bb2: POP
00002bb3: POP
00002bb4: PUSH1 0x40
00002bb6: MLOAD
00002bb7: DUP1
00002bb8: SWAP2
00002bb9: SUB
00002bba: SWAP1
00002bbb: REVERT
00002bbc: JUMPDEST
00002bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bd2: DUP3
00002bd3: AND
00002bd4: PUSH2 0x2c28
00002bd7: JUMPI
00002bd8: PUSH1 0x40
00002bda: MLOAD
00002bdb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002bfc: DUP2
00002bfd: MSTORE
00002bfe: PUSH1 0x04
00002c00: ADD
00002c01: DUP1
00002c02: DUP1
00002c03: PUSH1 0x20
00002c05: ADD
00002c06: DUP3
00002c07: DUP2
00002c08: SUB
00002c09: DUP3
00002c0a: MSTORE
00002c0b: PUSH1 0x23
00002c0d: DUP2
00002c0e: MSTORE
00002c0f: PUSH1 0x20
00002c11: ADD
00002c12: DUP1
00002c13: PUSH2 0x3f92
00002c16: PUSH1 0x23
00002c18: SWAP2
00002c19: CODECOPY
00002c1a: PUSH1 0x40
00002c1c: ADD
00002c1d: SWAP2
00002c1e: POP
00002c1f: POP
00002c20: PUSH1 0x40
00002c22: MLOAD
00002c23: DUP1
00002c24: SWAP2
00002c25: SUB
00002c26: SWAP1
00002c27: REVERT
00002c28: JUMPDEST
00002c29: PUSH1 0x00
00002c2b: DUP2
00002c2c: GT
00002c2d: PUSH2 0x2c81
00002c30: JUMPI
00002c31: PUSH1 0x40
00002c33: MLOAD
00002c34: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c55: DUP2
00002c56: MSTORE
00002c57: PUSH1 0x04
00002c59: ADD
00002c5a: DUP1
00002c5b: DUP1
00002c5c: PUSH1 0x20
00002c5e: ADD
00002c5f: DUP3
00002c60: DUP2
00002c61: SUB
00002c62: DUP3
00002c63: MSTORE
00002c64: PUSH1 0x29
00002c66: DUP2
00002c67: MSTORE
00002c68: PUSH1 0x20
00002c6a: ADD
00002c6b: DUP1
00002c6c: PUSH2 0x4247
00002c6f: PUSH1 0x29
00002c71: SWAP2
00002c72: CODECOPY
00002c73: PUSH1 0x40
00002c75: ADD
00002c76: SWAP2
00002c77: POP
00002c78: POP
00002c79: PUSH1 0x40
00002c7b: MLOAD
00002c7c: DUP1
00002c7d: SWAP2
00002c7e: SUB
00002c7f: SWAP1
00002c80: REVERT
00002c81: JUMPDEST
00002c82: PUSH1 0x13
00002c84: SLOAD
00002c85: PUSH1 0xff
00002c87: AND
00002c88: DUP1
00002c89: PUSH2 0x2cc4
00002c8c: JUMPI
00002c8d: POP
00002c8e: PUSH2 0x2c95
00002c91: PUSH2 0x1c94
00002c94: JUMP
00002c95: JUMPDEST
00002c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cab: AND
00002cac: DUP4
00002cad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cc2: AND
00002cc3: EQ
00002cc4: JUMPDEST
00002cc5: DUP1
00002cc6: PUSH2 0x2d01
00002cc9: JUMPI
00002cca: POP
00002ccb: PUSH2 0x2cd2
00002cce: PUSH2 0x1c94
00002cd1: JUMP
00002cd2: JUMPDEST
00002cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ce8: AND
00002ce9: DUP3
00002cea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cff: AND
00002d00: EQ
00002d01: JUMPDEST
00002d02: DUP1
00002d03: PUSH2 0x2d31
00002d06: JUMPI
00002d07: POP
00002d08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d1d: DUP4
00002d1e: AND
00002d1f: PUSH1 0x00
00002d21: SWAP1
00002d22: DUP2
00002d23: MSTORE
00002d24: PUSH1 0x09
00002d26: PUSH1 0x20
00002d28: MSTORE
00002d29: PUSH1 0x40
00002d2b: SWAP1
00002d2c: KECCAK256
00002d2d: SLOAD
00002d2e: PUSH1 0xff
00002d30: AND
00002d31: JUMPDEST
00002d32: DUP1
00002d33: PUSH2 0x2d61
00002d36: JUMPI
00002d37: POP
00002d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d4d: DUP3
00002d4e: AND
00002d4f: PUSH1 0x00
00002d51: SWAP1
00002d52: DUP2
00002d53: MSTORE
00002d54: PUSH1 0x09
00002d56: PUSH1 0x20
00002d58: MSTORE
00002d59: PUSH1 0x40
00002d5b: SWAP1
00002d5c: KECCAK256
00002d5d: SLOAD
00002d5e: PUSH1 0xff
00002d60: AND
00002d61: JUMPDEST
00002d62: PUSH2 0x2db6
00002d65: JUMPI
00002d66: PUSH1 0x40
00002d68: MLOAD
00002d69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d8a: DUP2
00002d8b: MSTORE
00002d8c: PUSH1 0x04
00002d8e: ADD
00002d8f: DUP1
00002d90: DUP1
00002d91: PUSH1 0x20
00002d93: ADD
00002d94: DUP3
00002d95: DUP2
00002d96: SUB
00002d97: DUP3
00002d98: MSTORE
00002d99: PUSH1 0x21
00002d9b: DUP2
00002d9c: MSTORE
00002d9d: PUSH1 0x20
00002d9f: ADD
00002da0: DUP1
00002da1: PUSH2 0x4183
00002da4: PUSH1 0x21
00002da6: SWAP2
00002da7: CODECOPY
00002da8: PUSH1 0x40
00002daa: ADD
00002dab: SWAP2
00002dac: POP
00002dad: POP
00002dae: PUSH1 0x40
00002db0: MLOAD
00002db1: DUP1
00002db2: SWAP2
00002db3: SUB
00002db4: SWAP1
00002db5: REVERT
00002db6: JUMPDEST
00002db7: PUSH1 0x12
00002db9: SLOAD
00002dba: PUSH2 0x0168
00002dbd: ADD
00002dbe: TIMESTAMP
00002dbf: GT
00002dc0: DUP1
00002dc1: PUSH2 0x2dd0
00002dc4: JUMPI
00002dc5: POP
00002dc6: PUSH6 0x12309ce54000
00002dcd: DUP2
00002dce: GT
00002dcf: ISZERO
00002dd0: JUMPDEST
00002dd1: PUSH2 0x2e25
00002dd4: JUMPI
00002dd5: PUSH1 0x40
00002dd7: MLOAD
00002dd8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002df9: DUP2
00002dfa: MSTORE
00002dfb: PUSH1 0x04
00002dfd: ADD
00002dfe: DUP1
00002dff: DUP1
00002e00: PUSH1 0x20
00002e02: ADD
00002e03: DUP3
00002e04: DUP2
00002e05: SUB
00002e06: DUP3
00002e07: MSTORE
00002e08: PUSH1 0x2b
00002e0a: DUP2
00002e0b: MSTORE
00002e0c: PUSH1 0x20
00002e0e: ADD
00002e0f: DUP1
00002e10: PUSH2 0x4158
00002e13: PUSH1 0x2b
00002e15: SWAP2
00002e16: CODECOPY
00002e17: PUSH1 0x40
00002e19: ADD
00002e1a: SWAP2
00002e1b: POP
00002e1c: POP
00002e1d: PUSH1 0x40
00002e1f: MLOAD
00002e20: DUP1
00002e21: SWAP2
00002e22: SUB
00002e23: SWAP1
00002e24: REVERT
00002e25: JUMPDEST
00002e26: PUSH1 0x13
00002e28: SLOAD
00002e29: PUSH2 0x0100
00002e2c: SWAP1
00002e2d: DIV
00002e2e: PUSH1 0xff
00002e30: AND
00002e31: DUP1
00002e32: ISZERO
00002e33: PUSH2 0x2e45
00002e36: JUMPI
00002e37: POP
00002e38: PUSH1 0x13
00002e3a: SLOAD
00002e3b: PUSH3 0x010000
00002e3f: SWAP1
00002e40: DIV
00002e41: PUSH1 0xff
00002e43: AND
00002e44: ISZERO
00002e45: JUMPDEST
00002e46: DUP1
00002e47: ISZERO
00002e48: PUSH2 0x2e86
00002e4b: JUMPI
00002e4c: POP
00002e4d: PUSH1 0x1d
00002e4f: SLOAD
00002e50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e65: AND
00002e66: PUSH2 0x2e6d
00002e69: PUSH2 0x2a05
00002e6c: JUMP
00002e6d: JUMPDEST
00002e6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e83: AND
00002e84: EQ
00002e85: ISZERO
00002e86: JUMPDEST
00002e87: DUP1
00002e88: ISZERO
00002e89: PUSH2 0x2ec3
00002e8c: JUMPI
00002e8d: POP
00002e8e: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00002ea3: PUSH2 0x2eaa
00002ea6: PUSH2 0x2a05
00002ea9: JUMP
00002eaa: JUMPDEST
00002eab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ec0: AND
00002ec1: EQ
00002ec2: ISZERO
00002ec3: JUMPDEST
00002ec4: DUP1
00002ec5: ISZERO
00002ec6: PUSH2 0x2eea
00002ec9: JUMPI
00002eca: POP
00002ecb: PUSH1 0x1d
00002ecd: SLOAD
00002ece: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ee3: DUP5
00002ee4: DUP2
00002ee5: AND
00002ee6: SWAP2
00002ee7: AND
00002ee8: EQ
00002ee9: ISZERO
00002eea: JUMPDEST
00002eeb: DUP1
00002eec: ISZERO
00002eed: PUSH2 0x2f20
00002ef0: JUMPI
00002ef1: POP
00002ef2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f07: DUP4
00002f08: AND
00002f09: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00002f1e: EQ
00002f1f: ISZERO
00002f20: JUMPDEST
00002f21: ISZERO
00002f22: PUSH2 0x2f4b
00002f25: JUMPI
00002f26: PUSH1 0x00
00002f28: PUSH2 0x2f30
00002f2b: ADDRESS
00002f2c: PUSH2 0x1825
00002f2f: JUMP
00002f30: JUMPDEST
00002f31: PUSH1 0x14
00002f33: SLOAD
00002f34: SWAP1
00002f35: SWAP2
00002f36: POP
00002f37: DUP2
00002f38: LT
00002f39: DUP1
00002f3a: ISZERO
00002f3b: SWAP1
00002f3c: PUSH2 0x2f48
00002f3f: JUMPI
00002f40: PUSH2 0x2f48
00002f43: DUP3
00002f44: PUSH2 0x3956
00002f47: JUMP
00002f48: JUMPDEST
00002f49: POP
00002f4a: POP
00002f4b: JUMPDEST
00002f4c: DUP1
00002f4d: PUSH1 0x00
00002f4f: PUSH2 0x2f56
00002f52: PUSH2 0x32af
00002f55: JUMP
00002f56: JUMPDEST
00002f57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f6c: DUP7
00002f6d: AND
00002f6e: PUSH1 0x00
00002f70: SWAP1
00002f71: DUP2
00002f72: MSTORE
00002f73: PUSH1 0x09
00002f75: PUSH1 0x20
00002f77: MSTORE
00002f78: PUSH1 0x40
00002f7a: SWAP1
00002f7b: KECCAK256
00002f7c: SLOAD
00002f7d: SWAP1
00002f7e: SWAP2
00002f7f: POP
00002f80: PUSH1 0xff
00002f82: AND
00002f83: ISZERO
00002f84: DUP1
00002f85: ISZERO
00002f86: PUSH2 0x2fb5
00002f89: JUMPI
00002f8a: POP
00002f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fa0: DUP5
00002fa1: AND
00002fa2: PUSH1 0x00
00002fa4: SWAP1
00002fa5: DUP2
00002fa6: MSTORE
00002fa7: PUSH1 0x09
00002fa9: PUSH1 0x20
00002fab: MSTORE
00002fac: PUSH1 0x40
00002fae: SWAP1
00002faf: KECCAK256
00002fb0: SLOAD
00002fb1: PUSH1 0xff
00002fb3: AND
00002fb4: ISZERO
00002fb5: JUMPDEST
00002fb6: DUP1
00002fb7: ISZERO
00002fb8: PUSH2 0x2fca
00002fbb: JUMPI
00002fbc: POP
00002fbd: PUSH1 0x13
00002fbf: SLOAD
00002fc0: PUSH3 0x010000
00002fc4: SWAP1
00002fc5: DIV
00002fc6: PUSH1 0xff
00002fc8: AND
00002fc9: ISZERO
00002fca: JUMPDEST
00002fcb: ISZERO
00002fcc: PUSH2 0x2fdd
00002fcf: JUMPI
00002fd0: PUSH2 0x2fda
00002fd3: DUP6
00002fd4: DUP5
00002fd5: DUP4
00002fd6: PUSH2 0x3a52
00002fd9: JUMP
00002fda: JUMPDEST
00002fdb: SWAP2
00002fdc: POP
00002fdd: JUMPDEST
00002fde: PUSH2 0x3016
00002fe1: PUSH2 0x2fea
00002fe4: DUP5
00002fe5: DUP4
00002fe6: PUSH2 0x3517
00002fe9: JUMP
00002fea: JUMPDEST
00002feb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003000: DUP8
00003001: AND
00003002: PUSH1 0x00
00003004: SWAP1
00003005: DUP2
00003006: MSTORE
00003007: PUSH1 0x06
00003009: PUSH1 0x20
0000300b: MSTORE
0000300c: PUSH1 0x40
0000300e: SWAP1
0000300f: KECCAK256
00003010: SLOAD
00003011: SWAP1
00003012: PUSH2 0x358a
00003015: JUMP
00003016: JUMPDEST
00003017: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000302c: DUP7
0000302d: AND
0000302e: PUSH1 0x00
00003030: SWAP1
00003031: DUP2
00003032: MSTORE
00003033: PUSH1 0x06
00003035: PUSH1 0x20
00003037: MSTORE
00003038: PUSH1 0x40
0000303a: SWAP1
0000303b: KECCAK256
0000303c: SSTORE
0000303d: PUSH2 0x3075
00003040: PUSH2 0x3049
00003043: DUP4
00003044: DUP4
00003045: PUSH2 0x3517
00003048: JUMP
00003049: JUMPDEST
0000304a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000305f: DUP7
00003060: AND
00003061: PUSH1 0x00
00003063: SWAP1
00003064: DUP2
00003065: MSTORE
00003066: PUSH1 0x06
00003068: PUSH1 0x20
0000306a: MSTORE
0000306b: PUSH1 0x40
0000306d: SWAP1
0000306e: KECCAK256
0000306f: SLOAD
00003070: SWAP1
00003071: PUSH2 0x34a3
00003074: JUMP
00003075: JUMPDEST
00003076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000308b: DUP1
0000308c: DUP7
0000308d: AND
0000308e: PUSH1 0x00
00003090: SWAP1
00003091: DUP2
00003092: MSTORE
00003093: PUSH1 0x06
00003095: PUSH1 0x20
00003097: SWAP1
00003098: DUP2
00003099: MSTORE
0000309a: PUSH1 0x40
0000309c: DUP1
0000309d: DUP4
0000309e: KECCAK256
0000309f: SWAP5
000030a0: SWAP1
000030a1: SWAP5
000030a2: SSTORE
000030a3: SWAP2
000030a4: DUP9
000030a5: AND
000030a6: DUP2
000030a7: MSTORE
000030a8: PUSH1 0x0a
000030aa: SWAP1
000030ab: SWAP2
000030ac: MSTORE
000030ad: KECCAK256
000030ae: SLOAD
000030af: PUSH1 0xff
000030b1: AND
000030b2: ISZERO
000030b3: PUSH2 0x310d
000030b6: JUMPI
000030b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030cc: DUP6
000030cd: AND
000030ce: PUSH1 0x00
000030d0: SWAP1
000030d1: DUP2
000030d2: MSTORE
000030d3: PUSH1 0x07
000030d5: PUSH1 0x20
000030d7: MSTORE
000030d8: PUSH1 0x40
000030da: SWAP1
000030db: KECCAK256
000030dc: SLOAD
000030dd: PUSH2 0x30e6
000030e0: SWAP1
000030e1: DUP5
000030e2: PUSH2 0x358a
000030e5: JUMP
000030e6: JUMPDEST
000030e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030fc: DUP7
000030fd: AND
000030fe: PUSH1 0x00
00003100: SWAP1
00003101: DUP2
00003102: MSTORE
00003103: PUSH1 0x07
00003105: PUSH1 0x20
00003107: MSTORE
00003108: PUSH1 0x40
0000310a: SWAP1
0000310b: KECCAK256
0000310c: SSTORE
0000310d: JUMPDEST
0000310e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003123: DUP5
00003124: AND
00003125: PUSH1 0x00
00003127: SWAP1
00003128: DUP2
00003129: MSTORE
0000312a: PUSH1 0x0a
0000312c: PUSH1 0x20
0000312e: MSTORE
0000312f: PUSH1 0x40
00003131: SWAP1
00003132: KECCAK256
00003133: SLOAD
00003134: PUSH1 0xff
00003136: AND
00003137: ISZERO
00003138: PUSH2 0x3192
0000313b: JUMPI
0000313c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003151: DUP5
00003152: AND
00003153: PUSH1 0x00
00003155: SWAP1
00003156: DUP2
00003157: MSTORE
00003158: PUSH1 0x07
0000315a: PUSH1 0x20
0000315c: MSTORE
0000315d: PUSH1 0x40
0000315f: SWAP1
00003160: KECCAK256
00003161: SLOAD
00003162: PUSH2 0x316b
00003165: SWAP1
00003166: DUP4
00003167: PUSH2 0x34a3
0000316a: JUMP
0000316b: JUMPDEST
0000316c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003181: DUP6
00003182: AND
00003183: PUSH1 0x00
00003185: SWAP1
00003186: DUP2
00003187: MSTORE
00003188: PUSH1 0x07
0000318a: PUSH1 0x20
0000318c: MSTORE
0000318d: PUSH1 0x40
0000318f: SWAP1
00003190: KECCAK256
00003191: SSTORE
00003192: JUMPDEST
00003193: DUP4
00003194: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031a9: AND
000031aa: DUP6
000031ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031c0: AND
000031c1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000031e2: DUP5
000031e3: PUSH1 0x40
000031e5: MLOAD
000031e6: DUP1
000031e7: DUP3
000031e8: DUP2
000031e9: MSTORE
000031ea: PUSH1 0x20
000031ec: ADD
000031ed: SWAP2
000031ee: POP
000031ef: POP
000031f0: PUSH1 0x40
000031f2: MLOAD
000031f3: DUP1
000031f4: SWAP2
000031f5: SUB
000031f6: SWAP1
000031f7: LOG3
000031f8: POP
000031f9: POP
000031fa: POP
000031fb: POP
000031fc: POP
000031fd: JUMP
000031fe: JUMPDEST
000031ff: PUSH1 0x00
00003201: DUP2
00003202: DUP5
00003203: DUP5
00003204: GT
00003205: ISZERO
00003206: PUSH2 0x32a7
00003209: JUMPI
0000320a: PUSH1 0x40
0000320c: MLOAD
0000320d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000322e: DUP2
0000322f: MSTORE
00003230: PUSH1 0x04
00003232: ADD
00003233: DUP1
00003234: DUP1
00003235: PUSH1 0x20
00003237: ADD
00003238: DUP3
00003239: DUP2
0000323a: SUB
0000323b: DUP3
0000323c: MSTORE
0000323d: DUP4
0000323e: DUP2
0000323f: DUP2
00003240: MLOAD
00003241: DUP2
00003242: MSTORE
00003243: PUSH1 0x20
00003245: ADD
00003246: SWAP2
00003247: POP
00003248: DUP1
00003249: MLOAD
0000324a: SWAP1
0000324b: PUSH1 0x20
0000324d: ADD
0000324e: SWAP1
0000324f: DUP1
00003250: DUP4
00003251: DUP4
00003252: PUSH1 0x00
00003254: JUMPDEST
00003255: DUP4
00003256: DUP2
00003257: LT
00003258: ISZERO
00003259: PUSH2 0x326c
0000325c: JUMPI
0000325d: DUP2
0000325e: DUP2
0000325f: ADD
00003260: MLOAD
00003261: DUP4
00003262: DUP3
00003263: ADD
00003264: MSTORE
00003265: PUSH1 0x20
00003267: ADD
00003268: PUSH2 0x3254
0000326b: JUMP
0000326c: JUMPDEST
0000326d: POP
0000326e: POP
0000326f: POP
00003270: POP
00003271: SWAP1
00003272: POP
00003273: SWAP1
00003274: DUP2
00003275: ADD
00003276: SWAP1
00003277: PUSH1 0x1f
00003279: AND
0000327a: DUP1
0000327b: ISZERO
0000327c: PUSH2 0x3299
0000327f: JUMPI
00003280: DUP1
00003281: DUP3
00003282: SUB
00003283: DUP1
00003284: MLOAD
00003285: PUSH1 0x01
00003287: DUP4
00003288: PUSH1 0x20
0000328a: SUB
0000328b: PUSH2 0x0100
0000328e: EXP
0000328f: SUB
00003290: NOT
00003291: AND
00003292: DUP2
00003293: MSTORE
00003294: PUSH1 0x20
00003296: ADD
00003297: SWAP2
00003298: POP
00003299: JUMPDEST
0000329a: POP
0000329b: SWAP3
0000329c: POP
0000329d: POP
0000329e: POP
0000329f: PUSH1 0x40
000032a1: MLOAD
000032a2: DUP1
000032a3: SWAP2
000032a4: SUB
000032a5: SWAP1
000032a6: REVERT
000032a7: JUMPDEST
000032a8: POP
000032a9: POP
000032aa: POP
000032ab: SWAP1
000032ac: SUB
000032ad: SWAP1
000032ae: JUMP
000032af: JUMPDEST
000032b0: PUSH1 0x05
000032b2: SLOAD
000032b3: PUSH1 0x04
000032b5: SLOAD
000032b6: PUSH1 0x00
000032b8: SWAP2
000032b9: SWAP1
000032ba: DUP3
000032bb: JUMPDEST
000032bc: PUSH1 0x0b
000032be: SLOAD
000032bf: DUP2
000032c0: LT
000032c1: ISZERO
000032c2: PUSH2 0x341a
000032c5: JUMPI
000032c6: DUP3
000032c7: PUSH1 0x06
000032c9: PUSH1 0x00
000032cb: PUSH1 0x0b
000032cd: DUP5
000032ce: DUP2
000032cf: SLOAD
000032d0: DUP2
000032d1: LT
000032d2: PUSH2 0x32d7
000032d5: JUMPI
000032d6: INVALID
000032d7: JUMPDEST
000032d8: PUSH1 0x00
000032da: SWAP2
000032db: DUP3
000032dc: MSTORE
000032dd: PUSH1 0x20
000032df: DUP1
000032e0: DUP4
000032e1: KECCAK256
000032e2: SWAP1
000032e3: SWAP2
000032e4: ADD
000032e5: SLOAD
000032e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032fb: AND
000032fc: DUP4
000032fd: MSTORE
000032fe: DUP3
000032ff: ADD
00003300: SWAP3
00003301: SWAP1
00003302: SWAP3
00003303: MSTORE
00003304: PUSH1 0x40
00003306: ADD
00003307: SWAP1
00003308: KECCAK256
00003309: SLOAD
0000330a: GT
0000330b: DUP1
0000330c: PUSH2 0x3356
0000330f: JUMPI
00003310: POP
00003311: DUP2
00003312: PUSH1 0x07
00003314: PUSH1 0x00
00003316: PUSH1 0x0b
00003318: DUP5
00003319: DUP2
0000331a: SLOAD
0000331b: DUP2
0000331c: LT
0000331d: PUSH2 0x3322
00003320: JUMPI
00003321: INVALID
00003322: JUMPDEST
00003323: PUSH1 0x00
00003325: SWAP2
00003326: DUP3
00003327: MSTORE
00003328: PUSH1 0x20
0000332a: DUP1
0000332b: DUP4
0000332c: KECCAK256
0000332d: SWAP1
0000332e: SWAP2
0000332f: ADD
00003330: SLOAD
00003331: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003346: AND
00003347: DUP4
00003348: MSTORE
00003349: DUP3
0000334a: ADD
0000334b: SWAP3
0000334c: SWAP1
0000334d: SWAP3
0000334e: MSTORE
0000334f: PUSH1 0x40
00003351: ADD
00003352: SWAP1
00003353: KECCAK256
00003354: SLOAD
00003355: GT
00003356: JUMPDEST
00003357: ISZERO
00003358: PUSH2 0x3374
0000335b: JUMPI
0000335c: PUSH1 0x04
0000335e: SLOAD
0000335f: PUSH1 0x05
00003361: SLOAD
00003362: PUSH2 0x336a
00003365: SWAP2
00003366: PUSH2 0x345a
00003369: JUMP
0000336a: JUMPDEST
0000336b: SWAP4
0000336c: POP
0000336d: POP
0000336e: POP
0000336f: POP
00003370: PUSH2 0x0c13
00003373: JUMP
00003374: JUMPDEST
00003375: PUSH2 0x33c1
00003378: PUSH1 0x06
0000337a: PUSH1 0x00
0000337c: PUSH1 0x0b
0000337e: DUP5
0000337f: DUP2
00003380: SLOAD
00003381: DUP2
00003382: LT
00003383: PUSH2 0x3388
00003386: JUMPI
00003387: INVALID
00003388: JUMPDEST
00003389: PUSH1 0x00
0000338b: SWAP2
0000338c: DUP3
0000338d: MSTORE
0000338e: PUSH1 0x20
00003390: DUP1
00003391: DUP4
00003392: KECCAK256
00003393: SWAP1
00003394: SWAP2
00003395: ADD
00003396: SLOAD
00003397: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033ac: AND
000033ad: DUP4
000033ae: MSTORE
000033af: DUP3
000033b0: ADD
000033b1: SWAP3
000033b2: SWAP1
000033b3: SWAP3
000033b4: MSTORE
000033b5: PUSH1 0x40
000033b7: ADD
000033b8: SWAP1
000033b9: KECCAK256
000033ba: SLOAD
000033bb: DUP5
000033bc: SWAP1
000033bd: PUSH2 0x358a
000033c0: JUMP
000033c1: JUMPDEST
000033c2: SWAP3
000033c3: POP
000033c4: PUSH2 0x3410
000033c7: PUSH1 0x07
000033c9: PUSH1 0x00
000033cb: PUSH1 0x0b
000033cd: DUP5
000033ce: DUP2
000033cf: SLOAD
000033d0: DUP2
000033d1: LT
000033d2: PUSH2 0x33d7
000033d5: JUMPI
000033d6: INVALID
000033d7: JUMPDEST
000033d8: PUSH1 0x00
000033da: SWAP2
000033db: DUP3
000033dc: MSTORE
000033dd: PUSH1 0x20
000033df: DUP1
000033e0: DUP4
000033e1: KECCAK256
000033e2: SWAP1
000033e3: SWAP2
000033e4: ADD
000033e5: SLOAD
000033e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033fb: AND
000033fc: DUP4
000033fd: MSTORE
000033fe: DUP3
000033ff: ADD
00003400: SWAP3
00003401: SWAP1
00003402: SWAP3
00003403: MSTORE
00003404: PUSH1 0x40
00003406: ADD
00003407: SWAP1
00003408: KECCAK256
00003409: SLOAD
0000340a: DUP4
0000340b: SWAP1
0000340c: PUSH2 0x358a
0000340f: JUMP
00003410: JUMPDEST
00003411: SWAP2
00003412: POP
00003413: PUSH1 0x01
00003415: ADD
00003416: PUSH2 0x32bb
00003419: JUMP
0000341a: JUMPDEST
0000341b: POP
0000341c: PUSH1 0x04
0000341e: SLOAD
0000341f: PUSH1 0x05
00003421: SLOAD
00003422: PUSH2 0x342a
00003425: SWAP2
00003426: PUSH2 0x345a
00003429: JUMP
0000342a: JUMPDEST
0000342b: DUP3
0000342c: LT
0000342d: ISZERO
0000342e: PUSH2 0x3449
00003431: JUMPI
00003432: PUSH1 0x04
00003434: SLOAD
00003435: PUSH1 0x05
00003437: SLOAD
00003438: PUSH2 0x3440
0000343b: SWAP2
0000343c: PUSH2 0x345a
0000343f: JUMP
00003440: JUMPDEST
00003441: SWAP3
00003442: POP
00003443: POP
00003444: POP
00003445: PUSH2 0x0c13
00003448: JUMP
00003449: JUMPDEST
0000344a: PUSH2 0x3453
0000344d: DUP3
0000344e: DUP3
0000344f: PUSH2 0x345a
00003452: JUMP
00003453: JUMPDEST
00003454: SWAP3
00003455: POP
00003456: POP
00003457: POP
00003458: SWAP1
00003459: JUMP
0000345a: JUMPDEST
0000345b: PUSH1 0x00
0000345d: PUSH2 0x349c
00003460: DUP4
00003461: DUP4
00003462: PUSH1 0x40
00003464: MLOAD
00003465: DUP1
00003466: PUSH1 0x40
00003468: ADD
00003469: PUSH1 0x40
0000346b: MSTORE
0000346c: DUP1
0000346d: PUSH1 0x1a
0000346f: DUP2
00003470: MSTORE
00003471: PUSH1 0x20
00003473: ADD
00003474: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00003495: DUP2
00003496: MSTORE
00003497: POP
00003498: PUSH2 0x3bb8
0000349b: JUMP
0000349c: JUMPDEST
0000349d: SWAP4
0000349e: SWAP3
0000349f: POP
000034a0: POP
000034a1: POP
000034a2: JUMP
000034a3: JUMPDEST
000034a4: PUSH1 0x00
000034a6: DUP3
000034a7: DUP3
000034a8: ADD
000034a9: DUP4
000034aa: DUP2
000034ab: LT
000034ac: ISZERO
000034ad: PUSH2 0x349c
000034b0: JUMPI
000034b1: PUSH1 0x40
000034b3: DUP1
000034b4: MLOAD
000034b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000034d6: DUP2
000034d7: MSTORE
000034d8: PUSH1 0x20
000034da: PUSH1 0x04
000034dc: DUP3
000034dd: ADD
000034de: MSTORE
000034df: PUSH1 0x1b
000034e1: PUSH1 0x24
000034e3: DUP3
000034e4: ADD
000034e5: MSTORE
000034e6: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003507: PUSH1 0x44
00003509: DUP3
0000350a: ADD
0000350b: MSTORE
0000350c: SWAP1
0000350d: MLOAD
0000350e: SWAP1
0000350f: DUP2
00003510: SWAP1
00003511: SUB
00003512: PUSH1 0x64
00003514: ADD
00003515: SWAP1
00003516: REVERT
00003517: JUMPDEST
00003518: PUSH1 0x00
0000351a: DUP3
0000351b: PUSH2 0x3526
0000351e: JUMPI
0000351f: POP
00003520: PUSH1 0x00
00003522: PUSH2 0x0c2e
00003525: JUMP
00003526: JUMPDEST
00003527: DUP3
00003528: DUP3
00003529: MUL
0000352a: DUP3
0000352b: DUP5
0000352c: DUP3
0000352d: DUP2
0000352e: PUSH2 0x3533
00003531: JUMPI
00003532: INVALID
00003533: JUMPDEST
00003534: DIV
00003535: EQ
00003536: PUSH2 0x349c
00003539: JUMPI
0000353a: PUSH1 0x40
0000353c: MLOAD
0000353d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000355e: DUP2
0000355f: MSTORE
00003560: PUSH1 0x04
00003562: ADD
00003563: DUP1
00003564: DUP1
00003565: PUSH1 0x20
00003567: ADD
00003568: DUP3
00003569: DUP2
0000356a: SUB
0000356b: DUP3
0000356c: MSTORE
0000356d: PUSH1 0x21
0000356f: DUP2
00003570: MSTORE
00003571: PUSH1 0x20
00003573: ADD
00003574: DUP1
00003575: PUSH2 0x41c5
00003578: PUSH1 0x21
0000357a: SWAP2
0000357b: CODECOPY
0000357c: PUSH1 0x40
0000357e: ADD
0000357f: SWAP2
00003580: POP
00003581: POP
00003582: PUSH1 0x40
00003584: MLOAD
00003585: DUP1
00003586: SWAP2
00003587: SUB
00003588: SWAP1
00003589: REVERT
0000358a: JUMPDEST
0000358b: PUSH1 0x00
0000358d: PUSH2 0x349c
00003590: DUP4
00003591: DUP4
00003592: PUSH1 0x40
00003594: MLOAD
00003595: DUP1
00003596: PUSH1 0x40
00003598: ADD
00003599: PUSH1 0x40
0000359b: MSTORE
0000359c: DUP1
0000359d: PUSH1 0x1e
0000359f: DUP2
000035a0: MSTORE
000035a1: PUSH1 0x20
000035a3: ADD
000035a4: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000035c5: DUP2
000035c6: MSTORE
000035c7: POP
000035c8: PUSH2 0x31fe
000035cb: JUMP
000035cc: JUMPDEST
000035cd: PUSH1 0x1d
000035cf: SLOAD
000035d0: PUSH1 0x1c
000035d2: SLOAD
000035d3: PUSH1 0x40
000035d5: DUP1
000035d6: MLOAD
000035d7: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
000035f8: DUP2
000035f9: MSTORE
000035fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000360f: SWAP3
00003610: DUP4
00003611: AND
00003612: PUSH1 0x04
00003614: DUP3
00003615: ADD
00003616: MSTORE
00003617: PUSH1 0x24
00003619: DUP2
0000361a: ADD
0000361b: DUP6
0000361c: SWAP1
0000361d: MSTORE
0000361e: SWAP1
0000361f: MLOAD
00003620: PUSH1 0x00
00003622: SWAP4
00003623: SWAP3
00003624: SWAP1
00003625: SWAP3
00003626: AND
00003627: SWAP2
00003628: PUSH4 0x095ea7b3
0000362d: SWAP2
0000362e: PUSH1 0x44
00003630: DUP1
00003631: DUP3
00003632: ADD
00003633: SWAP3
00003634: PUSH1 0x20
00003636: SWAP3
00003637: SWAP1
00003638: SWAP2
00003639: SWAP1
0000363a: DUP3
0000363b: SWAP1
0000363c: SUB
0000363d: ADD
0000363e: DUP2
0000363f: DUP8
00003640: DUP8
00003641: DUP1
00003642: EXTCODESIZE
00003643: ISZERO
00003644: DUP1
00003645: ISZERO
00003646: PUSH2 0x364e
00003649: JUMPI
0000364a: PUSH1 0x00
0000364c: DUP1
0000364d: REVERT
0000364e: JUMPDEST
0000364f: POP
00003650: GAS
00003651: CALL
00003652: ISZERO
00003653: DUP1
00003654: ISZERO
00003655: PUSH2 0x3662
00003658: JUMPI
00003659: RETURNDATASIZE
0000365a: PUSH1 0x00
0000365c: DUP1
0000365d: RETURNDATACOPY
0000365e: RETURNDATASIZE
0000365f: PUSH1 0x00
00003661: REVERT
00003662: JUMPDEST
00003663: POP
00003664: POP
00003665: POP
00003666: POP
00003667: PUSH1 0x40
00003669: MLOAD
0000366a: RETURNDATASIZE
0000366b: PUSH1 0x20
0000366d: DUP2
0000366e: LT
0000366f: ISZERO
00003670: PUSH2 0x3678
00003673: JUMPI
00003674: PUSH1 0x00
00003676: DUP1
00003677: REVERT
00003678: JUMPDEST
00003679: POP
0000367a: POP
0000367b: PUSH1 0x1c
0000367d: SLOAD
0000367e: PUSH1 0x40
00003680: DUP1
00003681: MLOAD
00003682: PUSH32 0xaf2979eb00000000000000000000000000000000000000000000000000000000
000036a3: DUP2
000036a4: MSTORE
000036a5: ADDRESS
000036a6: PUSH1 0x04
000036a8: DUP3
000036a9: ADD
000036aa: DUP2
000036ab: SWAP1
000036ac: MSTORE
000036ad: PUSH1 0x24
000036af: DUP3
000036b0: ADD
000036b1: DUP7
000036b2: SWAP1
000036b3: MSTORE
000036b4: PUSH1 0x00
000036b6: PUSH1 0x44
000036b8: DUP4
000036b9: ADD
000036ba: DUP2
000036bb: SWAP1
000036bc: MSTORE
000036bd: PUSH1 0x64
000036bf: DUP4
000036c0: ADD
000036c1: DUP2
000036c2: SWAP1
000036c3: MSTORE
000036c4: PUSH1 0x84
000036c6: DUP4
000036c7: ADD
000036c8: SWAP2
000036c9: SWAP1
000036ca: SWAP2
000036cb: MSTORE
000036cc: TIMESTAMP
000036cd: PUSH1 0xa4
000036cf: DUP4
000036d0: ADD
000036d1: MSTORE
000036d2: SWAP2
000036d3: MLOAD
000036d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036e9: SWAP1
000036ea: SWAP4
000036eb: AND
000036ec: SWAP3
000036ed: PUSH4 0xaf2979eb
000036f2: SWAP3
000036f3: PUSH1 0xc4
000036f5: DUP1
000036f6: DUP5
000036f7: ADD
000036f8: SWAP4
000036f9: PUSH1 0x20
000036fb: SWAP4
000036fc: SWAP3
000036fd: SWAP1
000036fe: DUP4
000036ff: SWAP1
00003700: SUB
00003701: SWAP1
00003702: SWAP2
00003703: ADD
00003704: SWAP1
00003705: DUP3
00003706: SWAP1
00003707: DUP8
00003708: DUP1
00003709: EXTCODESIZE
0000370a: ISZERO
0000370b: DUP1
0000370c: ISZERO
0000370d: PUSH2 0x3715
00003710: JUMPI
00003711: PUSH1 0x00
00003713: DUP1
00003714: REVERT
00003715: JUMPDEST
00003716: POP
00003717: GAS
00003718: CALL
00003719: ISZERO
0000371a: DUP1
0000371b: ISZERO
0000371c: PUSH2 0x3729
0000371f: JUMPI
00003720: RETURNDATASIZE
00003721: PUSH1 0x00
00003723: DUP1
00003724: RETURNDATACOPY
00003725: RETURNDATASIZE
00003726: PUSH1 0x00
00003728: REVERT
00003729: JUMPDEST
0000372a: POP
0000372b: POP
0000372c: POP
0000372d: POP
0000372e: PUSH1 0x40
00003730: MLOAD
00003731: RETURNDATASIZE
00003732: PUSH1 0x20
00003734: DUP2
00003735: LT
00003736: ISZERO
00003737: PUSH2 0x373f
0000373a: JUMPI
0000373b: PUSH1 0x00
0000373d: DUP1
0000373e: REVERT
0000373f: JUMPDEST
00003740: POP
00003741: MLOAD
00003742: SWAP3
00003743: SWAP2
00003744: POP
00003745: POP
00003746: JUMP
00003747: JUMPDEST
00003748: PUSH1 0x40
0000374a: DUP1
0000374b: MLOAD
0000374c: PUSH1 0x02
0000374e: DUP1
0000374f: DUP3
00003750: MSTORE
00003751: PUSH1 0x60
00003753: DUP3
00003754: ADD
00003755: DUP4
00003756: MSTORE
00003757: PUSH1 0x00
00003759: SWAP3
0000375a: PUSH1 0x20
0000375c: DUP4
0000375d: ADD
0000375e: SWAP1
0000375f: DUP1
00003760: CALLDATASIZE
00003761: DUP4
00003762: CALLDATACOPY
00003763: POP
00003764: POP
00003765: PUSH1 0x1c
00003767: SLOAD
00003768: PUSH1 0x40
0000376a: DUP1
0000376b: MLOAD
0000376c: PUSH32 0xad5c464800000000000000000000000000000000000000000000000000000000
0000378d: DUP2
0000378e: MSTORE
0000378f: SWAP1
00003790: MLOAD
00003791: SWAP4
00003792: SWAP5
00003793: POP
00003794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037a9: SWAP1
000037aa: SWAP2
000037ab: AND
000037ac: SWAP3
000037ad: PUSH4 0xad5c4648
000037b2: SWAP3
000037b3: POP
000037b4: PUSH1 0x04
000037b6: DUP1
000037b7: DUP4
000037b8: ADD
000037b9: SWAP3
000037ba: PUSH1 0x20
000037bc: SWAP3
000037bd: SWAP2
000037be: SWAP1
000037bf: DUP3
000037c0: SWAP1
000037c1: SUB
000037c2: ADD
000037c3: DUP2
000037c4: DUP7
000037c5: DUP1
000037c6: EXTCODESIZE
000037c7: ISZERO
000037c8: DUP1
000037c9: ISZERO
000037ca: PUSH2 0x37d2
000037cd: JUMPI
000037ce: PUSH1 0x00
000037d0: DUP1
000037d1: REVERT
000037d2: JUMPDEST
000037d3: POP
000037d4: GAS
000037d5: STATICCALL
000037d6: ISZERO
000037d7: DUP1
000037d8: ISZERO
000037d9: PUSH2 0x37e6
000037dc: JUMPI
000037dd: RETURNDATASIZE
000037de: PUSH1 0x00
000037e0: DUP1
000037e1: RETURNDATACOPY
000037e2: RETURNDATASIZE
000037e3: PUSH1 0x00
000037e5: REVERT
000037e6: JUMPDEST
000037e7: POP
000037e8: POP
000037e9: POP
000037ea: POP
000037eb: PUSH1 0x40
000037ed: MLOAD
000037ee: RETURNDATASIZE
000037ef: PUSH1 0x20
000037f1: DUP2
000037f2: LT
000037f3: ISZERO
000037f4: PUSH2 0x37fc
000037f7: JUMPI
000037f8: PUSH1 0x00
000037fa: DUP1
000037fb: REVERT
000037fc: JUMPDEST
000037fd: POP
000037fe: MLOAD
000037ff: DUP2
00003800: MLOAD
00003801: DUP3
00003802: SWAP1
00003803: PUSH1 0x00
00003805: SWAP1
00003806: PUSH2 0x380b
00003809: JUMPI
0000380a: INVALID
0000380b: JUMPDEST
0000380c: PUSH1 0x20
0000380e: MUL
0000380f: PUSH1 0x20
00003811: ADD
00003812: ADD
00003813: SWAP1
00003814: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003829: AND
0000382a: SWAP1
0000382b: DUP2
0000382c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003841: AND
00003842: DUP2
00003843: MSTORE
00003844: POP
00003845: POP
00003846: ADDRESS
00003847: DUP2
00003848: PUSH1 0x01
0000384a: DUP2
0000384b: MLOAD
0000384c: DUP2
0000384d: LT
0000384e: PUSH2 0x3853
00003851: JUMPI
00003852: INVALID
00003853: JUMPDEST
00003854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003869: SWAP3
0000386a: DUP4
0000386b: AND
0000386c: PUSH1 0x20
0000386e: SWAP2
0000386f: DUP3
00003870: MUL
00003871: SWAP3
00003872: SWAP1
00003873: SWAP3
00003874: ADD
00003875: DUP2
00003876: ADD
00003877: SWAP2
00003878: SWAP1
00003879: SWAP2
0000387a: MSTORE
0000387b: PUSH1 0x1c
0000387d: SLOAD
0000387e: PUSH1 0x16
00003880: SLOAD
00003881: PUSH1 0x40
00003883: MLOAD
00003884: PUSH32 0xb6f9de9500000000000000000000000000000000000000000000000000000000
000038a5: DUP2
000038a6: MSTORE
000038a7: PUSH1 0x00
000038a9: PUSH1 0x04
000038ab: DUP3
000038ac: ADD
000038ad: DUP2
000038ae: DUP2
000038af: MSTORE
000038b0: SWAP3
000038b1: DUP7
000038b2: AND
000038b3: PUSH1 0x44
000038b5: DUP4
000038b6: ADD
000038b7: DUP2
000038b8: SWAP1
000038b9: MSTORE
000038ba: TIMESTAMP
000038bb: PUSH1 0x64
000038bd: DUP5
000038be: ADD
000038bf: DUP2
000038c0: SWAP1
000038c1: MSTORE
000038c2: PUSH1 0x80
000038c4: PUSH1 0x24
000038c6: DUP6
000038c7: ADD
000038c8: SWAP1
000038c9: DUP2
000038ca: MSTORE
000038cb: DUP10
000038cc: MLOAD
000038cd: PUSH1 0x84
000038cf: DUP7
000038d0: ADD
000038d1: MSTORE
000038d2: DUP10
000038d3: MLOAD
000038d4: SWAP7
000038d5: SWAP1
000038d6: SWAP9
000038d7: AND
000038d8: SWAP8
000038d9: PUSH4 0xb6f9de95
000038de: SWAP8
000038df: DUP12
000038e0: SWAP8
000038e1: SWAP5
000038e2: SWAP7
000038e3: DUP12
000038e4: SWAP7
000038e5: SWAP5
000038e6: SWAP6
000038e7: SWAP4
000038e8: SWAP5
000038e9: SWAP1
000038ea: SWAP4
000038eb: PUSH1 0xa4
000038ed: SWAP1
000038ee: SWAP2
000038ef: ADD
000038f0: SWAP2
000038f1: DUP8
000038f2: DUP2
000038f3: ADD
000038f4: SWAP2
000038f5: MUL
000038f6: DUP1
000038f7: DUP4
000038f8: DUP4
000038f9: DUP12
000038fa: JUMPDEST
000038fb: DUP4
000038fc: DUP2
000038fd: LT
000038fe: ISZERO
000038ff: PUSH2 0x3912
00003902: JUMPI
00003903: DUP2
00003904: DUP2
00003905: ADD
00003906: MLOAD
00003907: DUP4
00003908: DUP3
00003909: ADD
0000390a: MSTORE
0000390b: PUSH1 0x20
0000390d: ADD
0000390e: PUSH2 0x38fa
00003911: JUMP
00003912: JUMPDEST
00003913: POP
00003914: POP
00003915: POP
00003916: POP
00003917: SWAP1
00003918: POP
00003919: ADD
0000391a: SWAP6
0000391b: POP
0000391c: POP
0000391d: POP
0000391e: POP
0000391f: POP
00003920: POP
00003921: PUSH1 0x00
00003923: PUSH1 0x40
00003925: MLOAD
00003926: DUP1
00003927: DUP4
00003928: SUB
00003929: DUP2
0000392a: DUP6
0000392b: DUP9
0000392c: DUP1
0000392d: EXTCODESIZE
0000392e: ISZERO
0000392f: DUP1
00003930: ISZERO
00003931: PUSH2 0x3939
00003934: JUMPI
00003935: PUSH1 0x00
00003937: DUP1
00003938: REVERT
00003939: JUMPDEST
0000393a: POP
0000393b: GAS
0000393c: CALL
0000393d: ISZERO
0000393e: DUP1
0000393f: ISZERO
00003940: PUSH2 0x394d
00003943: JUMPI
00003944: RETURNDATASIZE
00003945: PUSH1 0x00
00003947: DUP1
00003948: RETURNDATACOPY
00003949: RETURNDATASIZE
0000394a: PUSH1 0x00
0000394c: REVERT
0000394d: JUMPDEST
0000394e: POP
0000394f: POP
00003950: POP
00003951: POP
00003952: POP
00003953: POP
00003954: POP
00003955: JUMP
00003956: JUMPDEST
00003957: PUSH1 0x13
00003959: DUP1
0000395a: SLOAD
0000395b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffff
0000397c: AND
0000397d: PUSH3 0x010000
00003981: OR
00003982: SWAP1
00003983: SSTORE
00003984: PUSH1 0x15
00003986: SLOAD
00003987: PUSH1 0x00
00003989: SWAP1
0000398a: PUSH2 0x3994
0000398d: SWAP1
0000398e: DUP4
0000398f: SWAP1
00003990: PUSH2 0x358a
00003993: JUMP
00003994: JUMPDEST
00003995: SWAP1
00003996: POP
00003997: PUSH1 0x00
00003999: PUSH2 0x39a3
0000399c: DUP3
0000399d: PUSH1 0x02
0000399f: PUSH2 0x345a
000039a2: JUMP
000039a3: JUMPDEST
000039a4: SWAP1
000039a5: POP
000039a6: PUSH1 0x00
000039a8: PUSH2 0x39b1
000039ab: DUP4
000039ac: DUP4
000039ad: PUSH2 0x358a
000039b0: JUMP
000039b1: JUMPDEST
000039b2: SWAP1
000039b3: POP
000039b4: SELFBALANCE
000039b5: PUSH2 0x39bd
000039b8: DUP4
000039b9: PUSH2 0x3c37
000039bc: JUMP
000039bd: JUMPDEST
000039be: PUSH1 0x00
000039c0: PUSH2 0x39c9
000039c3: SELFBALANCE
000039c4: DUP4
000039c5: PUSH2 0x358a
000039c8: JUMP
000039c9: JUMPDEST
000039ca: SWAP1
000039cb: POP
000039cc: PUSH2 0x39d5
000039cf: DUP4
000039d0: DUP3
000039d1: PUSH2 0x3e64
000039d4: JUMP
000039d5: JUMPDEST
000039d6: PUSH1 0x40
000039d8: DUP1
000039d9: MLOAD
000039da: DUP6
000039db: DUP2
000039dc: MSTORE
000039dd: PUSH1 0x20
000039df: DUP2
000039e0: ADD
000039e1: DUP4
000039e2: SWAP1
000039e3: MSTORE
000039e4: DUP1
000039e5: DUP3
000039e6: ADD
000039e7: DUP6
000039e8: SWAP1
000039e9: MSTORE
000039ea: SWAP1
000039eb: MLOAD
000039ec: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
00003a0d: SWAP2
00003a0e: DUP2
00003a0f: SWAP1
00003a10: SUB
00003a11: PUSH1 0x60
00003a13: ADD
00003a14: SWAP1
00003a15: LOG1
00003a16: PUSH2 0x3a22
00003a19: ADDRESS
00003a1a: ORIGIN
00003a1b: PUSH1 0x15
00003a1d: SLOAD
00003a1e: PUSH2 0x2b50
00003a21: JUMP
00003a22: JUMPDEST
00003a23: POP
00003a24: POP
00003a25: PUSH1 0x13
00003a27: DUP1
00003a28: SLOAD
00003a29: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffff
00003a4a: AND
00003a4b: SWAP1
00003a4c: SSTORE
00003a4d: POP
00003a4e: POP
00003a4f: POP
00003a50: POP
00003a51: JUMP
00003a52: JUMPDEST
00003a53: PUSH1 0x0d
00003a55: SLOAD
00003a56: PUSH1 0x00
00003a58: SWAP1
00003a59: DUP4
00003a5a: SWAP1
00003a5b: ISZERO
00003a5c: PUSH2 0x3ae5
00003a5f: JUMPI
00003a60: PUSH1 0x00
00003a62: PUSH2 0x3a82
00003a65: PUSH1 0x0c
00003a67: SLOAD
00003a68: PUSH1 0x02
00003a6a: ADD
00003a6b: PUSH1 0x0a
00003a6d: EXP
00003a6e: PUSH2 0x0fe8
00003a71: PUSH1 0x0d
00003a73: SLOAD
00003a74: DUP9
00003a75: PUSH2 0x3517
00003a78: SWAP1
00003a79: SWAP2
00003a7a: SWAP1
00003a7b: PUSH4 0xffffffff
00003a80: AND
00003a81: JUMP
00003a82: JUMPDEST
00003a83: SWAP1
00003a84: POP
00003a85: PUSH2 0x3a8e
00003a88: DUP3
00003a89: DUP3
00003a8a: PUSH2 0x358a
00003a8d: JUMP
00003a8e: JUMPDEST
00003a8f: SWAP2
00003a90: POP
00003a91: PUSH2 0x3a9d
00003a94: PUSH2 0x1707
00003a97: DUP3
00003a98: DUP7
00003a99: PUSH2 0x3517
00003a9c: JUMP
00003a9d: JUMPDEST
00003a9e: PUSH1 0x05
00003aa0: SSTORE
00003aa1: PUSH1 0x0f
00003aa3: SLOAD
00003aa4: PUSH2 0x3aad
00003aa7: SWAP1
00003aa8: DUP3
00003aa9: PUSH2 0x34a3
00003aac: JUMP
00003aad: JUMPDEST
00003aae: PUSH1 0x0f
00003ab0: SSTORE
00003ab1: PUSH1 0x40
00003ab3: DUP1
00003ab4: MLOAD
00003ab5: DUP3
00003ab6: DUP2
00003ab7: MSTORE
00003ab8: SWAP1
00003ab9: MLOAD
00003aba: PUSH32 0x6d1c76d614228b523baa4dcd9539e2c713b54ff4ab3ff2d1627e7f6cd32be442
00003adb: SWAP2
00003adc: DUP2
00003add: SWAP1
00003ade: SUB
00003adf: PUSH1 0x20
00003ae1: ADD
00003ae2: SWAP1
00003ae3: LOG1
00003ae4: POP
00003ae5: JUMPDEST
00003ae6: PUSH1 0x0e
00003ae8: SLOAD
00003ae9: ISZERO
00003aea: PUSH2 0x3bb0
00003aed: JUMPI
00003aee: PUSH1 0x00
00003af0: PUSH2 0x3b10
00003af3: PUSH1 0x0c
00003af5: SLOAD
00003af6: PUSH1 0x02
00003af8: ADD
00003af9: PUSH1 0x0a
00003afb: EXP
00003afc: PUSH2 0x0fe8
00003aff: PUSH1 0x0e
00003b01: SLOAD
00003b02: DUP9
00003b03: PUSH2 0x3517
00003b06: SWAP1
00003b07: SWAP2
00003b08: SWAP1
00003b09: PUSH4 0xffffffff
00003b0e: AND
00003b0f: JUMP
00003b10: JUMPDEST
00003b11: SWAP1
00003b12: POP
00003b13: PUSH2 0x3b1c
00003b16: DUP3
00003b17: DUP3
00003b18: PUSH2 0x358a
00003b1b: JUMP
00003b1c: JUMPDEST
00003b1d: SWAP2
00003b1e: POP
00003b1f: PUSH2 0x3b41
00003b22: PUSH2 0x3b2b
00003b25: DUP3
00003b26: DUP7
00003b27: PUSH2 0x3517
00003b2a: JUMP
00003b2b: JUMPDEST
00003b2c: ADDRESS
00003b2d: PUSH1 0x00
00003b2f: SWAP1
00003b30: DUP2
00003b31: MSTORE
00003b32: PUSH1 0x06
00003b34: PUSH1 0x20
00003b36: MSTORE
00003b37: PUSH1 0x40
00003b39: SWAP1
00003b3a: KECCAK256
00003b3b: SLOAD
00003b3c: SWAP1
00003b3d: PUSH2 0x34a3
00003b40: JUMP
00003b41: JUMPDEST
00003b42: ADDRESS
00003b43: PUSH1 0x00
00003b45: SWAP1
00003b46: DUP2
00003b47: MSTORE
00003b48: PUSH1 0x06
00003b4a: PUSH1 0x20
00003b4c: MSTORE
00003b4d: PUSH1 0x40
00003b4f: SWAP1
00003b50: KECCAK256
00003b51: SSTORE
00003b52: PUSH1 0x10
00003b54: SLOAD
00003b55: PUSH2 0x3b5e
00003b58: SWAP1
00003b59: DUP3
00003b5a: PUSH2 0x34a3
00003b5d: JUMP
00003b5e: JUMPDEST
00003b5f: PUSH1 0x10
00003b61: SSTORE
00003b62: PUSH1 0x40
00003b64: DUP1
00003b65: MLOAD
00003b66: DUP3
00003b67: DUP2
00003b68: MSTORE
00003b69: SWAP1
00003b6a: MLOAD
00003b6b: ADDRESS
00003b6c: SWAP2
00003b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b82: DUP10
00003b83: AND
00003b84: SWAP2
00003b85: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003ba6: SWAP2
00003ba7: DUP2
00003ba8: SWAP1
00003ba9: SUB
00003baa: PUSH1 0x20
00003bac: ADD
00003bad: SWAP1
00003bae: LOG3
00003baf: POP
00003bb0: JUMPDEST
00003bb1: SWAP5
00003bb2: SWAP4
00003bb3: POP
00003bb4: POP
00003bb5: POP
00003bb6: POP
00003bb7: JUMP
00003bb8: JUMPDEST
00003bb9: PUSH1 0x00
00003bbb: DUP2
00003bbc: DUP4
00003bbd: PUSH2 0x3c21
00003bc0: JUMPI
00003bc1: PUSH1 0x40
00003bc3: MLOAD
00003bc4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003be5: DUP2
00003be6: MSTORE
00003be7: PUSH1 0x20
00003be9: PUSH1 0x04
00003beb: DUP3
00003bec: ADD
00003bed: DUP2
00003bee: DUP2
00003bef: MSTORE
00003bf0: DUP4
00003bf1: MLOAD
00003bf2: PUSH1 0x24
00003bf4: DUP5
00003bf5: ADD
00003bf6: MSTORE
00003bf7: DUP4
00003bf8: MLOAD
00003bf9: SWAP1
00003bfa: SWAP3
00003bfb: DUP4
00003bfc: SWAP3
00003bfd: PUSH1 0x44
00003bff: SWAP1
00003c00: SWAP2
00003c01: ADD
00003c02: SWAP2
00003c03: SWAP1
00003c04: DUP6
00003c05: ADD
00003c06: SWAP1
00003c07: DUP1
00003c08: DUP4
00003c09: DUP4
00003c0a: PUSH1 0x00
00003c0c: DUP4
00003c0d: ISZERO
00003c0e: PUSH2 0x326c
00003c11: JUMPI
00003c12: DUP2
00003c13: DUP2
00003c14: ADD
00003c15: MLOAD
00003c16: DUP4
00003c17: DUP3
00003c18: ADD
00003c19: MSTORE
00003c1a: PUSH1 0x20
00003c1c: ADD
00003c1d: PUSH2 0x3254
00003c20: JUMP
00003c21: JUMPDEST
00003c22: POP
00003c23: PUSH1 0x00
00003c25: DUP4
00003c26: DUP6
00003c27: DUP2
00003c28: PUSH2 0x3c2d
00003c2b: JUMPI
00003c2c: INVALID
00003c2d: JUMPDEST
00003c2e: DIV
00003c2f: SWAP6
00003c30: SWAP5
00003c31: POP
00003c32: POP
00003c33: POP
00003c34: POP
00003c35: POP
00003c36: JUMP
00003c37: JUMPDEST
00003c38: PUSH1 0x13
00003c3a: DUP1
00003c3b: SLOAD
00003c3c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffff
00003c5d: AND
00003c5e: PUSH3 0x010000
00003c62: OR
00003c63: SWAP1
00003c64: SSTORE
00003c65: PUSH1 0x40
00003c67: DUP1
00003c68: MLOAD
00003c69: PUSH1 0x02
00003c6b: DUP1
00003c6c: DUP3
00003c6d: MSTORE
00003c6e: PUSH1 0x60
00003c70: DUP3
00003c71: ADD
00003c72: DUP4
00003c73: MSTORE
00003c74: PUSH1 0x00
00003c76: SWAP3
00003c77: PUSH1 0x20
00003c79: DUP4
00003c7a: ADD
00003c7b: SWAP1
00003c7c: DUP1
00003c7d: CALLDATASIZE
00003c7e: DUP4
00003c7f: CALLDATACOPY
00003c80: ADD
00003c81: SWAP1
00003c82: POP
00003c83: POP
00003c84: SWAP1
00003c85: POP
00003c86: ADDRESS
00003c87: DUP2
00003c88: PUSH1 0x00
00003c8a: DUP2
00003c8b: MLOAD
00003c8c: DUP2
00003c8d: LT
00003c8e: PUSH2 0x3c93
00003c91: JUMPI
00003c92: INVALID
00003c93: JUMPDEST
00003c94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ca9: SWAP3
00003caa: DUP4
00003cab: AND
00003cac: PUSH1 0x20
00003cae: SWAP2
00003caf: DUP3
00003cb0: MUL
00003cb1: SWAP3
00003cb2: SWAP1
00003cb3: SWAP3
00003cb4: ADD
00003cb5: DUP2
00003cb6: ADD
00003cb7: SWAP2
00003cb8: SWAP1
00003cb9: SWAP2
00003cba: MSTORE
00003cbb: PUSH1 0x1c
00003cbd: SLOAD
00003cbe: PUSH1 0x40
00003cc0: DUP1
00003cc1: MLOAD
00003cc2: PUSH32 0xad5c464800000000000000000000000000000000000000000000000000000000
00003ce3: DUP2
00003ce4: MSTORE
00003ce5: SWAP1
00003ce6: MLOAD
00003ce7: SWAP2
00003ce8: SWAP1
00003ce9: SWAP4
00003cea: AND
00003ceb: SWAP3
00003cec: PUSH4 0xad5c4648
00003cf1: SWAP3
00003cf2: PUSH1 0x04
00003cf4: DUP1
00003cf5: DUP4
00003cf6: ADD
00003cf7: SWAP4
00003cf8: SWAP2
00003cf9: SWAP3
00003cfa: DUP3
00003cfb: SWAP1
00003cfc: SUB
00003cfd: ADD
00003cfe: DUP2
00003cff: DUP7
00003d00: DUP1
00003d01: EXTCODESIZE
00003d02: ISZERO
00003d03: DUP1
00003d04: ISZERO
00003d05: PUSH2 0x3d0d
00003d08: JUMPI
00003d09: PUSH1 0x00
00003d0b: DUP1
00003d0c: REVERT
00003d0d: JUMPDEST
00003d0e: POP
00003d0f: GAS
00003d10: STATICCALL
00003d11: ISZERO
00003d12: DUP1
00003d13: ISZERO
00003d14: PUSH2 0x3d21
00003d17: JUMPI
00003d18: RETURNDATASIZE
00003d19: PUSH1 0x00
00003d1b: DUP1
00003d1c: RETURNDATACOPY
00003d1d: RETURNDATASIZE
00003d1e: PUSH1 0x00
00003d20: REVERT
00003d21: JUMPDEST
00003d22: POP
00003d23: POP
00003d24: POP
00003d25: POP
00003d26: PUSH1 0x40
00003d28: MLOAD
00003d29: RETURNDATASIZE
00003d2a: PUSH1 0x20
00003d2c: DUP2
00003d2d: LT
00003d2e: ISZERO
00003d2f: PUSH2 0x3d37
00003d32: JUMPI
00003d33: PUSH1 0x00
00003d35: DUP1
00003d36: REVERT
00003d37: JUMPDEST
00003d38: POP
00003d39: MLOAD
00003d3a: DUP2
00003d3b: MLOAD
00003d3c: DUP3
00003d3d: SWAP1
00003d3e: PUSH1 0x01
00003d40: SWAP1
00003d41: DUP2
00003d42: LT
00003d43: PUSH2 0x3d48
00003d46: JUMPI
00003d47: INVALID
00003d48: JUMPDEST
00003d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d5e: SWAP3
00003d5f: DUP4
00003d60: AND
00003d61: PUSH1 0x20
00003d63: SWAP2
00003d64: DUP3
00003d65: MUL
00003d66: SWAP3
00003d67: SWAP1
00003d68: SWAP3
00003d69: ADD
00003d6a: ADD
00003d6b: MSTORE
00003d6c: PUSH1 0x1c
00003d6e: SLOAD
00003d6f: PUSH2 0x3d7b
00003d72: SWAP2
00003d73: ADDRESS
00003d74: SWAP2
00003d75: AND
00003d76: DUP5
00003d77: PUSH2 0x2a09
00003d7a: JUMP
00003d7b: JUMPDEST
00003d7c: PUSH1 0x1c
00003d7e: SLOAD
00003d7f: PUSH1 0x40
00003d81: MLOAD
00003d82: PUSH32 0x791ac94700000000000000000000000000000000000000000000000000000000
00003da3: DUP2
00003da4: MSTORE
00003da5: PUSH1 0x04
00003da7: DUP2
00003da8: ADD
00003da9: DUP5
00003daa: DUP2
00003dab: MSTORE
00003dac: PUSH1 0x00
00003dae: PUSH1 0x24
00003db0: DUP4
00003db1: ADD
00003db2: DUP2
00003db3: SWAP1
00003db4: MSTORE
00003db5: ADDRESS
00003db6: PUSH1 0x64
00003db8: DUP5
00003db9: ADD
00003dba: DUP2
00003dbb: SWAP1
00003dbc: MSTORE
00003dbd: TIMESTAMP
00003dbe: PUSH1 0x84
00003dc0: DUP6
00003dc1: ADD
00003dc2: DUP2
00003dc3: SWAP1
00003dc4: MSTORE
00003dc5: PUSH1 0xa0
00003dc7: PUSH1 0x44
00003dc9: DUP7
00003dca: ADD
00003dcb: SWAP1
00003dcc: DUP2
00003dcd: MSTORE
00003dce: DUP8
00003dcf: MLOAD
00003dd0: PUSH1 0xa4
00003dd2: DUP8
00003dd3: ADD
00003dd4: MSTORE
00003dd5: DUP8
00003dd6: MLOAD
00003dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dec: SWAP1
00003ded: SWAP8
00003dee: AND
00003def: SWAP7
00003df0: PUSH4 0x791ac947
00003df5: SWAP7
00003df6: DUP11
00003df7: SWAP7
00003df8: DUP11
00003df9: SWAP6
00003dfa: SWAP5
00003dfb: SWAP4
00003dfc: SWAP1
00003dfd: SWAP3
00003dfe: SWAP1
00003dff: SWAP2
00003e00: PUSH1 0xc4
00003e02: ADD
00003e03: SWAP1
00003e04: PUSH1 0x20
00003e06: DUP1
00003e07: DUP9
00003e08: ADD
00003e09: SWAP2
00003e0a: MUL
00003e0b: DUP1
00003e0c: DUP4
00003e0d: DUP4
00003e0e: DUP12
00003e0f: JUMPDEST
00003e10: DUP4
00003e11: DUP2
00003e12: LT
00003e13: ISZERO
00003e14: PUSH2 0x3e27
00003e17: JUMPI
00003e18: DUP2
00003e19: DUP2
00003e1a: ADD
00003e1b: MLOAD
00003e1c: DUP4
00003e1d: DUP3
00003e1e: ADD
00003e1f: MSTORE
00003e20: PUSH1 0x20
00003e22: ADD
00003e23: PUSH2 0x3e0f
00003e26: JUMP
00003e27: JUMPDEST
00003e28: POP
00003e29: POP
00003e2a: POP
00003e2b: POP
00003e2c: SWAP1
00003e2d: POP
00003e2e: ADD
00003e2f: SWAP7
00003e30: POP
00003e31: POP
00003e32: POP
00003e33: POP
00003e34: POP
00003e35: POP
00003e36: POP
00003e37: PUSH1 0x00
00003e39: PUSH1 0x40
00003e3b: MLOAD
00003e3c: DUP1
00003e3d: DUP4
00003e3e: SUB
00003e3f: DUP2
00003e40: PUSH1 0x00
00003e42: DUP8
00003e43: DUP1
00003e44: EXTCODESIZE
00003e45: ISZERO
00003e46: DUP1
00003e47: ISZERO
00003e48: PUSH2 0x3e50
00003e4b: JUMPI
00003e4c: PUSH1 0x00
00003e4e: DUP1
00003e4f: REVERT
00003e50: JUMPDEST
00003e51: POP
00003e52: GAS
00003e53: CALL
00003e54: ISZERO
00003e55: DUP1
00003e56: ISZERO
00003e57: PUSH2 0x3a22
00003e5a: JUMPI
00003e5b: RETURNDATASIZE
00003e5c: PUSH1 0x00
00003e5e: DUP1
00003e5f: RETURNDATACOPY
00003e60: RETURNDATASIZE
00003e61: PUSH1 0x00
00003e63: REVERT
00003e64: JUMPDEST
00003e65: PUSH1 0x1c
00003e67: SLOAD
00003e68: PUSH2 0x3e89
00003e6b: SWAP1
00003e6c: ADDRESS
00003e6d: SWAP1
00003e6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e83: AND
00003e84: DUP5
00003e85: PUSH2 0x2a09
00003e88: JUMP
00003e89: JUMPDEST
00003e8a: PUSH1 0x1c
00003e8c: SLOAD
00003e8d: PUSH1 0x40
00003e8f: DUP1
00003e90: MLOAD
00003e91: PUSH32 0xf305d71900000000000000000000000000000000000000000000000000000000
00003eb2: DUP2
00003eb3: MSTORE
00003eb4: ADDRESS
00003eb5: PUSH1 0x04
00003eb7: DUP3
00003eb8: ADD
00003eb9: DUP2
00003eba: SWAP1
00003ebb: MSTORE
00003ebc: PUSH1 0x24
00003ebe: DUP3
00003ebf: ADD
00003ec0: DUP7
00003ec1: SWAP1
00003ec2: MSTORE
00003ec3: PUSH1 0x00
00003ec5: PUSH1 0x44
00003ec7: DUP4
00003ec8: ADD
00003ec9: DUP2
00003eca: SWAP1
00003ecb: MSTORE
00003ecc: PUSH1 0x64
00003ece: DUP4
00003ecf: ADD
00003ed0: MSTORE
00003ed1: PUSH1 0x84
00003ed3: DUP3
00003ed4: ADD
00003ed5: MSTORE
00003ed6: TIMESTAMP
00003ed7: PUSH1 0xa4
00003ed9: DUP3
00003eda: ADD
00003edb: MSTORE
00003edc: SWAP1
00003edd: MLOAD
00003ede: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ef3: SWAP1
00003ef4: SWAP3
00003ef5: AND
00003ef6: SWAP2
00003ef7: PUSH4 0xf305d719
00003efc: SWAP2
00003efd: DUP5
00003efe: SWAP2
00003eff: PUSH1 0xc4
00003f01: DUP1
00003f02: DUP4
00003f03: ADD
00003f04: SWAP3
00003f05: PUSH1 0x60
00003f07: SWAP3
00003f08: SWAP2
00003f09: SWAP1
00003f0a: DUP3
00003f0b: SWAP1
00003f0c: SUB
00003f0d: ADD
00003f0e: DUP2
00003f0f: DUP6
00003f10: DUP9
00003f11: DUP1
00003f12: EXTCODESIZE
00003f13: ISZERO
00003f14: DUP1
00003f15: ISZERO
00003f16: PUSH2 0x3f1e
00003f19: JUMPI
00003f1a: PUSH1 0x00
00003f1c: DUP1
00003f1d: REVERT
00003f1e: JUMPDEST
00003f1f: POP
00003f20: GAS
00003f21: CALL
00003f22: ISZERO
00003f23: DUP1
00003f24: ISZERO
00003f25: PUSH2 0x3f32
00003f28: JUMPI
00003f29: RETURNDATASIZE
00003f2a: PUSH1 0x00
00003f2c: DUP1
00003f2d: RETURNDATACOPY
00003f2e: RETURNDATASIZE
00003f2f: PUSH1 0x00
00003f31: REVERT
00003f32: JUMPDEST
00003f33: POP
00003f34: POP
00003f35: POP
00003f36: POP
00003f37: POP
00003f38: PUSH1 0x40
00003f3a: MLOAD
00003f3b: RETURNDATASIZE
00003f3c: PUSH1 0x60
00003f3e: DUP2
00003f3f: LT
00003f40: ISZERO
00003f41: PUSH2 0x3f49
00003f44: JUMPI
00003f45: PUSH1 0x00
00003f47: DUP1
00003f48: REVERT
00003f49: JUMPDEST
00003f4a: POP
00003f4b: POP
00003f4c: POP
00003f4d: POP
00003f4e: JUMP
00003f4f: INVALID
00003f50: UNKNOWN(0x4D)
00003f51: PUSH2 0x6769
00003f54: PUSH25 0x3a206d696e546f6b656e4265666f7265537761702073686f75
00003f6e: PUSH13 0x64206265206772656174657220
00003f7c: PUSH21 0x68616e206175746f5377617043616c6c6572466565
00003f92: GASLIMIT
00003f93: MSTORE
00003f94: NUMBER
00003f95: ORIGIN
00003f96: ADDRESS
00003f97: GASPRICE
00003f98: KECCAK256
00003f99: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00003faf: PUSH5 0x6472657373
00003fb5: UNKNOWN(0x4D)
00003fb6: PUSH2 0x6769
00003fb9: PUSH25 0x3a204163636f756e7420697320616c726561647920696e636c
00003fd3: PUSH22 0x6465644d616769783a204d6167696320646f6573206e
00003fea: PUSH16 0x742068617070656e206f6674656e2c20
00003ffb: PUSH17 0x6c656173652077616974416d6f756e7420
0000400d: PUSH14 0x757374206265206c657373207468
0000401c: PUSH2 0x6e20
0000401f: PUSH21 0x6f74616c207265666c656374696f6e734f776e6162
00004035: PUSH13 0x653a206e6577206f776e657220
00004043: PUSH10 0x7320746865207a65726f
0000404e: KECCAK256
0000404f: PUSH2 0x6464
00004052: PUSH19 0x65737345524332303a20617070726f76652074
00004066: PUSH16 0x20746865207a65726f20616464726573
00004077: PUSH20 0x4d616769783a204163636f756e7420697320616c
0000408c: PUSH19 0x65616479206578636c756465644d616769783a
000040a0: KECCAK256
000040a1: PUSH13 0x697175696469747952656d6f76
000040af: PUSH6 0x466565207368
000040b6: PUSH16 0x756c6420626520696e2031202d203130
000040c7: UNKNOWN(0x4D)
000040c8: PUSH2 0x6769
000040cb: PUSH25 0x3a206d696e546f6b656e4265666f7265537761702073686f75
000040e5: PUSH13 0x6420626520696e203530653920
000040f3: UNKNOWN(0x2D)
000040f4: KECCAK256
000040f5: ORIGIN
000040f6: CALLDATALOAD
000040f7: ADDRESS
000040f8: ADDRESS
000040f9: ADDRESS
000040fa: PUSH6 0x394d61676978
00004101: GASPRICE
00004102: KECCAK256
00004103: SSTORE
00004104: PUSH15 0x697377617020726f75746572206361
00004114: PUSH15 0x6e6f74206265206578636c75646564
00004124: UNKNOWN(0x2E)
00004125: UNKNOWN(0x4D)
00004126: PUSH2 0x6769
00004129: PUSH25 0x3a206175746f5377617043616c6c65724665652073686f756c
00004143: PUSH5 0x2062652067
00004149: PUSH19 0x6561746572207468616e20316539596f752063
0000415d: PUSH2 0x6e6e
00004160: PUSH16 0x74207472616e73666572206d6f726520
00004171: PUSH21 0x68616e20323030303020746f6b656e732e54726164
00004187: PUSH10 0x6e67206973206c6f636b
00004192: PUSH6 0x64206265666f
00004199: PUSH19 0x652070726573616c652e4d616769783a206c6f
000041ad: PUSH4 0x6b466565
000041b2: KECCAK256
000041b3: PUSH20 0x686f756c6420626520696e2030202d2035536166
000041c8: PUSH6 0x4d6174683a20
000041cf: PUSH14 0x756c7469706c69636174696f6e20
000041de: PUSH16 0x766572666c6f774d616769783a204669
000041ef: PUSH19 0x737420796f75206861766520746f206f627461
00004203: PUSH10 0x6e206d61676963206279
0000420e: KECCAK256
0000420f: PUSH16 0x776e696e6720313030204d4147495845
00004220: MSTORE
00004221: NUMBER
00004222: ORIGIN
00004223: ADDRESS
00004224: GASPRICE
00004225: KECCAK256
00004226: PUSH21 0x72616e7366657220616d6f756e7420657863656564
0000423c: PUSH20 0x20616c6c6f77616e63655472616e736665722061
00004251: PUSH14 0x6f756e74206d7573742062652067
00004260: PUSH19 0x6561746572207468616e207a65726f45524332
00004274: ADDRESS
00004275: GASPRICE
00004276: KECCAK256
00004277: PUSH21 0x72616e736665722066726f6d20746865207a65726f
0000428d: KECCAK256
0000428e: PUSH2 0x6464
00004291: PUSH19 0x65737345524332303a20617070726f76652066
000042a5: PUSH19 0x6f6d20746865207a65726f2061646472657373
000042b9: UNKNOWN(0x4D)
000042ba: PUSH2 0x6769
000042bd: PUSH25 0x3a2054686520636f6e74726163742069742073656c66206361
000042d7: PUSH15 0x6e6f74206265206578636c75646564
000042e7: GASLIMIT
000042e8: MSTORE
000042e9: NUMBER
000042ea: ORIGIN
000042eb: ADDRESS
000042ec: GASPRICE
000042ed: KECCAK256
000042ee: PUSH5 0x6563726561
000042f4: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00004309: PUSH6 0x726f4d616769
00004310: PUSH25 0x3a206d6167696343616c6c65724665652073686f756c642062
0000432a: PUSH6 0x20696e203120
00004331: UNKNOWN(0x2D)
00004332: KECCAK256
00004333: BALANCE
00004334: CALLDATALOAD
00004335: LOG2
00004336: PUSH5 0x6970667358
0000433c: UNKNOWN(0x22)
0000433d: SLT
0000433e: KECCAK256
0000433f: BLOCKHASH
00004340: SWAP1
00004341: SHL
00004342: CLZ
00004343: SWAP7
00004344: RETURN
00004345: UNKNOWN(0xD7)
00004346: UNKNOWN(0x0D)
00004347: MUL
00004348: UNKNOWN(0xBA)
00004349: ADDMOD
0000434a: SWAP7
0000434b: JUMPI
0000434c: UNKNOWN(0x0D)
0000434d: SSTORE
0000434e: UNKNOWN(0xEA)
0000434f: PUSH28
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": "0xe5d41c6b", "selector": "0xe5d41c6b", "calldata_variants": [ "0xe5d41c6b", "0xe5d41c6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2cc0c18", "selector": "0xf2cc0c18", "calldata_variants": [ "0xf2cc0c18", "0xf2cc0c180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84354f1", "selector": "0xf84354f1", "calldata_variants": [ "0xf84354f1", "0xf84354f10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcba0e996", "selector": "0xcba0e996", "calldata_variants": [ "0xcba0e996", "0xcba0e9960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe563037e", "selector": "0xe563037e", "calldata_variants": [ "0xe563037e", "0xe563037e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa94917b1", "selector": "0xa94917b1", "calldata_variants": [ "0xa94917b1", "0xa94917b10000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 14874, "type": "tx_origin_used" }, { "pc": 16277, "type": "tx_origin_used" }, { "pc": 16629, "type": "tx_origin_used" }, { "pc": 16930, "type": "tx_origin_used" }, { "pc": 17130, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xd14041c7d098e459f4b9db4a77be5f78cf2cc37fb33f239afb4bda3582205c99 call_targets: 0xb0bc45972f1cbab76d6e433c28d53c012bcd568e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd14041c7d098e459f4b9db4a77be5f78cf2cc37fb33f239afb4bda3582205c99", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb0bc45972f1cbab76d6e433c28d53c012bcd568e" ], "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": "0xe5d41c6b", "selector": "0xe5d41c6b", "calldata_variants": [ "0xe5d41c6b", "0xe5d41c6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2cc0c18", "selector": "0xf2cc0c18", "calldata_variants": [ "0xf2cc0c18", "0xf2cc0c180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84354f1", "selector": "0xf84354f1", "calldata_variants": [ "0xf84354f1", "0xf84354f10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcba0e996", "selector": "0xcba0e996", "calldata_variants": [ "0xcba0e996", "0xcba0e9960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe563037e", "selector": "0xe563037e", "calldata_variants": [ "0xe563037e", "0xe563037e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa94917b1", "selector": "0xa94917b1", "calldata_variants": [ "0xa94917b1", "0xa94917b10000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 13905, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 14104, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 14652, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [ { "pc": 14874, "type": "tx_origin_used" }, { "pc": 16277, "type": "tx_origin_used" }, { "pc": 16629, "type": "tx_origin_used" }, { "pc": 16930, "type": "tx_origin_used" }, { "pc": 17130, "type": "tx_origin_used" } ], "untrusted_call_count": 5 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xd14041c7d098e459f4b9db4a77be5f78cf2cc37fb33f239afb4bda3582205c99 call_targets: 0xb0bc45972f1cbab76d6e433c28d53c012bcd568e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd14041c7d098e459f4b9db4a77be5f78cf2cc37fb33f239afb4bda3582205c99", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb0bc45972f1cbab76d6e433c28d53c012bcd568e" ], "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": "0xe5d41c6b", "selector": "0xe5d41c6b", "calldata_variants": [ "0xe5d41c6b", "0xe5d41c6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2cc0c18", "selector": "0xf2cc0c18", "calldata_variants": [ "0xf2cc0c18", "0xf2cc0c180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84354f1", "selector": "0xf84354f1", "calldata_variants": [ "0xf84354f1", "0xf84354f10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcba0e996", "selector": "0xcba0e996", "calldata_variants": [ "0xcba0e996", "0xcba0e9960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe563037e", "selector": "0xe563037e", "calldata_variants": [ "0xe563037e", "0xe563037e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa94917b1", "selector": "0xa94917b1", "calldata_variants": [ "0xa94917b1", "0xa94917b10000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 13905, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 14104, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 14652, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [ { "pc": 14874, "type": "tx_origin_used" }, { "pc": 16277, "type": "tx_origin_used" }, { "pc": 16629, "type": "tx_origin_used" }, { "pc": 16930, "type": "tx_origin_used" }, { "pc": 17130, "type": "tx_origin_used" } ] }
Severity