019b477e-c712-7397-ae48-ca94f1bcb62c
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 |
|---|---|---|---|---|
| 25901 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25902 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69382 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69383 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69384 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69385 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x016c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x03c83302 00000019: EQ 0000001a: PUSH2 0x0180 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x0483f7a0 00000024: EQ 00000025: PUSH2 0x0188 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x06fdde03 0000002f: EQ 00000030: PUSH2 0x01c3 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x095ea7b3 0000003a: EQ 0000003b: PUSH2 0x024d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x09bbedde 00000045: EQ 00000046: PUSH2 0x029a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x0c8b234e 00000050: EQ 00000051: PUSH2 0x02c1 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x02f4 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x1fa71a3b 00000066: EQ 00000067: PUSH2 0x0309 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x226cfa3d 00000071: EQ 00000072: PUSH2 0x0333 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x23b872dd 0000007c: EQ 0000007d: PUSH2 0x0366 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x27ce0147 00000087: EQ 00000088: PUSH2 0x03a9 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x313ce567 00000092: EQ 00000093: PUSH2 0x03dc 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x39509351 0000009d: EQ 0000009e: PUSH2 0x0407 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x4e7b827f 000000a8: EQ 000000a9: PUSH2 0x0440 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x6a474002 000000b3: EQ 000000b4: PUSH2 0x0473 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x6f2789ec 000000be: EQ 000000bf: PUSH2 0x0488 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x70a08231 000000c9: EQ 000000ca: PUSH2 0x049d 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x85a6b3ae 000000d4: EQ 000000d5: PUSH2 0x04d0 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x91b89fba 000000df: EQ 000000e0: PUSH2 0x04e5 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x95d89b41 000000ea: EQ 000000eb: PUSH2 0x0518 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xa457c2d7 000000f5: EQ 000000f6: PUSH2 0x052d 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xa8b9d240 00000100: EQ 00000101: PUSH2 0x0566 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xa9059cbb 0000010b: EQ 0000010c: PUSH2 0x0599 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xaafd847a 00000116: EQ 00000117: PUSH2 0x05d2 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xadf48490 00000121: EQ 00000122: PUSH2 0x0605 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xbc4c4b37 0000012c: EQ 0000012d: PUSH2 0x0640 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xbe10b614 00000137: EQ 00000138: PUSH2 0x067b 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xdd62ed3e 00000142: EQ 00000143: PUSH2 0x0690 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xe30443bc 0000014d: EQ 0000014e: PUSH2 0x06cb 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xe98030c7 00000158: EQ 00000159: PUSH2 0x0704 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xfbcbc0f1 00000163: EQ 00000164: PUSH2 0x072e 00000167: JUMPI 00000168: PUSH2 0x017b 0000016b: JUMP 0000016c: JUMPDEST 0000016d: CALLDATASIZE 0000016e: PUSH2 0x017b 00000171: JUMPI 00000172: PUSH2 0x0179 00000175: PUSH2 0x079e 00000178: JUMP 00000179: JUMPDEST 0000017a: STOP 0000017b: JUMPDEST 0000017c: PUSH1 0x00 0000017e: DUP1 0000017f: REVERT 00000180: JUMPDEST 00000181: PUSH2 0x0179 00000184: PUSH2 0x079e 00000187: JUMP 00000188: JUMPDEST 00000189: CALLVALUE 0000018a: DUP1 0000018b: ISZERO 0000018c: PUSH2 0x0194 0000018f: JUMPI 00000190: PUSH1 0x00 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: POP 00000196: PUSH2 0x0179 00000199: PUSH1 0x04 0000019b: DUP1 0000019c: CALLDATASIZE 0000019d: SUB 0000019e: PUSH1 0x40 000001a0: DUP2 000001a1: LT 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: POP 000001ad: PUSH1 0x01 000001af: PUSH1 0x01 000001b1: PUSH1 0xa0 000001b3: SHL 000001b4: SUB 000001b5: DUP2 000001b6: CALLDATALOAD 000001b7: AND 000001b8: SWAP1 000001b9: PUSH1 0x20 000001bb: ADD 000001bc: CALLDATALOAD 000001bd: ISZERO 000001be: ISZERO 000001bf: PUSH2 0x082f 000001c2: JUMP 000001c3: JUMPDEST 000001c4: CALLVALUE 000001c5: DUP1 000001c6: ISZERO 000001c7: PUSH2 0x01cf 000001ca: JUMPI 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x01d8 000001d4: PUSH2 0x09bf 000001d7: JUMP 000001d8: JUMPDEST 000001d9: PUSH1 0x40 000001db: DUP1 000001dc: MLOAD 000001dd: PUSH1 0x20 000001df: DUP1 000001e0: DUP3 000001e1: MSTORE 000001e2: DUP4 000001e3: MLOAD 000001e4: DUP2 000001e5: DUP4 000001e6: ADD 000001e7: MSTORE 000001e8: DUP4 000001e9: MLOAD 000001ea: SWAP2 000001eb: SWAP3 000001ec: DUP4 000001ed: SWAP3 000001ee: SWAP1 000001ef: DUP4 000001f0: ADD 000001f1: SWAP2 000001f2: DUP6 000001f3: ADD 000001f4: SWAP1 000001f5: DUP1 000001f6: DUP4 000001f7: DUP4 000001f8: PUSH1 0x00 000001fa: JUMPDEST 000001fb: DUP4 000001fc: DUP2 000001fd: LT 000001fe: ISZERO 000001ff: PUSH2 0x0212 00000202: JUMPI 00000203: DUP2 00000204: DUP2 00000205: ADD 00000206: MLOAD 00000207: DUP4 00000208: DUP3 00000209: ADD 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: PUSH2 0x01fa 00000211: JUMP 00000212: JUMPDEST 00000213: POP 00000214: POP 00000215: POP 00000216: POP 00000217: SWAP1 00000218: POP 00000219: SWAP1 0000021a: DUP2 0000021b: ADD 0000021c: SWAP1 0000021d: PUSH1 0x1f 0000021f: AND 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x023f 00000225: JUMPI 00000226: DUP1 00000227: DUP3 00000228: SUB 00000229: DUP1 0000022a: MLOAD 0000022b: PUSH1 0x01 0000022d: DUP4 0000022e: PUSH1 0x20 00000230: SUB 00000231: PUSH2 0x0100 00000234: EXP 00000235: SUB 00000236: NOT 00000237: AND 00000238: DUP2 00000239: MSTORE 0000023a: PUSH1 0x20 0000023c: ADD 0000023d: SWAP2 0000023e: POP 0000023f: JUMPDEST 00000240: POP 00000241: SWAP3 00000242: POP 00000243: POP 00000244: POP 00000245: PUSH1 0x40 00000247: MLOAD 00000248: DUP1 00000249: SWAP2 0000024a: SUB 0000024b: SWAP1 0000024c: RETURN 0000024d: JUMPDEST 0000024e: CALLVALUE 0000024f: DUP1 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: POP 0000025b: PUSH2 0x0286 0000025e: PUSH1 0x04 00000260: DUP1 00000261: CALLDATASIZE 00000262: SUB 00000263: PUSH1 0x40 00000265: DUP2 00000266: LT 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH1 0x01 00000274: PUSH1 0x01 00000276: PUSH1 0xa0 00000278: SHL 00000279: SUB 0000027a: DUP2 0000027b: CALLDATALOAD 0000027c: AND 0000027d: SWAP1 0000027e: PUSH1 0x20 00000280: ADD 00000281: CALLDATALOAD 00000282: PUSH2 0x0a55 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH1 0x40 00000289: DUP1 0000028a: MLOAD 0000028b: SWAP2 0000028c: ISZERO 0000028d: ISZERO 0000028e: DUP3 0000028f: MSTORE 00000290: MLOAD 00000291: SWAP1 00000292: DUP2 00000293: SWAP1 00000294: SUB 00000295: PUSH1 0x20 00000297: ADD 00000298: SWAP1 00000299: RETURN 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a6 000002a1: JUMPI 000002a2: PUSH1 0x00 000002a4: DUP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: POP 000002a8: PUSH2 0x02af 000002ab: PUSH2 0x0a73 000002ae: JUMP 000002af: JUMPDEST 000002b0: PUSH1 0x40 000002b2: DUP1 000002b3: MLOAD 000002b4: SWAP2 000002b5: DUP3 000002b6: MSTORE 000002b7: MLOAD 000002b8: SWAP1 000002b9: DUP2 000002ba: SWAP1 000002bb: SUB 000002bc: PUSH1 0x20 000002be: ADD 000002bf: SWAP1 000002c0: RETURN 000002c1: JUMPDEST 000002c2: CALLVALUE 000002c3: DUP1 000002c4: ISZERO 000002c5: PUSH2 0x02cd 000002c8: JUMPI 000002c9: PUSH1 0x00 000002cb: DUP1 000002cc: REVERT 000002cd: JUMPDEST 000002ce: POP 000002cf: PUSH2 0x0286 000002d2: PUSH1 0x04 000002d4: DUP1 000002d5: CALLDATASIZE 000002d6: SUB 000002d7: PUSH1 0x20 000002d9: DUP2 000002da: LT 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: POP 000002e6: CALLDATALOAD 000002e7: PUSH1 0x01 000002e9: PUSH1 0x01 000002eb: PUSH1 0xa0 000002ed: SHL 000002ee: SUB 000002ef: AND 000002f0: PUSH2 0x0a79 000002f3: JUMP 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: DUP1 000002f7: ISZERO 000002f8: PUSH2 0x0300 000002fb: JUMPI 000002fc: PUSH1 0x00 000002fe: DUP1 000002ff: REVERT 00000300: JUMPDEST 00000301: POP 00000302: PUSH2 0x02af 00000305: PUSH2 0x0a9b 00000308: JUMP 00000309: JUMPDEST 0000030a: CALLVALUE 0000030b: DUP1 0000030c: ISZERO 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: POP 00000317: PUSH2 0x0179 0000031a: PUSH1 0x04 0000031c: DUP1 0000031d: CALLDATASIZE 0000031e: SUB 0000031f: PUSH1 0x20 00000321: DUP2 00000322: LT 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: CALLDATALOAD 0000032f: PUSH2 0x0aa1 00000332: JUMP 00000333: JUMPDEST 00000334: CALLVALUE 00000335: DUP1 00000336: ISZERO 00000337: PUSH2 0x033f 0000033a: JUMPI 0000033b: PUSH1 0x00 0000033d: DUP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: PUSH2 0x02af 00000344: PUSH1 0x04 00000346: DUP1 00000347: CALLDATASIZE 00000348: SUB 00000349: PUSH1 0x20 0000034b: DUP2 0000034c: LT 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: CALLDATALOAD 00000359: PUSH1 0x01 0000035b: PUSH1 0x01 0000035d: PUSH1 0xa0 0000035f: SHL 00000360: SUB 00000361: AND 00000362: PUSH2 0x0b8f 00000365: JUMP 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0372 0000036d: JUMPI 0000036e: PUSH1 0x00 00000370: DUP1 00000371: REVERT 00000372: JUMPDEST 00000373: POP 00000374: PUSH2 0x0286 00000377: PUSH1 0x04 00000379: DUP1 0000037a: CALLDATASIZE 0000037b: SUB 0000037c: PUSH1 0x60 0000037e: DUP2 0000037f: LT 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: POP 0000038b: PUSH1 0x01 0000038d: PUSH1 0x01 0000038f: PUSH1 0xa0 00000391: SHL 00000392: SUB 00000393: DUP2 00000394: CALLDATALOAD 00000395: DUP2 00000396: AND 00000397: SWAP2 00000398: PUSH1 0x20 0000039a: DUP2 0000039b: ADD 0000039c: CALLDATALOAD 0000039d: SWAP1 0000039e: SWAP2 0000039f: AND 000003a0: SWAP1 000003a1: PUSH1 0x40 000003a3: ADD 000003a4: CALLDATALOAD 000003a5: PUSH2 0x0ba1 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x02af 000003ba: PUSH1 0x04 000003bc: DUP1 000003bd: CALLDATASIZE 000003be: SUB 000003bf: PUSH1 0x20 000003c1: DUP2 000003c2: LT 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: POP 000003ce: CALLDATALOAD 000003cf: PUSH1 0x01 000003d1: PUSH1 0x01 000003d3: PUSH1 0xa0 000003d5: SHL 000003d6: SUB 000003d7: AND 000003d8: PUSH2 0x0c28 000003db: JUMP 000003dc: JUMPDEST 000003dd: CALLVALUE 000003de: DUP1 000003df: ISZERO 000003e0: PUSH2 0x03e8 000003e3: JUMPI 000003e4: PUSH1 0x00 000003e6: DUP1 000003e7: REVERT 000003e8: JUMPDEST 000003e9: POP 000003ea: PUSH2 0x03f1 000003ed: PUSH2 0x0c85 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x40 000003f4: DUP1 000003f5: MLOAD 000003f6: PUSH1 0xff 000003f8: SWAP1 000003f9: SWAP3 000003fa: AND 000003fb: DUP3 000003fc: MSTORE 000003fd: MLOAD 000003fe: SWAP1 000003ff: DUP2 00000400: SWAP1 00000401: SUB 00000402: PUSH1 0x20 00000404: ADD 00000405: SWAP1 00000406: RETURN 00000407: JUMPDEST 00000408: CALLVALUE 00000409: DUP1 0000040a: ISZERO 0000040b: PUSH2 0x0413 0000040e: JUMPI 0000040f: PUSH1 0x00 00000411: DUP1 00000412: REVERT 00000413: JUMPDEST 00000414: POP 00000415: PUSH2 0x0286 00000418: PUSH1 0x04 0000041a: DUP1 0000041b: CALLDATASIZE 0000041c: SUB 0000041d: PUSH1 0x40 0000041f: DUP2 00000420: LT 00000421: ISZERO 00000422: PUSH2 0x042a 00000425: JUMPI 00000426: PUSH1 0x00 00000428: DUP1 00000429: REVERT 0000042a: JUMPDEST 0000042b: POP 0000042c: PUSH1 0x01 0000042e: PUSH1 0x01 00000430: PUSH1 0xa0 00000432: SHL 00000433: SUB 00000434: DUP2 00000435: CALLDATALOAD 00000436: AND 00000437: SWAP1 00000438: PUSH1 0x20 0000043a: ADD 0000043b: CALLDATALOAD 0000043c: PUSH2 0x0c8a 0000043f: JUMP 00000440: JUMPDEST 00000441: CALLVALUE 00000442: DUP1 00000443: ISZERO 00000444: PUSH2 0x044c 00000447: JUMPI 00000448: PUSH1 0x00 0000044a: DUP1 0000044b: REVERT 0000044c: JUMPDEST 0000044d: POP 0000044e: PUSH2 0x0286 00000451: PUSH1 0x04 00000453: DUP1 00000454: CALLDATASIZE 00000455: SUB 00000456: PUSH1 0x20 00000458: DUP2 00000459: LT 0000045a: ISZERO 0000045b: PUSH2 0x0463 0000045e: JUMPI 0000045f: PUSH1 0x00 00000461: DUP1 00000462: REVERT 00000463: JUMPDEST 00000464: POP 00000465: CALLDATALOAD 00000466: PUSH1 0x01 00000468: PUSH1 0x01 0000046a: PUSH1 0xa0 0000046c: SHL 0000046d: SUB 0000046e: AND 0000046f: PUSH2 0x0cd8 00000472: JUMP 00000473: JUMPDEST 00000474: CALLVALUE 00000475: DUP1 00000476: ISZERO 00000477: PUSH2 0x047f 0000047a: JUMPI 0000047b: PUSH1 0x00 0000047d: DUP1 0000047e: REVERT 0000047f: JUMPDEST 00000480: POP 00000481: PUSH2 0x0179 00000484: PUSH2 0x0ced 00000487: JUMP 00000488: JUMPDEST 00000489: CALLVALUE 0000048a: DUP1 0000048b: ISZERO 0000048c: PUSH2 0x0494 0000048f: JUMPI 00000490: PUSH1 0x00 00000492: DUP1 00000493: REVERT 00000494: JUMPDEST 00000495: POP 00000496: PUSH2 0x02af 00000499: PUSH2 0x0d24 0000049c: JUMP 0000049d: JUMPDEST 0000049e: CALLVALUE 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: PUSH2 0x02af 000004ae: PUSH1 0x04 000004b0: DUP1 000004b1: CALLDATASIZE 000004b2: SUB 000004b3: PUSH1 0x20 000004b5: DUP2 000004b6: LT 000004b7: ISZERO 000004b8: PUSH2 0x04c0 000004bb: JUMPI 000004bc: PUSH1 0x00 000004be: DUP1 000004bf: REVERT 000004c0: JUMPDEST 000004c1: POP 000004c2: CALLDATALOAD 000004c3: PUSH1 0x01 000004c5: PUSH1 0x01 000004c7: PUSH1 0xa0 000004c9: SHL 000004ca: SUB 000004cb: AND 000004cc: PUSH2 0x0d2a 000004cf: JUMP 000004d0: JUMPDEST 000004d1: CALLVALUE 000004d2: DUP1 000004d3: ISZERO 000004d4: PUSH2 0x04dc 000004d7: JUMPI 000004d8: PUSH1 0x00 000004da: DUP1 000004db: REVERT 000004dc: JUMPDEST 000004dd: POP 000004de: PUSH2 0x02af 000004e1: PUSH2 0x0d45 000004e4: JUMP 000004e5: JUMPDEST 000004e6: CALLVALUE 000004e7: DUP1 000004e8: ISZERO 000004e9: PUSH2 0x04f1 000004ec: JUMPI 000004ed: PUSH1 0x00 000004ef: DUP1 000004f0: REVERT 000004f1: JUMPDEST 000004f2: POP 000004f3: PUSH2 0x02af 000004f6: PUSH1 0x04 000004f8: DUP1 000004f9: CALLDATASIZE 000004fa: SUB 000004fb: PUSH1 0x20 000004fd: DUP2 000004fe: LT 000004ff: ISZERO 00000500: PUSH2 0x0508 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: REVERT 00000508: JUMPDEST 00000509: POP 0000050a: CALLDATALOAD 0000050b: PUSH1 0x01 0000050d: PUSH1 0x01 0000050f: PUSH1 0xa0 00000511: SHL 00000512: SUB 00000513: AND 00000514: PUSH2 0x0d4b 00000517: JUMP 00000518: JUMPDEST 00000519: CALLVALUE 0000051a: DUP1 0000051b: ISZERO 0000051c: PUSH2 0x0524 0000051f: JUMPI 00000520: PUSH1 0x00 00000522: DUP1 00000523: REVERT 00000524: JUMPDEST 00000525: POP 00000526: PUSH2 0x01d8 00000529: PUSH2 0x0d56 0000052c: JUMP 0000052d: JUMPDEST 0000052e: CALLVALUE 0000052f: DUP1 00000530: ISZERO 00000531: PUSH2 0x0539 00000534: JUMPI 00000535: PUSH1 0x00 00000537: DUP1 00000538: REVERT 00000539: JUMPDEST 0000053a: POP 0000053b: PUSH2 0x0286 0000053e: PUSH1 0x04 00000540: DUP1 00000541: CALLDATASIZE 00000542: SUB 00000543: PUSH1 0x40 00000545: DUP2 00000546: LT 00000547: ISZERO 00000548: PUSH2 0x0550 0000054b: JUMPI 0000054c: PUSH1 0x00 0000054e: DUP1 0000054f: REVERT 00000550: JUMPDEST 00000551: POP 00000552: PUSH1 0x01 00000554: PUSH1 0x01 00000556: PUSH1 0xa0 00000558: SHL 00000559: SUB 0000055a: DUP2 0000055b: CALLDATALOAD 0000055c: AND 0000055d: SWAP1 0000055e: PUSH1 0x20 00000560: ADD 00000561: CALLDATALOAD 00000562: PUSH2 0x0db7 00000565: JUMP 00000566: JUMPDEST 00000567: CALLVALUE 00000568: DUP1 00000569: ISZERO 0000056a: PUSH2 0x0572 0000056d: JUMPI 0000056e: PUSH1 0x00 00000570: DUP1 00000571: REVERT 00000572: JUMPDEST 00000573: POP 00000574: PUSH2 0x02af 00000577: PUSH1 0x04 00000579: DUP1 0000057a: CALLDATASIZE 0000057b: SUB 0000057c: PUSH1 0x20 0000057e: DUP2 0000057f: LT 00000580: ISZERO 00000581: PUSH2 0x0589 00000584: JUMPI 00000585: PUSH1 0x00 00000587: DUP1 00000588: REVERT 00000589: JUMPDEST 0000058a: POP 0000058b: CALLDATALOAD 0000058c: PUSH1 0x01 0000058e: PUSH1 0x01 00000590: PUSH1 0xa0 00000592: SHL 00000593: SUB 00000594: AND 00000595: PUSH2 0x0e1f 00000598: JUMP 00000599: JUMPDEST 0000059a: CALLVALUE 0000059b: DUP1 0000059c: ISZERO 0000059d: PUSH2 0x05a5 000005a0: JUMPI 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: REVERT 000005a5: JUMPDEST 000005a6: POP 000005a7: PUSH2 0x0286 000005aa: PUSH1 0x04 000005ac: DUP1 000005ad: CALLDATASIZE 000005ae: SUB 000005af: PUSH1 0x40 000005b1: DUP2 000005b2: LT 000005b3: ISZERO 000005b4: PUSH2 0x05bc 000005b7: JUMPI 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: REVERT 000005bc: JUMPDEST 000005bd: POP 000005be: PUSH1 0x01 000005c0: PUSH1 0x01 000005c2: PUSH1 0xa0 000005c4: SHL 000005c5: SUB 000005c6: DUP2 000005c7: CALLDATALOAD 000005c8: AND 000005c9: SWAP1 000005ca: PUSH1 0x20 000005cc: ADD 000005cd: CALLDATALOAD 000005ce: PUSH2 0x0e4b 000005d1: JUMP 000005d2: JUMPDEST 000005d3: CALLVALUE 000005d4: DUP1 000005d5: ISZERO 000005d6: PUSH2 0x05de 000005d9: JUMPI 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: REVERT 000005de: JUMPDEST 000005df: POP 000005e0: PUSH2 0x02af 000005e3: PUSH1 0x04 000005e5: DUP1 000005e6: CALLDATASIZE 000005e7: SUB 000005e8: PUSH1 0x20 000005ea: DUP2 000005eb: LT 000005ec: ISZERO 000005ed: PUSH2 0x05f5 000005f0: JUMPI 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: REVERT 000005f5: JUMPDEST 000005f6: POP 000005f7: CALLDATALOAD 000005f8: PUSH1 0x01 000005fa: PUSH1 0x01 000005fc: PUSH1 0xa0 000005fe: SHL 000005ff: SUB 00000600: AND 00000601: PUSH2 0x0e5f 00000604: JUMP 00000605: JUMPDEST 00000606: CALLVALUE 00000607: DUP1 00000608: ISZERO 00000609: PUSH2 0x0611 0000060c: JUMPI 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: REVERT 00000611: JUMPDEST 00000612: POP 00000613: PUSH2 0x0179 00000616: PUSH1 0x04 00000618: DUP1 00000619: CALLDATASIZE 0000061a: SUB 0000061b: PUSH1 0x40 0000061d: DUP2 0000061e: LT 0000061f: ISZERO 00000620: PUSH2 0x0628 00000623: JUMPI 00000624: PUSH1 0x00 00000626: DUP1 00000627: REVERT 00000628: JUMPDEST 00000629: POP 0000062a: PUSH1 0x01 0000062c: PUSH1 0x01 0000062e: PUSH1 0xa0 00000630: SHL 00000631: SUB 00000632: DUP2 00000633: CALLDATALOAD 00000634: AND 00000635: SWAP1 00000636: PUSH1 0x20 00000638: ADD 00000639: CALLDATALOAD 0000063a: ISZERO 0000063b: ISZERO 0000063c: PUSH2 0x0e7a 0000063f: JUMP 00000640: JUMPDEST 00000641: CALLVALUE 00000642: DUP1 00000643: ISZERO 00000644: PUSH2 0x064c 00000647: JUMPI 00000648: PUSH1 0x00 0000064a: DUP1 0000064b: REVERT 0000064c: JUMPDEST 0000064d: POP 0000064e: PUSH2 0x0286 00000651: PUSH1 0x04 00000653: DUP1 00000654: CALLDATASIZE 00000655: SUB 00000656: PUSH1 0x40 00000658: DUP2 00000659: LT 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: POP 00000665: PUSH1 0x01 00000667: PUSH1 0x01 00000669: PUSH1 0xa0 0000066b: SHL 0000066c: SUB 0000066d: DUP2 0000066e: CALLDATALOAD 0000066f: AND 00000670: SWAP1 00000671: PUSH1 0x20 00000673: ADD 00000674: CALLDATALOAD 00000675: ISZERO 00000676: ISZERO 00000677: PUSH2 0x0f94 0000067a: JUMP 0000067b: JUMPDEST 0000067c: CALLVALUE 0000067d: DUP1 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH1 0x00 00000685: DUP1 00000686: REVERT 00000687: JUMPDEST 00000688: POP 00000689: PUSH2 0x02af 0000068c: PUSH2 0x10d4 0000068f: JUMP 00000690: JUMPDEST 00000691: CALLVALUE 00000692: DUP1 00000693: ISZERO 00000694: PUSH2 0x069c 00000697: JUMPI 00000698: PUSH1 0x00 0000069a: DUP1 0000069b: REVERT 0000069c: JUMPDEST 0000069d: POP 0000069e: PUSH2 0x02af 000006a1: PUSH1 0x04 000006a3: DUP1 000006a4: CALLDATASIZE 000006a5: SUB 000006a6: PUSH1 0x40 000006a8: DUP2 000006a9: LT 000006aa: ISZERO 000006ab: PUSH2 0x06b3 000006ae: JUMPI 000006af: PUSH1 0x00 000006b1: DUP1 000006b2: REVERT 000006b3: JUMPDEST 000006b4: POP 000006b5: PUSH1 0x01 000006b7: PUSH1 0x01 000006b9: PUSH1 0xa0 000006bb: SHL 000006bc: SUB 000006bd: DUP2 000006be: CALLDATALOAD 000006bf: DUP2 000006c0: AND 000006c1: SWAP2 000006c2: PUSH1 0x20 000006c4: ADD 000006c5: CALLDATALOAD 000006c6: AND 000006c7: PUSH2 0x10da 000006ca: JUMP 000006cb: JUMPDEST 000006cc: CALLVALUE 000006cd: DUP1 000006ce: ISZERO 000006cf: PUSH2 0x06d7 000006d2: JUMPI 000006d3: PUSH1 0x00 000006d5: DUP1 000006d6: REVERT 000006d7: JUMPDEST 000006d8: POP 000006d9: PUSH2 0x0179 000006dc: PUSH1 0x04 000006de: DUP1 000006df: CALLDATASIZE 000006e0: SUB 000006e1: PUSH1 0x40 000006e3: DUP2 000006e4: LT 000006e5: ISZERO 000006e6: PUSH2 0x06ee 000006e9: JUMPI 000006ea: PUSH1 0x00 000006ec: DUP1 000006ed: REVERT 000006ee: JUMPDEST 000006ef: POP 000006f0: PUSH1 0x01 000006f2: PUSH1 0x01 000006f4: PUSH1 0xa0 000006f6: SHL 000006f7: SUB 000006f8: DUP2 000006f9: CALLDATALOAD 000006fa: AND 000006fb: SWAP1 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: CALLDATALOAD 00000700: PUSH2 0x1105 00000703: JUMP 00000704: JUMPDEST 00000705: CALLVALUE 00000706: DUP1 00000707: ISZERO 00000708: PUSH2 0x0710 0000070b: JUMPI 0000070c: PUSH1 0x00 0000070e: DUP1 0000070f: REVERT 00000710: JUMPDEST 00000711: POP 00000712: PUSH2 0x0179 00000715: PUSH1 0x04 00000717: DUP1 00000718: CALLDATASIZE 00000719: SUB 0000071a: PUSH1 0x20 0000071c: DUP2 0000071d: LT 0000071e: ISZERO 0000071f: PUSH2 0x0727 00000722: JUMPI 00000723: PUSH1 0x00 00000725: DUP1 00000726: REVERT 00000727: JUMPDEST 00000728: POP 00000729: CALLDATALOAD 0000072a: PUSH2 0x1263 0000072d: JUMP 0000072e: JUMPDEST 0000072f: CALLVALUE 00000730: DUP1 00000731: ISZERO 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: POP 0000073c: PUSH2 0x0761 0000073f: PUSH1 0x04 00000741: DUP1 00000742: CALLDATASIZE 00000743: SUB 00000744: PUSH1 0x20 00000746: DUP2 00000747: LT 00000748: ISZERO 00000749: PUSH2 0x0751 0000074c: JUMPI 0000074d: PUSH1 0x00 0000074f: DUP1 00000750: REVERT 00000751: JUMPDEST 00000752: POP 00000753: CALLDATALOAD 00000754: PUSH1 0x01 00000756: PUSH1 0x01 00000758: PUSH1 0xa0 0000075a: SHL 0000075b: SUB 0000075c: AND 0000075d: PUSH2 0x138f 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH1 0x40 00000764: DUP1 00000765: MLOAD 00000766: PUSH1 0x01 00000768: PUSH1 0x01 0000076a: PUSH1 0xa0 0000076c: SHL 0000076d: SUB 0000076e: SWAP1 0000076f: SWAP8 00000770: AND 00000771: DUP8 00000772: MSTORE 00000773: PUSH1 0x20 00000775: DUP8 00000776: ADD 00000777: SWAP6 00000778: SWAP1 00000779: SWAP6 0000077a: MSTORE 0000077b: DUP6 0000077c: DUP6 0000077d: ADD 0000077e: SWAP4 0000077f: SWAP1 00000780: SWAP4 00000781: MSTORE 00000782: PUSH1 0x60 00000784: DUP6 00000785: ADD 00000786: SWAP2 00000787: SWAP1 00000788: SWAP2 00000789: MSTORE 0000078a: PUSH1 0x80 0000078c: DUP5 0000078d: ADD 0000078e: MSTORE 0000078f: PUSH1 0xa0 00000791: DUP4 00000792: ADD 00000793: MSTORE 00000794: MLOAD 00000795: SWAP1 00000796: DUP2 00000797: SWAP1 00000798: SUB 00000799: PUSH1 0xc0 0000079b: ADD 0000079c: SWAP1 0000079d: RETURN 0000079e: JUMPDEST 0000079f: PUSH1 0x00 000007a1: PUSH2 0x07a8 000007a4: PUSH2 0x0a9b 000007a7: JUMP 000007a8: JUMPDEST 000007a9: GT 000007aa: PUSH2 0x07b2 000007ad: JUMPI 000007ae: PUSH1 0x00 000007b0: DUP1 000007b1: REVERT 000007b2: JUMPDEST 000007b3: CALLVALUE 000007b4: ISZERO 000007b5: PUSH2 0x082d 000007b8: JUMPI 000007b9: PUSH2 0x07e3 000007bc: PUSH2 0x07c3 000007bf: PUSH2 0x0a9b 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH2 0x07d1 000007c7: CALLVALUE 000007c8: PUSH1 0x01 000007ca: PUSH1 0x80 000007cc: SHL 000007cd: PUSH2 0x1406 000007d0: JUMP 000007d1: JUMPDEST 000007d2: DUP2 000007d3: PUSH2 0x07d8 000007d6: JUMPI 000007d7: INVALID 000007d8: JUMPDEST 000007d9: PUSH1 0x05 000007db: SLOAD 000007dc: SWAP2 000007dd: SWAP1 000007de: DIV 000007df: PUSH2 0x1466 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH1 0x05 000007e6: SSTORE 000007e7: PUSH1 0x40 000007e9: DUP1 000007ea: MLOAD 000007eb: CALLVALUE 000007ec: DUP2 000007ed: MSTORE 000007ee: SWAP1 000007ef: MLOAD 000007f0: CALLER 000007f1: SWAP2 000007f2: PUSH32 0xa493a9229478c3fcd73f66d2cdeb7f94fd0f341da924d1054236d78454116511 00000813: SWAP2 00000814: SWAP1 00000815: DUP2 00000816: SWAP1 00000817: SUB 00000818: PUSH1 0x20 0000081a: ADD 0000081b: SWAP1 0000081c: LOG2 0000081d: PUSH1 0x08 0000081f: SLOAD 00000820: PUSH2 0x0829 00000823: SWAP1 00000824: CALLVALUE 00000825: PUSH2 0x1466 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH1 0x08 0000082c: SSTORE 0000082d: JUMPDEST 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x0c 00000832: PUSH1 0x00 00000834: PUSH2 0x083b 00000837: PUSH2 0x14be 0000083a: JUMP 0000083b: JUMPDEST 0000083c: PUSH1 0x01 0000083e: PUSH1 0x01 00000840: PUSH1 0xa0 00000842: SHL 00000843: SUB 00000844: AND 00000845: DUP2 00000846: MSTORE 00000847: PUSH1 0x20 00000849: DUP2 0000084a: ADD 0000084b: SWAP2 0000084c: SWAP1 0000084d: SWAP2 0000084e: MSTORE 0000084f: PUSH1 0x40 00000851: ADD 00000852: PUSH1 0x00 00000854: KECCAK256 00000855: SLOAD 00000856: PUSH1 0xff 00000858: AND 00000859: PUSH2 0x0897 0000085c: JUMPI 0000085d: PUSH1 0x40 0000085f: DUP1 00000860: MLOAD 00000861: PUSH3 0x461bcd 00000865: PUSH1 0xe5 00000867: SHL 00000868: DUP2 00000869: MSTORE 0000086a: PUSH1 0x20 0000086c: PUSH1 0x04 0000086e: DUP3 0000086f: ADD 00000870: DUP2 00000871: SWAP1 00000872: MSTORE 00000873: PUSH1 0x24 00000875: DUP3 00000876: ADD 00000877: MSTORE 00000878: PUSH1 0x00 0000087a: DUP1 0000087b: MLOAD 0000087c: PUSH1 0x20 0000087e: PUSH2 0x1be1 00000881: DUP4 00000882: CODECOPY 00000883: DUP2 00000884: MLOAD 00000885: SWAP2 00000886: MSTORE 00000887: PUSH1 0x44 00000889: DUP3 0000088a: ADD 0000088b: MSTORE 0000088c: SWAP1 0000088d: MLOAD 0000088e: SWAP1 0000088f: DUP2 00000890: SWAP1 00000891: SUB 00000892: PUSH1 0x64 00000894: ADD 00000895: SWAP1 00000896: REVERT 00000897: JUMPDEST 00000898: PUSH1 0x01 0000089a: PUSH1 0x01 0000089c: PUSH1 0xa0 0000089e: SHL 0000089f: SUB 000008a0: DUP3 000008a1: AND 000008a2: PUSH1 0x00 000008a4: SWAP1 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x0a 000008a9: PUSH1 0x20 000008ab: MSTORE 000008ac: PUSH1 0x40 000008ae: SWAP1 000008af: KECCAK256 000008b0: SLOAD 000008b1: PUSH1 0xff 000008b3: AND 000008b4: ISZERO 000008b5: PUSH2 0x0900 000008b8: JUMPI 000008b9: PUSH1 0x40 000008bb: DUP1 000008bc: MLOAD 000008bd: PUSH3 0x461bcd 000008c1: PUSH1 0xe5 000008c3: SHL 000008c4: DUP2 000008c5: MSTORE 000008c6: PUSH1 0x20 000008c8: PUSH1 0x04 000008ca: DUP3 000008cb: ADD 000008cc: MSTORE 000008cd: PUSH1 0x18 000008cf: PUSH1 0x24 000008d1: DUP3 000008d2: ADD 000008d3: MSTORE 000008d4: PUSH24 0x1058d8dbdd5b9d08185b1c9958591e48195e18db1d591959 000008ed: PUSH1 0x42 000008ef: SHL 000008f0: PUSH1 0x44 000008f2: DUP3 000008f3: ADD 000008f4: MSTORE 000008f5: SWAP1 000008f6: MLOAD 000008f7: SWAP1 000008f8: DUP2 000008f9: SWAP1 000008fa: SUB 000008fb: PUSH1 0x64 000008fd: ADD 000008fe: SWAP1 000008ff: REVERT 00000900: JUMPDEST 00000901: PUSH1 0x01 00000903: PUSH1 0x01 00000905: PUSH1 0xa0 00000907: SHL 00000908: SUB 00000909: DUP3 0000090a: AND 0000090b: PUSH1 0x00 0000090d: SWAP1 0000090e: DUP2 0000090f: MSTORE 00000910: PUSH1 0x0a 00000912: PUSH1 0x20 00000914: MSTORE 00000915: PUSH1 0x40 00000917: DUP2 00000918: KECCAK256 00000919: DUP1 0000091a: SLOAD 0000091b: PUSH1 0xff 0000091d: NOT 0000091e: AND 0000091f: PUSH1 0x01 00000921: OR 00000922: SWAP1 00000923: SSTORE 00000924: PUSH2 0x092e 00000927: SWAP1 00000928: DUP4 00000929: SWAP1 0000092a: PUSH2 0x14c2 0000092d: JUMP 0000092e: JUMPDEST 0000092f: DUP1 00000930: ISZERO 00000931: PUSH2 0x0987 00000934: JUMPI 00000935: PUSH1 0x01 00000937: PUSH1 0x01 00000939: PUSH1 0xa0 0000093b: SHL 0000093c: SUB 0000093d: DUP3 0000093e: AND 0000093f: PUSH1 0x00 00000941: SWAP1 00000942: DUP2 00000943: MSTORE 00000944: PUSH1 0x09 00000946: PUSH1 0x20 00000948: MSTORE 00000949: PUSH1 0x40 0000094b: SWAP1 0000094c: KECCAK256 0000094d: SLOAD 0000094e: PUSH1 0xff 00000950: AND 00000951: ISZERO 00000952: PUSH2 0x0987 00000955: JUMPI 00000956: PUSH1 0x01 00000958: PUSH1 0x01 0000095a: PUSH1 0xa0 0000095c: SHL 0000095d: SUB 0000095e: DUP3 0000095f: AND 00000960: PUSH1 0x00 00000962: SWAP1 00000963: DUP2 00000964: MSTORE 00000965: PUSH1 0x09 00000967: PUSH1 0x20 00000969: MSTORE 0000096a: PUSH1 0x40 0000096c: SWAP1 0000096d: KECCAK256 0000096e: DUP1 0000096f: SLOAD 00000970: PUSH1 0xff 00000972: NOT 00000973: AND 00000974: SWAP1 00000975: SSTORE 00000976: PUSH1 0x0e 00000978: SLOAD 00000979: PUSH2 0x0983 0000097c: SWAP1 0000097d: PUSH1 0x01 0000097f: PUSH2 0x151c 00000982: JUMP 00000983: JUMPDEST 00000984: PUSH1 0x0e 00000986: SSTORE 00000987: JUMPDEST 00000988: PUSH1 0x40 0000098a: MLOAD 0000098b: PUSH1 0x01 0000098d: PUSH1 0x01 0000098f: PUSH1 0xa0 00000991: SHL 00000992: SUB 00000993: DUP4 00000994: AND 00000995: SWAP1 00000996: PUSH32 0xa878b31040b2e6d0a9a3d3361209db3908ba62014b0dca52adbaee451d128b25 000009b7: SWAP1 000009b8: PUSH1 0x00 000009ba: SWAP1 000009bb: LOG2 000009bc: POP 000009bd: POP 000009be: JUMP 000009bf: JUMPDEST 000009c0: PUSH1 0x03 000009c2: DUP1 000009c3: SLOAD 000009c4: PUSH1 0x40 000009c6: DUP1 000009c7: MLOAD 000009c8: PUSH1 0x20 000009ca: PUSH1 0x1f 000009cc: PUSH1 0x02 000009ce: PUSH1 0x00 000009d0: NOT 000009d1: PUSH2 0x0100 000009d4: PUSH1 0x01 000009d6: DUP9 000009d7: AND 000009d8: ISZERO 000009d9: MUL 000009da: ADD 000009db: SWAP1 000009dc: SWAP6 000009dd: AND 000009de: SWAP5 000009df: SWAP1 000009e0: SWAP5 000009e1: DIV 000009e2: SWAP4 000009e3: DUP5 000009e4: ADD 000009e5: DUP2 000009e6: SWAP1 000009e7: DIV 000009e8: DUP2 000009e9: MUL 000009ea: DUP3 000009eb: ADD 000009ec: DUP2 000009ed: ADD 000009ee: SWAP1 000009ef: SWAP3 000009f0: MSTORE 000009f1: DUP3 000009f2: DUP2 000009f3: MSTORE 000009f4: PUSH1 0x60 000009f6: SWAP4 000009f7: SWAP1 000009f8: SWAP3 000009f9: SWAP1 000009fa: SWAP2 000009fb: DUP4 000009fc: ADD 000009fd: DUP3 000009fe: DUP3 000009ff: DUP1 00000a00: ISZERO 00000a01: PUSH2 0x0a4b 00000a04: JUMPI 00000a05: DUP1 00000a06: PUSH1 0x1f 00000a08: LT 00000a09: PUSH2 0x0a20 00000a0c: JUMPI 00000a0d: PUSH2 0x0100 00000a10: DUP1 00000a11: DUP4 00000a12: SLOAD 00000a13: DIV 00000a14: MUL 00000a15: DUP4 00000a16: MSTORE 00000a17: SWAP2 00000a18: PUSH1 0x20 00000a1a: ADD 00000a1b: SWAP2 00000a1c: PUSH2 0x0a4b 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: DUP3 00000a22: ADD 00000a23: SWAP2 00000a24: SWAP1 00000a25: PUSH1 0x00 00000a27: MSTORE 00000a28: PUSH1 0x20 00000a2a: PUSH1 0x00 00000a2c: KECCAK256 00000a2d: SWAP1 00000a2e: JUMPDEST 00000a2f: DUP2 00000a30: SLOAD 00000a31: DUP2 00000a32: MSTORE 00000a33: SWAP1 00000a34: PUSH1 0x01 00000a36: ADD 00000a37: SWAP1 00000a38: PUSH1 0x20 00000a3a: ADD 00000a3b: DUP1 00000a3c: DUP4 00000a3d: GT 00000a3e: PUSH2 0x0a2e 00000a41: JUMPI 00000a42: DUP3 00000a43: SWAP1 00000a44: SUB 00000a45: PUSH1 0x1f 00000a47: AND 00000a48: DUP3 00000a49: ADD 00000a4a: SWAP2 00000a4b: JUMPDEST 00000a4c: POP 00000a4d: POP 00000a4e: POP 00000a4f: POP 00000a50: POP 00000a51: SWAP1 00000a52: POP 00000a53: SWAP1 00000a54: JUMP 00000a55: JUMPDEST 00000a56: PUSH1 0x00 00000a58: PUSH2 0x0a69 00000a5b: PUSH2 0x0a62 00000a5e: PUSH2 0x14be 00000a61: JUMP 00000a62: JUMPDEST 00000a63: DUP5 00000a64: DUP5 00000a65: PUSH2 0x155e 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: POP 00000a6b: PUSH1 0x01 00000a6d: JUMPDEST 00000a6e: SWAP3 00000a6f: SWAP2 00000a70: POP 00000a71: POP 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH1 0x0e 00000a76: SLOAD 00000a77: SWAP1 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH1 0x01 00000a7c: PUSH1 0x01 00000a7e: PUSH1 0xa0 00000a80: SHL 00000a81: SUB 00000a82: DUP2 00000a83: AND 00000a84: PUSH1 0x00 00000a86: SWAP1 00000a87: DUP2 00000a88: MSTORE 00000a89: PUSH1 0x0c 00000a8b: PUSH1 0x20 00000a8d: MSTORE 00000a8e: PUSH1 0x40 00000a90: SWAP1 00000a91: KECCAK256 00000a92: SLOAD 00000a93: PUSH1 0xff 00000a95: AND 00000a96: JUMPDEST 00000a97: SWAP2 00000a98: SWAP1 00000a99: POP 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: PUSH1 0x02 00000a9e: SLOAD 00000a9f: SWAP1 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH1 0x0c 00000aa4: PUSH1 0x00 00000aa6: PUSH2 0x0aad 00000aa9: PUSH2 0x14be 00000aac: JUMP 00000aad: JUMPDEST 00000aae: PUSH1 0x01 00000ab0: PUSH1 0x01 00000ab2: PUSH1 0xa0 00000ab4: SHL 00000ab5: SUB 00000ab6: AND 00000ab7: DUP2 00000ab8: MSTORE 00000ab9: PUSH1 0x20 00000abb: DUP2 00000abc: ADD 00000abd: SWAP2 00000abe: SWAP1 00000abf: SWAP2 00000ac0: MSTORE 00000ac1: PUSH1 0x40 00000ac3: ADD 00000ac4: PUSH1 0x00 00000ac6: KECCAK256 00000ac7: SLOAD 00000ac8: PUSH1 0xff 00000aca: AND 00000acb: PUSH2 0x0b09 00000ace: JUMPI 00000acf: PUSH1 0x40 00000ad1: DUP1 00000ad2: MLOAD 00000ad3: PUSH3 0x461bcd 00000ad7: PUSH1 0xe5 00000ad9: SHL 00000ada: DUP2 00000adb: MSTORE 00000adc: PUSH1 0x20 00000ade: PUSH1 0x04 00000ae0: DUP3 00000ae1: ADD 00000ae2: DUP2 00000ae3: SWAP1 00000ae4: MSTORE 00000ae5: PUSH1 0x24 00000ae7: DUP3 00000ae8: ADD 00000ae9: MSTORE 00000aea: PUSH1 0x00 00000aec: DUP1 00000aed: MLOAD 00000aee: PUSH1 0x20 00000af0: PUSH2 0x1be1 00000af3: DUP4 00000af4: CODECOPY 00000af5: DUP2 00000af6: MLOAD 00000af7: SWAP2 00000af8: MSTORE 00000af9: PUSH1 0x44 00000afb: DUP3 00000afc: ADD 00000afd: MSTORE 00000afe: SWAP1 00000aff: MLOAD 00000b00: SWAP1 00000b01: DUP2 00000b02: SWAP1 00000b03: SUB 00000b04: PUSH1 0x64 00000b06: ADD 00000b07: SWAP1 00000b08: REVERT 00000b09: JUMPDEST 00000b0a: PUSH1 0x01 00000b0c: DUP2 00000b0d: LT 00000b0e: ISZERO 00000b0f: PUSH2 0x0b49 00000b12: JUMPI 00000b13: PUSH1 0x40 00000b15: MLOAD 00000b16: PUSH3 0x461bcd 00000b1a: PUSH1 0xe5 00000b1c: SHL 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x04 00000b21: ADD 00000b22: DUP1 00000b23: DUP1 00000b24: PUSH1 0x20 00000b26: ADD 00000b27: DUP3 00000b28: DUP2 00000b29: SUB 00000b2a: DUP3 00000b2b: MSTORE 00000b2c: PUSH1 0x34 00000b2e: DUP2 00000b2f: MSTORE 00000b30: PUSH1 0x20 00000b32: ADD 00000b33: DUP1 00000b34: PUSH2 0x1aa5 00000b37: PUSH1 0x34 00000b39: SWAP2 00000b3a: CODECOPY 00000b3b: PUSH1 0x40 00000b3d: ADD 00000b3e: SWAP2 00000b3f: POP 00000b40: POP 00000b41: PUSH1 0x40 00000b43: MLOAD 00000b44: DUP1 00000b45: SWAP2 00000b46: SUB 00000b47: SWAP1 00000b48: REVERT 00000b49: JUMPDEST 00000b4a: PUSH1 0x0f 00000b4c: SLOAD 00000b4d: PUSH1 0x40 00000b4f: MLOAD 00000b50: DUP3 00000b51: SWAP1 00000b52: PUSH32 0x9c9571fb23d65fec0768248b245e0bee0cd9e9036a4a9f9e8e417eb151886785 00000b73: SWAP1 00000b74: PUSH1 0x00 00000b76: SWAP1 00000b77: LOG3 00000b78: PUSH2 0x0b89 00000b7b: DUP2 00000b7c: PUSH8 0x0de0b6b3a7640000 00000b85: PUSH2 0x1406 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: PUSH1 0x0f 00000b8c: SSTORE 00000b8d: POP 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: PUSH1 0x0b 00000b92: PUSH1 0x20 00000b94: MSTORE 00000b95: PUSH1 0x00 00000b97: SWAP1 00000b98: DUP2 00000b99: MSTORE 00000b9a: PUSH1 0x40 00000b9c: SWAP1 00000b9d: KECCAK256 00000b9e: SLOAD 00000b9f: DUP2 00000ba0: JUMP 00000ba1: JUMPDEST 00000ba2: PUSH1 0x00 00000ba4: PUSH2 0x0bae 00000ba7: DUP5 00000ba8: DUP5 00000ba9: DUP5 00000baa: PUSH2 0x1595 00000bad: JUMP 00000bae: JUMPDEST 00000baf: PUSH2 0x0c1e 00000bb2: DUP5 00000bb3: PUSH2 0x0bba 00000bb6: PUSH2 0x14be 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH2 0x0c19 00000bbe: DUP6 00000bbf: PUSH1 0x40 00000bc1: MLOAD 00000bc2: DUP1 00000bc3: PUSH1 0x60 00000bc5: ADD 00000bc6: PUSH1 0x40 00000bc8: MSTORE 00000bc9: DUP1 00000bca: PUSH1 0x28 00000bcc: DUP2 00000bcd: MSTORE 00000bce: PUSH1 0x20 00000bd0: ADD 00000bd1: PUSH2 0x1bb9 00000bd4: PUSH1 0x28 00000bd6: SWAP2 00000bd7: CODECOPY 00000bd8: PUSH1 0x01 00000bda: PUSH1 0x01 00000bdc: PUSH1 0xa0 00000bde: SHL 00000bdf: SUB 00000be0: DUP11 00000be1: AND 00000be2: PUSH1 0x00 00000be4: SWAP1 00000be5: DUP2 00000be6: MSTORE 00000be7: PUSH1 0x01 00000be9: PUSH1 0x20 00000beb: MSTORE 00000bec: PUSH1 0x40 00000bee: DUP2 00000bef: KECCAK256 00000bf0: SWAP1 00000bf1: PUSH2 0x0bf8 00000bf4: PUSH2 0x14be 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0x01 00000bfd: PUSH1 0xa0 00000bff: SHL 00000c00: SUB 00000c01: AND 00000c02: DUP2 00000c03: MSTORE 00000c04: PUSH1 0x20 00000c06: DUP2 00000c07: ADD 00000c08: SWAP2 00000c09: SWAP1 00000c0a: SWAP2 00000c0b: MSTORE 00000c0c: PUSH1 0x40 00000c0e: ADD 00000c0f: PUSH1 0x00 00000c11: KECCAK256 00000c12: SLOAD 00000c13: SWAP2 00000c14: SWAP1 00000c15: PUSH2 0x15cc 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: PUSH2 0x155e 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: POP 00000c20: PUSH1 0x01 00000c22: SWAP4 00000c23: SWAP3 00000c24: POP 00000c25: POP 00000c26: POP 00000c27: JUMP 00000c28: JUMPDEST 00000c29: PUSH1 0x01 00000c2b: PUSH1 0x01 00000c2d: PUSH1 0xa0 00000c2f: SHL 00000c30: SUB 00000c31: DUP2 00000c32: AND 00000c33: PUSH1 0x00 00000c35: SWAP1 00000c36: DUP2 00000c37: MSTORE 00000c38: PUSH1 0x06 00000c3a: PUSH1 0x20 00000c3c: MSTORE 00000c3d: PUSH1 0x40 00000c3f: DUP2 00000c40: KECCAK256 00000c41: SLOAD 00000c42: PUSH1 0x01 00000c44: PUSH1 0x80 00000c46: SHL 00000c47: SWAP1 00000c48: PUSH2 0x0c77 00000c4b: SWAP1 00000c4c: PUSH2 0x0c72 00000c4f: SWAP1 00000c50: PUSH2 0x0c6c 00000c53: PUSH2 0x0c67 00000c56: PUSH2 0x0c5e 00000c59: DUP9 00000c5a: PUSH2 0x0d2a 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: PUSH1 0x05 00000c61: SLOAD 00000c62: SWAP1 00000c63: PUSH2 0x1406 00000c66: JUMP 00000c67: JUMPDEST 00000c68: PUSH2 0x1663 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: SWAP1 00000c6e: PUSH2 0x1673 00000c71: JUMP 00000c72: JUMPDEST 00000c73: PUSH2 0x16a6 00000c76: JUMP 00000c77: JUMPDEST 00000c78: DUP2 00000c79: PUSH2 0x0c7e 00000c7c: JUMPI 00000c7d: INVALID 00000c7e: JUMPDEST 00000c7f: DIV 00000c80: SWAP3 00000c81: SWAP2 00000c82: POP 00000c83: POP 00000c84: JUMP 00000c85: JUMPDEST 00000c86: PUSH1 0x12 00000c88: SWAP1 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: PUSH1 0x00 00000c8d: PUSH2 0x0a69 00000c90: PUSH2 0x0c97 00000c93: PUSH2 0x14be 00000c96: JUMP 00000c97: JUMPDEST 00000c98: DUP5 00000c99: PUSH2 0x0c19 00000c9c: DUP6 00000c9d: PUSH1 0x01 00000c9f: PUSH1 0x00 00000ca1: PUSH2 0x0ca8 00000ca4: PUSH2 0x14be 00000ca7: JUMP 00000ca8: JUMPDEST 00000ca9: PUSH1 0x01 00000cab: PUSH1 0x01 00000cad: PUSH1 0xa0 00000caf: SHL 00000cb0: SUB 00000cb1: SWAP1 00000cb2: DUP2 00000cb3: AND 00000cb4: DUP3 00000cb5: MSTORE 00000cb6: PUSH1 0x20 00000cb8: DUP1 00000cb9: DUP4 00000cba: ADD 00000cbb: SWAP4 00000cbc: SWAP1 00000cbd: SWAP4 00000cbe: MSTORE 00000cbf: PUSH1 0x40 00000cc1: SWAP2 00000cc2: DUP3 00000cc3: ADD 00000cc4: PUSH1 0x00 00000cc6: SWAP1 00000cc7: DUP2 00000cc8: KECCAK256 00000cc9: SWAP2 00000cca: DUP13 00000ccb: AND 00000ccc: DUP2 00000ccd: MSTORE 00000cce: SWAP3 00000ccf: MSTORE 00000cd0: SWAP1 00000cd1: KECCAK256 00000cd2: SLOAD 00000cd3: SWAP1 00000cd4: PUSH2 0x1466 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH1 0x0a 00000cdb: PUSH1 0x20 00000cdd: MSTORE 00000cde: PUSH1 0x00 00000ce0: SWAP1 00000ce1: DUP2 00000ce2: MSTORE 00000ce3: PUSH1 0x40 00000ce5: SWAP1 00000ce6: KECCAK256 00000ce7: SLOAD 00000ce8: PUSH1 0xff 00000cea: AND 00000ceb: DUP2 00000cec: JUMP 00000ced: JUMPDEST 00000cee: PUSH1 0x40 00000cf0: MLOAD 00000cf1: PUSH3 0x461bcd 00000cf5: PUSH1 0xe5 00000cf7: SHL 00000cf8: DUP2 00000cf9: MSTORE 00000cfa: PUSH1 0x04 00000cfc: ADD 00000cfd: DUP1 00000cfe: DUP1 00000cff: PUSH1 0x20 00000d01: ADD 00000d02: DUP3 00000d03: DUP2 00000d04: SUB 00000d05: DUP3 00000d06: MSTORE 00000d07: PUSH1 0x67 00000d09: DUP2 00000d0a: MSTORE 00000d0b: PUSH1 0x20 00000d0d: ADD 00000d0e: DUP1 00000d0f: PUSH2 0x1ad9 00000d12: PUSH1 0x67 00000d14: SWAP2 00000d15: CODECOPY 00000d16: PUSH1 0x80 00000d18: ADD 00000d19: SWAP2 00000d1a: POP 00000d1b: POP 00000d1c: PUSH1 0x40 00000d1e: MLOAD 00000d1f: DUP1 00000d20: SWAP2 00000d21: SUB 00000d22: SWAP1 00000d23: REVERT 00000d24: JUMPDEST 00000d25: PUSH1 0x0d 00000d27: SLOAD 00000d28: DUP2 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x01 00000d2d: PUSH1 0x01 00000d2f: PUSH1 0xa0 00000d31: SHL 00000d32: SUB 00000d33: AND 00000d34: PUSH1 0x00 00000d36: SWAP1 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x20 00000d3b: DUP2 00000d3c: SWAP1 00000d3d: MSTORE 00000d3e: PUSH1 0x40 00000d40: SWAP1 00000d41: KECCAK256 00000d42: SLOAD 00000d43: SWAP1 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x08 00000d48: SLOAD 00000d49: DUP2 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: PUSH1 0x00 00000d4e: PUSH2 0x0a6d 00000d51: DUP3 00000d52: PUSH2 0x0e1f 00000d55: JUMP 00000d56: JUMPDEST 00000d57: PUSH1 0x04 00000d59: DUP1 00000d5a: SLOAD 00000d5b: PUSH1 0x40 00000d5d: DUP1 00000d5e: MLOAD 00000d5f: PUSH1 0x20 00000d61: PUSH1 0x1f 00000d63: PUSH1 0x02 00000d65: PUSH1 0x00 00000d67: NOT 00000d68: PUSH2 0x0100 00000d6b: PUSH1 0x01 00000d6d: DUP9 00000d6e: AND 00000d6f: ISZERO 00000d70: MUL 00000d71: ADD 00000d72: SWAP1 00000d73: SWAP6 00000d74: AND 00000d75: SWAP5 00000d76: SWAP1 00000d77: SWAP5 00000d78: DIV 00000d79: SWAP4 00000d7a: DUP5 00000d7b: ADD 00000d7c: DUP2 00000d7d: SWAP1 00000d7e: DIV 00000d7f: DUP2 00000d80: MUL 00000d81: DUP3 00000d82: ADD 00000d83: DUP2 00000d84: ADD 00000d85: SWAP1 00000d86: SWAP3 00000d87: MSTORE 00000d88: DUP3 00000d89: DUP2 00000d8a: MSTORE 00000d8b: PUSH1 0x60 00000d8d: SWAP4 00000d8e: SWAP1 00000d8f: SWAP3 00000d90: SWAP1 00000d91: SWAP2 00000d92: DUP4 00000d93: ADD 00000d94: DUP3 00000d95: DUP3 00000d96: DUP1 00000d97: ISZERO 00000d98: PUSH2 0x0a4b 00000d9b: JUMPI 00000d9c: DUP1 00000d9d: PUSH1 0x1f 00000d9f: LT 00000da0: PUSH2 0x0a20 00000da3: JUMPI 00000da4: PUSH2 0x0100 00000da7: DUP1 00000da8: DUP4 00000da9: SLOAD 00000daa: DIV 00000dab: MUL 00000dac: DUP4 00000dad: MSTORE 00000dae: SWAP2 00000daf: PUSH1 0x20 00000db1: ADD 00000db2: SWAP2 00000db3: PUSH2 0x0a4b 00000db6: JUMP 00000db7: JUMPDEST 00000db8: PUSH1 0x00 00000dba: PUSH2 0x0a69 00000dbd: PUSH2 0x0dc4 00000dc0: PUSH2 0x14be 00000dc3: JUMP 00000dc4: JUMPDEST 00000dc5: DUP5 00000dc6: PUSH2 0x0c19 00000dc9: DUP6 00000dca: PUSH1 0x40 00000dcc: MLOAD 00000dcd: DUP1 00000dce: PUSH1 0x60 00000dd0: ADD 00000dd1: PUSH1 0x40 00000dd3: MSTORE 00000dd4: DUP1 00000dd5: PUSH1 0x25 00000dd7: DUP2 00000dd8: MSTORE 00000dd9: PUSH1 0x20 00000ddb: ADD 00000ddc: PUSH2 0x1d44 00000ddf: PUSH1 0x25 00000de1: SWAP2 00000de2: CODECOPY 00000de3: PUSH1 0x01 00000de5: PUSH1 0x00 00000de7: PUSH2 0x0dee 00000dea: PUSH2 0x14be 00000ded: JUMP 00000dee: JUMPDEST 00000def: PUSH1 0x01 00000df1: PUSH1 0x01 00000df3: PUSH1 0xa0 00000df5: SHL 00000df6: SUB 00000df7: SWAP1 00000df8: DUP2 00000df9: AND 00000dfa: DUP3 00000dfb: MSTORE 00000dfc: PUSH1 0x20 00000dfe: DUP1 00000dff: DUP4 00000e00: ADD 00000e01: SWAP4 00000e02: SWAP1 00000e03: SWAP4 00000e04: MSTORE 00000e05: PUSH1 0x40 00000e07: SWAP2 00000e08: DUP3 00000e09: ADD 00000e0a: PUSH1 0x00 00000e0c: SWAP1 00000e0d: DUP2 00000e0e: KECCAK256 00000e0f: SWAP2 00000e10: DUP14 00000e11: AND 00000e12: DUP2 00000e13: MSTORE 00000e14: SWAP3 00000e15: MSTORE 00000e16: SWAP1 00000e17: KECCAK256 00000e18: SLOAD 00000e19: SWAP2 00000e1a: SWAP1 00000e1b: PUSH2 0x15cc 00000e1e: JUMP 00000e1f: JUMPDEST 00000e20: PUSH1 0x01 00000e22: PUSH1 0x01 00000e24: PUSH1 0xa0 00000e26: SHL 00000e27: SUB 00000e28: DUP2 00000e29: AND 00000e2a: PUSH1 0x00 00000e2c: SWAP1 00000e2d: DUP2 00000e2e: MSTORE 00000e2f: PUSH1 0x07 00000e31: PUSH1 0x20 00000e33: MSTORE 00000e34: PUSH1 0x40 00000e36: DUP2 00000e37: KECCAK256 00000e38: SLOAD 00000e39: PUSH2 0x0a6d 00000e3c: SWAP1 00000e3d: PUSH2 0x0e45 00000e40: DUP5 00000e41: PUSH2 0x0c28 00000e44: JUMP 00000e45: JUMPDEST 00000e46: SWAP1 00000e47: PUSH2 0x151c 00000e4a: JUMP 00000e4b: JUMPDEST 00000e4c: PUSH1 0x00 00000e4e: PUSH2 0x0a69 00000e51: PUSH2 0x0e58 00000e54: PUSH2 0x14be 00000e57: JUMP 00000e58: JUMPDEST 00000e59: DUP5 00000e5a: DUP5 00000e5b: PUSH2 0x1595 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH1 0x01 00000e62: PUSH1 0x01 00000e64: PUSH1 0xa0 00000e66: SHL 00000e67: SUB 00000e68: AND 00000e69: PUSH1 0x00 00000e6b: SWAP1 00000e6c: DUP2 00000e6d: MSTORE 00000e6e: PUSH1 0x07 00000e70: PUSH1 0x20 00000e72: MSTORE 00000e73: PUSH1 0x40 00000e75: SWAP1 00000e76: KECCAK256 00000e77: SLOAD 00000e78: SWAP1 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: PUSH1 0x0c 00000e7d: PUSH1 0x00 00000e7f: PUSH2 0x0e86 00000e82: PUSH2 0x14be 00000e85: JUMP 00000e86: JUMPDEST 00000e87: PUSH1 0x01 00000e89: PUSH1 0x01 00000e8b: PUSH1 0xa0 00000e8d: SHL 00000e8e: SUB 00000e8f: AND 00000e90: DUP2 00000e91: MSTORE 00000e92: PUSH1 0x20 00000e94: DUP2 00000e95: ADD 00000e96: SWAP2 00000e97: SWAP1 00000e98: SWAP2 00000e99: MSTORE 00000e9a: PUSH1 0x40 00000e9c: ADD 00000e9d: PUSH1 0x00 00000e9f: KECCAK256 00000ea0: SLOAD 00000ea1: PUSH1 0xff 00000ea3: AND 00000ea4: PUSH2 0x0ee2 00000ea7: JUMPI 00000ea8: PUSH1 0x40 00000eaa: DUP1 00000eab: MLOAD 00000eac: PUSH3 0x461bcd 00000eb0: PUSH1 0xe5 00000eb2: SHL 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: PUSH1 0x20 00000eb7: PUSH1 0x04 00000eb9: DUP3 00000eba: ADD 00000ebb: DUP2 00000ebc: SWAP1 00000ebd: MSTORE 00000ebe: PUSH1 0x24 00000ec0: DUP3 00000ec1: ADD 00000ec2: MSTORE 00000ec3: PUSH1 0x00 00000ec5: DUP1 00000ec6: MLOAD 00000ec7: PUSH1 0x20 00000ec9: PUSH2 0x1be1 00000ecc: DUP4 00000ecd: CODECOPY 00000ece: DUP2 00000ecf: MLOAD 00000ed0: SWAP2 00000ed1: MSTORE 00000ed2: PUSH1 0x44 00000ed4: DUP3 00000ed5: ADD 00000ed6: MSTORE 00000ed7: SWAP1 00000ed8: MLOAD 00000ed9: SWAP1 00000eda: DUP2 00000edb: SWAP1 00000edc: SUB 00000edd: PUSH1 0x64 00000edf: ADD 00000ee0: SWAP1 00000ee1: REVERT 00000ee2: JUMPDEST 00000ee3: PUSH1 0x01 00000ee5: PUSH1 0x01 00000ee7: PUSH1 0xa0 00000ee9: SHL 00000eea: SUB 00000eeb: DUP3 00000eec: AND 00000eed: PUSH1 0x00 00000eef: SWAP1 00000ef0: DUP2 00000ef1: MSTORE 00000ef2: PUSH1 0x0c 00000ef4: PUSH1 0x20 00000ef6: MSTORE 00000ef7: PUSH1 0x40 00000ef9: SWAP1 00000efa: KECCAK256 00000efb: SLOAD 00000efc: PUSH1 0xff 00000efe: AND 00000eff: ISZERO 00000f00: ISZERO 00000f01: DUP2 00000f02: ISZERO 00000f03: ISZERO 00000f04: EQ 00000f05: ISZERO 00000f06: PUSH2 0x0f40 00000f09: JUMPI 00000f0a: PUSH1 0x40 00000f0c: MLOAD 00000f0d: PUSH3 0x461bcd 00000f11: PUSH1 0xe5 00000f13: SHL 00000f14: DUP2 00000f15: MSTORE 00000f16: PUSH1 0x04 00000f18: ADD 00000f19: DUP1 00000f1a: DUP1 00000f1b: PUSH1 0x20 00000f1d: ADD 00000f1e: DUP3 00000f1f: DUP2 00000f20: SUB 00000f21: DUP3 00000f22: MSTORE 00000f23: PUSH1 0x2c 00000f25: DUP2 00000f26: MSTORE 00000f27: PUSH1 0x20 00000f29: ADD 00000f2a: DUP1 00000f2b: PUSH2 0x1b40 00000f2e: PUSH1 0x2c 00000f30: SWAP2 00000f31: CODECOPY 00000f32: PUSH1 0x40 00000f34: ADD 00000f35: SWAP2 00000f36: POP 00000f37: POP 00000f38: PUSH1 0x40 00000f3a: MLOAD 00000f3b: DUP1 00000f3c: SWAP2 00000f3d: SUB 00000f3e: SWAP1 00000f3f: REVERT 00000f40: JUMPDEST 00000f41: PUSH1 0x01 00000f43: PUSH1 0x01 00000f45: PUSH1 0xa0 00000f47: SHL 00000f48: SUB 00000f49: DUP3 00000f4a: AND 00000f4b: PUSH1 0x00 00000f4d: DUP2 00000f4e: DUP2 00000f4f: MSTORE 00000f50: PUSH1 0x0c 00000f52: PUSH1 0x20 00000f54: MSTORE 00000f55: PUSH1 0x40 00000f57: DUP1 00000f58: DUP3 00000f59: KECCAK256 00000f5a: DUP1 00000f5b: SLOAD 00000f5c: PUSH1 0xff 00000f5e: NOT 00000f5f: AND 00000f60: DUP6 00000f61: ISZERO 00000f62: ISZERO 00000f63: SWAP1 00000f64: DUP2 00000f65: OR 00000f66: SWAP1 00000f67: SWAP2 00000f68: SSTORE 00000f69: SWAP1 00000f6a: MLOAD 00000f6b: SWAP1 00000f6c: SWAP3 00000f6d: SWAP2 00000f6e: PUSH32 0x8ae3029208fd6692a475f09e97b7a86f7993f1eb5e1edb563554aebc28838602 00000f8f: SWAP2 00000f90: LOG3 00000f91: POP 00000f92: POP 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH1 0x00 00000f97: PUSH1 0x0c 00000f99: PUSH1 0x00 00000f9b: PUSH2 0x0fa2 00000f9e: PUSH2 0x14be 00000fa1: JUMP 00000fa2: JUMPDEST 00000fa3: PUSH1 0x01 00000fa5: PUSH1 0x01 00000fa7: PUSH1 0xa0 00000fa9: SHL 00000faa: SUB 00000fab: AND 00000fac: DUP2 00000fad: MSTORE 00000fae: PUSH1 0x20 00000fb0: DUP2 00000fb1: ADD 00000fb2: SWAP2 00000fb3: SWAP1 00000fb4: SWAP2 00000fb5: MSTORE 00000fb6: PUSH1 0x40 00000fb8: ADD 00000fb9: PUSH1 0x00 00000fbb: KECCAK256 00000fbc: SLOAD 00000fbd: PUSH1 0xff 00000fbf: AND 00000fc0: PUSH2 0x0ffe 00000fc3: JUMPI 00000fc4: PUSH1 0x40 00000fc6: DUP1 00000fc7: MLOAD 00000fc8: PUSH3 0x461bcd 00000fcc: PUSH1 0xe5 00000fce: SHL 00000fcf: DUP2 00000fd0: MSTORE 00000fd1: PUSH1 0x20 00000fd3: PUSH1 0x04 00000fd5: DUP3 00000fd6: ADD 00000fd7: DUP2 00000fd8: SWAP1 00000fd9: MSTORE 00000fda: PUSH1 0x24 00000fdc: DUP3 00000fdd: ADD 00000fde: MSTORE 00000fdf: PUSH1 0x00 00000fe1: DUP1 00000fe2: MLOAD 00000fe3: PUSH1 0x20 00000fe5: PUSH2 0x1be1 00000fe8: DUP4 00000fe9: CODECOPY 00000fea: DUP2 00000feb: MLOAD 00000fec: SWAP2 00000fed: MSTORE 00000fee: PUSH1 0x44 00000ff0: DUP3 00000ff1: ADD 00000ff2: MSTORE 00000ff3: SWAP1 00000ff4: MLOAD 00000ff5: SWAP1 00000ff6: DUP2 00000ff7: SWAP1 00000ff8: SUB 00000ff9: PUSH1 0x64 00000ffb: ADD 00000ffc: SWAP1 00000ffd: REVERT 00000ffe: JUMPDEST 00000fff: PUSH1 0x01 00001001: PUSH1 0x01 00001003: PUSH1 0xa0 00001005: SHL 00001006: SUB 00001007: DUP4 00001008: AND 00001009: PUSH1 0x00 0000100b: SWAP1 0000100c: DUP2 0000100d: MSTORE 0000100e: PUSH1 0x0b 00001010: PUSH1 0x20 00001012: MSTORE 00001013: PUSH1 0x40 00001015: SWAP1 00001016: KECCAK256 00001017: SLOAD 00001018: PUSH1 0x0d 0000101a: SLOAD 0000101b: TIMESTAMP 0000101c: SWAP2 0000101d: ADD 0000101e: LT 0000101f: PUSH2 0x1059 00001022: JUMPI 00001023: PUSH1 0x40 00001025: MLOAD 00001026: PUSH3 0x461bcd 0000102a: PUSH1 0xe5 0000102c: SHL 0000102d: DUP2 0000102e: MSTORE 0000102f: PUSH1 0x04 00001031: ADD 00001032: DUP1 00001033: DUP1 00001034: PUSH1 0x20 00001036: ADD 00001037: DUP3 00001038: DUP2 00001039: SUB 0000103a: DUP3 0000103b: MSTORE 0000103c: PUSH1 0x35 0000103e: DUP2 0000103f: MSTORE 00001040: PUSH1 0x20 00001042: ADD 00001043: DUP1 00001044: PUSH2 0x1d0f 00001047: PUSH1 0x35 00001049: SWAP2 0000104a: CODECOPY 0000104b: PUSH1 0x40 0000104d: ADD 0000104e: SWAP2 0000104f: POP 00001050: POP 00001051: PUSH1 0x40 00001053: MLOAD 00001054: DUP1 00001055: SWAP2 00001056: SUB 00001057: SWAP1 00001058: REVERT 00001059: JUMPDEST 0000105a: PUSH1 0x00 0000105c: PUSH2 0x1064 0000105f: DUP5 00001060: PUSH2 0x16b9 00001063: JUMP 00001064: JUMPDEST 00001065: SWAP1 00001066: POP 00001067: DUP1 00001068: ISZERO 00001069: PUSH2 0x10ca 0000106c: JUMPI 0000106d: PUSH1 0x01 0000106f: PUSH1 0x01 00001071: PUSH1 0xa0 00001073: SHL 00001074: SUB 00001075: DUP5 00001076: AND 00001077: PUSH1 0x00 00001079: DUP2 0000107a: DUP2 0000107b: MSTORE 0000107c: PUSH1 0x0b 0000107e: PUSH1 0x20 00001080: SWAP1 00001081: DUP2 00001082: MSTORE 00001083: PUSH1 0x40 00001085: SWAP2 00001086: DUP3 00001087: SWAP1 00001088: KECCAK256 00001089: TIMESTAMP 0000108a: SWAP1 0000108b: SSTORE 0000108c: DUP2 0000108d: MLOAD 0000108e: DUP5 0000108f: DUP2 00001090: MSTORE 00001091: SWAP2 00001092: MLOAD 00001093: DUP7 00001094: ISZERO 00001095: ISZERO 00001096: SWAP4 00001097: SWAP3 00001098: PUSH32 0xa2c38e2d2fb7e3e1912d937fd1ca11ed6d51864dee4cfa7a7bf02becd7acf092 000010b9: SWAP3 000010ba: SWAP1 000010bb: DUP3 000010bc: SWAP1 000010bd: SUB 000010be: ADD 000010bf: SWAP1 000010c0: LOG3 000010c1: PUSH1 0x01 000010c3: SWAP2 000010c4: POP 000010c5: POP 000010c6: PUSH2 0x0a6d 000010c9: JUMP 000010ca: JUMPDEST 000010cb: POP 000010cc: PUSH1 0x00 000010ce: SWAP4 000010cf: SWAP3 000010d0: POP 000010d1: POP 000010d2: POP 000010d3: JUMP 000010d4: JUMPDEST 000010d5: PUSH1 0x0f 000010d7: SLOAD 000010d8: DUP2 000010d9: JUMP 000010da: JUMPDEST 000010db: PUSH1 0x01 000010dd: PUSH1 0x01 000010df: PUSH1 0xa0 000010e1: SHL 000010e2: SUB 000010e3: SWAP2 000010e4: DUP3 000010e5: AND 000010e6: PUSH1 0x00 000010e8: SWAP1 000010e9: DUP2 000010ea: MSTORE 000010eb: PUSH1 0x01 000010ed: PUSH1 0x20 000010ef: SWAP1 000010f0: DUP2 000010f1: MSTORE 000010f2: PUSH1 0x40 000010f4: DUP1 000010f5: DUP4 000010f6: KECCAK256 000010f7: SWAP4 000010f8: SWAP1 000010f9: SWAP5 000010fa: AND 000010fb: DUP3 000010fc: MSTORE 000010fd: SWAP2 000010fe: SWAP1 000010ff: SWAP2 00001100: MSTORE 00001101: KECCAK256 00001102: SLOAD 00001103: SWAP1 00001104: JUMP 00001105: JUMPDEST 00001106: PUSH1 0x0c 00001108: PUSH1 0x00 0000110a: PUSH2 0x1111 0000110d: PUSH2 0x14be 00001110: JUMP 00001111: JUMPDEST 00001112: PUSH1 0x01 00001114: PUSH1 0x01 00001116: PUSH1 0xa0 00001118: SHL 00001119: SUB 0000111a: AND 0000111b: DUP2 0000111c: MSTORE 0000111d: PUSH1 0x20 0000111f: DUP2 00001120: ADD 00001121: SWAP2 00001122: SWAP1 00001123: SWAP2 00001124: MSTORE 00001125: PUSH1 0x40 00001127: ADD 00001128: PUSH1 0x00 0000112a: KECCAK256 0000112b: SLOAD 0000112c: PUSH1 0xff 0000112e: AND 0000112f: PUSH2 0x116d 00001132: JUMPI 00001133: PUSH1 0x40 00001135: DUP1 00001136: MLOAD 00001137: PUSH3 0x461bcd 0000113b: PUSH1 0xe5 0000113d: SHL 0000113e: DUP2 0000113f: MSTORE 00001140: PUSH1 0x20 00001142: PUSH1 0x04 00001144: DUP3 00001145: ADD 00001146: DUP2 00001147: SWAP1 00001148: MSTORE 00001149: PUSH1 0x24 0000114b: DUP3 0000114c: ADD 0000114d: MSTORE 0000114e: PUSH1 0x00 00001150: DUP1 00001151: MLOAD 00001152: PUSH1 0x20 00001154: PUSH2 0x1be1 00001157: DUP4 00001158: CODECOPY 00001159: DUP2 0000115a: MLOAD 0000115b: SWAP2 0000115c: MSTORE 0000115d: PUSH1 0x44 0000115f: DUP3 00001160: ADD 00001161: MSTORE 00001162: SWAP1 00001163: MLOAD 00001164: SWAP1 00001165: DUP2 00001166: SWAP1 00001167: SUB 00001168: PUSH1 0x64 0000116a: ADD 0000116b: SWAP1 0000116c: REVERT 0000116d: JUMPDEST 0000116e: PUSH1 0x01 00001170: PUSH1 0x01 00001172: PUSH1 0xa0 00001174: SHL 00001175: SUB 00001176: DUP3 00001177: AND 00001178: PUSH1 0x00 0000117a: SWAP1 0000117b: DUP2 0000117c: MSTORE 0000117d: PUSH1 0x0a 0000117f: PUSH1 0x20 00001181: MSTORE 00001182: PUSH1 0x40 00001184: SWAP1 00001185: KECCAK256 00001186: SLOAD 00001187: PUSH1 0xff 00001189: AND 0000118a: ISZERO 0000118b: PUSH2 0x1193 0000118e: JUMPI 0000118f: PUSH2 0x125f 00001192: JUMP 00001193: JUMPDEST 00001194: PUSH1 0x0f 00001196: SLOAD 00001197: DUP2 00001198: LT 00001199: PUSH2 0x1201 0000119c: JUMPI 0000119d: PUSH2 0x11a6 000011a0: DUP3 000011a1: DUP3 000011a2: PUSH2 0x14c2 000011a5: JUMP 000011a6: JUMPDEST 000011a7: PUSH1 0x01 000011a9: PUSH1 0x01 000011ab: PUSH1 0xa0 000011ad: SHL 000011ae: SUB 000011af: DUP3 000011b0: AND 000011b1: PUSH1 0x00 000011b3: SWAP1 000011b4: DUP2 000011b5: MSTORE 000011b6: PUSH1 0x09 000011b8: PUSH1 0x20 000011ba: MSTORE 000011bb: PUSH1 0x40 000011bd: SWAP1 000011be: KECCAK256 000011bf: SLOAD 000011c0: PUSH1 0xff 000011c2: AND 000011c3: PUSH2 0x11fc 000011c6: JUMPI 000011c7: PUSH1 0x01 000011c9: PUSH1 0x01 000011cb: PUSH1 0xa0 000011cd: SHL 000011ce: SUB 000011cf: DUP3 000011d0: AND 000011d1: PUSH1 0x00 000011d3: SWAP1 000011d4: DUP2 000011d5: MSTORE 000011d6: PUSH1 0x09 000011d8: PUSH1 0x20 000011da: MSTORE 000011db: PUSH1 0x40 000011dd: SWAP1 000011de: KECCAK256 000011df: DUP1 000011e0: SLOAD 000011e1: PUSH1 0xff 000011e3: NOT 000011e4: AND 000011e5: PUSH1 0x01 000011e7: SWAP1 000011e8: DUP2 000011e9: OR 000011ea: SWAP1 000011eb: SWAP2 000011ec: SSTORE 000011ed: PUSH1 0x0e 000011ef: SLOAD 000011f0: PUSH2 0x11f8 000011f3: SWAP2 000011f4: PUSH2 0x1466 000011f7: JUMP 000011f8: JUMPDEST 000011f9: PUSH1 0x0e 000011fb: SSTORE 000011fc: JUMPDEST 000011fd: PUSH2 0x125f 00001200: JUMP 00001201: JUMPDEST 00001202: PUSH2 0x120c 00001205: DUP3 00001206: PUSH1 0x00 00001208: PUSH2 0x14c2 0000120b: JUMP 0000120c: JUMPDEST 0000120d: PUSH1 0x01 0000120f: PUSH1 0x01 00001211: PUSH1 0xa0 00001213: SHL 00001214: SUB 00001215: DUP3 00001216: AND 00001217: PUSH1 0x00 00001219: SWAP1 0000121a: DUP2 0000121b: MSTORE 0000121c: PUSH1 0x09 0000121e: PUSH1 0x20 00001220: MSTORE 00001221: PUSH1 0x40 00001223: SWAP1 00001224: KECCAK256 00001225: SLOAD 00001226: PUSH1 0xff 00001228: AND 00001229: ISZERO 0000122a: PUSH2 0x125f 0000122d: JUMPI 0000122e: PUSH1 0x01 00001230: PUSH1 0x01 00001232: PUSH1 0xa0 00001234: SHL 00001235: SUB 00001236: DUP3 00001237: AND 00001238: PUSH1 0x00 0000123a: SWAP1 0000123b: DUP2 0000123c: MSTORE 0000123d: PUSH1 0x09 0000123f: PUSH1 0x20 00001241: MSTORE 00001242: PUSH1 0x40 00001244: SWAP1 00001245: KECCAK256 00001246: DUP1 00001247: SLOAD 00001248: PUSH1 0xff 0000124a: NOT 0000124b: AND 0000124c: SWAP1 0000124d: SSTORE 0000124e: PUSH1 0x0e 00001250: SLOAD 00001251: PUSH2 0x125b 00001254: SWAP1 00001255: PUSH1 0x01 00001257: PUSH2 0x151c 0000125a: JUMP 0000125b: JUMPDEST 0000125c: PUSH1 0x0e 0000125e: SSTORE 0000125f: JUMPDEST 00001260: POP 00001261: POP 00001262: JUMP 00001263: JUMPDEST 00001264: PUSH1 0x0c 00001266: PUSH1 0x00 00001268: PUSH2 0x126f 0000126b: PUSH2 0x14be 0000126e: JUMP 0000126f: JUMPDEST 00001270: PUSH1 0x01 00001272: PUSH1 0x01 00001274: PUSH1 0xa0 00001276: SHL 00001277: SUB 00001278: AND 00001279: DUP2 0000127a: MSTORE 0000127b: PUSH1 0x20 0000127d: DUP2 0000127e: ADD 0000127f: SWAP2 00001280: SWAP1 00001281: SWAP2 00001282: MSTORE 00001283: PUSH1 0x40 00001285: ADD 00001286: PUSH1 0x00 00001288: KECCAK256 00001289: SLOAD 0000128a: PUSH1 0xff 0000128c: AND 0000128d: PUSH2 0x12cb 00001290: JUMPI 00001291: PUSH1 0x40 00001293: DUP1 00001294: MLOAD 00001295: PUSH3 0x461bcd 00001299: PUSH1 0xe5 0000129b: SHL 0000129c: DUP2 0000129d: MSTORE 0000129e: PUSH1 0x20 000012a0: PUSH1 0x04 000012a2: DUP3 000012a3: ADD 000012a4: DUP2 000012a5: SWAP1 000012a6: MSTORE 000012a7: PUSH1 0x24 000012a9: DUP3 000012aa: ADD 000012ab: MSTORE 000012ac: PUSH1 0x00 000012ae: DUP1 000012af: MLOAD 000012b0: PUSH1 0x20 000012b2: PUSH2 0x1be1 000012b5: DUP4 000012b6: CODECOPY 000012b7: DUP2 000012b8: MLOAD 000012b9: SWAP2 000012ba: MSTORE 000012bb: PUSH1 0x44 000012bd: DUP3 000012be: ADD 000012bf: MSTORE 000012c0: SWAP1 000012c1: MLOAD 000012c2: SWAP1 000012c3: DUP2 000012c4: SWAP1 000012c5: SUB 000012c6: PUSH1 0x64 000012c8: ADD 000012c9: SWAP1 000012ca: REVERT 000012cb: JUMPDEST 000012cc: PUSH2 0x0e10 000012cf: DUP2 000012d0: LT 000012d1: ISZERO 000012d2: DUP1 000012d3: ISZERO 000012d4: PUSH2 0x12e0 000012d7: JUMPI 000012d8: POP 000012d9: PUSH3 0x015180 000012dd: DUP2 000012de: GT 000012df: ISZERO 000012e0: JUMPDEST 000012e1: PUSH2 0x131b 000012e4: JUMPI 000012e5: PUSH1 0x40 000012e7: MLOAD 000012e8: PUSH3 0x461bcd 000012ec: PUSH1 0xe5 000012ee: SHL 000012ef: DUP2 000012f0: MSTORE 000012f1: PUSH1 0x04 000012f3: ADD 000012f4: DUP1 000012f5: DUP1 000012f6: PUSH1 0x20 000012f8: ADD 000012f9: DUP3 000012fa: DUP2 000012fb: SUB 000012fc: DUP3 000012fd: MSTORE 000012fe: PUSH1 0x4b 00001300: DUP2 00001301: MSTORE 00001302: PUSH1 0x20 00001304: ADD 00001305: DUP1 00001306: PUSH2 0x1c01 00001309: PUSH1 0x4b 0000130b: SWAP2 0000130c: CODECOPY 0000130d: PUSH1 0x60 0000130f: ADD 00001310: SWAP2 00001311: POP 00001312: POP 00001313: PUSH1 0x40 00001315: MLOAD 00001316: DUP1 00001317: SWAP2 00001318: SUB 00001319: SWAP1 0000131a: REVERT 0000131b: JUMPDEST 0000131c: PUSH1 0x0d 0000131e: SLOAD 0000131f: DUP2 00001320: EQ 00001321: ISZERO 00001322: PUSH2 0x135c 00001325: JUMPI 00001326: PUSH1 0x40 00001328: MLOAD 00001329: PUSH3 0x461bcd 0000132d: PUSH1 0xe5 0000132f: SHL 00001330: DUP2 00001331: MSTORE 00001332: PUSH1 0x04 00001334: ADD 00001335: DUP1 00001336: DUP1 00001337: PUSH1 0x20 00001339: ADD 0000133a: DUP3 0000133b: DUP2 0000133c: SUB 0000133d: DUP3 0000133e: MSTORE 0000133f: PUSH1 0x3d 00001341: DUP2 00001342: MSTORE 00001343: PUSH1 0x20 00001345: ADD 00001346: DUP1 00001347: PUSH2 0x1c8d 0000134a: PUSH1 0x3d 0000134c: SWAP2 0000134d: CODECOPY 0000134e: PUSH1 0x40 00001350: ADD 00001351: SWAP2 00001352: POP 00001353: POP 00001354: PUSH1 0x40 00001356: MLOAD 00001357: DUP1 00001358: SWAP2 00001359: SUB 0000135a: SWAP1 0000135b: REVERT 0000135c: JUMPDEST 0000135d: PUSH1 0x0d 0000135f: SLOAD 00001360: PUSH1 0x40 00001362: MLOAD 00001363: DUP3 00001364: SWAP1 00001365: PUSH32 0x474ea64804364a1e29a4487ddb63c3342a2dd826ccd8acf48825e680a0e6f20f 00001386: SWAP1 00001387: PUSH1 0x00 00001389: SWAP1 0000138a: LOG3 0000138b: PUSH1 0x0d 0000138d: SSTORE 0000138e: JUMP 0000138f: JUMPDEST 00001390: DUP1 00001391: PUSH1 0x00 00001393: DUP1 00001394: DUP1 00001395: DUP1 00001396: DUP1 00001397: PUSH2 0x139f 0000139a: DUP7 0000139b: PUSH2 0x0e1f 0000139e: JUMP 0000139f: JUMPDEST 000013a0: SWAP5 000013a1: POP 000013a2: PUSH2 0x13aa 000013a5: DUP7 000013a6: PUSH2 0x0c28 000013a9: JUMP 000013aa: JUMPDEST 000013ab: PUSH1 0x01 000013ad: PUSH1 0x01 000013af: PUSH1 0xa0 000013b1: SHL 000013b2: SUB 000013b3: DUP8 000013b4: AND 000013b5: PUSH1 0x00 000013b7: SWAP1 000013b8: DUP2 000013b9: MSTORE 000013ba: PUSH1 0x0b 000013bc: PUSH1 0x20 000013be: MSTORE 000013bf: PUSH1 0x40 000013c1: SWAP1 000013c2: KECCAK256 000013c3: SLOAD 000013c4: SWAP1 000013c5: SWAP5 000013c6: POP 000013c7: SWAP3 000013c8: POP 000013c9: DUP3 000013ca: PUSH2 0x13d3 000013cd: JUMPI 000013ce: TIMESTAMP 000013cf: PUSH2 0x13e1 000013d2: JUMP 000013d3: JUMPDEST 000013d4: PUSH1 0x0d 000013d6: SLOAD 000013d7: PUSH2 0x13e1 000013da: SWAP1 000013db: DUP5 000013dc: SWAP1 000013dd: PUSH2 0x1466 000013e0: JUMP 000013e1: JUMPDEST 000013e2: SWAP2 000013e3: POP 000013e4: TIMESTAMP 000013e5: DUP3 000013e6: GT 000013e7: PUSH2 0x13f1 000013ea: JUMPI 000013eb: PUSH1 0x00 000013ed: PUSH2 0x13fb 000013f0: JUMP 000013f1: JUMPDEST 000013f2: PUSH2 0x13fb 000013f5: DUP3 000013f6: TIMESTAMP 000013f7: PUSH2 0x151c 000013fa: JUMP 000013fb: JUMPDEST 000013fc: SWAP1 000013fd: POP 000013fe: SWAP2 000013ff: SWAP4 00001400: SWAP6 00001401: POP 00001402: SWAP2 00001403: SWAP4 00001404: SWAP6 00001405: JUMP 00001406: JUMPDEST 00001407: PUSH1 0x00 00001409: DUP3 0000140a: PUSH2 0x1415 0000140d: JUMPI 0000140e: POP 0000140f: PUSH1 0x00 00001411: PUSH2 0x0a6d 00001414: JUMP 00001415: JUMPDEST 00001416: DUP3 00001417: DUP3 00001418: MUL 00001419: DUP3 0000141a: DUP5 0000141b: DUP3 0000141c: DUP2 0000141d: PUSH2 0x1422 00001420: JUMPI 00001421: INVALID 00001422: JUMPDEST 00001423: DIV 00001424: EQ 00001425: PUSH2 0x145f 00001428: JUMPI 00001429: PUSH1 0x40 0000142b: MLOAD 0000142c: PUSH3 0x461bcd 00001430: PUSH1 0xe5 00001432: SHL 00001433: DUP2 00001434: MSTORE 00001435: PUSH1 0x04 00001437: ADD 00001438: DUP1 00001439: DUP1 0000143a: PUSH1 0x20 0000143c: ADD 0000143d: DUP3 0000143e: DUP2 0000143f: SUB 00001440: DUP3 00001441: MSTORE 00001442: PUSH1 0x21 00001444: DUP2 00001445: MSTORE 00001446: PUSH1 0x20 00001448: ADD 00001449: DUP1 0000144a: PUSH2 0x1b6c 0000144d: PUSH1 0x21 0000144f: SWAP2 00001450: CODECOPY 00001451: PUSH1 0x40 00001453: ADD 00001454: SWAP2 00001455: POP 00001456: POP 00001457: PUSH1 0x40 00001459: MLOAD 0000145a: DUP1 0000145b: SWAP2 0000145c: SUB 0000145d: SWAP1 0000145e: REVERT 0000145f: JUMPDEST 00001460: SWAP4 00001461: SWAP3 00001462: POP 00001463: POP 00001464: POP 00001465: JUMP 00001466: JUMPDEST 00001467: PUSH1 0x00 00001469: DUP3 0000146a: DUP3 0000146b: ADD 0000146c: DUP4 0000146d: DUP2 0000146e: LT 0000146f: ISZERO 00001470: PUSH2 0x145f 00001473: JUMPI 00001474: PUSH1 0x40 00001476: DUP1 00001477: MLOAD 00001478: PUSH3 0x461bcd 0000147c: PUSH1 0xe5 0000147e: SHL 0000147f: DUP2 00001480: MSTORE 00001481: PUSH1 0x20 00001483: PUSH1 0x04 00001485: DUP3 00001486: ADD 00001487: MSTORE 00001488: PUSH1 0x1b 0000148a: PUSH1 0x24 0000148c: DUP3 0000148d: ADD 0000148e: MSTORE 0000148f: PUSH27 0x536166654d6174683a206164646974696f6e206f766572666c6f77 000014ab: PUSH1 0x28 000014ad: SHL 000014ae: PUSH1 0x44 000014b0: DUP3 000014b1: ADD 000014b2: MSTORE 000014b3: SWAP1 000014b4: MLOAD 000014b5: SWAP1 000014b6: DUP2 000014b7: SWAP1 000014b8: SUB 000014b9: PUSH1 0x64 000014bb: ADD 000014bc: SWAP1 000014bd: REVERT 000014be: JUMPDEST 000014bf: CALLER 000014c0: SWAP1 000014c1: JUMP 000014c2: JUMPDEST 000014c3: PUSH1 0x00 000014c5: PUSH2 0x14cd 000014c8: DUP4 000014c9: PUSH2 0x0d2a 000014cc: JUMP 000014cd: JUMPDEST 000014ce: SWAP1 000014cf: POP 000014d0: DUP1 000014d1: DUP3 000014d2: GT 000014d3: ISZERO 000014d4: PUSH2 0x14f5 000014d7: JUMPI 000014d8: PUSH1 0x00 000014da: PUSH2 0x14e3 000014dd: DUP4 000014de: DUP4 000014df: PUSH2 0x151c 000014e2: JUMP 000014e3: JUMPDEST 000014e4: SWAP1 000014e5: POP 000014e6: PUSH2 0x14ef 000014e9: DUP5 000014ea: DUP3 000014eb: PUSH2 0x17f8 000014ee: JUMP 000014ef: JUMPDEST 000014f0: POP 000014f1: PUSH2 0x1517 000014f4: JUMP 000014f5: JUMPDEST 000014f6: DUP1 000014f7: DUP3 000014f8: LT 000014f9: ISZERO 000014fa: PUSH2 0x1517 000014fd: JUMPI 000014fe: PUSH1 0x00 00001500: PUSH2 0x1509 00001503: DUP3 00001504: DUP5 00001505: PUSH2 0x151c 00001508: JUMP 00001509: JUMPDEST 0000150a: SWAP1 0000150b: POP 0000150c: PUSH2 0x1515 0000150f: DUP5 00001510: DUP3 00001511: PUSH2 0x185c 00001514: JUMP 00001515: JUMPDEST 00001516: POP 00001517: JUMPDEST 00001518: POP 00001519: POP 0000151a: POP 0000151b: JUMP 0000151c: JUMPDEST 0000151d: PUSH1 0x00 0000151f: PUSH2 0x145f 00001522: DUP4 00001523: DUP4 00001524: PUSH1 0x40 00001526: MLOAD 00001527: DUP1 00001528: PUSH1 0x40 0000152a: ADD 0000152b: PUSH1 0x40 0000152d: MSTORE 0000152e: DUP1 0000152f: PUSH1 0x1e 00001531: DUP2 00001532: MSTORE 00001533: PUSH1 0x20 00001535: ADD 00001536: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001557: DUP2 00001558: MSTORE 00001559: POP 0000155a: PUSH2 0x15cc 0000155d: JUMP 0000155e: JUMPDEST 0000155f: PUSH1 0x40 00001561: MLOAD 00001562: PUSH3 0x461bcd 00001566: PUSH1 0xe5 00001568: SHL 00001569: DUP2 0000156a: MSTORE 0000156b: PUSH1 0x04 0000156d: ADD 0000156e: DUP1 0000156f: DUP1 00001570: PUSH1 0x20 00001572: ADD 00001573: DUP3 00001574: DUP2 00001575: SUB 00001576: DUP3 00001577: MSTORE 00001578: PUSH1 0x45 0000157a: DUP2 0000157b: MSTORE 0000157c: PUSH1 0x20 0000157e: ADD 0000157f: DUP1 00001580: PUSH2 0x1cca 00001583: PUSH1 0x45 00001585: SWAP2 00001586: CODECOPY 00001587: PUSH1 0x60 00001589: ADD 0000158a: SWAP2 0000158b: POP 0000158c: POP 0000158d: PUSH1 0x40 0000158f: MLOAD 00001590: DUP1 00001591: SWAP2 00001592: SUB 00001593: SWAP1 00001594: REVERT 00001595: JUMPDEST 00001596: PUSH1 0x40 00001598: MLOAD 00001599: PUSH3 0x461bcd 0000159d: PUSH1 0xe5 0000159f: SHL 000015a0: DUP2 000015a1: MSTORE 000015a2: PUSH1 0x04 000015a4: ADD 000015a5: DUP1 000015a6: DUP1 000015a7: PUSH1 0x20 000015a9: ADD 000015aa: DUP3 000015ab: DUP2 000015ac: SUB 000015ad: DUP3 000015ae: MSTORE 000015af: PUSH1 0x2c 000015b1: DUP2 000015b2: MSTORE 000015b3: PUSH1 0x20 000015b5: ADD 000015b6: DUP1 000015b7: PUSH2 0x1b8d 000015ba: PUSH1 0x2c 000015bc: SWAP2 000015bd: CODECOPY 000015be: PUSH1 0x40 000015c0: ADD 000015c1: SWAP2 000015c2: POP 000015c3: POP 000015c4: PUSH1 0x40 000015c6: MLOAD 000015c7: DUP1 000015c8: SWAP2 000015c9: SUB 000015ca: SWAP1 000015cb: REVERT 000015cc: JUMPDEST 000015cd: PUSH1 0x00 000015cf: DUP2 000015d0: DUP5 000015d1: DUP5 000015d2: GT 000015d3: ISZERO 000015d4: PUSH2 0x165b 000015d7: JUMPI 000015d8: PUSH1 0x40 000015da: MLOAD 000015db: PUSH3 0x461bcd 000015df: PUSH1 0xe5 000015e1: SHL 000015e2: DUP2 000015e3: MSTORE 000015e4: PUSH1 0x04 000015e6: ADD 000015e7: DUP1 000015e8: DUP1 000015e9: PUSH1 0x20 000015eb: ADD 000015ec: DUP3 000015ed: DUP2 000015ee: SUB 000015ef: DUP3 000015f0: MSTORE 000015f1: DUP4 000015f2: DUP2 000015f3: DUP2 000015f4: MLOAD 000015f5: DUP2 000015f6: MSTORE 000015f7: PUSH1 0x20 000015f9: ADD 000015fa: SWAP2 000015fb: POP 000015fc: DUP1 000015fd: MLOAD 000015fe: SWAP1 000015ff: PUSH1 0x20 00001601: ADD 00001602: SWAP1 00001603: DUP1 00001604: DUP4 00001605: DUP4 00001606: PUSH1 0x00 00001608: JUMPDEST 00001609: DUP4 0000160a: DUP2 0000160b: LT 0000160c: ISZERO 0000160d: PUSH2 0x1620 00001610: JUMPI 00001611: DUP2 00001612: DUP2 00001613: ADD 00001614: MLOAD 00001615: DUP4 00001616: DUP3 00001617: ADD 00001618: MSTORE 00001619: PUSH1 0x20 0000161b: ADD 0000161c: PUSH2 0x1608 0000161f: JUMP 00001620: JUMPDEST 00001621: POP 00001622: POP 00001623: POP 00001624: POP 00001625: SWAP1 00001626: POP 00001627: SWAP1 00001628: DUP2 00001629: ADD 0000162a: SWAP1 0000162b: PUSH1 0x1f 0000162d: AND 0000162e: DUP1 0000162f: ISZERO 00001630: PUSH2 0x164d 00001633: JUMPI 00001634: DUP1 00001635: DUP3 00001636: SUB 00001637: DUP1 00001638: MLOAD 00001639: PUSH1 0x01 0000163b: DUP4 0000163c: PUSH1 0x20 0000163e: SUB 0000163f: PUSH2 0x0100 00001642: EXP 00001643: SUB 00001644: NOT 00001645: AND 00001646: DUP2 00001647: MSTORE 00001648: PUSH1 0x20 0000164a: ADD 0000164b: SWAP2 0000164c: POP 0000164d: JUMPDEST 0000164e: POP 0000164f: SWAP3 00001650: POP 00001651: POP 00001652: POP 00001653: PUSH1 0x40 00001655: MLOAD 00001656: DUP1 00001657: SWAP2 00001658: SUB 00001659: SWAP1 0000165a: REVERT 0000165b: JUMPDEST 0000165c: POP 0000165d: POP 0000165e: POP 0000165f: SWAP1 00001660: SUB 00001661: SWAP1 00001662: JUMP 00001663: JUMPDEST 00001664: PUSH1 0x00 00001666: DUP2 00001667: DUP2 00001668: DUP2 00001669: SLT 0000166a: ISZERO 0000166b: PUSH2 0x0a6d 0000166e: JUMPI 0000166f: PUSH1 0x00 00001671: DUP1 00001672: REVERT 00001673: JUMPDEST 00001674: PUSH1 0x00 00001676: DUP3 00001677: DUP3 00001678: ADD 00001679: DUP2 0000167a: DUP4 0000167b: SLT 0000167c: DUP1 0000167d: ISZERO 0000167e: SWAP1 0000167f: PUSH2 0x1688 00001682: JUMPI 00001683: POP 00001684: DUP4 00001685: DUP2 00001686: SLT 00001687: ISZERO 00001688: JUMPDEST 00001689: DUP1 0000168a: PUSH2 0x169d 0000168d: JUMPI 0000168e: POP 0000168f: PUSH1 0x00 00001691: DUP4 00001692: SLT 00001693: DUP1 00001694: ISZERO 00001695: PUSH2 0x169d 00001698: JUMPI 00001699: POP 0000169a: DUP4 0000169b: DUP2 0000169c: SLT 0000169d: JUMPDEST 0000169e: PUSH2 0x145f 000016a1: JUMPI 000016a2: PUSH1 0x00 000016a4: DUP1 000016a5: REVERT 000016a6: JUMPDEST 000016a7: PUSH1 0x00 000016a9: DUP1 000016aa: DUP3 000016ab: SLT 000016ac: ISZERO 000016ad: PUSH2 0x16b5 000016b0: JUMPI 000016b1: PUSH1 0x00 000016b3: DUP1 000016b4: REVERT 000016b5: JUMPDEST 000016b6: POP 000016b7: SWAP1 000016b8: JUMP 000016b9: JUMPDEST 000016ba: PUSH1 0x00 000016bc: DUP1 000016bd: PUSH2 0x16c5 000016c0: DUP4 000016c1: PUSH2 0x0e1f 000016c4: JUMP 000016c5: JUMPDEST 000016c6: SWAP1 000016c7: POP 000016c8: DUP1 000016c9: ISZERO 000016ca: PUSH2 0x17ef 000016cd: JUMPI 000016ce: PUSH1 0x40 000016d0: DUP1 000016d1: MLOAD 000016d2: DUP3 000016d3: DUP2 000016d4: MSTORE 000016d5: SWAP1 000016d6: MLOAD 000016d7: PUSH1 0x01 000016d9: PUSH1 0x01 000016db: PUSH1 0xa0 000016dd: SHL 000016de: SUB 000016df: DUP6 000016e0: AND 000016e1: SWAP2 000016e2: PUSH32 0xee503bee2bb6a87e57bc57db795f98137327401a0e7b7ce42e37926cc1a9ca4d 00001703: SWAP2 00001704: SWAP1 00001705: DUP2 00001706: SWAP1 00001707: SUB 00001708: PUSH1 0x20 0000170a: ADD 0000170b: SWAP1 0000170c: LOG2 0000170d: PUSH1 0x01 0000170f: PUSH1 0x01 00001711: PUSH1 0xa0 00001713: SHL 00001714: SUB 00001715: DUP4 00001716: AND 00001717: PUSH1 0x00 00001719: SWAP1 0000171a: DUP2 0000171b: MSTORE 0000171c: PUSH1 0x07 0000171e: PUSH1 0x20 00001720: MSTORE 00001721: PUSH1 0x40 00001723: SWAP1 00001724: KECCAK256 00001725: SLOAD 00001726: PUSH2 0x172f 00001729: SWAP1 0000172a: DUP3 0000172b: PUSH2 0x1466 0000172e: JUMP 0000172f: JUMPDEST 00001730: PUSH1 0x01 00001732: PUSH1 0x01 00001734: PUSH1 0xa0 00001736: SHL 00001737: SUB 00001738: DUP5 00001739: AND 0000173a: PUSH1 0x00 0000173c: DUP2 0000173d: DUP2 0000173e: MSTORE 0000173f: PUSH1 0x07 00001741: PUSH1 0x20 00001743: MSTORE 00001744: PUSH1 0x40 00001746: DUP1 00001747: DUP3 00001748: KECCAK256 00001749: SWAP4 0000174a: SWAP1 0000174b: SWAP4 0000174c: SSTORE 0000174d: SWAP2 0000174e: MLOAD 0000174f: PUSH2 0x0bb8 00001752: SWAP1 00001753: DUP5 00001754: SWAP1 00001755: DUP5 00001756: DUP2 00001757: DUP2 00001758: DUP2 00001759: DUP6 0000175a: DUP9 0000175b: DUP9 0000175c: CALL 0000175d: SWAP4 0000175e: POP 0000175f: POP 00001760: POP 00001761: POP 00001762: RETURNDATASIZE 00001763: DUP1 00001764: PUSH1 0x00 00001766: DUP2 00001767: EQ 00001768: PUSH2 0x178d 0000176b: JUMPI 0000176c: PUSH1 0x40 0000176e: MLOAD 0000176f: SWAP2 00001770: POP 00001771: PUSH1 0x1f 00001773: NOT 00001774: PUSH1 0x3f 00001776: RETURNDATASIZE 00001777: ADD 00001778: AND 00001779: DUP3 0000177a: ADD 0000177b: PUSH1 0x40 0000177d: MSTORE 0000177e: RETURNDATASIZE 0000177f: DUP3 00001780: MSTORE 00001781: RETURNDATASIZE 00001782: PUSH1 0x00 00001784: PUSH1 0x20 00001786: DUP5 00001787: ADD 00001788: RETURNDATACOPY 00001789: PUSH2 0x1792 0000178c: JUMP 0000178d: JUMPDEST 0000178e: PUSH1 0x60 00001790: SWAP2 00001791: POP 00001792: JUMPDEST 00001793: POP 00001794: POP 00001795: SWAP1 00001796: POP 00001797: DUP1 00001798: PUSH2 0x17dc 0000179b: JUMPI 0000179c: PUSH1 0x01 0000179e: PUSH1 0x01 000017a0: PUSH1 0xa0 000017a2: SHL 000017a3: SUB 000017a4: DUP5 000017a5: AND 000017a6: PUSH1 0x00 000017a8: SWAP1 000017a9: DUP2 000017aa: MSTORE 000017ab: PUSH1 0x07 000017ad: PUSH1 0x20 000017af: MSTORE 000017b0: PUSH1 0x40 000017b2: SWAP1 000017b3: KECCAK256 000017b4: SLOAD 000017b5: PUSH2 0x17be 000017b8: SWAP1 000017b9: DUP4 000017ba: PUSH2 0x151c 000017bd: JUMP 000017be: JUMPDEST 000017bf: PUSH1 0x01 000017c1: PUSH1 0x01 000017c3: PUSH1 0xa0 000017c5: SHL 000017c6: SUB 000017c7: DUP6 000017c8: AND 000017c9: PUSH1 0x00 000017cb: SWAP1 000017cc: DUP2 000017cd: MSTORE 000017ce: PUSH1 0x07 000017d0: PUSH1 0x20 000017d2: MSTORE 000017d3: PUSH1 0x40 000017d5: SWAP1 000017d6: KECCAK256 000017d7: SSTORE 000017d8: PUSH2 0x17e7 000017db: JUMP 000017dc: JUMPDEST 000017dd: PUSH1 0x00 000017df: SWAP3 000017e0: POP 000017e1: POP 000017e2: POP 000017e3: PUSH2 0x0a96 000017e6: JUMP 000017e7: JUMPDEST 000017e8: POP 000017e9: SWAP1 000017ea: POP 000017eb: PUSH2 0x0a96 000017ee: JUMP 000017ef: JUMPDEST 000017f0: POP 000017f1: PUSH1 0x00 000017f3: SWAP3 000017f4: SWAP2 000017f5: POP 000017f6: POP 000017f7: JUMP 000017f8: JUMPDEST 000017f9: PUSH2 0x1802 000017fc: DUP3 000017fd: DUP3 000017fe: PUSH2 0x18a0 00001801: JUMP 00001802: JUMPDEST 00001803: PUSH2 0x183c 00001806: PUSH2 0x181d 00001809: PUSH2 0x0c67 0000180c: DUP4 0000180d: PUSH1 0x05 0000180f: SLOAD 00001810: PUSH2 0x1406 00001813: SWAP1 00001814: SWAP2 00001815: SWAP1 00001816: PUSH4 0xffffffff 0000181b: AND 0000181c: JUMP 0000181d: JUMPDEST 0000181e: PUSH1 0x01 00001820: PUSH1 0x01 00001822: PUSH1 0xa0 00001824: SHL 00001825: SUB 00001826: DUP5 00001827: AND 00001828: PUSH1 0x00 0000182a: SWAP1 0000182b: DUP2 0000182c: MSTORE 0000182d: PUSH1 0x06 0000182f: PUSH1 0x20 00001831: MSTORE 00001832: PUSH1 0x40 00001834: SWAP1 00001835: KECCAK256 00001836: SLOAD 00001837: SWAP1 00001838: PUSH2 0x1972 0000183b: JUMP 0000183c: JUMPDEST 0000183d: PUSH1 0x01 0000183f: PUSH1 0x01 00001841: PUSH1 0xa0 00001843: SHL 00001844: SUB 00001845: SWAP1 00001846: SWAP3 00001847: AND 00001848: PUSH1 0x00 0000184a: SWAP1 0000184b: DUP2 0000184c: MSTORE 0000184d: PUSH1 0x06 0000184f: PUSH1 0x20 00001851: MSTORE 00001852: PUSH1 0x40 00001854: SWAP1 00001855: KECCAK256 00001856: SWAP2 00001857: SWAP1 00001858: SWAP2 00001859: SSTORE 0000185a: POP 0000185b: JUMP 0000185c: JUMPDEST 0000185d: PUSH2 0x1866 00001860: DUP3 00001861: DUP3 00001862: PUSH2 0x19a4 00001865: JUMP 00001866: JUMPDEST 00001867: PUSH2 0x183c 0000186a: PUSH2 0x1881 0000186d: PUSH2 0x0c67 00001870: DUP4 00001871: PUSH1 0x05 00001873: SLOAD 00001874: PUSH2 0x1406 00001877: SWAP1 00001878: SWAP2 00001879: SWAP1 0000187a: PUSH4 0xffffffff 0000187f: AND 00001880: JUMP 00001881: JUMPDEST 00001882: PUSH1 0x01 00001884: PUSH1 0x01 00001886: PUSH1 0xa0 00001888: SHL 00001889: SUB 0000188a: DUP5 0000188b: AND 0000188c: PUSH1 0x00 0000188e: SWAP1 0000188f: DUP2 00001890: MSTORE 00001891: PUSH1 0x06 00001893: PUSH1 0x20 00001895: MSTORE 00001896: PUSH1 0x40 00001898: SWAP1 00001899: KECCAK256 0000189a: SLOAD 0000189b: SWAP1 0000189c: PUSH2 0x1673 0000189f: JUMP 000018a0: JUMPDEST 000018a1: PUSH1 0x01 000018a3: PUSH1 0x01 000018a5: PUSH1 0xa0 000018a7: SHL 000018a8: SUB 000018a9: DUP3 000018aa: AND 000018ab: PUSH2 0x18fb 000018ae: JUMPI 000018af: PUSH1 0x40 000018b1: DUP1 000018b2: MLOAD 000018b3: PUSH3 0x461bcd 000018b7: PUSH1 0xe5 000018b9: SHL 000018ba: DUP2 000018bb: MSTORE 000018bc: PUSH1 0x20 000018be: PUSH1 0x04 000018c0: DUP3 000018c1: ADD 000018c2: MSTORE 000018c3: PUSH1 0x1f 000018c5: PUSH1 0x24 000018c7: DUP3 000018c8: ADD 000018c9: MSTORE 000018ca: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 000018eb: PUSH1 0x44 000018ed: DUP3 000018ee: ADD 000018ef: MSTORE 000018f0: SWAP1 000018f1: MLOAD 000018f2: SWAP1 000018f3: DUP2 000018f4: SWAP1 000018f5: SUB 000018f6: PUSH1 0x64 000018f8: ADD 000018f9: SWAP1 000018fa: REVERT 000018fb: JUMPDEST 000018fc: PUSH1 0x02 000018fe: SLOAD 000018ff: PUSH2 0x1908 00001902: SWAP1 00001903: DUP3 00001904: PUSH2 0x1466 00001907: JUMP 00001908: JUMPDEST 00001909: PUSH1 0x02 0000190b: SSTORE 0000190c: PUSH1 0x01 0000190e: PUSH1 0x01 00001910: PUSH1 0xa0 00001912: SHL 00001913: SUB 00001914: DUP3 00001915: AND 00001916: PUSH1 0x00 00001918: SWAP1 00001919: DUP2 0000191a: MSTORE 0000191b: PUSH1 0x20 0000191d: DUP2 0000191e: SWAP1 0000191f: MSTORE 00001920: PUSH1 0x40 00001922: SWAP1 00001923: KECCAK256 00001924: SLOAD 00001925: PUSH2 0x192e 00001928: SWAP1 00001929: DUP3 0000192a: PUSH2 0x1466 0000192d: JUMP 0000192e: JUMPDEST 0000192f: PUSH1 0x01 00001931: PUSH1 0x01 00001933: PUSH1 0xa0 00001935: SHL 00001936: SUB 00001937: DUP4 00001938: AND 00001939: PUSH1 0x00 0000193b: DUP2 0000193c: DUP2 0000193d: MSTORE 0000193e: PUSH1 0x20 00001940: DUP2 00001941: DUP2 00001942: MSTORE 00001943: PUSH1 0x40 00001945: DUP1 00001946: DUP4 00001947: KECCAK256 00001948: SWAP5 00001949: SWAP1 0000194a: SWAP5 0000194b: SSTORE 0000194c: DUP4 0000194d: MLOAD 0000194e: DUP6 0000194f: DUP2 00001950: MSTORE 00001951: SWAP4 00001952: MLOAD 00001953: SWAP3 00001954: SWAP4 00001955: SWAP2 00001956: SWAP3 00001957: PUSH1 0x00 00001959: DUP1 0000195a: MLOAD 0000195b: PUSH1 0x20 0000195d: PUSH2 0x1c4c 00001960: DUP4 00001961: CODECOPY 00001962: DUP2 00001963: MLOAD 00001964: SWAP2 00001965: MSTORE 00001966: SWAP3 00001967: DUP2 00001968: SWAP1 00001969: SUB 0000196a: SWAP1 0000196b: SWAP2 0000196c: ADD 0000196d: SWAP1 0000196e: LOG3 0000196f: POP 00001970: POP 00001971: JUMP 00001972: JUMPDEST 00001973: PUSH1 0x00 00001975: DUP2 00001976: DUP4 00001977: SUB 00001978: DUP2 00001979: DUP4 0000197a: SLT 0000197b: DUP1 0000197c: ISZERO 0000197d: SWAP1 0000197e: PUSH2 0x1987 00001981: JUMPI 00001982: POP 00001983: DUP4 00001984: DUP2 00001985: SGT 00001986: ISZERO 00001987: JUMPDEST 00001988: DUP1 00001989: PUSH2 0x169d 0000198c: JUMPI 0000198d: POP 0000198e: PUSH1 0x00 00001990: DUP4 00001991: SLT 00001992: DUP1 00001993: ISZERO 00001994: PUSH2 0x169d 00001997: JUMPI 00001998: POP 00001999: DUP4 0000199a: DUP2 0000199b: SGT 0000199c: PUSH2 0x145f 0000199f: JUMPI 000019a0: PUSH1 0x00 000019a2: DUP1 000019a3: REVERT 000019a4: JUMPDEST 000019a5: PUSH1 0x01 000019a7: PUSH1 0x01 000019a9: PUSH1 0xa0 000019ab: SHL 000019ac: SUB 000019ad: DUP3 000019ae: AND 000019af: PUSH2 0x19e9 000019b2: JUMPI 000019b3: PUSH1 0x40 000019b5: MLOAD 000019b6: PUSH3 0x461bcd 000019ba: PUSH1 0xe5 000019bc: SHL 000019bd: DUP2 000019be: MSTORE 000019bf: PUSH1 0x04 000019c1: ADD 000019c2: DUP1 000019c3: DUP1 000019c4: PUSH1 0x20 000019c6: ADD 000019c7: DUP3 000019c8: DUP2 000019c9: SUB 000019ca: DUP3 000019cb: MSTORE 000019cc: PUSH1 0x21 000019ce: DUP2 000019cf: MSTORE 000019d0: PUSH1 0x20 000019d2: ADD 000019d3: DUP1 000019d4: PUSH2 0x1c6c 000019d7: PUSH1 0x21 000019d9: SWAP2 000019da: CODECOPY 000019db: PUSH1 0x40 000019dd: ADD 000019de: SWAP2 000019df: POP 000019e0: POP 000019e1: PUSH1 0x40 000019e3: MLOAD 000019e4: DUP1 000019e5: SWAP2 000019e6: SUB 000019e7: SWAP1 000019e8: REVERT 000019e9: JUMPDEST 000019ea: PUSH2 0x1a26 000019ed: DUP2 000019ee: PUSH1 0x40 000019f0: MLOAD 000019f1: DUP1 000019f2: PUSH1 0x60 000019f4: ADD 000019f5: PUSH1 0x40 000019f7: MSTORE 000019f8: DUP1 000019f9: PUSH1 0x22 000019fb: DUP2 000019fc: MSTORE 000019fd: PUSH1 0x20 000019ff: ADD 00001a00: PUSH2 0x1a83 00001a03: PUSH1 0x22 00001a05: SWAP2 00001a06: CODECOPY 00001a07: PUSH1 0x01 00001a09: PUSH1 0x01 00001a0b: PUSH1 0xa0 00001a0d: SHL 00001a0e: SUB 00001a0f: DUP6 00001a10: AND 00001a11: PUSH1 0x00 00001a13: SWAP1 00001a14: DUP2 00001a15: MSTORE 00001a16: PUSH1 0x20 00001a18: DUP2 00001a19: SWAP1 00001a1a: MSTORE 00001a1b: PUSH1 0x40 00001a1d: SWAP1 00001a1e: KECCAK256 00001a1f: SLOAD 00001a20: SWAP2 00001a21: SWAP1 00001a22: PUSH2 0x15cc 00001a25: JUMP 00001a26: JUMPDEST 00001a27: PUSH1 0x01 00001a29: PUSH1 0x01 00001a2b: PUSH1 0xa0 00001a2d: SHL 00001a2e: SUB 00001a2f: DUP4 00001a30: AND 00001a31: PUSH1 0x00 00001a33: SWAP1 00001a34: DUP2 00001a35: MSTORE 00001a36: PUSH1 0x20 00001a38: DUP2 00001a39: SWAP1 00001a3a: MSTORE 00001a3b: PUSH1 0x40 00001a3d: SWAP1 00001a3e: KECCAK256 00001a3f: SSTORE 00001a40: PUSH1 0x02 00001a42: SLOAD 00001a43: PUSH2 0x1a4c 00001a46: SWAP1 00001a47: DUP3 00001a48: PUSH2 0x151c 00001a4b: JUMP 00001a4c: JUMPDEST 00001a4d: PUSH1 0x02 00001a4f: SSTORE 00001a50: PUSH1 0x40 00001a52: DUP1 00001a53: MLOAD 00001a54: DUP3 00001a55: DUP2 00001a56: MSTORE 00001a57: SWAP1 00001a58: MLOAD 00001a59: PUSH1 0x00 00001a5b: SWAP2 00001a5c: PUSH1 0x01 00001a5e: PUSH1 0x01 00001a60: PUSH1 0xa0 00001a62: SHL 00001a63: SUB 00001a64: DUP6 00001a65: AND 00001a66: SWAP2 00001a67: PUSH1 0x00 00001a69: DUP1 00001a6a: MLOAD 00001a6b: PUSH1 0x20 00001a6d: PUSH2 0x1c4c 00001a70: DUP4 00001a71: CODECOPY 00001a72: DUP2 00001a73: MLOAD 00001a74: SWAP2 00001a75: MSTORE 00001a76: SWAP2 00001a77: DUP2 00001a78: SWAP1 00001a79: SUB 00001a7a: PUSH1 0x20 00001a7c: ADD 00001a7d: SWAP1 00001a7e: LOG3 00001a7f: POP 00001a80: POP 00001a81: JUMP 00001a82: INVALID 00001a83: GASLIMIT 00001a84: MSTORE 00001a85: NUMBER 00001a86: ORIGIN 00001a87: ADDRESS 00001a88: GASPRICE 00001a89: KECCAK256 00001a8a: PUSH3 0x75726e 00001a8e: KECCAK256 00001a8f: PUSH2 0x6d6f 00001a92: PUSH22 0x6e7420657863656564732062616c616e636556697261 00001aa9: PUSH13 0x5f4469766964656e645f547261 00001ab7: PUSH4 0x6b65723a 00001abc: KECCAK256 00001abd: PUSH15 0x65774d696e696d756d546f6b656e20 00001acd: PUSH14 0x6f7265203120746f6b656e566972 00001adc: PUSH2 0x6c5f 00001adf: DIFFICULTY 00001ae0: PUSH10 0x766964656e645f547261 00001aeb: PUSH4 0x6b65723a 00001af0: KECCAK256 00001af1: PUSH24 0x697468647261774469766964656e642064697361626c6564 00001b0a: UNKNOWN(0x2E) 00001b0b: KECCAK256 00001b0c: SSTORE 00001b0d: PUSH20 0x65207468652027636c61696d272066756e637469 00001b22: PUSH16 0x6e206f6e20746865206d61696e205649 00001b33: MSTORE 00001b34: COINBASE 00001b35: UNKNOWN(0x4C) 00001b36: KECCAK256 00001b37: PUSH4 0x6f6e7472 00001b3c: PUSH2 0x6374 00001b3f: UNKNOWN(0x2E) 00001b40: UNKNOWN(0x4F) 00001b41: PUSH24 0x6e6572736869703a20726f6c6520697320616c7265616479 00001b5a: KECCAK256 00001b5b: PUSH20 0x657420746f20746869732076616c756553616665 00001b70: UNKNOWN(0x4D) 00001b71: PUSH2 0x7468 00001b74: GASPRICE 00001b75: KECCAK256 00001b76: PUSH14 0x756c7469706c69636174696f6e20 00001b85: PUSH16 0x766572666c6f77566972616c5f446976 00001b96: PUSH10 0x64656e645f547261636b 00001ba1: PUSH6 0x723a204e6f20 00001ba8: PUSH21 0x72616e736665727320616c6c6f7765644552433230 00001bbe: GASPRICE 00001bbf: KECCAK256 00001bc0: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001bd6: PUSH20 0x20616c6c6f77616e63654f776e61626c653a2063 00001beb: PUSH2 0x6c6c 00001bee: PUSH6 0x72206973206e 00001bf5: PUSH16 0x7420746865206f776e6572566972616c 00001c06: PUSH0 00001c07: DIFFICULTY 00001c08: PUSH10 0x766964656e645f547261 00001c13: PUSH4 0x6b65723a 00001c18: KECCAK256 00001c19: PUSH4 0x6c61696d 00001c1e: JUMPI 00001c1f: PUSH2 0x6974 00001c22: KECCAK256 00001c23: PUSH14 0x7573742062652075706461746564 00001c32: KECCAK256 00001c33: PUSH21 0x6f206265747765656e203120616e6420323420686f 00001c49: PUSH22 0x7273ddf252ad1be2c89b69c2b068fc378daa952ba7f1 00001c60: PUSH4 0xc4a11628 00001c65: CREATE2 00001c66: GAS 00001c67: UNKNOWN(0x4D) 00001c68: CREATE2 00001c69: UNKNOWN(0x23) 00001c6a: UNKNOWN(0xB3) 00001c6b: UNKNOWN(0xEF) 00001c6c: GASLIMIT 00001c6d: MSTORE 00001c6e: NUMBER 00001c6f: ORIGIN 00001c70: ADDRESS 00001c71: GASPRICE 00001c72: KECCAK256 00001c73: PUSH3 0x75726e 00001c77: KECCAK256 00001c78: PUSH7 0x726f6d20746865 00001c80: KECCAK256 00001c81: PUSH27 0x65726f2061646472657373566972616c5f4469766964656e645f54 00001c9d: PUSH19 0x61636b65723a2043616e6e6f74207570646174 00001cb1: PUSH6 0x20636c61696d 00001cb8: JUMPI 00001cb9: PUSH2 0x6974 00001cbc: KECCAK256 00001cbd: PUSH21 0x6f2073616d652076616c7565566972616c5f446976 00001cd3: PUSH10 0x64656e645f547261636b 00001cde: PUSH6 0x723a20546f6b 00001ce5: PUSH6 0x6e206973206e 00001cec: PUSH16 0x74207472616e7366657261626c652c20 00001cfd: PUSH15 0x6f206e65656420746f20617070726f 00001d0d: PUSH23 0x65566972616c5f4469766964656e645f547261636b6572 00001d25: GASPRICE 00001d26: KECCAK256 00001d27: PUSH17 0x6c65617365207761697420666f7220616e 00001d39: PUSH16 0x7468657220636c61696d45524332303a 00001d4a: KECCAK256 00001d4b: PUSH5 0x6563726561 00001d51: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 00001d66: PUSH6 0x726fa2646970 00001d6d: PUSH7 0x7358221220482c 00001d75: UNKNOWN(0x4F) 00001d76: MUL 00001d77: PUSH24 0x340bdce4d150ffd2d0504b2f78f2c3ca2f80c1fc226afcb9 00001d90: SWAP2 00001d91: DUP3 00001d92: DUP1 00001d93: PUSH5 0x736f6c6343 00001d99: STOP 00001d9a: SMOD 00001d9b: MOD 00001d9c: STOP 00001d9d: CALLER
| 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": "0x03c83302",
"selector": "0x03c83302",
"calldata_variants": [
"0x03c83302",
"0x03c833020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0483f7a0",
"selector": "0x0483f7a0",
"calldata_variants": [
"0x0483f7a0",
"0x0483f7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09bbedde",
"selector": "0x09bbedde",
"calldata_variants": [
"0x09bbedde",
"0x09bbedde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c8b234e",
"selector": "0x0c8b234e",
"calldata_variants": [
"0x0c8b234e",
"0x0c8b234e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fa71a3b",
"selector": "0x1fa71a3b",
"calldata_variants": [
"0x1fa71a3b",
"0x1fa71a3b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6790,
"type": "tx_origin_used"
},
{
"pc": 7279,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5113da76ecd0af4ccbd17b450b6f7a776b54c1bc7ba663f27c781ffb6af27fdc
call_targets:
0x800e2629ba174e2659e6f8954c50f97c86a5cfde
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5113da76ecd0af4ccbd17b450b6f7a776b54c1bc7ba663f27c781ffb6af27fdc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x800e2629ba174e2659e6f8954c50f97c86a5cfde"
],
"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": "0x03c83302",
"selector": "0x03c83302",
"calldata_variants": [
"0x03c83302",
"0x03c833020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0483f7a0",
"selector": "0x0483f7a0",
"calldata_variants": [
"0x0483f7a0",
"0x0483f7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09bbedde",
"selector": "0x09bbedde",
"calldata_variants": [
"0x09bbedde",
"0x09bbedde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c8b234e",
"selector": "0x0c8b234e",
"calldata_variants": [
"0x0c8b234e",
"0x0c8b234e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fa71a3b",
"selector": "0x1fa71a3b",
"calldata_variants": [
"0x1fa71a3b",
"0x1fa71a3b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5980,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 6790,
"type": "tx_origin_used"
},
{
"pc": 7279,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5113da76ecd0af4ccbd17b450b6f7a776b54c1bc7ba663f27c781ffb6af27fdc
call_targets:
0x800e2629ba174e2659e6f8954c50f97c86a5cfde
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5113da76ecd0af4ccbd17b450b6f7a776b54c1bc7ba663f27c781ffb6af27fdc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x800e2629ba174e2659e6f8954c50f97c86a5cfde"
],
"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": "0x03c83302",
"selector": "0x03c83302",
"calldata_variants": [
"0x03c83302",
"0x03c833020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0483f7a0",
"selector": "0x0483f7a0",
"calldata_variants": [
"0x0483f7a0",
"0x0483f7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09bbedde",
"selector": "0x09bbedde",
"calldata_variants": [
"0x09bbedde",
"0x09bbedde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c8b234e",
"selector": "0x0c8b234e",
"calldata_variants": [
"0x0c8b234e",
"0x0c8b234e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fa71a3b",
"selector": "0x1fa71a3b",
"calldata_variants": [
"0x1fa71a3b",
"0x1fa71a3b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5980,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 6790,
"type": "tx_origin_used"
},
{
"pc": 7279,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x4aefebb803040c65e27ea88b39d283f0b9805c475be7d2a8ad1035a4559b26a0
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x4aefebb803040c65e27ea88b39d283f0b9805c475be7d2a8ad1035a4559b26a0",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x03c83302",
"selector": "0x03c83302",
"calldata_variants": [
"0x03c83302",
"0x03c833020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0483f7a0",
"selector": "0x0483f7a0",
"calldata_variants": [
"0x0483f7a0",
"0x0483f7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09bbedde",
"selector": "0x09bbedde",
"calldata_variants": [
"0x09bbedde",
"0x09bbedde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c8b234e",
"selector": "0x0c8b234e",
"calldata_variants": [
"0x0c8b234e",
"0x0c8b234e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fa71a3b",
"selector": "0x1fa71a3b",
"calldata_variants": [
"0x1fa71a3b",
"0x1fa71a3b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|