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

019b477e-d4eb-725e-9061-392d609b6964
complete
Chain ID
Address
0xa946fb6b6b860c68df3c293f1e2c3881b243e08c
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
28437	artifact.fetch	complete	1 / 3	3 months ago
28438	tool.cast_disasm	complete	1 / 3	3 months ago
92457	analysis.bundle	complete	1 / 3	2 weeks ago
92458	capability.graph	complete	1 / 3	2 weeks ago
92459	detector.run	complete	1 / 3	2 weeks ago
92460	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes
Slither

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
8026
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01f1
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x715018a6
00000018: GT
00000019: PUSH2 0x010c
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xae6e8a88
00000023: GT
00000024: PUSH2 0x009f
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xd9927448
0000002e: GT
0000002f: PUSH2 0x006e
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xd9927448
00000039: EQ
0000003a: PUSH2 0x06fe
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xdd62ed3e
00000044: EQ
00000045: PUSH2 0x0726
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xedae876f
0000004f: EQ
00000050: PUSH2 0x0762
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf2fde38b
0000005a: EQ
0000005b: PUSH2 0x078c
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xf59c3708
00000065: EQ
00000066: PUSH2 0x07b4
00000069: JUMPI
0000006a: PUSH2 0x01f8
0000006d: JUMP
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0xae6e8a88
00000075: EQ
00000076: PUSH2 0x065c
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0xc49b9a80
00000080: EQ
00000081: PUSH2 0x0684
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0xca33e64c
0000008b: EQ
0000008c: PUSH2 0x06ac
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0xd59093f6
00000096: EQ
00000097: PUSH2 0x06d6
0000009a: JUMPI
0000009b: PUSH2 0x01f8
0000009e: JUMP
0000009f: JUMPDEST
000000a0: DUP1
000000a1: PUSH4 0x967123cd
000000a6: GT
000000a7: PUSH2 0x00db
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x967123cd
000000b1: EQ
000000b2: PUSH2 0x0592
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0xa457c2d7
000000bc: EQ
000000bd: PUSH2 0x05ba
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0xa9059cbb
000000c7: EQ
000000c8: PUSH2 0x05f6
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0xad5c4648
000000d2: EQ
000000d3: PUSH2 0x0632
000000d6: JUMPI
000000d7: PUSH2 0x01f8
000000da: JUMP
000000db: JUMPDEST
000000dc: DUP1
000000dd: PUSH4 0x715018a6
000000e2: EQ
000000e3: PUSH2 0x04fe
000000e6: JUMPI
000000e7: DUP1
000000e8: PUSH4 0x8da5cb5b
000000ed: EQ
000000ee: PUSH2 0x0514
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0x95c45729
000000f8: EQ
000000f9: PUSH2 0x053e
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x95d89b41
00000103: EQ
00000104: PUSH2 0x0568
00000107: JUMPI
00000108: PUSH2 0x01f8
0000010b: JUMP
0000010c: JUMPDEST
0000010d: DUP1
0000010e: PUSH4 0x313ce567
00000113: GT
00000114: PUSH2 0x0184
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x4a74bb02
0000011e: GT
0000011f: PUSH2 0x0153
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x4a74bb02
00000129: EQ
0000012a: PUSH2 0x0448
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x632e5442
00000134: EQ
00000135: PUSH2 0x0472
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x667f6526
0000013f: EQ
00000140: PUSH2 0x049a
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x70a08231
0000014a: EQ
0000014b: PUSH2 0x04c2
0000014e: JUMPI
0000014f: PUSH2 0x01f8
00000152: JUMP
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x313ce567
0000015a: EQ
0000015b: PUSH2 0x0390
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x39509351
00000165: EQ
00000166: PUSH2 0x03ba
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x404e5129
00000170: EQ
00000171: PUSH2 0x03f6
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x49bd5a5e
0000017b: EQ
0000017c: PUSH2 0x041e
0000017f: JUMPI
00000180: PUSH2 0x01f8
00000183: JUMP
00000184: JUMPDEST
00000185: DUP1
00000186: PUSH4 0x1c6a0c4c
0000018b: GT
0000018c: PUSH2 0x01c0
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x1c6a0c4c
00000196: EQ
00000197: PUSH2 0x02c8
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x1e7be210
000001a1: EQ
000001a2: PUSH2 0x02f0
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x1e89d545
000001ac: EQ
000001ad: PUSH2 0x032c
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x23b872dd
000001b7: EQ
000001b8: PUSH2 0x0354
000001bb: JUMPI
000001bc: PUSH2 0x01f8
000001bf: JUMP
000001c0: JUMPDEST
000001c1: DUP1
000001c2: PUSH4 0x06fdde03
000001c7: EQ
000001c8: PUSH2 0x01fc
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x095ea7b3
000001d2: EQ
000001d3: PUSH2 0x0226
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x16c02129
000001dd: EQ
000001de: PUSH2 0x0262
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x18160ddd
000001e8: EQ
000001e9: PUSH2 0x029e
000001ec: JUMPI
000001ed: PUSH2 0x01f8
000001f0: JUMP
000001f1: JUMPDEST
000001f2: CALLDATASIZE
000001f3: PUSH2 0x01f8
000001f6: JUMPI
000001f7: STOP
000001f8: JUMPDEST
000001f9: PUSH0
000001fa: DUP1
000001fb: REVERT
000001fc: JUMPDEST
000001fd: CALLVALUE
000001fe: DUP1
000001ff: ISZERO
00000200: PUSH2 0x0207
00000203: JUMPI
00000204: PUSH0
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: POP
00000209: PUSH2 0x0210
0000020c: PUSH2 0x07dc
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH1 0x40
00000213: MLOAD
00000214: PUSH2 0x021d
00000217: SWAP2
00000218: SWAP1
00000219: PUSH2 0x29ed
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH1 0x40
00000220: MLOAD
00000221: DUP1
00000222: SWAP2
00000223: SUB
00000224: SWAP1
00000225: RETURN
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0231
0000022d: JUMPI
0000022e: PUSH0
0000022f: DUP1
00000230: REVERT
00000231: JUMPDEST
00000232: POP
00000233: PUSH2 0x024c
00000236: PUSH1 0x04
00000238: DUP1
00000239: CALLDATASIZE
0000023a: SUB
0000023b: DUP2
0000023c: ADD
0000023d: SWAP1
0000023e: PUSH2 0x0247
00000241: SWAP2
00000242: SWAP1
00000243: PUSH2 0x2aa2
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH2 0x086c
0000024b: JUMP
0000024c: JUMPDEST
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: PUSH2 0x0259
00000253: SWAP2
00000254: SWAP1
00000255: PUSH2 0x2afa
00000258: JUMP
00000259: JUMPDEST
0000025a: PUSH1 0x40
0000025c: MLOAD
0000025d: DUP1
0000025e: SWAP2
0000025f: SUB
00000260: SWAP1
00000261: RETURN
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026d
00000269: JUMPI
0000026a: PUSH0
0000026b: DUP1
0000026c: REVERT
0000026d: JUMPDEST
0000026e: POP
0000026f: PUSH2 0x0288
00000272: PUSH1 0x04
00000274: DUP1
00000275: CALLDATASIZE
00000276: SUB
00000277: DUP2
00000278: ADD
00000279: SWAP1
0000027a: PUSH2 0x0283
0000027d: SWAP2
0000027e: SWAP1
0000027f: PUSH2 0x2b13
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH2 0x0889
00000287: JUMP
00000288: JUMPDEST
00000289: PUSH1 0x40
0000028b: MLOAD
0000028c: PUSH2 0x0295
0000028f: SWAP2
00000290: SWAP1
00000291: PUSH2 0x2afa
00000294: JUMP
00000295: JUMPDEST
00000296: PUSH1 0x40
00000298: MLOAD
00000299: DUP1
0000029a: SWAP2
0000029b: SUB
0000029c: SWAP1
0000029d: RETURN
0000029e: JUMPDEST
0000029f: CALLVALUE
000002a0: DUP1
000002a1: ISZERO
000002a2: PUSH2 0x02a9
000002a5: JUMPI
000002a6: PUSH0
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x02b2
000002ae: PUSH2 0x08a6
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: PUSH2 0x02bf
000002b9: SWAP2
000002ba: SWAP1
000002bb: PUSH2 0x2b4d
000002be: JUMP
000002bf: JUMPDEST
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: DUP1
000002c4: SWAP2
000002c5: SUB
000002c6: SWAP1
000002c7: RETURN
000002c8: JUMPDEST
000002c9: CALLVALUE
000002ca: DUP1
000002cb: ISZERO
000002cc: PUSH2 0x02d3
000002cf: JUMPI
000002d0: PUSH0
000002d1: DUP1
000002d2: REVERT
000002d3: JUMPDEST
000002d4: POP
000002d5: PUSH2 0x02ee
000002d8: PUSH1 0x04
000002da: DUP1
000002db: CALLDATASIZE
000002dc: SUB
000002dd: DUP2
000002de: ADD
000002df: SWAP1
000002e0: PUSH2 0x02e9
000002e3: SWAP2
000002e4: SWAP1
000002e5: PUSH2 0x2b66
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH2 0x08af
000002ed: JUMP
000002ee: JUMPDEST
000002ef: STOP
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: DUP1
000002f3: ISZERO
000002f4: PUSH2 0x02fb
000002f7: JUMPI
000002f8: PUSH0
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: POP
000002fd: PUSH2 0x0316
00000300: PUSH1 0x04
00000302: DUP1
00000303: CALLDATASIZE
00000304: SUB
00000305: DUP2
00000306: ADD
00000307: SWAP1
00000308: PUSH2 0x0311
0000030b: SWAP2
0000030c: SWAP1
0000030d: PUSH2 0x2b13
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH2 0x0972
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: MLOAD
0000031a: PUSH2 0x0323
0000031d: SWAP2
0000031e: SWAP1
0000031f: PUSH2 0x2afa
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH1 0x40
00000326: MLOAD
00000327: DUP1
00000328: SWAP2
00000329: SUB
0000032a: SWAP1
0000032b: RETURN
0000032c: JUMPDEST
0000032d: CALLVALUE
0000032e: DUP1
0000032f: ISZERO
00000330: PUSH2 0x0337
00000333: JUMPI
00000334: PUSH0
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: PUSH2 0x0352
0000033c: PUSH1 0x04
0000033e: DUP1
0000033f: CALLDATASIZE
00000340: SUB
00000341: DUP2
00000342: ADD
00000343: SWAP1
00000344: PUSH2 0x034d
00000347: SWAP2
00000348: SWAP1
00000349: PUSH2 0x2c47
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH2 0x098f
00000351: JUMP
00000352: JUMPDEST
00000353: STOP
00000354: JUMPDEST
00000355: CALLVALUE
00000356: DUP1
00000357: ISZERO
00000358: PUSH2 0x035f
0000035b: JUMPI
0000035c: PUSH0
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: POP
00000361: PUSH2 0x037a
00000364: PUSH1 0x04
00000366: DUP1
00000367: CALLDATASIZE
00000368: SUB
00000369: DUP2
0000036a: ADD
0000036b: SWAP1
0000036c: PUSH2 0x0375
0000036f: SWAP2
00000370: SWAP1
00000371: PUSH2 0x2cc5
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH2 0x0b19
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH1 0x40
0000037d: MLOAD
0000037e: PUSH2 0x0387
00000381: SWAP2
00000382: SWAP1
00000383: PUSH2 0x2afa
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH1 0x40
0000038a: MLOAD
0000038b: DUP1
0000038c: SWAP2
0000038d: SUB
0000038e: SWAP1
0000038f: RETURN
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039b
00000397: JUMPI
00000398: PUSH0
00000399: DUP1
0000039a: REVERT
0000039b: JUMPDEST
0000039c: POP
0000039d: PUSH2 0x03a4
000003a0: PUSH2 0x0c0b
000003a3: JUMP
000003a4: JUMPDEST
000003a5: PUSH1 0x40
000003a7: MLOAD
000003a8: PUSH2 0x03b1
000003ab: SWAP2
000003ac: SWAP1
000003ad: PUSH2 0x2d30
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: DUP1
000003b6: SWAP2
000003b7: SUB
000003b8: SWAP1
000003b9: RETURN
000003ba: JUMPDEST
000003bb: CALLVALUE
000003bc: DUP1
000003bd: ISZERO
000003be: PUSH2 0x03c5
000003c1: JUMPI
000003c2: PUSH0
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH2 0x03e0
000003ca: PUSH1 0x04
000003cc: DUP1
000003cd: CALLDATASIZE
000003ce: SUB
000003cf: DUP2
000003d0: ADD
000003d1: SWAP1
000003d2: PUSH2 0x03db
000003d5: SWAP2
000003d6: SWAP1
000003d7: PUSH2 0x2aa2
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH2 0x0c13
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH1 0x40
000003e3: MLOAD
000003e4: PUSH2 0x03ed
000003e7: SWAP2
000003e8: SWAP1
000003e9: PUSH2 0x2afa
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x40
000003f0: MLOAD
000003f1: DUP1
000003f2: SWAP2
000003f3: SUB
000003f4: SWAP1
000003f5: RETURN
000003f6: JUMPDEST
000003f7: CALLVALUE
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0401
000003fd: JUMPI
000003fe: PUSH0
000003ff: DUP1
00000400: REVERT
00000401: JUMPDEST
00000402: POP
00000403: PUSH2 0x041c
00000406: PUSH1 0x04
00000408: DUP1
00000409: CALLDATASIZE
0000040a: SUB
0000040b: DUP2
0000040c: ADD
0000040d: SWAP1
0000040e: PUSH2 0x0417
00000411: SWAP2
00000412: SWAP1
00000413: PUSH2 0x2d73
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH2 0x0cba
0000041b: JUMP
0000041c: JUMPDEST
0000041d: STOP
0000041e: JUMPDEST
0000041f: CALLVALUE
00000420: DUP1
00000421: ISZERO
00000422: PUSH2 0x0429
00000425: JUMPI
00000426: PUSH0
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: POP
0000042b: PUSH2 0x0432
0000042e: PUSH2 0x0d8e
00000431: JUMP
00000432: JUMPDEST
00000433: PUSH1 0x40
00000435: MLOAD
00000436: PUSH2 0x043f
00000439: SWAP2
0000043a: SWAP1
0000043b: PUSH2 0x2dc0
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH1 0x40
00000442: MLOAD
00000443: DUP1
00000444: SWAP2
00000445: SUB
00000446: SWAP1
00000447: RETURN
00000448: JUMPDEST
00000449: CALLVALUE
0000044a: DUP1
0000044b: ISZERO
0000044c: PUSH2 0x0453
0000044f: JUMPI
00000450: PUSH0
00000451: DUP1
00000452: REVERT
00000453: JUMPDEST
00000454: POP
00000455: PUSH2 0x045c
00000458: PUSH2 0x0db3
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH1 0x40
0000045f: MLOAD
00000460: PUSH2 0x0469
00000463: SWAP2
00000464: SWAP1
00000465: PUSH2 0x2afa
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH1 0x40
0000046c: MLOAD
0000046d: DUP1
0000046e: SWAP2
0000046f: SUB
00000470: SWAP1
00000471: RETURN
00000472: JUMPDEST
00000473: CALLVALUE
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x047d
00000479: JUMPI
0000047a: PUSH0
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: POP
0000047f: PUSH2 0x0498
00000482: PUSH1 0x04
00000484: DUP1
00000485: CALLDATASIZE
00000486: SUB
00000487: DUP2
00000488: ADD
00000489: SWAP1
0000048a: PUSH2 0x0493
0000048d: SWAP2
0000048e: SWAP1
0000048f: PUSH2 0x2dd9
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH2 0x0dc6
00000497: JUMP
00000498: JUMPDEST
00000499: STOP
0000049a: JUMPDEST
0000049b: CALLVALUE
0000049c: DUP1
0000049d: ISZERO
0000049e: PUSH2 0x04a5
000004a1: JUMPI
000004a2: PUSH0
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: POP
000004a7: PUSH2 0x04c0
000004aa: PUSH1 0x04
000004ac: DUP1
000004ad: CALLDATASIZE
000004ae: SUB
000004af: DUP2
000004b0: ADD
000004b1: SWAP1
000004b2: PUSH2 0x04bb
000004b5: SWAP2
000004b6: SWAP1
000004b7: PUSH2 0x2e36
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH2 0x0ebd
000004bf: JUMP
000004c0: JUMPDEST
000004c1: STOP
000004c2: JUMPDEST
000004c3: CALLVALUE
000004c4: DUP1
000004c5: ISZERO
000004c6: PUSH2 0x04cd
000004c9: JUMPI
000004ca: PUSH0
000004cb: DUP1
000004cc: REVERT
000004cd: JUMPDEST
000004ce: POP
000004cf: PUSH2 0x04e8
000004d2: PUSH1 0x04
000004d4: DUP1
000004d5: CALLDATASIZE
000004d6: SUB
000004d7: DUP2
000004d8: ADD
000004d9: SWAP1
000004da: PUSH2 0x04e3
000004dd: SWAP2
000004de: SWAP1
000004df: PUSH2 0x2b13
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH2 0x0f4b
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH1 0x40
000004eb: MLOAD
000004ec: PUSH2 0x04f5
000004ef: SWAP2
000004f0: SWAP1
000004f1: PUSH2 0x2b4d
000004f4: JUMP
000004f5: JUMPDEST
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: DUP1
000004fa: SWAP2
000004fb: SUB
000004fc: SWAP1
000004fd: RETURN
000004fe: JUMPDEST
000004ff: CALLVALUE
00000500: DUP1
00000501: ISZERO
00000502: PUSH2 0x0509
00000505: JUMPI
00000506: PUSH0
00000507: DUP1
00000508: REVERT
00000509: JUMPDEST
0000050a: POP
0000050b: PUSH2 0x0512
0000050e: PUSH2 0x0f91
00000511: JUMP
00000512: JUMPDEST
00000513: STOP
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x051f
0000051b: JUMPI
0000051c: PUSH0
0000051d: DUP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: POP
00000521: PUSH2 0x0528
00000524: PUSH2 0x1018
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH1 0x40
0000052b: MLOAD
0000052c: PUSH2 0x0535
0000052f: SWAP2
00000530: SWAP1
00000531: PUSH2 0x2dc0
00000534: JUMP
00000535: JUMPDEST
00000536: PUSH1 0x40
00000538: MLOAD
00000539: DUP1
0000053a: SWAP2
0000053b: SUB
0000053c: SWAP1
0000053d: RETURN
0000053e: JUMPDEST
0000053f: CALLVALUE
00000540: DUP1
00000541: ISZERO
00000542: PUSH2 0x0549
00000545: JUMPI
00000546: PUSH0
00000547: DUP1
00000548: REVERT
00000549: JUMPDEST
0000054a: POP
0000054b: PUSH2 0x0552
0000054e: PUSH2 0x103f
00000551: JUMP
00000552: JUMPDEST
00000553: PUSH1 0x40
00000555: MLOAD
00000556: PUSH2 0x055f
00000559: SWAP2
0000055a: SWAP1
0000055b: PUSH2 0x2afa
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH1 0x40
00000562: MLOAD
00000563: DUP1
00000564: SWAP2
00000565: SUB
00000566: SWAP1
00000567: RETURN
00000568: JUMPDEST
00000569: CALLVALUE
0000056a: DUP1
0000056b: ISZERO
0000056c: PUSH2 0x0573
0000056f: JUMPI
00000570: PUSH0
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: PUSH2 0x057c
00000578: PUSH2 0x1051
0000057b: JUMP
0000057c: JUMPDEST
0000057d: PUSH1 0x40
0000057f: MLOAD
00000580: PUSH2 0x0589
00000583: SWAP2
00000584: SWAP1
00000585: PUSH2 0x29ed
00000588: JUMP
00000589: JUMPDEST
0000058a: PUSH1 0x40
0000058c: MLOAD
0000058d: DUP1
0000058e: SWAP2
0000058f: SUB
00000590: SWAP1
00000591: RETURN
00000592: JUMPDEST
00000593: CALLVALUE
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x059d
00000599: JUMPI
0000059a: PUSH0
0000059b: DUP1
0000059c: REVERT
0000059d: JUMPDEST
0000059e: POP
0000059f: PUSH2 0x05b8
000005a2: PUSH1 0x04
000005a4: DUP1
000005a5: CALLDATASIZE
000005a6: SUB
000005a7: DUP2
000005a8: ADD
000005a9: SWAP1
000005aa: PUSH2 0x05b3
000005ad: SWAP2
000005ae: SWAP1
000005af: PUSH2 0x2e74
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH2 0x10e1
000005b7: JUMP
000005b8: JUMPDEST
000005b9: STOP
000005ba: JUMPDEST
000005bb: CALLVALUE
000005bc: DUP1
000005bd: ISZERO
000005be: PUSH2 0x05c5
000005c1: JUMPI
000005c2: PUSH0
000005c3: DUP1
000005c4: REVERT
000005c5: JUMPDEST
000005c6: POP
000005c7: PUSH2 0x05e0
000005ca: PUSH1 0x04
000005cc: DUP1
000005cd: CALLDATASIZE
000005ce: SUB
000005cf: DUP2
000005d0: ADD
000005d1: SWAP1
000005d2: PUSH2 0x05db
000005d5: SWAP2
000005d6: SWAP1
000005d7: PUSH2 0x2aa2
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH2 0x11f8
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH1 0x40
000005e3: MLOAD
000005e4: PUSH2 0x05ed
000005e7: SWAP2
000005e8: SWAP1
000005e9: PUSH2 0x2afa
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: DUP1
000005f2: SWAP2
000005f3: SUB
000005f4: SWAP1
000005f5: RETURN
000005f6: JUMPDEST
000005f7: CALLVALUE
000005f8: DUP1
000005f9: ISZERO
000005fa: PUSH2 0x0601
000005fd: JUMPI
000005fe: PUSH0
000005ff: DUP1
00000600: REVERT
00000601: JUMPDEST
00000602: POP
00000603: PUSH2 0x061c
00000606: PUSH1 0x04
00000608: DUP1
00000609: CALLDATASIZE
0000060a: SUB
0000060b: DUP2
0000060c: ADD
0000060d: SWAP1
0000060e: PUSH2 0x0617
00000611: SWAP2
00000612: SWAP1
00000613: PUSH2 0x2aa2
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH2 0x12de
0000061b: JUMP
0000061c: JUMPDEST
0000061d: PUSH1 0x40
0000061f: MLOAD
00000620: PUSH2 0x0629
00000623: SWAP2
00000624: SWAP1
00000625: PUSH2 0x2afa
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: DUP1
0000062e: SWAP2
0000062f: SUB
00000630: SWAP1
00000631: RETURN
00000632: JUMPDEST
00000633: CALLVALUE
00000634: DUP1
00000635: ISZERO
00000636: PUSH2 0x063d
00000639: JUMPI
0000063a: PUSH0
0000063b: DUP1
0000063c: REVERT
0000063d: JUMPDEST
0000063e: POP
0000063f: PUSH2 0x0646
00000642: PUSH2 0x12fb
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH1 0x40
00000649: MLOAD
0000064a: PUSH2 0x0653
0000064d: SWAP2
0000064e: SWAP1
0000064f: PUSH2 0x2dc0
00000652: JUMP
00000653: JUMPDEST
00000654: PUSH1 0x40
00000656: MLOAD
00000657: DUP1
00000658: SWAP2
00000659: SUB
0000065a: SWAP1
0000065b: RETURN
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x0667
00000663: JUMPI
00000664: PUSH0
00000665: DUP1
00000666: REVERT
00000667: JUMPDEST
00000668: POP
00000669: PUSH2 0x0682
0000066c: PUSH1 0x04
0000066e: DUP1
0000066f: CALLDATASIZE
00000670: SUB
00000671: DUP2
00000672: ADD
00000673: SWAP1
00000674: PUSH2 0x067d
00000677: SWAP2
00000678: SWAP1
00000679: PUSH2 0x2e74
0000067c: JUMP
0000067d: JUMPDEST
0000067e: PUSH2 0x1320
00000681: JUMP
00000682: JUMPDEST
00000683: STOP
00000684: JUMPDEST
00000685: CALLVALUE
00000686: DUP1
00000687: ISZERO
00000688: PUSH2 0x068f
0000068b: JUMPI
0000068c: PUSH0
0000068d: DUP1
0000068e: REVERT
0000068f: JUMPDEST
00000690: POP
00000691: PUSH2 0x06aa
00000694: PUSH1 0x04
00000696: DUP1
00000697: CALLDATASIZE
00000698: SUB
00000699: DUP2
0000069a: ADD
0000069b: SWAP1
0000069c: PUSH2 0x06a5
0000069f: SWAP2
000006a0: SWAP1
000006a1: PUSH2 0x2ed1
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH2 0x1437
000006a9: JUMP
000006aa: JUMPDEST
000006ab: STOP
000006ac: JUMPDEST
000006ad: CALLVALUE
000006ae: DUP1
000006af: ISZERO
000006b0: PUSH2 0x06b7
000006b3: JUMPI
000006b4: PUSH0
000006b5: DUP1
000006b6: REVERT
000006b7: JUMPDEST
000006b8: POP
000006b9: PUSH2 0x06c0
000006bc: PUSH2 0x14d0
000006bf: JUMP
000006c0: JUMPDEST
000006c1: PUSH1 0x40
000006c3: MLOAD
000006c4: PUSH2 0x06cd
000006c7: SWAP2
000006c8: SWAP1
000006c9: PUSH2 0x2dc0
000006cc: JUMP
000006cd: JUMPDEST
000006ce: PUSH1 0x40
000006d0: MLOAD
000006d1: DUP1
000006d2: SWAP2
000006d3: SUB
000006d4: SWAP1
000006d5: RETURN
000006d6: JUMPDEST
000006d7: CALLVALUE
000006d8: DUP1
000006d9: ISZERO
000006da: PUSH2 0x06e1
000006dd: JUMPI
000006de: PUSH0
000006df: DUP1
000006e0: REVERT
000006e1: JUMPDEST
000006e2: POP
000006e3: PUSH2 0x06fc
000006e6: PUSH1 0x04
000006e8: DUP1
000006e9: CALLDATASIZE
000006ea: SUB
000006eb: DUP2
000006ec: ADD
000006ed: SWAP1
000006ee: PUSH2 0x06f7
000006f1: SWAP2
000006f2: SWAP1
000006f3: PUSH2 0x2ed1
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH2 0x14f5
000006fb: JUMP
000006fc: JUMPDEST
000006fd: STOP
000006fe: JUMPDEST
000006ff: CALLVALUE
00000700: DUP1
00000701: ISZERO
00000702: PUSH2 0x0709
00000705: JUMPI
00000706: PUSH0
00000707: DUP1
00000708: REVERT
00000709: JUMPDEST
0000070a: POP
0000070b: PUSH2 0x0724
0000070e: PUSH1 0x04
00000710: DUP1
00000711: CALLDATASIZE
00000712: SUB
00000713: DUP2
00000714: ADD
00000715: SWAP1
00000716: PUSH2 0x071f
00000719: SWAP2
0000071a: SWAP1
0000071b: PUSH2 0x2b13
0000071e: JUMP
0000071f: JUMPDEST
00000720: PUSH2 0x158d
00000723: JUMP
00000724: JUMPDEST
00000725: STOP
00000726: JUMPDEST
00000727: CALLVALUE
00000728: DUP1
00000729: ISZERO
0000072a: PUSH2 0x0731
0000072d: JUMPI
0000072e: PUSH0
0000072f: DUP1
00000730: REVERT
00000731: JUMPDEST
00000732: POP
00000733: PUSH2 0x074c
00000736: PUSH1 0x04
00000738: DUP1
00000739: CALLDATASIZE
0000073a: SUB
0000073b: DUP2
0000073c: ADD
0000073d: SWAP1
0000073e: PUSH2 0x0747
00000741: SWAP2
00000742: SWAP1
00000743: PUSH2 0x2efc
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH2 0x16ff
0000074b: JUMP
0000074c: JUMPDEST
0000074d: PUSH1 0x40
0000074f: MLOAD
00000750: PUSH2 0x0759
00000753: SWAP2
00000754: SWAP1
00000755: PUSH2 0x2b4d
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH1 0x40
0000075c: MLOAD
0000075d: DUP1
0000075e: SWAP2
0000075f: SUB
00000760: SWAP1
00000761: RETURN
00000762: JUMPDEST
00000763: CALLVALUE
00000764: DUP1
00000765: ISZERO
00000766: PUSH2 0x076d
00000769: JUMPI
0000076a: PUSH0
0000076b: DUP1
0000076c: REVERT
0000076d: JUMPDEST
0000076e: POP
0000076f: PUSH2 0x0776
00000772: PUSH2 0x1781
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH1 0x40
00000779: MLOAD
0000077a: PUSH2 0x0783
0000077d: SWAP2
0000077e: SWAP1
0000077f: PUSH2 0x2f95
00000782: JUMP
00000783: JUMPDEST
00000784: PUSH1 0x40
00000786: MLOAD
00000787: DUP1
00000788: SWAP2
00000789: SUB
0000078a: SWAP1
0000078b: RETURN
0000078c: JUMPDEST
0000078d: CALLVALUE
0000078e: DUP1
0000078f: ISZERO
00000790: PUSH2 0x0797
00000793: JUMPI
00000794: PUSH0
00000795: DUP1
00000796: REVERT
00000797: JUMPDEST
00000798: POP
00000799: PUSH2 0x07b2
0000079c: PUSH1 0x04
0000079e: DUP1
0000079f: CALLDATASIZE
000007a0: SUB
000007a1: DUP2
000007a2: ADD
000007a3: SWAP1
000007a4: PUSH2 0x07ad
000007a7: SWAP2
000007a8: SWAP1
000007a9: PUSH2 0x2b13
000007ac: JUMP
000007ad: JUMPDEST
000007ae: PUSH2 0x17a6
000007b1: JUMP
000007b2: JUMPDEST
000007b3: STOP
000007b4: JUMPDEST
000007b5: CALLVALUE
000007b6: DUP1
000007b7: ISZERO
000007b8: PUSH2 0x07bf
000007bb: JUMPI
000007bc: PUSH0
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: POP
000007c1: PUSH2 0x07da
000007c4: PUSH1 0x04
000007c6: DUP1
000007c7: CALLDATASIZE
000007c8: SUB
000007c9: DUP2
000007ca: ADD
000007cb: SWAP1
000007cc: PUSH2 0x07d5
000007cf: SWAP2
000007d0: SWAP1
000007d1: PUSH2 0x2d73
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH2 0x189c
000007d9: JUMP
000007da: JUMPDEST
000007db: STOP
000007dc: JUMPDEST
000007dd: PUSH1 0x60
000007df: PUSH1 0x04
000007e1: DUP1
000007e2: SLOAD
000007e3: PUSH2 0x07eb
000007e6: SWAP1
000007e7: PUSH2 0x2fdb
000007ea: JUMP
000007eb: JUMPDEST
000007ec: DUP1
000007ed: PUSH1 0x1f
000007ef: ADD
000007f0: PUSH1 0x20
000007f2: DUP1
000007f3: SWAP2
000007f4: DIV
000007f5: MUL
000007f6: PUSH1 0x20
000007f8: ADD
000007f9: PUSH1 0x40
000007fb: MLOAD
000007fc: SWAP1
000007fd: DUP2
000007fe: ADD
000007ff: PUSH1 0x40
00000801: MSTORE
00000802: DUP1
00000803: SWAP3
00000804: SWAP2
00000805: SWAP1
00000806: DUP2
00000807: DUP2
00000808: MSTORE
00000809: PUSH1 0x20
0000080b: ADD
0000080c: DUP3
0000080d: DUP1
0000080e: SLOAD
0000080f: PUSH2 0x0817
00000812: SWAP1
00000813: PUSH2 0x2fdb
00000816: JUMP
00000817: JUMPDEST
00000818: DUP1
00000819: ISZERO
0000081a: PUSH2 0x0862
0000081d: JUMPI
0000081e: DUP1
0000081f: PUSH1 0x1f
00000821: LT
00000822: PUSH2 0x0839
00000825: JUMPI
00000826: PUSH2 0x0100
00000829: DUP1
0000082a: DUP4
0000082b: SLOAD
0000082c: DIV
0000082d: MUL
0000082e: DUP4
0000082f: MSTORE
00000830: SWAP2
00000831: PUSH1 0x20
00000833: ADD
00000834: SWAP2
00000835: PUSH2 0x0862
00000838: JUMP
00000839: JUMPDEST
0000083a: DUP3
0000083b: ADD
0000083c: SWAP2
0000083d: SWAP1
0000083e: PUSH0
0000083f: MSTORE
00000840: PUSH1 0x20
00000842: PUSH0
00000843: KECCAK256
00000844: SWAP1
00000845: JUMPDEST
00000846: DUP2
00000847: SLOAD
00000848: DUP2
00000849: MSTORE
0000084a: SWAP1
0000084b: PUSH1 0x01
0000084d: ADD
0000084e: SWAP1
0000084f: PUSH1 0x20
00000851: ADD
00000852: DUP1
00000853: DUP4
00000854: GT
00000855: PUSH2 0x0845
00000858: JUMPI
00000859: DUP3
0000085a: SWAP1
0000085b: SUB
0000085c: PUSH1 0x1f
0000085e: AND
0000085f: DUP3
00000860: ADD
00000861: SWAP2
00000862: JUMPDEST
00000863: POP
00000864: POP
00000865: POP
00000866: POP
00000867: POP
00000868: SWAP1
00000869: POP
0000086a: SWAP1
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH0
0000086e: PUSH2 0x087f
00000871: PUSH2 0x0878
00000874: PUSH2 0x1970
00000877: JUMP
00000878: JUMPDEST
00000879: DUP5
0000087a: DUP5
0000087b: PUSH2 0x1977
0000087e: JUMP
0000087f: JUMPDEST
00000880: PUSH1 0x01
00000882: SWAP1
00000883: POP
00000884: SWAP3
00000885: SWAP2
00000886: POP
00000887: POP
00000888: JUMP
00000889: JUMPDEST
0000088a: PUSH1 0x06
0000088c: PUSH1 0x20
0000088e: MSTORE
0000088f: DUP1
00000890: PUSH0
00000891: MSTORE
00000892: PUSH1 0x40
00000894: PUSH0
00000895: KECCAK256
00000896: PUSH0
00000897: SWAP2
00000898: POP
00000899: SLOAD
0000089a: SWAP1
0000089b: PUSH2 0x0100
0000089e: EXP
0000089f: SWAP1
000008a0: DIV
000008a1: PUSH1 0xff
000008a3: AND
000008a4: DUP2
000008a5: JUMP
000008a6: JUMPDEST
000008a7: PUSH0
000008a8: PUSH1 0x03
000008aa: SLOAD
000008ab: SWAP1
000008ac: POP
000008ad: SWAP1
000008ae: JUMP
000008af: JUMPDEST
000008b0: PUSH2 0x08b7
000008b3: PUSH2 0x1970
000008b6: JUMP
000008b7: JUMPDEST
000008b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cd: AND
000008ce: PUSH2 0x08d5
000008d1: PUSH2 0x1018
000008d4: JUMP
000008d5: JUMPDEST
000008d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008eb: AND
000008ec: EQ
000008ed: PUSH2 0x092b
000008f0: JUMPI
000008f1: PUSH1 0x40
000008f3: MLOAD
000008f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x04
00000919: ADD
0000091a: PUSH2 0x0922
0000091d: SWAP1
0000091e: PUSH2 0x3055
00000921: JUMP
00000922: JUMPDEST
00000923: PUSH1 0x40
00000925: MLOAD
00000926: DUP1
00000927: SWAP2
00000928: SUB
00000929: SWAP1
0000092a: REVERT
0000092b: JUMPDEST
0000092c: CALLER
0000092d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000942: AND
00000943: PUSH2 0x08fc
00000946: DUP3
00000947: SWAP1
00000948: DUP2
00000949: ISZERO
0000094a: MUL
0000094b: SWAP1
0000094c: PUSH1 0x40
0000094e: MLOAD
0000094f: PUSH0
00000950: PUSH1 0x40
00000952: MLOAD
00000953: DUP1
00000954: DUP4
00000955: SUB
00000956: DUP2
00000957: DUP6
00000958: DUP9
00000959: DUP9
0000095a: CALL
0000095b: SWAP4
0000095c: POP
0000095d: POP
0000095e: POP
0000095f: POP
00000960: ISZERO
00000961: DUP1
00000962: ISZERO
00000963: PUSH2 0x096e
00000966: JUMPI
00000967: RETURNDATASIZE
00000968: PUSH0
00000969: DUP1
0000096a: RETURNDATACOPY
0000096b: RETURNDATASIZE
0000096c: PUSH0
0000096d: REVERT
0000096e: JUMPDEST
0000096f: POP
00000970: POP
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH1 0x08
00000975: PUSH1 0x20
00000977: MSTORE
00000978: DUP1
00000979: PUSH0
0000097a: MSTORE
0000097b: PUSH1 0x40
0000097d: PUSH0
0000097e: KECCAK256
0000097f: PUSH0
00000980: SWAP2
00000981: POP
00000982: SLOAD
00000983: SWAP1
00000984: PUSH2 0x0100
00000987: EXP
00000988: SWAP1
00000989: DIV
0000098a: PUSH1 0xff
0000098c: AND
0000098d: DUP2
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH2 0x0321
00000993: DUP5
00000994: DUP5
00000995: SWAP1
00000996: POP
00000997: LT
00000998: PUSH2 0x09d6
0000099b: JUMPI
0000099c: PUSH1 0x40
0000099e: MLOAD
0000099f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009c0: DUP2
000009c1: MSTORE
000009c2: PUSH1 0x04
000009c4: ADD
000009c5: PUSH2 0x09cd
000009c8: SWAP1
000009c9: PUSH2 0x30e3
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH1 0x40
000009d0: MLOAD
000009d1: DUP1
000009d2: SWAP2
000009d3: SUB
000009d4: SWAP1
000009d5: REVERT
000009d6: JUMPDEST
000009d7: DUP2
000009d8: DUP2
000009d9: SWAP1
000009da: POP
000009db: DUP5
000009dc: DUP5
000009dd: SWAP1
000009de: POP
000009df: EQ
000009e0: PUSH2 0x0a1e
000009e3: JUMPI
000009e4: PUSH1 0x40
000009e6: MLOAD
000009e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x04
00000a0c: ADD
00000a0d: PUSH2 0x0a15
00000a10: SWAP1
00000a11: PUSH2 0x3171
00000a14: JUMP
00000a15: JUMPDEST
00000a16: PUSH1 0x40
00000a18: MLOAD
00000a19: DUP1
00000a1a: SWAP2
00000a1b: SUB
00000a1c: SWAP1
00000a1d: REVERT
00000a1e: JUMPDEST
00000a1f: PUSH0
00000a20: DUP1
00000a21: JUMPDEST
00000a22: DUP6
00000a23: DUP6
00000a24: SWAP1
00000a25: POP
00000a26: DUP2
00000a27: LT
00000a28: ISZERO
00000a29: PUSH2 0x0a60
00000a2c: JUMPI
00000a2d: DUP4
00000a2e: DUP4
00000a2f: DUP3
00000a30: DUP2
00000a31: DUP2
00000a32: LT
00000a33: PUSH2 0x0a3f
00000a36: JUMPI
00000a37: PUSH2 0x0a3e
00000a3a: PUSH2 0x318f
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: JUMPDEST
00000a40: SWAP1
00000a41: POP
00000a42: PUSH1 0x20
00000a44: MUL
00000a45: ADD
00000a46: CALLDATALOAD
00000a47: DUP3
00000a48: PUSH2 0x0a51
00000a4b: SWAP2
00000a4c: SWAP1
00000a4d: PUSH2 0x31e9
00000a50: JUMP
00000a51: JUMPDEST
00000a52: SWAP2
00000a53: POP
00000a54: DUP1
00000a55: DUP1
00000a56: PUSH1 0x01
00000a58: ADD
00000a59: SWAP2
00000a5a: POP
00000a5b: POP
00000a5c: PUSH2 0x0a21
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: POP
00000a62: DUP1
00000a63: PUSH2 0x0a6b
00000a66: CALLER
00000a67: PUSH2 0x0f4b
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: LT
00000a6d: ISZERO
00000a6e: PUSH2 0x0aac
00000a71: JUMPI
00000a72: PUSH1 0x40
00000a74: MLOAD
00000a75: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a96: DUP2
00000a97: MSTORE
00000a98: PUSH1 0x04
00000a9a: ADD
00000a9b: PUSH2 0x0aa3
00000a9e: SWAP1
00000a9f: PUSH2 0x3266
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x40
00000aa6: MLOAD
00000aa7: DUP1
00000aa8: SWAP2
00000aa9: SUB
00000aaa: SWAP1
00000aab: REVERT
00000aac: JUMPDEST
00000aad: PUSH0
00000aae: JUMPDEST
00000aaf: DUP6
00000ab0: DUP6
00000ab1: SWAP1
00000ab2: POP
00000ab3: DUP2
00000ab4: LT
00000ab5: ISZERO
00000ab6: PUSH2 0x0b11
00000ab9: JUMPI
00000aba: PUSH2 0x0b04
00000abd: CALLER
00000abe: DUP8
00000abf: DUP8
00000ac0: DUP5
00000ac1: DUP2
00000ac2: DUP2
00000ac3: LT
00000ac4: PUSH2 0x0ad0
00000ac7: JUMPI
00000ac8: PUSH2 0x0acf
00000acb: PUSH2 0x318f
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: JUMPDEST
00000ad1: SWAP1
00000ad2: POP
00000ad3: PUSH1 0x20
00000ad5: MUL
00000ad6: ADD
00000ad7: PUSH1 0x20
00000ad9: DUP2
00000ada: ADD
00000adb: SWAP1
00000adc: PUSH2 0x0ae5
00000adf: SWAP2
00000ae0: SWAP1
00000ae1: PUSH2 0x2b13
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: DUP7
00000ae7: DUP7
00000ae8: DUP6
00000ae9: DUP2
00000aea: DUP2
00000aeb: LT
00000aec: PUSH2 0x0af8
00000aef: JUMPI
00000af0: PUSH2 0x0af7
00000af3: PUSH2 0x318f
00000af6: JUMP
00000af7: JUMPDEST
00000af8: JUMPDEST
00000af9: SWAP1
00000afa: POP
00000afb: PUSH1 0x20
00000afd: MUL
00000afe: ADD
00000aff: CALLDATALOAD
00000b00: PUSH2 0x1b3a
00000b03: JUMP
00000b04: JUMPDEST
00000b05: DUP1
00000b06: DUP1
00000b07: PUSH1 0x01
00000b09: ADD
00000b0a: SWAP2
00000b0b: POP
00000b0c: POP
00000b0d: PUSH2 0x0aae
00000b10: JUMP
00000b11: JUMPDEST
00000b12: POP
00000b13: POP
00000b14: POP
00000b15: POP
00000b16: POP
00000b17: POP
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: PUSH0
00000b1b: PUSH2 0x0b25
00000b1e: DUP5
00000b1f: DUP5
00000b20: DUP5
00000b21: PUSH2 0x1b3a
00000b24: JUMP
00000b25: JUMPDEST
00000b26: PUSH0
00000b27: PUSH1 0x02
00000b29: PUSH0
00000b2a: DUP7
00000b2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b40: AND
00000b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b56: AND
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP1
00000b5d: DUP2
00000b5e: MSTORE
00000b5f: PUSH1 0x20
00000b61: ADD
00000b62: PUSH0
00000b63: KECCAK256
00000b64: PUSH0
00000b65: PUSH2 0x0b6c
00000b68: PUSH2 0x1970
00000b6b: JUMP
00000b6c: JUMPDEST
00000b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b82: AND
00000b83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b98: AND
00000b99: DUP2
00000b9a: MSTORE
00000b9b: PUSH1 0x20
00000b9d: ADD
00000b9e: SWAP1
00000b9f: DUP2
00000ba0: MSTORE
00000ba1: PUSH1 0x20
00000ba3: ADD
00000ba4: PUSH0
00000ba5: KECCAK256
00000ba6: SLOAD
00000ba7: SWAP1
00000ba8: POP
00000ba9: DUP3
00000baa: DUP2
00000bab: LT
00000bac: ISZERO
00000bad: PUSH2 0x0beb
00000bb0: JUMPI
00000bb1: PUSH1 0x40
00000bb3: MLOAD
00000bb4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bd5: DUP2
00000bd6: MSTORE
00000bd7: PUSH1 0x04
00000bd9: ADD
00000bda: PUSH2 0x0be2
00000bdd: SWAP1
00000bde: PUSH2 0x32f4
00000be1: JUMP
00000be2: JUMPDEST
00000be3: PUSH1 0x40
00000be5: MLOAD
00000be6: DUP1
00000be7: SWAP2
00000be8: SUB
00000be9: SWAP1
00000bea: REVERT
00000beb: JUMPDEST
00000bec: PUSH2 0x0bff
00000bef: DUP6
00000bf0: PUSH2 0x0bf7
00000bf3: PUSH2 0x1970
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: DUP6
00000bf9: DUP5
00000bfa: SUB
00000bfb: PUSH2 0x1977
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: PUSH1 0x01
00000c02: SWAP2
00000c03: POP
00000c04: POP
00000c05: SWAP4
00000c06: SWAP3
00000c07: POP
00000c08: POP
00000c09: POP
00000c0a: JUMP
00000c0b: JUMPDEST
00000c0c: PUSH0
00000c0d: PUSH1 0x12
00000c0f: SWAP1
00000c10: POP
00000c11: SWAP1
00000c12: JUMP
00000c13: JUMPDEST
00000c14: PUSH0
00000c15: PUSH2 0x0cb0
00000c18: PUSH2 0x0c1f
00000c1b: PUSH2 0x1970
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: DUP5
00000c21: DUP5
00000c22: PUSH1 0x02
00000c24: PUSH0
00000c25: PUSH2 0x0c2c
00000c28: PUSH2 0x1970
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c42: AND
00000c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c58: AND
00000c59: DUP2
00000c5a: MSTORE
00000c5b: PUSH1 0x20
00000c5d: ADD
00000c5e: SWAP1
00000c5f: DUP2
00000c60: MSTORE
00000c61: PUSH1 0x20
00000c63: ADD
00000c64: PUSH0
00000c65: KECCAK256
00000c66: PUSH0
00000c67: DUP9
00000c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c7d: AND
00000c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c93: AND
00000c94: DUP2
00000c95: MSTORE
00000c96: PUSH1 0x20
00000c98: ADD
00000c99: SWAP1
00000c9a: DUP2
00000c9b: MSTORE
00000c9c: PUSH1 0x20
00000c9e: ADD
00000c9f: PUSH0
00000ca0: KECCAK256
00000ca1: SLOAD
00000ca2: PUSH2 0x0cab
00000ca5: SWAP2
00000ca6: SWAP1
00000ca7: PUSH2 0x31e9
00000caa: JUMP
00000cab: JUMPDEST
00000cac: PUSH2 0x1977
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH1 0x01
00000cb3: SWAP1
00000cb4: POP
00000cb5: SWAP3
00000cb6: SWAP2
00000cb7: POP
00000cb8: POP
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH2 0x0cc2
00000cbe: PUSH2 0x1970
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd8: AND
00000cd9: PUSH2 0x0ce0
00000cdc: PUSH2 0x1018
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf6: AND
00000cf7: EQ
00000cf8: PUSH2 0x0d36
00000cfb: JUMPI
00000cfc: PUSH1 0x40
00000cfe: MLOAD
00000cff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d20: DUP2
00000d21: MSTORE
00000d22: PUSH1 0x04
00000d24: ADD
00000d25: PUSH2 0x0d2d
00000d28: SWAP1
00000d29: PUSH2 0x3055
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: PUSH1 0x40
00000d30: MLOAD
00000d31: DUP1
00000d32: SWAP2
00000d33: SUB
00000d34: SWAP1
00000d35: REVERT
00000d36: JUMPDEST
00000d37: DUP1
00000d38: PUSH1 0x06
00000d3a: PUSH0
00000d3b: DUP5
00000d3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d51: AND
00000d52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d67: AND
00000d68: DUP2
00000d69: MSTORE
00000d6a: PUSH1 0x20
00000d6c: ADD
00000d6d: SWAP1
00000d6e: DUP2
00000d6f: MSTORE
00000d70: PUSH1 0x20
00000d72: ADD
00000d73: PUSH0
00000d74: KECCAK256
00000d75: PUSH0
00000d76: PUSH2 0x0100
00000d79: EXP
00000d7a: DUP2
00000d7b: SLOAD
00000d7c: DUP2
00000d7d: PUSH1 0xff
00000d7f: MUL
00000d80: NOT
00000d81: AND
00000d82: SWAP1
00000d83: DUP4
00000d84: ISZERO
00000d85: ISZERO
00000d86: MUL
00000d87: OR
00000d88: SWAP1
00000d89: SSTORE
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: JUMP
00000d8e: JUMPDEST
00000d8f: PUSH1 0x0a
00000d91: PUSH0
00000d92: SWAP1
00000d93: SLOAD
00000d94: SWAP1
00000d95: PUSH2 0x0100
00000d98: EXP
00000d99: SWAP1
00000d9a: DIV
00000d9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db0: AND
00000db1: DUP2
00000db2: JUMP
00000db3: JUMPDEST
00000db4: PUSH1 0x0f
00000db6: PUSH1 0x14
00000db8: SWAP1
00000db9: SLOAD
00000dba: SWAP1
00000dbb: PUSH2 0x0100
00000dbe: EXP
00000dbf: SWAP1
00000dc0: DIV
00000dc1: PUSH1 0xff
00000dc3: AND
00000dc4: DUP2
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH2 0x07d1
00000dca: DUP4
00000dcb: DUP4
00000dcc: SWAP1
00000dcd: POP
00000dce: LT
00000dcf: PUSH2 0x0e0d
00000dd2: JUMPI
00000dd3: PUSH1 0x40
00000dd5: MLOAD
00000dd6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000df7: DUP2
00000df8: MSTORE
00000df9: PUSH1 0x04
00000dfb: ADD
00000dfc: PUSH2 0x0e04
00000dff: SWAP1
00000e00: PUSH2 0x3382
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x40
00000e07: MLOAD
00000e08: DUP1
00000e09: SWAP2
00000e0a: SUB
00000e0b: SWAP1
00000e0c: REVERT
00000e0d: JUMPDEST
00000e0e: PUSH0
00000e0f: DUP4
00000e10: DUP4
00000e11: SWAP1
00000e12: POP
00000e13: DUP3
00000e14: PUSH2 0x0e1d
00000e17: SWAP2
00000e18: SWAP1
00000e19: PUSH2 0x33a0
00000e1c: JUMP
00000e1d: JUMPDEST
00000e1e: SWAP1
00000e1f: POP
00000e20: DUP1
00000e21: PUSH2 0x0e29
00000e24: CALLER
00000e25: PUSH2 0x0f4b
00000e28: JUMP
00000e29: JUMPDEST
00000e2a: LT
00000e2b: ISZERO
00000e2c: PUSH2 0x0e6a
00000e2f: JUMPI
00000e30: PUSH1 0x40
00000e32: MLOAD
00000e33: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e54: DUP2
00000e55: MSTORE
00000e56: PUSH1 0x04
00000e58: ADD
00000e59: PUSH2 0x0e61
00000e5c: SWAP1
00000e5d: PUSH2 0x3266
00000e60: JUMP
00000e61: JUMPDEST
00000e62: PUSH1 0x40
00000e64: MLOAD
00000e65: DUP1
00000e66: SWAP2
00000e67: SUB
00000e68: SWAP1
00000e69: REVERT
00000e6a: JUMPDEST
00000e6b: PUSH0
00000e6c: JUMPDEST
00000e6d: DUP5
00000e6e: DUP5
00000e6f: SWAP1
00000e70: POP
00000e71: DUP2
00000e72: LT
00000e73: ISZERO
00000e74: PUSH2 0x0eb6
00000e77: JUMPI
00000e78: PUSH2 0x0ea9
00000e7b: CALLER
00000e7c: DUP7
00000e7d: DUP7
00000e7e: DUP5
00000e7f: DUP2
00000e80: DUP2
00000e81: LT
00000e82: PUSH2 0x0e8e
00000e85: JUMPI
00000e86: PUSH2 0x0e8d
00000e89: PUSH2 0x318f
00000e8c: JUMP
00000e8d: JUMPDEST
00000e8e: JUMPDEST
00000e8f: SWAP1
00000e90: POP
00000e91: PUSH1 0x20
00000e93: MUL
00000e94: ADD
00000e95: PUSH1 0x20
00000e97: DUP2
00000e98: ADD
00000e99: SWAP1
00000e9a: PUSH2 0x0ea3
00000e9d: SWAP2
00000e9e: SWAP1
00000e9f: PUSH2 0x2b13
00000ea2: JUMP
00000ea3: JUMPDEST
00000ea4: DUP6
00000ea5: PUSH2 0x1b3a
00000ea8: JUMP
00000ea9: JUMPDEST
00000eaa: DUP1
00000eab: DUP1
00000eac: PUSH1 0x01
00000eae: ADD
00000eaf: SWAP2
00000eb0: POP
00000eb1: POP
00000eb2: PUSH2 0x0e6c
00000eb5: JUMP
00000eb6: JUMPDEST
00000eb7: POP
00000eb8: POP
00000eb9: POP
00000eba: POP
00000ebb: POP
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH2 0x0ec5
00000ec1: PUSH2 0x1970
00000ec4: JUMP
00000ec5: JUMPDEST
00000ec6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000edb: AND
00000edc: PUSH2 0x0ee3
00000edf: PUSH2 0x1018
00000ee2: JUMP
00000ee3: JUMPDEST
00000ee4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef9: AND
00000efa: EQ
00000efb: PUSH2 0x0f39
00000efe: JUMPI
00000eff: PUSH1 0x40
00000f01: MLOAD
00000f02: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f23: DUP2
00000f24: MSTORE
00000f25: PUSH1 0x04
00000f27: ADD
00000f28: PUSH2 0x0f30
00000f2b: SWAP1
00000f2c: PUSH2 0x3055
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x40
00000f33: MLOAD
00000f34: DUP1
00000f35: SWAP2
00000f36: SUB
00000f37: SWAP1
00000f38: REVERT
00000f39: JUMPDEST
00000f3a: DUP2
00000f3b: PUSH1 0x0c
00000f3d: DUP2
00000f3e: SWAP1
00000f3f: SSTORE
00000f40: POP
00000f41: DUP1
00000f42: PUSH1 0x0d
00000f44: DUP2
00000f45: SWAP1
00000f46: SSTORE
00000f47: POP
00000f48: POP
00000f49: POP
00000f4a: JUMP
00000f4b: JUMPDEST
00000f4c: PUSH0
00000f4d: PUSH1 0x01
00000f4f: PUSH0
00000f50: DUP4
00000f51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f66: AND
00000f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7c: AND
00000f7d: DUP2
00000f7e: MSTORE
00000f7f: PUSH1 0x20
00000f81: ADD
00000f82: SWAP1
00000f83: DUP2
00000f84: MSTORE
00000f85: PUSH1 0x20
00000f87: ADD
00000f88: PUSH0
00000f89: KECCAK256
00000f8a: SLOAD
00000f8b: SWAP1
00000f8c: POP
00000f8d: SWAP2
00000f8e: SWAP1
00000f8f: POP
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH2 0x0f99
00000f95: PUSH2 0x1970
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000faf: AND
00000fb0: PUSH2 0x0fb7
00000fb3: PUSH2 0x1018
00000fb6: JUMP
00000fb7: JUMPDEST
00000fb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcd: AND
00000fce: EQ
00000fcf: PUSH2 0x100d
00000fd2: JUMPI
00000fd3: PUSH1 0x40
00000fd5: MLOAD
00000fd6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ff7: DUP2
00000ff8: MSTORE
00000ff9: PUSH1 0x04
00000ffb: ADD
00000ffc: PUSH2 0x1004
00000fff: SWAP1
00001000: PUSH2 0x3055
00001003: JUMP
00001004: JUMPDEST
00001005: PUSH1 0x40
00001007: MLOAD
00001008: DUP1
00001009: SWAP2
0000100a: SUB
0000100b: SWAP1
0000100c: REVERT
0000100d: JUMPDEST
0000100e: PUSH2 0x1016
00001011: PUSH0
00001012: PUSH2 0x20a1
00001015: JUMP
00001016: JUMPDEST
00001017: JUMP
00001018: JUMPDEST
00001019: PUSH0
0000101a: DUP1
0000101b: PUSH0
0000101c: SWAP1
0000101d: SLOAD
0000101e: SWAP1
0000101f: PUSH2 0x0100
00001022: EXP
00001023: SWAP1
00001024: DIV
00001025: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103a: AND
0000103b: SWAP1
0000103c: POP
0000103d: SWAP1
0000103e: JUMP
0000103f: JUMPDEST
00001040: PUSH1 0x07
00001042: PUSH0
00001043: SWAP1
00001044: SLOAD
00001045: SWAP1
00001046: PUSH2 0x0100
00001049: EXP
0000104a: SWAP1
0000104b: DIV
0000104c: PUSH1 0xff
0000104e: AND
0000104f: DUP2
00001050: JUMP
00001051: JUMPDEST
00001052: PUSH1 0x60
00001054: PUSH1 0x05
00001056: DUP1
00001057: SLOAD
00001058: PUSH2 0x1060
0000105b: SWAP1
0000105c: PUSH2 0x2fdb
0000105f: JUMP
00001060: JUMPDEST
00001061: DUP1
00001062: PUSH1 0x1f
00001064: ADD
00001065: PUSH1 0x20
00001067: DUP1
00001068: SWAP2
00001069: DIV
0000106a: MUL
0000106b: PUSH1 0x20
0000106d: ADD
0000106e: PUSH1 0x40
00001070: MLOAD
00001071: SWAP1
00001072: DUP2
00001073: ADD
00001074: PUSH1 0x40
00001076: MSTORE
00001077: DUP1
00001078: SWAP3
00001079: SWAP2
0000107a: SWAP1
0000107b: DUP2
0000107c: DUP2
0000107d: MSTORE
0000107e: PUSH1 0x20
00001080: ADD
00001081: DUP3
00001082: DUP1
00001083: SLOAD
00001084: PUSH2 0x108c
00001087: SWAP1
00001088: PUSH2 0x2fdb
0000108b: JUMP
0000108c: JUMPDEST
0000108d: DUP1
0000108e: ISZERO
0000108f: PUSH2 0x10d7
00001092: JUMPI
00001093: DUP1
00001094: PUSH1 0x1f
00001096: LT
00001097: PUSH2 0x10ae
0000109a: JUMPI
0000109b: PUSH2 0x0100
0000109e: DUP1
0000109f: DUP4
000010a0: SLOAD
000010a1: DIV
000010a2: MUL
000010a3: DUP4
000010a4: MSTORE
000010a5: SWAP2
000010a6: PUSH1 0x20
000010a8: ADD
000010a9: SWAP2
000010aa: PUSH2 0x10d7
000010ad: JUMP
000010ae: JUMPDEST
000010af: DUP3
000010b0: ADD
000010b1: SWAP2
000010b2: SWAP1
000010b3: PUSH0
000010b4: MSTORE
000010b5: PUSH1 0x20
000010b7: PUSH0
000010b8: KECCAK256
000010b9: SWAP1
000010ba: JUMPDEST
000010bb: DUP2
000010bc: SLOAD
000010bd: DUP2
000010be: MSTORE
000010bf: SWAP1
000010c0: PUSH1 0x01
000010c2: ADD
000010c3: SWAP1
000010c4: PUSH1 0x20
000010c6: ADD
000010c7: DUP1
000010c8: DUP4
000010c9: GT
000010ca: PUSH2 0x10ba
000010cd: JUMPI
000010ce: DUP3
000010cf: SWAP1
000010d0: SUB
000010d1: PUSH1 0x1f
000010d3: AND
000010d4: DUP3
000010d5: ADD
000010d6: SWAP2
000010d7: JUMPDEST
000010d8: POP
000010d9: POP
000010da: POP
000010db: POP
000010dc: POP
000010dd: SWAP1
000010de: POP
000010df: SWAP1
000010e0: JUMP
000010e1: JUMPDEST
000010e2: PUSH2 0x10e9
000010e5: PUSH2 0x1970
000010e8: JUMP
000010e9: JUMPDEST
000010ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ff: AND
00001100: PUSH2 0x1107
00001103: PUSH2 0x1018
00001106: JUMP
00001107: JUMPDEST
00001108: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000111d: AND
0000111e: EQ
0000111f: PUSH2 0x115d
00001122: JUMPI
00001123: PUSH1 0x40
00001125: MLOAD
00001126: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001147: DUP2
00001148: MSTORE
00001149: PUSH1 0x04
0000114b: ADD
0000114c: PUSH2 0x1154
0000114f: SWAP1
00001150: PUSH2 0x3055
00001153: JUMP
00001154: JUMPDEST
00001155: PUSH1 0x40
00001157: MLOAD
00001158: DUP1
00001159: SWAP2
0000115a: SUB
0000115b: SWAP1
0000115c: REVERT
0000115d: JUMPDEST
0000115e: PUSH0
0000115f: JUMPDEST
00001160: DUP4
00001161: DUP4
00001162: SWAP1
00001163: POP
00001164: DUP2
00001165: LT
00001166: ISZERO
00001167: PUSH2 0x11f2
0000116a: JUMPI
0000116b: DUP2
0000116c: PUSH1 0x06
0000116e: PUSH0
0000116f: DUP7
00001170: DUP7
00001171: DUP6
00001172: DUP2
00001173: DUP2
00001174: LT
00001175: PUSH2 0x1181
00001178: JUMPI
00001179: PUSH2 0x1180
0000117c: PUSH2 0x318f
0000117f: JUMP
00001180: JUMPDEST
00001181: JUMPDEST
00001182: SWAP1
00001183: POP
00001184: PUSH1 0x20
00001186: MUL
00001187: ADD
00001188: PUSH1 0x20
0000118a: DUP2
0000118b: ADD
0000118c: SWAP1
0000118d: PUSH2 0x1196
00001190: SWAP2
00001191: SWAP1
00001192: PUSH2 0x2b13
00001195: JUMP
00001196: JUMPDEST
00001197: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ac: AND
000011ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c2: AND
000011c3: DUP2
000011c4: MSTORE
000011c5: PUSH1 0x20
000011c7: ADD
000011c8: SWAP1
000011c9: DUP2
000011ca: MSTORE
000011cb: PUSH1 0x20
000011cd: ADD
000011ce: PUSH0
000011cf: KECCAK256
000011d0: PUSH0
000011d1: PUSH2 0x0100
000011d4: EXP
000011d5: DUP2
000011d6: SLOAD
000011d7: DUP2
000011d8: PUSH1 0xff
000011da: MUL
000011db: NOT
000011dc: AND
000011dd: SWAP1
000011de: DUP4
000011df: ISZERO
000011e0: ISZERO
000011e1: MUL
000011e2: OR
000011e3: SWAP1
000011e4: SSTORE
000011e5: POP
000011e6: DUP1
000011e7: DUP1
000011e8: PUSH1 0x01
000011ea: ADD
000011eb: SWAP2
000011ec: POP
000011ed: POP
000011ee: PUSH2 0x115f
000011f1: JUMP
000011f2: JUMPDEST
000011f3: POP
000011f4: POP
000011f5: POP
000011f6: POP
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH0
000011fa: DUP1
000011fb: PUSH1 0x02
000011fd: PUSH0
000011fe: PUSH2 0x1205
00001201: PUSH2 0x1970
00001204: JUMP
00001205: JUMPDEST
00001206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121b: AND
0000121c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001231: AND
00001232: DUP2
00001233: MSTORE
00001234: PUSH1 0x20
00001236: ADD
00001237: SWAP1
00001238: DUP2
00001239: MSTORE
0000123a: PUSH1 0x20
0000123c: ADD
0000123d: PUSH0
0000123e: KECCAK256
0000123f: PUSH0
00001240: DUP6
00001241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001256: AND
00001257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126c: AND
0000126d: DUP2
0000126e: MSTORE
0000126f: PUSH1 0x20
00001271: ADD
00001272: SWAP1
00001273: DUP2
00001274: MSTORE
00001275: PUSH1 0x20
00001277: ADD
00001278: PUSH0
00001279: KECCAK256
0000127a: SLOAD
0000127b: SWAP1
0000127c: POP
0000127d: DUP3
0000127e: DUP2
0000127f: LT
00001280: ISZERO
00001281: PUSH2 0x12bf
00001284: JUMPI
00001285: PUSH1 0x40
00001287: MLOAD
00001288: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012a9: DUP2
000012aa: MSTORE
000012ab: PUSH1 0x04
000012ad: ADD
000012ae: PUSH2 0x12b6
000012b1: SWAP1
000012b2: PUSH2 0x3451
000012b5: JUMP
000012b6: JUMPDEST
000012b7: PUSH1 0x40
000012b9: MLOAD
000012ba: DUP1
000012bb: SWAP2
000012bc: SUB
000012bd: SWAP1
000012be: REVERT
000012bf: JUMPDEST
000012c0: PUSH2 0x12d3
000012c3: PUSH2 0x12ca
000012c6: PUSH2 0x1970
000012c9: JUMP
000012ca: JUMPDEST
000012cb: DUP6
000012cc: DUP6
000012cd: DUP5
000012ce: SUB
000012cf: PUSH2 0x1977
000012d2: JUMP
000012d3: JUMPDEST
000012d4: PUSH1 0x01
000012d6: SWAP2
000012d7: POP
000012d8: POP
000012d9: SWAP3
000012da: SWAP2
000012db: POP
000012dc: POP
000012dd: JUMP
000012de: JUMPDEST
000012df: PUSH0
000012e0: PUSH2 0x12f1
000012e3: PUSH2 0x12ea
000012e6: PUSH2 0x1970
000012e9: JUMP
000012ea: JUMPDEST
000012eb: DUP5
000012ec: DUP5
000012ed: PUSH2 0x1b3a
000012f0: JUMP
000012f1: JUMPDEST
000012f2: PUSH1 0x01
000012f4: SWAP1
000012f5: POP
000012f6: SWAP3
000012f7: SWAP2
000012f8: POP
000012f9: POP
000012fa: JUMP
000012fb: JUMPDEST
000012fc: PUSH1 0x09
000012fe: PUSH0
000012ff: SWAP1
00001300: SLOAD
00001301: SWAP1
00001302: PUSH2 0x0100
00001305: EXP
00001306: SWAP1
00001307: DIV
00001308: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131d: AND
0000131e: DUP2
0000131f: JUMP
00001320: JUMPDEST
00001321: PUSH2 0x1328
00001324: PUSH2 0x1970
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133e: AND
0000133f: PUSH2 0x1346
00001342: PUSH2 0x1018
00001345: JUMP
00001346: JUMPDEST
00001347: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000135c: AND
0000135d: EQ
0000135e: PUSH2 0x139c
00001361: JUMPI
00001362: PUSH1 0x40
00001364: MLOAD
00001365: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001386: DUP2
00001387: MSTORE
00001388: PUSH1 0x04
0000138a: ADD
0000138b: PUSH2 0x1393
0000138e: SWAP1
0000138f: PUSH2 0x3055
00001392: JUMP
00001393: JUMPDEST
00001394: PUSH1 0x40
00001396: MLOAD
00001397: DUP1
00001398: SWAP2
00001399: SUB
0000139a: SWAP1
0000139b: REVERT
0000139c: JUMPDEST
0000139d: PUSH0
0000139e: JUMPDEST
0000139f: DUP4
000013a0: DUP4
000013a1: SWAP1
000013a2: POP
000013a3: DUP2
000013a4: LT
000013a5: ISZERO
000013a6: PUSH2 0x1431
000013a9: JUMPI
000013aa: DUP2
000013ab: PUSH1 0x08
000013ad: PUSH0
000013ae: DUP7
000013af: DUP7
000013b0: DUP6
000013b1: DUP2
000013b2: DUP2
000013b3: LT
000013b4: PUSH2 0x13c0
000013b7: JUMPI
000013b8: PUSH2 0x13bf
000013bb: PUSH2 0x318f
000013be: JUMP
000013bf: JUMPDEST
000013c0: JUMPDEST
000013c1: SWAP1
000013c2: POP
000013c3: PUSH1 0x20
000013c5: MUL
000013c6: ADD
000013c7: PUSH1 0x20
000013c9: DUP2
000013ca: ADD
000013cb: SWAP1
000013cc: PUSH2 0x13d5
000013cf: SWAP2
000013d0: SWAP1
000013d1: PUSH2 0x2b13
000013d4: JUMP
000013d5: JUMPDEST
000013d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013eb: AND
000013ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001401: AND
00001402: DUP2
00001403: MSTORE
00001404: PUSH1 0x20
00001406: ADD
00001407: SWAP1
00001408: DUP2
00001409: MSTORE
0000140a: PUSH1 0x20
0000140c: ADD
0000140d: PUSH0
0000140e: KECCAK256
0000140f: PUSH0
00001410: PUSH2 0x0100
00001413: EXP
00001414: DUP2
00001415: SLOAD
00001416: DUP2
00001417: PUSH1 0xff
00001419: MUL
0000141a: NOT
0000141b: AND
0000141c: SWAP1
0000141d: DUP4
0000141e: ISZERO
0000141f: ISZERO
00001420: MUL
00001421: OR
00001422: SWAP1
00001423: SSTORE
00001424: POP
00001425: DUP1
00001426: DUP1
00001427: PUSH1 0x01
00001429: ADD
0000142a: SWAP2
0000142b: POP
0000142c: POP
0000142d: PUSH2 0x139e
00001430: JUMP
00001431: JUMPDEST
00001432: POP
00001433: POP
00001434: POP
00001435: POP
00001436: JUMP
00001437: JUMPDEST
00001438: PUSH2 0x143f
0000143b: PUSH2 0x1970
0000143e: JUMP
0000143f: JUMPDEST
00001440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001455: AND
00001456: PUSH2 0x145d
00001459: PUSH2 0x1018
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001473: AND
00001474: EQ
00001475: PUSH2 0x14b3
00001478: JUMPI
00001479: PUSH1 0x40
0000147b: MLOAD
0000147c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000149d: DUP2
0000149e: MSTORE
0000149f: PUSH1 0x04
000014a1: ADD
000014a2: PUSH2 0x14aa
000014a5: SWAP1
000014a6: PUSH2 0x3055
000014a9: JUMP
000014aa: JUMPDEST
000014ab: PUSH1 0x40
000014ad: MLOAD
000014ae: DUP1
000014af: SWAP2
000014b0: SUB
000014b1: SWAP1
000014b2: REVERT
000014b3: JUMPDEST
000014b4: DUP1
000014b5: PUSH1 0x0f
000014b7: PUSH1 0x14
000014b9: PUSH2 0x0100
000014bc: EXP
000014bd: DUP2
000014be: SLOAD
000014bf: DUP2
000014c0: PUSH1 0xff
000014c2: MUL
000014c3: NOT
000014c4: AND
000014c5: SWAP1
000014c6: DUP4
000014c7: ISZERO
000014c8: ISZERO
000014c9: MUL
000014ca: OR
000014cb: SWAP1
000014cc: SSTORE
000014cd: POP
000014ce: POP
000014cf: JUMP
000014d0: JUMPDEST
000014d1: PUSH1 0x0f
000014d3: PUSH0
000014d4: SWAP1
000014d5: SLOAD
000014d6: SWAP1
000014d7: PUSH2 0x0100
000014da: EXP
000014db: SWAP1
000014dc: DIV
000014dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f2: AND
000014f3: DUP2
000014f4: JUMP
000014f5: JUMPDEST
000014f6: PUSH2 0x14fd
000014f9: PUSH2 0x1970
000014fc: JUMP
000014fd: JUMPDEST
000014fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001513: AND
00001514: PUSH2 0x151b
00001517: PUSH2 0x1018
0000151a: JUMP
0000151b: JUMPDEST
0000151c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001531: AND
00001532: EQ
00001533: PUSH2 0x1571
00001536: JUMPI
00001537: PUSH1 0x40
00001539: MLOAD
0000153a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000155b: DUP2
0000155c: MSTORE
0000155d: PUSH1 0x04
0000155f: ADD
00001560: PUSH2 0x1568
00001563: SWAP1
00001564: PUSH2 0x3055
00001567: JUMP
00001568: JUMPDEST
00001569: PUSH1 0x40
0000156b: MLOAD
0000156c: DUP1
0000156d: SWAP2
0000156e: SUB
0000156f: SWAP1
00001570: REVERT
00001571: JUMPDEST
00001572: DUP1
00001573: PUSH1 0x07
00001575: PUSH0
00001576: PUSH2 0x0100
00001579: EXP
0000157a: DUP2
0000157b: SLOAD
0000157c: DUP2
0000157d: PUSH1 0xff
0000157f: MUL
00001580: NOT
00001581: AND
00001582: SWAP1
00001583: DUP4
00001584: ISZERO
00001585: ISZERO
00001586: MUL
00001587: OR
00001588: SWAP1
00001589: SSTORE
0000158a: POP
0000158b: POP
0000158c: JUMP
0000158d: JUMPDEST
0000158e: PUSH2 0x1595
00001591: PUSH2 0x1970
00001594: JUMP
00001595: JUMPDEST
00001596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ab: AND
000015ac: PUSH2 0x15b3
000015af: PUSH2 0x1018
000015b2: JUMP
000015b3: JUMPDEST
000015b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c9: AND
000015ca: EQ
000015cb: PUSH2 0x1609
000015ce: JUMPI
000015cf: PUSH1 0x40
000015d1: MLOAD
000015d2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015f3: DUP2
000015f4: MSTORE
000015f5: PUSH1 0x04
000015f7: ADD
000015f8: PUSH2 0x1600
000015fb: SWAP1
000015fc: PUSH2 0x3055
000015ff: JUMP
00001600: JUMPDEST
00001601: PUSH1 0x40
00001603: MLOAD
00001604: DUP1
00001605: SWAP2
00001606: SUB
00001607: SWAP1
00001608: REVERT
00001609: JUMPDEST
0000160a: DUP1
0000160b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001620: AND
00001621: PUSH4 0xa9059cbb
00001626: CALLER
00001627: DUP4
00001628: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000163d: AND
0000163e: PUSH4 0x70a08231
00001643: ADDRESS
00001644: PUSH1 0x40
00001646: MLOAD
00001647: DUP3
00001648: PUSH4 0xffffffff
0000164d: AND
0000164e: PUSH1 0xe0
00001650: SHL
00001651: DUP2
00001652: MSTORE
00001653: PUSH1 0x04
00001655: ADD
00001656: PUSH2 0x165f
00001659: SWAP2
0000165a: SWAP1
0000165b: PUSH2 0x2dc0
0000165e: JUMP
0000165f: JUMPDEST
00001660: PUSH1 0x20
00001662: PUSH1 0x40
00001664: MLOAD
00001665: DUP1
00001666: DUP4
00001667: SUB
00001668: DUP2
00001669: DUP7
0000166a: GAS
0000166b: STATICCALL
0000166c: ISZERO
0000166d: DUP1
0000166e: ISZERO
0000166f: PUSH2 0x167a
00001672: JUMPI
00001673: RETURNDATASIZE
00001674: PUSH0
00001675: DUP1
00001676: RETURNDATACOPY
00001677: RETURNDATASIZE
00001678: PUSH0
00001679: REVERT
0000167a: JUMPDEST
0000167b: POP
0000167c: POP
0000167d: POP
0000167e: POP
0000167f: PUSH1 0x40
00001681: MLOAD
00001682: RETURNDATASIZE
00001683: PUSH1 0x1f
00001685: NOT
00001686: PUSH1 0x1f
00001688: DUP3
00001689: ADD
0000168a: AND
0000168b: DUP3
0000168c: ADD
0000168d: DUP1
0000168e: PUSH1 0x40
00001690: MSTORE
00001691: POP
00001692: DUP2
00001693: ADD
00001694: SWAP1
00001695: PUSH2 0x169e
00001698: SWAP2
00001699: SWAP1
0000169a: PUSH2 0x3483
0000169d: JUMP
0000169e: JUMPDEST
0000169f: PUSH1 0x40
000016a1: MLOAD
000016a2: DUP4
000016a3: PUSH4 0xffffffff
000016a8: AND
000016a9: PUSH1 0xe0
000016ab: SHL
000016ac: DUP2
000016ad: MSTORE
000016ae: PUSH1 0x04
000016b0: ADD
000016b1: PUSH2 0x16bb
000016b4: SWAP3
000016b5: SWAP2
000016b6: SWAP1
000016b7: PUSH2 0x34ae
000016ba: JUMP
000016bb: JUMPDEST
000016bc: PUSH1 0x20
000016be: PUSH1 0x40
000016c0: MLOAD
000016c1: DUP1
000016c2: DUP4
000016c3: SUB
000016c4: DUP2
000016c5: PUSH0
000016c6: DUP8
000016c7: GAS
000016c8: CALL
000016c9: ISZERO
000016ca: DUP1
000016cb: ISZERO
000016cc: PUSH2 0x16d7
000016cf: JUMPI
000016d0: RETURNDATASIZE
000016d1: PUSH0
000016d2: DUP1
000016d3: RETURNDATACOPY
000016d4: RETURNDATASIZE
000016d5: PUSH0
000016d6: REVERT
000016d7: JUMPDEST
000016d8: POP
000016d9: POP
000016da: POP
000016db: POP
000016dc: PUSH1 0x40
000016de: MLOAD
000016df: RETURNDATASIZE
000016e0: PUSH1 0x1f
000016e2: NOT
000016e3: PUSH1 0x1f
000016e5: DUP3
000016e6: ADD
000016e7: AND
000016e8: DUP3
000016e9: ADD
000016ea: DUP1
000016eb: PUSH1 0x40
000016ed: MSTORE
000016ee: POP
000016ef: DUP2
000016f0: ADD
000016f1: SWAP1
000016f2: PUSH2 0x16fb
000016f5: SWAP2
000016f6: SWAP1
000016f7: PUSH2 0x34e9
000016fa: JUMP
000016fb: JUMPDEST
000016fc: POP
000016fd: POP
000016fe: JUMP
000016ff: JUMPDEST
00001700: PUSH0
00001701: PUSH1 0x02
00001703: PUSH0
00001704: DUP5
00001705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171a: AND
0000171b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001730: AND
00001731: DUP2
00001732: MSTORE
00001733: PUSH1 0x20
00001735: ADD
00001736: SWAP1
00001737: DUP2
00001738: MSTORE
00001739: PUSH1 0x20
0000173b: ADD
0000173c: PUSH0
0000173d: KECCAK256
0000173e: PUSH0
0000173f: DUP4
00001740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001755: AND
00001756: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176b: AND
0000176c: DUP2
0000176d: MSTORE
0000176e: PUSH1 0x20
00001770: ADD
00001771: SWAP1
00001772: DUP2
00001773: MSTORE
00001774: PUSH1 0x20
00001776: ADD
00001777: PUSH0
00001778: KECCAK256
00001779: SLOAD
0000177a: SWAP1
0000177b: POP
0000177c: SWAP3
0000177d: SWAP2
0000177e: POP
0000177f: POP
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH1 0x0b
00001784: PUSH0
00001785: SWAP1
00001786: SLOAD
00001787: SWAP1
00001788: PUSH2 0x0100
0000178b: EXP
0000178c: SWAP1
0000178d: DIV
0000178e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a3: AND
000017a4: DUP2
000017a5: JUMP
000017a6: JUMPDEST
000017a7: PUSH2 0x17ae
000017aa: PUSH2 0x1970
000017ad: JUMP
000017ae: JUMPDEST
000017af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c4: AND
000017c5: PUSH2 0x17cc
000017c8: PUSH2 0x1018
000017cb: JUMP
000017cc: JUMPDEST
000017cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e2: AND
000017e3: EQ
000017e4: PUSH2 0x1822
000017e7: JUMPI
000017e8: PUSH1 0x40
000017ea: MLOAD
000017eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000180c: DUP2
0000180d: MSTORE
0000180e: PUSH1 0x04
00001810: ADD
00001811: PUSH2 0x1819
00001814: SWAP1
00001815: PUSH2 0x3055
00001818: JUMP
00001819: JUMPDEST
0000181a: PUSH1 0x40
0000181c: MLOAD
0000181d: DUP1
0000181e: SWAP2
0000181f: SUB
00001820: SWAP1
00001821: REVERT
00001822: JUMPDEST
00001823: PUSH0
00001824: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001839: AND
0000183a: DUP2
0000183b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001850: AND
00001851: SUB
00001852: PUSH2 0x1890
00001855: JUMPI
00001856: PUSH1 0x40
00001858: MLOAD
00001859: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000187a: DUP2
0000187b: MSTORE
0000187c: PUSH1 0x04
0000187e: ADD
0000187f: PUSH2 0x1887
00001882: SWAP1
00001883: PUSH2 0x3584
00001886: JUMP
00001887: JUMPDEST
00001888: PUSH1 0x40
0000188a: MLOAD
0000188b: DUP1
0000188c: SWAP2
0000188d: SUB
0000188e: SWAP1
0000188f: REVERT
00001890: JUMPDEST
00001891: PUSH2 0x1899
00001894: DUP2
00001895: PUSH2 0x20a1
00001898: JUMP
00001899: JUMPDEST
0000189a: POP
0000189b: JUMP
0000189c: JUMPDEST
0000189d: PUSH2 0x18a4
000018a0: PUSH2 0x1970
000018a3: JUMP
000018a4: JUMPDEST
000018a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ba: AND
000018bb: PUSH2 0x18c2
000018be: PUSH2 0x1018
000018c1: JUMP
000018c2: JUMPDEST
000018c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d8: AND
000018d9: EQ
000018da: PUSH2 0x1918
000018dd: JUMPI
000018de: PUSH1 0x40
000018e0: MLOAD
000018e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001902: DUP2
00001903: MSTORE
00001904: PUSH1 0x04
00001906: ADD
00001907: PUSH2 0x190f
0000190a: SWAP1
0000190b: PUSH2 0x3055
0000190e: JUMP
0000190f: JUMPDEST
00001910: PUSH1 0x40
00001912: MLOAD
00001913: DUP1
00001914: SWAP2
00001915: SUB
00001916: SWAP1
00001917: REVERT
00001918: JUMPDEST
00001919: DUP1
0000191a: PUSH1 0x08
0000191c: PUSH0
0000191d: DUP5
0000191e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001933: AND
00001934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001949: AND
0000194a: DUP2
0000194b: MSTORE
0000194c: PUSH1 0x20
0000194e: ADD
0000194f: SWAP1
00001950: DUP2
00001951: MSTORE
00001952: PUSH1 0x20
00001954: ADD
00001955: PUSH0
00001956: KECCAK256
00001957: PUSH0
00001958: PUSH2 0x0100
0000195b: EXP
0000195c: DUP2
0000195d: SLOAD
0000195e: DUP2
0000195f: PUSH1 0xff
00001961: MUL
00001962: NOT
00001963: AND
00001964: SWAP1
00001965: DUP4
00001966: ISZERO
00001967: ISZERO
00001968: MUL
00001969: OR
0000196a: SWAP1
0000196b: SSTORE
0000196c: POP
0000196d: POP
0000196e: POP
0000196f: JUMP
00001970: JUMPDEST
00001971: PUSH0
00001972: CALLER
00001973: SWAP1
00001974: POP
00001975: SWAP1
00001976: JUMP
00001977: JUMPDEST
00001978: PUSH0
00001979: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000198e: AND
0000198f: DUP4
00001990: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a5: AND
000019a6: SUB
000019a7: PUSH2 0x19e5
000019aa: JUMPI
000019ab: PUSH1 0x40
000019ad: MLOAD
000019ae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019cf: DUP2
000019d0: MSTORE
000019d1: PUSH1 0x04
000019d3: ADD
000019d4: PUSH2 0x19dc
000019d7: SWAP1
000019d8: PUSH2 0x3612
000019db: JUMP
000019dc: JUMPDEST
000019dd: PUSH1 0x40
000019df: MLOAD
000019e0: DUP1
000019e1: SWAP2
000019e2: SUB
000019e3: SWAP1
000019e4: REVERT
000019e5: JUMPDEST
000019e6: PUSH0
000019e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fc: AND
000019fd: DUP3
000019fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a13: AND
00001a14: SUB
00001a15: PUSH2 0x1a53
00001a18: JUMPI
00001a19: PUSH1 0x40
00001a1b: MLOAD
00001a1c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a3d: DUP2
00001a3e: MSTORE
00001a3f: PUSH1 0x04
00001a41: ADD
00001a42: PUSH2 0x1a4a
00001a45: SWAP1
00001a46: PUSH2 0x36a0
00001a49: JUMP
00001a4a: JUMPDEST
00001a4b: PUSH1 0x40
00001a4d: MLOAD
00001a4e: DUP1
00001a4f: SWAP2
00001a50: SUB
00001a51: SWAP1
00001a52: REVERT
00001a53: JUMPDEST
00001a54: DUP1
00001a55: PUSH1 0x02
00001a57: PUSH0
00001a58: DUP6
00001a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6e: AND
00001a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a84: AND
00001a85: DUP2
00001a86: MSTORE
00001a87: PUSH1 0x20
00001a89: ADD
00001a8a: SWAP1
00001a8b: DUP2
00001a8c: MSTORE
00001a8d: PUSH1 0x20
00001a8f: ADD
00001a90: PUSH0
00001a91: KECCAK256
00001a92: PUSH0
00001a93: DUP5
00001a94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa9: AND
00001aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abf: AND
00001ac0: DUP2
00001ac1: MSTORE
00001ac2: PUSH1 0x20
00001ac4: ADD
00001ac5: SWAP1
00001ac6: DUP2
00001ac7: MSTORE
00001ac8: PUSH1 0x20
00001aca: ADD
00001acb: PUSH0
00001acc: KECCAK256
00001acd: DUP2
00001ace: SWAP1
00001acf: SSTORE
00001ad0: POP
00001ad1: DUP2
00001ad2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae7: AND
00001ae8: DUP4
00001ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afe: AND
00001aff: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001b20: DUP4
00001b21: PUSH1 0x40
00001b23: MLOAD
00001b24: PUSH2 0x1b2d
00001b27: SWAP2
00001b28: SWAP1
00001b29: PUSH2 0x2b4d
00001b2c: JUMP
00001b2d: JUMPDEST
00001b2e: PUSH1 0x40
00001b30: MLOAD
00001b31: DUP1
00001b32: SWAP2
00001b33: SUB
00001b34: SWAP1
00001b35: LOG3
00001b36: POP
00001b37: POP
00001b38: POP
00001b39: JUMP
00001b3a: JUMPDEST
00001b3b: PUSH1 0x06
00001b3d: PUSH0
00001b3e: DUP4
00001b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b54: AND
00001b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6a: AND
00001b6b: DUP2
00001b6c: MSTORE
00001b6d: PUSH1 0x20
00001b6f: ADD
00001b70: SWAP1
00001b71: DUP2
00001b72: MSTORE
00001b73: PUSH1 0x20
00001b75: ADD
00001b76: PUSH0
00001b77: KECCAK256
00001b78: PUSH0
00001b79: SWAP1
00001b7a: SLOAD
00001b7b: SWAP1
00001b7c: PUSH2 0x0100
00001b7f: EXP
00001b80: SWAP1
00001b81: DIV
00001b82: PUSH1 0xff
00001b84: AND
00001b85: ISZERO
00001b86: DUP1
00001b87: ISZERO
00001b88: PUSH2 0x1bd8
00001b8b: JUMPI
00001b8c: POP
00001b8d: PUSH1 0x06
00001b8f: PUSH0
00001b90: DUP5
00001b91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba6: AND
00001ba7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bbc: AND
00001bbd: DUP2
00001bbe: MSTORE
00001bbf: PUSH1 0x20
00001bc1: ADD
00001bc2: SWAP1
00001bc3: DUP2
00001bc4: MSTORE
00001bc5: PUSH1 0x20
00001bc7: ADD
00001bc8: PUSH0
00001bc9: KECCAK256
00001bca: PUSH0
00001bcb: SWAP1
00001bcc: SLOAD
00001bcd: SWAP1
00001bce: PUSH2 0x0100
00001bd1: EXP
00001bd2: SWAP1
00001bd3: DIV
00001bd4: PUSH1 0xff
00001bd6: AND
00001bd7: ISZERO
00001bd8: JUMPDEST
00001bd9: PUSH2 0x1c17
00001bdc: JUMPI
00001bdd: PUSH1 0x40
00001bdf: MLOAD
00001be0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c01: DUP2
00001c02: MSTORE
00001c03: PUSH1 0x04
00001c05: ADD
00001c06: PUSH2 0x1c0e
00001c09: SWAP1
00001c0a: PUSH2 0x3708
00001c0d: JUMP
00001c0e: JUMPDEST
00001c0f: PUSH1 0x40
00001c11: MLOAD
00001c12: DUP1
00001c13: SWAP2
00001c14: SUB
00001c15: SWAP1
00001c16: REVERT
00001c17: JUMPDEST
00001c18: PUSH2 0x1c1f
00001c1b: PUSH2 0x1018
00001c1e: JUMP
00001c1f: JUMPDEST
00001c20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c35: AND
00001c36: DUP4
00001c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4c: AND
00001c4d: EQ
00001c4e: DUP1
00001c4f: PUSH2 0x1ca4
00001c52: JUMPI
00001c53: POP
00001c54: PUSH1 0x0b
00001c56: PUSH0
00001c57: SWAP1
00001c58: SLOAD
00001c59: SWAP1
00001c5a: PUSH2 0x0100
00001c5d: EXP
00001c5e: SWAP1
00001c5f: DIV
00001c60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c75: AND
00001c76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c8b: AND
00001c8c: DUP4
00001c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca2: AND
00001ca3: EQ
00001ca4: JUMPDEST
00001ca5: DUP1
00001ca6: PUSH2 0x1ce1
00001ca9: JUMPI
00001caa: POP
00001cab: PUSH2 0x1cb2
00001cae: PUSH2 0x1018
00001cb1: JUMP
00001cb2: JUMPDEST
00001cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc8: AND
00001cc9: DUP3
00001cca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cdf: AND
00001ce0: EQ
00001ce1: JUMPDEST
00001ce2: DUP1
00001ce3: PUSH2 0x1d38
00001ce6: JUMPI
00001ce7: POP
00001ce8: PUSH1 0x0b
00001cea: PUSH0
00001ceb: SWAP1
00001cec: SLOAD
00001ced: SWAP1
00001cee: PUSH2 0x0100
00001cf1: EXP
00001cf2: SWAP1
00001cf3: DIV
00001cf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d09: AND
00001d0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d1f: AND
00001d20: DUP3
00001d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d36: AND
00001d37: EQ
00001d38: JUMPDEST
00001d39: DUP1
00001d3a: PUSH2 0x1d6e
00001d3d: JUMPI
00001d3e: POP
00001d3f: ADDRESS
00001d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d55: AND
00001d56: DUP4
00001d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6c: AND
00001d6d: EQ
00001d6e: JUMPDEST
00001d6f: DUP1
00001d70: PUSH2 0x1da4
00001d73: JUMPI
00001d74: POP
00001d75: ADDRESS
00001d76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8b: AND
00001d8c: DUP3
00001d8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da2: AND
00001da3: EQ
00001da4: JUMPDEST
00001da5: ISZERO
00001da6: PUSH2 0x1db9
00001da9: JUMPI
00001daa: PUSH2 0x1db4
00001dad: DUP4
00001dae: DUP4
00001daf: DUP4
00001db0: PUSH2 0x2162
00001db3: JUMP
00001db4: JUMPDEST
00001db5: PUSH2 0x209c
00001db8: JUMP
00001db9: JUMPDEST
00001dba: PUSH1 0x07
00001dbc: PUSH0
00001dbd: SWAP1
00001dbe: SLOAD
00001dbf: SWAP1
00001dc0: PUSH2 0x0100
00001dc3: EXP
00001dc4: SWAP1
00001dc5: DIV
00001dc6: PUSH1 0xff
00001dc8: AND
00001dc9: ISZERO
00001dca: PUSH2 0x1eb7
00001dcd: JUMPI
00001dce: PUSH1 0x01
00001dd0: ISZERO
00001dd1: ISZERO
00001dd2: PUSH1 0x08
00001dd4: PUSH0
00001dd5: DUP6
00001dd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001deb: AND
00001dec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e01: AND
00001e02: DUP2
00001e03: MSTORE
00001e04: PUSH1 0x20
00001e06: ADD
00001e07: SWAP1
00001e08: DUP2
00001e09: MSTORE
00001e0a: PUSH1 0x20
00001e0c: ADD
00001e0d: PUSH0
00001e0e: KECCAK256
00001e0f: PUSH0
00001e10: SWAP1
00001e11: SLOAD
00001e12: SWAP1
00001e13: PUSH2 0x0100
00001e16: EXP
00001e17: SWAP1
00001e18: DIV
00001e19: PUSH1 0xff
00001e1b: AND
00001e1c: ISZERO
00001e1d: ISZERO
00001e1e: EQ
00001e1f: DUP1
00001e20: ISZERO
00001e21: PUSH2 0x1e77
00001e24: JUMPI
00001e25: POP
00001e26: PUSH1 0x01
00001e28: ISZERO
00001e29: ISZERO
00001e2a: PUSH1 0x08
00001e2c: PUSH0
00001e2d: DUP5
00001e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e43: AND
00001e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e59: AND
00001e5a: DUP2
00001e5b: MSTORE
00001e5c: PUSH1 0x20
00001e5e: ADD
00001e5f: SWAP1
00001e60: DUP2
00001e61: MSTORE
00001e62: PUSH1 0x20
00001e64: ADD
00001e65: PUSH0
00001e66: KECCAK256
00001e67: PUSH0
00001e68: SWAP1
00001e69: SLOAD
00001e6a: SWAP1
00001e6b: PUSH2 0x0100
00001e6e: EXP
00001e6f: SWAP1
00001e70: DIV
00001e71: PUSH1 0xff
00001e73: AND
00001e74: ISZERO
00001e75: ISZERO
00001e76: EQ
00001e77: JUMPDEST
00001e78: PUSH2 0x1eb6
00001e7b: JUMPI
00001e7c: PUSH1 0x40
00001e7e: MLOAD
00001e7f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ea0: DUP2
00001ea1: MSTORE
00001ea2: PUSH1 0x04
00001ea4: ADD
00001ea5: PUSH2 0x1ead
00001ea8: SWAP1
00001ea9: PUSH2 0x3770
00001eac: JUMP
00001ead: JUMPDEST
00001eae: PUSH1 0x40
00001eb0: MLOAD
00001eb1: DUP1
00001eb2: SWAP2
00001eb3: SUB
00001eb4: SWAP1
00001eb5: REVERT
00001eb6: JUMPDEST
00001eb7: JUMPDEST
00001eb8: DUP3
00001eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ece: AND
00001ecf: PUSH1 0x0a
00001ed1: PUSH0
00001ed2: SWAP1
00001ed3: SLOAD
00001ed4: SWAP1
00001ed5: PUSH2 0x0100
00001ed8: EXP
00001ed9: SWAP1
00001eda: DIV
00001edb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef0: AND
00001ef1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f06: AND
00001f07: EQ
00001f08: DUP1
00001f09: PUSH2 0x1f5e
00001f0c: JUMPI
00001f0d: POP
00001f0e: DUP2
00001f0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f24: AND
00001f25: PUSH1 0x0a
00001f27: PUSH0
00001f28: SWAP1
00001f29: SLOAD
00001f2a: SWAP1
00001f2b: PUSH2 0x0100
00001f2e: EXP
00001f2f: SWAP1
00001f30: DIV
00001f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f46: AND
00001f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5c: AND
00001f5d: EQ
00001f5e: JUMPDEST
00001f5f: ISZERO
00001f60: PUSH2 0x2090
00001f63: JUMPI
00001f64: PUSH0
00001f65: PUSH2 0x1f6d
00001f68: ADDRESS
00001f69: PUSH2 0x0f4b
00001f6c: JUMP
00001f6d: JUMPDEST
00001f6e: SWAP1
00001f6f: POP
00001f70: PUSH0
00001f71: PUSH1 0x0e
00001f73: SLOAD
00001f74: DUP3
00001f75: LT
00001f76: ISZERO
00001f77: SWAP1
00001f78: POP
00001f79: DUP1
00001f7a: DUP1
00001f7b: ISZERO
00001f7c: PUSH2 0x1f92
00001f7f: JUMPI
00001f80: POP
00001f81: PUSH1 0x0f
00001f83: PUSH1 0x15
00001f85: SWAP1
00001f86: SLOAD
00001f87: SWAP1
00001f88: PUSH2 0x0100
00001f8b: EXP
00001f8c: SWAP1
00001f8d: DIV
00001f8e: PUSH1 0xff
00001f90: AND
00001f91: ISZERO
00001f92: JUMPDEST
00001f93: DUP1
00001f94: ISZERO
00001f95: PUSH2 0x1feb
00001f98: JUMPI
00001f99: POP
00001f9a: PUSH1 0x0a
00001f9c: PUSH0
00001f9d: SWAP1
00001f9e: SLOAD
00001f9f: SWAP1
00001fa0: PUSH2 0x0100
00001fa3: EXP
00001fa4: SWAP1
00001fa5: DIV
00001fa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fbb: AND
00001fbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd1: AND
00001fd2: DUP6
00001fd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe8: AND
00001fe9: EQ
00001fea: ISZERO
00001feb: JUMPDEST
00001fec: DUP1
00001fed: ISZERO
00001fee: PUSH2 0x2003
00001ff1: JUMPI
00001ff2: POP
00001ff3: PUSH1 0x0f
00001ff5: PUSH1 0x14
00001ff7: SWAP1
00001ff8: SLOAD
00001ff9: SWAP1
00001ffa: PUSH2 0x0100
00001ffd: EXP
00001ffe: SWAP1
00001fff: DIV
00002000: PUSH1 0xff
00002002: AND
00002003: JUMPDEST
00002004: ISZERO
00002005: PUSH2 0x2017
00002008: JUMPI
00002009: PUSH1 0x0e
0000200b: SLOAD
0000200c: SWAP2
0000200d: POP
0000200e: PUSH2 0x2016
00002011: DUP3
00002012: PUSH2 0x23da
00002015: JUMP
00002016: JUMPDEST
00002017: JUMPDEST
00002018: PUSH0
00002019: PUSH1 0x64
0000201b: DUP5
0000201c: PUSH1 0x0c
0000201e: SLOAD
0000201f: PUSH2 0x2028
00002022: SWAP2
00002023: SWAP1
00002024: PUSH2 0x33a0
00002027: JUMP
00002028: JUMPDEST
00002029: PUSH2 0x2032
0000202c: SWAP2
0000202d: SWAP1
0000202e: PUSH2 0x37bb
00002031: JUMP
00002032: JUMPDEST
00002033: SWAP1
00002034: POP
00002035: PUSH0
00002036: PUSH1 0x64
00002038: DUP6
00002039: PUSH1 0x0d
0000203b: SLOAD
0000203c: PUSH2 0x2045
0000203f: SWAP2
00002040: SWAP1
00002041: PUSH2 0x33a0
00002044: JUMP
00002045: JUMPDEST
00002046: PUSH2 0x204f
00002049: SWAP2
0000204a: SWAP1
0000204b: PUSH2 0x37bb
0000204e: JUMP
0000204f: JUMPDEST
00002050: SWAP1
00002051: POP
00002052: PUSH2 0x205b
00002055: DUP8
00002056: DUP4
00002057: PUSH2 0x245b
0000205a: JUMP
0000205b: JUMPDEST
0000205c: PUSH2 0x2066
0000205f: DUP8
00002060: ADDRESS
00002061: DUP4
00002062: PUSH2 0x2162
00002065: JUMP
00002066: JUMPDEST
00002067: PUSH2 0x2087
0000206a: DUP8
0000206b: DUP8
0000206c: DUP4
0000206d: DUP6
0000206e: PUSH2 0x2077
00002071: SWAP2
00002072: SWAP1
00002073: PUSH2 0x31e9
00002076: JUMP
00002077: JUMPDEST
00002078: DUP9
00002079: PUSH2 0x2082
0000207c: SWAP2
0000207d: SWAP1
0000207e: PUSH2 0x37eb
00002081: JUMP
00002082: JUMPDEST
00002083: PUSH2 0x2162
00002086: JUMP
00002087: JUMPDEST
00002088: POP
00002089: POP
0000208a: POP
0000208b: POP
0000208c: PUSH2 0x209c
0000208f: JUMP
00002090: JUMPDEST
00002091: PUSH2 0x209b
00002094: DUP4
00002095: DUP4
00002096: DUP4
00002097: PUSH2 0x2162
0000209a: JUMP
0000209b: JUMPDEST
0000209c: JUMPDEST
0000209d: POP
0000209e: POP
0000209f: POP
000020a0: JUMP
000020a1: JUMPDEST
000020a2: PUSH0
000020a3: DUP1
000020a4: PUSH0
000020a5: SWAP1
000020a6: SLOAD
000020a7: SWAP1
000020a8: PUSH2 0x0100
000020ab: EXP
000020ac: SWAP1
000020ad: DIV
000020ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c3: AND
000020c4: SWAP1
000020c5: POP
000020c6: DUP2
000020c7: PUSH0
000020c8: DUP1
000020c9: PUSH2 0x0100
000020cc: EXP
000020cd: DUP2
000020ce: SLOAD
000020cf: DUP2
000020d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e5: MUL
000020e6: NOT
000020e7: AND
000020e8: SWAP1
000020e9: DUP4
000020ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ff: AND
00002100: MUL
00002101: OR
00002102: SWAP1
00002103: SSTORE
00002104: POP
00002105: DUP2
00002106: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000211b: AND
0000211c: DUP2
0000211d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002132: AND
00002133: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002154: PUSH1 0x40
00002156: MLOAD
00002157: PUSH1 0x40
00002159: MLOAD
0000215a: DUP1
0000215b: SWAP2
0000215c: SUB
0000215d: SWAP1
0000215e: LOG3
0000215f: POP
00002160: POP
00002161: JUMP
00002162: JUMPDEST
00002163: PUSH0
00002164: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002179: AND
0000217a: DUP4
0000217b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002190: AND
00002191: SUB
00002192: PUSH2 0x21d0
00002195: JUMPI
00002196: PUSH1 0x40
00002198: MLOAD
00002199: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021ba: DUP2
000021bb: MSTORE
000021bc: PUSH1 0x04
000021be: ADD
000021bf: PUSH2 0x21c7
000021c2: SWAP1
000021c3: PUSH2 0x388e
000021c6: JUMP
000021c7: JUMPDEST
000021c8: PUSH1 0x40
000021ca: MLOAD
000021cb: DUP1
000021cc: SWAP2
000021cd: SUB
000021ce: SWAP1
000021cf: REVERT
000021d0: JUMPDEST
000021d1: PUSH0
000021d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e7: AND
000021e8: DUP3
000021e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021fe: AND
000021ff: SUB
00002200: PUSH2 0x223e
00002203: JUMPI
00002204: PUSH1 0x40
00002206: MLOAD
00002207: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002228: DUP2
00002229: MSTORE
0000222a: PUSH1 0x04
0000222c: ADD
0000222d: PUSH2 0x2235
00002230: SWAP1
00002231: PUSH2 0x391c
00002234: JUMP
00002235: JUMPDEST
00002236: PUSH1 0x40
00002238: MLOAD
00002239: DUP1
0000223a: SWAP2
0000223b: SUB
0000223c: SWAP1
0000223d: REVERT
0000223e: JUMPDEST
0000223f: PUSH2 0x2249
00002242: DUP4
00002243: DUP4
00002244: DUP4
00002245: PUSH2 0x2629
00002248: JUMP
00002249: JUMPDEST
0000224a: PUSH0
0000224b: PUSH1 0x01
0000224d: PUSH0
0000224e: DUP6
0000224f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002264: AND
00002265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000227a: AND
0000227b: DUP2
0000227c: MSTORE
0000227d: PUSH1 0x20
0000227f: ADD
00002280: SWAP1
00002281: DUP2
00002282: MSTORE
00002283: PUSH1 0x20
00002285: ADD
00002286: PUSH0
00002287: KECCAK256
00002288: SLOAD
00002289: SWAP1
0000228a: POP
0000228b: DUP2
0000228c: DUP2
0000228d: LT
0000228e: ISZERO
0000228f: PUSH2 0x22cd
00002292: JUMPI
00002293: PUSH1 0x40
00002295: MLOAD
00002296: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022b7: DUP2
000022b8: MSTORE
000022b9: PUSH1 0x04
000022bb: ADD
000022bc: PUSH2 0x22c4
000022bf: SWAP1
000022c0: PUSH2 0x39aa
000022c3: JUMP
000022c4: JUMPDEST
000022c5: PUSH1 0x40
000022c7: MLOAD
000022c8: DUP1
000022c9: SWAP2
000022ca: SUB
000022cb: SWAP1
000022cc: REVERT
000022cd: JUMPDEST
000022ce: DUP2
000022cf: DUP2
000022d0: SUB
000022d1: PUSH1 0x01
000022d3: PUSH0
000022d4: DUP7
000022d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ea: AND
000022eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002300: AND
00002301: DUP2
00002302: MSTORE
00002303: PUSH1 0x20
00002305: ADD
00002306: SWAP1
00002307: DUP2
00002308: MSTORE
00002309: PUSH1 0x20
0000230b: ADD
0000230c: PUSH0
0000230d: KECCAK256
0000230e: DUP2
0000230f: SWAP1
00002310: SSTORE
00002311: POP
00002312: DUP2
00002313: PUSH1 0x01
00002315: PUSH0
00002316: DUP6
00002317: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000232c: AND
0000232d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002342: AND
00002343: DUP2
00002344: MSTORE
00002345: PUSH1 0x20
00002347: ADD
00002348: SWAP1
00002349: DUP2
0000234a: MSTORE
0000234b: PUSH1 0x20
0000234d: ADD
0000234e: PUSH0
0000234f: KECCAK256
00002350: PUSH0
00002351: DUP3
00002352: DUP3
00002353: SLOAD
00002354: PUSH2 0x235d
00002357: SWAP2
00002358: SWAP1
00002359: PUSH2 0x31e9
0000235c: JUMP
0000235d: JUMPDEST
0000235e: SWAP3
0000235f: POP
00002360: POP
00002361: DUP2
00002362: SWAP1
00002363: SSTORE
00002364: POP
00002365: DUP3
00002366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000237b: AND
0000237c: DUP5
0000237d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002392: AND
00002393: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000023b4: DUP5
000023b5: PUSH1 0x40
000023b7: MLOAD
000023b8: PUSH2 0x23c1
000023bb: SWAP2
000023bc: SWAP1
000023bd: PUSH2 0x2b4d
000023c0: JUMP
000023c1: JUMPDEST
000023c2: PUSH1 0x40
000023c4: MLOAD
000023c5: DUP1
000023c6: SWAP2
000023c7: SUB
000023c8: SWAP1
000023c9: LOG3
000023ca: PUSH2 0x23d4
000023cd: DUP5
000023ce: DUP5
000023cf: DUP5
000023d0: PUSH2 0x262e
000023d3: JUMP
000023d4: JUMPDEST
000023d5: POP
000023d6: POP
000023d7: POP
000023d8: POP
000023d9: JUMP
000023da: JUMPDEST
000023db: PUSH1 0x01
000023dd: PUSH1 0x0f
000023df: PUSH1 0x15
000023e1: PUSH2 0x0100
000023e4: EXP
000023e5: DUP2
000023e6: SLOAD
000023e7: DUP2
000023e8: PUSH1 0xff
000023ea: MUL
000023eb: NOT
000023ec: AND
000023ed: SWAP1
000023ee: DUP4
000023ef: ISZERO
000023f0: ISZERO
000023f1: MUL
000023f2: OR
000023f3: SWAP1
000023f4: SSTORE
000023f5: POP
000023f6: PUSH0
000023f7: PUSH1 0x02
000023f9: DUP3
000023fa: PUSH2 0x2403
000023fd: SWAP2
000023fe: SWAP1
000023ff: PUSH2 0x37bb
00002402: JUMP
00002403: JUMPDEST
00002404: SWAP1
00002405: POP
00002406: PUSH0
00002407: DUP2
00002408: DUP4
00002409: PUSH2 0x2412
0000240c: SWAP2
0000240d: SWAP1
0000240e: PUSH2 0x37eb
00002411: JUMP
00002412: JUMPDEST
00002413: SWAP1
00002414: POP
00002415: PUSH0
00002416: SELFBALANCE
00002417: SWAP1
00002418: POP
00002419: PUSH2 0x2421
0000241c: DUP4
0000241d: PUSH2 0x2633
00002420: JUMP
00002421: JUMPDEST
00002422: PUSH0
00002423: DUP2
00002424: SELFBALANCE
00002425: PUSH2 0x242e
00002428: SWAP2
00002429: SWAP1
0000242a: PUSH2 0x37eb
0000242d: JUMP
0000242e: JUMPDEST
0000242f: SWAP1
00002430: POP
00002431: PUSH2 0x243a
00002434: DUP4
00002435: DUP3
00002436: PUSH2 0x2869
00002439: JUMP
0000243a: JUMPDEST
0000243b: POP
0000243c: POP
0000243d: POP
0000243e: POP
0000243f: PUSH0
00002440: PUSH1 0x0f
00002442: PUSH1 0x15
00002444: PUSH2 0x0100
00002447: EXP
00002448: DUP2
00002449: SLOAD
0000244a: DUP2
0000244b: PUSH1 0xff
0000244d: MUL
0000244e: NOT
0000244f: AND
00002450: SWAP1
00002451: DUP4
00002452: ISZERO
00002453: ISZERO
00002454: MUL
00002455: OR
00002456: SWAP1
00002457: SSTORE
00002458: POP
00002459: POP
0000245a: JUMP
0000245b: JUMPDEST
0000245c: PUSH0
0000245d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002472: AND
00002473: DUP3
00002474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002489: AND
0000248a: SUB
0000248b: PUSH2 0x24c9
0000248e: JUMPI
0000248f: PUSH1 0x40
00002491: MLOAD
00002492: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024b3: DUP2
000024b4: MSTORE
000024b5: PUSH1 0x04
000024b7: ADD
000024b8: PUSH2 0x24c0
000024bb: SWAP1
000024bc: PUSH2 0x3a38
000024bf: JUMP
000024c0: JUMPDEST
000024c1: PUSH1 0x40
000024c3: MLOAD
000024c4: DUP1
000024c5: SWAP2
000024c6: SUB
000024c7: SWAP1
000024c8: REVERT
000024c9: JUMPDEST
000024ca: PUSH2 0x24d4
000024cd: DUP3
000024ce: PUSH0
000024cf: DUP4
000024d0: PUSH2 0x2629
000024d3: JUMP
000024d4: JUMPDEST
000024d5: PUSH0
000024d6: PUSH1 0x01
000024d8: PUSH0
000024d9: DUP5
000024da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ef: AND
000024f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002505: AND
00002506: DUP2
00002507: MSTORE
00002508: PUSH1 0x20
0000250a: ADD
0000250b: SWAP1
0000250c: DUP2
0000250d: MSTORE
0000250e: PUSH1 0x20
00002510: ADD
00002511: PUSH0
00002512: KECCAK256
00002513: SLOAD
00002514: SWAP1
00002515: POP
00002516: DUP2
00002517: DUP2
00002518: LT
00002519: ISZERO
0000251a: PUSH2 0x2558
0000251d: JUMPI
0000251e: PUSH1 0x40
00002520: MLOAD
00002521: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002542: DUP2
00002543: MSTORE
00002544: PUSH1 0x04
00002546: ADD
00002547: PUSH2 0x254f
0000254a: SWAP1
0000254b: PUSH2 0x3ac6
0000254e: JUMP
0000254f: JUMPDEST
00002550: PUSH1 0x40
00002552: MLOAD
00002553: DUP1
00002554: SWAP2
00002555: SUB
00002556: SWAP1
00002557: REVERT
00002558: JUMPDEST
00002559: DUP2
0000255a: DUP2
0000255b: SUB
0000255c: PUSH1 0x01
0000255e: PUSH0
0000255f: DUP6
00002560: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002575: AND
00002576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000258b: AND
0000258c: DUP2
0000258d: MSTORE
0000258e: PUSH1 0x20
00002590: ADD
00002591: SWAP1
00002592: DUP2
00002593: MSTORE
00002594: PUSH1 0x20
00002596: ADD
00002597: PUSH0
00002598: KECCAK256
00002599: DUP2
0000259a: SWAP1
0000259b: SSTORE
0000259c: POP
0000259d: DUP2
0000259e: PUSH1 0x03
000025a0: PUSH0
000025a1: DUP3
000025a2: DUP3
000025a3: SLOAD
000025a4: PUSH2 0x25ad
000025a7: SWAP2
000025a8: SWAP1
000025a9: PUSH2 0x37eb
000025ac: JUMP
000025ad: JUMPDEST
000025ae: SWAP3
000025af: POP
000025b0: POP
000025b1: DUP2
000025b2: SWAP1
000025b3: SSTORE
000025b4: POP
000025b5: PUSH0
000025b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025cb: AND
000025cc: DUP4
000025cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e2: AND
000025e3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002604: DUP5
00002605: PUSH1 0x40
00002607: MLOAD
00002608: PUSH2 0x2611
0000260b: SWAP2
0000260c: SWAP1
0000260d: PUSH2 0x2b4d
00002610: JUMP
00002611: JUMPDEST
00002612: PUSH1 0x40
00002614: MLOAD
00002615: DUP1
00002616: SWAP2
00002617: SUB
00002618: SWAP1
00002619: LOG3
0000261a: PUSH2 0x2624
0000261d: DUP4
0000261e: PUSH0
0000261f: DUP5
00002620: PUSH2 0x262e
00002623: JUMP
00002624: JUMPDEST
00002625: POP
00002626: POP
00002627: POP
00002628: JUMP
00002629: JUMPDEST
0000262a: POP
0000262b: POP
0000262c: POP
0000262d: JUMP
0000262e: JUMPDEST
0000262f: POP
00002630: POP
00002631: POP
00002632: JUMP
00002633: JUMPDEST
00002634: PUSH0
00002635: PUSH1 0x02
00002637: PUSH8 0xffffffffffffffff
00002640: DUP2
00002641: GT
00002642: ISZERO
00002643: PUSH2 0x264f
00002646: JUMPI
00002647: PUSH2 0x264e
0000264a: PUSH2 0x3ae4
0000264d: JUMP
0000264e: JUMPDEST
0000264f: JUMPDEST
00002650: PUSH1 0x40
00002652: MLOAD
00002653: SWAP1
00002654: DUP1
00002655: DUP3
00002656: MSTORE
00002657: DUP1
00002658: PUSH1 0x20
0000265a: MUL
0000265b: PUSH1 0x20
0000265d: ADD
0000265e: DUP3
0000265f: ADD
00002660: PUSH1 0x40
00002662: MSTORE
00002663: DUP1
00002664: ISZERO
00002665: PUSH2 0x267d
00002668: JUMPI
00002669: DUP2
0000266a: PUSH1 0x20
0000266c: ADD
0000266d: PUSH1 0x20
0000266f: DUP3
00002670: MUL
00002671: DUP1
00002672: CALLDATASIZE
00002673: DUP4
00002674: CALLDATACOPY
00002675: DUP1
00002676: DUP3
00002677: ADD
00002678: SWAP2
00002679: POP
0000267a: POP
0000267b: SWAP1
0000267c: POP
0000267d: JUMPDEST
0000267e: POP
0000267f: SWAP1
00002680: POP
00002681: ADDRESS
00002682: DUP2
00002683: PUSH0
00002684: DUP2
00002685: MLOAD
00002686: DUP2
00002687: LT
00002688: PUSH2 0x2694
0000268b: JUMPI
0000268c: PUSH2 0x2693
0000268f: PUSH2 0x318f
00002692: JUMP
00002693: JUMPDEST
00002694: JUMPDEST
00002695: PUSH1 0x20
00002697: MUL
00002698: PUSH1 0x20
0000269a: ADD
0000269b: ADD
0000269c: SWAP1
0000269d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026b2: AND
000026b3: SWAP1
000026b4: DUP2
000026b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ca: AND
000026cb: DUP2
000026cc: MSTORE
000026cd: POP
000026ce: POP
000026cf: PUSH1 0x0b
000026d1: PUSH0
000026d2: SWAP1
000026d3: SLOAD
000026d4: SWAP1
000026d5: PUSH2 0x0100
000026d8: EXP
000026d9: SWAP1
000026da: DIV
000026db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f0: AND
000026f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002706: AND
00002707: PUSH4 0xad5c4648
0000270c: PUSH1 0x40
0000270e: MLOAD
0000270f: DUP2
00002710: PUSH4 0xffffffff
00002715: AND
00002716: PUSH1 0xe0
00002718: SHL
00002719: DUP2
0000271a: MSTORE
0000271b: PUSH1 0x04
0000271d: ADD
0000271e: PUSH1 0x20
00002720: PUSH1 0x40
00002722: MLOAD
00002723: DUP1
00002724: DUP4
00002725: SUB
00002726: DUP2
00002727: DUP7
00002728: GAS
00002729: STATICCALL
0000272a: ISZERO
0000272b: DUP1
0000272c: ISZERO
0000272d: PUSH2 0x2738
00002730: JUMPI
00002731: RETURNDATASIZE
00002732: PUSH0
00002733: DUP1
00002734: RETURNDATACOPY
00002735: RETURNDATASIZE
00002736: PUSH0
00002737: REVERT
00002738: JUMPDEST
00002739: POP
0000273a: POP
0000273b: POP
0000273c: POP
0000273d: PUSH1 0x40
0000273f: MLOAD
00002740: RETURNDATASIZE
00002741: PUSH1 0x1f
00002743: NOT
00002744: PUSH1 0x1f
00002746: DUP3
00002747: ADD
00002748: AND
00002749: DUP3
0000274a: ADD
0000274b: DUP1
0000274c: PUSH1 0x40
0000274e: MSTORE
0000274f: POP
00002750: DUP2
00002751: ADD
00002752: SWAP1
00002753: PUSH2 0x275c
00002756: SWAP2
00002757: SWAP1
00002758: PUSH2 0x3b25
0000275b: JUMP
0000275c: JUMPDEST
0000275d: DUP2
0000275e: PUSH1 0x01
00002760: DUP2
00002761: MLOAD
00002762: DUP2
00002763: LT
00002764: PUSH2 0x2770
00002767: JUMPI
00002768: PUSH2 0x276f
0000276b: PUSH2 0x318f
0000276e: JUMP
0000276f: JUMPDEST
00002770: JUMPDEST
00002771: PUSH1 0x20
00002773: MUL
00002774: PUSH1 0x20
00002776: ADD
00002777: ADD
00002778: SWAP1
00002779: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000278e: AND
0000278f: SWAP1
00002790: DUP2
00002791: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a6: AND
000027a7: DUP2
000027a8: MSTORE
000027a9: POP
000027aa: POP
000027ab: PUSH2 0x27d6
000027ae: ADDRESS
000027af: PUSH1 0x0b
000027b1: PUSH0
000027b2: SWAP1
000027b3: SLOAD
000027b4: SWAP1
000027b5: PUSH2 0x0100
000027b8: EXP
000027b9: SWAP1
000027ba: DIV
000027bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d0: AND
000027d1: DUP5
000027d2: PUSH2 0x1977
000027d5: JUMP
000027d6: JUMPDEST
000027d7: PUSH1 0x0b
000027d9: PUSH0
000027da: SWAP1
000027db: SLOAD
000027dc: SWAP1
000027dd: PUSH2 0x0100
000027e0: EXP
000027e1: SWAP1
000027e2: DIV
000027e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f8: AND
000027f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000280e: AND
0000280f: PUSH4 0x791ac947
00002814: DUP4
00002815: PUSH0
00002816: DUP5
00002817: ADDRESS
00002818: TIMESTAMP
00002819: PUSH1 0x40
0000281b: MLOAD
0000281c: DUP7
0000281d: PUSH4 0xffffffff
00002822: AND
00002823: PUSH1 0xe0
00002825: SHL
00002826: DUP2
00002827: MSTORE
00002828: PUSH1 0x04
0000282a: ADD
0000282b: PUSH2 0x2838
0000282e: SWAP6
0000282f: SWAP5
00002830: SWAP4
00002831: SWAP3
00002832: SWAP2
00002833: SWAP1
00002834: PUSH2 0x3c40
00002837: JUMP
00002838: JUMPDEST
00002839: PUSH0
0000283a: PUSH1 0x40
0000283c: MLOAD
0000283d: DUP1
0000283e: DUP4
0000283f: SUB
00002840: DUP2
00002841: PUSH0
00002842: DUP8
00002843: DUP1
00002844: EXTCODESIZE
00002845: ISZERO
00002846: DUP1
00002847: ISZERO
00002848: PUSH2 0x284f
0000284b: JUMPI
0000284c: PUSH0
0000284d: DUP1
0000284e: REVERT
0000284f: JUMPDEST
00002850: POP
00002851: GAS
00002852: CALL
00002853: ISZERO
00002854: DUP1
00002855: ISZERO
00002856: PUSH2 0x2861
00002859: JUMPI
0000285a: RETURNDATASIZE
0000285b: PUSH0
0000285c: DUP1
0000285d: RETURNDATACOPY
0000285e: RETURNDATASIZE
0000285f: PUSH0
00002860: REVERT
00002861: JUMPDEST
00002862: POP
00002863: POP
00002864: POP
00002865: POP
00002866: POP
00002867: POP
00002868: JUMP
00002869: JUMPDEST
0000286a: PUSH2 0x2895
0000286d: ADDRESS
0000286e: PUSH1 0x0b
00002870: PUSH0
00002871: SWAP1
00002872: SLOAD
00002873: SWAP1
00002874: PUSH2 0x0100
00002877: EXP
00002878: SWAP1
00002879: DIV
0000287a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000288f: AND
00002890: DUP5
00002891: PUSH2 0x1977
00002894: JUMP
00002895: JUMPDEST
00002896: PUSH1 0x0b
00002898: PUSH0
00002899: SWAP1
0000289a: SLOAD
0000289b: SWAP1
0000289c: PUSH2 0x0100
0000289f: EXP
000028a0: SWAP1
000028a1: DIV
000028a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b7: AND
000028b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028cd: AND
000028ce: PUSH4 0xf305d719
000028d3: DUP3
000028d4: ADDRESS
000028d5: DUP6
000028d6: PUSH0
000028d7: DUP1
000028d8: PUSH1 0x0f
000028da: PUSH0
000028db: SWAP1
000028dc: SLOAD
000028dd: SWAP1
000028de: PUSH2 0x0100
000028e1: EXP
000028e2: SWAP1
000028e3: DIV
000028e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028f9: AND
000028fa: TIMESTAMP
000028fb: PUSH1 0x40
000028fd: MLOAD
000028fe: DUP9
000028ff: PUSH4 0xffffffff
00002904: AND
00002905: PUSH1 0xe0
00002907: SHL
00002908: DUP2
00002909: MSTORE
0000290a: PUSH1 0x04
0000290c: ADD
0000290d: PUSH2 0x291b
00002910: SWAP7
00002911: SWAP6
00002912: SWAP5
00002913: SWAP4
00002914: SWAP3
00002915: SWAP2
00002916: SWAP1
00002917: PUSH2 0x3c98
0000291a: JUMP
0000291b: JUMPDEST
0000291c: PUSH1 0x60
0000291e: PUSH1 0x40
00002920: MLOAD
00002921: DUP1
00002922: DUP4
00002923: SUB
00002924: DUP2
00002925: DUP6
00002926: DUP9
00002927: GAS
00002928: CALL
00002929: ISZERO
0000292a: DUP1
0000292b: ISZERO
0000292c: PUSH2 0x2937
0000292f: JUMPI
00002930: RETURNDATASIZE
00002931: PUSH0
00002932: DUP1
00002933: RETURNDATACOPY
00002934: RETURNDATASIZE
00002935: PUSH0
00002936: REVERT
00002937: JUMPDEST
00002938: POP
00002939: POP
0000293a: POP
0000293b: POP
0000293c: POP
0000293d: PUSH1 0x40
0000293f: MLOAD
00002940: RETURNDATASIZE
00002941: PUSH1 0x1f
00002943: NOT
00002944: PUSH1 0x1f
00002946: DUP3
00002947: ADD
00002948: AND
00002949: DUP3
0000294a: ADD
0000294b: DUP1
0000294c: PUSH1 0x40
0000294e: MSTORE
0000294f: POP
00002950: DUP2
00002951: ADD
00002952: SWAP1
00002953: PUSH2 0x295c
00002956: SWAP2
00002957: SWAP1
00002958: PUSH2 0x3cf7
0000295b: JUMP
0000295c: JUMPDEST
0000295d: POP
0000295e: POP
0000295f: POP
00002960: POP
00002961: POP
00002962: JUMP
00002963: JUMPDEST
00002964: PUSH0
00002965: DUP2
00002966: MLOAD
00002967: SWAP1
00002968: POP
00002969: SWAP2
0000296a: SWAP1
0000296b: POP
0000296c: JUMP
0000296d: JUMPDEST
0000296e: PUSH0
0000296f: DUP3
00002970: DUP3
00002971: MSTORE
00002972: PUSH1 0x20
00002974: DUP3
00002975: ADD
00002976: SWAP1
00002977: POP
00002978: SWAP3
00002979: SWAP2
0000297a: POP
0000297b: POP
0000297c: JUMP
0000297d: JUMPDEST
0000297e: PUSH0
0000297f: JUMPDEST
00002980: DUP4
00002981: DUP2
00002982: LT
00002983: ISZERO
00002984: PUSH2 0x299a
00002987: JUMPI
00002988: DUP1
00002989: DUP3
0000298a: ADD
0000298b: MLOAD
0000298c: DUP2
0000298d: DUP5
0000298e: ADD
0000298f: MSTORE
00002990: PUSH1 0x20
00002992: DUP2
00002993: ADD
00002994: SWAP1
00002995: POP
00002996: PUSH2 0x297f
00002999: JUMP
0000299a: JUMPDEST
0000299b: PUSH0
0000299c: DUP5
0000299d: DUP5
0000299e: ADD
0000299f: MSTORE
000029a0: POP
000029a1: POP
000029a2: POP
000029a3: POP
000029a4: JUMP
000029a5: JUMPDEST
000029a6: PUSH0
000029a7: PUSH1 0x1f
000029a9: NOT
000029aa: PUSH1 0x1f
000029ac: DUP4
000029ad: ADD
000029ae: AND
000029af: SWAP1
000029b0: POP
000029b1: SWAP2
000029b2: SWAP1
000029b3: POP
000029b4: JUMP
000029b5: JUMPDEST
000029b6: PUSH0
000029b7: PUSH2 0x29bf
000029ba: DUP3
000029bb: PUSH2 0x2963
000029be: JUMP
000029bf: JUMPDEST
000029c0: PUSH2 0x29c9
000029c3: DUP2
000029c4: DUP6
000029c5: PUSH2 0x296d
000029c8: JUMP
000029c9: JUMPDEST
000029ca: SWAP4
000029cb: POP
000029cc: PUSH2 0x29d9
000029cf: DUP2
000029d0: DUP6
000029d1: PUSH1 0x20
000029d3: DUP7
000029d4: ADD
000029d5: PUSH2 0x297d
000029d8: JUMP
000029d9: JUMPDEST
000029da: PUSH2 0x29e2
000029dd: DUP2
000029de: PUSH2 0x29a5
000029e1: JUMP
000029e2: JUMPDEST
000029e3: DUP5
000029e4: ADD
000029e5: SWAP2
000029e6: POP
000029e7: POP
000029e8: SWAP3
000029e9: SWAP2
000029ea: POP
000029eb: POP
000029ec: JUMP
000029ed: JUMPDEST
000029ee: PUSH0
000029ef: PUSH1 0x20
000029f1: DUP3
000029f2: ADD
000029f3: SWAP1
000029f4: POP
000029f5: DUP2
000029f6: DUP2
000029f7: SUB
000029f8: PUSH0
000029f9: DUP4
000029fa: ADD
000029fb: MSTORE
000029fc: PUSH2 0x2a05
000029ff: DUP2
00002a00: DUP5
00002a01: PUSH2 0x29b5
00002a04: JUMP
00002a05: JUMPDEST
00002a06: SWAP1
00002a07: POP
00002a08: SWAP3
00002a09: SWAP2
00002a0a: POP
00002a0b: POP
00002a0c: JUMP
00002a0d: JUMPDEST
00002a0e: PUSH0
00002a0f: DUP1
00002a10: REVERT
00002a11: JUMPDEST
00002a12: PUSH0
00002a13: DUP1
00002a14: REVERT
00002a15: JUMPDEST
00002a16: PUSH0
00002a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a2c: DUP3
00002a2d: AND
00002a2e: SWAP1
00002a2f: POP
00002a30: SWAP2
00002a31: SWAP1
00002a32: POP
00002a33: JUMP
00002a34: JUMPDEST
00002a35: PUSH0
00002a36: PUSH2 0x2a3e
00002a39: DUP3
00002a3a: PUSH2 0x2a15
00002a3d: JUMP
00002a3e: JUMPDEST
00002a3f: SWAP1
00002a40: POP
00002a41: SWAP2
00002a42: SWAP1
00002a43: POP
00002a44: JUMP
00002a45: JUMPDEST
00002a46: PUSH2 0x2a4e
00002a49: DUP2
00002a4a: PUSH2 0x2a34
00002a4d: JUMP
00002a4e: JUMPDEST
00002a4f: DUP2
00002a50: EQ
00002a51: PUSH2 0x2a58
00002a54: JUMPI
00002a55: PUSH0
00002a56: DUP1
00002a57: REVERT
00002a58: JUMPDEST
00002a59: POP
00002a5a: JUMP
00002a5b: JUMPDEST
00002a5c: PUSH0
00002a5d: DUP2
00002a5e: CALLDATALOAD
00002a5f: SWAP1
00002a60: POP
00002a61: PUSH2 0x2a69
00002a64: DUP2
00002a65: PUSH2 0x2a45
00002a68: JUMP
00002a69: JUMPDEST
00002a6a: SWAP3
00002a6b: SWAP2
00002a6c: POP
00002a6d: POP
00002a6e: JUMP
00002a6f: JUMPDEST
00002a70: PUSH0
00002a71: DUP2
00002a72: SWAP1
00002a73: POP
00002a74: SWAP2
00002a75: SWAP1
00002a76: POP
00002a77: JUMP
00002a78: JUMPDEST
00002a79: PUSH2 0x2a81
00002a7c: DUP2
00002a7d: PUSH2 0x2a6f
00002a80: JUMP
00002a81: JUMPDEST
00002a82: DUP2
00002a83: EQ
00002a84: PUSH2 0x2a8b
00002a87: JUMPI
00002a88: PUSH0
00002a89: DUP1
00002a8a: REVERT
00002a8b: JUMPDEST
00002a8c: POP
00002a8d: JUMP
00002a8e: JUMPDEST
00002a8f: PUSH0
00002a90: DUP2
00002a91: CALLDATALOAD
00002a92: SWAP1
00002a93: POP
00002a94: PUSH2 0x2a9c
00002a97: DUP2
00002a98: PUSH2 0x2a78
00002a9b: JUMP
00002a9c: JUMPDEST
00002a9d: SWAP3
00002a9e: SWAP2
00002a9f: POP
00002aa0: POP
00002aa1: JUMP
00002aa2: JUMPDEST
00002aa3: PUSH0
00002aa4: DUP1
00002aa5: PUSH1 0x40
00002aa7: DUP4
00002aa8: DUP6
00002aa9: SUB
00002aaa: SLT
00002aab: ISZERO
00002aac: PUSH2 0x2ab8
00002aaf: JUMPI
00002ab0: PUSH2 0x2ab7
00002ab3: PUSH2 0x2a0d
00002ab6: JUMP
00002ab7: JUMPDEST
00002ab8: JUMPDEST
00002ab9: PUSH0
00002aba: PUSH2 0x2ac5
00002abd: DUP6
00002abe: DUP3
00002abf: DUP7
00002ac0: ADD
00002ac1: PUSH2 0x2a5b
00002ac4: JUMP
00002ac5: JUMPDEST
00002ac6: SWAP3
00002ac7: POP
00002ac8: POP
00002ac9: PUSH1 0x20
00002acb: PUSH2 0x2ad6
00002ace: DUP6
00002acf: DUP3
00002ad0: DUP7
00002ad1: ADD
00002ad2: PUSH2 0x2a8e
00002ad5: JUMP
00002ad6: JUMPDEST
00002ad7: SWAP2
00002ad8: POP
00002ad9: POP
00002ada: SWAP3
00002adb: POP
00002adc: SWAP3
00002add: SWAP1
00002ade: POP
00002adf: JUMP
00002ae0: JUMPDEST
00002ae1: PUSH0
00002ae2: DUP2
00002ae3: ISZERO
00002ae4: ISZERO
00002ae5: SWAP1
00002ae6: POP
00002ae7: SWAP2
00002ae8: SWAP1
00002ae9: POP
00002aea: JUMP
00002aeb: JUMPDEST
00002aec: PUSH2 0x2af4
00002aef: DUP2
00002af0: PUSH2 0x2ae0
00002af3: JUMP
00002af4: JUMPDEST
00002af5: DUP3
00002af6: MSTORE
00002af7: POP
00002af8: POP
00002af9: JUMP
00002afa: JUMPDEST
00002afb: PUSH0
00002afc: PUSH1 0x20
00002afe: DUP3
00002aff: ADD
00002b00: SWAP1
00002b01: POP
00002b02: PUSH2 0x2b0d
00002b05: PUSH0
00002b06: DUP4
00002b07: ADD
00002b08: DUP5
00002b09: PUSH2 0x2aeb
00002b0c: JUMP
00002b0d: JUMPDEST
00002b0e: SWAP3
00002b0f: SWAP2
00002b10: POP
00002b11: POP
00002b12: JUMP
00002b13: JUMPDEST
00002b14: PUSH0
00002b15: PUSH1 0x20
00002b17: DUP3
00002b18: DUP5
00002b19: SUB
00002b1a: SLT
00002b1b: ISZERO
00002b1c: PUSH2 0x2b28
00002b1f: JUMPI
00002b20: PUSH2 0x2b27
00002b23: PUSH2 0x2a0d
00002b26: JUMP
00002b27: JUMPDEST
00002b28: JUMPDEST
00002b29: PUSH0
00002b2a: PUSH2 0x2b35
00002b2d: DUP5
00002b2e: DUP3
00002b2f: DUP6
00002b30: ADD
00002b31: PUSH2 0x2a5b
00002b34: JUMP
00002b35: JUMPDEST
00002b36: SWAP2
00002b37: POP
00002b38: POP
00002b39: SWAP3
00002b3a: SWAP2
00002b3b: POP
00002b3c: POP
00002b3d: JUMP
00002b3e: JUMPDEST
00002b3f: PUSH2 0x2b47
00002b42: DUP2
00002b43: PUSH2 0x2a6f
00002b46: JUMP
00002b47: JUMPDEST
00002b48: DUP3
00002b49: MSTORE
00002b4a: POP
00002b4b: POP
00002b4c: JUMP
00002b4d: JUMPDEST
00002b4e: PUSH0
00002b4f: PUSH1 0x20
00002b51: DUP3
00002b52: ADD
00002b53: SWAP1
00002b54: POP
00002b55: PUSH2 0x2b60
00002b58: PUSH0
00002b59: DUP4
00002b5a: ADD
00002b5b: DUP5
00002b5c: PUSH2 0x2b3e
00002b5f: JUMP
00002b60: JUMPDEST
00002b61: SWAP3
00002b62: SWAP2
00002b63: POP
00002b64: POP
00002b65: JUMP
00002b66: JUMPDEST
00002b67: PUSH0
00002b68: PUSH1 0x20
00002b6a: DUP3
00002b6b: DUP5
00002b6c: SUB
00002b6d: SLT
00002b6e: ISZERO
00002b6f: PUSH2 0x2b7b
00002b72: JUMPI
00002b73: PUSH2 0x2b7a
00002b76: PUSH2 0x2a0d
00002b79: JUMP
00002b7a: JUMPDEST
00002b7b: JUMPDEST
00002b7c: PUSH0
00002b7d: PUSH2 0x2b88
00002b80: DUP5
00002b81: DUP3
00002b82: DUP6
00002b83: ADD
00002b84: PUSH2 0x2a8e
00002b87: JUMP
00002b88: JUMPDEST
00002b89: SWAP2
00002b8a: POP
00002b8b: POP
00002b8c: SWAP3
00002b8d: SWAP2
00002b8e: POP
00002b8f: POP
00002b90: JUMP
00002b91: JUMPDEST
00002b92: PUSH0
00002b93: DUP1
00002b94: REVERT
00002b95: JUMPDEST
00002b96: PUSH0
00002b97: DUP1
00002b98: REVERT
00002b99: JUMPDEST
00002b9a: PUSH0
00002b9b: DUP1
00002b9c: REVERT
00002b9d: JUMPDEST
00002b9e: PUSH0
00002b9f: DUP1
00002ba0: DUP4
00002ba1: PUSH1 0x1f
00002ba3: DUP5
00002ba4: ADD
00002ba5: SLT
00002ba6: PUSH2 0x2bb2
00002ba9: JUMPI
00002baa: PUSH2 0x2bb1
00002bad: PUSH2 0x2b91
00002bb0: JUMP
00002bb1: JUMPDEST
00002bb2: JUMPDEST
00002bb3: DUP3
00002bb4: CALLDATALOAD
00002bb5: SWAP1
00002bb6: POP
00002bb7: PUSH8 0xffffffffffffffff
00002bc0: DUP2
00002bc1: GT
00002bc2: ISZERO
00002bc3: PUSH2 0x2bcf
00002bc6: JUMPI
00002bc7: PUSH2 0x2bce
00002bca: PUSH2 0x2b95
00002bcd: JUMP
00002bce: JUMPDEST
00002bcf: JUMPDEST
00002bd0: PUSH1 0x20
00002bd2: DUP4
00002bd3: ADD
00002bd4: SWAP2
00002bd5: POP
00002bd6: DUP4
00002bd7: PUSH1 0x20
00002bd9: DUP3
00002bda: MUL
00002bdb: DUP4
00002bdc: ADD
00002bdd: GT
00002bde: ISZERO
00002bdf: PUSH2 0x2beb
00002be2: JUMPI
00002be3: PUSH2 0x2bea
00002be6: PUSH2 0x2b99
00002be9: JUMP
00002bea: JUMPDEST
00002beb: JUMPDEST
00002bec: SWAP3
00002bed: POP
00002bee: SWAP3
00002bef: SWAP1
00002bf0: POP
00002bf1: JUMP
00002bf2: JUMPDEST
00002bf3: PUSH0
00002bf4: DUP1
00002bf5: DUP4
00002bf6: PUSH1 0x1f
00002bf8: DUP5
00002bf9: ADD
00002bfa: SLT
00002bfb: PUSH2 0x2c07
00002bfe: JUMPI
00002bff: PUSH2 0x2c06
00002c02: PUSH2 0x2b91
00002c05: JUMP
00002c06: JUMPDEST
00002c07: JUMPDEST
00002c08: DUP3
00002c09: CALLDATALOAD
00002c0a: SWAP1
00002c0b: POP
00002c0c: PUSH8 0xffffffffffffffff
00002c15: DUP2
00002c16: GT
00002c17: ISZERO
00002c18: PUSH2 0x2c24
00002c1b: JUMPI
00002c1c: PUSH2 0x2c23
00002c1f: PUSH2 0x2b95
00002c22: JUMP
00002c23: JUMPDEST
00002c24: JUMPDEST
00002c25: PUSH1 0x20
00002c27: DUP4
00002c28: ADD
00002c29: SWAP2
00002c2a: POP
00002c2b: DUP4
00002c2c: PUSH1 0x20
00002c2e: DUP3
00002c2f: MUL
00002c30: DUP4
00002c31: ADD
00002c32: GT
00002c33: ISZERO
00002c34: PUSH2 0x2c40
00002c37: JUMPI
00002c38: PUSH2 0x2c3f
00002c3b: PUSH2 0x2b99
00002c3e: JUMP
00002c3f: JUMPDEST
00002c40: JUMPDEST
00002c41: SWAP3
00002c42: POP
00002c43: SWAP3
00002c44: SWAP1
00002c45: POP
00002c46: JUMP
00002c47: JUMPDEST
00002c48: PUSH0
00002c49: DUP1
00002c4a: PUSH0
00002c4b: DUP1
00002c4c: PUSH1 0x40
00002c4e: DUP6
00002c4f: DUP8
00002c50: SUB
00002c51: SLT
00002c52: ISZERO
00002c53: PUSH2 0x2c5f
00002c56: JUMPI
00002c57: PUSH2 0x2c5e
00002c5a: PUSH2 0x2a0d
00002c5d: JUMP
00002c5e: JUMPDEST
00002c5f: JUMPDEST
00002c60: PUSH0
00002c61: DUP6
00002c62: ADD
00002c63: CALLDATALOAD
00002c64: PUSH8 0xffffffffffffffff
00002c6d: DUP2
00002c6e: GT
00002c6f: ISZERO
00002c70: PUSH2 0x2c7c
00002c73: JUMPI
00002c74: PUSH2 0x2c7b
00002c77: PUSH2 0x2a11
00002c7a: JUMP
00002c7b: JUMPDEST
00002c7c: JUMPDEST
00002c7d: PUSH2 0x2c88
00002c80: DUP8
00002c81: DUP3
00002c82: DUP9
00002c83: ADD
00002c84: PUSH2 0x2b9d
00002c87: JUMP
00002c88: JUMPDEST
00002c89: SWAP5
00002c8a: POP
00002c8b: SWAP5
00002c8c: POP
00002c8d: POP
00002c8e: PUSH1 0x20
00002c90: DUP6
00002c91: ADD
00002c92: CALLDATALOAD
00002c93: PUSH8 0xffffffffffffffff
00002c9c: DUP2
00002c9d: GT
00002c9e: ISZERO
00002c9f: PUSH2 0x2cab
00002ca2: JUMPI
00002ca3: PUSH2 0x2caa
00002ca6: PUSH2 0x2a11
00002ca9: JUMP
00002caa: JUMPDEST
00002cab: JUMPDEST
00002cac: PUSH2 0x2cb7
00002caf: DUP8
00002cb0: DUP3
00002cb1: DUP9
00002cb2: ADD
00002cb3: PUSH2 0x2bf2
00002cb6: JUMP
00002cb7: JUMPDEST
00002cb8: SWAP3
00002cb9: POP
00002cba: SWAP3
00002cbb: POP
00002cbc: POP
00002cbd: SWAP3
00002cbe: SWAP6
00002cbf: SWAP2
00002cc0: SWAP5
00002cc1: POP
00002cc2: SWAP3
00002cc3: POP
00002cc4: JUMP
00002cc5: JUMPDEST
00002cc6: PUSH0
00002cc7: DUP1
00002cc8: PUSH0
00002cc9: PUSH1 0x60
00002ccb: DUP5
00002ccc: DUP7
00002ccd: SUB
00002cce: SLT
00002ccf: ISZERO
00002cd0: PUSH2 0x2cdc
00002cd3: JUMPI
00002cd4: PUSH2 0x2cdb
00002cd7: PUSH2 0x2a0d
00002cda: JUMP
00002cdb: JUMPDEST
00002cdc: JUMPDEST
00002cdd: PUSH0
00002cde: PUSH2 0x2ce9
00002ce1: DUP7
00002ce2: DUP3
00002ce3: DUP8
00002ce4: ADD
00002ce5: PUSH2 0x2a5b
00002ce8: JUMP
00002ce9: JUMPDEST
00002cea: SWAP4
00002ceb: POP
00002cec: POP
00002ced: PUSH1 0x20
00002cef: PUSH2 0x2cfa
00002cf2: DUP7
00002cf3: DUP3
00002cf4: DUP8
00002cf5: ADD
00002cf6: PUSH2 0x2a5b
00002cf9: JUMP
00002cfa: JUMPDEST
00002cfb: SWAP3
00002cfc: POP
00002cfd: POP
00002cfe: PUSH1 0x40
00002d00: PUSH2 0x2d0b
00002d03: DUP7
00002d04: DUP3
00002d05: DUP8
00002d06: ADD
00002d07: PUSH2 0x2a8e
00002d0a: JUMP
00002d0b: JUMPDEST
00002d0c: SWAP2
00002d0d: POP
00002d0e: POP
00002d0f: SWAP3
00002d10: POP
00002d11: SWAP3
00002d12: POP
00002d13: SWAP3
00002d14: JUMP
00002d15: JUMPDEST
00002d16: PUSH0
00002d17: PUSH1 0xff
00002d19: DUP3
00002d1a: AND
00002d1b: SWAP1
00002d1c: POP
00002d1d: SWAP2
00002d1e: SWAP1
00002d1f: POP
00002d20: JUMP
00002d21: JUMPDEST
00002d22: PUSH2 0x2d2a
00002d25: DUP2
00002d26: PUSH2 0x2d15
00002d29: JUMP
00002d2a: JUMPDEST
00002d2b: DUP3
00002d2c: MSTORE
00002d2d: POP
00002d2e: POP
00002d2f: JUMP
00002d30: JUMPDEST
00002d31: PUSH0
00002d32: PUSH1 0x20
00002d34: DUP3
00002d35: ADD
00002d36: SWAP1
00002d37: POP
00002d38: PUSH2 0x2d43
00002d3b: PUSH0
00002d3c: DUP4
00002d3d: ADD
00002d3e: DUP5
00002d3f: PUSH2 0x2d21
00002d42: JUMP
00002d43: JUMPDEST
00002d44: SWAP3
00002d45: SWAP2
00002d46: POP
00002d47: POP
00002d48: JUMP
00002d49: JUMPDEST
00002d4a: PUSH2 0x2d52
00002d4d: DUP2
00002d4e: PUSH2 0x2ae0
00002d51: JUMP
00002d52: JUMPDEST
00002d53: DUP2
00002d54: EQ
00002d55: PUSH2 0x2d5c
00002d58: JUMPI
00002d59: PUSH0
00002d5a: DUP1
00002d5b: REVERT
00002d5c: JUMPDEST
00002d5d: POP
00002d5e: JUMP
00002d5f: JUMPDEST
00002d60: PUSH0
00002d61: DUP2
00002d62: CALLDATALOAD
00002d63: SWAP1
00002d64: POP
00002d65: PUSH2 0x2d6d
00002d68: DUP2
00002d69: PUSH2 0x2d49
00002d6c: JUMP
00002d6d: JUMPDEST
00002d6e: SWAP3
00002d6f: SWAP2
00002d70: POP
00002d71: POP
00002d72: JUMP
00002d73: JUMPDEST
00002d74: PUSH0
00002d75: DUP1
00002d76: PUSH1 0x40
00002d78: DUP4
00002d79: DUP6
00002d7a: SUB
00002d7b: SLT
00002d7c: ISZERO
00002d7d: PUSH2 0x2d89
00002d80: JUMPI
00002d81: PUSH2 0x2d88
00002d84: PUSH2 0x2a0d
00002d87: JUMP
00002d88: JUMPDEST
00002d89: JUMPDEST
00002d8a: PUSH0
00002d8b: PUSH2 0x2d96
00002d8e: DUP6
00002d8f: DUP3
00002d90: DUP7
00002d91: ADD
00002d92: PUSH2 0x2a5b
00002d95: JUMP
00002d96: JUMPDEST
00002d97: SWAP3
00002d98: POP
00002d99: POP
00002d9a: PUSH1 0x20
00002d9c: PUSH2 0x2da7
00002d9f: DUP6
00002da0: DUP3
00002da1: DUP7
00002da2: ADD
00002da3: PUSH2 0x2d5f
00002da6: JUMP
00002da7: JUMPDEST
00002da8: SWAP2
00002da9: POP
00002daa: POP
00002dab: SWAP3
00002dac: POP
00002dad: SWAP3
00002dae: SWAP1
00002daf: POP
00002db0: JUMP
00002db1: JUMPDEST
00002db2: PUSH2 0x2dba
00002db5: DUP2
00002db6: PUSH2 0x2a34
00002db9: JUMP
00002dba: JUMPDEST
00002dbb: DUP3
00002dbc: MSTORE
00002dbd: POP
00002dbe: POP
00002dbf: JUMP
00002dc0: JUMPDEST
00002dc1: PUSH0
00002dc2: PUSH1 0x20
00002dc4: DUP3
00002dc5: ADD
00002dc6: SWAP1
00002dc7: POP
00002dc8: PUSH2 0x2dd3
00002dcb: PUSH0
00002dcc: DUP4
00002dcd: ADD
00002dce: DUP5
00002dcf: PUSH2 0x2db1
00002dd2: JUMP
00002dd3: JUMPDEST
00002dd4: SWAP3
00002dd5: SWAP2
00002dd6: POP
00002dd7: POP
00002dd8: JUMP
00002dd9: JUMPDEST
00002dda: PUSH0
00002ddb: DUP1
00002ddc: PUSH0
00002ddd: PUSH1 0x40
00002ddf: DUP5
00002de0: DUP7
00002de1: SUB
00002de2: SLT
00002de3: ISZERO
00002de4: PUSH2 0x2df0
00002de7: JUMPI
00002de8: PUSH2 0x2def
00002deb: PUSH2 0x2a0d
00002dee: JUMP
00002def: JUMPDEST
00002df0: JUMPDEST
00002df1: PUSH0
00002df2: DUP5
00002df3: ADD
00002df4: CALLDATALOAD
00002df5: PUSH8 0xffffffffffffffff
00002dfe: DUP2
00002dff: GT
00002e00: ISZERO
00002e01: PUSH2 0x2e0d
00002e04: JUMPI
00002e05: PUSH2 0x2e0c
00002e08: PUSH2 0x2a11
00002e0b: JUMP
00002e0c: JUMPDEST
00002e0d: JUMPDEST
00002e0e: PUSH2 0x2e19
00002e11: DUP7
00002e12: DUP3
00002e13: DUP8
00002e14: ADD
00002e15: PUSH2 0x2b9d
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: SWAP4
00002e1b: POP
00002e1c: SWAP4
00002e1d: POP
00002e1e: POP
00002e1f: PUSH1 0x20
00002e21: PUSH2 0x2e2c
00002e24: DUP7
00002e25: DUP3
00002e26: DUP8
00002e27: ADD
00002e28: PUSH2 0x2a8e
00002e2b: JUMP
00002e2c: JUMPDEST
00002e2d: SWAP2
00002e2e: POP
00002e2f: POP
00002e30: SWAP3
00002e31: POP
00002e32: SWAP3
00002e33: POP
00002e34: SWAP3
00002e35: JUMP
00002e36: JUMPDEST
00002e37: PUSH0
00002e38: DUP1
00002e39: PUSH1 0x40
00002e3b: DUP4
00002e3c: DUP6
00002e3d: SUB
00002e3e: SLT
00002e3f: ISZERO
00002e40: PUSH2 0x2e4c
00002e43: JUMPI
00002e44: PUSH2 0x2e4b
00002e47: PUSH2 0x2a0d
00002e4a: JUMP
00002e4b: JUMPDEST
00002e4c: JUMPDEST
00002e4d: PUSH0
00002e4e: PUSH2 0x2e59
00002e51: DUP6
00002e52: DUP3
00002e53: DUP7
00002e54: ADD
00002e55: PUSH2 0x2a8e
00002e58: JUMP
00002e59: JUMPDEST
00002e5a: SWAP3
00002e5b: POP
00002e5c: POP
00002e5d: PUSH1 0x20
00002e5f: PUSH2 0x2e6a
00002e62: DUP6
00002e63: DUP3
00002e64: DUP7
00002e65: ADD
00002e66: PUSH2 0x2a8e
00002e69: JUMP
00002e6a: JUMPDEST
00002e6b: SWAP2
00002e6c: POP
00002e6d: POP
00002e6e: SWAP3
00002e6f: POP
00002e70: SWAP3
00002e71: SWAP1
00002e72: POP
00002e73: JUMP
00002e74: JUMPDEST
00002e75: PUSH0
00002e76: DUP1
00002e77: PUSH0
00002e78: PUSH1 0x40
00002e7a: DUP5
00002e7b: DUP7
00002e7c: SUB
00002e7d: SLT
00002e7e: ISZERO
00002e7f: PUSH2 0x2e8b
00002e82: JUMPI
00002e83: PUSH2 0x2e8a
00002e86: PUSH2 0x2a0d
00002e89: JUMP
00002e8a: JUMPDEST
00002e8b: JUMPDEST
00002e8c: PUSH0
00002e8d: DUP5
00002e8e: ADD
00002e8f: CALLDATALOAD
00002e90: PUSH8 0xffffffffffffffff
00002e99: DUP2
00002e9a: GT
00002e9b: ISZERO
00002e9c: PUSH2 0x2ea8
00002e9f: JUMPI
00002ea0: PUSH2 0x2ea7
00002ea3: PUSH2 0x2a11
00002ea6: JUMP
00002ea7: JUMPDEST
00002ea8: JUMPDEST
00002ea9: PUSH2 0x2eb4
00002eac: DUP7
00002ead: DUP3
00002eae: DUP8
00002eaf: ADD
00002eb0: PUSH2 0x2b9d
00002eb3: JUMP
00002eb4: JUMPDEST
00002eb5: SWAP4
00002eb6: POP
00002eb7: SWAP4
00002eb8: POP
00002eb9: POP
00002eba: PUSH1 0x20
00002ebc: PUSH2 0x2ec7
00002ebf: DUP7
00002ec0: DUP3
00002ec1: DUP8
00002ec2: ADD
00002ec3: PUSH2 0x2d5f
00002ec6: JUMP
00002ec7: JUMPDEST
00002ec8: SWAP2
00002ec9: POP
00002eca: POP
00002ecb: SWAP3
00002ecc: POP
00002ecd: SWAP3
00002ece: POP
00002ecf: SWAP3
00002ed0: JUMP
00002ed1: JUMPDEST
00002ed2: PUSH0
00002ed3: PUSH1 0x20
00002ed5: DUP3
00002ed6: DUP5
00002ed7: SUB
00002ed8: SLT
00002ed9: ISZERO
00002eda: PUSH2 0x2ee6
00002edd: JUMPI
00002ede: PUSH2 0x2ee5
00002ee1: PUSH2 0x2a0d
00002ee4: JUMP
00002ee5: JUMPDEST
00002ee6: JUMPDEST
00002ee7: PUSH0
00002ee8: PUSH2 0x2ef3
00002eeb: DUP5
00002eec: DUP3
00002eed: DUP6
00002eee: ADD
00002eef: PUSH2 0x2d5f
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: SWAP2
00002ef5: POP
00002ef6: POP
00002ef7: SWAP3
00002ef8: SWAP2
00002ef9: POP
00002efa: POP
00002efb: JUMP
00002efc: JUMPDEST
00002efd: PUSH0
00002efe: DUP1
00002eff: PUSH1 0x40
00002f01: DUP4
00002f02: DUP6
00002f03: SUB
00002f04: SLT
00002f05: ISZERO
00002f06: PUSH2 0x2f12
00002f09: JUMPI
00002f0a: PUSH2 0x2f11
00002f0d: PUSH2 0x2a0d
00002f10: JUMP
00002f11: JUMPDEST
00002f12: JUMPDEST
00002f13: PUSH0
00002f14: PUSH2 0x2f1f
00002f17: DUP6
00002f18: DUP3
00002f19: DUP7
00002f1a: ADD
00002f1b: PUSH2 0x2a5b
00002f1e: JUMP
00002f1f: JUMPDEST
00002f20: SWAP3
00002f21: POP
00002f22: POP
00002f23: PUSH1 0x20
00002f25: PUSH2 0x2f30
00002f28: DUP6
00002f29: DUP3
00002f2a: DUP7
00002f2b: ADD
00002f2c: PUSH2 0x2a5b
00002f2f: JUMP
00002f30: JUMPDEST
00002f31: SWAP2
00002f32: POP
00002f33: POP
00002f34: SWAP3
00002f35: POP
00002f36: SWAP3
00002f37: SWAP1
00002f38: POP
00002f39: JUMP
00002f3a: JUMPDEST
00002f3b: PUSH0
00002f3c: DUP2
00002f3d: SWAP1
00002f3e: POP
00002f3f: SWAP2
00002f40: SWAP1
00002f41: POP
00002f42: JUMP
00002f43: JUMPDEST
00002f44: PUSH0
00002f45: PUSH2 0x2f5d
00002f48: PUSH2 0x2f58
00002f4b: PUSH2 0x2f53
00002f4e: DUP5
00002f4f: PUSH2 0x2a15
00002f52: JUMP
00002f53: JUMPDEST
00002f54: PUSH2 0x2f3a
00002f57: JUMP
00002f58: JUMPDEST
00002f59: PUSH2 0x2a15
00002f5c: JUMP
00002f5d: JUMPDEST
00002f5e: SWAP1
00002f5f: POP
00002f60: SWAP2
00002f61: SWAP1
00002f62: POP
00002f63: JUMP
00002f64: JUMPDEST
00002f65: PUSH0
00002f66: PUSH2 0x2f6e
00002f69: DUP3
00002f6a: PUSH2 0x2f43
00002f6d: JUMP
00002f6e: JUMPDEST
00002f6f: SWAP1
00002f70: POP
00002f71: SWAP2
00002f72: SWAP1
00002f73: POP
00002f74: JUMP
00002f75: JUMPDEST
00002f76: PUSH0
00002f77: PUSH2 0x2f7f
00002f7a: DUP3
00002f7b: PUSH2 0x2f64
00002f7e: JUMP
00002f7f: JUMPDEST
00002f80: SWAP1
00002f81: POP
00002f82: SWAP2
00002f83: SWAP1
00002f84: POP
00002f85: JUMP
00002f86: JUMPDEST
00002f87: PUSH2 0x2f8f
00002f8a: DUP2
00002f8b: PUSH2 0x2f75
00002f8e: JUMP
00002f8f: JUMPDEST
00002f90: DUP3
00002f91: MSTORE
00002f92: POP
00002f93: POP
00002f94: JUMP
00002f95: JUMPDEST
00002f96: PUSH0
00002f97: PUSH1 0x20
00002f99: DUP3
00002f9a: ADD
00002f9b: SWAP1
00002f9c: POP
00002f9d: PUSH2 0x2fa8
00002fa0: PUSH0
00002fa1: DUP4
00002fa2: ADD
00002fa3: DUP5
00002fa4: PUSH2 0x2f86
00002fa7: JUMP
00002fa8: JUMPDEST
00002fa9: SWAP3
00002faa: SWAP2
00002fab: POP
00002fac: POP
00002fad: JUMP
00002fae: JUMPDEST
00002faf: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002fd0: PUSH0
00002fd1: MSTORE
00002fd2: PUSH1 0x22
00002fd4: PUSH1 0x04
00002fd6: MSTORE
00002fd7: PUSH1 0x24
00002fd9: PUSH0
00002fda: REVERT
00002fdb: JUMPDEST
00002fdc: PUSH0
00002fdd: PUSH1 0x02
00002fdf: DUP3
00002fe0: DIV
00002fe1: SWAP1
00002fe2: POP
00002fe3: PUSH1 0x01
00002fe5: DUP3
00002fe6: AND
00002fe7: DUP1
00002fe8: PUSH2 0x2ff2
00002feb: JUMPI
00002fec: PUSH1 0x7f
00002fee: DUP3
00002fef: AND
00002ff0: SWAP2
00002ff1: POP
00002ff2: JUMPDEST
00002ff3: PUSH1 0x20
00002ff5: DUP3
00002ff6: LT
00002ff7: DUP2
00002ff8: SUB
00002ff9: PUSH2 0x3005
00002ffc: JUMPI
00002ffd: PUSH2 0x3004
00003000: PUSH2 0x2fae
00003003: JUMP
00003004: JUMPDEST
00003005: JUMPDEST
00003006: POP
00003007: SWAP2
00003008: SWAP1
00003009: POP
0000300a: JUMP
0000300b: JUMPDEST
0000300c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000302d: PUSH0
0000302e: DUP3
0000302f: ADD
00003030: MSTORE
00003031: POP
00003032: JUMP
00003033: JUMPDEST
00003034: PUSH0
00003035: PUSH2 0x303f
00003038: PUSH1 0x20
0000303a: DUP4
0000303b: PUSH2 0x296d
0000303e: JUMP
0000303f: JUMPDEST
00003040: SWAP2
00003041: POP
00003042: PUSH2 0x304a
00003045: DUP3
00003046: PUSH2 0x300b
00003049: JUMP
0000304a: JUMPDEST
0000304b: PUSH1 0x20
0000304d: DUP3
0000304e: ADD
0000304f: SWAP1
00003050: POP
00003051: SWAP2
00003052: SWAP1
00003053: POP
00003054: JUMP
00003055: JUMPDEST
00003056: PUSH0
00003057: PUSH1 0x20
00003059: DUP3
0000305a: ADD
0000305b: SWAP1
0000305c: POP
0000305d: DUP2
0000305e: DUP2
0000305f: SUB
00003060: PUSH0
00003061: DUP4
00003062: ADD
00003063: MSTORE
00003064: PUSH2 0x306c
00003067: DUP2
00003068: PUSH2 0x3033
0000306b: JUMP
0000306c: JUMPDEST
0000306d: SWAP1
0000306e: POP
0000306f: SWAP2
00003070: SWAP1
00003071: POP
00003072: JUMP
00003073: JUMPDEST
00003074: PUSH32 0x474153204572726f723a206d61782061697264726f70206c696d697420697320
00003095: PUSH0
00003096: DUP3
00003097: ADD
00003098: MSTORE
00003099: PUSH32 0x3530302061646472657373657300000000000000000000000000000000000000
000030ba: PUSH1 0x20
000030bc: DUP3
000030bd: ADD
000030be: MSTORE
000030bf: POP
000030c0: JUMP
000030c1: JUMPDEST
000030c2: PUSH0
000030c3: PUSH2 0x30cd
000030c6: PUSH1 0x2d
000030c8: DUP4
000030c9: PUSH2 0x296d
000030cc: JUMP
000030cd: JUMPDEST
000030ce: SWAP2
000030cf: POP
000030d0: PUSH2 0x30d8
000030d3: DUP3
000030d4: PUSH2 0x3073
000030d7: JUMP
000030d8: JUMPDEST
000030d9: PUSH1 0x40
000030db: DUP3
000030dc: ADD
000030dd: SWAP1
000030de: POP
000030df: SWAP2
000030e0: SWAP1
000030e1: POP
000030e2: JUMP
000030e3: JUMPDEST
000030e4: PUSH0
000030e5: PUSH1 0x20
000030e7: DUP3
000030e8: ADD
000030e9: SWAP1
000030ea: POP
000030eb: DUP2
000030ec: DUP2
000030ed: SUB
000030ee: PUSH0
000030ef: DUP4
000030f0: ADD
000030f1: MSTORE
000030f2: PUSH2 0x30fa
000030f5: DUP2
000030f6: PUSH2 0x30c1
000030f9: JUMP
000030fa: JUMPDEST
000030fb: SWAP1
000030fc: POP
000030fd: SWAP2
000030fe: SWAP1
000030ff: POP
00003100: JUMP
00003101: JUMPDEST
00003102: PUSH32 0x4d69736d61746368206265747765656e204164647265737320616e6420746f6b
00003123: PUSH0
00003124: DUP3
00003125: ADD
00003126: MSTORE
00003127: PUSH32 0x656e20636f756e74000000000000000000000000000000000000000000000000
00003148: PUSH1 0x20
0000314a: DUP3
0000314b: ADD
0000314c: MSTORE
0000314d: POP
0000314e: JUMP
0000314f: JUMPDEST
00003150: PUSH0
00003151: PUSH2 0x315b
00003154: PUSH1 0x28
00003156: DUP4
00003157: PUSH2 0x296d
0000315a: JUMP
0000315b: JUMPDEST
0000315c: SWAP2
0000315d: POP
0000315e: PUSH2 0x3166
00003161: DUP3
00003162: PUSH2 0x3101
00003165: JUMP
00003166: JUMPDEST
00003167: PUSH1 0x40
00003169: DUP3
0000316a: ADD
0000316b: SWAP1
0000316c: POP
0000316d: SWAP2
0000316e: SWAP1
0000316f: POP
00003170: JUMP
00003171: JUMPDEST
00003172: PUSH0
00003173: PUSH1 0x20
00003175: DUP3
00003176: ADD
00003177: SWAP1
00003178: POP
00003179: DUP2
0000317a: DUP2
0000317b: SUB
0000317c: PUSH0
0000317d: DUP4
0000317e: ADD
0000317f: MSTORE
00003180: PUSH2 0x3188
00003183: DUP2
00003184: PUSH2 0x314f
00003187: JUMP
00003188: JUMPDEST
00003189: SWAP1
0000318a: POP
0000318b: SWAP2
0000318c: SWAP1
0000318d: POP
0000318e: JUMP
0000318f: JUMPDEST
00003190: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000031b1: PUSH0
000031b2: MSTORE
000031b3: PUSH1 0x32
000031b5: PUSH1 0x04
000031b7: MSTORE
000031b8: PUSH1 0x24
000031ba: PUSH0
000031bb: REVERT
000031bc: JUMPDEST
000031bd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000031de: PUSH0
000031df: MSTORE
000031e0: PUSH1 0x11
000031e2: PUSH1 0x04
000031e4: MSTORE
000031e5: PUSH1 0x24
000031e7: PUSH0
000031e8: REVERT
000031e9: JUMPDEST
000031ea: PUSH0
000031eb: PUSH2 0x31f3
000031ee: DUP3
000031ef: PUSH2 0x2a6f
000031f2: JUMP
000031f3: JUMPDEST
000031f4: SWAP2
000031f5: POP
000031f6: PUSH2 0x31fe
000031f9: DUP4
000031fa: PUSH2 0x2a6f
000031fd: JUMP
000031fe: JUMPDEST
000031ff: SWAP3
00003200: POP
00003201: DUP3
00003202: DUP3
00003203: ADD
00003204: SWAP1
00003205: POP
00003206: DUP1
00003207: DUP3
00003208: GT
00003209: ISZERO
0000320a: PUSH2 0x3216
0000320d: JUMPI
0000320e: PUSH2 0x3215
00003211: PUSH2 0x31bc
00003214: JUMP
00003215: JUMPDEST
00003216: JUMPDEST
00003217: SWAP3
00003218: SWAP2
00003219: POP
0000321a: POP
0000321b: JUMP
0000321c: JUMPDEST
0000321d: PUSH32 0x4e6f7420656e6f75676820616d6f756e7420696e2077616c6c65740000000000
0000323e: PUSH0
0000323f: DUP3
00003240: ADD
00003241: MSTORE
00003242: POP
00003243: JUMP
00003244: JUMPDEST
00003245: PUSH0
00003246: PUSH2 0x3250
00003249: PUSH1 0x1b
0000324b: DUP4
0000324c: PUSH2 0x296d
0000324f: JUMP
00003250: JUMPDEST
00003251: SWAP2
00003252: POP
00003253: PUSH2 0x325b
00003256: DUP3
00003257: PUSH2 0x321c
0000325a: JUMP
0000325b: JUMPDEST
0000325c: PUSH1 0x20
0000325e: DUP3
0000325f: ADD
00003260: SWAP1
00003261: POP
00003262: SWAP2
00003263: SWAP1
00003264: POP
00003265: JUMP
00003266: JUMPDEST
00003267: PUSH0
00003268: PUSH1 0x20
0000326a: DUP3
0000326b: ADD
0000326c: SWAP1
0000326d: POP
0000326e: DUP2
0000326f: DUP2
00003270: SUB
00003271: PUSH0
00003272: DUP4
00003273: ADD
00003274: MSTORE
00003275: PUSH2 0x327d
00003278: DUP2
00003279: PUSH2 0x3244
0000327c: JUMP
0000327d: JUMPDEST
0000327e: SWAP1
0000327f: POP
00003280: SWAP2
00003281: SWAP1
00003282: POP
00003283: JUMP
00003284: JUMPDEST
00003285: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
000032a6: PUSH0
000032a7: DUP3
000032a8: ADD
000032a9: MSTORE
000032aa: PUSH32 0x6c6c6f77616e6365000000000000000000000000000000000000000000000000
000032cb: PUSH1 0x20
000032cd: DUP3
000032ce: ADD
000032cf: MSTORE
000032d0: POP
000032d1: JUMP
000032d2: JUMPDEST
000032d3: PUSH0
000032d4: PUSH2 0x32de
000032d7: PUSH1 0x28
000032d9: DUP4
000032da: PUSH2 0x296d
000032dd: JUMP
000032de: JUMPDEST
000032df: SWAP2
000032e0: POP
000032e1: PUSH2 0x32e9
000032e4: DUP3
000032e5: PUSH2 0x3284
000032e8: JUMP
000032e9: JUMPDEST
000032ea: PUSH1 0x40
000032ec: DUP3
000032ed: ADD
000032ee: SWAP1
000032ef: POP
000032f0: SWAP2
000032f1: SWAP1
000032f2: POP
000032f3: JUMP
000032f4: JUMPDEST
000032f5: PUSH0
000032f6: PUSH1 0x20
000032f8: DUP3
000032f9: ADD
000032fa: SWAP1
000032fb: POP
000032fc: DUP2
000032fd: DUP2
000032fe: SUB
000032ff: PUSH0
00003300: DUP4
00003301: ADD
00003302: MSTORE
00003303: PUSH2 0x330b
00003306: DUP2
00003307: PUSH2 0x32d2
0000330a: JUMP
0000330b: JUMPDEST
0000330c: SWAP1
0000330d: POP
0000330e: SWAP2
0000330f: SWAP1
00003310: POP
00003311: JUMP
00003312: JUMPDEST
00003313: PUSH32 0x474153204572726f723a206d61782061697264726f70206c696d697420697320
00003334: PUSH0
00003335: DUP3
00003336: ADD
00003337: MSTORE
00003338: PUSH32 0x3230303020616464726573736573000000000000000000000000000000000000
00003359: PUSH1 0x20
0000335b: DUP3
0000335c: ADD
0000335d: MSTORE
0000335e: POP
0000335f: JUMP
00003360: JUMPDEST
00003361: PUSH0
00003362: PUSH2 0x336c
00003365: PUSH1 0x2e
00003367: DUP4
00003368: PUSH2 0x296d
0000336b: JUMP
0000336c: JUMPDEST
0000336d: SWAP2
0000336e: POP
0000336f: PUSH2 0x3377
00003372: DUP3
00003373: PUSH2 0x3312
00003376: JUMP
00003377: JUMPDEST
00003378: PUSH1 0x40
0000337a: DUP3
0000337b: ADD
0000337c: SWAP1
0000337d: POP
0000337e: SWAP2
0000337f: SWAP1
00003380: POP
00003381: JUMP
00003382: JUMPDEST
00003383: PUSH0
00003384: PUSH1 0x20
00003386: DUP3
00003387: ADD
00003388: SWAP1
00003389: POP
0000338a: DUP2
0000338b: DUP2
0000338c: SUB
0000338d: PUSH0
0000338e: DUP4
0000338f: ADD
00003390: MSTORE
00003391: PUSH2 0x3399
00003394: DUP2
00003395: PUSH2 0x3360
00003398: JUMP
00003399: JUMPDEST
0000339a: SWAP1
0000339b: POP
0000339c: SWAP2
0000339d: SWAP1
0000339e: POP
0000339f: JUMP
000033a0: JUMPDEST
000033a1: PUSH0
000033a2: PUSH2 0x33aa
000033a5: DUP3
000033a6: PUSH2 0x2a6f
000033a9: JUMP
000033aa: JUMPDEST
000033ab: SWAP2
000033ac: POP
000033ad: PUSH2 0x33b5
000033b0: DUP4
000033b1: PUSH2 0x2a6f
000033b4: JUMP
000033b5: JUMPDEST
000033b6: SWAP3
000033b7: POP
000033b8: DUP3
000033b9: DUP3
000033ba: MUL
000033bb: PUSH2 0x33c3
000033be: DUP2
000033bf: PUSH2 0x2a6f
000033c2: JUMP
000033c3: JUMPDEST
000033c4: SWAP2
000033c5: POP
000033c6: DUP3
000033c7: DUP3
000033c8: DIV
000033c9: DUP5
000033ca: EQ
000033cb: DUP4
000033cc: ISZERO
000033cd: OR
000033ce: PUSH2 0x33da
000033d1: JUMPI
000033d2: PUSH2 0x33d9
000033d5: PUSH2 0x31bc
000033d8: JUMP
000033d9: JUMPDEST
000033da: JUMPDEST
000033db: POP
000033dc: SWAP3
000033dd: SWAP2
000033de: POP
000033df: POP
000033e0: JUMP
000033e1: JUMPDEST
000033e2: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00003403: PUSH0
00003404: DUP3
00003405: ADD
00003406: MSTORE
00003407: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
00003428: PUSH1 0x20
0000342a: DUP3
0000342b: ADD
0000342c: MSTORE
0000342d: POP
0000342e: JUMP
0000342f: JUMPDEST
00003430: PUSH0
00003431: PUSH2 0x343b
00003434: PUSH1 0x25
00003436: DUP4
00003437: PUSH2 0x296d
0000343a: JUMP
0000343b: JUMPDEST
0000343c: SWAP2
0000343d: POP
0000343e: PUSH2 0x3446
00003441: DUP3
00003442: PUSH2 0x33e1
00003445: JUMP
00003446: JUMPDEST
00003447: PUSH1 0x40
00003449: DUP3
0000344a: ADD
0000344b: SWAP1
0000344c: POP
0000344d: SWAP2
0000344e: SWAP1
0000344f: POP
00003450: JUMP
00003451: JUMPDEST
00003452: PUSH0
00003453: PUSH1 0x20
00003455: DUP3
00003456: ADD
00003457: SWAP1
00003458: POP
00003459: DUP2
0000345a: DUP2
0000345b: SUB
0000345c: PUSH0
0000345d: DUP4
0000345e: ADD
0000345f: MSTORE
00003460: PUSH2 0x3468
00003463: DUP2
00003464: PUSH2 0x342f
00003467: JUMP
00003468: JUMPDEST
00003469: SWAP1
0000346a: POP
0000346b: SWAP2
0000346c: SWAP1
0000346d: POP
0000346e: JUMP
0000346f: JUMPDEST
00003470: PUSH0
00003471: DUP2
00003472: MLOAD
00003473: SWAP1
00003474: POP
00003475: PUSH2 0x347d
00003478: DUP2
00003479: PUSH2 0x2a78
0000347c: JUMP
0000347d: JUMPDEST
0000347e: SWAP3
0000347f: SWAP2
00003480: POP
00003481: POP
00003482: JUMP
00003483: JUMPDEST
00003484: PUSH0
00003485: PUSH1 0x20
00003487: DUP3
00003488: DUP5
00003489: SUB
0000348a: SLT
0000348b: ISZERO
0000348c: PUSH2 0x3498
0000348f: JUMPI
00003490: PUSH2 0x3497
00003493: PUSH2 0x2a0d
00003496: JUMP
00003497: JUMPDEST
00003498: JUMPDEST
00003499: PUSH0
0000349a: PUSH2 0x34a5
0000349d: DUP5
0000349e: DUP3
0000349f: DUP6
000034a0: ADD
000034a1: PUSH2 0x346f
000034a4: JUMP
000034a5: JUMPDEST
000034a6: SWAP2
000034a7: POP
000034a8: POP
000034a9: SWAP3
000034aa: SWAP2
000034ab: POP
000034ac: POP
000034ad: JUMP
000034ae: JUMPDEST
000034af: PUSH0
000034b0: PUSH1 0x40
000034b2: DUP3
000034b3: ADD
000034b4: SWAP1
000034b5: POP
000034b6: PUSH2 0x34c1
000034b9: PUSH0
000034ba: DUP4
000034bb: ADD
000034bc: DUP6
000034bd: PUSH2 0x2db1
000034c0: JUMP
000034c1: JUMPDEST
000034c2: PUSH2 0x34ce
000034c5: PUSH1 0x20
000034c7: DUP4
000034c8: ADD
000034c9: DUP5
000034ca: PUSH2 0x2b3e
000034cd: JUMP
000034ce: JUMPDEST
000034cf: SWAP4
000034d0: SWAP3
000034d1: POP
000034d2: POP
000034d3: POP
000034d4: JUMP
000034d5: JUMPDEST
000034d6: PUSH0
000034d7: DUP2
000034d8: MLOAD
000034d9: SWAP1
000034da: POP
000034db: PUSH2 0x34e3
000034de: DUP2
000034df: PUSH2 0x2d49
000034e2: JUMP
000034e3: JUMPDEST
000034e4: SWAP3
000034e5: SWAP2
000034e6: POP
000034e7: POP
000034e8: JUMP
000034e9: JUMPDEST
000034ea: PUSH0
000034eb: PUSH1 0x20
000034ed: DUP3
000034ee: DUP5
000034ef: SUB
000034f0: SLT
000034f1: ISZERO
000034f2: PUSH2 0x34fe
000034f5: JUMPI
000034f6: PUSH2 0x34fd
000034f9: PUSH2 0x2a0d
000034fc: JUMP
000034fd: JUMPDEST
000034fe: JUMPDEST
000034ff: PUSH0
00003500: PUSH2 0x350b
00003503: DUP5
00003504: DUP3
00003505: DUP6
00003506: ADD
00003507: PUSH2 0x34d5
0000350a: JUMP
0000350b: JUMPDEST
0000350c: SWAP2
0000350d: POP
0000350e: POP
0000350f: SWAP3
00003510: SWAP2
00003511: POP
00003512: POP
00003513: JUMP
00003514: JUMPDEST
00003515: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00003536: PUSH0
00003537: DUP3
00003538: ADD
00003539: MSTORE
0000353a: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000355b: PUSH1 0x20
0000355d: DUP3
0000355e: ADD
0000355f: MSTORE
00003560: POP
00003561: JUMP
00003562: JUMPDEST
00003563: PUSH0
00003564: PUSH2 0x356e
00003567: PUSH1 0x26
00003569: DUP4
0000356a: PUSH2 0x296d
0000356d: JUMP
0000356e: JUMPDEST
0000356f: SWAP2
00003570: POP
00003571: PUSH2 0x3579
00003574: DUP3
00003575: PUSH2 0x3514
00003578: JUMP
00003579: JUMPDEST
0000357a: PUSH1 0x40
0000357c: DUP3
0000357d: ADD
0000357e: SWAP1
0000357f: POP
00003580: SWAP2
00003581: SWAP1
00003582: POP
00003583: JUMP
00003584: JUMPDEST
00003585: PUSH0
00003586: PUSH1 0x20
00003588: DUP3
00003589: ADD
0000358a: SWAP1
0000358b: POP
0000358c: DUP2
0000358d: DUP2
0000358e: SUB
0000358f: PUSH0
00003590: DUP4
00003591: ADD
00003592: MSTORE
00003593: PUSH2 0x359b
00003596: DUP2
00003597: PUSH2 0x3562
0000359a: JUMP
0000359b: JUMPDEST
0000359c: SWAP1
0000359d: POP
0000359e: SWAP2
0000359f: SWAP1
000035a0: POP
000035a1: JUMP
000035a2: JUMPDEST
000035a3: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000035c4: PUSH0
000035c5: DUP3
000035c6: ADD
000035c7: MSTORE
000035c8: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
000035e9: PUSH1 0x20
000035eb: DUP3
000035ec: ADD
000035ed: MSTORE
000035ee: POP
000035ef: JUMP
000035f0: JUMPDEST
000035f1: PUSH0
000035f2: PUSH2 0x35fc
000035f5: PUSH1 0x24
000035f7: DUP4
000035f8: PUSH2 0x296d
000035fb: JUMP
000035fc: JUMPDEST
000035fd: SWAP2
000035fe: POP
000035ff: PUSH2 0x3607
00003602: DUP3
00003603: PUSH2 0x35a2
00003606: JUMP
00003607: JUMPDEST
00003608: PUSH1 0x40
0000360a: DUP3
0000360b: ADD
0000360c: SWAP1
0000360d: POP
0000360e: SWAP2
0000360f: SWAP1
00003610: POP
00003611: JUMP
00003612: JUMPDEST
00003613: PUSH0
00003614: PUSH1 0x20
00003616: DUP3
00003617: ADD
00003618: SWAP1
00003619: POP
0000361a: DUP2
0000361b: DUP2
0000361c: SUB
0000361d: PUSH0
0000361e: DUP4
0000361f: ADD
00003620: MSTORE
00003621: PUSH2 0x3629
00003624: DUP2
00003625: PUSH2 0x35f0
00003628: JUMP
00003629: JUMPDEST
0000362a: SWAP1
0000362b: POP
0000362c: SWAP2
0000362d: SWAP1
0000362e: POP
0000362f: JUMP
00003630: JUMPDEST
00003631: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00003652: PUSH0
00003653: DUP3
00003654: ADD
00003655: MSTORE
00003656: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00003677: PUSH1 0x20
00003679: DUP3
0000367a: ADD
0000367b: MSTORE
0000367c: POP
0000367d: JUMP
0000367e: JUMPDEST
0000367f: PUSH0
00003680: PUSH2 0x368a
00003683: PUSH1 0x22
00003685: DUP4
00003686: PUSH2 0x296d
00003689: JUMP
0000368a: JUMPDEST
0000368b: SWAP2
0000368c: POP
0000368d: PUSH2 0x3695
00003690: DUP3
00003691: PUSH2 0x3630
00003694: JUMP
00003695: JUMPDEST
00003696: PUSH1 0x40
00003698: DUP3
00003699: ADD
0000369a: SWAP1
0000369b: POP
0000369c: SWAP2
0000369d: SWAP1
0000369e: POP
0000369f: JUMP
000036a0: JUMPDEST
000036a1: PUSH0
000036a2: PUSH1 0x20
000036a4: DUP3
000036a5: ADD
000036a6: SWAP1
000036a7: POP
000036a8: DUP2
000036a9: DUP2
000036aa: SUB
000036ab: PUSH0
000036ac: DUP4
000036ad: ADD
000036ae: MSTORE
000036af: PUSH2 0x36b7
000036b2: DUP2
000036b3: PUSH2 0x367e
000036b6: JUMP
000036b7: JUMPDEST
000036b8: SWAP1
000036b9: POP
000036ba: SWAP2
000036bb: SWAP1
000036bc: POP
000036bd: JUMP
000036be: JUMPDEST
000036bf: PUSH32 0x426c61636b6c6973746564000000000000000000000000000000000000000000
000036e0: PUSH0
000036e1: DUP3
000036e2: ADD
000036e3: MSTORE
000036e4: POP
000036e5: JUMP
000036e6: JUMPDEST
000036e7: PUSH0
000036e8: PUSH2 0x36f2
000036eb: PUSH1 0x0b
000036ed: DUP4
000036ee: PUSH2 0x296d
000036f1: JUMP
000036f2: JUMPDEST
000036f3: SWAP2
000036f4: POP
000036f5: PUSH2 0x36fd
000036f8: DUP3
000036f9: PUSH2 0x36be
000036fc: JUMP
000036fd: JUMPDEST
000036fe: PUSH1 0x20
00003700: DUP3
00003701: ADD
00003702: SWAP1
00003703: POP
00003704: SWAP2
00003705: SWAP1
00003706: POP
00003707: JUMP
00003708: JUMPDEST
00003709: PUSH0
0000370a: PUSH1 0x20
0000370c: DUP3
0000370d: ADD
0000370e: SWAP1
0000370f: POP
00003710: DUP2
00003711: DUP2
00003712: SUB
00003713: PUSH0
00003714: DUP4
00003715: ADD
00003716: MSTORE
00003717: PUSH2 0x371f
0000371a: DUP2
0000371b: PUSH2 0x36e6
0000371e: JUMP
0000371f: JUMPDEST
00003720: SWAP1
00003721: POP
00003722: SWAP2
00003723: SWAP1
00003724: POP
00003725: JUMP
00003726: JUMPDEST
00003727: PUSH32 0x77686974656c6973740000000000000000000000000000000000000000000000
00003748: PUSH0
00003749: DUP3
0000374a: ADD
0000374b: MSTORE
0000374c: POP
0000374d: JUMP
0000374e: JUMPDEST
0000374f: PUSH0
00003750: PUSH2 0x375a
00003753: PUSH1 0x09
00003755: DUP4
00003756: PUSH2 0x296d
00003759: JUMP
0000375a: JUMPDEST
0000375b: SWAP2
0000375c: POP
0000375d: PUSH2 0x3765
00003760: DUP3
00003761: PUSH2 0x3726
00003764: JUMP
00003765: JUMPDEST
00003766: PUSH1 0x20
00003768: DUP3
00003769: ADD
0000376a: SWAP1
0000376b: POP
0000376c: SWAP2
0000376d: SWAP1
0000376e: POP
0000376f: JUMP
00003770: JUMPDEST
00003771: PUSH0
00003772: PUSH1 0x20
00003774: DUP3
00003775: ADD
00003776: SWAP1
00003777: POP
00003778: DUP2
00003779: DUP2
0000377a: SUB
0000377b: PUSH0
0000377c: DUP4
0000377d: ADD
0000377e: MSTORE
0000377f: PUSH2 0x3787
00003782: DUP2
00003783: PUSH2 0x374e
00003786: JUMP
00003787: JUMPDEST
00003788: SWAP1
00003789: POP
0000378a: SWAP2
0000378b: SWAP1
0000378c: POP
0000378d: JUMP
0000378e: JUMPDEST
0000378f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000037b0: PUSH0
000037b1: MSTORE
000037b2: PUSH1 0x12
000037b4: PUSH1 0x04
000037b6: MSTORE
000037b7: PUSH1 0x24
000037b9: PUSH0
000037ba: REVERT
000037bb: JUMPDEST
000037bc: PUSH0
000037bd: PUSH2 0x37c5
000037c0: DUP3
000037c1: PUSH2 0x2a6f
000037c4: JUMP
000037c5: JUMPDEST
000037c6: SWAP2
000037c7: POP
000037c8: PUSH2 0x37d0
000037cb: DUP4
000037cc: PUSH2 0x2a6f
000037cf: JUMP
000037d0: JUMPDEST
000037d1: SWAP3
000037d2: POP
000037d3: DUP3
000037d4: PUSH2 0x37e0
000037d7: JUMPI
000037d8: PUSH2 0x37df
000037db: PUSH2 0x378e
000037de: JUMP
000037df: JUMPDEST
000037e0: JUMPDEST
000037e1: DUP3
000037e2: DUP3
000037e3: DIV
000037e4: SWAP1
000037e5: POP
000037e6: SWAP3
000037e7: SWAP2
000037e8: POP
000037e9: POP
000037ea: JUMP
000037eb: JUMPDEST
000037ec: PUSH0
000037ed: PUSH2 0x37f5
000037f0: DUP3
000037f1: PUSH2 0x2a6f
000037f4: JUMP
000037f5: JUMPDEST
000037f6: SWAP2
000037f7: POP
000037f8: PUSH2 0x3800
000037fb: DUP4
000037fc: PUSH2 0x2a6f
000037ff: JUMP
00003800: JUMPDEST
00003801: SWAP3
00003802: POP
00003803: DUP3
00003804: DUP3
00003805: SUB
00003806: SWAP1
00003807: POP
00003808: DUP2
00003809: DUP2
0000380a: GT
0000380b: ISZERO
0000380c: PUSH2 0x3818
0000380f: JUMPI
00003810: PUSH2 0x3817
00003813: PUSH2 0x31bc
00003816: JUMP
00003817: JUMPDEST
00003818: JUMPDEST
00003819: SWAP3
0000381a: SWAP2
0000381b: POP
0000381c: POP
0000381d: JUMP
0000381e: JUMPDEST
0000381f: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00003840: PUSH0
00003841: DUP3
00003842: ADD
00003843: MSTORE
00003844: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00003865: PUSH1 0x20
00003867: DUP3
00003868: ADD
00003869: MSTORE
0000386a: POP
0000386b: JUMP
0000386c: JUMPDEST
0000386d: PUSH0
0000386e: PUSH2 0x3878
00003871: PUSH1 0x25
00003873: DUP4
00003874: PUSH2 0x296d
00003877: JUMP
00003878: JUMPDEST
00003879: SWAP2
0000387a: POP
0000387b: PUSH2 0x3883
0000387e: DUP3
0000387f: PUSH2 0x381e
00003882: JUMP
00003883: JUMPDEST
00003884: PUSH1 0x40
00003886: DUP3
00003887: ADD
00003888: SWAP1
00003889: POP
0000388a: SWAP2
0000388b: SWAP1
0000388c: POP
0000388d: JUMP
0000388e: JUMPDEST
0000388f: PUSH0
00003890: PUSH1 0x20
00003892: DUP3
00003893: ADD
00003894: SWAP1
00003895: POP
00003896: DUP2
00003897: DUP2
00003898: SUB
00003899: PUSH0
0000389a: DUP4
0000389b: ADD
0000389c: MSTORE
0000389d: PUSH2 0x38a5
000038a0: DUP2
000038a1: PUSH2 0x386c
000038a4: JUMP
000038a5: JUMPDEST
000038a6: SWAP1
000038a7: POP
000038a8: SWAP2
000038a9: SWAP1
000038aa: POP
000038ab: JUMP
000038ac: JUMPDEST
000038ad: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000038ce: PUSH0
000038cf: DUP3
000038d0: ADD
000038d1: MSTORE
000038d2: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
000038f3: PUSH1 0x20
000038f5: DUP3
000038f6: ADD
000038f7: MSTORE
000038f8: POP
000038f9: JUMP
000038fa: JUMPDEST
000038fb: PUSH0
000038fc: PUSH2 0x3906
000038ff: PUSH1 0x23
00003901: DUP4
00003902: PUSH2 0x296d
00003905: JUMP
00003906: JUMPDEST
00003907: SWAP2
00003908: POP
00003909: PUSH2 0x3911
0000390c: DUP3
0000390d: PUSH2 0x38ac
00003910: JUMP
00003911: JUMPDEST
00003912: PUSH1 0x40
00003914: DUP3
00003915: ADD
00003916: SWAP1
00003917: POP
00003918: SWAP2
00003919: SWAP1
0000391a: POP
0000391b: JUMP
0000391c: JUMPDEST
0000391d: PUSH0
0000391e: PUSH1 0x20
00003920: DUP3
00003921: ADD
00003922: SWAP1
00003923: POP
00003924: DUP2
00003925: DUP2
00003926: SUB
00003927: PUSH0
00003928: DUP4
00003929: ADD
0000392a: MSTORE
0000392b: PUSH2 0x3933
0000392e: DUP2
0000392f: PUSH2 0x38fa
00003932: JUMP
00003933: JUMPDEST
00003934: SWAP1
00003935: POP
00003936: SWAP2
00003937: SWAP1
00003938: POP
00003939: JUMP
0000393a: JUMPDEST
0000393b: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
0000395c: PUSH0
0000395d: DUP3
0000395e: ADD
0000395f: MSTORE
00003960: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00003981: PUSH1 0x20
00003983: DUP3
00003984: ADD
00003985: MSTORE
00003986: POP
00003987: JUMP
00003988: JUMPDEST
00003989: PUSH0
0000398a: PUSH2 0x3994
0000398d: PUSH1 0x26
0000398f: DUP4
00003990: PUSH2 0x296d
00003993: JUMP
00003994: JUMPDEST
00003995: SWAP2
00003996: POP
00003997: PUSH2 0x399f
0000399a: DUP3
0000399b: PUSH2 0x393a
0000399e: JUMP
0000399f: JUMPDEST
000039a0: PUSH1 0x40
000039a2: DUP3
000039a3: ADD
000039a4: SWAP1
000039a5: POP
000039a6: SWAP2
000039a7: SWAP1
000039a8: POP
000039a9: JUMP
000039aa: JUMPDEST
000039ab: PUSH0
000039ac: PUSH1 0x20
000039ae: DUP3
000039af: ADD
000039b0: SWAP1
000039b1: POP
000039b2: DUP2
000039b3: DUP2
000039b4: SUB
000039b5: PUSH0
000039b6: DUP4
000039b7: ADD
000039b8: MSTORE
000039b9: PUSH2 0x39c1
000039bc: DUP2
000039bd: PUSH2 0x3988
000039c0: JUMP
000039c1: JUMPDEST
000039c2: SWAP1
000039c3: POP
000039c4: SWAP2
000039c5: SWAP1
000039c6: POP
000039c7: JUMP
000039c8: JUMPDEST
000039c9: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
000039ea: PUSH0
000039eb: DUP3
000039ec: ADD
000039ed: MSTORE
000039ee: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00003a0f: PUSH1 0x20
00003a11: DUP3
00003a12: ADD
00003a13: MSTORE
00003a14: POP
00003a15: JUMP
00003a16: JUMPDEST
00003a17: PUSH0
00003a18: PUSH2 0x3a22
00003a1b: PUSH1 0x21
00003a1d: DUP4
00003a1e: PUSH2 0x296d
00003a21: JUMP
00003a22: JUMPDEST
00003a23: SWAP2
00003a24: POP
00003a25: PUSH2 0x3a2d
00003a28: DUP3
00003a29: PUSH2 0x39c8
00003a2c: JUMP
00003a2d: JUMPDEST
00003a2e: PUSH1 0x40
00003a30: DUP3
00003a31: ADD
00003a32: SWAP1
00003a33: POP
00003a34: SWAP2
00003a35: SWAP1
00003a36: POP
00003a37: JUMP
00003a38: JUMPDEST
00003a39: PUSH0
00003a3a: PUSH1 0x20
00003a3c: DUP3
00003a3d: ADD
00003a3e: SWAP1
00003a3f: POP
00003a40: DUP2
00003a41: DUP2
00003a42: SUB
00003a43: PUSH0
00003a44: DUP4
00003a45: ADD
00003a46: MSTORE
00003a47: PUSH2 0x3a4f
00003a4a: DUP2
00003a4b: PUSH2 0x3a16
00003a4e: JUMP
00003a4f: JUMPDEST
00003a50: SWAP1
00003a51: POP
00003a52: SWAP2
00003a53: SWAP1
00003a54: POP
00003a55: JUMP
00003a56: JUMPDEST
00003a57: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
00003a78: PUSH0
00003a79: DUP3
00003a7a: ADD
00003a7b: MSTORE
00003a7c: PUSH32 0x6365000000000000000000000000000000000000000000000000000000000000
00003a9d: PUSH1 0x20
00003a9f: DUP3
00003aa0: ADD
00003aa1: MSTORE
00003aa2: POP
00003aa3: JUMP
00003aa4: JUMPDEST
00003aa5: PUSH0
00003aa6: PUSH2 0x3ab0
00003aa9: PUSH1 0x22
00003aab: DUP4
00003aac: PUSH2 0x296d
00003aaf: JUMP
00003ab0: JUMPDEST
00003ab1: SWAP2
00003ab2: POP
00003ab3: PUSH2 0x3abb
00003ab6: DUP3
00003ab7: PUSH2 0x3a56
00003aba: JUMP
00003abb: JUMPDEST
00003abc: PUSH1 0x40
00003abe: DUP3
00003abf: ADD
00003ac0: SWAP1
00003ac1: POP
00003ac2: SWAP2
00003ac3: SWAP1
00003ac4: POP
00003ac5: JUMP
00003ac6: JUMPDEST
00003ac7: PUSH0
00003ac8: PUSH1 0x20
00003aca: DUP3
00003acb: ADD
00003acc: SWAP1
00003acd: POP
00003ace: DUP2
00003acf: DUP2
00003ad0: SUB
00003ad1: PUSH0
00003ad2: DUP4
00003ad3: ADD
00003ad4: MSTORE
00003ad5: PUSH2 0x3add
00003ad8: DUP2
00003ad9: PUSH2 0x3aa4
00003adc: JUMP
00003add: JUMPDEST
00003ade: SWAP1
00003adf: POP
00003ae0: SWAP2
00003ae1: SWAP1
00003ae2: POP
00003ae3: JUMP
00003ae4: JUMPDEST
00003ae5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003b06: PUSH0
00003b07: MSTORE
00003b08: PUSH1 0x41
00003b0a: PUSH1 0x04
00003b0c: MSTORE
00003b0d: PUSH1 0x24
00003b0f: PUSH0
00003b10: REVERT
00003b11: JUMPDEST
00003b12: PUSH0
00003b13: DUP2
00003b14: MLOAD
00003b15: SWAP1
00003b16: POP
00003b17: PUSH2 0x3b1f
00003b1a: DUP2
00003b1b: PUSH2 0x2a45
00003b1e: JUMP
00003b1f: JUMPDEST
00003b20: SWAP3
00003b21: SWAP2
00003b22: POP
00003b23: POP
00003b24: JUMP
00003b25: JUMPDEST
00003b26: PUSH0
00003b27: PUSH1 0x20
00003b29: DUP3
00003b2a: DUP5
00003b2b: SUB
00003b2c: SLT
00003b2d: ISZERO
00003b2e: PUSH2 0x3b3a
00003b31: JUMPI
00003b32: PUSH2 0x3b39
00003b35: PUSH2 0x2a0d
00003b38: JUMP
00003b39: JUMPDEST
00003b3a: JUMPDEST
00003b3b: PUSH0
00003b3c: PUSH2 0x3b47
00003b3f: DUP5
00003b40: DUP3
00003b41: DUP6
00003b42: ADD
00003b43: PUSH2 0x3b11
00003b46: JUMP
00003b47: JUMPDEST
00003b48: SWAP2
00003b49: POP
00003b4a: POP
00003b4b: SWAP3
00003b4c: SWAP2
00003b4d: POP
00003b4e: POP
00003b4f: JUMP
00003b50: JUMPDEST
00003b51: PUSH0
00003b52: DUP2
00003b53: SWAP1
00003b54: POP
00003b55: SWAP2
00003b56: SWAP1
00003b57: POP
00003b58: JUMP
00003b59: JUMPDEST
00003b5a: PUSH0
00003b5b: PUSH2 0x3b73
00003b5e: PUSH2 0x3b6e
00003b61: PUSH2 0x3b69
00003b64: DUP5
00003b65: PUSH2 0x3b50
00003b68: JUMP
00003b69: JUMPDEST
00003b6a: PUSH2 0x2f3a
00003b6d: JUMP
00003b6e: JUMPDEST
00003b6f: PUSH2 0x2a6f
00003b72: JUMP
00003b73: JUMPDEST
00003b74: SWAP1
00003b75: POP
00003b76: SWAP2
00003b77: SWAP1
00003b78: POP
00003b79: JUMP
00003b7a: JUMPDEST
00003b7b: PUSH2 0x3b83
00003b7e: DUP2
00003b7f: PUSH2 0x3b59
00003b82: JUMP
00003b83: JUMPDEST
00003b84: DUP3
00003b85: MSTORE
00003b86: POP
00003b87: POP
00003b88: JUMP
00003b89: JUMPDEST
00003b8a: PUSH0
00003b8b: DUP2
00003b8c: MLOAD
00003b8d: SWAP1
00003b8e: POP
00003b8f: SWAP2
00003b90: SWAP1
00003b91: POP
00003b92: JUMP
00003b93: JUMPDEST
00003b94: PUSH0
00003b95: DUP3
00003b96: DUP3
00003b97: MSTORE
00003b98: PUSH1 0x20
00003b9a: DUP3
00003b9b: ADD
00003b9c: SWAP1
00003b9d: POP
00003b9e: SWAP3
00003b9f: SWAP2
00003ba0: POP
00003ba1: POP
00003ba2: JUMP
00003ba3: JUMPDEST
00003ba4: PUSH0
00003ba5: DUP2
00003ba6: SWAP1
00003ba7: POP
00003ba8: PUSH1 0x20
00003baa: DUP3
00003bab: ADD
00003bac: SWAP1
00003bad: POP
00003bae: SWAP2
00003baf: SWAP1
00003bb0: POP
00003bb1: JUMP
00003bb2: JUMPDEST
00003bb3: PUSH2 0x3bbb
00003bb6: DUP2
00003bb7: PUSH2 0x2a34
00003bba: JUMP
00003bbb: JUMPDEST
00003bbc: DUP3
00003bbd: MSTORE
00003bbe: POP
00003bbf: POP
00003bc0: JUMP
00003bc1: JUMPDEST
00003bc2: PUSH0
00003bc3: PUSH2 0x3bcc
00003bc6: DUP4
00003bc7: DUP4
00003bc8: PUSH2 0x3bb2
00003bcb: JUMP
00003bcc: JUMPDEST
00003bcd: PUSH1 0x20
00003bcf: DUP4
00003bd0: ADD
00003bd1: SWAP1
00003bd2: POP
00003bd3: SWAP3
00003bd4: SWAP2
00003bd5: POP
00003bd6: POP
00003bd7: JUMP
00003bd8: JUMPDEST
00003bd9: PUSH0
00003bda: PUSH1 0x20
00003bdc: DUP3
00003bdd: ADD
00003bde: SWAP1
00003bdf: POP
00003be0: SWAP2
00003be1: SWAP1
00003be2: POP
00003be3: JUMP
00003be4: JUMPDEST
00003be5: PUSH0
00003be6: PUSH2 0x3bee
00003be9: DUP3
00003bea: PUSH2 0x3b89
00003bed: JUMP
00003bee: JUMPDEST
00003bef: PUSH2 0x3bf8
00003bf2: DUP2
00003bf3: DUP6
00003bf4: PUSH2 0x3b93
00003bf7: JUMP
00003bf8: JUMPDEST
00003bf9: SWAP4
00003bfa: POP
00003bfb: PUSH2 0x3c03
00003bfe: DUP4
00003bff: PUSH2 0x3ba3
00003c02: JUMP
00003c03: JUMPDEST
00003c04: DUP1
00003c05: PUSH0
00003c06: JUMPDEST
00003c07: DUP4
00003c08: DUP2
00003c09: LT
00003c0a: ISZERO
00003c0b: PUSH2 0x3c33
00003c0e: JUMPI
00003c0f: DUP2
00003c10: MLOAD
00003c11: PUSH2 0x3c1a
00003c14: DUP9
00003c15: DUP3
00003c16: PUSH2 0x3bc1
00003c19: JUMP
00003c1a: JUMPDEST
00003c1b: SWAP8
00003c1c: POP
00003c1d: PUSH2 0x3c25
00003c20: DUP4
00003c21: PUSH2 0x3bd8
00003c24: JUMP
00003c25: JUMPDEST
00003c26: SWAP3
00003c27: POP
00003c28: POP
00003c29: PUSH1 0x01
00003c2b: DUP2
00003c2c: ADD
00003c2d: SWAP1
00003c2e: POP
00003c2f: PUSH2 0x3c06
00003c32: JUMP
00003c33: JUMPDEST
00003c34: POP
00003c35: DUP6
00003c36: SWAP4
00003c37: POP
00003c38: POP
00003c39: POP
00003c3a: POP
00003c3b: SWAP3
00003c3c: SWAP2
00003c3d: POP
00003c3e: POP
00003c3f: JUMP
00003c40: JUMPDEST
00003c41: PUSH0
00003c42: PUSH1 0xa0
00003c44: DUP3
00003c45: ADD
00003c46: SWAP1
00003c47: POP
00003c48: PUSH2 0x3c53
00003c4b: PUSH0
00003c4c: DUP4
00003c4d: ADD
00003c4e: DUP9
00003c4f: PUSH2 0x2b3e
00003c52: JUMP
00003c53: JUMPDEST
00003c54: PUSH2 0x3c60
00003c57: PUSH1 0x20
00003c59: DUP4
00003c5a: ADD
00003c5b: DUP8
00003c5c: PUSH2 0x3b7a
00003c5f: JUMP
00003c60: JUMPDEST
00003c61: DUP2
00003c62: DUP2
00003c63: SUB
00003c64: PUSH1 0x40
00003c66: DUP4
00003c67: ADD
00003c68: MSTORE
00003c69: PUSH2 0x3c72
00003c6c: DUP2
00003c6d: DUP7
00003c6e: PUSH2 0x3be4
00003c71: JUMP
00003c72: JUMPDEST
00003c73: SWAP1
00003c74: POP
00003c75: PUSH2 0x3c81
00003c78: PUSH1 0x60
00003c7a: DUP4
00003c7b: ADD
00003c7c: DUP6
00003c7d: PUSH2 0x2db1
00003c80: JUMP
00003c81: JUMPDEST
00003c82: PUSH2 0x3c8e
00003c85: PUSH1 0x80
00003c87: DUP4
00003c88: ADD
00003c89: DUP5
00003c8a: PUSH2 0x2b3e
00003c8d: JUMP
00003c8e: JUMPDEST
00003c8f: SWAP7
00003c90: SWAP6
00003c91: POP
00003c92: POP
00003c93: POP
00003c94: POP
00003c95: POP
00003c96: POP
00003c97: JUMP
00003c98: JUMPDEST
00003c99: PUSH0
00003c9a: PUSH1 0xc0
00003c9c: DUP3
00003c9d: ADD
00003c9e: SWAP1
00003c9f: POP
00003ca0: PUSH2 0x3cab
00003ca3: PUSH0
00003ca4: DUP4
00003ca5: ADD
00003ca6: DUP10
00003ca7: PUSH2 0x2db1
00003caa: JUMP
00003cab: JUMPDEST
00003cac: PUSH2 0x3cb8
00003caf: PUSH1 0x20
00003cb1: DUP4
00003cb2: ADD
00003cb3: DUP9
00003cb4: PUSH2 0x2b3e
00003cb7: JUMP
00003cb8: JUMPDEST
00003cb9: PUSH2 0x3cc5
00003cbc: PUSH1 0x40
00003cbe: DUP4
00003cbf: ADD
00003cc0: DUP8
00003cc1: PUSH2 0x3b7a
00003cc4: JUMP
00003cc5: JUMPDEST
00003cc6: PUSH2 0x3cd2
00003cc9: PUSH1 0x60
00003ccb: DUP4
00003ccc: ADD
00003ccd: DUP7
00003cce: PUSH2 0x3b7a
00003cd1: JUMP
00003cd2: JUMPDEST
00003cd3: PUSH2 0x3cdf
00003cd6: PUSH1 0x80
00003cd8: DUP4
00003cd9: ADD
00003cda: DUP6
00003cdb: PUSH2 0x2db1
00003cde: JUMP
00003cdf: JUMPDEST
00003ce0: PUSH2 0x3cec
00003ce3: PUSH1 0xa0
00003ce5: DUP4
00003ce6: ADD
00003ce7: DUP5
00003ce8: PUSH2 0x2b3e
00003ceb: JUMP
00003cec: JUMPDEST
00003ced: SWAP8
00003cee: SWAP7
00003cef: POP
00003cf0: POP
00003cf1: POP
00003cf2: POP
00003cf3: POP
00003cf4: POP
00003cf5: POP
00003cf6: JUMP
00003cf7: JUMPDEST
00003cf8: PUSH0
00003cf9: DUP1
00003cfa: PUSH0
00003cfb: PUSH1 0x60
00003cfd: DUP5
00003cfe: DUP7
00003cff: SUB
00003d00: SLT
00003d01: ISZERO
00003d02: PUSH2 0x3d0e
00003d05: JUMPI
00003d06: PUSH2 0x3d0d
00003d09: PUSH2 0x2a0d
00003d0c: JUMP
00003d0d: JUMPDEST
00003d0e: JUMPDEST
00003d0f: PUSH0
00003d10: PUSH2 0x3d1b
00003d13: DUP7
00003d14: DUP3
00003d15: DUP8
00003d16: ADD
00003d17: PUSH2 0x346f
00003d1a: JUMP
00003d1b: JUMPDEST
00003d1c: SWAP4
00003d1d: POP
00003d1e: POP
00003d1f: PUSH1 0x20
00003d21: PUSH2 0x3d2c
00003d24: DUP7
00003d25: DUP3
00003d26: DUP8
00003d27: ADD
00003d28: PUSH2 0x346f
00003d2b: JUMP
00003d2c: JUMPDEST
00003d2d: SWAP3
00003d2e: POP
00003d2f: POP
00003d30: PUSH1 0x40
00003d32: PUSH2 0x3d3d
00003d35: DUP7
00003d36: DUP3
00003d37: DUP8
00003d38: ADD
00003d39: PUSH2 0x346f
00003d3c: JUMP
00003d3d: JUMPDEST
00003d3e: SWAP2
00003d3f: POP
00003d40: POP
00003d41: SWAP3
00003d42: POP
00003d43: SWAP3
00003d44: POP
00003d45: SWAP3
00003d46: JUMP
00003d47: INVALID
00003d48: LOG2
00003d49: PUSH5 0x6970667358
00003d4f: UNKNOWN(0x22)
00003d50: SLT
00003d51: KECCAK256
00003d52: MULMOD
00003d53: UNKNOWN(0xBC)
00003d54: DUP4
00003d55: UNKNOWN(0xD7)
00003d56: SWAP16
00003d57: CALL
00003d58: PUSH1 0x7f
00003d5a: UNKNOWN(0xC9)
00003d5b: UNKNOWN(0x29)
00003d5c: SWAP5
00003d5d: PUSH30 0x38580b4e2184e6d00c8d2b8a87f688e9580ee52864736f6c634300081600
00003d7c: CALLER
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: 0xdd8ff25caf3bbbb96dc0316137c10c565720bcb613c8d7e6075027fd7506b392 call_targets: 0xa946fb6b6b860c68df3c293f1e2c3881b243e08c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xdd8ff25caf3bbbb96dc0316137c10c565720bcb613c8d7e6075027fd7506b392", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa946fb6b6b860c68df3c293f1e2c3881b243e08c" ], "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": "0xd9927448", "selector": "0xd9927448", "calldata_variants": [ "0xd9927448", "0xd99274480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xedae876f", "selector": "0xedae876f", "calldata_variants": [ "0xedae876f", "0xedae876f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf59c3708", "selector": "0xf59c3708", "calldata_variants": [ "0xf59c3708", "0xf59c37080000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xae6e8a88", "selector": "0xae6e8a88", "calldata_variants": [ "0xae6e8a88", "0xae6e8a880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc49b9a80", "selector": "0xc49b9a80", "calldata_variants": [ "0xc49b9a80", "0xc49b9a800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xca33e64c", "selector": "0xca33e64c", "calldata_variants": [ "0xca33e64c", "0xca33e64c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2394, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5832, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10322, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [], "untrusted_call_count": 5 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xdd8ff25caf3bbbb96dc0316137c10c565720bcb613c8d7e6075027fd7506b392 call_targets: 0xa946fb6b6b860c68df3c293f1e2c3881b243e08c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xdd8ff25caf3bbbb96dc0316137c10c565720bcb613c8d7e6075027fd7506b392", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa946fb6b6b860c68df3c293f1e2c3881b243e08c" ], "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": "0xd9927448", "selector": "0xd9927448", "calldata_variants": [ "0xd9927448", "0xd99274480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xedae876f", "selector": "0xedae876f", "calldata_variants": [ "0xedae876f", "0xedae876f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf59c3708", "selector": "0xf59c3708", "calldata_variants": [ "0xf59c3708", "0xf59c37080000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xae6e8a88", "selector": "0xae6e8a88", "calldata_variants": [ "0xae6e8a88", "0xae6e8a880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc49b9a80", "selector": "0xc49b9a80", "calldata_variants": [ "0xc49b9a80", "0xc49b9a800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xca33e64c", "selector": "0xca33e64c", "calldata_variants": [ "0xca33e64c", "0xca33e64c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2394, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5832, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10322, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [] }
Severity