019ba9a5-c652-7324-8c93-6231039c75c4
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 |
|---|---|---|---|---|
| 37108 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37109 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37110 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37111 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37112 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37113 | detector.run | complete | 1 / 3 | 3 months ago |
| 37114 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x01a9 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x70a08231 00000026: GT 00000027: PUSH2 0x00f9 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xa457c2d7 00000031: GT 00000032: PUSH2 0x0097 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xd5391393 0000003c: GT 0000003d: PUSH2 0x0071 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xd5391393 00000047: EQ 00000048: PUSH2 0x051f 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xd547741f 00000052: EQ 00000053: PUSH2 0x0527 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xdd62ed3e 0000005d: EQ 0000005e: PUSH2 0x0553 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xe63ab1e9 00000068: EQ 00000069: PUSH2 0x0581 0000006c: JUMPI 0000006d: PUSH2 0x01a9 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0xa457c2d7 00000078: EQ 00000079: PUSH2 0x04aa 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xa9059cbb 00000083: EQ 00000084: PUSH2 0x04d6 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xca15c873 0000008e: EQ 0000008f: PUSH2 0x0502 00000092: JUMPI 00000093: PUSH2 0x01a9 00000096: JUMP 00000097: JUMPDEST 00000098: DUP1 00000099: PUSH4 0x9010d07c 0000009e: GT 0000009f: PUSH2 0x00d3 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x9010d07c 000000a9: EQ 000000aa: PUSH2 0x042f 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x91d14854 000000b4: EQ 000000b5: PUSH2 0x046e 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x95d89b41 000000bf: EQ 000000c0: PUSH2 0x049a 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa217fddf 000000ca: EQ 000000cb: PUSH2 0x04a2 000000ce: JUMPI 000000cf: PUSH2 0x01a9 000000d2: JUMP 000000d3: JUMPDEST 000000d4: DUP1 000000d5: PUSH4 0x70a08231 000000da: EQ 000000db: PUSH2 0x03d5 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x79cc6790 000000e5: EQ 000000e6: PUSH2 0x03fb 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x8456cb59 000000f0: EQ 000000f1: PUSH2 0x0427 000000f4: JUMPI 000000f5: PUSH2 0x01a9 000000f8: JUMP 000000f9: JUMPDEST 000000fa: DUP1 000000fb: PUSH4 0x313ce567 00000100: GT 00000101: PUSH2 0x0166 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x3f4ba83a 0000010b: GT 0000010c: PUSH2 0x0140 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x3f4ba83a 00000116: EQ 00000117: PUSH2 0x037c 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x40c10f19 00000121: EQ 00000122: PUSH2 0x0384 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x42966c68 0000012c: EQ 0000012d: PUSH2 0x03b0 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x5c975abb 00000137: EQ 00000138: PUSH2 0x03cd 0000013b: JUMPI 0000013c: PUSH2 0x01a9 0000013f: JUMP 00000140: JUMPDEST 00000141: DUP1 00000142: PUSH4 0x313ce567 00000147: EQ 00000148: PUSH2 0x0306 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x36568abe 00000152: EQ 00000153: PUSH2 0x0324 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0x39509351 0000015d: EQ 0000015e: PUSH2 0x0350 00000161: JUMPI 00000162: PUSH2 0x01a9 00000165: JUMP 00000166: JUMPDEST 00000167: DUP1 00000168: PUSH4 0x06fdde03 0000016d: EQ 0000016e: PUSH2 0x01ae 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0x095ea7b3 00000178: EQ 00000179: PUSH2 0x022b 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x18160ddd 00000183: EQ 00000184: PUSH2 0x026b 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0x23b872dd 0000018e: EQ 0000018f: PUSH2 0x0285 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0x248a9ca3 00000199: EQ 0000019a: PUSH2 0x02bb 0000019d: JUMPI 0000019e: DUP1 0000019f: PUSH4 0x2f2ff15d 000001a4: EQ 000001a5: PUSH2 0x02d8 000001a8: JUMPI 000001a9: JUMPDEST 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: PUSH2 0x01b6 000001b2: PUSH2 0x0589 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH1 0x40 000001b9: DUP1 000001ba: MLOAD 000001bb: PUSH1 0x20 000001bd: DUP1 000001be: DUP3 000001bf: MSTORE 000001c0: DUP4 000001c1: MLOAD 000001c2: DUP2 000001c3: DUP4 000001c4: ADD 000001c5: MSTORE 000001c6: DUP4 000001c7: MLOAD 000001c8: SWAP2 000001c9: SWAP3 000001ca: DUP4 000001cb: SWAP3 000001cc: SWAP1 000001cd: DUP4 000001ce: ADD 000001cf: SWAP2 000001d0: DUP6 000001d1: ADD 000001d2: SWAP1 000001d3: DUP1 000001d4: DUP4 000001d5: DUP4 000001d6: PUSH1 0x00 000001d8: JUMPDEST 000001d9: DUP4 000001da: DUP2 000001db: LT 000001dc: ISZERO 000001dd: PUSH2 0x01f0 000001e0: JUMPI 000001e1: DUP2 000001e2: DUP2 000001e3: ADD 000001e4: MLOAD 000001e5: DUP4 000001e6: DUP3 000001e7: ADD 000001e8: MSTORE 000001e9: PUSH1 0x20 000001eb: ADD 000001ec: PUSH2 0x01d8 000001ef: JUMP 000001f0: JUMPDEST 000001f1: POP 000001f2: POP 000001f3: POP 000001f4: POP 000001f5: SWAP1 000001f6: POP 000001f7: SWAP1 000001f8: DUP2 000001f9: ADD 000001fa: SWAP1 000001fb: PUSH1 0x1f 000001fd: AND 000001fe: DUP1 000001ff: ISZERO 00000200: PUSH2 0x021d 00000203: JUMPI 00000204: DUP1 00000205: DUP3 00000206: SUB 00000207: DUP1 00000208: MLOAD 00000209: PUSH1 0x01 0000020b: DUP4 0000020c: PUSH1 0x20 0000020e: SUB 0000020f: PUSH2 0x0100 00000212: EXP 00000213: SUB 00000214: NOT 00000215: AND 00000216: DUP2 00000217: MSTORE 00000218: PUSH1 0x20 0000021a: ADD 0000021b: SWAP2 0000021c: POP 0000021d: JUMPDEST 0000021e: POP 0000021f: SWAP3 00000220: POP 00000221: POP 00000222: POP 00000223: PUSH1 0x40 00000225: MLOAD 00000226: DUP1 00000227: SWAP2 00000228: SUB 00000229: SWAP1 0000022a: RETURN 0000022b: JUMPDEST 0000022c: PUSH2 0x0257 0000022f: PUSH1 0x04 00000231: DUP1 00000232: CALLDATASIZE 00000233: SUB 00000234: PUSH1 0x40 00000236: DUP2 00000237: LT 00000238: ISZERO 00000239: PUSH2 0x0241 0000023c: JUMPI 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: POP 00000243: PUSH1 0x01 00000245: PUSH1 0x01 00000247: PUSH1 0xa0 00000249: SHL 0000024a: SUB 0000024b: DUP2 0000024c: CALLDATALOAD 0000024d: AND 0000024e: SWAP1 0000024f: PUSH1 0x20 00000251: ADD 00000252: CALLDATALOAD 00000253: PUSH2 0x061f 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH1 0x40 0000025a: DUP1 0000025b: MLOAD 0000025c: SWAP2 0000025d: ISZERO 0000025e: ISZERO 0000025f: DUP3 00000260: MSTORE 00000261: MLOAD 00000262: SWAP1 00000263: DUP2 00000264: SWAP1 00000265: SUB 00000266: PUSH1 0x20 00000268: ADD 00000269: SWAP1 0000026a: RETURN 0000026b: JUMPDEST 0000026c: PUSH2 0x0273 0000026f: PUSH2 0x063d 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH1 0x40 00000276: DUP1 00000277: MLOAD 00000278: SWAP2 00000279: DUP3 0000027a: MSTORE 0000027b: MLOAD 0000027c: SWAP1 0000027d: DUP2 0000027e: SWAP1 0000027f: SUB 00000280: PUSH1 0x20 00000282: ADD 00000283: SWAP1 00000284: RETURN 00000285: JUMPDEST 00000286: PUSH2 0x0257 00000289: PUSH1 0x04 0000028b: DUP1 0000028c: CALLDATASIZE 0000028d: SUB 0000028e: PUSH1 0x60 00000290: DUP2 00000291: LT 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH1 0x01 0000029f: PUSH1 0x01 000002a1: PUSH1 0xa0 000002a3: SHL 000002a4: SUB 000002a5: DUP2 000002a6: CALLDATALOAD 000002a7: DUP2 000002a8: AND 000002a9: SWAP2 000002aa: PUSH1 0x20 000002ac: DUP2 000002ad: ADD 000002ae: CALLDATALOAD 000002af: SWAP1 000002b0: SWAP2 000002b1: AND 000002b2: SWAP1 000002b3: PUSH1 0x40 000002b5: ADD 000002b6: CALLDATALOAD 000002b7: PUSH2 0x0643 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH2 0x0273 000002bf: PUSH1 0x04 000002c1: DUP1 000002c2: CALLDATASIZE 000002c3: SUB 000002c4: PUSH1 0x20 000002c6: DUP2 000002c7: LT 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: CALLDATALOAD 000002d4: PUSH2 0x06ca 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH2 0x0304 000002dc: PUSH1 0x04 000002de: DUP1 000002df: CALLDATASIZE 000002e0: SUB 000002e1: PUSH1 0x40 000002e3: DUP2 000002e4: LT 000002e5: ISZERO 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: POP 000002f0: DUP1 000002f1: CALLDATALOAD 000002f2: SWAP1 000002f3: PUSH1 0x20 000002f5: ADD 000002f6: CALLDATALOAD 000002f7: PUSH1 0x01 000002f9: PUSH1 0x01 000002fb: PUSH1 0xa0 000002fd: SHL 000002fe: SUB 000002ff: AND 00000300: PUSH2 0x06df 00000303: JUMP 00000304: JUMPDEST 00000305: STOP 00000306: JUMPDEST 00000307: PUSH2 0x030e 0000030a: PUSH2 0x074b 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH1 0x40 00000311: DUP1 00000312: MLOAD 00000313: PUSH1 0xff 00000315: SWAP1 00000316: SWAP3 00000317: AND 00000318: DUP3 00000319: MSTORE 0000031a: MLOAD 0000031b: SWAP1 0000031c: DUP2 0000031d: SWAP1 0000031e: SUB 0000031f: PUSH1 0x20 00000321: ADD 00000322: SWAP1 00000323: RETURN 00000324: JUMPDEST 00000325: PUSH2 0x0304 00000328: PUSH1 0x04 0000032a: DUP1 0000032b: CALLDATASIZE 0000032c: SUB 0000032d: PUSH1 0x40 0000032f: DUP2 00000330: LT 00000331: ISZERO 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: POP 0000033c: DUP1 0000033d: CALLDATALOAD 0000033e: SWAP1 0000033f: PUSH1 0x20 00000341: ADD 00000342: CALLDATALOAD 00000343: PUSH1 0x01 00000345: PUSH1 0x01 00000347: PUSH1 0xa0 00000349: SHL 0000034a: SUB 0000034b: AND 0000034c: PUSH2 0x0754 0000034f: JUMP 00000350: JUMPDEST 00000351: PUSH2 0x0257 00000354: PUSH1 0x04 00000356: DUP1 00000357: CALLDATASIZE 00000358: SUB 00000359: PUSH1 0x40 0000035b: DUP2 0000035c: LT 0000035d: ISZERO 0000035e: PUSH2 0x0366 00000361: JUMPI 00000362: PUSH1 0x00 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: PUSH1 0x01 0000036a: PUSH1 0x01 0000036c: PUSH1 0xa0 0000036e: SHL 0000036f: SUB 00000370: DUP2 00000371: CALLDATALOAD 00000372: AND 00000373: SWAP1 00000374: PUSH1 0x20 00000376: ADD 00000377: CALLDATALOAD 00000378: PUSH2 0x07b5 0000037b: JUMP 0000037c: JUMPDEST 0000037d: PUSH2 0x0304 00000380: PUSH2 0x0803 00000383: JUMP 00000384: JUMPDEST 00000385: PUSH2 0x0304 00000388: PUSH1 0x04 0000038a: DUP1 0000038b: CALLDATASIZE 0000038c: SUB 0000038d: PUSH1 0x40 0000038f: DUP2 00000390: LT 00000391: ISZERO 00000392: PUSH2 0x039a 00000395: JUMPI 00000396: PUSH1 0x00 00000398: DUP1 00000399: REVERT 0000039a: JUMPDEST 0000039b: POP 0000039c: PUSH1 0x01 0000039e: PUSH1 0x01 000003a0: PUSH1 0xa0 000003a2: SHL 000003a3: SUB 000003a4: DUP2 000003a5: CALLDATALOAD 000003a6: AND 000003a7: SWAP1 000003a8: PUSH1 0x20 000003aa: ADD 000003ab: CALLDATALOAD 000003ac: PUSH2 0x0874 000003af: JUMP 000003b0: JUMPDEST 000003b1: PUSH2 0x0304 000003b4: PUSH1 0x04 000003b6: DUP1 000003b7: CALLDATASIZE 000003b8: SUB 000003b9: PUSH1 0x20 000003bb: DUP2 000003bc: LT 000003bd: ISZERO 000003be: PUSH2 0x03c6 000003c1: JUMPI 000003c2: PUSH1 0x00 000003c4: DUP1 000003c5: REVERT 000003c6: JUMPDEST 000003c7: POP 000003c8: CALLDATALOAD 000003c9: PUSH2 0x08e5 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH2 0x0257 000003d1: PUSH2 0x08f9 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH2 0x0273 000003d9: PUSH1 0x04 000003db: DUP1 000003dc: CALLDATASIZE 000003dd: SUB 000003de: PUSH1 0x20 000003e0: DUP2 000003e1: LT 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: POP 000003ed: CALLDATALOAD 000003ee: PUSH1 0x01 000003f0: PUSH1 0x01 000003f2: PUSH1 0xa0 000003f4: SHL 000003f5: SUB 000003f6: AND 000003f7: PUSH2 0x0907 000003fa: JUMP 000003fb: JUMPDEST 000003fc: PUSH2 0x0304 000003ff: PUSH1 0x04 00000401: DUP1 00000402: CALLDATASIZE 00000403: SUB 00000404: PUSH1 0x40 00000406: DUP2 00000407: LT 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: PUSH1 0x01 00000415: PUSH1 0x01 00000417: PUSH1 0xa0 00000419: SHL 0000041a: SUB 0000041b: DUP2 0000041c: CALLDATALOAD 0000041d: AND 0000041e: SWAP1 0000041f: PUSH1 0x20 00000421: ADD 00000422: CALLDATALOAD 00000423: PUSH2 0x0922 00000426: JUMP 00000427: JUMPDEST 00000428: PUSH2 0x0304 0000042b: PUSH2 0x097c 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH2 0x0452 00000433: PUSH1 0x04 00000435: DUP1 00000436: CALLDATASIZE 00000437: SUB 00000438: PUSH1 0x40 0000043a: DUP2 0000043b: LT 0000043c: ISZERO 0000043d: PUSH2 0x0445 00000440: JUMPI 00000441: PUSH1 0x00 00000443: DUP1 00000444: REVERT 00000445: JUMPDEST 00000446: POP 00000447: DUP1 00000448: CALLDATALOAD 00000449: SWAP1 0000044a: PUSH1 0x20 0000044c: ADD 0000044d: CALLDATALOAD 0000044e: PUSH2 0x09eb 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH1 0x40 00000455: DUP1 00000456: MLOAD 00000457: PUSH1 0x01 00000459: PUSH1 0x01 0000045b: PUSH1 0xa0 0000045d: SHL 0000045e: SUB 0000045f: SWAP1 00000460: SWAP3 00000461: AND 00000462: DUP3 00000463: MSTORE 00000464: MLOAD 00000465: SWAP1 00000466: DUP2 00000467: SWAP1 00000468: SUB 00000469: PUSH1 0x20 0000046b: ADD 0000046c: SWAP1 0000046d: RETURN 0000046e: JUMPDEST 0000046f: PUSH2 0x0257 00000472: PUSH1 0x04 00000474: DUP1 00000475: CALLDATASIZE 00000476: SUB 00000477: PUSH1 0x40 00000479: DUP2 0000047a: LT 0000047b: ISZERO 0000047c: PUSH2 0x0484 0000047f: JUMPI 00000480: PUSH1 0x00 00000482: DUP1 00000483: REVERT 00000484: JUMPDEST 00000485: POP 00000486: DUP1 00000487: CALLDATALOAD 00000488: SWAP1 00000489: PUSH1 0x20 0000048b: ADD 0000048c: CALLDATALOAD 0000048d: PUSH1 0x01 0000048f: PUSH1 0x01 00000491: PUSH1 0xa0 00000493: SHL 00000494: SUB 00000495: AND 00000496: PUSH2 0x0a0a 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH2 0x01b6 0000049e: PUSH2 0x0a22 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH2 0x0273 000004a6: PUSH2 0x0a83 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH2 0x0257 000004ae: PUSH1 0x04 000004b0: DUP1 000004b1: CALLDATASIZE 000004b2: SUB 000004b3: PUSH1 0x40 000004b5: DUP2 000004b6: LT 000004b7: ISZERO 000004b8: PUSH2 0x04c0 000004bb: JUMPI 000004bc: PUSH1 0x00 000004be: DUP1 000004bf: REVERT 000004c0: JUMPDEST 000004c1: POP 000004c2: PUSH1 0x01 000004c4: PUSH1 0x01 000004c6: PUSH1 0xa0 000004c8: SHL 000004c9: SUB 000004ca: DUP2 000004cb: CALLDATALOAD 000004cc: AND 000004cd: SWAP1 000004ce: PUSH1 0x20 000004d0: ADD 000004d1: CALLDATALOAD 000004d2: PUSH2 0x0a88 000004d5: JUMP 000004d6: JUMPDEST 000004d7: PUSH2 0x0257 000004da: PUSH1 0x04 000004dc: DUP1 000004dd: CALLDATASIZE 000004de: SUB 000004df: PUSH1 0x40 000004e1: DUP2 000004e2: LT 000004e3: ISZERO 000004e4: PUSH2 0x04ec 000004e7: JUMPI 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: REVERT 000004ec: JUMPDEST 000004ed: POP 000004ee: PUSH1 0x01 000004f0: PUSH1 0x01 000004f2: PUSH1 0xa0 000004f4: SHL 000004f5: SUB 000004f6: DUP2 000004f7: CALLDATALOAD 000004f8: AND 000004f9: SWAP1 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: CALLDATALOAD 000004fe: PUSH2 0x0af0 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH2 0x0273 00000506: PUSH1 0x04 00000508: DUP1 00000509: CALLDATASIZE 0000050a: SUB 0000050b: PUSH1 0x20 0000050d: DUP2 0000050e: LT 0000050f: ISZERO 00000510: PUSH2 0x0518 00000513: JUMPI 00000514: PUSH1 0x00 00000516: DUP1 00000517: REVERT 00000518: JUMPDEST 00000519: POP 0000051a: CALLDATALOAD 0000051b: PUSH2 0x0b04 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH2 0x0273 00000523: PUSH2 0x0b1b 00000526: JUMP 00000527: JUMPDEST 00000528: PUSH2 0x0304 0000052b: PUSH1 0x04 0000052d: DUP1 0000052e: CALLDATASIZE 0000052f: SUB 00000530: PUSH1 0x40 00000532: DUP2 00000533: LT 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: POP 0000053f: DUP1 00000540: CALLDATALOAD 00000541: SWAP1 00000542: PUSH1 0x20 00000544: ADD 00000545: CALLDATALOAD 00000546: PUSH1 0x01 00000548: PUSH1 0x01 0000054a: PUSH1 0xa0 0000054c: SHL 0000054d: SUB 0000054e: AND 0000054f: PUSH2 0x0b3f 00000552: JUMP 00000553: JUMPDEST 00000554: PUSH2 0x0273 00000557: PUSH1 0x04 00000559: DUP1 0000055a: CALLDATASIZE 0000055b: SUB 0000055c: PUSH1 0x40 0000055e: DUP2 0000055f: LT 00000560: ISZERO 00000561: PUSH2 0x0569 00000564: JUMPI 00000565: PUSH1 0x00 00000567: DUP1 00000568: REVERT 00000569: JUMPDEST 0000056a: POP 0000056b: PUSH1 0x01 0000056d: PUSH1 0x01 0000056f: PUSH1 0xa0 00000571: SHL 00000572: SUB 00000573: DUP2 00000574: CALLDATALOAD 00000575: DUP2 00000576: AND 00000577: SWAP2 00000578: PUSH1 0x20 0000057a: ADD 0000057b: CALLDATALOAD 0000057c: AND 0000057d: PUSH2 0x0b98 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH2 0x0273 00000585: PUSH2 0x0bc3 00000588: JUMP 00000589: JUMPDEST 0000058a: PUSH1 0x04 0000058c: DUP1 0000058d: SLOAD 0000058e: PUSH1 0x40 00000590: DUP1 00000591: MLOAD 00000592: PUSH1 0x20 00000594: PUSH1 0x1f 00000596: PUSH1 0x02 00000598: PUSH1 0x00 0000059a: NOT 0000059b: PUSH2 0x0100 0000059e: PUSH1 0x01 000005a0: DUP9 000005a1: AND 000005a2: ISZERO 000005a3: MUL 000005a4: ADD 000005a5: SWAP1 000005a6: SWAP6 000005a7: AND 000005a8: SWAP5 000005a9: SWAP1 000005aa: SWAP5 000005ab: DIV 000005ac: SWAP4 000005ad: DUP5 000005ae: ADD 000005af: DUP2 000005b0: SWAP1 000005b1: DIV 000005b2: DUP2 000005b3: MUL 000005b4: DUP3 000005b5: ADD 000005b6: DUP2 000005b7: ADD 000005b8: SWAP1 000005b9: SWAP3 000005ba: MSTORE 000005bb: DUP3 000005bc: DUP2 000005bd: MSTORE 000005be: PUSH1 0x60 000005c0: SWAP4 000005c1: SWAP1 000005c2: SWAP3 000005c3: SWAP1 000005c4: SWAP2 000005c5: DUP4 000005c6: ADD 000005c7: DUP3 000005c8: DUP3 000005c9: DUP1 000005ca: ISZERO 000005cb: PUSH2 0x0615 000005ce: JUMPI 000005cf: DUP1 000005d0: PUSH1 0x1f 000005d2: LT 000005d3: PUSH2 0x05ea 000005d6: JUMPI 000005d7: PUSH2 0x0100 000005da: DUP1 000005db: DUP4 000005dc: SLOAD 000005dd: DIV 000005de: MUL 000005df: DUP4 000005e0: MSTORE 000005e1: SWAP2 000005e2: PUSH1 0x20 000005e4: ADD 000005e5: SWAP2 000005e6: PUSH2 0x0615 000005e9: JUMP 000005ea: JUMPDEST 000005eb: DUP3 000005ec: ADD 000005ed: SWAP2 000005ee: SWAP1 000005ef: PUSH1 0x00 000005f1: MSTORE 000005f2: PUSH1 0x20 000005f4: PUSH1 0x00 000005f6: KECCAK256 000005f7: SWAP1 000005f8: JUMPDEST 000005f9: DUP2 000005fa: SLOAD 000005fb: DUP2 000005fc: MSTORE 000005fd: SWAP1 000005fe: PUSH1 0x01 00000600: ADD 00000601: SWAP1 00000602: PUSH1 0x20 00000604: ADD 00000605: DUP1 00000606: DUP4 00000607: GT 00000608: PUSH2 0x05f8 0000060b: JUMPI 0000060c: DUP3 0000060d: SWAP1 0000060e: SUB 0000060f: PUSH1 0x1f 00000611: AND 00000612: DUP3 00000613: ADD 00000614: SWAP2 00000615: JUMPDEST 00000616: POP 00000617: POP 00000618: POP 00000619: POP 0000061a: POP 0000061b: SWAP1 0000061c: POP 0000061d: SWAP1 0000061e: JUMP 0000061f: JUMPDEST 00000620: PUSH1 0x00 00000622: PUSH2 0x0633 00000625: PUSH2 0x062c 00000628: PUSH2 0x0bfc 0000062b: JUMP 0000062c: JUMPDEST 0000062d: DUP5 0000062e: DUP5 0000062f: PUSH2 0x0c00 00000632: JUMP 00000633: JUMPDEST 00000634: POP 00000635: PUSH1 0x01 00000637: JUMPDEST 00000638: SWAP3 00000639: SWAP2 0000063a: POP 0000063b: POP 0000063c: JUMP 0000063d: JUMPDEST 0000063e: PUSH1 0x03 00000640: SLOAD 00000641: SWAP1 00000642: JUMP 00000643: JUMPDEST 00000644: PUSH1 0x00 00000646: PUSH2 0x0650 00000649: DUP5 0000064a: DUP5 0000064b: DUP5 0000064c: PUSH2 0x0cec 0000064f: JUMP 00000650: JUMPDEST 00000651: PUSH2 0x06c0 00000654: DUP5 00000655: PUSH2 0x065c 00000658: PUSH2 0x0bfc 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH2 0x06bb 00000660: DUP6 00000661: PUSH1 0x40 00000663: MLOAD 00000664: DUP1 00000665: PUSH1 0x60 00000667: ADD 00000668: PUSH1 0x40 0000066a: MSTORE 0000066b: DUP1 0000066c: PUSH1 0x28 0000066e: DUP2 0000066f: MSTORE 00000670: PUSH1 0x20 00000672: ADD 00000673: PUSH2 0x16db 00000676: PUSH1 0x28 00000678: SWAP2 00000679: CODECOPY 0000067a: PUSH1 0x01 0000067c: PUSH1 0x01 0000067e: PUSH1 0xa0 00000680: SHL 00000681: SUB 00000682: DUP11 00000683: AND 00000684: PUSH1 0x00 00000686: SWAP1 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x02 0000068b: PUSH1 0x20 0000068d: MSTORE 0000068e: PUSH1 0x40 00000690: DUP2 00000691: KECCAK256 00000692: SWAP1 00000693: PUSH2 0x069a 00000696: PUSH2 0x0bfc 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x01 0000069d: PUSH1 0x01 0000069f: PUSH1 0xa0 000006a1: SHL 000006a2: SUB 000006a3: AND 000006a4: DUP2 000006a5: MSTORE 000006a6: PUSH1 0x20 000006a8: DUP2 000006a9: ADD 000006aa: SWAP2 000006ab: SWAP1 000006ac: SWAP2 000006ad: MSTORE 000006ae: PUSH1 0x40 000006b0: ADD 000006b1: PUSH1 0x00 000006b3: KECCAK256 000006b4: SLOAD 000006b5: SWAP2 000006b6: SWAP1 000006b7: PUSH2 0x0e49 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH2 0x0c00 000006bf: JUMP 000006c0: JUMPDEST 000006c1: POP 000006c2: PUSH1 0x01 000006c4: SWAP4 000006c5: SWAP3 000006c6: POP 000006c7: POP 000006c8: POP 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH1 0x00 000006cd: SWAP1 000006ce: DUP2 000006cf: MSTORE 000006d0: PUSH1 0x20 000006d2: DUP2 000006d3: SWAP1 000006d4: MSTORE 000006d5: PUSH1 0x40 000006d7: SWAP1 000006d8: KECCAK256 000006d9: PUSH1 0x02 000006db: ADD 000006dc: SLOAD 000006dd: SWAP1 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x00 000006e2: DUP3 000006e3: DUP2 000006e4: MSTORE 000006e5: PUSH1 0x20 000006e7: DUP2 000006e8: SWAP1 000006e9: MSTORE 000006ea: PUSH1 0x40 000006ec: SWAP1 000006ed: KECCAK256 000006ee: PUSH1 0x02 000006f0: ADD 000006f1: SLOAD 000006f2: PUSH2 0x0702 000006f5: SWAP1 000006f6: PUSH2 0x06fd 000006f9: PUSH2 0x0bfc 000006fc: JUMP 000006fd: JUMPDEST 000006fe: PUSH2 0x0a0a 00000701: JUMP 00000702: JUMPDEST 00000703: PUSH2 0x073d 00000706: JUMPI 00000707: PUSH1 0x40 00000709: MLOAD 0000070a: PUSH3 0x461bcd 0000070e: PUSH1 0xe5 00000710: SHL 00000711: DUP2 00000712: MSTORE 00000713: PUSH1 0x04 00000715: ADD 00000716: DUP1 00000717: DUP1 00000718: PUSH1 0x20 0000071a: ADD 0000071b: DUP3 0000071c: DUP2 0000071d: SUB 0000071e: DUP3 0000071f: MSTORE 00000720: PUSH1 0x2f 00000722: DUP2 00000723: MSTORE 00000724: PUSH1 0x20 00000726: ADD 00000727: DUP1 00000728: PUSH2 0x15d9 0000072b: PUSH1 0x2f 0000072d: SWAP2 0000072e: CODECOPY 0000072f: PUSH1 0x40 00000731: ADD 00000732: SWAP2 00000733: POP 00000734: POP 00000735: PUSH1 0x40 00000737: MLOAD 00000738: DUP1 00000739: SWAP2 0000073a: SUB 0000073b: SWAP1 0000073c: REVERT 0000073d: JUMPDEST 0000073e: PUSH2 0x0747 00000741: DUP3 00000742: DUP3 00000743: PUSH2 0x0ee0 00000746: JUMP 00000747: JUMPDEST 00000748: POP 00000749: POP 0000074a: JUMP 0000074b: JUMPDEST 0000074c: PUSH1 0x06 0000074e: SLOAD 0000074f: PUSH1 0xff 00000751: AND 00000752: SWAP1 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH2 0x075c 00000758: PUSH2 0x0bfc 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH1 0x01 0000075f: PUSH1 0x01 00000761: PUSH1 0xa0 00000763: SHL 00000764: SUB 00000765: AND 00000766: DUP2 00000767: PUSH1 0x01 00000769: PUSH1 0x01 0000076b: PUSH1 0xa0 0000076d: SHL 0000076e: SUB 0000076f: AND 00000770: EQ 00000771: PUSH2 0x07ab 00000774: JUMPI 00000775: PUSH1 0x40 00000777: MLOAD 00000778: PUSH3 0x461bcd 0000077c: PUSH1 0xe5 0000077e: SHL 0000077f: DUP2 00000780: MSTORE 00000781: PUSH1 0x04 00000783: ADD 00000784: DUP1 00000785: DUP1 00000786: PUSH1 0x20 00000788: ADD 00000789: DUP3 0000078a: DUP2 0000078b: SUB 0000078c: DUP3 0000078d: MSTORE 0000078e: PUSH1 0x2f 00000790: DUP2 00000791: MSTORE 00000792: PUSH1 0x20 00000794: ADD 00000795: DUP1 00000796: PUSH2 0x1823 00000799: PUSH1 0x2f 0000079b: SWAP2 0000079c: CODECOPY 0000079d: PUSH1 0x40 0000079f: ADD 000007a0: SWAP2 000007a1: POP 000007a2: POP 000007a3: PUSH1 0x40 000007a5: MLOAD 000007a6: DUP1 000007a7: SWAP2 000007a8: SUB 000007a9: SWAP1 000007aa: REVERT 000007ab: JUMPDEST 000007ac: PUSH2 0x0747 000007af: DUP3 000007b0: DUP3 000007b1: PUSH2 0x0f49 000007b4: JUMP 000007b5: JUMPDEST 000007b6: PUSH1 0x00 000007b8: PUSH2 0x0633 000007bb: PUSH2 0x07c2 000007be: PUSH2 0x0bfc 000007c1: JUMP 000007c2: JUMPDEST 000007c3: DUP5 000007c4: PUSH2 0x06bb 000007c7: DUP6 000007c8: PUSH1 0x02 000007ca: PUSH1 0x00 000007cc: PUSH2 0x07d3 000007cf: PUSH2 0x0bfc 000007d2: JUMP 000007d3: JUMPDEST 000007d4: PUSH1 0x01 000007d6: PUSH1 0x01 000007d8: PUSH1 0xa0 000007da: SHL 000007db: SUB 000007dc: SWAP1 000007dd: DUP2 000007de: AND 000007df: DUP3 000007e0: MSTORE 000007e1: PUSH1 0x20 000007e3: DUP1 000007e4: DUP4 000007e5: ADD 000007e6: SWAP4 000007e7: SWAP1 000007e8: SWAP4 000007e9: MSTORE 000007ea: PUSH1 0x40 000007ec: SWAP2 000007ed: DUP3 000007ee: ADD 000007ef: PUSH1 0x00 000007f1: SWAP1 000007f2: DUP2 000007f3: KECCAK256 000007f4: SWAP2 000007f5: DUP13 000007f6: AND 000007f7: DUP2 000007f8: MSTORE 000007f9: SWAP3 000007fa: MSTORE 000007fb: SWAP1 000007fc: KECCAK256 000007fd: SLOAD 000007fe: SWAP1 000007ff: PUSH2 0x0fb2 00000802: JUMP 00000803: JUMPDEST 00000804: PUSH2 0x082f 00000807: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 00000828: PUSH2 0x06fd 0000082b: PUSH2 0x0bfc 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH2 0x086a 00000833: JUMPI 00000834: PUSH1 0x40 00000836: MLOAD 00000837: PUSH3 0x461bcd 0000083b: PUSH1 0xe5 0000083d: SHL 0000083e: DUP2 0000083f: MSTORE 00000840: PUSH1 0x04 00000842: ADD 00000843: DUP1 00000844: DUP1 00000845: PUSH1 0x20 00000847: ADD 00000848: DUP3 00000849: DUP2 0000084a: SUB 0000084b: DUP3 0000084c: MSTORE 0000084d: PUSH1 0x39 0000084f: DUP2 00000850: MSTORE 00000851: PUSH1 0x20 00000853: ADD 00000854: DUP1 00000855: PUSH2 0x162a 00000858: PUSH1 0x39 0000085a: SWAP2 0000085b: CODECOPY 0000085c: PUSH1 0x40 0000085e: ADD 0000085f: SWAP2 00000860: POP 00000861: POP 00000862: PUSH1 0x40 00000864: MLOAD 00000865: DUP1 00000866: SWAP2 00000867: SUB 00000868: SWAP1 00000869: REVERT 0000086a: JUMPDEST 0000086b: PUSH2 0x0872 0000086e: PUSH2 0x100c 00000871: JUMP 00000872: JUMPDEST 00000873: JUMP 00000874: JUMPDEST 00000875: PUSH2 0x08a0 00000878: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6 00000899: PUSH2 0x06fd 0000089c: PUSH2 0x0bfc 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH2 0x08db 000008a4: JUMPI 000008a5: PUSH1 0x40 000008a7: MLOAD 000008a8: PUSH3 0x461bcd 000008ac: PUSH1 0xe5 000008ae: SHL 000008af: DUP2 000008b0: MSTORE 000008b1: PUSH1 0x04 000008b3: ADD 000008b4: DUP1 000008b5: DUP1 000008b6: PUSH1 0x20 000008b8: ADD 000008b9: DUP3 000008ba: DUP2 000008bb: SUB 000008bc: DUP3 000008bd: MSTORE 000008be: PUSH1 0x36 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x20 000008c4: ADD 000008c5: DUP1 000008c6: PUSH2 0x1703 000008c9: PUSH1 0x36 000008cb: SWAP2 000008cc: CODECOPY 000008cd: PUSH1 0x40 000008cf: ADD 000008d0: SWAP2 000008d1: POP 000008d2: POP 000008d3: PUSH1 0x40 000008d5: MLOAD 000008d6: DUP1 000008d7: SWAP2 000008d8: SUB 000008d9: SWAP1 000008da: REVERT 000008db: JUMPDEST 000008dc: PUSH2 0x0747 000008df: DUP3 000008e0: DUP3 000008e1: PUSH2 0x10b0 000008e4: JUMP 000008e5: JUMPDEST 000008e6: PUSH2 0x08f6 000008e9: PUSH2 0x08f0 000008ec: PUSH2 0x0bfc 000008ef: JUMP 000008f0: JUMPDEST 000008f1: DUP3 000008f2: PUSH2 0x11a2 000008f5: JUMP 000008f6: JUMPDEST 000008f7: POP 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH1 0x06 000008fc: SLOAD 000008fd: PUSH2 0x0100 00000900: SWAP1 00000901: DIV 00000902: PUSH1 0xff 00000904: AND 00000905: SWAP1 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH1 0x01 0000090a: PUSH1 0x01 0000090c: PUSH1 0xa0 0000090e: SHL 0000090f: SUB 00000910: AND 00000911: PUSH1 0x00 00000913: SWAP1 00000914: DUP2 00000915: MSTORE 00000916: PUSH1 0x01 00000918: PUSH1 0x20 0000091a: MSTORE 0000091b: PUSH1 0x40 0000091d: SWAP1 0000091e: KECCAK256 0000091f: SLOAD 00000920: SWAP1 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH1 0x00 00000925: PUSH2 0x0959 00000928: DUP3 00000929: PUSH1 0x40 0000092b: MLOAD 0000092c: DUP1 0000092d: PUSH1 0x60 0000092f: ADD 00000930: PUSH1 0x40 00000932: MSTORE 00000933: DUP1 00000934: PUSH1 0x24 00000936: DUP2 00000937: MSTORE 00000938: PUSH1 0x20 0000093a: ADD 0000093b: PUSH2 0x1739 0000093e: PUSH1 0x24 00000940: SWAP2 00000941: CODECOPY 00000942: PUSH2 0x0952 00000945: DUP7 00000946: PUSH2 0x094d 00000949: PUSH2 0x0bfc 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH2 0x0b98 00000951: JUMP 00000952: JUMPDEST 00000953: SWAP2 00000954: SWAP1 00000955: PUSH2 0x0e49 00000958: JUMP 00000959: JUMPDEST 0000095a: SWAP1 0000095b: POP 0000095c: PUSH2 0x096d 0000095f: DUP4 00000960: PUSH2 0x0967 00000963: PUSH2 0x0bfc 00000966: JUMP 00000967: JUMPDEST 00000968: DUP4 00000969: PUSH2 0x0c00 0000096c: JUMP 0000096d: JUMPDEST 0000096e: PUSH2 0x0977 00000971: DUP4 00000972: DUP4 00000973: PUSH2 0x11a2 00000976: JUMP 00000977: JUMPDEST 00000978: POP 00000979: POP 0000097a: POP 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH2 0x09a8 00000980: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 000009a1: PUSH2 0x06fd 000009a4: PUSH2 0x0bfc 000009a7: JUMP 000009a8: JUMPDEST 000009a9: PUSH2 0x09e3 000009ac: JUMPI 000009ad: PUSH1 0x40 000009af: MLOAD 000009b0: PUSH3 0x461bcd 000009b4: PUSH1 0xe5 000009b6: SHL 000009b7: DUP2 000009b8: MSTORE 000009b9: PUSH1 0x04 000009bb: ADD 000009bc: DUP1 000009bd: DUP1 000009be: PUSH1 0x20 000009c0: ADD 000009c1: DUP3 000009c2: DUP2 000009c3: SUB 000009c4: DUP3 000009c5: MSTORE 000009c6: PUSH1 0x37 000009c8: DUP2 000009c9: MSTORE 000009ca: PUSH1 0x20 000009cc: ADD 000009cd: DUP1 000009ce: PUSH2 0x17c7 000009d1: PUSH1 0x37 000009d3: SWAP2 000009d4: CODECOPY 000009d5: PUSH1 0x40 000009d7: ADD 000009d8: SWAP2 000009d9: POP 000009da: POP 000009db: PUSH1 0x40 000009dd: MLOAD 000009de: DUP1 000009df: SWAP2 000009e0: SUB 000009e1: SWAP1 000009e2: REVERT 000009e3: JUMPDEST 000009e4: PUSH2 0x0872 000009e7: PUSH2 0x129e 000009ea: JUMP 000009eb: JUMPDEST 000009ec: PUSH1 0x00 000009ee: DUP3 000009ef: DUP2 000009f0: MSTORE 000009f1: PUSH1 0x20 000009f3: DUP2 000009f4: SWAP1 000009f5: MSTORE 000009f6: PUSH1 0x40 000009f8: DUP2 000009f9: KECCAK256 000009fa: PUSH2 0x0a03 000009fd: SWAP1 000009fe: DUP4 000009ff: PUSH2 0x1326 00000a02: JUMP 00000a03: JUMPDEST 00000a04: SWAP4 00000a05: SWAP3 00000a06: POP 00000a07: POP 00000a08: POP 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: PUSH1 0x00 00000a0d: DUP3 00000a0e: DUP2 00000a0f: MSTORE 00000a10: PUSH1 0x20 00000a12: DUP2 00000a13: SWAP1 00000a14: MSTORE 00000a15: PUSH1 0x40 00000a17: DUP2 00000a18: KECCAK256 00000a19: PUSH2 0x0a03 00000a1c: SWAP1 00000a1d: DUP4 00000a1e: PUSH2 0x1332 00000a21: JUMP 00000a22: JUMPDEST 00000a23: PUSH1 0x05 00000a25: DUP1 00000a26: SLOAD 00000a27: PUSH1 0x40 00000a29: DUP1 00000a2a: MLOAD 00000a2b: PUSH1 0x20 00000a2d: PUSH1 0x1f 00000a2f: PUSH1 0x02 00000a31: PUSH1 0x00 00000a33: NOT 00000a34: PUSH2 0x0100 00000a37: PUSH1 0x01 00000a39: DUP9 00000a3a: AND 00000a3b: ISZERO 00000a3c: MUL 00000a3d: ADD 00000a3e: SWAP1 00000a3f: SWAP6 00000a40: AND 00000a41: SWAP5 00000a42: SWAP1 00000a43: SWAP5 00000a44: DIV 00000a45: SWAP4 00000a46: DUP5 00000a47: ADD 00000a48: DUP2 00000a49: SWAP1 00000a4a: DIV 00000a4b: DUP2 00000a4c: MUL 00000a4d: DUP3 00000a4e: ADD 00000a4f: DUP2 00000a50: ADD 00000a51: SWAP1 00000a52: SWAP3 00000a53: MSTORE 00000a54: DUP3 00000a55: DUP2 00000a56: MSTORE 00000a57: PUSH1 0x60 00000a59: SWAP4 00000a5a: SWAP1 00000a5b: SWAP3 00000a5c: SWAP1 00000a5d: SWAP2 00000a5e: DUP4 00000a5f: ADD 00000a60: DUP3 00000a61: DUP3 00000a62: DUP1 00000a63: ISZERO 00000a64: PUSH2 0x0615 00000a67: JUMPI 00000a68: DUP1 00000a69: PUSH1 0x1f 00000a6b: LT 00000a6c: PUSH2 0x05ea 00000a6f: JUMPI 00000a70: PUSH2 0x0100 00000a73: DUP1 00000a74: DUP4 00000a75: SLOAD 00000a76: DIV 00000a77: MUL 00000a78: DUP4 00000a79: MSTORE 00000a7a: SWAP2 00000a7b: PUSH1 0x20 00000a7d: ADD 00000a7e: SWAP2 00000a7f: PUSH2 0x0615 00000a82: JUMP 00000a83: JUMPDEST 00000a84: PUSH1 0x00 00000a86: DUP2 00000a87: JUMP 00000a88: JUMPDEST 00000a89: PUSH1 0x00 00000a8b: PUSH2 0x0633 00000a8e: PUSH2 0x0a95 00000a91: PUSH2 0x0bfc 00000a94: JUMP 00000a95: JUMPDEST 00000a96: DUP5 00000a97: PUSH2 0x06bb 00000a9a: DUP6 00000a9b: PUSH1 0x40 00000a9d: MLOAD 00000a9e: DUP1 00000a9f: PUSH1 0x60 00000aa1: ADD 00000aa2: PUSH1 0x40 00000aa4: MSTORE 00000aa5: DUP1 00000aa6: PUSH1 0x25 00000aa8: DUP2 00000aa9: MSTORE 00000aaa: PUSH1 0x20 00000aac: ADD 00000aad: PUSH2 0x17fe 00000ab0: PUSH1 0x25 00000ab2: SWAP2 00000ab3: CODECOPY 00000ab4: PUSH1 0x02 00000ab6: PUSH1 0x00 00000ab8: PUSH2 0x0abf 00000abb: PUSH2 0x0bfc 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: PUSH1 0x01 00000ac2: PUSH1 0x01 00000ac4: PUSH1 0xa0 00000ac6: SHL 00000ac7: SUB 00000ac8: SWAP1 00000ac9: DUP2 00000aca: AND 00000acb: DUP3 00000acc: MSTORE 00000acd: PUSH1 0x20 00000acf: DUP1 00000ad0: DUP4 00000ad1: ADD 00000ad2: SWAP4 00000ad3: SWAP1 00000ad4: SWAP4 00000ad5: MSTORE 00000ad6: PUSH1 0x40 00000ad8: SWAP2 00000ad9: DUP3 00000ada: ADD 00000adb: PUSH1 0x00 00000add: SWAP1 00000ade: DUP2 00000adf: KECCAK256 00000ae0: SWAP2 00000ae1: DUP14 00000ae2: AND 00000ae3: DUP2 00000ae4: MSTORE 00000ae5: SWAP3 00000ae6: MSTORE 00000ae7: SWAP1 00000ae8: KECCAK256 00000ae9: SLOAD 00000aea: SWAP2 00000aeb: SWAP1 00000aec: PUSH2 0x0e49 00000aef: JUMP 00000af0: JUMPDEST 00000af1: PUSH1 0x00 00000af3: PUSH2 0x0633 00000af6: PUSH2 0x0afd 00000af9: PUSH2 0x0bfc 00000afc: JUMP 00000afd: JUMPDEST 00000afe: DUP5 00000aff: DUP5 00000b00: PUSH2 0x0cec 00000b03: JUMP 00000b04: JUMPDEST 00000b05: PUSH1 0x00 00000b07: DUP2 00000b08: DUP2 00000b09: MSTORE 00000b0a: PUSH1 0x20 00000b0c: DUP2 00000b0d: SWAP1 00000b0e: MSTORE 00000b0f: PUSH1 0x40 00000b11: DUP2 00000b12: KECCAK256 00000b13: PUSH2 0x0637 00000b16: SWAP1 00000b17: PUSH2 0x1347 00000b1a: JUMP 00000b1b: JUMPDEST 00000b1c: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6 00000b3d: DUP2 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH1 0x00 00000b42: DUP3 00000b43: DUP2 00000b44: MSTORE 00000b45: PUSH1 0x20 00000b47: DUP2 00000b48: SWAP1 00000b49: MSTORE 00000b4a: PUSH1 0x40 00000b4c: SWAP1 00000b4d: KECCAK256 00000b4e: PUSH1 0x02 00000b50: ADD 00000b51: SLOAD 00000b52: PUSH2 0x0b5d 00000b55: SWAP1 00000b56: PUSH2 0x06fd 00000b59: PUSH2 0x0bfc 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH2 0x07ab 00000b61: JUMPI 00000b62: PUSH1 0x40 00000b64: MLOAD 00000b65: PUSH3 0x461bcd 00000b69: PUSH1 0xe5 00000b6b: SHL 00000b6c: DUP2 00000b6d: MSTORE 00000b6e: PUSH1 0x04 00000b70: ADD 00000b71: DUP1 00000b72: DUP1 00000b73: PUSH1 0x20 00000b75: ADD 00000b76: DUP3 00000b77: DUP2 00000b78: SUB 00000b79: DUP3 00000b7a: MSTORE 00000b7b: PUSH1 0x30 00000b7d: DUP2 00000b7e: MSTORE 00000b7f: PUSH1 0x20 00000b81: ADD 00000b82: DUP1 00000b83: PUSH2 0x16ab 00000b86: PUSH1 0x30 00000b88: SWAP2 00000b89: CODECOPY 00000b8a: PUSH1 0x40 00000b8c: ADD 00000b8d: SWAP2 00000b8e: POP 00000b8f: POP 00000b90: PUSH1 0x40 00000b92: MLOAD 00000b93: DUP1 00000b94: SWAP2 00000b95: SUB 00000b96: SWAP1 00000b97: REVERT 00000b98: JUMPDEST 00000b99: PUSH1 0x01 00000b9b: PUSH1 0x01 00000b9d: PUSH1 0xa0 00000b9f: SHL 00000ba0: SUB 00000ba1: SWAP2 00000ba2: DUP3 00000ba3: AND 00000ba4: PUSH1 0x00 00000ba6: SWAP1 00000ba7: DUP2 00000ba8: MSTORE 00000ba9: PUSH1 0x02 00000bab: PUSH1 0x20 00000bad: SWAP1 00000bae: DUP2 00000baf: MSTORE 00000bb0: PUSH1 0x40 00000bb2: DUP1 00000bb3: DUP4 00000bb4: KECCAK256 00000bb5: SWAP4 00000bb6: SWAP1 00000bb7: SWAP5 00000bb8: AND 00000bb9: DUP3 00000bba: MSTORE 00000bbb: SWAP2 00000bbc: SWAP1 00000bbd: SWAP2 00000bbe: MSTORE 00000bbf: KECCAK256 00000bc0: SLOAD 00000bc1: SWAP1 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 00000be5: DUP2 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH1 0x00 00000bea: PUSH2 0x0a03 00000bed: DUP4 00000bee: PUSH1 0x01 00000bf0: PUSH1 0x01 00000bf2: PUSH1 0xa0 00000bf4: SHL 00000bf5: SUB 00000bf6: DUP5 00000bf7: AND 00000bf8: PUSH2 0x1352 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: CALLER 00000bfe: SWAP1 00000bff: JUMP 00000c00: JUMPDEST 00000c01: PUSH1 0x01 00000c03: PUSH1 0x01 00000c05: PUSH1 0xa0 00000c07: SHL 00000c08: SUB 00000c09: DUP4 00000c0a: AND 00000c0b: PUSH2 0x0c45 00000c0e: JUMPI 00000c0f: PUSH1 0x40 00000c11: MLOAD 00000c12: PUSH3 0x461bcd 00000c16: PUSH1 0xe5 00000c18: SHL 00000c19: DUP2 00000c1a: MSTORE 00000c1b: PUSH1 0x04 00000c1d: ADD 00000c1e: DUP1 00000c1f: DUP1 00000c20: PUSH1 0x20 00000c22: ADD 00000c23: DUP3 00000c24: DUP2 00000c25: SUB 00000c26: DUP3 00000c27: MSTORE 00000c28: PUSH1 0x24 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x20 00000c2e: ADD 00000c2f: DUP1 00000c30: PUSH2 0x17a3 00000c33: PUSH1 0x24 00000c35: SWAP2 00000c36: CODECOPY 00000c37: PUSH1 0x40 00000c39: ADD 00000c3a: SWAP2 00000c3b: POP 00000c3c: POP 00000c3d: PUSH1 0x40 00000c3f: MLOAD 00000c40: DUP1 00000c41: SWAP2 00000c42: SUB 00000c43: SWAP1 00000c44: REVERT 00000c45: JUMPDEST 00000c46: PUSH1 0x01 00000c48: PUSH1 0x01 00000c4a: PUSH1 0xa0 00000c4c: SHL 00000c4d: SUB 00000c4e: DUP3 00000c4f: AND 00000c50: PUSH2 0x0c8a 00000c53: JUMPI 00000c54: PUSH1 0x40 00000c56: MLOAD 00000c57: PUSH3 0x461bcd 00000c5b: PUSH1 0xe5 00000c5d: SHL 00000c5e: DUP2 00000c5f: MSTORE 00000c60: PUSH1 0x04 00000c62: ADD 00000c63: DUP1 00000c64: DUP1 00000c65: PUSH1 0x20 00000c67: ADD 00000c68: DUP3 00000c69: DUP2 00000c6a: SUB 00000c6b: DUP3 00000c6c: MSTORE 00000c6d: PUSH1 0x22 00000c6f: DUP2 00000c70: MSTORE 00000c71: PUSH1 0x20 00000c73: ADD 00000c74: DUP1 00000c75: PUSH2 0x1663 00000c78: PUSH1 0x22 00000c7a: SWAP2 00000c7b: CODECOPY 00000c7c: PUSH1 0x40 00000c7e: ADD 00000c7f: SWAP2 00000c80: POP 00000c81: POP 00000c82: PUSH1 0x40 00000c84: MLOAD 00000c85: DUP1 00000c86: SWAP2 00000c87: SUB 00000c88: SWAP1 00000c89: REVERT 00000c8a: JUMPDEST 00000c8b: PUSH1 0x01 00000c8d: PUSH1 0x01 00000c8f: PUSH1 0xa0 00000c91: SHL 00000c92: SUB 00000c93: DUP1 00000c94: DUP5 00000c95: AND 00000c96: PUSH1 0x00 00000c98: DUP2 00000c99: DUP2 00000c9a: MSTORE 00000c9b: PUSH1 0x02 00000c9d: PUSH1 0x20 00000c9f: SWAP1 00000ca0: DUP2 00000ca1: MSTORE 00000ca2: PUSH1 0x40 00000ca4: DUP1 00000ca5: DUP4 00000ca6: KECCAK256 00000ca7: SWAP5 00000ca8: DUP8 00000ca9: AND 00000caa: DUP1 00000cab: DUP5 00000cac: MSTORE 00000cad: SWAP5 00000cae: DUP3 00000caf: MSTORE 00000cb0: SWAP2 00000cb1: DUP3 00000cb2: SWAP1 00000cb3: KECCAK256 00000cb4: DUP6 00000cb5: SWAP1 00000cb6: SSTORE 00000cb7: DUP2 00000cb8: MLOAD 00000cb9: DUP6 00000cba: DUP2 00000cbb: MSTORE 00000cbc: SWAP2 00000cbd: MLOAD 00000cbe: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000cdf: SWAP3 00000ce0: DUP2 00000ce1: SWAP1 00000ce2: SUB 00000ce3: SWAP1 00000ce4: SWAP2 00000ce5: ADD 00000ce6: SWAP1 00000ce7: LOG3 00000ce8: POP 00000ce9: POP 00000cea: POP 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: PUSH1 0x01 00000cef: PUSH1 0x01 00000cf1: PUSH1 0xa0 00000cf3: SHL 00000cf4: SUB 00000cf5: DUP4 00000cf6: AND 00000cf7: PUSH2 0x0d31 00000cfa: JUMPI 00000cfb: PUSH1 0x40 00000cfd: MLOAD 00000cfe: PUSH3 0x461bcd 00000d02: PUSH1 0xe5 00000d04: SHL 00000d05: DUP2 00000d06: MSTORE 00000d07: PUSH1 0x04 00000d09: ADD 00000d0a: DUP1 00000d0b: DUP1 00000d0c: PUSH1 0x20 00000d0e: ADD 00000d0f: DUP3 00000d10: DUP2 00000d11: SUB 00000d12: DUP3 00000d13: MSTORE 00000d14: PUSH1 0x25 00000d16: DUP2 00000d17: MSTORE 00000d18: PUSH1 0x20 00000d1a: ADD 00000d1b: DUP1 00000d1c: PUSH2 0x177e 00000d1f: PUSH1 0x25 00000d21: SWAP2 00000d22: CODECOPY 00000d23: PUSH1 0x40 00000d25: ADD 00000d26: SWAP2 00000d27: POP 00000d28: POP 00000d29: PUSH1 0x40 00000d2b: MLOAD 00000d2c: DUP1 00000d2d: SWAP2 00000d2e: SUB 00000d2f: SWAP1 00000d30: REVERT 00000d31: JUMPDEST 00000d32: PUSH1 0x01 00000d34: PUSH1 0x01 00000d36: PUSH1 0xa0 00000d38: SHL 00000d39: SUB 00000d3a: DUP3 00000d3b: AND 00000d3c: PUSH2 0x0d76 00000d3f: JUMPI 00000d40: PUSH1 0x40 00000d42: MLOAD 00000d43: PUSH3 0x461bcd 00000d47: PUSH1 0xe5 00000d49: SHL 00000d4a: DUP2 00000d4b: MSTORE 00000d4c: PUSH1 0x04 00000d4e: ADD 00000d4f: DUP1 00000d50: DUP1 00000d51: PUSH1 0x20 00000d53: ADD 00000d54: DUP3 00000d55: DUP2 00000d56: SUB 00000d57: DUP3 00000d58: MSTORE 00000d59: PUSH1 0x23 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: PUSH1 0x20 00000d5f: ADD 00000d60: DUP1 00000d61: PUSH2 0x15b6 00000d64: PUSH1 0x23 00000d66: SWAP2 00000d67: CODECOPY 00000d68: PUSH1 0x40 00000d6a: ADD 00000d6b: SWAP2 00000d6c: POP 00000d6d: POP 00000d6e: PUSH1 0x40 00000d70: MLOAD 00000d71: DUP1 00000d72: SWAP2 00000d73: SUB 00000d74: SWAP1 00000d75: REVERT 00000d76: JUMPDEST 00000d77: PUSH2 0x0d81 00000d7a: DUP4 00000d7b: DUP4 00000d7c: DUP4 00000d7d: PUSH2 0x139c 00000d80: JUMP 00000d81: JUMPDEST 00000d82: PUSH2 0x0dbe 00000d85: DUP2 00000d86: PUSH1 0x40 00000d88: MLOAD 00000d89: DUP1 00000d8a: PUSH1 0x60 00000d8c: ADD 00000d8d: PUSH1 0x40 00000d8f: MSTORE 00000d90: DUP1 00000d91: PUSH1 0x26 00000d93: DUP2 00000d94: MSTORE 00000d95: PUSH1 0x20 00000d97: ADD 00000d98: PUSH2 0x1685 00000d9b: PUSH1 0x26 00000d9d: SWAP2 00000d9e: CODECOPY 00000d9f: PUSH1 0x01 00000da1: PUSH1 0x01 00000da3: PUSH1 0xa0 00000da5: SHL 00000da6: SUB 00000da7: DUP7 00000da8: AND 00000da9: PUSH1 0x00 00000dab: SWAP1 00000dac: DUP2 00000dad: MSTORE 00000dae: PUSH1 0x01 00000db0: PUSH1 0x20 00000db2: MSTORE 00000db3: PUSH1 0x40 00000db5: SWAP1 00000db6: KECCAK256 00000db7: SLOAD 00000db8: SWAP2 00000db9: SWAP1 00000dba: PUSH2 0x0e49 00000dbd: JUMP 00000dbe: JUMPDEST 00000dbf: PUSH1 0x01 00000dc1: PUSH1 0x01 00000dc3: PUSH1 0xa0 00000dc5: SHL 00000dc6: SUB 00000dc7: DUP1 00000dc8: DUP6 00000dc9: AND 00000dca: PUSH1 0x00 00000dcc: SWAP1 00000dcd: DUP2 00000dce: MSTORE 00000dcf: PUSH1 0x01 00000dd1: PUSH1 0x20 00000dd3: MSTORE 00000dd4: PUSH1 0x40 00000dd6: DUP1 00000dd7: DUP3 00000dd8: KECCAK256 00000dd9: SWAP4 00000dda: SWAP1 00000ddb: SWAP4 00000ddc: SSTORE 00000ddd: SWAP1 00000dde: DUP5 00000ddf: AND 00000de0: DUP2 00000de1: MSTORE 00000de2: KECCAK256 00000de3: SLOAD 00000de4: PUSH2 0x0ded 00000de7: SWAP1 00000de8: DUP3 00000de9: PUSH2 0x0fb2 00000dec: JUMP 00000ded: JUMPDEST 00000dee: PUSH1 0x01 00000df0: PUSH1 0x01 00000df2: PUSH1 0xa0 00000df4: SHL 00000df5: SUB 00000df6: DUP1 00000df7: DUP5 00000df8: AND 00000df9: PUSH1 0x00 00000dfb: DUP2 00000dfc: DUP2 00000dfd: MSTORE 00000dfe: PUSH1 0x01 00000e00: PUSH1 0x20 00000e02: SWAP1 00000e03: DUP2 00000e04: MSTORE 00000e05: PUSH1 0x40 00000e07: SWAP2 00000e08: DUP3 00000e09: SWAP1 00000e0a: KECCAK256 00000e0b: SWAP5 00000e0c: SWAP1 00000e0d: SWAP5 00000e0e: SSTORE 00000e0f: DUP1 00000e10: MLOAD 00000e11: DUP6 00000e12: DUP2 00000e13: MSTORE 00000e14: SWAP1 00000e15: MLOAD 00000e16: SWAP2 00000e17: SWAP4 00000e18: SWAP3 00000e19: DUP8 00000e1a: AND 00000e1b: SWAP3 00000e1c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000e3d: SWAP3 00000e3e: SWAP2 00000e3f: DUP3 00000e40: SWAP1 00000e41: SUB 00000e42: ADD 00000e43: SWAP1 00000e44: LOG3 00000e45: POP 00000e46: POP 00000e47: POP 00000e48: JUMP 00000e49: JUMPDEST 00000e4a: PUSH1 0x00 00000e4c: DUP2 00000e4d: DUP5 00000e4e: DUP5 00000e4f: GT 00000e50: ISZERO 00000e51: PUSH2 0x0ed8 00000e54: JUMPI 00000e55: PUSH1 0x40 00000e57: MLOAD 00000e58: PUSH3 0x461bcd 00000e5c: PUSH1 0xe5 00000e5e: SHL 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x04 00000e63: ADD 00000e64: DUP1 00000e65: DUP1 00000e66: PUSH1 0x20 00000e68: ADD 00000e69: DUP3 00000e6a: DUP2 00000e6b: SUB 00000e6c: DUP3 00000e6d: MSTORE 00000e6e: DUP4 00000e6f: DUP2 00000e70: DUP2 00000e71: MLOAD 00000e72: DUP2 00000e73: MSTORE 00000e74: PUSH1 0x20 00000e76: ADD 00000e77: SWAP2 00000e78: POP 00000e79: DUP1 00000e7a: MLOAD 00000e7b: SWAP1 00000e7c: PUSH1 0x20 00000e7e: ADD 00000e7f: SWAP1 00000e80: DUP1 00000e81: DUP4 00000e82: DUP4 00000e83: PUSH1 0x00 00000e85: JUMPDEST 00000e86: DUP4 00000e87: DUP2 00000e88: LT 00000e89: ISZERO 00000e8a: PUSH2 0x0e9d 00000e8d: JUMPI 00000e8e: DUP2 00000e8f: DUP2 00000e90: ADD 00000e91: MLOAD 00000e92: DUP4 00000e93: DUP3 00000e94: ADD 00000e95: MSTORE 00000e96: PUSH1 0x20 00000e98: ADD 00000e99: PUSH2 0x0e85 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: POP 00000e9f: POP 00000ea0: POP 00000ea1: POP 00000ea2: SWAP1 00000ea3: POP 00000ea4: SWAP1 00000ea5: DUP2 00000ea6: ADD 00000ea7: SWAP1 00000ea8: PUSH1 0x1f 00000eaa: AND 00000eab: DUP1 00000eac: ISZERO 00000ead: PUSH2 0x0eca 00000eb0: JUMPI 00000eb1: DUP1 00000eb2: DUP3 00000eb3: SUB 00000eb4: DUP1 00000eb5: MLOAD 00000eb6: PUSH1 0x01 00000eb8: DUP4 00000eb9: PUSH1 0x20 00000ebb: SUB 00000ebc: PUSH2 0x0100 00000ebf: EXP 00000ec0: SUB 00000ec1: NOT 00000ec2: AND 00000ec3: DUP2 00000ec4: MSTORE 00000ec5: PUSH1 0x20 00000ec7: ADD 00000ec8: SWAP2 00000ec9: POP 00000eca: JUMPDEST 00000ecb: POP 00000ecc: SWAP3 00000ecd: POP 00000ece: POP 00000ecf: POP 00000ed0: PUSH1 0x40 00000ed2: MLOAD 00000ed3: DUP1 00000ed4: SWAP2 00000ed5: SUB 00000ed6: SWAP1 00000ed7: REVERT 00000ed8: JUMPDEST 00000ed9: POP 00000eda: POP 00000edb: POP 00000edc: SWAP1 00000edd: SUB 00000ede: SWAP1 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: PUSH1 0x00 00000ee3: DUP3 00000ee4: DUP2 00000ee5: MSTORE 00000ee6: PUSH1 0x20 00000ee8: DUP2 00000ee9: SWAP1 00000eea: MSTORE 00000eeb: PUSH1 0x40 00000eed: SWAP1 00000eee: KECCAK256 00000eef: PUSH2 0x0ef8 00000ef2: SWAP1 00000ef3: DUP3 00000ef4: PUSH2 0x0be7 00000ef7: JUMP 00000ef8: JUMPDEST 00000ef9: ISZERO 00000efa: PUSH2 0x0747 00000efd: JUMPI 00000efe: PUSH2 0x0f05 00000f01: PUSH2 0x0bfc 00000f04: JUMP 00000f05: JUMPDEST 00000f06: PUSH1 0x01 00000f08: PUSH1 0x01 00000f0a: PUSH1 0xa0 00000f0c: SHL 00000f0d: SUB 00000f0e: AND 00000f0f: DUP2 00000f10: PUSH1 0x01 00000f12: PUSH1 0x01 00000f14: PUSH1 0xa0 00000f16: SHL 00000f17: SUB 00000f18: AND 00000f19: DUP4 00000f1a: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00000f3b: PUSH1 0x40 00000f3d: MLOAD 00000f3e: PUSH1 0x40 00000f40: MLOAD 00000f41: DUP1 00000f42: SWAP2 00000f43: SUB 00000f44: SWAP1 00000f45: LOG4 00000f46: POP 00000f47: POP 00000f48: JUMP 00000f49: JUMPDEST 00000f4a: PUSH1 0x00 00000f4c: DUP3 00000f4d: DUP2 00000f4e: MSTORE 00000f4f: PUSH1 0x20 00000f51: DUP2 00000f52: SWAP1 00000f53: MSTORE 00000f54: PUSH1 0x40 00000f56: SWAP1 00000f57: KECCAK256 00000f58: PUSH2 0x0f61 00000f5b: SWAP1 00000f5c: DUP3 00000f5d: PUSH2 0x13a7 00000f60: JUMP 00000f61: JUMPDEST 00000f62: ISZERO 00000f63: PUSH2 0x0747 00000f66: JUMPI 00000f67: PUSH2 0x0f6e 00000f6a: PUSH2 0x0bfc 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: PUSH1 0x01 00000f71: PUSH1 0x01 00000f73: PUSH1 0xa0 00000f75: SHL 00000f76: SUB 00000f77: AND 00000f78: DUP2 00000f79: PUSH1 0x01 00000f7b: PUSH1 0x01 00000f7d: PUSH1 0xa0 00000f7f: SHL 00000f80: SUB 00000f81: AND 00000f82: DUP4 00000f83: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00000fa4: PUSH1 0x40 00000fa6: MLOAD 00000fa7: PUSH1 0x40 00000fa9: MLOAD 00000faa: DUP1 00000fab: SWAP2 00000fac: SUB 00000fad: SWAP1 00000fae: LOG4 00000faf: POP 00000fb0: POP 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: PUSH1 0x00 00000fb5: DUP3 00000fb6: DUP3 00000fb7: ADD 00000fb8: DUP4 00000fb9: DUP2 00000fba: LT 00000fbb: ISZERO 00000fbc: PUSH2 0x0a03 00000fbf: JUMPI 00000fc0: PUSH1 0x40 00000fc2: DUP1 00000fc3: MLOAD 00000fc4: PUSH3 0x461bcd 00000fc8: PUSH1 0xe5 00000fca: SHL 00000fcb: DUP2 00000fcc: MSTORE 00000fcd: PUSH1 0x20 00000fcf: PUSH1 0x04 00000fd1: DUP3 00000fd2: ADD 00000fd3: MSTORE 00000fd4: PUSH1 0x1b 00000fd6: PUSH1 0x24 00000fd8: DUP3 00000fd9: ADD 00000fda: MSTORE 00000fdb: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000ffc: PUSH1 0x44 00000ffe: DUP3 00000fff: ADD 00001000: MSTORE 00001001: SWAP1 00001002: MLOAD 00001003: SWAP1 00001004: DUP2 00001005: SWAP1 00001006: SUB 00001007: PUSH1 0x64 00001009: ADD 0000100a: SWAP1 0000100b: REVERT 0000100c: JUMPDEST 0000100d: PUSH1 0x06 0000100f: SLOAD 00001010: PUSH2 0x0100 00001013: SWAP1 00001014: DIV 00001015: PUSH1 0xff 00001017: AND 00001018: PUSH2 0x105f 0000101b: JUMPI 0000101c: PUSH1 0x40 0000101e: DUP1 0000101f: MLOAD 00001020: PUSH3 0x461bcd 00001024: PUSH1 0xe5 00001026: SHL 00001027: DUP2 00001028: MSTORE 00001029: PUSH1 0x20 0000102b: PUSH1 0x04 0000102d: DUP3 0000102e: ADD 0000102f: MSTORE 00001030: PUSH1 0x14 00001032: PUSH1 0x24 00001034: DUP3 00001035: ADD 00001036: MSTORE 00001037: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 0000104c: PUSH1 0x62 0000104e: SHL 0000104f: PUSH1 0x44 00001051: DUP3 00001052: ADD 00001053: MSTORE 00001054: SWAP1 00001055: MLOAD 00001056: SWAP1 00001057: DUP2 00001058: SWAP1 00001059: SUB 0000105a: PUSH1 0x64 0000105c: ADD 0000105d: SWAP1 0000105e: REVERT 0000105f: JUMPDEST 00001060: PUSH1 0x06 00001062: DUP1 00001063: SLOAD 00001064: PUSH2 0xff00 00001067: NOT 00001068: AND 00001069: SWAP1 0000106a: SSTORE 0000106b: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 0000108c: PUSH2 0x1093 0000108f: PUSH2 0x0bfc 00001092: JUMP 00001093: JUMPDEST 00001094: PUSH1 0x40 00001096: DUP1 00001097: MLOAD 00001098: PUSH1 0x01 0000109a: PUSH1 0x01 0000109c: PUSH1 0xa0 0000109e: SHL 0000109f: SUB 000010a0: SWAP1 000010a1: SWAP3 000010a2: AND 000010a3: DUP3 000010a4: MSTORE 000010a5: MLOAD 000010a6: SWAP1 000010a7: DUP2 000010a8: SWAP1 000010a9: SUB 000010aa: PUSH1 0x20 000010ac: ADD 000010ad: SWAP1 000010ae: LOG1 000010af: JUMP 000010b0: JUMPDEST 000010b1: PUSH1 0x01 000010b3: PUSH1 0x01 000010b5: PUSH1 0xa0 000010b7: SHL 000010b8: SUB 000010b9: DUP3 000010ba: AND 000010bb: PUSH2 0x110b 000010be: JUMPI 000010bf: PUSH1 0x40 000010c1: DUP1 000010c2: MLOAD 000010c3: PUSH3 0x461bcd 000010c7: PUSH1 0xe5 000010c9: SHL 000010ca: DUP2 000010cb: MSTORE 000010cc: PUSH1 0x20 000010ce: PUSH1 0x04 000010d0: DUP3 000010d1: ADD 000010d2: MSTORE 000010d3: PUSH1 0x1f 000010d5: PUSH1 0x24 000010d7: DUP3 000010d8: ADD 000010d9: MSTORE 000010da: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 000010fb: PUSH1 0x44 000010fd: DUP3 000010fe: ADD 000010ff: MSTORE 00001100: SWAP1 00001101: MLOAD 00001102: SWAP1 00001103: DUP2 00001104: SWAP1 00001105: SUB 00001106: PUSH1 0x64 00001108: ADD 00001109: SWAP1 0000110a: REVERT 0000110b: JUMPDEST 0000110c: PUSH2 0x1117 0000110f: PUSH1 0x00 00001111: DUP4 00001112: DUP4 00001113: PUSH2 0x139c 00001116: JUMP 00001117: JUMPDEST 00001118: PUSH1 0x03 0000111a: SLOAD 0000111b: PUSH2 0x1124 0000111e: SWAP1 0000111f: DUP3 00001120: PUSH2 0x0fb2 00001123: JUMP 00001124: JUMPDEST 00001125: PUSH1 0x03 00001127: SSTORE 00001128: PUSH1 0x01 0000112a: PUSH1 0x01 0000112c: PUSH1 0xa0 0000112e: SHL 0000112f: SUB 00001130: DUP3 00001131: AND 00001132: PUSH1 0x00 00001134: SWAP1 00001135: DUP2 00001136: MSTORE 00001137: PUSH1 0x01 00001139: PUSH1 0x20 0000113b: MSTORE 0000113c: PUSH1 0x40 0000113e: SWAP1 0000113f: KECCAK256 00001140: SLOAD 00001141: PUSH2 0x114a 00001144: SWAP1 00001145: DUP3 00001146: PUSH2 0x0fb2 00001149: JUMP 0000114a: JUMPDEST 0000114b: PUSH1 0x01 0000114d: PUSH1 0x01 0000114f: PUSH1 0xa0 00001151: SHL 00001152: SUB 00001153: DUP4 00001154: AND 00001155: PUSH1 0x00 00001157: DUP2 00001158: DUP2 00001159: MSTORE 0000115a: PUSH1 0x01 0000115c: PUSH1 0x20 0000115e: SWAP1 0000115f: DUP2 00001160: MSTORE 00001161: PUSH1 0x40 00001163: DUP1 00001164: DUP4 00001165: KECCAK256 00001166: SWAP5 00001167: SWAP1 00001168: SWAP5 00001169: SSTORE 0000116a: DUP4 0000116b: MLOAD 0000116c: DUP6 0000116d: DUP2 0000116e: MSTORE 0000116f: SWAP4 00001170: MLOAD 00001171: SWAP3 00001172: SWAP4 00001173: SWAP2 00001174: SWAP3 00001175: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001196: SWAP3 00001197: DUP2 00001198: SWAP1 00001199: SUB 0000119a: SWAP1 0000119b: SWAP2 0000119c: ADD 0000119d: SWAP1 0000119e: LOG3 0000119f: POP 000011a0: POP 000011a1: JUMP 000011a2: JUMPDEST 000011a3: PUSH1 0x01 000011a5: PUSH1 0x01 000011a7: PUSH1 0xa0 000011a9: SHL 000011aa: SUB 000011ab: DUP3 000011ac: AND 000011ad: PUSH2 0x11e7 000011b0: JUMPI 000011b1: PUSH1 0x40 000011b3: MLOAD 000011b4: PUSH3 0x461bcd 000011b8: PUSH1 0xe5 000011ba: SHL 000011bb: DUP2 000011bc: MSTORE 000011bd: PUSH1 0x04 000011bf: ADD 000011c0: DUP1 000011c1: DUP1 000011c2: PUSH1 0x20 000011c4: ADD 000011c5: DUP3 000011c6: DUP2 000011c7: SUB 000011c8: DUP3 000011c9: MSTORE 000011ca: PUSH1 0x21 000011cc: DUP2 000011cd: MSTORE 000011ce: PUSH1 0x20 000011d0: ADD 000011d1: DUP1 000011d2: PUSH2 0x175d 000011d5: PUSH1 0x21 000011d7: SWAP2 000011d8: CODECOPY 000011d9: PUSH1 0x40 000011db: ADD 000011dc: SWAP2 000011dd: POP 000011de: POP 000011df: PUSH1 0x40 000011e1: MLOAD 000011e2: DUP1 000011e3: SWAP2 000011e4: SUB 000011e5: SWAP1 000011e6: REVERT 000011e7: JUMPDEST 000011e8: PUSH2 0x11f3 000011eb: DUP3 000011ec: PUSH1 0x00 000011ee: DUP4 000011ef: PUSH2 0x139c 000011f2: JUMP 000011f3: JUMPDEST 000011f4: PUSH2 0x1230 000011f7: DUP2 000011f8: PUSH1 0x40 000011fa: MLOAD 000011fb: DUP1 000011fc: PUSH1 0x60 000011fe: ADD 000011ff: PUSH1 0x40 00001201: MSTORE 00001202: DUP1 00001203: PUSH1 0x22 00001205: DUP2 00001206: MSTORE 00001207: PUSH1 0x20 00001209: ADD 0000120a: PUSH2 0x1608 0000120d: PUSH1 0x22 0000120f: SWAP2 00001210: CODECOPY 00001211: PUSH1 0x01 00001213: PUSH1 0x01 00001215: PUSH1 0xa0 00001217: SHL 00001218: SUB 00001219: DUP6 0000121a: AND 0000121b: PUSH1 0x00 0000121d: SWAP1 0000121e: DUP2 0000121f: MSTORE 00001220: PUSH1 0x01 00001222: PUSH1 0x20 00001224: MSTORE 00001225: PUSH1 0x40 00001227: SWAP1 00001228: KECCAK256 00001229: SLOAD 0000122a: SWAP2 0000122b: SWAP1 0000122c: PUSH2 0x0e49 0000122f: JUMP 00001230: JUMPDEST 00001231: PUSH1 0x01 00001233: PUSH1 0x01 00001235: PUSH1 0xa0 00001237: SHL 00001238: SUB 00001239: DUP4 0000123a: AND 0000123b: PUSH1 0x00 0000123d: SWAP1 0000123e: DUP2 0000123f: MSTORE 00001240: PUSH1 0x01 00001242: PUSH1 0x20 00001244: MSTORE 00001245: PUSH1 0x40 00001247: SWAP1 00001248: KECCAK256 00001249: SSTORE 0000124a: PUSH1 0x03 0000124c: SLOAD 0000124d: PUSH2 0x1256 00001250: SWAP1 00001251: DUP3 00001252: PUSH2 0x13bc 00001255: JUMP 00001256: JUMPDEST 00001257: PUSH1 0x03 00001259: SSTORE 0000125a: PUSH1 0x40 0000125c: DUP1 0000125d: MLOAD 0000125e: DUP3 0000125f: DUP2 00001260: MSTORE 00001261: SWAP1 00001262: MLOAD 00001263: PUSH1 0x00 00001265: SWAP2 00001266: PUSH1 0x01 00001268: PUSH1 0x01 0000126a: PUSH1 0xa0 0000126c: SHL 0000126d: SUB 0000126e: DUP6 0000126f: AND 00001270: SWAP2 00001271: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001292: SWAP2 00001293: DUP2 00001294: SWAP1 00001295: SUB 00001296: PUSH1 0x20 00001298: ADD 00001299: SWAP1 0000129a: LOG3 0000129b: POP 0000129c: POP 0000129d: JUMP 0000129e: JUMPDEST 0000129f: PUSH1 0x06 000012a1: SLOAD 000012a2: PUSH2 0x0100 000012a5: SWAP1 000012a6: DIV 000012a7: PUSH1 0xff 000012a9: AND 000012aa: ISZERO 000012ab: PUSH2 0x12ee 000012ae: JUMPI 000012af: PUSH1 0x40 000012b1: DUP1 000012b2: MLOAD 000012b3: PUSH3 0x461bcd 000012b7: PUSH1 0xe5 000012b9: SHL 000012ba: DUP2 000012bb: MSTORE 000012bc: PUSH1 0x20 000012be: PUSH1 0x04 000012c0: DUP3 000012c1: ADD 000012c2: MSTORE 000012c3: PUSH1 0x10 000012c5: PUSH1 0x24 000012c7: DUP3 000012c8: ADD 000012c9: MSTORE 000012ca: PUSH16 0x14185d5cd8589b194e881c185d5cd959 000012db: PUSH1 0x82 000012dd: SHL 000012de: PUSH1 0x44 000012e0: DUP3 000012e1: ADD 000012e2: MSTORE 000012e3: SWAP1 000012e4: MLOAD 000012e5: SWAP1 000012e6: DUP2 000012e7: SWAP1 000012e8: SUB 000012e9: PUSH1 0x64 000012eb: ADD 000012ec: SWAP1 000012ed: REVERT 000012ee: JUMPDEST 000012ef: PUSH1 0x06 000012f1: DUP1 000012f2: SLOAD 000012f3: PUSH2 0xff00 000012f6: NOT 000012f7: AND 000012f8: PUSH2 0x0100 000012fb: OR 000012fc: SWAP1 000012fd: SSTORE 000012fe: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 0000131f: PUSH2 0x1093 00001322: PUSH2 0x0bfc 00001325: JUMP 00001326: JUMPDEST 00001327: PUSH1 0x00 00001329: PUSH2 0x0a03 0000132c: DUP4 0000132d: DUP4 0000132e: PUSH2 0x13fe 00001331: JUMP 00001332: JUMPDEST 00001333: PUSH1 0x00 00001335: PUSH2 0x0a03 00001338: DUP4 00001339: PUSH1 0x01 0000133b: PUSH1 0x01 0000133d: PUSH1 0xa0 0000133f: SHL 00001340: SUB 00001341: DUP5 00001342: AND 00001343: PUSH2 0x1462 00001346: JUMP 00001347: JUMPDEST 00001348: PUSH1 0x00 0000134a: PUSH2 0x0637 0000134d: DUP3 0000134e: PUSH2 0x147a 00001351: JUMP 00001352: JUMPDEST 00001353: PUSH1 0x00 00001355: PUSH2 0x135e 00001358: DUP4 00001359: DUP4 0000135a: PUSH2 0x1462 0000135d: JUMP 0000135e: JUMPDEST 0000135f: PUSH2 0x1394 00001362: JUMPI 00001363: POP 00001364: DUP2 00001365: SLOAD 00001366: PUSH1 0x01 00001368: DUP2 00001369: DUP2 0000136a: ADD 0000136b: DUP5 0000136c: SSTORE 0000136d: PUSH1 0x00 0000136f: DUP5 00001370: DUP2 00001371: MSTORE 00001372: PUSH1 0x20 00001374: DUP1 00001375: DUP3 00001376: KECCAK256 00001377: SWAP1 00001378: SWAP4 00001379: ADD 0000137a: DUP5 0000137b: SWAP1 0000137c: SSTORE 0000137d: DUP5 0000137e: SLOAD 0000137f: DUP5 00001380: DUP3 00001381: MSTORE 00001382: DUP3 00001383: DUP7 00001384: ADD 00001385: SWAP1 00001386: SWAP4 00001387: MSTORE 00001388: PUSH1 0x40 0000138a: SWAP1 0000138b: KECCAK256 0000138c: SWAP2 0000138d: SWAP1 0000138e: SWAP2 0000138f: SSTORE 00001390: PUSH2 0x0637 00001393: JUMP 00001394: JUMPDEST 00001395: POP 00001396: PUSH1 0x00 00001398: PUSH2 0x0637 0000139b: JUMP 0000139c: JUMPDEST 0000139d: PUSH2 0x0977 000013a0: DUP4 000013a1: DUP4 000013a2: DUP4 000013a3: PUSH2 0x147e 000013a6: JUMP 000013a7: JUMPDEST 000013a8: PUSH1 0x00 000013aa: PUSH2 0x0a03 000013ad: DUP4 000013ae: PUSH1 0x01 000013b0: PUSH1 0x01 000013b2: PUSH1 0xa0 000013b4: SHL 000013b5: SUB 000013b6: DUP5 000013b7: AND 000013b8: PUSH2 0x14cd 000013bb: JUMP 000013bc: JUMPDEST 000013bd: PUSH1 0x00 000013bf: PUSH2 0x0a03 000013c2: DUP4 000013c3: DUP4 000013c4: PUSH1 0x40 000013c6: MLOAD 000013c7: DUP1 000013c8: PUSH1 0x40 000013ca: ADD 000013cb: PUSH1 0x40 000013cd: MSTORE 000013ce: DUP1 000013cf: PUSH1 0x1e 000013d1: DUP2 000013d2: MSTORE 000013d3: PUSH1 0x20 000013d5: ADD 000013d6: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000013f7: DUP2 000013f8: MSTORE 000013f9: POP 000013fa: PUSH2 0x0e49 000013fd: JUMP 000013fe: JUMPDEST 000013ff: DUP2 00001400: SLOAD 00001401: PUSH1 0x00 00001403: SWAP1 00001404: DUP3 00001405: LT 00001406: PUSH2 0x1440 00001409: JUMPI 0000140a: PUSH1 0x40 0000140c: MLOAD 0000140d: PUSH3 0x461bcd 00001411: PUSH1 0xe5 00001413: SHL 00001414: DUP2 00001415: MSTORE 00001416: PUSH1 0x04 00001418: ADD 00001419: DUP1 0000141a: DUP1 0000141b: PUSH1 0x20 0000141d: ADD 0000141e: DUP3 0000141f: DUP2 00001420: SUB 00001421: DUP3 00001422: MSTORE 00001423: PUSH1 0x22 00001425: DUP2 00001426: MSTORE 00001427: PUSH1 0x20 00001429: ADD 0000142a: DUP1 0000142b: PUSH2 0x1594 0000142e: PUSH1 0x22 00001430: SWAP2 00001431: CODECOPY 00001432: PUSH1 0x40 00001434: ADD 00001435: SWAP2 00001436: POP 00001437: POP 00001438: PUSH1 0x40 0000143a: MLOAD 0000143b: DUP1 0000143c: SWAP2 0000143d: SUB 0000143e: SWAP1 0000143f: REVERT 00001440: JUMPDEST 00001441: DUP3 00001442: PUSH1 0x00 00001444: ADD 00001445: DUP3 00001446: DUP2 00001447: SLOAD 00001448: DUP2 00001449: LT 0000144a: PUSH2 0x144f 0000144d: JUMPI 0000144e: INVALID 0000144f: JUMPDEST 00001450: SWAP1 00001451: PUSH1 0x00 00001453: MSTORE 00001454: PUSH1 0x20 00001456: PUSH1 0x00 00001458: KECCAK256 00001459: ADD 0000145a: SLOAD 0000145b: SWAP1 0000145c: POP 0000145d: SWAP3 0000145e: SWAP2 0000145f: POP 00001460: POP 00001461: JUMP 00001462: JUMPDEST 00001463: PUSH1 0x00 00001465: SWAP1 00001466: DUP2 00001467: MSTORE 00001468: PUSH1 0x01 0000146a: SWAP2 0000146b: SWAP1 0000146c: SWAP2 0000146d: ADD 0000146e: PUSH1 0x20 00001470: MSTORE 00001471: PUSH1 0x40 00001473: SWAP1 00001474: KECCAK256 00001475: SLOAD 00001476: ISZERO 00001477: ISZERO 00001478: SWAP1 00001479: JUMP 0000147a: JUMPDEST 0000147b: SLOAD 0000147c: SWAP1 0000147d: JUMP 0000147e: JUMPDEST 0000147f: PUSH2 0x1489 00001482: DUP4 00001483: DUP4 00001484: DUP4 00001485: PUSH2 0x0977 00001488: JUMP 00001489: JUMPDEST 0000148a: PUSH2 0x1491 0000148d: PUSH2 0x08f9 00001490: JUMP 00001491: JUMPDEST 00001492: ISZERO 00001493: PUSH2 0x0977 00001496: JUMPI 00001497: PUSH1 0x40 00001499: MLOAD 0000149a: PUSH3 0x461bcd 0000149e: PUSH1 0xe5 000014a0: SHL 000014a1: DUP2 000014a2: MSTORE 000014a3: PUSH1 0x04 000014a5: ADD 000014a6: DUP1 000014a7: DUP1 000014a8: PUSH1 0x20 000014aa: ADD 000014ab: DUP3 000014ac: DUP2 000014ad: SUB 000014ae: DUP3 000014af: MSTORE 000014b0: PUSH1 0x2a 000014b2: DUP2 000014b3: MSTORE 000014b4: PUSH1 0x20 000014b6: ADD 000014b7: DUP1 000014b8: PUSH2 0x1852 000014bb: PUSH1 0x2a 000014bd: SWAP2 000014be: CODECOPY 000014bf: PUSH1 0x40 000014c1: ADD 000014c2: SWAP2 000014c3: POP 000014c4: POP 000014c5: PUSH1 0x40 000014c7: MLOAD 000014c8: DUP1 000014c9: SWAP2 000014ca: SUB 000014cb: SWAP1 000014cc: REVERT 000014cd: JUMPDEST 000014ce: PUSH1 0x00 000014d0: DUP2 000014d1: DUP2 000014d2: MSTORE 000014d3: PUSH1 0x01 000014d5: DUP4 000014d6: ADD 000014d7: PUSH1 0x20 000014d9: MSTORE 000014da: PUSH1 0x40 000014dc: DUP2 000014dd: KECCAK256 000014de: SLOAD 000014df: DUP1 000014e0: ISZERO 000014e1: PUSH2 0x1589 000014e4: JUMPI 000014e5: DUP4 000014e6: SLOAD 000014e7: PUSH1 0x00 000014e9: NOT 000014ea: DUP1 000014eb: DUP4 000014ec: ADD 000014ed: SWAP2 000014ee: SWAP1 000014ef: DUP2 000014f0: ADD 000014f1: SWAP1 000014f2: PUSH1 0x00 000014f4: SWAP1 000014f5: DUP8 000014f6: SWAP1 000014f7: DUP4 000014f8: SWAP1 000014f9: DUP2 000014fa: LT 000014fb: PUSH2 0x1500 000014fe: JUMPI 000014ff: INVALID 00001500: JUMPDEST 00001501: SWAP1 00001502: PUSH1 0x00 00001504: MSTORE 00001505: PUSH1 0x20 00001507: PUSH1 0x00 00001509: KECCAK256 0000150a: ADD 0000150b: SLOAD 0000150c: SWAP1 0000150d: POP 0000150e: DUP1 0000150f: DUP8 00001510: PUSH1 0x00 00001512: ADD 00001513: DUP5 00001514: DUP2 00001515: SLOAD 00001516: DUP2 00001517: LT 00001518: PUSH2 0x151d 0000151b: JUMPI 0000151c: INVALID 0000151d: JUMPDEST 0000151e: PUSH1 0x00 00001520: SWAP2 00001521: DUP3 00001522: MSTORE 00001523: PUSH1 0x20 00001525: DUP1 00001526: DUP4 00001527: KECCAK256 00001528: SWAP1 00001529: SWAP2 0000152a: ADD 0000152b: SWAP3 0000152c: SWAP1 0000152d: SWAP3 0000152e: SSTORE 0000152f: DUP3 00001530: DUP2 00001531: MSTORE 00001532: PUSH1 0x01 00001534: DUP10 00001535: DUP2 00001536: ADD 00001537: SWAP1 00001538: SWAP3 00001539: MSTORE 0000153a: PUSH1 0x40 0000153c: SWAP1 0000153d: KECCAK256 0000153e: SWAP1 0000153f: DUP5 00001540: ADD 00001541: SWAP1 00001542: SSTORE 00001543: DUP7 00001544: SLOAD 00001545: DUP8 00001546: SWAP1 00001547: DUP1 00001548: PUSH2 0x154d 0000154b: JUMPI 0000154c: INVALID 0000154d: JUMPDEST 0000154e: PUSH1 0x01 00001550: SWAP1 00001551: SUB 00001552: DUP2 00001553: DUP2 00001554: SWAP1 00001555: PUSH1 0x00 00001557: MSTORE 00001558: PUSH1 0x20 0000155a: PUSH1 0x00 0000155c: KECCAK256 0000155d: ADD 0000155e: PUSH1 0x00 00001560: SWAP1 00001561: SSTORE 00001562: SWAP1 00001563: SSTORE 00001564: DUP7 00001565: PUSH1 0x01 00001567: ADD 00001568: PUSH1 0x00 0000156a: DUP8 0000156b: DUP2 0000156c: MSTORE 0000156d: PUSH1 0x20 0000156f: ADD 00001570: SWAP1 00001571: DUP2 00001572: MSTORE 00001573: PUSH1 0x20 00001575: ADD 00001576: PUSH1 0x00 00001578: KECCAK256 00001579: PUSH1 0x00 0000157b: SWAP1 0000157c: SSTORE 0000157d: PUSH1 0x01 0000157f: SWAP5 00001580: POP 00001581: POP 00001582: POP 00001583: POP 00001584: POP 00001585: PUSH2 0x0637 00001588: JUMP 00001589: JUMPDEST 0000158a: PUSH1 0x00 0000158c: SWAP2 0000158d: POP 0000158e: POP 0000158f: PUSH2 0x0637 00001592: JUMP 00001593: INVALID 00001594: GASLIMIT 00001595: PUSH15 0x756d657261626c655365743a20696e 000015a5: PUSH5 0x6578206f75 000015ab: PUSH21 0x206f6620626f756e647345524332303a207472616e 000015c1: PUSH20 0x66657220746f20746865207a65726f2061646472 000015d6: PUSH6 0x737341636365 000015dd: PUSH20 0x73436f6e74726f6c3a2073656e646572206d7573 000015f2: PUSH21 0x20626520616e2061646d696e20746f206772616e74 00001608: GASLIMIT 00001609: MSTORE 0000160a: NUMBER 0000160b: ORIGIN 0000160c: ADDRESS 0000160d: GASPRICE 0000160e: KECCAK256 0000160f: PUSH3 0x75726e 00001613: KECCAK256 00001614: PUSH2 0x6d6f 00001617: PUSH22 0x6e7420657863656564732062616c616e636545524332 0000162e: ADDRESS 0000162f: POP 00001630: PUSH19 0x657365744d696e7465725061757365723a206d 00001644: PUSH22 0x737420686176652070617573657220726f6c6520746f 0000165b: KECCAK256 0000165c: PUSH22 0x6e706175736545524332303a20617070726f76652074 00001673: PUSH16 0x20746865207a65726f20616464726573 00001684: PUSH20 0x45524332303a207472616e7366657220616d6f75 00001699: PUSH15 0x7420657863656564732062616c616e 000016a9: PUSH4 0x65416363 000016ae: PUSH6 0x7373436f6e74 000016b5: PUSH19 0x6f6c3a2073656e646572206d75737420626520 000016c9: PUSH2 0x6e20 000016cc: PUSH2 0x646d 000016cf: PUSH10 0x6e20746f207265766f6b 000016da: PUSH6 0x45524332303a 000016e1: KECCAK256 000016e2: PUSH21 0x72616e7366657220616d6f756e7420657863656564 000016f8: PUSH20 0x20616c6c6f77616e636545524332305072657365 0000170d: PUSH21 0x4d696e7465725061757365723a206d757374206861 00001723: PUSH23 0x65206d696e74657220726f6c6520746f206d696e744552 0000173b: NUMBER 0000173c: ORIGIN 0000173d: ADDRESS 0000173e: GASPRICE 0000173f: KECCAK256 00001740: PUSH3 0x75726e 00001744: KECCAK256 00001745: PUSH2 0x6d6f 00001748: PUSH22 0x6e74206578636565647320616c6c6f77616e63654552 0000175f: NUMBER 00001760: ORIGIN 00001761: ADDRESS 00001762: GASPRICE 00001763: KECCAK256 00001764: PUSH3 0x75726e 00001768: KECCAK256 00001769: PUSH7 0x726f6d20746865 00001771: KECCAK256 00001772: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220 0000178e: PUSH7 0x726f6d20746865 00001796: KECCAK256 00001797: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066 000017b3: PUSH19 0x6f6d20746865207a65726f2061646472657373 000017c7: GASLIMIT 000017c8: MSTORE 000017c9: NUMBER 000017ca: ORIGIN 000017cb: ADDRESS 000017cc: POP 000017cd: PUSH19 0x657365744d696e7465725061757365723a206d 000017e1: PUSH22 0x737420686176652070617573657220726f6c6520746f 000017f8: KECCAK256 000017f9: PUSH17 0x6175736545524332303a20646563726561 0000180b: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 00001820: PUSH6 0x726f41636365 00001827: PUSH20 0x73436f6e74726f6c3a2063616e206f6e6c792072 0000183c: PUSH6 0x6e6f756e6365 00001843: KECCAK256 00001844: PUSH19 0x6f6c657320666f722073656c66455243323050 00001858: PUSH2 0x7573 0000185b: PUSH2 0x626c 0000185e: PUSH6 0x3a20746f6b65 00001865: PUSH15 0x207472616e73666572207768696c65 00001875: KECCAK256 00001876: PUSH17 0x6175736564a26469706673582212201705 00001888: UNKNOWN(0x2E) 00001889: GASLIMIT 0000188a: TIMESTAMP 0000188b: PUSH1 0x9a 0000188d: UNKNOWN(0xC9) 0000188e: UNKNOWN(0xC6) 0000188f: PUSH24 0x44cbd230b6c6e1f2d9079c23cfb4a3025f995c2a3e9e6473 000018a8: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd5391393",
"selector": "0xd5391393",
"calldata_variants": [
"0xd5391393",
"0xd53913930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe63ab1e9",
"selector": "0xe63ab1e9",
"calldata_variants": [
"0xe63ab1e9",
"0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9010d07c",
"selector": "0x9010d07c",
"calldata_variants": [
"0x9010d07c",
"0x9010d07c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5643,
"type": "tx_origin_used"
},
{
"pc": 5948,
"type": "tx_origin_used"
},
{
"pc": 5984,
"type": "tx_origin_used"
},
{
"pc": 6090,
"type": "tx_origin_used"
}
]
}
|