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

019b477e-ca86-72f4-87c0-49ed28a5ef93
complete
Chain ID
Address
0x0fd48023b21d1847b5532ed619c2ce3e552f9b07
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
26527	artifact.fetch	complete	1 / 3	3 months ago
26528	tool.cast_disasm	complete	1 / 3	3 months ago
91601	analysis.bundle	complete	1 / 3	2 weeks ago
91602	capability.graph	complete	1 / 3	2 weeks ago
91603	detector.run	complete	1 / 3	2 weeks ago
91604	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
7948
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01d0
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7d1db4a5
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa2a957bb
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc492f046
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc492f046
0000003a: EQ
0000003b: PUSH2 0x065c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x0685
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xea1644d5
00000050: EQ
00000051: PUSH2 0x06c2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x06eb
0000005f: JUMPI
00000060: PUSH2 0x01d7
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa2a957bb
0000006b: EQ
0000006c: PUSH2 0x05a2
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa9059cbb
00000076: EQ
00000077: PUSH2 0x05cb
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbfd79284
00000081: EQ
00000082: PUSH2 0x0608
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc3c8cd80
0000008c: EQ
0000008d: PUSH2 0x0645
00000090: JUMPI
00000091: PUSH2 0x01d7
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x8f70ccf7
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8f70ccf7
000000a7: EQ
000000a8: PUSH2 0x04fa
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8f9a55c0
000000b2: EQ
000000b3: PUSH2 0x0523
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x054e
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x98a5c315
000000c8: EQ
000000c9: PUSH2 0x0579
000000cc: JUMPI
000000cd: PUSH2 0x01d7
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x7d1db4a5
000000d8: EQ
000000d9: PUSH2 0x0467
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x7f2feddc
000000e3: EQ
000000e4: PUSH2 0x0492
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x8da5cb5b
000000ee: EQ
000000ef: PUSH2 0x04cf
000000f2: JUMPI
000000f3: PUSH2 0x01d7
000000f6: JUMP
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x313ce567
000000fe: GT
000000ff: PUSH2 0x016f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x6fc3eaec
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6fc3eaec
00000114: EQ
00000115: PUSH2 0x03d3
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x70a08231
0000011f: EQ
00000120: PUSH2 0x03ea
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x715018a6
0000012a: EQ
0000012b: PUSH2 0x0427
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x74010ece
00000135: EQ
00000136: PUSH2 0x043e
00000139: JUMPI
0000013a: PUSH2 0x01d7
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x313ce567
00000145: EQ
00000146: PUSH2 0x032b
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x49bd5a5e
00000150: EQ
00000151: PUSH2 0x0356
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x6b999053
0000015b: EQ
0000015c: PUSH2 0x0381
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x6d8aa8f8
00000166: EQ
00000167: PUSH2 0x03aa
0000016a: JUMPI
0000016b: PUSH2 0x01d7
0000016e: JUMP
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x1694505e
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x1694505e
00000181: EQ
00000182: PUSH2 0x026d
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x18160ddd
0000018c: EQ
0000018d: PUSH2 0x0298
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x23b872dd
00000197: EQ
00000198: PUSH2 0x02c3
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x2fd689e3
000001a2: EQ
000001a3: PUSH2 0x0300
000001a6: JUMPI
000001a7: PUSH2 0x01d7
000001aa: JUMP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH3 0xb8cf2a
000001b1: EQ
000001b2: PUSH2 0x01dc
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0x06fdde03
000001bc: EQ
000001bd: PUSH2 0x0205
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x095ea7b3
000001c7: EQ
000001c8: PUSH2 0x0230
000001cb: JUMPI
000001cc: PUSH2 0x01d7
000001cf: JUMP
000001d0: JUMPDEST
000001d1: CALLDATASIZE
000001d2: PUSH2 0x01d7
000001d5: JUMPI
000001d6: STOP
000001d7: JUMPDEST
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: POP
000001ea: PUSH2 0x0203
000001ed: PUSH1 0x04
000001ef: DUP1
000001f0: CALLDATASIZE
000001f1: SUB
000001f2: DUP2
000001f3: ADD
000001f4: SWAP1
000001f5: PUSH2 0x01fe
000001f8: SWAP2
000001f9: SWAP1
000001fa: PUSH2 0x2eac
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH2 0x0714
00000202: JUMP
00000203: JUMPDEST
00000204: STOP
00000205: JUMPDEST
00000206: CALLVALUE
00000207: DUP1
00000208: ISZERO
00000209: PUSH2 0x0211
0000020c: JUMPI
0000020d: PUSH1 0x00
0000020f: DUP1
00000210: REVERT
00000211: JUMPDEST
00000212: POP
00000213: PUSH2 0x021a
00000216: PUSH2 0x083e
00000219: JUMP
0000021a: JUMPDEST
0000021b: PUSH1 0x40
0000021d: MLOAD
0000021e: PUSH2 0x0227
00000221: SWAP2
00000222: SWAP1
00000223: PUSH2 0x2f7d
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: MLOAD
0000022b: DUP1
0000022c: SWAP2
0000022d: SUB
0000022e: SWAP1
0000022f: RETURN
00000230: JUMPDEST
00000231: CALLVALUE
00000232: DUP1
00000233: ISZERO
00000234: PUSH2 0x023c
00000237: JUMPI
00000238: PUSH1 0x00
0000023a: DUP1
0000023b: REVERT
0000023c: JUMPDEST
0000023d: POP
0000023e: PUSH2 0x0257
00000241: PUSH1 0x04
00000243: DUP1
00000244: CALLDATASIZE
00000245: SUB
00000246: DUP2
00000247: ADD
00000248: SWAP1
00000249: PUSH2 0x0252
0000024c: SWAP2
0000024d: SWAP1
0000024e: PUSH2 0x2fd5
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH2 0x087b
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: PUSH2 0x0264
0000025e: SWAP2
0000025f: SWAP1
00000260: PUSH2 0x3030
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH1 0x40
00000267: MLOAD
00000268: DUP1
00000269: SWAP2
0000026a: SUB
0000026b: SWAP1
0000026c: RETURN
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x0282
0000027e: PUSH2 0x0899
00000281: JUMP
00000282: JUMPDEST
00000283: PUSH1 0x40
00000285: MLOAD
00000286: PUSH2 0x028f
00000289: SWAP2
0000028a: SWAP1
0000028b: PUSH2 0x30aa
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: DUP1
00000294: SWAP2
00000295: SUB
00000296: SWAP1
00000297: RETURN
00000298: JUMPDEST
00000299: CALLVALUE
0000029a: DUP1
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: PUSH2 0x02ad
000002a9: PUSH2 0x08bf
000002ac: JUMP
000002ad: JUMPDEST
000002ae: PUSH1 0x40
000002b0: MLOAD
000002b1: PUSH2 0x02ba
000002b4: SWAP2
000002b5: SWAP1
000002b6: PUSH2 0x30d4
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH1 0x40
000002bd: MLOAD
000002be: DUP1
000002bf: SWAP2
000002c0: SUB
000002c1: SWAP1
000002c2: RETURN
000002c3: JUMPDEST
000002c4: CALLVALUE
000002c5: DUP1
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: POP
000002d1: PUSH2 0x02ea
000002d4: PUSH1 0x04
000002d6: DUP1
000002d7: CALLDATASIZE
000002d8: SUB
000002d9: DUP2
000002da: ADD
000002db: SWAP1
000002dc: PUSH2 0x02e5
000002df: SWAP2
000002e0: SWAP1
000002e1: PUSH2 0x30ef
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH2 0x08ce
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: PUSH2 0x02f7
000002f1: SWAP2
000002f2: SWAP1
000002f3: PUSH2 0x3030
000002f6: JUMP
000002f7: JUMPDEST
000002f8: PUSH1 0x40
000002fa: MLOAD
000002fb: DUP1
000002fc: SWAP2
000002fd: SUB
000002fe: SWAP1
000002ff: RETURN
00000300: JUMPDEST
00000301: CALLVALUE
00000302: DUP1
00000303: ISZERO
00000304: PUSH2 0x030c
00000307: JUMPI
00000308: PUSH1 0x00
0000030a: DUP1
0000030b: REVERT
0000030c: JUMPDEST
0000030d: POP
0000030e: PUSH2 0x0315
00000311: PUSH2 0x09a7
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x40
00000318: MLOAD
00000319: PUSH2 0x0322
0000031c: SWAP2
0000031d: SWAP1
0000031e: PUSH2 0x30d4
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x40
00000325: MLOAD
00000326: DUP1
00000327: SWAP2
00000328: SUB
00000329: SWAP1
0000032a: RETURN
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: PUSH2 0x0340
0000033c: PUSH2 0x09ad
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH1 0x40
00000343: MLOAD
00000344: PUSH2 0x034d
00000347: SWAP2
00000348: SWAP1
00000349: PUSH2 0x315e
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: DUP1
00000352: SWAP2
00000353: SUB
00000354: SWAP1
00000355: RETURN
00000356: JUMPDEST
00000357: CALLVALUE
00000358: DUP1
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: POP
00000364: PUSH2 0x036b
00000367: PUSH2 0x09b6
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH1 0x40
0000036e: MLOAD
0000036f: PUSH2 0x0378
00000372: SWAP2
00000373: SWAP1
00000374: PUSH2 0x3188
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH1 0x40
0000037b: MLOAD
0000037c: DUP1
0000037d: SWAP2
0000037e: SUB
0000037f: SWAP1
00000380: RETURN
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x03a8
00000392: PUSH1 0x04
00000394: DUP1
00000395: CALLDATASIZE
00000396: SUB
00000397: DUP2
00000398: ADD
00000399: SWAP1
0000039a: PUSH2 0x03a3
0000039d: SWAP2
0000039e: SWAP1
0000039f: PUSH2 0x31a3
000003a2: JUMP
000003a3: JUMPDEST
000003a4: PUSH2 0x09dc
000003a7: JUMP
000003a8: JUMPDEST
000003a9: STOP
000003aa: JUMPDEST
000003ab: CALLVALUE
000003ac: DUP1
000003ad: ISZERO
000003ae: PUSH2 0x03b6
000003b1: JUMPI
000003b2: PUSH1 0x00
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: POP
000003b8: PUSH2 0x03d1
000003bb: PUSH1 0x04
000003bd: DUP1
000003be: CALLDATASIZE
000003bf: SUB
000003c0: DUP2
000003c1: ADD
000003c2: SWAP1
000003c3: PUSH2 0x03cc
000003c6: SWAP2
000003c7: SWAP1
000003c8: PUSH2 0x31fc
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH2 0x0acc
000003d0: JUMP
000003d1: JUMPDEST
000003d2: STOP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x0b7e
000003e7: JUMP
000003e8: JUMPDEST
000003e9: STOP
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH2 0x0411
000003fb: PUSH1 0x04
000003fd: DUP1
000003fe: CALLDATASIZE
000003ff: SUB
00000400: DUP2
00000401: ADD
00000402: SWAP1
00000403: PUSH2 0x040c
00000406: SWAP2
00000407: SWAP1
00000408: PUSH2 0x31a3
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH2 0x0c4f
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH1 0x40
00000414: MLOAD
00000415: PUSH2 0x041e
00000418: SWAP2
00000419: SWAP1
0000041a: PUSH2 0x30d4
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH1 0x40
00000421: MLOAD
00000422: DUP1
00000423: SWAP2
00000424: SUB
00000425: SWAP1
00000426: RETURN
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: PUSH2 0x043c
00000438: PUSH2 0x0ca0
0000043b: JUMP
0000043c: JUMPDEST
0000043d: STOP
0000043e: JUMPDEST
0000043f: CALLVALUE
00000440: DUP1
00000441: ISZERO
00000442: PUSH2 0x044a
00000445: JUMPI
00000446: PUSH1 0x00
00000448: DUP1
00000449: REVERT
0000044a: JUMPDEST
0000044b: POP
0000044c: PUSH2 0x0465
0000044f: PUSH1 0x04
00000451: DUP1
00000452: CALLDATASIZE
00000453: SUB
00000454: DUP2
00000455: ADD
00000456: SWAP1
00000457: PUSH2 0x0460
0000045a: SWAP2
0000045b: SWAP1
0000045c: PUSH2 0x3229
0000045f: JUMP
00000460: JUMPDEST
00000461: PUSH2 0x0df3
00000464: JUMP
00000465: JUMPDEST
00000466: STOP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0473
0000046e: JUMPI
0000046f: PUSH1 0x00
00000471: DUP1
00000472: REVERT
00000473: JUMPDEST
00000474: POP
00000475: PUSH2 0x047c
00000478: PUSH2 0x0e92
0000047b: JUMP
0000047c: JUMPDEST
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: PUSH2 0x0489
00000483: SWAP2
00000484: SWAP1
00000485: PUSH2 0x30d4
00000488: JUMP
00000489: JUMPDEST
0000048a: PUSH1 0x40
0000048c: MLOAD
0000048d: DUP1
0000048e: SWAP2
0000048f: SUB
00000490: SWAP1
00000491: RETURN
00000492: JUMPDEST
00000493: CALLVALUE
00000494: DUP1
00000495: ISZERO
00000496: PUSH2 0x049e
00000499: JUMPI
0000049a: PUSH1 0x00
0000049c: DUP1
0000049d: REVERT
0000049e: JUMPDEST
0000049f: POP
000004a0: PUSH2 0x04b9
000004a3: PUSH1 0x04
000004a5: DUP1
000004a6: CALLDATASIZE
000004a7: SUB
000004a8: DUP2
000004a9: ADD
000004aa: SWAP1
000004ab: PUSH2 0x04b4
000004ae: SWAP2
000004af: SWAP1
000004b0: PUSH2 0x31a3
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH2 0x0e98
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH1 0x40
000004bc: MLOAD
000004bd: PUSH2 0x04c6
000004c0: SWAP2
000004c1: SWAP1
000004c2: PUSH2 0x30d4
000004c5: JUMP
000004c6: JUMPDEST
000004c7: PUSH1 0x40
000004c9: MLOAD
000004ca: DUP1
000004cb: SWAP2
000004cc: SUB
000004cd: SWAP1
000004ce: RETURN
000004cf: JUMPDEST
000004d0: CALLVALUE
000004d1: DUP1
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: PUSH2 0x04e4
000004e0: PUSH2 0x0eb0
000004e3: JUMP
000004e4: JUMPDEST
000004e5: PUSH1 0x40
000004e7: MLOAD
000004e8: PUSH2 0x04f1
000004eb: SWAP2
000004ec: SWAP1
000004ed: PUSH2 0x3188
000004f0: JUMP
000004f1: JUMPDEST
000004f2: PUSH1 0x40
000004f4: MLOAD
000004f5: DUP1
000004f6: SWAP2
000004f7: SUB
000004f8: SWAP1
000004f9: RETURN
000004fa: JUMPDEST
000004fb: CALLVALUE
000004fc: DUP1
000004fd: ISZERO
000004fe: PUSH2 0x0506
00000501: JUMPI
00000502: PUSH1 0x00
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: PUSH2 0x0521
0000050b: PUSH1 0x04
0000050d: DUP1
0000050e: CALLDATASIZE
0000050f: SUB
00000510: DUP2
00000511: ADD
00000512: SWAP1
00000513: PUSH2 0x051c
00000516: SWAP2
00000517: SWAP1
00000518: PUSH2 0x31fc
0000051b: JUMP
0000051c: JUMPDEST
0000051d: PUSH2 0x0ed9
00000520: JUMP
00000521: JUMPDEST
00000522: STOP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x0538
00000534: PUSH2 0x0f8b
00000537: JUMP
00000538: JUMPDEST
00000539: PUSH1 0x40
0000053b: MLOAD
0000053c: PUSH2 0x0545
0000053f: SWAP2
00000540: SWAP1
00000541: PUSH2 0x30d4
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH1 0x40
00000548: MLOAD
00000549: DUP1
0000054a: SWAP2
0000054b: SUB
0000054c: SWAP1
0000054d: RETURN
0000054e: JUMPDEST
0000054f: CALLVALUE
00000550: DUP1
00000551: ISZERO
00000552: PUSH2 0x055a
00000555: JUMPI
00000556: PUSH1 0x00
00000558: DUP1
00000559: REVERT
0000055a: JUMPDEST
0000055b: POP
0000055c: PUSH2 0x0563
0000055f: PUSH2 0x0f91
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH1 0x40
00000566: MLOAD
00000567: PUSH2 0x0570
0000056a: SWAP2
0000056b: SWAP1
0000056c: PUSH2 0x2f7d
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH1 0x40
00000573: MLOAD
00000574: DUP1
00000575: SWAP2
00000576: SUB
00000577: SWAP1
00000578: RETURN
00000579: JUMPDEST
0000057a: CALLVALUE
0000057b: DUP1
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH2 0x05a0
0000058a: PUSH1 0x04
0000058c: DUP1
0000058d: CALLDATASIZE
0000058e: SUB
0000058f: DUP2
00000590: ADD
00000591: SWAP1
00000592: PUSH2 0x059b
00000595: SWAP2
00000596: SWAP1
00000597: PUSH2 0x3229
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH2 0x0fce
0000059f: JUMP
000005a0: JUMPDEST
000005a1: STOP
000005a2: JUMPDEST
000005a3: CALLVALUE
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05ae
000005a9: JUMPI
000005aa: PUSH1 0x00
000005ac: DUP1
000005ad: REVERT
000005ae: JUMPDEST
000005af: POP
000005b0: PUSH2 0x05c9
000005b3: PUSH1 0x04
000005b5: DUP1
000005b6: CALLDATASIZE
000005b7: SUB
000005b8: DUP2
000005b9: ADD
000005ba: SWAP1
000005bb: PUSH2 0x05c4
000005be: SWAP2
000005bf: SWAP1
000005c0: PUSH2 0x3256
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH2 0x106d
000005c8: JUMP
000005c9: JUMPDEST
000005ca: STOP
000005cb: JUMPDEST
000005cc: CALLVALUE
000005cd: DUP1
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: POP
000005d9: PUSH2 0x05f2
000005dc: PUSH1 0x04
000005de: DUP1
000005df: CALLDATASIZE
000005e0: SUB
000005e1: DUP2
000005e2: ADD
000005e3: SWAP1
000005e4: PUSH2 0x05ed
000005e7: SWAP2
000005e8: SWAP1
000005e9: PUSH2 0x2fd5
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH2 0x1268
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH1 0x40
000005f5: MLOAD
000005f6: PUSH2 0x05ff
000005f9: SWAP2
000005fa: SWAP1
000005fb: PUSH2 0x3030
000005fe: JUMP
000005ff: JUMPDEST
00000600: PUSH1 0x40
00000602: MLOAD
00000603: DUP1
00000604: SWAP2
00000605: SUB
00000606: SWAP1
00000607: RETURN
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: PUSH2 0x062f
00000619: PUSH1 0x04
0000061b: DUP1
0000061c: CALLDATASIZE
0000061d: SUB
0000061e: DUP2
0000061f: ADD
00000620: SWAP1
00000621: PUSH2 0x062a
00000624: SWAP2
00000625: SWAP1
00000626: PUSH2 0x31a3
00000629: JUMP
0000062a: JUMPDEST
0000062b: PUSH2 0x1286
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH1 0x40
00000632: MLOAD
00000633: PUSH2 0x063c
00000636: SWAP2
00000637: SWAP1
00000638: PUSH2 0x3030
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x40
0000063f: MLOAD
00000640: DUP1
00000641: SWAP2
00000642: SUB
00000643: SWAP1
00000644: RETURN
00000645: JUMPDEST
00000646: CALLVALUE
00000647: DUP1
00000648: ISZERO
00000649: PUSH2 0x0651
0000064c: JUMPI
0000064d: PUSH1 0x00
0000064f: DUP1
00000650: REVERT
00000651: JUMPDEST
00000652: POP
00000653: PUSH2 0x065a
00000656: PUSH2 0x12a6
00000659: JUMP
0000065a: JUMPDEST
0000065b: STOP
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x0668
00000663: JUMPI
00000664: PUSH1 0x00
00000666: DUP1
00000667: REVERT
00000668: JUMPDEST
00000669: POP
0000066a: PUSH2 0x0683
0000066d: PUSH1 0x04
0000066f: DUP1
00000670: CALLDATASIZE
00000671: SUB
00000672: DUP2
00000673: ADD
00000674: SWAP1
00000675: PUSH2 0x067e
00000678: SWAP2
00000679: SWAP1
0000067a: PUSH2 0x3318
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH2 0x137f
00000682: JUMP
00000683: JUMPDEST
00000684: STOP
00000685: JUMPDEST
00000686: CALLVALUE
00000687: DUP1
00000688: ISZERO
00000689: PUSH2 0x0691
0000068c: JUMPI
0000068d: PUSH1 0x00
0000068f: DUP1
00000690: REVERT
00000691: JUMPDEST
00000692: POP
00000693: PUSH2 0x06ac
00000696: PUSH1 0x04
00000698: DUP1
00000699: CALLDATASIZE
0000069a: SUB
0000069b: DUP2
0000069c: ADD
0000069d: SWAP1
0000069e: PUSH2 0x06a7
000006a1: SWAP2
000006a2: SWAP1
000006a3: PUSH2 0x3378
000006a6: JUMP
000006a7: JUMPDEST
000006a8: PUSH2 0x14b9
000006ab: JUMP
000006ac: JUMPDEST
000006ad: PUSH1 0x40
000006af: MLOAD
000006b0: PUSH2 0x06b9
000006b3: SWAP2
000006b4: SWAP1
000006b5: PUSH2 0x30d4
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH1 0x40
000006bc: MLOAD
000006bd: DUP1
000006be: SWAP2
000006bf: SUB
000006c0: SWAP1
000006c1: RETURN
000006c2: JUMPDEST
000006c3: CALLVALUE
000006c4: DUP1
000006c5: ISZERO
000006c6: PUSH2 0x06ce
000006c9: JUMPI
000006ca: PUSH1 0x00
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: POP
000006d0: PUSH2 0x06e9
000006d3: PUSH1 0x04
000006d5: DUP1
000006d6: CALLDATASIZE
000006d7: SUB
000006d8: DUP2
000006d9: ADD
000006da: SWAP1
000006db: PUSH2 0x06e4
000006de: SWAP2
000006df: SWAP1
000006e0: PUSH2 0x3229
000006e3: JUMP
000006e4: JUMPDEST
000006e5: PUSH2 0x1540
000006e8: JUMP
000006e9: JUMPDEST
000006ea: STOP
000006eb: JUMPDEST
000006ec: CALLVALUE
000006ed: DUP1
000006ee: ISZERO
000006ef: PUSH2 0x06f7
000006f2: JUMPI
000006f3: PUSH1 0x00
000006f5: DUP1
000006f6: REVERT
000006f7: JUMPDEST
000006f8: POP
000006f9: PUSH2 0x0712
000006fc: PUSH1 0x04
000006fe: DUP1
000006ff: CALLDATASIZE
00000700: SUB
00000701: DUP2
00000702: ADD
00000703: SWAP1
00000704: PUSH2 0x070d
00000707: SWAP2
00000708: SWAP1
00000709: PUSH2 0x31a3
0000070c: JUMP
0000070d: JUMPDEST
0000070e: PUSH2 0x15df
00000711: JUMP
00000712: JUMPDEST
00000713: STOP
00000714: JUMPDEST
00000715: PUSH2 0x071c
00000718: PUSH2 0x17a1
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000732: AND
00000733: PUSH1 0x00
00000735: DUP1
00000736: SLOAD
00000737: SWAP1
00000738: PUSH2 0x0100
0000073b: EXP
0000073c: SWAP1
0000073d: DIV
0000073e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000753: AND
00000754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000769: AND
0000076a: EQ
0000076b: PUSH2 0x07a9
0000076e: JUMPI
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000793: DUP2
00000794: MSTORE
00000795: PUSH1 0x04
00000797: ADD
00000798: PUSH2 0x07a0
0000079b: SWAP1
0000079c: PUSH2 0x3404
0000079f: JUMP
000007a0: JUMPDEST
000007a1: PUSH1 0x40
000007a3: MLOAD
000007a4: DUP1
000007a5: SWAP2
000007a6: SUB
000007a7: SWAP1
000007a8: REVERT
000007a9: JUMPDEST
000007aa: PUSH1 0x00
000007ac: JUMPDEST
000007ad: DUP2
000007ae: MLOAD
000007af: DUP2
000007b0: LT
000007b1: ISZERO
000007b2: PUSH2 0x083a
000007b5: JUMPI
000007b6: PUSH1 0x01
000007b8: PUSH1 0x10
000007ba: PUSH1 0x00
000007bc: DUP5
000007bd: DUP5
000007be: DUP2
000007bf: MLOAD
000007c0: DUP2
000007c1: LT
000007c2: PUSH2 0x07ce
000007c5: JUMPI
000007c6: PUSH2 0x07cd
000007c9: PUSH2 0x3424
000007cc: JUMP
000007cd: JUMPDEST
000007ce: JUMPDEST
000007cf: PUSH1 0x20
000007d1: MUL
000007d2: PUSH1 0x20
000007d4: ADD
000007d5: ADD
000007d6: MLOAD
000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ec: AND
000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000802: AND
00000803: DUP2
00000804: MSTORE
00000805: PUSH1 0x20
00000807: ADD
00000808: SWAP1
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x20
0000080d: ADD
0000080e: PUSH1 0x00
00000810: KECCAK256
00000811: PUSH1 0x00
00000813: PUSH2 0x0100
00000816: EXP
00000817: DUP2
00000818: SLOAD
00000819: DUP2
0000081a: PUSH1 0xff
0000081c: MUL
0000081d: NOT
0000081e: AND
0000081f: SWAP1
00000820: DUP4
00000821: ISZERO
00000822: ISZERO
00000823: MUL
00000824: OR
00000825: SWAP1
00000826: SSTORE
00000827: POP
00000828: DUP1
00000829: DUP1
0000082a: PUSH2 0x0832
0000082d: SWAP1
0000082e: PUSH2 0x3482
00000831: JUMP
00000832: JUMPDEST
00000833: SWAP2
00000834: POP
00000835: POP
00000836: PUSH2 0x07ac
00000839: JUMP
0000083a: JUMPDEST
0000083b: POP
0000083c: POP
0000083d: JUMP
0000083e: JUMPDEST
0000083f: PUSH1 0x60
00000841: PUSH1 0x40
00000843: MLOAD
00000844: DUP1
00000845: PUSH1 0x40
00000847: ADD
00000848: PUSH1 0x40
0000084a: MSTORE
0000084b: DUP1
0000084c: PUSH1 0x04
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x20
00000852: ADD
00000853: PUSH32 0x52454b5400000000000000000000000000000000000000000000000000000000
00000874: DUP2
00000875: MSTORE
00000876: POP
00000877: SWAP1
00000878: POP
00000879: SWAP1
0000087a: JUMP
0000087b: JUMPDEST
0000087c: PUSH1 0x00
0000087e: PUSH2 0x088f
00000881: PUSH2 0x0888
00000884: PUSH2 0x17a1
00000887: JUMP
00000888: JUMPDEST
00000889: DUP5
0000088a: DUP5
0000088b: PUSH2 0x17a9
0000088e: JUMP
0000088f: JUMPDEST
00000890: PUSH1 0x01
00000892: SWAP1
00000893: POP
00000894: SWAP3
00000895: SWAP2
00000896: POP
00000897: POP
00000898: JUMP
00000899: JUMPDEST
0000089a: PUSH1 0x14
0000089c: PUSH1 0x00
0000089e: SWAP1
0000089f: SLOAD
000008a0: SWAP1
000008a1: PUSH2 0x0100
000008a4: EXP
000008a5: SWAP1
000008a6: DIV
000008a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008bc: AND
000008bd: DUP2
000008be: JUMP
000008bf: JUMPDEST
000008c0: PUSH1 0x00
000008c2: PUSH7 0x2386f26fc10000
000008ca: SWAP1
000008cb: POP
000008cc: SWAP1
000008cd: JUMP
000008ce: JUMPDEST
000008cf: PUSH1 0x00
000008d1: PUSH2 0x08db
000008d4: DUP5
000008d5: DUP5
000008d6: DUP5
000008d7: PUSH2 0x1974
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH2 0x099c
000008df: DUP5
000008e0: PUSH2 0x08e7
000008e3: PUSH2 0x17a1
000008e6: JUMP
000008e7: JUMPDEST
000008e8: PUSH2 0x0997
000008eb: DUP6
000008ec: PUSH1 0x40
000008ee: MLOAD
000008ef: DUP1
000008f0: PUSH1 0x60
000008f2: ADD
000008f3: PUSH1 0x40
000008f5: MSTORE
000008f6: DUP1
000008f7: PUSH1 0x28
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x20
000008fd: ADD
000008fe: PUSH2 0x410b
00000901: PUSH1 0x28
00000903: SWAP2
00000904: CODECOPY
00000905: PUSH1 0x04
00000907: PUSH1 0x00
00000909: DUP12
0000090a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091f: AND
00000920: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000935: AND
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x20
0000093a: ADD
0000093b: SWAP1
0000093c: DUP2
0000093d: MSTORE
0000093e: PUSH1 0x20
00000940: ADD
00000941: PUSH1 0x00
00000943: KECCAK256
00000944: PUSH1 0x00
00000946: PUSH2 0x094d
00000949: PUSH2 0x17a1
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000963: AND
00000964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000979: AND
0000097a: DUP2
0000097b: MSTORE
0000097c: PUSH1 0x20
0000097e: ADD
0000097f: SWAP1
00000980: DUP2
00000981: MSTORE
00000982: PUSH1 0x20
00000984: ADD
00000985: PUSH1 0x00
00000987: KECCAK256
00000988: SLOAD
00000989: PUSH2 0x21f9
0000098c: SWAP1
0000098d: SWAP3
0000098e: SWAP2
0000098f: SWAP1
00000990: PUSH4 0xffffffff
00000995: AND
00000996: JUMP
00000997: JUMPDEST
00000998: PUSH2 0x17a9
0000099b: JUMP
0000099c: JUMPDEST
0000099d: PUSH1 0x01
0000099f: SWAP1
000009a0: POP
000009a1: SWAP4
000009a2: SWAP3
000009a3: POP
000009a4: POP
000009a5: POP
000009a6: JUMP
000009a7: JUMPDEST
000009a8: PUSH1 0x18
000009aa: SLOAD
000009ab: DUP2
000009ac: JUMP
000009ad: JUMPDEST
000009ae: PUSH1 0x00
000009b0: PUSH1 0x09
000009b2: SWAP1
000009b3: POP
000009b4: SWAP1
000009b5: JUMP
000009b6: JUMPDEST
000009b7: PUSH1 0x15
000009b9: PUSH1 0x00
000009bb: SWAP1
000009bc: SLOAD
000009bd: SWAP1
000009be: PUSH2 0x0100
000009c1: EXP
000009c2: SWAP1
000009c3: DIV
000009c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d9: AND
000009da: DUP2
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH2 0x09e4
000009e0: PUSH2 0x17a1
000009e3: JUMP
000009e4: JUMPDEST
000009e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fa: AND
000009fb: PUSH1 0x00
000009fd: DUP1
000009fe: SLOAD
000009ff: SWAP1
00000a00: PUSH2 0x0100
00000a03: EXP
00000a04: SWAP1
00000a05: DIV
00000a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1b: AND
00000a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a31: AND
00000a32: EQ
00000a33: PUSH2 0x0a71
00000a36: JUMPI
00000a37: PUSH1 0x40
00000a39: MLOAD
00000a3a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a5b: DUP2
00000a5c: MSTORE
00000a5d: PUSH1 0x04
00000a5f: ADD
00000a60: PUSH2 0x0a68
00000a63: SWAP1
00000a64: PUSH2 0x3404
00000a67: JUMP
00000a68: JUMPDEST
00000a69: PUSH1 0x40
00000a6b: MLOAD
00000a6c: DUP1
00000a6d: SWAP2
00000a6e: SUB
00000a6f: SWAP1
00000a70: REVERT
00000a71: JUMPDEST
00000a72: PUSH1 0x00
00000a74: PUSH1 0x10
00000a76: PUSH1 0x00
00000a78: DUP4
00000a79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8e: AND
00000a8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa4: AND
00000aa5: DUP2
00000aa6: MSTORE
00000aa7: PUSH1 0x20
00000aa9: ADD
00000aaa: SWAP1
00000aab: DUP2
00000aac: MSTORE
00000aad: PUSH1 0x20
00000aaf: ADD
00000ab0: PUSH1 0x00
00000ab2: KECCAK256
00000ab3: PUSH1 0x00
00000ab5: PUSH2 0x0100
00000ab8: EXP
00000ab9: DUP2
00000aba: SLOAD
00000abb: DUP2
00000abc: PUSH1 0xff
00000abe: MUL
00000abf: NOT
00000ac0: AND
00000ac1: SWAP1
00000ac2: DUP4
00000ac3: ISZERO
00000ac4: ISZERO
00000ac5: MUL
00000ac6: OR
00000ac7: SWAP1
00000ac8: SSTORE
00000ac9: POP
00000aca: POP
00000acb: JUMP
00000acc: JUMPDEST
00000acd: PUSH2 0x0ad4
00000ad0: PUSH2 0x17a1
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aea: AND
00000aeb: PUSH1 0x00
00000aed: DUP1
00000aee: SLOAD
00000aef: SWAP1
00000af0: PUSH2 0x0100
00000af3: EXP
00000af4: SWAP1
00000af5: DIV
00000af6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0b: AND
00000b0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b21: AND
00000b22: EQ
00000b23: PUSH2 0x0b61
00000b26: JUMPI
00000b27: PUSH1 0x40
00000b29: MLOAD
00000b2a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b4b: DUP2
00000b4c: MSTORE
00000b4d: PUSH1 0x04
00000b4f: ADD
00000b50: PUSH2 0x0b58
00000b53: SWAP1
00000b54: PUSH2 0x3404
00000b57: JUMP
00000b58: JUMPDEST
00000b59: PUSH1 0x40
00000b5b: MLOAD
00000b5c: DUP1
00000b5d: SWAP2
00000b5e: SUB
00000b5f: SWAP1
00000b60: REVERT
00000b61: JUMPDEST
00000b62: DUP1
00000b63: PUSH1 0x15
00000b65: PUSH1 0x16
00000b67: PUSH2 0x0100
00000b6a: EXP
00000b6b: DUP2
00000b6c: SLOAD
00000b6d: DUP2
00000b6e: PUSH1 0xff
00000b70: MUL
00000b71: NOT
00000b72: AND
00000b73: SWAP1
00000b74: DUP4
00000b75: ISZERO
00000b76: ISZERO
00000b77: MUL
00000b78: OR
00000b79: SWAP1
00000b7a: SSTORE
00000b7b: POP
00000b7c: POP
00000b7d: JUMP
00000b7e: JUMPDEST
00000b7f: PUSH1 0x12
00000b81: PUSH1 0x00
00000b83: SWAP1
00000b84: SLOAD
00000b85: SWAP1
00000b86: PUSH2 0x0100
00000b89: EXP
00000b8a: SWAP1
00000b8b: DIV
00000b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba1: AND
00000ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb7: AND
00000bb8: PUSH2 0x0bbf
00000bbb: PUSH2 0x17a1
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd5: AND
00000bd6: EQ
00000bd7: DUP1
00000bd8: PUSH2 0x0c35
00000bdb: JUMPI
00000bdc: POP
00000bdd: PUSH1 0x13
00000bdf: PUSH1 0x00
00000be1: SWAP1
00000be2: SLOAD
00000be3: SWAP1
00000be4: PUSH2 0x0100
00000be7: EXP
00000be8: SWAP1
00000be9: DIV
00000bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bff: AND
00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c15: AND
00000c16: PUSH2 0x0c1d
00000c19: PUSH2 0x17a1
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c33: AND
00000c34: EQ
00000c35: JUMPDEST
00000c36: PUSH2 0x0c3e
00000c39: JUMPI
00000c3a: PUSH1 0x00
00000c3c: DUP1
00000c3d: REVERT
00000c3e: JUMPDEST
00000c3f: PUSH1 0x00
00000c41: SELFBALANCE
00000c42: SWAP1
00000c43: POP
00000c44: PUSH2 0x0c4c
00000c47: DUP2
00000c48: PUSH2 0x225d
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: POP
00000c4e: JUMP
00000c4f: JUMPDEST
00000c50: PUSH1 0x00
00000c52: PUSH2 0x0c99
00000c55: PUSH1 0x02
00000c57: PUSH1 0x00
00000c59: DUP5
00000c5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6f: AND
00000c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c85: AND
00000c86: DUP2
00000c87: MSTORE
00000c88: PUSH1 0x20
00000c8a: ADD
00000c8b: SWAP1
00000c8c: DUP2
00000c8d: MSTORE
00000c8e: PUSH1 0x20
00000c90: ADD
00000c91: PUSH1 0x00
00000c93: KECCAK256
00000c94: SLOAD
00000c95: PUSH2 0x22c9
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: SWAP1
00000c9b: POP
00000c9c: SWAP2
00000c9d: SWAP1
00000c9e: POP
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH2 0x0ca8
00000ca4: PUSH2 0x17a1
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cbe: AND
00000cbf: PUSH1 0x00
00000cc1: DUP1
00000cc2: SLOAD
00000cc3: SWAP1
00000cc4: PUSH2 0x0100
00000cc7: EXP
00000cc8: SWAP1
00000cc9: DIV
00000cca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cdf: AND
00000ce0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf5: AND
00000cf6: EQ
00000cf7: PUSH2 0x0d35
00000cfa: JUMPI
00000cfb: PUSH1 0x40
00000cfd: MLOAD
00000cfe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d1f: DUP2
00000d20: MSTORE
00000d21: PUSH1 0x04
00000d23: ADD
00000d24: PUSH2 0x0d2c
00000d27: SWAP1
00000d28: PUSH2 0x3404
00000d2b: JUMP
00000d2c: JUMPDEST
00000d2d: PUSH1 0x40
00000d2f: MLOAD
00000d30: DUP1
00000d31: SWAP2
00000d32: SUB
00000d33: SWAP1
00000d34: REVERT
00000d35: JUMPDEST
00000d36: PUSH1 0x00
00000d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4d: AND
00000d4e: PUSH1 0x00
00000d50: DUP1
00000d51: SLOAD
00000d52: SWAP1
00000d53: PUSH2 0x0100
00000d56: EXP
00000d57: SWAP1
00000d58: DIV
00000d59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6e: AND
00000d6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d84: AND
00000d85: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000da6: PUSH1 0x40
00000da8: MLOAD
00000da9: PUSH1 0x40
00000dab: MLOAD
00000dac: DUP1
00000dad: SWAP2
00000dae: SUB
00000daf: SWAP1
00000db0: LOG3
00000db1: PUSH1 0x00
00000db3: DUP1
00000db4: PUSH1 0x00
00000db6: PUSH2 0x0100
00000db9: EXP
00000dba: DUP2
00000dbb: SLOAD
00000dbc: DUP2
00000dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd2: MUL
00000dd3: NOT
00000dd4: AND
00000dd5: SWAP1
00000dd6: DUP4
00000dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dec: AND
00000ded: MUL
00000dee: OR
00000def: SWAP1
00000df0: SSTORE
00000df1: POP
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH2 0x0dfb
00000df7: PUSH2 0x17a1
00000dfa: JUMP
00000dfb: JUMPDEST
00000dfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e11: AND
00000e12: PUSH1 0x00
00000e14: DUP1
00000e15: SLOAD
00000e16: SWAP1
00000e17: PUSH2 0x0100
00000e1a: EXP
00000e1b: SWAP1
00000e1c: DIV
00000e1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e32: AND
00000e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e48: AND
00000e49: EQ
00000e4a: PUSH2 0x0e88
00000e4d: JUMPI
00000e4e: PUSH1 0x40
00000e50: MLOAD
00000e51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e72: DUP2
00000e73: MSTORE
00000e74: PUSH1 0x04
00000e76: ADD
00000e77: PUSH2 0x0e7f
00000e7a: SWAP1
00000e7b: PUSH2 0x3404
00000e7e: JUMP
00000e7f: JUMPDEST
00000e80: PUSH1 0x40
00000e82: MLOAD
00000e83: DUP1
00000e84: SWAP2
00000e85: SUB
00000e86: SWAP1
00000e87: REVERT
00000e88: JUMPDEST
00000e89: DUP1
00000e8a: PUSH1 0x16
00000e8c: DUP2
00000e8d: SWAP1
00000e8e: SSTORE
00000e8f: POP
00000e90: POP
00000e91: JUMP
00000e92: JUMPDEST
00000e93: PUSH1 0x16
00000e95: SLOAD
00000e96: DUP2
00000e97: JUMP
00000e98: JUMPDEST
00000e99: PUSH1 0x11
00000e9b: PUSH1 0x20
00000e9d: MSTORE
00000e9e: DUP1
00000e9f: PUSH1 0x00
00000ea1: MSTORE
00000ea2: PUSH1 0x40
00000ea4: PUSH1 0x00
00000ea6: KECCAK256
00000ea7: PUSH1 0x00
00000ea9: SWAP2
00000eaa: POP
00000eab: SWAP1
00000eac: POP
00000ead: SLOAD
00000eae: DUP2
00000eaf: JUMP
00000eb0: JUMPDEST
00000eb1: PUSH1 0x00
00000eb3: DUP1
00000eb4: PUSH1 0x00
00000eb6: SWAP1
00000eb7: SLOAD
00000eb8: SWAP1
00000eb9: PUSH2 0x0100
00000ebc: EXP
00000ebd: SWAP1
00000ebe: DIV
00000ebf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed4: AND
00000ed5: SWAP1
00000ed6: POP
00000ed7: SWAP1
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: PUSH2 0x0ee1
00000edd: PUSH2 0x17a1
00000ee0: JUMP
00000ee1: JUMPDEST
00000ee2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef7: AND
00000ef8: PUSH1 0x00
00000efa: DUP1
00000efb: SLOAD
00000efc: SWAP1
00000efd: PUSH2 0x0100
00000f00: EXP
00000f01: SWAP1
00000f02: DIV
00000f03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f18: AND
00000f19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2e: AND
00000f2f: EQ
00000f30: PUSH2 0x0f6e
00000f33: JUMPI
00000f34: PUSH1 0x40
00000f36: MLOAD
00000f37: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f58: DUP2
00000f59: MSTORE
00000f5a: PUSH1 0x04
00000f5c: ADD
00000f5d: PUSH2 0x0f65
00000f60: SWAP1
00000f61: PUSH2 0x3404
00000f64: JUMP
00000f65: JUMPDEST
00000f66: PUSH1 0x40
00000f68: MLOAD
00000f69: DUP1
00000f6a: SWAP2
00000f6b: SUB
00000f6c: SWAP1
00000f6d: REVERT
00000f6e: JUMPDEST
00000f6f: DUP1
00000f70: PUSH1 0x15
00000f72: PUSH1 0x14
00000f74: PUSH2 0x0100
00000f77: EXP
00000f78: DUP2
00000f79: SLOAD
00000f7a: DUP2
00000f7b: PUSH1 0xff
00000f7d: MUL
00000f7e: NOT
00000f7f: AND
00000f80: SWAP1
00000f81: DUP4
00000f82: ISZERO
00000f83: ISZERO
00000f84: MUL
00000f85: OR
00000f86: SWAP1
00000f87: SSTORE
00000f88: POP
00000f89: POP
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: PUSH1 0x17
00000f8e: SLOAD
00000f8f: DUP2
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH1 0x60
00000f94: PUSH1 0x40
00000f96: MLOAD
00000f97: DUP1
00000f98: PUSH1 0x40
00000f9a: ADD
00000f9b: PUSH1 0x40
00000f9d: MSTORE
00000f9e: DUP1
00000f9f: PUSH1 0x04
00000fa1: DUP2
00000fa2: MSTORE
00000fa3: PUSH1 0x20
00000fa5: ADD
00000fa6: PUSH32 0x52454b5400000000000000000000000000000000000000000000000000000000
00000fc7: DUP2
00000fc8: MSTORE
00000fc9: POP
00000fca: SWAP1
00000fcb: POP
00000fcc: SWAP1
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: PUSH2 0x0fd6
00000fd2: PUSH2 0x17a1
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fec: AND
00000fed: PUSH1 0x00
00000fef: DUP1
00000ff0: SLOAD
00000ff1: SWAP1
00000ff2: PUSH2 0x0100
00000ff5: EXP
00000ff6: SWAP1
00000ff7: DIV
00000ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100d: AND
0000100e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001023: AND
00001024: EQ
00001025: PUSH2 0x1063
00001028: JUMPI
00001029: PUSH1 0x40
0000102b: MLOAD
0000102c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000104d: DUP2
0000104e: MSTORE
0000104f: PUSH1 0x04
00001051: ADD
00001052: PUSH2 0x105a
00001055: SWAP1
00001056: PUSH2 0x3404
00001059: JUMP
0000105a: JUMPDEST
0000105b: PUSH1 0x40
0000105d: MLOAD
0000105e: DUP1
0000105f: SWAP2
00001060: SUB
00001061: SWAP1
00001062: REVERT
00001063: JUMPDEST
00001064: DUP1
00001065: PUSH1 0x18
00001067: DUP2
00001068: SWAP1
00001069: SSTORE
0000106a: POP
0000106b: POP
0000106c: JUMP
0000106d: JUMPDEST
0000106e: PUSH2 0x1075
00001071: PUSH2 0x17a1
00001074: JUMP
00001075: JUMPDEST
00001076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108b: AND
0000108c: PUSH1 0x00
0000108e: DUP1
0000108f: SLOAD
00001090: SWAP1
00001091: PUSH2 0x0100
00001094: EXP
00001095: SWAP1
00001096: DIV
00001097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ac: AND
000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c2: AND
000010c3: EQ
000010c4: PUSH2 0x1102
000010c7: JUMPI
000010c8: PUSH1 0x40
000010ca: MLOAD
000010cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010ec: DUP2
000010ed: MSTORE
000010ee: PUSH1 0x04
000010f0: ADD
000010f1: PUSH2 0x10f9
000010f4: SWAP1
000010f5: PUSH2 0x3404
000010f8: JUMP
000010f9: JUMPDEST
000010fa: PUSH1 0x40
000010fc: MLOAD
000010fd: DUP1
000010fe: SWAP2
000010ff: SUB
00001100: SWAP1
00001101: REVERT
00001102: JUMPDEST
00001103: PUSH1 0x00
00001105: DUP5
00001106: LT
00001107: ISZERO
00001108: DUP1
00001109: ISZERO
0000110a: PUSH2 0x1114
0000110d: JUMPI
0000110e: POP
0000110f: PUSH1 0x04
00001111: DUP5
00001112: GT
00001113: ISZERO
00001114: JUMPDEST
00001115: PUSH2 0x1153
00001118: JUMPI
00001119: PUSH1 0x40
0000111b: MLOAD
0000111c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000113d: DUP2
0000113e: MSTORE
0000113f: PUSH1 0x04
00001141: ADD
00001142: PUSH2 0x114a
00001145: SWAP1
00001146: PUSH2 0x353d
00001149: JUMP
0000114a: JUMPDEST
0000114b: PUSH1 0x40
0000114d: MLOAD
0000114e: DUP1
0000114f: SWAP2
00001150: SUB
00001151: SWAP1
00001152: REVERT
00001153: JUMPDEST
00001154: PUSH1 0x00
00001156: DUP3
00001157: LT
00001158: ISZERO
00001159: DUP1
0000115a: ISZERO
0000115b: PUSH2 0x1165
0000115e: JUMPI
0000115f: POP
00001160: PUSH1 0x50
00001162: DUP3
00001163: GT
00001164: ISZERO
00001165: JUMPDEST
00001166: PUSH2 0x11a4
00001169: JUMPI
0000116a: PUSH1 0x40
0000116c: MLOAD
0000116d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000118e: DUP2
0000118f: MSTORE
00001190: PUSH1 0x04
00001192: ADD
00001193: PUSH2 0x119b
00001196: SWAP1
00001197: PUSH2 0x35cf
0000119a: JUMP
0000119b: JUMPDEST
0000119c: PUSH1 0x40
0000119e: MLOAD
0000119f: DUP1
000011a0: SWAP2
000011a1: SUB
000011a2: SWAP1
000011a3: REVERT
000011a4: JUMPDEST
000011a5: PUSH1 0x00
000011a7: DUP4
000011a8: LT
000011a9: ISZERO
000011aa: DUP1
000011ab: ISZERO
000011ac: PUSH2 0x11b6
000011af: JUMPI
000011b0: POP
000011b1: PUSH1 0x04
000011b3: DUP4
000011b4: GT
000011b5: ISZERO
000011b6: JUMPDEST
000011b7: PUSH2 0x11f5
000011ba: JUMPI
000011bb: PUSH1 0x40
000011bd: MLOAD
000011be: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011df: DUP2
000011e0: MSTORE
000011e1: PUSH1 0x04
000011e3: ADD
000011e4: PUSH2 0x11ec
000011e7: SWAP1
000011e8: PUSH2 0x3661
000011eb: JUMP
000011ec: JUMPDEST
000011ed: PUSH1 0x40
000011ef: MLOAD
000011f0: DUP1
000011f1: SWAP2
000011f2: SUB
000011f3: SWAP1
000011f4: REVERT
000011f5: JUMPDEST
000011f6: PUSH1 0x00
000011f8: DUP2
000011f9: LT
000011fa: ISZERO
000011fb: DUP1
000011fc: ISZERO
000011fd: PUSH2 0x1207
00001200: JUMPI
00001201: POP
00001202: PUSH1 0x50
00001204: DUP2
00001205: GT
00001206: ISZERO
00001207: JUMPDEST
00001208: PUSH2 0x1246
0000120b: JUMPI
0000120c: PUSH1 0x40
0000120e: MLOAD
0000120f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001230: DUP2
00001231: MSTORE
00001232: PUSH1 0x04
00001234: ADD
00001235: PUSH2 0x123d
00001238: SWAP1
00001239: PUSH2 0x36f3
0000123c: JUMP
0000123d: JUMPDEST
0000123e: PUSH1 0x40
00001240: MLOAD
00001241: DUP1
00001242: SWAP2
00001243: SUB
00001244: SWAP1
00001245: REVERT
00001246: JUMPDEST
00001247: DUP4
00001248: PUSH1 0x08
0000124a: DUP2
0000124b: SWAP1
0000124c: SSTORE
0000124d: POP
0000124e: DUP3
0000124f: PUSH1 0x0a
00001251: DUP2
00001252: SWAP1
00001253: SSTORE
00001254: POP
00001255: DUP2
00001256: PUSH1 0x09
00001258: DUP2
00001259: SWAP1
0000125a: SSTORE
0000125b: POP
0000125c: DUP1
0000125d: PUSH1 0x0b
0000125f: DUP2
00001260: SWAP1
00001261: SSTORE
00001262: POP
00001263: POP
00001264: POP
00001265: POP
00001266: POP
00001267: JUMP
00001268: JUMPDEST
00001269: PUSH1 0x00
0000126b: PUSH2 0x127c
0000126e: PUSH2 0x1275
00001271: PUSH2 0x17a1
00001274: JUMP
00001275: JUMPDEST
00001276: DUP5
00001277: DUP5
00001278: PUSH2 0x1974
0000127b: JUMP
0000127c: JUMPDEST
0000127d: PUSH1 0x01
0000127f: SWAP1
00001280: POP
00001281: SWAP3
00001282: SWAP2
00001283: POP
00001284: POP
00001285: JUMP
00001286: JUMPDEST
00001287: PUSH1 0x10
00001289: PUSH1 0x20
0000128b: MSTORE
0000128c: DUP1
0000128d: PUSH1 0x00
0000128f: MSTORE
00001290: PUSH1 0x40
00001292: PUSH1 0x00
00001294: KECCAK256
00001295: PUSH1 0x00
00001297: SWAP2
00001298: POP
00001299: SLOAD
0000129a: SWAP1
0000129b: PUSH2 0x0100
0000129e: EXP
0000129f: SWAP1
000012a0: DIV
000012a1: PUSH1 0xff
000012a3: AND
000012a4: DUP2
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x12
000012a9: PUSH1 0x00
000012ab: SWAP1
000012ac: SLOAD
000012ad: SWAP1
000012ae: PUSH2 0x0100
000012b1: EXP
000012b2: SWAP1
000012b3: DIV
000012b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c9: AND
000012ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012df: AND
000012e0: PUSH2 0x12e7
000012e3: PUSH2 0x17a1
000012e6: JUMP
000012e7: JUMPDEST
000012e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012fd: AND
000012fe: EQ
000012ff: DUP1
00001300: PUSH2 0x135d
00001303: JUMPI
00001304: POP
00001305: PUSH1 0x13
00001307: PUSH1 0x00
00001309: SWAP1
0000130a: SLOAD
0000130b: SWAP1
0000130c: PUSH2 0x0100
0000130f: EXP
00001310: SWAP1
00001311: DIV
00001312: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001327: AND
00001328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133d: AND
0000133e: PUSH2 0x1345
00001341: PUSH2 0x17a1
00001344: JUMP
00001345: JUMPDEST
00001346: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000135b: AND
0000135c: EQ
0000135d: JUMPDEST
0000135e: PUSH2 0x1366
00001361: JUMPI
00001362: PUSH1 0x00
00001364: DUP1
00001365: REVERT
00001366: JUMPDEST
00001367: PUSH1 0x00
00001369: PUSH2 0x1371
0000136c: ADDRESS
0000136d: PUSH2 0x0c4f
00001370: JUMP
00001371: JUMPDEST
00001372: SWAP1
00001373: POP
00001374: PUSH2 0x137c
00001377: DUP2
00001378: PUSH2 0x2337
0000137b: JUMP
0000137c: JUMPDEST
0000137d: POP
0000137e: JUMP
0000137f: JUMPDEST
00001380: PUSH2 0x1387
00001383: PUSH2 0x17a1
00001386: JUMP
00001387: JUMPDEST
00001388: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139d: AND
0000139e: PUSH1 0x00
000013a0: DUP1
000013a1: SLOAD
000013a2: SWAP1
000013a3: PUSH2 0x0100
000013a6: EXP
000013a7: SWAP1
000013a8: DIV
000013a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013be: AND
000013bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d4: AND
000013d5: EQ
000013d6: PUSH2 0x1414
000013d9: JUMPI
000013da: PUSH1 0x40
000013dc: MLOAD
000013dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013fe: DUP2
000013ff: MSTORE
00001400: PUSH1 0x04
00001402: ADD
00001403: PUSH2 0x140b
00001406: SWAP1
00001407: PUSH2 0x3404
0000140a: JUMP
0000140b: JUMPDEST
0000140c: PUSH1 0x40
0000140e: MLOAD
0000140f: DUP1
00001410: SWAP2
00001411: SUB
00001412: SWAP1
00001413: REVERT
00001414: JUMPDEST
00001415: PUSH1 0x00
00001417: JUMPDEST
00001418: DUP4
00001419: DUP4
0000141a: SWAP1
0000141b: POP
0000141c: DUP2
0000141d: LT
0000141e: ISZERO
0000141f: PUSH2 0x14b3
00001422: JUMPI
00001423: DUP2
00001424: PUSH1 0x05
00001426: PUSH1 0x00
00001428: DUP7
00001429: DUP7
0000142a: DUP6
0000142b: DUP2
0000142c: DUP2
0000142d: LT
0000142e: PUSH2 0x143a
00001431: JUMPI
00001432: PUSH2 0x1439
00001435: PUSH2 0x3424
00001438: JUMP
00001439: JUMPDEST
0000143a: JUMPDEST
0000143b: SWAP1
0000143c: POP
0000143d: PUSH1 0x20
0000143f: MUL
00001440: ADD
00001441: PUSH1 0x20
00001443: DUP2
00001444: ADD
00001445: SWAP1
00001446: PUSH2 0x144f
00001449: SWAP2
0000144a: SWAP1
0000144b: PUSH2 0x31a3
0000144e: JUMP
0000144f: JUMPDEST
00001450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001465: AND
00001466: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000147b: AND
0000147c: DUP2
0000147d: MSTORE
0000147e: PUSH1 0x20
00001480: ADD
00001481: SWAP1
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x20
00001486: ADD
00001487: PUSH1 0x00
00001489: KECCAK256
0000148a: PUSH1 0x00
0000148c: PUSH2 0x0100
0000148f: EXP
00001490: DUP2
00001491: SLOAD
00001492: DUP2
00001493: PUSH1 0xff
00001495: MUL
00001496: NOT
00001497: AND
00001498: SWAP1
00001499: DUP4
0000149a: ISZERO
0000149b: ISZERO
0000149c: MUL
0000149d: OR
0000149e: SWAP1
0000149f: SSTORE
000014a0: POP
000014a1: DUP1
000014a2: DUP1
000014a3: PUSH2 0x14ab
000014a6: SWAP1
000014a7: PUSH2 0x3482
000014aa: JUMP
000014ab: JUMPDEST
000014ac: SWAP2
000014ad: POP
000014ae: POP
000014af: PUSH2 0x1417
000014b2: JUMP
000014b3: JUMPDEST
000014b4: POP
000014b5: POP
000014b6: POP
000014b7: POP
000014b8: JUMP
000014b9: JUMPDEST
000014ba: PUSH1 0x00
000014bc: PUSH1 0x04
000014be: PUSH1 0x00
000014c0: DUP5
000014c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d6: AND
000014d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ec: AND
000014ed: DUP2
000014ee: MSTORE
000014ef: PUSH1 0x20
000014f1: ADD
000014f2: SWAP1
000014f3: DUP2
000014f4: MSTORE
000014f5: PUSH1 0x20
000014f7: ADD
000014f8: PUSH1 0x00
000014fa: KECCAK256
000014fb: PUSH1 0x00
000014fd: DUP4
000014fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001513: AND
00001514: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001529: AND
0000152a: DUP2
0000152b: MSTORE
0000152c: PUSH1 0x20
0000152e: ADD
0000152f: SWAP1
00001530: DUP2
00001531: MSTORE
00001532: PUSH1 0x20
00001534: ADD
00001535: PUSH1 0x00
00001537: KECCAK256
00001538: SLOAD
00001539: SWAP1
0000153a: POP
0000153b: SWAP3
0000153c: SWAP2
0000153d: POP
0000153e: POP
0000153f: JUMP
00001540: JUMPDEST
00001541: PUSH2 0x1548
00001544: PUSH2 0x17a1
00001547: JUMP
00001548: JUMPDEST
00001549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155e: AND
0000155f: PUSH1 0x00
00001561: DUP1
00001562: SLOAD
00001563: SWAP1
00001564: PUSH2 0x0100
00001567: EXP
00001568: SWAP1
00001569: DIV
0000156a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000157f: AND
00001580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001595: AND
00001596: EQ
00001597: PUSH2 0x15d5
0000159a: JUMPI
0000159b: PUSH1 0x40
0000159d: MLOAD
0000159e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015bf: DUP2
000015c0: MSTORE
000015c1: PUSH1 0x04
000015c3: ADD
000015c4: PUSH2 0x15cc
000015c7: SWAP1
000015c8: PUSH2 0x3404
000015cb: JUMP
000015cc: JUMPDEST
000015cd: PUSH1 0x40
000015cf: MLOAD
000015d0: DUP1
000015d1: SWAP2
000015d2: SUB
000015d3: SWAP1
000015d4: REVERT
000015d5: JUMPDEST
000015d6: DUP1
000015d7: PUSH1 0x17
000015d9: DUP2
000015da: SWAP1
000015db: SSTORE
000015dc: POP
000015dd: POP
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH2 0x15e7
000015e3: PUSH2 0x17a1
000015e6: JUMP
000015e7: JUMPDEST
000015e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015fd: AND
000015fe: PUSH1 0x00
00001600: DUP1
00001601: SLOAD
00001602: SWAP1
00001603: PUSH2 0x0100
00001606: EXP
00001607: SWAP1
00001608: DIV
00001609: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161e: AND
0000161f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001634: AND
00001635: EQ
00001636: PUSH2 0x1674
00001639: JUMPI
0000163a: PUSH1 0x40
0000163c: MLOAD
0000163d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000165e: DUP2
0000165f: MSTORE
00001660: PUSH1 0x04
00001662: ADD
00001663: PUSH2 0x166b
00001666: SWAP1
00001667: PUSH2 0x3404
0000166a: JUMP
0000166b: JUMPDEST
0000166c: PUSH1 0x40
0000166e: MLOAD
0000166f: DUP1
00001670: SWAP2
00001671: SUB
00001672: SWAP1
00001673: REVERT
00001674: JUMPDEST
00001675: PUSH1 0x00
00001677: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168c: AND
0000168d: DUP2
0000168e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a3: AND
000016a4: EQ
000016a5: ISZERO
000016a6: PUSH2 0x16e4
000016a9: JUMPI
000016aa: PUSH1 0x40
000016ac: MLOAD
000016ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016ce: DUP2
000016cf: MSTORE
000016d0: PUSH1 0x04
000016d2: ADD
000016d3: PUSH2 0x16db
000016d6: SWAP1
000016d7: PUSH2 0x3785
000016da: JUMP
000016db: JUMPDEST
000016dc: PUSH1 0x40
000016de: MLOAD
000016df: DUP1
000016e0: SWAP2
000016e1: SUB
000016e2: SWAP1
000016e3: REVERT
000016e4: JUMPDEST
000016e5: DUP1
000016e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016fb: AND
000016fc: PUSH1 0x00
000016fe: DUP1
000016ff: SLOAD
00001700: SWAP1
00001701: PUSH2 0x0100
00001704: EXP
00001705: SWAP1
00001706: DIV
00001707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171c: AND
0000171d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001732: AND
00001733: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001754: PUSH1 0x40
00001756: MLOAD
00001757: PUSH1 0x40
00001759: MLOAD
0000175a: DUP1
0000175b: SWAP2
0000175c: SUB
0000175d: SWAP1
0000175e: LOG3
0000175f: DUP1
00001760: PUSH1 0x00
00001762: DUP1
00001763: PUSH2 0x0100
00001766: EXP
00001767: DUP2
00001768: SLOAD
00001769: DUP2
0000176a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177f: MUL
00001780: NOT
00001781: AND
00001782: SWAP1
00001783: DUP4
00001784: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001799: AND
0000179a: MUL
0000179b: OR
0000179c: SWAP1
0000179d: SSTORE
0000179e: POP
0000179f: POP
000017a0: JUMP
000017a1: JUMPDEST
000017a2: PUSH1 0x00
000017a4: CALLER
000017a5: SWAP1
000017a6: POP
000017a7: SWAP1
000017a8: JUMP
000017a9: JUMPDEST
000017aa: PUSH1 0x00
000017ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c1: AND
000017c2: DUP4
000017c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d8: AND
000017d9: EQ
000017da: ISZERO
000017db: PUSH2 0x1819
000017de: JUMPI
000017df: PUSH1 0x40
000017e1: MLOAD
000017e2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001803: DUP2
00001804: MSTORE
00001805: PUSH1 0x04
00001807: ADD
00001808: PUSH2 0x1810
0000180b: SWAP1
0000180c: PUSH2 0x3817
0000180f: JUMP
00001810: JUMPDEST
00001811: PUSH1 0x40
00001813: MLOAD
00001814: DUP1
00001815: SWAP2
00001816: SUB
00001817: SWAP1
00001818: REVERT
00001819: JUMPDEST
0000181a: PUSH1 0x00
0000181c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001831: AND
00001832: DUP3
00001833: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001848: AND
00001849: EQ
0000184a: ISZERO
0000184b: PUSH2 0x1889
0000184e: JUMPI
0000184f: PUSH1 0x40
00001851: MLOAD
00001852: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001873: DUP2
00001874: MSTORE
00001875: PUSH1 0x04
00001877: ADD
00001878: PUSH2 0x1880
0000187b: SWAP1
0000187c: PUSH2 0x38a9
0000187f: JUMP
00001880: JUMPDEST
00001881: PUSH1 0x40
00001883: MLOAD
00001884: DUP1
00001885: SWAP2
00001886: SUB
00001887: SWAP1
00001888: REVERT
00001889: JUMPDEST
0000188a: DUP1
0000188b: PUSH1 0x04
0000188d: PUSH1 0x00
0000188f: DUP6
00001890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a5: AND
000018a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018bb: AND
000018bc: DUP2
000018bd: MSTORE
000018be: PUSH1 0x20
000018c0: ADD
000018c1: SWAP1
000018c2: DUP2
000018c3: MSTORE
000018c4: PUSH1 0x20
000018c6: ADD
000018c7: PUSH1 0x00
000018c9: KECCAK256
000018ca: PUSH1 0x00
000018cc: DUP5
000018cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e2: AND
000018e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f8: AND
000018f9: DUP2
000018fa: MSTORE
000018fb: PUSH1 0x20
000018fd: ADD
000018fe: SWAP1
000018ff: DUP2
00001900: MSTORE
00001901: PUSH1 0x20
00001903: ADD
00001904: PUSH1 0x00
00001906: KECCAK256
00001907: DUP2
00001908: SWAP1
00001909: SSTORE
0000190a: POP
0000190b: DUP2
0000190c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001921: AND
00001922: DUP4
00001923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001938: AND
00001939: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000195a: DUP4
0000195b: PUSH1 0x40
0000195d: MLOAD
0000195e: PUSH2 0x1967
00001961: SWAP2
00001962: SWAP1
00001963: PUSH2 0x30d4
00001966: JUMP
00001967: JUMPDEST
00001968: PUSH1 0x40
0000196a: MLOAD
0000196b: DUP1
0000196c: SWAP2
0000196d: SUB
0000196e: SWAP1
0000196f: LOG3
00001970: POP
00001971: POP
00001972: POP
00001973: JUMP
00001974: JUMPDEST
00001975: PUSH1 0x00
00001977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000198c: AND
0000198d: DUP4
0000198e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a3: AND
000019a4: EQ
000019a5: ISZERO
000019a6: PUSH2 0x19e4
000019a9: JUMPI
000019aa: PUSH1 0x40
000019ac: MLOAD
000019ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019ce: DUP2
000019cf: MSTORE
000019d0: PUSH1 0x04
000019d2: ADD
000019d3: PUSH2 0x19db
000019d6: SWAP1
000019d7: PUSH2 0x393b
000019da: JUMP
000019db: JUMPDEST
000019dc: PUSH1 0x40
000019de: MLOAD
000019df: DUP1
000019e0: SWAP2
000019e1: SUB
000019e2: SWAP1
000019e3: REVERT
000019e4: JUMPDEST
000019e5: PUSH1 0x00
000019e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fc: AND
000019fd: DUP3
000019fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a13: AND
00001a14: EQ
00001a15: ISZERO
00001a16: PUSH2 0x1a54
00001a19: JUMPI
00001a1a: PUSH1 0x40
00001a1c: MLOAD
00001a1d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a3e: DUP2
00001a3f: MSTORE
00001a40: PUSH1 0x04
00001a42: ADD
00001a43: PUSH2 0x1a4b
00001a46: SWAP1
00001a47: PUSH2 0x39cd
00001a4a: JUMP
00001a4b: JUMPDEST
00001a4c: PUSH1 0x40
00001a4e: MLOAD
00001a4f: DUP1
00001a50: SWAP2
00001a51: SUB
00001a52: SWAP1
00001a53: REVERT
00001a54: JUMPDEST
00001a55: PUSH1 0x00
00001a57: DUP2
00001a58: GT
00001a59: PUSH2 0x1a97
00001a5c: JUMPI
00001a5d: PUSH1 0x40
00001a5f: MLOAD
00001a60: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a81: DUP2
00001a82: MSTORE
00001a83: PUSH1 0x04
00001a85: ADD
00001a86: PUSH2 0x1a8e
00001a89: SWAP1
00001a8a: PUSH2 0x3a5f
00001a8d: JUMP
00001a8e: JUMPDEST
00001a8f: PUSH1 0x40
00001a91: MLOAD
00001a92: DUP1
00001a93: SWAP2
00001a94: SUB
00001a95: SWAP1
00001a96: REVERT
00001a97: JUMPDEST
00001a98: PUSH2 0x1a9f
00001a9b: PUSH2 0x0eb0
00001a9e: JUMP
00001a9f: JUMPDEST
00001aa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab5: AND
00001ab6: DUP4
00001ab7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001acc: AND
00001acd: EQ
00001ace: ISZERO
00001acf: DUP1
00001ad0: ISZERO
00001ad1: PUSH2 0x1b0d
00001ad4: JUMPI
00001ad5: POP
00001ad6: PUSH2 0x1add
00001ad9: PUSH2 0x0eb0
00001adc: JUMP
00001add: JUMPDEST
00001ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af3: AND
00001af4: DUP3
00001af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0a: AND
00001b0b: EQ
00001b0c: ISZERO
00001b0d: JUMPDEST
00001b0e: ISZERO
00001b0f: PUSH2 0x1ef8
00001b12: JUMPI
00001b13: PUSH1 0x15
00001b15: PUSH1 0x14
00001b17: SWAP1
00001b18: SLOAD
00001b19: SWAP1
00001b1a: PUSH2 0x0100
00001b1d: EXP
00001b1e: SWAP1
00001b1f: DIV
00001b20: PUSH1 0xff
00001b22: AND
00001b23: PUSH2 0x1b9c
00001b26: JUMPI
00001b27: PUSH2 0x1b2e
00001b2a: PUSH2 0x0eb0
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b44: AND
00001b45: DUP4
00001b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5b: AND
00001b5c: EQ
00001b5d: PUSH2 0x1b9b
00001b60: JUMPI
00001b61: PUSH1 0x40
00001b63: MLOAD
00001b64: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b85: DUP2
00001b86: MSTORE
00001b87: PUSH1 0x04
00001b89: ADD
00001b8a: PUSH2 0x1b92
00001b8d: SWAP1
00001b8e: PUSH2 0x3af1
00001b91: JUMP
00001b92: JUMPDEST
00001b93: PUSH1 0x40
00001b95: MLOAD
00001b96: DUP1
00001b97: SWAP2
00001b98: SUB
00001b99: SWAP1
00001b9a: REVERT
00001b9b: JUMPDEST
00001b9c: JUMPDEST
00001b9d: PUSH1 0x16
00001b9f: SLOAD
00001ba0: DUP2
00001ba1: GT
00001ba2: ISZERO
00001ba3: PUSH2 0x1be1
00001ba6: JUMPI
00001ba7: PUSH1 0x40
00001ba9: MLOAD
00001baa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bcb: DUP2
00001bcc: MSTORE
00001bcd: PUSH1 0x04
00001bcf: ADD
00001bd0: PUSH2 0x1bd8
00001bd3: SWAP1
00001bd4: PUSH2 0x3b5d
00001bd7: JUMP
00001bd8: JUMPDEST
00001bd9: PUSH1 0x40
00001bdb: MLOAD
00001bdc: DUP1
00001bdd: SWAP2
00001bde: SUB
00001bdf: SWAP1
00001be0: REVERT
00001be1: JUMPDEST
00001be2: PUSH1 0x10
00001be4: PUSH1 0x00
00001be6: DUP5
00001be7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bfc: AND
00001bfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c12: AND
00001c13: DUP2
00001c14: MSTORE
00001c15: PUSH1 0x20
00001c17: ADD
00001c18: SWAP1
00001c19: DUP2
00001c1a: MSTORE
00001c1b: PUSH1 0x20
00001c1d: ADD
00001c1e: PUSH1 0x00
00001c20: KECCAK256
00001c21: PUSH1 0x00
00001c23: SWAP1
00001c24: SLOAD
00001c25: SWAP1
00001c26: PUSH2 0x0100
00001c29: EXP
00001c2a: SWAP1
00001c2b: DIV
00001c2c: PUSH1 0xff
00001c2e: AND
00001c2f: ISZERO
00001c30: DUP1
00001c31: ISZERO
00001c32: PUSH2 0x1c85
00001c35: JUMPI
00001c36: POP
00001c37: PUSH1 0x10
00001c39: PUSH1 0x00
00001c3b: DUP4
00001c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c51: AND
00001c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c67: AND
00001c68: DUP2
00001c69: MSTORE
00001c6a: PUSH1 0x20
00001c6c: ADD
00001c6d: SWAP1
00001c6e: DUP2
00001c6f: MSTORE
00001c70: PUSH1 0x20
00001c72: ADD
00001c73: PUSH1 0x00
00001c75: KECCAK256
00001c76: PUSH1 0x00
00001c78: SWAP1
00001c79: SLOAD
00001c7a: SWAP1
00001c7b: PUSH2 0x0100
00001c7e: EXP
00001c7f: SWAP1
00001c80: DIV
00001c81: PUSH1 0xff
00001c83: AND
00001c84: ISZERO
00001c85: JUMPDEST
00001c86: PUSH2 0x1cc4
00001c89: JUMPI
00001c8a: PUSH1 0x40
00001c8c: MLOAD
00001c8d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cae: DUP2
00001caf: MSTORE
00001cb0: PUSH1 0x04
00001cb2: ADD
00001cb3: PUSH2 0x1cbb
00001cb6: SWAP1
00001cb7: PUSH2 0x3bef
00001cba: JUMP
00001cbb: JUMPDEST
00001cbc: PUSH1 0x40
00001cbe: MLOAD
00001cbf: DUP1
00001cc0: SWAP2
00001cc1: SUB
00001cc2: SWAP1
00001cc3: REVERT
00001cc4: JUMPDEST
00001cc5: PUSH1 0x15
00001cc7: PUSH1 0x00
00001cc9: SWAP1
00001cca: SLOAD
00001ccb: SWAP1
00001ccc: PUSH2 0x0100
00001ccf: EXP
00001cd0: SWAP1
00001cd1: DIV
00001cd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce7: AND
00001ce8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfd: AND
00001cfe: DUP3
00001cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d14: AND
00001d15: EQ
00001d16: PUSH2 0x1d71
00001d19: JUMPI
00001d1a: PUSH1 0x17
00001d1c: SLOAD
00001d1d: DUP2
00001d1e: PUSH2 0x1d26
00001d21: DUP5
00001d22: PUSH2 0x0c4f
00001d25: JUMP
00001d26: JUMPDEST
00001d27: PUSH2 0x1d30
00001d2a: SWAP2
00001d2b: SWAP1
00001d2c: PUSH2 0x3c0f
00001d2f: JUMP
00001d30: JUMPDEST
00001d31: LT
00001d32: PUSH2 0x1d70
00001d35: JUMPI
00001d36: PUSH1 0x40
00001d38: MLOAD
00001d39: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d5a: DUP2
00001d5b: MSTORE
00001d5c: PUSH1 0x04
00001d5e: ADD
00001d5f: PUSH2 0x1d67
00001d62: SWAP1
00001d63: PUSH2 0x3cd7
00001d66: JUMP
00001d67: JUMPDEST
00001d68: PUSH1 0x40
00001d6a: MLOAD
00001d6b: DUP1
00001d6c: SWAP2
00001d6d: SUB
00001d6e: SWAP1
00001d6f: REVERT
00001d70: JUMPDEST
00001d71: JUMPDEST
00001d72: PUSH1 0x00
00001d74: PUSH2 0x1d7c
00001d77: ADDRESS
00001d78: PUSH2 0x0c4f
00001d7b: JUMP
00001d7c: JUMPDEST
00001d7d: SWAP1
00001d7e: POP
00001d7f: PUSH1 0x00
00001d81: PUSH1 0x18
00001d83: SLOAD
00001d84: DUP3
00001d85: LT
00001d86: ISZERO
00001d87: SWAP1
00001d88: POP
00001d89: PUSH1 0x16
00001d8b: SLOAD
00001d8c: DUP3
00001d8d: LT
00001d8e: PUSH2 0x1d97
00001d91: JUMPI
00001d92: PUSH1 0x16
00001d94: SLOAD
00001d95: SWAP2
00001d96: POP
00001d97: JUMPDEST
00001d98: DUP1
00001d99: DUP1
00001d9a: ISZERO
00001d9b: PUSH2 0x1daf
00001d9e: JUMPI
00001d9f: POP
00001da0: PUSH1 0x15
00001da2: DUP1
00001da3: SLOAD
00001da4: SWAP1
00001da5: PUSH2 0x0100
00001da8: EXP
00001da9: SWAP1
00001daa: DIV
00001dab: PUSH1 0xff
00001dad: AND
00001dae: ISZERO
00001daf: JUMPDEST
00001db0: DUP1
00001db1: ISZERO
00001db2: PUSH2 0x1e09
00001db5: JUMPI
00001db6: POP
00001db7: PUSH1 0x15
00001db9: PUSH1 0x00
00001dbb: SWAP1
00001dbc: SLOAD
00001dbd: SWAP1
00001dbe: PUSH2 0x0100
00001dc1: EXP
00001dc2: SWAP1
00001dc3: DIV
00001dc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd9: AND
00001dda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001def: AND
00001df0: DUP6
00001df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e06: AND
00001e07: EQ
00001e08: ISZERO
00001e09: JUMPDEST
00001e0a: DUP1
00001e0b: ISZERO
00001e0c: PUSH2 0x1e21
00001e0f: JUMPI
00001e10: POP
00001e11: PUSH1 0x15
00001e13: PUSH1 0x16
00001e15: SWAP1
00001e16: SLOAD
00001e17: SWAP1
00001e18: PUSH2 0x0100
00001e1b: EXP
00001e1c: SWAP1
00001e1d: DIV
00001e1e: PUSH1 0xff
00001e20: AND
00001e21: JUMPDEST
00001e22: DUP1
00001e23: ISZERO
00001e24: PUSH2 0x1e77
00001e27: JUMPI
00001e28: POP
00001e29: PUSH1 0x05
00001e2b: PUSH1 0x00
00001e2d: DUP7
00001e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e43: AND
00001e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e59: AND
00001e5a: DUP2
00001e5b: MSTORE
00001e5c: PUSH1 0x20
00001e5e: ADD
00001e5f: SWAP1
00001e60: DUP2
00001e61: MSTORE
00001e62: PUSH1 0x20
00001e64: ADD
00001e65: PUSH1 0x00
00001e67: KECCAK256
00001e68: PUSH1 0x00
00001e6a: SWAP1
00001e6b: SLOAD
00001e6c: SWAP1
00001e6d: PUSH2 0x0100
00001e70: EXP
00001e71: SWAP1
00001e72: DIV
00001e73: PUSH1 0xff
00001e75: AND
00001e76: ISZERO
00001e77: JUMPDEST
00001e78: DUP1
00001e79: ISZERO
00001e7a: PUSH2 0x1ecd
00001e7d: JUMPI
00001e7e: POP
00001e7f: PUSH1 0x05
00001e81: PUSH1 0x00
00001e83: DUP6
00001e84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e99: AND
00001e9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eaf: AND
00001eb0: DUP2
00001eb1: MSTORE
00001eb2: PUSH1 0x20
00001eb4: ADD
00001eb5: SWAP1
00001eb6: DUP2
00001eb7: MSTORE
00001eb8: PUSH1 0x20
00001eba: ADD
00001ebb: PUSH1 0x00
00001ebd: KECCAK256
00001ebe: PUSH1 0x00
00001ec0: SWAP1
00001ec1: SLOAD
00001ec2: SWAP1
00001ec3: PUSH2 0x0100
00001ec6: EXP
00001ec7: SWAP1
00001ec8: DIV
00001ec9: PUSH1 0xff
00001ecb: AND
00001ecc: ISZERO
00001ecd: JUMPDEST
00001ece: ISZERO
00001ecf: PUSH2 0x1ef5
00001ed2: JUMPI
00001ed3: PUSH2 0x1edb
00001ed6: DUP3
00001ed7: PUSH2 0x2337
00001eda: JUMP
00001edb: JUMPDEST
00001edc: PUSH1 0x00
00001ede: SELFBALANCE
00001edf: SWAP1
00001ee0: POP
00001ee1: PUSH1 0x00
00001ee3: DUP2
00001ee4: GT
00001ee5: ISZERO
00001ee6: PUSH2 0x1ef3
00001ee9: JUMPI
00001eea: PUSH2 0x1ef2
00001eed: SELFBALANCE
00001eee: PUSH2 0x225d
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: JUMPDEST
00001ef4: POP
00001ef5: JUMPDEST
00001ef6: POP
00001ef7: POP
00001ef8: JUMPDEST
00001ef9: PUSH1 0x00
00001efb: PUSH1 0x01
00001efd: SWAP1
00001efe: POP
00001eff: PUSH1 0x05
00001f01: PUSH1 0x00
00001f03: DUP6
00001f04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f19: AND
00001f1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f2f: AND
00001f30: DUP2
00001f31: MSTORE
00001f32: PUSH1 0x20
00001f34: ADD
00001f35: SWAP1
00001f36: DUP2
00001f37: MSTORE
00001f38: PUSH1 0x20
00001f3a: ADD
00001f3b: PUSH1 0x00
00001f3d: KECCAK256
00001f3e: PUSH1 0x00
00001f40: SWAP1
00001f41: SLOAD
00001f42: SWAP1
00001f43: PUSH2 0x0100
00001f46: EXP
00001f47: SWAP1
00001f48: DIV
00001f49: PUSH1 0xff
00001f4b: AND
00001f4c: DUP1
00001f4d: PUSH2 0x1f9f
00001f50: JUMPI
00001f51: POP
00001f52: PUSH1 0x05
00001f54: PUSH1 0x00
00001f56: DUP5
00001f57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6c: AND
00001f6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f82: AND
00001f83: DUP2
00001f84: MSTORE
00001f85: PUSH1 0x20
00001f87: ADD
00001f88: SWAP1
00001f89: DUP2
00001f8a: MSTORE
00001f8b: PUSH1 0x20
00001f8d: ADD
00001f8e: PUSH1 0x00
00001f90: KECCAK256
00001f91: PUSH1 0x00
00001f93: SWAP1
00001f94: SLOAD
00001f95: SWAP1
00001f96: PUSH2 0x0100
00001f99: EXP
00001f9a: SWAP1
00001f9b: DIV
00001f9c: PUSH1 0xff
00001f9e: AND
00001f9f: JUMPDEST
00001fa0: DUP1
00001fa1: PUSH2 0x2052
00001fa4: JUMPI
00001fa5: POP
00001fa6: PUSH1 0x15
00001fa8: PUSH1 0x00
00001faa: SWAP1
00001fab: SLOAD
00001fac: SWAP1
00001fad: PUSH2 0x0100
00001fb0: EXP
00001fb1: SWAP1
00001fb2: DIV
00001fb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc8: AND
00001fc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fde: AND
00001fdf: DUP5
00001fe0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff5: AND
00001ff6: EQ
00001ff7: ISZERO
00001ff8: DUP1
00001ff9: ISZERO
00001ffa: PUSH2 0x2051
00001ffd: JUMPI
00001ffe: POP
00001fff: PUSH1 0x15
00002001: PUSH1 0x00
00002003: SWAP1
00002004: SLOAD
00002005: SWAP1
00002006: PUSH2 0x0100
00002009: EXP
0000200a: SWAP1
0000200b: DIV
0000200c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002021: AND
00002022: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002037: AND
00002038: DUP4
00002039: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204e: AND
0000204f: EQ
00002050: ISZERO
00002051: JUMPDEST
00002052: JUMPDEST
00002053: ISZERO
00002054: PUSH2 0x2060
00002057: JUMPI
00002058: PUSH1 0x00
0000205a: SWAP1
0000205b: POP
0000205c: PUSH2 0x21e7
0000205f: JUMP
00002060: JUMPDEST
00002061: PUSH1 0x15
00002063: PUSH1 0x00
00002065: SWAP1
00002066: SLOAD
00002067: SWAP1
00002068: PUSH2 0x0100
0000206b: EXP
0000206c: SWAP1
0000206d: DIV
0000206e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002083: AND
00002084: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002099: AND
0000209a: DUP5
0000209b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b0: AND
000020b1: EQ
000020b2: DUP1
000020b3: ISZERO
000020b4: PUSH2 0x210b
000020b7: JUMPI
000020b8: POP
000020b9: PUSH1 0x14
000020bb: PUSH1 0x00
000020bd: SWAP1
000020be: SLOAD
000020bf: SWAP1
000020c0: PUSH2 0x0100
000020c3: EXP
000020c4: SWAP1
000020c5: DIV
000020c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020db: AND
000020dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f1: AND
000020f2: DUP4
000020f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002108: AND
00002109: EQ
0000210a: ISZERO
0000210b: JUMPDEST
0000210c: ISZERO
0000210d: PUSH2 0x2123
00002110: JUMPI
00002111: PUSH1 0x08
00002113: SLOAD
00002114: PUSH1 0x0c
00002116: DUP2
00002117: SWAP1
00002118: SSTORE
00002119: POP
0000211a: PUSH1 0x09
0000211c: SLOAD
0000211d: PUSH1 0x0d
0000211f: DUP2
00002120: SWAP1
00002121: SSTORE
00002122: POP
00002123: JUMPDEST
00002124: PUSH1 0x15
00002126: PUSH1 0x00
00002128: SWAP1
00002129: SLOAD
0000212a: SWAP1
0000212b: PUSH2 0x0100
0000212e: EXP
0000212f: SWAP1
00002130: DIV
00002131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002146: AND
00002147: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000215c: AND
0000215d: DUP4
0000215e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002173: AND
00002174: EQ
00002175: DUP1
00002176: ISZERO
00002177: PUSH2 0x21ce
0000217a: JUMPI
0000217b: POP
0000217c: PUSH1 0x14
0000217e: PUSH1 0x00
00002180: SWAP1
00002181: SLOAD
00002182: SWAP1
00002183: PUSH2 0x0100
00002186: EXP
00002187: SWAP1
00002188: DIV
00002189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219e: AND
0000219f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b4: AND
000021b5: DUP5
000021b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021cb: AND
000021cc: EQ
000021cd: ISZERO
000021ce: JUMPDEST
000021cf: ISZERO
000021d0: PUSH2 0x21e6
000021d3: JUMPI
000021d4: PUSH1 0x0a
000021d6: SLOAD
000021d7: PUSH1 0x0c
000021d9: DUP2
000021da: SWAP1
000021db: SSTORE
000021dc: POP
000021dd: PUSH1 0x0b
000021df: SLOAD
000021e0: PUSH1 0x0d
000021e2: DUP2
000021e3: SWAP1
000021e4: SSTORE
000021e5: POP
000021e6: JUMPDEST
000021e7: JUMPDEST
000021e8: PUSH2 0x21f3
000021eb: DUP5
000021ec: DUP5
000021ed: DUP5
000021ee: DUP5
000021ef: PUSH2 0x25bd
000021f2: JUMP
000021f3: JUMPDEST
000021f4: POP
000021f5: POP
000021f6: POP
000021f7: POP
000021f8: JUMP
000021f9: JUMPDEST
000021fa: PUSH1 0x00
000021fc: DUP4
000021fd: DUP4
000021fe: GT
000021ff: ISZERO
00002200: DUP3
00002201: SWAP1
00002202: PUSH2 0x2241
00002205: JUMPI
00002206: PUSH1 0x40
00002208: MLOAD
00002209: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000222a: DUP2
0000222b: MSTORE
0000222c: PUSH1 0x04
0000222e: ADD
0000222f: PUSH2 0x2238
00002232: SWAP2
00002233: SWAP1
00002234: PUSH2 0x2f7d
00002237: JUMP
00002238: JUMPDEST
00002239: PUSH1 0x40
0000223b: MLOAD
0000223c: DUP1
0000223d: SWAP2
0000223e: SUB
0000223f: SWAP1
00002240: REVERT
00002241: JUMPDEST
00002242: POP
00002243: PUSH1 0x00
00002245: DUP4
00002246: DUP6
00002247: PUSH2 0x2250
0000224a: SWAP2
0000224b: SWAP1
0000224c: PUSH2 0x3cf7
0000224f: JUMP
00002250: JUMPDEST
00002251: SWAP1
00002252: POP
00002253: DUP1
00002254: SWAP2
00002255: POP
00002256: POP
00002257: SWAP4
00002258: SWAP3
00002259: POP
0000225a: POP
0000225b: POP
0000225c: JUMP
0000225d: JUMPDEST
0000225e: PUSH1 0x13
00002260: PUSH1 0x00
00002262: SWAP1
00002263: SLOAD
00002264: SWAP1
00002265: PUSH2 0x0100
00002268: EXP
00002269: SWAP1
0000226a: DIV
0000226b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002280: AND
00002281: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002296: AND
00002297: PUSH2 0x08fc
0000229a: DUP3
0000229b: SWAP1
0000229c: DUP2
0000229d: ISZERO
0000229e: MUL
0000229f: SWAP1
000022a0: PUSH1 0x40
000022a2: MLOAD
000022a3: PUSH1 0x00
000022a5: PUSH1 0x40
000022a7: MLOAD
000022a8: DUP1
000022a9: DUP4
000022aa: SUB
000022ab: DUP2
000022ac: DUP6
000022ad: DUP9
000022ae: DUP9
000022af: CALL
000022b0: SWAP4
000022b1: POP
000022b2: POP
000022b3: POP
000022b4: POP
000022b5: ISZERO
000022b6: DUP1
000022b7: ISZERO
000022b8: PUSH2 0x22c5
000022bb: JUMPI
000022bc: RETURNDATASIZE
000022bd: PUSH1 0x00
000022bf: DUP1
000022c0: RETURNDATACOPY
000022c1: RETURNDATASIZE
000022c2: PUSH1 0x00
000022c4: REVERT
000022c5: JUMPDEST
000022c6: POP
000022c7: POP
000022c8: JUMP
000022c9: JUMPDEST
000022ca: PUSH1 0x00
000022cc: PUSH1 0x06
000022ce: SLOAD
000022cf: DUP3
000022d0: GT
000022d1: ISZERO
000022d2: PUSH2 0x2310
000022d5: JUMPI
000022d6: PUSH1 0x40
000022d8: MLOAD
000022d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022fa: DUP2
000022fb: MSTORE
000022fc: PUSH1 0x04
000022fe: ADD
000022ff: PUSH2 0x2307
00002302: SWAP1
00002303: PUSH2 0x3d9d
00002306: JUMP
00002307: JUMPDEST
00002308: PUSH1 0x40
0000230a: MLOAD
0000230b: DUP1
0000230c: SWAP2
0000230d: SUB
0000230e: SWAP1
0000230f: REVERT
00002310: JUMPDEST
00002311: PUSH1 0x00
00002313: PUSH2 0x231a
00002316: PUSH2 0x25ea
00002319: JUMP
0000231a: JUMPDEST
0000231b: SWAP1
0000231c: POP
0000231d: PUSH2 0x232f
00002320: DUP2
00002321: DUP5
00002322: PUSH2 0x2615
00002325: SWAP1
00002326: SWAP2
00002327: SWAP1
00002328: PUSH4 0xffffffff
0000232d: AND
0000232e: JUMP
0000232f: JUMPDEST
00002330: SWAP2
00002331: POP
00002332: POP
00002333: SWAP2
00002334: SWAP1
00002335: POP
00002336: JUMP
00002337: JUMPDEST
00002338: PUSH1 0x01
0000233a: PUSH1 0x15
0000233c: DUP1
0000233d: PUSH2 0x0100
00002340: EXP
00002341: DUP2
00002342: SLOAD
00002343: DUP2
00002344: PUSH1 0xff
00002346: MUL
00002347: NOT
00002348: AND
00002349: SWAP1
0000234a: DUP4
0000234b: ISZERO
0000234c: ISZERO
0000234d: MUL
0000234e: OR
0000234f: SWAP1
00002350: SSTORE
00002351: POP
00002352: PUSH1 0x00
00002354: PUSH1 0x02
00002356: PUSH8 0xffffffffffffffff
0000235f: DUP2
00002360: GT
00002361: ISZERO
00002362: PUSH2 0x236e
00002365: JUMPI
00002366: PUSH2 0x236d
00002369: PUSH2 0x2d0b
0000236c: JUMP
0000236d: JUMPDEST
0000236e: JUMPDEST
0000236f: PUSH1 0x40
00002371: MLOAD
00002372: SWAP1
00002373: DUP1
00002374: DUP3
00002375: MSTORE
00002376: DUP1
00002377: PUSH1 0x20
00002379: MUL
0000237a: PUSH1 0x20
0000237c: ADD
0000237d: DUP3
0000237e: ADD
0000237f: PUSH1 0x40
00002381: MSTORE
00002382: DUP1
00002383: ISZERO
00002384: PUSH2 0x239c
00002387: JUMPI
00002388: DUP2
00002389: PUSH1 0x20
0000238b: ADD
0000238c: PUSH1 0x20
0000238e: DUP3
0000238f: MUL
00002390: DUP1
00002391: CALLDATASIZE
00002392: DUP4
00002393: CALLDATACOPY
00002394: DUP1
00002395: DUP3
00002396: ADD
00002397: SWAP2
00002398: POP
00002399: POP
0000239a: SWAP1
0000239b: POP
0000239c: JUMPDEST
0000239d: POP
0000239e: SWAP1
0000239f: POP
000023a0: ADDRESS
000023a1: DUP2
000023a2: PUSH1 0x00
000023a4: DUP2
000023a5: MLOAD
000023a6: DUP2
000023a7: LT
000023a8: PUSH2 0x23b4
000023ab: JUMPI
000023ac: PUSH2 0x23b3
000023af: PUSH2 0x3424
000023b2: JUMP
000023b3: JUMPDEST
000023b4: JUMPDEST
000023b5: PUSH1 0x20
000023b7: MUL
000023b8: PUSH1 0x20
000023ba: ADD
000023bb: ADD
000023bc: SWAP1
000023bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d2: AND
000023d3: SWAP1
000023d4: DUP2
000023d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ea: AND
000023eb: DUP2
000023ec: MSTORE
000023ed: POP
000023ee: POP
000023ef: PUSH1 0x14
000023f1: PUSH1 0x00
000023f3: SWAP1
000023f4: SLOAD
000023f5: SWAP1
000023f6: PUSH2 0x0100
000023f9: EXP
000023fa: SWAP1
000023fb: DIV
000023fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002411: AND
00002412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002427: AND
00002428: PUSH4 0xad5c4648
0000242d: PUSH1 0x40
0000242f: MLOAD
00002430: DUP2
00002431: PUSH4 0xffffffff
00002436: AND
00002437: PUSH1 0xe0
00002439: SHL
0000243a: DUP2
0000243b: MSTORE
0000243c: PUSH1 0x04
0000243e: ADD
0000243f: PUSH1 0x20
00002441: PUSH1 0x40
00002443: MLOAD
00002444: DUP1
00002445: DUP4
00002446: SUB
00002447: DUP2
00002448: DUP7
00002449: DUP1
0000244a: EXTCODESIZE
0000244b: ISZERO
0000244c: DUP1
0000244d: ISZERO
0000244e: PUSH2 0x2456
00002451: JUMPI
00002452: PUSH1 0x00
00002454: DUP1
00002455: REVERT
00002456: JUMPDEST
00002457: POP
00002458: GAS
00002459: STATICCALL
0000245a: ISZERO
0000245b: DUP1
0000245c: ISZERO
0000245d: PUSH2 0x246a
00002460: JUMPI
00002461: RETURNDATASIZE
00002462: PUSH1 0x00
00002464: DUP1
00002465: RETURNDATACOPY
00002466: RETURNDATASIZE
00002467: PUSH1 0x00
00002469: REVERT
0000246a: JUMPDEST
0000246b: POP
0000246c: POP
0000246d: POP
0000246e: POP
0000246f: PUSH1 0x40
00002471: MLOAD
00002472: RETURNDATASIZE
00002473: PUSH1 0x1f
00002475: NOT
00002476: PUSH1 0x1f
00002478: DUP3
00002479: ADD
0000247a: AND
0000247b: DUP3
0000247c: ADD
0000247d: DUP1
0000247e: PUSH1 0x40
00002480: MSTORE
00002481: POP
00002482: DUP2
00002483: ADD
00002484: SWAP1
00002485: PUSH2 0x248e
00002488: SWAP2
00002489: SWAP1
0000248a: PUSH2 0x3dd2
0000248d: JUMP
0000248e: JUMPDEST
0000248f: DUP2
00002490: PUSH1 0x01
00002492: DUP2
00002493: MLOAD
00002494: DUP2
00002495: LT
00002496: PUSH2 0x24a2
00002499: JUMPI
0000249a: PUSH2 0x24a1
0000249d: PUSH2 0x3424
000024a0: JUMP
000024a1: JUMPDEST
000024a2: JUMPDEST
000024a3: PUSH1 0x20
000024a5: MUL
000024a6: PUSH1 0x20
000024a8: ADD
000024a9: ADD
000024aa: SWAP1
000024ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c0: AND
000024c1: SWAP1
000024c2: DUP2
000024c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d8: AND
000024d9: DUP2
000024da: MSTORE
000024db: POP
000024dc: POP
000024dd: PUSH2 0x2509
000024e0: ADDRESS
000024e1: PUSH1 0x14
000024e3: PUSH1 0x00
000024e5: SWAP1
000024e6: SLOAD
000024e7: SWAP1
000024e8: PUSH2 0x0100
000024eb: EXP
000024ec: SWAP1
000024ed: DIV
000024ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002503: AND
00002504: DUP5
00002505: PUSH2 0x17a9
00002508: JUMP
00002509: JUMPDEST
0000250a: PUSH1 0x14
0000250c: PUSH1 0x00
0000250e: SWAP1
0000250f: SLOAD
00002510: SWAP1
00002511: PUSH2 0x0100
00002514: EXP
00002515: SWAP1
00002516: DIV
00002517: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000252c: AND
0000252d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002542: AND
00002543: PUSH4 0x791ac947
00002548: DUP4
00002549: PUSH1 0x00
0000254b: DUP5
0000254c: ADDRESS
0000254d: TIMESTAMP
0000254e: PUSH1 0x40
00002550: MLOAD
00002551: DUP7
00002552: PUSH4 0xffffffff
00002557: AND
00002558: PUSH1 0xe0
0000255a: SHL
0000255b: DUP2
0000255c: MSTORE
0000255d: PUSH1 0x04
0000255f: ADD
00002560: PUSH2 0x256d
00002563: SWAP6
00002564: SWAP5
00002565: SWAP4
00002566: SWAP3
00002567: SWAP2
00002568: SWAP1
00002569: PUSH2 0x3ef8
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH1 0x00
00002570: PUSH1 0x40
00002572: MLOAD
00002573: DUP1
00002574: DUP4
00002575: SUB
00002576: DUP2
00002577: PUSH1 0x00
00002579: DUP8
0000257a: DUP1
0000257b: EXTCODESIZE
0000257c: ISZERO
0000257d: DUP1
0000257e: ISZERO
0000257f: PUSH2 0x2587
00002582: JUMPI
00002583: PUSH1 0x00
00002585: DUP1
00002586: REVERT
00002587: JUMPDEST
00002588: POP
00002589: GAS
0000258a: CALL
0000258b: ISZERO
0000258c: DUP1
0000258d: ISZERO
0000258e: PUSH2 0x259b
00002591: JUMPI
00002592: RETURNDATASIZE
00002593: PUSH1 0x00
00002595: DUP1
00002596: RETURNDATACOPY
00002597: RETURNDATASIZE
00002598: PUSH1 0x00
0000259a: REVERT
0000259b: JUMPDEST
0000259c: POP
0000259d: POP
0000259e: POP
0000259f: POP
000025a0: POP
000025a1: PUSH1 0x00
000025a3: PUSH1 0x15
000025a5: DUP1
000025a6: PUSH2 0x0100
000025a9: EXP
000025aa: DUP2
000025ab: SLOAD
000025ac: DUP2
000025ad: PUSH1 0xff
000025af: MUL
000025b0: NOT
000025b1: AND
000025b2: SWAP1
000025b3: DUP4
000025b4: ISZERO
000025b5: ISZERO
000025b6: MUL
000025b7: OR
000025b8: SWAP1
000025b9: SSTORE
000025ba: POP
000025bb: POP
000025bc: JUMP
000025bd: JUMPDEST
000025be: DUP1
000025bf: PUSH2 0x25cb
000025c2: JUMPI
000025c3: PUSH2 0x25ca
000025c6: PUSH2 0x265f
000025c9: JUMP
000025ca: JUMPDEST
000025cb: JUMPDEST
000025cc: PUSH2 0x25d6
000025cf: DUP5
000025d0: DUP5
000025d1: DUP5
000025d2: PUSH2 0x26a2
000025d5: JUMP
000025d6: JUMPDEST
000025d7: DUP1
000025d8: PUSH2 0x25e4
000025db: JUMPI
000025dc: PUSH2 0x25e3
000025df: PUSH2 0x286d
000025e2: JUMP
000025e3: JUMPDEST
000025e4: JUMPDEST
000025e5: POP
000025e6: POP
000025e7: POP
000025e8: POP
000025e9: JUMP
000025ea: JUMPDEST
000025eb: PUSH1 0x00
000025ed: DUP1
000025ee: PUSH1 0x00
000025f0: PUSH2 0x25f7
000025f3: PUSH2 0x2881
000025f6: JUMP
000025f7: JUMPDEST
000025f8: SWAP2
000025f9: POP
000025fa: SWAP2
000025fb: POP
000025fc: PUSH2 0x260e
000025ff: DUP2
00002600: DUP4
00002601: PUSH2 0x2615
00002604: SWAP1
00002605: SWAP2
00002606: SWAP1
00002607: PUSH4 0xffffffff
0000260c: AND
0000260d: JUMP
0000260e: JUMPDEST
0000260f: SWAP3
00002610: POP
00002611: POP
00002612: POP
00002613: SWAP1
00002614: JUMP
00002615: JUMPDEST
00002616: PUSH1 0x00
00002618: PUSH2 0x2657
0000261b: DUP4
0000261c: DUP4
0000261d: PUSH1 0x40
0000261f: MLOAD
00002620: DUP1
00002621: PUSH1 0x40
00002623: ADD
00002624: PUSH1 0x40
00002626: MSTORE
00002627: DUP1
00002628: PUSH1 0x1a
0000262a: DUP2
0000262b: MSTORE
0000262c: PUSH1 0x20
0000262e: ADD
0000262f: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002650: DUP2
00002651: MSTORE
00002652: POP
00002653: PUSH2 0x28dd
00002656: JUMP
00002657: JUMPDEST
00002658: SWAP1
00002659: POP
0000265a: SWAP3
0000265b: SWAP2
0000265c: POP
0000265d: POP
0000265e: JUMP
0000265f: JUMPDEST
00002660: PUSH1 0x00
00002662: PUSH1 0x0c
00002664: SLOAD
00002665: EQ
00002666: DUP1
00002667: ISZERO
00002668: PUSH2 0x2673
0000266b: JUMPI
0000266c: POP
0000266d: PUSH1 0x00
0000266f: PUSH1 0x0d
00002671: SLOAD
00002672: EQ
00002673: JUMPDEST
00002674: ISZERO
00002675: PUSH2 0x267d
00002678: JUMPI
00002679: PUSH2 0x26a0
0000267c: JUMP
0000267d: JUMPDEST
0000267e: PUSH1 0x0c
00002680: SLOAD
00002681: PUSH1 0x0e
00002683: DUP2
00002684: SWAP1
00002685: SSTORE
00002686: POP
00002687: PUSH1 0x0d
00002689: SLOAD
0000268a: PUSH1 0x0f
0000268c: DUP2
0000268d: SWAP1
0000268e: SSTORE
0000268f: POP
00002690: PUSH1 0x00
00002692: PUSH1 0x0c
00002694: DUP2
00002695: SWAP1
00002696: SSTORE
00002697: POP
00002698: PUSH1 0x00
0000269a: PUSH1 0x0d
0000269c: DUP2
0000269d: SWAP1
0000269e: SSTORE
0000269f: POP
000026a0: JUMPDEST
000026a1: JUMP
000026a2: JUMPDEST
000026a3: PUSH1 0x00
000026a5: DUP1
000026a6: PUSH1 0x00
000026a8: DUP1
000026a9: PUSH1 0x00
000026ab: DUP1
000026ac: PUSH2 0x26b4
000026af: DUP8
000026b0: PUSH2 0x2940
000026b3: JUMP
000026b4: JUMPDEST
000026b5: SWAP6
000026b6: POP
000026b7: SWAP6
000026b8: POP
000026b9: SWAP6
000026ba: POP
000026bb: SWAP6
000026bc: POP
000026bd: SWAP6
000026be: POP
000026bf: SWAP6
000026c0: POP
000026c1: PUSH2 0x2712
000026c4: DUP7
000026c5: PUSH1 0x02
000026c7: PUSH1 0x00
000026c9: DUP13
000026ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026df: AND
000026e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f5: AND
000026f6: DUP2
000026f7: MSTORE
000026f8: PUSH1 0x20
000026fa: ADD
000026fb: SWAP1
000026fc: DUP2
000026fd: MSTORE
000026fe: PUSH1 0x20
00002700: ADD
00002701: PUSH1 0x00
00002703: KECCAK256
00002704: SLOAD
00002705: PUSH2 0x29a8
00002708: SWAP1
00002709: SWAP2
0000270a: SWAP1
0000270b: PUSH4 0xffffffff
00002710: AND
00002711: JUMP
00002712: JUMPDEST
00002713: PUSH1 0x02
00002715: PUSH1 0x00
00002717: DUP12
00002718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000272d: AND
0000272e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002743: AND
00002744: DUP2
00002745: MSTORE
00002746: PUSH1 0x20
00002748: ADD
00002749: SWAP1
0000274a: DUP2
0000274b: MSTORE
0000274c: PUSH1 0x20
0000274e: ADD
0000274f: PUSH1 0x00
00002751: KECCAK256
00002752: DUP2
00002753: SWAP1
00002754: SSTORE
00002755: POP
00002756: PUSH2 0x27a7
00002759: DUP6
0000275a: PUSH1 0x02
0000275c: PUSH1 0x00
0000275e: DUP12
0000275f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002774: AND
00002775: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000278a: AND
0000278b: DUP2
0000278c: MSTORE
0000278d: PUSH1 0x20
0000278f: ADD
00002790: SWAP1
00002791: DUP2
00002792: MSTORE
00002793: PUSH1 0x20
00002795: ADD
00002796: PUSH1 0x00
00002798: KECCAK256
00002799: SLOAD
0000279a: PUSH2 0x29f2
0000279d: SWAP1
0000279e: SWAP2
0000279f: SWAP1
000027a0: PUSH4 0xffffffff
000027a5: AND
000027a6: JUMP
000027a7: JUMPDEST
000027a8: PUSH1 0x02
000027aa: PUSH1 0x00
000027ac: DUP11
000027ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027c2: AND
000027c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d8: AND
000027d9: DUP2
000027da: MSTORE
000027db: PUSH1 0x20
000027dd: ADD
000027de: SWAP1
000027df: DUP2
000027e0: MSTORE
000027e1: PUSH1 0x20
000027e3: ADD
000027e4: PUSH1 0x00
000027e6: KECCAK256
000027e7: DUP2
000027e8: SWAP1
000027e9: SSTORE
000027ea: POP
000027eb: PUSH2 0x27f3
000027ee: DUP2
000027ef: PUSH2 0x2a50
000027f2: JUMP
000027f3: JUMPDEST
000027f4: PUSH2 0x27fd
000027f7: DUP5
000027f8: DUP4
000027f9: PUSH2 0x2b0d
000027fc: JUMP
000027fd: JUMPDEST
000027fe: DUP8
000027ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002814: AND
00002815: DUP10
00002816: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000282b: AND
0000282c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000284d: DUP6
0000284e: PUSH1 0x40
00002850: MLOAD
00002851: PUSH2 0x285a
00002854: SWAP2
00002855: SWAP1
00002856: PUSH2 0x30d4
00002859: JUMP
0000285a: JUMPDEST
0000285b: PUSH1 0x40
0000285d: MLOAD
0000285e: DUP1
0000285f: SWAP2
00002860: SUB
00002861: SWAP1
00002862: LOG3
00002863: POP
00002864: POP
00002865: POP
00002866: POP
00002867: POP
00002868: POP
00002869: POP
0000286a: POP
0000286b: POP
0000286c: JUMP
0000286d: JUMPDEST
0000286e: PUSH1 0x0e
00002870: SLOAD
00002871: PUSH1 0x0c
00002873: DUP2
00002874: SWAP1
00002875: SSTORE
00002876: POP
00002877: PUSH1 0x0f
00002879: SLOAD
0000287a: PUSH1 0x0d
0000287c: DUP2
0000287d: SWAP1
0000287e: SSTORE
0000287f: POP
00002880: JUMP
00002881: JUMPDEST
00002882: PUSH1 0x00
00002884: DUP1
00002885: PUSH1 0x00
00002887: PUSH1 0x06
00002889: SLOAD
0000288a: SWAP1
0000288b: POP
0000288c: PUSH1 0x00
0000288e: PUSH7 0x2386f26fc10000
00002896: SWAP1
00002897: POP
00002898: PUSH2 0x28b3
0000289b: PUSH7 0x2386f26fc10000
000028a3: PUSH1 0x06
000028a5: SLOAD
000028a6: PUSH2 0x2615
000028a9: SWAP1
000028aa: SWAP2
000028ab: SWAP1
000028ac: PUSH4 0xffffffff
000028b1: AND
000028b2: JUMP
000028b3: JUMPDEST
000028b4: DUP3
000028b5: LT
000028b6: ISZERO
000028b7: PUSH2 0x28d0
000028ba: JUMPI
000028bb: PUSH1 0x06
000028bd: SLOAD
000028be: PUSH7 0x2386f26fc10000
000028c6: SWAP4
000028c7: POP
000028c8: SWAP4
000028c9: POP
000028ca: POP
000028cb: POP
000028cc: PUSH2 0x28d9
000028cf: JUMP
000028d0: JUMPDEST
000028d1: DUP2
000028d2: DUP2
000028d3: SWAP4
000028d4: POP
000028d5: SWAP4
000028d6: POP
000028d7: POP
000028d8: POP
000028d9: JUMPDEST
000028da: SWAP1
000028db: SWAP2
000028dc: JUMP
000028dd: JUMPDEST
000028de: PUSH1 0x00
000028e0: DUP1
000028e1: DUP4
000028e2: GT
000028e3: DUP3
000028e4: SWAP1
000028e5: PUSH2 0x2924
000028e8: JUMPI
000028e9: PUSH1 0x40
000028eb: MLOAD
000028ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000290d: DUP2
0000290e: MSTORE
0000290f: PUSH1 0x04
00002911: ADD
00002912: PUSH2 0x291b
00002915: SWAP2
00002916: SWAP1
00002917: PUSH2 0x2f7d
0000291a: JUMP
0000291b: JUMPDEST
0000291c: PUSH1 0x40
0000291e: MLOAD
0000291f: DUP1
00002920: SWAP2
00002921: SUB
00002922: SWAP1
00002923: REVERT
00002924: JUMPDEST
00002925: POP
00002926: PUSH1 0x00
00002928: DUP4
00002929: DUP6
0000292a: PUSH2 0x2933
0000292d: SWAP2
0000292e: SWAP1
0000292f: PUSH2 0x3f81
00002932: JUMP
00002933: JUMPDEST
00002934: SWAP1
00002935: POP
00002936: DUP1
00002937: SWAP2
00002938: POP
00002939: POP
0000293a: SWAP4
0000293b: SWAP3
0000293c: POP
0000293d: POP
0000293e: POP
0000293f: JUMP
00002940: JUMPDEST
00002941: PUSH1 0x00
00002943: DUP1
00002944: PUSH1 0x00
00002946: DUP1
00002947: PUSH1 0x00
00002949: DUP1
0000294a: PUSH1 0x00
0000294c: DUP1
0000294d: PUSH1 0x00
0000294f: PUSH2 0x295d
00002952: DUP11
00002953: PUSH1 0x0c
00002955: SLOAD
00002956: PUSH1 0x0d
00002958: SLOAD
00002959: PUSH2 0x2b47
0000295c: JUMP
0000295d: JUMPDEST
0000295e: SWAP3
0000295f: POP
00002960: SWAP3
00002961: POP
00002962: SWAP3
00002963: POP
00002964: PUSH1 0x00
00002966: PUSH2 0x296d
00002969: PUSH2 0x25ea
0000296c: JUMP
0000296d: JUMPDEST
0000296e: SWAP1
0000296f: POP
00002970: PUSH1 0x00
00002972: DUP1
00002973: PUSH1 0x00
00002975: PUSH2 0x2980
00002978: DUP15
00002979: DUP8
0000297a: DUP8
0000297b: DUP8
0000297c: PUSH2 0x2bdd
0000297f: JUMP
00002980: JUMPDEST
00002981: SWAP3
00002982: POP
00002983: SWAP3
00002984: POP
00002985: SWAP3
00002986: POP
00002987: DUP3
00002988: DUP3
00002989: DUP3
0000298a: DUP10
0000298b: DUP10
0000298c: DUP10
0000298d: SWAP13
0000298e: POP
0000298f: SWAP13
00002990: POP
00002991: SWAP13
00002992: POP
00002993: SWAP13
00002994: POP
00002995: SWAP13
00002996: POP
00002997: SWAP13
00002998: POP
00002999: POP
0000299a: POP
0000299b: POP
0000299c: POP
0000299d: POP
0000299e: POP
0000299f: POP
000029a0: SWAP2
000029a1: SWAP4
000029a2: SWAP6
000029a3: POP
000029a4: SWAP2
000029a5: SWAP4
000029a6: SWAP6
000029a7: JUMP
000029a8: JUMPDEST
000029a9: PUSH1 0x00
000029ab: PUSH2 0x29ea
000029ae: DUP4
000029af: DUP4
000029b0: PUSH1 0x40
000029b2: MLOAD
000029b3: DUP1
000029b4: PUSH1 0x40
000029b6: ADD
000029b7: PUSH1 0x40
000029b9: MSTORE
000029ba: DUP1
000029bb: PUSH1 0x1e
000029bd: DUP2
000029be: MSTORE
000029bf: PUSH1 0x20
000029c1: ADD
000029c2: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000029e3: DUP2
000029e4: MSTORE
000029e5: POP
000029e6: PUSH2 0x21f9
000029e9: JUMP
000029ea: JUMPDEST
000029eb: SWAP1
000029ec: POP
000029ed: SWAP3
000029ee: SWAP2
000029ef: POP
000029f0: POP
000029f1: JUMP
000029f2: JUMPDEST
000029f3: PUSH1 0x00
000029f5: DUP1
000029f6: DUP3
000029f7: DUP5
000029f8: PUSH2 0x2a01
000029fb: SWAP2
000029fc: SWAP1
000029fd: PUSH2 0x3c0f
00002a00: JUMP
00002a01: JUMPDEST
00002a02: SWAP1
00002a03: POP
00002a04: DUP4
00002a05: DUP2
00002a06: LT
00002a07: ISZERO
00002a08: PUSH2 0x2a46
00002a0b: JUMPI
00002a0c: PUSH1 0x40
00002a0e: MLOAD
00002a0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a30: DUP2
00002a31: MSTORE
00002a32: PUSH1 0x04
00002a34: ADD
00002a35: PUSH2 0x2a3d
00002a38: SWAP1
00002a39: PUSH2 0x3ffe
00002a3c: JUMP
00002a3d: JUMPDEST
00002a3e: PUSH1 0x40
00002a40: MLOAD
00002a41: DUP1
00002a42: SWAP2
00002a43: SUB
00002a44: SWAP1
00002a45: REVERT
00002a46: JUMPDEST
00002a47: DUP1
00002a48: SWAP2
00002a49: POP
00002a4a: POP
00002a4b: SWAP3
00002a4c: SWAP2
00002a4d: POP
00002a4e: POP
00002a4f: JUMP
00002a50: JUMPDEST
00002a51: PUSH1 0x00
00002a53: PUSH2 0x2a5a
00002a56: PUSH2 0x25ea
00002a59: JUMP
00002a5a: JUMPDEST
00002a5b: SWAP1
00002a5c: POP
00002a5d: PUSH1 0x00
00002a5f: PUSH2 0x2a71
00002a62: DUP3
00002a63: DUP5
00002a64: PUSH2 0x2c66
00002a67: SWAP1
00002a68: SWAP2
00002a69: SWAP1
00002a6a: PUSH4 0xffffffff
00002a6f: AND
00002a70: JUMP
00002a71: JUMPDEST
00002a72: SWAP1
00002a73: POP
00002a74: PUSH2 0x2ac5
00002a77: DUP2
00002a78: PUSH1 0x02
00002a7a: PUSH1 0x00
00002a7c: ADDRESS
00002a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a92: AND
00002a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aa8: AND
00002aa9: DUP2
00002aaa: MSTORE
00002aab: PUSH1 0x20
00002aad: ADD
00002aae: SWAP1
00002aaf: DUP2
00002ab0: MSTORE
00002ab1: PUSH1 0x20
00002ab3: ADD
00002ab4: PUSH1 0x00
00002ab6: KECCAK256
00002ab7: SLOAD
00002ab8: PUSH2 0x29f2
00002abb: SWAP1
00002abc: SWAP2
00002abd: SWAP1
00002abe: PUSH4 0xffffffff
00002ac3: AND
00002ac4: JUMP
00002ac5: JUMPDEST
00002ac6: PUSH1 0x02
00002ac8: PUSH1 0x00
00002aca: ADDRESS
00002acb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ae0: AND
00002ae1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002af6: AND
00002af7: DUP2
00002af8: MSTORE
00002af9: PUSH1 0x20
00002afb: ADD
00002afc: SWAP1
00002afd: DUP2
00002afe: MSTORE
00002aff: PUSH1 0x20
00002b01: ADD
00002b02: PUSH1 0x00
00002b04: KECCAK256
00002b05: DUP2
00002b06: SWAP1
00002b07: SSTORE
00002b08: POP
00002b09: POP
00002b0a: POP
00002b0b: POP
00002b0c: JUMP
00002b0d: JUMPDEST
00002b0e: PUSH2 0x2b22
00002b11: DUP3
00002b12: PUSH1 0x06
00002b14: SLOAD
00002b15: PUSH2 0x29a8
00002b18: SWAP1
00002b19: SWAP2
00002b1a: SWAP1
00002b1b: PUSH4 0xffffffff
00002b20: AND
00002b21: JUMP
00002b22: JUMPDEST
00002b23: PUSH1 0x06
00002b25: DUP2
00002b26: SWAP1
00002b27: SSTORE
00002b28: POP
00002b29: PUSH2 0x2b3d
00002b2c: DUP2
00002b2d: PUSH1 0x07
00002b2f: SLOAD
00002b30: PUSH2 0x29f2
00002b33: SWAP1
00002b34: SWAP2
00002b35: SWAP1
00002b36: PUSH4 0xffffffff
00002b3b: AND
00002b3c: JUMP
00002b3d: JUMPDEST
00002b3e: PUSH1 0x07
00002b40: DUP2
00002b41: SWAP1
00002b42: SSTORE
00002b43: POP
00002b44: POP
00002b45: POP
00002b46: JUMP
00002b47: JUMPDEST
00002b48: PUSH1 0x00
00002b4a: DUP1
00002b4b: PUSH1 0x00
00002b4d: DUP1
00002b4e: PUSH2 0x2b73
00002b51: PUSH1 0x64
00002b53: PUSH2 0x2b65
00002b56: DUP9
00002b57: DUP11
00002b58: PUSH2 0x2c66
00002b5b: SWAP1
00002b5c: SWAP2
00002b5d: SWAP1
00002b5e: PUSH4 0xffffffff
00002b63: AND
00002b64: JUMP
00002b65: JUMPDEST
00002b66: PUSH2 0x2615
00002b69: SWAP1
00002b6a: SWAP2
00002b6b: SWAP1
00002b6c: PUSH4 0xffffffff
00002b71: AND
00002b72: JUMP
00002b73: JUMPDEST
00002b74: SWAP1
00002b75: POP
00002b76: PUSH1 0x00
00002b78: PUSH2 0x2b9d
00002b7b: PUSH1 0x64
00002b7d: PUSH2 0x2b8f
00002b80: DUP9
00002b81: DUP12
00002b82: PUSH2 0x2c66
00002b85: SWAP1
00002b86: SWAP2
00002b87: SWAP1
00002b88: PUSH4 0xffffffff
00002b8d: AND
00002b8e: JUMP
00002b8f: JUMPDEST
00002b90: PUSH2 0x2615
00002b93: SWAP1
00002b94: SWAP2
00002b95: SWAP1
00002b96: PUSH4 0xffffffff
00002b9b: AND
00002b9c: JUMP
00002b9d: JUMPDEST
00002b9e: SWAP1
00002b9f: POP
00002ba0: PUSH1 0x00
00002ba2: PUSH2 0x2bc6
00002ba5: DUP3
00002ba6: PUSH2 0x2bb8
00002ba9: DUP6
00002baa: DUP13
00002bab: PUSH2 0x29a8
00002bae: SWAP1
00002baf: SWAP2
00002bb0: SWAP1
00002bb1: PUSH4 0xffffffff
00002bb6: AND
00002bb7: JUMP
00002bb8: JUMPDEST
00002bb9: PUSH2 0x29a8
00002bbc: SWAP1
00002bbd: SWAP2
00002bbe: SWAP1
00002bbf: PUSH4 0xffffffff
00002bc4: AND
00002bc5: JUMP
00002bc6: JUMPDEST
00002bc7: SWAP1
00002bc8: POP
00002bc9: DUP1
00002bca: DUP4
00002bcb: DUP4
00002bcc: SWAP6
00002bcd: POP
00002bce: SWAP6
00002bcf: POP
00002bd0: SWAP6
00002bd1: POP
00002bd2: POP
00002bd3: POP
00002bd4: POP
00002bd5: SWAP4
00002bd6: POP
00002bd7: SWAP4
00002bd8: POP
00002bd9: SWAP4
00002bda: SWAP1
00002bdb: POP
00002bdc: JUMP
00002bdd: JUMPDEST
00002bde: PUSH1 0x00
00002be0: DUP1
00002be1: PUSH1 0x00
00002be3: DUP1
00002be4: PUSH2 0x2bf6
00002be7: DUP6
00002be8: DUP10
00002be9: PUSH2 0x2c66
00002bec: SWAP1
00002bed: SWAP2
00002bee: SWAP1
00002bef: PUSH4 0xffffffff
00002bf4: AND
00002bf5: JUMP
00002bf6: JUMPDEST
00002bf7: SWAP1
00002bf8: POP
00002bf9: PUSH1 0x00
00002bfb: PUSH2 0x2c0d
00002bfe: DUP7
00002bff: DUP10
00002c00: PUSH2 0x2c66
00002c03: SWAP1
00002c04: SWAP2
00002c05: SWAP1
00002c06: PUSH4 0xffffffff
00002c0b: AND
00002c0c: JUMP
00002c0d: JUMPDEST
00002c0e: SWAP1
00002c0f: POP
00002c10: PUSH1 0x00
00002c12: PUSH2 0x2c24
00002c15: DUP8
00002c16: DUP10
00002c17: PUSH2 0x2c66
00002c1a: SWAP1
00002c1b: SWAP2
00002c1c: SWAP1
00002c1d: PUSH4 0xffffffff
00002c22: AND
00002c23: JUMP
00002c24: JUMPDEST
00002c25: SWAP1
00002c26: POP
00002c27: PUSH1 0x00
00002c29: PUSH2 0x2c4d
00002c2c: DUP3
00002c2d: PUSH2 0x2c3f
00002c30: DUP6
00002c31: DUP8
00002c32: PUSH2 0x29a8
00002c35: SWAP1
00002c36: SWAP2
00002c37: SWAP1
00002c38: PUSH4 0xffffffff
00002c3d: AND
00002c3e: JUMP
00002c3f: JUMPDEST
00002c40: PUSH2 0x29a8
00002c43: SWAP1
00002c44: SWAP2
00002c45: SWAP1
00002c46: PUSH4 0xffffffff
00002c4b: AND
00002c4c: JUMP
00002c4d: JUMPDEST
00002c4e: SWAP1
00002c4f: POP
00002c50: DUP4
00002c51: DUP2
00002c52: DUP5
00002c53: SWAP7
00002c54: POP
00002c55: SWAP7
00002c56: POP
00002c57: SWAP7
00002c58: POP
00002c59: POP
00002c5a: POP
00002c5b: POP
00002c5c: POP
00002c5d: SWAP5
00002c5e: POP
00002c5f: SWAP5
00002c60: POP
00002c61: SWAP5
00002c62: SWAP2
00002c63: POP
00002c64: POP
00002c65: JUMP
00002c66: JUMPDEST
00002c67: PUSH1 0x00
00002c69: DUP1
00002c6a: DUP4
00002c6b: EQ
00002c6c: ISZERO
00002c6d: PUSH2 0x2c79
00002c70: JUMPI
00002c71: PUSH1 0x00
00002c73: SWAP1
00002c74: POP
00002c75: PUSH2 0x2cdb
00002c78: JUMP
00002c79: JUMPDEST
00002c7a: PUSH1 0x00
00002c7c: DUP3
00002c7d: DUP5
00002c7e: PUSH2 0x2c87
00002c81: SWAP2
00002c82: SWAP1
00002c83: PUSH2 0x401e
00002c86: JUMP
00002c87: JUMPDEST
00002c88: SWAP1
00002c89: POP
00002c8a: DUP3
00002c8b: DUP5
00002c8c: DUP3
00002c8d: PUSH2 0x2c96
00002c90: SWAP2
00002c91: SWAP1
00002c92: PUSH2 0x3f81
00002c95: JUMP
00002c96: JUMPDEST
00002c97: EQ
00002c98: PUSH2 0x2cd6
00002c9b: JUMPI
00002c9c: PUSH1 0x40
00002c9e: MLOAD
00002c9f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002cc0: DUP2
00002cc1: MSTORE
00002cc2: PUSH1 0x04
00002cc4: ADD
00002cc5: PUSH2 0x2ccd
00002cc8: SWAP1
00002cc9: PUSH2 0x40ea
00002ccc: JUMP
00002ccd: JUMPDEST
00002cce: PUSH1 0x40
00002cd0: MLOAD
00002cd1: DUP1
00002cd2: SWAP2
00002cd3: SUB
00002cd4: SWAP1
00002cd5: REVERT
00002cd6: JUMPDEST
00002cd7: DUP1
00002cd8: SWAP2
00002cd9: POP
00002cda: POP
00002cdb: JUMPDEST
00002cdc: SWAP3
00002cdd: SWAP2
00002cde: POP
00002cdf: POP
00002ce0: JUMP
00002ce1: JUMPDEST
00002ce2: PUSH1 0x00
00002ce4: PUSH1 0x40
00002ce6: MLOAD
00002ce7: SWAP1
00002ce8: POP
00002ce9: SWAP1
00002cea: JUMP
00002ceb: JUMPDEST
00002cec: PUSH1 0x00
00002cee: DUP1
00002cef: REVERT
00002cf0: JUMPDEST
00002cf1: PUSH1 0x00
00002cf3: DUP1
00002cf4: REVERT
00002cf5: JUMPDEST
00002cf6: PUSH1 0x00
00002cf8: DUP1
00002cf9: REVERT
00002cfa: JUMPDEST
00002cfb: PUSH1 0x00
00002cfd: PUSH1 0x1f
00002cff: NOT
00002d00: PUSH1 0x1f
00002d02: DUP4
00002d03: ADD
00002d04: AND
00002d05: SWAP1
00002d06: POP
00002d07: SWAP2
00002d08: SWAP1
00002d09: POP
00002d0a: JUMP
00002d0b: JUMPDEST
00002d0c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d2d: PUSH1 0x00
00002d2f: MSTORE
00002d30: PUSH1 0x41
00002d32: PUSH1 0x04
00002d34: MSTORE
00002d35: PUSH1 0x24
00002d37: PUSH1 0x00
00002d39: REVERT
00002d3a: JUMPDEST
00002d3b: PUSH2 0x2d43
00002d3e: DUP3
00002d3f: PUSH2 0x2cfa
00002d42: JUMP
00002d43: JUMPDEST
00002d44: DUP2
00002d45: ADD
00002d46: DUP2
00002d47: DUP2
00002d48: LT
00002d49: PUSH8 0xffffffffffffffff
00002d52: DUP3
00002d53: GT
00002d54: OR
00002d55: ISZERO
00002d56: PUSH2 0x2d62
00002d59: JUMPI
00002d5a: PUSH2 0x2d61
00002d5d: PUSH2 0x2d0b
00002d60: JUMP
00002d61: JUMPDEST
00002d62: JUMPDEST
00002d63: DUP1
00002d64: PUSH1 0x40
00002d66: MSTORE
00002d67: POP
00002d68: POP
00002d69: POP
00002d6a: JUMP
00002d6b: JUMPDEST
00002d6c: PUSH1 0x00
00002d6e: PUSH2 0x2d75
00002d71: PUSH2 0x2ce1
00002d74: JUMP
00002d75: JUMPDEST
00002d76: SWAP1
00002d77: POP
00002d78: PUSH2 0x2d81
00002d7b: DUP3
00002d7c: DUP3
00002d7d: PUSH2 0x2d3a
00002d80: JUMP
00002d81: JUMPDEST
00002d82: SWAP2
00002d83: SWAP1
00002d84: POP
00002d85: JUMP
00002d86: JUMPDEST
00002d87: PUSH1 0x00
00002d89: PUSH8 0xffffffffffffffff
00002d92: DUP3
00002d93: GT
00002d94: ISZERO
00002d95: PUSH2 0x2da1
00002d98: JUMPI
00002d99: PUSH2 0x2da0
00002d9c: PUSH2 0x2d0b
00002d9f: JUMP
00002da0: JUMPDEST
00002da1: JUMPDEST
00002da2: PUSH1 0x20
00002da4: DUP3
00002da5: MUL
00002da6: SWAP1
00002da7: POP
00002da8: PUSH1 0x20
00002daa: DUP2
00002dab: ADD
00002dac: SWAP1
00002dad: POP
00002dae: SWAP2
00002daf: SWAP1
00002db0: POP
00002db1: JUMP
00002db2: JUMPDEST
00002db3: PUSH1 0x00
00002db5: DUP1
00002db6: REVERT
00002db7: JUMPDEST
00002db8: PUSH1 0x00
00002dba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dcf: DUP3
00002dd0: AND
00002dd1: SWAP1
00002dd2: POP
00002dd3: SWAP2
00002dd4: SWAP1
00002dd5: POP
00002dd6: JUMP
00002dd7: JUMPDEST
00002dd8: PUSH1 0x00
00002dda: PUSH2 0x2de2
00002ddd: DUP3
00002dde: PUSH2 0x2db7
00002de1: JUMP
00002de2: JUMPDEST
00002de3: SWAP1
00002de4: POP
00002de5: SWAP2
00002de6: SWAP1
00002de7: POP
00002de8: JUMP
00002de9: JUMPDEST
00002dea: PUSH2 0x2df2
00002ded: DUP2
00002dee: PUSH2 0x2dd7
00002df1: JUMP
00002df2: JUMPDEST
00002df3: DUP2
00002df4: EQ
00002df5: PUSH2 0x2dfd
00002df8: JUMPI
00002df9: PUSH1 0x00
00002dfb: DUP1
00002dfc: REVERT
00002dfd: JUMPDEST
00002dfe: POP
00002dff: JUMP
00002e00: JUMPDEST
00002e01: PUSH1 0x00
00002e03: DUP2
00002e04: CALLDATALOAD
00002e05: SWAP1
00002e06: POP
00002e07: PUSH2 0x2e0f
00002e0a: DUP2
00002e0b: PUSH2 0x2de9
00002e0e: JUMP
00002e0f: JUMPDEST
00002e10: SWAP3
00002e11: SWAP2
00002e12: POP
00002e13: POP
00002e14: JUMP
00002e15: JUMPDEST
00002e16: PUSH1 0x00
00002e18: PUSH2 0x2e28
00002e1b: PUSH2 0x2e23
00002e1e: DUP5
00002e1f: PUSH2 0x2d86
00002e22: JUMP
00002e23: JUMPDEST
00002e24: PUSH2 0x2d6b
00002e27: JUMP
00002e28: JUMPDEST
00002e29: SWAP1
00002e2a: POP
00002e2b: DUP1
00002e2c: DUP4
00002e2d: DUP3
00002e2e: MSTORE
00002e2f: PUSH1 0x20
00002e31: DUP3
00002e32: ADD
00002e33: SWAP1
00002e34: POP
00002e35: PUSH1 0x20
00002e37: DUP5
00002e38: MUL
00002e39: DUP4
00002e3a: ADD
00002e3b: DUP6
00002e3c: DUP2
00002e3d: GT
00002e3e: ISZERO
00002e3f: PUSH2 0x2e4b
00002e42: JUMPI
00002e43: PUSH2 0x2e4a
00002e46: PUSH2 0x2db2
00002e49: JUMP
00002e4a: JUMPDEST
00002e4b: JUMPDEST
00002e4c: DUP4
00002e4d: JUMPDEST
00002e4e: DUP2
00002e4f: DUP2
00002e50: LT
00002e51: ISZERO
00002e52: PUSH2 0x2e74
00002e55: JUMPI
00002e56: DUP1
00002e57: PUSH2 0x2e60
00002e5a: DUP9
00002e5b: DUP3
00002e5c: PUSH2 0x2e00
00002e5f: JUMP
00002e60: JUMPDEST
00002e61: DUP5
00002e62: MSTORE
00002e63: PUSH1 0x20
00002e65: DUP5
00002e66: ADD
00002e67: SWAP4
00002e68: POP
00002e69: POP
00002e6a: PUSH1 0x20
00002e6c: DUP2
00002e6d: ADD
00002e6e: SWAP1
00002e6f: POP
00002e70: PUSH2 0x2e4d
00002e73: JUMP
00002e74: JUMPDEST
00002e75: POP
00002e76: POP
00002e77: POP
00002e78: SWAP4
00002e79: SWAP3
00002e7a: POP
00002e7b: POP
00002e7c: POP
00002e7d: JUMP
00002e7e: JUMPDEST
00002e7f: PUSH1 0x00
00002e81: DUP3
00002e82: PUSH1 0x1f
00002e84: DUP4
00002e85: ADD
00002e86: SLT
00002e87: PUSH2 0x2e93
00002e8a: JUMPI
00002e8b: PUSH2 0x2e92
00002e8e: PUSH2 0x2cf5
00002e91: JUMP
00002e92: JUMPDEST
00002e93: JUMPDEST
00002e94: DUP2
00002e95: CALLDATALOAD
00002e96: PUSH2 0x2ea3
00002e99: DUP5
00002e9a: DUP3
00002e9b: PUSH1 0x20
00002e9d: DUP7
00002e9e: ADD
00002e9f: PUSH2 0x2e15
00002ea2: JUMP
00002ea3: JUMPDEST
00002ea4: SWAP2
00002ea5: POP
00002ea6: POP
00002ea7: SWAP3
00002ea8: SWAP2
00002ea9: POP
00002eaa: POP
00002eab: JUMP
00002eac: JUMPDEST
00002ead: PUSH1 0x00
00002eaf: PUSH1 0x20
00002eb1: DUP3
00002eb2: DUP5
00002eb3: SUB
00002eb4: SLT
00002eb5: ISZERO
00002eb6: PUSH2 0x2ec2
00002eb9: JUMPI
00002eba: PUSH2 0x2ec1
00002ebd: PUSH2 0x2ceb
00002ec0: JUMP
00002ec1: JUMPDEST
00002ec2: JUMPDEST
00002ec3: PUSH1 0x00
00002ec5: DUP3
00002ec6: ADD
00002ec7: CALLDATALOAD
00002ec8: PUSH8 0xffffffffffffffff
00002ed1: DUP2
00002ed2: GT
00002ed3: ISZERO
00002ed4: PUSH2 0x2ee0
00002ed7: JUMPI
00002ed8: PUSH2 0x2edf
00002edb: PUSH2 0x2cf0
00002ede: JUMP
00002edf: JUMPDEST
00002ee0: JUMPDEST
00002ee1: PUSH2 0x2eec
00002ee4: DUP5
00002ee5: DUP3
00002ee6: DUP6
00002ee7: ADD
00002ee8: PUSH2 0x2e7e
00002eeb: JUMP
00002eec: JUMPDEST
00002eed: SWAP2
00002eee: POP
00002eef: POP
00002ef0: SWAP3
00002ef1: SWAP2
00002ef2: POP
00002ef3: POP
00002ef4: JUMP
00002ef5: JUMPDEST
00002ef6: PUSH1 0x00
00002ef8: DUP2
00002ef9: MLOAD
00002efa: SWAP1
00002efb: POP
00002efc: SWAP2
00002efd: SWAP1
00002efe: POP
00002eff: JUMP
00002f00: JUMPDEST
00002f01: PUSH1 0x00
00002f03: DUP3
00002f04: DUP3
00002f05: MSTORE
00002f06: PUSH1 0x20
00002f08: DUP3
00002f09: ADD
00002f0a: SWAP1
00002f0b: POP
00002f0c: SWAP3
00002f0d: SWAP2
00002f0e: POP
00002f0f: POP
00002f10: JUMP
00002f11: JUMPDEST
00002f12: PUSH1 0x00
00002f14: JUMPDEST
00002f15: DUP4
00002f16: DUP2
00002f17: LT
00002f18: ISZERO
00002f19: PUSH2 0x2f2f
00002f1c: JUMPI
00002f1d: DUP1
00002f1e: DUP3
00002f1f: ADD
00002f20: MLOAD
00002f21: DUP2
00002f22: DUP5
00002f23: ADD
00002f24: MSTORE
00002f25: PUSH1 0x20
00002f27: DUP2
00002f28: ADD
00002f29: SWAP1
00002f2a: POP
00002f2b: PUSH2 0x2f14
00002f2e: JUMP
00002f2f: JUMPDEST
00002f30: DUP4
00002f31: DUP2
00002f32: GT
00002f33: ISZERO
00002f34: PUSH2 0x2f3e
00002f37: JUMPI
00002f38: PUSH1 0x00
00002f3a: DUP5
00002f3b: DUP5
00002f3c: ADD
00002f3d: MSTORE
00002f3e: JUMPDEST
00002f3f: POP
00002f40: POP
00002f41: POP
00002f42: POP
00002f43: JUMP
00002f44: JUMPDEST
00002f45: PUSH1 0x00
00002f47: PUSH2 0x2f4f
00002f4a: DUP3
00002f4b: PUSH2 0x2ef5
00002f4e: JUMP
00002f4f: JUMPDEST
00002f50: PUSH2 0x2f59
00002f53: DUP2
00002f54: DUP6
00002f55: PUSH2 0x2f00
00002f58: JUMP
00002f59: JUMPDEST
00002f5a: SWAP4
00002f5b: POP
00002f5c: PUSH2 0x2f69
00002f5f: DUP2
00002f60: DUP6
00002f61: PUSH1 0x20
00002f63: DUP7
00002f64: ADD
00002f65: PUSH2 0x2f11
00002f68: JUMP
00002f69: JUMPDEST
00002f6a: PUSH2 0x2f72
00002f6d: DUP2
00002f6e: PUSH2 0x2cfa
00002f71: JUMP
00002f72: JUMPDEST
00002f73: DUP5
00002f74: ADD
00002f75: SWAP2
00002f76: POP
00002f77: POP
00002f78: SWAP3
00002f79: SWAP2
00002f7a: POP
00002f7b: POP
00002f7c: JUMP
00002f7d: JUMPDEST
00002f7e: PUSH1 0x00
00002f80: PUSH1 0x20
00002f82: DUP3
00002f83: ADD
00002f84: SWAP1
00002f85: POP
00002f86: DUP2
00002f87: DUP2
00002f88: SUB
00002f89: PUSH1 0x00
00002f8b: DUP4
00002f8c: ADD
00002f8d: MSTORE
00002f8e: PUSH2 0x2f97
00002f91: DUP2
00002f92: DUP5
00002f93: PUSH2 0x2f44
00002f96: JUMP
00002f97: JUMPDEST
00002f98: SWAP1
00002f99: POP
00002f9a: SWAP3
00002f9b: SWAP2
00002f9c: POP
00002f9d: POP
00002f9e: JUMP
00002f9f: JUMPDEST
00002fa0: PUSH1 0x00
00002fa2: DUP2
00002fa3: SWAP1
00002fa4: POP
00002fa5: SWAP2
00002fa6: SWAP1
00002fa7: POP
00002fa8: JUMP
00002fa9: JUMPDEST
00002faa: PUSH2 0x2fb2
00002fad: DUP2
00002fae: PUSH2 0x2f9f
00002fb1: JUMP
00002fb2: JUMPDEST
00002fb3: DUP2
00002fb4: EQ
00002fb5: PUSH2 0x2fbd
00002fb8: JUMPI
00002fb9: PUSH1 0x00
00002fbb: DUP1
00002fbc: REVERT
00002fbd: JUMPDEST
00002fbe: POP
00002fbf: JUMP
00002fc0: JUMPDEST
00002fc1: PUSH1 0x00
00002fc3: DUP2
00002fc4: CALLDATALOAD
00002fc5: SWAP1
00002fc6: POP
00002fc7: PUSH2 0x2fcf
00002fca: DUP2
00002fcb: PUSH2 0x2fa9
00002fce: JUMP
00002fcf: JUMPDEST
00002fd0: SWAP3
00002fd1: SWAP2
00002fd2: POP
00002fd3: POP
00002fd4: JUMP
00002fd5: JUMPDEST
00002fd6: PUSH1 0x00
00002fd8: DUP1
00002fd9: PUSH1 0x40
00002fdb: DUP4
00002fdc: DUP6
00002fdd: SUB
00002fde: SLT
00002fdf: ISZERO
00002fe0: PUSH2 0x2fec
00002fe3: JUMPI
00002fe4: PUSH2 0x2feb
00002fe7: PUSH2 0x2ceb
00002fea: JUMP
00002feb: JUMPDEST
00002fec: JUMPDEST
00002fed: PUSH1 0x00
00002fef: PUSH2 0x2ffa
00002ff2: DUP6
00002ff3: DUP3
00002ff4: DUP7
00002ff5: ADD
00002ff6: PUSH2 0x2e00
00002ff9: JUMP
00002ffa: JUMPDEST
00002ffb: SWAP3
00002ffc: POP
00002ffd: POP
00002ffe: PUSH1 0x20
00003000: PUSH2 0x300b
00003003: DUP6
00003004: DUP3
00003005: DUP7
00003006: ADD
00003007: PUSH2 0x2fc0
0000300a: JUMP
0000300b: JUMPDEST
0000300c: SWAP2
0000300d: POP
0000300e: POP
0000300f: SWAP3
00003010: POP
00003011: SWAP3
00003012: SWAP1
00003013: POP
00003014: JUMP
00003015: JUMPDEST
00003016: PUSH1 0x00
00003018: DUP2
00003019: ISZERO
0000301a: ISZERO
0000301b: SWAP1
0000301c: POP
0000301d: SWAP2
0000301e: SWAP1
0000301f: POP
00003020: JUMP
00003021: JUMPDEST
00003022: PUSH2 0x302a
00003025: DUP2
00003026: PUSH2 0x3015
00003029: JUMP
0000302a: JUMPDEST
0000302b: DUP3
0000302c: MSTORE
0000302d: POP
0000302e: POP
0000302f: JUMP
00003030: JUMPDEST
00003031: PUSH1 0x00
00003033: PUSH1 0x20
00003035: DUP3
00003036: ADD
00003037: SWAP1
00003038: POP
00003039: PUSH2 0x3045
0000303c: PUSH1 0x00
0000303e: DUP4
0000303f: ADD
00003040: DUP5
00003041: PUSH2 0x3021
00003044: JUMP
00003045: JUMPDEST
00003046: SWAP3
00003047: SWAP2
00003048: POP
00003049: POP
0000304a: JUMP
0000304b: JUMPDEST
0000304c: PUSH1 0x00
0000304e: DUP2
0000304f: SWAP1
00003050: POP
00003051: SWAP2
00003052: SWAP1
00003053: POP
00003054: JUMP
00003055: JUMPDEST
00003056: PUSH1 0x00
00003058: PUSH2 0x3070
0000305b: PUSH2 0x306b
0000305e: PUSH2 0x3066
00003061: DUP5
00003062: PUSH2 0x2db7
00003065: JUMP
00003066: JUMPDEST
00003067: PUSH2 0x304b
0000306a: JUMP
0000306b: JUMPDEST
0000306c: PUSH2 0x2db7
0000306f: JUMP
00003070: JUMPDEST
00003071: SWAP1
00003072: POP
00003073: SWAP2
00003074: SWAP1
00003075: POP
00003076: JUMP
00003077: JUMPDEST
00003078: PUSH1 0x00
0000307a: PUSH2 0x3082
0000307d: DUP3
0000307e: PUSH2 0x3055
00003081: JUMP
00003082: JUMPDEST
00003083: SWAP1
00003084: POP
00003085: SWAP2
00003086: SWAP1
00003087: POP
00003088: JUMP
00003089: JUMPDEST
0000308a: PUSH1 0x00
0000308c: PUSH2 0x3094
0000308f: DUP3
00003090: PUSH2 0x3077
00003093: JUMP
00003094: JUMPDEST
00003095: SWAP1
00003096: POP
00003097: SWAP2
00003098: SWAP1
00003099: POP
0000309a: JUMP
0000309b: JUMPDEST
0000309c: PUSH2 0x30a4
0000309f: DUP2
000030a0: PUSH2 0x3089
000030a3: JUMP
000030a4: JUMPDEST
000030a5: DUP3
000030a6: MSTORE
000030a7: POP
000030a8: POP
000030a9: JUMP
000030aa: JUMPDEST
000030ab: PUSH1 0x00
000030ad: PUSH1 0x20
000030af: DUP3
000030b0: ADD
000030b1: SWAP1
000030b2: POP
000030b3: PUSH2 0x30bf
000030b6: PUSH1 0x00
000030b8: DUP4
000030b9: ADD
000030ba: DUP5
000030bb: PUSH2 0x309b
000030be: JUMP
000030bf: JUMPDEST
000030c0: SWAP3
000030c1: SWAP2
000030c2: POP
000030c3: POP
000030c4: JUMP
000030c5: JUMPDEST
000030c6: PUSH2 0x30ce
000030c9: DUP2
000030ca: PUSH2 0x2f9f
000030cd: JUMP
000030ce: JUMPDEST
000030cf: DUP3
000030d0: MSTORE
000030d1: POP
000030d2: POP
000030d3: JUMP
000030d4: JUMPDEST
000030d5: PUSH1 0x00
000030d7: PUSH1 0x20
000030d9: DUP3
000030da: ADD
000030db: SWAP1
000030dc: POP
000030dd: PUSH2 0x30e9
000030e0: PUSH1 0x00
000030e2: DUP4
000030e3: ADD
000030e4: DUP5
000030e5: PUSH2 0x30c5
000030e8: JUMP
000030e9: JUMPDEST
000030ea: SWAP3
000030eb: SWAP2
000030ec: POP
000030ed: POP
000030ee: JUMP
000030ef: JUMPDEST
000030f0: PUSH1 0x00
000030f2: DUP1
000030f3: PUSH1 0x00
000030f5: PUSH1 0x60
000030f7: DUP5
000030f8: DUP7
000030f9: SUB
000030fa: SLT
000030fb: ISZERO
000030fc: PUSH2 0x3108
000030ff: JUMPI
00003100: PUSH2 0x3107
00003103: PUSH2 0x2ceb
00003106: JUMP
00003107: JUMPDEST
00003108: JUMPDEST
00003109: PUSH1 0x00
0000310b: PUSH2 0x3116
0000310e: DUP7
0000310f: DUP3
00003110: DUP8
00003111: ADD
00003112: PUSH2 0x2e00
00003115: JUMP
00003116: JUMPDEST
00003117: SWAP4
00003118: POP
00003119: POP
0000311a: PUSH1 0x20
0000311c: PUSH2 0x3127
0000311f: DUP7
00003120: DUP3
00003121: DUP8
00003122: ADD
00003123: PUSH2 0x2e00
00003126: JUMP
00003127: JUMPDEST
00003128: SWAP3
00003129: POP
0000312a: POP
0000312b: PUSH1 0x40
0000312d: PUSH2 0x3138
00003130: DUP7
00003131: DUP3
00003132: DUP8
00003133: ADD
00003134: PUSH2 0x2fc0
00003137: JUMP
00003138: JUMPDEST
00003139: SWAP2
0000313a: POP
0000313b: POP
0000313c: SWAP3
0000313d: POP
0000313e: SWAP3
0000313f: POP
00003140: SWAP3
00003141: JUMP
00003142: JUMPDEST
00003143: PUSH1 0x00
00003145: PUSH1 0xff
00003147: DUP3
00003148: AND
00003149: SWAP1
0000314a: POP
0000314b: SWAP2
0000314c: SWAP1
0000314d: POP
0000314e: JUMP
0000314f: JUMPDEST
00003150: PUSH2 0x3158
00003153: DUP2
00003154: PUSH2 0x3142
00003157: JUMP
00003158: JUMPDEST
00003159: DUP3
0000315a: MSTORE
0000315b: POP
0000315c: POP
0000315d: JUMP
0000315e: JUMPDEST
0000315f: PUSH1 0x00
00003161: PUSH1 0x20
00003163: DUP3
00003164: ADD
00003165: SWAP1
00003166: POP
00003167: PUSH2 0x3173
0000316a: PUSH1 0x00
0000316c: DUP4
0000316d: ADD
0000316e: DUP5
0000316f: PUSH2 0x314f
00003172: JUMP
00003173: JUMPDEST
00003174: SWAP3
00003175: SWAP2
00003176: POP
00003177: POP
00003178: JUMP
00003179: JUMPDEST
0000317a: PUSH2 0x3182
0000317d: DUP2
0000317e: PUSH2 0x2dd7
00003181: JUMP
00003182: JUMPDEST
00003183: DUP3
00003184: MSTORE
00003185: POP
00003186: POP
00003187: JUMP
00003188: JUMPDEST
00003189: PUSH1 0x00
0000318b: PUSH1 0x20
0000318d: DUP3
0000318e: ADD
0000318f: SWAP1
00003190: POP
00003191: PUSH2 0x319d
00003194: PUSH1 0x00
00003196: DUP4
00003197: ADD
00003198: DUP5
00003199: PUSH2 0x3179
0000319c: JUMP
0000319d: JUMPDEST
0000319e: SWAP3
0000319f: SWAP2
000031a0: POP
000031a1: POP
000031a2: JUMP
000031a3: JUMPDEST
000031a4: PUSH1 0x00
000031a6: PUSH1 0x20
000031a8: DUP3
000031a9: DUP5
000031aa: SUB
000031ab: SLT
000031ac: ISZERO
000031ad: PUSH2 0x31b9
000031b0: JUMPI
000031b1: PUSH2 0x31b8
000031b4: PUSH2 0x2ceb
000031b7: JUMP
000031b8: JUMPDEST
000031b9: JUMPDEST
000031ba: PUSH1 0x00
000031bc: PUSH2 0x31c7
000031bf: DUP5
000031c0: DUP3
000031c1: DUP6
000031c2: ADD
000031c3: PUSH2 0x2e00
000031c6: JUMP
000031c7: JUMPDEST
000031c8: SWAP2
000031c9: POP
000031ca: POP
000031cb: SWAP3
000031cc: SWAP2
000031cd: POP
000031ce: POP
000031cf: JUMP
000031d0: JUMPDEST
000031d1: PUSH2 0x31d9
000031d4: DUP2
000031d5: PUSH2 0x3015
000031d8: JUMP
000031d9: JUMPDEST
000031da: DUP2
000031db: EQ
000031dc: PUSH2 0x31e4
000031df: JUMPI
000031e0: PUSH1 0x00
000031e2: DUP1
000031e3: REVERT
000031e4: JUMPDEST
000031e5: POP
000031e6: JUMP
000031e7: JUMPDEST
000031e8: PUSH1 0x00
000031ea: DUP2
000031eb: CALLDATALOAD
000031ec: SWAP1
000031ed: POP
000031ee: PUSH2 0x31f6
000031f1: DUP2
000031f2: PUSH2 0x31d0
000031f5: JUMP
000031f6: JUMPDEST
000031f7: SWAP3
000031f8: SWAP2
000031f9: POP
000031fa: POP
000031fb: JUMP
000031fc: JUMPDEST
000031fd: PUSH1 0x00
000031ff: PUSH1 0x20
00003201: DUP3
00003202: DUP5
00003203: SUB
00003204: SLT
00003205: ISZERO
00003206: PUSH2 0x3212
00003209: JUMPI
0000320a: PUSH2 0x3211
0000320d: PUSH2 0x2ceb
00003210: JUMP
00003211: JUMPDEST
00003212: JUMPDEST
00003213: PUSH1 0x00
00003215: PUSH2 0x3220
00003218: DUP5
00003219: DUP3
0000321a: DUP6
0000321b: ADD
0000321c: PUSH2 0x31e7
0000321f: JUMP
00003220: JUMPDEST
00003221: SWAP2
00003222: POP
00003223: POP
00003224: SWAP3
00003225: SWAP2
00003226: POP
00003227: POP
00003228: JUMP
00003229: JUMPDEST
0000322a: PUSH1 0x00
0000322c: PUSH1 0x20
0000322e: DUP3
0000322f: DUP5
00003230: SUB
00003231: SLT
00003232: ISZERO
00003233: PUSH2 0x323f
00003236: JUMPI
00003237: PUSH2 0x323e
0000323a: PUSH2 0x2ceb
0000323d: JUMP
0000323e: JUMPDEST
0000323f: JUMPDEST
00003240: PUSH1 0x00
00003242: PUSH2 0x324d
00003245: DUP5
00003246: DUP3
00003247: DUP6
00003248: ADD
00003249: PUSH2 0x2fc0
0000324c: JUMP
0000324d: JUMPDEST
0000324e: SWAP2
0000324f: POP
00003250: POP
00003251: SWAP3
00003252: SWAP2
00003253: POP
00003254: POP
00003255: JUMP
00003256: JUMPDEST
00003257: PUSH1 0x00
00003259: DUP1
0000325a: PUSH1 0x00
0000325c: DUP1
0000325d: PUSH1 0x80
0000325f: DUP6
00003260: DUP8
00003261: SUB
00003262: SLT
00003263: ISZERO
00003264: PUSH2 0x3270
00003267: JUMPI
00003268: PUSH2 0x326f
0000326b: PUSH2 0x2ceb
0000326e: JUMP
0000326f: JUMPDEST
00003270: JUMPDEST
00003271: PUSH1 0x00
00003273: PUSH2 0x327e
00003276: DUP8
00003277: DUP3
00003278: DUP9
00003279: ADD
0000327a: PUSH2 0x2fc0
0000327d: JUMP
0000327e: JUMPDEST
0000327f: SWAP5
00003280: POP
00003281: POP
00003282: PUSH1 0x20
00003284: PUSH2 0x328f
00003287: DUP8
00003288: DUP3
00003289: DUP9
0000328a: ADD
0000328b: PUSH2 0x2fc0
0000328e: JUMP
0000328f: JUMPDEST
00003290: SWAP4
00003291: POP
00003292: POP
00003293: PUSH1 0x40
00003295: PUSH2 0x32a0
00003298: DUP8
00003299: DUP3
0000329a: DUP9
0000329b: ADD
0000329c: PUSH2 0x2fc0
0000329f: JUMP
000032a0: JUMPDEST
000032a1: SWAP3
000032a2: POP
000032a3: POP
000032a4: PUSH1 0x60
000032a6: PUSH2 0x32b1
000032a9: DUP8
000032aa: DUP3
000032ab: DUP9
000032ac: ADD
000032ad: PUSH2 0x2fc0
000032b0: JUMP
000032b1: JUMPDEST
000032b2: SWAP2
000032b3: POP
000032b4: POP
000032b5: SWAP3
000032b6: SWAP6
000032b7: SWAP2
000032b8: SWAP5
000032b9: POP
000032ba: SWAP3
000032bb: POP
000032bc: JUMP
000032bd: JUMPDEST
000032be: PUSH1 0x00
000032c0: DUP1
000032c1: REVERT
000032c2: JUMPDEST
000032c3: PUSH1 0x00
000032c5: DUP1
000032c6: DUP4
000032c7: PUSH1 0x1f
000032c9: DUP5
000032ca: ADD
000032cb: SLT
000032cc: PUSH2 0x32d8
000032cf: JUMPI
000032d0: PUSH2 0x32d7
000032d3: PUSH2 0x2cf5
000032d6: JUMP
000032d7: JUMPDEST
000032d8: JUMPDEST
000032d9: DUP3
000032da: CALLDATALOAD
000032db: SWAP1
000032dc: POP
000032dd: PUSH8 0xffffffffffffffff
000032e6: DUP2
000032e7: GT
000032e8: ISZERO
000032e9: PUSH2 0x32f5
000032ec: JUMPI
000032ed: PUSH2 0x32f4
000032f0: PUSH2 0x32bd
000032f3: JUMP
000032f4: JUMPDEST
000032f5: JUMPDEST
000032f6: PUSH1 0x20
000032f8: DUP4
000032f9: ADD
000032fa: SWAP2
000032fb: POP
000032fc: DUP4
000032fd: PUSH1 0x20
000032ff: DUP3
00003300: MUL
00003301: DUP4
00003302: ADD
00003303: GT
00003304: ISZERO
00003305: PUSH2 0x3311
00003308: JUMPI
00003309: PUSH2 0x3310
0000330c: PUSH2 0x2db2
0000330f: JUMP
00003310: JUMPDEST
00003311: JUMPDEST
00003312: SWAP3
00003313: POP
00003314: SWAP3
00003315: SWAP1
00003316: POP
00003317: JUMP
00003318: JUMPDEST
00003319: PUSH1 0x00
0000331b: DUP1
0000331c: PUSH1 0x00
0000331e: PUSH1 0x40
00003320: DUP5
00003321: DUP7
00003322: SUB
00003323: SLT
00003324: ISZERO
00003325: PUSH2 0x3331
00003328: JUMPI
00003329: PUSH2 0x3330
0000332c: PUSH2 0x2ceb
0000332f: JUMP
00003330: JUMPDEST
00003331: JUMPDEST
00003332: PUSH1 0x00
00003334: DUP5
00003335: ADD
00003336: CALLDATALOAD
00003337: PUSH8 0xffffffffffffffff
00003340: DUP2
00003341: GT
00003342: ISZERO
00003343: PUSH2 0x334f
00003346: JUMPI
00003347: PUSH2 0x334e
0000334a: PUSH2 0x2cf0
0000334d: JUMP
0000334e: JUMPDEST
0000334f: JUMPDEST
00003350: PUSH2 0x335b
00003353: DUP7
00003354: DUP3
00003355: DUP8
00003356: ADD
00003357: PUSH2 0x32c2
0000335a: JUMP
0000335b: JUMPDEST
0000335c: SWAP4
0000335d: POP
0000335e: SWAP4
0000335f: POP
00003360: POP
00003361: PUSH1 0x20
00003363: PUSH2 0x336e
00003366: DUP7
00003367: DUP3
00003368: DUP8
00003369: ADD
0000336a: PUSH2 0x31e7
0000336d: JUMP
0000336e: JUMPDEST
0000336f: SWAP2
00003370: POP
00003371: POP
00003372: SWAP3
00003373: POP
00003374: SWAP3
00003375: POP
00003376: SWAP3
00003377: JUMP
00003378: JUMPDEST
00003379: PUSH1 0x00
0000337b: DUP1
0000337c: PUSH1 0x40
0000337e: DUP4
0000337f: DUP6
00003380: SUB
00003381: SLT
00003382: ISZERO
00003383: PUSH2 0x338f
00003386: JUMPI
00003387: PUSH2 0x338e
0000338a: PUSH2 0x2ceb
0000338d: JUMP
0000338e: JUMPDEST
0000338f: JUMPDEST
00003390: PUSH1 0x00
00003392: PUSH2 0x339d
00003395: DUP6
00003396: DUP3
00003397: DUP7
00003398: ADD
00003399: PUSH2 0x2e00
0000339c: JUMP
0000339d: JUMPDEST
0000339e: SWAP3
0000339f: POP
000033a0: POP
000033a1: PUSH1 0x20
000033a3: PUSH2 0x33ae
000033a6: DUP6
000033a7: DUP3
000033a8: DUP7
000033a9: ADD
000033aa: PUSH2 0x2e00
000033ad: JUMP
000033ae: JUMPDEST
000033af: SWAP2
000033b0: POP
000033b1: POP
000033b2: SWAP3
000033b3: POP
000033b4: SWAP3
000033b5: SWAP1
000033b6: POP
000033b7: JUMP
000033b8: JUMPDEST
000033b9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000033da: PUSH1 0x00
000033dc: DUP3
000033dd: ADD
000033de: MSTORE
000033df: POP
000033e0: JUMP
000033e1: JUMPDEST
000033e2: PUSH1 0x00
000033e4: PUSH2 0x33ee
000033e7: PUSH1 0x20
000033e9: DUP4
000033ea: PUSH2 0x2f00
000033ed: JUMP
000033ee: JUMPDEST
000033ef: SWAP2
000033f0: POP
000033f1: PUSH2 0x33f9
000033f4: DUP3
000033f5: PUSH2 0x33b8
000033f8: JUMP
000033f9: JUMPDEST
000033fa: PUSH1 0x20
000033fc: DUP3
000033fd: ADD
000033fe: SWAP1
000033ff: POP
00003400: SWAP2
00003401: SWAP1
00003402: POP
00003403: JUMP
00003404: JUMPDEST
00003405: PUSH1 0x00
00003407: PUSH1 0x20
00003409: DUP3
0000340a: ADD
0000340b: SWAP1
0000340c: POP
0000340d: DUP2
0000340e: DUP2
0000340f: SUB
00003410: PUSH1 0x00
00003412: DUP4
00003413: ADD
00003414: MSTORE
00003415: PUSH2 0x341d
00003418: DUP2
00003419: PUSH2 0x33e1
0000341c: JUMP
0000341d: JUMPDEST
0000341e: SWAP1
0000341f: POP
00003420: SWAP2
00003421: SWAP1
00003422: POP
00003423: JUMP
00003424: JUMPDEST
00003425: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003446: PUSH1 0x00
00003448: MSTORE
00003449: PUSH1 0x32
0000344b: PUSH1 0x04
0000344d: MSTORE
0000344e: PUSH1 0x24
00003450: PUSH1 0x00
00003452: REVERT
00003453: JUMPDEST
00003454: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003475: PUSH1 0x00
00003477: MSTORE
00003478: PUSH1 0x11
0000347a: PUSH1 0x04
0000347c: MSTORE
0000347d: PUSH1 0x24
0000347f: PUSH1 0x00
00003481: REVERT
00003482: JUMPDEST
00003483: PUSH1 0x00
00003485: PUSH2 0x348d
00003488: DUP3
00003489: PUSH2 0x2f9f
0000348c: JUMP
0000348d: JUMPDEST
0000348e: SWAP2
0000348f: POP
00003490: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000034b1: DUP3
000034b2: EQ
000034b3: ISZERO
000034b4: PUSH2 0x34c0
000034b7: JUMPI
000034b8: PUSH2 0x34bf
000034bb: PUSH2 0x3453
000034be: JUMP
000034bf: JUMPDEST
000034c0: JUMPDEST
000034c1: PUSH1 0x01
000034c3: DUP3
000034c4: ADD
000034c5: SWAP1
000034c6: POP
000034c7: SWAP2
000034c8: SWAP1
000034c9: POP
000034ca: JUMP
000034cb: JUMPDEST
000034cc: PUSH32 0x4275792072657761726473206d757374206265206265747765656e2030252061
000034ed: PUSH1 0x00
000034ef: DUP3
000034f0: ADD
000034f1: MSTORE
000034f2: PUSH32 0x6e64203425000000000000000000000000000000000000000000000000000000
00003513: PUSH1 0x20
00003515: DUP3
00003516: ADD
00003517: MSTORE
00003518: POP
00003519: JUMP
0000351a: JUMPDEST
0000351b: PUSH1 0x00
0000351d: PUSH2 0x3527
00003520: PUSH1 0x25
00003522: DUP4
00003523: PUSH2 0x2f00
00003526: JUMP
00003527: JUMPDEST
00003528: SWAP2
00003529: POP
0000352a: PUSH2 0x3532
0000352d: DUP3
0000352e: PUSH2 0x34cb
00003531: JUMP
00003532: JUMPDEST
00003533: PUSH1 0x40
00003535: DUP3
00003536: ADD
00003537: SWAP1
00003538: POP
00003539: SWAP2
0000353a: SWAP1
0000353b: POP
0000353c: JUMP
0000353d: JUMPDEST
0000353e: PUSH1 0x00
00003540: PUSH1 0x20
00003542: DUP3
00003543: ADD
00003544: SWAP1
00003545: POP
00003546: DUP2
00003547: DUP2
00003548: SUB
00003549: PUSH1 0x00
0000354b: DUP4
0000354c: ADD
0000354d: MSTORE
0000354e: PUSH2 0x3556
00003551: DUP2
00003552: PUSH2 0x351a
00003555: JUMP
00003556: JUMPDEST
00003557: SWAP1
00003558: POP
00003559: SWAP2
0000355a: SWAP1
0000355b: POP
0000355c: JUMP
0000355d: JUMPDEST
0000355e: PUSH32 0x42757920746178206d757374206265206265747765656e20302520616e642032
0000357f: PUSH1 0x00
00003581: DUP3
00003582: ADD
00003583: MSTORE
00003584: PUSH32 0x3025000000000000000000000000000000000000000000000000000000000000
000035a5: PUSH1 0x20
000035a7: DUP3
000035a8: ADD
000035a9: MSTORE
000035aa: POP
000035ab: JUMP
000035ac: JUMPDEST
000035ad: PUSH1 0x00
000035af: PUSH2 0x35b9
000035b2: PUSH1 0x22
000035b4: DUP4
000035b5: PUSH2 0x2f00
000035b8: JUMP
000035b9: JUMPDEST
000035ba: SWAP2
000035bb: POP
000035bc: PUSH2 0x35c4
000035bf: DUP3
000035c0: PUSH2 0x355d
000035c3: JUMP
000035c4: JUMPDEST
000035c5: PUSH1 0x40
000035c7: DUP3
000035c8: ADD
000035c9: SWAP1
000035ca: POP
000035cb: SWAP2
000035cc: SWAP1
000035cd: POP
000035ce: JUMP
000035cf: JUMPDEST
000035d0: PUSH1 0x00
000035d2: PUSH1 0x20
000035d4: DUP3
000035d5: ADD
000035d6: SWAP1
000035d7: POP
000035d8: DUP2
000035d9: DUP2
000035da: SUB
000035db: PUSH1 0x00
000035dd: DUP4
000035de: ADD
000035df: MSTORE
000035e0: PUSH2 0x35e8
000035e3: DUP2
000035e4: PUSH2 0x35ac
000035e7: JUMP
000035e8: JUMPDEST
000035e9: SWAP1
000035ea: POP
000035eb: SWAP2
000035ec: SWAP1
000035ed: POP
000035ee: JUMP
000035ef: JUMPDEST
000035f0: PUSH32 0x53656c6c2072657761726473206d757374206265206265747765656e20302520
00003611: PUSH1 0x00
00003613: DUP3
00003614: ADD
00003615: MSTORE
00003616: PUSH32 0x616e642034250000000000000000000000000000000000000000000000000000
00003637: PUSH1 0x20
00003639: DUP3
0000363a: ADD
0000363b: MSTORE
0000363c: POP
0000363d: JUMP
0000363e: JUMPDEST
0000363f: PUSH1 0x00
00003641: PUSH2 0x364b
00003644: PUSH1 0x26
00003646: DUP4
00003647: PUSH2 0x2f00
0000364a: JUMP
0000364b: JUMPDEST
0000364c: SWAP2
0000364d: POP
0000364e: PUSH2 0x3656
00003651: DUP3
00003652: PUSH2 0x35ef
00003655: JUMP
00003656: JUMPDEST
00003657: PUSH1 0x40
00003659: DUP3
0000365a: ADD
0000365b: SWAP1
0000365c: POP
0000365d: SWAP2
0000365e: SWAP1
0000365f: POP
00003660: JUMP
00003661: JUMPDEST
00003662: PUSH1 0x00
00003664: PUSH1 0x20
00003666: DUP3
00003667: ADD
00003668: SWAP1
00003669: POP
0000366a: DUP2
0000366b: DUP2
0000366c: SUB
0000366d: PUSH1 0x00
0000366f: DUP4
00003670: ADD
00003671: MSTORE
00003672: PUSH2 0x367a
00003675: DUP2
00003676: PUSH2 0x363e
00003679: JUMP
0000367a: JUMPDEST
0000367b: SWAP1
0000367c: POP
0000367d: SWAP2
0000367e: SWAP1
0000367f: POP
00003680: JUMP
00003681: JUMPDEST
00003682: PUSH32 0x53656c6c20746178206d757374206265206265747765656e20302520616e6420
000036a3: PUSH1 0x00
000036a5: DUP3
000036a6: ADD
000036a7: MSTORE
000036a8: PUSH32 0x3230250000000000000000000000000000000000000000000000000000000000
000036c9: PUSH1 0x20
000036cb: DUP3
000036cc: ADD
000036cd: MSTORE
000036ce: POP
000036cf: JUMP
000036d0: JUMPDEST
000036d1: PUSH1 0x00
000036d3: PUSH2 0x36dd
000036d6: PUSH1 0x23
000036d8: DUP4
000036d9: PUSH2 0x2f00
000036dc: JUMP
000036dd: JUMPDEST
000036de: SWAP2
000036df: POP
000036e0: PUSH2 0x36e8
000036e3: DUP3
000036e4: PUSH2 0x3681
000036e7: JUMP
000036e8: JUMPDEST
000036e9: PUSH1 0x40
000036eb: DUP3
000036ec: ADD
000036ed: SWAP1
000036ee: POP
000036ef: SWAP2
000036f0: SWAP1
000036f1: POP
000036f2: JUMP
000036f3: JUMPDEST
000036f4: PUSH1 0x00
000036f6: PUSH1 0x20
000036f8: DUP3
000036f9: ADD
000036fa: SWAP1
000036fb: POP
000036fc: DUP2
000036fd: DUP2
000036fe: SUB
000036ff: PUSH1 0x00
00003701: DUP4
00003702: ADD
00003703: MSTORE
00003704: PUSH2 0x370c
00003707: DUP2
00003708: PUSH2 0x36d0
0000370b: JUMP
0000370c: JUMPDEST
0000370d: SWAP1
0000370e: POP
0000370f: SWAP2
00003710: SWAP1
00003711: POP
00003712: JUMP
00003713: JUMPDEST
00003714: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00003735: PUSH1 0x00
00003737: DUP3
00003738: ADD
00003739: MSTORE
0000373a: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000375b: PUSH1 0x20
0000375d: DUP3
0000375e: ADD
0000375f: MSTORE
00003760: POP
00003761: JUMP
00003762: JUMPDEST
00003763: PUSH1 0x00
00003765: PUSH2 0x376f
00003768: PUSH1 0x26
0000376a: DUP4
0000376b: PUSH2 0x2f00
0000376e: JUMP
0000376f: JUMPDEST
00003770: SWAP2
00003771: POP
00003772: PUSH2 0x377a
00003775: DUP3
00003776: PUSH2 0x3713
00003779: JUMP
0000377a: JUMPDEST
0000377b: PUSH1 0x40
0000377d: DUP3
0000377e: ADD
0000377f: SWAP1
00003780: POP
00003781: SWAP2
00003782: SWAP1
00003783: POP
00003784: JUMP
00003785: JUMPDEST
00003786: PUSH1 0x00
00003788: PUSH1 0x20
0000378a: DUP3
0000378b: ADD
0000378c: SWAP1
0000378d: POP
0000378e: DUP2
0000378f: DUP2
00003790: SUB
00003791: PUSH1 0x00
00003793: DUP4
00003794: ADD
00003795: MSTORE
00003796: PUSH2 0x379e
00003799: DUP2
0000379a: PUSH2 0x3762
0000379d: JUMP
0000379e: JUMPDEST
0000379f: SWAP1
000037a0: POP
000037a1: SWAP2
000037a2: SWAP1
000037a3: POP
000037a4: JUMP
000037a5: JUMPDEST
000037a6: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000037c7: PUSH1 0x00
000037c9: DUP3
000037ca: ADD
000037cb: MSTORE
000037cc: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
000037ed: PUSH1 0x20
000037ef: DUP3
000037f0: ADD
000037f1: MSTORE
000037f2: POP
000037f3: JUMP
000037f4: JUMPDEST
000037f5: PUSH1 0x00
000037f7: PUSH2 0x3801
000037fa: PUSH1 0x24
000037fc: DUP4
000037fd: PUSH2 0x2f00
00003800: JUMP
00003801: JUMPDEST
00003802: SWAP2
00003803: POP
00003804: PUSH2 0x380c
00003807: DUP3
00003808: PUSH2 0x37a5
0000380b: JUMP
0000380c: JUMPDEST
0000380d: PUSH1 0x40
0000380f: DUP3
00003810: ADD
00003811: SWAP1
00003812: POP
00003813: SWAP2
00003814: SWAP1
00003815: POP
00003816: JUMP
00003817: JUMPDEST
00003818: PUSH1 0x00
0000381a: PUSH1 0x20
0000381c: DUP3
0000381d: ADD
0000381e: SWAP1
0000381f: POP
00003820: DUP2
00003821: DUP2
00003822: SUB
00003823: PUSH1 0x00
00003825: DUP4
00003826: ADD
00003827: MSTORE
00003828: PUSH2 0x3830
0000382b: DUP2
0000382c: PUSH2 0x37f4
0000382f: JUMP
00003830: JUMPDEST
00003831: SWAP1
00003832: POP
00003833: SWAP2
00003834: SWAP1
00003835: POP
00003836: JUMP
00003837: JUMPDEST
00003838: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00003859: PUSH1 0x00
0000385b: DUP3
0000385c: ADD
0000385d: MSTORE
0000385e: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
0000387f: PUSH1 0x20
00003881: DUP3
00003882: ADD
00003883: MSTORE
00003884: POP
00003885: JUMP
00003886: JUMPDEST
00003887: PUSH1 0x00
00003889: PUSH2 0x3893
0000388c: PUSH1 0x22
0000388e: DUP4
0000388f: PUSH2 0x2f00
00003892: JUMP
00003893: JUMPDEST
00003894: SWAP2
00003895: POP
00003896: PUSH2 0x389e
00003899: DUP3
0000389a: PUSH2 0x3837
0000389d: JUMP
0000389e: JUMPDEST
0000389f: PUSH1 0x40
000038a1: DUP3
000038a2: ADD
000038a3: SWAP1
000038a4: POP
000038a5: SWAP2
000038a6: SWAP1
000038a7: POP
000038a8: JUMP
000038a9: JUMPDEST
000038aa: PUSH1 0x00
000038ac: PUSH1 0x20
000038ae: DUP3
000038af: ADD
000038b0: SWAP1
000038b1: POP
000038b2: DUP2
000038b3: DUP2
000038b4: SUB
000038b5: PUSH1 0x00
000038b7: DUP4
000038b8: ADD
000038b9: MSTORE
000038ba: PUSH2 0x38c2
000038bd: DUP2
000038be: PUSH2 0x3886
000038c1: JUMP
000038c2: JUMPDEST
000038c3: SWAP1
000038c4: POP
000038c5: SWAP2
000038c6: SWAP1
000038c7: POP
000038c8: JUMP
000038c9: JUMPDEST
000038ca: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000038eb: PUSH1 0x00
000038ed: DUP3
000038ee: ADD
000038ef: MSTORE
000038f0: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00003911: PUSH1 0x20
00003913: DUP3
00003914: ADD
00003915: MSTORE
00003916: POP
00003917: JUMP
00003918: JUMPDEST
00003919: PUSH1 0x00
0000391b: PUSH2 0x3925
0000391e: PUSH1 0x25
00003920: DUP4
00003921: PUSH2 0x2f00
00003924: JUMP
00003925: JUMPDEST
00003926: SWAP2
00003927: POP
00003928: PUSH2 0x3930
0000392b: DUP3
0000392c: PUSH2 0x38c9
0000392f: JUMP
00003930: JUMPDEST
00003931: PUSH1 0x40
00003933: DUP3
00003934: ADD
00003935: SWAP1
00003936: POP
00003937: SWAP2
00003938: SWAP1
00003939: POP
0000393a: JUMP
0000393b: JUMPDEST
0000393c: PUSH1 0x00
0000393e: PUSH1 0x20
00003940: DUP3
00003941: ADD
00003942: SWAP1
00003943: POP
00003944: DUP2
00003945: DUP2
00003946: SUB
00003947: PUSH1 0x00
00003949: DUP4
0000394a: ADD
0000394b: MSTORE
0000394c: PUSH2 0x3954
0000394f: DUP2
00003950: PUSH2 0x3918
00003953: JUMP
00003954: JUMPDEST
00003955: SWAP1
00003956: POP
00003957: SWAP2
00003958: SWAP1
00003959: POP
0000395a: JUMP
0000395b: JUMPDEST
0000395c: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
0000397d: PUSH1 0x00
0000397f: DUP3
00003980: ADD
00003981: MSTORE
00003982: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
000039a3: PUSH1 0x20
000039a5: DUP3
000039a6: ADD
000039a7: MSTORE
000039a8: POP
000039a9: JUMP
000039aa: JUMPDEST
000039ab: PUSH1 0x00
000039ad: PUSH2 0x39b7
000039b0: PUSH1 0x23
000039b2: DUP4
000039b3: PUSH2 0x2f00
000039b6: JUMP
000039b7: JUMPDEST
000039b8: SWAP2
000039b9: POP
000039ba: PUSH2 0x39c2
000039bd: DUP3
000039be: PUSH2 0x395b
000039c1: JUMP
000039c2: JUMPDEST
000039c3: PUSH1 0x40
000039c5: DUP3
000039c6: ADD
000039c7: SWAP1
000039c8: POP
000039c9: SWAP2
000039ca: SWAP1
000039cb: POP
000039cc: JUMP
000039cd: JUMPDEST
000039ce: PUSH1 0x00
000039d0: PUSH1 0x20
000039d2: DUP3
000039d3: ADD
000039d4: SWAP1
000039d5: POP
000039d6: DUP2
000039d7: DUP2
000039d8: SUB
000039d9: PUSH1 0x00
000039db: DUP4
000039dc: ADD
000039dd: MSTORE
000039de: PUSH2 0x39e6
000039e1: DUP2
000039e2: PUSH2 0x39aa
000039e5: JUMP
000039e6: JUMPDEST
000039e7: SWAP1
000039e8: POP
000039e9: SWAP2
000039ea: SWAP1
000039eb: POP
000039ec: JUMP
000039ed: JUMPDEST
000039ee: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00003a0f: PUSH1 0x00
00003a11: DUP3
00003a12: ADD
00003a13: MSTORE
00003a14: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000
00003a35: PUSH1 0x20
00003a37: DUP3
00003a38: ADD
00003a39: MSTORE
00003a3a: POP
00003a3b: JUMP
00003a3c: JUMPDEST
00003a3d: PUSH1 0x00
00003a3f: PUSH2 0x3a49
00003a42: PUSH1 0x29
00003a44: DUP4
00003a45: PUSH2 0x2f00
00003a48: JUMP
00003a49: JUMPDEST
00003a4a: SWAP2
00003a4b: POP
00003a4c: PUSH2 0x3a54
00003a4f: DUP3
00003a50: PUSH2 0x39ed
00003a53: JUMP
00003a54: JUMPDEST
00003a55: PUSH1 0x40
00003a57: DUP3
00003a58: ADD
00003a59: SWAP1
00003a5a: POP
00003a5b: SWAP2
00003a5c: SWAP1
00003a5d: POP
00003a5e: JUMP
00003a5f: JUMPDEST
00003a60: PUSH1 0x00
00003a62: PUSH1 0x20
00003a64: DUP3
00003a65: ADD
00003a66: SWAP1
00003a67: POP
00003a68: DUP2
00003a69: DUP2
00003a6a: SUB
00003a6b: PUSH1 0x00
00003a6d: DUP4
00003a6e: ADD
00003a6f: MSTORE
00003a70: PUSH2 0x3a78
00003a73: DUP2
00003a74: PUSH2 0x3a3c
00003a77: JUMP
00003a78: JUMPDEST
00003a79: SWAP1
00003a7a: POP
00003a7b: SWAP2
00003a7c: SWAP1
00003a7d: POP
00003a7e: JUMP
00003a7f: JUMPDEST
00003a80: PUSH32 0x544f4b454e3a2054686973206163636f756e742063616e6e6f742073656e6420
00003aa1: PUSH1 0x00
00003aa3: DUP3
00003aa4: ADD
00003aa5: MSTORE
00003aa6: PUSH32 0x746f6b656e7320756e74696c2074726164696e6720697320656e61626c656400
00003ac7: PUSH1 0x20
00003ac9: DUP3
00003aca: ADD
00003acb: MSTORE
00003acc: POP
00003acd: JUMP
00003ace: JUMPDEST
00003acf: PUSH1 0x00
00003ad1: PUSH2 0x3adb
00003ad4: PUSH1 0x3f
00003ad6: DUP4
00003ad7: PUSH2 0x2f00
00003ada: JUMP
00003adb: JUMPDEST
00003adc: SWAP2
00003add: POP
00003ade: PUSH2 0x3ae6
00003ae1: DUP3
00003ae2: PUSH2 0x3a7f
00003ae5: JUMP
00003ae6: JUMPDEST
00003ae7: PUSH1 0x40
00003ae9: DUP3
00003aea: ADD
00003aeb: SWAP1
00003aec: POP
00003aed: SWAP2
00003aee: SWAP1
00003aef: POP
00003af0: JUMP
00003af1: JUMPDEST
00003af2: PUSH1 0x00
00003af4: PUSH1 0x20
00003af6: DUP3
00003af7: ADD
00003af8: SWAP1
00003af9: POP
00003afa: DUP2
00003afb: DUP2
00003afc: SUB
00003afd: PUSH1 0x00
00003aff: DUP4
00003b00: ADD
00003b01: MSTORE
00003b02: PUSH2 0x3b0a
00003b05: DUP2
00003b06: PUSH2 0x3ace
00003b09: JUMP
00003b0a: JUMPDEST
00003b0b: SWAP1
00003b0c: POP
00003b0d: SWAP2
00003b0e: SWAP1
00003b0f: POP
00003b10: JUMP
00003b11: JUMPDEST
00003b12: PUSH32 0x544f4b454e3a204d6178205472616e73616374696f6e204c696d697400000000
00003b33: PUSH1 0x00
00003b35: DUP3
00003b36: ADD
00003b37: MSTORE
00003b38: POP
00003b39: JUMP
00003b3a: JUMPDEST
00003b3b: PUSH1 0x00
00003b3d: PUSH2 0x3b47
00003b40: PUSH1 0x1c
00003b42: DUP4
00003b43: PUSH2 0x2f00
00003b46: JUMP
00003b47: JUMPDEST
00003b48: SWAP2
00003b49: POP
00003b4a: PUSH2 0x3b52
00003b4d: DUP3
00003b4e: PUSH2 0x3b11
00003b51: JUMP
00003b52: JUMPDEST
00003b53: PUSH1 0x20
00003b55: DUP3
00003b56: ADD
00003b57: SWAP1
00003b58: POP
00003b59: SWAP2
00003b5a: SWAP1
00003b5b: POP
00003b5c: JUMP
00003b5d: JUMPDEST
00003b5e: PUSH1 0x00
00003b60: PUSH1 0x20
00003b62: DUP3
00003b63: ADD
00003b64: SWAP1
00003b65: POP
00003b66: DUP2
00003b67: DUP2
00003b68: SUB
00003b69: PUSH1 0x00
00003b6b: DUP4
00003b6c: ADD
00003b6d: MSTORE
00003b6e: PUSH2 0x3b76
00003b71: DUP2
00003b72: PUSH2 0x3b3a
00003b75: JUMP
00003b76: JUMPDEST
00003b77: SWAP1
00003b78: POP
00003b79: SWAP2
00003b7a: SWAP1
00003b7b: POP
00003b7c: JUMP
00003b7d: JUMPDEST
00003b7e: PUSH32 0x544f4b454e3a20596f7572206163636f756e7420697320626c61636b6c697374
00003b9f: PUSH1 0x00
00003ba1: DUP3
00003ba2: ADD
00003ba3: MSTORE
00003ba4: PUSH32 0x6564210000000000000000000000000000000000000000000000000000000000
00003bc5: PUSH1 0x20
00003bc7: DUP3
00003bc8: ADD
00003bc9: MSTORE
00003bca: POP
00003bcb: JUMP
00003bcc: JUMPDEST
00003bcd: PUSH1 0x00
00003bcf: PUSH2 0x3bd9
00003bd2: PUSH1 0x23
00003bd4: DUP4
00003bd5: PUSH2 0x2f00
00003bd8: JUMP
00003bd9: JUMPDEST
00003bda: SWAP2
00003bdb: POP
00003bdc: PUSH2 0x3be4
00003bdf: DUP3
00003be0: PUSH2 0x3b7d
00003be3: JUMP
00003be4: JUMPDEST
00003be5: PUSH1 0x40
00003be7: DUP3
00003be8: ADD
00003be9: SWAP1
00003bea: POP
00003beb: SWAP2
00003bec: SWAP1
00003bed: POP
00003bee: JUMP
00003bef: JUMPDEST
00003bf0: PUSH1 0x00
00003bf2: PUSH1 0x20
00003bf4: DUP3
00003bf5: ADD
00003bf6: SWAP1
00003bf7: POP
00003bf8: DUP2
00003bf9: DUP2
00003bfa: SUB
00003bfb: PUSH1 0x00
00003bfd: DUP4
00003bfe: ADD
00003bff: MSTORE
00003c00: PUSH2 0x3c08
00003c03: DUP2
00003c04: PUSH2 0x3bcc
00003c07: JUMP
00003c08: JUMPDEST
00003c09: SWAP1
00003c0a: POP
00003c0b: SWAP2
00003c0c: SWAP1
00003c0d: POP
00003c0e: JUMP
00003c0f: JUMPDEST
00003c10: PUSH1 0x00
00003c12: PUSH2 0x3c1a
00003c15: DUP3
00003c16: PUSH2 0x2f9f
00003c19: JUMP
00003c1a: JUMPDEST
00003c1b: SWAP2
00003c1c: POP
00003c1d: PUSH2 0x3c25
00003c20: DUP4
00003c21: PUSH2 0x2f9f
00003c24: JUMP
00003c25: JUMPDEST
00003c26: SWAP3
00003c27: POP
00003c28: DUP3
00003c29: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003c4a: SUB
00003c4b: DUP3
00003c4c: GT
00003c4d: ISZERO
00003c4e: PUSH2 0x3c5a
00003c51: JUMPI
00003c52: PUSH2 0x3c59
00003c55: PUSH2 0x3453
00003c58: JUMP
00003c59: JUMPDEST
00003c5a: JUMPDEST
00003c5b: DUP3
00003c5c: DUP3
00003c5d: ADD
00003c5e: SWAP1
00003c5f: POP
00003c60: SWAP3
00003c61: SWAP2
00003c62: POP
00003c63: POP
00003c64: JUMP
00003c65: JUMPDEST
00003c66: PUSH32 0x544f4b454e3a2042616c616e636520657863656564732077616c6c6574207369
00003c87: PUSH1 0x00
00003c89: DUP3
00003c8a: ADD
00003c8b: MSTORE
00003c8c: PUSH32 0x7a65210000000000000000000000000000000000000000000000000000000000
00003cad: PUSH1 0x20
00003caf: DUP3
00003cb0: ADD
00003cb1: MSTORE
00003cb2: POP
00003cb3: JUMP
00003cb4: JUMPDEST
00003cb5: PUSH1 0x00
00003cb7: PUSH2 0x3cc1
00003cba: PUSH1 0x23
00003cbc: DUP4
00003cbd: PUSH2 0x2f00
00003cc0: JUMP
00003cc1: JUMPDEST
00003cc2: SWAP2
00003cc3: POP
00003cc4: PUSH2 0x3ccc
00003cc7: DUP3
00003cc8: PUSH2 0x3c65
00003ccb: JUMP
00003ccc: JUMPDEST
00003ccd: PUSH1 0x40
00003ccf: DUP3
00003cd0: ADD
00003cd1: SWAP1
00003cd2: POP
00003cd3: SWAP2
00003cd4: SWAP1
00003cd5: POP
00003cd6: JUMP
00003cd7: JUMPDEST
00003cd8: PUSH1 0x00
00003cda: PUSH1 0x20
00003cdc: DUP3
00003cdd: ADD
00003cde: SWAP1
00003cdf: POP
00003ce0: DUP2
00003ce1: DUP2
00003ce2: SUB
00003ce3: PUSH1 0x00
00003ce5: DUP4
00003ce6: ADD
00003ce7: MSTORE
00003ce8: PUSH2 0x3cf0
00003ceb: DUP2
00003cec: PUSH2 0x3cb4
00003cef: JUMP
00003cf0: JUMPDEST
00003cf1: SWAP1
00003cf2: POP
00003cf3: SWAP2
00003cf4: SWAP1
00003cf5: POP
00003cf6: JUMP
00003cf7: JUMPDEST
00003cf8: PUSH1 0x00
00003cfa: PUSH2 0x3d02
00003cfd: DUP3
00003cfe: PUSH2 0x2f9f
00003d01: JUMP
00003d02: JUMPDEST
00003d03: SWAP2
00003d04: POP
00003d05: PUSH2 0x3d0d
00003d08: DUP4
00003d09: PUSH2 0x2f9f
00003d0c: JUMP
00003d0d: JUMPDEST
00003d0e: SWAP3
00003d0f: POP
00003d10: DUP3
00003d11: DUP3
00003d12: LT
00003d13: ISZERO
00003d14: PUSH2 0x3d20
00003d17: JUMPI
00003d18: PUSH2 0x3d1f
00003d1b: PUSH2 0x3453
00003d1e: JUMP
00003d1f: JUMPDEST
00003d20: JUMPDEST
00003d21: DUP3
00003d22: DUP3
00003d23: SUB
00003d24: SWAP1
00003d25: POP
00003d26: SWAP3
00003d27: SWAP2
00003d28: POP
00003d29: POP
00003d2a: JUMP
00003d2b: JUMPDEST
00003d2c: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072
00003d4d: PUSH1 0x00
00003d4f: DUP3
00003d50: ADD
00003d51: MSTORE
00003d52: PUSH32 0x65666c656374696f6e7300000000000000000000000000000000000000000000
00003d73: PUSH1 0x20
00003d75: DUP3
00003d76: ADD
00003d77: MSTORE
00003d78: POP
00003d79: JUMP
00003d7a: JUMPDEST
00003d7b: PUSH1 0x00
00003d7d: PUSH2 0x3d87
00003d80: PUSH1 0x2a
00003d82: DUP4
00003d83: PUSH2 0x2f00
00003d86: JUMP
00003d87: JUMPDEST
00003d88: SWAP2
00003d89: POP
00003d8a: PUSH2 0x3d92
00003d8d: DUP3
00003d8e: PUSH2 0x3d2b
00003d91: JUMP
00003d92: JUMPDEST
00003d93: PUSH1 0x40
00003d95: DUP3
00003d96: ADD
00003d97: SWAP1
00003d98: POP
00003d99: SWAP2
00003d9a: SWAP1
00003d9b: POP
00003d9c: JUMP
00003d9d: JUMPDEST
00003d9e: PUSH1 0x00
00003da0: PUSH1 0x20
00003da2: DUP3
00003da3: ADD
00003da4: SWAP1
00003da5: POP
00003da6: DUP2
00003da7: DUP2
00003da8: SUB
00003da9: PUSH1 0x00
00003dab: DUP4
00003dac: ADD
00003dad: MSTORE
00003dae: PUSH2 0x3db6
00003db1: DUP2
00003db2: PUSH2 0x3d7a
00003db5: JUMP
00003db6: JUMPDEST
00003db7: SWAP1
00003db8: POP
00003db9: SWAP2
00003dba: SWAP1
00003dbb: POP
00003dbc: JUMP
00003dbd: JUMPDEST
00003dbe: PUSH1 0x00
00003dc0: DUP2
00003dc1: MLOAD
00003dc2: SWAP1
00003dc3: POP
00003dc4: PUSH2 0x3dcc
00003dc7: DUP2
00003dc8: PUSH2 0x2de9
00003dcb: JUMP
00003dcc: JUMPDEST
00003dcd: SWAP3
00003dce: SWAP2
00003dcf: POP
00003dd0: POP
00003dd1: JUMP
00003dd2: JUMPDEST
00003dd3: PUSH1 0x00
00003dd5: PUSH1 0x20
00003dd7: DUP3
00003dd8: DUP5
00003dd9: SUB
00003dda: SLT
00003ddb: ISZERO
00003ddc: PUSH2 0x3de8
00003ddf: JUMPI
00003de0: PUSH2 0x3de7
00003de3: PUSH2 0x2ceb
00003de6: JUMP
00003de7: JUMPDEST
00003de8: JUMPDEST
00003de9: PUSH1 0x00
00003deb: PUSH2 0x3df6
00003dee: DUP5
00003def: DUP3
00003df0: DUP6
00003df1: ADD
00003df2: PUSH2 0x3dbd
00003df5: JUMP
00003df6: JUMPDEST
00003df7: SWAP2
00003df8: POP
00003df9: POP
00003dfa: SWAP3
00003dfb: SWAP2
00003dfc: POP
00003dfd: POP
00003dfe: JUMP
00003dff: JUMPDEST
00003e00: PUSH1 0x00
00003e02: DUP2
00003e03: SWAP1
00003e04: POP
00003e05: SWAP2
00003e06: SWAP1
00003e07: POP
00003e08: JUMP
00003e09: JUMPDEST
00003e0a: PUSH1 0x00
00003e0c: PUSH2 0x3e24
00003e0f: PUSH2 0x3e1f
00003e12: PUSH2 0x3e1a
00003e15: DUP5
00003e16: PUSH2 0x3dff
00003e19: JUMP
00003e1a: JUMPDEST
00003e1b: PUSH2 0x304b
00003e1e: JUMP
00003e1f: JUMPDEST
00003e20: PUSH2 0x2f9f
00003e23: JUMP
00003e24: JUMPDEST
00003e25: SWAP1
00003e26: POP
00003e27: SWAP2
00003e28: SWAP1
00003e29: POP
00003e2a: JUMP
00003e2b: JUMPDEST
00003e2c: PUSH2 0x3e34
00003e2f: DUP2
00003e30: PUSH2 0x3e09
00003e33: JUMP
00003e34: JUMPDEST
00003e35: DUP3
00003e36: MSTORE
00003e37: POP
00003e38: POP
00003e39: JUMP
00003e3a: JUMPDEST
00003e3b: PUSH1 0x00
00003e3d: DUP2
00003e3e: MLOAD
00003e3f: SWAP1
00003e40: POP
00003e41: SWAP2
00003e42: SWAP1
00003e43: POP
00003e44: JUMP
00003e45: JUMPDEST
00003e46: PUSH1 0x00
00003e48: DUP3
00003e49: DUP3
00003e4a: MSTORE
00003e4b: PUSH1 0x20
00003e4d: DUP3
00003e4e: ADD
00003e4f: SWAP1
00003e50: POP
00003e51: SWAP3
00003e52: SWAP2
00003e53: POP
00003e54: POP
00003e55: JUMP
00003e56: JUMPDEST
00003e57: PUSH1 0x00
00003e59: DUP2
00003e5a: SWAP1
00003e5b: POP
00003e5c: PUSH1 0x20
00003e5e: DUP3
00003e5f: ADD
00003e60: SWAP1
00003e61: POP
00003e62: SWAP2
00003e63: SWAP1
00003e64: POP
00003e65: JUMP
00003e66: JUMPDEST
00003e67: PUSH2 0x3e6f
00003e6a: DUP2
00003e6b: PUSH2 0x2dd7
00003e6e: JUMP
00003e6f: JUMPDEST
00003e70: DUP3
00003e71: MSTORE
00003e72: POP
00003e73: POP
00003e74: JUMP
00003e75: JUMPDEST
00003e76: PUSH1 0x00
00003e78: PUSH2 0x3e81
00003e7b: DUP4
00003e7c: DUP4
00003e7d: PUSH2 0x3e66
00003e80: JUMP
00003e81: JUMPDEST
00003e82: PUSH1 0x20
00003e84: DUP4
00003e85: ADD
00003e86: SWAP1
00003e87: POP
00003e88: SWAP3
00003e89: SWAP2
00003e8a: POP
00003e8b: POP
00003e8c: JUMP
00003e8d: JUMPDEST
00003e8e: PUSH1 0x00
00003e90: PUSH1 0x20
00003e92: DUP3
00003e93: ADD
00003e94: SWAP1
00003e95: POP
00003e96: SWAP2
00003e97: SWAP1
00003e98: POP
00003e99: JUMP
00003e9a: JUMPDEST
00003e9b: PUSH1 0x00
00003e9d: PUSH2 0x3ea5
00003ea0: DUP3
00003ea1: PUSH2 0x3e3a
00003ea4: JUMP
00003ea5: JUMPDEST
00003ea6: PUSH2 0x3eaf
00003ea9: DUP2
00003eaa: DUP6
00003eab: PUSH2 0x3e45
00003eae: JUMP
00003eaf: JUMPDEST
00003eb0: SWAP4
00003eb1: POP
00003eb2: PUSH2 0x3eba
00003eb5: DUP4
00003eb6: PUSH2 0x3e56
00003eb9: JUMP
00003eba: JUMPDEST
00003ebb: DUP1
00003ebc: PUSH1 0x00
00003ebe: JUMPDEST
00003ebf: DUP4
00003ec0: DUP2
00003ec1: LT
00003ec2: ISZERO
00003ec3: PUSH2 0x3eeb
00003ec6: JUMPI
00003ec7: DUP2
00003ec8: MLOAD
00003ec9: PUSH2 0x3ed2
00003ecc: DUP9
00003ecd: DUP3
00003ece: PUSH2 0x3e75
00003ed1: JUMP
00003ed2: JUMPDEST
00003ed3: SWAP8
00003ed4: POP
00003ed5: PUSH2 0x3edd
00003ed8: DUP4
00003ed9: PUSH2 0x3e8d
00003edc: JUMP
00003edd: JUMPDEST
00003ede: SWAP3
00003edf: POP
00003ee0: POP
00003ee1: PUSH1 0x01
00003ee3: DUP2
00003ee4: ADD
00003ee5: SWAP1
00003ee6: POP
00003ee7: PUSH2 0x3ebe
00003eea: JUMP
00003eeb: JUMPDEST
00003eec: POP
00003eed: DUP6
00003eee: SWAP4
00003eef: POP
00003ef0: POP
00003ef1: POP
00003ef2: POP
00003ef3: SWAP3
00003ef4: SWAP2
00003ef5: POP
00003ef6: POP
00003ef7: JUMP
00003ef8: JUMPDEST
00003ef9: PUSH1 0x00
00003efb: PUSH1 0xa0
00003efd: DUP3
00003efe: ADD
00003eff: SWAP1
00003f00: POP
00003f01: PUSH2 0x3f0d
00003f04: PUSH1 0x00
00003f06: DUP4
00003f07: ADD
00003f08: DUP9
00003f09: PUSH2 0x30c5
00003f0c: JUMP
00003f0d: JUMPDEST
00003f0e: PUSH2 0x3f1a
00003f11: PUSH1 0x20
00003f13: DUP4
00003f14: ADD
00003f15: DUP8
00003f16: PUSH2 0x3e2b
00003f19: JUMP
00003f1a: JUMPDEST
00003f1b: DUP2
00003f1c: DUP2
00003f1d: SUB
00003f1e: PUSH1 0x40
00003f20: DUP4
00003f21: ADD
00003f22: MSTORE
00003f23: PUSH2 0x3f2c
00003f26: DUP2
00003f27: DUP7
00003f28: PUSH2 0x3e9a
00003f2b: JUMP
00003f2c: JUMPDEST
00003f2d: SWAP1
00003f2e: POP
00003f2f: PUSH2 0x3f3b
00003f32: PUSH1 0x60
00003f34: DUP4
00003f35: ADD
00003f36: DUP6
00003f37: PUSH2 0x3179
00003f3a: JUMP
00003f3b: JUMPDEST
00003f3c: PUSH2 0x3f48
00003f3f: PUSH1 0x80
00003f41: DUP4
00003f42: ADD
00003f43: DUP5
00003f44: PUSH2 0x30c5
00003f47: JUMP
00003f48: JUMPDEST
00003f49: SWAP7
00003f4a: SWAP6
00003f4b: POP
00003f4c: POP
00003f4d: POP
00003f4e: POP
00003f4f: POP
00003f50: POP
00003f51: JUMP
00003f52: JUMPDEST
00003f53: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003f74: PUSH1 0x00
00003f76: MSTORE
00003f77: PUSH1 0x12
00003f79: PUSH1 0x04
00003f7b: MSTORE
00003f7c: PUSH1 0x24
00003f7e: PUSH1 0x00
00003f80: REVERT
00003f81: JUMPDEST
00003f82: PUSH1 0x00
00003f84: PUSH2 0x3f8c
00003f87: DUP3
00003f88: PUSH2 0x2f9f
00003f8b: JUMP
00003f8c: JUMPDEST
00003f8d: SWAP2
00003f8e: POP
00003f8f: PUSH2 0x3f97
00003f92: DUP4
00003f93: PUSH2 0x2f9f
00003f96: JUMP
00003f97: JUMPDEST
00003f98: SWAP3
00003f99: POP
00003f9a: DUP3
00003f9b: PUSH2 0x3fa7
00003f9e: JUMPI
00003f9f: PUSH2 0x3fa6
00003fa2: PUSH2 0x3f52
00003fa5: JUMP
00003fa6: JUMPDEST
00003fa7: JUMPDEST
00003fa8: DUP3
00003fa9: DUP3
00003faa: DIV
00003fab: SWAP1
00003fac: POP
00003fad: SWAP3
00003fae: SWAP2
00003faf: POP
00003fb0: POP
00003fb1: JUMP
00003fb2: JUMPDEST
00003fb3: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003fd4: PUSH1 0x00
00003fd6: DUP3
00003fd7: ADD
00003fd8: MSTORE
00003fd9: POP
00003fda: JUMP
00003fdb: JUMPDEST
00003fdc: PUSH1 0x00
00003fde: PUSH2 0x3fe8
00003fe1: PUSH1 0x1b
00003fe3: DUP4
00003fe4: PUSH2 0x2f00
00003fe7: JUMP
00003fe8: JUMPDEST
00003fe9: SWAP2
00003fea: POP
00003feb: PUSH2 0x3ff3
00003fee: DUP3
00003fef: PUSH2 0x3fb2
00003ff2: JUMP
00003ff3: JUMPDEST
00003ff4: PUSH1 0x20
00003ff6: DUP3
00003ff7: ADD
00003ff8: SWAP1
00003ff9: POP
00003ffa: SWAP2
00003ffb: SWAP1
00003ffc: POP
00003ffd: JUMP
00003ffe: JUMPDEST
00003fff: PUSH1 0x00
00004001: PUSH1 0x20
00004003: DUP3
00004004: ADD
00004005: SWAP1
00004006: POP
00004007: DUP2
00004008: DUP2
00004009: SUB
0000400a: PUSH1 0x00
0000400c: DUP4
0000400d: ADD
0000400e: MSTORE
0000400f: PUSH2 0x4017
00004012: DUP2
00004013: PUSH2 0x3fdb
00004016: JUMP
00004017: JUMPDEST
00004018: SWAP1
00004019: POP
0000401a: SWAP2
0000401b: SWAP1
0000401c: POP
0000401d: JUMP
0000401e: JUMPDEST
0000401f: PUSH1 0x00
00004021: PUSH2 0x4029
00004024: DUP3
00004025: PUSH2 0x2f9f
00004028: JUMP
00004029: JUMPDEST
0000402a: SWAP2
0000402b: POP
0000402c: PUSH2 0x4034
0000402f: DUP4
00004030: PUSH2 0x2f9f
00004033: JUMP
00004034: JUMPDEST
00004035: SWAP3
00004036: POP
00004037: DUP2
00004038: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00004059: DIV
0000405a: DUP4
0000405b: GT
0000405c: DUP3
0000405d: ISZERO
0000405e: ISZERO
0000405f: AND
00004060: ISZERO
00004061: PUSH2 0x406d
00004064: JUMPI
00004065: PUSH2 0x406c
00004068: PUSH2 0x3453
0000406b: JUMP
0000406c: JUMPDEST
0000406d: JUMPDEST
0000406e: DUP3
0000406f: DUP3
00004070: MUL
00004071: SWAP1
00004072: POP
00004073: SWAP3
00004074: SWAP2
00004075: POP
00004076: POP
00004077: JUMP
00004078: JUMPDEST
00004079: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
0000409a: PUSH1 0x00
0000409c: DUP3
0000409d: ADD
0000409e: MSTORE
0000409f: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
000040c0: PUSH1 0x20
000040c2: DUP3
000040c3: ADD
000040c4: MSTORE
000040c5: POP
000040c6: JUMP
000040c7: JUMPDEST
000040c8: PUSH1 0x00
000040ca: PUSH2 0x40d4
000040cd: PUSH1 0x21
000040cf: DUP4
000040d0: PUSH2 0x2f00
000040d3: JUMP
000040d4: JUMPDEST
000040d5: SWAP2
000040d6: POP
000040d7: PUSH2 0x40df
000040da: DUP3
000040db: PUSH2 0x4078
000040de: JUMP
000040df: JUMPDEST
000040e0: PUSH1 0x40
000040e2: DUP3
000040e3: ADD
000040e4: SWAP1
000040e5: POP
000040e6: SWAP2
000040e7: SWAP1
000040e8: POP
000040e9: JUMP
000040ea: JUMPDEST
000040eb: PUSH1 0x00
000040ed: PUSH1 0x20
000040ef: DUP3
000040f0: ADD
000040f1: SWAP1
000040f2: POP
000040f3: DUP2
000040f4: DUP2
000040f5: SUB
000040f6: PUSH1 0x00
000040f8: DUP4
000040f9: ADD
000040fa: MSTORE
000040fb: PUSH2 0x4103
000040fe: DUP2
000040ff: PUSH2 0x40c7
00004102: JUMP
00004103: JUMPDEST
00004104: SWAP1
00004105: POP
00004106: SWAP2
00004107: SWAP1
00004108: POP
00004109: JUMP
0000410a: INVALID
0000410b: GASLIMIT
0000410c: MSTORE
0000410d: NUMBER
0000410e: ORIGIN
0000410f: ADDRESS
00004110: GASPRICE
00004111: KECCAK256
00004112: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00004128: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
0000413d: UNKNOWN(0xB9)
0000413e: PUSH9 0xbf941ade4d54b48b98
00004148: UNKNOWN(0x2D)
00004149: UNKNOWN(0xBD)
0000414a: UNKNOWN(0xF8)
0000414b: UNKNOWN(0xD6)
0000414c: UNKNOWN(0x0C)
0000414d: DUP16
0000414e: DUP7
0000414f: SWAP5
00004150: SWAP4
00004151: UNKNOWN(0xA7)
00004152: UNKNOWN(0x24)
00004153: UNKNOWN(0xE7)
00004154: LOG0
00004155: UNKNOWN(0xDB)
00004156: LOG3
00004157: PUSH3 0x41be5e
0000415b: UNKNOWN(0xBA)
0000415c: PUSH27
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": "0xc492f046", "selector": "0xc492f046", "calldata_variants": [ "0xc492f046", "0xc492f0460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea1644d5", "selector": "0xea1644d5", "calldata_variants": [ "0xea1644d5", "0xea1644d50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa2a957bb", "selector": "0xa2a957bb", "calldata_variants": [ "0xa2a957bb", "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbfd79284", "selector": "0xbfd79284", "calldata_variants": [ "0xbfd79284", "0xbfd792840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3c8cd80", "selector": "0xc3c8cd80", "calldata_variants": [ "0xc3c8cd80", "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 16654, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xae3fcb008fa1652db272fd0592677ecae23989964a2c27654a245dc5c2f7beef call_targets: 0x0fd48023b21d1847b5532ed619c2ce3e552f9b07 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xae3fcb008fa1652db272fd0592677ecae23989964a2c27654a245dc5c2f7beef", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0fd48023b21d1847b5532ed619c2ce3e552f9b07" ], "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": "0xc492f046", "selector": "0xc492f046", "calldata_variants": [ "0xc492f046", "0xc492f0460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea1644d5", "selector": "0xea1644d5", "calldata_variants": [ "0xea1644d5", "0xea1644d50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa2a957bb", "selector": "0xa2a957bb", "calldata_variants": [ "0xa2a957bb", "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbfd79284", "selector": "0xbfd79284", "calldata_variants": [ "0xbfd79284", "0xbfd792840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3c8cd80", "selector": "0xc3c8cd80", "calldata_variants": [ "0xc3c8cd80", "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8879, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9610, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 16654, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xae3fcb008fa1652db272fd0592677ecae23989964a2c27654a245dc5c2f7beef call_targets: 0x0fd48023b21d1847b5532ed619c2ce3e552f9b07 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xae3fcb008fa1652db272fd0592677ecae23989964a2c27654a245dc5c2f7beef", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0fd48023b21d1847b5532ed619c2ce3e552f9b07" ], "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": "0xc492f046", "selector": "0xc492f046", "calldata_variants": [ "0xc492f046", "0xc492f0460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea1644d5", "selector": "0xea1644d5", "calldata_variants": [ "0xea1644d5", "0xea1644d50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa2a957bb", "selector": "0xa2a957bb", "calldata_variants": [ "0xa2a957bb", "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbfd79284", "selector": "0xbfd79284", "calldata_variants": [ "0xbfd79284", "0xbfd792840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3c8cd80", "selector": "0xc3c8cd80", "calldata_variants": [ "0xc3c8cd80", "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8879, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9610, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 16654, "type": "tx_origin_used" } ] }
Severity