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

019b477e-c44e-7094-9c58-e2f9b78564e5
complete
Chain ID
Address
0xdffc63f92c939deb112d88735ade3b4d21b6d491
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
25385	artifact.fetch	complete	1 / 3	3 months ago
25386	tool.cast_disasm	complete	1 / 3	3 months ago
90777	analysis.bundle	complete	1 / 3	2 weeks ago
90778	capability.graph	complete	1 / 3	2 weeks ago
90779	detector.run	complete	1 / 3	2 weeks ago
90780	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
7951
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x026b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x0144
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa8aa1b31
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe2f45605
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe2f45605
0000003a: EQ
0000003b: PUSH2 0x06bd
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xea2f0b37
00000045: EQ
00000046: PUSH2 0x06d2
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xea4cfe12
00000050: EQ
00000051: PUSH2 0x06f2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0707
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf887ea40
00000066: EQ
00000067: PUSH2 0x0727
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xfcf07c6b
00000071: EQ
00000072: PUSH2 0x073c
00000075: JUMPI
00000076: PUSH2 0x0272
00000079: JUMP
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xa8aa1b31
00000081: EQ
00000082: PUSH2 0x0633
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa9059cbb
0000008c: EQ
0000008d: PUSH2 0x0648
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xb4f5f09e
00000097: EQ
00000098: PUSH2 0x0668
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc3e0f5cf
000000a2: EQ
000000a3: PUSH2 0x067d
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xdd62ed3e
000000ad: EQ
000000ae: PUSH2 0x069d
000000b1: JUMPI
000000b2: PUSH2 0x0272
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x8f9a55c0
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x8f9a55c0
000000c8: EQ
000000c9: PUSH2 0x0594
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x924de9b7
000000d3: EQ
000000d4: PUSH2 0x05a9
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x95d89b41
000000de: EQ
000000df: PUSH2 0x05c9
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x9e252f00
000000e9: EQ
000000ea: PUSH2 0x05de
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xa457c2d7
000000f4: EQ
000000f5: PUSH2 0x05fe
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xa5ece941
000000ff: EQ
00000100: PUSH2 0x061e
00000103: JUMPI
00000104: PUSH2 0x0272
00000107: JUMP
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x715018a6
0000010f: EQ
00000110: PUSH2 0x0515
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x82bf293c
0000011a: EQ
0000011b: PUSH2 0x052a
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x88e765ff
00000125: EQ
00000126: PUSH2 0x054a
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x88f82020
00000130: EQ
00000131: PUSH2 0x055f
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x8da5cb5b
0000013b: EQ
0000013c: PUSH2 0x057f
0000013f: JUMPI
00000140: PUSH2 0x0272
00000143: JUMP
00000144: JUMPDEST
00000145: DUP1
00000146: PUSH4 0x3bd5d173
0000014b: GT
0000014c: PUSH2 0x01dd
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x52390c02
00000156: GT
00000157: PUSH2 0x01a1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x52390c02
00000161: EQ
00000162: PUSH2 0x0476
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x5342acb4
0000016c: EQ
0000016d: PUSH2 0x0496
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x550e8867
00000177: EQ
00000178: PUSH2 0x04b6
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x66d602ae
00000182: EQ
00000183: PUSH2 0x04cb
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x6ddd1713
0000018d: EQ
0000018e: PUSH2 0x04e0
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x70a08231
00000198: EQ
00000199: PUSH2 0x04f5
0000019c: JUMPI
0000019d: PUSH2 0x0272
000001a0: JUMP
000001a1: JUMPDEST
000001a2: DUP1
000001a3: PUSH4 0x3bd5d173
000001a8: EQ
000001a9: PUSH2 0x03e1
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x41cb87fc
000001b3: EQ
000001b4: PUSH2 0x0401
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x437823ec
000001be: EQ
000001bf: PUSH2 0x0421
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x4549b039
000001c9: EQ
000001ca: PUSH2 0x0441
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x4ada218b
000001d4: EQ
000001d5: PUSH2 0x0461
000001d8: JUMPI
000001d9: PUSH2 0x0272
000001dc: JUMP
000001dd: JUMPDEST
000001de: DUP1
000001df: PUSH4 0x27c8f835
000001e4: GT
000001e5: PUSH2 0x022f
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x27c8f835
000001ef: EQ
000001f0: PUSH2 0x0333
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x293230b8
000001fa: EQ
000001fb: PUSH2 0x0348
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x2d838119
00000205: EQ
00000206: PUSH2 0x035f
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x313ce567
00000210: EQ
00000211: PUSH2 0x037f
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x3685d419
0000021b: EQ
0000021c: PUSH2 0x03a1
0000021f: JUMPI
00000220: DUP1
00000221: PUSH4 0x39509351
00000226: EQ
00000227: PUSH2 0x03c1
0000022a: JUMPI
0000022b: PUSH2 0x0272
0000022e: JUMP
0000022f: JUMPDEST
00000230: DUP1
00000231: PUSH4 0x06fdde03
00000236: EQ
00000237: PUSH2 0x0277
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x095ea7b3
00000241: EQ
00000242: PUSH2 0x02a2
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x15abe50f
0000024c: EQ
0000024d: PUSH2 0x02cf
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x18160ddd
00000257: EQ
00000258: PUSH2 0x02f1
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x23b872dd
00000262: EQ
00000263: PUSH2 0x0313
00000266: JUMPI
00000267: PUSH2 0x0272
0000026a: JUMP
0000026b: JUMPDEST
0000026c: CALLDATASIZE
0000026d: PUSH2 0x0272
00000270: JUMPI
00000271: STOP
00000272: JUMPDEST
00000273: PUSH1 0x00
00000275: DUP1
00000276: REVERT
00000277: JUMPDEST
00000278: CALLVALUE
00000279: DUP1
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: PUSH2 0x028c
00000288: PUSH2 0x0751
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: PUSH2 0x0299
00000293: SWAP2
00000294: SWAP1
00000295: PUSH2 0x2a9f
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: DUP1
0000029e: SWAP2
0000029f: SUB
000002a0: SWAP1
000002a1: RETURN
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x02c2
000002b3: PUSH2 0x02bd
000002b6: CALLDATASIZE
000002b7: PUSH1 0x04
000002b9: PUSH2 0x292e
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH2 0x0777
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: PUSH2 0x0299
000002c9: SWAP2
000002ca: SWAP1
000002cb: PUSH2 0x2a94
000002ce: JUMP
000002cf: JUMPDEST
000002d0: CALLVALUE
000002d1: DUP1
000002d2: ISZERO
000002d3: PUSH2 0x02db
000002d6: JUMPI
000002d7: PUSH1 0x00
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: POP
000002dd: PUSH2 0x02e4
000002e0: PUSH2 0x0795
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: PUSH2 0x0299
000002eb: SWAP2
000002ec: SWAP1
000002ed: PUSH2 0x2a12
000002f0: JUMP
000002f1: JUMPDEST
000002f2: CALLVALUE
000002f3: DUP1
000002f4: ISZERO
000002f5: PUSH2 0x02fd
000002f8: JUMPI
000002f9: PUSH1 0x00
000002fb: DUP1
000002fc: REVERT
000002fd: JUMPDEST
000002fe: POP
000002ff: PUSH2 0x0306
00000302: PUSH2 0x07a4
00000305: JUMP
00000306: JUMPDEST
00000307: PUSH1 0x40
00000309: MLOAD
0000030a: PUSH2 0x0299
0000030d: SWAP2
0000030e: SWAP1
0000030f: PUSH2 0x2f79
00000312: JUMP
00000313: JUMPDEST
00000314: CALLVALUE
00000315: DUP1
00000316: ISZERO
00000317: PUSH2 0x031f
0000031a: JUMPI
0000031b: PUSH1 0x00
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH2 0x02c2
00000324: PUSH2 0x032e
00000327: CALLDATASIZE
00000328: PUSH1 0x04
0000032a: PUSH2 0x28ee
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH2 0x07aa
00000332: JUMP
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x02e4
00000344: PUSH2 0x0831
00000347: JUMP
00000348: JUMPDEST
00000349: CALLVALUE
0000034a: DUP1
0000034b: ISZERO
0000034c: PUSH2 0x0354
0000034f: JUMPI
00000350: PUSH1 0x00
00000352: DUP1
00000353: REVERT
00000354: JUMPDEST
00000355: POP
00000356: PUSH2 0x035d
00000359: PUSH2 0x0837
0000035c: JUMP
0000035d: JUMPDEST
0000035e: STOP
0000035f: JUMPDEST
00000360: CALLVALUE
00000361: DUP1
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: PUSH2 0x0306
00000370: PUSH2 0x037a
00000373: CALLDATASIZE
00000374: PUSH1 0x04
00000376: PUSH2 0x2991
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH2 0x08d1
0000037e: JUMP
0000037f: JUMPDEST
00000380: CALLVALUE
00000381: DUP1
00000382: ISZERO
00000383: PUSH2 0x038b
00000386: JUMPI
00000387: PUSH1 0x00
00000389: DUP1
0000038a: REVERT
0000038b: JUMPDEST
0000038c: POP
0000038d: PUSH2 0x0394
00000390: PUSH2 0x0914
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH1 0x40
00000397: MLOAD
00000398: PUSH2 0x0299
0000039b: SWAP2
0000039c: SWAP1
0000039d: PUSH2 0x2ff2
000003a0: JUMP
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: DUP1
000003a4: ISZERO
000003a5: PUSH2 0x03ad
000003a8: JUMPI
000003a9: PUSH1 0x00
000003ab: DUP1
000003ac: REVERT
000003ad: JUMPDEST
000003ae: POP
000003af: PUSH2 0x035d
000003b2: PUSH2 0x03bc
000003b5: CALLDATASIZE
000003b6: PUSH1 0x04
000003b8: PUSH2 0x287e
000003bb: JUMP
000003bc: JUMPDEST
000003bd: PUSH2 0x0919
000003c0: JUMP
000003c1: JUMPDEST
000003c2: CALLVALUE
000003c3: DUP1
000003c4: ISZERO
000003c5: PUSH2 0x03cd
000003c8: JUMPI
000003c9: PUSH1 0x00
000003cb: DUP1
000003cc: REVERT
000003cd: JUMPDEST
000003ce: POP
000003cf: PUSH2 0x02c2
000003d2: PUSH2 0x03dc
000003d5: CALLDATASIZE
000003d6: PUSH1 0x04
000003d8: PUSH2 0x292e
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x0aee
000003e0: JUMP
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: DUP1
000003e4: ISZERO
000003e5: PUSH2 0x03ed
000003e8: JUMPI
000003e9: PUSH1 0x00
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH2 0x035d
000003f2: PUSH2 0x03fc
000003f5: CALLDATASIZE
000003f6: PUSH1 0x04
000003f8: PUSH2 0x2991
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH2 0x0b3d
00000400: JUMP
00000401: JUMPDEST
00000402: CALLVALUE
00000403: DUP1
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: PUSH2 0x035d
00000412: PUSH2 0x041c
00000415: CALLDATASIZE
00000416: PUSH1 0x04
00000418: PUSH2 0x287e
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH2 0x0be7
00000420: JUMP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH2 0x035d
00000432: PUSH2 0x043c
00000435: CALLDATASIZE
00000436: PUSH1 0x04
00000438: PUSH2 0x287e
0000043b: JUMP
0000043c: JUMPDEST
0000043d: PUSH2 0x0f8d
00000440: JUMP
00000441: JUMPDEST
00000442: CALLVALUE
00000443: DUP1
00000444: ISZERO
00000445: PUSH2 0x044d
00000448: JUMPI
00000449: PUSH1 0x00
0000044b: DUP1
0000044c: REVERT
0000044d: JUMPDEST
0000044e: POP
0000044f: PUSH2 0x0306
00000452: PUSH2 0x045c
00000455: CALLDATASIZE
00000456: PUSH1 0x04
00000458: PUSH2 0x29c1
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH2 0x0ff0
00000460: JUMP
00000461: JUMPDEST
00000462: CALLVALUE
00000463: DUP1
00000464: ISZERO
00000465: PUSH2 0x046d
00000468: JUMPI
00000469: PUSH1 0x00
0000046b: DUP1
0000046c: REVERT
0000046d: JUMPDEST
0000046e: POP
0000046f: PUSH2 0x02c2
00000472: PUSH2 0x104a
00000475: JUMP
00000476: JUMPDEST
00000477: CALLVALUE
00000478: DUP1
00000479: ISZERO
0000047a: PUSH2 0x0482
0000047d: JUMPI
0000047e: PUSH1 0x00
00000480: DUP1
00000481: REVERT
00000482: JUMPDEST
00000483: POP
00000484: PUSH2 0x035d
00000487: PUSH2 0x0491
0000048a: CALLDATASIZE
0000048b: PUSH1 0x04
0000048d: PUSH2 0x287e
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH2 0x1053
00000495: JUMP
00000496: JUMPDEST
00000497: CALLVALUE
00000498: DUP1
00000499: ISZERO
0000049a: PUSH2 0x04a2
0000049d: JUMPI
0000049e: PUSH1 0x00
000004a0: DUP1
000004a1: REVERT
000004a2: JUMPDEST
000004a3: POP
000004a4: PUSH2 0x02c2
000004a7: PUSH2 0x04b1
000004aa: CALLDATASIZE
000004ab: PUSH1 0x04
000004ad: PUSH2 0x287e
000004b0: JUMP
000004b1: JUMPDEST
000004b2: PUSH2 0x118b
000004b5: JUMP
000004b6: JUMPDEST
000004b7: CALLVALUE
000004b8: DUP1
000004b9: ISZERO
000004ba: PUSH2 0x04c2
000004bd: JUMPI
000004be: PUSH1 0x00
000004c0: DUP1
000004c1: REVERT
000004c2: JUMPDEST
000004c3: POP
000004c4: PUSH2 0x02e4
000004c7: PUSH2 0x11a9
000004ca: JUMP
000004cb: JUMPDEST
000004cc: CALLVALUE
000004cd: DUP1
000004ce: ISZERO
000004cf: PUSH2 0x04d7
000004d2: JUMPI
000004d3: PUSH1 0x00
000004d5: DUP1
000004d6: REVERT
000004d7: JUMPDEST
000004d8: POP
000004d9: PUSH2 0x0306
000004dc: PUSH2 0x11b8
000004df: JUMP
000004e0: JUMPDEST
000004e1: CALLVALUE
000004e2: DUP1
000004e3: ISZERO
000004e4: PUSH2 0x04ec
000004e7: JUMPI
000004e8: PUSH1 0x00
000004ea: DUP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: POP
000004ee: PUSH2 0x02c2
000004f1: PUSH2 0x11be
000004f4: JUMP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x0306
00000506: PUSH2 0x0510
00000509: CALLDATASIZE
0000050a: PUSH1 0x04
0000050c: PUSH2 0x287e
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH2 0x11cc
00000514: JUMP
00000515: JUMPDEST
00000516: CALLVALUE
00000517: DUP1
00000518: ISZERO
00000519: PUSH2 0x0521
0000051c: JUMPI
0000051d: PUSH1 0x00
0000051f: DUP1
00000520: REVERT
00000521: JUMPDEST
00000522: POP
00000523: PUSH2 0x035d
00000526: PUSH2 0x122e
00000529: JUMP
0000052a: JUMPDEST
0000052b: CALLVALUE
0000052c: DUP1
0000052d: ISZERO
0000052e: PUSH2 0x0536
00000531: JUMPI
00000532: PUSH1 0x00
00000534: DUP1
00000535: REVERT
00000536: JUMPDEST
00000537: POP
00000538: PUSH2 0x035d
0000053b: PUSH2 0x0545
0000053e: CALLDATASIZE
0000053f: PUSH1 0x04
00000541: PUSH2 0x2991
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH2 0x1279
00000549: JUMP
0000054a: JUMPDEST
0000054b: CALLVALUE
0000054c: DUP1
0000054d: ISZERO
0000054e: PUSH2 0x0556
00000551: JUMPI
00000552: PUSH1 0x00
00000554: DUP1
00000555: REVERT
00000556: JUMPDEST
00000557: POP
00000558: PUSH2 0x0306
0000055b: PUSH2 0x12de
0000055e: JUMP
0000055f: JUMPDEST
00000560: CALLVALUE
00000561: DUP1
00000562: ISZERO
00000563: PUSH2 0x056b
00000566: JUMPI
00000567: PUSH1 0x00
00000569: DUP1
0000056a: REVERT
0000056b: JUMPDEST
0000056c: POP
0000056d: PUSH2 0x02c2
00000570: PUSH2 0x057a
00000573: CALLDATASIZE
00000574: PUSH1 0x04
00000576: PUSH2 0x287e
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH2 0x12e4
0000057e: JUMP
0000057f: JUMPDEST
00000580: CALLVALUE
00000581: DUP1
00000582: ISZERO
00000583: PUSH2 0x058b
00000586: JUMPI
00000587: PUSH1 0x00
00000589: DUP1
0000058a: REVERT
0000058b: JUMPDEST
0000058c: POP
0000058d: PUSH2 0x02e4
00000590: PUSH2 0x1302
00000593: JUMP
00000594: JUMPDEST
00000595: CALLVALUE
00000596: DUP1
00000597: ISZERO
00000598: PUSH2 0x05a0
0000059b: JUMPI
0000059c: PUSH1 0x00
0000059e: DUP1
0000059f: REVERT
000005a0: JUMPDEST
000005a1: POP
000005a2: PUSH2 0x0306
000005a5: PUSH2 0x1311
000005a8: JUMP
000005a9: JUMPDEST
000005aa: CALLVALUE
000005ab: DUP1
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: POP
000005b7: PUSH2 0x035d
000005ba: PUSH2 0x05c4
000005bd: CALLDATASIZE
000005be: PUSH1 0x04
000005c0: PUSH2 0x2959
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH2 0x1317
000005c8: JUMP
000005c9: JUMPDEST
000005ca: CALLVALUE
000005cb: DUP1
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: POP
000005d7: PUSH2 0x028c
000005da: PUSH2 0x1370
000005dd: JUMP
000005de: JUMPDEST
000005df: CALLVALUE
000005e0: DUP1
000005e1: ISZERO
000005e2: PUSH2 0x05ea
000005e5: JUMPI
000005e6: PUSH1 0x00
000005e8: DUP1
000005e9: REVERT
000005ea: JUMPDEST
000005eb: POP
000005ec: PUSH2 0x035d
000005ef: PUSH2 0x05f9
000005f2: CALLDATASIZE
000005f3: PUSH1 0x04
000005f5: PUSH2 0x2991
000005f8: JUMP
000005f9: JUMPDEST
000005fa: PUSH2 0x1395
000005fd: JUMP
000005fe: JUMPDEST
000005ff: CALLVALUE
00000600: DUP1
00000601: ISZERO
00000602: PUSH2 0x060a
00000605: JUMPI
00000606: PUSH1 0x00
00000608: DUP1
00000609: REVERT
0000060a: JUMPDEST
0000060b: POP
0000060c: PUSH2 0x02c2
0000060f: PUSH2 0x0619
00000612: CALLDATASIZE
00000613: PUSH1 0x04
00000615: PUSH2 0x292e
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH2 0x1421
0000061d: JUMP
0000061e: JUMPDEST
0000061f: CALLVALUE
00000620: DUP1
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: PUSH2 0x02e4
0000062f: PUSH2 0x1489
00000632: JUMP
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x02e4
00000644: PUSH2 0x1498
00000647: JUMP
00000648: JUMPDEST
00000649: CALLVALUE
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: POP
00000656: PUSH2 0x02c2
00000659: PUSH2 0x0663
0000065c: CALLDATASIZE
0000065d: PUSH1 0x04
0000065f: PUSH2 0x292e
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH2 0x14a7
00000667: JUMP
00000668: JUMPDEST
00000669: CALLVALUE
0000066a: DUP1
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH2 0x035d
00000679: PUSH2 0x14bb
0000067c: JUMP
0000067d: JUMPDEST
0000067e: CALLVALUE
0000067f: DUP1
00000680: ISZERO
00000681: PUSH2 0x0689
00000684: JUMPI
00000685: PUSH1 0x00
00000687: DUP1
00000688: REVERT
00000689: JUMPDEST
0000068a: POP
0000068b: PUSH2 0x035d
0000068e: PUSH2 0x0698
00000691: CALLDATASIZE
00000692: PUSH1 0x04
00000694: PUSH2 0x287e
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH2 0x1519
0000069c: JUMP
0000069d: JUMPDEST
0000069e: CALLVALUE
0000069f: DUP1
000006a0: ISZERO
000006a1: PUSH2 0x06a9
000006a4: JUMPI
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: REVERT
000006a9: JUMPDEST
000006aa: POP
000006ab: PUSH2 0x0306
000006ae: PUSH2 0x06b8
000006b1: CALLDATASIZE
000006b2: PUSH1 0x04
000006b4: PUSH2 0x28b6
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH2 0x164d
000006bc: JUMP
000006bd: JUMPDEST
000006be: CALLVALUE
000006bf: DUP1
000006c0: ISZERO
000006c1: PUSH2 0x06c9
000006c4: JUMPI
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: POP
000006cb: PUSH2 0x0306
000006ce: PUSH2 0x1678
000006d1: JUMP
000006d2: JUMPDEST
000006d3: CALLVALUE
000006d4: DUP1
000006d5: ISZERO
000006d6: PUSH2 0x06de
000006d9: JUMPI
000006da: PUSH1 0x00
000006dc: DUP1
000006dd: REVERT
000006de: JUMPDEST
000006df: POP
000006e0: PUSH2 0x035d
000006e3: PUSH2 0x06ed
000006e6: CALLDATASIZE
000006e7: PUSH1 0x04
000006e9: PUSH2 0x287e
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH2 0x167e
000006f1: JUMP
000006f2: JUMPDEST
000006f3: CALLVALUE
000006f4: DUP1
000006f5: ISZERO
000006f6: PUSH2 0x06fe
000006f9: JUMPI
000006fa: PUSH1 0x00
000006fc: DUP1
000006fd: REVERT
000006fe: JUMPDEST
000006ff: POP
00000700: PUSH2 0x02e4
00000703: PUSH2 0x16de
00000706: JUMP
00000707: JUMPDEST
00000708: CALLVALUE
00000709: DUP1
0000070a: ISZERO
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: PUSH2 0x035d
00000718: PUSH2 0x0722
0000071b: CALLDATASIZE
0000071c: PUSH1 0x04
0000071e: PUSH2 0x287e
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH2 0x16ed
00000726: JUMP
00000727: JUMPDEST
00000728: CALLVALUE
00000729: DUP1
0000072a: ISZERO
0000072b: PUSH2 0x0733
0000072e: JUMPI
0000072f: PUSH1 0x00
00000731: DUP1
00000732: REVERT
00000733: JUMPDEST
00000734: POP
00000735: PUSH2 0x02e4
00000738: PUSH2 0x175e
0000073b: JUMP
0000073c: JUMPDEST
0000073d: CALLVALUE
0000073e: DUP1
0000073f: ISZERO
00000740: PUSH2 0x0748
00000743: JUMPI
00000744: PUSH1 0x00
00000746: DUP1
00000747: REVERT
00000748: JUMPDEST
00000749: POP
0000074a: PUSH2 0x02e4
0000074d: PUSH2 0x1774
00000750: JUMP
00000751: JUMPDEST
00000752: PUSH1 0x40
00000754: DUP1
00000755: MLOAD
00000756: DUP1
00000757: DUP3
00000758: ADD
00000759: SWAP1
0000075a: SWAP2
0000075b: MSTORE
0000075c: PUSH1 0x0c
0000075e: DUP2
0000075f: MSTORE
00000760: PUSH12 0x2232bb37bab9102a37b5b2b7
0000076d: PUSH1 0xa1
0000076f: SHL
00000770: PUSH1 0x20
00000772: DUP3
00000773: ADD
00000774: MSTORE
00000775: SWAP1
00000776: JUMP
00000777: JUMPDEST
00000778: PUSH1 0x00
0000077a: PUSH2 0x078b
0000077d: PUSH2 0x0784
00000780: PUSH2 0x17a2
00000783: JUMP
00000784: JUMPDEST
00000785: DUP5
00000786: DUP5
00000787: PUSH2 0x17a6
0000078a: JUMP
0000078b: JUMPDEST
0000078c: POP
0000078d: PUSH1 0x01
0000078f: JUMPDEST
00000790: SWAP3
00000791: SWAP2
00000792: POP
00000793: POP
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x14
00000798: SLOAD
00000799: PUSH1 0x01
0000079b: PUSH1 0x01
0000079d: PUSH1 0xa0
0000079f: SHL
000007a0: SUB
000007a1: AND
000007a2: DUP2
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH1 0x0a
000007a7: SLOAD
000007a8: SWAP1
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH1 0x00
000007ad: PUSH2 0x07b7
000007b0: DUP5
000007b1: DUP5
000007b2: DUP5
000007b3: PUSH2 0x185a
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH2 0x0827
000007bb: DUP5
000007bc: PUSH2 0x07c3
000007bf: PUSH2 0x17a2
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH2 0x0822
000007c7: DUP6
000007c8: PUSH1 0x40
000007ca: MLOAD
000007cb: DUP1
000007cc: PUSH1 0x60
000007ce: ADD
000007cf: PUSH1 0x40
000007d1: MSTORE
000007d2: DUP1
000007d3: PUSH1 0x28
000007d5: DUP2
000007d6: MSTORE
000007d7: PUSH1 0x20
000007d9: ADD
000007da: PUSH2 0x30c3
000007dd: PUSH1 0x28
000007df: SWAP2
000007e0: CODECOPY
000007e1: PUSH1 0x01
000007e3: PUSH1 0x01
000007e5: PUSH1 0xa0
000007e7: SHL
000007e8: SUB
000007e9: DUP11
000007ea: AND
000007eb: PUSH1 0x00
000007ed: SWAP1
000007ee: DUP2
000007ef: MSTORE
000007f0: PUSH1 0x03
000007f2: PUSH1 0x20
000007f4: MSTORE
000007f5: PUSH1 0x40
000007f7: DUP2
000007f8: KECCAK256
000007f9: SWAP1
000007fa: PUSH2 0x0801
000007fd: PUSH2 0x17a2
00000800: JUMP
00000801: JUMPDEST
00000802: PUSH1 0x01
00000804: PUSH1 0x01
00000806: PUSH1 0xa0
00000808: SHL
00000809: SUB
0000080a: AND
0000080b: DUP2
0000080c: MSTORE
0000080d: PUSH1 0x20
0000080f: DUP2
00000810: ADD
00000811: SWAP2
00000812: SWAP1
00000813: SWAP2
00000814: MSTORE
00000815: PUSH1 0x40
00000817: ADD
00000818: PUSH1 0x00
0000081a: KECCAK256
0000081b: SLOAD
0000081c: SWAP2
0000081d: SWAP1
0000081e: PUSH2 0x1c1a
00000821: JUMP
00000822: JUMPDEST
00000823: PUSH2 0x17a6
00000826: JUMP
00000827: JUMPDEST
00000828: POP
00000829: PUSH1 0x01
0000082b: SWAP4
0000082c: SWAP3
0000082d: POP
0000082e: POP
0000082f: POP
00000830: JUMP
00000831: JUMPDEST
00000832: PUSH2 0xdead
00000835: DUP2
00000836: JUMP
00000837: JUMPDEST
00000838: PUSH2 0x083f
0000083b: PUSH2 0x17a2
0000083e: JUMP
0000083f: JUMPDEST
00000840: PUSH1 0x01
00000842: PUSH1 0x01
00000844: PUSH1 0xa0
00000846: SHL
00000847: SUB
00000848: AND
00000849: PUSH2 0x0850
0000084c: PUSH2 0x1302
0000084f: JUMP
00000850: JUMPDEST
00000851: PUSH1 0x01
00000853: PUSH1 0x01
00000855: PUSH1 0xa0
00000857: SHL
00000858: SUB
00000859: AND
0000085a: EQ
0000085b: PUSH2 0x087f
0000085e: JUMPI
0000085f: PUSH1 0x40
00000861: MLOAD
00000862: PUSH3 0x461bcd
00000866: PUSH1 0xe5
00000868: SHL
00000869: DUP2
0000086a: MSTORE
0000086b: PUSH1 0x04
0000086d: ADD
0000086e: PUSH2 0x0876
00000871: SWAP1
00000872: PUSH2 0x2d77
00000875: JUMP
00000876: JUMPDEST
00000877: PUSH1 0x40
00000879: MLOAD
0000087a: DUP1
0000087b: SWAP2
0000087c: SUB
0000087d: SWAP1
0000087e: REVERT
0000087f: JUMPDEST
00000880: PUSH1 0x08
00000882: DUP1
00000883: SLOAD
00000884: PUSH2 0xff00
00000887: NOT
00000888: PUSH1 0xff
0000088a: NOT
0000088b: SWAP1
0000088c: SWAP2
0000088d: AND
0000088e: PUSH1 0x01
00000890: OR
00000891: AND
00000892: PUSH2 0x0100
00000895: OR
00000896: SWAP1
00000897: SSTORE
00000898: PUSH1 0x40
0000089a: MLOAD
0000089b: PUSH32 0xb3da2db3dfc3778f99852546c6e9ab39ec253f9de7b0847afec61bd27878e923
000008bc: SWAP1
000008bd: PUSH2 0x08c7
000008c0: SWAP1
000008c1: TIMESTAMP
000008c2: SWAP1
000008c3: PUSH2 0x2f79
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH1 0x40
000008ca: MLOAD
000008cb: DUP1
000008cc: SWAP2
000008cd: SUB
000008ce: SWAP1
000008cf: LOG1
000008d0: JUMP
000008d1: JUMPDEST
000008d2: PUSH1 0x00
000008d4: PUSH1 0x0b
000008d6: SLOAD
000008d7: DUP3
000008d8: GT
000008d9: ISZERO
000008da: PUSH2 0x08f5
000008dd: JUMPI
000008de: PUSH1 0x40
000008e0: MLOAD
000008e1: PUSH3 0x461bcd
000008e5: PUSH1 0xe5
000008e7: SHL
000008e8: DUP2
000008e9: MSTORE
000008ea: PUSH1 0x04
000008ec: ADD
000008ed: PUSH2 0x0876
000008f0: SWAP1
000008f1: PUSH2 0x2bbd
000008f4: JUMP
000008f5: JUMPDEST
000008f6: PUSH1 0x00
000008f8: PUSH2 0x08ff
000008fb: PUSH2 0x1c46
000008fe: JUMP
000008ff: JUMPDEST
00000900: SWAP1
00000901: POP
00000902: PUSH2 0x090b
00000905: DUP2
00000906: DUP5
00000907: PUSH2 0x3018
0000090a: JUMP
0000090b: JUMPDEST
0000090c: SWAP2
0000090d: POP
0000090e: POP
0000090f: JUMPDEST
00000910: SWAP2
00000911: SWAP1
00000912: POP
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x12
00000917: SWAP1
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH2 0x0921
0000091d: PUSH2 0x17a2
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH1 0x01
00000924: PUSH1 0x01
00000926: PUSH1 0xa0
00000928: SHL
00000929: SUB
0000092a: AND
0000092b: PUSH2 0x0932
0000092e: PUSH2 0x1302
00000931: JUMP
00000932: JUMPDEST
00000933: PUSH1 0x01
00000935: PUSH1 0x01
00000937: PUSH1 0xa0
00000939: SHL
0000093a: SUB
0000093b: AND
0000093c: EQ
0000093d: PUSH2 0x0958
00000940: JUMPI
00000941: PUSH1 0x40
00000943: MLOAD
00000944: PUSH3 0x461bcd
00000948: PUSH1 0xe5
0000094a: SHL
0000094b: DUP2
0000094c: MSTORE
0000094d: PUSH1 0x04
0000094f: ADD
00000950: PUSH2 0x0876
00000953: SWAP1
00000954: PUSH2 0x2d77
00000957: JUMP
00000958: JUMPDEST
00000959: PUSH1 0x01
0000095b: PUSH1 0x01
0000095d: PUSH1 0xa0
0000095f: SHL
00000960: SUB
00000961: DUP2
00000962: AND
00000963: PUSH1 0x00
00000965: SWAP1
00000966: DUP2
00000967: MSTORE
00000968: PUSH1 0x06
0000096a: PUSH1 0x20
0000096c: MSTORE
0000096d: PUSH1 0x40
0000096f: SWAP1
00000970: KECCAK256
00000971: SLOAD
00000972: PUSH1 0xff
00000974: AND
00000975: PUSH2 0x0990
00000978: JUMPI
00000979: PUSH1 0x40
0000097b: MLOAD
0000097c: PUSH3 0x461bcd
00000980: PUSH1 0xe5
00000982: SHL
00000983: DUP2
00000984: MSTORE
00000985: PUSH1 0x04
00000987: ADD
00000988: PUSH2 0x0876
0000098b: SWAP1
0000098c: PUSH2 0x2d09
0000098f: JUMP
00000990: JUMPDEST
00000991: PUSH1 0x00
00000993: JUMPDEST
00000994: PUSH1 0x07
00000996: SLOAD
00000997: DUP2
00000998: LT
00000999: ISZERO
0000099a: PUSH2 0x0aea
0000099d: JUMPI
0000099e: DUP2
0000099f: PUSH1 0x01
000009a1: PUSH1 0x01
000009a3: PUSH1 0xa0
000009a5: SHL
000009a6: SUB
000009a7: AND
000009a8: PUSH1 0x07
000009aa: DUP3
000009ab: DUP2
000009ac: SLOAD
000009ad: DUP2
000009ae: LT
000009af: PUSH2 0x09c8
000009b2: JUMPI
000009b3: PUSH4 0x4e487b71
000009b8: PUSH1 0xe0
000009ba: SHL
000009bb: PUSH1 0x00
000009bd: MSTORE
000009be: PUSH1 0x32
000009c0: PUSH1 0x04
000009c2: MSTORE
000009c3: PUSH1 0x24
000009c5: PUSH1 0x00
000009c7: REVERT
000009c8: JUMPDEST
000009c9: PUSH1 0x00
000009cb: SWAP2
000009cc: DUP3
000009cd: MSTORE
000009ce: PUSH1 0x20
000009d0: SWAP1
000009d1: SWAP2
000009d2: KECCAK256
000009d3: ADD
000009d4: SLOAD
000009d5: PUSH1 0x01
000009d7: PUSH1 0x01
000009d9: PUSH1 0xa0
000009db: SHL
000009dc: SUB
000009dd: AND
000009de: EQ
000009df: ISZERO
000009e0: PUSH2 0x0ad8
000009e3: JUMPI
000009e4: PUSH1 0x07
000009e6: DUP1
000009e7: SLOAD
000009e8: PUSH2 0x09f3
000009eb: SWAP1
000009ec: PUSH1 0x01
000009ee: SWAP1
000009ef: PUSH2 0x3057
000009f2: JUMP
000009f3: JUMPDEST
000009f4: DUP2
000009f5: SLOAD
000009f6: DUP2
000009f7: LT
000009f8: PUSH2 0x0a11
000009fb: JUMPI
000009fc: PUSH4 0x4e487b71
00000a01: PUSH1 0xe0
00000a03: SHL
00000a04: PUSH1 0x00
00000a06: MSTORE
00000a07: PUSH1 0x32
00000a09: PUSH1 0x04
00000a0b: MSTORE
00000a0c: PUSH1 0x24
00000a0e: PUSH1 0x00
00000a10: REVERT
00000a11: JUMPDEST
00000a12: PUSH1 0x00
00000a14: SWAP2
00000a15: DUP3
00000a16: MSTORE
00000a17: PUSH1 0x20
00000a19: SWAP1
00000a1a: SWAP2
00000a1b: KECCAK256
00000a1c: ADD
00000a1d: SLOAD
00000a1e: PUSH1 0x07
00000a20: DUP1
00000a21: SLOAD
00000a22: PUSH1 0x01
00000a24: PUSH1 0x01
00000a26: PUSH1 0xa0
00000a28: SHL
00000a29: SUB
00000a2a: SWAP1
00000a2b: SWAP3
00000a2c: AND
00000a2d: SWAP2
00000a2e: DUP4
00000a2f: SWAP1
00000a30: DUP2
00000a31: LT
00000a32: PUSH2 0x0a4b
00000a35: JUMPI
00000a36: PUSH4 0x4e487b71
00000a3b: PUSH1 0xe0
00000a3d: SHL
00000a3e: PUSH1 0x00
00000a40: MSTORE
00000a41: PUSH1 0x32
00000a43: PUSH1 0x04
00000a45: MSTORE
00000a46: PUSH1 0x24
00000a48: PUSH1 0x00
00000a4a: REVERT
00000a4b: JUMPDEST
00000a4c: PUSH1 0x00
00000a4e: SWAP2
00000a4f: DUP3
00000a50: MSTORE
00000a51: PUSH1 0x20
00000a53: DUP1
00000a54: DUP4
00000a55: KECCAK256
00000a56: SWAP2
00000a57: SWAP1
00000a58: SWAP2
00000a59: ADD
00000a5a: DUP1
00000a5b: SLOAD
00000a5c: PUSH1 0x01
00000a5e: PUSH1 0x01
00000a60: PUSH1 0xa0
00000a62: SHL
00000a63: SUB
00000a64: NOT
00000a65: AND
00000a66: PUSH1 0x01
00000a68: PUSH1 0x01
00000a6a: PUSH1 0xa0
00000a6c: SHL
00000a6d: SUB
00000a6e: SWAP5
00000a6f: DUP6
00000a70: AND
00000a71: OR
00000a72: SWAP1
00000a73: SSTORE
00000a74: SWAP2
00000a75: DUP5
00000a76: AND
00000a77: DUP2
00000a78: MSTORE
00000a79: PUSH1 0x02
00000a7b: DUP3
00000a7c: MSTORE
00000a7d: PUSH1 0x40
00000a7f: DUP1
00000a80: DUP3
00000a81: KECCAK256
00000a82: DUP3
00000a83: SWAP1
00000a84: SSTORE
00000a85: PUSH1 0x06
00000a87: SWAP1
00000a88: SWAP3
00000a89: MSTORE
00000a8a: KECCAK256
00000a8b: DUP1
00000a8c: SLOAD
00000a8d: PUSH1 0xff
00000a8f: NOT
00000a90: AND
00000a91: SWAP1
00000a92: SSTORE
00000a93: PUSH1 0x07
00000a95: DUP1
00000a96: SLOAD
00000a97: DUP1
00000a98: PUSH2 0x0ab1
00000a9b: JUMPI
00000a9c: PUSH4 0x4e487b71
00000aa1: PUSH1 0xe0
00000aa3: SHL
00000aa4: PUSH1 0x00
00000aa6: MSTORE
00000aa7: PUSH1 0x31
00000aa9: PUSH1 0x04
00000aab: MSTORE
00000aac: PUSH1 0x24
00000aae: PUSH1 0x00
00000ab0: REVERT
00000ab1: JUMPDEST
00000ab2: PUSH1 0x00
00000ab4: DUP3
00000ab5: DUP2
00000ab6: MSTORE
00000ab7: PUSH1 0x20
00000ab9: SWAP1
00000aba: KECCAK256
00000abb: DUP2
00000abc: ADD
00000abd: PUSH1 0x00
00000abf: NOT
00000ac0: SWAP1
00000ac1: DUP2
00000ac2: ADD
00000ac3: DUP1
00000ac4: SLOAD
00000ac5: PUSH1 0x01
00000ac7: PUSH1 0x01
00000ac9: PUSH1 0xa0
00000acb: SHL
00000acc: SUB
00000acd: NOT
00000ace: AND
00000acf: SWAP1
00000ad0: SSTORE
00000ad1: ADD
00000ad2: SWAP1
00000ad3: SSTORE
00000ad4: PUSH2 0x0aea
00000ad7: JUMP
00000ad8: JUMPDEST
00000ad9: DUP1
00000ada: PUSH2 0x0ae2
00000add: DUP2
00000ade: PUSH2 0x306e
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: SWAP2
00000ae4: POP
00000ae5: POP
00000ae6: PUSH2 0x0993
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: POP
00000aec: POP
00000aed: JUMP
00000aee: JUMPDEST
00000aef: PUSH1 0x00
00000af1: PUSH2 0x078b
00000af4: PUSH2 0x0afb
00000af7: PUSH2 0x17a2
00000afa: JUMP
00000afb: JUMPDEST
00000afc: DUP5
00000afd: DUP5
00000afe: PUSH1 0x03
00000b00: PUSH1 0x00
00000b02: PUSH2 0x0b09
00000b05: PUSH2 0x17a2
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH1 0x01
00000b0c: PUSH1 0x01
00000b0e: PUSH1 0xa0
00000b10: SHL
00000b11: SUB
00000b12: SWAP1
00000b13: DUP2
00000b14: AND
00000b15: DUP3
00000b16: MSTORE
00000b17: PUSH1 0x20
00000b19: DUP1
00000b1a: DUP4
00000b1b: ADD
00000b1c: SWAP4
00000b1d: SWAP1
00000b1e: SWAP4
00000b1f: MSTORE
00000b20: PUSH1 0x40
00000b22: SWAP2
00000b23: DUP3
00000b24: ADD
00000b25: PUSH1 0x00
00000b27: SWAP1
00000b28: DUP2
00000b29: KECCAK256
00000b2a: SWAP2
00000b2b: DUP12
00000b2c: AND
00000b2d: DUP2
00000b2e: MSTORE
00000b2f: SWAP3
00000b30: MSTORE
00000b31: SWAP1
00000b32: KECCAK256
00000b33: SLOAD
00000b34: PUSH2 0x0822
00000b37: SWAP2
00000b38: SWAP1
00000b39: PUSH2 0x3000
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH1 0x00
00000b40: PUSH2 0x0b47
00000b43: PUSH2 0x17a2
00000b46: JUMP
00000b47: JUMPDEST
00000b48: PUSH1 0x01
00000b4a: PUSH1 0x01
00000b4c: PUSH1 0xa0
00000b4e: SHL
00000b4f: SUB
00000b50: DUP2
00000b51: AND
00000b52: PUSH1 0x00
00000b54: SWAP1
00000b55: DUP2
00000b56: MSTORE
00000b57: PUSH1 0x06
00000b59: PUSH1 0x20
00000b5b: MSTORE
00000b5c: PUSH1 0x40
00000b5e: SWAP1
00000b5f: KECCAK256
00000b60: SLOAD
00000b61: SWAP1
00000b62: SWAP2
00000b63: POP
00000b64: PUSH1 0xff
00000b66: AND
00000b67: ISZERO
00000b68: PUSH2 0x0b83
00000b6b: JUMPI
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: PUSH3 0x461bcd
00000b73: PUSH1 0xe5
00000b75: SHL
00000b76: DUP2
00000b77: MSTORE
00000b78: PUSH1 0x04
00000b7a: ADD
00000b7b: PUSH2 0x0876
00000b7e: SWAP1
00000b7f: PUSH2 0x2eec
00000b82: JUMP
00000b83: JUMPDEST
00000b84: PUSH1 0x00
00000b86: PUSH2 0x0b90
00000b89: DUP4
00000b8a: PUSH1 0x01
00000b8c: PUSH2 0x1c69
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: DUP1
00000b92: MLOAD
00000b93: PUSH1 0x01
00000b95: PUSH1 0x01
00000b97: PUSH1 0xa0
00000b99: SHL
00000b9a: SUB
00000b9b: DUP5
00000b9c: AND
00000b9d: PUSH1 0x00
00000b9f: SWAP1
00000ba0: DUP2
00000ba1: MSTORE
00000ba2: PUSH1 0x01
00000ba4: PUSH1 0x20
00000ba6: MSTORE
00000ba7: PUSH1 0x40
00000ba9: SWAP1
00000baa: KECCAK256
00000bab: SLOAD
00000bac: SWAP2
00000bad: SWAP3
00000bae: POP
00000baf: PUSH2 0x0bb8
00000bb2: SWAP2
00000bb3: SWAP1
00000bb4: PUSH2 0x1cb1
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: PUSH1 0x01
00000bbb: PUSH1 0x01
00000bbd: PUSH1 0xa0
00000bbf: SHL
00000bc0: SUB
00000bc1: DUP4
00000bc2: AND
00000bc3: PUSH1 0x00
00000bc5: SWAP1
00000bc6: DUP2
00000bc7: MSTORE
00000bc8: PUSH1 0x01
00000bca: PUSH1 0x20
00000bcc: MSTORE
00000bcd: PUSH1 0x40
00000bcf: SWAP1
00000bd0: KECCAK256
00000bd1: SSTORE
00000bd2: DUP1
00000bd3: MLOAD
00000bd4: PUSH1 0x0b
00000bd6: SLOAD
00000bd7: PUSH2 0x0bdf
00000bda: SWAP2
00000bdb: PUSH2 0x1cb1
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH1 0x0b
00000be2: SSTORE
00000be3: POP
00000be4: POP
00000be5: POP
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH2 0x0bef
00000beb: PUSH2 0x17a2
00000bee: JUMP
00000bef: JUMPDEST
00000bf0: PUSH1 0x01
00000bf2: PUSH1 0x01
00000bf4: PUSH1 0xa0
00000bf6: SHL
00000bf7: SUB
00000bf8: AND
00000bf9: PUSH2 0x0c00
00000bfc: PUSH2 0x1302
00000bff: JUMP
00000c00: JUMPDEST
00000c01: PUSH1 0x01
00000c03: PUSH1 0x01
00000c05: PUSH1 0xa0
00000c07: SHL
00000c08: SUB
00000c09: AND
00000c0a: EQ
00000c0b: PUSH2 0x0c26
00000c0e: JUMPI
00000c0f: PUSH1 0x40
00000c11: MLOAD
00000c12: PUSH3 0x461bcd
00000c16: PUSH1 0xe5
00000c18: SHL
00000c19: DUP2
00000c1a: MSTORE
00000c1b: PUSH1 0x04
00000c1d: ADD
00000c1e: PUSH2 0x0876
00000c21: SWAP1
00000c22: PUSH2 0x2d77
00000c25: JUMP
00000c26: JUMPDEST
00000c27: PUSH1 0x08
00000c29: SLOAD
00000c2a: PUSH1 0x01
00000c2c: PUSH1 0x01
00000c2e: PUSH1 0xa0
00000c30: SHL
00000c31: SUB
00000c32: DUP3
00000c33: DUP2
00000c34: AND
00000c35: PUSH1 0x01
00000c37: PUSH1 0x20
00000c39: SHL
00000c3a: SWAP1
00000c3b: SWAP3
00000c3c: DIV
00000c3d: AND
00000c3e: EQ
00000c3f: ISZERO
00000c40: PUSH2 0x0c48
00000c43: JUMPI
00000c44: PUSH1 0x00
00000c46: DUP1
00000c47: REVERT
00000c48: JUMPDEST
00000c49: PUSH1 0x00
00000c4b: DUP2
00000c4c: SWAP1
00000c4d: POP
00000c4e: PUSH1 0x00
00000c50: DUP2
00000c51: PUSH1 0x01
00000c53: PUSH1 0x01
00000c55: PUSH1 0xa0
00000c57: SHL
00000c58: SUB
00000c59: AND
00000c5a: PUSH4 0xc45a0155
00000c5f: PUSH1 0x40
00000c61: MLOAD
00000c62: DUP2
00000c63: PUSH4 0xffffffff
00000c68: AND
00000c69: PUSH1 0xe0
00000c6b: SHL
00000c6c: DUP2
00000c6d: MSTORE
00000c6e: PUSH1 0x04
00000c70: ADD
00000c71: PUSH1 0x20
00000c73: PUSH1 0x40
00000c75: MLOAD
00000c76: DUP1
00000c77: DUP4
00000c78: SUB
00000c79: DUP2
00000c7a: DUP7
00000c7b: DUP1
00000c7c: EXTCODESIZE
00000c7d: ISZERO
00000c7e: DUP1
00000c7f: ISZERO
00000c80: PUSH2 0x0c88
00000c83: JUMPI
00000c84: PUSH1 0x00
00000c86: DUP1
00000c87: REVERT
00000c88: JUMPDEST
00000c89: POP
00000c8a: GAS
00000c8b: STATICCALL
00000c8c: ISZERO
00000c8d: DUP1
00000c8e: ISZERO
00000c8f: PUSH2 0x0c9c
00000c92: JUMPI
00000c93: RETURNDATASIZE
00000c94: PUSH1 0x00
00000c96: DUP1
00000c97: RETURNDATACOPY
00000c98: RETURNDATASIZE
00000c99: PUSH1 0x00
00000c9b: REVERT
00000c9c: JUMPDEST
00000c9d: POP
00000c9e: POP
00000c9f: POP
00000ca0: POP
00000ca1: PUSH1 0x40
00000ca3: MLOAD
00000ca4: RETURNDATASIZE
00000ca5: PUSH1 0x1f
00000ca7: NOT
00000ca8: PUSH1 0x1f
00000caa: DUP3
00000cab: ADD
00000cac: AND
00000cad: DUP3
00000cae: ADD
00000caf: DUP1
00000cb0: PUSH1 0x40
00000cb2: MSTORE
00000cb3: POP
00000cb4: DUP2
00000cb5: ADD
00000cb6: SWAP1
00000cb7: PUSH2 0x0cc0
00000cba: SWAP2
00000cbb: SWAP1
00000cbc: PUSH2 0x289a
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH1 0x01
00000cc3: PUSH1 0x01
00000cc5: PUSH1 0xa0
00000cc7: SHL
00000cc8: SUB
00000cc9: AND
00000cca: PUSH4 0xe6a43905
00000ccf: ADDRESS
00000cd0: DUP5
00000cd1: PUSH1 0x01
00000cd3: PUSH1 0x01
00000cd5: PUSH1 0xa0
00000cd7: SHL
00000cd8: SUB
00000cd9: AND
00000cda: PUSH4 0xad5c4648
00000cdf: PUSH1 0x40
00000ce1: MLOAD
00000ce2: DUP2
00000ce3: PUSH4 0xffffffff
00000ce8: AND
00000ce9: PUSH1 0xe0
00000ceb: SHL
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x04
00000cf0: ADD
00000cf1: PUSH1 0x20
00000cf3: PUSH1 0x40
00000cf5: MLOAD
00000cf6: DUP1
00000cf7: DUP4
00000cf8: SUB
00000cf9: DUP2
00000cfa: DUP7
00000cfb: DUP1
00000cfc: EXTCODESIZE
00000cfd: ISZERO
00000cfe: DUP1
00000cff: ISZERO
00000d00: PUSH2 0x0d08
00000d03: JUMPI
00000d04: PUSH1 0x00
00000d06: DUP1
00000d07: REVERT
00000d08: JUMPDEST
00000d09: POP
00000d0a: GAS
00000d0b: STATICCALL
00000d0c: ISZERO
00000d0d: DUP1
00000d0e: ISZERO
00000d0f: PUSH2 0x0d1c
00000d12: JUMPI
00000d13: RETURNDATASIZE
00000d14: PUSH1 0x00
00000d16: DUP1
00000d17: RETURNDATACOPY
00000d18: RETURNDATASIZE
00000d19: PUSH1 0x00
00000d1b: REVERT
00000d1c: JUMPDEST
00000d1d: POP
00000d1e: POP
00000d1f: POP
00000d20: POP
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: RETURNDATASIZE
00000d25: PUSH1 0x1f
00000d27: NOT
00000d28: PUSH1 0x1f
00000d2a: DUP3
00000d2b: ADD
00000d2c: AND
00000d2d: DUP3
00000d2e: ADD
00000d2f: DUP1
00000d30: PUSH1 0x40
00000d32: MSTORE
00000d33: POP
00000d34: DUP2
00000d35: ADD
00000d36: SWAP1
00000d37: PUSH2 0x0d40
00000d3a: SWAP2
00000d3b: SWAP1
00000d3c: PUSH2 0x289a
00000d3f: JUMP
00000d40: JUMPDEST
00000d41: PUSH1 0x40
00000d43: MLOAD
00000d44: DUP4
00000d45: PUSH4 0xffffffff
00000d4a: AND
00000d4b: PUSH1 0xe0
00000d4d: SHL
00000d4e: DUP2
00000d4f: MSTORE
00000d50: PUSH1 0x04
00000d52: ADD
00000d53: PUSH2 0x0d5d
00000d56: SWAP3
00000d57: SWAP2
00000d58: SWAP1
00000d59: PUSH2 0x2a26
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: PUSH1 0x20
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: DUP1
00000d64: DUP4
00000d65: SUB
00000d66: DUP2
00000d67: DUP7
00000d68: DUP1
00000d69: EXTCODESIZE
00000d6a: ISZERO
00000d6b: DUP1
00000d6c: ISZERO
00000d6d: PUSH2 0x0d75
00000d70: JUMPI
00000d71: PUSH1 0x00
00000d73: DUP1
00000d74: REVERT
00000d75: JUMPDEST
00000d76: POP
00000d77: GAS
00000d78: STATICCALL
00000d79: ISZERO
00000d7a: DUP1
00000d7b: ISZERO
00000d7c: PUSH2 0x0d89
00000d7f: JUMPI
00000d80: RETURNDATASIZE
00000d81: PUSH1 0x00
00000d83: DUP1
00000d84: RETURNDATACOPY
00000d85: RETURNDATASIZE
00000d86: PUSH1 0x00
00000d88: REVERT
00000d89: JUMPDEST
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: POP
00000d8e: PUSH1 0x40
00000d90: MLOAD
00000d91: RETURNDATASIZE
00000d92: PUSH1 0x1f
00000d94: NOT
00000d95: PUSH1 0x1f
00000d97: DUP3
00000d98: ADD
00000d99: AND
00000d9a: DUP3
00000d9b: ADD
00000d9c: DUP1
00000d9d: PUSH1 0x40
00000d9f: MSTORE
00000da0: POP
00000da1: DUP2
00000da2: ADD
00000da3: SWAP1
00000da4: PUSH2 0x0dad
00000da7: SWAP2
00000da8: SWAP1
00000da9: PUSH2 0x289a
00000dac: JUMP
00000dad: JUMPDEST
00000dae: SWAP1
00000daf: POP
00000db0: PUSH1 0x01
00000db2: PUSH1 0x01
00000db4: PUSH1 0xa0
00000db6: SHL
00000db7: SUB
00000db8: DUP2
00000db9: AND
00000dba: PUSH2 0x0f42
00000dbd: JUMPI
00000dbe: DUP2
00000dbf: PUSH1 0x01
00000dc1: PUSH1 0x01
00000dc3: PUSH1 0xa0
00000dc5: SHL
00000dc6: SUB
00000dc7: AND
00000dc8: PUSH4 0xc45a0155
00000dcd: PUSH1 0x40
00000dcf: MLOAD
00000dd0: DUP2
00000dd1: PUSH4 0xffffffff
00000dd6: AND
00000dd7: PUSH1 0xe0
00000dd9: SHL
00000dda: DUP2
00000ddb: MSTORE
00000ddc: PUSH1 0x04
00000dde: ADD
00000ddf: PUSH1 0x20
00000de1: PUSH1 0x40
00000de3: MLOAD
00000de4: DUP1
00000de5: DUP4
00000de6: SUB
00000de7: DUP2
00000de8: DUP7
00000de9: DUP1
00000dea: EXTCODESIZE
00000deb: ISZERO
00000dec: DUP1
00000ded: ISZERO
00000dee: PUSH2 0x0df6
00000df1: JUMPI
00000df2: PUSH1 0x00
00000df4: DUP1
00000df5: REVERT
00000df6: JUMPDEST
00000df7: POP
00000df8: GAS
00000df9: STATICCALL
00000dfa: ISZERO
00000dfb: DUP1
00000dfc: ISZERO
00000dfd: PUSH2 0x0e0a
00000e00: JUMPI
00000e01: RETURNDATASIZE
00000e02: PUSH1 0x00
00000e04: DUP1
00000e05: RETURNDATACOPY
00000e06: RETURNDATASIZE
00000e07: PUSH1 0x00
00000e09: REVERT
00000e0a: JUMPDEST
00000e0b: POP
00000e0c: POP
00000e0d: POP
00000e0e: POP
00000e0f: PUSH1 0x40
00000e11: MLOAD
00000e12: RETURNDATASIZE
00000e13: PUSH1 0x1f
00000e15: NOT
00000e16: PUSH1 0x1f
00000e18: DUP3
00000e19: ADD
00000e1a: AND
00000e1b: DUP3
00000e1c: ADD
00000e1d: DUP1
00000e1e: PUSH1 0x40
00000e20: MSTORE
00000e21: POP
00000e22: DUP2
00000e23: ADD
00000e24: SWAP1
00000e25: PUSH2 0x0e2e
00000e28: SWAP2
00000e29: SWAP1
00000e2a: PUSH2 0x289a
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: PUSH1 0x01
00000e31: PUSH1 0x01
00000e33: PUSH1 0xa0
00000e35: SHL
00000e36: SUB
00000e37: AND
00000e38: PUSH4 0xc9c65396
00000e3d: ADDRESS
00000e3e: DUP5
00000e3f: PUSH1 0x01
00000e41: PUSH1 0x01
00000e43: PUSH1 0xa0
00000e45: SHL
00000e46: SUB
00000e47: AND
00000e48: PUSH4 0xad5c4648
00000e4d: PUSH1 0x40
00000e4f: MLOAD
00000e50: DUP2
00000e51: PUSH4 0xffffffff
00000e56: AND
00000e57: PUSH1 0xe0
00000e59: SHL
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: PUSH1 0x04
00000e5e: ADD
00000e5f: PUSH1 0x20
00000e61: PUSH1 0x40
00000e63: MLOAD
00000e64: DUP1
00000e65: DUP4
00000e66: SUB
00000e67: DUP2
00000e68: DUP7
00000e69: DUP1
00000e6a: EXTCODESIZE
00000e6b: ISZERO
00000e6c: DUP1
00000e6d: ISZERO
00000e6e: PUSH2 0x0e76
00000e71: JUMPI
00000e72: PUSH1 0x00
00000e74: DUP1
00000e75: REVERT
00000e76: JUMPDEST
00000e77: POP
00000e78: GAS
00000e79: STATICCALL
00000e7a: ISZERO
00000e7b: DUP1
00000e7c: ISZERO
00000e7d: PUSH2 0x0e8a
00000e80: JUMPI
00000e81: RETURNDATASIZE
00000e82: PUSH1 0x00
00000e84: DUP1
00000e85: RETURNDATACOPY
00000e86: RETURNDATASIZE
00000e87: PUSH1 0x00
00000e89: REVERT
00000e8a: JUMPDEST
00000e8b: POP
00000e8c: POP
00000e8d: POP
00000e8e: POP
00000e8f: PUSH1 0x40
00000e91: MLOAD
00000e92: RETURNDATASIZE
00000e93: PUSH1 0x1f
00000e95: NOT
00000e96: PUSH1 0x1f
00000e98: DUP3
00000e99: ADD
00000e9a: AND
00000e9b: DUP3
00000e9c: ADD
00000e9d: DUP1
00000e9e: PUSH1 0x40
00000ea0: MSTORE
00000ea1: POP
00000ea2: DUP2
00000ea3: ADD
00000ea4: SWAP1
00000ea5: PUSH2 0x0eae
00000ea8: SWAP2
00000ea9: SWAP1
00000eaa: PUSH2 0x289a
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: PUSH1 0x40
00000eb1: MLOAD
00000eb2: DUP4
00000eb3: PUSH4 0xffffffff
00000eb8: AND
00000eb9: PUSH1 0xe0
00000ebb: SHL
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: PUSH1 0x04
00000ec0: ADD
00000ec1: PUSH2 0x0ecb
00000ec4: SWAP3
00000ec5: SWAP2
00000ec6: SWAP1
00000ec7: PUSH2 0x2a26
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: PUSH1 0x20
00000ece: PUSH1 0x40
00000ed0: MLOAD
00000ed1: DUP1
00000ed2: DUP4
00000ed3: SUB
00000ed4: DUP2
00000ed5: PUSH1 0x00
00000ed7: DUP8
00000ed8: DUP1
00000ed9: EXTCODESIZE
00000eda: ISZERO
00000edb: DUP1
00000edc: ISZERO
00000edd: PUSH2 0x0ee5
00000ee0: JUMPI
00000ee1: PUSH1 0x00
00000ee3: DUP1
00000ee4: REVERT
00000ee5: JUMPDEST
00000ee6: POP
00000ee7: GAS
00000ee8: CALL
00000ee9: ISZERO
00000eea: DUP1
00000eeb: ISZERO
00000eec: PUSH2 0x0ef9
00000eef: JUMPI
00000ef0: RETURNDATASIZE
00000ef1: PUSH1 0x00
00000ef3: DUP1
00000ef4: RETURNDATACOPY
00000ef5: RETURNDATASIZE
00000ef6: PUSH1 0x00
00000ef8: REVERT
00000ef9: JUMPDEST
00000efa: POP
00000efb: POP
00000efc: POP
00000efd: POP
00000efe: PUSH1 0x40
00000f00: MLOAD
00000f01: RETURNDATASIZE
00000f02: PUSH1 0x1f
00000f04: NOT
00000f05: PUSH1 0x1f
00000f07: DUP3
00000f08: ADD
00000f09: AND
00000f0a: DUP3
00000f0b: ADD
00000f0c: DUP1
00000f0d: PUSH1 0x40
00000f0f: MSTORE
00000f10: POP
00000f11: DUP2
00000f12: ADD
00000f13: SWAP1
00000f14: PUSH2 0x0f1d
00000f17: SWAP2
00000f18: SWAP1
00000f19: PUSH2 0x289a
00000f1c: JUMP
00000f1d: JUMPDEST
00000f1e: PUSH1 0x09
00000f20: DUP1
00000f21: SLOAD
00000f22: PUSH1 0x01
00000f24: PUSH1 0x01
00000f26: PUSH1 0xa0
00000f28: SHL
00000f29: SUB
00000f2a: NOT
00000f2b: AND
00000f2c: PUSH1 0x01
00000f2e: PUSH1 0x01
00000f30: PUSH1 0xa0
00000f32: SHL
00000f33: SUB
00000f34: SWAP3
00000f35: SWAP1
00000f36: SWAP3
00000f37: AND
00000f38: SWAP2
00000f39: SWAP1
00000f3a: SWAP2
00000f3b: OR
00000f3c: SWAP1
00000f3d: SSTORE
00000f3e: PUSH2 0x0f5e
00000f41: JUMP
00000f42: JUMPDEST
00000f43: PUSH1 0x09
00000f45: DUP1
00000f46: SLOAD
00000f47: PUSH1 0x01
00000f49: PUSH1 0x01
00000f4b: PUSH1 0xa0
00000f4d: SHL
00000f4e: SUB
00000f4f: NOT
00000f50: AND
00000f51: PUSH1 0x01
00000f53: PUSH1 0x01
00000f55: PUSH1 0xa0
00000f57: SHL
00000f58: SUB
00000f59: DUP4
00000f5a: AND
00000f5b: OR
00000f5c: SWAP1
00000f5d: SSTORE
00000f5e: JUMPDEST
00000f5f: POP
00000f60: PUSH1 0x08
00000f62: DUP1
00000f63: SLOAD
00000f64: PUSH1 0x01
00000f66: PUSH1 0x01
00000f68: PUSH1 0xa0
00000f6a: SHL
00000f6b: SUB
00000f6c: SWAP1
00000f6d: SWAP3
00000f6e: AND
00000f6f: PUSH1 0x01
00000f71: PUSH1 0x20
00000f73: SHL
00000f74: MUL
00000f75: PUSH5 0x0100000000
00000f7b: PUSH1 0x01
00000f7d: PUSH1 0xc0
00000f7f: SHL
00000f80: SUB
00000f81: NOT
00000f82: SWAP1
00000f83: SWAP3
00000f84: AND
00000f85: SWAP2
00000f86: SWAP1
00000f87: SWAP2
00000f88: OR
00000f89: SWAP1
00000f8a: SSTORE
00000f8b: POP
00000f8c: JUMP
00000f8d: JUMPDEST
00000f8e: PUSH2 0x0f95
00000f91: PUSH2 0x17a2
00000f94: JUMP
00000f95: JUMPDEST
00000f96: PUSH1 0x01
00000f98: PUSH1 0x01
00000f9a: PUSH1 0xa0
00000f9c: SHL
00000f9d: SUB
00000f9e: AND
00000f9f: PUSH2 0x0fa6
00000fa2: PUSH2 0x1302
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: PUSH1 0x01
00000fa9: PUSH1 0x01
00000fab: PUSH1 0xa0
00000fad: SHL
00000fae: SUB
00000faf: AND
00000fb0: EQ
00000fb1: PUSH2 0x0fcc
00000fb4: JUMPI
00000fb5: PUSH1 0x40
00000fb7: MLOAD
00000fb8: PUSH3 0x461bcd
00000fbc: PUSH1 0xe5
00000fbe: SHL
00000fbf: DUP2
00000fc0: MSTORE
00000fc1: PUSH1 0x04
00000fc3: ADD
00000fc4: PUSH2 0x0876
00000fc7: SWAP1
00000fc8: PUSH2 0x2d77
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: PUSH1 0x01
00000fcf: PUSH1 0x01
00000fd1: PUSH1 0xa0
00000fd3: SHL
00000fd4: SUB
00000fd5: AND
00000fd6: PUSH1 0x00
00000fd8: SWAP1
00000fd9: DUP2
00000fda: MSTORE
00000fdb: PUSH1 0x05
00000fdd: PUSH1 0x20
00000fdf: MSTORE
00000fe0: PUSH1 0x40
00000fe2: SWAP1
00000fe3: KECCAK256
00000fe4: DUP1
00000fe5: SLOAD
00000fe6: PUSH1 0xff
00000fe8: NOT
00000fe9: AND
00000fea: PUSH1 0x01
00000fec: OR
00000fed: SWAP1
00000fee: SSTORE
00000fef: JUMP
00000ff0: JUMPDEST
00000ff1: PUSH1 0x00
00000ff3: PUSH1 0x0a
00000ff5: SLOAD
00000ff6: DUP4
00000ff7: GT
00000ff8: ISZERO
00000ff9: PUSH2 0x1014
00000ffc: JUMPI
00000ffd: PUSH1 0x40
00000fff: MLOAD
00001000: PUSH3 0x461bcd
00001004: PUSH1 0xe5
00001006: SHL
00001007: DUP2
00001008: MSTORE
00001009: PUSH1 0x04
0000100b: ADD
0000100c: PUSH2 0x0876
0000100f: SWAP1
00001010: PUSH2 0x2d40
00001013: JUMP
00001014: JUMPDEST
00001015: DUP2
00001016: PUSH2 0x1030
00001019: JUMPI
0000101a: PUSH1 0x00
0000101c: PUSH2 0x1026
0000101f: DUP5
00001020: PUSH1 0x01
00001022: PUSH2 0x1c69
00001025: JUMP
00001026: JUMPDEST
00001027: MLOAD
00001028: SWAP2
00001029: POP
0000102a: PUSH2 0x078f
0000102d: SWAP1
0000102e: POP
0000102f: JUMP
00001030: JUMPDEST
00001031: PUSH1 0x00
00001033: PUSH2 0x103d
00001036: DUP5
00001037: PUSH1 0x01
00001039: PUSH2 0x1c69
0000103c: JUMP
0000103d: JUMPDEST
0000103e: PUSH1 0x20
00001040: ADD
00001041: MLOAD
00001042: SWAP2
00001043: POP
00001044: PUSH2 0x078f
00001047: SWAP1
00001048: POP
00001049: JUMP
0000104a: JUMPDEST
0000104b: PUSH1 0x08
0000104d: SLOAD
0000104e: PUSH1 0xff
00001050: AND
00001051: DUP2
00001052: JUMP
00001053: JUMPDEST
00001054: PUSH2 0x105b
00001057: PUSH2 0x17a2
0000105a: JUMP
0000105b: JUMPDEST
0000105c: PUSH1 0x01
0000105e: PUSH1 0x01
00001060: PUSH1 0xa0
00001062: SHL
00001063: SUB
00001064: AND
00001065: PUSH2 0x106c
00001068: PUSH2 0x1302
0000106b: JUMP
0000106c: JUMPDEST
0000106d: PUSH1 0x01
0000106f: PUSH1 0x01
00001071: PUSH1 0xa0
00001073: SHL
00001074: SUB
00001075: AND
00001076: EQ
00001077: PUSH2 0x1092
0000107a: JUMPI
0000107b: PUSH1 0x40
0000107d: MLOAD
0000107e: PUSH3 0x461bcd
00001082: PUSH1 0xe5
00001084: SHL
00001085: DUP2
00001086: MSTORE
00001087: PUSH1 0x04
00001089: ADD
0000108a: PUSH2 0x0876
0000108d: SWAP1
0000108e: PUSH2 0x2d77
00001091: JUMP
00001092: JUMPDEST
00001093: PUSH1 0x01
00001095: PUSH1 0x01
00001097: PUSH1 0xa0
00001099: SHL
0000109a: SUB
0000109b: DUP2
0000109c: AND
0000109d: PUSH1 0x00
0000109f: SWAP1
000010a0: DUP2
000010a1: MSTORE
000010a2: PUSH1 0x06
000010a4: PUSH1 0x20
000010a6: MSTORE
000010a7: PUSH1 0x40
000010a9: SWAP1
000010aa: KECCAK256
000010ab: SLOAD
000010ac: PUSH1 0xff
000010ae: AND
000010af: ISZERO
000010b0: PUSH2 0x10cb
000010b3: JUMPI
000010b4: PUSH1 0x40
000010b6: MLOAD
000010b7: PUSH3 0x461bcd
000010bb: PUSH1 0xe5
000010bd: SHL
000010be: DUP2
000010bf: MSTORE
000010c0: PUSH1 0x04
000010c2: ADD
000010c3: PUSH2 0x0876
000010c6: SWAP1
000010c7: PUSH2 0x2c8f
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH1 0x01
000010ce: PUSH1 0x01
000010d0: PUSH1 0xa0
000010d2: SHL
000010d3: SUB
000010d4: DUP2
000010d5: AND
000010d6: PUSH1 0x00
000010d8: SWAP1
000010d9: DUP2
000010da: MSTORE
000010db: PUSH1 0x01
000010dd: PUSH1 0x20
000010df: MSTORE
000010e0: PUSH1 0x40
000010e2: SWAP1
000010e3: KECCAK256
000010e4: SLOAD
000010e5: ISZERO
000010e6: PUSH2 0x1125
000010e9: JUMPI
000010ea: PUSH1 0x01
000010ec: PUSH1 0x01
000010ee: PUSH1 0xa0
000010f0: SHL
000010f1: SUB
000010f2: DUP2
000010f3: AND
000010f4: PUSH1 0x00
000010f6: SWAP1
000010f7: DUP2
000010f8: MSTORE
000010f9: PUSH1 0x01
000010fb: PUSH1 0x20
000010fd: MSTORE
000010fe: PUSH1 0x40
00001100: SWAP1
00001101: KECCAK256
00001102: SLOAD
00001103: PUSH2 0x110b
00001106: SWAP1
00001107: PUSH2 0x08d1
0000110a: JUMP
0000110b: JUMPDEST
0000110c: PUSH1 0x01
0000110e: PUSH1 0x01
00001110: PUSH1 0xa0
00001112: SHL
00001113: SUB
00001114: DUP3
00001115: AND
00001116: PUSH1 0x00
00001118: SWAP1
00001119: DUP2
0000111a: MSTORE
0000111b: PUSH1 0x02
0000111d: PUSH1 0x20
0000111f: MSTORE
00001120: PUSH1 0x40
00001122: SWAP1
00001123: KECCAK256
00001124: SSTORE
00001125: JUMPDEST
00001126: PUSH1 0x01
00001128: PUSH1 0x01
0000112a: PUSH1 0xa0
0000112c: SHL
0000112d: SUB
0000112e: AND
0000112f: PUSH1 0x00
00001131: DUP2
00001132: DUP2
00001133: MSTORE
00001134: PUSH1 0x06
00001136: PUSH1 0x20
00001138: MSTORE
00001139: PUSH1 0x40
0000113b: DUP2
0000113c: KECCAK256
0000113d: DUP1
0000113e: SLOAD
0000113f: PUSH1 0xff
00001141: NOT
00001142: AND
00001143: PUSH1 0x01
00001145: SWAP1
00001146: DUP2
00001147: OR
00001148: SWAP1
00001149: SWAP2
0000114a: SSTORE
0000114b: PUSH1 0x07
0000114d: DUP1
0000114e: SLOAD
0000114f: SWAP2
00001150: DUP3
00001151: ADD
00001152: DUP2
00001153: SSTORE
00001154: SWAP1
00001155: SWAP2
00001156: MSTORE
00001157: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688
00001178: ADD
00001179: DUP1
0000117a: SLOAD
0000117b: PUSH1 0x01
0000117d: PUSH1 0x01
0000117f: PUSH1 0xa0
00001181: SHL
00001182: SUB
00001183: NOT
00001184: AND
00001185: SWAP1
00001186: SWAP2
00001187: OR
00001188: SWAP1
00001189: SSTORE
0000118a: JUMP
0000118b: JUMPDEST
0000118c: PUSH1 0x01
0000118e: PUSH1 0x01
00001190: PUSH1 0xa0
00001192: SHL
00001193: SUB
00001194: AND
00001195: PUSH1 0x00
00001197: SWAP1
00001198: DUP2
00001199: MSTORE
0000119a: PUSH1 0x05
0000119c: PUSH1 0x20
0000119e: MSTORE
0000119f: PUSH1 0x40
000011a1: SWAP1
000011a2: KECCAK256
000011a3: SLOAD
000011a4: PUSH1 0xff
000011a6: AND
000011a7: SWAP1
000011a8: JUMP
000011a9: JUMPDEST
000011aa: PUSH1 0x13
000011ac: SLOAD
000011ad: PUSH1 0x01
000011af: PUSH1 0x01
000011b1: PUSH1 0xa0
000011b3: SHL
000011b4: SUB
000011b5: AND
000011b6: DUP2
000011b7: JUMP
000011b8: JUMPDEST
000011b9: PUSH1 0x0d
000011bb: SLOAD
000011bc: DUP2
000011bd: JUMP
000011be: JUMPDEST
000011bf: PUSH1 0x08
000011c1: SLOAD
000011c2: PUSH2 0x0100
000011c5: SWAP1
000011c6: DIV
000011c7: PUSH1 0xff
000011c9: AND
000011ca: DUP2
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH1 0x01
000011cf: PUSH1 0x01
000011d1: PUSH1 0xa0
000011d3: SHL
000011d4: SUB
000011d5: DUP2
000011d6: AND
000011d7: PUSH1 0x00
000011d9: SWAP1
000011da: DUP2
000011db: MSTORE
000011dc: PUSH1 0x06
000011de: PUSH1 0x20
000011e0: MSTORE
000011e1: PUSH1 0x40
000011e3: DUP2
000011e4: KECCAK256
000011e5: SLOAD
000011e6: PUSH1 0xff
000011e8: AND
000011e9: ISZERO
000011ea: PUSH2 0x120c
000011ed: JUMPI
000011ee: POP
000011ef: PUSH1 0x01
000011f1: PUSH1 0x01
000011f3: PUSH1 0xa0
000011f5: SHL
000011f6: SUB
000011f7: DUP2
000011f8: AND
000011f9: PUSH1 0x00
000011fb: SWAP1
000011fc: DUP2
000011fd: MSTORE
000011fe: PUSH1 0x02
00001200: PUSH1 0x20
00001202: MSTORE
00001203: PUSH1 0x40
00001205: SWAP1
00001206: KECCAK256
00001207: SLOAD
00001208: PUSH2 0x090f
0000120b: JUMP
0000120c: JUMPDEST
0000120d: PUSH1 0x01
0000120f: PUSH1 0x01
00001211: PUSH1 0xa0
00001213: SHL
00001214: SUB
00001215: DUP3
00001216: AND
00001217: PUSH1 0x00
00001219: SWAP1
0000121a: DUP2
0000121b: MSTORE
0000121c: PUSH1 0x01
0000121e: PUSH1 0x20
00001220: MSTORE
00001221: PUSH1 0x40
00001223: SWAP1
00001224: KECCAK256
00001225: SLOAD
00001226: PUSH2 0x078f
00001229: SWAP1
0000122a: PUSH2 0x08d1
0000122d: JUMP
0000122e: JUMPDEST
0000122f: PUSH2 0x1236
00001232: PUSH2 0x17a2
00001235: JUMP
00001236: JUMPDEST
00001237: PUSH1 0x01
00001239: PUSH1 0x01
0000123b: PUSH1 0xa0
0000123d: SHL
0000123e: SUB
0000123f: AND
00001240: PUSH2 0x1247
00001243: PUSH2 0x1302
00001246: JUMP
00001247: JUMPDEST
00001248: PUSH1 0x01
0000124a: PUSH1 0x01
0000124c: PUSH1 0xa0
0000124e: SHL
0000124f: SUB
00001250: AND
00001251: EQ
00001252: PUSH2 0x126d
00001255: JUMPI
00001256: PUSH1 0x40
00001258: MLOAD
00001259: PUSH3 0x461bcd
0000125d: PUSH1 0xe5
0000125f: SHL
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x04
00001264: ADD
00001265: PUSH2 0x0876
00001268: SWAP1
00001269: PUSH2 0x2d77
0000126c: JUMP
0000126d: JUMPDEST
0000126e: PUSH2 0x1277
00001271: PUSH1 0x00
00001273: PUSH2 0x1cbd
00001276: JUMP
00001277: JUMPDEST
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH2 0x1281
0000127d: PUSH2 0x17a2
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x01
00001284: PUSH1 0x01
00001286: PUSH1 0xa0
00001288: SHL
00001289: SUB
0000128a: AND
0000128b: PUSH2 0x1292
0000128e: PUSH2 0x1302
00001291: JUMP
00001292: JUMPDEST
00001293: PUSH1 0x01
00001295: PUSH1 0x01
00001297: PUSH1 0xa0
00001299: SHL
0000129a: SUB
0000129b: AND
0000129c: EQ
0000129d: PUSH2 0x12b8
000012a0: JUMPI
000012a1: PUSH1 0x40
000012a3: MLOAD
000012a4: PUSH3 0x461bcd
000012a8: PUSH1 0xe5
000012aa: SHL
000012ab: DUP2
000012ac: MSTORE
000012ad: PUSH1 0x04
000012af: ADD
000012b0: PUSH2 0x0876
000012b3: SWAP1
000012b4: PUSH2 0x2d77
000012b7: JUMP
000012b8: JUMPDEST
000012b9: PUSH2 0x12d8
000012bc: PUSH1 0x64
000012be: PUSH2 0x12d2
000012c1: DUP4
000012c2: PUSH1 0x0a
000012c4: SLOAD
000012c5: PUSH2 0x1783
000012c8: SWAP1
000012c9: SWAP2
000012ca: SWAP1
000012cb: PUSH4 0xffffffff
000012d0: AND
000012d1: JUMP
000012d2: JUMPDEST
000012d3: SWAP1
000012d4: PUSH2 0x1796
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH1 0x0f
000012db: SSTORE
000012dc: POP
000012dd: JUMP
000012de: JUMPDEST
000012df: PUSH1 0x0c
000012e1: SLOAD
000012e2: DUP2
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x01
000012e7: PUSH1 0x01
000012e9: PUSH1 0xa0
000012eb: SHL
000012ec: SUB
000012ed: AND
000012ee: PUSH1 0x00
000012f0: SWAP1
000012f1: DUP2
000012f2: MSTORE
000012f3: PUSH1 0x06
000012f5: PUSH1 0x20
000012f7: MSTORE
000012f8: PUSH1 0x40
000012fa: SWAP1
000012fb: KECCAK256
000012fc: SLOAD
000012fd: PUSH1 0xff
000012ff: AND
00001300: SWAP1
00001301: JUMP
00001302: JUMPDEST
00001303: PUSH1 0x00
00001305: SLOAD
00001306: PUSH1 0x01
00001308: PUSH1 0x01
0000130a: PUSH1 0xa0
0000130c: SHL
0000130d: SUB
0000130e: AND
0000130f: SWAP1
00001310: JUMP
00001311: JUMPDEST
00001312: PUSH1 0x0f
00001314: SLOAD
00001315: DUP2
00001316: JUMP
00001317: JUMPDEST
00001318: PUSH2 0x131f
0000131b: PUSH2 0x17a2
0000131e: JUMP
0000131f: JUMPDEST
00001320: PUSH1 0x01
00001322: PUSH1 0x01
00001324: PUSH1 0xa0
00001326: SHL
00001327: SUB
00001328: AND
00001329: PUSH2 0x1330
0000132c: PUSH2 0x1302
0000132f: JUMP
00001330: JUMPDEST
00001331: PUSH1 0x01
00001333: PUSH1 0x01
00001335: PUSH1 0xa0
00001337: SHL
00001338: SUB
00001339: AND
0000133a: EQ
0000133b: PUSH2 0x1356
0000133e: JUMPI
0000133f: PUSH1 0x40
00001341: MLOAD
00001342: PUSH3 0x461bcd
00001346: PUSH1 0xe5
00001348: SHL
00001349: DUP2
0000134a: MSTORE
0000134b: PUSH1 0x04
0000134d: ADD
0000134e: PUSH2 0x0876
00001351: SWAP1
00001352: PUSH2 0x2d77
00001355: JUMP
00001356: JUMPDEST
00001357: PUSH1 0x08
00001359: DUP1
0000135a: SLOAD
0000135b: SWAP2
0000135c: ISZERO
0000135d: ISZERO
0000135e: PUSH2 0x0100
00001361: MUL
00001362: PUSH2 0xff00
00001365: NOT
00001366: SWAP1
00001367: SWAP3
00001368: AND
00001369: SWAP2
0000136a: SWAP1
0000136b: SWAP2
0000136c: OR
0000136d: SWAP1
0000136e: SSTORE
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x40
00001373: DUP1
00001374: MLOAD
00001375: DUP1
00001376: DUP3
00001377: ADD
00001378: SWAP1
00001379: SWAP2
0000137a: MSTORE
0000137b: PUSH1 0x0b
0000137d: DUP2
0000137e: MSTORE
0000137f: PUSH11 0x52455354415552414e5453
0000138b: PUSH1 0xa8
0000138d: SHL
0000138e: PUSH1 0x20
00001390: DUP3
00001391: ADD
00001392: MSTORE
00001393: SWAP1
00001394: JUMP
00001395: JUMPDEST
00001396: PUSH2 0x139d
00001399: PUSH2 0x17a2
0000139c: JUMP
0000139d: JUMPDEST
0000139e: PUSH1 0x01
000013a0: PUSH1 0x01
000013a2: PUSH1 0xa0
000013a4: SHL
000013a5: SUB
000013a6: AND
000013a7: PUSH2 0x13ae
000013aa: PUSH2 0x1302
000013ad: JUMP
000013ae: JUMPDEST
000013af: PUSH1 0x01
000013b1: PUSH1 0x01
000013b3: PUSH1 0xa0
000013b5: SHL
000013b6: SUB
000013b7: AND
000013b8: EQ
000013b9: PUSH2 0x13d4
000013bc: JUMPI
000013bd: PUSH1 0x40
000013bf: MLOAD
000013c0: PUSH3 0x461bcd
000013c4: PUSH1 0xe5
000013c6: SHL
000013c7: DUP2
000013c8: MSTORE
000013c9: PUSH1 0x04
000013cb: ADD
000013cc: PUSH2 0x0876
000013cf: SWAP1
000013d0: PUSH2 0x2d77
000013d3: JUMP
000013d4: JUMPDEST
000013d5: DUP1
000013d6: SELFBALANCE
000013d7: LT
000013d8: ISZERO
000013d9: PUSH2 0x13f4
000013dc: JUMPI
000013dd: PUSH1 0x40
000013df: MLOAD
000013e0: PUSH3 0x461bcd
000013e4: PUSH1 0xe5
000013e6: SHL
000013e7: DUP2
000013e8: MSTORE
000013e9: PUSH1 0x04
000013eb: ADD
000013ec: PUSH2 0x0876
000013ef: SWAP1
000013f0: PUSH2 0x2dac
000013f3: JUMP
000013f4: JUMPDEST
000013f5: PUSH1 0x40
000013f7: MLOAD
000013f8: CALLER
000013f9: SWAP1
000013fa: DUP3
000013fb: ISZERO
000013fc: PUSH2 0x08fc
000013ff: MUL
00001400: SWAP1
00001401: DUP4
00001402: SWAP1
00001403: PUSH1 0x00
00001405: DUP2
00001406: DUP2
00001407: DUP2
00001408: DUP6
00001409: DUP9
0000140a: DUP9
0000140b: CALL
0000140c: SWAP4
0000140d: POP
0000140e: POP
0000140f: POP
00001410: POP
00001411: ISZERO
00001412: DUP1
00001413: ISZERO
00001414: PUSH2 0x0aea
00001417: JUMPI
00001418: RETURNDATASIZE
00001419: PUSH1 0x00
0000141b: DUP1
0000141c: RETURNDATACOPY
0000141d: RETURNDATASIZE
0000141e: PUSH1 0x00
00001420: REVERT
00001421: JUMPDEST
00001422: PUSH1 0x00
00001424: PUSH2 0x078b
00001427: PUSH2 0x142e
0000142a: PUSH2 0x17a2
0000142d: JUMP
0000142e: JUMPDEST
0000142f: DUP5
00001430: PUSH2 0x0822
00001433: DUP6
00001434: PUSH1 0x40
00001436: MLOAD
00001437: DUP1
00001438: PUSH1 0x60
0000143a: ADD
0000143b: PUSH1 0x40
0000143d: MSTORE
0000143e: DUP1
0000143f: PUSH1 0x25
00001441: DUP2
00001442: MSTORE
00001443: PUSH1 0x20
00001445: ADD
00001446: PUSH2 0x30eb
00001449: PUSH1 0x25
0000144b: SWAP2
0000144c: CODECOPY
0000144d: PUSH1 0x03
0000144f: PUSH1 0x00
00001451: PUSH2 0x1458
00001454: PUSH2 0x17a2
00001457: JUMP
00001458: JUMPDEST
00001459: PUSH1 0x01
0000145b: PUSH1 0x01
0000145d: PUSH1 0xa0
0000145f: SHL
00001460: SUB
00001461: SWAP1
00001462: DUP2
00001463: AND
00001464: DUP3
00001465: MSTORE
00001466: PUSH1 0x20
00001468: DUP1
00001469: DUP4
0000146a: ADD
0000146b: SWAP4
0000146c: SWAP1
0000146d: SWAP4
0000146e: MSTORE
0000146f: PUSH1 0x40
00001471: SWAP2
00001472: DUP3
00001473: ADD
00001474: PUSH1 0x00
00001476: SWAP1
00001477: DUP2
00001478: KECCAK256
00001479: SWAP2
0000147a: DUP14
0000147b: AND
0000147c: DUP2
0000147d: MSTORE
0000147e: SWAP3
0000147f: MSTORE
00001480: SWAP1
00001481: KECCAK256
00001482: SLOAD
00001483: SWAP2
00001484: SWAP1
00001485: PUSH2 0x1c1a
00001488: JUMP
00001489: JUMPDEST
0000148a: PUSH1 0x11
0000148c: SLOAD
0000148d: PUSH1 0x01
0000148f: PUSH1 0x01
00001491: PUSH1 0xa0
00001493: SHL
00001494: SUB
00001495: AND
00001496: DUP2
00001497: JUMP
00001498: JUMPDEST
00001499: PUSH1 0x09
0000149b: SLOAD
0000149c: PUSH1 0x01
0000149e: PUSH1 0x01
000014a0: PUSH1 0xa0
000014a2: SHL
000014a3: SUB
000014a4: AND
000014a5: DUP2
000014a6: JUMP
000014a7: JUMPDEST
000014a8: PUSH1 0x00
000014aa: PUSH2 0x078b
000014ad: PUSH2 0x14b4
000014b0: PUSH2 0x17a2
000014b3: JUMP
000014b4: JUMPDEST
000014b5: DUP5
000014b6: DUP5
000014b7: PUSH2 0x185a
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH2 0x14c3
000014bf: PUSH2 0x17a2
000014c2: JUMP
000014c3: JUMPDEST
000014c4: PUSH1 0x01
000014c6: PUSH1 0x01
000014c8: PUSH1 0xa0
000014ca: SHL
000014cb: SUB
000014cc: AND
000014cd: PUSH2 0x14d4
000014d0: PUSH2 0x1302
000014d3: JUMP
000014d4: JUMPDEST
000014d5: PUSH1 0x01
000014d7: PUSH1 0x01
000014d9: PUSH1 0xa0
000014db: SHL
000014dc: SUB
000014dd: AND
000014de: EQ
000014df: PUSH2 0x14fa
000014e2: JUMPI
000014e3: PUSH1 0x40
000014e5: MLOAD
000014e6: PUSH3 0x461bcd
000014ea: PUSH1 0xe5
000014ec: SHL
000014ed: DUP2
000014ee: MSTORE
000014ef: PUSH1 0x04
000014f1: ADD
000014f2: PUSH2 0x0876
000014f5: SWAP1
000014f6: PUSH2 0x2d77
000014f9: JUMP
000014fa: JUMPDEST
000014fb: PUSH1 0x08
000014fd: DUP1
000014fe: SLOAD
000014ff: PUSH3 0xff0000
00001503: NOT
00001504: DUP2
00001505: AND
00001506: PUSH3 0x010000
0000150a: SWAP2
0000150b: DUP3
0000150c: SWAP1
0000150d: DIV
0000150e: PUSH1 0xff
00001510: AND
00001511: ISZERO
00001512: SWAP1
00001513: SWAP2
00001514: MUL
00001515: OR
00001516: SWAP1
00001517: SSTORE
00001518: JUMP
00001519: JUMPDEST
0000151a: PUSH2 0x1521
0000151d: PUSH2 0x17a2
00001520: JUMP
00001521: JUMPDEST
00001522: PUSH1 0x01
00001524: PUSH1 0x01
00001526: PUSH1 0xa0
00001528: SHL
00001529: SUB
0000152a: AND
0000152b: PUSH2 0x1532
0000152e: PUSH2 0x1302
00001531: JUMP
00001532: JUMPDEST
00001533: PUSH1 0x01
00001535: PUSH1 0x01
00001537: PUSH1 0xa0
00001539: SHL
0000153a: SUB
0000153b: AND
0000153c: EQ
0000153d: PUSH2 0x1558
00001540: JUMPI
00001541: PUSH1 0x40
00001543: MLOAD
00001544: PUSH3 0x461bcd
00001548: PUSH1 0xe5
0000154a: SHL
0000154b: DUP2
0000154c: MSTORE
0000154d: PUSH1 0x04
0000154f: ADD
00001550: PUSH2 0x0876
00001553: SWAP1
00001554: PUSH2 0x2d77
00001557: JUMP
00001558: JUMPDEST
00001559: PUSH1 0x40
0000155b: MLOAD
0000155c: PUSH4 0x70a08231
00001561: PUSH1 0xe0
00001563: SHL
00001564: DUP2
00001565: MSTORE
00001566: PUSH1 0x01
00001568: PUSH1 0x01
0000156a: PUSH1 0xa0
0000156c: SHL
0000156d: SUB
0000156e: DUP3
0000156f: AND
00001570: SWAP1
00001571: PUSH4 0xa9059cbb
00001576: SWAP1
00001577: CALLER
00001578: SWAP1
00001579: DUP4
0000157a: SWAP1
0000157b: PUSH4 0x70a08231
00001580: SWAP1
00001581: PUSH2 0x158e
00001584: SWAP1
00001585: ADDRESS
00001586: SWAP1
00001587: PUSH1 0x04
00001589: ADD
0000158a: PUSH2 0x2a12
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x20
00001591: PUSH1 0x40
00001593: MLOAD
00001594: DUP1
00001595: DUP4
00001596: SUB
00001597: DUP2
00001598: DUP7
00001599: DUP1
0000159a: EXTCODESIZE
0000159b: ISZERO
0000159c: DUP1
0000159d: ISZERO
0000159e: PUSH2 0x15a6
000015a1: JUMPI
000015a2: PUSH1 0x00
000015a4: DUP1
000015a5: REVERT
000015a6: JUMPDEST
000015a7: POP
000015a8: GAS
000015a9: STATICCALL
000015aa: ISZERO
000015ab: DUP1
000015ac: ISZERO
000015ad: PUSH2 0x15ba
000015b0: JUMPI
000015b1: RETURNDATASIZE
000015b2: PUSH1 0x00
000015b4: DUP1
000015b5: RETURNDATACOPY
000015b6: RETURNDATASIZE
000015b7: PUSH1 0x00
000015b9: REVERT
000015ba: JUMPDEST
000015bb: POP
000015bc: POP
000015bd: POP
000015be: POP
000015bf: PUSH1 0x40
000015c1: MLOAD
000015c2: RETURNDATASIZE
000015c3: PUSH1 0x1f
000015c5: NOT
000015c6: PUSH1 0x1f
000015c8: DUP3
000015c9: ADD
000015ca: AND
000015cb: DUP3
000015cc: ADD
000015cd: DUP1
000015ce: PUSH1 0x40
000015d0: MSTORE
000015d1: POP
000015d2: DUP2
000015d3: ADD
000015d4: SWAP1
000015d5: PUSH2 0x15de
000015d8: SWAP2
000015d9: SWAP1
000015da: PUSH2 0x29a9
000015dd: JUMP
000015de: JUMPDEST
000015df: PUSH1 0x40
000015e1: MLOAD
000015e2: DUP4
000015e3: PUSH4 0xffffffff
000015e8: AND
000015e9: PUSH1 0xe0
000015eb: SHL
000015ec: DUP2
000015ed: MSTORE
000015ee: PUSH1 0x04
000015f0: ADD
000015f1: PUSH2 0x15fb
000015f4: SWAP3
000015f5: SWAP2
000015f6: SWAP1
000015f7: PUSH2 0x2a40
000015fa: JUMP
000015fb: JUMPDEST
000015fc: PUSH1 0x20
000015fe: PUSH1 0x40
00001600: MLOAD
00001601: DUP1
00001602: DUP4
00001603: SUB
00001604: DUP2
00001605: PUSH1 0x00
00001607: DUP8
00001608: DUP1
00001609: EXTCODESIZE
0000160a: ISZERO
0000160b: DUP1
0000160c: ISZERO
0000160d: PUSH2 0x1615
00001610: JUMPI
00001611: PUSH1 0x00
00001613: DUP1
00001614: REVERT
00001615: JUMPDEST
00001616: POP
00001617: GAS
00001618: CALL
00001619: ISZERO
0000161a: DUP1
0000161b: ISZERO
0000161c: PUSH2 0x1629
0000161f: JUMPI
00001620: RETURNDATASIZE
00001621: PUSH1 0x00
00001623: DUP1
00001624: RETURNDATACOPY
00001625: RETURNDATASIZE
00001626: PUSH1 0x00
00001628: REVERT
00001629: JUMPDEST
0000162a: POP
0000162b: POP
0000162c: POP
0000162d: POP
0000162e: PUSH1 0x40
00001630: MLOAD
00001631: RETURNDATASIZE
00001632: PUSH1 0x1f
00001634: NOT
00001635: PUSH1 0x1f
00001637: DUP3
00001638: ADD
00001639: AND
0000163a: DUP3
0000163b: ADD
0000163c: DUP1
0000163d: PUSH1 0x40
0000163f: MSTORE
00001640: POP
00001641: DUP2
00001642: ADD
00001643: SWAP1
00001644: PUSH2 0x0aea
00001647: SWAP2
00001648: SWAP1
00001649: PUSH2 0x2975
0000164c: JUMP
0000164d: JUMPDEST
0000164e: PUSH1 0x01
00001650: PUSH1 0x01
00001652: PUSH1 0xa0
00001654: SHL
00001655: SUB
00001656: SWAP2
00001657: DUP3
00001658: AND
00001659: PUSH1 0x00
0000165b: SWAP1
0000165c: DUP2
0000165d: MSTORE
0000165e: PUSH1 0x03
00001660: PUSH1 0x20
00001662: SWAP1
00001663: DUP2
00001664: MSTORE
00001665: PUSH1 0x40
00001667: DUP1
00001668: DUP4
00001669: KECCAK256
0000166a: SWAP4
0000166b: SWAP1
0000166c: SWAP5
0000166d: AND
0000166e: DUP3
0000166f: MSTORE
00001670: SWAP2
00001671: SWAP1
00001672: SWAP2
00001673: MSTORE
00001674: KECCAK256
00001675: SLOAD
00001676: SWAP1
00001677: JUMP
00001678: JUMPDEST
00001679: PUSH1 0x0e
0000167b: SLOAD
0000167c: DUP2
0000167d: JUMP
0000167e: JUMPDEST
0000167f: PUSH2 0x1686
00001682: PUSH2 0x17a2
00001685: JUMP
00001686: JUMPDEST
00001687: PUSH1 0x01
00001689: PUSH1 0x01
0000168b: PUSH1 0xa0
0000168d: SHL
0000168e: SUB
0000168f: AND
00001690: PUSH2 0x1697
00001693: PUSH2 0x1302
00001696: JUMP
00001697: JUMPDEST
00001698: PUSH1 0x01
0000169a: PUSH1 0x01
0000169c: PUSH1 0xa0
0000169e: SHL
0000169f: SUB
000016a0: AND
000016a1: EQ
000016a2: PUSH2 0x16bd
000016a5: JUMPI
000016a6: PUSH1 0x40
000016a8: MLOAD
000016a9: PUSH3 0x461bcd
000016ad: PUSH1 0xe5
000016af: SHL
000016b0: DUP2
000016b1: MSTORE
000016b2: PUSH1 0x04
000016b4: ADD
000016b5: PUSH2 0x0876
000016b8: SWAP1
000016b9: PUSH2 0x2d77
000016bc: JUMP
000016bd: JUMPDEST
000016be: PUSH1 0x01
000016c0: PUSH1 0x01
000016c2: PUSH1 0xa0
000016c4: SHL
000016c5: SUB
000016c6: AND
000016c7: PUSH1 0x00
000016c9: SWAP1
000016ca: DUP2
000016cb: MSTORE
000016cc: PUSH1 0x05
000016ce: PUSH1 0x20
000016d0: MSTORE
000016d1: PUSH1 0x40
000016d3: SWAP1
000016d4: KECCAK256
000016d5: DUP1
000016d6: SLOAD
000016d7: PUSH1 0xff
000016d9: NOT
000016da: AND
000016db: SWAP1
000016dc: SSTORE
000016dd: JUMP
000016de: JUMPDEST
000016df: PUSH1 0x10
000016e1: SLOAD
000016e2: PUSH1 0x01
000016e4: PUSH1 0x01
000016e6: PUSH1 0xa0
000016e8: SHL
000016e9: SUB
000016ea: AND
000016eb: DUP2
000016ec: JUMP
000016ed: JUMPDEST
000016ee: PUSH2 0x16f5
000016f1: PUSH2 0x17a2
000016f4: JUMP
000016f5: JUMPDEST
000016f6: PUSH1 0x01
000016f8: PUSH1 0x01
000016fa: PUSH1 0xa0
000016fc: SHL
000016fd: SUB
000016fe: AND
000016ff: PUSH2 0x1706
00001702: PUSH2 0x1302
00001705: JUMP
00001706: JUMPDEST
00001707: PUSH1 0x01
00001709: PUSH1 0x01
0000170b: PUSH1 0xa0
0000170d: SHL
0000170e: SUB
0000170f: AND
00001710: EQ
00001711: PUSH2 0x172c
00001714: JUMPI
00001715: PUSH1 0x40
00001717: MLOAD
00001718: PUSH3 0x461bcd
0000171c: PUSH1 0xe5
0000171e: SHL
0000171f: DUP2
00001720: MSTORE
00001721: PUSH1 0x04
00001723: ADD
00001724: PUSH2 0x0876
00001727: SWAP1
00001728: PUSH2 0x2d77
0000172b: JUMP
0000172c: JUMPDEST
0000172d: PUSH1 0x01
0000172f: PUSH1 0x01
00001731: PUSH1 0xa0
00001733: SHL
00001734: SUB
00001735: DUP2
00001736: AND
00001737: PUSH2 0x1752
0000173a: JUMPI
0000173b: PUSH1 0x40
0000173d: MLOAD
0000173e: PUSH3 0x461bcd
00001742: PUSH1 0xe5
00001744: SHL
00001745: DUP2
00001746: MSTORE
00001747: PUSH1 0x04
00001749: ADD
0000174a: PUSH2 0x0876
0000174d: SWAP1
0000174e: PUSH2 0x2c07
00001751: JUMP
00001752: JUMPDEST
00001753: PUSH2 0x175b
00001756: DUP2
00001757: PUSH2 0x1cbd
0000175a: JUMP
0000175b: JUMPDEST
0000175c: POP
0000175d: JUMP
0000175e: JUMPDEST
0000175f: PUSH1 0x08
00001761: SLOAD
00001762: PUSH1 0x01
00001764: PUSH1 0x20
00001766: SHL
00001767: SWAP1
00001768: DIV
00001769: PUSH1 0x01
0000176b: PUSH1 0x01
0000176d: PUSH1 0xa0
0000176f: SHL
00001770: SUB
00001771: AND
00001772: DUP2
00001773: JUMP
00001774: JUMPDEST
00001775: PUSH1 0x12
00001777: SLOAD
00001778: PUSH1 0x01
0000177a: PUSH1 0x01
0000177c: PUSH1 0xa0
0000177e: SHL
0000177f: SUB
00001780: AND
00001781: DUP2
00001782: JUMP
00001783: JUMPDEST
00001784: PUSH1 0x00
00001786: PUSH2 0x178f
00001789: DUP3
0000178a: DUP5
0000178b: PUSH2 0x3038
0000178e: JUMP
0000178f: JUMPDEST
00001790: SWAP4
00001791: SWAP3
00001792: POP
00001793: POP
00001794: POP
00001795: JUMP
00001796: JUMPDEST
00001797: PUSH1 0x00
00001799: PUSH2 0x178f
0000179c: DUP3
0000179d: DUP5
0000179e: PUSH2 0x3018
000017a1: JUMP
000017a2: JUMPDEST
000017a3: CALLER
000017a4: SWAP1
000017a5: JUMP
000017a6: JUMPDEST
000017a7: PUSH1 0x01
000017a9: PUSH1 0x01
000017ab: PUSH1 0xa0
000017ad: SHL
000017ae: SUB
000017af: DUP4
000017b0: AND
000017b1: PUSH2 0x17cc
000017b4: JUMPI
000017b5: PUSH1 0x40
000017b7: MLOAD
000017b8: PUSH3 0x461bcd
000017bc: PUSH1 0xe5
000017be: SHL
000017bf: DUP2
000017c0: MSTORE
000017c1: PUSH1 0x04
000017c3: ADD
000017c4: PUSH2 0x0876
000017c7: SWAP1
000017c8: PUSH2 0x2e71
000017cb: JUMP
000017cc: JUMPDEST
000017cd: PUSH1 0x01
000017cf: PUSH1 0x01
000017d1: PUSH1 0xa0
000017d3: SHL
000017d4: SUB
000017d5: DUP3
000017d6: AND
000017d7: PUSH2 0x17f2
000017da: JUMPI
000017db: PUSH1 0x40
000017dd: MLOAD
000017de: PUSH3 0x461bcd
000017e2: PUSH1 0xe5
000017e4: SHL
000017e5: DUP2
000017e6: MSTORE
000017e7: PUSH1 0x04
000017e9: ADD
000017ea: PUSH2 0x0876
000017ed: SWAP1
000017ee: PUSH2 0x2c4d
000017f1: JUMP
000017f2: JUMPDEST
000017f3: PUSH1 0x01
000017f5: PUSH1 0x01
000017f7: PUSH1 0xa0
000017f9: SHL
000017fa: SUB
000017fb: DUP1
000017fc: DUP5
000017fd: AND
000017fe: PUSH1 0x00
00001800: DUP2
00001801: DUP2
00001802: MSTORE
00001803: PUSH1 0x03
00001805: PUSH1 0x20
00001807: SWAP1
00001808: DUP2
00001809: MSTORE
0000180a: PUSH1 0x40
0000180c: DUP1
0000180d: DUP4
0000180e: KECCAK256
0000180f: SWAP5
00001810: DUP8
00001811: AND
00001812: DUP1
00001813: DUP5
00001814: MSTORE
00001815: SWAP5
00001816: SWAP1
00001817: SWAP2
00001818: MSTORE
00001819: SWAP1
0000181a: DUP2
0000181b: SWAP1
0000181c: KECCAK256
0000181d: DUP5
0000181e: SWAP1
0000181f: SSTORE
00001820: MLOAD
00001821: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001842: SWAP1
00001843: PUSH2 0x184d
00001846: SWAP1
00001847: DUP6
00001848: SWAP1
00001849: PUSH2 0x2f79
0000184c: JUMP
0000184d: JUMPDEST
0000184e: PUSH1 0x40
00001850: MLOAD
00001851: DUP1
00001852: SWAP2
00001853: SUB
00001854: SWAP1
00001855: LOG3
00001856: POP
00001857: POP
00001858: POP
00001859: JUMP
0000185a: JUMPDEST
0000185b: PUSH1 0x01
0000185d: PUSH1 0x01
0000185f: PUSH1 0xa0
00001861: SHL
00001862: SUB
00001863: DUP4
00001864: AND
00001865: PUSH2 0x1880
00001868: JUMPI
00001869: PUSH1 0x40
0000186b: MLOAD
0000186c: PUSH3 0x461bcd
00001870: PUSH1 0xe5
00001872: SHL
00001873: DUP2
00001874: MSTORE
00001875: PUSH1 0x04
00001877: ADD
00001878: PUSH2 0x0876
0000187b: SWAP1
0000187c: PUSH2 0x2e2c
0000187f: JUMP
00001880: JUMPDEST
00001881: PUSH1 0x01
00001883: PUSH1 0x01
00001885: PUSH1 0xa0
00001887: SHL
00001888: SUB
00001889: DUP3
0000188a: AND
0000188b: PUSH2 0x18a6
0000188e: JUMPI
0000188f: PUSH1 0x40
00001891: MLOAD
00001892: PUSH3 0x461bcd
00001896: PUSH1 0xe5
00001898: SHL
00001899: DUP2
0000189a: MSTORE
0000189b: PUSH1 0x04
0000189d: ADD
0000189e: PUSH2 0x0876
000018a1: SWAP1
000018a2: PUSH2 0x2af2
000018a5: JUMP
000018a6: JUMPDEST
000018a7: PUSH1 0x00
000018a9: DUP2
000018aa: GT
000018ab: PUSH2 0x18c6
000018ae: JUMPI
000018af: PUSH1 0x40
000018b1: MLOAD
000018b2: PUSH3 0x461bcd
000018b6: PUSH1 0xe5
000018b8: SHL
000018b9: DUP2
000018ba: MSTORE
000018bb: PUSH1 0x04
000018bd: ADD
000018be: PUSH2 0x0876
000018c1: SWAP1
000018c2: PUSH2 0x2de3
000018c5: JUMP
000018c6: JUMPDEST
000018c7: PUSH2 0x18cf
000018ca: DUP4
000018cb: PUSH2 0x11cc
000018ce: JUMP
000018cf: JUMPDEST
000018d0: DUP2
000018d1: GT
000018d2: ISZERO
000018d3: PUSH2 0x18ee
000018d6: JUMPI
000018d7: PUSH1 0x40
000018d9: MLOAD
000018da: PUSH3 0x461bcd
000018de: PUSH1 0xe5
000018e0: SHL
000018e1: DUP2
000018e2: MSTORE
000018e3: PUSH1 0x04
000018e5: ADD
000018e6: PUSH2 0x0876
000018e9: SWAP1
000018ea: PUSH2 0x2b6c
000018ed: JUMP
000018ee: JUMPDEST
000018ef: PUSH1 0x01
000018f1: PUSH1 0x01
000018f3: PUSH1 0xa0
000018f5: SHL
000018f6: SUB
000018f7: DUP4
000018f8: AND
000018f9: PUSH1 0x00
000018fb: SWAP1
000018fc: DUP2
000018fd: MSTORE
000018fe: PUSH1 0x05
00001900: PUSH1 0x20
00001902: MSTORE
00001903: PUSH1 0x40
00001905: SWAP1
00001906: KECCAK256
00001907: SLOAD
00001908: PUSH1 0xff
0000190a: AND
0000190b: ISZERO
0000190c: DUP1
0000190d: ISZERO
0000190e: PUSH2 0x1930
00001911: JUMPI
00001912: POP
00001913: PUSH1 0x01
00001915: PUSH1 0x01
00001917: PUSH1 0xa0
00001919: SHL
0000191a: SUB
0000191b: DUP3
0000191c: AND
0000191d: PUSH1 0x00
0000191f: SWAP1
00001920: DUP2
00001921: MSTORE
00001922: PUSH1 0x05
00001924: PUSH1 0x20
00001926: MSTORE
00001927: PUSH1 0x40
00001929: SWAP1
0000192a: KECCAK256
0000192b: SLOAD
0000192c: PUSH1 0xff
0000192e: AND
0000192f: ISZERO
00001930: JUMPDEST
00001931: ISZERO
00001932: PUSH2 0x1957
00001935: JUMPI
00001936: PUSH1 0x08
00001938: SLOAD
00001939: PUSH1 0xff
0000193b: AND
0000193c: PUSH2 0x1957
0000193f: JUMPI
00001940: PUSH1 0x40
00001942: MLOAD
00001943: PUSH3 0x461bcd
00001947: PUSH1 0xe5
00001949: SHL
0000194a: DUP2
0000194b: MSTORE
0000194c: PUSH1 0x04
0000194e: ADD
0000194f: PUSH2 0x0876
00001952: SWAP1
00001953: PUSH2 0x2b35
00001956: JUMP
00001957: JUMPDEST
00001958: PUSH2 0x195f
0000195b: PUSH2 0x1302
0000195e: JUMP
0000195f: JUMPDEST
00001960: PUSH1 0x01
00001962: PUSH1 0x01
00001964: PUSH1 0xa0
00001966: SHL
00001967: SUB
00001968: AND
00001969: DUP4
0000196a: PUSH1 0x01
0000196c: PUSH1 0x01
0000196e: PUSH1 0xa0
00001970: SHL
00001971: SUB
00001972: AND
00001973: EQ
00001974: ISZERO
00001975: DUP1
00001976: ISZERO
00001977: PUSH2 0x1999
0000197a: JUMPI
0000197b: POP
0000197c: PUSH2 0x1983
0000197f: PUSH2 0x1302
00001982: JUMP
00001983: JUMPDEST
00001984: PUSH1 0x01
00001986: PUSH1 0x01
00001988: PUSH1 0xa0
0000198a: SHL
0000198b: SUB
0000198c: AND
0000198d: DUP3
0000198e: PUSH1 0x01
00001990: PUSH1 0x01
00001992: PUSH1 0xa0
00001994: SHL
00001995: SUB
00001996: AND
00001997: EQ
00001998: ISZERO
00001999: JUMPDEST
0000199a: DUP1
0000199b: ISZERO
0000199c: PUSH2 0x19ad
0000199f: JUMPI
000019a0: POP
000019a1: PUSH1 0x01
000019a3: PUSH1 0x01
000019a5: PUSH1 0xa0
000019a7: SHL
000019a8: SUB
000019a9: DUP3
000019aa: AND
000019ab: ISZERO
000019ac: ISZERO
000019ad: JUMPDEST
000019ae: DUP1
000019af: ISZERO
000019b0: PUSH2 0x19c4
000019b3: JUMPI
000019b4: POP
000019b5: PUSH1 0x01
000019b7: PUSH1 0x01
000019b9: PUSH1 0xa0
000019bb: SHL
000019bc: SUB
000019bd: DUP3
000019be: AND
000019bf: PUSH2 0xdead
000019c2: EQ
000019c3: ISZERO
000019c4: JUMPDEST
000019c5: DUP1
000019c6: ISZERO
000019c7: PUSH2 0x19dd
000019ca: JUMPI
000019cb: POP
000019cc: PUSH1 0x09
000019ce: SLOAD
000019cf: PUSH1 0x01
000019d1: PUSH1 0x01
000019d3: PUSH1 0xa0
000019d5: SHL
000019d6: SUB
000019d7: DUP5
000019d8: DUP2
000019d9: AND
000019da: SWAP2
000019db: AND
000019dc: EQ
000019dd: JUMPDEST
000019de: ISZERO
000019df: PUSH2 0x1a64
000019e2: JUMPI
000019e3: PUSH1 0x0c
000019e5: SLOAD
000019e6: DUP2
000019e7: GT
000019e8: ISZERO
000019e9: PUSH2 0x1a04
000019ec: JUMPI
000019ed: PUSH1 0x40
000019ef: MLOAD
000019f0: PUSH3 0x461bcd
000019f4: PUSH1 0xe5
000019f6: SHL
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x04
000019fb: ADD
000019fc: PUSH2 0x0876
000019ff: SWAP1
00001a00: PUSH2 0x2eb5
00001a03: JUMP
00001a04: JUMPDEST
00001a05: PUSH1 0x00
00001a07: PUSH2 0x1a0f
00001a0a: DUP4
00001a0b: PUSH2 0x11cc
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: PUSH1 0x0f
00001a12: SLOAD
00001a13: SWAP1
00001a14: SWAP2
00001a15: POP
00001a16: PUSH2 0x1a1f
00001a19: DUP4
00001a1a: DUP4
00001a1b: PUSH2 0x3000
00001a1e: JUMP
00001a1f: JUMPDEST
00001a20: GT
00001a21: ISZERO
00001a22: DUP1
00001a23: ISZERO
00001a24: PUSH2 0x1a46
00001a27: JUMPI
00001a28: POP
00001a29: PUSH1 0x01
00001a2b: PUSH1 0x01
00001a2d: PUSH1 0xa0
00001a2f: SHL
00001a30: SUB
00001a31: DUP5
00001a32: AND
00001a33: PUSH1 0x00
00001a35: SWAP1
00001a36: DUP2
00001a37: MSTORE
00001a38: PUSH1 0x04
00001a3a: PUSH1 0x20
00001a3c: MSTORE
00001a3d: PUSH1 0x40
00001a3f: SWAP1
00001a40: KECCAK256
00001a41: SLOAD
00001a42: PUSH1 0xff
00001a44: AND
00001a45: ISZERO
00001a46: JUMPDEST
00001a47: PUSH2 0x1a62
00001a4a: JUMPI
00001a4b: PUSH1 0x40
00001a4d: MLOAD
00001a4e: PUSH3 0x461bcd
00001a52: PUSH1 0xe5
00001a54: SHL
00001a55: DUP2
00001a56: MSTORE
00001a57: PUSH1 0x04
00001a59: ADD
00001a5a: PUSH2 0x0876
00001a5d: SWAP1
00001a5e: PUSH2 0x2cc6
00001a61: JUMP
00001a62: JUMPDEST
00001a63: POP
00001a64: JUMPDEST
00001a65: PUSH2 0x1a6c
00001a68: PUSH2 0x1302
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: PUSH1 0x01
00001a6f: PUSH1 0x01
00001a71: PUSH1 0xa0
00001a73: SHL
00001a74: SUB
00001a75: AND
00001a76: DUP4
00001a77: PUSH1 0x01
00001a79: PUSH1 0x01
00001a7b: PUSH1 0xa0
00001a7d: SHL
00001a7e: SUB
00001a7f: AND
00001a80: EQ
00001a81: ISZERO
00001a82: DUP1
00001a83: ISZERO
00001a84: PUSH2 0x1aa6
00001a87: JUMPI
00001a88: POP
00001a89: PUSH2 0x1a90
00001a8c: PUSH2 0x1302
00001a8f: JUMP
00001a90: JUMPDEST
00001a91: PUSH1 0x01
00001a93: PUSH1 0x01
00001a95: PUSH1 0xa0
00001a97: SHL
00001a98: SUB
00001a99: AND
00001a9a: DUP3
00001a9b: PUSH1 0x01
00001a9d: PUSH1 0x01
00001a9f: PUSH1 0xa0
00001aa1: SHL
00001aa2: SUB
00001aa3: AND
00001aa4: EQ
00001aa5: ISZERO
00001aa6: JUMPDEST
00001aa7: DUP1
00001aa8: ISZERO
00001aa9: PUSH2 0x1aba
00001aac: JUMPI
00001aad: POP
00001aae: PUSH1 0x01
00001ab0: PUSH1 0x01
00001ab2: PUSH1 0xa0
00001ab4: SHL
00001ab5: SUB
00001ab6: DUP3
00001ab7: AND
00001ab8: ISZERO
00001ab9: ISZERO
00001aba: JUMPDEST
00001abb: DUP1
00001abc: ISZERO
00001abd: PUSH2 0x1ad1
00001ac0: JUMPI
00001ac1: POP
00001ac2: PUSH1 0x01
00001ac4: PUSH1 0x01
00001ac6: PUSH1 0xa0
00001ac8: SHL
00001ac9: SUB
00001aca: DUP3
00001acb: AND
00001acc: PUSH2 0xdead
00001acf: EQ
00001ad0: ISZERO
00001ad1: JUMPDEST
00001ad2: DUP1
00001ad3: ISZERO
00001ad4: PUSH2 0x1aea
00001ad7: JUMPI
00001ad8: POP
00001ad9: PUSH1 0x09
00001adb: SLOAD
00001adc: PUSH1 0x01
00001ade: PUSH1 0x01
00001ae0: PUSH1 0xa0
00001ae2: SHL
00001ae3: SUB
00001ae4: DUP5
00001ae5: DUP2
00001ae6: AND
00001ae7: SWAP2
00001ae8: AND
00001ae9: EQ
00001aea: JUMPDEST
00001aeb: ISZERO
00001aec: PUSH2 0x1b11
00001aef: JUMPI
00001af0: PUSH1 0x0d
00001af2: SLOAD
00001af3: DUP2
00001af4: GT
00001af5: ISZERO
00001af6: PUSH2 0x1b11
00001af9: JUMPI
00001afa: PUSH1 0x40
00001afc: MLOAD
00001afd: PUSH3 0x461bcd
00001b01: PUSH1 0xe5
00001b03: SHL
00001b04: DUP2
00001b05: MSTORE
00001b06: PUSH1 0x04
00001b08: ADD
00001b09: PUSH2 0x0876
00001b0c: SWAP1
00001b0d: PUSH2 0x2f38
00001b10: JUMP
00001b11: JUMPDEST
00001b12: PUSH1 0x00
00001b14: PUSH2 0x1b1c
00001b17: ADDRESS
00001b18: PUSH2 0x11cc
00001b1b: JUMP
00001b1c: JUMPDEST
00001b1d: PUSH1 0x0e
00001b1f: SLOAD
00001b20: PUSH1 0x08
00001b22: SLOAD
00001b23: SWAP2
00001b24: SWAP3
00001b25: POP
00001b26: DUP3
00001b27: LT
00001b28: ISZERO
00001b29: SWAP1
00001b2a: PUSH3 0x010000
00001b2e: SWAP1
00001b2f: DIV
00001b30: PUSH1 0xff
00001b32: AND
00001b33: ISZERO
00001b34: DUP1
00001b35: ISZERO
00001b36: PUSH2 0x1b46
00001b39: JUMPI
00001b3a: POP
00001b3b: PUSH1 0x08
00001b3d: SLOAD
00001b3e: PUSH2 0x0100
00001b41: SWAP1
00001b42: DIV
00001b43: PUSH1 0xff
00001b45: AND
00001b46: JUMPDEST
00001b47: DUP1
00001b48: ISZERO
00001b49: PUSH2 0x1b4f
00001b4c: JUMPI
00001b4d: POP
00001b4e: DUP1
00001b4f: JUMPDEST
00001b50: DUP1
00001b51: ISZERO
00001b52: PUSH2 0x1b69
00001b55: JUMPI
00001b56: POP
00001b57: PUSH1 0x09
00001b59: SLOAD
00001b5a: PUSH1 0x01
00001b5c: PUSH1 0x01
00001b5e: PUSH1 0xa0
00001b60: SHL
00001b61: SUB
00001b62: DUP7
00001b63: DUP2
00001b64: AND
00001b65: SWAP2
00001b66: AND
00001b67: EQ
00001b68: ISZERO
00001b69: JUMPDEST
00001b6a: ISZERO
00001b6b: PUSH2 0x1b79
00001b6e: JUMPI
00001b6f: PUSH2 0x1b79
00001b72: PUSH1 0x0e
00001b74: SLOAD
00001b75: PUSH2 0x1d0d
00001b78: JUMP
00001b79: JUMPDEST
00001b7a: PUSH1 0x01
00001b7c: PUSH1 0x01
00001b7e: PUSH1 0xa0
00001b80: SHL
00001b81: SUB
00001b82: DUP6
00001b83: AND
00001b84: PUSH1 0x00
00001b86: SWAP1
00001b87: DUP2
00001b88: MSTORE
00001b89: PUSH1 0x05
00001b8b: PUSH1 0x20
00001b8d: MSTORE
00001b8e: PUSH1 0x40
00001b90: SWAP1
00001b91: KECCAK256
00001b92: SLOAD
00001b93: PUSH2 0x1c13
00001b96: SWAP1
00001b97: DUP7
00001b98: SWAP1
00001b99: DUP7
00001b9a: SWAP1
00001b9b: DUP7
00001b9c: SWAP1
00001b9d: PUSH1 0xff
00001b9f: AND
00001ba0: DUP1
00001ba1: PUSH2 0x1bc2
00001ba4: JUMPI
00001ba5: POP
00001ba6: PUSH1 0x01
00001ba8: PUSH1 0x01
00001baa: PUSH1 0xa0
00001bac: SHL
00001bad: SUB
00001bae: DUP9
00001baf: AND
00001bb0: PUSH1 0x00
00001bb2: SWAP1
00001bb3: DUP2
00001bb4: MSTORE
00001bb5: PUSH1 0x05
00001bb7: PUSH1 0x20
00001bb9: MSTORE
00001bba: PUSH1 0x40
00001bbc: SWAP1
00001bbd: KECCAK256
00001bbe: SLOAD
00001bbf: PUSH1 0xff
00001bc1: AND
00001bc2: JUMPDEST
00001bc3: ISZERO
00001bc4: DUP1
00001bc5: ISZERO
00001bc6: PUSH2 0x1bf8
00001bc9: JUMPI
00001bca: POP
00001bcb: PUSH1 0x09
00001bcd: SLOAD
00001bce: PUSH1 0x01
00001bd0: PUSH1 0x01
00001bd2: PUSH1 0xa0
00001bd4: SHL
00001bd5: SUB
00001bd6: DUP10
00001bd7: DUP2
00001bd8: AND
00001bd9: SWAP2
00001bda: AND
00001bdb: EQ
00001bdc: DUP1
00001bdd: ISZERO
00001bde: SWAP1
00001bdf: PUSH2 0x1bf6
00001be2: JUMPI
00001be3: POP
00001be4: PUSH1 0x09
00001be6: SLOAD
00001be7: PUSH1 0x01
00001be9: PUSH1 0x01
00001beb: PUSH1 0xa0
00001bed: SHL
00001bee: SUB
00001bef: DUP11
00001bf0: DUP2
00001bf1: AND
00001bf2: SWAP2
00001bf3: AND
00001bf4: EQ
00001bf5: ISZERO
00001bf6: JUMPDEST
00001bf7: ISZERO
00001bf8: JUMPDEST
00001bf9: DUP1
00001bfa: ISZERO
00001bfb: PUSH2 0x1c0e
00001bfe: JUMPI
00001bff: POP
00001c00: PUSH1 0x08
00001c02: SLOAD
00001c03: PUSH4 0x01000000
00001c08: SWAP1
00001c09: DIV
00001c0a: PUSH1 0xff
00001c0c: AND
00001c0d: ISZERO
00001c0e: JUMPDEST
00001c0f: PUSH2 0x1e73
00001c12: JUMP
00001c13: JUMPDEST
00001c14: POP
00001c15: POP
00001c16: POP
00001c17: POP
00001c18: POP
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: PUSH1 0x00
00001c1d: DUP2
00001c1e: DUP5
00001c1f: DUP5
00001c20: GT
00001c21: ISZERO
00001c22: PUSH2 0x1c3e
00001c25: JUMPI
00001c26: PUSH1 0x40
00001c28: MLOAD
00001c29: PUSH3 0x461bcd
00001c2d: PUSH1 0xe5
00001c2f: SHL
00001c30: DUP2
00001c31: MSTORE
00001c32: PUSH1 0x04
00001c34: ADD
00001c35: PUSH2 0x0876
00001c38: SWAP2
00001c39: SWAP1
00001c3a: PUSH2 0x2a9f
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: POP
00001c40: POP
00001c41: POP
00001c42: SWAP1
00001c43: SUB
00001c44: SWAP1
00001c45: JUMP
00001c46: JUMPDEST
00001c47: PUSH1 0x00
00001c49: DUP1
00001c4a: PUSH1 0x00
00001c4c: PUSH2 0x1c53
00001c4f: PUSH2 0x210b
00001c52: JUMP
00001c53: JUMPDEST
00001c54: SWAP1
00001c55: SWAP3
00001c56: POP
00001c57: SWAP1
00001c58: POP
00001c59: PUSH2 0x1c62
00001c5c: DUP2
00001c5d: DUP4
00001c5e: PUSH2 0x3018
00001c61: JUMP
00001c62: JUMPDEST
00001c63: SWAP3
00001c64: POP
00001c65: POP
00001c66: POP
00001c67: SWAP1
00001c68: JUMP
00001c69: JUMPDEST
00001c6a: PUSH2 0x1c71
00001c6d: PUSH2 0x2824
00001c70: JUMP
00001c71: JUMPDEST
00001c72: PUSH2 0x1c7b
00001c75: DUP4
00001c76: DUP4
00001c77: PUSH2 0x22c9
00001c7a: JUMP
00001c7b: JUMPDEST
00001c7c: SWAP1
00001c7d: POP
00001c7e: PUSH2 0x1c90
00001c81: DUP2
00001c82: DUP5
00001c83: DUP5
00001c84: PUSH2 0x1c8b
00001c87: PUSH2 0x1c46
00001c8a: JUMP
00001c8b: JUMPDEST
00001c8c: PUSH2 0x23d7
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: PUSH1 0xa0
00001c93: DUP8
00001c94: ADD
00001c95: MSTORE
00001c96: PUSH1 0x80
00001c98: DUP7
00001c99: ADD
00001c9a: MSTORE
00001c9b: PUSH1 0x60
00001c9d: DUP6
00001c9e: ADD
00001c9f: MSTORE
00001ca0: PUSH1 0x40
00001ca2: DUP5
00001ca3: ADD
00001ca4: MSTORE
00001ca5: PUSH1 0x20
00001ca7: DUP4
00001ca8: ADD
00001ca9: MSTORE
00001caa: DUP2
00001cab: MSTORE
00001cac: SWAP3
00001cad: SWAP2
00001cae: POP
00001caf: POP
00001cb0: JUMP
00001cb1: JUMPDEST
00001cb2: PUSH1 0x00
00001cb4: PUSH2 0x178f
00001cb7: DUP3
00001cb8: DUP5
00001cb9: PUSH2 0x3057
00001cbc: JUMP
00001cbd: JUMPDEST
00001cbe: PUSH1 0x00
00001cc0: DUP1
00001cc1: SLOAD
00001cc2: PUSH1 0x01
00001cc4: PUSH1 0x01
00001cc6: PUSH1 0xa0
00001cc8: SHL
00001cc9: SUB
00001cca: DUP4
00001ccb: DUP2
00001ccc: AND
00001ccd: PUSH1 0x01
00001ccf: PUSH1 0x01
00001cd1: PUSH1 0xa0
00001cd3: SHL
00001cd4: SUB
00001cd5: NOT
00001cd6: DUP4
00001cd7: AND
00001cd8: DUP2
00001cd9: OR
00001cda: DUP5
00001cdb: SSTORE
00001cdc: PUSH1 0x40
00001cde: MLOAD
00001cdf: SWAP2
00001ce0: SWAP1
00001ce1: SWAP3
00001ce2: AND
00001ce3: SWAP3
00001ce4: DUP4
00001ce5: SWAP2
00001ce6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001d07: SWAP2
00001d08: SWAP1
00001d09: LOG3
00001d0a: POP
00001d0b: POP
00001d0c: JUMP
00001d0d: JUMPDEST
00001d0e: PUSH1 0x08
00001d10: DUP1
00001d11: SLOAD
00001d12: PUSH4 0xff000000
00001d17: NOT
00001d18: PUSH3 0xff0000
00001d1c: NOT
00001d1d: SWAP1
00001d1e: SWAP2
00001d1f: AND
00001d20: PUSH3 0x010000
00001d24: OR
00001d25: AND
00001d26: PUSH4 0x01000000
00001d2b: OR
00001d2c: SWAP1
00001d2d: SSTORE
00001d2e: PUSH1 0x40
00001d30: DUP1
00001d31: MLOAD
00001d32: PUSH1 0x80
00001d34: DUP2
00001d35: ADD
00001d36: DUP3
00001d37: MSTORE
00001d38: PUSH1 0x1e
00001d3a: DUP2
00001d3b: MSTORE
00001d3c: PUSH1 0x28
00001d3e: PUSH1 0x20
00001d40: DUP3
00001d41: ADD
00001d42: DUP2
00001d43: SWAP1
00001d44: MSTORE
00001d45: PUSH1 0x14
00001d47: SWAP3
00001d48: DUP3
00001d49: ADD
00001d4a: SWAP3
00001d4b: SWAP1
00001d4c: SWAP3
00001d4d: MSTORE
00001d4e: PUSH1 0x0a
00001d50: PUSH1 0x60
00001d52: DUP3
00001d53: ADD
00001d54: DUP2
00001d55: SWAP1
00001d56: MSTORE
00001d57: SWAP1
00001d58: SWAP2
00001d59: PUSH1 0x00
00001d5b: SWAP2
00001d5c: PUSH2 0x1d65
00001d5f: SWAP2
00001d60: SWAP1
00001d61: PUSH2 0x3000
00001d64: JUMP
00001d65: JUMPDEST
00001d66: PUSH2 0x1d70
00001d69: SWAP1
00001d6a: PUSH1 0x02
00001d6c: PUSH2 0x3038
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: SWAP1
00001d72: POP
00001d73: PUSH1 0x00
00001d75: DUP2
00001d76: DUP4
00001d77: PUSH1 0x60
00001d79: ADD
00001d7a: MLOAD
00001d7b: DUP6
00001d7c: PUSH2 0x1d85
00001d7f: SWAP2
00001d80: SWAP1
00001d81: PUSH2 0x3038
00001d84: JUMP
00001d85: JUMPDEST
00001d86: PUSH2 0x1d8f
00001d89: SWAP2
00001d8a: SWAP1
00001d8b: PUSH2 0x3018
00001d8e: JUMP
00001d8f: JUMPDEST
00001d90: SWAP1
00001d91: POP
00001d92: PUSH1 0x00
00001d94: PUSH2 0x1d9d
00001d97: DUP3
00001d98: DUP7
00001d99: PUSH2 0x3057
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: SWAP1
00001d9f: POP
00001da0: SELFBALANCE
00001da1: PUSH2 0x1da9
00001da4: DUP3
00001da5: PUSH2 0x2489
00001da8: JUMP
00001da9: JUMPDEST
00001daa: PUSH1 0x00
00001dac: PUSH2 0x1db5
00001daf: DUP3
00001db0: SELFBALANCE
00001db1: PUSH2 0x3057
00001db4: JUMP
00001db5: JUMPDEST
00001db6: SWAP1
00001db7: POP
00001db8: PUSH1 0x00
00001dba: DUP7
00001dbb: PUSH1 0x60
00001dbd: ADD
00001dbe: MLOAD
00001dbf: DUP7
00001dc0: PUSH2 0x1dc9
00001dc3: SWAP2
00001dc4: SWAP1
00001dc5: PUSH2 0x3057
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: PUSH2 0x1dd3
00001dcd: SWAP1
00001dce: DUP4
00001dcf: PUSH2 0x3018
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: SWAP1
00001dd5: POP
00001dd6: PUSH1 0x00
00001dd8: DUP8
00001dd9: PUSH1 0x60
00001ddb: ADD
00001ddc: MLOAD
00001ddd: DUP3
00001dde: PUSH2 0x1de7
00001de1: SWAP2
00001de2: SWAP1
00001de3: PUSH2 0x3038
00001de6: JUMP
00001de7: JUMPDEST
00001de8: SWAP1
00001de9: POP
00001dea: DUP1
00001deb: ISZERO
00001dec: PUSH2 0x1df9
00001def: JUMPI
00001df0: PUSH2 0x1df9
00001df3: DUP7
00001df4: DUP3
00001df5: PUSH2 0x2635
00001df8: JUMP
00001df9: JUMPDEST
00001dfa: PUSH1 0x20
00001dfc: DUP9
00001dfd: ADD
00001dfe: MLOAD
00001dff: PUSH1 0x00
00001e01: SWAP1
00001e02: PUSH2 0x1e0c
00001e05: DUP5
00001e06: PUSH1 0x02
00001e08: PUSH2 0x3038
00001e0b: JUMP
00001e0c: JUMPDEST
00001e0d: PUSH2 0x1e16
00001e10: SWAP2
00001e11: SWAP1
00001e12: PUSH2 0x3038
00001e15: JUMP
00001e16: JUMPDEST
00001e17: SWAP1
00001e18: POP
00001e19: DUP1
00001e1a: ISZERO
00001e1b: PUSH2 0x1e5a
00001e1e: JUMPI
00001e1f: PUSH1 0x10
00001e21: SLOAD
00001e22: PUSH1 0x40
00001e24: MLOAD
00001e25: PUSH1 0x01
00001e27: PUSH1 0x01
00001e29: PUSH1 0xa0
00001e2b: SHL
00001e2c: SUB
00001e2d: SWAP1
00001e2e: SWAP2
00001e2f: AND
00001e30: SWAP1
00001e31: DUP3
00001e32: ISZERO
00001e33: PUSH2 0x08fc
00001e36: MUL
00001e37: SWAP1
00001e38: DUP4
00001e39: SWAP1
00001e3a: PUSH1 0x00
00001e3c: DUP2
00001e3d: DUP2
00001e3e: DUP2
00001e3f: DUP6
00001e40: DUP9
00001e41: DUP9
00001e42: CALL
00001e43: SWAP4
00001e44: POP
00001e45: POP
00001e46: POP
00001e47: POP
00001e48: ISZERO
00001e49: DUP1
00001e4a: ISZERO
00001e4b: PUSH2 0x1e58
00001e4e: JUMPI
00001e4f: RETURNDATASIZE
00001e50: PUSH1 0x00
00001e52: DUP1
00001e53: RETURNDATACOPY
00001e54: RETURNDATASIZE
00001e55: PUSH1 0x00
00001e57: REVERT
00001e58: JUMPDEST
00001e59: POP
00001e5a: JUMPDEST
00001e5b: POP
00001e5c: POP
00001e5d: PUSH1 0x08
00001e5f: DUP1
00001e60: SLOAD
00001e61: PUSH4 0xffff0000
00001e66: NOT
00001e67: AND
00001e68: SWAP1
00001e69: SSTORE
00001e6a: POP
00001e6b: POP
00001e6c: POP
00001e6d: POP
00001e6e: POP
00001e6f: POP
00001e70: POP
00001e71: POP
00001e72: JUMP
00001e73: JUMPDEST
00001e74: PUSH1 0x00
00001e76: PUSH2 0x1e7f
00001e79: DUP4
00001e7a: DUP4
00001e7b: PUSH2 0x1c69
00001e7e: JUMP
00001e7f: JUMPDEST
00001e80: PUSH1 0x01
00001e82: PUSH1 0x01
00001e84: PUSH1 0xa0
00001e86: SHL
00001e87: SUB
00001e88: DUP7
00001e89: AND
00001e8a: PUSH1 0x00
00001e8c: SWAP1
00001e8d: DUP2
00001e8e: MSTORE
00001e8f: PUSH1 0x06
00001e91: PUSH1 0x20
00001e93: MSTORE
00001e94: PUSH1 0x40
00001e96: SWAP1
00001e97: KECCAK256
00001e98: SLOAD
00001e99: SWAP1
00001e9a: SWAP2
00001e9b: POP
00001e9c: PUSH1 0xff
00001e9e: AND
00001e9f: ISZERO
00001ea0: PUSH2 0x1ee1
00001ea3: JUMPI
00001ea4: PUSH1 0x01
00001ea6: PUSH1 0x01
00001ea8: PUSH1 0xa0
00001eaa: SHL
00001eab: SUB
00001eac: DUP6
00001ead: AND
00001eae: PUSH1 0x00
00001eb0: SWAP1
00001eb1: DUP2
00001eb2: MSTORE
00001eb3: PUSH1 0x02
00001eb5: PUSH1 0x20
00001eb7: MSTORE
00001eb8: PUSH1 0x40
00001eba: SWAP1
00001ebb: KECCAK256
00001ebc: SLOAD
00001ebd: PUSH2 0x1ec7
00001ec0: SWAP1
00001ec1: DUP5
00001ec2: SWAP1
00001ec3: PUSH2 0x3057
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: PUSH1 0x01
00001eca: PUSH1 0x01
00001ecc: PUSH1 0xa0
00001ece: SHL
00001ecf: SUB
00001ed0: DUP7
00001ed1: AND
00001ed2: PUSH1 0x00
00001ed4: SWAP1
00001ed5: DUP2
00001ed6: MSTORE
00001ed7: PUSH1 0x02
00001ed9: PUSH1 0x20
00001edb: MSTORE
00001edc: PUSH1 0x40
00001ede: SWAP1
00001edf: KECCAK256
00001ee0: SSTORE
00001ee1: JUMPDEST
00001ee2: PUSH1 0x01
00001ee4: PUSH1 0x01
00001ee6: PUSH1 0xa0
00001ee8: SHL
00001ee9: SUB
00001eea: DUP5
00001eeb: AND
00001eec: PUSH1 0x00
00001eee: SWAP1
00001eef: DUP2
00001ef0: MSTORE
00001ef1: PUSH1 0x06
00001ef3: PUSH1 0x20
00001ef5: MSTORE
00001ef6: PUSH1 0x40
00001ef8: SWAP1
00001ef9: KECCAK256
00001efa: SLOAD
00001efb: PUSH1 0xff
00001efd: AND
00001efe: ISZERO
00001eff: PUSH2 0x1f44
00001f02: JUMPI
00001f03: PUSH1 0xc0
00001f05: DUP2
00001f06: ADD
00001f07: MLOAD
00001f08: PUSH1 0x01
00001f0a: PUSH1 0x01
00001f0c: PUSH1 0xa0
00001f0e: SHL
00001f0f: SUB
00001f10: DUP6
00001f11: AND
00001f12: PUSH1 0x00
00001f14: SWAP1
00001f15: DUP2
00001f16: MSTORE
00001f17: PUSH1 0x02
00001f19: PUSH1 0x20
00001f1b: MSTORE
00001f1c: PUSH1 0x40
00001f1e: SWAP1
00001f1f: KECCAK256
00001f20: SLOAD
00001f21: PUSH2 0x1f2a
00001f24: SWAP2
00001f25: SWAP1
00001f26: PUSH2 0x3000
00001f29: JUMP
00001f2a: JUMPDEST
00001f2b: PUSH1 0x01
00001f2d: PUSH1 0x01
00001f2f: PUSH1 0xa0
00001f31: SHL
00001f32: SUB
00001f33: DUP6
00001f34: AND
00001f35: PUSH1 0x00
00001f37: SWAP1
00001f38: DUP2
00001f39: MSTORE
00001f3a: PUSH1 0x02
00001f3c: PUSH1 0x20
00001f3e: MSTORE
00001f3f: PUSH1 0x40
00001f41: SWAP1
00001f42: KECCAK256
00001f43: SSTORE
00001f44: JUMPDEST
00001f45: DUP1
00001f46: MLOAD
00001f47: PUSH1 0x01
00001f49: PUSH1 0x01
00001f4b: PUSH1 0xa0
00001f4d: SHL
00001f4e: SUB
00001f4f: DUP7
00001f50: AND
00001f51: PUSH1 0x00
00001f53: SWAP1
00001f54: DUP2
00001f55: MSTORE
00001f56: PUSH1 0x01
00001f58: PUSH1 0x20
00001f5a: MSTORE
00001f5b: PUSH1 0x40
00001f5d: SWAP1
00001f5e: KECCAK256
00001f5f: SLOAD
00001f60: PUSH2 0x1f69
00001f63: SWAP2
00001f64: SWAP1
00001f65: PUSH2 0x3057
00001f68: JUMP
00001f69: JUMPDEST
00001f6a: PUSH1 0x01
00001f6c: PUSH1 0x01
00001f6e: PUSH1 0xa0
00001f70: SHL
00001f71: SUB
00001f72: DUP1
00001f73: DUP8
00001f74: AND
00001f75: PUSH1 0x00
00001f77: SWAP1
00001f78: DUP2
00001f79: MSTORE
00001f7a: PUSH1 0x01
00001f7c: PUSH1 0x20
00001f7e: SWAP1
00001f7f: DUP2
00001f80: MSTORE
00001f81: PUSH1 0x40
00001f83: DUP1
00001f84: DUP4
00001f85: KECCAK256
00001f86: SWAP5
00001f87: SWAP1
00001f88: SWAP5
00001f89: SSTORE
00001f8a: DUP5
00001f8b: ADD
00001f8c: MLOAD
00001f8d: SWAP2
00001f8e: DUP8
00001f8f: AND
00001f90: DUP2
00001f91: MSTORE
00001f92: SWAP2
00001f93: SWAP1
00001f94: SWAP2
00001f95: KECCAK256
00001f96: SLOAD
00001f97: PUSH2 0x1fa0
00001f9a: SWAP2
00001f9b: SWAP1
00001f9c: PUSH2 0x3000
00001f9f: JUMP
00001fa0: JUMPDEST
00001fa1: PUSH1 0x01
00001fa3: PUSH1 0x01
00001fa5: PUSH1 0xa0
00001fa7: SHL
00001fa8: SUB
00001fa9: DUP6
00001faa: AND
00001fab: PUSH1 0x00
00001fad: SWAP1
00001fae: DUP2
00001faf: MSTORE
00001fb0: PUSH1 0x01
00001fb2: PUSH1 0x20
00001fb4: MSTORE
00001fb5: PUSH1 0x40
00001fb7: SWAP1
00001fb8: DUP2
00001fb9: SWAP1
00001fba: KECCAK256
00001fbb: SWAP2
00001fbc: SWAP1
00001fbd: SWAP2
00001fbe: SSTORE
00001fbf: DUP2
00001fc0: ADD
00001fc1: MLOAD
00001fc2: PUSH2 0x1fca
00001fc5: SWAP1
00001fc6: PUSH2 0x26ee
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: PUSH2 0x1fdd
00001fce: DUP2
00001fcf: PUSH1 0x60
00001fd1: ADD
00001fd2: MLOAD
00001fd3: DUP3
00001fd4: PUSH2 0x0100
00001fd7: ADD
00001fd8: MLOAD
00001fd9: PUSH2 0x2708
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: PUSH2 0x1ff0
00001fe1: DUP2
00001fe2: PUSH1 0xa0
00001fe4: ADD
00001fe5: MLOAD
00001fe6: DUP3
00001fe7: PUSH2 0x0140
00001fea: ADD
00001feb: MLOAD
00001fec: PUSH2 0x2708
00001fef: JUMP
00001ff0: JUMPDEST
00001ff1: PUSH2 0x2003
00001ff4: DUP2
00001ff5: PUSH1 0x80
00001ff7: ADD
00001ff8: MLOAD
00001ff9: DUP3
00001ffa: PUSH2 0x0120
00001ffd: ADD
00001ffe: MLOAD
00001fff: PUSH2 0x276d
00002002: JUMP
00002003: JUMPDEST
00002004: DUP4
00002005: PUSH1 0x01
00002007: PUSH1 0x01
00002009: PUSH1 0xa0
0000200b: SHL
0000200c: SUB
0000200d: AND
0000200e: DUP6
0000200f: PUSH1 0x01
00002011: PUSH1 0x01
00002013: PUSH1 0xa0
00002015: SHL
00002016: SUB
00002017: AND
00002018: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002039: DUP4
0000203a: PUSH1 0xc0
0000203c: ADD
0000203d: MLOAD
0000203e: PUSH1 0x40
00002040: MLOAD
00002041: PUSH2 0x204a
00002044: SWAP2
00002045: SWAP1
00002046: PUSH2 0x2f79
00002049: JUMP
0000204a: JUMPDEST
0000204b: PUSH1 0x40
0000204d: MLOAD
0000204e: DUP1
0000204f: SWAP2
00002050: SUB
00002051: SWAP1
00002052: LOG3
00002053: ADDRESS
00002054: PUSH1 0x01
00002056: PUSH1 0x01
00002058: PUSH1 0xa0
0000205a: SHL
0000205b: SUB
0000205c: AND
0000205d: DUP6
0000205e: PUSH1 0x01
00002060: PUSH1 0x01
00002062: PUSH1 0xa0
00002064: SHL
00002065: SUB
00002066: AND
00002067: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002088: DUP4
00002089: PUSH2 0x0100
0000208c: ADD
0000208d: MLOAD
0000208e: DUP5
0000208f: PUSH2 0x0140
00002092: ADD
00002093: MLOAD
00002094: PUSH2 0x209d
00002097: SWAP2
00002098: SWAP1
00002099: PUSH2 0x3000
0000209c: JUMP
0000209d: JUMPDEST
0000209e: PUSH1 0x40
000020a0: MLOAD
000020a1: PUSH2 0x20aa
000020a4: SWAP2
000020a5: SWAP1
000020a6: PUSH2 0x2f79
000020a9: JUMP
000020aa: JUMPDEST
000020ab: PUSH1 0x40
000020ad: MLOAD
000020ae: DUP1
000020af: SWAP2
000020b0: SUB
000020b1: SWAP1
000020b2: LOG3
000020b3: PUSH2 0xdead
000020b6: PUSH1 0x01
000020b8: PUSH1 0x01
000020ba: PUSH1 0xa0
000020bc: SHL
000020bd: SUB
000020be: AND
000020bf: DUP6
000020c0: PUSH1 0x01
000020c2: PUSH1 0x01
000020c4: PUSH1 0xa0
000020c6: SHL
000020c7: SUB
000020c8: AND
000020c9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000020ea: DUP4
000020eb: PUSH2 0x0120
000020ee: ADD
000020ef: MLOAD
000020f0: PUSH1 0x40
000020f2: MLOAD
000020f3: PUSH2 0x20fc
000020f6: SWAP2
000020f7: SWAP1
000020f8: PUSH2 0x2f79
000020fb: JUMP
000020fc: JUMPDEST
000020fd: PUSH1 0x40
000020ff: MLOAD
00002100: DUP1
00002101: SWAP2
00002102: SUB
00002103: SWAP1
00002104: LOG3
00002105: POP
00002106: POP
00002107: POP
00002108: POP
00002109: POP
0000210a: JUMP
0000210b: JUMPDEST
0000210c: PUSH1 0x0b
0000210e: SLOAD
0000210f: PUSH1 0x0a
00002111: SLOAD
00002112: PUSH1 0x00
00002114: SWAP2
00002115: DUP3
00002116: SWAP2
00002117: DUP3
00002118: JUMPDEST
00002119: PUSH1 0x07
0000211b: SLOAD
0000211c: DUP2
0000211d: LT
0000211e: ISZERO
0000211f: PUSH2 0x2296
00002122: JUMPI
00002123: DUP3
00002124: PUSH1 0x01
00002126: PUSH1 0x00
00002128: PUSH1 0x07
0000212a: DUP5
0000212b: DUP2
0000212c: SLOAD
0000212d: DUP2
0000212e: LT
0000212f: PUSH2 0x2148
00002132: JUMPI
00002133: PUSH4 0x4e487b71
00002138: PUSH1 0xe0
0000213a: SHL
0000213b: PUSH1 0x00
0000213d: MSTORE
0000213e: PUSH1 0x32
00002140: PUSH1 0x04
00002142: MSTORE
00002143: PUSH1 0x24
00002145: PUSH1 0x00
00002147: REVERT
00002148: JUMPDEST
00002149: PUSH1 0x00
0000214b: SWAP2
0000214c: DUP3
0000214d: MSTORE
0000214e: PUSH1 0x20
00002150: DUP1
00002151: DUP4
00002152: KECCAK256
00002153: SWAP1
00002154: SWAP2
00002155: ADD
00002156: SLOAD
00002157: PUSH1 0x01
00002159: PUSH1 0x01
0000215b: PUSH1 0xa0
0000215d: SHL
0000215e: SUB
0000215f: AND
00002160: DUP4
00002161: MSTORE
00002162: DUP3
00002163: ADD
00002164: SWAP3
00002165: SWAP1
00002166: SWAP3
00002167: MSTORE
00002168: PUSH1 0x40
0000216a: ADD
0000216b: SWAP1
0000216c: KECCAK256
0000216d: SLOAD
0000216e: GT
0000216f: DUP1
00002170: PUSH2 0x21c1
00002173: JUMPI
00002174: POP
00002175: DUP2
00002176: PUSH1 0x02
00002178: PUSH1 0x00
0000217a: PUSH1 0x07
0000217c: DUP5
0000217d: DUP2
0000217e: SLOAD
0000217f: DUP2
00002180: LT
00002181: PUSH2 0x219a
00002184: JUMPI
00002185: PUSH4 0x4e487b71
0000218a: PUSH1 0xe0
0000218c: SHL
0000218d: PUSH1 0x00
0000218f: MSTORE
00002190: PUSH1 0x32
00002192: PUSH1 0x04
00002194: MSTORE
00002195: PUSH1 0x24
00002197: PUSH1 0x00
00002199: REVERT
0000219a: JUMPDEST
0000219b: PUSH1 0x00
0000219d: SWAP2
0000219e: DUP3
0000219f: MSTORE
000021a0: PUSH1 0x20
000021a2: DUP1
000021a3: DUP4
000021a4: KECCAK256
000021a5: SWAP1
000021a6: SWAP2
000021a7: ADD
000021a8: SLOAD
000021a9: PUSH1 0x01
000021ab: PUSH1 0x01
000021ad: PUSH1 0xa0
000021af: SHL
000021b0: SUB
000021b1: AND
000021b2: DUP4
000021b3: MSTORE
000021b4: DUP3
000021b5: ADD
000021b6: SWAP3
000021b7: SWAP1
000021b8: SWAP3
000021b9: MSTORE
000021ba: PUSH1 0x40
000021bc: ADD
000021bd: SWAP1
000021be: KECCAK256
000021bf: SLOAD
000021c0: GT
000021c1: JUMPDEST
000021c2: ISZERO
000021c3: PUSH2 0x21d8
000021c6: JUMPI
000021c7: PUSH1 0x0b
000021c9: SLOAD
000021ca: PUSH1 0x0a
000021cc: SLOAD
000021cd: SWAP5
000021ce: POP
000021cf: SWAP5
000021d0: POP
000021d1: POP
000021d2: POP
000021d3: POP
000021d4: PUSH2 0x22c5
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH1 0x01
000021db: PUSH1 0x00
000021dd: PUSH1 0x07
000021df: DUP4
000021e0: DUP2
000021e1: SLOAD
000021e2: DUP2
000021e3: LT
000021e4: PUSH2 0x21fd
000021e7: JUMPI
000021e8: PUSH4 0x4e487b71
000021ed: PUSH1 0xe0
000021ef: SHL
000021f0: PUSH1 0x00
000021f2: MSTORE
000021f3: PUSH1 0x32
000021f5: PUSH1 0x04
000021f7: MSTORE
000021f8: PUSH1 0x24
000021fa: PUSH1 0x00
000021fc: REVERT
000021fd: JUMPDEST
000021fe: PUSH1 0x00
00002200: SWAP2
00002201: DUP3
00002202: MSTORE
00002203: PUSH1 0x20
00002205: DUP1
00002206: DUP4
00002207: KECCAK256
00002208: SWAP1
00002209: SWAP2
0000220a: ADD
0000220b: SLOAD
0000220c: PUSH1 0x01
0000220e: PUSH1 0x01
00002210: PUSH1 0xa0
00002212: SHL
00002213: SUB
00002214: AND
00002215: DUP4
00002216: MSTORE
00002217: DUP3
00002218: ADD
00002219: SWAP3
0000221a: SWAP1
0000221b: SWAP3
0000221c: MSTORE
0000221d: PUSH1 0x40
0000221f: ADD
00002220: SWAP1
00002221: KECCAK256
00002222: SLOAD
00002223: PUSH2 0x222c
00002226: SWAP1
00002227: DUP5
00002228: PUSH2 0x3057
0000222b: JUMP
0000222c: JUMPDEST
0000222d: SWAP3
0000222e: POP
0000222f: PUSH1 0x02
00002231: PUSH1 0x00
00002233: PUSH1 0x07
00002235: DUP4
00002236: DUP2
00002237: SLOAD
00002238: DUP2
00002239: LT
0000223a: PUSH2 0x2253
0000223d: JUMPI
0000223e: PUSH4 0x4e487b71
00002243: PUSH1 0xe0
00002245: SHL
00002246: PUSH1 0x00
00002248: MSTORE
00002249: PUSH1 0x32
0000224b: PUSH1 0x04
0000224d: MSTORE
0000224e: PUSH1 0x24
00002250: PUSH1 0x00
00002252: REVERT
00002253: JUMPDEST
00002254: PUSH1 0x00
00002256: SWAP2
00002257: DUP3
00002258: MSTORE
00002259: PUSH1 0x20
0000225b: DUP1
0000225c: DUP4
0000225d: KECCAK256
0000225e: SWAP1
0000225f: SWAP2
00002260: ADD
00002261: SLOAD
00002262: PUSH1 0x01
00002264: PUSH1 0x01
00002266: PUSH1 0xa0
00002268: SHL
00002269: SUB
0000226a: AND
0000226b: DUP4
0000226c: MSTORE
0000226d: DUP3
0000226e: ADD
0000226f: SWAP3
00002270: SWAP1
00002271: SWAP3
00002272: MSTORE
00002273: PUSH1 0x40
00002275: ADD
00002276: SWAP1
00002277: KECCAK256
00002278: SLOAD
00002279: PUSH2 0x2282
0000227c: SWAP1
0000227d: DUP4
0000227e: PUSH2 0x3057
00002281: JUMP
00002282: JUMPDEST
00002283: SWAP2
00002284: POP
00002285: DUP1
00002286: PUSH2 0x228e
00002289: DUP2
0000228a: PUSH2 0x306e
0000228d: JUMP
0000228e: JUMPDEST
0000228f: SWAP2
00002290: POP
00002291: POP
00002292: PUSH2 0x2118
00002295: JUMP
00002296: JUMPDEST
00002297: POP
00002298: PUSH1 0x0a
0000229a: SLOAD
0000229b: PUSH1 0x0b
0000229d: SLOAD
0000229e: PUSH2 0x22a7
000022a1: SWAP2
000022a2: SWAP1
000022a3: PUSH2 0x3018
000022a6: JUMP
000022a7: JUMPDEST
000022a8: DUP3
000022a9: LT
000022aa: ISZERO
000022ab: PUSH2 0x22bf
000022ae: JUMPI
000022af: PUSH1 0x0b
000022b1: SLOAD
000022b2: PUSH1 0x0a
000022b4: SLOAD
000022b5: SWAP4
000022b6: POP
000022b7: SWAP4
000022b8: POP
000022b9: POP
000022ba: POP
000022bb: PUSH2 0x22c5
000022be: JUMP
000022bf: JUMPDEST
000022c0: SWAP1
000022c1: SWAP3
000022c2: POP
000022c3: SWAP1
000022c4: POP
000022c5: JUMPDEST
000022c6: SWAP1
000022c7: SWAP2
000022c8: JUMP
000022c9: JUMPDEST
000022ca: PUSH2 0x22d1
000022cd: PUSH2 0x2824
000022d0: JUMP
000022d1: JUMPDEST
000022d2: PUSH1 0x40
000022d4: DUP1
000022d5: MLOAD
000022d6: PUSH1 0x80
000022d8: DUP2
000022d9: ADD
000022da: DUP3
000022db: MSTORE
000022dc: PUSH1 0x1e
000022de: DUP2
000022df: MSTORE
000022e0: PUSH1 0x28
000022e2: PUSH1 0x20
000022e4: DUP3
000022e5: ADD
000022e6: MSTORE
000022e7: PUSH1 0x14
000022e9: SWAP2
000022ea: DUP2
000022eb: ADD
000022ec: SWAP2
000022ed: SWAP1
000022ee: SWAP2
000022ef: MSTORE
000022f0: PUSH1 0x0a
000022f2: PUSH1 0x60
000022f4: DUP3
000022f5: ADD
000022f6: MSTORE
000022f7: DUP3
000022f8: PUSH2 0x2308
000022fb: JUMPI
000022fc: POP
000022fd: PUSH1 0xc0
000022ff: DUP2
00002300: ADD
00002301: DUP4
00002302: SWAP1
00002303: MSTORE
00002304: PUSH2 0x078f
00002307: JUMP
00002308: JUMPDEST
00002309: DUP1
0000230a: MLOAD
0000230b: PUSH2 0x03e8
0000230e: SWAP1
0000230f: PUSH2 0x2318
00002312: SWAP1
00002313: DUP7
00002314: PUSH2 0x3038
00002317: JUMP
00002318: JUMPDEST
00002319: PUSH2 0x2322
0000231c: SWAP2
0000231d: SWAP1
0000231e: PUSH2 0x3018
00002321: JUMP
00002322: JUMPDEST
00002323: PUSH1 0xe0
00002325: DUP4
00002326: ADD
00002327: MSTORE
00002328: PUSH1 0x20
0000232a: DUP2
0000232b: ADD
0000232c: MLOAD
0000232d: PUSH2 0x03e8
00002330: SWAP1
00002331: PUSH2 0x233a
00002334: SWAP1
00002335: DUP7
00002336: PUSH2 0x3038
00002339: JUMP
0000233a: JUMPDEST
0000233b: PUSH2 0x2344
0000233e: SWAP2
0000233f: SWAP1
00002340: PUSH2 0x3018
00002343: JUMP
00002344: JUMPDEST
00002345: PUSH2 0x0100
00002348: DUP4
00002349: ADD
0000234a: MSTORE
0000234b: PUSH1 0x40
0000234d: DUP2
0000234e: ADD
0000234f: MLOAD
00002350: PUSH2 0x03e8
00002353: SWAP1
00002354: PUSH2 0x235d
00002357: SWAP1
00002358: DUP7
00002359: PUSH2 0x3038
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH2 0x2367
00002361: SWAP2
00002362: SWAP1
00002363: PUSH2 0x3018
00002366: JUMP
00002367: JUMPDEST
00002368: PUSH2 0x0120
0000236b: DUP4
0000236c: ADD
0000236d: MSTORE
0000236e: PUSH1 0x60
00002370: DUP2
00002371: ADD
00002372: MLOAD
00002373: PUSH2 0x03e8
00002376: SWAP1
00002377: PUSH2 0x2380
0000237a: SWAP1
0000237b: DUP7
0000237c: PUSH2 0x3038
0000237f: JUMP
00002380: JUMPDEST
00002381: PUSH2 0x238a
00002384: SWAP2
00002385: SWAP1
00002386: PUSH2 0x3018
00002389: JUMP
0000238a: JUMPDEST
0000238b: PUSH2 0x0140
0000238e: DUP4
0000238f: ADD
00002390: DUP2
00002391: SWAP1
00002392: MSTORE
00002393: PUSH2 0x0120
00002396: DUP4
00002397: ADD
00002398: MLOAD
00002399: PUSH2 0x0100
0000239c: DUP5
0000239d: ADD
0000239e: MLOAD
0000239f: PUSH1 0xe0
000023a1: DUP6
000023a2: ADD
000023a3: MLOAD
000023a4: PUSH2 0x23ad
000023a7: SWAP1
000023a8: DUP9
000023a9: PUSH2 0x3057
000023ac: JUMP
000023ad: JUMPDEST
000023ae: PUSH2 0x23b7
000023b1: SWAP2
000023b2: SWAP1
000023b3: PUSH2 0x3057
000023b6: JUMP
000023b7: JUMPDEST
000023b8: PUSH2 0x23c1
000023bb: SWAP2
000023bc: SWAP1
000023bd: PUSH2 0x3057
000023c0: JUMP
000023c1: JUMPDEST
000023c2: PUSH2 0x23cb
000023c5: SWAP2
000023c6: SWAP1
000023c7: PUSH2 0x3057
000023ca: JUMP
000023cb: JUMPDEST
000023cc: PUSH1 0xc0
000023ce: DUP4
000023cf: ADD
000023d0: MSTORE
000023d1: POP
000023d2: SWAP3
000023d3: SWAP2
000023d4: POP
000023d5: POP
000023d6: JUMP
000023d7: JUMPDEST
000023d8: PUSH1 0x00
000023da: DUP1
000023db: DUP1
000023dc: DUP1
000023dd: DUP1
000023de: DUP1
000023df: PUSH2 0x23e8
000023e2: DUP8
000023e3: DUP11
000023e4: PUSH2 0x3038
000023e7: JUMP
000023e8: JUMPDEST
000023e9: SWAP6
000023ea: POP
000023eb: DUP8
000023ec: PUSH2 0x2403
000023ef: JUMPI
000023f0: POP
000023f1: DUP5
000023f2: SWAP4
000023f3: POP
000023f4: PUSH1 0x00
000023f6: SWAP3
000023f7: POP
000023f8: DUP3
000023f9: SWAP2
000023fa: POP
000023fb: DUP2
000023fc: SWAP1
000023fd: POP
000023fe: DUP1
000023ff: PUSH2 0x247c
00002402: JUMP
00002403: JUMPDEST
00002404: DUP7
00002405: DUP11
00002406: PUSH1 0xe0
00002408: ADD
00002409: MLOAD
0000240a: PUSH2 0x2413
0000240d: SWAP2
0000240e: SWAP1
0000240f: PUSH2 0x3038
00002412: JUMP
00002413: JUMPDEST
00002414: SWAP4
00002415: POP
00002416: DUP7
00002417: DUP11
00002418: PUSH2 0x0100
0000241b: ADD
0000241c: MLOAD
0000241d: PUSH2 0x2426
00002420: SWAP2
00002421: SWAP1
00002422: PUSH2 0x3038
00002425: JUMP
00002426: JUMPDEST
00002427: SWAP3
00002428: POP
00002429: DUP7
0000242a: DUP11
0000242b: PUSH2 0x0120
0000242e: ADD
0000242f: MLOAD
00002430: PUSH2 0x2439
00002433: SWAP2
00002434: SWAP1
00002435: PUSH2 0x3038
00002438: JUMP
00002439: JUMPDEST
0000243a: SWAP2
0000243b: POP
0000243c: DUP7
0000243d: DUP11
0000243e: PUSH2 0x0140
00002441: ADD
00002442: MLOAD
00002443: PUSH2 0x244c
00002446: SWAP2
00002447: SWAP1
00002448: PUSH2 0x3038
0000244b: JUMP
0000244c: JUMPDEST
0000244d: SWAP1
0000244e: POP
0000244f: DUP1
00002450: DUP3
00002451: DUP5
00002452: PUSH2 0x245b
00002455: DUP8
00002456: DUP11
00002457: PUSH2 0x3057
0000245a: JUMP
0000245b: JUMPDEST
0000245c: PUSH2 0x2465
0000245f: SWAP2
00002460: SWAP1
00002461: PUSH2 0x3057
00002464: JUMP
00002465: JUMPDEST
00002466: PUSH2 0x246f
00002469: SWAP2
0000246a: SWAP1
0000246b: PUSH2 0x3057
0000246e: JUMP
0000246f: JUMPDEST
00002470: PUSH2 0x2479
00002473: SWAP2
00002474: SWAP1
00002475: PUSH2 0x3057
00002478: JUMP
00002479: JUMPDEST
0000247a: SWAP5
0000247b: POP
0000247c: JUMPDEST
0000247d: SWAP5
0000247e: SWAP10
0000247f: SWAP4
00002480: SWAP9
00002481: POP
00002482: SWAP5
00002483: POP
00002484: SWAP5
00002485: POP
00002486: SWAP5
00002487: POP
00002488: JUMP
00002489: JUMPDEST
0000248a: PUSH1 0x40
0000248c: DUP1
0000248d: MLOAD
0000248e: PUSH1 0x02
00002490: DUP1
00002491: DUP3
00002492: MSTORE
00002493: PUSH1 0x60
00002495: DUP3
00002496: ADD
00002497: DUP4
00002498: MSTORE
00002499: PUSH1 0x00
0000249b: SWAP3
0000249c: PUSH1 0x20
0000249e: DUP4
0000249f: ADD
000024a0: SWAP1
000024a1: DUP1
000024a2: CALLDATASIZE
000024a3: DUP4
000024a4: CALLDATACOPY
000024a5: ADD
000024a6: SWAP1
000024a7: POP
000024a8: POP
000024a9: SWAP1
000024aa: POP
000024ab: ADDRESS
000024ac: DUP2
000024ad: PUSH1 0x00
000024af: DUP2
000024b0: MLOAD
000024b1: DUP2
000024b2: LT
000024b3: PUSH2 0x24cc
000024b6: JUMPI
000024b7: PUSH4 0x4e487b71
000024bc: PUSH1 0xe0
000024be: SHL
000024bf: PUSH1 0x00
000024c1: MSTORE
000024c2: PUSH1 0x32
000024c4: PUSH1 0x04
000024c6: MSTORE
000024c7: PUSH1 0x24
000024c9: PUSH1 0x00
000024cb: REVERT
000024cc: JUMPDEST
000024cd: PUSH1 0x20
000024cf: MUL
000024d0: PUSH1 0x20
000024d2: ADD
000024d3: ADD
000024d4: SWAP1
000024d5: PUSH1 0x01
000024d7: PUSH1 0x01
000024d9: PUSH1 0xa0
000024db: SHL
000024dc: SUB
000024dd: AND
000024de: SWAP1
000024df: DUP2
000024e0: PUSH1 0x01
000024e2: PUSH1 0x01
000024e4: PUSH1 0xa0
000024e6: SHL
000024e7: SUB
000024e8: AND
000024e9: DUP2
000024ea: MSTORE
000024eb: POP
000024ec: POP
000024ed: PUSH1 0x08
000024ef: PUSH1 0x04
000024f1: SWAP1
000024f2: SLOAD
000024f3: SWAP1
000024f4: PUSH2 0x0100
000024f7: EXP
000024f8: SWAP1
000024f9: DIV
000024fa: PUSH1 0x01
000024fc: PUSH1 0x01
000024fe: PUSH1 0xa0
00002500: SHL
00002501: SUB
00002502: AND
00002503: PUSH1 0x01
00002505: PUSH1 0x01
00002507: PUSH1 0xa0
00002509: SHL
0000250a: SUB
0000250b: AND
0000250c: PUSH4 0xad5c4648
00002511: PUSH1 0x40
00002513: MLOAD
00002514: DUP2
00002515: PUSH4 0xffffffff
0000251a: AND
0000251b: PUSH1 0xe0
0000251d: SHL
0000251e: DUP2
0000251f: MSTORE
00002520: PUSH1 0x04
00002522: ADD
00002523: PUSH1 0x20
00002525: PUSH1 0x40
00002527: MLOAD
00002528: DUP1
00002529: DUP4
0000252a: SUB
0000252b: DUP2
0000252c: DUP7
0000252d: DUP1
0000252e: EXTCODESIZE
0000252f: ISZERO
00002530: DUP1
00002531: ISZERO
00002532: PUSH2 0x253a
00002535: JUMPI
00002536: PUSH1 0x00
00002538: DUP1
00002539: REVERT
0000253a: JUMPDEST
0000253b: POP
0000253c: GAS
0000253d: STATICCALL
0000253e: ISZERO
0000253f: DUP1
00002540: ISZERO
00002541: PUSH2 0x254e
00002544: JUMPI
00002545: RETURNDATASIZE
00002546: PUSH1 0x00
00002548: DUP1
00002549: RETURNDATACOPY
0000254a: RETURNDATASIZE
0000254b: PUSH1 0x00
0000254d: REVERT
0000254e: JUMPDEST
0000254f: POP
00002550: POP
00002551: POP
00002552: POP
00002553: PUSH1 0x40
00002555: MLOAD
00002556: RETURNDATASIZE
00002557: PUSH1 0x1f
00002559: NOT
0000255a: PUSH1 0x1f
0000255c: DUP3
0000255d: ADD
0000255e: AND
0000255f: DUP3
00002560: ADD
00002561: DUP1
00002562: PUSH1 0x40
00002564: MSTORE
00002565: POP
00002566: DUP2
00002567: ADD
00002568: SWAP1
00002569: PUSH2 0x2572
0000256c: SWAP2
0000256d: SWAP1
0000256e: PUSH2 0x289a
00002571: JUMP
00002572: JUMPDEST
00002573: DUP2
00002574: PUSH1 0x01
00002576: DUP2
00002577: MLOAD
00002578: DUP2
00002579: LT
0000257a: PUSH2 0x2593
0000257d: JUMPI
0000257e: PUSH4 0x4e487b71
00002583: PUSH1 0xe0
00002585: SHL
00002586: PUSH1 0x00
00002588: MSTORE
00002589: PUSH1 0x32
0000258b: PUSH1 0x04
0000258d: MSTORE
0000258e: PUSH1 0x24
00002590: PUSH1 0x00
00002592: REVERT
00002593: JUMPDEST
00002594: PUSH1 0x01
00002596: PUSH1 0x01
00002598: PUSH1 0xa0
0000259a: SHL
0000259b: SUB
0000259c: SWAP3
0000259d: DUP4
0000259e: AND
0000259f: PUSH1 0x20
000025a1: SWAP2
000025a2: DUP3
000025a3: MUL
000025a4: SWAP3
000025a5: SWAP1
000025a6: SWAP3
000025a7: ADD
000025a8: ADD
000025a9: MSTORE
000025aa: PUSH1 0x08
000025ac: SLOAD
000025ad: PUSH2 0x25c0
000025b0: SWAP2
000025b1: ADDRESS
000025b2: SWAP2
000025b3: PUSH1 0x01
000025b5: PUSH1 0x20
000025b7: SHL
000025b8: SWAP1
000025b9: DIV
000025ba: AND
000025bb: DUP5
000025bc: PUSH2 0x17a6
000025bf: JUMP
000025c0: JUMPDEST
000025c1: PUSH1 0x08
000025c3: SLOAD
000025c4: PUSH1 0x40
000025c6: MLOAD
000025c7: PUSH4 0x791ac947
000025cc: PUSH1 0xe0
000025ce: SHL
000025cf: DUP2
000025d0: MSTORE
000025d1: PUSH1 0x01
000025d3: PUSH1 0x20
000025d5: SHL
000025d6: SWAP1
000025d7: SWAP2
000025d8: DIV
000025d9: PUSH1 0x01
000025db: PUSH1 0x01
000025dd: PUSH1 0xa0
000025df: SHL
000025e0: SUB
000025e1: AND
000025e2: SWAP1
000025e3: PUSH4 0x791ac947
000025e8: SWAP1
000025e9: PUSH2 0x25ff
000025ec: SWAP1
000025ed: DUP6
000025ee: SWAP1
000025ef: PUSH1 0x00
000025f1: SWAP1
000025f2: DUP7
000025f3: SWAP1
000025f4: ADDRESS
000025f5: SWAP1
000025f6: TIMESTAMP
000025f7: SWAP1
000025f8: PUSH1 0x04
000025fa: ADD
000025fb: PUSH2 0x2f82
000025fe: JUMP
000025ff: JUMPDEST
00002600: PUSH1 0x00
00002602: PUSH1 0x40
00002604: MLOAD
00002605: DUP1
00002606: DUP4
00002607: SUB
00002608: DUP2
00002609: PUSH1 0x00
0000260b: DUP8
0000260c: DUP1
0000260d: EXTCODESIZE
0000260e: ISZERO
0000260f: DUP1
00002610: ISZERO
00002611: PUSH2 0x2619
00002614: JUMPI
00002615: PUSH1 0x00
00002617: DUP1
00002618: REVERT
00002619: JUMPDEST
0000261a: POP
0000261b: GAS
0000261c: CALL
0000261d: ISZERO
0000261e: DUP1
0000261f: ISZERO
00002620: PUSH2 0x262d
00002623: JUMPI
00002624: RETURNDATASIZE
00002625: PUSH1 0x00
00002627: DUP1
00002628: RETURNDATACOPY
00002629: RETURNDATASIZE
0000262a: PUSH1 0x00
0000262c: REVERT
0000262d: JUMPDEST
0000262e: POP
0000262f: POP
00002630: POP
00002631: POP
00002632: POP
00002633: POP
00002634: JUMP
00002635: JUMPDEST
00002636: PUSH1 0x08
00002638: SLOAD
00002639: PUSH2 0x2654
0000263c: SWAP1
0000263d: ADDRESS
0000263e: SWAP1
0000263f: PUSH1 0x01
00002641: PUSH1 0x20
00002643: SHL
00002644: SWAP1
00002645: DIV
00002646: PUSH1 0x01
00002648: PUSH1 0x01
0000264a: PUSH1 0xa0
0000264c: SHL
0000264d: SUB
0000264e: AND
0000264f: DUP5
00002650: PUSH2 0x17a6
00002653: JUMP
00002654: JUMPDEST
00002655: PUSH1 0x08
00002657: SLOAD
00002658: PUSH1 0x01
0000265a: PUSH1 0x20
0000265c: SHL
0000265d: SWAP1
0000265e: DIV
0000265f: PUSH1 0x01
00002661: PUSH1 0x01
00002663: PUSH1 0xa0
00002665: SHL
00002666: SUB
00002667: AND
00002668: PUSH4 0xf305d719
0000266d: DUP3
0000266e: ADDRESS
0000266f: DUP6
00002670: PUSH1 0x00
00002672: DUP1
00002673: PUSH2 0x267a
00002676: PUSH2 0x1302
00002679: JUMP
0000267a: JUMPDEST
0000267b: TIMESTAMP
0000267c: PUSH1 0x40
0000267e: MLOAD
0000267f: DUP9
00002680: PUSH4 0xffffffff
00002685: AND
00002686: PUSH1 0xe0
00002688: SHL
00002689: DUP2
0000268a: MSTORE
0000268b: PUSH1 0x04
0000268d: ADD
0000268e: PUSH2 0x269c
00002691: SWAP7
00002692: SWAP6
00002693: SWAP5
00002694: SWAP4
00002695: SWAP3
00002696: SWAP2
00002697: SWAP1
00002698: PUSH2 0x2a59
0000269b: JUMP
0000269c: JUMPDEST
0000269d: PUSH1 0x60
0000269f: PUSH1 0x40
000026a1: MLOAD
000026a2: DUP1
000026a3: DUP4
000026a4: SUB
000026a5: DUP2
000026a6: DUP6
000026a7: DUP9
000026a8: DUP1
000026a9: EXTCODESIZE
000026aa: ISZERO
000026ab: DUP1
000026ac: ISZERO
000026ad: PUSH2 0x26b5
000026b0: JUMPI
000026b1: PUSH1 0x00
000026b3: DUP1
000026b4: REVERT
000026b5: JUMPDEST
000026b6: POP
000026b7: GAS
000026b8: CALL
000026b9: ISZERO
000026ba: DUP1
000026bb: ISZERO
000026bc: PUSH2 0x26c9
000026bf: JUMPI
000026c0: RETURNDATASIZE
000026c1: PUSH1 0x00
000026c3: DUP1
000026c4: RETURNDATACOPY
000026c5: RETURNDATASIZE
000026c6: PUSH1 0x00
000026c8: REVERT
000026c9: JUMPDEST
000026ca: POP
000026cb: POP
000026cc: POP
000026cd: POP
000026ce: POP
000026cf: PUSH1 0x40
000026d1: MLOAD
000026d2: RETURNDATASIZE
000026d3: PUSH1 0x1f
000026d5: NOT
000026d6: PUSH1 0x1f
000026d8: DUP3
000026d9: ADD
000026da: AND
000026db: DUP3
000026dc: ADD
000026dd: DUP1
000026de: PUSH1 0x40
000026e0: MSTORE
000026e1: POP
000026e2: DUP2
000026e3: ADD
000026e4: SWAP1
000026e5: PUSH2 0x1c13
000026e8: SWAP2
000026e9: SWAP1
000026ea: PUSH2 0x29e5
000026ed: JUMP
000026ee: JUMPDEST
000026ef: DUP1
000026f0: PUSH1 0x0b
000026f2: PUSH1 0x00
000026f4: DUP3
000026f5: DUP3
000026f6: SLOAD
000026f7: PUSH2 0x2700
000026fa: SWAP2
000026fb: SWAP1
000026fc: PUSH2 0x3057
000026ff: JUMP
00002700: JUMPDEST
00002701: SWAP1
00002702: SWAP2
00002703: SSTORE
00002704: POP
00002705: POP
00002706: POP
00002707: JUMP
00002708: JUMPDEST
00002709: ADDRESS
0000270a: PUSH1 0x00
0000270c: SWAP1
0000270d: DUP2
0000270e: MSTORE
0000270f: PUSH1 0x06
00002711: PUSH1 0x20
00002713: MSTORE
00002714: PUSH1 0x40
00002716: SWAP1
00002717: KECCAK256
00002718: SLOAD
00002719: PUSH1 0xff
0000271b: AND
0000271c: ISZERO
0000271d: PUSH2 0x2745
00002720: JUMPI
00002721: ADDRESS
00002722: PUSH1 0x00
00002724: SWAP1
00002725: DUP2
00002726: MSTORE
00002727: PUSH1 0x02
00002729: PUSH1 0x20
0000272b: MSTORE
0000272c: PUSH1 0x40
0000272e: DUP2
0000272f: KECCAK256
00002730: DUP1
00002731: SLOAD
00002732: DUP4
00002733: SWAP3
00002734: SWAP1
00002735: PUSH2 0x273f
00002738: SWAP1
00002739: DUP5
0000273a: SWAP1
0000273b: PUSH2 0x3000
0000273e: JUMP
0000273f: JUMPDEST
00002740: SWAP1
00002741: SWAP2
00002742: SSTORE
00002743: POP
00002744: POP
00002745: JUMPDEST
00002746: ADDRESS
00002747: PUSH1 0x00
00002749: SWAP1
0000274a: DUP2
0000274b: MSTORE
0000274c: PUSH1 0x01
0000274e: PUSH1 0x20
00002750: MSTORE
00002751: PUSH1 0x40
00002753: DUP2
00002754: KECCAK256
00002755: DUP1
00002756: SLOAD
00002757: DUP5
00002758: SWAP3
00002759: SWAP1
0000275a: PUSH2 0x2764
0000275d: SWAP1
0000275e: DUP5
0000275f: SWAP1
00002760: PUSH2 0x3000
00002763: JUMP
00002764: JUMPDEST
00002765: SWAP1
00002766: SWAP2
00002767: SSTORE
00002768: POP
00002769: POP
0000276a: POP
0000276b: POP
0000276c: JUMP
0000276d: JUMPDEST
0000276e: PUSH2 0xdead
00002771: PUSH1 0x00
00002773: MSTORE
00002774: PUSH1 0x06
00002776: PUSH1 0x20
00002778: MSTORE
00002779: PUSH32 0x1aecba4ebe7a4e0673e4891b2b092b2228e4322380b579fb494fad3da8586e22
0000279a: SLOAD
0000279b: PUSH1 0xff
0000279d: AND
0000279e: ISZERO
0000279f: PUSH2 0x27e6
000027a2: JUMPI
000027a3: PUSH2 0xdead
000027a6: PUSH1 0x00
000027a8: SWAP1
000027a9: DUP2
000027aa: MSTORE
000027ab: PUSH1 0x02
000027ad: PUSH1 0x20
000027af: MSTORE
000027b0: PUSH32 0x6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc
000027d1: DUP1
000027d2: SLOAD
000027d3: DUP4
000027d4: SWAP3
000027d5: SWAP1
000027d6: PUSH2 0x27e0
000027d9: SWAP1
000027da: DUP5
000027db: SWAP1
000027dc: PUSH2 0x3000
000027df: JUMP
000027e0: JUMPDEST
000027e1: SWAP1
000027e2: SWAP2
000027e3: SSTORE
000027e4: POP
000027e5: POP
000027e6: JUMPDEST
000027e7: PUSH2 0xdead
000027ea: PUSH1 0x00
000027ec: SWAP1
000027ed: DUP2
000027ee: MSTORE
000027ef: PUSH1 0x01
000027f1: PUSH1 0x20
000027f3: MSTORE
000027f4: PUSH32 0xb34209a263f6c38fe55f099e9e70f9d67e93982480ff3234a5e0108028ad164d
00002815: DUP1
00002816: SLOAD
00002817: DUP5
00002818: SWAP3
00002819: SWAP1
0000281a: PUSH2 0x2764
0000281d: SWAP1
0000281e: DUP5
0000281f: SWAP1
00002820: PUSH2 0x3000
00002823: JUMP
00002824: JUMPDEST
00002825: PUSH1 0x40
00002827: MLOAD
00002828: DUP1
00002829: PUSH2 0x0160
0000282c: ADD
0000282d: PUSH1 0x40
0000282f: MSTORE
00002830: DUP1
00002831: PUSH1 0x00
00002833: DUP2
00002834: MSTORE
00002835: PUSH1 0x20
00002837: ADD
00002838: PUSH1 0x00
0000283a: DUP2
0000283b: MSTORE
0000283c: PUSH1 0x20
0000283e: ADD
0000283f: PUSH1 0x00
00002841: DUP2
00002842: MSTORE
00002843: PUSH1 0x20
00002845: ADD
00002846: PUSH1 0x00
00002848: DUP2
00002849: MSTORE
0000284a: PUSH1 0x20
0000284c: ADD
0000284d: PUSH1 0x00
0000284f: DUP2
00002850: MSTORE
00002851: PUSH1 0x20
00002853: ADD
00002854: PUSH1 0x00
00002856: DUP2
00002857: MSTORE
00002858: PUSH1 0x20
0000285a: ADD
0000285b: PUSH1 0x00
0000285d: DUP2
0000285e: MSTORE
0000285f: PUSH1 0x20
00002861: ADD
00002862: PUSH1 0x00
00002864: DUP2
00002865: MSTORE
00002866: PUSH1 0x20
00002868: ADD
00002869: PUSH1 0x00
0000286b: DUP2
0000286c: MSTORE
0000286d: PUSH1 0x20
0000286f: ADD
00002870: PUSH1 0x00
00002872: DUP2
00002873: MSTORE
00002874: PUSH1 0x20
00002876: ADD
00002877: PUSH1 0x00
00002879: DUP2
0000287a: MSTORE
0000287b: POP
0000287c: SWAP1
0000287d: JUMP
0000287e: JUMPDEST
0000287f: PUSH1 0x00
00002881: PUSH1 0x20
00002883: DUP3
00002884: DUP5
00002885: SUB
00002886: SLT
00002887: ISZERO
00002888: PUSH2 0x288f
0000288b: JUMPI
0000288c: DUP1
0000288d: DUP2
0000288e: REVERT
0000288f: JUMPDEST
00002890: DUP2
00002891: CALLDATALOAD
00002892: PUSH2 0x178f
00002895: DUP2
00002896: PUSH2 0x309f
00002899: JUMP
0000289a: JUMPDEST
0000289b: PUSH1 0x00
0000289d: PUSH1 0x20
0000289f: DUP3
000028a0: DUP5
000028a1: SUB
000028a2: SLT
000028a3: ISZERO
000028a4: PUSH2 0x28ab
000028a7: JUMPI
000028a8: DUP1
000028a9: DUP2
000028aa: REVERT
000028ab: JUMPDEST
000028ac: DUP2
000028ad: MLOAD
000028ae: PUSH2 0x178f
000028b1: DUP2
000028b2: PUSH2 0x309f
000028b5: JUMP
000028b6: JUMPDEST
000028b7: PUSH1 0x00
000028b9: DUP1
000028ba: PUSH1 0x40
000028bc: DUP4
000028bd: DUP6
000028be: SUB
000028bf: SLT
000028c0: ISZERO
000028c1: PUSH2 0x28c8
000028c4: JUMPI
000028c5: DUP1
000028c6: DUP2
000028c7: REVERT
000028c8: JUMPDEST
000028c9: DUP3
000028ca: CALLDATALOAD
000028cb: PUSH2 0x28d3
000028ce: DUP2
000028cf: PUSH2 0x309f
000028d2: JUMP
000028d3: JUMPDEST
000028d4: SWAP2
000028d5: POP
000028d6: PUSH1 0x20
000028d8: DUP4
000028d9: ADD
000028da: CALLDATALOAD
000028db: PUSH2 0x28e3
000028de: DUP2
000028df: PUSH2 0x309f
000028e2: JUMP
000028e3: JUMPDEST
000028e4: DUP1
000028e5: SWAP2
000028e6: POP
000028e7: POP
000028e8: SWAP3
000028e9: POP
000028ea: SWAP3
000028eb: SWAP1
000028ec: POP
000028ed: JUMP
000028ee: JUMPDEST
000028ef: PUSH1 0x00
000028f1: DUP1
000028f2: PUSH1 0x00
000028f4: PUSH1 0x60
000028f6: DUP5
000028f7: DUP7
000028f8: SUB
000028f9: SLT
000028fa: ISZERO
000028fb: PUSH2 0x2902
000028fe: JUMPI
000028ff: DUP1
00002900: DUP2
00002901: REVERT
00002902: JUMPDEST
00002903: DUP4
00002904: CALLDATALOAD
00002905: PUSH2 0x290d
00002908: DUP2
00002909: PUSH2 0x309f
0000290c: JUMP
0000290d: JUMPDEST
0000290e: SWAP3
0000290f: POP
00002910: PUSH1 0x20
00002912: DUP5
00002913: ADD
00002914: CALLDATALOAD
00002915: PUSH2 0x291d
00002918: DUP2
00002919: PUSH2 0x309f
0000291c: JUMP
0000291d: JUMPDEST
0000291e: SWAP3
0000291f: SWAP6
00002920: SWAP3
00002921: SWAP5
00002922: POP
00002923: POP
00002924: POP
00002925: PUSH1 0x40
00002927: SWAP2
00002928: SWAP1
00002929: SWAP2
0000292a: ADD
0000292b: CALLDATALOAD
0000292c: SWAP1
0000292d: JUMP
0000292e: JUMPDEST
0000292f: PUSH1 0x00
00002931: DUP1
00002932: PUSH1 0x40
00002934: DUP4
00002935: DUP6
00002936: SUB
00002937: SLT
00002938: ISZERO
00002939: PUSH2 0x2940
0000293c: JUMPI
0000293d: DUP2
0000293e: DUP3
0000293f: REVERT
00002940: JUMPDEST
00002941: DUP3
00002942: CALLDATALOAD
00002943: PUSH2 0x294b
00002946: DUP2
00002947: PUSH2 0x309f
0000294a: JUMP
0000294b: JUMPDEST
0000294c: SWAP5
0000294d: PUSH1 0x20
0000294f: SWAP4
00002950: SWAP1
00002951: SWAP4
00002952: ADD
00002953: CALLDATALOAD
00002954: SWAP4
00002955: POP
00002956: POP
00002957: POP
00002958: JUMP
00002959: JUMPDEST
0000295a: PUSH1 0x00
0000295c: PUSH1 0x20
0000295e: DUP3
0000295f: DUP5
00002960: SUB
00002961: SLT
00002962: ISZERO
00002963: PUSH2 0x296a
00002966: JUMPI
00002967: DUP1
00002968: DUP2
00002969: REVERT
0000296a: JUMPDEST
0000296b: DUP2
0000296c: CALLDATALOAD
0000296d: PUSH2 0x178f
00002970: DUP2
00002971: PUSH2 0x30b4
00002974: JUMP
00002975: JUMPDEST
00002976: PUSH1 0x00
00002978: PUSH1 0x20
0000297a: DUP3
0000297b: DUP5
0000297c: SUB
0000297d: SLT
0000297e: ISZERO
0000297f: PUSH2 0x2986
00002982: JUMPI
00002983: DUP1
00002984: DUP2
00002985: REVERT
00002986: JUMPDEST
00002987: DUP2
00002988: MLOAD
00002989: PUSH2 0x178f
0000298c: DUP2
0000298d: PUSH2 0x30b4
00002990: JUMP
00002991: JUMPDEST
00002992: PUSH1 0x00
00002994: PUSH1 0x20
00002996: DUP3
00002997: DUP5
00002998: SUB
00002999: SLT
0000299a: ISZERO
0000299b: PUSH2 0x29a2
0000299e: JUMPI
0000299f: DUP1
000029a0: DUP2
000029a1: REVERT
000029a2: JUMPDEST
000029a3: POP
000029a4: CALLDATALOAD
000029a5: SWAP2
000029a6: SWAP1
000029a7: POP
000029a8: JUMP
000029a9: JUMPDEST
000029aa: PUSH1 0x00
000029ac: PUSH1 0x20
000029ae: DUP3
000029af: DUP5
000029b0: SUB
000029b1: SLT
000029b2: ISZERO
000029b3: PUSH2 0x29ba
000029b6: JUMPI
000029b7: DUP1
000029b8: DUP2
000029b9: REVERT
000029ba: JUMPDEST
000029bb: POP
000029bc: MLOAD
000029bd: SWAP2
000029be: SWAP1
000029bf: POP
000029c0: JUMP
000029c1: JUMPDEST
000029c2: PUSH1 0x00
000029c4: DUP1
000029c5: PUSH1 0x40
000029c7: DUP4
000029c8: DUP6
000029c9: SUB
000029ca: SLT
000029cb: ISZERO
000029cc: PUSH2 0x29d3
000029cf: JUMPI
000029d0: DUP2
000029d1: DUP3
000029d2: REVERT
000029d3: JUMPDEST
000029d4: DUP3
000029d5: CALLDATALOAD
000029d6: SWAP2
000029d7: POP
000029d8: PUSH1 0x20
000029da: DUP4
000029db: ADD
000029dc: CALLDATALOAD
000029dd: PUSH2 0x28e3
000029e0: DUP2
000029e1: PUSH2 0x30b4
000029e4: JUMP
000029e5: JUMPDEST
000029e6: PUSH1 0x00
000029e8: DUP1
000029e9: PUSH1 0x00
000029eb: PUSH1 0x60
000029ed: DUP5
000029ee: DUP7
000029ef: SUB
000029f0: SLT
000029f1: ISZERO
000029f2: PUSH2 0x29f9
000029f5: JUMPI
000029f6: DUP3
000029f7: DUP4
000029f8: REVERT
000029f9: JUMPDEST
000029fa: DUP4
000029fb: MLOAD
000029fc: SWAP3
000029fd: POP
000029fe: PUSH1 0x20
00002a00: DUP5
00002a01: ADD
00002a02: MLOAD
00002a03: SWAP2
00002a04: POP
00002a05: PUSH1 0x40
00002a07: DUP5
00002a08: ADD
00002a09: MLOAD
00002a0a: SWAP1
00002a0b: POP
00002a0c: SWAP3
00002a0d: POP
00002a0e: SWAP3
00002a0f: POP
00002a10: SWAP3
00002a11: JUMP
00002a12: JUMPDEST
00002a13: PUSH1 0x01
00002a15: PUSH1 0x01
00002a17: PUSH1 0xa0
00002a19: SHL
00002a1a: SUB
00002a1b: SWAP2
00002a1c: SWAP1
00002a1d: SWAP2
00002a1e: AND
00002a1f: DUP2
00002a20: MSTORE
00002a21: PUSH1 0x20
00002a23: ADD
00002a24: SWAP1
00002a25: JUMP
00002a26: JUMPDEST
00002a27: PUSH1 0x01
00002a29: PUSH1 0x01
00002a2b: PUSH1 0xa0
00002a2d: SHL
00002a2e: SUB
00002a2f: SWAP3
00002a30: DUP4
00002a31: AND
00002a32: DUP2
00002a33: MSTORE
00002a34: SWAP2
00002a35: AND
00002a36: PUSH1 0x20
00002a38: DUP3
00002a39: ADD
00002a3a: MSTORE
00002a3b: PUSH1 0x40
00002a3d: ADD
00002a3e: SWAP1
00002a3f: JUMP
00002a40: JUMPDEST
00002a41: PUSH1 0x01
00002a43: PUSH1 0x01
00002a45: PUSH1 0xa0
00002a47: SHL
00002a48: SUB
00002a49: SWAP3
00002a4a: SWAP1
00002a4b: SWAP3
00002a4c: AND
00002a4d: DUP3
00002a4e: MSTORE
00002a4f: PUSH1 0x20
00002a51: DUP3
00002a52: ADD
00002a53: MSTORE
00002a54: PUSH1 0x40
00002a56: ADD
00002a57: SWAP1
00002a58: JUMP
00002a59: JUMPDEST
00002a5a: PUSH1 0x01
00002a5c: PUSH1 0x01
00002a5e: PUSH1 0xa0
00002a60: SHL
00002a61: SUB
00002a62: SWAP7
00002a63: DUP8
00002a64: AND
00002a65: DUP2
00002a66: MSTORE
00002a67: PUSH1 0x20
00002a69: DUP2
00002a6a: ADD
00002a6b: SWAP6
00002a6c: SWAP1
00002a6d: SWAP6
00002a6e: MSTORE
00002a6f: PUSH1 0x40
00002a71: DUP6
00002a72: ADD
00002a73: SWAP4
00002a74: SWAP1
00002a75: SWAP4
00002a76: MSTORE
00002a77: PUSH1 0x60
00002a79: DUP5
00002a7a: ADD
00002a7b: SWAP2
00002a7c: SWAP1
00002a7d: SWAP2
00002a7e: MSTORE
00002a7f: SWAP1
00002a80: SWAP3
00002a81: AND
00002a82: PUSH1 0x80
00002a84: DUP3
00002a85: ADD
00002a86: MSTORE
00002a87: PUSH1 0xa0
00002a89: DUP2
00002a8a: ADD
00002a8b: SWAP2
00002a8c: SWAP1
00002a8d: SWAP2
00002a8e: MSTORE
00002a8f: PUSH1 0xc0
00002a91: ADD
00002a92: SWAP1
00002a93: JUMP
00002a94: JUMPDEST
00002a95: SWAP1
00002a96: ISZERO
00002a97: ISZERO
00002a98: DUP2
00002a99: MSTORE
00002a9a: PUSH1 0x20
00002a9c: ADD
00002a9d: SWAP1
00002a9e: JUMP
00002a9f: JUMPDEST
00002aa0: PUSH1 0x00
00002aa2: PUSH1 0x20
00002aa4: DUP1
00002aa5: DUP4
00002aa6: MSTORE
00002aa7: DUP4
00002aa8: MLOAD
00002aa9: DUP1
00002aaa: DUP3
00002aab: DUP6
00002aac: ADD
00002aad: MSTORE
00002aae: DUP3
00002aaf: JUMPDEST
00002ab0: DUP2
00002ab1: DUP2
00002ab2: LT
00002ab3: ISZERO
00002ab4: PUSH2 0x2acb
00002ab7: JUMPI
00002ab8: DUP6
00002ab9: DUP2
00002aba: ADD
00002abb: DUP4
00002abc: ADD
00002abd: MLOAD
00002abe: DUP6
00002abf: DUP3
00002ac0: ADD
00002ac1: PUSH1 0x40
00002ac3: ADD
00002ac4: MSTORE
00002ac5: DUP3
00002ac6: ADD
00002ac7: PUSH2 0x2aaf
00002aca: JUMP
00002acb: JUMPDEST
00002acc: DUP2
00002acd: DUP2
00002ace: GT
00002acf: ISZERO
00002ad0: PUSH2 0x2adc
00002ad3: JUMPI
00002ad4: DUP4
00002ad5: PUSH1 0x40
00002ad7: DUP4
00002ad8: DUP8
00002ad9: ADD
00002ada: ADD
00002adb: MSTORE
00002adc: JUMPDEST
00002add: POP
00002ade: PUSH1 0x1f
00002ae0: ADD
00002ae1: PUSH1 0x1f
00002ae3: NOT
00002ae4: AND
00002ae5: SWAP3
00002ae6: SWAP1
00002ae7: SWAP3
00002ae8: ADD
00002ae9: PUSH1 0x40
00002aeb: ADD
00002aec: SWAP4
00002aed: SWAP3
00002aee: POP
00002aef: POP
00002af0: POP
00002af1: JUMP
00002af2: JUMPDEST
00002af3: PUSH1 0x20
00002af5: DUP1
00002af6: DUP3
00002af7: MSTORE
00002af8: PUSH1 0x23
00002afa: SWAP1
00002afb: DUP3
00002afc: ADD
00002afd: MSTORE
00002afe: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00002b1f: PUSH1 0x40
00002b21: DUP3
00002b22: ADD
00002b23: MSTORE
00002b24: PUSH3 0x657373
00002b28: PUSH1 0xe8
00002b2a: SHL
00002b2b: PUSH1 0x60
00002b2d: DUP3
00002b2e: ADD
00002b2f: MSTORE
00002b30: PUSH1 0x80
00002b32: ADD
00002b33: SWAP1
00002b34: JUMP
00002b35: JUMPDEST
00002b36: PUSH1 0x20
00002b38: DUP1
00002b39: DUP3
00002b3a: MSTORE
00002b3b: PUSH1 0x1a
00002b3d: SWAP1
00002b3e: DUP3
00002b3f: ADD
00002b40: MSTORE
00002b41: PUSH32 0x54726164696e67206973206e6f7420656e61626c656420796574000000000000
00002b62: PUSH1 0x40
00002b64: DUP3
00002b65: ADD
00002b66: MSTORE
00002b67: PUSH1 0x60
00002b69: ADD
00002b6a: SWAP1
00002b6b: JUMP
00002b6c: JUMPDEST
00002b6d: PUSH1 0x20
00002b6f: DUP1
00002b70: DUP3
00002b71: MSTORE
00002b72: PUSH1 0x31
00002b74: SWAP1
00002b75: DUP3
00002b76: ADD
00002b77: MSTORE
00002b78: PUSH32 0x596f752061726520747279696e6720746f207472616e73666572206d6f726520
00002b99: PUSH1 0x40
00002b9b: DUP3
00002b9c: ADD
00002b9d: MSTORE
00002b9e: PUSH17 0x7468616e20796f75722062616c616e6365
00002bb0: PUSH1 0x78
00002bb2: SHL
00002bb3: PUSH1 0x60
00002bb5: DUP3
00002bb6: ADD
00002bb7: MSTORE
00002bb8: PUSH1 0x80
00002bba: ADD
00002bbb: SWAP1
00002bbc: JUMP
00002bbd: JUMPDEST
00002bbe: PUSH1 0x20
00002bc0: DUP1
00002bc1: DUP3
00002bc2: MSTORE
00002bc3: PUSH1 0x2a
00002bc5: SWAP1
00002bc6: DUP3
00002bc7: ADD
00002bc8: MSTORE
00002bc9: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072
00002bea: PUSH1 0x40
00002bec: DUP3
00002bed: ADD
00002bee: MSTORE
00002bef: PUSH10 0x65666c656374696f6e73
00002bfa: PUSH1 0xb0
00002bfc: SHL
00002bfd: PUSH1 0x60
00002bff: DUP3
00002c00: ADD
00002c01: MSTORE
00002c02: PUSH1 0x80
00002c04: ADD
00002c05: SWAP1
00002c06: JUMP
00002c07: JUMPDEST
00002c08: PUSH1 0x20
00002c0a: DUP1
00002c0b: DUP3
00002c0c: MSTORE
00002c0d: PUSH1 0x26
00002c0f: SWAP1
00002c10: DUP3
00002c11: ADD
00002c12: MSTORE
00002c13: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002c34: PUSH1 0x40
00002c36: DUP3
00002c37: ADD
00002c38: MSTORE
00002c39: PUSH6 0x646472657373
00002c40: PUSH1 0xd0
00002c42: SHL
00002c43: PUSH1 0x60
00002c45: DUP3
00002c46: ADD
00002c47: MSTORE
00002c48: PUSH1 0x80
00002c4a: ADD
00002c4b: SWAP1
00002c4c: JUMP
00002c4d: JUMPDEST
00002c4e: PUSH1 0x20
00002c50: DUP1
00002c51: DUP3
00002c52: MSTORE
00002c53: PUSH1 0x22
00002c55: SWAP1
00002c56: DUP3
00002c57: ADD
00002c58: MSTORE
00002c59: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002c7a: PUSH1 0x40
00002c7c: DUP3
00002c7d: ADD
00002c7e: MSTORE
00002c7f: PUSH2 0x7373
00002c82: PUSH1 0xf0
00002c84: SHL
00002c85: PUSH1 0x60
00002c87: DUP3
00002c88: ADD
00002c89: MSTORE
00002c8a: PUSH1 0x80
00002c8c: ADD
00002c8d: SWAP1
00002c8e: JUMP
00002c8f: JUMPDEST
00002c90: PUSH1 0x20
00002c92: DUP1
00002c93: DUP3
00002c94: MSTORE
00002c95: PUSH1 0x1b
00002c97: SWAP1
00002c98: DUP3
00002c99: ADD
00002c9a: MSTORE
00002c9b: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
00002cbc: PUSH1 0x40
00002cbe: DUP3
00002cbf: ADD
00002cc0: MSTORE
00002cc1: PUSH1 0x60
00002cc3: ADD
00002cc4: SWAP1
00002cc5: JUMP
00002cc6: JUMPDEST
00002cc7: PUSH1 0x20
00002cc9: DUP1
00002cca: DUP3
00002ccb: MSTORE
00002ccc: PUSH1 0x23
00002cce: SWAP1
00002ccf: DUP3
00002cd0: ADD
00002cd1: MSTORE
00002cd2: PUSH32 0x45786365656473206d6178696d756d2077616c6c657420746f6b656e20616d6f
00002cf3: PUSH1 0x40
00002cf5: DUP3
00002cf6: ADD
00002cf7: MSTORE
00002cf8: PUSH3 0x1d5b9d
00002cfc: PUSH1 0xea
00002cfe: SHL
00002cff: PUSH1 0x60
00002d01: DUP3
00002d02: ADD
00002d03: MSTORE
00002d04: PUSH1 0x80
00002d06: ADD
00002d07: SWAP1
00002d08: JUMP
00002d09: JUMPDEST
00002d0a: PUSH1 0x20
00002d0c: DUP1
00002d0d: DUP3
00002d0e: MSTORE
00002d0f: PUSH1 0x17
00002d11: SWAP1
00002d12: DUP3
00002d13: ADD
00002d14: MSTORE
00002d15: PUSH32 0x4163636f756e74206973206e6f74206578636c75646564000000000000000000
00002d36: PUSH1 0x40
00002d38: DUP3
00002d39: ADD
00002d3a: MSTORE
00002d3b: PUSH1 0x60
00002d3d: ADD
00002d3e: SWAP1
00002d3f: JUMP
00002d40: JUMPDEST
00002d41: PUSH1 0x20
00002d43: DUP1
00002d44: DUP3
00002d45: MSTORE
00002d46: PUSH1 0x1f
00002d48: SWAP1
00002d49: DUP3
00002d4a: ADD
00002d4b: MSTORE
00002d4c: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20737570706c7900
00002d6d: PUSH1 0x40
00002d6f: DUP3
00002d70: ADD
00002d71: MSTORE
00002d72: PUSH1 0x60
00002d74: ADD
00002d75: SWAP1
00002d76: JUMP
00002d77: JUMPDEST
00002d78: PUSH1 0x20
00002d7a: DUP1
00002d7b: DUP3
00002d7c: MSTORE
00002d7d: DUP2
00002d7e: DUP2
00002d7f: ADD
00002d80: MSTORE
00002d81: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002da2: PUSH1 0x40
00002da4: DUP3
00002da5: ADD
00002da6: MSTORE
00002da7: PUSH1 0x60
00002da9: ADD
00002daa: SWAP1
00002dab: JUMP
00002dac: JUMPDEST
00002dad: PUSH1 0x20
00002daf: DUP1
00002db0: DUP3
00002db1: MSTORE
00002db2: PUSH1 0x18
00002db4: SWAP1
00002db5: DUP3
00002db6: ADD
00002db7: MSTORE
00002db8: PUSH32 0x696e73756666696369656e74204554482062616c616e63650000000000000000
00002dd9: PUSH1 0x40
00002ddb: DUP3
00002ddc: ADD
00002ddd: MSTORE
00002dde: PUSH1 0x60
00002de0: ADD
00002de1: SWAP1
00002de2: JUMP
00002de3: JUMPDEST
00002de4: PUSH1 0x20
00002de6: DUP1
00002de7: DUP3
00002de8: MSTORE
00002de9: PUSH1 0x29
00002deb: SWAP1
00002dec: DUP3
00002ded: ADD
00002dee: MSTORE
00002def: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00002e10: PUSH1 0x40
00002e12: DUP3
00002e13: ADD
00002e14: MSTORE
00002e15: PUSH9 0x7468616e207a65726f
00002e1f: PUSH1 0xb8
00002e21: SHL
00002e22: PUSH1 0x60
00002e24: DUP3
00002e25: ADD
00002e26: MSTORE
00002e27: PUSH1 0x80
00002e29: ADD
00002e2a: SWAP1
00002e2b: JUMP
00002e2c: JUMPDEST
00002e2d: PUSH1 0x20
00002e2f: DUP1
00002e30: DUP3
00002e31: MSTORE
00002e32: PUSH1 0x25
00002e34: SWAP1
00002e35: DUP3
00002e36: ADD
00002e37: MSTORE
00002e38: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00002e59: PUSH1 0x40
00002e5b: DUP3
00002e5c: ADD
00002e5d: MSTORE
00002e5e: PUSH5 0x6472657373
00002e64: PUSH1 0xd8
00002e66: SHL
00002e67: PUSH1 0x60
00002e69: DUP3
00002e6a: ADD
00002e6b: MSTORE
00002e6c: PUSH1 0x80
00002e6e: ADD
00002e6f: SWAP1
00002e70: JUMP
00002e71: JUMPDEST
00002e72: PUSH1 0x20
00002e74: DUP1
00002e75: DUP3
00002e76: MSTORE
00002e77: PUSH1 0x24
00002e79: SWAP1
00002e7a: DUP3
00002e7b: ADD
00002e7c: MSTORE
00002e7d: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00002e9e: PUSH1 0x40
00002ea0: DUP3
00002ea1: ADD
00002ea2: MSTORE
00002ea3: PUSH4 0x72657373
00002ea8: PUSH1 0xe0
00002eaa: SHL
00002eab: PUSH1 0x60
00002ead: DUP3
00002eae: ADD
00002eaf: MSTORE
00002eb0: PUSH1 0x80
00002eb2: ADD
00002eb3: SWAP1
00002eb4: JUMP
00002eb5: JUMPDEST
00002eb6: PUSH1 0x20
00002eb8: DUP1
00002eb9: DUP3
00002eba: MSTORE
00002ebb: PUSH1 0x1e
00002ebd: SWAP1
00002ebe: DUP3
00002ebf: ADD
00002ec0: MSTORE
00002ec1: PUSH32 0x796f752061726520657863656564696e67206d6178427579416d6f756e740000
00002ee2: PUSH1 0x40
00002ee4: DUP3
00002ee5: ADD
00002ee6: MSTORE
00002ee7: PUSH1 0x60
00002ee9: ADD
00002eea: SWAP1
00002eeb: JUMP
00002eec: JUMPDEST
00002eed: PUSH1 0x20
00002eef: DUP1
00002ef0: DUP3
00002ef1: MSTORE
00002ef2: PUSH1 0x2c
00002ef4: SWAP1
00002ef5: DUP3
00002ef6: ADD
00002ef7: MSTORE
00002ef8: PUSH32 0x4578636c75646564206164647265737365732063616e6e6f742063616c6c2074
00002f19: PUSH1 0x40
00002f1b: DUP3
00002f1c: ADD
00002f1d: MSTORE
00002f1e: PUSH12 0x3434b990333ab731ba34b7b7
00002f2b: PUSH1 0xa1
00002f2d: SHL
00002f2e: PUSH1 0x60
00002f30: DUP3
00002f31: ADD
00002f32: MSTORE
00002f33: PUSH1 0x80
00002f35: ADD
00002f36: SWAP1
00002f37: JUMP
00002f38: JUMPDEST
00002f39: PUSH1 0x20
00002f3b: DUP1
00002f3c: DUP3
00002f3d: MSTORE
00002f3e: PUSH1 0x21
00002f40: SWAP1
00002f41: DUP3
00002f42: ADD
00002f43: MSTORE
00002f44: PUSH32 0x416d6f756e7420697320657863656564696e67206d617853656c6c416d6f756e
00002f65: PUSH1 0x40
00002f67: DUP3
00002f68: ADD
00002f69: MSTORE
00002f6a: PUSH1 0x1d
00002f6c: PUSH1 0xfa
00002f6e: SHL
00002f6f: PUSH1 0x60
00002f71: DUP3
00002f72: ADD
00002f73: MSTORE
00002f74: PUSH1 0x80
00002f76: ADD
00002f77: SWAP1
00002f78: JUMP
00002f79: JUMPDEST
00002f7a: SWAP1
00002f7b: DUP2
00002f7c: MSTORE
00002f7d: PUSH1 0x20
00002f7f: ADD
00002f80: SWAP1
00002f81: JUMP
00002f82: JUMPDEST
00002f83: PUSH1 0x00
00002f85: PUSH1 0xa0
00002f87: DUP3
00002f88: ADD
00002f89: DUP8
00002f8a: DUP4
00002f8b: MSTORE
00002f8c: PUSH1 0x20
00002f8e: DUP8
00002f8f: DUP2
00002f90: DUP6
00002f91: ADD
00002f92: MSTORE
00002f93: PUSH1 0xa0
00002f95: PUSH1 0x40
00002f97: DUP6
00002f98: ADD
00002f99: MSTORE
00002f9a: DUP2
00002f9b: DUP8
00002f9c: MLOAD
00002f9d: DUP1
00002f9e: DUP5
00002f9f: MSTORE
00002fa0: PUSH1 0xc0
00002fa2: DUP7
00002fa3: ADD
00002fa4: SWAP2
00002fa5: POP
00002fa6: DUP3
00002fa7: DUP10
00002fa8: ADD
00002fa9: SWAP4
00002faa: POP
00002fab: DUP5
00002fac: JUMPDEST
00002fad: DUP2
00002fae: DUP2
00002faf: LT
00002fb0: ISZERO
00002fb1: PUSH2 0x2fd1
00002fb4: JUMPI
00002fb5: DUP5
00002fb6: MLOAD
00002fb7: PUSH1 0x01
00002fb9: PUSH1 0x01
00002fbb: PUSH1 0xa0
00002fbd: SHL
00002fbe: SUB
00002fbf: AND
00002fc0: DUP4
00002fc1: MSTORE
00002fc2: SWAP4
00002fc3: DUP4
00002fc4: ADD
00002fc5: SWAP4
00002fc6: SWAP2
00002fc7: DUP4
00002fc8: ADD
00002fc9: SWAP2
00002fca: PUSH1 0x01
00002fcc: ADD
00002fcd: PUSH2 0x2fac
00002fd0: JUMP
00002fd1: JUMPDEST
00002fd2: POP
00002fd3: POP
00002fd4: PUSH1 0x01
00002fd6: PUSH1 0x01
00002fd8: PUSH1 0xa0
00002fda: SHL
00002fdb: SUB
00002fdc: SWAP7
00002fdd: SWAP1
00002fde: SWAP7
00002fdf: AND
00002fe0: PUSH1 0x60
00002fe2: DUP6
00002fe3: ADD
00002fe4: MSTORE
00002fe5: POP
00002fe6: POP
00002fe7: POP
00002fe8: PUSH1 0x80
00002fea: ADD
00002feb: MSTORE
00002fec: SWAP4
00002fed: SWAP3
00002fee: POP
00002fef: POP
00002ff0: POP
00002ff1: JUMP
00002ff2: JUMPDEST
00002ff3: PUSH1 0xff
00002ff5: SWAP2
00002ff6: SWAP1
00002ff7: SWAP2
00002ff8: AND
00002ff9: DUP2
00002ffa: MSTORE
00002ffb: PUSH1 0x20
00002ffd: ADD
00002ffe: SWAP1
00002fff: JUMP
00003000: JUMPDEST
00003001: PUSH1 0x00
00003003: DUP3
00003004: NOT
00003005: DUP3
00003006: GT
00003007: ISZERO
00003008: PUSH2 0x3013
0000300b: JUMPI
0000300c: PUSH2 0x3013
0000300f: PUSH2 0x3089
00003012: JUMP
00003013: JUMPDEST
00003014: POP
00003015: ADD
00003016: SWAP1
00003017: JUMP
00003018: JUMPDEST
00003019: PUSH1 0x00
0000301b: DUP3
0000301c: PUSH2 0x3033
0000301f: JUMPI
00003020: PUSH4 0x4e487b71
00003025: PUSH1 0xe0
00003027: SHL
00003028: DUP2
00003029: MSTORE
0000302a: PUSH1 0x12
0000302c: PUSH1 0x04
0000302e: MSTORE
0000302f: PUSH1 0x24
00003031: DUP2
00003032: REVERT
00003033: JUMPDEST
00003034: POP
00003035: DIV
00003036: SWAP1
00003037: JUMP
00003038: JUMPDEST
00003039: PUSH1 0x00
0000303b: DUP2
0000303c: PUSH1 0x00
0000303e: NOT
0000303f: DIV
00003040: DUP4
00003041: GT
00003042: DUP3
00003043: ISZERO
00003044: ISZERO
00003045: AND
00003046: ISZERO
00003047: PUSH2 0x3052
0000304a: JUMPI
0000304b: PUSH2 0x3052
0000304e: PUSH2 0x3089
00003051: JUMP
00003052: JUMPDEST
00003053: POP
00003054: MUL
00003055: SWAP1
00003056: JUMP
00003057: JUMPDEST
00003058: PUSH1 0x00
0000305a: DUP3
0000305b: DUP3
0000305c: LT
0000305d: ISZERO
0000305e: PUSH2 0x3069
00003061: JUMPI
00003062: PUSH2 0x3069
00003065: PUSH2 0x3089
00003068: JUMP
00003069: JUMPDEST
0000306a: POP
0000306b: SUB
0000306c: SWAP1
0000306d: JUMP
0000306e: JUMPDEST
0000306f: PUSH1 0x00
00003071: PUSH1 0x00
00003073: NOT
00003074: DUP3
00003075: EQ
00003076: ISZERO
00003077: PUSH2 0x3082
0000307a: JUMPI
0000307b: PUSH2 0x3082
0000307e: PUSH2 0x3089
00003081: JUMP
00003082: JUMPDEST
00003083: POP
00003084: PUSH1 0x01
00003086: ADD
00003087: SWAP1
00003088: JUMP
00003089: JUMPDEST
0000308a: PUSH4 0x4e487b71
0000308f: PUSH1 0xe0
00003091: SHL
00003092: PUSH1 0x00
00003094: MSTORE
00003095: PUSH1 0x11
00003097: PUSH1 0x04
00003099: MSTORE
0000309a: PUSH1 0x24
0000309c: PUSH1 0x00
0000309e: REVERT
0000309f: JUMPDEST
000030a0: PUSH1 0x01
000030a2: PUSH1 0x01
000030a4: PUSH1 0xa0
000030a6: SHL
000030a7: SUB
000030a8: DUP2
000030a9: AND
000030aa: DUP2
000030ab: EQ
000030ac: PUSH2 0x175b
000030af: JUMPI
000030b0: PUSH1 0x00
000030b2: DUP1
000030b3: REVERT
000030b4: JUMPDEST
000030b5: DUP1
000030b6: ISZERO
000030b7: ISZERO
000030b8: DUP2
000030b9: EQ
000030ba: PUSH2 0x175b
000030bd: JUMPI
000030be: PUSH1 0x00
000030c0: DUP1
000030c1: REVERT
000030c2: INVALID
000030c3: GASLIMIT
000030c4: MSTORE
000030c5: NUMBER
000030c6: ORIGIN
000030c7: ADDRESS
000030c8: GASPRICE
000030c9: KECCAK256
000030ca: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000030e0: PUSH20 0x20616c6c6f77616e636545524332303a20646563
000030f5: PUSH19 0x656173656420616c6c6f77616e63652062656c
00003109: PUSH16 0x77207a65726fa2646970667358221220
0000311a: PUSH19 0x52393e54ce98f39e19bd29026a08e8c0ce002b
0000312e: GT
0000312f: DUP2
00003130: PUSH29
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": "0xe2f45605", "selector": "0xe2f45605", "calldata_variants": [ "0xe2f45605", "0xe2f456050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea4cfe12", "selector": "0xea4cfe12", "calldata_variants": [ "0xea4cfe12", "0xea4cfe120000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf887ea40", "selector": "0xf887ea40", "calldata_variants": [ "0xf887ea40", "0xf887ea400000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfcf07c6b", "selector": "0xfcf07c6b", "calldata_variants": [ "0xfcf07c6b", "0xfcf07c6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa8aa1b31", "selector": "0xa8aa1b31", "calldata_variants": [ "0xa8aa1b31", "0xa8aa1b310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 12486, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xad753b98ade80556f01357076bc236f27f708a56ee69aa4cb8b945ccec45abfd call_targets: 0xdffc63f92c939deb112d88735ade3b4d21b6d491 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xad753b98ade80556f01357076bc236f27f708a56ee69aa4cb8b945ccec45abfd", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xdffc63f92c939deb112d88735ade3b4d21b6d491" ], "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": "0xe2f45605", "selector": "0xe2f45605", "calldata_variants": [ "0xe2f45605", "0xe2f456050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea4cfe12", "selector": "0xea4cfe12", "calldata_variants": [ "0xea4cfe12", "0xea4cfe120000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf887ea40", "selector": "0xf887ea40", "calldata_variants": [ "0xf887ea40", "0xf887ea400000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfcf07c6b", "selector": "0xfcf07c6b", "calldata_variants": [ "0xfcf07c6b", "0xfcf07c6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa8aa1b31", "selector": "0xa8aa1b31", "calldata_variants": [ "0xa8aa1b31", "0xa8aa1b310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3816, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5131, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5656, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [ { "pc": 12486, "type": "tx_origin_used" } ], "untrusted_call_count": 6 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xad753b98ade80556f01357076bc236f27f708a56ee69aa4cb8b945ccec45abfd call_targets: 0xdffc63f92c939deb112d88735ade3b4d21b6d491 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xad753b98ade80556f01357076bc236f27f708a56ee69aa4cb8b945ccec45abfd", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xdffc63f92c939deb112d88735ade3b4d21b6d491" ], "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": "0xe2f45605", "selector": "0xe2f45605", "calldata_variants": [ "0xe2f45605", "0xe2f456050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea4cfe12", "selector": "0xea4cfe12", "calldata_variants": [ "0xea4cfe12", "0xea4cfe120000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf887ea40", "selector": "0xf887ea40", "calldata_variants": [ "0xf887ea40", "0xf887ea400000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfcf07c6b", "selector": "0xfcf07c6b", "calldata_variants": [ "0xfcf07c6b", "0xfcf07c6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa8aa1b31", "selector": "0xa8aa1b31", "calldata_variants": [ "0xa8aa1b31", "0xa8aa1b310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3816, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5131, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5656, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [ { "pc": 12486, "type": "tx_origin_used" } ] }
Severity