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

Analysis Run

019b3844-a828-7084-a824-f2b9831ebb72

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
16663 artifact.fetch complete 1 / 3 3 months ago
16664 tool.cast_disasm complete 1 / 3 3 months ago
107169 analysis.bundle complete 1 / 3 1 week ago
107170 capability.graph complete 1 / 3 1 week ago
107171 detector.run complete 1 / 3 1 week ago
107172 validation.fork complete 1 / 3 1 week 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)
6
EXT*/BALANCE
1
Total opcodes
8108
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 0x021e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x571ac8b0
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb0f7ec38
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdf20fd49
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdf20fd49
0000003a: EQ
0000003b: PUSH2 0x0802
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe186ec74
00000045: EQ
00000046: PUSH2 0x082b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0854
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf40acc3d
0000005b: EQ
0000005c: PUSH2 0x087d
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf84ba65d
00000066: EQ
00000067: PUSH2 0x08a8
0000006a: JUMPI
0000006b: PUSH2 0x0225
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb0f7ec38
00000076: EQ
00000077: PUSH2 0x0731
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc38a31de
00000081: EQ
00000082: PUSH2 0x075c
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd7c01032
0000008c: EQ
0000008d: PUSH2 0x0785
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd85a2828
00000097: EQ
00000098: PUSH2 0x07ae
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xdd62ed3e
000000a2: EQ
000000a3: PUSH2 0x07c5
000000a6: JUMPI
000000a7: PUSH2 0x0225
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x7d1db4a5
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7d1db4a5
000000bd: EQ
000000be: PUSH2 0x0648
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x8da5cb5b
000000c8: EQ
000000c9: PUSH2 0x0673
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x95d89b41
000000d3: EQ
000000d4: PUSH2 0x069e
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa82ed9ec
000000de: EQ
000000df: PUSH2 0x06c9
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa9059cbb
000000e9: EQ
000000ea: PUSH2 0x06f4
000000ed: JUMPI
000000ee: PUSH2 0x0225
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x571ac8b0
000000f9: EQ
000000fa: PUSH2 0x058e
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x658d4b7f
00000104: EQ
00000105: PUSH2 0x05cb
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x70a08231
0000010f: EQ
00000110: PUSH2 0x05f4
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x715018a6
0000011a: EQ
0000011b: PUSH2 0x0631
0000011e: JUMPI
0000011f: PUSH2 0x0225
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x2b14ca56
0000012a: GT
0000012b: PUSH2 0x01a6
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x364333f4
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x364333f4
00000140: EQ
00000141: PUSH2 0x04b8
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x404e5129
0000014b: EQ
0000014c: PUSH2 0x04cf
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x41aea9de
00000156: EQ
00000157: PUSH2 0x04f8
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x45ce5365
00000161: EQ
00000162: PUSH2 0x0521
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x47062402
0000016c: EQ
0000016d: PUSH2 0x055e
00000170: JUMPI
00000171: PUSH2 0x0225
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x2b14ca56
0000017c: EQ
0000017d: PUSH2 0x03f5
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x2d838119
00000187: EQ
00000188: PUSH2 0x0425
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x313ce567
00000192: EQ
00000193: PUSH2 0x0462
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x3582ad23
0000019d: EQ
0000019e: PUSH2 0x048d
000001a1: JUMPI
000001a2: PUSH2 0x0225
000001a5: JUMP
000001a6: JUMPDEST
000001a7: DUP1
000001a8: PUSH4 0x16c02129
000001ad: GT
000001ae: PUSH2 0x01ed
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x16c02129
000001b8: EQ
000001b9: PUSH2 0x02fa
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x17800287
000001c3: EQ
000001c4: PUSH2 0x0337
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x18160ddd
000001ce: EQ
000001cf: PUSH2 0x0362
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x23b872dd
000001d9: EQ
000001da: PUSH2 0x038d
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x2b112e49
000001e4: EQ
000001e5: PUSH2 0x03ca
000001e8: JUMPI
000001e9: PUSH2 0x0225
000001ec: JUMP
000001ed: JUMPDEST
000001ee: DUP1
000001ef: PUSH4 0x0445b667
000001f4: EQ
000001f5: PUSH2 0x022a
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x06fdde03
000001ff: EQ
00000200: PUSH2 0x0255
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x095ea7b3
0000020a: EQ
0000020b: PUSH2 0x0280
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x0cfc15f9
00000215: EQ
00000216: PUSH2 0x02bd
00000219: JUMPI
0000021a: PUSH2 0x0225
0000021d: JUMP
0000021e: JUMPDEST
0000021f: CALLDATASIZE
00000220: PUSH2 0x0225
00000223: JUMPI
00000224: STOP
00000225: JUMPDEST
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x023f
0000023b: PUSH2 0x08d1
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH1 0x40
00000242: MLOAD
00000243: PUSH2 0x024c
00000246: SWAP2
00000247: SWAP1
00000248: PUSH2 0x2c15
0000024b: JUMP
0000024c: JUMPDEST
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: DUP1
00000251: SWAP2
00000252: SUB
00000253: SWAP1
00000254: RETURN
00000255: JUMPDEST
00000256: CALLVALUE
00000257: DUP1
00000258: ISZERO
00000259: PUSH2 0x0261
0000025c: JUMPI
0000025d: PUSH1 0x00
0000025f: DUP1
00000260: REVERT
00000261: JUMPDEST
00000262: POP
00000263: PUSH2 0x026a
00000266: PUSH2 0x08d7
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH1 0x40
0000026d: MLOAD
0000026e: PUSH2 0x0277
00000271: SWAP2
00000272: SWAP1
00000273: PUSH2 0x2cc0
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH1 0x40
0000027a: MLOAD
0000027b: DUP1
0000027c: SWAP2
0000027d: SUB
0000027e: SWAP1
0000027f: RETURN
00000280: JUMPDEST
00000281: CALLVALUE
00000282: DUP1
00000283: ISZERO
00000284: PUSH2 0x028c
00000287: JUMPI
00000288: PUSH1 0x00
0000028a: DUP1
0000028b: REVERT
0000028c: JUMPDEST
0000028d: POP
0000028e: PUSH2 0x02a7
00000291: PUSH1 0x04
00000293: DUP1
00000294: CALLDATASIZE
00000295: SUB
00000296: DUP2
00000297: ADD
00000298: SWAP1
00000299: PUSH2 0x02a2
0000029c: SWAP2
0000029d: SWAP1
0000029e: PUSH2 0x2d71
000002a1: JUMP
000002a2: JUMPDEST
000002a3: PUSH2 0x0969
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x40
000002aa: MLOAD
000002ab: PUSH2 0x02b4
000002ae: SWAP2
000002af: SWAP1
000002b0: PUSH2 0x2dcc
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH1 0x40
000002b7: MLOAD
000002b8: DUP1
000002b9: SWAP2
000002ba: SUB
000002bb: SWAP1
000002bc: RETURN
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: DUP1
000002c0: ISZERO
000002c1: PUSH2 0x02c9
000002c4: JUMPI
000002c5: PUSH1 0x00
000002c7: DUP1
000002c8: REVERT
000002c9: JUMPDEST
000002ca: POP
000002cb: PUSH2 0x02e4
000002ce: PUSH1 0x04
000002d0: DUP1
000002d1: CALLDATASIZE
000002d2: SUB
000002d3: DUP2
000002d4: ADD
000002d5: SWAP1
000002d6: PUSH2 0x02df
000002d9: SWAP2
000002da: SWAP1
000002db: PUSH2 0x2de7
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH2 0x0a5b
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: PUSH2 0x02f1
000002eb: SWAP2
000002ec: SWAP1
000002ed: PUSH2 0x2c15
000002f0: JUMP
000002f1: JUMPDEST
000002f2: PUSH1 0x40
000002f4: MLOAD
000002f5: DUP1
000002f6: SWAP2
000002f7: SUB
000002f8: SWAP1
000002f9: RETURN
000002fa: JUMPDEST
000002fb: CALLVALUE
000002fc: DUP1
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: POP
00000308: PUSH2 0x0321
0000030b: PUSH1 0x04
0000030d: DUP1
0000030e: CALLDATASIZE
0000030f: SUB
00000310: DUP2
00000311: ADD
00000312: SWAP1
00000313: PUSH2 0x031c
00000316: SWAP2
00000317: SWAP1
00000318: PUSH2 0x2de7
0000031b: JUMP
0000031c: JUMPDEST
0000031d: PUSH2 0x0a73
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH1 0x40
00000324: MLOAD
00000325: PUSH2 0x032e
00000328: SWAP2
00000329: SWAP1
0000032a: PUSH2 0x2dcc
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH1 0x40
00000331: MLOAD
00000332: DUP1
00000333: SWAP2
00000334: SUB
00000335: SWAP1
00000336: RETURN
00000337: JUMPDEST
00000338: CALLVALUE
00000339: DUP1
0000033a: ISZERO
0000033b: PUSH2 0x0343
0000033e: JUMPI
0000033f: PUSH1 0x00
00000341: DUP1
00000342: REVERT
00000343: JUMPDEST
00000344: POP
00000345: PUSH2 0x034c
00000348: PUSH2 0x0a93
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH1 0x40
0000034f: MLOAD
00000350: PUSH2 0x0359
00000353: SWAP2
00000354: SWAP1
00000355: PUSH2 0x2c15
00000358: JUMP
00000359: JUMPDEST
0000035a: PUSH1 0x40
0000035c: MLOAD
0000035d: DUP1
0000035e: SWAP2
0000035f: SUB
00000360: SWAP1
00000361: RETURN
00000362: JUMPDEST
00000363: CALLVALUE
00000364: DUP1
00000365: ISZERO
00000366: PUSH2 0x036e
00000369: JUMPI
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: REVERT
0000036e: JUMPDEST
0000036f: POP
00000370: PUSH2 0x0377
00000373: PUSH2 0x0a99
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH1 0x40
0000037a: MLOAD
0000037b: PUSH2 0x0384
0000037e: SWAP2
0000037f: SWAP1
00000380: PUSH2 0x2c15
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH1 0x40
00000387: MLOAD
00000388: DUP1
00000389: SWAP2
0000038a: SUB
0000038b: SWAP1
0000038c: RETURN
0000038d: JUMPDEST
0000038e: CALLVALUE
0000038f: DUP1
00000390: ISZERO
00000391: PUSH2 0x0399
00000394: JUMPI
00000395: PUSH1 0x00
00000397: DUP1
00000398: REVERT
00000399: JUMPDEST
0000039a: POP
0000039b: PUSH2 0x03b4
0000039e: PUSH1 0x04
000003a0: DUP1
000003a1: CALLDATASIZE
000003a2: SUB
000003a3: DUP2
000003a4: ADD
000003a5: SWAP1
000003a6: PUSH2 0x03af
000003a9: SWAP2
000003aa: SWAP1
000003ab: PUSH2 0x2e14
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x0aa3
000003b3: JUMP
000003b4: JUMPDEST
000003b5: PUSH1 0x40
000003b7: MLOAD
000003b8: PUSH2 0x03c1
000003bb: SWAP2
000003bc: SWAP1
000003bd: PUSH2 0x2dcc
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH1 0x40
000003c4: MLOAD
000003c5: DUP1
000003c6: SWAP2
000003c7: SUB
000003c8: SWAP1
000003c9: RETURN
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x03df
000003db: PUSH2 0x0d24
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: PUSH2 0x03ec
000003e6: SWAP2
000003e7: SWAP1
000003e8: PUSH2 0x2c15
000003eb: JUMP
000003ec: JUMPDEST
000003ed: PUSH1 0x40
000003ef: MLOAD
000003f0: DUP1
000003f1: SWAP2
000003f2: SUB
000003f3: SWAP1
000003f4: RETURN
000003f5: JUMPDEST
000003f6: CALLVALUE
000003f7: DUP1
000003f8: ISZERO
000003f9: PUSH2 0x0401
000003fc: JUMPI
000003fd: PUSH1 0x00
000003ff: DUP1
00000400: REVERT
00000401: JUMPDEST
00000402: POP
00000403: PUSH2 0x040a
00000406: PUSH2 0x0d57
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH1 0x40
0000040d: MLOAD
0000040e: PUSH2 0x041c
00000411: SWAP7
00000412: SWAP6
00000413: SWAP5
00000414: SWAP4
00000415: SWAP3
00000416: SWAP2
00000417: SWAP1
00000418: PUSH2 0x2eae
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH1 0x40
0000041f: MLOAD
00000420: DUP1
00000421: SWAP2
00000422: SUB
00000423: SWAP1
00000424: RETURN
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x044c
00000436: PUSH1 0x04
00000438: DUP1
00000439: CALLDATASIZE
0000043a: SUB
0000043b: DUP2
0000043c: ADD
0000043d: SWAP1
0000043e: PUSH2 0x0447
00000441: SWAP2
00000442: SWAP1
00000443: PUSH2 0x2f0f
00000446: JUMP
00000447: JUMPDEST
00000448: PUSH2 0x0dde
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: PUSH2 0x0459
00000453: SWAP2
00000454: SWAP1
00000455: PUSH2 0x2c15
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: SWAP2
0000045f: SUB
00000460: SWAP1
00000461: RETURN
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x0477
00000473: PUSH2 0x0e02
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH1 0x40
0000047a: MLOAD
0000047b: PUSH2 0x0484
0000047e: SWAP2
0000047f: SWAP1
00000480: PUSH2 0x2f3c
00000483: JUMP
00000484: JUMPDEST
00000485: PUSH1 0x40
00000487: MLOAD
00000488: DUP1
00000489: SWAP2
0000048a: SUB
0000048b: SWAP1
0000048c: RETURN
0000048d: JUMPDEST
0000048e: CALLVALUE
0000048f: DUP1
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: PUSH2 0x04a2
0000049e: PUSH2 0x0e0b
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH1 0x40
000004a5: MLOAD
000004a6: PUSH2 0x04af
000004a9: SWAP2
000004aa: SWAP1
000004ab: PUSH2 0x2dcc
000004ae: JUMP
000004af: JUMPDEST
000004b0: PUSH1 0x40
000004b2: MLOAD
000004b3: DUP1
000004b4: SWAP2
000004b5: SUB
000004b6: SWAP1
000004b7: RETURN
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c4
000004bf: JUMPI
000004c0: PUSH1 0x00
000004c2: DUP1
000004c3: REVERT
000004c4: JUMPDEST
000004c5: POP
000004c6: PUSH2 0x04cd
000004c9: PUSH2 0x0e1e
000004cc: JUMP
000004cd: JUMPDEST
000004ce: STOP
000004cf: JUMPDEST
000004d0: CALLVALUE
000004d1: DUP1
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: PUSH2 0x04f6
000004e0: PUSH1 0x04
000004e2: DUP1
000004e3: CALLDATASIZE
000004e4: SUB
000004e5: DUP2
000004e6: ADD
000004e7: SWAP1
000004e8: PUSH2 0x04f1
000004eb: SWAP2
000004ec: SWAP1
000004ed: PUSH2 0x2f83
000004f0: JUMP
000004f1: JUMPDEST
000004f2: PUSH2 0x0e9f
000004f5: JUMP
000004f6: JUMPDEST
000004f7: STOP
000004f8: JUMPDEST
000004f9: CALLVALUE
000004fa: DUP1
000004fb: ISZERO
000004fc: PUSH2 0x0504
000004ff: JUMPI
00000500: PUSH1 0x00
00000502: DUP1
00000503: REVERT
00000504: JUMPDEST
00000505: POP
00000506: PUSH2 0x051f
00000509: PUSH1 0x04
0000050b: DUP1
0000050c: CALLDATASIZE
0000050d: SUB
0000050e: DUP2
0000050f: ADD
00000510: SWAP1
00000511: PUSH2 0x051a
00000514: SWAP2
00000515: SWAP1
00000516: PUSH2 0x2fc3
00000519: JUMP
0000051a: JUMPDEST
0000051b: PUSH2 0x0f02
0000051e: JUMP
0000051f: JUMPDEST
00000520: STOP
00000521: JUMPDEST
00000522: CALLVALUE
00000523: DUP1
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: PUSH2 0x0548
00000532: PUSH1 0x04
00000534: DUP1
00000535: CALLDATASIZE
00000536: SUB
00000537: DUP2
00000538: ADD
00000539: SWAP1
0000053a: PUSH2 0x0543
0000053d: SWAP2
0000053e: SWAP1
0000053f: PUSH2 0x2f0f
00000542: JUMP
00000543: JUMPDEST
00000544: PUSH2 0x0f27
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x40
0000054b: MLOAD
0000054c: PUSH2 0x0555
0000054f: SWAP2
00000550: SWAP1
00000551: PUSH2 0x2c15
00000554: JUMP
00000555: JUMPDEST
00000556: PUSH1 0x40
00000558: MLOAD
00000559: DUP1
0000055a: SWAP2
0000055b: SUB
0000055c: SWAP1
0000055d: RETURN
0000055e: JUMPDEST
0000055f: CALLVALUE
00000560: DUP1
00000561: ISZERO
00000562: PUSH2 0x056a
00000565: JUMPI
00000566: PUSH1 0x00
00000568: DUP1
00000569: REVERT
0000056a: JUMPDEST
0000056b: POP
0000056c: PUSH2 0x0573
0000056f: PUSH2 0x0f4b
00000572: JUMP
00000573: JUMPDEST
00000574: PUSH1 0x40
00000576: MLOAD
00000577: PUSH2 0x0585
0000057a: SWAP7
0000057b: SWAP6
0000057c: SWAP5
0000057d: SWAP4
0000057e: SWAP3
0000057f: SWAP2
00000580: SWAP1
00000581: PUSH2 0x2eae
00000584: JUMP
00000585: JUMPDEST
00000586: PUSH1 0x40
00000588: MLOAD
00000589: DUP1
0000058a: SWAP2
0000058b: SUB
0000058c: SWAP1
0000058d: RETURN
0000058e: JUMPDEST
0000058f: CALLVALUE
00000590: DUP1
00000591: ISZERO
00000592: PUSH2 0x059a
00000595: JUMPI
00000596: PUSH1 0x00
00000598: DUP1
00000599: REVERT
0000059a: JUMPDEST
0000059b: POP
0000059c: PUSH2 0x05b5
0000059f: PUSH1 0x04
000005a1: DUP1
000005a2: CALLDATASIZE
000005a3: SUB
000005a4: DUP2
000005a5: ADD
000005a6: SWAP1
000005a7: PUSH2 0x05b0
000005aa: SWAP2
000005ab: SWAP1
000005ac: PUSH2 0x2de7
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH2 0x0fd2
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: PUSH2 0x05c2
000005bc: SWAP2
000005bd: SWAP1
000005be: PUSH2 0x2dcc
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH1 0x40
000005c5: MLOAD
000005c6: DUP1
000005c7: SWAP2
000005c8: SUB
000005c9: SWAP1
000005ca: RETURN
000005cb: JUMPDEST
000005cc: CALLVALUE
000005cd: DUP1
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: POP
000005d9: PUSH2 0x05f2
000005dc: PUSH1 0x04
000005de: DUP1
000005df: CALLDATASIZE
000005e0: SUB
000005e1: DUP2
000005e2: ADD
000005e3: SWAP1
000005e4: PUSH2 0x05ed
000005e7: SWAP2
000005e8: SWAP1
000005e9: PUSH2 0x2f83
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH2 0x1005
000005f1: JUMP
000005f2: JUMPDEST
000005f3: STOP
000005f4: JUMPDEST
000005f5: CALLVALUE
000005f6: DUP1
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: POP
00000602: PUSH2 0x061b
00000605: PUSH1 0x04
00000607: DUP1
00000608: CALLDATASIZE
00000609: SUB
0000060a: DUP2
0000060b: ADD
0000060c: SWAP1
0000060d: PUSH2 0x0616
00000610: SWAP2
00000611: SWAP1
00000612: PUSH2 0x2de7
00000615: JUMP
00000616: JUMPDEST
00000617: PUSH2 0x1068
0000061a: JUMP
0000061b: JUMPDEST
0000061c: PUSH1 0x40
0000061e: MLOAD
0000061f: PUSH2 0x0628
00000622: SWAP2
00000623: SWAP1
00000624: PUSH2 0x2c15
00000627: JUMP
00000628: JUMPDEST
00000629: PUSH1 0x40
0000062b: MLOAD
0000062c: DUP1
0000062d: SWAP2
0000062e: SUB
0000062f: SWAP1
00000630: RETURN
00000631: JUMPDEST
00000632: CALLVALUE
00000633: DUP1
00000634: ISZERO
00000635: PUSH2 0x063d
00000638: JUMPI
00000639: PUSH1 0x00
0000063b: DUP1
0000063c: REVERT
0000063d: JUMPDEST
0000063e: POP
0000063f: PUSH2 0x0646
00000642: PUSH2 0x10b9
00000645: JUMP
00000646: JUMPDEST
00000647: STOP
00000648: JUMPDEST
00000649: CALLVALUE
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: POP
00000656: PUSH2 0x065d
00000659: PUSH2 0x10cd
0000065c: JUMP
0000065d: JUMPDEST
0000065e: PUSH1 0x40
00000660: MLOAD
00000661: PUSH2 0x066a
00000664: SWAP2
00000665: SWAP1
00000666: PUSH2 0x2c15
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH1 0x40
0000066d: MLOAD
0000066e: DUP1
0000066f: SWAP2
00000670: SUB
00000671: SWAP1
00000672: RETURN
00000673: JUMPDEST
00000674: CALLVALUE
00000675: DUP1
00000676: ISZERO
00000677: PUSH2 0x067f
0000067a: JUMPI
0000067b: PUSH1 0x00
0000067d: DUP1
0000067e: REVERT
0000067f: JUMPDEST
00000680: POP
00000681: PUSH2 0x0688
00000684: PUSH2 0x10d3
00000687: JUMP
00000688: JUMPDEST
00000689: PUSH1 0x40
0000068b: MLOAD
0000068c: PUSH2 0x0695
0000068f: SWAP2
00000690: SWAP1
00000691: PUSH2 0x2fff
00000694: JUMP
00000695: JUMPDEST
00000696: PUSH1 0x40
00000698: MLOAD
00000699: DUP1
0000069a: SWAP2
0000069b: SUB
0000069c: SWAP1
0000069d: RETURN
0000069e: JUMPDEST
0000069f: CALLVALUE
000006a0: DUP1
000006a1: ISZERO
000006a2: PUSH2 0x06aa
000006a5: JUMPI
000006a6: PUSH1 0x00
000006a8: DUP1
000006a9: REVERT
000006aa: JUMPDEST
000006ab: POP
000006ac: PUSH2 0x06b3
000006af: PUSH2 0x10fc
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: PUSH2 0x06c0
000006ba: SWAP2
000006bb: SWAP1
000006bc: PUSH2 0x2cc0
000006bf: JUMP
000006c0: JUMPDEST
000006c1: PUSH1 0x40
000006c3: MLOAD
000006c4: DUP1
000006c5: SWAP2
000006c6: SUB
000006c7: SWAP1
000006c8: RETURN
000006c9: JUMPDEST
000006ca: CALLVALUE
000006cb: DUP1
000006cc: ISZERO
000006cd: PUSH2 0x06d5
000006d0: JUMPI
000006d1: PUSH1 0x00
000006d3: DUP1
000006d4: REVERT
000006d5: JUMPDEST
000006d6: POP
000006d7: PUSH2 0x06de
000006da: PUSH2 0x118e
000006dd: JUMP
000006de: JUMPDEST
000006df: PUSH1 0x40
000006e1: MLOAD
000006e2: PUSH2 0x06eb
000006e5: SWAP2
000006e6: SWAP1
000006e7: PUSH2 0x3079
000006ea: JUMP
000006eb: JUMPDEST
000006ec: PUSH1 0x40
000006ee: MLOAD
000006ef: DUP1
000006f0: SWAP2
000006f1: SUB
000006f2: SWAP1
000006f3: RETURN
000006f4: JUMPDEST
000006f5: CALLVALUE
000006f6: DUP1
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: POP
00000702: PUSH2 0x071b
00000705: PUSH1 0x04
00000707: DUP1
00000708: CALLDATASIZE
00000709: SUB
0000070a: DUP2
0000070b: ADD
0000070c: SWAP1
0000070d: PUSH2 0x0716
00000710: SWAP2
00000711: SWAP1
00000712: PUSH2 0x2d71
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH2 0x11a6
0000071a: JUMP
0000071b: JUMPDEST
0000071c: PUSH1 0x40
0000071e: MLOAD
0000071f: PUSH2 0x0728
00000722: SWAP2
00000723: SWAP1
00000724: PUSH2 0x2dcc
00000727: JUMP
00000728: JUMPDEST
00000729: PUSH1 0x40
0000072b: MLOAD
0000072c: DUP1
0000072d: SWAP2
0000072e: SUB
0000072f: SWAP1
00000730: RETURN
00000731: JUMPDEST
00000732: CALLVALUE
00000733: DUP1
00000734: ISZERO
00000735: PUSH2 0x073d
00000738: JUMPI
00000739: PUSH1 0x00
0000073b: DUP1
0000073c: REVERT
0000073d: JUMPDEST
0000073e: POP
0000073f: PUSH2 0x0746
00000742: PUSH2 0x11bb
00000745: JUMP
00000746: JUMPDEST
00000747: PUSH1 0x40
00000749: MLOAD
0000074a: PUSH2 0x0753
0000074d: SWAP2
0000074e: SWAP1
0000074f: PUSH2 0x2dcc
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH1 0x40
00000756: MLOAD
00000757: DUP1
00000758: SWAP2
00000759: SUB
0000075a: SWAP1
0000075b: RETURN
0000075c: JUMPDEST
0000075d: CALLVALUE
0000075e: DUP1
0000075f: ISZERO
00000760: PUSH2 0x0768
00000763: JUMPI
00000764: PUSH1 0x00
00000766: DUP1
00000767: REVERT
00000768: JUMPDEST
00000769: POP
0000076a: PUSH2 0x0783
0000076d: PUSH1 0x04
0000076f: DUP1
00000770: CALLDATASIZE
00000771: SUB
00000772: DUP2
00000773: ADD
00000774: SWAP1
00000775: PUSH2 0x077e
00000778: SWAP2
00000779: SWAP1
0000077a: PUSH2 0x30c0
0000077d: JUMP
0000077e: JUMPDEST
0000077f: PUSH2 0x11ce
00000782: JUMP
00000783: JUMPDEST
00000784: STOP
00000785: JUMPDEST
00000786: CALLVALUE
00000787: DUP1
00000788: ISZERO
00000789: PUSH2 0x0791
0000078c: JUMPI
0000078d: PUSH1 0x00
0000078f: DUP1
00000790: REVERT
00000791: JUMPDEST
00000792: POP
00000793: PUSH2 0x07ac
00000796: PUSH1 0x04
00000798: DUP1
00000799: CALLDATASIZE
0000079a: SUB
0000079b: DUP2
0000079c: ADD
0000079d: SWAP1
0000079e: PUSH2 0x07a7
000007a1: SWAP2
000007a2: SWAP1
000007a3: PUSH2 0x319f
000007a6: JUMP
000007a7: JUMPDEST
000007a8: PUSH2 0x1566
000007ab: JUMP
000007ac: JUMPDEST
000007ad: STOP
000007ae: JUMPDEST
000007af: CALLVALUE
000007b0: DUP1
000007b1: ISZERO
000007b2: PUSH2 0x07ba
000007b5: JUMPI
000007b6: PUSH1 0x00
000007b8: DUP1
000007b9: REVERT
000007ba: JUMPDEST
000007bb: POP
000007bc: PUSH2 0x07c3
000007bf: PUSH2 0x1636
000007c2: JUMP
000007c3: JUMPDEST
000007c4: STOP
000007c5: JUMPDEST
000007c6: CALLVALUE
000007c7: DUP1
000007c8: ISZERO
000007c9: PUSH2 0x07d1
000007cc: JUMPI
000007cd: PUSH1 0x00
000007cf: DUP1
000007d0: REVERT
000007d1: JUMPDEST
000007d2: POP
000007d3: PUSH2 0x07ec
000007d6: PUSH1 0x04
000007d8: DUP1
000007d9: CALLDATASIZE
000007da: SUB
000007db: DUP2
000007dc: ADD
000007dd: SWAP1
000007de: PUSH2 0x07e7
000007e1: SWAP2
000007e2: SWAP1
000007e3: PUSH2 0x31f2
000007e6: JUMP
000007e7: JUMPDEST
000007e8: PUSH2 0x1654
000007eb: JUMP
000007ec: JUMPDEST
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: PUSH2 0x07f9
000007f3: SWAP2
000007f4: SWAP1
000007f5: PUSH2 0x2c15
000007f8: JUMP
000007f9: JUMPDEST
000007fa: PUSH1 0x40
000007fc: MLOAD
000007fd: DUP1
000007fe: SWAP2
000007ff: SUB
00000800: SWAP1
00000801: RETURN
00000802: JUMPDEST
00000803: CALLVALUE
00000804: DUP1
00000805: ISZERO
00000806: PUSH2 0x080e
00000809: JUMPI
0000080a: PUSH1 0x00
0000080c: DUP1
0000080d: REVERT
0000080e: JUMPDEST
0000080f: POP
00000810: PUSH2 0x0829
00000813: PUSH1 0x04
00000815: DUP1
00000816: CALLDATASIZE
00000817: SUB
00000818: DUP2
00000819: ADD
0000081a: SWAP1
0000081b: PUSH2 0x0824
0000081e: SWAP2
0000081f: SWAP1
00000820: PUSH2 0x3232
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH2 0x16db
00000828: JUMP
00000829: JUMPDEST
0000082a: STOP
0000082b: JUMPDEST
0000082c: CALLVALUE
0000082d: DUP1
0000082e: ISZERO
0000082f: PUSH2 0x0837
00000832: JUMPI
00000833: PUSH1 0x00
00000835: DUP1
00000836: REVERT
00000837: JUMPDEST
00000838: POP
00000839: PUSH2 0x0852
0000083c: PUSH1 0x04
0000083e: DUP1
0000083f: CALLDATASIZE
00000840: SUB
00000841: DUP2
00000842: ADD
00000843: SWAP1
00000844: PUSH2 0x084d
00000847: SWAP2
00000848: SWAP1
00000849: PUSH2 0x2f0f
0000084c: JUMP
0000084d: JUMPDEST
0000084e: PUSH2 0x1708
00000851: JUMP
00000852: JUMPDEST
00000853: STOP
00000854: JUMPDEST
00000855: CALLVALUE
00000856: DUP1
00000857: ISZERO
00000858: PUSH2 0x0860
0000085b: JUMPI
0000085c: PUSH1 0x00
0000085e: DUP1
0000085f: REVERT
00000860: JUMPDEST
00000861: POP
00000862: PUSH2 0x087b
00000865: PUSH1 0x04
00000867: DUP1
00000868: CALLDATASIZE
00000869: SUB
0000086a: DUP2
0000086b: ADD
0000086c: SWAP1
0000086d: PUSH2 0x0876
00000870: SWAP2
00000871: SWAP1
00000872: PUSH2 0x2de7
00000875: JUMP
00000876: JUMPDEST
00000877: PUSH2 0x1734
0000087a: JUMP
0000087b: JUMPDEST
0000087c: STOP
0000087d: JUMPDEST
0000087e: CALLVALUE
0000087f: DUP1
00000880: ISZERO
00000881: PUSH2 0x0889
00000884: JUMPI
00000885: PUSH1 0x00
00000887: DUP1
00000888: REVERT
00000889: JUMPDEST
0000088a: POP
0000088b: PUSH2 0x0892
0000088e: PUSH2 0x17b7
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x40
00000895: MLOAD
00000896: PUSH2 0x089f
00000899: SWAP2
0000089a: SWAP1
0000089b: PUSH2 0x2fff
0000089e: JUMP
0000089f: JUMPDEST
000008a0: PUSH1 0x40
000008a2: MLOAD
000008a3: DUP1
000008a4: SWAP2
000008a5: SUB
000008a6: SWAP1
000008a7: RETURN
000008a8: JUMPDEST
000008a9: CALLVALUE
000008aa: DUP1
000008ab: ISZERO
000008ac: PUSH2 0x08b4
000008af: JUMPI
000008b0: PUSH1 0x00
000008b2: DUP1
000008b3: REVERT
000008b4: JUMPDEST
000008b5: POP
000008b6: PUSH2 0x08cf
000008b9: PUSH1 0x04
000008bb: DUP1
000008bc: CALLDATASIZE
000008bd: SUB
000008be: DUP2
000008bf: ADD
000008c0: SWAP1
000008c1: PUSH2 0x08ca
000008c4: SWAP2
000008c5: SWAP1
000008c6: PUSH2 0x2f83
000008c9: JUMP
000008ca: JUMPDEST
000008cb: PUSH2 0x17db
000008ce: JUMP
000008cf: JUMPDEST
000008d0: STOP
000008d1: JUMPDEST
000008d2: PUSH1 0x10
000008d4: SLOAD
000008d5: DUP2
000008d6: JUMP
000008d7: JUMPDEST
000008d8: PUSH1 0x60
000008da: PUSH1 0x01
000008dc: DUP1
000008dd: SLOAD
000008de: PUSH2 0x08e6
000008e1: SWAP1
000008e2: PUSH2 0x32a1
000008e5: JUMP
000008e6: JUMPDEST
000008e7: DUP1
000008e8: PUSH1 0x1f
000008ea: ADD
000008eb: PUSH1 0x20
000008ed: DUP1
000008ee: SWAP2
000008ef: DIV
000008f0: MUL
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: PUSH1 0x40
000008f6: MLOAD
000008f7: SWAP1
000008f8: DUP2
000008f9: ADD
000008fa: PUSH1 0x40
000008fc: MSTORE
000008fd: DUP1
000008fe: SWAP3
000008ff: SWAP2
00000900: SWAP1
00000901: DUP2
00000902: DUP2
00000903: MSTORE
00000904: PUSH1 0x20
00000906: ADD
00000907: DUP3
00000908: DUP1
00000909: SLOAD
0000090a: PUSH2 0x0912
0000090d: SWAP1
0000090e: PUSH2 0x32a1
00000911: JUMP
00000912: JUMPDEST
00000913: DUP1
00000914: ISZERO
00000915: PUSH2 0x095f
00000918: JUMPI
00000919: DUP1
0000091a: PUSH1 0x1f
0000091c: LT
0000091d: PUSH2 0x0934
00000920: JUMPI
00000921: PUSH2 0x0100
00000924: DUP1
00000925: DUP4
00000926: SLOAD
00000927: DIV
00000928: MUL
00000929: DUP4
0000092a: MSTORE
0000092b: SWAP2
0000092c: PUSH1 0x20
0000092e: ADD
0000092f: SWAP2
00000930: PUSH2 0x095f
00000933: JUMP
00000934: JUMPDEST
00000935: DUP3
00000936: ADD
00000937: SWAP2
00000938: SWAP1
00000939: PUSH1 0x00
0000093b: MSTORE
0000093c: PUSH1 0x20
0000093e: PUSH1 0x00
00000940: KECCAK256
00000941: SWAP1
00000942: JUMPDEST
00000943: DUP2
00000944: SLOAD
00000945: DUP2
00000946: MSTORE
00000947: SWAP1
00000948: PUSH1 0x01
0000094a: ADD
0000094b: SWAP1
0000094c: PUSH1 0x20
0000094e: ADD
0000094f: DUP1
00000950: DUP4
00000951: GT
00000952: PUSH2 0x0942
00000955: JUMPI
00000956: DUP3
00000957: SWAP1
00000958: SUB
00000959: PUSH1 0x1f
0000095b: AND
0000095c: DUP3
0000095d: ADD
0000095e: SWAP2
0000095f: JUMPDEST
00000960: POP
00000961: POP
00000962: POP
00000963: POP
00000964: POP
00000965: SWAP1
00000966: POP
00000967: SWAP1
00000968: JUMP
00000969: JUMPDEST
0000096a: PUSH1 0x00
0000096c: DUP2
0000096d: PUSH1 0x07
0000096f: PUSH1 0x00
00000971: CALLER
00000972: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000987: AND
00000988: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099d: AND
0000099e: DUP2
0000099f: MSTORE
000009a0: PUSH1 0x20
000009a2: ADD
000009a3: SWAP1
000009a4: DUP2
000009a5: MSTORE
000009a6: PUSH1 0x20
000009a8: ADD
000009a9: PUSH1 0x00
000009ab: KECCAK256
000009ac: PUSH1 0x00
000009ae: DUP6
000009af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c4: AND
000009c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009da: AND
000009db: DUP2
000009dc: MSTORE
000009dd: PUSH1 0x20
000009df: ADD
000009e0: SWAP1
000009e1: DUP2
000009e2: MSTORE
000009e3: PUSH1 0x20
000009e5: ADD
000009e6: PUSH1 0x00
000009e8: KECCAK256
000009e9: DUP2
000009ea: SWAP1
000009eb: SSTORE
000009ec: POP
000009ed: DUP3
000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a03: AND
00000a04: CALLER
00000a05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1a: AND
00000a1b: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000a3c: DUP5
00000a3d: PUSH1 0x40
00000a3f: MLOAD
00000a40: PUSH2 0x0a49
00000a43: SWAP2
00000a44: SWAP1
00000a45: PUSH2 0x2c15
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: PUSH1 0x40
00000a4c: MLOAD
00000a4d: DUP1
00000a4e: SWAP2
00000a4f: SUB
00000a50: SWAP1
00000a51: LOG3
00000a52: PUSH1 0x01
00000a54: SWAP1
00000a55: POP
00000a56: SWAP3
00000a57: SWAP2
00000a58: POP
00000a59: POP
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: PUSH1 0x05
00000a5e: PUSH1 0x20
00000a60: MSTORE
00000a61: DUP1
00000a62: PUSH1 0x00
00000a64: MSTORE
00000a65: PUSH1 0x40
00000a67: PUSH1 0x00
00000a69: KECCAK256
00000a6a: PUSH1 0x00
00000a6c: SWAP2
00000a6d: POP
00000a6e: SWAP1
00000a6f: POP
00000a70: SLOAD
00000a71: DUP2
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH1 0x12
00000a76: PUSH1 0x20
00000a78: MSTORE
00000a79: DUP1
00000a7a: PUSH1 0x00
00000a7c: MSTORE
00000a7d: PUSH1 0x40
00000a7f: PUSH1 0x00
00000a81: KECCAK256
00000a82: PUSH1 0x00
00000a84: SWAP2
00000a85: POP
00000a86: SLOAD
00000a87: SWAP1
00000a88: PUSH2 0x0100
00000a8b: EXP
00000a8c: SWAP1
00000a8d: DIV
00000a8e: PUSH1 0xff
00000a90: AND
00000a91: DUP2
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x06
00000a96: SLOAD
00000a97: DUP2
00000a98: JUMP
00000a99: JUMPDEST
00000a9a: PUSH1 0x00
00000a9c: PUSH1 0x03
00000a9e: SLOAD
00000a9f: SWAP1
00000aa0: POP
00000aa1: SWAP1
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x00
00000aa6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ac7: PUSH1 0x07
00000ac9: PUSH1 0x00
00000acb: DUP7
00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae1: AND
00000ae2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af7: AND
00000af8: DUP2
00000af9: MSTORE
00000afa: PUSH1 0x20
00000afc: ADD
00000afd: SWAP1
00000afe: DUP2
00000aff: MSTORE
00000b00: PUSH1 0x20
00000b02: ADD
00000b03: PUSH1 0x00
00000b05: KECCAK256
00000b06: PUSH1 0x00
00000b08: CALLER
00000b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1e: AND
00000b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b34: AND
00000b35: DUP2
00000b36: MSTORE
00000b37: PUSH1 0x20
00000b39: ADD
00000b3a: SWAP1
00000b3b: DUP2
00000b3c: MSTORE
00000b3d: PUSH1 0x20
00000b3f: ADD
00000b40: PUSH1 0x00
00000b42: KECCAK256
00000b43: SLOAD
00000b44: EQ
00000b45: PUSH2 0x0d10
00000b48: JUMPI
00000b49: DUP2
00000b4a: PUSH1 0x07
00000b4c: PUSH1 0x00
00000b4e: DUP7
00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b64: AND
00000b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7a: AND
00000b7b: DUP2
00000b7c: MSTORE
00000b7d: PUSH1 0x20
00000b7f: ADD
00000b80: SWAP1
00000b81: DUP2
00000b82: MSTORE
00000b83: PUSH1 0x20
00000b85: ADD
00000b86: PUSH1 0x00
00000b88: KECCAK256
00000b89: PUSH1 0x00
00000b8b: CALLER
00000b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba1: AND
00000ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb7: AND
00000bb8: DUP2
00000bb9: MSTORE
00000bba: PUSH1 0x20
00000bbc: ADD
00000bbd: SWAP1
00000bbe: DUP2
00000bbf: MSTORE
00000bc0: PUSH1 0x20
00000bc2: ADD
00000bc3: PUSH1 0x00
00000bc5: KECCAK256
00000bc6: SLOAD
00000bc7: LT
00000bc8: ISZERO
00000bc9: PUSH2 0x0c07
00000bcc: JUMPI
00000bcd: PUSH1 0x40
00000bcf: MLOAD
00000bd0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bf1: DUP2
00000bf2: MSTORE
00000bf3: PUSH1 0x04
00000bf5: ADD
00000bf6: PUSH2 0x0bfe
00000bf9: SWAP1
00000bfa: PUSH2 0x331e
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: PUSH1 0x40
00000c01: MLOAD
00000c02: DUP1
00000c03: SWAP2
00000c04: SUB
00000c05: SWAP1
00000c06: REVERT
00000c07: JUMPDEST
00000c08: DUP2
00000c09: PUSH1 0x07
00000c0b: PUSH1 0x00
00000c0d: DUP7
00000c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c23: AND
00000c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c39: AND
00000c3a: DUP2
00000c3b: MSTORE
00000c3c: PUSH1 0x20
00000c3e: ADD
00000c3f: SWAP1
00000c40: DUP2
00000c41: MSTORE
00000c42: PUSH1 0x20
00000c44: ADD
00000c45: PUSH1 0x00
00000c47: KECCAK256
00000c48: PUSH1 0x00
00000c4a: CALLER
00000c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c60: AND
00000c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c76: AND
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x20
00000c7b: ADD
00000c7c: SWAP1
00000c7d: DUP2
00000c7e: MSTORE
00000c7f: PUSH1 0x20
00000c81: ADD
00000c82: PUSH1 0x00
00000c84: KECCAK256
00000c85: SLOAD
00000c86: PUSH2 0x0c8f
00000c89: SWAP2
00000c8a: SWAP1
00000c8b: PUSH2 0x336d
00000c8e: JUMP
00000c8f: JUMPDEST
00000c90: PUSH1 0x07
00000c92: PUSH1 0x00
00000c94: DUP7
00000c95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000caa: AND
00000cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc0: AND
00000cc1: DUP2
00000cc2: MSTORE
00000cc3: PUSH1 0x20
00000cc5: ADD
00000cc6: SWAP1
00000cc7: DUP2
00000cc8: MSTORE
00000cc9: PUSH1 0x20
00000ccb: ADD
00000ccc: PUSH1 0x00
00000cce: KECCAK256
00000ccf: PUSH1 0x00
00000cd1: CALLER
00000cd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce7: AND
00000ce8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfd: AND
00000cfe: DUP2
00000cff: MSTORE
00000d00: PUSH1 0x20
00000d02: ADD
00000d03: SWAP1
00000d04: DUP2
00000d05: MSTORE
00000d06: PUSH1 0x20
00000d08: ADD
00000d09: PUSH1 0x00
00000d0b: KECCAK256
00000d0c: DUP2
00000d0d: SWAP1
00000d0e: SSTORE
00000d0f: POP
00000d10: JUMPDEST
00000d11: PUSH2 0x0d1b
00000d14: DUP5
00000d15: DUP5
00000d16: DUP5
00000d17: PUSH2 0x183e
00000d1a: JUMP
00000d1b: JUMPDEST
00000d1c: SWAP1
00000d1d: POP
00000d1e: SWAP4
00000d1f: SWAP3
00000d20: POP
00000d21: POP
00000d22: POP
00000d23: JUMP
00000d24: JUMPDEST
00000d25: PUSH1 0x00
00000d27: PUSH2 0x0d30
00000d2a: PUSH1 0x00
00000d2c: PUSH2 0x1068
00000d2f: JUMP
00000d30: JUMPDEST
00000d31: PUSH2 0x0d3b
00000d34: PUSH2 0xdead
00000d37: PUSH2 0x1068
00000d3a: JUMP
00000d3b: JUMPDEST
00000d3c: PUSH1 0x03
00000d3e: SLOAD
00000d3f: PUSH2 0x0d48
00000d42: SWAP2
00000d43: SWAP1
00000d44: PUSH2 0x336d
00000d47: JUMP
00000d48: JUMPDEST
00000d49: PUSH2 0x0d52
00000d4c: SWAP2
00000d4d: SWAP1
00000d4e: PUSH2 0x336d
00000d51: JUMP
00000d52: JUMPDEST
00000d53: SWAP1
00000d54: POP
00000d55: SWAP1
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH1 0x0c
00000d5a: DUP1
00000d5b: PUSH1 0x00
00000d5d: ADD
00000d5e: PUSH1 0x00
00000d60: SWAP1
00000d61: SLOAD
00000d62: SWAP1
00000d63: PUSH2 0x0100
00000d66: EXP
00000d67: SWAP1
00000d68: DIV
00000d69: PUSH1 0xff
00000d6b: AND
00000d6c: SWAP1
00000d6d: DUP1
00000d6e: PUSH1 0x00
00000d70: ADD
00000d71: PUSH1 0x01
00000d73: SWAP1
00000d74: SLOAD
00000d75: SWAP1
00000d76: PUSH2 0x0100
00000d79: EXP
00000d7a: SWAP1
00000d7b: DIV
00000d7c: PUSH1 0xff
00000d7e: AND
00000d7f: SWAP1
00000d80: DUP1
00000d81: PUSH1 0x00
00000d83: ADD
00000d84: PUSH1 0x02
00000d86: SWAP1
00000d87: SLOAD
00000d88: SWAP1
00000d89: PUSH2 0x0100
00000d8c: EXP
00000d8d: SWAP1
00000d8e: DIV
00000d8f: PUSH1 0xff
00000d91: AND
00000d92: SWAP1
00000d93: DUP1
00000d94: PUSH1 0x00
00000d96: ADD
00000d97: PUSH1 0x03
00000d99: SWAP1
00000d9a: SLOAD
00000d9b: SWAP1
00000d9c: PUSH2 0x0100
00000d9f: EXP
00000da0: SWAP1
00000da1: DIV
00000da2: PUSH1 0xff
00000da4: AND
00000da5: SWAP1
00000da6: DUP1
00000da7: PUSH1 0x00
00000da9: ADD
00000daa: PUSH1 0x04
00000dac: SWAP1
00000dad: SLOAD
00000dae: SWAP1
00000daf: PUSH2 0x0100
00000db2: EXP
00000db3: SWAP1
00000db4: DIV
00000db5: PUSH1 0xff
00000db7: AND
00000db8: SWAP1
00000db9: DUP1
00000dba: PUSH1 0x00
00000dbc: ADD
00000dbd: PUSH1 0x05
00000dbf: SWAP1
00000dc0: SLOAD
00000dc1: SWAP1
00000dc2: PUSH2 0x0100
00000dc5: EXP
00000dc6: SWAP1
00000dc7: DIV
00000dc8: PUSH16 0xffffffffffffffffffffffffffffffff
00000dd9: AND
00000dda: SWAP1
00000ddb: POP
00000ddc: DUP7
00000ddd: JUMP
00000dde: JUMPDEST
00000ddf: PUSH1 0x00
00000de1: PUSH1 0x06
00000de3: SLOAD
00000de4: PUSH1 0x03
00000de6: SLOAD
00000de7: DUP4
00000de8: PUSH2 0x0df1
00000deb: SWAP2
00000dec: SWAP1
00000ded: PUSH2 0x33a1
00000df0: JUMP
00000df1: JUMPDEST
00000df2: PUSH2 0x0dfb
00000df5: SWAP2
00000df6: SWAP1
00000df7: PUSH2 0x3412
00000dfa: JUMP
00000dfb: JUMPDEST
00000dfc: SWAP1
00000dfd: POP
00000dfe: SWAP2
00000dff: SWAP1
00000e00: POP
00000e01: JUMP
00000e02: JUMPDEST
00000e03: PUSH1 0x00
00000e05: PUSH1 0x12
00000e07: SWAP1
00000e08: POP
00000e09: SWAP1
00000e0a: JUMP
00000e0b: JUMPDEST
00000e0c: PUSH1 0x08
00000e0e: PUSH1 0x00
00000e10: SWAP1
00000e11: SLOAD
00000e12: SWAP1
00000e13: PUSH2 0x0100
00000e16: EXP
00000e17: SWAP1
00000e18: DIV
00000e19: PUSH1 0xff
00000e1b: AND
00000e1c: DUP2
00000e1d: JUMP
00000e1e: JUMPDEST
00000e1f: PUSH2 0x0e26
00000e22: PUSH2 0x1d0d
00000e25: JUMP
00000e26: JUMPDEST
00000e27: PUSH1 0x00
00000e29: CALLER
00000e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3f: AND
00000e40: SELFBALANCE
00000e41: PUSH1 0x40
00000e43: MLOAD
00000e44: PUSH2 0x0e4c
00000e47: SWAP1
00000e48: PUSH2 0x3474
00000e4b: JUMP
00000e4c: JUMPDEST
00000e4d: PUSH1 0x00
00000e4f: PUSH1 0x40
00000e51: MLOAD
00000e52: DUP1
00000e53: DUP4
00000e54: SUB
00000e55: DUP2
00000e56: DUP6
00000e57: DUP8
00000e58: GAS
00000e59: CALL
00000e5a: SWAP3
00000e5b: POP
00000e5c: POP
00000e5d: POP
00000e5e: RETURNDATASIZE
00000e5f: DUP1
00000e60: PUSH1 0x00
00000e62: DUP2
00000e63: EQ
00000e64: PUSH2 0x0e89
00000e67: JUMPI
00000e68: PUSH1 0x40
00000e6a: MLOAD
00000e6b: SWAP2
00000e6c: POP
00000e6d: PUSH1 0x1f
00000e6f: NOT
00000e70: PUSH1 0x3f
00000e72: RETURNDATASIZE
00000e73: ADD
00000e74: AND
00000e75: DUP3
00000e76: ADD
00000e77: PUSH1 0x40
00000e79: MSTORE
00000e7a: RETURNDATASIZE
00000e7b: DUP3
00000e7c: MSTORE
00000e7d: RETURNDATASIZE
00000e7e: PUSH1 0x00
00000e80: PUSH1 0x20
00000e82: DUP5
00000e83: ADD
00000e84: RETURNDATACOPY
00000e85: PUSH2 0x0e8e
00000e88: JUMP
00000e89: JUMPDEST
00000e8a: PUSH1 0x60
00000e8c: SWAP2
00000e8d: POP
00000e8e: JUMPDEST
00000e8f: POP
00000e90: POP
00000e91: SWAP1
00000e92: POP
00000e93: DUP1
00000e94: PUSH2 0x0e9c
00000e97: JUMPI
00000e98: PUSH1 0x00
00000e9a: DUP1
00000e9b: REVERT
00000e9c: JUMPDEST
00000e9d: POP
00000e9e: JUMP
00000e9f: JUMPDEST
00000ea0: PUSH2 0x0ea7
00000ea3: PUSH2 0x1d0d
00000ea6: JUMP
00000ea7: JUMPDEST
00000ea8: DUP1
00000ea9: PUSH1 0x12
00000eab: PUSH1 0x00
00000ead: DUP5
00000eae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec3: AND
00000ec4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed9: AND
00000eda: DUP2
00000edb: MSTORE
00000edc: PUSH1 0x20
00000ede: ADD
00000edf: SWAP1
00000ee0: DUP2
00000ee1: MSTORE
00000ee2: PUSH1 0x20
00000ee4: ADD
00000ee5: PUSH1 0x00
00000ee7: KECCAK256
00000ee8: PUSH1 0x00
00000eea: PUSH2 0x0100
00000eed: EXP
00000eee: DUP2
00000eef: SLOAD
00000ef0: DUP2
00000ef1: PUSH1 0xff
00000ef3: MUL
00000ef4: NOT
00000ef5: AND
00000ef6: SWAP1
00000ef7: DUP4
00000ef8: ISZERO
00000ef9: ISZERO
00000efa: MUL
00000efb: OR
00000efc: SWAP1
00000efd: SSTORE
00000efe: POP
00000eff: POP
00000f00: POP
00000f01: JUMP
00000f02: JUMPDEST
00000f03: PUSH2 0x0f0a
00000f06: PUSH2 0x1d0d
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: DUP1
00000f0c: PUSH1 0x08
00000f0e: PUSH1 0x00
00000f10: PUSH2 0x0100
00000f13: EXP
00000f14: DUP2
00000f15: SLOAD
00000f16: DUP2
00000f17: PUSH1 0xff
00000f19: MUL
00000f1a: NOT
00000f1b: AND
00000f1c: SWAP1
00000f1d: DUP4
00000f1e: ISZERO
00000f1f: ISZERO
00000f20: MUL
00000f21: OR
00000f22: SWAP1
00000f23: SSTORE
00000f24: POP
00000f25: POP
00000f26: JUMP
00000f27: JUMPDEST
00000f28: PUSH1 0x00
00000f2a: PUSH1 0x03
00000f2c: SLOAD
00000f2d: PUSH1 0x06
00000f2f: SLOAD
00000f30: DUP4
00000f31: PUSH2 0x0f3a
00000f34: SWAP2
00000f35: SWAP1
00000f36: PUSH2 0x33a1
00000f39: JUMP
00000f3a: JUMPDEST
00000f3b: PUSH2 0x0f44
00000f3e: SWAP2
00000f3f: SWAP1
00000f40: PUSH2 0x3412
00000f43: JUMP
00000f44: JUMPDEST
00000f45: SWAP1
00000f46: POP
00000f47: SWAP2
00000f48: SWAP1
00000f49: POP
00000f4a: JUMP
00000f4b: JUMPDEST
00000f4c: PUSH1 0x0b
00000f4e: DUP1
00000f4f: PUSH1 0x00
00000f51: ADD
00000f52: PUSH1 0x00
00000f54: SWAP1
00000f55: SLOAD
00000f56: SWAP1
00000f57: PUSH2 0x0100
00000f5a: EXP
00000f5b: SWAP1
00000f5c: DIV
00000f5d: PUSH1 0xff
00000f5f: AND
00000f60: SWAP1
00000f61: DUP1
00000f62: PUSH1 0x00
00000f64: ADD
00000f65: PUSH1 0x01
00000f67: SWAP1
00000f68: SLOAD
00000f69: SWAP1
00000f6a: PUSH2 0x0100
00000f6d: EXP
00000f6e: SWAP1
00000f6f: DIV
00000f70: PUSH1 0xff
00000f72: AND
00000f73: SWAP1
00000f74: DUP1
00000f75: PUSH1 0x00
00000f77: ADD
00000f78: PUSH1 0x02
00000f7a: SWAP1
00000f7b: SLOAD
00000f7c: SWAP1
00000f7d: PUSH2 0x0100
00000f80: EXP
00000f81: SWAP1
00000f82: DIV
00000f83: PUSH1 0xff
00000f85: AND
00000f86: SWAP1
00000f87: DUP1
00000f88: PUSH1 0x00
00000f8a: ADD
00000f8b: PUSH1 0x03
00000f8d: SWAP1
00000f8e: SLOAD
00000f8f: SWAP1
00000f90: PUSH2 0x0100
00000f93: EXP
00000f94: SWAP1
00000f95: DIV
00000f96: PUSH1 0xff
00000f98: AND
00000f99: SWAP1
00000f9a: DUP1
00000f9b: PUSH1 0x00
00000f9d: ADD
00000f9e: PUSH1 0x04
00000fa0: SWAP1
00000fa1: SLOAD
00000fa2: SWAP1
00000fa3: PUSH2 0x0100
00000fa6: EXP
00000fa7: SWAP1
00000fa8: DIV
00000fa9: PUSH1 0xff
00000fab: AND
00000fac: SWAP1
00000fad: DUP1
00000fae: PUSH1 0x00
00000fb0: ADD
00000fb1: PUSH1 0x05
00000fb3: SWAP1
00000fb4: SLOAD
00000fb5: SWAP1
00000fb6: PUSH2 0x0100
00000fb9: EXP
00000fba: SWAP1
00000fbb: DIV
00000fbc: PUSH16 0xffffffffffffffffffffffffffffffff
00000fcd: AND
00000fce: SWAP1
00000fcf: POP
00000fd0: DUP7
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: PUSH1 0x00
00000fd5: PUSH2 0x0ffe
00000fd8: DUP3
00000fd9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ffa: PUSH2 0x0969
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: SWAP1
00001000: POP
00001001: SWAP2
00001002: SWAP1
00001003: POP
00001004: JUMP
00001005: JUMPDEST
00001006: PUSH2 0x100d
00001009: PUSH2 0x1d0d
0000100c: JUMP
0000100d: JUMPDEST
0000100e: DUP1
0000100f: PUSH1 0x09
00001011: PUSH1 0x00
00001013: DUP5
00001014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001029: AND
0000102a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103f: AND
00001040: DUP2
00001041: MSTORE
00001042: PUSH1 0x20
00001044: ADD
00001045: SWAP1
00001046: DUP2
00001047: MSTORE
00001048: PUSH1 0x20
0000104a: ADD
0000104b: PUSH1 0x00
0000104d: KECCAK256
0000104e: PUSH1 0x00
00001050: PUSH2 0x0100
00001053: EXP
00001054: DUP2
00001055: SLOAD
00001056: DUP2
00001057: PUSH1 0xff
00001059: MUL
0000105a: NOT
0000105b: AND
0000105c: SWAP1
0000105d: DUP4
0000105e: ISZERO
0000105f: ISZERO
00001060: MUL
00001061: OR
00001062: SWAP1
00001063: SSTORE
00001064: POP
00001065: POP
00001066: POP
00001067: JUMP
00001068: JUMPDEST
00001069: PUSH1 0x00
0000106b: PUSH2 0x10b2
0000106e: PUSH1 0x05
00001070: PUSH1 0x00
00001072: DUP5
00001073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001088: AND
00001089: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109e: AND
0000109f: DUP2
000010a0: MSTORE
000010a1: PUSH1 0x20
000010a3: ADD
000010a4: SWAP1
000010a5: DUP2
000010a6: MSTORE
000010a7: PUSH1 0x20
000010a9: ADD
000010aa: PUSH1 0x00
000010ac: KECCAK256
000010ad: SLOAD
000010ae: PUSH2 0x0dde
000010b1: JUMP
000010b2: JUMPDEST
000010b3: SWAP1
000010b4: POP
000010b5: SWAP2
000010b6: SWAP1
000010b7: POP
000010b8: JUMP
000010b9: JUMPDEST
000010ba: PUSH2 0x10c1
000010bd: PUSH2 0x1d0d
000010c0: JUMP
000010c1: JUMPDEST
000010c2: PUSH2 0x10cb
000010c5: PUSH1 0x00
000010c7: PUSH2 0x1d8b
000010ca: JUMP
000010cb: JUMPDEST
000010cc: JUMP
000010cd: JUMPDEST
000010ce: PUSH1 0x04
000010d0: SLOAD
000010d1: DUP2
000010d2: JUMP
000010d3: JUMPDEST
000010d4: PUSH1 0x00
000010d6: DUP1
000010d7: PUSH1 0x00
000010d9: SWAP1
000010da: SLOAD
000010db: SWAP1
000010dc: PUSH2 0x0100
000010df: EXP
000010e0: SWAP1
000010e1: DIV
000010e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f7: AND
000010f8: SWAP1
000010f9: POP
000010fa: SWAP1
000010fb: JUMP
000010fc: JUMPDEST
000010fd: PUSH1 0x60
000010ff: PUSH1 0x02
00001101: DUP1
00001102: SLOAD
00001103: PUSH2 0x110b
00001106: SWAP1
00001107: PUSH2 0x32a1
0000110a: JUMP
0000110b: JUMPDEST
0000110c: DUP1
0000110d: PUSH1 0x1f
0000110f: ADD
00001110: PUSH1 0x20
00001112: DUP1
00001113: SWAP2
00001114: DIV
00001115: MUL
00001116: PUSH1 0x20
00001118: ADD
00001119: PUSH1 0x40
0000111b: MLOAD
0000111c: SWAP1
0000111d: DUP2
0000111e: ADD
0000111f: PUSH1 0x40
00001121: MSTORE
00001122: DUP1
00001123: SWAP3
00001124: SWAP2
00001125: SWAP1
00001126: DUP2
00001127: DUP2
00001128: MSTORE
00001129: PUSH1 0x20
0000112b: ADD
0000112c: DUP3
0000112d: DUP1
0000112e: SLOAD
0000112f: PUSH2 0x1137
00001132: SWAP1
00001133: PUSH2 0x32a1
00001136: JUMP
00001137: JUMPDEST
00001138: DUP1
00001139: ISZERO
0000113a: PUSH2 0x1184
0000113d: JUMPI
0000113e: DUP1
0000113f: PUSH1 0x1f
00001141: LT
00001142: PUSH2 0x1159
00001145: JUMPI
00001146: PUSH2 0x0100
00001149: DUP1
0000114a: DUP4
0000114b: SLOAD
0000114c: DIV
0000114d: MUL
0000114e: DUP4
0000114f: MSTORE
00001150: SWAP2
00001151: PUSH1 0x20
00001153: ADD
00001154: SWAP2
00001155: PUSH2 0x1184
00001158: JUMP
00001159: JUMPDEST
0000115a: DUP3
0000115b: ADD
0000115c: SWAP2
0000115d: SWAP1
0000115e: PUSH1 0x00
00001160: MSTORE
00001161: PUSH1 0x20
00001163: PUSH1 0x00
00001165: KECCAK256
00001166: SWAP1
00001167: JUMPDEST
00001168: DUP2
00001169: SLOAD
0000116a: DUP2
0000116b: MSTORE
0000116c: SWAP1
0000116d: PUSH1 0x01
0000116f: ADD
00001170: SWAP1
00001171: PUSH1 0x20
00001173: ADD
00001174: DUP1
00001175: DUP4
00001176: GT
00001177: PUSH2 0x1167
0000117a: JUMPI
0000117b: DUP3
0000117c: SWAP1
0000117d: SUB
0000117e: PUSH1 0x1f
00001180: AND
00001181: DUP3
00001182: ADD
00001183: SWAP2
00001184: JUMPDEST
00001185: POP
00001186: POP
00001187: POP
00001188: POP
00001189: POP
0000118a: SWAP1
0000118b: POP
0000118c: SWAP1
0000118d: JUMP
0000118e: JUMPDEST
0000118f: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
000011a4: DUP2
000011a5: JUMP
000011a6: JUMPDEST
000011a7: PUSH1 0x00
000011a9: PUSH2 0x11b3
000011ac: CALLER
000011ad: DUP5
000011ae: DUP5
000011af: PUSH2 0x183e
000011b2: JUMP
000011b3: JUMPDEST
000011b4: SWAP1
000011b5: POP
000011b6: SWAP3
000011b7: SWAP2
000011b8: POP
000011b9: POP
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH1 0x0f
000011be: PUSH1 0x14
000011c0: SWAP1
000011c1: SLOAD
000011c2: SWAP1
000011c3: PUSH2 0x0100
000011c6: EXP
000011c7: SWAP1
000011c8: DIV
000011c9: PUSH1 0xff
000011cb: AND
000011cc: DUP2
000011cd: JUMP
000011ce: JUMPDEST
000011cf: PUSH2 0x11d6
000011d2: PUSH2 0x1d0d
000011d5: JUMP
000011d6: JUMPDEST
000011d7: PUSH1 0x00
000011d9: DUP7
000011da: DUP9
000011db: DUP11
000011dc: DUP13
000011dd: DUP15
000011de: PUSH2 0x11e7
000011e1: SWAP2
000011e2: SWAP1
000011e3: PUSH2 0x3489
000011e6: JUMP
000011e7: JUMPDEST
000011e8: PUSH2 0x11f1
000011eb: SWAP2
000011ec: SWAP1
000011ed: PUSH2 0x3489
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH2 0x11fb
000011f5: SWAP2
000011f6: SWAP1
000011f7: PUSH2 0x3489
000011fa: JUMP
000011fb: JUMPDEST
000011fc: PUSH2 0x1205
000011ff: SWAP2
00001200: SWAP1
00001201: PUSH2 0x3489
00001204: JUMP
00001205: JUMPDEST
00001206: PUSH1 0xff
00001208: AND
00001209: SWAP1
0000120a: POP
0000120b: PUSH1 0x00
0000120d: DUP3
0000120e: DUP5
0000120f: DUP7
00001210: DUP9
00001211: DUP11
00001212: PUSH2 0x121b
00001215: SWAP2
00001216: SWAP1
00001217: PUSH2 0x3489
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH2 0x1225
0000121f: SWAP2
00001220: SWAP1
00001221: PUSH2 0x3489
00001224: JUMP
00001225: JUMPDEST
00001226: PUSH2 0x122f
00001229: SWAP2
0000122a: SWAP1
0000122b: PUSH2 0x3489
0000122e: JUMP
0000122f: JUMPDEST
00001230: PUSH2 0x1239
00001233: SWAP2
00001234: SWAP1
00001235: PUSH2 0x3489
00001238: JUMP
00001239: JUMPDEST
0000123a: PUSH1 0xff
0000123c: AND
0000123d: SWAP1
0000123e: POP
0000123f: PUSH1 0x14
00001241: DUP3
00001242: PUSH16 0xffffffffffffffffffffffffffffffff
00001253: AND
00001254: GT
00001255: ISZERO
00001256: PUSH2 0x1294
00001259: JUMPI
0000125a: PUSH1 0x40
0000125c: MLOAD
0000125d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000127e: DUP2
0000127f: MSTORE
00001280: PUSH1 0x04
00001282: ADD
00001283: PUSH2 0x128b
00001286: SWAP1
00001287: PUSH2 0x350a
0000128a: JUMP
0000128b: JUMPDEST
0000128c: PUSH1 0x40
0000128e: MLOAD
0000128f: DUP1
00001290: SWAP2
00001291: SUB
00001292: SWAP1
00001293: REVERT
00001294: JUMPDEST
00001295: PUSH1 0x14
00001297: DUP2
00001298: PUSH16 0xffffffffffffffffffffffffffffffff
000012a9: AND
000012aa: GT
000012ab: ISZERO
000012ac: PUSH2 0x12ea
000012af: JUMPI
000012b0: PUSH1 0x40
000012b2: MLOAD
000012b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012d4: DUP2
000012d5: MSTORE
000012d6: PUSH1 0x04
000012d8: ADD
000012d9: PUSH2 0x12e1
000012dc: SWAP1
000012dd: PUSH2 0x3576
000012e0: JUMP
000012e1: JUMPDEST
000012e2: PUSH1 0x40
000012e4: MLOAD
000012e5: DUP1
000012e6: SWAP2
000012e7: SUB
000012e8: SWAP1
000012e9: REVERT
000012ea: JUMPDEST
000012eb: PUSH1 0x40
000012ed: MLOAD
000012ee: DUP1
000012ef: PUSH1 0xc0
000012f1: ADD
000012f2: PUSH1 0x40
000012f4: MSTORE
000012f5: DUP1
000012f6: DUP14
000012f7: PUSH1 0xff
000012f9: AND
000012fa: DUP2
000012fb: MSTORE
000012fc: PUSH1 0x20
000012fe: ADD
000012ff: DUP14
00001300: PUSH1 0xff
00001302: AND
00001303: DUP2
00001304: MSTORE
00001305: PUSH1 0x20
00001307: ADD
00001308: DUP14
00001309: PUSH1 0xff
0000130b: AND
0000130c: DUP2
0000130d: MSTORE
0000130e: PUSH1 0x20
00001310: ADD
00001311: DUP14
00001312: PUSH1 0xff
00001314: AND
00001315: DUP2
00001316: MSTORE
00001317: PUSH1 0x20
00001319: ADD
0000131a: DUP10
0000131b: PUSH1 0xff
0000131d: AND
0000131e: DUP2
0000131f: MSTORE
00001320: PUSH1 0x20
00001322: ADD
00001323: DUP4
00001324: PUSH16 0xffffffffffffffffffffffffffffffff
00001335: AND
00001336: DUP2
00001337: MSTORE
00001338: POP
00001339: PUSH1 0x0b
0000133b: PUSH1 0x00
0000133d: DUP3
0000133e: ADD
0000133f: MLOAD
00001340: DUP2
00001341: PUSH1 0x00
00001343: ADD
00001344: PUSH1 0x00
00001346: PUSH2 0x0100
00001349: EXP
0000134a: DUP2
0000134b: SLOAD
0000134c: DUP2
0000134d: PUSH1 0xff
0000134f: MUL
00001350: NOT
00001351: AND
00001352: SWAP1
00001353: DUP4
00001354: PUSH1 0xff
00001356: AND
00001357: MUL
00001358: OR
00001359: SWAP1
0000135a: SSTORE
0000135b: POP
0000135c: PUSH1 0x20
0000135e: DUP3
0000135f: ADD
00001360: MLOAD
00001361: DUP2
00001362: PUSH1 0x00
00001364: ADD
00001365: PUSH1 0x01
00001367: PUSH2 0x0100
0000136a: EXP
0000136b: DUP2
0000136c: SLOAD
0000136d: DUP2
0000136e: PUSH1 0xff
00001370: MUL
00001371: NOT
00001372: AND
00001373: SWAP1
00001374: DUP4
00001375: PUSH1 0xff
00001377: AND
00001378: MUL
00001379: OR
0000137a: SWAP1
0000137b: SSTORE
0000137c: POP
0000137d: PUSH1 0x40
0000137f: DUP3
00001380: ADD
00001381: MLOAD
00001382: DUP2
00001383: PUSH1 0x00
00001385: ADD
00001386: PUSH1 0x02
00001388: PUSH2 0x0100
0000138b: EXP
0000138c: DUP2
0000138d: SLOAD
0000138e: DUP2
0000138f: PUSH1 0xff
00001391: MUL
00001392: NOT
00001393: AND
00001394: SWAP1
00001395: DUP4
00001396: PUSH1 0xff
00001398: AND
00001399: MUL
0000139a: OR
0000139b: SWAP1
0000139c: SSTORE
0000139d: POP
0000139e: PUSH1 0x60
000013a0: DUP3
000013a1: ADD
000013a2: MLOAD
000013a3: DUP2
000013a4: PUSH1 0x00
000013a6: ADD
000013a7: PUSH1 0x03
000013a9: PUSH2 0x0100
000013ac: EXP
000013ad: DUP2
000013ae: SLOAD
000013af: DUP2
000013b0: PUSH1 0xff
000013b2: MUL
000013b3: NOT
000013b4: AND
000013b5: SWAP1
000013b6: DUP4
000013b7: PUSH1 0xff
000013b9: AND
000013ba: MUL
000013bb: OR
000013bc: SWAP1
000013bd: SSTORE
000013be: POP
000013bf: PUSH1 0x80
000013c1: DUP3
000013c2: ADD
000013c3: MLOAD
000013c4: DUP2
000013c5: PUSH1 0x00
000013c7: ADD
000013c8: PUSH1 0x04
000013ca: PUSH2 0x0100
000013cd: EXP
000013ce: DUP2
000013cf: SLOAD
000013d0: DUP2
000013d1: PUSH1 0xff
000013d3: MUL
000013d4: NOT
000013d5: AND
000013d6: SWAP1
000013d7: DUP4
000013d8: PUSH1 0xff
000013da: AND
000013db: MUL
000013dc: OR
000013dd: SWAP1
000013de: SSTORE
000013df: POP
000013e0: PUSH1 0xa0
000013e2: DUP3
000013e3: ADD
000013e4: MLOAD
000013e5: DUP2
000013e6: PUSH1 0x00
000013e8: ADD
000013e9: PUSH1 0x05
000013eb: PUSH2 0x0100
000013ee: EXP
000013ef: DUP2
000013f0: SLOAD
000013f1: DUP2
000013f2: PUSH16 0xffffffffffffffffffffffffffffffff
00001403: MUL
00001404: NOT
00001405: AND
00001406: SWAP1
00001407: DUP4
00001408: PUSH16 0xffffffffffffffffffffffffffffffff
00001419: AND
0000141a: MUL
0000141b: OR
0000141c: SWAP1
0000141d: SSTORE
0000141e: POP
0000141f: SWAP1
00001420: POP
00001421: POP
00001422: PUSH1 0x40
00001424: MLOAD
00001425: DUP1
00001426: PUSH1 0xc0
00001428: ADD
00001429: PUSH1 0x40
0000142b: MSTORE
0000142c: DUP1
0000142d: DUP9
0000142e: PUSH1 0xff
00001430: AND
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x20
00001435: ADD
00001436: DUP9
00001437: PUSH1 0xff
00001439: AND
0000143a: DUP2
0000143b: MSTORE
0000143c: PUSH1 0x20
0000143e: ADD
0000143f: DUP9
00001440: PUSH1 0xff
00001442: AND
00001443: DUP2
00001444: MSTORE
00001445: PUSH1 0x20
00001447: ADD
00001448: DUP9
00001449: PUSH1 0xff
0000144b: AND
0000144c: DUP2
0000144d: MSTORE
0000144e: PUSH1 0x20
00001450: ADD
00001451: DUP5
00001452: PUSH1 0xff
00001454: AND
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x20
00001459: ADD
0000145a: DUP3
0000145b: PUSH16 0xffffffffffffffffffffffffffffffff
0000146c: AND
0000146d: DUP2
0000146e: MSTORE
0000146f: POP
00001470: PUSH1 0x0c
00001472: PUSH1 0x00
00001474: DUP3
00001475: ADD
00001476: MLOAD
00001477: DUP2
00001478: PUSH1 0x00
0000147a: ADD
0000147b: PUSH1 0x00
0000147d: PUSH2 0x0100
00001480: EXP
00001481: DUP2
00001482: SLOAD
00001483: DUP2
00001484: PUSH1 0xff
00001486: MUL
00001487: NOT
00001488: AND
00001489: SWAP1
0000148a: DUP4
0000148b: PUSH1 0xff
0000148d: AND
0000148e: MUL
0000148f: OR
00001490: SWAP1
00001491: SSTORE
00001492: POP
00001493: PUSH1 0x20
00001495: DUP3
00001496: ADD
00001497: MLOAD
00001498: DUP2
00001499: PUSH1 0x00
0000149b: ADD
0000149c: PUSH1 0x01
0000149e: PUSH2 0x0100
000014a1: EXP
000014a2: DUP2
000014a3: SLOAD
000014a4: DUP2
000014a5: PUSH1 0xff
000014a7: MUL
000014a8: NOT
000014a9: AND
000014aa: SWAP1
000014ab: DUP4
000014ac: PUSH1 0xff
000014ae: AND
000014af: MUL
000014b0: OR
000014b1: SWAP1
000014b2: SSTORE
000014b3: POP
000014b4: PUSH1 0x40
000014b6: DUP3
000014b7: ADD
000014b8: MLOAD
000014b9: DUP2
000014ba: PUSH1 0x00
000014bc: ADD
000014bd: PUSH1 0x02
000014bf: PUSH2 0x0100
000014c2: EXP
000014c3: DUP2
000014c4: SLOAD
000014c5: DUP2
000014c6: PUSH1 0xff
000014c8: MUL
000014c9: NOT
000014ca: AND
000014cb: SWAP1
000014cc: DUP4
000014cd: PUSH1 0xff
000014cf: AND
000014d0: MUL
000014d1: OR
000014d2: SWAP1
000014d3: SSTORE
000014d4: POP
000014d5: PUSH1 0x60
000014d7: DUP3
000014d8: ADD
000014d9: MLOAD
000014da: DUP2
000014db: PUSH1 0x00
000014dd: ADD
000014de: PUSH1 0x03
000014e0: PUSH2 0x0100
000014e3: EXP
000014e4: DUP2
000014e5: SLOAD
000014e6: DUP2
000014e7: PUSH1 0xff
000014e9: MUL
000014ea: NOT
000014eb: AND
000014ec: SWAP1
000014ed: DUP4
000014ee: PUSH1 0xff
000014f0: AND
000014f1: MUL
000014f2: OR
000014f3: SWAP1
000014f4: SSTORE
000014f5: POP
000014f6: PUSH1 0x80
000014f8: DUP3
000014f9: ADD
000014fa: MLOAD
000014fb: DUP2
000014fc: PUSH1 0x00
000014fe: ADD
000014ff: PUSH1 0x04
00001501: PUSH2 0x0100
00001504: EXP
00001505: DUP2
00001506: SLOAD
00001507: DUP2
00001508: PUSH1 0xff
0000150a: MUL
0000150b: NOT
0000150c: AND
0000150d: SWAP1
0000150e: DUP4
0000150f: PUSH1 0xff
00001511: AND
00001512: MUL
00001513: OR
00001514: SWAP1
00001515: SSTORE
00001516: POP
00001517: PUSH1 0xa0
00001519: DUP3
0000151a: ADD
0000151b: MLOAD
0000151c: DUP2
0000151d: PUSH1 0x00
0000151f: ADD
00001520: PUSH1 0x05
00001522: PUSH2 0x0100
00001525: EXP
00001526: DUP2
00001527: SLOAD
00001528: DUP2
00001529: PUSH16 0xffffffffffffffffffffffffffffffff
0000153a: MUL
0000153b: NOT
0000153c: AND
0000153d: SWAP1
0000153e: DUP4
0000153f: PUSH16 0xffffffffffffffffffffffffffffffff
00001550: AND
00001551: MUL
00001552: OR
00001553: SWAP1
00001554: SSTORE
00001555: POP
00001556: SWAP1
00001557: POP
00001558: POP
00001559: POP
0000155a: POP
0000155b: POP
0000155c: POP
0000155d: POP
0000155e: POP
0000155f: POP
00001560: POP
00001561: POP
00001562: POP
00001563: POP
00001564: POP
00001565: JUMP
00001566: JUMPDEST
00001567: PUSH2 0x156e
0000156a: PUSH2 0x1d0d
0000156d: JUMP
0000156e: JUMPDEST
0000156f: DUP3
00001570: PUSH1 0x0d
00001572: PUSH1 0x00
00001574: PUSH2 0x0100
00001577: EXP
00001578: DUP2
00001579: SLOAD
0000157a: DUP2
0000157b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001590: MUL
00001591: NOT
00001592: AND
00001593: SWAP1
00001594: DUP4
00001595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015aa: AND
000015ab: MUL
000015ac: OR
000015ad: SWAP1
000015ae: SSTORE
000015af: POP
000015b0: DUP2
000015b1: PUSH1 0x0e
000015b3: PUSH1 0x00
000015b5: PUSH2 0x0100
000015b8: EXP
000015b9: DUP2
000015ba: SLOAD
000015bb: DUP2
000015bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d1: MUL
000015d2: NOT
000015d3: AND
000015d4: SWAP1
000015d5: DUP4
000015d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015eb: AND
000015ec: MUL
000015ed: OR
000015ee: SWAP1
000015ef: SSTORE
000015f0: POP
000015f1: DUP1
000015f2: PUSH1 0x0f
000015f4: PUSH1 0x00
000015f6: PUSH2 0x0100
000015f9: EXP
000015fa: DUP2
000015fb: SLOAD
000015fc: DUP2
000015fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001612: MUL
00001613: NOT
00001614: AND
00001615: SWAP1
00001616: DUP4
00001617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162c: AND
0000162d: MUL
0000162e: OR
0000162f: SWAP1
00001630: SSTORE
00001631: POP
00001632: POP
00001633: POP
00001634: POP
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH2 0x163e
0000163a: PUSH2 0x1d0d
0000163d: JUMP
0000163e: JUMPDEST
0000163f: PUSH2 0x1651
00001642: ADDRESS
00001643: CALLER
00001644: PUSH2 0x164c
00001647: ADDRESS
00001648: PUSH2 0x1068
0000164b: JUMP
0000164c: JUMPDEST
0000164d: PUSH2 0x183e
00001650: JUMP
00001651: JUMPDEST
00001652: POP
00001653: JUMP
00001654: JUMPDEST
00001655: PUSH1 0x00
00001657: PUSH1 0x07
00001659: PUSH1 0x00
0000165b: DUP5
0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001671: AND
00001672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001687: AND
00001688: DUP2
00001689: MSTORE
0000168a: PUSH1 0x20
0000168c: ADD
0000168d: SWAP1
0000168e: DUP2
0000168f: MSTORE
00001690: PUSH1 0x20
00001692: ADD
00001693: PUSH1 0x00
00001695: KECCAK256
00001696: PUSH1 0x00
00001698: DUP4
00001699: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ae: AND
000016af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c4: AND
000016c5: DUP2
000016c6: MSTORE
000016c7: PUSH1 0x20
000016c9: ADD
000016ca: SWAP1
000016cb: DUP2
000016cc: MSTORE
000016cd: PUSH1 0x20
000016cf: ADD
000016d0: PUSH1 0x00
000016d2: KECCAK256
000016d3: SLOAD
000016d4: SWAP1
000016d5: POP
000016d6: SWAP3
000016d7: SWAP2
000016d8: POP
000016d9: POP
000016da: JUMP
000016db: JUMPDEST
000016dc: PUSH2 0x16e3
000016df: PUSH2 0x1d0d
000016e2: JUMP
000016e3: JUMPDEST
000016e4: DUP2
000016e5: PUSH1 0x0f
000016e7: PUSH1 0x14
000016e9: PUSH2 0x0100
000016ec: EXP
000016ed: DUP2
000016ee: SLOAD
000016ef: DUP2
000016f0: PUSH1 0xff
000016f2: MUL
000016f3: NOT
000016f4: AND
000016f5: SWAP1
000016f6: DUP4
000016f7: ISZERO
000016f8: ISZERO
000016f9: MUL
000016fa: OR
000016fb: SWAP1
000016fc: SSTORE
000016fd: POP
000016fe: DUP1
000016ff: PUSH1 0x10
00001701: DUP2
00001702: SWAP1
00001703: SSTORE
00001704: POP
00001705: POP
00001706: POP
00001707: JUMP
00001708: JUMPDEST
00001709: PUSH2 0x1710
0000170c: PUSH2 0x1d0d
0000170f: JUMP
00001710: JUMPDEST
00001711: PUSH2 0x2710
00001714: DUP2
00001715: PUSH1 0x03
00001717: SLOAD
00001718: PUSH2 0x1721
0000171b: SWAP2
0000171c: SWAP1
0000171d: PUSH2 0x33a1
00001720: JUMP
00001721: JUMPDEST
00001722: PUSH2 0x172b
00001725: SWAP2
00001726: SWAP1
00001727: PUSH2 0x3412
0000172a: JUMP
0000172b: JUMPDEST
0000172c: PUSH1 0x04
0000172e: DUP2
0000172f: SWAP1
00001730: SSTORE
00001731: POP
00001732: POP
00001733: JUMP
00001734: JUMPDEST
00001735: PUSH2 0x173c
00001738: PUSH2 0x1d0d
0000173b: JUMP
0000173c: JUMPDEST
0000173d: PUSH1 0x00
0000173f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001754: AND
00001755: DUP2
00001756: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176b: AND
0000176c: SUB
0000176d: PUSH2 0x17ab
00001770: JUMPI
00001771: PUSH1 0x40
00001773: MLOAD
00001774: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001795: DUP2
00001796: MSTORE
00001797: PUSH1 0x04
00001799: ADD
0000179a: PUSH2 0x17a2
0000179d: SWAP1
0000179e: PUSH2 0x3608
000017a1: JUMP
000017a2: JUMPDEST
000017a3: PUSH1 0x40
000017a5: MLOAD
000017a6: DUP1
000017a7: SWAP2
000017a8: SUB
000017a9: SWAP1
000017aa: REVERT
000017ab: JUMPDEST
000017ac: PUSH2 0x17b4
000017af: DUP2
000017b0: PUSH2 0x1d8b
000017b3: JUMP
000017b4: JUMPDEST
000017b5: POP
000017b6: JUMP
000017b7: JUMPDEST
000017b8: PUSH32 0x00000000000000000000000016774dbf0ed3e7cf46a8e4fe0f4229bfb11bd3f0
000017d9: DUP2
000017da: JUMP
000017db: JUMPDEST
000017dc: PUSH2 0x17e3
000017df: PUSH2 0x1d0d
000017e2: JUMP
000017e3: JUMPDEST
000017e4: DUP1
000017e5: PUSH1 0x0a
000017e7: PUSH1 0x00
000017e9: DUP5
000017ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ff: AND
00001800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001815: AND
00001816: DUP2
00001817: MSTORE
00001818: PUSH1 0x20
0000181a: ADD
0000181b: SWAP1
0000181c: DUP2
0000181d: MSTORE
0000181e: PUSH1 0x20
00001820: ADD
00001821: PUSH1 0x00
00001823: KECCAK256
00001824: PUSH1 0x00
00001826: PUSH2 0x0100
00001829: EXP
0000182a: DUP2
0000182b: SLOAD
0000182c: DUP2
0000182d: PUSH1 0xff
0000182f: MUL
00001830: NOT
00001831: AND
00001832: SWAP1
00001833: DUP4
00001834: ISZERO
00001835: ISZERO
00001836: MUL
00001837: OR
00001838: SWAP1
00001839: SSTORE
0000183a: POP
0000183b: POP
0000183c: POP
0000183d: JUMP
0000183e: JUMPDEST
0000183f: PUSH1 0x00
00001841: PUSH1 0x12
00001843: PUSH1 0x00
00001845: DUP5
00001846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185b: AND
0000185c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001871: AND
00001872: DUP2
00001873: MSTORE
00001874: PUSH1 0x20
00001876: ADD
00001877: SWAP1
00001878: DUP2
00001879: MSTORE
0000187a: PUSH1 0x20
0000187c: ADD
0000187d: PUSH1 0x00
0000187f: KECCAK256
00001880: PUSH1 0x00
00001882: SWAP1
00001883: SLOAD
00001884: SWAP1
00001885: PUSH2 0x0100
00001888: EXP
00001889: SWAP1
0000188a: DIV
0000188b: PUSH1 0xff
0000188d: AND
0000188e: ISZERO
0000188f: DUP1
00001890: ISZERO
00001891: PUSH2 0x18e4
00001894: JUMPI
00001895: POP
00001896: PUSH1 0x12
00001898: PUSH1 0x00
0000189a: DUP6
0000189b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b0: AND
000018b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c6: AND
000018c7: DUP2
000018c8: MSTORE
000018c9: PUSH1 0x20
000018cb: ADD
000018cc: SWAP1
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x20
000018d1: ADD
000018d2: PUSH1 0x00
000018d4: KECCAK256
000018d5: PUSH1 0x00
000018d7: SWAP1
000018d8: SLOAD
000018d9: SWAP1
000018da: PUSH2 0x0100
000018dd: EXP
000018de: SWAP1
000018df: DIV
000018e0: PUSH1 0xff
000018e2: AND
000018e3: ISZERO
000018e4: JUMPDEST
000018e5: PUSH2 0x1923
000018e8: JUMPI
000018e9: PUSH1 0x40
000018eb: MLOAD
000018ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000190d: DUP2
0000190e: MSTORE
0000190f: PUSH1 0x04
00001911: ADD
00001912: PUSH2 0x191a
00001915: SWAP1
00001916: PUSH2 0x3674
00001919: JUMP
0000191a: JUMPDEST
0000191b: PUSH1 0x40
0000191d: MLOAD
0000191e: DUP1
0000191f: SWAP2
00001920: SUB
00001921: SWAP1
00001922: REVERT
00001923: JUMPDEST
00001924: PUSH1 0x11
00001926: PUSH1 0x00
00001928: SWAP1
00001929: SLOAD
0000192a: SWAP1
0000192b: PUSH2 0x0100
0000192e: EXP
0000192f: SWAP1
00001930: DIV
00001931: PUSH1 0xff
00001933: AND
00001934: ISZERO
00001935: PUSH2 0x194a
00001938: JUMPI
00001939: PUSH2 0x1943
0000193c: DUP5
0000193d: DUP5
0000193e: DUP5
0000193f: PUSH2 0x1e4f
00001942: JUMP
00001943: JUMPDEST
00001944: SWAP1
00001945: POP
00001946: PUSH2 0x1d06
00001949: JUMP
0000194a: JUMPDEST
0000194b: PUSH1 0x08
0000194d: PUSH1 0x00
0000194f: SWAP1
00001950: SLOAD
00001951: SWAP1
00001952: PUSH2 0x0100
00001955: EXP
00001956: SWAP1
00001957: DIV
00001958: PUSH1 0xff
0000195a: AND
0000195b: DUP1
0000195c: ISZERO
0000195d: PUSH2 0x19b0
00001960: JUMPI
00001961: POP
00001962: PUSH1 0x0a
00001964: PUSH1 0x00
00001966: DUP6
00001967: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197c: AND
0000197d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001992: AND
00001993: DUP2
00001994: MSTORE
00001995: PUSH1 0x20
00001997: ADD
00001998: SWAP1
00001999: DUP2
0000199a: MSTORE
0000199b: PUSH1 0x20
0000199d: ADD
0000199e: PUSH1 0x00
000019a0: KECCAK256
000019a1: PUSH1 0x00
000019a3: SWAP1
000019a4: SLOAD
000019a5: SWAP1
000019a6: PUSH2 0x0100
000019a9: EXP
000019aa: SWAP1
000019ab: DIV
000019ac: PUSH1 0xff
000019ae: AND
000019af: ISZERO
000019b0: JUMPDEST
000019b1: DUP1
000019b2: ISZERO
000019b3: PUSH2 0x1a06
000019b6: JUMPI
000019b7: POP
000019b8: PUSH1 0x0a
000019ba: PUSH1 0x00
000019bc: DUP5
000019bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d2: AND
000019d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e8: AND
000019e9: DUP2
000019ea: MSTORE
000019eb: PUSH1 0x20
000019ed: ADD
000019ee: SWAP1
000019ef: DUP2
000019f0: MSTORE
000019f1: PUSH1 0x20
000019f3: ADD
000019f4: PUSH1 0x00
000019f6: KECCAK256
000019f7: PUSH1 0x00
000019f9: SWAP1
000019fa: SLOAD
000019fb: SWAP1
000019fc: PUSH2 0x0100
000019ff: EXP
00001a00: SWAP1
00001a01: DIV
00001a02: PUSH1 0xff
00001a04: AND
00001a05: ISZERO
00001a06: JUMPDEST
00001a07: ISZERO
00001a08: PUSH2 0x1a51
00001a0b: JUMPI
00001a0c: PUSH1 0x04
00001a0e: SLOAD
00001a0f: DUP3
00001a10: GT
00001a11: ISZERO
00001a12: PUSH2 0x1a50
00001a15: JUMPI
00001a16: PUSH1 0x40
00001a18: MLOAD
00001a19: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a3a: DUP2
00001a3b: MSTORE
00001a3c: PUSH1 0x04
00001a3e: ADD
00001a3f: PUSH2 0x1a47
00001a42: SWAP1
00001a43: PUSH2 0x3706
00001a46: JUMP
00001a47: JUMPDEST
00001a48: PUSH1 0x40
00001a4a: MLOAD
00001a4b: DUP1
00001a4c: SWAP2
00001a4d: SUB
00001a4e: SWAP1
00001a4f: REVERT
00001a50: JUMPDEST
00001a51: JUMPDEST
00001a52: PUSH2 0x1a59
00001a55: PUSH2 0x206c
00001a58: JUMP
00001a59: JUMPDEST
00001a5a: ISZERO
00001a5b: PUSH2 0x1a67
00001a5e: JUMPI
00001a5f: PUSH2 0x1a66
00001a62: PUSH2 0x210a
00001a65: JUMP
00001a66: JUMPDEST
00001a67: JUMPDEST
00001a68: PUSH1 0x00
00001a6a: PUSH2 0x1a72
00001a6d: DUP4
00001a6e: PUSH2 0x0f27
00001a71: JUMP
00001a72: JUMPDEST
00001a73: SWAP1
00001a74: POP
00001a75: DUP1
00001a76: PUSH1 0x05
00001a78: PUSH1 0x00
00001a7a: DUP8
00001a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a90: AND
00001a91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa6: AND
00001aa7: DUP2
00001aa8: MSTORE
00001aa9: PUSH1 0x20
00001aab: ADD
00001aac: SWAP1
00001aad: DUP2
00001aae: MSTORE
00001aaf: PUSH1 0x20
00001ab1: ADD
00001ab2: PUSH1 0x00
00001ab4: KECCAK256
00001ab5: SLOAD
00001ab6: LT
00001ab7: ISZERO
00001ab8: PUSH2 0x1af6
00001abb: JUMPI
00001abc: PUSH1 0x40
00001abe: MLOAD
00001abf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ae0: DUP2
00001ae1: MSTORE
00001ae2: PUSH1 0x04
00001ae4: ADD
00001ae5: PUSH2 0x1aed
00001ae8: SWAP1
00001ae9: PUSH2 0x3772
00001aec: JUMP
00001aed: JUMPDEST
00001aee: PUSH1 0x40
00001af0: MLOAD
00001af1: DUP1
00001af2: SWAP2
00001af3: SUB
00001af4: SWAP1
00001af5: REVERT
00001af6: JUMPDEST
00001af7: DUP1
00001af8: PUSH1 0x05
00001afa: PUSH1 0x00
00001afc: DUP8
00001afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b12: AND
00001b13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b28: AND
00001b29: DUP2
00001b2a: MSTORE
00001b2b: PUSH1 0x20
00001b2d: ADD
00001b2e: SWAP1
00001b2f: DUP2
00001b30: MSTORE
00001b31: PUSH1 0x20
00001b33: ADD
00001b34: PUSH1 0x00
00001b36: KECCAK256
00001b37: SLOAD
00001b38: PUSH2 0x1b41
00001b3b: SWAP2
00001b3c: SWAP1
00001b3d: PUSH2 0x336d
00001b40: JUMP
00001b41: JUMPDEST
00001b42: PUSH1 0x05
00001b44: PUSH1 0x00
00001b46: DUP8
00001b47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5c: AND
00001b5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b72: AND
00001b73: DUP2
00001b74: MSTORE
00001b75: PUSH1 0x20
00001b77: ADD
00001b78: SWAP1
00001b79: DUP2
00001b7a: MSTORE
00001b7b: PUSH1 0x20
00001b7d: ADD
00001b7e: PUSH1 0x00
00001b80: KECCAK256
00001b81: DUP2
00001b82: SWAP1
00001b83: SSTORE
00001b84: POP
00001b85: PUSH1 0x00
00001b87: PUSH2 0x1b90
00001b8a: DUP7
00001b8b: DUP7
00001b8c: PUSH2 0x26ff
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: PUSH2 0x1b9a
00001b94: JUMPI
00001b95: DUP2
00001b96: PUSH2 0x1c02
00001b99: JUMP
00001b9a: JUMPDEST
00001b9b: PUSH2 0x1c01
00001b9e: PUSH32 0x00000000000000000000000016774dbf0ed3e7cf46a8e4fe0f4229bfb11bd3f0
00001bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd4: AND
00001bd5: DUP8
00001bd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001beb: AND
00001bec: EQ
00001bed: PUSH2 0x1bf7
00001bf0: JUMPI
00001bf1: PUSH1 0x00
00001bf3: PUSH2 0x1bfa
00001bf6: JUMP
00001bf7: JUMPDEST
00001bf8: PUSH1 0x01
00001bfa: JUMPDEST
00001bfb: DUP8
00001bfc: DUP5
00001bfd: PUSH2 0x27ad
00001c00: JUMP
00001c01: JUMPDEST
00001c02: JUMPDEST
00001c03: SWAP1
00001c04: POP
00001c05: DUP1
00001c06: PUSH1 0x05
00001c08: PUSH1 0x00
00001c0a: DUP8
00001c0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c20: AND
00001c21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c36: AND
00001c37: DUP2
00001c38: MSTORE
00001c39: PUSH1 0x20
00001c3b: ADD
00001c3c: SWAP1
00001c3d: DUP2
00001c3e: MSTORE
00001c3f: PUSH1 0x20
00001c41: ADD
00001c42: PUSH1 0x00
00001c44: KECCAK256
00001c45: SLOAD
00001c46: PUSH2 0x1c4f
00001c49: SWAP2
00001c4a: SWAP1
00001c4b: PUSH2 0x3792
00001c4e: JUMP
00001c4f: JUMPDEST
00001c50: PUSH1 0x05
00001c52: PUSH1 0x00
00001c54: DUP8
00001c55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6a: AND
00001c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c80: AND
00001c81: DUP2
00001c82: MSTORE
00001c83: PUSH1 0x20
00001c85: ADD
00001c86: SWAP1
00001c87: DUP2
00001c88: MSTORE
00001c89: PUSH1 0x20
00001c8b: ADD
00001c8c: PUSH1 0x00
00001c8e: KECCAK256
00001c8f: DUP2
00001c90: SWAP1
00001c91: SSTORE
00001c92: POP
00001c93: DUP5
00001c94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca9: AND
00001caa: DUP7
00001cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc0: AND
00001cc1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001ce2: PUSH2 0x1cea
00001ce5: DUP5
00001ce6: PUSH2 0x0dde
00001ce9: JUMP
00001cea: JUMPDEST
00001ceb: PUSH1 0x40
00001ced: MLOAD
00001cee: PUSH2 0x1cf7
00001cf1: SWAP2
00001cf2: SWAP1
00001cf3: PUSH2 0x2c15
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: PUSH1 0x40
00001cfa: MLOAD
00001cfb: DUP1
00001cfc: SWAP2
00001cfd: SUB
00001cfe: SWAP1
00001cff: LOG3
00001d00: PUSH1 0x01
00001d02: SWAP3
00001d03: POP
00001d04: POP
00001d05: POP
00001d06: JUMPDEST
00001d07: SWAP4
00001d08: SWAP3
00001d09: POP
00001d0a: POP
00001d0b: POP
00001d0c: JUMP
00001d0d: JUMPDEST
00001d0e: PUSH2 0x1d15
00001d11: PUSH2 0x2bf4
00001d14: JUMP
00001d15: JUMPDEST
00001d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2b: AND
00001d2c: PUSH2 0x1d33
00001d2f: PUSH2 0x10d3
00001d32: JUMP
00001d33: JUMPDEST
00001d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d49: AND
00001d4a: EQ
00001d4b: PUSH2 0x1d89
00001d4e: JUMPI
00001d4f: PUSH1 0x40
00001d51: MLOAD
00001d52: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d73: DUP2
00001d74: MSTORE
00001d75: PUSH1 0x04
00001d77: ADD
00001d78: PUSH2 0x1d80
00001d7b: SWAP1
00001d7c: PUSH2 0x3812
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: PUSH1 0x40
00001d83: MLOAD
00001d84: DUP1
00001d85: SWAP2
00001d86: SUB
00001d87: SWAP1
00001d88: REVERT
00001d89: JUMPDEST
00001d8a: JUMP
00001d8b: JUMPDEST
00001d8c: PUSH1 0x00
00001d8e: DUP1
00001d8f: PUSH1 0x00
00001d91: SWAP1
00001d92: SLOAD
00001d93: SWAP1
00001d94: PUSH2 0x0100
00001d97: EXP
00001d98: SWAP1
00001d99: DIV
00001d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001daf: AND
00001db0: SWAP1
00001db1: POP
00001db2: DUP2
00001db3: PUSH1 0x00
00001db5: DUP1
00001db6: PUSH2 0x0100
00001db9: EXP
00001dba: DUP2
00001dbb: SLOAD
00001dbc: DUP2
00001dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd2: MUL
00001dd3: NOT
00001dd4: AND
00001dd5: SWAP1
00001dd6: DUP4
00001dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dec: AND
00001ded: MUL
00001dee: OR
00001def: SWAP1
00001df0: SSTORE
00001df1: POP
00001df2: DUP2
00001df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e08: AND
00001e09: DUP2
00001e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1f: AND
00001e20: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001e41: PUSH1 0x40
00001e43: MLOAD
00001e44: PUSH1 0x40
00001e46: MLOAD
00001e47: DUP1
00001e48: SWAP2
00001e49: SUB
00001e4a: SWAP1
00001e4b: LOG3
00001e4c: POP
00001e4d: POP
00001e4e: JUMP
00001e4f: JUMPDEST
00001e50: PUSH1 0x00
00001e52: DUP1
00001e53: PUSH2 0x1e5b
00001e56: DUP4
00001e57: PUSH2 0x0f27
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: SWAP1
00001e5d: POP
00001e5e: DUP1
00001e5f: PUSH1 0x05
00001e61: PUSH1 0x00
00001e63: DUP8
00001e64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e79: AND
00001e7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e8f: AND
00001e90: DUP2
00001e91: MSTORE
00001e92: PUSH1 0x20
00001e94: ADD
00001e95: SWAP1
00001e96: DUP2
00001e97: MSTORE
00001e98: PUSH1 0x20
00001e9a: ADD
00001e9b: PUSH1 0x00
00001e9d: KECCAK256
00001e9e: SLOAD
00001e9f: LT
00001ea0: ISZERO
00001ea1: PUSH2 0x1edf
00001ea4: JUMPI
00001ea5: PUSH1 0x40
00001ea7: MLOAD
00001ea8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ec9: DUP2
00001eca: MSTORE
00001ecb: PUSH1 0x04
00001ecd: ADD
00001ece: PUSH2 0x1ed6
00001ed1: SWAP1
00001ed2: PUSH2 0x3772
00001ed5: JUMP
00001ed6: JUMPDEST
00001ed7: PUSH1 0x40
00001ed9: MLOAD
00001eda: DUP1
00001edb: SWAP2
00001edc: SUB
00001edd: SWAP1
00001ede: REVERT
00001edf: JUMPDEST
00001ee0: DUP1
00001ee1: PUSH1 0x05
00001ee3: PUSH1 0x00
00001ee5: DUP8
00001ee6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efb: AND
00001efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f11: AND
00001f12: DUP2
00001f13: MSTORE
00001f14: PUSH1 0x20
00001f16: ADD
00001f17: SWAP1
00001f18: DUP2
00001f19: MSTORE
00001f1a: PUSH1 0x20
00001f1c: ADD
00001f1d: PUSH1 0x00
00001f1f: KECCAK256
00001f20: SLOAD
00001f21: PUSH2 0x1f2a
00001f24: SWAP2
00001f25: SWAP1
00001f26: PUSH2 0x336d
00001f29: JUMP
00001f2a: JUMPDEST
00001f2b: PUSH1 0x05
00001f2d: PUSH1 0x00
00001f2f: DUP8
00001f30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f45: AND
00001f46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5b: AND
00001f5c: DUP2
00001f5d: MSTORE
00001f5e: PUSH1 0x20
00001f60: ADD
00001f61: SWAP1
00001f62: DUP2
00001f63: MSTORE
00001f64: PUSH1 0x20
00001f66: ADD
00001f67: PUSH1 0x00
00001f69: KECCAK256
00001f6a: DUP2
00001f6b: SWAP1
00001f6c: SSTORE
00001f6d: POP
00001f6e: DUP1
00001f6f: PUSH1 0x05
00001f71: PUSH1 0x00
00001f73: DUP7
00001f74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f89: AND
00001f8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9f: AND
00001fa0: DUP2
00001fa1: MSTORE
00001fa2: PUSH1 0x20
00001fa4: ADD
00001fa5: SWAP1
00001fa6: DUP2
00001fa7: MSTORE
00001fa8: PUSH1 0x20
00001faa: ADD
00001fab: PUSH1 0x00
00001fad: KECCAK256
00001fae: SLOAD
00001faf: PUSH2 0x1fb8
00001fb2: SWAP2
00001fb3: SWAP1
00001fb4: PUSH2 0x3792
00001fb7: JUMP
00001fb8: JUMPDEST
00001fb9: PUSH1 0x05
00001fbb: PUSH1 0x00
00001fbd: DUP7
00001fbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd3: AND
00001fd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe9: AND
00001fea: DUP2
00001feb: MSTORE
00001fec: PUSH1 0x20
00001fee: ADD
00001fef: SWAP1
00001ff0: DUP2
00001ff1: MSTORE
00001ff2: PUSH1 0x20
00001ff4: ADD
00001ff5: PUSH1 0x00
00001ff7: KECCAK256
00001ff8: DUP2
00001ff9: SWAP1
00001ffa: SSTORE
00001ffb: POP
00001ffc: DUP4
00001ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002012: AND
00002013: DUP6
00002014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002029: AND
0000202a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000204b: DUP6
0000204c: PUSH1 0x40
0000204e: MLOAD
0000204f: PUSH2 0x2058
00002052: SWAP2
00002053: SWAP1
00002054: PUSH2 0x2c15
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0x40
0000205b: MLOAD
0000205c: DUP1
0000205d: SWAP2
0000205e: SUB
0000205f: SWAP1
00002060: LOG3
00002061: PUSH1 0x01
00002063: SWAP2
00002064: POP
00002065: POP
00002066: SWAP4
00002067: SWAP3
00002068: POP
00002069: POP
0000206a: POP
0000206b: JUMP
0000206c: JUMPDEST
0000206d: PUSH1 0x00
0000206f: PUSH32 0x00000000000000000000000016774dbf0ed3e7cf46a8e4fe0f4229bfb11bd3f0
00002090: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a5: AND
000020a6: CALLER
000020a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020bc: AND
000020bd: EQ
000020be: ISZERO
000020bf: DUP1
000020c0: ISZERO
000020c1: PUSH2 0x20d7
000020c4: JUMPI
000020c5: POP
000020c6: PUSH1 0x11
000020c8: PUSH1 0x00
000020ca: SWAP1
000020cb: SLOAD
000020cc: SWAP1
000020cd: PUSH2 0x0100
000020d0: EXP
000020d1: SWAP1
000020d2: DIV
000020d3: PUSH1 0xff
000020d5: AND
000020d6: ISZERO
000020d7: JUMPDEST
000020d8: DUP1
000020d9: ISZERO
000020da: PUSH2 0x20ef
000020dd: JUMPI
000020de: POP
000020df: PUSH1 0x0f
000020e1: PUSH1 0x14
000020e3: SWAP1
000020e4: SLOAD
000020e5: SWAP1
000020e6: PUSH2 0x0100
000020e9: EXP
000020ea: SWAP1
000020eb: DIV
000020ec: PUSH1 0xff
000020ee: AND
000020ef: JUMPDEST
000020f0: DUP1
000020f1: ISZERO
000020f2: PUSH2 0x2105
000020f5: JUMPI
000020f6: POP
000020f7: PUSH1 0x10
000020f9: SLOAD
000020fa: PUSH2 0x2102
000020fd: ADDRESS
000020fe: PUSH2 0x1068
00002101: JUMP
00002102: JUMPDEST
00002103: LT
00002104: ISZERO
00002105: JUMPDEST
00002106: SWAP1
00002107: POP
00002108: SWAP1
00002109: JUMP
0000210a: JUMPDEST
0000210b: PUSH1 0x01
0000210d: PUSH1 0x11
0000210f: PUSH1 0x00
00002111: PUSH2 0x0100
00002114: EXP
00002115: DUP2
00002116: SLOAD
00002117: DUP2
00002118: PUSH1 0xff
0000211a: MUL
0000211b: NOT
0000211c: AND
0000211d: SWAP1
0000211e: DUP4
0000211f: ISZERO
00002120: ISZERO
00002121: MUL
00002122: OR
00002123: SWAP1
00002124: SSTORE
00002125: POP
00002126: PUSH1 0x00
00002128: PUSH1 0x0c
0000212a: PUSH1 0x40
0000212c: MLOAD
0000212d: DUP1
0000212e: PUSH1 0xc0
00002130: ADD
00002131: PUSH1 0x40
00002133: MSTORE
00002134: SWAP1
00002135: DUP2
00002136: PUSH1 0x00
00002138: DUP3
00002139: ADD
0000213a: PUSH1 0x00
0000213c: SWAP1
0000213d: SLOAD
0000213e: SWAP1
0000213f: PUSH2 0x0100
00002142: EXP
00002143: SWAP1
00002144: DIV
00002145: PUSH1 0xff
00002147: AND
00002148: PUSH1 0xff
0000214a: AND
0000214b: PUSH1 0xff
0000214d: AND
0000214e: DUP2
0000214f: MSTORE
00002150: PUSH1 0x20
00002152: ADD
00002153: PUSH1 0x00
00002155: DUP3
00002156: ADD
00002157: PUSH1 0x01
00002159: SWAP1
0000215a: SLOAD
0000215b: SWAP1
0000215c: PUSH2 0x0100
0000215f: EXP
00002160: SWAP1
00002161: DIV
00002162: PUSH1 0xff
00002164: AND
00002165: PUSH1 0xff
00002167: AND
00002168: PUSH1 0xff
0000216a: AND
0000216b: DUP2
0000216c: MSTORE
0000216d: PUSH1 0x20
0000216f: ADD
00002170: PUSH1 0x00
00002172: DUP3
00002173: ADD
00002174: PUSH1 0x02
00002176: SWAP1
00002177: SLOAD
00002178: SWAP1
00002179: PUSH2 0x0100
0000217c: EXP
0000217d: SWAP1
0000217e: DIV
0000217f: PUSH1 0xff
00002181: AND
00002182: PUSH1 0xff
00002184: AND
00002185: PUSH1 0xff
00002187: AND
00002188: DUP2
00002189: MSTORE
0000218a: PUSH1 0x20
0000218c: ADD
0000218d: PUSH1 0x00
0000218f: DUP3
00002190: ADD
00002191: PUSH1 0x03
00002193: SWAP1
00002194: SLOAD
00002195: SWAP1
00002196: PUSH2 0x0100
00002199: EXP
0000219a: SWAP1
0000219b: DIV
0000219c: PUSH1 0xff
0000219e: AND
0000219f: PUSH1 0xff
000021a1: AND
000021a2: PUSH1 0xff
000021a4: AND
000021a5: DUP2
000021a6: MSTORE
000021a7: PUSH1 0x20
000021a9: ADD
000021aa: PUSH1 0x00
000021ac: DUP3
000021ad: ADD
000021ae: PUSH1 0x04
000021b0: SWAP1
000021b1: SLOAD
000021b2: SWAP1
000021b3: PUSH2 0x0100
000021b6: EXP
000021b7: SWAP1
000021b8: DIV
000021b9: PUSH1 0xff
000021bb: AND
000021bc: PUSH1 0xff
000021be: AND
000021bf: PUSH1 0xff
000021c1: AND
000021c2: DUP2
000021c3: MSTORE
000021c4: PUSH1 0x20
000021c6: ADD
000021c7: PUSH1 0x00
000021c9: DUP3
000021ca: ADD
000021cb: PUSH1 0x05
000021cd: SWAP1
000021ce: SLOAD
000021cf: SWAP1
000021d0: PUSH2 0x0100
000021d3: EXP
000021d4: SWAP1
000021d5: DIV
000021d6: PUSH16 0xffffffffffffffffffffffffffffffff
000021e7: AND
000021e8: PUSH16 0xffffffffffffffffffffffffffffffff
000021f9: AND
000021fa: PUSH16 0xffffffffffffffffffffffffffffffff
0000220b: AND
0000220c: DUP2
0000220d: MSTORE
0000220e: POP
0000220f: POP
00002210: SWAP1
00002211: POP
00002212: PUSH1 0x00
00002214: PUSH1 0x10
00002216: SLOAD
00002217: SWAP1
00002218: POP
00002219: PUSH1 0x00
0000221b: DUP3
0000221c: PUSH1 0xa0
0000221e: ADD
0000221f: MLOAD
00002220: PUSH16 0xffffffffffffffffffffffffffffffff
00002231: AND
00002232: DUP4
00002233: PUSH1 0x80
00002235: ADD
00002236: MLOAD
00002237: PUSH1 0xff
00002239: AND
0000223a: DUP4
0000223b: PUSH2 0x2244
0000223e: SWAP2
0000223f: SWAP1
00002240: PUSH2 0x33a1
00002243: JUMP
00002244: JUMPDEST
00002245: PUSH2 0x224e
00002248: SWAP2
00002249: SWAP1
0000224a: PUSH2 0x3412
0000224d: JUMP
0000224e: JUMPDEST
0000224f: SWAP1
00002250: POP
00002251: PUSH1 0x00
00002253: DUP2
00002254: DUP4
00002255: PUSH2 0x225e
00002258: SWAP2
00002259: SWAP1
0000225a: PUSH2 0x336d
0000225d: JUMP
0000225e: JUMPDEST
0000225f: SWAP1
00002260: POP
00002261: PUSH2 0x227e
00002264: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00002279: DUP3
0000227a: PUSH2 0x0969
0000227d: JUMP
0000227e: JUMPDEST
0000227f: POP
00002280: PUSH2 0x228c
00002283: ADDRESS
00002284: PUSH2 0xdead
00002287: DUP5
00002288: PUSH2 0x183e
0000228b: JUMP
0000228c: JUMPDEST
0000228d: POP
0000228e: PUSH1 0x00
00002290: PUSH1 0x02
00002292: PUSH8 0xffffffffffffffff
0000229b: DUP2
0000229c: GT
0000229d: ISZERO
0000229e: PUSH2 0x22aa
000022a1: JUMPI
000022a2: PUSH2 0x22a9
000022a5: PUSH2 0x3832
000022a8: JUMP
000022a9: JUMPDEST
000022aa: JUMPDEST
000022ab: PUSH1 0x40
000022ad: MLOAD
000022ae: SWAP1
000022af: DUP1
000022b0: DUP3
000022b1: MSTORE
000022b2: DUP1
000022b3: PUSH1 0x20
000022b5: MUL
000022b6: PUSH1 0x20
000022b8: ADD
000022b9: DUP3
000022ba: ADD
000022bb: PUSH1 0x40
000022bd: MSTORE
000022be: DUP1
000022bf: ISZERO
000022c0: PUSH2 0x22d8
000022c3: JUMPI
000022c4: DUP2
000022c5: PUSH1 0x20
000022c7: ADD
000022c8: PUSH1 0x20
000022ca: DUP3
000022cb: MUL
000022cc: DUP1
000022cd: CALLDATASIZE
000022ce: DUP4
000022cf: CALLDATACOPY
000022d0: DUP1
000022d1: DUP3
000022d2: ADD
000022d3: SWAP2
000022d4: POP
000022d5: POP
000022d6: SWAP1
000022d7: POP
000022d8: JUMPDEST
000022d9: POP
000022da: SWAP1
000022db: POP
000022dc: ADDRESS
000022dd: DUP2
000022de: PUSH1 0x00
000022e0: DUP2
000022e1: MLOAD
000022e2: DUP2
000022e3: LT
000022e4: PUSH2 0x22f0
000022e7: JUMPI
000022e8: PUSH2 0x22ef
000022eb: PUSH2 0x3861
000022ee: JUMP
000022ef: JUMPDEST
000022f0: JUMPDEST
000022f1: PUSH1 0x20
000022f3: MUL
000022f4: PUSH1 0x20
000022f6: ADD
000022f7: ADD
000022f8: SWAP1
000022f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000230e: AND
0000230f: SWAP1
00002310: DUP2
00002311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002326: AND
00002327: DUP2
00002328: MSTORE
00002329: POP
0000232a: POP
0000232b: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00002340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002355: AND
00002356: PUSH4 0xad5c4648
0000235b: PUSH1 0x40
0000235d: MLOAD
0000235e: DUP2
0000235f: PUSH4 0xffffffff
00002364: AND
00002365: PUSH1 0xe0
00002367: SHL
00002368: DUP2
00002369: MSTORE
0000236a: PUSH1 0x04
0000236c: ADD
0000236d: PUSH1 0x20
0000236f: PUSH1 0x40
00002371: MLOAD
00002372: DUP1
00002373: DUP4
00002374: SUB
00002375: DUP2
00002376: DUP7
00002377: GAS
00002378: STATICCALL
00002379: ISZERO
0000237a: DUP1
0000237b: ISZERO
0000237c: PUSH2 0x2389
0000237f: JUMPI
00002380: RETURNDATASIZE
00002381: PUSH1 0x00
00002383: DUP1
00002384: RETURNDATACOPY
00002385: RETURNDATASIZE
00002386: PUSH1 0x00
00002388: REVERT
00002389: JUMPDEST
0000238a: POP
0000238b: POP
0000238c: POP
0000238d: POP
0000238e: PUSH1 0x40
00002390: MLOAD
00002391: RETURNDATASIZE
00002392: PUSH1 0x1f
00002394: NOT
00002395: PUSH1 0x1f
00002397: DUP3
00002398: ADD
00002399: AND
0000239a: DUP3
0000239b: ADD
0000239c: DUP1
0000239d: PUSH1 0x40
0000239f: MSTORE
000023a0: POP
000023a1: DUP2
000023a2: ADD
000023a3: SWAP1
000023a4: PUSH2 0x23ad
000023a7: SWAP2
000023a8: SWAP1
000023a9: PUSH2 0x38a5
000023ac: JUMP
000023ad: JUMPDEST
000023ae: DUP2
000023af: PUSH1 0x01
000023b1: DUP2
000023b2: MLOAD
000023b3: DUP2
000023b4: LT
000023b5: PUSH2 0x23c1
000023b8: JUMPI
000023b9: PUSH2 0x23c0
000023bc: PUSH2 0x3861
000023bf: JUMP
000023c0: JUMPDEST
000023c1: JUMPDEST
000023c2: PUSH1 0x20
000023c4: MUL
000023c5: PUSH1 0x20
000023c7: ADD
000023c8: ADD
000023c9: SWAP1
000023ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023df: AND
000023e0: SWAP1
000023e1: DUP2
000023e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f7: AND
000023f8: DUP2
000023f9: MSTORE
000023fa: POP
000023fb: POP
000023fc: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00002411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002426: AND
00002427: PUSH4 0x791ac947
0000242c: DUP4
0000242d: PUSH1 0x00
0000242f: DUP5
00002430: ADDRESS
00002431: TIMESTAMP
00002432: PUSH1 0x40
00002434: MLOAD
00002435: DUP7
00002436: PUSH4 0xffffffff
0000243b: AND
0000243c: PUSH1 0xe0
0000243e: SHL
0000243f: DUP2
00002440: MSTORE
00002441: PUSH1 0x04
00002443: ADD
00002444: PUSH2 0x2451
00002447: SWAP6
00002448: SWAP5
00002449: SWAP4
0000244a: SWAP3
0000244b: SWAP2
0000244c: SWAP1
0000244d: PUSH2 0x39cb
00002450: JUMP
00002451: JUMPDEST
00002452: PUSH1 0x00
00002454: PUSH1 0x40
00002456: MLOAD
00002457: DUP1
00002458: DUP4
00002459: SUB
0000245a: DUP2
0000245b: PUSH1 0x00
0000245d: DUP8
0000245e: DUP1
0000245f: EXTCODESIZE
00002460: ISZERO
00002461: DUP1
00002462: ISZERO
00002463: PUSH2 0x246b
00002466: JUMPI
00002467: PUSH1 0x00
00002469: DUP1
0000246a: REVERT
0000246b: JUMPDEST
0000246c: POP
0000246d: GAS
0000246e: CALL
0000246f: ISZERO
00002470: DUP1
00002471: ISZERO
00002472: PUSH2 0x247f
00002475: JUMPI
00002476: RETURNDATASIZE
00002477: PUSH1 0x00
00002479: DUP1
0000247a: RETURNDATACOPY
0000247b: RETURNDATASIZE
0000247c: PUSH1 0x00
0000247e: REVERT
0000247f: JUMPDEST
00002480: POP
00002481: POP
00002482: POP
00002483: POP
00002484: PUSH1 0x00
00002486: SELFBALANCE
00002487: SWAP1
00002488: POP
00002489: PUSH1 0x00
0000248b: DUP7
0000248c: PUSH1 0x80
0000248e: ADD
0000248f: MLOAD
00002490: PUSH1 0xff
00002492: AND
00002493: DUP8
00002494: PUSH1 0x00
00002496: ADD
00002497: MLOAD
00002498: PUSH1 0xff
0000249a: AND
0000249b: DUP9
0000249c: PUSH1 0xa0
0000249e: ADD
0000249f: MLOAD
000024a0: PUSH2 0x24a9
000024a3: SWAP2
000024a4: SWAP1
000024a5: PUSH2 0x3a25
000024a8: JUMP
000024a9: JUMPDEST
000024aa: PUSH2 0x24b3
000024ad: SWAP2
000024ae: SWAP1
000024af: PUSH2 0x3a25
000024b2: JUMP
000024b3: JUMPDEST
000024b4: PUSH16 0xffffffffffffffffffffffffffffffff
000024c5: AND
000024c6: SWAP1
000024c7: POP
000024c8: PUSH1 0x00
000024ca: DUP2
000024cb: DUP9
000024cc: PUSH1 0x20
000024ce: ADD
000024cf: MLOAD
000024d0: PUSH1 0xff
000024d2: AND
000024d3: DUP5
000024d4: PUSH2 0x24dd
000024d7: SWAP2
000024d8: SWAP1
000024d9: PUSH2 0x33a1
000024dc: JUMP
000024dd: JUMPDEST
000024de: PUSH2 0x24e7
000024e1: SWAP2
000024e2: SWAP1
000024e3: PUSH2 0x3412
000024e6: JUMP
000024e7: JUMPDEST
000024e8: SWAP1
000024e9: POP
000024ea: PUSH1 0x00
000024ec: DUP3
000024ed: DUP10
000024ee: PUSH1 0x40
000024f0: ADD
000024f1: MLOAD
000024f2: PUSH1 0xff
000024f4: AND
000024f5: DUP6
000024f6: PUSH2 0x24ff
000024f9: SWAP2
000024fa: SWAP1
000024fb: PUSH2 0x33a1
000024fe: JUMP
000024ff: JUMPDEST
00002500: PUSH2 0x2509
00002503: SWAP2
00002504: SWAP1
00002505: PUSH2 0x3412
00002508: JUMP
00002509: JUMPDEST
0000250a: SWAP1
0000250b: POP
0000250c: PUSH1 0x00
0000250e: DUP4
0000250f: DUP11
00002510: PUSH1 0x60
00002512: ADD
00002513: MLOAD
00002514: PUSH1 0xff
00002516: AND
00002517: DUP7
00002518: PUSH2 0x2521
0000251b: SWAP2
0000251c: SWAP1
0000251d: PUSH2 0x33a1
00002520: JUMP
00002521: JUMPDEST
00002522: PUSH2 0x252b
00002525: SWAP2
00002526: SWAP1
00002527: PUSH2 0x3412
0000252a: JUMP
0000252b: JUMPDEST
0000252c: SWAP1
0000252d: POP
0000252e: PUSH1 0x00
00002530: PUSH1 0x0d
00002532: PUSH1 0x00
00002534: SWAP1
00002535: SLOAD
00002536: SWAP1
00002537: PUSH2 0x0100
0000253a: EXP
0000253b: SWAP1
0000253c: DIV
0000253d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002552: AND
00002553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002568: AND
00002569: DUP5
0000256a: PUSH1 0x40
0000256c: MLOAD
0000256d: PUSH2 0x2575
00002570: SWAP1
00002571: PUSH2 0x3474
00002574: JUMP
00002575: JUMPDEST
00002576: PUSH1 0x00
00002578: PUSH1 0x40
0000257a: MLOAD
0000257b: DUP1
0000257c: DUP4
0000257d: SUB
0000257e: DUP2
0000257f: DUP6
00002580: DUP8
00002581: GAS
00002582: CALL
00002583: SWAP3
00002584: POP
00002585: POP
00002586: POP
00002587: RETURNDATASIZE
00002588: DUP1
00002589: PUSH1 0x00
0000258b: DUP2
0000258c: EQ
0000258d: PUSH2 0x25b2
00002590: JUMPI
00002591: PUSH1 0x40
00002593: MLOAD
00002594: SWAP2
00002595: POP
00002596: PUSH1 0x1f
00002598: NOT
00002599: PUSH1 0x3f
0000259b: RETURNDATASIZE
0000259c: ADD
0000259d: AND
0000259e: DUP3
0000259f: ADD
000025a0: PUSH1 0x40
000025a2: MSTORE
000025a3: RETURNDATASIZE
000025a4: DUP3
000025a5: MSTORE
000025a6: RETURNDATASIZE
000025a7: PUSH1 0x00
000025a9: PUSH1 0x20
000025ab: DUP5
000025ac: ADD
000025ad: RETURNDATACOPY
000025ae: PUSH2 0x25b7
000025b1: JUMP
000025b2: JUMPDEST
000025b3: PUSH1 0x60
000025b5: SWAP2
000025b6: POP
000025b7: JUMPDEST
000025b8: POP
000025b9: POP
000025ba: SWAP1
000025bb: POP
000025bc: PUSH1 0x0e
000025be: PUSH1 0x00
000025c0: SWAP1
000025c1: SLOAD
000025c2: SWAP1
000025c3: PUSH2 0x0100
000025c6: EXP
000025c7: SWAP1
000025c8: DIV
000025c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025de: AND
000025df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025f4: AND
000025f5: DUP4
000025f6: PUSH1 0x40
000025f8: MLOAD
000025f9: PUSH2 0x2601
000025fc: SWAP1
000025fd: PUSH2 0x3474
00002600: JUMP
00002601: JUMPDEST
00002602: PUSH1 0x00
00002604: PUSH1 0x40
00002606: MLOAD
00002607: DUP1
00002608: DUP4
00002609: SUB
0000260a: DUP2
0000260b: DUP6
0000260c: DUP8
0000260d: GAS
0000260e: CALL
0000260f: SWAP3
00002610: POP
00002611: POP
00002612: POP
00002613: RETURNDATASIZE
00002614: DUP1
00002615: PUSH1 0x00
00002617: DUP2
00002618: EQ
00002619: PUSH2 0x263e
0000261c: JUMPI
0000261d: PUSH1 0x40
0000261f: MLOAD
00002620: SWAP2
00002621: POP
00002622: PUSH1 0x1f
00002624: NOT
00002625: PUSH1 0x3f
00002627: RETURNDATASIZE
00002628: ADD
00002629: AND
0000262a: DUP3
0000262b: ADD
0000262c: PUSH1 0x40
0000262e: MSTORE
0000262f: RETURNDATASIZE
00002630: DUP3
00002631: MSTORE
00002632: RETURNDATASIZE
00002633: PUSH1 0x00
00002635: PUSH1 0x20
00002637: DUP5
00002638: ADD
00002639: RETURNDATACOPY
0000263a: PUSH2 0x2643
0000263d: JUMP
0000263e: JUMPDEST
0000263f: PUSH1 0x60
00002641: SWAP2
00002642: POP
00002643: JUMPDEST
00002644: POP
00002645: POP
00002646: DUP1
00002647: SWAP2
00002648: POP
00002649: POP
0000264a: PUSH1 0x0f
0000264c: PUSH1 0x00
0000264e: SWAP1
0000264f: SLOAD
00002650: SWAP1
00002651: PUSH2 0x0100
00002654: EXP
00002655: SWAP1
00002656: DIV
00002657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000266c: AND
0000266d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002682: AND
00002683: DUP3
00002684: PUSH1 0x40
00002686: MLOAD
00002687: PUSH2 0x268f
0000268a: SWAP1
0000268b: PUSH2 0x3474
0000268e: JUMP
0000268f: JUMPDEST
00002690: PUSH1 0x00
00002692: PUSH1 0x40
00002694: MLOAD
00002695: DUP1
00002696: DUP4
00002697: SUB
00002698: DUP2
00002699: DUP6
0000269a: DUP8
0000269b: GAS
0000269c: CALL
0000269d: SWAP3
0000269e: POP
0000269f: POP
000026a0: POP
000026a1: RETURNDATASIZE
000026a2: DUP1
000026a3: PUSH1 0x00
000026a5: DUP2
000026a6: EQ
000026a7: PUSH2 0x26cc
000026aa: JUMPI
000026ab: PUSH1 0x40
000026ad: MLOAD
000026ae: SWAP2
000026af: POP
000026b0: PUSH1 0x1f
000026b2: NOT
000026b3: PUSH1 0x3f
000026b5: RETURNDATASIZE
000026b6: ADD
000026b7: AND
000026b8: DUP3
000026b9: ADD
000026ba: PUSH1 0x40
000026bc: MSTORE
000026bd: RETURNDATASIZE
000026be: DUP3
000026bf: MSTORE
000026c0: RETURNDATASIZE
000026c1: PUSH1 0x00
000026c3: PUSH1 0x20
000026c5: DUP5
000026c6: ADD
000026c7: RETURNDATACOPY
000026c8: PUSH2 0x26d1
000026cb: JUMP
000026cc: JUMPDEST
000026cd: PUSH1 0x60
000026cf: SWAP2
000026d0: POP
000026d1: JUMPDEST
000026d2: POP
000026d3: POP
000026d4: DUP1
000026d5: SWAP2
000026d6: POP
000026d7: POP
000026d8: POP
000026d9: POP
000026da: POP
000026db: POP
000026dc: POP
000026dd: POP
000026de: POP
000026df: POP
000026e0: POP
000026e1: POP
000026e2: POP
000026e3: PUSH1 0x00
000026e5: PUSH1 0x11
000026e7: PUSH1 0x00
000026e9: PUSH2 0x0100
000026ec: EXP
000026ed: DUP2
000026ee: SLOAD
000026ef: DUP2
000026f0: PUSH1 0xff
000026f2: MUL
000026f3: NOT
000026f4: AND
000026f5: SWAP1
000026f6: DUP4
000026f7: ISZERO
000026f8: ISZERO
000026f9: MUL
000026fa: OR
000026fb: SWAP1
000026fc: SSTORE
000026fd: POP
000026fe: JUMP
000026ff: JUMPDEST
00002700: PUSH1 0x00
00002702: PUSH1 0x09
00002704: PUSH1 0x00
00002706: DUP5
00002707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000271c: AND
0000271d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002732: AND
00002733: DUP2
00002734: MSTORE
00002735: PUSH1 0x20
00002737: ADD
00002738: SWAP1
00002739: DUP2
0000273a: MSTORE
0000273b: PUSH1 0x20
0000273d: ADD
0000273e: PUSH1 0x00
00002740: KECCAK256
00002741: PUSH1 0x00
00002743: SWAP1
00002744: SLOAD
00002745: SWAP1
00002746: PUSH2 0x0100
00002749: EXP
0000274a: SWAP1
0000274b: DIV
0000274c: PUSH1 0xff
0000274e: AND
0000274f: ISZERO
00002750: DUP1
00002751: ISZERO
00002752: PUSH2 0x27a5
00002755: JUMPI
00002756: POP
00002757: PUSH1 0x09
00002759: PUSH1 0x00
0000275b: DUP4
0000275c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002771: AND
00002772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002787: AND
00002788: DUP2
00002789: MSTORE
0000278a: PUSH1 0x20
0000278c: ADD
0000278d: SWAP1
0000278e: DUP2
0000278f: MSTORE
00002790: PUSH1 0x20
00002792: ADD
00002793: PUSH1 0x00
00002795: KECCAK256
00002796: PUSH1 0x00
00002798: SWAP1
00002799: SLOAD
0000279a: SWAP1
0000279b: PUSH2 0x0100
0000279e: EXP
0000279f: SWAP1
000027a0: DIV
000027a1: PUSH1 0xff
000027a3: AND
000027a4: ISZERO
000027a5: JUMPDEST
000027a6: SWAP1
000027a7: POP
000027a8: SWAP3
000027a9: SWAP2
000027aa: POP
000027ab: POP
000027ac: JUMP
000027ad: JUMPDEST
000027ae: PUSH1 0x00
000027b0: DUP1
000027b1: PUSH1 0x0b
000027b3: PUSH1 0x40
000027b5: MLOAD
000027b6: DUP1
000027b7: PUSH1 0xc0
000027b9: ADD
000027ba: PUSH1 0x40
000027bc: MSTORE
000027bd: SWAP1
000027be: DUP2
000027bf: PUSH1 0x00
000027c1: DUP3
000027c2: ADD
000027c3: PUSH1 0x00
000027c5: SWAP1
000027c6: SLOAD
000027c7: SWAP1
000027c8: PUSH2 0x0100
000027cb: EXP
000027cc: SWAP1
000027cd: DIV
000027ce: PUSH1 0xff
000027d0: AND
000027d1: PUSH1 0xff
000027d3: AND
000027d4: PUSH1 0xff
000027d6: AND
000027d7: DUP2
000027d8: MSTORE
000027d9: PUSH1 0x20
000027db: ADD
000027dc: PUSH1 0x00
000027de: DUP3
000027df: ADD
000027e0: PUSH1 0x01
000027e2: SWAP1
000027e3: SLOAD
000027e4: SWAP1
000027e5: PUSH2 0x0100
000027e8: EXP
000027e9: SWAP1
000027ea: DIV
000027eb: PUSH1 0xff
000027ed: AND
000027ee: PUSH1 0xff
000027f0: AND
000027f1: PUSH1 0xff
000027f3: AND
000027f4: DUP2
000027f5: MSTORE
000027f6: PUSH1 0x20
000027f8: ADD
000027f9: PUSH1 0x00
000027fb: DUP3
000027fc: ADD
000027fd: PUSH1 0x02
000027ff: SWAP1
00002800: SLOAD
00002801: SWAP1
00002802: PUSH2 0x0100
00002805: EXP
00002806: SWAP1
00002807: DIV
00002808: PUSH1 0xff
0000280a: AND
0000280b: PUSH1 0xff
0000280d: AND
0000280e: PUSH1 0xff
00002810: AND
00002811: DUP2
00002812: MSTORE
00002813: PUSH1 0x20
00002815: ADD
00002816: PUSH1 0x00
00002818: DUP3
00002819: ADD
0000281a: PUSH1 0x03
0000281c: SWAP1
0000281d: SLOAD
0000281e: SWAP1
0000281f: PUSH2 0x0100
00002822: EXP
00002823: SWAP1
00002824: DIV
00002825: PUSH1 0xff
00002827: AND
00002828: PUSH1 0xff
0000282a: AND
0000282b: PUSH1 0xff
0000282d: AND
0000282e: DUP2
0000282f: MSTORE
00002830: PUSH1 0x20
00002832: ADD
00002833: PUSH1 0x00
00002835: DUP3
00002836: ADD
00002837: PUSH1 0x04
00002839: SWAP1
0000283a: SLOAD
0000283b: SWAP1
0000283c: PUSH2 0x0100
0000283f: EXP
00002840: SWAP1
00002841: DIV
00002842: PUSH1 0xff
00002844: AND
00002845: PUSH1 0xff
00002847: AND
00002848: PUSH1 0xff
0000284a: AND
0000284b: DUP2
0000284c: MSTORE
0000284d: PUSH1 0x20
0000284f: ADD
00002850: PUSH1 0x00
00002852: DUP3
00002853: ADD
00002854: PUSH1 0x05
00002856: SWAP1
00002857: SLOAD
00002858: SWAP1
00002859: PUSH2 0x0100
0000285c: EXP
0000285d: SWAP1
0000285e: DIV
0000285f: PUSH16 0xffffffffffffffffffffffffffffffff
00002870: AND
00002871: PUSH16 0xffffffffffffffffffffffffffffffff
00002882: AND
00002883: PUSH16 0xffffffffffffffffffffffffffffffff
00002894: AND
00002895: DUP2
00002896: MSTORE
00002897: POP
00002898: POP
00002899: SWAP1
0000289a: POP
0000289b: PUSH1 0x00
0000289d: PUSH1 0x0c
0000289f: PUSH1 0x40
000028a1: MLOAD
000028a2: DUP1
000028a3: PUSH1 0xc0
000028a5: ADD
000028a6: PUSH1 0x40
000028a8: MSTORE
000028a9: SWAP1
000028aa: DUP2
000028ab: PUSH1 0x00
000028ad: DUP3
000028ae: ADD
000028af: PUSH1 0x00
000028b1: SWAP1
000028b2: SLOAD
000028b3: SWAP1
000028b4: PUSH2 0x0100
000028b7: EXP
000028b8: SWAP1
000028b9: DIV
000028ba: PUSH1 0xff
000028bc: AND
000028bd: PUSH1 0xff
000028bf: AND
000028c0: PUSH1 0xff
000028c2: AND
000028c3: DUP2
000028c4: MSTORE
000028c5: PUSH1 0x20
000028c7: ADD
000028c8: PUSH1 0x00
000028ca: DUP3
000028cb: ADD
000028cc: PUSH1 0x01
000028ce: SWAP1
000028cf: SLOAD
000028d0: SWAP1
000028d1: PUSH2 0x0100
000028d4: EXP
000028d5: SWAP1
000028d6: DIV
000028d7: PUSH1 0xff
000028d9: AND
000028da: PUSH1 0xff
000028dc: AND
000028dd: PUSH1 0xff
000028df: AND
000028e0: DUP2
000028e1: MSTORE
000028e2: PUSH1 0x20
000028e4: ADD
000028e5: PUSH1 0x00
000028e7: DUP3
000028e8: ADD
000028e9: PUSH1 0x02
000028eb: SWAP1
000028ec: SLOAD
000028ed: SWAP1
000028ee: PUSH2 0x0100
000028f1: EXP
000028f2: SWAP1
000028f3: DIV
000028f4: PUSH1 0xff
000028f6: AND
000028f7: PUSH1 0xff
000028f9: AND
000028fa: PUSH1 0xff
000028fc: AND
000028fd: DUP2
000028fe: MSTORE
000028ff: PUSH1 0x20
00002901: ADD
00002902: PUSH1 0x00
00002904: DUP3
00002905: ADD
00002906: PUSH1 0x03
00002908: SWAP1
00002909: SLOAD
0000290a: SWAP1
0000290b: PUSH2 0x0100
0000290e: EXP
0000290f: SWAP1
00002910: DIV
00002911: PUSH1 0xff
00002913: AND
00002914: PUSH1 0xff
00002916: AND
00002917: PUSH1 0xff
00002919: AND
0000291a: DUP2
0000291b: MSTORE
0000291c: PUSH1 0x20
0000291e: ADD
0000291f: PUSH1 0x00
00002921: DUP3
00002922: ADD
00002923: PUSH1 0x04
00002925: SWAP1
00002926: SLOAD
00002927: SWAP1
00002928: PUSH2 0x0100
0000292b: EXP
0000292c: SWAP1
0000292d: DIV
0000292e: PUSH1 0xff
00002930: AND
00002931: PUSH1 0xff
00002933: AND
00002934: PUSH1 0xff
00002936: AND
00002937: DUP2
00002938: MSTORE
00002939: PUSH1 0x20
0000293b: ADD
0000293c: PUSH1 0x00
0000293e: DUP3
0000293f: ADD
00002940: PUSH1 0x05
00002942: SWAP1
00002943: SLOAD
00002944: SWAP1
00002945: PUSH2 0x0100
00002948: EXP
00002949: SWAP1
0000294a: DIV
0000294b: PUSH16 0xffffffffffffffffffffffffffffffff
0000295c: AND
0000295d: PUSH16 0xffffffffffffffffffffffffffffffff
0000296e: AND
0000296f: PUSH16 0xffffffffffffffffffffffffffffffff
00002980: AND
00002981: DUP2
00002982: MSTORE
00002983: POP
00002984: POP
00002985: SWAP1
00002986: POP
00002987: PUSH1 0x00
00002989: PUSH1 0x01
0000298b: ISZERO
0000298c: ISZERO
0000298d: DUP8
0000298e: ISZERO
0000298f: ISZERO
00002990: EQ
00002991: PUSH2 0x29c7
00002994: JUMPI
00002995: PUSH1 0x64
00002997: DUP3
00002998: PUSH1 0xa0
0000299a: ADD
0000299b: MLOAD
0000299c: PUSH16 0xffffffffffffffffffffffffffffffff
000029ad: AND
000029ae: DUP7
000029af: PUSH2 0x29b8
000029b2: SWAP2
000029b3: SWAP1
000029b4: PUSH2 0x33a1
000029b7: JUMP
000029b8: JUMPDEST
000029b9: PUSH2 0x29c2
000029bc: SWAP2
000029bd: SWAP1
000029be: PUSH2 0x3412
000029c1: JUMP
000029c2: JUMPDEST
000029c3: PUSH2 0x29f6
000029c6: JUMP
000029c7: JUMPDEST
000029c8: PUSH1 0x64
000029ca: DUP4
000029cb: PUSH1 0xa0
000029cd: ADD
000029ce: MLOAD
000029cf: PUSH16 0xffffffffffffffffffffffffffffffff
000029e0: AND
000029e1: DUP7
000029e2: PUSH2 0x29eb
000029e5: SWAP2
000029e6: SWAP1
000029e7: PUSH2 0x33a1
000029ea: JUMP
000029eb: JUMPDEST
000029ec: PUSH2 0x29f5
000029ef: SWAP2
000029f0: SWAP1
000029f1: PUSH2 0x3412
000029f4: JUMP
000029f5: JUMPDEST
000029f6: JUMPDEST
000029f7: SWAP1
000029f8: POP
000029f9: PUSH1 0x00
000029fb: PUSH1 0x01
000029fd: ISZERO
000029fe: ISZERO
000029ff: DUP9
00002a00: ISZERO
00002a01: ISZERO
00002a02: EQ
00002a03: PUSH2 0x2a3f
00002a06: JUMPI
00002a07: DUP3
00002a08: PUSH1 0xa0
00002a0a: ADD
00002a0b: MLOAD
00002a0c: PUSH16 0xffffffffffffffffffffffffffffffff
00002a1d: AND
00002a1e: DUP4
00002a1f: PUSH1 0x00
00002a21: ADD
00002a22: MLOAD
00002a23: PUSH1 0xff
00002a25: AND
00002a26: DUP4
00002a27: PUSH2 0x2a30
00002a2a: SWAP2
00002a2b: SWAP1
00002a2c: PUSH2 0x33a1
00002a2f: JUMP
00002a30: JUMPDEST
00002a31: PUSH2 0x2a3a
00002a34: SWAP2
00002a35: SWAP1
00002a36: PUSH2 0x3412
00002a39: JUMP
00002a3a: JUMPDEST
00002a3b: PUSH2 0x2a74
00002a3e: JUMP
00002a3f: JUMPDEST
00002a40: DUP4
00002a41: PUSH1 0xa0
00002a43: ADD
00002a44: MLOAD
00002a45: PUSH16 0xffffffffffffffffffffffffffffffff
00002a56: AND
00002a57: DUP5
00002a58: PUSH1 0x00
00002a5a: ADD
00002a5b: MLOAD
00002a5c: PUSH1 0xff
00002a5e: AND
00002a5f: DUP4
00002a60: PUSH2 0x2a69
00002a63: SWAP2
00002a64: SWAP1
00002a65: PUSH2 0x33a1
00002a68: JUMP
00002a69: JUMPDEST
00002a6a: PUSH2 0x2a73
00002a6d: SWAP2
00002a6e: SWAP1
00002a6f: PUSH2 0x3412
00002a72: JUMP
00002a73: JUMPDEST
00002a74: JUMPDEST
00002a75: SWAP1
00002a76: POP
00002a77: DUP1
00002a78: PUSH1 0x06
00002a7a: SLOAD
00002a7b: PUSH2 0x2a84
00002a7e: SWAP2
00002a7f: SWAP1
00002a80: PUSH2 0x336d
00002a83: JUMP
00002a84: JUMPDEST
00002a85: PUSH1 0x06
00002a87: DUP2
00002a88: SWAP1
00002a89: SSTORE
00002a8a: POP
00002a8b: PUSH1 0x00
00002a8d: DUP2
00002a8e: DUP4
00002a8f: PUSH2 0x2a98
00002a92: SWAP2
00002a93: SWAP1
00002a94: PUSH2 0x336d
00002a97: JUMP
00002a98: JUMPDEST
00002a99: SWAP1
00002a9a: POP
00002a9b: PUSH1 0x00
00002a9d: DUP2
00002a9e: GT
00002a9f: ISZERO
00002aa0: PUSH2 0x2b9f
00002aa3: JUMPI
00002aa4: DUP1
00002aa5: PUSH1 0x05
00002aa7: PUSH1 0x00
00002aa9: ADDRESS
00002aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002abf: AND
00002ac0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ad5: AND
00002ad6: DUP2
00002ad7: MSTORE
00002ad8: PUSH1 0x20
00002ada: ADD
00002adb: SWAP1
00002adc: DUP2
00002add: MSTORE
00002ade: PUSH1 0x20
00002ae0: ADD
00002ae1: PUSH1 0x00
00002ae3: KECCAK256
00002ae4: SLOAD
00002ae5: PUSH2 0x2aee
00002ae8: SWAP2
00002ae9: SWAP1
00002aea: PUSH2 0x3792
00002aed: JUMP
00002aee: JUMPDEST
00002aef: PUSH1 0x05
00002af1: PUSH1 0x00
00002af3: ADDRESS
00002af4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b09: AND
00002b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b1f: AND
00002b20: DUP2
00002b21: MSTORE
00002b22: PUSH1 0x20
00002b24: ADD
00002b25: SWAP1
00002b26: DUP2
00002b27: MSTORE
00002b28: PUSH1 0x20
00002b2a: ADD
00002b2b: PUSH1 0x00
00002b2d: KECCAK256
00002b2e: DUP2
00002b2f: SWAP1
00002b30: SSTORE
00002b31: POP
00002b32: ADDRESS
00002b33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b48: AND
00002b49: DUP9
00002b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b5f: AND
00002b60: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002b81: PUSH2 0x2b89
00002b84: DUP5
00002b85: PUSH2 0x0dde
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: PUSH1 0x40
00002b8c: MLOAD
00002b8d: PUSH2 0x2b96
00002b90: SWAP2
00002b91: SWAP1
00002b92: PUSH2 0x2c15
00002b95: JUMP
00002b96: JUMPDEST
00002b97: PUSH1 0x40
00002b99: MLOAD
00002b9a: DUP1
00002b9b: SWAP2
00002b9c: SUB
00002b9d: SWAP1
00002b9e: LOG3
00002b9f: JUMPDEST
00002ba0: PUSH32 0xc3b3cc73ac1faef58c428c22be6cb344acfd92a699c8cd758c753af27071b5ac
00002bc1: DUP3
00002bc2: PUSH1 0x06
00002bc4: SLOAD
00002bc5: PUSH1 0x40
00002bc7: MLOAD
00002bc8: PUSH2 0x2bd2
00002bcb: SWAP3
00002bcc: SWAP2
00002bcd: SWAP1
00002bce: PUSH2 0x3a69
00002bd1: JUMP
00002bd2: JUMPDEST
00002bd3: PUSH1 0x40
00002bd5: MLOAD
00002bd6: DUP1
00002bd7: SWAP2
00002bd8: SUB
00002bd9: SWAP1
00002bda: LOG1
00002bdb: DUP3
00002bdc: DUP8
00002bdd: PUSH2 0x2be6
00002be0: SWAP2
00002be1: SWAP1
00002be2: PUSH2 0x336d
00002be5: JUMP
00002be6: JUMPDEST
00002be7: SWAP6
00002be8: POP
00002be9: POP
00002bea: POP
00002beb: POP
00002bec: POP
00002bed: POP
00002bee: SWAP4
00002bef: SWAP3
00002bf0: POP
00002bf1: POP
00002bf2: POP
00002bf3: JUMP
00002bf4: JUMPDEST
00002bf5: PUSH1 0x00
00002bf7: CALLER
00002bf8: SWAP1
00002bf9: POP
00002bfa: SWAP1
00002bfb: JUMP
00002bfc: JUMPDEST
00002bfd: PUSH1 0x00
00002bff: DUP2
00002c00: SWAP1
00002c01: POP
00002c02: SWAP2
00002c03: SWAP1
00002c04: POP
00002c05: JUMP
00002c06: JUMPDEST
00002c07: PUSH2 0x2c0f
00002c0a: DUP2
00002c0b: PUSH2 0x2bfc
00002c0e: JUMP
00002c0f: JUMPDEST
00002c10: DUP3
00002c11: MSTORE
00002c12: POP
00002c13: POP
00002c14: JUMP
00002c15: JUMPDEST
00002c16: PUSH1 0x00
00002c18: PUSH1 0x20
00002c1a: DUP3
00002c1b: ADD
00002c1c: SWAP1
00002c1d: POP
00002c1e: PUSH2 0x2c2a
00002c21: PUSH1 0x00
00002c23: DUP4
00002c24: ADD
00002c25: DUP5
00002c26: PUSH2 0x2c06
00002c29: JUMP
00002c2a: JUMPDEST
00002c2b: SWAP3
00002c2c: SWAP2
00002c2d: POP
00002c2e: POP
00002c2f: JUMP
00002c30: JUMPDEST
00002c31: PUSH1 0x00
00002c33: DUP2
00002c34: MLOAD
00002c35: SWAP1
00002c36: POP
00002c37: SWAP2
00002c38: SWAP1
00002c39: POP
00002c3a: JUMP
00002c3b: JUMPDEST
00002c3c: PUSH1 0x00
00002c3e: DUP3
00002c3f: DUP3
00002c40: MSTORE
00002c41: PUSH1 0x20
00002c43: DUP3
00002c44: ADD
00002c45: SWAP1
00002c46: POP
00002c47: SWAP3
00002c48: SWAP2
00002c49: POP
00002c4a: POP
00002c4b: JUMP
00002c4c: JUMPDEST
00002c4d: PUSH1 0x00
00002c4f: JUMPDEST
00002c50: DUP4
00002c51: DUP2
00002c52: LT
00002c53: ISZERO
00002c54: PUSH2 0x2c6a
00002c57: JUMPI
00002c58: DUP1
00002c59: DUP3
00002c5a: ADD
00002c5b: MLOAD
00002c5c: DUP2
00002c5d: DUP5
00002c5e: ADD
00002c5f: MSTORE
00002c60: PUSH1 0x20
00002c62: DUP2
00002c63: ADD
00002c64: SWAP1
00002c65: POP
00002c66: PUSH2 0x2c4f
00002c69: JUMP
00002c6a: JUMPDEST
00002c6b: PUSH1 0x00
00002c6d: DUP5
00002c6e: DUP5
00002c6f: ADD
00002c70: MSTORE
00002c71: POP
00002c72: POP
00002c73: POP
00002c74: POP
00002c75: JUMP
00002c76: JUMPDEST
00002c77: PUSH1 0x00
00002c79: PUSH1 0x1f
00002c7b: NOT
00002c7c: PUSH1 0x1f
00002c7e: DUP4
00002c7f: ADD
00002c80: AND
00002c81: SWAP1
00002c82: POP
00002c83: SWAP2
00002c84: SWAP1
00002c85: POP
00002c86: JUMP
00002c87: JUMPDEST
00002c88: PUSH1 0x00
00002c8a: PUSH2 0x2c92
00002c8d: DUP3
00002c8e: PUSH2 0x2c30
00002c91: JUMP
00002c92: JUMPDEST
00002c93: PUSH2 0x2c9c
00002c96: DUP2
00002c97: DUP6
00002c98: PUSH2 0x2c3b
00002c9b: JUMP
00002c9c: JUMPDEST
00002c9d: SWAP4
00002c9e: POP
00002c9f: PUSH2 0x2cac
00002ca2: DUP2
00002ca3: DUP6
00002ca4: PUSH1 0x20
00002ca6: DUP7
00002ca7: ADD
00002ca8: PUSH2 0x2c4c
00002cab: JUMP
00002cac: JUMPDEST
00002cad: PUSH2 0x2cb5
00002cb0: DUP2
00002cb1: PUSH2 0x2c76
00002cb4: JUMP
00002cb5: JUMPDEST
00002cb6: DUP5
00002cb7: ADD
00002cb8: SWAP2
00002cb9: POP
00002cba: POP
00002cbb: SWAP3
00002cbc: SWAP2
00002cbd: POP
00002cbe: POP
00002cbf: JUMP
00002cc0: JUMPDEST
00002cc1: PUSH1 0x00
00002cc3: PUSH1 0x20
00002cc5: DUP3
00002cc6: ADD
00002cc7: SWAP1
00002cc8: POP
00002cc9: DUP2
00002cca: DUP2
00002ccb: SUB
00002ccc: PUSH1 0x00
00002cce: DUP4
00002ccf: ADD
00002cd0: MSTORE
00002cd1: PUSH2 0x2cda
00002cd4: DUP2
00002cd5: DUP5
00002cd6: PUSH2 0x2c87
00002cd9: JUMP
00002cda: JUMPDEST
00002cdb: SWAP1
00002cdc: POP
00002cdd: SWAP3
00002cde: SWAP2
00002cdf: POP
00002ce0: POP
00002ce1: JUMP
00002ce2: JUMPDEST
00002ce3: PUSH1 0x00
00002ce5: DUP1
00002ce6: REVERT
00002ce7: JUMPDEST
00002ce8: PUSH1 0x00
00002cea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cff: DUP3
00002d00: AND
00002d01: SWAP1
00002d02: POP
00002d03: SWAP2
00002d04: SWAP1
00002d05: POP
00002d06: JUMP
00002d07: JUMPDEST
00002d08: PUSH1 0x00
00002d0a: PUSH2 0x2d12
00002d0d: DUP3
00002d0e: PUSH2 0x2ce7
00002d11: JUMP
00002d12: JUMPDEST
00002d13: SWAP1
00002d14: POP
00002d15: SWAP2
00002d16: SWAP1
00002d17: POP
00002d18: JUMP
00002d19: JUMPDEST
00002d1a: PUSH2 0x2d22
00002d1d: DUP2
00002d1e: PUSH2 0x2d07
00002d21: JUMP
00002d22: JUMPDEST
00002d23: DUP2
00002d24: EQ
00002d25: PUSH2 0x2d2d
00002d28: JUMPI
00002d29: PUSH1 0x00
00002d2b: DUP1
00002d2c: REVERT
00002d2d: JUMPDEST
00002d2e: POP
00002d2f: JUMP
00002d30: JUMPDEST
00002d31: PUSH1 0x00
00002d33: DUP2
00002d34: CALLDATALOAD
00002d35: SWAP1
00002d36: POP
00002d37: PUSH2 0x2d3f
00002d3a: DUP2
00002d3b: PUSH2 0x2d19
00002d3e: JUMP
00002d3f: JUMPDEST
00002d40: SWAP3
00002d41: SWAP2
00002d42: POP
00002d43: POP
00002d44: JUMP
00002d45: JUMPDEST
00002d46: PUSH2 0x2d4e
00002d49: DUP2
00002d4a: PUSH2 0x2bfc
00002d4d: JUMP
00002d4e: JUMPDEST
00002d4f: DUP2
00002d50: EQ
00002d51: PUSH2 0x2d59
00002d54: JUMPI
00002d55: PUSH1 0x00
00002d57: DUP1
00002d58: REVERT
00002d59: JUMPDEST
00002d5a: POP
00002d5b: JUMP
00002d5c: JUMPDEST
00002d5d: PUSH1 0x00
00002d5f: DUP2
00002d60: CALLDATALOAD
00002d61: SWAP1
00002d62: POP
00002d63: PUSH2 0x2d6b
00002d66: DUP2
00002d67: PUSH2 0x2d45
00002d6a: JUMP
00002d6b: JUMPDEST
00002d6c: SWAP3
00002d6d: SWAP2
00002d6e: POP
00002d6f: POP
00002d70: JUMP
00002d71: JUMPDEST
00002d72: PUSH1 0x00
00002d74: DUP1
00002d75: PUSH1 0x40
00002d77: DUP4
00002d78: DUP6
00002d79: SUB
00002d7a: SLT
00002d7b: ISZERO
00002d7c: PUSH2 0x2d88
00002d7f: JUMPI
00002d80: PUSH2 0x2d87
00002d83: PUSH2 0x2ce2
00002d86: JUMP
00002d87: JUMPDEST
00002d88: JUMPDEST
00002d89: PUSH1 0x00
00002d8b: PUSH2 0x2d96
00002d8e: DUP6
00002d8f: DUP3
00002d90: DUP7
00002d91: ADD
00002d92: PUSH2 0x2d30
00002d95: JUMP
00002d96: JUMPDEST
00002d97: SWAP3
00002d98: POP
00002d99: POP
00002d9a: PUSH1 0x20
00002d9c: PUSH2 0x2da7
00002d9f: DUP6
00002da0: DUP3
00002da1: DUP7
00002da2: ADD
00002da3: PUSH2 0x2d5c
00002da6: JUMP
00002da7: JUMPDEST
00002da8: SWAP2
00002da9: POP
00002daa: POP
00002dab: SWAP3
00002dac: POP
00002dad: SWAP3
00002dae: SWAP1
00002daf: POP
00002db0: JUMP
00002db1: JUMPDEST
00002db2: PUSH1 0x00
00002db4: DUP2
00002db5: ISZERO
00002db6: ISZERO
00002db7: SWAP1
00002db8: POP
00002db9: SWAP2
00002dba: SWAP1
00002dbb: POP
00002dbc: JUMP
00002dbd: JUMPDEST
00002dbe: PUSH2 0x2dc6
00002dc1: DUP2
00002dc2: PUSH2 0x2db1
00002dc5: JUMP
00002dc6: JUMPDEST
00002dc7: DUP3
00002dc8: MSTORE
00002dc9: POP
00002dca: POP
00002dcb: JUMP
00002dcc: JUMPDEST
00002dcd: PUSH1 0x00
00002dcf: PUSH1 0x20
00002dd1: DUP3
00002dd2: ADD
00002dd3: SWAP1
00002dd4: POP
00002dd5: PUSH2 0x2de1
00002dd8: PUSH1 0x00
00002dda: DUP4
00002ddb: ADD
00002ddc: DUP5
00002ddd: PUSH2 0x2dbd
00002de0: JUMP
00002de1: JUMPDEST
00002de2: SWAP3
00002de3: SWAP2
00002de4: POP
00002de5: POP
00002de6: JUMP
00002de7: JUMPDEST
00002de8: PUSH1 0x00
00002dea: PUSH1 0x20
00002dec: DUP3
00002ded: DUP5
00002dee: SUB
00002def: SLT
00002df0: ISZERO
00002df1: PUSH2 0x2dfd
00002df4: JUMPI
00002df5: PUSH2 0x2dfc
00002df8: PUSH2 0x2ce2
00002dfb: JUMP
00002dfc: JUMPDEST
00002dfd: JUMPDEST
00002dfe: PUSH1 0x00
00002e00: PUSH2 0x2e0b
00002e03: DUP5
00002e04: DUP3
00002e05: DUP6
00002e06: ADD
00002e07: PUSH2 0x2d30
00002e0a: JUMP
00002e0b: JUMPDEST
00002e0c: SWAP2
00002e0d: POP
00002e0e: POP
00002e0f: SWAP3
00002e10: SWAP2
00002e11: POP
00002e12: POP
00002e13: JUMP
00002e14: JUMPDEST
00002e15: PUSH1 0x00
00002e17: DUP1
00002e18: PUSH1 0x00
00002e1a: PUSH1 0x60
00002e1c: DUP5
00002e1d: DUP7
00002e1e: SUB
00002e1f: SLT
00002e20: ISZERO
00002e21: PUSH2 0x2e2d
00002e24: JUMPI
00002e25: PUSH2 0x2e2c
00002e28: PUSH2 0x2ce2
00002e2b: JUMP
00002e2c: JUMPDEST
00002e2d: JUMPDEST
00002e2e: PUSH1 0x00
00002e30: PUSH2 0x2e3b
00002e33: DUP7
00002e34: DUP3
00002e35: DUP8
00002e36: ADD
00002e37: PUSH2 0x2d30
00002e3a: JUMP
00002e3b: JUMPDEST
00002e3c: SWAP4
00002e3d: POP
00002e3e: POP
00002e3f: PUSH1 0x20
00002e41: PUSH2 0x2e4c
00002e44: DUP7
00002e45: DUP3
00002e46: DUP8
00002e47: ADD
00002e48: PUSH2 0x2d30
00002e4b: JUMP
00002e4c: JUMPDEST
00002e4d: SWAP3
00002e4e: POP
00002e4f: POP
00002e50: PUSH1 0x40
00002e52: PUSH2 0x2e5d
00002e55: DUP7
00002e56: DUP3
00002e57: DUP8
00002e58: ADD
00002e59: PUSH2 0x2d5c
00002e5c: JUMP
00002e5d: JUMPDEST
00002e5e: SWAP2
00002e5f: POP
00002e60: POP
00002e61: SWAP3
00002e62: POP
00002e63: SWAP3
00002e64: POP
00002e65: SWAP3
00002e66: JUMP
00002e67: JUMPDEST
00002e68: PUSH1 0x00
00002e6a: PUSH1 0xff
00002e6c: DUP3
00002e6d: AND
00002e6e: SWAP1
00002e6f: POP
00002e70: SWAP2
00002e71: SWAP1
00002e72: POP
00002e73: JUMP
00002e74: JUMPDEST
00002e75: PUSH2 0x2e7d
00002e78: DUP2
00002e79: PUSH2 0x2e67
00002e7c: JUMP
00002e7d: JUMPDEST
00002e7e: DUP3
00002e7f: MSTORE
00002e80: POP
00002e81: POP
00002e82: JUMP
00002e83: JUMPDEST
00002e84: PUSH1 0x00
00002e86: PUSH16 0xffffffffffffffffffffffffffffffff
00002e97: DUP3
00002e98: AND
00002e99: SWAP1
00002e9a: POP
00002e9b: SWAP2
00002e9c: SWAP1
00002e9d: POP
00002e9e: JUMP
00002e9f: JUMPDEST
00002ea0: PUSH2 0x2ea8
00002ea3: DUP2
00002ea4: PUSH2 0x2e83
00002ea7: JUMP
00002ea8: JUMPDEST
00002ea9: DUP3
00002eaa: MSTORE
00002eab: POP
00002eac: POP
00002ead: JUMP
00002eae: JUMPDEST
00002eaf: PUSH1 0x00
00002eb1: PUSH1 0xc0
00002eb3: DUP3
00002eb4: ADD
00002eb5: SWAP1
00002eb6: POP
00002eb7: PUSH2 0x2ec3
00002eba: PUSH1 0x00
00002ebc: DUP4
00002ebd: ADD
00002ebe: DUP10
00002ebf: PUSH2 0x2e74
00002ec2: JUMP
00002ec3: JUMPDEST
00002ec4: PUSH2 0x2ed0
00002ec7: PUSH1 0x20
00002ec9: DUP4
00002eca: ADD
00002ecb: DUP9
00002ecc: PUSH2 0x2e74
00002ecf: JUMP
00002ed0: JUMPDEST
00002ed1: PUSH2 0x2edd
00002ed4: PUSH1 0x40
00002ed6: DUP4
00002ed7: ADD
00002ed8: DUP8
00002ed9: PUSH2 0x2e74
00002edc: JUMP
00002edd: JUMPDEST
00002ede: PUSH2 0x2eea
00002ee1: PUSH1 0x60
00002ee3: DUP4
00002ee4: ADD
00002ee5: DUP7
00002ee6: PUSH2 0x2e74
00002ee9: JUMP
00002eea: JUMPDEST
00002eeb: PUSH2 0x2ef7
00002eee: PUSH1 0x80
00002ef0: DUP4
00002ef1: ADD
00002ef2: DUP6
00002ef3: PUSH2 0x2e74
00002ef6: JUMP
00002ef7: JUMPDEST
00002ef8: PUSH2 0x2f04
00002efb: PUSH1 0xa0
00002efd: DUP4
00002efe: ADD
00002eff: DUP5
00002f00: PUSH2 0x2e9f
00002f03: JUMP
00002f04: JUMPDEST
00002f05: SWAP8
00002f06: SWAP7
00002f07: POP
00002f08: POP
00002f09: POP
00002f0a: POP
00002f0b: POP
00002f0c: POP
00002f0d: POP
00002f0e: JUMP
00002f0f: JUMPDEST
00002f10: PUSH1 0x00
00002f12: PUSH1 0x20
00002f14: DUP3
00002f15: DUP5
00002f16: SUB
00002f17: SLT
00002f18: ISZERO
00002f19: PUSH2 0x2f25
00002f1c: JUMPI
00002f1d: PUSH2 0x2f24
00002f20: PUSH2 0x2ce2
00002f23: JUMP
00002f24: JUMPDEST
00002f25: JUMPDEST
00002f26: PUSH1 0x00
00002f28: PUSH2 0x2f33
00002f2b: DUP5
00002f2c: DUP3
00002f2d: DUP6
00002f2e: ADD
00002f2f: PUSH2 0x2d5c
00002f32: JUMP
00002f33: JUMPDEST
00002f34: SWAP2
00002f35: POP
00002f36: POP
00002f37: SWAP3
00002f38: SWAP2
00002f39: POP
00002f3a: POP
00002f3b: JUMP
00002f3c: JUMPDEST
00002f3d: PUSH1 0x00
00002f3f: PUSH1 0x20
00002f41: DUP3
00002f42: ADD
00002f43: SWAP1
00002f44: POP
00002f45: PUSH2 0x2f51
00002f48: PUSH1 0x00
00002f4a: DUP4
00002f4b: ADD
00002f4c: DUP5
00002f4d: PUSH2 0x2e74
00002f50: JUMP
00002f51: JUMPDEST
00002f52: SWAP3
00002f53: SWAP2
00002f54: POP
00002f55: POP
00002f56: JUMP
00002f57: JUMPDEST
00002f58: PUSH2 0x2f60
00002f5b: DUP2
00002f5c: PUSH2 0x2db1
00002f5f: JUMP
00002f60: JUMPDEST
00002f61: DUP2
00002f62: EQ
00002f63: PUSH2 0x2f6b
00002f66: JUMPI
00002f67: PUSH1 0x00
00002f69: DUP1
00002f6a: REVERT
00002f6b: JUMPDEST
00002f6c: POP
00002f6d: JUMP
00002f6e: JUMPDEST
00002f6f: PUSH1 0x00
00002f71: DUP2
00002f72: CALLDATALOAD
00002f73: SWAP1
00002f74: POP
00002f75: PUSH2 0x2f7d
00002f78: DUP2
00002f79: PUSH2 0x2f57
00002f7c: JUMP
00002f7d: JUMPDEST
00002f7e: SWAP3
00002f7f: SWAP2
00002f80: POP
00002f81: POP
00002f82: JUMP
00002f83: JUMPDEST
00002f84: PUSH1 0x00
00002f86: DUP1
00002f87: PUSH1 0x40
00002f89: DUP4
00002f8a: DUP6
00002f8b: SUB
00002f8c: SLT
00002f8d: ISZERO
00002f8e: PUSH2 0x2f9a
00002f91: JUMPI
00002f92: PUSH2 0x2f99
00002f95: PUSH2 0x2ce2
00002f98: JUMP
00002f99: JUMPDEST
00002f9a: JUMPDEST
00002f9b: PUSH1 0x00
00002f9d: PUSH2 0x2fa8
00002fa0: DUP6
00002fa1: DUP3
00002fa2: DUP7
00002fa3: ADD
00002fa4: PUSH2 0x2d30
00002fa7: JUMP
00002fa8: JUMPDEST
00002fa9: SWAP3
00002faa: POP
00002fab: POP
00002fac: PUSH1 0x20
00002fae: PUSH2 0x2fb9
00002fb1: DUP6
00002fb2: DUP3
00002fb3: DUP7
00002fb4: ADD
00002fb5: PUSH2 0x2f6e
00002fb8: JUMP
00002fb9: JUMPDEST
00002fba: SWAP2
00002fbb: POP
00002fbc: POP
00002fbd: SWAP3
00002fbe: POP
00002fbf: SWAP3
00002fc0: SWAP1
00002fc1: POP
00002fc2: JUMP
00002fc3: JUMPDEST
00002fc4: PUSH1 0x00
00002fc6: PUSH1 0x20
00002fc8: DUP3
00002fc9: DUP5
00002fca: SUB
00002fcb: SLT
00002fcc: ISZERO
00002fcd: PUSH2 0x2fd9
00002fd0: JUMPI
00002fd1: PUSH2 0x2fd8
00002fd4: PUSH2 0x2ce2
00002fd7: JUMP
00002fd8: JUMPDEST
00002fd9: JUMPDEST
00002fda: PUSH1 0x00
00002fdc: PUSH2 0x2fe7
00002fdf: DUP5
00002fe0: DUP3
00002fe1: DUP6
00002fe2: ADD
00002fe3: PUSH2 0x2f6e
00002fe6: JUMP
00002fe7: JUMPDEST
00002fe8: SWAP2
00002fe9: POP
00002fea: POP
00002feb: SWAP3
00002fec: SWAP2
00002fed: POP
00002fee: POP
00002fef: JUMP
00002ff0: JUMPDEST
00002ff1: PUSH2 0x2ff9
00002ff4: DUP2
00002ff5: PUSH2 0x2d07
00002ff8: JUMP
00002ff9: JUMPDEST
00002ffa: DUP3
00002ffb: MSTORE
00002ffc: POP
00002ffd: POP
00002ffe: JUMP
00002fff: JUMPDEST
00003000: PUSH1 0x00
00003002: PUSH1 0x20
00003004: DUP3
00003005: ADD
00003006: SWAP1
00003007: POP
00003008: PUSH2 0x3014
0000300b: PUSH1 0x00
0000300d: DUP4
0000300e: ADD
0000300f: DUP5
00003010: PUSH2 0x2ff0
00003013: JUMP
00003014: JUMPDEST
00003015: SWAP3
00003016: SWAP2
00003017: POP
00003018: POP
00003019: JUMP
0000301a: JUMPDEST
0000301b: PUSH1 0x00
0000301d: DUP2
0000301e: SWAP1
0000301f: POP
00003020: SWAP2
00003021: SWAP1
00003022: POP
00003023: JUMP
00003024: JUMPDEST
00003025: PUSH1 0x00
00003027: PUSH2 0x303f
0000302a: PUSH2 0x303a
0000302d: PUSH2 0x3035
00003030: DUP5
00003031: PUSH2 0x2ce7
00003034: JUMP
00003035: JUMPDEST
00003036: PUSH2 0x301a
00003039: JUMP
0000303a: JUMPDEST
0000303b: PUSH2 0x2ce7
0000303e: JUMP
0000303f: JUMPDEST
00003040: SWAP1
00003041: POP
00003042: SWAP2
00003043: SWAP1
00003044: POP
00003045: JUMP
00003046: JUMPDEST
00003047: PUSH1 0x00
00003049: PUSH2 0x3051
0000304c: DUP3
0000304d: PUSH2 0x3024
00003050: JUMP
00003051: JUMPDEST
00003052: SWAP1
00003053: POP
00003054: SWAP2
00003055: SWAP1
00003056: POP
00003057: JUMP
00003058: JUMPDEST
00003059: PUSH1 0x00
0000305b: PUSH2 0x3063
0000305e: DUP3
0000305f: PUSH2 0x3046
00003062: JUMP
00003063: JUMPDEST
00003064: SWAP1
00003065: POP
00003066: SWAP2
00003067: SWAP1
00003068: POP
00003069: JUMP
0000306a: JUMPDEST
0000306b: PUSH2 0x3073
0000306e: DUP2
0000306f: PUSH2 0x3058
00003072: JUMP
00003073: JUMPDEST
00003074: DUP3
00003075: MSTORE
00003076: POP
00003077: POP
00003078: JUMP
00003079: JUMPDEST
0000307a: PUSH1 0x00
0000307c: PUSH1 0x20
0000307e: DUP3
0000307f: ADD
00003080: SWAP1
00003081: POP
00003082: PUSH2 0x308e
00003085: PUSH1 0x00
00003087: DUP4
00003088: ADD
00003089: DUP5
0000308a: PUSH2 0x306a
0000308d: JUMP
0000308e: JUMPDEST
0000308f: SWAP3
00003090: SWAP2
00003091: POP
00003092: POP
00003093: JUMP
00003094: JUMPDEST
00003095: PUSH2 0x309d
00003098: DUP2
00003099: PUSH2 0x2e67
0000309c: JUMP
0000309d: JUMPDEST
0000309e: DUP2
0000309f: EQ
000030a0: PUSH2 0x30a8
000030a3: JUMPI
000030a4: PUSH1 0x00
000030a6: DUP1
000030a7: REVERT
000030a8: JUMPDEST
000030a9: POP
000030aa: JUMP
000030ab: JUMPDEST
000030ac: PUSH1 0x00
000030ae: DUP2
000030af: CALLDATALOAD
000030b0: SWAP1
000030b1: POP
000030b2: PUSH2 0x30ba
000030b5: DUP2
000030b6: PUSH2 0x3094
000030b9: JUMP
000030ba: JUMPDEST
000030bb: SWAP3
000030bc: SWAP2
000030bd: POP
000030be: POP
000030bf: JUMP
000030c0: JUMPDEST
000030c1: PUSH1 0x00
000030c3: DUP1
000030c4: PUSH1 0x00
000030c6: DUP1
000030c7: PUSH1 0x00
000030c9: DUP1
000030ca: PUSH1 0x00
000030cc: DUP1
000030cd: PUSH1 0x00
000030cf: DUP1
000030d0: PUSH2 0x0140
000030d3: DUP12
000030d4: DUP14
000030d5: SUB
000030d6: SLT
000030d7: ISZERO
000030d8: PUSH2 0x30e4
000030db: JUMPI
000030dc: PUSH2 0x30e3
000030df: PUSH2 0x2ce2
000030e2: JUMP
000030e3: JUMPDEST
000030e4: JUMPDEST
000030e5: PUSH1 0x00
000030e7: PUSH2 0x30f2
000030ea: DUP14
000030eb: DUP3
000030ec: DUP15
000030ed: ADD
000030ee: PUSH2 0x30ab
000030f1: JUMP
000030f2: JUMPDEST
000030f3: SWAP11
000030f4: POP
000030f5: POP
000030f6: PUSH1 0x20
000030f8: PUSH2 0x3103
000030fb: DUP14
000030fc: DUP3
000030fd: DUP15
000030fe: ADD
000030ff: PUSH2 0x30ab
00003102: JUMP
00003103: JUMPDEST
00003104: SWAP10
00003105: POP
00003106: POP
00003107: PUSH1 0x40
00003109: PUSH2 0x3114
0000310c: DUP14
0000310d: DUP3
0000310e: DUP15
0000310f: ADD
00003110: PUSH2 0x30ab
00003113: JUMP
00003114: JUMPDEST
00003115: SWAP9
00003116: POP
00003117: POP
00003118: PUSH1 0x60
0000311a: PUSH2 0x3125
0000311d: DUP14
0000311e: DUP3
0000311f: DUP15
00003120: ADD
00003121: PUSH2 0x30ab
00003124: JUMP
00003125: JUMPDEST
00003126: SWAP8
00003127: POP
00003128: POP
00003129: PUSH1 0x80
0000312b: PUSH2 0x3136
0000312e: DUP14
0000312f: DUP3
00003130: DUP15
00003131: ADD
00003132: PUSH2 0x30ab
00003135: JUMP
00003136: JUMPDEST
00003137: SWAP7
00003138: POP
00003139: POP
0000313a: PUSH1 0xa0
0000313c: PUSH2 0x3147
0000313f: DUP14
00003140: DUP3
00003141: DUP15
00003142: ADD
00003143: PUSH2 0x30ab
00003146: JUMP
00003147: JUMPDEST
00003148: SWAP6
00003149: POP
0000314a: POP
0000314b: PUSH1 0xc0
0000314d: PUSH2 0x3158
00003150: DUP14
00003151: DUP3
00003152: DUP15
00003153: ADD
00003154: PUSH2 0x30ab
00003157: JUMP
00003158: JUMPDEST
00003159: SWAP5
0000315a: POP
0000315b: POP
0000315c: PUSH1 0xe0
0000315e: PUSH2 0x3169
00003161: DUP14
00003162: DUP3
00003163: DUP15
00003164: ADD
00003165: PUSH2 0x30ab
00003168: JUMP
00003169: JUMPDEST
0000316a: SWAP4
0000316b: POP
0000316c: POP
0000316d: PUSH2 0x0100
00003170: PUSH2 0x317b
00003173: DUP14
00003174: DUP3
00003175: DUP15
00003176: ADD
00003177: PUSH2 0x30ab
0000317a: JUMP
0000317b: JUMPDEST
0000317c: SWAP3
0000317d: POP
0000317e: POP
0000317f: PUSH2 0x0120
00003182: PUSH2 0x318d
00003185: DUP14
00003186: DUP3
00003187: DUP15
00003188: ADD
00003189: PUSH2 0x30ab
0000318c: JUMP
0000318d: JUMPDEST
0000318e: SWAP2
0000318f: POP
00003190: POP
00003191: SWAP3
00003192: SWAP6
00003193: SWAP9
00003194: SWAP12
00003195: SWAP2
00003196: SWAP5
00003197: SWAP8
00003198: SWAP11
00003199: POP
0000319a: SWAP3
0000319b: SWAP6
0000319c: SWAP9
0000319d: POP
0000319e: JUMP
0000319f: JUMPDEST
000031a0: PUSH1 0x00
000031a2: DUP1
000031a3: PUSH1 0x00
000031a5: PUSH1 0x60
000031a7: DUP5
000031a8: DUP7
000031a9: SUB
000031aa: SLT
000031ab: ISZERO
000031ac: PUSH2 0x31b8
000031af: JUMPI
000031b0: PUSH2 0x31b7
000031b3: PUSH2 0x2ce2
000031b6: JUMP
000031b7: JUMPDEST
000031b8: JUMPDEST
000031b9: PUSH1 0x00
000031bb: PUSH2 0x31c6
000031be: DUP7
000031bf: DUP3
000031c0: DUP8
000031c1: ADD
000031c2: PUSH2 0x2d30
000031c5: JUMP
000031c6: JUMPDEST
000031c7: SWAP4
000031c8: POP
000031c9: POP
000031ca: PUSH1 0x20
000031cc: PUSH2 0x31d7
000031cf: DUP7
000031d0: DUP3
000031d1: DUP8
000031d2: ADD
000031d3: PUSH2 0x2d30
000031d6: JUMP
000031d7: JUMPDEST
000031d8: SWAP3
000031d9: POP
000031da: POP
000031db: PUSH1 0x40
000031dd: PUSH2 0x31e8
000031e0: DUP7
000031e1: DUP3
000031e2: DUP8
000031e3: ADD
000031e4: PUSH2 0x2d30
000031e7: JUMP
000031e8: JUMPDEST
000031e9: SWAP2
000031ea: POP
000031eb: POP
000031ec: SWAP3
000031ed: POP
000031ee: SWAP3
000031ef: POP
000031f0: SWAP3
000031f1: JUMP
000031f2: JUMPDEST
000031f3: PUSH1 0x00
000031f5: DUP1
000031f6: PUSH1 0x40
000031f8: DUP4
000031f9: DUP6
000031fa: SUB
000031fb: SLT
000031fc: ISZERO
000031fd: PUSH2 0x3209
00003200: JUMPI
00003201: PUSH2 0x3208
00003204: PUSH2 0x2ce2
00003207: JUMP
00003208: JUMPDEST
00003209: JUMPDEST
0000320a: PUSH1 0x00
0000320c: PUSH2 0x3217
0000320f: DUP6
00003210: DUP3
00003211: DUP7
00003212: ADD
00003213: PUSH2 0x2d30
00003216: JUMP
00003217: JUMPDEST
00003218: SWAP3
00003219: POP
0000321a: POP
0000321b: PUSH1 0x20
0000321d: PUSH2 0x3228
00003220: DUP6
00003221: DUP3
00003222: DUP7
00003223: ADD
00003224: PUSH2 0x2d30
00003227: JUMP
00003228: JUMPDEST
00003229: SWAP2
0000322a: POP
0000322b: POP
0000322c: SWAP3
0000322d: POP
0000322e: SWAP3
0000322f: SWAP1
00003230: POP
00003231: JUMP
00003232: JUMPDEST
00003233: PUSH1 0x00
00003235: DUP1
00003236: PUSH1 0x40
00003238: DUP4
00003239: DUP6
0000323a: SUB
0000323b: SLT
0000323c: ISZERO
0000323d: PUSH2 0x3249
00003240: JUMPI
00003241: PUSH2 0x3248
00003244: PUSH2 0x2ce2
00003247: JUMP
00003248: JUMPDEST
00003249: JUMPDEST
0000324a: PUSH1 0x00
0000324c: PUSH2 0x3257
0000324f: DUP6
00003250: DUP3
00003251: DUP7
00003252: ADD
00003253: PUSH2 0x2f6e
00003256: JUMP
00003257: JUMPDEST
00003258: SWAP3
00003259: POP
0000325a: POP
0000325b: PUSH1 0x20
0000325d: PUSH2 0x3268
00003260: DUP6
00003261: DUP3
00003262: DUP7
00003263: ADD
00003264: PUSH2 0x2d5c
00003267: JUMP
00003268: JUMPDEST
00003269: SWAP2
0000326a: POP
0000326b: POP
0000326c: SWAP3
0000326d: POP
0000326e: SWAP3
0000326f: SWAP1
00003270: POP
00003271: JUMP
00003272: JUMPDEST
00003273: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003294: PUSH1 0x00
00003296: MSTORE
00003297: PUSH1 0x22
00003299: PUSH1 0x04
0000329b: MSTORE
0000329c: PUSH1 0x24
0000329e: PUSH1 0x00
000032a0: REVERT
000032a1: JUMPDEST
000032a2: PUSH1 0x00
000032a4: PUSH1 0x02
000032a6: DUP3
000032a7: DIV
000032a8: SWAP1
000032a9: POP
000032aa: PUSH1 0x01
000032ac: DUP3
000032ad: AND
000032ae: DUP1
000032af: PUSH2 0x32b9
000032b2: JUMPI
000032b3: PUSH1 0x7f
000032b5: DUP3
000032b6: AND
000032b7: SWAP2
000032b8: POP
000032b9: JUMPDEST
000032ba: PUSH1 0x20
000032bc: DUP3
000032bd: LT
000032be: DUP2
000032bf: SUB
000032c0: PUSH2 0x32cc
000032c3: JUMPI
000032c4: PUSH2 0x32cb
000032c7: PUSH2 0x3272
000032ca: JUMP
000032cb: JUMPDEST
000032cc: JUMPDEST
000032cd: POP
000032ce: SWAP2
000032cf: SWAP1
000032d0: POP
000032d1: JUMP
000032d2: JUMPDEST
000032d3: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
000032f4: PUSH1 0x00
000032f6: DUP3
000032f7: ADD
000032f8: MSTORE
000032f9: POP
000032fa: JUMP
000032fb: JUMPDEST
000032fc: PUSH1 0x00
000032fe: PUSH2 0x3308
00003301: PUSH1 0x1d
00003303: DUP4
00003304: PUSH2 0x2c3b
00003307: JUMP
00003308: JUMPDEST
00003309: SWAP2
0000330a: POP
0000330b: PUSH2 0x3313
0000330e: DUP3
0000330f: PUSH2 0x32d2
00003312: JUMP
00003313: JUMPDEST
00003314: PUSH1 0x20
00003316: DUP3
00003317: ADD
00003318: SWAP1
00003319: POP
0000331a: SWAP2
0000331b: SWAP1
0000331c: POP
0000331d: JUMP
0000331e: JUMPDEST
0000331f: PUSH1 0x00
00003321: PUSH1 0x20
00003323: DUP3
00003324: ADD
00003325: SWAP1
00003326: POP
00003327: DUP2
00003328: DUP2
00003329: SUB
0000332a: PUSH1 0x00
0000332c: DUP4
0000332d: ADD
0000332e: MSTORE
0000332f: PUSH2 0x3337
00003332: DUP2
00003333: PUSH2 0x32fb
00003336: JUMP
00003337: JUMPDEST
00003338: SWAP1
00003339: POP
0000333a: SWAP2
0000333b: SWAP1
0000333c: POP
0000333d: JUMP
0000333e: JUMPDEST
0000333f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003360: PUSH1 0x00
00003362: MSTORE
00003363: PUSH1 0x11
00003365: PUSH1 0x04
00003367: MSTORE
00003368: PUSH1 0x24
0000336a: PUSH1 0x00
0000336c: REVERT
0000336d: JUMPDEST
0000336e: PUSH1 0x00
00003370: PUSH2 0x3378
00003373: DUP3
00003374: PUSH2 0x2bfc
00003377: JUMP
00003378: JUMPDEST
00003379: SWAP2
0000337a: POP
0000337b: PUSH2 0x3383
0000337e: DUP4
0000337f: PUSH2 0x2bfc
00003382: JUMP
00003383: JUMPDEST
00003384: SWAP3
00003385: POP
00003386: DUP3
00003387: DUP3
00003388: SUB
00003389: SWAP1
0000338a: POP
0000338b: DUP2
0000338c: DUP2
0000338d: GT
0000338e: ISZERO
0000338f: PUSH2 0x339b
00003392: JUMPI
00003393: PUSH2 0x339a
00003396: PUSH2 0x333e
00003399: JUMP
0000339a: JUMPDEST
0000339b: JUMPDEST
0000339c: SWAP3
0000339d: SWAP2
0000339e: POP
0000339f: POP
000033a0: JUMP
000033a1: JUMPDEST
000033a2: PUSH1 0x00
000033a4: PUSH2 0x33ac
000033a7: DUP3
000033a8: PUSH2 0x2bfc
000033ab: JUMP
000033ac: JUMPDEST
000033ad: SWAP2
000033ae: POP
000033af: PUSH2 0x33b7
000033b2: DUP4
000033b3: PUSH2 0x2bfc
000033b6: JUMP
000033b7: JUMPDEST
000033b8: SWAP3
000033b9: POP
000033ba: DUP3
000033bb: DUP3
000033bc: MUL
000033bd: PUSH2 0x33c5
000033c0: DUP2
000033c1: PUSH2 0x2bfc
000033c4: JUMP
000033c5: JUMPDEST
000033c6: SWAP2
000033c7: POP
000033c8: DUP3
000033c9: DUP3
000033ca: DIV
000033cb: DUP5
000033cc: EQ
000033cd: DUP4
000033ce: ISZERO
000033cf: OR
000033d0: PUSH2 0x33dc
000033d3: JUMPI
000033d4: PUSH2 0x33db
000033d7: PUSH2 0x333e
000033da: JUMP
000033db: JUMPDEST
000033dc: JUMPDEST
000033dd: POP
000033de: SWAP3
000033df: SWAP2
000033e0: POP
000033e1: POP
000033e2: JUMP
000033e3: JUMPDEST
000033e4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003405: PUSH1 0x00
00003407: MSTORE
00003408: PUSH1 0x12
0000340a: PUSH1 0x04
0000340c: MSTORE
0000340d: PUSH1 0x24
0000340f: PUSH1 0x00
00003411: REVERT
00003412: JUMPDEST
00003413: PUSH1 0x00
00003415: PUSH2 0x341d
00003418: DUP3
00003419: PUSH2 0x2bfc
0000341c: JUMP
0000341d: JUMPDEST
0000341e: SWAP2
0000341f: POP
00003420: PUSH2 0x3428
00003423: DUP4
00003424: PUSH2 0x2bfc
00003427: JUMP
00003428: JUMPDEST
00003429: SWAP3
0000342a: POP
0000342b: DUP3
0000342c: PUSH2 0x3438
0000342f: JUMPI
00003430: PUSH2 0x3437
00003433: PUSH2 0x33e3
00003436: JUMP
00003437: JUMPDEST
00003438: JUMPDEST
00003439: DUP3
0000343a: DUP3
0000343b: DIV
0000343c: SWAP1
0000343d: POP
0000343e: SWAP3
0000343f: SWAP2
00003440: POP
00003441: POP
00003442: JUMP
00003443: JUMPDEST
00003444: PUSH1 0x00
00003446: DUP2
00003447: SWAP1
00003448: POP
00003449: SWAP3
0000344a: SWAP2
0000344b: POP
0000344c: POP
0000344d: JUMP
0000344e: JUMPDEST
0000344f: POP
00003450: JUMP
00003451: JUMPDEST
00003452: PUSH1 0x00
00003454: PUSH2 0x345e
00003457: PUSH1 0x00
00003459: DUP4
0000345a: PUSH2 0x3443
0000345d: JUMP
0000345e: JUMPDEST
0000345f: SWAP2
00003460: POP
00003461: PUSH2 0x3469
00003464: DUP3
00003465: PUSH2 0x344e
00003468: JUMP
00003469: JUMPDEST
0000346a: PUSH1 0x00
0000346c: DUP3
0000346d: ADD
0000346e: SWAP1
0000346f: POP
00003470: SWAP2
00003471: SWAP1
00003472: POP
00003473: JUMP
00003474: JUMPDEST
00003475: PUSH1 0x00
00003477: PUSH2 0x347f
0000347a: DUP3
0000347b: PUSH2 0x3451
0000347e: JUMP
0000347f: JUMPDEST
00003480: SWAP2
00003481: POP
00003482: DUP2
00003483: SWAP1
00003484: POP
00003485: SWAP2
00003486: SWAP1
00003487: POP
00003488: JUMP
00003489: JUMPDEST
0000348a: PUSH1 0x00
0000348c: PUSH2 0x3494
0000348f: DUP3
00003490: PUSH2 0x2e67
00003493: JUMP
00003494: JUMPDEST
00003495: SWAP2
00003496: POP
00003497: PUSH2 0x349f
0000349a: DUP4
0000349b: PUSH2 0x2e67
0000349e: JUMP
0000349f: JUMPDEST
000034a0: SWAP3
000034a1: POP
000034a2: DUP3
000034a3: DUP3
000034a4: ADD
000034a5: SWAP1
000034a6: POP
000034a7: PUSH1 0xff
000034a9: DUP2
000034aa: GT
000034ab: ISZERO
000034ac: PUSH2 0x34b8
000034af: JUMPI
000034b0: PUSH2 0x34b7
000034b3: PUSH2 0x333e
000034b6: JUMP
000034b7: JUMPDEST
000034b8: JUMPDEST
000034b9: SWAP3
000034ba: SWAP2
000034bb: POP
000034bc: POP
000034bd: JUMP
000034be: JUMPDEST
000034bf: PUSH32 0x427579206665657320746f6f2068696768000000000000000000000000000000
000034e0: PUSH1 0x00
000034e2: DUP3
000034e3: ADD
000034e4: MSTORE
000034e5: POP
000034e6: JUMP
000034e7: JUMPDEST
000034e8: PUSH1 0x00
000034ea: PUSH2 0x34f4
000034ed: PUSH1 0x11
000034ef: DUP4
000034f0: PUSH2 0x2c3b
000034f3: JUMP
000034f4: JUMPDEST
000034f5: SWAP2
000034f6: POP
000034f7: PUSH2 0x34ff
000034fa: DUP3
000034fb: PUSH2 0x34be
000034fe: JUMP
000034ff: JUMPDEST
00003500: PUSH1 0x20
00003502: DUP3
00003503: ADD
00003504: SWAP1
00003505: POP
00003506: SWAP2
00003507: SWAP1
00003508: POP
00003509: JUMP
0000350a: JUMPDEST
0000350b: PUSH1 0x00
0000350d: PUSH1 0x20
0000350f: DUP3
00003510: ADD
00003511: SWAP1
00003512: POP
00003513: DUP2
00003514: DUP2
00003515: SUB
00003516: PUSH1 0x00
00003518: DUP4
00003519: ADD
0000351a: MSTORE
0000351b: PUSH2 0x3523
0000351e: DUP2
0000351f: PUSH2 0x34e7
00003522: JUMP
00003523: JUMPDEST
00003524: SWAP1
00003525: POP
00003526: SWAP2
00003527: SWAP1
00003528: POP
00003529: JUMP
0000352a: JUMPDEST
0000352b: PUSH32 0x53656c6c206665657320746f6f20686967680000000000000000000000000000
0000354c: PUSH1 0x00
0000354e: DUP3
0000354f: ADD
00003550: MSTORE
00003551: POP
00003552: JUMP
00003553: JUMPDEST
00003554: PUSH1 0x00
00003556: PUSH2 0x3560
00003559: PUSH1 0x12
0000355b: DUP4
0000355c: PUSH2 0x2c3b
0000355f: JUMP
00003560: JUMPDEST
00003561: SWAP2
00003562: POP
00003563: PUSH2 0x356b
00003566: DUP3
00003567: PUSH2 0x352a
0000356a: JUMP
0000356b: JUMPDEST
0000356c: PUSH1 0x20
0000356e: DUP3
0000356f: ADD
00003570: SWAP1
00003571: POP
00003572: SWAP2
00003573: SWAP1
00003574: POP
00003575: JUMP
00003576: JUMPDEST
00003577: PUSH1 0x00
00003579: PUSH1 0x20
0000357b: DUP3
0000357c: ADD
0000357d: SWAP1
0000357e: POP
0000357f: DUP2
00003580: DUP2
00003581: SUB
00003582: PUSH1 0x00
00003584: DUP4
00003585: ADD
00003586: MSTORE
00003587: PUSH2 0x358f
0000358a: DUP2
0000358b: PUSH2 0x3553
0000358e: JUMP
0000358f: JUMPDEST
00003590: SWAP1
00003591: POP
00003592: SWAP2
00003593: SWAP1
00003594: POP
00003595: JUMP
00003596: JUMPDEST
00003597: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000035b8: PUSH1 0x00
000035ba: DUP3
000035bb: ADD
000035bc: MSTORE
000035bd: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
000035de: PUSH1 0x20
000035e0: DUP3
000035e1: ADD
000035e2: MSTORE
000035e3: POP
000035e4: JUMP
000035e5: JUMPDEST
000035e6: PUSH1 0x00
000035e8: PUSH2 0x35f2
000035eb: PUSH1 0x26
000035ed: DUP4
000035ee: PUSH2 0x2c3b
000035f1: JUMP
000035f2: JUMPDEST
000035f3: SWAP2
000035f4: POP
000035f5: PUSH2 0x35fd
000035f8: DUP3
000035f9: PUSH2 0x3596
000035fc: JUMP
000035fd: JUMPDEST
000035fe: PUSH1 0x40
00003600: DUP3
00003601: ADD
00003602: SWAP1
00003603: POP
00003604: SWAP2
00003605: SWAP1
00003606: POP
00003607: JUMP
00003608: JUMPDEST
00003609: PUSH1 0x00
0000360b: PUSH1 0x20
0000360d: DUP3
0000360e: ADD
0000360f: SWAP1
00003610: POP
00003611: DUP2
00003612: DUP2
00003613: SUB
00003614: PUSH1 0x00
00003616: DUP4
00003617: ADD
00003618: MSTORE
00003619: PUSH2 0x3621
0000361c: DUP2
0000361d: PUSH2 0x35e5
00003620: JUMP
00003621: JUMPDEST
00003622: SWAP1
00003623: POP
00003624: SWAP2
00003625: SWAP1
00003626: POP
00003627: JUMP
00003628: JUMPDEST
00003629: PUSH32 0x426c61636b6c6973746564000000000000000000000000000000000000000000
0000364a: PUSH1 0x00
0000364c: DUP3
0000364d: ADD
0000364e: MSTORE
0000364f: POP
00003650: JUMP
00003651: JUMPDEST
00003652: PUSH1 0x00
00003654: PUSH2 0x365e
00003657: PUSH1 0x0b
00003659: DUP4
0000365a: PUSH2 0x2c3b
0000365d: JUMP
0000365e: JUMPDEST
0000365f: SWAP2
00003660: POP
00003661: PUSH2 0x3669
00003664: DUP3
00003665: PUSH2 0x3628
00003668: JUMP
00003669: JUMPDEST
0000366a: PUSH1 0x20
0000366c: DUP3
0000366d: ADD
0000366e: SWAP1
0000366f: POP
00003670: SWAP2
00003671: SWAP1
00003672: POP
00003673: JUMP
00003674: JUMPDEST
00003675: PUSH1 0x00
00003677: PUSH1 0x20
00003679: DUP3
0000367a: ADD
0000367b: SWAP1
0000367c: POP
0000367d: DUP2
0000367e: DUP2
0000367f: SUB
00003680: PUSH1 0x00
00003682: DUP4
00003683: ADD
00003684: MSTORE
00003685: PUSH2 0x368d
00003688: DUP2
00003689: PUSH2 0x3651
0000368c: JUMP
0000368d: JUMPDEST
0000368e: SWAP1
0000368f: POP
00003690: SWAP2
00003691: SWAP1
00003692: POP
00003693: JUMP
00003694: JUMPDEST
00003695: PUSH32 0x5472616e7366657220616d6f756e74206578636565647320746865206d617854
000036b6: PUSH1 0x00
000036b8: DUP3
000036b9: ADD
000036ba: MSTORE
000036bb: PUSH32 0x78416d6f756e742e000000000000000000000000000000000000000000000000
000036dc: PUSH1 0x20
000036de: DUP3
000036df: ADD
000036e0: MSTORE
000036e1: POP
000036e2: JUMP
000036e3: JUMPDEST
000036e4: PUSH1 0x00
000036e6: PUSH2 0x36f0
000036e9: PUSH1 0x28
000036eb: DUP4
000036ec: PUSH2 0x2c3b
000036ef: JUMP
000036f0: JUMPDEST
000036f1: SWAP2
000036f2: POP
000036f3: PUSH2 0x36fb
000036f6: DUP3
000036f7: PUSH2 0x3694
000036fa: JUMP
000036fb: JUMPDEST
000036fc: PUSH1 0x40
000036fe: DUP3
000036ff: ADD
00003700: SWAP1
00003701: POP
00003702: SWAP2
00003703: SWAP1
00003704: POP
00003705: JUMP
00003706: JUMPDEST
00003707: PUSH1 0x00
00003709: PUSH1 0x20
0000370b: DUP3
0000370c: ADD
0000370d: SWAP1
0000370e: POP
0000370f: DUP2
00003710: DUP2
00003711: SUB
00003712: PUSH1 0x00
00003714: DUP4
00003715: ADD
00003716: MSTORE
00003717: PUSH2 0x371f
0000371a: DUP2
0000371b: PUSH2 0x36e3
0000371e: JUMP
0000371f: JUMPDEST
00003720: SWAP1
00003721: POP
00003722: SWAP2
00003723: SWAP1
00003724: POP
00003725: JUMP
00003726: JUMPDEST
00003727: PUSH32 0x496e73756666696369656e742042616c616e6365000000000000000000000000
00003748: PUSH1 0x00
0000374a: DUP3
0000374b: ADD
0000374c: MSTORE
0000374d: POP
0000374e: JUMP
0000374f: JUMPDEST
00003750: PUSH1 0x00
00003752: PUSH2 0x375c
00003755: PUSH1 0x14
00003757: DUP4
00003758: PUSH2 0x2c3b
0000375b: JUMP
0000375c: JUMPDEST
0000375d: SWAP2
0000375e: POP
0000375f: PUSH2 0x3767
00003762: DUP3
00003763: PUSH2 0x3726
00003766: JUMP
00003767: JUMPDEST
00003768: PUSH1 0x20
0000376a: DUP3
0000376b: ADD
0000376c: SWAP1
0000376d: POP
0000376e: SWAP2
0000376f: SWAP1
00003770: POP
00003771: JUMP
00003772: JUMPDEST
00003773: PUSH1 0x00
00003775: PUSH1 0x20
00003777: DUP3
00003778: ADD
00003779: SWAP1
0000377a: POP
0000377b: DUP2
0000377c: DUP2
0000377d: SUB
0000377e: PUSH1 0x00
00003780: DUP4
00003781: ADD
00003782: MSTORE
00003783: PUSH2 0x378b
00003786: DUP2
00003787: PUSH2 0x374f
0000378a: JUMP
0000378b: JUMPDEST
0000378c: SWAP1
0000378d: POP
0000378e: SWAP2
0000378f: SWAP1
00003790: POP
00003791: JUMP
00003792: JUMPDEST
00003793: PUSH1 0x00
00003795: PUSH2 0x379d
00003798: DUP3
00003799: PUSH2 0x2bfc
0000379c: JUMP
0000379d: JUMPDEST
0000379e: SWAP2
0000379f: POP
000037a0: PUSH2 0x37a8
000037a3: DUP4
000037a4: PUSH2 0x2bfc
000037a7: JUMP
000037a8: JUMPDEST
000037a9: SWAP3
000037aa: POP
000037ab: DUP3
000037ac: DUP3
000037ad: ADD
000037ae: SWAP1
000037af: POP
000037b0: DUP1
000037b1: DUP3
000037b2: GT
000037b3: ISZERO
000037b4: PUSH2 0x37c0
000037b7: JUMPI
000037b8: PUSH2 0x37bf
000037bb: PUSH2 0x333e
000037be: JUMP
000037bf: JUMPDEST
000037c0: JUMPDEST
000037c1: SWAP3
000037c2: SWAP2
000037c3: POP
000037c4: POP
000037c5: JUMP
000037c6: JUMPDEST
000037c7: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000037e8: PUSH1 0x00
000037ea: DUP3
000037eb: ADD
000037ec: MSTORE
000037ed: POP
000037ee: JUMP
000037ef: JUMPDEST
000037f0: PUSH1 0x00
000037f2: PUSH2 0x37fc
000037f5: PUSH1 0x20
000037f7: DUP4
000037f8: PUSH2 0x2c3b
000037fb: JUMP
000037fc: JUMPDEST
000037fd: SWAP2
000037fe: POP
000037ff: PUSH2 0x3807
00003802: DUP3
00003803: PUSH2 0x37c6
00003806: JUMP
00003807: JUMPDEST
00003808: PUSH1 0x20
0000380a: DUP3
0000380b: ADD
0000380c: SWAP1
0000380d: POP
0000380e: SWAP2
0000380f: SWAP1
00003810: POP
00003811: JUMP
00003812: JUMPDEST
00003813: PUSH1 0x00
00003815: PUSH1 0x20
00003817: DUP3
00003818: ADD
00003819: SWAP1
0000381a: POP
0000381b: DUP2
0000381c: DUP2
0000381d: SUB
0000381e: PUSH1 0x00
00003820: DUP4
00003821: ADD
00003822: MSTORE
00003823: PUSH2 0x382b
00003826: DUP2
00003827: PUSH2 0x37ef
0000382a: JUMP
0000382b: JUMPDEST
0000382c: SWAP1
0000382d: POP
0000382e: SWAP2
0000382f: SWAP1
00003830: POP
00003831: JUMP
00003832: JUMPDEST
00003833: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003854: PUSH1 0x00
00003856: MSTORE
00003857: PUSH1 0x41
00003859: PUSH1 0x04
0000385b: MSTORE
0000385c: PUSH1 0x24
0000385e: PUSH1 0x00
00003860: REVERT
00003861: JUMPDEST
00003862: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003883: PUSH1 0x00
00003885: MSTORE
00003886: PUSH1 0x32
00003888: PUSH1 0x04
0000388a: MSTORE
0000388b: PUSH1 0x24
0000388d: PUSH1 0x00
0000388f: REVERT
00003890: JUMPDEST
00003891: PUSH1 0x00
00003893: DUP2
00003894: MLOAD
00003895: SWAP1
00003896: POP
00003897: PUSH2 0x389f
0000389a: DUP2
0000389b: PUSH2 0x2d19
0000389e: JUMP
0000389f: JUMPDEST
000038a0: SWAP3
000038a1: SWAP2
000038a2: POP
000038a3: POP
000038a4: JUMP
000038a5: JUMPDEST
000038a6: PUSH1 0x00
000038a8: PUSH1 0x20
000038aa: DUP3
000038ab: DUP5
000038ac: SUB
000038ad: SLT
000038ae: ISZERO
000038af: PUSH2 0x38bb
000038b2: JUMPI
000038b3: PUSH2 0x38ba
000038b6: PUSH2 0x2ce2
000038b9: JUMP
000038ba: JUMPDEST
000038bb: JUMPDEST
000038bc: PUSH1 0x00
000038be: PUSH2 0x38c9
000038c1: DUP5
000038c2: DUP3
000038c3: DUP6
000038c4: ADD
000038c5: PUSH2 0x3890
000038c8: JUMP
000038c9: JUMPDEST
000038ca: SWAP2
000038cb: POP
000038cc: POP
000038cd: SWAP3
000038ce: SWAP2
000038cf: POP
000038d0: POP
000038d1: JUMP
000038d2: JUMPDEST
000038d3: PUSH1 0x00
000038d5: DUP2
000038d6: SWAP1
000038d7: POP
000038d8: SWAP2
000038d9: SWAP1
000038da: POP
000038db: JUMP
000038dc: JUMPDEST
000038dd: PUSH1 0x00
000038df: PUSH2 0x38f7
000038e2: PUSH2 0x38f2
000038e5: PUSH2 0x38ed
000038e8: DUP5
000038e9: PUSH2 0x38d2
000038ec: JUMP
000038ed: JUMPDEST
000038ee: PUSH2 0x301a
000038f1: JUMP
000038f2: JUMPDEST
000038f3: PUSH2 0x2bfc
000038f6: JUMP
000038f7: JUMPDEST
000038f8: SWAP1
000038f9: POP
000038fa: SWAP2
000038fb: SWAP1
000038fc: POP
000038fd: JUMP
000038fe: JUMPDEST
000038ff: PUSH2 0x3907
00003902: DUP2
00003903: PUSH2 0x38dc
00003906: JUMP
00003907: JUMPDEST
00003908: DUP3
00003909: MSTORE
0000390a: POP
0000390b: POP
0000390c: JUMP
0000390d: JUMPDEST
0000390e: PUSH1 0x00
00003910: DUP2
00003911: MLOAD
00003912: SWAP1
00003913: POP
00003914: SWAP2
00003915: SWAP1
00003916: POP
00003917: JUMP
00003918: JUMPDEST
00003919: PUSH1 0x00
0000391b: DUP3
0000391c: DUP3
0000391d: MSTORE
0000391e: PUSH1 0x20
00003920: DUP3
00003921: ADD
00003922: SWAP1
00003923: POP
00003924: SWAP3
00003925: SWAP2
00003926: POP
00003927: POP
00003928: JUMP
00003929: JUMPDEST
0000392a: PUSH1 0x00
0000392c: DUP2
0000392d: SWAP1
0000392e: POP
0000392f: PUSH1 0x20
00003931: DUP3
00003932: ADD
00003933: SWAP1
00003934: POP
00003935: SWAP2
00003936: SWAP1
00003937: POP
00003938: JUMP
00003939: JUMPDEST
0000393a: PUSH2 0x3942
0000393d: DUP2
0000393e: PUSH2 0x2d07
00003941: JUMP
00003942: JUMPDEST
00003943: DUP3
00003944: MSTORE
00003945: POP
00003946: POP
00003947: JUMP
00003948: JUMPDEST
00003949: PUSH1 0x00
0000394b: PUSH2 0x3954
0000394e: DUP4
0000394f: DUP4
00003950: PUSH2 0x3939
00003953: JUMP
00003954: JUMPDEST
00003955: PUSH1 0x20
00003957: DUP4
00003958: ADD
00003959: SWAP1
0000395a: POP
0000395b: SWAP3
0000395c: SWAP2
0000395d: POP
0000395e: POP
0000395f: JUMP
00003960: JUMPDEST
00003961: PUSH1 0x00
00003963: PUSH1 0x20
00003965: DUP3
00003966: ADD
00003967: SWAP1
00003968: POP
00003969: SWAP2
0000396a: SWAP1
0000396b: POP
0000396c: JUMP
0000396d: JUMPDEST
0000396e: PUSH1 0x00
00003970: PUSH2 0x3978
00003973: DUP3
00003974: PUSH2 0x390d
00003977: JUMP
00003978: JUMPDEST
00003979: PUSH2 0x3982
0000397c: DUP2
0000397d: DUP6
0000397e: PUSH2 0x3918
00003981: JUMP
00003982: JUMPDEST
00003983: SWAP4
00003984: POP
00003985: PUSH2 0x398d
00003988: DUP4
00003989: PUSH2 0x3929
0000398c: JUMP
0000398d: JUMPDEST
0000398e: DUP1
0000398f: PUSH1 0x00
00003991: JUMPDEST
00003992: DUP4
00003993: DUP2
00003994: LT
00003995: ISZERO
00003996: PUSH2 0x39be
00003999: JUMPI
0000399a: DUP2
0000399b: MLOAD
0000399c: PUSH2 0x39a5
0000399f: DUP9
000039a0: DUP3
000039a1: PUSH2 0x3948
000039a4: JUMP
000039a5: JUMPDEST
000039a6: SWAP8
000039a7: POP
000039a8: PUSH2 0x39b0
000039ab: DUP4
000039ac: PUSH2 0x3960
000039af: JUMP
000039b0: JUMPDEST
000039b1: SWAP3
000039b2: POP
000039b3: POP
000039b4: PUSH1 0x01
000039b6: DUP2
000039b7: ADD
000039b8: SWAP1
000039b9: POP
000039ba: PUSH2 0x3991
000039bd: JUMP
000039be: JUMPDEST
000039bf: POP
000039c0: DUP6
000039c1: SWAP4
000039c2: POP
000039c3: POP
000039c4: POP
000039c5: POP
000039c6: SWAP3
000039c7: SWAP2
000039c8: POP
000039c9: POP
000039ca: JUMP
000039cb: JUMPDEST
000039cc: PUSH1 0x00
000039ce: PUSH1 0xa0
000039d0: DUP3
000039d1: ADD
000039d2: SWAP1
000039d3: POP
000039d4: PUSH2 0x39e0
000039d7: PUSH1 0x00
000039d9: DUP4
000039da: ADD
000039db: DUP9
000039dc: PUSH2 0x2c06
000039df: JUMP
000039e0: JUMPDEST
000039e1: PUSH2 0x39ed
000039e4: PUSH1 0x20
000039e6: DUP4
000039e7: ADD
000039e8: DUP8
000039e9: PUSH2 0x38fe
000039ec: JUMP
000039ed: JUMPDEST
000039ee: DUP2
000039ef: DUP2
000039f0: SUB
000039f1: PUSH1 0x40
000039f3: DUP4
000039f4: ADD
000039f5: MSTORE
000039f6: PUSH2 0x39ff
000039f9: DUP2
000039fa: DUP7
000039fb: PUSH2 0x396d
000039fe: JUMP
000039ff: JUMPDEST
00003a00: SWAP1
00003a01: POP
00003a02: PUSH2 0x3a0e
00003a05: PUSH1 0x60
00003a07: DUP4
00003a08: ADD
00003a09: DUP6
00003a0a: PUSH2 0x2ff0
00003a0d: JUMP
00003a0e: JUMPDEST
00003a0f: PUSH2 0x3a1b
00003a12: PUSH1 0x80
00003a14: DUP4
00003a15: ADD
00003a16: DUP5
00003a17: PUSH2 0x2c06
00003a1a: JUMP
00003a1b: JUMPDEST
00003a1c: SWAP7
00003a1d: SWAP6
00003a1e: POP
00003a1f: POP
00003a20: POP
00003a21: POP
00003a22: POP
00003a23: POP
00003a24: JUMP
00003a25: JUMPDEST
00003a26: PUSH1 0x00
00003a28: PUSH2 0x3a30
00003a2b: DUP3
00003a2c: PUSH2 0x2e83
00003a2f: JUMP
00003a30: JUMPDEST
00003a31: SWAP2
00003a32: POP
00003a33: PUSH2 0x3a3b
00003a36: DUP4
00003a37: PUSH2 0x2e83
00003a3a: JUMP
00003a3b: JUMPDEST
00003a3c: SWAP3
00003a3d: POP
00003a3e: DUP3
00003a3f: DUP3
00003a40: SUB
00003a41: SWAP1
00003a42: POP
00003a43: PUSH16 0xffffffffffffffffffffffffffffffff
00003a54: DUP2
00003a55: GT
00003a56: ISZERO
00003a57: PUSH2 0x3a63
00003a5a: JUMPI
00003a5b: PUSH2 0x3a62
00003a5e: PUSH2 0x333e
00003a61: JUMP
00003a62: JUMPDEST
00003a63: JUMPDEST
00003a64: SWAP3
00003a65: SWAP2
00003a66: POP
00003a67: POP
00003a68: JUMP
00003a69: JUMPDEST
00003a6a: PUSH1 0x00
00003a6c: PUSH1 0x40
00003a6e: DUP3
00003a6f: ADD
00003a70: SWAP1
00003a71: POP
00003a72: PUSH2 0x3a7e
00003a75: PUSH1 0x00
00003a77: DUP4
00003a78: ADD
00003a79: DUP6
00003a7a: PUSH2 0x2c06
00003a7d: JUMP
00003a7e: JUMPDEST
00003a7f: PUSH2 0x3a8b
00003a82: PUSH1 0x20
00003a84: DUP4
00003a85: ADD
00003a86: DUP5
00003a87: PUSH2 0x2c06
00003a8a: JUMP
00003a8b: JUMPDEST
00003a8c: SWAP4
00003a8d: SWAP3
00003a8e: POP
00003a8f: POP
00003a90: POP
00003a91: JUMP
00003a92: INVALID
00003a93: LOG2
00003a94: PUSH5 0x6970667358
00003a9a: UNKNOWN(0x22)
00003a9b: SLT
00003a9c: KECCAK256
00003a9d: SWAP8
00003a9e: UNKNOWN(0x1F)
00003a9f: PUSH2 0x0358
00003aa2: UNKNOWN(0xCD)
00003aa3: UNKNOWN(0x2C)
00003aa4: UNKNOWN(0x2F)
00003aa5: UNKNOWN(0x24)
00003aa6: SMOD
00003aa7: UNKNOWN(0x24)
00003aa8: UNKNOWN(0xCF)
00003aa9: UNKNOWN(0xC5)
00003aaa: DUP8
00003aab: SWAP7
00003aac: UNKNOWN(0xA5)
00003aad: UNKNOWN(0xBA)
00003aae: UNKNOWN(0xE9)
00003aaf: PUSH13 0x446784bf91e349ecbf5dbcba48
00003abd: PUSH5 0x736f6c6343
00003ac3: STOP
00003ac4: ADDMOD
00003ac5: SGT
00003ac6: STOP
00003ac7: CALLER
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
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x84a56769de20418eb74dbfda5bddaf33f7ed559c5abb61340a981d646213876d
call_targets: 0x07c140d640a27e3d3955573b9bcebfe86056f013
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x84a56769de20418eb74dbfda5bddaf33f7ed559c5abb61340a981d646213876d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x07c140d640a27e3d3955573b9bcebfe86056f013"
    ],
    "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": "0xdf20fd49",
            "selector": "0xdf20fd49",
            "calldata_variants": [
                "0xdf20fd49",
                "0xdf20fd490000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe186ec74",
            "selector": "0xe186ec74",
            "calldata_variants": [
                "0xe186ec74",
                "0xe186ec740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf40acc3d",
            "selector": "0xf40acc3d",
            "calldata_variants": [
                "0xf40acc3d",
                "0xf40acc3d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf84ba65d",
            "selector": "0xf84ba65d",
            "calldata_variants": [
                "0xf84ba65d",
                "0xf84ba65d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb0f7ec38",
            "selector": "0xb0f7ec38",
            "calldata_variants": [
                "0xb0f7ec38",
                "0xb0f7ec380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc38a31de",
            "selector": "0xc38a31de",
            "calldata_variants": [
                "0xc38a31de",
                "0xc38a31de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7c01032",
            "selector": "0xd7c01032",
            "calldata_variants": [
                "0xd7c01032",
                "0xd7c010320000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3673,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9326,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9602,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 8358,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x84a56769de20418eb74dbfda5bddaf33f7ed559c5abb61340a981d646213876d
call_targets: 0x07c140d640a27e3d3955573b9bcebfe86056f013
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x84a56769de20418eb74dbfda5bddaf33f7ed559c5abb61340a981d646213876d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x07c140d640a27e3d3955573b9bcebfe86056f013"
    ],
    "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": "0xdf20fd49",
            "selector": "0xdf20fd49",
            "calldata_variants": [
                "0xdf20fd49",
                "0xdf20fd490000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe186ec74",
            "selector": "0xe186ec74",
            "calldata_variants": [
                "0xe186ec74",
                "0xe186ec740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf40acc3d",
            "selector": "0xf40acc3d",
            "calldata_variants": [
                "0xf40acc3d",
                "0xf40acc3d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf84ba65d",
            "selector": "0xf84ba65d",
            "calldata_variants": [
                "0xf84ba65d",
                "0xf84ba65d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb0f7ec38",
            "selector": "0xb0f7ec38",
            "calldata_variants": [
                "0xb0f7ec38",
                "0xb0f7ec380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc38a31de",
            "selector": "0xc38a31de",
            "calldata_variants": [
                "0xc38a31de",
                "0xc38a31de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7c01032",
            "selector": "0xd7c01032",
            "calldata_variants": [
                "0xd7c01032",
                "0xd7c010320000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3673,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9326,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9602,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 8358,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}