019b477e-b6bb-700c-89d7-35bc024d8586
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 |
|---|---|---|---|---|
| 23159 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23160 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66562 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 66563 | capability.graph | complete | 1 / 3 | 1 week ago |
| 66564 | detector.run | complete | 1 / 3 | 1 week ago |
| 66565 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0168 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x0176 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x01a7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x0231 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x0247 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x025a 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x27defa1f 00000071: EQ 00000072: PUSH2 0x0270 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x313ce567 0000007c: EQ 0000007d: PUSH2 0x0297 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x392efb52 00000087: EQ 00000088: PUSH2 0x02c0 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x3ccfd60b 00000092: EQ 00000093: PUSH2 0x02d6 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x4b750334 0000009d: EQ 0000009e: PUSH2 0x02eb 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x56d399e8 000000a8: EQ 000000a9: PUSH2 0x02fe 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x688abbf7 000000b3: EQ 000000b4: PUSH2 0x0311 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x6b2f4632 000000be: EQ 000000bf: PUSH2 0x0329 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x6f83b86b 000000c9: EQ 000000ca: PUSH2 0x033c 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x70a08231 000000d4: EQ 000000d5: PUSH2 0x034f 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x8328b610 000000df: EQ 000000e0: PUSH2 0x036e 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x8620410b 000000ea: EQ 000000eb: PUSH2 0x0384 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x89135ae9 000000f5: EQ 000000f6: PUSH2 0x0397 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x949e8acd 00000100: EQ 00000101: PUSH2 0x03b2 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x95d89b41 0000010b: EQ 0000010c: PUSH2 0x03c5 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xa8e04f34 00000116: EQ 00000117: PUSH2 0x03d8 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xa9059cbb 00000121: EQ 00000122: PUSH2 0x03eb 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xb84c8246 0000012c: EQ 0000012d: PUSH2 0x040d 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xc47f0027 00000137: EQ 00000138: PUSH2 0x045e 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xe4849b32 00000142: EQ 00000143: PUSH2 0x04af 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xe9fad8ee 0000014d: EQ 0000014e: PUSH2 0x04c5 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xf088d547 00000158: EQ 00000159: PUSH2 0x04d8 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xfdb5a03e 00000163: EQ 00000164: PUSH2 0x04ec 00000167: JUMPI 00000168: JUMPDEST 00000169: PUSH2 0x0173 0000016c: CALLVALUE 0000016d: PUSH1 0x00 0000016f: PUSH2 0x04ff 00000172: JUMP 00000173: JUMPDEST 00000174: POP 00000175: STOP 00000176: JUMPDEST 00000177: CALLVALUE 00000178: ISZERO 00000179: PUSH2 0x0181 0000017c: JUMPI 0000017d: PUSH1 0x00 0000017f: DUP1 00000180: REVERT 00000181: JUMPDEST 00000182: PUSH2 0x0195 00000185: PUSH1 0x01 00000187: PUSH1 0xa0 00000189: PUSH1 0x02 0000018b: EXP 0000018c: SUB 0000018d: PUSH1 0x04 0000018f: CALLDATALOAD 00000190: AND 00000191: PUSH2 0x0aa2 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH1 0x40 00000198: MLOAD 00000199: SWAP1 0000019a: DUP2 0000019b: MSTORE 0000019c: PUSH1 0x20 0000019e: ADD 0000019f: PUSH1 0x40 000001a1: MLOAD 000001a2: DUP1 000001a3: SWAP2 000001a4: SUB 000001a5: SWAP1 000001a6: RETURN 000001a7: JUMPDEST 000001a8: CALLVALUE 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: PUSH2 0x01ba 000001b6: PUSH2 0x0ad8 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: PUSH1 0x20 000001c0: DUP1 000001c1: DUP3 000001c2: MSTORE 000001c3: DUP2 000001c4: SWAP1 000001c5: DUP2 000001c6: ADD 000001c7: DUP4 000001c8: DUP2 000001c9: DUP2 000001ca: MLOAD 000001cb: DUP2 000001cc: MSTORE 000001cd: PUSH1 0x20 000001cf: ADD 000001d0: SWAP2 000001d1: POP 000001d2: DUP1 000001d3: MLOAD 000001d4: SWAP1 000001d5: PUSH1 0x20 000001d7: ADD 000001d8: SWAP1 000001d9: DUP1 000001da: DUP4 000001db: DUP4 000001dc: PUSH1 0x00 000001de: JUMPDEST 000001df: DUP4 000001e0: DUP2 000001e1: LT 000001e2: ISZERO 000001e3: PUSH2 0x01f6 000001e6: JUMPI 000001e7: DUP1 000001e8: DUP3 000001e9: ADD 000001ea: MLOAD 000001eb: DUP4 000001ec: DUP3 000001ed: ADD 000001ee: MSTORE 000001ef: PUSH1 0x20 000001f1: ADD 000001f2: PUSH2 0x01de 000001f5: JUMP 000001f6: JUMPDEST 000001f7: POP 000001f8: POP 000001f9: POP 000001fa: POP 000001fb: SWAP1 000001fc: POP 000001fd: SWAP1 000001fe: DUP2 000001ff: ADD 00000200: SWAP1 00000201: PUSH1 0x1f 00000203: AND 00000204: DUP1 00000205: ISZERO 00000206: PUSH2 0x0223 00000209: JUMPI 0000020a: DUP1 0000020b: DUP3 0000020c: SUB 0000020d: DUP1 0000020e: MLOAD 0000020f: PUSH1 0x01 00000211: DUP4 00000212: PUSH1 0x20 00000214: SUB 00000215: PUSH2 0x0100 00000218: EXP 00000219: SUB 0000021a: NOT 0000021b: AND 0000021c: DUP2 0000021d: MSTORE 0000021e: PUSH1 0x20 00000220: ADD 00000221: SWAP2 00000222: POP 00000223: JUMPDEST 00000224: POP 00000225: SWAP3 00000226: POP 00000227: POP 00000228: POP 00000229: PUSH1 0x40 0000022b: MLOAD 0000022c: DUP1 0000022d: SWAP2 0000022e: SUB 0000022f: SWAP1 00000230: RETURN 00000231: JUMPDEST 00000232: CALLVALUE 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: PUSH2 0x0195 00000240: PUSH1 0x04 00000242: CALLDATALOAD 00000243: PUSH2 0x0b76 00000246: JUMP 00000247: JUMPDEST 00000248: CALLVALUE 00000249: ISZERO 0000024a: PUSH2 0x0252 0000024d: JUMPI 0000024e: PUSH1 0x00 00000250: DUP1 00000251: REVERT 00000252: JUMPDEST 00000253: PUSH2 0x0195 00000256: PUSH2 0x0ba6 00000259: JUMP 0000025a: JUMPDEST 0000025b: CALLVALUE 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: PUSH2 0x0195 00000269: PUSH1 0x04 0000026b: CALLDATALOAD 0000026c: PUSH2 0x0bad 0000026f: JUMP 00000270: JUMPDEST 00000271: CALLVALUE 00000272: ISZERO 00000273: PUSH2 0x027b 00000276: JUMPI 00000277: PUSH1 0x00 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: PUSH2 0x0283 0000027f: PUSH2 0x0be6 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH1 0x40 00000286: MLOAD 00000287: SWAP1 00000288: ISZERO 00000289: ISZERO 0000028a: DUP2 0000028b: MSTORE 0000028c: PUSH1 0x20 0000028e: ADD 0000028f: PUSH1 0x40 00000291: MLOAD 00000292: DUP1 00000293: SWAP2 00000294: SUB 00000295: SWAP1 00000296: RETURN 00000297: JUMPDEST 00000298: CALLVALUE 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: PUSH2 0x02aa 000002a6: PUSH2 0x0bef 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: PUSH1 0xff 000002b0: SWAP1 000002b1: SWAP2 000002b2: AND 000002b3: DUP2 000002b4: MSTORE 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: PUSH1 0x40 000002ba: MLOAD 000002bb: DUP1 000002bc: SWAP2 000002bd: SUB 000002be: SWAP1 000002bf: RETURN 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: ISZERO 000002c3: PUSH2 0x02cb 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: PUSH2 0x0283 000002cf: PUSH1 0x04 000002d1: CALLDATALOAD 000002d2: PUSH2 0x0bf4 000002d5: JUMP 000002d6: JUMPDEST 000002d7: CALLVALUE 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: PUSH2 0x02e9 000002e5: PUSH2 0x0c09 000002e8: JUMP 000002e9: JUMPDEST 000002ea: STOP 000002eb: JUMPDEST 000002ec: CALLVALUE 000002ed: ISZERO 000002ee: PUSH2 0x02f6 000002f1: JUMPI 000002f2: PUSH1 0x00 000002f4: DUP1 000002f5: REVERT 000002f6: JUMPDEST 000002f7: PUSH2 0x0195 000002fa: PUSH2 0x0cd0 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: PUSH2 0x0195 0000030d: PUSH2 0x0d24 00000310: JUMP 00000311: JUMPDEST 00000312: CALLVALUE 00000313: ISZERO 00000314: PUSH2 0x031c 00000317: JUMPI 00000318: PUSH1 0x00 0000031a: DUP1 0000031b: REVERT 0000031c: JUMPDEST 0000031d: PUSH2 0x0195 00000320: PUSH1 0x04 00000322: CALLDATALOAD 00000323: ISZERO 00000324: ISZERO 00000325: PUSH2 0x0d2a 00000328: JUMP 00000329: JUMPDEST 0000032a: CALLVALUE 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: PUSH2 0x0195 00000338: PUSH2 0x0d6d 0000033b: JUMP 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: ISZERO 0000033f: PUSH2 0x0347 00000342: JUMPI 00000343: PUSH1 0x00 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: PUSH2 0x02e9 0000034b: PUSH2 0x0d7b 0000034e: JUMP 0000034f: JUMPDEST 00000350: CALLVALUE 00000351: ISZERO 00000352: PUSH2 0x035a 00000355: JUMPI 00000356: PUSH1 0x00 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: PUSH2 0x0195 0000035e: PUSH1 0x01 00000360: PUSH1 0xa0 00000362: PUSH1 0x02 00000364: EXP 00000365: SUB 00000366: PUSH1 0x04 00000368: CALLDATALOAD 00000369: AND 0000036a: PUSH2 0x0e81 0000036d: JUMP 0000036e: JUMPDEST 0000036f: CALLVALUE 00000370: ISZERO 00000371: PUSH2 0x0379 00000374: JUMPI 00000375: PUSH1 0x00 00000377: DUP1 00000378: REVERT 00000379: JUMPDEST 0000037a: PUSH2 0x02e9 0000037d: PUSH1 0x04 0000037f: CALLDATALOAD 00000380: PUSH2 0x0e9c 00000383: JUMP 00000384: JUMPDEST 00000385: CALLVALUE 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: PUSH2 0x0195 00000393: PUSH2 0x0ef3 00000396: JUMP 00000397: JUMPDEST 00000398: CALLVALUE 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: PUSH2 0x02e9 000003a6: PUSH1 0x04 000003a8: CALLDATALOAD 000003a9: PUSH1 0x24 000003ab: CALLDATALOAD 000003ac: ISZERO 000003ad: ISZERO 000003ae: PUSH2 0x0f3b 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: PUSH2 0x0195 000003c1: PUSH2 0x0fad 000003c4: JUMP 000003c5: JUMPDEST 000003c6: CALLVALUE 000003c7: ISZERO 000003c8: PUSH2 0x03d0 000003cb: JUMPI 000003cc: PUSH1 0x00 000003ce: DUP1 000003cf: REVERT 000003d0: JUMPDEST 000003d1: PUSH2 0x01ba 000003d4: PUSH2 0x0fc0 000003d7: JUMP 000003d8: JUMPDEST 000003d9: CALLVALUE 000003da: ISZERO 000003db: PUSH2 0x03e3 000003de: JUMPI 000003df: PUSH1 0x00 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: PUSH2 0x02e9 000003e7: PUSH2 0x102b 000003ea: JUMP 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: PUSH2 0x0283 000003fa: PUSH1 0x01 000003fc: PUSH1 0xa0 000003fe: PUSH1 0x02 00000400: EXP 00000401: SUB 00000402: PUSH1 0x04 00000404: CALLDATALOAD 00000405: AND 00000406: PUSH1 0x24 00000408: CALLDATALOAD 00000409: PUSH2 0x1089 0000040c: JUMP 0000040d: JUMPDEST 0000040e: CALLVALUE 0000040f: ISZERO 00000410: PUSH2 0x0418 00000413: JUMPI 00000414: PUSH1 0x00 00000416: DUP1 00000417: REVERT 00000418: JUMPDEST 00000419: PUSH2 0x02e9 0000041c: PUSH1 0x04 0000041e: PUSH1 0x24 00000420: DUP2 00000421: CALLDATALOAD 00000422: DUP2 00000423: DUP2 00000424: ADD 00000425: SWAP1 00000426: DUP4 00000427: ADD 00000428: CALLDATALOAD 00000429: DUP1 0000042a: PUSH1 0x20 0000042c: PUSH1 0x1f 0000042e: DUP3 0000042f: ADD 00000430: DUP2 00000431: SWAP1 00000432: DIV 00000433: DUP2 00000434: MUL 00000435: ADD 00000436: PUSH1 0x40 00000438: MLOAD 00000439: SWAP1 0000043a: DUP2 0000043b: ADD 0000043c: PUSH1 0x40 0000043e: MSTORE 0000043f: DUP2 00000440: DUP2 00000441: MSTORE 00000442: SWAP3 00000443: SWAP2 00000444: SWAP1 00000445: PUSH1 0x20 00000447: DUP5 00000448: ADD 00000449: DUP4 0000044a: DUP4 0000044b: DUP1 0000044c: DUP3 0000044d: DUP5 0000044e: CALLDATACOPY 0000044f: POP 00000450: SWAP5 00000451: SWAP7 00000452: POP 00000453: PUSH2 0x123c 00000456: SWAP6 00000457: POP 00000458: POP 00000459: POP 0000045a: POP 0000045b: POP 0000045c: POP 0000045d: JUMP 0000045e: JUMPDEST 0000045f: CALLVALUE 00000460: ISZERO 00000461: PUSH2 0x0469 00000464: JUMPI 00000465: PUSH1 0x00 00000467: DUP1 00000468: REVERT 00000469: JUMPDEST 0000046a: PUSH2 0x02e9 0000046d: PUSH1 0x04 0000046f: PUSH1 0x24 00000471: DUP2 00000472: CALLDATALOAD 00000473: DUP2 00000474: DUP2 00000475: ADD 00000476: SWAP1 00000477: DUP4 00000478: ADD 00000479: CALLDATALOAD 0000047a: DUP1 0000047b: PUSH1 0x20 0000047d: PUSH1 0x1f 0000047f: DUP3 00000480: ADD 00000481: DUP2 00000482: SWAP1 00000483: DIV 00000484: DUP2 00000485: MUL 00000486: ADD 00000487: PUSH1 0x40 00000489: MLOAD 0000048a: SWAP1 0000048b: DUP2 0000048c: ADD 0000048d: PUSH1 0x40 0000048f: MSTORE 00000490: DUP2 00000491: DUP2 00000492: MSTORE 00000493: SWAP3 00000494: SWAP2 00000495: SWAP1 00000496: PUSH1 0x20 00000498: DUP5 00000499: ADD 0000049a: DUP4 0000049b: DUP4 0000049c: DUP1 0000049d: DUP3 0000049e: DUP5 0000049f: CALLDATACOPY 000004a0: POP 000004a1: SWAP5 000004a2: SWAP7 000004a3: POP 000004a4: PUSH2 0x12a5 000004a7: SWAP6 000004a8: POP 000004a9: POP 000004aa: POP 000004ab: POP 000004ac: POP 000004ad: POP 000004ae: JUMP 000004af: JUMPDEST 000004b0: CALLVALUE 000004b1: ISZERO 000004b2: PUSH2 0x04ba 000004b5: JUMPI 000004b6: PUSH1 0x00 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: PUSH2 0x02e9 000004be: PUSH1 0x04 000004c0: CALLDATALOAD 000004c1: PUSH2 0x1309 000004c4: JUMP 000004c5: JUMPDEST 000004c6: CALLVALUE 000004c7: ISZERO 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: PUSH2 0x02e9 000004d4: PUSH2 0x145c 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH2 0x0195 000004dc: PUSH1 0x01 000004de: PUSH1 0xa0 000004e0: PUSH1 0x02 000004e2: EXP 000004e3: SUB 000004e4: PUSH1 0x04 000004e6: CALLDATALOAD 000004e7: AND 000004e8: PUSH2 0x1493 000004eb: JUMP 000004ec: JUMPDEST 000004ed: CALLVALUE 000004ee: ISZERO 000004ef: PUSH2 0x04f7 000004f2: JUMPI 000004f3: PUSH1 0x00 000004f5: DUP1 000004f6: REVERT 000004f7: JUMPDEST 000004f8: PUSH2 0x02e9 000004fb: PUSH2 0x149f 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH1 0x00 00000502: DUP1 00000503: PUSH1 0x00 00000505: DUP1 00000506: PUSH1 0x00 00000508: DUP1 00000509: PUSH1 0x00 0000050b: DUP1 0000050c: PUSH1 0x00 0000050e: DUP11 0000050f: PUSH1 0x00 00000511: CALLER 00000512: SWAP1 00000513: POP 00000514: PUSH1 0x0b 00000516: PUSH1 0x00 00000518: SWAP1 00000519: SLOAD 0000051a: SWAP1 0000051b: PUSH2 0x0100 0000051e: EXP 0000051f: SWAP1 00000520: DIV 00000521: PUSH1 0xff 00000523: AND 00000524: DUP1 00000525: ISZERO 00000526: PUSH2 0x0540 00000529: JUMPI 0000052a: POP 0000052b: PUSH8 0x1bc16d674ec80000 00000534: DUP3 00000535: PUSH2 0x053c 00000538: PUSH2 0x0d6d 0000053b: JUMP 0000053c: JUMPDEST 0000053d: SUB 0000053e: GT 0000053f: ISZERO 00000540: JUMPDEST 00000541: ISZERO 00000542: PUSH2 0x0834 00000545: JUMPI 00000546: PUSH1 0x01 00000548: PUSH1 0xa0 0000054a: PUSH1 0x02 0000054c: EXP 0000054d: SUB 0000054e: DUP2 0000054f: AND 00000550: PUSH1 0x00 00000552: SWAP1 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x03 00000557: PUSH1 0x20 00000559: MSTORE 0000055a: PUSH1 0x40 0000055c: SWAP1 0000055d: KECCAK256 0000055e: SLOAD 0000055f: PUSH1 0xff 00000561: AND 00000562: ISZERO 00000563: ISZERO 00000564: PUSH1 0x01 00000566: EQ 00000567: DUP1 00000568: ISZERO 00000569: PUSH2 0x0595 0000056c: JUMPI 0000056d: POP 0000056e: PUSH1 0x01 00000570: PUSH1 0xa0 00000572: PUSH1 0x02 00000574: EXP 00000575: SUB 00000576: DUP2 00000577: AND 00000578: PUSH1 0x00 0000057a: SWAP1 0000057b: DUP2 0000057c: MSTORE 0000057d: PUSH1 0x07 0000057f: PUSH1 0x20 00000581: MSTORE 00000582: PUSH1 0x40 00000584: SWAP1 00000585: KECCAK256 00000586: SLOAD 00000587: PUSH8 0x0de0b6b3a7640000 00000590: SWAP1 00000591: DUP4 00000592: ADD 00000593: GT 00000594: ISZERO 00000595: JUMPDEST 00000596: ISZERO 00000597: ISZERO 00000598: PUSH2 0x05a0 0000059b: JUMPI 0000059c: PUSH1 0x00 0000059e: DUP1 0000059f: REVERT 000005a0: JUMPDEST 000005a1: PUSH1 0x01 000005a3: PUSH1 0xa0 000005a5: PUSH1 0x02 000005a7: EXP 000005a8: SUB 000005a9: DUP2 000005aa: AND 000005ab: PUSH1 0x00 000005ad: SWAP1 000005ae: DUP2 000005af: MSTORE 000005b0: PUSH1 0x07 000005b2: PUSH1 0x20 000005b4: MSTORE 000005b5: PUSH1 0x40 000005b7: SWAP1 000005b8: KECCAK256 000005b9: SLOAD 000005ba: PUSH2 0x05c3 000005bd: SWAP1 000005be: DUP4 000005bf: PUSH2 0x1555 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH1 0x01 000005c6: PUSH1 0xa0 000005c8: PUSH1 0x02 000005ca: EXP 000005cb: SUB 000005cc: DUP3 000005cd: AND 000005ce: PUSH1 0x00 000005d0: SWAP1 000005d1: DUP2 000005d2: MSTORE 000005d3: PUSH1 0x07 000005d5: PUSH1 0x20 000005d7: MSTORE 000005d8: PUSH1 0x40 000005da: SWAP1 000005db: KECCAK256 000005dc: SSTORE 000005dd: CALLER 000005de: SWAP10 000005df: POP 000005e0: PUSH2 0x05ea 000005e3: DUP14 000005e4: PUSH1 0x05 000005e6: PUSH2 0x156b 000005e9: JUMP 000005ea: JUMPDEST 000005eb: SWAP9 000005ec: POP 000005ed: PUSH2 0x05f7 000005f0: DUP10 000005f1: PUSH1 0x03 000005f3: PUSH2 0x156b 000005f6: JUMP 000005f7: JUMPDEST 000005f8: SWAP8 000005f9: POP 000005fa: PUSH2 0x0603 000005fd: DUP10 000005fe: DUP10 000005ff: PUSH2 0x1582 00000602: JUMP 00000603: JUMPDEST 00000604: SWAP7 00000605: POP 00000606: PUSH2 0x060f 00000609: DUP14 0000060a: DUP11 0000060b: PUSH2 0x1582 0000060e: JUMP 0000060f: JUMPDEST 00000610: SWAP6 00000611: POP 00000612: PUSH2 0x061a 00000615: DUP7 00000616: PUSH2 0x1594 00000619: JUMP 0000061a: JUMPDEST 0000061b: SWAP5 0000061c: POP 0000061d: PUSH1 0x40 0000061f: PUSH1 0x02 00000621: EXP 00000622: DUP8 00000623: MUL 00000624: SWAP4 00000625: POP 00000626: PUSH1 0x00 00000628: DUP6 00000629: GT 0000062a: DUP1 0000062b: ISZERO 0000062c: PUSH2 0x063f 0000062f: JUMPI 00000630: POP 00000631: PUSH1 0x08 00000633: SLOAD 00000634: PUSH2 0x063d 00000637: DUP7 00000638: DUP3 00000639: PUSH2 0x1555 0000063c: JUMP 0000063d: JUMPDEST 0000063e: GT 0000063f: JUMPDEST 00000640: ISZERO 00000641: ISZERO 00000642: PUSH2 0x064a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: DUP1 00000649: REVERT 0000064a: JUMPDEST 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: PUSH1 0x02 00000651: EXP 00000652: SUB 00000653: DUP13 00000654: AND 00000655: ISZERO 00000656: DUP1 00000657: ISZERO 00000658: SWAP1 00000659: PUSH2 0x0674 0000065c: JUMPI 0000065d: POP 0000065e: DUP10 0000065f: PUSH1 0x01 00000661: PUSH1 0xa0 00000663: PUSH1 0x02 00000665: EXP 00000666: SUB 00000667: AND 00000668: DUP13 00000669: PUSH1 0x01 0000066b: PUSH1 0xa0 0000066d: PUSH1 0x02 0000066f: EXP 00000670: SUB 00000671: AND 00000672: EQ 00000673: ISZERO 00000674: JUMPDEST 00000675: DUP1 00000676: ISZERO 00000677: PUSH2 0x069a 0000067a: JUMPI 0000067b: POP 0000067c: PUSH1 0x02 0000067e: SLOAD 0000067f: PUSH1 0x01 00000681: PUSH1 0xa0 00000683: PUSH1 0x02 00000685: EXP 00000686: SUB 00000687: DUP14 00000688: AND 00000689: PUSH1 0x00 0000068b: SWAP1 0000068c: DUP2 0000068d: MSTORE 0000068e: PUSH1 0x04 00000690: PUSH1 0x20 00000692: MSTORE 00000693: PUSH1 0x40 00000695: SWAP1 00000696: KECCAK256 00000697: SLOAD 00000698: LT 00000699: ISZERO 0000069a: JUMPDEST 0000069b: ISZERO 0000069c: PUSH2 0x06e0 0000069f: JUMPI 000006a0: PUSH1 0x01 000006a2: PUSH1 0xa0 000006a4: PUSH1 0x02 000006a6: EXP 000006a7: SUB 000006a8: DUP13 000006a9: AND 000006aa: PUSH1 0x00 000006ac: SWAP1 000006ad: DUP2 000006ae: MSTORE 000006af: PUSH1 0x05 000006b1: PUSH1 0x20 000006b3: MSTORE 000006b4: PUSH1 0x40 000006b6: SWAP1 000006b7: KECCAK256 000006b8: SLOAD 000006b9: PUSH2 0x06c2 000006bc: SWAP1 000006bd: DUP10 000006be: PUSH2 0x1555 000006c1: JUMP 000006c2: JUMPDEST 000006c3: PUSH1 0x01 000006c5: PUSH1 0xa0 000006c7: PUSH1 0x02 000006c9: EXP 000006ca: SUB 000006cb: DUP14 000006cc: AND 000006cd: PUSH1 0x00 000006cf: SWAP1 000006d0: DUP2 000006d1: MSTORE 000006d2: PUSH1 0x05 000006d4: PUSH1 0x20 000006d6: MSTORE 000006d7: PUSH1 0x40 000006d9: SWAP1 000006da: KECCAK256 000006db: SSTORE 000006dc: PUSH2 0x06f6 000006df: JUMP 000006e0: JUMPDEST 000006e1: PUSH2 0x06ea 000006e4: DUP8 000006e5: DUP10 000006e6: PUSH2 0x1555 000006e9: JUMP 000006ea: JUMPDEST 000006eb: SWAP7 000006ec: POP 000006ed: PUSH1 0x40 000006ef: PUSH1 0x02 000006f1: EXP 000006f2: DUP8 000006f3: MUL 000006f4: SWAP4 000006f5: POP 000006f6: JUMPDEST 000006f7: PUSH1 0x00 000006f9: PUSH1 0x08 000006fb: SLOAD 000006fc: GT 000006fd: ISZERO 000006fe: PUSH2 0x0750 00000701: JUMPI 00000702: PUSH2 0x070d 00000705: PUSH1 0x08 00000707: SLOAD 00000708: DUP7 00000709: PUSH2 0x1555 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH1 0x08 00000710: DUP2 00000711: SWAP1 00000712: SSTORE 00000713: PUSH1 0x40 00000715: PUSH1 0x02 00000717: EXP 00000718: DUP9 00000719: MUL 0000071a: DUP2 0000071b: ISZERO 0000071c: ISZERO 0000071d: PUSH2 0x0722 00000720: JUMPI 00000721: INVALID 00000722: JUMPDEST 00000723: PUSH1 0x09 00000725: DUP1 00000726: SLOAD 00000727: SWAP3 00000728: SWAP1 00000729: SWAP2 0000072a: DIV 0000072b: SWAP1 0000072c: SWAP2 0000072d: ADD 0000072e: SWAP1 0000072f: SSTORE 00000730: PUSH1 0x08 00000732: SLOAD 00000733: PUSH1 0x40 00000735: PUSH1 0x02 00000737: EXP 00000738: DUP9 00000739: MUL 0000073a: DUP2 0000073b: ISZERO 0000073c: ISZERO 0000073d: PUSH2 0x0742 00000740: JUMPI 00000741: INVALID 00000742: JUMPDEST 00000743: DIV 00000744: DUP6 00000745: MUL 00000746: DUP5 00000747: SUB 00000748: DUP5 00000749: SUB 0000074a: SWAP4 0000074b: POP 0000074c: PUSH2 0x0756 0000074f: JUMP 00000750: JUMPDEST 00000751: PUSH1 0x08 00000753: DUP6 00000754: SWAP1 00000755: SSTORE 00000756: JUMPDEST 00000757: PUSH1 0x01 00000759: PUSH1 0xa0 0000075b: PUSH1 0x02 0000075d: EXP 0000075e: SUB 0000075f: DUP11 00000760: AND 00000761: PUSH1 0x00 00000763: SWAP1 00000764: DUP2 00000765: MSTORE 00000766: PUSH1 0x04 00000768: PUSH1 0x20 0000076a: MSTORE 0000076b: PUSH1 0x40 0000076d: SWAP1 0000076e: KECCAK256 0000076f: SLOAD 00000770: PUSH2 0x0779 00000773: SWAP1 00000774: DUP7 00000775: PUSH2 0x1555 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH1 0x04 0000077c: PUSH1 0x00 0000077e: DUP13 0000077f: PUSH1 0x01 00000781: PUSH1 0xa0 00000783: PUSH1 0x02 00000785: EXP 00000786: SUB 00000787: AND 00000788: PUSH1 0x01 0000078a: PUSH1 0xa0 0000078c: PUSH1 0x02 0000078e: EXP 0000078f: SUB 00000790: AND 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x20 00000795: ADD 00000796: SWAP1 00000797: DUP2 00000798: MSTORE 00000799: PUSH1 0x20 0000079b: ADD 0000079c: PUSH1 0x00 0000079e: KECCAK256 0000079f: DUP2 000007a0: SWAP1 000007a1: SSTORE 000007a2: POP 000007a3: DUP4 000007a4: DUP6 000007a5: PUSH1 0x09 000007a7: SLOAD 000007a8: MUL 000007a9: SUB 000007aa: SWAP3 000007ab: POP 000007ac: DUP3 000007ad: PUSH1 0x06 000007af: PUSH1 0x00 000007b1: DUP13 000007b2: PUSH1 0x01 000007b4: PUSH1 0xa0 000007b6: PUSH1 0x02 000007b8: EXP 000007b9: SUB 000007ba: AND 000007bb: PUSH1 0x01 000007bd: PUSH1 0xa0 000007bf: PUSH1 0x02 000007c1: EXP 000007c2: SUB 000007c3: AND 000007c4: DUP2 000007c5: MSTORE 000007c6: PUSH1 0x20 000007c8: ADD 000007c9: SWAP1 000007ca: DUP2 000007cb: MSTORE 000007cc: PUSH1 0x20 000007ce: ADD 000007cf: PUSH1 0x00 000007d1: KECCAK256 000007d2: PUSH1 0x00 000007d4: DUP3 000007d5: DUP3 000007d6: SLOAD 000007d7: ADD 000007d8: SWAP3 000007d9: POP 000007da: POP 000007db: DUP2 000007dc: SWAP1 000007dd: SSTORE 000007de: POP 000007df: DUP12 000007e0: PUSH1 0x01 000007e2: PUSH1 0xa0 000007e4: PUSH1 0x02 000007e6: EXP 000007e7: SUB 000007e8: AND 000007e9: DUP11 000007ea: PUSH1 0x01 000007ec: PUSH1 0xa0 000007ee: PUSH1 0x02 000007f0: EXP 000007f1: SUB 000007f2: AND 000007f3: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000814: DUP16 00000815: DUP9 00000816: PUSH1 0x40 00000818: MLOAD 00000819: SWAP2 0000081a: DUP3 0000081b: MSTORE 0000081c: PUSH1 0x20 0000081e: DUP3 0000081f: ADD 00000820: MSTORE 00000821: PUSH1 0x40 00000823: SWAP1 00000824: DUP2 00000825: ADD 00000826: SWAP1 00000827: MLOAD 00000828: DUP1 00000829: SWAP2 0000082a: SUB 0000082b: SWAP1 0000082c: LOG3 0000082d: DUP5 0000082e: SWAP11 0000082f: POP 00000830: PUSH2 0x0a92 00000833: JUMP 00000834: JUMPDEST 00000835: PUSH1 0x0b 00000837: DUP1 00000838: SLOAD 00000839: PUSH1 0xff 0000083b: NOT 0000083c: AND 0000083d: SWAP1 0000083e: SSTORE 0000083f: CALLER 00000840: SWAP10 00000841: POP 00000842: PUSH2 0x084c 00000845: DUP14 00000846: PUSH1 0x05 00000848: PUSH2 0x156b 0000084b: JUMP 0000084c: JUMPDEST 0000084d: SWAP9 0000084e: POP 0000084f: PUSH2 0x0859 00000852: DUP10 00000853: PUSH1 0x03 00000855: PUSH2 0x156b 00000858: JUMP 00000859: JUMPDEST 0000085a: SWAP8 0000085b: POP 0000085c: PUSH2 0x0865 0000085f: DUP10 00000860: DUP10 00000861: PUSH2 0x1582 00000864: JUMP 00000865: JUMPDEST 00000866: SWAP7 00000867: POP 00000868: PUSH2 0x0871 0000086b: DUP14 0000086c: DUP11 0000086d: PUSH2 0x1582 00000870: JUMP 00000871: JUMPDEST 00000872: SWAP6 00000873: POP 00000874: PUSH2 0x087c 00000877: DUP7 00000878: PUSH2 0x1594 0000087b: JUMP 0000087c: JUMPDEST 0000087d: SWAP5 0000087e: POP 0000087f: PUSH1 0x40 00000881: PUSH1 0x02 00000883: EXP 00000884: DUP8 00000885: MUL 00000886: SWAP4 00000887: POP 00000888: PUSH1 0x00 0000088a: DUP6 0000088b: GT 0000088c: DUP1 0000088d: ISZERO 0000088e: PUSH2 0x08a1 00000891: JUMPI 00000892: POP 00000893: PUSH1 0x08 00000895: SLOAD 00000896: PUSH2 0x089f 00000899: DUP7 0000089a: DUP3 0000089b: PUSH2 0x1555 0000089e: JUMP 0000089f: JUMPDEST 000008a0: GT 000008a1: JUMPDEST 000008a2: ISZERO 000008a3: ISZERO 000008a4: PUSH2 0x08ac 000008a7: JUMPI 000008a8: PUSH1 0x00 000008aa: DUP1 000008ab: REVERT 000008ac: JUMPDEST 000008ad: PUSH1 0x01 000008af: PUSH1 0xa0 000008b1: PUSH1 0x02 000008b3: EXP 000008b4: SUB 000008b5: DUP13 000008b6: AND 000008b7: ISZERO 000008b8: DUP1 000008b9: ISZERO 000008ba: SWAP1 000008bb: PUSH2 0x08d6 000008be: JUMPI 000008bf: POP 000008c0: DUP10 000008c1: PUSH1 0x01 000008c3: PUSH1 0xa0 000008c5: PUSH1 0x02 000008c7: EXP 000008c8: SUB 000008c9: AND 000008ca: DUP13 000008cb: PUSH1 0x01 000008cd: PUSH1 0xa0 000008cf: PUSH1 0x02 000008d1: EXP 000008d2: SUB 000008d3: AND 000008d4: EQ 000008d5: ISZERO 000008d6: JUMPDEST 000008d7: DUP1 000008d8: ISZERO 000008d9: PUSH2 0x08fc 000008dc: JUMPI 000008dd: POP 000008de: PUSH1 0x02 000008e0: SLOAD 000008e1: PUSH1 0x01 000008e3: PUSH1 0xa0 000008e5: PUSH1 0x02 000008e7: EXP 000008e8: SUB 000008e9: DUP14 000008ea: AND 000008eb: PUSH1 0x00 000008ed: SWAP1 000008ee: DUP2 000008ef: MSTORE 000008f0: PUSH1 0x04 000008f2: PUSH1 0x20 000008f4: MSTORE 000008f5: PUSH1 0x40 000008f7: SWAP1 000008f8: KECCAK256 000008f9: SLOAD 000008fa: LT 000008fb: ISZERO 000008fc: JUMPDEST 000008fd: ISZERO 000008fe: PUSH2 0x0942 00000901: JUMPI 00000902: PUSH1 0x01 00000904: PUSH1 0xa0 00000906: PUSH1 0x02 00000908: EXP 00000909: SUB 0000090a: DUP13 0000090b: AND 0000090c: PUSH1 0x00 0000090e: SWAP1 0000090f: DUP2 00000910: MSTORE 00000911: PUSH1 0x05 00000913: PUSH1 0x20 00000915: MSTORE 00000916: PUSH1 0x40 00000918: SWAP1 00000919: KECCAK256 0000091a: SLOAD 0000091b: PUSH2 0x0924 0000091e: SWAP1 0000091f: DUP10 00000920: PUSH2 0x1555 00000923: JUMP 00000924: JUMPDEST 00000925: PUSH1 0x01 00000927: PUSH1 0xa0 00000929: PUSH1 0x02 0000092b: EXP 0000092c: SUB 0000092d: DUP14 0000092e: AND 0000092f: PUSH1 0x00 00000931: SWAP1 00000932: DUP2 00000933: MSTORE 00000934: PUSH1 0x05 00000936: PUSH1 0x20 00000938: MSTORE 00000939: PUSH1 0x40 0000093b: SWAP1 0000093c: KECCAK256 0000093d: SSTORE 0000093e: PUSH2 0x0958 00000941: JUMP 00000942: JUMPDEST 00000943: PUSH2 0x094c 00000946: DUP8 00000947: DUP10 00000948: PUSH2 0x1555 0000094b: JUMP 0000094c: JUMPDEST 0000094d: SWAP7 0000094e: POP 0000094f: PUSH1 0x40 00000951: PUSH1 0x02 00000953: EXP 00000954: DUP8 00000955: MUL 00000956: SWAP4 00000957: POP 00000958: JUMPDEST 00000959: PUSH1 0x00 0000095b: PUSH1 0x08 0000095d: SLOAD 0000095e: GT 0000095f: ISZERO 00000960: PUSH2 0x09b2 00000963: JUMPI 00000964: PUSH2 0x096f 00000967: PUSH1 0x08 00000969: SLOAD 0000096a: DUP7 0000096b: PUSH2 0x1555 0000096e: JUMP 0000096f: JUMPDEST 00000970: PUSH1 0x08 00000972: DUP2 00000973: SWAP1 00000974: SSTORE 00000975: PUSH1 0x40 00000977: PUSH1 0x02 00000979: EXP 0000097a: DUP9 0000097b: MUL 0000097c: DUP2 0000097d: ISZERO 0000097e: ISZERO 0000097f: PUSH2 0x0984 00000982: JUMPI 00000983: INVALID 00000984: JUMPDEST 00000985: PUSH1 0x09 00000987: DUP1 00000988: SLOAD 00000989: SWAP3 0000098a: SWAP1 0000098b: SWAP2 0000098c: DIV 0000098d: SWAP1 0000098e: SWAP2 0000098f: ADD 00000990: SWAP1 00000991: SSTORE 00000992: PUSH1 0x08 00000994: SLOAD 00000995: PUSH1 0x40 00000997: PUSH1 0x02 00000999: EXP 0000099a: DUP9 0000099b: MUL 0000099c: DUP2 0000099d: ISZERO 0000099e: ISZERO 0000099f: PUSH2 0x09a4 000009a2: JUMPI 000009a3: INVALID 000009a4: JUMPDEST 000009a5: DIV 000009a6: DUP6 000009a7: MUL 000009a8: DUP5 000009a9: SUB 000009aa: DUP5 000009ab: SUB 000009ac: SWAP4 000009ad: POP 000009ae: PUSH2 0x09b8 000009b1: JUMP 000009b2: JUMPDEST 000009b3: PUSH1 0x08 000009b5: DUP6 000009b6: SWAP1 000009b7: SSTORE 000009b8: JUMPDEST 000009b9: PUSH1 0x01 000009bb: PUSH1 0xa0 000009bd: PUSH1 0x02 000009bf: EXP 000009c0: SUB 000009c1: DUP11 000009c2: AND 000009c3: PUSH1 0x00 000009c5: SWAP1 000009c6: DUP2 000009c7: MSTORE 000009c8: PUSH1 0x04 000009ca: PUSH1 0x20 000009cc: MSTORE 000009cd: PUSH1 0x40 000009cf: SWAP1 000009d0: KECCAK256 000009d1: SLOAD 000009d2: PUSH2 0x09db 000009d5: SWAP1 000009d6: DUP7 000009d7: PUSH2 0x1555 000009da: JUMP 000009db: JUMPDEST 000009dc: PUSH1 0x04 000009de: PUSH1 0x00 000009e0: DUP13 000009e1: PUSH1 0x01 000009e3: PUSH1 0xa0 000009e5: PUSH1 0x02 000009e7: EXP 000009e8: SUB 000009e9: AND 000009ea: PUSH1 0x01 000009ec: PUSH1 0xa0 000009ee: PUSH1 0x02 000009f0: EXP 000009f1: SUB 000009f2: AND 000009f3: DUP2 000009f4: MSTORE 000009f5: PUSH1 0x20 000009f7: ADD 000009f8: SWAP1 000009f9: DUP2 000009fa: MSTORE 000009fb: PUSH1 0x20 000009fd: ADD 000009fe: PUSH1 0x00 00000a00: KECCAK256 00000a01: DUP2 00000a02: SWAP1 00000a03: SSTORE 00000a04: POP 00000a05: DUP4 00000a06: DUP6 00000a07: PUSH1 0x09 00000a09: SLOAD 00000a0a: MUL 00000a0b: SUB 00000a0c: SWAP3 00000a0d: POP 00000a0e: DUP3 00000a0f: PUSH1 0x06 00000a11: PUSH1 0x00 00000a13: DUP13 00000a14: PUSH1 0x01 00000a16: PUSH1 0xa0 00000a18: PUSH1 0x02 00000a1a: EXP 00000a1b: SUB 00000a1c: AND 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0xa0 00000a21: PUSH1 0x02 00000a23: EXP 00000a24: SUB 00000a25: AND 00000a26: DUP2 00000a27: MSTORE 00000a28: PUSH1 0x20 00000a2a: ADD 00000a2b: SWAP1 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: PUSH1 0x20 00000a30: ADD 00000a31: PUSH1 0x00 00000a33: KECCAK256 00000a34: PUSH1 0x00 00000a36: DUP3 00000a37: DUP3 00000a38: SLOAD 00000a39: ADD 00000a3a: SWAP3 00000a3b: POP 00000a3c: POP 00000a3d: DUP2 00000a3e: SWAP1 00000a3f: SSTORE 00000a40: POP 00000a41: DUP12 00000a42: PUSH1 0x01 00000a44: PUSH1 0xa0 00000a46: PUSH1 0x02 00000a48: EXP 00000a49: SUB 00000a4a: AND 00000a4b: DUP11 00000a4c: PUSH1 0x01 00000a4e: PUSH1 0xa0 00000a50: PUSH1 0x02 00000a52: EXP 00000a53: SUB 00000a54: AND 00000a55: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000a76: DUP16 00000a77: DUP9 00000a78: PUSH1 0x40 00000a7a: MLOAD 00000a7b: SWAP2 00000a7c: DUP3 00000a7d: MSTORE 00000a7e: PUSH1 0x20 00000a80: DUP3 00000a81: ADD 00000a82: MSTORE 00000a83: PUSH1 0x40 00000a85: SWAP1 00000a86: DUP2 00000a87: ADD 00000a88: SWAP1 00000a89: MLOAD 00000a8a: DUP1 00000a8b: SWAP2 00000a8c: SUB 00000a8d: SWAP1 00000a8e: LOG3 00000a8f: DUP5 00000a90: SWAP11 00000a91: POP 00000a92: JUMPDEST 00000a93: POP 00000a94: POP 00000a95: POP 00000a96: POP 00000a97: POP 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: SWAP3 00000a9e: SWAP2 00000a9f: POP 00000aa0: POP 00000aa1: JUMP 00000aa2: JUMPDEST 00000aa3: PUSH1 0x01 00000aa5: PUSH1 0xa0 00000aa7: PUSH1 0x02 00000aa9: EXP 00000aaa: SUB 00000aab: AND 00000aac: PUSH1 0x00 00000aae: SWAP1 00000aaf: DUP2 00000ab0: MSTORE 00000ab1: PUSH1 0x06 00000ab3: PUSH1 0x20 00000ab5: SWAP1 00000ab6: DUP2 00000ab7: MSTORE 00000ab8: PUSH1 0x40 00000aba: DUP1 00000abb: DUP4 00000abc: KECCAK256 00000abd: SLOAD 00000abe: PUSH1 0x04 00000ac0: SWAP1 00000ac1: SWAP3 00000ac2: MSTORE 00000ac3: SWAP1 00000ac4: SWAP2 00000ac5: KECCAK256 00000ac6: SLOAD 00000ac7: PUSH1 0x09 00000ac9: SLOAD 00000aca: PUSH1 0x40 00000acc: PUSH1 0x02 00000ace: EXP 00000acf: SWAP2 00000ad0: MUL 00000ad1: SWAP2 00000ad2: SWAP1 00000ad3: SWAP2 00000ad4: SUB 00000ad5: DIV 00000ad6: SWAP1 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: PUSH1 0x00 00000adb: DUP1 00000adc: SLOAD 00000add: PUSH1 0x01 00000adf: DUP2 00000ae0: PUSH1 0x01 00000ae2: AND 00000ae3: ISZERO 00000ae4: PUSH2 0x0100 00000ae7: MUL 00000ae8: SUB 00000ae9: AND 00000aea: PUSH1 0x02 00000aec: SWAP1 00000aed: DIV 00000aee: DUP1 00000aef: PUSH1 0x1f 00000af1: ADD 00000af2: PUSH1 0x20 00000af4: DUP1 00000af5: SWAP2 00000af6: DIV 00000af7: MUL 00000af8: PUSH1 0x20 00000afa: ADD 00000afb: PUSH1 0x40 00000afd: MLOAD 00000afe: SWAP1 00000aff: DUP2 00000b00: ADD 00000b01: PUSH1 0x40 00000b03: MSTORE 00000b04: DUP1 00000b05: SWAP3 00000b06: SWAP2 00000b07: SWAP1 00000b08: DUP2 00000b09: DUP2 00000b0a: MSTORE 00000b0b: PUSH1 0x20 00000b0d: ADD 00000b0e: DUP3 00000b0f: DUP1 00000b10: SLOAD 00000b11: PUSH1 0x01 00000b13: DUP2 00000b14: PUSH1 0x01 00000b16: AND 00000b17: ISZERO 00000b18: PUSH2 0x0100 00000b1b: MUL 00000b1c: SUB 00000b1d: AND 00000b1e: PUSH1 0x02 00000b20: SWAP1 00000b21: DIV 00000b22: DUP1 00000b23: ISZERO 00000b24: PUSH2 0x0b6e 00000b27: JUMPI 00000b28: DUP1 00000b29: PUSH1 0x1f 00000b2b: LT 00000b2c: PUSH2 0x0b43 00000b2f: JUMPI 00000b30: PUSH2 0x0100 00000b33: DUP1 00000b34: DUP4 00000b35: SLOAD 00000b36: DIV 00000b37: MUL 00000b38: DUP4 00000b39: MSTORE 00000b3a: SWAP2 00000b3b: PUSH1 0x20 00000b3d: ADD 00000b3e: SWAP2 00000b3f: PUSH2 0x0b6e 00000b42: JUMP 00000b43: JUMPDEST 00000b44: DUP3 00000b45: ADD 00000b46: SWAP2 00000b47: SWAP1 00000b48: PUSH1 0x00 00000b4a: MSTORE 00000b4b: PUSH1 0x20 00000b4d: PUSH1 0x00 00000b4f: KECCAK256 00000b50: SWAP1 00000b51: JUMPDEST 00000b52: DUP2 00000b53: SLOAD 00000b54: DUP2 00000b55: MSTORE 00000b56: SWAP1 00000b57: PUSH1 0x01 00000b59: ADD 00000b5a: SWAP1 00000b5b: PUSH1 0x20 00000b5d: ADD 00000b5e: DUP1 00000b5f: DUP4 00000b60: GT 00000b61: PUSH2 0x0b51 00000b64: JUMPI 00000b65: DUP3 00000b66: SWAP1 00000b67: SUB 00000b68: PUSH1 0x1f 00000b6a: AND 00000b6b: DUP3 00000b6c: ADD 00000b6d: SWAP2 00000b6e: JUMPDEST 00000b6f: POP 00000b70: POP 00000b71: POP 00000b72: POP 00000b73: POP 00000b74: DUP2 00000b75: JUMP 00000b76: JUMPDEST 00000b77: PUSH1 0x00 00000b79: DUP1 00000b7a: DUP1 00000b7b: DUP1 00000b7c: PUSH2 0x0b86 00000b7f: DUP6 00000b80: PUSH1 0x05 00000b82: PUSH2 0x156b 00000b85: JUMP 00000b86: JUMPDEST 00000b87: SWAP3 00000b88: POP 00000b89: PUSH2 0x0b92 00000b8c: DUP6 00000b8d: DUP5 00000b8e: PUSH2 0x1582 00000b91: JUMP 00000b92: JUMPDEST 00000b93: SWAP2 00000b94: POP 00000b95: PUSH2 0x0b9d 00000b98: DUP3 00000b99: PUSH2 0x1594 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: SWAP6 00000b9f: SWAP5 00000ba0: POP 00000ba1: POP 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: JUMP 00000ba6: JUMPDEST 00000ba7: PUSH1 0x08 00000ba9: SLOAD 00000baa: JUMPDEST 00000bab: SWAP1 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH1 0x00 00000bb0: DUP1 00000bb1: PUSH1 0x00 00000bb3: DUP1 00000bb4: PUSH1 0x08 00000bb6: SLOAD 00000bb7: DUP6 00000bb8: GT 00000bb9: ISZERO 00000bba: ISZERO 00000bbb: ISZERO 00000bbc: PUSH2 0x0bc4 00000bbf: JUMPI 00000bc0: PUSH1 0x00 00000bc2: DUP1 00000bc3: REVERT 00000bc4: JUMPDEST 00000bc5: PUSH2 0x0bcd 00000bc8: DUP6 00000bc9: PUSH2 0x162c 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: SWAP3 00000bcf: POP 00000bd0: PUSH2 0x0bda 00000bd3: DUP4 00000bd4: PUSH1 0x05 00000bd6: PUSH2 0x156b 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: SWAP2 00000bdc: POP 00000bdd: PUSH2 0x0b9d 00000be0: DUP4 00000be1: DUP4 00000be2: PUSH2 0x1582 00000be5: JUMP 00000be6: JUMPDEST 00000be7: PUSH1 0x0b 00000be9: SLOAD 00000bea: PUSH1 0xff 00000bec: AND 00000bed: DUP2 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: PUSH1 0x12 00000bf2: DUP2 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH1 0x0a 00000bf7: PUSH1 0x20 00000bf9: MSTORE 00000bfa: PUSH1 0x00 00000bfc: SWAP1 00000bfd: DUP2 00000bfe: MSTORE 00000bff: PUSH1 0x40 00000c01: SWAP1 00000c02: KECCAK256 00000c03: SLOAD 00000c04: PUSH1 0xff 00000c06: AND 00000c07: DUP2 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x00 00000c0c: DUP1 00000c0d: PUSH1 0x00 00000c0f: PUSH2 0x0c18 00000c12: PUSH1 0x01 00000c14: PUSH2 0x0d2a 00000c17: JUMP 00000c18: JUMPDEST 00000c19: GT 00000c1a: PUSH2 0x0c22 00000c1d: JUMPI 00000c1e: PUSH1 0x00 00000c20: DUP1 00000c21: REVERT 00000c22: JUMPDEST 00000c23: CALLER 00000c24: SWAP2 00000c25: POP 00000c26: PUSH2 0x0c2f 00000c29: PUSH1 0x00 00000c2b: PUSH2 0x0d2a 00000c2e: JUMP 00000c2f: JUMPDEST 00000c30: PUSH1 0x01 00000c32: PUSH1 0xa0 00000c34: PUSH1 0x02 00000c36: EXP 00000c37: SUB 00000c38: DUP4 00000c39: AND 00000c3a: PUSH1 0x00 00000c3c: DUP2 00000c3d: DUP2 00000c3e: MSTORE 00000c3f: PUSH1 0x06 00000c41: PUSH1 0x20 00000c43: SWAP1 00000c44: DUP2 00000c45: MSTORE 00000c46: PUSH1 0x40 00000c48: DUP1 00000c49: DUP4 00000c4a: KECCAK256 00000c4b: DUP1 00000c4c: SLOAD 00000c4d: PUSH1 0x40 00000c4f: PUSH1 0x02 00000c51: EXP 00000c52: DUP8 00000c53: MUL 00000c54: ADD 00000c55: SWAP1 00000c56: SSTORE 00000c57: PUSH1 0x05 00000c59: SWAP1 00000c5a: SWAP2 00000c5b: MSTORE 00000c5c: DUP1 00000c5d: DUP3 00000c5e: KECCAK256 00000c5f: DUP1 00000c60: SLOAD 00000c61: SWAP3 00000c62: SWAP1 00000c63: SSTORE 00000c64: SWAP3 00000c65: ADD 00000c66: SWAP3 00000c67: POP 00000c68: SWAP1 00000c69: DUP3 00000c6a: ISZERO 00000c6b: PUSH2 0x08fc 00000c6e: MUL 00000c6f: SWAP1 00000c70: DUP4 00000c71: SWAP1 00000c72: MLOAD 00000c73: PUSH1 0x00 00000c75: PUSH1 0x40 00000c77: MLOAD 00000c78: DUP1 00000c79: DUP4 00000c7a: SUB 00000c7b: DUP2 00000c7c: DUP6 00000c7d: DUP9 00000c7e: DUP9 00000c7f: CALL 00000c80: SWAP4 00000c81: POP 00000c82: POP 00000c83: POP 00000c84: POP 00000c85: ISZERO 00000c86: ISZERO 00000c87: PUSH2 0x0c8f 00000c8a: JUMPI 00000c8b: PUSH1 0x00 00000c8d: DUP1 00000c8e: REVERT 00000c8f: JUMPDEST 00000c90: DUP2 00000c91: PUSH1 0x01 00000c93: PUSH1 0xa0 00000c95: PUSH1 0x02 00000c97: EXP 00000c98: SUB 00000c99: AND 00000c9a: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000cbb: DUP3 00000cbc: PUSH1 0x40 00000cbe: MLOAD 00000cbf: SWAP1 00000cc0: DUP2 00000cc1: MSTORE 00000cc2: PUSH1 0x20 00000cc4: ADD 00000cc5: PUSH1 0x40 00000cc7: MLOAD 00000cc8: DUP1 00000cc9: SWAP2 00000cca: SUB 00000ccb: SWAP1 00000ccc: LOG2 00000ccd: POP 00000cce: POP 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: PUSH1 0x00 00000cd3: DUP1 00000cd4: PUSH1 0x00 00000cd6: DUP1 00000cd7: PUSH1 0x08 00000cd9: SLOAD 00000cda: PUSH1 0x00 00000cdc: EQ 00000cdd: ISZERO 00000cde: PUSH2 0x0cee 00000ce1: JUMPI 00000ce2: PUSH5 0x14f46b0400 00000ce8: SWAP4 00000ce9: POP 00000cea: PUSH2 0x0d1e 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH2 0x0cff 00000cf2: PUSH8 0x0de0b6b3a7640000 00000cfb: PUSH2 0x162c 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: SWAP3 00000d01: POP 00000d02: PUSH2 0x0d0c 00000d05: DUP4 00000d06: PUSH1 0x05 00000d08: PUSH2 0x156b 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: SWAP2 00000d0e: POP 00000d0f: PUSH2 0x0d18 00000d12: DUP4 00000d13: DUP4 00000d14: PUSH2 0x1582 00000d17: JUMP 00000d18: JUMPDEST 00000d19: SWAP1 00000d1a: POP 00000d1b: DUP1 00000d1c: SWAP4 00000d1d: POP 00000d1e: JUMPDEST 00000d1f: POP 00000d20: POP 00000d21: POP 00000d22: SWAP1 00000d23: JUMP 00000d24: JUMPDEST 00000d25: PUSH1 0x02 00000d27: SLOAD 00000d28: DUP2 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x00 00000d2d: CALLER 00000d2e: DUP3 00000d2f: PUSH2 0x0d40 00000d32: JUMPI 00000d33: PUSH2 0x0d3b 00000d36: DUP2 00000d37: PUSH2 0x0aa2 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH2 0x0d64 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: PUSH1 0x01 00000d43: PUSH1 0xa0 00000d45: PUSH1 0x02 00000d47: EXP 00000d48: SUB 00000d49: DUP2 00000d4a: AND 00000d4b: PUSH1 0x00 00000d4d: SWAP1 00000d4e: DUP2 00000d4f: MSTORE 00000d50: PUSH1 0x05 00000d52: PUSH1 0x20 00000d54: MSTORE 00000d55: PUSH1 0x40 00000d57: SWAP1 00000d58: KECCAK256 00000d59: SLOAD 00000d5a: PUSH2 0x0d62 00000d5d: DUP3 00000d5e: PUSH2 0x0aa2 00000d61: JUMP 00000d62: JUMPDEST 00000d63: ADD 00000d64: JUMPDEST 00000d65: SWAP2 00000d66: POP 00000d67: JUMPDEST 00000d68: POP 00000d69: SWAP2 00000d6a: SWAP1 00000d6b: POP 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: PUSH1 0x01 00000d70: PUSH1 0xa0 00000d72: PUSH1 0x02 00000d74: EXP 00000d75: SUB 00000d76: ADDRESS 00000d77: AND 00000d78: BALANCE 00000d79: SWAP1 00000d7a: JUMP 00000d7b: JUMPDEST 00000d7c: PUSH1 0x01 00000d7e: PUSH1 0x0a 00000d80: PUSH1 0x00 00000d82: PUSH20 0xf2267af68559cd76ee7645cca0e2f2b99cd99da3 00000d97: PUSH1 0x40 00000d99: MLOAD 00000d9a: PUSH1 0x01 00000d9c: PUSH1 0xa0 00000d9e: PUSH1 0x02 00000da0: EXP 00000da1: SUB 00000da2: SWAP2 00000da3: SWAP1 00000da4: SWAP2 00000da5: AND 00000da6: PUSH13 0x01000000000000000000000000 00000db4: MUL 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x14 00000db9: ADD 00000dba: PUSH1 0x40 00000dbc: MLOAD 00000dbd: SWAP1 00000dbe: DUP2 00000dbf: SWAP1 00000dc0: SUB 00000dc1: SWAP1 00000dc2: KECCAK256 00000dc3: DUP2 00000dc4: MSTORE 00000dc5: PUSH1 0x20 00000dc7: DUP1 00000dc8: DUP3 00000dc9: ADD 00000dca: SWAP3 00000dcb: SWAP1 00000dcc: SWAP3 00000dcd: MSTORE 00000dce: PUSH1 0x40 00000dd0: ADD 00000dd1: PUSH1 0x00 00000dd3: SWAP1 00000dd4: DUP2 00000dd5: KECCAK256 00000dd6: DUP1 00000dd7: SLOAD 00000dd8: SWAP4 00000dd9: ISZERO 00000dda: ISZERO 00000ddb: PUSH1 0xff 00000ddd: NOT 00000dde: SWAP5 00000ddf: DUP6 00000de0: AND 00000de1: OR 00000de2: SWAP1 00000de3: SSTORE 00000de4: PUSH1 0x03 00000de6: SWAP1 00000de7: SWAP2 00000de8: MSTORE 00000de9: PUSH32 0x1041a22e67e47949fea47af138addc33486756ccbd5a04db5d9f6e60c66e947d 00000e0a: DUP1 00000e0b: SLOAD 00000e0c: DUP4 00000e0d: AND 00000e0e: PUSH1 0x01 00000e10: SWAP1 00000e11: DUP2 00000e12: OR 00000e13: SWAP1 00000e14: SWAP2 00000e15: SSTORE 00000e16: PUSH32 0xbd58745697957f34150ab981f68aa1717e1bd6aad495a1b0b52de8c4c91908b4 00000e37: DUP1 00000e38: SLOAD 00000e39: DUP5 00000e3a: AND 00000e3b: DUP3 00000e3c: OR 00000e3d: SWAP1 00000e3e: SSTORE 00000e3f: PUSH20 0xac4ca91216edb2c9d59f58e8b3f22275130a8240 00000e54: SWAP1 00000e55: SWAP2 00000e56: MSTORE 00000e57: PUSH32 0x48acf5e904d8a42184c38fe40bb44d21d28b7599a3565024b4fc549244c9da5f 00000e78: DUP1 00000e79: SLOAD 00000e7a: SWAP1 00000e7b: SWAP3 00000e7c: AND 00000e7d: OR 00000e7e: SWAP1 00000e7f: SSTORE 00000e80: JUMP 00000e81: JUMPDEST 00000e82: PUSH1 0x01 00000e84: PUSH1 0xa0 00000e86: PUSH1 0x02 00000e88: EXP 00000e89: SUB 00000e8a: AND 00000e8b: PUSH1 0x00 00000e8d: SWAP1 00000e8e: DUP2 00000e8f: MSTORE 00000e90: PUSH1 0x04 00000e92: PUSH1 0x20 00000e94: MSTORE 00000e95: PUSH1 0x40 00000e97: SWAP1 00000e98: KECCAK256 00000e99: SLOAD 00000e9a: SWAP1 00000e9b: JUMP 00000e9c: JUMPDEST 00000e9d: CALLER 00000e9e: PUSH1 0x0a 00000ea0: PUSH1 0x00 00000ea2: DUP3 00000ea3: PUSH1 0x40 00000ea5: MLOAD 00000ea6: PUSH1 0x01 00000ea8: PUSH1 0xa0 00000eaa: PUSH1 0x02 00000eac: EXP 00000ead: SUB 00000eae: SWAP2 00000eaf: SWAP1 00000eb0: SWAP2 00000eb1: AND 00000eb2: PUSH13 0x01000000000000000000000000 00000ec0: MUL 00000ec1: DUP2 00000ec2: MSTORE 00000ec3: PUSH1 0x14 00000ec5: ADD 00000ec6: PUSH1 0x40 00000ec8: MLOAD 00000ec9: SWAP1 00000eca: DUP2 00000ecb: SWAP1 00000ecc: SUB 00000ecd: SWAP1 00000ece: KECCAK256 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH1 0x20 00000ed3: DUP2 00000ed4: ADD 00000ed5: SWAP2 00000ed6: SWAP1 00000ed7: SWAP2 00000ed8: MSTORE 00000ed9: PUSH1 0x40 00000edb: ADD 00000edc: PUSH1 0x00 00000ede: KECCAK256 00000edf: SLOAD 00000ee0: PUSH1 0xff 00000ee2: AND 00000ee3: ISZERO 00000ee4: ISZERO 00000ee5: PUSH2 0x0eed 00000ee8: JUMPI 00000ee9: PUSH1 0x00 00000eeb: DUP1 00000eec: REVERT 00000eed: JUMPDEST 00000eee: POP 00000eef: PUSH1 0x02 00000ef1: SSTORE 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: PUSH1 0x00 00000ef6: DUP1 00000ef7: PUSH1 0x00 00000ef9: DUP1 00000efa: PUSH1 0x08 00000efc: SLOAD 00000efd: PUSH1 0x00 00000eff: EQ 00000f00: ISZERO 00000f01: PUSH2 0x0f11 00000f04: JUMPI 00000f05: PUSH5 0x199c82cc00 00000f0b: SWAP4 00000f0c: POP 00000f0d: PUSH2 0x0d1e 00000f10: JUMP 00000f11: JUMPDEST 00000f12: PUSH2 0x0f22 00000f15: PUSH8 0x0de0b6b3a7640000 00000f1e: PUSH2 0x162c 00000f21: JUMP 00000f22: JUMPDEST 00000f23: SWAP3 00000f24: POP 00000f25: PUSH2 0x0f2f 00000f28: DUP4 00000f29: PUSH1 0x05 00000f2b: PUSH2 0x156b 00000f2e: JUMP 00000f2f: JUMPDEST 00000f30: SWAP2 00000f31: POP 00000f32: PUSH2 0x0d18 00000f35: DUP4 00000f36: DUP4 00000f37: PUSH2 0x1555 00000f3a: JUMP 00000f3b: JUMPDEST 00000f3c: CALLER 00000f3d: PUSH1 0x0a 00000f3f: PUSH1 0x00 00000f41: DUP3 00000f42: PUSH1 0x40 00000f44: MLOAD 00000f45: PUSH1 0x01 00000f47: PUSH1 0xa0 00000f49: PUSH1 0x02 00000f4b: EXP 00000f4c: SUB 00000f4d: SWAP2 00000f4e: SWAP1 00000f4f: SWAP2 00000f50: AND 00000f51: PUSH13 0x01000000000000000000000000 00000f5f: MUL 00000f60: DUP2 00000f61: MSTORE 00000f62: PUSH1 0x14 00000f64: ADD 00000f65: PUSH1 0x40 00000f67: MLOAD 00000f68: SWAP1 00000f69: DUP2 00000f6a: SWAP1 00000f6b: SUB 00000f6c: SWAP1 00000f6d: KECCAK256 00000f6e: DUP2 00000f6f: MSTORE 00000f70: PUSH1 0x20 00000f72: DUP2 00000f73: ADD 00000f74: SWAP2 00000f75: SWAP1 00000f76: SWAP2 00000f77: MSTORE 00000f78: PUSH1 0x40 00000f7a: ADD 00000f7b: PUSH1 0x00 00000f7d: KECCAK256 00000f7e: SLOAD 00000f7f: PUSH1 0xff 00000f81: AND 00000f82: ISZERO 00000f83: ISZERO 00000f84: PUSH2 0x0f8c 00000f87: JUMPI 00000f88: PUSH1 0x00 00000f8a: DUP1 00000f8b: REVERT 00000f8c: JUMPDEST 00000f8d: POP 00000f8e: PUSH1 0x00 00000f90: SWAP2 00000f91: DUP3 00000f92: MSTORE 00000f93: PUSH1 0x0a 00000f95: PUSH1 0x20 00000f97: MSTORE 00000f98: PUSH1 0x40 00000f9a: SWAP1 00000f9b: SWAP2 00000f9c: KECCAK256 00000f9d: DUP1 00000f9e: SLOAD 00000f9f: PUSH1 0xff 00000fa1: NOT 00000fa2: AND 00000fa3: SWAP2 00000fa4: ISZERO 00000fa5: ISZERO 00000fa6: SWAP2 00000fa7: SWAP1 00000fa8: SWAP2 00000fa9: OR 00000faa: SWAP1 00000fab: SSTORE 00000fac: JUMP 00000fad: JUMPDEST 00000fae: PUSH1 0x00 00000fb0: CALLER 00000fb1: PUSH2 0x0fb9 00000fb4: DUP2 00000fb5: PUSH2 0x0e81 00000fb8: JUMP 00000fb9: JUMPDEST 00000fba: SWAP2 00000fbb: POP 00000fbc: JUMPDEST 00000fbd: POP 00000fbe: SWAP1 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: PUSH1 0x01 00000fc3: DUP1 00000fc4: SLOAD 00000fc5: PUSH1 0x01 00000fc7: DUP2 00000fc8: PUSH1 0x01 00000fca: AND 00000fcb: ISZERO 00000fcc: PUSH2 0x0100 00000fcf: MUL 00000fd0: SUB 00000fd1: AND 00000fd2: PUSH1 0x02 00000fd4: SWAP1 00000fd5: DIV 00000fd6: DUP1 00000fd7: PUSH1 0x1f 00000fd9: ADD 00000fda: PUSH1 0x20 00000fdc: DUP1 00000fdd: SWAP2 00000fde: DIV 00000fdf: MUL 00000fe0: PUSH1 0x20 00000fe2: ADD 00000fe3: PUSH1 0x40 00000fe5: MLOAD 00000fe6: SWAP1 00000fe7: DUP2 00000fe8: ADD 00000fe9: PUSH1 0x40 00000feb: MSTORE 00000fec: DUP1 00000fed: SWAP3 00000fee: SWAP2 00000fef: SWAP1 00000ff0: DUP2 00000ff1: DUP2 00000ff2: MSTORE 00000ff3: PUSH1 0x20 00000ff5: ADD 00000ff6: DUP3 00000ff7: DUP1 00000ff8: SLOAD 00000ff9: PUSH1 0x01 00000ffb: DUP2 00000ffc: PUSH1 0x01 00000ffe: AND 00000fff: ISZERO 00001000: PUSH2 0x0100 00001003: MUL 00001004: SUB 00001005: AND 00001006: PUSH1 0x02 00001008: SWAP1 00001009: DIV 0000100a: DUP1 0000100b: ISZERO 0000100c: PUSH2 0x0b6e 0000100f: JUMPI 00001010: DUP1 00001011: PUSH1 0x1f 00001013: LT 00001014: PUSH2 0x0b43 00001017: JUMPI 00001018: PUSH2 0x0100 0000101b: DUP1 0000101c: DUP4 0000101d: SLOAD 0000101e: DIV 0000101f: MUL 00001020: DUP4 00001021: MSTORE 00001022: SWAP2 00001023: PUSH1 0x20 00001025: ADD 00001026: SWAP2 00001027: PUSH2 0x0b6e 0000102a: JUMP 0000102b: JUMPDEST 0000102c: CALLER 0000102d: PUSH1 0x0a 0000102f: PUSH1 0x00 00001031: DUP3 00001032: PUSH1 0x40 00001034: MLOAD 00001035: PUSH1 0x01 00001037: PUSH1 0xa0 00001039: PUSH1 0x02 0000103b: EXP 0000103c: SUB 0000103d: SWAP2 0000103e: SWAP1 0000103f: SWAP2 00001040: AND 00001041: PUSH13 0x01000000000000000000000000 0000104f: MUL 00001050: DUP2 00001051: MSTORE 00001052: PUSH1 0x14 00001054: ADD 00001055: PUSH1 0x40 00001057: MLOAD 00001058: SWAP1 00001059: DUP2 0000105a: SWAP1 0000105b: SUB 0000105c: SWAP1 0000105d: KECCAK256 0000105e: DUP2 0000105f: MSTORE 00001060: PUSH1 0x20 00001062: DUP2 00001063: ADD 00001064: SWAP2 00001065: SWAP1 00001066: SWAP2 00001067: MSTORE 00001068: PUSH1 0x40 0000106a: ADD 0000106b: PUSH1 0x00 0000106d: KECCAK256 0000106e: SLOAD 0000106f: PUSH1 0xff 00001071: AND 00001072: ISZERO 00001073: ISZERO 00001074: PUSH2 0x107c 00001077: JUMPI 00001078: PUSH1 0x00 0000107a: DUP1 0000107b: REVERT 0000107c: JUMPDEST 0000107d: POP 0000107e: PUSH1 0x0b 00001080: DUP1 00001081: SLOAD 00001082: PUSH1 0xff 00001084: NOT 00001085: AND 00001086: SWAP1 00001087: SSTORE 00001088: JUMP 00001089: JUMPDEST 0000108a: PUSH1 0x00 0000108c: DUP1 0000108d: PUSH1 0x00 0000108f: DUP1 00001090: PUSH1 0x00 00001092: DUP1 00001093: PUSH2 0x109a 00001096: PUSH2 0x0fad 00001099: JUMP 0000109a: JUMPDEST 0000109b: GT 0000109c: PUSH2 0x10a4 0000109f: JUMPI 000010a0: PUSH1 0x00 000010a2: DUP1 000010a3: REVERT 000010a4: JUMPDEST 000010a5: PUSH1 0x0b 000010a7: SLOAD 000010a8: CALLER 000010a9: SWAP5 000010aa: POP 000010ab: PUSH1 0xff 000010ad: AND 000010ae: ISZERO 000010af: DUP1 000010b0: ISZERO 000010b1: PUSH2 0x10d2 000010b4: JUMPI 000010b5: POP 000010b6: PUSH1 0x01 000010b8: PUSH1 0xa0 000010ba: PUSH1 0x02 000010bc: EXP 000010bd: SUB 000010be: DUP5 000010bf: AND 000010c0: PUSH1 0x00 000010c2: SWAP1 000010c3: DUP2 000010c4: MSTORE 000010c5: PUSH1 0x04 000010c7: PUSH1 0x20 000010c9: MSTORE 000010ca: PUSH1 0x40 000010cc: SWAP1 000010cd: KECCAK256 000010ce: SLOAD 000010cf: DUP7 000010d0: GT 000010d1: ISZERO 000010d2: JUMPDEST 000010d3: ISZERO 000010d4: ISZERO 000010d5: PUSH2 0x10dd 000010d8: JUMPI 000010d9: PUSH1 0x00 000010db: DUP1 000010dc: REVERT 000010dd: JUMPDEST 000010de: PUSH1 0x00 000010e0: PUSH2 0x10e9 000010e3: PUSH1 0x01 000010e5: PUSH2 0x0d2a 000010e8: JUMP 000010e9: JUMPDEST 000010ea: GT 000010eb: ISZERO 000010ec: PUSH2 0x10f7 000010ef: JUMPI 000010f0: PUSH2 0x10f7 000010f3: PUSH2 0x0c09 000010f6: JUMP 000010f7: JUMPDEST 000010f8: PUSH2 0x1102 000010fb: DUP7 000010fc: PUSH1 0x05 000010fe: PUSH2 0x156b 00001101: JUMP 00001102: JUMPDEST 00001103: SWAP3 00001104: POP 00001105: PUSH2 0x110e 00001108: DUP7 00001109: DUP5 0000110a: PUSH2 0x1582 0000110d: JUMP 0000110e: JUMPDEST 0000110f: SWAP2 00001110: POP 00001111: PUSH2 0x1119 00001114: DUP4 00001115: PUSH2 0x162c 00001118: JUMP 00001119: JUMPDEST 0000111a: SWAP1 0000111b: POP 0000111c: PUSH2 0x1127 0000111f: PUSH1 0x08 00001121: SLOAD 00001122: DUP5 00001123: PUSH2 0x1582 00001126: JUMP 00001127: JUMPDEST 00001128: PUSH1 0x08 0000112a: SSTORE 0000112b: PUSH1 0x01 0000112d: PUSH1 0xa0 0000112f: PUSH1 0x02 00001131: EXP 00001132: SUB 00001133: DUP5 00001134: AND 00001135: PUSH1 0x00 00001137: SWAP1 00001138: DUP2 00001139: MSTORE 0000113a: PUSH1 0x04 0000113c: PUSH1 0x20 0000113e: MSTORE 0000113f: PUSH1 0x40 00001141: SWAP1 00001142: KECCAK256 00001143: SLOAD 00001144: PUSH2 0x114d 00001147: SWAP1 00001148: DUP8 00001149: PUSH2 0x1582 0000114c: JUMP 0000114d: JUMPDEST 0000114e: PUSH1 0x01 00001150: PUSH1 0xa0 00001152: PUSH1 0x02 00001154: EXP 00001155: SUB 00001156: DUP1 00001157: DUP7 00001158: AND 00001159: PUSH1 0x00 0000115b: SWAP1 0000115c: DUP2 0000115d: MSTORE 0000115e: PUSH1 0x04 00001160: PUSH1 0x20 00001162: MSTORE 00001163: PUSH1 0x40 00001165: DUP1 00001166: DUP3 00001167: KECCAK256 00001168: SWAP4 00001169: SWAP1 0000116a: SWAP4 0000116b: SSTORE 0000116c: SWAP1 0000116d: DUP10 0000116e: AND 0000116f: DUP2 00001170: MSTORE 00001171: KECCAK256 00001172: SLOAD 00001173: PUSH2 0x117c 00001176: SWAP1 00001177: DUP4 00001178: PUSH2 0x1555 0000117b: JUMP 0000117c: JUMPDEST 0000117d: PUSH1 0x01 0000117f: PUSH1 0xa0 00001181: PUSH1 0x02 00001183: EXP 00001184: SUB 00001185: DUP9 00001186: DUP2 00001187: AND 00001188: PUSH1 0x00 0000118a: DUP2 0000118b: DUP2 0000118c: MSTORE 0000118d: PUSH1 0x04 0000118f: PUSH1 0x20 00001191: SWAP1 00001192: DUP2 00001193: MSTORE 00001194: PUSH1 0x40 00001196: DUP1 00001197: DUP4 00001198: KECCAK256 00001199: SWAP6 0000119a: SWAP1 0000119b: SWAP6 0000119c: SSTORE 0000119d: PUSH1 0x09 0000119f: DUP1 000011a0: SLOAD 000011a1: SWAP5 000011a2: DUP11 000011a3: AND 000011a4: DUP4 000011a5: MSTORE 000011a6: PUSH1 0x06 000011a8: SWAP1 000011a9: SWAP2 000011aa: MSTORE 000011ab: DUP5 000011ac: DUP3 000011ad: KECCAK256 000011ae: DUP1 000011af: SLOAD 000011b0: SWAP5 000011b1: DUP13 000011b2: MUL 000011b3: SWAP1 000011b4: SWAP5 000011b5: SUB 000011b6: SWAP1 000011b7: SWAP4 000011b8: SSTORE 000011b9: DUP3 000011ba: SLOAD 000011bb: SWAP2 000011bc: DUP2 000011bd: MSTORE 000011be: SWAP3 000011bf: SWAP1 000011c0: SWAP3 000011c1: KECCAK256 000011c2: DUP1 000011c3: SLOAD 000011c4: SWAP3 000011c5: DUP6 000011c6: MUL 000011c7: SWAP1 000011c8: SWAP3 000011c9: ADD 000011ca: SWAP1 000011cb: SWAP2 000011cc: SSTORE 000011cd: SLOAD 000011ce: PUSH1 0x08 000011d0: SLOAD 000011d1: PUSH2 0x11eb 000011d4: SWAP2 000011d5: SWAP1 000011d6: PUSH1 0x40 000011d8: PUSH1 0x02 000011da: EXP 000011db: DUP5 000011dc: MUL 000011dd: DUP2 000011de: ISZERO 000011df: ISZERO 000011e0: PUSH2 0x11e5 000011e3: JUMPI 000011e4: INVALID 000011e5: JUMPDEST 000011e6: DIV 000011e7: PUSH2 0x1555 000011ea: JUMP 000011eb: JUMPDEST 000011ec: PUSH1 0x09 000011ee: SSTORE 000011ef: PUSH1 0x01 000011f1: PUSH1 0xa0 000011f3: PUSH1 0x02 000011f5: EXP 000011f6: SUB 000011f7: DUP1 000011f8: DUP9 000011f9: AND 000011fa: SWAP1 000011fb: DUP6 000011fc: AND 000011fd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000121e: DUP5 0000121f: PUSH1 0x40 00001221: MLOAD 00001222: SWAP1 00001223: DUP2 00001224: MSTORE 00001225: PUSH1 0x20 00001227: ADD 00001228: PUSH1 0x40 0000122a: MLOAD 0000122b: DUP1 0000122c: SWAP2 0000122d: SUB 0000122e: SWAP1 0000122f: LOG3 00001230: POP 00001231: PUSH1 0x01 00001233: SWAP7 00001234: SWAP6 00001235: POP 00001236: POP 00001237: POP 00001238: POP 00001239: POP 0000123a: POP 0000123b: JUMP 0000123c: JUMPDEST 0000123d: CALLER 0000123e: PUSH1 0x0a 00001240: PUSH1 0x00 00001242: DUP3 00001243: PUSH1 0x40 00001245: MLOAD 00001246: PUSH1 0x01 00001248: PUSH1 0xa0 0000124a: PUSH1 0x02 0000124c: EXP 0000124d: SUB 0000124e: SWAP2 0000124f: SWAP1 00001250: SWAP2 00001251: AND 00001252: PUSH13 0x01000000000000000000000000 00001260: MUL 00001261: DUP2 00001262: MSTORE 00001263: PUSH1 0x14 00001265: ADD 00001266: PUSH1 0x40 00001268: MLOAD 00001269: SWAP1 0000126a: DUP2 0000126b: SWAP1 0000126c: SUB 0000126d: SWAP1 0000126e: KECCAK256 0000126f: DUP2 00001270: MSTORE 00001271: PUSH1 0x20 00001273: DUP2 00001274: ADD 00001275: SWAP2 00001276: SWAP1 00001277: SWAP2 00001278: MSTORE 00001279: PUSH1 0x40 0000127b: ADD 0000127c: PUSH1 0x00 0000127e: KECCAK256 0000127f: SLOAD 00001280: PUSH1 0xff 00001282: AND 00001283: ISZERO 00001284: ISZERO 00001285: PUSH2 0x128d 00001288: JUMPI 00001289: PUSH1 0x00 0000128b: DUP1 0000128c: REVERT 0000128d: JUMPDEST 0000128e: PUSH1 0x01 00001290: DUP3 00001291: DUP1 00001292: MLOAD 00001293: PUSH2 0x12a0 00001296: SWAP3 00001297: SWAP2 00001298: PUSH1 0x20 0000129a: ADD 0000129b: SWAP1 0000129c: PUSH2 0x16cd 0000129f: JUMP 000012a0: JUMPDEST 000012a1: POP 000012a2: POP 000012a3: POP 000012a4: JUMP 000012a5: JUMPDEST 000012a6: CALLER 000012a7: PUSH1 0x0a 000012a9: PUSH1 0x00 000012ab: DUP3 000012ac: PUSH1 0x40 000012ae: MLOAD 000012af: PUSH1 0x01 000012b1: PUSH1 0xa0 000012b3: PUSH1 0x02 000012b5: EXP 000012b6: SUB 000012b7: SWAP2 000012b8: SWAP1 000012b9: SWAP2 000012ba: AND 000012bb: PUSH13 0x01000000000000000000000000 000012c9: MUL 000012ca: DUP2 000012cb: MSTORE 000012cc: PUSH1 0x14 000012ce: ADD 000012cf: PUSH1 0x40 000012d1: MLOAD 000012d2: SWAP1 000012d3: DUP2 000012d4: SWAP1 000012d5: SUB 000012d6: SWAP1 000012d7: KECCAK256 000012d8: DUP2 000012d9: MSTORE 000012da: PUSH1 0x20 000012dc: DUP2 000012dd: ADD 000012de: SWAP2 000012df: SWAP1 000012e0: SWAP2 000012e1: MSTORE 000012e2: PUSH1 0x40 000012e4: ADD 000012e5: PUSH1 0x00 000012e7: KECCAK256 000012e8: SLOAD 000012e9: PUSH1 0xff 000012eb: AND 000012ec: ISZERO 000012ed: ISZERO 000012ee: PUSH2 0x12f6 000012f1: JUMPI 000012f2: PUSH1 0x00 000012f4: DUP1 000012f5: REVERT 000012f6: JUMPDEST 000012f7: PUSH1 0x00 000012f9: DUP3 000012fa: DUP1 000012fb: MLOAD 000012fc: PUSH2 0x12a0 000012ff: SWAP3 00001300: SWAP2 00001301: PUSH1 0x20 00001303: ADD 00001304: SWAP1 00001305: PUSH2 0x16cd 00001308: JUMP 00001309: JUMPDEST 0000130a: PUSH1 0x00 0000130c: DUP1 0000130d: PUSH1 0x00 0000130f: DUP1 00001310: PUSH1 0x00 00001312: DUP1 00001313: PUSH1 0x00 00001315: PUSH2 0x131c 00001318: PUSH2 0x0fad 0000131b: JUMP 0000131c: JUMPDEST 0000131d: GT 0000131e: PUSH2 0x1326 00001321: JUMPI 00001322: PUSH1 0x00 00001324: DUP1 00001325: REVERT 00001326: JUMPDEST 00001327: CALLER 00001328: PUSH1 0x01 0000132a: PUSH1 0xa0 0000132c: PUSH1 0x02 0000132e: EXP 0000132f: SUB 00001330: DUP2 00001331: AND 00001332: PUSH1 0x00 00001334: SWAP1 00001335: DUP2 00001336: MSTORE 00001337: PUSH1 0x04 00001339: PUSH1 0x20 0000133b: MSTORE 0000133c: PUSH1 0x40 0000133e: SWAP1 0000133f: KECCAK256 00001340: SLOAD 00001341: SWAP1 00001342: SWAP7 00001343: POP 00001344: DUP8 00001345: GT 00001346: ISZERO 00001347: PUSH2 0x134f 0000134a: JUMPI 0000134b: PUSH1 0x00 0000134d: DUP1 0000134e: REVERT 0000134f: JUMPDEST 00001350: DUP7 00001351: SWAP5 00001352: POP 00001353: PUSH2 0x135b 00001356: DUP6 00001357: PUSH2 0x162c 0000135a: JUMP 0000135b: JUMPDEST 0000135c: SWAP4 0000135d: POP 0000135e: PUSH2 0x1368 00001361: DUP5 00001362: PUSH1 0x05 00001364: PUSH2 0x156b 00001367: JUMP 00001368: JUMPDEST 00001369: SWAP3 0000136a: POP 0000136b: PUSH2 0x1374 0000136e: DUP5 0000136f: DUP5 00001370: PUSH2 0x1582 00001373: JUMP 00001374: JUMPDEST 00001375: SWAP2 00001376: POP 00001377: PUSH2 0x1382 0000137a: PUSH1 0x08 0000137c: SLOAD 0000137d: DUP7 0000137e: PUSH2 0x1582 00001381: JUMP 00001382: JUMPDEST 00001383: PUSH1 0x08 00001385: SSTORE 00001386: PUSH1 0x01 00001388: PUSH1 0xa0 0000138a: PUSH1 0x02 0000138c: EXP 0000138d: SUB 0000138e: DUP7 0000138f: AND 00001390: PUSH1 0x00 00001392: SWAP1 00001393: DUP2 00001394: MSTORE 00001395: PUSH1 0x04 00001397: PUSH1 0x20 00001399: MSTORE 0000139a: PUSH1 0x40 0000139c: SWAP1 0000139d: KECCAK256 0000139e: SLOAD 0000139f: PUSH2 0x13a8 000013a2: SWAP1 000013a3: DUP7 000013a4: PUSH2 0x1582 000013a7: JUMP 000013a8: JUMPDEST 000013a9: PUSH1 0x01 000013ab: PUSH1 0xa0 000013ad: PUSH1 0x02 000013af: EXP 000013b0: SUB 000013b1: DUP8 000013b2: AND 000013b3: PUSH1 0x00 000013b5: SWAP1 000013b6: DUP2 000013b7: MSTORE 000013b8: PUSH1 0x04 000013ba: PUSH1 0x20 000013bc: SWAP1 000013bd: DUP2 000013be: MSTORE 000013bf: PUSH1 0x40 000013c1: DUP1 000013c2: DUP4 000013c3: KECCAK256 000013c4: SWAP4 000013c5: SWAP1 000013c6: SWAP4 000013c7: SSTORE 000013c8: PUSH1 0x09 000013ca: SLOAD 000013cb: PUSH1 0x06 000013cd: SWAP1 000013ce: SWAP2 000013cf: MSTORE 000013d0: SWAP2 000013d1: DUP2 000013d2: KECCAK256 000013d3: DUP1 000013d4: SLOAD 000013d5: SWAP3 000013d6: DUP9 000013d7: MUL 000013d8: PUSH1 0x40 000013da: PUSH1 0x02 000013dc: EXP 000013dd: DUP7 000013de: MUL 000013df: ADD 000013e0: SWAP3 000013e1: DUP4 000013e2: SWAP1 000013e3: SUB 000013e4: SWAP1 000013e5: SSTORE 000013e6: PUSH1 0x08 000013e8: SLOAD 000013e9: SWAP2 000013ea: SWAP3 000013eb: POP 000013ec: SWAP1 000013ed: GT 000013ee: ISZERO 000013ef: PUSH2 0x140f 000013f2: JUMPI 000013f3: PUSH2 0x140b 000013f6: PUSH1 0x09 000013f8: SLOAD 000013f9: PUSH1 0x08 000013fb: SLOAD 000013fc: PUSH1 0x40 000013fe: PUSH1 0x02 00001400: EXP 00001401: DUP7 00001402: MUL 00001403: DUP2 00001404: ISZERO 00001405: ISZERO 00001406: PUSH2 0x11e5 00001409: JUMPI 0000140a: INVALID 0000140b: JUMPDEST 0000140c: PUSH1 0x09 0000140e: SSTORE 0000140f: JUMPDEST 00001410: DUP6 00001411: PUSH1 0x01 00001413: PUSH1 0xa0 00001415: PUSH1 0x02 00001417: EXP 00001418: SUB 00001419: AND 0000141a: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 0000143b: DUP7 0000143c: DUP5 0000143d: PUSH1 0x40 0000143f: MLOAD 00001440: SWAP2 00001441: DUP3 00001442: MSTORE 00001443: PUSH1 0x20 00001445: DUP3 00001446: ADD 00001447: MSTORE 00001448: PUSH1 0x40 0000144a: SWAP1 0000144b: DUP2 0000144c: ADD 0000144d: SWAP1 0000144e: MLOAD 0000144f: DUP1 00001450: SWAP2 00001451: SUB 00001452: SWAP1 00001453: LOG2 00001454: POP 00001455: POP 00001456: POP 00001457: POP 00001458: POP 00001459: POP 0000145a: POP 0000145b: JUMP 0000145c: JUMPDEST 0000145d: CALLER 0000145e: PUSH1 0x01 00001460: PUSH1 0xa0 00001462: PUSH1 0x02 00001464: EXP 00001465: SUB 00001466: DUP2 00001467: AND 00001468: PUSH1 0x00 0000146a: SWAP1 0000146b: DUP2 0000146c: MSTORE 0000146d: PUSH1 0x04 0000146f: PUSH1 0x20 00001471: MSTORE 00001472: PUSH1 0x40 00001474: DUP2 00001475: KECCAK256 00001476: SLOAD 00001477: SWAP1 00001478: DUP2 00001479: GT 0000147a: ISZERO 0000147b: PUSH2 0x1487 0000147e: JUMPI 0000147f: PUSH2 0x1487 00001482: DUP2 00001483: PUSH2 0x1309 00001486: JUMP 00001487: JUMPDEST 00001488: PUSH2 0x148f 0000148b: PUSH2 0x0c09 0000148e: JUMP 0000148f: JUMPDEST 00001490: POP 00001491: POP 00001492: JUMP 00001493: JUMPDEST 00001494: PUSH1 0x00 00001496: PUSH2 0x0d67 00001499: CALLVALUE 0000149a: DUP4 0000149b: PUSH2 0x04ff 0000149e: JUMP 0000149f: JUMPDEST 000014a0: PUSH1 0x00 000014a2: DUP1 000014a3: PUSH1 0x00 000014a5: DUP1 000014a6: PUSH2 0x14af 000014a9: PUSH1 0x01 000014ab: PUSH2 0x0d2a 000014ae: JUMP 000014af: JUMPDEST 000014b0: GT 000014b1: PUSH2 0x14b9 000014b4: JUMPI 000014b5: PUSH1 0x00 000014b7: DUP1 000014b8: REVERT 000014b9: JUMPDEST 000014ba: PUSH2 0x14c3 000014bd: PUSH1 0x00 000014bf: PUSH2 0x0d2a 000014c2: JUMP 000014c3: JUMPDEST 000014c4: CALLER 000014c5: PUSH1 0x01 000014c7: PUSH1 0xa0 000014c9: PUSH1 0x02 000014cb: EXP 000014cc: SUB 000014cd: DUP2 000014ce: AND 000014cf: PUSH1 0x00 000014d1: SWAP1 000014d2: DUP2 000014d3: MSTORE 000014d4: PUSH1 0x06 000014d6: PUSH1 0x20 000014d8: SWAP1 000014d9: DUP2 000014da: MSTORE 000014db: PUSH1 0x40 000014dd: DUP1 000014de: DUP4 000014df: KECCAK256 000014e0: DUP1 000014e1: SLOAD 000014e2: PUSH1 0x40 000014e4: PUSH1 0x02 000014e6: EXP 000014e7: DUP8 000014e8: MUL 000014e9: ADD 000014ea: SWAP1 000014eb: SSTORE 000014ec: PUSH1 0x05 000014ee: SWAP1 000014ef: SWAP2 000014f0: MSTORE 000014f1: DUP2 000014f2: KECCAK256 000014f3: DUP1 000014f4: SLOAD 000014f5: SWAP1 000014f6: DUP3 000014f7: SWAP1 000014f8: SSTORE 000014f9: SWAP1 000014fa: SWAP3 000014fb: ADD 000014fc: SWAP5 000014fd: POP 000014fe: SWAP3 000014ff: POP 00001500: PUSH2 0x150a 00001503: SWAP1 00001504: DUP5 00001505: SWAP1 00001506: PUSH2 0x04ff 00001509: JUMP 0000150a: JUMPDEST 0000150b: SWAP1 0000150c: POP 0000150d: DUP2 0000150e: PUSH1 0x01 00001510: PUSH1 0xa0 00001512: PUSH1 0x02 00001514: EXP 00001515: SUB 00001516: AND 00001517: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00001538: DUP5 00001539: DUP4 0000153a: PUSH1 0x40 0000153c: MLOAD 0000153d: SWAP2 0000153e: DUP3 0000153f: MSTORE 00001540: PUSH1 0x20 00001542: DUP3 00001543: ADD 00001544: MSTORE 00001545: PUSH1 0x40 00001547: SWAP1 00001548: DUP2 00001549: ADD 0000154a: SWAP1 0000154b: MLOAD 0000154c: DUP1 0000154d: SWAP2 0000154e: SUB 0000154f: SWAP1 00001550: LOG2 00001551: POP 00001552: POP 00001553: POP 00001554: JUMP 00001555: JUMPDEST 00001556: PUSH1 0x00 00001558: DUP3 00001559: DUP3 0000155a: ADD 0000155b: DUP4 0000155c: DUP2 0000155d: LT 0000155e: ISZERO 0000155f: PUSH2 0x1564 00001562: JUMPI 00001563: INVALID 00001564: JUMPDEST 00001565: SWAP4 00001566: SWAP3 00001567: POP 00001568: POP 00001569: POP 0000156a: JUMP 0000156b: JUMPDEST 0000156c: PUSH1 0x00 0000156e: DUP1 0000156f: DUP3 00001570: DUP5 00001571: DUP2 00001572: ISZERO 00001573: ISZERO 00001574: PUSH2 0x1579 00001577: JUMPI 00001578: INVALID 00001579: JUMPDEST 0000157a: DIV 0000157b: SWAP5 0000157c: SWAP4 0000157d: POP 0000157e: POP 0000157f: POP 00001580: POP 00001581: JUMP 00001582: JUMPDEST 00001583: PUSH1 0x00 00001585: DUP3 00001586: DUP3 00001587: GT 00001588: ISZERO 00001589: PUSH2 0x158e 0000158c: JUMPI 0000158d: INVALID 0000158e: JUMPDEST 0000158f: POP 00001590: SWAP1 00001591: SUB 00001592: SWAP1 00001593: JUMP 00001594: JUMPDEST 00001595: PUSH1 0x08 00001597: SLOAD 00001598: PUSH1 0x00 0000159a: SWAP1 0000159b: PUSH13 0x01431e0fae6d7217caa0000000 000015a9: SWAP1 000015aa: DUP3 000015ab: SWAP1 000015ac: PUSH5 0x02540be400 000015b2: PUSH2 0x1619 000015b5: PUSH2 0x1613 000015b8: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000 000015cd: DUP9 000015ce: MUL 000015cf: PUSH9 0x056bc75e2d63100000 000015d9: PUSH1 0x02 000015db: DUP7 000015dc: EXP 000015dd: MUL 000015de: ADD 000015df: PUSH17 0x05e0a1fd2712875988becaad0000000000 000015f1: DUP6 000015f2: MUL 000015f3: ADD 000015f4: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000 0000160e: ADD 0000160f: PUSH2 0x1698 00001612: JUMP 00001613: JUMPDEST 00001614: DUP6 00001615: PUSH2 0x1582 00001618: JUMP 00001619: JUMPDEST 0000161a: DUP2 0000161b: ISZERO 0000161c: ISZERO 0000161d: PUSH2 0x1622 00001620: JUMPI 00001621: INVALID 00001622: JUMPDEST 00001623: DIV 00001624: SUB 00001625: SWAP5 00001626: SWAP4 00001627: POP 00001628: POP 00001629: POP 0000162a: POP 0000162b: JUMP 0000162c: JUMPDEST 0000162d: PUSH1 0x08 0000162f: SLOAD 00001630: PUSH1 0x00 00001632: SWAP1 00001633: PUSH8 0x0de0b6b3a7640000 0000163c: DUP4 0000163d: DUP2 0000163e: ADD 0000163f: SWAP2 00001640: DUP2 00001641: ADD 00001642: SWAP1 00001643: DUP4 00001644: SWAP1 00001645: PUSH2 0x1685 00001648: PUSH5 0x14f46b0400 0000164e: DUP3 0000164f: DUP6 00001650: DIV 00001651: PUSH5 0x02540be400 00001657: MUL 00001658: ADD 00001659: DUP8 0000165a: MUL 0000165b: PUSH1 0x02 0000165d: DUP4 0000165e: PUSH8 0x0de0b6b3a763ffff 00001667: NOT 00001668: DUP3 00001669: DUP10 0000166a: EXP 0000166b: DUP12 0000166c: SWAP1 0000166d: SUB 0000166e: ADD 0000166f: DIV 00001670: PUSH5 0x02540be400 00001676: MUL 00001677: DUP2 00001678: ISZERO 00001679: ISZERO 0000167a: PUSH2 0x167f 0000167d: JUMPI 0000167e: INVALID 0000167f: JUMPDEST 00001680: DIV 00001681: PUSH2 0x1582 00001684: JUMP 00001685: JUMPDEST 00001686: DUP2 00001687: ISZERO 00001688: ISZERO 00001689: PUSH2 0x168e 0000168c: JUMPI 0000168d: INVALID 0000168e: JUMPDEST 0000168f: DIV 00001690: SWAP6 00001691: SWAP5 00001692: POP 00001693: POP 00001694: POP 00001695: POP 00001696: POP 00001697: JUMP 00001698: JUMPDEST 00001699: DUP1 0000169a: PUSH1 0x02 0000169c: PUSH1 0x01 0000169e: DUP3 0000169f: ADD 000016a0: DIV 000016a1: JUMPDEST 000016a2: DUP2 000016a3: DUP2 000016a4: LT 000016a5: ISZERO 000016a6: PUSH2 0x0d67 000016a9: JUMPI 000016aa: DUP1 000016ab: SWAP2 000016ac: POP 000016ad: PUSH1 0x02 000016af: DUP2 000016b0: DUP3 000016b1: DUP6 000016b2: DUP2 000016b3: ISZERO 000016b4: ISZERO 000016b5: PUSH2 0x16ba 000016b8: JUMPI 000016b9: INVALID 000016ba: JUMPDEST 000016bb: DIV 000016bc: ADD 000016bd: DUP2 000016be: ISZERO 000016bf: ISZERO 000016c0: PUSH2 0x16c5 000016c3: JUMPI 000016c4: INVALID 000016c5: JUMPDEST 000016c6: DIV 000016c7: SWAP1 000016c8: POP 000016c9: PUSH2 0x16a1 000016cc: JUMP 000016cd: JUMPDEST 000016ce: DUP3 000016cf: DUP1 000016d0: SLOAD 000016d1: PUSH1 0x01 000016d3: DUP2 000016d4: PUSH1 0x01 000016d6: AND 000016d7: ISZERO 000016d8: PUSH2 0x0100 000016db: MUL 000016dc: SUB 000016dd: AND 000016de: PUSH1 0x02 000016e0: SWAP1 000016e1: DIV 000016e2: SWAP1 000016e3: PUSH1 0x00 000016e5: MSTORE 000016e6: PUSH1 0x20 000016e8: PUSH1 0x00 000016ea: KECCAK256 000016eb: SWAP1 000016ec: PUSH1 0x1f 000016ee: ADD 000016ef: PUSH1 0x20 000016f1: SWAP1 000016f2: DIV 000016f3: DUP2 000016f4: ADD 000016f5: SWAP3 000016f6: DUP3 000016f7: PUSH1 0x1f 000016f9: LT 000016fa: PUSH2 0x170e 000016fd: JUMPI 000016fe: DUP1 000016ff: MLOAD 00001700: PUSH1 0xff 00001702: NOT 00001703: AND 00001704: DUP4 00001705: DUP1 00001706: ADD 00001707: OR 00001708: DUP6 00001709: SSTORE 0000170a: PUSH2 0x173b 0000170d: JUMP 0000170e: JUMPDEST 0000170f: DUP3 00001710: DUP1 00001711: ADD 00001712: PUSH1 0x01 00001714: ADD 00001715: DUP6 00001716: SSTORE 00001717: DUP3 00001718: ISZERO 00001719: PUSH2 0x173b 0000171c: JUMPI 0000171d: SWAP2 0000171e: DUP3 0000171f: ADD 00001720: JUMPDEST 00001721: DUP3 00001722: DUP2 00001723: GT 00001724: ISZERO 00001725: PUSH2 0x173b 00001728: JUMPI 00001729: DUP3 0000172a: MLOAD 0000172b: DUP3 0000172c: SSTORE 0000172d: SWAP2 0000172e: PUSH1 0x20 00001730: ADD 00001731: SWAP2 00001732: SWAP1 00001733: PUSH1 0x01 00001735: ADD 00001736: SWAP1 00001737: PUSH2 0x1720 0000173a: JUMP 0000173b: JUMPDEST 0000173c: POP 0000173d: PUSH2 0x0fbc 00001740: SWAP3 00001741: PUSH2 0x0baa 00001744: SWAP3 00001745: POP 00001746: SWAP1 00001747: JUMPDEST 00001748: DUP1 00001749: DUP3 0000174a: GT 0000174b: ISZERO 0000174c: PUSH2 0x0fbc 0000174f: JUMPI 00001750: PUSH1 0x00 00001752: DUP2 00001753: SSTORE 00001754: PUSH1 0x01 00001756: ADD 00001757: PUSH2 0x1747 0000175a: JUMP 0000175b: STOP 0000175c: LOG1 0000175d: PUSH6 0x627a7a723058 00001764: KECCAK256 00001765: UNKNOWN(0xAE) 00001766: DIV 00001767: UNKNOWN(0xE8) 00001768: PUSH15 0x14f9abceafa1b24dd915311bfdc367 00001778: UNKNOWN(0xCE) 00001779: UNKNOWN(0xC7) 0000177a: STATICCALL 0000177b: UNKNOWN(0xD2) 0000177c: UNKNOWN(0x29) 0000177d: UNKNOWN(0xC8) 0000177e: UNKNOWN(0xEC) 0000177f: ADDMOD 00001780: UNKNOWN(0xAA) 00001781: PUSH5 0xd62b4b0029
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa88e31f27bb8315a076d97892f316b497af2cd76d761d27bd671b767f59c77e8
call_targets:
0x84cc06eddb26575a7f0afd7ec2e3e98d31321397
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa88e31f27bb8315a076d97892f316b497af2cd76d761d27bd671b767f59c77e8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x84cc06eddb26575a7f0afd7ec2e3e98d31321397"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3199,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa88e31f27bb8315a076d97892f316b497af2cd76d761d27bd671b767f59c77e8
call_targets:
0x84cc06eddb26575a7f0afd7ec2e3e98d31321397
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa88e31f27bb8315a076d97892f316b497af2cd76d761d27bd671b767f59c77e8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x84cc06eddb26575a7f0afd7ec2e3e98d31321397"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3199,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|