Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

019b3844-9734-734f-9798-5a905a349cf0

complete

Chain ID

Address

0x2eff5fd0c409ae8fd6e1d224060537189043b7dd

Block Number

—

Created

Fri, Dec 19, 2025 8:19 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

Bytecode only

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
13681	artifact.fetch	complete	1 / 3	3 months ago
13682	tool.cast_disasm	complete	1 / 3	3 months ago
56825	analysis.bundle	complete	1 / 3	1 week ago
56826	capability.graph	complete	1 / 3	1 week ago
56827	detector.run	complete	1 / 3	1 week ago
56828	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

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

8961

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0246
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8558d659
00000019: GT
0000001a: PUSH2 0x0139
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa14e9b53
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcae9ca51
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xcae9ca51
0000003a: EQ
0000003b: PUSH2 0x0ff2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd0b4f10e
00000045: EQ
00000046: PUSH2 0x10fc
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdd62ed3e
00000050: EQ
00000051: PUSH2 0x1127
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf088d547
0000005b: EQ
0000005c: PUSH2 0x11ac
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x1208
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xfc2ea8a5
00000071: EQ
00000072: PUSH2 0x1259
00000075: JUMPI
00000076: PUSH2 0x0246
00000079: JUMP
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xa14e9b53
00000081: EQ
00000082: PUSH2 0x0e33
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa9059cbb
0000008c: EQ
0000008d: PUSH2 0x0e9e
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xaa271e1a
00000097: EQ
00000098: PUSH2 0x0ef9
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xae2e933b
000000a2: EQ
000000a3: PUSH2 0x0f62
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xc803486b
000000ad: EQ
000000ae: PUSH2 0x0f8d
000000b1: JUMPI
000000b2: PUSH2 0x0246
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x9049af68
000000bd: GT
000000be: PUSH2 0x00fd
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x9049af68
000000c8: EQ
000000c9: PUSH2 0x0b21
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x95d89b41
000000d3: EQ
000000d4: PUSH2 0x0c92
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x983b2d56
000000de: EQ
000000df: PUSH2 0x0d22
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x98650275
000000e9: EQ
000000ea: PUSH2 0x0d73
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x998c0d3e
000000f4: EQ
000000f5: PUSH2 0x0d8a
000000f8: JUMPI
000000f9: PUSH2 0x0246
000000fc: JUMP
000000fd: JUMPDEST
000000fe: DUP1
000000ff: PUSH4 0x8558d659
00000104: EQ
00000105: PUSH2 0x0a14
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x899b8f37
0000010f: EQ
00000110: PUSH2 0x0a43
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x8a90d601
0000011a: EQ
0000011b: PUSH2 0x0a74
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x8ac2c680
00000125: EQ
00000126: PUSH2 0x0a9f
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x8da5cb5b
00000130: EQ
00000131: PUSH2 0x0aca
00000134: JUMPI
00000135: PUSH2 0x0246
00000138: JUMP
00000139: JUMPDEST
0000013a: DUP1
0000013b: PUSH4 0x44690857
00000140: GT
00000141: PUSH2 0x01c7
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6217229b
0000014b: GT
0000014c: PUSH2 0x018b
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x6217229b
00000156: EQ
00000157: PUSH2 0x0889
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x67e404ce
00000161: EQ
00000162: PUSH2 0x08b4
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x70a08231
0000016c: EQ
0000016d: PUSH2 0x090b
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x72d7ab99
00000177: EQ
00000178: PUSH2 0x0970
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x79cc6790
00000182: EQ
00000183: PUSH2 0x09a1
00000186: JUMPI
00000187: PUSH2 0x0246
0000018a: JUMP
0000018b: JUMPDEST
0000018c: DUP1
0000018d: PUSH4 0x44690857
00000192: EQ
00000193: PUSH2 0x06e3
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x45710074
0000019d: EQ
0000019e: PUSH2 0x0748
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x463b0103
000001a8: EQ
000001a9: PUSH2 0x0777
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x4a9fefc7
000001b3: EQ
000001b4: PUSH2 0x07a2
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x533f36c9
000001be: EQ
000001bf: PUSH2 0x0833
000001c2: JUMPI
000001c3: PUSH2 0x0246
000001c6: JUMP
000001c7: JUMPDEST
000001c8: DUP1
000001c9: PUSH4 0x18160ddd
000001ce: GT
000001cf: PUSH2 0x020e
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x18160ddd
000001d9: EQ
000001da: PUSH2 0x0430
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x23b872dd
000001e4: EQ
000001e5: PUSH2 0x045b
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x313ce567
000001ef: EQ
000001f0: PUSH2 0x04ee
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x318bf79f
000001fa: EQ
000001fb: PUSH2 0x051f
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x42966c68
00000205: EQ
00000206: PUSH2 0x0690
00000209: JUMPI
0000020a: PUSH2 0x0246
0000020d: JUMP
0000020e: JUMPDEST
0000020f: DUP1
00000210: PUSH4 0x06fdde03
00000215: EQ
00000216: PUSH2 0x024b
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x095ea7b3
00000220: EQ
00000221: PUSH2 0x02db
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x0a5fb66d
0000022b: EQ
0000022c: PUSH2 0x034e
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x127542ee
00000236: EQ
00000237: PUSH2 0x038c
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x16279055
00000241: EQ
00000242: PUSH2 0x03c7
00000245: JUMPI
00000246: JUMPDEST
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x0260
0000025c: PUSH2 0x1284
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH1 0x40
00000263: MLOAD
00000264: DUP1
00000265: DUP1
00000266: PUSH1 0x20
00000268: ADD
00000269: DUP3
0000026a: DUP2
0000026b: SUB
0000026c: DUP3
0000026d: MSTORE
0000026e: DUP4
0000026f: DUP2
00000270: DUP2
00000271: MLOAD
00000272: DUP2
00000273: MSTORE
00000274: PUSH1 0x20
00000276: ADD
00000277: SWAP2
00000278: POP
00000279: DUP1
0000027a: MLOAD
0000027b: SWAP1
0000027c: PUSH1 0x20
0000027e: ADD
0000027f: SWAP1
00000280: DUP1
00000281: DUP4
00000282: DUP4
00000283: PUSH1 0x00
00000285: JUMPDEST
00000286: DUP4
00000287: DUP2
00000288: LT
00000289: ISZERO
0000028a: PUSH2 0x02a0
0000028d: JUMPI
0000028e: DUP1
0000028f: DUP3
00000290: ADD
00000291: MLOAD
00000292: DUP2
00000293: DUP5
00000294: ADD
00000295: MSTORE
00000296: PUSH1 0x20
00000298: DUP2
00000299: ADD
0000029a: SWAP1
0000029b: POP
0000029c: PUSH2 0x0285
0000029f: JUMP
000002a0: JUMPDEST
000002a1: POP
000002a2: POP
000002a3: POP
000002a4: POP
000002a5: SWAP1
000002a6: POP
000002a7: SWAP1
000002a8: DUP2
000002a9: ADD
000002aa: SWAP1
000002ab: PUSH1 0x1f
000002ad: AND
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02cd
000002b3: JUMPI
000002b4: DUP1
000002b5: DUP3
000002b6: SUB
000002b7: DUP1
000002b8: MLOAD
000002b9: PUSH1 0x01
000002bb: DUP4
000002bc: PUSH1 0x20
000002be: SUB
000002bf: PUSH2 0x0100
000002c2: EXP
000002c3: SUB
000002c4: NOT
000002c5: AND
000002c6: DUP2
000002c7: MSTORE
000002c8: PUSH1 0x20
000002ca: ADD
000002cb: SWAP2
000002cc: POP
000002cd: JUMPDEST
000002ce: POP
000002cf: SWAP3
000002d0: POP
000002d1: POP
000002d2: POP
000002d3: PUSH1 0x40
000002d5: MLOAD
000002d6: DUP1
000002d7: SWAP2
000002d8: SUB
000002d9: SWAP1
000002da: RETURN
000002db: JUMPDEST
000002dc: CALLVALUE
000002dd: DUP1
000002de: ISZERO
000002df: PUSH2 0x02e7
000002e2: JUMPI
000002e3: PUSH1 0x00
000002e5: DUP1
000002e6: REVERT
000002e7: JUMPDEST
000002e8: POP
000002e9: PUSH2 0x0334
000002ec: PUSH1 0x04
000002ee: DUP1
000002ef: CALLDATASIZE
000002f0: SUB
000002f1: PUSH1 0x40
000002f3: DUP2
000002f4: LT
000002f5: ISZERO
000002f6: PUSH2 0x02fe
000002f9: JUMPI
000002fa: PUSH1 0x00
000002fc: DUP1
000002fd: REVERT
000002fe: JUMPDEST
000002ff: DUP2
00000300: ADD
00000301: SWAP1
00000302: DUP1
00000303: DUP1
00000304: CALLDATALOAD
00000305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000031a: AND
0000031b: SWAP1
0000031c: PUSH1 0x20
0000031e: ADD
0000031f: SWAP1
00000320: SWAP3
00000321: SWAP2
00000322: SWAP1
00000323: DUP1
00000324: CALLDATALOAD
00000325: SWAP1
00000326: PUSH1 0x20
00000328: ADD
00000329: SWAP1
0000032a: SWAP3
0000032b: SWAP2
0000032c: SWAP1
0000032d: POP
0000032e: POP
0000032f: POP
00000330: PUSH2 0x1322
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH1 0x40
00000337: MLOAD
00000338: DUP1
00000339: DUP3
0000033a: ISZERO
0000033b: ISZERO
0000033c: ISZERO
0000033d: ISZERO
0000033e: DUP2
0000033f: MSTORE
00000340: PUSH1 0x20
00000342: ADD
00000343: SWAP2
00000344: POP
00000345: POP
00000346: PUSH1 0x40
00000348: MLOAD
00000349: DUP1
0000034a: SWAP2
0000034b: SUB
0000034c: SWAP1
0000034d: RETURN
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: DUP1
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: POP
0000035c: PUSH2 0x038a
0000035f: PUSH1 0x04
00000361: DUP1
00000362: CALLDATASIZE
00000363: SUB
00000364: PUSH1 0x20
00000366: DUP2
00000367: LT
00000368: ISZERO
00000369: PUSH2 0x0371
0000036c: JUMPI
0000036d: PUSH1 0x00
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: DUP2
00000373: ADD
00000374: SWAP1
00000375: DUP1
00000376: DUP1
00000377: CALLDATALOAD
00000378: PUSH1 0xff
0000037a: AND
0000037b: SWAP1
0000037c: PUSH1 0x20
0000037e: ADD
0000037f: SWAP1
00000380: SWAP3
00000381: SWAP2
00000382: SWAP1
00000383: POP
00000384: POP
00000385: POP
00000386: PUSH2 0x13af
00000389: JUMP
0000038a: JUMPDEST
0000038b: STOP
0000038c: JUMPDEST
0000038d: CALLVALUE
0000038e: DUP1
0000038f: ISZERO
00000390: PUSH2 0x0398
00000393: JUMPI
00000394: PUSH1 0x00
00000396: DUP1
00000397: REVERT
00000398: JUMPDEST
00000399: POP
0000039a: PUSH2 0x03c5
0000039d: PUSH1 0x04
0000039f: DUP1
000003a0: CALLDATASIZE
000003a1: SUB
000003a2: PUSH1 0x20
000003a4: DUP2
000003a5: LT
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: DUP2
000003b1: ADD
000003b2: SWAP1
000003b3: DUP1
000003b4: DUP1
000003b5: CALLDATALOAD
000003b6: SWAP1
000003b7: PUSH1 0x20
000003b9: ADD
000003ba: SWAP1
000003bb: SWAP3
000003bc: SWAP2
000003bd: SWAP1
000003be: POP
000003bf: POP
000003c0: POP
000003c1: PUSH2 0x14b5
000003c4: JUMP
000003c5: JUMPDEST
000003c6: STOP
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: DUP1
000003ca: ISZERO
000003cb: PUSH2 0x03d3
000003ce: JUMPI
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: POP
000003d5: PUSH2 0x0416
000003d8: PUSH1 0x04
000003da: DUP1
000003db: CALLDATASIZE
000003dc: SUB
000003dd: PUSH1 0x20
000003df: DUP2
000003e0: LT
000003e1: ISZERO
000003e2: PUSH2 0x03ea
000003e5: JUMPI
000003e6: PUSH1 0x00
000003e8: DUP1
000003e9: REVERT
000003ea: JUMPDEST
000003eb: DUP2
000003ec: ADD
000003ed: SWAP1
000003ee: DUP1
000003ef: DUP1
000003f0: CALLDATALOAD
000003f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000406: AND
00000407: SWAP1
00000408: PUSH1 0x20
0000040a: ADD
0000040b: SWAP1
0000040c: SWAP3
0000040d: SWAP2
0000040e: SWAP1
0000040f: POP
00000410: POP
00000411: POP
00000412: PUSH2 0x1664
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH1 0x40
00000419: MLOAD
0000041a: DUP1
0000041b: DUP3
0000041c: ISZERO
0000041d: ISZERO
0000041e: ISZERO
0000041f: ISZERO
00000420: DUP2
00000421: MSTORE
00000422: PUSH1 0x20
00000424: ADD
00000425: SWAP2
00000426: POP
00000427: POP
00000428: PUSH1 0x40
0000042a: MLOAD
0000042b: DUP1
0000042c: SWAP2
0000042d: SUB
0000042e: SWAP1
0000042f: RETURN
00000430: JUMPDEST
00000431: CALLVALUE
00000432: DUP1
00000433: ISZERO
00000434: PUSH2 0x043c
00000437: JUMPI
00000438: PUSH1 0x00
0000043a: DUP1
0000043b: REVERT
0000043c: JUMPDEST
0000043d: POP
0000043e: PUSH2 0x0445
00000441: PUSH2 0x1677
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH1 0x40
00000448: MLOAD
00000449: DUP1
0000044a: DUP3
0000044b: DUP2
0000044c: MSTORE
0000044d: PUSH1 0x20
0000044f: ADD
00000450: SWAP2
00000451: POP
00000452: POP
00000453: PUSH1 0x40
00000455: MLOAD
00000456: DUP1
00000457: SWAP2
00000458: SUB
00000459: SWAP1
0000045a: RETURN
0000045b: JUMPDEST
0000045c: CALLVALUE
0000045d: DUP1
0000045e: ISZERO
0000045f: PUSH2 0x0467
00000462: JUMPI
00000463: PUSH1 0x00
00000465: DUP1
00000466: REVERT
00000467: JUMPDEST
00000468: POP
00000469: PUSH2 0x04d4
0000046c: PUSH1 0x04
0000046e: DUP1
0000046f: CALLDATASIZE
00000470: SUB
00000471: PUSH1 0x60
00000473: DUP2
00000474: LT
00000475: ISZERO
00000476: PUSH2 0x047e
00000479: JUMPI
0000047a: PUSH1 0x00
0000047c: DUP1
0000047d: REVERT
0000047e: JUMPDEST
0000047f: DUP2
00000480: ADD
00000481: SWAP1
00000482: DUP1
00000483: DUP1
00000484: CALLDATALOAD
00000485: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000049a: AND
0000049b: SWAP1
0000049c: PUSH1 0x20
0000049e: ADD
0000049f: SWAP1
000004a0: SWAP3
000004a1: SWAP2
000004a2: SWAP1
000004a3: DUP1
000004a4: CALLDATALOAD
000004a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ba: AND
000004bb: SWAP1
000004bc: PUSH1 0x20
000004be: ADD
000004bf: SWAP1
000004c0: SWAP3
000004c1: SWAP2
000004c2: SWAP1
000004c3: DUP1
000004c4: CALLDATALOAD
000004c5: SWAP1
000004c6: PUSH1 0x20
000004c8: ADD
000004c9: SWAP1
000004ca: SWAP3
000004cb: SWAP2
000004cc: SWAP1
000004cd: POP
000004ce: POP
000004cf: POP
000004d0: PUSH2 0x167d
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH1 0x40
000004d7: MLOAD
000004d8: DUP1
000004d9: DUP3
000004da: ISZERO
000004db: ISZERO
000004dc: ISZERO
000004dd: ISZERO
000004de: DUP2
000004df: MSTORE
000004e0: PUSH1 0x20
000004e2: ADD
000004e3: SWAP2
000004e4: POP
000004e5: POP
000004e6: PUSH1 0x40
000004e8: MLOAD
000004e9: DUP1
000004ea: SWAP2
000004eb: SUB
000004ec: SWAP1
000004ed: RETURN
000004ee: JUMPDEST
000004ef: CALLVALUE
000004f0: DUP1
000004f1: ISZERO
000004f2: PUSH2 0x04fa
000004f5: JUMPI
000004f6: PUSH1 0x00
000004f8: DUP1
000004f9: REVERT
000004fa: JUMPDEST
000004fb: POP
000004fc: PUSH2 0x0503
000004ff: PUSH2 0x17a8
00000502: JUMP
00000503: JUMPDEST
00000504: PUSH1 0x40
00000506: MLOAD
00000507: DUP1
00000508: DUP3
00000509: PUSH1 0xff
0000050b: AND
0000050c: PUSH1 0xff
0000050e: AND
0000050f: DUP2
00000510: MSTORE
00000511: PUSH1 0x20
00000513: ADD
00000514: SWAP2
00000515: POP
00000516: POP
00000517: PUSH1 0x40
00000519: MLOAD
0000051a: DUP1
0000051b: SWAP2
0000051c: SUB
0000051d: SWAP1
0000051e: RETURN
0000051f: JUMPDEST
00000520: CALLVALUE
00000521: DUP1
00000522: ISZERO
00000523: PUSH2 0x052b
00000526: JUMPI
00000527: PUSH1 0x00
00000529: DUP1
0000052a: REVERT
0000052b: JUMPDEST
0000052c: POP
0000052d: PUSH2 0x0676
00000530: PUSH1 0x04
00000532: DUP1
00000533: CALLDATASIZE
00000534: SUB
00000535: PUSH1 0x40
00000537: DUP2
00000538: LT
00000539: ISZERO
0000053a: PUSH2 0x0542
0000053d: JUMPI
0000053e: PUSH1 0x00
00000540: DUP1
00000541: REVERT
00000542: JUMPDEST
00000543: DUP2
00000544: ADD
00000545: SWAP1
00000546: DUP1
00000547: DUP1
00000548: CALLDATALOAD
00000549: SWAP1
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: SWAP1
0000054e: PUSH5 0x0100000000
00000554: DUP2
00000555: GT
00000556: ISZERO
00000557: PUSH2 0x055f
0000055a: JUMPI
0000055b: PUSH1 0x00
0000055d: DUP1
0000055e: REVERT
0000055f: JUMPDEST
00000560: DUP3
00000561: ADD
00000562: DUP4
00000563: PUSH1 0x20
00000565: DUP3
00000566: ADD
00000567: GT
00000568: ISZERO
00000569: PUSH2 0x0571
0000056c: JUMPI
0000056d: PUSH1 0x00
0000056f: DUP1
00000570: REVERT
00000571: JUMPDEST
00000572: DUP1
00000573: CALLDATALOAD
00000574: SWAP1
00000575: PUSH1 0x20
00000577: ADD
00000578: SWAP2
00000579: DUP5
0000057a: PUSH1 0x20
0000057c: DUP4
0000057d: MUL
0000057e: DUP5
0000057f: ADD
00000580: GT
00000581: PUSH5 0x0100000000
00000587: DUP4
00000588: GT
00000589: OR
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: SWAP2
00000595: SWAP1
00000596: DUP1
00000597: DUP1
00000598: PUSH1 0x20
0000059a: MUL
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: PUSH1 0x40
000005a0: MLOAD
000005a1: SWAP1
000005a2: DUP2
000005a3: ADD
000005a4: PUSH1 0x40
000005a6: MSTORE
000005a7: DUP1
000005a8: SWAP4
000005a9: SWAP3
000005aa: SWAP2
000005ab: SWAP1
000005ac: DUP2
000005ad: DUP2
000005ae: MSTORE
000005af: PUSH1 0x20
000005b1: ADD
000005b2: DUP4
000005b3: DUP4
000005b4: PUSH1 0x20
000005b6: MUL
000005b7: DUP1
000005b8: DUP3
000005b9: DUP5
000005ba: CALLDATACOPY
000005bb: PUSH1 0x00
000005bd: DUP2
000005be: DUP5
000005bf: ADD
000005c0: MSTORE
000005c1: PUSH1 0x1f
000005c3: NOT
000005c4: PUSH1 0x1f
000005c6: DUP3
000005c7: ADD
000005c8: AND
000005c9: SWAP1
000005ca: POP
000005cb: DUP1
000005cc: DUP4
000005cd: ADD
000005ce: SWAP3
000005cf: POP
000005d0: POP
000005d1: POP
000005d2: POP
000005d3: POP
000005d4: POP
000005d5: POP
000005d6: SWAP2
000005d7: SWAP3
000005d8: SWAP2
000005d9: SWAP3
000005da: SWAP1
000005db: DUP1
000005dc: CALLDATALOAD
000005dd: SWAP1
000005de: PUSH1 0x20
000005e0: ADD
000005e1: SWAP1
000005e2: PUSH5 0x0100000000
000005e8: DUP2
000005e9: GT
000005ea: ISZERO
000005eb: PUSH2 0x05f3
000005ee: JUMPI
000005ef: PUSH1 0x00
000005f1: DUP1
000005f2: REVERT
000005f3: JUMPDEST
000005f4: DUP3
000005f5: ADD
000005f6: DUP4
000005f7: PUSH1 0x20
000005f9: DUP3
000005fa: ADD
000005fb: GT
000005fc: ISZERO
000005fd: PUSH2 0x0605
00000600: JUMPI
00000601: PUSH1 0x00
00000603: DUP1
00000604: REVERT
00000605: JUMPDEST
00000606: DUP1
00000607: CALLDATALOAD
00000608: SWAP1
00000609: PUSH1 0x20
0000060b: ADD
0000060c: SWAP2
0000060d: DUP5
0000060e: PUSH1 0x20
00000610: DUP4
00000611: MUL
00000612: DUP5
00000613: ADD
00000614: GT
00000615: PUSH5 0x0100000000
0000061b: DUP4
0000061c: GT
0000061d: OR
0000061e: ISZERO
0000061f: PUSH2 0x0627
00000622: JUMPI
00000623: PUSH1 0x00
00000625: DUP1
00000626: REVERT
00000627: JUMPDEST
00000628: SWAP2
00000629: SWAP1
0000062a: DUP1
0000062b: DUP1
0000062c: PUSH1 0x20
0000062e: MUL
0000062f: PUSH1 0x20
00000631: ADD
00000632: PUSH1 0x40
00000634: MLOAD
00000635: SWAP1
00000636: DUP2
00000637: ADD
00000638: PUSH1 0x40
0000063a: MSTORE
0000063b: DUP1
0000063c: SWAP4
0000063d: SWAP3
0000063e: SWAP2
0000063f: SWAP1
00000640: DUP2
00000641: DUP2
00000642: MSTORE
00000643: PUSH1 0x20
00000645: ADD
00000646: DUP4
00000647: DUP4
00000648: PUSH1 0x20
0000064a: MUL
0000064b: DUP1
0000064c: DUP3
0000064d: DUP5
0000064e: CALLDATACOPY
0000064f: PUSH1 0x00
00000651: DUP2
00000652: DUP5
00000653: ADD
00000654: MSTORE
00000655: PUSH1 0x1f
00000657: NOT
00000658: PUSH1 0x1f
0000065a: DUP3
0000065b: ADD
0000065c: AND
0000065d: SWAP1
0000065e: POP
0000065f: DUP1
00000660: DUP4
00000661: ADD
00000662: SWAP3
00000663: POP
00000664: POP
00000665: POP
00000666: POP
00000667: POP
00000668: POP
00000669: POP
0000066a: SWAP2
0000066b: SWAP3
0000066c: SWAP2
0000066d: SWAP3
0000066e: SWAP1
0000066f: POP
00000670: POP
00000671: POP
00000672: PUSH2 0x17bb
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH1 0x40
00000679: MLOAD
0000067a: DUP1
0000067b: DUP3
0000067c: ISZERO
0000067d: ISZERO
0000067e: ISZERO
0000067f: ISZERO
00000680: DUP2
00000681: MSTORE
00000682: PUSH1 0x20
00000684: ADD
00000685: SWAP2
00000686: POP
00000687: POP
00000688: PUSH1 0x40
0000068a: MLOAD
0000068b: DUP1
0000068c: SWAP2
0000068d: SUB
0000068e: SWAP1
0000068f: RETURN
00000690: JUMPDEST
00000691: CALLVALUE
00000692: DUP1
00000693: ISZERO
00000694: PUSH2 0x069c
00000697: JUMPI
00000698: PUSH1 0x00
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: POP
0000069e: PUSH2 0x06c9
000006a1: PUSH1 0x04
000006a3: DUP1
000006a4: CALLDATASIZE
000006a5: SUB
000006a6: PUSH1 0x20
000006a8: DUP2
000006a9: LT
000006aa: ISZERO
000006ab: PUSH2 0x06b3
000006ae: JUMPI
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: REVERT
000006b3: JUMPDEST
000006b4: DUP2
000006b5: ADD
000006b6: SWAP1
000006b7: DUP1
000006b8: DUP1
000006b9: CALLDATALOAD
000006ba: SWAP1
000006bb: PUSH1 0x20
000006bd: ADD
000006be: SWAP1
000006bf: SWAP3
000006c0: SWAP2
000006c1: SWAP1
000006c2: POP
000006c3: POP
000006c4: POP
000006c5: PUSH2 0x1837
000006c8: JUMP
000006c9: JUMPDEST
000006ca: PUSH1 0x40
000006cc: MLOAD
000006cd: DUP1
000006ce: DUP3
000006cf: ISZERO
000006d0: ISZERO
000006d1: ISZERO
000006d2: ISZERO
000006d3: DUP2
000006d4: MSTORE
000006d5: PUSH1 0x20
000006d7: ADD
000006d8: SWAP2
000006d9: POP
000006da: POP
000006db: PUSH1 0x40
000006dd: MLOAD
000006de: DUP1
000006df: SWAP2
000006e0: SUB
000006e1: SWAP1
000006e2: RETURN
000006e3: JUMPDEST
000006e4: CALLVALUE
000006e5: DUP1
000006e6: ISZERO
000006e7: PUSH2 0x06ef
000006ea: JUMPI
000006eb: PUSH1 0x00
000006ed: DUP1
000006ee: REVERT
000006ef: JUMPDEST
000006f0: POP
000006f1: PUSH2 0x0732
000006f4: PUSH1 0x04
000006f6: DUP1
000006f7: CALLDATASIZE
000006f8: SUB
000006f9: PUSH1 0x20
000006fb: DUP2
000006fc: LT
000006fd: ISZERO
000006fe: PUSH2 0x0706
00000701: JUMPI
00000702: PUSH1 0x00
00000704: DUP1
00000705: REVERT
00000706: JUMPDEST
00000707: DUP2
00000708: ADD
00000709: SWAP1
0000070a: DUP1
0000070b: DUP1
0000070c: CALLDATALOAD
0000070d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000722: AND
00000723: SWAP1
00000724: PUSH1 0x20
00000726: ADD
00000727: SWAP1
00000728: SWAP3
00000729: SWAP2
0000072a: SWAP1
0000072b: POP
0000072c: POP
0000072d: POP
0000072e: PUSH2 0x1939
00000731: JUMP
00000732: JUMPDEST
00000733: PUSH1 0x40
00000735: MLOAD
00000736: DUP1
00000737: DUP3
00000738: DUP2
00000739: MSTORE
0000073a: PUSH1 0x20
0000073c: ADD
0000073d: SWAP2
0000073e: POP
0000073f: POP
00000740: PUSH1 0x40
00000742: MLOAD
00000743: DUP1
00000744: SWAP2
00000745: SUB
00000746: SWAP1
00000747: RETURN
00000748: JUMPDEST
00000749: CALLVALUE
0000074a: DUP1
0000074b: ISZERO
0000074c: PUSH2 0x0754
0000074f: JUMPI
00000750: PUSH1 0x00
00000752: DUP1
00000753: REVERT
00000754: JUMPDEST
00000755: POP
00000756: PUSH2 0x075d
00000759: PUSH2 0x1951
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH1 0x40
00000760: MLOAD
00000761: DUP1
00000762: DUP3
00000763: ISZERO
00000764: ISZERO
00000765: ISZERO
00000766: ISZERO
00000767: DUP2
00000768: MSTORE
00000769: PUSH1 0x20
0000076b: ADD
0000076c: SWAP2
0000076d: POP
0000076e: POP
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: DUP1
00000773: SWAP2
00000774: SUB
00000775: SWAP1
00000776: RETURN
00000777: JUMPDEST
00000778: CALLVALUE
00000779: DUP1
0000077a: ISZERO
0000077b: PUSH2 0x0783
0000077e: JUMPI
0000077f: PUSH1 0x00
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: POP
00000785: PUSH2 0x078c
00000788: PUSH2 0x1bbd
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: DUP1
00000791: DUP3
00000792: DUP2
00000793: MSTORE
00000794: PUSH1 0x20
00000796: ADD
00000797: SWAP2
00000798: POP
00000799: POP
0000079a: PUSH1 0x40
0000079c: MLOAD
0000079d: DUP1
0000079e: SWAP2
0000079f: SUB
000007a0: SWAP1
000007a1: RETURN
000007a2: JUMPDEST
000007a3: CALLVALUE
000007a4: DUP1
000007a5: ISZERO
000007a6: PUSH2 0x07ae
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: REVERT
000007ae: JUMPDEST
000007af: POP
000007b0: PUSH2 0x07f1
000007b3: PUSH1 0x04
000007b5: DUP1
000007b6: CALLDATASIZE
000007b7: SUB
000007b8: PUSH1 0x20
000007ba: DUP2
000007bb: LT
000007bc: ISZERO
000007bd: PUSH2 0x07c5
000007c0: JUMPI
000007c1: PUSH1 0x00
000007c3: DUP1
000007c4: REVERT
000007c5: JUMPDEST
000007c6: DUP2
000007c7: ADD
000007c8: SWAP1
000007c9: DUP1
000007ca: DUP1
000007cb: CALLDATALOAD
000007cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e1: AND
000007e2: SWAP1
000007e3: PUSH1 0x20
000007e5: ADD
000007e6: SWAP1
000007e7: SWAP3
000007e8: SWAP2
000007e9: SWAP1
000007ea: POP
000007eb: POP
000007ec: POP
000007ed: PUSH2 0x1bc3
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x40
000007f4: MLOAD
000007f5: DUP1
000007f6: DUP3
000007f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080c: AND
0000080d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000822: AND
00000823: DUP2
00000824: MSTORE
00000825: PUSH1 0x20
00000827: ADD
00000828: SWAP2
00000829: POP
0000082a: POP
0000082b: PUSH1 0x40
0000082d: MLOAD
0000082e: DUP1
0000082f: SWAP2
00000830: SUB
00000831: SWAP1
00000832: RETURN
00000833: JUMPDEST
00000834: CALLVALUE
00000835: DUP1
00000836: ISZERO
00000837: PUSH2 0x083f
0000083a: JUMPI
0000083b: PUSH1 0x00
0000083d: DUP1
0000083e: REVERT
0000083f: JUMPDEST
00000840: POP
00000841: PUSH2 0x086f
00000844: PUSH1 0x04
00000846: DUP1
00000847: CALLDATASIZE
00000848: SUB
00000849: PUSH1 0x20
0000084b: DUP2
0000084c: LT
0000084d: ISZERO
0000084e: PUSH2 0x0856
00000851: JUMPI
00000852: PUSH1 0x00
00000854: DUP1
00000855: REVERT
00000856: JUMPDEST
00000857: DUP2
00000858: ADD
00000859: SWAP1
0000085a: DUP1
0000085b: DUP1
0000085c: CALLDATALOAD
0000085d: PUSH1 0xff
0000085f: AND
00000860: SWAP1
00000861: PUSH1 0x20
00000863: ADD
00000864: SWAP1
00000865: SWAP3
00000866: SWAP2
00000867: SWAP1
00000868: POP
00000869: POP
0000086a: POP
0000086b: PUSH2 0x1c2f
0000086e: JUMP
0000086f: JUMPDEST
00000870: PUSH1 0x40
00000872: MLOAD
00000873: DUP1
00000874: DUP3
00000875: ISZERO
00000876: ISZERO
00000877: ISZERO
00000878: ISZERO
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x20
0000087d: ADD
0000087e: SWAP2
0000087f: POP
00000880: POP
00000881: PUSH1 0x40
00000883: MLOAD
00000884: DUP1
00000885: SWAP2
00000886: SUB
00000887: SWAP1
00000888: RETURN
00000889: JUMPDEST
0000088a: CALLVALUE
0000088b: DUP1
0000088c: ISZERO
0000088d: PUSH2 0x0895
00000890: JUMPI
00000891: PUSH1 0x00
00000893: DUP1
00000894: REVERT
00000895: JUMPDEST
00000896: POP
00000897: PUSH2 0x089e
0000089a: PUSH2 0x1d2c
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x40
000008a1: MLOAD
000008a2: DUP1
000008a3: DUP3
000008a4: DUP2
000008a5: MSTORE
000008a6: PUSH1 0x20
000008a8: ADD
000008a9: SWAP2
000008aa: POP
000008ab: POP
000008ac: PUSH1 0x40
000008ae: MLOAD
000008af: DUP1
000008b0: SWAP2
000008b1: SUB
000008b2: SWAP1
000008b3: RETURN
000008b4: JUMPDEST
000008b5: CALLVALUE
000008b6: DUP1
000008b7: ISZERO
000008b8: PUSH2 0x08c0
000008bb: JUMPI
000008bc: PUSH1 0x00
000008be: DUP1
000008bf: REVERT
000008c0: JUMPDEST
000008c1: POP
000008c2: PUSH2 0x08c9
000008c5: PUSH2 0x1d32
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH1 0x40
000008cc: MLOAD
000008cd: DUP1
000008ce: DUP3
000008cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e4: AND
000008e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fa: AND
000008fb: DUP2
000008fc: MSTORE
000008fd: PUSH1 0x20
000008ff: ADD
00000900: SWAP2
00000901: POP
00000902: POP
00000903: PUSH1 0x40
00000905: MLOAD
00000906: DUP1
00000907: SWAP2
00000908: SUB
00000909: SWAP1
0000090a: RETURN
0000090b: JUMPDEST
0000090c: CALLVALUE
0000090d: DUP1
0000090e: ISZERO
0000090f: PUSH2 0x0917
00000912: JUMPI
00000913: PUSH1 0x00
00000915: DUP1
00000916: REVERT
00000917: JUMPDEST
00000918: POP
00000919: PUSH2 0x095a
0000091c: PUSH1 0x04
0000091e: DUP1
0000091f: CALLDATASIZE
00000920: SUB
00000921: PUSH1 0x20
00000923: DUP2
00000924: LT
00000925: ISZERO
00000926: PUSH2 0x092e
00000929: JUMPI
0000092a: PUSH1 0x00
0000092c: DUP1
0000092d: REVERT
0000092e: JUMPDEST
0000092f: DUP2
00000930: ADD
00000931: SWAP1
00000932: DUP1
00000933: DUP1
00000934: CALLDATALOAD
00000935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094a: AND
0000094b: SWAP1
0000094c: PUSH1 0x20
0000094e: ADD
0000094f: SWAP1
00000950: SWAP3
00000951: SWAP2
00000952: SWAP1
00000953: POP
00000954: POP
00000955: POP
00000956: PUSH2 0x1d58
00000959: JUMP
0000095a: JUMPDEST
0000095b: PUSH1 0x40
0000095d: MLOAD
0000095e: DUP1
0000095f: DUP3
00000960: DUP2
00000961: MSTORE
00000962: PUSH1 0x20
00000964: ADD
00000965: SWAP2
00000966: POP
00000967: POP
00000968: PUSH1 0x40
0000096a: MLOAD
0000096b: DUP1
0000096c: SWAP2
0000096d: SUB
0000096e: SWAP1
0000096f: RETURN
00000970: JUMPDEST
00000971: CALLVALUE
00000972: DUP1
00000973: ISZERO
00000974: PUSH2 0x097c
00000977: JUMPI
00000978: PUSH1 0x00
0000097a: DUP1
0000097b: REVERT
0000097c: JUMPDEST
0000097d: POP
0000097e: PUSH2 0x0985
00000981: PUSH2 0x1d70
00000984: JUMP
00000985: JUMPDEST
00000986: PUSH1 0x40
00000988: MLOAD
00000989: DUP1
0000098a: DUP3
0000098b: PUSH1 0xff
0000098d: AND
0000098e: PUSH1 0xff
00000990: AND
00000991: DUP2
00000992: MSTORE
00000993: PUSH1 0x20
00000995: ADD
00000996: SWAP2
00000997: POP
00000998: POP
00000999: PUSH1 0x40
0000099b: MLOAD
0000099c: DUP1
0000099d: SWAP2
0000099e: SUB
0000099f: SWAP1
000009a0: RETURN
000009a1: JUMPDEST
000009a2: CALLVALUE
000009a3: DUP1
000009a4: ISZERO
000009a5: PUSH2 0x09ad
000009a8: JUMPI
000009a9: PUSH1 0x00
000009ab: DUP1
000009ac: REVERT
000009ad: JUMPDEST
000009ae: POP
000009af: PUSH2 0x09fa
000009b2: PUSH1 0x04
000009b4: DUP1
000009b5: CALLDATASIZE
000009b6: SUB
000009b7: PUSH1 0x40
000009b9: DUP2
000009ba: LT
000009bb: ISZERO
000009bc: PUSH2 0x09c4
000009bf: JUMPI
000009c0: PUSH1 0x00
000009c2: DUP1
000009c3: REVERT
000009c4: JUMPDEST
000009c5: DUP2
000009c6: ADD
000009c7: SWAP1
000009c8: DUP1
000009c9: DUP1
000009ca: CALLDATALOAD
000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e0: AND
000009e1: SWAP1
000009e2: PUSH1 0x20
000009e4: ADD
000009e5: SWAP1
000009e6: SWAP3
000009e7: SWAP2
000009e8: SWAP1
000009e9: DUP1
000009ea: CALLDATALOAD
000009eb: SWAP1
000009ec: PUSH1 0x20
000009ee: ADD
000009ef: SWAP1
000009f0: SWAP3
000009f1: SWAP2
000009f2: SWAP1
000009f3: POP
000009f4: POP
000009f5: POP
000009f6: PUSH2 0x1d83
000009f9: JUMP
000009fa: JUMPDEST
000009fb: PUSH1 0x40
000009fd: MLOAD
000009fe: DUP1
000009ff: DUP3
00000a00: ISZERO
00000a01: ISZERO
00000a02: ISZERO
00000a03: ISZERO
00000a04: DUP2
00000a05: MSTORE
00000a06: PUSH1 0x20
00000a08: ADD
00000a09: SWAP2
00000a0a: POP
00000a0b: POP
00000a0c: PUSH1 0x40
00000a0e: MLOAD
00000a0f: DUP1
00000a10: SWAP2
00000a11: SUB
00000a12: SWAP1
00000a13: RETURN
00000a14: JUMPDEST
00000a15: CALLVALUE
00000a16: DUP1
00000a17: ISZERO
00000a18: PUSH2 0x0a20
00000a1b: JUMPI
00000a1c: PUSH1 0x00
00000a1e: DUP1
00000a1f: REVERT
00000a20: JUMPDEST
00000a21: POP
00000a22: PUSH2 0x0a29
00000a25: PUSH2 0x1f99
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: PUSH1 0x40
00000a2c: MLOAD
00000a2d: DUP1
00000a2e: DUP3
00000a2f: ISZERO
00000a30: ISZERO
00000a31: ISZERO
00000a32: ISZERO
00000a33: DUP2
00000a34: MSTORE
00000a35: PUSH1 0x20
00000a37: ADD
00000a38: SWAP2
00000a39: POP
00000a3a: POP
00000a3b: PUSH1 0x40
00000a3d: MLOAD
00000a3e: DUP1
00000a3f: SWAP2
00000a40: SUB
00000a41: SWAP1
00000a42: RETURN
00000a43: JUMPDEST
00000a44: CALLVALUE
00000a45: DUP1
00000a46: ISZERO
00000a47: PUSH2 0x0a4f
00000a4a: JUMPI
00000a4b: PUSH1 0x00
00000a4d: DUP1
00000a4e: REVERT
00000a4f: JUMPDEST
00000a50: POP
00000a51: PUSH2 0x0a58
00000a54: PUSH2 0x1fac
00000a57: JUMP
00000a58: JUMPDEST
00000a59: PUSH1 0x40
00000a5b: MLOAD
00000a5c: DUP1
00000a5d: DUP3
00000a5e: PUSH1 0xff
00000a60: AND
00000a61: PUSH1 0xff
00000a63: AND
00000a64: DUP2
00000a65: MSTORE
00000a66: PUSH1 0x20
00000a68: ADD
00000a69: SWAP2
00000a6a: POP
00000a6b: POP
00000a6c: PUSH1 0x40
00000a6e: MLOAD
00000a6f: DUP1
00000a70: SWAP2
00000a71: SUB
00000a72: SWAP1
00000a73: RETURN
00000a74: JUMPDEST
00000a75: CALLVALUE
00000a76: DUP1
00000a77: ISZERO
00000a78: PUSH2 0x0a80
00000a7b: JUMPI
00000a7c: PUSH1 0x00
00000a7e: DUP1
00000a7f: REVERT
00000a80: JUMPDEST
00000a81: POP
00000a82: PUSH2 0x0a89
00000a85: PUSH2 0x1fbf
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: PUSH1 0x40
00000a8c: MLOAD
00000a8d: DUP1
00000a8e: DUP3
00000a8f: DUP2
00000a90: MSTORE
00000a91: PUSH1 0x20
00000a93: ADD
00000a94: SWAP2
00000a95: POP
00000a96: POP
00000a97: PUSH1 0x40
00000a99: MLOAD
00000a9a: DUP1
00000a9b: SWAP2
00000a9c: SUB
00000a9d: SWAP1
00000a9e: RETURN
00000a9f: JUMPDEST
00000aa0: CALLVALUE
00000aa1: DUP1
00000aa2: ISZERO
00000aa3: PUSH2 0x0aab
00000aa6: JUMPI
00000aa7: PUSH1 0x00
00000aa9: DUP1
00000aaa: REVERT
00000aab: JUMPDEST
00000aac: POP
00000aad: PUSH2 0x0ab4
00000ab0: PUSH2 0x1fc5
00000ab3: JUMP
00000ab4: JUMPDEST
00000ab5: PUSH1 0x40
00000ab7: MLOAD
00000ab8: DUP1
00000ab9: DUP3
00000aba: DUP2
00000abb: MSTORE
00000abc: PUSH1 0x20
00000abe: ADD
00000abf: SWAP2
00000ac0: POP
00000ac1: POP
00000ac2: PUSH1 0x40
00000ac4: MLOAD
00000ac5: DUP1
00000ac6: SWAP2
00000ac7: SUB
00000ac8: SWAP1
00000ac9: RETURN
00000aca: JUMPDEST
00000acb: CALLVALUE
00000acc: DUP1
00000acd: ISZERO
00000ace: PUSH2 0x0ad6
00000ad1: JUMPI
00000ad2: PUSH1 0x00
00000ad4: DUP1
00000ad5: REVERT
00000ad6: JUMPDEST
00000ad7: POP
00000ad8: PUSH2 0x0adf
00000adb: PUSH2 0x1fcb
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: PUSH1 0x40
00000ae2: MLOAD
00000ae3: DUP1
00000ae4: DUP3
00000ae5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afa: AND
00000afb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b10: AND
00000b11: DUP2
00000b12: MSTORE
00000b13: PUSH1 0x20
00000b15: ADD
00000b16: SWAP2
00000b17: POP
00000b18: POP
00000b19: PUSH1 0x40
00000b1b: MLOAD
00000b1c: DUP1
00000b1d: SWAP2
00000b1e: SUB
00000b1f: SWAP1
00000b20: RETURN
00000b21: JUMPDEST
00000b22: CALLVALUE
00000b23: DUP1
00000b24: ISZERO
00000b25: PUSH2 0x0b2d
00000b28: JUMPI
00000b29: PUSH1 0x00
00000b2b: DUP1
00000b2c: REVERT
00000b2d: JUMPDEST
00000b2e: POP
00000b2f: PUSH2 0x0c78
00000b32: PUSH1 0x04
00000b34: DUP1
00000b35: CALLDATASIZE
00000b36: SUB
00000b37: PUSH1 0x40
00000b39: DUP2
00000b3a: LT
00000b3b: ISZERO
00000b3c: PUSH2 0x0b44
00000b3f: JUMPI
00000b40: PUSH1 0x00
00000b42: DUP1
00000b43: REVERT
00000b44: JUMPDEST
00000b45: DUP2
00000b46: ADD
00000b47: SWAP1
00000b48: DUP1
00000b49: DUP1
00000b4a: CALLDATALOAD
00000b4b: SWAP1
00000b4c: PUSH1 0x20
00000b4e: ADD
00000b4f: SWAP1
00000b50: PUSH5 0x0100000000
00000b56: DUP2
00000b57: GT
00000b58: ISZERO
00000b59: PUSH2 0x0b61
00000b5c: JUMPI
00000b5d: PUSH1 0x00
00000b5f: DUP1
00000b60: REVERT
00000b61: JUMPDEST
00000b62: DUP3
00000b63: ADD
00000b64: DUP4
00000b65: PUSH1 0x20
00000b67: DUP3
00000b68: ADD
00000b69: GT
00000b6a: ISZERO
00000b6b: PUSH2 0x0b73
00000b6e: JUMPI
00000b6f: PUSH1 0x00
00000b71: DUP1
00000b72: REVERT
00000b73: JUMPDEST
00000b74: DUP1
00000b75: CALLDATALOAD
00000b76: SWAP1
00000b77: PUSH1 0x20
00000b79: ADD
00000b7a: SWAP2
00000b7b: DUP5
00000b7c: PUSH1 0x20
00000b7e: DUP4
00000b7f: MUL
00000b80: DUP5
00000b81: ADD
00000b82: GT
00000b83: PUSH5 0x0100000000
00000b89: DUP4
00000b8a: GT
00000b8b: OR
00000b8c: ISZERO
00000b8d: PUSH2 0x0b95
00000b90: JUMPI
00000b91: PUSH1 0x00
00000b93: DUP1
00000b94: REVERT
00000b95: JUMPDEST
00000b96: SWAP2
00000b97: SWAP1
00000b98: DUP1
00000b99: DUP1
00000b9a: PUSH1 0x20
00000b9c: MUL
00000b9d: PUSH1 0x20
00000b9f: ADD
00000ba0: PUSH1 0x40
00000ba2: MLOAD
00000ba3: SWAP1
00000ba4: DUP2
00000ba5: ADD
00000ba6: PUSH1 0x40
00000ba8: MSTORE
00000ba9: DUP1
00000baa: SWAP4
00000bab: SWAP3
00000bac: SWAP2
00000bad: SWAP1
00000bae: DUP2
00000baf: DUP2
00000bb0: MSTORE
00000bb1: PUSH1 0x20
00000bb3: ADD
00000bb4: DUP4
00000bb5: DUP4
00000bb6: PUSH1 0x20
00000bb8: MUL
00000bb9: DUP1
00000bba: DUP3
00000bbb: DUP5
00000bbc: CALLDATACOPY
00000bbd: PUSH1 0x00
00000bbf: DUP2
00000bc0: DUP5
00000bc1: ADD
00000bc2: MSTORE
00000bc3: PUSH1 0x1f
00000bc5: NOT
00000bc6: PUSH1 0x1f
00000bc8: DUP3
00000bc9: ADD
00000bca: AND
00000bcb: SWAP1
00000bcc: POP
00000bcd: DUP1
00000bce: DUP4
00000bcf: ADD
00000bd0: SWAP3
00000bd1: POP
00000bd2: POP
00000bd3: POP
00000bd4: POP
00000bd5: POP
00000bd6: POP
00000bd7: POP
00000bd8: SWAP2
00000bd9: SWAP3
00000bda: SWAP2
00000bdb: SWAP3
00000bdc: SWAP1
00000bdd: DUP1
00000bde: CALLDATALOAD
00000bdf: SWAP1
00000be0: PUSH1 0x20
00000be2: ADD
00000be3: SWAP1
00000be4: PUSH5 0x0100000000
00000bea: DUP2
00000beb: GT
00000bec: ISZERO
00000bed: PUSH2 0x0bf5
00000bf0: JUMPI
00000bf1: PUSH1 0x00
00000bf3: DUP1
00000bf4: REVERT
00000bf5: JUMPDEST
00000bf6: DUP3
00000bf7: ADD
00000bf8: DUP4
00000bf9: PUSH1 0x20
00000bfb: DUP3
00000bfc: ADD
00000bfd: GT
00000bfe: ISZERO
00000bff: PUSH2 0x0c07
00000c02: JUMPI
00000c03: PUSH1 0x00
00000c05: DUP1
00000c06: REVERT
00000c07: JUMPDEST
00000c08: DUP1
00000c09: CALLDATALOAD
00000c0a: SWAP1
00000c0b: PUSH1 0x20
00000c0d: ADD
00000c0e: SWAP2
00000c0f: DUP5
00000c10: PUSH1 0x20
00000c12: DUP4
00000c13: MUL
00000c14: DUP5
00000c15: ADD
00000c16: GT
00000c17: PUSH5 0x0100000000
00000c1d: DUP4
00000c1e: GT
00000c1f: OR
00000c20: ISZERO
00000c21: PUSH2 0x0c29
00000c24: JUMPI
00000c25: PUSH1 0x00
00000c27: DUP1
00000c28: REVERT
00000c29: JUMPDEST
00000c2a: SWAP2
00000c2b: SWAP1
00000c2c: DUP1
00000c2d: DUP1
00000c2e: PUSH1 0x20
00000c30: MUL
00000c31: PUSH1 0x20
00000c33: ADD
00000c34: PUSH1 0x40
00000c36: MLOAD
00000c37: SWAP1
00000c38: DUP2
00000c39: ADD
00000c3a: PUSH1 0x40
00000c3c: MSTORE
00000c3d: DUP1
00000c3e: SWAP4
00000c3f: SWAP3
00000c40: SWAP2
00000c41: SWAP1
00000c42: DUP2
00000c43: DUP2
00000c44: MSTORE
00000c45: PUSH1 0x20
00000c47: ADD
00000c48: DUP4
00000c49: DUP4
00000c4a: PUSH1 0x20
00000c4c: MUL
00000c4d: DUP1
00000c4e: DUP3
00000c4f: DUP5
00000c50: CALLDATACOPY
00000c51: PUSH1 0x00
00000c53: DUP2
00000c54: DUP5
00000c55: ADD
00000c56: MSTORE
00000c57: PUSH1 0x1f
00000c59: NOT
00000c5a: PUSH1 0x1f
00000c5c: DUP3
00000c5d: ADD
00000c5e: AND
00000c5f: SWAP1
00000c60: POP
00000c61: DUP1
00000c62: DUP4
00000c63: ADD
00000c64: SWAP3
00000c65: POP
00000c66: POP
00000c67: POP
00000c68: POP
00000c69: POP
00000c6a: POP
00000c6b: POP
00000c6c: SWAP2
00000c6d: SWAP3
00000c6e: SWAP2
00000c6f: SWAP3
00000c70: SWAP1
00000c71: POP
00000c72: POP
00000c73: POP
00000c74: PUSH2 0x1ff1
00000c77: JUMP
00000c78: JUMPDEST
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: DUP1
00000c7d: DUP3
00000c7e: ISZERO
00000c7f: ISZERO
00000c80: ISZERO
00000c81: ISZERO
00000c82: DUP2
00000c83: MSTORE
00000c84: PUSH1 0x20
00000c86: ADD
00000c87: SWAP2
00000c88: POP
00000c89: POP
00000c8a: PUSH1 0x40
00000c8c: MLOAD
00000c8d: DUP1
00000c8e: SWAP2
00000c8f: SUB
00000c90: SWAP1
00000c91: RETURN
00000c92: JUMPDEST
00000c93: CALLVALUE
00000c94: DUP1
00000c95: ISZERO
00000c96: PUSH2 0x0c9e
00000c99: JUMPI
00000c9a: PUSH1 0x00
00000c9c: DUP1
00000c9d: REVERT
00000c9e: JUMPDEST
00000c9f: POP
00000ca0: PUSH2 0x0ca7
00000ca3: PUSH2 0x206d
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: PUSH1 0x40
00000caa: MLOAD
00000cab: DUP1
00000cac: DUP1
00000cad: PUSH1 0x20
00000caf: ADD
00000cb0: DUP3
00000cb1: DUP2
00000cb2: SUB
00000cb3: DUP3
00000cb4: MSTORE
00000cb5: DUP4
00000cb6: DUP2
00000cb7: DUP2
00000cb8: MLOAD
00000cb9: DUP2
00000cba: MSTORE
00000cbb: PUSH1 0x20
00000cbd: ADD
00000cbe: SWAP2
00000cbf: POP
00000cc0: DUP1
00000cc1: MLOAD
00000cc2: SWAP1
00000cc3: PUSH1 0x20
00000cc5: ADD
00000cc6: SWAP1
00000cc7: DUP1
00000cc8: DUP4
00000cc9: DUP4
00000cca: PUSH1 0x00
00000ccc: JUMPDEST
00000ccd: DUP4
00000cce: DUP2
00000ccf: LT
00000cd0: ISZERO
00000cd1: PUSH2 0x0ce7
00000cd4: JUMPI
00000cd5: DUP1
00000cd6: DUP3
00000cd7: ADD
00000cd8: MLOAD
00000cd9: DUP2
00000cda: DUP5
00000cdb: ADD
00000cdc: MSTORE
00000cdd: PUSH1 0x20
00000cdf: DUP2
00000ce0: ADD
00000ce1: SWAP1
00000ce2: POP
00000ce3: PUSH2 0x0ccc
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: POP
00000ce9: POP
00000cea: POP
00000ceb: POP
00000cec: SWAP1
00000ced: POP
00000cee: SWAP1
00000cef: DUP2
00000cf0: ADD
00000cf1: SWAP1
00000cf2: PUSH1 0x1f
00000cf4: AND
00000cf5: DUP1
00000cf6: ISZERO
00000cf7: PUSH2 0x0d14
00000cfa: JUMPI
00000cfb: DUP1
00000cfc: DUP3
00000cfd: SUB
00000cfe: DUP1
00000cff: MLOAD
00000d00: PUSH1 0x01
00000d02: DUP4
00000d03: PUSH1 0x20
00000d05: SUB
00000d06: PUSH2 0x0100
00000d09: EXP
00000d0a: SUB
00000d0b: NOT
00000d0c: AND
00000d0d: DUP2
00000d0e: MSTORE
00000d0f: PUSH1 0x20
00000d11: ADD
00000d12: SWAP2
00000d13: POP
00000d14: JUMPDEST
00000d15: POP
00000d16: SWAP3
00000d17: POP
00000d18: POP
00000d19: POP
00000d1a: PUSH1 0x40
00000d1c: MLOAD
00000d1d: DUP1
00000d1e: SWAP2
00000d1f: SUB
00000d20: SWAP1
00000d21: RETURN
00000d22: JUMPDEST
00000d23: CALLVALUE
00000d24: DUP1
00000d25: ISZERO
00000d26: PUSH2 0x0d2e
00000d29: JUMPI
00000d2a: PUSH1 0x00
00000d2c: DUP1
00000d2d: REVERT
00000d2e: JUMPDEST
00000d2f: POP
00000d30: PUSH2 0x0d71
00000d33: PUSH1 0x04
00000d35: DUP1
00000d36: CALLDATASIZE
00000d37: SUB
00000d38: PUSH1 0x20
00000d3a: DUP2
00000d3b: LT
00000d3c: ISZERO
00000d3d: PUSH2 0x0d45
00000d40: JUMPI
00000d41: PUSH1 0x00
00000d43: DUP1
00000d44: REVERT
00000d45: JUMPDEST
00000d46: DUP2
00000d47: ADD
00000d48: SWAP1
00000d49: DUP1
00000d4a: DUP1
00000d4b: CALLDATALOAD
00000d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d61: AND
00000d62: SWAP1
00000d63: PUSH1 0x20
00000d65: ADD
00000d66: SWAP1
00000d67: SWAP3
00000d68: SWAP2
00000d69: SWAP1
00000d6a: POP
00000d6b: POP
00000d6c: POP
00000d6d: PUSH2 0x210b
00000d70: JUMP
00000d71: JUMPDEST
00000d72: STOP
00000d73: JUMPDEST
00000d74: CALLVALUE
00000d75: DUP1
00000d76: ISZERO
00000d77: PUSH2 0x0d7f
00000d7a: JUMPI
00000d7b: PUSH1 0x00
00000d7d: DUP1
00000d7e: REVERT
00000d7f: JUMPDEST
00000d80: POP
00000d81: PUSH2 0x0d88
00000d84: PUSH2 0x21bd
00000d87: JUMP
00000d88: JUMPDEST
00000d89: STOP
00000d8a: JUMPDEST
00000d8b: CALLVALUE
00000d8c: DUP1
00000d8d: ISZERO
00000d8e: PUSH2 0x0d96
00000d91: JUMPI
00000d92: PUSH1 0x00
00000d94: DUP1
00000d95: REVERT
00000d96: JUMPDEST
00000d97: POP
00000d98: PUSH2 0x0dd9
00000d9b: PUSH1 0x04
00000d9d: DUP1
00000d9e: CALLDATASIZE
00000d9f: SUB
00000da0: PUSH1 0x20
00000da2: DUP2
00000da3: LT
00000da4: ISZERO
00000da5: PUSH2 0x0dad
00000da8: JUMPI
00000da9: PUSH1 0x00
00000dab: DUP1
00000dac: REVERT
00000dad: JUMPDEST
00000dae: DUP2
00000daf: ADD
00000db0: SWAP1
00000db1: DUP1
00000db2: DUP1
00000db3: CALLDATALOAD
00000db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc9: AND
00000dca: SWAP1
00000dcb: PUSH1 0x20
00000dcd: ADD
00000dce: SWAP1
00000dcf: SWAP3
00000dd0: SWAP2
00000dd1: SWAP1
00000dd2: POP
00000dd3: POP
00000dd4: POP
00000dd5: PUSH2 0x226e
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: PUSH1 0x40
00000ddc: MLOAD
00000ddd: DUP1
00000dde: DUP5
00000ddf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df4: AND
00000df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0a: AND
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x20
00000e0f: ADD
00000e10: DUP4
00000e11: PUSH1 0xff
00000e13: AND
00000e14: PUSH1 0xff
00000e16: AND
00000e17: DUP2
00000e18: MSTORE
00000e19: PUSH1 0x20
00000e1b: ADD
00000e1c: DUP3
00000e1d: ISZERO
00000e1e: ISZERO
00000e1f: ISZERO
00000e20: ISZERO
00000e21: DUP2
00000e22: MSTORE
00000e23: PUSH1 0x20
00000e25: ADD
00000e26: SWAP4
00000e27: POP
00000e28: POP
00000e29: POP
00000e2a: POP
00000e2b: PUSH1 0x40
00000e2d: MLOAD
00000e2e: DUP1
00000e2f: SWAP2
00000e30: SUB
00000e31: SWAP1
00000e32: RETURN
00000e33: JUMPDEST
00000e34: CALLVALUE
00000e35: DUP1
00000e36: ISZERO
00000e37: PUSH2 0x0e3f
00000e3a: JUMPI
00000e3b: PUSH1 0x00
00000e3d: DUP1
00000e3e: REVERT
00000e3f: JUMPDEST
00000e40: POP
00000e41: PUSH2 0x0e82
00000e44: PUSH1 0x04
00000e46: DUP1
00000e47: CALLDATASIZE
00000e48: SUB
00000e49: PUSH1 0x20
00000e4b: DUP2
00000e4c: LT
00000e4d: ISZERO
00000e4e: PUSH2 0x0e56
00000e51: JUMPI
00000e52: PUSH1 0x00
00000e54: DUP1
00000e55: REVERT
00000e56: JUMPDEST
00000e57: DUP2
00000e58: ADD
00000e59: SWAP1
00000e5a: DUP1
00000e5b: DUP1
00000e5c: CALLDATALOAD
00000e5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e72: AND
00000e73: SWAP1
00000e74: PUSH1 0x20
00000e76: ADD
00000e77: SWAP1
00000e78: SWAP3
00000e79: SWAP2
00000e7a: SWAP1
00000e7b: POP
00000e7c: POP
00000e7d: POP
00000e7e: PUSH2 0x22d2
00000e81: JUMP
00000e82: JUMPDEST
00000e83: PUSH1 0x40
00000e85: MLOAD
00000e86: DUP1
00000e87: DUP3
00000e88: PUSH1 0xff
00000e8a: AND
00000e8b: PUSH1 0xff
00000e8d: AND
00000e8e: DUP2
00000e8f: MSTORE
00000e90: PUSH1 0x20
00000e92: ADD
00000e93: SWAP2
00000e94: POP
00000e95: POP
00000e96: PUSH1 0x40
00000e98: MLOAD
00000e99: DUP1
00000e9a: SWAP2
00000e9b: SUB
00000e9c: SWAP1
00000e9d: RETURN
00000e9e: JUMPDEST
00000e9f: CALLVALUE
00000ea0: DUP1
00000ea1: ISZERO
00000ea2: PUSH2 0x0eaa
00000ea5: JUMPI
00000ea6: PUSH1 0x00
00000ea8: DUP1
00000ea9: REVERT
00000eaa: JUMPDEST
00000eab: POP
00000eac: PUSH2 0x0ef7
00000eaf: PUSH1 0x04
00000eb1: DUP1
00000eb2: CALLDATASIZE
00000eb3: SUB
00000eb4: PUSH1 0x40
00000eb6: DUP2
00000eb7: LT
00000eb8: ISZERO
00000eb9: PUSH2 0x0ec1
00000ebc: JUMPI
00000ebd: PUSH1 0x00
00000ebf: DUP1
00000ec0: REVERT
00000ec1: JUMPDEST
00000ec2: DUP2
00000ec3: ADD
00000ec4: SWAP1
00000ec5: DUP1
00000ec6: DUP1
00000ec7: CALLDATALOAD
00000ec8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000edd: AND
00000ede: SWAP1
00000edf: PUSH1 0x20
00000ee1: ADD
00000ee2: SWAP1
00000ee3: SWAP3
00000ee4: SWAP2
00000ee5: SWAP1
00000ee6: DUP1
00000ee7: CALLDATALOAD
00000ee8: SWAP1
00000ee9: PUSH1 0x20
00000eeb: ADD
00000eec: SWAP1
00000eed: SWAP3
00000eee: SWAP2
00000eef: SWAP1
00000ef0: POP
00000ef1: POP
00000ef2: POP
00000ef3: PUSH2 0x232b
00000ef6: JUMP
00000ef7: JUMPDEST
00000ef8: STOP
00000ef9: JUMPDEST
00000efa: CALLVALUE
00000efb: DUP1
00000efc: ISZERO
00000efd: PUSH2 0x0f05
00000f00: JUMPI
00000f01: PUSH1 0x00
00000f03: DUP1
00000f04: REVERT
00000f05: JUMPDEST
00000f06: POP
00000f07: PUSH2 0x0f48
00000f0a: PUSH1 0x04
00000f0c: DUP1
00000f0d: CALLDATASIZE
00000f0e: SUB
00000f0f: PUSH1 0x20
00000f11: DUP2
00000f12: LT
00000f13: ISZERO
00000f14: PUSH2 0x0f1c
00000f17: JUMPI
00000f18: PUSH1 0x00
00000f1a: DUP1
00000f1b: REVERT
00000f1c: JUMPDEST
00000f1d: DUP2
00000f1e: ADD
00000f1f: SWAP1
00000f20: DUP1
00000f21: DUP1
00000f22: CALLDATALOAD
00000f23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f38: AND
00000f39: SWAP1
00000f3a: PUSH1 0x20
00000f3c: ADD
00000f3d: SWAP1
00000f3e: SWAP3
00000f3f: SWAP2
00000f40: SWAP1
00000f41: POP
00000f42: POP
00000f43: POP
00000f44: PUSH2 0x233a
00000f47: JUMP
00000f48: JUMPDEST
00000f49: PUSH1 0x40
00000f4b: MLOAD
00000f4c: DUP1
00000f4d: DUP3
00000f4e: ISZERO
00000f4f: ISZERO
00000f50: ISZERO
00000f51: ISZERO
00000f52: DUP2
00000f53: MSTORE
00000f54: PUSH1 0x20
00000f56: ADD
00000f57: SWAP2
00000f58: POP
00000f59: POP
00000f5a: PUSH1 0x40
00000f5c: MLOAD
00000f5d: DUP1
00000f5e: SWAP2
00000f5f: SUB
00000f60: SWAP1
00000f61: RETURN
00000f62: JUMPDEST
00000f63: CALLVALUE
00000f64: DUP1
00000f65: ISZERO
00000f66: PUSH2 0x0f6e
00000f69: JUMPI
00000f6a: PUSH1 0x00
00000f6c: DUP1
00000f6d: REVERT
00000f6e: JUMPDEST
00000f6f: POP
00000f70: PUSH2 0x0f77
00000f73: PUSH2 0x2357
00000f76: JUMP
00000f77: JUMPDEST
00000f78: PUSH1 0x40
00000f7a: MLOAD
00000f7b: DUP1
00000f7c: DUP3
00000f7d: DUP2
00000f7e: MSTORE
00000f7f: PUSH1 0x20
00000f81: ADD
00000f82: SWAP2
00000f83: POP
00000f84: POP
00000f85: PUSH1 0x40
00000f87: MLOAD
00000f88: DUP1
00000f89: SWAP2
00000f8a: SUB
00000f8b: SWAP1
00000f8c: RETURN
00000f8d: JUMPDEST
00000f8e: CALLVALUE
00000f8f: DUP1
00000f90: ISZERO
00000f91: PUSH2 0x0f99
00000f94: JUMPI
00000f95: PUSH1 0x00
00000f97: DUP1
00000f98: REVERT
00000f99: JUMPDEST
00000f9a: POP
00000f9b: PUSH2 0x0fdc
00000f9e: PUSH1 0x04
00000fa0: DUP1
00000fa1: CALLDATASIZE
00000fa2: SUB
00000fa3: PUSH1 0x20
00000fa5: DUP2
00000fa6: LT
00000fa7: ISZERO
00000fa8: PUSH2 0x0fb0
00000fab: JUMPI
00000fac: PUSH1 0x00
00000fae: DUP1
00000faf: REVERT
00000fb0: JUMPDEST
00000fb1: DUP2
00000fb2: ADD
00000fb3: SWAP1
00000fb4: DUP1
00000fb5: DUP1
00000fb6: CALLDATALOAD
00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcc: AND
00000fcd: SWAP1
00000fce: PUSH1 0x20
00000fd0: ADD
00000fd1: SWAP1
00000fd2: SWAP3
00000fd3: SWAP2
00000fd4: SWAP1
00000fd5: POP
00000fd6: POP
00000fd7: POP
00000fd8: PUSH2 0x235d
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: PUSH1 0x40
00000fdf: MLOAD
00000fe0: DUP1
00000fe1: DUP3
00000fe2: DUP2
00000fe3: MSTORE
00000fe4: PUSH1 0x20
00000fe6: ADD
00000fe7: SWAP2
00000fe8: POP
00000fe9: POP
00000fea: PUSH1 0x40
00000fec: MLOAD
00000fed: DUP1
00000fee: SWAP2
00000fef: SUB
00000ff0: SWAP1
00000ff1: RETURN
00000ff2: JUMPDEST
00000ff3: CALLVALUE
00000ff4: DUP1
00000ff5: ISZERO
00000ff6: PUSH2 0x0ffe
00000ff9: JUMPI
00000ffa: PUSH1 0x00
00000ffc: DUP1
00000ffd: REVERT
00000ffe: JUMPDEST
00000fff: POP
00001000: PUSH2 0x10e2
00001003: PUSH1 0x04
00001005: DUP1
00001006: CALLDATASIZE
00001007: SUB
00001008: PUSH1 0x60
0000100a: DUP2
0000100b: LT
0000100c: ISZERO
0000100d: PUSH2 0x1015
00001010: JUMPI
00001011: PUSH1 0x00
00001013: DUP1
00001014: REVERT
00001015: JUMPDEST
00001016: DUP2
00001017: ADD
00001018: SWAP1
00001019: DUP1
0000101a: DUP1
0000101b: CALLDATALOAD
0000101c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001031: AND
00001032: SWAP1
00001033: PUSH1 0x20
00001035: ADD
00001036: SWAP1
00001037: SWAP3
00001038: SWAP2
00001039: SWAP1
0000103a: DUP1
0000103b: CALLDATALOAD
0000103c: SWAP1
0000103d: PUSH1 0x20
0000103f: ADD
00001040: SWAP1
00001041: SWAP3
00001042: SWAP2
00001043: SWAP1
00001044: DUP1
00001045: CALLDATALOAD
00001046: SWAP1
00001047: PUSH1 0x20
00001049: ADD
0000104a: SWAP1
0000104b: PUSH5 0x0100000000
00001051: DUP2
00001052: GT
00001053: ISZERO
00001054: PUSH2 0x105c
00001057: JUMPI
00001058: PUSH1 0x00
0000105a: DUP1
0000105b: REVERT
0000105c: JUMPDEST
0000105d: DUP3
0000105e: ADD
0000105f: DUP4
00001060: PUSH1 0x20
00001062: DUP3
00001063: ADD
00001064: GT
00001065: ISZERO
00001066: PUSH2 0x106e
00001069: JUMPI
0000106a: PUSH1 0x00
0000106c: DUP1
0000106d: REVERT
0000106e: JUMPDEST
0000106f: DUP1
00001070: CALLDATALOAD
00001071: SWAP1
00001072: PUSH1 0x20
00001074: ADD
00001075: SWAP2
00001076: DUP5
00001077: PUSH1 0x01
00001079: DUP4
0000107a: MUL
0000107b: DUP5
0000107c: ADD
0000107d: GT
0000107e: PUSH5 0x0100000000
00001084: DUP4
00001085: GT
00001086: OR
00001087: ISZERO
00001088: PUSH2 0x1090
0000108b: JUMPI
0000108c: PUSH1 0x00
0000108e: DUP1
0000108f: REVERT
00001090: JUMPDEST
00001091: SWAP2
00001092: SWAP1
00001093: DUP1
00001094: DUP1
00001095: PUSH1 0x1f
00001097: ADD
00001098: PUSH1 0x20
0000109a: DUP1
0000109b: SWAP2
0000109c: DIV
0000109d: MUL
0000109e: PUSH1 0x20
000010a0: ADD
000010a1: PUSH1 0x40
000010a3: MLOAD
000010a4: SWAP1
000010a5: DUP2
000010a6: ADD
000010a7: PUSH1 0x40
000010a9: MSTORE
000010aa: DUP1
000010ab: SWAP4
000010ac: SWAP3
000010ad: SWAP2
000010ae: SWAP1
000010af: DUP2
000010b0: DUP2
000010b1: MSTORE
000010b2: PUSH1 0x20
000010b4: ADD
000010b5: DUP4
000010b6: DUP4
000010b7: DUP1
000010b8: DUP3
000010b9: DUP5
000010ba: CALLDATACOPY
000010bb: PUSH1 0x00
000010bd: DUP2
000010be: DUP5
000010bf: ADD
000010c0: MSTORE
000010c1: PUSH1 0x1f
000010c3: NOT
000010c4: PUSH1 0x1f
000010c6: DUP3
000010c7: ADD
000010c8: AND
000010c9: SWAP1
000010ca: POP
000010cb: DUP1
000010cc: DUP4
000010cd: ADD
000010ce: SWAP3
000010cf: POP
000010d0: POP
000010d1: POP
000010d2: POP
000010d3: POP
000010d4: POP
000010d5: POP
000010d6: SWAP2
000010d7: SWAP3
000010d8: SWAP2
000010d9: SWAP3
000010da: SWAP1
000010db: POP
000010dc: POP
000010dd: POP
000010de: PUSH2 0x23a6
000010e1: JUMP
000010e2: JUMPDEST
000010e3: PUSH1 0x40
000010e5: MLOAD
000010e6: DUP1
000010e7: DUP3
000010e8: ISZERO
000010e9: ISZERO
000010ea: ISZERO
000010eb: ISZERO
000010ec: DUP2
000010ed: MSTORE
000010ee: PUSH1 0x20
000010f0: ADD
000010f1: SWAP2
000010f2: POP
000010f3: POP
000010f4: PUSH1 0x40
000010f6: MLOAD
000010f7: DUP1
000010f8: SWAP2
000010f9: SUB
000010fa: SWAP1
000010fb: RETURN
000010fc: JUMPDEST
000010fd: CALLVALUE
000010fe: DUP1
000010ff: ISZERO
00001100: PUSH2 0x1108
00001103: JUMPI
00001104: PUSH1 0x00
00001106: DUP1
00001107: REVERT
00001108: JUMPDEST
00001109: POP
0000110a: PUSH2 0x1111
0000110d: PUSH2 0x250e
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH1 0x40
00001114: MLOAD
00001115: DUP1
00001116: DUP3
00001117: DUP2
00001118: MSTORE
00001119: PUSH1 0x20
0000111b: ADD
0000111c: SWAP2
0000111d: POP
0000111e: POP
0000111f: PUSH1 0x40
00001121: MLOAD
00001122: DUP1
00001123: SWAP2
00001124: SUB
00001125: SWAP1
00001126: RETURN
00001127: JUMPDEST
00001128: CALLVALUE
00001129: DUP1
0000112a: ISZERO
0000112b: PUSH2 0x1133
0000112e: JUMPI
0000112f: PUSH1 0x00
00001131: DUP1
00001132: REVERT
00001133: JUMPDEST
00001134: POP
00001135: PUSH2 0x1196
00001138: PUSH1 0x04
0000113a: DUP1
0000113b: CALLDATASIZE
0000113c: SUB
0000113d: PUSH1 0x40
0000113f: DUP2
00001140: LT
00001141: ISZERO
00001142: PUSH2 0x114a
00001145: JUMPI
00001146: PUSH1 0x00
00001148: DUP1
00001149: REVERT
0000114a: JUMPDEST
0000114b: DUP2
0000114c: ADD
0000114d: SWAP1
0000114e: DUP1
0000114f: DUP1
00001150: CALLDATALOAD
00001151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001166: AND
00001167: SWAP1
00001168: PUSH1 0x20
0000116a: ADD
0000116b: SWAP1
0000116c: SWAP3
0000116d: SWAP2
0000116e: SWAP1
0000116f: DUP1
00001170: CALLDATALOAD
00001171: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001186: AND
00001187: SWAP1
00001188: PUSH1 0x20
0000118a: ADD
0000118b: SWAP1
0000118c: SWAP3
0000118d: SWAP2
0000118e: SWAP1
0000118f: POP
00001190: POP
00001191: POP
00001192: PUSH2 0x2514
00001195: JUMP
00001196: JUMPDEST
00001197: PUSH1 0x40
00001199: MLOAD
0000119a: DUP1
0000119b: DUP3
0000119c: DUP2
0000119d: MSTORE
0000119e: PUSH1 0x20
000011a0: ADD
000011a1: SWAP2
000011a2: POP
000011a3: POP
000011a4: PUSH1 0x40
000011a6: MLOAD
000011a7: DUP1
000011a8: SWAP2
000011a9: SUB
000011aa: SWAP1
000011ab: RETURN
000011ac: JUMPDEST
000011ad: PUSH2 0x11ee
000011b0: PUSH1 0x04
000011b2: DUP1
000011b3: CALLDATASIZE
000011b4: SUB
000011b5: PUSH1 0x20
000011b7: DUP2
000011b8: LT
000011b9: ISZERO
000011ba: PUSH2 0x11c2
000011bd: JUMPI
000011be: PUSH1 0x00
000011c0: DUP1
000011c1: REVERT
000011c2: JUMPDEST
000011c3: DUP2
000011c4: ADD
000011c5: SWAP1
000011c6: DUP1
000011c7: DUP1
000011c8: CALLDATALOAD
000011c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011de: AND
000011df: SWAP1
000011e0: PUSH1 0x20
000011e2: ADD
000011e3: SWAP1
000011e4: SWAP3
000011e5: SWAP2
000011e6: SWAP1
000011e7: POP
000011e8: POP
000011e9: POP
000011ea: PUSH2 0x2539
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH1 0x40
000011f1: MLOAD
000011f2: DUP1
000011f3: DUP3
000011f4: ISZERO
000011f5: ISZERO
000011f6: ISZERO
000011f7: ISZERO
000011f8: DUP2
000011f9: MSTORE
000011fa: PUSH1 0x20
000011fc: ADD
000011fd: SWAP2
000011fe: POP
000011ff: POP
00001200: PUSH1 0x40
00001202: MLOAD
00001203: DUP1
00001204: SWAP2
00001205: SUB
00001206: SWAP1
00001207: RETURN
00001208: JUMPDEST
00001209: CALLVALUE
0000120a: DUP1
0000120b: ISZERO
0000120c: PUSH2 0x1214
0000120f: JUMPI
00001210: PUSH1 0x00
00001212: DUP1
00001213: REVERT
00001214: JUMPDEST
00001215: POP
00001216: PUSH2 0x1257
00001219: PUSH1 0x04
0000121b: DUP1
0000121c: CALLDATASIZE
0000121d: SUB
0000121e: PUSH1 0x20
00001220: DUP2
00001221: LT
00001222: ISZERO
00001223: PUSH2 0x122b
00001226: JUMPI
00001227: PUSH1 0x00
00001229: DUP1
0000122a: REVERT
0000122b: JUMPDEST
0000122c: DUP2
0000122d: ADD
0000122e: SWAP1
0000122f: DUP1
00001230: DUP1
00001231: CALLDATALOAD
00001232: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001247: AND
00001248: SWAP1
00001249: PUSH1 0x20
0000124b: ADD
0000124c: SWAP1
0000124d: SWAP3
0000124e: SWAP2
0000124f: SWAP1
00001250: POP
00001251: POP
00001252: POP
00001253: PUSH2 0x2a10
00001256: JUMP
00001257: JUMPDEST
00001258: STOP
00001259: JUMPDEST
0000125a: CALLVALUE
0000125b: DUP1
0000125c: ISZERO
0000125d: PUSH2 0x1265
00001260: JUMPI
00001261: PUSH1 0x00
00001263: DUP1
00001264: REVERT
00001265: JUMPDEST
00001266: POP
00001267: PUSH2 0x126e
0000126a: PUSH2 0x2afa
0000126d: JUMP
0000126e: JUMPDEST
0000126f: PUSH1 0x40
00001271: MLOAD
00001272: DUP1
00001273: DUP3
00001274: DUP2
00001275: MSTORE
00001276: PUSH1 0x20
00001278: ADD
00001279: SWAP2
0000127a: POP
0000127b: POP
0000127c: PUSH1 0x40
0000127e: MLOAD
0000127f: DUP1
00001280: SWAP2
00001281: SUB
00001282: SWAP1
00001283: RETURN
00001284: JUMPDEST
00001285: PUSH1 0x06
00001287: DUP1
00001288: SLOAD
00001289: PUSH1 0x01
0000128b: DUP2
0000128c: PUSH1 0x01
0000128e: AND
0000128f: ISZERO
00001290: PUSH2 0x0100
00001293: MUL
00001294: SUB
00001295: AND
00001296: PUSH1 0x02
00001298: SWAP1
00001299: DIV
0000129a: DUP1
0000129b: PUSH1 0x1f
0000129d: ADD
0000129e: PUSH1 0x20
000012a0: DUP1
000012a1: SWAP2
000012a2: DIV
000012a3: MUL
000012a4: PUSH1 0x20
000012a6: ADD
000012a7: PUSH1 0x40
000012a9: MLOAD
000012aa: SWAP1
000012ab: DUP2
000012ac: ADD
000012ad: PUSH1 0x40
000012af: MSTORE
000012b0: DUP1
000012b1: SWAP3
000012b2: SWAP2
000012b3: SWAP1
000012b4: DUP2
000012b5: DUP2
000012b6: MSTORE
000012b7: PUSH1 0x20
000012b9: ADD
000012ba: DUP3
000012bb: DUP1
000012bc: SLOAD
000012bd: PUSH1 0x01
000012bf: DUP2
000012c0: PUSH1 0x01
000012c2: AND
000012c3: ISZERO
000012c4: PUSH2 0x0100
000012c7: MUL
000012c8: SUB
000012c9: AND
000012ca: PUSH1 0x02
000012cc: SWAP1
000012cd: DIV
000012ce: DUP1
000012cf: ISZERO
000012d0: PUSH2 0x131a
000012d3: JUMPI
000012d4: DUP1
000012d5: PUSH1 0x1f
000012d7: LT
000012d8: PUSH2 0x12ef
000012db: JUMPI
000012dc: PUSH2 0x0100
000012df: DUP1
000012e0: DUP4
000012e1: SLOAD
000012e2: DIV
000012e3: MUL
000012e4: DUP4
000012e5: MSTORE
000012e6: SWAP2
000012e7: PUSH1 0x20
000012e9: ADD
000012ea: SWAP2
000012eb: PUSH2 0x131a
000012ee: JUMP
000012ef: JUMPDEST
000012f0: DUP3
000012f1: ADD
000012f2: SWAP2
000012f3: SWAP1
000012f4: PUSH1 0x00
000012f6: MSTORE
000012f7: PUSH1 0x20
000012f9: PUSH1 0x00
000012fb: KECCAK256
000012fc: SWAP1
000012fd: JUMPDEST
000012fe: DUP2
000012ff: SLOAD
00001300: DUP2
00001301: MSTORE
00001302: SWAP1
00001303: PUSH1 0x01
00001305: ADD
00001306: SWAP1
00001307: PUSH1 0x20
00001309: ADD
0000130a: DUP1
0000130b: DUP4
0000130c: GT
0000130d: PUSH2 0x12fd
00001310: JUMPI
00001311: DUP3
00001312: SWAP1
00001313: SUB
00001314: PUSH1 0x1f
00001316: AND
00001317: DUP3
00001318: ADD
00001319: SWAP2
0000131a: JUMPDEST
0000131b: POP
0000131c: POP
0000131d: POP
0000131e: POP
0000131f: POP
00001320: DUP2
00001321: JUMP
00001322: JUMPDEST
00001323: PUSH1 0x00
00001325: DUP2
00001326: PUSH1 0x0b
00001328: PUSH1 0x00
0000132a: CALLER
0000132b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001340: AND
00001341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001356: AND
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x20
0000135b: ADD
0000135c: SWAP1
0000135d: DUP2
0000135e: MSTORE
0000135f: PUSH1 0x20
00001361: ADD
00001362: PUSH1 0x00
00001364: KECCAK256
00001365: PUSH1 0x00
00001367: DUP6
00001368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137d: AND
0000137e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001393: AND
00001394: DUP2
00001395: MSTORE
00001396: PUSH1 0x20
00001398: ADD
00001399: SWAP1
0000139a: DUP2
0000139b: MSTORE
0000139c: PUSH1 0x20
0000139e: ADD
0000139f: PUSH1 0x00
000013a1: KECCAK256
000013a2: DUP2
000013a3: SWAP1
000013a4: SSTORE
000013a5: POP
000013a6: PUSH1 0x01
000013a8: SWAP1
000013a9: POP
000013aa: SWAP3
000013ab: SWAP2
000013ac: POP
000013ad: POP
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH2 0x13b8
000013b3: CALLER
000013b4: PUSH2 0x233a
000013b7: JUMP
000013b8: JUMPDEST
000013b9: PUSH2 0x140d
000013bc: JUMPI
000013bd: PUSH1 0x40
000013bf: MLOAD
000013c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013e1: DUP2
000013e2: MSTORE
000013e3: PUSH1 0x04
000013e5: ADD
000013e6: DUP1
000013e7: DUP1
000013e8: PUSH1 0x20
000013ea: ADD
000013eb: DUP3
000013ec: DUP2
000013ed: SUB
000013ee: DUP3
000013ef: MSTORE
000013f0: PUSH1 0x30
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x20
000013f6: ADD
000013f7: DUP1
000013f8: PUSH2 0x447f
000013fb: PUSH1 0x30
000013fd: SWAP2
000013fe: CODECOPY
000013ff: PUSH1 0x40
00001401: ADD
00001402: SWAP2
00001403: POP
00001404: POP
00001405: PUSH1 0x40
00001407: MLOAD
00001408: DUP1
00001409: SWAP2
0000140a: SUB
0000140b: SWAP1
0000140c: REVERT
0000140d: JUMPDEST
0000140e: PUSH1 0x00
00001410: DUP2
00001411: PUSH1 0xff
00001413: AND
00001414: LT
00001415: ISZERO
00001416: DUP1
00001417: ISZERO
00001418: PUSH2 0x1425
0000141b: JUMPI
0000141c: POP
0000141d: PUSH1 0x64
0000141f: DUP2
00001420: PUSH1 0xff
00001422: AND
00001423: GT
00001424: ISZERO
00001425: JUMPDEST
00001426: PUSH2 0x1497
00001429: JUMPI
0000142a: PUSH1 0x40
0000142c: MLOAD
0000142d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000144e: DUP2
0000144f: MSTORE
00001450: PUSH1 0x04
00001452: ADD
00001453: DUP1
00001454: DUP1
00001455: PUSH1 0x20
00001457: ADD
00001458: DUP3
00001459: DUP2
0000145a: SUB
0000145b: DUP3
0000145c: MSTORE
0000145d: PUSH1 0x18
0000145f: DUP2
00001460: MSTORE
00001461: PUSH1 0x20
00001463: ADD
00001464: DUP1
00001465: PUSH32 0x44617461436f6e74726163743a57726f6e6720726174696f0000000000000000
00001486: DUP2
00001487: MSTORE
00001488: POP
00001489: PUSH1 0x20
0000148b: ADD
0000148c: SWAP2
0000148d: POP
0000148e: POP
0000148f: PUSH1 0x40
00001491: MLOAD
00001492: DUP1
00001493: SWAP2
00001494: SUB
00001495: SWAP1
00001496: REVERT
00001497: JUMPDEST
00001498: DUP1
00001499: PUSH1 0x05
0000149b: PUSH1 0x01
0000149d: PUSH2 0x0100
000014a0: EXP
000014a1: DUP2
000014a2: SLOAD
000014a3: DUP2
000014a4: PUSH1 0xff
000014a6: MUL
000014a7: NOT
000014a8: AND
000014a9: SWAP1
000014aa: DUP4
000014ab: PUSH1 0xff
000014ad: AND
000014ae: MUL
000014af: OR
000014b0: SWAP1
000014b1: SSTORE
000014b2: POP
000014b3: POP
000014b4: JUMP
000014b5: JUMPDEST
000014b6: PUSH2 0x14be
000014b9: CALLER
000014ba: PUSH2 0x233a
000014bd: JUMP
000014be: JUMPDEST
000014bf: PUSH2 0x1513
000014c2: JUMPI
000014c3: PUSH1 0x40
000014c5: MLOAD
000014c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014e7: DUP2
000014e8: MSTORE
000014e9: PUSH1 0x04
000014eb: ADD
000014ec: DUP1
000014ed: DUP1
000014ee: PUSH1 0x20
000014f0: ADD
000014f1: DUP3
000014f2: DUP2
000014f3: SUB
000014f4: DUP3
000014f5: MSTORE
000014f6: PUSH1 0x30
000014f8: DUP2
000014f9: MSTORE
000014fa: PUSH1 0x20
000014fc: ADD
000014fd: DUP1
000014fe: PUSH2 0x447f
00001501: PUSH1 0x30
00001503: SWAP2
00001504: CODECOPY
00001505: PUSH1 0x40
00001507: ADD
00001508: SWAP2
00001509: POP
0000150a: POP
0000150b: PUSH1 0x40
0000150d: MLOAD
0000150e: DUP1
0000150f: SWAP2
00001510: SUB
00001511: SWAP1
00001512: REVERT
00001513: JUMPDEST
00001514: DUP1
00001515: PUSH1 0x00
00001517: SLOAD
00001518: LT
00001519: ISZERO
0000151a: PUSH2 0x156e
0000151d: JUMPI
0000151e: PUSH1 0x40
00001520: MLOAD
00001521: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001542: DUP2
00001543: MSTORE
00001544: PUSH1 0x04
00001546: ADD
00001547: DUP1
00001548: DUP1
00001549: PUSH1 0x20
0000154b: ADD
0000154c: DUP3
0000154d: DUP2
0000154e: SUB
0000154f: DUP3
00001550: MSTORE
00001551: PUSH1 0x22
00001553: DUP2
00001554: MSTORE
00001555: PUSH1 0x20
00001557: ADD
00001558: DUP1
00001559: PUSH2 0x43d7
0000155c: PUSH1 0x22
0000155e: SWAP2
0000155f: CODECOPY
00001560: PUSH1 0x40
00001562: ADD
00001563: SWAP2
00001564: POP
00001565: POP
00001566: PUSH1 0x40
00001568: MLOAD
00001569: DUP1
0000156a: SWAP2
0000156b: SUB
0000156c: SWAP1
0000156d: REVERT
0000156e: JUMPDEST
0000156f: PUSH1 0x00
00001571: SLOAD
00001572: DUP2
00001573: PUSH1 0x00
00001575: SLOAD
00001576: ADD
00001577: GT
00001578: PUSH2 0x15e9
0000157b: JUMPI
0000157c: PUSH1 0x40
0000157e: MLOAD
0000157f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015a0: DUP2
000015a1: MSTORE
000015a2: PUSH1 0x04
000015a4: ADD
000015a5: DUP1
000015a6: DUP1
000015a7: PUSH1 0x20
000015a9: ADD
000015aa: DUP3
000015ab: DUP2
000015ac: SUB
000015ad: DUP3
000015ae: MSTORE
000015af: PUSH1 0x1f
000015b1: DUP2
000015b2: MSTORE
000015b3: PUSH1 0x20
000015b5: ADD
000015b6: DUP1
000015b7: PUSH32 0x44617461436f6e74726163743a204164646974696f6e206f766572666c6f7700
000015d8: DUP2
000015d9: MSTORE
000015da: POP
000015db: PUSH1 0x20
000015dd: ADD
000015de: SWAP2
000015df: POP
000015e0: POP
000015e1: PUSH1 0x40
000015e3: MLOAD
000015e4: DUP1
000015e5: SWAP2
000015e6: SUB
000015e7: SWAP1
000015e8: REVERT
000015e9: JUMPDEST
000015ea: PUSH1 0x00
000015ec: PUSH1 0x64
000015ee: PUSH1 0x01
000015f0: DUP4
000015f1: PUSH1 0x05
000015f3: PUSH1 0x01
000015f5: SWAP1
000015f6: SLOAD
000015f7: SWAP1
000015f8: PUSH2 0x0100
000015fb: EXP
000015fc: SWAP1
000015fd: DIV
000015fe: PUSH1 0xff
00001600: AND
00001601: PUSH1 0x64
00001603: SUB
00001604: PUSH1 0xff
00001606: AND
00001607: MUL
00001608: SUB
00001609: DUP2
0000160a: PUSH2 0x160f
0000160d: JUMPI
0000160e: INVALID
0000160f: JUMPDEST
00001610: DIV
00001611: SWAP1
00001612: POP
00001613: DUP1
00001614: DUP3
00001615: GT
00001616: DUP1
00001617: ISZERO
00001618: PUSH2 0x1626
0000161b: JUMPI
0000161c: POP
0000161d: PUSH1 0x02
0000161f: SLOAD
00001620: DUP2
00001621: PUSH1 0x02
00001623: SLOAD
00001624: ADD
00001625: GT
00001626: JUMPDEST
00001627: PUSH2 0x162f
0000162a: JUMPI
0000162b: PUSH1 0x00
0000162d: DUP1
0000162e: REVERT
0000162f: JUMPDEST
00001630: DUP2
00001631: PUSH1 0x00
00001633: DUP1
00001634: DUP3
00001635: DUP3
00001636: SLOAD
00001637: SUB
00001638: SWAP3
00001639: POP
0000163a: POP
0000163b: DUP2
0000163c: SWAP1
0000163d: SSTORE
0000163e: POP
0000163f: DUP1
00001640: PUSH1 0x02
00001642: PUSH1 0x00
00001644: DUP3
00001645: DUP3
00001646: SLOAD
00001647: ADD
00001648: SWAP3
00001649: POP
0000164a: POP
0000164b: DUP2
0000164c: SWAP1
0000164d: SSTORE
0000164e: POP
0000164f: DUP1
00001650: DUP3
00001651: SUB
00001652: PUSH1 0x03
00001654: PUSH1 0x00
00001656: DUP3
00001657: DUP3
00001658: SLOAD
00001659: ADD
0000165a: SWAP3
0000165b: POP
0000165c: POP
0000165d: DUP2
0000165e: SWAP1
0000165f: SSTORE
00001660: POP
00001661: POP
00001662: POP
00001663: JUMP
00001664: JUMPDEST
00001665: PUSH1 0x00
00001667: DUP1
00001668: DUP3
00001669: EXTCODESIZE
0000166a: SWAP1
0000166b: POP
0000166c: PUSH1 0x00
0000166e: DUP2
0000166f: GT
00001670: SWAP2
00001671: POP
00001672: POP
00001673: SWAP2
00001674: SWAP1
00001675: POP
00001676: JUMP
00001677: JUMPDEST
00001678: PUSH1 0x09
0000167a: SLOAD
0000167b: DUP2
0000167c: JUMP
0000167d: JUMPDEST
0000167e: PUSH1 0x00
00001680: PUSH1 0x0b
00001682: PUSH1 0x00
00001684: DUP6
00001685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169a: AND
0000169b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b0: AND
000016b1: DUP2
000016b2: MSTORE
000016b3: PUSH1 0x20
000016b5: ADD
000016b6: SWAP1
000016b7: DUP2
000016b8: MSTORE
000016b9: PUSH1 0x20
000016bb: ADD
000016bc: PUSH1 0x00
000016be: KECCAK256
000016bf: PUSH1 0x00
000016c1: CALLER
000016c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d7: AND
000016d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ed: AND
000016ee: DUP2
000016ef: MSTORE
000016f0: PUSH1 0x20
000016f2: ADD
000016f3: SWAP1
000016f4: DUP2
000016f5: MSTORE
000016f6: PUSH1 0x20
000016f8: ADD
000016f9: PUSH1 0x00
000016fb: KECCAK256
000016fc: SLOAD
000016fd: DUP3
000016fe: GT
000016ff: ISZERO
00001700: PUSH2 0x1708
00001703: JUMPI
00001704: PUSH1 0x00
00001706: DUP1
00001707: REVERT
00001708: JUMPDEST
00001709: DUP2
0000170a: PUSH1 0x0b
0000170c: PUSH1 0x00
0000170e: DUP7
0000170f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001724: AND
00001725: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173a: AND
0000173b: DUP2
0000173c: MSTORE
0000173d: PUSH1 0x20
0000173f: ADD
00001740: SWAP1
00001741: DUP2
00001742: MSTORE
00001743: PUSH1 0x20
00001745: ADD
00001746: PUSH1 0x00
00001748: KECCAK256
00001749: PUSH1 0x00
0000174b: CALLER
0000174c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001761: AND
00001762: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001777: AND
00001778: DUP2
00001779: MSTORE
0000177a: PUSH1 0x20
0000177c: ADD
0000177d: SWAP1
0000177e: DUP2
0000177f: MSTORE
00001780: PUSH1 0x20
00001782: ADD
00001783: PUSH1 0x00
00001785: KECCAK256
00001786: PUSH1 0x00
00001788: DUP3
00001789: DUP3
0000178a: SLOAD
0000178b: SUB
0000178c: SWAP3
0000178d: POP
0000178e: POP
0000178f: DUP2
00001790: SWAP1
00001791: SSTORE
00001792: POP
00001793: PUSH2 0x179d
00001796: DUP5
00001797: DUP5
00001798: DUP5
00001799: PUSH2 0x2b00
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH1 0x01
000017a0: SWAP1
000017a1: POP
000017a2: SWAP4
000017a3: SWAP3
000017a4: POP
000017a5: POP
000017a6: POP
000017a7: JUMP
000017a8: JUMPDEST
000017a9: PUSH1 0x08
000017ab: PUSH1 0x00
000017ad: SWAP1
000017ae: SLOAD
000017af: SWAP1
000017b0: PUSH2 0x0100
000017b3: EXP
000017b4: SWAP1
000017b5: DIV
000017b6: PUSH1 0xff
000017b8: AND
000017b9: DUP2
000017ba: JUMP
000017bb: JUMPDEST
000017bc: PUSH1 0x00
000017be: PUSH2 0x17c6
000017c1: CALLER
000017c2: PUSH2 0x233a
000017c5: JUMP
000017c6: JUMPDEST
000017c7: PUSH2 0x181b
000017ca: JUMPI
000017cb: PUSH1 0x40
000017cd: MLOAD
000017ce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017ef: DUP2
000017f0: MSTORE
000017f1: PUSH1 0x04
000017f3: ADD
000017f4: DUP1
000017f5: DUP1
000017f6: PUSH1 0x20
000017f8: ADD
000017f9: DUP3
000017fa: DUP2
000017fb: SUB
000017fc: DUP3
000017fd: MSTORE
000017fe: PUSH1 0x30
00001800: DUP2
00001801: MSTORE
00001802: PUSH1 0x20
00001804: ADD
00001805: DUP1
00001806: PUSH2 0x447f
00001809: PUSH1 0x30
0000180b: SWAP2
0000180c: CODECOPY
0000180d: PUSH1 0x40
0000180f: ADD
00001810: SWAP2
00001811: POP
00001812: POP
00001813: PUSH1 0x40
00001815: MLOAD
00001816: DUP1
00001817: SWAP2
00001818: SUB
00001819: SWAP1
0000181a: REVERT
0000181b: JUMPDEST
0000181c: PUSH2 0x1823
0000181f: PUSH2 0x2e71
00001822: JUMP
00001823: JUMPDEST
00001824: PUSH2 0x182d
00001827: DUP4
00001828: DUP4
00001829: PUSH2 0x2fca
0000182c: JUMP
0000182d: JUMPDEST
0000182e: PUSH1 0x01
00001830: SWAP1
00001831: POP
00001832: SWAP3
00001833: SWAP2
00001834: POP
00001835: POP
00001836: JUMP
00001837: JUMPDEST
00001838: PUSH1 0x00
0000183a: DUP2
0000183b: PUSH1 0x0a
0000183d: PUSH1 0x00
0000183f: CALLER
00001840: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001855: AND
00001856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186b: AND
0000186c: DUP2
0000186d: MSTORE
0000186e: PUSH1 0x20
00001870: ADD
00001871: SWAP1
00001872: DUP2
00001873: MSTORE
00001874: PUSH1 0x20
00001876: ADD
00001877: PUSH1 0x00
00001879: KECCAK256
0000187a: SLOAD
0000187b: LT
0000187c: ISZERO
0000187d: PUSH2 0x1885
00001880: JUMPI
00001881: PUSH1 0x00
00001883: DUP1
00001884: REVERT
00001885: JUMPDEST
00001886: DUP2
00001887: PUSH1 0x0a
00001889: PUSH1 0x00
0000188b: CALLER
0000188c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a1: AND
000018a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b7: AND
000018b8: DUP2
000018b9: MSTORE
000018ba: PUSH1 0x20
000018bc: ADD
000018bd: SWAP1
000018be: DUP2
000018bf: MSTORE
000018c0: PUSH1 0x20
000018c2: ADD
000018c3: PUSH1 0x00
000018c5: KECCAK256
000018c6: PUSH1 0x00
000018c8: DUP3
000018c9: DUP3
000018ca: SLOAD
000018cb: SUB
000018cc: SWAP3
000018cd: POP
000018ce: POP
000018cf: DUP2
000018d0: SWAP1
000018d1: SSTORE
000018d2: POP
000018d3: DUP2
000018d4: PUSH1 0x09
000018d6: PUSH1 0x00
000018d8: DUP3
000018d9: DUP3
000018da: SLOAD
000018db: SUB
000018dc: SWAP3
000018dd: POP
000018de: POP
000018df: DUP2
000018e0: SWAP1
000018e1: SSTORE
000018e2: POP
000018e3: CALLER
000018e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f9: AND
000018fa: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5
0000191b: DUP4
0000191c: PUSH1 0x40
0000191e: MLOAD
0000191f: DUP1
00001920: DUP3
00001921: DUP2
00001922: MSTORE
00001923: PUSH1 0x20
00001925: ADD
00001926: SWAP2
00001927: POP
00001928: POP
00001929: PUSH1 0x40
0000192b: MLOAD
0000192c: DUP1
0000192d: SWAP2
0000192e: SUB
0000192f: SWAP1
00001930: LOG2
00001931: PUSH1 0x01
00001933: SWAP1
00001934: POP
00001935: SWAP2
00001936: SWAP1
00001937: POP
00001938: JUMP
00001939: JUMPDEST
0000193a: PUSH1 0x01
0000193c: PUSH1 0x20
0000193e: MSTORE
0000193f: DUP1
00001940: PUSH1 0x00
00001942: MSTORE
00001943: PUSH1 0x40
00001945: PUSH1 0x00
00001947: KECCAK256
00001948: PUSH1 0x00
0000194a: SWAP2
0000194b: POP
0000194c: SWAP1
0000194d: POP
0000194e: SLOAD
0000194f: DUP2
00001950: JUMP
00001951: JUMPDEST
00001952: PUSH1 0x00
00001954: PUSH2 0x195c
00001957: CALLER
00001958: PUSH2 0x1664
0000195b: JUMP
0000195c: JUMPDEST
0000195d: ISZERO
0000195e: PUSH2 0x19b2
00001961: JUMPI
00001962: PUSH1 0x40
00001964: MLOAD
00001965: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001986: DUP2
00001987: MSTORE
00001988: PUSH1 0x04
0000198a: ADD
0000198b: DUP1
0000198c: DUP1
0000198d: PUSH1 0x20
0000198f: ADD
00001990: DUP3
00001991: DUP2
00001992: SUB
00001993: DUP3
00001994: MSTORE
00001995: PUSH1 0x27
00001997: DUP2
00001998: MSTORE
00001999: PUSH1 0x20
0000199b: ADD
0000199c: DUP1
0000199d: PUSH2 0x42ad
000019a0: PUSH1 0x27
000019a2: SWAP2
000019a3: CODECOPY
000019a4: PUSH1 0x40
000019a6: ADD
000019a7: SWAP2
000019a8: POP
000019a9: POP
000019aa: PUSH1 0x40
000019ac: MLOAD
000019ad: DUP1
000019ae: SWAP2
000019af: SUB
000019b0: SWAP1
000019b1: REVERT
000019b2: JUMPDEST
000019b3: PUSH1 0x00
000019b5: PUSH1 0x01
000019b7: PUSH1 0x00
000019b9: CALLER
000019ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019cf: AND
000019d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e5: AND
000019e6: DUP2
000019e7: MSTORE
000019e8: PUSH1 0x20
000019ea: ADD
000019eb: SWAP1
000019ec: DUP2
000019ed: MSTORE
000019ee: PUSH1 0x20
000019f0: ADD
000019f1: PUSH1 0x00
000019f3: KECCAK256
000019f4: SLOAD
000019f5: SWAP1
000019f6: POP
000019f7: DUP1
000019f8: ADDRESS
000019f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0e: AND
00001a0f: BALANCE
00001a10: LT
00001a11: ISZERO
00001a12: PUSH2 0x1a66
00001a15: JUMPI
00001a16: PUSH1 0x40
00001a18: MLOAD
00001a19: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a3a: DUP2
00001a3b: MSTORE
00001a3c: PUSH1 0x04
00001a3e: ADD
00001a3f: DUP1
00001a40: DUP1
00001a41: PUSH1 0x20
00001a43: ADD
00001a44: DUP3
00001a45: DUP2
00001a46: SUB
00001a47: DUP3
00001a48: MSTORE
00001a49: PUSH1 0x32
00001a4b: DUP2
00001a4c: MSTORE
00001a4d: PUSH1 0x20
00001a4f: ADD
00001a50: DUP1
00001a51: PUSH2 0x4582
00001a54: PUSH1 0x32
00001a56: SWAP2
00001a57: CODECOPY
00001a58: PUSH1 0x40
00001a5a: ADD
00001a5b: SWAP2
00001a5c: POP
00001a5d: POP
00001a5e: PUSH1 0x40
00001a60: MLOAD
00001a61: DUP1
00001a62: SWAP2
00001a63: SUB
00001a64: SWAP1
00001a65: REVERT
00001a66: JUMPDEST
00001a67: PUSH1 0x00
00001a69: PUSH2 0x03e8
00001a6c: PUSH1 0x01
00001a6e: DUP4
00001a6f: PUSH1 0x10
00001a71: SLOAD
00001a72: MUL
00001a73: SUB
00001a74: DUP2
00001a75: PUSH2 0x1a7a
00001a78: JUMPI
00001a79: INVALID
00001a7a: JUMPDEST
00001a7b: DIV
00001a7c: SWAP1
00001a7d: POP
00001a7e: PUSH1 0x00
00001a80: DUP2
00001a81: DUP4
00001a82: SUB
00001a83: SWAP1
00001a84: POP
00001a85: DUP1
00001a86: ADDRESS
00001a87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9c: AND
00001a9d: BALANCE
00001a9e: LT
00001a9f: ISZERO
00001aa0: PUSH2 0x1af4
00001aa3: JUMPI
00001aa4: PUSH1 0x40
00001aa6: MLOAD
00001aa7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ac8: DUP2
00001ac9: MSTORE
00001aca: PUSH1 0x04
00001acc: ADD
00001acd: DUP1
00001ace: DUP1
00001acf: PUSH1 0x20
00001ad1: ADD
00001ad2: DUP3
00001ad3: DUP2
00001ad4: SUB
00001ad5: DUP3
00001ad6: MSTORE
00001ad7: PUSH1 0x27
00001ad9: DUP2
00001ada: MSTORE
00001adb: PUSH1 0x20
00001add: ADD
00001ade: DUP1
00001adf: PUSH2 0x4458
00001ae2: PUSH1 0x27
00001ae4: SWAP2
00001ae5: CODECOPY
00001ae6: PUSH1 0x40
00001ae8: ADD
00001ae9: SWAP2
00001aea: POP
00001aeb: POP
00001aec: PUSH1 0x40
00001aee: MLOAD
00001aef: DUP1
00001af0: SWAP2
00001af1: SUB
00001af2: SWAP1
00001af3: REVERT
00001af4: JUMPDEST
00001af5: PUSH2 0x1aff
00001af8: CALLER
00001af9: DUP5
00001afa: DUP5
00001afb: PUSH2 0x32ff
00001afe: JUMP
00001aff: JUMPDEST
00001b00: CALLER
00001b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b16: AND
00001b17: ADDRESS
00001b18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b2d: AND
00001b2e: PUSH32 0xa082022e93cfcd9f1da5f9236718053910f7e840da080c789c7845698dc032ff
00001b4f: DUP6
00001b50: DUP5
00001b51: PUSH1 0x40
00001b53: MLOAD
00001b54: DUP1
00001b55: DUP4
00001b56: DUP2
00001b57: MSTORE
00001b58: PUSH1 0x20
00001b5a: ADD
00001b5b: DUP3
00001b5c: DUP2
00001b5d: MSTORE
00001b5e: PUSH1 0x20
00001b60: ADD
00001b61: SWAP3
00001b62: POP
00001b63: POP
00001b64: POP
00001b65: PUSH1 0x40
00001b67: MLOAD
00001b68: DUP1
00001b69: SWAP2
00001b6a: SUB
00001b6b: SWAP1
00001b6c: LOG3
00001b6d: CALLER
00001b6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b83: AND
00001b84: PUSH2 0x08fc
00001b87: DUP3
00001b88: SWAP1
00001b89: DUP2
00001b8a: ISZERO
00001b8b: MUL
00001b8c: SWAP1
00001b8d: PUSH1 0x40
00001b8f: MLOAD
00001b90: PUSH1 0x00
00001b92: PUSH1 0x40
00001b94: MLOAD
00001b95: DUP1
00001b96: DUP4
00001b97: SUB
00001b98: DUP2
00001b99: DUP6
00001b9a: DUP9
00001b9b: DUP9
00001b9c: CALL
00001b9d: SWAP4
00001b9e: POP
00001b9f: POP
00001ba0: POP
00001ba1: POP
00001ba2: ISZERO
00001ba3: DUP1
00001ba4: ISZERO
00001ba5: PUSH2 0x1bb2
00001ba8: JUMPI
00001ba9: RETURNDATASIZE
00001baa: PUSH1 0x00
00001bac: DUP1
00001bad: RETURNDATACOPY
00001bae: RETURNDATASIZE
00001baf: PUSH1 0x00
00001bb1: REVERT
00001bb2: JUMPDEST
00001bb3: POP
00001bb4: PUSH1 0x01
00001bb6: SWAP4
00001bb7: POP
00001bb8: POP
00001bb9: POP
00001bba: POP
00001bbb: SWAP1
00001bbc: JUMP
00001bbd: JUMPDEST
00001bbe: PUSH1 0x11
00001bc0: SLOAD
00001bc1: DUP2
00001bc2: JUMP
00001bc3: JUMPDEST
00001bc4: PUSH1 0x00
00001bc6: PUSH1 0x04
00001bc8: PUSH1 0x00
00001bca: DUP4
00001bcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be0: AND
00001be1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf6: AND
00001bf7: DUP2
00001bf8: MSTORE
00001bf9: PUSH1 0x20
00001bfb: ADD
00001bfc: SWAP1
00001bfd: DUP2
00001bfe: MSTORE
00001bff: PUSH1 0x20
00001c01: ADD
00001c02: PUSH1 0x00
00001c04: KECCAK256
00001c05: PUSH1 0x00
00001c07: ADD
00001c08: PUSH1 0x00
00001c0a: SWAP1
00001c0b: SLOAD
00001c0c: SWAP1
00001c0d: PUSH2 0x0100
00001c10: EXP
00001c11: SWAP1
00001c12: DIV
00001c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c28: AND
00001c29: SWAP1
00001c2a: POP
00001c2b: SWAP2
00001c2c: SWAP1
00001c2d: POP
00001c2e: JUMP
00001c2f: JUMPDEST
00001c30: PUSH1 0x00
00001c32: PUSH2 0x1c3a
00001c35: CALLER
00001c36: PUSH2 0x233a
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: PUSH2 0x1c8f
00001c3e: JUMPI
00001c3f: PUSH1 0x40
00001c41: MLOAD
00001c42: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c63: DUP2
00001c64: MSTORE
00001c65: PUSH1 0x04
00001c67: ADD
00001c68: DUP1
00001c69: DUP1
00001c6a: PUSH1 0x20
00001c6c: ADD
00001c6d: DUP3
00001c6e: DUP2
00001c6f: SUB
00001c70: DUP3
00001c71: MSTORE
00001c72: PUSH1 0x30
00001c74: DUP2
00001c75: MSTORE
00001c76: PUSH1 0x20
00001c78: ADD
00001c79: DUP1
00001c7a: PUSH2 0x447f
00001c7d: PUSH1 0x30
00001c7f: SWAP2
00001c80: CODECOPY
00001c81: PUSH1 0x40
00001c83: ADD
00001c84: SWAP2
00001c85: POP
00001c86: POP
00001c87: PUSH1 0x40
00001c89: MLOAD
00001c8a: DUP1
00001c8b: SWAP2
00001c8c: SUB
00001c8d: SWAP1
00001c8e: REVERT
00001c8f: JUMPDEST
00001c90: PUSH1 0x00
00001c92: DUP3
00001c93: PUSH1 0xff
00001c95: AND
00001c96: LT
00001c97: ISZERO
00001c98: DUP1
00001c99: ISZERO
00001c9a: PUSH2 0x1ca7
00001c9d: JUMPI
00001c9e: POP
00001c9f: PUSH1 0x1e
00001ca1: DUP3
00001ca2: PUSH1 0xff
00001ca4: AND
00001ca5: GT
00001ca6: ISZERO
00001ca7: JUMPDEST
00001ca8: PUSH2 0x1d19
00001cab: JUMPI
00001cac: PUSH1 0x40
00001cae: MLOAD
00001caf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cd0: DUP2
00001cd1: MSTORE
00001cd2: PUSH1 0x04
00001cd4: ADD
00001cd5: DUP1
00001cd6: DUP1
00001cd7: PUSH1 0x20
00001cd9: ADD
00001cda: DUP3
00001cdb: DUP2
00001cdc: SUB
00001cdd: DUP3
00001cde: MSTORE
00001cdf: PUSH1 0x19
00001ce1: DUP2
00001ce2: MSTORE
00001ce3: PUSH1 0x20
00001ce5: ADD
00001ce6: DUP1
00001ce7: PUSH32 0x4d657461436f696e3a2057726f6e672073656c6c207261746500000000000000
00001d08: DUP2
00001d09: MSTORE
00001d0a: POP
00001d0b: PUSH1 0x20
00001d0d: ADD
00001d0e: SWAP2
00001d0f: POP
00001d10: POP
00001d11: PUSH1 0x40
00001d13: MLOAD
00001d14: DUP1
00001d15: SWAP2
00001d16: SUB
00001d17: SWAP1
00001d18: REVERT
00001d19: JUMPDEST
00001d1a: DUP2
00001d1b: PUSH1 0xff
00001d1d: AND
00001d1e: PUSH1 0x10
00001d20: DUP2
00001d21: SWAP1
00001d22: SSTORE
00001d23: POP
00001d24: PUSH1 0x01
00001d26: SWAP1
00001d27: POP
00001d28: SWAP2
00001d29: SWAP1
00001d2a: POP
00001d2b: JUMP
00001d2c: JUMPDEST
00001d2d: PUSH1 0x10
00001d2f: SLOAD
00001d30: DUP2
00001d31: JUMP
00001d32: JUMPDEST
00001d33: PUSH1 0x05
00001d35: PUSH1 0x02
00001d37: SWAP1
00001d38: SLOAD
00001d39: SWAP1
00001d3a: PUSH2 0x0100
00001d3d: EXP
00001d3e: SWAP1
00001d3f: DIV
00001d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d55: AND
00001d56: DUP2
00001d57: JUMP
00001d58: JUMPDEST
00001d59: PUSH1 0x0a
00001d5b: PUSH1 0x20
00001d5d: MSTORE
00001d5e: DUP1
00001d5f: PUSH1 0x00
00001d61: MSTORE
00001d62: PUSH1 0x40
00001d64: PUSH1 0x00
00001d66: KECCAK256
00001d67: PUSH1 0x00
00001d69: SWAP2
00001d6a: POP
00001d6b: SWAP1
00001d6c: POP
00001d6d: SLOAD
00001d6e: DUP2
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: PUSH1 0x05
00001d73: PUSH1 0x01
00001d75: SWAP1
00001d76: SLOAD
00001d77: SWAP1
00001d78: PUSH2 0x0100
00001d7b: EXP
00001d7c: SWAP1
00001d7d: DIV
00001d7e: PUSH1 0xff
00001d80: AND
00001d81: DUP2
00001d82: JUMP
00001d83: JUMPDEST
00001d84: PUSH1 0x00
00001d86: DUP2
00001d87: PUSH1 0x0a
00001d89: PUSH1 0x00
00001d8b: DUP6
00001d8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da1: AND
00001da2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db7: AND
00001db8: DUP2
00001db9: MSTORE
00001dba: PUSH1 0x20
00001dbc: ADD
00001dbd: SWAP1
00001dbe: DUP2
00001dbf: MSTORE
00001dc0: PUSH1 0x20
00001dc2: ADD
00001dc3: PUSH1 0x00
00001dc5: KECCAK256
00001dc6: SLOAD
00001dc7: LT
00001dc8: ISZERO
00001dc9: PUSH2 0x1dd1
00001dcc: JUMPI
00001dcd: PUSH1 0x00
00001dcf: DUP1
00001dd0: REVERT
00001dd1: JUMPDEST
00001dd2: PUSH1 0x0b
00001dd4: PUSH1 0x00
00001dd6: DUP5
00001dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dec: AND
00001ded: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e02: AND
00001e03: DUP2
00001e04: MSTORE
00001e05: PUSH1 0x20
00001e07: ADD
00001e08: SWAP1
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH1 0x20
00001e0d: ADD
00001e0e: PUSH1 0x00
00001e10: KECCAK256
00001e11: PUSH1 0x00
00001e13: CALLER
00001e14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e29: AND
00001e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e3f: AND
00001e40: DUP2
00001e41: MSTORE
00001e42: PUSH1 0x20
00001e44: ADD
00001e45: SWAP1
00001e46: DUP2
00001e47: MSTORE
00001e48: PUSH1 0x20
00001e4a: ADD
00001e4b: PUSH1 0x00
00001e4d: KECCAK256
00001e4e: SLOAD
00001e4f: DUP3
00001e50: GT
00001e51: ISZERO
00001e52: PUSH2 0x1e5a
00001e55: JUMPI
00001e56: PUSH1 0x00
00001e58: DUP1
00001e59: REVERT
00001e5a: JUMPDEST
00001e5b: DUP2
00001e5c: PUSH1 0x0a
00001e5e: PUSH1 0x00
00001e60: DUP6
00001e61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e76: AND
00001e77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e8c: AND
00001e8d: DUP2
00001e8e: MSTORE
00001e8f: PUSH1 0x20
00001e91: ADD
00001e92: SWAP1
00001e93: DUP2
00001e94: MSTORE
00001e95: PUSH1 0x20
00001e97: ADD
00001e98: PUSH1 0x00
00001e9a: KECCAK256
00001e9b: PUSH1 0x00
00001e9d: DUP3
00001e9e: DUP3
00001e9f: SLOAD
00001ea0: SUB
00001ea1: SWAP3
00001ea2: POP
00001ea3: POP
00001ea4: DUP2
00001ea5: SWAP1
00001ea6: SSTORE
00001ea7: POP
00001ea8: DUP2
00001ea9: PUSH1 0x0b
00001eab: PUSH1 0x00
00001ead: DUP6
00001eae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec3: AND
00001ec4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed9: AND
00001eda: DUP2
00001edb: MSTORE
00001edc: PUSH1 0x20
00001ede: ADD
00001edf: SWAP1
00001ee0: DUP2
00001ee1: MSTORE
00001ee2: PUSH1 0x20
00001ee4: ADD
00001ee5: PUSH1 0x00
00001ee7: KECCAK256
00001ee8: PUSH1 0x00
00001eea: CALLER
00001eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f00: AND
00001f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f16: AND
00001f17: DUP2
00001f18: MSTORE
00001f19: PUSH1 0x20
00001f1b: ADD
00001f1c: SWAP1
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x20
00001f21: ADD
00001f22: PUSH1 0x00
00001f24: KECCAK256
00001f25: PUSH1 0x00
00001f27: DUP3
00001f28: DUP3
00001f29: SLOAD
00001f2a: SUB
00001f2b: SWAP3
00001f2c: POP
00001f2d: POP
00001f2e: DUP2
00001f2f: SWAP1
00001f30: SSTORE
00001f31: POP
00001f32: DUP2
00001f33: PUSH1 0x09
00001f35: PUSH1 0x00
00001f37: DUP3
00001f38: DUP3
00001f39: SLOAD
00001f3a: SUB
00001f3b: SWAP3
00001f3c: POP
00001f3d: POP
00001f3e: DUP2
00001f3f: SWAP1
00001f40: SSTORE
00001f41: POP
00001f42: DUP3
00001f43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f58: AND
00001f59: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5
00001f7a: DUP4
00001f7b: PUSH1 0x40
00001f7d: MLOAD
00001f7e: DUP1
00001f7f: DUP3
00001f80: DUP2
00001f81: MSTORE
00001f82: PUSH1 0x20
00001f84: ADD
00001f85: SWAP2
00001f86: POP
00001f87: POP
00001f88: PUSH1 0x40
00001f8a: MLOAD
00001f8b: DUP1
00001f8c: SWAP2
00001f8d: SUB
00001f8e: SWAP1
00001f8f: LOG2
00001f90: PUSH1 0x01
00001f92: SWAP1
00001f93: POP
00001f94: SWAP3
00001f95: SWAP2
00001f96: POP
00001f97: POP
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: PUSH1 0x12
00001f9c: PUSH1 0x00
00001f9e: SWAP1
00001f9f: SLOAD
00001fa0: SWAP1
00001fa1: PUSH2 0x0100
00001fa4: EXP
00001fa5: SWAP1
00001fa6: DIV
00001fa7: PUSH1 0xff
00001fa9: AND
00001faa: DUP2
00001fab: JUMP
00001fac: JUMPDEST
00001fad: PUSH1 0x05
00001faf: PUSH1 0x00
00001fb1: SWAP1
00001fb2: SLOAD
00001fb3: SWAP1
00001fb4: PUSH2 0x0100
00001fb7: EXP
00001fb8: SWAP1
00001fb9: DIV
00001fba: PUSH1 0xff
00001fbc: AND
00001fbd: DUP2
00001fbe: JUMP
00001fbf: JUMPDEST
00001fc0: PUSH1 0x00
00001fc2: SLOAD
00001fc3: DUP2
00001fc4: JUMP
00001fc5: JUMPDEST
00001fc6: PUSH1 0x0e
00001fc8: SLOAD
00001fc9: DUP2
00001fca: JUMP
00001fcb: JUMPDEST
00001fcc: PUSH1 0x0c
00001fce: PUSH1 0x00
00001fd0: SWAP1
00001fd1: SLOAD
00001fd2: SWAP1
00001fd3: PUSH2 0x0100
00001fd6: EXP
00001fd7: SWAP1
00001fd8: DIV
00001fd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fee: AND
00001fef: DUP2
00001ff0: JUMP
00001ff1: JUMPDEST
00001ff2: PUSH1 0x00
00001ff4: PUSH2 0x1ffc
00001ff7: CALLER
00001ff8: PUSH2 0x233a
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: PUSH2 0x2051
00002000: JUMPI
00002001: PUSH1 0x40
00002003: MLOAD
00002004: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002025: DUP2
00002026: MSTORE
00002027: PUSH1 0x04
00002029: ADD
0000202a: DUP1
0000202b: DUP1
0000202c: PUSH1 0x20
0000202e: ADD
0000202f: DUP3
00002030: DUP2
00002031: SUB
00002032: DUP3
00002033: MSTORE
00002034: PUSH1 0x30
00002036: DUP2
00002037: MSTORE
00002038: PUSH1 0x20
0000203a: ADD
0000203b: DUP1
0000203c: PUSH2 0x447f
0000203f: PUSH1 0x30
00002041: SWAP2
00002042: CODECOPY
00002043: PUSH1 0x40
00002045: ADD
00002046: SWAP2
00002047: POP
00002048: POP
00002049: PUSH1 0x40
0000204b: MLOAD
0000204c: DUP1
0000204d: SWAP2
0000204e: SUB
0000204f: SWAP1
00002050: REVERT
00002051: JUMPDEST
00002052: PUSH2 0x2059
00002055: PUSH2 0x2e71
00002058: JUMP
00002059: JUMPDEST
0000205a: PUSH2 0x2063
0000205d: DUP4
0000205e: DUP4
0000205f: PUSH2 0x3457
00002062: JUMP
00002063: JUMPDEST
00002064: PUSH1 0x01
00002066: SWAP1
00002067: POP
00002068: SWAP3
00002069: SWAP2
0000206a: POP
0000206b: POP
0000206c: JUMP
0000206d: JUMPDEST
0000206e: PUSH1 0x07
00002070: DUP1
00002071: SLOAD
00002072: PUSH1 0x01
00002074: DUP2
00002075: PUSH1 0x01
00002077: AND
00002078: ISZERO
00002079: PUSH2 0x0100
0000207c: MUL
0000207d: SUB
0000207e: AND
0000207f: PUSH1 0x02
00002081: SWAP1
00002082: DIV
00002083: DUP1
00002084: PUSH1 0x1f
00002086: ADD
00002087: PUSH1 0x20
00002089: DUP1
0000208a: SWAP2
0000208b: DIV
0000208c: MUL
0000208d: PUSH1 0x20
0000208f: ADD
00002090: PUSH1 0x40
00002092: MLOAD
00002093: SWAP1
00002094: DUP2
00002095: ADD
00002096: PUSH1 0x40
00002098: MSTORE
00002099: DUP1
0000209a: SWAP3
0000209b: SWAP2
0000209c: SWAP1
0000209d: DUP2
0000209e: DUP2
0000209f: MSTORE
000020a0: PUSH1 0x20
000020a2: ADD
000020a3: DUP3
000020a4: DUP1
000020a5: SLOAD
000020a6: PUSH1 0x01
000020a8: DUP2
000020a9: PUSH1 0x01
000020ab: AND
000020ac: ISZERO
000020ad: PUSH2 0x0100
000020b0: MUL
000020b1: SUB
000020b2: AND
000020b3: PUSH1 0x02
000020b5: SWAP1
000020b6: DIV
000020b7: DUP1
000020b8: ISZERO
000020b9: PUSH2 0x2103
000020bc: JUMPI
000020bd: DUP1
000020be: PUSH1 0x1f
000020c0: LT
000020c1: PUSH2 0x20d8
000020c4: JUMPI
000020c5: PUSH2 0x0100
000020c8: DUP1
000020c9: DUP4
000020ca: SLOAD
000020cb: DIV
000020cc: MUL
000020cd: DUP4
000020ce: MSTORE
000020cf: SWAP2
000020d0: PUSH1 0x20
000020d2: ADD
000020d3: SWAP2
000020d4: PUSH2 0x2103
000020d7: JUMP
000020d8: JUMPDEST
000020d9: DUP3
000020da: ADD
000020db: SWAP2
000020dc: SWAP1
000020dd: PUSH1 0x00
000020df: MSTORE
000020e0: PUSH1 0x20
000020e2: PUSH1 0x00
000020e4: KECCAK256
000020e5: SWAP1
000020e6: JUMPDEST
000020e7: DUP2
000020e8: SLOAD
000020e9: DUP2
000020ea: MSTORE
000020eb: SWAP1
000020ec: PUSH1 0x01
000020ee: ADD
000020ef: SWAP1
000020f0: PUSH1 0x20
000020f2: ADD
000020f3: DUP1
000020f4: DUP4
000020f5: GT
000020f6: PUSH2 0x20e6
000020f9: JUMPI
000020fa: DUP3
000020fb: SWAP1
000020fc: SUB
000020fd: PUSH1 0x1f
000020ff: AND
00002100: DUP3
00002101: ADD
00002102: SWAP2
00002103: JUMPDEST
00002104: POP
00002105: POP
00002106: POP
00002107: POP
00002108: POP
00002109: DUP2
0000210a: JUMP
0000210b: JUMPDEST
0000210c: PUSH1 0x0c
0000210e: PUSH1 0x00
00002110: SWAP1
00002111: SLOAD
00002112: SWAP1
00002113: PUSH2 0x0100
00002116: EXP
00002117: SWAP1
00002118: DIV
00002119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212e: AND
0000212f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002144: AND
00002145: CALLER
00002146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000215b: AND
0000215c: EQ
0000215d: PUSH2 0x21b1
00002160: JUMPI
00002161: PUSH1 0x40
00002163: MLOAD
00002164: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002185: DUP2
00002186: MSTORE
00002187: PUSH1 0x04
00002189: ADD
0000218a: DUP1
0000218b: DUP1
0000218c: PUSH1 0x20
0000218e: ADD
0000218f: DUP3
00002190: DUP2
00002191: SUB
00002192: DUP3
00002193: MSTORE
00002194: PUSH1 0x2b
00002196: DUP2
00002197: MSTORE
00002198: PUSH1 0x20
0000219a: ADD
0000219b: DUP1
0000219c: PUSH2 0x4302
0000219f: PUSH1 0x2b
000021a1: SWAP2
000021a2: CODECOPY
000021a3: PUSH1 0x40
000021a5: ADD
000021a6: SWAP2
000021a7: POP
000021a8: POP
000021a9: PUSH1 0x40
000021ab: MLOAD
000021ac: DUP1
000021ad: SWAP2
000021ae: SUB
000021af: SWAP1
000021b0: REVERT
000021b1: JUMPDEST
000021b2: PUSH2 0x21ba
000021b5: DUP2
000021b6: PUSH2 0x379d
000021b9: JUMP
000021ba: JUMPDEST
000021bb: POP
000021bc: JUMP
000021bd: JUMPDEST
000021be: PUSH1 0x0c
000021c0: PUSH1 0x00
000021c2: SWAP1
000021c3: SLOAD
000021c4: SWAP1
000021c5: PUSH2 0x0100
000021c8: EXP
000021c9: SWAP1
000021ca: DIV
000021cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e0: AND
000021e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f6: AND
000021f7: CALLER
000021f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000220d: AND
0000220e: EQ
0000220f: PUSH2 0x2263
00002212: JUMPI
00002213: PUSH1 0x40
00002215: MLOAD
00002216: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002237: DUP2
00002238: MSTORE
00002239: PUSH1 0x04
0000223b: ADD
0000223c: DUP1
0000223d: DUP1
0000223e: PUSH1 0x20
00002240: ADD
00002241: DUP3
00002242: DUP2
00002243: SUB
00002244: DUP3
00002245: MSTORE
00002246: PUSH1 0x2b
00002248: DUP2
00002249: MSTORE
0000224a: PUSH1 0x20
0000224c: ADD
0000224d: DUP1
0000224e: PUSH2 0x4302
00002251: PUSH1 0x2b
00002253: SWAP2
00002254: CODECOPY
00002255: PUSH1 0x40
00002257: ADD
00002258: SWAP2
00002259: POP
0000225a: POP
0000225b: PUSH1 0x40
0000225d: MLOAD
0000225e: DUP1
0000225f: SWAP2
00002260: SUB
00002261: SWAP1
00002262: REVERT
00002263: JUMPDEST
00002264: PUSH2 0x226c
00002267: CALLER
00002268: PUSH2 0x37f7
0000226b: JUMP
0000226c: JUMPDEST
0000226d: JUMP
0000226e: JUMPDEST
0000226f: PUSH1 0x04
00002271: PUSH1 0x20
00002273: MSTORE
00002274: DUP1
00002275: PUSH1 0x00
00002277: MSTORE
00002278: PUSH1 0x40
0000227a: PUSH1 0x00
0000227c: KECCAK256
0000227d: PUSH1 0x00
0000227f: SWAP2
00002280: POP
00002281: SWAP1
00002282: POP
00002283: DUP1
00002284: PUSH1 0x00
00002286: ADD
00002287: PUSH1 0x00
00002289: SWAP1
0000228a: SLOAD
0000228b: SWAP1
0000228c: PUSH2 0x0100
0000228f: EXP
00002290: SWAP1
00002291: DIV
00002292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a7: AND
000022a8: SWAP1
000022a9: DUP1
000022aa: PUSH1 0x00
000022ac: ADD
000022ad: PUSH1 0x14
000022af: SWAP1
000022b0: SLOAD
000022b1: SWAP1
000022b2: PUSH2 0x0100
000022b5: EXP
000022b6: SWAP1
000022b7: DIV
000022b8: PUSH1 0xff
000022ba: AND
000022bb: SWAP1
000022bc: DUP1
000022bd: PUSH1 0x00
000022bf: ADD
000022c0: PUSH1 0x15
000022c2: SWAP1
000022c3: SLOAD
000022c4: SWAP1
000022c5: PUSH2 0x0100
000022c8: EXP
000022c9: SWAP1
000022ca: DIV
000022cb: PUSH1 0xff
000022cd: AND
000022ce: SWAP1
000022cf: POP
000022d0: DUP4
000022d1: JUMP
000022d2: JUMPDEST
000022d3: PUSH1 0x00
000022d5: PUSH1 0x04
000022d7: PUSH1 0x00
000022d9: DUP4
000022da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ef: AND
000022f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002305: AND
00002306: DUP2
00002307: MSTORE
00002308: PUSH1 0x20
0000230a: ADD
0000230b: SWAP1
0000230c: DUP2
0000230d: MSTORE
0000230e: PUSH1 0x20
00002310: ADD
00002311: PUSH1 0x00
00002313: KECCAK256
00002314: PUSH1 0x00
00002316: ADD
00002317: PUSH1 0x14
00002319: SWAP1
0000231a: SLOAD
0000231b: SWAP1
0000231c: PUSH2 0x0100
0000231f: EXP
00002320: SWAP1
00002321: DIV
00002322: PUSH1 0xff
00002324: AND
00002325: SWAP1
00002326: POP
00002327: SWAP2
00002328: SWAP1
00002329: POP
0000232a: JUMP
0000232b: JUMPDEST
0000232c: PUSH2 0x2336
0000232f: CALLER
00002330: DUP4
00002331: DUP4
00002332: PUSH2 0x2b00
00002335: JUMP
00002336: JUMPDEST
00002337: POP
00002338: POP
00002339: JUMP
0000233a: JUMPDEST
0000233b: PUSH1 0x00
0000233d: PUSH2 0x2350
00002340: DUP3
00002341: PUSH1 0x0d
00002343: PUSH2 0x3851
00002346: SWAP1
00002347: SWAP2
00002348: SWAP1
00002349: PUSH4 0xffffffff
0000234e: AND
0000234f: JUMP
00002350: JUMPDEST
00002351: SWAP1
00002352: POP
00002353: SWAP2
00002354: SWAP1
00002355: POP
00002356: JUMP
00002357: JUMPDEST
00002358: PUSH1 0x03
0000235a: SLOAD
0000235b: DUP2
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH1 0x00
00002360: PUSH1 0x01
00002362: PUSH1 0x00
00002364: DUP4
00002365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000237a: AND
0000237b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002390: AND
00002391: DUP2
00002392: MSTORE
00002393: PUSH1 0x20
00002395: ADD
00002396: SWAP1
00002397: DUP2
00002398: MSTORE
00002399: PUSH1 0x20
0000239b: ADD
0000239c: PUSH1 0x00
0000239e: KECCAK256
0000239f: SLOAD
000023a0: SWAP1
000023a1: POP
000023a2: SWAP2
000023a3: SWAP1
000023a4: POP
000023a5: JUMP
000023a6: JUMPDEST
000023a7: PUSH1 0x00
000023a9: DUP1
000023aa: DUP5
000023ab: SWAP1
000023ac: POP
000023ad: PUSH2 0x23b6
000023b0: DUP6
000023b1: DUP6
000023b2: PUSH2 0x1322
000023b5: JUMP
000023b6: JUMPDEST
000023b7: ISZERO
000023b8: PUSH2 0x2505
000023bb: JUMPI
000023bc: DUP1
000023bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d2: AND
000023d3: PUSH4 0x8f4ffcb1
000023d8: CALLER
000023d9: DUP7
000023da: ADDRESS
000023db: DUP8
000023dc: PUSH1 0x40
000023de: MLOAD
000023df: DUP6
000023e0: PUSH4 0xffffffff
000023e5: AND
000023e6: PUSH1 0xe0
000023e8: SHL
000023e9: DUP2
000023ea: MSTORE
000023eb: PUSH1 0x04
000023ed: ADD
000023ee: DUP1
000023ef: DUP6
000023f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002405: AND
00002406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000241b: AND
0000241c: DUP2
0000241d: MSTORE
0000241e: PUSH1 0x20
00002420: ADD
00002421: DUP5
00002422: DUP2
00002423: MSTORE
00002424: PUSH1 0x20
00002426: ADD
00002427: DUP4
00002428: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000243d: AND
0000243e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002453: AND
00002454: DUP2
00002455: MSTORE
00002456: PUSH1 0x20
00002458: ADD
00002459: DUP1
0000245a: PUSH1 0x20
0000245c: ADD
0000245d: DUP3
0000245e: DUP2
0000245f: SUB
00002460: DUP3
00002461: MSTORE
00002462: DUP4
00002463: DUP2
00002464: DUP2
00002465: MLOAD
00002466: DUP2
00002467: MSTORE
00002468: PUSH1 0x20
0000246a: ADD
0000246b: SWAP2
0000246c: POP
0000246d: DUP1
0000246e: MLOAD
0000246f: SWAP1
00002470: PUSH1 0x20
00002472: ADD
00002473: SWAP1
00002474: DUP1
00002475: DUP4
00002476: DUP4
00002477: PUSH1 0x00
00002479: JUMPDEST
0000247a: DUP4
0000247b: DUP2
0000247c: LT
0000247d: ISZERO
0000247e: PUSH2 0x2494
00002481: JUMPI
00002482: DUP1
00002483: DUP3
00002484: ADD
00002485: MLOAD
00002486: DUP2
00002487: DUP5
00002488: ADD
00002489: MSTORE
0000248a: PUSH1 0x20
0000248c: DUP2
0000248d: ADD
0000248e: SWAP1
0000248f: POP
00002490: PUSH2 0x2479
00002493: JUMP
00002494: JUMPDEST
00002495: POP
00002496: POP
00002497: POP
00002498: POP
00002499: SWAP1
0000249a: POP
0000249b: SWAP1
0000249c: DUP2
0000249d: ADD
0000249e: SWAP1
0000249f: PUSH1 0x1f
000024a1: AND
000024a2: DUP1
000024a3: ISZERO
000024a4: PUSH2 0x24c1
000024a7: JUMPI
000024a8: DUP1
000024a9: DUP3
000024aa: SUB
000024ab: DUP1
000024ac: MLOAD
000024ad: PUSH1 0x01
000024af: DUP4
000024b0: PUSH1 0x20
000024b2: SUB
000024b3: PUSH2 0x0100
000024b6: EXP
000024b7: SUB
000024b8: NOT
000024b9: AND
000024ba: DUP2
000024bb: MSTORE
000024bc: PUSH1 0x20
000024be: ADD
000024bf: SWAP2
000024c0: POP
000024c1: JUMPDEST
000024c2: POP
000024c3: SWAP6
000024c4: POP
000024c5: POP
000024c6: POP
000024c7: POP
000024c8: POP
000024c9: POP
000024ca: PUSH1 0x00
000024cc: PUSH1 0x40
000024ce: MLOAD
000024cf: DUP1
000024d0: DUP4
000024d1: SUB
000024d2: DUP2
000024d3: PUSH1 0x00
000024d5: DUP8
000024d6: DUP1
000024d7: EXTCODESIZE
000024d8: ISZERO
000024d9: DUP1
000024da: ISZERO
000024db: PUSH2 0x24e3
000024de: JUMPI
000024df: PUSH1 0x00
000024e1: DUP1
000024e2: REVERT
000024e3: JUMPDEST
000024e4: POP
000024e5: GAS
000024e6: CALL
000024e7: ISZERO
000024e8: DUP1
000024e9: ISZERO
000024ea: PUSH2 0x24f7
000024ed: JUMPI
000024ee: RETURNDATASIZE
000024ef: PUSH1 0x00
000024f1: DUP1
000024f2: RETURNDATACOPY
000024f3: RETURNDATASIZE
000024f4: PUSH1 0x00
000024f6: REVERT
000024f7: JUMPDEST
000024f8: POP
000024f9: POP
000024fa: POP
000024fb: POP
000024fc: PUSH1 0x01
000024fe: SWAP2
000024ff: POP
00002500: POP
00002501: PUSH2 0x2507
00002504: JUMP
00002505: JUMPDEST
00002506: POP
00002507: JUMPDEST
00002508: SWAP4
00002509: SWAP3
0000250a: POP
0000250b: POP
0000250c: POP
0000250d: JUMP
0000250e: JUMPDEST
0000250f: PUSH1 0x02
00002511: SLOAD
00002512: DUP2
00002513: JUMP
00002514: JUMPDEST
00002515: PUSH1 0x0b
00002517: PUSH1 0x20
00002519: MSTORE
0000251a: DUP2
0000251b: PUSH1 0x00
0000251d: MSTORE
0000251e: PUSH1 0x40
00002520: PUSH1 0x00
00002522: KECCAK256
00002523: PUSH1 0x20
00002525: MSTORE
00002526: DUP1
00002527: PUSH1 0x00
00002529: MSTORE
0000252a: PUSH1 0x40
0000252c: PUSH1 0x00
0000252e: KECCAK256
0000252f: PUSH1 0x00
00002531: SWAP2
00002532: POP
00002533: SWAP2
00002534: POP
00002535: POP
00002536: SLOAD
00002537: DUP2
00002538: JUMP
00002539: JUMPDEST
0000253a: PUSH1 0x00
0000253c: PUSH2 0x2544
0000253f: CALLER
00002540: PUSH2 0x1664
00002543: JUMP
00002544: JUMPDEST
00002545: ISZERO
00002546: PUSH2 0x259a
00002549: JUMPI
0000254a: PUSH1 0x40
0000254c: MLOAD
0000254d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000256e: DUP2
0000256f: MSTORE
00002570: PUSH1 0x04
00002572: ADD
00002573: DUP1
00002574: DUP1
00002575: PUSH1 0x20
00002577: ADD
00002578: DUP3
00002579: DUP2
0000257a: SUB
0000257b: DUP3
0000257c: MSTORE
0000257d: PUSH1 0x27
0000257f: DUP2
00002580: MSTORE
00002581: PUSH1 0x20
00002583: ADD
00002584: DUP1
00002585: PUSH2 0x42ad
00002588: PUSH1 0x27
0000258a: SWAP2
0000258b: CODECOPY
0000258c: PUSH1 0x40
0000258e: ADD
0000258f: SWAP2
00002590: POP
00002591: POP
00002592: PUSH1 0x40
00002594: MLOAD
00002595: DUP1
00002596: SWAP2
00002597: SUB
00002598: SWAP1
00002599: REVERT
0000259a: JUMPDEST
0000259b: PUSH1 0x04
0000259d: PUSH1 0x00
0000259f: CALLER
000025a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025b5: AND
000025b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025cb: AND
000025cc: DUP2
000025cd: MSTORE
000025ce: PUSH1 0x20
000025d0: ADD
000025d1: SWAP1
000025d2: DUP2
000025d3: MSTORE
000025d4: PUSH1 0x20
000025d6: ADD
000025d7: PUSH1 0x00
000025d9: KECCAK256
000025da: PUSH1 0x00
000025dc: ADD
000025dd: PUSH1 0x15
000025df: SWAP1
000025e0: SLOAD
000025e1: SWAP1
000025e2: PUSH2 0x0100
000025e5: EXP
000025e6: SWAP1
000025e7: DIV
000025e8: PUSH1 0xff
000025ea: AND
000025eb: ISZERO
000025ec: PUSH2 0x2640
000025ef: JUMPI
000025f0: PUSH1 0x40
000025f2: MLOAD
000025f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002614: DUP2
00002615: MSTORE
00002616: PUSH1 0x04
00002618: ADD
00002619: DUP1
0000261a: DUP1
0000261b: PUSH1 0x20
0000261d: ADD
0000261e: DUP3
0000261f: DUP2
00002620: SUB
00002621: DUP3
00002622: MSTORE
00002623: PUSH1 0x3d
00002625: DUP2
00002626: MSTORE
00002627: PUSH1 0x20
00002629: ADD
0000262a: DUP1
0000262b: PUSH2 0x434e
0000262e: PUSH1 0x3d
00002630: SWAP2
00002631: CODECOPY
00002632: PUSH1 0x40
00002634: ADD
00002635: SWAP2
00002636: POP
00002637: POP
00002638: PUSH1 0x40
0000263a: MLOAD
0000263b: DUP1
0000263c: SWAP2
0000263d: SUB
0000263e: SWAP1
0000263f: REVERT
00002640: JUMPDEST
00002641: PUSH1 0x12
00002643: PUSH1 0x00
00002645: SWAP1
00002646: SLOAD
00002647: SWAP1
00002648: PUSH2 0x0100
0000264b: EXP
0000264c: SWAP1
0000264d: DIV
0000264e: PUSH1 0xff
00002650: AND
00002651: ISZERO
00002652: PUSH2 0x27af
00002655: JUMPI
00002656: PUSH1 0x05
00002658: PUSH1 0x02
0000265a: SWAP1
0000265b: SLOAD
0000265c: SWAP1
0000265d: PUSH2 0x0100
00002660: EXP
00002661: SWAP1
00002662: DIV
00002663: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002678: AND
00002679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000268e: AND
0000268f: DUP3
00002690: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026a5: AND
000026a6: EQ
000026a7: PUSH2 0x26fb
000026aa: JUMPI
000026ab: PUSH1 0x40
000026ad: MLOAD
000026ae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026cf: DUP2
000026d0: MSTORE
000026d1: PUSH1 0x04
000026d3: ADD
000026d4: DUP1
000026d5: DUP1
000026d6: PUSH1 0x20
000026d8: ADD
000026d9: DUP3
000026da: DUP2
000026db: SUB
000026dc: DUP3
000026dd: MSTORE
000026de: PUSH1 0x21
000026e0: DUP2
000026e1: MSTORE
000026e2: PUSH1 0x20
000026e4: ADD
000026e5: DUP1
000026e6: PUSH2 0x432d
000026e9: PUSH1 0x21
000026eb: SWAP2
000026ec: CODECOPY
000026ed: PUSH1 0x40
000026ef: ADD
000026f0: SWAP2
000026f1: POP
000026f2: POP
000026f3: PUSH1 0x40
000026f5: MLOAD
000026f6: DUP1
000026f7: SWAP2
000026f8: SUB
000026f9: SWAP1
000026fa: REVERT
000026fb: JUMPDEST
000026fc: PUSH2 0x2704
000026ff: DUP3
00002700: PUSH2 0x392f
00002703: JUMP
00002704: JUMPDEST
00002705: PUSH1 0x00
00002707: PUSH1 0x12
00002709: PUSH1 0x00
0000270b: PUSH2 0x0100
0000270e: EXP
0000270f: DUP2
00002710: SLOAD
00002711: DUP2
00002712: PUSH1 0xff
00002714: MUL
00002715: NOT
00002716: AND
00002717: SWAP1
00002718: DUP4
00002719: ISZERO
0000271a: ISZERO
0000271b: MUL
0000271c: OR
0000271d: SWAP1
0000271e: SSTORE
0000271f: POP
00002720: PUSH1 0x05
00002722: PUSH1 0x02
00002724: SWAP1
00002725: SLOAD
00002726: SWAP1
00002727: PUSH2 0x0100
0000272a: EXP
0000272b: SWAP1
0000272c: DIV
0000272d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002742: AND
00002743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002758: AND
00002759: CALLER
0000275a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000276f: AND
00002770: PUSH32 0x3319bb4966eaaeb523ecad57fa1daeb3bf6e5a6e559ac95bc4ed8d2042fcaf2c
00002791: CALLVALUE
00002792: PUSH1 0x40
00002794: MLOAD
00002795: DUP1
00002796: DUP3
00002797: DUP2
00002798: MSTORE
00002799: PUSH1 0x20
0000279b: ADD
0000279c: SWAP2
0000279d: POP
0000279e: POP
0000279f: PUSH1 0x40
000027a1: MLOAD
000027a2: DUP1
000027a3: SWAP2
000027a4: SUB
000027a5: SWAP1
000027a6: LOG3
000027a7: PUSH1 0x01
000027a9: SWAP1
000027aa: POP
000027ab: PUSH2 0x2a0b
000027ae: JUMP
000027af: JUMPDEST
000027b0: PUSH1 0x05
000027b2: PUSH1 0x02
000027b4: SWAP1
000027b5: SLOAD
000027b6: SWAP1
000027b7: PUSH2 0x0100
000027ba: EXP
000027bb: SWAP1
000027bc: DIV
000027bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d2: AND
000027d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e8: AND
000027e9: DUP3
000027ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027ff: AND
00002800: EQ
00002801: ISZERO
00002802: DUP1
00002803: ISZERO
00002804: PUSH2 0x2839
00002807: JUMPI
00002808: POP
00002809: DUP2
0000280a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000281f: AND
00002820: CALLER
00002821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002836: AND
00002837: EQ
00002838: ISZERO
00002839: JUMPDEST
0000283a: DUP1
0000283b: ISZERO
0000283c: PUSH2 0x2891
0000283f: JUMPI
00002840: POP
00002841: PUSH1 0x04
00002843: PUSH1 0x00
00002845: DUP4
00002846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000285b: AND
0000285c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002871: AND
00002872: DUP2
00002873: MSTORE
00002874: PUSH1 0x20
00002876: ADD
00002877: SWAP1
00002878: DUP2
00002879: MSTORE
0000287a: PUSH1 0x20
0000287c: ADD
0000287d: PUSH1 0x00
0000287f: KECCAK256
00002880: PUSH1 0x00
00002882: ADD
00002883: PUSH1 0x15
00002885: SWAP1
00002886: SLOAD
00002887: SWAP1
00002888: PUSH2 0x0100
0000288b: EXP
0000288c: SWAP1
0000288d: DIV
0000288e: PUSH1 0xff
00002890: AND
00002891: JUMPDEST
00002892: PUSH2 0x28e6
00002895: JUMPI
00002896: PUSH1 0x40
00002898: MLOAD
00002899: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028ba: DUP2
000028bb: MSTORE
000028bc: PUSH1 0x04
000028be: ADD
000028bf: DUP1
000028c0: DUP1
000028c1: PUSH1 0x20
000028c3: ADD
000028c4: DUP3
000028c5: DUP2
000028c6: SUB
000028c7: DUP3
000028c8: MSTORE
000028c9: PUSH1 0x21
000028cb: DUP2
000028cc: MSTORE
000028cd: PUSH1 0x20
000028cf: ADD
000028d0: DUP1
000028d1: PUSH2 0x432d
000028d4: PUSH1 0x21
000028d6: SWAP2
000028d7: CODECOPY
000028d8: PUSH1 0x40
000028da: ADD
000028db: SWAP2
000028dc: POP
000028dd: POP
000028de: PUSH1 0x40
000028e0: MLOAD
000028e1: DUP1
000028e2: SWAP2
000028e3: SUB
000028e4: SWAP1
000028e5: REVERT
000028e6: JUMPDEST
000028e7: PUSH1 0x0e
000028e9: SLOAD
000028ea: PUSH1 0x40
000028ec: MLOAD
000028ed: PUSH1 0x20
000028ef: ADD
000028f0: DUP1
000028f1: DUP3
000028f2: DUP2
000028f3: MSTORE
000028f4: PUSH1 0x20
000028f6: ADD
000028f7: SWAP2
000028f8: POP
000028f9: POP
000028fa: PUSH1 0x40
000028fc: MLOAD
000028fd: PUSH1 0x20
000028ff: DUP2
00002900: DUP4
00002901: SUB
00002902: SUB
00002903: DUP2
00002904: MSTORE
00002905: SWAP1
00002906: PUSH1 0x40
00002908: MSTORE
00002909: DUP1
0000290a: MLOAD
0000290b: SWAP1
0000290c: PUSH1 0x20
0000290e: ADD
0000290f: KECCAK256
00002910: CALLVALUE
00002911: PUSH1 0x40
00002913: MLOAD
00002914: PUSH1 0x20
00002916: ADD
00002917: DUP1
00002918: DUP3
00002919: DUP2
0000291a: MSTORE
0000291b: PUSH1 0x20
0000291d: ADD
0000291e: SWAP2
0000291f: POP
00002920: POP
00002921: PUSH1 0x40
00002923: MLOAD
00002924: PUSH1 0x20
00002926: DUP2
00002927: DUP4
00002928: SUB
00002929: SUB
0000292a: DUP2
0000292b: MSTORE
0000292c: SWAP1
0000292d: PUSH1 0x40
0000292f: MSTORE
00002930: DUP1
00002931: MLOAD
00002932: SWAP1
00002933: PUSH1 0x20
00002935: ADD
00002936: KECCAK256
00002937: EQ
00002938: PUSH2 0x298c
0000293b: JUMPI
0000293c: PUSH1 0x40
0000293e: MLOAD
0000293f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002960: DUP2
00002961: MSTORE
00002962: PUSH1 0x04
00002964: ADD
00002965: DUP1
00002966: DUP1
00002967: PUSH1 0x20
00002969: ADD
0000296a: DUP3
0000296b: DUP2
0000296c: SUB
0000296d: DUP3
0000296e: MSTORE
0000296f: PUSH1 0x26
00002971: DUP2
00002972: MSTORE
00002973: PUSH1 0x20
00002975: ADD
00002976: DUP1
00002977: PUSH2 0x4432
0000297a: PUSH1 0x26
0000297c: SWAP2
0000297d: CODECOPY
0000297e: PUSH1 0x40
00002980: ADD
00002981: SWAP2
00002982: POP
00002983: POP
00002984: PUSH1 0x40
00002986: MLOAD
00002987: DUP1
00002988: SWAP2
00002989: SUB
0000298a: SWAP1
0000298b: REVERT
0000298c: JUMPDEST
0000298d: PUSH2 0x2995
00002990: DUP3
00002991: PUSH2 0x392f
00002994: JUMP
00002995: JUMPDEST
00002996: PUSH2 0x29a1
00002999: DUP3
0000299a: PUSH1 0x0f
0000299c: SLOAD
0000299d: PUSH2 0x3951
000029a0: JUMP
000029a1: JUMPDEST
000029a2: DUP2
000029a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b8: AND
000029b9: CALLER
000029ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029cf: AND
000029d0: PUSH32 0x3319bb4966eaaeb523ecad57fa1daeb3bf6e5a6e559ac95bc4ed8d2042fcaf2c
000029f1: CALLVALUE
000029f2: PUSH1 0x40
000029f4: MLOAD
000029f5: DUP1
000029f6: DUP3
000029f7: DUP2
000029f8: MSTORE
000029f9: PUSH1 0x20
000029fb: ADD
000029fc: SWAP2
000029fd: POP
000029fe: POP
000029ff: PUSH1 0x40
00002a01: MLOAD
00002a02: DUP1
00002a03: SWAP2
00002a04: SUB
00002a05: SWAP1
00002a06: LOG3
00002a07: PUSH1 0x01
00002a09: SWAP1
00002a0a: POP
00002a0b: JUMPDEST
00002a0c: SWAP2
00002a0d: SWAP1
00002a0e: POP
00002a0f: JUMP
00002a10: JUMPDEST
00002a11: PUSH1 0x0c
00002a13: PUSH1 0x00
00002a15: SWAP1
00002a16: SLOAD
00002a17: SWAP1
00002a18: PUSH2 0x0100
00002a1b: EXP
00002a1c: SWAP1
00002a1d: DIV
00002a1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a33: AND
00002a34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a49: AND
00002a4a: CALLER
00002a4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a60: AND
00002a61: EQ
00002a62: PUSH2 0x2ab6
00002a65: JUMPI
00002a66: PUSH1 0x40
00002a68: MLOAD
00002a69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a8a: DUP2
00002a8b: MSTORE
00002a8c: PUSH1 0x04
00002a8e: ADD
00002a8f: DUP1
00002a90: DUP1
00002a91: PUSH1 0x20
00002a93: ADD
00002a94: DUP3
00002a95: DUP2
00002a96: SUB
00002a97: DUP3
00002a98: MSTORE
00002a99: PUSH1 0x2b
00002a9b: DUP2
00002a9c: MSTORE
00002a9d: PUSH1 0x20
00002a9f: ADD
00002aa0: DUP1
00002aa1: PUSH2 0x4302
00002aa4: PUSH1 0x2b
00002aa6: SWAP2
00002aa7: CODECOPY
00002aa8: PUSH1 0x40
00002aaa: ADD
00002aab: SWAP2
00002aac: POP
00002aad: POP
00002aae: PUSH1 0x40
00002ab0: MLOAD
00002ab1: DUP1
00002ab2: SWAP2
00002ab3: SUB
00002ab4: SWAP1
00002ab5: REVERT
00002ab6: JUMPDEST
00002ab7: DUP1
00002ab8: PUSH1 0x0c
00002aba: PUSH1 0x00
00002abc: PUSH2 0x0100
00002abf: EXP
00002ac0: DUP2
00002ac1: SLOAD
00002ac2: DUP2
00002ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ad8: MUL
00002ad9: NOT
00002ada: AND
00002adb: SWAP1
00002adc: DUP4
00002add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002af2: AND
00002af3: MUL
00002af4: OR
00002af5: SWAP1
00002af6: SSTORE
00002af7: POP
00002af8: POP
00002af9: JUMP
00002afa: JUMPDEST
00002afb: PUSH1 0x0f
00002afd: SLOAD
00002afe: DUP2
00002aff: JUMP
00002b00: JUMPDEST
00002b01: PUSH1 0x00
00002b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b18: AND
00002b19: DUP3
00002b1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b2f: AND
00002b30: EQ
00002b31: ISZERO
00002b32: PUSH2 0x2b86
00002b35: JUMPI
00002b36: PUSH1 0x40
00002b38: MLOAD
00002b39: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b5a: DUP2
00002b5b: MSTORE
00002b5c: PUSH1 0x04
00002b5e: ADD
00002b5f: DUP1
00002b60: DUP1
00002b61: PUSH1 0x20
00002b63: ADD
00002b64: DUP3
00002b65: DUP2
00002b66: SUB
00002b67: DUP3
00002b68: MSTORE
00002b69: PUSH1 0x2c
00002b6b: DUP2
00002b6c: MSTORE
00002b6d: PUSH1 0x20
00002b6f: ADD
00002b70: DUP1
00002b71: PUSH2 0x4529
00002b74: PUSH1 0x2c
00002b76: SWAP2
00002b77: CODECOPY
00002b78: PUSH1 0x40
00002b7a: ADD
00002b7b: SWAP2
00002b7c: POP
00002b7d: POP
00002b7e: PUSH1 0x40
00002b80: MLOAD
00002b81: DUP1
00002b82: SWAP2
00002b83: SUB
00002b84: SWAP1
00002b85: REVERT
00002b86: JUMPDEST
00002b87: DUP1
00002b88: PUSH1 0x0a
00002b8a: PUSH1 0x00
00002b8c: DUP6
00002b8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ba2: AND
00002ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bb8: AND
00002bb9: DUP2
00002bba: MSTORE
00002bbb: PUSH1 0x20
00002bbd: ADD
00002bbe: SWAP1
00002bbf: DUP2
00002bc0: MSTORE
00002bc1: PUSH1 0x20
00002bc3: ADD
00002bc4: PUSH1 0x00
00002bc6: KECCAK256
00002bc7: SLOAD
00002bc8: LT
00002bc9: ISZERO
00002bca: PUSH2 0x2bd2
00002bcd: JUMPI
00002bce: PUSH1 0x00
00002bd0: DUP1
00002bd1: REVERT
00002bd2: JUMPDEST
00002bd3: PUSH1 0x0a
00002bd5: PUSH1 0x00
00002bd7: DUP4
00002bd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bed: AND
00002bee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c03: AND
00002c04: DUP2
00002c05: MSTORE
00002c06: PUSH1 0x20
00002c08: ADD
00002c09: SWAP1
00002c0a: DUP2
00002c0b: MSTORE
00002c0c: PUSH1 0x20
00002c0e: ADD
00002c0f: PUSH1 0x00
00002c11: KECCAK256
00002c12: SLOAD
00002c13: DUP2
00002c14: PUSH1 0x0a
00002c16: PUSH1 0x00
00002c18: DUP6
00002c19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c2e: AND
00002c2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c44: AND
00002c45: DUP2
00002c46: MSTORE
00002c47: PUSH1 0x20
00002c49: ADD
00002c4a: SWAP1
00002c4b: DUP2
00002c4c: MSTORE
00002c4d: PUSH1 0x20
00002c4f: ADD
00002c50: PUSH1 0x00
00002c52: KECCAK256
00002c53: SLOAD
00002c54: ADD
00002c55: GT
00002c56: PUSH2 0x2c5e
00002c59: JUMPI
00002c5a: PUSH1 0x00
00002c5c: DUP1
00002c5d: REVERT
00002c5e: JUMPDEST
00002c5f: PUSH1 0x00
00002c61: PUSH1 0x0a
00002c63: PUSH1 0x00
00002c65: DUP5
00002c66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c7b: AND
00002c7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c91: AND
00002c92: DUP2
00002c93: MSTORE
00002c94: PUSH1 0x20
00002c96: ADD
00002c97: SWAP1
00002c98: DUP2
00002c99: MSTORE
00002c9a: PUSH1 0x20
00002c9c: ADD
00002c9d: PUSH1 0x00
00002c9f: KECCAK256
00002ca0: SLOAD
00002ca1: PUSH1 0x0a
00002ca3: PUSH1 0x00
00002ca5: DUP7
00002ca6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cbb: AND
00002cbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cd1: AND
00002cd2: DUP2
00002cd3: MSTORE
00002cd4: PUSH1 0x20
00002cd6: ADD
00002cd7: SWAP1
00002cd8: DUP2
00002cd9: MSTORE
00002cda: PUSH1 0x20
00002cdc: ADD
00002cdd: PUSH1 0x00
00002cdf: KECCAK256
00002ce0: SLOAD
00002ce1: ADD
00002ce2: SWAP1
00002ce3: POP
00002ce4: DUP2
00002ce5: PUSH1 0x0a
00002ce7: PUSH1 0x00
00002ce9: DUP7
00002cea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cff: AND
00002d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d15: AND
00002d16: DUP2
00002d17: MSTORE
00002d18: PUSH1 0x20
00002d1a: ADD
00002d1b: SWAP1
00002d1c: DUP2
00002d1d: MSTORE
00002d1e: PUSH1 0x20
00002d20: ADD
00002d21: PUSH1 0x00
00002d23: KECCAK256
00002d24: PUSH1 0x00
00002d26: DUP3
00002d27: DUP3
00002d28: SLOAD
00002d29: SUB
00002d2a: SWAP3
00002d2b: POP
00002d2c: POP
00002d2d: DUP2
00002d2e: SWAP1
00002d2f: SSTORE
00002d30: POP
00002d31: DUP2
00002d32: PUSH1 0x0a
00002d34: PUSH1 0x00
00002d36: DUP6
00002d37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d4c: AND
00002d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d62: AND
00002d63: DUP2
00002d64: MSTORE
00002d65: PUSH1 0x20
00002d67: ADD
00002d68: SWAP1
00002d69: DUP2
00002d6a: MSTORE
00002d6b: PUSH1 0x20
00002d6d: ADD
00002d6e: PUSH1 0x00
00002d70: KECCAK256
00002d71: PUSH1 0x00
00002d73: DUP3
00002d74: DUP3
00002d75: SLOAD
00002d76: ADD
00002d77: SWAP3
00002d78: POP
00002d79: POP
00002d7a: DUP2
00002d7b: SWAP1
00002d7c: SSTORE
00002d7d: POP
00002d7e: DUP3
00002d7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d94: AND
00002d95: DUP5
00002d96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dab: AND
00002dac: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002dcd: DUP5
00002dce: PUSH1 0x40
00002dd0: MLOAD
00002dd1: DUP1
00002dd2: DUP3
00002dd3: DUP2
00002dd4: MSTORE
00002dd5: PUSH1 0x20
00002dd7: ADD
00002dd8: SWAP2
00002dd9: POP
00002dda: POP
00002ddb: PUSH1 0x40
00002ddd: MLOAD
00002dde: DUP1
00002ddf: SWAP2
00002de0: SUB
00002de1: SWAP1
00002de2: LOG3
00002de3: DUP1
00002de4: PUSH1 0x0a
00002de6: PUSH1 0x00
00002de8: DUP6
00002de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dfe: AND
00002dff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e14: AND
00002e15: DUP2
00002e16: MSTORE
00002e17: PUSH1 0x20
00002e19: ADD
00002e1a: SWAP1
00002e1b: DUP2
00002e1c: MSTORE
00002e1d: PUSH1 0x20
00002e1f: ADD
00002e20: PUSH1 0x00
00002e22: KECCAK256
00002e23: SLOAD
00002e24: PUSH1 0x0a
00002e26: PUSH1 0x00
00002e28: DUP8
00002e29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e3e: AND
00002e3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e54: AND
00002e55: DUP2
00002e56: MSTORE
00002e57: PUSH1 0x20
00002e59: ADD
00002e5a: SWAP1
00002e5b: DUP2
00002e5c: MSTORE
00002e5d: PUSH1 0x20
00002e5f: ADD
00002e60: PUSH1 0x00
00002e62: KECCAK256
00002e63: SLOAD
00002e64: ADD
00002e65: EQ
00002e66: PUSH2 0x2e6b
00002e69: JUMPI
00002e6a: INVALID
00002e6b: JUMPDEST
00002e6c: POP
00002e6d: POP
00002e6e: POP
00002e6f: POP
00002e70: JUMP
00002e71: JUMPDEST
00002e72: PUSH1 0x11
00002e74: SLOAD
00002e75: CALLER
00002e76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e8b: AND
00002e8c: BALANCE
00002e8d: LT
00002e8e: ISZERO
00002e8f: PUSH2 0x2fc8
00002e92: JUMPI
00002e93: PUSH1 0x00
00002e95: PUSH1 0x03
00002e97: SLOAD
00002e98: SWAP1
00002e99: POP
00002e9a: DUP1
00002e9b: ADDRESS
00002e9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eb1: AND
00002eb2: BALANCE
00002eb3: LT
00002eb4: ISZERO
00002eb5: PUSH2 0x2f09
00002eb8: JUMPI
00002eb9: PUSH1 0x40
00002ebb: MLOAD
00002ebc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002edd: DUP2
00002ede: MSTORE
00002edf: PUSH1 0x04
00002ee1: ADD
00002ee2: DUP1
00002ee3: DUP1
00002ee4: PUSH1 0x20
00002ee6: ADD
00002ee7: DUP3
00002ee8: DUP2
00002ee9: SUB
00002eea: DUP3
00002eeb: MSTORE
00002eec: PUSH1 0x27
00002eee: DUP2
00002eef: MSTORE
00002ef0: PUSH1 0x20
00002ef2: ADD
00002ef3: DUP1
00002ef4: PUSH2 0x4458
00002ef7: PUSH1 0x27
00002ef9: SWAP2
00002efa: CODECOPY
00002efb: PUSH1 0x40
00002efd: ADD
00002efe: SWAP2
00002eff: POP
00002f00: POP
00002f01: PUSH1 0x40
00002f03: MLOAD
00002f04: DUP1
00002f05: SWAP2
00002f06: SUB
00002f07: SWAP1
00002f08: REVERT
00002f09: JUMPDEST
00002f0a: PUSH2 0x2f12
00002f0d: DUP2
00002f0e: PUSH2 0x3c44
00002f11: JUMP
00002f12: JUMPDEST
00002f13: CALLER
00002f14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f29: AND
00002f2a: PUSH32 0xf5c5a6c4b8111bfa2989974ae39e8b3a39800772dd2d0c1ec776ad4dcd30cd60
00002f4b: DUP3
00002f4c: CALLER
00002f4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f62: AND
00002f63: BALANCE
00002f64: PUSH1 0x40
00002f66: MLOAD
00002f67: DUP1
00002f68: DUP4
00002f69: DUP2
00002f6a: MSTORE
00002f6b: PUSH1 0x20
00002f6d: ADD
00002f6e: DUP3
00002f6f: DUP2
00002f70: MSTORE
00002f71: PUSH1 0x20
00002f73: ADD
00002f74: SWAP3
00002f75: POP
00002f76: POP
00002f77: POP
00002f78: PUSH1 0x40
00002f7a: MLOAD
00002f7b: DUP1
00002f7c: SWAP2
00002f7d: SUB
00002f7e: SWAP1
00002f7f: LOG2
00002f80: CALLER
00002f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f96: AND
00002f97: PUSH2 0x08fc
00002f9a: DUP3
00002f9b: SWAP1
00002f9c: DUP2
00002f9d: ISZERO
00002f9e: MUL
00002f9f: SWAP1
00002fa0: PUSH1 0x40
00002fa2: MLOAD
00002fa3: PUSH1 0x00
00002fa5: PUSH1 0x40
00002fa7: MLOAD
00002fa8: DUP1
00002fa9: DUP4
00002faa: SUB
00002fab: DUP2
00002fac: DUP6
00002fad: DUP9
00002fae: DUP9
00002faf: CALL
00002fb0: SWAP4
00002fb1: POP
00002fb2: POP
00002fb3: POP
00002fb4: POP
00002fb5: ISZERO
00002fb6: DUP1
00002fb7: ISZERO
00002fb8: PUSH2 0x2fc5
00002fbb: JUMPI
00002fbc: RETURNDATASIZE
00002fbd: PUSH1 0x00
00002fbf: DUP1
00002fc0: RETURNDATACOPY
00002fc1: RETURNDATASIZE
00002fc2: PUSH1 0x00
00002fc4: REVERT
00002fc5: JUMPDEST
00002fc6: POP
00002fc7: POP
00002fc8: JUMPDEST
00002fc9: JUMP
00002fca: JUMPDEST
00002fcb: PUSH1 0x00
00002fcd: DUP3
00002fce: MLOAD
00002fcf: SWAP1
00002fd0: POP
00002fd1: DUP2
00002fd2: MLOAD
00002fd3: DUP2
00002fd4: EQ
00002fd5: PUSH2 0x3029
00002fd8: JUMPI
00002fd9: PUSH1 0x40
00002fdb: MLOAD
00002fdc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ffd: DUP2
00002ffe: MSTORE
00002fff: PUSH1 0x04
00003001: ADD
00003002: DUP1
00003003: DUP1
00003004: PUSH1 0x20
00003006: ADD
00003007: DUP3
00003008: DUP2
00003009: SUB
0000300a: DUP3
0000300b: MSTORE
0000300c: PUSH1 0x4c
0000300e: DUP2
0000300f: MSTORE
00003010: PUSH1 0x20
00003012: ADD
00003013: DUP1
00003014: PUSH2 0x438b
00003017: PUSH1 0x4c
00003019: SWAP2
0000301a: CODECOPY
0000301b: PUSH1 0x60
0000301d: ADD
0000301e: SWAP2
0000301f: POP
00003020: POP
00003021: PUSH1 0x40
00003023: MLOAD
00003024: DUP1
00003025: SWAP2
00003026: SUB
00003027: SWAP1
00003028: REVERT
00003029: JUMPDEST
0000302a: PUSH1 0x00
0000302c: DUP1
0000302d: SWAP1
0000302e: POP
0000302f: PUSH1 0x00
00003031: DUP1
00003032: SWAP1
00003033: POP
00003034: JUMPDEST
00003035: DUP3
00003036: DUP2
00003037: LT
00003038: ISZERO
00003039: PUSH2 0x310a
0000303c: JUMPI
0000303d: PUSH1 0x00
0000303f: DUP5
00003040: DUP3
00003041: DUP2
00003042: MLOAD
00003043: DUP2
00003044: LT
00003045: PUSH2 0x304a
00003048: JUMPI
00003049: INVALID
0000304a: JUMPDEST
0000304b: PUSH1 0x20
0000304d: MUL
0000304e: PUSH1 0x20
00003050: ADD
00003051: ADD
00003052: MLOAD
00003053: GT
00003054: DUP1
00003055: ISZERO
00003056: PUSH2 0x3073
00003059: JUMPI
0000305a: POP
0000305b: DUP2
0000305c: DUP5
0000305d: DUP3
0000305e: DUP2
0000305f: MLOAD
00003060: DUP2
00003061: LT
00003062: PUSH2 0x3067
00003065: JUMPI
00003066: INVALID
00003067: JUMPDEST
00003068: PUSH1 0x20
0000306a: MUL
0000306b: PUSH1 0x20
0000306d: ADD
0000306e: ADD
0000306f: MLOAD
00003070: DUP4
00003071: ADD
00003072: GT
00003073: JUMPDEST
00003074: PUSH2 0x30e5
00003077: JUMPI
00003078: PUSH1 0x40
0000307a: MLOAD
0000307b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000309c: DUP2
0000309d: MSTORE
0000309e: PUSH1 0x04
000030a0: ADD
000030a1: DUP1
000030a2: DUP1
000030a3: PUSH1 0x20
000030a5: ADD
000030a6: DUP3
000030a7: DUP2
000030a8: SUB
000030a9: DUP3
000030aa: MSTORE
000030ab: PUSH1 0x1f
000030ad: DUP2
000030ae: MSTORE
000030af: PUSH1 0x20
000030b1: ADD
000030b2: DUP1
000030b3: PUSH32 0x44617461436f6e74726163743a204164646974696f6e206f766572666c6f7700
000030d4: DUP2
000030d5: MSTORE
000030d6: POP
000030d7: PUSH1 0x20
000030d9: ADD
000030da: SWAP2
000030db: POP
000030dc: POP
000030dd: PUSH1 0x40
000030df: MLOAD
000030e0: DUP1
000030e1: SWAP2
000030e2: SUB
000030e3: SWAP1
000030e4: REVERT
000030e5: JUMPDEST
000030e6: DUP4
000030e7: DUP2
000030e8: DUP2
000030e9: MLOAD
000030ea: DUP2
000030eb: LT
000030ec: PUSH2 0x30f1
000030ef: JUMPI
000030f0: INVALID
000030f1: JUMPDEST
000030f2: PUSH1 0x20
000030f4: MUL
000030f5: PUSH1 0x20
000030f7: ADD
000030f8: ADD
000030f9: MLOAD
000030fa: DUP3
000030fb: ADD
000030fc: SWAP2
000030fd: POP
000030fe: DUP1
000030ff: DUP1
00003100: PUSH1 0x01
00003102: ADD
00003103: SWAP2
00003104: POP
00003105: POP
00003106: PUSH2 0x3034
00003109: JUMP
0000310a: JUMPDEST
0000310b: POP
0000310c: DUP1
0000310d: PUSH1 0x02
0000310f: SLOAD
00003110: LT
00003111: ISZERO
00003112: PUSH2 0x3166
00003115: JUMPI
00003116: PUSH1 0x40
00003118: MLOAD
00003119: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000313a: DUP2
0000313b: MSTORE
0000313c: PUSH1 0x04
0000313e: ADD
0000313f: DUP1
00003140: DUP1
00003141: PUSH1 0x20
00003143: ADD
00003144: DUP3
00003145: DUP2
00003146: SUB
00003147: DUP3
00003148: MSTORE
00003149: PUSH1 0x2d
0000314b: DUP2
0000314c: MSTORE
0000314d: PUSH1 0x20
0000314f: ADD
00003150: DUP1
00003151: PUSH2 0x4555
00003154: PUSH1 0x2d
00003156: SWAP2
00003157: CODECOPY
00003158: PUSH1 0x40
0000315a: ADD
0000315b: SWAP2
0000315c: POP
0000315d: POP
0000315e: PUSH1 0x40
00003160: MLOAD
00003161: DUP1
00003162: SWAP2
00003163: SUB
00003164: SWAP1
00003165: REVERT
00003166: JUMPDEST
00003167: PUSH1 0x00
00003169: DUP1
0000316a: SWAP1
0000316b: POP
0000316c: JUMPDEST
0000316d: DUP3
0000316e: DUP2
0000316f: LT
00003170: ISZERO
00003171: PUSH2 0x31f4
00003174: JUMPI
00003175: DUP4
00003176: DUP2
00003177: DUP2
00003178: MLOAD
00003179: DUP2
0000317a: LT
0000317b: PUSH2 0x3180
0000317e: JUMPI
0000317f: INVALID
00003180: JUMPDEST
00003181: PUSH1 0x20
00003183: MUL
00003184: PUSH1 0x20
00003186: ADD
00003187: ADD
00003188: MLOAD
00003189: PUSH1 0x01
0000318b: PUSH1 0x00
0000318d: DUP8
0000318e: DUP5
0000318f: DUP2
00003190: MLOAD
00003191: DUP2
00003192: LT
00003193: PUSH2 0x3198
00003196: JUMPI
00003197: INVALID
00003198: JUMPDEST
00003199: PUSH1 0x20
0000319b: MUL
0000319c: PUSH1 0x20
0000319e: ADD
0000319f: ADD
000031a0: MLOAD
000031a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031b6: AND
000031b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031cc: AND
000031cd: DUP2
000031ce: MSTORE
000031cf: PUSH1 0x20
000031d1: ADD
000031d2: SWAP1
000031d3: DUP2
000031d4: MSTORE
000031d5: PUSH1 0x20
000031d7: ADD
000031d8: PUSH1 0x00
000031da: KECCAK256
000031db: PUSH1 0x00
000031dd: DUP3
000031de: DUP3
000031df: SLOAD
000031e0: ADD
000031e1: SWAP3
000031e2: POP
000031e3: POP
000031e4: DUP2
000031e5: SWAP1
000031e6: SSTORE
000031e7: POP
000031e8: DUP1
000031e9: DUP1
000031ea: PUSH1 0x01
000031ec: ADD
000031ed: SWAP2
000031ee: POP
000031ef: POP
000031f0: PUSH2 0x316c
000031f3: JUMP
000031f4: JUMPDEST
000031f5: POP
000031f6: DUP1
000031f7: PUSH1 0x02
000031f9: PUSH1 0x00
000031fb: DUP3
000031fc: DUP3
000031fd: SLOAD
000031fe: SUB
000031ff: SWAP3
00003200: POP
00003201: POP
00003202: DUP2
00003203: SWAP1
00003204: SSTORE
00003205: POP
00003206: DUP4
00003207: PUSH1 0x40
00003209: MLOAD
0000320a: DUP1
0000320b: DUP3
0000320c: DUP1
0000320d: MLOAD
0000320e: SWAP1
0000320f: PUSH1 0x20
00003211: ADD
00003212: SWAP1
00003213: PUSH1 0x20
00003215: MUL
00003216: DUP1
00003217: DUP4
00003218: DUP4
00003219: PUSH1 0x00
0000321b: JUMPDEST
0000321c: DUP4
0000321d: DUP2
0000321e: LT
0000321f: ISZERO
00003220: PUSH2 0x3236
00003223: JUMPI
00003224: DUP1
00003225: DUP3
00003226: ADD
00003227: MLOAD
00003228: DUP2
00003229: DUP5
0000322a: ADD
0000322b: MSTORE
0000322c: PUSH1 0x20
0000322e: DUP2
0000322f: ADD
00003230: SWAP1
00003231: POP
00003232: PUSH2 0x321b
00003235: JUMP
00003236: JUMPDEST
00003237: POP
00003238: POP
00003239: POP
0000323a: POP
0000323b: SWAP1
0000323c: POP
0000323d: ADD
0000323e: SWAP2
0000323f: POP
00003240: POP
00003241: PUSH1 0x40
00003243: MLOAD
00003244: DUP1
00003245: SWAP2
00003246: SUB
00003247: SWAP1
00003248: KECCAK256
00003249: PUSH1 0x05
0000324b: PUSH1 0x02
0000324d: SWAP1
0000324e: SLOAD
0000324f: SWAP1
00003250: PUSH2 0x0100
00003253: EXP
00003254: SWAP1
00003255: DIV
00003256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000326b: AND
0000326c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003281: AND
00003282: PUSH32 0xc55d90d3390f1d3ccf6de5fff715226a71c5ce2e618f004b2f8d01b893b86450
000032a3: DUP6
000032a4: PUSH1 0x40
000032a6: MLOAD
000032a7: DUP1
000032a8: DUP1
000032a9: PUSH1 0x20
000032ab: ADD
000032ac: DUP3
000032ad: DUP2
000032ae: SUB
000032af: DUP3
000032b0: MSTORE
000032b1: DUP4
000032b2: DUP2
000032b3: DUP2
000032b4: MLOAD
000032b5: DUP2
000032b6: MSTORE
000032b7: PUSH1 0x20
000032b9: ADD
000032ba: SWAP2
000032bb: POP
000032bc: DUP1
000032bd: MLOAD
000032be: SWAP1
000032bf: PUSH1 0x20
000032c1: ADD
000032c2: SWAP1
000032c3: PUSH1 0x20
000032c5: MUL
000032c6: DUP1
000032c7: DUP4
000032c8: DUP4
000032c9: PUSH1 0x00
000032cb: JUMPDEST
000032cc: DUP4
000032cd: DUP2
000032ce: LT
000032cf: ISZERO
000032d0: PUSH2 0x32e6
000032d3: JUMPI
000032d4: DUP1
000032d5: DUP3
000032d6: ADD
000032d7: MLOAD
000032d8: DUP2
000032d9: DUP5
000032da: ADD
000032db: MSTORE
000032dc: PUSH1 0x20
000032de: DUP2
000032df: ADD
000032e0: SWAP1
000032e1: POP
000032e2: PUSH2 0x32cb
000032e5: JUMP
000032e6: JUMPDEST
000032e7: POP
000032e8: POP
000032e9: POP
000032ea: POP
000032eb: SWAP1
000032ec: POP
000032ed: ADD
000032ee: SWAP3
000032ef: POP
000032f0: POP
000032f1: POP
000032f2: PUSH1 0x40
000032f4: MLOAD
000032f5: DUP1
000032f6: SWAP2
000032f7: SUB
000032f8: SWAP1
000032f9: LOG3
000032fa: POP
000032fb: POP
000032fc: POP
000032fd: POP
000032fe: JUMP
000032ff: JUMPDEST
00003300: DUP2
00003301: PUSH1 0x01
00003303: PUSH1 0x00
00003305: DUP6
00003306: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000331b: AND
0000331c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003331: AND
00003332: DUP2
00003333: MSTORE
00003334: PUSH1 0x20
00003336: ADD
00003337: SWAP1
00003338: DUP2
00003339: MSTORE
0000333a: PUSH1 0x20
0000333c: ADD
0000333d: PUSH1 0x00
0000333f: KECCAK256
00003340: SLOAD
00003341: LT
00003342: ISZERO
00003343: PUSH2 0x3397
00003346: JUMPI
00003347: PUSH1 0x40
00003349: MLOAD
0000334a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000336b: DUP2
0000336c: MSTORE
0000336d: PUSH1 0x04
0000336f: ADD
00003370: DUP1
00003371: DUP1
00003372: PUSH1 0x20
00003374: ADD
00003375: DUP3
00003376: DUP2
00003377: SUB
00003378: DUP3
00003379: MSTORE
0000337a: PUSH1 0x37
0000337c: DUP2
0000337d: MSTORE
0000337e: PUSH1 0x20
00003380: ADD
00003381: DUP1
00003382: PUSH2 0x44d0
00003385: PUSH1 0x37
00003387: SWAP2
00003388: CODECOPY
00003389: PUSH1 0x40
0000338b: ADD
0000338c: SWAP2
0000338d: POP
0000338e: POP
0000338f: PUSH1 0x40
00003391: MLOAD
00003392: DUP1
00003393: SWAP2
00003394: SUB
00003395: SWAP1
00003396: REVERT
00003397: JUMPDEST
00003398: PUSH1 0x03
0000339a: SLOAD
0000339b: DUP2
0000339c: PUSH1 0x03
0000339e: SLOAD
0000339f: ADD
000033a0: GT
000033a1: PUSH2 0x33f5
000033a4: JUMPI
000033a5: PUSH1 0x40
000033a7: MLOAD
000033a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000033c9: DUP2
000033ca: MSTORE
000033cb: PUSH1 0x04
000033cd: ADD
000033ce: DUP1
000033cf: DUP1
000033d0: PUSH1 0x20
000033d2: ADD
000033d3: DUP3
000033d4: DUP2
000033d5: SUB
000033d6: DUP3
000033d7: MSTORE
000033d8: PUSH1 0x28
000033da: DUP2
000033db: MSTORE
000033dc: PUSH1 0x20
000033de: ADD
000033df: DUP1
000033e0: PUSH2 0x45b4
000033e3: PUSH1 0x28
000033e5: SWAP2
000033e6: CODECOPY
000033e7: PUSH1 0x40
000033e9: ADD
000033ea: SWAP2
000033eb: POP
000033ec: POP
000033ed: PUSH1 0x40
000033ef: MLOAD
000033f0: DUP1
000033f1: SWAP2
000033f2: SUB
000033f3: SWAP1
000033f4: REVERT
000033f5: JUMPDEST
000033f6: DUP2
000033f7: PUSH1 0x01
000033f9: PUSH1 0x00
000033fb: DUP6
000033fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003411: AND
00003412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003427: AND
00003428: DUP2
00003429: MSTORE
0000342a: PUSH1 0x20
0000342c: ADD
0000342d: SWAP1
0000342e: DUP2
0000342f: MSTORE
00003430: PUSH1 0x20
00003432: ADD
00003433: PUSH1 0x00
00003435: KECCAK256
00003436: PUSH1 0x00
00003438: DUP3
00003439: DUP3
0000343a: SLOAD
0000343b: SUB
0000343c: SWAP3
0000343d: POP
0000343e: POP
0000343f: DUP2
00003440: SWAP1
00003441: SSTORE
00003442: POP
00003443: DUP1
00003444: PUSH1 0x03
00003446: PUSH1 0x00
00003448: DUP3
00003449: DUP3
0000344a: SLOAD
0000344b: ADD
0000344c: SWAP3
0000344d: POP
0000344e: POP
0000344f: DUP2
00003450: SWAP1
00003451: SSTORE
00003452: POP
00003453: POP
00003454: POP
00003455: POP
00003456: JUMP
00003457: JUMPDEST
00003458: PUSH1 0x00
0000345a: DUP3
0000345b: MLOAD
0000345c: SWAP1
0000345d: POP
0000345e: DUP2
0000345f: MLOAD
00003460: DUP2
00003461: EQ
00003462: PUSH2 0x34b6
00003465: JUMPI
00003466: PUSH1 0x40
00003468: MLOAD
00003469: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000348a: DUP2
0000348b: MSTORE
0000348c: PUSH1 0x04
0000348e: ADD
0000348f: DUP1
00003490: DUP1
00003491: PUSH1 0x20
00003493: ADD
00003494: DUP3
00003495: DUP2
00003496: SUB
00003497: DUP3
00003498: MSTORE
00003499: PUSH1 0x4c
0000349b: DUP2
0000349c: MSTORE
0000349d: PUSH1 0x20
0000349f: ADD
000034a0: DUP1
000034a1: PUSH2 0x438b
000034a4: PUSH1 0x4c
000034a6: SWAP2
000034a7: CODECOPY
000034a8: PUSH1 0x60
000034aa: ADD
000034ab: SWAP2
000034ac: POP
000034ad: POP
000034ae: PUSH1 0x40
000034b0: MLOAD
000034b1: DUP1
000034b2: SWAP2
000034b3: SUB
000034b4: SWAP1
000034b5: REVERT
000034b6: JUMPDEST
000034b7: PUSH1 0x00
000034b9: DUP1
000034ba: SWAP1
000034bb: POP
000034bc: PUSH1 0x00
000034be: DUP1
000034bf: SWAP1
000034c0: POP
000034c1: JUMPDEST
000034c2: DUP3
000034c3: DUP2
000034c4: LT
000034c5: ISZERO
000034c6: PUSH2 0x3597
000034c9: JUMPI
000034ca: PUSH1 0x00
000034cc: DUP5
000034cd: DUP3
000034ce: DUP2
000034cf: MLOAD
000034d0: DUP2
000034d1: LT
000034d2: PUSH2 0x34d7
000034d5: JUMPI
000034d6: INVALID
000034d7: JUMPDEST
000034d8: PUSH1 0x20
000034da: MUL
000034db: PUSH1 0x20
000034dd: ADD
000034de: ADD
000034df: MLOAD
000034e0: GT
000034e1: DUP1
000034e2: ISZERO
000034e3: PUSH2 0x3500
000034e6: JUMPI
000034e7: POP
000034e8: DUP2
000034e9: DUP5
000034ea: DUP3
000034eb: DUP2
000034ec: MLOAD
000034ed: DUP2
000034ee: LT
000034ef: PUSH2 0x34f4
000034f2: JUMPI
000034f3: INVALID
000034f4: JUMPDEST
000034f5: PUSH1 0x20
000034f7: MUL
000034f8: PUSH1 0x20
000034fa: ADD
000034fb: ADD
000034fc: MLOAD
000034fd: DUP4
000034fe: ADD
000034ff: GT
00003500: JUMPDEST
00003501: PUSH2 0x3572
00003504: JUMPI
00003505: PUSH1 0x40
00003507: MLOAD
00003508: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003529: DUP2
0000352a: MSTORE
0000352b: PUSH1 0x04
0000352d: ADD
0000352e: DUP1
0000352f: DUP1
00003530: PUSH1 0x20
00003532: ADD
00003533: DUP3
00003534: DUP2
00003535: SUB
00003536: DUP3
00003537: MSTORE
00003538: PUSH1 0x1f
0000353a: DUP2
0000353b: MSTORE
0000353c: PUSH1 0x20
0000353e: ADD
0000353f: DUP1
00003540: PUSH32 0x44617461436f6e74726163743a204164646974696f6e206f766572666c6f7700
00003561: DUP2
00003562: MSTORE
00003563: POP
00003564: PUSH1 0x20
00003566: ADD
00003567: SWAP2
00003568: POP
00003569: POP
0000356a: PUSH1 0x40
0000356c: MLOAD
0000356d: DUP1
0000356e: SWAP2
0000356f: SUB
00003570: SWAP1
00003571: REVERT
00003572: JUMPDEST
00003573: DUP4
00003574: DUP2
00003575: DUP2
00003576: MLOAD
00003577: DUP2
00003578: LT
00003579: PUSH2 0x357e
0000357c: JUMPI
0000357d: INVALID
0000357e: JUMPDEST
0000357f: PUSH1 0x20
00003581: MUL
00003582: PUSH1 0x20
00003584: ADD
00003585: ADD
00003586: MLOAD
00003587: DUP3
00003588: ADD
00003589: SWAP2
0000358a: POP
0000358b: DUP1
0000358c: DUP1
0000358d: PUSH1 0x01
0000358f: ADD
00003590: SWAP2
00003591: POP
00003592: POP
00003593: PUSH2 0x34c1
00003596: JUMP
00003597: JUMPDEST
00003598: POP
00003599: DUP1
0000359a: PUSH1 0x00
0000359c: SLOAD
0000359d: LT
0000359e: ISZERO
0000359f: DUP1
000035a0: ISZERO
000035a1: PUSH2 0x35af
000035a4: JUMPI
000035a5: POP
000035a6: DUP1
000035a7: PUSH1 0x00
000035a9: SLOAD
000035aa: SUB
000035ab: PUSH1 0x00
000035ad: SLOAD
000035ae: GT
000035af: JUMPDEST
000035b0: PUSH2 0x3604
000035b3: JUMPI
000035b4: PUSH1 0x40
000035b6: MLOAD
000035b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000035d8: DUP2
000035d9: MSTORE
000035da: PUSH1 0x04
000035dc: ADD
000035dd: DUP1
000035de: DUP1
000035df: PUSH1 0x20
000035e1: ADD
000035e2: DUP3
000035e3: DUP2
000035e4: SUB
000035e5: DUP3
000035e6: MSTORE
000035e7: PUSH1 0x39
000035e9: DUP2
000035ea: MSTORE
000035eb: PUSH1 0x20
000035ed: ADD
000035ee: DUP1
000035ef: PUSH2 0x43f9
000035f2: PUSH1 0x39
000035f4: SWAP2
000035f5: CODECOPY
000035f6: PUSH1 0x40
000035f8: ADD
000035f9: SWAP2
000035fa: POP
000035fb: POP
000035fc: PUSH1 0x40
000035fe: MLOAD
000035ff: DUP1
00003600: SWAP2
00003601: SUB
00003602: SWAP1
00003603: REVERT
00003604: JUMPDEST
00003605: PUSH1 0x00
00003607: DUP1
00003608: SWAP1
00003609: POP
0000360a: JUMPDEST
0000360b: DUP5
0000360c: MLOAD
0000360d: DUP2
0000360e: LT
0000360f: ISZERO
00003610: PUSH2 0x3693
00003613: JUMPI
00003614: DUP4
00003615: DUP2
00003616: DUP2
00003617: MLOAD
00003618: DUP2
00003619: LT
0000361a: PUSH2 0x361f
0000361d: JUMPI
0000361e: INVALID
0000361f: JUMPDEST
00003620: PUSH1 0x20
00003622: MUL
00003623: PUSH1 0x20
00003625: ADD
00003626: ADD
00003627: MLOAD
00003628: PUSH1 0x01
0000362a: PUSH1 0x00
0000362c: DUP8
0000362d: DUP5
0000362e: DUP2
0000362f: MLOAD
00003630: DUP2
00003631: LT
00003632: PUSH2 0x3637
00003635: JUMPI
00003636: INVALID
00003637: JUMPDEST
00003638: PUSH1 0x20
0000363a: MUL
0000363b: PUSH1 0x20
0000363d: ADD
0000363e: ADD
0000363f: MLOAD
00003640: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003655: AND
00003656: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000366b: AND
0000366c: DUP2
0000366d: MSTORE
0000366e: PUSH1 0x20
00003670: ADD
00003671: SWAP1
00003672: DUP2
00003673: MSTORE
00003674: PUSH1 0x20
00003676: ADD
00003677: PUSH1 0x00
00003679: KECCAK256
0000367a: PUSH1 0x00
0000367c: DUP3
0000367d: DUP3
0000367e: SLOAD
0000367f: ADD
00003680: SWAP3
00003681: POP
00003682: POP
00003683: DUP2
00003684: SWAP1
00003685: SSTORE
00003686: POP
00003687: DUP1
00003688: DUP1
00003689: PUSH1 0x01
0000368b: ADD
0000368c: SWAP2
0000368d: POP
0000368e: POP
0000368f: PUSH2 0x360a
00003692: JUMP
00003693: JUMPDEST
00003694: POP
00003695: DUP1
00003696: PUSH1 0x00
00003698: DUP1
00003699: DUP3
0000369a: DUP3
0000369b: SLOAD
0000369c: SUB
0000369d: SWAP3
0000369e: POP
0000369f: POP
000036a0: DUP2
000036a1: SWAP1
000036a2: SSTORE
000036a3: POP
000036a4: DUP4
000036a5: PUSH1 0x40
000036a7: MLOAD
000036a8: DUP1
000036a9: DUP3
000036aa: DUP1
000036ab: MLOAD
000036ac: SWAP1
000036ad: PUSH1 0x20
000036af: ADD
000036b0: SWAP1
000036b1: PUSH1 0x20
000036b3: MUL
000036b4: DUP1
000036b5: DUP4
000036b6: DUP4
000036b7: PUSH1 0x00
000036b9: JUMPDEST
000036ba: DUP4
000036bb: DUP2
000036bc: LT
000036bd: ISZERO
000036be: PUSH2 0x36d4
000036c1: JUMPI
000036c2: DUP1
000036c3: DUP3
000036c4: ADD
000036c5: MLOAD
000036c6: DUP2
000036c7: DUP5
000036c8: ADD
000036c9: MSTORE
000036ca: PUSH1 0x20
000036cc: DUP2
000036cd: ADD
000036ce: SWAP1
000036cf: POP
000036d0: PUSH2 0x36b9
000036d3: JUMP
000036d4: JUMPDEST
000036d5: POP
000036d6: POP
000036d7: POP
000036d8: POP
000036d9: SWAP1
000036da: POP
000036db: ADD
000036dc: SWAP2
000036dd: POP
000036de: POP
000036df: PUSH1 0x40
000036e1: MLOAD
000036e2: DUP1
000036e3: SWAP2
000036e4: SUB
000036e5: SWAP1
000036e6: KECCAK256
000036e7: PUSH1 0x05
000036e9: PUSH1 0x02
000036eb: SWAP1
000036ec: SLOAD
000036ed: SWAP1
000036ee: PUSH2 0x0100
000036f1: EXP
000036f2: SWAP1
000036f3: DIV
000036f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003709: AND
0000370a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000371f: AND
00003720: PUSH32 0x49b467aee216a5476bb060b9f87e594a6cffac021b0a74c5a2ac4890f8c81397
00003741: DUP6
00003742: PUSH1 0x40
00003744: MLOAD
00003745: DUP1
00003746: DUP1
00003747: PUSH1 0x20
00003749: ADD
0000374a: DUP3
0000374b: DUP2
0000374c: SUB
0000374d: DUP3
0000374e: MSTORE
0000374f: DUP4
00003750: DUP2
00003751: DUP2
00003752: MLOAD
00003753: DUP2
00003754: MSTORE
00003755: PUSH1 0x20
00003757: ADD
00003758: SWAP2
00003759: POP
0000375a: DUP1
0000375b: MLOAD
0000375c: SWAP1
0000375d: PUSH1 0x20
0000375f: ADD
00003760: SWAP1
00003761: PUSH1 0x20
00003763: MUL
00003764: DUP1
00003765: DUP4
00003766: DUP4
00003767: PUSH1 0x00
00003769: JUMPDEST
0000376a: DUP4
0000376b: DUP2
0000376c: LT
0000376d: ISZERO
0000376e: PUSH2 0x3784
00003771: JUMPI
00003772: DUP1
00003773: DUP3
00003774: ADD
00003775: MLOAD
00003776: DUP2
00003777: DUP5
00003778: ADD
00003779: MSTORE
0000377a: PUSH1 0x20
0000377c: DUP2
0000377d: ADD
0000377e: SWAP1
0000377f: POP
00003780: PUSH2 0x3769
00003783: JUMP
00003784: JUMPDEST
00003785: POP
00003786: POP
00003787: POP
00003788: POP
00003789: SWAP1
0000378a: POP
0000378b: ADD
0000378c: SWAP3
0000378d: POP
0000378e: POP
0000378f: POP
00003790: PUSH1 0x40
00003792: MLOAD
00003793: DUP1
00003794: SWAP2
00003795: SUB
00003796: SWAP1
00003797: LOG3
00003798: POP
00003799: POP
0000379a: POP
0000379b: POP
0000379c: JUMP
0000379d: JUMPDEST
0000379e: PUSH2 0x37b1
000037a1: DUP2
000037a2: PUSH1 0x0d
000037a4: PUSH2 0x3d0c
000037a7: SWAP1
000037a8: SWAP2
000037a9: SWAP1
000037aa: PUSH4 0xffffffff
000037af: AND
000037b0: JUMP
000037b1: JUMPDEST
000037b2: DUP1
000037b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037c8: AND
000037c9: PUSH32 0x6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f6
000037ea: PUSH1 0x40
000037ec: MLOAD
000037ed: PUSH1 0x40
000037ef: MLOAD
000037f0: DUP1
000037f1: SWAP2
000037f2: SUB
000037f3: SWAP1
000037f4: LOG2
000037f5: POP
000037f6: JUMP
000037f7: JUMPDEST
000037f8: PUSH2 0x380b
000037fb: DUP2
000037fc: PUSH1 0x0d
000037fe: PUSH2 0x3de7
00003801: SWAP1
00003802: SWAP2
00003803: SWAP1
00003804: PUSH4 0xffffffff
00003809: AND
0000380a: JUMP
0000380b: JUMPDEST
0000380c: DUP1
0000380d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003822: AND
00003823: PUSH32 0xe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb66692
00003844: PUSH1 0x40
00003846: MLOAD
00003847: PUSH1 0x40
00003849: MLOAD
0000384a: DUP1
0000384b: SWAP2
0000384c: SUB
0000384d: SWAP1
0000384e: LOG2
0000384f: POP
00003850: JUMP
00003851: JUMPDEST
00003852: PUSH1 0x00
00003854: DUP1
00003855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000386a: AND
0000386b: DUP3
0000386c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003881: AND
00003882: EQ
00003883: ISZERO
00003884: PUSH2 0x38d8
00003887: JUMPI
00003888: PUSH1 0x40
0000388a: MLOAD
0000388b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000038ac: DUP2
000038ad: MSTORE
000038ae: PUSH1 0x04
000038b0: ADD
000038b1: DUP1
000038b2: DUP1
000038b3: PUSH1 0x20
000038b5: ADD
000038b6: DUP3
000038b7: DUP2
000038b8: SUB
000038b9: DUP3
000038ba: MSTORE
000038bb: PUSH1 0x22
000038bd: DUP2
000038be: MSTORE
000038bf: PUSH1 0x20
000038c1: ADD
000038c2: DUP1
000038c3: PUSH2 0x4507
000038c6: PUSH1 0x22
000038c8: SWAP2
000038c9: CODECOPY
000038ca: PUSH1 0x40
000038cc: ADD
000038cd: SWAP2
000038ce: POP
000038cf: POP
000038d0: PUSH1 0x40
000038d2: MLOAD
000038d3: DUP1
000038d4: SWAP2
000038d5: SUB
000038d6: SWAP1
000038d7: REVERT
000038d8: JUMPDEST
000038d9: DUP3
000038da: PUSH1 0x00
000038dc: ADD
000038dd: PUSH1 0x00
000038df: DUP4
000038e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038f5: AND
000038f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000390b: AND
0000390c: DUP2
0000390d: MSTORE
0000390e: PUSH1 0x20
00003910: ADD
00003911: SWAP1
00003912: DUP2
00003913: MSTORE
00003914: PUSH1 0x20
00003916: ADD
00003917: PUSH1 0x00
00003919: KECCAK256
0000391a: PUSH1 0x00
0000391c: SWAP1
0000391d: SLOAD
0000391e: SWAP1
0000391f: PUSH2 0x0100
00003922: EXP
00003923: SWAP1
00003924: DIV
00003925: PUSH1 0xff
00003927: AND
00003928: SWAP1
00003929: POP
0000392a: SWAP3
0000392b: SWAP2
0000392c: POP
0000392d: POP
0000392e: JUMP
0000392f: JUMPDEST
00003930: PUSH2 0x3938
00003933: CALLVALUE
00003934: PUSH2 0x3ea4
00003937: JUMP
00003938: JUMPDEST
00003939: PUSH2 0x3944
0000393c: CALLER
0000393d: PUSH1 0x0f
0000393f: SLOAD
00003940: PUSH2 0x3951
00003943: JUMP
00003944: JUMPDEST
00003945: PUSH2 0x394e
00003948: CALLER
00003949: DUP3
0000394a: PUSH2 0x3f31
0000394d: JUMP
0000394e: JUMPDEST
0000394f: POP
00003950: JUMP
00003951: JUMPDEST
00003952: PUSH1 0x00
00003954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003969: AND
0000396a: DUP3
0000396b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003980: AND
00003981: EQ
00003982: ISZERO
00003983: PUSH2 0x39d7
00003986: JUMPI
00003987: PUSH1 0x40
00003989: MLOAD
0000398a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000039ab: DUP2
000039ac: MSTORE
000039ad: PUSH1 0x04
000039af: ADD
000039b0: DUP1
000039b1: DUP1
000039b2: PUSH1 0x20
000039b4: ADD
000039b5: DUP3
000039b6: DUP2
000039b7: SUB
000039b8: DUP3
000039b9: MSTORE
000039ba: PUSH1 0x2c
000039bc: DUP2
000039bd: MSTORE
000039be: PUSH1 0x20
000039c0: ADD
000039c1: DUP1
000039c2: PUSH2 0x4529
000039c5: PUSH1 0x2c
000039c7: SWAP2
000039c8: CODECOPY
000039c9: PUSH1 0x40
000039cb: ADD
000039cc: SWAP2
000039cd: POP
000039ce: POP
000039cf: PUSH1 0x40
000039d1: MLOAD
000039d2: DUP1
000039d3: SWAP2
000039d4: SUB
000039d5: SWAP1
000039d6: REVERT
000039d7: JUMPDEST
000039d8: DUP1
000039d9: PUSH1 0x0a
000039db: PUSH1 0x00
000039dd: DUP1
000039de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039f3: AND
000039f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a09: AND
00003a0a: DUP2
00003a0b: MSTORE
00003a0c: PUSH1 0x20
00003a0e: ADD
00003a0f: SWAP1
00003a10: DUP2
00003a11: MSTORE
00003a12: PUSH1 0x20
00003a14: ADD
00003a15: PUSH1 0x00
00003a17: KECCAK256
00003a18: SLOAD
00003a19: LT
00003a1a: ISZERO
00003a1b: DUP1
00003a1c: ISZERO
00003a1d: PUSH2 0x3aa5
00003a20: JUMPI
00003a21: POP
00003a22: PUSH1 0x0a
00003a24: PUSH1 0x00
00003a26: DUP4
00003a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a3c: AND
00003a3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a52: AND
00003a53: DUP2
00003a54: MSTORE
00003a55: PUSH1 0x20
00003a57: ADD
00003a58: SWAP1
00003a59: DUP2
00003a5a: MSTORE
00003a5b: PUSH1 0x20
00003a5d: ADD
00003a5e: PUSH1 0x00
00003a60: KECCAK256
00003a61: SLOAD
00003a62: DUP2
00003a63: PUSH1 0x0a
00003a65: PUSH1 0x00
00003a67: DUP6
00003a68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a7d: AND
00003a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a93: AND
00003a94: DUP2
00003a95: MSTORE
00003a96: PUSH1 0x20
00003a98: ADD
00003a99: SWAP1
00003a9a: DUP2
00003a9b: MSTORE
00003a9c: PUSH1 0x20
00003a9e: ADD
00003a9f: PUSH1 0x00
00003aa1: KECCAK256
00003aa2: SLOAD
00003aa3: ADD
00003aa4: GT
00003aa5: JUMPDEST
00003aa6: ISZERO
00003aa7: PUSH2 0x3c40
00003aaa: JUMPI
00003aab: DUP1
00003aac: PUSH1 0x0a
00003aae: PUSH1 0x00
00003ab0: DUP1
00003ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ac6: AND
00003ac7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003adc: AND
00003add: DUP2
00003ade: MSTORE
00003adf: PUSH1 0x20
00003ae1: ADD
00003ae2: SWAP1
00003ae3: DUP2
00003ae4: MSTORE
00003ae5: PUSH1 0x20
00003ae7: ADD
00003ae8: PUSH1 0x00
00003aea: KECCAK256
00003aeb: PUSH1 0x00
00003aed: DUP3
00003aee: DUP3
00003aef: SLOAD
00003af0: SUB
00003af1: SWAP3
00003af2: POP
00003af3: POP
00003af4: DUP2
00003af5: SWAP1
00003af6: SSTORE
00003af7: POP
00003af8: DUP1
00003af9: PUSH1 0x0a
00003afb: PUSH1 0x00
00003afd: DUP5
00003afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b13: AND
00003b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b29: AND
00003b2a: DUP2
00003b2b: MSTORE
00003b2c: PUSH1 0x20
00003b2e: ADD
00003b2f: SWAP1
00003b30: DUP2
00003b31: MSTORE
00003b32: PUSH1 0x20
00003b34: ADD
00003b35: PUSH1 0x00
00003b37: KECCAK256
00003b38: PUSH1 0x00
00003b3a: DUP3
00003b3b: DUP3
00003b3c: SLOAD
00003b3d: ADD
00003b3e: SWAP3
00003b3f: POP
00003b40: POP
00003b41: DUP2
00003b42: SWAP1
00003b43: SSTORE
00003b44: POP
00003b45: DUP2
00003b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b5b: AND
00003b5c: PUSH32 0xada993ad066837289fe186cd37227aa338d27519a8a1547472ecb9831486d272
00003b7d: DUP3
00003b7e: PUSH1 0x0a
00003b80: PUSH1 0x00
00003b82: DUP7
00003b83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b98: AND
00003b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bae: AND
00003baf: DUP2
00003bb0: MSTORE
00003bb1: PUSH1 0x20
00003bb3: ADD
00003bb4: SWAP1
00003bb5: DUP2
00003bb6: MSTORE
00003bb7: PUSH1 0x20
00003bb9: ADD
00003bba: PUSH1 0x00
00003bbc: KECCAK256
00003bbd: SLOAD
00003bbe: PUSH1 0x40
00003bc0: MLOAD
00003bc1: DUP1
00003bc2: DUP4
00003bc3: DUP2
00003bc4: MSTORE
00003bc5: PUSH1 0x20
00003bc7: ADD
00003bc8: DUP3
00003bc9: DUP2
00003bca: MSTORE
00003bcb: PUSH1 0x20
00003bcd: ADD
00003bce: SWAP3
00003bcf: POP
00003bd0: POP
00003bd1: POP
00003bd2: PUSH1 0x40
00003bd4: MLOAD
00003bd5: DUP1
00003bd6: SWAP2
00003bd7: SUB
00003bd8: SWAP1
00003bd9: LOG2
00003bda: DUP2
00003bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bf0: AND
00003bf1: PUSH1 0x00
00003bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c08: AND
00003c09: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003c2a: DUP4
00003c2b: PUSH1 0x40
00003c2d: MLOAD
00003c2e: DUP1
00003c2f: DUP3
00003c30: DUP2
00003c31: MSTORE
00003c32: PUSH1 0x20
00003c34: ADD
00003c35: SWAP2
00003c36: POP
00003c37: POP
00003c38: PUSH1 0x40
00003c3a: MLOAD
00003c3b: DUP1
00003c3c: SWAP2
00003c3d: SUB
00003c3e: SWAP1
00003c3f: LOG3
00003c40: JUMPDEST
00003c41: POP
00003c42: POP
00003c43: JUMP
00003c44: JUMPDEST
00003c45: PUSH1 0x00
00003c47: DUP2
00003c48: GT
00003c49: DUP1
00003c4a: ISZERO
00003c4b: PUSH2 0x3c56
00003c4e: JUMPI
00003c4f: POP
00003c50: DUP1
00003c51: PUSH1 0x03
00003c53: SLOAD
00003c54: LT
00003c55: ISZERO
00003c56: JUMPDEST
00003c57: PUSH2 0x3cab
00003c5a: JUMPI
00003c5b: PUSH1 0x40
00003c5d: MLOAD
00003c5e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003c7f: DUP2
00003c80: MSTORE
00003c81: PUSH1 0x04
00003c83: ADD
00003c84: DUP1
00003c85: DUP1
00003c86: PUSH1 0x20
00003c88: ADD
00003c89: DUP3
00003c8a: DUP2
00003c8b: SUB
00003c8c: DUP3
00003c8d: MSTORE
00003c8e: PUSH1 0x2e
00003c90: DUP2
00003c91: MSTORE
00003c92: PUSH1 0x20
00003c94: ADD
00003c95: DUP1
00003c96: PUSH2 0x42d4
00003c99: PUSH1 0x2e
00003c9b: SWAP2
00003c9c: CODECOPY
00003c9d: PUSH1 0x40
00003c9f: ADD
00003ca0: SWAP2
00003ca1: POP
00003ca2: POP
00003ca3: PUSH1 0x40
00003ca5: MLOAD
00003ca6: DUP1
00003ca7: SWAP2
00003ca8: SUB
00003ca9: SWAP1
00003caa: REVERT
00003cab: JUMPDEST
00003cac: DUP1
00003cad: PUSH1 0x03
00003caf: PUSH1 0x00
00003cb1: DUP3
00003cb2: DUP3
00003cb3: SLOAD
00003cb4: SUB
00003cb5: SWAP3
00003cb6: POP
00003cb7: POP
00003cb8: DUP2
00003cb9: SWAP1
00003cba: SSTORE
00003cbb: POP
00003cbc: CALLER
00003cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cd2: AND
00003cd3: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5
00003cf4: DUP3
00003cf5: PUSH1 0x40
00003cf7: MLOAD
00003cf8: DUP1
00003cf9: DUP3
00003cfa: DUP2
00003cfb: MSTORE
00003cfc: PUSH1 0x20
00003cfe: ADD
00003cff: SWAP2
00003d00: POP
00003d01: POP
00003d02: PUSH1 0x40
00003d04: MLOAD
00003d05: DUP1
00003d06: SWAP2
00003d07: SUB
00003d08: SWAP1
00003d09: LOG2
00003d0a: POP
00003d0b: JUMP
00003d0c: JUMPDEST
00003d0d: PUSH2 0x3d16
00003d10: DUP3
00003d11: DUP3
00003d12: PUSH2 0x3851
00003d15: JUMP
00003d16: JUMPDEST
00003d17: ISZERO
00003d18: PUSH2 0x3d89
00003d1b: JUMPI
00003d1c: PUSH1 0x40
00003d1e: MLOAD
00003d1f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003d40: DUP2
00003d41: MSTORE
00003d42: PUSH1 0x04
00003d44: ADD
00003d45: DUP1
00003d46: DUP1
00003d47: PUSH1 0x20
00003d49: ADD
00003d4a: DUP3
00003d4b: DUP2
00003d4c: SUB
00003d4d: DUP3
00003d4e: MSTORE
00003d4f: PUSH1 0x1f
00003d51: DUP2
00003d52: MSTORE
00003d53: PUSH1 0x20
00003d55: ADD
00003d56: DUP1
00003d57: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500
00003d78: DUP2
00003d79: MSTORE
00003d7a: POP
00003d7b: PUSH1 0x20
00003d7d: ADD
00003d7e: SWAP2
00003d7f: POP
00003d80: POP
00003d81: PUSH1 0x40
00003d83: MLOAD
00003d84: DUP1
00003d85: SWAP2
00003d86: SUB
00003d87: SWAP1
00003d88: REVERT
00003d89: JUMPDEST
00003d8a: PUSH1 0x01
00003d8c: DUP3
00003d8d: PUSH1 0x00
00003d8f: ADD
00003d90: PUSH1 0x00
00003d92: DUP4
00003d93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003da8: AND
00003da9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dbe: AND
00003dbf: DUP2
00003dc0: MSTORE
00003dc1: PUSH1 0x20
00003dc3: ADD
00003dc4: SWAP1
00003dc5: DUP2
00003dc6: MSTORE
00003dc7: PUSH1 0x20
00003dc9: ADD
00003dca: PUSH1 0x00
00003dcc: KECCAK256
00003dcd: PUSH1 0x00
00003dcf: PUSH2 0x0100
00003dd2: EXP
00003dd3: DUP2
00003dd4: SLOAD
00003dd5: DUP2
00003dd6: PUSH1 0xff
00003dd8: MUL
00003dd9: NOT
00003dda: AND
00003ddb: SWAP1
00003ddc: DUP4
00003ddd: ISZERO
00003dde: ISZERO
00003ddf: MUL
00003de0: OR
00003de1: SWAP1
00003de2: SSTORE
00003de3: POP
00003de4: POP
00003de5: POP
00003de6: JUMP
00003de7: JUMPDEST
00003de8: PUSH2 0x3df1
00003deb: DUP3
00003dec: DUP3
00003ded: PUSH2 0x3851
00003df0: JUMP
00003df1: JUMPDEST
00003df2: PUSH2 0x3e46
00003df5: JUMPI
00003df6: PUSH1 0x40
00003df8: MLOAD
00003df9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003e1a: DUP2
00003e1b: MSTORE
00003e1c: PUSH1 0x04
00003e1e: ADD
00003e1f: DUP1
00003e20: DUP1
00003e21: PUSH1 0x20
00003e23: ADD
00003e24: DUP3
00003e25: DUP2
00003e26: SUB
00003e27: DUP3
00003e28: MSTORE
00003e29: PUSH1 0x21
00003e2b: DUP2
00003e2c: MSTORE
00003e2d: PUSH1 0x20
00003e2f: ADD
00003e30: DUP1
00003e31: PUSH2 0x44af
00003e34: PUSH1 0x21
00003e36: SWAP2
00003e37: CODECOPY
00003e38: PUSH1 0x40
00003e3a: ADD
00003e3b: SWAP2
00003e3c: POP
00003e3d: POP
00003e3e: PUSH1 0x40
00003e40: MLOAD
00003e41: DUP1
00003e42: SWAP2
00003e43: SUB
00003e44: SWAP1
00003e45: REVERT
00003e46: JUMPDEST
00003e47: PUSH1 0x00
00003e49: DUP3
00003e4a: PUSH1 0x00
00003e4c: ADD
00003e4d: PUSH1 0x00
00003e4f: DUP4
00003e50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e65: AND
00003e66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e7b: AND
00003e7c: DUP2
00003e7d: MSTORE
00003e7e: PUSH1 0x20
00003e80: ADD
00003e81: SWAP1
00003e82: DUP2
00003e83: MSTORE
00003e84: PUSH1 0x20
00003e86: ADD
00003e87: PUSH1 0x00
00003e89: KECCAK256
00003e8a: PUSH1 0x00
00003e8c: PUSH2 0x0100
00003e8f: EXP
00003e90: DUP2
00003e91: SLOAD
00003e92: DUP2
00003e93: PUSH1 0xff
00003e95: MUL
00003e96: NOT
00003e97: AND
00003e98: SWAP1
00003e99: DUP4
00003e9a: ISZERO
00003e9b: ISZERO
00003e9c: MUL
00003e9d: OR
00003e9e: SWAP1
00003e9f: SSTORE
00003ea0: POP
00003ea1: POP
00003ea2: POP
00003ea3: JUMP
00003ea4: JUMPDEST
00003ea5: PUSH1 0x00
00003ea7: SLOAD
00003ea8: DUP2
00003ea9: PUSH1 0x00
00003eab: SLOAD
00003eac: ADD
00003ead: GT
00003eae: PUSH2 0x3f1f
00003eb1: JUMPI
00003eb2: PUSH1 0x40
00003eb4: MLOAD
00003eb5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003ed6: DUP2
00003ed7: MSTORE
00003ed8: PUSH1 0x04
00003eda: ADD
00003edb: DUP1
00003edc: DUP1
00003edd: PUSH1 0x20
00003edf: ADD
00003ee0: DUP3
00003ee1: DUP2
00003ee2: SUB
00003ee3: DUP3
00003ee4: MSTORE
00003ee5: PUSH1 0x1f
00003ee7: DUP2
00003ee8: MSTORE
00003ee9: PUSH1 0x20
00003eeb: ADD
00003eec: DUP1
00003eed: PUSH32 0x44617461436f6e74726163743a204164646974696f6e206f766572666c6f7700
00003f0e: DUP2
00003f0f: MSTORE
00003f10: POP
00003f11: PUSH1 0x20
00003f13: ADD
00003f14: SWAP2
00003f15: POP
00003f16: POP
00003f17: PUSH1 0x40
00003f19: MLOAD
00003f1a: DUP1
00003f1b: SWAP2
00003f1c: SUB
00003f1d: SWAP1
00003f1e: REVERT
00003f1f: JUMPDEST
00003f20: DUP1
00003f21: PUSH1 0x00
00003f23: DUP1
00003f24: DUP3
00003f25: DUP3
00003f26: SLOAD
00003f27: ADD
00003f28: SWAP3
00003f29: POP
00003f2a: POP
00003f2b: DUP2
00003f2c: SWAP1
00003f2d: SSTORE
00003f2e: POP
00003f2f: POP
00003f30: JUMP
00003f31: JUMPDEST
00003f32: PUSH1 0x40
00003f34: MLOAD
00003f35: DUP1
00003f36: PUSH1 0x60
00003f38: ADD
00003f39: PUSH1 0x40
00003f3b: MSTORE
00003f3c: DUP1
00003f3d: DUP3
00003f3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f53: AND
00003f54: DUP2
00003f55: MSTORE
00003f56: PUSH1 0x20
00003f58: ADD
00003f59: PUSH1 0x00
00003f5b: PUSH1 0xff
00003f5d: AND
00003f5e: DUP2
00003f5f: MSTORE
00003f60: PUSH1 0x20
00003f62: ADD
00003f63: PUSH1 0x01
00003f65: ISZERO
00003f66: ISZERO
00003f67: DUP2
00003f68: MSTORE
00003f69: POP
00003f6a: PUSH1 0x04
00003f6c: PUSH1 0x00
00003f6e: DUP5
00003f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f84: AND
00003f85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f9a: AND
00003f9b: DUP2
00003f9c: MSTORE
00003f9d: PUSH1 0x20
00003f9f: ADD
00003fa0: SWAP1
00003fa1: DUP2
00003fa2: MSTORE
00003fa3: PUSH1 0x20
00003fa5: ADD
00003fa6: PUSH1 0x00
00003fa8: KECCAK256
00003fa9: PUSH1 0x00
00003fab: DUP3
00003fac: ADD
00003fad: MLOAD
00003fae: DUP2
00003faf: PUSH1 0x00
00003fb1: ADD
00003fb2: PUSH1 0x00
00003fb4: PUSH2 0x0100
00003fb7: EXP
00003fb8: DUP2
00003fb9: SLOAD
00003fba: DUP2
00003fbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fd0: MUL
00003fd1: NOT
00003fd2: AND
00003fd3: SWAP1
00003fd4: DUP4
00003fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fea: AND
00003feb: MUL
00003fec: OR
00003fed: SWAP1
00003fee: SSTORE
00003fef: POP
00003ff0: PUSH1 0x20
00003ff2: DUP3
00003ff3: ADD
00003ff4: MLOAD
00003ff5: DUP2
00003ff6: PUSH1 0x00
00003ff8: ADD
00003ff9: PUSH1 0x14
00003ffb: PUSH2 0x0100
00003ffe: EXP
00003fff: DUP2
00004000: SLOAD
00004001: DUP2
00004002: PUSH1 0xff
00004004: MUL
00004005: NOT
00004006: AND
00004007: SWAP1
00004008: DUP4
00004009: PUSH1 0xff
0000400b: AND
0000400c: MUL
0000400d: OR
0000400e: SWAP1
0000400f: SSTORE
00004010: POP
00004011: PUSH1 0x40
00004013: DUP3
00004014: ADD
00004015: MLOAD
00004016: DUP2
00004017: PUSH1 0x00
00004019: ADD
0000401a: PUSH1 0x15
0000401c: PUSH2 0x0100
0000401f: EXP
00004020: DUP2
00004021: SLOAD
00004022: DUP2
00004023: PUSH1 0xff
00004025: MUL
00004026: NOT
00004027: AND
00004028: SWAP1
00004029: DUP4
0000402a: ISZERO
0000402b: ISZERO
0000402c: MUL
0000402d: OR
0000402e: SWAP1
0000402f: SSTORE
00004030: POP
00004031: SWAP1
00004032: POP
00004033: POP
00004034: PUSH1 0x00
00004036: PUSH1 0x01
00004038: PUSH1 0x04
0000403a: PUSH1 0x00
0000403c: DUP5
0000403d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004052: AND
00004053: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004068: AND
00004069: DUP2
0000406a: MSTORE
0000406b: PUSH1 0x20
0000406d: ADD
0000406e: SWAP1
0000406f: DUP2
00004070: MSTORE
00004071: PUSH1 0x20
00004073: ADD
00004074: PUSH1 0x00
00004076: KECCAK256
00004077: PUSH1 0x00
00004079: ADD
0000407a: PUSH1 0x14
0000407c: SWAP1
0000407d: SLOAD
0000407e: SWAP1
0000407f: PUSH2 0x0100
00004082: EXP
00004083: SWAP1
00004084: DIV
00004085: PUSH1 0xff
00004087: AND
00004088: ADD
00004089: SWAP1
0000408a: POP
0000408b: PUSH1 0x40
0000408d: MLOAD
0000408e: DUP1
0000408f: PUSH1 0x60
00004091: ADD
00004092: PUSH1 0x40
00004094: MSTORE
00004095: DUP1
00004096: PUSH1 0x04
00004098: PUSH1 0x00
0000409a: DUP6
0000409b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040b0: AND
000040b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040c6: AND
000040c7: DUP2
000040c8: MSTORE
000040c9: PUSH1 0x20
000040cb: ADD
000040cc: SWAP1
000040cd: DUP2
000040ce: MSTORE
000040cf: PUSH1 0x20
000040d1: ADD
000040d2: PUSH1 0x00
000040d4: KECCAK256
000040d5: PUSH1 0x00
000040d7: ADD
000040d8: PUSH1 0x00
000040da: SWAP1
000040db: SLOAD
000040dc: SWAP1
000040dd: PUSH2 0x0100
000040e0: EXP
000040e1: SWAP1
000040e2: DIV
000040e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040f8: AND
000040f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000410e: AND
0000410f: DUP2
00004110: MSTORE
00004111: PUSH1 0x20
00004113: ADD
00004114: DUP3
00004115: PUSH1 0xff
00004117: AND
00004118: DUP2
00004119: MSTORE
0000411a: PUSH1 0x20
0000411c: ADD
0000411d: PUSH1 0x01
0000411f: ISZERO
00004120: ISZERO
00004121: DUP2
00004122: MSTORE
00004123: POP
00004124: PUSH1 0x04
00004126: PUSH1 0x00
00004128: DUP5
00004129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000413e: AND
0000413f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004154: AND
00004155: DUP2
00004156: MSTORE
00004157: PUSH1 0x20
00004159: ADD
0000415a: SWAP1
0000415b: DUP2
0000415c: MSTORE
0000415d: PUSH1 0x20
0000415f: ADD
00004160: PUSH1 0x00
00004162: KECCAK256
00004163: PUSH1 0x00
00004165: DUP3
00004166: ADD
00004167: MLOAD
00004168: DUP2
00004169: PUSH1 0x00
0000416b: ADD
0000416c: PUSH1 0x00
0000416e: PUSH2 0x0100
00004171: EXP
00004172: DUP2
00004173: SLOAD
00004174: DUP2
00004175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000418a: MUL
0000418b: NOT
0000418c: AND
0000418d: SWAP1
0000418e: DUP4
0000418f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041a4: AND
000041a5: MUL
000041a6: OR
000041a7: SWAP1
000041a8: SSTORE
000041a9: POP
000041aa: PUSH1 0x20
000041ac: DUP3
000041ad: ADD
000041ae: MLOAD
000041af: DUP2
000041b0: PUSH1 0x00
000041b2: ADD
000041b3: PUSH1 0x14
000041b5: PUSH2 0x0100
000041b8: EXP
000041b9: DUP2
000041ba: SLOAD
000041bb: DUP2
000041bc: PUSH1 0xff
000041be: MUL
000041bf: NOT
000041c0: AND
000041c1: SWAP1
000041c2: DUP4
000041c3: PUSH1 0xff
000041c5: AND
000041c6: MUL
000041c7: OR
000041c8: SWAP1
000041c9: SSTORE
000041ca: POP
000041cb: PUSH1 0x40
000041cd: DUP3
000041ce: ADD
000041cf: MLOAD
000041d0: DUP2
000041d1: PUSH1 0x00
000041d3: ADD
000041d4: PUSH1 0x15
000041d6: PUSH2 0x0100
000041d9: EXP
000041da: DUP2
000041db: SLOAD
000041dc: DUP2
000041dd: PUSH1 0xff
000041df: MUL
000041e0: NOT
000041e1: AND
000041e2: SWAP1
000041e3: DUP4
000041e4: ISZERO
000041e5: ISZERO
000041e6: MUL
000041e7: OR
000041e8: SWAP1
000041e9: SSTORE
000041ea: POP
000041eb: SWAP1
000041ec: POP
000041ed: POP
000041ee: PUSH1 0x05
000041f0: PUSH1 0x00
000041f2: DUP2
000041f3: DUP2
000041f4: SWAP1
000041f5: SLOAD
000041f6: SWAP1
000041f7: PUSH2 0x0100
000041fa: EXP
000041fb: SWAP1
000041fc: DIV
000041fd: PUSH1 0xff
000041ff: AND
00004200: DUP1
00004201: SWAP3
00004202: SWAP2
00004203: SWAP1
00004204: PUSH1 0x01
00004206: ADD
00004207: SWAP2
00004208: SWAP1
00004209: PUSH2 0x0100
0000420c: EXP
0000420d: DUP2
0000420e: SLOAD
0000420f: DUP2
00004210: PUSH1 0xff
00004212: MUL
00004213: NOT
00004214: AND
00004215: SWAP1
00004216: DUP4
00004217: PUSH1 0xff
00004219: AND
0000421a: MUL
0000421b: OR
0000421c: SWAP1
0000421d: SSTORE
0000421e: POP
0000421f: POP
00004220: DUP2
00004221: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004236: AND
00004237: DUP4
00004238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000424d: AND
0000424e: PUSH32 0xf9489fd9d566fe3eda769b510ee54a04f0c8fbdbd1459e329c8b37145837d12b
0000426f: DUP4
00004270: PUSH1 0x05
00004272: PUSH1 0x00
00004274: SWAP1
00004275: SLOAD
00004276: SWAP1
00004277: PUSH2 0x0100
0000427a: EXP
0000427b: SWAP1
0000427c: DIV
0000427d: PUSH1 0xff
0000427f: AND
00004280: PUSH1 0x40
00004282: MLOAD
00004283: DUP1
00004284: DUP4
00004285: PUSH1 0xff
00004287: AND
00004288: PUSH1 0xff
0000428a: AND
0000428b: DUP2
0000428c: MSTORE
0000428d: PUSH1 0x20
0000428f: ADD
00004290: DUP3
00004291: PUSH1 0xff
00004293: AND
00004294: PUSH1 0xff
00004296: AND
00004297: DUP2
00004298: MSTORE
00004299: PUSH1 0x20
0000429b: ADD
0000429c: SWAP3
0000429d: POP
0000429e: POP
0000429f: POP
000042a0: PUSH1 0x40
000042a2: MLOAD
000042a3: DUP1
000042a4: SWAP2
000042a5: SUB
000042a6: SWAP1
000042a7: LOG3
000042a8: POP
000042a9: POP
000042aa: POP
000042ab: JUMP
000042ac: INVALID
000042ad: UNKNOWN(0x4D)
000042ae: PUSH6 0x7461436f696e
000042b5: GASPRICE
000042b6: KECCAK256
000042b7: POP
000042b8: PUSH19 0x6f68696269742063616c6c732066726f6d2063
000042cc: PUSH16 0x6e74726163747344617461436f6e7472
000042dd: PUSH2 0x6374
000042e0: GASPRICE
000042e1: KECCAK256
000042e2: CHAINID
000042e3: PUSH6 0x6520706f6f6c
000042ea: KECCAK256
000042eb: PUSH3 0x616c61
000042ef: PUSH15 0x636520697320696e73756666696369
000042ff: PUSH6 0x6e744f776e65
00004306: PUSH5 0x3a20546869
0000430c: PUSH20 0x206163636f756e74206973206e6f7420616e204f
00004321: PUSH24 0x6e6564206163636f756e744d657461436f696e3a20526566
0000433a: PUSH6 0x727265722064
00004341: PUSH16 0x6573206e6f742065786973744d657461
00004352: NUMBER
00004353: PUSH16 0x696e3a20596f75206861766520626563
00004364: PUSH16 0x6d6520616e20696e766573746f722061
00004375: PUSH15 0x642063616e6e6f7420696e76657374
00004385: KECCAK256
00004386: PUSH2 0x6761
00004389: PUSH10 0x6e44617461436f6e7472
00004394: PUSH2 0x6374
00004397: GASPRICE
00004398: KECCAK256
00004399: SLOAD
0000439a: PUSH9 0x6520746f74616c206e
000043a4: PUSH22 0x6d626572206f66207472616e73666572732065786365
000043bb: PUSH6 0x647320746865
000043c2: KECCAK256
000043c3: PUSH6 0x787065637465
000043ca: PUSH5 0x2075707065
000043d0: PUSH19 0x206c696d697444617461436f6e74726163743a
000043e4: KECCAK256
000043e5: MSTORE8
000043e6: PUSH22 0x627472616374696f6e206f766572666c6f7744617461
000043fd: NUMBER
000043fe: PUSH16 0x6e74726163743a20496e737566666963
0000440f: PUSH10 0x656e7420746f74616c20
0000441a: PUSH7 0x756e647320666f
00004422: PUSH19 0x206261746368207472616e736665724d657461
00004436: NUMBER
00004437: PUSH16 0x696e3a2057726f6e6720616d6f756e74
00004448: KECCAK256
00004449: PUSH16 0x6620696e766573746564204554484d65
0000445a: PUSH21 0x61436f696e3a20496e73756666696369656e742063
00004470: PUSH16 0x6e74726163742062616c616e63654d69
00004481: PUSH15 0x746572526f6c653a2063616c6c6572
00004491: KECCAK256
00004492: PUSH5 0x6f6573206e
00004498: PUSH16 0x74206861766520746865204d696e7465
000044a9: PUSH19 0x20726f6c65526f6c65733a206163636f756e74
000044bd: KECCAK256
000044be: PUSH5 0x6f6573206e
000044c4: PUSH16 0x74206861766520726f6c654461746143
000044d5: PUSH16 0x6e74726163743a20617661696c61626c
000044e6: PUSH6 0x2066756e6473
000044ed: KECCAK256
000044ee: PUSH17 0x6f6f6c207375627472616374696f6e206f
00004500: PUSH23 0x6572666c6f77526f6c65733a206163636f756e74206973
00004518: KECCAK256
00004519: PUSH21 0x6865207a65726f2061646472657373534443546f6b
0000452f: PUSH6 0x6e4552433230
00004536: GASPRICE
00004537: KECCAK256
00004538: PUSH21 0x6f206d7573742062652061206e6f6e2d7a65726f20
0000454e: PUSH2 0x6464
00004551: PUSH19 0x65737344617461436f6e74726163743a20496e
00004565: PUSH20 0x756666696369656e7420636861696e20706f6f6c
0000457a: KECCAK256
0000457b: PUSH3 0x616c61
0000457f: PUSH15 0x63654d657461436f696e3a20496e73
0000458f: PUSH22 0x6666696369656e7420746f74616c2066756e6420706f
000045a6: PUSH16 0x6c20666f722073656c6c696e67446174
000045b7: PUSH2 0x436f
000045ba: PUSH15 0x74726163743a2066656520706f6f6c
000045ca: KECCAK256
000045cb: PUSH2 0x6464
000045ce: PUSH10 0x74696f6e206f76657266
000045d9: PUSH13 0x6f77a265627a7a723158209610
000045e7: PUSH29 0x2a5c1b548fe90472298a6ffea3755f5587bf71a14615f61c2046ad734d
00004605: PUSH5 0x736f6c6343
0000460b: STOP
0000460c: SDIV
0000460d: UNKNOWN(0x0D)
0000460e: STOP
0000460f: ORIGIN

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xcae9ca51", "selector": "0xcae9ca51", "calldata_variants": [ "0xcae9ca51", "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0b4f10e", "selector": "0xd0b4f10e", "calldata_variants": [ "0xd0b4f10e", "0xd0b4f10e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc2ea8a5", "selector": "0xfc2ea8a5", "calldata_variants": [ "0xfc2ea8a5", "0xfc2ea8a50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa14e9b53", "selector": "0xa14e9b53", "calldata_variants": [ "0xa14e9b53", "0xa14e9b530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 8517, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8695, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10272, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10826, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 17935, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xb1fa3c2fb0b92c805a19e6047c93ce238344f058bcccaddce65041c490179f21 call_targets: 0x2eff5fd0c409ae8fd6e1d224060537189043b7dd target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb1fa3c2fb0b92c805a19e6047c93ce238344f058bcccaddce65041c490179f21", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2eff5fd0c409ae8fd6e1d224060537189043b7dd" ], "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": "0xcae9ca51", "selector": "0xcae9ca51", "calldata_variants": [ "0xcae9ca51", "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0b4f10e", "selector": "0xd0b4f10e", "calldata_variants": [ "0xd0b4f10e", "0xd0b4f10e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc2ea8a5", "selector": "0xfc2ea8a5", "calldata_variants": [ "0xfc2ea8a5", "0xfc2ea8a50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa14e9b53", "selector": "0xa14e9b53", "calldata_variants": [ "0xa14e9b53", "0xa14e9b530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 7068, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9446, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 12207, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [ { "pc": 8517, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8695, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10272, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10826, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 17935, "type": "tx_origin_used" } ], "untrusted_call_count": 3 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xb1fa3c2fb0b92c805a19e6047c93ce238344f058bcccaddce65041c490179f21 call_targets: 0x2eff5fd0c409ae8fd6e1d224060537189043b7dd target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb1fa3c2fb0b92c805a19e6047c93ce238344f058bcccaddce65041c490179f21", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2eff5fd0c409ae8fd6e1d224060537189043b7dd" ], "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": "0xcae9ca51", "selector": "0xcae9ca51", "calldata_variants": [ "0xcae9ca51", "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0b4f10e", "selector": "0xd0b4f10e", "calldata_variants": [ "0xd0b4f10e", "0xd0b4f10e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf088d547", "selector": "0xf088d547", "calldata_variants": [ "0xf088d547", "0xf088d5470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc2ea8a5", "selector": "0xfc2ea8a5", "calldata_variants": [ "0xfc2ea8a5", "0xfc2ea8a50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa14e9b53", "selector": "0xa14e9b53", "calldata_variants": [ "0xa14e9b53", "0xa14e9b530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 7068, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9446, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 12207, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [ { "pc": 8517, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8695, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10272, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10826, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 17935, "type": "tx_origin_used" } ] }

Severity