019b477e-ad7d-70df-ad3a-1f7d42753552
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 |
|---|---|---|---|---|
| 21429 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21430 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101227 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 101228 | capability.graph | complete | 1 / 3 | 1 week ago |
| 101229 | detector.run | complete | 1 / 3 | 1 week ago |
| 101230 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0152 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x0160 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x0191 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x021b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x0231 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x0244 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x27defa1f 00000071: EQ 00000072: PUSH2 0x025a 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x313ce567 0000007c: EQ 0000007d: PUSH2 0x0281 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x3ccfd60b 00000087: EQ 00000088: PUSH2 0x02aa 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x4b750334 00000092: EQ 00000093: PUSH2 0x02bf 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x56d399e8 0000009d: EQ 0000009e: PUSH2 0x02d2 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x688abbf7 000000a8: EQ 000000a9: PUSH2 0x02e5 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x6b2f4632 000000b3: EQ 000000b4: PUSH2 0x02fd 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x70a08231 000000be: EQ 000000bf: PUSH2 0x0310 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x76be1585 000000c9: EQ 000000ca: PUSH2 0x032f 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x8328b610 000000d4: EQ 000000d5: PUSH2 0x034e 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x8620410b 000000df: EQ 000000e0: PUSH2 0x0364 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x949e8acd 000000ea: EQ 000000eb: PUSH2 0x0377 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x95d89b41 000000f5: EQ 000000f6: PUSH2 0x038a 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xa8e04f34 00000100: EQ 00000101: PUSH2 0x039d 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xa9059cbb 0000010b: EQ 0000010c: PUSH2 0x03b0 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xb84c8246 00000116: EQ 00000117: PUSH2 0x03d2 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xc47f0027 00000121: EQ 00000122: PUSH2 0x0423 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xe4849b32 0000012c: EQ 0000012d: PUSH2 0x0474 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xe9fad8ee 00000137: EQ 00000138: PUSH2 0x048a 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xf088d547 00000142: EQ 00000143: PUSH2 0x049d 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xfdb5a03e 0000014d: EQ 0000014e: PUSH2 0x04b1 00000151: JUMPI 00000152: JUMPDEST 00000153: PUSH2 0x015d 00000156: CALLVALUE 00000157: PUSH1 0x00 00000159: PUSH2 0x04c4 0000015c: JUMP 0000015d: JUMPDEST 0000015e: POP 0000015f: STOP 00000160: JUMPDEST 00000161: CALLVALUE 00000162: ISZERO 00000163: PUSH2 0x016b 00000166: JUMPI 00000167: PUSH1 0x00 00000169: DUP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: PUSH2 0x017f 0000016f: PUSH1 0x01 00000171: PUSH1 0xa0 00000173: PUSH1 0x02 00000175: EXP 00000176: SUB 00000177: PUSH1 0x04 00000179: CALLDATALOAD 0000017a: AND 0000017b: PUSH2 0x0a68 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH1 0x40 00000182: MLOAD 00000183: SWAP1 00000184: DUP2 00000185: MSTORE 00000186: PUSH1 0x20 00000188: ADD 00000189: PUSH1 0x40 0000018b: MLOAD 0000018c: DUP1 0000018d: SWAP2 0000018e: SUB 0000018f: SWAP1 00000190: RETURN 00000191: JUMPDEST 00000192: CALLVALUE 00000193: ISZERO 00000194: PUSH2 0x019c 00000197: JUMPI 00000198: PUSH1 0x00 0000019a: DUP1 0000019b: REVERT 0000019c: JUMPDEST 0000019d: PUSH2 0x01a4 000001a0: PUSH2 0x0a9e 000001a3: JUMP 000001a4: JUMPDEST 000001a5: PUSH1 0x40 000001a7: MLOAD 000001a8: PUSH1 0x20 000001aa: DUP1 000001ab: DUP3 000001ac: MSTORE 000001ad: DUP2 000001ae: SWAP1 000001af: DUP2 000001b0: ADD 000001b1: DUP4 000001b2: DUP2 000001b3: DUP2 000001b4: MLOAD 000001b5: DUP2 000001b6: MSTORE 000001b7: PUSH1 0x20 000001b9: ADD 000001ba: SWAP2 000001bb: POP 000001bc: DUP1 000001bd: MLOAD 000001be: SWAP1 000001bf: PUSH1 0x20 000001c1: ADD 000001c2: SWAP1 000001c3: DUP1 000001c4: DUP4 000001c5: DUP4 000001c6: PUSH1 0x00 000001c8: JUMPDEST 000001c9: DUP4 000001ca: DUP2 000001cb: LT 000001cc: ISZERO 000001cd: PUSH2 0x01e0 000001d0: JUMPI 000001d1: DUP1 000001d2: DUP3 000001d3: ADD 000001d4: MLOAD 000001d5: DUP4 000001d6: DUP3 000001d7: ADD 000001d8: MSTORE 000001d9: PUSH1 0x20 000001db: ADD 000001dc: PUSH2 0x01c8 000001df: JUMP 000001e0: JUMPDEST 000001e1: POP 000001e2: POP 000001e3: POP 000001e4: POP 000001e5: SWAP1 000001e6: POP 000001e7: SWAP1 000001e8: DUP2 000001e9: ADD 000001ea: SWAP1 000001eb: PUSH1 0x1f 000001ed: AND 000001ee: DUP1 000001ef: ISZERO 000001f0: PUSH2 0x020d 000001f3: JUMPI 000001f4: DUP1 000001f5: DUP3 000001f6: SUB 000001f7: DUP1 000001f8: MLOAD 000001f9: PUSH1 0x01 000001fb: DUP4 000001fc: PUSH1 0x20 000001fe: SUB 000001ff: PUSH2 0x0100 00000202: EXP 00000203: SUB 00000204: NOT 00000205: AND 00000206: DUP2 00000207: MSTORE 00000208: PUSH1 0x20 0000020a: ADD 0000020b: SWAP2 0000020c: POP 0000020d: JUMPDEST 0000020e: POP 0000020f: SWAP3 00000210: POP 00000211: POP 00000212: POP 00000213: PUSH1 0x40 00000215: MLOAD 00000216: DUP1 00000217: SWAP2 00000218: SUB 00000219: SWAP1 0000021a: RETURN 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: ISZERO 0000021e: PUSH2 0x0226 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: PUSH2 0x017f 0000022a: PUSH1 0x04 0000022c: CALLDATALOAD 0000022d: PUSH2 0x0b3c 00000230: JUMP 00000231: JUMPDEST 00000232: CALLVALUE 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: PUSH2 0x017f 00000240: PUSH2 0x0b6c 00000243: JUMP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: PUSH2 0x017f 00000253: PUSH1 0x04 00000255: CALLDATALOAD 00000256: PUSH2 0x0b73 00000259: JUMP 0000025a: JUMPDEST 0000025b: CALLVALUE 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: PUSH2 0x026d 00000269: PUSH2 0x0bac 0000026c: JUMP 0000026d: JUMPDEST 0000026e: PUSH1 0x40 00000270: MLOAD 00000271: SWAP1 00000272: ISZERO 00000273: ISZERO 00000274: DUP2 00000275: MSTORE 00000276: PUSH1 0x20 00000278: ADD 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: DUP1 0000027d: SWAP2 0000027e: SUB 0000027f: SWAP1 00000280: RETURN 00000281: JUMPDEST 00000282: CALLVALUE 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: PUSH2 0x0294 00000290: PUSH2 0x0bb5 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH1 0x40 00000297: MLOAD 00000298: PUSH1 0xff 0000029a: SWAP1 0000029b: SWAP2 0000029c: AND 0000029d: DUP2 0000029e: MSTORE 0000029f: PUSH1 0x20 000002a1: ADD 000002a2: PUSH1 0x40 000002a4: MLOAD 000002a5: DUP1 000002a6: SWAP2 000002a7: SUB 000002a8: SWAP1 000002a9: RETURN 000002aa: JUMPDEST 000002ab: CALLVALUE 000002ac: ISZERO 000002ad: PUSH2 0x02b5 000002b0: JUMPI 000002b1: PUSH1 0x00 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: PUSH2 0x02bd 000002b9: PUSH2 0x0bba 000002bc: JUMP 000002bd: JUMPDEST 000002be: STOP 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: ISZERO 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: PUSH2 0x017f 000002ce: PUSH2 0x0c81 000002d1: JUMP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: ISZERO 000002d5: PUSH2 0x02dd 000002d8: JUMPI 000002d9: PUSH1 0x00 000002db: DUP1 000002dc: REVERT 000002dd: JUMPDEST 000002de: PUSH2 0x017f 000002e1: PUSH2 0x0cd5 000002e4: JUMP 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: PUSH2 0x017f 000002f4: PUSH1 0x04 000002f6: CALLDATALOAD 000002f7: ISZERO 000002f8: ISZERO 000002f9: PUSH2 0x0cdb 000002fc: JUMP 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: PUSH2 0x017f 0000030c: PUSH2 0x0d1e 0000030f: JUMP 00000310: JUMPDEST 00000311: CALLVALUE 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: PUSH2 0x017f 0000031f: PUSH1 0x01 00000321: PUSH1 0xa0 00000323: PUSH1 0x02 00000325: EXP 00000326: SUB 00000327: PUSH1 0x04 00000329: CALLDATALOAD 0000032a: AND 0000032b: PUSH2 0x0d2c 0000032e: JUMP 0000032f: JUMPDEST 00000330: CALLVALUE 00000331: ISZERO 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: PUSH2 0x026d 0000033e: PUSH1 0x01 00000340: PUSH1 0xa0 00000342: PUSH1 0x02 00000344: EXP 00000345: SUB 00000346: PUSH1 0x04 00000348: CALLDATALOAD 00000349: AND 0000034a: PUSH2 0x0d47 0000034d: JUMP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: ISZERO 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: PUSH2 0x02bd 0000035d: PUSH1 0x04 0000035f: CALLDATALOAD 00000360: PUSH2 0x0d5c 00000363: JUMP 00000364: JUMPDEST 00000365: CALLVALUE 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: PUSH2 0x017f 00000373: PUSH2 0x0d8a 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: ISZERO 0000037a: PUSH2 0x0382 0000037d: JUMPI 0000037e: PUSH1 0x00 00000380: DUP1 00000381: REVERT 00000382: JUMPDEST 00000383: PUSH2 0x017f 00000386: PUSH2 0x0dd2 00000389: JUMP 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: ISZERO 0000038d: PUSH2 0x0395 00000390: JUMPI 00000391: PUSH1 0x00 00000393: DUP1 00000394: REVERT 00000395: JUMPDEST 00000396: PUSH2 0x01a4 00000399: PUSH2 0x0de5 0000039c: JUMP 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: ISZERO 000003a0: PUSH2 0x03a8 000003a3: JUMPI 000003a4: PUSH1 0x00 000003a6: DUP1 000003a7: REVERT 000003a8: JUMPDEST 000003a9: PUSH2 0x02bd 000003ac: PUSH2 0x0e50 000003af: JUMP 000003b0: JUMPDEST 000003b1: CALLVALUE 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: PUSH2 0x026d 000003bf: PUSH1 0x01 000003c1: PUSH1 0xa0 000003c3: PUSH1 0x02 000003c5: EXP 000003c6: SUB 000003c7: PUSH1 0x04 000003c9: CALLDATALOAD 000003ca: AND 000003cb: PUSH1 0x24 000003cd: CALLDATALOAD 000003ce: PUSH2 0x0e85 000003d1: JUMP 000003d2: JUMPDEST 000003d3: CALLVALUE 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: PUSH2 0x02bd 000003e1: PUSH1 0x04 000003e3: PUSH1 0x24 000003e5: DUP2 000003e6: CALLDATALOAD 000003e7: DUP2 000003e8: DUP2 000003e9: ADD 000003ea: SWAP1 000003eb: DUP4 000003ec: ADD 000003ed: CALLDATALOAD 000003ee: DUP1 000003ef: PUSH1 0x20 000003f1: PUSH1 0x1f 000003f3: DUP3 000003f4: ADD 000003f5: DUP2 000003f6: SWAP1 000003f7: DIV 000003f8: DUP2 000003f9: MUL 000003fa: ADD 000003fb: PUSH1 0x40 000003fd: MLOAD 000003fe: SWAP1 000003ff: DUP2 00000400: ADD 00000401: PUSH1 0x40 00000403: MSTORE 00000404: DUP2 00000405: DUP2 00000406: MSTORE 00000407: SWAP3 00000408: SWAP2 00000409: SWAP1 0000040a: PUSH1 0x20 0000040c: DUP5 0000040d: ADD 0000040e: DUP4 0000040f: DUP4 00000410: DUP1 00000411: DUP3 00000412: DUP5 00000413: CALLDATACOPY 00000414: POP 00000415: SWAP5 00000416: SWAP7 00000417: POP 00000418: PUSH2 0x1038 0000041b: SWAP6 0000041c: POP 0000041d: POP 0000041e: POP 0000041f: POP 00000420: POP 00000421: POP 00000422: JUMP 00000423: JUMPDEST 00000424: CALLVALUE 00000425: ISZERO 00000426: PUSH2 0x042e 00000429: JUMPI 0000042a: PUSH1 0x00 0000042c: DUP1 0000042d: REVERT 0000042e: JUMPDEST 0000042f: PUSH2 0x02bd 00000432: PUSH1 0x04 00000434: PUSH1 0x24 00000436: DUP2 00000437: CALLDATALOAD 00000438: DUP2 00000439: DUP2 0000043a: ADD 0000043b: SWAP1 0000043c: DUP4 0000043d: ADD 0000043e: CALLDATALOAD 0000043f: DUP1 00000440: PUSH1 0x20 00000442: PUSH1 0x1f 00000444: DUP3 00000445: ADD 00000446: DUP2 00000447: SWAP1 00000448: DIV 00000449: DUP2 0000044a: MUL 0000044b: ADD 0000044c: PUSH1 0x40 0000044e: MLOAD 0000044f: SWAP1 00000450: DUP2 00000451: ADD 00000452: PUSH1 0x40 00000454: MSTORE 00000455: DUP2 00000456: DUP2 00000457: MSTORE 00000458: SWAP3 00000459: SWAP2 0000045a: SWAP1 0000045b: PUSH1 0x20 0000045d: DUP5 0000045e: ADD 0000045f: DUP4 00000460: DUP4 00000461: DUP1 00000462: DUP3 00000463: DUP5 00000464: CALLDATACOPY 00000465: POP 00000466: SWAP5 00000467: SWAP7 00000468: POP 00000469: PUSH2 0x1078 0000046c: SWAP6 0000046d: POP 0000046e: POP 0000046f: POP 00000470: POP 00000471: POP 00000472: POP 00000473: JUMP 00000474: JUMPDEST 00000475: CALLVALUE 00000476: ISZERO 00000477: PUSH2 0x047f 0000047a: JUMPI 0000047b: PUSH1 0x00 0000047d: DUP1 0000047e: REVERT 0000047f: JUMPDEST 00000480: PUSH2 0x02bd 00000483: PUSH1 0x04 00000485: CALLDATALOAD 00000486: PUSH2 0x10b3 00000489: JUMP 0000048a: JUMPDEST 0000048b: CALLVALUE 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: PUSH2 0x02bd 00000499: PUSH2 0x1206 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH2 0x017f 000004a1: PUSH1 0x01 000004a3: PUSH1 0xa0 000004a5: PUSH1 0x02 000004a7: EXP 000004a8: SUB 000004a9: PUSH1 0x04 000004ab: CALLDATALOAD 000004ac: AND 000004ad: PUSH2 0x123d 000004b0: JUMP 000004b1: JUMPDEST 000004b2: CALLVALUE 000004b3: ISZERO 000004b4: PUSH2 0x04bc 000004b7: JUMPI 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: PUSH2 0x02bd 000004c0: PUSH2 0x1249 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH1 0x00 000004c7: DUP1 000004c8: PUSH1 0x00 000004ca: DUP1 000004cb: PUSH1 0x00 000004cd: DUP1 000004ce: PUSH1 0x00 000004d0: DUP1 000004d1: PUSH1 0x00 000004d3: DUP11 000004d4: PUSH1 0x00 000004d6: CALLER 000004d7: SWAP1 000004d8: POP 000004d9: PUSH1 0x0b 000004db: PUSH1 0x00 000004dd: SWAP1 000004de: SLOAD 000004df: SWAP1 000004e0: PUSH2 0x0100 000004e3: EXP 000004e4: SWAP1 000004e5: DIV 000004e6: PUSH1 0xff 000004e8: AND 000004e9: DUP1 000004ea: ISZERO 000004eb: PUSH2 0x0506 000004ee: JUMPI 000004ef: POP 000004f0: PUSH9 0x01158e460913d00000 000004fa: DUP3 000004fb: PUSH2 0x0502 000004fe: PUSH2 0x0d1e 00000501: JUMP 00000502: JUMPDEST 00000503: SUB 00000504: GT 00000505: ISZERO 00000506: JUMPDEST 00000507: ISZERO 00000508: PUSH2 0x07fa 0000050b: JUMPI 0000050c: PUSH1 0x01 0000050e: PUSH1 0xa0 00000510: PUSH1 0x02 00000512: EXP 00000513: SUB 00000514: DUP2 00000515: AND 00000516: PUSH1 0x00 00000518: SWAP1 00000519: DUP2 0000051a: MSTORE 0000051b: PUSH1 0x03 0000051d: PUSH1 0x20 0000051f: MSTORE 00000520: PUSH1 0x40 00000522: SWAP1 00000523: KECCAK256 00000524: SLOAD 00000525: PUSH1 0xff 00000527: AND 00000528: ISZERO 00000529: ISZERO 0000052a: PUSH1 0x01 0000052c: EQ 0000052d: DUP1 0000052e: ISZERO 0000052f: PUSH2 0x055b 00000532: JUMPI 00000533: POP 00000534: PUSH1 0x01 00000536: PUSH1 0xa0 00000538: PUSH1 0x02 0000053a: EXP 0000053b: SUB 0000053c: DUP2 0000053d: AND 0000053e: PUSH1 0x00 00000540: SWAP1 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x07 00000545: PUSH1 0x20 00000547: MSTORE 00000548: PUSH1 0x40 0000054a: SWAP1 0000054b: KECCAK256 0000054c: SLOAD 0000054d: PUSH8 0x0de0b6b3a7640000 00000556: SWAP1 00000557: DUP4 00000558: ADD 00000559: GT 0000055a: ISZERO 0000055b: JUMPDEST 0000055c: ISZERO 0000055d: ISZERO 0000055e: PUSH2 0x0566 00000561: JUMPI 00000562: PUSH1 0x00 00000564: DUP1 00000565: REVERT 00000566: JUMPDEST 00000567: PUSH1 0x01 00000569: PUSH1 0xa0 0000056b: PUSH1 0x02 0000056d: EXP 0000056e: SUB 0000056f: DUP2 00000570: AND 00000571: PUSH1 0x00 00000573: SWAP1 00000574: DUP2 00000575: MSTORE 00000576: PUSH1 0x07 00000578: PUSH1 0x20 0000057a: MSTORE 0000057b: PUSH1 0x40 0000057d: SWAP1 0000057e: KECCAK256 0000057f: SLOAD 00000580: PUSH2 0x0589 00000583: SWAP1 00000584: DUP4 00000585: PUSH2 0x12ff 00000588: JUMP 00000589: JUMPDEST 0000058a: PUSH1 0x01 0000058c: PUSH1 0xa0 0000058e: PUSH1 0x02 00000590: EXP 00000591: SUB 00000592: DUP3 00000593: AND 00000594: PUSH1 0x00 00000596: SWAP1 00000597: DUP2 00000598: MSTORE 00000599: PUSH1 0x07 0000059b: PUSH1 0x20 0000059d: MSTORE 0000059e: PUSH1 0x40 000005a0: SWAP1 000005a1: KECCAK256 000005a2: SSTORE 000005a3: CALLER 000005a4: SWAP10 000005a5: POP 000005a6: PUSH2 0x05b0 000005a9: DUP14 000005aa: PUSH1 0x03 000005ac: PUSH2 0x1315 000005af: JUMP 000005b0: JUMPDEST 000005b1: SWAP9 000005b2: POP 000005b3: PUSH2 0x05bd 000005b6: DUP10 000005b7: PUSH1 0x03 000005b9: PUSH2 0x1315 000005bc: JUMP 000005bd: JUMPDEST 000005be: SWAP8 000005bf: POP 000005c0: PUSH2 0x05c9 000005c3: DUP10 000005c4: DUP10 000005c5: PUSH2 0x132c 000005c8: JUMP 000005c9: JUMPDEST 000005ca: SWAP7 000005cb: POP 000005cc: PUSH2 0x05d5 000005cf: DUP14 000005d0: DUP11 000005d1: PUSH2 0x132c 000005d4: JUMP 000005d5: JUMPDEST 000005d6: SWAP6 000005d7: POP 000005d8: PUSH2 0x05e0 000005db: DUP7 000005dc: PUSH2 0x133e 000005df: JUMP 000005e0: JUMPDEST 000005e1: SWAP5 000005e2: POP 000005e3: PUSH1 0x40 000005e5: PUSH1 0x02 000005e7: EXP 000005e8: DUP8 000005e9: MUL 000005ea: SWAP4 000005eb: POP 000005ec: PUSH1 0x00 000005ee: DUP6 000005ef: GT 000005f0: DUP1 000005f1: ISZERO 000005f2: PUSH2 0x0605 000005f5: JUMPI 000005f6: POP 000005f7: PUSH1 0x08 000005f9: SLOAD 000005fa: PUSH2 0x0603 000005fd: DUP7 000005fe: DUP3 000005ff: PUSH2 0x12ff 00000602: JUMP 00000603: JUMPDEST 00000604: GT 00000605: JUMPDEST 00000606: ISZERO 00000607: ISZERO 00000608: PUSH2 0x0610 0000060b: JUMPI 0000060c: PUSH1 0x00 0000060e: DUP1 0000060f: REVERT 00000610: JUMPDEST 00000611: PUSH1 0x01 00000613: PUSH1 0xa0 00000615: PUSH1 0x02 00000617: EXP 00000618: SUB 00000619: DUP13 0000061a: AND 0000061b: ISZERO 0000061c: DUP1 0000061d: ISZERO 0000061e: SWAP1 0000061f: PUSH2 0x063a 00000622: JUMPI 00000623: POP 00000624: DUP10 00000625: PUSH1 0x01 00000627: PUSH1 0xa0 00000629: PUSH1 0x02 0000062b: EXP 0000062c: SUB 0000062d: AND 0000062e: DUP13 0000062f: PUSH1 0x01 00000631: PUSH1 0xa0 00000633: PUSH1 0x02 00000635: EXP 00000636: SUB 00000637: AND 00000638: EQ 00000639: ISZERO 0000063a: JUMPDEST 0000063b: DUP1 0000063c: ISZERO 0000063d: PUSH2 0x0660 00000640: JUMPI 00000641: POP 00000642: PUSH1 0x02 00000644: SLOAD 00000645: PUSH1 0x01 00000647: PUSH1 0xa0 00000649: PUSH1 0x02 0000064b: EXP 0000064c: SUB 0000064d: DUP14 0000064e: AND 0000064f: PUSH1 0x00 00000651: SWAP1 00000652: DUP2 00000653: MSTORE 00000654: PUSH1 0x04 00000656: PUSH1 0x20 00000658: MSTORE 00000659: PUSH1 0x40 0000065b: SWAP1 0000065c: KECCAK256 0000065d: SLOAD 0000065e: LT 0000065f: ISZERO 00000660: JUMPDEST 00000661: ISZERO 00000662: PUSH2 0x06a6 00000665: JUMPI 00000666: PUSH1 0x01 00000668: PUSH1 0xa0 0000066a: PUSH1 0x02 0000066c: EXP 0000066d: SUB 0000066e: DUP13 0000066f: AND 00000670: PUSH1 0x00 00000672: SWAP1 00000673: DUP2 00000674: MSTORE 00000675: PUSH1 0x05 00000677: PUSH1 0x20 00000679: MSTORE 0000067a: PUSH1 0x40 0000067c: SWAP1 0000067d: KECCAK256 0000067e: SLOAD 0000067f: PUSH2 0x0688 00000682: SWAP1 00000683: DUP10 00000684: PUSH2 0x12ff 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH1 0x01 0000068b: PUSH1 0xa0 0000068d: PUSH1 0x02 0000068f: EXP 00000690: SUB 00000691: DUP14 00000692: AND 00000693: PUSH1 0x00 00000695: SWAP1 00000696: DUP2 00000697: MSTORE 00000698: PUSH1 0x05 0000069a: PUSH1 0x20 0000069c: MSTORE 0000069d: PUSH1 0x40 0000069f: SWAP1 000006a0: KECCAK256 000006a1: SSTORE 000006a2: PUSH2 0x06bc 000006a5: JUMP 000006a6: JUMPDEST 000006a7: PUSH2 0x06b0 000006aa: DUP8 000006ab: DUP10 000006ac: PUSH2 0x12ff 000006af: JUMP 000006b0: JUMPDEST 000006b1: SWAP7 000006b2: POP 000006b3: PUSH1 0x40 000006b5: PUSH1 0x02 000006b7: EXP 000006b8: DUP8 000006b9: MUL 000006ba: SWAP4 000006bb: POP 000006bc: JUMPDEST 000006bd: PUSH1 0x00 000006bf: PUSH1 0x08 000006c1: SLOAD 000006c2: GT 000006c3: ISZERO 000006c4: PUSH2 0x0716 000006c7: JUMPI 000006c8: PUSH2 0x06d3 000006cb: PUSH1 0x08 000006cd: SLOAD 000006ce: DUP7 000006cf: PUSH2 0x12ff 000006d2: JUMP 000006d3: JUMPDEST 000006d4: PUSH1 0x08 000006d6: DUP2 000006d7: SWAP1 000006d8: SSTORE 000006d9: PUSH1 0x40 000006db: PUSH1 0x02 000006dd: EXP 000006de: DUP9 000006df: MUL 000006e0: DUP2 000006e1: ISZERO 000006e2: ISZERO 000006e3: PUSH2 0x06e8 000006e6: JUMPI 000006e7: INVALID 000006e8: JUMPDEST 000006e9: PUSH1 0x09 000006eb: DUP1 000006ec: SLOAD 000006ed: SWAP3 000006ee: SWAP1 000006ef: SWAP2 000006f0: DIV 000006f1: SWAP1 000006f2: SWAP2 000006f3: ADD 000006f4: SWAP1 000006f5: SSTORE 000006f6: PUSH1 0x08 000006f8: SLOAD 000006f9: PUSH1 0x40 000006fb: PUSH1 0x02 000006fd: EXP 000006fe: DUP9 000006ff: MUL 00000700: DUP2 00000701: ISZERO 00000702: ISZERO 00000703: PUSH2 0x0708 00000706: JUMPI 00000707: INVALID 00000708: JUMPDEST 00000709: DIV 0000070a: DUP6 0000070b: MUL 0000070c: DUP5 0000070d: SUB 0000070e: DUP5 0000070f: SUB 00000710: SWAP4 00000711: POP 00000712: PUSH2 0x071c 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH1 0x08 00000719: DUP6 0000071a: SWAP1 0000071b: SSTORE 0000071c: JUMPDEST 0000071d: PUSH1 0x01 0000071f: PUSH1 0xa0 00000721: PUSH1 0x02 00000723: EXP 00000724: SUB 00000725: DUP11 00000726: AND 00000727: PUSH1 0x00 00000729: SWAP1 0000072a: DUP2 0000072b: MSTORE 0000072c: PUSH1 0x04 0000072e: PUSH1 0x20 00000730: MSTORE 00000731: PUSH1 0x40 00000733: SWAP1 00000734: KECCAK256 00000735: SLOAD 00000736: PUSH2 0x073f 00000739: SWAP1 0000073a: DUP7 0000073b: PUSH2 0x12ff 0000073e: JUMP 0000073f: JUMPDEST 00000740: PUSH1 0x04 00000742: PUSH1 0x00 00000744: DUP13 00000745: PUSH1 0x01 00000747: PUSH1 0xa0 00000749: PUSH1 0x02 0000074b: EXP 0000074c: SUB 0000074d: AND 0000074e: PUSH1 0x01 00000750: PUSH1 0xa0 00000752: PUSH1 0x02 00000754: EXP 00000755: SUB 00000756: AND 00000757: DUP2 00000758: MSTORE 00000759: PUSH1 0x20 0000075b: ADD 0000075c: SWAP1 0000075d: DUP2 0000075e: MSTORE 0000075f: PUSH1 0x20 00000761: ADD 00000762: PUSH1 0x00 00000764: KECCAK256 00000765: DUP2 00000766: SWAP1 00000767: SSTORE 00000768: POP 00000769: DUP4 0000076a: DUP6 0000076b: PUSH1 0x09 0000076d: SLOAD 0000076e: MUL 0000076f: SUB 00000770: SWAP3 00000771: POP 00000772: DUP3 00000773: PUSH1 0x06 00000775: PUSH1 0x00 00000777: DUP13 00000778: PUSH1 0x01 0000077a: PUSH1 0xa0 0000077c: PUSH1 0x02 0000077e: EXP 0000077f: SUB 00000780: AND 00000781: PUSH1 0x01 00000783: PUSH1 0xa0 00000785: PUSH1 0x02 00000787: EXP 00000788: SUB 00000789: AND 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x20 0000078e: ADD 0000078f: SWAP1 00000790: DUP2 00000791: MSTORE 00000792: PUSH1 0x20 00000794: ADD 00000795: PUSH1 0x00 00000797: KECCAK256 00000798: PUSH1 0x00 0000079a: DUP3 0000079b: DUP3 0000079c: SLOAD 0000079d: ADD 0000079e: SWAP3 0000079f: POP 000007a0: POP 000007a1: DUP2 000007a2: SWAP1 000007a3: SSTORE 000007a4: POP 000007a5: DUP12 000007a6: PUSH1 0x01 000007a8: PUSH1 0xa0 000007aa: PUSH1 0x02 000007ac: EXP 000007ad: SUB 000007ae: AND 000007af: DUP11 000007b0: PUSH1 0x01 000007b2: PUSH1 0xa0 000007b4: PUSH1 0x02 000007b6: EXP 000007b7: SUB 000007b8: AND 000007b9: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 000007da: DUP16 000007db: DUP9 000007dc: PUSH1 0x40 000007de: MLOAD 000007df: SWAP2 000007e0: DUP3 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: DUP3 000007e5: ADD 000007e6: MSTORE 000007e7: PUSH1 0x40 000007e9: SWAP1 000007ea: DUP2 000007eb: ADD 000007ec: SWAP1 000007ed: MLOAD 000007ee: DUP1 000007ef: SWAP2 000007f0: SUB 000007f1: SWAP1 000007f2: LOG3 000007f3: DUP5 000007f4: SWAP11 000007f5: POP 000007f6: PUSH2 0x0a58 000007f9: JUMP 000007fa: JUMPDEST 000007fb: PUSH1 0x0b 000007fd: DUP1 000007fe: SLOAD 000007ff: PUSH1 0xff 00000801: NOT 00000802: AND 00000803: SWAP1 00000804: SSTORE 00000805: CALLER 00000806: SWAP10 00000807: POP 00000808: PUSH2 0x0812 0000080b: DUP14 0000080c: PUSH1 0x03 0000080e: PUSH2 0x1315 00000811: JUMP 00000812: JUMPDEST 00000813: SWAP9 00000814: POP 00000815: PUSH2 0x081f 00000818: DUP10 00000819: PUSH1 0x03 0000081b: PUSH2 0x1315 0000081e: JUMP 0000081f: JUMPDEST 00000820: SWAP8 00000821: POP 00000822: PUSH2 0x082b 00000825: DUP10 00000826: DUP10 00000827: PUSH2 0x132c 0000082a: JUMP 0000082b: JUMPDEST 0000082c: SWAP7 0000082d: POP 0000082e: PUSH2 0x0837 00000831: DUP14 00000832: DUP11 00000833: PUSH2 0x132c 00000836: JUMP 00000837: JUMPDEST 00000838: SWAP6 00000839: POP 0000083a: PUSH2 0x0842 0000083d: DUP7 0000083e: PUSH2 0x133e 00000841: JUMP 00000842: JUMPDEST 00000843: SWAP5 00000844: POP 00000845: PUSH1 0x40 00000847: PUSH1 0x02 00000849: EXP 0000084a: DUP8 0000084b: MUL 0000084c: SWAP4 0000084d: POP 0000084e: PUSH1 0x00 00000850: DUP6 00000851: GT 00000852: DUP1 00000853: ISZERO 00000854: PUSH2 0x0867 00000857: JUMPI 00000858: POP 00000859: PUSH1 0x08 0000085b: SLOAD 0000085c: PUSH2 0x0865 0000085f: DUP7 00000860: DUP3 00000861: PUSH2 0x12ff 00000864: JUMP 00000865: JUMPDEST 00000866: GT 00000867: JUMPDEST 00000868: ISZERO 00000869: ISZERO 0000086a: PUSH2 0x0872 0000086d: JUMPI 0000086e: PUSH1 0x00 00000870: DUP1 00000871: REVERT 00000872: JUMPDEST 00000873: PUSH1 0x01 00000875: PUSH1 0xa0 00000877: PUSH1 0x02 00000879: EXP 0000087a: SUB 0000087b: DUP13 0000087c: AND 0000087d: ISZERO 0000087e: DUP1 0000087f: ISZERO 00000880: SWAP1 00000881: PUSH2 0x089c 00000884: JUMPI 00000885: POP 00000886: DUP10 00000887: PUSH1 0x01 00000889: PUSH1 0xa0 0000088b: PUSH1 0x02 0000088d: EXP 0000088e: SUB 0000088f: AND 00000890: DUP13 00000891: PUSH1 0x01 00000893: PUSH1 0xa0 00000895: PUSH1 0x02 00000897: EXP 00000898: SUB 00000899: AND 0000089a: EQ 0000089b: ISZERO 0000089c: JUMPDEST 0000089d: DUP1 0000089e: ISZERO 0000089f: PUSH2 0x08c2 000008a2: JUMPI 000008a3: POP 000008a4: PUSH1 0x02 000008a6: SLOAD 000008a7: PUSH1 0x01 000008a9: PUSH1 0xa0 000008ab: PUSH1 0x02 000008ad: EXP 000008ae: SUB 000008af: DUP14 000008b0: AND 000008b1: PUSH1 0x00 000008b3: SWAP1 000008b4: DUP2 000008b5: MSTORE 000008b6: PUSH1 0x04 000008b8: PUSH1 0x20 000008ba: MSTORE 000008bb: PUSH1 0x40 000008bd: SWAP1 000008be: KECCAK256 000008bf: SLOAD 000008c0: LT 000008c1: ISZERO 000008c2: JUMPDEST 000008c3: ISZERO 000008c4: PUSH2 0x0908 000008c7: JUMPI 000008c8: PUSH1 0x01 000008ca: PUSH1 0xa0 000008cc: PUSH1 0x02 000008ce: EXP 000008cf: SUB 000008d0: DUP13 000008d1: AND 000008d2: PUSH1 0x00 000008d4: SWAP1 000008d5: DUP2 000008d6: MSTORE 000008d7: PUSH1 0x05 000008d9: PUSH1 0x20 000008db: MSTORE 000008dc: PUSH1 0x40 000008de: SWAP1 000008df: KECCAK256 000008e0: SLOAD 000008e1: PUSH2 0x08ea 000008e4: SWAP1 000008e5: DUP10 000008e6: PUSH2 0x12ff 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH1 0x01 000008ed: PUSH1 0xa0 000008ef: PUSH1 0x02 000008f1: EXP 000008f2: SUB 000008f3: DUP14 000008f4: AND 000008f5: PUSH1 0x00 000008f7: SWAP1 000008f8: DUP2 000008f9: MSTORE 000008fa: PUSH1 0x05 000008fc: PUSH1 0x20 000008fe: MSTORE 000008ff: PUSH1 0x40 00000901: SWAP1 00000902: KECCAK256 00000903: SSTORE 00000904: PUSH2 0x091e 00000907: JUMP 00000908: JUMPDEST 00000909: PUSH2 0x0912 0000090c: DUP8 0000090d: DUP10 0000090e: PUSH2 0x12ff 00000911: JUMP 00000912: JUMPDEST 00000913: SWAP7 00000914: POP 00000915: PUSH1 0x40 00000917: PUSH1 0x02 00000919: EXP 0000091a: DUP8 0000091b: MUL 0000091c: SWAP4 0000091d: POP 0000091e: JUMPDEST 0000091f: PUSH1 0x00 00000921: PUSH1 0x08 00000923: SLOAD 00000924: GT 00000925: ISZERO 00000926: PUSH2 0x0978 00000929: JUMPI 0000092a: PUSH2 0x0935 0000092d: PUSH1 0x08 0000092f: SLOAD 00000930: DUP7 00000931: PUSH2 0x12ff 00000934: JUMP 00000935: JUMPDEST 00000936: PUSH1 0x08 00000938: DUP2 00000939: SWAP1 0000093a: SSTORE 0000093b: PUSH1 0x40 0000093d: PUSH1 0x02 0000093f: EXP 00000940: DUP9 00000941: MUL 00000942: DUP2 00000943: ISZERO 00000944: ISZERO 00000945: PUSH2 0x094a 00000948: JUMPI 00000949: INVALID 0000094a: JUMPDEST 0000094b: PUSH1 0x09 0000094d: DUP1 0000094e: SLOAD 0000094f: SWAP3 00000950: SWAP1 00000951: SWAP2 00000952: DIV 00000953: SWAP1 00000954: SWAP2 00000955: ADD 00000956: SWAP1 00000957: SSTORE 00000958: PUSH1 0x08 0000095a: SLOAD 0000095b: PUSH1 0x40 0000095d: PUSH1 0x02 0000095f: EXP 00000960: DUP9 00000961: MUL 00000962: DUP2 00000963: ISZERO 00000964: ISZERO 00000965: PUSH2 0x096a 00000968: JUMPI 00000969: INVALID 0000096a: JUMPDEST 0000096b: DIV 0000096c: DUP6 0000096d: MUL 0000096e: DUP5 0000096f: SUB 00000970: DUP5 00000971: SUB 00000972: SWAP4 00000973: POP 00000974: PUSH2 0x097e 00000977: JUMP 00000978: JUMPDEST 00000979: PUSH1 0x08 0000097b: DUP6 0000097c: SWAP1 0000097d: SSTORE 0000097e: JUMPDEST 0000097f: PUSH1 0x01 00000981: PUSH1 0xa0 00000983: PUSH1 0x02 00000985: EXP 00000986: SUB 00000987: DUP11 00000988: AND 00000989: PUSH1 0x00 0000098b: SWAP1 0000098c: DUP2 0000098d: MSTORE 0000098e: PUSH1 0x04 00000990: PUSH1 0x20 00000992: MSTORE 00000993: PUSH1 0x40 00000995: SWAP1 00000996: KECCAK256 00000997: SLOAD 00000998: PUSH2 0x09a1 0000099b: SWAP1 0000099c: DUP7 0000099d: PUSH2 0x12ff 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x04 000009a4: PUSH1 0x00 000009a6: DUP13 000009a7: PUSH1 0x01 000009a9: PUSH1 0xa0 000009ab: PUSH1 0x02 000009ad: EXP 000009ae: SUB 000009af: AND 000009b0: PUSH1 0x01 000009b2: PUSH1 0xa0 000009b4: PUSH1 0x02 000009b6: EXP 000009b7: SUB 000009b8: AND 000009b9: DUP2 000009ba: MSTORE 000009bb: PUSH1 0x20 000009bd: ADD 000009be: SWAP1 000009bf: DUP2 000009c0: MSTORE 000009c1: PUSH1 0x20 000009c3: ADD 000009c4: PUSH1 0x00 000009c6: KECCAK256 000009c7: DUP2 000009c8: SWAP1 000009c9: SSTORE 000009ca: POP 000009cb: DUP4 000009cc: DUP6 000009cd: PUSH1 0x09 000009cf: SLOAD 000009d0: MUL 000009d1: SUB 000009d2: SWAP3 000009d3: POP 000009d4: DUP3 000009d5: PUSH1 0x06 000009d7: PUSH1 0x00 000009d9: DUP13 000009da: PUSH1 0x01 000009dc: PUSH1 0xa0 000009de: PUSH1 0x02 000009e0: EXP 000009e1: SUB 000009e2: AND 000009e3: PUSH1 0x01 000009e5: PUSH1 0xa0 000009e7: PUSH1 0x02 000009e9: EXP 000009ea: SUB 000009eb: AND 000009ec: DUP2 000009ed: MSTORE 000009ee: PUSH1 0x20 000009f0: ADD 000009f1: SWAP1 000009f2: DUP2 000009f3: MSTORE 000009f4: PUSH1 0x20 000009f6: ADD 000009f7: PUSH1 0x00 000009f9: KECCAK256 000009fa: PUSH1 0x00 000009fc: DUP3 000009fd: DUP3 000009fe: SLOAD 000009ff: ADD 00000a00: SWAP3 00000a01: POP 00000a02: POP 00000a03: DUP2 00000a04: SWAP1 00000a05: SSTORE 00000a06: POP 00000a07: DUP12 00000a08: PUSH1 0x01 00000a0a: PUSH1 0xa0 00000a0c: PUSH1 0x02 00000a0e: EXP 00000a0f: SUB 00000a10: AND 00000a11: DUP11 00000a12: PUSH1 0x01 00000a14: PUSH1 0xa0 00000a16: PUSH1 0x02 00000a18: EXP 00000a19: SUB 00000a1a: AND 00000a1b: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000a3c: DUP16 00000a3d: DUP9 00000a3e: PUSH1 0x40 00000a40: MLOAD 00000a41: SWAP2 00000a42: DUP3 00000a43: MSTORE 00000a44: PUSH1 0x20 00000a46: DUP3 00000a47: ADD 00000a48: MSTORE 00000a49: PUSH1 0x40 00000a4b: SWAP1 00000a4c: DUP2 00000a4d: ADD 00000a4e: SWAP1 00000a4f: MLOAD 00000a50: DUP1 00000a51: SWAP2 00000a52: SUB 00000a53: SWAP1 00000a54: LOG3 00000a55: DUP5 00000a56: SWAP11 00000a57: POP 00000a58: JUMPDEST 00000a59: POP 00000a5a: POP 00000a5b: POP 00000a5c: POP 00000a5d: POP 00000a5e: POP 00000a5f: POP 00000a60: POP 00000a61: POP 00000a62: POP 00000a63: SWAP3 00000a64: SWAP2 00000a65: POP 00000a66: POP 00000a67: JUMP 00000a68: JUMPDEST 00000a69: PUSH1 0x01 00000a6b: PUSH1 0xa0 00000a6d: PUSH1 0x02 00000a6f: EXP 00000a70: SUB 00000a71: AND 00000a72: PUSH1 0x00 00000a74: SWAP1 00000a75: DUP2 00000a76: MSTORE 00000a77: PUSH1 0x06 00000a79: PUSH1 0x20 00000a7b: SWAP1 00000a7c: DUP2 00000a7d: MSTORE 00000a7e: PUSH1 0x40 00000a80: DUP1 00000a81: DUP4 00000a82: KECCAK256 00000a83: SLOAD 00000a84: PUSH1 0x04 00000a86: SWAP1 00000a87: SWAP3 00000a88: MSTORE 00000a89: SWAP1 00000a8a: SWAP2 00000a8b: KECCAK256 00000a8c: SLOAD 00000a8d: PUSH1 0x09 00000a8f: SLOAD 00000a90: PUSH1 0x40 00000a92: PUSH1 0x02 00000a94: EXP 00000a95: SWAP2 00000a96: MUL 00000a97: SWAP2 00000a98: SWAP1 00000a99: SWAP2 00000a9a: SUB 00000a9b: DIV 00000a9c: SWAP1 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH1 0x00 00000aa1: DUP1 00000aa2: SLOAD 00000aa3: PUSH1 0x01 00000aa5: DUP2 00000aa6: PUSH1 0x01 00000aa8: AND 00000aa9: ISZERO 00000aaa: PUSH2 0x0100 00000aad: MUL 00000aae: SUB 00000aaf: AND 00000ab0: PUSH1 0x02 00000ab2: SWAP1 00000ab3: DIV 00000ab4: DUP1 00000ab5: PUSH1 0x1f 00000ab7: ADD 00000ab8: PUSH1 0x20 00000aba: DUP1 00000abb: SWAP2 00000abc: DIV 00000abd: MUL 00000abe: PUSH1 0x20 00000ac0: ADD 00000ac1: PUSH1 0x40 00000ac3: MLOAD 00000ac4: SWAP1 00000ac5: DUP2 00000ac6: ADD 00000ac7: PUSH1 0x40 00000ac9: MSTORE 00000aca: DUP1 00000acb: SWAP3 00000acc: SWAP2 00000acd: SWAP1 00000ace: DUP2 00000acf: DUP2 00000ad0: MSTORE 00000ad1: PUSH1 0x20 00000ad3: ADD 00000ad4: DUP3 00000ad5: DUP1 00000ad6: SLOAD 00000ad7: PUSH1 0x01 00000ad9: DUP2 00000ada: PUSH1 0x01 00000adc: AND 00000add: ISZERO 00000ade: PUSH2 0x0100 00000ae1: MUL 00000ae2: SUB 00000ae3: AND 00000ae4: PUSH1 0x02 00000ae6: SWAP1 00000ae7: DIV 00000ae8: DUP1 00000ae9: ISZERO 00000aea: PUSH2 0x0b34 00000aed: JUMPI 00000aee: DUP1 00000aef: PUSH1 0x1f 00000af1: LT 00000af2: PUSH2 0x0b09 00000af5: JUMPI 00000af6: PUSH2 0x0100 00000af9: DUP1 00000afa: DUP4 00000afb: SLOAD 00000afc: DIV 00000afd: MUL 00000afe: DUP4 00000aff: MSTORE 00000b00: SWAP2 00000b01: PUSH1 0x20 00000b03: ADD 00000b04: SWAP2 00000b05: PUSH2 0x0b34 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: DUP3 00000b0b: ADD 00000b0c: SWAP2 00000b0d: SWAP1 00000b0e: PUSH1 0x00 00000b10: MSTORE 00000b11: PUSH1 0x20 00000b13: PUSH1 0x00 00000b15: KECCAK256 00000b16: SWAP1 00000b17: JUMPDEST 00000b18: DUP2 00000b19: SLOAD 00000b1a: DUP2 00000b1b: MSTORE 00000b1c: SWAP1 00000b1d: PUSH1 0x01 00000b1f: ADD 00000b20: SWAP1 00000b21: PUSH1 0x20 00000b23: ADD 00000b24: DUP1 00000b25: DUP4 00000b26: GT 00000b27: PUSH2 0x0b17 00000b2a: JUMPI 00000b2b: DUP3 00000b2c: SWAP1 00000b2d: SUB 00000b2e: PUSH1 0x1f 00000b30: AND 00000b31: DUP3 00000b32: ADD 00000b33: SWAP2 00000b34: JUMPDEST 00000b35: POP 00000b36: POP 00000b37: POP 00000b38: POP 00000b39: POP 00000b3a: DUP2 00000b3b: JUMP 00000b3c: JUMPDEST 00000b3d: PUSH1 0x00 00000b3f: DUP1 00000b40: DUP1 00000b41: DUP1 00000b42: PUSH2 0x0b4c 00000b45: DUP6 00000b46: PUSH1 0x03 00000b48: PUSH2 0x1315 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: SWAP3 00000b4e: POP 00000b4f: PUSH2 0x0b58 00000b52: DUP6 00000b53: DUP5 00000b54: PUSH2 0x132c 00000b57: JUMP 00000b58: JUMPDEST 00000b59: SWAP2 00000b5a: POP 00000b5b: PUSH2 0x0b63 00000b5e: DUP3 00000b5f: PUSH2 0x133e 00000b62: JUMP 00000b63: JUMPDEST 00000b64: SWAP6 00000b65: SWAP5 00000b66: POP 00000b67: POP 00000b68: POP 00000b69: POP 00000b6a: POP 00000b6b: JUMP 00000b6c: JUMPDEST 00000b6d: PUSH1 0x08 00000b6f: SLOAD 00000b70: JUMPDEST 00000b71: SWAP1 00000b72: JUMP 00000b73: JUMPDEST 00000b74: PUSH1 0x00 00000b76: DUP1 00000b77: PUSH1 0x00 00000b79: DUP1 00000b7a: PUSH1 0x08 00000b7c: SLOAD 00000b7d: DUP6 00000b7e: GT 00000b7f: ISZERO 00000b80: ISZERO 00000b81: ISZERO 00000b82: PUSH2 0x0b8a 00000b85: JUMPI 00000b86: PUSH1 0x00 00000b88: DUP1 00000b89: REVERT 00000b8a: JUMPDEST 00000b8b: PUSH2 0x0b93 00000b8e: DUP6 00000b8f: PUSH2 0x13d6 00000b92: JUMP 00000b93: JUMPDEST 00000b94: SWAP3 00000b95: POP 00000b96: PUSH2 0x0ba0 00000b99: DUP4 00000b9a: PUSH1 0x03 00000b9c: PUSH2 0x1315 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: SWAP2 00000ba2: POP 00000ba3: PUSH2 0x0b63 00000ba6: DUP4 00000ba7: DUP4 00000ba8: PUSH2 0x132c 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x0b 00000baf: SLOAD 00000bb0: PUSH1 0xff 00000bb2: AND 00000bb3: DUP2 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH1 0x12 00000bb8: DUP2 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH1 0x00 00000bbd: DUP1 00000bbe: PUSH1 0x00 00000bc0: PUSH2 0x0bc9 00000bc3: PUSH1 0x01 00000bc5: PUSH2 0x0cdb 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: GT 00000bcb: PUSH2 0x0bd3 00000bce: JUMPI 00000bcf: PUSH1 0x00 00000bd1: DUP1 00000bd2: REVERT 00000bd3: JUMPDEST 00000bd4: CALLER 00000bd5: SWAP2 00000bd6: POP 00000bd7: PUSH2 0x0be0 00000bda: PUSH1 0x00 00000bdc: PUSH2 0x0cdb 00000bdf: JUMP 00000be0: JUMPDEST 00000be1: PUSH1 0x01 00000be3: PUSH1 0xa0 00000be5: PUSH1 0x02 00000be7: EXP 00000be8: SUB 00000be9: DUP4 00000bea: AND 00000beb: PUSH1 0x00 00000bed: DUP2 00000bee: DUP2 00000bef: MSTORE 00000bf0: PUSH1 0x06 00000bf2: PUSH1 0x20 00000bf4: SWAP1 00000bf5: DUP2 00000bf6: MSTORE 00000bf7: PUSH1 0x40 00000bf9: DUP1 00000bfa: DUP4 00000bfb: KECCAK256 00000bfc: DUP1 00000bfd: SLOAD 00000bfe: PUSH1 0x40 00000c00: PUSH1 0x02 00000c02: EXP 00000c03: DUP8 00000c04: MUL 00000c05: ADD 00000c06: SWAP1 00000c07: SSTORE 00000c08: PUSH1 0x05 00000c0a: SWAP1 00000c0b: SWAP2 00000c0c: MSTORE 00000c0d: DUP1 00000c0e: DUP3 00000c0f: KECCAK256 00000c10: DUP1 00000c11: SLOAD 00000c12: SWAP3 00000c13: SWAP1 00000c14: SSTORE 00000c15: SWAP3 00000c16: ADD 00000c17: SWAP3 00000c18: POP 00000c19: SWAP1 00000c1a: DUP3 00000c1b: ISZERO 00000c1c: PUSH2 0x08fc 00000c1f: MUL 00000c20: SWAP1 00000c21: DUP4 00000c22: SWAP1 00000c23: MLOAD 00000c24: PUSH1 0x00 00000c26: PUSH1 0x40 00000c28: MLOAD 00000c29: DUP1 00000c2a: DUP4 00000c2b: SUB 00000c2c: DUP2 00000c2d: DUP6 00000c2e: DUP9 00000c2f: DUP9 00000c30: CALL 00000c31: SWAP4 00000c32: POP 00000c33: POP 00000c34: POP 00000c35: POP 00000c36: ISZERO 00000c37: ISZERO 00000c38: PUSH2 0x0c40 00000c3b: JUMPI 00000c3c: PUSH1 0x00 00000c3e: DUP1 00000c3f: REVERT 00000c40: JUMPDEST 00000c41: DUP2 00000c42: PUSH1 0x01 00000c44: PUSH1 0xa0 00000c46: PUSH1 0x02 00000c48: EXP 00000c49: SUB 00000c4a: AND 00000c4b: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000c6c: DUP3 00000c6d: PUSH1 0x40 00000c6f: MLOAD 00000c70: SWAP1 00000c71: DUP2 00000c72: MSTORE 00000c73: PUSH1 0x20 00000c75: ADD 00000c76: PUSH1 0x40 00000c78: MLOAD 00000c79: DUP1 00000c7a: SWAP2 00000c7b: SUB 00000c7c: SWAP1 00000c7d: LOG2 00000c7e: POP 00000c7f: POP 00000c80: JUMP 00000c81: JUMPDEST 00000c82: PUSH1 0x00 00000c84: DUP1 00000c85: PUSH1 0x00 00000c87: DUP1 00000c88: PUSH1 0x08 00000c8a: SLOAD 00000c8b: PUSH1 0x00 00000c8d: EQ 00000c8e: ISZERO 00000c8f: PUSH2 0x0c9f 00000c92: JUMPI 00000c93: PUSH5 0x14f46b0400 00000c99: SWAP4 00000c9a: POP 00000c9b: PUSH2 0x0ccf 00000c9e: JUMP 00000c9f: JUMPDEST 00000ca0: PUSH2 0x0cb0 00000ca3: PUSH8 0x0de0b6b3a7640000 00000cac: PUSH2 0x13d6 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: SWAP3 00000cb2: POP 00000cb3: PUSH2 0x0cbd 00000cb6: DUP4 00000cb7: PUSH1 0x03 00000cb9: PUSH2 0x1315 00000cbc: JUMP 00000cbd: JUMPDEST 00000cbe: SWAP2 00000cbf: POP 00000cc0: PUSH2 0x0cc9 00000cc3: DUP4 00000cc4: DUP4 00000cc5: PUSH2 0x132c 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: SWAP1 00000ccb: POP 00000ccc: DUP1 00000ccd: SWAP4 00000cce: POP 00000ccf: JUMPDEST 00000cd0: POP 00000cd1: POP 00000cd2: POP 00000cd3: SWAP1 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH1 0x02 00000cd8: SLOAD 00000cd9: DUP2 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH1 0x00 00000cde: CALLER 00000cdf: DUP3 00000ce0: PUSH2 0x0cf1 00000ce3: JUMPI 00000ce4: PUSH2 0x0cec 00000ce7: DUP2 00000ce8: PUSH2 0x0a68 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: PUSH2 0x0d15 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH1 0x01 00000cf4: PUSH1 0xa0 00000cf6: PUSH1 0x02 00000cf8: EXP 00000cf9: SUB 00000cfa: DUP2 00000cfb: AND 00000cfc: PUSH1 0x00 00000cfe: SWAP1 00000cff: DUP2 00000d00: MSTORE 00000d01: PUSH1 0x05 00000d03: PUSH1 0x20 00000d05: MSTORE 00000d06: PUSH1 0x40 00000d08: SWAP1 00000d09: KECCAK256 00000d0a: SLOAD 00000d0b: PUSH2 0x0d13 00000d0e: DUP3 00000d0f: PUSH2 0x0a68 00000d12: JUMP 00000d13: JUMPDEST 00000d14: ADD 00000d15: JUMPDEST 00000d16: SWAP2 00000d17: POP 00000d18: JUMPDEST 00000d19: POP 00000d1a: SWAP2 00000d1b: SWAP1 00000d1c: POP 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: PUSH1 0x01 00000d21: PUSH1 0xa0 00000d23: PUSH1 0x02 00000d25: EXP 00000d26: SUB 00000d27: ADDRESS 00000d28: AND 00000d29: BALANCE 00000d2a: SWAP1 00000d2b: JUMP 00000d2c: JUMPDEST 00000d2d: PUSH1 0x01 00000d2f: PUSH1 0xa0 00000d31: PUSH1 0x02 00000d33: EXP 00000d34: SUB 00000d35: AND 00000d36: PUSH1 0x00 00000d38: SWAP1 00000d39: DUP2 00000d3a: MSTORE 00000d3b: PUSH1 0x04 00000d3d: PUSH1 0x20 00000d3f: MSTORE 00000d40: PUSH1 0x40 00000d42: SWAP1 00000d43: KECCAK256 00000d44: SLOAD 00000d45: SWAP1 00000d46: JUMP 00000d47: JUMPDEST 00000d48: PUSH1 0x0a 00000d4a: PUSH1 0x20 00000d4c: MSTORE 00000d4d: PUSH1 0x00 00000d4f: SWAP1 00000d50: DUP2 00000d51: MSTORE 00000d52: PUSH1 0x40 00000d54: SWAP1 00000d55: KECCAK256 00000d56: SLOAD 00000d57: PUSH1 0xff 00000d59: AND 00000d5a: DUP2 00000d5b: JUMP 00000d5c: JUMPDEST 00000d5d: CALLER 00000d5e: PUSH1 0x01 00000d60: PUSH1 0xa0 00000d62: PUSH1 0x02 00000d64: EXP 00000d65: SUB 00000d66: DUP2 00000d67: AND 00000d68: PUSH1 0x00 00000d6a: SWAP1 00000d6b: DUP2 00000d6c: MSTORE 00000d6d: PUSH1 0x0a 00000d6f: PUSH1 0x20 00000d71: MSTORE 00000d72: PUSH1 0x40 00000d74: SWAP1 00000d75: KECCAK256 00000d76: SLOAD 00000d77: PUSH1 0xff 00000d79: AND 00000d7a: ISZERO 00000d7b: ISZERO 00000d7c: PUSH2 0x0d84 00000d7f: JUMPI 00000d80: PUSH1 0x00 00000d82: DUP1 00000d83: REVERT 00000d84: JUMPDEST 00000d85: POP 00000d86: PUSH1 0x02 00000d88: SSTORE 00000d89: JUMP 00000d8a: JUMPDEST 00000d8b: PUSH1 0x00 00000d8d: DUP1 00000d8e: PUSH1 0x00 00000d90: DUP1 00000d91: PUSH1 0x08 00000d93: SLOAD 00000d94: PUSH1 0x00 00000d96: EQ 00000d97: ISZERO 00000d98: PUSH2 0x0da8 00000d9b: JUMPI 00000d9c: PUSH5 0x199c82cc00 00000da2: SWAP4 00000da3: POP 00000da4: PUSH2 0x0ccf 00000da7: JUMP 00000da8: JUMPDEST 00000da9: PUSH2 0x0db9 00000dac: PUSH8 0x0de0b6b3a7640000 00000db5: PUSH2 0x13d6 00000db8: JUMP 00000db9: JUMPDEST 00000dba: SWAP3 00000dbb: POP 00000dbc: PUSH2 0x0dc6 00000dbf: DUP4 00000dc0: PUSH1 0x03 00000dc2: PUSH2 0x1315 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: SWAP2 00000dc8: POP 00000dc9: PUSH2 0x0cc9 00000dcc: DUP4 00000dcd: DUP4 00000dce: PUSH2 0x12ff 00000dd1: JUMP 00000dd2: JUMPDEST 00000dd3: PUSH1 0x00 00000dd5: CALLER 00000dd6: PUSH2 0x0dde 00000dd9: DUP2 00000dda: PUSH2 0x0d2c 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: SWAP2 00000de0: POP 00000de1: JUMPDEST 00000de2: POP 00000de3: SWAP1 00000de4: JUMP 00000de5: JUMPDEST 00000de6: PUSH1 0x01 00000de8: DUP1 00000de9: SLOAD 00000dea: PUSH1 0x01 00000dec: DUP2 00000ded: PUSH1 0x01 00000def: AND 00000df0: ISZERO 00000df1: PUSH2 0x0100 00000df4: MUL 00000df5: SUB 00000df6: AND 00000df7: PUSH1 0x02 00000df9: SWAP1 00000dfa: DIV 00000dfb: DUP1 00000dfc: PUSH1 0x1f 00000dfe: ADD 00000dff: PUSH1 0x20 00000e01: DUP1 00000e02: SWAP2 00000e03: DIV 00000e04: MUL 00000e05: PUSH1 0x20 00000e07: ADD 00000e08: PUSH1 0x40 00000e0a: MLOAD 00000e0b: SWAP1 00000e0c: DUP2 00000e0d: ADD 00000e0e: PUSH1 0x40 00000e10: MSTORE 00000e11: DUP1 00000e12: SWAP3 00000e13: SWAP2 00000e14: SWAP1 00000e15: DUP2 00000e16: DUP2 00000e17: MSTORE 00000e18: PUSH1 0x20 00000e1a: ADD 00000e1b: DUP3 00000e1c: DUP1 00000e1d: SLOAD 00000e1e: PUSH1 0x01 00000e20: DUP2 00000e21: PUSH1 0x01 00000e23: AND 00000e24: ISZERO 00000e25: PUSH2 0x0100 00000e28: MUL 00000e29: SUB 00000e2a: AND 00000e2b: PUSH1 0x02 00000e2d: SWAP1 00000e2e: DIV 00000e2f: DUP1 00000e30: ISZERO 00000e31: PUSH2 0x0b34 00000e34: JUMPI 00000e35: DUP1 00000e36: PUSH1 0x1f 00000e38: LT 00000e39: PUSH2 0x0b09 00000e3c: JUMPI 00000e3d: PUSH2 0x0100 00000e40: DUP1 00000e41: DUP4 00000e42: SLOAD 00000e43: DIV 00000e44: MUL 00000e45: DUP4 00000e46: MSTORE 00000e47: SWAP2 00000e48: PUSH1 0x20 00000e4a: ADD 00000e4b: SWAP2 00000e4c: PUSH2 0x0b34 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: CALLER 00000e52: PUSH1 0x01 00000e54: PUSH1 0xa0 00000e56: PUSH1 0x02 00000e58: EXP 00000e59: SUB 00000e5a: DUP2 00000e5b: AND 00000e5c: PUSH1 0x00 00000e5e: SWAP1 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x0a 00000e63: PUSH1 0x20 00000e65: MSTORE 00000e66: PUSH1 0x40 00000e68: SWAP1 00000e69: KECCAK256 00000e6a: SLOAD 00000e6b: PUSH1 0xff 00000e6d: AND 00000e6e: ISZERO 00000e6f: ISZERO 00000e70: PUSH2 0x0e78 00000e73: JUMPI 00000e74: PUSH1 0x00 00000e76: DUP1 00000e77: REVERT 00000e78: JUMPDEST 00000e79: POP 00000e7a: PUSH1 0x0b 00000e7c: DUP1 00000e7d: SLOAD 00000e7e: PUSH1 0xff 00000e80: NOT 00000e81: AND 00000e82: SWAP1 00000e83: SSTORE 00000e84: JUMP 00000e85: JUMPDEST 00000e86: PUSH1 0x00 00000e88: DUP1 00000e89: PUSH1 0x00 00000e8b: DUP1 00000e8c: PUSH1 0x00 00000e8e: DUP1 00000e8f: PUSH2 0x0e96 00000e92: PUSH2 0x0dd2 00000e95: JUMP 00000e96: JUMPDEST 00000e97: GT 00000e98: PUSH2 0x0ea0 00000e9b: JUMPI 00000e9c: PUSH1 0x00 00000e9e: DUP1 00000e9f: REVERT 00000ea0: JUMPDEST 00000ea1: PUSH1 0x0b 00000ea3: SLOAD 00000ea4: CALLER 00000ea5: SWAP5 00000ea6: POP 00000ea7: PUSH1 0xff 00000ea9: AND 00000eaa: ISZERO 00000eab: DUP1 00000eac: ISZERO 00000ead: PUSH2 0x0ece 00000eb0: JUMPI 00000eb1: POP 00000eb2: PUSH1 0x01 00000eb4: PUSH1 0xa0 00000eb6: PUSH1 0x02 00000eb8: EXP 00000eb9: SUB 00000eba: DUP5 00000ebb: AND 00000ebc: PUSH1 0x00 00000ebe: SWAP1 00000ebf: DUP2 00000ec0: MSTORE 00000ec1: PUSH1 0x04 00000ec3: PUSH1 0x20 00000ec5: MSTORE 00000ec6: PUSH1 0x40 00000ec8: SWAP1 00000ec9: KECCAK256 00000eca: SLOAD 00000ecb: DUP7 00000ecc: GT 00000ecd: ISZERO 00000ece: JUMPDEST 00000ecf: ISZERO 00000ed0: ISZERO 00000ed1: PUSH2 0x0ed9 00000ed4: JUMPI 00000ed5: PUSH1 0x00 00000ed7: DUP1 00000ed8: REVERT 00000ed9: JUMPDEST 00000eda: PUSH1 0x00 00000edc: PUSH2 0x0ee5 00000edf: PUSH1 0x01 00000ee1: PUSH2 0x0cdb 00000ee4: JUMP 00000ee5: JUMPDEST 00000ee6: GT 00000ee7: ISZERO 00000ee8: PUSH2 0x0ef3 00000eeb: JUMPI 00000eec: PUSH2 0x0ef3 00000eef: PUSH2 0x0bba 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: PUSH2 0x0efe 00000ef7: DUP7 00000ef8: PUSH1 0x03 00000efa: PUSH2 0x1315 00000efd: JUMP 00000efe: JUMPDEST 00000eff: SWAP3 00000f00: POP 00000f01: PUSH2 0x0f0a 00000f04: DUP7 00000f05: DUP5 00000f06: PUSH2 0x132c 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: SWAP2 00000f0c: POP 00000f0d: PUSH2 0x0f15 00000f10: DUP4 00000f11: PUSH2 0x13d6 00000f14: JUMP 00000f15: JUMPDEST 00000f16: SWAP1 00000f17: POP 00000f18: PUSH2 0x0f23 00000f1b: PUSH1 0x08 00000f1d: SLOAD 00000f1e: DUP5 00000f1f: PUSH2 0x132c 00000f22: JUMP 00000f23: JUMPDEST 00000f24: PUSH1 0x08 00000f26: SSTORE 00000f27: PUSH1 0x01 00000f29: PUSH1 0xa0 00000f2b: PUSH1 0x02 00000f2d: EXP 00000f2e: SUB 00000f2f: DUP5 00000f30: AND 00000f31: PUSH1 0x00 00000f33: SWAP1 00000f34: DUP2 00000f35: MSTORE 00000f36: PUSH1 0x04 00000f38: PUSH1 0x20 00000f3a: MSTORE 00000f3b: PUSH1 0x40 00000f3d: SWAP1 00000f3e: KECCAK256 00000f3f: SLOAD 00000f40: PUSH2 0x0f49 00000f43: SWAP1 00000f44: DUP8 00000f45: PUSH2 0x132c 00000f48: JUMP 00000f49: JUMPDEST 00000f4a: PUSH1 0x01 00000f4c: PUSH1 0xa0 00000f4e: PUSH1 0x02 00000f50: EXP 00000f51: SUB 00000f52: DUP1 00000f53: DUP7 00000f54: AND 00000f55: PUSH1 0x00 00000f57: SWAP1 00000f58: DUP2 00000f59: MSTORE 00000f5a: PUSH1 0x04 00000f5c: PUSH1 0x20 00000f5e: MSTORE 00000f5f: PUSH1 0x40 00000f61: DUP1 00000f62: DUP3 00000f63: KECCAK256 00000f64: SWAP4 00000f65: SWAP1 00000f66: SWAP4 00000f67: SSTORE 00000f68: SWAP1 00000f69: DUP10 00000f6a: AND 00000f6b: DUP2 00000f6c: MSTORE 00000f6d: KECCAK256 00000f6e: SLOAD 00000f6f: PUSH2 0x0f78 00000f72: SWAP1 00000f73: DUP4 00000f74: PUSH2 0x12ff 00000f77: JUMP 00000f78: JUMPDEST 00000f79: PUSH1 0x01 00000f7b: PUSH1 0xa0 00000f7d: PUSH1 0x02 00000f7f: EXP 00000f80: SUB 00000f81: DUP9 00000f82: DUP2 00000f83: AND 00000f84: PUSH1 0x00 00000f86: DUP2 00000f87: DUP2 00000f88: MSTORE 00000f89: PUSH1 0x04 00000f8b: PUSH1 0x20 00000f8d: SWAP1 00000f8e: DUP2 00000f8f: MSTORE 00000f90: PUSH1 0x40 00000f92: DUP1 00000f93: DUP4 00000f94: KECCAK256 00000f95: SWAP6 00000f96: SWAP1 00000f97: SWAP6 00000f98: SSTORE 00000f99: PUSH1 0x09 00000f9b: DUP1 00000f9c: SLOAD 00000f9d: SWAP5 00000f9e: DUP11 00000f9f: AND 00000fa0: DUP4 00000fa1: MSTORE 00000fa2: PUSH1 0x06 00000fa4: SWAP1 00000fa5: SWAP2 00000fa6: MSTORE 00000fa7: DUP5 00000fa8: DUP3 00000fa9: KECCAK256 00000faa: DUP1 00000fab: SLOAD 00000fac: SWAP5 00000fad: DUP13 00000fae: MUL 00000faf: SWAP1 00000fb0: SWAP5 00000fb1: SUB 00000fb2: SWAP1 00000fb3: SWAP4 00000fb4: SSTORE 00000fb5: DUP3 00000fb6: SLOAD 00000fb7: SWAP2 00000fb8: DUP2 00000fb9: MSTORE 00000fba: SWAP3 00000fbb: SWAP1 00000fbc: SWAP3 00000fbd: KECCAK256 00000fbe: DUP1 00000fbf: SLOAD 00000fc0: SWAP3 00000fc1: DUP6 00000fc2: MUL 00000fc3: SWAP1 00000fc4: SWAP3 00000fc5: ADD 00000fc6: SWAP1 00000fc7: SWAP2 00000fc8: SSTORE 00000fc9: SLOAD 00000fca: PUSH1 0x08 00000fcc: SLOAD 00000fcd: PUSH2 0x0fe7 00000fd0: SWAP2 00000fd1: SWAP1 00000fd2: PUSH1 0x40 00000fd4: PUSH1 0x02 00000fd6: EXP 00000fd7: DUP5 00000fd8: MUL 00000fd9: DUP2 00000fda: ISZERO 00000fdb: ISZERO 00000fdc: PUSH2 0x0fe1 00000fdf: JUMPI 00000fe0: INVALID 00000fe1: JUMPDEST 00000fe2: DIV 00000fe3: PUSH2 0x12ff 00000fe6: JUMP 00000fe7: JUMPDEST 00000fe8: PUSH1 0x09 00000fea: SSTORE 00000feb: PUSH1 0x01 00000fed: PUSH1 0xa0 00000fef: PUSH1 0x02 00000ff1: EXP 00000ff2: SUB 00000ff3: DUP1 00000ff4: DUP9 00000ff5: AND 00000ff6: SWAP1 00000ff7: DUP6 00000ff8: AND 00000ff9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000101a: DUP5 0000101b: PUSH1 0x40 0000101d: MLOAD 0000101e: SWAP1 0000101f: DUP2 00001020: MSTORE 00001021: PUSH1 0x20 00001023: ADD 00001024: PUSH1 0x40 00001026: MLOAD 00001027: DUP1 00001028: SWAP2 00001029: SUB 0000102a: SWAP1 0000102b: LOG3 0000102c: POP 0000102d: PUSH1 0x01 0000102f: SWAP7 00001030: SWAP6 00001031: POP 00001032: POP 00001033: POP 00001034: POP 00001035: POP 00001036: POP 00001037: JUMP 00001038: JUMPDEST 00001039: CALLER 0000103a: PUSH1 0x01 0000103c: PUSH1 0xa0 0000103e: PUSH1 0x02 00001040: EXP 00001041: SUB 00001042: DUP2 00001043: AND 00001044: PUSH1 0x00 00001046: SWAP1 00001047: DUP2 00001048: MSTORE 00001049: PUSH1 0x0a 0000104b: PUSH1 0x20 0000104d: MSTORE 0000104e: PUSH1 0x40 00001050: SWAP1 00001051: KECCAK256 00001052: SLOAD 00001053: PUSH1 0xff 00001055: AND 00001056: ISZERO 00001057: ISZERO 00001058: PUSH2 0x1060 0000105b: JUMPI 0000105c: PUSH1 0x00 0000105e: DUP1 0000105f: REVERT 00001060: JUMPDEST 00001061: PUSH1 0x01 00001063: DUP3 00001064: DUP1 00001065: MLOAD 00001066: PUSH2 0x1073 00001069: SWAP3 0000106a: SWAP2 0000106b: PUSH1 0x20 0000106d: ADD 0000106e: SWAP1 0000106f: PUSH2 0x1477 00001072: JUMP 00001073: JUMPDEST 00001074: POP 00001075: POP 00001076: POP 00001077: JUMP 00001078: JUMPDEST 00001079: CALLER 0000107a: PUSH1 0x01 0000107c: PUSH1 0xa0 0000107e: PUSH1 0x02 00001080: EXP 00001081: SUB 00001082: DUP2 00001083: AND 00001084: PUSH1 0x00 00001086: SWAP1 00001087: DUP2 00001088: MSTORE 00001089: PUSH1 0x0a 0000108b: PUSH1 0x20 0000108d: MSTORE 0000108e: PUSH1 0x40 00001090: SWAP1 00001091: KECCAK256 00001092: SLOAD 00001093: PUSH1 0xff 00001095: AND 00001096: ISZERO 00001097: ISZERO 00001098: PUSH2 0x10a0 0000109b: JUMPI 0000109c: PUSH1 0x00 0000109e: DUP1 0000109f: REVERT 000010a0: JUMPDEST 000010a1: PUSH1 0x00 000010a3: DUP3 000010a4: DUP1 000010a5: MLOAD 000010a6: PUSH2 0x1073 000010a9: SWAP3 000010aa: SWAP2 000010ab: PUSH1 0x20 000010ad: ADD 000010ae: SWAP1 000010af: PUSH2 0x1477 000010b2: JUMP 000010b3: JUMPDEST 000010b4: PUSH1 0x00 000010b6: DUP1 000010b7: PUSH1 0x00 000010b9: DUP1 000010ba: PUSH1 0x00 000010bc: DUP1 000010bd: PUSH1 0x00 000010bf: PUSH2 0x10c6 000010c2: PUSH2 0x0dd2 000010c5: JUMP 000010c6: JUMPDEST 000010c7: GT 000010c8: PUSH2 0x10d0 000010cb: JUMPI 000010cc: PUSH1 0x00 000010ce: DUP1 000010cf: REVERT 000010d0: JUMPDEST 000010d1: CALLER 000010d2: PUSH1 0x01 000010d4: PUSH1 0xa0 000010d6: PUSH1 0x02 000010d8: EXP 000010d9: SUB 000010da: DUP2 000010db: AND 000010dc: PUSH1 0x00 000010de: SWAP1 000010df: DUP2 000010e0: MSTORE 000010e1: PUSH1 0x04 000010e3: PUSH1 0x20 000010e5: MSTORE 000010e6: PUSH1 0x40 000010e8: SWAP1 000010e9: KECCAK256 000010ea: SLOAD 000010eb: SWAP1 000010ec: SWAP7 000010ed: POP 000010ee: DUP8 000010ef: GT 000010f0: ISZERO 000010f1: PUSH2 0x10f9 000010f4: JUMPI 000010f5: PUSH1 0x00 000010f7: DUP1 000010f8: REVERT 000010f9: JUMPDEST 000010fa: DUP7 000010fb: SWAP5 000010fc: POP 000010fd: PUSH2 0x1105 00001100: DUP6 00001101: PUSH2 0x13d6 00001104: JUMP 00001105: JUMPDEST 00001106: SWAP4 00001107: POP 00001108: PUSH2 0x1112 0000110b: DUP5 0000110c: PUSH1 0x03 0000110e: PUSH2 0x1315 00001111: JUMP 00001112: JUMPDEST 00001113: SWAP3 00001114: POP 00001115: PUSH2 0x111e 00001118: DUP5 00001119: DUP5 0000111a: PUSH2 0x132c 0000111d: JUMP 0000111e: JUMPDEST 0000111f: SWAP2 00001120: POP 00001121: PUSH2 0x112c 00001124: PUSH1 0x08 00001126: SLOAD 00001127: DUP7 00001128: PUSH2 0x132c 0000112b: JUMP 0000112c: JUMPDEST 0000112d: PUSH1 0x08 0000112f: SSTORE 00001130: PUSH1 0x01 00001132: PUSH1 0xa0 00001134: PUSH1 0x02 00001136: EXP 00001137: SUB 00001138: DUP7 00001139: AND 0000113a: PUSH1 0x00 0000113c: SWAP1 0000113d: DUP2 0000113e: MSTORE 0000113f: PUSH1 0x04 00001141: PUSH1 0x20 00001143: MSTORE 00001144: PUSH1 0x40 00001146: SWAP1 00001147: KECCAK256 00001148: SLOAD 00001149: PUSH2 0x1152 0000114c: SWAP1 0000114d: DUP7 0000114e: PUSH2 0x132c 00001151: JUMP 00001152: JUMPDEST 00001153: PUSH1 0x01 00001155: PUSH1 0xa0 00001157: PUSH1 0x02 00001159: EXP 0000115a: SUB 0000115b: DUP8 0000115c: AND 0000115d: PUSH1 0x00 0000115f: SWAP1 00001160: DUP2 00001161: MSTORE 00001162: PUSH1 0x04 00001164: PUSH1 0x20 00001166: SWAP1 00001167: DUP2 00001168: MSTORE 00001169: PUSH1 0x40 0000116b: DUP1 0000116c: DUP4 0000116d: KECCAK256 0000116e: SWAP4 0000116f: SWAP1 00001170: SWAP4 00001171: SSTORE 00001172: PUSH1 0x09 00001174: SLOAD 00001175: PUSH1 0x06 00001177: SWAP1 00001178: SWAP2 00001179: MSTORE 0000117a: SWAP2 0000117b: DUP2 0000117c: KECCAK256 0000117d: DUP1 0000117e: SLOAD 0000117f: SWAP3 00001180: DUP9 00001181: MUL 00001182: PUSH1 0x40 00001184: PUSH1 0x02 00001186: EXP 00001187: DUP7 00001188: MUL 00001189: ADD 0000118a: SWAP3 0000118b: DUP4 0000118c: SWAP1 0000118d: SUB 0000118e: SWAP1 0000118f: SSTORE 00001190: PUSH1 0x08 00001192: SLOAD 00001193: SWAP2 00001194: SWAP3 00001195: POP 00001196: SWAP1 00001197: GT 00001198: ISZERO 00001199: PUSH2 0x11b9 0000119c: JUMPI 0000119d: PUSH2 0x11b5 000011a0: PUSH1 0x09 000011a2: SLOAD 000011a3: PUSH1 0x08 000011a5: SLOAD 000011a6: PUSH1 0x40 000011a8: PUSH1 0x02 000011aa: EXP 000011ab: DUP7 000011ac: MUL 000011ad: DUP2 000011ae: ISZERO 000011af: ISZERO 000011b0: PUSH2 0x0fe1 000011b3: JUMPI 000011b4: INVALID 000011b5: JUMPDEST 000011b6: PUSH1 0x09 000011b8: SSTORE 000011b9: JUMPDEST 000011ba: DUP6 000011bb: PUSH1 0x01 000011bd: PUSH1 0xa0 000011bf: PUSH1 0x02 000011c1: EXP 000011c2: SUB 000011c3: AND 000011c4: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 000011e5: DUP7 000011e6: DUP5 000011e7: PUSH1 0x40 000011e9: MLOAD 000011ea: SWAP2 000011eb: DUP3 000011ec: MSTORE 000011ed: PUSH1 0x20 000011ef: DUP3 000011f0: ADD 000011f1: MSTORE 000011f2: PUSH1 0x40 000011f4: SWAP1 000011f5: DUP2 000011f6: ADD 000011f7: SWAP1 000011f8: MLOAD 000011f9: DUP1 000011fa: SWAP2 000011fb: SUB 000011fc: SWAP1 000011fd: LOG2 000011fe: POP 000011ff: POP 00001200: POP 00001201: POP 00001202: POP 00001203: POP 00001204: POP 00001205: JUMP 00001206: JUMPDEST 00001207: CALLER 00001208: PUSH1 0x01 0000120a: PUSH1 0xa0 0000120c: PUSH1 0x02 0000120e: EXP 0000120f: SUB 00001210: DUP2 00001211: AND 00001212: PUSH1 0x00 00001214: SWAP1 00001215: DUP2 00001216: MSTORE 00001217: PUSH1 0x04 00001219: PUSH1 0x20 0000121b: MSTORE 0000121c: PUSH1 0x40 0000121e: DUP2 0000121f: KECCAK256 00001220: SLOAD 00001221: SWAP1 00001222: DUP2 00001223: GT 00001224: ISZERO 00001225: PUSH2 0x1231 00001228: JUMPI 00001229: PUSH2 0x1231 0000122c: DUP2 0000122d: PUSH2 0x10b3 00001230: JUMP 00001231: JUMPDEST 00001232: PUSH2 0x1239 00001235: PUSH2 0x0bba 00001238: JUMP 00001239: JUMPDEST 0000123a: POP 0000123b: POP 0000123c: JUMP 0000123d: JUMPDEST 0000123e: PUSH1 0x00 00001240: PUSH2 0x0d18 00001243: CALLVALUE 00001244: DUP4 00001245: PUSH2 0x04c4 00001248: JUMP 00001249: JUMPDEST 0000124a: PUSH1 0x00 0000124c: DUP1 0000124d: PUSH1 0x00 0000124f: DUP1 00001250: PUSH2 0x1259 00001253: PUSH1 0x01 00001255: PUSH2 0x0cdb 00001258: JUMP 00001259: JUMPDEST 0000125a: GT 0000125b: PUSH2 0x1263 0000125e: JUMPI 0000125f: PUSH1 0x00 00001261: DUP1 00001262: REVERT 00001263: JUMPDEST 00001264: PUSH2 0x126d 00001267: PUSH1 0x00 00001269: PUSH2 0x0cdb 0000126c: JUMP 0000126d: JUMPDEST 0000126e: CALLER 0000126f: PUSH1 0x01 00001271: PUSH1 0xa0 00001273: PUSH1 0x02 00001275: EXP 00001276: SUB 00001277: DUP2 00001278: AND 00001279: PUSH1 0x00 0000127b: SWAP1 0000127c: DUP2 0000127d: MSTORE 0000127e: PUSH1 0x06 00001280: PUSH1 0x20 00001282: SWAP1 00001283: DUP2 00001284: MSTORE 00001285: PUSH1 0x40 00001287: DUP1 00001288: DUP4 00001289: KECCAK256 0000128a: DUP1 0000128b: SLOAD 0000128c: PUSH1 0x40 0000128e: PUSH1 0x02 00001290: EXP 00001291: DUP8 00001292: MUL 00001293: ADD 00001294: SWAP1 00001295: SSTORE 00001296: PUSH1 0x05 00001298: SWAP1 00001299: SWAP2 0000129a: MSTORE 0000129b: DUP2 0000129c: KECCAK256 0000129d: DUP1 0000129e: SLOAD 0000129f: SWAP1 000012a0: DUP3 000012a1: SWAP1 000012a2: SSTORE 000012a3: SWAP1 000012a4: SWAP3 000012a5: ADD 000012a6: SWAP5 000012a7: POP 000012a8: SWAP3 000012a9: POP 000012aa: PUSH2 0x12b4 000012ad: SWAP1 000012ae: DUP5 000012af: SWAP1 000012b0: PUSH2 0x04c4 000012b3: JUMP 000012b4: JUMPDEST 000012b5: SWAP1 000012b6: POP 000012b7: DUP2 000012b8: PUSH1 0x01 000012ba: PUSH1 0xa0 000012bc: PUSH1 0x02 000012be: EXP 000012bf: SUB 000012c0: AND 000012c1: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 000012e2: DUP5 000012e3: DUP4 000012e4: PUSH1 0x40 000012e6: MLOAD 000012e7: SWAP2 000012e8: DUP3 000012e9: MSTORE 000012ea: PUSH1 0x20 000012ec: DUP3 000012ed: ADD 000012ee: MSTORE 000012ef: PUSH1 0x40 000012f1: SWAP1 000012f2: DUP2 000012f3: ADD 000012f4: SWAP1 000012f5: MLOAD 000012f6: DUP1 000012f7: SWAP2 000012f8: SUB 000012f9: SWAP1 000012fa: LOG2 000012fb: POP 000012fc: POP 000012fd: POP 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH1 0x00 00001302: DUP3 00001303: DUP3 00001304: ADD 00001305: DUP4 00001306: DUP2 00001307: LT 00001308: ISZERO 00001309: PUSH2 0x130e 0000130c: JUMPI 0000130d: INVALID 0000130e: JUMPDEST 0000130f: SWAP4 00001310: SWAP3 00001311: POP 00001312: POP 00001313: POP 00001314: JUMP 00001315: JUMPDEST 00001316: PUSH1 0x00 00001318: DUP1 00001319: DUP3 0000131a: DUP5 0000131b: DUP2 0000131c: ISZERO 0000131d: ISZERO 0000131e: PUSH2 0x1323 00001321: JUMPI 00001322: INVALID 00001323: JUMPDEST 00001324: DIV 00001325: SWAP5 00001326: SWAP4 00001327: POP 00001328: POP 00001329: POP 0000132a: POP 0000132b: JUMP 0000132c: JUMPDEST 0000132d: PUSH1 0x00 0000132f: DUP3 00001330: DUP3 00001331: GT 00001332: ISZERO 00001333: PUSH2 0x1338 00001336: JUMPI 00001337: INVALID 00001338: JUMPDEST 00001339: POP 0000133a: SWAP1 0000133b: SUB 0000133c: SWAP1 0000133d: JUMP 0000133e: JUMPDEST 0000133f: PUSH1 0x08 00001341: SLOAD 00001342: PUSH1 0x00 00001344: SWAP1 00001345: PUSH13 0x01431e0fae6d7217caa0000000 00001353: SWAP1 00001354: DUP3 00001355: SWAP1 00001356: PUSH5 0x02540be400 0000135c: PUSH2 0x13c3 0000135f: PUSH2 0x13bd 00001362: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000 00001377: DUP9 00001378: MUL 00001379: PUSH9 0x056bc75e2d63100000 00001383: PUSH1 0x02 00001385: DUP7 00001386: EXP 00001387: MUL 00001388: ADD 00001389: PUSH17 0x05e0a1fd2712875988becaad0000000000 0000139b: DUP6 0000139c: MUL 0000139d: ADD 0000139e: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000 000013b8: ADD 000013b9: PUSH2 0x1442 000013bc: JUMP 000013bd: JUMPDEST 000013be: DUP6 000013bf: PUSH2 0x132c 000013c2: JUMP 000013c3: JUMPDEST 000013c4: DUP2 000013c5: ISZERO 000013c6: ISZERO 000013c7: PUSH2 0x13cc 000013ca: JUMPI 000013cb: INVALID 000013cc: JUMPDEST 000013cd: DIV 000013ce: SUB 000013cf: SWAP5 000013d0: SWAP4 000013d1: POP 000013d2: POP 000013d3: POP 000013d4: POP 000013d5: JUMP 000013d6: JUMPDEST 000013d7: PUSH1 0x08 000013d9: SLOAD 000013da: PUSH1 0x00 000013dc: SWAP1 000013dd: PUSH8 0x0de0b6b3a7640000 000013e6: DUP4 000013e7: DUP2 000013e8: ADD 000013e9: SWAP2 000013ea: DUP2 000013eb: ADD 000013ec: SWAP1 000013ed: DUP4 000013ee: SWAP1 000013ef: PUSH2 0x142f 000013f2: PUSH5 0x14f46b0400 000013f8: DUP3 000013f9: DUP6 000013fa: DIV 000013fb: PUSH5 0x02540be400 00001401: MUL 00001402: ADD 00001403: DUP8 00001404: MUL 00001405: PUSH1 0x02 00001407: DUP4 00001408: PUSH8 0x0de0b6b3a763ffff 00001411: NOT 00001412: DUP3 00001413: DUP10 00001414: EXP 00001415: DUP12 00001416: SWAP1 00001417: SUB 00001418: ADD 00001419: DIV 0000141a: PUSH5 0x02540be400 00001420: MUL 00001421: DUP2 00001422: ISZERO 00001423: ISZERO 00001424: PUSH2 0x1429 00001427: JUMPI 00001428: INVALID 00001429: JUMPDEST 0000142a: DIV 0000142b: PUSH2 0x132c 0000142e: JUMP 0000142f: JUMPDEST 00001430: DUP2 00001431: ISZERO 00001432: ISZERO 00001433: PUSH2 0x1438 00001436: JUMPI 00001437: INVALID 00001438: JUMPDEST 00001439: DIV 0000143a: SWAP6 0000143b: SWAP5 0000143c: POP 0000143d: POP 0000143e: POP 0000143f: POP 00001440: POP 00001441: JUMP 00001442: JUMPDEST 00001443: DUP1 00001444: PUSH1 0x02 00001446: PUSH1 0x01 00001448: DUP3 00001449: ADD 0000144a: DIV 0000144b: JUMPDEST 0000144c: DUP2 0000144d: DUP2 0000144e: LT 0000144f: ISZERO 00001450: PUSH2 0x0d18 00001453: JUMPI 00001454: DUP1 00001455: SWAP2 00001456: POP 00001457: PUSH1 0x02 00001459: DUP2 0000145a: DUP3 0000145b: DUP6 0000145c: DUP2 0000145d: ISZERO 0000145e: ISZERO 0000145f: PUSH2 0x1464 00001462: JUMPI 00001463: INVALID 00001464: JUMPDEST 00001465: DIV 00001466: ADD 00001467: DUP2 00001468: ISZERO 00001469: ISZERO 0000146a: PUSH2 0x146f 0000146d: JUMPI 0000146e: INVALID 0000146f: JUMPDEST 00001470: DIV 00001471: SWAP1 00001472: POP 00001473: PUSH2 0x144b 00001476: JUMP 00001477: JUMPDEST 00001478: DUP3 00001479: DUP1 0000147a: SLOAD 0000147b: PUSH1 0x01 0000147d: DUP2 0000147e: PUSH1 0x01 00001480: AND 00001481: ISZERO 00001482: PUSH2 0x0100 00001485: MUL 00001486: SUB 00001487: AND 00001488: PUSH1 0x02 0000148a: SWAP1 0000148b: DIV 0000148c: SWAP1 0000148d: PUSH1 0x00 0000148f: MSTORE 00001490: PUSH1 0x20 00001492: PUSH1 0x00 00001494: KECCAK256 00001495: SWAP1 00001496: PUSH1 0x1f 00001498: ADD 00001499: PUSH1 0x20 0000149b: SWAP1 0000149c: DIV 0000149d: DUP2 0000149e: ADD 0000149f: SWAP3 000014a0: DUP3 000014a1: PUSH1 0x1f 000014a3: LT 000014a4: PUSH2 0x14b8 000014a7: JUMPI 000014a8: DUP1 000014a9: MLOAD 000014aa: PUSH1 0xff 000014ac: NOT 000014ad: AND 000014ae: DUP4 000014af: DUP1 000014b0: ADD 000014b1: OR 000014b2: DUP6 000014b3: SSTORE 000014b4: PUSH2 0x14e5 000014b7: JUMP 000014b8: JUMPDEST 000014b9: DUP3 000014ba: DUP1 000014bb: ADD 000014bc: PUSH1 0x01 000014be: ADD 000014bf: DUP6 000014c0: SSTORE 000014c1: DUP3 000014c2: ISZERO 000014c3: PUSH2 0x14e5 000014c6: JUMPI 000014c7: SWAP2 000014c8: DUP3 000014c9: ADD 000014ca: JUMPDEST 000014cb: DUP3 000014cc: DUP2 000014cd: GT 000014ce: ISZERO 000014cf: PUSH2 0x14e5 000014d2: JUMPI 000014d3: DUP3 000014d4: MLOAD 000014d5: DUP3 000014d6: SSTORE 000014d7: SWAP2 000014d8: PUSH1 0x20 000014da: ADD 000014db: SWAP2 000014dc: SWAP1 000014dd: PUSH1 0x01 000014df: ADD 000014e0: SWAP1 000014e1: PUSH2 0x14ca 000014e4: JUMP 000014e5: JUMPDEST 000014e6: POP 000014e7: PUSH2 0x0de1 000014ea: SWAP3 000014eb: PUSH2 0x0b70 000014ee: SWAP3 000014ef: POP 000014f0: SWAP1 000014f1: JUMPDEST 000014f2: DUP1 000014f3: DUP3 000014f4: GT 000014f5: ISZERO 000014f6: PUSH2 0x0de1 000014f9: JUMPI 000014fa: PUSH1 0x00 000014fc: DUP2 000014fd: SSTORE 000014fe: PUSH1 0x01 00001500: ADD 00001501: PUSH2 0x14f1 00001504: JUMP 00001505: STOP 00001506: LOG1 00001507: PUSH6 0x627a7a723058 0000150e: KECCAK256 0000150f: UNKNOWN(0x4E) 00001510: CODESIZE 00001511: TSTORE 00001512: CALLDATASIZE 00001513: OR 00001514: UNKNOWN(0xD0) 00001515: DUP15 00001516: PUSH5 0xa27c8ce298 0000151c: REVERT 0000151d: SHR 0000151e: PUSH19
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x045a81a753f0590f9166b4488a635b89c55196cee4a78f2edb5a4f9b82b7a3e7
call_targets:
0x748c6ed3f78f5f06ceb76834f195d3a05b7d628a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x045a81a753f0590f9166b4488a635b89c55196cee4a78f2edb5a4f9b82b7a3e7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x748c6ed3f78f5f06ceb76834f195d3a05b7d628a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3120,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x045a81a753f0590f9166b4488a635b89c55196cee4a78f2edb5a4f9b82b7a3e7
call_targets:
0x748c6ed3f78f5f06ceb76834f195d3a05b7d628a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x045a81a753f0590f9166b4488a635b89c55196cee4a78f2edb5a4f9b82b7a3e7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x748c6ed3f78f5f06ceb76834f195d3a05b7d628a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3120,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|