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

019b477e-db36-73e4-805d-a94d5c6f9b52
complete
Chain ID
Address
0x57612866892a569b6ab1da52ee7ed2f787466a23
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
Untrusted CALL target/value reachable
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
29599	artifact.fetch	complete	1 / 3	3 months ago
29600	tool.cast_disasm	complete	1 / 3	3 months ago
108425	analysis.bundle	complete	1 / 3	1 week ago
108426	capability.graph	complete	1 / 3	1 week ago
108427	detector.run	complete	1 / 3	1 week ago
108428	validation.fork	complete	1 / 3	1 week 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
8514
Flags
create_opcodes_present call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x0011
0000000d: JUMPI
0000000e: PUSH0
0000000f: DUP1
00000010: REVERT
00000011: JUMPDEST
00000012: PUSH0
00000013: CALLDATALOAD
00000014: PUSH1 0xe0
00000016: SHR
00000017: DUP1
00000018: PUSH4 0x014ac8ec
0000001d: EQ
0000001e: PUSH2 0x1651
00000021: JUMPI
00000022: DUP1
00000023: PUSH4 0x02548376
00000028: EQ
00000029: PUSH2 0x1608
0000002c: JUMPI
0000002d: DUP1
0000002e: PUSH4 0x025b463e
00000033: EQ
00000034: PUSH2 0x15aa
00000037: JUMPI
00000038: DUP1
00000039: PUSH4 0x0d5c87ab
0000003e: EQ
0000003f: PUSH2 0x154a
00000042: JUMPI
00000043: DUP1
00000044: PUSH4 0x0eb41011
00000049: EQ
0000004a: PUSH2 0x150e
0000004d: JUMPI
0000004e: DUP1
0000004f: PUSH4 0x110898fd
00000054: EQ
00000055: PUSH2 0x144c
00000058: JUMPI
00000059: DUP1
0000005a: PUSH4 0x16c38b3c
0000005f: EQ
00000060: PUSH2 0x1407
00000063: JUMPI
00000064: DUP1
00000065: PUSH4 0x1a4109da
0000006a: EQ
0000006b: PUSH2 0x13d2
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0x1c31f710
00000075: EQ
00000076: PUSH2 0x138f
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x2327c6be
00000080: EQ
00000081: PUSH2 0x11ab
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x2634551b
0000008b: EQ
0000008c: PUSH2 0x1181
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x2c104a92
00000096: EQ
00000097: PUSH2 0x1163
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0x38af3eed
000000a1: EQ
000000a2: PUSH2 0x113b
000000a5: JUMPI
000000a6: DUP1
000000a7: PUSH4 0x42adb342
000000ac: EQ
000000ad: PUSH2 0x1113
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x45859d8e
000000b7: EQ
000000b8: PUSH2 0x10d0
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x5822b2da
000000c2: EQ
000000c3: PUSH2 0x104c
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x5c975abb
000000cd: EQ
000000ce: PUSH2 0x1027
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x7100dd87
000000d8: EQ
000000d9: PUSH2 0x0fe3
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x715018a6
000000e3: EQ
000000e4: PUSH2 0x0f8c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x89d59d15
000000ee: EQ
000000ef: PUSH2 0x0e55
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x8c77cc09
000000f9: EQ
000000fa: PUSH2 0x0e2f
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x8da5cb5b
00000104: EQ
00000105: PUSH2 0x0e08
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x919e84f5
0000010f: EQ
00000110: PUSH2 0x0dd5
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x930e79f1
0000011a: EQ
0000011b: PUSH2 0x0db7
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x95657db0
00000125: EQ
00000126: PUSH2 0x0d97
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x989738ab
00000130: EQ
00000131: PUSH2 0x08ef
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x99456899
0000013b: EQ
0000013c: PUSH2 0x085f
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0xa81b2f8d
00000146: EQ
00000147: PUSH2 0x0830
0000014a: JUMPI
0000014b: DUP1
0000014c: PUSH4 0xb07cc883
00000151: EQ
00000152: PUSH2 0x081c
00000155: JUMPI
00000156: DUP1
00000157: PUSH4 0xb11b6d3b
0000015c: EQ
0000015d: PUSH2 0x07a3
00000160: JUMPI
00000161: DUP1
00000162: PUSH4 0xb93974ff
00000167: EQ
00000168: PUSH2 0x0766
0000016b: JUMPI
0000016c: DUP1
0000016d: PUSH4 0xbdb03d2a
00000172: EQ
00000173: PUSH2 0x06dd
00000176: JUMPI
00000177: DUP1
00000178: PUSH4 0xc24a6dba
0000017d: EQ
0000017e: PUSH2 0x0699
00000181: JUMPI
00000182: DUP1
00000183: PUSH4 0xd45c35ff
00000188: EQ
00000189: PUSH2 0x0673
0000018c: JUMPI
0000018d: DUP1
0000018e: PUSH4 0xe3959286
00000193: EQ
00000194: PUSH2 0x062b
00000197: JUMPI
00000198: DUP1
00000199: PUSH4 0xe71f7b15
0000019e: EQ
0000019f: PUSH2 0x0603
000001a2: JUMPI
000001a3: DUP1
000001a4: PUSH4 0xe94daf76
000001a9: EQ
000001aa: PUSH2 0x0298
000001ad: JUMPI
000001ae: DUP1
000001af: PUSH4 0xf2fde38b
000001b4: EQ
000001b5: PUSH2 0x0213
000001b8: JUMPI
000001b9: PUSH4 0xff050da6
000001be: EQ
000001bf: PUSH2 0x01c6
000001c2: JUMPI
000001c3: PUSH0
000001c4: DUP1
000001c5: REVERT
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: PUSH2 0x020f
000001cb: JUMPI
000001cc: PUSH1 0x40
000001ce: CALLDATASIZE
000001cf: PUSH1 0x03
000001d1: NOT
000001d2: ADD
000001d3: SLT
000001d4: PUSH2 0x020f
000001d7: JUMPI
000001d8: PUSH2 0x01df
000001db: PUSH2 0x1740
000001de: JUMP
000001df: JUMPDEST
000001e0: PUSH1 0x04
000001e2: CALLDATALOAD
000001e3: PUSH0
000001e4: MSTORE
000001e5: PUSH1 0x08
000001e7: PUSH1 0x20
000001e9: MSTORE
000001ea: PUSH1 0x40
000001ec: PUSH0
000001ed: KECCAK256
000001ee: SWAP1
000001ef: PUSH1 0x01
000001f1: DUP1
000001f2: PUSH1 0xa0
000001f4: SHL
000001f5: SUB
000001f6: AND
000001f7: PUSH0
000001f8: MSTORE
000001f9: PUSH1 0x20
000001fb: MSTORE
000001fc: PUSH1 0x20
000001fe: PUSH1 0xff
00000200: PUSH1 0x40
00000202: PUSH0
00000203: KECCAK256
00000204: SLOAD
00000205: AND
00000206: PUSH1 0x40
00000208: MLOAD
00000209: SWAP1
0000020a: ISZERO
0000020b: ISZERO
0000020c: DUP2
0000020d: MSTORE
0000020e: RETURN
0000020f: JUMPDEST
00000210: PUSH0
00000211: DUP1
00000212: REVERT
00000213: JUMPDEST
00000214: CALLVALUE
00000215: PUSH2 0x020f
00000218: JUMPI
00000219: PUSH1 0x20
0000021b: CALLDATASIZE
0000021c: PUSH1 0x03
0000021e: NOT
0000021f: ADD
00000220: SLT
00000221: PUSH2 0x020f
00000224: JUMPI
00000225: PUSH2 0x022c
00000228: PUSH2 0x1756
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH2 0x0234
00000230: PUSH2 0x2f25
00000233: JUMP
00000234: JUMPDEST
00000235: PUSH1 0x01
00000237: PUSH1 0x01
00000239: PUSH1 0xa0
0000023b: SHL
0000023c: SUB
0000023d: AND
0000023e: DUP1
0000023f: ISZERO
00000240: PUSH2 0x0285
00000243: JUMPI
00000244: PUSH0
00000245: DUP1
00000246: SLOAD
00000247: PUSH1 0x01
00000249: PUSH1 0x01
0000024b: PUSH1 0xa0
0000024d: SHL
0000024e: SUB
0000024f: NOT
00000250: DUP2
00000251: AND
00000252: DUP4
00000253: OR
00000254: DUP3
00000255: SSTORE
00000256: PUSH1 0x01
00000258: PUSH1 0x01
0000025a: PUSH1 0xa0
0000025c: SHL
0000025d: SUB
0000025e: AND
0000025f: SWAP1
00000260: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000281: SWAP1
00000282: DUP1
00000283: LOG3
00000284: STOP
00000285: JUMPDEST
00000286: PUSH4 0x1e4fbdf7
0000028b: PUSH1 0xe0
0000028d: SHL
0000028e: PUSH0
0000028f: MSTORE
00000290: PUSH0
00000291: PUSH1 0x04
00000293: MSTORE
00000294: PUSH1 0x24
00000296: PUSH0
00000297: REVERT
00000298: JUMPDEST
00000299: CALLVALUE
0000029a: PUSH2 0x020f
0000029d: JUMPI
0000029e: PUSH2 0x01e0
000002a1: CALLDATASIZE
000002a2: PUSH1 0x03
000002a4: NOT
000002a5: ADD
000002a6: SLT
000002a7: PUSH2 0x020f
000002aa: JUMPI
000002ab: PUSH2 0x02b2
000002ae: PUSH2 0x1756
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH1 0x24
000002b5: CALLDATALOAD
000002b6: PUSH1 0x01
000002b8: PUSH1 0x01
000002ba: PUSH1 0x40
000002bc: SHL
000002bd: SUB
000002be: DUP2
000002bf: GT
000002c0: PUSH2 0x020f
000002c3: JUMPI
000002c4: PUSH2 0x02d1
000002c7: SWAP1
000002c8: CALLDATASIZE
000002c9: SWAP1
000002ca: PUSH1 0x04
000002cc: ADD
000002cd: PUSH2 0x16fa
000002d0: JUMP
000002d1: JUMPDEST
000002d2: SWAP1
000002d3: PUSH2 0x02da
000002d6: PUSH2 0x176c
000002d9: JUMP
000002da: JUMPDEST
000002db: PUSH1 0xa4
000002dd: CALLDATALOAD
000002de: SWAP4
000002df: PUSH1 0x01
000002e1: PUSH1 0x01
000002e3: PUSH1 0xa0
000002e5: SHL
000002e6: SUB
000002e7: DUP6
000002e8: AND
000002e9: DUP6
000002ea: SUB
000002eb: PUSH2 0x020f
000002ee: JUMPI
000002ef: PUSH2 0x0164
000002f2: CALLDATALOAD
000002f3: SWAP3
000002f4: DUP4
000002f5: ISZERO
000002f6: ISZERO
000002f7: DUP5
000002f8: SUB
000002f9: PUSH2 0x020f
000002fc: JUMPI
000002fd: PUSH2 0x0304
00000300: PUSH2 0x2f25
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH2 0x0184
00000308: CALLDATALOAD
00000309: PUSH2 0x059a
0000030c: JUMPI
0000030d: JUMPDEST
0000030e: PUSH0
0000030f: JUMPDEST
00000310: DUP6
00000311: DUP2
00000312: LT
00000313: PUSH2 0x0318
00000316: JUMPI
00000317: STOP
00000318: JUMPDEST
00000319: PUSH1 0x01
0000031b: PUSH1 0x01
0000031d: PUSH1 0x60
0000031f: SHL
00000320: SUB
00000321: PUSH2 0x032b
00000324: DUP3
00000325: DUP9
00000326: DUP6
00000327: PUSH2 0x188d
0000032a: JUMP
0000032b: JUMPDEST
0000032c: CALLDATALOAD
0000032d: AND
0000032e: PUSH1 0x01
00000330: PUSH1 0x01
00000332: PUSH1 0x60
00000334: SHL
00000335: SUB
00000336: NOT
00000337: DUP5
00000338: PUSH1 0x60
0000033a: SHL
0000033b: AND
0000033c: OR
0000033d: SWAP1
0000033e: DUP2
0000033f: PUSH0
00000340: MSTORE
00000341: PUSH1 0x05
00000343: PUSH1 0x20
00000345: MSTORE
00000346: PUSH1 0x40
00000348: PUSH0
00000349: KECCAK256
0000034a: SLOAD
0000034b: PUSH2 0x020f
0000034e: JUMPI
0000034f: PUSH1 0x01
00000351: SWAP2
00000352: PUSH1 0x64
00000354: CALLDATALOAD
00000355: SWAP1
00000356: DUP2
00000357: ISZERO
00000358: PUSH2 0x058b
0000035b: JUMPI
0000035c: JUMPDEST
0000035d: PUSH1 0xc4
0000035f: CALLDATALOAD
00000360: PUSH2 0x057f
00000363: JUMPI
00000364: PUSH1 0x1e
00000366: SWAP2
00000367: JUMPDEST
00000368: DUP5
00000369: DUP1
0000036a: PUSH1 0xa0
0000036c: SHL
0000036d: SUB
0000036e: DUP12
0000036f: AND
00000370: ISZERO
00000371: PUSH0
00000372: EQ
00000373: PUSH2 0x0578
00000376: JUMPI
00000377: DUP8
00000378: SWAP3
00000379: JUMPDEST
0000037a: PUSH1 0x40
0000037c: MLOAD
0000037d: SWAP2
0000037e: PUSH2 0x0386
00000381: DUP4
00000382: PUSH2 0x1946
00000385: JUMP
00000386: JUMPDEST
00000387: DUP7
00000388: DUP1
00000389: PUSH1 0xa0
0000038b: SHL
0000038c: SUB
0000038d: DUP11
0000038e: AND
0000038f: DUP4
00000390: MSTORE
00000391: PUSH1 0xff
00000393: PUSH1 0x20
00000395: DUP5
00000396: ADD
00000397: SWAP3
00000398: AND
00000399: DUP3
0000039a: MSTORE
0000039b: DUP11
0000039c: PUSH1 0x40
0000039e: DUP5
0000039f: ADD
000003a0: SWAP6
000003a1: PUSH1 0xff
000003a3: PUSH1 0xe4
000003a5: CALLDATALOAD
000003a6: AND
000003a7: DUP8
000003a8: MSTORE
000003a9: PUSH1 0x60
000003ab: DUP6
000003ac: ADD
000003ad: PUSH1 0x01
000003af: PUSH1 0x01
000003b1: PUSH1 0x50
000003b3: SHL
000003b4: SUB
000003b5: PUSH1 0x44
000003b7: CALLDATALOAD
000003b8: AND
000003b9: DUP2
000003ba: MSTORE
000003bb: PUSH1 0x01
000003bd: PUSH1 0x01
000003bf: PUSH1 0x50
000003c1: SHL
000003c2: SUB
000003c3: PUSH1 0x80
000003c5: DUP8
000003c6: ADD
000003c7: SWAP5
000003c8: AND
000003c9: DUP5
000003ca: MSTORE
000003cb: PUSH1 0xa0
000003cd: DUP7
000003ce: ADD
000003cf: SWAP4
000003d0: PUSH1 0x01
000003d2: PUSH1 0x01
000003d4: PUSH1 0x58
000003d6: SHL
000003d7: SUB
000003d8: PUSH2 0x0104
000003db: CALLDATALOAD
000003dc: AND
000003dd: DUP6
000003de: MSTORE
000003df: PUSH1 0xc0
000003e1: DUP8
000003e2: ADD
000003e3: SWAP1
000003e4: PUSH1 0x01
000003e6: PUSH1 0x01
000003e8: PUSH1 0x58
000003ea: SHL
000003eb: SUB
000003ec: PUSH2 0x0124
000003ef: CALLDATALOAD
000003f0: AND
000003f1: DUP3
000003f2: MSTORE
000003f3: PUSH1 0xe0
000003f5: DUP9
000003f6: ADD
000003f7: SWAP2
000003f8: PUSH1 0x01
000003fa: PUSH1 0x01
000003fc: PUSH1 0x58
000003fe: SHL
000003ff: SUB
00000400: PUSH2 0x0144
00000403: CALLDATALOAD
00000404: AND
00000405: DUP4
00000406: MSTORE
00000407: PUSH2 0x0100
0000040a: DUP10
0000040b: ADD
0000040c: SWAP5
0000040d: DUP14
0000040e: DUP1
0000040f: PUSH1 0xa0
00000411: SHL
00000412: SUB
00000413: AND
00000414: DUP6
00000415: MSTORE
00000416: PUSH2 0x0120
00000419: DUP10
0000041a: ADD
0000041b: SWAP6
0000041c: ISZERO
0000041d: ISZERO
0000041e: DUP7
0000041f: MSTORE
00000420: PUSH2 0x0140
00000423: DUP10
00000424: ADD
00000425: SWAP7
00000426: PUSH2 0x0184
00000429: CALLDATALOAD
0000042a: DUP9
0000042b: MSTORE
0000042c: DUP10
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: PUSH2 0x044f
00000433: DUP2
00000434: PUSH2 0x0441
00000437: PUSH1 0x20
00000439: DUP3
0000043a: ADD
0000043b: SWAP5
0000043c: DUP6
0000043d: PUSH2 0x17d2
00000440: JUMP
00000441: JUMPDEST
00000442: SUB
00000443: PUSH1 0x1f
00000445: NOT
00000446: DUP2
00000447: ADD
00000448: DUP4
00000449: MSTORE
0000044a: DUP3
0000044b: PUSH2 0x1962
0000044e: JUMP
0000044f: JUMPDEST
00000450: MLOAD
00000451: SWAP1
00000452: KECCAK256
00000453: SWAP12
00000454: DUP13
00000455: SWAP6
00000456: DUP7
00000457: PUSH0
00000458: MSTORE
00000459: PUSH1 0x03
0000045b: PUSH1 0x20
0000045d: MSTORE
0000045e: DUP16
0000045f: PUSH1 0x01
00000461: PUSH1 0x01
00000463: PUSH1 0x50
00000465: SHL
00000466: SUB
00000467: SWAP1
00000468: PUSH1 0x40
0000046a: PUSH0
0000046b: KECCAK256
0000046c: ADD
0000046d: SLOAD
0000046e: AND
0000046f: ISZERO
00000470: PUSH2 0x0492
00000473: JUMPI
00000474: JUMPDEST
00000475: POP
00000476: POP
00000477: POP
00000478: POP
00000479: POP
0000047a: POP
0000047b: POP
0000047c: POP
0000047d: POP
0000047e: POP
0000047f: POP
00000480: POP
00000481: PUSH0
00000482: MSTORE
00000483: PUSH1 0x05
00000485: PUSH1 0x20
00000487: MSTORE
00000488: PUSH1 0x40
0000048a: PUSH0
0000048b: KECCAK256
0000048c: SSTORE
0000048d: ADD
0000048e: PUSH2 0x030f
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH0
00000494: SWAP7
00000495: DUP8
00000496: MSTORE
00000497: PUSH1 0x03
00000499: PUSH1 0x20
0000049b: DUP2
0000049c: SWAP1
0000049d: MSTORE
0000049e: PUSH1 0x40
000004a0: SWAP1
000004a1: SWAP8
000004a2: KECCAK256
000004a3: SWAP12
000004a4: MLOAD
000004a5: SWAP11
000004a6: MLOAD
000004a7: SWAP2
000004a8: MLOAD
000004a9: SWAP1
000004aa: MLOAD
000004ab: PUSH1 0xa0
000004ad: SWAP3
000004ae: SWAP1
000004af: SWAP3
000004b0: SHL
000004b1: PUSH1 0xff
000004b3: PUSH1 0xa0
000004b5: SHL
000004b6: AND
000004b7: PUSH1 0x01
000004b9: PUSH1 0x01
000004bb: PUSH1 0xa0
000004bd: SHL
000004be: SUB
000004bf: SWAP12
000004c0: SWAP1
000004c1: SWAP12
000004c2: AND
000004c3: SWAP11
000004c4: SWAP1
000004c5: SWAP11
000004c6: OR
000004c7: PUSH1 0xa8
000004c9: SWAP11
000004ca: DUP12
000004cb: SHL
000004cc: PUSH1 0xff
000004ce: PUSH1 0xa8
000004d0: SHL
000004d1: AND
000004d2: OR
000004d3: PUSH1 0xb0
000004d5: SWAP2
000004d6: SWAP1
000004d7: SWAP2
000004d8: SHL
000004d9: PUSH1 0x01
000004db: PUSH1 0x01
000004dd: PUSH1 0xb0
000004df: SHL
000004e0: SUB
000004e1: NOT
000004e2: AND
000004e3: OR
000004e4: DUP11
000004e5: SSTORE
000004e6: SWAP2
000004e7: MLOAD
000004e8: SWAP2
000004e9: MLOAD
000004ea: SWAP1
000004eb: MLOAD
000004ec: PUSH1 0x50
000004ee: SWAP2
000004ef: SWAP1
000004f0: SWAP2
000004f1: SHL
000004f2: PUSH1 0x01
000004f4: PUSH1 0x50
000004f6: SHL
000004f7: PUSH1 0x01
000004f9: PUSH1 0xa8
000004fb: SHL
000004fc: SUB
000004fd: AND
000004fe: PUSH1 0x01
00000500: PUSH1 0x01
00000502: PUSH1 0x50
00000504: SHL
00000505: SUB
00000506: SWAP3
00000507: SWAP1
00000508: SWAP3
00000509: AND
0000050a: SWAP2
0000050b: SWAP1
0000050c: SWAP2
0000050d: OR
0000050e: SWAP7
0000050f: SHL
00000510: PUSH1 0x01
00000512: PUSH1 0x01
00000514: PUSH1 0xa8
00000516: SHL
00000517: SUB
00000518: NOT
00000519: AND
0000051a: SWAP6
0000051b: SWAP1
0000051c: SWAP6
0000051d: OR
0000051e: DUP11
0000051f: DUP8
00000520: ADD
00000521: SSTORE
00000522: SWAP4
00000523: MLOAD
00000524: SWAP1
00000525: MLOAD
00000526: SWAP2
00000527: MLOAD
00000528: PUSH1 0x58
0000052a: SWAP3
0000052b: DUP4
0000052c: SHL
0000052d: SWAP3
0000052e: DUP11
0000052f: SWAP1
00000530: SHL
00000531: PUSH1 0xf8
00000533: DUP12
00000534: DUP2
00000535: SHL
00000536: SWAP2
00000537: SWAP1
00000538: SWAP2
00000539: SUB
0000053a: SWAP4
0000053b: SWAP1
0000053c: SWAP4
0000053d: AND
0000053e: PUSH1 0x01
00000540: PUSH1 0x01
00000542: PUSH1 0x58
00000544: SHL
00000545: SUB
00000546: SWAP3
00000547: SWAP1
00000548: SWAP3
00000549: AND
0000054a: SWAP2
0000054b: SWAP1
0000054c: SWAP2
0000054d: OR
0000054e: SWAP1
0000054f: ISZERO
00000550: ISZERO
00000551: SWAP1
00000552: SWAP2
00000553: SHL
00000554: PUSH1 0x01
00000556: PUSH1 0x01
00000558: PUSH1 0xf8
0000055a: SHL
0000055b: SUB
0000055c: NOT
0000055d: AND
0000055e: OR
0000055f: PUSH1 0x02
00000561: DUP5
00000562: ADD
00000563: SSTORE
00000564: MLOAD
00000565: SWAP2
00000566: ADD
00000567: SSTORE
00000568: DUP11
00000569: DUP1
0000056a: DUP1
0000056b: DUP1
0000056c: DUP1
0000056d: DUP7
0000056e: DUP2
0000056f: DUP1
00000570: DUP1
00000571: DUP1
00000572: DUP1
00000573: DUP1
00000574: PUSH2 0x0474
00000577: JUMP
00000578: JUMPDEST
00000579: DUP11
0000057a: SWAP3
0000057b: PUSH2 0x0379
0000057e: JUMP
0000057f: JUMPDEST
00000580: PUSH1 0xff
00000582: PUSH1 0xc4
00000584: CALLDATALOAD
00000585: AND
00000586: SWAP2
00000587: PUSH2 0x0367
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH1 0x01
0000058e: PUSH1 0x01
00000590: PUSH1 0x50
00000592: SHL
00000593: SUB
00000594: SWAP2
00000595: POP
00000596: PUSH2 0x035c
00000599: JUMP
0000059a: JUMPDEST
0000059b: PUSH1 0x40
0000059d: MLOAD
0000059e: PUSH2 0x05a6
000005a1: DUP2
000005a2: PUSH2 0x190f
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH1 0x01
000005a9: PUSH1 0x01
000005ab: PUSH1 0x50
000005ad: SHL
000005ae: SUB
000005af: PUSH2 0x01a4
000005b2: CALLDATALOAD
000005b3: DUP2
000005b4: AND
000005b5: DUP3
000005b6: MSTORE
000005b7: PUSH1 0xff
000005b9: PUSH2 0x01c4
000005bc: CALLDATALOAD
000005bd: AND
000005be: PUSH1 0x20
000005c0: DUP1
000005c1: DUP5
000005c2: ADD
000005c3: SWAP2
000005c4: DUP3
000005c5: MSTORE
000005c6: PUSH2 0x0184
000005c9: CALLDATALOAD
000005ca: PUSH0
000005cb: SWAP1
000005cc: DUP2
000005cd: MSTORE
000005ce: PUSH1 0x07
000005d0: SWAP1
000005d1: SWAP2
000005d2: MSTORE
000005d3: PUSH1 0x40
000005d5: SWAP1
000005d6: KECCAK256
000005d7: SWAP3
000005d8: MLOAD
000005d9: DUP4
000005da: SLOAD
000005db: SWAP2
000005dc: MLOAD
000005dd: PUSH1 0xff
000005df: PUSH1 0x50
000005e1: SHL
000005e2: PUSH1 0x50
000005e4: SWAP2
000005e5: SWAP1
000005e6: SWAP2
000005e7: SHL
000005e8: AND
000005e9: SWAP3
000005ea: AND
000005eb: PUSH11 0xffffffffffffffffffffff
000005f7: NOT
000005f8: SWAP1
000005f9: SWAP2
000005fa: AND
000005fb: OR
000005fc: OR
000005fd: SWAP1
000005fe: SSTORE
000005ff: PUSH2 0x030d
00000602: JUMP
00000603: JUMPDEST
00000604: CALLVALUE
00000605: PUSH2 0x020f
00000608: JUMPI
00000609: PUSH1 0x20
0000060b: CALLDATASIZE
0000060c: PUSH1 0x03
0000060e: NOT
0000060f: ADD
00000610: SLT
00000611: PUSH2 0x020f
00000614: JUMPI
00000615: PUSH1 0x20
00000617: PUSH2 0x0621
0000061a: PUSH1 0x04
0000061c: CALLDATALOAD
0000061d: PUSH2 0x1dc2
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH1 0x40
00000624: MLOAD
00000625: SWAP1
00000626: ISZERO
00000627: ISZERO
00000628: DUP2
00000629: MSTORE
0000062a: RETURN
0000062b: JUMPDEST
0000062c: CALLVALUE
0000062d: PUSH2 0x020f
00000630: JUMPI
00000631: PUSH1 0x60
00000633: CALLDATASIZE
00000634: PUSH1 0x03
00000636: NOT
00000637: ADD
00000638: SLT
00000639: PUSH2 0x020f
0000063c: JUMPI
0000063d: PUSH1 0x04
0000063f: CALLDATALOAD
00000640: PUSH1 0x01
00000642: PUSH1 0x01
00000644: PUSH1 0x40
00000646: SHL
00000647: SUB
00000648: DUP2
00000649: GT
0000064a: PUSH2 0x020f
0000064d: JUMPI
0000064e: PUSH2 0x065e
00000651: PUSH2 0x0671
00000654: SWAP2
00000655: CALLDATASIZE
00000656: SWAP1
00000657: PUSH1 0x04
00000659: ADD
0000065a: PUSH2 0x16fa
0000065d: JUMP
0000065e: JUMPDEST
0000065f: SWAP1
00000660: PUSH2 0x0667
00000663: PUSH2 0x172a
00000666: JUMP
00000667: JUMPDEST
00000668: SWAP2
00000669: PUSH1 0x24
0000066b: CALLDATALOAD
0000066c: SWAP2
0000066d: PUSH2 0x1d17
00000670: JUMP
00000671: JUMPDEST
00000672: STOP
00000673: JUMPDEST
00000674: CALLVALUE
00000675: PUSH2 0x020f
00000678: JUMPI
00000679: PUSH1 0x20
0000067b: CALLDATASIZE
0000067c: PUSH1 0x03
0000067e: NOT
0000067f: ADD
00000680: SLT
00000681: PUSH2 0x020f
00000684: JUMPI
00000685: PUSH1 0x20
00000687: PUSH2 0x0691
0000068a: PUSH1 0x04
0000068c: CALLDATALOAD
0000068d: PUSH2 0x1cd5
00000690: JUMP
00000691: JUMPDEST
00000692: PUSH1 0x40
00000694: MLOAD
00000695: SWAP1
00000696: DUP2
00000697: MSTORE
00000698: RETURN
00000699: JUMPDEST
0000069a: CALLVALUE
0000069b: PUSH2 0x020f
0000069e: JUMPI
0000069f: PUSH1 0x40
000006a1: CALLDATASIZE
000006a2: PUSH1 0x03
000006a4: NOT
000006a5: ADD
000006a6: SLT
000006a7: PUSH2 0x020f
000006aa: JUMPI
000006ab: PUSH2 0x06b2
000006ae: PUSH2 0x1740
000006b1: JUMP
000006b2: JUMPDEST
000006b3: PUSH1 0x04
000006b5: CALLDATALOAD
000006b6: PUSH0
000006b7: MSTORE
000006b8: PUSH1 0x06
000006ba: PUSH1 0x20
000006bc: MSTORE
000006bd: PUSH1 0x40
000006bf: PUSH0
000006c0: KECCAK256
000006c1: SWAP1
000006c2: PUSH1 0x01
000006c4: DUP1
000006c5: PUSH1 0xa0
000006c7: SHL
000006c8: SUB
000006c9: AND
000006ca: PUSH0
000006cb: MSTORE
000006cc: PUSH1 0x20
000006ce: MSTORE
000006cf: PUSH1 0x20
000006d1: PUSH1 0x40
000006d3: PUSH0
000006d4: KECCAK256
000006d5: SLOAD
000006d6: PUSH1 0x40
000006d8: MLOAD
000006d9: SWAP1
000006da: DUP2
000006db: MSTORE
000006dc: RETURN
000006dd: JUMPDEST
000006de: PUSH1 0x80
000006e0: CALLDATASIZE
000006e1: PUSH1 0x03
000006e3: NOT
000006e4: ADD
000006e5: SLT
000006e6: PUSH2 0x020f
000006e9: JUMPI
000006ea: PUSH1 0x04
000006ec: CALLDATALOAD
000006ed: PUSH1 0x01
000006ef: PUSH1 0x01
000006f1: PUSH1 0x40
000006f3: SHL
000006f4: SUB
000006f5: DUP2
000006f6: GT
000006f7: PUSH2 0x020f
000006fa: JUMPI
000006fb: PUSH2 0x0708
000006fe: SWAP1
000006ff: CALLDATASIZE
00000700: SWAP1
00000701: PUSH1 0x04
00000703: ADD
00000704: PUSH2 0x16fa
00000707: JUMP
00000708: JUMPDEST
00000709: SWAP1
0000070a: PUSH1 0x44
0000070c: CALLDATALOAD
0000070d: PUSH1 0x01
0000070f: PUSH1 0x01
00000711: PUSH1 0x40
00000713: SHL
00000714: SUB
00000715: DUP2
00000716: GT
00000717: PUSH2 0x020f
0000071a: JUMPI
0000071b: PUSH2 0x0728
0000071e: SWAP1
0000071f: CALLDATASIZE
00000720: SWAP1
00000721: PUSH1 0x04
00000723: ADD
00000724: PUSH2 0x16fa
00000727: JUMP
00000728: JUMPDEST
00000729: SWAP3
0000072a: SWAP1
0000072b: SWAP2
0000072c: PUSH1 0x64
0000072e: CALLDATALOAD
0000072f: SWAP4
00000730: PUSH1 0x01
00000732: PUSH1 0x01
00000734: PUSH1 0x40
00000736: SHL
00000737: SUB
00000738: DUP6
00000739: GT
0000073a: PUSH2 0x020f
0000073d: JUMPI
0000073e: PUSH2 0x075f
00000741: PUSH2 0x0751
00000744: PUSH2 0x0671
00000747: SWAP7
00000748: CALLDATASIZE
00000749: SWAP1
0000074a: PUSH1 0x04
0000074c: ADD
0000074d: PUSH2 0x16fa
00000750: JUMP
00000751: JUMPDEST
00000752: SWAP5
00000753: SWAP1
00000754: SWAP4
00000755: CALLER
00000756: SWAP2
00000757: PUSH1 0x24
00000759: CALLDATALOAD
0000075a: SWAP2
0000075b: PUSH2 0x1d17
0000075e: JUMP
0000075f: JUMPDEST
00000760: CALLER
00000761: SWAP4
00000762: PUSH2 0x1e6a
00000765: JUMP
00000766: JUMPDEST
00000767: CALLVALUE
00000768: PUSH2 0x020f
0000076b: JUMPI
0000076c: PUSH1 0x20
0000076e: CALLDATASIZE
0000076f: PUSH1 0x03
00000771: NOT
00000772: ADD
00000773: SLT
00000774: PUSH2 0x020f
00000777: JUMPI
00000778: PUSH1 0x04
0000077a: CALLDATALOAD
0000077b: PUSH0
0000077c: MSTORE
0000077d: PUSH1 0x07
0000077f: PUSH1 0x20
00000781: MSTORE
00000782: PUSH1 0x40
00000784: DUP1
00000785: PUSH0
00000786: KECCAK256
00000787: SLOAD
00000788: PUSH1 0xff
0000078a: DUP3
0000078b: MLOAD
0000078c: SWAP2
0000078d: PUSH1 0x01
0000078f: PUSH1 0x01
00000791: PUSH1 0x50
00000793: SHL
00000794: SUB
00000795: DUP2
00000796: AND
00000797: DUP4
00000798: MSTORE
00000799: PUSH1 0x50
0000079b: SHR
0000079c: AND
0000079d: PUSH1 0x20
0000079f: DUP3
000007a0: ADD
000007a1: MSTORE
000007a2: RETURN
000007a3: JUMPDEST
000007a4: PUSH1 0x80
000007a6: CALLDATASIZE
000007a7: PUSH1 0x03
000007a9: NOT
000007aa: ADD
000007ab: SLT
000007ac: PUSH2 0x020f
000007af: JUMPI
000007b0: PUSH1 0x04
000007b2: CALLDATALOAD
000007b3: PUSH1 0x01
000007b5: PUSH1 0x01
000007b7: PUSH1 0x40
000007b9: SHL
000007ba: SUB
000007bb: DUP2
000007bc: GT
000007bd: PUSH2 0x020f
000007c0: JUMPI
000007c1: PUSH2 0x07ce
000007c4: SWAP1
000007c5: CALLDATASIZE
000007c6: SWAP1
000007c7: PUSH1 0x04
000007c9: ADD
000007ca: PUSH2 0x16fa
000007cd: JUMP
000007ce: JUMPDEST
000007cf: SWAP1
000007d0: PUSH1 0x44
000007d2: CALLDATALOAD
000007d3: PUSH1 0x01
000007d5: PUSH1 0x01
000007d7: PUSH1 0x40
000007d9: SHL
000007da: SUB
000007db: DUP2
000007dc: GT
000007dd: PUSH2 0x020f
000007e0: JUMPI
000007e1: PUSH2 0x07ee
000007e4: SWAP1
000007e5: CALLDATASIZE
000007e6: SWAP1
000007e7: PUSH1 0x04
000007e9: ADD
000007ea: PUSH2 0x16fa
000007ed: JUMP
000007ee: JUMPDEST
000007ef: PUSH1 0x64
000007f1: CALLDATALOAD
000007f2: SWAP3
000007f3: SWAP1
000007f4: SWAP2
000007f5: SWAP1
000007f6: PUSH1 0x01
000007f8: PUSH1 0x01
000007fa: PUSH1 0xa0
000007fc: SHL
000007fd: SUB
000007fe: DUP5
000007ff: AND
00000800: DUP5
00000801: SUB
00000802: PUSH2 0x020f
00000805: JUMPI
00000806: DUP4
00000807: PUSH2 0x0817
0000080a: SWAP2
0000080b: PUSH2 0x0671
0000080e: SWAP7
0000080f: PUSH1 0x24
00000811: CALLDATALOAD
00000812: SWAP2
00000813: PUSH2 0x1d17
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH2 0x2606
0000081b: JUMP
0000081c: JUMPDEST
0000081d: PUSH2 0x0671
00000820: PUSH2 0x0828
00000823: CALLDATASIZE
00000824: PUSH2 0x1782
00000827: JUMP
00000828: JUMPDEST
00000829: SWAP2
0000082a: CALLER
0000082b: SWAP4
0000082c: PUSH2 0x1e6a
0000082f: JUMP
00000830: JUMPDEST
00000831: CALLVALUE
00000832: PUSH2 0x020f
00000835: JUMPI
00000836: PUSH1 0x20
00000838: CALLDATASIZE
00000839: PUSH1 0x03
0000083b: NOT
0000083c: ADD
0000083d: SLT
0000083e: PUSH2 0x020f
00000841: JUMPI
00000842: PUSH2 0x085b
00000845: PUSH2 0x084f
00000848: PUSH1 0x04
0000084a: CALLDATALOAD
0000084b: PUSH2 0x1bcb
0000084e: JUMP
0000084f: JUMPDEST
00000850: PUSH1 0x40
00000852: MLOAD
00000853: SWAP2
00000854: DUP3
00000855: SWAP2
00000856: DUP3
00000857: PUSH2 0x17d2
0000085a: JUMP
0000085b: JUMPDEST
0000085c: SUB
0000085d: SWAP1
0000085e: RETURN
0000085f: JUMPDEST
00000860: PUSH1 0xa0
00000862: CALLDATASIZE
00000863: PUSH1 0x03
00000865: NOT
00000866: ADD
00000867: SLT
00000868: PUSH2 0x020f
0000086b: JUMPI
0000086c: PUSH1 0x04
0000086e: CALLDATALOAD
0000086f: PUSH1 0x01
00000871: PUSH1 0x01
00000873: PUSH1 0x40
00000875: SHL
00000876: SUB
00000877: DUP2
00000878: GT
00000879: PUSH2 0x020f
0000087c: JUMPI
0000087d: PUSH2 0x088a
00000880: SWAP1
00000881: CALLDATASIZE
00000882: SWAP1
00000883: PUSH1 0x04
00000885: ADD
00000886: PUSH2 0x16fa
00000889: JUMP
0000088a: JUMPDEST
0000088b: SWAP1
0000088c: PUSH1 0x44
0000088e: CALLDATALOAD
0000088f: PUSH1 0x01
00000891: PUSH1 0x01
00000893: PUSH1 0x40
00000895: SHL
00000896: SUB
00000897: DUP2
00000898: GT
00000899: PUSH2 0x020f
0000089c: JUMPI
0000089d: PUSH2 0x08aa
000008a0: SWAP1
000008a1: CALLDATASIZE
000008a2: SWAP1
000008a3: PUSH1 0x04
000008a5: ADD
000008a6: PUSH2 0x16fa
000008a9: JUMP
000008aa: JUMPDEST
000008ab: SWAP1
000008ac: SWAP3
000008ad: PUSH1 0x64
000008af: CALLDATALOAD
000008b0: SWAP2
000008b1: PUSH1 0x01
000008b3: PUSH1 0x01
000008b5: PUSH1 0x40
000008b7: SHL
000008b8: SUB
000008b9: DUP4
000008ba: GT
000008bb: PUSH2 0x020f
000008be: JUMPI
000008bf: PUSH2 0x0671
000008c2: SWAP5
000008c3: PUSH2 0x08d3
000008c6: PUSH2 0x08ea
000008c9: SWAP5
000008ca: CALLDATASIZE
000008cb: SWAP1
000008cc: PUSH1 0x04
000008ce: ADD
000008cf: PUSH2 0x16fa
000008d2: JUMP
000008d3: JUMPDEST
000008d4: SWAP5
000008d5: SWAP1
000008d6: SWAP4
000008d7: PUSH2 0x08de
000008da: PUSH2 0x176c
000008dd: JUMP
000008de: JUMPDEST
000008df: SWAP7
000008e0: DUP8
000008e1: SWAP2
000008e2: PUSH1 0x24
000008e4: CALLDATALOAD
000008e5: SWAP2
000008e6: PUSH2 0x1d17
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH2 0x1e6a
000008ee: JUMP
000008ef: JUMPDEST
000008f0: CALLVALUE
000008f1: PUSH2 0x020f
000008f4: JUMPI
000008f5: PUSH1 0x20
000008f7: CALLDATASIZE
000008f8: PUSH1 0x03
000008fa: NOT
000008fb: ADD
000008fc: SLT
000008fd: PUSH2 0x020f
00000900: JUMPI
00000901: PUSH1 0x04
00000903: CALLDATALOAD
00000904: PUSH1 0x01
00000906: PUSH1 0x01
00000908: PUSH1 0x40
0000090a: SHL
0000090b: SUB
0000090c: DUP2
0000090d: GT
0000090e: PUSH2 0x020f
00000911: JUMPI
00000912: PUSH2 0x091f
00000915: SWAP1
00000916: CALLDATASIZE
00000917: SWAP1
00000918: PUSH1 0x04
0000091a: ADD
0000091b: PUSH2 0x16fa
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH0
00000921: SWAP2
00000922: PUSH0
00000923: SWAP2
00000924: PUSH2 0x092c
00000927: DUP2
00000928: PUSH2 0x1a44
0000092b: JUMP
0000092c: JUMPDEST
0000092d: SWAP2
0000092e: PUSH0
0000092f: SWAP2
00000930: DUP3
00000931: JUMPDEST
00000932: DUP2
00000933: DUP5
00000934: LT
00000935: PUSH2 0x0a36
00000938: JUMPI
00000939: DUP7
0000093a: DUP7
0000093b: PUSH32 0x5114c14f4fb8dc97cd1d6f06308ae7efb57101c04de921098d80b2bf4e4c2bda
0000095c: PUSH2 0x096b
0000095f: DUP9
00000960: PUSH1 0x40
00000962: MLOAD
00000963: SWAP2
00000964: DUP3
00000965: SWAP2
00000966: DUP3
00000967: PUSH2 0x1b17
0000096a: JUMP
0000096b: JUMPDEST
0000096c: SUB
0000096d: SWAP1
0000096e: LOG1
0000096f: DUP1
00000970: PUSH2 0x0992
00000973: JUMPI
00000974: JUMPDEST
00000975: POP
00000976: DUP1
00000977: PUSH2 0x097c
0000097a: JUMPI
0000097b: STOP
0000097c: JUMPDEST
0000097d: PUSH1 0x02
0000097f: SLOAD
00000980: PUSH2 0x0671
00000983: SWAP2
00000984: SWAP1
00000985: PUSH1 0x01
00000987: PUSH1 0x01
00000989: PUSH1 0xa0
0000098b: SHL
0000098c: SUB
0000098d: AND
0000098e: PUSH2 0x30de
00000991: JUMP
00000992: JUMPDEST
00000993: PUSH1 0x02
00000995: SLOAD
00000996: PUSH1 0x40
00000998: MLOAD
00000999: PUSH4 0xa9059cbb
0000099e: PUSH1 0xe0
000009a0: SHL
000009a1: DUP2
000009a2: MSTORE
000009a3: PUSH1 0x01
000009a5: PUSH1 0x01
000009a7: PUSH1 0xa0
000009a9: SHL
000009aa: SUB
000009ab: SWAP1
000009ac: SWAP2
000009ad: AND
000009ae: PUSH1 0x04
000009b0: DUP3
000009b1: ADD
000009b2: MSTORE
000009b3: PUSH1 0x24
000009b5: DUP2
000009b6: ADD
000009b7: SWAP2
000009b8: SWAP1
000009b9: SWAP2
000009ba: MSTORE
000009bb: PUSH1 0x20
000009bd: DUP2
000009be: DUP1
000009bf: PUSH1 0x44
000009c1: DUP2
000009c2: ADD
000009c3: SUB
000009c4: DUP2
000009c5: PUSH0
000009c6: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000009e7: PUSH1 0x01
000009e9: PUSH1 0x01
000009eb: PUSH1 0xa0
000009ed: SHL
000009ee: SUB
000009ef: AND
000009f0: GAS
000009f1: CALL
000009f2: DUP1
000009f3: ISZERO
000009f4: PUSH2 0x0a2b
000009f7: JUMPI
000009f8: ISZERO
000009f9: PUSH2 0x0974
000009fc: JUMPI
000009fd: PUSH2 0x0a1d
00000a00: SWAP1
00000a01: PUSH1 0x20
00000a03: RETURNDATASIZE
00000a04: PUSH1 0x20
00000a06: GT
00000a07: PUSH2 0x0a24
00000a0a: JUMPI
00000a0b: JUMPDEST
00000a0c: PUSH2 0x0a15
00000a0f: DUP2
00000a10: DUP4
00000a11: PUSH2 0x1962
00000a14: JUMP
00000a15: JUMPDEST
00000a16: DUP2
00000a17: ADD
00000a18: SWAP1
00000a19: PUSH2 0x1aff
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: POP
00000a1f: DUP2
00000a20: PUSH2 0x0974
00000a23: JUMP
00000a24: JUMPDEST
00000a25: POP
00000a26: RETURNDATASIZE
00000a27: PUSH2 0x0a0b
00000a2a: JUMP
00000a2b: JUMPDEST
00000a2c: PUSH1 0x40
00000a2e: MLOAD
00000a2f: RETURNDATASIZE
00000a30: PUSH0
00000a31: DUP3
00000a32: RETURNDATACOPY
00000a33: RETURNDATASIZE
00000a34: SWAP1
00000a35: REVERT
00000a36: JUMPDEST
00000a37: PUSH2 0x0a44
00000a3a: DUP5
00000a3b: DUP4
00000a3c: DUP6
00000a3d: SWAP9
00000a3e: SWAP7
00000a3f: SWAP9
00000a40: PUSH2 0x188d
00000a43: JUMP
00000a44: JUMPDEST
00000a45: CALLDATALOAD
00000a46: SWAP6
00000a47: DUP7
00000a48: PUSH0
00000a49: MSTORE
00000a4a: PUSH1 0x04
00000a4c: PUSH1 0x20
00000a4e: MSTORE
00000a4f: PUSH1 0x40
00000a51: PUSH0
00000a52: KECCAK256
00000a53: SWAP7
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: SWAP8
00000a58: PUSH2 0x0a60
00000a5b: DUP10
00000a5c: PUSH2 0x18f4
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: SLOAD
00000a62: SWAP8
00000a63: PUSH3 0xffffff
00000a67: DUP10
00000a68: AND
00000a69: DUP2
00000a6a: MSTORE
00000a6b: PUSH1 0x40
00000a6d: PUSH1 0x20
00000a6f: DUP3
00000a70: ADD
00000a71: SWAP2
00000a72: PUSH1 0x01
00000a74: PUSH1 0x01
00000a76: PUSH1 0x48
00000a78: SHL
00000a79: SUB
00000a7a: DUP12
00000a7b: PUSH1 0x18
00000a7d: SHR
00000a7e: AND
00000a7f: DUP4
00000a80: MSTORE
00000a81: ADD
00000a82: SWAP9
00000a83: PUSH1 0x60
00000a85: SHR
00000a86: DUP10
00000a87: MSTORE
00000a88: PUSH2 0x0a90
00000a8b: DUP3
00000a8c: PUSH2 0x19ae
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: ISZERO
00000a92: PUSH2 0x0d52
00000a95: JUMPI
00000a96: MLOAD
00000a97: PUSH1 0x01
00000a99: PUSH1 0x01
00000a9b: PUSH1 0x48
00000a9d: SHL
00000a9e: SUB
00000a9f: AND
00000aa0: SWAP6
00000aa1: DUP7
00000aa2: ISZERO
00000aa3: PUSH2 0x020f
00000aa6: JUMPI
00000aa7: DUP9
00000aa8: MLOAD
00000aa9: PUSH2 0x0abc
00000aac: SWAP1
00000aad: DUP4
00000aae: SWAP1
00000aaf: PUSH1 0x01
00000ab1: PUSH1 0x01
00000ab3: PUSH1 0xa0
00000ab5: SHL
00000ab6: SUB
00000ab7: AND
00000ab8: PUSH2 0x2f4b
00000abb: JUMP
00000abc: JUMPDEST
00000abd: PUSH2 0x0ac5
00000ac0: DUP3
00000ac1: PUSH2 0x1bcb
00000ac4: JUMP
00000ac5: JUMPDEST
00000ac6: SWAP1
00000ac7: PUSH1 0x20
00000ac9: DUP3
00000aca: ADD
00000acb: MLOAD
00000acc: PUSH1 0xff
00000ace: AND
00000acf: PUSH2 0x0ad8
00000ad2: SWAP1
00000ad3: DUP10
00000ad4: PUSH2 0x1ad1
00000ad7: JUMP
00000ad8: JUMPDEST
00000ad9: PUSH1 0x64
00000adb: SWAP1
00000adc: DIV
00000add: SWAP1
00000ade: DUP10
00000adf: PUSH1 0x40
00000ae1: DUP5
00000ae2: ADD
00000ae3: MLOAD
00000ae4: PUSH1 0xff
00000ae6: AND
00000ae7: PUSH2 0x0af0
00000aea: SWAP1
00000aeb: DUP12
00000aec: PUSH2 0x1ad1
00000aef: JUMP
00000af0: JUMPDEST
00000af1: PUSH1 0x64
00000af3: SWAP1
00000af4: DIV
00000af5: SWAP7
00000af6: DUP8
00000af7: PUSH2 0x0b00
00000afa: DUP6
00000afb: DUP14
00000afc: PUSH2 0x1ae4
00000aff: JUMP
00000b00: JUMPDEST
00000b01: SWAP1
00000b02: PUSH2 0x0b0a
00000b05: SWAP2
00000b06: PUSH2 0x1ae4
00000b09: JUMP
00000b0a: JUMPDEST
00000b0b: SWAP13
00000b0c: PUSH2 0x0100
00000b0f: DUP7
00000b10: ADD
00000b11: SWAP7
00000b12: DUP3
00000b13: PUSH1 0x01
00000b15: PUSH1 0xa0
00000b17: SHL
00000b18: PUSH1 0x01
00000b1a: SWAP1
00000b1b: SUB
00000b1c: DUP10
00000b1d: MLOAD
00000b1e: AND
00000b1f: SWAP3
00000b20: PUSH1 0x01
00000b22: PUSH1 0xa0
00000b24: SHL
00000b25: PUSH1 0x01
00000b27: SWAP1
00000b28: SUB
00000b29: SWAP1
00000b2a: MLOAD
00000b2b: AND
00000b2c: SWAP5
00000b2d: PUSH2 0x0120
00000b30: DUP10
00000b31: ADD
00000b32: SWAP15
00000b33: DUP16
00000b34: MLOAD
00000b35: ISZERO
00000b36: ISZERO
00000b37: PUSH0
00000b38: EQ
00000b39: SWAP7
00000b3a: PUSH2 0x0bda
00000b3d: SWAP5
00000b3e: PUSH2 0x0beb
00000b41: SWAP9
00000b42: PUSH2 0x0d4c
00000b45: JUMPI
00000b46: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000b67: JUMPDEST
00000b68: DUP13
00000b69: MLOAD
00000b6a: PUSH1 0x02
00000b6c: SLOAD
00000b6d: PUSH1 0x40
00000b6f: MLOAD
00000b70: SWAP10
00000b71: PUSH1 0x01
00000b73: PUSH1 0x01
00000b75: PUSH1 0xa0
00000b77: SHL
00000b78: SUB
00000b79: SWAP2
00000b7a: DUP3
00000b7b: AND
00000b7c: SWAP6
00000b7d: SWAP3
00000b7e: SWAP1
00000b7f: SWAP2
00000b80: AND
00000b81: SWAP4
00000b82: PUSH1 0x01
00000b84: PUSH1 0x01
00000b86: PUSH1 0x60
00000b88: SHL
00000b89: SUB
00000b8a: SWAP3
00000b8b: SWAP1
00000b8c: SWAP2
00000b8d: PUSH2 0x0b95
00000b90: DUP13
00000b91: PUSH2 0x192a
00000b94: JUMP
00000b95: JUMPDEST
00000b96: DUP12
00000b97: MSTORE
00000b98: PUSH1 0x20
00000b9a: DUP12
00000b9b: ADD
00000b9c: MSTORE
00000b9d: DUP1
00000b9e: PUSH1 0x60
00000ba0: SHR
00000ba1: PUSH1 0x40
00000ba3: DUP12
00000ba4: ADD
00000ba5: MSTORE
00000ba6: AND
00000ba7: PUSH1 0x60
00000ba9: DUP10
00000baa: ADD
00000bab: MSTORE
00000bac: PUSH1 0x01
00000bae: DUP1
00000baf: PUSH1 0xa0
00000bb1: SHL
00000bb2: SUB
00000bb3: AND
00000bb4: PUSH1 0x80
00000bb6: DUP9
00000bb7: ADD
00000bb8: MSTORE
00000bb9: PUSH1 0xa0
00000bbb: DUP8
00000bbc: ADD
00000bbd: MSTORE
00000bbe: PUSH1 0xc0
00000bc0: DUP7
00000bc1: ADD
00000bc2: MSTORE
00000bc3: PUSH1 0xe0
00000bc5: DUP6
00000bc6: ADD
00000bc7: MSTORE
00000bc8: DUP8
00000bc9: PUSH2 0x0100
00000bcc: DUP6
00000bcd: ADD
00000bce: MSTORE
00000bcf: DUP12
00000bd0: PUSH2 0x0120
00000bd3: DUP6
00000bd4: ADD
00000bd5: MSTORE
00000bd6: PUSH2 0x199a
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: MSTORE
00000bdc: PUSH2 0x0be5
00000bdf: DUP2
00000be0: DUP14
00000be1: PUSH2 0x199a
00000be4: JUMP
00000be5: JUMPDEST
00000be6: POP
00000be7: PUSH2 0x1af1
00000bea: JUMP
00000beb: JUMPDEST
00000bec: SWAP9
00000bed: MLOAD
00000bee: ISZERO
00000bef: PUSH2 0x0d04
00000bf2: JUMPI
00000bf3: PUSH2 0x0c01
00000bf6: PUSH2 0x0c5b
00000bf9: SWAP3
00000bfa: PUSH1 0x20
00000bfc: SWAP3
00000bfd: PUSH2 0x19e2
00000c00: JUMP
00000c01: JUMPDEST
00000c02: SWAP4
00000c03: MLOAD
00000c04: PUSH1 0x40
00000c06: MLOAD
00000c07: PUSH4 0xa9059cbb
00000c0c: PUSH1 0xe0
00000c0e: SHL
00000c0f: DUP2
00000c10: MSTORE
00000c11: PUSH1 0x01
00000c13: PUSH1 0x01
00000c15: PUSH1 0xa0
00000c17: SHL
00000c18: SUB
00000c19: SWAP2
00000c1a: DUP3
00000c1b: AND
00000c1c: PUSH1 0x04
00000c1e: DUP3
00000c1f: ADD
00000c20: MSTORE
00000c21: PUSH1 0x24
00000c23: DUP2
00000c24: ADD
00000c25: SWAP13
00000c26: SWAP1
00000c27: SWAP13
00000c28: MSTORE
00000c29: SWAP4
00000c2a: SWAP11
00000c2b: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c4c: SWAP1
00000c4d: SWAP5
00000c4e: AND
00000c4f: SWAP4
00000c50: SWAP2
00000c51: DUP3
00000c52: SWAP1
00000c53: DUP2
00000c54: SWAP1
00000c55: PUSH1 0x44
00000c57: DUP3
00000c58: ADD
00000c59: SWAP1
00000c5a: JUMP
00000c5b: JUMPDEST
00000c5c: SUB
00000c5d: DUP2
00000c5e: PUSH0
00000c5f: DUP8
00000c60: GAS
00000c61: CALL
00000c62: DUP1
00000c63: ISZERO
00000c64: PUSH2 0x0a2b
00000c67: JUMPI
00000c68: PUSH2 0x0ce8
00000c6b: JUMPI
00000c6c: JUMPDEST
00000c6d: POP
00000c6e: DUP4
00000c6f: PUSH2 0x0c81
00000c72: JUMPI
00000c73: JUMPDEST
00000c74: POP
00000c75: POP
00000c76: PUSH1 0x01
00000c78: SWAP2
00000c79: POP
00000c7a: JUMPDEST
00000c7b: ADD
00000c7c: SWAP3
00000c7d: PUSH2 0x0931
00000c80: JUMP
00000c81: JUMPDEST
00000c82: MLOAD
00000c83: PUSH1 0x40
00000c85: MLOAD
00000c86: PUSH4 0xa9059cbb
00000c8b: PUSH1 0xe0
00000c8d: SHL
00000c8e: DUP2
00000c8f: MSTORE
00000c90: PUSH1 0x01
00000c92: PUSH1 0x01
00000c94: PUSH1 0xa0
00000c96: SHL
00000c97: SUB
00000c98: SWAP1
00000c99: SWAP2
00000c9a: AND
00000c9b: PUSH1 0x04
00000c9d: DUP3
00000c9e: ADD
00000c9f: MSTORE
00000ca0: PUSH1 0x24
00000ca2: DUP2
00000ca3: ADD
00000ca4: SWAP4
00000ca5: SWAP1
00000ca6: SWAP4
00000ca7: MSTORE
00000ca8: PUSH1 0x20
00000caa: SWAP1
00000cab: DUP4
00000cac: SWAP1
00000cad: PUSH1 0x44
00000caf: SWAP1
00000cb0: DUP3
00000cb1: SWAP1
00000cb2: PUSH0
00000cb3: SWAP1
00000cb4: GAS
00000cb5: CALL
00000cb6: SWAP2
00000cb7: DUP3
00000cb8: ISZERO
00000cb9: PUSH2 0x0a2b
00000cbc: JUMPI
00000cbd: PUSH1 0x01
00000cbf: SWAP3
00000cc0: PUSH2 0x0cca
00000cc3: JUMPI
00000cc4: JUMPDEST
00000cc5: DUP1
00000cc6: PUSH2 0x0c73
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: PUSH2 0x0ce1
00000cce: SWAP1
00000ccf: PUSH1 0x20
00000cd1: RETURNDATASIZE
00000cd2: DUP2
00000cd3: GT
00000cd4: PUSH2 0x0a24
00000cd7: JUMPI
00000cd8: PUSH2 0x0a15
00000cdb: DUP2
00000cdc: DUP4
00000cdd: PUSH2 0x1962
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: POP
00000ce3: DUP9
00000ce4: PUSH2 0x0cc4
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH2 0x0cff
00000cec: SWAP1
00000ced: PUSH1 0x20
00000cef: RETURNDATASIZE
00000cf0: DUP2
00000cf1: GT
00000cf2: PUSH2 0x0a24
00000cf5: JUMPI
00000cf6: PUSH2 0x0a15
00000cf9: DUP2
00000cfa: DUP4
00000cfb: PUSH2 0x1962
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: PUSH2 0x0c6c
00000d03: JUMP
00000d04: JUMPDEST
00000d05: SWAP10
00000d06: PUSH2 0x0d17
00000d09: PUSH2 0x0d26
00000d0c: SWAP3
00000d0d: PUSH1 0x01
00000d0f: SWAP8
00000d10: SWAP5
00000d11: SWAP6
00000d12: SWAP14
00000d13: PUSH2 0x19e2
00000d16: JUMP
00000d17: JUMPDEST
00000d18: SWAP12
00000d19: DUP7
00000d1a: DUP1
00000d1b: PUSH1 0xa0
00000d1d: SHL
00000d1e: SUB
00000d1f: SWAP1
00000d20: MLOAD
00000d21: AND
00000d22: PUSH2 0x30de
00000d25: JUMP
00000d26: JUMPDEST
00000d27: DUP1
00000d28: PUSH2 0x0d33
00000d2b: JUMPI
00000d2c: JUMPDEST
00000d2d: POP
00000d2e: POP
00000d2f: PUSH2 0x0c7a
00000d32: JUMP
00000d33: JUMPDEST
00000d34: PUSH2 0x0d45
00000d37: SWAP2
00000d38: DUP5
00000d39: DUP1
00000d3a: PUSH1 0xa0
00000d3c: SHL
00000d3d: SUB
00000d3e: SWAP1
00000d3f: MLOAD
00000d40: AND
00000d41: PUSH2 0x30de
00000d44: JUMP
00000d45: JUMPDEST
00000d46: DUP9
00000d47: DUP1
00000d48: PUSH2 0x0d2c
00000d4b: JUMP
00000d4c: JUMPDEST
00000d4d: PUSH0
00000d4e: PUSH2 0x0b67
00000d51: JUMP
00000d52: JUMPDEST
00000d53: PUSH1 0x40
00000d55: MLOAD
00000d56: PUSH3 0x461bcd
00000d5a: PUSH1 0xe5
00000d5c: SHL
00000d5d: DUP2
00000d5e: MSTORE
00000d5f: PUSH1 0x20
00000d61: PUSH1 0x04
00000d63: DUP3
00000d64: ADD
00000d65: MSTORE
00000d66: PUSH1 0x17
00000d68: PUSH1 0x24
00000d6a: DUP3
00000d6b: ADD
00000d6c: MSTORE
00000d6d: PUSH32 0x41756374696f6e206973207374696c6c20616374697665000000000000000000
00000d8e: PUSH1 0x44
00000d90: DUP3
00000d91: ADD
00000d92: MSTORE
00000d93: PUSH1 0x64
00000d95: SWAP1
00000d96: REVERT
00000d97: JUMPDEST
00000d98: CALLVALUE
00000d99: PUSH2 0x020f
00000d9c: JUMPI
00000d9d: PUSH1 0x20
00000d9f: CALLDATASIZE
00000da0: PUSH1 0x03
00000da2: NOT
00000da3: ADD
00000da4: SLT
00000da5: PUSH2 0x020f
00000da8: JUMPI
00000da9: PUSH1 0x20
00000dab: PUSH1 0x40
00000dad: MLOAD
00000dae: PUSH1 0x04
00000db0: CALLDATALOAD
00000db1: PUSH1 0x60
00000db3: SHR
00000db4: DUP2
00000db5: MSTORE
00000db6: RETURN
00000db7: JUMPDEST
00000db8: CALLVALUE
00000db9: PUSH2 0x020f
00000dbc: JUMPI
00000dbd: PUSH1 0x20
00000dbf: CALLDATASIZE
00000dc0: PUSH1 0x03
00000dc2: NOT
00000dc3: ADD
00000dc4: SLT
00000dc5: PUSH2 0x020f
00000dc8: JUMPI
00000dc9: PUSH1 0x20
00000dcb: PUSH2 0x0691
00000dce: PUSH1 0x04
00000dd0: CALLDATALOAD
00000dd1: PUSH2 0x1a03
00000dd4: JUMP
00000dd5: JUMPDEST
00000dd6: CALLVALUE
00000dd7: PUSH2 0x020f
00000dda: JUMPI
00000ddb: PUSH1 0x20
00000ddd: CALLDATASIZE
00000dde: PUSH1 0x03
00000de0: NOT
00000de1: ADD
00000de2: SLT
00000de3: PUSH2 0x020f
00000de6: JUMPI
00000de7: PUSH1 0x20
00000de9: PUSH1 0x01
00000deb: PUSH1 0x01
00000ded: PUSH1 0x50
00000def: SHL
00000df0: SUB
00000df1: PUSH1 0x80
00000df3: PUSH2 0x0dfd
00000df6: PUSH1 0x04
00000df8: CALLDATALOAD
00000df9: PUSH2 0x1bcb
00000dfc: JUMP
00000dfd: JUMPDEST
00000dfe: ADD
00000dff: MLOAD
00000e00: AND
00000e01: PUSH1 0x40
00000e03: MLOAD
00000e04: SWAP1
00000e05: DUP2
00000e06: MSTORE
00000e07: RETURN
00000e08: JUMPDEST
00000e09: CALLVALUE
00000e0a: PUSH2 0x020f
00000e0d: JUMPI
00000e0e: PUSH0
00000e0f: CALLDATASIZE
00000e10: PUSH1 0x03
00000e12: NOT
00000e13: ADD
00000e14: SLT
00000e15: PUSH2 0x020f
00000e18: JUMPI
00000e19: PUSH0
00000e1a: SLOAD
00000e1b: PUSH1 0x40
00000e1d: MLOAD
00000e1e: PUSH1 0x01
00000e20: PUSH1 0x01
00000e22: PUSH1 0xa0
00000e24: SHL
00000e25: SUB
00000e26: SWAP1
00000e27: SWAP2
00000e28: AND
00000e29: DUP2
00000e2a: MSTORE
00000e2b: PUSH1 0x20
00000e2d: SWAP1
00000e2e: RETURN
00000e2f: JUMPDEST
00000e30: CALLVALUE
00000e31: PUSH2 0x020f
00000e34: JUMPI
00000e35: PUSH1 0x20
00000e37: CALLDATASIZE
00000e38: PUSH1 0x03
00000e3a: NOT
00000e3b: ADD
00000e3c: SLT
00000e3d: PUSH2 0x020f
00000e40: JUMPI
00000e41: PUSH1 0x20
00000e43: PUSH1 0x40
00000e45: MLOAD
00000e46: PUSH1 0x01
00000e48: PUSH1 0x01
00000e4a: PUSH1 0x60
00000e4c: SHL
00000e4d: SUB
00000e4e: PUSH1 0x04
00000e50: CALLDATALOAD
00000e51: AND
00000e52: DUP2
00000e53: MSTORE
00000e54: RETURN
00000e55: JUMPDEST
00000e56: CALLVALUE
00000e57: PUSH2 0x020f
00000e5a: JUMPI
00000e5b: PUSH2 0x0e63
00000e5e: CALLDATASIZE
00000e5f: PUSH2 0x1782
00000e62: JUMP
00000e63: JUMPDEST
00000e64: PUSH2 0x0e6e
00000e67: SWAP4
00000e68: SWAP3
00000e69: SWAP4
00000e6a: PUSH2 0x2f25
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: PUSH0
00000e70: JUMPDEST
00000e71: DUP5
00000e72: DUP2
00000e73: LT
00000e74: PUSH2 0x0e79
00000e77: JUMPI
00000e78: STOP
00000e79: JUMPDEST
00000e7a: DUP1
00000e7b: PUSH2 0x0e8f
00000e7e: PUSH2 0x0e8a
00000e81: PUSH1 0x01
00000e83: SWAP4
00000e84: DUP9
00000e85: DUP9
00000e86: PUSH2 0x188d
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH2 0x18b1
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH1 0x01
00000e92: PUSH1 0x01
00000e94: PUSH1 0x60
00000e96: SHL
00000e97: SUB
00000e98: PUSH2 0x0ea2
00000e9b: DUP4
00000e9c: DUP7
00000e9d: DUP9
00000e9e: PUSH2 0x188d
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: CALLDATALOAD
00000ea4: AND
00000ea5: SWAP1
00000ea6: PUSH1 0x01
00000ea8: PUSH1 0x01
00000eaa: PUSH1 0x60
00000eac: SHL
00000ead: SUB
00000eae: NOT
00000eaf: SWAP1
00000eb0: PUSH1 0x60
00000eb2: SHL
00000eb3: AND
00000eb4: OR
00000eb5: PUSH2 0x0ebd
00000eb8: DUP2
00000eb9: PUSH2 0x19ae
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: ISZERO
00000ebf: PUSH2 0x0f30
00000ec2: JUMPI
00000ec3: JUMPDEST
00000ec4: DUP1
00000ec5: PUSH0
00000ec6: MSTORE
00000ec7: PUSH1 0x05
00000ec9: PUSH1 0x20
00000ecb: MSTORE
00000ecc: PUSH0
00000ecd: PUSH1 0x40
00000ecf: DUP2
00000ed0: KECCAK256
00000ed1: SSTORE
00000ed2: PUSH1 0x40
00000ed4: MLOAD
00000ed5: SWAP1
00000ed6: PUSH2 0x0ede
00000ed9: DUP3
00000eda: PUSH2 0x18f4
00000edd: JUMP
00000ede: JUMPDEST
00000edf: PUSH0
00000ee0: DUP3
00000ee1: MSTORE
00000ee2: PUSH1 0x20
00000ee4: DUP3
00000ee5: ADD
00000ee6: PUSH0
00000ee7: DUP2
00000ee8: MSTORE
00000ee9: PUSH1 0x40
00000eeb: DUP4
00000eec: ADD
00000eed: SWAP2
00000eee: PUSH0
00000eef: DUP4
00000ef0: MSTORE
00000ef1: PUSH0
00000ef2: MSTORE
00000ef3: PUSH1 0x04
00000ef5: PUSH1 0x20
00000ef7: MSTORE
00000ef8: PUSH12 0xffffffffffffffffff000000
00000f05: PUSH3 0xffffff
00000f09: PUSH1 0x40
00000f0b: PUSH0
00000f0c: KECCAK256
00000f0d: SWAP5
00000f0e: MLOAD
00000f0f: AND
00000f10: SWAP2
00000f11: MLOAD
00000f12: PUSH1 0x18
00000f14: SHL
00000f15: AND
00000f16: SWAP2
00000f17: PUSH1 0x01
00000f19: PUSH1 0x01
00000f1b: PUSH1 0x60
00000f1d: SHL
00000f1e: SUB
00000f1f: NOT
00000f20: SWAP1
00000f21: MLOAD
00000f22: PUSH1 0x60
00000f24: SHL
00000f25: AND
00000f26: SWAP2
00000f27: OR
00000f28: OR
00000f29: SWAP1
00000f2a: SSTORE
00000f2b: ADD
00000f2c: PUSH2 0x0e70
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: DUP1
00000f32: PUSH0
00000f33: MSTORE
00000f34: PUSH1 0x04
00000f36: PUSH1 0x20
00000f38: MSTORE
00000f39: PUSH1 0x40
00000f3b: DUP1
00000f3c: PUSH0
00000f3d: KECCAK256
00000f3e: DUP2
00000f3f: MLOAD
00000f40: SWAP1
00000f41: PUSH2 0x0f49
00000f44: DUP3
00000f45: PUSH2 0x18f4
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: SLOAD
00000f4b: SWAP1
00000f4c: PUSH3 0xffffff
00000f50: DUP3
00000f51: AND
00000f52: DUP2
00000f53: MSTORE
00000f54: PUSH1 0x01
00000f56: PUSH1 0x01
00000f58: PUSH1 0x48
00000f5a: SHL
00000f5b: SUB
00000f5c: DUP3
00000f5d: PUSH1 0x18
00000f5f: SHR
00000f60: AND
00000f61: SWAP2
00000f62: DUP3
00000f63: PUSH1 0x20
00000f65: DUP4
00000f66: ADD
00000f67: MSTORE
00000f68: PUSH1 0x60
00000f6a: SHR
00000f6b: SWAP3
00000f6c: DUP4
00000f6d: SWAP2
00000f6e: ADD
00000f6f: MSTORE
00000f70: DUP1
00000f71: PUSH2 0x0f7c
00000f74: JUMPI
00000f75: JUMPDEST
00000f76: POP
00000f77: POP
00000f78: PUSH2 0x0ec3
00000f7b: JUMP
00000f7c: JUMPDEST
00000f7d: PUSH2 0x0f85
00000f80: SWAP2
00000f81: PUSH2 0x30de
00000f84: JUMP
00000f85: JUMPDEST
00000f86: DUP8
00000f87: DUP1
00000f88: PUSH2 0x0f75
00000f8b: JUMP
00000f8c: JUMPDEST
00000f8d: CALLVALUE
00000f8e: PUSH2 0x020f
00000f91: JUMPI
00000f92: PUSH0
00000f93: CALLDATASIZE
00000f94: PUSH1 0x03
00000f96: NOT
00000f97: ADD
00000f98: SLT
00000f99: PUSH2 0x020f
00000f9c: JUMPI
00000f9d: PUSH2 0x0fa4
00000fa0: PUSH2 0x2f25
00000fa3: JUMP
00000fa4: JUMPDEST
00000fa5: PUSH0
00000fa6: DUP1
00000fa7: SLOAD
00000fa8: PUSH1 0x01
00000faa: PUSH1 0x01
00000fac: PUSH1 0xa0
00000fae: SHL
00000faf: SUB
00000fb0: NOT
00000fb1: DUP2
00000fb2: AND
00000fb3: DUP3
00000fb4: SSTORE
00000fb5: PUSH1 0x01
00000fb7: PUSH1 0x01
00000fb9: PUSH1 0xa0
00000fbb: SHL
00000fbc: SUB
00000fbd: AND
00000fbe: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000fdf: DUP3
00000fe0: DUP1
00000fe1: LOG3
00000fe2: STOP
00000fe3: JUMPDEST
00000fe4: CALLVALUE
00000fe5: PUSH2 0x020f
00000fe8: JUMPI
00000fe9: PUSH1 0x40
00000feb: CALLDATASIZE
00000fec: PUSH1 0x03
00000fee: NOT
00000fef: ADD
00000ff0: SLT
00000ff1: PUSH2 0x020f
00000ff4: JUMPI
00000ff5: PUSH1 0x20
00000ff7: PUSH2 0x0ffe
00000ffa: PUSH2 0x1756
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: PUSH1 0x40
00001001: MLOAD
00001002: PUSH1 0x60
00001004: SWAP2
00001005: SWAP1
00001006: SWAP2
00001007: SHL
00001008: PUSH12 0xffffffffffffffffffffffff
00001015: NOT
00001016: AND
00001017: PUSH1 0x24
00001019: CALLDATALOAD
0000101a: PUSH1 0x01
0000101c: PUSH1 0x01
0000101e: PUSH1 0x60
00001020: SHL
00001021: SUB
00001022: AND
00001023: OR
00001024: DUP2
00001025: MSTORE
00001026: RETURN
00001027: JUMPDEST
00001028: CALLVALUE
00001029: PUSH2 0x020f
0000102c: JUMPI
0000102d: PUSH0
0000102e: CALLDATASIZE
0000102f: PUSH1 0x03
00001031: NOT
00001032: ADD
00001033: SLT
00001034: PUSH2 0x020f
00001037: JUMPI
00001038: PUSH1 0x20
0000103a: PUSH1 0xff
0000103c: PUSH1 0x02
0000103e: SLOAD
0000103f: PUSH1 0xa0
00001041: SHR
00001042: AND
00001043: PUSH1 0x40
00001045: MLOAD
00001046: SWAP1
00001047: ISZERO
00001048: ISZERO
00001049: DUP2
0000104a: MSTORE
0000104b: RETURN
0000104c: JUMPDEST
0000104d: CALLVALUE
0000104e: PUSH2 0x020f
00001051: JUMPI
00001052: PUSH1 0x60
00001054: CALLDATASIZE
00001055: PUSH1 0x03
00001057: NOT
00001058: ADD
00001059: SLT
0000105a: PUSH2 0x020f
0000105d: JUMPI
0000105e: PUSH1 0x04
00001060: CALLDATALOAD
00001061: PUSH2 0x1068
00001064: PUSH2 0x2f25
00001067: JUMP
00001068: JUMPDEST
00001069: DUP1
0000106a: ISZERO
0000106b: PUSH2 0x020f
0000106e: JUMPI
0000106f: PUSH1 0x40
00001071: MLOAD
00001072: SWAP1
00001073: PUSH2 0x107b
00001076: DUP3
00001077: PUSH2 0x190f
0000107a: JUMP
0000107b: JUMPDEST
0000107c: PUSH1 0x24
0000107e: CALLDATALOAD
0000107f: PUSH1 0x01
00001081: PUSH1 0x01
00001083: PUSH1 0x50
00001085: SHL
00001086: SUB
00001087: SWAP1
00001088: DUP2
00001089: AND
0000108a: DUP4
0000108b: MSTORE
0000108c: PUSH1 0x44
0000108e: CALLDATALOAD
0000108f: PUSH1 0xff
00001091: AND
00001092: PUSH1 0x20
00001094: DUP1
00001095: DUP6
00001096: ADD
00001097: SWAP2
00001098: DUP3
00001099: MSTORE
0000109a: PUSH0
0000109b: SWAP4
0000109c: DUP5
0000109d: MSTORE
0000109e: PUSH1 0x07
000010a0: SWAP1
000010a1: MSTORE
000010a2: PUSH1 0x40
000010a4: SWAP1
000010a5: SWAP3
000010a6: KECCAK256
000010a7: SWAP3
000010a8: MLOAD
000010a9: DUP4
000010aa: SLOAD
000010ab: SWAP3
000010ac: MLOAD
000010ad: PUSH11 0xffffffffffffffffffffff
000010b9: NOT
000010ba: SWAP1
000010bb: SWAP4
000010bc: AND
000010bd: SWAP2
000010be: AND
000010bf: OR
000010c0: PUSH1 0x50
000010c2: SWAP2
000010c3: SWAP1
000010c4: SWAP2
000010c5: SHL
000010c6: PUSH1 0xff
000010c8: PUSH1 0x50
000010ca: SHL
000010cb: AND
000010cc: OR
000010cd: SWAP1
000010ce: SSTORE
000010cf: STOP
000010d0: JUMPDEST
000010d1: CALLVALUE
000010d2: PUSH2 0x020f
000010d5: JUMPI
000010d6: PUSH1 0x20
000010d8: CALLDATASIZE
000010d9: PUSH1 0x03
000010db: NOT
000010dc: ADD
000010dd: SLT
000010de: PUSH2 0x020f
000010e1: JUMPI
000010e2: PUSH2 0x10e9
000010e5: PUSH2 0x1756
000010e8: JUMP
000010e9: JUMPDEST
000010ea: PUSH2 0x10f1
000010ed: PUSH2 0x2f25
000010f0: JUMP
000010f1: JUMPDEST
000010f2: PUSH1 0x01
000010f4: DUP1
000010f5: SLOAD
000010f6: PUSH1 0x01
000010f8: PUSH1 0x01
000010fa: PUSH1 0xa0
000010fc: SHL
000010fd: SUB
000010fe: NOT
000010ff: AND
00001100: PUSH1 0x01
00001102: PUSH1 0x01
00001104: PUSH1 0xa0
00001106: SHL
00001107: SUB
00001108: SWAP3
00001109: SWAP1
0000110a: SWAP3
0000110b: AND
0000110c: SWAP2
0000110d: SWAP1
0000110e: SWAP2
0000110f: OR
00001110: SWAP1
00001111: SSTORE
00001112: STOP
00001113: JUMPDEST
00001114: CALLVALUE
00001115: PUSH2 0x020f
00001118: JUMPI
00001119: PUSH0
0000111a: CALLDATASIZE
0000111b: PUSH1 0x03
0000111d: NOT
0000111e: ADD
0000111f: SLT
00001120: PUSH2 0x020f
00001123: JUMPI
00001124: PUSH1 0x01
00001126: SLOAD
00001127: PUSH1 0x40
00001129: MLOAD
0000112a: PUSH1 0x01
0000112c: PUSH1 0x01
0000112e: PUSH1 0xa0
00001130: SHL
00001131: SUB
00001132: SWAP1
00001133: SWAP2
00001134: AND
00001135: DUP2
00001136: MSTORE
00001137: PUSH1 0x20
00001139: SWAP1
0000113a: RETURN
0000113b: JUMPDEST
0000113c: CALLVALUE
0000113d: PUSH2 0x020f
00001140: JUMPI
00001141: PUSH0
00001142: CALLDATASIZE
00001143: PUSH1 0x03
00001145: NOT
00001146: ADD
00001147: SLT
00001148: PUSH2 0x020f
0000114b: JUMPI
0000114c: PUSH1 0x02
0000114e: SLOAD
0000114f: PUSH1 0x40
00001151: MLOAD
00001152: PUSH1 0x01
00001154: PUSH1 0x01
00001156: PUSH1 0xa0
00001158: SHL
00001159: SUB
0000115a: SWAP1
0000115b: SWAP2
0000115c: AND
0000115d: DUP2
0000115e: MSTORE
0000115f: PUSH1 0x20
00001161: SWAP1
00001162: RETURN
00001163: JUMPDEST
00001164: CALLVALUE
00001165: PUSH2 0x020f
00001168: JUMPI
00001169: PUSH1 0x20
0000116b: CALLDATASIZE
0000116c: PUSH1 0x03
0000116e: NOT
0000116f: ADD
00001170: SLT
00001171: PUSH2 0x020f
00001174: JUMPI
00001175: PUSH1 0x20
00001177: PUSH2 0x0621
0000117a: PUSH1 0x04
0000117c: CALLDATALOAD
0000117d: PUSH2 0x19ae
00001180: JUMP
00001181: JUMPDEST
00001182: CALLVALUE
00001183: PUSH2 0x020f
00001186: JUMPI
00001187: PUSH1 0x20
00001189: CALLDATASIZE
0000118a: PUSH1 0x03
0000118c: NOT
0000118d: ADD
0000118e: SLT
0000118f: PUSH2 0x020f
00001192: JUMPI
00001193: PUSH1 0x04
00001195: CALLDATALOAD
00001196: PUSH0
00001197: MSTORE
00001198: PUSH1 0x05
0000119a: PUSH1 0x20
0000119c: MSTORE
0000119d: PUSH1 0x20
0000119f: PUSH1 0x40
000011a1: PUSH0
000011a2: KECCAK256
000011a3: SLOAD
000011a4: PUSH1 0x40
000011a6: MLOAD
000011a7: SWAP1
000011a8: DUP2
000011a9: MSTORE
000011aa: RETURN
000011ab: JUMPDEST
000011ac: CALLVALUE
000011ad: PUSH2 0x020f
000011b0: JUMPI
000011b1: PUSH1 0x20
000011b3: CALLDATASIZE
000011b4: PUSH1 0x03
000011b6: NOT
000011b7: ADD
000011b8: SLT
000011b9: PUSH2 0x020f
000011bc: JUMPI
000011bd: PUSH1 0x04
000011bf: CALLDATALOAD
000011c0: PUSH1 0x01
000011c2: PUSH1 0x01
000011c4: PUSH1 0x40
000011c6: SHL
000011c7: SUB
000011c8: DUP2
000011c9: GT
000011ca: PUSH2 0x020f
000011cd: JUMPI
000011ce: PUSH2 0x11db
000011d1: SWAP1
000011d2: CALLDATASIZE
000011d3: SWAP1
000011d4: PUSH1 0x04
000011d6: ADD
000011d7: PUSH2 0x16fa
000011da: JUMP
000011db: JUMPDEST
000011dc: SWAP1
000011dd: PUSH2 0x11e5
000011e0: DUP3
000011e1: PUSH2 0x1983
000011e4: JUMP
000011e5: JUMPDEST
000011e6: SWAP2
000011e7: PUSH2 0x11f3
000011ea: PUSH1 0x40
000011ec: MLOAD
000011ed: SWAP4
000011ee: DUP5
000011ef: PUSH2 0x1962
000011f2: JUMP
000011f3: JUMPDEST
000011f4: DUP1
000011f5: DUP4
000011f6: MSTORE
000011f7: PUSH1 0x1f
000011f9: NOT
000011fa: PUSH2 0x1202
000011fd: DUP3
000011fe: PUSH2 0x1983
00001201: JUMP
00001202: JUMPDEST
00001203: ADD
00001204: PUSH0
00001205: JUMPDEST
00001206: DUP2
00001207: DUP2
00001208: LT
00001209: PUSH2 0x135a
0000120c: JUMPI
0000120d: POP
0000120e: POP
0000120f: PUSH0
00001210: JUMPDEST
00001211: DUP2
00001212: DUP2
00001213: LT
00001214: PUSH2 0x128d
00001217: JUMPI
00001218: DUP4
00001219: PUSH1 0x40
0000121b: MLOAD
0000121c: DUP1
0000121d: SWAP2
0000121e: PUSH1 0x20
00001220: DUP3
00001221: ADD
00001222: PUSH1 0x20
00001224: DUP4
00001225: MSTORE
00001226: DUP2
00001227: MLOAD
00001228: DUP1
00001229: SWAP2
0000122a: MSTORE
0000122b: PUSH1 0x20
0000122d: PUSH1 0x40
0000122f: DUP5
00001230: ADD
00001231: SWAP3
00001232: ADD
00001233: SWAP1
00001234: PUSH0
00001235: JUMPDEST
00001236: DUP2
00001237: DUP2
00001238: LT
00001239: PUSH2 0x1243
0000123c: JUMPI
0000123d: POP
0000123e: POP
0000123f: POP
00001240: SUB
00001241: SWAP1
00001242: RETURN
00001243: JUMPDEST
00001244: SWAP2
00001245: SWAP4
00001246: POP
00001247: SWAP2
00001248: PUSH1 0x20
0000124a: PUSH1 0xa0
0000124c: PUSH1 0x01
0000124e: SWAP3
0000124f: PUSH1 0x80
00001251: DUP8
00001252: MLOAD
00001253: DUP1
00001254: MLOAD
00001255: DUP4
00001256: MSTORE
00001257: DUP5
00001258: DUP2
00001259: ADD
0000125a: MLOAD
0000125b: DUP6
0000125c: DUP5
0000125d: ADD
0000125e: MSTORE
0000125f: DUP6
00001260: DUP1
00001261: DUP6
00001262: SHL
00001263: SUB
00001264: PUSH1 0x40
00001266: DUP3
00001267: ADD
00001268: MLOAD
00001269: AND
0000126a: PUSH1 0x40
0000126c: DUP5
0000126d: ADD
0000126e: MSTORE
0000126f: PUSH1 0x60
00001271: DUP2
00001272: ADD
00001273: MLOAD
00001274: PUSH1 0x60
00001276: DUP5
00001277: ADD
00001278: MSTORE
00001279: ADD
0000127a: MLOAD
0000127b: PUSH1 0x80
0000127d: DUP3
0000127e: ADD
0000127f: MSTORE
00001280: ADD
00001281: SWAP5
00001282: ADD
00001283: SWAP2
00001284: ADD
00001285: SWAP2
00001286: DUP5
00001287: SWAP4
00001288: SWAP3
00001289: PUSH2 0x1235
0000128c: JUMP
0000128d: JUMPDEST
0000128e: DUP1
0000128f: PUSH2 0x129b
00001292: PUSH1 0x01
00001294: SWAP3
00001295: DUP5
00001296: DUP7
00001297: PUSH2 0x188d
0000129a: JUMP
0000129b: JUMPDEST
0000129c: CALLDATALOAD
0000129d: DUP1
0000129e: PUSH0
0000129f: MSTORE
000012a0: PUSH1 0x04
000012a2: PUSH1 0x20
000012a4: MSTORE
000012a5: PUSH1 0x40
000012a7: PUSH0
000012a8: KECCAK256
000012a9: SWAP1
000012aa: PUSH1 0x40
000012ac: MLOAD
000012ad: SWAP2
000012ae: PUSH2 0x12b6
000012b1: DUP4
000012b2: PUSH2 0x18f4
000012b5: JUMP
000012b6: JUMPDEST
000012b7: SLOAD
000012b8: SWAP1
000012b9: PUSH3 0xffffff
000012bd: DUP3
000012be: AND
000012bf: DUP4
000012c0: MSTORE
000012c1: PUSH1 0x40
000012c3: PUSH1 0x20
000012c5: DUP5
000012c6: ADD
000012c7: SWAP4
000012c8: PUSH1 0x01
000012ca: PUSH1 0x01
000012cc: PUSH1 0x48
000012ce: SHL
000012cf: SUB
000012d0: DUP5
000012d1: PUSH1 0x18
000012d3: SHR
000012d4: AND
000012d5: DUP6
000012d6: MSTORE
000012d7: ADD
000012d8: SWAP2
000012d9: PUSH1 0x60
000012db: SHR
000012dc: DUP3
000012dd: MSTORE
000012de: PUSH2 0x12e6
000012e1: DUP2
000012e2: PUSH2 0x1bcb
000012e5: JUMP
000012e6: JUMPDEST
000012e7: PUSH2 0x131a
000012ea: PUSH1 0x01
000012ec: PUSH1 0x01
000012ee: PUSH1 0x58
000012f0: SHL
000012f1: SUB
000012f2: PUSH1 0xa0
000012f4: PUSH1 0x01
000012f6: PUSH1 0x01
000012f8: PUSH1 0x48
000012fa: SHL
000012fb: SUB
000012fc: PUSH2 0x1304
000012ff: DUP7
00001300: PUSH2 0x1a03
00001303: JUMP
00001304: JUMPDEST
00001305: SWAP8
00001306: MLOAD
00001307: AND
00001308: SWAP6
00001309: DUP10
0000130a: DUP1
0000130b: DUP4
0000130c: SHL
0000130d: SUB
0000130e: SWAP1
0000130f: MLOAD
00001310: AND
00001311: SWAP4
00001312: ADD
00001313: MLOAD
00001314: AND
00001315: SWAP3
00001316: PUSH2 0x1cd5
00001319: JUMP
0000131a: JUMPDEST
0000131b: SWAP3
0000131c: PUSH1 0x40
0000131e: MLOAD
0000131f: SWAP5
00001320: PUSH2 0x1328
00001323: DUP7
00001324: PUSH2 0x18c5
00001327: JUMP
00001328: JUMPDEST
00001329: DUP6
0000132a: MSTORE
0000132b: PUSH1 0x20
0000132d: DUP6
0000132e: ADD
0000132f: MSTORE
00001330: PUSH1 0x40
00001332: DUP5
00001333: ADD
00001334: MSTORE
00001335: PUSH1 0x60
00001337: DUP4
00001338: ADD
00001339: MSTORE
0000133a: PUSH1 0x80
0000133c: DUP3
0000133d: ADD
0000133e: MSTORE
0000133f: PUSH2 0x1348
00001342: DUP3
00001343: DUP8
00001344: PUSH2 0x199a
00001347: JUMP
00001348: JUMPDEST
00001349: MSTORE
0000134a: PUSH2 0x1353
0000134d: DUP2
0000134e: DUP7
0000134f: PUSH2 0x199a
00001352: JUMP
00001353: JUMPDEST
00001354: POP
00001355: ADD
00001356: PUSH2 0x1210
00001359: JUMP
0000135a: JUMPDEST
0000135b: PUSH1 0x20
0000135d: SWAP1
0000135e: PUSH1 0x40
00001360: MLOAD
00001361: PUSH2 0x1369
00001364: DUP2
00001365: PUSH2 0x18c5
00001368: JUMP
00001369: JUMPDEST
0000136a: PUSH0
0000136b: DUP2
0000136c: MSTORE
0000136d: PUSH0
0000136e: DUP4
0000136f: DUP3
00001370: ADD
00001371: MSTORE
00001372: PUSH0
00001373: PUSH1 0x40
00001375: DUP3
00001376: ADD
00001377: MSTORE
00001378: PUSH0
00001379: PUSH1 0x60
0000137b: DUP3
0000137c: ADD
0000137d: MSTORE
0000137e: PUSH0
0000137f: PUSH1 0x80
00001381: DUP3
00001382: ADD
00001383: MSTORE
00001384: DUP3
00001385: DUP3
00001386: DUP9
00001387: ADD
00001388: ADD
00001389: MSTORE
0000138a: ADD
0000138b: PUSH2 0x1205
0000138e: JUMP
0000138f: JUMPDEST
00001390: CALLVALUE
00001391: PUSH2 0x020f
00001394: JUMPI
00001395: PUSH1 0x20
00001397: CALLDATASIZE
00001398: PUSH1 0x03
0000139a: NOT
0000139b: ADD
0000139c: SLT
0000139d: PUSH2 0x020f
000013a0: JUMPI
000013a1: PUSH2 0x13a8
000013a4: PUSH2 0x1756
000013a7: JUMP
000013a8: JUMPDEST
000013a9: PUSH2 0x13b0
000013ac: PUSH2 0x2f25
000013af: JUMP
000013b0: JUMPDEST
000013b1: PUSH1 0x02
000013b3: DUP1
000013b4: SLOAD
000013b5: PUSH1 0x01
000013b7: PUSH1 0x01
000013b9: PUSH1 0xa0
000013bb: SHL
000013bc: SUB
000013bd: NOT
000013be: AND
000013bf: PUSH1 0x01
000013c1: PUSH1 0x01
000013c3: PUSH1 0xa0
000013c5: SHL
000013c6: SUB
000013c7: SWAP3
000013c8: SWAP1
000013c9: SWAP3
000013ca: AND
000013cb: SWAP2
000013cc: SWAP1
000013cd: SWAP2
000013ce: OR
000013cf: SWAP1
000013d0: SSTORE
000013d1: STOP
000013d2: JUMPDEST
000013d3: PUSH1 0x20
000013d5: CALLDATASIZE
000013d6: PUSH1 0x03
000013d8: NOT
000013d9: ADD
000013da: SLT
000013db: PUSH2 0x020f
000013de: JUMPI
000013df: PUSH1 0x04
000013e1: CALLDATALOAD
000013e2: PUSH1 0x01
000013e4: PUSH1 0x01
000013e6: PUSH1 0x40
000013e8: SHL
000013e9: SUB
000013ea: DUP2
000013eb: GT
000013ec: PUSH2 0x020f
000013ef: JUMPI
000013f0: PUSH2 0x1400
000013f3: PUSH2 0x0671
000013f6: SWAP2
000013f7: CALLDATASIZE
000013f8: SWAP1
000013f9: PUSH1 0x04
000013fb: ADD
000013fc: PUSH2 0x16fa
000013ff: JUMP
00001400: JUMPDEST
00001401: CALLER
00001402: SWAP2
00001403: PUSH2 0x2606
00001406: JUMP
00001407: JUMPDEST
00001408: CALLVALUE
00001409: PUSH2 0x020f
0000140c: JUMPI
0000140d: PUSH1 0x20
0000140f: CALLDATASIZE
00001410: PUSH1 0x03
00001412: NOT
00001413: ADD
00001414: SLT
00001415: PUSH2 0x020f
00001418: JUMPI
00001419: PUSH1 0x04
0000141b: CALLDATALOAD
0000141c: DUP1
0000141d: ISZERO
0000141e: ISZERO
0000141f: DUP1
00001420: SWAP2
00001421: SUB
00001422: PUSH2 0x020f
00001425: JUMPI
00001426: PUSH2 0x142d
00001429: PUSH2 0x2f25
0000142c: JUMP
0000142d: JUMPDEST
0000142e: PUSH1 0x02
00001430: DUP1
00001431: SLOAD
00001432: PUSH1 0xff
00001434: PUSH1 0xa0
00001436: SHL
00001437: NOT
00001438: AND
00001439: PUSH1 0xa0
0000143b: SWAP3
0000143c: SWAP1
0000143d: SWAP3
0000143e: SHL
0000143f: PUSH1 0xff
00001441: PUSH1 0xa0
00001443: SHL
00001444: AND
00001445: SWAP2
00001446: SWAP1
00001447: SWAP2
00001448: OR
00001449: SWAP1
0000144a: SSTORE
0000144b: STOP
0000144c: JUMPDEST
0000144d: CALLVALUE
0000144e: PUSH2 0x020f
00001451: JUMPI
00001452: PUSH1 0x20
00001454: CALLDATASIZE
00001455: PUSH1 0x03
00001457: NOT
00001458: ADD
00001459: SLT
0000145a: PUSH2 0x020f
0000145d: JUMPI
0000145e: PUSH1 0x04
00001460: CALLDATALOAD
00001461: PUSH0
00001462: MSTORE
00001463: PUSH1 0x03
00001465: PUSH1 0x20
00001467: MSTORE
00001468: PUSH2 0x0160
0000146b: PUSH1 0x40
0000146d: PUSH0
0000146e: KECCAK256
0000146f: DUP1
00001470: SLOAD
00001471: SWAP1
00001472: PUSH1 0x01
00001474: DUP2
00001475: ADD
00001476: SLOAD
00001477: SWAP1
00001478: PUSH1 0x03
0000147a: PUSH1 0x02
0000147c: DUP3
0000147d: ADD
0000147e: SLOAD
0000147f: SWAP2
00001480: ADD
00001481: SLOAD
00001482: SWAP2
00001483: PUSH1 0x40
00001485: MLOAD
00001486: SWAP4
00001487: PUSH1 0x01
00001489: DUP1
0000148a: PUSH1 0xa0
0000148c: SHL
0000148d: SUB
0000148e: DUP2
0000148f: AND
00001490: DUP6
00001491: MSTORE
00001492: PUSH1 0xff
00001494: DUP2
00001495: PUSH1 0xa0
00001497: SHR
00001498: AND
00001499: PUSH1 0x20
0000149b: DUP7
0000149c: ADD
0000149d: MSTORE
0000149e: PUSH1 0xff
000014a0: DUP2
000014a1: PUSH1 0xa8
000014a3: SHR
000014a4: AND
000014a5: PUSH1 0x40
000014a7: DUP7
000014a8: ADD
000014a9: MSTORE
000014aa: PUSH1 0xb0
000014ac: SHR
000014ad: PUSH1 0x60
000014af: DUP6
000014b0: ADD
000014b1: MSTORE
000014b2: PUSH1 0x01
000014b4: PUSH1 0x01
000014b6: PUSH1 0x50
000014b8: SHL
000014b9: SUB
000014ba: DUP2
000014bb: AND
000014bc: PUSH1 0x80
000014be: DUP6
000014bf: ADD
000014c0: MSTORE
000014c1: PUSH1 0x01
000014c3: PUSH1 0x01
000014c5: PUSH1 0x58
000014c7: SHL
000014c8: SUB
000014c9: DUP2
000014ca: PUSH1 0x50
000014cc: SHR
000014cd: AND
000014ce: PUSH1 0xa0
000014d0: DUP6
000014d1: ADD
000014d2: MSTORE
000014d3: PUSH1 0xa8
000014d5: SHR
000014d6: PUSH1 0xc0
000014d8: DUP5
000014d9: ADD
000014da: MSTORE
000014db: PUSH1 0x01
000014dd: PUSH1 0x01
000014df: PUSH1 0x58
000014e1: SHL
000014e2: SUB
000014e3: DUP2
000014e4: AND
000014e5: PUSH1 0xe0
000014e7: DUP5
000014e8: ADD
000014e9: MSTORE
000014ea: PUSH1 0x01
000014ec: DUP1
000014ed: PUSH1 0xa0
000014ef: SHL
000014f0: SUB
000014f1: DUP2
000014f2: PUSH1 0x58
000014f4: SHR
000014f5: AND
000014f6: PUSH2 0x0100
000014f9: DUP5
000014fa: ADD
000014fb: MSTORE
000014fc: PUSH1 0xf8
000014fe: SHR
000014ff: ISZERO
00001500: ISZERO
00001501: PUSH2 0x0120
00001504: DUP4
00001505: ADD
00001506: MSTORE
00001507: PUSH2 0x0140
0000150a: DUP3
0000150b: ADD
0000150c: MSTORE
0000150d: RETURN
0000150e: JUMPDEST
0000150f: PUSH1 0x40
00001511: CALLDATASIZE
00001512: PUSH1 0x03
00001514: NOT
00001515: ADD
00001516: SLT
00001517: PUSH2 0x020f
0000151a: JUMPI
0000151b: PUSH1 0x04
0000151d: CALLDATALOAD
0000151e: PUSH1 0x01
00001520: PUSH1 0x01
00001522: PUSH1 0x40
00001524: SHL
00001525: SUB
00001526: DUP2
00001527: GT
00001528: PUSH2 0x020f
0000152b: JUMPI
0000152c: PUSH2 0x153c
0000152f: PUSH2 0x0671
00001532: SWAP2
00001533: CALLDATASIZE
00001534: SWAP1
00001535: PUSH1 0x04
00001537: ADD
00001538: PUSH2 0x16fa
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH2 0x1544
00001540: PUSH2 0x1740
00001543: JUMP
00001544: JUMPDEST
00001545: SWAP2
00001546: PUSH2 0x2606
00001549: JUMP
0000154a: JUMPDEST
0000154b: PUSH1 0x60
0000154d: CALLDATASIZE
0000154e: PUSH1 0x03
00001550: NOT
00001551: ADD
00001552: SLT
00001553: PUSH2 0x020f
00001556: JUMPI
00001557: PUSH1 0x04
00001559: CALLDATALOAD
0000155a: PUSH1 0x01
0000155c: PUSH1 0x01
0000155e: PUSH1 0x40
00001560: SHL
00001561: SUB
00001562: DUP2
00001563: GT
00001564: PUSH2 0x020f
00001567: JUMPI
00001568: PUSH2 0x1575
0000156b: SWAP1
0000156c: CALLDATASIZE
0000156d: SWAP1
0000156e: PUSH1 0x04
00001570: ADD
00001571: PUSH2 0x16fa
00001574: JUMP
00001575: JUMPDEST
00001576: SWAP1
00001577: PUSH1 0x44
00001579: CALLDATALOAD
0000157a: SWAP2
0000157b: PUSH1 0x01
0000157d: PUSH1 0x01
0000157f: PUSH1 0x40
00001581: SHL
00001582: SUB
00001583: DUP4
00001584: GT
00001585: PUSH2 0x020f
00001588: JUMPI
00001589: PUSH2 0x1400
0000158c: PUSH2 0x159c
0000158f: PUSH2 0x0671
00001592: SWAP5
00001593: CALLDATASIZE
00001594: SWAP1
00001595: PUSH1 0x04
00001597: ADD
00001598: PUSH2 0x16fa
0000159b: JUMP
0000159c: JUMPDEST
0000159d: SWAP3
0000159e: SWAP1
0000159f: SWAP4
000015a0: CALLER
000015a1: SWAP2
000015a2: PUSH1 0x24
000015a4: CALLDATALOAD
000015a5: SWAP2
000015a6: PUSH2 0x1d17
000015a9: JUMP
000015aa: JUMPDEST
000015ab: PUSH1 0x60
000015ad: CALLDATASIZE
000015ae: PUSH1 0x03
000015b0: NOT
000015b1: ADD
000015b2: SLT
000015b3: PUSH2 0x020f
000015b6: JUMPI
000015b7: PUSH1 0x04
000015b9: CALLDATALOAD
000015ba: PUSH1 0x01
000015bc: PUSH1 0x01
000015be: PUSH1 0x40
000015c0: SHL
000015c1: SUB
000015c2: DUP2
000015c3: GT
000015c4: PUSH2 0x020f
000015c7: JUMPI
000015c8: PUSH2 0x15d5
000015cb: SWAP1
000015cc: CALLDATASIZE
000015cd: SWAP1
000015ce: PUSH1 0x04
000015d0: ADD
000015d1: PUSH2 0x16fa
000015d4: JUMP
000015d5: JUMPDEST
000015d6: SWAP1
000015d7: PUSH1 0x24
000015d9: CALLDATALOAD
000015da: SWAP2
000015db: PUSH1 0x01
000015dd: PUSH1 0x01
000015df: PUSH1 0x40
000015e1: SHL
000015e2: SUB
000015e3: DUP4
000015e4: GT
000015e5: PUSH2 0x020f
000015e8: JUMPI
000015e9: PUSH2 0x15f9
000015ec: PUSH2 0x0671
000015ef: SWAP4
000015f0: CALLDATASIZE
000015f1: SWAP1
000015f2: PUSH1 0x04
000015f4: ADD
000015f5: PUSH2 0x16fa
000015f8: JUMP
000015f9: JUMPDEST
000015fa: SWAP2
000015fb: PUSH2 0x1602
000015fe: PUSH2 0x172a
00001601: JUMP
00001602: JUMPDEST
00001603: SWAP4
00001604: PUSH2 0x1e6a
00001607: JUMP
00001608: JUMPDEST
00001609: CALLVALUE
0000160a: PUSH2 0x020f
0000160d: JUMPI
0000160e: PUSH1 0x20
00001610: CALLDATASIZE
00001611: PUSH1 0x03
00001613: NOT
00001614: ADD
00001615: SLT
00001616: PUSH2 0x020f
00001619: JUMPI
0000161a: PUSH1 0x04
0000161c: CALLDATALOAD
0000161d: PUSH0
0000161e: MSTORE
0000161f: PUSH1 0x04
00001621: PUSH1 0x20
00001623: MSTORE
00001624: PUSH1 0x60
00001626: PUSH1 0x40
00001628: PUSH0
00001629: KECCAK256
0000162a: SLOAD
0000162b: PUSH1 0x40
0000162d: MLOAD
0000162e: SWAP1
0000162f: PUSH3 0xffffff
00001633: DUP2
00001634: AND
00001635: DUP3
00001636: MSTORE
00001637: PUSH1 0x01
00001639: PUSH1 0x01
0000163b: PUSH1 0x48
0000163d: SHL
0000163e: SUB
0000163f: DUP2
00001640: PUSH1 0x18
00001642: SHR
00001643: AND
00001644: PUSH1 0x20
00001646: DUP4
00001647: ADD
00001648: MSTORE
00001649: DUP3
0000164a: SHR
0000164b: PUSH1 0x40
0000164d: DUP3
0000164e: ADD
0000164f: MSTORE
00001650: RETURN
00001651: JUMPDEST
00001652: CALLVALUE
00001653: PUSH2 0x020f
00001656: JUMPI
00001657: PUSH1 0x40
00001659: CALLDATASIZE
0000165a: PUSH1 0x03
0000165c: NOT
0000165d: ADD
0000165e: SLT
0000165f: PUSH2 0x020f
00001662: JUMPI
00001663: PUSH1 0x04
00001665: CALLDATALOAD
00001666: PUSH1 0x24
00001668: CALLDATALOAD
00001669: PUSH1 0x01
0000166b: PUSH1 0x01
0000166d: PUSH1 0x40
0000166f: SHL
00001670: SUB
00001671: DUP2
00001672: GT
00001673: PUSH2 0x020f
00001676: JUMPI
00001677: PUSH2 0x1684
0000167a: SWAP1
0000167b: CALLDATASIZE
0000167c: SWAP1
0000167d: PUSH1 0x04
0000167f: ADD
00001680: PUSH2 0x16fa
00001683: JUMP
00001684: JUMPDEST
00001685: SWAP2
00001686: SWAP1
00001687: PUSH1 0x01
00001689: DUP1
0000168a: PUSH1 0xa0
0000168c: SHL
0000168d: SUB
0000168e: PUSH0
0000168f: SLOAD
00001690: AND
00001691: CALLER
00001692: EQ
00001693: DUP1
00001694: ISZERO
00001695: PUSH2 0x16e6
00001698: JUMPI
00001699: JUMPDEST
0000169a: ISZERO
0000169b: PUSH2 0x020f
0000169e: JUMPI
0000169f: PUSH0
000016a0: JUMPDEST
000016a1: DUP4
000016a2: DUP2
000016a3: LT
000016a4: PUSH2 0x16a9
000016a7: JUMPI
000016a8: STOP
000016a9: JUMPDEST
000016aa: PUSH1 0x01
000016ac: SWAP1
000016ad: DUP4
000016ae: PUSH0
000016af: MSTORE
000016b0: PUSH1 0x08
000016b2: PUSH1 0x20
000016b4: MSTORE
000016b5: PUSH1 0x40
000016b7: PUSH0
000016b8: KECCAK256
000016b9: PUSH2 0x16c6
000016bc: PUSH2 0x0e8a
000016bf: DUP4
000016c0: DUP9
000016c1: DUP8
000016c2: PUSH2 0x188d
000016c5: JUMP
000016c6: JUMPDEST
000016c7: DUP4
000016c8: DUP1
000016c9: PUSH1 0xa0
000016cb: SHL
000016cc: SUB
000016cd: AND
000016ce: PUSH0
000016cf: MSTORE
000016d0: PUSH1 0x20
000016d2: MSTORE
000016d3: PUSH1 0x40
000016d5: PUSH0
000016d6: KECCAK256
000016d7: DUP3
000016d8: PUSH1 0xff
000016da: NOT
000016db: DUP3
000016dc: SLOAD
000016dd: AND
000016de: OR
000016df: SWAP1
000016e0: SSTORE
000016e1: ADD
000016e2: PUSH2 0x16a0
000016e5: JUMP
000016e6: JUMPDEST
000016e7: POP
000016e8: PUSH1 0x01
000016ea: SLOAD
000016eb: PUSH1 0x01
000016ed: PUSH1 0x01
000016ef: PUSH1 0xa0
000016f1: SHL
000016f2: SUB
000016f3: AND
000016f4: CALLER
000016f5: EQ
000016f6: PUSH2 0x1699
000016f9: JUMP
000016fa: JUMPDEST
000016fb: SWAP2
000016fc: DUP2
000016fd: PUSH1 0x1f
000016ff: DUP5
00001700: ADD
00001701: SLT
00001702: ISZERO
00001703: PUSH2 0x020f
00001706: JUMPI
00001707: DUP3
00001708: CALLDATALOAD
00001709: SWAP2
0000170a: PUSH1 0x01
0000170c: PUSH1 0x01
0000170e: PUSH1 0x40
00001710: SHL
00001711: SUB
00001712: DUP4
00001713: GT
00001714: PUSH2 0x020f
00001717: JUMPI
00001718: PUSH1 0x20
0000171a: DUP1
0000171b: DUP6
0000171c: ADD
0000171d: SWAP5
0000171e: DUP5
0000171f: PUSH1 0x05
00001721: SHL
00001722: ADD
00001723: ADD
00001724: GT
00001725: PUSH2 0x020f
00001728: JUMPI
00001729: JUMP
0000172a: JUMPDEST
0000172b: PUSH1 0x44
0000172d: CALLDATALOAD
0000172e: SWAP1
0000172f: PUSH1 0x01
00001731: PUSH1 0x01
00001733: PUSH1 0xa0
00001735: SHL
00001736: SUB
00001737: DUP3
00001738: AND
00001739: DUP3
0000173a: SUB
0000173b: PUSH2 0x020f
0000173e: JUMPI
0000173f: JUMP
00001740: JUMPDEST
00001741: PUSH1 0x24
00001743: CALLDATALOAD
00001744: SWAP1
00001745: PUSH1 0x01
00001747: PUSH1 0x01
00001749: PUSH1 0xa0
0000174b: SHL
0000174c: SUB
0000174d: DUP3
0000174e: AND
0000174f: DUP3
00001750: SUB
00001751: PUSH2 0x020f
00001754: JUMPI
00001755: JUMP
00001756: JUMPDEST
00001757: PUSH1 0x04
00001759: CALLDATALOAD
0000175a: SWAP1
0000175b: PUSH1 0x01
0000175d: PUSH1 0x01
0000175f: PUSH1 0xa0
00001761: SHL
00001762: SUB
00001763: DUP3
00001764: AND
00001765: DUP3
00001766: SUB
00001767: PUSH2 0x020f
0000176a: JUMPI
0000176b: JUMP
0000176c: JUMPDEST
0000176d: PUSH1 0x84
0000176f: CALLDATALOAD
00001770: SWAP1
00001771: PUSH1 0x01
00001773: PUSH1 0x01
00001775: PUSH1 0xa0
00001777: SHL
00001778: SUB
00001779: DUP3
0000177a: AND
0000177b: DUP3
0000177c: SUB
0000177d: PUSH2 0x020f
00001780: JUMPI
00001781: JUMP
00001782: JUMPDEST
00001783: PUSH1 0x40
00001785: PUSH1 0x03
00001787: NOT
00001788: DUP3
00001789: ADD
0000178a: SLT
0000178b: PUSH2 0x020f
0000178e: JUMPI
0000178f: PUSH1 0x04
00001791: CALLDATALOAD
00001792: PUSH1 0x01
00001794: PUSH1 0x01
00001796: PUSH1 0x40
00001798: SHL
00001799: SUB
0000179a: DUP2
0000179b: GT
0000179c: PUSH2 0x020f
0000179f: JUMPI
000017a0: DUP2
000017a1: PUSH2 0x17ac
000017a4: SWAP2
000017a5: PUSH1 0x04
000017a7: ADD
000017a8: PUSH2 0x16fa
000017ab: JUMP
000017ac: JUMPDEST
000017ad: SWAP3
000017ae: SWAP1
000017af: SWAP3
000017b0: SWAP2
000017b1: PUSH1 0x24
000017b3: CALLDATALOAD
000017b4: SWAP1
000017b5: PUSH1 0x01
000017b7: PUSH1 0x01
000017b9: PUSH1 0x40
000017bb: SHL
000017bc: SUB
000017bd: DUP3
000017be: GT
000017bf: PUSH2 0x020f
000017c2: JUMPI
000017c3: PUSH2 0x17ce
000017c6: SWAP2
000017c7: PUSH1 0x04
000017c9: ADD
000017ca: PUSH2 0x16fa
000017cd: JUMP
000017ce: JUMPDEST
000017cf: SWAP1
000017d0: SWAP2
000017d1: JUMP
000017d2: JUMPDEST
000017d3: SWAP2
000017d4: SWAP1
000017d5: SWAP2
000017d6: PUSH2 0x0140
000017d9: DUP1
000017da: PUSH2 0x0160
000017dd: DUP4
000017de: ADD
000017df: SWAP5
000017e0: PUSH1 0x01
000017e2: DUP1
000017e3: PUSH1 0xa0
000017e5: SHL
000017e6: SUB
000017e7: DUP2
000017e8: MLOAD
000017e9: AND
000017ea: DUP5
000017eb: MSTORE
000017ec: PUSH1 0xff
000017ee: PUSH1 0x20
000017f0: DUP3
000017f1: ADD
000017f2: MLOAD
000017f3: AND
000017f4: PUSH1 0x20
000017f6: DUP6
000017f7: ADD
000017f8: MSTORE
000017f9: PUSH1 0xff
000017fb: PUSH1 0x40
000017fd: DUP3
000017fe: ADD
000017ff: MLOAD
00001800: AND
00001801: PUSH1 0x40
00001803: DUP6
00001804: ADD
00001805: MSTORE
00001806: PUSH1 0x01
00001808: PUSH1 0x01
0000180a: PUSH1 0x50
0000180c: SHL
0000180d: SUB
0000180e: PUSH1 0x60
00001810: DUP3
00001811: ADD
00001812: MLOAD
00001813: AND
00001814: PUSH1 0x60
00001816: DUP6
00001817: ADD
00001818: MSTORE
00001819: PUSH1 0x01
0000181b: PUSH1 0x01
0000181d: PUSH1 0x50
0000181f: SHL
00001820: SUB
00001821: PUSH1 0x80
00001823: DUP3
00001824: ADD
00001825: MLOAD
00001826: AND
00001827: PUSH1 0x80
00001829: DUP6
0000182a: ADD
0000182b: MSTORE
0000182c: PUSH1 0x01
0000182e: PUSH1 0x01
00001830: PUSH1 0x58
00001832: SHL
00001833: SUB
00001834: PUSH1 0xa0
00001836: DUP3
00001837: ADD
00001838: MLOAD
00001839: AND
0000183a: PUSH1 0xa0
0000183c: DUP6
0000183d: ADD
0000183e: MSTORE
0000183f: PUSH1 0x01
00001841: PUSH1 0x01
00001843: PUSH1 0x58
00001845: SHL
00001846: SUB
00001847: PUSH1 0xc0
00001849: DUP3
0000184a: ADD
0000184b: MLOAD
0000184c: AND
0000184d: PUSH1 0xc0
0000184f: DUP6
00001850: ADD
00001851: MSTORE
00001852: PUSH1 0x01
00001854: PUSH1 0x01
00001856: PUSH1 0x58
00001858: SHL
00001859: SUB
0000185a: PUSH1 0xe0
0000185c: DUP3
0000185d: ADD
0000185e: MLOAD
0000185f: AND
00001860: PUSH1 0xe0
00001862: DUP6
00001863: ADD
00001864: MSTORE
00001865: PUSH1 0x01
00001867: DUP1
00001868: PUSH1 0xa0
0000186a: SHL
0000186b: SUB
0000186c: PUSH2 0x0100
0000186f: DUP3
00001870: ADD
00001871: MLOAD
00001872: AND
00001873: PUSH2 0x0100
00001876: DUP6
00001877: ADD
00001878: MSTORE
00001879: PUSH2 0x0120
0000187c: DUP2
0000187d: ADD
0000187e: MLOAD
0000187f: ISZERO
00001880: ISZERO
00001881: PUSH2 0x0120
00001884: DUP6
00001885: ADD
00001886: MSTORE
00001887: ADD
00001888: MLOAD
00001889: SWAP2
0000188a: ADD
0000188b: MSTORE
0000188c: JUMP
0000188d: JUMPDEST
0000188e: SWAP2
0000188f: SWAP1
00001890: DUP2
00001891: LT
00001892: ISZERO
00001893: PUSH2 0x189d
00001896: JUMPI
00001897: PUSH1 0x05
00001899: SHL
0000189a: ADD
0000189b: SWAP1
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH4 0x4e487b71
000018a3: PUSH1 0xe0
000018a5: SHL
000018a6: PUSH0
000018a7: MSTORE
000018a8: PUSH1 0x32
000018aa: PUSH1 0x04
000018ac: MSTORE
000018ad: PUSH1 0x24
000018af: PUSH0
000018b0: REVERT
000018b1: JUMPDEST
000018b2: CALLDATALOAD
000018b3: PUSH1 0x01
000018b5: PUSH1 0x01
000018b7: PUSH1 0xa0
000018b9: SHL
000018ba: SUB
000018bb: DUP2
000018bc: AND
000018bd: DUP2
000018be: SUB
000018bf: PUSH2 0x020f
000018c2: JUMPI
000018c3: SWAP1
000018c4: JUMP
000018c5: JUMPDEST
000018c6: PUSH1 0xa0
000018c8: DUP2
000018c9: ADD
000018ca: SWAP1
000018cb: DUP2
000018cc: LT
000018cd: PUSH1 0x01
000018cf: PUSH1 0x01
000018d1: PUSH1 0x40
000018d3: SHL
000018d4: SUB
000018d5: DUP3
000018d6: GT
000018d7: OR
000018d8: PUSH2 0x18e0
000018db: JUMPI
000018dc: PUSH1 0x40
000018de: MSTORE
000018df: JUMP
000018e0: JUMPDEST
000018e1: PUSH4 0x4e487b71
000018e6: PUSH1 0xe0
000018e8: SHL
000018e9: PUSH0
000018ea: MSTORE
000018eb: PUSH1 0x41
000018ed: PUSH1 0x04
000018ef: MSTORE
000018f0: PUSH1 0x24
000018f2: PUSH0
000018f3: REVERT
000018f4: JUMPDEST
000018f5: PUSH1 0x60
000018f7: DUP2
000018f8: ADD
000018f9: SWAP1
000018fa: DUP2
000018fb: LT
000018fc: PUSH1 0x01
000018fe: PUSH1 0x01
00001900: PUSH1 0x40
00001902: SHL
00001903: SUB
00001904: DUP3
00001905: GT
00001906: OR
00001907: PUSH2 0x18e0
0000190a: JUMPI
0000190b: PUSH1 0x40
0000190d: MSTORE
0000190e: JUMP
0000190f: JUMPDEST
00001910: PUSH1 0x40
00001912: DUP2
00001913: ADD
00001914: SWAP1
00001915: DUP2
00001916: LT
00001917: PUSH1 0x01
00001919: PUSH1 0x01
0000191b: PUSH1 0x40
0000191d: SHL
0000191e: SUB
0000191f: DUP3
00001920: GT
00001921: OR
00001922: PUSH2 0x18e0
00001925: JUMPI
00001926: PUSH1 0x40
00001928: MSTORE
00001929: JUMP
0000192a: JUMPDEST
0000192b: PUSH2 0x0140
0000192e: DUP2
0000192f: ADD
00001930: SWAP1
00001931: DUP2
00001932: LT
00001933: PUSH1 0x01
00001935: PUSH1 0x01
00001937: PUSH1 0x40
00001939: SHL
0000193a: SUB
0000193b: DUP3
0000193c: GT
0000193d: OR
0000193e: PUSH2 0x18e0
00001941: JUMPI
00001942: PUSH1 0x40
00001944: MSTORE
00001945: JUMP
00001946: JUMPDEST
00001947: PUSH2 0x0160
0000194a: DUP2
0000194b: ADD
0000194c: SWAP1
0000194d: DUP2
0000194e: LT
0000194f: PUSH1 0x01
00001951: PUSH1 0x01
00001953: PUSH1 0x40
00001955: SHL
00001956: SUB
00001957: DUP3
00001958: GT
00001959: OR
0000195a: PUSH2 0x18e0
0000195d: JUMPI
0000195e: PUSH1 0x40
00001960: MSTORE
00001961: JUMP
00001962: JUMPDEST
00001963: SWAP1
00001964: PUSH1 0x1f
00001966: DUP1
00001967: NOT
00001968: SWAP2
00001969: ADD
0000196a: AND
0000196b: DUP2
0000196c: ADD
0000196d: SWAP1
0000196e: DUP2
0000196f: LT
00001970: PUSH1 0x01
00001972: PUSH1 0x01
00001974: PUSH1 0x40
00001976: SHL
00001977: SUB
00001978: DUP3
00001979: GT
0000197a: OR
0000197b: PUSH2 0x18e0
0000197e: JUMPI
0000197f: PUSH1 0x40
00001981: MSTORE
00001982: JUMP
00001983: JUMPDEST
00001984: PUSH1 0x01
00001986: PUSH1 0x01
00001988: PUSH1 0x40
0000198a: SHL
0000198b: SUB
0000198c: DUP2
0000198d: GT
0000198e: PUSH2 0x18e0
00001991: JUMPI
00001992: PUSH1 0x05
00001994: SHL
00001995: PUSH1 0x20
00001997: ADD
00001998: SWAP1
00001999: JUMP
0000199a: JUMPDEST
0000199b: DUP1
0000199c: MLOAD
0000199d: DUP3
0000199e: LT
0000199f: ISZERO
000019a0: PUSH2 0x189d
000019a3: JUMPI
000019a4: PUSH1 0x20
000019a6: SWAP2
000019a7: PUSH1 0x05
000019a9: SHL
000019aa: ADD
000019ab: ADD
000019ac: SWAP1
000019ad: JUMP
000019ae: JUMPDEST
000019af: PUSH2 0x19cd
000019b2: PUSH1 0x01
000019b4: PUSH1 0x01
000019b6: PUSH1 0x50
000019b8: SHL
000019b9: SUB
000019ba: PUSH1 0x80
000019bc: PUSH2 0x19c4
000019bf: DUP5
000019c0: PUSH2 0x1bcb
000019c3: JUMP
000019c4: JUMPDEST
000019c5: ADD
000019c6: MLOAD
000019c7: AND
000019c8: SWAP2
000019c9: PUSH2 0x1a03
000019cc: JUMP
000019cd: JUMPDEST
000019ce: SWAP1
000019cf: ISZERO
000019d0: ISZERO
000019d1: SWAP1
000019d2: DUP2
000019d3: PUSH2 0x19da
000019d6: JUMPI
000019d7: POP
000019d8: SWAP1
000019d9: JUMP
000019da: JUMPDEST
000019db: SWAP1
000019dc: POP
000019dd: TIMESTAMP
000019de: LT
000019df: ISZERO
000019e0: SWAP1
000019e1: JUMP
000019e2: JUMPDEST
000019e3: SWAP2
000019e4: SWAP1
000019e5: DUP3
000019e6: ADD
000019e7: DUP1
000019e8: SWAP3
000019e9: GT
000019ea: PUSH2 0x19ef
000019ed: JUMPI
000019ee: JUMP
000019ef: JUMPDEST
000019f0: PUSH4 0x4e487b71
000019f5: PUSH1 0xe0
000019f7: SHL
000019f8: PUSH0
000019f9: MSTORE
000019fa: PUSH1 0x11
000019fc: PUSH1 0x04
000019fe: MSTORE
000019ff: PUSH1 0x24
00001a01: PUSH0
00001a02: REVERT
00001a03: JUMPDEST
00001a04: PUSH1 0x01
00001a06: PUSH1 0x01
00001a08: PUSH1 0x50
00001a0a: SHL
00001a0b: SUB
00001a0c: PUSH1 0x80
00001a0e: PUSH2 0x1a16
00001a11: DUP4
00001a12: PUSH2 0x1bcb
00001a15: JUMP
00001a16: JUMPDEST
00001a17: ADD
00001a18: MLOAD
00001a19: AND
00001a1a: PUSH3 0x015180
00001a1e: DUP2
00001a1f: ADD
00001a20: DUP1
00001a21: SWAP2
00001a22: GT
00001a23: PUSH2 0x19ef
00001a26: JUMPI
00001a27: PUSH2 0x1a41
00001a2a: SWAP2
00001a2b: PUSH0
00001a2c: MSTORE
00001a2d: PUSH1 0x04
00001a2f: PUSH1 0x20
00001a31: MSTORE
00001a32: PUSH3 0xffffff
00001a36: PUSH1 0x40
00001a38: PUSH0
00001a39: KECCAK256
00001a3a: SLOAD
00001a3b: AND
00001a3c: SWAP1
00001a3d: PUSH2 0x19e2
00001a40: JUMP
00001a41: JUMPDEST
00001a42: SWAP1
00001a43: JUMP
00001a44: JUMPDEST
00001a45: SWAP1
00001a46: PUSH2 0x1a4e
00001a49: DUP3
00001a4a: PUSH2 0x1983
00001a4d: JUMP
00001a4e: JUMPDEST
00001a4f: PUSH2 0x1a5b
00001a52: PUSH1 0x40
00001a54: MLOAD
00001a55: SWAP2
00001a56: DUP3
00001a57: PUSH2 0x1962
00001a5a: JUMP
00001a5b: JUMPDEST
00001a5c: DUP3
00001a5d: DUP2
00001a5e: MSTORE
00001a5f: DUP1
00001a60: SWAP3
00001a61: PUSH2 0x1a6c
00001a64: PUSH1 0x1f
00001a66: NOT
00001a67: SWAP2
00001a68: PUSH2 0x1983
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: ADD
00001a6e: SWAP1
00001a6f: PUSH0
00001a70: JUMPDEST
00001a71: DUP3
00001a72: DUP2
00001a73: LT
00001a74: PUSH2 0x1a7c
00001a77: JUMPI
00001a78: POP
00001a79: POP
00001a7a: POP
00001a7b: JUMP
00001a7c: JUMPDEST
00001a7d: PUSH1 0x20
00001a7f: SWAP1
00001a80: PUSH1 0x40
00001a82: MLOAD
00001a83: PUSH2 0x1a8b
00001a86: DUP2
00001a87: PUSH2 0x192a
00001a8a: JUMP
00001a8b: JUMPDEST
00001a8c: PUSH0
00001a8d: DUP2
00001a8e: MSTORE
00001a8f: PUSH0
00001a90: DUP4
00001a91: DUP3
00001a92: ADD
00001a93: MSTORE
00001a94: PUSH0
00001a95: PUSH1 0x40
00001a97: DUP3
00001a98: ADD
00001a99: MSTORE
00001a9a: PUSH0
00001a9b: PUSH1 0x60
00001a9d: DUP3
00001a9e: ADD
00001a9f: MSTORE
00001aa0: PUSH0
00001aa1: PUSH1 0x80
00001aa3: DUP3
00001aa4: ADD
00001aa5: MSTORE
00001aa6: PUSH0
00001aa7: PUSH1 0xa0
00001aa9: DUP3
00001aaa: ADD
00001aab: MSTORE
00001aac: PUSH0
00001aad: PUSH1 0xc0
00001aaf: DUP3
00001ab0: ADD
00001ab1: MSTORE
00001ab2: PUSH0
00001ab3: PUSH1 0xe0
00001ab5: DUP3
00001ab6: ADD
00001ab7: MSTORE
00001ab8: PUSH0
00001ab9: PUSH2 0x0100
00001abc: DUP3
00001abd: ADD
00001abe: MSTORE
00001abf: PUSH0
00001ac0: PUSH2 0x0120
00001ac3: DUP3
00001ac4: ADD
00001ac5: MSTORE
00001ac6: DUP3
00001ac7: DUP3
00001ac8: DUP6
00001ac9: ADD
00001aca: ADD
00001acb: MSTORE
00001acc: ADD
00001acd: PUSH2 0x1a70
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: DUP2
00001ad3: DUP2
00001ad4: MUL
00001ad5: SWAP3
00001ad6: SWAP2
00001ad7: DUP2
00001ad8: ISZERO
00001ad9: SWAP2
00001ada: DUP5
00001adb: DIV
00001adc: EQ
00001add: OR
00001ade: ISZERO
00001adf: PUSH2 0x19ef
00001ae2: JUMPI
00001ae3: JUMP
00001ae4: JUMPDEST
00001ae5: SWAP2
00001ae6: SWAP1
00001ae7: DUP3
00001ae8: SUB
00001ae9: SWAP2
00001aea: DUP3
00001aeb: GT
00001aec: PUSH2 0x19ef
00001aef: JUMPI
00001af0: JUMP
00001af1: JUMPDEST
00001af2: PUSH0
00001af3: NOT
00001af4: DUP2
00001af5: EQ
00001af6: PUSH2 0x19ef
00001af9: JUMPI
00001afa: PUSH1 0x01
00001afc: ADD
00001afd: SWAP1
00001afe: JUMP
00001aff: JUMPDEST
00001b00: SWAP1
00001b01: DUP2
00001b02: PUSH1 0x20
00001b04: SWAP2
00001b05: SUB
00001b06: SLT
00001b07: PUSH2 0x020f
00001b0a: JUMPI
00001b0b: MLOAD
00001b0c: DUP1
00001b0d: ISZERO
00001b0e: ISZERO
00001b0f: DUP2
00001b10: SUB
00001b11: PUSH2 0x020f
00001b14: JUMPI
00001b15: SWAP1
00001b16: JUMP
00001b17: JUMPDEST
00001b18: PUSH1 0x20
00001b1a: PUSH1 0x40
00001b1c: DUP2
00001b1d: DUP4
00001b1e: ADD
00001b1f: SWAP3
00001b20: DUP3
00001b21: DUP2
00001b22: MSTORE
00001b23: DUP5
00001b24: MLOAD
00001b25: DUP1
00001b26: SWAP5
00001b27: MSTORE
00001b28: ADD
00001b29: SWAP3
00001b2a: ADD
00001b2b: SWAP1
00001b2c: PUSH0
00001b2d: JUMPDEST
00001b2e: DUP2
00001b2f: DUP2
00001b30: LT
00001b31: PUSH2 0x1b3a
00001b34: JUMPI
00001b35: POP
00001b36: POP
00001b37: POP
00001b38: SWAP1
00001b39: JUMP
00001b3a: JUMPDEST
00001b3b: DUP3
00001b3c: MLOAD
00001b3d: DUP1
00001b3e: MLOAD
00001b3f: PUSH1 0x01
00001b41: PUSH1 0x01
00001b43: PUSH1 0xa0
00001b45: SHL
00001b46: SUB
00001b47: SWAP1
00001b48: DUP2
00001b49: AND
00001b4a: DUP7
00001b4b: MSTORE
00001b4c: PUSH1 0x20
00001b4e: DUP3
00001b4f: DUP2
00001b50: ADD
00001b51: MLOAD
00001b52: DUP3
00001b53: AND
00001b54: DUP2
00001b55: DUP9
00001b56: ADD
00001b57: MSTORE
00001b58: PUSH1 0x40
00001b5a: DUP1
00001b5b: DUP5
00001b5c: ADD
00001b5d: MLOAD
00001b5e: DUP4
00001b5f: AND
00001b60: SWAP1
00001b61: DUP9
00001b62: ADD
00001b63: MSTORE
00001b64: PUSH1 0x60
00001b66: DUP1
00001b67: DUP5
00001b68: ADD
00001b69: MLOAD
00001b6a: SWAP1
00001b6b: DUP9
00001b6c: ADD
00001b6d: MSTORE
00001b6e: PUSH1 0x80
00001b70: DUP1
00001b71: DUP5
00001b72: ADD
00001b73: MLOAD
00001b74: DUP4
00001b75: AND
00001b76: SWAP1
00001b77: DUP9
00001b78: ADD
00001b79: MSTORE
00001b7a: PUSH1 0xa0
00001b7c: DUP1
00001b7d: DUP5
00001b7e: ADD
00001b7f: MLOAD
00001b80: DUP4
00001b81: AND
00001b82: SWAP1
00001b83: DUP9
00001b84: ADD
00001b85: MSTORE
00001b86: PUSH1 0xc0
00001b88: DUP1
00001b89: DUP5
00001b8a: ADD
00001b8b: MLOAD
00001b8c: SWAP1
00001b8d: SWAP3
00001b8e: AND
00001b8f: SWAP2
00001b90: DUP8
00001b91: ADD
00001b92: SWAP2
00001b93: SWAP1
00001b94: SWAP2
00001b95: MSTORE
00001b96: PUSH1 0xe0
00001b98: DUP1
00001b99: DUP4
00001b9a: ADD
00001b9b: MLOAD
00001b9c: SWAP1
00001b9d: DUP8
00001b9e: ADD
00001b9f: MSTORE
00001ba0: PUSH2 0x0100
00001ba3: DUP1
00001ba4: DUP4
00001ba5: ADD
00001ba6: MLOAD
00001ba7: SWAP1
00001ba8: DUP8
00001ba9: ADD
00001baa: MSTORE
00001bab: PUSH2 0x0120
00001bae: SWAP2
00001baf: DUP3
00001bb0: ADD
00001bb1: MLOAD
00001bb2: SWAP2
00001bb3: DUP7
00001bb4: ADD
00001bb5: SWAP2
00001bb6: SWAP1
00001bb7: SWAP2
00001bb8: MSTORE
00001bb9: PUSH2 0x0140
00001bbc: SWAP1
00001bbd: SWAP5
00001bbe: ADD
00001bbf: SWAP4
00001bc0: SWAP1
00001bc1: SWAP3
00001bc2: ADD
00001bc3: SWAP2
00001bc4: PUSH1 0x01
00001bc6: ADD
00001bc7: PUSH2 0x1b2d
00001bca: JUMP
00001bcb: JUMPDEST
00001bcc: PUSH0
00001bcd: PUSH2 0x0140
00001bd0: PUSH1 0x40
00001bd2: MLOAD
00001bd3: PUSH2 0x1bdb
00001bd6: DUP2
00001bd7: PUSH2 0x1946
00001bda: JUMP
00001bdb: JUMPDEST
00001bdc: DUP3
00001bdd: DUP2
00001bde: MSTORE
00001bdf: DUP3
00001be0: PUSH1 0x20
00001be2: DUP3
00001be3: ADD
00001be4: MSTORE
00001be5: DUP3
00001be6: PUSH1 0x40
00001be8: DUP3
00001be9: ADD
00001bea: MSTORE
00001beb: DUP3
00001bec: PUSH1 0x60
00001bee: DUP3
00001bef: ADD
00001bf0: MSTORE
00001bf1: DUP3
00001bf2: PUSH1 0x80
00001bf4: DUP3
00001bf5: ADD
00001bf6: MSTORE
00001bf7: DUP3
00001bf8: PUSH1 0xa0
00001bfa: DUP3
00001bfb: ADD
00001bfc: MSTORE
00001bfd: DUP3
00001bfe: PUSH1 0xc0
00001c00: DUP3
00001c01: ADD
00001c02: MSTORE
00001c03: DUP3
00001c04: PUSH1 0xe0
00001c06: DUP3
00001c07: ADD
00001c08: MSTORE
00001c09: DUP3
00001c0a: PUSH2 0x0100
00001c0d: DUP3
00001c0e: ADD
00001c0f: MSTORE
00001c10: DUP3
00001c11: PUSH2 0x0120
00001c14: DUP3
00001c15: ADD
00001c16: MSTORE
00001c17: ADD
00001c18: MSTORE
00001c19: PUSH0
00001c1a: MSTORE
00001c1b: PUSH1 0x05
00001c1d: PUSH1 0x20
00001c1f: MSTORE
00001c20: PUSH1 0x40
00001c22: PUSH0
00001c23: KECCAK256
00001c24: SLOAD
00001c25: PUSH0
00001c26: MSTORE
00001c27: PUSH1 0x03
00001c29: PUSH1 0x20
00001c2b: MSTORE
00001c2c: PUSH1 0x40
00001c2e: PUSH0
00001c2f: KECCAK256
00001c30: PUSH1 0x03
00001c32: PUSH1 0x40
00001c34: MLOAD
00001c35: SWAP2
00001c36: PUSH2 0x1c3e
00001c39: DUP4
00001c3a: PUSH2 0x1946
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: DUP1
00001c40: SLOAD
00001c41: PUSH1 0x01
00001c43: DUP1
00001c44: PUSH1 0xa0
00001c46: SHL
00001c47: SUB
00001c48: DUP2
00001c49: AND
00001c4a: DUP5
00001c4b: MSTORE
00001c4c: PUSH1 0xff
00001c4e: DUP2
00001c4f: PUSH1 0xa0
00001c51: SHR
00001c52: AND
00001c53: PUSH1 0x20
00001c55: DUP6
00001c56: ADD
00001c57: MSTORE
00001c58: PUSH1 0xff
00001c5a: DUP2
00001c5b: PUSH1 0xa8
00001c5d: SHR
00001c5e: AND
00001c5f: PUSH1 0x40
00001c61: DUP6
00001c62: ADD
00001c63: MSTORE
00001c64: PUSH1 0xb0
00001c66: SHR
00001c67: PUSH1 0x60
00001c69: DUP5
00001c6a: ADD
00001c6b: MSTORE
00001c6c: PUSH1 0x01
00001c6e: DUP2
00001c6f: ADD
00001c70: SLOAD
00001c71: PUSH1 0x01
00001c73: PUSH1 0x01
00001c75: PUSH1 0x50
00001c77: SHL
00001c78: SUB
00001c79: DUP2
00001c7a: AND
00001c7b: PUSH1 0x80
00001c7d: DUP6
00001c7e: ADD
00001c7f: MSTORE
00001c80: PUSH1 0x01
00001c82: PUSH1 0x01
00001c84: PUSH1 0x58
00001c86: SHL
00001c87: SUB
00001c88: DUP2
00001c89: PUSH1 0x50
00001c8b: SHR
00001c8c: AND
00001c8d: PUSH1 0xa0
00001c8f: DUP6
00001c90: ADD
00001c91: MSTORE
00001c92: PUSH1 0xa8
00001c94: SHR
00001c95: PUSH1 0xc0
00001c97: DUP5
00001c98: ADD
00001c99: MSTORE
00001c9a: PUSH1 0x02
00001c9c: DUP2
00001c9d: ADD
00001c9e: SLOAD
00001c9f: PUSH1 0x01
00001ca1: PUSH1 0x01
00001ca3: PUSH1 0x58
00001ca5: SHL
00001ca6: SUB
00001ca7: DUP2
00001ca8: AND
00001ca9: PUSH1 0xe0
00001cab: DUP6
00001cac: ADD
00001cad: MSTORE
00001cae: PUSH1 0x01
00001cb0: DUP1
00001cb1: PUSH1 0xa0
00001cb3: SHL
00001cb4: SUB
00001cb5: DUP2
00001cb6: PUSH1 0x58
00001cb8: SHR
00001cb9: AND
00001cba: PUSH2 0x0100
00001cbd: DUP6
00001cbe: ADD
00001cbf: MSTORE
00001cc0: PUSH1 0xf8
00001cc2: SHR
00001cc3: ISZERO
00001cc4: ISZERO
00001cc5: PUSH2 0x0120
00001cc8: DUP5
00001cc9: ADD
00001cca: MSTORE
00001ccb: ADD
00001ccc: SLOAD
00001ccd: PUSH2 0x0140
00001cd0: DUP3
00001cd1: ADD
00001cd2: MSTORE
00001cd3: SWAP1
00001cd4: JUMP
00001cd5: JUMPDEST
00001cd6: PUSH2 0x1cde
00001cd9: SWAP1
00001cda: PUSH2 0x1bcb
00001cdd: JUMP
00001cde: JUMPDEST
00001cdf: PUSH1 0xc0
00001ce1: DUP2
00001ce2: ADD
00001ce3: MLOAD
00001ce4: PUSH1 0x01
00001ce6: PUSH1 0x01
00001ce8: PUSH1 0x58
00001cea: SHL
00001ceb: SUB
00001cec: AND
00001ced: SWAP1
00001cee: DUP2
00001cef: ISZERO
00001cf0: PUSH2 0x1cf7
00001cf3: JUMPI
00001cf4: POP
00001cf5: SWAP1
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: PUSH2 0x0120
00001cfb: ADD
00001cfc: MLOAD
00001cfd: ISZERO
00001cfe: SWAP1
00001cff: POP
00001d00: PUSH2 0x1d0b
00001d03: JUMPI
00001d04: PUSH4 0x01c9c380
00001d09: SWAP1
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH8 0x016345785d8a0000
00001d15: SWAP1
00001d16: JUMP
00001d17: JUMPDEST
00001d18: DUP3
00001d19: SWAP1
00001d1a: DUP3
00001d1b: PUSH1 0x40
00001d1d: MLOAD
00001d1e: PUSH1 0x20
00001d20: DUP2
00001d21: ADD
00001d22: SWAP1
00001d23: PUSH1 0x01
00001d25: PUSH1 0x01
00001d27: PUSH1 0x60
00001d29: SHL
00001d2a: SUB
00001d2b: NOT
00001d2c: DUP9
00001d2d: PUSH1 0x60
00001d2f: SHL
00001d30: AND
00001d31: DUP3
00001d32: MSTORE
00001d33: PUSH1 0x14
00001d35: DUP2
00001d36: MSTORE
00001d37: PUSH2 0x1d41
00001d3a: PUSH1 0x34
00001d3c: DUP3
00001d3d: PUSH2 0x1962
00001d40: JUMP
00001d41: JUMPDEST
00001d42: MLOAD
00001d43: SWAP1
00001d44: KECCAK256
00001d45: SWAP4
00001d46: PUSH2 0x1d82
00001d49: JUMPI
00001d4a: JUMPDEST
00001d4b: POP
00001d4c: POP
00001d4d: EQ
00001d4e: PUSH1 0x01
00001d50: EQ
00001d51: PUSH2 0x1d58
00001d54: JUMPI
00001d55: POP
00001d56: POP
00001d57: JUMP
00001d58: JUMPDEST
00001d59: PUSH0
00001d5a: MSTORE
00001d5b: PUSH1 0x08
00001d5d: PUSH1 0x20
00001d5f: MSTORE
00001d60: PUSH1 0x40
00001d62: PUSH0
00001d63: KECCAK256
00001d64: SWAP1
00001d65: PUSH1 0x01
00001d67: DUP1
00001d68: PUSH1 0xa0
00001d6a: SHL
00001d6b: SUB
00001d6c: AND
00001d6d: PUSH0
00001d6e: MSTORE
00001d6f: PUSH1 0x20
00001d71: MSTORE
00001d72: PUSH1 0x40
00001d74: PUSH0
00001d75: KECCAK256
00001d76: PUSH1 0x01
00001d78: PUSH1 0xff
00001d7a: NOT
00001d7b: DUP3
00001d7c: SLOAD
00001d7d: AND
00001d7e: OR
00001d7f: SWAP1
00001d80: SSTORE
00001d81: JUMP
00001d82: JUMPDEST
00001d83: SWAP1
00001d84: SWAP2
00001d85: POP
00001d86: PUSH1 0x05
00001d88: SHL
00001d89: DUP2
00001d8a: ADD
00001d8b: SWAP1
00001d8c: SWAP2
00001d8d: JUMPDEST
00001d8e: PUSH1 0x20
00001d90: DUP4
00001d91: CALLDATALOAD
00001d92: SWAP2
00001d93: DUP3
00001d94: DUP2
00001d95: GT
00001d96: PUSH1 0x05
00001d98: SHL
00001d99: SWAP1
00001d9a: DUP2
00001d9b: MSTORE
00001d9c: XOR
00001d9d: MSTORE
00001d9e: PUSH1 0x20
00001da0: PUSH1 0x40
00001da2: PUSH0
00001da3: KECCAK256
00001da4: SWAP3
00001da5: ADD
00001da6: SWAP2
00001da7: DUP4
00001da8: DUP3
00001da9: DUP5
00001daa: LT
00001dab: ISZERO
00001dac: PUSH2 0x1db5
00001daf: JUMPI
00001db0: POP
00001db1: PUSH2 0x1d8d
00001db4: JUMP
00001db5: JUMPDEST
00001db6: SWAP2
00001db7: POP
00001db8: PUSH1 0x01
00001dba: SWAP3
00001dbb: POP
00001dbc: SWAP2
00001dbd: PUSH0
00001dbe: PUSH2 0x1d4a
00001dc1: JUMP
00001dc2: JUMPDEST
00001dc3: PUSH2 0x1dd8
00001dc6: PUSH1 0x01
00001dc8: PUSH1 0x01
00001dca: PUSH1 0x50
00001dcc: SHL
00001dcd: SUB
00001dce: PUSH1 0x80
00001dd0: PUSH2 0x19c4
00001dd3: DUP5
00001dd4: PUSH2 0x1bcb
00001dd7: JUMP
00001dd8: JUMPDEST
00001dd9: DUP2
00001dda: ISZERO
00001ddb: ISZERO
00001ddc: SWAP2
00001ddd: DUP3
00001dde: PUSH2 0x1df3
00001de1: JUMPI
00001de2: JUMPDEST
00001de3: POP
00001de4: DUP2
00001de5: PUSH2 0x1dec
00001de8: JUMPI
00001de9: POP
00001dea: SWAP1
00001deb: JUMP
00001dec: JUMPDEST
00001ded: SWAP1
00001dee: POP
00001def: TIMESTAMP
00001df0: LT
00001df1: SWAP1
00001df2: JUMP
00001df3: JUMPDEST
00001df4: TIMESTAMP
00001df5: LT
00001df6: ISZERO
00001df7: SWAP2
00001df8: POP
00001df9: PUSH0
00001dfa: PUSH2 0x1de2
00001dfd: JUMP
00001dfe: JUMPDEST
00001dff: SWAP1
00001e00: PUSH1 0x01
00001e02: PUSH1 0x01
00001e04: PUSH1 0x50
00001e06: SHL
00001e07: SUB
00001e08: DUP1
00001e09: SWAP2
00001e0a: AND
00001e0b: SWAP2
00001e0c: AND
00001e0d: ADD
00001e0e: SWAP1
00001e0f: PUSH1 0x01
00001e11: PUSH1 0x01
00001e13: PUSH1 0x50
00001e15: SHL
00001e16: SUB
00001e17: DUP3
00001e18: GT
00001e19: PUSH2 0x19ef
00001e1c: JUMPI
00001e1d: JUMP
00001e1e: JUMPDEST
00001e1f: ISZERO
00001e20: PUSH2 0x1e25
00001e23: JUMPI
00001e24: JUMP
00001e25: JUMPDEST
00001e26: PUSH1 0x40
00001e28: MLOAD
00001e29: PUSH3 0x461bcd
00001e2d: PUSH1 0xe5
00001e2f: SHL
00001e30: DUP2
00001e31: MSTORE
00001e32: PUSH1 0x20
00001e34: PUSH1 0x04
00001e36: DUP3
00001e37: ADD
00001e38: MSTORE
00001e39: PUSH1 0x1c
00001e3b: PUSH1 0x24
00001e3d: DUP3
00001e3e: ADD
00001e3f: MSTORE
00001e40: PUSH32 0x496e636f727265637420616d6f756e74206f66204554482073656e7400000000
00001e61: PUSH1 0x44
00001e63: DUP3
00001e64: ADD
00001e65: MSTORE
00001e66: PUSH1 0x64
00001e68: SWAP1
00001e69: REVERT
00001e6a: JUMPDEST
00001e6b: SWAP2
00001e6c: SWAP4
00001e6d: SWAP1
00001e6e: SWAP3
00001e6f: SWAP4
00001e70: PUSH1 0xff
00001e72: PUSH1 0x02
00001e74: SLOAD
00001e75: PUSH1 0xa0
00001e77: SHR
00001e78: AND
00001e79: PUSH2 0x25cd
00001e7c: JUMPI
00001e7d: DUP5
00001e7e: DUP5
00001e7f: SUB
00001e80: PUSH2 0x020f
00001e83: JUMPI
00001e84: CALLER
00001e85: PUSH1 0x01
00001e87: PUSH1 0x01
00001e89: PUSH1 0xa0
00001e8b: SHL
00001e8c: SUB
00001e8d: DUP4
00001e8e: AND
00001e8f: SUB
00001e90: PUSH2 0x2553
00001e93: JUMPI
00001e94: JUMPDEST
00001e95: PUSH1 0x40
00001e97: MLOAD
00001e98: SWAP5
00001e99: PUSH2 0x1ea1
00001e9c: DUP7
00001e9d: PUSH2 0x190f
00001ea0: JUMP
00001ea1: JUMPDEST
00001ea2: PUSH0
00001ea3: DUP7
00001ea4: MSTORE
00001ea5: PUSH1 0x20
00001ea7: DUP7
00001ea8: ADD
00001ea9: SWAP5
00001eaa: PUSH0
00001eab: DUP7
00001eac: MSTORE
00001ead: PUSH0
00001eae: JUMPDEST
00001eaf: DUP2
00001eb0: DUP2
00001eb1: LT
00001eb2: PUSH2 0x1fac
00001eb5: JUMPI
00001eb6: POP
00001eb7: POP
00001eb8: POP
00001eb9: POP
00001eba: POP
00001ebb: POP
00001ebc: MLOAD
00001ebd: DUP1
00001ebe: PUSH2 0x1f2e
00001ec1: JUMPI
00001ec2: JUMPDEST
00001ec3: POP
00001ec4: DUP1
00001ec5: MLOAD
00001ec6: ISZERO
00001ec7: PUSH2 0x1ef6
00001eca: JUMPI
00001ecb: DUP1
00001ecc: PUSH2 0x1edb
00001ecf: PUSH2 0x1ee2
00001ed2: SWAP3
00001ed3: MLOAD
00001ed4: CALLVALUE
00001ed5: LT
00001ed6: ISZERO
00001ed7: PUSH2 0x1e1e
00001eda: JUMP
00001edb: JUMPDEST
00001edc: MLOAD
00001edd: CALLVALUE
00001ede: PUSH2 0x1ae4
00001ee1: JUMP
00001ee2: JUMPDEST
00001ee3: DUP1
00001ee4: PUSH2 0x1eea
00001ee7: JUMPI
00001ee8: POP
00001ee9: JUMP
00001eea: JUMPDEST
00001eeb: PUSH2 0x1ef4
00001eee: SWAP1
00001eef: CALLER
00001ef0: PUSH2 0x30de
00001ef3: JUMP
00001ef4: JUMPDEST
00001ef5: JUMP
00001ef6: JUMPDEST
00001ef7: PUSH1 0x40
00001ef9: MLOAD
00001efa: PUSH3 0x461bcd
00001efe: PUSH1 0xe5
00001f00: SHL
00001f01: DUP2
00001f02: MSTORE
00001f03: PUSH1 0x20
00001f05: PUSH1 0x04
00001f07: DUP3
00001f08: ADD
00001f09: MSTORE
00001f0a: PUSH1 0x10
00001f0c: PUSH1 0x24
00001f0e: DUP3
00001f0f: ADD
00001f10: MSTORE
00001f11: PUSH16 0x20b636103134b239903330b4b632b217
00001f22: PUSH1 0x81
00001f24: SHL
00001f25: PUSH1 0x44
00001f27: DUP3
00001f28: ADD
00001f29: MSTORE
00001f2a: PUSH1 0x64
00001f2c: SWAP1
00001f2d: REVERT
00001f2e: JUMPDEST
00001f2f: PUSH1 0x40
00001f31: MLOAD
00001f32: PUSH4 0x23b872dd
00001f37: PUSH1 0xe0
00001f39: SHL
00001f3a: DUP2
00001f3b: MSTORE
00001f3c: CALLER
00001f3d: PUSH1 0x04
00001f3f: DUP3
00001f40: ADD
00001f41: MSTORE
00001f42: ADDRESS
00001f43: PUSH1 0x24
00001f45: DUP3
00001f46: ADD
00001f47: MSTORE
00001f48: PUSH1 0x44
00001f4a: DUP2
00001f4b: ADD
00001f4c: SWAP2
00001f4d: SWAP1
00001f4e: SWAP2
00001f4f: MSTORE
00001f50: PUSH1 0x20
00001f52: DUP2
00001f53: PUSH1 0x64
00001f55: DUP2
00001f56: PUSH0
00001f57: PUSH1 0x01
00001f59: PUSH1 0x01
00001f5b: PUSH1 0xa0
00001f5d: SHL
00001f5e: SUB
00001f5f: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001f80: AND
00001f81: GAS
00001f82: CALL
00001f83: DUP1
00001f84: ISZERO
00001f85: PUSH2 0x0a2b
00001f88: JUMPI
00001f89: ISZERO
00001f8a: PUSH2 0x1ec2
00001f8d: JUMPI
00001f8e: PUSH2 0x1fa5
00001f91: SWAP1
00001f92: PUSH1 0x20
00001f94: RETURNDATASIZE
00001f95: PUSH1 0x20
00001f97: GT
00001f98: PUSH2 0x0a24
00001f9b: JUMPI
00001f9c: PUSH2 0x0a15
00001f9f: DUP2
00001fa0: DUP4
00001fa1: PUSH2 0x1962
00001fa4: JUMP
00001fa5: JUMPDEST
00001fa6: POP
00001fa7: PUSH0
00001fa8: PUSH2 0x1ec2
00001fab: JUMP
00001fac: JUMPDEST
00001fad: PUSH2 0x1fb7
00001fb0: DUP2
00001fb1: DUP4
00001fb2: DUP9
00001fb3: PUSH2 0x188d
00001fb6: JUMP
00001fb7: JUMPDEST
00001fb8: CALLDATALOAD
00001fb9: SWAP1
00001fba: PUSH2 0x1fc4
00001fbd: DUP2
00001fbe: DUP6
00001fbf: DUP8
00001fc0: PUSH2 0x188d
00001fc3: JUMP
00001fc4: JUMPDEST
00001fc5: CALLDATALOAD
00001fc6: PUSH2 0x1fce
00001fc9: DUP4
00001fca: PUSH2 0x1bcb
00001fcd: JUMP
00001fce: JUMPDEST
00001fcf: SWAP3
00001fd0: PUSH2 0x0140
00001fd3: DUP5
00001fd4: ADD
00001fd5: SWAP1
00001fd6: DUP2
00001fd7: MLOAD
00001fd8: PUSH0
00001fd9: MSTORE
00001fda: PUSH1 0x07
00001fdc: PUSH1 0x20
00001fde: MSTORE
00001fdf: PUSH1 0x40
00001fe1: PUSH0
00001fe2: KECCAK256
00001fe3: SWAP2
00001fe4: PUSH1 0xff
00001fe6: PUSH1 0x40
00001fe8: MLOAD
00001fe9: SWAP4
00001fea: PUSH2 0x1ff2
00001fed: DUP6
00001fee: PUSH2 0x190f
00001ff1: JUMP
00001ff2: JUMPDEST
00001ff3: SLOAD
00001ff4: PUSH1 0x01
00001ff6: PUSH1 0x01
00001ff8: PUSH1 0x50
00001ffa: SHL
00001ffb: SUB
00001ffc: DUP2
00001ffd: AND
00001ffe: DUP6
00001fff: MSTORE
00002000: PUSH1 0x50
00002002: SHR
00002003: AND
00002004: PUSH1 0x20
00002006: DUP5
00002007: ADD
00002008: MSTORE
00002009: PUSH0
0000200a: SWAP3
0000200b: PUSH1 0x80
0000200d: DUP8
0000200e: ADD
0000200f: SWAP1
00002010: PUSH1 0x01
00002012: PUSH1 0x01
00002014: PUSH1 0x50
00002016: SHL
00002017: SUB
00002018: DUP1
00002019: DUP4
0000201a: MLOAD
0000201b: AND
0000201c: EQ
0000201d: PUSH2 0x23f9
00002020: JUMPI
00002021: JUMPDEST
00002022: PUSH2 0x202a
00002025: DUP5
00002026: PUSH2 0x1dc2
00002029: JUMP
0000202a: JUMPDEST
0000202b: DUP1
0000202c: ISZERO
0000202d: PUSH2 0x23be
00002030: JUMPI
00002031: JUMPDEST
00002032: ISZERO
00002033: SWAP3
00002034: DUP4
00002035: ISZERO
00002036: PUSH2 0x234c
00002039: JUMPI
0000203a: JUMPDEST
0000203b: POP
0000203c: POP
0000203d: POP
0000203e: PUSH2 0x2339
00002041: JUMPI
00002042: DUP1
00002043: PUSH0
00002044: MSTORE
00002045: PUSH1 0x04
00002047: PUSH1 0x20
00002049: MSTORE
0000204a: PUSH1 0x40
0000204c: PUSH0
0000204d: KECCAK256
0000204e: SWAP3
0000204f: PUSH1 0x40
00002051: MLOAD
00002052: SWAP4
00002053: PUSH2 0x205b
00002056: DUP6
00002057: PUSH2 0x18f4
0000205a: JUMP
0000205b: JUMPDEST
0000205c: SLOAD
0000205d: PUSH3 0xffffff
00002061: DUP2
00002062: AND
00002063: DUP6
00002064: MSTORE
00002065: PUSH1 0x01
00002067: PUSH1 0x01
00002069: PUSH1 0x48
0000206b: SHL
0000206c: SUB
0000206d: DUP2
0000206e: PUSH1 0x18
00002070: SHR
00002071: AND
00002072: SWAP4
00002073: PUSH2 0x0120
00002076: PUSH1 0x20
00002078: DUP8
00002079: ADD
0000207a: SWAP9
0000207b: DUP7
0000207c: DUP11
0000207d: MSTORE
0000207e: PUSH1 0x40
00002080: DUP9
00002081: ADD
00002082: SWAP4
00002083: PUSH1 0x60
00002085: SHR
00002086: DUP5
00002087: MSTORE
00002088: ADD
00002089: SWAP5
0000208a: DUP6
0000208b: MLOAD
0000208c: ISZERO
0000208d: ISZERO
0000208e: PUSH0
0000208f: EQ
00002090: PUSH2 0x232a
00002093: JUMPI
00002094: PUSH4 0x11e1a300
00002099: SWAP1
0000209a: JUMPDEST
0000209b: LT
0000209c: PUSH2 0x2322
0000209f: JUMPI
000020a0: PUSH2 0x03e8
000020a3: JUMPDEST
000020a4: PUSH1 0x01
000020a6: PUSH1 0x01
000020a8: PUSH1 0x48
000020aa: SHL
000020ab: SUB
000020ac: DUP10
000020ad: MLOAD
000020ae: AND
000020af: SWAP1
000020b0: PUSH2 0x2710
000020b3: ADD
000020b4: SWAP1
000020b5: DUP2
000020b6: PUSH2 0x2710
000020b9: GT
000020ba: PUSH2 0x19ef
000020bd: JUMPI
000020be: PUSH2 0x2710
000020c1: SWAP2
000020c2: PUSH2 0x20ca
000020c5: SWAP2
000020c6: PUSH2 0x1ad1
000020c9: JUMP
000020ca: JUMPDEST
000020cb: DIV
000020cc: DUP4
000020cd: LT
000020ce: ISZERO
000020cf: DUP1
000020d0: PUSH2 0x2310
000020d3: JUMPI
000020d4: JUMPDEST
000020d5: ISZERO
000020d6: PUSH2 0x22e6
000020d9: JUMPI
000020da: POP
000020db: PUSH0
000020dc: SWAP7
000020dd: PUSH3 0xffffff
000020e1: PUSH0
000020e2: SWAP7
000020e3: MLOAD
000020e4: AND
000020e5: SWAP2
000020e6: PUSH1 0x01
000020e8: PUSH1 0x01
000020ea: PUSH1 0x48
000020ec: SHL
000020ed: SUB
000020ee: PUSH2 0x20f6
000020f1: DUP7
000020f2: PUSH2 0x1a03
000020f5: JUMP
000020f6: JUMPDEST
000020f7: SWAP3
000020f8: MLOAD
000020f9: AND
000020fa: DUP1
000020fb: PUSH2 0x22cf
000020fe: JUMPI
000020ff: JUMPDEST
00002100: POP
00002101: POP
00002102: PUSH2 0x0258
00002105: PUSH2 0x210e
00002108: TIMESTAMP
00002109: DUP4
0000210a: PUSH2 0x1ae4
0000210d: JUMP
0000210e: JUMPDEST
0000210f: LT
00002110: PUSH2 0x22a9
00002113: JUMPI
00002114: JUMPDEST
00002115: POP
00002116: PUSH3 0xffffff
0000211a: PUSH1 0x40
0000211c: MLOAD
0000211d: SWAP2
0000211e: PUSH2 0x2126
00002121: DUP4
00002122: PUSH2 0x18f4
00002125: JUMP
00002126: JUMPDEST
00002127: AND
00002128: DUP2
00002129: MSTORE
0000212a: PUSH1 0x20
0000212c: DUP2
0000212d: ADD
0000212e: PUSH1 0x01
00002130: PUSH1 0x01
00002132: PUSH1 0x48
00002134: SHL
00002135: SUB
00002136: DUP4
00002137: AND
00002138: DUP2
00002139: MSTORE
0000213a: PUSH1 0x40
0000213c: DUP3
0000213d: ADD
0000213e: SWAP1
0000213f: CALLER
00002140: DUP3
00002141: MSTORE
00002142: DUP5
00002143: PUSH0
00002144: MSTORE
00002145: PUSH1 0x04
00002147: PUSH1 0x20
00002149: MSTORE
0000214a: PUSH12 0xffffffffffffffffff000000
00002157: PUSH3 0xffffff
0000215b: PUSH1 0x40
0000215d: PUSH0
0000215e: KECCAK256
0000215f: SWAP5
00002160: MLOAD
00002161: AND
00002162: SWAP2
00002163: MLOAD
00002164: PUSH1 0x18
00002166: SHL
00002167: AND
00002168: SWAP2
00002169: PUSH1 0x01
0000216b: PUSH1 0x01
0000216d: PUSH1 0x60
0000216f: SHL
00002170: SUB
00002171: NOT
00002172: SWAP1
00002173: MLOAD
00002174: PUSH1 0x60
00002176: SHL
00002177: AND
00002178: SWAP2
00002179: OR
0000217a: OR
0000217b: SWAP1
0000217c: SSTORE
0000217d: DUP13
0000217e: DUP2
0000217f: DUP5
00002180: MLOAD
00002181: ISZERO
00002182: ISZERO
00002183: PUSH0
00002184: EQ
00002185: PUSH2 0x2298
00002188: JUMPI
00002189: PUSH2 0x2194
0000218c: SWAP2
0000218d: POP
0000218e: DUP14
0000218f: MLOAD
00002190: PUSH2 0x19e2
00002193: JUMP
00002194: JUMPDEST
00002195: DUP13
00002196: MSTORE
00002197: JUMPDEST
00002198: PUSH1 0x40
0000219a: MLOAD
0000219b: SWAP1
0000219c: CALLER
0000219d: DUP3
0000219e: MSTORE
0000219f: PUSH1 0x20
000021a1: DUP3
000021a2: ADD
000021a3: MSTORE
000021a4: TIMESTAMP
000021a5: PUSH1 0x40
000021a7: DUP3
000021a8: ADD
000021a9: MSTORE
000021aa: PUSH1 0x01
000021ac: PUSH1 0x01
000021ae: PUSH1 0x60
000021b0: SHL
000021b1: SUB
000021b2: DUP3
000021b3: AND
000021b4: SWAP2
000021b5: PUSH32 0xe55fea5e734015d5114a28644bd784f4484c9d4fa2d29dee5aff56034294e21b
000021d6: PUSH1 0x60
000021d8: DUP3
000021d9: DUP2
000021da: SHR
000021db: SWAP4
000021dc: LOG4
000021dd: DUP4
000021de: PUSH2 0x21ef
000021e1: JUMPI
000021e2: JUMPDEST
000021e3: POP
000021e4: POP
000021e5: PUSH1 0x01
000021e7: SWAP2
000021e8: POP
000021e9: JUMPDEST
000021ea: ADD
000021eb: PUSH2 0x1eae
000021ee: JUMP
000021ef: JUMPDEST
000021f0: MLOAD
000021f1: ISZERO
000021f2: PUSH2 0x2287
000021f5: JUMPI
000021f6: PUSH1 0x40
000021f8: MLOAD
000021f9: PUSH4 0xa9059cbb
000021fe: PUSH1 0xe0
00002200: SHL
00002201: DUP2
00002202: MSTORE
00002203: PUSH1 0x01
00002205: PUSH1 0x01
00002207: PUSH1 0xa0
00002209: SHL
0000220a: SUB
0000220b: SWAP1
0000220c: SWAP2
0000220d: AND
0000220e: PUSH1 0x04
00002210: DUP3
00002211: ADD
00002212: MSTORE
00002213: PUSH1 0x24
00002215: DUP2
00002216: ADD
00002217: SWAP3
00002218: SWAP1
00002219: SWAP3
0000221a: MSTORE
0000221b: PUSH1 0x20
0000221d: DUP3
0000221e: DUP1
0000221f: PUSH1 0x44
00002221: DUP2
00002222: ADD
00002223: SUB
00002224: DUP2
00002225: PUSH0
00002226: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00002247: PUSH1 0x01
00002249: PUSH1 0x01
0000224b: PUSH1 0xa0
0000224d: SHL
0000224e: SUB
0000224f: AND
00002250: GAS
00002251: CALL
00002252: SWAP2
00002253: DUP3
00002254: ISZERO
00002255: PUSH2 0x0a2b
00002258: JUMPI
00002259: PUSH1 0x01
0000225b: SWAP3
0000225c: PUSH2 0x2269
0000225f: JUMPI
00002260: JUMPDEST
00002261: POP
00002262: JUMPDEST
00002263: PUSH0
00002264: DUP1
00002265: PUSH2 0x21e2
00002268: JUMP
00002269: JUMPDEST
0000226a: PUSH2 0x2280
0000226d: SWAP1
0000226e: PUSH1 0x20
00002270: RETURNDATASIZE
00002271: DUP2
00002272: GT
00002273: PUSH2 0x0a24
00002276: JUMPI
00002277: PUSH2 0x0a15
0000227a: DUP2
0000227b: DUP4
0000227c: PUSH2 0x1962
0000227f: JUMP
00002280: JUMPDEST
00002281: POP
00002282: PUSH0
00002283: PUSH2 0x2260
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH1 0x01
0000228a: SWAP3
0000228b: PUSH2 0x2293
0000228e: SWAP2
0000228f: PUSH2 0x30de
00002292: JUMP
00002293: JUMPDEST
00002294: PUSH2 0x2262
00002297: JUMP
00002298: JUMPDEST
00002299: PUSH2 0x22a2
0000229c: SWAP2
0000229d: MLOAD
0000229e: PUSH2 0x19e2
000022a1: JUMP
000022a2: JUMPDEST
000022a3: DUP14
000022a4: MSTORE
000022a5: PUSH2 0x2197
000022a8: JUMP
000022a9: JUMPDEST
000022aa: SWAP1
000022ab: PUSH2 0x0258
000022ae: TIMESTAMP
000022af: ADD
000022b0: DUP1
000022b1: TIMESTAMP
000022b2: GT
000022b3: PUSH2 0x19ef
000022b6: JUMPI
000022b7: PUSH2 0x22c9
000022ba: SWAP3
000022bb: PUSH2 0x22c3
000022be: SWAP2
000022bf: PUSH2 0x1ae4
000022c2: JUMP
000022c3: JUMPDEST
000022c4: SWAP1
000022c5: PUSH2 0x19e2
000022c8: JUMP
000022c9: JUMPDEST
000022ca: PUSH0
000022cb: PUSH2 0x2114
000022ce: JUMP
000022cf: JUMPDEST
000022d0: SWAP1
000022d1: MLOAD
000022d2: SWAP1
000022d3: SWAP9
000022d4: POP
000022d5: PUSH1 0x01
000022d7: PUSH1 0x01
000022d9: PUSH1 0xa0
000022db: SHL
000022dc: SUB
000022dd: AND
000022de: SWAP6
000022df: POP
000022e0: PUSH0
000022e1: DUP1
000022e2: PUSH2 0x20ff
000022e5: JUMP
000022e6: JUMPDEST
000022e7: SWAP5
000022e8: POP
000022e9: POP
000022ea: POP
000022eb: SWAP1
000022ec: POP
000022ed: PUSH1 0x01
000022ef: SWAP4
000022f0: POP
000022f1: DUP2
000022f2: PUSH2 0x22fd
000022f5: JUMPI
000022f6: JUMPDEST
000022f7: POP
000022f8: POP
000022f9: PUSH2 0x21e9
000022fc: JUMP
000022fd: JUMPDEST
000022fe: PUSH0
000022ff: MSTORE
00002300: PUSH1 0x05
00002302: PUSH1 0x20
00002304: MSTORE
00002305: PUSH1 0x40
00002307: PUSH0
00002308: KECCAK256
00002309: SSTORE
0000230a: PUSH0
0000230b: DUP1
0000230c: PUSH2 0x22f6
0000230f: JUMP
00002310: JUMPDEST
00002311: POP
00002312: PUSH2 0x231a
00002315: DUP5
00002316: PUSH2 0x1cd5
00002319: JUMP
0000231a: JUMPDEST
0000231b: DUP4
0000231c: LT
0000231d: ISZERO
0000231e: PUSH2 0x20d4
00002321: JUMP
00002322: JUMPDEST
00002323: PUSH2 0x07d0
00002326: PUSH2 0x20a3
00002329: JUMP
0000232a: JUMPDEST
0000232b: PUSH8 0x02c68af0bb140000
00002334: SWAP1
00002335: PUSH2 0x209a
00002338: JUMP
00002339: JUMPDEST
0000233a: SWAP1
0000233b: PUSH1 0x01
0000233d: SWAP5
0000233e: POP
0000233f: DUP1
00002340: SWAP3
00002341: POP
00002342: PUSH2 0x22fd
00002345: JUMPI
00002346: POP
00002347: POP
00002348: PUSH2 0x21e9
0000234b: JUMP
0000234c: JUMPDEST
0000234d: MLOAD
0000234e: DUP1
0000234f: ISZERO
00002350: ISZERO
00002351: SWAP4
00002352: POP
00002353: SWAP1
00002354: SWAP2
00002355: SWAP1
00002356: DUP4
00002357: PUSH2 0x2392
0000235a: JUMPI
0000235b: JUMPDEST
0000235c: POP
0000235d: DUP3
0000235e: PUSH2 0x236c
00002361: JUMPI
00002362: JUMPDEST
00002363: POP
00002364: POP
00002365: PUSH0
00002366: DUP1
00002367: DUP1
00002368: PUSH2 0x203a
0000236b: JUMP
0000236c: JUMPDEST
0000236d: PUSH1 0x01
0000236f: PUSH1 0x01
00002371: PUSH1 0x50
00002373: SHL
00002374: SUB
00002375: DUP1
00002376: DUP1
00002377: SWAP5
00002378: POP
00002379: PUSH2 0x2388
0000237c: SWAP4
0000237d: SWAP3
0000237e: MLOAD
0000237f: AND
00002380: SWAP2
00002381: MLOAD
00002382: AND
00002383: SWAP1
00002384: PUSH2 0x1dfe
00002387: JUMP
00002388: JUMPDEST
00002389: AND
0000238a: TIMESTAMP
0000238b: LT
0000238c: PUSH0
0000238d: DUP1
0000238e: PUSH2 0x2362
00002391: JUMP
00002392: JUMPDEST
00002393: SWAP1
00002394: SWAP3
00002395: POP
00002396: PUSH0
00002397: MSTORE
00002398: PUSH1 0x08
0000239a: PUSH1 0x20
0000239c: MSTORE
0000239d: PUSH1 0x40
0000239f: PUSH0
000023a0: KECCAK256
000023a1: PUSH1 0x01
000023a3: DUP1
000023a4: PUSH1 0xa0
000023a6: SHL
000023a7: SUB
000023a8: DUP13
000023a9: AND
000023aa: PUSH0
000023ab: MSTORE
000023ac: PUSH1 0x20
000023ae: MSTORE
000023af: PUSH1 0xff
000023b1: PUSH1 0x40
000023b3: PUSH0
000023b4: KECCAK256
000023b5: SLOAD
000023b6: AND
000023b7: ISZERO
000023b8: SWAP2
000023b9: PUSH0
000023ba: PUSH2 0x235b
000023bd: JUMP
000023be: JUMPDEST
000023bf: POP
000023c0: PUSH1 0x01
000023c2: PUSH1 0x01
000023c4: PUSH1 0x58
000023c6: SHL
000023c7: SUB
000023c8: PUSH1 0xe0
000023ca: DUP10
000023cb: ADD
000023cc: MLOAD
000023cd: AND
000023ce: DUP1
000023cf: ISZERO
000023d0: ISZERO
000023d1: SWAP1
000023d2: DUP2
000023d3: PUSH2 0x23ee
000023d6: JUMPI
000023d7: JUMPDEST
000023d8: POP
000023d9: DUP1
000023da: ISZERO
000023db: PUSH2 0x2031
000023de: JUMPI
000023df: POP
000023e0: PUSH2 0x23e8
000023e3: DUP5
000023e4: PUSH2 0x19ae
000023e7: JUMP
000023e8: JUMPDEST
000023e9: ISZERO
000023ea: PUSH2 0x2031
000023ed: JUMP
000023ee: JUMPDEST
000023ef: SWAP1
000023f0: POP
000023f1: DUP7
000023f2: LT
000023f3: ISZERO
000023f4: PUSH0
000023f5: PUSH2 0x23d7
000023f8: JUMP
000023f9: JUMPDEST
000023fa: SWAP4
000023fb: POP
000023fc: DUP3
000023fd: PUSH0
000023fe: MSTORE
000023ff: PUSH1 0x05
00002401: PUSH1 0x20
00002403: MSTORE
00002404: PUSH1 0x40
00002406: PUSH0
00002407: KECCAK256
00002408: SLOAD
00002409: SWAP4
0000240a: PUSH1 0x01
0000240c: PUSH1 0x01
0000240e: PUSH1 0x50
00002410: SHL
00002411: SUB
00002412: TIMESTAMP
00002413: AND
00002414: DUP3
00002415: MSTORE
00002416: PUSH1 0x40
00002418: MLOAD
00002419: PUSH1 0x20
0000241b: DUP2
0000241c: ADD
0000241d: SWAP1
0000241e: PUSH2 0x242b
00002421: DUP2
00002422: PUSH2 0x0441
00002425: DUP13
00002426: DUP6
00002427: PUSH2 0x17d2
0000242a: JUMP
0000242b: JUMPDEST
0000242c: MLOAD
0000242d: SWAP1
0000242e: KECCAK256
0000242f: DUP1
00002430: PUSH0
00002431: MSTORE
00002432: PUSH1 0x03
00002434: PUSH1 0x20
00002436: MSTORE
00002437: PUSH1 0x01
00002439: PUSH1 0x01
0000243b: PUSH1 0x50
0000243d: SHL
0000243e: SUB
0000243f: PUSH1 0x01
00002441: PUSH1 0x40
00002443: PUSH0
00002444: KECCAK256
00002445: ADD
00002446: SLOAD
00002447: AND
00002448: ISZERO
00002449: PUSH2 0x245f
0000244c: JUMPI
0000244d: JUMPDEST
0000244e: DUP5
0000244f: PUSH0
00002450: MSTORE
00002451: PUSH1 0x05
00002453: PUSH1 0x20
00002455: MSTORE
00002456: PUSH1 0x40
00002458: PUSH0
00002459: KECCAK256
0000245a: SSTORE
0000245b: PUSH2 0x2021
0000245e: JUMP
0000245f: JUMPDEST
00002460: PUSH0
00002461: DUP2
00002462: DUP2
00002463: MSTORE
00002464: PUSH1 0x03
00002466: PUSH1 0x20
00002468: DUP2
00002469: DUP2
0000246a: MSTORE
0000246b: PUSH1 0x40
0000246d: SWAP3
0000246e: DUP4
0000246f: SWAP1
00002470: KECCAK256
00002471: DUP13
00002472: MLOAD
00002473: SWAP2
00002474: DUP14
00002475: ADD
00002476: MLOAD
00002477: SWAP4
00002478: DUP14
00002479: ADD
0000247a: MLOAD
0000247b: PUSH1 0x60
0000247d: DUP15
0000247e: ADD
0000247f: MLOAD
00002480: PUSH1 0xa0
00002482: SWAP6
00002483: DUP7
00002484: SHL
00002485: PUSH1 0xff
00002487: PUSH1 0xa0
00002489: SHL
0000248a: AND
0000248b: PUSH1 0x01
0000248d: PUSH1 0x01
0000248f: PUSH1 0xa0
00002491: SHL
00002492: SUB
00002493: SWAP5
00002494: SWAP1
00002495: SWAP5
00002496: AND
00002497: SWAP4
00002498: SWAP1
00002499: SWAP4
0000249a: OR
0000249b: PUSH1 0xa8
0000249d: SWAP2
0000249e: DUP3
0000249f: SHL
000024a0: PUSH1 0xff
000024a2: PUSH1 0xa8
000024a4: SHL
000024a5: AND
000024a6: OR
000024a7: PUSH1 0xb0
000024a9: SWAP4
000024aa: SWAP1
000024ab: SWAP4
000024ac: SHL
000024ad: PUSH1 0x01
000024af: PUSH1 0x01
000024b1: PUSH1 0xb0
000024b3: SHL
000024b4: SUB
000024b5: NOT
000024b6: AND
000024b7: SWAP3
000024b8: SWAP1
000024b9: SWAP3
000024ba: OR
000024bb: DUP2
000024bc: SSTORE
000024bd: DUP7
000024be: MLOAD
000024bf: SWAP4
000024c0: DUP14
000024c1: ADD
000024c2: MLOAD
000024c3: PUSH1 0xc0
000024c5: DUP15
000024c6: ADD
000024c7: MLOAD
000024c8: PUSH1 0x50
000024ca: SWAP2
000024cb: SWAP1
000024cc: SWAP2
000024cd: SHL
000024ce: PUSH1 0x01
000024d0: PUSH1 0x50
000024d2: SHL
000024d3: PUSH1 0x01
000024d5: PUSH1 0xa8
000024d7: SHL
000024d8: SUB
000024d9: AND
000024da: PUSH1 0x01
000024dc: PUSH1 0x01
000024de: PUSH1 0x50
000024e0: SHL
000024e1: SUB
000024e2: SWAP6
000024e3: SWAP1
000024e4: SWAP6
000024e5: AND
000024e6: SWAP5
000024e7: SWAP1
000024e8: SWAP5
000024e9: OR
000024ea: SWAP4
000024eb: SWAP1
000024ec: SWAP2
000024ed: SHL
000024ee: PUSH1 0x01
000024f0: PUSH1 0x01
000024f2: PUSH1 0xa8
000024f4: SHL
000024f5: SUB
000024f6: NOT
000024f7: AND
000024f8: SWAP3
000024f9: SWAP1
000024fa: SWAP3
000024fb: OR
000024fc: PUSH1 0x01
000024fe: DUP4
000024ff: ADD
00002500: SSTORE
00002501: PUSH1 0xe0
00002503: DUP12
00002504: ADD
00002505: MLOAD
00002506: PUSH2 0x0100
00002509: DUP13
0000250a: ADD
0000250b: MLOAD
0000250c: PUSH2 0x0120
0000250f: DUP14
00002510: ADD
00002511: MLOAD
00002512: PUSH1 0x58
00002514: SWAP2
00002515: SWAP1
00002516: SWAP2
00002517: SHL
00002518: PUSH1 0x01
0000251a: PUSH1 0x58
0000251c: SHL
0000251d: PUSH1 0x01
0000251f: PUSH1 0xf8
00002521: SHL
00002522: SUB
00002523: AND
00002524: PUSH1 0x01
00002526: PUSH1 0x01
00002528: PUSH1 0x58
0000252a: SHL
0000252b: SUB
0000252c: SWAP3
0000252d: SWAP1
0000252e: SWAP3
0000252f: AND
00002530: SWAP2
00002531: SWAP1
00002532: SWAP2
00002533: OR
00002534: SWAP1
00002535: ISZERO
00002536: ISZERO
00002537: PUSH1 0xf8
00002539: SHL
0000253a: PUSH1 0x01
0000253c: PUSH1 0x01
0000253e: PUSH1 0xf8
00002540: SHL
00002541: SUB
00002542: NOT
00002543: AND
00002544: OR
00002545: PUSH1 0x02
00002547: DUP4
00002548: ADD
00002549: SSTORE
0000254a: DUP6
0000254b: MLOAD
0000254c: SWAP2
0000254d: ADD
0000254e: SSTORE
0000254f: PUSH2 0x244d
00002552: JUMP
00002553: JUMPDEST
00002554: PUSH1 0x40
00002556: MLOAD
00002557: PUSH4 0x8988eea9
0000255c: PUSH1 0xe0
0000255e: SHL
0000255f: DUP2
00002560: MSTORE
00002561: CALLER
00002562: PUSH1 0x04
00002564: DUP3
00002565: ADD
00002566: MSTORE
00002567: PUSH1 0x01
00002569: PUSH1 0x01
0000256b: PUSH1 0xa0
0000256d: SHL
0000256e: SUB
0000256f: DUP4
00002570: AND
00002571: PUSH1 0x24
00002573: DUP3
00002574: ADD
00002575: MSTORE
00002576: ADDRESS
00002577: PUSH1 0x44
00002579: DUP3
0000257a: ADD
0000257b: MSTORE
0000257c: PUSH0
0000257d: PUSH1 0x64
0000257f: DUP3
00002580: ADD
00002581: MSTORE
00002582: PUSH1 0x20
00002584: DUP2
00002585: PUSH1 0x84
00002587: DUP2
00002588: PUSH13 0x447e69651d841bd8d104bed493
00002596: GAS
00002597: STATICCALL
00002598: SWAP1
00002599: DUP2
0000259a: ISZERO
0000259b: PUSH2 0x0a2b
0000259e: JUMPI
0000259f: PUSH0
000025a0: SWAP2
000025a1: PUSH2 0x25ae
000025a4: JUMPI
000025a5: JUMPDEST
000025a6: POP
000025a7: PUSH2 0x1e94
000025aa: JUMPI
000025ab: PUSH0
000025ac: DUP1
000025ad: REVERT
000025ae: JUMPDEST
000025af: PUSH2 0x25c7
000025b2: SWAP2
000025b3: POP
000025b4: PUSH1 0x20
000025b6: RETURNDATASIZE
000025b7: PUSH1 0x20
000025b9: GT
000025ba: PUSH2 0x0a24
000025bd: JUMPI
000025be: PUSH2 0x0a15
000025c1: DUP2
000025c2: DUP4
000025c3: PUSH2 0x1962
000025c6: JUMP
000025c7: JUMPDEST
000025c8: PUSH0
000025c9: PUSH2 0x25a5
000025cc: JUMP
000025cd: JUMPDEST
000025ce: PUSH1 0x40
000025d0: MLOAD
000025d1: PUSH3 0x461bcd
000025d5: PUSH1 0xe5
000025d7: SHL
000025d8: DUP2
000025d9: MSTORE
000025da: PUSH1 0x20
000025dc: PUSH1 0x04
000025de: DUP3
000025df: ADD
000025e0: MSTORE
000025e1: PUSH1 0x11
000025e3: PUSH1 0x24
000025e5: DUP3
000025e6: ADD
000025e7: MSTORE
000025e8: PUSH17 0x109a59191a5b99c81a5cc81c185d5cd959
000025fa: PUSH1 0x7a
000025fc: SHL
000025fd: PUSH1 0x44
000025ff: DUP3
00002600: ADD
00002601: MSTORE
00002602: PUSH1 0x64
00002604: SWAP1
00002605: REVERT
00002606: JUMPDEST
00002607: SWAP1
00002608: SWAP2
00002609: PUSH1 0xff
0000260b: PUSH1 0x02
0000260d: SLOAD
0000260e: PUSH1 0xa0
00002610: SHR
00002611: AND
00002612: PUSH2 0x2eed
00002615: JUMPI
00002616: CALLER
00002617: PUSH1 0x01
00002619: PUSH1 0x01
0000261b: PUSH1 0xa0
0000261d: SHL
0000261e: SUB
0000261f: DUP3
00002620: AND
00002621: SUB
00002622: PUSH2 0x2e73
00002625: JUMPI
00002626: JUMPDEST
00002627: PUSH1 0x40
00002629: SWAP3
0000262a: SWAP2
0000262b: SWAP3
0000262c: MLOAD
0000262d: SWAP1
0000262e: PUSH2 0x2636
00002631: DUP3
00002632: PUSH2 0x18f4
00002635: JUMP
00002636: JUMPDEST
00002637: PUSH0
00002638: DUP3
00002639: MSTORE
0000263a: PUSH0
0000263b: PUSH1 0x20
0000263d: DUP4
0000263e: ADD
0000263f: MSTORE
00002640: PUSH0
00002641: PUSH1 0x40
00002643: DUP4
00002644: ADD
00002645: MSTORE
00002646: PUSH2 0x264e
00002649: DUP4
0000264a: PUSH2 0x1a44
0000264d: JUMP
0000264e: JUMPDEST
0000264f: SWAP4
00002650: PUSH0
00002651: SWAP4
00002652: TIMESTAMP
00002653: PUSH3 0x01517f
00002657: NOT
00002658: ADD
00002659: SWAP1
0000265a: DUP6
0000265b: JUMPDEST
0000265c: DUP2
0000265d: DUP2
0000265e: LT
0000265f: PUSH2 0x2816
00002662: JUMPI
00002663: POP
00002664: POP
00002665: POP
00002666: POP
00002667: POP
00002668: PUSH1 0x40
0000266a: DUP2
0000266b: ADD
0000266c: MLOAD
0000266d: SWAP1
0000266e: DUP2
0000266f: PUSH2 0x277f
00002672: JUMPI
00002673: JUMPDEST
00002674: PUSH1 0x20
00002676: SWAP2
00002677: POP
00002678: PUSH2 0x2684
0000267b: DUP2
0000267c: MLOAD
0000267d: CALLVALUE
0000267e: LT
0000267f: ISZERO
00002680: PUSH2 0x1e1e
00002683: JUMP
00002684: JUMPDEST
00002685: PUSH2 0x268f
00002688: DUP2
00002689: MLOAD
0000268a: CALLVALUE
0000268b: PUSH2 0x1ae4
0000268e: JUMP
0000268f: JUMPDEST
00002690: DUP1
00002691: PUSH2 0x276f
00002694: JUMPI
00002695: JUMPDEST
00002696: POP
00002697: ADD
00002698: MLOAD
00002699: DUP1
0000269a: PUSH2 0x2753
0000269d: JUMPI
0000269e: JUMPDEST
0000269f: POP
000026a0: DUP1
000026a1: ISZERO
000026a2: PUSH2 0x271b
000026a5: JUMPI
000026a6: PUSH2 0x26ae
000026a9: DUP2
000026aa: PUSH2 0x1a44
000026ad: JUMP
000026ae: JUMPDEST
000026af: SWAP2
000026b0: PUSH0
000026b1: JUMPDEST
000026b2: DUP3
000026b3: DUP2
000026b4: LT
000026b5: PUSH2 0x26f1
000026b8: JUMPI
000026b9: POP
000026ba: POP
000026bb: POP
000026bc: PUSH2 0x26ec
000026bf: PUSH32 0x5114c14f4fb8dc97cd1d6f06308ae7efb57101c04de921098d80b2bf4e4c2bda
000026e0: SWAP2
000026e1: PUSH1 0x40
000026e3: MLOAD
000026e4: SWAP2
000026e5: DUP3
000026e6: SWAP2
000026e7: DUP3
000026e8: PUSH2 0x1b17
000026eb: JUMP
000026ec: JUMPDEST
000026ed: SUB
000026ee: SWAP1
000026ef: LOG1
000026f0: JUMP
000026f1: JUMPDEST
000026f2: DUP1
000026f3: PUSH2 0x26fe
000026f6: PUSH1 0x01
000026f8: SWAP3
000026f9: DUP5
000026fa: PUSH2 0x199a
000026fd: JUMP
000026fe: JUMPDEST
000026ff: MLOAD
00002700: PUSH2 0x2709
00002703: DUP3
00002704: DUP8
00002705: PUSH2 0x199a
00002708: JUMP
00002709: JUMPDEST
0000270a: MSTORE
0000270b: PUSH2 0x2714
0000270e: DUP2
0000270f: DUP7
00002710: PUSH2 0x199a
00002713: JUMP
00002714: JUMPDEST
00002715: POP
00002716: ADD
00002717: PUSH2 0x26b1
0000271a: JUMP
0000271b: JUMPDEST
0000271c: PUSH1 0x40
0000271e: MLOAD
0000271f: PUSH3 0x461bcd
00002723: PUSH1 0xe5
00002725: SHL
00002726: DUP2
00002727: MSTORE
00002728: PUSH1 0x20
0000272a: PUSH1 0x04
0000272c: DUP3
0000272d: ADD
0000272e: MSTORE
0000272f: PUSH1 0x10
00002731: PUSH1 0x24
00002733: DUP3
00002734: ADD
00002735: MSTORE
00002736: PUSH16 0x20b63610313abcb9903330b4b632b217
00002747: PUSH1 0x81
00002749: SHL
0000274a: PUSH1 0x44
0000274c: DUP3
0000274d: ADD
0000274e: MSTORE
0000274f: PUSH1 0x64
00002751: SWAP1
00002752: REVERT
00002753: JUMPDEST
00002754: PUSH1 0x02
00002756: SLOAD
00002757: PUSH2 0x2769
0000275a: SWAP2
0000275b: SWAP1
0000275c: PUSH1 0x01
0000275e: PUSH1 0x01
00002760: PUSH1 0xa0
00002762: SHL
00002763: SUB
00002764: AND
00002765: PUSH2 0x30de
00002768: JUMP
00002769: JUMPDEST
0000276a: PUSH0
0000276b: PUSH2 0x269e
0000276e: JUMP
0000276f: JUMPDEST
00002770: PUSH2 0x2779
00002773: SWAP1
00002774: CALLER
00002775: PUSH2 0x30de
00002778: JUMP
00002779: JUMPDEST
0000277a: PUSH0
0000277b: PUSH2 0x2695
0000277e: JUMP
0000277f: JUMPDEST
00002780: PUSH1 0x02
00002782: SLOAD
00002783: PUSH1 0x40
00002785: MLOAD
00002786: PUSH4 0x23b872dd
0000278b: PUSH1 0xe0
0000278d: SHL
0000278e: DUP2
0000278f: MSTORE
00002790: CALLER
00002791: PUSH1 0x04
00002793: DUP3
00002794: ADD
00002795: MSTORE
00002796: PUSH1 0x01
00002798: PUSH1 0x01
0000279a: PUSH1 0xa0
0000279c: SHL
0000279d: SUB
0000279e: SWAP1
0000279f: SWAP2
000027a0: AND
000027a1: PUSH1 0x24
000027a3: DUP3
000027a4: ADD
000027a5: MSTORE
000027a6: PUSH1 0x44
000027a8: DUP2
000027a9: ADD
000027aa: SWAP3
000027ab: SWAP1
000027ac: SWAP3
000027ad: MSTORE
000027ae: PUSH1 0x20
000027b0: DUP3
000027b1: DUP1
000027b2: PUSH1 0x64
000027b4: DUP2
000027b5: ADD
000027b6: SUB
000027b7: DUP2
000027b8: PUSH0
000027b9: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000027da: PUSH1 0x01
000027dc: PUSH1 0x01
000027de: PUSH1 0xa0
000027e0: SHL
000027e1: SUB
000027e2: AND
000027e3: GAS
000027e4: CALL
000027e5: SWAP2
000027e6: DUP3
000027e7: ISZERO
000027e8: PUSH2 0x0a2b
000027eb: JUMPI
000027ec: PUSH1 0x20
000027ee: SWAP3
000027ef: PUSH2 0x27f9
000027f2: JUMPI
000027f3: JUMPDEST
000027f4: POP
000027f5: PUSH2 0x2673
000027f8: JUMP
000027f9: JUMPDEST
000027fa: PUSH2 0x280f
000027fd: SWAP1
000027fe: DUP4
000027ff: RETURNDATASIZE
00002800: DUP6
00002801: GT
00002802: PUSH2 0x0a24
00002805: JUMPI
00002806: PUSH2 0x0a15
00002809: DUP2
0000280a: DUP4
0000280b: PUSH2 0x1962
0000280e: JUMP
0000280f: JUMPDEST
00002810: POP
00002811: PUSH0
00002812: PUSH2 0x27f3
00002815: JUMP
00002816: JUMPDEST
00002817: PUSH2 0x2821
0000281a: DUP2
0000281b: DUP4
0000281c: DUP7
0000281d: PUSH2 0x188d
00002820: JUMP
00002821: JUMPDEST
00002822: CALLDATALOAD
00002823: SWAP1
00002824: PUSH2 0x282c
00002827: DUP3
00002828: PUSH2 0x1bcb
0000282b: JUMP
0000282c: JUMPDEST
0000282d: SWAP2
0000282e: PUSH1 0xa0
00002830: DUP4
00002831: ADD
00002832: MLOAD
00002833: SWAP3
00002834: PUSH2 0x0140
00002837: DUP2
00002838: ADD
00002839: MLOAD
0000283a: PUSH0
0000283b: MSTORE
0000283c: PUSH1 0x07
0000283e: PUSH1 0x20
00002840: MSTORE
00002841: PUSH1 0x40
00002843: PUSH0
00002844: KECCAK256
00002845: PUSH1 0x40
00002847: MLOAD
00002848: SWAP1
00002849: PUSH2 0x2851
0000284c: DUP3
0000284d: PUSH2 0x190f
00002850: JUMP
00002851: JUMPDEST
00002852: SLOAD
00002853: SWAP1
00002854: PUSH1 0x01
00002856: PUSH1 0x01
00002858: PUSH1 0x50
0000285a: SHL
0000285b: SUB
0000285c: DUP3
0000285d: AND
0000285e: DUP2
0000285f: MSTORE
00002860: PUSH1 0xff
00002862: PUSH1 0x20
00002864: DUP3
00002865: ADD
00002866: SWAP3
00002867: PUSH1 0x50
00002869: SHR
0000286a: AND
0000286b: DUP3
0000286c: MSTORE
0000286d: PUSH1 0x01
0000286f: PUSH1 0x01
00002871: PUSH1 0x50
00002873: SHL
00002874: SUB
00002875: PUSH1 0x60
00002877: DUP5
00002878: ADD
00002879: MLOAD
0000287a: AND
0000287b: TIMESTAMP
0000287c: LT
0000287d: SWAP2
0000287e: DUP3
0000287f: ISZERO
00002880: PUSH2 0x2e50
00002883: JUMPI
00002884: JUMPDEST
00002885: DUP3
00002886: ISZERO
00002887: PUSH2 0x2e3e
0000288a: JUMPI
0000288b: JUMPDEST
0000288c: DUP3
0000288d: ISZERO
0000288e: PUSH2 0x2df2
00002891: JUMPI
00002892: JUMPDEST
00002893: POP
00002894: DUP2
00002895: ISZERO
00002896: PUSH2 0x2d7e
00002899: JUMPI
0000289a: JUMPDEST
0000289b: POP
0000289c: PUSH2 0x2d73
0000289f: JUMPI
000028a0: PUSH2 0x0140
000028a3: DUP2
000028a4: ADD
000028a5: MLOAD
000028a6: PUSH0
000028a7: MSTORE
000028a8: PUSH1 0x06
000028aa: PUSH1 0x20
000028ac: MSTORE
000028ad: PUSH1 0x40
000028af: PUSH0
000028b0: KECCAK256
000028b1: PUSH1 0x01
000028b3: DUP1
000028b4: PUSH1 0xa0
000028b6: SHL
000028b7: SUB
000028b8: DUP10
000028b9: AND
000028ba: PUSH0
000028bb: MSTORE
000028bc: PUSH1 0x20
000028be: MSTORE
000028bf: PUSH1 0x40
000028c1: PUSH0
000028c2: KECCAK256
000028c3: DUP1
000028c4: SLOAD
000028c5: SWAP1
000028c6: PUSH1 0x01
000028c8: DUP3
000028c9: ADD
000028ca: DUP1
000028cb: SWAP3
000028cc: GT
000028cd: PUSH2 0x19ef
000028d0: JUMPI
000028d1: SSTORE
000028d2: TIMESTAMP
000028d3: DUP7
000028d4: GT
000028d5: PUSH2 0x19ef
000028d8: JUMPI
000028d9: DUP11
000028da: SWAP4
000028db: PUSH1 0x80
000028dd: DUP3
000028de: ADD
000028df: PUSH1 0x01
000028e1: PUSH1 0x01
000028e3: PUSH1 0x50
000028e5: SHL
000028e6: SUB
000028e7: DUP9
000028e8: AND
000028e9: DUP2
000028ea: MSTORE
000028eb: PUSH1 0x40
000028ed: MLOAD
000028ee: PUSH1 0x20
000028f0: DUP2
000028f1: ADD
000028f2: SWAP1
000028f3: PUSH2 0x2900
000028f6: DUP2
000028f7: PUSH2 0x0441
000028fa: DUP8
000028fb: DUP6
000028fc: PUSH2 0x17d2
000028ff: JUMP
00002900: JUMPDEST
00002901: MLOAD
00002902: SWAP1
00002903: KECCAK256
00002904: SWAP1
00002905: DUP2
00002906: PUSH0
00002907: MSTORE
00002908: PUSH1 0x03
0000290a: PUSH1 0x20
0000290c: MSTORE
0000290d: PUSH1 0x01
0000290f: PUSH1 0x01
00002911: PUSH1 0x50
00002913: SHL
00002914: SUB
00002915: PUSH1 0x01
00002917: PUSH1 0x40
00002919: PUSH0
0000291a: KECCAK256
0000291b: ADD
0000291c: SLOAD
0000291d: AND
0000291e: ISZERO
0000291f: PUSH2 0x2c7e
00002922: JUMPI
00002923: JUMPDEST
00002924: POP
00002925: DUP4
00002926: PUSH0
00002927: MSTORE
00002928: PUSH1 0x05
0000292a: PUSH1 0x20
0000292c: MSTORE
0000292d: PUSH1 0x40
0000292f: PUSH0
00002930: KECCAK256
00002931: SSTORE
00002932: PUSH1 0x40
00002934: MLOAD
00002935: PUSH2 0x293d
00002938: DUP2
00002939: PUSH2 0x18f4
0000293c: JUMP
0000293d: JUMPDEST
0000293e: PUSH0
0000293f: DUP2
00002940: MSTORE
00002941: PUSH1 0x20
00002943: DUP2
00002944: ADD
00002945: PUSH1 0x01
00002947: PUSH1 0x01
00002949: PUSH1 0x48
0000294b: SHL
0000294c: SUB
0000294d: DUP4
0000294e: AND
0000294f: DUP2
00002950: MSTORE
00002951: PUSH1 0x40
00002953: DUP3
00002954: ADD
00002955: SWAP1
00002956: CALLER
00002957: DUP3
00002958: MSTORE
00002959: DUP6
0000295a: PUSH0
0000295b: MSTORE
0000295c: PUSH1 0x04
0000295e: PUSH1 0x20
00002960: MSTORE
00002961: PUSH12 0xffffffffffffffffff000000
0000296e: PUSH3 0xffffff
00002972: PUSH1 0x40
00002974: PUSH0
00002975: KECCAK256
00002976: SWAP5
00002977: MLOAD
00002978: AND
00002979: SWAP2
0000297a: MLOAD
0000297b: PUSH1 0x18
0000297d: SHL
0000297e: AND
0000297f: SWAP2
00002980: PUSH1 0x01
00002982: PUSH1 0x01
00002984: PUSH1 0x60
00002986: SHL
00002987: SUB
00002988: NOT
00002989: SWAP1
0000298a: MLOAD
0000298b: PUSH1 0x60
0000298d: SHL
0000298e: AND
0000298f: SWAP2
00002990: OR
00002991: OR
00002992: SWAP1
00002993: SSTORE
00002994: PUSH2 0x0120
00002997: DUP3
00002998: ADD
00002999: MLOAD
0000299a: ISZERO
0000299b: PUSH2 0x2c63
0000299e: JUMPI
0000299f: JUMPDEST
000029a0: PUSH2 0x29a9
000029a3: DUP4
000029a4: CALLER
000029a5: PUSH2 0x2f4b
000029a8: JUMP
000029a9: JUMPDEST
000029aa: PUSH1 0x20
000029ac: DUP3
000029ad: ADD
000029ae: MLOAD
000029af: PUSH2 0x29c4
000029b2: SWAP1
000029b3: PUSH1 0xff
000029b5: AND
000029b6: PUSH1 0x01
000029b8: PUSH1 0x01
000029ba: PUSH1 0x58
000029bc: SHL
000029bd: SUB
000029be: DUP4
000029bf: AND
000029c0: PUSH2 0x1ad1
000029c3: JUMP
000029c4: JUMPDEST
000029c5: PUSH1 0x64
000029c7: SWAP1
000029c8: DIV
000029c9: SWAP11
000029ca: DUP12
000029cb: SWAP4
000029cc: DUP2
000029cd: PUSH1 0x40
000029cf: DUP6
000029d0: ADD
000029d1: MLOAD
000029d2: PUSH1 0xff
000029d4: AND
000029d5: PUSH1 0x01
000029d7: PUSH1 0x01
000029d9: PUSH1 0x58
000029db: SHL
000029dc: SUB
000029dd: DUP6
000029de: AND
000029df: SWAP1
000029e0: PUSH2 0x29e8
000029e3: SWAP2
000029e4: PUSH2 0x1ad1
000029e7: JUMP
000029e8: JUMPDEST
000029e9: PUSH1 0x64
000029eb: SWAP1
000029ec: DIV
000029ed: SWAP8
000029ee: DUP9
000029ef: PUSH2 0x2a01
000029f2: DUP9
000029f3: PUSH1 0x01
000029f5: PUSH1 0x01
000029f7: PUSH1 0x58
000029f9: SHL
000029fa: SUB
000029fb: DUP9
000029fc: AND
000029fd: PUSH2 0x1ae4
00002a00: JUMP
00002a01: JUMPDEST
00002a02: SWAP1
00002a03: PUSH2 0x2a0b
00002a06: SWAP2
00002a07: PUSH2 0x1ae4
00002a0a: JUMP
00002a0b: JUMPDEST
00002a0c: PUSH2 0x0100
00002a0f: DUP8
00002a10: ADD
00002a11: MLOAD
00002a12: PUSH2 0x0120
00002a15: DUP9
00002a16: ADD
00002a17: MLOAD
00002a18: SWAP2
00002a19: SWAP9
00002a1a: PUSH2 0x2ae0
00002a1d: SWAP8
00002a1e: PUSH2 0x0be5
00002a21: SWAP7
00002a22: PUSH1 0x01
00002a24: PUSH1 0x01
00002a26: PUSH1 0xa0
00002a28: SHL
00002a29: SUB
00002a2a: SWAP1
00002a2b: SWAP4
00002a2c: AND
00002a2d: SWAP4
00002a2e: SWAP2
00002a2f: SWAP3
00002a30: PUSH1 0x01
00002a32: PUSH1 0x01
00002a34: PUSH1 0x58
00002a36: SHL
00002a37: SUB
00002a38: SWAP3
00002a39: ISZERO
00002a3a: PUSH2 0x2c5d
00002a3d: JUMPI
00002a3e: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00002a5f: JUMPDEST
00002a60: DUP12
00002a61: MLOAD
00002a62: PUSH1 0x02
00002a64: SLOAD
00002a65: PUSH1 0x40
00002a67: MLOAD
00002a68: SWAP8
00002a69: PUSH1 0x01
00002a6b: PUSH1 0x01
00002a6d: PUSH1 0xa0
00002a6f: SHL
00002a70: SUB
00002a71: SWAP2
00002a72: DUP3
00002a73: AND
00002a74: SWAP5
00002a75: SWAP3
00002a76: SWAP1
00002a77: SWAP2
00002a78: AND
00002a79: SWAP3
00002a7a: SWAP2
00002a7b: PUSH1 0x01
00002a7d: PUSH1 0x01
00002a7f: PUSH1 0x60
00002a81: SHL
00002a82: SUB
00002a83: SWAP2
00002a84: PUSH2 0x2a8c
00002a87: DUP11
00002a88: PUSH2 0x192a
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: DUP10
00002a8e: MSTORE
00002a8f: CALLER
00002a90: PUSH1 0x20
00002a92: DUP11
00002a93: ADD
00002a94: MSTORE
00002a95: PUSH1 0x60
00002a97: DUP2
00002a98: DUP2
00002a99: SHR
00002a9a: PUSH1 0x40
00002a9c: DUP12
00002a9d: ADD
00002a9e: MSTORE
00002a9f: SWAP2
00002aa0: AND
00002aa1: SWAP1
00002aa2: DUP9
00002aa3: ADD
00002aa4: MSTORE
00002aa5: PUSH1 0x01
00002aa7: PUSH1 0x01
00002aa9: PUSH1 0xa0
00002aab: SHL
00002aac: SUB
00002aad: AND
00002aae: PUSH1 0x80
00002ab0: DUP8
00002ab1: ADD
00002ab2: MSTORE
00002ab3: PUSH1 0xa0
00002ab5: DUP7
00002ab6: ADD
00002ab7: MSTORE
00002ab8: PUSH1 0xc0
00002aba: DUP6
00002abb: ADD
00002abc: MSTORE
00002abd: AND
00002abe: PUSH1 0xe0
00002ac0: DUP4
00002ac1: ADD
00002ac2: MSTORE
00002ac3: PUSH2 0x0100
00002ac6: DUP3
00002ac7: ADD
00002ac8: MSTORE
00002ac9: PUSH2 0x0120
00002acc: DUP2
00002acd: ADD
00002ace: DUP11
00002acf: SWAP1
00002ad0: MSTORE
00002ad1: PUSH2 0x2ada
00002ad4: DUP4
00002ad5: DUP4
00002ad6: PUSH2 0x199a
00002ad9: JUMP
00002ada: JUMPDEST
00002adb: MSTORE
00002adc: PUSH2 0x199a
00002adf: JUMP
00002ae0: JUMPDEST
00002ae1: PUSH2 0x0120
00002ae4: DUP3
00002ae5: ADD
00002ae6: MLOAD
00002ae7: SWAP1
00002ae8: SWAP11
00002ae9: SWAP1
00002aea: ISZERO
00002aeb: PUSH2 0x2c0a
00002aee: JUMPI
00002aef: PUSH2 0x2afc
00002af2: SWAP1
00002af3: PUSH1 0x40
00002af5: DUP12
00002af6: ADD
00002af7: MLOAD
00002af8: PUSH2 0x19e2
00002afb: JUMP
00002afc: JUMPDEST
00002afd: PUSH1 0x40
00002aff: DUP11
00002b00: DUP2
00002b01: ADD
00002b02: SWAP2
00002b03: SWAP1
00002b04: SWAP2
00002b05: MSTORE
00002b06: PUSH2 0x0100
00002b09: DUP3
00002b0a: ADD
00002b0b: MLOAD
00002b0c: SWAP1
00002b0d: MLOAD
00002b0e: PUSH4 0x23b872dd
00002b13: PUSH1 0xe0
00002b15: SHL
00002b16: DUP2
00002b17: MSTORE
00002b18: CALLER
00002b19: PUSH1 0x04
00002b1b: DUP3
00002b1c: ADD
00002b1d: MSTORE
00002b1e: PUSH1 0x01
00002b20: PUSH1 0x01
00002b22: PUSH1 0xa0
00002b24: SHL
00002b25: SUB
00002b26: SWAP2
00002b27: DUP3
00002b28: AND
00002b29: PUSH1 0x24
00002b2b: DUP3
00002b2c: ADD
00002b2d: MSTORE
00002b2e: PUSH1 0x44
00002b30: DUP2
00002b31: ADD
00002b32: SWAP4
00002b33: SWAP1
00002b34: SWAP4
00002b35: MSTORE
00002b36: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00002b57: AND
00002b58: SWAP2
00002b59: PUSH1 0x20
00002b5b: DUP2
00002b5c: PUSH1 0x64
00002b5e: DUP2
00002b5f: PUSH0
00002b60: DUP8
00002b61: GAS
00002b62: CALL
00002b63: DUP1
00002b64: ISZERO
00002b65: PUSH2 0x0a2b
00002b68: JUMPI
00002b69: PUSH2 0x2bee
00002b6c: JUMPI
00002b6d: JUMPDEST
00002b6e: POP
00002b6f: DUP4
00002b70: PUSH2 0x2b81
00002b73: JUMPI
00002b74: JUMPDEST
00002b75: POP
00002b76: POP
00002b77: PUSH1 0x01
00002b79: SWAP2
00002b7a: POP
00002b7b: JUMPDEST
00002b7c: ADD
00002b7d: PUSH2 0x265b
00002b80: JUMP
00002b81: JUMPDEST
00002b82: MLOAD
00002b83: PUSH1 0x40
00002b85: MLOAD
00002b86: PUSH4 0x23b872dd
00002b8b: PUSH1 0xe0
00002b8d: SHL
00002b8e: DUP2
00002b8f: MSTORE
00002b90: CALLER
00002b91: PUSH1 0x04
00002b93: DUP3
00002b94: ADD
00002b95: MSTORE
00002b96: PUSH1 0x01
00002b98: PUSH1 0x01
00002b9a: PUSH1 0xa0
00002b9c: SHL
00002b9d: SUB
00002b9e: SWAP1
00002b9f: SWAP2
00002ba0: AND
00002ba1: PUSH1 0x24
00002ba3: DUP3
00002ba4: ADD
00002ba5: MSTORE
00002ba6: PUSH1 0x44
00002ba8: DUP2
00002ba9: ADD
00002baa: SWAP4
00002bab: SWAP1
00002bac: SWAP4
00002bad: MSTORE
00002bae: PUSH1 0x20
00002bb0: SWAP1
00002bb1: DUP4
00002bb2: SWAP1
00002bb3: PUSH1 0x64
00002bb5: SWAP1
00002bb6: DUP3
00002bb7: SWAP1
00002bb8: PUSH0
00002bb9: SWAP1
00002bba: GAS
00002bbb: CALL
00002bbc: SWAP2
00002bbd: DUP3
00002bbe: ISZERO
00002bbf: PUSH2 0x0a2b
00002bc2: JUMPI
00002bc3: PUSH1 0x01
00002bc5: SWAP3
00002bc6: PUSH2 0x2bd0
00002bc9: JUMPI
00002bca: JUMPDEST
00002bcb: DUP1
00002bcc: PUSH2 0x2b74
00002bcf: JUMP
00002bd0: JUMPDEST
00002bd1: PUSH2 0x2be7
00002bd4: SWAP1
00002bd5: PUSH1 0x20
00002bd7: RETURNDATASIZE
00002bd8: DUP2
00002bd9: GT
00002bda: PUSH2 0x0a24
00002bdd: JUMPI
00002bde: PUSH2 0x0a15
00002be1: DUP2
00002be2: DUP4
00002be3: PUSH2 0x1962
00002be6: JUMP
00002be7: JUMPDEST
00002be8: POP
00002be9: PUSH0
00002bea: PUSH2 0x2bca
00002bed: JUMP
00002bee: JUMPDEST
00002bef: PUSH2 0x2c05
00002bf2: SWAP1
00002bf3: PUSH1 0x20
00002bf5: RETURNDATASIZE
00002bf6: DUP2
00002bf7: GT
00002bf8: PUSH2 0x0a24
00002bfb: JUMPI
00002bfc: PUSH2 0x0a15
00002bff: DUP2
00002c00: DUP4
00002c01: PUSH2 0x1962
00002c04: JUMP
00002c05: JUMPDEST
00002c06: PUSH2 0x2b6d
00002c09: JUMP
00002c0a: JUMPDEST
00002c0b: PUSH1 0x01
00002c0d: SWAP5
00002c0e: SWAP2
00002c0f: SWAP3
00002c10: PUSH2 0x2c20
00002c13: PUSH2 0x2c37
00002c16: SWAP3
00002c17: PUSH1 0x20
00002c19: DUP14
00002c1a: ADD
00002c1b: MLOAD
00002c1c: PUSH2 0x19e2
00002c1f: JUMP
00002c20: JUMPDEST
00002c21: PUSH1 0x20
00002c23: DUP13
00002c24: ADD
00002c25: MSTORE
00002c26: DUP6
00002c27: DUP1
00002c28: PUSH1 0xa0
00002c2a: SHL
00002c2b: SUB
00002c2c: PUSH2 0x0100
00002c2f: DUP6
00002c30: ADD
00002c31: MLOAD
00002c32: AND
00002c33: PUSH2 0x30de
00002c36: JUMP
00002c37: JUMPDEST
00002c38: DUP1
00002c39: PUSH2 0x2c44
00002c3c: JUMPI
00002c3d: JUMPDEST
00002c3e: POP
00002c3f: POP
00002c40: PUSH2 0x2b7b
00002c43: JUMP
00002c44: JUMPDEST
00002c45: PUSH2 0x2c56
00002c48: SWAP2
00002c49: DUP5
00002c4a: DUP1
00002c4b: PUSH1 0xa0
00002c4d: SHL
00002c4e: SUB
00002c4f: SWAP1
00002c50: MLOAD
00002c51: AND
00002c52: PUSH2 0x30de
00002c55: JUMP
00002c56: JUMPDEST
00002c57: PUSH0
00002c58: DUP1
00002c59: PUSH2 0x2c3d
00002c5c: JUMP
00002c5d: JUMPDEST
00002c5e: PUSH0
00002c5f: PUSH2 0x2a5f
00002c62: JUMP
00002c63: JUMPDEST
00002c64: PUSH2 0x2c77
00002c67: PUSH1 0x01
00002c69: PUSH1 0x01
00002c6b: PUSH1 0x58
00002c6d: SHL
00002c6e: SUB
00002c6f: DUP3
00002c70: AND
00002c71: DUP12
00002c72: MLOAD
00002c73: PUSH2 0x19e2
00002c76: JUMP
00002c77: JUMPDEST
00002c78: DUP11
00002c79: MSTORE
00002c7a: PUSH2 0x299f
00002c7d: JUMP
00002c7e: JUMPDEST
00002c7f: PUSH0
00002c80: DUP3
00002c81: DUP2
00002c82: MSTORE
00002c83: PUSH1 0x03
00002c85: PUSH1 0x20
00002c87: DUP2
00002c88: DUP2
00002c89: MSTORE
00002c8a: PUSH1 0x40
00002c8c: DUP1
00002c8d: DUP5
00002c8e: KECCAK256
00002c8f: DUP9
00002c90: MLOAD
00002c91: SWAP3
00002c92: DUP10
00002c93: ADD
00002c94: MLOAD
00002c95: SWAP2
00002c96: DUP10
00002c97: ADD
00002c98: MLOAD
00002c99: PUSH1 0x60
00002c9b: DUP11
00002c9c: ADD
00002c9d: MLOAD
00002c9e: PUSH1 0xa0
00002ca0: SWAP4
00002ca1: DUP5
00002ca2: SHL
00002ca3: PUSH1 0xff
00002ca5: PUSH1 0xa0
00002ca7: SHL
00002ca8: AND
00002ca9: PUSH1 0x01
00002cab: PUSH1 0x01
00002cad: PUSH1 0xa0
00002caf: SHL
00002cb0: SUB
00002cb1: SWAP6
00002cb2: SWAP1
00002cb3: SWAP6
00002cb4: AND
00002cb5: SWAP5
00002cb6: SWAP1
00002cb7: SWAP5
00002cb8: OR
00002cb9: PUSH1 0xa8
00002cbb: SWAP2
00002cbc: DUP3
00002cbd: SHL
00002cbe: PUSH1 0xff
00002cc0: PUSH1 0xa8
00002cc2: SHL
00002cc3: AND
00002cc4: OR
00002cc5: PUSH1 0xb0
00002cc7: SWAP5
00002cc8: SWAP1
00002cc9: SWAP5
00002cca: SHL
00002ccb: PUSH1 0x01
00002ccd: PUSH1 0x01
00002ccf: PUSH1 0xb0
00002cd1: SHL
00002cd2: SUB
00002cd3: NOT
00002cd4: AND
00002cd5: SWAP4
00002cd6: SWAP1
00002cd7: SWAP4
00002cd8: OR
00002cd9: DUP2
00002cda: SSTORE
00002cdb: SWAP5
00002cdc: MLOAD
00002cdd: SWAP1
00002cde: DUP9
00002cdf: ADD
00002ce0: MLOAD
00002ce1: PUSH1 0xc0
00002ce3: DUP10
00002ce4: ADD
00002ce5: MLOAD
00002ce6: PUSH1 0x50
00002ce8: SWAP2
00002ce9: SWAP1
00002cea: SWAP2
00002ceb: SHL
00002cec: PUSH1 0x01
00002cee: PUSH1 0x50
00002cf0: SHL
00002cf1: PUSH1 0x01
00002cf3: PUSH1 0xa8
00002cf5: SHL
00002cf6: SUB
00002cf7: AND
00002cf8: PUSH1 0x01
00002cfa: PUSH1 0x01
00002cfc: PUSH1 0x50
00002cfe: SHL
00002cff: SUB
00002d00: SWAP3
00002d01: SWAP1
00002d02: SWAP3
00002d03: AND
00002d04: SWAP2
00002d05: SWAP1
00002d06: SWAP2
00002d07: OR
00002d08: SWAP2
00002d09: SHL
00002d0a: PUSH1 0x01
00002d0c: PUSH1 0x01
00002d0e: PUSH1 0xa8
00002d10: SHL
00002d11: SUB
00002d12: NOT
00002d13: AND
00002d14: OR
00002d15: PUSH1 0x01
00002d17: DUP5
00002d18: ADD
00002d19: SSTORE
00002d1a: PUSH1 0xe0
00002d1c: DUP7
00002d1d: ADD
00002d1e: MLOAD
00002d1f: PUSH2 0x0100
00002d22: DUP8
00002d23: ADD
00002d24: MLOAD
00002d25: PUSH2 0x0120
00002d28: DUP9
00002d29: ADD
00002d2a: MLOAD
00002d2b: PUSH1 0x58
00002d2d: SWAP2
00002d2e: SWAP1
00002d2f: SWAP2
00002d30: SHL
00002d31: PUSH1 0x01
00002d33: PUSH1 0x58
00002d35: SHL
00002d36: PUSH1 0x01
00002d38: PUSH1 0xf8
00002d3a: SHL
00002d3b: SUB
00002d3c: AND
00002d3d: PUSH1 0x01
00002d3f: PUSH1 0x01
00002d41: PUSH1 0x58
00002d43: SHL
00002d44: SUB
00002d45: SWAP3
00002d46: SWAP1
00002d47: SWAP3
00002d48: AND
00002d49: SWAP2
00002d4a: SWAP1
00002d4b: SWAP2
00002d4c: OR
00002d4d: SWAP1
00002d4e: ISZERO
00002d4f: ISZERO
00002d50: PUSH1 0xf8
00002d52: SHL
00002d53: PUSH1 0x01
00002d55: PUSH1 0x01
00002d57: PUSH1 0xf8
00002d59: SHL
00002d5a: SUB
00002d5b: NOT
00002d5c: AND
00002d5d: OR
00002d5e: PUSH1 0x02
00002d60: DUP5
00002d61: ADD
00002d62: SSTORE
00002d63: PUSH2 0x0140
00002d66: DUP7
00002d67: ADD
00002d68: MLOAD
00002d69: SWAP3
00002d6a: ADD
00002d6b: SWAP2
00002d6c: SWAP1
00002d6d: SWAP2
00002d6e: SSTORE
00002d6f: PUSH2 0x2923
00002d72: JUMP
00002d73: JUMPDEST
00002d74: POP
00002d75: POP
00002d76: PUSH1 0x01
00002d78: SWAP2
00002d79: POP
00002d7a: PUSH2 0x2b7b
00002d7d: JUMP
00002d7e: JUMPDEST
00002d7f: PUSH2 0x0140
00002d82: DUP4
00002d83: ADD
00002d84: MLOAD
00002d85: DUP1
00002d86: ISZERO
00002d87: ISZERO
00002d88: SWAP3
00002d89: POP
00002d8a: DUP3
00002d8b: PUSH2 0x2dc5
00002d8e: JUMPI
00002d8f: JUMPDEST
00002d90: POP
00002d91: DUP2
00002d92: PUSH2 0x2d9d
00002d95: JUMPI
00002d96: JUMPDEST
00002d97: POP
00002d98: PUSH0
00002d99: PUSH2 0x289a
00002d9c: JUMP
00002d9d: JUMPDEST
00002d9e: PUSH1 0x01
00002da0: PUSH1 0x01
00002da2: PUSH1 0x50
00002da4: SHL
00002da5: SUB
00002da6: SWAP2
00002da7: POP
00002da8: PUSH2 0x2dbc
00002dab: SWAP1
00002dac: DUP3
00002dad: DUP1
00002dae: PUSH1 0x60
00002db0: DUP7
00002db1: ADD
00002db2: MLOAD
00002db3: AND
00002db4: SWAP2
00002db5: MLOAD
00002db6: AND
00002db7: SWAP1
00002db8: PUSH2 0x1dfe
00002dbb: JUMP
00002dbc: JUMPDEST
00002dbd: AND
00002dbe: TIMESTAMP
00002dbf: LT
00002dc0: PUSH0
00002dc1: PUSH2 0x2d96
00002dc4: JUMP
00002dc5: JUMPDEST
00002dc6: PUSH0
00002dc7: SWAP1
00002dc8: DUP2
00002dc9: MSTORE
00002dca: PUSH1 0x08
00002dcc: PUSH1 0x20
00002dce: SWAP1
00002dcf: DUP2
00002dd0: MSTORE
00002dd1: PUSH1 0x40
00002dd3: DUP1
00002dd4: DUP4
00002dd5: KECCAK256
00002dd6: PUSH1 0x01
00002dd8: PUSH1 0x01
00002dda: PUSH1 0xa0
00002ddc: SHL
00002ddd: SUB
00002dde: DUP15
00002ddf: AND
00002de0: DUP5
00002de1: MSTORE
00002de2: SWAP1
00002de3: SWAP2
00002de4: MSTORE
00002de5: DUP2
00002de6: KECCAK256
00002de7: SLOAD
00002de8: PUSH1 0xff
00002dea: AND
00002deb: ISZERO
00002dec: SWAP3
00002ded: POP
00002dee: PUSH2 0x2d8f
00002df1: JUMP
00002df2: JUMPDEST
00002df3: SWAP1
00002df4: SWAP2
00002df5: POP
00002df6: PUSH1 0xff
00002df8: DUP2
00002df9: MLOAD
00002dfa: AND
00002dfb: ISZERO
00002dfc: ISZERO
00002dfd: SWAP1
00002dfe: DUP2
00002dff: PUSH2 0x2e0b
00002e02: JUMPI
00002e03: JUMPDEST
00002e04: POP
00002e05: SWAP1
00002e06: PUSH0
00002e07: PUSH2 0x2892
00002e0a: JUMP
00002e0b: JUMPDEST
00002e0c: SWAP1
00002e0d: POP
00002e0e: PUSH2 0x0140
00002e11: DUP4
00002e12: ADD
00002e13: MLOAD
00002e14: PUSH0
00002e15: MSTORE
00002e16: PUSH1 0x06
00002e18: PUSH1 0x20
00002e1a: MSTORE
00002e1b: PUSH1 0x40
00002e1d: PUSH0
00002e1e: KECCAK256
00002e1f: PUSH1 0x01
00002e21: DUP1
00002e22: PUSH1 0xa0
00002e24: SHL
00002e25: SUB
00002e26: DUP12
00002e27: AND
00002e28: PUSH0
00002e29: MSTORE
00002e2a: PUSH1 0x20
00002e2c: MSTORE
00002e2d: PUSH1 0xff
00002e2f: PUSH1 0x40
00002e31: PUSH0
00002e32: KECCAK256
00002e33: SLOAD
00002e34: SWAP2
00002e35: MLOAD
00002e36: AND
00002e37: GT
00002e38: ISZERO
00002e39: PUSH0
00002e3a: PUSH2 0x2e03
00002e3d: JUMP
00002e3e: JUMPDEST
00002e3f: PUSH1 0x01
00002e41: PUSH1 0x01
00002e43: PUSH1 0x58
00002e45: SHL
00002e46: SUB
00002e47: DUP8
00002e48: AND
00002e49: ISZERO
00002e4a: SWAP3
00002e4b: POP
00002e4c: PUSH2 0x288b
00002e4f: JUMP
00002e50: JUMPDEST
00002e51: SWAP2
00002e52: POP
00002e53: DUP4
00002e54: PUSH0
00002e55: MSTORE
00002e56: PUSH1 0x04
00002e58: PUSH1 0x20
00002e5a: MSTORE
00002e5b: PUSH1 0x01
00002e5d: PUSH1 0x01
00002e5f: PUSH1 0x48
00002e61: SHL
00002e62: SUB
00002e63: PUSH1 0x40
00002e65: PUSH0
00002e66: KECCAK256
00002e67: SLOAD
00002e68: PUSH1 0x18
00002e6a: SHR
00002e6b: AND
00002e6c: ISZERO
00002e6d: ISZERO
00002e6e: SWAP2
00002e6f: PUSH2 0x2884
00002e72: JUMP
00002e73: JUMPDEST
00002e74: PUSH1 0x40
00002e76: MLOAD
00002e77: PUSH4 0x8988eea9
00002e7c: PUSH1 0xe0
00002e7e: SHL
00002e7f: DUP2
00002e80: MSTORE
00002e81: CALLER
00002e82: PUSH1 0x04
00002e84: DUP3
00002e85: ADD
00002e86: MSTORE
00002e87: PUSH1 0x01
00002e89: PUSH1 0x01
00002e8b: PUSH1 0xa0
00002e8d: SHL
00002e8e: SUB
00002e8f: DUP3
00002e90: AND
00002e91: PUSH1 0x24
00002e93: DUP3
00002e94: ADD
00002e95: MSTORE
00002e96: ADDRESS
00002e97: PUSH1 0x44
00002e99: DUP3
00002e9a: ADD
00002e9b: MSTORE
00002e9c: PUSH0
00002e9d: PUSH1 0x64
00002e9f: DUP3
00002ea0: ADD
00002ea1: MSTORE
00002ea2: PUSH1 0x20
00002ea4: DUP2
00002ea5: PUSH1 0x84
00002ea7: DUP2
00002ea8: PUSH13 0x447e69651d841bd8d104bed493
00002eb6: GAS
00002eb7: STATICCALL
00002eb8: SWAP1
00002eb9: DUP2
00002eba: ISZERO
00002ebb: PUSH2 0x0a2b
00002ebe: JUMPI
00002ebf: PUSH0
00002ec0: SWAP2
00002ec1: PUSH2 0x2ece
00002ec4: JUMPI
00002ec5: JUMPDEST
00002ec6: POP
00002ec7: PUSH2 0x2626
00002eca: JUMPI
00002ecb: PUSH0
00002ecc: DUP1
00002ecd: REVERT
00002ece: JUMPDEST
00002ecf: PUSH2 0x2ee7
00002ed2: SWAP2
00002ed3: POP
00002ed4: PUSH1 0x20
00002ed6: RETURNDATASIZE
00002ed7: PUSH1 0x20
00002ed9: GT
00002eda: PUSH2 0x0a24
00002edd: JUMPI
00002ede: PUSH2 0x0a15
00002ee1: DUP2
00002ee2: DUP4
00002ee3: PUSH2 0x1962
00002ee6: JUMP
00002ee7: JUMPDEST
00002ee8: PUSH0
00002ee9: PUSH2 0x2ec5
00002eec: JUMP
00002eed: JUMPDEST
00002eee: PUSH1 0x40
00002ef0: MLOAD
00002ef1: PUSH3 0x461bcd
00002ef5: PUSH1 0xe5
00002ef7: SHL
00002ef8: DUP2
00002ef9: MSTORE
00002efa: PUSH1 0x20
00002efc: PUSH1 0x04
00002efe: DUP3
00002eff: ADD
00002f00: MSTORE
00002f01: PUSH1 0x10
00002f03: PUSH1 0x24
00002f05: DUP3
00002f06: ADD
00002f07: MSTORE
00002f08: PUSH16 0x109d5e5a5b99c81a5cc81c185d5cd959
00002f19: PUSH1 0x82
00002f1b: SHL
00002f1c: PUSH1 0x44
00002f1e: DUP3
00002f1f: ADD
00002f20: MSTORE
00002f21: PUSH1 0x64
00002f23: SWAP1
00002f24: REVERT
00002f25: JUMPDEST
00002f26: PUSH0
00002f27: SLOAD
00002f28: PUSH1 0x01
00002f2a: PUSH1 0x01
00002f2c: PUSH1 0xa0
00002f2e: SHL
00002f2f: SUB
00002f30: AND
00002f31: CALLER
00002f32: SUB
00002f33: PUSH2 0x2f38
00002f36: JUMPI
00002f37: JUMP
00002f38: JUMPDEST
00002f39: PUSH4 0x118cdaa7
00002f3e: PUSH1 0xe0
00002f40: SHL
00002f41: PUSH0
00002f42: MSTORE
00002f43: CALLER
00002f44: PUSH1 0x04
00002f46: MSTORE
00002f47: PUSH1 0x24
00002f49: PUSH0
00002f4a: REVERT
00002f4b: JUMPDEST
00002f4c: PUSH0
00002f4d: SWAP2
00002f4e: PUSH1 0x01
00002f50: PUSH1 0x01
00002f52: PUSH1 0x60
00002f54: SHL
00002f55: SUB
00002f56: DUP2
00002f57: PUSH1 0x60
00002f59: SHR
00002f5a: SWAP2
00002f5b: AND
00002f5c: SWAP2
00002f5d: PUSH1 0x40
00002f5f: MLOAD
00002f60: PUSH4 0x31a9108f
00002f65: PUSH1 0xe1
00002f67: SHL
00002f68: DUP2
00002f69: MSTORE
00002f6a: DUP4
00002f6b: PUSH1 0x04
00002f6d: DUP3
00002f6e: ADD
00002f6f: MSTORE
00002f70: PUSH1 0x20
00002f72: DUP2
00002f73: PUSH1 0x24
00002f75: DUP2
00002f76: DUP7
00002f77: GAS
00002f78: STATICCALL
00002f79: PUSH0
00002f7a: SWAP2
00002f7b: DUP2
00002f7c: PUSH2 0x309a
00002f7f: JUMPI
00002f80: JUMPDEST
00002f81: POP
00002f82: PUSH2 0x2ff4
00002f85: JUMPI
00002f86: POP
00002f87: DUP2
00002f88: EXTCODESIZE
00002f89: ISZERO
00002f8a: PUSH2 0x2ff0
00002f8d: JUMPI
00002f8e: PUSH1 0x40
00002f90: MLOAD
00002f91: PUSH4 0x40c10f19
00002f96: PUSH1 0xe0
00002f98: SHL
00002f99: DUP2
00002f9a: MSTORE
00002f9b: PUSH1 0x01
00002f9d: PUSH1 0x01
00002f9f: PUSH1 0xa0
00002fa1: SHL
00002fa2: SUB
00002fa3: SWAP1
00002fa4: SWAP2
00002fa5: AND
00002fa6: PUSH1 0x04
00002fa8: DUP3
00002fa9: ADD
00002faa: MSTORE
00002fab: PUSH1 0x24
00002fad: DUP2
00002fae: ADD
00002faf: SWAP3
00002fb0: SWAP1
00002fb1: SWAP3
00002fb2: MSTORE
00002fb3: DUP3
00002fb4: SWAP1
00002fb5: DUP3
00002fb6: SWAP1
00002fb7: DUP2
00002fb8: DUP4
00002fb9: DUP2
00002fba: PUSH1 0x44
00002fbc: DUP2
00002fbd: ADD
00002fbe: JUMPDEST
00002fbf: SUB
00002fc0: SWAP3
00002fc1: GAS
00002fc2: CALL
00002fc3: DUP1
00002fc4: ISZERO
00002fc5: PUSH2 0x2fe5
00002fc8: JUMPI
00002fc9: PUSH2 0x2fd0
00002fcc: JUMPI
00002fcd: POP
00002fce: POP
00002fcf: JUMP
00002fd0: JUMPDEST
00002fd1: PUSH2 0x2fdb
00002fd4: DUP3
00002fd5: DUP1
00002fd6: SWAP3
00002fd7: PUSH2 0x1962
00002fda: JUMP
00002fdb: JUMPDEST
00002fdc: PUSH2 0x2fe2
00002fdf: JUMPI
00002fe0: POP
00002fe1: JUMP
00002fe2: JUMPDEST
00002fe3: DUP1
00002fe4: REVERT
00002fe5: JUMPDEST
00002fe6: PUSH1 0x40
00002fe8: MLOAD
00002fe9: RETURNDATASIZE
00002fea: DUP5
00002feb: DUP3
00002fec: RETURNDATACOPY
00002fed: RETURNDATASIZE
00002fee: SWAP1
00002fef: REVERT
00002ff0: JUMPDEST
00002ff1: DUP4
00002ff2: DUP1
00002ff3: REVERT
00002ff4: JUMPDEST
00002ff5: PUSH1 0x01
00002ff7: PUSH1 0x01
00002ff9: PUSH1 0xa0
00002ffb: SHL
00002ffc: SUB
00002ffd: DUP2
00002ffe: AND
00002fff: PUSH2 0x303f
00003002: JUMPI
00003003: POP
00003004: DUP2
00003005: EXTCODESIZE
00003006: ISZERO
00003007: PUSH2 0x2ff0
0000300a: JUMPI
0000300b: PUSH1 0x40
0000300d: MLOAD
0000300e: PUSH4 0x40c10f19
00003013: PUSH1 0xe0
00003015: SHL
00003016: DUP2
00003017: MSTORE
00003018: PUSH1 0x01
0000301a: PUSH1 0x01
0000301c: PUSH1 0xa0
0000301e: SHL
0000301f: SUB
00003020: SWAP1
00003021: SWAP2
00003022: AND
00003023: PUSH1 0x04
00003025: DUP3
00003026: ADD
00003027: MSTORE
00003028: PUSH1 0x24
0000302a: DUP2
0000302b: ADD
0000302c: SWAP3
0000302d: SWAP1
0000302e: SWAP3
0000302f: MSTORE
00003030: DUP3
00003031: SWAP1
00003032: DUP3
00003033: SWAP1
00003034: DUP2
00003035: DUP4
00003036: DUP2
00003037: PUSH1 0x44
00003039: DUP2
0000303a: ADD
0000303b: PUSH2 0x2fbe
0000303e: JUMP
0000303f: JUMPDEST
00003040: SWAP3
00003041: SWAP2
00003042: DUP1
00003043: SWAP2
00003044: SWAP5
00003045: POP
00003046: EXTCODESIZE
00003047: ISZERO
00003048: PUSH2 0x020f
0000304b: JUMPI
0000304c: PUSH1 0x40
0000304e: MLOAD
0000304f: PUSH4 0x23b872dd
00003054: PUSH1 0xe0
00003056: SHL
00003057: DUP2
00003058: MSTORE
00003059: PUSH1 0x01
0000305b: PUSH1 0x01
0000305d: PUSH1 0xa0
0000305f: SHL
00003060: SUB
00003061: SWAP4
00003062: DUP5
00003063: AND
00003064: PUSH1 0x04
00003066: DUP3
00003067: ADD
00003068: MSTORE
00003069: SWAP4
0000306a: SWAP1
0000306b: SWAP3
0000306c: AND
0000306d: PUSH1 0x24
0000306f: DUP5
00003070: ADD
00003071: MSTORE
00003072: PUSH1 0x44
00003074: DUP4
00003075: ADD
00003076: MSTORE
00003077: PUSH0
00003078: SWAP1
00003079: DUP3
0000307a: SWAP1
0000307b: PUSH1 0x64
0000307d: SWAP1
0000307e: DUP3
0000307f: SWAP1
00003080: DUP5
00003081: SWAP1
00003082: GAS
00003083: CALL
00003084: DUP1
00003085: ISZERO
00003086: PUSH2 0x0a2b
00003089: JUMPI
0000308a: PUSH2 0x3090
0000308d: JUMPI
0000308e: POP
0000308f: JUMP
00003090: JUMPDEST
00003091: PUSH0
00003092: PUSH2 0x1ef4
00003095: SWAP2
00003096: PUSH2 0x1962
00003099: JUMP
0000309a: JUMPDEST
0000309b: SWAP1
0000309c: SWAP2
0000309d: POP
0000309e: PUSH1 0x20
000030a0: DUP2
000030a1: RETURNDATASIZE
000030a2: PUSH1 0x20
000030a4: GT
000030a5: PUSH2 0x30d6
000030a8: JUMPI
000030a9: JUMPDEST
000030aa: DUP2
000030ab: PUSH2 0x30b6
000030ae: PUSH1 0x20
000030b0: SWAP4
000030b1: DUP4
000030b2: PUSH2 0x1962
000030b5: JUMP
000030b6: JUMPDEST
000030b7: DUP2
000030b8: ADD
000030b9: SUB
000030ba: SLT
000030bb: PUSH2 0x020f
000030be: JUMPI
000030bf: MLOAD
000030c0: PUSH1 0x01
000030c2: PUSH1 0x01
000030c4: PUSH1 0xa0
000030c6: SHL
000030c7: SUB
000030c8: DUP2
000030c9: AND
000030ca: DUP2
000030cb: SUB
000030cc: PUSH2 0x020f
000030cf: JUMPI
000030d0: SWAP1
000030d1: PUSH0
000030d2: PUSH2 0x2f80
000030d5: JUMP
000030d6: JUMPDEST
000030d7: RETURNDATASIZE
000030d8: SWAP2
000030d9: POP
000030da: PUSH2 0x30a9
000030dd: JUMP
000030de: JUMPDEST
000030df: DUP2
000030e0: SELFBALANCE
000030e1: LT
000030e2: PUSH2 0x3115
000030e5: JUMPI
000030e6: PUSH0
000030e7: CODESIZE
000030e8: DUP2
000030e9: DUP1
000030ea: DUP6
000030eb: DUP6
000030ec: PUSH2 0x7530
000030ef: CALL
000030f0: ISZERO
000030f1: PUSH2 0x30f8
000030f4: JUMPI
000030f5: POP
000030f6: POP
000030f7: JUMP
000030f8: JUMPDEST
000030f9: PUSH1 0x16
000030fb: SWAP2
000030fc: PUSH1 0x0b
000030fe: SWAP2
000030ff: PUSH0
00003100: MSTORE
00003101: PUSH1 0x73
00003103: DUP3
00003104: MSTORE8
00003105: PUSH1 0xff
00003107: PUSH1 0x20
00003109: MSTORE8
0000310a: CREATE
0000310b: ISZERO
0000310c: PUSH2 0x3111
0000310f: JUMPI
00003110: JUMP
00003111: JUMPDEST
00003112: CODESIZE
00003113: CODESIZE
00003114: REVERT
00003115: JUMPDEST
00003116: PUSH4 0xb12d13eb
0000311b: PUSH0
0000311c: MSTORE
0000311d: PUSH1 0x04
0000311f: PUSH1 0x1c
00003121: REVERT
00003122: INVALID
00003123: LOG2
00003124: PUSH5 0x6970667358
0000312a: UNKNOWN(0x22)
0000312b: SLT
0000312c: KECCAK256
0000312d: UNKNOWN(0xCA)
0000312e: UNKNOWN(0xF7)
0000312f: SAR
00003130: PUSH16 0x0736b9e2c7f439e1eb8b51e5b76c4e32
00003141: UNKNOWN(0xC2)
00003142: CALLDATASIZE
00003143: UNKNOWN(0xC9)
00003144: PUSH3 0x8018da
00003148: UNKNOWN(0xB1)
00003149: PUSH21
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xcc1c12736bced3bcd968cf889aed9a2c4b396e7e67774054d610af99b5f74552 call_targets: 0x57612866892a569b6ab1da52ee7ed2f787466a23 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xcc1c12736bced3bcd968cf889aed9a2c4b396e7e67774054d610af99b5f74552", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x57612866892a569b6ab1da52ee7ed2f787466a23" ], "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": "0x014ac8ec", "selector": "0x014ac8ec", "calldata_variants": [ "0x014ac8ec", "0x014ac8ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x02548376", "selector": "0x02548376", "calldata_variants": [ "0x02548376", "0x025483760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x025b463e", "selector": "0x025b463e", "calldata_variants": [ "0x025b463e", "0x025b463e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0d5c87ab", "selector": "0x0d5c87ab", "calldata_variants": [ "0x0d5c87ab", "0x0d5c87ab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0eb41011", "selector": "0x0eb41011", "calldata_variants": [ "0x0eb41011", "0x0eb410110000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x110898fd", "selector": "0x110898fd", "calldata_variants": [ "0x110898fd", "0x110898fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x16c38b3c", "selector": "0x16c38b3c", "calldata_variants": [ "0x16c38b3c", "0x16c38b3c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1a4109da", "selector": "0x1a4109da", "calldata_variants": [ "0x1a4109da", "0x1a4109da0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2545, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3169, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3253, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 11, "guards_detected": [], "untrusted_call_count": 11 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xcc1c12736bced3bcd968cf889aed9a2c4b396e7e67774054d610af99b5f74552 call_targets: 0x57612866892a569b6ab1da52ee7ed2f787466a23 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xcc1c12736bced3bcd968cf889aed9a2c4b396e7e67774054d610af99b5f74552", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x57612866892a569b6ab1da52ee7ed2f787466a23" ], "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": "0x014ac8ec", "selector": "0x014ac8ec", "calldata_variants": [ "0x014ac8ec", "0x014ac8ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x02548376", "selector": "0x02548376", "calldata_variants": [ "0x02548376", "0x025483760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x025b463e", "selector": "0x025b463e", "calldata_variants": [ "0x025b463e", "0x025b463e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0d5c87ab", "selector": "0x0d5c87ab", "calldata_variants": [ "0x0d5c87ab", "0x0d5c87ab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0eb41011", "selector": "0x0eb41011", "calldata_variants": [ "0x0eb41011", "0x0eb410110000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x110898fd", "selector": "0x110898fd", "calldata_variants": [ "0x110898fd", "0x110898fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x16c38b3c", "selector": "0x16c38b3c", "calldata_variants": [ "0x16c38b3c", "0x16c38b3c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1a4109da", "selector": "0x1a4109da", "calldata_variants": [ "0x1a4109da", "0x1a4109da0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2545, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3169, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3253, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 11, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xe07c55c109ca1b6c4589453322aa192df0cfe86f2bb9d0b3d627ad8c746b79d9 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xe07c55c109ca1b6c4589453322aa192df0cfe86f2bb9d0b3d627ad8c746b79d9", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x014ac8ec", "selector": "0x014ac8ec", "calldata_variants": [ "0x014ac8ec", "0x014ac8ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x02548376", "selector": "0x02548376", "calldata_variants": [ "0x02548376", "0x025483760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x025b463e", "selector": "0x025b463e", "calldata_variants": [ "0x025b463e", "0x025b463e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0d5c87ab", "selector": "0x0d5c87ab", "calldata_variants": [ "0x0d5c87ab", "0x0d5c87ab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0eb41011", "selector": "0x0eb41011", "calldata_variants": [ "0x0eb41011", "0x0eb410110000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x110898fd", "selector": "0x110898fd", "calldata_variants": [ "0x110898fd", "0x110898fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x16c38b3c", "selector": "0x16c38b3c", "calldata_variants": [ "0x16c38b3c", "0x16c38b3c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1a4109da", "selector": "0x1a4109da", "calldata_variants": [ "0x1a4109da", "0x1a4109da0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }
Severity