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

019b477e-cc99-70ee-bac3-908dcc552ac2
complete
Chain ID
Address
0x1ae7e1d0ce06364ced9ad58225a1705b3e5db92b
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
26901	artifact.fetch	complete	1 / 3	3 months ago
26902	tool.cast_disasm	complete	1 / 3	3 months ago
91769	analysis.bundle	complete	1 / 3	2 weeks ago
91770	capability.graph	complete	1 / 3	2 weeks ago
91771	detector.run	complete	1 / 3	2 weeks ago
91772	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
7562
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01d0
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7d1db4a5
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa2a957bb
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc492f046
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc492f046
0000003a: EQ
0000003b: PUSH2 0x065c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x0685
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xea1644d5
00000050: EQ
00000051: PUSH2 0x06c2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x06eb
0000005f: JUMPI
00000060: PUSH2 0x01d7
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa2a957bb
0000006b: EQ
0000006c: PUSH2 0x05a2
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa9059cbb
00000076: EQ
00000077: PUSH2 0x05cb
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbfd79284
00000081: EQ
00000082: PUSH2 0x0608
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc3c8cd80
0000008c: EQ
0000008d: PUSH2 0x0645
00000090: JUMPI
00000091: PUSH2 0x01d7
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x8f70ccf7
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8f70ccf7
000000a7: EQ
000000a8: PUSH2 0x04fa
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8f9a55c0
000000b2: EQ
000000b3: PUSH2 0x0523
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x054e
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x98a5c315
000000c8: EQ
000000c9: PUSH2 0x0579
000000cc: JUMPI
000000cd: PUSH2 0x01d7
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x7d1db4a5
000000d8: EQ
000000d9: PUSH2 0x0467
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x7f2feddc
000000e3: EQ
000000e4: PUSH2 0x0492
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x8da5cb5b
000000ee: EQ
000000ef: PUSH2 0x04cf
000000f2: JUMPI
000000f3: PUSH2 0x01d7
000000f6: JUMP
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x313ce567
000000fe: GT
000000ff: PUSH2 0x016f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x6fc3eaec
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6fc3eaec
00000114: EQ
00000115: PUSH2 0x03d3
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x70a08231
0000011f: EQ
00000120: PUSH2 0x03ea
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x715018a6
0000012a: EQ
0000012b: PUSH2 0x0427
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x74010ece
00000135: EQ
00000136: PUSH2 0x043e
00000139: JUMPI
0000013a: PUSH2 0x01d7
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x313ce567
00000145: EQ
00000146: PUSH2 0x032b
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x49bd5a5e
00000150: EQ
00000151: PUSH2 0x0356
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x6b999053
0000015b: EQ
0000015c: PUSH2 0x0381
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x6d8aa8f8
00000166: EQ
00000167: PUSH2 0x03aa
0000016a: JUMPI
0000016b: PUSH2 0x01d7
0000016e: JUMP
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x1694505e
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x1694505e
00000181: EQ
00000182: PUSH2 0x026d
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x18160ddd
0000018c: EQ
0000018d: PUSH2 0x0298
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x23b872dd
00000197: EQ
00000198: PUSH2 0x02c3
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x2fd689e3
000001a2: EQ
000001a3: PUSH2 0x0300
000001a6: JUMPI
000001a7: PUSH2 0x01d7
000001aa: JUMP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH3 0xb8cf2a
000001b1: EQ
000001b2: PUSH2 0x01dc
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0x06fdde03
000001bc: EQ
000001bd: PUSH2 0x0205
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x095ea7b3
000001c7: EQ
000001c8: PUSH2 0x0230
000001cb: JUMPI
000001cc: PUSH2 0x01d7
000001cf: JUMP
000001d0: JUMPDEST
000001d1: CALLDATASIZE
000001d2: PUSH2 0x01d7
000001d5: JUMPI
000001d6: STOP
000001d7: JUMPDEST
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: POP
000001ea: PUSH2 0x0203
000001ed: PUSH1 0x04
000001ef: DUP1
000001f0: CALLDATASIZE
000001f1: SUB
000001f2: DUP2
000001f3: ADD
000001f4: SWAP1
000001f5: PUSH2 0x01fe
000001f8: SWAP2
000001f9: SWAP1
000001fa: PUSH2 0x2d6c
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH2 0x0714
00000202: JUMP
00000203: JUMPDEST
00000204: STOP
00000205: JUMPDEST
00000206: CALLVALUE
00000207: DUP1
00000208: ISZERO
00000209: PUSH2 0x0211
0000020c: JUMPI
0000020d: PUSH1 0x00
0000020f: DUP1
00000210: REVERT
00000211: JUMPDEST
00000212: POP
00000213: PUSH2 0x021a
00000216: PUSH2 0x083e
00000219: JUMP
0000021a: JUMPDEST
0000021b: PUSH1 0x40
0000021d: MLOAD
0000021e: PUSH2 0x0227
00000221: SWAP2
00000222: SWAP1
00000223: PUSH2 0x2e3d
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: MLOAD
0000022b: DUP1
0000022c: SWAP2
0000022d: SUB
0000022e: SWAP1
0000022f: RETURN
00000230: JUMPDEST
00000231: CALLVALUE
00000232: DUP1
00000233: ISZERO
00000234: PUSH2 0x023c
00000237: JUMPI
00000238: PUSH1 0x00
0000023a: DUP1
0000023b: REVERT
0000023c: JUMPDEST
0000023d: POP
0000023e: PUSH2 0x0257
00000241: PUSH1 0x04
00000243: DUP1
00000244: CALLDATASIZE
00000245: SUB
00000246: DUP2
00000247: ADD
00000248: SWAP1
00000249: PUSH2 0x0252
0000024c: SWAP2
0000024d: SWAP1
0000024e: PUSH2 0x2e95
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH2 0x087b
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: PUSH2 0x0264
0000025e: SWAP2
0000025f: SWAP1
00000260: PUSH2 0x2ef0
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH1 0x40
00000267: MLOAD
00000268: DUP1
00000269: SWAP2
0000026a: SUB
0000026b: SWAP1
0000026c: RETURN
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x0282
0000027e: PUSH2 0x0899
00000281: JUMP
00000282: JUMPDEST
00000283: PUSH1 0x40
00000285: MLOAD
00000286: PUSH2 0x028f
00000289: SWAP2
0000028a: SWAP1
0000028b: PUSH2 0x2f6a
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: DUP1
00000294: SWAP2
00000295: SUB
00000296: SWAP1
00000297: RETURN
00000298: JUMPDEST
00000299: CALLVALUE
0000029a: DUP1
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: PUSH2 0x02ad
000002a9: PUSH2 0x08bf
000002ac: JUMP
000002ad: JUMPDEST
000002ae: PUSH1 0x40
000002b0: MLOAD
000002b1: PUSH2 0x02ba
000002b4: SWAP2
000002b5: SWAP1
000002b6: PUSH2 0x2f94
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH1 0x40
000002bd: MLOAD
000002be: DUP1
000002bf: SWAP2
000002c0: SUB
000002c1: SWAP1
000002c2: RETURN
000002c3: JUMPDEST
000002c4: CALLVALUE
000002c5: DUP1
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: POP
000002d1: PUSH2 0x02ea
000002d4: PUSH1 0x04
000002d6: DUP1
000002d7: CALLDATASIZE
000002d8: SUB
000002d9: DUP2
000002da: ADD
000002db: SWAP1
000002dc: PUSH2 0x02e5
000002df: SWAP2
000002e0: SWAP1
000002e1: PUSH2 0x2faf
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH2 0x08cf
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: PUSH2 0x02f7
000002f1: SWAP2
000002f2: SWAP1
000002f3: PUSH2 0x2ef0
000002f6: JUMP
000002f7: JUMPDEST
000002f8: PUSH1 0x40
000002fa: MLOAD
000002fb: DUP1
000002fc: SWAP2
000002fd: SUB
000002fe: SWAP1
000002ff: RETURN
00000300: JUMPDEST
00000301: CALLVALUE
00000302: DUP1
00000303: ISZERO
00000304: PUSH2 0x030c
00000307: JUMPI
00000308: PUSH1 0x00
0000030a: DUP1
0000030b: REVERT
0000030c: JUMPDEST
0000030d: POP
0000030e: PUSH2 0x0315
00000311: PUSH2 0x09a8
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x40
00000318: MLOAD
00000319: PUSH2 0x0322
0000031c: SWAP2
0000031d: SWAP1
0000031e: PUSH2 0x2f94
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x40
00000325: MLOAD
00000326: DUP1
00000327: SWAP2
00000328: SUB
00000329: SWAP1
0000032a: RETURN
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: PUSH2 0x0340
0000033c: PUSH2 0x09ae
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH1 0x40
00000343: MLOAD
00000344: PUSH2 0x034d
00000347: SWAP2
00000348: SWAP1
00000349: PUSH2 0x301e
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: DUP1
00000352: SWAP2
00000353: SUB
00000354: SWAP1
00000355: RETURN
00000356: JUMPDEST
00000357: CALLVALUE
00000358: DUP1
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: POP
00000364: PUSH2 0x036b
00000367: PUSH2 0x09b7
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH1 0x40
0000036e: MLOAD
0000036f: PUSH2 0x0378
00000372: SWAP2
00000373: SWAP1
00000374: PUSH2 0x3048
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH1 0x40
0000037b: MLOAD
0000037c: DUP1
0000037d: SWAP2
0000037e: SUB
0000037f: SWAP1
00000380: RETURN
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x03a8
00000392: PUSH1 0x04
00000394: DUP1
00000395: CALLDATASIZE
00000396: SUB
00000397: DUP2
00000398: ADD
00000399: SWAP1
0000039a: PUSH2 0x03a3
0000039d: SWAP2
0000039e: SWAP1
0000039f: PUSH2 0x3063
000003a2: JUMP
000003a3: JUMPDEST
000003a4: PUSH2 0x09dd
000003a7: JUMP
000003a8: JUMPDEST
000003a9: STOP
000003aa: JUMPDEST
000003ab: CALLVALUE
000003ac: DUP1
000003ad: ISZERO
000003ae: PUSH2 0x03b6
000003b1: JUMPI
000003b2: PUSH1 0x00
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: POP
000003b8: PUSH2 0x03d1
000003bb: PUSH1 0x04
000003bd: DUP1
000003be: CALLDATASIZE
000003bf: SUB
000003c0: DUP2
000003c1: ADD
000003c2: SWAP1
000003c3: PUSH2 0x03cc
000003c6: SWAP2
000003c7: SWAP1
000003c8: PUSH2 0x30bc
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH2 0x0acd
000003d0: JUMP
000003d1: JUMPDEST
000003d2: STOP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x0b7f
000003e7: JUMP
000003e8: JUMPDEST
000003e9: STOP
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH2 0x0411
000003fb: PUSH1 0x04
000003fd: DUP1
000003fe: CALLDATASIZE
000003ff: SUB
00000400: DUP2
00000401: ADD
00000402: SWAP1
00000403: PUSH2 0x040c
00000406: SWAP2
00000407: SWAP1
00000408: PUSH2 0x3063
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH2 0x0c50
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH1 0x40
00000414: MLOAD
00000415: PUSH2 0x041e
00000418: SWAP2
00000419: SWAP1
0000041a: PUSH2 0x2f94
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH1 0x40
00000421: MLOAD
00000422: DUP1
00000423: SWAP2
00000424: SUB
00000425: SWAP1
00000426: RETURN
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: PUSH2 0x043c
00000438: PUSH2 0x0ca1
0000043b: JUMP
0000043c: JUMPDEST
0000043d: STOP
0000043e: JUMPDEST
0000043f: CALLVALUE
00000440: DUP1
00000441: ISZERO
00000442: PUSH2 0x044a
00000445: JUMPI
00000446: PUSH1 0x00
00000448: DUP1
00000449: REVERT
0000044a: JUMPDEST
0000044b: POP
0000044c: PUSH2 0x0465
0000044f: PUSH1 0x04
00000451: DUP1
00000452: CALLDATASIZE
00000453: SUB
00000454: DUP2
00000455: ADD
00000456: SWAP1
00000457: PUSH2 0x0460
0000045a: SWAP2
0000045b: SWAP1
0000045c: PUSH2 0x30e9
0000045f: JUMP
00000460: JUMPDEST
00000461: PUSH2 0x0df4
00000464: JUMP
00000465: JUMPDEST
00000466: STOP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0473
0000046e: JUMPI
0000046f: PUSH1 0x00
00000471: DUP1
00000472: REVERT
00000473: JUMPDEST
00000474: POP
00000475: PUSH2 0x047c
00000478: PUSH2 0x0e93
0000047b: JUMP
0000047c: JUMPDEST
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: PUSH2 0x0489
00000483: SWAP2
00000484: SWAP1
00000485: PUSH2 0x2f94
00000488: JUMP
00000489: JUMPDEST
0000048a: PUSH1 0x40
0000048c: MLOAD
0000048d: DUP1
0000048e: SWAP2
0000048f: SUB
00000490: SWAP1
00000491: RETURN
00000492: JUMPDEST
00000493: CALLVALUE
00000494: DUP1
00000495: ISZERO
00000496: PUSH2 0x049e
00000499: JUMPI
0000049a: PUSH1 0x00
0000049c: DUP1
0000049d: REVERT
0000049e: JUMPDEST
0000049f: POP
000004a0: PUSH2 0x04b9
000004a3: PUSH1 0x04
000004a5: DUP1
000004a6: CALLDATASIZE
000004a7: SUB
000004a8: DUP2
000004a9: ADD
000004aa: SWAP1
000004ab: PUSH2 0x04b4
000004ae: SWAP2
000004af: SWAP1
000004b0: PUSH2 0x3063
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH2 0x0e99
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH1 0x40
000004bc: MLOAD
000004bd: PUSH2 0x04c6
000004c0: SWAP2
000004c1: SWAP1
000004c2: PUSH2 0x2f94
000004c5: JUMP
000004c6: JUMPDEST
000004c7: PUSH1 0x40
000004c9: MLOAD
000004ca: DUP1
000004cb: SWAP2
000004cc: SUB
000004cd: SWAP1
000004ce: RETURN
000004cf: JUMPDEST
000004d0: CALLVALUE
000004d1: DUP1
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: PUSH2 0x04e4
000004e0: PUSH2 0x0eb1
000004e3: JUMP
000004e4: JUMPDEST
000004e5: PUSH1 0x40
000004e7: MLOAD
000004e8: PUSH2 0x04f1
000004eb: SWAP2
000004ec: SWAP1
000004ed: PUSH2 0x3048
000004f0: JUMP
000004f1: JUMPDEST
000004f2: PUSH1 0x40
000004f4: MLOAD
000004f5: DUP1
000004f6: SWAP2
000004f7: SUB
000004f8: SWAP1
000004f9: RETURN
000004fa: JUMPDEST
000004fb: CALLVALUE
000004fc: DUP1
000004fd: ISZERO
000004fe: PUSH2 0x0506
00000501: JUMPI
00000502: PUSH1 0x00
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: PUSH2 0x0521
0000050b: PUSH1 0x04
0000050d: DUP1
0000050e: CALLDATASIZE
0000050f: SUB
00000510: DUP2
00000511: ADD
00000512: SWAP1
00000513: PUSH2 0x051c
00000516: SWAP2
00000517: SWAP1
00000518: PUSH2 0x30bc
0000051b: JUMP
0000051c: JUMPDEST
0000051d: PUSH2 0x0eda
00000520: JUMP
00000521: JUMPDEST
00000522: STOP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x0538
00000534: PUSH2 0x0f8c
00000537: JUMP
00000538: JUMPDEST
00000539: PUSH1 0x40
0000053b: MLOAD
0000053c: PUSH2 0x0545
0000053f: SWAP2
00000540: SWAP1
00000541: PUSH2 0x2f94
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH1 0x40
00000548: MLOAD
00000549: DUP1
0000054a: SWAP2
0000054b: SUB
0000054c: SWAP1
0000054d: RETURN
0000054e: JUMPDEST
0000054f: CALLVALUE
00000550: DUP1
00000551: ISZERO
00000552: PUSH2 0x055a
00000555: JUMPI
00000556: PUSH1 0x00
00000558: DUP1
00000559: REVERT
0000055a: JUMPDEST
0000055b: POP
0000055c: PUSH2 0x0563
0000055f: PUSH2 0x0f92
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH1 0x40
00000566: MLOAD
00000567: PUSH2 0x0570
0000056a: SWAP2
0000056b: SWAP1
0000056c: PUSH2 0x2e3d
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH1 0x40
00000573: MLOAD
00000574: DUP1
00000575: SWAP2
00000576: SUB
00000577: SWAP1
00000578: RETURN
00000579: JUMPDEST
0000057a: CALLVALUE
0000057b: DUP1
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH2 0x05a0
0000058a: PUSH1 0x04
0000058c: DUP1
0000058d: CALLDATASIZE
0000058e: SUB
0000058f: DUP2
00000590: ADD
00000591: SWAP1
00000592: PUSH2 0x059b
00000595: SWAP2
00000596: SWAP1
00000597: PUSH2 0x30e9
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH2 0x0fcf
0000059f: JUMP
000005a0: JUMPDEST
000005a1: STOP
000005a2: JUMPDEST
000005a3: CALLVALUE
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05ae
000005a9: JUMPI
000005aa: PUSH1 0x00
000005ac: DUP1
000005ad: REVERT
000005ae: JUMPDEST
000005af: POP
000005b0: PUSH2 0x05c9
000005b3: PUSH1 0x04
000005b5: DUP1
000005b6: CALLDATASIZE
000005b7: SUB
000005b8: DUP2
000005b9: ADD
000005ba: SWAP1
000005bb: PUSH2 0x05c4
000005be: SWAP2
000005bf: SWAP1
000005c0: PUSH2 0x3116
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH2 0x106e
000005c8: JUMP
000005c9: JUMPDEST
000005ca: STOP
000005cb: JUMPDEST
000005cc: CALLVALUE
000005cd: DUP1
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: POP
000005d9: PUSH2 0x05f2
000005dc: PUSH1 0x04
000005de: DUP1
000005df: CALLDATASIZE
000005e0: SUB
000005e1: DUP2
000005e2: ADD
000005e3: SWAP1
000005e4: PUSH2 0x05ed
000005e7: SWAP2
000005e8: SWAP1
000005e9: PUSH2 0x2e95
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH2 0x1125
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH1 0x40
000005f5: MLOAD
000005f6: PUSH2 0x05ff
000005f9: SWAP2
000005fa: SWAP1
000005fb: PUSH2 0x2ef0
000005fe: JUMP
000005ff: JUMPDEST
00000600: PUSH1 0x40
00000602: MLOAD
00000603: DUP1
00000604: SWAP2
00000605: SUB
00000606: SWAP1
00000607: RETURN
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: PUSH2 0x062f
00000619: PUSH1 0x04
0000061b: DUP1
0000061c: CALLDATASIZE
0000061d: SUB
0000061e: DUP2
0000061f: ADD
00000620: SWAP1
00000621: PUSH2 0x062a
00000624: SWAP2
00000625: SWAP1
00000626: PUSH2 0x3063
00000629: JUMP
0000062a: JUMPDEST
0000062b: PUSH2 0x1143
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH1 0x40
00000632: MLOAD
00000633: PUSH2 0x063c
00000636: SWAP2
00000637: SWAP1
00000638: PUSH2 0x2ef0
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x40
0000063f: MLOAD
00000640: DUP1
00000641: SWAP2
00000642: SUB
00000643: SWAP1
00000644: RETURN
00000645: JUMPDEST
00000646: CALLVALUE
00000647: DUP1
00000648: ISZERO
00000649: PUSH2 0x0651
0000064c: JUMPI
0000064d: PUSH1 0x00
0000064f: DUP1
00000650: REVERT
00000651: JUMPDEST
00000652: POP
00000653: PUSH2 0x065a
00000656: PUSH2 0x1163
00000659: JUMP
0000065a: JUMPDEST
0000065b: STOP
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x0668
00000663: JUMPI
00000664: PUSH1 0x00
00000666: DUP1
00000667: REVERT
00000668: JUMPDEST
00000669: POP
0000066a: PUSH2 0x0683
0000066d: PUSH1 0x04
0000066f: DUP1
00000670: CALLDATASIZE
00000671: SUB
00000672: DUP2
00000673: ADD
00000674: SWAP1
00000675: PUSH2 0x067e
00000678: SWAP2
00000679: SWAP1
0000067a: PUSH2 0x31d8
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH2 0x123c
00000682: JUMP
00000683: JUMPDEST
00000684: STOP
00000685: JUMPDEST
00000686: CALLVALUE
00000687: DUP1
00000688: ISZERO
00000689: PUSH2 0x0691
0000068c: JUMPI
0000068d: PUSH1 0x00
0000068f: DUP1
00000690: REVERT
00000691: JUMPDEST
00000692: POP
00000693: PUSH2 0x06ac
00000696: PUSH1 0x04
00000698: DUP1
00000699: CALLDATASIZE
0000069a: SUB
0000069b: DUP2
0000069c: ADD
0000069d: SWAP1
0000069e: PUSH2 0x06a7
000006a1: SWAP2
000006a2: SWAP1
000006a3: PUSH2 0x3238
000006a6: JUMP
000006a7: JUMPDEST
000006a8: PUSH2 0x1376
000006ab: JUMP
000006ac: JUMPDEST
000006ad: PUSH1 0x40
000006af: MLOAD
000006b0: PUSH2 0x06b9
000006b3: SWAP2
000006b4: SWAP1
000006b5: PUSH2 0x2f94
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH1 0x40
000006bc: MLOAD
000006bd: DUP1
000006be: SWAP2
000006bf: SUB
000006c0: SWAP1
000006c1: RETURN
000006c2: JUMPDEST
000006c3: CALLVALUE
000006c4: DUP1
000006c5: ISZERO
000006c6: PUSH2 0x06ce
000006c9: JUMPI
000006ca: PUSH1 0x00
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: POP
000006d0: PUSH2 0x06e9
000006d3: PUSH1 0x04
000006d5: DUP1
000006d6: CALLDATASIZE
000006d7: SUB
000006d8: DUP2
000006d9: ADD
000006da: SWAP1
000006db: PUSH2 0x06e4
000006de: SWAP2
000006df: SWAP1
000006e0: PUSH2 0x30e9
000006e3: JUMP
000006e4: JUMPDEST
000006e5: PUSH2 0x13fd
000006e8: JUMP
000006e9: JUMPDEST
000006ea: STOP
000006eb: JUMPDEST
000006ec: CALLVALUE
000006ed: DUP1
000006ee: ISZERO
000006ef: PUSH2 0x06f7
000006f2: JUMPI
000006f3: PUSH1 0x00
000006f5: DUP1
000006f6: REVERT
000006f7: JUMPDEST
000006f8: POP
000006f9: PUSH2 0x0712
000006fc: PUSH1 0x04
000006fe: DUP1
000006ff: CALLDATASIZE
00000700: SUB
00000701: DUP2
00000702: ADD
00000703: SWAP1
00000704: PUSH2 0x070d
00000707: SWAP2
00000708: SWAP1
00000709: PUSH2 0x3063
0000070c: JUMP
0000070d: JUMPDEST
0000070e: PUSH2 0x149c
00000711: JUMP
00000712: JUMPDEST
00000713: STOP
00000714: JUMPDEST
00000715: PUSH2 0x071c
00000718: PUSH2 0x165e
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000732: AND
00000733: PUSH1 0x00
00000735: DUP1
00000736: SLOAD
00000737: SWAP1
00000738: PUSH2 0x0100
0000073b: EXP
0000073c: SWAP1
0000073d: DIV
0000073e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000753: AND
00000754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000769: AND
0000076a: EQ
0000076b: PUSH2 0x07a9
0000076e: JUMPI
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000793: DUP2
00000794: MSTORE
00000795: PUSH1 0x04
00000797: ADD
00000798: PUSH2 0x07a0
0000079b: SWAP1
0000079c: PUSH2 0x32c4
0000079f: JUMP
000007a0: JUMPDEST
000007a1: PUSH1 0x40
000007a3: MLOAD
000007a4: DUP1
000007a5: SWAP2
000007a6: SUB
000007a7: SWAP1
000007a8: REVERT
000007a9: JUMPDEST
000007aa: PUSH1 0x00
000007ac: JUMPDEST
000007ad: DUP2
000007ae: MLOAD
000007af: DUP2
000007b0: LT
000007b1: ISZERO
000007b2: PUSH2 0x083a
000007b5: JUMPI
000007b6: PUSH1 0x01
000007b8: PUSH1 0x10
000007ba: PUSH1 0x00
000007bc: DUP5
000007bd: DUP5
000007be: DUP2
000007bf: MLOAD
000007c0: DUP2
000007c1: LT
000007c2: PUSH2 0x07ce
000007c5: JUMPI
000007c6: PUSH2 0x07cd
000007c9: PUSH2 0x32e4
000007cc: JUMP
000007cd: JUMPDEST
000007ce: JUMPDEST
000007cf: PUSH1 0x20
000007d1: MUL
000007d2: PUSH1 0x20
000007d4: ADD
000007d5: ADD
000007d6: MLOAD
000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ec: AND
000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000802: AND
00000803: DUP2
00000804: MSTORE
00000805: PUSH1 0x20
00000807: ADD
00000808: SWAP1
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x20
0000080d: ADD
0000080e: PUSH1 0x00
00000810: KECCAK256
00000811: PUSH1 0x00
00000813: PUSH2 0x0100
00000816: EXP
00000817: DUP2
00000818: SLOAD
00000819: DUP2
0000081a: PUSH1 0xff
0000081c: MUL
0000081d: NOT
0000081e: AND
0000081f: SWAP1
00000820: DUP4
00000821: ISZERO
00000822: ISZERO
00000823: MUL
00000824: OR
00000825: SWAP1
00000826: SSTORE
00000827: POP
00000828: DUP1
00000829: DUP1
0000082a: PUSH2 0x0832
0000082d: SWAP1
0000082e: PUSH2 0x3342
00000831: JUMP
00000832: JUMPDEST
00000833: SWAP2
00000834: POP
00000835: POP
00000836: PUSH2 0x07ac
00000839: JUMP
0000083a: JUMPDEST
0000083b: POP
0000083c: POP
0000083d: JUMP
0000083e: JUMPDEST
0000083f: PUSH1 0x60
00000841: PUSH1 0x40
00000843: MLOAD
00000844: DUP1
00000845: PUSH1 0x40
00000847: ADD
00000848: PUSH1 0x40
0000084a: MSTORE
0000084b: DUP1
0000084c: PUSH1 0x05
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x20
00000852: ADD
00000853: PUSH32 0x6c6d656f77000000000000000000000000000000000000000000000000000000
00000874: DUP2
00000875: MSTORE
00000876: POP
00000877: SWAP1
00000878: POP
00000879: SWAP1
0000087a: JUMP
0000087b: JUMPDEST
0000087c: PUSH1 0x00
0000087e: PUSH2 0x088f
00000881: PUSH2 0x0888
00000884: PUSH2 0x165e
00000887: JUMP
00000888: JUMPDEST
00000889: DUP5
0000088a: DUP5
0000088b: PUSH2 0x1666
0000088e: JUMP
0000088f: JUMPDEST
00000890: PUSH1 0x01
00000892: SWAP1
00000893: POP
00000894: SWAP3
00000895: SWAP2
00000896: POP
00000897: POP
00000898: JUMP
00000899: JUMPDEST
0000089a: PUSH1 0x14
0000089c: PUSH1 0x00
0000089e: SWAP1
0000089f: SLOAD
000008a0: SWAP1
000008a1: PUSH2 0x0100
000008a4: EXP
000008a5: SWAP1
000008a6: DIV
000008a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008bc: AND
000008bd: DUP2
000008be: JUMP
000008bf: JUMPDEST
000008c0: PUSH1 0x00
000008c2: PUSH8 0x0de0b6b3a7640000
000008cb: SWAP1
000008cc: POP
000008cd: SWAP1
000008ce: JUMP
000008cf: JUMPDEST
000008d0: PUSH1 0x00
000008d2: PUSH2 0x08dc
000008d5: DUP5
000008d6: DUP5
000008d7: DUP5
000008d8: PUSH2 0x1831
000008db: JUMP
000008dc: JUMPDEST
000008dd: PUSH2 0x099d
000008e0: DUP5
000008e1: PUSH2 0x08e8
000008e4: PUSH2 0x165e
000008e7: JUMP
000008e8: JUMPDEST
000008e9: PUSH2 0x0998
000008ec: DUP6
000008ed: PUSH1 0x40
000008ef: MLOAD
000008f0: DUP1
000008f1: PUSH1 0x60
000008f3: ADD
000008f4: PUSH1 0x40
000008f6: MSTORE
000008f7: DUP1
000008f8: PUSH1 0x28
000008fa: DUP2
000008fb: MSTORE
000008fc: PUSH1 0x20
000008fe: ADD
000008ff: PUSH2 0x3d83
00000902: PUSH1 0x28
00000904: SWAP2
00000905: CODECOPY
00000906: PUSH1 0x04
00000908: PUSH1 0x00
0000090a: DUP12
0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000920: AND
00000921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000936: AND
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x20
0000093b: ADD
0000093c: SWAP1
0000093d: DUP2
0000093e: MSTORE
0000093f: PUSH1 0x20
00000941: ADD
00000942: PUSH1 0x00
00000944: KECCAK256
00000945: PUSH1 0x00
00000947: PUSH2 0x094e
0000094a: PUSH2 0x165e
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000964: AND
00000965: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097a: AND
0000097b: DUP2
0000097c: MSTORE
0000097d: PUSH1 0x20
0000097f: ADD
00000980: SWAP1
00000981: DUP2
00000982: MSTORE
00000983: PUSH1 0x20
00000985: ADD
00000986: PUSH1 0x00
00000988: KECCAK256
00000989: SLOAD
0000098a: PUSH2 0x20b6
0000098d: SWAP1
0000098e: SWAP3
0000098f: SWAP2
00000990: SWAP1
00000991: PUSH4 0xffffffff
00000996: AND
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH2 0x1666
0000099c: JUMP
0000099d: JUMPDEST
0000099e: PUSH1 0x01
000009a0: SWAP1
000009a1: POP
000009a2: SWAP4
000009a3: SWAP3
000009a4: POP
000009a5: POP
000009a6: POP
000009a7: JUMP
000009a8: JUMPDEST
000009a9: PUSH1 0x18
000009ab: SLOAD
000009ac: DUP2
000009ad: JUMP
000009ae: JUMPDEST
000009af: PUSH1 0x00
000009b1: PUSH1 0x09
000009b3: SWAP1
000009b4: POP
000009b5: SWAP1
000009b6: JUMP
000009b7: JUMPDEST
000009b8: PUSH1 0x15
000009ba: PUSH1 0x00
000009bc: SWAP1
000009bd: SLOAD
000009be: SWAP1
000009bf: PUSH2 0x0100
000009c2: EXP
000009c3: SWAP1
000009c4: DIV
000009c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009da: AND
000009db: DUP2
000009dc: JUMP
000009dd: JUMPDEST
000009de: PUSH2 0x09e5
000009e1: PUSH2 0x165e
000009e4: JUMP
000009e5: JUMPDEST
000009e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fb: AND
000009fc: PUSH1 0x00
000009fe: DUP1
000009ff: SLOAD
00000a00: SWAP1
00000a01: PUSH2 0x0100
00000a04: EXP
00000a05: SWAP1
00000a06: DIV
00000a07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1c: AND
00000a1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a32: AND
00000a33: EQ
00000a34: PUSH2 0x0a72
00000a37: JUMPI
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a5c: DUP2
00000a5d: MSTORE
00000a5e: PUSH1 0x04
00000a60: ADD
00000a61: PUSH2 0x0a69
00000a64: SWAP1
00000a65: PUSH2 0x32c4
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: PUSH1 0x40
00000a6c: MLOAD
00000a6d: DUP1
00000a6e: SWAP2
00000a6f: SUB
00000a70: SWAP1
00000a71: REVERT
00000a72: JUMPDEST
00000a73: PUSH1 0x00
00000a75: PUSH1 0x10
00000a77: PUSH1 0x00
00000a79: DUP4
00000a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8f: AND
00000a90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa5: AND
00000aa6: DUP2
00000aa7: MSTORE
00000aa8: PUSH1 0x20
00000aaa: ADD
00000aab: SWAP1
00000aac: DUP2
00000aad: MSTORE
00000aae: PUSH1 0x20
00000ab0: ADD
00000ab1: PUSH1 0x00
00000ab3: KECCAK256
00000ab4: PUSH1 0x00
00000ab6: PUSH2 0x0100
00000ab9: EXP
00000aba: DUP2
00000abb: SLOAD
00000abc: DUP2
00000abd: PUSH1 0xff
00000abf: MUL
00000ac0: NOT
00000ac1: AND
00000ac2: SWAP1
00000ac3: DUP4
00000ac4: ISZERO
00000ac5: ISZERO
00000ac6: MUL
00000ac7: OR
00000ac8: SWAP1
00000ac9: SSTORE
00000aca: POP
00000acb: POP
00000acc: JUMP
00000acd: JUMPDEST
00000ace: PUSH2 0x0ad5
00000ad1: PUSH2 0x165e
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aeb: AND
00000aec: PUSH1 0x00
00000aee: DUP1
00000aef: SLOAD
00000af0: SWAP1
00000af1: PUSH2 0x0100
00000af4: EXP
00000af5: SWAP1
00000af6: DIV
00000af7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0c: AND
00000b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b22: AND
00000b23: EQ
00000b24: PUSH2 0x0b62
00000b27: JUMPI
00000b28: PUSH1 0x40
00000b2a: MLOAD
00000b2b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b4c: DUP2
00000b4d: MSTORE
00000b4e: PUSH1 0x04
00000b50: ADD
00000b51: PUSH2 0x0b59
00000b54: SWAP1
00000b55: PUSH2 0x32c4
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: PUSH1 0x40
00000b5c: MLOAD
00000b5d: DUP1
00000b5e: SWAP2
00000b5f: SUB
00000b60: SWAP1
00000b61: REVERT
00000b62: JUMPDEST
00000b63: DUP1
00000b64: PUSH1 0x15
00000b66: PUSH1 0x16
00000b68: PUSH2 0x0100
00000b6b: EXP
00000b6c: DUP2
00000b6d: SLOAD
00000b6e: DUP2
00000b6f: PUSH1 0xff
00000b71: MUL
00000b72: NOT
00000b73: AND
00000b74: SWAP1
00000b75: DUP4
00000b76: ISZERO
00000b77: ISZERO
00000b78: MUL
00000b79: OR
00000b7a: SWAP1
00000b7b: SSTORE
00000b7c: POP
00000b7d: POP
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x12
00000b82: PUSH1 0x00
00000b84: SWAP1
00000b85: SLOAD
00000b86: SWAP1
00000b87: PUSH2 0x0100
00000b8a: EXP
00000b8b: SWAP1
00000b8c: DIV
00000b8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba2: AND
00000ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb8: AND
00000bb9: PUSH2 0x0bc0
00000bbc: PUSH2 0x165e
00000bbf: JUMP
00000bc0: JUMPDEST
00000bc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd6: AND
00000bd7: EQ
00000bd8: DUP1
00000bd9: PUSH2 0x0c36
00000bdc: JUMPI
00000bdd: POP
00000bde: PUSH1 0x13
00000be0: PUSH1 0x00
00000be2: SWAP1
00000be3: SLOAD
00000be4: SWAP1
00000be5: PUSH2 0x0100
00000be8: EXP
00000be9: SWAP1
00000bea: DIV
00000beb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c00: AND
00000c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c16: AND
00000c17: PUSH2 0x0c1e
00000c1a: PUSH2 0x165e
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c34: AND
00000c35: EQ
00000c36: JUMPDEST
00000c37: PUSH2 0x0c3f
00000c3a: JUMPI
00000c3b: PUSH1 0x00
00000c3d: DUP1
00000c3e: REVERT
00000c3f: JUMPDEST
00000c40: PUSH1 0x00
00000c42: SELFBALANCE
00000c43: SWAP1
00000c44: POP
00000c45: PUSH2 0x0c4d
00000c48: DUP2
00000c49: PUSH2 0x211a
00000c4c: JUMP
00000c4d: JUMPDEST
00000c4e: POP
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH1 0x00
00000c53: PUSH2 0x0c9a
00000c56: PUSH1 0x02
00000c58: PUSH1 0x00
00000c5a: DUP5
00000c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c70: AND
00000c71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c86: AND
00000c87: DUP2
00000c88: MSTORE
00000c89: PUSH1 0x20
00000c8b: ADD
00000c8c: SWAP1
00000c8d: DUP2
00000c8e: MSTORE
00000c8f: PUSH1 0x20
00000c91: ADD
00000c92: PUSH1 0x00
00000c94: KECCAK256
00000c95: SLOAD
00000c96: PUSH2 0x2186
00000c99: JUMP
00000c9a: JUMPDEST
00000c9b: SWAP1
00000c9c: POP
00000c9d: SWAP2
00000c9e: SWAP1
00000c9f: POP
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH2 0x0ca9
00000ca5: PUSH2 0x165e
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cbf: AND
00000cc0: PUSH1 0x00
00000cc2: DUP1
00000cc3: SLOAD
00000cc4: SWAP1
00000cc5: PUSH2 0x0100
00000cc8: EXP
00000cc9: SWAP1
00000cca: DIV
00000ccb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce0: AND
00000ce1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf6: AND
00000cf7: EQ
00000cf8: PUSH2 0x0d36
00000cfb: JUMPI
00000cfc: PUSH1 0x40
00000cfe: MLOAD
00000cff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d20: DUP2
00000d21: MSTORE
00000d22: PUSH1 0x04
00000d24: ADD
00000d25: PUSH2 0x0d2d
00000d28: SWAP1
00000d29: PUSH2 0x32c4
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: PUSH1 0x40
00000d30: MLOAD
00000d31: DUP1
00000d32: SWAP2
00000d33: SUB
00000d34: SWAP1
00000d35: REVERT
00000d36: JUMPDEST
00000d37: PUSH1 0x00
00000d39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4e: AND
00000d4f: PUSH1 0x00
00000d51: DUP1
00000d52: SLOAD
00000d53: SWAP1
00000d54: PUSH2 0x0100
00000d57: EXP
00000d58: SWAP1
00000d59: DIV
00000d5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6f: AND
00000d70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d85: AND
00000d86: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000da7: PUSH1 0x40
00000da9: MLOAD
00000daa: PUSH1 0x40
00000dac: MLOAD
00000dad: DUP1
00000dae: SWAP2
00000daf: SUB
00000db0: SWAP1
00000db1: LOG3
00000db2: PUSH1 0x00
00000db4: DUP1
00000db5: PUSH1 0x00
00000db7: PUSH2 0x0100
00000dba: EXP
00000dbb: DUP2
00000dbc: SLOAD
00000dbd: DUP2
00000dbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd3: MUL
00000dd4: NOT
00000dd5: AND
00000dd6: SWAP1
00000dd7: DUP4
00000dd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ded: AND
00000dee: MUL
00000def: OR
00000df0: SWAP1
00000df1: SSTORE
00000df2: POP
00000df3: JUMP
00000df4: JUMPDEST
00000df5: PUSH2 0x0dfc
00000df8: PUSH2 0x165e
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e12: AND
00000e13: PUSH1 0x00
00000e15: DUP1
00000e16: SLOAD
00000e17: SWAP1
00000e18: PUSH2 0x0100
00000e1b: EXP
00000e1c: SWAP1
00000e1d: DIV
00000e1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e33: AND
00000e34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e49: AND
00000e4a: EQ
00000e4b: PUSH2 0x0e89
00000e4e: JUMPI
00000e4f: PUSH1 0x40
00000e51: MLOAD
00000e52: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e73: DUP2
00000e74: MSTORE
00000e75: PUSH1 0x04
00000e77: ADD
00000e78: PUSH2 0x0e80
00000e7b: SWAP1
00000e7c: PUSH2 0x32c4
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH1 0x40
00000e83: MLOAD
00000e84: DUP1
00000e85: SWAP2
00000e86: SUB
00000e87: SWAP1
00000e88: REVERT
00000e89: JUMPDEST
00000e8a: DUP1
00000e8b: PUSH1 0x16
00000e8d: DUP2
00000e8e: SWAP1
00000e8f: SSTORE
00000e90: POP
00000e91: POP
00000e92: JUMP
00000e93: JUMPDEST
00000e94: PUSH1 0x16
00000e96: SLOAD
00000e97: DUP2
00000e98: JUMP
00000e99: JUMPDEST
00000e9a: PUSH1 0x11
00000e9c: PUSH1 0x20
00000e9e: MSTORE
00000e9f: DUP1
00000ea0: PUSH1 0x00
00000ea2: MSTORE
00000ea3: PUSH1 0x40
00000ea5: PUSH1 0x00
00000ea7: KECCAK256
00000ea8: PUSH1 0x00
00000eaa: SWAP2
00000eab: POP
00000eac: SWAP1
00000ead: POP
00000eae: SLOAD
00000eaf: DUP2
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: PUSH1 0x00
00000eb4: DUP1
00000eb5: PUSH1 0x00
00000eb7: SWAP1
00000eb8: SLOAD
00000eb9: SWAP1
00000eba: PUSH2 0x0100
00000ebd: EXP
00000ebe: SWAP1
00000ebf: DIV
00000ec0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed5: AND
00000ed6: SWAP1
00000ed7: POP
00000ed8: SWAP1
00000ed9: JUMP
00000eda: JUMPDEST
00000edb: PUSH2 0x0ee2
00000ede: PUSH2 0x165e
00000ee1: JUMP
00000ee2: JUMPDEST
00000ee3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef8: AND
00000ef9: PUSH1 0x00
00000efb: DUP1
00000efc: SLOAD
00000efd: SWAP1
00000efe: PUSH2 0x0100
00000f01: EXP
00000f02: SWAP1
00000f03: DIV
00000f04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f19: AND
00000f1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2f: AND
00000f30: EQ
00000f31: PUSH2 0x0f6f
00000f34: JUMPI
00000f35: PUSH1 0x40
00000f37: MLOAD
00000f38: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f59: DUP2
00000f5a: MSTORE
00000f5b: PUSH1 0x04
00000f5d: ADD
00000f5e: PUSH2 0x0f66
00000f61: SWAP1
00000f62: PUSH2 0x32c4
00000f65: JUMP
00000f66: JUMPDEST
00000f67: PUSH1 0x40
00000f69: MLOAD
00000f6a: DUP1
00000f6b: SWAP2
00000f6c: SUB
00000f6d: SWAP1
00000f6e: REVERT
00000f6f: JUMPDEST
00000f70: DUP1
00000f71: PUSH1 0x15
00000f73: PUSH1 0x14
00000f75: PUSH2 0x0100
00000f78: EXP
00000f79: DUP2
00000f7a: SLOAD
00000f7b: DUP2
00000f7c: PUSH1 0xff
00000f7e: MUL
00000f7f: NOT
00000f80: AND
00000f81: SWAP1
00000f82: DUP4
00000f83: ISZERO
00000f84: ISZERO
00000f85: MUL
00000f86: OR
00000f87: SWAP1
00000f88: SSTORE
00000f89: POP
00000f8a: POP
00000f8b: JUMP
00000f8c: JUMPDEST
00000f8d: PUSH1 0x17
00000f8f: SLOAD
00000f90: DUP2
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH1 0x60
00000f95: PUSH1 0x40
00000f97: MLOAD
00000f98: DUP1
00000f99: PUSH1 0x40
00000f9b: ADD
00000f9c: PUSH1 0x40
00000f9e: MSTORE
00000f9f: DUP1
00000fa0: PUSH1 0x05
00000fa2: DUP2
00000fa3: MSTORE
00000fa4: PUSH1 0x20
00000fa6: ADD
00000fa7: PUSH32 0x4c4d454f57000000000000000000000000000000000000000000000000000000
00000fc8: DUP2
00000fc9: MSTORE
00000fca: POP
00000fcb: SWAP1
00000fcc: POP
00000fcd: SWAP1
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH2 0x0fd7
00000fd3: PUSH2 0x165e
00000fd6: JUMP
00000fd7: JUMPDEST
00000fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fed: AND
00000fee: PUSH1 0x00
00000ff0: DUP1
00000ff1: SLOAD
00000ff2: SWAP1
00000ff3: PUSH2 0x0100
00000ff6: EXP
00000ff7: SWAP1
00000ff8: DIV
00000ff9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100e: AND
0000100f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001024: AND
00001025: EQ
00001026: PUSH2 0x1064
00001029: JUMPI
0000102a: PUSH1 0x40
0000102c: MLOAD
0000102d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000104e: DUP2
0000104f: MSTORE
00001050: PUSH1 0x04
00001052: ADD
00001053: PUSH2 0x105b
00001056: SWAP1
00001057: PUSH2 0x32c4
0000105a: JUMP
0000105b: JUMPDEST
0000105c: PUSH1 0x40
0000105e: MLOAD
0000105f: DUP1
00001060: SWAP2
00001061: SUB
00001062: SWAP1
00001063: REVERT
00001064: JUMPDEST
00001065: DUP1
00001066: PUSH1 0x18
00001068: DUP2
00001069: SWAP1
0000106a: SSTORE
0000106b: POP
0000106c: POP
0000106d: JUMP
0000106e: JUMPDEST
0000106f: PUSH2 0x1076
00001072: PUSH2 0x165e
00001075: JUMP
00001076: JUMPDEST
00001077: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108c: AND
0000108d: PUSH1 0x00
0000108f: DUP1
00001090: SLOAD
00001091: SWAP1
00001092: PUSH2 0x0100
00001095: EXP
00001096: SWAP1
00001097: DIV
00001098: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ad: AND
000010ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c3: AND
000010c4: EQ
000010c5: PUSH2 0x1103
000010c8: JUMPI
000010c9: PUSH1 0x40
000010cb: MLOAD
000010cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010ed: DUP2
000010ee: MSTORE
000010ef: PUSH1 0x04
000010f1: ADD
000010f2: PUSH2 0x10fa
000010f5: SWAP1
000010f6: PUSH2 0x32c4
000010f9: JUMP
000010fa: JUMPDEST
000010fb: PUSH1 0x40
000010fd: MLOAD
000010fe: DUP1
000010ff: SWAP2
00001100: SUB
00001101: SWAP1
00001102: REVERT
00001103: JUMPDEST
00001104: DUP4
00001105: PUSH1 0x08
00001107: DUP2
00001108: SWAP1
00001109: SSTORE
0000110a: POP
0000110b: DUP3
0000110c: PUSH1 0x0a
0000110e: DUP2
0000110f: SWAP1
00001110: SSTORE
00001111: POP
00001112: DUP2
00001113: PUSH1 0x09
00001115: DUP2
00001116: SWAP1
00001117: SSTORE
00001118: POP
00001119: DUP1
0000111a: PUSH1 0x0b
0000111c: DUP2
0000111d: SWAP1
0000111e: SSTORE
0000111f: POP
00001120: POP
00001121: POP
00001122: POP
00001123: POP
00001124: JUMP
00001125: JUMPDEST
00001126: PUSH1 0x00
00001128: PUSH2 0x1139
0000112b: PUSH2 0x1132
0000112e: PUSH2 0x165e
00001131: JUMP
00001132: JUMPDEST
00001133: DUP5
00001134: DUP5
00001135: PUSH2 0x1831
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH1 0x01
0000113c: SWAP1
0000113d: POP
0000113e: SWAP3
0000113f: SWAP2
00001140: POP
00001141: POP
00001142: JUMP
00001143: JUMPDEST
00001144: PUSH1 0x10
00001146: PUSH1 0x20
00001148: MSTORE
00001149: DUP1
0000114a: PUSH1 0x00
0000114c: MSTORE
0000114d: PUSH1 0x40
0000114f: PUSH1 0x00
00001151: KECCAK256
00001152: PUSH1 0x00
00001154: SWAP2
00001155: POP
00001156: SLOAD
00001157: SWAP1
00001158: PUSH2 0x0100
0000115b: EXP
0000115c: SWAP1
0000115d: DIV
0000115e: PUSH1 0xff
00001160: AND
00001161: DUP2
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0x12
00001166: PUSH1 0x00
00001168: SWAP1
00001169: SLOAD
0000116a: SWAP1
0000116b: PUSH2 0x0100
0000116e: EXP
0000116f: SWAP1
00001170: DIV
00001171: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001186: AND
00001187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119c: AND
0000119d: PUSH2 0x11a4
000011a0: PUSH2 0x165e
000011a3: JUMP
000011a4: JUMPDEST
000011a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ba: AND
000011bb: EQ
000011bc: DUP1
000011bd: PUSH2 0x121a
000011c0: JUMPI
000011c1: POP
000011c2: PUSH1 0x13
000011c4: PUSH1 0x00
000011c6: SWAP1
000011c7: SLOAD
000011c8: SWAP1
000011c9: PUSH2 0x0100
000011cc: EXP
000011cd: SWAP1
000011ce: DIV
000011cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e4: AND
000011e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fa: AND
000011fb: PUSH2 0x1202
000011fe: PUSH2 0x165e
00001201: JUMP
00001202: JUMPDEST
00001203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001218: AND
00001219: EQ
0000121a: JUMPDEST
0000121b: PUSH2 0x1223
0000121e: JUMPI
0000121f: PUSH1 0x00
00001221: DUP1
00001222: REVERT
00001223: JUMPDEST
00001224: PUSH1 0x00
00001226: PUSH2 0x122e
00001229: ADDRESS
0000122a: PUSH2 0x0c50
0000122d: JUMP
0000122e: JUMPDEST
0000122f: SWAP1
00001230: POP
00001231: PUSH2 0x1239
00001234: DUP2
00001235: PUSH2 0x21f4
00001238: JUMP
00001239: JUMPDEST
0000123a: POP
0000123b: JUMP
0000123c: JUMPDEST
0000123d: PUSH2 0x1244
00001240: PUSH2 0x165e
00001243: JUMP
00001244: JUMPDEST
00001245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125a: AND
0000125b: PUSH1 0x00
0000125d: DUP1
0000125e: SLOAD
0000125f: SWAP1
00001260: PUSH2 0x0100
00001263: EXP
00001264: SWAP1
00001265: DIV
00001266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127b: AND
0000127c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001291: AND
00001292: EQ
00001293: PUSH2 0x12d1
00001296: JUMPI
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012bb: DUP2
000012bc: MSTORE
000012bd: PUSH1 0x04
000012bf: ADD
000012c0: PUSH2 0x12c8
000012c3: SWAP1
000012c4: PUSH2 0x32c4
000012c7: JUMP
000012c8: JUMPDEST
000012c9: PUSH1 0x40
000012cb: MLOAD
000012cc: DUP1
000012cd: SWAP2
000012ce: SUB
000012cf: SWAP1
000012d0: REVERT
000012d1: JUMPDEST
000012d2: PUSH1 0x00
000012d4: JUMPDEST
000012d5: DUP4
000012d6: DUP4
000012d7: SWAP1
000012d8: POP
000012d9: DUP2
000012da: LT
000012db: ISZERO
000012dc: PUSH2 0x1370
000012df: JUMPI
000012e0: DUP2
000012e1: PUSH1 0x05
000012e3: PUSH1 0x00
000012e5: DUP7
000012e6: DUP7
000012e7: DUP6
000012e8: DUP2
000012e9: DUP2
000012ea: LT
000012eb: PUSH2 0x12f7
000012ee: JUMPI
000012ef: PUSH2 0x12f6
000012f2: PUSH2 0x32e4
000012f5: JUMP
000012f6: JUMPDEST
000012f7: JUMPDEST
000012f8: SWAP1
000012f9: POP
000012fa: PUSH1 0x20
000012fc: MUL
000012fd: ADD
000012fe: PUSH1 0x20
00001300: DUP2
00001301: ADD
00001302: SWAP1
00001303: PUSH2 0x130c
00001306: SWAP2
00001307: SWAP1
00001308: PUSH2 0x3063
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001322: AND
00001323: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001338: AND
00001339: DUP2
0000133a: MSTORE
0000133b: PUSH1 0x20
0000133d: ADD
0000133e: SWAP1
0000133f: DUP2
00001340: MSTORE
00001341: PUSH1 0x20
00001343: ADD
00001344: PUSH1 0x00
00001346: KECCAK256
00001347: PUSH1 0x00
00001349: PUSH2 0x0100
0000134c: EXP
0000134d: DUP2
0000134e: SLOAD
0000134f: DUP2
00001350: PUSH1 0xff
00001352: MUL
00001353: NOT
00001354: AND
00001355: SWAP1
00001356: DUP4
00001357: ISZERO
00001358: ISZERO
00001359: MUL
0000135a: OR
0000135b: SWAP1
0000135c: SSTORE
0000135d: POP
0000135e: DUP1
0000135f: DUP1
00001360: PUSH2 0x1368
00001363: SWAP1
00001364: PUSH2 0x3342
00001367: JUMP
00001368: JUMPDEST
00001369: SWAP2
0000136a: POP
0000136b: POP
0000136c: PUSH2 0x12d4
0000136f: JUMP
00001370: JUMPDEST
00001371: POP
00001372: POP
00001373: POP
00001374: POP
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x00
00001379: PUSH1 0x04
0000137b: PUSH1 0x00
0000137d: DUP5
0000137e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001393: AND
00001394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a9: AND
000013aa: DUP2
000013ab: MSTORE
000013ac: PUSH1 0x20
000013ae: ADD
000013af: SWAP1
000013b0: DUP2
000013b1: MSTORE
000013b2: PUSH1 0x20
000013b4: ADD
000013b5: PUSH1 0x00
000013b7: KECCAK256
000013b8: PUSH1 0x00
000013ba: DUP4
000013bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d0: AND
000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e6: AND
000013e7: DUP2
000013e8: MSTORE
000013e9: PUSH1 0x20
000013eb: ADD
000013ec: SWAP1
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH1 0x20
000013f1: ADD
000013f2: PUSH1 0x00
000013f4: KECCAK256
000013f5: SLOAD
000013f6: SWAP1
000013f7: POP
000013f8: SWAP3
000013f9: SWAP2
000013fa: POP
000013fb: POP
000013fc: JUMP
000013fd: JUMPDEST
000013fe: PUSH2 0x1405
00001401: PUSH2 0x165e
00001404: JUMP
00001405: JUMPDEST
00001406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141b: AND
0000141c: PUSH1 0x00
0000141e: DUP1
0000141f: SLOAD
00001420: SWAP1
00001421: PUSH2 0x0100
00001424: EXP
00001425: SWAP1
00001426: DIV
00001427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143c: AND
0000143d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001452: AND
00001453: EQ
00001454: PUSH2 0x1492
00001457: JUMPI
00001458: PUSH1 0x40
0000145a: MLOAD
0000145b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000147c: DUP2
0000147d: MSTORE
0000147e: PUSH1 0x04
00001480: ADD
00001481: PUSH2 0x1489
00001484: SWAP1
00001485: PUSH2 0x32c4
00001488: JUMP
00001489: JUMPDEST
0000148a: PUSH1 0x40
0000148c: MLOAD
0000148d: DUP1
0000148e: SWAP2
0000148f: SUB
00001490: SWAP1
00001491: REVERT
00001492: JUMPDEST
00001493: DUP1
00001494: PUSH1 0x17
00001496: DUP2
00001497: SWAP1
00001498: SSTORE
00001499: POP
0000149a: POP
0000149b: JUMP
0000149c: JUMPDEST
0000149d: PUSH2 0x14a4
000014a0: PUSH2 0x165e
000014a3: JUMP
000014a4: JUMPDEST
000014a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ba: AND
000014bb: PUSH1 0x00
000014bd: DUP1
000014be: SLOAD
000014bf: SWAP1
000014c0: PUSH2 0x0100
000014c3: EXP
000014c4: SWAP1
000014c5: DIV
000014c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014db: AND
000014dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f1: AND
000014f2: EQ
000014f3: PUSH2 0x1531
000014f6: JUMPI
000014f7: PUSH1 0x40
000014f9: MLOAD
000014fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x04
0000151f: ADD
00001520: PUSH2 0x1528
00001523: SWAP1
00001524: PUSH2 0x32c4
00001527: JUMP
00001528: JUMPDEST
00001529: PUSH1 0x40
0000152b: MLOAD
0000152c: DUP1
0000152d: SWAP2
0000152e: SUB
0000152f: SWAP1
00001530: REVERT
00001531: JUMPDEST
00001532: PUSH1 0x00
00001534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001549: AND
0000154a: DUP2
0000154b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001560: AND
00001561: EQ
00001562: ISZERO
00001563: PUSH2 0x15a1
00001566: JUMPI
00001567: PUSH1 0x40
00001569: MLOAD
0000156a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000158b: DUP2
0000158c: MSTORE
0000158d: PUSH1 0x04
0000158f: ADD
00001590: PUSH2 0x1598
00001593: SWAP1
00001594: PUSH2 0x33fd
00001597: JUMP
00001598: JUMPDEST
00001599: PUSH1 0x40
0000159b: MLOAD
0000159c: DUP1
0000159d: SWAP2
0000159e: SUB
0000159f: SWAP1
000015a0: REVERT
000015a1: JUMPDEST
000015a2: DUP1
000015a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b8: AND
000015b9: PUSH1 0x00
000015bb: DUP1
000015bc: SLOAD
000015bd: SWAP1
000015be: PUSH2 0x0100
000015c1: EXP
000015c2: SWAP1
000015c3: DIV
000015c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d9: AND
000015da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ef: AND
000015f0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001611: PUSH1 0x40
00001613: MLOAD
00001614: PUSH1 0x40
00001616: MLOAD
00001617: DUP1
00001618: SWAP2
00001619: SUB
0000161a: SWAP1
0000161b: LOG3
0000161c: DUP1
0000161d: PUSH1 0x00
0000161f: DUP1
00001620: PUSH2 0x0100
00001623: EXP
00001624: DUP2
00001625: SLOAD
00001626: DUP2
00001627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000163c: MUL
0000163d: NOT
0000163e: AND
0000163f: SWAP1
00001640: DUP4
00001641: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001656: AND
00001657: MUL
00001658: OR
00001659: SWAP1
0000165a: SSTORE
0000165b: POP
0000165c: POP
0000165d: JUMP
0000165e: JUMPDEST
0000165f: PUSH1 0x00
00001661: CALLER
00001662: SWAP1
00001663: POP
00001664: SWAP1
00001665: JUMP
00001666: JUMPDEST
00001667: PUSH1 0x00
00001669: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000167e: AND
0000167f: DUP4
00001680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001695: AND
00001696: EQ
00001697: ISZERO
00001698: PUSH2 0x16d6
0000169b: JUMPI
0000169c: PUSH1 0x40
0000169e: MLOAD
0000169f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016c0: DUP2
000016c1: MSTORE
000016c2: PUSH1 0x04
000016c4: ADD
000016c5: PUSH2 0x16cd
000016c8: SWAP1
000016c9: PUSH2 0x348f
000016cc: JUMP
000016cd: JUMPDEST
000016ce: PUSH1 0x40
000016d0: MLOAD
000016d1: DUP1
000016d2: SWAP2
000016d3: SUB
000016d4: SWAP1
000016d5: REVERT
000016d6: JUMPDEST
000016d7: PUSH1 0x00
000016d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ee: AND
000016ef: DUP3
000016f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001705: AND
00001706: EQ
00001707: ISZERO
00001708: PUSH2 0x1746
0000170b: JUMPI
0000170c: PUSH1 0x40
0000170e: MLOAD
0000170f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001730: DUP2
00001731: MSTORE
00001732: PUSH1 0x04
00001734: ADD
00001735: PUSH2 0x173d
00001738: SWAP1
00001739: PUSH2 0x3521
0000173c: JUMP
0000173d: JUMPDEST
0000173e: PUSH1 0x40
00001740: MLOAD
00001741: DUP1
00001742: SWAP2
00001743: SUB
00001744: SWAP1
00001745: REVERT
00001746: JUMPDEST
00001747: DUP1
00001748: PUSH1 0x04
0000174a: PUSH1 0x00
0000174c: DUP6
0000174d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001762: AND
00001763: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001778: AND
00001779: DUP2
0000177a: MSTORE
0000177b: PUSH1 0x20
0000177d: ADD
0000177e: SWAP1
0000177f: DUP2
00001780: MSTORE
00001781: PUSH1 0x20
00001783: ADD
00001784: PUSH1 0x00
00001786: KECCAK256
00001787: PUSH1 0x00
00001789: DUP5
0000178a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000179f: AND
000017a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b5: AND
000017b6: DUP2
000017b7: MSTORE
000017b8: PUSH1 0x20
000017ba: ADD
000017bb: SWAP1
000017bc: DUP2
000017bd: MSTORE
000017be: PUSH1 0x20
000017c0: ADD
000017c1: PUSH1 0x00
000017c3: KECCAK256
000017c4: DUP2
000017c5: SWAP1
000017c6: SSTORE
000017c7: POP
000017c8: DUP2
000017c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017de: AND
000017df: DUP4
000017e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f5: AND
000017f6: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001817: DUP4
00001818: PUSH1 0x40
0000181a: MLOAD
0000181b: PUSH2 0x1824
0000181e: SWAP2
0000181f: SWAP1
00001820: PUSH2 0x2f94
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0x40
00001827: MLOAD
00001828: DUP1
00001829: SWAP2
0000182a: SUB
0000182b: SWAP1
0000182c: LOG3
0000182d: POP
0000182e: POP
0000182f: POP
00001830: JUMP
00001831: JUMPDEST
00001832: PUSH1 0x00
00001834: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001849: AND
0000184a: DUP4
0000184b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001860: AND
00001861: EQ
00001862: ISZERO
00001863: PUSH2 0x18a1
00001866: JUMPI
00001867: PUSH1 0x40
00001869: MLOAD
0000186a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000188b: DUP2
0000188c: MSTORE
0000188d: PUSH1 0x04
0000188f: ADD
00001890: PUSH2 0x1898
00001893: SWAP1
00001894: PUSH2 0x35b3
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH1 0x40
0000189b: MLOAD
0000189c: DUP1
0000189d: SWAP2
0000189e: SUB
0000189f: SWAP1
000018a0: REVERT
000018a1: JUMPDEST
000018a2: PUSH1 0x00
000018a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b9: AND
000018ba: DUP3
000018bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d0: AND
000018d1: EQ
000018d2: ISZERO
000018d3: PUSH2 0x1911
000018d6: JUMPI
000018d7: PUSH1 0x40
000018d9: MLOAD
000018da: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018fb: DUP2
000018fc: MSTORE
000018fd: PUSH1 0x04
000018ff: ADD
00001900: PUSH2 0x1908
00001903: SWAP1
00001904: PUSH2 0x3645
00001907: JUMP
00001908: JUMPDEST
00001909: PUSH1 0x40
0000190b: MLOAD
0000190c: DUP1
0000190d: SWAP2
0000190e: SUB
0000190f: SWAP1
00001910: REVERT
00001911: JUMPDEST
00001912: PUSH1 0x00
00001914: DUP2
00001915: GT
00001916: PUSH2 0x1954
00001919: JUMPI
0000191a: PUSH1 0x40
0000191c: MLOAD
0000191d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000193e: DUP2
0000193f: MSTORE
00001940: PUSH1 0x04
00001942: ADD
00001943: PUSH2 0x194b
00001946: SWAP1
00001947: PUSH2 0x36d7
0000194a: JUMP
0000194b: JUMPDEST
0000194c: PUSH1 0x40
0000194e: MLOAD
0000194f: DUP1
00001950: SWAP2
00001951: SUB
00001952: SWAP1
00001953: REVERT
00001954: JUMPDEST
00001955: PUSH2 0x195c
00001958: PUSH2 0x0eb1
0000195b: JUMP
0000195c: JUMPDEST
0000195d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001972: AND
00001973: DUP4
00001974: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001989: AND
0000198a: EQ
0000198b: ISZERO
0000198c: DUP1
0000198d: ISZERO
0000198e: PUSH2 0x19ca
00001991: JUMPI
00001992: POP
00001993: PUSH2 0x199a
00001996: PUSH2 0x0eb1
00001999: JUMP
0000199a: JUMPDEST
0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b0: AND
000019b1: DUP3
000019b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c7: AND
000019c8: EQ
000019c9: ISZERO
000019ca: JUMPDEST
000019cb: ISZERO
000019cc: PUSH2 0x1db5
000019cf: JUMPI
000019d0: PUSH1 0x15
000019d2: PUSH1 0x14
000019d4: SWAP1
000019d5: SLOAD
000019d6: SWAP1
000019d7: PUSH2 0x0100
000019da: EXP
000019db: SWAP1
000019dc: DIV
000019dd: PUSH1 0xff
000019df: AND
000019e0: PUSH2 0x1a59
000019e3: JUMPI
000019e4: PUSH2 0x19eb
000019e7: PUSH2 0x0eb1
000019ea: JUMP
000019eb: JUMPDEST
000019ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a01: AND
00001a02: DUP4
00001a03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a18: AND
00001a19: EQ
00001a1a: PUSH2 0x1a58
00001a1d: JUMPI
00001a1e: PUSH1 0x40
00001a20: MLOAD
00001a21: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a42: DUP2
00001a43: MSTORE
00001a44: PUSH1 0x04
00001a46: ADD
00001a47: PUSH2 0x1a4f
00001a4a: SWAP1
00001a4b: PUSH2 0x3769
00001a4e: JUMP
00001a4f: JUMPDEST
00001a50: PUSH1 0x40
00001a52: MLOAD
00001a53: DUP1
00001a54: SWAP2
00001a55: SUB
00001a56: SWAP1
00001a57: REVERT
00001a58: JUMPDEST
00001a59: JUMPDEST
00001a5a: PUSH1 0x16
00001a5c: SLOAD
00001a5d: DUP2
00001a5e: GT
00001a5f: ISZERO
00001a60: PUSH2 0x1a9e
00001a63: JUMPI
00001a64: PUSH1 0x40
00001a66: MLOAD
00001a67: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a88: DUP2
00001a89: MSTORE
00001a8a: PUSH1 0x04
00001a8c: ADD
00001a8d: PUSH2 0x1a95
00001a90: SWAP1
00001a91: PUSH2 0x37d5
00001a94: JUMP
00001a95: JUMPDEST
00001a96: PUSH1 0x40
00001a98: MLOAD
00001a99: DUP1
00001a9a: SWAP2
00001a9b: SUB
00001a9c: SWAP1
00001a9d: REVERT
00001a9e: JUMPDEST
00001a9f: PUSH1 0x10
00001aa1: PUSH1 0x00
00001aa3: DUP5
00001aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab9: AND
00001aba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001acf: AND
00001ad0: DUP2
00001ad1: MSTORE
00001ad2: PUSH1 0x20
00001ad4: ADD
00001ad5: SWAP1
00001ad6: DUP2
00001ad7: MSTORE
00001ad8: PUSH1 0x20
00001ada: ADD
00001adb: PUSH1 0x00
00001add: KECCAK256
00001ade: PUSH1 0x00
00001ae0: SWAP1
00001ae1: SLOAD
00001ae2: SWAP1
00001ae3: PUSH2 0x0100
00001ae6: EXP
00001ae7: SWAP1
00001ae8: DIV
00001ae9: PUSH1 0xff
00001aeb: AND
00001aec: ISZERO
00001aed: DUP1
00001aee: ISZERO
00001aef: PUSH2 0x1b42
00001af2: JUMPI
00001af3: POP
00001af4: PUSH1 0x10
00001af6: PUSH1 0x00
00001af8: DUP4
00001af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0e: AND
00001b0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b24: AND
00001b25: DUP2
00001b26: MSTORE
00001b27: PUSH1 0x20
00001b29: ADD
00001b2a: SWAP1
00001b2b: DUP2
00001b2c: MSTORE
00001b2d: PUSH1 0x20
00001b2f: ADD
00001b30: PUSH1 0x00
00001b32: KECCAK256
00001b33: PUSH1 0x00
00001b35: SWAP1
00001b36: SLOAD
00001b37: SWAP1
00001b38: PUSH2 0x0100
00001b3b: EXP
00001b3c: SWAP1
00001b3d: DIV
00001b3e: PUSH1 0xff
00001b40: AND
00001b41: ISZERO
00001b42: JUMPDEST
00001b43: PUSH2 0x1b81
00001b46: JUMPI
00001b47: PUSH1 0x40
00001b49: MLOAD
00001b4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b6b: DUP2
00001b6c: MSTORE
00001b6d: PUSH1 0x04
00001b6f: ADD
00001b70: PUSH2 0x1b78
00001b73: SWAP1
00001b74: PUSH2 0x3867
00001b77: JUMP
00001b78: JUMPDEST
00001b79: PUSH1 0x40
00001b7b: MLOAD
00001b7c: DUP1
00001b7d: SWAP2
00001b7e: SUB
00001b7f: SWAP1
00001b80: REVERT
00001b81: JUMPDEST
00001b82: PUSH1 0x15
00001b84: PUSH1 0x00
00001b86: SWAP1
00001b87: SLOAD
00001b88: SWAP1
00001b89: PUSH2 0x0100
00001b8c: EXP
00001b8d: SWAP1
00001b8e: DIV
00001b8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba4: AND
00001ba5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bba: AND
00001bbb: DUP3
00001bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd1: AND
00001bd2: EQ
00001bd3: PUSH2 0x1c2e
00001bd6: JUMPI
00001bd7: PUSH1 0x17
00001bd9: SLOAD
00001bda: DUP2
00001bdb: PUSH2 0x1be3
00001bde: DUP5
00001bdf: PUSH2 0x0c50
00001be2: JUMP
00001be3: JUMPDEST
00001be4: PUSH2 0x1bed
00001be7: SWAP2
00001be8: SWAP1
00001be9: PUSH2 0x3887
00001bec: JUMP
00001bed: JUMPDEST
00001bee: LT
00001bef: PUSH2 0x1c2d
00001bf2: JUMPI
00001bf3: PUSH1 0x40
00001bf5: MLOAD
00001bf6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c17: DUP2
00001c18: MSTORE
00001c19: PUSH1 0x04
00001c1b: ADD
00001c1c: PUSH2 0x1c24
00001c1f: SWAP1
00001c20: PUSH2 0x394f
00001c23: JUMP
00001c24: JUMPDEST
00001c25: PUSH1 0x40
00001c27: MLOAD
00001c28: DUP1
00001c29: SWAP2
00001c2a: SUB
00001c2b: SWAP1
00001c2c: REVERT
00001c2d: JUMPDEST
00001c2e: JUMPDEST
00001c2f: PUSH1 0x00
00001c31: PUSH2 0x1c39
00001c34: ADDRESS
00001c35: PUSH2 0x0c50
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: SWAP1
00001c3b: POP
00001c3c: PUSH1 0x00
00001c3e: PUSH1 0x18
00001c40: SLOAD
00001c41: DUP3
00001c42: LT
00001c43: ISZERO
00001c44: SWAP1
00001c45: POP
00001c46: PUSH1 0x16
00001c48: SLOAD
00001c49: DUP3
00001c4a: LT
00001c4b: PUSH2 0x1c54
00001c4e: JUMPI
00001c4f: PUSH1 0x16
00001c51: SLOAD
00001c52: SWAP2
00001c53: POP
00001c54: JUMPDEST
00001c55: DUP1
00001c56: DUP1
00001c57: ISZERO
00001c58: PUSH2 0x1c6c
00001c5b: JUMPI
00001c5c: POP
00001c5d: PUSH1 0x15
00001c5f: DUP1
00001c60: SLOAD
00001c61: SWAP1
00001c62: PUSH2 0x0100
00001c65: EXP
00001c66: SWAP1
00001c67: DIV
00001c68: PUSH1 0xff
00001c6a: AND
00001c6b: ISZERO
00001c6c: JUMPDEST
00001c6d: DUP1
00001c6e: ISZERO
00001c6f: PUSH2 0x1cc6
00001c72: JUMPI
00001c73: POP
00001c74: PUSH1 0x15
00001c76: PUSH1 0x00
00001c78: SWAP1
00001c79: SLOAD
00001c7a: SWAP1
00001c7b: PUSH2 0x0100
00001c7e: EXP
00001c7f: SWAP1
00001c80: DIV
00001c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c96: AND
00001c97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cac: AND
00001cad: DUP6
00001cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc3: AND
00001cc4: EQ
00001cc5: ISZERO
00001cc6: JUMPDEST
00001cc7: DUP1
00001cc8: ISZERO
00001cc9: PUSH2 0x1cde
00001ccc: JUMPI
00001ccd: POP
00001cce: PUSH1 0x15
00001cd0: PUSH1 0x16
00001cd2: SWAP1
00001cd3: SLOAD
00001cd4: SWAP1
00001cd5: PUSH2 0x0100
00001cd8: EXP
00001cd9: SWAP1
00001cda: DIV
00001cdb: PUSH1 0xff
00001cdd: AND
00001cde: JUMPDEST
00001cdf: DUP1
00001ce0: ISZERO
00001ce1: PUSH2 0x1d34
00001ce4: JUMPI
00001ce5: POP
00001ce6: PUSH1 0x05
00001ce8: PUSH1 0x00
00001cea: DUP7
00001ceb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d00: AND
00001d01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d16: AND
00001d17: DUP2
00001d18: MSTORE
00001d19: PUSH1 0x20
00001d1b: ADD
00001d1c: SWAP1
00001d1d: DUP2
00001d1e: MSTORE
00001d1f: PUSH1 0x20
00001d21: ADD
00001d22: PUSH1 0x00
00001d24: KECCAK256
00001d25: PUSH1 0x00
00001d27: SWAP1
00001d28: SLOAD
00001d29: SWAP1
00001d2a: PUSH2 0x0100
00001d2d: EXP
00001d2e: SWAP1
00001d2f: DIV
00001d30: PUSH1 0xff
00001d32: AND
00001d33: ISZERO
00001d34: JUMPDEST
00001d35: DUP1
00001d36: ISZERO
00001d37: PUSH2 0x1d8a
00001d3a: JUMPI
00001d3b: POP
00001d3c: PUSH1 0x05
00001d3e: PUSH1 0x00
00001d40: DUP6
00001d41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d56: AND
00001d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6c: AND
00001d6d: DUP2
00001d6e: MSTORE
00001d6f: PUSH1 0x20
00001d71: ADD
00001d72: SWAP1
00001d73: DUP2
00001d74: MSTORE
00001d75: PUSH1 0x20
00001d77: ADD
00001d78: PUSH1 0x00
00001d7a: KECCAK256
00001d7b: PUSH1 0x00
00001d7d: SWAP1
00001d7e: SLOAD
00001d7f: SWAP1
00001d80: PUSH2 0x0100
00001d83: EXP
00001d84: SWAP1
00001d85: DIV
00001d86: PUSH1 0xff
00001d88: AND
00001d89: ISZERO
00001d8a: JUMPDEST
00001d8b: ISZERO
00001d8c: PUSH2 0x1db2
00001d8f: JUMPI
00001d90: PUSH2 0x1d98
00001d93: DUP3
00001d94: PUSH2 0x21f4
00001d97: JUMP
00001d98: JUMPDEST
00001d99: PUSH1 0x00
00001d9b: SELFBALANCE
00001d9c: SWAP1
00001d9d: POP
00001d9e: PUSH1 0x00
00001da0: DUP2
00001da1: GT
00001da2: ISZERO
00001da3: PUSH2 0x1db0
00001da6: JUMPI
00001da7: PUSH2 0x1daf
00001daa: SELFBALANCE
00001dab: PUSH2 0x211a
00001dae: JUMP
00001daf: JUMPDEST
00001db0: JUMPDEST
00001db1: POP
00001db2: JUMPDEST
00001db3: POP
00001db4: POP
00001db5: JUMPDEST
00001db6: PUSH1 0x00
00001db8: PUSH1 0x01
00001dba: SWAP1
00001dbb: POP
00001dbc: PUSH1 0x05
00001dbe: PUSH1 0x00
00001dc0: DUP6
00001dc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd6: AND
00001dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dec: AND
00001ded: DUP2
00001dee: MSTORE
00001def: PUSH1 0x20
00001df1: ADD
00001df2: SWAP1
00001df3: DUP2
00001df4: MSTORE
00001df5: PUSH1 0x20
00001df7: ADD
00001df8: PUSH1 0x00
00001dfa: KECCAK256
00001dfb: PUSH1 0x00
00001dfd: SWAP1
00001dfe: SLOAD
00001dff: SWAP1
00001e00: PUSH2 0x0100
00001e03: EXP
00001e04: SWAP1
00001e05: DIV
00001e06: PUSH1 0xff
00001e08: AND
00001e09: DUP1
00001e0a: PUSH2 0x1e5c
00001e0d: JUMPI
00001e0e: POP
00001e0f: PUSH1 0x05
00001e11: PUSH1 0x00
00001e13: DUP5
00001e14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e29: AND
00001e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e3f: AND
00001e40: DUP2
00001e41: MSTORE
00001e42: PUSH1 0x20
00001e44: ADD
00001e45: SWAP1
00001e46: DUP2
00001e47: MSTORE
00001e48: PUSH1 0x20
00001e4a: ADD
00001e4b: PUSH1 0x00
00001e4d: KECCAK256
00001e4e: PUSH1 0x00
00001e50: SWAP1
00001e51: SLOAD
00001e52: SWAP1
00001e53: PUSH2 0x0100
00001e56: EXP
00001e57: SWAP1
00001e58: DIV
00001e59: PUSH1 0xff
00001e5b: AND
00001e5c: JUMPDEST
00001e5d: DUP1
00001e5e: PUSH2 0x1f0f
00001e61: JUMPI
00001e62: POP
00001e63: PUSH1 0x15
00001e65: PUSH1 0x00
00001e67: SWAP1
00001e68: SLOAD
00001e69: SWAP1
00001e6a: PUSH2 0x0100
00001e6d: EXP
00001e6e: SWAP1
00001e6f: DIV
00001e70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e85: AND
00001e86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9b: AND
00001e9c: DUP5
00001e9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb2: AND
00001eb3: EQ
00001eb4: ISZERO
00001eb5: DUP1
00001eb6: ISZERO
00001eb7: PUSH2 0x1f0e
00001eba: JUMPI
00001ebb: POP
00001ebc: PUSH1 0x15
00001ebe: PUSH1 0x00
00001ec0: SWAP1
00001ec1: SLOAD
00001ec2: SWAP1
00001ec3: PUSH2 0x0100
00001ec6: EXP
00001ec7: SWAP1
00001ec8: DIV
00001ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ede: AND
00001edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef4: AND
00001ef5: DUP4
00001ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0b: AND
00001f0c: EQ
00001f0d: ISZERO
00001f0e: JUMPDEST
00001f0f: JUMPDEST
00001f10: ISZERO
00001f11: PUSH2 0x1f1d
00001f14: JUMPI
00001f15: PUSH1 0x00
00001f17: SWAP1
00001f18: POP
00001f19: PUSH2 0x20a4
00001f1c: JUMP
00001f1d: JUMPDEST
00001f1e: PUSH1 0x15
00001f20: PUSH1 0x00
00001f22: SWAP1
00001f23: SLOAD
00001f24: SWAP1
00001f25: PUSH2 0x0100
00001f28: EXP
00001f29: SWAP1
00001f2a: DIV
00001f2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f40: AND
00001f41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f56: AND
00001f57: DUP5
00001f58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6d: AND
00001f6e: EQ
00001f6f: DUP1
00001f70: ISZERO
00001f71: PUSH2 0x1fc8
00001f74: JUMPI
00001f75: POP
00001f76: PUSH1 0x14
00001f78: PUSH1 0x00
00001f7a: SWAP1
00001f7b: SLOAD
00001f7c: SWAP1
00001f7d: PUSH2 0x0100
00001f80: EXP
00001f81: SWAP1
00001f82: DIV
00001f83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f98: AND
00001f99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fae: AND
00001faf: DUP4
00001fb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc5: AND
00001fc6: EQ
00001fc7: ISZERO
00001fc8: JUMPDEST
00001fc9: ISZERO
00001fca: PUSH2 0x1fe0
00001fcd: JUMPI
00001fce: PUSH1 0x08
00001fd0: SLOAD
00001fd1: PUSH1 0x0c
00001fd3: DUP2
00001fd4: SWAP1
00001fd5: SSTORE
00001fd6: POP
00001fd7: PUSH1 0x09
00001fd9: SLOAD
00001fda: PUSH1 0x0d
00001fdc: DUP2
00001fdd: SWAP1
00001fde: SSTORE
00001fdf: POP
00001fe0: JUMPDEST
00001fe1: PUSH1 0x15
00001fe3: PUSH1 0x00
00001fe5: SWAP1
00001fe6: SLOAD
00001fe7: SWAP1
00001fe8: PUSH2 0x0100
00001feb: EXP
00001fec: SWAP1
00001fed: DIV
00001fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002003: AND
00002004: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002019: AND
0000201a: DUP4
0000201b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002030: AND
00002031: EQ
00002032: DUP1
00002033: ISZERO
00002034: PUSH2 0x208b
00002037: JUMPI
00002038: POP
00002039: PUSH1 0x14
0000203b: PUSH1 0x00
0000203d: SWAP1
0000203e: SLOAD
0000203f: SWAP1
00002040: PUSH2 0x0100
00002043: EXP
00002044: SWAP1
00002045: DIV
00002046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205b: AND
0000205c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002071: AND
00002072: DUP5
00002073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002088: AND
00002089: EQ
0000208a: ISZERO
0000208b: JUMPDEST
0000208c: ISZERO
0000208d: PUSH2 0x20a3
00002090: JUMPI
00002091: PUSH1 0x0a
00002093: SLOAD
00002094: PUSH1 0x0c
00002096: DUP2
00002097: SWAP1
00002098: SSTORE
00002099: POP
0000209a: PUSH1 0x0b
0000209c: SLOAD
0000209d: PUSH1 0x0d
0000209f: DUP2
000020a0: SWAP1
000020a1: SSTORE
000020a2: POP
000020a3: JUMPDEST
000020a4: JUMPDEST
000020a5: PUSH2 0x20b0
000020a8: DUP5
000020a9: DUP5
000020aa: DUP5
000020ab: DUP5
000020ac: PUSH2 0x247a
000020af: JUMP
000020b0: JUMPDEST
000020b1: POP
000020b2: POP
000020b3: POP
000020b4: POP
000020b5: JUMP
000020b6: JUMPDEST
000020b7: PUSH1 0x00
000020b9: DUP4
000020ba: DUP4
000020bb: GT
000020bc: ISZERO
000020bd: DUP3
000020be: SWAP1
000020bf: PUSH2 0x20fe
000020c2: JUMPI
000020c3: PUSH1 0x40
000020c5: MLOAD
000020c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020e7: DUP2
000020e8: MSTORE
000020e9: PUSH1 0x04
000020eb: ADD
000020ec: PUSH2 0x20f5
000020ef: SWAP2
000020f0: SWAP1
000020f1: PUSH2 0x2e3d
000020f4: JUMP
000020f5: JUMPDEST
000020f6: PUSH1 0x40
000020f8: MLOAD
000020f9: DUP1
000020fa: SWAP2
000020fb: SUB
000020fc: SWAP1
000020fd: REVERT
000020fe: JUMPDEST
000020ff: POP
00002100: PUSH1 0x00
00002102: DUP4
00002103: DUP6
00002104: PUSH2 0x210d
00002107: SWAP2
00002108: SWAP1
00002109: PUSH2 0x396f
0000210c: JUMP
0000210d: JUMPDEST
0000210e: SWAP1
0000210f: POP
00002110: DUP1
00002111: SWAP2
00002112: POP
00002113: POP
00002114: SWAP4
00002115: SWAP3
00002116: POP
00002117: POP
00002118: POP
00002119: JUMP
0000211a: JUMPDEST
0000211b: PUSH1 0x13
0000211d: PUSH1 0x00
0000211f: SWAP1
00002120: SLOAD
00002121: SWAP1
00002122: PUSH2 0x0100
00002125: EXP
00002126: SWAP1
00002127: DIV
00002128: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000213d: AND
0000213e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002153: AND
00002154: PUSH2 0x08fc
00002157: DUP3
00002158: SWAP1
00002159: DUP2
0000215a: ISZERO
0000215b: MUL
0000215c: SWAP1
0000215d: PUSH1 0x40
0000215f: MLOAD
00002160: PUSH1 0x00
00002162: PUSH1 0x40
00002164: MLOAD
00002165: DUP1
00002166: DUP4
00002167: SUB
00002168: DUP2
00002169: DUP6
0000216a: DUP9
0000216b: DUP9
0000216c: CALL
0000216d: SWAP4
0000216e: POP
0000216f: POP
00002170: POP
00002171: POP
00002172: ISZERO
00002173: DUP1
00002174: ISZERO
00002175: PUSH2 0x2182
00002178: JUMPI
00002179: RETURNDATASIZE
0000217a: PUSH1 0x00
0000217c: DUP1
0000217d: RETURNDATACOPY
0000217e: RETURNDATASIZE
0000217f: PUSH1 0x00
00002181: REVERT
00002182: JUMPDEST
00002183: POP
00002184: POP
00002185: JUMP
00002186: JUMPDEST
00002187: PUSH1 0x00
00002189: PUSH1 0x06
0000218b: SLOAD
0000218c: DUP3
0000218d: GT
0000218e: ISZERO
0000218f: PUSH2 0x21cd
00002192: JUMPI
00002193: PUSH1 0x40
00002195: MLOAD
00002196: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021b7: DUP2
000021b8: MSTORE
000021b9: PUSH1 0x04
000021bb: ADD
000021bc: PUSH2 0x21c4
000021bf: SWAP1
000021c0: PUSH2 0x3a15
000021c3: JUMP
000021c4: JUMPDEST
000021c5: PUSH1 0x40
000021c7: MLOAD
000021c8: DUP1
000021c9: SWAP2
000021ca: SUB
000021cb: SWAP1
000021cc: REVERT
000021cd: JUMPDEST
000021ce: PUSH1 0x00
000021d0: PUSH2 0x21d7
000021d3: PUSH2 0x24a7
000021d6: JUMP
000021d7: JUMPDEST
000021d8: SWAP1
000021d9: POP
000021da: PUSH2 0x21ec
000021dd: DUP2
000021de: DUP5
000021df: PUSH2 0x24d2
000021e2: SWAP1
000021e3: SWAP2
000021e4: SWAP1
000021e5: PUSH4 0xffffffff
000021ea: AND
000021eb: JUMP
000021ec: JUMPDEST
000021ed: SWAP2
000021ee: POP
000021ef: POP
000021f0: SWAP2
000021f1: SWAP1
000021f2: POP
000021f3: JUMP
000021f4: JUMPDEST
000021f5: PUSH1 0x01
000021f7: PUSH1 0x15
000021f9: DUP1
000021fa: PUSH2 0x0100
000021fd: EXP
000021fe: DUP2
000021ff: SLOAD
00002200: DUP2
00002201: PUSH1 0xff
00002203: MUL
00002204: NOT
00002205: AND
00002206: SWAP1
00002207: DUP4
00002208: ISZERO
00002209: ISZERO
0000220a: MUL
0000220b: OR
0000220c: SWAP1
0000220d: SSTORE
0000220e: POP
0000220f: PUSH1 0x00
00002211: PUSH1 0x02
00002213: PUSH8 0xffffffffffffffff
0000221c: DUP2
0000221d: GT
0000221e: ISZERO
0000221f: PUSH2 0x222b
00002222: JUMPI
00002223: PUSH2 0x222a
00002226: PUSH2 0x2bcb
00002229: JUMP
0000222a: JUMPDEST
0000222b: JUMPDEST
0000222c: PUSH1 0x40
0000222e: MLOAD
0000222f: SWAP1
00002230: DUP1
00002231: DUP3
00002232: MSTORE
00002233: DUP1
00002234: PUSH1 0x20
00002236: MUL
00002237: PUSH1 0x20
00002239: ADD
0000223a: DUP3
0000223b: ADD
0000223c: PUSH1 0x40
0000223e: MSTORE
0000223f: DUP1
00002240: ISZERO
00002241: PUSH2 0x2259
00002244: JUMPI
00002245: DUP2
00002246: PUSH1 0x20
00002248: ADD
00002249: PUSH1 0x20
0000224b: DUP3
0000224c: MUL
0000224d: DUP1
0000224e: CALLDATASIZE
0000224f: DUP4
00002250: CALLDATACOPY
00002251: DUP1
00002252: DUP3
00002253: ADD
00002254: SWAP2
00002255: POP
00002256: POP
00002257: SWAP1
00002258: POP
00002259: JUMPDEST
0000225a: POP
0000225b: SWAP1
0000225c: POP
0000225d: ADDRESS
0000225e: DUP2
0000225f: PUSH1 0x00
00002261: DUP2
00002262: MLOAD
00002263: DUP2
00002264: LT
00002265: PUSH2 0x2271
00002268: JUMPI
00002269: PUSH2 0x2270
0000226c: PUSH2 0x32e4
0000226f: JUMP
00002270: JUMPDEST
00002271: JUMPDEST
00002272: PUSH1 0x20
00002274: MUL
00002275: PUSH1 0x20
00002277: ADD
00002278: ADD
00002279: SWAP1
0000227a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228f: AND
00002290: SWAP1
00002291: DUP2
00002292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a7: AND
000022a8: DUP2
000022a9: MSTORE
000022aa: POP
000022ab: POP
000022ac: PUSH1 0x14
000022ae: PUSH1 0x00
000022b0: SWAP1
000022b1: SLOAD
000022b2: SWAP1
000022b3: PUSH2 0x0100
000022b6: EXP
000022b7: SWAP1
000022b8: DIV
000022b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ce: AND
000022cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e4: AND
000022e5: PUSH4 0xad5c4648
000022ea: PUSH1 0x40
000022ec: MLOAD
000022ed: DUP2
000022ee: PUSH4 0xffffffff
000022f3: AND
000022f4: PUSH1 0xe0
000022f6: SHL
000022f7: DUP2
000022f8: MSTORE
000022f9: PUSH1 0x04
000022fb: ADD
000022fc: PUSH1 0x20
000022fe: PUSH1 0x40
00002300: MLOAD
00002301: DUP1
00002302: DUP4
00002303: SUB
00002304: DUP2
00002305: DUP7
00002306: DUP1
00002307: EXTCODESIZE
00002308: ISZERO
00002309: DUP1
0000230a: ISZERO
0000230b: PUSH2 0x2313
0000230e: JUMPI
0000230f: PUSH1 0x00
00002311: DUP1
00002312: REVERT
00002313: JUMPDEST
00002314: POP
00002315: GAS
00002316: STATICCALL
00002317: ISZERO
00002318: DUP1
00002319: ISZERO
0000231a: PUSH2 0x2327
0000231d: JUMPI
0000231e: RETURNDATASIZE
0000231f: PUSH1 0x00
00002321: DUP1
00002322: RETURNDATACOPY
00002323: RETURNDATASIZE
00002324: PUSH1 0x00
00002326: REVERT
00002327: JUMPDEST
00002328: POP
00002329: POP
0000232a: POP
0000232b: POP
0000232c: PUSH1 0x40
0000232e: MLOAD
0000232f: RETURNDATASIZE
00002330: PUSH1 0x1f
00002332: NOT
00002333: PUSH1 0x1f
00002335: DUP3
00002336: ADD
00002337: AND
00002338: DUP3
00002339: ADD
0000233a: DUP1
0000233b: PUSH1 0x40
0000233d: MSTORE
0000233e: POP
0000233f: DUP2
00002340: ADD
00002341: SWAP1
00002342: PUSH2 0x234b
00002345: SWAP2
00002346: SWAP1
00002347: PUSH2 0x3a4a
0000234a: JUMP
0000234b: JUMPDEST
0000234c: DUP2
0000234d: PUSH1 0x01
0000234f: DUP2
00002350: MLOAD
00002351: DUP2
00002352: LT
00002353: PUSH2 0x235f
00002356: JUMPI
00002357: PUSH2 0x235e
0000235a: PUSH2 0x32e4
0000235d: JUMP
0000235e: JUMPDEST
0000235f: JUMPDEST
00002360: PUSH1 0x20
00002362: MUL
00002363: PUSH1 0x20
00002365: ADD
00002366: ADD
00002367: SWAP1
00002368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000237d: AND
0000237e: SWAP1
0000237f: DUP2
00002380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002395: AND
00002396: DUP2
00002397: MSTORE
00002398: POP
00002399: POP
0000239a: PUSH2 0x23c6
0000239d: ADDRESS
0000239e: PUSH1 0x14
000023a0: PUSH1 0x00
000023a2: SWAP1
000023a3: SLOAD
000023a4: SWAP1
000023a5: PUSH2 0x0100
000023a8: EXP
000023a9: SWAP1
000023aa: DIV
000023ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023c0: AND
000023c1: DUP5
000023c2: PUSH2 0x1666
000023c5: JUMP
000023c6: JUMPDEST
000023c7: PUSH1 0x14
000023c9: PUSH1 0x00
000023cb: SWAP1
000023cc: SLOAD
000023cd: SWAP1
000023ce: PUSH2 0x0100
000023d1: EXP
000023d2: SWAP1
000023d3: DIV
000023d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023e9: AND
000023ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ff: AND
00002400: PUSH4 0x791ac947
00002405: DUP4
00002406: PUSH1 0x00
00002408: DUP5
00002409: ADDRESS
0000240a: TIMESTAMP
0000240b: PUSH1 0x40
0000240d: MLOAD
0000240e: DUP7
0000240f: PUSH4 0xffffffff
00002414: AND
00002415: PUSH1 0xe0
00002417: SHL
00002418: DUP2
00002419: MSTORE
0000241a: PUSH1 0x04
0000241c: ADD
0000241d: PUSH2 0x242a
00002420: SWAP6
00002421: SWAP5
00002422: SWAP4
00002423: SWAP3
00002424: SWAP2
00002425: SWAP1
00002426: PUSH2 0x3b70
00002429: JUMP
0000242a: JUMPDEST
0000242b: PUSH1 0x00
0000242d: PUSH1 0x40
0000242f: MLOAD
00002430: DUP1
00002431: DUP4
00002432: SUB
00002433: DUP2
00002434: PUSH1 0x00
00002436: DUP8
00002437: DUP1
00002438: EXTCODESIZE
00002439: ISZERO
0000243a: DUP1
0000243b: ISZERO
0000243c: PUSH2 0x2444
0000243f: JUMPI
00002440: PUSH1 0x00
00002442: DUP1
00002443: REVERT
00002444: JUMPDEST
00002445: POP
00002446: GAS
00002447: CALL
00002448: ISZERO
00002449: DUP1
0000244a: ISZERO
0000244b: PUSH2 0x2458
0000244e: JUMPI
0000244f: RETURNDATASIZE
00002450: PUSH1 0x00
00002452: DUP1
00002453: RETURNDATACOPY
00002454: RETURNDATASIZE
00002455: PUSH1 0x00
00002457: REVERT
00002458: JUMPDEST
00002459: POP
0000245a: POP
0000245b: POP
0000245c: POP
0000245d: POP
0000245e: PUSH1 0x00
00002460: PUSH1 0x15
00002462: DUP1
00002463: PUSH2 0x0100
00002466: EXP
00002467: DUP2
00002468: SLOAD
00002469: DUP2
0000246a: PUSH1 0xff
0000246c: MUL
0000246d: NOT
0000246e: AND
0000246f: SWAP1
00002470: DUP4
00002471: ISZERO
00002472: ISZERO
00002473: MUL
00002474: OR
00002475: SWAP1
00002476: SSTORE
00002477: POP
00002478: POP
00002479: JUMP
0000247a: JUMPDEST
0000247b: DUP1
0000247c: PUSH2 0x2488
0000247f: JUMPI
00002480: PUSH2 0x2487
00002483: PUSH2 0x251c
00002486: JUMP
00002487: JUMPDEST
00002488: JUMPDEST
00002489: PUSH2 0x2493
0000248c: DUP5
0000248d: DUP5
0000248e: DUP5
0000248f: PUSH2 0x255f
00002492: JUMP
00002493: JUMPDEST
00002494: DUP1
00002495: PUSH2 0x24a1
00002498: JUMPI
00002499: PUSH2 0x24a0
0000249c: PUSH2 0x272a
0000249f: JUMP
000024a0: JUMPDEST
000024a1: JUMPDEST
000024a2: POP
000024a3: POP
000024a4: POP
000024a5: POP
000024a6: JUMP
000024a7: JUMPDEST
000024a8: PUSH1 0x00
000024aa: DUP1
000024ab: PUSH1 0x00
000024ad: PUSH2 0x24b4
000024b0: PUSH2 0x273e
000024b3: JUMP
000024b4: JUMPDEST
000024b5: SWAP2
000024b6: POP
000024b7: SWAP2
000024b8: POP
000024b9: PUSH2 0x24cb
000024bc: DUP2
000024bd: DUP4
000024be: PUSH2 0x24d2
000024c1: SWAP1
000024c2: SWAP2
000024c3: SWAP1
000024c4: PUSH4 0xffffffff
000024c9: AND
000024ca: JUMP
000024cb: JUMPDEST
000024cc: SWAP3
000024cd: POP
000024ce: POP
000024cf: POP
000024d0: SWAP1
000024d1: JUMP
000024d2: JUMPDEST
000024d3: PUSH1 0x00
000024d5: PUSH2 0x2514
000024d8: DUP4
000024d9: DUP4
000024da: PUSH1 0x40
000024dc: MLOAD
000024dd: DUP1
000024de: PUSH1 0x40
000024e0: ADD
000024e1: PUSH1 0x40
000024e3: MSTORE
000024e4: DUP1
000024e5: PUSH1 0x1a
000024e7: DUP2
000024e8: MSTORE
000024e9: PUSH1 0x20
000024eb: ADD
000024ec: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
0000250d: DUP2
0000250e: MSTORE
0000250f: POP
00002510: PUSH2 0x279d
00002513: JUMP
00002514: JUMPDEST
00002515: SWAP1
00002516: POP
00002517: SWAP3
00002518: SWAP2
00002519: POP
0000251a: POP
0000251b: JUMP
0000251c: JUMPDEST
0000251d: PUSH1 0x00
0000251f: PUSH1 0x0c
00002521: SLOAD
00002522: EQ
00002523: DUP1
00002524: ISZERO
00002525: PUSH2 0x2530
00002528: JUMPI
00002529: POP
0000252a: PUSH1 0x00
0000252c: PUSH1 0x0d
0000252e: SLOAD
0000252f: EQ
00002530: JUMPDEST
00002531: ISZERO
00002532: PUSH2 0x253a
00002535: JUMPI
00002536: PUSH2 0x255d
00002539: JUMP
0000253a: JUMPDEST
0000253b: PUSH1 0x0c
0000253d: SLOAD
0000253e: PUSH1 0x0e
00002540: DUP2
00002541: SWAP1
00002542: SSTORE
00002543: POP
00002544: PUSH1 0x0d
00002546: SLOAD
00002547: PUSH1 0x0f
00002549: DUP2
0000254a: SWAP1
0000254b: SSTORE
0000254c: POP
0000254d: PUSH1 0x00
0000254f: PUSH1 0x0c
00002551: DUP2
00002552: SWAP1
00002553: SSTORE
00002554: POP
00002555: PUSH1 0x00
00002557: PUSH1 0x0d
00002559: DUP2
0000255a: SWAP1
0000255b: SSTORE
0000255c: POP
0000255d: JUMPDEST
0000255e: JUMP
0000255f: JUMPDEST
00002560: PUSH1 0x00
00002562: DUP1
00002563: PUSH1 0x00
00002565: DUP1
00002566: PUSH1 0x00
00002568: DUP1
00002569: PUSH2 0x2571
0000256c: DUP8
0000256d: PUSH2 0x2800
00002570: JUMP
00002571: JUMPDEST
00002572: SWAP6
00002573: POP
00002574: SWAP6
00002575: POP
00002576: SWAP6
00002577: POP
00002578: SWAP6
00002579: POP
0000257a: SWAP6
0000257b: POP
0000257c: SWAP6
0000257d: POP
0000257e: PUSH2 0x25cf
00002581: DUP7
00002582: PUSH1 0x02
00002584: PUSH1 0x00
00002586: DUP13
00002587: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000259c: AND
0000259d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025b2: AND
000025b3: DUP2
000025b4: MSTORE
000025b5: PUSH1 0x20
000025b7: ADD
000025b8: SWAP1
000025b9: DUP2
000025ba: MSTORE
000025bb: PUSH1 0x20
000025bd: ADD
000025be: PUSH1 0x00
000025c0: KECCAK256
000025c1: SLOAD
000025c2: PUSH2 0x2868
000025c5: SWAP1
000025c6: SWAP2
000025c7: SWAP1
000025c8: PUSH4 0xffffffff
000025cd: AND
000025ce: JUMP
000025cf: JUMPDEST
000025d0: PUSH1 0x02
000025d2: PUSH1 0x00
000025d4: DUP12
000025d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ea: AND
000025eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002600: AND
00002601: DUP2
00002602: MSTORE
00002603: PUSH1 0x20
00002605: ADD
00002606: SWAP1
00002607: DUP2
00002608: MSTORE
00002609: PUSH1 0x20
0000260b: ADD
0000260c: PUSH1 0x00
0000260e: KECCAK256
0000260f: DUP2
00002610: SWAP1
00002611: SSTORE
00002612: POP
00002613: PUSH2 0x2664
00002616: DUP6
00002617: PUSH1 0x02
00002619: PUSH1 0x00
0000261b: DUP12
0000261c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002631: AND
00002632: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002647: AND
00002648: DUP2
00002649: MSTORE
0000264a: PUSH1 0x20
0000264c: ADD
0000264d: SWAP1
0000264e: DUP2
0000264f: MSTORE
00002650: PUSH1 0x20
00002652: ADD
00002653: PUSH1 0x00
00002655: KECCAK256
00002656: SLOAD
00002657: PUSH2 0x28b2
0000265a: SWAP1
0000265b: SWAP2
0000265c: SWAP1
0000265d: PUSH4 0xffffffff
00002662: AND
00002663: JUMP
00002664: JUMPDEST
00002665: PUSH1 0x02
00002667: PUSH1 0x00
00002669: DUP11
0000266a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000267f: AND
00002680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002695: AND
00002696: DUP2
00002697: MSTORE
00002698: PUSH1 0x20
0000269a: ADD
0000269b: SWAP1
0000269c: DUP2
0000269d: MSTORE
0000269e: PUSH1 0x20
000026a0: ADD
000026a1: PUSH1 0x00
000026a3: KECCAK256
000026a4: DUP2
000026a5: SWAP1
000026a6: SSTORE
000026a7: POP
000026a8: PUSH2 0x26b0
000026ab: DUP2
000026ac: PUSH2 0x2910
000026af: JUMP
000026b0: JUMPDEST
000026b1: PUSH2 0x26ba
000026b4: DUP5
000026b5: DUP4
000026b6: PUSH2 0x29cd
000026b9: JUMP
000026ba: JUMPDEST
000026bb: DUP8
000026bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d1: AND
000026d2: DUP10
000026d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026e8: AND
000026e9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000270a: DUP6
0000270b: PUSH1 0x40
0000270d: MLOAD
0000270e: PUSH2 0x2717
00002711: SWAP2
00002712: SWAP1
00002713: PUSH2 0x2f94
00002716: JUMP
00002717: JUMPDEST
00002718: PUSH1 0x40
0000271a: MLOAD
0000271b: DUP1
0000271c: SWAP2
0000271d: SUB
0000271e: SWAP1
0000271f: LOG3
00002720: POP
00002721: POP
00002722: POP
00002723: POP
00002724: POP
00002725: POP
00002726: POP
00002727: POP
00002728: POP
00002729: JUMP
0000272a: JUMPDEST
0000272b: PUSH1 0x0e
0000272d: SLOAD
0000272e: PUSH1 0x0c
00002730: DUP2
00002731: SWAP1
00002732: SSTORE
00002733: POP
00002734: PUSH1 0x0f
00002736: SLOAD
00002737: PUSH1 0x0d
00002739: DUP2
0000273a: SWAP1
0000273b: SSTORE
0000273c: POP
0000273d: JUMP
0000273e: JUMPDEST
0000273f: PUSH1 0x00
00002741: DUP1
00002742: PUSH1 0x00
00002744: PUSH1 0x06
00002746: SLOAD
00002747: SWAP1
00002748: POP
00002749: PUSH1 0x00
0000274b: PUSH8 0x0de0b6b3a7640000
00002754: SWAP1
00002755: POP
00002756: PUSH2 0x2772
00002759: PUSH8 0x0de0b6b3a7640000
00002762: PUSH1 0x06
00002764: SLOAD
00002765: PUSH2 0x24d2
00002768: SWAP1
00002769: SWAP2
0000276a: SWAP1
0000276b: PUSH4 0xffffffff
00002770: AND
00002771: JUMP
00002772: JUMPDEST
00002773: DUP3
00002774: LT
00002775: ISZERO
00002776: PUSH2 0x2790
00002779: JUMPI
0000277a: PUSH1 0x06
0000277c: SLOAD
0000277d: PUSH8 0x0de0b6b3a7640000
00002786: SWAP4
00002787: POP
00002788: SWAP4
00002789: POP
0000278a: POP
0000278b: POP
0000278c: PUSH2 0x2799
0000278f: JUMP
00002790: JUMPDEST
00002791: DUP2
00002792: DUP2
00002793: SWAP4
00002794: POP
00002795: SWAP4
00002796: POP
00002797: POP
00002798: POP
00002799: JUMPDEST
0000279a: SWAP1
0000279b: SWAP2
0000279c: JUMP
0000279d: JUMPDEST
0000279e: PUSH1 0x00
000027a0: DUP1
000027a1: DUP4
000027a2: GT
000027a3: DUP3
000027a4: SWAP1
000027a5: PUSH2 0x27e4
000027a8: JUMPI
000027a9: PUSH1 0x40
000027ab: MLOAD
000027ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027cd: DUP2
000027ce: MSTORE
000027cf: PUSH1 0x04
000027d1: ADD
000027d2: PUSH2 0x27db
000027d5: SWAP2
000027d6: SWAP1
000027d7: PUSH2 0x2e3d
000027da: JUMP
000027db: JUMPDEST
000027dc: PUSH1 0x40
000027de: MLOAD
000027df: DUP1
000027e0: SWAP2
000027e1: SUB
000027e2: SWAP1
000027e3: REVERT
000027e4: JUMPDEST
000027e5: POP
000027e6: PUSH1 0x00
000027e8: DUP4
000027e9: DUP6
000027ea: PUSH2 0x27f3
000027ed: SWAP2
000027ee: SWAP1
000027ef: PUSH2 0x3bf9
000027f2: JUMP
000027f3: JUMPDEST
000027f4: SWAP1
000027f5: POP
000027f6: DUP1
000027f7: SWAP2
000027f8: POP
000027f9: POP
000027fa: SWAP4
000027fb: SWAP3
000027fc: POP
000027fd: POP
000027fe: POP
000027ff: JUMP
00002800: JUMPDEST
00002801: PUSH1 0x00
00002803: DUP1
00002804: PUSH1 0x00
00002806: DUP1
00002807: PUSH1 0x00
00002809: DUP1
0000280a: PUSH1 0x00
0000280c: DUP1
0000280d: PUSH1 0x00
0000280f: PUSH2 0x281d
00002812: DUP11
00002813: PUSH1 0x0c
00002815: SLOAD
00002816: PUSH1 0x0d
00002818: SLOAD
00002819: PUSH2 0x2a07
0000281c: JUMP
0000281d: JUMPDEST
0000281e: SWAP3
0000281f: POP
00002820: SWAP3
00002821: POP
00002822: SWAP3
00002823: POP
00002824: PUSH1 0x00
00002826: PUSH2 0x282d
00002829: PUSH2 0x24a7
0000282c: JUMP
0000282d: JUMPDEST
0000282e: SWAP1
0000282f: POP
00002830: PUSH1 0x00
00002832: DUP1
00002833: PUSH1 0x00
00002835: PUSH2 0x2840
00002838: DUP15
00002839: DUP8
0000283a: DUP8
0000283b: DUP8
0000283c: PUSH2 0x2a9d
0000283f: JUMP
00002840: JUMPDEST
00002841: SWAP3
00002842: POP
00002843: SWAP3
00002844: POP
00002845: SWAP3
00002846: POP
00002847: DUP3
00002848: DUP3
00002849: DUP3
0000284a: DUP10
0000284b: DUP10
0000284c: DUP10
0000284d: SWAP13
0000284e: POP
0000284f: SWAP13
00002850: POP
00002851: SWAP13
00002852: POP
00002853: SWAP13
00002854: POP
00002855: SWAP13
00002856: POP
00002857: SWAP13
00002858: POP
00002859: POP
0000285a: POP
0000285b: POP
0000285c: POP
0000285d: POP
0000285e: POP
0000285f: POP
00002860: SWAP2
00002861: SWAP4
00002862: SWAP6
00002863: POP
00002864: SWAP2
00002865: SWAP4
00002866: SWAP6
00002867: JUMP
00002868: JUMPDEST
00002869: PUSH1 0x00
0000286b: PUSH2 0x28aa
0000286e: DUP4
0000286f: DUP4
00002870: PUSH1 0x40
00002872: MLOAD
00002873: DUP1
00002874: PUSH1 0x40
00002876: ADD
00002877: PUSH1 0x40
00002879: MSTORE
0000287a: DUP1
0000287b: PUSH1 0x1e
0000287d: DUP2
0000287e: MSTORE
0000287f: PUSH1 0x20
00002881: ADD
00002882: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000028a3: DUP2
000028a4: MSTORE
000028a5: POP
000028a6: PUSH2 0x20b6
000028a9: JUMP
000028aa: JUMPDEST
000028ab: SWAP1
000028ac: POP
000028ad: SWAP3
000028ae: SWAP2
000028af: POP
000028b0: POP
000028b1: JUMP
000028b2: JUMPDEST
000028b3: PUSH1 0x00
000028b5: DUP1
000028b6: DUP3
000028b7: DUP5
000028b8: PUSH2 0x28c1
000028bb: SWAP2
000028bc: SWAP1
000028bd: PUSH2 0x3887
000028c0: JUMP
000028c1: JUMPDEST
000028c2: SWAP1
000028c3: POP
000028c4: DUP4
000028c5: DUP2
000028c6: LT
000028c7: ISZERO
000028c8: PUSH2 0x2906
000028cb: JUMPI
000028cc: PUSH1 0x40
000028ce: MLOAD
000028cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028f0: DUP2
000028f1: MSTORE
000028f2: PUSH1 0x04
000028f4: ADD
000028f5: PUSH2 0x28fd
000028f8: SWAP1
000028f9: PUSH2 0x3c76
000028fc: JUMP
000028fd: JUMPDEST
000028fe: PUSH1 0x40
00002900: MLOAD
00002901: DUP1
00002902: SWAP2
00002903: SUB
00002904: SWAP1
00002905: REVERT
00002906: JUMPDEST
00002907: DUP1
00002908: SWAP2
00002909: POP
0000290a: POP
0000290b: SWAP3
0000290c: SWAP2
0000290d: POP
0000290e: POP
0000290f: JUMP
00002910: JUMPDEST
00002911: PUSH1 0x00
00002913: PUSH2 0x291a
00002916: PUSH2 0x24a7
00002919: JUMP
0000291a: JUMPDEST
0000291b: SWAP1
0000291c: POP
0000291d: PUSH1 0x00
0000291f: PUSH2 0x2931
00002922: DUP3
00002923: DUP5
00002924: PUSH2 0x2b26
00002927: SWAP1
00002928: SWAP2
00002929: SWAP1
0000292a: PUSH4 0xffffffff
0000292f: AND
00002930: JUMP
00002931: JUMPDEST
00002932: SWAP1
00002933: POP
00002934: PUSH2 0x2985
00002937: DUP2
00002938: PUSH1 0x02
0000293a: PUSH1 0x00
0000293c: ADDRESS
0000293d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002952: AND
00002953: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002968: AND
00002969: DUP2
0000296a: MSTORE
0000296b: PUSH1 0x20
0000296d: ADD
0000296e: SWAP1
0000296f: DUP2
00002970: MSTORE
00002971: PUSH1 0x20
00002973: ADD
00002974: PUSH1 0x00
00002976: KECCAK256
00002977: SLOAD
00002978: PUSH2 0x28b2
0000297b: SWAP1
0000297c: SWAP2
0000297d: SWAP1
0000297e: PUSH4 0xffffffff
00002983: AND
00002984: JUMP
00002985: JUMPDEST
00002986: PUSH1 0x02
00002988: PUSH1 0x00
0000298a: ADDRESS
0000298b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a0: AND
000029a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b6: AND
000029b7: DUP2
000029b8: MSTORE
000029b9: PUSH1 0x20
000029bb: ADD
000029bc: SWAP1
000029bd: DUP2
000029be: MSTORE
000029bf: PUSH1 0x20
000029c1: ADD
000029c2: PUSH1 0x00
000029c4: KECCAK256
000029c5: DUP2
000029c6: SWAP1
000029c7: SSTORE
000029c8: POP
000029c9: POP
000029ca: POP
000029cb: POP
000029cc: JUMP
000029cd: JUMPDEST
000029ce: PUSH2 0x29e2
000029d1: DUP3
000029d2: PUSH1 0x06
000029d4: SLOAD
000029d5: PUSH2 0x2868
000029d8: SWAP1
000029d9: SWAP2
000029da: SWAP1
000029db: PUSH4 0xffffffff
000029e0: AND
000029e1: JUMP
000029e2: JUMPDEST
000029e3: PUSH1 0x06
000029e5: DUP2
000029e6: SWAP1
000029e7: SSTORE
000029e8: POP
000029e9: PUSH2 0x29fd
000029ec: DUP2
000029ed: PUSH1 0x07
000029ef: SLOAD
000029f0: PUSH2 0x28b2
000029f3: SWAP1
000029f4: SWAP2
000029f5: SWAP1
000029f6: PUSH4 0xffffffff
000029fb: AND
000029fc: JUMP
000029fd: JUMPDEST
000029fe: PUSH1 0x07
00002a00: DUP2
00002a01: SWAP1
00002a02: SSTORE
00002a03: POP
00002a04: POP
00002a05: POP
00002a06: JUMP
00002a07: JUMPDEST
00002a08: PUSH1 0x00
00002a0a: DUP1
00002a0b: PUSH1 0x00
00002a0d: DUP1
00002a0e: PUSH2 0x2a33
00002a11: PUSH1 0x64
00002a13: PUSH2 0x2a25
00002a16: DUP9
00002a17: DUP11
00002a18: PUSH2 0x2b26
00002a1b: SWAP1
00002a1c: SWAP2
00002a1d: SWAP1
00002a1e: PUSH4 0xffffffff
00002a23: AND
00002a24: JUMP
00002a25: JUMPDEST
00002a26: PUSH2 0x24d2
00002a29: SWAP1
00002a2a: SWAP2
00002a2b: SWAP1
00002a2c: PUSH4 0xffffffff
00002a31: AND
00002a32: JUMP
00002a33: JUMPDEST
00002a34: SWAP1
00002a35: POP
00002a36: PUSH1 0x00
00002a38: PUSH2 0x2a5d
00002a3b: PUSH1 0x64
00002a3d: PUSH2 0x2a4f
00002a40: DUP9
00002a41: DUP12
00002a42: PUSH2 0x2b26
00002a45: SWAP1
00002a46: SWAP2
00002a47: SWAP1
00002a48: PUSH4 0xffffffff
00002a4d: AND
00002a4e: JUMP
00002a4f: JUMPDEST
00002a50: PUSH2 0x24d2
00002a53: SWAP1
00002a54: SWAP2
00002a55: SWAP1
00002a56: PUSH4 0xffffffff
00002a5b: AND
00002a5c: JUMP
00002a5d: JUMPDEST
00002a5e: SWAP1
00002a5f: POP
00002a60: PUSH1 0x00
00002a62: PUSH2 0x2a86
00002a65: DUP3
00002a66: PUSH2 0x2a78
00002a69: DUP6
00002a6a: DUP13
00002a6b: PUSH2 0x2868
00002a6e: SWAP1
00002a6f: SWAP2
00002a70: SWAP1
00002a71: PUSH4 0xffffffff
00002a76: AND
00002a77: JUMP
00002a78: JUMPDEST
00002a79: PUSH2 0x2868
00002a7c: SWAP1
00002a7d: SWAP2
00002a7e: SWAP1
00002a7f: PUSH4 0xffffffff
00002a84: AND
00002a85: JUMP
00002a86: JUMPDEST
00002a87: SWAP1
00002a88: POP
00002a89: DUP1
00002a8a: DUP4
00002a8b: DUP4
00002a8c: SWAP6
00002a8d: POP
00002a8e: SWAP6
00002a8f: POP
00002a90: SWAP6
00002a91: POP
00002a92: POP
00002a93: POP
00002a94: POP
00002a95: SWAP4
00002a96: POP
00002a97: SWAP4
00002a98: POP
00002a99: SWAP4
00002a9a: SWAP1
00002a9b: POP
00002a9c: JUMP
00002a9d: JUMPDEST
00002a9e: PUSH1 0x00
00002aa0: DUP1
00002aa1: PUSH1 0x00
00002aa3: DUP1
00002aa4: PUSH2 0x2ab6
00002aa7: DUP6
00002aa8: DUP10
00002aa9: PUSH2 0x2b26
00002aac: SWAP1
00002aad: SWAP2
00002aae: SWAP1
00002aaf: PUSH4 0xffffffff
00002ab4: AND
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: SWAP1
00002ab8: POP
00002ab9: PUSH1 0x00
00002abb: PUSH2 0x2acd
00002abe: DUP7
00002abf: DUP10
00002ac0: PUSH2 0x2b26
00002ac3: SWAP1
00002ac4: SWAP2
00002ac5: SWAP1
00002ac6: PUSH4 0xffffffff
00002acb: AND
00002acc: JUMP
00002acd: JUMPDEST
00002ace: SWAP1
00002acf: POP
00002ad0: PUSH1 0x00
00002ad2: PUSH2 0x2ae4
00002ad5: DUP8
00002ad6: DUP10
00002ad7: PUSH2 0x2b26
00002ada: SWAP1
00002adb: SWAP2
00002adc: SWAP1
00002add: PUSH4 0xffffffff
00002ae2: AND
00002ae3: JUMP
00002ae4: JUMPDEST
00002ae5: SWAP1
00002ae6: POP
00002ae7: PUSH1 0x00
00002ae9: PUSH2 0x2b0d
00002aec: DUP3
00002aed: PUSH2 0x2aff
00002af0: DUP6
00002af1: DUP8
00002af2: PUSH2 0x2868
00002af5: SWAP1
00002af6: SWAP2
00002af7: SWAP1
00002af8: PUSH4 0xffffffff
00002afd: AND
00002afe: JUMP
00002aff: JUMPDEST
00002b00: PUSH2 0x2868
00002b03: SWAP1
00002b04: SWAP2
00002b05: SWAP1
00002b06: PUSH4 0xffffffff
00002b0b: AND
00002b0c: JUMP
00002b0d: JUMPDEST
00002b0e: SWAP1
00002b0f: POP
00002b10: DUP4
00002b11: DUP2
00002b12: DUP5
00002b13: SWAP7
00002b14: POP
00002b15: SWAP7
00002b16: POP
00002b17: SWAP7
00002b18: POP
00002b19: POP
00002b1a: POP
00002b1b: POP
00002b1c: POP
00002b1d: SWAP5
00002b1e: POP
00002b1f: SWAP5
00002b20: POP
00002b21: SWAP5
00002b22: SWAP2
00002b23: POP
00002b24: POP
00002b25: JUMP
00002b26: JUMPDEST
00002b27: PUSH1 0x00
00002b29: DUP1
00002b2a: DUP4
00002b2b: EQ
00002b2c: ISZERO
00002b2d: PUSH2 0x2b39
00002b30: JUMPI
00002b31: PUSH1 0x00
00002b33: SWAP1
00002b34: POP
00002b35: PUSH2 0x2b9b
00002b38: JUMP
00002b39: JUMPDEST
00002b3a: PUSH1 0x00
00002b3c: DUP3
00002b3d: DUP5
00002b3e: PUSH2 0x2b47
00002b41: SWAP2
00002b42: SWAP1
00002b43: PUSH2 0x3c96
00002b46: JUMP
00002b47: JUMPDEST
00002b48: SWAP1
00002b49: POP
00002b4a: DUP3
00002b4b: DUP5
00002b4c: DUP3
00002b4d: PUSH2 0x2b56
00002b50: SWAP2
00002b51: SWAP1
00002b52: PUSH2 0x3bf9
00002b55: JUMP
00002b56: JUMPDEST
00002b57: EQ
00002b58: PUSH2 0x2b96
00002b5b: JUMPI
00002b5c: PUSH1 0x40
00002b5e: MLOAD
00002b5f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b80: DUP2
00002b81: MSTORE
00002b82: PUSH1 0x04
00002b84: ADD
00002b85: PUSH2 0x2b8d
00002b88: SWAP1
00002b89: PUSH2 0x3d62
00002b8c: JUMP
00002b8d: JUMPDEST
00002b8e: PUSH1 0x40
00002b90: MLOAD
00002b91: DUP1
00002b92: SWAP2
00002b93: SUB
00002b94: SWAP1
00002b95: REVERT
00002b96: JUMPDEST
00002b97: DUP1
00002b98: SWAP2
00002b99: POP
00002b9a: POP
00002b9b: JUMPDEST
00002b9c: SWAP3
00002b9d: SWAP2
00002b9e: POP
00002b9f: POP
00002ba0: JUMP
00002ba1: JUMPDEST
00002ba2: PUSH1 0x00
00002ba4: PUSH1 0x40
00002ba6: MLOAD
00002ba7: SWAP1
00002ba8: POP
00002ba9: SWAP1
00002baa: JUMP
00002bab: JUMPDEST
00002bac: PUSH1 0x00
00002bae: DUP1
00002baf: REVERT
00002bb0: JUMPDEST
00002bb1: PUSH1 0x00
00002bb3: DUP1
00002bb4: REVERT
00002bb5: JUMPDEST
00002bb6: PUSH1 0x00
00002bb8: DUP1
00002bb9: REVERT
00002bba: JUMPDEST
00002bbb: PUSH1 0x00
00002bbd: PUSH1 0x1f
00002bbf: NOT
00002bc0: PUSH1 0x1f
00002bc2: DUP4
00002bc3: ADD
00002bc4: AND
00002bc5: SWAP1
00002bc6: POP
00002bc7: SWAP2
00002bc8: SWAP1
00002bc9: POP
00002bca: JUMP
00002bcb: JUMPDEST
00002bcc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002bed: PUSH1 0x00
00002bef: MSTORE
00002bf0: PUSH1 0x41
00002bf2: PUSH1 0x04
00002bf4: MSTORE
00002bf5: PUSH1 0x24
00002bf7: PUSH1 0x00
00002bf9: REVERT
00002bfa: JUMPDEST
00002bfb: PUSH2 0x2c03
00002bfe: DUP3
00002bff: PUSH2 0x2bba
00002c02: JUMP
00002c03: JUMPDEST
00002c04: DUP2
00002c05: ADD
00002c06: DUP2
00002c07: DUP2
00002c08: LT
00002c09: PUSH8 0xffffffffffffffff
00002c12: DUP3
00002c13: GT
00002c14: OR
00002c15: ISZERO
00002c16: PUSH2 0x2c22
00002c19: JUMPI
00002c1a: PUSH2 0x2c21
00002c1d: PUSH2 0x2bcb
00002c20: JUMP
00002c21: JUMPDEST
00002c22: JUMPDEST
00002c23: DUP1
00002c24: PUSH1 0x40
00002c26: MSTORE
00002c27: POP
00002c28: POP
00002c29: POP
00002c2a: JUMP
00002c2b: JUMPDEST
00002c2c: PUSH1 0x00
00002c2e: PUSH2 0x2c35
00002c31: PUSH2 0x2ba1
00002c34: JUMP
00002c35: JUMPDEST
00002c36: SWAP1
00002c37: POP
00002c38: PUSH2 0x2c41
00002c3b: DUP3
00002c3c: DUP3
00002c3d: PUSH2 0x2bfa
00002c40: JUMP
00002c41: JUMPDEST
00002c42: SWAP2
00002c43: SWAP1
00002c44: POP
00002c45: JUMP
00002c46: JUMPDEST
00002c47: PUSH1 0x00
00002c49: PUSH8 0xffffffffffffffff
00002c52: DUP3
00002c53: GT
00002c54: ISZERO
00002c55: PUSH2 0x2c61
00002c58: JUMPI
00002c59: PUSH2 0x2c60
00002c5c: PUSH2 0x2bcb
00002c5f: JUMP
00002c60: JUMPDEST
00002c61: JUMPDEST
00002c62: PUSH1 0x20
00002c64: DUP3
00002c65: MUL
00002c66: SWAP1
00002c67: POP
00002c68: PUSH1 0x20
00002c6a: DUP2
00002c6b: ADD
00002c6c: SWAP1
00002c6d: POP
00002c6e: SWAP2
00002c6f: SWAP1
00002c70: POP
00002c71: JUMP
00002c72: JUMPDEST
00002c73: PUSH1 0x00
00002c75: DUP1
00002c76: REVERT
00002c77: JUMPDEST
00002c78: PUSH1 0x00
00002c7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c8f: DUP3
00002c90: AND
00002c91: SWAP1
00002c92: POP
00002c93: SWAP2
00002c94: SWAP1
00002c95: POP
00002c96: JUMP
00002c97: JUMPDEST
00002c98: PUSH1 0x00
00002c9a: PUSH2 0x2ca2
00002c9d: DUP3
00002c9e: PUSH2 0x2c77
00002ca1: JUMP
00002ca2: JUMPDEST
00002ca3: SWAP1
00002ca4: POP
00002ca5: SWAP2
00002ca6: SWAP1
00002ca7: POP
00002ca8: JUMP
00002ca9: JUMPDEST
00002caa: PUSH2 0x2cb2
00002cad: DUP2
00002cae: PUSH2 0x2c97
00002cb1: JUMP
00002cb2: JUMPDEST
00002cb3: DUP2
00002cb4: EQ
00002cb5: PUSH2 0x2cbd
00002cb8: JUMPI
00002cb9: PUSH1 0x00
00002cbb: DUP1
00002cbc: REVERT
00002cbd: JUMPDEST
00002cbe: POP
00002cbf: JUMP
00002cc0: JUMPDEST
00002cc1: PUSH1 0x00
00002cc3: DUP2
00002cc4: CALLDATALOAD
00002cc5: SWAP1
00002cc6: POP
00002cc7: PUSH2 0x2ccf
00002cca: DUP2
00002ccb: PUSH2 0x2ca9
00002cce: JUMP
00002ccf: JUMPDEST
00002cd0: SWAP3
00002cd1: SWAP2
00002cd2: POP
00002cd3: POP
00002cd4: JUMP
00002cd5: JUMPDEST
00002cd6: PUSH1 0x00
00002cd8: PUSH2 0x2ce8
00002cdb: PUSH2 0x2ce3
00002cde: DUP5
00002cdf: PUSH2 0x2c46
00002ce2: JUMP
00002ce3: JUMPDEST
00002ce4: PUSH2 0x2c2b
00002ce7: JUMP
00002ce8: JUMPDEST
00002ce9: SWAP1
00002cea: POP
00002ceb: DUP1
00002cec: DUP4
00002ced: DUP3
00002cee: MSTORE
00002cef: PUSH1 0x20
00002cf1: DUP3
00002cf2: ADD
00002cf3: SWAP1
00002cf4: POP
00002cf5: PUSH1 0x20
00002cf7: DUP5
00002cf8: MUL
00002cf9: DUP4
00002cfa: ADD
00002cfb: DUP6
00002cfc: DUP2
00002cfd: GT
00002cfe: ISZERO
00002cff: PUSH2 0x2d0b
00002d02: JUMPI
00002d03: PUSH2 0x2d0a
00002d06: PUSH2 0x2c72
00002d09: JUMP
00002d0a: JUMPDEST
00002d0b: JUMPDEST
00002d0c: DUP4
00002d0d: JUMPDEST
00002d0e: DUP2
00002d0f: DUP2
00002d10: LT
00002d11: ISZERO
00002d12: PUSH2 0x2d34
00002d15: JUMPI
00002d16: DUP1
00002d17: PUSH2 0x2d20
00002d1a: DUP9
00002d1b: DUP3
00002d1c: PUSH2 0x2cc0
00002d1f: JUMP
00002d20: JUMPDEST
00002d21: DUP5
00002d22: MSTORE
00002d23: PUSH1 0x20
00002d25: DUP5
00002d26: ADD
00002d27: SWAP4
00002d28: POP
00002d29: POP
00002d2a: PUSH1 0x20
00002d2c: DUP2
00002d2d: ADD
00002d2e: SWAP1
00002d2f: POP
00002d30: PUSH2 0x2d0d
00002d33: JUMP
00002d34: JUMPDEST
00002d35: POP
00002d36: POP
00002d37: POP
00002d38: SWAP4
00002d39: SWAP3
00002d3a: POP
00002d3b: POP
00002d3c: POP
00002d3d: JUMP
00002d3e: JUMPDEST
00002d3f: PUSH1 0x00
00002d41: DUP3
00002d42: PUSH1 0x1f
00002d44: DUP4
00002d45: ADD
00002d46: SLT
00002d47: PUSH2 0x2d53
00002d4a: JUMPI
00002d4b: PUSH2 0x2d52
00002d4e: PUSH2 0x2bb5
00002d51: JUMP
00002d52: JUMPDEST
00002d53: JUMPDEST
00002d54: DUP2
00002d55: CALLDATALOAD
00002d56: PUSH2 0x2d63
00002d59: DUP5
00002d5a: DUP3
00002d5b: PUSH1 0x20
00002d5d: DUP7
00002d5e: ADD
00002d5f: PUSH2 0x2cd5
00002d62: JUMP
00002d63: JUMPDEST
00002d64: SWAP2
00002d65: POP
00002d66: POP
00002d67: SWAP3
00002d68: SWAP2
00002d69: POP
00002d6a: POP
00002d6b: JUMP
00002d6c: JUMPDEST
00002d6d: PUSH1 0x00
00002d6f: PUSH1 0x20
00002d71: DUP3
00002d72: DUP5
00002d73: SUB
00002d74: SLT
00002d75: ISZERO
00002d76: PUSH2 0x2d82
00002d79: JUMPI
00002d7a: PUSH2 0x2d81
00002d7d: PUSH2 0x2bab
00002d80: JUMP
00002d81: JUMPDEST
00002d82: JUMPDEST
00002d83: PUSH1 0x00
00002d85: DUP3
00002d86: ADD
00002d87: CALLDATALOAD
00002d88: PUSH8 0xffffffffffffffff
00002d91: DUP2
00002d92: GT
00002d93: ISZERO
00002d94: PUSH2 0x2da0
00002d97: JUMPI
00002d98: PUSH2 0x2d9f
00002d9b: PUSH2 0x2bb0
00002d9e: JUMP
00002d9f: JUMPDEST
00002da0: JUMPDEST
00002da1: PUSH2 0x2dac
00002da4: DUP5
00002da5: DUP3
00002da6: DUP6
00002da7: ADD
00002da8: PUSH2 0x2d3e
00002dab: JUMP
00002dac: JUMPDEST
00002dad: SWAP2
00002dae: POP
00002daf: POP
00002db0: SWAP3
00002db1: SWAP2
00002db2: POP
00002db3: POP
00002db4: JUMP
00002db5: JUMPDEST
00002db6: PUSH1 0x00
00002db8: DUP2
00002db9: MLOAD
00002dba: SWAP1
00002dbb: POP
00002dbc: SWAP2
00002dbd: SWAP1
00002dbe: POP
00002dbf: JUMP
00002dc0: JUMPDEST
00002dc1: PUSH1 0x00
00002dc3: DUP3
00002dc4: DUP3
00002dc5: MSTORE
00002dc6: PUSH1 0x20
00002dc8: DUP3
00002dc9: ADD
00002dca: SWAP1
00002dcb: POP
00002dcc: SWAP3
00002dcd: SWAP2
00002dce: POP
00002dcf: POP
00002dd0: JUMP
00002dd1: JUMPDEST
00002dd2: PUSH1 0x00
00002dd4: JUMPDEST
00002dd5: DUP4
00002dd6: DUP2
00002dd7: LT
00002dd8: ISZERO
00002dd9: PUSH2 0x2def
00002ddc: JUMPI
00002ddd: DUP1
00002dde: DUP3
00002ddf: ADD
00002de0: MLOAD
00002de1: DUP2
00002de2: DUP5
00002de3: ADD
00002de4: MSTORE
00002de5: PUSH1 0x20
00002de7: DUP2
00002de8: ADD
00002de9: SWAP1
00002dea: POP
00002deb: PUSH2 0x2dd4
00002dee: JUMP
00002def: JUMPDEST
00002df0: DUP4
00002df1: DUP2
00002df2: GT
00002df3: ISZERO
00002df4: PUSH2 0x2dfe
00002df7: JUMPI
00002df8: PUSH1 0x00
00002dfa: DUP5
00002dfb: DUP5
00002dfc: ADD
00002dfd: MSTORE
00002dfe: JUMPDEST
00002dff: POP
00002e00: POP
00002e01: POP
00002e02: POP
00002e03: JUMP
00002e04: JUMPDEST
00002e05: PUSH1 0x00
00002e07: PUSH2 0x2e0f
00002e0a: DUP3
00002e0b: PUSH2 0x2db5
00002e0e: JUMP
00002e0f: JUMPDEST
00002e10: PUSH2 0x2e19
00002e13: DUP2
00002e14: DUP6
00002e15: PUSH2 0x2dc0
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: SWAP4
00002e1b: POP
00002e1c: PUSH2 0x2e29
00002e1f: DUP2
00002e20: DUP6
00002e21: PUSH1 0x20
00002e23: DUP7
00002e24: ADD
00002e25: PUSH2 0x2dd1
00002e28: JUMP
00002e29: JUMPDEST
00002e2a: PUSH2 0x2e32
00002e2d: DUP2
00002e2e: PUSH2 0x2bba
00002e31: JUMP
00002e32: JUMPDEST
00002e33: DUP5
00002e34: ADD
00002e35: SWAP2
00002e36: POP
00002e37: POP
00002e38: SWAP3
00002e39: SWAP2
00002e3a: POP
00002e3b: POP
00002e3c: JUMP
00002e3d: JUMPDEST
00002e3e: PUSH1 0x00
00002e40: PUSH1 0x20
00002e42: DUP3
00002e43: ADD
00002e44: SWAP1
00002e45: POP
00002e46: DUP2
00002e47: DUP2
00002e48: SUB
00002e49: PUSH1 0x00
00002e4b: DUP4
00002e4c: ADD
00002e4d: MSTORE
00002e4e: PUSH2 0x2e57
00002e51: DUP2
00002e52: DUP5
00002e53: PUSH2 0x2e04
00002e56: JUMP
00002e57: JUMPDEST
00002e58: SWAP1
00002e59: POP
00002e5a: SWAP3
00002e5b: SWAP2
00002e5c: POP
00002e5d: POP
00002e5e: JUMP
00002e5f: JUMPDEST
00002e60: PUSH1 0x00
00002e62: DUP2
00002e63: SWAP1
00002e64: POP
00002e65: SWAP2
00002e66: SWAP1
00002e67: POP
00002e68: JUMP
00002e69: JUMPDEST
00002e6a: PUSH2 0x2e72
00002e6d: DUP2
00002e6e: PUSH2 0x2e5f
00002e71: JUMP
00002e72: JUMPDEST
00002e73: DUP2
00002e74: EQ
00002e75: PUSH2 0x2e7d
00002e78: JUMPI
00002e79: PUSH1 0x00
00002e7b: DUP1
00002e7c: REVERT
00002e7d: JUMPDEST
00002e7e: POP
00002e7f: JUMP
00002e80: JUMPDEST
00002e81: PUSH1 0x00
00002e83: DUP2
00002e84: CALLDATALOAD
00002e85: SWAP1
00002e86: POP
00002e87: PUSH2 0x2e8f
00002e8a: DUP2
00002e8b: PUSH2 0x2e69
00002e8e: JUMP
00002e8f: JUMPDEST
00002e90: SWAP3
00002e91: SWAP2
00002e92: POP
00002e93: POP
00002e94: JUMP
00002e95: JUMPDEST
00002e96: PUSH1 0x00
00002e98: DUP1
00002e99: PUSH1 0x40
00002e9b: DUP4
00002e9c: DUP6
00002e9d: SUB
00002e9e: SLT
00002e9f: ISZERO
00002ea0: PUSH2 0x2eac
00002ea3: JUMPI
00002ea4: PUSH2 0x2eab
00002ea7: PUSH2 0x2bab
00002eaa: JUMP
00002eab: JUMPDEST
00002eac: JUMPDEST
00002ead: PUSH1 0x00
00002eaf: PUSH2 0x2eba
00002eb2: DUP6
00002eb3: DUP3
00002eb4: DUP7
00002eb5: ADD
00002eb6: PUSH2 0x2cc0
00002eb9: JUMP
00002eba: JUMPDEST
00002ebb: SWAP3
00002ebc: POP
00002ebd: POP
00002ebe: PUSH1 0x20
00002ec0: PUSH2 0x2ecb
00002ec3: DUP6
00002ec4: DUP3
00002ec5: DUP7
00002ec6: ADD
00002ec7: PUSH2 0x2e80
00002eca: JUMP
00002ecb: JUMPDEST
00002ecc: SWAP2
00002ecd: POP
00002ece: POP
00002ecf: SWAP3
00002ed0: POP
00002ed1: SWAP3
00002ed2: SWAP1
00002ed3: POP
00002ed4: JUMP
00002ed5: JUMPDEST
00002ed6: PUSH1 0x00
00002ed8: DUP2
00002ed9: ISZERO
00002eda: ISZERO
00002edb: SWAP1
00002edc: POP
00002edd: SWAP2
00002ede: SWAP1
00002edf: POP
00002ee0: JUMP
00002ee1: JUMPDEST
00002ee2: PUSH2 0x2eea
00002ee5: DUP2
00002ee6: PUSH2 0x2ed5
00002ee9: JUMP
00002eea: JUMPDEST
00002eeb: DUP3
00002eec: MSTORE
00002eed: POP
00002eee: POP
00002eef: JUMP
00002ef0: JUMPDEST
00002ef1: PUSH1 0x00
00002ef3: PUSH1 0x20
00002ef5: DUP3
00002ef6: ADD
00002ef7: SWAP1
00002ef8: POP
00002ef9: PUSH2 0x2f05
00002efc: PUSH1 0x00
00002efe: DUP4
00002eff: ADD
00002f00: DUP5
00002f01: PUSH2 0x2ee1
00002f04: JUMP
00002f05: JUMPDEST
00002f06: SWAP3
00002f07: SWAP2
00002f08: POP
00002f09: POP
00002f0a: JUMP
00002f0b: JUMPDEST
00002f0c: PUSH1 0x00
00002f0e: DUP2
00002f0f: SWAP1
00002f10: POP
00002f11: SWAP2
00002f12: SWAP1
00002f13: POP
00002f14: JUMP
00002f15: JUMPDEST
00002f16: PUSH1 0x00
00002f18: PUSH2 0x2f30
00002f1b: PUSH2 0x2f2b
00002f1e: PUSH2 0x2f26
00002f21: DUP5
00002f22: PUSH2 0x2c77
00002f25: JUMP
00002f26: JUMPDEST
00002f27: PUSH2 0x2f0b
00002f2a: JUMP
00002f2b: JUMPDEST
00002f2c: PUSH2 0x2c77
00002f2f: JUMP
00002f30: JUMPDEST
00002f31: SWAP1
00002f32: POP
00002f33: SWAP2
00002f34: SWAP1
00002f35: POP
00002f36: JUMP
00002f37: JUMPDEST
00002f38: PUSH1 0x00
00002f3a: PUSH2 0x2f42
00002f3d: DUP3
00002f3e: PUSH2 0x2f15
00002f41: JUMP
00002f42: JUMPDEST
00002f43: SWAP1
00002f44: POP
00002f45: SWAP2
00002f46: SWAP1
00002f47: POP
00002f48: JUMP
00002f49: JUMPDEST
00002f4a: PUSH1 0x00
00002f4c: PUSH2 0x2f54
00002f4f: DUP3
00002f50: PUSH2 0x2f37
00002f53: JUMP
00002f54: JUMPDEST
00002f55: SWAP1
00002f56: POP
00002f57: SWAP2
00002f58: SWAP1
00002f59: POP
00002f5a: JUMP
00002f5b: JUMPDEST
00002f5c: PUSH2 0x2f64
00002f5f: DUP2
00002f60: PUSH2 0x2f49
00002f63: JUMP
00002f64: JUMPDEST
00002f65: DUP3
00002f66: MSTORE
00002f67: POP
00002f68: POP
00002f69: JUMP
00002f6a: JUMPDEST
00002f6b: PUSH1 0x00
00002f6d: PUSH1 0x20
00002f6f: DUP3
00002f70: ADD
00002f71: SWAP1
00002f72: POP
00002f73: PUSH2 0x2f7f
00002f76: PUSH1 0x00
00002f78: DUP4
00002f79: ADD
00002f7a: DUP5
00002f7b: PUSH2 0x2f5b
00002f7e: JUMP
00002f7f: JUMPDEST
00002f80: SWAP3
00002f81: SWAP2
00002f82: POP
00002f83: POP
00002f84: JUMP
00002f85: JUMPDEST
00002f86: PUSH2 0x2f8e
00002f89: DUP2
00002f8a: PUSH2 0x2e5f
00002f8d: JUMP
00002f8e: JUMPDEST
00002f8f: DUP3
00002f90: MSTORE
00002f91: POP
00002f92: POP
00002f93: JUMP
00002f94: JUMPDEST
00002f95: PUSH1 0x00
00002f97: PUSH1 0x20
00002f99: DUP3
00002f9a: ADD
00002f9b: SWAP1
00002f9c: POP
00002f9d: PUSH2 0x2fa9
00002fa0: PUSH1 0x00
00002fa2: DUP4
00002fa3: ADD
00002fa4: DUP5
00002fa5: PUSH2 0x2f85
00002fa8: JUMP
00002fa9: JUMPDEST
00002faa: SWAP3
00002fab: SWAP2
00002fac: POP
00002fad: POP
00002fae: JUMP
00002faf: JUMPDEST
00002fb0: PUSH1 0x00
00002fb2: DUP1
00002fb3: PUSH1 0x00
00002fb5: PUSH1 0x60
00002fb7: DUP5
00002fb8: DUP7
00002fb9: SUB
00002fba: SLT
00002fbb: ISZERO
00002fbc: PUSH2 0x2fc8
00002fbf: JUMPI
00002fc0: PUSH2 0x2fc7
00002fc3: PUSH2 0x2bab
00002fc6: JUMP
00002fc7: JUMPDEST
00002fc8: JUMPDEST
00002fc9: PUSH1 0x00
00002fcb: PUSH2 0x2fd6
00002fce: DUP7
00002fcf: DUP3
00002fd0: DUP8
00002fd1: ADD
00002fd2: PUSH2 0x2cc0
00002fd5: JUMP
00002fd6: JUMPDEST
00002fd7: SWAP4
00002fd8: POP
00002fd9: POP
00002fda: PUSH1 0x20
00002fdc: PUSH2 0x2fe7
00002fdf: DUP7
00002fe0: DUP3
00002fe1: DUP8
00002fe2: ADD
00002fe3: PUSH2 0x2cc0
00002fe6: JUMP
00002fe7: JUMPDEST
00002fe8: SWAP3
00002fe9: POP
00002fea: POP
00002feb: PUSH1 0x40
00002fed: PUSH2 0x2ff8
00002ff0: DUP7
00002ff1: DUP3
00002ff2: DUP8
00002ff3: ADD
00002ff4: PUSH2 0x2e80
00002ff7: JUMP
00002ff8: JUMPDEST
00002ff9: SWAP2
00002ffa: POP
00002ffb: POP
00002ffc: SWAP3
00002ffd: POP
00002ffe: SWAP3
00002fff: POP
00003000: SWAP3
00003001: JUMP
00003002: JUMPDEST
00003003: PUSH1 0x00
00003005: PUSH1 0xff
00003007: DUP3
00003008: AND
00003009: SWAP1
0000300a: POP
0000300b: SWAP2
0000300c: SWAP1
0000300d: POP
0000300e: JUMP
0000300f: JUMPDEST
00003010: PUSH2 0x3018
00003013: DUP2
00003014: PUSH2 0x3002
00003017: JUMP
00003018: JUMPDEST
00003019: DUP3
0000301a: MSTORE
0000301b: POP
0000301c: POP
0000301d: JUMP
0000301e: JUMPDEST
0000301f: PUSH1 0x00
00003021: PUSH1 0x20
00003023: DUP3
00003024: ADD
00003025: SWAP1
00003026: POP
00003027: PUSH2 0x3033
0000302a: PUSH1 0x00
0000302c: DUP4
0000302d: ADD
0000302e: DUP5
0000302f: PUSH2 0x300f
00003032: JUMP
00003033: JUMPDEST
00003034: SWAP3
00003035: SWAP2
00003036: POP
00003037: POP
00003038: JUMP
00003039: JUMPDEST
0000303a: PUSH2 0x3042
0000303d: DUP2
0000303e: PUSH2 0x2c97
00003041: JUMP
00003042: JUMPDEST
00003043: DUP3
00003044: MSTORE
00003045: POP
00003046: POP
00003047: JUMP
00003048: JUMPDEST
00003049: PUSH1 0x00
0000304b: PUSH1 0x20
0000304d: DUP3
0000304e: ADD
0000304f: SWAP1
00003050: POP
00003051: PUSH2 0x305d
00003054: PUSH1 0x00
00003056: DUP4
00003057: ADD
00003058: DUP5
00003059: PUSH2 0x3039
0000305c: JUMP
0000305d: JUMPDEST
0000305e: SWAP3
0000305f: SWAP2
00003060: POP
00003061: POP
00003062: JUMP
00003063: JUMPDEST
00003064: PUSH1 0x00
00003066: PUSH1 0x20
00003068: DUP3
00003069: DUP5
0000306a: SUB
0000306b: SLT
0000306c: ISZERO
0000306d: PUSH2 0x3079
00003070: JUMPI
00003071: PUSH2 0x3078
00003074: PUSH2 0x2bab
00003077: JUMP
00003078: JUMPDEST
00003079: JUMPDEST
0000307a: PUSH1 0x00
0000307c: PUSH2 0x3087
0000307f: DUP5
00003080: DUP3
00003081: DUP6
00003082: ADD
00003083: PUSH2 0x2cc0
00003086: JUMP
00003087: JUMPDEST
00003088: SWAP2
00003089: POP
0000308a: POP
0000308b: SWAP3
0000308c: SWAP2
0000308d: POP
0000308e: POP
0000308f: JUMP
00003090: JUMPDEST
00003091: PUSH2 0x3099
00003094: DUP2
00003095: PUSH2 0x2ed5
00003098: JUMP
00003099: JUMPDEST
0000309a: DUP2
0000309b: EQ
0000309c: PUSH2 0x30a4
0000309f: JUMPI
000030a0: PUSH1 0x00
000030a2: DUP1
000030a3: REVERT
000030a4: JUMPDEST
000030a5: POP
000030a6: JUMP
000030a7: JUMPDEST
000030a8: PUSH1 0x00
000030aa: DUP2
000030ab: CALLDATALOAD
000030ac: SWAP1
000030ad: POP
000030ae: PUSH2 0x30b6
000030b1: DUP2
000030b2: PUSH2 0x3090
000030b5: JUMP
000030b6: JUMPDEST
000030b7: SWAP3
000030b8: SWAP2
000030b9: POP
000030ba: POP
000030bb: JUMP
000030bc: JUMPDEST
000030bd: PUSH1 0x00
000030bf: PUSH1 0x20
000030c1: DUP3
000030c2: DUP5
000030c3: SUB
000030c4: SLT
000030c5: ISZERO
000030c6: PUSH2 0x30d2
000030c9: JUMPI
000030ca: PUSH2 0x30d1
000030cd: PUSH2 0x2bab
000030d0: JUMP
000030d1: JUMPDEST
000030d2: JUMPDEST
000030d3: PUSH1 0x00
000030d5: PUSH2 0x30e0
000030d8: DUP5
000030d9: DUP3
000030da: DUP6
000030db: ADD
000030dc: PUSH2 0x30a7
000030df: JUMP
000030e0: JUMPDEST
000030e1: SWAP2
000030e2: POP
000030e3: POP
000030e4: SWAP3
000030e5: SWAP2
000030e6: POP
000030e7: POP
000030e8: JUMP
000030e9: JUMPDEST
000030ea: PUSH1 0x00
000030ec: PUSH1 0x20
000030ee: DUP3
000030ef: DUP5
000030f0: SUB
000030f1: SLT
000030f2: ISZERO
000030f3: PUSH2 0x30ff
000030f6: JUMPI
000030f7: PUSH2 0x30fe
000030fa: PUSH2 0x2bab
000030fd: JUMP
000030fe: JUMPDEST
000030ff: JUMPDEST
00003100: PUSH1 0x00
00003102: PUSH2 0x310d
00003105: DUP5
00003106: DUP3
00003107: DUP6
00003108: ADD
00003109: PUSH2 0x2e80
0000310c: JUMP
0000310d: JUMPDEST
0000310e: SWAP2
0000310f: POP
00003110: POP
00003111: SWAP3
00003112: SWAP2
00003113: POP
00003114: POP
00003115: JUMP
00003116: JUMPDEST
00003117: PUSH1 0x00
00003119: DUP1
0000311a: PUSH1 0x00
0000311c: DUP1
0000311d: PUSH1 0x80
0000311f: DUP6
00003120: DUP8
00003121: SUB
00003122: SLT
00003123: ISZERO
00003124: PUSH2 0x3130
00003127: JUMPI
00003128: PUSH2 0x312f
0000312b: PUSH2 0x2bab
0000312e: JUMP
0000312f: JUMPDEST
00003130: JUMPDEST
00003131: PUSH1 0x00
00003133: PUSH2 0x313e
00003136: DUP8
00003137: DUP3
00003138: DUP9
00003139: ADD
0000313a: PUSH2 0x2e80
0000313d: JUMP
0000313e: JUMPDEST
0000313f: SWAP5
00003140: POP
00003141: POP
00003142: PUSH1 0x20
00003144: PUSH2 0x314f
00003147: DUP8
00003148: DUP3
00003149: DUP9
0000314a: ADD
0000314b: PUSH2 0x2e80
0000314e: JUMP
0000314f: JUMPDEST
00003150: SWAP4
00003151: POP
00003152: POP
00003153: PUSH1 0x40
00003155: PUSH2 0x3160
00003158: DUP8
00003159: DUP3
0000315a: DUP9
0000315b: ADD
0000315c: PUSH2 0x2e80
0000315f: JUMP
00003160: JUMPDEST
00003161: SWAP3
00003162: POP
00003163: POP
00003164: PUSH1 0x60
00003166: PUSH2 0x3171
00003169: DUP8
0000316a: DUP3
0000316b: DUP9
0000316c: ADD
0000316d: PUSH2 0x2e80
00003170: JUMP
00003171: JUMPDEST
00003172: SWAP2
00003173: POP
00003174: POP
00003175: SWAP3
00003176: SWAP6
00003177: SWAP2
00003178: SWAP5
00003179: POP
0000317a: SWAP3
0000317b: POP
0000317c: JUMP
0000317d: JUMPDEST
0000317e: PUSH1 0x00
00003180: DUP1
00003181: REVERT
00003182: JUMPDEST
00003183: PUSH1 0x00
00003185: DUP1
00003186: DUP4
00003187: PUSH1 0x1f
00003189: DUP5
0000318a: ADD
0000318b: SLT
0000318c: PUSH2 0x3198
0000318f: JUMPI
00003190: PUSH2 0x3197
00003193: PUSH2 0x2bb5
00003196: JUMP
00003197: JUMPDEST
00003198: JUMPDEST
00003199: DUP3
0000319a: CALLDATALOAD
0000319b: SWAP1
0000319c: POP
0000319d: PUSH8 0xffffffffffffffff
000031a6: DUP2
000031a7: GT
000031a8: ISZERO
000031a9: PUSH2 0x31b5
000031ac: JUMPI
000031ad: PUSH2 0x31b4
000031b0: PUSH2 0x317d
000031b3: JUMP
000031b4: JUMPDEST
000031b5: JUMPDEST
000031b6: PUSH1 0x20
000031b8: DUP4
000031b9: ADD
000031ba: SWAP2
000031bb: POP
000031bc: DUP4
000031bd: PUSH1 0x20
000031bf: DUP3
000031c0: MUL
000031c1: DUP4
000031c2: ADD
000031c3: GT
000031c4: ISZERO
000031c5: PUSH2 0x31d1
000031c8: JUMPI
000031c9: PUSH2 0x31d0
000031cc: PUSH2 0x2c72
000031cf: JUMP
000031d0: JUMPDEST
000031d1: JUMPDEST
000031d2: SWAP3
000031d3: POP
000031d4: SWAP3
000031d5: SWAP1
000031d6: POP
000031d7: JUMP
000031d8: JUMPDEST
000031d9: PUSH1 0x00
000031db: DUP1
000031dc: PUSH1 0x00
000031de: PUSH1 0x40
000031e0: DUP5
000031e1: DUP7
000031e2: SUB
000031e3: SLT
000031e4: ISZERO
000031e5: PUSH2 0x31f1
000031e8: JUMPI
000031e9: PUSH2 0x31f0
000031ec: PUSH2 0x2bab
000031ef: JUMP
000031f0: JUMPDEST
000031f1: JUMPDEST
000031f2: PUSH1 0x00
000031f4: DUP5
000031f5: ADD
000031f6: CALLDATALOAD
000031f7: PUSH8 0xffffffffffffffff
00003200: DUP2
00003201: GT
00003202: ISZERO
00003203: PUSH2 0x320f
00003206: JUMPI
00003207: PUSH2 0x320e
0000320a: PUSH2 0x2bb0
0000320d: JUMP
0000320e: JUMPDEST
0000320f: JUMPDEST
00003210: PUSH2 0x321b
00003213: DUP7
00003214: DUP3
00003215: DUP8
00003216: ADD
00003217: PUSH2 0x3182
0000321a: JUMP
0000321b: JUMPDEST
0000321c: SWAP4
0000321d: POP
0000321e: SWAP4
0000321f: POP
00003220: POP
00003221: PUSH1 0x20
00003223: PUSH2 0x322e
00003226: DUP7
00003227: DUP3
00003228: DUP8
00003229: ADD
0000322a: PUSH2 0x30a7
0000322d: JUMP
0000322e: JUMPDEST
0000322f: SWAP2
00003230: POP
00003231: POP
00003232: SWAP3
00003233: POP
00003234: SWAP3
00003235: POP
00003236: SWAP3
00003237: JUMP
00003238: JUMPDEST
00003239: PUSH1 0x00
0000323b: DUP1
0000323c: PUSH1 0x40
0000323e: DUP4
0000323f: DUP6
00003240: SUB
00003241: SLT
00003242: ISZERO
00003243: PUSH2 0x324f
00003246: JUMPI
00003247: PUSH2 0x324e
0000324a: PUSH2 0x2bab
0000324d: JUMP
0000324e: JUMPDEST
0000324f: JUMPDEST
00003250: PUSH1 0x00
00003252: PUSH2 0x325d
00003255: DUP6
00003256: DUP3
00003257: DUP7
00003258: ADD
00003259: PUSH2 0x2cc0
0000325c: JUMP
0000325d: JUMPDEST
0000325e: SWAP3
0000325f: POP
00003260: POP
00003261: PUSH1 0x20
00003263: PUSH2 0x326e
00003266: DUP6
00003267: DUP3
00003268: DUP7
00003269: ADD
0000326a: PUSH2 0x2cc0
0000326d: JUMP
0000326e: JUMPDEST
0000326f: SWAP2
00003270: POP
00003271: POP
00003272: SWAP3
00003273: POP
00003274: SWAP3
00003275: SWAP1
00003276: POP
00003277: JUMP
00003278: JUMPDEST
00003279: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000329a: PUSH1 0x00
0000329c: DUP3
0000329d: ADD
0000329e: MSTORE
0000329f: POP
000032a0: JUMP
000032a1: JUMPDEST
000032a2: PUSH1 0x00
000032a4: PUSH2 0x32ae
000032a7: PUSH1 0x20
000032a9: DUP4
000032aa: PUSH2 0x2dc0
000032ad: JUMP
000032ae: JUMPDEST
000032af: SWAP2
000032b0: POP
000032b1: PUSH2 0x32b9
000032b4: DUP3
000032b5: PUSH2 0x3278
000032b8: JUMP
000032b9: JUMPDEST
000032ba: PUSH1 0x20
000032bc: DUP3
000032bd: ADD
000032be: SWAP1
000032bf: POP
000032c0: SWAP2
000032c1: SWAP1
000032c2: POP
000032c3: JUMP
000032c4: JUMPDEST
000032c5: PUSH1 0x00
000032c7: PUSH1 0x20
000032c9: DUP3
000032ca: ADD
000032cb: SWAP1
000032cc: POP
000032cd: DUP2
000032ce: DUP2
000032cf: SUB
000032d0: PUSH1 0x00
000032d2: DUP4
000032d3: ADD
000032d4: MSTORE
000032d5: PUSH2 0x32dd
000032d8: DUP2
000032d9: PUSH2 0x32a1
000032dc: JUMP
000032dd: JUMPDEST
000032de: SWAP1
000032df: POP
000032e0: SWAP2
000032e1: SWAP1
000032e2: POP
000032e3: JUMP
000032e4: JUMPDEST
000032e5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003306: PUSH1 0x00
00003308: MSTORE
00003309: PUSH1 0x32
0000330b: PUSH1 0x04
0000330d: MSTORE
0000330e: PUSH1 0x24
00003310: PUSH1 0x00
00003312: REVERT
00003313: JUMPDEST
00003314: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003335: PUSH1 0x00
00003337: MSTORE
00003338: PUSH1 0x11
0000333a: PUSH1 0x04
0000333c: MSTORE
0000333d: PUSH1 0x24
0000333f: PUSH1 0x00
00003341: REVERT
00003342: JUMPDEST
00003343: PUSH1 0x00
00003345: PUSH2 0x334d
00003348: DUP3
00003349: PUSH2 0x2e5f
0000334c: JUMP
0000334d: JUMPDEST
0000334e: SWAP2
0000334f: POP
00003350: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003371: DUP3
00003372: EQ
00003373: ISZERO
00003374: PUSH2 0x3380
00003377: JUMPI
00003378: PUSH2 0x337f
0000337b: PUSH2 0x3313
0000337e: JUMP
0000337f: JUMPDEST
00003380: JUMPDEST
00003381: PUSH1 0x01
00003383: DUP3
00003384: ADD
00003385: SWAP1
00003386: POP
00003387: SWAP2
00003388: SWAP1
00003389: POP
0000338a: JUMP
0000338b: JUMPDEST
0000338c: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000033ad: PUSH1 0x00
000033af: DUP3
000033b0: ADD
000033b1: MSTORE
000033b2: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
000033d3: PUSH1 0x20
000033d5: DUP3
000033d6: ADD
000033d7: MSTORE
000033d8: POP
000033d9: JUMP
000033da: JUMPDEST
000033db: PUSH1 0x00
000033dd: PUSH2 0x33e7
000033e0: PUSH1 0x26
000033e2: DUP4
000033e3: PUSH2 0x2dc0
000033e6: JUMP
000033e7: JUMPDEST
000033e8: SWAP2
000033e9: POP
000033ea: PUSH2 0x33f2
000033ed: DUP3
000033ee: PUSH2 0x338b
000033f1: JUMP
000033f2: JUMPDEST
000033f3: PUSH1 0x40
000033f5: DUP3
000033f6: ADD
000033f7: SWAP1
000033f8: POP
000033f9: SWAP2
000033fa: SWAP1
000033fb: POP
000033fc: JUMP
000033fd: JUMPDEST
000033fe: PUSH1 0x00
00003400: PUSH1 0x20
00003402: DUP3
00003403: ADD
00003404: SWAP1
00003405: POP
00003406: DUP2
00003407: DUP2
00003408: SUB
00003409: PUSH1 0x00
0000340b: DUP4
0000340c: ADD
0000340d: MSTORE
0000340e: PUSH2 0x3416
00003411: DUP2
00003412: PUSH2 0x33da
00003415: JUMP
00003416: JUMPDEST
00003417: SWAP1
00003418: POP
00003419: SWAP2
0000341a: SWAP1
0000341b: POP
0000341c: JUMP
0000341d: JUMPDEST
0000341e: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
0000343f: PUSH1 0x00
00003441: DUP3
00003442: ADD
00003443: MSTORE
00003444: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00003465: PUSH1 0x20
00003467: DUP3
00003468: ADD
00003469: MSTORE
0000346a: POP
0000346b: JUMP
0000346c: JUMPDEST
0000346d: PUSH1 0x00
0000346f: PUSH2 0x3479
00003472: PUSH1 0x24
00003474: DUP4
00003475: PUSH2 0x2dc0
00003478: JUMP
00003479: JUMPDEST
0000347a: SWAP2
0000347b: POP
0000347c: PUSH2 0x3484
0000347f: DUP3
00003480: PUSH2 0x341d
00003483: JUMP
00003484: JUMPDEST
00003485: PUSH1 0x40
00003487: DUP3
00003488: ADD
00003489: SWAP1
0000348a: POP
0000348b: SWAP2
0000348c: SWAP1
0000348d: POP
0000348e: JUMP
0000348f: JUMPDEST
00003490: PUSH1 0x00
00003492: PUSH1 0x20
00003494: DUP3
00003495: ADD
00003496: SWAP1
00003497: POP
00003498: DUP2
00003499: DUP2
0000349a: SUB
0000349b: PUSH1 0x00
0000349d: DUP4
0000349e: ADD
0000349f: MSTORE
000034a0: PUSH2 0x34a8
000034a3: DUP2
000034a4: PUSH2 0x346c
000034a7: JUMP
000034a8: JUMPDEST
000034a9: SWAP1
000034aa: POP
000034ab: SWAP2
000034ac: SWAP1
000034ad: POP
000034ae: JUMP
000034af: JUMPDEST
000034b0: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
000034d1: PUSH1 0x00
000034d3: DUP3
000034d4: ADD
000034d5: MSTORE
000034d6: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
000034f7: PUSH1 0x20
000034f9: DUP3
000034fa: ADD
000034fb: MSTORE
000034fc: POP
000034fd: JUMP
000034fe: JUMPDEST
000034ff: PUSH1 0x00
00003501: PUSH2 0x350b
00003504: PUSH1 0x22
00003506: DUP4
00003507: PUSH2 0x2dc0
0000350a: JUMP
0000350b: JUMPDEST
0000350c: SWAP2
0000350d: POP
0000350e: PUSH2 0x3516
00003511: DUP3
00003512: PUSH2 0x34af
00003515: JUMP
00003516: JUMPDEST
00003517: PUSH1 0x40
00003519: DUP3
0000351a: ADD
0000351b: SWAP1
0000351c: POP
0000351d: SWAP2
0000351e: SWAP1
0000351f: POP
00003520: JUMP
00003521: JUMPDEST
00003522: PUSH1 0x00
00003524: PUSH1 0x20
00003526: DUP3
00003527: ADD
00003528: SWAP1
00003529: POP
0000352a: DUP2
0000352b: DUP2
0000352c: SUB
0000352d: PUSH1 0x00
0000352f: DUP4
00003530: ADD
00003531: MSTORE
00003532: PUSH2 0x353a
00003535: DUP2
00003536: PUSH2 0x34fe
00003539: JUMP
0000353a: JUMPDEST
0000353b: SWAP1
0000353c: POP
0000353d: SWAP2
0000353e: SWAP1
0000353f: POP
00003540: JUMP
00003541: JUMPDEST
00003542: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00003563: PUSH1 0x00
00003565: DUP3
00003566: ADD
00003567: MSTORE
00003568: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00003589: PUSH1 0x20
0000358b: DUP3
0000358c: ADD
0000358d: MSTORE
0000358e: POP
0000358f: JUMP
00003590: JUMPDEST
00003591: PUSH1 0x00
00003593: PUSH2 0x359d
00003596: PUSH1 0x25
00003598: DUP4
00003599: PUSH2 0x2dc0
0000359c: JUMP
0000359d: JUMPDEST
0000359e: SWAP2
0000359f: POP
000035a0: PUSH2 0x35a8
000035a3: DUP3
000035a4: PUSH2 0x3541
000035a7: JUMP
000035a8: JUMPDEST
000035a9: PUSH1 0x40
000035ab: DUP3
000035ac: ADD
000035ad: SWAP1
000035ae: POP
000035af: SWAP2
000035b0: SWAP1
000035b1: POP
000035b2: JUMP
000035b3: JUMPDEST
000035b4: PUSH1 0x00
000035b6: PUSH1 0x20
000035b8: DUP3
000035b9: ADD
000035ba: SWAP1
000035bb: POP
000035bc: DUP2
000035bd: DUP2
000035be: SUB
000035bf: PUSH1 0x00
000035c1: DUP4
000035c2: ADD
000035c3: MSTORE
000035c4: PUSH2 0x35cc
000035c7: DUP2
000035c8: PUSH2 0x3590
000035cb: JUMP
000035cc: JUMPDEST
000035cd: SWAP1
000035ce: POP
000035cf: SWAP2
000035d0: SWAP1
000035d1: POP
000035d2: JUMP
000035d3: JUMPDEST
000035d4: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000035f5: PUSH1 0x00
000035f7: DUP3
000035f8: ADD
000035f9: MSTORE
000035fa: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
0000361b: PUSH1 0x20
0000361d: DUP3
0000361e: ADD
0000361f: MSTORE
00003620: POP
00003621: JUMP
00003622: JUMPDEST
00003623: PUSH1 0x00
00003625: PUSH2 0x362f
00003628: PUSH1 0x23
0000362a: DUP4
0000362b: PUSH2 0x2dc0
0000362e: JUMP
0000362f: JUMPDEST
00003630: SWAP2
00003631: POP
00003632: PUSH2 0x363a
00003635: DUP3
00003636: PUSH2 0x35d3
00003639: JUMP
0000363a: JUMPDEST
0000363b: PUSH1 0x40
0000363d: DUP3
0000363e: ADD
0000363f: SWAP1
00003640: POP
00003641: SWAP2
00003642: SWAP1
00003643: POP
00003644: JUMP
00003645: JUMPDEST
00003646: PUSH1 0x00
00003648: PUSH1 0x20
0000364a: DUP3
0000364b: ADD
0000364c: SWAP1
0000364d: POP
0000364e: DUP2
0000364f: DUP2
00003650: SUB
00003651: PUSH1 0x00
00003653: DUP4
00003654: ADD
00003655: MSTORE
00003656: PUSH2 0x365e
00003659: DUP2
0000365a: PUSH2 0x3622
0000365d: JUMP
0000365e: JUMPDEST
0000365f: SWAP1
00003660: POP
00003661: SWAP2
00003662: SWAP1
00003663: POP
00003664: JUMP
00003665: JUMPDEST
00003666: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00003687: PUSH1 0x00
00003689: DUP3
0000368a: ADD
0000368b: MSTORE
0000368c: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000
000036ad: PUSH1 0x20
000036af: DUP3
000036b0: ADD
000036b1: MSTORE
000036b2: POP
000036b3: JUMP
000036b4: JUMPDEST
000036b5: PUSH1 0x00
000036b7: PUSH2 0x36c1
000036ba: PUSH1 0x29
000036bc: DUP4
000036bd: PUSH2 0x2dc0
000036c0: JUMP
000036c1: JUMPDEST
000036c2: SWAP2
000036c3: POP
000036c4: PUSH2 0x36cc
000036c7: DUP3
000036c8: PUSH2 0x3665
000036cb: JUMP
000036cc: JUMPDEST
000036cd: PUSH1 0x40
000036cf: DUP3
000036d0: ADD
000036d1: SWAP1
000036d2: POP
000036d3: SWAP2
000036d4: SWAP1
000036d5: POP
000036d6: JUMP
000036d7: JUMPDEST
000036d8: PUSH1 0x00
000036da: PUSH1 0x20
000036dc: DUP3
000036dd: ADD
000036de: SWAP1
000036df: POP
000036e0: DUP2
000036e1: DUP2
000036e2: SUB
000036e3: PUSH1 0x00
000036e5: DUP4
000036e6: ADD
000036e7: MSTORE
000036e8: PUSH2 0x36f0
000036eb: DUP2
000036ec: PUSH2 0x36b4
000036ef: JUMP
000036f0: JUMPDEST
000036f1: SWAP1
000036f2: POP
000036f3: SWAP2
000036f4: SWAP1
000036f5: POP
000036f6: JUMP
000036f7: JUMPDEST
000036f8: PUSH32 0x544f4b454e3a2054686973206163636f756e742063616e6e6f742073656e6420
00003719: PUSH1 0x00
0000371b: DUP3
0000371c: ADD
0000371d: MSTORE
0000371e: PUSH32 0x746f6b656e7320756e74696c2074726164696e6720697320656e61626c656400
0000373f: PUSH1 0x20
00003741: DUP3
00003742: ADD
00003743: MSTORE
00003744: POP
00003745: JUMP
00003746: JUMPDEST
00003747: PUSH1 0x00
00003749: PUSH2 0x3753
0000374c: PUSH1 0x3f
0000374e: DUP4
0000374f: PUSH2 0x2dc0
00003752: JUMP
00003753: JUMPDEST
00003754: SWAP2
00003755: POP
00003756: PUSH2 0x375e
00003759: DUP3
0000375a: PUSH2 0x36f7
0000375d: JUMP
0000375e: JUMPDEST
0000375f: PUSH1 0x40
00003761: DUP3
00003762: ADD
00003763: SWAP1
00003764: POP
00003765: SWAP2
00003766: SWAP1
00003767: POP
00003768: JUMP
00003769: JUMPDEST
0000376a: PUSH1 0x00
0000376c: PUSH1 0x20
0000376e: DUP3
0000376f: ADD
00003770: SWAP1
00003771: POP
00003772: DUP2
00003773: DUP2
00003774: SUB
00003775: PUSH1 0x00
00003777: DUP4
00003778: ADD
00003779: MSTORE
0000377a: PUSH2 0x3782
0000377d: DUP2
0000377e: PUSH2 0x3746
00003781: JUMP
00003782: JUMPDEST
00003783: SWAP1
00003784: POP
00003785: SWAP2
00003786: SWAP1
00003787: POP
00003788: JUMP
00003789: JUMPDEST
0000378a: PUSH32 0x544f4b454e3a204d6178205472616e73616374696f6e204c696d697400000000
000037ab: PUSH1 0x00
000037ad: DUP3
000037ae: ADD
000037af: MSTORE
000037b0: POP
000037b1: JUMP
000037b2: JUMPDEST
000037b3: PUSH1 0x00
000037b5: PUSH2 0x37bf
000037b8: PUSH1 0x1c
000037ba: DUP4
000037bb: PUSH2 0x2dc0
000037be: JUMP
000037bf: JUMPDEST
000037c0: SWAP2
000037c1: POP
000037c2: PUSH2 0x37ca
000037c5: DUP3
000037c6: PUSH2 0x3789
000037c9: JUMP
000037ca: JUMPDEST
000037cb: PUSH1 0x20
000037cd: DUP3
000037ce: ADD
000037cf: SWAP1
000037d0: POP
000037d1: SWAP2
000037d2: SWAP1
000037d3: POP
000037d4: JUMP
000037d5: JUMPDEST
000037d6: PUSH1 0x00
000037d8: PUSH1 0x20
000037da: DUP3
000037db: ADD
000037dc: SWAP1
000037dd: POP
000037de: DUP2
000037df: DUP2
000037e0: SUB
000037e1: PUSH1 0x00
000037e3: DUP4
000037e4: ADD
000037e5: MSTORE
000037e6: PUSH2 0x37ee
000037e9: DUP2
000037ea: PUSH2 0x37b2
000037ed: JUMP
000037ee: JUMPDEST
000037ef: SWAP1
000037f0: POP
000037f1: SWAP2
000037f2: SWAP1
000037f3: POP
000037f4: JUMP
000037f5: JUMPDEST
000037f6: PUSH32 0x544f4b454e3a20596f7572206163636f756e7420697320626c61636b6c697374
00003817: PUSH1 0x00
00003819: DUP3
0000381a: ADD
0000381b: MSTORE
0000381c: PUSH32 0x6564210000000000000000000000000000000000000000000000000000000000
0000383d: PUSH1 0x20
0000383f: DUP3
00003840: ADD
00003841: MSTORE
00003842: POP
00003843: JUMP
00003844: JUMPDEST
00003845: PUSH1 0x00
00003847: PUSH2 0x3851
0000384a: PUSH1 0x23
0000384c: DUP4
0000384d: PUSH2 0x2dc0
00003850: JUMP
00003851: JUMPDEST
00003852: SWAP2
00003853: POP
00003854: PUSH2 0x385c
00003857: DUP3
00003858: PUSH2 0x37f5
0000385b: JUMP
0000385c: JUMPDEST
0000385d: PUSH1 0x40
0000385f: DUP3
00003860: ADD
00003861: SWAP1
00003862: POP
00003863: SWAP2
00003864: SWAP1
00003865: POP
00003866: JUMP
00003867: JUMPDEST
00003868: PUSH1 0x00
0000386a: PUSH1 0x20
0000386c: DUP3
0000386d: ADD
0000386e: SWAP1
0000386f: POP
00003870: DUP2
00003871: DUP2
00003872: SUB
00003873: PUSH1 0x00
00003875: DUP4
00003876: ADD
00003877: MSTORE
00003878: PUSH2 0x3880
0000387b: DUP2
0000387c: PUSH2 0x3844
0000387f: JUMP
00003880: JUMPDEST
00003881: SWAP1
00003882: POP
00003883: SWAP2
00003884: SWAP1
00003885: POP
00003886: JUMP
00003887: JUMPDEST
00003888: PUSH1 0x00
0000388a: PUSH2 0x3892
0000388d: DUP3
0000388e: PUSH2 0x2e5f
00003891: JUMP
00003892: JUMPDEST
00003893: SWAP2
00003894: POP
00003895: PUSH2 0x389d
00003898: DUP4
00003899: PUSH2 0x2e5f
0000389c: JUMP
0000389d: JUMPDEST
0000389e: SWAP3
0000389f: POP
000038a0: DUP3
000038a1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000038c2: SUB
000038c3: DUP3
000038c4: GT
000038c5: ISZERO
000038c6: PUSH2 0x38d2
000038c9: JUMPI
000038ca: PUSH2 0x38d1
000038cd: PUSH2 0x3313
000038d0: JUMP
000038d1: JUMPDEST
000038d2: JUMPDEST
000038d3: DUP3
000038d4: DUP3
000038d5: ADD
000038d6: SWAP1
000038d7: POP
000038d8: SWAP3
000038d9: SWAP2
000038da: POP
000038db: POP
000038dc: JUMP
000038dd: JUMPDEST
000038de: PUSH32 0x544f4b454e3a2042616c616e636520657863656564732077616c6c6574207369
000038ff: PUSH1 0x00
00003901: DUP3
00003902: ADD
00003903: MSTORE
00003904: PUSH32 0x7a65210000000000000000000000000000000000000000000000000000000000
00003925: PUSH1 0x20
00003927: DUP3
00003928: ADD
00003929: MSTORE
0000392a: POP
0000392b: JUMP
0000392c: JUMPDEST
0000392d: PUSH1 0x00
0000392f: PUSH2 0x3939
00003932: PUSH1 0x23
00003934: DUP4
00003935: PUSH2 0x2dc0
00003938: JUMP
00003939: JUMPDEST
0000393a: SWAP2
0000393b: POP
0000393c: PUSH2 0x3944
0000393f: DUP3
00003940: PUSH2 0x38dd
00003943: JUMP
00003944: JUMPDEST
00003945: PUSH1 0x40
00003947: DUP3
00003948: ADD
00003949: SWAP1
0000394a: POP
0000394b: SWAP2
0000394c: SWAP1
0000394d: POP
0000394e: JUMP
0000394f: JUMPDEST
00003950: PUSH1 0x00
00003952: PUSH1 0x20
00003954: DUP3
00003955: ADD
00003956: SWAP1
00003957: POP
00003958: DUP2
00003959: DUP2
0000395a: SUB
0000395b: PUSH1 0x00
0000395d: DUP4
0000395e: ADD
0000395f: MSTORE
00003960: PUSH2 0x3968
00003963: DUP2
00003964: PUSH2 0x392c
00003967: JUMP
00003968: JUMPDEST
00003969: SWAP1
0000396a: POP
0000396b: SWAP2
0000396c: SWAP1
0000396d: POP
0000396e: JUMP
0000396f: JUMPDEST
00003970: PUSH1 0x00
00003972: PUSH2 0x397a
00003975: DUP3
00003976: PUSH2 0x2e5f
00003979: JUMP
0000397a: JUMPDEST
0000397b: SWAP2
0000397c: POP
0000397d: PUSH2 0x3985
00003980: DUP4
00003981: PUSH2 0x2e5f
00003984: JUMP
00003985: JUMPDEST
00003986: SWAP3
00003987: POP
00003988: DUP3
00003989: DUP3
0000398a: LT
0000398b: ISZERO
0000398c: PUSH2 0x3998
0000398f: JUMPI
00003990: PUSH2 0x3997
00003993: PUSH2 0x3313
00003996: JUMP
00003997: JUMPDEST
00003998: JUMPDEST
00003999: DUP3
0000399a: DUP3
0000399b: SUB
0000399c: SWAP1
0000399d: POP
0000399e: SWAP3
0000399f: SWAP2
000039a0: POP
000039a1: POP
000039a2: JUMP
000039a3: JUMPDEST
000039a4: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072
000039c5: PUSH1 0x00
000039c7: DUP3
000039c8: ADD
000039c9: MSTORE
000039ca: PUSH32 0x65666c656374696f6e7300000000000000000000000000000000000000000000
000039eb: PUSH1 0x20
000039ed: DUP3
000039ee: ADD
000039ef: MSTORE
000039f0: POP
000039f1: JUMP
000039f2: JUMPDEST
000039f3: PUSH1 0x00
000039f5: PUSH2 0x39ff
000039f8: PUSH1 0x2a
000039fa: DUP4
000039fb: PUSH2 0x2dc0
000039fe: JUMP
000039ff: JUMPDEST
00003a00: SWAP2
00003a01: POP
00003a02: PUSH2 0x3a0a
00003a05: DUP3
00003a06: PUSH2 0x39a3
00003a09: JUMP
00003a0a: JUMPDEST
00003a0b: PUSH1 0x40
00003a0d: DUP3
00003a0e: ADD
00003a0f: SWAP1
00003a10: POP
00003a11: SWAP2
00003a12: SWAP1
00003a13: POP
00003a14: JUMP
00003a15: JUMPDEST
00003a16: PUSH1 0x00
00003a18: PUSH1 0x20
00003a1a: DUP3
00003a1b: ADD
00003a1c: SWAP1
00003a1d: POP
00003a1e: DUP2
00003a1f: DUP2
00003a20: SUB
00003a21: PUSH1 0x00
00003a23: DUP4
00003a24: ADD
00003a25: MSTORE
00003a26: PUSH2 0x3a2e
00003a29: DUP2
00003a2a: PUSH2 0x39f2
00003a2d: JUMP
00003a2e: JUMPDEST
00003a2f: SWAP1
00003a30: POP
00003a31: SWAP2
00003a32: SWAP1
00003a33: POP
00003a34: JUMP
00003a35: JUMPDEST
00003a36: PUSH1 0x00
00003a38: DUP2
00003a39: MLOAD
00003a3a: SWAP1
00003a3b: POP
00003a3c: PUSH2 0x3a44
00003a3f: DUP2
00003a40: PUSH2 0x2ca9
00003a43: JUMP
00003a44: JUMPDEST
00003a45: SWAP3
00003a46: SWAP2
00003a47: POP
00003a48: POP
00003a49: JUMP
00003a4a: JUMPDEST
00003a4b: PUSH1 0x00
00003a4d: PUSH1 0x20
00003a4f: DUP3
00003a50: DUP5
00003a51: SUB
00003a52: SLT
00003a53: ISZERO
00003a54: PUSH2 0x3a60
00003a57: JUMPI
00003a58: PUSH2 0x3a5f
00003a5b: PUSH2 0x2bab
00003a5e: JUMP
00003a5f: JUMPDEST
00003a60: JUMPDEST
00003a61: PUSH1 0x00
00003a63: PUSH2 0x3a6e
00003a66: DUP5
00003a67: DUP3
00003a68: DUP6
00003a69: ADD
00003a6a: PUSH2 0x3a35
00003a6d: JUMP
00003a6e: JUMPDEST
00003a6f: SWAP2
00003a70: POP
00003a71: POP
00003a72: SWAP3
00003a73: SWAP2
00003a74: POP
00003a75: POP
00003a76: JUMP
00003a77: JUMPDEST
00003a78: PUSH1 0x00
00003a7a: DUP2
00003a7b: SWAP1
00003a7c: POP
00003a7d: SWAP2
00003a7e: SWAP1
00003a7f: POP
00003a80: JUMP
00003a81: JUMPDEST
00003a82: PUSH1 0x00
00003a84: PUSH2 0x3a9c
00003a87: PUSH2 0x3a97
00003a8a: PUSH2 0x3a92
00003a8d: DUP5
00003a8e: PUSH2 0x3a77
00003a91: JUMP
00003a92: JUMPDEST
00003a93: PUSH2 0x2f0b
00003a96: JUMP
00003a97: JUMPDEST
00003a98: PUSH2 0x2e5f
00003a9b: JUMP
00003a9c: JUMPDEST
00003a9d: SWAP1
00003a9e: POP
00003a9f: SWAP2
00003aa0: SWAP1
00003aa1: POP
00003aa2: JUMP
00003aa3: JUMPDEST
00003aa4: PUSH2 0x3aac
00003aa7: DUP2
00003aa8: PUSH2 0x3a81
00003aab: JUMP
00003aac: JUMPDEST
00003aad: DUP3
00003aae: MSTORE
00003aaf: POP
00003ab0: POP
00003ab1: JUMP
00003ab2: JUMPDEST
00003ab3: PUSH1 0x00
00003ab5: DUP2
00003ab6: MLOAD
00003ab7: SWAP1
00003ab8: POP
00003ab9: SWAP2
00003aba: SWAP1
00003abb: POP
00003abc: JUMP
00003abd: JUMPDEST
00003abe: PUSH1 0x00
00003ac0: DUP3
00003ac1: DUP3
00003ac2: MSTORE
00003ac3: PUSH1 0x20
00003ac5: DUP3
00003ac6: ADD
00003ac7: SWAP1
00003ac8: POP
00003ac9: SWAP3
00003aca: SWAP2
00003acb: POP
00003acc: POP
00003acd: JUMP
00003ace: JUMPDEST
00003acf: PUSH1 0x00
00003ad1: DUP2
00003ad2: SWAP1
00003ad3: POP
00003ad4: PUSH1 0x20
00003ad6: DUP3
00003ad7: ADD
00003ad8: SWAP1
00003ad9: POP
00003ada: SWAP2
00003adb: SWAP1
00003adc: POP
00003add: JUMP
00003ade: JUMPDEST
00003adf: PUSH2 0x3ae7
00003ae2: DUP2
00003ae3: PUSH2 0x2c97
00003ae6: JUMP
00003ae7: JUMPDEST
00003ae8: DUP3
00003ae9: MSTORE
00003aea: POP
00003aeb: POP
00003aec: JUMP
00003aed: JUMPDEST
00003aee: PUSH1 0x00
00003af0: PUSH2 0x3af9
00003af3: DUP4
00003af4: DUP4
00003af5: PUSH2 0x3ade
00003af8: JUMP
00003af9: JUMPDEST
00003afa: PUSH1 0x20
00003afc: DUP4
00003afd: ADD
00003afe: SWAP1
00003aff: POP
00003b00: SWAP3
00003b01: SWAP2
00003b02: POP
00003b03: POP
00003b04: JUMP
00003b05: JUMPDEST
00003b06: PUSH1 0x00
00003b08: PUSH1 0x20
00003b0a: DUP3
00003b0b: ADD
00003b0c: SWAP1
00003b0d: POP
00003b0e: SWAP2
00003b0f: SWAP1
00003b10: POP
00003b11: JUMP
00003b12: JUMPDEST
00003b13: PUSH1 0x00
00003b15: PUSH2 0x3b1d
00003b18: DUP3
00003b19: PUSH2 0x3ab2
00003b1c: JUMP
00003b1d: JUMPDEST
00003b1e: PUSH2 0x3b27
00003b21: DUP2
00003b22: DUP6
00003b23: PUSH2 0x3abd
00003b26: JUMP
00003b27: JUMPDEST
00003b28: SWAP4
00003b29: POP
00003b2a: PUSH2 0x3b32
00003b2d: DUP4
00003b2e: PUSH2 0x3ace
00003b31: JUMP
00003b32: JUMPDEST
00003b33: DUP1
00003b34: PUSH1 0x00
00003b36: JUMPDEST
00003b37: DUP4
00003b38: DUP2
00003b39: LT
00003b3a: ISZERO
00003b3b: PUSH2 0x3b63
00003b3e: JUMPI
00003b3f: DUP2
00003b40: MLOAD
00003b41: PUSH2 0x3b4a
00003b44: DUP9
00003b45: DUP3
00003b46: PUSH2 0x3aed
00003b49: JUMP
00003b4a: JUMPDEST
00003b4b: SWAP8
00003b4c: POP
00003b4d: PUSH2 0x3b55
00003b50: DUP4
00003b51: PUSH2 0x3b05
00003b54: JUMP
00003b55: JUMPDEST
00003b56: SWAP3
00003b57: POP
00003b58: POP
00003b59: PUSH1 0x01
00003b5b: DUP2
00003b5c: ADD
00003b5d: SWAP1
00003b5e: POP
00003b5f: PUSH2 0x3b36
00003b62: JUMP
00003b63: JUMPDEST
00003b64: POP
00003b65: DUP6
00003b66: SWAP4
00003b67: POP
00003b68: POP
00003b69: POP
00003b6a: POP
00003b6b: SWAP3
00003b6c: SWAP2
00003b6d: POP
00003b6e: POP
00003b6f: JUMP
00003b70: JUMPDEST
00003b71: PUSH1 0x00
00003b73: PUSH1 0xa0
00003b75: DUP3
00003b76: ADD
00003b77: SWAP1
00003b78: POP
00003b79: PUSH2 0x3b85
00003b7c: PUSH1 0x00
00003b7e: DUP4
00003b7f: ADD
00003b80: DUP9
00003b81: PUSH2 0x2f85
00003b84: JUMP
00003b85: JUMPDEST
00003b86: PUSH2 0x3b92
00003b89: PUSH1 0x20
00003b8b: DUP4
00003b8c: ADD
00003b8d: DUP8
00003b8e: PUSH2 0x3aa3
00003b91: JUMP
00003b92: JUMPDEST
00003b93: DUP2
00003b94: DUP2
00003b95: SUB
00003b96: PUSH1 0x40
00003b98: DUP4
00003b99: ADD
00003b9a: MSTORE
00003b9b: PUSH2 0x3ba4
00003b9e: DUP2
00003b9f: DUP7
00003ba0: PUSH2 0x3b12
00003ba3: JUMP
00003ba4: JUMPDEST
00003ba5: SWAP1
00003ba6: POP
00003ba7: PUSH2 0x3bb3
00003baa: PUSH1 0x60
00003bac: DUP4
00003bad: ADD
00003bae: DUP6
00003baf: PUSH2 0x3039
00003bb2: JUMP
00003bb3: JUMPDEST
00003bb4: PUSH2 0x3bc0
00003bb7: PUSH1 0x80
00003bb9: DUP4
00003bba: ADD
00003bbb: DUP5
00003bbc: PUSH2 0x2f85
00003bbf: JUMP
00003bc0: JUMPDEST
00003bc1: SWAP7
00003bc2: SWAP6
00003bc3: POP
00003bc4: POP
00003bc5: POP
00003bc6: POP
00003bc7: POP
00003bc8: POP
00003bc9: JUMP
00003bca: JUMPDEST
00003bcb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003bec: PUSH1 0x00
00003bee: MSTORE
00003bef: PUSH1 0x12
00003bf1: PUSH1 0x04
00003bf3: MSTORE
00003bf4: PUSH1 0x24
00003bf6: PUSH1 0x00
00003bf8: REVERT
00003bf9: JUMPDEST
00003bfa: PUSH1 0x00
00003bfc: PUSH2 0x3c04
00003bff: DUP3
00003c00: PUSH2 0x2e5f
00003c03: JUMP
00003c04: JUMPDEST
00003c05: SWAP2
00003c06: POP
00003c07: PUSH2 0x3c0f
00003c0a: DUP4
00003c0b: PUSH2 0x2e5f
00003c0e: JUMP
00003c0f: JUMPDEST
00003c10: SWAP3
00003c11: POP
00003c12: DUP3
00003c13: PUSH2 0x3c1f
00003c16: JUMPI
00003c17: PUSH2 0x3c1e
00003c1a: PUSH2 0x3bca
00003c1d: JUMP
00003c1e: JUMPDEST
00003c1f: JUMPDEST
00003c20: DUP3
00003c21: DUP3
00003c22: DIV
00003c23: SWAP1
00003c24: POP
00003c25: SWAP3
00003c26: SWAP2
00003c27: POP
00003c28: POP
00003c29: JUMP
00003c2a: JUMPDEST
00003c2b: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003c4c: PUSH1 0x00
00003c4e: DUP3
00003c4f: ADD
00003c50: MSTORE
00003c51: POP
00003c52: JUMP
00003c53: JUMPDEST
00003c54: PUSH1 0x00
00003c56: PUSH2 0x3c60
00003c59: PUSH1 0x1b
00003c5b: DUP4
00003c5c: PUSH2 0x2dc0
00003c5f: JUMP
00003c60: JUMPDEST
00003c61: SWAP2
00003c62: POP
00003c63: PUSH2 0x3c6b
00003c66: DUP3
00003c67: PUSH2 0x3c2a
00003c6a: JUMP
00003c6b: JUMPDEST
00003c6c: PUSH1 0x20
00003c6e: DUP3
00003c6f: ADD
00003c70: SWAP1
00003c71: POP
00003c72: SWAP2
00003c73: SWAP1
00003c74: POP
00003c75: JUMP
00003c76: JUMPDEST
00003c77: PUSH1 0x00
00003c79: PUSH1 0x20
00003c7b: DUP3
00003c7c: ADD
00003c7d: SWAP1
00003c7e: POP
00003c7f: DUP2
00003c80: DUP2
00003c81: SUB
00003c82: PUSH1 0x00
00003c84: DUP4
00003c85: ADD
00003c86: MSTORE
00003c87: PUSH2 0x3c8f
00003c8a: DUP2
00003c8b: PUSH2 0x3c53
00003c8e: JUMP
00003c8f: JUMPDEST
00003c90: SWAP1
00003c91: POP
00003c92: SWAP2
00003c93: SWAP1
00003c94: POP
00003c95: JUMP
00003c96: JUMPDEST
00003c97: PUSH1 0x00
00003c99: PUSH2 0x3ca1
00003c9c: DUP3
00003c9d: PUSH2 0x2e5f
00003ca0: JUMP
00003ca1: JUMPDEST
00003ca2: SWAP2
00003ca3: POP
00003ca4: PUSH2 0x3cac
00003ca7: DUP4
00003ca8: PUSH2 0x2e5f
00003cab: JUMP
00003cac: JUMPDEST
00003cad: SWAP3
00003cae: POP
00003caf: DUP2
00003cb0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003cd1: DIV
00003cd2: DUP4
00003cd3: GT
00003cd4: DUP3
00003cd5: ISZERO
00003cd6: ISZERO
00003cd7: AND
00003cd8: ISZERO
00003cd9: PUSH2 0x3ce5
00003cdc: JUMPI
00003cdd: PUSH2 0x3ce4
00003ce0: PUSH2 0x3313
00003ce3: JUMP
00003ce4: JUMPDEST
00003ce5: JUMPDEST
00003ce6: DUP3
00003ce7: DUP3
00003ce8: MUL
00003ce9: SWAP1
00003cea: POP
00003ceb: SWAP3
00003cec: SWAP2
00003ced: POP
00003cee: POP
00003cef: JUMP
00003cf0: JUMPDEST
00003cf1: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00003d12: PUSH1 0x00
00003d14: DUP3
00003d15: ADD
00003d16: MSTORE
00003d17: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00003d38: PUSH1 0x20
00003d3a: DUP3
00003d3b: ADD
00003d3c: MSTORE
00003d3d: POP
00003d3e: JUMP
00003d3f: JUMPDEST
00003d40: PUSH1 0x00
00003d42: PUSH2 0x3d4c
00003d45: PUSH1 0x21
00003d47: DUP4
00003d48: PUSH2 0x2dc0
00003d4b: JUMP
00003d4c: JUMPDEST
00003d4d: SWAP2
00003d4e: POP
00003d4f: PUSH2 0x3d57
00003d52: DUP3
00003d53: PUSH2 0x3cf0
00003d56: JUMP
00003d57: JUMPDEST
00003d58: PUSH1 0x40
00003d5a: DUP3
00003d5b: ADD
00003d5c: SWAP1
00003d5d: POP
00003d5e: SWAP2
00003d5f: SWAP1
00003d60: POP
00003d61: JUMP
00003d62: JUMPDEST
00003d63: PUSH1 0x00
00003d65: PUSH1 0x20
00003d67: DUP3
00003d68: ADD
00003d69: SWAP1
00003d6a: POP
00003d6b: DUP2
00003d6c: DUP2
00003d6d: SUB
00003d6e: PUSH1 0x00
00003d70: DUP4
00003d71: ADD
00003d72: MSTORE
00003d73: PUSH2 0x3d7b
00003d76: DUP2
00003d77: PUSH2 0x3d3f
00003d7a: JUMP
00003d7b: JUMPDEST
00003d7c: SWAP1
00003d7d: POP
00003d7e: SWAP2
00003d7f: SWAP1
00003d80: POP
00003d81: JUMP
00003d82: INVALID
00003d83: GASLIMIT
00003d84: MSTORE
00003d85: NUMBER
00003d86: ORIGIN
00003d87: ADDRESS
00003d88: GASPRICE
00003d89: KECCAK256
00003d8a: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00003da0: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
00003db5: UNKNOWN(0x2F)
00003db6: UNKNOWN(0x1F)
00003db7: UNKNOWN(0x2D)
00003db8: MCOPY
00003db9: UNKNOWN(0x0D)
00003dba: UNKNOWN(0xB5)
00003dbb: PUSH12 0x5f43b9956e10df922fe56f5e
00003dc8: UNKNOWN(0xE7)
00003dc9: SIGNEXTEND
00003dca: NUMBER
00003dcb: UNKNOWN(0xCB)
00003dcc: DUP13
00003dcd: UNKNOWN(0x26)
00003dce: UNKNOWN(0xF8)
00003dcf: CALLDATASIZE
00003dd0: BASEFEE
00003dd1: UNKNOWN(0xBA)
00003dd2: DUP10
00003dd3: STATICCALL
00003dd4: UNKNOWN(0xB9)
00003dd5: PUSH5 0x736f6c6343
00003ddb: STOP
00003ddc: ADDMOD
00003ddd: MULMOD
00003dde: STOP
00003ddf: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xc492f046", "selector": "0xc492f046", "calldata_variants": [ "0xc492f046", "0xc492f0460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea1644d5", "selector": "0xea1644d5", "calldata_variants": [ "0xea1644d5", "0xea1644d50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa2a957bb", "selector": "0xa2a957bb", "calldata_variants": [ "0xa2a957bb", "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbfd79284", "selector": "0xbfd79284", "calldata_variants": [ "0xbfd79284", "0xbfd792840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3c8cd80", "selector": "0xc3c8cd80", "calldata_variants": [ "0xc3c8cd80", "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 15750, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x79c1f0d9a9ae34b4e6fdbf52abd3276c7d9782977a5d922c1351c81540d5b0db call_targets: 0x1ae7e1d0ce06364ced9ad58225a1705b3e5db92b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x79c1f0d9a9ae34b4e6fdbf52abd3276c7d9782977a5d922c1351c81540d5b0db", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1ae7e1d0ce06364ced9ad58225a1705b3e5db92b" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xc492f046", "selector": "0xc492f046", "calldata_variants": [ "0xc492f046", "0xc492f0460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea1644d5", "selector": "0xea1644d5", "calldata_variants": [ "0xea1644d5", "0xea1644d50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa2a957bb", "selector": "0xa2a957bb", "calldata_variants": [ "0xa2a957bb", "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbfd79284", "selector": "0xbfd79284", "calldata_variants": [ "0xbfd79284", "0xbfd792840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3c8cd80", "selector": "0xc3c8cd80", "calldata_variants": [ "0xc3c8cd80", "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8556, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9287, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 15750, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x79c1f0d9a9ae34b4e6fdbf52abd3276c7d9782977a5d922c1351c81540d5b0db call_targets: 0x1ae7e1d0ce06364ced9ad58225a1705b3e5db92b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x79c1f0d9a9ae34b4e6fdbf52abd3276c7d9782977a5d922c1351c81540d5b0db", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1ae7e1d0ce06364ced9ad58225a1705b3e5db92b" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xc492f046", "selector": "0xc492f046", "calldata_variants": [ "0xc492f046", "0xc492f0460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea1644d5", "selector": "0xea1644d5", "calldata_variants": [ "0xea1644d5", "0xea1644d50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa2a957bb", "selector": "0xa2a957bb", "calldata_variants": [ "0xa2a957bb", "0xa2a957bb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbfd79284", "selector": "0xbfd79284", "calldata_variants": [ "0xbfd79284", "0xbfd792840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3c8cd80", "selector": "0xc3c8cd80", "calldata_variants": [ "0xc3c8cd80", "0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8556, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9287, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 15750, "type": "tx_origin_used" } ] }
Severity