019b3836-4740-7065-8408-017f41e8e094
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 6279 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 6280 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108926 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108927 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108928 | detector.run | complete | 1 / 3 | 1 week ago |
| 108929 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0148 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x173825d9 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x019a 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x1abfb69c 00000025: EQ 00000026: PUSH2 0x01f6 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x23fbae41 00000030: EQ 00000031: PUSH2 0x0244 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x2f54bf6e 0000003b: EQ 0000003c: PUSH2 0x0322 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x4123cb6b 00000046: EQ 00000047: PUSH2 0x034a 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x432dcdb8 00000051: EQ 00000052: PUSH2 0x0353 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x52375093 0000005c: EQ 0000005d: PUSH2 0x0407 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x54fd4d50 00000067: EQ 00000068: PUSH2 0x0411 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x5c52c2f5 00000072: EQ 00000073: PUSH2 0x0419 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x659010e7 0000007d: EQ 0000007e: PUSH2 0x0443 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x67f7c83a 00000088: EQ 00000089: PUSH2 0x044d 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x7065cb48 00000093: EQ 00000094: PUSH2 0x046b 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x746c9171 0000009e: EQ 0000009f: PUSH2 0x0498 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x797af627 000000a9: EQ 000000aa: PUSH2 0x04a1 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8607fe8a 000000b4: EQ 000000b5: PUSH2 0x04b4 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xa0b7967b 000000bf: EQ 000000c0: PUSH2 0x04d8 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xb20d30a9 000000ca: EQ 000000cb: PUSH2 0x0522 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xb61d27f6 000000d5: EQ 000000d6: PUSH2 0x054f 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xb75c7dc6 000000e0: EQ 000000e1: PUSH2 0x0570 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xb945d1f6 000000eb: EQ 000000ec: PUSH2 0x059f 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xba51a6df 000000f6: EQ 000000f7: PUSH2 0x05d4 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xbdba57b3 00000101: EQ 00000102: PUSH2 0x0601 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xc2cf7326 0000010c: EQ 0000010d: PUSH2 0x067a 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xc41a360a 00000117: EQ 00000118: PUSH2 0x06b8 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xcbf0b0c0 00000122: EQ 00000123: PUSH2 0x0713 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xe8aca2a3 0000012d: EQ 0000012e: PUSH2 0x0740 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xf00d4b5d 00000138: EQ 00000139: PUSH2 0x075b 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xf1736d86 00000143: EQ 00000144: PUSH2 0x078d 00000147: JUMPI 00000148: JUMPDEST 00000149: PUSH2 0x0797 0000014c: PUSH1 0x00 0000014e: CALLVALUE 0000014f: GT 00000150: ISZERO 00000151: PUSH2 0x0198 00000154: JUMPI 00000155: PUSH1 0x40 00000157: DUP1 00000158: MLOAD 00000159: PUSH1 0x01 0000015b: PUSH1 0xa0 0000015d: PUSH1 0x02 0000015f: EXP 00000160: SUB 00000161: CALLER 00000162: AND 00000163: DUP2 00000164: MSTORE 00000165: CALLVALUE 00000166: PUSH1 0x20 00000168: DUP3 00000169: ADD 0000016a: MSTORE 0000016b: DUP2 0000016c: MLOAD 0000016d: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000018e: SWAP3 0000018f: SWAP2 00000190: DUP2 00000191: SWAP1 00000192: SUB 00000193: SWAP1 00000194: SWAP2 00000195: ADD 00000196: SWAP1 00000197: LOG1 00000198: JUMPDEST 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH2 0x0797 0000019e: PUSH1 0x04 000001a0: CALLDATALOAD 000001a1: PUSH1 0x00 000001a3: PUSH1 0x00 000001a5: CALLDATASIZE 000001a6: PUSH1 0x40 000001a8: MLOAD 000001a9: DUP1 000001aa: DUP4 000001ab: DUP4 000001ac: DUP1 000001ad: DUP3 000001ae: DUP5 000001af: CALLDATACOPY 000001b0: DUP3 000001b1: ADD 000001b2: SWAP2 000001b3: POP 000001b4: POP 000001b5: SWAP3 000001b6: POP 000001b7: POP 000001b8: POP 000001b9: PUSH1 0x40 000001bb: MLOAD 000001bc: DUP1 000001bd: SWAP2 000001be: SUB 000001bf: SWAP1 000001c0: KECCAK256 000001c1: PUSH2 0x0b53 000001c4: DUP2 000001c5: JUMPDEST 000001c6: PUSH1 0x00 000001c8: PUSH2 0x14c1 000001cb: DUP3 000001cc: CALLER 000001cd: JUMPDEST 000001ce: PUSH1 0x01 000001d0: PUSH1 0xa0 000001d2: PUSH1 0x02 000001d4: EXP 000001d5: SUB 000001d6: DUP2 000001d7: AND 000001d8: PUSH1 0x00 000001da: SWAP1 000001db: DUP2 000001dc: MSTORE 000001dd: PUSH2 0x0102 000001e0: PUSH1 0x20 000001e2: MSTORE 000001e3: PUSH1 0x40 000001e5: DUP2 000001e6: KECCAK256 000001e7: SLOAD 000001e8: DUP2 000001e9: DUP1 000001ea: DUP3 000001eb: DUP2 000001ec: EQ 000001ed: ISZERO 000001ee: PUSH2 0x17ff 000001f1: JUMPI 000001f2: PUSH2 0x023b 000001f5: JUMP 000001f6: JUMPDEST 000001f7: PUSH2 0x0799 000001fa: PUSH1 0x04 000001fc: CALLDATALOAD 000001fd: PUSH1 0x24 000001ff: CALLDATALOAD 00000200: PUSH1 0x01 00000202: PUSH1 0xa0 00000204: PUSH1 0x02 00000206: EXP 00000207: SUB 00000208: DUP3 00000209: AND 0000020a: PUSH1 0x00 0000020c: SWAP1 0000020d: DUP2 0000020e: MSTORE 0000020f: PUSH2 0x0102 00000212: PUSH1 0x20 00000214: SWAP1 00000215: DUP2 00000216: MSTORE 00000217: PUSH1 0x40 00000219: DUP1 0000021a: DUP4 0000021b: KECCAK256 0000021c: SLOAD 0000021d: DUP5 0000021e: DUP5 0000021f: MSTORE 00000220: PUSH2 0x0103 00000223: SWAP1 00000224: SWAP3 00000225: MSTORE 00000226: DUP3 00000227: KECCAK256 00000228: PUSH1 0x01 0000022a: DUP2 0000022b: ADD 0000022c: SLOAD 0000022d: PUSH1 0x02 0000022f: DUP4 00000230: SWAP1 00000231: EXP 00000232: SWAP1 00000233: DUP2 00000234: AND 00000235: SWAP1 00000236: SWAP4 00000237: EQ 00000238: ISZERO 00000239: SWAP3 0000023a: SWAP1 0000023b: JUMPDEST 0000023c: POP 0000023d: POP 0000023e: POP 0000023f: SWAP3 00000240: SWAP2 00000241: POP 00000242: POP 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x0799 00000248: PUSH1 0x04 0000024a: CALLDATALOAD 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: DUP1 0000024f: JUMPDEST 00000250: PUSH2 0x0104 00000253: SLOAD 00000254: DUP2 00000255: LT 00000256: ISZERO 00000257: PUSH2 0x083b 0000025a: JUMPI 0000025b: PUSH2 0x0104 0000025e: DUP1 0000025f: SLOAD 00000260: PUSH2 0x0112 00000263: SWAP2 00000264: PUSH1 0x00 00000266: SWAP2 00000267: DUP5 00000268: SWAP1 00000269: DUP2 0000026a: LT 0000026b: ISZERO 0000026c: PUSH2 0x0002 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: MLOAD 00000274: PUSH1 0x20 00000276: PUSH2 0x198b 00000279: DUP4 0000027a: CODECOPY 0000027b: DUP2 0000027c: MLOAD 0000027d: SWAP2 0000027e: MSTORE 0000027f: ADD 00000280: SLOAD 00000281: DUP3 00000282: MSTORE 00000283: POP 00000284: PUSH1 0x20 00000286: SWAP2 00000287: SWAP1 00000288: SWAP2 00000289: MSTORE 0000028a: PUSH1 0x40 0000028c: DUP2 0000028d: KECCAK256 0000028e: SLOAD 0000028f: PUSH1 0x01 00000291: PUSH1 0xa0 00000293: PUSH1 0x02 00000295: EXP 00000296: SUB 00000297: AND 00000298: EQ 00000299: ISZERO 0000029a: DUP1 0000029b: PUSH2 0x02e6 0000029e: JUMPI 0000029f: POP 000002a0: PUSH2 0x0104 000002a3: DUP1 000002a4: SLOAD 000002a5: PUSH2 0x0112 000002a8: SWAP2 000002a9: PUSH1 0x00 000002ab: SWAP2 000002ac: DUP5 000002ad: SWAP1 000002ae: DUP2 000002af: LT 000002b0: ISZERO 000002b1: PUSH2 0x0002 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: MLOAD 000002b9: PUSH1 0x20 000002bb: PUSH2 0x198b 000002be: DUP4 000002bf: CODECOPY 000002c0: DUP2 000002c1: MLOAD 000002c2: SWAP2 000002c3: MSTORE 000002c4: ADD 000002c5: SLOAD 000002c6: DUP3 000002c7: MSTORE 000002c8: POP 000002c9: PUSH1 0x40 000002cb: DUP2 000002cc: KECCAK256 000002cd: PUSH1 0x02 000002cf: SWAP1 000002d0: DUP2 000002d1: ADD 000002d2: SLOAD 000002d3: PUSH1 0x01 000002d5: DUP2 000002d6: AND 000002d7: ISZERO 000002d8: PUSH2 0x0100 000002db: MUL 000002dc: PUSH1 0x00 000002de: NOT 000002df: ADD 000002e0: AND 000002e1: DIV 000002e2: EQ 000002e3: ISZERO 000002e4: SWAP1 000002e5: POP 000002e6: JUMPDEST 000002e7: ISZERO 000002e8: PUSH2 0x1482 000002eb: JUMPI 000002ec: DUP2 000002ed: PUSH1 0xff 000002ef: AND 000002f0: DUP5 000002f1: EQ 000002f2: ISZERO 000002f3: PUSH2 0x147a 000002f6: JUMPI 000002f7: PUSH2 0x0104 000002fa: DUP1 000002fb: SLOAD 000002fc: DUP3 000002fd: SWAP1 000002fe: DUP2 000002ff: LT 00000300: ISZERO 00000301: PUSH2 0x0002 00000304: JUMPI 00000305: PUSH1 0x00 00000307: SWAP2 00000308: SWAP1 00000309: SWAP2 0000030a: MSTORE 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: MLOAD 0000030f: PUSH1 0x20 00000311: PUSH2 0x198b 00000314: DUP4 00000315: CODECOPY 00000316: DUP2 00000317: MLOAD 00000318: SWAP2 00000319: MSTORE 0000031a: ADD 0000031b: SLOAD 0000031c: SWAP3 0000031d: POP 0000031e: PUSH2 0x083b 00000321: JUMP 00000322: JUMPDEST 00000323: PUSH2 0x0799 00000326: PUSH1 0x04 00000328: CALLDATALOAD 00000329: JUMPDEST 0000032a: PUSH1 0x01 0000032c: PUSH1 0xa0 0000032e: PUSH1 0x02 00000330: EXP 00000331: SUB 00000332: DUP2 00000333: AND 00000334: PUSH1 0x00 00000336: SWAP1 00000337: DUP2 00000338: MSTORE 00000339: PUSH2 0x0102 0000033c: PUSH1 0x20 0000033e: MSTORE 0000033f: PUSH1 0x40 00000341: DUP2 00000342: KECCAK256 00000343: SLOAD 00000344: GT 00000345: JUMPDEST 00000346: SWAP2 00000347: SWAP1 00000348: POP 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH2 0x0799 0000034e: PUSH1 0x01 00000350: SLOAD 00000351: DUP2 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH2 0x0799 00000357: PUSH1 0x00 00000359: DUP1 0000035a: DUP1 0000035b: JUMPDEST 0000035c: PUSH2 0x0104 0000035f: SLOAD 00000360: DUP2 00000361: LT 00000362: ISZERO 00000363: PUSH2 0x146f 00000366: JUMPI 00000367: PUSH2 0x0104 0000036a: DUP1 0000036b: SLOAD 0000036c: PUSH2 0x0112 0000036f: SWAP2 00000370: PUSH1 0x00 00000372: SWAP2 00000373: DUP5 00000374: SWAP1 00000375: DUP2 00000376: LT 00000377: ISZERO 00000378: PUSH2 0x0002 0000037b: JUMPI 0000037c: PUSH1 0x00 0000037e: DUP1 0000037f: MLOAD 00000380: PUSH1 0x20 00000382: PUSH2 0x198b 00000385: DUP4 00000386: CODECOPY 00000387: DUP2 00000388: MLOAD 00000389: SWAP2 0000038a: MSTORE 0000038b: ADD 0000038c: SLOAD 0000038d: DUP3 0000038e: MSTORE 0000038f: POP 00000390: PUSH1 0x20 00000392: SWAP2 00000393: SWAP1 00000394: SWAP2 00000395: MSTORE 00000396: PUSH1 0x40 00000398: DUP2 00000399: KECCAK256 0000039a: SLOAD 0000039b: PUSH1 0x01 0000039d: PUSH1 0xa0 0000039f: PUSH1 0x02 000003a1: EXP 000003a2: SUB 000003a3: AND 000003a4: EQ 000003a5: ISZERO 000003a6: DUP1 000003a7: PUSH2 0x03f2 000003aa: JUMPI 000003ab: POP 000003ac: PUSH2 0x0104 000003af: DUP1 000003b0: SLOAD 000003b1: PUSH2 0x0112 000003b4: SWAP2 000003b5: PUSH1 0x00 000003b7: SWAP2 000003b8: DUP5 000003b9: SWAP1 000003ba: DUP2 000003bb: LT 000003bc: ISZERO 000003bd: PUSH2 0x0002 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: MLOAD 000003c5: PUSH1 0x20 000003c7: PUSH2 0x198b 000003ca: DUP4 000003cb: CODECOPY 000003cc: DUP2 000003cd: MLOAD 000003ce: SWAP2 000003cf: MSTORE 000003d0: ADD 000003d1: SLOAD 000003d2: DUP3 000003d3: MSTORE 000003d4: POP 000003d5: PUSH1 0x40 000003d7: DUP2 000003d8: KECCAK256 000003d9: PUSH1 0x02 000003db: SWAP1 000003dc: DUP2 000003dd: ADD 000003de: SLOAD 000003df: PUSH1 0x01 000003e1: DUP2 000003e2: AND 000003e3: ISZERO 000003e4: PUSH2 0x0100 000003e7: MUL 000003e8: PUSH1 0x00 000003ea: NOT 000003eb: ADD 000003ec: AND 000003ed: DIV 000003ee: EQ 000003ef: ISZERO 000003f0: SWAP1 000003f1: POP 000003f2: JUMPDEST 000003f3: ISZERO 000003f4: PUSH2 0x03ff 000003f7: JUMPI 000003f8: PUSH1 0x01 000003fa: SWAP2 000003fb: SWAP1 000003fc: SWAP2 000003fd: ADD 000003fe: SWAP1 000003ff: JUMPDEST 00000400: PUSH1 0x01 00000402: ADD 00000403: PUSH2 0x035b 00000406: JUMP 00000407: JUMPDEST 00000408: PUSH2 0x0799 0000040b: PUSH2 0x0111 0000040e: SLOAD 0000040f: DUP2 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH2 0x0799 00000415: PUSH1 0x02 00000417: DUP2 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH2 0x0797 0000041d: PUSH1 0x00 0000041f: CALLDATASIZE 00000420: PUSH1 0x40 00000422: MLOAD 00000423: DUP1 00000424: DUP4 00000425: DUP4 00000426: DUP1 00000427: DUP3 00000428: DUP5 00000429: CALLDATACOPY 0000042a: DUP3 0000042b: ADD 0000042c: SWAP2 0000042d: POP 0000042e: POP 0000042f: SWAP3 00000430: POP 00000431: POP 00000432: POP 00000433: PUSH1 0x40 00000435: MLOAD 00000436: DUP1 00000437: SWAP2 00000438: SUB 00000439: SWAP1 0000043a: KECCAK256 0000043b: PUSH2 0x0ca7 0000043e: DUP2 0000043f: PUSH2 0x01c5 00000442: JUMP 00000443: JUMPDEST 00000444: PUSH2 0x0799 00000447: PUSH2 0x0110 0000044a: SLOAD 0000044b: DUP2 0000044c: JUMP 0000044d: JUMPDEST 0000044e: PUSH2 0x0799 00000451: PUSH1 0x04 00000453: CALLDATALOAD 00000454: PUSH1 0x00 00000456: DUP2 00000457: DUP2 00000458: MSTORE 00000459: PUSH2 0x0112 0000045c: PUSH1 0x20 0000045e: MSTORE 0000045f: PUSH1 0x40 00000461: SWAP1 00000462: KECCAK256 00000463: PUSH1 0x01 00000465: ADD 00000466: SLOAD 00000467: PUSH2 0x0345 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH2 0x0797 0000046f: PUSH1 0x04 00000471: CALLDATALOAD 00000472: PUSH1 0x00 00000474: CALLDATASIZE 00000475: PUSH1 0x40 00000477: MLOAD 00000478: DUP1 00000479: DUP4 0000047a: DUP4 0000047b: DUP1 0000047c: DUP3 0000047d: DUP5 0000047e: CALLDATACOPY 0000047f: DUP3 00000480: ADD 00000481: SWAP2 00000482: POP 00000483: POP 00000484: SWAP3 00000485: POP 00000486: POP 00000487: POP 00000488: PUSH1 0x40 0000048a: MLOAD 0000048b: DUP1 0000048c: SWAP2 0000048d: SUB 0000048e: SWAP1 0000048f: KECCAK256 00000490: PUSH2 0x0ac2 00000493: DUP2 00000494: PUSH2 0x01c5 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x0799 0000049c: PUSH1 0x00 0000049e: SLOAD 0000049f: DUP2 000004a0: JUMP 000004a1: JUMPDEST 000004a2: PUSH2 0x0799 000004a5: PUSH1 0x04 000004a7: CALLDATALOAD 000004a8: JUMPDEST 000004a9: PUSH1 0x00 000004ab: DUP2 000004ac: PUSH2 0x0f4f 000004af: DUP2 000004b0: PUSH2 0x01c5 000004b3: JUMP 000004b4: JUMPDEST 000004b5: PUSH2 0x07ab 000004b8: PUSH1 0x04 000004ba: CALLDATALOAD 000004bb: PUSH1 0x00 000004bd: DUP2 000004be: DUP2 000004bf: MSTORE 000004c0: PUSH2 0x0112 000004c3: PUSH1 0x20 000004c5: MSTORE 000004c6: PUSH1 0x40 000004c8: SWAP1 000004c9: KECCAK256 000004ca: SLOAD 000004cb: PUSH1 0x01 000004cd: PUSH1 0xa0 000004cf: PUSH1 0x02 000004d1: EXP 000004d2: SUB 000004d3: AND 000004d4: PUSH2 0x0345 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH2 0x0799 000004dc: PUSH1 0x00 000004de: DUP1 000004df: DUP1 000004e0: JUMPDEST 000004e1: PUSH1 0x0a 000004e3: DUP2 000004e4: PUSH1 0xff 000004e6: AND 000004e7: LT 000004e8: ISZERO 000004e9: PUSH2 0x0c8f 000004ec: JUMPI 000004ed: DUP2 000004ee: PUSH2 0x0105 000004f1: PUSH1 0xff 000004f3: DUP4 000004f4: AND 000004f5: PUSH1 0x0a 000004f7: DUP2 000004f8: LT 000004f9: ISZERO 000004fa: PUSH2 0x0002 000004fd: JUMPI 000004fe: ADD 000004ff: SLOAD 00000500: GT 00000501: ISZERO 00000502: PUSH2 0x051a 00000505: JUMPI 00000506: PUSH2 0x0105 00000509: PUSH1 0xff 0000050b: DUP3 0000050c: AND 0000050d: PUSH1 0x0a 0000050f: DUP2 00000510: LT 00000511: ISZERO 00000512: PUSH2 0x0002 00000515: JUMPI 00000516: ADD 00000517: SLOAD 00000518: SWAP2 00000519: POP 0000051a: JUMPDEST 0000051b: PUSH1 0x01 0000051d: ADD 0000051e: PUSH2 0x04e0 00000521: JUMP 00000522: JUMPDEST 00000523: PUSH2 0x0797 00000526: PUSH1 0x04 00000528: CALLDATALOAD 00000529: PUSH1 0x00 0000052b: CALLDATASIZE 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: DUP1 00000530: DUP4 00000531: DUP4 00000532: DUP1 00000533: DUP3 00000534: DUP5 00000535: CALLDATACOPY 00000536: DUP3 00000537: ADD 00000538: SWAP2 00000539: POP 0000053a: POP 0000053b: SWAP3 0000053c: POP 0000053d: POP 0000053e: POP 0000053f: PUSH1 0x40 00000541: MLOAD 00000542: DUP1 00000543: SWAP2 00000544: SUB 00000545: SWAP1 00000546: KECCAK256 00000547: PUSH2 0x0c9b 0000054a: DUP2 0000054b: PUSH2 0x01c5 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH2 0x0799 00000553: PUSH1 0x04 00000555: DUP1 00000556: CALLDATALOAD 00000557: SWAP1 00000558: PUSH1 0x24 0000055a: DUP1 0000055b: CALLDATALOAD 0000055c: SWAP2 0000055d: PUSH1 0x44 0000055f: CALLDATALOAD 00000560: SWAP2 00000561: DUP3 00000562: ADD 00000563: SWAP2 00000564: ADD 00000565: CALLDATALOAD 00000566: PUSH1 0x00 00000568: PUSH2 0x0cc6 0000056b: CALLER 0000056c: PUSH2 0x0329 0000056f: JUMP 00000570: JUMPDEST 00000571: PUSH2 0x0797 00000574: PUSH1 0x04 00000576: CALLDATALOAD 00000577: PUSH1 0x01 00000579: PUSH1 0xa0 0000057b: PUSH1 0x02 0000057d: EXP 0000057e: SUB 0000057f: CALLER 00000580: AND 00000581: PUSH1 0x00 00000583: SWAP1 00000584: DUP2 00000585: MSTORE 00000586: PUSH2 0x0102 00000589: PUSH1 0x20 0000058b: MSTORE 0000058c: PUSH1 0x40 0000058e: DUP2 0000058f: KECCAK256 00000590: SLOAD 00000591: SWAP1 00000592: DUP1 00000593: DUP3 00000594: DUP2 00000595: EQ 00000596: ISZERO 00000597: PUSH2 0x0852 0000059a: JUMPI 0000059b: PUSH2 0x08d1 0000059e: JUMP 0000059f: JUMPDEST 000005a0: PUSH2 0x0799 000005a3: PUSH1 0x04 000005a5: DUP1 000005a6: CALLDATALOAD 000005a7: SWAP1 000005a8: PUSH1 0x24 000005aa: DUP1 000005ab: CALLDATALOAD 000005ac: SWAP2 000005ad: PUSH1 0x44 000005af: CALLDATALOAD 000005b0: DUP1 000005b1: DUP4 000005b2: ADD 000005b3: SWAP3 000005b4: SWAP1 000005b5: DUP3 000005b6: ADD 000005b7: CALLDATALOAD 000005b8: SWAP2 000005b9: PUSH1 0x64 000005bb: CALLDATALOAD 000005bc: SWAP2 000005bd: PUSH1 0x84 000005bf: CALLDATALOAD 000005c0: SWAP2 000005c1: PUSH1 0xa4 000005c3: CALLDATALOAD 000005c4: SWAP2 000005c5: DUP3 000005c6: ADD 000005c7: SWAP2 000005c8: ADD 000005c9: CALLDATALOAD 000005ca: PUSH1 0x00 000005cc: PUSH2 0x118f 000005cf: CALLER 000005d0: PUSH2 0x0329 000005d3: JUMP 000005d4: JUMPDEST 000005d5: PUSH2 0x0797 000005d8: PUSH1 0x04 000005da: CALLDATALOAD 000005db: PUSH1 0x00 000005dd: CALLDATASIZE 000005de: PUSH1 0x40 000005e0: MLOAD 000005e1: DUP1 000005e2: DUP4 000005e3: DUP4 000005e4: DUP1 000005e5: DUP3 000005e6: DUP5 000005e7: CALLDATACOPY 000005e8: DUP3 000005e9: ADD 000005ea: SWAP2 000005eb: POP 000005ec: POP 000005ed: SWAP3 000005ee: POP 000005ef: POP 000005f0: POP 000005f1: PUSH1 0x40 000005f3: MLOAD 000005f4: DUP1 000005f5: SWAP2 000005f6: SUB 000005f7: SWAP1 000005f8: KECCAK256 000005f9: PUSH2 0x0c1d 000005fc: DUP2 000005fd: PUSH2 0x01c5 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH2 0x07c8 00000605: PUSH1 0x04 00000607: CALLDATALOAD 00000608: PUSH1 0x40 0000060a: DUP1 0000060b: MLOAD 0000060c: PUSH1 0x20 0000060e: DUP2 0000060f: DUP2 00000610: ADD 00000611: DUP4 00000612: MSTORE 00000613: PUSH1 0x00 00000615: DUP1 00000616: DUP4 00000617: MSTORE 00000618: DUP5 00000619: DUP2 0000061a: MSTORE 0000061b: PUSH2 0x0112 0000061e: DUP3 0000061f: MSTORE 00000620: DUP4 00000621: SWAP1 00000622: KECCAK256 00000623: DUP4 00000624: MLOAD 00000625: PUSH1 0x02 00000627: SWAP2 00000628: DUP3 00000629: ADD 0000062a: DUP1 0000062b: SLOAD 0000062c: PUSH1 0x01 0000062e: DUP2 0000062f: AND 00000630: ISZERO 00000631: PUSH2 0x0100 00000634: MUL 00000635: PUSH1 0x00 00000637: NOT 00000638: ADD 00000639: AND 0000063a: SWAP3 0000063b: SWAP1 0000063c: SWAP3 0000063d: DIV 0000063e: PUSH1 0x1f 00000640: DUP2 00000641: ADD 00000642: DUP5 00000643: SWAP1 00000644: DIV 00000645: DUP5 00000646: MUL 00000647: DUP3 00000648: ADD 00000649: DUP5 0000064a: ADD 0000064b: SWAP1 0000064c: SWAP6 0000064d: MSTORE 0000064e: DUP5 0000064f: DUP2 00000650: MSTORE 00000651: SWAP3 00000652: SWAP4 00000653: SWAP1 00000654: SWAP2 00000655: DUP4 00000656: ADD 00000657: DUP3 00000658: DUP3 00000659: DUP1 0000065a: ISZERO 0000065b: PUSH2 0x14b5 0000065e: JUMPI 0000065f: DUP1 00000660: PUSH1 0x1f 00000662: LT 00000663: PUSH2 0x148a 00000666: JUMPI 00000667: PUSH2 0x0100 0000066a: DUP1 0000066b: DUP4 0000066c: SLOAD 0000066d: DIV 0000066e: MUL 0000066f: DUP4 00000670: MSTORE 00000671: SWAP2 00000672: PUSH1 0x20 00000674: ADD 00000675: SWAP2 00000676: PUSH2 0x14b5 00000679: JUMP 0000067a: JUMPDEST 0000067b: PUSH2 0x0799 0000067e: PUSH1 0x04 00000680: CALLDATALOAD 00000681: PUSH1 0x24 00000683: CALLDATALOAD 00000684: PUSH1 0x00 00000686: DUP3 00000687: DUP2 00000688: MSTORE 00000689: PUSH2 0x0103 0000068c: PUSH1 0x20 0000068e: SWAP1 0000068f: DUP2 00000690: MSTORE 00000691: PUSH1 0x40 00000693: DUP1 00000694: DUP4 00000695: KECCAK256 00000696: PUSH1 0x01 00000698: PUSH1 0xa0 0000069a: PUSH1 0x02 0000069c: EXP 0000069d: SUB 0000069e: DUP6 0000069f: AND 000006a0: DUP5 000006a1: MSTORE 000006a2: PUSH2 0x0102 000006a5: SWAP1 000006a6: SWAP3 000006a7: MSTORE 000006a8: DUP3 000006a9: KECCAK256 000006aa: SLOAD 000006ab: DUP3 000006ac: DUP2 000006ad: DUP2 000006ae: EQ 000006af: ISZERO 000006b0: PUSH2 0x0c76 000006b3: JUMPI 000006b4: PUSH2 0x023b 000006b7: JUMP 000006b8: JUMPDEST 000006b9: PUSH2 0x07ab 000006bc: PUSH1 0x04 000006be: CALLDATALOAD 000006bf: PUSH1 0x00 000006c1: DUP1 000006c2: PUSH1 0x01 000006c4: JUMPDEST 000006c5: PUSH1 0x01 000006c7: SLOAD 000006c8: DUP2 000006c9: GT 000006ca: PUSH2 0x0836 000006cd: JUMPI 000006ce: PUSH1 0x02 000006d0: DUP2 000006d1: PUSH2 0x0100 000006d4: DUP2 000006d5: LT 000006d6: ISZERO 000006d7: PUSH2 0x0002 000006da: JUMPI 000006db: ADD 000006dc: SLOAD 000006dd: PUSH1 0x01 000006df: PUSH1 0xa0 000006e1: PUSH1 0x02 000006e3: EXP 000006e4: SUB 000006e5: AND 000006e6: PUSH1 0x00 000006e8: EQ 000006e9: PUSH2 0x084a 000006ec: JUMPI 000006ed: DUP2 000006ee: DUP5 000006ef: EQ 000006f0: ISZERO 000006f1: PUSH2 0x0842 000006f4: JUMPI 000006f5: PUSH1 0x02 000006f7: DUP2 000006f8: PUSH2 0x0100 000006fb: DUP2 000006fc: LT 000006fd: ISZERO 000006fe: PUSH2 0x0002 00000701: JUMPI 00000702: ADD 00000703: SLOAD 00000704: PUSH1 0x01 00000706: PUSH1 0xa0 00000708: PUSH1 0x02 0000070a: EXP 0000070b: SUB 0000070c: AND 0000070d: SWAP3 0000070e: POP 0000070f: PUSH2 0x083b 00000712: JUMP 00000713: JUMPDEST 00000714: PUSH2 0x0797 00000717: PUSH1 0x04 00000719: CALLDATALOAD 0000071a: PUSH1 0x00 0000071c: CALLDATASIZE 0000071d: PUSH1 0x40 0000071f: MLOAD 00000720: DUP1 00000721: DUP4 00000722: DUP4 00000723: DUP1 00000724: DUP3 00000725: DUP5 00000726: CALLDATACOPY 00000727: DUP3 00000728: ADD 00000729: SWAP2 0000072a: POP 0000072b: POP 0000072c: SWAP3 0000072d: POP 0000072e: POP 0000072f: POP 00000730: PUSH1 0x40 00000732: MLOAD 00000733: DUP1 00000734: SWAP2 00000735: SUB 00000736: SWAP1 00000737: KECCAK256 00000738: PUSH2 0x0cb5 0000073b: DUP2 0000073c: PUSH2 0x01c5 0000073f: JUMP 00000740: JUMPDEST 00000741: PUSH2 0x0799 00000744: PUSH1 0x04 00000746: CALLDATALOAD 00000747: PUSH1 0x00 00000749: DUP2 0000074a: DUP2 0000074b: MSTORE 0000074c: PUSH2 0x0103 0000074f: PUSH1 0x20 00000751: MSTORE 00000752: PUSH1 0x40 00000754: SWAP1 00000755: KECCAK256 00000756: SLOAD 00000757: PUSH2 0x0345 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH2 0x0797 0000075f: PUSH1 0x04 00000761: CALLDATALOAD 00000762: PUSH1 0x24 00000764: CALLDATALOAD 00000765: PUSH1 0x00 00000767: PUSH1 0x00 00000769: CALLDATASIZE 0000076a: PUSH1 0x40 0000076c: MLOAD 0000076d: DUP1 0000076e: DUP4 0000076f: DUP4 00000770: DUP1 00000771: DUP3 00000772: DUP5 00000773: CALLDATACOPY 00000774: DUP3 00000775: ADD 00000776: SWAP2 00000777: POP 00000778: POP 00000779: SWAP3 0000077a: POP 0000077b: POP 0000077c: POP 0000077d: PUSH1 0x40 0000077f: MLOAD 00000780: DUP1 00000781: SWAP2 00000782: SUB 00000783: SWAP1 00000784: KECCAK256 00000785: PUSH2 0x0962 00000788: DUP2 00000789: PUSH2 0x01c5 0000078c: JUMP 0000078d: JUMPDEST 0000078e: PUSH2 0x0799 00000791: PUSH2 0x010f 00000794: SLOAD 00000795: DUP2 00000796: JUMP 00000797: JUMPDEST 00000798: STOP 00000799: JUMPDEST 0000079a: PUSH1 0x40 0000079c: DUP1 0000079d: MLOAD 0000079e: SWAP2 0000079f: DUP3 000007a0: MSTORE 000007a1: MLOAD 000007a2: SWAP1 000007a3: DUP2 000007a4: SWAP1 000007a5: SUB 000007a6: PUSH1 0x20 000007a8: ADD 000007a9: SWAP1 000007aa: RETURN 000007ab: JUMPDEST 000007ac: PUSH1 0x40 000007ae: DUP1 000007af: MLOAD 000007b0: PUSH1 0x01 000007b2: PUSH1 0xa0 000007b4: PUSH1 0x02 000007b6: EXP 000007b7: SUB 000007b8: SWAP3 000007b9: SWAP1 000007ba: SWAP3 000007bb: AND 000007bc: DUP3 000007bd: MSTORE 000007be: MLOAD 000007bf: SWAP1 000007c0: DUP2 000007c1: SWAP1 000007c2: SUB 000007c3: PUSH1 0x20 000007c5: ADD 000007c6: SWAP1 000007c7: RETURN 000007c8: JUMPDEST 000007c9: PUSH1 0x40 000007cb: MLOAD 000007cc: DUP1 000007cd: DUP1 000007ce: PUSH1 0x20 000007d0: ADD 000007d1: DUP3 000007d2: DUP2 000007d3: SUB 000007d4: DUP3 000007d5: MSTORE 000007d6: DUP4 000007d7: DUP2 000007d8: DUP2 000007d9: MLOAD 000007da: DUP2 000007db: MSTORE 000007dc: PUSH1 0x20 000007de: ADD 000007df: SWAP2 000007e0: POP 000007e1: DUP1 000007e2: MLOAD 000007e3: SWAP1 000007e4: PUSH1 0x20 000007e6: ADD 000007e7: SWAP1 000007e8: DUP1 000007e9: DUP4 000007ea: DUP4 000007eb: DUP3 000007ec: SWAP1 000007ed: PUSH1 0x00 000007ef: PUSH1 0x04 000007f1: PUSH1 0x20 000007f3: DUP5 000007f4: PUSH1 0x1f 000007f6: ADD 000007f7: DIV 000007f8: PUSH1 0x0f 000007fa: MUL 000007fb: PUSH1 0x03 000007fd: ADD 000007fe: CALL 000007ff: POP 00000800: SWAP1 00000801: POP 00000802: SWAP1 00000803: DUP2 00000804: ADD 00000805: SWAP1 00000806: PUSH1 0x1f 00000808: AND 00000809: DUP1 0000080a: ISZERO 0000080b: PUSH2 0x0828 0000080e: JUMPI 0000080f: DUP1 00000810: DUP3 00000811: SUB 00000812: DUP1 00000813: MLOAD 00000814: PUSH1 0x01 00000816: DUP4 00000817: PUSH1 0x20 00000819: SUB 0000081a: PUSH2 0x0100 0000081d: EXP 0000081e: SUB 0000081f: NOT 00000820: AND 00000821: DUP2 00000822: MSTORE 00000823: PUSH1 0x20 00000825: ADD 00000826: SWAP2 00000827: POP 00000828: JUMPDEST 00000829: POP 0000082a: SWAP3 0000082b: POP 0000082c: POP 0000082d: POP 0000082e: PUSH1 0x40 00000830: MLOAD 00000831: DUP1 00000832: SWAP2 00000833: SUB 00000834: SWAP1 00000835: RETURN 00000836: JUMPDEST 00000837: PUSH1 0x00 00000839: SWAP3 0000083a: POP 0000083b: JUMPDEST 0000083c: POP 0000083d: POP 0000083e: SWAP2 0000083f: SWAP1 00000840: POP 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH1 0x01 00000845: SWAP2 00000846: SWAP1 00000847: SWAP2 00000848: ADD 00000849: SWAP1 0000084a: JUMPDEST 0000084b: PUSH1 0x01 0000084d: ADD 0000084e: PUSH2 0x06c4 00000851: JUMP 00000852: JUMPDEST 00000853: POP 00000854: POP 00000855: PUSH1 0x00 00000857: DUP3 00000858: DUP2 00000859: MSTORE 0000085a: PUSH2 0x0103 0000085d: PUSH1 0x20 0000085f: MSTORE 00000860: PUSH1 0x40 00000862: DUP2 00000863: KECCAK256 00000864: PUSH1 0x01 00000866: DUP2 00000867: ADD 00000868: SLOAD 00000869: PUSH1 0x02 0000086b: DUP5 0000086c: SWAP1 0000086d: EXP 0000086e: SWAP3 0000086f: SWAP1 00000870: DUP4 00000871: AND 00000872: GT 00000873: ISZERO 00000874: PUSH2 0x08d1 00000877: JUMPI 00000878: DUP1 00000879: SLOAD 0000087a: PUSH1 0x01 0000087c: DUP3 0000087d: DUP2 0000087e: ADD 0000087f: DUP1 00000880: SLOAD 00000881: SWAP3 00000882: SWAP1 00000883: SWAP2 00000884: ADD 00000885: DUP4 00000886: SSTORE 00000887: SWAP1 00000888: DUP4 00000889: SWAP1 0000088a: SUB 0000088b: SWAP1 0000088c: SSTORE 0000088d: PUSH1 0x40 0000088f: DUP1 00000890: MLOAD 00000891: PUSH1 0x01 00000893: PUSH1 0xa0 00000895: PUSH1 0x02 00000897: EXP 00000898: SUB 00000899: CALLER 0000089a: AND 0000089b: DUP2 0000089c: MSTORE 0000089d: PUSH1 0x20 0000089f: DUP2 000008a0: ADD 000008a1: DUP7 000008a2: SWAP1 000008a3: MSTORE 000008a4: DUP2 000008a5: MLOAD 000008a6: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 000008c7: SWAP3 000008c8: SWAP2 000008c9: DUP2 000008ca: SWAP1 000008cb: SUB 000008cc: SWAP1 000008cd: SWAP2 000008ce: ADD 000008cf: SWAP1 000008d0: LOG1 000008d1: JUMPDEST 000008d2: POP 000008d3: POP 000008d4: POP 000008d5: POP 000008d6: JUMP 000008d7: JUMPDEST 000008d8: DUP3 000008d9: PUSH1 0x02 000008db: DUP4 000008dc: PUSH2 0x0100 000008df: DUP2 000008e0: LT 000008e1: ISZERO 000008e2: PUSH2 0x0002 000008e5: JUMPI 000008e6: POP 000008e7: DUP4 000008e8: ADD 000008e9: DUP1 000008ea: SLOAD 000008eb: PUSH1 0x01 000008ed: PUSH1 0xa0 000008ef: PUSH1 0x02 000008f1: EXP 000008f2: SUB 000008f3: NOT 000008f4: AND 000008f5: SWAP1 000008f6: SWAP2 000008f7: OR 000008f8: SWAP1 000008f9: SSTORE 000008fa: PUSH1 0x01 000008fc: PUSH1 0xa0 000008fe: PUSH1 0x02 00000900: EXP 00000901: SUB 00000902: DUP5 00000903: DUP2 00000904: AND 00000905: PUSH1 0x00 00000907: DUP2 00000908: DUP2 00000909: MSTORE 0000090a: PUSH2 0x0102 0000090d: PUSH1 0x20 0000090f: SWAP1 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x40 00000914: DUP1 00000915: DUP4 00000916: KECCAK256 00000917: DUP4 00000918: SWAP1 00000919: SSTORE 0000091a: SWAP4 0000091b: DUP8 0000091c: AND 0000091d: DUP1 0000091e: DUP4 0000091f: MSTORE 00000920: SWAP2 00000921: DUP5 00000922: SWAP1 00000923: KECCAK256 00000924: DUP7 00000925: SWAP1 00000926: SSTORE 00000927: DUP4 00000928: MLOAD 00000929: SWAP3 0000092a: DUP4 0000092b: MSTORE 0000092c: DUP3 0000092d: ADD 0000092e: MSTORE 0000092f: DUP2 00000930: MLOAD 00000931: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 00000952: SWAP3 00000953: SWAP2 00000954: DUP2 00000955: SWAP1 00000956: SUB 00000957: SWAP1 00000958: SWAP2 00000959: ADD 0000095a: SWAP1 0000095b: LOG1 0000095c: POP 0000095d: JUMPDEST 0000095e: POP 0000095f: POP 00000960: POP 00000961: JUMP 00000962: JUMPDEST 00000963: ISZERO 00000964: PUSH2 0x08d1 00000967: JUMPI 00000968: PUSH2 0x0970 0000096b: DUP4 0000096c: PUSH2 0x0329 0000096f: JUMP 00000970: JUMPDEST 00000971: ISZERO 00000972: PUSH2 0x097b 00000975: JUMPI 00000976: POP 00000977: PUSH2 0x095d 0000097a: JUMP 0000097b: JUMPDEST 0000097c: PUSH1 0x01 0000097e: PUSH1 0xa0 00000980: PUSH1 0x02 00000982: EXP 00000983: SUB 00000984: DUP5 00000985: AND 00000986: PUSH1 0x00 00000988: SWAP1 00000989: DUP2 0000098a: MSTORE 0000098b: PUSH2 0x0102 0000098e: PUSH1 0x20 00000990: MSTORE 00000991: PUSH1 0x40 00000993: DUP2 00000994: KECCAK256 00000995: SLOAD 00000996: SWAP3 00000997: POP 00000998: DUP3 00000999: EQ 0000099a: ISZERO 0000099b: PUSH2 0x09a4 0000099e: JUMPI 0000099f: POP 000009a0: PUSH2 0x095d 000009a3: JUMP 000009a4: JUMPDEST 000009a5: PUSH2 0x08d7 000009a8: JUMPDEST 000009a9: PUSH2 0x0104 000009ac: SLOAD 000009ad: PUSH1 0x00 000009af: JUMPDEST 000009b0: DUP2 000009b1: DUP2 000009b2: LT 000009b3: ISZERO 000009b4: PUSH2 0x1664 000009b7: JUMPI 000009b8: PUSH2 0x0104 000009bb: DUP1 000009bc: SLOAD 000009bd: PUSH2 0x0112 000009c0: SWAP2 000009c1: PUSH1 0x00 000009c3: SWAP2 000009c4: DUP5 000009c5: SWAP1 000009c6: DUP2 000009c7: LT 000009c8: ISZERO 000009c9: PUSH2 0x0002 000009cc: JUMPI 000009cd: PUSH1 0x00 000009cf: DUP1 000009d0: MLOAD 000009d1: PUSH1 0x20 000009d3: PUSH2 0x198b 000009d6: DUP4 000009d7: CODECOPY 000009d8: DUP2 000009d9: MLOAD 000009da: SWAP2 000009db: MSTORE 000009dc: ADD 000009dd: SLOAD 000009de: DUP3 000009df: MSTORE 000009e0: POP 000009e1: PUSH1 0x20 000009e3: SWAP2 000009e4: SWAP1 000009e5: SWAP2 000009e6: MSTORE 000009e7: PUSH1 0x40 000009e9: DUP2 000009ea: KECCAK256 000009eb: DUP1 000009ec: SLOAD 000009ed: PUSH1 0x01 000009ef: PUSH1 0xa0 000009f1: PUSH1 0x02 000009f3: EXP 000009f4: SUB 000009f5: NOT 000009f6: AND 000009f7: DUP2 000009f8: SSTORE 000009f9: PUSH1 0x01 000009fb: DUP2 000009fc: DUP2 000009fd: ADD 000009fe: DUP4 000009ff: SWAP1 00000a00: SSTORE 00000a01: PUSH1 0x02 00000a03: DUP3 00000a04: DUP2 00000a05: ADD 00000a06: DUP1 00000a07: SLOAD 00000a08: DUP6 00000a09: DUP3 00000a0a: SSTORE 00000a0b: SWAP4 00000a0c: SWAP5 00000a0d: SWAP4 00000a0e: SWAP1 00000a0f: SWAP3 00000a10: DUP2 00000a11: AND 00000a12: ISZERO 00000a13: PUSH2 0x0100 00000a16: MUL 00000a17: PUSH1 0x00 00000a19: NOT 00000a1a: ADD 00000a1b: AND 00000a1c: DIV 00000a1d: PUSH1 0x1f 00000a1f: DUP2 00000a20: SWAP1 00000a21: LT 00000a22: PUSH2 0x16e9 00000a25: JUMPI 00000a26: POP 00000a27: JUMPDEST 00000a28: POP 00000a29: POP 00000a2a: POP 00000a2b: PUSH1 0x01 00000a2d: ADD 00000a2e: PUSH2 0x09af 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x01 00000a35: DUP1 00000a36: SLOAD 00000a37: DUP2 00000a38: ADD 00000a39: SWAP1 00000a3a: DUP2 00000a3b: SWAP1 00000a3c: SSTORE 00000a3d: DUP3 00000a3e: SWAP1 00000a3f: PUSH1 0x02 00000a41: SWAP1 00000a42: PUSH2 0x0100 00000a45: DUP2 00000a46: LT 00000a47: ISZERO 00000a48: PUSH2 0x0002 00000a4b: JUMPI 00000a4c: SWAP1 00000a4d: SWAP1 00000a4e: ADD 00000a4f: PUSH1 0x00 00000a51: DUP2 00000a52: SLOAD 00000a53: PUSH2 0x0100 00000a56: SWAP2 00000a57: SWAP1 00000a58: SWAP2 00000a59: EXP 00000a5a: SWAP3 00000a5b: DUP4 00000a5c: MUL 00000a5d: PUSH1 0x01 00000a5f: PUSH1 0xa0 00000a61: PUSH1 0x02 00000a63: EXP 00000a64: SUB 00000a65: SWAP4 00000a66: DUP5 00000a67: MUL 00000a68: NOT 00000a69: SWAP1 00000a6a: SWAP2 00000a6b: AND 00000a6c: OR 00000a6d: SWAP1 00000a6e: SSTORE 00000a6f: PUSH1 0x01 00000a71: SLOAD 00000a72: SWAP1 00000a73: DUP4 00000a74: AND 00000a75: PUSH1 0x00 00000a77: DUP2 00000a78: DUP2 00000a79: MSTORE 00000a7a: PUSH2 0x0102 00000a7d: PUSH1 0x20 00000a7f: SWAP1 00000a80: DUP2 00000a81: MSTORE 00000a82: PUSH1 0x40 00000a84: SWAP2 00000a85: DUP3 00000a86: SWAP1 00000a87: KECCAK256 00000a88: SWAP4 00000a89: SWAP1 00000a8a: SWAP4 00000a8b: SSTORE 00000a8c: DUP1 00000a8d: MLOAD 00000a8e: SWAP2 00000a8f: DUP3 00000a90: MSTORE 00000a91: MLOAD 00000a92: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3 00000ab3: SWAP3 00000ab4: SWAP2 00000ab5: DUP2 00000ab6: SWAP1 00000ab7: SUB 00000ab8: SWAP1 00000ab9: SWAP2 00000aba: ADD 00000abb: SWAP1 00000abc: LOG1 00000abd: JUMPDEST 00000abe: POP 00000abf: JUMPDEST 00000ac0: POP 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: ISZERO 00000ac4: PUSH2 0x0abd 00000ac7: JUMPI 00000ac8: PUSH2 0x0ad0 00000acb: DUP3 00000acc: PUSH2 0x0329 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: ISZERO 00000ad2: PUSH2 0x0adb 00000ad5: JUMPI 00000ad6: POP 00000ad7: PUSH2 0x0abf 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH2 0x0ae3 00000adf: PUSH2 0x09a8 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH1 0x01 00000ae6: SLOAD 00000ae7: PUSH1 0xfa 00000ae9: SWAP1 00000aea: LT 00000aeb: PUSH2 0x0af8 00000aee: JUMPI 00000aef: PUSH2 0x0af6 00000af2: PUSH2 0x0b0d 00000af5: JUMP 00000af6: JUMPDEST 00000af7: POP 00000af8: JUMPDEST 00000af9: PUSH1 0x01 00000afb: SLOAD 00000afc: PUSH1 0xfa 00000afe: SWAP1 00000aff: LT 00000b00: PUSH2 0x0a32 00000b03: JUMPI 00000b04: POP 00000b05: PUSH2 0x0abf 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH2 0x0bdb 00000b0d: JUMPDEST 00000b0e: PUSH1 0x00 00000b10: PUSH1 0x01 00000b12: JUMPDEST 00000b13: PUSH1 0x01 00000b15: SLOAD 00000b16: DUP2 00000b17: LT 00000b18: ISZERO 00000b19: PUSH2 0x0f4b 00000b1c: JUMPI 00000b1d: JUMPDEST 00000b1e: PUSH1 0x01 00000b20: SLOAD 00000b21: DUP2 00000b22: LT 00000b23: DUP1 00000b24: ISZERO 00000b25: PUSH2 0x0b46 00000b28: JUMPI 00000b29: POP 00000b2a: PUSH1 0x02 00000b2c: DUP2 00000b2d: PUSH2 0x0100 00000b30: DUP2 00000b31: LT 00000b32: ISZERO 00000b33: PUSH2 0x0002 00000b36: JUMPI 00000b37: ADD 00000b38: SLOAD 00000b39: PUSH1 0x01 00000b3b: PUSH1 0xa0 00000b3d: PUSH1 0x02 00000b3f: EXP 00000b40: SUB 00000b41: AND 00000b42: PUSH1 0x00 00000b44: EQ 00000b45: ISZERO 00000b46: JUMPDEST 00000b47: ISZERO 00000b48: PUSH2 0x14d7 00000b4b: JUMPI 00000b4c: PUSH1 0x01 00000b4e: ADD 00000b4f: PUSH2 0x0b1d 00000b52: JUMP 00000b53: JUMPDEST 00000b54: ISZERO 00000b55: PUSH2 0x095d 00000b58: JUMPI 00000b59: PUSH1 0x01 00000b5b: PUSH1 0xa0 00000b5d: PUSH1 0x02 00000b5f: EXP 00000b60: SUB 00000b61: DUP4 00000b62: AND 00000b63: PUSH1 0x00 00000b65: SWAP1 00000b66: DUP2 00000b67: MSTORE 00000b68: PUSH2 0x0102 00000b6b: PUSH1 0x20 00000b6d: MSTORE 00000b6e: PUSH1 0x40 00000b70: DUP2 00000b71: KECCAK256 00000b72: SLOAD 00000b73: SWAP3 00000b74: POP 00000b75: DUP3 00000b76: EQ 00000b77: ISZERO 00000b78: PUSH2 0x0b81 00000b7b: JUMPI 00000b7c: POP 00000b7d: PUSH2 0x0abd 00000b80: JUMP 00000b81: JUMPDEST 00000b82: PUSH1 0x01 00000b84: PUSH1 0x01 00000b86: PUSH1 0x00 00000b88: POP 00000b89: SLOAD 00000b8a: SUB 00000b8b: PUSH1 0x00 00000b8d: PUSH1 0x00 00000b8f: POP 00000b90: SLOAD 00000b91: GT 00000b92: ISZERO 00000b93: PUSH2 0x0b9c 00000b96: JUMPI 00000b97: POP 00000b98: PUSH2 0x0abd 00000b9b: JUMP 00000b9c: JUMPDEST 00000b9d: PUSH1 0x00 00000b9f: PUSH1 0x02 00000ba1: DUP4 00000ba2: PUSH2 0x0100 00000ba5: DUP2 00000ba6: LT 00000ba7: ISZERO 00000ba8: PUSH2 0x0002 00000bab: JUMPI 00000bac: POP 00000bad: DUP4 00000bae: ADD 00000baf: DUP1 00000bb0: SLOAD 00000bb1: PUSH1 0x01 00000bb3: PUSH1 0xa0 00000bb5: PUSH1 0x02 00000bb7: EXP 00000bb8: SUB 00000bb9: NOT 00000bba: AND 00000bbb: SWAP1 00000bbc: SSTORE 00000bbd: PUSH1 0x01 00000bbf: PUSH1 0xa0 00000bc1: PUSH1 0x02 00000bc3: EXP 00000bc4: SUB 00000bc5: DUP5 00000bc6: AND 00000bc7: DUP2 00000bc8: MSTORE 00000bc9: PUSH2 0x0102 00000bcc: PUSH1 0x20 00000bce: MSTORE 00000bcf: PUSH1 0x40 00000bd1: DUP2 00000bd2: KECCAK256 00000bd3: SSTORE 00000bd4: PUSH2 0x0b09 00000bd7: PUSH2 0x09a8 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: POP 00000bdd: PUSH1 0x40 00000bdf: DUP1 00000be0: MLOAD 00000be1: PUSH1 0x01 00000be3: PUSH1 0xa0 00000be5: PUSH1 0x02 00000be7: EXP 00000be8: SUB 00000be9: DUP6 00000bea: AND 00000beb: DUP2 00000bec: MSTORE 00000bed: SWAP1 00000bee: MLOAD 00000bef: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da 00000c10: SWAP2 00000c11: DUP2 00000c12: SWAP1 00000c13: SUB 00000c14: PUSH1 0x20 00000c16: ADD 00000c17: SWAP1 00000c18: LOG1 00000c19: POP 00000c1a: POP 00000c1b: POP 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: ISZERO 00000c1f: PUSH2 0x0abd 00000c22: JUMPI 00000c23: PUSH1 0x01 00000c25: SLOAD 00000c26: DUP3 00000c27: GT 00000c28: ISZERO 00000c29: PUSH2 0x0c32 00000c2c: JUMPI 00000c2d: POP 00000c2e: PUSH2 0x0abf 00000c31: JUMP 00000c32: JUMPDEST 00000c33: PUSH1 0x00 00000c35: DUP3 00000c36: SWAP1 00000c37: SSTORE 00000c38: PUSH2 0x0c3f 00000c3b: PUSH2 0x09a8 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: PUSH1 0x40 00000c42: DUP1 00000c43: MLOAD 00000c44: DUP4 00000c45: DUP2 00000c46: MSTORE 00000c47: SWAP1 00000c48: MLOAD 00000c49: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 00000c6a: SWAP2 00000c6b: DUP2 00000c6c: SWAP1 00000c6d: SUB 00000c6e: PUSH1 0x20 00000c70: ADD 00000c71: SWAP1 00000c72: LOG1 00000c73: POP 00000c74: POP 00000c75: JUMP 00000c76: JUMPDEST 00000c77: POP 00000c78: PUSH1 0x01 00000c7a: DUP3 00000c7b: ADD 00000c7c: SLOAD 00000c7d: PUSH1 0x02 00000c7f: DUP3 00000c80: SWAP1 00000c81: EXP 00000c82: SWAP1 00000c83: DUP2 00000c84: AND 00000c85: PUSH1 0x00 00000c87: EQ 00000c88: ISZERO 00000c89: SWAP4 00000c8a: POP 00000c8b: PUSH2 0x023b 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: DUP2 00000c91: PUSH1 0x01 00000c93: ADD 00000c94: SWAP3 00000c95: POP 00000c96: JUMPDEST 00000c97: POP 00000c98: POP 00000c99: SWAP1 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: ISZERO 00000c9d: PUSH2 0x0abd 00000ca0: JUMPI 00000ca1: POP 00000ca2: PUSH2 0x010f 00000ca5: SSTORE 00000ca6: JUMP 00000ca7: JUMPDEST 00000ca8: ISZERO 00000ca9: PUSH2 0x0abf 00000cac: JUMPI 00000cad: PUSH1 0x00 00000caf: PUSH2 0x0110 00000cb2: SSTORE 00000cb3: POP 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: ISZERO 00000cb7: PUSH2 0x0abd 00000cba: JUMPI 00000cbb: DUP2 00000cbc: PUSH1 0x01 00000cbe: PUSH1 0xa0 00000cc0: PUSH1 0x02 00000cc2: EXP 00000cc3: SUB 00000cc4: AND 00000cc5: SELFDESTRUCT 00000cc6: JUMPDEST 00000cc7: ISZERO 00000cc8: PUSH2 0x0f13 00000ccb: JUMPI 00000ccc: PUSH2 0x0cda 00000ccf: DUP5 00000cd0: PUSH1 0x00 00000cd2: PUSH2 0x15fa 00000cd5: CALLER 00000cd6: PUSH2 0x0329 00000cd9: JUMP 00000cda: JUMPDEST 00000cdb: DUP1 00000cdc: ISZERO 00000cdd: PUSH2 0x0ce6 00000ce0: JUMPI 00000ce1: POP 00000ce2: PUSH1 0x00 00000ce4: DUP3 00000ce5: EQ 00000ce6: JUMPDEST 00000ce7: ISZERO 00000ce8: PUSH2 0x0da5 00000ceb: JUMPI 00000cec: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004 00000d0d: CALLER 00000d0e: DUP6 00000d0f: DUP8 00000d10: DUP7 00000d11: DUP7 00000d12: PUSH1 0x40 00000d14: MLOAD 00000d15: DUP1 00000d16: DUP7 00000d17: PUSH1 0x01 00000d19: PUSH1 0xa0 00000d1b: PUSH1 0x02 00000d1d: EXP 00000d1e: SUB 00000d1f: AND 00000d20: DUP2 00000d21: MSTORE 00000d22: PUSH1 0x20 00000d24: ADD 00000d25: DUP6 00000d26: DUP2 00000d27: MSTORE 00000d28: PUSH1 0x20 00000d2a: ADD 00000d2b: DUP5 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0xa0 00000d30: PUSH1 0x02 00000d32: EXP 00000d33: SUB 00000d34: AND 00000d35: DUP2 00000d36: MSTORE 00000d37: PUSH1 0x20 00000d39: ADD 00000d3a: DUP1 00000d3b: PUSH1 0x20 00000d3d: ADD 00000d3e: DUP3 00000d3f: DUP2 00000d40: SUB 00000d41: DUP3 00000d42: MSTORE 00000d43: DUP5 00000d44: DUP5 00000d45: DUP3 00000d46: DUP2 00000d47: DUP2 00000d48: MSTORE 00000d49: PUSH1 0x20 00000d4b: ADD 00000d4c: SWAP3 00000d4d: POP 00000d4e: DUP1 00000d4f: DUP3 00000d50: DUP5 00000d51: CALLDATACOPY 00000d52: DUP3 00000d53: ADD 00000d54: SWAP2 00000d55: POP 00000d56: POP 00000d57: SWAP7 00000d58: POP 00000d59: POP 00000d5a: POP 00000d5b: POP 00000d5c: POP 00000d5d: POP 00000d5e: POP 00000d5f: PUSH1 0x40 00000d61: MLOAD 00000d62: DUP1 00000d63: SWAP2 00000d64: SUB 00000d65: SWAP1 00000d66: LOG1 00000d67: DUP5 00000d68: PUSH1 0x01 00000d6a: PUSH1 0xa0 00000d6c: PUSH1 0x02 00000d6e: EXP 00000d6f: SUB 00000d70: AND 00000d71: DUP5 00000d72: DUP5 00000d73: DUP5 00000d74: PUSH1 0x40 00000d76: MLOAD 00000d77: DUP1 00000d78: DUP4 00000d79: DUP4 00000d7a: DUP1 00000d7b: DUP3 00000d7c: DUP5 00000d7d: CALLDATACOPY 00000d7e: DUP3 00000d7f: ADD 00000d80: SWAP2 00000d81: POP 00000d82: POP 00000d83: SWAP3 00000d84: POP 00000d85: POP 00000d86: POP 00000d87: PUSH1 0x00 00000d89: PUSH1 0x40 00000d8b: MLOAD 00000d8c: DUP1 00000d8d: DUP4 00000d8e: SUB 00000d8f: DUP2 00000d90: DUP6 00000d91: DUP8 00000d92: PUSH2 0x8502 00000d95: GAS 00000d96: SUB 00000d97: CALL 00000d98: POP 00000d99: PUSH1 0x00 00000d9b: SWAP4 00000d9c: POP 00000d9d: PUSH2 0x0f13 00000da0: SWAP3 00000da1: POP 00000da2: POP 00000da3: POP 00000da4: JUMP 00000da5: JUMPDEST 00000da6: PUSH1 0x00 00000da8: CALLDATASIZE 00000da9: NUMBER 00000daa: PUSH1 0x40 00000dac: MLOAD 00000dad: DUP1 00000dae: DUP5 00000daf: DUP5 00000db0: DUP1 00000db1: DUP3 00000db2: DUP5 00000db3: CALLDATACOPY 00000db4: DUP3 00000db5: ADD 00000db6: SWAP2 00000db7: POP 00000db8: POP 00000db9: DUP3 00000dba: DUP2 00000dbb: MSTORE 00000dbc: PUSH1 0x20 00000dbe: ADD 00000dbf: SWAP4 00000dc0: POP 00000dc1: POP 00000dc2: POP 00000dc3: POP 00000dc4: PUSH1 0x40 00000dc6: MLOAD 00000dc7: DUP1 00000dc8: SWAP2 00000dc9: SUB 00000dca: SWAP1 00000dcb: KECCAK256 00000dcc: SWAP1 00000dcd: POP 00000dce: DUP1 00000dcf: POP 00000dd0: PUSH2 0x0dd8 00000dd3: DUP2 00000dd4: PUSH2 0x04a8 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: ISZERO 00000dda: DUP1 00000ddb: ISZERO 00000ddc: PUSH2 0x0dfb 00000ddf: JUMPI 00000de0: POP 00000de1: PUSH1 0x00 00000de3: DUP2 00000de4: DUP2 00000de5: MSTORE 00000de6: PUSH2 0x0112 00000de9: PUSH1 0x20 00000deb: MSTORE 00000dec: PUSH1 0x40 00000dee: DUP2 00000def: KECCAK256 00000df0: SLOAD 00000df1: PUSH1 0x01 00000df3: PUSH1 0xa0 00000df5: PUSH1 0x02 00000df7: EXP 00000df8: SUB 00000df9: AND 00000dfa: EQ 00000dfb: JUMPDEST 00000dfc: ISZERO 00000dfd: PUSH2 0x0f13 00000e00: JUMPI 00000e01: PUSH1 0x00 00000e03: DUP2 00000e04: DUP2 00000e05: MSTORE 00000e06: PUSH2 0x0112 00000e09: PUSH1 0x20 00000e0b: SWAP1 00000e0c: DUP2 00000e0d: MSTORE 00000e0e: PUSH1 0x40 00000e10: DUP3 00000e11: KECCAK256 00000e12: DUP1 00000e13: SLOAD 00000e14: PUSH1 0x01 00000e16: PUSH1 0xa0 00000e18: PUSH1 0x02 00000e1a: EXP 00000e1b: SUB 00000e1c: NOT 00000e1d: AND 00000e1e: DUP9 00000e1f: OR 00000e20: DUP2 00000e21: SSTORE 00000e22: PUSH1 0x01 00000e24: DUP2 00000e25: DUP2 00000e26: ADD 00000e27: DUP9 00000e28: SWAP1 00000e29: SSTORE 00000e2a: PUSH1 0x02 00000e2c: SWAP2 00000e2d: DUP3 00000e2e: ADD 00000e2f: DUP1 00000e30: SLOAD 00000e31: DUP2 00000e32: DUP7 00000e33: MSTORE 00000e34: SWAP5 00000e35: DUP5 00000e36: SWAP1 00000e37: KECCAK256 00000e38: SWAP1 00000e39: SWAP5 00000e3a: SWAP2 00000e3b: DUP3 00000e3c: AND 00000e3d: ISZERO 00000e3e: PUSH2 0x0100 00000e41: MUL 00000e42: PUSH1 0x00 00000e44: NOT 00000e45: ADD 00000e46: SWAP1 00000e47: SWAP2 00000e48: AND 00000e49: SWAP2 00000e4a: SWAP1 00000e4b: SWAP2 00000e4c: DIV 00000e4d: PUSH1 0x1f 00000e4f: SWAP1 00000e50: DUP2 00000e51: ADD 00000e52: SWAP3 00000e53: SWAP1 00000e54: SWAP3 00000e55: DIV 00000e56: DUP2 00000e57: ADD 00000e58: SWAP2 00000e59: DUP6 00000e5a: SWAP2 00000e5b: SWAP1 00000e5c: DUP8 00000e5d: SWAP1 00000e5e: DUP4 00000e5f: SWAP1 00000e60: LT 00000e61: PUSH2 0x0f1b 00000e64: JUMPI 00000e65: DUP1 00000e66: CALLDATALOAD 00000e67: PUSH1 0xff 00000e69: NOT 00000e6a: AND 00000e6b: DUP4 00000e6c: DUP1 00000e6d: ADD 00000e6e: OR 00000e6f: DUP6 00000e70: SSTORE 00000e71: JUMPDEST 00000e72: POP 00000e73: PUSH2 0x0e8d 00000e76: SWAP3 00000e77: SWAP2 00000e78: POP 00000e79: JUMPDEST 00000e7a: DUP1 00000e7b: DUP3 00000e7c: GT 00000e7d: ISZERO 00000e7e: PUSH2 0x0f4b 00000e81: JUMPI 00000e82: PUSH1 0x00 00000e84: DUP2 00000e85: SSTORE 00000e86: PUSH1 0x01 00000e88: ADD 00000e89: PUSH2 0x0e79 00000e8c: JUMP 00000e8d: JUMPDEST 00000e8e: POP 00000e8f: POP 00000e90: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32 00000eb1: DUP2 00000eb2: CALLER 00000eb3: DUP7 00000eb4: DUP9 00000eb5: DUP8 00000eb6: DUP8 00000eb7: PUSH1 0x40 00000eb9: MLOAD 00000eba: DUP1 00000ebb: DUP8 00000ebc: DUP2 00000ebd: MSTORE 00000ebe: PUSH1 0x20 00000ec0: ADD 00000ec1: DUP7 00000ec2: PUSH1 0x01 00000ec4: PUSH1 0xa0 00000ec6: PUSH1 0x02 00000ec8: EXP 00000ec9: SUB 00000eca: AND 00000ecb: DUP2 00000ecc: MSTORE 00000ecd: PUSH1 0x20 00000ecf: ADD 00000ed0: DUP6 00000ed1: DUP2 00000ed2: MSTORE 00000ed3: PUSH1 0x20 00000ed5: ADD 00000ed6: DUP5 00000ed7: PUSH1 0x01 00000ed9: PUSH1 0xa0 00000edb: PUSH1 0x02 00000edd: EXP 00000ede: SUB 00000edf: AND 00000ee0: DUP2 00000ee1: MSTORE 00000ee2: PUSH1 0x20 00000ee4: ADD 00000ee5: DUP1 00000ee6: PUSH1 0x20 00000ee8: ADD 00000ee9: DUP3 00000eea: DUP2 00000eeb: SUB 00000eec: DUP3 00000eed: MSTORE 00000eee: DUP5 00000eef: DUP5 00000ef0: DUP3 00000ef1: DUP2 00000ef2: DUP2 00000ef3: MSTORE 00000ef4: PUSH1 0x20 00000ef6: ADD 00000ef7: SWAP3 00000ef8: POP 00000ef9: DUP1 00000efa: DUP3 00000efb: DUP5 00000efc: CALLDATACOPY 00000efd: DUP3 00000efe: ADD 00000eff: SWAP2 00000f00: POP 00000f01: POP 00000f02: SWAP8 00000f03: POP 00000f04: POP 00000f05: POP 00000f06: POP 00000f07: POP 00000f08: POP 00000f09: POP 00000f0a: POP 00000f0b: PUSH1 0x40 00000f0d: MLOAD 00000f0e: DUP1 00000f0f: SWAP2 00000f10: SUB 00000f11: SWAP1 00000f12: LOG1 00000f13: JUMPDEST 00000f14: SWAP5 00000f15: SWAP4 00000f16: POP 00000f17: POP 00000f18: POP 00000f19: POP 00000f1a: JUMP 00000f1b: JUMPDEST 00000f1c: DUP3 00000f1d: DUP1 00000f1e: ADD 00000f1f: PUSH1 0x01 00000f21: ADD 00000f22: DUP6 00000f23: SSTORE 00000f24: DUP3 00000f25: ISZERO 00000f26: PUSH2 0x0e71 00000f29: JUMPI 00000f2a: SWAP2 00000f2b: DUP3 00000f2c: ADD 00000f2d: JUMPDEST 00000f2e: DUP3 00000f2f: DUP2 00000f30: GT 00000f31: ISZERO 00000f32: PUSH2 0x0e71 00000f35: JUMPI 00000f36: DUP3 00000f37: CALLDATALOAD 00000f38: DUP3 00000f39: PUSH1 0x00 00000f3b: POP 00000f3c: SSTORE 00000f3d: SWAP2 00000f3e: PUSH1 0x20 00000f40: ADD 00000f41: SWAP2 00000f42: SWAP1 00000f43: PUSH1 0x01 00000f45: ADD 00000f46: SWAP1 00000f47: PUSH2 0x0f2d 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: POP 00000f4d: SWAP1 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: ISZERO 00000f51: PUSH2 0x0fd1 00000f54: JUMPI 00000f55: PUSH1 0x00 00000f57: DUP4 00000f58: DUP2 00000f59: MSTORE 00000f5a: PUSH2 0x0112 00000f5d: PUSH1 0x20 00000f5f: MSTORE 00000f60: PUSH1 0x40 00000f62: DUP2 00000f63: KECCAK256 00000f64: SLOAD 00000f65: PUSH1 0x01 00000f67: PUSH1 0xa0 00000f69: PUSH1 0x02 00000f6b: EXP 00000f6c: SUB 00000f6d: AND 00000f6e: EQ 00000f6f: PUSH2 0x0fd1 00000f72: JUMPI 00000f73: PUSH1 0x40 00000f75: DUP1 00000f76: MLOAD 00000f77: PUSH1 0x00 00000f79: SWAP2 00000f7a: SWAP1 00000f7b: SWAP2 00000f7c: KECCAK256 00000f7d: DUP1 00000f7e: SLOAD 00000f7f: PUSH1 0x02 00000f81: DUP3 00000f82: DUP2 00000f83: ADD 00000f84: DUP1 00000f85: SLOAD 00000f86: PUSH1 0x01 00000f88: SWAP5 00000f89: DUP6 00000f8a: ADD 00000f8b: SLOAD 00000f8c: PUSH1 0x01 00000f8e: PUSH1 0xa0 00000f90: PUSH1 0x02 00000f92: EXP 00000f93: SUB 00000f94: SWAP5 00000f95: SWAP1 00000f96: SWAP5 00000f97: AND 00000f98: SWAP6 00000f99: SWAP4 00000f9a: SWAP5 00000f9b: SWAP2 00000f9c: SWAP4 00000f9d: SWAP3 00000f9e: DUP4 00000f9f: SWAP3 00000fa0: DUP6 00000fa1: SWAP3 00000fa2: SWAP1 00000fa3: DUP2 00000fa4: AND 00000fa5: ISZERO 00000fa6: PUSH2 0x0100 00000fa9: MUL 00000faa: PUSH1 0x00 00000fac: NOT 00000fad: ADD 00000fae: AND 00000faf: DIV 00000fb0: DUP1 00000fb1: ISZERO 00000fb2: PUSH2 0x1002 00000fb5: JUMPI 00000fb6: DUP1 00000fb7: PUSH1 0x1f 00000fb9: LT 00000fba: PUSH2 0x0fd7 00000fbd: JUMPI 00000fbe: PUSH2 0x0100 00000fc1: DUP1 00000fc2: DUP4 00000fc3: SLOAD 00000fc4: DIV 00000fc5: MUL 00000fc6: DUP4 00000fc7: MSTORE 00000fc8: SWAP2 00000fc9: PUSH1 0x20 00000fcb: ADD 00000fcc: SWAP2 00000fcd: PUSH2 0x1002 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: POP 00000fd3: SWAP2 00000fd4: SWAP1 00000fd5: POP 00000fd6: JUMP 00000fd7: JUMPDEST 00000fd8: DUP3 00000fd9: ADD 00000fda: SWAP2 00000fdb: SWAP1 00000fdc: PUSH1 0x00 00000fde: MSTORE 00000fdf: PUSH1 0x20 00000fe1: PUSH1 0x00 00000fe3: KECCAK256 00000fe4: SWAP1 00000fe5: JUMPDEST 00000fe6: DUP2 00000fe7: SLOAD 00000fe8: DUP2 00000fe9: MSTORE 00000fea: SWAP1 00000feb: PUSH1 0x01 00000fed: ADD 00000fee: SWAP1 00000fef: PUSH1 0x20 00000ff1: ADD 00000ff2: DUP1 00000ff3: DUP4 00000ff4: GT 00000ff5: PUSH2 0x0fe5 00000ff8: JUMPI 00000ff9: DUP3 00000ffa: SWAP1 00000ffb: SUB 00000ffc: PUSH1 0x1f 00000ffe: AND 00000fff: DUP3 00001000: ADD 00001001: SWAP2 00001002: JUMPDEST 00001003: POP 00001004: POP 00001005: SWAP2 00001006: POP 00001007: POP 00001008: PUSH1 0x00 0000100a: PUSH1 0x40 0000100c: MLOAD 0000100d: DUP1 0000100e: DUP4 0000100f: SUB 00001010: DUP2 00001011: DUP6 00001012: DUP8 00001013: PUSH2 0x8502 00001016: GAS 00001017: SUB 00001018: CALL 00001019: POP 0000101a: POP 0000101b: POP 0000101c: PUSH1 0x00 0000101e: DUP5 0000101f: DUP2 00001020: MSTORE 00001021: PUSH2 0x0112 00001024: PUSH1 0x20 00001026: SWAP1 00001027: DUP2 00001028: MSTORE 00001029: PUSH1 0x40 0000102b: SWAP2 0000102c: DUP3 0000102d: SWAP1 0000102e: KECCAK256 0000102f: DUP1 00001030: SLOAD 00001031: DUP4 00001032: MLOAD 00001033: PUSH1 0x01 00001035: DUP1 00001036: DUP5 00001037: ADD 00001038: SLOAD 00001039: CALLER 0000103a: PUSH1 0x01 0000103c: PUSH1 0xa0 0000103e: PUSH1 0x02 00001040: EXP 00001041: SUB 00001042: DUP2 00001043: DUP2 00001044: AND 00001045: DUP6 00001046: MSTORE 00001047: SWAP7 00001048: DUP5 00001049: ADD 0000104a: DUP13 0000104b: SWAP1 0000104c: MSTORE 0000104d: SWAP7 0000104e: DUP4 0000104f: ADD 00001050: DUP2 00001051: SWAP1 00001052: MSTORE 00001053: SWAP3 00001054: SWAP1 00001055: SWAP5 00001056: AND 00001057: PUSH1 0x60 00001059: DUP3 0000105a: ADD 0000105b: DUP2 0000105c: SWAP1 0000105d: MSTORE 0000105e: PUSH1 0xa0 00001060: PUSH1 0x80 00001062: DUP4 00001063: ADD 00001064: DUP2 00001065: DUP2 00001066: MSTORE 00001067: PUSH1 0x02 00001069: SWAP6 0000106a: DUP7 0000106b: ADD 0000106c: DUP1 0000106d: SLOAD 0000106e: SWAP8 0000106f: DUP9 00001070: AND 00001071: ISZERO 00001072: PUSH2 0x0100 00001075: MUL 00001076: PUSH1 0x00 00001078: NOT 00001079: ADD 0000107a: SWAP1 0000107b: SWAP8 0000107c: AND 0000107d: SWAP6 0000107e: SWAP1 0000107f: SWAP6 00001080: DIV 00001081: SWAP1 00001082: DUP4 00001083: ADD 00001084: DUP2 00001085: SWAP1 00001086: MSTORE 00001087: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a 000010a8: SWAP8 000010a9: POP 000010aa: DUP11 000010ab: SWAP6 000010ac: SWAP4 000010ad: SWAP5 000010ae: SWAP2 000010af: SWAP4 000010b0: SWAP3 000010b1: SWAP2 000010b2: SWAP1 000010b3: PUSH1 0xc0 000010b5: DUP4 000010b6: ADD 000010b7: SWAP1 000010b8: DUP5 000010b9: SWAP1 000010ba: DUP1 000010bb: ISZERO 000010bc: PUSH2 0x1106 000010bf: JUMPI 000010c0: DUP1 000010c1: PUSH1 0x1f 000010c3: LT 000010c4: PUSH2 0x10db 000010c7: JUMPI 000010c8: PUSH2 0x0100 000010cb: DUP1 000010cc: DUP4 000010cd: SLOAD 000010ce: DIV 000010cf: MUL 000010d0: DUP4 000010d1: MSTORE 000010d2: SWAP2 000010d3: PUSH1 0x20 000010d5: ADD 000010d6: SWAP2 000010d7: PUSH2 0x1106 000010da: JUMP 000010db: JUMPDEST 000010dc: DUP3 000010dd: ADD 000010de: SWAP2 000010df: SWAP1 000010e0: PUSH1 0x00 000010e2: MSTORE 000010e3: PUSH1 0x20 000010e5: PUSH1 0x00 000010e7: KECCAK256 000010e8: SWAP1 000010e9: JUMPDEST 000010ea: DUP2 000010eb: SLOAD 000010ec: DUP2 000010ed: MSTORE 000010ee: SWAP1 000010ef: PUSH1 0x01 000010f1: ADD 000010f2: SWAP1 000010f3: PUSH1 0x20 000010f5: ADD 000010f6: DUP1 000010f7: DUP4 000010f8: GT 000010f9: PUSH2 0x10e9 000010fc: JUMPI 000010fd: DUP3 000010fe: SWAP1 000010ff: SUB 00001100: PUSH1 0x1f 00001102: AND 00001103: DUP3 00001104: ADD 00001105: SWAP2 00001106: JUMPDEST 00001107: POP 00001108: POP 00001109: SWAP7 0000110a: POP 0000110b: POP 0000110c: POP 0000110d: POP 0000110e: POP 0000110f: POP 00001110: POP 00001111: PUSH1 0x40 00001113: MLOAD 00001114: DUP1 00001115: SWAP2 00001116: SUB 00001117: SWAP1 00001118: LOG1 00001119: PUSH1 0x00 0000111b: DUP4 0000111c: DUP2 0000111d: MSTORE 0000111e: PUSH2 0x0112 00001121: PUSH1 0x20 00001123: MSTORE 00001124: PUSH1 0x40 00001126: DUP2 00001127: KECCAK256 00001128: DUP1 00001129: SLOAD 0000112a: PUSH1 0x01 0000112c: PUSH1 0xa0 0000112e: PUSH1 0x02 00001130: EXP 00001131: SUB 00001132: NOT 00001133: AND 00001134: DUP2 00001135: SSTORE 00001136: PUSH1 0x01 00001138: DUP2 00001139: DUP2 0000113a: ADD 0000113b: DUP4 0000113c: SWAP1 0000113d: SSTORE 0000113e: PUSH1 0x02 00001140: DUP3 00001141: DUP2 00001142: ADD 00001143: DUP1 00001144: SLOAD 00001145: DUP6 00001146: DUP3 00001147: SSTORE 00001148: SWAP4 00001149: SWAP5 0000114a: SWAP4 0000114b: SWAP1 0000114c: SWAP3 0000114d: DUP2 0000114e: AND 0000114f: ISZERO 00001150: PUSH2 0x0100 00001153: MUL 00001154: PUSH1 0x00 00001156: NOT 00001157: ADD 00001158: AND 00001159: DIV 0000115a: PUSH1 0x1f 0000115c: DUP2 0000115d: SWAP1 0000115e: LT 0000115f: PUSH2 0x1171 00001162: JUMPI 00001163: POP 00001164: JUMPDEST 00001165: POP 00001166: POP 00001167: POP 00001168: PUSH1 0x01 0000116a: SWAP2 0000116b: POP 0000116c: POP 0000116d: PUSH2 0x0345 00001170: JUMP 00001171: JUMPDEST 00001172: PUSH1 0x1f 00001174: ADD 00001175: PUSH1 0x20 00001177: SWAP1 00001178: DIV 00001179: SWAP1 0000117a: PUSH1 0x00 0000117c: MSTORE 0000117d: PUSH1 0x20 0000117f: PUSH1 0x00 00001181: KECCAK256 00001182: SWAP1 00001183: DUP2 00001184: ADD 00001185: SWAP1 00001186: PUSH2 0x1164 00001189: SWAP2 0000118a: SWAP1 0000118b: PUSH2 0x0e79 0000118e: JUMP 0000118f: JUMPDEST 00001190: ISZERO 00001191: PUSH2 0x1227 00001194: JUMPI 00001195: TIMESTAMP 00001196: DUP6 00001197: LT 00001198: ISZERO 00001199: PUSH2 0x1233 0000119c: JUMPI 0000119d: PUSH2 0x0002 000011a0: JUMP 000011a1: JUMPDEST 000011a2: POP 000011a3: POP 000011a4: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32 000011c5: DUP2 000011c6: CALLER 000011c7: DUP11 000011c8: DUP13 000011c9: DUP12 000011ca: DUP12 000011cb: PUSH1 0x40 000011cd: MLOAD 000011ce: DUP1 000011cf: DUP8 000011d0: DUP2 000011d1: MSTORE 000011d2: PUSH1 0x20 000011d4: ADD 000011d5: DUP7 000011d6: PUSH1 0x01 000011d8: PUSH1 0xa0 000011da: PUSH1 0x02 000011dc: EXP 000011dd: SUB 000011de: AND 000011df: DUP2 000011e0: MSTORE 000011e1: PUSH1 0x20 000011e3: ADD 000011e4: DUP6 000011e5: DUP2 000011e6: MSTORE 000011e7: PUSH1 0x20 000011e9: ADD 000011ea: DUP5 000011eb: PUSH1 0x01 000011ed: PUSH1 0xa0 000011ef: PUSH1 0x02 000011f1: EXP 000011f2: SUB 000011f3: AND 000011f4: DUP2 000011f5: MSTORE 000011f6: PUSH1 0x20 000011f8: ADD 000011f9: DUP1 000011fa: PUSH1 0x20 000011fc: ADD 000011fd: DUP3 000011fe: DUP2 000011ff: SUB 00001200: DUP3 00001201: MSTORE 00001202: DUP5 00001203: DUP5 00001204: DUP3 00001205: DUP2 00001206: DUP2 00001207: MSTORE 00001208: PUSH1 0x20 0000120a: ADD 0000120b: SWAP3 0000120c: POP 0000120d: DUP1 0000120e: DUP3 0000120f: DUP5 00001210: CALLDATACOPY 00001211: DUP3 00001212: ADD 00001213: SWAP2 00001214: POP 00001215: POP 00001216: SWAP8 00001217: POP 00001218: POP 00001219: POP 0000121a: POP 0000121b: POP 0000121c: POP 0000121d: POP 0000121e: POP 0000121f: PUSH1 0x40 00001221: MLOAD 00001222: DUP1 00001223: SWAP2 00001224: SUB 00001225: SWAP1 00001226: LOG1 00001227: JUMPDEST 00001228: SWAP9 00001229: SWAP8 0000122a: POP 0000122b: POP 0000122c: POP 0000122d: POP 0000122e: POP 0000122f: POP 00001230: POP 00001231: POP 00001232: JUMP 00001233: JUMPDEST 00001234: DUP9 00001235: DUP9 00001236: DUP9 00001237: DUP9 00001238: DUP9 00001239: DUP9 0000123a: PUSH1 0x40 0000123c: MLOAD 0000123d: DUP1 0000123e: DUP8 0000123f: PUSH1 0x01 00001241: PUSH1 0xa0 00001243: PUSH1 0x02 00001245: EXP 00001246: SUB 00001247: AND 00001248: PUSH13 0x01000000000000000000000000 00001256: MUL 00001257: DUP2 00001258: MSTORE 00001259: PUSH1 0x14 0000125b: ADD 0000125c: DUP7 0000125d: DUP2 0000125e: MSTORE 0000125f: PUSH1 0x20 00001261: ADD 00001262: DUP6 00001263: DUP6 00001264: DUP1 00001265: DUP3 00001266: DUP5 00001267: CALLDATACOPY 00001268: DUP3 00001269: ADD 0000126a: SWAP2 0000126b: POP 0000126c: POP 0000126d: DUP4 0000126e: DUP2 0000126f: MSTORE 00001270: PUSH1 0x20 00001272: ADD 00001273: DUP3 00001274: DUP2 00001275: MSTORE 00001276: PUSH1 0x20 00001278: ADD 00001279: SWAP7 0000127a: POP 0000127b: POP 0000127c: POP 0000127d: POP 0000127e: POP 0000127f: POP 00001280: POP 00001281: PUSH1 0x40 00001283: MLOAD 00001284: DUP1 00001285: SWAP2 00001286: SUB 00001287: SWAP1 00001288: KECCAK256 00001289: SWAP1 0000128a: POP 0000128b: DUP1 0000128c: POP 0000128d: PUSH2 0x12fc 00001290: DUP2 00001291: DUP6 00001292: DUP6 00001293: DUP6 00001294: DUP1 00001295: DUP1 00001296: PUSH1 0x1f 00001298: ADD 00001299: PUSH1 0x20 0000129b: DUP1 0000129c: SWAP2 0000129d: DIV 0000129e: MUL 0000129f: PUSH1 0x20 000012a1: ADD 000012a2: PUSH1 0x40 000012a4: MLOAD 000012a5: SWAP1 000012a6: DUP2 000012a7: ADD 000012a8: PUSH1 0x40 000012aa: MSTORE 000012ab: DUP1 000012ac: SWAP4 000012ad: SWAP3 000012ae: SWAP2 000012af: SWAP1 000012b0: DUP2 000012b1: DUP2 000012b2: MSTORE 000012b3: PUSH1 0x20 000012b5: ADD 000012b6: DUP4 000012b7: DUP4 000012b8: DUP1 000012b9: DUP3 000012ba: DUP5 000012bb: CALLDATACOPY 000012bc: POP 000012bd: POP 000012be: POP 000012bf: POP 000012c0: POP 000012c1: POP 000012c2: PUSH1 0x00 000012c4: PUSH2 0x14c8 000012c7: DUP5 000012c8: DUP5 000012c9: DUP5 000012ca: PUSH1 0x00 000012cc: DUP1 000012cd: DUP1 000012ce: DUP1 000012cf: DUP1 000012d0: DUP1 000012d1: DUP1 000012d2: JUMPDEST 000012d3: PUSH1 0x0a 000012d5: DUP6 000012d6: PUSH1 0xff 000012d8: AND 000012d9: LT 000012da: ISZERO 000012db: PUSH2 0x1717 000012de: JUMPI 000012df: DUP9 000012e0: PUSH2 0x0105 000012e3: PUSH1 0xff 000012e5: DUP8 000012e6: AND 000012e7: PUSH1 0x0a 000012e9: DUP2 000012ea: LT 000012eb: ISZERO 000012ec: PUSH2 0x0002 000012ef: JUMPI 000012f0: ADD 000012f1: SLOAD 000012f2: EQ 000012f3: ISZERO 000012f4: PUSH2 0x1734 000012f7: JUMPI 000012f8: PUSH2 0x0002 000012fb: JUMP 000012fc: JUMPDEST 000012fd: ISZERO 000012fe: PUSH2 0x13c2 00001301: JUMPI 00001302: DUP9 00001303: PUSH1 0x01 00001305: PUSH1 0xa0 00001307: PUSH1 0x02 00001309: EXP 0000130a: SUB 0000130b: AND 0000130c: DUP9 0000130d: DUP9 0000130e: DUP9 0000130f: PUSH1 0x40 00001311: MLOAD 00001312: DUP1 00001313: DUP4 00001314: DUP4 00001315: DUP1 00001316: DUP3 00001317: DUP5 00001318: CALLDATACOPY 00001319: DUP3 0000131a: ADD 0000131b: SWAP2 0000131c: POP 0000131d: POP 0000131e: SWAP3 0000131f: POP 00001320: POP 00001321: POP 00001322: PUSH1 0x00 00001324: PUSH1 0x40 00001326: MLOAD 00001327: DUP1 00001328: DUP4 00001329: SUB 0000132a: DUP2 0000132b: DUP6 0000132c: DUP8 0000132d: PUSH2 0x8502 00001330: GAS 00001331: SUB 00001332: CALL 00001333: SWAP3 00001334: POP 00001335: POP 00001336: POP 00001337: POP 00001338: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a 00001359: CALLER 0000135a: DUP3 0000135b: DUP11 0000135c: DUP13 0000135d: DUP12 0000135e: DUP12 0000135f: PUSH1 0x40 00001361: MLOAD 00001362: DUP1 00001363: DUP8 00001364: PUSH1 0x01 00001366: PUSH1 0xa0 00001368: PUSH1 0x02 0000136a: EXP 0000136b: SUB 0000136c: AND 0000136d: DUP2 0000136e: MSTORE 0000136f: PUSH1 0x20 00001371: ADD 00001372: DUP7 00001373: DUP2 00001374: MSTORE 00001375: PUSH1 0x20 00001377: ADD 00001378: DUP6 00001379: DUP2 0000137a: MSTORE 0000137b: PUSH1 0x20 0000137d: ADD 0000137e: DUP5 0000137f: PUSH1 0x01 00001381: PUSH1 0xa0 00001383: PUSH1 0x02 00001385: EXP 00001386: SUB 00001387: AND 00001388: DUP2 00001389: MSTORE 0000138a: PUSH1 0x20 0000138c: ADD 0000138d: DUP1 0000138e: PUSH1 0x20 00001390: ADD 00001391: DUP3 00001392: DUP2 00001393: SUB 00001394: DUP3 00001395: MSTORE 00001396: DUP5 00001397: DUP5 00001398: DUP3 00001399: DUP2 0000139a: DUP2 0000139b: MSTORE 0000139c: PUSH1 0x20 0000139e: ADD 0000139f: SWAP3 000013a0: POP 000013a1: DUP1 000013a2: DUP3 000013a3: DUP5 000013a4: CALLDATACOPY 000013a5: DUP3 000013a6: ADD 000013a7: SWAP2 000013a8: POP 000013a9: POP 000013aa: SWAP8 000013ab: POP 000013ac: POP 000013ad: POP 000013ae: POP 000013af: POP 000013b0: POP 000013b1: POP 000013b2: POP 000013b3: PUSH1 0x40 000013b5: MLOAD 000013b6: DUP1 000013b7: SWAP2 000013b8: SUB 000013b9: SWAP1 000013ba: LOG1 000013bb: POP 000013bc: PUSH1 0x00 000013be: PUSH2 0x1227 000013c1: JUMP 000013c2: JUMPDEST 000013c3: PUSH1 0x00 000013c5: DUP2 000013c6: DUP2 000013c7: MSTORE 000013c8: PUSH2 0x0112 000013cb: PUSH1 0x20 000013cd: SWAP1 000013ce: DUP2 000013cf: MSTORE 000013d0: PUSH1 0x40 000013d2: DUP3 000013d3: KECCAK256 000013d4: DUP1 000013d5: SLOAD 000013d6: PUSH1 0x01 000013d8: PUSH1 0xa0 000013da: PUSH1 0x02 000013dc: EXP 000013dd: SUB 000013de: NOT 000013df: AND 000013e0: DUP13 000013e1: OR 000013e2: DUP2 000013e3: SSTORE 000013e4: PUSH1 0x01 000013e6: DUP2 000013e7: DUP2 000013e8: ADD 000013e9: DUP13 000013ea: SWAP1 000013eb: SSTORE 000013ec: PUSH1 0x02 000013ee: SWAP2 000013ef: DUP3 000013f0: ADD 000013f1: DUP1 000013f2: SLOAD 000013f3: DUP2 000013f4: DUP7 000013f5: MSTORE 000013f6: SWAP5 000013f7: DUP5 000013f8: SWAP1 000013f9: KECCAK256 000013fa: SWAP1 000013fb: SWAP5 000013fc: SWAP2 000013fd: DUP3 000013fe: AND 000013ff: ISZERO 00001400: PUSH2 0x0100 00001403: MUL 00001404: PUSH1 0x00 00001406: NOT 00001407: ADD 00001408: SWAP1 00001409: SWAP2 0000140a: AND 0000140b: SWAP2 0000140c: SWAP1 0000140d: SWAP2 0000140e: DIV 0000140f: PUSH1 0x1f 00001411: SWAP1 00001412: DUP2 00001413: ADD 00001414: SWAP3 00001415: SWAP1 00001416: SWAP3 00001417: DIV 00001418: DUP2 00001419: ADD 0000141a: SWAP2 0000141b: DUP10 0000141c: SWAP2 0000141d: SWAP1 0000141e: DUP12 0000141f: SWAP1 00001420: DUP4 00001421: SWAP1 00001422: LT 00001423: PUSH2 0x143f 00001426: JUMPI 00001427: DUP3 00001428: DUP1 00001429: ADD 0000142a: PUSH1 0xff 0000142c: NOT 0000142d: DUP3 0000142e: CALLDATALOAD 0000142f: AND 00001430: OR 00001431: DUP6 00001432: SSTORE 00001433: JUMPDEST 00001434: POP 00001435: PUSH2 0x11a1 00001438: SWAP3 00001439: SWAP2 0000143a: POP 0000143b: PUSH2 0x0e79 0000143e: JUMP 0000143f: JUMPDEST 00001440: DUP3 00001441: DUP1 00001442: ADD 00001443: PUSH1 0x01 00001445: ADD 00001446: DUP6 00001447: SSTORE 00001448: DUP3 00001449: ISZERO 0000144a: PUSH2 0x1433 0000144d: JUMPI 0000144e: SWAP2 0000144f: DUP3 00001450: ADD 00001451: JUMPDEST 00001452: DUP3 00001453: DUP2 00001454: GT 00001455: ISZERO 00001456: PUSH2 0x1433 00001459: JUMPI 0000145a: DUP3 0000145b: CALLDATALOAD 0000145c: DUP3 0000145d: PUSH1 0x00 0000145f: POP 00001460: SSTORE 00001461: SWAP2 00001462: PUSH1 0x20 00001464: ADD 00001465: SWAP2 00001466: SWAP1 00001467: PUSH1 0x01 00001469: ADD 0000146a: SWAP1 0000146b: PUSH2 0x1451 0000146e: JUMP 0000146f: JUMPDEST 00001470: DUP2 00001471: PUSH1 0xff 00001473: AND 00001474: SWAP3 00001475: POP 00001476: PUSH2 0x0c96 00001479: JUMP 0000147a: JUMPDEST 0000147b: PUSH1 0x01 0000147d: SWAP2 0000147e: SWAP1 0000147f: SWAP2 00001480: ADD 00001481: SWAP1 00001482: JUMPDEST 00001483: PUSH1 0x01 00001485: ADD 00001486: PUSH2 0x024f 00001489: JUMP 0000148a: JUMPDEST 0000148b: DUP3 0000148c: ADD 0000148d: SWAP2 0000148e: SWAP1 0000148f: PUSH1 0x00 00001491: MSTORE 00001492: PUSH1 0x20 00001494: PUSH1 0x00 00001496: KECCAK256 00001497: SWAP1 00001498: JUMPDEST 00001499: DUP2 0000149a: SLOAD 0000149b: DUP2 0000149c: MSTORE 0000149d: SWAP1 0000149e: PUSH1 0x01 000014a0: ADD 000014a1: SWAP1 000014a2: PUSH1 0x20 000014a4: ADD 000014a5: DUP1 000014a6: DUP4 000014a7: GT 000014a8: PUSH2 0x1498 000014ab: JUMPI 000014ac: DUP3 000014ad: SWAP1 000014ae: SUB 000014af: PUSH1 0x1f 000014b1: AND 000014b2: DUP3 000014b3: ADD 000014b4: SWAP2 000014b5: JUMPDEST 000014b6: POP 000014b7: POP 000014b8: POP 000014b9: POP 000014ba: POP 000014bb: SWAP1 000014bc: POP 000014bd: PUSH2 0x0345 000014c0: JUMP 000014c1: JUMPDEST 000014c2: SWAP1 000014c3: POP 000014c4: PUSH2 0x0345 000014c7: JUMP 000014c8: JUMPDEST 000014c9: DUP1 000014ca: PUSH2 0x0f13 000014cd: JUMPI 000014ce: POP 000014cf: PUSH2 0x0f13 000014d2: DUP5 000014d3: PUSH2 0x01c5 000014d6: JUMP 000014d7: JUMPDEST 000014d8: JUMPDEST 000014d9: PUSH1 0x01 000014db: DUP1 000014dc: SLOAD 000014dd: GT 000014de: DUP1 000014df: ISZERO 000014e0: PUSH2 0x1503 000014e3: JUMPI 000014e4: POP 000014e5: PUSH1 0x01 000014e7: SLOAD 000014e8: PUSH1 0x02 000014ea: SWAP1 000014eb: PUSH2 0x0100 000014ee: DUP2 000014ef: LT 000014f0: ISZERO 000014f1: PUSH2 0x0002 000014f4: JUMPI 000014f5: ADD 000014f6: SLOAD 000014f7: PUSH1 0x01 000014f9: PUSH1 0xa0 000014fb: PUSH1 0x02 000014fd: EXP 000014fe: SUB 000014ff: AND 00001500: PUSH1 0x00 00001502: EQ 00001503: JUMPDEST 00001504: ISZERO 00001505: PUSH2 0x1517 00001508: JUMPI 00001509: PUSH1 0x01 0000150b: DUP1 0000150c: SLOAD 0000150d: PUSH1 0x00 0000150f: NOT 00001510: ADD 00001511: SWAP1 00001512: SSTORE 00001513: PUSH2 0x14d8 00001516: JUMP 00001517: JUMPDEST 00001518: PUSH1 0x01 0000151a: SLOAD 0000151b: DUP2 0000151c: LT 0000151d: DUP1 0000151e: ISZERO 0000151f: PUSH2 0x1543 00001522: JUMPI 00001523: POP 00001524: PUSH1 0x01 00001526: SLOAD 00001527: PUSH1 0x02 00001529: SWAP1 0000152a: PUSH2 0x0100 0000152d: DUP2 0000152e: LT 0000152f: ISZERO 00001530: PUSH2 0x0002 00001533: JUMPI 00001534: ADD 00001535: SLOAD 00001536: PUSH1 0x01 00001538: PUSH1 0xa0 0000153a: PUSH1 0x02 0000153c: EXP 0000153d: SUB 0000153e: AND 0000153f: PUSH1 0x00 00001541: EQ 00001542: ISZERO 00001543: JUMPDEST 00001544: DUP1 00001545: ISZERO 00001546: PUSH2 0x1566 00001549: JUMPI 0000154a: POP 0000154b: PUSH1 0x02 0000154d: DUP2 0000154e: PUSH2 0x0100 00001551: DUP2 00001552: LT 00001553: ISZERO 00001554: PUSH2 0x0002 00001557: JUMPI 00001558: ADD 00001559: SLOAD 0000155a: PUSH1 0x01 0000155c: PUSH1 0xa0 0000155e: PUSH1 0x02 00001560: EXP 00001561: SUB 00001562: AND 00001563: PUSH1 0x00 00001565: EQ 00001566: JUMPDEST 00001567: ISZERO 00001568: PUSH2 0x15f5 0000156b: JUMPI 0000156c: PUSH1 0x01 0000156e: SLOAD 0000156f: PUSH1 0x02 00001571: SWAP1 00001572: PUSH2 0x0100 00001575: DUP2 00001576: LT 00001577: ISZERO 00001578: PUSH2 0x0002 0000157b: JUMPI 0000157c: DUP2 0000157d: ADD 0000157e: SLOAD 0000157f: PUSH1 0x01 00001581: PUSH1 0xa0 00001583: PUSH1 0x02 00001585: EXP 00001586: SUB 00001587: AND 00001588: SWAP1 00001589: DUP3 0000158a: PUSH2 0x0100 0000158d: DUP2 0000158e: LT 0000158f: ISZERO 00001590: PUSH2 0x0002 00001593: JUMPI 00001594: DUP2 00001595: ADD 00001596: DUP1 00001597: SLOAD 00001598: PUSH1 0x01 0000159a: PUSH1 0xa0 0000159c: PUSH1 0x02 0000159e: EXP 0000159f: SUB 000015a0: NOT 000015a1: AND 000015a2: SWAP1 000015a3: SWAP3 000015a4: OR 000015a5: SWAP1 000015a6: SWAP2 000015a7: SSTORE 000015a8: DUP2 000015a9: SWAP1 000015aa: PUSH2 0x0102 000015ad: SWAP1 000015ae: PUSH1 0x00 000015b0: SWAP1 000015b1: DUP4 000015b2: PUSH2 0x0100 000015b5: DUP2 000015b6: LT 000015b7: ISZERO 000015b8: PUSH2 0x0002 000015bb: JUMPI 000015bc: DUP2 000015bd: ADD 000015be: SLOAD 000015bf: PUSH1 0x01 000015c1: PUSH1 0xa0 000015c3: PUSH1 0x02 000015c5: EXP 000015c6: SUB 000015c7: AND 000015c8: DUP3 000015c9: MSTORE 000015ca: PUSH1 0x20 000015cc: SWAP3 000015cd: SWAP1 000015ce: SWAP3 000015cf: MSTORE 000015d0: PUSH1 0x40 000015d2: DUP2 000015d3: KECCAK256 000015d4: SWAP3 000015d5: SWAP1 000015d6: SWAP3 000015d7: SSTORE 000015d8: PUSH1 0x01 000015da: SLOAD 000015db: PUSH2 0x0100 000015de: DUP2 000015df: LT 000015e0: ISZERO 000015e1: PUSH2 0x0002 000015e4: JUMPI 000015e5: ADD 000015e6: DUP1 000015e7: SLOAD 000015e8: PUSH1 0x01 000015ea: PUSH1 0xa0 000015ec: PUSH1 0x02 000015ee: EXP 000015ef: SUB 000015f0: NOT 000015f1: AND 000015f2: SWAP1 000015f3: SSTORE 000015f4: POP 000015f5: JUMPDEST 000015f6: PUSH2 0x0b12 000015f9: JUMP 000015fa: JUMPDEST 000015fb: ISZERO 000015fc: PUSH2 0x0345 000015ff: JUMPI 00001600: PUSH2 0x0111 00001603: SLOAD 00001604: PUSH2 0x1610 00001607: JUMPDEST 00001608: PUSH3 0x015180 0000160c: TIMESTAMP 0000160d: DIV 0000160e: SWAP1 0000160f: JUMP 00001610: JUMPDEST 00001611: GT 00001612: ISZERO 00001613: PUSH2 0x1629 00001616: JUMPI 00001617: PUSH1 0x00 00001619: PUSH2 0x0110 0000161c: SSTORE 0000161d: PUSH2 0x1624 00001620: PUSH2 0x1607 00001623: JUMP 00001624: JUMPDEST 00001625: PUSH2 0x0111 00001628: SSTORE 00001629: JUMPDEST 0000162a: PUSH2 0x0110 0000162d: SLOAD 0000162e: DUP1 0000162f: DUP4 00001630: ADD 00001631: LT 00001632: DUP1 00001633: ISZERO 00001634: SWAP1 00001635: PUSH2 0x1646 00001638: JUMPI 00001639: POP 0000163a: PUSH2 0x010f 0000163d: SLOAD 0000163e: PUSH2 0x0110 00001641: SLOAD 00001642: DUP4 00001643: ADD 00001644: GT 00001645: ISZERO 00001646: JUMPDEST 00001647: ISZERO 00001648: PUSH2 0x165c 0000164b: JUMPI 0000164c: POP 0000164d: PUSH2 0x0110 00001650: DUP1 00001651: SLOAD 00001652: DUP3 00001653: ADD 00001654: SWAP1 00001655: SSTORE 00001656: PUSH1 0x01 00001658: PUSH2 0x0345 0000165b: JUMP 0000165c: JUMPDEST 0000165d: POP 0000165e: PUSH1 0x00 00001660: PUSH2 0x0345 00001663: JUMP 00001664: JUMPDEST 00001665: PUSH2 0x0abd 00001668: PUSH2 0x0104 0000166b: SLOAD 0000166c: PUSH1 0x00 0000166e: JUMPDEST 0000166f: DUP2 00001670: DUP2 00001671: LT 00001672: ISZERO 00001673: PUSH2 0x1961 00001676: JUMPI 00001677: PUSH2 0x0104 0000167a: DUP1 0000167b: SLOAD 0000167c: DUP3 0000167d: SWAP1 0000167e: DUP2 0000167f: LT 00001680: ISZERO 00001681: PUSH2 0x0002 00001684: JUMPI 00001685: PUSH1 0x00 00001687: SWAP2 00001688: DUP3 00001689: MSTORE 0000168a: PUSH1 0x00 0000168c: DUP1 0000168d: MLOAD 0000168e: PUSH1 0x20 00001690: PUSH2 0x198b 00001693: DUP4 00001694: CODECOPY 00001695: DUP2 00001696: MLOAD 00001697: SWAP2 00001698: MSTORE 00001699: ADD 0000169a: SLOAD 0000169b: EQ 0000169c: PUSH2 0x16e1 0000169f: JUMPI 000016a0: PUSH2 0x0104 000016a3: DUP1 000016a4: SLOAD 000016a5: PUSH2 0x0103 000016a8: SWAP2 000016a9: PUSH1 0x00 000016ab: SWAP2 000016ac: DUP5 000016ad: SWAP1 000016ae: DUP2 000016af: LT 000016b0: ISZERO 000016b1: PUSH2 0x0002 000016b4: JUMPI 000016b5: PUSH1 0x00 000016b7: DUP1 000016b8: MLOAD 000016b9: PUSH1 0x20 000016bb: PUSH2 0x198b 000016be: DUP4 000016bf: CODECOPY 000016c0: DUP2 000016c1: MLOAD 000016c2: SWAP2 000016c3: MSTORE 000016c4: ADD 000016c5: SLOAD 000016c6: DUP3 000016c7: MSTORE 000016c8: POP 000016c9: PUSH1 0x20 000016cb: SWAP2 000016cc: SWAP1 000016cd: SWAP2 000016ce: MSTORE 000016cf: PUSH1 0x40 000016d1: DUP2 000016d2: KECCAK256 000016d3: DUP2 000016d4: DUP2 000016d5: SSTORE 000016d6: PUSH1 0x01 000016d8: DUP2 000016d9: ADD 000016da: DUP3 000016db: SWAP1 000016dc: SSTORE 000016dd: PUSH1 0x02 000016df: ADD 000016e0: SSTORE 000016e1: JUMPDEST 000016e2: PUSH1 0x01 000016e4: ADD 000016e5: PUSH2 0x166e 000016e8: JUMP 000016e9: JUMPDEST 000016ea: PUSH1 0x1f 000016ec: ADD 000016ed: PUSH1 0x20 000016ef: SWAP1 000016f0: DIV 000016f1: SWAP1 000016f2: PUSH1 0x00 000016f4: MSTORE 000016f5: PUSH1 0x20 000016f7: PUSH1 0x00 000016f9: KECCAK256 000016fa: SWAP1 000016fb: DUP2 000016fc: ADD 000016fd: SWAP1 000016fe: PUSH2 0x0a27 00001701: SWAP2 00001702: SWAP1 00001703: PUSH2 0x0e79 00001706: JUMP 00001707: JUMPDEST 00001708: SWAP7 00001709: POP 0000170a: JUMPDEST 0000170b: POP 0000170c: POP 0000170d: POP 0000170e: POP 0000170f: POP 00001710: POP 00001711: SWAP4 00001712: SWAP3 00001713: POP 00001714: POP 00001715: POP 00001716: JUMP 00001717: JUMPDEST 00001718: PUSH2 0x0105 0000171b: DUP7 0000171c: PUSH1 0x0a 0000171e: DUP2 0000171f: LT 00001720: ISZERO 00001721: PUSH2 0x0002 00001724: JUMPI 00001725: POP 00001726: DUP7 00001727: ADD 00001728: SLOAD 00001729: DUP10 0000172a: LT 0000172b: ISZERO 0000172c: PUSH2 0x176f 0000172f: JUMPI 00001730: PUSH2 0x0002 00001733: JUMP 00001734: JUMPDEST 00001735: PUSH2 0x0105 00001738: DUP7 00001739: PUSH1 0x0a 0000173b: DUP2 0000173c: LT 0000173d: ISZERO 0000173e: PUSH2 0x0002 00001741: JUMPI 00001742: POP 00001743: DUP1 00001744: DUP8 00001745: ADD 00001746: SLOAD 00001747: SWAP1 00001748: PUSH1 0xff 0000174a: DUP8 0000174b: AND 0000174c: PUSH1 0x0a 0000174e: DUP2 0000174f: LT 00001750: ISZERO 00001751: PUSH2 0x0002 00001754: JUMPI 00001755: ADD 00001756: SLOAD 00001757: LT 00001758: ISZERO 00001759: PUSH2 0x1763 0000175c: JUMPI 0000175d: PUSH1 0xff 0000175f: DUP6 00001760: AND 00001761: SWAP6 00001762: POP 00001763: JUMPDEST 00001764: PUSH1 0x01 00001766: SWAP5 00001767: SWAP1 00001768: SWAP5 00001769: ADD 0000176a: SWAP4 0000176b: PUSH2 0x12d2 0000176e: JUMP 0000176f: JUMPDEST 00001770: DUP9 00001771: PUSH2 0x0105 00001774: DUP8 00001775: PUSH1 0x0a 00001777: DUP2 00001778: LT 00001779: ISZERO 0000177a: PUSH2 0x0002 0000177d: JUMPI 0000177e: POP 0000177f: DUP8 00001780: ADD 00001781: SSTORE 00001782: DUP8 00001783: MLOAD 00001784: PUSH1 0x41 00001786: EQ 00001787: PUSH2 0x1793 0000178a: JUMPI 0000178b: PUSH1 0x00 0000178d: SWAP7 0000178e: POP 0000178f: PUSH2 0x170a 00001792: JUMP 00001793: JUMPDEST 00001794: PUSH1 0x20 00001796: DUP9 00001797: ADD 00001798: MLOAD 00001799: SWAP4 0000179a: POP 0000179b: PUSH1 0x40 0000179d: DUP9 0000179e: ADD 0000179f: MLOAD 000017a0: SWAP3 000017a1: POP 000017a2: PUSH1 0xff 000017a4: PUSH1 0x41 000017a6: DUP10 000017a7: ADD 000017a8: MLOAD 000017a9: AND 000017aa: SWAP2 000017ab: POP 000017ac: PUSH1 0x01 000017ae: DUP11 000017af: DUP4 000017b0: DUP7 000017b1: DUP7 000017b2: PUSH1 0x40 000017b4: MLOAD 000017b5: DUP1 000017b6: DUP6 000017b7: DUP2 000017b8: MSTORE 000017b9: PUSH1 0x20 000017bb: ADD 000017bc: DUP5 000017bd: PUSH1 0xff 000017bf: AND 000017c0: DUP2 000017c1: MSTORE 000017c2: PUSH1 0x20 000017c4: ADD 000017c5: DUP4 000017c6: DUP2 000017c7: MSTORE 000017c8: PUSH1 0x20 000017ca: ADD 000017cb: DUP3 000017cc: DUP2 000017cd: MSTORE 000017ce: PUSH1 0x20 000017d0: ADD 000017d1: SWAP5 000017d2: POP 000017d3: POP 000017d4: POP 000017d5: POP 000017d6: POP 000017d7: PUSH1 0x20 000017d9: PUSH1 0x40 000017db: MLOAD 000017dc: DUP1 000017dd: DUP4 000017de: SUB 000017df: DUP2 000017e0: PUSH1 0x00 000017e2: DUP7 000017e3: PUSH2 0x61da 000017e6: GAS 000017e7: SUB 000017e8: CALL 000017e9: ISZERO 000017ea: PUSH2 0x0002 000017ed: JUMPI 000017ee: POP 000017ef: POP 000017f0: PUSH1 0x40 000017f2: MLOAD 000017f3: MLOAD 000017f4: SWAP1 000017f5: POP 000017f6: PUSH2 0x1707 000017f9: DUP11 000017fa: DUP3 000017fb: PUSH2 0x01cd 000017fe: JUMP 000017ff: JUMPDEST 00001800: PUSH1 0x00 00001802: DUP7 00001803: DUP2 00001804: MSTORE 00001805: PUSH2 0x0103 00001808: PUSH1 0x20 0000180a: MSTORE 0000180b: PUSH1 0x40 0000180d: DUP2 0000180e: KECCAK256 0000180f: DUP1 00001810: SLOAD 00001811: SWAP1 00001812: SWAP4 00001813: POP 00001814: EQ 00001815: ISZERO 00001816: PUSH2 0x1887 00001819: JUMPI 0000181a: PUSH1 0x00 0000181c: DUP1 0000181d: SLOAD 0000181e: DUP4 0000181f: SSTORE 00001820: PUSH1 0x01 00001822: DUP4 00001823: DUP2 00001824: ADD 00001825: SWAP2 00001826: SWAP1 00001827: SWAP2 00001828: SSTORE 00001829: PUSH2 0x0104 0000182c: DUP1 0000182d: SLOAD 0000182e: SWAP2 0000182f: DUP3 00001830: ADD 00001831: DUP1 00001832: DUP3 00001833: SSTORE 00001834: DUP3 00001835: DUP1 00001836: ISZERO 00001837: DUP3 00001838: SWAP1 00001839: GT 0000183a: PUSH2 0x1856 0000183d: JUMPI 0000183e: DUP2 0000183f: DUP4 00001840: PUSH1 0x00 00001842: MSTORE 00001843: PUSH1 0x20 00001845: PUSH1 0x00 00001847: KECCAK256 00001848: SWAP2 00001849: DUP3 0000184a: ADD 0000184b: SWAP2 0000184c: ADD 0000184d: PUSH2 0x1856 00001850: SWAP2 00001851: SWAP1 00001852: PUSH2 0x0e79 00001855: JUMP 00001856: JUMPDEST 00001857: POP 00001858: POP 00001859: POP 0000185a: PUSH1 0x02 0000185c: DUP4 0000185d: ADD 0000185e: DUP2 0000185f: SWAP1 00001860: SSTORE 00001861: PUSH2 0x0104 00001864: DUP1 00001865: SLOAD 00001866: DUP9 00001867: SWAP3 00001868: SWAP1 00001869: DUP2 0000186a: LT 0000186b: ISZERO 0000186c: PUSH2 0x0002 0000186f: JUMPI 00001870: PUSH1 0x00 00001872: SWAP2 00001873: SWAP1 00001874: SWAP2 00001875: MSTORE 00001876: PUSH1 0x00 00001878: DUP1 00001879: MLOAD 0000187a: PUSH1 0x20 0000187c: PUSH2 0x198b 0000187f: DUP4 00001880: CODECOPY 00001881: DUP2 00001882: MLOAD 00001883: SWAP2 00001884: MSTORE 00001885: ADD 00001886: SSTORE 00001887: JUMPDEST 00001888: POP 00001889: PUSH1 0x01 0000188b: DUP2 0000188c: ADD 0000188d: SLOAD 0000188e: PUSH1 0x02 00001890: DUP4 00001891: SWAP1 00001892: EXP 00001893: SWAP1 00001894: DUP2 00001895: AND 00001896: PUSH1 0x00 00001898: EQ 00001899: ISZERO 0000189a: PUSH2 0x1958 0000189d: JUMPI 0000189e: PUSH1 0x40 000018a0: DUP1 000018a1: MLOAD 000018a2: PUSH1 0x01 000018a4: PUSH1 0xa0 000018a6: PUSH1 0x02 000018a8: EXP 000018a9: SUB 000018aa: DUP8 000018ab: AND 000018ac: DUP2 000018ad: MSTORE 000018ae: PUSH1 0x20 000018b0: DUP2 000018b1: ADD 000018b2: DUP9 000018b3: SWAP1 000018b4: MSTORE 000018b5: DUP2 000018b6: MLOAD 000018b7: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 000018d8: SWAP3 000018d9: SWAP2 000018da: DUP2 000018db: SWAP1 000018dc: SUB 000018dd: SWAP1 000018de: SWAP2 000018df: ADD 000018e0: SWAP1 000018e1: LOG1 000018e2: DUP2 000018e3: SLOAD 000018e4: PUSH1 0x01 000018e6: SWAP1 000018e7: GT 000018e8: PUSH2 0x1945 000018eb: JUMPI 000018ec: PUSH1 0x00 000018ee: DUP7 000018ef: DUP2 000018f0: MSTORE 000018f1: PUSH2 0x0103 000018f4: PUSH1 0x20 000018f6: MSTORE 000018f7: PUSH1 0x40 000018f9: SWAP1 000018fa: KECCAK256 000018fb: PUSH1 0x02 000018fd: ADD 000018fe: SLOAD 000018ff: PUSH2 0x0104 00001902: DUP1 00001903: SLOAD 00001904: SWAP1 00001905: SWAP2 00001906: SWAP1 00001907: DUP2 00001908: LT 00001909: ISZERO 0000190a: PUSH2 0x0002 0000190d: JUMPI 0000190e: PUSH1 0x40 00001910: PUSH1 0x00 00001912: SWAP1 00001913: DUP2 00001914: KECCAK256 00001915: PUSH1 0x00 00001917: DUP1 00001918: MLOAD 00001919: PUSH1 0x20 0000191b: PUSH2 0x198b 0000191e: DUP4 0000191f: CODECOPY 00001920: DUP2 00001921: MLOAD 00001922: SWAP2 00001923: MSTORE 00001924: SWAP3 00001925: SWAP1 00001926: SWAP3 00001927: ADD 00001928: DUP2 00001929: SWAP1 0000192a: SSTORE 0000192b: DUP1 0000192c: DUP3 0000192d: SSTORE 0000192e: PUSH1 0x01 00001930: DUP3 00001931: DUP2 00001932: ADD 00001933: DUP3 00001934: SWAP1 00001935: SSTORE 00001936: PUSH1 0x02 00001938: SWAP3 00001939: SWAP1 0000193a: SWAP3 0000193b: ADD 0000193c: SSTORE 0000193d: SWAP5 0000193e: POP 0000193f: PUSH2 0x023b 00001942: SWAP1 00001943: POP 00001944: JUMP 00001945: JUMPDEST 00001946: DUP2 00001947: SLOAD 00001948: PUSH1 0x00 0000194a: NOT 0000194b: ADD 0000194c: DUP3 0000194d: SSTORE 0000194e: PUSH1 0x01 00001950: DUP3 00001951: ADD 00001952: DUP1 00001953: SLOAD 00001954: DUP3 00001955: OR 00001956: SWAP1 00001957: SSTORE 00001958: JUMPDEST 00001959: PUSH1 0x00 0000195b: SWAP4 0000195c: POP 0000195d: PUSH2 0x023b 00001960: JUMP 00001961: JUMPDEST 00001962: PUSH2 0x0104 00001965: DUP1 00001966: SLOAD 00001967: PUSH1 0x00 00001969: DUP1 0000196a: DUP4 0000196b: SSTORE 0000196c: SWAP2 0000196d: SWAP1 0000196e: SWAP2 0000196f: MSTORE 00001970: PUSH2 0x095d 00001973: SWAP1 00001974: PUSH1 0x00 00001976: DUP1 00001977: MLOAD 00001978: PUSH1 0x20 0000197a: PUSH2 0x198b 0000197d: DUP4 0000197e: CODECOPY 0000197f: DUP2 00001980: MLOAD 00001981: SWAP2 00001982: MSTORE 00001983: SWAP1 00001984: DUP2 00001985: ADD 00001986: SWAP1 00001987: PUSH2 0x0e79 0000198a: JUMP 0000198b: UNKNOWN(0x4C) 0000198c: SIGNEXTEND 0000198d: UNKNOWN(0xE6) 0000198e: MUL 0000198f: STOP 00001990: STATICCALL 00001991: LOG2 00001992: SDIV 00001993: MSIZE 00001994: ADDRESS 00001995: DUP13 00001996: UNKNOWN(0xB7) 00001997: UNKNOWN(0xB5) 00001998: LOG1 00001999: UNKNOWN(0xBB) 0000199a: ORIGIN 0000199b: SSTORE 0000199c: UNKNOWN(0xC1) 0000199d: PUSH13 0xb1cab91f525b5ae7a03d02fabe
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1abfb69c",
"selector": "0x1abfb69c",
"calldata_variants": [
"0x1abfb69c",
"0x1abfb69c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23fbae41",
"selector": "0x23fbae41",
"calldata_variants": [
"0x23fbae41",
"0x23fbae410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x432dcdb8",
"selector": "0x432dcdb8",
"calldata_variants": [
"0x432dcdb8",
"0x432dcdb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6554,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x4fbe2d9cb9770b542621777c69e65d644a0b88f56d1cf8153852c16d9cf26e31
call_targets:
0xf2d032b5db994977f81c90f04a10d10bb71d9703
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4fbe2d9cb9770b542621777c69e65d644a0b88f56d1cf8153852c16d9cf26e31",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf2d032b5db994977f81c90f04a10d10bb71d9703"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1abfb69c",
"selector": "0x1abfb69c",
"calldata_variants": [
"0x1abfb69c",
"0x1abfb69c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23fbae41",
"selector": "0x23fbae41",
"calldata_variants": [
"0x23fbae41",
"0x23fbae410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x432dcdb8",
"selector": "0x432dcdb8",
"calldata_variants": [
"0x432dcdb8",
"0x432dcdb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2046,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3479,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4120,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 6554,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x4fbe2d9cb9770b542621777c69e65d644a0b88f56d1cf8153852c16d9cf26e31
call_targets:
0xf2d032b5db994977f81c90f04a10d10bb71d9703
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4fbe2d9cb9770b542621777c69e65d644a0b88f56d1cf8153852c16d9cf26e31",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf2d032b5db994977f81c90f04a10d10bb71d9703"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1abfb69c",
"selector": "0x1abfb69c",
"calldata_variants": [
"0x1abfb69c",
"0x1abfb69c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23fbae41",
"selector": "0x23fbae41",
"calldata_variants": [
"0x23fbae41",
"0x23fbae410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x432dcdb8",
"selector": "0x432dcdb8",
"calldata_variants": [
"0x432dcdb8",
"0x432dcdb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2046,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3479,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4120,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 6554,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xaa067154d204bc4d8d872c12bcf1b081e81f341163a6518d8c992b9c6b4b4c95
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xaa067154d204bc4d8d872c12bcf1b081e81f341163a6518d8c992b9c6b4b4c95",
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1abfb69c",
"selector": "0x1abfb69c",
"calldata_variants": [
"0x1abfb69c",
"0x1abfb69c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23fbae41",
"selector": "0x23fbae41",
"calldata_variants": [
"0x23fbae41",
"0x23fbae410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x432dcdb8",
"selector": "0x432dcdb8",
"calldata_variants": [
"0x432dcdb8",
"0x432dcdb80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6554,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|