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

Analysis Run

019b477e-d1fc-721e-9dc3-43964594dda9

complete
Chain ID
1
Address
0xb22a26c6da22cc4686560a45469bf1654bf4f3cd
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
27861 artifact.fetch complete 1 / 3 3 months ago
27862 tool.cast_disasm complete 1 / 3 3 months ago
103393 analysis.bundle complete 1 / 3 1 week ago
103394 capability.graph complete 1 / 3 1 week ago
103395 detector.run complete 1 / 3 1 week ago
103396 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
2
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
1
Total opcodes
5261
Flags
delegatecall_present selfdestruct_present create_opcodes_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x007e
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0xbc00d44e
00000018: GT
00000019: PUSH2 0x004d
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xbc00d44e
00000023: EQ
00000024: PUSH2 0x04bf
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xd6a6d3e2
0000002e: EQ
0000002f: PUSH2 0x04db
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xf3d97bba
00000039: EQ
0000003a: PUSH2 0x04f7
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf607db8d
00000044: EQ
00000045: PUSH2 0x050d
00000048: JUMPI
00000049: PUSH2 0x0085
0000004c: JUMP
0000004d: JUMPDEST
0000004e: DUP1
0000004f: PUSH4 0x07a39ca1
00000054: EQ
00000055: PUSH2 0x0435
00000058: JUMPI
00000059: DUP1
0000005a: PUSH4 0x1da19dd4
0000005f: EQ
00000060: PUSH2 0x045d
00000063: JUMPI
00000064: DUP1
00000065: PUSH4 0x48569e96
0000006a: EQ
0000006b: PUSH2 0x0479
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0x8da5cb5b
00000075: EQ
00000076: PUSH2 0x0495
00000079: JUMPI
0000007a: PUSH2 0x0085
0000007d: JUMP
0000007e: JUMPDEST
0000007f: CALLDATASIZE
00000080: PUSH2 0x0085
00000083: JUMPI
00000084: STOP
00000085: JUMPDEST
00000086: PUSH1 0x03
00000088: SLOAD
00000089: PUSH1 0x02
0000008b: SLOAD
0000008c: LT
0000008d: ISZERO
0000008e: PUSH2 0x0433
00000091: JUMPI
00000092: PUSH0
00000093: PUSH1 0x02
00000095: SLOAD
00000096: SWAP1
00000097: POP
00000098: PUSH1 0x01
0000009a: DUP2
0000009b: PUSH2 0x00a4
0000009e: SWAP2
0000009f: SWAP1
000000a0: PUSH2 0x0e9a
000000a3: JUMP
000000a4: JUMPDEST
000000a5: PUSH1 0x02
000000a7: DUP2
000000a8: SWAP1
000000a9: SSTORE
000000aa: POP
000000ab: PUSH0
000000ac: PUSH1 0x01
000000ae: PUSH0
000000af: DUP4
000000b0: DUP2
000000b1: MSTORE
000000b2: PUSH1 0x20
000000b4: ADD
000000b5: SWAP1
000000b6: DUP2
000000b7: MSTORE
000000b8: PUSH1 0x20
000000ba: ADD
000000bb: PUSH0
000000bc: KECCAK256
000000bd: PUSH1 0x01
000000bf: ADD
000000c0: DUP1
000000c1: SLOAD
000000c2: DUP1
000000c3: PUSH1 0x20
000000c5: MUL
000000c6: PUSH1 0x20
000000c8: ADD
000000c9: PUSH1 0x40
000000cb: MLOAD
000000cc: SWAP1
000000cd: DUP2
000000ce: ADD
000000cf: PUSH1 0x40
000000d1: MSTORE
000000d2: DUP1
000000d3: SWAP3
000000d4: SWAP2
000000d5: SWAP1
000000d6: DUP2
000000d7: DUP2
000000d8: MSTORE
000000d9: PUSH1 0x20
000000db: ADD
000000dc: PUSH0
000000dd: SWAP1
000000de: JUMPDEST
000000df: DUP3
000000e0: DUP3
000000e1: LT
000000e2: ISZERO
000000e3: PUSH2 0x01fc
000000e6: JUMPI
000000e7: DUP4
000000e8: DUP3
000000e9: SWAP1
000000ea: PUSH0
000000eb: MSTORE
000000ec: PUSH1 0x20
000000ee: PUSH0
000000ef: KECCAK256
000000f0: SWAP1
000000f1: PUSH1 0x03
000000f3: MUL
000000f4: ADD
000000f5: PUSH1 0x40
000000f7: MLOAD
000000f8: DUP1
000000f9: PUSH1 0x60
000000fb: ADD
000000fc: PUSH1 0x40
000000fe: MSTORE
000000ff: SWAP1
00000100: DUP2
00000101: PUSH0
00000102: DUP3
00000103: ADD
00000104: SLOAD
00000105: DUP2
00000106: MSTORE
00000107: PUSH1 0x20
00000109: ADD
0000010a: PUSH1 0x01
0000010c: DUP3
0000010d: ADD
0000010e: PUSH0
0000010f: SWAP1
00000110: SLOAD
00000111: SWAP1
00000112: PUSH2 0x0100
00000115: EXP
00000116: SWAP1
00000117: DIV
00000118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000012d: AND
0000012e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000143: AND
00000144: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000159: AND
0000015a: DUP2
0000015b: MSTORE
0000015c: PUSH1 0x20
0000015e: ADD
0000015f: PUSH1 0x02
00000161: DUP3
00000162: ADD
00000163: DUP1
00000164: SLOAD
00000165: PUSH2 0x016d
00000168: SWAP1
00000169: PUSH2 0x0efa
0000016c: JUMP
0000016d: JUMPDEST
0000016e: DUP1
0000016f: PUSH1 0x1f
00000171: ADD
00000172: PUSH1 0x20
00000174: DUP1
00000175: SWAP2
00000176: DIV
00000177: MUL
00000178: PUSH1 0x20
0000017a: ADD
0000017b: PUSH1 0x40
0000017d: MLOAD
0000017e: SWAP1
0000017f: DUP2
00000180: ADD
00000181: PUSH1 0x40
00000183: MSTORE
00000184: DUP1
00000185: SWAP3
00000186: SWAP2
00000187: SWAP1
00000188: DUP2
00000189: DUP2
0000018a: MSTORE
0000018b: PUSH1 0x20
0000018d: ADD
0000018e: DUP3
0000018f: DUP1
00000190: SLOAD
00000191: PUSH2 0x0199
00000194: SWAP1
00000195: PUSH2 0x0efa
00000198: JUMP
00000199: JUMPDEST
0000019a: DUP1
0000019b: ISZERO
0000019c: PUSH2 0x01e4
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH1 0x1f
000001a3: LT
000001a4: PUSH2 0x01bb
000001a7: JUMPI
000001a8: PUSH2 0x0100
000001ab: DUP1
000001ac: DUP4
000001ad: SLOAD
000001ae: DIV
000001af: MUL
000001b0: DUP4
000001b1: MSTORE
000001b2: SWAP2
000001b3: PUSH1 0x20
000001b5: ADD
000001b6: SWAP2
000001b7: PUSH2 0x01e4
000001ba: JUMP
000001bb: JUMPDEST
000001bc: DUP3
000001bd: ADD
000001be: SWAP2
000001bf: SWAP1
000001c0: PUSH0
000001c1: MSTORE
000001c2: PUSH1 0x20
000001c4: PUSH0
000001c5: KECCAK256
000001c6: SWAP1
000001c7: JUMPDEST
000001c8: DUP2
000001c9: SLOAD
000001ca: DUP2
000001cb: MSTORE
000001cc: SWAP1
000001cd: PUSH1 0x01
000001cf: ADD
000001d0: SWAP1
000001d1: PUSH1 0x20
000001d3: ADD
000001d4: DUP1
000001d5: DUP4
000001d6: GT
000001d7: PUSH2 0x01c7
000001da: JUMPI
000001db: DUP3
000001dc: SWAP1
000001dd: SUB
000001de: PUSH1 0x1f
000001e0: AND
000001e1: DUP3
000001e2: ADD
000001e3: SWAP2
000001e4: JUMPDEST
000001e5: POP
000001e6: POP
000001e7: POP
000001e8: POP
000001e9: POP
000001ea: DUP2
000001eb: MSTORE
000001ec: POP
000001ed: POP
000001ee: DUP2
000001ef: MSTORE
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: SWAP1
000001f4: PUSH1 0x01
000001f6: ADD
000001f7: SWAP1
000001f8: PUSH2 0x00de
000001fb: JUMP
000001fc: JUMPDEST
000001fd: POP
000001fe: POP
000001ff: POP
00000200: POP
00000201: SWAP1
00000202: POP
00000203: PUSH0
00000204: JUMPDEST
00000205: DUP2
00000206: MLOAD
00000207: DUP2
00000208: LT
00000209: ISZERO
0000020a: PUSH2 0x0389
0000020d: JUMPI
0000020e: PUSH0
0000020f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000224: AND
00000225: DUP3
00000226: DUP3
00000227: DUP2
00000228: MLOAD
00000229: DUP2
0000022a: LT
0000022b: PUSH2 0x0237
0000022e: JUMPI
0000022f: PUSH2 0x0236
00000232: PUSH2 0x0f2a
00000235: JUMP
00000236: JUMPDEST
00000237: JUMPDEST
00000238: PUSH1 0x20
0000023a: MUL
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: ADD
0000023f: MLOAD
00000240: PUSH1 0x20
00000242: ADD
00000243: MLOAD
00000244: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000259: AND
0000025a: SUB
0000025b: PUSH2 0x02b4
0000025e: JUMPI
0000025f: PUSH0
00000260: DUP3
00000261: DUP3
00000262: DUP2
00000263: MLOAD
00000264: DUP2
00000265: LT
00000266: PUSH2 0x0272
00000269: JUMPI
0000026a: PUSH2 0x0271
0000026d: PUSH2 0x0f2a
00000270: JUMP
00000271: JUMPDEST
00000272: JUMPDEST
00000273: PUSH1 0x20
00000275: MUL
00000276: PUSH1 0x20
00000278: ADD
00000279: ADD
0000027a: MLOAD
0000027b: PUSH1 0x40
0000027d: ADD
0000027e: MLOAD
0000027f: SWAP1
00000280: POP
00000281: PUSH0
00000282: DUP4
00000283: DUP4
00000284: DUP2
00000285: MLOAD
00000286: DUP2
00000287: LT
00000288: PUSH2 0x0294
0000028b: JUMPI
0000028c: PUSH2 0x0293
0000028f: PUSH2 0x0f2a
00000292: JUMP
00000293: JUMPDEST
00000294: JUMPDEST
00000295: PUSH1 0x20
00000297: MUL
00000298: PUSH1 0x20
0000029a: ADD
0000029b: ADD
0000029c: MLOAD
0000029d: PUSH0
0000029e: ADD
0000029f: MLOAD
000002a0: SWAP1
000002a1: POP
000002a2: PUSH0
000002a3: DUP3
000002a4: MLOAD
000002a5: PUSH1 0x20
000002a7: DUP5
000002a8: ADD
000002a9: DUP4
000002aa: CREATE
000002ab: SWAP1
000002ac: POP
000002ad: POP
000002ae: POP
000002af: POP
000002b0: PUSH2 0x0376
000002b3: JUMP
000002b4: JUMPDEST
000002b5: DUP2
000002b6: DUP2
000002b7: DUP2
000002b8: MLOAD
000002b9: DUP2
000002ba: LT
000002bb: PUSH2 0x02c7
000002be: JUMPI
000002bf: PUSH2 0x02c6
000002c2: PUSH2 0x0f2a
000002c5: JUMP
000002c6: JUMPDEST
000002c7: JUMPDEST
000002c8: PUSH1 0x20
000002ca: MUL
000002cb: PUSH1 0x20
000002cd: ADD
000002ce: ADD
000002cf: MLOAD
000002d0: PUSH1 0x20
000002d2: ADD
000002d3: MLOAD
000002d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e9: AND
000002ea: DUP3
000002eb: DUP3
000002ec: DUP2
000002ed: MLOAD
000002ee: DUP2
000002ef: LT
000002f0: PUSH2 0x02fc
000002f3: JUMPI
000002f4: PUSH2 0x02fb
000002f7: PUSH2 0x0f2a
000002fa: JUMP
000002fb: JUMPDEST
000002fc: JUMPDEST
000002fd: PUSH1 0x20
000002ff: MUL
00000300: PUSH1 0x20
00000302: ADD
00000303: ADD
00000304: MLOAD
00000305: PUSH0
00000306: ADD
00000307: MLOAD
00000308: DUP4
00000309: DUP4
0000030a: DUP2
0000030b: MLOAD
0000030c: DUP2
0000030d: LT
0000030e: PUSH2 0x031a
00000311: JUMPI
00000312: PUSH2 0x0319
00000315: PUSH2 0x0f2a
00000318: JUMP
00000319: JUMPDEST
0000031a: JUMPDEST
0000031b: PUSH1 0x20
0000031d: MUL
0000031e: PUSH1 0x20
00000320: ADD
00000321: ADD
00000322: MLOAD
00000323: PUSH1 0x40
00000325: ADD
00000326: MLOAD
00000327: PUSH1 0x40
00000329: MLOAD
0000032a: PUSH2 0x0333
0000032d: SWAP2
0000032e: SWAP1
0000032f: PUSH2 0x0fc3
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH0
00000335: PUSH1 0x40
00000337: MLOAD
00000338: DUP1
00000339: DUP4
0000033a: SUB
0000033b: DUP2
0000033c: DUP6
0000033d: DUP8
0000033e: GAS
0000033f: CALL
00000340: SWAP3
00000341: POP
00000342: POP
00000343: POP
00000344: RETURNDATASIZE
00000345: DUP1
00000346: PUSH0
00000347: DUP2
00000348: EQ
00000349: PUSH2 0x036d
0000034c: JUMPI
0000034d: PUSH1 0x40
0000034f: MLOAD
00000350: SWAP2
00000351: POP
00000352: PUSH1 0x1f
00000354: NOT
00000355: PUSH1 0x3f
00000357: RETURNDATASIZE
00000358: ADD
00000359: AND
0000035a: DUP3
0000035b: ADD
0000035c: PUSH1 0x40
0000035e: MSTORE
0000035f: RETURNDATASIZE
00000360: DUP3
00000361: MSTORE
00000362: RETURNDATASIZE
00000363: PUSH0
00000364: PUSH1 0x20
00000366: DUP5
00000367: ADD
00000368: RETURNDATACOPY
00000369: PUSH2 0x0372
0000036c: JUMP
0000036d: JUMPDEST
0000036e: PUSH1 0x60
00000370: SWAP2
00000371: POP
00000372: JUMPDEST
00000373: POP
00000374: POP
00000375: POP
00000376: JUMPDEST
00000377: DUP1
00000378: DUP1
00000379: PUSH2 0x0381
0000037c: SWAP1
0000037d: PUSH2 0x0fd9
00000380: JUMP
00000381: JUMPDEST
00000382: SWAP2
00000383: POP
00000384: POP
00000385: PUSH2 0x0204
00000388: JUMP
00000389: JUMPDEST
0000038a: POP
0000038b: PUSH0
0000038c: PUSH1 0x01
0000038e: PUSH0
0000038f: DUP5
00000390: DUP2
00000391: MSTORE
00000392: PUSH1 0x20
00000394: ADD
00000395: SWAP1
00000396: DUP2
00000397: MSTORE
00000398: PUSH1 0x20
0000039a: ADD
0000039b: PUSH0
0000039c: KECCAK256
0000039d: PUSH0
0000039e: ADD
0000039f: DUP1
000003a0: SLOAD
000003a1: PUSH2 0x03a9
000003a4: SWAP1
000003a5: PUSH2 0x0efa
000003a8: JUMP
000003a9: JUMPDEST
000003aa: DUP1
000003ab: PUSH1 0x1f
000003ad: ADD
000003ae: PUSH1 0x20
000003b0: DUP1
000003b1: SWAP2
000003b2: DIV
000003b3: MUL
000003b4: PUSH1 0x20
000003b6: ADD
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: SWAP1
000003bb: DUP2
000003bc: ADD
000003bd: PUSH1 0x40
000003bf: MSTORE
000003c0: DUP1
000003c1: SWAP3
000003c2: SWAP2
000003c3: SWAP1
000003c4: DUP2
000003c5: DUP2
000003c6: MSTORE
000003c7: PUSH1 0x20
000003c9: ADD
000003ca: DUP3
000003cb: DUP1
000003cc: SLOAD
000003cd: PUSH2 0x03d5
000003d0: SWAP1
000003d1: PUSH2 0x0efa
000003d4: JUMP
000003d5: JUMPDEST
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x0420
000003db: JUMPI
000003dc: DUP1
000003dd: PUSH1 0x1f
000003df: LT
000003e0: PUSH2 0x03f7
000003e3: JUMPI
000003e4: PUSH2 0x0100
000003e7: DUP1
000003e8: DUP4
000003e9: SLOAD
000003ea: DIV
000003eb: MUL
000003ec: DUP4
000003ed: MSTORE
000003ee: SWAP2
000003ef: PUSH1 0x20
000003f1: ADD
000003f2: SWAP2
000003f3: PUSH2 0x0420
000003f6: JUMP
000003f7: JUMPDEST
000003f8: DUP3
000003f9: ADD
000003fa: SWAP2
000003fb: SWAP1
000003fc: PUSH0
000003fd: MSTORE
000003fe: PUSH1 0x20
00000400: PUSH0
00000401: KECCAK256
00000402: SWAP1
00000403: JUMPDEST
00000404: DUP2
00000405: SLOAD
00000406: DUP2
00000407: MSTORE
00000408: SWAP1
00000409: PUSH1 0x01
0000040b: ADD
0000040c: SWAP1
0000040d: PUSH1 0x20
0000040f: ADD
00000410: DUP1
00000411: DUP4
00000412: GT
00000413: PUSH2 0x0403
00000416: JUMPI
00000417: DUP3
00000418: SWAP1
00000419: SUB
0000041a: PUSH1 0x1f
0000041c: AND
0000041d: DUP3
0000041e: ADD
0000041f: SWAP2
00000420: JUMPDEST
00000421: POP
00000422: POP
00000423: POP
00000424: POP
00000425: POP
00000426: SWAP1
00000427: POP
00000428: PUSH0
00000429: DUP2
0000042a: MLOAD
0000042b: SWAP1
0000042c: POP
0000042d: DUP1
0000042e: PUSH1 0x20
00000430: DUP4
00000431: ADD
00000432: RETURN
00000433: JUMPDEST
00000434: STOP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0440
0000043c: JUMPI
0000043d: PUSH0
0000043e: DUP1
0000043f: REVERT
00000440: JUMPDEST
00000441: POP
00000442: PUSH2 0x045b
00000445: PUSH1 0x04
00000447: DUP1
00000448: CALLDATASIZE
00000449: SUB
0000044a: DUP2
0000044b: ADD
0000044c: SWAP1
0000044d: PUSH2 0x0456
00000450: SWAP2
00000451: SWAP1
00000452: PUSH2 0x10b5
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH2 0x0529
0000045a: JUMP
0000045b: JUMPDEST
0000045c: STOP
0000045d: JUMPDEST
0000045e: PUSH2 0x0477
00000461: PUSH1 0x04
00000463: DUP1
00000464: CALLDATASIZE
00000465: SUB
00000466: DUP2
00000467: ADD
00000468: SWAP1
00000469: PUSH2 0x0472
0000046c: SWAP2
0000046d: SWAP1
0000046e: PUSH2 0x1154
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH2 0x0641
00000476: JUMP
00000477: JUMPDEST
00000478: STOP
00000479: JUMPDEST
0000047a: PUSH2 0x0493
0000047d: PUSH1 0x04
0000047f: DUP1
00000480: CALLDATASIZE
00000481: SUB
00000482: DUP2
00000483: ADD
00000484: SWAP1
00000485: PUSH2 0x048e
00000488: SWAP2
00000489: SWAP1
0000048a: PUSH2 0x1206
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH2 0x073a
00000492: JUMP
00000493: JUMPDEST
00000494: STOP
00000495: JUMPDEST
00000496: CALLVALUE
00000497: DUP1
00000498: ISZERO
00000499: PUSH2 0x04a0
0000049c: JUMPI
0000049d: PUSH0
0000049e: DUP1
0000049f: REVERT
000004a0: JUMPDEST
000004a1: POP
000004a2: PUSH2 0x04a9
000004a5: PUSH2 0x0a12
000004a8: JUMP
000004a9: JUMPDEST
000004aa: PUSH1 0x40
000004ac: MLOAD
000004ad: PUSH2 0x04b6
000004b0: SWAP2
000004b1: SWAP1
000004b2: PUSH2 0x1260
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH1 0x40
000004b9: MLOAD
000004ba: DUP1
000004bb: SWAP2
000004bc: SUB
000004bd: SWAP1
000004be: RETURN
000004bf: JUMPDEST
000004c0: PUSH2 0x04d9
000004c3: PUSH1 0x04
000004c5: DUP1
000004c6: CALLDATASIZE
000004c7: SUB
000004c8: DUP2
000004c9: ADD
000004ca: SWAP1
000004cb: PUSH2 0x04d4
000004ce: SWAP2
000004cf: SWAP1
000004d0: PUSH2 0x1279
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH2 0x0a35
000004d8: JUMP
000004d9: JUMPDEST
000004da: STOP
000004db: JUMPDEST
000004dc: PUSH2 0x04f5
000004df: PUSH1 0x04
000004e1: DUP1
000004e2: CALLDATASIZE
000004e3: SUB
000004e4: DUP2
000004e5: ADD
000004e6: SWAP1
000004e7: PUSH2 0x04f0
000004ea: SWAP2
000004eb: SWAP1
000004ec: PUSH2 0x1154
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH2 0x0adb
000004f4: JUMP
000004f5: JUMPDEST
000004f6: STOP
000004f7: JUMPDEST
000004f8: CALLVALUE
000004f9: DUP1
000004fa: ISZERO
000004fb: PUSH2 0x0502
000004fe: JUMPI
000004ff: PUSH0
00000500: DUP1
00000501: REVERT
00000502: JUMPDEST
00000503: POP
00000504: PUSH2 0x050b
00000507: PUSH2 0x0bd7
0000050a: JUMP
0000050b: JUMPDEST
0000050c: STOP
0000050d: JUMPDEST
0000050e: PUSH2 0x0527
00000511: PUSH1 0x04
00000513: DUP1
00000514: CALLDATASIZE
00000515: SUB
00000516: DUP2
00000517: ADD
00000518: SWAP1
00000519: PUSH2 0x0522
0000051c: SWAP2
0000051d: SWAP1
0000051e: PUSH2 0x1486
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH2 0x0cc9
00000526: JUMP
00000527: JUMPDEST
00000528: STOP
00000529: JUMPDEST
0000052a: PUSH0
0000052b: DUP1
0000052c: SLOAD
0000052d: SWAP1
0000052e: PUSH2 0x0100
00000531: EXP
00000532: SWAP1
00000533: DIV
00000534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000549: AND
0000054a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000055f: AND
00000560: CALLER
00000561: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000576: AND
00000577: EQ
00000578: PUSH2 0x05b6
0000057b: JUMPI
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005a0: DUP2
000005a1: MSTORE
000005a2: PUSH1 0x04
000005a4: ADD
000005a5: PUSH2 0x05ad
000005a8: SWAP1
000005a9: PUSH2 0x15b3
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH1 0x40
000005b0: MLOAD
000005b1: DUP1
000005b2: SWAP2
000005b3: SUB
000005b4: SWAP1
000005b5: REVERT
000005b6: JUMPDEST
000005b7: DUP2
000005b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005cd: AND
000005ce: PUSH4 0xa9059cbb
000005d3: PUSH0
000005d4: DUP1
000005d5: SLOAD
000005d6: SWAP1
000005d7: PUSH2 0x0100
000005da: EXP
000005db: SWAP1
000005dc: DIV
000005dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f2: AND
000005f3: DUP4
000005f4: PUSH1 0x40
000005f6: MLOAD
000005f7: DUP4
000005f8: PUSH4 0xffffffff
000005fd: AND
000005fe: PUSH1 0xe0
00000600: SHL
00000601: DUP2
00000602: MSTORE
00000603: PUSH1 0x04
00000605: ADD
00000606: PUSH2 0x0610
00000609: SWAP3
0000060a: SWAP2
0000060b: SWAP1
0000060c: PUSH2 0x15e0
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH0
00000612: PUSH1 0x40
00000614: MLOAD
00000615: DUP1
00000616: DUP4
00000617: SUB
00000618: DUP2
00000619: PUSH0
0000061a: DUP8
0000061b: DUP1
0000061c: EXTCODESIZE
0000061d: ISZERO
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0627
00000623: JUMPI
00000624: PUSH0
00000625: DUP1
00000626: REVERT
00000627: JUMPDEST
00000628: POP
00000629: GAS
0000062a: CALL
0000062b: ISZERO
0000062c: DUP1
0000062d: ISZERO
0000062e: PUSH2 0x0639
00000631: JUMPI
00000632: RETURNDATASIZE
00000633: PUSH0
00000634: DUP1
00000635: RETURNDATACOPY
00000636: RETURNDATASIZE
00000637: PUSH0
00000638: REVERT
00000639: JUMPDEST
0000063a: POP
0000063b: POP
0000063c: POP
0000063d: POP
0000063e: POP
0000063f: POP
00000640: JUMP
00000641: JUMPDEST
00000642: PUSH0
00000643: DUP1
00000644: SLOAD
00000645: SWAP1
00000646: PUSH2 0x0100
00000649: EXP
0000064a: SWAP1
0000064b: DIV
0000064c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000661: AND
00000662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000677: AND
00000678: CALLER
00000679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068e: AND
0000068f: EQ
00000690: PUSH2 0x06ce
00000693: JUMPI
00000694: PUSH1 0x40
00000696: MLOAD
00000697: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006b8: DUP2
000006b9: MSTORE
000006ba: PUSH1 0x04
000006bc: ADD
000006bd: PUSH2 0x06c5
000006c0: SWAP1
000006c1: PUSH2 0x15b3
000006c4: JUMP
000006c5: JUMPDEST
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: DUP1
000006ca: SWAP2
000006cb: SUB
000006cc: SWAP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: DUP3
000006d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e5: AND
000006e6: DUP3
000006e7: DUP3
000006e8: PUSH1 0x40
000006ea: MLOAD
000006eb: PUSH2 0x06f5
000006ee: SWAP3
000006ef: SWAP2
000006f0: SWAP1
000006f1: PUSH2 0x162b
000006f4: JUMP
000006f5: JUMPDEST
000006f6: PUSH0
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: DUP1
000006fb: DUP4
000006fc: SUB
000006fd: DUP2
000006fe: DUP6
000006ff: GAS
00000700: DELEGATECALL
00000701: SWAP2
00000702: POP
00000703: POP
00000704: RETURNDATASIZE
00000705: DUP1
00000706: PUSH0
00000707: DUP2
00000708: EQ
00000709: PUSH2 0x072d
0000070c: JUMPI
0000070d: PUSH1 0x40
0000070f: MLOAD
00000710: SWAP2
00000711: POP
00000712: PUSH1 0x1f
00000714: NOT
00000715: PUSH1 0x3f
00000717: RETURNDATASIZE
00000718: ADD
00000719: AND
0000071a: DUP3
0000071b: ADD
0000071c: PUSH1 0x40
0000071e: MSTORE
0000071f: RETURNDATASIZE
00000720: DUP3
00000721: MSTORE
00000722: RETURNDATASIZE
00000723: PUSH0
00000724: PUSH1 0x20
00000726: DUP5
00000727: ADD
00000728: RETURNDATACOPY
00000729: PUSH2 0x0732
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0x60
00000730: SWAP2
00000731: POP
00000732: JUMPDEST
00000733: POP
00000734: POP
00000735: POP
00000736: POP
00000737: POP
00000738: POP
00000739: JUMP
0000073a: JUMPDEST
0000073b: PUSH0
0000073c: DUP1
0000073d: SLOAD
0000073e: SWAP1
0000073f: PUSH2 0x0100
00000742: EXP
00000743: SWAP1
00000744: DIV
00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075a: AND
0000075b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000770: AND
00000771: CALLER
00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000787: AND
00000788: EQ
00000789: PUSH2 0x07c7
0000078c: JUMPI
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007b1: DUP2
000007b2: MSTORE
000007b3: PUSH1 0x04
000007b5: ADD
000007b6: PUSH2 0x07be
000007b9: SWAP1
000007ba: PUSH2 0x15b3
000007bd: JUMP
000007be: JUMPDEST
000007bf: PUSH1 0x40
000007c1: MLOAD
000007c2: DUP1
000007c3: SWAP2
000007c4: SUB
000007c5: SWAP1
000007c6: REVERT
000007c7: JUMPDEST
000007c8: DUP2
000007c9: DUP2
000007ca: SWAP1
000007cb: POP
000007cc: PUSH1 0x03
000007ce: DUP2
000007cf: SWAP1
000007d0: SSTORE
000007d1: POP
000007d2: PUSH0
000007d3: PUSH1 0x01
000007d5: SWAP1
000007d6: POP
000007d7: JUMPDEST
000007d8: DUP3
000007d9: DUP3
000007da: SWAP1
000007db: POP
000007dc: DUP2
000007dd: LT
000007de: ISZERO
000007df: PUSH2 0x083a
000007e2: JUMPI
000007e3: DUP3
000007e4: DUP3
000007e5: DUP3
000007e6: DUP2
000007e7: DUP2
000007e8: LT
000007e9: PUSH2 0x07f5
000007ec: JUMPI
000007ed: PUSH2 0x07f4
000007f0: PUSH2 0x0f2a
000007f3: JUMP
000007f4: JUMPDEST
000007f5: JUMPDEST
000007f6: SWAP1
000007f7: POP
000007f8: PUSH1 0x20
000007fa: MUL
000007fb: DUP2
000007fc: ADD
000007fd: SWAP1
000007fe: PUSH2 0x0807
00000801: SWAP2
00000802: SWAP1
00000803: PUSH2 0x164f
00000806: JUMP
00000807: JUMPDEST
00000808: PUSH1 0x01
0000080a: PUSH0
0000080b: DUP4
0000080c: DUP2
0000080d: MSTORE
0000080e: PUSH1 0x20
00000810: ADD
00000811: SWAP1
00000812: DUP2
00000813: MSTORE
00000814: PUSH1 0x20
00000816: ADD
00000817: PUSH0
00000818: KECCAK256
00000819: DUP2
0000081a: DUP2
0000081b: PUSH2 0x0824
0000081e: SWAP2
0000081f: SWAP1
00000820: PUSH2 0x1fd8
00000823: JUMP
00000824: JUMPDEST
00000825: SWAP1
00000826: POP
00000827: POP
00000828: DUP1
00000829: DUP1
0000082a: PUSH2 0x0832
0000082d: SWAP1
0000082e: PUSH2 0x0fd9
00000831: JUMP
00000832: JUMPDEST
00000833: SWAP2
00000834: POP
00000835: POP
00000836: PUSH2 0x07d7
00000839: JUMP
0000083a: JUMPDEST
0000083b: POP
0000083c: PUSH1 0x01
0000083e: PUSH1 0x02
00000840: DUP2
00000841: SWAP1
00000842: SSTORE
00000843: POP
00000844: PUSH0
00000845: DUP3
00000846: DUP3
00000847: PUSH0
00000848: DUP2
00000849: DUP2
0000084a: LT
0000084b: PUSH2 0x0857
0000084e: JUMPI
0000084f: PUSH2 0x0856
00000852: PUSH2 0x0f2a
00000855: JUMP
00000856: JUMPDEST
00000857: JUMPDEST
00000858: SWAP1
00000859: POP
0000085a: PUSH1 0x20
0000085c: MUL
0000085d: DUP2
0000085e: ADD
0000085f: SWAP1
00000860: PUSH2 0x0869
00000863: SWAP2
00000864: SWAP1
00000865: PUSH2 0x164f
00000868: JUMP
00000869: JUMPDEST
0000086a: DUP1
0000086b: PUSH1 0x20
0000086d: ADD
0000086e: SWAP1
0000086f: PUSH2 0x0878
00000872: SWAP2
00000873: SWAP1
00000874: PUSH2 0x1988
00000877: JUMP
00000878: JUMPDEST
00000879: SWAP1
0000087a: PUSH2 0x0883
0000087d: SWAP2
0000087e: SWAP1
0000087f: PUSH2 0x211c
00000882: JUMP
00000883: JUMPDEST
00000884: SWAP1
00000885: POP
00000886: PUSH0
00000887: JUMPDEST
00000888: DUP2
00000889: MLOAD
0000088a: DUP2
0000088b: LT
0000088c: ISZERO
0000088d: PUSH2 0x0a0c
00000890: JUMPI
00000891: PUSH0
00000892: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a7: AND
000008a8: DUP3
000008a9: DUP3
000008aa: DUP2
000008ab: MLOAD
000008ac: DUP2
000008ad: LT
000008ae: PUSH2 0x08ba
000008b1: JUMPI
000008b2: PUSH2 0x08b9
000008b5: PUSH2 0x0f2a
000008b8: JUMP
000008b9: JUMPDEST
000008ba: JUMPDEST
000008bb: PUSH1 0x20
000008bd: MUL
000008be: PUSH1 0x20
000008c0: ADD
000008c1: ADD
000008c2: MLOAD
000008c3: PUSH1 0x20
000008c5: ADD
000008c6: MLOAD
000008c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008dc: AND
000008dd: SUB
000008de: PUSH2 0x0937
000008e1: JUMPI
000008e2: PUSH0
000008e3: DUP3
000008e4: DUP3
000008e5: DUP2
000008e6: MLOAD
000008e7: DUP2
000008e8: LT
000008e9: PUSH2 0x08f5
000008ec: JUMPI
000008ed: PUSH2 0x08f4
000008f0: PUSH2 0x0f2a
000008f3: JUMP
000008f4: JUMPDEST
000008f5: JUMPDEST
000008f6: PUSH1 0x20
000008f8: MUL
000008f9: PUSH1 0x20
000008fb: ADD
000008fc: ADD
000008fd: MLOAD
000008fe: PUSH1 0x40
00000900: ADD
00000901: MLOAD
00000902: SWAP1
00000903: POP
00000904: PUSH0
00000905: DUP4
00000906: DUP4
00000907: DUP2
00000908: MLOAD
00000909: DUP2
0000090a: LT
0000090b: PUSH2 0x0917
0000090e: JUMPI
0000090f: PUSH2 0x0916
00000912: PUSH2 0x0f2a
00000915: JUMP
00000916: JUMPDEST
00000917: JUMPDEST
00000918: PUSH1 0x20
0000091a: MUL
0000091b: PUSH1 0x20
0000091d: ADD
0000091e: ADD
0000091f: MLOAD
00000920: PUSH0
00000921: ADD
00000922: MLOAD
00000923: SWAP1
00000924: POP
00000925: PUSH0
00000926: DUP3
00000927: MLOAD
00000928: PUSH1 0x20
0000092a: DUP5
0000092b: ADD
0000092c: DUP4
0000092d: CREATE
0000092e: SWAP1
0000092f: POP
00000930: POP
00000931: POP
00000932: POP
00000933: PUSH2 0x09f9
00000936: JUMP
00000937: JUMPDEST
00000938: DUP2
00000939: DUP2
0000093a: DUP2
0000093b: MLOAD
0000093c: DUP2
0000093d: LT
0000093e: PUSH2 0x094a
00000941: JUMPI
00000942: PUSH2 0x0949
00000945: PUSH2 0x0f2a
00000948: JUMP
00000949: JUMPDEST
0000094a: JUMPDEST
0000094b: PUSH1 0x20
0000094d: MUL
0000094e: PUSH1 0x20
00000950: ADD
00000951: ADD
00000952: MLOAD
00000953: PUSH1 0x20
00000955: ADD
00000956: MLOAD
00000957: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096c: AND
0000096d: DUP3
0000096e: DUP3
0000096f: DUP2
00000970: MLOAD
00000971: DUP2
00000972: LT
00000973: PUSH2 0x097f
00000976: JUMPI
00000977: PUSH2 0x097e
0000097a: PUSH2 0x0f2a
0000097d: JUMP
0000097e: JUMPDEST
0000097f: JUMPDEST
00000980: PUSH1 0x20
00000982: MUL
00000983: PUSH1 0x20
00000985: ADD
00000986: ADD
00000987: MLOAD
00000988: PUSH0
00000989: ADD
0000098a: MLOAD
0000098b: DUP4
0000098c: DUP4
0000098d: DUP2
0000098e: MLOAD
0000098f: DUP2
00000990: LT
00000991: PUSH2 0x099d
00000994: JUMPI
00000995: PUSH2 0x099c
00000998: PUSH2 0x0f2a
0000099b: JUMP
0000099c: JUMPDEST
0000099d: JUMPDEST
0000099e: PUSH1 0x20
000009a0: MUL
000009a1: PUSH1 0x20
000009a3: ADD
000009a4: ADD
000009a5: MLOAD
000009a6: PUSH1 0x40
000009a8: ADD
000009a9: MLOAD
000009aa: PUSH1 0x40
000009ac: MLOAD
000009ad: PUSH2 0x09b6
000009b0: SWAP2
000009b1: SWAP1
000009b2: PUSH2 0x0fc3
000009b5: JUMP
000009b6: JUMPDEST
000009b7: PUSH0
000009b8: PUSH1 0x40
000009ba: MLOAD
000009bb: DUP1
000009bc: DUP4
000009bd: SUB
000009be: DUP2
000009bf: DUP6
000009c0: DUP8
000009c1: GAS
000009c2: CALL
000009c3: SWAP3
000009c4: POP
000009c5: POP
000009c6: POP
000009c7: RETURNDATASIZE
000009c8: DUP1
000009c9: PUSH0
000009ca: DUP2
000009cb: EQ
000009cc: PUSH2 0x09f0
000009cf: JUMPI
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: SWAP2
000009d4: POP
000009d5: PUSH1 0x1f
000009d7: NOT
000009d8: PUSH1 0x3f
000009da: RETURNDATASIZE
000009db: ADD
000009dc: AND
000009dd: DUP3
000009de: ADD
000009df: PUSH1 0x40
000009e1: MSTORE
000009e2: RETURNDATASIZE
000009e3: DUP3
000009e4: MSTORE
000009e5: RETURNDATASIZE
000009e6: PUSH0
000009e7: PUSH1 0x20
000009e9: DUP5
000009ea: ADD
000009eb: RETURNDATACOPY
000009ec: PUSH2 0x09f5
000009ef: JUMP
000009f0: JUMPDEST
000009f1: PUSH1 0x60
000009f3: SWAP2
000009f4: POP
000009f5: JUMPDEST
000009f6: POP
000009f7: POP
000009f8: POP
000009f9: JUMPDEST
000009fa: DUP1
000009fb: DUP1
000009fc: PUSH2 0x0a04
000009ff: SWAP1
00000a00: PUSH2 0x0fd9
00000a03: JUMP
00000a04: JUMPDEST
00000a05: SWAP2
00000a06: POP
00000a07: POP
00000a08: PUSH2 0x0887
00000a0b: JUMP
00000a0c: JUMPDEST
00000a0d: POP
00000a0e: POP
00000a0f: POP
00000a10: POP
00000a11: JUMP
00000a12: JUMPDEST
00000a13: PUSH0
00000a14: DUP1
00000a15: SLOAD
00000a16: SWAP1
00000a17: PUSH2 0x0100
00000a1a: EXP
00000a1b: SWAP1
00000a1c: DIV
00000a1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a32: AND
00000a33: DUP2
00000a34: JUMP
00000a35: JUMPDEST
00000a36: PUSH0
00000a37: DUP1
00000a38: SLOAD
00000a39: SWAP1
00000a3a: PUSH2 0x0100
00000a3d: EXP
00000a3e: SWAP1
00000a3f: DIV
00000a40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a55: AND
00000a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6b: AND
00000a6c: CALLER
00000a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a82: AND
00000a83: EQ
00000a84: PUSH2 0x0ac2
00000a87: JUMPI
00000a88: PUSH1 0x40
00000a8a: MLOAD
00000a8b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000aac: DUP2
00000aad: MSTORE
00000aae: PUSH1 0x04
00000ab0: ADD
00000ab1: PUSH2 0x0ab9
00000ab4: SWAP1
00000ab5: PUSH2 0x15b3
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH1 0x40
00000abc: MLOAD
00000abd: DUP1
00000abe: SWAP2
00000abf: SUB
00000ac0: SWAP1
00000ac1: REVERT
00000ac2: JUMPDEST
00000ac3: DUP1
00000ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad9: AND
00000ada: SELFDESTRUCT
00000adb: JUMPDEST
00000adc: PUSH0
00000add: DUP1
00000ade: SLOAD
00000adf: SWAP1
00000ae0: PUSH2 0x0100
00000ae3: EXP
00000ae4: SWAP1
00000ae5: DIV
00000ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afb: AND
00000afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b11: AND
00000b12: CALLER
00000b13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b28: AND
00000b29: EQ
00000b2a: PUSH2 0x0b68
00000b2d: JUMPI
00000b2e: PUSH1 0x40
00000b30: MLOAD
00000b31: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b52: DUP2
00000b53: MSTORE
00000b54: PUSH1 0x04
00000b56: ADD
00000b57: PUSH2 0x0b5f
00000b5a: SWAP1
00000b5b: PUSH2 0x15b3
00000b5e: JUMP
00000b5f: JUMPDEST
00000b60: PUSH1 0x40
00000b62: MLOAD
00000b63: DUP1
00000b64: SWAP2
00000b65: SUB
00000b66: SWAP1
00000b67: REVERT
00000b68: JUMPDEST
00000b69: DUP3
00000b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7f: AND
00000b80: CALLVALUE
00000b81: DUP4
00000b82: DUP4
00000b83: PUSH1 0x40
00000b85: MLOAD
00000b86: PUSH2 0x0b90
00000b89: SWAP3
00000b8a: SWAP2
00000b8b: SWAP1
00000b8c: PUSH2 0x162b
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH0
00000b92: PUSH1 0x40
00000b94: MLOAD
00000b95: DUP1
00000b96: DUP4
00000b97: SUB
00000b98: DUP2
00000b99: DUP6
00000b9a: DUP8
00000b9b: GAS
00000b9c: CALL
00000b9d: SWAP3
00000b9e: POP
00000b9f: POP
00000ba0: POP
00000ba1: RETURNDATASIZE
00000ba2: DUP1
00000ba3: PUSH0
00000ba4: DUP2
00000ba5: EQ
00000ba6: PUSH2 0x0bca
00000ba9: JUMPI
00000baa: PUSH1 0x40
00000bac: MLOAD
00000bad: SWAP2
00000bae: POP
00000baf: PUSH1 0x1f
00000bb1: NOT
00000bb2: PUSH1 0x3f
00000bb4: RETURNDATASIZE
00000bb5: ADD
00000bb6: AND
00000bb7: DUP3
00000bb8: ADD
00000bb9: PUSH1 0x40
00000bbb: MSTORE
00000bbc: RETURNDATASIZE
00000bbd: DUP3
00000bbe: MSTORE
00000bbf: RETURNDATASIZE
00000bc0: PUSH0
00000bc1: PUSH1 0x20
00000bc3: DUP5
00000bc4: ADD
00000bc5: RETURNDATACOPY
00000bc6: PUSH2 0x0bcf
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH1 0x60
00000bcd: SWAP2
00000bce: POP
00000bcf: JUMPDEST
00000bd0: POP
00000bd1: POP
00000bd2: POP
00000bd3: POP
00000bd4: POP
00000bd5: POP
00000bd6: JUMP
00000bd7: JUMPDEST
00000bd8: PUSH0
00000bd9: DUP1
00000bda: SLOAD
00000bdb: SWAP1
00000bdc: PUSH2 0x0100
00000bdf: EXP
00000be0: SWAP1
00000be1: DIV
00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf7: AND
00000bf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0d: AND
00000c0e: CALLER
00000c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c24: AND
00000c25: EQ
00000c26: PUSH2 0x0c64
00000c29: JUMPI
00000c2a: PUSH1 0x40
00000c2c: MLOAD
00000c2d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c4e: DUP2
00000c4f: MSTORE
00000c50: PUSH1 0x04
00000c52: ADD
00000c53: PUSH2 0x0c5b
00000c56: SWAP1
00000c57: PUSH2 0x15b3
00000c5a: JUMP
00000c5b: JUMPDEST
00000c5c: PUSH1 0x40
00000c5e: MLOAD
00000c5f: DUP1
00000c60: SWAP2
00000c61: SUB
00000c62: SWAP1
00000c63: REVERT
00000c64: JUMPDEST
00000c65: PUSH0
00000c66: DUP1
00000c67: SLOAD
00000c68: SWAP1
00000c69: PUSH2 0x0100
00000c6c: EXP
00000c6d: SWAP1
00000c6e: DIV
00000c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c84: AND
00000c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9a: AND
00000c9b: PUSH2 0x08fc
00000c9e: SELFBALANCE
00000c9f: SWAP1
00000ca0: DUP2
00000ca1: ISZERO
00000ca2: MUL
00000ca3: SWAP1
00000ca4: PUSH1 0x40
00000ca6: MLOAD
00000ca7: PUSH0
00000ca8: PUSH1 0x40
00000caa: MLOAD
00000cab: DUP1
00000cac: DUP4
00000cad: SUB
00000cae: DUP2
00000caf: DUP6
00000cb0: DUP9
00000cb1: DUP9
00000cb2: CALL
00000cb3: SWAP4
00000cb4: POP
00000cb5: POP
00000cb6: POP
00000cb7: POP
00000cb8: ISZERO
00000cb9: DUP1
00000cba: ISZERO
00000cbb: PUSH2 0x0cc6
00000cbe: JUMPI
00000cbf: RETURNDATASIZE
00000cc0: PUSH0
00000cc1: DUP1
00000cc2: RETURNDATACOPY
00000cc3: RETURNDATASIZE
00000cc4: PUSH0
00000cc5: REVERT
00000cc6: JUMPDEST
00000cc7: POP
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: PUSH0
00000ccb: DUP1
00000ccc: SLOAD
00000ccd: SWAP1
00000cce: PUSH2 0x0100
00000cd1: EXP
00000cd2: SWAP1
00000cd3: DIV
00000cd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce9: AND
00000cea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cff: AND
00000d00: CALLER
00000d01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d16: AND
00000d17: EQ
00000d18: PUSH2 0x0d56
00000d1b: JUMPI
00000d1c: PUSH1 0x40
00000d1e: MLOAD
00000d1f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d40: DUP2
00000d41: MSTORE
00000d42: PUSH1 0x04
00000d44: ADD
00000d45: PUSH2 0x0d4d
00000d48: SWAP1
00000d49: PUSH2 0x15b3
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: PUSH1 0x40
00000d50: MLOAD
00000d51: DUP1
00000d52: SWAP2
00000d53: SUB
00000d54: SWAP1
00000d55: REVERT
00000d56: JUMPDEST
00000d57: PUSH0
00000d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6d: AND
00000d6e: DUP8
00000d6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d84: AND
00000d85: SUB
00000d86: PUSH2 0x0d94
00000d89: JUMPI
00000d8a: DUP6
00000d8b: MLOAD
00000d8c: PUSH1 0x20
00000d8e: DUP8
00000d8f: ADD
00000d90: DUP7
00000d91: CREATE
00000d92: SWAP7
00000d93: POP
00000d94: JUMPDEST
00000d95: PUSH0
00000d96: JUMPDEST
00000d97: DUP5
00000d98: DUP5
00000d99: SWAP1
00000d9a: POP
00000d9b: DUP2
00000d9c: LT
00000d9d: ISZERO
00000d9e: PUSH2 0x0e5a
00000da1: JUMPI
00000da2: DUP8
00000da3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db8: AND
00000db9: DUP4
00000dba: DUP4
00000dbb: DUP4
00000dbc: DUP2
00000dbd: DUP2
00000dbe: LT
00000dbf: PUSH2 0x0dcb
00000dc2: JUMPI
00000dc3: PUSH2 0x0dca
00000dc6: PUSH2 0x0f2a
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: JUMPDEST
00000dcc: SWAP1
00000dcd: POP
00000dce: PUSH1 0x20
00000dd0: MUL
00000dd1: ADD
00000dd2: CALLDATALOAD
00000dd3: DUP7
00000dd4: DUP7
00000dd5: DUP5
00000dd6: DUP2
00000dd7: DUP2
00000dd8: LT
00000dd9: PUSH2 0x0de5
00000ddc: JUMPI
00000ddd: PUSH2 0x0de4
00000de0: PUSH2 0x0f2a
00000de3: JUMP
00000de4: JUMPDEST
00000de5: JUMPDEST
00000de6: SWAP1
00000de7: POP
00000de8: PUSH1 0x20
00000dea: MUL
00000deb: DUP2
00000dec: ADD
00000ded: SWAP1
00000dee: PUSH2 0x0df7
00000df1: SWAP2
00000df2: SWAP1
00000df3: PUSH2 0x16a2
00000df6: JUMP
00000df7: JUMPDEST
00000df8: PUSH1 0x40
00000dfa: MLOAD
00000dfb: PUSH2 0x0e05
00000dfe: SWAP3
00000dff: SWAP2
00000e00: SWAP1
00000e01: PUSH2 0x162b
00000e04: JUMP
00000e05: JUMPDEST
00000e06: PUSH0
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: DUP1
00000e0b: DUP4
00000e0c: SUB
00000e0d: DUP2
00000e0e: DUP6
00000e0f: DUP8
00000e10: GAS
00000e11: CALL
00000e12: SWAP3
00000e13: POP
00000e14: POP
00000e15: POP
00000e16: RETURNDATASIZE
00000e17: DUP1
00000e18: PUSH0
00000e19: DUP2
00000e1a: EQ
00000e1b: PUSH2 0x0e3f
00000e1e: JUMPI
00000e1f: PUSH1 0x40
00000e21: MLOAD
00000e22: SWAP2
00000e23: POP
00000e24: PUSH1 0x1f
00000e26: NOT
00000e27: PUSH1 0x3f
00000e29: RETURNDATASIZE
00000e2a: ADD
00000e2b: AND
00000e2c: DUP3
00000e2d: ADD
00000e2e: PUSH1 0x40
00000e30: MSTORE
00000e31: RETURNDATASIZE
00000e32: DUP3
00000e33: MSTORE
00000e34: RETURNDATASIZE
00000e35: PUSH0
00000e36: PUSH1 0x20
00000e38: DUP5
00000e39: ADD
00000e3a: RETURNDATACOPY
00000e3b: PUSH2 0x0e44
00000e3e: JUMP
00000e3f: JUMPDEST
00000e40: PUSH1 0x60
00000e42: SWAP2
00000e43: POP
00000e44: JUMPDEST
00000e45: POP
00000e46: POP
00000e47: POP
00000e48: DUP1
00000e49: DUP1
00000e4a: PUSH2 0x0e52
00000e4d: SWAP1
00000e4e: PUSH2 0x0fd9
00000e51: JUMP
00000e52: JUMPDEST
00000e53: SWAP2
00000e54: POP
00000e55: POP
00000e56: PUSH2 0x0d96
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: POP
00000e5c: POP
00000e5d: POP
00000e5e: POP
00000e5f: POP
00000e60: POP
00000e61: POP
00000e62: POP
00000e63: JUMP
00000e64: JUMPDEST
00000e65: PUSH0
00000e66: DUP2
00000e67: SWAP1
00000e68: POP
00000e69: SWAP2
00000e6a: SWAP1
00000e6b: POP
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e8f: PUSH0
00000e90: MSTORE
00000e91: PUSH1 0x11
00000e93: PUSH1 0x04
00000e95: MSTORE
00000e96: PUSH1 0x24
00000e98: PUSH0
00000e99: REVERT
00000e9a: JUMPDEST
00000e9b: PUSH0
00000e9c: PUSH2 0x0ea4
00000e9f: DUP3
00000ea0: PUSH2 0x0e64
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: SWAP2
00000ea6: POP
00000ea7: PUSH2 0x0eaf
00000eaa: DUP4
00000eab: PUSH2 0x0e64
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: SWAP3
00000eb1: POP
00000eb2: DUP3
00000eb3: DUP3
00000eb4: ADD
00000eb5: SWAP1
00000eb6: POP
00000eb7: DUP1
00000eb8: DUP3
00000eb9: GT
00000eba: ISZERO
00000ebb: PUSH2 0x0ec7
00000ebe: JUMPI
00000ebf: PUSH2 0x0ec6
00000ec2: PUSH2 0x0e6d
00000ec5: JUMP
00000ec6: JUMPDEST
00000ec7: JUMPDEST
00000ec8: SWAP3
00000ec9: SWAP2
00000eca: POP
00000ecb: POP
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000eef: PUSH0
00000ef0: MSTORE
00000ef1: PUSH1 0x22
00000ef3: PUSH1 0x04
00000ef5: MSTORE
00000ef6: PUSH1 0x24
00000ef8: PUSH0
00000ef9: REVERT
00000efa: JUMPDEST
00000efb: PUSH0
00000efc: PUSH1 0x02
00000efe: DUP3
00000eff: DIV
00000f00: SWAP1
00000f01: POP
00000f02: PUSH1 0x01
00000f04: DUP3
00000f05: AND
00000f06: DUP1
00000f07: PUSH2 0x0f11
00000f0a: JUMPI
00000f0b: PUSH1 0x7f
00000f0d: DUP3
00000f0e: AND
00000f0f: SWAP2
00000f10: POP
00000f11: JUMPDEST
00000f12: PUSH1 0x20
00000f14: DUP3
00000f15: LT
00000f16: DUP2
00000f17: SUB
00000f18: PUSH2 0x0f24
00000f1b: JUMPI
00000f1c: PUSH2 0x0f23
00000f1f: PUSH2 0x0ecd
00000f22: JUMP
00000f23: JUMPDEST
00000f24: JUMPDEST
00000f25: POP
00000f26: SWAP2
00000f27: SWAP1
00000f28: POP
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000f4c: PUSH0
00000f4d: MSTORE
00000f4e: PUSH1 0x32
00000f50: PUSH1 0x04
00000f52: MSTORE
00000f53: PUSH1 0x24
00000f55: PUSH0
00000f56: REVERT
00000f57: JUMPDEST
00000f58: PUSH0
00000f59: DUP2
00000f5a: MLOAD
00000f5b: SWAP1
00000f5c: POP
00000f5d: SWAP2
00000f5e: SWAP1
00000f5f: POP
00000f60: JUMP
00000f61: JUMPDEST
00000f62: PUSH0
00000f63: DUP2
00000f64: SWAP1
00000f65: POP
00000f66: SWAP3
00000f67: SWAP2
00000f68: POP
00000f69: POP
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: PUSH0
00000f6d: JUMPDEST
00000f6e: DUP4
00000f6f: DUP2
00000f70: LT
00000f71: ISZERO
00000f72: PUSH2 0x0f88
00000f75: JUMPI
00000f76: DUP1
00000f77: DUP3
00000f78: ADD
00000f79: MLOAD
00000f7a: DUP2
00000f7b: DUP5
00000f7c: ADD
00000f7d: MSTORE
00000f7e: PUSH1 0x20
00000f80: DUP2
00000f81: ADD
00000f82: SWAP1
00000f83: POP
00000f84: PUSH2 0x0f6d
00000f87: JUMP
00000f88: JUMPDEST
00000f89: PUSH0
00000f8a: DUP5
00000f8b: DUP5
00000f8c: ADD
00000f8d: MSTORE
00000f8e: POP
00000f8f: POP
00000f90: POP
00000f91: POP
00000f92: JUMP
00000f93: JUMPDEST
00000f94: PUSH0
00000f95: PUSH2 0x0f9d
00000f98: DUP3
00000f99: PUSH2 0x0f57
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: PUSH2 0x0fa7
00000fa1: DUP2
00000fa2: DUP6
00000fa3: PUSH2 0x0f61
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: SWAP4
00000fa9: POP
00000faa: PUSH2 0x0fb7
00000fad: DUP2
00000fae: DUP6
00000faf: PUSH1 0x20
00000fb1: DUP7
00000fb2: ADD
00000fb3: PUSH2 0x0f6b
00000fb6: JUMP
00000fb7: JUMPDEST
00000fb8: DUP1
00000fb9: DUP5
00000fba: ADD
00000fbb: SWAP2
00000fbc: POP
00000fbd: POP
00000fbe: SWAP3
00000fbf: SWAP2
00000fc0: POP
00000fc1: POP
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH0
00000fc5: PUSH2 0x0fce
00000fc8: DUP3
00000fc9: DUP5
00000fca: PUSH2 0x0f93
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: SWAP2
00000fd0: POP
00000fd1: DUP2
00000fd2: SWAP1
00000fd3: POP
00000fd4: SWAP3
00000fd5: SWAP2
00000fd6: POP
00000fd7: POP
00000fd8: JUMP
00000fd9: JUMPDEST
00000fda: PUSH0
00000fdb: PUSH2 0x0fe3
00000fde: DUP3
00000fdf: PUSH2 0x0e64
00000fe2: JUMP
00000fe3: JUMPDEST
00000fe4: SWAP2
00000fe5: POP
00000fe6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001007: DUP3
00001008: SUB
00001009: PUSH2 0x1015
0000100c: JUMPI
0000100d: PUSH2 0x1014
00001010: PUSH2 0x0e6d
00001013: JUMP
00001014: JUMPDEST
00001015: JUMPDEST
00001016: PUSH1 0x01
00001018: DUP3
00001019: ADD
0000101a: SWAP1
0000101b: POP
0000101c: SWAP2
0000101d: SWAP1
0000101e: POP
0000101f: JUMP
00001020: JUMPDEST
00001021: PUSH0
00001022: PUSH1 0x40
00001024: MLOAD
00001025: SWAP1
00001026: POP
00001027: SWAP1
00001028: JUMP
00001029: JUMPDEST
0000102a: PUSH0
0000102b: DUP1
0000102c: REVERT
0000102d: JUMPDEST
0000102e: PUSH0
0000102f: DUP1
00001030: REVERT
00001031: JUMPDEST
00001032: PUSH0
00001033: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001048: DUP3
00001049: AND
0000104a: SWAP1
0000104b: POP
0000104c: SWAP2
0000104d: SWAP1
0000104e: POP
0000104f: JUMP
00001050: JUMPDEST
00001051: PUSH0
00001052: PUSH2 0x105a
00001055: DUP3
00001056: PUSH2 0x1031
00001059: JUMP
0000105a: JUMPDEST
0000105b: SWAP1
0000105c: POP
0000105d: SWAP2
0000105e: SWAP1
0000105f: POP
00001060: JUMP
00001061: JUMPDEST
00001062: PUSH2 0x106a
00001065: DUP2
00001066: PUSH2 0x1050
00001069: JUMP
0000106a: JUMPDEST
0000106b: DUP2
0000106c: EQ
0000106d: PUSH2 0x1074
00001070: JUMPI
00001071: PUSH0
00001072: DUP1
00001073: REVERT
00001074: JUMPDEST
00001075: POP
00001076: JUMP
00001077: JUMPDEST
00001078: PUSH0
00001079: DUP2
0000107a: CALLDATALOAD
0000107b: SWAP1
0000107c: POP
0000107d: PUSH2 0x1085
00001080: DUP2
00001081: PUSH2 0x1061
00001084: JUMP
00001085: JUMPDEST
00001086: SWAP3
00001087: SWAP2
00001088: POP
00001089: POP
0000108a: JUMP
0000108b: JUMPDEST
0000108c: PUSH2 0x1094
0000108f: DUP2
00001090: PUSH2 0x0e64
00001093: JUMP
00001094: JUMPDEST
00001095: DUP2
00001096: EQ
00001097: PUSH2 0x109e
0000109a: JUMPI
0000109b: PUSH0
0000109c: DUP1
0000109d: REVERT
0000109e: JUMPDEST
0000109f: POP
000010a0: JUMP
000010a1: JUMPDEST
000010a2: PUSH0
000010a3: DUP2
000010a4: CALLDATALOAD
000010a5: SWAP1
000010a6: POP
000010a7: PUSH2 0x10af
000010aa: DUP2
000010ab: PUSH2 0x108b
000010ae: JUMP
000010af: JUMPDEST
000010b0: SWAP3
000010b1: SWAP2
000010b2: POP
000010b3: POP
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH0
000010b7: DUP1
000010b8: PUSH1 0x40
000010ba: DUP4
000010bb: DUP6
000010bc: SUB
000010bd: SLT
000010be: ISZERO
000010bf: PUSH2 0x10cb
000010c2: JUMPI
000010c3: PUSH2 0x10ca
000010c6: PUSH2 0x1029
000010c9: JUMP
000010ca: JUMPDEST
000010cb: JUMPDEST
000010cc: PUSH0
000010cd: PUSH2 0x10d8
000010d0: DUP6
000010d1: DUP3
000010d2: DUP7
000010d3: ADD
000010d4: PUSH2 0x1077
000010d7: JUMP
000010d8: JUMPDEST
000010d9: SWAP3
000010da: POP
000010db: POP
000010dc: PUSH1 0x20
000010de: PUSH2 0x10e9
000010e1: DUP6
000010e2: DUP3
000010e3: DUP7
000010e4: ADD
000010e5: PUSH2 0x10a1
000010e8: JUMP
000010e9: JUMPDEST
000010ea: SWAP2
000010eb: POP
000010ec: POP
000010ed: SWAP3
000010ee: POP
000010ef: SWAP3
000010f0: SWAP1
000010f1: POP
000010f2: JUMP
000010f3: JUMPDEST
000010f4: PUSH0
000010f5: DUP1
000010f6: REVERT
000010f7: JUMPDEST
000010f8: PUSH0
000010f9: DUP1
000010fa: REVERT
000010fb: JUMPDEST
000010fc: PUSH0
000010fd: DUP1
000010fe: REVERT
000010ff: JUMPDEST
00001100: PUSH0
00001101: DUP1
00001102: DUP4
00001103: PUSH1 0x1f
00001105: DUP5
00001106: ADD
00001107: SLT
00001108: PUSH2 0x1114
0000110b: JUMPI
0000110c: PUSH2 0x1113
0000110f: PUSH2 0x10f3
00001112: JUMP
00001113: JUMPDEST
00001114: JUMPDEST
00001115: DUP3
00001116: CALLDATALOAD
00001117: SWAP1
00001118: POP
00001119: PUSH8 0xffffffffffffffff
00001122: DUP2
00001123: GT
00001124: ISZERO
00001125: PUSH2 0x1131
00001128: JUMPI
00001129: PUSH2 0x1130
0000112c: PUSH2 0x10f7
0000112f: JUMP
00001130: JUMPDEST
00001131: JUMPDEST
00001132: PUSH1 0x20
00001134: DUP4
00001135: ADD
00001136: SWAP2
00001137: POP
00001138: DUP4
00001139: PUSH1 0x01
0000113b: DUP3
0000113c: MUL
0000113d: DUP4
0000113e: ADD
0000113f: GT
00001140: ISZERO
00001141: PUSH2 0x114d
00001144: JUMPI
00001145: PUSH2 0x114c
00001148: PUSH2 0x10fb
0000114b: JUMP
0000114c: JUMPDEST
0000114d: JUMPDEST
0000114e: SWAP3
0000114f: POP
00001150: SWAP3
00001151: SWAP1
00001152: POP
00001153: JUMP
00001154: JUMPDEST
00001155: PUSH0
00001156: DUP1
00001157: PUSH0
00001158: PUSH1 0x40
0000115a: DUP5
0000115b: DUP7
0000115c: SUB
0000115d: SLT
0000115e: ISZERO
0000115f: PUSH2 0x116b
00001162: JUMPI
00001163: PUSH2 0x116a
00001166: PUSH2 0x1029
00001169: JUMP
0000116a: JUMPDEST
0000116b: JUMPDEST
0000116c: PUSH0
0000116d: PUSH2 0x1178
00001170: DUP7
00001171: DUP3
00001172: DUP8
00001173: ADD
00001174: PUSH2 0x1077
00001177: JUMP
00001178: JUMPDEST
00001179: SWAP4
0000117a: POP
0000117b: POP
0000117c: PUSH1 0x20
0000117e: DUP5
0000117f: ADD
00001180: CALLDATALOAD
00001181: PUSH8 0xffffffffffffffff
0000118a: DUP2
0000118b: GT
0000118c: ISZERO
0000118d: PUSH2 0x1199
00001190: JUMPI
00001191: PUSH2 0x1198
00001194: PUSH2 0x102d
00001197: JUMP
00001198: JUMPDEST
00001199: JUMPDEST
0000119a: PUSH2 0x11a5
0000119d: DUP7
0000119e: DUP3
0000119f: DUP8
000011a0: ADD
000011a1: PUSH2 0x10ff
000011a4: JUMP
000011a5: JUMPDEST
000011a6: SWAP3
000011a7: POP
000011a8: SWAP3
000011a9: POP
000011aa: POP
000011ab: SWAP3
000011ac: POP
000011ad: SWAP3
000011ae: POP
000011af: SWAP3
000011b0: JUMP
000011b1: JUMPDEST
000011b2: PUSH0
000011b3: DUP1
000011b4: DUP4
000011b5: PUSH1 0x1f
000011b7: DUP5
000011b8: ADD
000011b9: SLT
000011ba: PUSH2 0x11c6
000011bd: JUMPI
000011be: PUSH2 0x11c5
000011c1: PUSH2 0x10f3
000011c4: JUMP
000011c5: JUMPDEST
000011c6: JUMPDEST
000011c7: DUP3
000011c8: CALLDATALOAD
000011c9: SWAP1
000011ca: POP
000011cb: PUSH8 0xffffffffffffffff
000011d4: DUP2
000011d5: GT
000011d6: ISZERO
000011d7: PUSH2 0x11e3
000011da: JUMPI
000011db: PUSH2 0x11e2
000011de: PUSH2 0x10f7
000011e1: JUMP
000011e2: JUMPDEST
000011e3: JUMPDEST
000011e4: PUSH1 0x20
000011e6: DUP4
000011e7: ADD
000011e8: SWAP2
000011e9: POP
000011ea: DUP4
000011eb: PUSH1 0x20
000011ed: DUP3
000011ee: MUL
000011ef: DUP4
000011f0: ADD
000011f1: GT
000011f2: ISZERO
000011f3: PUSH2 0x11ff
000011f6: JUMPI
000011f7: PUSH2 0x11fe
000011fa: PUSH2 0x10fb
000011fd: JUMP
000011fe: JUMPDEST
000011ff: JUMPDEST
00001200: SWAP3
00001201: POP
00001202: SWAP3
00001203: SWAP1
00001204: POP
00001205: JUMP
00001206: JUMPDEST
00001207: PUSH0
00001208: DUP1
00001209: PUSH1 0x20
0000120b: DUP4
0000120c: DUP6
0000120d: SUB
0000120e: SLT
0000120f: ISZERO
00001210: PUSH2 0x121c
00001213: JUMPI
00001214: PUSH2 0x121b
00001217: PUSH2 0x1029
0000121a: JUMP
0000121b: JUMPDEST
0000121c: JUMPDEST
0000121d: PUSH0
0000121e: DUP4
0000121f: ADD
00001220: CALLDATALOAD
00001221: PUSH8 0xffffffffffffffff
0000122a: DUP2
0000122b: GT
0000122c: ISZERO
0000122d: PUSH2 0x1239
00001230: JUMPI
00001231: PUSH2 0x1238
00001234: PUSH2 0x102d
00001237: JUMP
00001238: JUMPDEST
00001239: JUMPDEST
0000123a: PUSH2 0x1245
0000123d: DUP6
0000123e: DUP3
0000123f: DUP7
00001240: ADD
00001241: PUSH2 0x11b1
00001244: JUMP
00001245: JUMPDEST
00001246: SWAP3
00001247: POP
00001248: SWAP3
00001249: POP
0000124a: POP
0000124b: SWAP3
0000124c: POP
0000124d: SWAP3
0000124e: SWAP1
0000124f: POP
00001250: JUMP
00001251: JUMPDEST
00001252: PUSH2 0x125a
00001255: DUP2
00001256: PUSH2 0x1050
00001259: JUMP
0000125a: JUMPDEST
0000125b: DUP3
0000125c: MSTORE
0000125d: POP
0000125e: POP
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH0
00001262: PUSH1 0x20
00001264: DUP3
00001265: ADD
00001266: SWAP1
00001267: POP
00001268: PUSH2 0x1273
0000126b: PUSH0
0000126c: DUP4
0000126d: ADD
0000126e: DUP5
0000126f: PUSH2 0x1251
00001272: JUMP
00001273: JUMPDEST
00001274: SWAP3
00001275: SWAP2
00001276: POP
00001277: POP
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH0
0000127b: PUSH1 0x20
0000127d: DUP3
0000127e: DUP5
0000127f: SUB
00001280: SLT
00001281: ISZERO
00001282: PUSH2 0x128e
00001285: JUMPI
00001286: PUSH2 0x128d
00001289: PUSH2 0x1029
0000128c: JUMP
0000128d: JUMPDEST
0000128e: JUMPDEST
0000128f: PUSH0
00001290: PUSH2 0x129b
00001293: DUP5
00001294: DUP3
00001295: DUP6
00001296: ADD
00001297: PUSH2 0x1077
0000129a: JUMP
0000129b: JUMPDEST
0000129c: SWAP2
0000129d: POP
0000129e: POP
0000129f: SWAP3
000012a0: SWAP2
000012a1: POP
000012a2: POP
000012a3: JUMP
000012a4: JUMPDEST
000012a5: PUSH0
000012a6: DUP1
000012a7: REVERT
000012a8: JUMPDEST
000012a9: PUSH0
000012aa: PUSH1 0x1f
000012ac: NOT
000012ad: PUSH1 0x1f
000012af: DUP4
000012b0: ADD
000012b1: AND
000012b2: SWAP1
000012b3: POP
000012b4: SWAP2
000012b5: SWAP1
000012b6: POP
000012b7: JUMP
000012b8: JUMPDEST
000012b9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000012da: PUSH0
000012db: MSTORE
000012dc: PUSH1 0x41
000012de: PUSH1 0x04
000012e0: MSTORE
000012e1: PUSH1 0x24
000012e3: PUSH0
000012e4: REVERT
000012e5: JUMPDEST
000012e6: PUSH2 0x12ee
000012e9: DUP3
000012ea: PUSH2 0x12a8
000012ed: JUMP
000012ee: JUMPDEST
000012ef: DUP2
000012f0: ADD
000012f1: DUP2
000012f2: DUP2
000012f3: LT
000012f4: PUSH8 0xffffffffffffffff
000012fd: DUP3
000012fe: GT
000012ff: OR
00001300: ISZERO
00001301: PUSH2 0x130d
00001304: JUMPI
00001305: PUSH2 0x130c
00001308: PUSH2 0x12b8
0000130b: JUMP
0000130c: JUMPDEST
0000130d: JUMPDEST
0000130e: DUP1
0000130f: PUSH1 0x40
00001311: MSTORE
00001312: POP
00001313: POP
00001314: POP
00001315: JUMP
00001316: JUMPDEST
00001317: PUSH0
00001318: PUSH2 0x131f
0000131b: PUSH2 0x1020
0000131e: JUMP
0000131f: JUMPDEST
00001320: SWAP1
00001321: POP
00001322: PUSH2 0x132b
00001325: DUP3
00001326: DUP3
00001327: PUSH2 0x12e5
0000132a: JUMP
0000132b: JUMPDEST
0000132c: SWAP2
0000132d: SWAP1
0000132e: POP
0000132f: JUMP
00001330: JUMPDEST
00001331: PUSH0
00001332: PUSH8 0xffffffffffffffff
0000133b: DUP3
0000133c: GT
0000133d: ISZERO
0000133e: PUSH2 0x134a
00001341: JUMPI
00001342: PUSH2 0x1349
00001345: PUSH2 0x12b8
00001348: JUMP
00001349: JUMPDEST
0000134a: JUMPDEST
0000134b: PUSH2 0x1353
0000134e: DUP3
0000134f: PUSH2 0x12a8
00001352: JUMP
00001353: JUMPDEST
00001354: SWAP1
00001355: POP
00001356: PUSH1 0x20
00001358: DUP2
00001359: ADD
0000135a: SWAP1
0000135b: POP
0000135c: SWAP2
0000135d: SWAP1
0000135e: POP
0000135f: JUMP
00001360: JUMPDEST
00001361: DUP3
00001362: DUP2
00001363: DUP4
00001364: CALLDATACOPY
00001365: PUSH0
00001366: DUP4
00001367: DUP4
00001368: ADD
00001369: MSTORE
0000136a: POP
0000136b: POP
0000136c: POP
0000136d: JUMP
0000136e: JUMPDEST
0000136f: PUSH0
00001370: PUSH2 0x1380
00001373: PUSH2 0x137b
00001376: DUP5
00001377: PUSH2 0x1330
0000137a: JUMP
0000137b: JUMPDEST
0000137c: PUSH2 0x1316
0000137f: JUMP
00001380: JUMPDEST
00001381: SWAP1
00001382: POP
00001383: DUP3
00001384: DUP2
00001385: MSTORE
00001386: PUSH1 0x20
00001388: DUP2
00001389: ADD
0000138a: DUP5
0000138b: DUP5
0000138c: DUP5
0000138d: ADD
0000138e: GT
0000138f: ISZERO
00001390: PUSH2 0x139c
00001393: JUMPI
00001394: PUSH2 0x139b
00001397: PUSH2 0x12a4
0000139a: JUMP
0000139b: JUMPDEST
0000139c: JUMPDEST
0000139d: PUSH2 0x13a7
000013a0: DUP5
000013a1: DUP3
000013a2: DUP6
000013a3: PUSH2 0x1360
000013a6: JUMP
000013a7: JUMPDEST
000013a8: POP
000013a9: SWAP4
000013aa: SWAP3
000013ab: POP
000013ac: POP
000013ad: POP
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH0
000013b1: DUP3
000013b2: PUSH1 0x1f
000013b4: DUP4
000013b5: ADD
000013b6: SLT
000013b7: PUSH2 0x13c3
000013ba: JUMPI
000013bb: PUSH2 0x13c2
000013be: PUSH2 0x10f3
000013c1: JUMP
000013c2: JUMPDEST
000013c3: JUMPDEST
000013c4: DUP2
000013c5: CALLDATALOAD
000013c6: PUSH2 0x13d3
000013c9: DUP5
000013ca: DUP3
000013cb: PUSH1 0x20
000013cd: DUP7
000013ce: ADD
000013cf: PUSH2 0x136e
000013d2: JUMP
000013d3: JUMPDEST
000013d4: SWAP2
000013d5: POP
000013d6: POP
000013d7: SWAP3
000013d8: SWAP2
000013d9: POP
000013da: POP
000013db: JUMP
000013dc: JUMPDEST
000013dd: PUSH0
000013de: DUP1
000013df: DUP4
000013e0: PUSH1 0x1f
000013e2: DUP5
000013e3: ADD
000013e4: SLT
000013e5: PUSH2 0x13f1
000013e8: JUMPI
000013e9: PUSH2 0x13f0
000013ec: PUSH2 0x10f3
000013ef: JUMP
000013f0: JUMPDEST
000013f1: JUMPDEST
000013f2: DUP3
000013f3: CALLDATALOAD
000013f4: SWAP1
000013f5: POP
000013f6: PUSH8 0xffffffffffffffff
000013ff: DUP2
00001400: GT
00001401: ISZERO
00001402: PUSH2 0x140e
00001405: JUMPI
00001406: PUSH2 0x140d
00001409: PUSH2 0x10f7
0000140c: JUMP
0000140d: JUMPDEST
0000140e: JUMPDEST
0000140f: PUSH1 0x20
00001411: DUP4
00001412: ADD
00001413: SWAP2
00001414: POP
00001415: DUP4
00001416: PUSH1 0x20
00001418: DUP3
00001419: MUL
0000141a: DUP4
0000141b: ADD
0000141c: GT
0000141d: ISZERO
0000141e: PUSH2 0x142a
00001421: JUMPI
00001422: PUSH2 0x1429
00001425: PUSH2 0x10fb
00001428: JUMP
00001429: JUMPDEST
0000142a: JUMPDEST
0000142b: SWAP3
0000142c: POP
0000142d: SWAP3
0000142e: SWAP1
0000142f: POP
00001430: JUMP
00001431: JUMPDEST
00001432: PUSH0
00001433: DUP1
00001434: DUP4
00001435: PUSH1 0x1f
00001437: DUP5
00001438: ADD
00001439: SLT
0000143a: PUSH2 0x1446
0000143d: JUMPI
0000143e: PUSH2 0x1445
00001441: PUSH2 0x10f3
00001444: JUMP
00001445: JUMPDEST
00001446: JUMPDEST
00001447: DUP3
00001448: CALLDATALOAD
00001449: SWAP1
0000144a: POP
0000144b: PUSH8 0xffffffffffffffff
00001454: DUP2
00001455: GT
00001456: ISZERO
00001457: PUSH2 0x1463
0000145a: JUMPI
0000145b: PUSH2 0x1462
0000145e: PUSH2 0x10f7
00001461: JUMP
00001462: JUMPDEST
00001463: JUMPDEST
00001464: PUSH1 0x20
00001466: DUP4
00001467: ADD
00001468: SWAP2
00001469: POP
0000146a: DUP4
0000146b: PUSH1 0x20
0000146d: DUP3
0000146e: MUL
0000146f: DUP4
00001470: ADD
00001471: GT
00001472: ISZERO
00001473: PUSH2 0x147f
00001476: JUMPI
00001477: PUSH2 0x147e
0000147a: PUSH2 0x10fb
0000147d: JUMP
0000147e: JUMPDEST
0000147f: JUMPDEST
00001480: SWAP3
00001481: POP
00001482: SWAP3
00001483: SWAP1
00001484: POP
00001485: JUMP
00001486: JUMPDEST
00001487: PUSH0
00001488: DUP1
00001489: PUSH0
0000148a: DUP1
0000148b: PUSH0
0000148c: DUP1
0000148d: PUSH0
0000148e: PUSH1 0xa0
00001490: DUP9
00001491: DUP11
00001492: SUB
00001493: SLT
00001494: ISZERO
00001495: PUSH2 0x14a1
00001498: JUMPI
00001499: PUSH2 0x14a0
0000149c: PUSH2 0x1029
0000149f: JUMP
000014a0: JUMPDEST
000014a1: JUMPDEST
000014a2: PUSH0
000014a3: PUSH2 0x14ae
000014a6: DUP11
000014a7: DUP3
000014a8: DUP12
000014a9: ADD
000014aa: PUSH2 0x1077
000014ad: JUMP
000014ae: JUMPDEST
000014af: SWAP8
000014b0: POP
000014b1: POP
000014b2: PUSH1 0x20
000014b4: DUP9
000014b5: ADD
000014b6: CALLDATALOAD
000014b7: PUSH8 0xffffffffffffffff
000014c0: DUP2
000014c1: GT
000014c2: ISZERO
000014c3: PUSH2 0x14cf
000014c6: JUMPI
000014c7: PUSH2 0x14ce
000014ca: PUSH2 0x102d
000014cd: JUMP
000014ce: JUMPDEST
000014cf: JUMPDEST
000014d0: PUSH2 0x14db
000014d3: DUP11
000014d4: DUP3
000014d5: DUP12
000014d6: ADD
000014d7: PUSH2 0x13af
000014da: JUMP
000014db: JUMPDEST
000014dc: SWAP7
000014dd: POP
000014de: POP
000014df: PUSH1 0x40
000014e1: PUSH2 0x14ec
000014e4: DUP11
000014e5: DUP3
000014e6: DUP12
000014e7: ADD
000014e8: PUSH2 0x10a1
000014eb: JUMP
000014ec: JUMPDEST
000014ed: SWAP6
000014ee: POP
000014ef: POP
000014f0: PUSH1 0x60
000014f2: DUP9
000014f3: ADD
000014f4: CALLDATALOAD
000014f5: PUSH8 0xffffffffffffffff
000014fe: DUP2
000014ff: GT
00001500: ISZERO
00001501: PUSH2 0x150d
00001504: JUMPI
00001505: PUSH2 0x150c
00001508: PUSH2 0x102d
0000150b: JUMP
0000150c: JUMPDEST
0000150d: JUMPDEST
0000150e: PUSH2 0x1519
00001511: DUP11
00001512: DUP3
00001513: DUP12
00001514: ADD
00001515: PUSH2 0x13dc
00001518: JUMP
00001519: JUMPDEST
0000151a: SWAP5
0000151b: POP
0000151c: SWAP5
0000151d: POP
0000151e: POP
0000151f: PUSH1 0x80
00001521: DUP9
00001522: ADD
00001523: CALLDATALOAD
00001524: PUSH8 0xffffffffffffffff
0000152d: DUP2
0000152e: GT
0000152f: ISZERO
00001530: PUSH2 0x153c
00001533: JUMPI
00001534: PUSH2 0x153b
00001537: PUSH2 0x102d
0000153a: JUMP
0000153b: JUMPDEST
0000153c: JUMPDEST
0000153d: PUSH2 0x1548
00001540: DUP11
00001541: DUP3
00001542: DUP12
00001543: ADD
00001544: PUSH2 0x1431
00001547: JUMP
00001548: JUMPDEST
00001549: SWAP3
0000154a: POP
0000154b: SWAP3
0000154c: POP
0000154d: POP
0000154e: SWAP3
0000154f: SWAP6
00001550: SWAP9
00001551: SWAP2
00001552: SWAP5
00001553: SWAP8
00001554: POP
00001555: SWAP3
00001556: SWAP6
00001557: POP
00001558: JUMP
00001559: JUMPDEST
0000155a: PUSH0
0000155b: DUP3
0000155c: DUP3
0000155d: MSTORE
0000155e: PUSH1 0x20
00001560: DUP3
00001561: ADD
00001562: SWAP1
00001563: POP
00001564: SWAP3
00001565: SWAP2
00001566: POP
00001567: POP
00001568: JUMP
00001569: JUMPDEST
0000156a: PUSH32 0x6f6e6c79206f776e657200000000000000000000000000000000000000000000
0000158b: PUSH0
0000158c: DUP3
0000158d: ADD
0000158e: MSTORE
0000158f: POP
00001590: JUMP
00001591: JUMPDEST
00001592: PUSH0
00001593: PUSH2 0x159d
00001596: PUSH1 0x0a
00001598: DUP4
00001599: PUSH2 0x1559
0000159c: JUMP
0000159d: JUMPDEST
0000159e: SWAP2
0000159f: POP
000015a0: PUSH2 0x15a8
000015a3: DUP3
000015a4: PUSH2 0x1569
000015a7: JUMP
000015a8: JUMPDEST
000015a9: PUSH1 0x20
000015ab: DUP3
000015ac: ADD
000015ad: SWAP1
000015ae: POP
000015af: SWAP2
000015b0: SWAP1
000015b1: POP
000015b2: JUMP
000015b3: JUMPDEST
000015b4: PUSH0
000015b5: PUSH1 0x20
000015b7: DUP3
000015b8: ADD
000015b9: SWAP1
000015ba: POP
000015bb: DUP2
000015bc: DUP2
000015bd: SUB
000015be: PUSH0
000015bf: DUP4
000015c0: ADD
000015c1: MSTORE
000015c2: PUSH2 0x15ca
000015c5: DUP2
000015c6: PUSH2 0x1591
000015c9: JUMP
000015ca: JUMPDEST
000015cb: SWAP1
000015cc: POP
000015cd: SWAP2
000015ce: SWAP1
000015cf: POP
000015d0: JUMP
000015d1: JUMPDEST
000015d2: PUSH2 0x15da
000015d5: DUP2
000015d6: PUSH2 0x0e64
000015d9: JUMP
000015da: JUMPDEST
000015db: DUP3
000015dc: MSTORE
000015dd: POP
000015de: POP
000015df: JUMP
000015e0: JUMPDEST
000015e1: PUSH0
000015e2: PUSH1 0x40
000015e4: DUP3
000015e5: ADD
000015e6: SWAP1
000015e7: POP
000015e8: PUSH2 0x15f3
000015eb: PUSH0
000015ec: DUP4
000015ed: ADD
000015ee: DUP6
000015ef: PUSH2 0x1251
000015f2: JUMP
000015f3: JUMPDEST
000015f4: PUSH2 0x1600
000015f7: PUSH1 0x20
000015f9: DUP4
000015fa: ADD
000015fb: DUP5
000015fc: PUSH2 0x15d1
000015ff: JUMP
00001600: JUMPDEST
00001601: SWAP4
00001602: SWAP3
00001603: POP
00001604: POP
00001605: POP
00001606: JUMP
00001607: JUMPDEST
00001608: PUSH0
00001609: PUSH2 0x1612
0000160c: DUP4
0000160d: DUP6
0000160e: PUSH2 0x0f61
00001611: JUMP
00001612: JUMPDEST
00001613: SWAP4
00001614: POP
00001615: PUSH2 0x161f
00001618: DUP4
00001619: DUP6
0000161a: DUP5
0000161b: PUSH2 0x1360
0000161e: JUMP
0000161f: JUMPDEST
00001620: DUP3
00001621: DUP5
00001622: ADD
00001623: SWAP1
00001624: POP
00001625: SWAP4
00001626: SWAP3
00001627: POP
00001628: POP
00001629: POP
0000162a: JUMP
0000162b: JUMPDEST
0000162c: PUSH0
0000162d: PUSH2 0x1637
00001630: DUP3
00001631: DUP5
00001632: DUP7
00001633: PUSH2 0x1607
00001636: JUMP
00001637: JUMPDEST
00001638: SWAP2
00001639: POP
0000163a: DUP2
0000163b: SWAP1
0000163c: POP
0000163d: SWAP4
0000163e: SWAP3
0000163f: POP
00001640: POP
00001641: POP
00001642: JUMP
00001643: JUMPDEST
00001644: PUSH0
00001645: DUP1
00001646: REVERT
00001647: JUMPDEST
00001648: PUSH0
00001649: DUP1
0000164a: REVERT
0000164b: JUMPDEST
0000164c: PUSH0
0000164d: DUP1
0000164e: REVERT
0000164f: JUMPDEST
00001650: PUSH0
00001651: DUP3
00001652: CALLDATALOAD
00001653: PUSH1 0x01
00001655: PUSH1 0x40
00001657: SUB
00001658: DUP4
00001659: CALLDATASIZE
0000165a: SUB
0000165b: SUB
0000165c: DUP2
0000165d: SLT
0000165e: PUSH2 0x166a
00001661: JUMPI
00001662: PUSH2 0x1669
00001665: PUSH2 0x1643
00001668: JUMP
00001669: JUMPDEST
0000166a: JUMPDEST
0000166b: DUP1
0000166c: DUP4
0000166d: ADD
0000166e: SWAP2
0000166f: POP
00001670: POP
00001671: SWAP3
00001672: SWAP2
00001673: POP
00001674: POP
00001675: JUMP
00001676: JUMPDEST
00001677: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001698: PUSH0
00001699: MSTORE
0000169a: PUSH0
0000169b: PUSH1 0x04
0000169d: MSTORE
0000169e: PUSH1 0x24
000016a0: PUSH0
000016a1: REVERT
000016a2: JUMPDEST
000016a3: PUSH0
000016a4: DUP1
000016a5: DUP4
000016a6: CALLDATALOAD
000016a7: PUSH1 0x01
000016a9: PUSH1 0x20
000016ab: SUB
000016ac: DUP5
000016ad: CALLDATASIZE
000016ae: SUB
000016af: SUB
000016b0: DUP2
000016b1: SLT
000016b2: PUSH2 0x16be
000016b5: JUMPI
000016b6: PUSH2 0x16bd
000016b9: PUSH2 0x1643
000016bc: JUMP
000016bd: JUMPDEST
000016be: JUMPDEST
000016bf: DUP1
000016c0: DUP5
000016c1: ADD
000016c2: SWAP3
000016c3: POP
000016c4: DUP3
000016c5: CALLDATALOAD
000016c6: SWAP2
000016c7: POP
000016c8: PUSH8 0xffffffffffffffff
000016d1: DUP3
000016d2: GT
000016d3: ISZERO
000016d4: PUSH2 0x16e0
000016d7: JUMPI
000016d8: PUSH2 0x16df
000016db: PUSH2 0x1647
000016de: JUMP
000016df: JUMPDEST
000016e0: JUMPDEST
000016e1: PUSH1 0x20
000016e3: DUP4
000016e4: ADD
000016e5: SWAP3
000016e6: POP
000016e7: PUSH1 0x01
000016e9: DUP3
000016ea: MUL
000016eb: CALLDATASIZE
000016ec: SUB
000016ed: DUP4
000016ee: SGT
000016ef: ISZERO
000016f0: PUSH2 0x16fc
000016f3: JUMPI
000016f4: PUSH2 0x16fb
000016f7: PUSH2 0x164b
000016fa: JUMP
000016fb: JUMPDEST
000016fc: JUMPDEST
000016fd: POP
000016fe: SWAP3
000016ff: POP
00001700: SWAP3
00001701: SWAP1
00001702: POP
00001703: JUMP
00001704: JUMPDEST
00001705: PUSH0
00001706: DUP3
00001707: SWAP1
00001708: POP
00001709: SWAP3
0000170a: SWAP2
0000170b: POP
0000170c: POP
0000170d: JUMP
0000170e: JUMPDEST
0000170f: PUSH0
00001710: DUP2
00001711: SWAP1
00001712: POP
00001713: DUP2
00001714: PUSH0
00001715: MSTORE
00001716: PUSH1 0x20
00001718: PUSH0
00001719: KECCAK256
0000171a: SWAP1
0000171b: POP
0000171c: SWAP2
0000171d: SWAP1
0000171e: POP
0000171f: JUMP
00001720: JUMPDEST
00001721: PUSH0
00001722: PUSH1 0x20
00001724: PUSH1 0x1f
00001726: DUP4
00001727: ADD
00001728: DIV
00001729: SWAP1
0000172a: POP
0000172b: SWAP2
0000172c: SWAP1
0000172d: POP
0000172e: JUMP
0000172f: JUMPDEST
00001730: PUSH0
00001731: DUP3
00001732: DUP3
00001733: SHL
00001734: SWAP1
00001735: POP
00001736: SWAP3
00001737: SWAP2
00001738: POP
00001739: POP
0000173a: JUMP
0000173b: JUMPDEST
0000173c: PUSH0
0000173d: PUSH1 0x08
0000173f: DUP4
00001740: MUL
00001741: PUSH2 0x176a
00001744: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001765: DUP3
00001766: PUSH2 0x172f
00001769: JUMP
0000176a: JUMPDEST
0000176b: PUSH2 0x1774
0000176e: DUP7
0000176f: DUP4
00001770: PUSH2 0x172f
00001773: JUMP
00001774: JUMPDEST
00001775: SWAP6
00001776: POP
00001777: DUP1
00001778: NOT
00001779: DUP5
0000177a: AND
0000177b: SWAP4
0000177c: POP
0000177d: DUP1
0000177e: DUP7
0000177f: AND
00001780: DUP5
00001781: OR
00001782: SWAP3
00001783: POP
00001784: POP
00001785: POP
00001786: SWAP4
00001787: SWAP3
00001788: POP
00001789: POP
0000178a: POP
0000178b: JUMP
0000178c: JUMPDEST
0000178d: PUSH0
0000178e: DUP2
0000178f: SWAP1
00001790: POP
00001791: SWAP2
00001792: SWAP1
00001793: POP
00001794: JUMP
00001795: JUMPDEST
00001796: PUSH0
00001797: PUSH2 0x17af
0000179a: PUSH2 0x17aa
0000179d: PUSH2 0x17a5
000017a0: DUP5
000017a1: PUSH2 0x0e64
000017a4: JUMP
000017a5: JUMPDEST
000017a6: PUSH2 0x178c
000017a9: JUMP
000017aa: JUMPDEST
000017ab: PUSH2 0x0e64
000017ae: JUMP
000017af: JUMPDEST
000017b0: SWAP1
000017b1: POP
000017b2: SWAP2
000017b3: SWAP1
000017b4: POP
000017b5: JUMP
000017b6: JUMPDEST
000017b7: PUSH0
000017b8: DUP2
000017b9: SWAP1
000017ba: POP
000017bb: SWAP2
000017bc: SWAP1
000017bd: POP
000017be: JUMP
000017bf: JUMPDEST
000017c0: PUSH2 0x17c8
000017c3: DUP4
000017c4: PUSH2 0x1795
000017c7: JUMP
000017c8: JUMPDEST
000017c9: PUSH2 0x17dc
000017cc: PUSH2 0x17d4
000017cf: DUP3
000017d0: PUSH2 0x17b6
000017d3: JUMP
000017d4: JUMPDEST
000017d5: DUP5
000017d6: DUP5
000017d7: SLOAD
000017d8: PUSH2 0x173b
000017db: JUMP
000017dc: JUMPDEST
000017dd: DUP3
000017de: SSTORE
000017df: POP
000017e0: POP
000017e1: POP
000017e2: POP
000017e3: JUMP
000017e4: JUMPDEST
000017e5: PUSH0
000017e6: SWAP1
000017e7: JUMP
000017e8: JUMPDEST
000017e9: PUSH2 0x17f0
000017ec: PUSH2 0x17e4
000017ef: JUMP
000017f0: JUMPDEST
000017f1: PUSH2 0x17fb
000017f4: DUP2
000017f5: DUP5
000017f6: DUP5
000017f7: PUSH2 0x17bf
000017fa: JUMP
000017fb: JUMPDEST
000017fc: POP
000017fd: POP
000017fe: POP
000017ff: JUMP
00001800: JUMPDEST
00001801: JUMPDEST
00001802: DUP2
00001803: DUP2
00001804: LT
00001805: ISZERO
00001806: PUSH2 0x181e
00001809: JUMPI
0000180a: PUSH2 0x1813
0000180d: PUSH0
0000180e: DUP3
0000180f: PUSH2 0x17e8
00001812: JUMP
00001813: JUMPDEST
00001814: PUSH1 0x01
00001816: DUP2
00001817: ADD
00001818: SWAP1
00001819: POP
0000181a: PUSH2 0x1801
0000181d: JUMP
0000181e: JUMPDEST
0000181f: POP
00001820: POP
00001821: JUMP
00001822: JUMPDEST
00001823: PUSH1 0x1f
00001825: DUP3
00001826: GT
00001827: ISZERO
00001828: PUSH2 0x1863
0000182b: JUMPI
0000182c: PUSH2 0x1834
0000182f: DUP2
00001830: PUSH2 0x170e
00001833: JUMP
00001834: JUMPDEST
00001835: PUSH2 0x183d
00001838: DUP5
00001839: PUSH2 0x1720
0000183c: JUMP
0000183d: JUMPDEST
0000183e: DUP2
0000183f: ADD
00001840: PUSH1 0x20
00001842: DUP6
00001843: LT
00001844: ISZERO
00001845: PUSH2 0x184c
00001848: JUMPI
00001849: DUP2
0000184a: SWAP1
0000184b: POP
0000184c: JUMPDEST
0000184d: PUSH2 0x1860
00001850: PUSH2 0x1858
00001853: DUP6
00001854: PUSH2 0x1720
00001857: JUMP
00001858: JUMPDEST
00001859: DUP4
0000185a: ADD
0000185b: DUP3
0000185c: PUSH2 0x1800
0000185f: JUMP
00001860: JUMPDEST
00001861: POP
00001862: POP
00001863: JUMPDEST
00001864: POP
00001865: POP
00001866: POP
00001867: JUMP
00001868: JUMPDEST
00001869: PUSH0
0000186a: DUP3
0000186b: DUP3
0000186c: SHR
0000186d: SWAP1
0000186e: POP
0000186f: SWAP3
00001870: SWAP2
00001871: POP
00001872: POP
00001873: JUMP
00001874: JUMPDEST
00001875: PUSH0
00001876: PUSH2 0x1883
00001879: PUSH0
0000187a: NOT
0000187b: DUP5
0000187c: PUSH1 0x08
0000187e: MUL
0000187f: PUSH2 0x1868
00001882: JUMP
00001883: JUMPDEST
00001884: NOT
00001885: DUP1
00001886: DUP4
00001887: AND
00001888: SWAP2
00001889: POP
0000188a: POP
0000188b: SWAP3
0000188c: SWAP2
0000188d: POP
0000188e: POP
0000188f: JUMP
00001890: JUMPDEST
00001891: PUSH0
00001892: PUSH2 0x189b
00001895: DUP4
00001896: DUP4
00001897: PUSH2 0x1874
0000189a: JUMP
0000189b: JUMPDEST
0000189c: SWAP2
0000189d: POP
0000189e: DUP3
0000189f: PUSH1 0x02
000018a1: MUL
000018a2: DUP3
000018a3: OR
000018a4: SWAP1
000018a5: POP
000018a6: SWAP3
000018a7: SWAP2
000018a8: POP
000018a9: POP
000018aa: JUMP
000018ab: JUMPDEST
000018ac: PUSH2 0x18b5
000018af: DUP4
000018b0: DUP4
000018b1: PUSH2 0x1704
000018b4: JUMP
000018b5: JUMPDEST
000018b6: PUSH8 0xffffffffffffffff
000018bf: DUP2
000018c0: GT
000018c1: ISZERO
000018c2: PUSH2 0x18ce
000018c5: JUMPI
000018c6: PUSH2 0x18cd
000018c9: PUSH2 0x12b8
000018cc: JUMP
000018cd: JUMPDEST
000018ce: JUMPDEST
000018cf: PUSH2 0x18d8
000018d2: DUP3
000018d3: SLOAD
000018d4: PUSH2 0x0efa
000018d7: JUMP
000018d8: JUMPDEST
000018d9: PUSH2 0x18e3
000018dc: DUP3
000018dd: DUP3
000018de: DUP6
000018df: PUSH2 0x1822
000018e2: JUMP
000018e3: JUMPDEST
000018e4: PUSH0
000018e5: PUSH1 0x1f
000018e7: DUP4
000018e8: GT
000018e9: PUSH1 0x01
000018eb: DUP2
000018ec: EQ
000018ed: PUSH2 0x1910
000018f0: JUMPI
000018f1: PUSH0
000018f2: DUP5
000018f3: ISZERO
000018f4: PUSH2 0x18fe
000018f7: JUMPI
000018f8: DUP3
000018f9: DUP8
000018fa: ADD
000018fb: CALLDATALOAD
000018fc: SWAP1
000018fd: POP
000018fe: JUMPDEST
000018ff: PUSH2 0x1908
00001902: DUP6
00001903: DUP3
00001904: PUSH2 0x1890
00001907: JUMP
00001908: JUMPDEST
00001909: DUP7
0000190a: SSTORE
0000190b: POP
0000190c: PUSH2 0x196f
0000190f: JUMP
00001910: JUMPDEST
00001911: PUSH1 0x1f
00001913: NOT
00001914: DUP5
00001915: AND
00001916: PUSH2 0x191e
00001919: DUP7
0000191a: PUSH2 0x170e
0000191d: JUMP
0000191e: JUMPDEST
0000191f: PUSH0
00001920: JUMPDEST
00001921: DUP3
00001922: DUP2
00001923: LT
00001924: ISZERO
00001925: PUSH2 0x1945
00001928: JUMPI
00001929: DUP5
0000192a: DUP10
0000192b: ADD
0000192c: CALLDATALOAD
0000192d: DUP3
0000192e: SSTORE
0000192f: PUSH1 0x01
00001931: DUP3
00001932: ADD
00001933: SWAP2
00001934: POP
00001935: PUSH1 0x20
00001937: DUP6
00001938: ADD
00001939: SWAP5
0000193a: POP
0000193b: PUSH1 0x20
0000193d: DUP2
0000193e: ADD
0000193f: SWAP1
00001940: POP
00001941: PUSH2 0x1920
00001944: JUMP
00001945: JUMPDEST
00001946: DUP7
00001947: DUP4
00001948: LT
00001949: ISZERO
0000194a: PUSH2 0x1962
0000194d: JUMPI
0000194e: DUP5
0000194f: DUP10
00001950: ADD
00001951: CALLDATALOAD
00001952: PUSH2 0x195e
00001955: PUSH1 0x1f
00001957: DUP10
00001958: AND
00001959: DUP3
0000195a: PUSH2 0x1874
0000195d: JUMP
0000195e: JUMPDEST
0000195f: DUP4
00001960: SSTORE
00001961: POP
00001962: JUMPDEST
00001963: PUSH1 0x01
00001965: PUSH1 0x02
00001967: DUP9
00001968: MUL
00001969: ADD
0000196a: DUP9
0000196b: SSTORE
0000196c: POP
0000196d: POP
0000196e: POP
0000196f: JUMPDEST
00001970: POP
00001971: POP
00001972: POP
00001973: POP
00001974: POP
00001975: POP
00001976: POP
00001977: JUMP
00001978: JUMPDEST
00001979: PUSH2 0x1983
0000197c: DUP4
0000197d: DUP4
0000197e: DUP4
0000197f: PUSH2 0x18ab
00001982: JUMP
00001983: JUMPDEST
00001984: POP
00001985: POP
00001986: POP
00001987: JUMP
00001988: JUMPDEST
00001989: PUSH0
0000198a: DUP1
0000198b: DUP4
0000198c: CALLDATALOAD
0000198d: PUSH1 0x01
0000198f: PUSH1 0x20
00001991: SUB
00001992: DUP5
00001993: CALLDATASIZE
00001994: SUB
00001995: SUB
00001996: DUP2
00001997: SLT
00001998: PUSH2 0x19a4
0000199b: JUMPI
0000199c: PUSH2 0x19a3
0000199f: PUSH2 0x1643
000019a2: JUMP
000019a3: JUMPDEST
000019a4: JUMPDEST
000019a5: DUP1
000019a6: DUP5
000019a7: ADD
000019a8: SWAP3
000019a9: POP
000019aa: DUP3
000019ab: CALLDATALOAD
000019ac: SWAP2
000019ad: POP
000019ae: PUSH8 0xffffffffffffffff
000019b7: DUP3
000019b8: GT
000019b9: ISZERO
000019ba: PUSH2 0x19c6
000019bd: JUMPI
000019be: PUSH2 0x19c5
000019c1: PUSH2 0x1647
000019c4: JUMP
000019c5: JUMPDEST
000019c6: JUMPDEST
000019c7: PUSH1 0x20
000019c9: DUP4
000019ca: ADD
000019cb: SWAP3
000019cc: POP
000019cd: PUSH1 0x20
000019cf: DUP3
000019d0: MUL
000019d1: CALLDATASIZE
000019d2: SUB
000019d3: DUP4
000019d4: SGT
000019d5: ISZERO
000019d6: PUSH2 0x19e2
000019d9: JUMPI
000019da: PUSH2 0x19e1
000019dd: PUSH2 0x164b
000019e0: JUMP
000019e1: JUMPDEST
000019e2: JUMPDEST
000019e3: POP
000019e4: SWAP3
000019e5: POP
000019e6: SWAP3
000019e7: SWAP1
000019e8: POP
000019e9: JUMP
000019ea: JUMPDEST
000019eb: PUSH0
000019ec: DUP2
000019ed: SWAP1
000019ee: POP
000019ef: SWAP2
000019f0: SWAP1
000019f1: POP
000019f2: JUMP
000019f3: JUMPDEST
000019f4: PUSH0
000019f5: DUP3
000019f6: CALLDATALOAD
000019f7: PUSH1 0x01
000019f9: PUSH1 0x60
000019fb: SUB
000019fc: DUP4
000019fd: CALLDATASIZE
000019fe: SUB
000019ff: SUB
00001a00: DUP2
00001a01: SLT
00001a02: PUSH2 0x1a0e
00001a05: JUMPI
00001a06: PUSH2 0x1a0d
00001a09: PUSH2 0x1643
00001a0c: JUMP
00001a0d: JUMPDEST
00001a0e: JUMPDEST
00001a0f: DUP1
00001a10: DUP4
00001a11: ADD
00001a12: SWAP2
00001a13: POP
00001a14: POP
00001a15: SWAP3
00001a16: SWAP2
00001a17: POP
00001a18: POP
00001a19: JUMP
00001a1a: JUMPDEST
00001a1b: PUSH0
00001a1c: DUP2
00001a1d: SLOAD
00001a1e: SWAP1
00001a1f: POP
00001a20: SWAP2
00001a21: SWAP1
00001a22: POP
00001a23: JUMP
00001a24: JUMPDEST
00001a25: PUSH0
00001a26: PUSH2 0x1a2e
00001a29: DUP3
00001a2a: PUSH2 0x0e64
00001a2d: JUMP
00001a2e: JUMPDEST
00001a2f: SWAP2
00001a30: POP
00001a31: PUSH2 0x1a39
00001a34: DUP4
00001a35: PUSH2 0x0e64
00001a38: JUMP
00001a39: JUMPDEST
00001a3a: SWAP3
00001a3b: POP
00001a3c: DUP3
00001a3d: DUP3
00001a3e: MUL
00001a3f: PUSH2 0x1a47
00001a42: DUP2
00001a43: PUSH2 0x0e64
00001a46: JUMP
00001a47: JUMPDEST
00001a48: SWAP2
00001a49: POP
00001a4a: DUP3
00001a4b: DUP3
00001a4c: DIV
00001a4d: DUP5
00001a4e: EQ
00001a4f: DUP4
00001a50: ISZERO
00001a51: OR
00001a52: PUSH2 0x1a5e
00001a55: JUMPI
00001a56: PUSH2 0x1a5d
00001a59: PUSH2 0x0e6d
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: JUMPDEST
00001a5f: POP
00001a60: SWAP3
00001a61: SWAP2
00001a62: POP
00001a63: POP
00001a64: JUMP
00001a65: JUMPDEST
00001a66: PUSH0
00001a67: DUP2
00001a68: SWAP1
00001a69: POP
00001a6a: PUSH2 0x1a74
00001a6d: DUP3
00001a6e: PUSH1 0x03
00001a70: PUSH2 0x1a24
00001a73: JUMP
00001a74: JUMPDEST
00001a75: SWAP1
00001a76: POP
00001a77: SWAP2
00001a78: SWAP1
00001a79: POP
00001a7a: JUMP
00001a7b: JUMPDEST
00001a7c: PUSH0
00001a7d: DUP2
00001a7e: SWAP1
00001a7f: POP
00001a80: DUP2
00001a81: PUSH0
00001a82: MSTORE
00001a83: PUSH1 0x20
00001a85: PUSH0
00001a86: KECCAK256
00001a87: SWAP1
00001a88: POP
00001a89: SWAP2
00001a8a: SWAP1
00001a8b: POP
00001a8c: JUMP
00001a8d: JUMPDEST
00001a8e: PUSH2 0x1abd
00001a91: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ab2: DUP4
00001ab3: PUSH1 0x20
00001ab5: SUB
00001ab6: PUSH1 0x08
00001ab8: MUL
00001ab9: PUSH2 0x1868
00001abc: JUMP
00001abd: JUMPDEST
00001abe: DUP2
00001abf: SLOAD
00001ac0: DUP2
00001ac1: AND
00001ac2: DUP3
00001ac3: SSTORE
00001ac4: POP
00001ac5: POP
00001ac6: POP
00001ac7: JUMP
00001ac8: JUMPDEST
00001ac9: PUSH2 0x1ad1
00001acc: DUP2
00001acd: PUSH2 0x170e
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: PUSH2 0x1adc
00001ad5: DUP4
00001ad6: DUP3
00001ad7: SLOAD
00001ad8: PUSH2 0x1890
00001adb: JUMP
00001adc: JUMPDEST
00001add: DUP1
00001ade: DUP4
00001adf: SSTORE
00001ae0: PUSH0
00001ae1: DUP3
00001ae2: SSTORE
00001ae3: POP
00001ae4: POP
00001ae5: POP
00001ae6: POP
00001ae7: JUMP
00001ae8: JUMPDEST
00001ae9: PUSH1 0x20
00001aeb: DUP5
00001aec: LT
00001aed: PUSH0
00001aee: DUP2
00001aef: EQ
00001af0: PUSH2 0x1b42
00001af3: JUMPI
00001af4: PUSH1 0x1f
00001af6: DUP5
00001af7: GT
00001af8: PUSH1 0x01
00001afa: DUP2
00001afb: EQ
00001afc: PUSH2 0x1b10
00001aff: JUMPI
00001b00: PUSH2 0x1b09
00001b03: DUP7
00001b04: DUP6
00001b05: PUSH2 0x1890
00001b08: JUMP
00001b09: JUMPDEST
00001b0a: DUP4
00001b0b: SSTORE
00001b0c: PUSH2 0x1b3c
00001b0f: JUMP
00001b10: JUMPDEST
00001b11: PUSH2 0x1b19
00001b14: DUP4
00001b15: PUSH2 0x170e
00001b18: JUMP
00001b19: JUMPDEST
00001b1a: PUSH2 0x1b30
00001b1d: PUSH2 0x1b25
00001b20: DUP8
00001b21: PUSH2 0x1720
00001b24: JUMP
00001b25: JUMPDEST
00001b26: DUP3
00001b27: ADD
00001b28: PUSH1 0x01
00001b2a: DUP4
00001b2b: ADD
00001b2c: PUSH2 0x1800
00001b2f: JUMP
00001b30: JUMPDEST
00001b31: PUSH2 0x1b3a
00001b34: DUP8
00001b35: DUP6
00001b36: PUSH2 0x1ac8
00001b39: JUMP
00001b3a: JUMPDEST
00001b3b: POP
00001b3c: JUMPDEST
00001b3d: POP
00001b3e: PUSH2 0x1b8f
00001b41: JUMP
00001b42: JUMPDEST
00001b43: PUSH2 0x1b4b
00001b46: DUP3
00001b47: PUSH2 0x170e
00001b4a: JUMP
00001b4b: JUMPDEST
00001b4c: PUSH2 0x1b54
00001b4f: DUP7
00001b50: PUSH2 0x1720
00001b53: JUMP
00001b54: JUMPDEST
00001b55: DUP2
00001b56: ADD
00001b57: PUSH1 0x1f
00001b59: DUP8
00001b5a: AND
00001b5b: DUP1
00001b5c: ISZERO
00001b5d: PUSH2 0x1b6e
00001b60: JUMPI
00001b61: PUSH2 0x1b6d
00001b64: DUP2
00001b65: PUSH1 0x01
00001b67: DUP5
00001b68: SUB
00001b69: PUSH2 0x1a8d
00001b6c: JUMP
00001b6d: JUMPDEST
00001b6e: JUMPDEST
00001b6f: PUSH2 0x1b82
00001b72: PUSH2 0x1b7a
00001b75: DUP9
00001b76: PUSH2 0x1720
00001b79: JUMP
00001b7a: JUMPDEST
00001b7b: DUP5
00001b7c: ADD
00001b7d: DUP4
00001b7e: PUSH2 0x1800
00001b81: JUMP
00001b82: JUMPDEST
00001b83: PUSH1 0x01
00001b85: DUP9
00001b86: PUSH1 0x02
00001b88: MUL
00001b89: OR
00001b8a: DUP6
00001b8b: SSTORE
00001b8c: POP
00001b8d: POP
00001b8e: POP
00001b8f: JUMPDEST
00001b90: POP
00001b91: POP
00001b92: POP
00001b93: POP
00001b94: POP
00001b95: JUMP
00001b96: JUMPDEST
00001b97: PUSH9 0x010000000000000000
00001ba1: DUP5
00001ba2: GT
00001ba3: ISZERO
00001ba4: PUSH2 0x1bb0
00001ba7: JUMPI
00001ba8: PUSH2 0x1baf
00001bab: PUSH2 0x12b8
00001bae: JUMP
00001baf: JUMPDEST
00001bb0: JUMPDEST
00001bb1: PUSH1 0x20
00001bb3: DUP4
00001bb4: LT
00001bb5: PUSH0
00001bb6: DUP2
00001bb7: EQ
00001bb8: PUSH2 0x1bf9
00001bbb: JUMPI
00001bbc: PUSH1 0x20
00001bbe: DUP6
00001bbf: LT
00001bc0: PUSH0
00001bc1: DUP2
00001bc2: EQ
00001bc3: PUSH2 0x1bd7
00001bc6: JUMPI
00001bc7: PUSH2 0x1bd0
00001bca: DUP7
00001bcb: DUP6
00001bcc: PUSH2 0x1890
00001bcf: JUMP
00001bd0: JUMPDEST
00001bd1: DUP4
00001bd2: SSTORE
00001bd3: PUSH2 0x1bf3
00001bd6: JUMP
00001bd7: JUMPDEST
00001bd8: DUP4
00001bd9: PUSH1 0xff
00001bdb: NOT
00001bdc: AND
00001bdd: SWAP4
00001bde: POP
00001bdf: DUP4
00001be0: PUSH2 0x1be8
00001be3: DUP5
00001be4: PUSH2 0x170e
00001be7: JUMP
00001be8: JUMPDEST
00001be9: SSTORE
00001bea: PUSH1 0x01
00001bec: DUP7
00001bed: PUSH1 0x02
00001bef: MUL
00001bf0: ADD
00001bf1: DUP4
00001bf2: SSTORE
00001bf3: JUMPDEST
00001bf4: POP
00001bf5: PUSH2 0x1c03
00001bf8: JUMP
00001bf9: JUMPDEST
00001bfa: PUSH1 0x01
00001bfc: DUP6
00001bfd: PUSH1 0x02
00001bff: MUL
00001c00: ADD
00001c01: DUP3
00001c02: SSTORE
00001c03: JUMPDEST
00001c04: POP
00001c05: POP
00001c06: POP
00001c07: POP
00001c08: POP
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: DUP1
00001c0c: SLOAD
00001c0d: PUSH2 0x1c15
00001c10: DUP2
00001c11: PUSH2 0x0efa
00001c14: JUMP
00001c15: JUMPDEST
00001c16: DUP1
00001c17: DUP5
00001c18: GT
00001c19: ISZERO
00001c1a: PUSH2 0x1c2a
00001c1d: JUMPI
00001c1e: PUSH2 0x1c29
00001c21: DUP5
00001c22: DUP3
00001c23: DUP5
00001c24: DUP7
00001c25: PUSH2 0x1b96
00001c28: JUMP
00001c29: JUMPDEST
00001c2a: JUMPDEST
00001c2b: DUP1
00001c2c: DUP5
00001c2d: LT
00001c2e: ISZERO
00001c2f: PUSH2 0x1c3f
00001c32: JUMPI
00001c33: PUSH2 0x1c3e
00001c36: DUP5
00001c37: DUP3
00001c38: DUP5
00001c39: DUP7
00001c3a: PUSH2 0x1ae8
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: JUMPDEST
00001c40: POP
00001c41: POP
00001c42: POP
00001c43: POP
00001c44: JUMP
00001c45: JUMPDEST
00001c46: DUP2
00001c47: DUP2
00001c48: LT
00001c49: ISZERO
00001c4a: PUSH2 0x1c62
00001c4d: JUMPI
00001c4e: PUSH2 0x1c57
00001c51: PUSH0
00001c52: DUP3
00001c53: PUSH2 0x17e8
00001c56: JUMP
00001c57: JUMPDEST
00001c58: PUSH1 0x01
00001c5a: DUP2
00001c5b: ADD
00001c5c: SWAP1
00001c5d: POP
00001c5e: PUSH2 0x1c45
00001c61: JUMP
00001c62: JUMPDEST
00001c63: POP
00001c64: POP
00001c65: JUMP
00001c66: JUMPDEST
00001c67: PUSH2 0x1c70
00001c6a: PUSH0
00001c6b: DUP3
00001c6c: PUSH2 0x1c0a
00001c6f: JUMP
00001c70: JUMPDEST
00001c71: POP
00001c72: JUMP
00001c73: JUMPDEST
00001c74: PUSH0
00001c75: DUP3
00001c76: EQ
00001c77: PUSH2 0x1c83
00001c7a: JUMPI
00001c7b: PUSH2 0x1c82
00001c7e: PUSH2 0x1676
00001c81: JUMP
00001c82: JUMPDEST
00001c83: JUMPDEST
00001c84: PUSH2 0x1c8c
00001c87: DUP2
00001c88: PUSH2 0x1c66
00001c8b: JUMP
00001c8c: JUMPDEST
00001c8d: POP
00001c8e: POP
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: PUSH2 0x1c9c
00001c94: PUSH0
00001c95: DUP1
00001c96: DUP4
00001c97: ADD
00001c98: PUSH2 0x17e8
00001c9b: JUMP
00001c9c: JUMPDEST
00001c9d: PUSH0
00001c9e: PUSH1 0x01
00001ca0: DUP3
00001ca1: ADD
00001ca2: SSTORE
00001ca3: PUSH2 0x1caf
00001ca6: PUSH0
00001ca7: PUSH1 0x02
00001ca9: DUP4
00001caa: ADD
00001cab: PUSH2 0x1c73
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: POP
00001cb1: JUMP
00001cb2: JUMPDEST
00001cb3: PUSH0
00001cb4: DUP3
00001cb5: EQ
00001cb6: PUSH2 0x1cc2
00001cb9: JUMPI
00001cba: PUSH2 0x1cc1
00001cbd: PUSH2 0x1676
00001cc0: JUMP
00001cc1: JUMPDEST
00001cc2: JUMPDEST
00001cc3: PUSH2 0x1ccb
00001cc6: DUP2
00001cc7: PUSH2 0x1c90
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: POP
00001ccd: POP
00001cce: JUMP
00001ccf: JUMPDEST
00001cd0: JUMPDEST
00001cd1: DUP2
00001cd2: DUP2
00001cd3: LT
00001cd4: ISZERO
00001cd5: PUSH2 0x1ced
00001cd8: JUMPI
00001cd9: PUSH2 0x1ce2
00001cdc: PUSH0
00001cdd: DUP3
00001cde: PUSH2 0x1cb2
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: PUSH1 0x03
00001ce5: DUP2
00001ce6: ADD
00001ce7: SWAP1
00001ce8: POP
00001ce9: PUSH2 0x1cd0
00001cec: JUMP
00001ced: JUMPDEST
00001cee: POP
00001cef: POP
00001cf0: JUMP
00001cf1: JUMPDEST
00001cf2: DUP2
00001cf3: DUP4
00001cf4: LT
00001cf5: ISZERO
00001cf6: PUSH2 0x1d2a
00001cf9: JUMPI
00001cfa: PUSH2 0x1d02
00001cfd: DUP3
00001cfe: PUSH2 0x1a65
00001d01: JUMP
00001d02: JUMPDEST
00001d03: PUSH2 0x1d0b
00001d06: DUP5
00001d07: PUSH2 0x1a65
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH2 0x1d14
00001d0f: DUP4
00001d10: PUSH2 0x1a7b
00001d13: JUMP
00001d14: JUMPDEST
00001d15: DUP2
00001d16: DUP2
00001d17: ADD
00001d18: DUP4
00001d19: DUP3
00001d1a: ADD
00001d1b: PUSH2 0x1d24
00001d1e: DUP2
00001d1f: DUP4
00001d20: PUSH2 0x1ccf
00001d23: JUMP
00001d24: JUMPDEST
00001d25: POP
00001d26: POP
00001d27: POP
00001d28: POP
00001d29: POP
00001d2a: JUMPDEST
00001d2b: POP
00001d2c: POP
00001d2d: POP
00001d2e: JUMP
00001d2f: JUMPDEST
00001d30: PUSH9 0x010000000000000000
00001d3a: DUP3
00001d3b: GT
00001d3c: ISZERO
00001d3d: PUSH2 0x1d49
00001d40: JUMPI
00001d41: PUSH2 0x1d48
00001d44: PUSH2 0x12b8
00001d47: JUMP
00001d48: JUMPDEST
00001d49: JUMPDEST
00001d4a: PUSH2 0x1d52
00001d4d: DUP2
00001d4e: PUSH2 0x1a1a
00001d51: JUMP
00001d52: JUMPDEST
00001d53: DUP3
00001d54: DUP3
00001d55: SSTORE
00001d56: PUSH2 0x1d60
00001d59: DUP4
00001d5a: DUP3
00001d5b: DUP5
00001d5c: PUSH2 0x1cf1
00001d5f: JUMP
00001d60: JUMPDEST
00001d61: POP
00001d62: POP
00001d63: POP
00001d64: JUMP
00001d65: JUMPDEST
00001d66: PUSH0
00001d67: DUP3
00001d68: SWAP1
00001d69: POP
00001d6a: SWAP3
00001d6b: SWAP2
00001d6c: POP
00001d6d: POP
00001d6e: JUMP
00001d6f: JUMPDEST
00001d70: PUSH0
00001d71: DUP2
00001d72: CALLDATALOAD
00001d73: PUSH2 0x1d7b
00001d76: DUP2
00001d77: PUSH2 0x108b
00001d7a: JUMP
00001d7b: JUMPDEST
00001d7c: DUP1
00001d7d: SWAP2
00001d7e: POP
00001d7f: POP
00001d80: SWAP2
00001d81: SWAP1
00001d82: POP
00001d83: JUMP
00001d84: JUMPDEST
00001d85: PUSH0
00001d86: DUP2
00001d87: PUSH0
00001d88: SHL
00001d89: SWAP1
00001d8a: POP
00001d8b: SWAP2
00001d8c: SWAP1
00001d8d: POP
00001d8e: JUMP
00001d8f: JUMPDEST
00001d90: PUSH0
00001d91: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001db2: PUSH2 0x1dba
00001db5: DUP5
00001db6: PUSH2 0x1d84
00001db9: JUMP
00001dba: JUMPDEST
00001dbb: SWAP4
00001dbc: POP
00001dbd: DUP1
00001dbe: NOT
00001dbf: DUP4
00001dc0: AND
00001dc1: SWAP3
00001dc2: POP
00001dc3: DUP1
00001dc4: DUP5
00001dc5: AND
00001dc6: DUP4
00001dc7: OR
00001dc8: SWAP2
00001dc9: POP
00001dca: POP
00001dcb: SWAP3
00001dcc: SWAP2
00001dcd: POP
00001dce: POP
00001dcf: JUMP
00001dd0: JUMPDEST
00001dd1: PUSH2 0x1dd9
00001dd4: DUP3
00001dd5: PUSH2 0x1795
00001dd8: JUMP
00001dd9: JUMPDEST
00001dda: PUSH2 0x1dec
00001ddd: PUSH2 0x1de5
00001de0: DUP3
00001de1: PUSH2 0x17b6
00001de4: JUMP
00001de5: JUMPDEST
00001de6: DUP4
00001de7: SLOAD
00001de8: PUSH2 0x1d8f
00001deb: JUMP
00001dec: JUMPDEST
00001ded: DUP3
00001dee: SSTORE
00001def: POP
00001df0: POP
00001df1: POP
00001df2: JUMP
00001df3: JUMPDEST
00001df4: PUSH0
00001df5: DUP2
00001df6: CALLDATALOAD
00001df7: PUSH2 0x1dff
00001dfa: DUP2
00001dfb: PUSH2 0x1061
00001dfe: JUMP
00001dff: JUMPDEST
00001e00: DUP1
00001e01: SWAP2
00001e02: POP
00001e03: POP
00001e04: SWAP2
00001e05: SWAP1
00001e06: POP
00001e07: JUMP
00001e08: JUMPDEST
00001e09: PUSH0
00001e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1f: PUSH2 0x1e27
00001e22: DUP5
00001e23: PUSH2 0x1d84
00001e26: JUMP
00001e27: JUMPDEST
00001e28: SWAP4
00001e29: POP
00001e2a: DUP1
00001e2b: NOT
00001e2c: DUP4
00001e2d: AND
00001e2e: SWAP3
00001e2f: POP
00001e30: DUP1
00001e31: DUP5
00001e32: AND
00001e33: DUP4
00001e34: OR
00001e35: SWAP2
00001e36: POP
00001e37: POP
00001e38: SWAP3
00001e39: SWAP2
00001e3a: POP
00001e3b: POP
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: PUSH0
00001e3f: PUSH2 0x1e57
00001e42: PUSH2 0x1e52
00001e45: PUSH2 0x1e4d
00001e48: DUP5
00001e49: PUSH2 0x1031
00001e4c: JUMP
00001e4d: JUMPDEST
00001e4e: PUSH2 0x178c
00001e51: JUMP
00001e52: JUMPDEST
00001e53: PUSH2 0x1031
00001e56: JUMP
00001e57: JUMPDEST
00001e58: SWAP1
00001e59: POP
00001e5a: SWAP2
00001e5b: SWAP1
00001e5c: POP
00001e5d: JUMP
00001e5e: JUMPDEST
00001e5f: PUSH0
00001e60: PUSH2 0x1e68
00001e63: DUP3
00001e64: PUSH2 0x1e3d
00001e67: JUMP
00001e68: JUMPDEST
00001e69: SWAP1
00001e6a: POP
00001e6b: SWAP2
00001e6c: SWAP1
00001e6d: POP
00001e6e: JUMP
00001e6f: JUMPDEST
00001e70: PUSH0
00001e71: PUSH2 0x1e79
00001e74: DUP3
00001e75: PUSH2 0x1e5e
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: SWAP1
00001e7b: POP
00001e7c: SWAP2
00001e7d: SWAP1
00001e7e: POP
00001e7f: JUMP
00001e80: JUMPDEST
00001e81: PUSH0
00001e82: DUP2
00001e83: SWAP1
00001e84: POP
00001e85: SWAP2
00001e86: SWAP1
00001e87: POP
00001e88: JUMP
00001e89: JUMPDEST
00001e8a: PUSH2 0x1e92
00001e8d: DUP3
00001e8e: PUSH2 0x1e6f
00001e91: JUMP
00001e92: JUMPDEST
00001e93: PUSH2 0x1ea5
00001e96: PUSH2 0x1e9e
00001e99: DUP3
00001e9a: PUSH2 0x1e80
00001e9d: JUMP
00001e9e: JUMPDEST
00001e9f: DUP4
00001ea0: SLOAD
00001ea1: PUSH2 0x1e08
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: DUP3
00001ea7: SSTORE
00001ea8: POP
00001ea9: POP
00001eaa: POP
00001eab: JUMP
00001eac: JUMPDEST
00001ead: PUSH0
00001eae: DUP2
00001eaf: ADD
00001eb0: PUSH0
00001eb1: DUP4
00001eb2: ADD
00001eb3: DUP1
00001eb4: PUSH2 0x1ebc
00001eb7: DUP2
00001eb8: PUSH2 0x1d6f
00001ebb: JUMP
00001ebc: JUMPDEST
00001ebd: SWAP1
00001ebe: POP
00001ebf: PUSH2 0x1ec8
00001ec2: DUP2
00001ec3: DUP5
00001ec4: PUSH2 0x1dd0
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: POP
00001eca: POP
00001ecb: POP
00001ecc: PUSH1 0x01
00001ece: DUP2
00001ecf: ADD
00001ed0: PUSH1 0x20
00001ed2: DUP4
00001ed3: ADD
00001ed4: DUP1
00001ed5: PUSH2 0x1edd
00001ed8: DUP2
00001ed9: PUSH2 0x1df3
00001edc: JUMP
00001edd: JUMPDEST
00001ede: SWAP1
00001edf: POP
00001ee0: PUSH2 0x1ee9
00001ee3: DUP2
00001ee4: DUP5
00001ee5: PUSH2 0x1e89
00001ee8: JUMP
00001ee9: JUMPDEST
00001eea: POP
00001eeb: POP
00001eec: POP
00001eed: PUSH1 0x02
00001eef: DUP2
00001ef0: ADD
00001ef1: PUSH1 0x40
00001ef3: DUP4
00001ef4: ADD
00001ef5: PUSH2 0x1efe
00001ef8: DUP2
00001ef9: DUP6
00001efa: PUSH2 0x16a2
00001efd: JUMP
00001efe: JUMPDEST
00001eff: PUSH2 0x1f09
00001f02: DUP2
00001f03: DUP4
00001f04: DUP7
00001f05: PUSH2 0x1978
00001f08: JUMP
00001f09: JUMPDEST
00001f0a: POP
00001f0b: POP
00001f0c: POP
00001f0d: POP
00001f0e: POP
00001f0f: POP
00001f10: JUMP
00001f11: JUMPDEST
00001f12: PUSH2 0x1f1b
00001f15: DUP3
00001f16: DUP3
00001f17: PUSH2 0x1eac
00001f1a: JUMP
00001f1b: JUMPDEST
00001f1c: POP
00001f1d: POP
00001f1e: JUMP
00001f1f: JUMPDEST
00001f20: PUSH2 0x1f29
00001f23: DUP4
00001f24: DUP4
00001f25: PUSH2 0x1d65
00001f28: JUMP
00001f29: JUMPDEST
00001f2a: PUSH2 0x1f33
00001f2d: DUP2
00001f2e: DUP4
00001f2f: PUSH2 0x1d2f
00001f32: JUMP
00001f33: JUMPDEST
00001f34: PUSH2 0x1f3c
00001f37: DUP4
00001f38: PUSH2 0x19ea
00001f3b: JUMP
00001f3c: JUMPDEST
00001f3d: PUSH2 0x1f45
00001f40: DUP4
00001f41: PUSH2 0x1a7b
00001f44: JUMP
00001f45: JUMPDEST
00001f46: PUSH0
00001f47: JUMPDEST
00001f48: DUP4
00001f49: DUP2
00001f4a: LT
00001f4b: ISZERO
00001f4c: PUSH2 0x1f7b
00001f4f: JUMPI
00001f50: PUSH2 0x1f59
00001f53: DUP4
00001f54: DUP8
00001f55: PUSH2 0x19f3
00001f58: JUMP
00001f59: JUMPDEST
00001f5a: PUSH2 0x1f63
00001f5d: DUP2
00001f5e: DUP5
00001f5f: PUSH2 0x1f11
00001f62: JUMP
00001f63: JUMPDEST
00001f64: PUSH1 0x20
00001f66: DUP5
00001f67: ADD
00001f68: SWAP4
00001f69: POP
00001f6a: PUSH1 0x03
00001f6c: DUP4
00001f6d: ADD
00001f6e: SWAP3
00001f6f: POP
00001f70: POP
00001f71: PUSH1 0x01
00001f73: DUP2
00001f74: ADD
00001f75: SWAP1
00001f76: POP
00001f77: PUSH2 0x1f47
00001f7a: JUMP
00001f7b: JUMPDEST
00001f7c: POP
00001f7d: POP
00001f7e: POP
00001f7f: POP
00001f80: POP
00001f81: POP
00001f82: POP
00001f83: JUMP
00001f84: JUMPDEST
00001f85: PUSH2 0x1f8f
00001f88: DUP4
00001f89: DUP4
00001f8a: DUP4
00001f8b: PUSH2 0x1f1f
00001f8e: JUMP
00001f8f: JUMPDEST
00001f90: POP
00001f91: POP
00001f92: POP
00001f93: JUMP
00001f94: JUMPDEST
00001f95: PUSH0
00001f96: DUP2
00001f97: ADD
00001f98: PUSH0
00001f99: DUP4
00001f9a: ADD
00001f9b: PUSH2 0x1fa4
00001f9e: DUP2
00001f9f: DUP6
00001fa0: PUSH2 0x16a2
00001fa3: JUMP
00001fa4: JUMPDEST
00001fa5: PUSH2 0x1faf
00001fa8: DUP2
00001fa9: DUP4
00001faa: DUP7
00001fab: PUSH2 0x1978
00001fae: JUMP
00001faf: JUMPDEST
00001fb0: POP
00001fb1: POP
00001fb2: POP
00001fb3: POP
00001fb4: PUSH1 0x01
00001fb6: DUP2
00001fb7: ADD
00001fb8: PUSH1 0x20
00001fba: DUP4
00001fbb: ADD
00001fbc: PUSH2 0x1fc5
00001fbf: DUP2
00001fc0: DUP6
00001fc1: PUSH2 0x1988
00001fc4: JUMP
00001fc5: JUMPDEST
00001fc6: PUSH2 0x1fd0
00001fc9: DUP2
00001fca: DUP4
00001fcb: DUP7
00001fcc: PUSH2 0x1f84
00001fcf: JUMP
00001fd0: JUMPDEST
00001fd1: POP
00001fd2: POP
00001fd3: POP
00001fd4: POP
00001fd5: POP
00001fd6: POP
00001fd7: JUMP
00001fd8: JUMPDEST
00001fd9: PUSH2 0x1fe2
00001fdc: DUP3
00001fdd: DUP3
00001fde: PUSH2 0x1f94
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: POP
00001fe4: POP
00001fe5: JUMP
00001fe6: JUMPDEST
00001fe7: PUSH0
00001fe8: PUSH8 0xffffffffffffffff
00001ff1: DUP3
00001ff2: GT
00001ff3: ISZERO
00001ff4: PUSH2 0x2000
00001ff7: JUMPI
00001ff8: PUSH2 0x1fff
00001ffb: PUSH2 0x12b8
00001ffe: JUMP
00001fff: JUMPDEST
00002000: JUMPDEST
00002001: PUSH1 0x20
00002003: DUP3
00002004: MUL
00002005: SWAP1
00002006: POP
00002007: PUSH1 0x20
00002009: DUP2
0000200a: ADD
0000200b: SWAP1
0000200c: POP
0000200d: SWAP2
0000200e: SWAP1
0000200f: POP
00002010: JUMP
00002011: JUMPDEST
00002012: PUSH0
00002013: DUP1
00002014: REVERT
00002015: JUMPDEST
00002016: PUSH0
00002017: DUP1
00002018: REVERT
00002019: JUMPDEST
0000201a: PUSH0
0000201b: PUSH1 0x60
0000201d: DUP3
0000201e: DUP5
0000201f: SUB
00002020: SLT
00002021: ISZERO
00002022: PUSH2 0x202e
00002025: JUMPI
00002026: PUSH2 0x202d
00002029: PUSH2 0x2011
0000202c: JUMP
0000202d: JUMPDEST
0000202e: JUMPDEST
0000202f: PUSH2 0x2038
00002032: PUSH1 0x60
00002034: PUSH2 0x1316
00002037: JUMP
00002038: JUMPDEST
00002039: SWAP1
0000203a: POP
0000203b: PUSH0
0000203c: PUSH2 0x2047
0000203f: DUP5
00002040: DUP3
00002041: DUP6
00002042: ADD
00002043: PUSH2 0x10a1
00002046: JUMP
00002047: JUMPDEST
00002048: PUSH0
00002049: DUP4
0000204a: ADD
0000204b: MSTORE
0000204c: POP
0000204d: PUSH1 0x20
0000204f: PUSH2 0x205a
00002052: DUP5
00002053: DUP3
00002054: DUP6
00002055: ADD
00002056: PUSH2 0x1077
00002059: JUMP
0000205a: JUMPDEST
0000205b: PUSH1 0x20
0000205d: DUP4
0000205e: ADD
0000205f: MSTORE
00002060: POP
00002061: PUSH1 0x40
00002063: DUP3
00002064: ADD
00002065: CALLDATALOAD
00002066: PUSH8 0xffffffffffffffff
0000206f: DUP2
00002070: GT
00002071: ISZERO
00002072: PUSH2 0x207e
00002075: JUMPI
00002076: PUSH2 0x207d
00002079: PUSH2 0x2015
0000207c: JUMP
0000207d: JUMPDEST
0000207e: JUMPDEST
0000207f: PUSH2 0x208a
00002082: DUP5
00002083: DUP3
00002084: DUP6
00002085: ADD
00002086: PUSH2 0x13af
00002089: JUMP
0000208a: JUMPDEST
0000208b: PUSH1 0x40
0000208d: DUP4
0000208e: ADD
0000208f: MSTORE
00002090: POP
00002091: SWAP3
00002092: SWAP2
00002093: POP
00002094: POP
00002095: JUMP
00002096: JUMPDEST
00002097: PUSH0
00002098: PUSH2 0x20a8
0000209b: PUSH2 0x20a3
0000209e: DUP5
0000209f: PUSH2 0x1fe6
000020a2: JUMP
000020a3: JUMPDEST
000020a4: PUSH2 0x1316
000020a7: JUMP
000020a8: JUMPDEST
000020a9: SWAP1
000020aa: POP
000020ab: DUP1
000020ac: DUP4
000020ad: DUP3
000020ae: MSTORE
000020af: PUSH1 0x20
000020b1: DUP3
000020b2: ADD
000020b3: SWAP1
000020b4: POP
000020b5: PUSH1 0x20
000020b7: DUP5
000020b8: MUL
000020b9: DUP4
000020ba: ADD
000020bb: DUP6
000020bc: DUP2
000020bd: GT
000020be: ISZERO
000020bf: PUSH2 0x20cb
000020c2: JUMPI
000020c3: PUSH2 0x20ca
000020c6: PUSH2 0x10fb
000020c9: JUMP
000020ca: JUMPDEST
000020cb: JUMPDEST
000020cc: DUP4
000020cd: JUMPDEST
000020ce: DUP2
000020cf: DUP2
000020d0: LT
000020d1: ISZERO
000020d2: PUSH2 0x2112
000020d5: JUMPI
000020d6: DUP1
000020d7: CALLDATALOAD
000020d8: PUSH8 0xffffffffffffffff
000020e1: DUP2
000020e2: GT
000020e3: ISZERO
000020e4: PUSH2 0x20f0
000020e7: JUMPI
000020e8: PUSH2 0x20ef
000020eb: PUSH2 0x10f3
000020ee: JUMP
000020ef: JUMPDEST
000020f0: JUMPDEST
000020f1: DUP1
000020f2: DUP7
000020f3: ADD
000020f4: PUSH2 0x20fd
000020f7: DUP10
000020f8: DUP3
000020f9: PUSH2 0x2019
000020fc: JUMP
000020fd: JUMPDEST
000020fe: DUP6
000020ff: MSTORE
00002100: PUSH1 0x20
00002102: DUP6
00002103: ADD
00002104: SWAP5
00002105: POP
00002106: POP
00002107: POP
00002108: PUSH1 0x20
0000210a: DUP2
0000210b: ADD
0000210c: SWAP1
0000210d: POP
0000210e: PUSH2 0x20cd
00002111: JUMP
00002112: JUMPDEST
00002113: POP
00002114: POP
00002115: POP
00002116: SWAP4
00002117: SWAP3
00002118: POP
00002119: POP
0000211a: POP
0000211b: JUMP
0000211c: JUMPDEST
0000211d: PUSH0
0000211e: PUSH2 0x2128
00002121: CALLDATASIZE
00002122: DUP5
00002123: DUP5
00002124: PUSH2 0x2096
00002127: JUMP
00002128: JUMPDEST
00002129: SWAP1
0000212a: POP
0000212b: SWAP3
0000212c: SWAP2
0000212d: POP
0000212e: POP
0000212f: JUMP
00002130: INVALID
00002131: LOG2
00002132: PUSH5 0x6970667358
00002138: UNKNOWN(0x22)
00002139: SLT
0000213a: KECCAK256
0000213b: DUP3
0000213c: UNKNOWN(0xF7)
0000213d: UNKNOWN(0xA8)
0000213e: DELEGATECALL
0000213f: UNKNOWN(0x28)
00002140: OR
00002141: UNKNOWN(0xF9)
00002142: UNKNOWN(0xC4)
00002143: CALLDATALOAD
00002144: UNKNOWN(0xB8)
00002145: UNKNOWN(0xE6)
00002146: LOG4
00002147: UNKNOWN(0x2A)
00002148: UNKNOWN(0xBD)
00002149: COINBASE
0000214a: UNKNOWN(0xE8)
0000214b: UNKNOWN(0x22)
0000214c: UNKNOWN(0x21)
0000214d: PUSH32

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high upgradeability detector Untrusted DELEGATECALL target reachable 55 no no
view
trace_id: 0x2a30ce0e9496853664e058332f16fbd39a9f847504e78468b9e414c41b7deed0
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 96,
    "trace_id": "0x2a30ce0e9496853664e058332f16fbd39a9f847504e78468b9e414c41b7deed0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xbc00d44e",
            "selector": "0xbc00d44e",
            "calldata_variants": [
                "0xbc00d44e",
                "0xbc00d44e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6a6d3e2",
            "selector": "0xd6a6d3e2",
            "calldata_variants": [
                "0xd6a6d3e2",
                "0xd6a6d3e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3d97bba",
            "selector": "0xf3d97bba",
            "calldata_variants": [
                "0xf3d97bba",
                "0xf3d97bba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf607db8d",
            "selector": "0xf607db8d",
            "calldata_variants": [
                "0xf607db8d",
                "0xf607db8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a39ca1",
            "selector": "0x07a39ca1",
            "calldata_variants": [
                "0x07a39ca1",
                "0x07a39ca10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1da19dd4",
            "selector": "0x1da19dd4",
            "calldata_variants": [
                "0x1da19dd4",
                "0x1da19dd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48569e96",
            "selector": "0x48569e96",
            "calldata_variants": [
                "0x48569e96",
                "0x48569e960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1792,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        },
        {
            "pc": 8510,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [
        {
            "pc": 1376,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1656,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1905,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2668,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2834,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3086,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3328,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "delegatecall_count": 2,
    "untrusted_delegatecall_count": 2
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x34e64ca484574c843ed05c4f13a14ab3263ec515392120b051628dd5b8a55a24
call_targets: 0xb22a26c6da22cc4686560a45469bf1654bf4f3cd
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x34e64ca484574c843ed05c4f13a14ab3263ec515392120b051628dd5b8a55a24",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb22a26c6da22cc4686560a45469bf1654bf4f3cd"
    ],
    "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": "0xbc00d44e",
            "selector": "0xbc00d44e",
            "calldata_variants": [
                "0xbc00d44e",
                "0xbc00d44e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6a6d3e2",
            "selector": "0xd6a6d3e2",
            "calldata_variants": [
                "0xd6a6d3e2",
                "0xd6a6d3e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3d97bba",
            "selector": "0xf3d97bba",
            "calldata_variants": [
                "0xf3d97bba",
                "0xf3d97bba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf607db8d",
            "selector": "0xf607db8d",
            "calldata_variants": [
                "0xf607db8d",
                "0xf607db8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a39ca1",
            "selector": "0x07a39ca1",
            "calldata_variants": [
                "0x07a39ca1",
                "0x07a39ca10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1da19dd4",
            "selector": "0x1da19dd4",
            "calldata_variants": [
                "0x1da19dd4",
                "0x1da19dd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48569e96",
            "selector": "0x48569e96",
            "calldata_variants": [
                "0x48569e96",
                "0x48569e960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 831,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1578,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2498,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 1376,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1656,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1905,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2668,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2834,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3086,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3328,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 6
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x34e64ca484574c843ed05c4f13a14ab3263ec515392120b051628dd5b8a55a24
call_targets: 0xb22a26c6da22cc4686560a45469bf1654bf4f3cd
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x34e64ca484574c843ed05c4f13a14ab3263ec515392120b051628dd5b8a55a24",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb22a26c6da22cc4686560a45469bf1654bf4f3cd"
    ],
    "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": "0xbc00d44e",
            "selector": "0xbc00d44e",
            "calldata_variants": [
                "0xbc00d44e",
                "0xbc00d44e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6a6d3e2",
            "selector": "0xd6a6d3e2",
            "calldata_variants": [
                "0xd6a6d3e2",
                "0xd6a6d3e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3d97bba",
            "selector": "0xf3d97bba",
            "calldata_variants": [
                "0xf3d97bba",
                "0xf3d97bba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf607db8d",
            "selector": "0xf607db8d",
            "calldata_variants": [
                "0xf607db8d",
                "0xf607db8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a39ca1",
            "selector": "0x07a39ca1",
            "calldata_variants": [
                "0x07a39ca1",
                "0x07a39ca10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1da19dd4",
            "selector": "0x1da19dd4",
            "calldata_variants": [
                "0x1da19dd4",
                "0x1da19dd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48569e96",
            "selector": "0x48569e96",
            "calldata_variants": [
                "0x48569e96",
                "0x48569e960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 831,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1578,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2498,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 1376,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1656,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1905,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2668,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2834,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3086,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3328,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector SELFDESTRUCT reachable 45 no no
view
trace_id: 0x70393443fc462e1f51a2feaff3f60e4a062a5521f48a1e5a0defd2e2c5ce5137
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 16,
    "trace_id": "0x70393443fc462e1f51a2feaff3f60e4a062a5521f48a1e5a0defd2e2c5ce5137",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xbc00d44e",
            "selector": "0xbc00d44e",
            "calldata_variants": [
                "0xbc00d44e",
                "0xbc00d44e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6a6d3e2",
            "selector": "0xd6a6d3e2",
            "calldata_variants": [
                "0xd6a6d3e2",
                "0xd6a6d3e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3d97bba",
            "selector": "0xf3d97bba",
            "calldata_variants": [
                "0xf3d97bba",
                "0xf3d97bba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf607db8d",
            "selector": "0xf607db8d",
            "calldata_variants": [
                "0xf607db8d",
                "0xf607db8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a39ca1",
            "selector": "0x07a39ca1",
            "calldata_variants": [
                "0x07a39ca1",
                "0x07a39ca10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1da19dd4",
            "selector": "0x1da19dd4",
            "calldata_variants": [
                "0x1da19dd4",
                "0x1da19dd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48569e96",
            "selector": "0x48569e96",
            "calldata_variants": [
                "0x48569e96",
                "0x48569e960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 1376,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1656,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1905,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2668,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2834,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3086,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3328,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "selfdestruct_count": 1
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x70393443fc462e1f51a2feaff3f60e4a062a5521f48a1e5a0defd2e2c5ce5137
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 16,
    "trace_id": "0x70393443fc462e1f51a2feaff3f60e4a062a5521f48a1e5a0defd2e2c5ce5137",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xbc00d44e",
            "selector": "0xbc00d44e",
            "calldata_variants": [
                "0xbc00d44e",
                "0xbc00d44e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6a6d3e2",
            "selector": "0xd6a6d3e2",
            "calldata_variants": [
                "0xd6a6d3e2",
                "0xd6a6d3e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3d97bba",
            "selector": "0xf3d97bba",
            "calldata_variants": [
                "0xf3d97bba",
                "0xf3d97bba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf607db8d",
            "selector": "0xf607db8d",
            "calldata_variants": [
                "0xf607db8d",
                "0xf607db8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a39ca1",
            "selector": "0x07a39ca1",
            "calldata_variants": [
                "0x07a39ca1",
                "0x07a39ca10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1da19dd4",
            "selector": "0x1da19dd4",
            "calldata_variants": [
                "0x1da19dd4",
                "0x1da19dd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48569e96",
            "selector": "0x48569e96",
            "calldata_variants": [
                "0x48569e96",
                "0x48569e960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 3,
    "create2_count": 0
}