019b477e-b2bc-7348-b160-31a8f00e007a
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 |
|---|---|---|---|---|
| 22413 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22414 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65646 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65647 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65648 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65649 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01b3 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x0d874f7a 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x01b5 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x16eaa4b4 0000002d: EQ 0000002e: PUSH2 0x01e9 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x182a7f72 00000038: EQ 00000039: PUSH2 0x01fe 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x2113342d 00000043: EQ 00000044: PUSH2 0x0231 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x27e235e3 0000004e: EQ 0000004f: PUSH2 0x0246 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x346bd657 00000059: EQ 0000005a: PUSH2 0x0267 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x358fcee9 00000064: EQ 00000065: PUSH2 0x027c 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x39f56550 0000006f: EQ 00000070: PUSH2 0x029d 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x3b223aa6 0000007a: EQ 0000007b: PUSH2 0x02b2 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x3cb802b9 00000085: EQ 00000086: PUSH2 0x02d3 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x3eaaf86b 00000090: EQ 00000091: PUSH2 0x02e8 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x573074f9 0000009b: EQ 0000009c: PUSH2 0x02fd 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x61df8298 000000a6: EQ 000000a7: PUSH2 0x0312 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x658b98a9 000000b1: EQ 000000b2: PUSH2 0x035e 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x79ba5097 000000bc: EQ 000000bd: PUSH2 0x0373 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x7d798e06 000000c7: EQ 000000c8: PUSH2 0x0388 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x817e1344 000000d2: EQ 000000d3: PUSH2 0x03a9 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x81d6c866 000000dd: EQ 000000de: PUSH2 0x03c1 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x8391e45c 000000e8: EQ 000000e9: PUSH2 0x03d6 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x8da5cb5b 000000f3: EQ 000000f4: PUSH2 0x03f7 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x92100265 000000fe: EQ 000000ff: PUSH2 0x040c 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x93d51daf 00000109: EQ 0000010a: PUSH2 0x04a2 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x9d5e2e1e 00000114: EQ 00000115: PUSH2 0x04b7 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0xa0c5c83b 0000011f: EQ 00000120: PUSH2 0x04cf 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0xa5edcd9e 0000012a: EQ 0000012b: PUSH2 0x04e4 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0xaa9be846 00000135: EQ 00000136: PUSH2 0x04f9 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0xabc6fd0b 00000140: EQ 00000141: PUSH2 0x050e 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0xb0f482be 0000014b: EQ 0000014c: PUSH2 0x0516 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0xc24ad463 00000156: EQ 00000157: PUSH2 0x052b 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0xc8cd6cc6 00000161: EQ 00000162: PUSH2 0x0540 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0xd4ee1d90 0000016c: EQ 0000016d: PUSH2 0x055a 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0xd7340cef 00000177: EQ 00000178: PUSH2 0x056f 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0xd988a0f9 00000182: EQ 00000183: PUSH2 0x0590 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0xe19bdefb 0000018d: EQ 0000018e: PUSH2 0x05a5 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0xe7d2340f 00000198: EQ 00000199: PUSH2 0x05b9 0000019c: JUMPI 0000019d: DUP1 0000019e: PUSH4 0xf2fde38b 000001a3: EQ 000001a4: PUSH2 0x05da 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0xfa509eda 000001ae: EQ 000001af: PUSH2 0x05fb 000001b2: JUMPI 000001b3: JUMPDEST 000001b4: STOP 000001b5: JUMPDEST 000001b6: CALLVALUE 000001b7: DUP1 000001b8: ISZERO 000001b9: PUSH2 0x01c1 000001bc: JUMPI 000001bd: PUSH1 0x00 000001bf: DUP1 000001c0: REVERT 000001c1: JUMPDEST 000001c2: POP 000001c3: PUSH2 0x01cd 000001c6: PUSH1 0x04 000001c8: CALLDATALOAD 000001c9: PUSH2 0x0610 000001cc: JUMP 000001cd: JUMPDEST 000001ce: PUSH1 0x40 000001d0: DUP1 000001d1: MLOAD 000001d2: PUSH1 0x01 000001d4: PUSH1 0xa0 000001d6: PUSH1 0x02 000001d8: EXP 000001d9: SUB 000001da: SWAP1 000001db: SWAP3 000001dc: AND 000001dd: DUP3 000001de: MSTORE 000001df: MLOAD 000001e0: SWAP1 000001e1: DUP2 000001e2: SWAP1 000001e3: SUB 000001e4: PUSH1 0x20 000001e6: ADD 000001e7: SWAP1 000001e8: RETURN 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: DUP1 000001ec: ISZERO 000001ed: PUSH2 0x01f5 000001f0: JUMPI 000001f1: PUSH1 0x00 000001f3: DUP1 000001f4: REVERT 000001f5: JUMPDEST 000001f6: POP 000001f7: PUSH2 0x01b3 000001fa: PUSH2 0x062b 000001fd: JUMP 000001fe: JUMPDEST 000001ff: CALLVALUE 00000200: DUP1 00000201: ISZERO 00000202: PUSH2 0x020a 00000205: JUMPI 00000206: PUSH1 0x00 00000208: DUP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: POP 0000020c: PUSH2 0x021f 0000020f: PUSH1 0x01 00000211: PUSH1 0xa0 00000213: PUSH1 0x02 00000215: EXP 00000216: SUB 00000217: PUSH1 0x04 00000219: CALLDATALOAD 0000021a: AND 0000021b: PUSH2 0x0761 0000021e: JUMP 0000021f: JUMPDEST 00000220: PUSH1 0x40 00000222: DUP1 00000223: MLOAD 00000224: SWAP2 00000225: DUP3 00000226: MSTORE 00000227: MLOAD 00000228: SWAP1 00000229: DUP2 0000022a: SWAP1 0000022b: SUB 0000022c: PUSH1 0x20 0000022e: ADD 0000022f: SWAP1 00000230: RETURN 00000231: JUMPDEST 00000232: CALLVALUE 00000233: DUP1 00000234: ISZERO 00000235: PUSH2 0x023d 00000238: JUMPI 00000239: PUSH1 0x00 0000023b: DUP1 0000023c: REVERT 0000023d: JUMPDEST 0000023e: POP 0000023f: PUSH2 0x021f 00000242: PUSH2 0x07b4 00000245: JUMP 00000246: JUMPDEST 00000247: CALLVALUE 00000248: DUP1 00000249: ISZERO 0000024a: PUSH2 0x0252 0000024d: JUMPI 0000024e: PUSH1 0x00 00000250: DUP1 00000251: REVERT 00000252: JUMPDEST 00000253: POP 00000254: PUSH2 0x021f 00000257: PUSH1 0x01 00000259: PUSH1 0xa0 0000025b: PUSH1 0x02 0000025d: EXP 0000025e: SUB 0000025f: PUSH1 0x04 00000261: CALLDATALOAD 00000262: AND 00000263: PUSH2 0x07ba 00000266: JUMP 00000267: JUMPDEST 00000268: CALLVALUE 00000269: DUP1 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: POP 00000275: PUSH2 0x021f 00000278: PUSH2 0x07cc 0000027b: JUMP 0000027c: JUMPDEST 0000027d: CALLVALUE 0000027e: DUP1 0000027f: ISZERO 00000280: PUSH2 0x0288 00000283: JUMPI 00000284: PUSH1 0x00 00000286: DUP1 00000287: REVERT 00000288: JUMPDEST 00000289: POP 0000028a: PUSH2 0x01b3 0000028d: PUSH1 0x01 0000028f: PUSH1 0xa0 00000291: PUSH1 0x02 00000293: EXP 00000294: SUB 00000295: PUSH1 0x04 00000297: CALLDATALOAD 00000298: AND 00000299: PUSH2 0x07d2 0000029c: JUMP 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: POP 000002ab: PUSH2 0x021f 000002ae: PUSH2 0x085b 000002b1: JUMP 000002b2: JUMPDEST 000002b3: CALLVALUE 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: PUSH2 0x021f 000002c3: PUSH1 0x01 000002c5: PUSH1 0xa0 000002c7: PUSH1 0x02 000002c9: EXP 000002ca: SUB 000002cb: PUSH1 0x04 000002cd: CALLDATALOAD 000002ce: AND 000002cf: PUSH2 0x0861 000002d2: JUMP 000002d3: JUMPDEST 000002d4: CALLVALUE 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x02df 000002da: JUMPI 000002db: PUSH1 0x00 000002dd: DUP1 000002de: REVERT 000002df: JUMPDEST 000002e0: POP 000002e1: PUSH2 0x021f 000002e4: PUSH2 0x0873 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: PUSH2 0x021f 000002f9: PUSH2 0x0879 000002fc: JUMP 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: DUP1 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: POP 0000030b: PUSH2 0x021f 0000030e: PUSH2 0x087f 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: DUP1 00000316: MLOAD 00000317: PUSH1 0x20 00000319: PUSH1 0x04 0000031b: DUP1 0000031c: CALLDATALOAD 0000031d: DUP1 0000031e: DUP3 0000031f: ADD 00000320: CALLDATALOAD 00000321: PUSH1 0x1f 00000323: DUP2 00000324: ADD 00000325: DUP5 00000326: SWAP1 00000327: DIV 00000328: DUP5 00000329: MUL 0000032a: DUP6 0000032b: ADD 0000032c: DUP5 0000032d: ADD 0000032e: SWAP1 0000032f: SWAP6 00000330: MSTORE 00000331: DUP5 00000332: DUP5 00000333: MSTORE 00000334: PUSH2 0x01b3 00000337: SWAP5 00000338: CALLDATASIZE 00000339: SWAP5 0000033a: SWAP3 0000033b: SWAP4 0000033c: PUSH1 0x24 0000033e: SWAP4 0000033f: SWAP3 00000340: DUP5 00000341: ADD 00000342: SWAP2 00000343: SWAP1 00000344: DUP2 00000345: SWAP1 00000346: DUP5 00000347: ADD 00000348: DUP4 00000349: DUP3 0000034a: DUP1 0000034b: DUP3 0000034c: DUP5 0000034d: CALLDATACOPY 0000034e: POP 0000034f: SWAP5 00000350: SWAP8 00000351: POP 00000352: PUSH2 0x0885 00000355: SWAP7 00000356: POP 00000357: POP 00000358: POP 00000359: POP 0000035a: POP 0000035b: POP 0000035c: POP 0000035d: JUMP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: DUP1 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: PUSH2 0x021f 0000036f: PUSH2 0x08c5 00000372: JUMP 00000373: JUMPDEST 00000374: CALLVALUE 00000375: DUP1 00000376: ISZERO 00000377: PUSH2 0x037f 0000037a: JUMPI 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: REVERT 0000037f: JUMPDEST 00000380: POP 00000381: PUSH2 0x01b3 00000384: PUSH2 0x08cb 00000387: JUMP 00000388: JUMPDEST 00000389: CALLVALUE 0000038a: DUP1 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: POP 00000396: PUSH2 0x021f 00000399: PUSH1 0x01 0000039b: PUSH1 0xa0 0000039d: PUSH1 0x02 0000039f: EXP 000003a0: SUB 000003a1: PUSH1 0x04 000003a3: CALLDATALOAD 000003a4: AND 000003a5: PUSH2 0x0953 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x01b3 000003ba: PUSH1 0x04 000003bc: CALLDATALOAD 000003bd: PUSH2 0x0965 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x021f 000003d2: PUSH2 0x0cfc 000003d5: JUMP 000003d6: JUMPDEST 000003d7: CALLVALUE 000003d8: DUP1 000003d9: ISZERO 000003da: PUSH2 0x03e2 000003dd: JUMPI 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: POP 000003e4: PUSH2 0x021f 000003e7: PUSH1 0x01 000003e9: PUSH1 0xa0 000003eb: PUSH1 0x02 000003ed: EXP 000003ee: SUB 000003ef: PUSH1 0x04 000003f1: CALLDATALOAD 000003f2: AND 000003f3: PUSH2 0x0d9b 000003f6: JUMP 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: DUP1 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: POP 00000405: PUSH2 0x01cd 00000408: PUSH2 0x0dff 0000040b: JUMP 0000040c: JUMPDEST 0000040d: CALLVALUE 0000040e: DUP1 0000040f: ISZERO 00000410: PUSH2 0x0418 00000413: JUMPI 00000414: PUSH1 0x00 00000416: DUP1 00000417: REVERT 00000418: JUMPDEST 00000419: POP 0000041a: PUSH2 0x042d 0000041d: PUSH1 0x01 0000041f: PUSH1 0xa0 00000421: PUSH1 0x02 00000423: EXP 00000424: SUB 00000425: PUSH1 0x04 00000427: CALLDATALOAD 00000428: AND 00000429: PUSH2 0x0e0e 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH1 0x40 00000430: DUP1 00000431: MLOAD 00000432: PUSH1 0x20 00000434: DUP1 00000435: DUP3 00000436: MSTORE 00000437: DUP4 00000438: MLOAD 00000439: DUP2 0000043a: DUP4 0000043b: ADD 0000043c: MSTORE 0000043d: DUP4 0000043e: MLOAD 0000043f: SWAP2 00000440: SWAP3 00000441: DUP4 00000442: SWAP3 00000443: SWAP1 00000444: DUP4 00000445: ADD 00000446: SWAP2 00000447: DUP6 00000448: ADD 00000449: SWAP1 0000044a: DUP1 0000044b: DUP4 0000044c: DUP4 0000044d: PUSH1 0x00 0000044f: JUMPDEST 00000450: DUP4 00000451: DUP2 00000452: LT 00000453: ISZERO 00000454: PUSH2 0x0467 00000457: JUMPI 00000458: DUP2 00000459: DUP2 0000045a: ADD 0000045b: MLOAD 0000045c: DUP4 0000045d: DUP3 0000045e: ADD 0000045f: MSTORE 00000460: PUSH1 0x20 00000462: ADD 00000463: PUSH2 0x044f 00000466: JUMP 00000467: JUMPDEST 00000468: POP 00000469: POP 0000046a: POP 0000046b: POP 0000046c: SWAP1 0000046d: POP 0000046e: SWAP1 0000046f: DUP2 00000470: ADD 00000471: SWAP1 00000472: PUSH1 0x1f 00000474: AND 00000475: DUP1 00000476: ISZERO 00000477: PUSH2 0x0494 0000047a: JUMPI 0000047b: DUP1 0000047c: DUP3 0000047d: SUB 0000047e: DUP1 0000047f: MLOAD 00000480: PUSH1 0x01 00000482: DUP4 00000483: PUSH1 0x20 00000485: SUB 00000486: PUSH2 0x0100 00000489: EXP 0000048a: SUB 0000048b: NOT 0000048c: AND 0000048d: DUP2 0000048e: MSTORE 0000048f: PUSH1 0x20 00000491: ADD 00000492: SWAP2 00000493: POP 00000494: JUMPDEST 00000495: POP 00000496: SWAP3 00000497: POP 00000498: POP 00000499: POP 0000049a: PUSH1 0x40 0000049c: MLOAD 0000049d: DUP1 0000049e: SWAP2 0000049f: SUB 000004a0: SWAP1 000004a1: RETURN 000004a2: JUMPDEST 000004a3: CALLVALUE 000004a4: DUP1 000004a5: ISZERO 000004a6: PUSH2 0x04ae 000004a9: JUMPI 000004aa: PUSH1 0x00 000004ac: DUP1 000004ad: REVERT 000004ae: JUMPDEST 000004af: POP 000004b0: PUSH2 0x021f 000004b3: PUSH2 0x0ea9 000004b6: JUMP 000004b7: JUMPDEST 000004b8: CALLVALUE 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: PUSH2 0x01cd 000004c8: PUSH1 0x04 000004ca: CALLDATALOAD 000004cb: PUSH2 0x0f18 000004ce: JUMP 000004cf: JUMPDEST 000004d0: CALLVALUE 000004d1: DUP1 000004d2: ISZERO 000004d3: PUSH2 0x04db 000004d6: JUMPI 000004d7: PUSH1 0x00 000004d9: DUP1 000004da: REVERT 000004db: JUMPDEST 000004dc: POP 000004dd: PUSH2 0x021f 000004e0: PUSH2 0x0f33 000004e3: JUMP 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: DUP1 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x021f 000004f5: PUSH2 0x0f39 000004f8: JUMP 000004f9: JUMPDEST 000004fa: CALLVALUE 000004fb: DUP1 000004fc: ISZERO 000004fd: PUSH2 0x0505 00000500: JUMPI 00000501: PUSH1 0x00 00000503: DUP1 00000504: REVERT 00000505: JUMPDEST 00000506: POP 00000507: PUSH2 0x021f 0000050a: PUSH2 0x0f3f 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH2 0x01b3 00000512: PUSH2 0x0f45 00000515: JUMP 00000516: JUMPDEST 00000517: CALLVALUE 00000518: DUP1 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: POP 00000524: PUSH2 0x01b3 00000527: PUSH2 0x0faa 0000052a: JUMP 0000052b: JUMPDEST 0000052c: CALLVALUE 0000052d: DUP1 0000052e: ISZERO 0000052f: PUSH2 0x0537 00000532: JUMPI 00000533: PUSH1 0x00 00000535: DUP1 00000536: REVERT 00000537: JUMPDEST 00000538: POP 00000539: PUSH2 0x021f 0000053c: PUSH2 0x1272 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH2 0x01b3 00000544: PUSH1 0x01 00000546: PUSH1 0xa0 00000548: PUSH1 0x02 0000054a: EXP 0000054b: SUB 0000054c: PUSH1 0x04 0000054e: CALLDATALOAD 0000054f: DUP2 00000550: AND 00000551: SWAP1 00000552: PUSH1 0x24 00000554: CALLDATALOAD 00000555: AND 00000556: PUSH2 0x1278 00000559: JUMP 0000055a: JUMPDEST 0000055b: CALLVALUE 0000055c: DUP1 0000055d: ISZERO 0000055e: PUSH2 0x0566 00000561: JUMPI 00000562: PUSH1 0x00 00000564: DUP1 00000565: REVERT 00000566: JUMPDEST 00000567: POP 00000568: PUSH2 0x01cd 0000056b: PUSH2 0x152e 0000056e: JUMP 0000056f: JUMPDEST 00000570: CALLVALUE 00000571: DUP1 00000572: ISZERO 00000573: PUSH2 0x057b 00000576: JUMPI 00000577: PUSH1 0x00 00000579: DUP1 0000057a: REVERT 0000057b: JUMPDEST 0000057c: POP 0000057d: PUSH2 0x021f 00000580: PUSH1 0x01 00000582: PUSH1 0xa0 00000584: PUSH1 0x02 00000586: EXP 00000587: SUB 00000588: PUSH1 0x04 0000058a: CALLDATALOAD 0000058b: AND 0000058c: PUSH2 0x153d 0000058f: JUMP 00000590: JUMPDEST 00000591: CALLVALUE 00000592: DUP1 00000593: ISZERO 00000594: PUSH2 0x059c 00000597: JUMPI 00000598: PUSH1 0x00 0000059a: DUP1 0000059b: REVERT 0000059c: JUMPDEST 0000059d: POP 0000059e: PUSH2 0x01b3 000005a1: PUSH2 0x158c 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH2 0x01b3 000005a9: PUSH1 0x01 000005ab: PUSH1 0xa0 000005ad: PUSH1 0x02 000005af: EXP 000005b0: SUB 000005b1: PUSH1 0x04 000005b3: CALLDATALOAD 000005b4: AND 000005b5: PUSH2 0x160b 000005b8: JUMP 000005b9: JUMPDEST 000005ba: CALLVALUE 000005bb: DUP1 000005bc: ISZERO 000005bd: PUSH2 0x05c5 000005c0: JUMPI 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: REVERT 000005c5: JUMPDEST 000005c6: POP 000005c7: PUSH2 0x042d 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: PUSH1 0x02 000005d0: EXP 000005d1: SUB 000005d2: PUSH1 0x04 000005d4: CALLDATALOAD 000005d5: AND 000005d6: PUSH2 0x1887 000005d9: JUMP 000005da: JUMPDEST 000005db: CALLVALUE 000005dc: DUP1 000005dd: ISZERO 000005de: PUSH2 0x05e6 000005e1: JUMPI 000005e2: PUSH1 0x00 000005e4: DUP1 000005e5: REVERT 000005e6: JUMPDEST 000005e7: POP 000005e8: PUSH2 0x01b3 000005eb: PUSH1 0x01 000005ed: PUSH1 0xa0 000005ef: PUSH1 0x02 000005f1: EXP 000005f2: SUB 000005f3: PUSH1 0x04 000005f5: CALLDATALOAD 000005f6: AND 000005f7: PUSH2 0x1932 000005fa: JUMP 000005fb: JUMPDEST 000005fc: CALLVALUE 000005fd: DUP1 000005fe: ISZERO 000005ff: PUSH2 0x0607 00000602: JUMPI 00000603: PUSH1 0x00 00000605: DUP1 00000606: REVERT 00000607: JUMPDEST 00000608: POP 00000609: PUSH2 0x01cd 0000060c: PUSH2 0x1978 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x08 00000613: PUSH1 0x20 00000615: MSTORE 00000616: PUSH1 0x00 00000618: SWAP1 00000619: DUP2 0000061a: MSTORE 0000061b: PUSH1 0x40 0000061d: SWAP1 0000061e: KECCAK256 0000061f: SLOAD 00000620: PUSH1 0x01 00000622: PUSH1 0xa0 00000624: PUSH1 0x02 00000626: EXP 00000627: SUB 00000628: AND 00000629: DUP2 0000062a: JUMP 0000062b: JUMPDEST 0000062c: PUSH1 0x00 0000062e: DUP1 0000062f: PUSH1 0x00 00000631: PUSH2 0x0638 00000634: PUSH2 0x0cfc 00000637: JUMP 00000638: JUMPDEST 00000639: SWAP3 0000063a: POP 0000063b: PUSH1 0x00 0000063d: DUP4 0000063e: GT 0000063f: PUSH2 0x0647 00000642: JUMPI 00000643: PUSH1 0x00 00000645: DUP1 00000646: REVERT 00000647: JUMPDEST 00000648: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 0000065d: PUSH1 0x01 0000065f: PUSH1 0xa0 00000661: PUSH1 0x02 00000663: EXP 00000664: SUB 00000665: AND 00000666: PUSH4 0x3ccfd60b 0000066b: PUSH1 0x40 0000066d: MLOAD 0000066e: DUP2 0000066f: PUSH4 0xffffffff 00000674: AND 00000675: PUSH1 0xe0 00000677: PUSH1 0x02 00000679: EXP 0000067a: MUL 0000067b: DUP2 0000067c: MSTORE 0000067d: PUSH1 0x04 0000067f: ADD 00000680: PUSH1 0x00 00000682: PUSH1 0x40 00000684: MLOAD 00000685: DUP1 00000686: DUP4 00000687: SUB 00000688: DUP2 00000689: PUSH1 0x00 0000068b: DUP8 0000068c: DUP1 0000068d: EXTCODESIZE 0000068e: ISZERO 0000068f: DUP1 00000690: ISZERO 00000691: PUSH2 0x0699 00000694: JUMPI 00000695: PUSH1 0x00 00000697: DUP1 00000698: REVERT 00000699: JUMPDEST 0000069a: POP 0000069b: GAS 0000069c: CALL 0000069d: ISZERO 0000069e: DUP1 0000069f: ISZERO 000006a0: PUSH2 0x06ad 000006a3: JUMPI 000006a4: RETURNDATASIZE 000006a5: PUSH1 0x00 000006a7: DUP1 000006a8: RETURNDATACOPY 000006a9: RETURNDATASIZE 000006aa: PUSH1 0x00 000006ac: REVERT 000006ad: JUMPDEST 000006ae: POP 000006af: POP 000006b0: POP 000006b1: POP 000006b2: PUSH2 0x06c5 000006b5: PUSH1 0x64 000006b7: DUP5 000006b8: PUSH2 0x1996 000006bb: SWAP1 000006bc: SWAP2 000006bd: SWAP1 000006be: PUSH4 0xffffffff 000006c3: AND 000006c4: JUMP 000006c5: JUMPDEST 000006c6: SWAP2 000006c7: POP 000006c8: PUSH2 0x06d7 000006cb: DUP4 000006cc: DUP4 000006cd: PUSH4 0xffffffff 000006d2: PUSH2 0x19af 000006d5: AND 000006d6: JUMP 000006d7: JUMPDEST 000006d8: SWAP1 000006d9: POP 000006da: PUSH20 0xfaae60f2ce6491886c9f7c9356bd92f688ca66a1 000006ef: PUSH1 0x01 000006f1: PUSH1 0xa0 000006f3: PUSH1 0x02 000006f5: EXP 000006f6: SUB 000006f7: AND 000006f8: PUSH4 0xabc6fd0b 000006fd: DUP4 000006fe: PUSH1 0x40 00000700: MLOAD 00000701: DUP3 00000702: PUSH4 0xffffffff 00000707: AND 00000708: PUSH1 0xe0 0000070a: PUSH1 0x02 0000070c: EXP 0000070d: MUL 0000070e: DUP2 0000070f: MSTORE 00000710: PUSH1 0x04 00000712: ADD 00000713: PUSH1 0x00 00000715: PUSH1 0x40 00000717: MLOAD 00000718: DUP1 00000719: DUP4 0000071a: SUB 0000071b: DUP2 0000071c: DUP6 0000071d: DUP9 0000071e: DUP1 0000071f: EXTCODESIZE 00000720: ISZERO 00000721: DUP1 00000722: ISZERO 00000723: PUSH2 0x072b 00000726: JUMPI 00000727: PUSH1 0x00 00000729: DUP1 0000072a: REVERT 0000072b: JUMPDEST 0000072c: POP 0000072d: GAS 0000072e: CALL 0000072f: ISZERO 00000730: DUP1 00000731: ISZERO 00000732: PUSH2 0x073f 00000735: JUMPI 00000736: RETURNDATASIZE 00000737: PUSH1 0x00 00000739: DUP1 0000073a: RETURNDATACOPY 0000073b: RETURNDATASIZE 0000073c: PUSH1 0x00 0000073e: REVERT 0000073f: JUMPDEST 00000740: POP 00000741: POP 00000742: POP 00000743: POP 00000744: POP 00000745: PUSH2 0x0759 00000748: DUP2 00000749: PUSH1 0x0b 0000074b: SLOAD 0000074c: PUSH2 0x19c4 0000074f: SWAP1 00000750: SWAP2 00000751: SWAP1 00000752: PUSH4 0xffffffff 00000757: AND 00000758: JUMP 00000759: JUMPDEST 0000075a: PUSH1 0x0b 0000075c: SSTORE 0000075d: POP 0000075e: POP 0000075f: POP 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH1 0x0c 00000764: SLOAD 00000765: PUSH1 0x01 00000767: PUSH1 0xa0 00000769: PUSH1 0x02 0000076b: EXP 0000076c: SUB 0000076d: DUP3 0000076e: AND 0000076f: PUSH1 0x00 00000771: SWAP1 00000772: DUP2 00000773: MSTORE 00000774: PUSH1 0x07 00000776: PUSH1 0x20 00000778: MSTORE 00000779: PUSH1 0x40 0000077b: DUP2 0000077c: KECCAK256 0000077d: SLOAD 0000077e: SWAP1 0000077f: SWAP2 00000780: DUP3 00000781: SWAP2 00000782: NUMBER 00000783: SUB 00000784: LT 00000785: ISZERO 00000786: PUSH2 0x07ae 00000789: JUMPI 0000078a: POP 0000078b: PUSH1 0x01 0000078d: PUSH1 0xa0 0000078f: PUSH1 0x02 00000791: EXP 00000792: SUB 00000793: DUP3 00000794: AND 00000795: PUSH1 0x00 00000797: SWAP1 00000798: DUP2 00000799: MSTORE 0000079a: PUSH1 0x07 0000079c: PUSH1 0x20 0000079e: MSTORE 0000079f: PUSH1 0x40 000007a1: SWAP1 000007a2: KECCAK256 000007a3: SLOAD 000007a4: PUSH1 0x0c 000007a6: SLOAD 000007a7: NUMBER 000007a8: SWAP2 000007a9: SWAP1 000007aa: SWAP2 000007ab: SUB 000007ac: SWAP1 000007ad: SUB 000007ae: JUMPDEST 000007af: SWAP3 000007b0: SWAP2 000007b1: POP 000007b2: POP 000007b3: JUMP 000007b4: JUMPDEST 000007b5: PUSH1 0x12 000007b7: SLOAD 000007b8: DUP2 000007b9: JUMP 000007ba: JUMPDEST 000007bb: PUSH1 0x03 000007bd: PUSH1 0x20 000007bf: MSTORE 000007c0: PUSH1 0x00 000007c2: SWAP1 000007c3: DUP2 000007c4: MSTORE 000007c5: PUSH1 0x40 000007c7: SWAP1 000007c8: KECCAK256 000007c9: SLOAD 000007ca: DUP2 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH1 0x0d 000007cf: SLOAD 000007d0: DUP2 000007d1: JUMP 000007d2: JUMPDEST 000007d3: DUP1 000007d4: PUSH1 0x00 000007d6: PUSH2 0x07de 000007d9: DUP3 000007da: PUSH2 0x0d9b 000007dd: JUMP 000007de: JUMPDEST 000007df: SWAP1 000007e0: POP 000007e1: PUSH1 0x00 000007e3: DUP2 000007e4: GT 000007e5: ISZERO 000007e6: PUSH2 0x0837 000007e9: JUMPI 000007ea: PUSH1 0x13 000007ec: SLOAD 000007ed: PUSH2 0x07fc 000007f0: SWAP1 000007f1: DUP3 000007f2: PUSH4 0xffffffff 000007f7: PUSH2 0x19af 000007fa: AND 000007fb: JUMP 000007fc: JUMPDEST 000007fd: PUSH1 0x13 000007ff: SSTORE 00000800: PUSH1 0x40 00000802: MLOAD 00000803: PUSH1 0x01 00000805: PUSH1 0xa0 00000807: PUSH1 0x02 00000809: EXP 0000080a: SUB 0000080b: DUP4 0000080c: AND 0000080d: SWAP1 0000080e: DUP3 0000080f: ISZERO 00000810: PUSH2 0x08fc 00000813: MUL 00000814: SWAP1 00000815: DUP4 00000816: SWAP1 00000817: PUSH1 0x00 00000819: DUP2 0000081a: DUP2 0000081b: DUP2 0000081c: DUP6 0000081d: DUP9 0000081e: DUP9 0000081f: CALL 00000820: SWAP4 00000821: POP 00000822: POP 00000823: POP 00000824: POP 00000825: ISZERO 00000826: DUP1 00000827: ISZERO 00000828: PUSH2 0x0835 0000082b: JUMPI 0000082c: RETURNDATASIZE 0000082d: PUSH1 0x00 0000082f: DUP1 00000830: RETURNDATACOPY 00000831: RETURNDATASIZE 00000832: PUSH1 0x00 00000834: REVERT 00000835: JUMPDEST 00000836: POP 00000837: JUMPDEST 00000838: POP 00000839: PUSH1 0x12 0000083b: SLOAD 0000083c: PUSH1 0x01 0000083e: PUSH1 0xa0 00000840: PUSH1 0x02 00000842: EXP 00000843: SUB 00000844: SWAP1 00000845: SWAP2 00000846: AND 00000847: PUSH1 0x00 00000849: SWAP1 0000084a: DUP2 0000084b: MSTORE 0000084c: PUSH1 0x0f 0000084e: PUSH1 0x20 00000850: MSTORE 00000851: PUSH1 0x40 00000853: SWAP1 00000854: KECCAK256 00000855: PUSH1 0x01 00000857: ADD 00000858: SSTORE 00000859: POP 0000085a: JUMP 0000085b: JUMPDEST 0000085c: PUSH1 0x0a 0000085e: SLOAD 0000085f: DUP2 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH1 0x07 00000864: PUSH1 0x20 00000866: MSTORE 00000867: PUSH1 0x00 00000869: SWAP1 0000086a: DUP2 0000086b: MSTORE 0000086c: PUSH1 0x40 0000086e: SWAP1 0000086f: KECCAK256 00000870: SLOAD 00000871: DUP2 00000872: JUMP 00000873: JUMPDEST 00000874: PUSH1 0x13 00000876: SLOAD 00000877: DUP2 00000878: JUMP 00000879: JUMPDEST 0000087a: PUSH1 0x02 0000087c: SLOAD 0000087d: DUP2 0000087e: JUMP 0000087f: JUMPDEST 00000880: PUSH1 0x06 00000882: SLOAD 00000883: DUP2 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH7 0x038d7ea4c68000 0000088e: CALLVALUE 0000088f: LT 00000890: ISZERO 00000891: PUSH2 0x0899 00000894: JUMPI 00000895: PUSH1 0x00 00000897: DUP1 00000898: REVERT 00000899: JUMPDEST 0000089a: CALLER 0000089b: PUSH1 0x00 0000089d: SWAP1 0000089e: DUP2 0000089f: MSTORE 000008a0: PUSH1 0x10 000008a2: PUSH1 0x20 000008a4: SWAP1 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x40 000008a9: SWAP1 000008aa: SWAP2 000008ab: KECCAK256 000008ac: DUP3 000008ad: MLOAD 000008ae: PUSH2 0x08b9 000008b1: SWAP3 000008b2: DUP5 000008b3: ADD 000008b4: SWAP1 000008b5: PUSH2 0x19f9 000008b8: JUMP 000008b9: JUMPDEST 000008ba: POP 000008bb: POP 000008bc: PUSH1 0x0b 000008be: DUP1 000008bf: SLOAD 000008c0: CALLVALUE 000008c1: ADD 000008c2: SWAP1 000008c3: SSTORE 000008c4: JUMP 000008c5: JUMPDEST 000008c6: PUSH1 0x0e 000008c8: SLOAD 000008c9: DUP2 000008ca: JUMP 000008cb: JUMPDEST 000008cc: PUSH1 0x01 000008ce: SLOAD 000008cf: PUSH1 0x01 000008d1: PUSH1 0xa0 000008d3: PUSH1 0x02 000008d5: EXP 000008d6: SUB 000008d7: AND 000008d8: CALLER 000008d9: EQ 000008da: PUSH2 0x08e2 000008dd: JUMPI 000008de: PUSH1 0x00 000008e0: DUP1 000008e1: REVERT 000008e2: JUMPDEST 000008e3: PUSH1 0x01 000008e5: SLOAD 000008e6: PUSH1 0x00 000008e8: DUP1 000008e9: SLOAD 000008ea: PUSH1 0x40 000008ec: MLOAD 000008ed: PUSH1 0x01 000008ef: PUSH1 0xa0 000008f1: PUSH1 0x02 000008f3: EXP 000008f4: SUB 000008f5: SWAP4 000008f6: DUP5 000008f7: AND 000008f8: SWAP4 000008f9: SWAP1 000008fa: SWAP2 000008fb: AND 000008fc: SWAP2 000008fd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000091e: SWAP2 0000091f: LOG3 00000920: PUSH1 0x01 00000922: DUP1 00000923: SLOAD 00000924: PUSH1 0x00 00000926: DUP1 00000927: SLOAD 00000928: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093d: NOT 0000093e: SWAP1 0000093f: DUP2 00000940: AND 00000941: PUSH1 0x01 00000943: PUSH1 0xa0 00000945: PUSH1 0x02 00000947: EXP 00000948: SUB 00000949: DUP5 0000094a: AND 0000094b: OR 0000094c: SWAP1 0000094d: SWAP2 0000094e: SSTORE 0000094f: AND 00000950: SWAP1 00000951: SSTORE 00000952: JUMP 00000953: JUMPDEST 00000954: PUSH1 0x04 00000956: PUSH1 0x20 00000958: MSTORE 00000959: PUSH1 0x00 0000095b: SWAP1 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x40 00000960: SWAP1 00000961: KECCAK256 00000962: SLOAD 00000963: DUP2 00000964: JUMP 00000965: JUMPDEST 00000966: CALLER 00000967: PUSH1 0x00 00000969: SWAP1 0000096a: DUP2 0000096b: MSTORE 0000096c: PUSH1 0x03 0000096e: PUSH1 0x20 00000970: MSTORE 00000971: PUSH1 0x40 00000973: DUP2 00000974: KECCAK256 00000975: SLOAD 00000976: DUP2 00000977: SWAP1 00000978: DUP2 00000979: SWAP1 0000097a: DUP2 0000097b: SWAP1 0000097c: DUP2 0000097d: SWAP1 0000097e: DUP2 0000097f: SWAP1 00000980: DUP2 00000981: SWAP1 00000982: DUP2 00000983: LT 00000984: PUSH2 0x098c 00000987: JUMPI 00000988: PUSH1 0x00 0000098a: DUP1 0000098b: REVERT 0000098c: JUMPDEST 0000098d: CALLER 0000098e: SWAP7 0000098f: POP 00000990: PUSH1 0x06 00000992: SLOAD 00000993: DUP9 00000994: GT 00000995: ISZERO 00000996: DUP1 00000997: ISZERO 00000998: PUSH2 0x09a1 0000099b: JUMPI 0000099c: POP 0000099d: PUSH1 0x00 0000099f: DUP9 000009a0: GT 000009a1: JUMPDEST 000009a2: ISZERO 000009a3: ISZERO 000009a4: PUSH2 0x09ac 000009a7: JUMPI 000009a8: PUSH1 0x00 000009aa: DUP1 000009ab: REVERT 000009ac: JUMPDEST 000009ad: PUSH1 0x0d 000009af: SLOAD 000009b0: PUSH1 0x01 000009b2: PUSH1 0xa0 000009b4: PUSH1 0x02 000009b6: EXP 000009b7: SUB 000009b8: DUP9 000009b9: AND 000009ba: PUSH1 0x00 000009bc: SWAP1 000009bd: DUP2 000009be: MSTORE 000009bf: PUSH1 0x07 000009c1: PUSH1 0x20 000009c3: MSTORE 000009c4: PUSH1 0x40 000009c6: SWAP1 000009c7: KECCAK256 000009c8: SLOAD 000009c9: ADD 000009ca: NUMBER 000009cb: GT 000009cc: PUSH2 0x09d4 000009cf: JUMPI 000009d0: PUSH1 0x00 000009d2: DUP1 000009d3: REVERT 000009d4: JUMPDEST 000009d5: PUSH1 0x01 000009d7: PUSH1 0xa0 000009d9: PUSH1 0x02 000009db: EXP 000009dc: SUB 000009dd: DUP8 000009de: AND 000009df: PUSH1 0x00 000009e1: SWAP1 000009e2: DUP2 000009e3: MSTORE 000009e4: PUSH1 0x04 000009e6: PUSH1 0x20 000009e8: MSTORE 000009e9: PUSH1 0x40 000009eb: DUP2 000009ec: KECCAK256 000009ed: SLOAD 000009ee: GT 000009ef: PUSH2 0x09f7 000009f2: JUMPI 000009f3: PUSH1 0x00 000009f5: DUP1 000009f6: REVERT 000009f7: JUMPDEST 000009f8: PUSH1 0x06 000009fa: SLOAD 000009fb: DUP9 000009fc: EQ 000009fd: ISZERO 000009fe: PUSH2 0x0a06 00000a01: JUMPI 00000a02: PUSH1 0x00 00000a04: SWAP8 00000a05: POP 00000a06: JUMPDEST 00000a07: PUSH1 0x00 00000a09: DUP9 00000a0a: DUP2 00000a0b: MSTORE 00000a0c: PUSH1 0x05 00000a0e: PUSH1 0x20 00000a10: MSTORE 00000a11: PUSH1 0x40 00000a13: SWAP1 00000a14: KECCAK256 00000a15: SLOAD 00000a16: PUSH1 0x01 00000a18: PUSH1 0xa0 00000a1a: PUSH1 0x02 00000a1c: EXP 00000a1d: SUB 00000a1e: AND 00000a1f: SWAP6 00000a20: POP 00000a21: PUSH2 0x0a29 00000a24: DUP7 00000a25: PUSH2 0x07d2 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0xa0 00000a2e: PUSH1 0x02 00000a30: EXP 00000a31: SUB 00000a32: DUP1 00000a33: DUP8 00000a34: AND 00000a35: PUSH1 0x00 00000a37: SWAP1 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x03 00000a3c: PUSH1 0x20 00000a3e: SWAP1 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x40 00000a43: DUP1 00000a44: DUP4 00000a45: KECCAK256 00000a46: DUP1 00000a47: SLOAD 00000a48: PUSH1 0x00 00000a4a: NOT 00000a4b: SWAP1 00000a4c: DUP2 00000a4d: ADD 00000a4e: SWAP1 00000a4f: SWAP2 00000a50: SSTORE 00000a51: PUSH1 0x02 00000a53: DUP1 00000a54: SLOAD 00000a55: DUP3 00000a56: ADD 00000a57: SWAP1 00000a58: SSTORE 00000a59: SWAP4 00000a5a: DUP12 00000a5b: AND 00000a5c: DUP4 00000a5d: MSTORE 00000a5e: PUSH1 0x04 00000a60: SWAP1 00000a61: SWAP2 00000a62: MSTORE 00000a63: SWAP1 00000a64: KECCAK256 00000a65: DUP1 00000a66: SLOAD 00000a67: SWAP1 00000a68: SWAP2 00000a69: ADD 00000a6a: SWAP1 00000a6b: SSTORE 00000a6c: PUSH1 0x06 00000a6e: SLOAD 00000a6f: PUSH2 0x0a7f 00000a72: SWAP1 00000a73: PUSH1 0x01 00000a75: PUSH4 0xffffffff 00000a7a: PUSH2 0x19af 00000a7d: AND 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: PUSH1 0x00 00000a82: DUP2 00000a83: DUP2 00000a84: MSTORE 00000a85: PUSH1 0x05 00000a87: PUSH1 0x20 00000a89: SWAP1 00000a8a: DUP2 00000a8b: MSTORE 00000a8c: PUSH1 0x40 00000a8e: DUP1 00000a8f: DUP4 00000a90: KECCAK256 00000a91: SLOAD 00000a92: DUP13 00000a93: DUP5 00000a94: MSTORE 00000a95: DUP2 00000a96: DUP5 00000a97: KECCAK256 00000a98: DUP1 00000a99: SLOAD 00000a9a: PUSH1 0x01 00000a9c: PUSH1 0xa0 00000a9e: PUSH1 0x02 00000aa0: EXP 00000aa1: SUB 00000aa2: SWAP3 00000aa3: DUP4 00000aa4: AND 00000aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aba: NOT 00000abb: SWAP2 00000abc: DUP3 00000abd: AND 00000abe: OR 00000abf: SWAP1 00000ac0: SWAP2 00000ac1: SSTORE 00000ac2: PUSH1 0x06 00000ac4: DUP1 00000ac5: SLOAD 00000ac6: PUSH1 0x00 00000ac8: NOT 00000ac9: ADD 00000aca: SWAP1 00000acb: SSTORE 00000acc: DUP13 00000acd: DUP3 00000ace: AND 00000acf: DUP6 00000ad0: MSTORE 00000ad1: PUSH1 0x07 00000ad3: DUP5 00000ad4: MSTORE 00000ad5: DUP3 00000ad6: DUP6 00000ad7: KECCAK256 00000ad8: NUMBER 00000ad9: SWAP1 00000ada: SSTORE 00000adb: PUSH1 0x0a 00000add: DUP1 00000ade: SLOAD 00000adf: DUP7 00000ae0: MSTORE 00000ae1: PUSH1 0x08 00000ae3: SWAP1 00000ae4: SWAP5 00000ae5: MSTORE 00000ae6: SWAP2 00000ae7: SWAP1 00000ae8: SWAP4 00000ae9: KECCAK256 00000aea: DUP1 00000aeb: SLOAD 00000aec: SWAP1 00000aed: SWAP2 00000aee: AND 00000aef: SWAP3 00000af0: DUP11 00000af1: AND 00000af2: SWAP3 00000af3: SWAP1 00000af4: SWAP3 00000af5: OR 00000af6: SWAP1 00000af7: SWAP2 00000af8: SSTORE 00000af9: DUP1 00000afa: SLOAD 00000afb: PUSH1 0x01 00000afd: ADD 00000afe: SWAP1 00000aff: SSTORE 00000b00: SWAP5 00000b01: POP 00000b02: PUSH2 0x0b09 00000b05: PUSH2 0x0cfc 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: SWAP4 00000b0b: POP 00000b0c: PUSH1 0x00 00000b0e: DUP5 00000b0f: GT 00000b10: PUSH2 0x0b18 00000b13: JUMPI 00000b14: PUSH1 0x00 00000b16: DUP1 00000b17: REVERT 00000b18: JUMPDEST 00000b19: PUSH2 0x0b29 00000b1c: DUP5 00000b1d: PUSH1 0x64 00000b1f: PUSH4 0xffffffff 00000b24: PUSH2 0x1996 00000b27: AND 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: SWAP3 00000b2b: POP 00000b2c: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 00000b41: PUSH1 0x01 00000b43: PUSH1 0xa0 00000b45: PUSH1 0x02 00000b47: EXP 00000b48: SUB 00000b49: AND 00000b4a: PUSH4 0x3ccfd60b 00000b4f: PUSH1 0x40 00000b51: MLOAD 00000b52: DUP2 00000b53: PUSH4 0xffffffff 00000b58: AND 00000b59: PUSH1 0xe0 00000b5b: PUSH1 0x02 00000b5d: EXP 00000b5e: MUL 00000b5f: DUP2 00000b60: MSTORE 00000b61: PUSH1 0x04 00000b63: ADD 00000b64: PUSH1 0x00 00000b66: PUSH1 0x40 00000b68: MLOAD 00000b69: DUP1 00000b6a: DUP4 00000b6b: SUB 00000b6c: DUP2 00000b6d: PUSH1 0x00 00000b6f: DUP8 00000b70: DUP1 00000b71: EXTCODESIZE 00000b72: ISZERO 00000b73: DUP1 00000b74: ISZERO 00000b75: PUSH2 0x0b7d 00000b78: JUMPI 00000b79: PUSH1 0x00 00000b7b: DUP1 00000b7c: REVERT 00000b7d: JUMPDEST 00000b7e: POP 00000b7f: GAS 00000b80: CALL 00000b81: ISZERO 00000b82: DUP1 00000b83: ISZERO 00000b84: PUSH2 0x0b91 00000b87: JUMPI 00000b88: RETURNDATASIZE 00000b89: PUSH1 0x00 00000b8b: DUP1 00000b8c: RETURNDATACOPY 00000b8d: RETURNDATASIZE 00000b8e: PUSH1 0x00 00000b90: REVERT 00000b91: JUMPDEST 00000b92: POP 00000b93: POP 00000b94: POP 00000b95: POP 00000b96: PUSH20 0xfaae60f2ce6491886c9f7c9356bd92f688ca66a1 00000bab: PUSH1 0x01 00000bad: PUSH1 0xa0 00000baf: PUSH1 0x02 00000bb1: EXP 00000bb2: SUB 00000bb3: AND 00000bb4: PUSH4 0xabc6fd0b 00000bb9: DUP5 00000bba: PUSH1 0x40 00000bbc: MLOAD 00000bbd: DUP3 00000bbe: PUSH4 0xffffffff 00000bc3: AND 00000bc4: PUSH1 0xe0 00000bc6: PUSH1 0x02 00000bc8: EXP 00000bc9: MUL 00000bca: DUP2 00000bcb: MSTORE 00000bcc: PUSH1 0x04 00000bce: ADD 00000bcf: PUSH1 0x00 00000bd1: PUSH1 0x40 00000bd3: MLOAD 00000bd4: DUP1 00000bd5: DUP4 00000bd6: SUB 00000bd7: DUP2 00000bd8: DUP6 00000bd9: DUP9 00000bda: DUP1 00000bdb: EXTCODESIZE 00000bdc: ISZERO 00000bdd: DUP1 00000bde: ISZERO 00000bdf: PUSH2 0x0be7 00000be2: JUMPI 00000be3: PUSH1 0x00 00000be5: DUP1 00000be6: REVERT 00000be7: JUMPDEST 00000be8: POP 00000be9: GAS 00000bea: CALL 00000beb: ISZERO 00000bec: DUP1 00000bed: ISZERO 00000bee: PUSH2 0x0bfb 00000bf1: JUMPI 00000bf2: RETURNDATASIZE 00000bf3: PUSH1 0x00 00000bf5: DUP1 00000bf6: RETURNDATACOPY 00000bf7: RETURNDATASIZE 00000bf8: PUSH1 0x00 00000bfa: REVERT 00000bfb: JUMPDEST 00000bfc: POP 00000bfd: POP 00000bfe: POP 00000bff: POP 00000c00: POP 00000c01: PUSH8 0x0138a388a43c0000 00000c0a: SWAP2 00000c0b: POP 00000c0c: PUSH2 0x0c1e 00000c0f: DUP4 00000c10: DUP6 00000c11: PUSH2 0x19af 00000c14: SWAP1 00000c15: SWAP2 00000c16: SWAP1 00000c17: PUSH4 0xffffffff 00000c1c: AND 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: PUSH1 0x0b 00000c21: SLOAD 00000c22: SWAP1 00000c23: SWAP2 00000c24: POP 00000c25: PUSH2 0x0c34 00000c28: SWAP1 00000c29: DUP3 00000c2a: PUSH4 0xffffffff 00000c2f: PUSH2 0x19c4 00000c32: AND 00000c33: JUMP 00000c34: JUMPDEST 00000c35: PUSH1 0x0b 00000c37: SSTORE 00000c38: PUSH1 0x02 00000c3a: SLOAD 00000c3b: PUSH1 0x0e 00000c3d: SLOAD 00000c3e: PUSH2 0x0c71 00000c41: SWAP2 00000c42: PUSH2 0x0c62 00000c45: SWAP2 00000c46: PUSH2 0x0c56 00000c49: SWAP1 00000c4a: DUP7 00000c4b: SWAP1 00000c4c: PUSH4 0xffffffff 00000c51: PUSH2 0x19d4 00000c54: AND 00000c55: JUMP 00000c56: JUMPDEST 00000c57: SWAP1 00000c58: PUSH4 0xffffffff 00000c5d: PUSH2 0x1996 00000c60: AND 00000c61: JUMP 00000c62: JUMPDEST 00000c63: PUSH1 0x12 00000c65: SLOAD 00000c66: SWAP1 00000c67: PUSH4 0xffffffff 00000c6c: PUSH2 0x19c4 00000c6f: AND 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH1 0x12 00000c74: SSTORE 00000c75: PUSH1 0x13 00000c77: SLOAD 00000c78: PUSH2 0x0c87 00000c7b: SWAP1 00000c7c: DUP4 00000c7d: PUSH4 0xffffffff 00000c82: PUSH2 0x19c4 00000c85: AND 00000c86: JUMP 00000c87: JUMPDEST 00000c88: PUSH1 0x13 00000c8a: SSTORE 00000c8b: PUSH1 0x40 00000c8d: MLOAD 00000c8e: PUSH1 0x01 00000c90: PUSH1 0xa0 00000c92: PUSH1 0x02 00000c94: EXP 00000c95: SUB 00000c96: DUP9 00000c97: AND 00000c98: SWAP1 00000c99: PUSH32 0x1ddbefc95b40c8baae66b8deb8eab4e53d4db24dda9f3d0706344855237900c9 00000cba: SWAP1 00000cbb: PUSH1 0x00 00000cbd: SWAP1 00000cbe: LOG2 00000cbf: PUSH1 0x40 00000cc1: MLOAD 00000cc2: PUSH1 0x01 00000cc4: PUSH1 0xa0 00000cc6: PUSH1 0x02 00000cc8: EXP 00000cc9: SUB 00000cca: DUP8 00000ccb: AND 00000ccc: SWAP1 00000ccd: PUSH32 0x3be9590187e7ad9a5fc8f2839aa45935616ea145d79807bbf4e58cb55d2e1912 00000cee: SWAP1 00000cef: PUSH1 0x00 00000cf1: SWAP1 00000cf2: LOG2 00000cf3: POP 00000cf4: POP 00000cf5: POP 00000cf6: POP 00000cf7: POP 00000cf8: POP 00000cf9: POP 00000cfa: POP 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: PUSH1 0x40 00000cff: DUP1 00000d00: MLOAD 00000d01: PUSH31 0x65318b00000000000000000000000000000000000000000000000000000000 00000d21: DUP2 00000d22: MSTORE 00000d23: ADDRESS 00000d24: PUSH1 0x04 00000d26: DUP3 00000d27: ADD 00000d28: MSTORE 00000d29: SWAP1 00000d2a: MLOAD 00000d2b: PUSH1 0x00 00000d2d: SWAP2 00000d2e: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 00000d43: SWAP2 00000d44: PUSH3 0x65318b 00000d48: SWAP2 00000d49: PUSH1 0x24 00000d4b: DUP1 00000d4c: DUP3 00000d4d: ADD 00000d4e: SWAP3 00000d4f: PUSH1 0x20 00000d51: SWAP3 00000d52: SWAP1 00000d53: SWAP2 00000d54: SWAP1 00000d55: DUP3 00000d56: SWAP1 00000d57: SUB 00000d58: ADD 00000d59: DUP2 00000d5a: DUP8 00000d5b: DUP8 00000d5c: DUP1 00000d5d: EXTCODESIZE 00000d5e: ISZERO 00000d5f: DUP1 00000d60: ISZERO 00000d61: PUSH2 0x0d69 00000d64: JUMPI 00000d65: PUSH1 0x00 00000d67: DUP1 00000d68: REVERT 00000d69: JUMPDEST 00000d6a: POP 00000d6b: GAS 00000d6c: CALL 00000d6d: ISZERO 00000d6e: DUP1 00000d6f: ISZERO 00000d70: PUSH2 0x0d7d 00000d73: JUMPI 00000d74: RETURNDATASIZE 00000d75: PUSH1 0x00 00000d77: DUP1 00000d78: RETURNDATACOPY 00000d79: RETURNDATASIZE 00000d7a: PUSH1 0x00 00000d7c: REVERT 00000d7d: JUMPDEST 00000d7e: POP 00000d7f: POP 00000d80: POP 00000d81: POP 00000d82: PUSH1 0x40 00000d84: MLOAD 00000d85: RETURNDATASIZE 00000d86: PUSH1 0x20 00000d88: DUP2 00000d89: LT 00000d8a: ISZERO 00000d8b: PUSH2 0x0d93 00000d8e: JUMPI 00000d8f: PUSH1 0x00 00000d91: DUP1 00000d92: REVERT 00000d93: JUMPDEST 00000d94: POP 00000d95: MLOAD 00000d96: SWAP1 00000d97: POP 00000d98: JUMPDEST 00000d99: SWAP1 00000d9a: JUMP 00000d9b: JUMPDEST 00000d9c: PUSH1 0x01 00000d9e: PUSH1 0xa0 00000da0: PUSH1 0x02 00000da2: EXP 00000da3: SUB 00000da4: DUP2 00000da5: AND 00000da6: PUSH1 0x00 00000da8: SWAP1 00000da9: DUP2 00000daa: MSTORE 00000dab: PUSH1 0x0f 00000dad: PUSH1 0x20 00000daf: MSTORE 00000db0: PUSH1 0x40 00000db2: DUP2 00000db3: KECCAK256 00000db4: PUSH1 0x01 00000db6: ADD 00000db7: SLOAD 00000db8: PUSH1 0x12 00000dba: SLOAD 00000dbb: DUP3 00000dbc: SWAP2 00000dbd: PUSH2 0x0dcc 00000dc0: SWAP2 00000dc1: SWAP1 00000dc2: PUSH4 0xffffffff 00000dc7: PUSH2 0x19af 00000dca: AND 00000dcb: JUMP 00000dcc: JUMPDEST 00000dcd: PUSH1 0x0e 00000dcf: SLOAD 00000dd0: PUSH1 0x01 00000dd2: PUSH1 0xa0 00000dd4: PUSH1 0x02 00000dd6: EXP 00000dd7: SUB 00000dd8: DUP6 00000dd9: AND 00000dda: PUSH1 0x00 00000ddc: SWAP1 00000ddd: DUP2 00000dde: MSTORE 00000ddf: PUSH1 0x03 00000de1: PUSH1 0x20 00000de3: MSTORE 00000de4: PUSH1 0x40 00000de6: SWAP1 00000de7: KECCAK256 00000de8: SLOAD 00000de9: SWAP2 00000dea: SWAP3 00000deb: POP 00000dec: SWAP1 00000ded: DUP3 00000dee: MUL 00000def: DUP2 00000df0: ISZERO 00000df1: ISZERO 00000df2: PUSH2 0x0df7 00000df5: JUMPI 00000df6: INVALID 00000df7: JUMPDEST 00000df8: DIV 00000df9: SWAP4 00000dfa: SWAP3 00000dfb: POP 00000dfc: POP 00000dfd: POP 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: PUSH1 0x00 00000e02: SLOAD 00000e03: PUSH1 0x01 00000e05: PUSH1 0xa0 00000e07: PUSH1 0x02 00000e09: EXP 00000e0a: SUB 00000e0b: AND 00000e0c: DUP2 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: PUSH1 0x10 00000e11: PUSH1 0x20 00000e13: SWAP1 00000e14: DUP2 00000e15: MSTORE 00000e16: PUSH1 0x00 00000e18: SWAP2 00000e19: DUP3 00000e1a: MSTORE 00000e1b: PUSH1 0x40 00000e1d: SWAP2 00000e1e: DUP3 00000e1f: SWAP1 00000e20: KECCAK256 00000e21: DUP1 00000e22: SLOAD 00000e23: DUP4 00000e24: MLOAD 00000e25: PUSH1 0x1f 00000e27: PUSH1 0x02 00000e29: PUSH1 0x00 00000e2b: NOT 00000e2c: PUSH2 0x0100 00000e2f: PUSH1 0x01 00000e31: DUP7 00000e32: AND 00000e33: ISZERO 00000e34: MUL 00000e35: ADD 00000e36: SWAP1 00000e37: SWAP4 00000e38: AND 00000e39: SWAP3 00000e3a: SWAP1 00000e3b: SWAP3 00000e3c: DIV 00000e3d: SWAP2 00000e3e: DUP3 00000e3f: ADD 00000e40: DUP5 00000e41: SWAP1 00000e42: DIV 00000e43: DUP5 00000e44: MUL 00000e45: DUP2 00000e46: ADD 00000e47: DUP5 00000e48: ADD 00000e49: SWAP1 00000e4a: SWAP5 00000e4b: MSTORE 00000e4c: DUP1 00000e4d: DUP5 00000e4e: MSTORE 00000e4f: SWAP1 00000e50: SWAP2 00000e51: DUP4 00000e52: ADD 00000e53: DUP3 00000e54: DUP3 00000e55: DUP1 00000e56: ISZERO 00000e57: PUSH2 0x0ea1 00000e5a: JUMPI 00000e5b: DUP1 00000e5c: PUSH1 0x1f 00000e5e: LT 00000e5f: PUSH2 0x0e76 00000e62: JUMPI 00000e63: PUSH2 0x0100 00000e66: DUP1 00000e67: DUP4 00000e68: SLOAD 00000e69: DIV 00000e6a: MUL 00000e6b: DUP4 00000e6c: MSTORE 00000e6d: SWAP2 00000e6e: PUSH1 0x20 00000e70: ADD 00000e71: SWAP2 00000e72: PUSH2 0x0ea1 00000e75: JUMP 00000e76: JUMPDEST 00000e77: DUP3 00000e78: ADD 00000e79: SWAP2 00000e7a: SWAP1 00000e7b: PUSH1 0x00 00000e7d: MSTORE 00000e7e: PUSH1 0x20 00000e80: PUSH1 0x00 00000e82: KECCAK256 00000e83: SWAP1 00000e84: JUMPDEST 00000e85: DUP2 00000e86: SLOAD 00000e87: DUP2 00000e88: MSTORE 00000e89: SWAP1 00000e8a: PUSH1 0x01 00000e8c: ADD 00000e8d: SWAP1 00000e8e: PUSH1 0x20 00000e90: ADD 00000e91: DUP1 00000e92: DUP4 00000e93: GT 00000e94: PUSH2 0x0e84 00000e97: JUMPI 00000e98: DUP3 00000e99: SWAP1 00000e9a: SUB 00000e9b: PUSH1 0x1f 00000e9d: AND 00000e9e: DUP3 00000e9f: ADD 00000ea0: SWAP2 00000ea1: JUMPDEST 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: POP 00000ea6: POP 00000ea7: DUP2 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH1 0x40 00000eac: DUP1 00000ead: MLOAD 00000eae: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: ADDRESS 00000ed2: PUSH1 0x04 00000ed4: DUP3 00000ed5: ADD 00000ed6: MSTORE 00000ed7: SWAP1 00000ed8: MLOAD 00000ed9: PUSH1 0x00 00000edb: SWAP2 00000edc: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 00000ef1: SWAP2 00000ef2: PUSH4 0x70a08231 00000ef7: SWAP2 00000ef8: PUSH1 0x24 00000efa: DUP1 00000efb: DUP3 00000efc: ADD 00000efd: SWAP3 00000efe: PUSH1 0x20 00000f00: SWAP3 00000f01: SWAP1 00000f02: SWAP2 00000f03: SWAP1 00000f04: DUP3 00000f05: SWAP1 00000f06: SUB 00000f07: ADD 00000f08: DUP2 00000f09: DUP8 00000f0a: DUP8 00000f0b: DUP1 00000f0c: EXTCODESIZE 00000f0d: ISZERO 00000f0e: DUP1 00000f0f: ISZERO 00000f10: PUSH2 0x0d69 00000f13: JUMPI 00000f14: PUSH1 0x00 00000f16: DUP1 00000f17: REVERT 00000f18: JUMPDEST 00000f19: PUSH1 0x05 00000f1b: PUSH1 0x20 00000f1d: MSTORE 00000f1e: PUSH1 0x00 00000f20: SWAP1 00000f21: DUP2 00000f22: MSTORE 00000f23: PUSH1 0x40 00000f25: SWAP1 00000f26: KECCAK256 00000f27: SLOAD 00000f28: PUSH1 0x01 00000f2a: PUSH1 0xa0 00000f2c: PUSH1 0x02 00000f2e: EXP 00000f2f: SUB 00000f30: AND 00000f31: DUP2 00000f32: JUMP 00000f33: JUMPDEST 00000f34: PUSH1 0x09 00000f36: SLOAD 00000f37: DUP2 00000f38: JUMP 00000f39: JUMPDEST 00000f3a: PUSH1 0x11 00000f3c: SLOAD 00000f3d: DUP2 00000f3e: JUMP 00000f3f: JUMPDEST 00000f40: PUSH1 0x0c 00000f42: SLOAD 00000f43: DUP2 00000f44: JUMP 00000f45: JUMPDEST 00000f46: CALLVALUE 00000f47: PUSH1 0x00 00000f49: DUP1 00000f4a: PUSH2 0x0f5a 00000f4d: DUP4 00000f4e: PUSH1 0x64 00000f50: PUSH4 0xffffffff 00000f55: PUSH2 0x1996 00000f58: AND 00000f59: JUMP 00000f5a: JUMPDEST 00000f5b: SWAP2 00000f5c: POP 00000f5d: PUSH2 0x0f6c 00000f60: DUP4 00000f61: DUP4 00000f62: PUSH4 0xffffffff 00000f67: PUSH2 0x19af 00000f6a: AND 00000f6b: JUMP 00000f6c: JUMPDEST 00000f6d: SWAP1 00000f6e: POP 00000f6f: PUSH2 0x0f8c 00000f72: PUSH2 0x0c62 00000f75: PUSH1 0x02 00000f77: SLOAD 00000f78: PUSH2 0x0c56 00000f7b: PUSH1 0x0e 00000f7d: SLOAD 00000f7e: DUP6 00000f7f: PUSH2 0x19d4 00000f82: SWAP1 00000f83: SWAP2 00000f84: SWAP1 00000f85: PUSH4 0xffffffff 00000f8a: AND 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: PUSH1 0x12 00000f8f: SSTORE 00000f90: PUSH1 0x13 00000f92: SLOAD 00000f93: PUSH2 0x0fa2 00000f96: SWAP1 00000f97: DUP3 00000f98: PUSH4 0xffffffff 00000f9d: PUSH2 0x19c4 00000fa0: AND 00000fa1: JUMP 00000fa2: JUMPDEST 00000fa3: PUSH1 0x13 00000fa5: SSTORE 00000fa6: POP 00000fa7: POP 00000fa8: POP 00000fa9: JUMP 00000faa: JUMPDEST 00000fab: CALLER 00000fac: PUSH1 0x00 00000fae: SWAP1 00000faf: DUP2 00000fb0: MSTORE 00000fb1: PUSH1 0x03 00000fb3: PUSH1 0x20 00000fb5: MSTORE 00000fb6: PUSH1 0x40 00000fb8: DUP2 00000fb9: KECCAK256 00000fba: SLOAD 00000fbb: DUP2 00000fbc: SWAP1 00000fbd: DUP2 00000fbe: SWAP1 00000fbf: DUP2 00000fc0: SWAP1 00000fc1: DUP2 00000fc2: SWAP1 00000fc3: DUP2 00000fc4: SWAP1 00000fc5: DUP2 00000fc6: LT 00000fc7: PUSH2 0x0fcf 00000fca: JUMPI 00000fcb: PUSH1 0x00 00000fcd: DUP1 00000fce: REVERT 00000fcf: JUMPDEST 00000fd0: PUSH1 0x0c 00000fd2: SLOAD 00000fd3: CALLER 00000fd4: PUSH1 0x00 00000fd6: DUP2 00000fd7: DUP2 00000fd8: MSTORE 00000fd9: PUSH1 0x07 00000fdb: PUSH1 0x20 00000fdd: MSTORE 00000fde: PUSH1 0x40 00000fe0: SWAP1 00000fe1: KECCAK256 00000fe2: SLOAD 00000fe3: SWAP1 00000fe4: SWAP8 00000fe5: POP 00000fe6: ADD 00000fe7: NUMBER 00000fe8: GT 00000fe9: PUSH2 0x0ff1 00000fec: JUMPI 00000fed: PUSH1 0x00 00000fef: DUP1 00000ff0: REVERT 00000ff1: JUMPDEST 00000ff2: PUSH1 0x01 00000ff4: PUSH1 0xa0 00000ff6: PUSH1 0x02 00000ff8: EXP 00000ff9: SUB 00000ffa: DUP7 00000ffb: AND 00000ffc: PUSH1 0x00 00000ffe: SWAP1 00000fff: DUP2 00001000: MSTORE 00001001: PUSH1 0x04 00001003: PUSH1 0x20 00001005: MSTORE 00001006: PUSH1 0x40 00001008: DUP2 00001009: KECCAK256 0000100a: SLOAD 0000100b: GT 0000100c: PUSH2 0x1014 0000100f: JUMPI 00001010: PUSH1 0x00 00001012: DUP1 00001013: REVERT 00001014: JUMPDEST 00001015: PUSH1 0x01 00001017: PUSH1 0xa0 00001019: PUSH1 0x02 0000101b: EXP 0000101c: SUB 0000101d: DUP7 0000101e: AND 0000101f: PUSH1 0x00 00001021: SWAP1 00001022: DUP2 00001023: MSTORE 00001024: PUSH1 0x07 00001026: PUSH1 0x20 00001028: MSTORE 00001029: PUSH1 0x40 0000102b: SWAP1 0000102c: KECCAK256 0000102d: SLOAD 0000102e: PUSH1 0xc8 00001030: SWAP1 00001031: PUSH2 0x1041 00001034: SWAP1 00001035: NUMBER 00001036: SWAP1 00001037: PUSH4 0xffffffff 0000103c: PUSH2 0x19af 0000103f: AND 00001040: JUMP 00001041: JUMPDEST 00001042: DUP2 00001043: ISZERO 00001044: ISZERO 00001045: PUSH2 0x104a 00001048: JUMPI 00001049: INVALID 0000104a: JUMPDEST 0000104b: PUSH1 0x06 0000104d: SLOAD 0000104e: SWAP2 0000104f: SWAP1 00001050: MOD 00001051: SWAP6 00001052: POP 00001053: PUSH2 0x1062 00001056: NUMBER 00001057: DUP8 00001058: PUSH4 0xffffffff 0000105d: PUSH2 0x19af 00001060: AND 00001061: JUMP 00001062: JUMPDEST 00001063: BLOCKHASH 00001064: DUP2 00001065: ISZERO 00001066: ISZERO 00001067: PUSH2 0x106c 0000106a: JUMPI 0000106b: INVALID 0000106c: JUMPDEST 0000106d: MOD 0000106e: PUSH1 0x00 00001070: DUP2 00001071: DUP2 00001072: MSTORE 00001073: PUSH1 0x05 00001075: PUSH1 0x20 00001077: MSTORE 00001078: PUSH1 0x40 0000107a: SWAP1 0000107b: KECCAK256 0000107c: SLOAD 0000107d: SWAP1 0000107e: SWAP5 0000107f: POP 00001080: PUSH1 0x01 00001082: PUSH1 0xa0 00001084: PUSH1 0x02 00001086: EXP 00001087: SUB 00001088: SWAP1 00001089: DUP2 0000108a: AND 0000108b: SWAP4 0000108c: POP 0000108d: DUP7 0000108e: AND 0000108f: DUP4 00001090: EQ 00001091: ISZERO 00001092: PUSH2 0x10e2 00001095: JUMPI 00001096: PUSH1 0x06 00001098: SLOAD 00001099: PUSH2 0x10b9 0000109c: PUSH1 0x01 0000109e: PUSH2 0x10ad 000010a1: NUMBER 000010a2: DUP10 000010a3: PUSH4 0xffffffff 000010a8: PUSH2 0x19af 000010ab: AND 000010ac: JUMP 000010ad: JUMPDEST 000010ae: SWAP1 000010af: PUSH4 0xffffffff 000010b4: PUSH2 0x19c4 000010b7: AND 000010b8: JUMP 000010b9: JUMPDEST 000010ba: BLOCKHASH 000010bb: DUP2 000010bc: ISZERO 000010bd: ISZERO 000010be: PUSH2 0x10c3 000010c1: JUMPI 000010c2: INVALID 000010c3: JUMPDEST 000010c4: MOD 000010c5: PUSH1 0x00 000010c7: DUP2 000010c8: DUP2 000010c9: MSTORE 000010ca: PUSH1 0x05 000010cc: PUSH1 0x20 000010ce: MSTORE 000010cf: PUSH1 0x40 000010d1: SWAP1 000010d2: KECCAK256 000010d3: SLOAD 000010d4: SWAP1 000010d5: SWAP5 000010d6: POP 000010d7: PUSH1 0x01 000010d9: PUSH1 0xa0 000010db: PUSH1 0x02 000010dd: EXP 000010de: SUB 000010df: AND 000010e0: SWAP3 000010e1: POP 000010e2: JUMPDEST 000010e3: PUSH2 0x10eb 000010e6: DUP4 000010e7: PUSH2 0x07d2 000010ea: JUMP 000010eb: JUMPDEST 000010ec: PUSH1 0x01 000010ee: PUSH1 0xa0 000010f0: PUSH1 0x02 000010f2: EXP 000010f3: SUB 000010f4: DUP1 000010f5: DUP5 000010f6: AND 000010f7: PUSH1 0x00 000010f9: SWAP1 000010fa: DUP2 000010fb: MSTORE 000010fc: PUSH1 0x03 000010fe: PUSH1 0x20 00001100: SWAP1 00001101: DUP2 00001102: MSTORE 00001103: PUSH1 0x40 00001105: DUP1 00001106: DUP4 00001107: KECCAK256 00001108: DUP1 00001109: SLOAD 0000110a: PUSH1 0x00 0000110c: NOT 0000110d: SWAP1 0000110e: DUP2 0000110f: ADD 00001110: SWAP1 00001111: SWAP2 00001112: SSTORE 00001113: PUSH1 0x02 00001115: DUP1 00001116: SLOAD 00001117: DUP3 00001118: ADD 00001119: SWAP1 0000111a: SSTORE 0000111b: SWAP4 0000111c: DUP11 0000111d: AND 0000111e: DUP4 0000111f: MSTORE 00001120: PUSH1 0x04 00001122: SWAP1 00001123: SWAP2 00001124: MSTORE 00001125: SWAP1 00001126: KECCAK256 00001127: DUP1 00001128: SLOAD 00001129: SWAP1 0000112a: SWAP2 0000112b: ADD 0000112c: SWAP1 0000112d: SSTORE 0000112e: PUSH1 0x06 00001130: SLOAD 00001131: PUSH2 0x1141 00001134: SWAP1 00001135: PUSH1 0x01 00001137: PUSH4 0xffffffff 0000113c: PUSH2 0x19af 0000113f: AND 00001140: JUMP 00001141: JUMPDEST 00001142: PUSH1 0x00 00001144: DUP2 00001145: DUP2 00001146: MSTORE 00001147: PUSH1 0x05 00001149: PUSH1 0x20 0000114b: SWAP1 0000114c: DUP2 0000114d: MSTORE 0000114e: PUSH1 0x40 00001150: DUP1 00001151: DUP4 00001152: KECCAK256 00001153: SLOAD 00001154: DUP9 00001155: DUP5 00001156: MSTORE 00001157: DUP2 00001158: DUP5 00001159: KECCAK256 0000115a: DUP1 0000115b: SLOAD 0000115c: PUSH1 0x01 0000115e: PUSH1 0xa0 00001160: PUSH1 0x02 00001162: EXP 00001163: SUB 00001164: SWAP3 00001165: DUP4 00001166: AND 00001167: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117c: NOT 0000117d: SWAP2 0000117e: DUP3 0000117f: AND 00001180: OR 00001181: SWAP1 00001182: SWAP2 00001183: SSTORE 00001184: PUSH1 0x06 00001186: DUP1 00001187: SLOAD 00001188: PUSH1 0x00 0000118a: NOT 0000118b: ADD 0000118c: SWAP1 0000118d: SSTORE 0000118e: DUP12 0000118f: DUP3 00001190: AND 00001191: DUP6 00001192: MSTORE 00001193: PUSH1 0x07 00001195: DUP5 00001196: MSTORE 00001197: DUP3 00001198: DUP6 00001199: KECCAK256 0000119a: NUMBER 0000119b: SWAP1 0000119c: SSTORE 0000119d: PUSH1 0x0a 0000119f: DUP1 000011a0: SLOAD 000011a1: DUP7 000011a2: MSTORE 000011a3: PUSH1 0x08 000011a5: SWAP1 000011a6: SWAP5 000011a7: MSTORE 000011a8: SWAP2 000011a9: SWAP1 000011aa: SWAP4 000011ab: KECCAK256 000011ac: DUP1 000011ad: SLOAD 000011ae: SWAP1 000011af: SWAP2 000011b0: AND 000011b1: SWAP3 000011b2: DUP8 000011b3: AND 000011b4: SWAP3 000011b5: SWAP1 000011b6: SWAP3 000011b7: OR 000011b8: SWAP1 000011b9: SWAP2 000011ba: SSTORE 000011bb: DUP1 000011bc: SLOAD 000011bd: PUSH1 0x01 000011bf: ADD 000011c0: SWAP1 000011c1: SSTORE 000011c2: PUSH1 0x02 000011c4: SLOAD 000011c5: PUSH1 0x0e 000011c7: SLOAD 000011c8: SWAP2 000011c9: SWAP4 000011ca: POP 000011cb: PUSH8 0x0138a388a43c0000 000011d4: SWAP3 000011d5: POP 000011d6: PUSH2 0x11e9 000011d9: SWAP2 000011da: PUSH2 0x0c62 000011dd: SWAP2 000011de: SWAP1 000011df: PUSH2 0x0c56 000011e2: SWAP1 000011e3: DUP6 000011e4: SWAP1 000011e5: PUSH2 0x19d4 000011e8: JUMP 000011e9: JUMPDEST 000011ea: PUSH1 0x12 000011ec: SSTORE 000011ed: PUSH1 0x13 000011ef: SLOAD 000011f0: PUSH2 0x11ff 000011f3: SWAP1 000011f4: DUP3 000011f5: PUSH4 0xffffffff 000011fa: PUSH2 0x19c4 000011fd: AND 000011fe: JUMP 000011ff: JUMPDEST 00001200: PUSH1 0x13 00001202: SSTORE 00001203: PUSH1 0x40 00001205: MLOAD 00001206: PUSH1 0x01 00001208: PUSH1 0xa0 0000120a: PUSH1 0x02 0000120c: EXP 0000120d: SUB 0000120e: DUP8 0000120f: AND 00001210: SWAP1 00001211: PUSH32 0xec04315f91db1d59c13518b8cfbd0149de11a116702953d952e874371b24cd62 00001232: SWAP1 00001233: PUSH1 0x00 00001235: SWAP1 00001236: LOG2 00001237: PUSH1 0x40 00001239: MLOAD 0000123a: PUSH1 0x01 0000123c: PUSH1 0xa0 0000123e: PUSH1 0x02 00001240: EXP 00001241: SUB 00001242: DUP5 00001243: AND 00001244: SWAP1 00001245: PUSH32 0x3be9590187e7ad9a5fc8f2839aa45935616ea145d79807bbf4e58cb55d2e1912 00001266: SWAP1 00001267: PUSH1 0x00 00001269: SWAP1 0000126a: LOG2 0000126b: POP 0000126c: POP 0000126d: POP 0000126e: POP 0000126f: POP 00001270: POP 00001271: JUMP 00001272: JUMPDEST 00001273: PUSH1 0x0b 00001275: SLOAD 00001276: DUP2 00001277: JUMP 00001278: JUMPDEST 00001279: PUSH1 0x00 0000127b: DUP1 0000127c: CALLER 0000127d: PUSH1 0x00 0000127f: PUSH2 0x1287 00001282: DUP3 00001283: PUSH2 0x0d9b 00001286: JUMP 00001287: JUMPDEST 00001288: SWAP1 00001289: POP 0000128a: PUSH1 0x00 0000128c: DUP2 0000128d: GT 0000128e: ISZERO 0000128f: PUSH2 0x12e0 00001292: JUMPI 00001293: PUSH1 0x13 00001295: SLOAD 00001296: PUSH2 0x12a5 00001299: SWAP1 0000129a: DUP3 0000129b: PUSH4 0xffffffff 000012a0: PUSH2 0x19af 000012a3: AND 000012a4: JUMP 000012a5: JUMPDEST 000012a6: PUSH1 0x13 000012a8: SSTORE 000012a9: PUSH1 0x40 000012ab: MLOAD 000012ac: PUSH1 0x01 000012ae: PUSH1 0xa0 000012b0: PUSH1 0x02 000012b2: EXP 000012b3: SUB 000012b4: DUP4 000012b5: AND 000012b6: SWAP1 000012b7: DUP3 000012b8: ISZERO 000012b9: PUSH2 0x08fc 000012bc: MUL 000012bd: SWAP1 000012be: DUP4 000012bf: SWAP1 000012c0: PUSH1 0x00 000012c2: DUP2 000012c3: DUP2 000012c4: DUP2 000012c5: DUP6 000012c6: DUP9 000012c7: DUP9 000012c8: CALL 000012c9: SWAP4 000012ca: POP 000012cb: POP 000012cc: POP 000012cd: POP 000012ce: ISZERO 000012cf: DUP1 000012d0: ISZERO 000012d1: PUSH2 0x12de 000012d4: JUMPI 000012d5: RETURNDATASIZE 000012d6: PUSH1 0x00 000012d8: DUP1 000012d9: RETURNDATACOPY 000012da: RETURNDATASIZE 000012db: PUSH1 0x00 000012dd: REVERT 000012de: JUMPDEST 000012df: POP 000012e0: JUMPDEST 000012e1: PUSH1 0x12 000012e3: SLOAD 000012e4: PUSH1 0x01 000012e6: PUSH1 0xa0 000012e8: PUSH1 0x02 000012ea: EXP 000012eb: SUB 000012ec: DUP4 000012ed: AND 000012ee: PUSH1 0x00 000012f0: SWAP1 000012f1: DUP2 000012f2: MSTORE 000012f3: PUSH1 0x0f 000012f5: PUSH1 0x20 000012f7: MSTORE 000012f8: PUSH1 0x40 000012fa: SWAP1 000012fb: KECCAK256 000012fc: PUSH1 0x01 000012fe: ADD 000012ff: SSTORE 00001300: CALLVALUE 00001301: SWAP4 00001302: POP 00001303: PUSH8 0x016345785d8a0000 0000130c: DUP5 0000130d: LT 0000130e: ISZERO 0000130f: PUSH2 0x1317 00001312: JUMPI 00001313: PUSH1 0x00 00001315: DUP1 00001316: REVERT 00001317: JUMPDEST 00001318: CALLER 00001319: PUSH1 0x00 0000131b: DUP2 0000131c: DUP2 0000131d: MSTORE 0000131e: PUSH1 0x03 00001320: PUSH1 0x20 00001322: SWAP1 00001323: DUP2 00001324: MSTORE 00001325: PUSH1 0x40 00001327: DUP1 00001328: DUP4 00001329: KECCAK256 0000132a: DUP1 0000132b: SLOAD 0000132c: PUSH1 0x01 0000132e: SWAP1 0000132f: DUP2 00001330: ADD 00001331: SWAP1 00001332: SWAP2 00001333: SSTORE 00001334: PUSH1 0x02 00001336: DUP1 00001337: SLOAD 00001338: DUP3 00001339: ADD 0000133a: SWAP1 0000133b: SSTORE 0000133c: PUSH1 0x04 0000133e: DUP1 0000133f: DUP5 00001340: MSTORE 00001341: DUP3 00001342: DUP6 00001343: KECCAK256 00001344: DUP1 00001345: SLOAD 00001346: DUP4 00001347: ADD 00001348: SWAP1 00001349: SSTORE 0000134a: PUSH1 0x06 0000134c: DUP1 0000134d: SLOAD 0000134e: DUP7 0000134f: MSTORE 00001350: PUSH1 0x05 00001352: DUP6 00001353: MSTORE 00001354: DUP4 00001355: DUP7 00001356: KECCAK256 00001357: DUP1 00001358: SLOAD 00001359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136e: NOT 0000136f: AND 00001370: DUP9 00001371: OR 00001372: SWAP1 00001373: SSTORE 00001374: DUP1 00001375: SLOAD 00001376: SWAP1 00001377: SWAP3 00001378: ADD 00001379: SWAP1 0000137a: SWAP2 0000137b: SSTORE 0000137c: DUP5 0000137d: DUP5 0000137e: MSTORE 0000137f: PUSH1 0x07 00001381: DUP4 00001382: MSTORE 00001383: SWAP3 00001384: DUP2 00001385: SWAP1 00001386: KECCAK256 00001387: NUMBER 00001388: SWAP1 00001389: SSTORE 0000138a: DUP1 0000138b: MLOAD 0000138c: PUSH32 0xf088d54700000000000000000000000000000000000000000000000000000000 000013ad: DUP2 000013ae: MSTORE 000013af: PUSH1 0x01 000013b1: PUSH1 0xa0 000013b3: PUSH1 0x02 000013b5: EXP 000013b6: SUB 000013b7: DUP12 000013b8: AND 000013b9: SWAP4 000013ba: DUP2 000013bb: ADD 000013bc: SWAP4 000013bd: SWAP1 000013be: SWAP4 000013bf: MSTORE 000013c0: MLOAD 000013c1: SWAP3 000013c2: SWAP6 000013c3: POP 000013c4: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 000013d9: SWAP3 000013da: PUSH4 0xf088d547 000013df: SWAP3 000013e0: PUSH7 0x11c37937e08000 000013e8: SWAP3 000013e9: PUSH1 0x24 000013eb: DUP1 000013ec: DUP4 000013ed: ADD 000013ee: SWAP4 000013ef: SWAP2 000013f0: SWAP3 000013f1: DUP3 000013f2: SWAP1 000013f3: SUB 000013f4: ADD 000013f5: DUP2 000013f6: DUP6 000013f7: DUP9 000013f8: DUP1 000013f9: EXTCODESIZE 000013fa: ISZERO 000013fb: DUP1 000013fc: ISZERO 000013fd: PUSH2 0x1405 00001400: JUMPI 00001401: PUSH1 0x00 00001403: DUP1 00001404: REVERT 00001405: JUMPDEST 00001406: POP 00001407: GAS 00001408: CALL 00001409: ISZERO 0000140a: DUP1 0000140b: ISZERO 0000140c: PUSH2 0x1419 0000140f: JUMPI 00001410: RETURNDATASIZE 00001411: PUSH1 0x00 00001413: DUP1 00001414: RETURNDATACOPY 00001415: RETURNDATASIZE 00001416: PUSH1 0x00 00001418: REVERT 00001419: JUMPDEST 0000141a: POP 0000141b: POP 0000141c: POP 0000141d: POP 0000141e: POP 0000141f: PUSH1 0x40 00001421: MLOAD 00001422: RETURNDATASIZE 00001423: PUSH1 0x20 00001425: DUP2 00001426: LT 00001427: ISZERO 00001428: PUSH2 0x1430 0000142b: JUMPI 0000142c: PUSH1 0x00 0000142e: DUP1 0000142f: REVERT 00001430: JUMPDEST 00001431: POP 00001432: POP 00001433: PUSH8 0x016345785d8a0000 0000143c: DUP5 0000143d: GT 0000143e: ISZERO 0000143f: PUSH2 0x1456 00001442: JUMPI 00001443: PUSH1 0x0b 00001445: DUP1 00001446: SLOAD 00001447: DUP6 00001448: ADD 00001449: PUSH8 0x016345785d89ffff 00001452: NOT 00001453: ADD 00001454: SWAP1 00001455: SSTORE 00001456: JUMPDEST 00001457: PUSH1 0x0b 00001459: DUP1 0000145a: SLOAD 0000145b: PUSH7 0x11c37937e08000 00001463: ADD 00001464: SWAP1 00001465: SSTORE 00001466: PUSH1 0x40 00001468: DUP1 00001469: MLOAD 0000146a: PUSH32 0xabc6fd0b00000000000000000000000000000000000000000000000000000000 0000148b: DUP2 0000148c: MSTORE 0000148d: SWAP1 0000148e: MLOAD 0000148f: PUSH20 0xfaae60f2ce6491886c9f7c9356bd92f688ca66a1 000014a4: SWAP2 000014a5: PUSH4 0xabc6fd0b 000014aa: SWAP2 000014ab: PUSH7 0x038d7ea4c68000 000014b3: SWAP2 000014b4: PUSH1 0x04 000014b6: DUP1 000014b7: DUP3 000014b8: ADD 000014b9: SWAP3 000014ba: PUSH1 0x00 000014bc: SWAP3 000014bd: SWAP1 000014be: SWAP2 000014bf: SWAP1 000014c0: DUP3 000014c1: SWAP1 000014c2: SUB 000014c3: ADD 000014c4: DUP2 000014c5: DUP6 000014c6: DUP9 000014c7: DUP1 000014c8: EXTCODESIZE 000014c9: ISZERO 000014ca: DUP1 000014cb: ISZERO 000014cc: PUSH2 0x14d4 000014cf: JUMPI 000014d0: PUSH1 0x00 000014d2: DUP1 000014d3: REVERT 000014d4: JUMPDEST 000014d5: POP 000014d6: GAS 000014d7: CALL 000014d8: ISZERO 000014d9: DUP1 000014da: ISZERO 000014db: PUSH2 0x14e8 000014de: JUMPI 000014df: RETURNDATASIZE 000014e0: PUSH1 0x00 000014e2: DUP1 000014e3: RETURNDATACOPY 000014e4: RETURNDATASIZE 000014e5: PUSH1 0x00 000014e7: REVERT 000014e8: JUMPDEST 000014e9: POP 000014ea: POP 000014eb: PUSH1 0x40 000014ed: MLOAD 000014ee: PUSH1 0x01 000014f0: PUSH1 0xa0 000014f2: PUSH1 0x02 000014f4: EXP 000014f5: SUB 000014f6: DUP10 000014f7: AND 000014f8: SWAP4 000014f9: POP 000014fa: PUSH1 0x00 000014fc: SWAP3 000014fd: POP 000014fe: PUSH7 0x038d7ea4c68000 00001506: SWAP2 00001507: POP 00001508: DUP3 00001509: DUP2 0000150a: DUP2 0000150b: DUP2 0000150c: DUP6 0000150d: DUP9 0000150e: DUP4 0000150f: CALL 00001510: SWAP4 00001511: POP 00001512: POP 00001513: POP 00001514: POP 00001515: ISZERO 00001516: DUP1 00001517: ISZERO 00001518: PUSH2 0x1525 0000151b: JUMPI 0000151c: RETURNDATASIZE 0000151d: PUSH1 0x00 0000151f: DUP1 00001520: RETURNDATACOPY 00001521: RETURNDATASIZE 00001522: PUSH1 0x00 00001524: REVERT 00001525: JUMPDEST 00001526: POP 00001527: POP 00001528: POP 00001529: POP 0000152a: POP 0000152b: POP 0000152c: POP 0000152d: JUMP 0000152e: JUMPDEST 0000152f: PUSH1 0x01 00001531: SLOAD 00001532: PUSH1 0x01 00001534: PUSH1 0xa0 00001536: PUSH1 0x02 00001538: EXP 00001539: SUB 0000153a: AND 0000153b: DUP2 0000153c: JUMP 0000153d: JUMPDEST 0000153e: PUSH1 0x0d 00001540: SLOAD 00001541: PUSH1 0x01 00001543: PUSH1 0xa0 00001545: PUSH1 0x02 00001547: EXP 00001548: SUB 00001549: DUP3 0000154a: AND 0000154b: PUSH1 0x00 0000154d: SWAP1 0000154e: DUP2 0000154f: MSTORE 00001550: PUSH1 0x07 00001552: PUSH1 0x20 00001554: MSTORE 00001555: PUSH1 0x40 00001557: DUP2 00001558: KECCAK256 00001559: SLOAD 0000155a: SWAP1 0000155b: SWAP2 0000155c: DUP3 0000155d: SWAP2 0000155e: NUMBER 0000155f: SUB 00001560: LT 00001561: ISZERO 00001562: PUSH2 0x07ae 00001565: JUMPI 00001566: POP 00001567: POP 00001568: PUSH1 0x01 0000156a: PUSH1 0xa0 0000156c: PUSH1 0x02 0000156e: EXP 0000156f: SUB 00001570: AND 00001571: PUSH1 0x00 00001573: SWAP1 00001574: DUP2 00001575: MSTORE 00001576: PUSH1 0x07 00001578: PUSH1 0x20 0000157a: MSTORE 0000157b: PUSH1 0x40 0000157d: SWAP1 0000157e: KECCAK256 0000157f: SLOAD 00001580: PUSH1 0x0d 00001582: SLOAD 00001583: NUMBER 00001584: SWAP2 00001585: SWAP1 00001586: SWAP2 00001587: SUB 00001588: SWAP1 00001589: SUB 0000158a: SWAP1 0000158b: JUMP 0000158c: JUMPDEST 0000158d: PUSH1 0x0b 0000158f: SLOAD 00001590: PUSH8 0x016345785d8a0000 00001599: DUP2 0000159a: GT 0000159b: PUSH2 0x15a3 0000159e: JUMPI 0000159f: PUSH1 0x00 000015a1: DUP1 000015a2: REVERT 000015a3: JUMPDEST 000015a4: PUSH1 0x0b 000015a6: DUP1 000015a7: SLOAD 000015a8: PUSH8 0x016345785d89ffff 000015b1: NOT 000015b2: ADD 000015b3: SWAP1 000015b4: SSTORE 000015b5: PUSH1 0x09 000015b7: SLOAD 000015b8: PUSH1 0x00 000015ba: SWAP1 000015bb: DUP2 000015bc: MSTORE 000015bd: PUSH1 0x08 000015bf: PUSH1 0x20 000015c1: MSTORE 000015c2: PUSH1 0x40 000015c4: DUP1 000015c5: DUP3 000015c6: KECCAK256 000015c7: SLOAD 000015c8: SWAP1 000015c9: MLOAD 000015ca: PUSH1 0x01 000015cc: PUSH1 0xa0 000015ce: PUSH1 0x02 000015d0: EXP 000015d1: SUB 000015d2: SWAP1 000015d3: SWAP2 000015d4: AND 000015d5: SWAP2 000015d6: SWAP1 000015d7: PUSH8 0x016345785d8a0000 000015e0: SWAP1 000015e1: DUP3 000015e2: DUP2 000015e3: DUP2 000015e4: DUP2 000015e5: DUP6 000015e6: DUP9 000015e7: DUP4 000015e8: CALL 000015e9: SWAP4 000015ea: POP 000015eb: POP 000015ec: POP 000015ed: POP 000015ee: ISZERO 000015ef: DUP1 000015f0: ISZERO 000015f1: PUSH2 0x15fe 000015f4: JUMPI 000015f5: RETURNDATASIZE 000015f6: PUSH1 0x00 000015f8: DUP1 000015f9: RETURNDATACOPY 000015fa: RETURNDATASIZE 000015fb: PUSH1 0x00 000015fd: REVERT 000015fe: JUMPDEST 000015ff: POP 00001600: POP 00001601: PUSH1 0x09 00001603: DUP1 00001604: SLOAD 00001605: PUSH1 0x01 00001607: ADD 00001608: SWAP1 00001609: SSTORE 0000160a: JUMP 0000160b: JUMPDEST 0000160c: PUSH1 0x00 0000160e: DUP1 0000160f: CALLER 00001610: PUSH1 0x00 00001612: PUSH2 0x161a 00001615: DUP3 00001616: PUSH2 0x0d9b 00001619: JUMP 0000161a: JUMPDEST 0000161b: SWAP1 0000161c: POP 0000161d: PUSH1 0x00 0000161f: DUP2 00001620: GT 00001621: ISZERO 00001622: PUSH2 0x1673 00001625: JUMPI 00001626: PUSH1 0x13 00001628: SLOAD 00001629: PUSH2 0x1638 0000162c: SWAP1 0000162d: DUP3 0000162e: PUSH4 0xffffffff 00001633: PUSH2 0x19af 00001636: AND 00001637: JUMP 00001638: JUMPDEST 00001639: PUSH1 0x13 0000163b: SSTORE 0000163c: PUSH1 0x40 0000163e: MLOAD 0000163f: PUSH1 0x01 00001641: PUSH1 0xa0 00001643: PUSH1 0x02 00001645: EXP 00001646: SUB 00001647: DUP4 00001648: AND 00001649: SWAP1 0000164a: DUP3 0000164b: ISZERO 0000164c: PUSH2 0x08fc 0000164f: MUL 00001650: SWAP1 00001651: DUP4 00001652: SWAP1 00001653: PUSH1 0x00 00001655: DUP2 00001656: DUP2 00001657: DUP2 00001658: DUP6 00001659: DUP9 0000165a: DUP9 0000165b: CALL 0000165c: SWAP4 0000165d: POP 0000165e: POP 0000165f: POP 00001660: POP 00001661: ISZERO 00001662: DUP1 00001663: ISZERO 00001664: PUSH2 0x1671 00001667: JUMPI 00001668: RETURNDATASIZE 00001669: PUSH1 0x00 0000166b: DUP1 0000166c: RETURNDATACOPY 0000166d: RETURNDATASIZE 0000166e: PUSH1 0x00 00001670: REVERT 00001671: JUMPDEST 00001672: POP 00001673: JUMPDEST 00001674: PUSH1 0x12 00001676: SLOAD 00001677: PUSH1 0x01 00001679: PUSH1 0xa0 0000167b: PUSH1 0x02 0000167d: EXP 0000167e: SUB 0000167f: DUP4 00001680: AND 00001681: PUSH1 0x00 00001683: SWAP1 00001684: DUP2 00001685: MSTORE 00001686: PUSH1 0x0f 00001688: PUSH1 0x20 0000168a: MSTORE 0000168b: PUSH1 0x40 0000168d: SWAP1 0000168e: KECCAK256 0000168f: PUSH1 0x01 00001691: ADD 00001692: SSTORE 00001693: CALLVALUE 00001694: SWAP4 00001695: POP 00001696: PUSH8 0x016345785d8a0000 0000169f: DUP5 000016a0: LT 000016a1: ISZERO 000016a2: PUSH2 0x16aa 000016a5: JUMPI 000016a6: PUSH1 0x00 000016a8: DUP1 000016a9: REVERT 000016aa: JUMPDEST 000016ab: CALLER 000016ac: PUSH1 0x00 000016ae: DUP2 000016af: DUP2 000016b0: MSTORE 000016b1: PUSH1 0x03 000016b3: PUSH1 0x20 000016b5: SWAP1 000016b6: DUP2 000016b7: MSTORE 000016b8: PUSH1 0x40 000016ba: DUP1 000016bb: DUP4 000016bc: KECCAK256 000016bd: DUP1 000016be: SLOAD 000016bf: PUSH1 0x01 000016c1: SWAP1 000016c2: DUP2 000016c3: ADD 000016c4: SWAP1 000016c5: SWAP2 000016c6: SSTORE 000016c7: PUSH1 0x02 000016c9: DUP1 000016ca: SLOAD 000016cb: DUP3 000016cc: ADD 000016cd: SWAP1 000016ce: SSTORE 000016cf: PUSH1 0x04 000016d1: DUP1 000016d2: DUP5 000016d3: MSTORE 000016d4: DUP3 000016d5: DUP6 000016d6: KECCAK256 000016d7: DUP1 000016d8: SLOAD 000016d9: DUP4 000016da: ADD 000016db: SWAP1 000016dc: SSTORE 000016dd: PUSH1 0x06 000016df: DUP1 000016e0: SLOAD 000016e1: DUP7 000016e2: MSTORE 000016e3: PUSH1 0x05 000016e5: DUP6 000016e6: MSTORE 000016e7: DUP4 000016e8: DUP7 000016e9: KECCAK256 000016ea: DUP1 000016eb: SLOAD 000016ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001701: NOT 00001702: AND 00001703: DUP9 00001704: OR 00001705: SWAP1 00001706: SSTORE 00001707: DUP1 00001708: SLOAD 00001709: SWAP1 0000170a: SWAP3 0000170b: ADD 0000170c: SWAP1 0000170d: SWAP2 0000170e: SSTORE 0000170f: DUP5 00001710: DUP5 00001711: MSTORE 00001712: PUSH1 0x07 00001714: DUP4 00001715: MSTORE 00001716: SWAP3 00001717: DUP2 00001718: SWAP1 00001719: KECCAK256 0000171a: NUMBER 0000171b: SWAP1 0000171c: SSTORE 0000171d: DUP1 0000171e: MLOAD 0000171f: PUSH32 0xf088d54700000000000000000000000000000000000000000000000000000000 00001740: DUP2 00001741: MSTORE 00001742: PUSH1 0x01 00001744: PUSH1 0xa0 00001746: PUSH1 0x02 00001748: EXP 00001749: SUB 0000174a: DUP11 0000174b: AND 0000174c: SWAP4 0000174d: DUP2 0000174e: ADD 0000174f: SWAP4 00001750: SWAP1 00001751: SWAP4 00001752: MSTORE 00001753: MLOAD 00001754: SWAP3 00001755: SWAP6 00001756: POP 00001757: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 0000176c: SWAP3 0000176d: PUSH4 0xf088d547 00001772: SWAP3 00001773: PUSH7 0x11c37937e08000 0000177b: SWAP3 0000177c: PUSH1 0x24 0000177e: DUP1 0000177f: DUP4 00001780: ADD 00001781: SWAP4 00001782: SWAP2 00001783: SWAP3 00001784: DUP3 00001785: SWAP1 00001786: SUB 00001787: ADD 00001788: DUP2 00001789: DUP6 0000178a: DUP9 0000178b: DUP1 0000178c: EXTCODESIZE 0000178d: ISZERO 0000178e: DUP1 0000178f: ISZERO 00001790: PUSH2 0x1798 00001793: JUMPI 00001794: PUSH1 0x00 00001796: DUP1 00001797: REVERT 00001798: JUMPDEST 00001799: POP 0000179a: GAS 0000179b: CALL 0000179c: ISZERO 0000179d: DUP1 0000179e: ISZERO 0000179f: PUSH2 0x17ac 000017a2: JUMPI 000017a3: RETURNDATASIZE 000017a4: PUSH1 0x00 000017a6: DUP1 000017a7: RETURNDATACOPY 000017a8: RETURNDATASIZE 000017a9: PUSH1 0x00 000017ab: REVERT 000017ac: JUMPDEST 000017ad: POP 000017ae: POP 000017af: POP 000017b0: POP 000017b1: POP 000017b2: PUSH1 0x40 000017b4: MLOAD 000017b5: RETURNDATASIZE 000017b6: PUSH1 0x20 000017b8: DUP2 000017b9: LT 000017ba: ISZERO 000017bb: PUSH2 0x17c3 000017be: JUMPI 000017bf: PUSH1 0x00 000017c1: DUP1 000017c2: REVERT 000017c3: JUMPDEST 000017c4: POP 000017c5: POP 000017c6: PUSH8 0x016345785d8a0000 000017cf: DUP5 000017d0: GT 000017d1: ISZERO 000017d2: PUSH2 0x17e9 000017d5: JUMPI 000017d6: PUSH1 0x0b 000017d8: DUP1 000017d9: SLOAD 000017da: DUP6 000017db: ADD 000017dc: PUSH8 0x016345785d89ffff 000017e5: NOT 000017e6: ADD 000017e7: SWAP1 000017e8: SSTORE 000017e9: JUMPDEST 000017ea: PUSH1 0x0b 000017ec: DUP1 000017ed: SLOAD 000017ee: PUSH7 0x11c37937e08000 000017f6: ADD 000017f7: SWAP1 000017f8: SSTORE 000017f9: PUSH1 0x40 000017fb: DUP1 000017fc: MLOAD 000017fd: PUSH32 0xabc6fd0b00000000000000000000000000000000000000000000000000000000 0000181e: DUP2 0000181f: MSTORE 00001820: SWAP1 00001821: MLOAD 00001822: PUSH20 0xfaae60f2ce6491886c9f7c9356bd92f688ca66a1 00001837: SWAP2 00001838: PUSH4 0xabc6fd0b 0000183d: SWAP2 0000183e: PUSH7 0x071afd498d0000 00001846: SWAP2 00001847: PUSH1 0x04 00001849: DUP1 0000184a: DUP3 0000184b: ADD 0000184c: SWAP3 0000184d: PUSH1 0x00 0000184f: SWAP3 00001850: SWAP1 00001851: SWAP2 00001852: SWAP1 00001853: DUP3 00001854: SWAP1 00001855: SUB 00001856: ADD 00001857: DUP2 00001858: DUP6 00001859: DUP9 0000185a: DUP1 0000185b: EXTCODESIZE 0000185c: ISZERO 0000185d: DUP1 0000185e: ISZERO 0000185f: PUSH2 0x1867 00001862: JUMPI 00001863: PUSH1 0x00 00001865: DUP1 00001866: REVERT 00001867: JUMPDEST 00001868: POP 00001869: GAS 0000186a: CALL 0000186b: ISZERO 0000186c: DUP1 0000186d: ISZERO 0000186e: PUSH2 0x187b 00001871: JUMPI 00001872: RETURNDATASIZE 00001873: PUSH1 0x00 00001875: DUP1 00001876: RETURNDATACOPY 00001877: RETURNDATASIZE 00001878: PUSH1 0x00 0000187a: REVERT 0000187b: JUMPDEST 0000187c: POP 0000187d: POP 0000187e: POP 0000187f: POP 00001880: POP 00001881: POP 00001882: POP 00001883: POP 00001884: POP 00001885: POP 00001886: JUMP 00001887: JUMPDEST 00001888: PUSH1 0x01 0000188a: PUSH1 0xa0 0000188c: PUSH1 0x02 0000188e: EXP 0000188f: SUB 00001890: DUP2 00001891: AND 00001892: PUSH1 0x00 00001894: SWAP1 00001895: DUP2 00001896: MSTORE 00001897: PUSH1 0x10 00001899: PUSH1 0x20 0000189b: SWAP1 0000189c: DUP2 0000189d: MSTORE 0000189e: PUSH1 0x40 000018a0: SWAP2 000018a1: DUP3 000018a2: SWAP1 000018a3: KECCAK256 000018a4: DUP1 000018a5: SLOAD 000018a6: DUP4 000018a7: MLOAD 000018a8: PUSH1 0x1f 000018aa: PUSH1 0x02 000018ac: PUSH1 0x00 000018ae: NOT 000018af: PUSH2 0x0100 000018b2: PUSH1 0x01 000018b4: DUP7 000018b5: AND 000018b6: ISZERO 000018b7: MUL 000018b8: ADD 000018b9: SWAP1 000018ba: SWAP4 000018bb: AND 000018bc: SWAP3 000018bd: SWAP1 000018be: SWAP3 000018bf: DIV 000018c0: SWAP2 000018c1: DUP3 000018c2: ADD 000018c3: DUP5 000018c4: SWAP1 000018c5: DIV 000018c6: DUP5 000018c7: MUL 000018c8: DUP2 000018c9: ADD 000018ca: DUP5 000018cb: ADD 000018cc: SWAP1 000018cd: SWAP5 000018ce: MSTORE 000018cf: DUP1 000018d0: DUP5 000018d1: MSTORE 000018d2: PUSH1 0x60 000018d4: SWAP4 000018d5: SWAP3 000018d6: DUP4 000018d7: ADD 000018d8: DUP3 000018d9: DUP3 000018da: DUP1 000018db: ISZERO 000018dc: PUSH2 0x1926 000018df: JUMPI 000018e0: DUP1 000018e1: PUSH1 0x1f 000018e3: LT 000018e4: PUSH2 0x18fb 000018e7: JUMPI 000018e8: PUSH2 0x0100 000018eb: DUP1 000018ec: DUP4 000018ed: SLOAD 000018ee: DIV 000018ef: MUL 000018f0: DUP4 000018f1: MSTORE 000018f2: SWAP2 000018f3: PUSH1 0x20 000018f5: ADD 000018f6: SWAP2 000018f7: PUSH2 0x1926 000018fa: JUMP 000018fb: JUMPDEST 000018fc: DUP3 000018fd: ADD 000018fe: SWAP2 000018ff: SWAP1 00001900: PUSH1 0x00 00001902: MSTORE 00001903: PUSH1 0x20 00001905: PUSH1 0x00 00001907: KECCAK256 00001908: SWAP1 00001909: JUMPDEST 0000190a: DUP2 0000190b: SLOAD 0000190c: DUP2 0000190d: MSTORE 0000190e: SWAP1 0000190f: PUSH1 0x01 00001911: ADD 00001912: SWAP1 00001913: PUSH1 0x20 00001915: ADD 00001916: DUP1 00001917: DUP4 00001918: GT 00001919: PUSH2 0x1909 0000191c: JUMPI 0000191d: DUP3 0000191e: SWAP1 0000191f: SUB 00001920: PUSH1 0x1f 00001922: AND 00001923: DUP3 00001924: ADD 00001925: SWAP2 00001926: JUMPDEST 00001927: POP 00001928: POP 00001929: POP 0000192a: POP 0000192b: POP 0000192c: SWAP1 0000192d: POP 0000192e: SWAP2 0000192f: SWAP1 00001930: POP 00001931: JUMP 00001932: JUMPDEST 00001933: PUSH1 0x00 00001935: SLOAD 00001936: PUSH1 0x01 00001938: PUSH1 0xa0 0000193a: PUSH1 0x02 0000193c: EXP 0000193d: SUB 0000193e: AND 0000193f: CALLER 00001940: EQ 00001941: PUSH2 0x1949 00001944: JUMPI 00001945: PUSH1 0x00 00001947: DUP1 00001948: REVERT 00001949: JUMPDEST 0000194a: PUSH1 0x01 0000194c: DUP1 0000194d: SLOAD 0000194e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001963: NOT 00001964: AND 00001965: PUSH1 0x01 00001967: PUSH1 0xa0 00001969: PUSH1 0x02 0000196b: EXP 0000196c: SUB 0000196d: SWAP3 0000196e: SWAP1 0000196f: SWAP3 00001970: AND 00001971: SWAP2 00001972: SWAP1 00001973: SWAP2 00001974: OR 00001975: SWAP1 00001976: SSTORE 00001977: JUMP 00001978: JUMPDEST 00001979: PUSH1 0x09 0000197b: SLOAD 0000197c: PUSH1 0x00 0000197e: SWAP1 0000197f: DUP2 00001980: MSTORE 00001981: PUSH1 0x08 00001983: PUSH1 0x20 00001985: MSTORE 00001986: PUSH1 0x40 00001988: SWAP1 00001989: KECCAK256 0000198a: SLOAD 0000198b: PUSH1 0x01 0000198d: PUSH1 0xa0 0000198f: PUSH1 0x02 00001991: EXP 00001992: SUB 00001993: AND 00001994: SWAP1 00001995: JUMP 00001996: JUMPDEST 00001997: PUSH1 0x00 00001999: DUP1 0000199a: DUP3 0000199b: GT 0000199c: PUSH2 0x19a4 0000199f: JUMPI 000019a0: PUSH1 0x00 000019a2: DUP1 000019a3: REVERT 000019a4: JUMPDEST 000019a5: DUP2 000019a6: DUP4 000019a7: DUP2 000019a8: ISZERO 000019a9: ISZERO 000019aa: PUSH2 0x0df7 000019ad: JUMPI 000019ae: INVALID 000019af: JUMPDEST 000019b0: PUSH1 0x00 000019b2: DUP3 000019b3: DUP3 000019b4: GT 000019b5: ISZERO 000019b6: PUSH2 0x19be 000019b9: JUMPI 000019ba: PUSH1 0x00 000019bc: DUP1 000019bd: REVERT 000019be: JUMPDEST 000019bf: POP 000019c0: SWAP1 000019c1: SUB 000019c2: SWAP1 000019c3: JUMP 000019c4: JUMPDEST 000019c5: DUP2 000019c6: DUP2 000019c7: ADD 000019c8: DUP3 000019c9: DUP2 000019ca: LT 000019cb: ISZERO 000019cc: PUSH2 0x07ae 000019cf: JUMPI 000019d0: PUSH1 0x00 000019d2: DUP1 000019d3: REVERT 000019d4: JUMPDEST 000019d5: DUP2 000019d6: DUP2 000019d7: MUL 000019d8: DUP3 000019d9: ISZERO 000019da: DUP1 000019db: PUSH2 0x19ee 000019de: JUMPI 000019df: POP 000019e0: DUP2 000019e1: DUP4 000019e2: DUP3 000019e3: DUP2 000019e4: ISZERO 000019e5: ISZERO 000019e6: PUSH2 0x19eb 000019e9: JUMPI 000019ea: INVALID 000019eb: JUMPDEST 000019ec: DIV 000019ed: EQ 000019ee: JUMPDEST 000019ef: ISZERO 000019f0: ISZERO 000019f1: PUSH2 0x07ae 000019f4: JUMPI 000019f5: PUSH1 0x00 000019f7: DUP1 000019f8: REVERT 000019f9: JUMPDEST 000019fa: DUP3 000019fb: DUP1 000019fc: SLOAD 000019fd: PUSH1 0x01 000019ff: DUP2 00001a00: PUSH1 0x01 00001a02: AND 00001a03: ISZERO 00001a04: PUSH2 0x0100 00001a07: MUL 00001a08: SUB 00001a09: AND 00001a0a: PUSH1 0x02 00001a0c: SWAP1 00001a0d: DIV 00001a0e: SWAP1 00001a0f: PUSH1 0x00 00001a11: MSTORE 00001a12: PUSH1 0x20 00001a14: PUSH1 0x00 00001a16: KECCAK256 00001a17: SWAP1 00001a18: PUSH1 0x1f 00001a1a: ADD 00001a1b: PUSH1 0x20 00001a1d: SWAP1 00001a1e: DIV 00001a1f: DUP2 00001a20: ADD 00001a21: SWAP3 00001a22: DUP3 00001a23: PUSH1 0x1f 00001a25: LT 00001a26: PUSH2 0x1a3a 00001a29: JUMPI 00001a2a: DUP1 00001a2b: MLOAD 00001a2c: PUSH1 0xff 00001a2e: NOT 00001a2f: AND 00001a30: DUP4 00001a31: DUP1 00001a32: ADD 00001a33: OR 00001a34: DUP6 00001a35: SSTORE 00001a36: PUSH2 0x1a67 00001a39: JUMP 00001a3a: JUMPDEST 00001a3b: DUP3 00001a3c: DUP1 00001a3d: ADD 00001a3e: PUSH1 0x01 00001a40: ADD 00001a41: DUP6 00001a42: SSTORE 00001a43: DUP3 00001a44: ISZERO 00001a45: PUSH2 0x1a67 00001a48: JUMPI 00001a49: SWAP2 00001a4a: DUP3 00001a4b: ADD 00001a4c: JUMPDEST 00001a4d: DUP3 00001a4e: DUP2 00001a4f: GT 00001a50: ISZERO 00001a51: PUSH2 0x1a67 00001a54: JUMPI 00001a55: DUP3 00001a56: MLOAD 00001a57: DUP3 00001a58: SSTORE 00001a59: SWAP2 00001a5a: PUSH1 0x20 00001a5c: ADD 00001a5d: SWAP2 00001a5e: SWAP1 00001a5f: PUSH1 0x01 00001a61: ADD 00001a62: SWAP1 00001a63: PUSH2 0x1a4c 00001a66: JUMP 00001a67: JUMPDEST 00001a68: POP 00001a69: PUSH2 0x1a73 00001a6c: SWAP3 00001a6d: SWAP2 00001a6e: POP 00001a6f: PUSH2 0x1a77 00001a72: JUMP 00001a73: JUMPDEST 00001a74: POP 00001a75: SWAP1 00001a76: JUMP 00001a77: JUMPDEST 00001a78: PUSH2 0x0d98 00001a7b: SWAP2 00001a7c: SWAP1 00001a7d: JUMPDEST 00001a7e: DUP1 00001a7f: DUP3 00001a80: GT 00001a81: ISZERO 00001a82: PUSH2 0x1a73 00001a85: JUMPI 00001a86: PUSH1 0x00 00001a88: DUP2 00001a89: SSTORE 00001a8a: PUSH1 0x01 00001a8c: ADD 00001a8d: PUSH2 0x1a7d 00001a90: JUMP 00001a91: STOP 00001a92: LOG1 00001a93: PUSH6 0x627a7a723058 00001a9a: KECCAK256 00001a9b: SWAP14 00001a9c: UNKNOWN(0xFB) 00001a9d: UNKNOWN(0xC9) 00001a9e: CLZ 00001a9f: UNKNOWN(0xB5) 00001aa0: SWAP5 00001aa1: UNKNOWN(0x4B) 00001aa2: UNKNOWN(0xD2) 00001aa3: UNKNOWN(0xC6) 00001aa4: UNKNOWN(0xAC) 00001aa5: UNKNOWN(0xEA) 00001aa6: UNKNOWN(0xD6) 00001aa7: BALANCE 00001aa8: UNKNOWN(0x2C) 00001aa9: PC 00001aaa: PUSH7 0x2b36902274b806 00001ab2: MLOAD 00001ab3: EXTCODEHASH 00001ab4: UNKNOWN(0xB1) 00001ab5: UNKNOWN(0x27) 00001ab6: PUSH22
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x5d1ffa1d08eff0c02df923de3ca9b0adf753c6fa3692de1b1a712b75bd79d8ec
call_targets:
0x6d534b48835701312ebc904d4b37e54d4f7d039f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5d1ffa1d08eff0c02df923de3ca9b0adf753c6fa3692de1b1a712b75bd79d8ec",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6d534b48835701312ebc904d4b37e54d4f7d039f"
],
"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": "0x0d874f7a",
"selector": "0x0d874f7a",
"calldata_variants": [
"0x0d874f7a",
"0x0d874f7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16eaa4b4",
"selector": "0x16eaa4b4",
"calldata_variants": [
"0x16eaa4b4",
"0x16eaa4b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x182a7f72",
"selector": "0x182a7f72",
"calldata_variants": [
"0x182a7f72",
"0x182a7f720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2113342d",
"selector": "0x2113342d",
"calldata_variants": [
"0x2113342d",
"0x2113342d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x346bd657",
"selector": "0x346bd657",
"calldata_variants": [
"0x346bd657",
"0x346bd6570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x358fcee9",
"selector": "0x358fcee9",
"calldata_variants": [
"0x358fcee9",
"0x358fcee90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39f56550",
"selector": "0x39f56550",
"calldata_variants": [
"0x39f56550",
"0x39f565500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1692,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1838,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2079,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 14,
"guards_detected": [],
"untrusted_call_count": 14
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x5d1ffa1d08eff0c02df923de3ca9b0adf753c6fa3692de1b1a712b75bd79d8ec
call_targets:
0x6d534b48835701312ebc904d4b37e54d4f7d039f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5d1ffa1d08eff0c02df923de3ca9b0adf753c6fa3692de1b1a712b75bd79d8ec",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6d534b48835701312ebc904d4b37e54d4f7d039f"
],
"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": "0x0d874f7a",
"selector": "0x0d874f7a",
"calldata_variants": [
"0x0d874f7a",
"0x0d874f7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16eaa4b4",
"selector": "0x16eaa4b4",
"calldata_variants": [
"0x16eaa4b4",
"0x16eaa4b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x182a7f72",
"selector": "0x182a7f72",
"calldata_variants": [
"0x182a7f72",
"0x182a7f720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2113342d",
"selector": "0x2113342d",
"calldata_variants": [
"0x2113342d",
"0x2113342d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x346bd657",
"selector": "0x346bd657",
"calldata_variants": [
"0x346bd657",
"0x346bd6570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x358fcee9",
"selector": "0x358fcee9",
"calldata_variants": [
"0x358fcee9",
"0x358fcee90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39f56550",
"selector": "0x39f56550",
"calldata_variants": [
"0x39f56550",
"0x39f565500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1692,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1838,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2079,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 14,
"guards_detected": []
}
|