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

019b477e-c70b-72e5-8708-fea45443dbd3
complete
Chain ID
Address
0xb190ddcbbc4510c34cf2a834f0425a7d2b892f96
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
25895	artifact.fetch	complete	1 / 3	3 months ago
25896	tool.cast_disasm	complete	1 / 3	3 months ago
69370	analysis.bundle	complete	1 / 3	2 weeks ago
69371	capability.graph	complete	1 / 3	2 weeks ago
69372	detector.run	complete	1 / 3	2 weeks ago
69373	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
8395
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 0x02e8
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x95d89b41
00000019: GT
0000001a: PUSH2 0x0190
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce21d381
00000024: GT
00000025: PUSH2 0x00dc
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe2f45605
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf068dc9a
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf068dc9a
00000045: EQ
00000046: PUSH2 0x08aa
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x08bf
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfbee4318
0000005b: EQ
0000005c: PUSH2 0x08df
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfe72b27a
00000066: EQ
00000067: PUSH2 0x08ff
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xe2f45605
00000076: EQ
00000077: PUSH2 0x086a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe884f260
00000081: EQ
00000082: PUSH2 0x0880
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xeb8020ad
0000008c: EQ
0000008d: PUSH2 0x0895
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xce21d381
0000009c: EQ
0000009d: PUSH2 0x07af
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xcf1bcee3
000000a7: EQ
000000a8: PUSH2 0x07c4
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xd00efb2f
000000b2: EQ
000000b3: PUSH2 0x07d9
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xd3d6509d
000000bd: EQ
000000be: PUSH2 0x07ef
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xd4c989d3
000000c8: EQ
000000c9: PUSH2 0x0804
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xdd62ed3e
000000d3: EQ
000000d4: PUSH2 0x0824
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xa91bffb3
000000e3: GT
000000e4: PUSH2 0x0149
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xbf9f4eaa
000000ee: GT
000000ef: PUSH2 0x0123
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xbf9f4eaa
000000f9: EQ
000000fa: PUSH2 0x0735
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xc0246668
00000104: EQ
00000105: PUSH2 0x0755
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0xc16dd4a4
0000010f: EQ
00000110: PUSH2 0x0775
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0xc876d0b9
0000011a: EQ
0000011b: PUSH2 0x0795
0000011e: JUMPI
0000011f: PUSH1 0x00
00000121: DUP1
00000122: REVERT
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0xa91bffb3
0000012a: EQ
0000012b: PUSH2 0x06db
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xb4b11b95
00000135: EQ
00000136: PUSH2 0x06f0
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xbb7773da
00000140: EQ
00000141: PUSH2 0x0720
00000144: JUMPI
00000145: PUSH1 0x00
00000147: DUP1
00000148: REVERT
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x95d89b41
00000150: EQ
00000151: PUSH2 0x0644
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x9ec22c0e
0000015b: EQ
0000015c: PUSH2 0x0659
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x9fccce32
00000166: EQ
00000167: PUSH2 0x066f
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0xa457c2d7
00000171: EQ
00000172: PUSH2 0x0685
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0xa4c82a00
0000017c: EQ
0000017d: PUSH2 0x06a5
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0xa9059cbb
00000187: EQ
00000188: PUSH2 0x06bb
0000018b: JUMPI
0000018c: PUSH1 0x00
0000018e: DUP1
0000018f: REVERT
00000190: JUMPDEST
00000191: DUP1
00000192: PUSH4 0x247b912d
00000197: GT
00000198: PUSH2 0x024f
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x4fbee193
000001a2: GT
000001a3: PUSH2 0x0208
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x730c1888
000001ad: GT
000001ae: PUSH2 0x01e2
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x730c1888
000001b8: EQ
000001b9: PUSH2 0x05c1
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x780a7285
000001c3: EQ
000001c4: PUSH2 0x05e1
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x8da5cb5b
000001ce: EQ
000001cf: PUSH2 0x0601
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x8ea5220f
000001d9: EQ
000001da: PUSH2 0x061f
000001dd: JUMPI
000001de: PUSH1 0x00
000001e0: DUP1
000001e1: REVERT
000001e2: JUMPDEST
000001e3: DUP1
000001e4: PUSH4 0x4fbee193
000001e9: EQ
000001ea: PUSH2 0x053e
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x70a08231
000001f4: EQ
000001f5: PUSH2 0x0576
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x715018a6
000001ff: EQ
00000200: PUSH2 0x05ac
00000203: JUMPI
00000204: PUSH1 0x00
00000206: DUP1
00000207: REVERT
00000208: JUMPDEST
00000209: DUP1
0000020a: PUSH4 0x247b912d
0000020f: EQ
00000210: PUSH2 0x0484
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x27c8f835
0000021a: EQ
0000021b: PUSH2 0x04a4
0000021e: JUMPI
0000021f: DUP1
00000220: PUSH4 0x2c3e486c
00000225: EQ
00000226: PUSH2 0x04d2
00000229: JUMPI
0000022a: DUP1
0000022b: PUSH4 0x2e82f1a0
00000230: EQ
00000231: PUSH2 0x04e8
00000234: JUMPI
00000235: DUP1
00000236: PUSH4 0x313ce567
0000023b: EQ
0000023c: PUSH2 0x0502
0000023f: JUMPI
00000240: DUP1
00000241: PUSH4 0x39509351
00000246: EQ
00000247: PUSH2 0x051e
0000024a: JUMPI
0000024b: PUSH1 0x00
0000024d: DUP1
0000024e: REVERT
0000024f: JUMPDEST
00000250: DUP1
00000251: PUSH4 0x1816467f
00000256: GT
00000257: PUSH2 0x02a1
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0x1816467f
00000261: EQ
00000262: PUSH2 0x03e2
00000265: JUMPI
00000266: DUP1
00000267: PUSH4 0x184c16c5
0000026c: EQ
0000026d: PUSH2 0x0402
00000270: JUMPI
00000271: DUP1
00000272: PUSH4 0x199ffc72
00000277: EQ
00000278: PUSH2 0x0418
0000027b: JUMPI
0000027c: DUP1
0000027d: PUSH4 0x1a8145bb
00000282: EQ
00000283: PUSH2 0x042e
00000286: JUMPI
00000287: DUP1
00000288: PUSH4 0x1bff6c2b
0000028d: EQ
0000028e: PUSH2 0x0444
00000291: JUMPI
00000292: DUP1
00000293: PUSH4 0x23b872dd
00000298: EQ
00000299: PUSH2 0x0464
0000029c: JUMPI
0000029d: PUSH1 0x00
0000029f: DUP1
000002a0: REVERT
000002a1: JUMPDEST
000002a2: DUP1
000002a3: PUSH4 0x05a1f36d
000002a8: EQ
000002a9: PUSH2 0x02f4
000002ac: JUMPI
000002ad: DUP1
000002ae: PUSH4 0x06fdde03
000002b3: EQ
000002b4: PUSH2 0x0316
000002b7: JUMPI
000002b8: DUP1
000002b9: PUSH4 0x07866291
000002be: EQ
000002bf: PUSH2 0x0341
000002c2: JUMPI
000002c3: DUP1
000002c4: PUSH4 0x095ea7b3
000002c9: EQ
000002ca: PUSH2 0x0381
000002cd: JUMPI
000002ce: DUP1
000002cf: PUSH4 0x0d590312
000002d4: EQ
000002d5: PUSH2 0x03a1
000002d8: JUMPI
000002d9: DUP1
000002da: PUSH4 0x18160ddd
000002df: EQ
000002e0: PUSH2 0x03c3
000002e3: JUMPI
000002e4: PUSH1 0x00
000002e6: DUP1
000002e7: REVERT
000002e8: JUMPDEST
000002e9: CALLDATASIZE
000002ea: PUSH2 0x02ef
000002ed: JUMPI
000002ee: STOP
000002ef: JUMPDEST
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: DUP1
000002f7: ISZERO
000002f8: PUSH2 0x0300
000002fb: JUMPI
000002fc: PUSH1 0x00
000002fe: DUP1
000002ff: REVERT
00000300: JUMPDEST
00000301: POP
00000302: PUSH2 0x0314
00000305: PUSH2 0x030f
00000308: CALLDATASIZE
00000309: PUSH1 0x04
0000030b: PUSH2 0x3141
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH2 0x091f
00000313: JUMP
00000314: JUMPDEST
00000315: STOP
00000316: JUMPDEST
00000317: CALLVALUE
00000318: DUP1
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: PUSH2 0x032b
00000327: PUSH2 0x09c3
0000032a: JUMP
0000032b: JUMPDEST
0000032c: PUSH1 0x40
0000032e: MLOAD
0000032f: PUSH2 0x0338
00000332: SWAP2
00000333: SWAP1
00000334: PUSH2 0x318f
00000337: JUMP
00000338: JUMPDEST
00000339: PUSH1 0x40
0000033b: MLOAD
0000033c: DUP1
0000033d: SWAP2
0000033e: SUB
0000033f: SWAP1
00000340: RETURN
00000341: JUMPDEST
00000342: CALLVALUE
00000343: DUP1
00000344: ISZERO
00000345: PUSH2 0x034d
00000348: JUMPI
00000349: PUSH1 0x00
0000034b: DUP1
0000034c: REVERT
0000034d: JUMPDEST
0000034e: POP
0000034f: PUSH2 0x0371
00000352: PUSH2 0x035c
00000355: CALLDATASIZE
00000356: PUSH1 0x04
00000358: PUSH2 0x31e2
0000035b: JUMP
0000035c: JUMPDEST
0000035d: PUSH1 0x21
0000035f: PUSH1 0x20
00000361: MSTORE
00000362: PUSH1 0x00
00000364: SWAP1
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x40
00000369: SWAP1
0000036a: KECCAK256
0000036b: SLOAD
0000036c: PUSH1 0xff
0000036e: AND
0000036f: DUP2
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH1 0x40
00000374: MLOAD
00000375: SWAP1
00000376: ISZERO
00000377: ISZERO
00000378: DUP2
00000379: MSTORE
0000037a: PUSH1 0x20
0000037c: ADD
0000037d: PUSH2 0x0338
00000380: JUMP
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 0x0371
00000392: PUSH2 0x039c
00000395: CALLDATASIZE
00000396: PUSH1 0x04
00000398: PUSH2 0x31ff
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH2 0x0a55
000003a0: JUMP
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: DUP1
000003a4: ISZERO
000003a5: PUSH2 0x03ad
000003a8: JUMPI
000003a9: PUSH1 0x00
000003ab: DUP1
000003ac: REVERT
000003ad: JUMPDEST
000003ae: POP
000003af: PUSH2 0x03b6
000003b2: PUSH2 0x0a6d
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: PUSH2 0x0338
000003bd: SWAP2
000003be: SWAP1
000003bf: PUSH2 0x322b
000003c2: JUMP
000003c3: JUMPDEST
000003c4: CALLVALUE
000003c5: DUP1
000003c6: ISZERO
000003c7: PUSH2 0x03cf
000003ca: JUMPI
000003cb: PUSH1 0x00
000003cd: DUP1
000003ce: REVERT
000003cf: JUMPDEST
000003d0: POP
000003d1: PUSH1 0x02
000003d3: SLOAD
000003d4: JUMPDEST
000003d5: PUSH1 0x40
000003d7: MLOAD
000003d8: SWAP1
000003d9: DUP2
000003da: MSTORE
000003db: PUSH1 0x20
000003dd: ADD
000003de: PUSH2 0x0338
000003e1: JUMP
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: PUSH2 0x0314
000003f3: PUSH2 0x03fd
000003f6: CALLDATASIZE
000003f7: PUSH1 0x04
000003f9: PUSH2 0x31e2
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x0a7c
00000401: JUMP
00000402: JUMPDEST
00000403: CALLVALUE
00000404: DUP1
00000405: ISZERO
00000406: PUSH2 0x040e
00000409: JUMPI
0000040a: PUSH1 0x00
0000040c: DUP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: POP
00000410: PUSH2 0x03d4
00000413: PUSH1 0x1c
00000415: SLOAD
00000416: DUP2
00000417: JUMP
00000418: JUMPDEST
00000419: CALLVALUE
0000041a: DUP1
0000041b: ISZERO
0000041c: PUSH2 0x0424
0000041f: JUMPI
00000420: PUSH1 0x00
00000422: DUP1
00000423: REVERT
00000424: JUMPDEST
00000425: POP
00000426: PUSH2 0x03d4
00000429: PUSH1 0x17
0000042b: SLOAD
0000042c: DUP2
0000042d: JUMP
0000042e: JUMPDEST
0000042f: CALLVALUE
00000430: DUP1
00000431: ISZERO
00000432: PUSH2 0x043a
00000435: JUMPI
00000436: PUSH1 0x00
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: POP
0000043c: PUSH2 0x03d4
0000043f: PUSH1 0x14
00000441: SLOAD
00000442: DUP2
00000443: JUMP
00000444: JUMPDEST
00000445: CALLVALUE
00000446: DUP1
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: PUSH2 0x0314
00000455: PUSH2 0x045f
00000458: CALLDATASIZE
00000459: PUSH1 0x04
0000045b: PUSH2 0x326f
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH2 0x0b0e
00000463: JUMP
00000464: JUMPDEST
00000465: CALLVALUE
00000466: DUP1
00000467: ISZERO
00000468: PUSH2 0x0470
0000046b: JUMPI
0000046c: PUSH1 0x00
0000046e: DUP1
0000046f: REVERT
00000470: JUMPDEST
00000471: POP
00000472: PUSH2 0x0371
00000475: PUSH2 0x047f
00000478: CALLDATASIZE
00000479: PUSH1 0x04
0000047b: PUSH2 0x3288
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0x0c0f
00000483: JUMP
00000484: JUMPDEST
00000485: CALLVALUE
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: PUSH2 0x0314
00000495: PUSH2 0x049f
00000498: CALLDATASIZE
00000499: PUSH1 0x04
0000049b: PUSH2 0x3141
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH2 0x0c33
000004a3: JUMP
000004a4: JUMPDEST
000004a5: CALLVALUE
000004a6: DUP1
000004a7: ISZERO
000004a8: PUSH2 0x04b0
000004ab: JUMPI
000004ac: PUSH1 0x00
000004ae: DUP1
000004af: REVERT
000004b0: JUMPDEST
000004b1: POP
000004b2: PUSH2 0x04ba
000004b5: PUSH2 0xdead
000004b8: DUP2
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: PUSH1 0x01
000004c0: PUSH1 0x01
000004c2: PUSH1 0xa0
000004c4: SHL
000004c5: SUB
000004c6: SWAP1
000004c7: SWAP2
000004c8: AND
000004c9: DUP2
000004ca: MSTORE
000004cb: PUSH1 0x20
000004cd: ADD
000004ce: PUSH2 0x0338
000004d1: JUMP
000004d2: JUMPDEST
000004d3: CALLVALUE
000004d4: DUP1
000004d5: ISZERO
000004d6: PUSH2 0x04de
000004d9: JUMPI
000004da: PUSH1 0x00
000004dc: DUP1
000004dd: REVERT
000004de: JUMPDEST
000004df: POP
000004e0: PUSH2 0x03d4
000004e3: PUSH1 0x19
000004e5: SLOAD
000004e6: DUP2
000004e7: JUMP
000004e8: JUMPDEST
000004e9: CALLVALUE
000004ea: DUP1
000004eb: ISZERO
000004ec: PUSH2 0x04f4
000004ef: JUMPI
000004f0: PUSH1 0x00
000004f2: DUP1
000004f3: REVERT
000004f4: JUMPDEST
000004f5: POP
000004f6: PUSH1 0x18
000004f8: SLOAD
000004f9: PUSH2 0x0371
000004fc: SWAP1
000004fd: PUSH1 0xff
000004ff: AND
00000500: DUP2
00000501: JUMP
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH1 0x40
00000512: MLOAD
00000513: PUSH1 0x12
00000515: DUP2
00000516: MSTORE
00000517: PUSH1 0x20
00000519: ADD
0000051a: PUSH2 0x0338
0000051d: JUMP
0000051e: JUMPDEST
0000051f: CALLVALUE
00000520: DUP1
00000521: ISZERO
00000522: PUSH2 0x052a
00000525: JUMPI
00000526: PUSH1 0x00
00000528: DUP1
00000529: REVERT
0000052a: JUMPDEST
0000052b: POP
0000052c: PUSH2 0x0371
0000052f: PUSH2 0x0539
00000532: CALLDATASIZE
00000533: PUSH1 0x04
00000535: PUSH2 0x31ff
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH2 0x0cc9
0000053d: JUMP
0000053e: JUMPDEST
0000053f: CALLVALUE
00000540: DUP1
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: POP
0000054c: PUSH2 0x0371
0000054f: PUSH2 0x0559
00000552: CALLDATASIZE
00000553: PUSH1 0x04
00000555: PUSH2 0x31e2
00000558: JUMP
00000559: JUMPDEST
0000055a: PUSH1 0x01
0000055c: PUSH1 0x01
0000055e: PUSH1 0xa0
00000560: SHL
00000561: SUB
00000562: AND
00000563: PUSH1 0x00
00000565: SWAP1
00000566: DUP2
00000567: MSTORE
00000568: PUSH1 0x20
0000056a: DUP1
0000056b: MSTORE
0000056c: PUSH1 0x40
0000056e: SWAP1
0000056f: KECCAK256
00000570: SLOAD
00000571: PUSH1 0xff
00000573: AND
00000574: SWAP1
00000575: JUMP
00000576: JUMPDEST
00000577: CALLVALUE
00000578: DUP1
00000579: ISZERO
0000057a: PUSH2 0x0582
0000057d: JUMPI
0000057e: PUSH1 0x00
00000580: DUP1
00000581: REVERT
00000582: JUMPDEST
00000583: POP
00000584: PUSH2 0x03d4
00000587: PUSH2 0x0591
0000058a: CALLDATASIZE
0000058b: PUSH1 0x04
0000058d: PUSH2 0x31e2
00000590: JUMP
00000591: JUMPDEST
00000592: PUSH1 0x01
00000594: PUSH1 0x01
00000596: PUSH1 0xa0
00000598: SHL
00000599: SUB
0000059a: AND
0000059b: PUSH1 0x00
0000059d: SWAP1
0000059e: DUP2
0000059f: MSTORE
000005a0: PUSH1 0x20
000005a2: DUP2
000005a3: SWAP1
000005a4: MSTORE
000005a5: PUSH1 0x40
000005a7: SWAP1
000005a8: KECCAK256
000005a9: SLOAD
000005aa: SWAP1
000005ab: JUMP
000005ac: JUMPDEST
000005ad: CALLVALUE
000005ae: DUP1
000005af: ISZERO
000005b0: PUSH2 0x05b8
000005b3: JUMPI
000005b4: PUSH1 0x00
000005b6: DUP1
000005b7: REVERT
000005b8: JUMPDEST
000005b9: POP
000005ba: PUSH2 0x0314
000005bd: PUSH2 0x0d08
000005c0: JUMP
000005c1: JUMPDEST
000005c2: CALLVALUE
000005c3: DUP1
000005c4: ISZERO
000005c5: PUSH2 0x05cd
000005c8: JUMPI
000005c9: PUSH1 0x00
000005cb: DUP1
000005cc: REVERT
000005cd: JUMPDEST
000005ce: POP
000005cf: PUSH2 0x0314
000005d2: PUSH2 0x05dc
000005d5: CALLDATASIZE
000005d6: PUSH1 0x04
000005d8: PUSH2 0x32d9
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH2 0x0d3e
000005e0: JUMP
000005e1: JUMPDEST
000005e2: CALLVALUE
000005e3: DUP1
000005e4: ISZERO
000005e5: PUSH2 0x05ed
000005e8: JUMPI
000005e9: PUSH1 0x00
000005eb: DUP1
000005ec: REVERT
000005ed: JUMPDEST
000005ee: POP
000005ef: PUSH2 0x0371
000005f2: PUSH2 0x05fc
000005f5: CALLDATASIZE
000005f6: PUSH1 0x04
000005f8: PUSH2 0x31e2
000005fb: JUMP
000005fc: JUMPDEST
000005fd: PUSH2 0x0e67
00000600: JUMP
00000601: JUMPDEST
00000602: CALLVALUE
00000603: DUP1
00000604: ISZERO
00000605: PUSH2 0x060d
00000608: JUMPI
00000609: PUSH1 0x00
0000060b: DUP1
0000060c: REVERT
0000060d: JUMPDEST
0000060e: POP
0000060f: PUSH1 0x05
00000611: SLOAD
00000612: PUSH1 0x01
00000614: PUSH1 0x01
00000616: PUSH1 0xa0
00000618: SHL
00000619: SUB
0000061a: AND
0000061b: PUSH2 0x04ba
0000061e: JUMP
0000061f: JUMPDEST
00000620: CALLVALUE
00000621: DUP1
00000622: ISZERO
00000623: PUSH2 0x062b
00000626: JUMPI
00000627: PUSH1 0x00
00000629: DUP1
0000062a: REVERT
0000062b: JUMPDEST
0000062c: POP
0000062d: PUSH1 0x13
0000062f: SLOAD
00000630: PUSH2 0x04ba
00000633: SWAP1
00000634: PUSH2 0x0100
00000637: SWAP1
00000638: DIV
00000639: PUSH1 0x01
0000063b: PUSH1 0x01
0000063d: PUSH1 0xa0
0000063f: SHL
00000640: SUB
00000641: AND
00000642: DUP2
00000643: JUMP
00000644: JUMPDEST
00000645: CALLVALUE
00000646: DUP1
00000647: ISZERO
00000648: PUSH2 0x0650
0000064b: JUMPI
0000064c: PUSH1 0x00
0000064e: DUP1
0000064f: REVERT
00000650: JUMPDEST
00000651: POP
00000652: PUSH2 0x032b
00000655: PUSH2 0x0e78
00000658: JUMP
00000659: JUMPDEST
0000065a: CALLVALUE
0000065b: DUP1
0000065c: ISZERO
0000065d: PUSH2 0x0665
00000660: JUMPI
00000661: PUSH1 0x00
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: POP
00000667: PUSH2 0x03d4
0000066a: PUSH1 0x1d
0000066c: SLOAD
0000066d: DUP2
0000066e: JUMP
0000066f: JUMPDEST
00000670: CALLVALUE
00000671: DUP1
00000672: ISZERO
00000673: PUSH2 0x067b
00000676: JUMPI
00000677: PUSH1 0x00
00000679: DUP1
0000067a: REVERT
0000067b: JUMPDEST
0000067c: POP
0000067d: PUSH2 0x03d4
00000680: PUSH1 0x15
00000682: SLOAD
00000683: DUP2
00000684: JUMP
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 0x0371
00000696: PUSH2 0x06a0
00000699: CALLDATASIZE
0000069a: PUSH1 0x04
0000069c: PUSH2 0x31ff
0000069f: JUMP
000006a0: JUMPDEST
000006a1: PUSH2 0x0e87
000006a4: JUMP
000006a5: JUMPDEST
000006a6: CALLVALUE
000006a7: DUP1
000006a8: ISZERO
000006a9: PUSH2 0x06b1
000006ac: JUMPI
000006ad: PUSH1 0x00
000006af: DUP1
000006b0: REVERT
000006b1: JUMPDEST
000006b2: POP
000006b3: PUSH2 0x03d4
000006b6: PUSH1 0x1a
000006b8: SLOAD
000006b9: DUP2
000006ba: JUMP
000006bb: JUMPDEST
000006bc: CALLVALUE
000006bd: DUP1
000006be: ISZERO
000006bf: PUSH2 0x06c7
000006c2: JUMPI
000006c3: PUSH1 0x00
000006c5: DUP1
000006c6: REVERT
000006c7: JUMPDEST
000006c8: POP
000006c9: PUSH2 0x0371
000006cc: PUSH2 0x06d6
000006cf: CALLDATASIZE
000006d0: PUSH1 0x04
000006d2: PUSH2 0x31ff
000006d5: JUMP
000006d6: JUMPDEST
000006d7: PUSH2 0x0f19
000006da: JUMP
000006db: JUMPDEST
000006dc: CALLVALUE
000006dd: DUP1
000006de: ISZERO
000006df: PUSH2 0x06e7
000006e2: JUMPI
000006e3: PUSH1 0x00
000006e5: DUP1
000006e6: REVERT
000006e7: JUMPDEST
000006e8: POP
000006e9: PUSH2 0x03d4
000006ec: PUSH2 0x0f27
000006ef: JUMP
000006f0: JUMPDEST
000006f1: CALLVALUE
000006f2: DUP1
000006f3: ISZERO
000006f4: PUSH2 0x06fc
000006f7: JUMPI
000006f8: PUSH1 0x00
000006fa: DUP1
000006fb: REVERT
000006fc: JUMPDEST
000006fd: POP
000006fe: PUSH2 0x0371
00000701: PUSH2 0x070b
00000704: CALLDATASIZE
00000705: PUSH1 0x04
00000707: PUSH2 0x31e2
0000070a: JUMP
0000070b: JUMPDEST
0000070c: PUSH1 0x22
0000070e: PUSH1 0x20
00000710: MSTORE
00000711: PUSH1 0x00
00000713: SWAP1
00000714: DUP2
00000715: MSTORE
00000716: PUSH1 0x40
00000718: SWAP1
00000719: KECCAK256
0000071a: SLOAD
0000071b: PUSH1 0xff
0000071d: AND
0000071e: DUP2
0000071f: JUMP
00000720: JUMPDEST
00000721: CALLVALUE
00000722: DUP1
00000723: ISZERO
00000724: PUSH2 0x072c
00000727: JUMPI
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: REVERT
0000072c: JUMPDEST
0000072d: POP
0000072e: PUSH2 0x03d4
00000731: PUSH2 0x0f32
00000734: JUMP
00000735: JUMPDEST
00000736: CALLVALUE
00000737: DUP1
00000738: ISZERO
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: POP
00000743: PUSH2 0x0314
00000746: PUSH2 0x0750
00000749: CALLDATASIZE
0000074a: PUSH1 0x04
0000074c: PUSH2 0x326f
0000074f: JUMP
00000750: JUMPDEST
00000751: PUSH2 0x0f3d
00000754: JUMP
00000755: JUMPDEST
00000756: CALLVALUE
00000757: DUP1
00000758: ISZERO
00000759: PUSH2 0x0761
0000075c: JUMPI
0000075d: PUSH1 0x00
0000075f: DUP1
00000760: REVERT
00000761: JUMPDEST
00000762: POP
00000763: PUSH2 0x0314
00000766: PUSH2 0x0770
00000769: CALLDATASIZE
0000076a: PUSH1 0x04
0000076c: PUSH2 0x330e
0000076f: JUMP
00000770: JUMPDEST
00000771: PUSH2 0x1041
00000774: JUMP
00000775: JUMPDEST
00000776: CALLVALUE
00000777: DUP1
00000778: ISZERO
00000779: PUSH2 0x0781
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: POP
00000783: PUSH2 0x0314
00000786: PUSH2 0x0790
00000789: CALLDATASIZE
0000078a: PUSH1 0x04
0000078c: PUSH2 0x330e
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH2 0x10c8
00000794: JUMP
00000795: JUMPDEST
00000796: CALLVALUE
00000797: DUP1
00000798: ISZERO
00000799: PUSH2 0x07a1
0000079c: JUMPI
0000079d: PUSH1 0x00
0000079f: DUP1
000007a0: REVERT
000007a1: JUMPDEST
000007a2: POP
000007a3: PUSH1 0x1f
000007a5: SLOAD
000007a6: PUSH2 0x0371
000007a9: SWAP1
000007aa: PUSH1 0xff
000007ac: AND
000007ad: DUP2
000007ae: JUMP
000007af: JUMPDEST
000007b0: CALLVALUE
000007b1: DUP1
000007b2: ISZERO
000007b3: PUSH2 0x07bb
000007b6: JUMPI
000007b7: PUSH1 0x00
000007b9: DUP1
000007ba: REVERT
000007bb: JUMPDEST
000007bc: POP
000007bd: PUSH2 0x0371
000007c0: PUSH2 0x11a8
000007c3: JUMP
000007c4: JUMPDEST
000007c5: CALLVALUE
000007c6: DUP1
000007c7: ISZERO
000007c8: PUSH2 0x07d0
000007cb: JUMPI
000007cc: PUSH1 0x00
000007ce: DUP1
000007cf: REVERT
000007d0: JUMPDEST
000007d1: POP
000007d2: PUSH2 0x0314
000007d5: PUSH2 0x11b6
000007d8: JUMP
000007d9: JUMPDEST
000007da: CALLVALUE
000007db: DUP1
000007dc: ISZERO
000007dd: PUSH2 0x07e5
000007e0: JUMPI
000007e1: PUSH1 0x00
000007e3: DUP1
000007e4: REVERT
000007e5: JUMPDEST
000007e6: POP
000007e7: PUSH2 0x03d4
000007ea: PUSH1 0x1b
000007ec: SLOAD
000007ed: DUP2
000007ee: JUMP
000007ef: JUMPDEST
000007f0: CALLVALUE
000007f1: DUP1
000007f2: ISZERO
000007f3: PUSH2 0x07fb
000007f6: JUMPI
000007f7: PUSH1 0x00
000007f9: DUP1
000007fa: REVERT
000007fb: JUMPDEST
000007fc: POP
000007fd: PUSH2 0x03b6
00000800: PUSH2 0x11f2
00000803: JUMP
00000804: JUMPDEST
00000805: CALLVALUE
00000806: DUP1
00000807: ISZERO
00000808: PUSH2 0x0810
0000080b: JUMPI
0000080c: PUSH1 0x00
0000080e: DUP1
0000080f: REVERT
00000810: JUMPDEST
00000811: POP
00000812: PUSH2 0x0314
00000815: PUSH2 0x081f
00000818: CALLDATASIZE
00000819: PUSH1 0x04
0000081b: PUSH2 0x330e
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH2 0x11fc
00000823: JUMP
00000824: JUMPDEST
00000825: CALLVALUE
00000826: DUP1
00000827: ISZERO
00000828: PUSH2 0x0830
0000082b: JUMPI
0000082c: PUSH1 0x00
0000082e: DUP1
0000082f: REVERT
00000830: JUMPDEST
00000831: POP
00000832: PUSH2 0x03d4
00000835: PUSH2 0x083f
00000838: CALLDATASIZE
00000839: PUSH1 0x04
0000083b: PUSH2 0x3343
0000083e: JUMP
0000083f: JUMPDEST
00000840: PUSH1 0x01
00000842: PUSH1 0x01
00000844: PUSH1 0xa0
00000846: SHL
00000847: SUB
00000848: SWAP2
00000849: DUP3
0000084a: AND
0000084b: PUSH1 0x00
0000084d: SWAP1
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x01
00000852: PUSH1 0x20
00000854: SWAP1
00000855: DUP2
00000856: MSTORE
00000857: PUSH1 0x40
00000859: DUP1
0000085a: DUP4
0000085b: KECCAK256
0000085c: SWAP4
0000085d: SWAP1
0000085e: SWAP5
0000085f: AND
00000860: DUP3
00000861: MSTORE
00000862: SWAP2
00000863: SWAP1
00000864: SWAP2
00000865: MSTORE
00000866: KECCAK256
00000867: SLOAD
00000868: SWAP1
00000869: JUMP
0000086a: JUMPDEST
0000086b: CALLVALUE
0000086c: DUP1
0000086d: ISZERO
0000086e: PUSH2 0x0876
00000871: JUMPI
00000872: PUSH1 0x00
00000874: DUP1
00000875: REVERT
00000876: JUMPDEST
00000877: POP
00000878: PUSH2 0x03d4
0000087b: PUSH1 0x16
0000087d: SLOAD
0000087e: DUP2
0000087f: JUMP
00000880: JUMPDEST
00000881: CALLVALUE
00000882: DUP1
00000883: ISZERO
00000884: PUSH2 0x088c
00000887: JUMPI
00000888: PUSH1 0x00
0000088a: DUP1
0000088b: REVERT
0000088c: JUMPDEST
0000088d: POP
0000088e: PUSH2 0x0371
00000891: PUSH2 0x1251
00000894: JUMP
00000895: JUMPDEST
00000896: CALLVALUE
00000897: DUP1
00000898: ISZERO
00000899: PUSH2 0x08a1
0000089c: JUMPI
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: REVERT
000008a1: JUMPDEST
000008a2: POP
000008a3: PUSH2 0x03d4
000008a6: PUSH2 0x128e
000008a9: JUMP
000008aa: JUMPDEST
000008ab: CALLVALUE
000008ac: DUP1
000008ad: ISZERO
000008ae: PUSH2 0x08b6
000008b1: JUMPI
000008b2: PUSH1 0x00
000008b4: DUP1
000008b5: REVERT
000008b6: JUMPDEST
000008b7: POP
000008b8: PUSH2 0x03d4
000008bb: PUSH2 0x1299
000008be: JUMP
000008bf: JUMPDEST
000008c0: CALLVALUE
000008c1: DUP1
000008c2: ISZERO
000008c3: PUSH2 0x08cb
000008c6: JUMPI
000008c7: PUSH1 0x00
000008c9: DUP1
000008ca: REVERT
000008cb: JUMPDEST
000008cc: POP
000008cd: PUSH2 0x0314
000008d0: PUSH2 0x08da
000008d3: CALLDATASIZE
000008d4: PUSH1 0x04
000008d6: PUSH2 0x31e2
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH2 0x12a4
000008de: JUMP
000008df: JUMPDEST
000008e0: CALLVALUE
000008e1: DUP1
000008e2: ISZERO
000008e3: PUSH2 0x08eb
000008e6: JUMPI
000008e7: PUSH1 0x00
000008e9: DUP1
000008ea: REVERT
000008eb: JUMPDEST
000008ec: POP
000008ed: PUSH2 0x0314
000008f0: PUSH2 0x08fa
000008f3: CALLDATASIZE
000008f4: PUSH1 0x04
000008f6: PUSH2 0x3392
000008f9: JUMP
000008fa: JUMPDEST
000008fb: PUSH2 0x133f
000008fe: JUMP
000008ff: JUMPDEST
00000900: CALLVALUE
00000901: DUP1
00000902: ISZERO
00000903: PUSH2 0x090b
00000906: JUMPI
00000907: PUSH1 0x00
00000909: DUP1
0000090a: REVERT
0000090b: JUMPDEST
0000090c: POP
0000090d: PUSH2 0x0371
00000910: PUSH2 0x091a
00000913: CALLDATASIZE
00000914: PUSH1 0x04
00000916: PUSH2 0x326f
00000919: JUMP
0000091a: JUMPDEST
0000091b: PUSH2 0x1373
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH1 0x05
00000922: SLOAD
00000923: PUSH1 0x01
00000925: PUSH1 0x01
00000927: PUSH1 0xa0
00000929: SHL
0000092a: SUB
0000092b: AND
0000092c: CALLER
0000092d: EQ
0000092e: PUSH2 0x0952
00000931: JUMPI
00000932: PUSH1 0x40
00000934: MLOAD
00000935: PUSH3 0x461bcd
00000939: PUSH1 0xe5
0000093b: SHL
0000093c: DUP2
0000093d: MSTORE
0000093e: PUSH1 0x04
00000940: ADD
00000941: PUSH2 0x0949
00000944: SWAP1
00000945: PUSH2 0x3469
00000948: JUMP
00000949: JUMPDEST
0000094a: PUSH1 0x40
0000094c: MLOAD
0000094d: DUP1
0000094e: SWAP2
0000094f: SUB
00000950: SWAP1
00000951: REVERT
00000952: JUMPDEST
00000953: PUSH1 0x40
00000955: DUP1
00000956: MLOAD
00000957: PUSH1 0x02
00000959: DUP1
0000095a: DUP3
0000095b: MSTORE
0000095c: PUSH1 0x60
0000095e: DUP3
0000095f: ADD
00000960: DUP4
00000961: MSTORE
00000962: PUSH1 0x00
00000964: SWAP3
00000965: PUSH1 0x20
00000967: DUP4
00000968: ADD
00000969: SWAP1
0000096a: DUP1
0000096b: CALLDATASIZE
0000096c: DUP4
0000096d: CALLDATACOPY
0000096e: ADD
0000096f: SWAP1
00000970: POP
00000971: POP
00000972: SWAP1
00000973: POP
00000974: DUP3
00000975: DUP2
00000976: PUSH1 0x00
00000978: DUP2
00000979: MLOAD
0000097a: DUP2
0000097b: LT
0000097c: PUSH2 0x0987
0000097f: JUMPI
00000980: PUSH2 0x0987
00000983: PUSH2 0x349e
00000986: JUMP
00000987: JUMPDEST
00000988: PUSH1 0x20
0000098a: MUL
0000098b: PUSH1 0x20
0000098d: ADD
0000098e: ADD
0000098f: DUP2
00000990: DUP2
00000991: MSTORE
00000992: POP
00000993: POP
00000994: DUP2
00000995: DUP2
00000996: PUSH1 0x01
00000998: DUP2
00000999: MLOAD
0000099a: DUP2
0000099b: LT
0000099c: PUSH2 0x09a7
0000099f: JUMPI
000009a0: PUSH2 0x09a7
000009a3: PUSH2 0x349e
000009a6: JUMP
000009a7: JUMPDEST
000009a8: PUSH1 0x20
000009aa: MUL
000009ab: PUSH1 0x20
000009ad: ADD
000009ae: ADD
000009af: DUP2
000009b0: DUP2
000009b1: MSTORE
000009b2: POP
000009b3: POP
000009b4: PUSH2 0x09be
000009b7: DUP2
000009b8: PUSH1 0x01
000009ba: PUSH2 0x16fc
000009bd: JUMP
000009be: JUMPDEST
000009bf: POP
000009c0: POP
000009c1: POP
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH1 0x60
000009c6: PUSH1 0x03
000009c8: DUP1
000009c9: SLOAD
000009ca: PUSH2 0x09d2
000009cd: SWAP1
000009ce: PUSH2 0x34b4
000009d1: JUMP
000009d2: JUMPDEST
000009d3: DUP1
000009d4: PUSH1 0x1f
000009d6: ADD
000009d7: PUSH1 0x20
000009d9: DUP1
000009da: SWAP2
000009db: DIV
000009dc: MUL
000009dd: PUSH1 0x20
000009df: ADD
000009e0: PUSH1 0x40
000009e2: MLOAD
000009e3: SWAP1
000009e4: DUP2
000009e5: ADD
000009e6: PUSH1 0x40
000009e8: MSTORE
000009e9: DUP1
000009ea: SWAP3
000009eb: SWAP2
000009ec: SWAP1
000009ed: DUP2
000009ee: DUP2
000009ef: MSTORE
000009f0: PUSH1 0x20
000009f2: ADD
000009f3: DUP3
000009f4: DUP1
000009f5: SLOAD
000009f6: PUSH2 0x09fe
000009f9: SWAP1
000009fa: PUSH2 0x34b4
000009fd: JUMP
000009fe: JUMPDEST
000009ff: DUP1
00000a00: ISZERO
00000a01: PUSH2 0x0a4b
00000a04: JUMPI
00000a05: DUP1
00000a06: PUSH1 0x1f
00000a08: LT
00000a09: PUSH2 0x0a20
00000a0c: JUMPI
00000a0d: PUSH2 0x0100
00000a10: DUP1
00000a11: DUP4
00000a12: SLOAD
00000a13: DIV
00000a14: MUL
00000a15: DUP4
00000a16: MSTORE
00000a17: SWAP2
00000a18: PUSH1 0x20
00000a1a: ADD
00000a1b: SWAP2
00000a1c: PUSH2 0x0a4b
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: DUP3
00000a22: ADD
00000a23: SWAP2
00000a24: SWAP1
00000a25: PUSH1 0x00
00000a27: MSTORE
00000a28: PUSH1 0x20
00000a2a: PUSH1 0x00
00000a2c: KECCAK256
00000a2d: SWAP1
00000a2e: JUMPDEST
00000a2f: DUP2
00000a30: SLOAD
00000a31: DUP2
00000a32: MSTORE
00000a33: SWAP1
00000a34: PUSH1 0x01
00000a36: ADD
00000a37: SWAP1
00000a38: PUSH1 0x20
00000a3a: ADD
00000a3b: DUP1
00000a3c: DUP4
00000a3d: GT
00000a3e: PUSH2 0x0a2e
00000a41: JUMPI
00000a42: DUP3
00000a43: SWAP1
00000a44: SUB
00000a45: PUSH1 0x1f
00000a47: AND
00000a48: DUP3
00000a49: ADD
00000a4a: SWAP2
00000a4b: JUMPDEST
00000a4c: POP
00000a4d: POP
00000a4e: POP
00000a4f: POP
00000a50: POP
00000a51: SWAP1
00000a52: POP
00000a53: SWAP1
00000a54: JUMP
00000a55: JUMPDEST
00000a56: PUSH1 0x00
00000a58: CALLER
00000a59: PUSH2 0x0a63
00000a5c: DUP2
00000a5d: DUP6
00000a5e: DUP6
00000a5f: PUSH2 0x17d0
00000a62: JUMP
00000a63: JUMPDEST
00000a64: POP
00000a65: PUSH1 0x01
00000a67: SWAP4
00000a68: SWAP3
00000a69: POP
00000a6a: POP
00000a6b: POP
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: PUSH1 0x60
00000a70: PUSH2 0x0a77
00000a73: PUSH2 0x18f4
00000a76: JUMP
00000a77: JUMPDEST
00000a78: SWAP1
00000a79: POP
00000a7a: SWAP1
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: PUSH1 0x05
00000a7f: SLOAD
00000a80: PUSH1 0x01
00000a82: PUSH1 0x01
00000a84: PUSH1 0xa0
00000a86: SHL
00000a87: SUB
00000a88: AND
00000a89: CALLER
00000a8a: EQ
00000a8b: PUSH2 0x0aa6
00000a8e: JUMPI
00000a8f: PUSH1 0x40
00000a91: MLOAD
00000a92: PUSH3 0x461bcd
00000a96: PUSH1 0xe5
00000a98: SHL
00000a99: DUP2
00000a9a: MSTORE
00000a9b: PUSH1 0x04
00000a9d: ADD
00000a9e: PUSH2 0x0949
00000aa1: SWAP1
00000aa2: PUSH2 0x3469
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x13
00000aa9: SLOAD
00000aaa: PUSH1 0x40
00000aac: MLOAD
00000aad: PUSH1 0x01
00000aaf: PUSH1 0x01
00000ab1: PUSH1 0xa0
00000ab3: SHL
00000ab4: SUB
00000ab5: PUSH2 0x0100
00000ab8: SWAP1
00000ab9: SWAP3
00000aba: DIV
00000abb: DUP3
00000abc: AND
00000abd: SWAP2
00000abe: DUP4
00000abf: AND
00000ac0: SWAP1
00000ac1: PUSH32 0x90b8024c4923d3873ff5b9fcb43d0360d4b9217fa41225d07ba379993552e743
00000ae2: SWAP1
00000ae3: PUSH1 0x00
00000ae5: SWAP1
00000ae6: LOG3
00000ae7: PUSH1 0x13
00000ae9: DUP1
00000aea: SLOAD
00000aeb: PUSH1 0x01
00000aed: PUSH1 0x01
00000aef: PUSH1 0xa0
00000af1: SHL
00000af2: SUB
00000af3: SWAP1
00000af4: SWAP3
00000af5: AND
00000af6: PUSH2 0x0100
00000af9: MUL
00000afa: PUSH2 0x0100
00000afd: PUSH1 0x01
00000aff: PUSH1 0xa8
00000b01: SHL
00000b02: SUB
00000b03: NOT
00000b04: SWAP1
00000b05: SWAP3
00000b06: AND
00000b07: SWAP2
00000b08: SWAP1
00000b09: SWAP2
00000b0a: OR
00000b0b: SWAP1
00000b0c: SSTORE
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x05
00000b11: SLOAD
00000b12: PUSH1 0x01
00000b14: PUSH1 0x01
00000b16: PUSH1 0xa0
00000b18: SHL
00000b19: SUB
00000b1a: AND
00000b1b: CALLER
00000b1c: EQ
00000b1d: PUSH2 0x0b38
00000b20: JUMPI
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: PUSH3 0x461bcd
00000b28: PUSH1 0xe5
00000b2a: SHL
00000b2b: DUP2
00000b2c: MSTORE
00000b2d: PUSH1 0x04
00000b2f: ADD
00000b30: PUSH2 0x0949
00000b33: SWAP1
00000b34: PUSH2 0x3469
00000b37: JUMP
00000b38: JUMPDEST
00000b39: PUSH1 0x0f
00000b3b: SLOAD
00000b3c: DUP2
00000b3d: LT
00000b3e: ISZERO
00000b3f: PUSH2 0x0b9a
00000b42: JUMPI
00000b43: PUSH1 0x40
00000b45: MLOAD
00000b46: PUSH3 0x461bcd
00000b4a: PUSH1 0xe5
00000b4c: SHL
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x20
00000b51: PUSH1 0x04
00000b53: DUP3
00000b54: ADD
00000b55: MSTORE
00000b56: PUSH1 0x27
00000b58: PUSH1 0x24
00000b5a: DUP3
00000b5b: ADD
00000b5c: MSTORE
00000b5d: PUSH32 0x7345524332303a2043616e206e6f74206c6f77657220746865206d6178207478
00000b7e: PUSH1 0x44
00000b80: DUP3
00000b81: ADD
00000b82: MSTORE
00000b83: PUSH7 0x08185b5bdd5b9d
00000b8b: PUSH1 0xca
00000b8d: SHL
00000b8e: PUSH1 0x64
00000b90: DUP3
00000b91: ADD
00000b92: MSTORE
00000b93: PUSH1 0x84
00000b95: ADD
00000b96: PUSH2 0x0949
00000b99: JUMP
00000b9a: JUMPDEST
00000b9b: PUSH1 0x10
00000b9d: SLOAD
00000b9e: DUP2
00000b9f: GT
00000ba0: ISZERO
00000ba1: PUSH2 0x0c0a
00000ba4: JUMPI
00000ba5: PUSH1 0x40
00000ba7: MLOAD
00000ba8: PUSH3 0x461bcd
00000bac: PUSH1 0xe5
00000bae: SHL
00000baf: DUP2
00000bb0: MSTORE
00000bb1: PUSH1 0x20
00000bb3: PUSH1 0x04
00000bb5: DUP3
00000bb6: ADD
00000bb7: MSTORE
00000bb8: PUSH1 0x35
00000bba: PUSH1 0x24
00000bbc: DUP3
00000bbd: ADD
00000bbe: MSTORE
00000bbf: PUSH32 0x7345524332303a2043616e206e6f7420736574206d6178207478206869676865
00000be0: PUSH1 0x44
00000be2: DUP3
00000be3: ADD
00000be4: MSTORE
00000be5: PUSH21 0x1c881d1a185b881d1a19481b585e081dd85b1b195d
00000bfb: PUSH1 0x5a
00000bfd: SHL
00000bfe: PUSH1 0x64
00000c00: DUP3
00000c01: ADD
00000c02: MSTORE
00000c03: PUSH1 0x84
00000c05: ADD
00000c06: PUSH2 0x0949
00000c09: JUMP
00000c0a: JUMPDEST
00000c0b: PUSH1 0x0f
00000c0d: SSTORE
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: PUSH1 0x00
00000c12: CALLER
00000c13: PUSH2 0x0c1d
00000c16: DUP6
00000c17: DUP3
00000c18: DUP6
00000c19: PUSH2 0x194b
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: PUSH2 0x0c28
00000c21: DUP6
00000c22: DUP6
00000c23: DUP6
00000c24: PUSH2 0x19dd
00000c27: JUMP
00000c28: JUMPDEST
00000c29: POP
00000c2a: PUSH1 0x01
00000c2c: SWAP5
00000c2d: SWAP4
00000c2e: POP
00000c2f: POP
00000c30: POP
00000c31: POP
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH1 0x05
00000c36: SLOAD
00000c37: PUSH1 0x01
00000c39: PUSH1 0x01
00000c3b: PUSH1 0xa0
00000c3d: SHL
00000c3e: SUB
00000c3f: AND
00000c40: CALLER
00000c41: EQ
00000c42: PUSH2 0x0c5d
00000c45: JUMPI
00000c46: PUSH1 0x40
00000c48: MLOAD
00000c49: PUSH3 0x461bcd
00000c4d: PUSH1 0xe5
00000c4f: SHL
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x04
00000c54: ADD
00000c55: PUSH2 0x0949
00000c58: SWAP1
00000c59: PUSH2 0x3469
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: PUSH1 0x40
00000c60: DUP1
00000c61: MLOAD
00000c62: PUSH1 0x02
00000c64: DUP1
00000c65: DUP3
00000c66: MSTORE
00000c67: PUSH1 0x60
00000c69: DUP3
00000c6a: ADD
00000c6b: DUP4
00000c6c: MSTORE
00000c6d: PUSH1 0x00
00000c6f: SWAP3
00000c70: PUSH1 0x20
00000c72: DUP4
00000c73: ADD
00000c74: SWAP1
00000c75: DUP1
00000c76: CALLDATASIZE
00000c77: DUP4
00000c78: CALLDATACOPY
00000c79: ADD
00000c7a: SWAP1
00000c7b: POP
00000c7c: POP
00000c7d: SWAP1
00000c7e: POP
00000c7f: DUP3
00000c80: DUP2
00000c81: PUSH1 0x00
00000c83: DUP2
00000c84: MLOAD
00000c85: DUP2
00000c86: LT
00000c87: PUSH2 0x0c92
00000c8a: JUMPI
00000c8b: PUSH2 0x0c92
00000c8e: PUSH2 0x349e
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH1 0x20
00000c95: MUL
00000c96: PUSH1 0x20
00000c98: ADD
00000c99: ADD
00000c9a: DUP2
00000c9b: DUP2
00000c9c: MSTORE
00000c9d: POP
00000c9e: POP
00000c9f: DUP2
00000ca0: DUP2
00000ca1: PUSH1 0x01
00000ca3: DUP2
00000ca4: MLOAD
00000ca5: DUP2
00000ca6: LT
00000ca7: PUSH2 0x0cb2
00000caa: JUMPI
00000cab: PUSH2 0x0cb2
00000cae: PUSH2 0x349e
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: PUSH1 0x20
00000cb5: MUL
00000cb6: PUSH1 0x20
00000cb8: ADD
00000cb9: ADD
00000cba: DUP2
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: POP
00000cbe: POP
00000cbf: PUSH2 0x09be
00000cc2: DUP2
00000cc3: PUSH1 0x00
00000cc5: PUSH2 0x16fc
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: CALLER
00000ccb: PUSH1 0x00
00000ccd: DUP2
00000cce: DUP2
00000ccf: MSTORE
00000cd0: PUSH1 0x01
00000cd2: PUSH1 0x20
00000cd4: SWAP1
00000cd5: DUP2
00000cd6: MSTORE
00000cd7: PUSH1 0x40
00000cd9: DUP1
00000cda: DUP4
00000cdb: KECCAK256
00000cdc: PUSH1 0x01
00000cde: PUSH1 0x01
00000ce0: PUSH1 0xa0
00000ce2: SHL
00000ce3: SUB
00000ce4: DUP8
00000ce5: AND
00000ce6: DUP5
00000ce7: MSTORE
00000ce8: SWAP1
00000ce9: SWAP2
00000cea: MSTORE
00000ceb: DUP2
00000cec: KECCAK256
00000ced: SLOAD
00000cee: SWAP1
00000cef: SWAP2
00000cf0: SWAP1
00000cf1: PUSH2 0x0a63
00000cf4: SWAP1
00000cf5: DUP3
00000cf6: SWAP1
00000cf7: DUP7
00000cf8: SWAP1
00000cf9: PUSH2 0x0d03
00000cfc: SWAP1
00000cfd: DUP8
00000cfe: SWAP1
00000cff: PUSH2 0x3505
00000d02: JUMP
00000d03: JUMPDEST
00000d04: PUSH2 0x17d0
00000d07: JUMP
00000d08: JUMPDEST
00000d09: PUSH1 0x05
00000d0b: SLOAD
00000d0c: PUSH1 0x01
00000d0e: PUSH1 0x01
00000d10: PUSH1 0xa0
00000d12: SHL
00000d13: SUB
00000d14: AND
00000d15: CALLER
00000d16: EQ
00000d17: PUSH2 0x0d32
00000d1a: JUMPI
00000d1b: PUSH1 0x40
00000d1d: MLOAD
00000d1e: PUSH3 0x461bcd
00000d22: PUSH1 0xe5
00000d24: SHL
00000d25: DUP2
00000d26: MSTORE
00000d27: PUSH1 0x04
00000d29: ADD
00000d2a: PUSH2 0x0949
00000d2d: SWAP1
00000d2e: PUSH2 0x3469
00000d31: JUMP
00000d32: JUMPDEST
00000d33: PUSH2 0x0d3c
00000d36: PUSH1 0x00
00000d38: PUSH2 0x2365
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: PUSH1 0x05
00000d41: SLOAD
00000d42: PUSH1 0x01
00000d44: PUSH1 0x01
00000d46: PUSH1 0xa0
00000d48: SHL
00000d49: SUB
00000d4a: AND
00000d4b: CALLER
00000d4c: EQ
00000d4d: PUSH2 0x0d68
00000d50: JUMPI
00000d51: PUSH1 0x40
00000d53: MLOAD
00000d54: PUSH3 0x461bcd
00000d58: PUSH1 0xe5
00000d5a: SHL
00000d5b: DUP2
00000d5c: MSTORE
00000d5d: PUSH1 0x04
00000d5f: ADD
00000d60: PUSH2 0x0949
00000d63: SWAP1
00000d64: PUSH2 0x3469
00000d67: JUMP
00000d68: JUMPDEST
00000d69: PUSH2 0x0258
00000d6c: DUP4
00000d6d: LT
00000d6e: ISZERO
00000d6f: PUSH2 0x0dd6
00000d72: JUMPI
00000d73: PUSH1 0x40
00000d75: MLOAD
00000d76: PUSH3 0x461bcd
00000d7a: PUSH1 0xe5
00000d7c: SHL
00000d7d: DUP2
00000d7e: MSTORE
00000d7f: PUSH1 0x20
00000d81: PUSH1 0x04
00000d83: DUP3
00000d84: ADD
00000d85: MSTORE
00000d86: PUSH1 0x33
00000d88: PUSH1 0x24
00000d8a: DUP3
00000d8b: ADD
00000d8c: MSTORE
00000d8d: PUSH32 0x63616e6e6f7420736574206275796261636b206d6f7265206f6674656e207468
00000dae: PUSH1 0x44
00000db0: DUP3
00000db1: ADD
00000db2: MSTORE
00000db3: PUSH19 0x616e206576657279203130206d696e75746573
00000dc7: PUSH1 0x68
00000dc9: SHL
00000dca: PUSH1 0x64
00000dcc: DUP3
00000dcd: ADD
00000dce: MSTORE
00000dcf: PUSH1 0x84
00000dd1: ADD
00000dd2: PUSH2 0x0949
00000dd5: JUMP
00000dd6: JUMPDEST
00000dd7: PUSH2 0x03e8
00000dda: DUP3
00000ddb: GT
00000ddc: ISZERO
00000ddd: DUP1
00000dde: ISZERO
00000ddf: PUSH2 0x0de6
00000de2: JUMPI
00000de3: POP
00000de4: PUSH1 0x01
00000de6: JUMPDEST
00000de7: PUSH2 0x0e4b
00000dea: JUMPI
00000deb: PUSH1 0x40
00000ded: MLOAD
00000dee: PUSH3 0x461bcd
00000df2: PUSH1 0xe5
00000df4: SHL
00000df5: DUP2
00000df6: MSTORE
00000df7: PUSH1 0x20
00000df9: PUSH1 0x04
00000dfb: DUP3
00000dfc: ADD
00000dfd: MSTORE
00000dfe: PUSH1 0x30
00000e00: PUSH1 0x24
00000e02: DUP3
00000e03: ADD
00000e04: MSTORE
00000e05: PUSH32 0x4d75737420736574206175746f204c50206275726e2070657263656e74206265
00000e26: PUSH1 0x44
00000e28: DUP3
00000e29: ADD
00000e2a: MSTORE
00000e2b: PUSH16 0x747765656e20302520616e6420313025
00000e3c: PUSH1 0x80
00000e3e: SHL
00000e3f: PUSH1 0x64
00000e41: DUP3
00000e42: ADD
00000e43: MSTORE
00000e44: PUSH1 0x84
00000e46: ADD
00000e47: PUSH2 0x0949
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: PUSH1 0x19
00000e4e: SWAP3
00000e4f: SWAP1
00000e50: SWAP3
00000e51: SSTORE
00000e52: PUSH1 0x17
00000e54: SSTORE
00000e55: PUSH1 0x18
00000e57: DUP1
00000e58: SLOAD
00000e59: PUSH1 0xff
00000e5b: NOT
00000e5c: AND
00000e5d: SWAP2
00000e5e: ISZERO
00000e5f: ISZERO
00000e60: SWAP2
00000e61: SWAP1
00000e62: SWAP2
00000e63: OR
00000e64: SWAP1
00000e65: SSTORE
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH1 0x00
00000e6a: PUSH2 0x0e72
00000e6d: DUP3
00000e6e: PUSH2 0x23b7
00000e71: JUMP
00000e72: JUMPDEST
00000e73: SWAP3
00000e74: SWAP2
00000e75: POP
00000e76: POP
00000e77: JUMP
00000e78: JUMPDEST
00000e79: PUSH1 0x60
00000e7b: PUSH1 0x04
00000e7d: DUP1
00000e7e: SLOAD
00000e7f: PUSH2 0x09d2
00000e82: SWAP1
00000e83: PUSH2 0x34b4
00000e86: JUMP
00000e87: JUMPDEST
00000e88: CALLER
00000e89: PUSH1 0x00
00000e8b: DUP2
00000e8c: DUP2
00000e8d: MSTORE
00000e8e: PUSH1 0x01
00000e90: PUSH1 0x20
00000e92: SWAP1
00000e93: DUP2
00000e94: MSTORE
00000e95: PUSH1 0x40
00000e97: DUP1
00000e98: DUP4
00000e99: KECCAK256
00000e9a: PUSH1 0x01
00000e9c: PUSH1 0x01
00000e9e: PUSH1 0xa0
00000ea0: SHL
00000ea1: SUB
00000ea2: DUP8
00000ea3: AND
00000ea4: DUP5
00000ea5: MSTORE
00000ea6: SWAP1
00000ea7: SWAP2
00000ea8: MSTORE
00000ea9: DUP2
00000eaa: KECCAK256
00000eab: SLOAD
00000eac: SWAP1
00000ead: SWAP2
00000eae: SWAP1
00000eaf: DUP4
00000eb0: DUP2
00000eb1: LT
00000eb2: ISZERO
00000eb3: PUSH2 0x0f0c
00000eb6: JUMPI
00000eb7: PUSH1 0x40
00000eb9: MLOAD
00000eba: PUSH3 0x461bcd
00000ebe: PUSH1 0xe5
00000ec0: SHL
00000ec1: DUP2
00000ec2: MSTORE
00000ec3: PUSH1 0x20
00000ec5: PUSH1 0x04
00000ec7: DUP3
00000ec8: ADD
00000ec9: MSTORE
00000eca: PUSH1 0x25
00000ecc: PUSH1 0x24
00000ece: DUP3
00000ecf: ADD
00000ed0: MSTORE
00000ed1: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00000ef2: PUSH1 0x44
00000ef4: DUP3
00000ef5: ADD
00000ef6: MSTORE
00000ef7: PUSH5 0x207a65726f
00000efd: PUSH1 0xd8
00000eff: SHL
00000f00: PUSH1 0x64
00000f02: DUP3
00000f03: ADD
00000f04: MSTORE
00000f05: PUSH1 0x84
00000f07: ADD
00000f08: PUSH2 0x0949
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: PUSH2 0x0c28
00000f10: DUP3
00000f11: DUP7
00000f12: DUP7
00000f13: DUP5
00000f14: SUB
00000f15: PUSH2 0x17d0
00000f18: JUMP
00000f19: JUMPDEST
00000f1a: PUSH1 0x00
00000f1c: CALLER
00000f1d: PUSH2 0x0a63
00000f20: DUP2
00000f21: DUP6
00000f22: DUP6
00000f23: PUSH2 0x19dd
00000f26: JUMP
00000f27: JUMPDEST
00000f28: PUSH1 0x00
00000f2a: PUSH2 0x0a77
00000f2d: PUSH1 0x0f
00000f2f: SLOAD
00000f30: SWAP1
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH1 0x00
00000f35: PUSH2 0x0a77
00000f38: PUSH1 0x0a
00000f3a: SLOAD
00000f3b: SWAP1
00000f3c: JUMP
00000f3d: JUMPDEST
00000f3e: PUSH1 0x05
00000f40: SLOAD
00000f41: PUSH1 0x01
00000f43: PUSH1 0x01
00000f45: PUSH1 0xa0
00000f47: SHL
00000f48: SUB
00000f49: AND
00000f4a: CALLER
00000f4b: EQ
00000f4c: PUSH2 0x0f67
00000f4f: JUMPI
00000f50: PUSH1 0x40
00000f52: MLOAD
00000f53: PUSH3 0x461bcd
00000f57: PUSH1 0xe5
00000f59: SHL
00000f5a: DUP2
00000f5b: MSTORE
00000f5c: PUSH1 0x04
00000f5e: ADD
00000f5f: PUSH2 0x0949
00000f62: SWAP1
00000f63: PUSH2 0x3469
00000f66: JUMP
00000f67: JUMPDEST
00000f68: PUSH1 0x10
00000f6a: SLOAD
00000f6b: DUP2
00000f6c: LT
00000f6d: ISZERO
00000f6e: PUSH2 0x0fcd
00000f71: JUMPI
00000f72: PUSH1 0x40
00000f74: MLOAD
00000f75: PUSH3 0x461bcd
00000f79: PUSH1 0xe5
00000f7b: SHL
00000f7c: DUP2
00000f7d: MSTORE
00000f7e: PUSH1 0x20
00000f80: PUSH1 0x04
00000f82: DUP3
00000f83: ADD
00000f84: MSTORE
00000f85: PUSH1 0x2b
00000f87: PUSH1 0x24
00000f89: DUP3
00000f8a: ADD
00000f8b: MSTORE
00000f8c: PUSH32 0x7345524332303a2043616e206e6f74206c6f77657220746865206d6178207761
00000fad: PUSH1 0x44
00000faf: DUP3
00000fb0: ADD
00000fb1: MSTORE
00000fb2: PUSH11 0x1b1b195d08185b5bdd5b9d
00000fbe: PUSH1 0xaa
00000fc0: SHL
00000fc1: PUSH1 0x64
00000fc3: DUP3
00000fc4: ADD
00000fc5: MSTORE
00000fc6: PUSH1 0x84
00000fc8: ADD
00000fc9: PUSH2 0x0949
00000fcc: JUMP
00000fcd: JUMPDEST
00000fce: PUSH1 0x0f
00000fd0: SLOAD
00000fd1: DUP2
00000fd2: LT
00000fd3: ISZERO
00000fd4: PUSH2 0x103c
00000fd7: JUMPI
00000fd8: PUSH1 0x40
00000fda: MLOAD
00000fdb: PUSH3 0x461bcd
00000fdf: PUSH1 0xe5
00000fe1: SHL
00000fe2: DUP2
00000fe3: MSTORE
00000fe4: PUSH1 0x20
00000fe6: PUSH1 0x04
00000fe8: DUP3
00000fe9: ADD
00000fea: MSTORE
00000feb: PUSH1 0x34
00000fed: PUSH1 0x24
00000fef: DUP3
00000ff0: ADD
00000ff1: MSTORE
00000ff2: PUSH32 0x7345524332303a2043616e206e6f7420736574206d61782077616c6c6574206c
00001013: PUSH1 0x44
00001015: DUP3
00001016: ADD
00001017: MSTORE
00001018: PUSH20 0x0deeecae440e8d0c2dc40e8d0ca40dac2f040e8f
0000102d: PUSH1 0x63
0000102f: SHL
00001030: PUSH1 0x64
00001032: DUP3
00001033: ADD
00001034: MSTORE
00001035: PUSH1 0x84
00001037: ADD
00001038: PUSH2 0x0949
0000103b: JUMP
0000103c: JUMPDEST
0000103d: PUSH1 0x10
0000103f: SSTORE
00001040: JUMP
00001041: JUMPDEST
00001042: PUSH1 0x05
00001044: SLOAD
00001045: PUSH1 0x01
00001047: PUSH1 0x01
00001049: PUSH1 0xa0
0000104b: SHL
0000104c: SUB
0000104d: AND
0000104e: CALLER
0000104f: EQ
00001050: PUSH2 0x106b
00001053: JUMPI
00001054: PUSH1 0x40
00001056: MLOAD
00001057: PUSH3 0x461bcd
0000105b: PUSH1 0xe5
0000105d: SHL
0000105e: DUP2
0000105f: MSTORE
00001060: PUSH1 0x04
00001062: ADD
00001063: PUSH2 0x0949
00001066: SWAP1
00001067: PUSH2 0x3469
0000106a: JUMP
0000106b: JUMPDEST
0000106c: PUSH1 0x01
0000106e: PUSH1 0x01
00001070: PUSH1 0xa0
00001072: SHL
00001073: SUB
00001074: DUP3
00001075: AND
00001076: PUSH1 0x00
00001078: DUP2
00001079: DUP2
0000107a: MSTORE
0000107b: PUSH1 0x20
0000107d: DUP1
0000107e: DUP1
0000107f: MSTORE
00001080: PUSH1 0x40
00001082: SWAP2
00001083: DUP3
00001084: SWAP1
00001085: KECCAK256
00001086: DUP1
00001087: SLOAD
00001088: PUSH1 0xff
0000108a: NOT
0000108b: AND
0000108c: DUP6
0000108d: ISZERO
0000108e: ISZERO
0000108f: SWAP1
00001090: DUP2
00001091: OR
00001092: SWAP1
00001093: SWAP2
00001094: SSTORE
00001095: SWAP2
00001096: MLOAD
00001097: SWAP2
00001098: DUP3
00001099: MSTORE
0000109a: PUSH32 0x9d8f7706ea1113d1a167b526eca956215946dd36cc7df39eb16180222d8b5df7
000010bb: SWAP2
000010bc: ADD
000010bd: PUSH1 0x40
000010bf: MLOAD
000010c0: DUP1
000010c1: SWAP2
000010c2: SUB
000010c3: SWAP1
000010c4: LOG2
000010c5: POP
000010c6: POP
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH1 0x05
000010cb: SLOAD
000010cc: PUSH1 0x01
000010ce: PUSH1 0x01
000010d0: PUSH1 0xa0
000010d2: SHL
000010d3: SUB
000010d4: AND
000010d5: CALLER
000010d6: EQ
000010d7: PUSH2 0x10f2
000010da: JUMPI
000010db: PUSH1 0x40
000010dd: MLOAD
000010de: PUSH3 0x461bcd
000010e2: PUSH1 0xe5
000010e4: SHL
000010e5: DUP2
000010e6: MSTORE
000010e7: PUSH1 0x04
000010e9: ADD
000010ea: PUSH2 0x0949
000010ed: SWAP1
000010ee: PUSH2 0x3469
000010f1: JUMP
000010f2: JUMPDEST
000010f3: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
00001114: PUSH1 0x01
00001116: PUSH1 0x01
00001118: PUSH1 0xa0
0000111a: SHL
0000111b: SUB
0000111c: AND
0000111d: DUP3
0000111e: PUSH1 0x01
00001120: PUSH1 0x01
00001122: PUSH1 0xa0
00001124: SHL
00001125: SUB
00001126: AND
00001127: EQ
00001128: ISZERO
00001129: PUSH2 0x119a
0000112c: JUMPI
0000112d: PUSH1 0x40
0000112f: MLOAD
00001130: PUSH3 0x461bcd
00001134: PUSH1 0xe5
00001136: SHL
00001137: DUP2
00001138: MSTORE
00001139: PUSH1 0x20
0000113b: PUSH1 0x04
0000113d: DUP3
0000113e: ADD
0000113f: MSTORE
00001140: PUSH1 0x39
00001142: PUSH1 0x24
00001144: DUP3
00001145: ADD
00001146: MSTORE
00001147: PUSH32 0x54686520706169722063616e6e6f742062652072656d6f7665642066726f6d20
00001168: PUSH1 0x44
0000116a: DUP3
0000116b: ADD
0000116c: MSTORE
0000116d: PUSH32 0x6175746f6d617465644d61726b65744d616b6572506169727300000000000000
0000118e: PUSH1 0x64
00001190: DUP3
00001191: ADD
00001192: MSTORE
00001193: PUSH1 0x84
00001195: ADD
00001196: PUSH2 0x0949
00001199: JUMP
0000119a: JUMPDEST
0000119b: PUSH2 0x11a4
0000119e: DUP3
0000119f: DUP3
000011a0: PUSH2 0x23d5
000011a3: JUMP
000011a4: JUMPDEST
000011a5: POP
000011a6: POP
000011a7: JUMP
000011a8: JUMPDEST
000011a9: PUSH1 0x00
000011ab: PUSH2 0x0a77
000011ae: PUSH1 0x0c
000011b0: SLOAD
000011b1: PUSH1 0xff
000011b3: AND
000011b4: SWAP1
000011b5: JUMP
000011b6: JUMPDEST
000011b7: PUSH1 0x05
000011b9: SLOAD
000011ba: PUSH1 0x01
000011bc: PUSH1 0x01
000011be: PUSH1 0xa0
000011c0: SHL
000011c1: SUB
000011c2: AND
000011c3: CALLER
000011c4: EQ
000011c5: PUSH2 0x11e0
000011c8: JUMPI
000011c9: PUSH1 0x40
000011cb: MLOAD
000011cc: PUSH3 0x461bcd
000011d0: PUSH1 0xe5
000011d2: SHL
000011d3: DUP2
000011d4: MSTORE
000011d5: PUSH1 0x04
000011d7: ADD
000011d8: PUSH2 0x0949
000011db: SWAP1
000011dc: PUSH2 0x3469
000011df: JUMP
000011e0: JUMPDEST
000011e1: PUSH2 0x11e8
000011e4: PUSH2 0x2429
000011e7: JUMP
000011e8: JUMPDEST
000011e9: TIMESTAMP
000011ea: PUSH1 0x1a
000011ec: SSTORE
000011ed: NUMBER
000011ee: PUSH1 0x1b
000011f0: SSTORE
000011f1: JUMP
000011f2: JUMPDEST
000011f3: PUSH1 0x60
000011f5: PUSH2 0x0a77
000011f8: PUSH2 0x2595
000011fb: JUMP
000011fc: JUMPDEST
000011fd: PUSH1 0x05
000011ff: SLOAD
00001200: PUSH1 0x01
00001202: PUSH1 0x01
00001204: PUSH1 0xa0
00001206: SHL
00001207: SUB
00001208: AND
00001209: CALLER
0000120a: EQ
0000120b: PUSH2 0x1226
0000120e: JUMPI
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: PUSH3 0x461bcd
00001216: PUSH1 0xe5
00001218: SHL
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x04
0000121d: ADD
0000121e: PUSH2 0x0949
00001221: SWAP1
00001222: PUSH2 0x3469
00001225: JUMP
00001226: JUMPDEST
00001227: PUSH1 0x01
00001229: PUSH1 0x01
0000122b: PUSH1 0xa0
0000122d: SHL
0000122e: SUB
0000122f: SWAP2
00001230: SWAP1
00001231: SWAP2
00001232: AND
00001233: PUSH1 0x00
00001235: SWAP1
00001236: DUP2
00001237: MSTORE
00001238: PUSH1 0x21
0000123a: PUSH1 0x20
0000123c: MSTORE
0000123d: PUSH1 0x40
0000123f: SWAP1
00001240: KECCAK256
00001241: DUP1
00001242: SLOAD
00001243: PUSH1 0xff
00001245: NOT
00001246: AND
00001247: SWAP2
00001248: ISZERO
00001249: ISZERO
0000124a: SWAP2
0000124b: SWAP1
0000124c: SWAP2
0000124d: OR
0000124e: SWAP1
0000124f: SSTORE
00001250: JUMP
00001251: JUMPDEST
00001252: PUSH1 0x05
00001254: SLOAD
00001255: PUSH1 0x00
00001257: SWAP1
00001258: PUSH1 0x01
0000125a: PUSH1 0x01
0000125c: PUSH1 0xa0
0000125e: SHL
0000125f: SUB
00001260: AND
00001261: CALLER
00001262: EQ
00001263: PUSH2 0x127e
00001266: JUMPI
00001267: PUSH1 0x40
00001269: MLOAD
0000126a: PUSH3 0x461bcd
0000126e: PUSH1 0xe5
00001270: SHL
00001271: DUP2
00001272: MSTORE
00001273: PUSH1 0x04
00001275: ADD
00001276: PUSH2 0x0949
00001279: SWAP1
0000127a: PUSH2 0x3469
0000127d: JUMP
0000127e: JUMPDEST
0000127f: POP
00001280: PUSH1 0x1f
00001282: DUP1
00001283: SLOAD
00001284: PUSH1 0xff
00001286: NOT
00001287: AND
00001288: SWAP1
00001289: SSTORE
0000128a: PUSH1 0x01
0000128c: SWAP1
0000128d: JUMP
0000128e: JUMPDEST
0000128f: PUSH1 0x00
00001291: PUSH2 0x0a77
00001294: PUSH1 0x07
00001296: SLOAD
00001297: SWAP1
00001298: JUMP
00001299: JUMPDEST
0000129a: PUSH1 0x00
0000129c: PUSH2 0x0a77
0000129f: PUSH1 0x10
000012a1: SLOAD
000012a2: SWAP1
000012a3: JUMP
000012a4: JUMPDEST
000012a5: PUSH1 0x05
000012a7: SLOAD
000012a8: PUSH1 0x01
000012aa: PUSH1 0x01
000012ac: PUSH1 0xa0
000012ae: SHL
000012af: SUB
000012b0: AND
000012b1: CALLER
000012b2: EQ
000012b3: PUSH2 0x12ce
000012b6: JUMPI
000012b7: PUSH1 0x40
000012b9: MLOAD
000012ba: PUSH3 0x461bcd
000012be: PUSH1 0xe5
000012c0: SHL
000012c1: DUP2
000012c2: MSTORE
000012c3: PUSH1 0x04
000012c5: ADD
000012c6: PUSH2 0x0949
000012c9: SWAP1
000012ca: PUSH2 0x3469
000012cd: JUMP
000012ce: JUMPDEST
000012cf: PUSH1 0x01
000012d1: PUSH1 0x01
000012d3: PUSH1 0xa0
000012d5: SHL
000012d6: SUB
000012d7: DUP2
000012d8: AND
000012d9: PUSH2 0x1333
000012dc: JUMPI
000012dd: PUSH1 0x40
000012df: MLOAD
000012e0: PUSH3 0x461bcd
000012e4: PUSH1 0xe5
000012e6: SHL
000012e7: DUP2
000012e8: MSTORE
000012e9: PUSH1 0x20
000012eb: PUSH1 0x04
000012ed: DUP3
000012ee: ADD
000012ef: MSTORE
000012f0: PUSH1 0x26
000012f2: PUSH1 0x24
000012f4: DUP3
000012f5: ADD
000012f6: MSTORE
000012f7: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001318: PUSH1 0x44
0000131a: DUP3
0000131b: ADD
0000131c: MSTORE
0000131d: PUSH6 0x646472657373
00001324: PUSH1 0xd0
00001326: SHL
00001327: PUSH1 0x64
00001329: DUP3
0000132a: ADD
0000132b: MSTORE
0000132c: PUSH1 0x84
0000132e: ADD
0000132f: PUSH2 0x0949
00001332: JUMP
00001333: JUMPDEST
00001334: PUSH2 0x133c
00001337: DUP2
00001338: PUSH2 0x2365
0000133b: JUMP
0000133c: JUMPDEST
0000133d: POP
0000133e: JUMP
0000133f: JUMPDEST
00001340: PUSH1 0x05
00001342: SLOAD
00001343: PUSH1 0x01
00001345: PUSH1 0x01
00001347: PUSH1 0xa0
00001349: SHL
0000134a: SUB
0000134b: AND
0000134c: CALLER
0000134d: EQ
0000134e: PUSH2 0x1369
00001351: JUMPI
00001352: PUSH1 0x40
00001354: MLOAD
00001355: PUSH3 0x461bcd
00001359: PUSH1 0xe5
0000135b: SHL
0000135c: DUP2
0000135d: MSTORE
0000135e: PUSH1 0x04
00001360: ADD
00001361: PUSH2 0x0949
00001364: SWAP1
00001365: PUSH2 0x3469
00001368: JUMP
00001369: JUMPDEST
0000136a: PUSH2 0x11a4
0000136d: DUP3
0000136e: DUP3
0000136f: PUSH2 0x25eb
00001372: JUMP
00001373: JUMPDEST
00001374: PUSH1 0x05
00001376: SLOAD
00001377: PUSH1 0x00
00001379: SWAP1
0000137a: PUSH1 0x01
0000137c: PUSH1 0x01
0000137e: PUSH1 0xa0
00001380: SHL
00001381: SUB
00001382: AND
00001383: CALLER
00001384: EQ
00001385: PUSH2 0x13a0
00001388: JUMPI
00001389: PUSH1 0x40
0000138b: MLOAD
0000138c: PUSH3 0x461bcd
00001390: PUSH1 0xe5
00001392: SHL
00001393: DUP2
00001394: MSTORE
00001395: PUSH1 0x04
00001397: ADD
00001398: PUSH2 0x0949
0000139b: SWAP1
0000139c: PUSH2 0x3469
0000139f: JUMP
000013a0: JUMPDEST
000013a1: PUSH1 0x1c
000013a3: SLOAD
000013a4: PUSH1 0x1d
000013a6: SLOAD
000013a7: PUSH2 0x13b0
000013aa: SWAP2
000013ab: SWAP1
000013ac: PUSH2 0x3505
000013af: JUMP
000013b0: JUMPDEST
000013b1: TIMESTAMP
000013b2: GT
000013b3: PUSH2 0x13fe
000013b6: JUMPI
000013b7: PUSH1 0x40
000013b9: MLOAD
000013ba: PUSH3 0x461bcd
000013be: PUSH1 0xe5
000013c0: SHL
000013c1: DUP2
000013c2: MSTORE
000013c3: PUSH1 0x20
000013c5: PUSH1 0x04
000013c7: DUP3
000013c8: ADD
000013c9: DUP2
000013ca: SWAP1
000013cb: MSTORE
000013cc: PUSH1 0x24
000013ce: DUP3
000013cf: ADD
000013d0: MSTORE
000013d1: PUSH32 0x4d757374207761697420666f7220636f6f6c646f776e20746f2066696e697368
000013f2: PUSH1 0x44
000013f4: DUP3
000013f5: ADD
000013f6: MSTORE
000013f7: PUSH1 0x64
000013f9: ADD
000013fa: PUSH2 0x0949
000013fd: JUMP
000013fe: JUMPDEST
000013ff: PUSH2 0x03e8
00001402: DUP3
00001403: GT
00001404: ISZERO
00001405: PUSH2 0x1463
00001408: JUMPI
00001409: PUSH1 0x40
0000140b: MLOAD
0000140c: PUSH3 0x461bcd
00001410: PUSH1 0xe5
00001412: SHL
00001413: DUP2
00001414: MSTORE
00001415: PUSH1 0x20
00001417: PUSH1 0x04
00001419: DUP3
0000141a: ADD
0000141b: MSTORE
0000141c: PUSH1 0x2a
0000141e: PUSH1 0x24
00001420: DUP3
00001421: ADD
00001422: MSTORE
00001423: PUSH32 0x4d6179206e6f74206e756b65206d6f7265207468616e20313025206f6620746f
00001444: PUSH1 0x44
00001446: DUP3
00001447: ADD
00001448: MSTORE
00001449: PUSH10 0x06b656e7320696e204c5
00001454: PUSH1 0xb4
00001456: SHL
00001457: PUSH1 0x64
00001459: DUP3
0000145a: ADD
0000145b: MSTORE
0000145c: PUSH1 0x84
0000145e: ADD
0000145f: PUSH2 0x0949
00001462: JUMP
00001463: JUMPDEST
00001464: TIMESTAMP
00001465: PUSH1 0x1d
00001467: SSTORE
00001468: PUSH1 0x00
0000146a: ADDRESS
0000146b: PUSH4 0x70a08231
00001470: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
00001491: PUSH1 0x40
00001493: MLOAD
00001494: PUSH1 0x01
00001496: PUSH1 0x01
00001498: PUSH1 0xe0
0000149a: SHL
0000149b: SUB
0000149c: NOT
0000149d: PUSH1 0xe0
0000149f: DUP5
000014a0: SWAP1
000014a1: SHL
000014a2: AND
000014a3: DUP2
000014a4: MSTORE
000014a5: PUSH1 0x01
000014a7: PUSH1 0x01
000014a9: PUSH1 0xa0
000014ab: SHL
000014ac: SUB
000014ad: SWAP1
000014ae: SWAP2
000014af: AND
000014b0: PUSH1 0x04
000014b2: DUP3
000014b3: ADD
000014b4: MSTORE
000014b5: PUSH1 0x24
000014b7: ADD
000014b8: PUSH1 0x20
000014ba: PUSH1 0x40
000014bc: MLOAD
000014bd: DUP1
000014be: DUP4
000014bf: SUB
000014c0: DUP2
000014c1: DUP7
000014c2: GAS
000014c3: STATICCALL
000014c4: ISZERO
000014c5: DUP1
000014c6: ISZERO
000014c7: PUSH2 0x14d4
000014ca: JUMPI
000014cb: RETURNDATASIZE
000014cc: PUSH1 0x00
000014ce: DUP1
000014cf: RETURNDATACOPY
000014d0: RETURNDATASIZE
000014d1: PUSH1 0x00
000014d3: REVERT
000014d4: JUMPDEST
000014d5: POP
000014d6: POP
000014d7: POP
000014d8: POP
000014d9: PUSH1 0x40
000014db: MLOAD
000014dc: RETURNDATASIZE
000014dd: PUSH1 0x1f
000014df: NOT
000014e0: PUSH1 0x1f
000014e2: DUP3
000014e3: ADD
000014e4: AND
000014e5: DUP3
000014e6: ADD
000014e7: DUP1
000014e8: PUSH1 0x40
000014ea: MSTORE
000014eb: POP
000014ec: DUP2
000014ed: ADD
000014ee: SWAP1
000014ef: PUSH2 0x14f8
000014f2: SWAP2
000014f3: SWAP1
000014f4: PUSH2 0x351d
000014f7: JUMP
000014f8: JUMPDEST
000014f9: SWAP1
000014fa: POP
000014fb: PUSH1 0x00
000014fd: PUSH2 0x1512
00001500: PUSH2 0x2710
00001503: PUSH2 0x150c
00001506: DUP5
00001507: DUP8
00001508: PUSH2 0x28e7
0000150b: JUMP
0000150c: JUMPDEST
0000150d: SWAP1
0000150e: PUSH2 0x28fa
00001511: JUMP
00001512: JUMPDEST
00001513: SWAP1
00001514: POP
00001515: DUP1
00001516: ISZERO
00001517: PUSH2 0x1548
0000151a: JUMPI
0000151b: PUSH2 0x1548
0000151e: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
0000153f: JUMPDEST
00001540: PUSH2 0xdead
00001543: DUP4
00001544: PUSH2 0x2906
00001547: JUMP
00001548: JUMPDEST
00001549: PUSH1 0x00
0000154b: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
0000156c: SWAP1
0000156d: POP
0000156e: DUP1
0000156f: PUSH1 0x01
00001571: PUSH1 0x01
00001573: PUSH1 0xa0
00001575: SHL
00001576: SUB
00001577: AND
00001578: PUSH4 0xfff6cae9
0000157d: PUSH1 0x40
0000157f: MLOAD
00001580: DUP2
00001581: PUSH4 0xffffffff
00001586: AND
00001587: PUSH1 0xe0
00001589: SHL
0000158a: DUP2
0000158b: MSTORE
0000158c: PUSH1 0x04
0000158e: ADD
0000158f: PUSH1 0x00
00001591: PUSH1 0x40
00001593: MLOAD
00001594: DUP1
00001595: DUP4
00001596: SUB
00001597: DUP2
00001598: PUSH1 0x00
0000159a: DUP8
0000159b: DUP1
0000159c: EXTCODESIZE
0000159d: ISZERO
0000159e: DUP1
0000159f: ISZERO
000015a0: PUSH2 0x15a8
000015a3: JUMPI
000015a4: PUSH1 0x00
000015a6: DUP1
000015a7: REVERT
000015a8: JUMPDEST
000015a9: POP
000015aa: GAS
000015ab: CALL
000015ac: ISZERO
000015ad: DUP1
000015ae: ISZERO
000015af: PUSH2 0x15bc
000015b2: JUMPI
000015b3: RETURNDATASIZE
000015b4: PUSH1 0x00
000015b6: DUP1
000015b7: RETURNDATACOPY
000015b8: RETURNDATASIZE
000015b9: PUSH1 0x00
000015bb: REVERT
000015bc: JUMPDEST
000015bd: POP
000015be: POP
000015bf: PUSH1 0x40
000015c1: MLOAD
000015c2: PUSH32 0x8462566617872a3fbab94534675218431ff9e204063ee3f4f43d965626a39abb
000015e3: SWAP3
000015e4: POP
000015e5: PUSH1 0x00
000015e7: SWAP2
000015e8: POP
000015e9: LOG1
000015ea: PUSH1 0x01
000015ec: SWAP4
000015ed: POP
000015ee: POP
000015ef: POP
000015f0: POP
000015f1: JUMPDEST
000015f2: SWAP2
000015f3: SWAP1
000015f4: POP
000015f5: JUMP
000015f6: JUMPDEST
000015f7: PUSH1 0x60
000015f9: DUP2
000015fa: PUSH2 0x161a
000015fd: JUMPI
000015fe: POP
000015ff: POP
00001600: PUSH1 0x40
00001602: DUP1
00001603: MLOAD
00001604: DUP1
00001605: DUP3
00001606: ADD
00001607: SWAP1
00001608: SWAP2
00001609: MSTORE
0000160a: PUSH1 0x01
0000160c: DUP2
0000160d: MSTORE
0000160e: PUSH1 0x03
00001610: PUSH1 0xfc
00001612: SHL
00001613: PUSH1 0x20
00001615: DUP3
00001616: ADD
00001617: MSTORE
00001618: SWAP1
00001619: JUMP
0000161a: JUMPDEST
0000161b: DUP2
0000161c: PUSH1 0x00
0000161e: JUMPDEST
0000161f: DUP2
00001620: ISZERO
00001621: PUSH2 0x1644
00001624: JUMPI
00001625: DUP1
00001626: PUSH2 0x162e
00001629: DUP2
0000162a: PUSH2 0x3536
0000162d: JUMP
0000162e: JUMPDEST
0000162f: SWAP2
00001630: POP
00001631: PUSH2 0x163d
00001634: SWAP1
00001635: POP
00001636: PUSH1 0x0a
00001638: DUP4
00001639: PUSH2 0x3567
0000163c: JUMP
0000163d: JUMPDEST
0000163e: SWAP2
0000163f: POP
00001640: PUSH2 0x161e
00001643: JUMP
00001644: JUMPDEST
00001645: PUSH1 0x00
00001647: DUP2
00001648: PUSH8 0xffffffffffffffff
00001651: DUP2
00001652: GT
00001653: ISZERO
00001654: PUSH2 0x165f
00001657: JUMPI
00001658: PUSH2 0x165f
0000165b: PUSH2 0x337c
0000165e: JUMP
0000165f: JUMPDEST
00001660: PUSH1 0x40
00001662: MLOAD
00001663: SWAP1
00001664: DUP1
00001665: DUP3
00001666: MSTORE
00001667: DUP1
00001668: PUSH1 0x1f
0000166a: ADD
0000166b: PUSH1 0x1f
0000166d: NOT
0000166e: AND
0000166f: PUSH1 0x20
00001671: ADD
00001672: DUP3
00001673: ADD
00001674: PUSH1 0x40
00001676: MSTORE
00001677: DUP1
00001678: ISZERO
00001679: PUSH2 0x1689
0000167c: JUMPI
0000167d: PUSH1 0x20
0000167f: DUP3
00001680: ADD
00001681: DUP2
00001682: DUP1
00001683: CALLDATASIZE
00001684: DUP4
00001685: CALLDATACOPY
00001686: ADD
00001687: SWAP1
00001688: POP
00001689: JUMPDEST
0000168a: POP
0000168b: SWAP1
0000168c: POP
0000168d: JUMPDEST
0000168e: DUP5
0000168f: ISZERO
00001690: PUSH2 0x16f4
00001693: JUMPI
00001694: PUSH2 0x169e
00001697: PUSH1 0x01
00001699: DUP4
0000169a: PUSH2 0x357b
0000169d: JUMP
0000169e: JUMPDEST
0000169f: SWAP2
000016a0: POP
000016a1: PUSH2 0x16ab
000016a4: PUSH1 0x0a
000016a6: DUP7
000016a7: PUSH2 0x3592
000016aa: JUMP
000016ab: JUMPDEST
000016ac: PUSH2 0x16b6
000016af: SWAP1
000016b0: PUSH1 0x30
000016b2: PUSH2 0x3505
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH1 0xf8
000016b9: SHL
000016ba: DUP2
000016bb: DUP4
000016bc: DUP2
000016bd: MLOAD
000016be: DUP2
000016bf: LT
000016c0: PUSH2 0x16cb
000016c3: JUMPI
000016c4: PUSH2 0x16cb
000016c7: PUSH2 0x349e
000016ca: JUMP
000016cb: JUMPDEST
000016cc: PUSH1 0x20
000016ce: ADD
000016cf: ADD
000016d0: SWAP1
000016d1: PUSH1 0x01
000016d3: PUSH1 0x01
000016d5: PUSH1 0xf8
000016d7: SHL
000016d8: SUB
000016d9: NOT
000016da: AND
000016db: SWAP1
000016dc: DUP2
000016dd: PUSH1 0x00
000016df: BYTE
000016e0: SWAP1
000016e1: MSTORE8
000016e2: POP
000016e3: PUSH2 0x16ed
000016e6: PUSH1 0x0a
000016e8: DUP7
000016e9: PUSH2 0x3567
000016ec: JUMP
000016ed: JUMPDEST
000016ee: SWAP5
000016ef: POP
000016f0: PUSH2 0x168d
000016f3: JUMP
000016f4: JUMPDEST
000016f5: SWAP5
000016f6: SWAP4
000016f7: POP
000016f8: POP
000016f9: POP
000016fa: POP
000016fb: JUMP
000016fc: JUMPDEST
000016fd: PUSH2 0x1706
00001700: DUP3
00001701: DUP3
00001702: PUSH2 0x2a5a
00001705: JUMP
00001706: JUMPDEST
00001707: PUSH1 0x00
00001709: DUP2
0000170a: ISZERO
0000170b: PUSH2 0x176f
0000170e: JUMPI
0000170f: DUP3
00001710: MLOAD
00001711: PUSH2 0x1721
00001714: SWAP1
00001715: PUSH1 0x06
00001717: SWAP1
00001718: PUSH1 0x20
0000171a: DUP7
0000171b: ADD
0000171c: SWAP1
0000171d: PUSH2 0x30e1
00001720: JUMP
00001721: JUMPDEST
00001722: POP
00001723: PUSH1 0x00
00001725: JUMPDEST
00001726: DUP4
00001727: MLOAD
00001728: DUP2
00001729: LT
0000172a: ISZERO
0000172b: PUSH2 0x1767
0000172e: JUMPI
0000172f: DUP4
00001730: DUP2
00001731: DUP2
00001732: MLOAD
00001733: DUP2
00001734: LT
00001735: PUSH2 0x1740
00001738: JUMPI
00001739: PUSH2 0x1740
0000173c: PUSH2 0x349e
0000173f: JUMP
00001740: JUMPDEST
00001741: PUSH1 0x20
00001743: MUL
00001744: PUSH1 0x20
00001746: ADD
00001747: ADD
00001748: MLOAD
00001749: DUP3
0000174a: PUSH2 0x1753
0000174d: SWAP2
0000174e: SWAP1
0000174f: PUSH2 0x3505
00001752: JUMP
00001753: JUMPDEST
00001754: SWAP2
00001755: POP
00001756: DUP1
00001757: PUSH2 0x175f
0000175a: DUP2
0000175b: PUSH2 0x3536
0000175e: JUMP
0000175f: JUMPDEST
00001760: SWAP2
00001761: POP
00001762: POP
00001763: PUSH2 0x1725
00001766: JUMP
00001767: JUMPDEST
00001768: POP
00001769: PUSH1 0x07
0000176b: SSTORE
0000176c: POP
0000176d: POP
0000176e: JUMP
0000176f: JUMPDEST
00001770: DUP3
00001771: MLOAD
00001772: PUSH2 0x1782
00001775: SWAP1
00001776: PUSH1 0x09
00001778: SWAP1
00001779: PUSH1 0x20
0000177b: DUP7
0000177c: ADD
0000177d: SWAP1
0000177e: PUSH2 0x30e1
00001781: JUMP
00001782: JUMPDEST
00001783: POP
00001784: PUSH1 0x00
00001786: JUMPDEST
00001787: DUP4
00001788: MLOAD
00001789: DUP2
0000178a: LT
0000178b: ISZERO
0000178c: PUSH2 0x17c8
0000178f: JUMPI
00001790: DUP4
00001791: DUP2
00001792: DUP2
00001793: MLOAD
00001794: DUP2
00001795: LT
00001796: PUSH2 0x17a1
00001799: JUMPI
0000179a: PUSH2 0x17a1
0000179d: PUSH2 0x349e
000017a0: JUMP
000017a1: JUMPDEST
000017a2: PUSH1 0x20
000017a4: MUL
000017a5: PUSH1 0x20
000017a7: ADD
000017a8: ADD
000017a9: MLOAD
000017aa: DUP3
000017ab: PUSH2 0x17b4
000017ae: SWAP2
000017af: SWAP1
000017b0: PUSH2 0x3505
000017b3: JUMP
000017b4: JUMPDEST
000017b5: SWAP2
000017b6: POP
000017b7: DUP1
000017b8: PUSH2 0x17c0
000017bb: DUP2
000017bc: PUSH2 0x3536
000017bf: JUMP
000017c0: JUMPDEST
000017c1: SWAP2
000017c2: POP
000017c3: POP
000017c4: PUSH2 0x1786
000017c7: JUMP
000017c8: JUMPDEST
000017c9: POP
000017ca: PUSH1 0x0a
000017cc: SSTORE
000017cd: POP
000017ce: POP
000017cf: JUMP
000017d0: JUMPDEST
000017d1: PUSH1 0x01
000017d3: PUSH1 0x01
000017d5: PUSH1 0xa0
000017d7: SHL
000017d8: SUB
000017d9: DUP4
000017da: AND
000017db: PUSH2 0x1832
000017de: JUMPI
000017df: PUSH1 0x40
000017e1: MLOAD
000017e2: PUSH3 0x461bcd
000017e6: PUSH1 0xe5
000017e8: SHL
000017e9: DUP2
000017ea: MSTORE
000017eb: PUSH1 0x20
000017ed: PUSH1 0x04
000017ef: DUP3
000017f0: ADD
000017f1: MSTORE
000017f2: PUSH1 0x24
000017f4: DUP1
000017f5: DUP3
000017f6: ADD
000017f7: MSTORE
000017f8: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00001819: PUSH1 0x44
0000181b: DUP3
0000181c: ADD
0000181d: MSTORE
0000181e: PUSH4 0x72657373
00001823: PUSH1 0xe0
00001825: SHL
00001826: PUSH1 0x64
00001828: DUP3
00001829: ADD
0000182a: MSTORE
0000182b: PUSH1 0x84
0000182d: ADD
0000182e: PUSH2 0x0949
00001831: JUMP
00001832: JUMPDEST
00001833: PUSH1 0x01
00001835: PUSH1 0x01
00001837: PUSH1 0xa0
00001839: SHL
0000183a: SUB
0000183b: DUP3
0000183c: AND
0000183d: PUSH2 0x1893
00001840: JUMPI
00001841: PUSH1 0x40
00001843: MLOAD
00001844: PUSH3 0x461bcd
00001848: PUSH1 0xe5
0000184a: SHL
0000184b: DUP2
0000184c: MSTORE
0000184d: PUSH1 0x20
0000184f: PUSH1 0x04
00001851: DUP3
00001852: ADD
00001853: MSTORE
00001854: PUSH1 0x22
00001856: PUSH1 0x24
00001858: DUP3
00001859: ADD
0000185a: MSTORE
0000185b: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
0000187c: PUSH1 0x44
0000187e: DUP3
0000187f: ADD
00001880: MSTORE
00001881: PUSH2 0x7373
00001884: PUSH1 0xf0
00001886: SHL
00001887: PUSH1 0x64
00001889: DUP3
0000188a: ADD
0000188b: MSTORE
0000188c: PUSH1 0x84
0000188e: ADD
0000188f: PUSH2 0x0949
00001892: JUMP
00001893: JUMPDEST
00001894: PUSH1 0x01
00001896: PUSH1 0x01
00001898: PUSH1 0xa0
0000189a: SHL
0000189b: SUB
0000189c: DUP4
0000189d: DUP2
0000189e: AND
0000189f: PUSH1 0x00
000018a1: DUP2
000018a2: DUP2
000018a3: MSTORE
000018a4: PUSH1 0x01
000018a6: PUSH1 0x20
000018a8: SWAP1
000018a9: DUP2
000018aa: MSTORE
000018ab: PUSH1 0x40
000018ad: DUP1
000018ae: DUP4
000018af: KECCAK256
000018b0: SWAP5
000018b1: DUP8
000018b2: AND
000018b3: DUP1
000018b4: DUP5
000018b5: MSTORE
000018b6: SWAP5
000018b7: DUP3
000018b8: MSTORE
000018b9: SWAP2
000018ba: DUP3
000018bb: SWAP1
000018bc: KECCAK256
000018bd: DUP6
000018be: SWAP1
000018bf: SSTORE
000018c0: SWAP1
000018c1: MLOAD
000018c2: DUP5
000018c3: DUP2
000018c4: MSTORE
000018c5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000018e6: SWAP2
000018e7: ADD
000018e8: PUSH1 0x40
000018ea: MLOAD
000018eb: DUP1
000018ec: SWAP2
000018ed: SUB
000018ee: SWAP1
000018ef: LOG3
000018f0: POP
000018f1: POP
000018f2: POP
000018f3: JUMP
000018f4: JUMPDEST
000018f5: PUSH1 0x60
000018f7: PUSH1 0x06
000018f9: DUP1
000018fa: SLOAD
000018fb: DUP1
000018fc: PUSH1 0x20
000018fe: MUL
000018ff: PUSH1 0x20
00001901: ADD
00001902: PUSH1 0x40
00001904: MLOAD
00001905: SWAP1
00001906: DUP2
00001907: ADD
00001908: PUSH1 0x40
0000190a: MSTORE
0000190b: DUP1
0000190c: SWAP3
0000190d: SWAP2
0000190e: SWAP1
0000190f: DUP2
00001910: DUP2
00001911: MSTORE
00001912: PUSH1 0x20
00001914: ADD
00001915: DUP3
00001916: DUP1
00001917: SLOAD
00001918: DUP1
00001919: ISZERO
0000191a: PUSH2 0x0a4b
0000191d: JUMPI
0000191e: PUSH1 0x20
00001920: MUL
00001921: DUP3
00001922: ADD
00001923: SWAP2
00001924: SWAP1
00001925: PUSH1 0x00
00001927: MSTORE
00001928: PUSH1 0x20
0000192a: PUSH1 0x00
0000192c: KECCAK256
0000192d: SWAP1
0000192e: JUMPDEST
0000192f: DUP2
00001930: SLOAD
00001931: DUP2
00001932: MSTORE
00001933: PUSH1 0x20
00001935: ADD
00001936: SWAP1
00001937: PUSH1 0x01
00001939: ADD
0000193a: SWAP1
0000193b: DUP1
0000193c: DUP4
0000193d: GT
0000193e: PUSH2 0x192e
00001941: JUMPI
00001942: POP
00001943: POP
00001944: POP
00001945: POP
00001946: POP
00001947: SWAP1
00001948: POP
00001949: SWAP1
0000194a: JUMP
0000194b: JUMPDEST
0000194c: PUSH1 0x01
0000194e: PUSH1 0x01
00001950: PUSH1 0xa0
00001952: SHL
00001953: SUB
00001954: DUP4
00001955: DUP2
00001956: AND
00001957: PUSH1 0x00
00001959: SWAP1
0000195a: DUP2
0000195b: MSTORE
0000195c: PUSH1 0x01
0000195e: PUSH1 0x20
00001960: SWAP1
00001961: DUP2
00001962: MSTORE
00001963: PUSH1 0x40
00001965: DUP1
00001966: DUP4
00001967: KECCAK256
00001968: SWAP4
00001969: DUP7
0000196a: AND
0000196b: DUP4
0000196c: MSTORE
0000196d: SWAP3
0000196e: SWAP1
0000196f: MSTORE
00001970: KECCAK256
00001971: SLOAD
00001972: PUSH1 0x00
00001974: NOT
00001975: DUP2
00001976: EQ
00001977: PUSH2 0x19d7
0000197a: JUMPI
0000197b: DUP2
0000197c: DUP2
0000197d: LT
0000197e: ISZERO
0000197f: PUSH2 0x19ca
00001982: JUMPI
00001983: PUSH1 0x40
00001985: MLOAD
00001986: PUSH3 0x461bcd
0000198a: PUSH1 0xe5
0000198c: SHL
0000198d: DUP2
0000198e: MSTORE
0000198f: PUSH1 0x20
00001991: PUSH1 0x04
00001993: DUP3
00001994: ADD
00001995: MSTORE
00001996: PUSH1 0x1d
00001998: PUSH1 0x24
0000199a: DUP3
0000199b: ADD
0000199c: MSTORE
0000199d: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
000019be: PUSH1 0x44
000019c0: DUP3
000019c1: ADD
000019c2: MSTORE
000019c3: PUSH1 0x64
000019c5: ADD
000019c6: PUSH2 0x0949
000019c9: JUMP
000019ca: JUMPDEST
000019cb: PUSH2 0x19d7
000019ce: DUP5
000019cf: DUP5
000019d0: DUP5
000019d1: DUP5
000019d2: SUB
000019d3: PUSH2 0x17d0
000019d6: JUMP
000019d7: JUMPDEST
000019d8: POP
000019d9: POP
000019da: POP
000019db: POP
000019dc: JUMP
000019dd: JUMPDEST
000019de: PUSH1 0x01
000019e0: PUSH1 0x01
000019e2: PUSH1 0xa0
000019e4: SHL
000019e5: SUB
000019e6: DUP4
000019e7: AND
000019e8: PUSH2 0x1a03
000019eb: JUMPI
000019ec: PUSH1 0x40
000019ee: MLOAD
000019ef: PUSH3 0x461bcd
000019f3: PUSH1 0xe5
000019f5: SHL
000019f6: DUP2
000019f7: MSTORE
000019f8: PUSH1 0x04
000019fa: ADD
000019fb: PUSH2 0x0949
000019fe: SWAP1
000019ff: PUSH2 0x35a6
00001a02: JUMP
00001a03: JUMPDEST
00001a04: PUSH1 0x01
00001a06: PUSH1 0x01
00001a08: PUSH1 0xa0
00001a0a: SHL
00001a0b: SUB
00001a0c: DUP3
00001a0d: AND
00001a0e: PUSH2 0x1a29
00001a11: JUMPI
00001a12: PUSH1 0x40
00001a14: MLOAD
00001a15: PUSH3 0x461bcd
00001a19: PUSH1 0xe5
00001a1b: SHL
00001a1c: DUP2
00001a1d: MSTORE
00001a1e: PUSH1 0x04
00001a20: ADD
00001a21: PUSH2 0x0949
00001a24: SWAP1
00001a25: PUSH2 0x35eb
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: DUP1
00001a2b: PUSH2 0x1a3a
00001a2e: JUMPI
00001a2f: PUSH2 0x09be
00001a32: DUP4
00001a33: DUP4
00001a34: PUSH1 0x00
00001a36: PUSH2 0x2906
00001a39: JUMP
00001a3a: JUMPDEST
00001a3b: PUSH1 0x00
00001a3d: PUSH2 0x1a4e
00001a40: PUSH1 0x05
00001a42: SLOAD
00001a43: PUSH1 0x01
00001a45: PUSH1 0x01
00001a47: PUSH1 0xa0
00001a49: SHL
00001a4a: SUB
00001a4b: AND
00001a4c: SWAP1
00001a4d: JUMP
00001a4e: JUMPDEST
00001a4f: PUSH1 0x01
00001a51: PUSH1 0x01
00001a53: PUSH1 0xa0
00001a55: SHL
00001a56: SUB
00001a57: AND
00001a58: DUP5
00001a59: PUSH1 0x01
00001a5b: PUSH1 0x01
00001a5d: PUSH1 0xa0
00001a5f: SHL
00001a60: SUB
00001a61: AND
00001a62: EQ
00001a63: ISZERO
00001a64: DUP1
00001a65: ISZERO
00001a66: PUSH2 0x1a7d
00001a69: JUMPI
00001a6a: POP
00001a6b: PUSH1 0x05
00001a6d: SLOAD
00001a6e: PUSH1 0x01
00001a70: PUSH1 0x01
00001a72: PUSH1 0xa0
00001a74: SHL
00001a75: SUB
00001a76: DUP5
00001a77: DUP2
00001a78: AND
00001a79: SWAP2
00001a7a: AND
00001a7b: EQ
00001a7c: ISZERO
00001a7d: JUMPDEST
00001a7e: DUP1
00001a7f: ISZERO
00001a80: PUSH2 0x1a91
00001a83: JUMPI
00001a84: POP
00001a85: PUSH1 0x01
00001a87: PUSH1 0x01
00001a89: PUSH1 0xa0
00001a8b: SHL
00001a8c: SUB
00001a8d: DUP4
00001a8e: AND
00001a8f: ISZERO
00001a90: ISZERO
00001a91: JUMPDEST
00001a92: DUP1
00001a93: ISZERO
00001a94: PUSH2 0x1aa8
00001a97: JUMPI
00001a98: POP
00001a99: PUSH1 0x01
00001a9b: PUSH1 0x01
00001a9d: PUSH1 0xa0
00001a9f: SHL
00001aa0: SUB
00001aa1: DUP4
00001aa2: AND
00001aa3: PUSH2 0xdead
00001aa6: EQ
00001aa7: ISZERO
00001aa8: JUMPDEST
00001aa9: ISZERO
00001aaa: PUSH2 0x1fab
00001aad: JUMPI
00001aae: PUSH1 0x0c
00001ab0: SLOAD
00001ab1: PUSH1 0xff
00001ab3: AND
00001ab4: PUSH2 0x1b39
00001ab7: JUMPI
00001ab8: PUSH1 0x01
00001aba: PUSH1 0x01
00001abc: PUSH1 0xa0
00001abe: SHL
00001abf: SUB
00001ac0: DUP5
00001ac1: AND
00001ac2: PUSH1 0x00
00001ac4: SWAP1
00001ac5: DUP2
00001ac6: MSTORE
00001ac7: PUSH1 0x20
00001ac9: DUP1
00001aca: MSTORE
00001acb: PUSH1 0x40
00001acd: SWAP1
00001ace: KECCAK256
00001acf: SLOAD
00001ad0: PUSH1 0xff
00001ad2: AND
00001ad3: DUP1
00001ad4: PUSH2 0x1af4
00001ad7: JUMPI
00001ad8: POP
00001ad9: PUSH1 0x01
00001adb: PUSH1 0x01
00001add: PUSH1 0xa0
00001adf: SHL
00001ae0: SUB
00001ae1: DUP4
00001ae2: AND
00001ae3: PUSH1 0x00
00001ae5: SWAP1
00001ae6: DUP2
00001ae7: MSTORE
00001ae8: PUSH1 0x20
00001aea: DUP1
00001aeb: MSTORE
00001aec: PUSH1 0x40
00001aee: SWAP1
00001aef: KECCAK256
00001af0: SLOAD
00001af1: PUSH1 0xff
00001af3: AND
00001af4: JUMPDEST
00001af5: PUSH2 0x1b39
00001af8: JUMPI
00001af9: PUSH1 0x40
00001afb: MLOAD
00001afc: PUSH3 0x461bcd
00001b00: PUSH1 0xe5
00001b02: SHL
00001b03: DUP2
00001b04: MSTORE
00001b05: PUSH1 0x20
00001b07: PUSH1 0x04
00001b09: DUP3
00001b0a: ADD
00001b0b: MSTORE
00001b0c: PUSH1 0x16
00001b0e: PUSH1 0x24
00001b10: DUP3
00001b11: ADD
00001b12: MSTORE
00001b13: PUSH22 0x2a3930b234b7339034b9903737ba1030b1ba34bb3297
00001b2a: PUSH1 0x51
00001b2c: SHL
00001b2d: PUSH1 0x44
00001b2f: DUP3
00001b30: ADD
00001b31: MSTORE
00001b32: PUSH1 0x64
00001b34: ADD
00001b35: PUSH2 0x0949
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: PUSH1 0x1b
00001b3c: SLOAD
00001b3d: NUMBER
00001b3e: GT
00001b3f: PUSH2 0x1bbf
00001b42: JUMPI
00001b43: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
00001b64: PUSH1 0x01
00001b66: PUSH1 0x01
00001b68: PUSH1 0xa0
00001b6a: SHL
00001b6b: SUB
00001b6c: AND
00001b6d: DUP4
00001b6e: PUSH1 0x01
00001b70: PUSH1 0x01
00001b72: PUSH1 0xa0
00001b74: SHL
00001b75: SUB
00001b76: AND
00001b77: EQ
00001b78: ISZERO
00001b79: DUP1
00001b7a: ISZERO
00001b7b: PUSH2 0x1bb6
00001b7e: JUMPI
00001b7f: POP
00001b80: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00001ba1: PUSH1 0x01
00001ba3: PUSH1 0x01
00001ba5: PUSH1 0xa0
00001ba7: SHL
00001ba8: SUB
00001ba9: AND
00001baa: DUP4
00001bab: PUSH1 0x01
00001bad: PUSH1 0x01
00001baf: PUSH1 0xa0
00001bb1: SHL
00001bb2: SUB
00001bb3: AND
00001bb4: EQ
00001bb5: ISZERO
00001bb6: JUMPDEST
00001bb7: ISZERO
00001bb8: PUSH2 0x1bbf
00001bbb: JUMPI
00001bbc: POP
00001bbd: PUSH1 0x01
00001bbf: JUMPDEST
00001bc0: PUSH1 0x1f
00001bc2: SLOAD
00001bc3: PUSH1 0xff
00001bc5: AND
00001bc6: ISZERO
00001bc7: PUSH2 0x1d06
00001bca: JUMPI
00001bcb: PUSH1 0x05
00001bcd: SLOAD
00001bce: PUSH1 0x01
00001bd0: PUSH1 0x01
00001bd2: PUSH1 0xa0
00001bd4: SHL
00001bd5: SUB
00001bd6: DUP5
00001bd7: DUP2
00001bd8: AND
00001bd9: SWAP2
00001bda: AND
00001bdb: EQ
00001bdc: DUP1
00001bdd: ISZERO
00001bde: SWAP1
00001bdf: PUSH2 0x1c1a
00001be2: JUMPI
00001be3: POP
00001be4: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00001c05: PUSH1 0x01
00001c07: PUSH1 0x01
00001c09: PUSH1 0xa0
00001c0b: SHL
00001c0c: SUB
00001c0d: AND
00001c0e: DUP4
00001c0f: PUSH1 0x01
00001c11: PUSH1 0x01
00001c13: PUSH1 0xa0
00001c15: SHL
00001c16: SUB
00001c17: AND
00001c18: EQ
00001c19: ISZERO
00001c1a: JUMPDEST
00001c1b: DUP1
00001c1c: ISZERO
00001c1d: PUSH2 0x1c58
00001c20: JUMPI
00001c21: POP
00001c22: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
00001c43: PUSH1 0x01
00001c45: PUSH1 0x01
00001c47: PUSH1 0xa0
00001c49: SHL
00001c4a: SUB
00001c4b: AND
00001c4c: DUP4
00001c4d: PUSH1 0x01
00001c4f: PUSH1 0x01
00001c51: PUSH1 0xa0
00001c53: SHL
00001c54: SUB
00001c55: AND
00001c56: EQ
00001c57: ISZERO
00001c58: JUMPDEST
00001c59: ISZERO
00001c5a: PUSH2 0x1d06
00001c5d: JUMPI
00001c5e: ORIGIN
00001c5f: PUSH1 0x00
00001c61: SWAP1
00001c62: DUP2
00001c63: MSTORE
00001c64: PUSH1 0x1e
00001c66: PUSH1 0x20
00001c68: MSTORE
00001c69: PUSH1 0x40
00001c6b: SWAP1
00001c6c: KECCAK256
00001c6d: SLOAD
00001c6e: NUMBER
00001c6f: GT
00001c70: PUSH2 0x1cf3
00001c73: JUMPI
00001c74: PUSH1 0x40
00001c76: MLOAD
00001c77: PUSH3 0x461bcd
00001c7b: PUSH1 0xe5
00001c7d: SHL
00001c7e: DUP2
00001c7f: MSTORE
00001c80: PUSH1 0x20
00001c82: PUSH1 0x04
00001c84: DUP3
00001c85: ADD
00001c86: MSTORE
00001c87: PUSH1 0x49
00001c89: PUSH1 0x24
00001c8b: DUP3
00001c8c: ADD
00001c8d: MSTORE
00001c8e: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c
00001caf: PUSH1 0x44
00001cb1: DUP3
00001cb2: ADD
00001cb3: MSTORE
00001cb4: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b
00001cd5: PUSH1 0x64
00001cd7: DUP3
00001cd8: ADD
00001cd9: MSTORE
00001cda: PUSH9 0x1030b63637bbb2b217
00001ce4: PUSH1 0xb9
00001ce6: SHL
00001ce7: PUSH1 0x84
00001ce9: DUP3
00001cea: ADD
00001ceb: MSTORE
00001cec: PUSH1 0xa4
00001cee: ADD
00001cef: PUSH2 0x0949
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: ORIGIN
00001cf5: PUSH1 0x00
00001cf7: SWAP1
00001cf8: DUP2
00001cf9: MSTORE
00001cfa: PUSH1 0x1e
00001cfc: PUSH1 0x20
00001cfe: MSTORE
00001cff: PUSH1 0x40
00001d01: SWAP1
00001d02: KECCAK256
00001d03: NUMBER
00001d04: SWAP1
00001d05: SSTORE
00001d06: JUMPDEST
00001d07: PUSH1 0x01
00001d09: PUSH1 0x01
00001d0b: PUSH1 0xa0
00001d0d: SHL
00001d0e: SUB
00001d0f: DUP5
00001d10: AND
00001d11: PUSH1 0x00
00001d13: SWAP1
00001d14: DUP2
00001d15: MSTORE
00001d16: PUSH1 0x22
00001d18: PUSH1 0x20
00001d1a: MSTORE
00001d1b: PUSH1 0x40
00001d1d: SWAP1
00001d1e: KECCAK256
00001d1f: SLOAD
00001d20: PUSH1 0xff
00001d22: AND
00001d23: DUP1
00001d24: ISZERO
00001d25: PUSH2 0x1d47
00001d28: JUMPI
00001d29: POP
00001d2a: PUSH1 0x01
00001d2c: PUSH1 0x01
00001d2e: PUSH1 0xa0
00001d30: SHL
00001d31: SUB
00001d32: DUP4
00001d33: AND
00001d34: PUSH1 0x00
00001d36: SWAP1
00001d37: DUP2
00001d38: MSTORE
00001d39: PUSH1 0x21
00001d3b: PUSH1 0x20
00001d3d: MSTORE
00001d3e: PUSH1 0x40
00001d40: SWAP1
00001d41: KECCAK256
00001d42: SLOAD
00001d43: PUSH1 0xff
00001d45: AND
00001d46: ISZERO
00001d47: JUMPDEST
00001d48: ISZERO
00001d49: PUSH2 0x1e2f
00001d4c: JUMPI
00001d4d: PUSH2 0x1d55
00001d50: DUP4
00001d51: PUSH2 0x23b7
00001d54: JUMP
00001d55: JUMPDEST
00001d56: ISZERO
00001d57: PUSH2 0x1d72
00001d5a: JUMPI
00001d5b: PUSH1 0x40
00001d5d: MLOAD
00001d5e: PUSH3 0x461bcd
00001d62: PUSH1 0xe5
00001d64: SHL
00001d65: DUP2
00001d66: MSTORE
00001d67: PUSH1 0x04
00001d69: ADD
00001d6a: PUSH2 0x0949
00001d6d: SWAP1
00001d6e: PUSH2 0x362e
00001d71: JUMP
00001d72: JUMPDEST
00001d73: PUSH1 0x0f
00001d75: SLOAD
00001d76: DUP3
00001d77: GT
00001d78: ISZERO
00001d79: PUSH2 0x1dc0
00001d7c: JUMPI
00001d7d: PUSH1 0x40
00001d7f: MLOAD
00001d80: PUSH3 0x461bcd
00001d84: PUSH1 0xe5
00001d86: SHL
00001d87: DUP2
00001d88: MSTORE
00001d89: PUSH1 0x20
00001d8b: PUSH1 0x04
00001d8d: DUP3
00001d8e: ADD
00001d8f: MSTORE
00001d90: PUSH1 0x19
00001d92: PUSH1 0x24
00001d94: DUP3
00001d95: ADD
00001d96: MSTORE
00001d97: PUSH25 0x26b0bc103a3930b739b0b1ba34b7b71032bc31b2b2b232b217
00001db1: PUSH1 0x39
00001db3: SHL
00001db4: PUSH1 0x44
00001db6: DUP3
00001db7: ADD
00001db8: MSTORE
00001db9: PUSH1 0x64
00001dbb: ADD
00001dbc: PUSH2 0x0949
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: PUSH1 0x10
00001dc3: SLOAD
00001dc4: PUSH1 0x01
00001dc6: PUSH1 0x01
00001dc8: PUSH1 0xa0
00001dca: SHL
00001dcb: SUB
00001dcc: DUP5
00001dcd: AND
00001dce: PUSH1 0x00
00001dd0: SWAP1
00001dd1: DUP2
00001dd2: MSTORE
00001dd3: PUSH1 0x20
00001dd5: DUP2
00001dd6: SWAP1
00001dd7: MSTORE
00001dd8: PUSH1 0x40
00001dda: SWAP1
00001ddb: KECCAK256
00001ddc: SLOAD
00001ddd: PUSH2 0x1de6
00001de0: SWAP1
00001de1: DUP5
00001de2: PUSH2 0x3505
00001de5: JUMP
00001de6: JUMPDEST
00001de7: GT
00001de8: ISZERO
00001de9: PUSH2 0x1e2a
00001dec: JUMPI
00001ded: PUSH1 0x40
00001def: MLOAD
00001df0: PUSH3 0x461bcd
00001df4: PUSH1 0xe5
00001df6: SHL
00001df7: DUP2
00001df8: MSTORE
00001df9: PUSH1 0x20
00001dfb: PUSH1 0x04
00001dfd: DUP3
00001dfe: ADD
00001dff: MSTORE
00001e00: PUSH1 0x13
00001e02: PUSH1 0x24
00001e04: DUP3
00001e05: ADD
00001e06: MSTORE
00001e07: PUSH19 0x13585e081dd85b1b195d08195e18d959591959
00001e1b: PUSH1 0x6a
00001e1d: SHL
00001e1e: PUSH1 0x44
00001e20: DUP3
00001e21: ADD
00001e22: MSTORE
00001e23: PUSH1 0x64
00001e25: ADD
00001e26: PUSH2 0x0949
00001e29: JUMP
00001e2a: JUMPDEST
00001e2b: PUSH2 0x1fab
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: PUSH1 0x01
00001e32: PUSH1 0x01
00001e34: PUSH1 0xa0
00001e36: SHL
00001e37: SUB
00001e38: DUP4
00001e39: AND
00001e3a: PUSH1 0x00
00001e3c: SWAP1
00001e3d: DUP2
00001e3e: MSTORE
00001e3f: PUSH1 0x22
00001e41: PUSH1 0x20
00001e43: MSTORE
00001e44: PUSH1 0x40
00001e46: SWAP1
00001e47: KECCAK256
00001e48: SLOAD
00001e49: PUSH1 0xff
00001e4b: AND
00001e4c: DUP1
00001e4d: ISZERO
00001e4e: PUSH2 0x1e70
00001e51: JUMPI
00001e52: POP
00001e53: PUSH1 0x01
00001e55: PUSH1 0x01
00001e57: PUSH1 0xa0
00001e59: SHL
00001e5a: SUB
00001e5b: DUP5
00001e5c: AND
00001e5d: PUSH1 0x00
00001e5f: SWAP1
00001e60: DUP2
00001e61: MSTORE
00001e62: PUSH1 0x21
00001e64: PUSH1 0x20
00001e66: MSTORE
00001e67: PUSH1 0x40
00001e69: SWAP1
00001e6a: KECCAK256
00001e6b: SLOAD
00001e6c: PUSH1 0xff
00001e6e: AND
00001e6f: ISZERO
00001e70: JUMPDEST
00001e71: ISZERO
00001e72: PUSH2 0x1ee9
00001e75: JUMPI
00001e76: PUSH2 0x1e7e
00001e79: DUP5
00001e7a: PUSH2 0x23b7
00001e7d: JUMP
00001e7e: JUMPDEST
00001e7f: ISZERO
00001e80: PUSH2 0x1e9b
00001e83: JUMPI
00001e84: PUSH1 0x40
00001e86: MLOAD
00001e87: PUSH3 0x461bcd
00001e8b: PUSH1 0xe5
00001e8d: SHL
00001e8e: DUP2
00001e8f: MSTORE
00001e90: PUSH1 0x04
00001e92: ADD
00001e93: PUSH2 0x0949
00001e96: SWAP1
00001e97: PUSH2 0x362e
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH1 0x0f
00001e9e: SLOAD
00001e9f: DUP3
00001ea0: GT
00001ea1: ISZERO
00001ea2: PUSH2 0x1e2a
00001ea5: JUMPI
00001ea6: PUSH1 0x40
00001ea8: MLOAD
00001ea9: PUSH3 0x461bcd
00001ead: PUSH1 0xe5
00001eaf: SHL
00001eb0: DUP2
00001eb1: MSTORE
00001eb2: PUSH1 0x20
00001eb4: PUSH1 0x04
00001eb6: DUP3
00001eb7: ADD
00001eb8: MSTORE
00001eb9: PUSH1 0x19
00001ebb: PUSH1 0x24
00001ebd: DUP3
00001ebe: ADD
00001ebf: MSTORE
00001ec0: PUSH25 0x26b0bc103a3930b739b0b1ba34b7b71032bc31b2b2b232b217
00001eda: PUSH1 0x39
00001edc: SHL
00001edd: PUSH1 0x44
00001edf: DUP3
00001ee0: ADD
00001ee1: MSTORE
00001ee2: PUSH1 0x64
00001ee4: ADD
00001ee5: PUSH2 0x0949
00001ee8: JUMP
00001ee9: JUMPDEST
00001eea: PUSH1 0x01
00001eec: PUSH1 0x01
00001eee: PUSH1 0xa0
00001ef0: SHL
00001ef1: SUB
00001ef2: DUP4
00001ef3: AND
00001ef4: PUSH1 0x00
00001ef6: SWAP1
00001ef7: DUP2
00001ef8: MSTORE
00001ef9: PUSH1 0x21
00001efb: PUSH1 0x20
00001efd: MSTORE
00001efe: PUSH1 0x40
00001f00: SWAP1
00001f01: KECCAK256
00001f02: SLOAD
00001f03: PUSH1 0xff
00001f05: AND
00001f06: PUSH2 0x1fab
00001f09: JUMPI
00001f0a: PUSH2 0x1f12
00001f0d: DUP4
00001f0e: PUSH2 0x23b7
00001f11: JUMP
00001f12: JUMPDEST
00001f13: ISZERO
00001f14: DUP1
00001f15: ISZERO
00001f16: PUSH2 0x1f25
00001f19: JUMPI
00001f1a: POP
00001f1b: PUSH2 0x1f23
00001f1e: DUP5
00001f1f: PUSH2 0x23b7
00001f22: JUMP
00001f23: JUMPDEST
00001f24: ISZERO
00001f25: JUMPDEST
00001f26: PUSH2 0x1f41
00001f29: JUMPI
00001f2a: PUSH1 0x40
00001f2c: MLOAD
00001f2d: PUSH3 0x461bcd
00001f31: PUSH1 0xe5
00001f33: SHL
00001f34: DUP2
00001f35: MSTORE
00001f36: PUSH1 0x04
00001f38: ADD
00001f39: PUSH2 0x0949
00001f3c: SWAP1
00001f3d: PUSH2 0x362e
00001f40: JUMP
00001f41: JUMPDEST
00001f42: PUSH1 0x10
00001f44: SLOAD
00001f45: PUSH1 0x01
00001f47: PUSH1 0x01
00001f49: PUSH1 0xa0
00001f4b: SHL
00001f4c: SUB
00001f4d: DUP5
00001f4e: AND
00001f4f: PUSH1 0x00
00001f51: SWAP1
00001f52: DUP2
00001f53: MSTORE
00001f54: PUSH1 0x20
00001f56: DUP2
00001f57: SWAP1
00001f58: MSTORE
00001f59: PUSH1 0x40
00001f5b: SWAP1
00001f5c: KECCAK256
00001f5d: SLOAD
00001f5e: PUSH2 0x1f67
00001f61: SWAP1
00001f62: DUP5
00001f63: PUSH2 0x3505
00001f66: JUMP
00001f67: JUMPDEST
00001f68: GT
00001f69: ISZERO
00001f6a: PUSH2 0x1fab
00001f6d: JUMPI
00001f6e: PUSH1 0x40
00001f70: MLOAD
00001f71: PUSH3 0x461bcd
00001f75: PUSH1 0xe5
00001f77: SHL
00001f78: DUP2
00001f79: MSTORE
00001f7a: PUSH1 0x20
00001f7c: PUSH1 0x04
00001f7e: DUP3
00001f7f: ADD
00001f80: MSTORE
00001f81: PUSH1 0x13
00001f83: PUSH1 0x24
00001f85: DUP3
00001f86: ADD
00001f87: MSTORE
00001f88: PUSH19 0x13585e081dd85b1b195d08195e18d959591959
00001f9c: PUSH1 0x6a
00001f9e: SHL
00001f9f: PUSH1 0x44
00001fa1: DUP3
00001fa2: ADD
00001fa3: MSTORE
00001fa4: PUSH1 0x64
00001fa6: ADD
00001fa7: PUSH2 0x0949
00001faa: JUMP
00001fab: JUMPDEST
00001fac: ADDRESS
00001fad: PUSH1 0x00
00001faf: SWAP1
00001fb0: DUP2
00001fb1: MSTORE
00001fb2: PUSH1 0x20
00001fb4: DUP2
00001fb5: SWAP1
00001fb6: MSTORE
00001fb7: PUSH1 0x40
00001fb9: SWAP1
00001fba: KECCAK256
00001fbb: SLOAD
00001fbc: PUSH1 0x16
00001fbe: SLOAD
00001fbf: DUP2
00001fc0: LT
00001fc1: DUP1
00001fc2: ISZERO
00001fc3: SWAP1
00001fc4: DUP2
00001fc5: SWAP1
00001fc6: PUSH2 0x1fd2
00001fc9: JUMPI
00001fca: POP
00001fcb: PUSH1 0x13
00001fcd: SLOAD
00001fce: PUSH1 0xff
00001fd0: AND
00001fd1: ISZERO
00001fd2: JUMPDEST
00001fd3: DUP1
00001fd4: ISZERO
00001fd5: PUSH2 0x1ff7
00001fd8: JUMPI
00001fd9: POP
00001fda: PUSH1 0x01
00001fdc: PUSH1 0x01
00001fde: PUSH1 0xa0
00001fe0: SHL
00001fe1: SUB
00001fe2: DUP7
00001fe3: AND
00001fe4: PUSH1 0x00
00001fe6: SWAP1
00001fe7: DUP2
00001fe8: MSTORE
00001fe9: PUSH1 0x22
00001feb: PUSH1 0x20
00001fed: MSTORE
00001fee: PUSH1 0x40
00001ff0: SWAP1
00001ff1: KECCAK256
00001ff2: SLOAD
00001ff3: PUSH1 0xff
00001ff5: AND
00001ff6: ISZERO
00001ff7: JUMPDEST
00001ff8: DUP1
00001ff9: ISZERO
00001ffa: PUSH2 0x201b
00001ffd: JUMPI
00001ffe: POP
00001fff: PUSH1 0x01
00002001: PUSH1 0x01
00002003: PUSH1 0xa0
00002005: SHL
00002006: SUB
00002007: DUP7
00002008: AND
00002009: PUSH1 0x00
0000200b: SWAP1
0000200c: DUP2
0000200d: MSTORE
0000200e: PUSH1 0x20
00002010: DUP1
00002011: MSTORE
00002012: PUSH1 0x40
00002014: SWAP1
00002015: KECCAK256
00002016: SLOAD
00002017: PUSH1 0xff
00002019: AND
0000201a: ISZERO
0000201b: JUMPDEST
0000201c: DUP1
0000201d: ISZERO
0000201e: PUSH2 0x203f
00002021: JUMPI
00002022: POP
00002023: PUSH1 0x01
00002025: PUSH1 0x01
00002027: PUSH1 0xa0
00002029: SHL
0000202a: SUB
0000202b: DUP6
0000202c: AND
0000202d: PUSH1 0x00
0000202f: SWAP1
00002030: DUP2
00002031: MSTORE
00002032: PUSH1 0x20
00002034: DUP1
00002035: MSTORE
00002036: PUSH1 0x40
00002038: SWAP1
00002039: KECCAK256
0000203a: SLOAD
0000203b: PUSH1 0xff
0000203d: AND
0000203e: ISZERO
0000203f: JUMPDEST
00002040: ISZERO
00002041: PUSH2 0x2064
00002044: JUMPI
00002045: PUSH1 0x13
00002047: DUP1
00002048: SLOAD
00002049: PUSH1 0xff
0000204b: NOT
0000204c: AND
0000204d: PUSH1 0x01
0000204f: OR
00002050: SWAP1
00002051: SSTORE
00002052: PUSH2 0x2059
00002055: PUSH2 0x2b08
00002058: JUMP
00002059: JUMPDEST
0000205a: PUSH1 0x13
0000205c: DUP1
0000205d: SLOAD
0000205e: PUSH1 0xff
00002060: NOT
00002061: AND
00002062: SWAP1
00002063: SSTORE
00002064: JUMPDEST
00002065: PUSH1 0x13
00002067: SLOAD
00002068: PUSH1 0xff
0000206a: AND
0000206b: ISZERO
0000206c: DUP1
0000206d: ISZERO
0000206e: PUSH2 0x208f
00002071: JUMPI
00002072: POP
00002073: PUSH1 0x01
00002075: PUSH1 0x01
00002077: PUSH1 0xa0
00002079: SHL
0000207a: SUB
0000207b: DUP6
0000207c: AND
0000207d: PUSH1 0x00
0000207f: SWAP1
00002080: DUP2
00002081: MSTORE
00002082: PUSH1 0x22
00002084: PUSH1 0x20
00002086: MSTORE
00002087: PUSH1 0x40
00002089: SWAP1
0000208a: KECCAK256
0000208b: SLOAD
0000208c: PUSH1 0xff
0000208e: AND
0000208f: JUMPDEST
00002090: DUP1
00002091: ISZERO
00002092: PUSH2 0x209d
00002095: JUMPI
00002096: POP
00002097: PUSH1 0x18
00002099: SLOAD
0000209a: PUSH1 0xff
0000209c: AND
0000209d: JUMPDEST
0000209e: DUP1
0000209f: ISZERO
000020a0: PUSH2 0x20b8
000020a3: JUMPI
000020a4: POP
000020a5: PUSH1 0x19
000020a7: SLOAD
000020a8: PUSH1 0x1a
000020aa: SLOAD
000020ab: PUSH2 0x20b4
000020ae: SWAP2
000020af: SWAP1
000020b0: PUSH2 0x3505
000020b3: JUMP
000020b4: JUMPDEST
000020b5: TIMESTAMP
000020b6: LT
000020b7: ISZERO
000020b8: JUMPDEST
000020b9: DUP1
000020ba: ISZERO
000020bb: PUSH2 0x20dc
000020be: JUMPI
000020bf: POP
000020c0: PUSH1 0x01
000020c2: PUSH1 0x01
000020c4: PUSH1 0xa0
000020c6: SHL
000020c7: SUB
000020c8: DUP7
000020c9: AND
000020ca: PUSH1 0x00
000020cc: SWAP1
000020cd: DUP2
000020ce: MSTORE
000020cf: PUSH1 0x20
000020d1: DUP1
000020d2: MSTORE
000020d3: PUSH1 0x40
000020d5: SWAP1
000020d6: KECCAK256
000020d7: SLOAD
000020d8: PUSH1 0xff
000020da: AND
000020db: ISZERO
000020dc: JUMPDEST
000020dd: ISZERO
000020de: PUSH2 0x20eb
000020e1: JUMPI
000020e2: PUSH2 0x20e9
000020e5: PUSH2 0x2cb7
000020e8: JUMP
000020e9: JUMPDEST
000020ea: POP
000020eb: JUMPDEST
000020ec: PUSH1 0x13
000020ee: SLOAD
000020ef: PUSH1 0x01
000020f1: PUSH1 0x01
000020f3: PUSH1 0xa0
000020f5: SHL
000020f6: SUB
000020f7: DUP8
000020f8: AND
000020f9: PUSH1 0x00
000020fb: SWAP1
000020fc: DUP2
000020fd: MSTORE
000020fe: PUSH1 0x20
00002100: DUP1
00002101: MSTORE
00002102: PUSH1 0x40
00002104: SWAP1
00002105: KECCAK256
00002106: SLOAD
00002107: PUSH1 0xff
00002109: SWAP2
0000210a: DUP3
0000210b: AND
0000210c: ISZERO
0000210d: SWAP2
0000210e: AND
0000210f: DUP1
00002110: PUSH2 0x2130
00002113: JUMPI
00002114: POP
00002115: PUSH1 0x01
00002117: PUSH1 0x01
00002119: PUSH1 0xa0
0000211b: SHL
0000211c: SUB
0000211d: DUP7
0000211e: AND
0000211f: PUSH1 0x00
00002121: SWAP1
00002122: DUP2
00002123: MSTORE
00002124: PUSH1 0x20
00002126: DUP1
00002127: MSTORE
00002128: PUSH1 0x40
0000212a: SWAP1
0000212b: KECCAK256
0000212c: SLOAD
0000212d: PUSH1 0xff
0000212f: AND
00002130: JUMPDEST
00002131: ISZERO
00002132: PUSH2 0x2139
00002135: JUMPI
00002136: POP
00002137: PUSH1 0x00
00002139: JUMPDEST
0000213a: PUSH1 0x00
0000213c: DUP2
0000213d: ISZERO
0000213e: PUSH2 0x2339
00002141: JUMPI
00002142: PUSH1 0x00
00002144: PUSH2 0x214b
00002147: PUSH2 0x2595
0000214a: JUMP
0000214b: JUMPDEST
0000214c: SWAP1
0000214d: POP
0000214e: PUSH1 0x00
00002150: PUSH2 0x2158
00002153: PUSH1 0x0a
00002155: SLOAD
00002156: SWAP1
00002157: JUMP
00002158: JUMPDEST
00002159: SWAP1
0000215a: POP
0000215b: PUSH1 0x00
0000215d: PUSH2 0x2164
00002160: PUSH2 0x18f4
00002163: JUMP
00002164: JUMPDEST
00002165: SWAP1
00002166: POP
00002167: PUSH1 0x00
00002169: PUSH2 0x2171
0000216c: PUSH1 0x07
0000216e: SLOAD
0000216f: SWAP1
00002170: JUMP
00002171: JUMPDEST
00002172: PUSH1 0x01
00002174: PUSH1 0x01
00002176: PUSH1 0xa0
00002178: SHL
00002179: SUB
0000217a: DUP13
0000217b: AND
0000217c: PUSH1 0x00
0000217e: SWAP1
0000217f: DUP2
00002180: MSTORE
00002181: PUSH1 0x22
00002183: PUSH1 0x20
00002185: MSTORE
00002186: PUSH1 0x40
00002188: SWAP1
00002189: KECCAK256
0000218a: SLOAD
0000218b: SWAP1
0000218c: SWAP2
0000218d: POP
0000218e: PUSH1 0xff
00002190: AND
00002191: DUP1
00002192: ISZERO
00002193: PUSH2 0x219c
00002196: JUMPI
00002197: POP
00002198: PUSH1 0x00
0000219a: DUP4
0000219b: GT
0000219c: JUMPDEST
0000219d: ISZERO
0000219e: PUSH2 0x2248
000021a1: JUMPI
000021a2: PUSH2 0x21b0
000021a5: PUSH1 0x64
000021a7: PUSH2 0x150c
000021aa: DUP13
000021ab: DUP7
000021ac: PUSH2 0x28e7
000021af: JUMP
000021b0: JUMPDEST
000021b1: SWAP5
000021b2: POP
000021b3: DUP3
000021b4: DUP5
000021b5: PUSH1 0x01
000021b7: DUP2
000021b8: MLOAD
000021b9: DUP2
000021ba: LT
000021bb: PUSH2 0x21c6
000021be: JUMPI
000021bf: PUSH2 0x21c6
000021c2: PUSH2 0x349e
000021c5: JUMP
000021c6: JUMPDEST
000021c7: PUSH1 0x20
000021c9: MUL
000021ca: PUSH1 0x20
000021cc: ADD
000021cd: ADD
000021ce: MLOAD
000021cf: DUP7
000021d0: PUSH2 0x21d9
000021d3: SWAP2
000021d4: SWAP1
000021d5: PUSH2 0x366f
000021d8: JUMP
000021d9: JUMPDEST
000021da: PUSH2 0x21e3
000021dd: SWAP2
000021de: SWAP1
000021df: PUSH2 0x3567
000021e2: JUMP
000021e3: JUMPDEST
000021e4: PUSH1 0x14
000021e6: PUSH1 0x00
000021e8: DUP3
000021e9: DUP3
000021ea: SLOAD
000021eb: PUSH2 0x21f4
000021ee: SWAP2
000021ef: SWAP1
000021f0: PUSH2 0x3505
000021f3: JUMP
000021f4: JUMPDEST
000021f5: SWAP3
000021f6: POP
000021f7: POP
000021f8: DUP2
000021f9: SWAP1
000021fa: SSTORE
000021fb: POP
000021fc: DUP3
000021fd: DUP5
000021fe: PUSH1 0x00
00002200: DUP2
00002201: MLOAD
00002202: DUP2
00002203: LT
00002204: PUSH2 0x220f
00002207: JUMPI
00002208: PUSH2 0x220f
0000220b: PUSH2 0x349e
0000220e: JUMP
0000220f: JUMPDEST
00002210: PUSH1 0x20
00002212: MUL
00002213: PUSH1 0x20
00002215: ADD
00002216: ADD
00002217: MLOAD
00002218: DUP7
00002219: PUSH2 0x2222
0000221c: SWAP2
0000221d: SWAP1
0000221e: PUSH2 0x366f
00002221: JUMP
00002222: JUMPDEST
00002223: PUSH2 0x222c
00002226: SWAP2
00002227: SWAP1
00002228: PUSH2 0x3567
0000222b: JUMP
0000222c: JUMPDEST
0000222d: PUSH1 0x15
0000222f: PUSH1 0x00
00002231: DUP3
00002232: DUP3
00002233: SLOAD
00002234: PUSH2 0x223d
00002237: SWAP2
00002238: SWAP1
00002239: PUSH2 0x3505
0000223c: JUMP
0000223d: JUMPDEST
0000223e: SWAP1
0000223f: SWAP2
00002240: SSTORE
00002241: POP
00002242: PUSH2 0x2317
00002245: SWAP1
00002246: POP
00002247: JUMP
00002248: JUMPDEST
00002249: PUSH1 0x01
0000224b: PUSH1 0x01
0000224d: PUSH1 0xa0
0000224f: SHL
00002250: SUB
00002251: DUP13
00002252: AND
00002253: PUSH1 0x00
00002255: SWAP1
00002256: DUP2
00002257: MSTORE
00002258: PUSH1 0x22
0000225a: PUSH1 0x20
0000225c: MSTORE
0000225d: PUSH1 0x40
0000225f: SWAP1
00002260: KECCAK256
00002261: SLOAD
00002262: PUSH1 0xff
00002264: AND
00002265: DUP1
00002266: ISZERO
00002267: PUSH2 0x2270
0000226a: JUMPI
0000226b: POP
0000226c: PUSH1 0x00
0000226e: DUP2
0000226f: GT
00002270: JUMPDEST
00002271: ISZERO
00002272: PUSH2 0x2317
00002275: JUMPI
00002276: PUSH2 0x2284
00002279: PUSH1 0x64
0000227b: PUSH2 0x150c
0000227e: DUP13
0000227f: DUP5
00002280: PUSH2 0x28e7
00002283: JUMP
00002284: JUMPDEST
00002285: SWAP5
00002286: POP
00002287: DUP1
00002288: DUP3
00002289: PUSH1 0x01
0000228b: DUP2
0000228c: MLOAD
0000228d: DUP2
0000228e: LT
0000228f: PUSH2 0x229a
00002292: JUMPI
00002293: PUSH2 0x229a
00002296: PUSH2 0x349e
00002299: JUMP
0000229a: JUMPDEST
0000229b: PUSH1 0x20
0000229d: MUL
0000229e: PUSH1 0x20
000022a0: ADD
000022a1: ADD
000022a2: MLOAD
000022a3: DUP7
000022a4: PUSH2 0x22ad
000022a7: SWAP2
000022a8: SWAP1
000022a9: PUSH2 0x366f
000022ac: JUMP
000022ad: JUMPDEST
000022ae: PUSH2 0x22b7
000022b1: SWAP2
000022b2: SWAP1
000022b3: PUSH2 0x3567
000022b6: JUMP
000022b7: JUMPDEST
000022b8: PUSH1 0x14
000022ba: PUSH1 0x00
000022bc: DUP3
000022bd: DUP3
000022be: SLOAD
000022bf: PUSH2 0x22c8
000022c2: SWAP2
000022c3: SWAP1
000022c4: PUSH2 0x3505
000022c7: JUMP
000022c8: JUMPDEST
000022c9: SWAP3
000022ca: POP
000022cb: POP
000022cc: DUP2
000022cd: SWAP1
000022ce: SSTORE
000022cf: POP
000022d0: DUP1
000022d1: DUP3
000022d2: PUSH1 0x00
000022d4: DUP2
000022d5: MLOAD
000022d6: DUP2
000022d7: LT
000022d8: PUSH2 0x22e3
000022db: JUMPI
000022dc: PUSH2 0x22e3
000022df: PUSH2 0x349e
000022e2: JUMP
000022e3: JUMPDEST
000022e4: PUSH1 0x20
000022e6: MUL
000022e7: PUSH1 0x20
000022e9: ADD
000022ea: ADD
000022eb: MLOAD
000022ec: DUP7
000022ed: PUSH2 0x22f6
000022f0: SWAP2
000022f1: SWAP1
000022f2: PUSH2 0x366f
000022f5: JUMP
000022f6: JUMPDEST
000022f7: PUSH2 0x2300
000022fa: SWAP2
000022fb: SWAP1
000022fc: PUSH2 0x3567
000022ff: JUMP
00002300: JUMPDEST
00002301: PUSH1 0x15
00002303: PUSH1 0x00
00002305: DUP3
00002306: DUP3
00002307: SLOAD
00002308: PUSH2 0x2311
0000230b: SWAP2
0000230c: SWAP1
0000230d: PUSH2 0x3505
00002310: JUMP
00002311: JUMPDEST
00002312: SWAP1
00002313: SWAP2
00002314: SSTORE
00002315: POP
00002316: POP
00002317: JUMPDEST
00002318: DUP5
00002319: ISZERO
0000231a: PUSH2 0x2328
0000231d: JUMPI
0000231e: PUSH2 0x2328
00002321: DUP13
00002322: ADDRESS
00002323: DUP8
00002324: PUSH2 0x2906
00002327: JUMP
00002328: JUMPDEST
00002329: PUSH2 0x2332
0000232c: DUP6
0000232d: DUP12
0000232e: PUSH2 0x357b
00002331: JUMP
00002332: JUMPDEST
00002333: SWAP10
00002334: POP
00002335: POP
00002336: POP
00002337: POP
00002338: POP
00002339: JUMPDEST
0000233a: DUP5
0000233b: ISZERO
0000233c: PUSH2 0x2350
0000233f: JUMPI
00002340: PUSH2 0x234b
00002343: DUP9
00002344: DUP9
00002345: PUSH1 0x00
00002347: PUSH2 0x2906
0000234a: JUMP
0000234b: JUMPDEST
0000234c: PUSH2 0x235b
0000234f: JUMP
00002350: JUMPDEST
00002351: PUSH2 0x235b
00002354: DUP9
00002355: DUP9
00002356: DUP9
00002357: PUSH2 0x2906
0000235a: JUMP
0000235b: JUMPDEST
0000235c: POP
0000235d: POP
0000235e: POP
0000235f: POP
00002360: POP
00002361: POP
00002362: POP
00002363: POP
00002364: JUMP
00002365: JUMPDEST
00002366: PUSH1 0x05
00002368: DUP1
00002369: SLOAD
0000236a: PUSH1 0x01
0000236c: PUSH1 0x01
0000236e: PUSH1 0xa0
00002370: SHL
00002371: SUB
00002372: DUP4
00002373: DUP2
00002374: AND
00002375: PUSH1 0x01
00002377: PUSH1 0x01
00002379: PUSH1 0xa0
0000237b: SHL
0000237c: SUB
0000237d: NOT
0000237e: DUP4
0000237f: AND
00002380: DUP2
00002381: OR
00002382: SWAP1
00002383: SWAP4
00002384: SSTORE
00002385: PUSH1 0x40
00002387: MLOAD
00002388: SWAP2
00002389: AND
0000238a: SWAP2
0000238b: SWAP1
0000238c: DUP3
0000238d: SWAP1
0000238e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000023af: SWAP1
000023b0: PUSH1 0x00
000023b2: SWAP1
000023b3: LOG3
000023b4: POP
000023b5: POP
000023b6: JUMP
000023b7: JUMPDEST
000023b8: PUSH1 0x01
000023ba: PUSH1 0x01
000023bc: PUSH1 0xa0
000023be: SHL
000023bf: SUB
000023c0: AND
000023c1: PUSH1 0x00
000023c3: SWAP1
000023c4: DUP2
000023c5: MSTORE
000023c6: PUSH1 0x12
000023c8: PUSH1 0x20
000023ca: MSTORE
000023cb: PUSH1 0x40
000023cd: SWAP1
000023ce: KECCAK256
000023cf: SLOAD
000023d0: PUSH1 0xff
000023d2: AND
000023d3: SWAP1
000023d4: JUMP
000023d5: JUMPDEST
000023d6: PUSH1 0x01
000023d8: PUSH1 0x01
000023da: PUSH1 0xa0
000023dc: SHL
000023dd: SUB
000023de: DUP3
000023df: AND
000023e0: PUSH1 0x00
000023e2: DUP2
000023e3: DUP2
000023e4: MSTORE
000023e5: PUSH1 0x22
000023e7: PUSH1 0x20
000023e9: MSTORE
000023ea: PUSH1 0x40
000023ec: DUP1
000023ed: DUP3
000023ee: KECCAK256
000023ef: DUP1
000023f0: SLOAD
000023f1: PUSH1 0xff
000023f3: NOT
000023f4: AND
000023f5: DUP6
000023f6: ISZERO
000023f7: ISZERO
000023f8: SWAP1
000023f9: DUP2
000023fa: OR
000023fb: SWAP1
000023fc: SWAP2
000023fd: SSTORE
000023fe: SWAP1
000023ff: MLOAD
00002400: SWAP1
00002401: SWAP3
00002402: SWAP2
00002403: PUSH32 0x0d27b2c3e17efe7d26232f96ab711aceb4b101b5ee1db474e4fcd4b51bb9f5e2
00002424: SWAP2
00002425: LOG3
00002426: POP
00002427: POP
00002428: JUMP
00002429: JUMPDEST
0000242a: PUSH1 0x05
0000242c: SLOAD
0000242d: PUSH1 0x01
0000242f: PUSH1 0x01
00002431: PUSH1 0xa0
00002433: SHL
00002434: SUB
00002435: AND
00002436: CALLER
00002437: EQ
00002438: PUSH2 0x2453
0000243b: JUMPI
0000243c: PUSH1 0x40
0000243e: MLOAD
0000243f: PUSH3 0x461bcd
00002443: PUSH1 0xe5
00002445: SHL
00002446: DUP2
00002447: MSTORE
00002448: PUSH1 0x04
0000244a: ADD
0000244b: PUSH2 0x0949
0000244e: SWAP1
0000244f: PUSH2 0x3469
00002452: JUMP
00002453: JUMPDEST
00002454: PUSH1 0x0c
00002456: SLOAD
00002457: PUSH1 0xff
00002459: AND
0000245a: ISZERO
0000245b: PUSH2 0x24b1
0000245e: JUMPI
0000245f: PUSH1 0x40
00002461: MLOAD
00002462: PUSH3 0x461bcd
00002466: PUSH1 0xe5
00002468: SHL
00002469: DUP2
0000246a: MSTORE
0000246b: PUSH1 0x20
0000246d: PUSH1 0x04
0000246f: DUP3
00002470: ADD
00002471: MSTORE
00002472: PUSH1 0x22
00002474: PUSH1 0x24
00002476: DUP3
00002477: ADD
00002478: MSTORE
00002479: PUSH32 0x7345524332303a2054726164696e6720697320616c726561647920656e61626c
0000249a: PUSH1 0x44
0000249c: DUP3
0000249d: ADD
0000249e: MSTORE
0000249f: PUSH2 0x1959
000024a2: PUSH1 0xf2
000024a4: SHL
000024a5: PUSH1 0x64
000024a7: DUP3
000024a8: ADD
000024a9: MSTORE
000024aa: PUSH1 0x84
000024ac: ADD
000024ad: PUSH2 0x0949
000024b0: JUMP
000024b1: JUMPDEST
000024b2: PUSH1 0x0f
000024b4: SLOAD
000024b5: PUSH2 0x251a
000024b8: JUMPI
000024b9: PUSH1 0x40
000024bb: MLOAD
000024bc: PUSH3 0x461bcd
000024c0: PUSH1 0xe5
000024c2: SHL
000024c3: DUP2
000024c4: MSTORE
000024c5: PUSH1 0x20
000024c7: PUSH1 0x04
000024c9: DUP3
000024ca: ADD
000024cb: MSTORE
000024cc: PUSH1 0x31
000024ce: PUSH1 0x24
000024d0: DUP3
000024d1: ADD
000024d2: MSTORE
000024d3: PUSH32 0x7345524332303a204d6178207472616e73616374696f6e206d75737420626520
000024f4: PUSH1 0x44
000024f6: DUP3
000024f7: ADD
000024f8: MSTORE
000024f9: PUSH17 0x34b734ba34b634b9b2b2103334b939ba17
0000250b: PUSH1 0x79
0000250d: SHL
0000250e: PUSH1 0x64
00002510: DUP3
00002511: ADD
00002512: MSTORE
00002513: PUSH1 0x84
00002515: ADD
00002516: PUSH2 0x0949
00002519: JUMP
0000251a: JUMPDEST
0000251b: PUSH1 0x10
0000251d: SLOAD
0000251e: PUSH2 0x257e
00002521: JUMPI
00002522: PUSH1 0x40
00002524: MLOAD
00002525: PUSH3 0x461bcd
00002529: PUSH1 0xe5
0000252b: SHL
0000252c: DUP2
0000252d: MSTORE
0000252e: PUSH1 0x20
00002530: PUSH1 0x04
00002532: DUP3
00002533: ADD
00002534: MSTORE
00002535: PUSH1 0x2c
00002537: PUSH1 0x24
00002539: DUP3
0000253a: ADD
0000253b: MSTORE
0000253c: PUSH32 0x7345524332303a204d61782077616c6c6574206d75737420626520696e697469
0000255d: PUSH1 0x44
0000255f: DUP3
00002560: ADD
00002561: MSTORE
00002562: PUSH12 0x3634b9b2b2103334b939ba17
0000256f: PUSH1 0xa1
00002571: SHL
00002572: PUSH1 0x64
00002574: DUP3
00002575: ADD
00002576: MSTORE
00002577: PUSH1 0x84
00002579: ADD
0000257a: PUSH2 0x0949
0000257d: JUMP
0000257e: JUMPDEST
0000257f: TIMESTAMP
00002580: PUSH1 0x0d
00002582: SSTORE
00002583: NUMBER
00002584: PUSH1 0x0e
00002586: SSTORE
00002587: PUSH1 0x0c
00002589: DUP1
0000258a: SLOAD
0000258b: PUSH1 0xff
0000258d: NOT
0000258e: AND
0000258f: PUSH1 0x01
00002591: OR
00002592: SWAP1
00002593: SSTORE
00002594: JUMP
00002595: JUMPDEST
00002596: PUSH1 0x60
00002598: PUSH1 0x09
0000259a: DUP1
0000259b: SLOAD
0000259c: DUP1
0000259d: PUSH1 0x20
0000259f: MUL
000025a0: PUSH1 0x20
000025a2: ADD
000025a3: PUSH1 0x40
000025a5: MLOAD
000025a6: SWAP1
000025a7: DUP2
000025a8: ADD
000025a9: PUSH1 0x40
000025ab: MSTORE
000025ac: DUP1
000025ad: SWAP3
000025ae: SWAP2
000025af: SWAP1
000025b0: DUP2
000025b1: DUP2
000025b2: MSTORE
000025b3: PUSH1 0x20
000025b5: ADD
000025b6: DUP3
000025b7: DUP1
000025b8: SLOAD
000025b9: DUP1
000025ba: ISZERO
000025bb: PUSH2 0x0a4b
000025be: JUMPI
000025bf: PUSH1 0x20
000025c1: MUL
000025c2: DUP3
000025c3: ADD
000025c4: SWAP2
000025c5: SWAP1
000025c6: PUSH1 0x00
000025c8: MSTORE
000025c9: PUSH1 0x20
000025cb: PUSH1 0x00
000025cd: KECCAK256
000025ce: SWAP1
000025cf: DUP2
000025d0: SLOAD
000025d1: DUP2
000025d2: MSTORE
000025d3: PUSH1 0x20
000025d5: ADD
000025d6: SWAP1
000025d7: PUSH1 0x01
000025d9: ADD
000025da: SWAP1
000025db: DUP1
000025dc: DUP4
000025dd: GT
000025de: PUSH2 0x192e
000025e1: JUMPI
000025e2: POP
000025e3: POP
000025e4: POP
000025e5: POP
000025e6: POP
000025e7: SWAP1
000025e8: POP
000025e9: SWAP1
000025ea: JUMP
000025eb: JUMPDEST
000025ec: PUSH1 0x0c
000025ee: SLOAD
000025ef: PUSH1 0xff
000025f1: AND
000025f2: ISZERO
000025f3: PUSH2 0x2690
000025f6: JUMPI
000025f7: PUSH1 0x0d
000025f9: SLOAD
000025fa: PUSH2 0x2605
000025fd: SWAP1
000025fe: PUSH2 0x0258
00002601: PUSH2 0x3505
00002604: JUMP
00002605: JUMPDEST
00002606: TIMESTAMP
00002607: GT
00002608: ISZERO
00002609: PUSH2 0x2690
0000260c: JUMPI
0000260d: PUSH1 0x40
0000260f: MLOAD
00002610: PUSH3 0x461bcd
00002614: PUSH1 0xe5
00002616: SHL
00002617: DUP2
00002618: MSTORE
00002619: PUSH1 0x20
0000261b: PUSH1 0x04
0000261d: DUP3
0000261e: ADD
0000261f: MSTORE
00002620: PUSH1 0x4d
00002622: PUSH1 0x24
00002624: DUP3
00002625: ADD
00002626: MSTORE
00002627: PUSH32 0x7345524332303a2043616e206e6f7420626c61636b6c697374206d6f72652074
00002648: PUSH1 0x44
0000264a: DUP3
0000264b: ADD
0000264c: MSTORE
0000264d: PUSH32 0x68616e203130206d696e757465732061667465722074726164696e6720686173
0000266e: PUSH1 0x64
00002670: DUP3
00002671: ADD
00002672: MSTORE
00002673: PUSH13 0x081899595b88195b98589b1959
00002681: PUSH1 0x9a
00002683: SHL
00002684: PUSH1 0x84
00002686: DUP3
00002687: ADD
00002688: MSTORE
00002689: PUSH1 0xa4
0000268b: ADD
0000268c: PUSH2 0x0949
0000268f: JUMP
00002690: JUMPDEST
00002691: PUSH1 0x00
00002693: JUMPDEST
00002694: DUP3
00002695: MLOAD
00002696: DUP2
00002697: LT
00002698: ISZERO
00002699: PUSH2 0x09be
0000269c: JUMPI
0000269d: DUP3
0000269e: DUP2
0000269f: DUP2
000026a0: MLOAD
000026a1: DUP2
000026a2: LT
000026a3: PUSH2 0x26ae
000026a6: JUMPI
000026a7: PUSH2 0x26ae
000026aa: PUSH2 0x349e
000026ad: JUMP
000026ae: JUMPDEST
000026af: PUSH1 0x20
000026b1: MUL
000026b2: PUSH1 0x20
000026b4: ADD
000026b5: ADD
000026b6: MLOAD
000026b7: PUSH1 0x01
000026b9: PUSH1 0x01
000026bb: PUSH1 0xa0
000026bd: SHL
000026be: SUB
000026bf: AND
000026c0: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
000026e1: PUSH1 0x01
000026e3: PUSH1 0x01
000026e5: PUSH1 0xa0
000026e7: SHL
000026e8: SUB
000026e9: AND
000026ea: EQ
000026eb: ISZERO
000026ec: PUSH2 0x274a
000026ef: JUMPI
000026f0: PUSH1 0x40
000026f2: MLOAD
000026f3: PUSH3 0x461bcd
000026f7: PUSH1 0xe5
000026f9: SHL
000026fa: DUP2
000026fb: MSTORE
000026fc: PUSH1 0x20
000026fe: PUSH1 0x04
00002700: DUP3
00002701: ADD
00002702: MSTORE
00002703: PUSH1 0x2a
00002705: PUSH1 0x24
00002707: DUP3
00002708: ADD
00002709: MSTORE
0000270a: PUSH32 0x7345524332303a2043616e206e6f7420626c61636b6c69737420746865207061
0000272b: PUSH1 0x44
0000272d: DUP3
0000272e: ADD
0000272f: MSTORE
00002730: PUSH10 0x69722061646472657373
0000273b: PUSH1 0xb0
0000273d: SHL
0000273e: PUSH1 0x64
00002740: DUP3
00002741: ADD
00002742: MSTORE
00002743: PUSH1 0x84
00002745: ADD
00002746: PUSH2 0x0949
00002749: JUMP
0000274a: JUMPDEST
0000274b: DUP3
0000274c: DUP2
0000274d: DUP2
0000274e: MLOAD
0000274f: DUP2
00002750: LT
00002751: PUSH2 0x275c
00002754: JUMPI
00002755: PUSH2 0x275c
00002758: PUSH2 0x349e
0000275b: JUMP
0000275c: JUMPDEST
0000275d: PUSH1 0x20
0000275f: MUL
00002760: PUSH1 0x20
00002762: ADD
00002763: ADD
00002764: MLOAD
00002765: PUSH1 0x01
00002767: PUSH1 0x01
00002769: PUSH1 0xa0
0000276b: SHL
0000276c: SUB
0000276d: AND
0000276e: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000278f: PUSH1 0x01
00002791: PUSH1 0x01
00002793: PUSH1 0xa0
00002795: SHL
00002796: SUB
00002797: AND
00002798: EQ
00002799: ISZERO
0000279a: PUSH2 0x27fa
0000279d: JUMPI
0000279e: PUSH1 0x40
000027a0: MLOAD
000027a1: PUSH3 0x461bcd
000027a5: PUSH1 0xe5
000027a7: SHL
000027a8: DUP2
000027a9: MSTORE
000027aa: PUSH1 0x20
000027ac: PUSH1 0x04
000027ae: DUP3
000027af: ADD
000027b0: MSTORE
000027b1: PUSH1 0x2c
000027b3: PUSH1 0x24
000027b5: DUP3
000027b6: ADD
000027b7: MSTORE
000027b8: PUSH32 0x7345524332303a2043616e206e6f7420626c61636b6c6973742074686520726f
000027d9: PUSH1 0x44
000027db: DUP3
000027dc: ADD
000027dd: MSTORE
000027de: PUSH12 0x757465722061646472657373
000027eb: PUSH1 0xa0
000027ed: SHL
000027ee: PUSH1 0x64
000027f0: DUP3
000027f1: ADD
000027f2: MSTORE
000027f3: PUSH1 0x84
000027f5: ADD
000027f6: PUSH2 0x0949
000027f9: JUMP
000027fa: JUMPDEST
000027fb: DUP3
000027fc: DUP2
000027fd: DUP2
000027fe: MLOAD
000027ff: DUP2
00002800: LT
00002801: PUSH2 0x280c
00002804: JUMPI
00002805: PUSH2 0x280c
00002808: PUSH2 0x349e
0000280b: JUMP
0000280c: JUMPDEST
0000280d: PUSH1 0x20
0000280f: MUL
00002810: PUSH1 0x20
00002812: ADD
00002813: ADD
00002814: MLOAD
00002815: PUSH1 0x01
00002817: PUSH1 0x01
00002819: PUSH1 0xa0
0000281b: SHL
0000281c: SUB
0000281d: AND
0000281e: ADDRESS
0000281f: PUSH1 0x01
00002821: PUSH1 0x01
00002823: PUSH1 0xa0
00002825: SHL
00002826: SUB
00002827: AND
00002828: EQ
00002829: ISZERO
0000282a: PUSH2 0x288c
0000282d: JUMPI
0000282e: PUSH1 0x40
00002830: MLOAD
00002831: PUSH3 0x461bcd
00002835: PUSH1 0xe5
00002837: SHL
00002838: DUP2
00002839: MSTORE
0000283a: PUSH1 0x20
0000283c: PUSH1 0x04
0000283e: DUP3
0000283f: ADD
00002840: MSTORE
00002841: PUSH1 0x2e
00002843: PUSH1 0x24
00002845: DUP3
00002846: ADD
00002847: MSTORE
00002848: PUSH32 0x7345524332303a2043616e206e6f7420626c61636b6c6973742074686520636f
00002869: PUSH1 0x44
0000286b: DUP3
0000286c: ADD
0000286d: MSTORE
0000286e: PUSH14 0x6e74726163742061646472657373
0000287d: PUSH1 0x90
0000287f: SHL
00002880: PUSH1 0x64
00002882: DUP3
00002883: ADD
00002884: MSTORE
00002885: PUSH1 0x84
00002887: ADD
00002888: PUSH2 0x0949
0000288b: JUMP
0000288c: JUMPDEST
0000288d: DUP2
0000288e: PUSH1 0x12
00002890: PUSH1 0x00
00002892: DUP6
00002893: DUP5
00002894: DUP2
00002895: MLOAD
00002896: DUP2
00002897: LT
00002898: PUSH2 0x28a3
0000289b: JUMPI
0000289c: PUSH2 0x28a3
0000289f: PUSH2 0x349e
000028a2: JUMP
000028a3: JUMPDEST
000028a4: PUSH1 0x20
000028a6: SWAP1
000028a7: DUP2
000028a8: MUL
000028a9: SWAP2
000028aa: SWAP1
000028ab: SWAP2
000028ac: ADD
000028ad: DUP2
000028ae: ADD
000028af: MLOAD
000028b0: PUSH1 0x01
000028b2: PUSH1 0x01
000028b4: PUSH1 0xa0
000028b6: SHL
000028b7: SUB
000028b8: AND
000028b9: DUP3
000028ba: MSTORE
000028bb: DUP2
000028bc: ADD
000028bd: SWAP2
000028be: SWAP1
000028bf: SWAP2
000028c0: MSTORE
000028c1: PUSH1 0x40
000028c3: ADD
000028c4: PUSH1 0x00
000028c6: KECCAK256
000028c7: DUP1
000028c8: SLOAD
000028c9: PUSH1 0xff
000028cb: NOT
000028cc: AND
000028cd: SWAP2
000028ce: ISZERO
000028cf: ISZERO
000028d0: SWAP2
000028d1: SWAP1
000028d2: SWAP2
000028d3: OR
000028d4: SWAP1
000028d5: SSTORE
000028d6: DUP1
000028d7: PUSH2 0x28df
000028da: DUP2
000028db: PUSH2 0x3536
000028de: JUMP
000028df: JUMPDEST
000028e0: SWAP2
000028e1: POP
000028e2: POP
000028e3: PUSH2 0x2693
000028e6: JUMP
000028e7: JUMPDEST
000028e8: PUSH1 0x00
000028ea: PUSH2 0x28f3
000028ed: DUP3
000028ee: DUP5
000028ef: PUSH2 0x366f
000028f2: JUMP
000028f3: JUMPDEST
000028f4: SWAP4
000028f5: SWAP3
000028f6: POP
000028f7: POP
000028f8: POP
000028f9: JUMP
000028fa: JUMPDEST
000028fb: PUSH1 0x00
000028fd: PUSH2 0x28f3
00002900: DUP3
00002901: DUP5
00002902: PUSH2 0x3567
00002905: JUMP
00002906: JUMPDEST
00002907: PUSH1 0x01
00002909: PUSH1 0x01
0000290b: PUSH1 0xa0
0000290d: SHL
0000290e: SUB
0000290f: DUP4
00002910: AND
00002911: PUSH2 0x292c
00002914: JUMPI
00002915: PUSH1 0x40
00002917: MLOAD
00002918: PUSH3 0x461bcd
0000291c: PUSH1 0xe5
0000291e: SHL
0000291f: DUP2
00002920: MSTORE
00002921: PUSH1 0x04
00002923: ADD
00002924: PUSH2 0x0949
00002927: SWAP1
00002928: PUSH2 0x35a6
0000292b: JUMP
0000292c: JUMPDEST
0000292d: PUSH1 0x01
0000292f: PUSH1 0x01
00002931: PUSH1 0xa0
00002933: SHL
00002934: SUB
00002935: DUP3
00002936: AND
00002937: PUSH2 0x2952
0000293a: JUMPI
0000293b: PUSH1 0x40
0000293d: MLOAD
0000293e: PUSH3 0x461bcd
00002942: PUSH1 0xe5
00002944: SHL
00002945: DUP2
00002946: MSTORE
00002947: PUSH1 0x04
00002949: ADD
0000294a: PUSH2 0x0949
0000294d: SWAP1
0000294e: PUSH2 0x35eb
00002951: JUMP
00002952: JUMPDEST
00002953: PUSH1 0x01
00002955: PUSH1 0x01
00002957: PUSH1 0xa0
00002959: SHL
0000295a: SUB
0000295b: DUP4
0000295c: AND
0000295d: PUSH1 0x00
0000295f: SWAP1
00002960: DUP2
00002961: MSTORE
00002962: PUSH1 0x20
00002964: DUP2
00002965: SWAP1
00002966: MSTORE
00002967: PUSH1 0x40
00002969: SWAP1
0000296a: KECCAK256
0000296b: SLOAD
0000296c: DUP2
0000296d: DUP2
0000296e: LT
0000296f: ISZERO
00002970: PUSH2 0x29ca
00002973: JUMPI
00002974: PUSH1 0x40
00002976: MLOAD
00002977: PUSH3 0x461bcd
0000297b: PUSH1 0xe5
0000297d: SHL
0000297e: DUP2
0000297f: MSTORE
00002980: PUSH1 0x20
00002982: PUSH1 0x04
00002984: DUP3
00002985: ADD
00002986: MSTORE
00002987: PUSH1 0x26
00002989: PUSH1 0x24
0000298b: DUP3
0000298c: ADD
0000298d: MSTORE
0000298e: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
000029af: PUSH1 0x44
000029b1: DUP3
000029b2: ADD
000029b3: MSTORE
000029b4: PUSH6 0x616c616e6365
000029bb: PUSH1 0xd0
000029bd: SHL
000029be: PUSH1 0x64
000029c0: DUP3
000029c1: ADD
000029c2: MSTORE
000029c3: PUSH1 0x84
000029c5: ADD
000029c6: PUSH2 0x0949
000029c9: JUMP
000029ca: JUMPDEST
000029cb: PUSH1 0x01
000029cd: PUSH1 0x01
000029cf: PUSH1 0xa0
000029d1: SHL
000029d2: SUB
000029d3: DUP1
000029d4: DUP6
000029d5: AND
000029d6: PUSH1 0x00
000029d8: SWAP1
000029d9: DUP2
000029da: MSTORE
000029db: PUSH1 0x20
000029dd: DUP2
000029de: SWAP1
000029df: MSTORE
000029e0: PUSH1 0x40
000029e2: DUP1
000029e3: DUP3
000029e4: KECCAK256
000029e5: DUP6
000029e6: DUP6
000029e7: SUB
000029e8: SWAP1
000029e9: SSTORE
000029ea: SWAP2
000029eb: DUP6
000029ec: AND
000029ed: DUP2
000029ee: MSTORE
000029ef: SWAP1
000029f0: DUP2
000029f1: KECCAK256
000029f2: DUP1
000029f3: SLOAD
000029f4: DUP5
000029f5: SWAP3
000029f6: SWAP1
000029f7: PUSH2 0x2a01
000029fa: SWAP1
000029fb: DUP5
000029fc: SWAP1
000029fd: PUSH2 0x3505
00002a00: JUMP
00002a01: JUMPDEST
00002a02: SWAP3
00002a03: POP
00002a04: POP
00002a05: DUP2
00002a06: SWAP1
00002a07: SSTORE
00002a08: POP
00002a09: DUP3
00002a0a: PUSH1 0x01
00002a0c: PUSH1 0x01
00002a0e: PUSH1 0xa0
00002a10: SHL
00002a11: SUB
00002a12: AND
00002a13: DUP5
00002a14: PUSH1 0x01
00002a16: PUSH1 0x01
00002a18: PUSH1 0xa0
00002a1a: SHL
00002a1b: SUB
00002a1c: AND
00002a1d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002a3e: DUP5
00002a3f: PUSH1 0x40
00002a41: MLOAD
00002a42: PUSH2 0x2a4d
00002a45: SWAP2
00002a46: DUP2
00002a47: MSTORE
00002a48: PUSH1 0x20
00002a4a: ADD
00002a4b: SWAP1
00002a4c: JUMP
00002a4d: JUMPDEST
00002a4e: PUSH1 0x40
00002a50: MLOAD
00002a51: DUP1
00002a52: SWAP2
00002a53: SUB
00002a54: SWAP1
00002a55: LOG3
00002a56: PUSH2 0x19d7
00002a59: JUMP
00002a5a: JUMPDEST
00002a5b: PUSH1 0x00
00002a5d: DUP1
00002a5e: JUMPDEST
00002a5f: DUP4
00002a60: MLOAD
00002a61: DUP2
00002a62: LT
00002a63: ISZERO
00002a64: PUSH2 0x2aa0
00002a67: JUMPI
00002a68: DUP4
00002a69: DUP2
00002a6a: DUP2
00002a6b: MLOAD
00002a6c: DUP2
00002a6d: LT
00002a6e: PUSH2 0x2a79
00002a71: JUMPI
00002a72: PUSH2 0x2a79
00002a75: PUSH2 0x349e
00002a78: JUMP
00002a79: JUMPDEST
00002a7a: PUSH1 0x20
00002a7c: MUL
00002a7d: PUSH1 0x20
00002a7f: ADD
00002a80: ADD
00002a81: MLOAD
00002a82: DUP3
00002a83: PUSH2 0x2a8c
00002a86: SWAP2
00002a87: SWAP1
00002a88: PUSH2 0x3505
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: SWAP2
00002a8e: POP
00002a8f: DUP1
00002a90: PUSH2 0x2a98
00002a93: DUP2
00002a94: PUSH2 0x3536
00002a97: JUMP
00002a98: JUMPDEST
00002a99: SWAP2
00002a9a: POP
00002a9b: POP
00002a9c: PUSH2 0x2a5e
00002a9f: JUMP
00002aa0: JUMPDEST
00002aa1: POP
00002aa2: PUSH1 0x00
00002aa4: DUP3
00002aa5: ISZERO
00002aa6: PUSH2 0x2ab2
00002aa9: JUMPI
00002aaa: POP
00002aab: PUSH1 0x08
00002aad: SLOAD
00002aae: PUSH2 0x2ab7
00002ab1: JUMP
00002ab2: JUMPDEST
00002ab3: POP
00002ab4: PUSH1 0x0b
00002ab6: SLOAD
00002ab7: JUMPDEST
00002ab8: DUP1
00002ab9: DUP3
00002aba: GT
00002abb: ISZERO
00002abc: PUSH2 0x2ac4
00002abf: DUP3
00002ac0: PUSH2 0x15f6
00002ac3: JUMP
00002ac4: JUMPDEST
00002ac5: PUSH1 0x40
00002ac7: MLOAD
00002ac8: PUSH1 0x20
00002aca: ADD
00002acb: PUSH2 0x2ad4
00002ace: SWAP2
00002acf: SWAP1
00002ad0: PUSH2 0x368e
00002ad3: JUMP
00002ad4: JUMPDEST
00002ad5: PUSH1 0x40
00002ad7: MLOAD
00002ad8: PUSH1 0x20
00002ada: DUP2
00002adb: DUP4
00002adc: SUB
00002add: SUB
00002ade: DUP2
00002adf: MSTORE
00002ae0: SWAP1
00002ae1: PUSH1 0x40
00002ae3: MSTORE
00002ae4: SWAP1
00002ae5: PUSH2 0x2b01
00002ae8: JUMPI
00002ae9: PUSH1 0x40
00002aeb: MLOAD
00002aec: PUSH3 0x461bcd
00002af0: PUSH1 0xe5
00002af2: SHL
00002af3: DUP2
00002af4: MSTORE
00002af5: PUSH1 0x04
00002af7: ADD
00002af8: PUSH2 0x0949
00002afb: SWAP2
00002afc: SWAP1
00002afd: PUSH2 0x318f
00002b00: JUMP
00002b01: JUMPDEST
00002b02: POP
00002b03: POP
00002b04: POP
00002b05: POP
00002b06: POP
00002b07: JUMP
00002b08: JUMPDEST
00002b09: ADDRESS
00002b0a: PUSH1 0x00
00002b0c: SWAP1
00002b0d: DUP2
00002b0e: MSTORE
00002b0f: PUSH1 0x20
00002b11: DUP2
00002b12: SWAP1
00002b13: MSTORE
00002b14: PUSH1 0x40
00002b16: DUP2
00002b17: KECCAK256
00002b18: SLOAD
00002b19: SWAP1
00002b1a: POP
00002b1b: PUSH1 0x00
00002b1d: PUSH1 0x15
00002b1f: SLOAD
00002b20: PUSH1 0x14
00002b22: SLOAD
00002b23: PUSH2 0x2b2c
00002b26: SWAP2
00002b27: SWAP1
00002b28: PUSH2 0x3505
00002b2b: JUMP
00002b2c: JUMPDEST
00002b2d: SWAP1
00002b2e: POP
00002b2f: PUSH1 0x00
00002b31: DUP3
00002b32: ISZERO
00002b33: DUP1
00002b34: PUSH2 0x2b3b
00002b37: JUMPI
00002b38: POP
00002b39: DUP2
00002b3a: ISZERO
00002b3b: JUMPDEST
00002b3c: ISZERO
00002b3d: PUSH2 0x2b45
00002b40: JUMPI
00002b41: POP
00002b42: POP
00002b43: POP
00002b44: JUMP
00002b45: JUMPDEST
00002b46: PUSH1 0x16
00002b48: SLOAD
00002b49: PUSH2 0x2b53
00002b4c: SWAP1
00002b4d: PUSH1 0x14
00002b4f: PUSH2 0x366f
00002b52: JUMP
00002b53: JUMPDEST
00002b54: DUP4
00002b55: GT
00002b56: ISZERO
00002b57: PUSH2 0x2b6b
00002b5a: JUMPI
00002b5b: PUSH1 0x16
00002b5d: SLOAD
00002b5e: PUSH2 0x2b68
00002b61: SWAP1
00002b62: PUSH1 0x14
00002b64: PUSH2 0x366f
00002b67: JUMP
00002b68: JUMPDEST
00002b69: SWAP3
00002b6a: POP
00002b6b: JUMPDEST
00002b6c: PUSH1 0x00
00002b6e: PUSH1 0x02
00002b70: DUP4
00002b71: PUSH1 0x14
00002b73: SLOAD
00002b74: DUP7
00002b75: PUSH2 0x2b7e
00002b78: SWAP2
00002b79: SWAP1
00002b7a: PUSH2 0x366f
00002b7d: JUMP
00002b7e: JUMPDEST
00002b7f: PUSH2 0x2b88
00002b82: SWAP2
00002b83: SWAP1
00002b84: PUSH2 0x3567
00002b87: JUMP
00002b88: JUMPDEST
00002b89: PUSH2 0x2b92
00002b8c: SWAP2
00002b8d: SWAP1
00002b8e: PUSH2 0x3567
00002b91: JUMP
00002b92: JUMPDEST
00002b93: SWAP1
00002b94: POP
00002b95: PUSH1 0x00
00002b97: PUSH2 0x2ba0
00002b9a: DUP6
00002b9b: DUP4
00002b9c: PUSH2 0x2e48
00002b9f: JUMP
00002ba0: JUMPDEST
00002ba1: SWAP1
00002ba2: POP
00002ba3: SELFBALANCE
00002ba4: PUSH2 0x2bac
00002ba7: DUP3
00002ba8: PUSH2 0x2e54
00002bab: JUMP
00002bac: JUMPDEST
00002bad: PUSH1 0x00
00002baf: PUSH2 0x2bb8
00002bb2: SELFBALANCE
00002bb3: DUP4
00002bb4: PUSH2 0x2e48
00002bb7: JUMP
00002bb8: JUMPDEST
00002bb9: SWAP1
00002bba: POP
00002bbb: PUSH1 0x00
00002bbd: PUSH2 0x2bd5
00002bc0: DUP8
00002bc1: PUSH2 0x150c
00002bc4: PUSH1 0x15
00002bc6: SLOAD
00002bc7: DUP6
00002bc8: PUSH2 0x28e7
00002bcb: SWAP1
00002bcc: SWAP2
00002bcd: SWAP1
00002bce: PUSH4 0xffffffff
00002bd3: AND
00002bd4: JUMP
00002bd5: JUMPDEST
00002bd6: SWAP1
00002bd7: POP
00002bd8: PUSH1 0x00
00002bda: PUSH2 0x2be3
00002bdd: DUP3
00002bde: DUP5
00002bdf: PUSH2 0x357b
00002be2: JUMP
00002be3: JUMPDEST
00002be4: PUSH1 0x00
00002be6: PUSH1 0x14
00002be8: DUP2
00002be9: SWAP1
00002bea: SSTORE
00002beb: PUSH1 0x15
00002bed: DUP2
00002bee: SWAP1
00002bef: SSTORE
00002bf0: PUSH1 0x13
00002bf2: SLOAD
00002bf3: PUSH1 0x40
00002bf5: MLOAD
00002bf6: SWAP3
00002bf7: SWAP4
00002bf8: POP
00002bf9: PUSH2 0x0100
00002bfc: SWAP1
00002bfd: DIV
00002bfe: PUSH1 0x01
00002c00: PUSH1 0x01
00002c02: PUSH1 0xa0
00002c04: SHL
00002c05: SUB
00002c06: AND
00002c07: SWAP2
00002c08: DUP5
00002c09: SWAP2
00002c0a: DUP2
00002c0b: DUP2
00002c0c: DUP2
00002c0d: DUP6
00002c0e: DUP8
00002c0f: GAS
00002c10: CALL
00002c11: SWAP3
00002c12: POP
00002c13: POP
00002c14: POP
00002c15: RETURNDATASIZE
00002c16: DUP1
00002c17: PUSH1 0x00
00002c19: DUP2
00002c1a: EQ
00002c1b: PUSH2 0x2c40
00002c1e: JUMPI
00002c1f: PUSH1 0x40
00002c21: MLOAD
00002c22: SWAP2
00002c23: POP
00002c24: PUSH1 0x1f
00002c26: NOT
00002c27: PUSH1 0x3f
00002c29: RETURNDATASIZE
00002c2a: ADD
00002c2b: AND
00002c2c: DUP3
00002c2d: ADD
00002c2e: PUSH1 0x40
00002c30: MSTORE
00002c31: RETURNDATASIZE
00002c32: DUP3
00002c33: MSTORE
00002c34: RETURNDATASIZE
00002c35: PUSH1 0x00
00002c37: PUSH1 0x20
00002c39: DUP5
00002c3a: ADD
00002c3b: RETURNDATACOPY
00002c3c: PUSH2 0x2c45
00002c3f: JUMP
00002c40: JUMPDEST
00002c41: PUSH1 0x60
00002c43: SWAP2
00002c44: POP
00002c45: JUMPDEST
00002c46: POP
00002c47: SWAP1
00002c48: SWAP8
00002c49: POP
00002c4a: POP
00002c4b: DUP6
00002c4c: ISZERO
00002c4d: DUP1
00002c4e: ISZERO
00002c4f: SWAP1
00002c50: PUSH2 0x2c59
00002c53: JUMPI
00002c54: POP
00002c55: PUSH1 0x00
00002c57: DUP2
00002c58: GT
00002c59: JUMPDEST
00002c5a: ISZERO
00002c5b: PUSH2 0x2cac
00002c5e: JUMPI
00002c5f: PUSH2 0x2c68
00002c62: DUP7
00002c63: DUP3
00002c64: PUSH2 0x3005
00002c67: JUMP
00002c68: JUMPDEST
00002c69: PUSH1 0x14
00002c6b: SLOAD
00002c6c: PUSH1 0x40
00002c6e: DUP1
00002c6f: MLOAD
00002c70: DUP8
00002c71: DUP2
00002c72: MSTORE
00002c73: PUSH1 0x20
00002c75: DUP2
00002c76: ADD
00002c77: DUP5
00002c78: SWAP1
00002c79: MSTORE
00002c7a: DUP1
00002c7b: DUP3
00002c7c: ADD
00002c7d: SWAP3
00002c7e: SWAP1
00002c7f: SWAP3
00002c80: MSTORE
00002c81: MLOAD
00002c82: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
00002ca3: SWAP2
00002ca4: DUP2
00002ca5: SWAP1
00002ca6: SUB
00002ca7: PUSH1 0x60
00002ca9: ADD
00002caa: SWAP1
00002cab: LOG1
00002cac: JUMPDEST
00002cad: POP
00002cae: POP
00002caf: POP
00002cb0: POP
00002cb1: POP
00002cb2: POP
00002cb3: POP
00002cb4: POP
00002cb5: POP
00002cb6: JUMP
00002cb7: JUMPDEST
00002cb8: TIMESTAMP
00002cb9: PUSH1 0x1a
00002cbb: SSTORE
00002cbc: PUSH1 0x00
00002cbe: DUP1
00002cbf: ADDRESS
00002cc0: PUSH4 0x70a08231
00002cc5: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
00002ce6: PUSH1 0x40
00002ce8: MLOAD
00002ce9: PUSH1 0x01
00002ceb: PUSH1 0x01
00002ced: PUSH1 0xe0
00002cef: SHL
00002cf0: SUB
00002cf1: NOT
00002cf2: PUSH1 0xe0
00002cf4: DUP5
00002cf5: SWAP1
00002cf6: SHL
00002cf7: AND
00002cf8: DUP2
00002cf9: MSTORE
00002cfa: PUSH1 0x01
00002cfc: PUSH1 0x01
00002cfe: PUSH1 0xa0
00002d00: SHL
00002d01: SUB
00002d02: SWAP1
00002d03: SWAP2
00002d04: AND
00002d05: PUSH1 0x04
00002d07: DUP3
00002d08: ADD
00002d09: MSTORE
00002d0a: PUSH1 0x24
00002d0c: ADD
00002d0d: PUSH1 0x20
00002d0f: PUSH1 0x40
00002d11: MLOAD
00002d12: DUP1
00002d13: DUP4
00002d14: SUB
00002d15: DUP2
00002d16: DUP7
00002d17: GAS
00002d18: STATICCALL
00002d19: ISZERO
00002d1a: DUP1
00002d1b: ISZERO
00002d1c: PUSH2 0x2d29
00002d1f: JUMPI
00002d20: RETURNDATASIZE
00002d21: PUSH1 0x00
00002d23: DUP1
00002d24: RETURNDATACOPY
00002d25: RETURNDATASIZE
00002d26: PUSH1 0x00
00002d28: REVERT
00002d29: JUMPDEST
00002d2a: POP
00002d2b: POP
00002d2c: POP
00002d2d: POP
00002d2e: PUSH1 0x40
00002d30: MLOAD
00002d31: RETURNDATASIZE
00002d32: PUSH1 0x1f
00002d34: NOT
00002d35: PUSH1 0x1f
00002d37: DUP3
00002d38: ADD
00002d39: AND
00002d3a: DUP3
00002d3b: ADD
00002d3c: DUP1
00002d3d: PUSH1 0x40
00002d3f: MSTORE
00002d40: POP
00002d41: DUP2
00002d42: ADD
00002d43: SWAP1
00002d44: PUSH2 0x2d4d
00002d47: SWAP2
00002d48: SWAP1
00002d49: PUSH2 0x351d
00002d4c: JUMP
00002d4d: JUMPDEST
00002d4e: SWAP1
00002d4f: POP
00002d50: PUSH1 0x00
00002d52: PUSH2 0x2d6c
00002d55: PUSH2 0x2710
00002d58: PUSH2 0x150c
00002d5b: PUSH1 0x17
00002d5d: SLOAD
00002d5e: DUP6
00002d5f: PUSH2 0x28e7
00002d62: SWAP1
00002d63: SWAP2
00002d64: SWAP1
00002d65: PUSH4 0xffffffff
00002d6a: AND
00002d6b: JUMP
00002d6c: JUMPDEST
00002d6d: SWAP1
00002d6e: POP
00002d6f: DUP1
00002d70: ISZERO
00002d71: PUSH2 0x2d9d
00002d74: JUMPI
00002d75: PUSH2 0x2d9d
00002d78: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
00002d99: PUSH2 0x153f
00002d9c: JUMP
00002d9d: JUMPDEST
00002d9e: PUSH1 0x00
00002da0: PUSH32 0x000000000000000000000000c9e40519127a9f922de52d147d0374c8f4e07fda
00002dc1: SWAP1
00002dc2: POP
00002dc3: DUP1
00002dc4: PUSH1 0x01
00002dc6: PUSH1 0x01
00002dc8: PUSH1 0xa0
00002dca: SHL
00002dcb: SUB
00002dcc: AND
00002dcd: PUSH4 0xfff6cae9
00002dd2: PUSH1 0x40
00002dd4: MLOAD
00002dd5: DUP2
00002dd6: PUSH4 0xffffffff
00002ddb: AND
00002ddc: PUSH1 0xe0
00002dde: SHL
00002ddf: DUP2
00002de0: MSTORE
00002de1: PUSH1 0x04
00002de3: ADD
00002de4: PUSH1 0x00
00002de6: PUSH1 0x40
00002de8: MLOAD
00002de9: DUP1
00002dea: DUP4
00002deb: SUB
00002dec: DUP2
00002ded: PUSH1 0x00
00002def: DUP8
00002df0: DUP1
00002df1: EXTCODESIZE
00002df2: ISZERO
00002df3: DUP1
00002df4: ISZERO
00002df5: PUSH2 0x2dfd
00002df8: JUMPI
00002df9: PUSH1 0x00
00002dfb: DUP1
00002dfc: REVERT
00002dfd: JUMPDEST
00002dfe: POP
00002dff: GAS
00002e00: CALL
00002e01: ISZERO
00002e02: DUP1
00002e03: ISZERO
00002e04: PUSH2 0x2e11
00002e07: JUMPI
00002e08: RETURNDATASIZE
00002e09: PUSH1 0x00
00002e0b: DUP1
00002e0c: RETURNDATACOPY
00002e0d: RETURNDATASIZE
00002e0e: PUSH1 0x00
00002e10: REVERT
00002e11: JUMPDEST
00002e12: POP
00002e13: POP
00002e14: PUSH1 0x40
00002e16: MLOAD
00002e17: PUSH32 0x454c91ae84fcc766ddda0dcb289f26b3d0176efeacf4061fc219fa6ca8c3048d
00002e38: SWAP3
00002e39: POP
00002e3a: PUSH1 0x00
00002e3c: SWAP2
00002e3d: POP
00002e3e: LOG1
00002e3f: PUSH1 0x01
00002e41: SWAP4
00002e42: POP
00002e43: POP
00002e44: POP
00002e45: POP
00002e46: SWAP1
00002e47: JUMP
00002e48: JUMPDEST
00002e49: PUSH1 0x00
00002e4b: PUSH2 0x28f3
00002e4e: DUP3
00002e4f: DUP5
00002e50: PUSH2 0x357b
00002e53: JUMP
00002e54: JUMPDEST
00002e55: PUSH1 0x40
00002e57: DUP1
00002e58: MLOAD
00002e59: PUSH1 0x02
00002e5b: DUP1
00002e5c: DUP3
00002e5d: MSTORE
00002e5e: PUSH1 0x60
00002e60: DUP3
00002e61: ADD
00002e62: DUP4
00002e63: MSTORE
00002e64: PUSH1 0x00
00002e66: SWAP3
00002e67: PUSH1 0x20
00002e69: DUP4
00002e6a: ADD
00002e6b: SWAP1
00002e6c: DUP1
00002e6d: CALLDATASIZE
00002e6e: DUP4
00002e6f: CALLDATACOPY
00002e70: ADD
00002e71: SWAP1
00002e72: POP
00002e73: POP
00002e74: SWAP1
00002e75: POP
00002e76: ADDRESS
00002e77: DUP2
00002e78: PUSH1 0x00
00002e7a: DUP2
00002e7b: MLOAD
00002e7c: DUP2
00002e7d: LT
00002e7e: PUSH2 0x2e89
00002e81: JUMPI
00002e82: PUSH2 0x2e89
00002e85: PUSH2 0x349e
00002e88: JUMP
00002e89: JUMPDEST
00002e8a: PUSH1 0x01
00002e8c: PUSH1 0x01
00002e8e: PUSH1 0xa0
00002e90: SHL
00002e91: SUB
00002e92: SWAP1
00002e93: SWAP3
00002e94: AND
00002e95: PUSH1 0x20
00002e97: SWAP3
00002e98: DUP4
00002e99: MUL
00002e9a: SWAP2
00002e9b: SWAP1
00002e9c: SWAP2
00002e9d: ADD
00002e9e: SWAP1
00002e9f: SWAP2
00002ea0: ADD
00002ea1: MSTORE
00002ea2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002ec3: PUSH1 0x01
00002ec5: PUSH1 0x01
00002ec7: PUSH1 0xa0
00002ec9: SHL
00002eca: SUB
00002ecb: AND
00002ecc: PUSH4 0xad5c4648
00002ed1: PUSH1 0x40
00002ed3: MLOAD
00002ed4: DUP2
00002ed5: PUSH4 0xffffffff
00002eda: AND
00002edb: PUSH1 0xe0
00002edd: SHL
00002ede: DUP2
00002edf: MSTORE
00002ee0: PUSH1 0x04
00002ee2: ADD
00002ee3: PUSH1 0x20
00002ee5: PUSH1 0x40
00002ee7: MLOAD
00002ee8: DUP1
00002ee9: DUP4
00002eea: SUB
00002eeb: DUP2
00002eec: DUP7
00002eed: GAS
00002eee: STATICCALL
00002eef: ISZERO
00002ef0: DUP1
00002ef1: ISZERO
00002ef2: PUSH2 0x2eff
00002ef5: JUMPI
00002ef6: RETURNDATASIZE
00002ef7: PUSH1 0x00
00002ef9: DUP1
00002efa: RETURNDATACOPY
00002efb: RETURNDATASIZE
00002efc: PUSH1 0x00
00002efe: REVERT
00002eff: JUMPDEST
00002f00: POP
00002f01: POP
00002f02: POP
00002f03: POP
00002f04: PUSH1 0x40
00002f06: MLOAD
00002f07: RETURNDATASIZE
00002f08: PUSH1 0x1f
00002f0a: NOT
00002f0b: PUSH1 0x1f
00002f0d: DUP3
00002f0e: ADD
00002f0f: AND
00002f10: DUP3
00002f11: ADD
00002f12: DUP1
00002f13: PUSH1 0x40
00002f15: MSTORE
00002f16: POP
00002f17: DUP2
00002f18: ADD
00002f19: SWAP1
00002f1a: PUSH2 0x2f23
00002f1d: SWAP2
00002f1e: SWAP1
00002f1f: PUSH2 0x36f3
00002f22: JUMP
00002f23: JUMPDEST
00002f24: DUP2
00002f25: PUSH1 0x01
00002f27: DUP2
00002f28: MLOAD
00002f29: DUP2
00002f2a: LT
00002f2b: PUSH2 0x2f36
00002f2e: JUMPI
00002f2f: PUSH2 0x2f36
00002f32: PUSH2 0x349e
00002f35: JUMP
00002f36: JUMPDEST
00002f37: PUSH1 0x01
00002f39: PUSH1 0x01
00002f3b: PUSH1 0xa0
00002f3d: SHL
00002f3e: SUB
00002f3f: SWAP1
00002f40: SWAP3
00002f41: AND
00002f42: PUSH1 0x20
00002f44: SWAP3
00002f45: DUP4
00002f46: MUL
00002f47: SWAP2
00002f48: SWAP1
00002f49: SWAP2
00002f4a: ADD
00002f4b: SWAP1
00002f4c: SWAP2
00002f4d: ADD
00002f4e: MSTORE
00002f4f: PUSH2 0x2f7a
00002f52: ADDRESS
00002f53: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002f74: JUMPDEST
00002f75: DUP5
00002f76: PUSH2 0x17d0
00002f79: JUMP
00002f7a: JUMPDEST
00002f7b: PUSH1 0x40
00002f7d: MLOAD
00002f7e: PUSH4 0x791ac947
00002f83: PUSH1 0xe0
00002f85: SHL
00002f86: DUP2
00002f87: MSTORE
00002f88: PUSH1 0x01
00002f8a: PUSH1 0x01
00002f8c: PUSH1 0xa0
00002f8e: SHL
00002f8f: SUB
00002f90: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002fb1: AND
00002fb2: SWAP1
00002fb3: PUSH4 0x791ac947
00002fb8: SWAP1
00002fb9: PUSH2 0x2fcf
00002fbc: SWAP1
00002fbd: DUP6
00002fbe: SWAP1
00002fbf: PUSH1 0x00
00002fc1: SWAP1
00002fc2: DUP7
00002fc3: SWAP1
00002fc4: ADDRESS
00002fc5: SWAP1
00002fc6: TIMESTAMP
00002fc7: SWAP1
00002fc8: PUSH1 0x04
00002fca: ADD
00002fcb: PUSH2 0x3710
00002fce: JUMP
00002fcf: JUMPDEST
00002fd0: PUSH1 0x00
00002fd2: PUSH1 0x40
00002fd4: MLOAD
00002fd5: DUP1
00002fd6: DUP4
00002fd7: SUB
00002fd8: DUP2
00002fd9: PUSH1 0x00
00002fdb: DUP8
00002fdc: DUP1
00002fdd: EXTCODESIZE
00002fde: ISZERO
00002fdf: DUP1
00002fe0: ISZERO
00002fe1: PUSH2 0x2fe9
00002fe4: JUMPI
00002fe5: PUSH1 0x00
00002fe7: DUP1
00002fe8: REVERT
00002fe9: JUMPDEST
00002fea: POP
00002feb: GAS
00002fec: CALL
00002fed: ISZERO
00002fee: DUP1
00002fef: ISZERO
00002ff0: PUSH2 0x2ffd
00002ff3: JUMPI
00002ff4: RETURNDATASIZE
00002ff5: PUSH1 0x00
00002ff7: DUP1
00002ff8: RETURNDATACOPY
00002ff9: RETURNDATASIZE
00002ffa: PUSH1 0x00
00002ffc: REVERT
00002ffd: JUMPDEST
00002ffe: POP
00002fff: POP
00003000: POP
00003001: POP
00003002: POP
00003003: POP
00003004: JUMP
00003005: JUMPDEST
00003006: PUSH2 0x302f
00003009: ADDRESS
0000300a: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000302b: PUSH2 0x2f74
0000302e: JUMP
0000302f: JUMPDEST
00003030: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003051: PUSH1 0x40
00003053: MLOAD
00003054: PUSH4 0xf305d719
00003059: PUSH1 0xe0
0000305b: SHL
0000305c: DUP2
0000305d: MSTORE
0000305e: ADDRESS
0000305f: PUSH1 0x04
00003061: DUP3
00003062: ADD
00003063: MSTORE
00003064: PUSH1 0x24
00003066: DUP2
00003067: ADD
00003068: DUP5
00003069: SWAP1
0000306a: MSTORE
0000306b: PUSH1 0x00
0000306d: PUSH1 0x44
0000306f: DUP3
00003070: ADD
00003071: DUP2
00003072: SWAP1
00003073: MSTORE
00003074: PUSH1 0x64
00003076: DUP3
00003077: ADD
00003078: MSTORE
00003079: PUSH2 0xdead
0000307c: PUSH1 0x84
0000307e: DUP3
0000307f: ADD
00003080: MSTORE
00003081: TIMESTAMP
00003082: PUSH1 0xa4
00003084: DUP3
00003085: ADD
00003086: MSTORE
00003087: PUSH1 0x01
00003089: PUSH1 0x01
0000308b: PUSH1 0xa0
0000308d: SHL
0000308e: SUB
0000308f: SWAP2
00003090: SWAP1
00003091: SWAP2
00003092: AND
00003093: SWAP1
00003094: PUSH4 0xf305d719
00003099: SWAP1
0000309a: DUP4
0000309b: SWAP1
0000309c: PUSH1 0xc4
0000309e: ADD
0000309f: PUSH1 0x60
000030a1: PUSH1 0x40
000030a3: MLOAD
000030a4: DUP1
000030a5: DUP4
000030a6: SUB
000030a7: DUP2
000030a8: DUP6
000030a9: DUP9
000030aa: GAS
000030ab: CALL
000030ac: ISZERO
000030ad: DUP1
000030ae: ISZERO
000030af: PUSH2 0x30bc
000030b2: JUMPI
000030b3: RETURNDATASIZE
000030b4: PUSH1 0x00
000030b6: DUP1
000030b7: RETURNDATACOPY
000030b8: RETURNDATASIZE
000030b9: PUSH1 0x00
000030bb: REVERT
000030bc: JUMPDEST
000030bd: POP
000030be: POP
000030bf: POP
000030c0: POP
000030c1: POP
000030c2: PUSH1 0x40
000030c4: MLOAD
000030c5: RETURNDATASIZE
000030c6: PUSH1 0x1f
000030c8: NOT
000030c9: PUSH1 0x1f
000030cb: DUP3
000030cc: ADD
000030cd: AND
000030ce: DUP3
000030cf: ADD
000030d0: DUP1
000030d1: PUSH1 0x40
000030d3: MSTORE
000030d4: POP
000030d5: DUP2
000030d6: ADD
000030d7: SWAP1
000030d8: PUSH2 0x2b01
000030db: SWAP2
000030dc: SWAP1
000030dd: PUSH2 0x3781
000030e0: JUMP
000030e1: JUMPDEST
000030e2: DUP3
000030e3: DUP1
000030e4: SLOAD
000030e5: DUP3
000030e6: DUP3
000030e7: SSTORE
000030e8: SWAP1
000030e9: PUSH1 0x00
000030eb: MSTORE
000030ec: PUSH1 0x20
000030ee: PUSH1 0x00
000030f0: KECCAK256
000030f1: SWAP1
000030f2: DUP2
000030f3: ADD
000030f4: SWAP3
000030f5: DUP3
000030f6: ISZERO
000030f7: PUSH2 0x311c
000030fa: JUMPI
000030fb: SWAP2
000030fc: PUSH1 0x20
000030fe: MUL
000030ff: DUP3
00003100: ADD
00003101: JUMPDEST
00003102: DUP3
00003103: DUP2
00003104: GT
00003105: ISZERO
00003106: PUSH2 0x311c
00003109: JUMPI
0000310a: DUP3
0000310b: MLOAD
0000310c: DUP3
0000310d: SSTORE
0000310e: SWAP2
0000310f: PUSH1 0x20
00003111: ADD
00003112: SWAP2
00003113: SWAP1
00003114: PUSH1 0x01
00003116: ADD
00003117: SWAP1
00003118: PUSH2 0x3101
0000311b: JUMP
0000311c: JUMPDEST
0000311d: POP
0000311e: PUSH2 0x3128
00003121: SWAP3
00003122: SWAP2
00003123: POP
00003124: PUSH2 0x312c
00003127: JUMP
00003128: JUMPDEST
00003129: POP
0000312a: SWAP1
0000312b: JUMP
0000312c: JUMPDEST
0000312d: JUMPDEST
0000312e: DUP1
0000312f: DUP3
00003130: GT
00003131: ISZERO
00003132: PUSH2 0x3128
00003135: JUMPI
00003136: PUSH1 0x00
00003138: DUP2
00003139: SSTORE
0000313a: PUSH1 0x01
0000313c: ADD
0000313d: PUSH2 0x312d
00003140: JUMP
00003141: JUMPDEST
00003142: PUSH1 0x00
00003144: DUP1
00003145: PUSH1 0x40
00003147: DUP4
00003148: DUP6
00003149: SUB
0000314a: SLT
0000314b: ISZERO
0000314c: PUSH2 0x3154
0000314f: JUMPI
00003150: PUSH1 0x00
00003152: DUP1
00003153: REVERT
00003154: JUMPDEST
00003155: POP
00003156: POP
00003157: DUP1
00003158: CALLDATALOAD
00003159: SWAP3
0000315a: PUSH1 0x20
0000315c: SWAP1
0000315d: SWAP2
0000315e: ADD
0000315f: CALLDATALOAD
00003160: SWAP2
00003161: POP
00003162: JUMP
00003163: JUMPDEST
00003164: PUSH1 0x00
00003166: JUMPDEST
00003167: DUP4
00003168: DUP2
00003169: LT
0000316a: ISZERO
0000316b: PUSH2 0x317e
0000316e: JUMPI
0000316f: DUP2
00003170: DUP2
00003171: ADD
00003172: MLOAD
00003173: DUP4
00003174: DUP3
00003175: ADD
00003176: MSTORE
00003177: PUSH1 0x20
00003179: ADD
0000317a: PUSH2 0x3166
0000317d: JUMP
0000317e: JUMPDEST
0000317f: DUP4
00003180: DUP2
00003181: GT
00003182: ISZERO
00003183: PUSH2 0x19d7
00003186: JUMPI
00003187: POP
00003188: POP
00003189: PUSH1 0x00
0000318b: SWAP2
0000318c: ADD
0000318d: MSTORE
0000318e: JUMP
0000318f: JUMPDEST
00003190: PUSH1 0x20
00003192: DUP2
00003193: MSTORE
00003194: PUSH1 0x00
00003196: DUP3
00003197: MLOAD
00003198: DUP1
00003199: PUSH1 0x20
0000319b: DUP5
0000319c: ADD
0000319d: MSTORE
0000319e: PUSH2 0x31ae
000031a1: DUP2
000031a2: PUSH1 0x40
000031a4: DUP6
000031a5: ADD
000031a6: PUSH1 0x20
000031a8: DUP8
000031a9: ADD
000031aa: PUSH2 0x3163
000031ad: JUMP
000031ae: JUMPDEST
000031af: PUSH1 0x1f
000031b1: ADD
000031b2: PUSH1 0x1f
000031b4: NOT
000031b5: AND
000031b6: SWAP2
000031b7: SWAP1
000031b8: SWAP2
000031b9: ADD
000031ba: PUSH1 0x40
000031bc: ADD
000031bd: SWAP3
000031be: SWAP2
000031bf: POP
000031c0: POP
000031c1: JUMP
000031c2: JUMPDEST
000031c3: PUSH1 0x01
000031c5: PUSH1 0x01
000031c7: PUSH1 0xa0
000031c9: SHL
000031ca: SUB
000031cb: DUP2
000031cc: AND
000031cd: DUP2
000031ce: EQ
000031cf: PUSH2 0x133c
000031d2: JUMPI
000031d3: PUSH1 0x00
000031d5: DUP1
000031d6: REVERT
000031d7: JUMPDEST
000031d8: DUP1
000031d9: CALLDATALOAD
000031da: PUSH2 0x15f1
000031dd: DUP2
000031de: PUSH2 0x31c2
000031e1: JUMP
000031e2: JUMPDEST
000031e3: PUSH1 0x00
000031e5: PUSH1 0x20
000031e7: DUP3
000031e8: DUP5
000031e9: SUB
000031ea: SLT
000031eb: ISZERO
000031ec: PUSH2 0x31f4
000031ef: JUMPI
000031f0: PUSH1 0x00
000031f2: DUP1
000031f3: REVERT
000031f4: JUMPDEST
000031f5: DUP2
000031f6: CALLDATALOAD
000031f7: PUSH2 0x28f3
000031fa: DUP2
000031fb: PUSH2 0x31c2
000031fe: JUMP
000031ff: JUMPDEST
00003200: PUSH1 0x00
00003202: DUP1
00003203: PUSH1 0x40
00003205: DUP4
00003206: DUP6
00003207: SUB
00003208: SLT
00003209: ISZERO
0000320a: PUSH2 0x3212
0000320d: JUMPI
0000320e: PUSH1 0x00
00003210: DUP1
00003211: REVERT
00003212: JUMPDEST
00003213: DUP3
00003214: CALLDATALOAD
00003215: PUSH2 0x321d
00003218: DUP2
00003219: PUSH2 0x31c2
0000321c: JUMP
0000321d: JUMPDEST
0000321e: SWAP5
0000321f: PUSH1 0x20
00003221: SWAP4
00003222: SWAP1
00003223: SWAP4
00003224: ADD
00003225: CALLDATALOAD
00003226: SWAP4
00003227: POP
00003228: POP
00003229: POP
0000322a: JUMP
0000322b: JUMPDEST
0000322c: PUSH1 0x20
0000322e: DUP1
0000322f: DUP3
00003230: MSTORE
00003231: DUP3
00003232: MLOAD
00003233: DUP3
00003234: DUP3
00003235: ADD
00003236: DUP2
00003237: SWAP1
00003238: MSTORE
00003239: PUSH1 0x00
0000323b: SWAP2
0000323c: SWAP1
0000323d: DUP5
0000323e: DUP3
0000323f: ADD
00003240: SWAP1
00003241: PUSH1 0x40
00003243: DUP6
00003244: ADD
00003245: SWAP1
00003246: DUP5
00003247: JUMPDEST
00003248: DUP2
00003249: DUP2
0000324a: LT
0000324b: ISZERO
0000324c: PUSH2 0x3263
0000324f: JUMPI
00003250: DUP4
00003251: MLOAD
00003252: DUP4
00003253: MSTORE
00003254: SWAP3
00003255: DUP5
00003256: ADD
00003257: SWAP3
00003258: SWAP2
00003259: DUP5
0000325a: ADD
0000325b: SWAP2
0000325c: PUSH1 0x01
0000325e: ADD
0000325f: PUSH2 0x3247
00003262: JUMP
00003263: JUMPDEST
00003264: POP
00003265: SWAP1
00003266: SWAP7
00003267: SWAP6
00003268: POP
00003269: POP
0000326a: POP
0000326b: POP
0000326c: POP
0000326d: POP
0000326e: JUMP
0000326f: JUMPDEST
00003270: PUSH1 0x00
00003272: PUSH1 0x20
00003274: DUP3
00003275: DUP5
00003276: SUB
00003277: SLT
00003278: ISZERO
00003279: PUSH2 0x3281
0000327c: JUMPI
0000327d: PUSH1 0x00
0000327f: DUP1
00003280: REVERT
00003281: JUMPDEST
00003282: POP
00003283: CALLDATALOAD
00003284: SWAP2
00003285: SWAP1
00003286: POP
00003287: JUMP
00003288: JUMPDEST
00003289: PUSH1 0x00
0000328b: DUP1
0000328c: PUSH1 0x00
0000328e: PUSH1 0x60
00003290: DUP5
00003291: DUP7
00003292: SUB
00003293: SLT
00003294: ISZERO
00003295: PUSH2 0x329d
00003298: JUMPI
00003299: PUSH1 0x00
0000329b: DUP1
0000329c: REVERT
0000329d: JUMPDEST
0000329e: DUP4
0000329f: CALLDATALOAD
000032a0: PUSH2 0x32a8
000032a3: DUP2
000032a4: PUSH2 0x31c2
000032a7: JUMP
000032a8: JUMPDEST
000032a9: SWAP3
000032aa: POP
000032ab: PUSH1 0x20
000032ad: DUP5
000032ae: ADD
000032af: CALLDATALOAD
000032b0: PUSH2 0x32b8
000032b3: DUP2
000032b4: PUSH2 0x31c2
000032b7: JUMP
000032b8: JUMPDEST
000032b9: SWAP3
000032ba: SWAP6
000032bb: SWAP3
000032bc: SWAP5
000032bd: POP
000032be: POP
000032bf: POP
000032c0: PUSH1 0x40
000032c2: SWAP2
000032c3: SWAP1
000032c4: SWAP2
000032c5: ADD
000032c6: CALLDATALOAD
000032c7: SWAP1
000032c8: JUMP
000032c9: JUMPDEST
000032ca: DUP1
000032cb: CALLDATALOAD
000032cc: DUP1
000032cd: ISZERO
000032ce: ISZERO
000032cf: DUP2
000032d0: EQ
000032d1: PUSH2 0x15f1
000032d4: JUMPI
000032d5: PUSH1 0x00
000032d7: DUP1
000032d8: REVERT
000032d9: JUMPDEST
000032da: PUSH1 0x00
000032dc: DUP1
000032dd: PUSH1 0x00
000032df: PUSH1 0x60
000032e1: DUP5
000032e2: DUP7
000032e3: SUB
000032e4: SLT
000032e5: ISZERO
000032e6: PUSH2 0x32ee
000032e9: JUMPI
000032ea: PUSH1 0x00
000032ec: DUP1
000032ed: REVERT
000032ee: JUMPDEST
000032ef: DUP4
000032f0: CALLDATALOAD
000032f1: SWAP3
000032f2: POP
000032f3: PUSH1 0x20
000032f5: DUP5
000032f6: ADD
000032f7: CALLDATALOAD
000032f8: SWAP2
000032f9: POP
000032fa: PUSH2 0x3305
000032fd: PUSH1 0x40
000032ff: DUP6
00003300: ADD
00003301: PUSH2 0x32c9
00003304: JUMP
00003305: JUMPDEST
00003306: SWAP1
00003307: POP
00003308: SWAP3
00003309: POP
0000330a: SWAP3
0000330b: POP
0000330c: SWAP3
0000330d: JUMP
0000330e: JUMPDEST
0000330f: PUSH1 0x00
00003311: DUP1
00003312: PUSH1 0x40
00003314: DUP4
00003315: DUP6
00003316: SUB
00003317: SLT
00003318: ISZERO
00003319: PUSH2 0x3321
0000331c: JUMPI
0000331d: PUSH1 0x00
0000331f: DUP1
00003320: REVERT
00003321: JUMPDEST
00003322: DUP3
00003323: CALLDATALOAD
00003324: PUSH2 0x332c
00003327: DUP2
00003328: PUSH2 0x31c2
0000332b: JUMP
0000332c: JUMPDEST
0000332d: SWAP2
0000332e: POP
0000332f: PUSH2 0x333a
00003332: PUSH1 0x20
00003334: DUP5
00003335: ADD
00003336: PUSH2 0x32c9
00003339: JUMP
0000333a: JUMPDEST
0000333b: SWAP1
0000333c: POP
0000333d: SWAP3
0000333e: POP
0000333f: SWAP3
00003340: SWAP1
00003341: POP
00003342: JUMP
00003343: JUMPDEST
00003344: PUSH1 0x00
00003346: DUP1
00003347: PUSH1 0x40
00003349: DUP4
0000334a: DUP6
0000334b: SUB
0000334c: SLT
0000334d: ISZERO
0000334e: PUSH2 0x3356
00003351: JUMPI
00003352: PUSH1 0x00
00003354: DUP1
00003355: REVERT
00003356: JUMPDEST
00003357: DUP3
00003358: CALLDATALOAD
00003359: PUSH2 0x3361
0000335c: DUP2
0000335d: PUSH2 0x31c2
00003360: JUMP
00003361: JUMPDEST
00003362: SWAP2
00003363: POP
00003364: PUSH1 0x20
00003366: DUP4
00003367: ADD
00003368: CALLDATALOAD
00003369: PUSH2 0x3371
0000336c: DUP2
0000336d: PUSH2 0x31c2
00003370: JUMP
00003371: JUMPDEST
00003372: DUP1
00003373: SWAP2
00003374: POP
00003375: POP
00003376: SWAP3
00003377: POP
00003378: SWAP3
00003379: SWAP1
0000337a: POP
0000337b: JUMP
0000337c: JUMPDEST
0000337d: PUSH4 0x4e487b71
00003382: PUSH1 0xe0
00003384: SHL
00003385: PUSH1 0x00
00003387: MSTORE
00003388: PUSH1 0x41
0000338a: PUSH1 0x04
0000338c: MSTORE
0000338d: PUSH1 0x24
0000338f: PUSH1 0x00
00003391: REVERT
00003392: JUMPDEST
00003393: PUSH1 0x00
00003395: DUP1
00003396: PUSH1 0x40
00003398: DUP4
00003399: DUP6
0000339a: SUB
0000339b: SLT
0000339c: ISZERO
0000339d: PUSH2 0x33a5
000033a0: JUMPI
000033a1: PUSH1 0x00
000033a3: DUP1
000033a4: REVERT
000033a5: JUMPDEST
000033a6: DUP3
000033a7: CALLDATALOAD
000033a8: PUSH8 0xffffffffffffffff
000033b1: DUP1
000033b2: DUP3
000033b3: GT
000033b4: ISZERO
000033b5: PUSH2 0x33bd
000033b8: JUMPI
000033b9: PUSH1 0x00
000033bb: DUP1
000033bc: REVERT
000033bd: JUMPDEST
000033be: DUP2
000033bf: DUP6
000033c0: ADD
000033c1: SWAP2
000033c2: POP
000033c3: DUP6
000033c4: PUSH1 0x1f
000033c6: DUP4
000033c7: ADD
000033c8: SLT
000033c9: PUSH2 0x33d1
000033cc: JUMPI
000033cd: PUSH1 0x00
000033cf: DUP1
000033d0: REVERT
000033d1: JUMPDEST
000033d2: DUP2
000033d3: CALLDATALOAD
000033d4: PUSH1 0x20
000033d6: DUP3
000033d7: DUP3
000033d8: GT
000033d9: ISZERO
000033da: PUSH2 0x33e5
000033dd: JUMPI
000033de: PUSH2 0x33e5
000033e1: PUSH2 0x337c
000033e4: JUMP
000033e5: JUMPDEST
000033e6: DUP2
000033e7: PUSH1 0x05
000033e9: SHL
000033ea: PUSH1 0x40
000033ec: MLOAD
000033ed: PUSH1 0x1f
000033ef: NOT
000033f0: PUSH1 0x3f
000033f2: DUP4
000033f3: ADD
000033f4: AND
000033f5: DUP2
000033f6: ADD
000033f7: DUP2
000033f8: DUP2
000033f9: LT
000033fa: DUP7
000033fb: DUP3
000033fc: GT
000033fd: OR
000033fe: ISZERO
000033ff: PUSH2 0x340a
00003402: JUMPI
00003403: PUSH2 0x340a
00003406: PUSH2 0x337c
00003409: JUMP
0000340a: JUMPDEST
0000340b: PUSH1 0x40
0000340d: MSTORE
0000340e: SWAP3
0000340f: DUP4
00003410: MSTORE
00003411: DUP2
00003412: DUP4
00003413: ADD
00003414: SWAP4
00003415: POP
00003416: DUP5
00003417: DUP2
00003418: ADD
00003419: DUP3
0000341a: ADD
0000341b: SWAP3
0000341c: DUP10
0000341d: DUP5
0000341e: GT
0000341f: ISZERO
00003420: PUSH2 0x3428
00003423: JUMPI
00003424: PUSH1 0x00
00003426: DUP1
00003427: REVERT
00003428: JUMPDEST
00003429: SWAP5
0000342a: DUP3
0000342b: ADD
0000342c: SWAP5
0000342d: JUMPDEST
0000342e: DUP4
0000342f: DUP7
00003430: LT
00003431: ISZERO
00003432: PUSH2 0x344d
00003435: JUMPI
00003436: PUSH2 0x343e
00003439: DUP7
0000343a: PUSH2 0x31d7
0000343d: JUMP
0000343e: JUMPDEST
0000343f: DUP6
00003440: MSTORE
00003441: SWAP5
00003442: DUP3
00003443: ADD
00003444: SWAP5
00003445: SWAP4
00003446: DUP3
00003447: ADD
00003448: SWAP4
00003449: PUSH2 0x342d
0000344c: JUMP
0000344d: JUMPDEST
0000344e: SWAP7
0000344f: POP
00003450: PUSH2 0x345c
00003453: SWAP1
00003454: POP
00003455: DUP8
00003456: DUP3
00003457: ADD
00003458: PUSH2 0x32c9
0000345b: JUMP
0000345c: JUMPDEST
0000345d: SWAP5
0000345e: POP
0000345f: POP
00003460: POP
00003461: POP
00003462: POP
00003463: SWAP3
00003464: POP
00003465: SWAP3
00003466: SWAP1
00003467: POP
00003468: JUMP
00003469: JUMPDEST
0000346a: PUSH1 0x20
0000346c: DUP1
0000346d: DUP3
0000346e: MSTORE
0000346f: DUP2
00003470: DUP2
00003471: ADD
00003472: MSTORE
00003473: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00003494: PUSH1 0x40
00003496: DUP3
00003497: ADD
00003498: MSTORE
00003499: PUSH1 0x60
0000349b: ADD
0000349c: SWAP1
0000349d: JUMP
0000349e: JUMPDEST
0000349f: PUSH4 0x4e487b71
000034a4: PUSH1 0xe0
000034a6: SHL
000034a7: PUSH1 0x00
000034a9: MSTORE
000034aa: PUSH1 0x32
000034ac: PUSH1 0x04
000034ae: MSTORE
000034af: PUSH1 0x24
000034b1: PUSH1 0x00
000034b3: REVERT
000034b4: JUMPDEST
000034b5: PUSH1 0x01
000034b7: DUP2
000034b8: DUP2
000034b9: SHR
000034ba: SWAP1
000034bb: DUP3
000034bc: AND
000034bd: DUP1
000034be: PUSH2 0x34c8
000034c1: JUMPI
000034c2: PUSH1 0x7f
000034c4: DUP3
000034c5: AND
000034c6: SWAP2
000034c7: POP
000034c8: JUMPDEST
000034c9: PUSH1 0x20
000034cb: DUP3
000034cc: LT
000034cd: DUP2
000034ce: EQ
000034cf: ISZERO
000034d0: PUSH2 0x34e9
000034d3: JUMPI
000034d4: PUSH4 0x4e487b71
000034d9: PUSH1 0xe0
000034db: SHL
000034dc: PUSH1 0x00
000034de: MSTORE
000034df: PUSH1 0x22
000034e1: PUSH1 0x04
000034e3: MSTORE
000034e4: PUSH1 0x24
000034e6: PUSH1 0x00
000034e8: REVERT
000034e9: JUMPDEST
000034ea: POP
000034eb: SWAP2
000034ec: SWAP1
000034ed: POP
000034ee: JUMP
000034ef: JUMPDEST
000034f0: PUSH4 0x4e487b71
000034f5: PUSH1 0xe0
000034f7: SHL
000034f8: PUSH1 0x00
000034fa: MSTORE
000034fb: PUSH1 0x11
000034fd: PUSH1 0x04
000034ff: MSTORE
00003500: PUSH1 0x24
00003502: PUSH1 0x00
00003504: REVERT
00003505: JUMPDEST
00003506: PUSH1 0x00
00003508: DUP3
00003509: NOT
0000350a: DUP3
0000350b: GT
0000350c: ISZERO
0000350d: PUSH2 0x3518
00003510: JUMPI
00003511: PUSH2 0x3518
00003514: PUSH2 0x34ef
00003517: JUMP
00003518: JUMPDEST
00003519: POP
0000351a: ADD
0000351b: SWAP1
0000351c: JUMP
0000351d: JUMPDEST
0000351e: PUSH1 0x00
00003520: PUSH1 0x20
00003522: DUP3
00003523: DUP5
00003524: SUB
00003525: SLT
00003526: ISZERO
00003527: PUSH2 0x352f
0000352a: JUMPI
0000352b: PUSH1 0x00
0000352d: DUP1
0000352e: REVERT
0000352f: JUMPDEST
00003530: POP
00003531: MLOAD
00003532: SWAP2
00003533: SWAP1
00003534: POP
00003535: JUMP
00003536: JUMPDEST
00003537: PUSH1 0x00
00003539: PUSH1 0x00
0000353b: NOT
0000353c: DUP3
0000353d: EQ
0000353e: ISZERO
0000353f: PUSH2 0x354a
00003542: JUMPI
00003543: PUSH2 0x354a
00003546: PUSH2 0x34ef
00003549: JUMP
0000354a: JUMPDEST
0000354b: POP
0000354c: PUSH1 0x01
0000354e: ADD
0000354f: SWAP1
00003550: JUMP
00003551: JUMPDEST
00003552: PUSH4 0x4e487b71
00003557: PUSH1 0xe0
00003559: SHL
0000355a: PUSH1 0x00
0000355c: MSTORE
0000355d: PUSH1 0x12
0000355f: PUSH1 0x04
00003561: MSTORE
00003562: PUSH1 0x24
00003564: PUSH1 0x00
00003566: REVERT
00003567: JUMPDEST
00003568: PUSH1 0x00
0000356a: DUP3
0000356b: PUSH2 0x3576
0000356e: JUMPI
0000356f: PUSH2 0x3576
00003572: PUSH2 0x3551
00003575: JUMP
00003576: JUMPDEST
00003577: POP
00003578: DIV
00003579: SWAP1
0000357a: JUMP
0000357b: JUMPDEST
0000357c: PUSH1 0x00
0000357e: DUP3
0000357f: DUP3
00003580: LT
00003581: ISZERO
00003582: PUSH2 0x358d
00003585: JUMPI
00003586: PUSH2 0x358d
00003589: PUSH2 0x34ef
0000358c: JUMP
0000358d: JUMPDEST
0000358e: POP
0000358f: SUB
00003590: SWAP1
00003591: JUMP
00003592: JUMPDEST
00003593: PUSH1 0x00
00003595: DUP3
00003596: PUSH2 0x35a1
00003599: JUMPI
0000359a: PUSH2 0x35a1
0000359d: PUSH2 0x3551
000035a0: JUMP
000035a1: JUMPDEST
000035a2: POP
000035a3: MOD
000035a4: SWAP1
000035a5: JUMP
000035a6: JUMPDEST
000035a7: PUSH1 0x20
000035a9: DUP1
000035aa: DUP3
000035ab: MSTORE
000035ac: PUSH1 0x25
000035ae: SWAP1
000035af: DUP3
000035b0: ADD
000035b1: MSTORE
000035b2: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000035d3: PUSH1 0x40
000035d5: DUP3
000035d6: ADD
000035d7: MSTORE
000035d8: PUSH5 0x6472657373
000035de: PUSH1 0xd8
000035e0: SHL
000035e1: PUSH1 0x60
000035e3: DUP3
000035e4: ADD
000035e5: MSTORE
000035e6: PUSH1 0x80
000035e8: ADD
000035e9: SWAP1
000035ea: JUMP
000035eb: JUMPDEST
000035ec: PUSH1 0x20
000035ee: DUP1
000035ef: DUP3
000035f0: MSTORE
000035f1: PUSH1 0x23
000035f3: SWAP1
000035f4: DUP3
000035f5: ADD
000035f6: MSTORE
000035f7: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00003618: PUSH1 0x40
0000361a: DUP3
0000361b: ADD
0000361c: MSTORE
0000361d: PUSH3 0x657373
00003621: PUSH1 0xe8
00003623: SHL
00003624: PUSH1 0x60
00003626: DUP3
00003627: ADD
00003628: MSTORE
00003629: PUSH1 0x80
0000362b: ADD
0000362c: SWAP1
0000362d: JUMP
0000362e: JUMPDEST
0000362f: PUSH1 0x20
00003631: DUP1
00003632: DUP3
00003633: MSTORE
00003634: PUSH1 0x21
00003636: SWAP1
00003637: DUP3
00003638: ADD
00003639: MSTORE
0000363a: PUSH32 0x7345524332303a20596f752068617665206265656e20626c61636b6c69737465
0000365b: PUSH1 0x40
0000365d: DUP3
0000365e: ADD
0000365f: MSTORE
00003660: PUSH1 0x19
00003662: PUSH1 0xfa
00003664: SHL
00003665: PUSH1 0x60
00003667: DUP3
00003668: ADD
00003669: MSTORE
0000366a: PUSH1 0x80
0000366c: ADD
0000366d: SWAP1
0000366e: JUMP
0000366f: JUMPDEST
00003670: PUSH1 0x00
00003672: DUP2
00003673: PUSH1 0x00
00003675: NOT
00003676: DIV
00003677: DUP4
00003678: GT
00003679: DUP3
0000367a: ISZERO
0000367b: ISZERO
0000367c: AND
0000367d: ISZERO
0000367e: PUSH2 0x3689
00003681: JUMPI
00003682: PUSH2 0x3689
00003685: PUSH2 0x34ef
00003688: JUMP
00003689: JUMPDEST
0000368a: POP
0000368b: MUL
0000368c: SWAP1
0000368d: JUMP
0000368e: JUMPDEST
0000368f: PUSH32 0x7345524332303a2054617820726174652063616e206e6f742062652073657420
000036b0: DUP2
000036b1: MSTORE
000036b2: PUSH12 0x03434b3b432b9103a3430b71
000036bf: PUSH1 0xa5
000036c1: SHL
000036c2: PUSH1 0x20
000036c4: DUP3
000036c5: ADD
000036c6: MSTORE
000036c7: PUSH1 0x00
000036c9: DUP3
000036ca: MLOAD
000036cb: PUSH2 0x36db
000036ce: DUP2
000036cf: PUSH1 0x2c
000036d1: DUP6
000036d2: ADD
000036d3: PUSH1 0x20
000036d5: DUP8
000036d6: ADD
000036d7: PUSH2 0x3163
000036da: JUMP
000036db: JUMPDEST
000036dc: PUSH1 0x25
000036de: PUSH1 0xf8
000036e0: SHL
000036e1: PUSH1 0x2c
000036e3: SWAP4
000036e4: SWAP1
000036e5: SWAP2
000036e6: ADD
000036e7: SWAP3
000036e8: DUP4
000036e9: ADD
000036ea: MSTORE
000036eb: POP
000036ec: PUSH1 0x2d
000036ee: ADD
000036ef: SWAP2
000036f0: SWAP1
000036f1: POP
000036f2: JUMP
000036f3: JUMPDEST
000036f4: PUSH1 0x00
000036f6: PUSH1 0x20
000036f8: DUP3
000036f9: DUP5
000036fa: SUB
000036fb: SLT
000036fc: ISZERO
000036fd: PUSH2 0x3705
00003700: JUMPI
00003701: PUSH1 0x00
00003703: DUP1
00003704: REVERT
00003705: JUMPDEST
00003706: DUP2
00003707: MLOAD
00003708: PUSH2 0x28f3
0000370b: DUP2
0000370c: PUSH2 0x31c2
0000370f: JUMP
00003710: JUMPDEST
00003711: PUSH1 0x00
00003713: PUSH1 0xa0
00003715: DUP3
00003716: ADD
00003717: DUP8
00003718: DUP4
00003719: MSTORE
0000371a: PUSH1 0x20
0000371c: DUP8
0000371d: DUP2
0000371e: DUP6
0000371f: ADD
00003720: MSTORE
00003721: PUSH1 0xa0
00003723: PUSH1 0x40
00003725: DUP6
00003726: ADD
00003727: MSTORE
00003728: DUP2
00003729: DUP8
0000372a: MLOAD
0000372b: DUP1
0000372c: DUP5
0000372d: MSTORE
0000372e: PUSH1 0xc0
00003730: DUP7
00003731: ADD
00003732: SWAP2
00003733: POP
00003734: DUP3
00003735: DUP10
00003736: ADD
00003737: SWAP4
00003738: POP
00003739: PUSH1 0x00
0000373b: JUMPDEST
0000373c: DUP2
0000373d: DUP2
0000373e: LT
0000373f: ISZERO
00003740: PUSH2 0x3760
00003743: JUMPI
00003744: DUP5
00003745: MLOAD
00003746: PUSH1 0x01
00003748: PUSH1 0x01
0000374a: PUSH1 0xa0
0000374c: SHL
0000374d: SUB
0000374e: AND
0000374f: DUP4
00003750: MSTORE
00003751: SWAP4
00003752: DUP4
00003753: ADD
00003754: SWAP4
00003755: SWAP2
00003756: DUP4
00003757: ADD
00003758: SWAP2
00003759: PUSH1 0x01
0000375b: ADD
0000375c: PUSH2 0x373b
0000375f: JUMP
00003760: JUMPDEST
00003761: POP
00003762: POP
00003763: PUSH1 0x01
00003765: PUSH1 0x01
00003767: PUSH1 0xa0
00003769: SHL
0000376a: SUB
0000376b: SWAP7
0000376c: SWAP1
0000376d: SWAP7
0000376e: AND
0000376f: PUSH1 0x60
00003771: DUP6
00003772: ADD
00003773: MSTORE
00003774: POP
00003775: POP
00003776: POP
00003777: PUSH1 0x80
00003779: ADD
0000377a: MSTORE
0000377b: SWAP4
0000377c: SWAP3
0000377d: POP
0000377e: POP
0000377f: POP
00003780: JUMP
00003781: JUMPDEST
00003782: PUSH1 0x00
00003784: DUP1
00003785: PUSH1 0x00
00003787: PUSH1 0x60
00003789: DUP5
0000378a: DUP7
0000378b: SUB
0000378c: SLT
0000378d: ISZERO
0000378e: PUSH2 0x3796
00003791: JUMPI
00003792: PUSH1 0x00
00003794: DUP1
00003795: REVERT
00003796: JUMPDEST
00003797: DUP4
00003798: MLOAD
00003799: SWAP3
0000379a: POP
0000379b: PUSH1 0x20
0000379d: DUP5
0000379e: ADD
0000379f: MLOAD
000037a0: SWAP2
000037a1: POP
000037a2: PUSH1 0x40
000037a4: DUP5
000037a5: ADD
000037a6: MLOAD
000037a7: SWAP1
000037a8: POP
000037a9: SWAP3
000037aa: POP
000037ab: SWAP3
000037ac: POP
000037ad: SWAP3
000037ae: JUMP
000037af: INVALID
000037b0: LOG2
000037b1: PUSH5 0x6970667358
000037b7: UNKNOWN(0x22)
000037b8: SLT
000037b9: KECCAK256
000037ba: PUSH26 0x4439cb8c7ce9bf5dab5c5411be75c3a410c119979587ffc9d25a
000037d5: UNKNOWN(0xD3)
000037d6: CALLER
000037d7: UNKNOWN(0xEF)
000037d8: UNKNOWN(0xEF)
000037d9: CALL
000037da: PUSH5 0x736f6c6343
000037e0: STOP
000037e1: ADDMOD
000037e2: EXP
000037e3: STOP
000037e4: 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": "0xf068dc9a", "selector": "0xf068dc9a", "calldata_variants": [ "0xf068dc9a", "0xf068dc9a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfbee4318", "selector": "0xfbee4318", "calldata_variants": [ "0xfbee4318", "0xfbee43180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe72b27a", "selector": "0xfe72b27a", "calldata_variants": [ "0xfe72b27a", "0xfe72b27a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe2f45605", "selector": "0xe2f45605", "calldata_variants": [ "0xe2f45605", "0xe2f456050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe884f260", "selector": "0xe884f260", "calldata_variants": [ "0xe884f260", "0xe884f2600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb8020ad", "selector": "0xeb8020ad", "calldata_variants": [ "0xeb8020ad", "0xeb8020ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce21d381", "selector": "0xce21d381", "calldata_variants": [ "0xce21d381", "0xce21d3810000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 7262, "type": "tx_origin_used" }, { "pc": 7412, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xf12fe0198f754d6f3f7f3a915926ca02d9941f3e7a5110427832a04c720c16df call_targets: 0xb190ddcbbc4510c34cf2a834f0425a7d2b892f96 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf12fe0198f754d6f3f7f3a915926ca02d9941f3e7a5110427832a04c720c16df", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb190ddcbbc4510c34cf2a834f0425a7d2b892f96" ], "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": "0xf068dc9a", "selector": "0xf068dc9a", "calldata_variants": [ "0xf068dc9a", "0xf068dc9a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfbee4318", "selector": "0xfbee4318", "calldata_variants": [ "0xfbee4318", "0xfbee43180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe72b27a", "selector": "0xfe72b27a", "calldata_variants": [ "0xfe72b27a", "0xfe72b27a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe2f45605", "selector": "0xe2f45605", "calldata_variants": [ "0xe2f45605", "0xe2f456050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe884f260", "selector": "0xe884f260", "calldata_variants": [ "0xe884f260", "0xe884f2600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb8020ad", "selector": "0xeb8020ad", "calldata_variants": [ "0xeb8020ad", "0xeb8020ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce21d381", "selector": "0xce21d381", "calldata_variants": [ "0xce21d381", "0xce21d3810000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5547, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11280, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11776, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [ { "pc": 7262, "type": "tx_origin_used" }, { "pc": 7412, "type": "tx_origin_used" } ], "untrusted_call_count": 6 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xf12fe0198f754d6f3f7f3a915926ca02d9941f3e7a5110427832a04c720c16df call_targets: 0xb190ddcbbc4510c34cf2a834f0425a7d2b892f96 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf12fe0198f754d6f3f7f3a915926ca02d9941f3e7a5110427832a04c720c16df", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb190ddcbbc4510c34cf2a834f0425a7d2b892f96" ], "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": "0xf068dc9a", "selector": "0xf068dc9a", "calldata_variants": [ "0xf068dc9a", "0xf068dc9a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfbee4318", "selector": "0xfbee4318", "calldata_variants": [ "0xfbee4318", "0xfbee43180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe72b27a", "selector": "0xfe72b27a", "calldata_variants": [ "0xfe72b27a", "0xfe72b27a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe2f45605", "selector": "0xe2f45605", "calldata_variants": [ "0xe2f45605", "0xe2f456050000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe884f260", "selector": "0xe884f260", "calldata_variants": [ "0xe884f260", "0xe884f2600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb8020ad", "selector": "0xeb8020ad", "calldata_variants": [ "0xeb8020ad", "0xeb8020ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce21d381", "selector": "0xce21d381", "calldata_variants": [ "0xce21d381", "0xce21d3810000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5547, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11280, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11776, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [ { "pc": 7262, "type": "tx_origin_used" }, { "pc": 7412, "type": "tx_origin_used" } ] }
Severity