TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b3844-9dd9-7005-9079-a288e23a94ef

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
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
14821 artifact.fetch complete 1 / 3 4 months ago
14822 tool.cast_disasm complete 1 / 3 4 months ago
57749 analysis.bundle complete 1 / 3 2 weeks ago
57750 capability.graph complete 1 / 3 2 weeks ago
57751 detector.run complete 1 / 3 2 weeks ago
57752 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
2
Total opcodes
6174
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 0x021a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x72d82dd2
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb223999a
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdaaeec86
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdaaeec86
0000003a: EQ
0000003b: PUSH2 0x0617
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe6baefc3
00000045: EQ
00000046: PUSH2 0x062c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x063f
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xeb8d2444
0000005b: EQ
0000005c: PUSH2 0x0688
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfdea8e0b
00000066: EQ
00000067: PUSH2 0x06a2
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb223999a
00000076: EQ
00000077: PUSH2 0x058c
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb5aaf0f1
00000081: EQ
00000082: PUSH2 0x05a2
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb88d4fde
0000008c: EQ
0000008d: PUSH2 0x05b7
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc87b56dd
00000097: EQ
00000098: PUSH2 0x05d7
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xd547741f
000000a2: EQ
000000a3: PUSH2 0x05f7
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x91d14854
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x91d14854
000000bd: EQ
000000be: PUSH2 0x050d
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x052d
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x996517cf
000000d3: EQ
000000d4: PUSH2 0x0542
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa217fddf
000000de: EQ
000000df: PUSH2 0x0557
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa22cb465
000000e9: EQ
000000ea: PUSH2 0x056c
000000ed: JUMPI
000000ee: PUSH1 0x00
000000f0: DUP1
000000f1: REVERT
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x72d82dd2
000000f9: EQ
000000fa: PUSH2 0x0489
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x7a997ab7
00000104: EQ
00000105: PUSH2 0x049e
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x834be406
0000010f: EQ
00000110: PUSH2 0x04d2
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x86a9a62e
0000011a: EQ
0000011b: PUSH2 0x04ed
0000011e: JUMPI
0000011f: PUSH1 0x00
00000121: DUP1
00000122: REVERT
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x2f2ff15d
0000012a: GT
0000012b: PUSH2 0x01a6
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x42842e0e
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x42842e0e
00000140: EQ
00000141: PUSH2 0x03e9
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x4f6ccce7
0000014b: EQ
0000014c: PUSH2 0x0409
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x55f804b3
00000156: EQ
00000157: PUSH2 0x0429
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x6352211e
00000161: EQ
00000162: PUSH2 0x0449
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x70a08231
0000016c: EQ
0000016d: PUSH2 0x0469
00000170: JUMPI
00000171: PUSH1 0x00
00000173: DUP1
00000174: REVERT
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x2f2ff15d
0000017c: EQ
0000017d: PUSH2 0x0374
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x2f745c59
00000187: EQ
00000188: PUSH2 0x0394
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x36568abe
00000192: EQ
00000193: PUSH2 0x03b4
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x3ccfd60b
0000019d: EQ
0000019e: PUSH2 0x03d4
000001a1: JUMPI
000001a2: PUSH1 0x00
000001a4: DUP1
000001a5: REVERT
000001a6: JUMPDEST
000001a7: DUP1
000001a8: PUSH4 0x096e776e
000001ad: GT
000001ae: PUSH2 0x01ed
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x096e776e
000001b8: EQ
000001b9: PUSH2 0x02d0
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x10969523
000001c3: EQ
000001c4: PUSH2 0x02e5
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x18160ddd
000001ce: EQ
000001cf: PUSH2 0x0305
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x23b872dd
000001d9: EQ
000001da: PUSH2 0x0324
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x248a9ca3
000001e4: EQ
000001e5: PUSH2 0x0344
000001e8: JUMPI
000001e9: PUSH1 0x00
000001eb: DUP1
000001ec: REVERT
000001ed: JUMPDEST
000001ee: DUP1
000001ef: PUSH4 0x01ffc9a7
000001f4: EQ
000001f5: PUSH2 0x021f
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x06fdde03
000001ff: EQ
00000200: PUSH2 0x0254
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x081812fc
0000020a: EQ
0000020b: PUSH2 0x0276
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x095ea7b3
00000215: EQ
00000216: PUSH2 0x02ae
00000219: JUMPI
0000021a: JUMPDEST
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: CALLVALUE
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH2 0x023f
00000230: PUSH2 0x023a
00000233: CALLDATASIZE
00000234: PUSH1 0x04
00000236: PUSH2 0x2494
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH2 0x06c1
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH1 0x40
00000242: MLOAD
00000243: SWAP1
00000244: ISZERO
00000245: ISZERO
00000246: DUP2
00000247: MSTORE
00000248: PUSH1 0x20
0000024a: ADD
0000024b: JUMPDEST
0000024c: PUSH1 0x40
0000024e: MLOAD
0000024f: DUP1
00000250: SWAP2
00000251: SUB
00000252: SWAP1
00000253: RETURN
00000254: JUMPDEST
00000255: CALLVALUE
00000256: DUP1
00000257: ISZERO
00000258: PUSH2 0x0260
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: POP
00000262: PUSH2 0x0269
00000265: PUSH2 0x06d2
00000268: JUMP
00000269: JUMPDEST
0000026a: PUSH1 0x40
0000026c: MLOAD
0000026d: PUSH2 0x024b
00000270: SWAP2
00000271: SWAP1
00000272: PUSH2 0x261f
00000275: JUMP
00000276: JUMPDEST
00000277: CALLVALUE
00000278: DUP1
00000279: ISZERO
0000027a: PUSH2 0x0282
0000027d: JUMPI
0000027e: PUSH1 0x00
00000280: DUP1
00000281: REVERT
00000282: JUMPDEST
00000283: POP
00000284: PUSH2 0x0296
00000287: PUSH2 0x0291
0000028a: CALLDATASIZE
0000028b: PUSH1 0x04
0000028d: PUSH2 0x245a
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH2 0x0764
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH1 0x40
00000299: MLOAD
0000029a: PUSH1 0x01
0000029c: PUSH1 0x01
0000029e: PUSH1 0xa0
000002a0: SHL
000002a1: SUB
000002a2: SWAP1
000002a3: SWAP2
000002a4: AND
000002a5: DUP2
000002a6: MSTORE
000002a7: PUSH1 0x20
000002a9: ADD
000002aa: PUSH2 0x024b
000002ad: JUMP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02ba
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH2 0x02ce
000002bf: PUSH2 0x02c9
000002c2: CALLDATASIZE
000002c3: PUSH1 0x04
000002c5: PUSH2 0x2382
000002c8: JUMP
000002c9: JUMPDEST
000002ca: PUSH2 0x07fe
000002cd: JUMP
000002ce: JUMPDEST
000002cf: STOP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x02ce
000002e1: PUSH2 0x0914
000002e4: JUMP
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x02ce
000002f6: PUSH2 0x0300
000002f9: CALLDATASIZE
000002fa: PUSH1 0x04
000002fc: PUSH2 0x24cc
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH2 0x095d
00000304: JUMP
00000305: JUMPDEST
00000306: CALLVALUE
00000307: DUP1
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: POP
00000313: PUSH1 0x08
00000315: SLOAD
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: MLOAD
0000031a: SWAP1
0000031b: DUP2
0000031c: MSTORE
0000031d: PUSH1 0x20
0000031f: ADD
00000320: PUSH2 0x024b
00000323: JUMP
00000324: JUMPDEST
00000325: CALLVALUE
00000326: DUP1
00000327: ISZERO
00000328: PUSH2 0x0330
0000032b: JUMPI
0000032c: PUSH1 0x00
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: POP
00000332: PUSH2 0x02ce
00000335: PUSH2 0x033f
00000338: CALLDATASIZE
00000339: PUSH1 0x04
0000033b: PUSH2 0x2294
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x097c
00000343: JUMP
00000344: JUMPDEST
00000345: CALLVALUE
00000346: DUP1
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: PUSH2 0x0316
00000355: PUSH2 0x035f
00000358: CALLDATASIZE
00000359: PUSH1 0x04
0000035b: PUSH2 0x245a
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH1 0x00
00000362: SWAP1
00000363: DUP2
00000364: MSTORE
00000365: PUSH1 0x0b
00000367: PUSH1 0x20
00000369: MSTORE
0000036a: PUSH1 0x40
0000036c: SWAP1
0000036d: KECCAK256
0000036e: PUSH1 0x01
00000370: ADD
00000371: SLOAD
00000372: SWAP1
00000373: JUMP
00000374: JUMPDEST
00000375: CALLVALUE
00000376: DUP1
00000377: ISZERO
00000378: PUSH2 0x0380
0000037b: JUMPI
0000037c: PUSH1 0x00
0000037e: DUP1
0000037f: REVERT
00000380: JUMPDEST
00000381: POP
00000382: PUSH2 0x02ce
00000385: PUSH2 0x038f
00000388: CALLDATASIZE
00000389: PUSH1 0x04
0000038b: PUSH2 0x2472
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH2 0x09ad
00000393: JUMP
00000394: JUMPDEST
00000395: CALLVALUE
00000396: DUP1
00000397: ISZERO
00000398: PUSH2 0x03a0
0000039b: JUMPI
0000039c: PUSH1 0x00
0000039e: DUP1
0000039f: REVERT
000003a0: JUMPDEST
000003a1: POP
000003a2: PUSH2 0x0316
000003a5: PUSH2 0x03af
000003a8: CALLDATASIZE
000003a9: PUSH1 0x04
000003ab: PUSH2 0x2382
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x09d3
000003b3: JUMP
000003b4: JUMPDEST
000003b5: CALLVALUE
000003b6: DUP1
000003b7: ISZERO
000003b8: PUSH2 0x03c0
000003bb: JUMPI
000003bc: PUSH1 0x00
000003be: DUP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH2 0x02ce
000003c5: PUSH2 0x03cf
000003c8: CALLDATASIZE
000003c9: PUSH1 0x04
000003cb: PUSH2 0x2472
000003ce: JUMP
000003cf: JUMPDEST
000003d0: PUSH2 0x0a69
000003d3: JUMP
000003d4: JUMPDEST
000003d5: CALLVALUE
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: POP
000003e2: PUSH2 0x02ce
000003e5: PUSH2 0x0ae7
000003e8: JUMP
000003e9: JUMPDEST
000003ea: CALLVALUE
000003eb: DUP1
000003ec: ISZERO
000003ed: PUSH2 0x03f5
000003f0: JUMPI
000003f1: PUSH1 0x00
000003f3: DUP1
000003f4: REVERT
000003f5: JUMPDEST
000003f6: POP
000003f7: PUSH2 0x02ce
000003fa: PUSH2 0x0404
000003fd: CALLDATASIZE
000003fe: PUSH1 0x04
00000400: PUSH2 0x2294
00000403: JUMP
00000404: JUMPDEST
00000405: PUSH2 0x0b22
00000408: JUMP
00000409: JUMPDEST
0000040a: CALLVALUE
0000040b: DUP1
0000040c: ISZERO
0000040d: PUSH2 0x0415
00000410: JUMPI
00000411: PUSH1 0x00
00000413: DUP1
00000414: REVERT
00000415: JUMPDEST
00000416: POP
00000417: PUSH2 0x0316
0000041a: PUSH2 0x0424
0000041d: CALLDATASIZE
0000041e: PUSH1 0x04
00000420: PUSH2 0x245a
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH2 0x0b3d
00000428: JUMP
00000429: JUMPDEST
0000042a: CALLVALUE
0000042b: DUP1
0000042c: ISZERO
0000042d: PUSH2 0x0435
00000430: JUMPI
00000431: PUSH1 0x00
00000433: DUP1
00000434: REVERT
00000435: JUMPDEST
00000436: POP
00000437: PUSH2 0x02ce
0000043a: PUSH2 0x0444
0000043d: CALLDATASIZE
0000043e: PUSH1 0x04
00000440: PUSH2 0x24cc
00000443: JUMP
00000444: JUMPDEST
00000445: PUSH2 0x0bde
00000448: JUMP
00000449: JUMPDEST
0000044a: CALLVALUE
0000044b: DUP1
0000044c: ISZERO
0000044d: PUSH2 0x0455
00000450: JUMPI
00000451: PUSH1 0x00
00000453: DUP1
00000454: REVERT
00000455: JUMPDEST
00000456: POP
00000457: PUSH2 0x0296
0000045a: PUSH2 0x0464
0000045d: CALLDATASIZE
0000045e: PUSH1 0x04
00000460: PUSH2 0x245a
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH2 0x0bfd
00000468: JUMP
00000469: JUMPDEST
0000046a: CALLVALUE
0000046b: DUP1
0000046c: ISZERO
0000046d: PUSH2 0x0475
00000470: JUMPI
00000471: PUSH1 0x00
00000473: DUP1
00000474: REVERT
00000475: JUMPDEST
00000476: POP
00000477: PUSH2 0x0316
0000047a: PUSH2 0x0484
0000047d: CALLDATASIZE
0000047e: PUSH1 0x04
00000480: PUSH2 0x2248
00000483: JUMP
00000484: JUMPDEST
00000485: PUSH2 0x0c74
00000488: JUMP
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: DUP1
0000048c: ISZERO
0000048d: PUSH2 0x0495
00000490: JUMPI
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: POP
00000497: PUSH2 0x02ce
0000049a: PUSH2 0x0cfb
0000049d: JUMP
0000049e: JUMPDEST
0000049f: CALLVALUE
000004a0: DUP1
000004a1: ISZERO
000004a2: PUSH2 0x04aa
000004a5: JUMPI
000004a6: PUSH1 0x00
000004a8: DUP1
000004a9: REVERT
000004aa: JUMPDEST
000004ab: POP
000004ac: PUSH2 0x0316
000004af: PUSH32 0xdc72ed553f2544c34465af23b847953efeb813428162d767f9ba5f4013be6760
000004d0: DUP2
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 0x0316
000004e3: PUSH7 0xe08810adce0000
000004eb: DUP2
000004ec: JUMP
000004ed: JUMPDEST
000004ee: CALLVALUE
000004ef: DUP1
000004f0: ISZERO
000004f1: PUSH2 0x04f9
000004f4: JUMPI
000004f5: PUSH1 0x00
000004f7: DUP1
000004f8: REVERT
000004f9: JUMPDEST
000004fa: POP
000004fb: PUSH2 0x02ce
000004fe: PUSH2 0x0508
00000501: CALLDATASIZE
00000502: PUSH1 0x04
00000504: PUSH2 0x23ab
00000507: JUMP
00000508: JUMPDEST
00000509: PUSH2 0x0d25
0000050c: JUMP
0000050d: JUMPDEST
0000050e: CALLVALUE
0000050f: DUP1
00000510: ISZERO
00000511: PUSH2 0x0519
00000514: JUMPI
00000515: PUSH1 0x00
00000517: DUP1
00000518: REVERT
00000519: JUMPDEST
0000051a: POP
0000051b: PUSH2 0x023f
0000051e: PUSH2 0x0528
00000521: CALLDATASIZE
00000522: PUSH1 0x04
00000524: PUSH2 0x2472
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH2 0x0da7
0000052c: JUMP
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH2 0x0269
0000053e: PUSH2 0x0dd2
00000541: JUMP
00000542: JUMPDEST
00000543: CALLVALUE
00000544: DUP1
00000545: ISZERO
00000546: PUSH2 0x054e
00000549: JUMPI
0000054a: PUSH1 0x00
0000054c: DUP1
0000054d: REVERT
0000054e: JUMPDEST
0000054f: POP
00000550: PUSH2 0x0316
00000553: PUSH2 0x0de1
00000556: JUMP
00000557: JUMPDEST
00000558: CALLVALUE
00000559: DUP1
0000055a: ISZERO
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH1 0x00
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: POP
00000565: PUSH2 0x0316
00000568: PUSH1 0x00
0000056a: DUP2
0000056b: JUMP
0000056c: JUMPDEST
0000056d: CALLVALUE
0000056e: DUP1
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: POP
0000057a: PUSH2 0x02ce
0000057d: PUSH2 0x0587
00000580: CALLDATASIZE
00000581: PUSH1 0x04
00000583: PUSH2 0x2348
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH2 0x0e0c
0000058b: JUMP
0000058c: JUMPDEST
0000058d: CALLVALUE
0000058e: DUP1
0000058f: ISZERO
00000590: PUSH2 0x0598
00000593: JUMPI
00000594: PUSH1 0x00
00000596: DUP1
00000597: REVERT
00000598: JUMPDEST
00000599: POP
0000059a: PUSH2 0x0316
0000059d: PUSH1 0x0c
0000059f: SLOAD
000005a0: DUP2
000005a1: JUMP
000005a2: JUMPDEST
000005a3: CALLVALUE
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05ae
000005a9: JUMPI
000005aa: PUSH1 0x00
000005ac: DUP1
000005ad: REVERT
000005ae: JUMPDEST
000005af: POP
000005b0: PUSH2 0x0269
000005b3: PUSH2 0x0ed1
000005b6: JUMP
000005b7: JUMPDEST
000005b8: CALLVALUE
000005b9: DUP1
000005ba: ISZERO
000005bb: PUSH2 0x05c3
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: PUSH2 0x02ce
000005c8: PUSH2 0x05d2
000005cb: CALLDATASIZE
000005cc: PUSH1 0x04
000005ce: PUSH2 0x22cf
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x0f5f
000005d6: JUMP
000005d7: JUMPDEST
000005d8: CALLVALUE
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH2 0x0269
000005e8: PUSH2 0x05f2
000005eb: CALLDATASIZE
000005ec: PUSH1 0x04
000005ee: PUSH2 0x245a
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x0f91
000005f6: JUMP
000005f7: JUMPDEST
000005f8: CALLVALUE
000005f9: DUP1
000005fa: ISZERO
000005fb: PUSH2 0x0603
000005fe: JUMPI
000005ff: PUSH1 0x00
00000601: DUP1
00000602: REVERT
00000603: JUMPDEST
00000604: POP
00000605: PUSH2 0x02ce
00000608: PUSH2 0x0612
0000060b: CALLDATASIZE
0000060c: PUSH1 0x04
0000060e: PUSH2 0x2472
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH2 0x106c
00000616: JUMP
00000617: JUMPDEST
00000618: CALLVALUE
00000619: DUP1
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH2 0x02ce
00000628: PUSH2 0x1092
0000062b: JUMP
0000062c: JUMPDEST
0000062d: PUSH2 0x02ce
00000630: PUSH2 0x063a
00000633: CALLDATASIZE
00000634: PUSH1 0x04
00000636: PUSH2 0x245a
00000639: JUMP
0000063a: JUMPDEST
0000063b: PUSH2 0x10b3
0000063e: JUMP
0000063f: JUMPDEST
00000640: CALLVALUE
00000641: DUP1
00000642: ISZERO
00000643: PUSH2 0x064b
00000646: JUMPI
00000647: PUSH1 0x00
00000649: DUP1
0000064a: REVERT
0000064b: JUMPDEST
0000064c: POP
0000064d: PUSH2 0x023f
00000650: PUSH2 0x065a
00000653: CALLDATASIZE
00000654: PUSH1 0x04
00000656: PUSH2 0x2262
00000659: JUMP
0000065a: JUMPDEST
0000065b: PUSH1 0x01
0000065d: PUSH1 0x01
0000065f: PUSH1 0xa0
00000661: SHL
00000662: SUB
00000663: SWAP2
00000664: DUP3
00000665: AND
00000666: PUSH1 0x00
00000668: SWAP1
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x05
0000066d: PUSH1 0x20
0000066f: SWAP1
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x40
00000674: DUP1
00000675: DUP4
00000676: KECCAK256
00000677: SWAP4
00000678: SWAP1
00000679: SWAP5
0000067a: AND
0000067b: DUP3
0000067c: MSTORE
0000067d: SWAP2
0000067e: SWAP1
0000067f: SWAP2
00000680: MSTORE
00000681: KECCAK256
00000682: SLOAD
00000683: PUSH1 0xff
00000685: AND
00000686: SWAP1
00000687: JUMP
00000688: JUMPDEST
00000689: CALLVALUE
0000068a: DUP1
0000068b: ISZERO
0000068c: PUSH2 0x0694
0000068f: JUMPI
00000690: PUSH1 0x00
00000692: DUP1
00000693: REVERT
00000694: JUMPDEST
00000695: POP
00000696: PUSH1 0x0d
00000698: SLOAD
00000699: PUSH2 0x023f
0000069c: SWAP1
0000069d: PUSH1 0xff
0000069f: AND
000006a0: DUP2
000006a1: JUMP
000006a2: JUMPDEST
000006a3: CALLVALUE
000006a4: DUP1
000006a5: ISZERO
000006a6: PUSH2 0x06ae
000006a9: JUMPI
000006aa: PUSH1 0x00
000006ac: DUP1
000006ad: REVERT
000006ae: JUMPDEST
000006af: POP
000006b0: PUSH1 0x0d
000006b2: SLOAD
000006b3: PUSH2 0x023f
000006b6: SWAP1
000006b7: PUSH2 0x0100
000006ba: SWAP1
000006bb: DIV
000006bc: PUSH1 0xff
000006be: AND
000006bf: DUP2
000006c0: JUMP
000006c1: JUMPDEST
000006c2: PUSH1 0x00
000006c4: PUSH2 0x06cc
000006c7: DUP3
000006c8: PUSH2 0x13c4
000006cb: JUMP
000006cc: JUMPDEST
000006cd: SWAP3
000006ce: SWAP2
000006cf: POP
000006d0: POP
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x60
000006d5: PUSH1 0x00
000006d7: DUP1
000006d8: SLOAD
000006d9: PUSH2 0x06e1
000006dc: SWAP1
000006dd: PUSH2 0x27ab
000006e0: JUMP
000006e1: JUMPDEST
000006e2: DUP1
000006e3: PUSH1 0x1f
000006e5: ADD
000006e6: PUSH1 0x20
000006e8: DUP1
000006e9: SWAP2
000006ea: DIV
000006eb: MUL
000006ec: PUSH1 0x20
000006ee: ADD
000006ef: PUSH1 0x40
000006f1: MLOAD
000006f2: SWAP1
000006f3: DUP2
000006f4: ADD
000006f5: PUSH1 0x40
000006f7: MSTORE
000006f8: DUP1
000006f9: SWAP3
000006fa: SWAP2
000006fb: SWAP1
000006fc: DUP2
000006fd: DUP2
000006fe: MSTORE
000006ff: PUSH1 0x20
00000701: ADD
00000702: DUP3
00000703: DUP1
00000704: SLOAD
00000705: PUSH2 0x070d
00000708: SWAP1
00000709: PUSH2 0x27ab
0000070c: JUMP
0000070d: JUMPDEST
0000070e: DUP1
0000070f: ISZERO
00000710: PUSH2 0x075a
00000713: JUMPI
00000714: DUP1
00000715: PUSH1 0x1f
00000717: LT
00000718: PUSH2 0x072f
0000071b: JUMPI
0000071c: PUSH2 0x0100
0000071f: DUP1
00000720: DUP4
00000721: SLOAD
00000722: DIV
00000723: MUL
00000724: DUP4
00000725: MSTORE
00000726: SWAP2
00000727: PUSH1 0x20
00000729: ADD
0000072a: SWAP2
0000072b: PUSH2 0x075a
0000072e: JUMP
0000072f: JUMPDEST
00000730: DUP3
00000731: ADD
00000732: SWAP2
00000733: SWAP1
00000734: PUSH1 0x00
00000736: MSTORE
00000737: PUSH1 0x20
00000739: PUSH1 0x00
0000073b: KECCAK256
0000073c: SWAP1
0000073d: JUMPDEST
0000073e: DUP2
0000073f: SLOAD
00000740: DUP2
00000741: MSTORE
00000742: SWAP1
00000743: PUSH1 0x01
00000745: ADD
00000746: SWAP1
00000747: PUSH1 0x20
00000749: ADD
0000074a: DUP1
0000074b: DUP4
0000074c: GT
0000074d: PUSH2 0x073d
00000750: JUMPI
00000751: DUP3
00000752: SWAP1
00000753: SUB
00000754: PUSH1 0x1f
00000756: AND
00000757: DUP3
00000758: ADD
00000759: SWAP2
0000075a: JUMPDEST
0000075b: POP
0000075c: POP
0000075d: POP
0000075e: POP
0000075f: POP
00000760: SWAP1
00000761: POP
00000762: SWAP1
00000763: JUMP
00000764: JUMPDEST
00000765: PUSH1 0x00
00000767: DUP2
00000768: DUP2
00000769: MSTORE
0000076a: PUSH1 0x02
0000076c: PUSH1 0x20
0000076e: MSTORE
0000076f: PUSH1 0x40
00000771: DUP2
00000772: KECCAK256
00000773: SLOAD
00000774: PUSH1 0x01
00000776: PUSH1 0x01
00000778: PUSH1 0xa0
0000077a: SHL
0000077b: SUB
0000077c: AND
0000077d: PUSH2 0x07e2
00000780: JUMPI
00000781: PUSH1 0x40
00000783: MLOAD
00000784: PUSH3 0x461bcd
00000788: PUSH1 0xe5
0000078a: SHL
0000078b: DUP2
0000078c: MSTORE
0000078d: PUSH1 0x20
0000078f: PUSH1 0x04
00000791: DUP3
00000792: ADD
00000793: MSTORE
00000794: PUSH1 0x2c
00000796: PUSH1 0x24
00000798: DUP3
00000799: ADD
0000079a: MSTORE
0000079b: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
000007bc: PUSH1 0x44
000007be: DUP3
000007bf: ADD
000007c0: MSTORE
000007c1: PUSH12 0x34b9ba32b73a103a37b5b2b7
000007ce: PUSH1 0xa1
000007d0: SHL
000007d1: PUSH1 0x64
000007d3: DUP3
000007d4: ADD
000007d5: MSTORE
000007d6: PUSH1 0x84
000007d8: ADD
000007d9: JUMPDEST
000007da: PUSH1 0x40
000007dc: MLOAD
000007dd: DUP1
000007de: SWAP2
000007df: SUB
000007e0: SWAP1
000007e1: REVERT
000007e2: JUMPDEST
000007e3: POP
000007e4: PUSH1 0x00
000007e6: SWAP1
000007e7: DUP2
000007e8: MSTORE
000007e9: PUSH1 0x04
000007eb: PUSH1 0x20
000007ed: MSTORE
000007ee: PUSH1 0x40
000007f0: SWAP1
000007f1: KECCAK256
000007f2: SLOAD
000007f3: PUSH1 0x01
000007f5: PUSH1 0x01
000007f7: PUSH1 0xa0
000007f9: SHL
000007fa: SUB
000007fb: AND
000007fc: SWAP1
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH1 0x00
00000801: PUSH2 0x0809
00000804: DUP3
00000805: PUSH2 0x0bfd
00000808: JUMP
00000809: JUMPDEST
0000080a: SWAP1
0000080b: POP
0000080c: DUP1
0000080d: PUSH1 0x01
0000080f: PUSH1 0x01
00000811: PUSH1 0xa0
00000813: SHL
00000814: SUB
00000815: AND
00000816: DUP4
00000817: PUSH1 0x01
00000819: PUSH1 0x01
0000081b: PUSH1 0xa0
0000081d: SHL
0000081e: SUB
0000081f: AND
00000820: EQ
00000821: ISZERO
00000822: PUSH2 0x0877
00000825: JUMPI
00000826: PUSH1 0x40
00000828: MLOAD
00000829: PUSH3 0x461bcd
0000082d: PUSH1 0xe5
0000082f: SHL
00000830: DUP2
00000831: MSTORE
00000832: PUSH1 0x20
00000834: PUSH1 0x04
00000836: DUP3
00000837: ADD
00000838: MSTORE
00000839: PUSH1 0x21
0000083b: PUSH1 0x24
0000083d: DUP3
0000083e: ADD
0000083f: MSTORE
00000840: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000861: PUSH1 0x44
00000863: DUP3
00000864: ADD
00000865: MSTORE
00000866: PUSH1 0x39
00000868: PUSH1 0xf9
0000086a: SHL
0000086b: PUSH1 0x64
0000086d: DUP3
0000086e: ADD
0000086f: MSTORE
00000870: PUSH1 0x84
00000872: ADD
00000873: PUSH2 0x07d9
00000876: JUMP
00000877: JUMPDEST
00000878: CALLER
00000879: PUSH1 0x01
0000087b: PUSH1 0x01
0000087d: PUSH1 0xa0
0000087f: SHL
00000880: SUB
00000881: DUP3
00000882: AND
00000883: EQ
00000884: DUP1
00000885: PUSH2 0x0893
00000888: JUMPI
00000889: POP
0000088a: PUSH2 0x0893
0000088d: DUP2
0000088e: CALLER
0000088f: PUSH2 0x065a
00000892: JUMP
00000893: JUMPDEST
00000894: PUSH2 0x0905
00000897: JUMPI
00000898: PUSH1 0x40
0000089a: MLOAD
0000089b: PUSH3 0x461bcd
0000089f: PUSH1 0xe5
000008a1: SHL
000008a2: DUP2
000008a3: MSTORE
000008a4: PUSH1 0x20
000008a6: PUSH1 0x04
000008a8: DUP3
000008a9: ADD
000008aa: MSTORE
000008ab: PUSH1 0x38
000008ad: PUSH1 0x24
000008af: DUP3
000008b0: ADD
000008b1: MSTORE
000008b2: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
000008d3: PUSH1 0x44
000008d5: DUP3
000008d6: ADD
000008d7: MSTORE
000008d8: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
000008f9: PUSH1 0x64
000008fb: DUP3
000008fc: ADD
000008fd: MSTORE
000008fe: PUSH1 0x84
00000900: ADD
00000901: PUSH2 0x07d9
00000904: JUMP
00000905: JUMPDEST
00000906: PUSH2 0x090f
00000909: DUP4
0000090a: DUP4
0000090b: PUSH2 0x13e9
0000090e: JUMP
0000090f: JUMPDEST
00000910: POP
00000911: POP
00000912: POP
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x00
00000917: PUSH2 0x0920
0000091a: DUP2
0000091b: CALLER
0000091c: PUSH2 0x1457
0000091f: JUMP
00000920: JUMPDEST
00000921: PUSH1 0x00
00000923: PUSH2 0x092b
00000926: PUSH1 0x08
00000928: SLOAD
00000929: SWAP1
0000092a: JUMP
0000092b: JUMPDEST
0000092c: SWAP1
0000092d: POP
0000092e: PUSH1 0x01
00000930: JUMPDEST
00000931: PUSH1 0xc8
00000933: DUP2
00000934: GT
00000935: PUSH2 0x090f
00000938: JUMPI
00000939: PUSH2 0x094b
0000093c: CALLER
0000093d: PUSH2 0x0946
00000940: DUP4
00000941: DUP6
00000942: PUSH2 0x2706
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH2 0x14bb
0000094a: JUMP
0000094b: JUMPDEST
0000094c: DUP1
0000094d: PUSH2 0x0955
00000950: DUP2
00000951: PUSH2 0x27e6
00000954: JUMP
00000955: JUMPDEST
00000956: SWAP2
00000957: POP
00000958: POP
00000959: PUSH2 0x0930
0000095c: JUMP
0000095d: JUMPDEST
0000095e: PUSH1 0x00
00000960: PUSH2 0x0969
00000963: DUP2
00000964: CALLER
00000965: PUSH2 0x1457
00000968: JUMP
00000969: JUMPDEST
0000096a: DUP2
0000096b: MLOAD
0000096c: PUSH2 0x090f
0000096f: SWAP1
00000970: PUSH1 0x0f
00000972: SWAP1
00000973: PUSH1 0x20
00000975: DUP6
00000976: ADD
00000977: SWAP1
00000978: PUSH2 0x213b
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH2 0x0986
00000980: CALLER
00000981: DUP3
00000982: PUSH2 0x14d5
00000985: JUMP
00000986: JUMPDEST
00000987: PUSH2 0x09a2
0000098a: JUMPI
0000098b: PUSH1 0x40
0000098d: MLOAD
0000098e: PUSH3 0x461bcd
00000992: PUSH1 0xe5
00000994: SHL
00000995: DUP2
00000996: MSTORE
00000997: PUSH1 0x04
00000999: ADD
0000099a: PUSH2 0x07d9
0000099d: SWAP1
0000099e: PUSH2 0x2684
000009a1: JUMP
000009a2: JUMPDEST
000009a3: PUSH2 0x090f
000009a6: DUP4
000009a7: DUP4
000009a8: DUP4
000009a9: PUSH2 0x15cc
000009ac: JUMP
000009ad: JUMPDEST
000009ae: PUSH1 0x00
000009b0: DUP3
000009b1: DUP2
000009b2: MSTORE
000009b3: PUSH1 0x0b
000009b5: PUSH1 0x20
000009b7: MSTORE
000009b8: PUSH1 0x40
000009ba: SWAP1
000009bb: KECCAK256
000009bc: PUSH1 0x01
000009be: ADD
000009bf: SLOAD
000009c0: PUSH2 0x09c9
000009c3: DUP2
000009c4: CALLER
000009c5: PUSH2 0x1457
000009c8: JUMP
000009c9: JUMPDEST
000009ca: PUSH2 0x090f
000009cd: DUP4
000009ce: DUP4
000009cf: PUSH2 0x1777
000009d2: JUMP
000009d3: JUMPDEST
000009d4: PUSH1 0x00
000009d6: PUSH2 0x09de
000009d9: DUP4
000009da: PUSH2 0x0c74
000009dd: JUMP
000009de: JUMPDEST
000009df: DUP3
000009e0: LT
000009e1: PUSH2 0x0a40
000009e4: JUMPI
000009e5: PUSH1 0x40
000009e7: MLOAD
000009e8: PUSH3 0x461bcd
000009ec: PUSH1 0xe5
000009ee: SHL
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x20
000009f3: PUSH1 0x04
000009f5: DUP3
000009f6: ADD
000009f7: MSTORE
000009f8: PUSH1 0x2b
000009fa: PUSH1 0x24
000009fc: DUP3
000009fd: ADD
000009fe: MSTORE
000009ff: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
00000a20: PUSH1 0x44
00000a22: DUP3
00000a23: ADD
00000a24: MSTORE
00000a25: PUSH11 0x74206f6620626f756e6473
00000a31: PUSH1 0xa8
00000a33: SHL
00000a34: PUSH1 0x64
00000a36: DUP3
00000a37: ADD
00000a38: MSTORE
00000a39: PUSH1 0x84
00000a3b: ADD
00000a3c: PUSH2 0x07d9
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: POP
00000a42: PUSH1 0x01
00000a44: PUSH1 0x01
00000a46: PUSH1 0xa0
00000a48: SHL
00000a49: SUB
00000a4a: SWAP2
00000a4b: SWAP1
00000a4c: SWAP2
00000a4d: AND
00000a4e: PUSH1 0x00
00000a50: SWAP1
00000a51: DUP2
00000a52: MSTORE
00000a53: PUSH1 0x06
00000a55: PUSH1 0x20
00000a57: SWAP1
00000a58: DUP2
00000a59: MSTORE
00000a5a: PUSH1 0x40
00000a5c: DUP1
00000a5d: DUP4
00000a5e: KECCAK256
00000a5f: SWAP4
00000a60: DUP4
00000a61: MSTORE
00000a62: SWAP3
00000a63: SWAP1
00000a64: MSTORE
00000a65: KECCAK256
00000a66: SLOAD
00000a67: SWAP1
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0x01
00000a6e: PUSH1 0xa0
00000a70: SHL
00000a71: SUB
00000a72: DUP2
00000a73: AND
00000a74: CALLER
00000a75: EQ
00000a76: PUSH2 0x0ad9
00000a79: JUMPI
00000a7a: PUSH1 0x40
00000a7c: MLOAD
00000a7d: PUSH3 0x461bcd
00000a81: PUSH1 0xe5
00000a83: SHL
00000a84: DUP2
00000a85: MSTORE
00000a86: PUSH1 0x20
00000a88: PUSH1 0x04
00000a8a: DUP3
00000a8b: ADD
00000a8c: MSTORE
00000a8d: PUSH1 0x2f
00000a8f: PUSH1 0x24
00000a91: DUP3
00000a92: ADD
00000a93: MSTORE
00000a94: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
00000ab5: PUSH1 0x44
00000ab7: DUP3
00000ab8: ADD
00000ab9: MSTORE
00000aba: PUSH15 0x103937b632b9903337b91039b2b633
00000aca: PUSH1 0x89
00000acc: SHL
00000acd: PUSH1 0x64
00000acf: DUP3
00000ad0: ADD
00000ad1: MSTORE
00000ad2: PUSH1 0x84
00000ad4: ADD
00000ad5: PUSH2 0x07d9
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: PUSH2 0x0ae3
00000add: DUP3
00000ade: DUP3
00000adf: PUSH2 0x17fd
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: POP
00000ae5: POP
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: PUSH1 0x00
00000aea: PUSH2 0x0af3
00000aed: DUP2
00000aee: CALLER
00000aef: PUSH2 0x1457
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH1 0x40
00000af6: MLOAD
00000af7: SELFBALANCE
00000af8: SWAP1
00000af9: CALLER
00000afa: SWAP1
00000afb: DUP3
00000afc: ISZERO
00000afd: PUSH2 0x08fc
00000b00: MUL
00000b01: SWAP1
00000b02: DUP4
00000b03: SWAP1
00000b04: PUSH1 0x00
00000b06: DUP2
00000b07: DUP2
00000b08: DUP2
00000b09: DUP6
00000b0a: DUP9
00000b0b: DUP9
00000b0c: CALL
00000b0d: SWAP4
00000b0e: POP
00000b0f: POP
00000b10: POP
00000b11: POP
00000b12: ISZERO
00000b13: DUP1
00000b14: ISZERO
00000b15: PUSH2 0x090f
00000b18: JUMPI
00000b19: RETURNDATASIZE
00000b1a: PUSH1 0x00
00000b1c: DUP1
00000b1d: RETURNDATACOPY
00000b1e: RETURNDATASIZE
00000b1f: PUSH1 0x00
00000b21: REVERT
00000b22: JUMPDEST
00000b23: PUSH2 0x090f
00000b26: DUP4
00000b27: DUP4
00000b28: DUP4
00000b29: PUSH1 0x40
00000b2b: MLOAD
00000b2c: DUP1
00000b2d: PUSH1 0x20
00000b2f: ADD
00000b30: PUSH1 0x40
00000b32: MSTORE
00000b33: DUP1
00000b34: PUSH1 0x00
00000b36: DUP2
00000b37: MSTORE
00000b38: POP
00000b39: PUSH2 0x0f5f
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH1 0x00
00000b40: PUSH2 0x0b48
00000b43: PUSH1 0x08
00000b45: SLOAD
00000b46: SWAP1
00000b47: JUMP
00000b48: JUMPDEST
00000b49: DUP3
00000b4a: LT
00000b4b: PUSH2 0x0bab
00000b4e: JUMPI
00000b4f: PUSH1 0x40
00000b51: MLOAD
00000b52: PUSH3 0x461bcd
00000b56: PUSH1 0xe5
00000b58: SHL
00000b59: DUP2
00000b5a: MSTORE
00000b5b: PUSH1 0x20
00000b5d: PUSH1 0x04
00000b5f: DUP3
00000b60: ADD
00000b61: MSTORE
00000b62: PUSH1 0x2c
00000b64: PUSH1 0x24
00000b66: DUP3
00000b67: ADD
00000b68: MSTORE
00000b69: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00000b8a: PUSH1 0x44
00000b8c: DUP3
00000b8d: ADD
00000b8e: MSTORE
00000b8f: PUSH12 0x7574206f6620626f756e6473
00000b9c: PUSH1 0xa0
00000b9e: SHL
00000b9f: PUSH1 0x64
00000ba1: DUP3
00000ba2: ADD
00000ba3: MSTORE
00000ba4: PUSH1 0x84
00000ba6: ADD
00000ba7: PUSH2 0x07d9
00000baa: JUMP
00000bab: JUMPDEST
00000bac: PUSH1 0x08
00000bae: DUP3
00000baf: DUP2
00000bb0: SLOAD
00000bb1: DUP2
00000bb2: LT
00000bb3: PUSH2 0x0bcc
00000bb6: JUMPI
00000bb7: PUSH4 0x4e487b71
00000bbc: PUSH1 0xe0
00000bbe: SHL
00000bbf: PUSH1 0x00
00000bc1: MSTORE
00000bc2: PUSH1 0x32
00000bc4: PUSH1 0x04
00000bc6: MSTORE
00000bc7: PUSH1 0x24
00000bc9: PUSH1 0x00
00000bcb: REVERT
00000bcc: JUMPDEST
00000bcd: SWAP1
00000bce: PUSH1 0x00
00000bd0: MSTORE
00000bd1: PUSH1 0x20
00000bd3: PUSH1 0x00
00000bd5: KECCAK256
00000bd6: ADD
00000bd7: SLOAD
00000bd8: SWAP1
00000bd9: POP
00000bda: SWAP2
00000bdb: SWAP1
00000bdc: POP
00000bdd: JUMP
00000bde: JUMPDEST
00000bdf: PUSH1 0x00
00000be1: PUSH2 0x0bea
00000be4: DUP2
00000be5: CALLER
00000be6: PUSH2 0x1457
00000be9: JUMP
00000bea: JUMPDEST
00000beb: DUP2
00000bec: MLOAD
00000bed: PUSH2 0x090f
00000bf0: SWAP1
00000bf1: PUSH1 0x0e
00000bf3: SWAP1
00000bf4: PUSH1 0x20
00000bf6: DUP6
00000bf7: ADD
00000bf8: SWAP1
00000bf9: PUSH2 0x213b
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: PUSH1 0x00
00000c00: DUP2
00000c01: DUP2
00000c02: MSTORE
00000c03: PUSH1 0x02
00000c05: PUSH1 0x20
00000c07: MSTORE
00000c08: PUSH1 0x40
00000c0a: DUP2
00000c0b: KECCAK256
00000c0c: SLOAD
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0x01
00000c11: PUSH1 0xa0
00000c13: SHL
00000c14: SUB
00000c15: AND
00000c16: DUP1
00000c17: PUSH2 0x06cc
00000c1a: JUMPI
00000c1b: PUSH1 0x40
00000c1d: MLOAD
00000c1e: PUSH3 0x461bcd
00000c22: PUSH1 0xe5
00000c24: SHL
00000c25: DUP2
00000c26: MSTORE
00000c27: PUSH1 0x20
00000c29: PUSH1 0x04
00000c2b: DUP3
00000c2c: ADD
00000c2d: MSTORE
00000c2e: PUSH1 0x29
00000c30: PUSH1 0x24
00000c32: DUP3
00000c33: ADD
00000c34: MSTORE
00000c35: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
00000c56: PUSH1 0x44
00000c58: DUP3
00000c59: ADD
00000c5a: MSTORE
00000c5b: PUSH9 0x32b73a103a37b5b2b7
00000c65: PUSH1 0xb9
00000c67: SHL
00000c68: PUSH1 0x64
00000c6a: DUP3
00000c6b: ADD
00000c6c: MSTORE
00000c6d: PUSH1 0x84
00000c6f: ADD
00000c70: PUSH2 0x07d9
00000c73: JUMP
00000c74: JUMPDEST
00000c75: PUSH1 0x00
00000c77: PUSH1 0x01
00000c79: PUSH1 0x01
00000c7b: PUSH1 0xa0
00000c7d: SHL
00000c7e: SUB
00000c7f: DUP3
00000c80: AND
00000c81: PUSH2 0x0cdf
00000c84: JUMPI
00000c85: PUSH1 0x40
00000c87: MLOAD
00000c88: PUSH3 0x461bcd
00000c8c: PUSH1 0xe5
00000c8e: SHL
00000c8f: DUP2
00000c90: MSTORE
00000c91: PUSH1 0x20
00000c93: PUSH1 0x04
00000c95: DUP3
00000c96: ADD
00000c97: MSTORE
00000c98: PUSH1 0x2a
00000c9a: PUSH1 0x24
00000c9c: DUP3
00000c9d: ADD
00000c9e: MSTORE
00000c9f: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
00000cc0: PUSH1 0x44
00000cc2: DUP3
00000cc3: ADD
00000cc4: MSTORE
00000cc5: PUSH10 0x726f2061646472657373
00000cd0: PUSH1 0xb0
00000cd2: SHL
00000cd3: PUSH1 0x64
00000cd5: DUP3
00000cd6: ADD
00000cd7: MSTORE
00000cd8: PUSH1 0x84
00000cda: ADD
00000cdb: PUSH2 0x07d9
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: POP
00000ce1: PUSH1 0x01
00000ce3: PUSH1 0x01
00000ce5: PUSH1 0xa0
00000ce7: SHL
00000ce8: SUB
00000ce9: AND
00000cea: PUSH1 0x00
00000cec: SWAP1
00000ced: DUP2
00000cee: MSTORE
00000cef: PUSH1 0x03
00000cf1: PUSH1 0x20
00000cf3: MSTORE
00000cf4: PUSH1 0x40
00000cf6: SWAP1
00000cf7: KECCAK256
00000cf8: SLOAD
00000cf9: SWAP1
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: PUSH1 0x00
00000cfe: PUSH2 0x0d07
00000d01: DUP2
00000d02: CALLER
00000d03: PUSH2 0x1457
00000d06: JUMP
00000d07: JUMPDEST
00000d08: POP
00000d09: PUSH1 0x0d
00000d0b: DUP1
00000d0c: SLOAD
00000d0d: PUSH2 0xff00
00000d10: NOT
00000d11: DUP2
00000d12: AND
00000d13: PUSH2 0x0100
00000d16: SWAP2
00000d17: DUP3
00000d18: SWAP1
00000d19: DIV
00000d1a: PUSH1 0xff
00000d1c: AND
00000d1d: ISZERO
00000d1e: SWAP1
00000d1f: SWAP2
00000d20: MUL
00000d21: OR
00000d22: SWAP1
00000d23: SSTORE
00000d24: JUMP
00000d25: JUMPDEST
00000d26: PUSH1 0x00
00000d28: PUSH2 0x0d31
00000d2b: DUP2
00000d2c: CALLER
00000d2d: PUSH2 0x1457
00000d30: JUMP
00000d31: JUMPDEST
00000d32: DUP2
00000d33: MLOAD
00000d34: PUSH1 0x00
00000d36: JUMPDEST
00000d37: DUP2
00000d38: DUP2
00000d39: LT
00000d3a: ISZERO
00000d3b: PUSH2 0x0da1
00000d3e: JUMPI
00000d3f: PUSH2 0x0d8f
00000d42: PUSH32 0xdc72ed553f2544c34465af23b847953efeb813428162d767f9ba5f4013be6760
00000d63: DUP6
00000d64: DUP4
00000d65: DUP2
00000d66: MLOAD
00000d67: DUP2
00000d68: LT
00000d69: PUSH2 0x0d82
00000d6c: JUMPI
00000d6d: PUSH4 0x4e487b71
00000d72: PUSH1 0xe0
00000d74: SHL
00000d75: PUSH1 0x00
00000d77: MSTORE
00000d78: PUSH1 0x32
00000d7a: PUSH1 0x04
00000d7c: MSTORE
00000d7d: PUSH1 0x24
00000d7f: PUSH1 0x00
00000d81: REVERT
00000d82: JUMPDEST
00000d83: PUSH1 0x20
00000d85: MUL
00000d86: PUSH1 0x20
00000d88: ADD
00000d89: ADD
00000d8a: MLOAD
00000d8b: PUSH2 0x09ad
00000d8e: JUMP
00000d8f: JUMPDEST
00000d90: DUP1
00000d91: PUSH2 0x0d99
00000d94: DUP2
00000d95: PUSH2 0x27e6
00000d98: JUMP
00000d99: JUMPDEST
00000d9a: SWAP2
00000d9b: POP
00000d9c: POP
00000d9d: PUSH2 0x0d36
00000da0: JUMP
00000da1: JUMPDEST
00000da2: POP
00000da3: POP
00000da4: POP
00000da5: POP
00000da6: JUMP
00000da7: JUMPDEST
00000da8: PUSH1 0x00
00000daa: SWAP2
00000dab: DUP3
00000dac: MSTORE
00000dad: PUSH1 0x0b
00000daf: PUSH1 0x20
00000db1: SWAP1
00000db2: DUP2
00000db3: MSTORE
00000db4: PUSH1 0x40
00000db6: DUP1
00000db7: DUP5
00000db8: KECCAK256
00000db9: PUSH1 0x01
00000dbb: PUSH1 0x01
00000dbd: PUSH1 0xa0
00000dbf: SHL
00000dc0: SUB
00000dc1: SWAP4
00000dc2: SWAP1
00000dc3: SWAP4
00000dc4: AND
00000dc5: DUP5
00000dc6: MSTORE
00000dc7: SWAP2
00000dc8: SWAP1
00000dc9: MSTORE
00000dca: SWAP1
00000dcb: KECCAK256
00000dcc: SLOAD
00000dcd: PUSH1 0xff
00000dcf: AND
00000dd0: SWAP1
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: PUSH1 0x60
00000dd5: PUSH1 0x01
00000dd7: DUP1
00000dd8: SLOAD
00000dd9: PUSH2 0x06e1
00000ddc: SWAP1
00000ddd: PUSH2 0x27ab
00000de0: JUMP
00000de1: JUMPDEST
00000de2: PUSH1 0x00
00000de4: PUSH2 0x10f4
00000de7: PUSH2 0x0dfa
00000dea: PUSH1 0x0c
00000dec: SLOAD
00000ded: PUSH2 0x0df5
00000df0: PUSH1 0x08
00000df2: SLOAD
00000df3: SWAP1
00000df4: JUMP
00000df5: JUMPDEST
00000df6: PUSH2 0x1864
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: LT
00000dfc: ISZERO
00000dfd: PUSH2 0x0e06
00000e00: JUMPI
00000e01: POP
00000e02: PUSH1 0x03
00000e04: SWAP1
00000e05: JUMP
00000e06: JUMPDEST
00000e07: POP
00000e08: PUSH1 0x05
00000e0a: SWAP1
00000e0b: JUMP
00000e0c: JUMPDEST
00000e0d: PUSH1 0x01
00000e0f: PUSH1 0x01
00000e11: PUSH1 0xa0
00000e13: SHL
00000e14: SUB
00000e15: DUP3
00000e16: AND
00000e17: CALLER
00000e18: EQ
00000e19: ISZERO
00000e1a: PUSH2 0x0e65
00000e1d: JUMPI
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: PUSH3 0x461bcd
00000e25: PUSH1 0xe5
00000e27: SHL
00000e28: DUP2
00000e29: MSTORE
00000e2a: PUSH1 0x20
00000e2c: PUSH1 0x04
00000e2e: DUP3
00000e2f: ADD
00000e30: MSTORE
00000e31: PUSH1 0x19
00000e33: PUSH1 0x24
00000e35: DUP3
00000e36: ADD
00000e37: MSTORE
00000e38: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00000e59: PUSH1 0x44
00000e5b: DUP3
00000e5c: ADD
00000e5d: MSTORE
00000e5e: PUSH1 0x64
00000e60: ADD
00000e61: PUSH2 0x07d9
00000e64: JUMP
00000e65: JUMPDEST
00000e66: CALLER
00000e67: PUSH1 0x00
00000e69: DUP2
00000e6a: DUP2
00000e6b: MSTORE
00000e6c: PUSH1 0x05
00000e6e: PUSH1 0x20
00000e70: SWAP1
00000e71: DUP2
00000e72: MSTORE
00000e73: PUSH1 0x40
00000e75: DUP1
00000e76: DUP4
00000e77: KECCAK256
00000e78: PUSH1 0x01
00000e7a: PUSH1 0x01
00000e7c: PUSH1 0xa0
00000e7e: SHL
00000e7f: SUB
00000e80: DUP8
00000e81: AND
00000e82: DUP1
00000e83: DUP6
00000e84: MSTORE
00000e85: SWAP1
00000e86: DUP4
00000e87: MSTORE
00000e88: SWAP3
00000e89: DUP2
00000e8a: SWAP1
00000e8b: KECCAK256
00000e8c: DUP1
00000e8d: SLOAD
00000e8e: PUSH1 0xff
00000e90: NOT
00000e91: AND
00000e92: DUP7
00000e93: ISZERO
00000e94: ISZERO
00000e95: SWAP1
00000e96: DUP2
00000e97: OR
00000e98: SWAP1
00000e99: SWAP2
00000e9a: SSTORE
00000e9b: SWAP1
00000e9c: MLOAD
00000e9d: SWAP1
00000e9e: DUP2
00000e9f: MSTORE
00000ea0: SWAP2
00000ea1: SWAP3
00000ea2: SWAP2
00000ea3: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00000ec4: SWAP2
00000ec5: ADD
00000ec6: PUSH1 0x40
00000ec8: MLOAD
00000ec9: DUP1
00000eca: SWAP2
00000ecb: SUB
00000ecc: SWAP1
00000ecd: LOG3
00000ece: POP
00000ecf: POP
00000ed0: JUMP
00000ed1: JUMPDEST
00000ed2: PUSH1 0x0f
00000ed4: DUP1
00000ed5: SLOAD
00000ed6: PUSH2 0x0ede
00000ed9: SWAP1
00000eda: PUSH2 0x27ab
00000edd: JUMP
00000ede: JUMPDEST
00000edf: DUP1
00000ee0: PUSH1 0x1f
00000ee2: ADD
00000ee3: PUSH1 0x20
00000ee5: DUP1
00000ee6: SWAP2
00000ee7: DIV
00000ee8: MUL
00000ee9: PUSH1 0x20
00000eeb: ADD
00000eec: PUSH1 0x40
00000eee: MLOAD
00000eef: SWAP1
00000ef0: DUP2
00000ef1: ADD
00000ef2: PUSH1 0x40
00000ef4: MSTORE
00000ef5: DUP1
00000ef6: SWAP3
00000ef7: SWAP2
00000ef8: SWAP1
00000ef9: DUP2
00000efa: DUP2
00000efb: MSTORE
00000efc: PUSH1 0x20
00000efe: ADD
00000eff: DUP3
00000f00: DUP1
00000f01: SLOAD
00000f02: PUSH2 0x0f0a
00000f05: SWAP1
00000f06: PUSH2 0x27ab
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: DUP1
00000f0c: ISZERO
00000f0d: PUSH2 0x0f57
00000f10: JUMPI
00000f11: DUP1
00000f12: PUSH1 0x1f
00000f14: LT
00000f15: PUSH2 0x0f2c
00000f18: JUMPI
00000f19: PUSH2 0x0100
00000f1c: DUP1
00000f1d: DUP4
00000f1e: SLOAD
00000f1f: DIV
00000f20: MUL
00000f21: DUP4
00000f22: MSTORE
00000f23: SWAP2
00000f24: PUSH1 0x20
00000f26: ADD
00000f27: SWAP2
00000f28: PUSH2 0x0f57
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: DUP3
00000f2e: ADD
00000f2f: SWAP2
00000f30: SWAP1
00000f31: PUSH1 0x00
00000f33: MSTORE
00000f34: PUSH1 0x20
00000f36: PUSH1 0x00
00000f38: KECCAK256
00000f39: SWAP1
00000f3a: JUMPDEST
00000f3b: DUP2
00000f3c: SLOAD
00000f3d: DUP2
00000f3e: MSTORE
00000f3f: SWAP1
00000f40: PUSH1 0x01
00000f42: ADD
00000f43: SWAP1
00000f44: PUSH1 0x20
00000f46: ADD
00000f47: DUP1
00000f48: DUP4
00000f49: GT
00000f4a: PUSH2 0x0f3a
00000f4d: JUMPI
00000f4e: DUP3
00000f4f: SWAP1
00000f50: SUB
00000f51: PUSH1 0x1f
00000f53: AND
00000f54: DUP3
00000f55: ADD
00000f56: SWAP2
00000f57: JUMPDEST
00000f58: POP
00000f59: POP
00000f5a: POP
00000f5b: POP
00000f5c: POP
00000f5d: DUP2
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH2 0x0f69
00000f63: CALLER
00000f64: DUP4
00000f65: PUSH2 0x14d5
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: PUSH2 0x0f85
00000f6d: JUMPI
00000f6e: PUSH1 0x40
00000f70: MLOAD
00000f71: PUSH3 0x461bcd
00000f75: PUSH1 0xe5
00000f77: SHL
00000f78: DUP2
00000f79: MSTORE
00000f7a: PUSH1 0x04
00000f7c: ADD
00000f7d: PUSH2 0x07d9
00000f80: SWAP1
00000f81: PUSH2 0x2684
00000f84: JUMP
00000f85: JUMPDEST
00000f86: PUSH2 0x0da1
00000f89: DUP5
00000f8a: DUP5
00000f8b: DUP5
00000f8c: DUP5
00000f8d: PUSH2 0x1870
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH1 0x00
00000f94: DUP2
00000f95: DUP2
00000f96: MSTORE
00000f97: PUSH1 0x02
00000f99: PUSH1 0x20
00000f9b: MSTORE
00000f9c: PUSH1 0x40
00000f9e: SWAP1
00000f9f: KECCAK256
00000fa0: SLOAD
00000fa1: PUSH1 0x60
00000fa3: SWAP1
00000fa4: PUSH1 0x01
00000fa6: PUSH1 0x01
00000fa8: PUSH1 0xa0
00000faa: SHL
00000fab: SUB
00000fac: AND
00000fad: PUSH2 0x1010
00000fb0: JUMPI
00000fb1: PUSH1 0x40
00000fb3: MLOAD
00000fb4: PUSH3 0x461bcd
00000fb8: PUSH1 0xe5
00000fba: SHL
00000fbb: DUP2
00000fbc: MSTORE
00000fbd: PUSH1 0x20
00000fbf: PUSH1 0x04
00000fc1: DUP3
00000fc2: ADD
00000fc3: MSTORE
00000fc4: PUSH1 0x2f
00000fc6: PUSH1 0x24
00000fc8: DUP3
00000fc9: ADD
00000fca: MSTORE
00000fcb: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00000fec: PUSH1 0x44
00000fee: DUP3
00000fef: ADD
00000ff0: MSTORE
00000ff1: PUSH15 0x3732bc34b9ba32b73a103a37b5b2b7
00001001: PUSH1 0x89
00001003: SHL
00001004: PUSH1 0x64
00001006: DUP3
00001007: ADD
00001008: MSTORE
00001009: PUSH1 0x84
0000100b: ADD
0000100c: PUSH2 0x07d9
0000100f: JUMP
00001010: JUMPDEST
00001011: PUSH1 0x00
00001013: PUSH2 0x101a
00001016: PUSH2 0x18a3
00001019: JUMP
0000101a: JUMPDEST
0000101b: SWAP1
0000101c: POP
0000101d: PUSH1 0x00
0000101f: DUP2
00001020: MLOAD
00001021: GT
00001022: PUSH2 0x103a
00001025: JUMPI
00001026: PUSH1 0x40
00001028: MLOAD
00001029: DUP1
0000102a: PUSH1 0x20
0000102c: ADD
0000102d: PUSH1 0x40
0000102f: MSTORE
00001030: DUP1
00001031: PUSH1 0x00
00001033: DUP2
00001034: MSTORE
00001035: POP
00001036: PUSH2 0x1065
00001039: JUMP
0000103a: JUMPDEST
0000103b: DUP1
0000103c: PUSH2 0x1044
0000103f: DUP5
00001040: PUSH2 0x18b2
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH1 0x40
00001047: MLOAD
00001048: PUSH1 0x20
0000104a: ADD
0000104b: PUSH2 0x1055
0000104e: SWAP3
0000104f: SWAP2
00001050: SWAP1
00001051: PUSH2 0x253e
00001054: JUMP
00001055: JUMPDEST
00001056: PUSH1 0x40
00001058: MLOAD
00001059: PUSH1 0x20
0000105b: DUP2
0000105c: DUP4
0000105d: SUB
0000105e: SUB
0000105f: DUP2
00001060: MSTORE
00001061: SWAP1
00001062: PUSH1 0x40
00001064: MSTORE
00001065: JUMPDEST
00001066: SWAP4
00001067: SWAP3
00001068: POP
00001069: POP
0000106a: POP
0000106b: JUMP
0000106c: JUMPDEST
0000106d: PUSH1 0x00
0000106f: DUP3
00001070: DUP2
00001071: MSTORE
00001072: PUSH1 0x0b
00001074: PUSH1 0x20
00001076: MSTORE
00001077: PUSH1 0x40
00001079: SWAP1
0000107a: KECCAK256
0000107b: PUSH1 0x01
0000107d: ADD
0000107e: SLOAD
0000107f: PUSH2 0x1088
00001082: DUP2
00001083: CALLER
00001084: PUSH2 0x1457
00001087: JUMP
00001088: JUMPDEST
00001089: PUSH2 0x090f
0000108c: DUP4
0000108d: DUP4
0000108e: PUSH2 0x17fd
00001091: JUMP
00001092: JUMPDEST
00001093: PUSH1 0x00
00001095: PUSH2 0x109e
00001098: DUP2
00001099: CALLER
0000109a: PUSH2 0x1457
0000109d: JUMP
0000109e: JUMPDEST
0000109f: POP
000010a0: PUSH1 0x0d
000010a2: DUP1
000010a3: SLOAD
000010a4: PUSH1 0xff
000010a6: NOT
000010a7: DUP2
000010a8: AND
000010a9: PUSH1 0xff
000010ab: SWAP1
000010ac: SWAP2
000010ad: AND
000010ae: ISZERO
000010af: OR
000010b0: SWAP1
000010b1: SSTORE
000010b2: JUMP
000010b3: JUMPDEST
000010b4: PUSH1 0x0d
000010b6: SLOAD
000010b7: PUSH1 0xff
000010b9: AND
000010ba: PUSH2 0x1111
000010bd: JUMPI
000010be: PUSH1 0x40
000010c0: MLOAD
000010c1: PUSH3 0x461bcd
000010c5: PUSH1 0xe5
000010c7: SHL
000010c8: DUP2
000010c9: MSTORE
000010ca: PUSH1 0x20
000010cc: PUSH1 0x04
000010ce: DUP3
000010cf: ADD
000010d0: MSTORE
000010d1: PUSH1 0x23
000010d3: PUSH1 0x24
000010d5: DUP3
000010d6: ADD
000010d7: MSTORE
000010d8: PUSH32 0x53616c65206d7573742062652061637469766520746f206d696e742066696768
000010f9: PUSH1 0x44
000010fb: DUP3
000010fc: ADD
000010fd: MSTORE
000010fe: PUSH3 0x3a32b9
00001102: PUSH1 0xe9
00001104: SHL
00001105: PUSH1 0x64
00001107: DUP3
00001108: ADD
00001109: MSTORE
0000110a: PUSH1 0x84
0000110c: ADD
0000110d: PUSH2 0x07d9
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH1 0x0d
00001114: SLOAD
00001115: PUSH2 0x0100
00001118: SWAP1
00001119: DIV
0000111a: PUSH1 0xff
0000111c: AND
0000111d: ISZERO
0000111e: PUSH2 0x1213
00001121: JUMPI
00001122: PUSH2 0x114b
00001125: PUSH32 0xdc72ed553f2544c34465af23b847953efeb813428162d767f9ba5f4013be6760
00001146: CALLER
00001147: PUSH2 0x0da7
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH2 0x1197
0000114f: JUMPI
00001150: PUSH1 0x40
00001152: MLOAD
00001153: PUSH3 0x461bcd
00001157: PUSH1 0xe5
00001159: SHL
0000115a: DUP2
0000115b: MSTORE
0000115c: PUSH1 0x20
0000115e: PUSH1 0x04
00001160: DUP3
00001161: ADD
00001162: MSTORE
00001163: PUSH1 0x1f
00001165: PUSH1 0x24
00001167: DUP3
00001168: ADD
00001169: MSTORE
0000116a: PUSH32 0x596f7520617265206e6f7420696e207468652070726573616c65206c69737400
0000118b: PUSH1 0x44
0000118d: DUP3
0000118e: ADD
0000118f: MSTORE
00001190: PUSH1 0x64
00001192: ADD
00001193: PUSH2 0x07d9
00001196: JUMP
00001197: JUMPDEST
00001198: PUSH1 0x04
0000119a: DUP2
0000119b: PUSH2 0x11a3
0000119e: CALLER
0000119f: PUSH2 0x0c74
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH2 0x11ad
000011a7: SWAP2
000011a8: SWAP1
000011a9: PUSH2 0x2706
000011ac: JUMP
000011ad: JUMPDEST
000011ae: LT
000011af: PUSH2 0x1213
000011b2: JUMPI
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: PUSH3 0x461bcd
000011ba: PUSH1 0xe5
000011bc: SHL
000011bd: DUP2
000011be: MSTORE
000011bf: PUSH1 0x20
000011c1: PUSH1 0x04
000011c3: DUP3
000011c4: ADD
000011c5: MSTORE
000011c6: PUSH1 0x30
000011c8: PUSH1 0x24
000011ca: DUP3
000011cb: ADD
000011cc: MSTORE
000011cd: PUSH32 0x596f752063616e206d616b652066757274686572207075726368617365732061
000011ee: PUSH1 0x44
000011f0: DUP3
000011f1: ADD
000011f2: MSTORE
000011f3: PUSH16 0x66746572207468652070726573616c65
00001204: PUSH1 0x80
00001206: SHL
00001207: PUSH1 0x64
00001209: DUP3
0000120a: ADD
0000120b: MSTORE
0000120c: PUSH1 0x84
0000120e: ADD
0000120f: PUSH2 0x07d9
00001212: JUMP
00001213: JUMPDEST
00001214: PUSH2 0x121b
00001217: PUSH2 0x0de1
0000121a: JUMP
0000121b: JUMPDEST
0000121c: DUP2
0000121d: GT
0000121e: ISZERO
0000121f: PUSH2 0x1290
00001222: JUMPI
00001223: PUSH1 0x40
00001225: MLOAD
00001226: PUSH3 0x461bcd
0000122a: PUSH1 0xe5
0000122c: SHL
0000122d: DUP2
0000122e: MSTORE
0000122f: PUSH1 0x20
00001231: PUSH1 0x04
00001233: DUP3
00001234: ADD
00001235: MSTORE
00001236: PUSH1 0x39
00001238: PUSH1 0x24
0000123a: DUP3
0000123b: ADD
0000123c: MSTORE
0000123d: PUSH32 0x506c65617365207265647563652074686520616d6f756e74206f6620746f6b65
0000125e: PUSH1 0x44
00001260: DUP3
00001261: ADD
00001262: MSTORE
00001263: PUSH32 0x6e7320796f7520776f756c64206c696b6520746f206d696e7400000000000000
00001284: PUSH1 0x64
00001286: DUP3
00001287: ADD
00001288: MSTORE
00001289: PUSH1 0x84
0000128b: ADD
0000128c: PUSH2 0x07d9
0000128f: JUMP
00001290: JUMPDEST
00001291: PUSH1 0x0c
00001293: SLOAD
00001294: PUSH2 0x12a6
00001297: DUP3
00001298: PUSH2 0x12a0
0000129b: PUSH1 0x08
0000129d: SLOAD
0000129e: SWAP1
0000129f: JUMP
000012a0: JUMPDEST
000012a1: SWAP1
000012a2: PUSH2 0x19cc
000012a5: JUMP
000012a6: JUMPDEST
000012a7: GT
000012a8: ISZERO
000012a9: PUSH2 0x130c
000012ac: JUMPI
000012ad: PUSH1 0x40
000012af: MLOAD
000012b0: PUSH3 0x461bcd
000012b4: PUSH1 0xe5
000012b6: SHL
000012b7: DUP2
000012b8: MSTORE
000012b9: PUSH1 0x20
000012bb: PUSH1 0x04
000012bd: DUP3
000012be: ADD
000012bf: MSTORE
000012c0: PUSH1 0x2f
000012c2: PUSH1 0x24
000012c4: DUP3
000012c5: ADD
000012c6: MSTORE
000012c7: PUSH32 0x507572636861736520776f756c6420657863656564206d617820737570706c79
000012e8: PUSH1 0x44
000012ea: DUP3
000012eb: ADD
000012ec: MSTORE
000012ed: PUSH15 0x1037b3102237b3b2a334b3b43a32b9
000012fd: PUSH1 0x89
000012ff: SHL
00001300: PUSH1 0x64
00001302: DUP3
00001303: ADD
00001304: MSTORE
00001305: PUSH1 0x84
00001307: ADD
00001308: PUSH2 0x07d9
0000130b: JUMP
0000130c: JUMPDEST
0000130d: CALLVALUE
0000130e: PUSH2 0x131e
00001311: PUSH7 0xe08810adce0000
00001319: DUP4
0000131a: PUSH2 0x19d8
0000131d: JUMP
0000131e: JUMPDEST
0000131f: GT
00001320: ISZERO
00001321: PUSH2 0x137a
00001324: JUMPI
00001325: PUSH1 0x40
00001327: MLOAD
00001328: PUSH3 0x461bcd
0000132c: PUSH1 0xe5
0000132e: SHL
0000132f: DUP2
00001330: MSTORE
00001331: PUSH1 0x20
00001333: PUSH1 0x04
00001335: DUP3
00001336: ADD
00001337: MSTORE
00001338: PUSH1 0x25
0000133a: PUSH1 0x24
0000133c: DUP3
0000133d: ADD
0000133e: MSTORE
0000133f: PUSH32 0x496e73756666696369656e742045544820746f20636f6d706c65746520707572
00001360: PUSH1 0x44
00001362: DUP3
00001363: ADD
00001364: MSTORE
00001365: PUSH5 0x6368617365
0000136b: PUSH1 0xd8
0000136d: SHL
0000136e: PUSH1 0x64
00001370: DUP3
00001371: ADD
00001372: MSTORE
00001373: PUSH1 0x84
00001375: ADD
00001376: PUSH2 0x07d9
00001379: JUMP
0000137a: JUMPDEST
0000137b: PUSH1 0x00
0000137d: JUMPDEST
0000137e: DUP2
0000137f: DUP2
00001380: LT
00001381: ISZERO
00001382: PUSH2 0x0ae3
00001385: JUMPI
00001386: PUSH1 0x00
00001388: PUSH2 0x1390
0000138b: PUSH1 0x08
0000138d: SLOAD
0000138e: SWAP1
0000138f: JUMP
00001390: JUMPDEST
00001391: PUSH2 0x139b
00001394: SWAP1
00001395: PUSH1 0x01
00001397: PUSH2 0x2706
0000139a: JUMP
0000139b: JUMPDEST
0000139c: SWAP1
0000139d: POP
0000139e: PUSH1 0x0c
000013a0: SLOAD
000013a1: DUP2
000013a2: LT
000013a3: ISZERO
000013a4: PUSH2 0x13b1
000013a7: JUMPI
000013a8: PUSH2 0x13b1
000013ab: CALLER
000013ac: DUP3
000013ad: PUSH2 0x14bb
000013b0: JUMP
000013b1: JUMPDEST
000013b2: POP
000013b3: DUP1
000013b4: PUSH2 0x13bc
000013b7: DUP2
000013b8: PUSH2 0x27e6
000013bb: JUMP
000013bc: JUMPDEST
000013bd: SWAP2
000013be: POP
000013bf: POP
000013c0: PUSH2 0x137d
000013c3: JUMP
000013c4: JUMPDEST
000013c5: PUSH1 0x00
000013c7: PUSH1 0x01
000013c9: PUSH1 0x01
000013cb: PUSH1 0xe0
000013cd: SHL
000013ce: SUB
000013cf: NOT
000013d0: DUP3
000013d1: AND
000013d2: PUSH4 0x7965db0b
000013d7: PUSH1 0xe0
000013d9: SHL
000013da: EQ
000013db: DUP1
000013dc: PUSH2 0x06cc
000013df: JUMPI
000013e0: POP
000013e1: PUSH2 0x06cc
000013e4: DUP3
000013e5: PUSH2 0x19e4
000013e8: JUMP
000013e9: JUMPDEST
000013ea: PUSH1 0x00
000013ec: DUP2
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH1 0x04
000013f1: PUSH1 0x20
000013f3: MSTORE
000013f4: PUSH1 0x40
000013f6: SWAP1
000013f7: KECCAK256
000013f8: DUP1
000013f9: SLOAD
000013fa: PUSH1 0x01
000013fc: PUSH1 0x01
000013fe: PUSH1 0xa0
00001400: SHL
00001401: SUB
00001402: NOT
00001403: AND
00001404: PUSH1 0x01
00001406: PUSH1 0x01
00001408: PUSH1 0xa0
0000140a: SHL
0000140b: SUB
0000140c: DUP5
0000140d: AND
0000140e: SWAP1
0000140f: DUP2
00001410: OR
00001411: SWAP1
00001412: SWAP2
00001413: SSTORE
00001414: DUP2
00001415: SWAP1
00001416: PUSH2 0x141e
00001419: DUP3
0000141a: PUSH2 0x0bfd
0000141d: JUMP
0000141e: JUMPDEST
0000141f: PUSH1 0x01
00001421: PUSH1 0x01
00001423: PUSH1 0xa0
00001425: SHL
00001426: SUB
00001427: AND
00001428: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001449: PUSH1 0x40
0000144b: MLOAD
0000144c: PUSH1 0x40
0000144e: MLOAD
0000144f: DUP1
00001450: SWAP2
00001451: SUB
00001452: SWAP1
00001453: LOG4
00001454: POP
00001455: POP
00001456: JUMP
00001457: JUMPDEST
00001458: PUSH2 0x1461
0000145b: DUP3
0000145c: DUP3
0000145d: PUSH2 0x0da7
00001460: JUMP
00001461: JUMPDEST
00001462: PUSH2 0x0ae3
00001465: JUMPI
00001466: PUSH2 0x1479
00001469: DUP2
0000146a: PUSH1 0x01
0000146c: PUSH1 0x01
0000146e: PUSH1 0xa0
00001470: SHL
00001471: SUB
00001472: AND
00001473: PUSH1 0x14
00001475: PUSH2 0x1a09
00001478: JUMP
00001479: JUMPDEST
0000147a: PUSH2 0x1484
0000147d: DUP4
0000147e: PUSH1 0x20
00001480: PUSH2 0x1a09
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH1 0x40
00001487: MLOAD
00001488: PUSH1 0x20
0000148a: ADD
0000148b: PUSH2 0x1495
0000148e: SWAP3
0000148f: SWAP2
00001490: SWAP1
00001491: PUSH2 0x256d
00001494: JUMP
00001495: JUMPDEST
00001496: PUSH1 0x40
00001498: DUP1
00001499: MLOAD
0000149a: PUSH1 0x1f
0000149c: NOT
0000149d: DUP2
0000149e: DUP5
0000149f: SUB
000014a0: ADD
000014a1: DUP2
000014a2: MSTORE
000014a3: SWAP1
000014a4: DUP3
000014a5: SWAP1
000014a6: MSTORE
000014a7: PUSH3 0x461bcd
000014ab: PUSH1 0xe5
000014ad: SHL
000014ae: DUP3
000014af: MSTORE
000014b0: PUSH2 0x07d9
000014b3: SWAP2
000014b4: PUSH1 0x04
000014b6: ADD
000014b7: PUSH2 0x261f
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH2 0x0ae3
000014bf: DUP3
000014c0: DUP3
000014c1: PUSH1 0x40
000014c3: MLOAD
000014c4: DUP1
000014c5: PUSH1 0x20
000014c7: ADD
000014c8: PUSH1 0x40
000014ca: MSTORE
000014cb: DUP1
000014cc: PUSH1 0x00
000014ce: DUP2
000014cf: MSTORE
000014d0: POP
000014d1: PUSH2 0x1beb
000014d4: JUMP
000014d5: JUMPDEST
000014d6: PUSH1 0x00
000014d8: DUP2
000014d9: DUP2
000014da: MSTORE
000014db: PUSH1 0x02
000014dd: PUSH1 0x20
000014df: MSTORE
000014e0: PUSH1 0x40
000014e2: DUP2
000014e3: KECCAK256
000014e4: SLOAD
000014e5: PUSH1 0x01
000014e7: PUSH1 0x01
000014e9: PUSH1 0xa0
000014eb: SHL
000014ec: SUB
000014ed: AND
000014ee: PUSH2 0x154e
000014f1: JUMPI
000014f2: PUSH1 0x40
000014f4: MLOAD
000014f5: PUSH3 0x461bcd
000014f9: PUSH1 0xe5
000014fb: SHL
000014fc: DUP2
000014fd: MSTORE
000014fe: PUSH1 0x20
00001500: PUSH1 0x04
00001502: DUP3
00001503: ADD
00001504: MSTORE
00001505: PUSH1 0x2c
00001507: PUSH1 0x24
00001509: DUP3
0000150a: ADD
0000150b: MSTORE
0000150c: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
0000152d: PUSH1 0x44
0000152f: DUP3
00001530: ADD
00001531: MSTORE
00001532: PUSH12 0x34b9ba32b73a103a37b5b2b7
0000153f: PUSH1 0xa1
00001541: SHL
00001542: PUSH1 0x64
00001544: DUP3
00001545: ADD
00001546: MSTORE
00001547: PUSH1 0x84
00001549: ADD
0000154a: PUSH2 0x07d9
0000154d: JUMP
0000154e: JUMPDEST
0000154f: PUSH1 0x00
00001551: PUSH2 0x1559
00001554: DUP4
00001555: PUSH2 0x0bfd
00001558: JUMP
00001559: JUMPDEST
0000155a: SWAP1
0000155b: POP
0000155c: DUP1
0000155d: PUSH1 0x01
0000155f: PUSH1 0x01
00001561: PUSH1 0xa0
00001563: SHL
00001564: SUB
00001565: AND
00001566: DUP5
00001567: PUSH1 0x01
00001569: PUSH1 0x01
0000156b: PUSH1 0xa0
0000156d: SHL
0000156e: SUB
0000156f: AND
00001570: EQ
00001571: DUP1
00001572: PUSH2 0x1594
00001575: JUMPI
00001576: POP
00001577: DUP4
00001578: PUSH1 0x01
0000157a: PUSH1 0x01
0000157c: PUSH1 0xa0
0000157e: SHL
0000157f: SUB
00001580: AND
00001581: PUSH2 0x1589
00001584: DUP5
00001585: PUSH2 0x0764
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH1 0x01
0000158c: PUSH1 0x01
0000158e: PUSH1 0xa0
00001590: SHL
00001591: SUB
00001592: AND
00001593: EQ
00001594: JUMPDEST
00001595: DUP1
00001596: PUSH2 0x15c4
00001599: JUMPI
0000159a: POP
0000159b: PUSH1 0x01
0000159d: PUSH1 0x01
0000159f: PUSH1 0xa0
000015a1: SHL
000015a2: SUB
000015a3: DUP1
000015a4: DUP3
000015a5: AND
000015a6: PUSH1 0x00
000015a8: SWAP1
000015a9: DUP2
000015aa: MSTORE
000015ab: PUSH1 0x05
000015ad: PUSH1 0x20
000015af: SWAP1
000015b0: DUP2
000015b1: MSTORE
000015b2: PUSH1 0x40
000015b4: DUP1
000015b5: DUP4
000015b6: KECCAK256
000015b7: SWAP4
000015b8: DUP9
000015b9: AND
000015ba: DUP4
000015bb: MSTORE
000015bc: SWAP3
000015bd: SWAP1
000015be: MSTORE
000015bf: KECCAK256
000015c0: SLOAD
000015c1: PUSH1 0xff
000015c3: AND
000015c4: JUMPDEST
000015c5: SWAP5
000015c6: SWAP4
000015c7: POP
000015c8: POP
000015c9: POP
000015ca: POP
000015cb: JUMP
000015cc: JUMPDEST
000015cd: DUP3
000015ce: PUSH1 0x01
000015d0: PUSH1 0x01
000015d2: PUSH1 0xa0
000015d4: SHL
000015d5: SUB
000015d6: AND
000015d7: PUSH2 0x15df
000015da: DUP3
000015db: PUSH2 0x0bfd
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH1 0x01
000015e2: PUSH1 0x01
000015e4: PUSH1 0xa0
000015e6: SHL
000015e7: SUB
000015e8: AND
000015e9: EQ
000015ea: PUSH2 0x1647
000015ed: JUMPI
000015ee: PUSH1 0x40
000015f0: MLOAD
000015f1: PUSH3 0x461bcd
000015f5: PUSH1 0xe5
000015f7: SHL
000015f8: DUP2
000015f9: MSTORE
000015fa: PUSH1 0x20
000015fc: PUSH1 0x04
000015fe: DUP3
000015ff: ADD
00001600: MSTORE
00001601: PUSH1 0x29
00001603: PUSH1 0x24
00001605: DUP3
00001606: ADD
00001607: MSTORE
00001608: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
00001629: PUSH1 0x44
0000162b: DUP3
0000162c: ADD
0000162d: MSTORE
0000162e: PUSH9 0x39903737ba1037bbb7
00001638: PUSH1 0xb9
0000163a: SHL
0000163b: PUSH1 0x64
0000163d: DUP3
0000163e: ADD
0000163f: MSTORE
00001640: PUSH1 0x84
00001642: ADD
00001643: PUSH2 0x07d9
00001646: JUMP
00001647: JUMPDEST
00001648: PUSH1 0x01
0000164a: PUSH1 0x01
0000164c: PUSH1 0xa0
0000164e: SHL
0000164f: SUB
00001650: DUP3
00001651: AND
00001652: PUSH2 0x16a9
00001655: JUMPI
00001656: PUSH1 0x40
00001658: MLOAD
00001659: PUSH3 0x461bcd
0000165d: PUSH1 0xe5
0000165f: SHL
00001660: DUP2
00001661: MSTORE
00001662: PUSH1 0x20
00001664: PUSH1 0x04
00001666: DUP3
00001667: ADD
00001668: MSTORE
00001669: PUSH1 0x24
0000166b: DUP1
0000166c: DUP3
0000166d: ADD
0000166e: MSTORE
0000166f: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00001690: PUSH1 0x44
00001692: DUP3
00001693: ADD
00001694: MSTORE
00001695: PUSH4 0x72657373
0000169a: PUSH1 0xe0
0000169c: SHL
0000169d: PUSH1 0x64
0000169f: DUP3
000016a0: ADD
000016a1: MSTORE
000016a2: PUSH1 0x84
000016a4: ADD
000016a5: PUSH2 0x07d9
000016a8: JUMP
000016a9: JUMPDEST
000016aa: PUSH2 0x16b4
000016ad: DUP4
000016ae: DUP4
000016af: DUP4
000016b0: PUSH2 0x1c1e
000016b3: JUMP
000016b4: JUMPDEST
000016b5: PUSH2 0x16bf
000016b8: PUSH1 0x00
000016ba: DUP3
000016bb: PUSH2 0x13e9
000016be: JUMP
000016bf: JUMPDEST
000016c0: PUSH1 0x01
000016c2: PUSH1 0x01
000016c4: PUSH1 0xa0
000016c6: SHL
000016c7: SUB
000016c8: DUP4
000016c9: AND
000016ca: PUSH1 0x00
000016cc: SWAP1
000016cd: DUP2
000016ce: MSTORE
000016cf: PUSH1 0x03
000016d1: PUSH1 0x20
000016d3: MSTORE
000016d4: PUSH1 0x40
000016d6: DUP2
000016d7: KECCAK256
000016d8: DUP1
000016d9: SLOAD
000016da: PUSH1 0x01
000016dc: SWAP3
000016dd: SWAP1
000016de: PUSH2 0x16e8
000016e1: SWAP1
000016e2: DUP5
000016e3: SWAP1
000016e4: PUSH2 0x2751
000016e7: JUMP
000016e8: JUMPDEST
000016e9: SWAP1
000016ea: SWAP2
000016eb: SSTORE
000016ec: POP
000016ed: POP
000016ee: PUSH1 0x01
000016f0: PUSH1 0x01
000016f2: PUSH1 0xa0
000016f4: SHL
000016f5: SUB
000016f6: DUP3
000016f7: AND
000016f8: PUSH1 0x00
000016fa: SWAP1
000016fb: DUP2
000016fc: MSTORE
000016fd: PUSH1 0x03
000016ff: PUSH1 0x20
00001701: MSTORE
00001702: PUSH1 0x40
00001704: DUP2
00001705: KECCAK256
00001706: DUP1
00001707: SLOAD
00001708: PUSH1 0x01
0000170a: SWAP3
0000170b: SWAP1
0000170c: PUSH2 0x1716
0000170f: SWAP1
00001710: DUP5
00001711: SWAP1
00001712: PUSH2 0x2706
00001715: JUMP
00001716: JUMPDEST
00001717: SWAP1
00001718: SWAP2
00001719: SSTORE
0000171a: POP
0000171b: POP
0000171c: PUSH1 0x00
0000171e: DUP2
0000171f: DUP2
00001720: MSTORE
00001721: PUSH1 0x02
00001723: PUSH1 0x20
00001725: MSTORE
00001726: PUSH1 0x40
00001728: DUP1
00001729: DUP3
0000172a: KECCAK256
0000172b: DUP1
0000172c: SLOAD
0000172d: PUSH1 0x01
0000172f: PUSH1 0x01
00001731: PUSH1 0xa0
00001733: SHL
00001734: SUB
00001735: NOT
00001736: AND
00001737: PUSH1 0x01
00001739: PUSH1 0x01
0000173b: PUSH1 0xa0
0000173d: SHL
0000173e: SUB
0000173f: DUP7
00001740: DUP2
00001741: AND
00001742: SWAP2
00001743: DUP3
00001744: OR
00001745: SWAP1
00001746: SWAP3
00001747: SSTORE
00001748: SWAP2
00001749: MLOAD
0000174a: DUP5
0000174b: SWAP4
0000174c: SWAP2
0000174d: DUP8
0000174e: AND
0000174f: SWAP2
00001750: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001771: SWAP2
00001772: LOG4
00001773: POP
00001774: POP
00001775: POP
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH2 0x1781
0000177b: DUP3
0000177c: DUP3
0000177d: PUSH2 0x0da7
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH2 0x0ae3
00001785: JUMPI
00001786: PUSH1 0x00
00001788: DUP3
00001789: DUP2
0000178a: MSTORE
0000178b: PUSH1 0x0b
0000178d: PUSH1 0x20
0000178f: SWAP1
00001790: DUP2
00001791: MSTORE
00001792: PUSH1 0x40
00001794: DUP1
00001795: DUP4
00001796: KECCAK256
00001797: PUSH1 0x01
00001799: PUSH1 0x01
0000179b: PUSH1 0xa0
0000179d: SHL
0000179e: SUB
0000179f: DUP6
000017a0: AND
000017a1: DUP5
000017a2: MSTORE
000017a3: SWAP1
000017a4: SWAP2
000017a5: MSTORE
000017a6: SWAP1
000017a7: KECCAK256
000017a8: DUP1
000017a9: SLOAD
000017aa: PUSH1 0xff
000017ac: NOT
000017ad: AND
000017ae: PUSH1 0x01
000017b0: OR
000017b1: SWAP1
000017b2: SSTORE
000017b3: PUSH2 0x17b9
000017b6: CALLER
000017b7: SWAP1
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH1 0x01
000017bc: PUSH1 0x01
000017be: PUSH1 0xa0
000017c0: SHL
000017c1: SUB
000017c2: AND
000017c3: DUP2
000017c4: PUSH1 0x01
000017c6: PUSH1 0x01
000017c8: PUSH1 0xa0
000017ca: SHL
000017cb: SUB
000017cc: AND
000017cd: DUP4
000017ce: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000017ef: PUSH1 0x40
000017f1: MLOAD
000017f2: PUSH1 0x40
000017f4: MLOAD
000017f5: DUP1
000017f6: SWAP2
000017f7: SUB
000017f8: SWAP1
000017f9: LOG4
000017fa: POP
000017fb: POP
000017fc: JUMP
000017fd: JUMPDEST
000017fe: PUSH2 0x1807
00001801: DUP3
00001802: DUP3
00001803: PUSH2 0x0da7
00001806: JUMP
00001807: JUMPDEST
00001808: ISZERO
00001809: PUSH2 0x0ae3
0000180c: JUMPI
0000180d: PUSH1 0x00
0000180f: DUP3
00001810: DUP2
00001811: MSTORE
00001812: PUSH1 0x0b
00001814: PUSH1 0x20
00001816: SWAP1
00001817: DUP2
00001818: MSTORE
00001819: PUSH1 0x40
0000181b: DUP1
0000181c: DUP4
0000181d: KECCAK256
0000181e: PUSH1 0x01
00001820: PUSH1 0x01
00001822: PUSH1 0xa0
00001824: SHL
00001825: SUB
00001826: DUP6
00001827: AND
00001828: DUP1
00001829: DUP6
0000182a: MSTORE
0000182b: SWAP3
0000182c: MSTORE
0000182d: DUP1
0000182e: DUP4
0000182f: KECCAK256
00001830: DUP1
00001831: SLOAD
00001832: PUSH1 0xff
00001834: NOT
00001835: AND
00001836: SWAP1
00001837: SSTORE
00001838: MLOAD
00001839: CALLER
0000183a: SWAP3
0000183b: DUP6
0000183c: SWAP2
0000183d: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
0000185e: SWAP2
0000185f: SWAP1
00001860: LOG4
00001861: POP
00001862: POP
00001863: JUMP
00001864: JUMPDEST
00001865: PUSH1 0x00
00001867: PUSH2 0x1065
0000186a: DUP3
0000186b: DUP5
0000186c: PUSH2 0x2751
0000186f: JUMP
00001870: JUMPDEST
00001871: PUSH2 0x187b
00001874: DUP5
00001875: DUP5
00001876: DUP5
00001877: PUSH2 0x15cc
0000187a: JUMP
0000187b: JUMPDEST
0000187c: PUSH2 0x1887
0000187f: DUP5
00001880: DUP5
00001881: DUP5
00001882: DUP5
00001883: PUSH2 0x1cd6
00001886: JUMP
00001887: JUMPDEST
00001888: PUSH2 0x0da1
0000188b: JUMPI
0000188c: PUSH1 0x40
0000188e: MLOAD
0000188f: PUSH3 0x461bcd
00001893: PUSH1 0xe5
00001895: SHL
00001896: DUP2
00001897: MSTORE
00001898: PUSH1 0x04
0000189a: ADD
0000189b: PUSH2 0x07d9
0000189e: SWAP1
0000189f: PUSH2 0x2632
000018a2: JUMP
000018a3: JUMPDEST
000018a4: PUSH1 0x60
000018a6: PUSH1 0x0e
000018a8: DUP1
000018a9: SLOAD
000018aa: PUSH2 0x06e1
000018ad: SWAP1
000018ae: PUSH2 0x27ab
000018b1: JUMP
000018b2: JUMPDEST
000018b3: PUSH1 0x60
000018b5: DUP2
000018b6: PUSH2 0x18d6
000018b9: JUMPI
000018ba: POP
000018bb: POP
000018bc: PUSH1 0x40
000018be: DUP1
000018bf: MLOAD
000018c0: DUP1
000018c1: DUP3
000018c2: ADD
000018c3: SWAP1
000018c4: SWAP2
000018c5: MSTORE
000018c6: PUSH1 0x01
000018c8: DUP2
000018c9: MSTORE
000018ca: PUSH1 0x03
000018cc: PUSH1 0xfc
000018ce: SHL
000018cf: PUSH1 0x20
000018d1: DUP3
000018d2: ADD
000018d3: MSTORE
000018d4: SWAP1
000018d5: JUMP
000018d6: JUMPDEST
000018d7: DUP2
000018d8: PUSH1 0x00
000018da: JUMPDEST
000018db: DUP2
000018dc: ISZERO
000018dd: PUSH2 0x1900
000018e0: JUMPI
000018e1: DUP1
000018e2: PUSH2 0x18ea
000018e5: DUP2
000018e6: PUSH2 0x27e6
000018e9: JUMP
000018ea: JUMPDEST
000018eb: SWAP2
000018ec: POP
000018ed: PUSH2 0x18f9
000018f0: SWAP1
000018f1: POP
000018f2: PUSH1 0x0a
000018f4: DUP4
000018f5: PUSH2 0x271e
000018f8: JUMP
000018f9: JUMPDEST
000018fa: SWAP2
000018fb: POP
000018fc: PUSH2 0x18da
000018ff: JUMP
00001900: JUMPDEST
00001901: PUSH1 0x00
00001903: DUP2
00001904: PUSH8 0xffffffffffffffff
0000190d: DUP2
0000190e: GT
0000190f: ISZERO
00001910: PUSH2 0x1929
00001913: JUMPI
00001914: PUSH4 0x4e487b71
00001919: PUSH1 0xe0
0000191b: SHL
0000191c: PUSH1 0x00
0000191e: MSTORE
0000191f: PUSH1 0x41
00001921: PUSH1 0x04
00001923: MSTORE
00001924: PUSH1 0x24
00001926: PUSH1 0x00
00001928: REVERT
00001929: JUMPDEST
0000192a: PUSH1 0x40
0000192c: MLOAD
0000192d: SWAP1
0000192e: DUP1
0000192f: DUP3
00001930: MSTORE
00001931: DUP1
00001932: PUSH1 0x1f
00001934: ADD
00001935: PUSH1 0x1f
00001937: NOT
00001938: AND
00001939: PUSH1 0x20
0000193b: ADD
0000193c: DUP3
0000193d: ADD
0000193e: PUSH1 0x40
00001940: MSTORE
00001941: DUP1
00001942: ISZERO
00001943: PUSH2 0x1953
00001946: JUMPI
00001947: PUSH1 0x20
00001949: DUP3
0000194a: ADD
0000194b: DUP2
0000194c: DUP1
0000194d: CALLDATASIZE
0000194e: DUP4
0000194f: CALLDATACOPY
00001950: ADD
00001951: SWAP1
00001952: POP
00001953: JUMPDEST
00001954: POP
00001955: SWAP1
00001956: POP
00001957: JUMPDEST
00001958: DUP5
00001959: ISZERO
0000195a: PUSH2 0x15c4
0000195d: JUMPI
0000195e: PUSH2 0x1968
00001961: PUSH1 0x01
00001963: DUP4
00001964: PUSH2 0x2751
00001967: JUMP
00001968: JUMPDEST
00001969: SWAP2
0000196a: POP
0000196b: PUSH2 0x1975
0000196e: PUSH1 0x0a
00001970: DUP7
00001971: PUSH2 0x2801
00001974: JUMP
00001975: JUMPDEST
00001976: PUSH2 0x1980
00001979: SWAP1
0000197a: PUSH1 0x30
0000197c: PUSH2 0x2706
0000197f: JUMP
00001980: JUMPDEST
00001981: PUSH1 0xf8
00001983: SHL
00001984: DUP2
00001985: DUP4
00001986: DUP2
00001987: MLOAD
00001988: DUP2
00001989: LT
0000198a: PUSH2 0x19a3
0000198d: JUMPI
0000198e: PUSH4 0x4e487b71
00001993: PUSH1 0xe0
00001995: SHL
00001996: PUSH1 0x00
00001998: MSTORE
00001999: PUSH1 0x32
0000199b: PUSH1 0x04
0000199d: MSTORE
0000199e: PUSH1 0x24
000019a0: PUSH1 0x00
000019a2: REVERT
000019a3: JUMPDEST
000019a4: PUSH1 0x20
000019a6: ADD
000019a7: ADD
000019a8: SWAP1
000019a9: PUSH1 0x01
000019ab: PUSH1 0x01
000019ad: PUSH1 0xf8
000019af: SHL
000019b0: SUB
000019b1: NOT
000019b2: AND
000019b3: SWAP1
000019b4: DUP2
000019b5: PUSH1 0x00
000019b7: BYTE
000019b8: SWAP1
000019b9: MSTORE8
000019ba: POP
000019bb: PUSH2 0x19c5
000019be: PUSH1 0x0a
000019c0: DUP7
000019c1: PUSH2 0x271e
000019c4: JUMP
000019c5: JUMPDEST
000019c6: SWAP5
000019c7: POP
000019c8: PUSH2 0x1957
000019cb: JUMP
000019cc: JUMPDEST
000019cd: PUSH1 0x00
000019cf: PUSH2 0x1065
000019d2: DUP3
000019d3: DUP5
000019d4: PUSH2 0x2706
000019d7: JUMP
000019d8: JUMPDEST
000019d9: PUSH1 0x00
000019db: PUSH2 0x1065
000019de: DUP3
000019df: DUP5
000019e0: PUSH2 0x2732
000019e3: JUMP
000019e4: JUMPDEST
000019e5: PUSH1 0x00
000019e7: PUSH1 0x01
000019e9: PUSH1 0x01
000019eb: PUSH1 0xe0
000019ed: SHL
000019ee: SUB
000019ef: NOT
000019f0: DUP3
000019f1: AND
000019f2: PUSH4 0x780e9d63
000019f7: PUSH1 0xe0
000019f9: SHL
000019fa: EQ
000019fb: DUP1
000019fc: PUSH2 0x06cc
000019ff: JUMPI
00001a00: POP
00001a01: PUSH2 0x06cc
00001a04: DUP3
00001a05: PUSH2 0x1de3
00001a08: JUMP
00001a09: JUMPDEST
00001a0a: PUSH1 0x60
00001a0c: PUSH1 0x00
00001a0e: PUSH2 0x1a18
00001a11: DUP4
00001a12: PUSH1 0x02
00001a14: PUSH2 0x2732
00001a17: JUMP
00001a18: JUMPDEST
00001a19: PUSH2 0x1a23
00001a1c: SWAP1
00001a1d: PUSH1 0x02
00001a1f: PUSH2 0x2706
00001a22: JUMP
00001a23: JUMPDEST
00001a24: PUSH8 0xffffffffffffffff
00001a2d: DUP2
00001a2e: GT
00001a2f: ISZERO
00001a30: PUSH2 0x1a49
00001a33: JUMPI
00001a34: PUSH4 0x4e487b71
00001a39: PUSH1 0xe0
00001a3b: SHL
00001a3c: PUSH1 0x00
00001a3e: MSTORE
00001a3f: PUSH1 0x41
00001a41: PUSH1 0x04
00001a43: MSTORE
00001a44: PUSH1 0x24
00001a46: PUSH1 0x00
00001a48: REVERT
00001a49: JUMPDEST
00001a4a: PUSH1 0x40
00001a4c: MLOAD
00001a4d: SWAP1
00001a4e: DUP1
00001a4f: DUP3
00001a50: MSTORE
00001a51: DUP1
00001a52: PUSH1 0x1f
00001a54: ADD
00001a55: PUSH1 0x1f
00001a57: NOT
00001a58: AND
00001a59: PUSH1 0x20
00001a5b: ADD
00001a5c: DUP3
00001a5d: ADD
00001a5e: PUSH1 0x40
00001a60: MSTORE
00001a61: DUP1
00001a62: ISZERO
00001a63: PUSH2 0x1a73
00001a66: JUMPI
00001a67: PUSH1 0x20
00001a69: DUP3
00001a6a: ADD
00001a6b: DUP2
00001a6c: DUP1
00001a6d: CALLDATASIZE
00001a6e: DUP4
00001a6f: CALLDATACOPY
00001a70: ADD
00001a71: SWAP1
00001a72: POP
00001a73: JUMPDEST
00001a74: POP
00001a75: SWAP1
00001a76: POP
00001a77: PUSH1 0x03
00001a79: PUSH1 0xfc
00001a7b: SHL
00001a7c: DUP2
00001a7d: PUSH1 0x00
00001a7f: DUP2
00001a80: MLOAD
00001a81: DUP2
00001a82: LT
00001a83: PUSH2 0x1a9c
00001a86: JUMPI
00001a87: PUSH4 0x4e487b71
00001a8c: PUSH1 0xe0
00001a8e: SHL
00001a8f: PUSH1 0x00
00001a91: MSTORE
00001a92: PUSH1 0x32
00001a94: PUSH1 0x04
00001a96: MSTORE
00001a97: PUSH1 0x24
00001a99: PUSH1 0x00
00001a9b: REVERT
00001a9c: JUMPDEST
00001a9d: PUSH1 0x20
00001a9f: ADD
00001aa0: ADD
00001aa1: SWAP1
00001aa2: PUSH1 0x01
00001aa4: PUSH1 0x01
00001aa6: PUSH1 0xf8
00001aa8: SHL
00001aa9: SUB
00001aaa: NOT
00001aab: AND
00001aac: SWAP1
00001aad: DUP2
00001aae: PUSH1 0x00
00001ab0: BYTE
00001ab1: SWAP1
00001ab2: MSTORE8
00001ab3: POP
00001ab4: PUSH1 0x0f
00001ab6: PUSH1 0xfb
00001ab8: SHL
00001ab9: DUP2
00001aba: PUSH1 0x01
00001abc: DUP2
00001abd: MLOAD
00001abe: DUP2
00001abf: LT
00001ac0: PUSH2 0x1ad9
00001ac3: JUMPI
00001ac4: PUSH4 0x4e487b71
00001ac9: PUSH1 0xe0
00001acb: SHL
00001acc: PUSH1 0x00
00001ace: MSTORE
00001acf: PUSH1 0x32
00001ad1: PUSH1 0x04
00001ad3: MSTORE
00001ad4: PUSH1 0x24
00001ad6: PUSH1 0x00
00001ad8: REVERT
00001ad9: JUMPDEST
00001ada: PUSH1 0x20
00001adc: ADD
00001add: ADD
00001ade: SWAP1
00001adf: PUSH1 0x01
00001ae1: PUSH1 0x01
00001ae3: PUSH1 0xf8
00001ae5: SHL
00001ae6: SUB
00001ae7: NOT
00001ae8: AND
00001ae9: SWAP1
00001aea: DUP2
00001aeb: PUSH1 0x00
00001aed: BYTE
00001aee: SWAP1
00001aef: MSTORE8
00001af0: POP
00001af1: PUSH1 0x00
00001af3: PUSH2 0x1afd
00001af6: DUP5
00001af7: PUSH1 0x02
00001af9: PUSH2 0x2732
00001afc: JUMP
00001afd: JUMPDEST
00001afe: PUSH2 0x1b08
00001b01: SWAP1
00001b02: PUSH1 0x01
00001b04: PUSH2 0x2706
00001b07: JUMP
00001b08: JUMPDEST
00001b09: SWAP1
00001b0a: POP
00001b0b: JUMPDEST
00001b0c: PUSH1 0x01
00001b0e: DUP2
00001b0f: GT
00001b10: ISZERO
00001b11: PUSH2 0x1b9c
00001b14: JUMPI
00001b15: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3
00001b26: PUSH1 0x81
00001b28: SHL
00001b29: DUP6
00001b2a: PUSH1 0x0f
00001b2c: AND
00001b2d: PUSH1 0x10
00001b2f: DUP2
00001b30: LT
00001b31: PUSH2 0x1b4a
00001b34: JUMPI
00001b35: PUSH4 0x4e487b71
00001b3a: PUSH1 0xe0
00001b3c: SHL
00001b3d: PUSH1 0x00
00001b3f: MSTORE
00001b40: PUSH1 0x32
00001b42: PUSH1 0x04
00001b44: MSTORE
00001b45: PUSH1 0x24
00001b47: PUSH1 0x00
00001b49: REVERT
00001b4a: JUMPDEST
00001b4b: BYTE
00001b4c: PUSH1 0xf8
00001b4e: SHL
00001b4f: DUP3
00001b50: DUP3
00001b51: DUP2
00001b52: MLOAD
00001b53: DUP2
00001b54: LT
00001b55: PUSH2 0x1b6e
00001b58: JUMPI
00001b59: PUSH4 0x4e487b71
00001b5e: PUSH1 0xe0
00001b60: SHL
00001b61: PUSH1 0x00
00001b63: MSTORE
00001b64: PUSH1 0x32
00001b66: PUSH1 0x04
00001b68: MSTORE
00001b69: PUSH1 0x24
00001b6b: PUSH1 0x00
00001b6d: REVERT
00001b6e: JUMPDEST
00001b6f: PUSH1 0x20
00001b71: ADD
00001b72: ADD
00001b73: SWAP1
00001b74: PUSH1 0x01
00001b76: PUSH1 0x01
00001b78: PUSH1 0xf8
00001b7a: SHL
00001b7b: SUB
00001b7c: NOT
00001b7d: AND
00001b7e: SWAP1
00001b7f: DUP2
00001b80: PUSH1 0x00
00001b82: BYTE
00001b83: SWAP1
00001b84: MSTORE8
00001b85: POP
00001b86: PUSH1 0x04
00001b88: SWAP5
00001b89: SWAP1
00001b8a: SWAP5
00001b8b: SHR
00001b8c: SWAP4
00001b8d: PUSH2 0x1b95
00001b90: DUP2
00001b91: PUSH2 0x2794
00001b94: JUMP
00001b95: JUMPDEST
00001b96: SWAP1
00001b97: POP
00001b98: PUSH2 0x1b0b
00001b9b: JUMP
00001b9c: JUMPDEST
00001b9d: POP
00001b9e: DUP4
00001b9f: ISZERO
00001ba0: PUSH2 0x1065
00001ba3: JUMPI
00001ba4: PUSH1 0x40
00001ba6: MLOAD
00001ba7: PUSH3 0x461bcd
00001bab: PUSH1 0xe5
00001bad: SHL
00001bae: DUP2
00001baf: MSTORE
00001bb0: PUSH1 0x20
00001bb2: PUSH1 0x04
00001bb4: DUP3
00001bb5: ADD
00001bb6: DUP2
00001bb7: SWAP1
00001bb8: MSTORE
00001bb9: PUSH1 0x24
00001bbb: DUP3
00001bbc: ADD
00001bbd: MSTORE
00001bbe: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
00001bdf: PUSH1 0x44
00001be1: DUP3
00001be2: ADD
00001be3: MSTORE
00001be4: PUSH1 0x64
00001be6: ADD
00001be7: PUSH2 0x07d9
00001bea: JUMP
00001beb: JUMPDEST
00001bec: PUSH2 0x1bf5
00001bef: DUP4
00001bf0: DUP4
00001bf1: PUSH2 0x1e33
00001bf4: JUMP
00001bf5: JUMPDEST
00001bf6: PUSH2 0x1c02
00001bf9: PUSH1 0x00
00001bfb: DUP5
00001bfc: DUP5
00001bfd: DUP5
00001bfe: PUSH2 0x1cd6
00001c01: JUMP
00001c02: JUMPDEST
00001c03: PUSH2 0x090f
00001c06: JUMPI
00001c07: PUSH1 0x40
00001c09: MLOAD
00001c0a: PUSH3 0x461bcd
00001c0e: PUSH1 0xe5
00001c10: SHL
00001c11: DUP2
00001c12: MSTORE
00001c13: PUSH1 0x04
00001c15: ADD
00001c16: PUSH2 0x07d9
00001c19: SWAP1
00001c1a: PUSH2 0x2632
00001c1d: JUMP
00001c1e: JUMPDEST
00001c1f: PUSH1 0x01
00001c21: PUSH1 0x01
00001c23: PUSH1 0xa0
00001c25: SHL
00001c26: SUB
00001c27: DUP4
00001c28: AND
00001c29: PUSH2 0x1c79
00001c2c: JUMPI
00001c2d: PUSH2 0x1c74
00001c30: DUP2
00001c31: PUSH1 0x08
00001c33: DUP1
00001c34: SLOAD
00001c35: PUSH1 0x00
00001c37: DUP4
00001c38: DUP2
00001c39: MSTORE
00001c3a: PUSH1 0x09
00001c3c: PUSH1 0x20
00001c3e: MSTORE
00001c3f: PUSH1 0x40
00001c41: DUP2
00001c42: KECCAK256
00001c43: DUP3
00001c44: SWAP1
00001c45: SSTORE
00001c46: PUSH1 0x01
00001c48: DUP3
00001c49: ADD
00001c4a: DUP4
00001c4b: SSTORE
00001c4c: SWAP2
00001c4d: SWAP1
00001c4e: SWAP2
00001c4f: MSTORE
00001c50: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
00001c71: ADD
00001c72: SSTORE
00001c73: JUMP
00001c74: JUMPDEST
00001c75: PUSH2 0x1c9c
00001c78: JUMP
00001c79: JUMPDEST
00001c7a: DUP2
00001c7b: PUSH1 0x01
00001c7d: PUSH1 0x01
00001c7f: PUSH1 0xa0
00001c81: SHL
00001c82: SUB
00001c83: AND
00001c84: DUP4
00001c85: PUSH1 0x01
00001c87: PUSH1 0x01
00001c89: PUSH1 0xa0
00001c8b: SHL
00001c8c: SUB
00001c8d: AND
00001c8e: EQ
00001c8f: PUSH2 0x1c9c
00001c92: JUMPI
00001c93: PUSH2 0x1c9c
00001c96: DUP4
00001c97: DUP3
00001c98: PUSH2 0x1f81
00001c9b: JUMP
00001c9c: JUMPDEST
00001c9d: PUSH1 0x01
00001c9f: PUSH1 0x01
00001ca1: PUSH1 0xa0
00001ca3: SHL
00001ca4: SUB
00001ca5: DUP3
00001ca6: AND
00001ca7: PUSH2 0x1cb3
00001caa: JUMPI
00001cab: PUSH2 0x090f
00001cae: DUP2
00001caf: PUSH2 0x201e
00001cb2: JUMP
00001cb3: JUMPDEST
00001cb4: DUP3
00001cb5: PUSH1 0x01
00001cb7: PUSH1 0x01
00001cb9: PUSH1 0xa0
00001cbb: SHL
00001cbc: SUB
00001cbd: AND
00001cbe: DUP3
00001cbf: PUSH1 0x01
00001cc1: PUSH1 0x01
00001cc3: PUSH1 0xa0
00001cc5: SHL
00001cc6: SUB
00001cc7: AND
00001cc8: EQ
00001cc9: PUSH2 0x090f
00001ccc: JUMPI
00001ccd: PUSH2 0x090f
00001cd0: DUP3
00001cd1: DUP3
00001cd2: PUSH2 0x20f7
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: PUSH1 0x00
00001cd9: PUSH1 0x01
00001cdb: PUSH1 0x01
00001cdd: PUSH1 0xa0
00001cdf: SHL
00001ce0: SUB
00001ce1: DUP5
00001ce2: AND
00001ce3: EXTCODESIZE
00001ce4: ISZERO
00001ce5: PUSH2 0x1dd8
00001ce8: JUMPI
00001ce9: PUSH1 0x40
00001ceb: MLOAD
00001cec: PUSH4 0x0a85bd01
00001cf1: PUSH1 0xe1
00001cf3: SHL
00001cf4: DUP2
00001cf5: MSTORE
00001cf6: PUSH1 0x01
00001cf8: PUSH1 0x01
00001cfa: PUSH1 0xa0
00001cfc: SHL
00001cfd: SUB
00001cfe: DUP6
00001cff: AND
00001d00: SWAP1
00001d01: PUSH4 0x150b7a02
00001d06: SWAP1
00001d07: PUSH2 0x1d1a
00001d0a: SWAP1
00001d0b: CALLER
00001d0c: SWAP1
00001d0d: DUP10
00001d0e: SWAP1
00001d0f: DUP9
00001d10: SWAP1
00001d11: DUP9
00001d12: SWAP1
00001d13: PUSH1 0x04
00001d15: ADD
00001d16: PUSH2 0x25e2
00001d19: JUMP
00001d1a: JUMPDEST
00001d1b: PUSH1 0x20
00001d1d: PUSH1 0x40
00001d1f: MLOAD
00001d20: DUP1
00001d21: DUP4
00001d22: SUB
00001d23: DUP2
00001d24: PUSH1 0x00
00001d26: DUP8
00001d27: DUP1
00001d28: EXTCODESIZE
00001d29: ISZERO
00001d2a: DUP1
00001d2b: ISZERO
00001d2c: PUSH2 0x1d34
00001d2f: JUMPI
00001d30: PUSH1 0x00
00001d32: DUP1
00001d33: REVERT
00001d34: JUMPDEST
00001d35: POP
00001d36: GAS
00001d37: CALL
00001d38: SWAP3
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: DUP1
00001d3d: ISZERO
00001d3e: PUSH2 0x1d64
00001d41: JUMPI
00001d42: POP
00001d43: PUSH1 0x40
00001d45: DUP1
00001d46: MLOAD
00001d47: PUSH1 0x1f
00001d49: RETURNDATASIZE
00001d4a: SWAP1
00001d4b: DUP2
00001d4c: ADD
00001d4d: PUSH1 0x1f
00001d4f: NOT
00001d50: AND
00001d51: DUP3
00001d52: ADD
00001d53: SWAP1
00001d54: SWAP3
00001d55: MSTORE
00001d56: PUSH2 0x1d61
00001d59: SWAP2
00001d5a: DUP2
00001d5b: ADD
00001d5c: SWAP1
00001d5d: PUSH2 0x24b0
00001d60: JUMP
00001d61: JUMPDEST
00001d62: PUSH1 0x01
00001d64: JUMPDEST
00001d65: PUSH2 0x1dbe
00001d68: JUMPI
00001d69: RETURNDATASIZE
00001d6a: DUP1
00001d6b: DUP1
00001d6c: ISZERO
00001d6d: PUSH2 0x1d92
00001d70: JUMPI
00001d71: PUSH1 0x40
00001d73: MLOAD
00001d74: SWAP2
00001d75: POP
00001d76: PUSH1 0x1f
00001d78: NOT
00001d79: PUSH1 0x3f
00001d7b: RETURNDATASIZE
00001d7c: ADD
00001d7d: AND
00001d7e: DUP3
00001d7f: ADD
00001d80: PUSH1 0x40
00001d82: MSTORE
00001d83: RETURNDATASIZE
00001d84: DUP3
00001d85: MSTORE
00001d86: RETURNDATASIZE
00001d87: PUSH1 0x00
00001d89: PUSH1 0x20
00001d8b: DUP5
00001d8c: ADD
00001d8d: RETURNDATACOPY
00001d8e: PUSH2 0x1d97
00001d91: JUMP
00001d92: JUMPDEST
00001d93: PUSH1 0x60
00001d95: SWAP2
00001d96: POP
00001d97: JUMPDEST
00001d98: POP
00001d99: DUP1
00001d9a: MLOAD
00001d9b: PUSH2 0x1db6
00001d9e: JUMPI
00001d9f: PUSH1 0x40
00001da1: MLOAD
00001da2: PUSH3 0x461bcd
00001da6: PUSH1 0xe5
00001da8: SHL
00001da9: DUP2
00001daa: MSTORE
00001dab: PUSH1 0x04
00001dad: ADD
00001dae: PUSH2 0x07d9
00001db1: SWAP1
00001db2: PUSH2 0x2632
00001db5: JUMP
00001db6: JUMPDEST
00001db7: DUP1
00001db8: MLOAD
00001db9: DUP2
00001dba: PUSH1 0x20
00001dbc: ADD
00001dbd: REVERT
00001dbe: JUMPDEST
00001dbf: PUSH1 0x01
00001dc1: PUSH1 0x01
00001dc3: PUSH1 0xe0
00001dc5: SHL
00001dc6: SUB
00001dc7: NOT
00001dc8: AND
00001dc9: PUSH4 0x0a85bd01
00001dce: PUSH1 0xe1
00001dd0: SHL
00001dd1: EQ
00001dd2: SWAP1
00001dd3: POP
00001dd4: PUSH2 0x15c4
00001dd7: JUMP
00001dd8: JUMPDEST
00001dd9: POP
00001dda: PUSH1 0x01
00001ddc: SWAP5
00001ddd: SWAP4
00001dde: POP
00001ddf: POP
00001de0: POP
00001de1: POP
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH1 0x00
00001de6: PUSH1 0x01
00001de8: PUSH1 0x01
00001dea: PUSH1 0xe0
00001dec: SHL
00001ded: SUB
00001dee: NOT
00001def: DUP3
00001df0: AND
00001df1: PUSH4 0x80ac58cd
00001df6: PUSH1 0xe0
00001df8: SHL
00001df9: EQ
00001dfa: DUP1
00001dfb: PUSH2 0x1e14
00001dfe: JUMPI
00001dff: POP
00001e00: PUSH1 0x01
00001e02: PUSH1 0x01
00001e04: PUSH1 0xe0
00001e06: SHL
00001e07: SUB
00001e08: NOT
00001e09: DUP3
00001e0a: AND
00001e0b: PUSH4 0x5b5e139f
00001e10: PUSH1 0xe0
00001e12: SHL
00001e13: EQ
00001e14: JUMPDEST
00001e15: DUP1
00001e16: PUSH2 0x06cc
00001e19: JUMPI
00001e1a: POP
00001e1b: PUSH4 0x01ffc9a7
00001e20: PUSH1 0xe0
00001e22: SHL
00001e23: PUSH1 0x01
00001e25: PUSH1 0x01
00001e27: PUSH1 0xe0
00001e29: SHL
00001e2a: SUB
00001e2b: NOT
00001e2c: DUP4
00001e2d: AND
00001e2e: EQ
00001e2f: PUSH2 0x06cc
00001e32: JUMP
00001e33: JUMPDEST
00001e34: PUSH1 0x01
00001e36: PUSH1 0x01
00001e38: PUSH1 0xa0
00001e3a: SHL
00001e3b: SUB
00001e3c: DUP3
00001e3d: AND
00001e3e: PUSH2 0x1e89
00001e41: JUMPI
00001e42: PUSH1 0x40
00001e44: MLOAD
00001e45: PUSH3 0x461bcd
00001e49: PUSH1 0xe5
00001e4b: SHL
00001e4c: DUP2
00001e4d: MSTORE
00001e4e: PUSH1 0x20
00001e50: PUSH1 0x04
00001e52: DUP3
00001e53: ADD
00001e54: DUP2
00001e55: SWAP1
00001e56: MSTORE
00001e57: PUSH1 0x24
00001e59: DUP3
00001e5a: ADD
00001e5b: MSTORE
00001e5c: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00001e7d: PUSH1 0x44
00001e7f: DUP3
00001e80: ADD
00001e81: MSTORE
00001e82: PUSH1 0x64
00001e84: ADD
00001e85: PUSH2 0x07d9
00001e88: JUMP
00001e89: JUMPDEST
00001e8a: PUSH1 0x00
00001e8c: DUP2
00001e8d: DUP2
00001e8e: MSTORE
00001e8f: PUSH1 0x02
00001e91: PUSH1 0x20
00001e93: MSTORE
00001e94: PUSH1 0x40
00001e96: SWAP1
00001e97: KECCAK256
00001e98: SLOAD
00001e99: PUSH1 0x01
00001e9b: PUSH1 0x01
00001e9d: PUSH1 0xa0
00001e9f: SHL
00001ea0: SUB
00001ea1: AND
00001ea2: ISZERO
00001ea3: PUSH2 0x1eee
00001ea6: JUMPI
00001ea7: PUSH1 0x40
00001ea9: MLOAD
00001eaa: PUSH3 0x461bcd
00001eae: PUSH1 0xe5
00001eb0: SHL
00001eb1: DUP2
00001eb2: MSTORE
00001eb3: PUSH1 0x20
00001eb5: PUSH1 0x04
00001eb7: DUP3
00001eb8: ADD
00001eb9: MSTORE
00001eba: PUSH1 0x1c
00001ebc: PUSH1 0x24
00001ebe: DUP3
00001ebf: ADD
00001ec0: MSTORE
00001ec1: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00001ee2: PUSH1 0x44
00001ee4: DUP3
00001ee5: ADD
00001ee6: MSTORE
00001ee7: PUSH1 0x64
00001ee9: ADD
00001eea: PUSH2 0x07d9
00001eed: JUMP
00001eee: JUMPDEST
00001eef: PUSH2 0x1efa
00001ef2: PUSH1 0x00
00001ef4: DUP4
00001ef5: DUP4
00001ef6: PUSH2 0x1c1e
00001ef9: JUMP
00001efa: JUMPDEST
00001efb: PUSH1 0x01
00001efd: PUSH1 0x01
00001eff: PUSH1 0xa0
00001f01: SHL
00001f02: SUB
00001f03: DUP3
00001f04: AND
00001f05: PUSH1 0x00
00001f07: SWAP1
00001f08: DUP2
00001f09: MSTORE
00001f0a: PUSH1 0x03
00001f0c: PUSH1 0x20
00001f0e: MSTORE
00001f0f: PUSH1 0x40
00001f11: DUP2
00001f12: KECCAK256
00001f13: DUP1
00001f14: SLOAD
00001f15: PUSH1 0x01
00001f17: SWAP3
00001f18: SWAP1
00001f19: PUSH2 0x1f23
00001f1c: SWAP1
00001f1d: DUP5
00001f1e: SWAP1
00001f1f: PUSH2 0x2706
00001f22: JUMP
00001f23: JUMPDEST
00001f24: SWAP1
00001f25: SWAP2
00001f26: SSTORE
00001f27: POP
00001f28: POP
00001f29: PUSH1 0x00
00001f2b: DUP2
00001f2c: DUP2
00001f2d: MSTORE
00001f2e: PUSH1 0x02
00001f30: PUSH1 0x20
00001f32: MSTORE
00001f33: PUSH1 0x40
00001f35: DUP1
00001f36: DUP3
00001f37: KECCAK256
00001f38: DUP1
00001f39: SLOAD
00001f3a: PUSH1 0x01
00001f3c: PUSH1 0x01
00001f3e: PUSH1 0xa0
00001f40: SHL
00001f41: SUB
00001f42: NOT
00001f43: AND
00001f44: PUSH1 0x01
00001f46: PUSH1 0x01
00001f48: PUSH1 0xa0
00001f4a: SHL
00001f4b: SUB
00001f4c: DUP7
00001f4d: AND
00001f4e: SWAP1
00001f4f: DUP2
00001f50: OR
00001f51: SWAP1
00001f52: SWAP2
00001f53: SSTORE
00001f54: SWAP1
00001f55: MLOAD
00001f56: DUP4
00001f57: SWAP3
00001f58: SWAP1
00001f59: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001f7a: SWAP1
00001f7b: DUP3
00001f7c: SWAP1
00001f7d: LOG4
00001f7e: POP
00001f7f: POP
00001f80: JUMP
00001f81: JUMPDEST
00001f82: PUSH1 0x00
00001f84: PUSH1 0x01
00001f86: PUSH2 0x1f8e
00001f89: DUP5
00001f8a: PUSH2 0x0c74
00001f8d: JUMP
00001f8e: JUMPDEST
00001f8f: PUSH2 0x1f98
00001f92: SWAP2
00001f93: SWAP1
00001f94: PUSH2 0x2751
00001f97: JUMP
00001f98: JUMPDEST
00001f99: PUSH1 0x00
00001f9b: DUP4
00001f9c: DUP2
00001f9d: MSTORE
00001f9e: PUSH1 0x07
00001fa0: PUSH1 0x20
00001fa2: MSTORE
00001fa3: PUSH1 0x40
00001fa5: SWAP1
00001fa6: KECCAK256
00001fa7: SLOAD
00001fa8: SWAP1
00001fa9: SWAP2
00001faa: POP
00001fab: DUP1
00001fac: DUP3
00001fad: EQ
00001fae: PUSH2 0x1feb
00001fb1: JUMPI
00001fb2: PUSH1 0x01
00001fb4: PUSH1 0x01
00001fb6: PUSH1 0xa0
00001fb8: SHL
00001fb9: SUB
00001fba: DUP5
00001fbb: AND
00001fbc: PUSH1 0x00
00001fbe: SWAP1
00001fbf: DUP2
00001fc0: MSTORE
00001fc1: PUSH1 0x06
00001fc3: PUSH1 0x20
00001fc5: SWAP1
00001fc6: DUP2
00001fc7: MSTORE
00001fc8: PUSH1 0x40
00001fca: DUP1
00001fcb: DUP4
00001fcc: KECCAK256
00001fcd: DUP6
00001fce: DUP5
00001fcf: MSTORE
00001fd0: DUP3
00001fd1: MSTORE
00001fd2: DUP1
00001fd3: DUP4
00001fd4: KECCAK256
00001fd5: SLOAD
00001fd6: DUP5
00001fd7: DUP5
00001fd8: MSTORE
00001fd9: DUP2
00001fda: DUP5
00001fdb: KECCAK256
00001fdc: DUP2
00001fdd: SWAP1
00001fde: SSTORE
00001fdf: DUP4
00001fe0: MSTORE
00001fe1: PUSH1 0x07
00001fe3: SWAP1
00001fe4: SWAP2
00001fe5: MSTORE
00001fe6: SWAP1
00001fe7: KECCAK256
00001fe8: DUP2
00001fe9: SWAP1
00001fea: SSTORE
00001feb: JUMPDEST
00001fec: POP
00001fed: PUSH1 0x00
00001fef: SWAP2
00001ff0: DUP3
00001ff1: MSTORE
00001ff2: PUSH1 0x07
00001ff4: PUSH1 0x20
00001ff6: SWAP1
00001ff7: DUP2
00001ff8: MSTORE
00001ff9: PUSH1 0x40
00001ffb: DUP1
00001ffc: DUP5
00001ffd: KECCAK256
00001ffe: DUP5
00001fff: SWAP1
00002000: SSTORE
00002001: PUSH1 0x01
00002003: PUSH1 0x01
00002005: PUSH1 0xa0
00002007: SHL
00002008: SUB
00002009: SWAP1
0000200a: SWAP5
0000200b: AND
0000200c: DUP4
0000200d: MSTORE
0000200e: PUSH1 0x06
00002010: DUP2
00002011: MSTORE
00002012: DUP4
00002013: DUP4
00002014: KECCAK256
00002015: SWAP2
00002016: DUP4
00002017: MSTORE
00002018: MSTORE
00002019: SWAP1
0000201a: DUP2
0000201b: KECCAK256
0000201c: SSTORE
0000201d: JUMP
0000201e: JUMPDEST
0000201f: PUSH1 0x08
00002021: SLOAD
00002022: PUSH1 0x00
00002024: SWAP1
00002025: PUSH2 0x2030
00002028: SWAP1
00002029: PUSH1 0x01
0000202b: SWAP1
0000202c: PUSH2 0x2751
0000202f: JUMP
00002030: JUMPDEST
00002031: PUSH1 0x00
00002033: DUP4
00002034: DUP2
00002035: MSTORE
00002036: PUSH1 0x09
00002038: PUSH1 0x20
0000203a: MSTORE
0000203b: PUSH1 0x40
0000203d: DUP2
0000203e: KECCAK256
0000203f: SLOAD
00002040: PUSH1 0x08
00002042: DUP1
00002043: SLOAD
00002044: SWAP4
00002045: SWAP5
00002046: POP
00002047: SWAP1
00002048: SWAP3
00002049: DUP5
0000204a: SWAP1
0000204b: DUP2
0000204c: LT
0000204d: PUSH2 0x2066
00002050: JUMPI
00002051: PUSH4 0x4e487b71
00002056: PUSH1 0xe0
00002058: SHL
00002059: PUSH1 0x00
0000205b: MSTORE
0000205c: PUSH1 0x32
0000205e: PUSH1 0x04
00002060: MSTORE
00002061: PUSH1 0x24
00002063: PUSH1 0x00
00002065: REVERT
00002066: JUMPDEST
00002067: SWAP1
00002068: PUSH1 0x00
0000206a: MSTORE
0000206b: PUSH1 0x20
0000206d: PUSH1 0x00
0000206f: KECCAK256
00002070: ADD
00002071: SLOAD
00002072: SWAP1
00002073: POP
00002074: DUP1
00002075: PUSH1 0x08
00002077: DUP4
00002078: DUP2
00002079: SLOAD
0000207a: DUP2
0000207b: LT
0000207c: PUSH2 0x2095
0000207f: JUMPI
00002080: PUSH4 0x4e487b71
00002085: PUSH1 0xe0
00002087: SHL
00002088: PUSH1 0x00
0000208a: MSTORE
0000208b: PUSH1 0x32
0000208d: PUSH1 0x04
0000208f: MSTORE
00002090: PUSH1 0x24
00002092: PUSH1 0x00
00002094: REVERT
00002095: JUMPDEST
00002096: PUSH1 0x00
00002098: SWAP2
00002099: DUP3
0000209a: MSTORE
0000209b: PUSH1 0x20
0000209d: DUP1
0000209e: DUP4
0000209f: KECCAK256
000020a0: SWAP1
000020a1: SWAP2
000020a2: ADD
000020a3: SWAP3
000020a4: SWAP1
000020a5: SWAP3
000020a6: SSTORE
000020a7: DUP3
000020a8: DUP2
000020a9: MSTORE
000020aa: PUSH1 0x09
000020ac: SWAP1
000020ad: SWAP2
000020ae: MSTORE
000020af: PUSH1 0x40
000020b1: DUP1
000020b2: DUP3
000020b3: KECCAK256
000020b4: DUP5
000020b5: SWAP1
000020b6: SSTORE
000020b7: DUP6
000020b8: DUP3
000020b9: MSTORE
000020ba: DUP2
000020bb: KECCAK256
000020bc: SSTORE
000020bd: PUSH1 0x08
000020bf: DUP1
000020c0: SLOAD
000020c1: DUP1
000020c2: PUSH2 0x20db
000020c5: JUMPI
000020c6: PUSH4 0x4e487b71
000020cb: PUSH1 0xe0
000020cd: SHL
000020ce: PUSH1 0x00
000020d0: MSTORE
000020d1: PUSH1 0x31
000020d3: PUSH1 0x04
000020d5: MSTORE
000020d6: PUSH1 0x24
000020d8: PUSH1 0x00
000020da: REVERT
000020db: JUMPDEST
000020dc: PUSH1 0x01
000020de: SWAP1
000020df: SUB
000020e0: DUP2
000020e1: DUP2
000020e2: SWAP1
000020e3: PUSH1 0x00
000020e5: MSTORE
000020e6: PUSH1 0x20
000020e8: PUSH1 0x00
000020ea: KECCAK256
000020eb: ADD
000020ec: PUSH1 0x00
000020ee: SWAP1
000020ef: SSTORE
000020f0: SWAP1
000020f1: SSTORE
000020f2: POP
000020f3: POP
000020f4: POP
000020f5: POP
000020f6: JUMP
000020f7: JUMPDEST
000020f8: PUSH1 0x00
000020fa: PUSH2 0x2102
000020fd: DUP4
000020fe: PUSH2 0x0c74
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH1 0x01
00002105: PUSH1 0x01
00002107: PUSH1 0xa0
00002109: SHL
0000210a: SUB
0000210b: SWAP1
0000210c: SWAP4
0000210d: AND
0000210e: PUSH1 0x00
00002110: SWAP1
00002111: DUP2
00002112: MSTORE
00002113: PUSH1 0x06
00002115: PUSH1 0x20
00002117: SWAP1
00002118: DUP2
00002119: MSTORE
0000211a: PUSH1 0x40
0000211c: DUP1
0000211d: DUP4
0000211e: KECCAK256
0000211f: DUP7
00002120: DUP5
00002121: MSTORE
00002122: DUP3
00002123: MSTORE
00002124: DUP1
00002125: DUP4
00002126: KECCAK256
00002127: DUP6
00002128: SWAP1
00002129: SSTORE
0000212a: SWAP4
0000212b: DUP3
0000212c: MSTORE
0000212d: PUSH1 0x07
0000212f: SWAP1
00002130: MSTORE
00002131: SWAP2
00002132: SWAP1
00002133: SWAP2
00002134: KECCAK256
00002135: SWAP2
00002136: SWAP1
00002137: SWAP2
00002138: SSTORE
00002139: POP
0000213a: JUMP
0000213b: JUMPDEST
0000213c: DUP3
0000213d: DUP1
0000213e: SLOAD
0000213f: PUSH2 0x2147
00002142: SWAP1
00002143: PUSH2 0x27ab
00002146: JUMP
00002147: JUMPDEST
00002148: SWAP1
00002149: PUSH1 0x00
0000214b: MSTORE
0000214c: PUSH1 0x20
0000214e: PUSH1 0x00
00002150: KECCAK256
00002151: SWAP1
00002152: PUSH1 0x1f
00002154: ADD
00002155: PUSH1 0x20
00002157: SWAP1
00002158: DIV
00002159: DUP2
0000215a: ADD
0000215b: SWAP3
0000215c: DUP3
0000215d: PUSH2 0x2169
00002160: JUMPI
00002161: PUSH1 0x00
00002163: DUP6
00002164: SSTORE
00002165: PUSH2 0x21af
00002168: JUMP
00002169: JUMPDEST
0000216a: DUP3
0000216b: PUSH1 0x1f
0000216d: LT
0000216e: PUSH2 0x2182
00002171: JUMPI
00002172: DUP1
00002173: MLOAD
00002174: PUSH1 0xff
00002176: NOT
00002177: AND
00002178: DUP4
00002179: DUP1
0000217a: ADD
0000217b: OR
0000217c: DUP6
0000217d: SSTORE
0000217e: PUSH2 0x21af
00002181: JUMP
00002182: JUMPDEST
00002183: DUP3
00002184: DUP1
00002185: ADD
00002186: PUSH1 0x01
00002188: ADD
00002189: DUP6
0000218a: SSTORE
0000218b: DUP3
0000218c: ISZERO
0000218d: PUSH2 0x21af
00002190: JUMPI
00002191: SWAP2
00002192: DUP3
00002193: ADD
00002194: JUMPDEST
00002195: DUP3
00002196: DUP2
00002197: GT
00002198: ISZERO
00002199: PUSH2 0x21af
0000219c: JUMPI
0000219d: DUP3
0000219e: MLOAD
0000219f: DUP3
000021a0: SSTORE
000021a1: SWAP2
000021a2: PUSH1 0x20
000021a4: ADD
000021a5: SWAP2
000021a6: SWAP1
000021a7: PUSH1 0x01
000021a9: ADD
000021aa: SWAP1
000021ab: PUSH2 0x2194
000021ae: JUMP
000021af: JUMPDEST
000021b0: POP
000021b1: PUSH2 0x21bb
000021b4: SWAP3
000021b5: SWAP2
000021b6: POP
000021b7: PUSH2 0x21bf
000021ba: JUMP
000021bb: JUMPDEST
000021bc: POP
000021bd: SWAP1
000021be: JUMP
000021bf: JUMPDEST
000021c0: JUMPDEST
000021c1: DUP1
000021c2: DUP3
000021c3: GT
000021c4: ISZERO
000021c5: PUSH2 0x21bb
000021c8: JUMPI
000021c9: PUSH1 0x00
000021cb: DUP2
000021cc: SSTORE
000021cd: PUSH1 0x01
000021cf: ADD
000021d0: PUSH2 0x21c0
000021d3: JUMP
000021d4: JUMPDEST
000021d5: PUSH1 0x00
000021d7: PUSH8 0xffffffffffffffff
000021e0: DUP4
000021e1: GT
000021e2: ISZERO
000021e3: PUSH2 0x21ee
000021e6: JUMPI
000021e7: PUSH2 0x21ee
000021ea: PUSH2 0x2841
000021ed: JUMP
000021ee: JUMPDEST
000021ef: PUSH2 0x2201
000021f2: PUSH1 0x1f
000021f4: DUP5
000021f5: ADD
000021f6: PUSH1 0x1f
000021f8: NOT
000021f9: AND
000021fa: PUSH1 0x20
000021fc: ADD
000021fd: PUSH2 0x26d5
00002200: JUMP
00002201: JUMPDEST
00002202: SWAP1
00002203: POP
00002204: DUP3
00002205: DUP2
00002206: MSTORE
00002207: DUP4
00002208: DUP4
00002209: DUP4
0000220a: ADD
0000220b: GT
0000220c: ISZERO
0000220d: PUSH2 0x2215
00002210: JUMPI
00002211: PUSH1 0x00
00002213: DUP1
00002214: REVERT
00002215: JUMPDEST
00002216: DUP3
00002217: DUP3
00002218: PUSH1 0x20
0000221a: DUP4
0000221b: ADD
0000221c: CALLDATACOPY
0000221d: PUSH1 0x00
0000221f: PUSH1 0x20
00002221: DUP5
00002222: DUP4
00002223: ADD
00002224: ADD
00002225: MSTORE
00002226: SWAP4
00002227: SWAP3
00002228: POP
00002229: POP
0000222a: POP
0000222b: JUMP
0000222c: JUMPDEST
0000222d: DUP1
0000222e: CALLDATALOAD
0000222f: PUSH1 0x01
00002231: PUSH1 0x01
00002233: PUSH1 0xa0
00002235: SHL
00002236: SUB
00002237: DUP2
00002238: AND
00002239: DUP2
0000223a: EQ
0000223b: PUSH2 0x2243
0000223e: JUMPI
0000223f: PUSH1 0x00
00002241: DUP1
00002242: REVERT
00002243: JUMPDEST
00002244: SWAP2
00002245: SWAP1
00002246: POP
00002247: JUMP
00002248: JUMPDEST
00002249: PUSH1 0x00
0000224b: PUSH1 0x20
0000224d: DUP3
0000224e: DUP5
0000224f: SUB
00002250: SLT
00002251: ISZERO
00002252: PUSH2 0x2259
00002255: JUMPI
00002256: DUP1
00002257: DUP2
00002258: REVERT
00002259: JUMPDEST
0000225a: PUSH2 0x1065
0000225d: DUP3
0000225e: PUSH2 0x222c
00002261: JUMP
00002262: JUMPDEST
00002263: PUSH1 0x00
00002265: DUP1
00002266: PUSH1 0x40
00002268: DUP4
00002269: DUP6
0000226a: SUB
0000226b: SLT
0000226c: ISZERO
0000226d: PUSH2 0x2274
00002270: JUMPI
00002271: DUP1
00002272: DUP2
00002273: REVERT
00002274: JUMPDEST
00002275: PUSH2 0x227d
00002278: DUP4
00002279: PUSH2 0x222c
0000227c: JUMP
0000227d: JUMPDEST
0000227e: SWAP2
0000227f: POP
00002280: PUSH2 0x228b
00002283: PUSH1 0x20
00002285: DUP5
00002286: ADD
00002287: PUSH2 0x222c
0000228a: JUMP
0000228b: JUMPDEST
0000228c: SWAP1
0000228d: POP
0000228e: SWAP3
0000228f: POP
00002290: SWAP3
00002291: SWAP1
00002292: POP
00002293: JUMP
00002294: JUMPDEST
00002295: PUSH1 0x00
00002297: DUP1
00002298: PUSH1 0x00
0000229a: PUSH1 0x60
0000229c: DUP5
0000229d: DUP7
0000229e: SUB
0000229f: SLT
000022a0: ISZERO
000022a1: PUSH2 0x22a8
000022a4: JUMPI
000022a5: DUP1
000022a6: DUP2
000022a7: REVERT
000022a8: JUMPDEST
000022a9: PUSH2 0x22b1
000022ac: DUP5
000022ad: PUSH2 0x222c
000022b0: JUMP
000022b1: JUMPDEST
000022b2: SWAP3
000022b3: POP
000022b4: PUSH2 0x22bf
000022b7: PUSH1 0x20
000022b9: DUP6
000022ba: ADD
000022bb: PUSH2 0x222c
000022be: JUMP
000022bf: JUMPDEST
000022c0: SWAP2
000022c1: POP
000022c2: PUSH1 0x40
000022c4: DUP5
000022c5: ADD
000022c6: CALLDATALOAD
000022c7: SWAP1
000022c8: POP
000022c9: SWAP3
000022ca: POP
000022cb: SWAP3
000022cc: POP
000022cd: SWAP3
000022ce: JUMP
000022cf: JUMPDEST
000022d0: PUSH1 0x00
000022d2: DUP1
000022d3: PUSH1 0x00
000022d5: DUP1
000022d6: PUSH1 0x80
000022d8: DUP6
000022d9: DUP8
000022da: SUB
000022db: SLT
000022dc: ISZERO
000022dd: PUSH2 0x22e4
000022e0: JUMPI
000022e1: DUP1
000022e2: DUP2
000022e3: REVERT
000022e4: JUMPDEST
000022e5: PUSH2 0x22ed
000022e8: DUP6
000022e9: PUSH2 0x222c
000022ec: JUMP
000022ed: JUMPDEST
000022ee: SWAP4
000022ef: POP
000022f0: PUSH2 0x22fb
000022f3: PUSH1 0x20
000022f5: DUP7
000022f6: ADD
000022f7: PUSH2 0x222c
000022fa: JUMP
000022fb: JUMPDEST
000022fc: SWAP3
000022fd: POP
000022fe: PUSH1 0x40
00002300: DUP6
00002301: ADD
00002302: CALLDATALOAD
00002303: SWAP2
00002304: POP
00002305: PUSH1 0x60
00002307: DUP6
00002308: ADD
00002309: CALLDATALOAD
0000230a: PUSH8 0xffffffffffffffff
00002313: DUP2
00002314: GT
00002315: ISZERO
00002316: PUSH2 0x231d
00002319: JUMPI
0000231a: DUP2
0000231b: DUP3
0000231c: REVERT
0000231d: JUMPDEST
0000231e: DUP6
0000231f: ADD
00002320: PUSH1 0x1f
00002322: DUP2
00002323: ADD
00002324: DUP8
00002325: SGT
00002326: PUSH2 0x232d
00002329: JUMPI
0000232a: DUP2
0000232b: DUP3
0000232c: REVERT
0000232d: JUMPDEST
0000232e: PUSH2 0x233c
00002331: DUP8
00002332: DUP3
00002333: CALLDATALOAD
00002334: PUSH1 0x20
00002336: DUP5
00002337: ADD
00002338: PUSH2 0x21d4
0000233b: JUMP
0000233c: JUMPDEST
0000233d: SWAP2
0000233e: POP
0000233f: POP
00002340: SWAP3
00002341: SWAP6
00002342: SWAP2
00002343: SWAP5
00002344: POP
00002345: SWAP3
00002346: POP
00002347: JUMP
00002348: JUMPDEST
00002349: PUSH1 0x00
0000234b: DUP1
0000234c: PUSH1 0x40
0000234e: DUP4
0000234f: DUP6
00002350: SUB
00002351: SLT
00002352: ISZERO
00002353: PUSH2 0x235a
00002356: JUMPI
00002357: DUP2
00002358: DUP3
00002359: REVERT
0000235a: JUMPDEST
0000235b: PUSH2 0x2363
0000235e: DUP4
0000235f: PUSH2 0x222c
00002362: JUMP
00002363: JUMPDEST
00002364: SWAP2
00002365: POP
00002366: PUSH1 0x20
00002368: DUP4
00002369: ADD
0000236a: CALLDATALOAD
0000236b: DUP1
0000236c: ISZERO
0000236d: ISZERO
0000236e: DUP2
0000236f: EQ
00002370: PUSH2 0x2377
00002373: JUMPI
00002374: DUP2
00002375: DUP3
00002376: REVERT
00002377: JUMPDEST
00002378: DUP1
00002379: SWAP2
0000237a: POP
0000237b: POP
0000237c: SWAP3
0000237d: POP
0000237e: SWAP3
0000237f: SWAP1
00002380: POP
00002381: JUMP
00002382: JUMPDEST
00002383: PUSH1 0x00
00002385: DUP1
00002386: PUSH1 0x40
00002388: DUP4
00002389: DUP6
0000238a: SUB
0000238b: SLT
0000238c: ISZERO
0000238d: PUSH2 0x2394
00002390: JUMPI
00002391: DUP2
00002392: DUP3
00002393: REVERT
00002394: JUMPDEST
00002395: PUSH2 0x239d
00002398: DUP4
00002399: PUSH2 0x222c
0000239c: JUMP
0000239d: JUMPDEST
0000239e: SWAP5
0000239f: PUSH1 0x20
000023a1: SWAP4
000023a2: SWAP1
000023a3: SWAP4
000023a4: ADD
000023a5: CALLDATALOAD
000023a6: SWAP4
000023a7: POP
000023a8: POP
000023a9: POP
000023aa: JUMP
000023ab: JUMPDEST
000023ac: PUSH1 0x00
000023ae: PUSH1 0x20
000023b0: DUP1
000023b1: DUP4
000023b2: DUP6
000023b3: SUB
000023b4: SLT
000023b5: ISZERO
000023b6: PUSH2 0x23bd
000023b9: JUMPI
000023ba: DUP2
000023bb: DUP3
000023bc: REVERT
000023bd: JUMPDEST
000023be: DUP3
000023bf: CALLDATALOAD
000023c0: PUSH8 0xffffffffffffffff
000023c9: DUP1
000023ca: DUP3
000023cb: GT
000023cc: ISZERO
000023cd: PUSH2 0x23d4
000023d0: JUMPI
000023d1: DUP4
000023d2: DUP5
000023d3: REVERT
000023d4: JUMPDEST
000023d5: DUP2
000023d6: DUP6
000023d7: ADD
000023d8: SWAP2
000023d9: POP
000023da: DUP6
000023db: PUSH1 0x1f
000023dd: DUP4
000023de: ADD
000023df: SLT
000023e0: PUSH2 0x23e7
000023e3: JUMPI
000023e4: DUP4
000023e5: DUP5
000023e6: REVERT
000023e7: JUMPDEST
000023e8: DUP2
000023e9: CALLDATALOAD
000023ea: DUP2
000023eb: DUP2
000023ec: GT
000023ed: ISZERO
000023ee: PUSH2 0x23f9
000023f1: JUMPI
000023f2: PUSH2 0x23f9
000023f5: PUSH2 0x2841
000023f8: JUMP
000023f9: JUMPDEST
000023fa: DUP1
000023fb: PUSH1 0x05
000023fd: SHL
000023fe: SWAP2
000023ff: POP
00002400: PUSH2 0x240a
00002403: DUP5
00002404: DUP4
00002405: ADD
00002406: PUSH2 0x26d5
00002409: JUMP
0000240a: JUMPDEST
0000240b: DUP2
0000240c: DUP2
0000240d: MSTORE
0000240e: DUP5
0000240f: DUP2
00002410: ADD
00002411: SWAP1
00002412: DUP5
00002413: DUP7
00002414: ADD
00002415: DUP5
00002416: DUP7
00002417: ADD
00002418: DUP8
00002419: ADD
0000241a: DUP11
0000241b: LT
0000241c: ISZERO
0000241d: PUSH2 0x2424
00002420: JUMPI
00002421: DUP8
00002422: DUP9
00002423: REVERT
00002424: JUMPDEST
00002425: DUP8
00002426: SWAP6
00002427: POP
00002428: JUMPDEST
00002429: DUP4
0000242a: DUP7
0000242b: LT
0000242c: ISZERO
0000242d: PUSH2 0x244d
00002430: JUMPI
00002431: PUSH2 0x2439
00002434: DUP2
00002435: PUSH2 0x222c
00002438: JUMP
00002439: JUMPDEST
0000243a: DUP4
0000243b: MSTORE
0000243c: PUSH1 0x01
0000243e: SWAP6
0000243f: SWAP1
00002440: SWAP6
00002441: ADD
00002442: SWAP5
00002443: SWAP2
00002444: DUP7
00002445: ADD
00002446: SWAP2
00002447: DUP7
00002448: ADD
00002449: PUSH2 0x2428
0000244c: JUMP
0000244d: JUMPDEST
0000244e: POP
0000244f: SWAP9
00002450: SWAP8
00002451: POP
00002452: POP
00002453: POP
00002454: POP
00002455: POP
00002456: POP
00002457: POP
00002458: POP
00002459: JUMP
0000245a: JUMPDEST
0000245b: PUSH1 0x00
0000245d: PUSH1 0x20
0000245f: DUP3
00002460: DUP5
00002461: SUB
00002462: SLT
00002463: ISZERO
00002464: PUSH2 0x246b
00002467: JUMPI
00002468: DUP1
00002469: DUP2
0000246a: REVERT
0000246b: JUMPDEST
0000246c: POP
0000246d: CALLDATALOAD
0000246e: SWAP2
0000246f: SWAP1
00002470: POP
00002471: JUMP
00002472: JUMPDEST
00002473: PUSH1 0x00
00002475: DUP1
00002476: PUSH1 0x40
00002478: DUP4
00002479: DUP6
0000247a: SUB
0000247b: SLT
0000247c: ISZERO
0000247d: PUSH2 0x2484
00002480: JUMPI
00002481: DUP2
00002482: DUP3
00002483: REVERT
00002484: JUMPDEST
00002485: DUP3
00002486: CALLDATALOAD
00002487: SWAP2
00002488: POP
00002489: PUSH2 0x228b
0000248c: PUSH1 0x20
0000248e: DUP5
0000248f: ADD
00002490: PUSH2 0x222c
00002493: JUMP
00002494: JUMPDEST
00002495: PUSH1 0x00
00002497: PUSH1 0x20
00002499: DUP3
0000249a: DUP5
0000249b: SUB
0000249c: SLT
0000249d: ISZERO
0000249e: PUSH2 0x24a5
000024a1: JUMPI
000024a2: DUP1
000024a3: DUP2
000024a4: REVERT
000024a5: JUMPDEST
000024a6: DUP2
000024a7: CALLDATALOAD
000024a8: PUSH2 0x1065
000024ab: DUP2
000024ac: PUSH2 0x2857
000024af: JUMP
000024b0: JUMPDEST
000024b1: PUSH1 0x00
000024b3: PUSH1 0x20
000024b5: DUP3
000024b6: DUP5
000024b7: SUB
000024b8: SLT
000024b9: ISZERO
000024ba: PUSH2 0x24c1
000024bd: JUMPI
000024be: DUP1
000024bf: DUP2
000024c0: REVERT
000024c1: JUMPDEST
000024c2: DUP2
000024c3: MLOAD
000024c4: PUSH2 0x1065
000024c7: DUP2
000024c8: PUSH2 0x2857
000024cb: JUMP
000024cc: JUMPDEST
000024cd: PUSH1 0x00
000024cf: PUSH1 0x20
000024d1: DUP3
000024d2: DUP5
000024d3: SUB
000024d4: SLT
000024d5: ISZERO
000024d6: PUSH2 0x24dd
000024d9: JUMPI
000024da: DUP1
000024db: DUP2
000024dc: REVERT
000024dd: JUMPDEST
000024de: DUP2
000024df: CALLDATALOAD
000024e0: PUSH8 0xffffffffffffffff
000024e9: DUP2
000024ea: GT
000024eb: ISZERO
000024ec: PUSH2 0x24f3
000024ef: JUMPI
000024f0: DUP2
000024f1: DUP3
000024f2: REVERT
000024f3: JUMPDEST
000024f4: DUP3
000024f5: ADD
000024f6: PUSH1 0x1f
000024f8: DUP2
000024f9: ADD
000024fa: DUP5
000024fb: SGT
000024fc: PUSH2 0x2503
000024ff: JUMPI
00002500: DUP2
00002501: DUP3
00002502: REVERT
00002503: JUMPDEST
00002504: PUSH2 0x15c4
00002507: DUP5
00002508: DUP3
00002509: CALLDATALOAD
0000250a: PUSH1 0x20
0000250c: DUP5
0000250d: ADD
0000250e: PUSH2 0x21d4
00002511: JUMP
00002512: JUMPDEST
00002513: PUSH1 0x00
00002515: DUP2
00002516: MLOAD
00002517: DUP1
00002518: DUP5
00002519: MSTORE
0000251a: PUSH2 0x252a
0000251d: DUP2
0000251e: PUSH1 0x20
00002520: DUP7
00002521: ADD
00002522: PUSH1 0x20
00002524: DUP7
00002525: ADD
00002526: PUSH2 0x2768
00002529: JUMP
0000252a: JUMPDEST
0000252b: PUSH1 0x1f
0000252d: ADD
0000252e: PUSH1 0x1f
00002530: NOT
00002531: AND
00002532: SWAP3
00002533: SWAP1
00002534: SWAP3
00002535: ADD
00002536: PUSH1 0x20
00002538: ADD
00002539: SWAP3
0000253a: SWAP2
0000253b: POP
0000253c: POP
0000253d: JUMP
0000253e: JUMPDEST
0000253f: PUSH1 0x00
00002541: DUP4
00002542: MLOAD
00002543: PUSH2 0x2550
00002546: DUP2
00002547: DUP5
00002548: PUSH1 0x20
0000254a: DUP9
0000254b: ADD
0000254c: PUSH2 0x2768
0000254f: JUMP
00002550: JUMPDEST
00002551: DUP4
00002552: MLOAD
00002553: SWAP1
00002554: DUP4
00002555: ADD
00002556: SWAP1
00002557: PUSH2 0x2564
0000255a: DUP2
0000255b: DUP4
0000255c: PUSH1 0x20
0000255e: DUP9
0000255f: ADD
00002560: PUSH2 0x2768
00002563: JUMP
00002564: JUMPDEST
00002565: ADD
00002566: SWAP5
00002567: SWAP4
00002568: POP
00002569: POP
0000256a: POP
0000256b: POP
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
0000258f: DUP2
00002590: MSTORE
00002591: PUSH1 0x00
00002593: DUP4
00002594: MLOAD
00002595: PUSH2 0x25a5
00002598: DUP2
00002599: PUSH1 0x17
0000259b: DUP6
0000259c: ADD
0000259d: PUSH1 0x20
0000259f: DUP9
000025a0: ADD
000025a1: PUSH2 0x2768
000025a4: JUMP
000025a5: JUMPDEST
000025a6: PUSH17 0x01034b99036b4b9b9b4b733903937b6329
000025b8: PUSH1 0x7d
000025ba: SHL
000025bb: PUSH1 0x17
000025bd: SWAP2
000025be: DUP5
000025bf: ADD
000025c0: SWAP2
000025c1: DUP3
000025c2: ADD
000025c3: MSTORE
000025c4: DUP4
000025c5: MLOAD
000025c6: PUSH2 0x25d6
000025c9: DUP2
000025ca: PUSH1 0x28
000025cc: DUP5
000025cd: ADD
000025ce: PUSH1 0x20
000025d0: DUP9
000025d1: ADD
000025d2: PUSH2 0x2768
000025d5: JUMP
000025d6: JUMPDEST
000025d7: ADD
000025d8: PUSH1 0x28
000025da: ADD
000025db: SWAP5
000025dc: SWAP4
000025dd: POP
000025de: POP
000025df: POP
000025e0: POP
000025e1: JUMP
000025e2: JUMPDEST
000025e3: PUSH1 0x01
000025e5: PUSH1 0x01
000025e7: PUSH1 0xa0
000025e9: SHL
000025ea: SUB
000025eb: DUP6
000025ec: DUP2
000025ed: AND
000025ee: DUP3
000025ef: MSTORE
000025f0: DUP5
000025f1: AND
000025f2: PUSH1 0x20
000025f4: DUP3
000025f5: ADD
000025f6: MSTORE
000025f7: PUSH1 0x40
000025f9: DUP2
000025fa: ADD
000025fb: DUP4
000025fc: SWAP1
000025fd: MSTORE
000025fe: PUSH1 0x80
00002600: PUSH1 0x60
00002602: DUP3
00002603: ADD
00002604: DUP2
00002605: SWAP1
00002606: MSTORE
00002607: PUSH1 0x00
00002609: SWAP1
0000260a: PUSH2 0x2615
0000260d: SWAP1
0000260e: DUP4
0000260f: ADD
00002610: DUP5
00002611: PUSH2 0x2512
00002614: JUMP
00002615: JUMPDEST
00002616: SWAP7
00002617: SWAP6
00002618: POP
00002619: POP
0000261a: POP
0000261b: POP
0000261c: POP
0000261d: POP
0000261e: JUMP
0000261f: JUMPDEST
00002620: PUSH1 0x20
00002622: DUP2
00002623: MSTORE
00002624: PUSH1 0x00
00002626: PUSH2 0x1065
00002629: PUSH1 0x20
0000262b: DUP4
0000262c: ADD
0000262d: DUP5
0000262e: PUSH2 0x2512
00002631: JUMP
00002632: JUMPDEST
00002633: PUSH1 0x20
00002635: DUP1
00002636: DUP3
00002637: MSTORE
00002638: PUSH1 0x32
0000263a: SWAP1
0000263b: DUP3
0000263c: ADD
0000263d: MSTORE
0000263e: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
0000265f: PUSH1 0x40
00002661: DUP3
00002662: ADD
00002663: MSTORE
00002664: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00002677: PUSH1 0x71
00002679: SHL
0000267a: PUSH1 0x60
0000267c: DUP3
0000267d: ADD
0000267e: MSTORE
0000267f: PUSH1 0x80
00002681: ADD
00002682: SWAP1
00002683: JUMP
00002684: JUMPDEST
00002685: PUSH1 0x20
00002687: DUP1
00002688: DUP3
00002689: MSTORE
0000268a: PUSH1 0x31
0000268c: SWAP1
0000268d: DUP3
0000268e: ADD
0000268f: MSTORE
00002690: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
000026b1: PUSH1 0x40
000026b3: DUP3
000026b4: ADD
000026b5: MSTORE
000026b6: PUSH17 0x1ddb995c881b9bdc88185c1c1c9bdd9959
000026c8: PUSH1 0x7a
000026ca: SHL
000026cb: PUSH1 0x60
000026cd: DUP3
000026ce: ADD
000026cf: MSTORE
000026d0: PUSH1 0x80
000026d2: ADD
000026d3: SWAP1
000026d4: JUMP
000026d5: JUMPDEST
000026d6: PUSH1 0x40
000026d8: MLOAD
000026d9: PUSH1 0x1f
000026db: DUP3
000026dc: ADD
000026dd: PUSH1 0x1f
000026df: NOT
000026e0: AND
000026e1: DUP2
000026e2: ADD
000026e3: PUSH8 0xffffffffffffffff
000026ec: DUP2
000026ed: GT
000026ee: DUP3
000026ef: DUP3
000026f0: LT
000026f1: OR
000026f2: ISZERO
000026f3: PUSH2 0x26fe
000026f6: JUMPI
000026f7: PUSH2 0x26fe
000026fa: PUSH2 0x2841
000026fd: JUMP
000026fe: JUMPDEST
000026ff: PUSH1 0x40
00002701: MSTORE
00002702: SWAP2
00002703: SWAP1
00002704: POP
00002705: JUMP
00002706: JUMPDEST
00002707: PUSH1 0x00
00002709: DUP3
0000270a: NOT
0000270b: DUP3
0000270c: GT
0000270d: ISZERO
0000270e: PUSH2 0x2719
00002711: JUMPI
00002712: PUSH2 0x2719
00002715: PUSH2 0x2815
00002718: JUMP
00002719: JUMPDEST
0000271a: POP
0000271b: ADD
0000271c: SWAP1
0000271d: JUMP
0000271e: JUMPDEST
0000271f: PUSH1 0x00
00002721: DUP3
00002722: PUSH2 0x272d
00002725: JUMPI
00002726: PUSH2 0x272d
00002729: PUSH2 0x282b
0000272c: JUMP
0000272d: JUMPDEST
0000272e: POP
0000272f: DIV
00002730: SWAP1
00002731: JUMP
00002732: JUMPDEST
00002733: PUSH1 0x00
00002735: DUP2
00002736: PUSH1 0x00
00002738: NOT
00002739: DIV
0000273a: DUP4
0000273b: GT
0000273c: DUP3
0000273d: ISZERO
0000273e: ISZERO
0000273f: AND
00002740: ISZERO
00002741: PUSH2 0x274c
00002744: JUMPI
00002745: PUSH2 0x274c
00002748: PUSH2 0x2815
0000274b: JUMP
0000274c: JUMPDEST
0000274d: POP
0000274e: MUL
0000274f: SWAP1
00002750: JUMP
00002751: JUMPDEST
00002752: PUSH1 0x00
00002754: DUP3
00002755: DUP3
00002756: LT
00002757: ISZERO
00002758: PUSH2 0x2763
0000275b: JUMPI
0000275c: PUSH2 0x2763
0000275f: PUSH2 0x2815
00002762: JUMP
00002763: JUMPDEST
00002764: POP
00002765: SUB
00002766: SWAP1
00002767: JUMP
00002768: JUMPDEST
00002769: PUSH1 0x00
0000276b: JUMPDEST
0000276c: DUP4
0000276d: DUP2
0000276e: LT
0000276f: ISZERO
00002770: PUSH2 0x2783
00002773: JUMPI
00002774: DUP2
00002775: DUP2
00002776: ADD
00002777: MLOAD
00002778: DUP4
00002779: DUP3
0000277a: ADD
0000277b: MSTORE
0000277c: PUSH1 0x20
0000277e: ADD
0000277f: PUSH2 0x276b
00002782: JUMP
00002783: JUMPDEST
00002784: DUP4
00002785: DUP2
00002786: GT
00002787: ISZERO
00002788: PUSH2 0x0da1
0000278b: JUMPI
0000278c: POP
0000278d: POP
0000278e: PUSH1 0x00
00002790: SWAP2
00002791: ADD
00002792: MSTORE
00002793: JUMP
00002794: JUMPDEST
00002795: PUSH1 0x00
00002797: DUP2
00002798: PUSH2 0x27a3
0000279b: JUMPI
0000279c: PUSH2 0x27a3
0000279f: PUSH2 0x2815
000027a2: JUMP
000027a3: JUMPDEST
000027a4: POP
000027a5: PUSH1 0x00
000027a7: NOT
000027a8: ADD
000027a9: SWAP1
000027aa: JUMP
000027ab: JUMPDEST
000027ac: PUSH1 0x01
000027ae: DUP2
000027af: DUP2
000027b0: SHR
000027b1: SWAP1
000027b2: DUP3
000027b3: AND
000027b4: DUP1
000027b5: PUSH2 0x27bf
000027b8: JUMPI
000027b9: PUSH1 0x7f
000027bb: DUP3
000027bc: AND
000027bd: SWAP2
000027be: POP
000027bf: JUMPDEST
000027c0: PUSH1 0x20
000027c2: DUP3
000027c3: LT
000027c4: DUP2
000027c5: EQ
000027c6: ISZERO
000027c7: PUSH2 0x27e0
000027ca: JUMPI
000027cb: PUSH4 0x4e487b71
000027d0: PUSH1 0xe0
000027d2: SHL
000027d3: PUSH1 0x00
000027d5: MSTORE
000027d6: PUSH1 0x22
000027d8: PUSH1 0x04
000027da: MSTORE
000027db: PUSH1 0x24
000027dd: PUSH1 0x00
000027df: REVERT
000027e0: JUMPDEST
000027e1: POP
000027e2: SWAP2
000027e3: SWAP1
000027e4: POP
000027e5: JUMP
000027e6: JUMPDEST
000027e7: PUSH1 0x00
000027e9: PUSH1 0x00
000027eb: NOT
000027ec: DUP3
000027ed: EQ
000027ee: ISZERO
000027ef: PUSH2 0x27fa
000027f2: JUMPI
000027f3: PUSH2 0x27fa
000027f6: PUSH2 0x2815
000027f9: JUMP
000027fa: JUMPDEST
000027fb: POP
000027fc: PUSH1 0x01
000027fe: ADD
000027ff: SWAP1
00002800: JUMP
00002801: JUMPDEST
00002802: PUSH1 0x00
00002804: DUP3
00002805: PUSH2 0x2810
00002808: JUMPI
00002809: PUSH2 0x2810
0000280c: PUSH2 0x282b
0000280f: JUMP
00002810: JUMPDEST
00002811: POP
00002812: MOD
00002813: SWAP1
00002814: JUMP
00002815: JUMPDEST
00002816: PUSH4 0x4e487b71
0000281b: PUSH1 0xe0
0000281d: SHL
0000281e: PUSH1 0x00
00002820: MSTORE
00002821: PUSH1 0x11
00002823: PUSH1 0x04
00002825: MSTORE
00002826: PUSH1 0x24
00002828: PUSH1 0x00
0000282a: REVERT
0000282b: JUMPDEST
0000282c: PUSH4 0x4e487b71
00002831: PUSH1 0xe0
00002833: SHL
00002834: PUSH1 0x00
00002836: MSTORE
00002837: PUSH1 0x12
00002839: PUSH1 0x04
0000283b: MSTORE
0000283c: PUSH1 0x24
0000283e: PUSH1 0x00
00002840: REVERT
00002841: JUMPDEST
00002842: PUSH4 0x4e487b71
00002847: PUSH1 0xe0
00002849: SHL
0000284a: PUSH1 0x00
0000284c: MSTORE
0000284d: PUSH1 0x41
0000284f: PUSH1 0x04
00002851: MSTORE
00002852: PUSH1 0x24
00002854: PUSH1 0x00
00002856: REVERT
00002857: JUMPDEST
00002858: PUSH1 0x01
0000285a: PUSH1 0x01
0000285c: PUSH1 0xe0
0000285e: SHL
0000285f: SUB
00002860: NOT
00002861: DUP2
00002862: AND
00002863: DUP2
00002864: EQ
00002865: PUSH2 0x286d
00002868: JUMPI
00002869: PUSH1 0x00
0000286b: DUP1
0000286c: REVERT
0000286d: JUMPDEST
0000286e: POP
0000286f: JUMP
00002870: INVALID
00002871: LOG2
00002872: PUSH5 0x6970667358
00002878: UNKNOWN(0x22)
00002879: SLT
0000287a: KECCAK256
0000287b: PUSH2 0x3bb5
0000287e: UNKNOWN(0xDD)
0000287f: MSIZE
00002880: UNKNOWN(0xED)
00002881: UNKNOWN(0x25)
00002882: UNKNOWN(0xE0)
00002883: UNKNOWN(0xCC)
00002884: DUP10
00002885: UNKNOWN(0xE7)
00002886: UNKNOWN(0x0D)
00002887: DUP7
00002888: BYTE
00002889: SLOAD
0000288a: SHL
0000288b: DUP1
0000288c: UNKNOWN(0x27)
0000288d: UNKNOWN(0xDD)
0000288e: PUSH29
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xaf61b4a1499b374b9908b9a2bb3d87f05946a82751f3e22c8baccf9ac991739a
call_targets: 0x34431f7ac2853e1aa37756e9030889b0ad98dd9f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xaf61b4a1499b374b9908b9a2bb3d87f05946a82751f3e22c8baccf9ac991739a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x34431f7ac2853e1aa37756e9030889b0ad98dd9f"
    ],
    "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": "0xdaaeec86",
            "selector": "0xdaaeec86",
            "calldata_variants": [
                "0xdaaeec86",
                "0xdaaeec860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6baefc3",
            "selector": "0xe6baefc3",
            "calldata_variants": [
                "0xe6baefc3",
                "0xe6baefc30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb8d2444",
            "selector": "0xeb8d2444",
            "calldata_variants": [
                "0xeb8d2444",
                "0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdea8e0b",
            "selector": "0xfdea8e0b",
            "calldata_variants": [
                "0xfdea8e0b",
                "0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb223999a",
            "selector": "0xb223999a",
            "calldata_variants": [
                "0xb223999a",
                "0xb223999a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb5aaf0f1",
            "selector": "0xb5aaf0f1",
            "calldata_variants": [
                "0xb5aaf0f1",
                "0xb5aaf0f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2828,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7479,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xaf61b4a1499b374b9908b9a2bb3d87f05946a82751f3e22c8baccf9ac991739a
call_targets: 0x34431f7ac2853e1aa37756e9030889b0ad98dd9f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xaf61b4a1499b374b9908b9a2bb3d87f05946a82751f3e22c8baccf9ac991739a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x34431f7ac2853e1aa37756e9030889b0ad98dd9f"
    ],
    "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": "0xdaaeec86",
            "selector": "0xdaaeec86",
            "calldata_variants": [
                "0xdaaeec86",
                "0xdaaeec860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe6baefc3",
            "selector": "0xe6baefc3",
            "calldata_variants": [
                "0xe6baefc3",
                "0xe6baefc30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb8d2444",
            "selector": "0xeb8d2444",
            "calldata_variants": [
                "0xeb8d2444",
                "0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdea8e0b",
            "selector": "0xfdea8e0b",
            "calldata_variants": [
                "0xfdea8e0b",
                "0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb223999a",
            "selector": "0xb223999a",
            "calldata_variants": [
                "0xb223999a",
                "0xb223999a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb5aaf0f1",
            "selector": "0xb5aaf0f1",
            "calldata_variants": [
                "0xb5aaf0f1",
                "0xb5aaf0f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2828,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7479,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}