019b477e-b32b-72b2-99c9-e4e5d4f82e72
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 |
|---|---|---|---|---|
| 22497 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22498 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107265 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107266 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107267 | detector.run | complete | 1 / 3 | 1 week ago |
| 107268 | validation.fork | complete | 1 / 3 | 1 week 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 0x013d 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x05174c75 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x014a 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x095ea7b3 00000046: EQ 00000047: PUSH2 0x01b3 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x0a084473 00000051: EQ 00000052: PUSH2 0x01eb 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x163adeaf 0000005c: EQ 0000005d: PUSH2 0x0212 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x18160ddd 00000067: EQ 00000068: PUSH2 0x024c 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x205c2878 00000072: EQ 00000073: PUSH2 0x0261 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x23b872dd 0000007d: EQ 0000007e: PUSH2 0x0285 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x2e1a7d4d 00000088: EQ 00000089: PUSH2 0x02af 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x2ff2e9dc 00000093: EQ 00000094: PUSH2 0x02c7 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x313ce567 0000009e: EQ 0000009f: PUSH2 0x02dc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x66188463 000000a9: EQ 000000aa: PUSH2 0x0307 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x683b2804 000000b4: EQ 000000b5: PUSH2 0x032b 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x70a08231 000000bf: EQ 000000c0: PUSH2 0x033f 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x8da5cb5b 000000ca: EQ 000000cb: PUSH2 0x0360 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x9f913aa5 000000d5: EQ 000000d6: PUSH2 0x0391 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xa9059cbb 000000e0: EQ 000000e1: PUSH2 0x0399 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xb09f1266 000000eb: EQ 000000ec: PUSH2 0x03bd 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xce8b7d7f 000000f6: EQ 000000f7: PUSH2 0x0447 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xd28d8852 00000101: EQ 00000102: PUSH2 0x0468 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xd73dd623 0000010c: EQ 0000010d: PUSH2 0x047d 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xd8b0a738 00000117: EQ 00000118: PUSH2 0x04a1 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xda614b03 00000122: EQ 00000123: PUSH2 0x04f3 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xdd62ed3e 0000012d: EQ 0000012e: PUSH2 0x0514 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xfd3abf97 00000138: EQ 00000139: PUSH2 0x053b 0000013c: JUMPI 0000013d: JUMPDEST 0000013e: PUSH2 0x0147 00000141: PUSH1 0x00 00000143: PUSH2 0x0565 00000146: JUMP 00000147: JUMPDEST 00000148: POP 00000149: STOP 0000014a: JUMPDEST 0000014b: CALLVALUE 0000014c: DUP1 0000014d: ISZERO 0000014e: PUSH2 0x0156 00000151: JUMPI 00000152: PUSH1 0x00 00000154: DUP1 00000155: REVERT 00000156: JUMPDEST 00000157: POP 00000158: PUSH2 0x016b 0000015b: PUSH1 0x01 0000015d: PUSH1 0xa0 0000015f: PUSH1 0x02 00000161: EXP 00000162: SUB 00000163: PUSH1 0x04 00000165: CALLDATALOAD 00000166: AND 00000167: PUSH2 0x0d5b 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH1 0x40 0000016e: DUP1 0000016f: MLOAD 00000170: PUSH4 0xffffffff 00000175: SWAP1 00000176: SWAP10 00000177: AND 00000178: DUP10 00000179: MSTORE 0000017a: PUSH1 0x20 0000017c: DUP10 0000017d: ADD 0000017e: SWAP8 0000017f: SWAP1 00000180: SWAP8 00000181: MSTORE 00000182: DUP8 00000183: DUP8 00000184: ADD 00000185: SWAP6 00000186: SWAP1 00000187: SWAP6 00000188: MSTORE 00000189: PUSH1 0x60 0000018b: DUP8 0000018c: ADD 0000018d: SWAP4 0000018e: SWAP1 0000018f: SWAP4 00000190: MSTORE 00000191: PUSH1 0x80 00000193: DUP7 00000194: ADD 00000195: SWAP2 00000196: SWAP1 00000197: SWAP2 00000198: MSTORE 00000199: PUSH1 0xa0 0000019b: DUP6 0000019c: ADD 0000019d: MSTORE 0000019e: PUSH1 0xc0 000001a0: DUP5 000001a1: ADD 000001a2: MSTORE 000001a3: PUSH1 0xe0 000001a5: DUP4 000001a6: ADD 000001a7: MSTORE 000001a8: MLOAD 000001a9: SWAP1 000001aa: DUP2 000001ab: SWAP1 000001ac: SUB 000001ad: PUSH2 0x0100 000001b0: ADD 000001b1: SWAP1 000001b2: RETURN 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH2 0x01d7 000001c4: PUSH1 0x01 000001c6: PUSH1 0xa0 000001c8: PUSH1 0x02 000001ca: EXP 000001cb: SUB 000001cc: PUSH1 0x04 000001ce: CALLDATALOAD 000001cf: AND 000001d0: PUSH1 0x24 000001d2: CALLDATALOAD 000001d3: PUSH2 0x0dbd 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH1 0x40 000001da: DUP1 000001db: MLOAD 000001dc: SWAP2 000001dd: ISZERO 000001de: ISZERO 000001df: DUP3 000001e0: MSTORE 000001e1: MLOAD 000001e2: SWAP1 000001e3: DUP2 000001e4: SWAP1 000001e5: SUB 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: SWAP1 000001ea: RETURN 000001eb: JUMPDEST 000001ec: CALLVALUE 000001ed: DUP1 000001ee: ISZERO 000001ef: PUSH2 0x01f7 000001f2: JUMPI 000001f3: PUSH1 0x00 000001f5: DUP1 000001f6: REVERT 000001f7: JUMPDEST 000001f8: POP 000001f9: PUSH2 0x0200 000001fc: PUSH2 0x0e24 000001ff: JUMP 00000200: JUMPDEST 00000201: PUSH1 0x40 00000203: DUP1 00000204: MLOAD 00000205: SWAP2 00000206: DUP3 00000207: MSTORE 00000208: MLOAD 00000209: SWAP1 0000020a: DUP2 0000020b: SWAP1 0000020c: SUB 0000020d: PUSH1 0x20 0000020f: ADD 00000210: SWAP1 00000211: RETURN 00000212: JUMPDEST 00000213: CALLVALUE 00000214: DUP1 00000215: ISZERO 00000216: PUSH2 0x021e 00000219: JUMPI 0000021a: PUSH1 0x00 0000021c: DUP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: POP 00000220: PUSH2 0x0233 00000223: PUSH1 0x01 00000225: PUSH1 0xa0 00000227: PUSH1 0x02 00000229: EXP 0000022a: SUB 0000022b: PUSH1 0x04 0000022d: CALLDATALOAD 0000022e: AND 0000022f: PUSH2 0x0e2a 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH1 0x40 00000236: DUP1 00000237: MLOAD 00000238: PUSH4 0xffffffff 0000023d: SWAP1 0000023e: SWAP3 0000023f: AND 00000240: DUP3 00000241: MSTORE 00000242: MLOAD 00000243: SWAP1 00000244: DUP2 00000245: SWAP1 00000246: SUB 00000247: PUSH1 0x20 00000249: ADD 0000024a: SWAP1 0000024b: RETURN 0000024c: JUMPDEST 0000024d: CALLVALUE 0000024e: DUP1 0000024f: ISZERO 00000250: PUSH2 0x0258 00000253: JUMPI 00000254: PUSH1 0x00 00000256: DUP1 00000257: REVERT 00000258: JUMPDEST 00000259: POP 0000025a: PUSH2 0x0200 0000025d: PUSH2 0x0e4b 00000260: JUMP 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH2 0x01d7 00000272: PUSH1 0x01 00000274: PUSH1 0xa0 00000276: PUSH1 0x02 00000278: EXP 00000279: SUB 0000027a: PUSH1 0x04 0000027c: CALLDATALOAD 0000027d: AND 0000027e: PUSH1 0x24 00000280: CALLDATALOAD 00000281: PUSH2 0x0e51 00000284: JUMP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH2 0x01d7 00000296: PUSH1 0x01 00000298: PUSH1 0xa0 0000029a: PUSH1 0x02 0000029c: EXP 0000029d: SUB 0000029e: PUSH1 0x04 000002a0: CALLDATALOAD 000002a1: DUP2 000002a2: AND 000002a3: SWAP1 000002a4: PUSH1 0x24 000002a6: CALLDATALOAD 000002a7: AND 000002a8: PUSH1 0x44 000002aa: CALLDATALOAD 000002ab: PUSH2 0x1008 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH2 0x01d7 000002c0: PUSH1 0x04 000002c2: CALLDATALOAD 000002c3: PUSH2 0x117f 000002c6: JUMP 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: DUP1 000002ca: ISZERO 000002cb: PUSH2 0x02d3 000002ce: JUMPI 000002cf: PUSH1 0x00 000002d1: DUP1 000002d2: REVERT 000002d3: JUMPDEST 000002d4: POP 000002d5: PUSH2 0x0200 000002d8: PUSH2 0x1328 000002db: JUMP 000002dc: JUMPDEST 000002dd: CALLVALUE 000002de: DUP1 000002df: ISZERO 000002e0: PUSH2 0x02e8 000002e3: JUMPI 000002e4: PUSH1 0x00 000002e6: DUP1 000002e7: REVERT 000002e8: JUMPDEST 000002e9: POP 000002ea: PUSH2 0x02f1 000002ed: PUSH2 0x132e 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH1 0x40 000002f4: DUP1 000002f5: MLOAD 000002f6: PUSH1 0xff 000002f8: SWAP1 000002f9: SWAP3 000002fa: AND 000002fb: DUP3 000002fc: MSTORE 000002fd: MLOAD 000002fe: SWAP1 000002ff: DUP2 00000300: SWAP1 00000301: SUB 00000302: PUSH1 0x20 00000304: ADD 00000305: SWAP1 00000306: RETURN 00000307: JUMPDEST 00000308: CALLVALUE 00000309: DUP1 0000030a: ISZERO 0000030b: PUSH2 0x0313 0000030e: JUMPI 0000030f: PUSH1 0x00 00000311: DUP1 00000312: REVERT 00000313: JUMPDEST 00000314: POP 00000315: PUSH2 0x01d7 00000318: PUSH1 0x01 0000031a: PUSH1 0xa0 0000031c: PUSH1 0x02 0000031e: EXP 0000031f: SUB 00000320: PUSH1 0x04 00000322: CALLDATALOAD 00000323: AND 00000324: PUSH1 0x24 00000326: CALLDATALOAD 00000327: PUSH2 0x1337 0000032a: JUMP 0000032b: JUMPDEST 0000032c: PUSH2 0x01d7 0000032f: PUSH1 0x01 00000331: PUSH1 0xa0 00000333: PUSH1 0x02 00000335: EXP 00000336: SUB 00000337: PUSH1 0x04 00000339: CALLDATALOAD 0000033a: AND 0000033b: PUSH2 0x0565 0000033e: JUMP 0000033f: JUMPDEST 00000340: CALLVALUE 00000341: DUP1 00000342: ISZERO 00000343: PUSH2 0x034b 00000346: JUMPI 00000347: PUSH1 0x00 00000349: DUP1 0000034a: REVERT 0000034b: JUMPDEST 0000034c: POP 0000034d: PUSH2 0x0200 00000350: PUSH1 0x01 00000352: PUSH1 0xa0 00000354: PUSH1 0x02 00000356: EXP 00000357: SUB 00000358: PUSH1 0x04 0000035a: CALLDATALOAD 0000035b: AND 0000035c: PUSH2 0x1427 0000035f: JUMP 00000360: JUMPDEST 00000361: CALLVALUE 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: POP 0000036e: PUSH2 0x0375 00000371: PUSH2 0x1442 00000374: JUMP 00000375: JUMPDEST 00000376: PUSH1 0x40 00000378: DUP1 00000379: MLOAD 0000037a: PUSH1 0x01 0000037c: PUSH1 0xa0 0000037e: PUSH1 0x02 00000380: EXP 00000381: SUB 00000382: SWAP1 00000383: SWAP3 00000384: AND 00000385: DUP3 00000386: MSTORE 00000387: MLOAD 00000388: SWAP1 00000389: DUP2 0000038a: SWAP1 0000038b: SUB 0000038c: PUSH1 0x20 0000038e: ADD 0000038f: SWAP1 00000390: RETURN 00000391: JUMPDEST 00000392: PUSH2 0x01d7 00000395: PUSH2 0x1451 00000398: JUMP 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: DUP1 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: POP 000003a7: PUSH2 0x01d7 000003aa: PUSH1 0x01 000003ac: PUSH1 0xa0 000003ae: PUSH1 0x02 000003b0: EXP 000003b1: SUB 000003b2: PUSH1 0x04 000003b4: CALLDATALOAD 000003b5: AND 000003b6: PUSH1 0x24 000003b8: CALLDATALOAD 000003b9: PUSH2 0x1462 000003bc: JUMP 000003bd: JUMPDEST 000003be: CALLVALUE 000003bf: DUP1 000003c0: ISZERO 000003c1: PUSH2 0x03c9 000003c4: JUMPI 000003c5: PUSH1 0x00 000003c7: DUP1 000003c8: REVERT 000003c9: JUMPDEST 000003ca: POP 000003cb: PUSH2 0x03d2 000003ce: PUSH2 0x1543 000003d1: JUMP 000003d2: JUMPDEST 000003d3: PUSH1 0x40 000003d5: DUP1 000003d6: MLOAD 000003d7: PUSH1 0x20 000003d9: DUP1 000003da: DUP3 000003db: MSTORE 000003dc: DUP4 000003dd: MLOAD 000003de: DUP2 000003df: DUP4 000003e0: ADD 000003e1: MSTORE 000003e2: DUP4 000003e3: MLOAD 000003e4: SWAP2 000003e5: SWAP3 000003e6: DUP4 000003e7: SWAP3 000003e8: SWAP1 000003e9: DUP4 000003ea: ADD 000003eb: SWAP2 000003ec: DUP6 000003ed: ADD 000003ee: SWAP1 000003ef: DUP1 000003f0: DUP4 000003f1: DUP4 000003f2: PUSH1 0x00 000003f4: JUMPDEST 000003f5: DUP4 000003f6: DUP2 000003f7: LT 000003f8: ISZERO 000003f9: PUSH2 0x040c 000003fc: JUMPI 000003fd: DUP2 000003fe: DUP2 000003ff: ADD 00000400: MLOAD 00000401: DUP4 00000402: DUP3 00000403: ADD 00000404: MSTORE 00000405: PUSH1 0x20 00000407: ADD 00000408: PUSH2 0x03f4 0000040b: JUMP 0000040c: JUMPDEST 0000040d: POP 0000040e: POP 0000040f: POP 00000410: POP 00000411: SWAP1 00000412: POP 00000413: SWAP1 00000414: DUP2 00000415: ADD 00000416: SWAP1 00000417: PUSH1 0x1f 00000419: AND 0000041a: DUP1 0000041b: ISZERO 0000041c: PUSH2 0x0439 0000041f: JUMPI 00000420: DUP1 00000421: DUP3 00000422: SUB 00000423: DUP1 00000424: MLOAD 00000425: PUSH1 0x01 00000427: DUP4 00000428: PUSH1 0x20 0000042a: SUB 0000042b: PUSH2 0x0100 0000042e: EXP 0000042f: SUB 00000430: NOT 00000431: AND 00000432: DUP2 00000433: MSTORE 00000434: PUSH1 0x20 00000436: ADD 00000437: SWAP2 00000438: POP 00000439: JUMPDEST 0000043a: POP 0000043b: SWAP3 0000043c: POP 0000043d: POP 0000043e: POP 0000043f: PUSH1 0x40 00000441: MLOAD 00000442: DUP1 00000443: SWAP2 00000444: SUB 00000445: SWAP1 00000446: RETURN 00000447: JUMPDEST 00000448: CALLVALUE 00000449: DUP1 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH1 0x00 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: POP 00000455: PUSH2 0x0375 00000458: PUSH1 0x01 0000045a: PUSH1 0xa0 0000045c: PUSH1 0x02 0000045e: EXP 0000045f: SUB 00000460: PUSH1 0x04 00000462: CALLDATALOAD 00000463: AND 00000464: PUSH2 0x15d1 00000467: JUMP 00000468: JUMPDEST 00000469: CALLVALUE 0000046a: DUP1 0000046b: ISZERO 0000046c: PUSH2 0x0474 0000046f: JUMPI 00000470: PUSH1 0x00 00000472: DUP1 00000473: REVERT 00000474: JUMPDEST 00000475: POP 00000476: PUSH2 0x03d2 00000479: PUSH2 0x15ef 0000047c: JUMP 0000047d: JUMPDEST 0000047e: CALLVALUE 0000047f: DUP1 00000480: ISZERO 00000481: PUSH2 0x0489 00000484: JUMPI 00000485: PUSH1 0x00 00000487: DUP1 00000488: REVERT 00000489: JUMPDEST 0000048a: POP 0000048b: PUSH2 0x01d7 0000048e: PUSH1 0x01 00000490: PUSH1 0xa0 00000492: PUSH1 0x02 00000494: EXP 00000495: SUB 00000496: PUSH1 0x04 00000498: CALLDATALOAD 00000499: AND 0000049a: PUSH1 0x24 0000049c: CALLDATALOAD 0000049d: PUSH2 0x164a 000004a0: JUMP 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: DUP1 000004a4: ISZERO 000004a5: PUSH2 0x04ad 000004a8: JUMPI 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: REVERT 000004ad: JUMPDEST 000004ae: POP 000004af: PUSH2 0x04cb 000004b2: PUSH1 0x01 000004b4: PUSH1 0xa0 000004b6: PUSH1 0x02 000004b8: EXP 000004b9: SUB 000004ba: PUSH1 0x04 000004bc: CALLDATALOAD 000004bd: AND 000004be: PUSH4 0xffffffff 000004c3: PUSH1 0x24 000004c5: CALLDATALOAD 000004c6: AND 000004c7: PUSH2 0x16e3 000004ca: JUMP 000004cb: JUMPDEST 000004cc: PUSH1 0x40 000004ce: DUP1 000004cf: MLOAD 000004d0: PUSH1 0x01 000004d2: PUSH1 0xa0 000004d4: PUSH1 0x02 000004d6: EXP 000004d7: SUB 000004d8: SWAP1 000004d9: SWAP5 000004da: AND 000004db: DUP5 000004dc: MSTORE 000004dd: PUSH1 0x20 000004df: DUP5 000004e0: ADD 000004e1: SWAP3 000004e2: SWAP1 000004e3: SWAP3 000004e4: MSTORE 000004e5: DUP3 000004e6: DUP3 000004e7: ADD 000004e8: MSTORE 000004e9: MLOAD 000004ea: SWAP1 000004eb: DUP2 000004ec: SWAP1 000004ed: SUB 000004ee: PUSH1 0x60 000004f0: ADD 000004f1: SWAP1 000004f2: RETURN 000004f3: JUMPDEST 000004f4: CALLVALUE 000004f5: DUP1 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: POP 00000501: PUSH2 0x0233 00000504: PUSH1 0x01 00000506: PUSH1 0xa0 00000508: PUSH1 0x02 0000050a: EXP 0000050b: SUB 0000050c: PUSH1 0x04 0000050e: CALLDATALOAD 0000050f: AND 00000510: PUSH2 0x175c 00000513: JUMP 00000514: JUMPDEST 00000515: CALLVALUE 00000516: DUP1 00000517: ISZERO 00000518: PUSH2 0x0520 0000051b: JUMPI 0000051c: PUSH1 0x00 0000051e: DUP1 0000051f: REVERT 00000520: JUMPDEST 00000521: POP 00000522: PUSH2 0x0200 00000525: PUSH1 0x01 00000527: PUSH1 0xa0 00000529: PUSH1 0x02 0000052b: EXP 0000052c: SUB 0000052d: PUSH1 0x04 0000052f: CALLDATALOAD 00000530: DUP2 00000531: AND 00000532: SWAP1 00000533: PUSH1 0x24 00000535: CALLDATALOAD 00000536: AND 00000537: PUSH2 0x1785 0000053a: JUMP 0000053b: JUMPDEST 0000053c: CALLVALUE 0000053d: DUP1 0000053e: ISZERO 0000053f: PUSH2 0x0547 00000542: JUMPI 00000543: PUSH1 0x00 00000545: DUP1 00000546: REVERT 00000547: JUMPDEST 00000548: POP 00000549: PUSH2 0x0375 0000054c: PUSH1 0x01 0000054e: PUSH1 0xa0 00000550: PUSH1 0x02 00000552: EXP 00000553: SUB 00000554: PUSH1 0x04 00000556: CALLDATALOAD 00000557: AND 00000558: PUSH4 0xffffffff 0000055d: PUSH1 0x24 0000055f: CALLDATALOAD 00000560: AND 00000561: PUSH2 0x17b0 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x00 00000568: DUP1 00000569: DUP1 0000056a: DUP1 0000056b: DUP1 0000056c: DUP1 0000056d: PUSH8 0x06f05b59d3b20000 00000576: CALLVALUE 00000577: LT 00000578: ISZERO 00000579: PUSH2 0x0581 0000057c: JUMPI 0000057d: PUSH1 0x00 0000057f: DUP1 00000580: REVERT 00000581: JUMPDEST 00000582: PUSH1 0x01 00000584: PUSH1 0xa0 00000586: PUSH1 0x02 00000588: EXP 00000589: SUB 0000058a: DUP8 0000058b: AND 0000058c: CALLER 0000058d: EQ 0000058e: ISZERO 0000058f: PUSH2 0x0597 00000592: JUMPI 00000593: PUSH1 0x00 00000595: SWAP7 00000596: POP 00000597: JUMPDEST 00000598: ADDRESS 00000599: PUSH1 0x00 0000059b: SWAP1 0000059c: DUP2 0000059d: MSTORE 0000059e: PUSH1 0x20 000005a0: DUP2 000005a1: SWAP1 000005a2: MSTORE 000005a3: PUSH1 0x40 000005a5: SWAP1 000005a6: KECCAK256 000005a7: SLOAD 000005a8: CALLVALUE 000005a9: PUSH2 0x03e8 000005ac: MUL 000005ad: SWAP6 000005ae: POP 000005af: DUP6 000005b0: GT 000005b1: ISZERO 000005b2: PUSH2 0x05ba 000005b5: JUMPI 000005b6: PUSH1 0x00 000005b8: DUP1 000005b9: REVERT 000005ba: JUMPDEST 000005bb: ADDRESS 000005bc: PUSH1 0x00 000005be: SWAP1 000005bf: DUP2 000005c0: MSTORE 000005c1: PUSH1 0x20 000005c3: DUP2 000005c4: SWAP1 000005c5: MSTORE 000005c6: PUSH1 0x40 000005c8: SWAP1 000005c9: KECCAK256 000005ca: SLOAD 000005cb: PUSH2 0x05da 000005ce: SWAP1 000005cf: DUP7 000005d0: PUSH4 0xffffffff 000005d5: PUSH2 0x181b 000005d8: AND 000005d9: JUMP 000005da: JUMPDEST 000005db: ADDRESS 000005dc: PUSH1 0x00 000005de: SWAP1 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x20 000005e3: DUP2 000005e4: SWAP1 000005e5: MSTORE 000005e6: PUSH1 0x40 000005e8: DUP1 000005e9: DUP3 000005ea: KECCAK256 000005eb: SWAP3 000005ec: SWAP1 000005ed: SWAP3 000005ee: SSTORE 000005ef: CALLER 000005f0: DUP2 000005f1: MSTORE 000005f2: KECCAK256 000005f3: SLOAD 000005f4: PUSH2 0x0603 000005f7: SWAP1 000005f8: DUP7 000005f9: PUSH4 0xffffffff 000005fe: PUSH2 0x182d 00000601: AND 00000602: JUMP 00000603: JUMPDEST 00000604: CALLER 00000605: PUSH1 0x00 00000607: SWAP1 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x20 0000060c: DUP2 0000060d: DUP2 0000060e: MSTORE 0000060f: PUSH1 0x40 00000611: DUP1 00000612: DUP4 00000613: KECCAK256 00000614: SWAP4 00000615: SWAP1 00000616: SWAP4 00000617: SSTORE 00000618: PUSH1 0x09 0000061a: SWAP1 0000061b: MSTORE 0000061c: SWAP1 0000061d: DUP2 0000061e: KECCAK256 0000061f: SLOAD 00000620: SWAP1 00000621: SWAP5 00000622: POP 00000623: PUSH1 0x01 00000625: PUSH1 0xa0 00000627: PUSH1 0x02 00000629: EXP 0000062a: SUB 0000062b: AND 0000062c: SWAP3 0000062d: POP 0000062e: DUP3 0000062f: ISZERO 00000630: PUSH2 0x067a 00000633: JUMPI 00000634: CALLER 00000635: PUSH1 0x00 00000637: SWAP1 00000638: DUP2 00000639: MSTORE 0000063a: PUSH1 0x08 0000063c: PUSH1 0x20 0000063e: MSTORE 0000063f: PUSH1 0x40 00000641: SWAP1 00000642: KECCAK256 00000643: PUSH1 0x01 00000645: ADD 00000646: SLOAD 00000647: PUSH2 0x0656 0000064a: SWAP1 0000064b: CALLVALUE 0000064c: PUSH4 0xffffffff 00000651: PUSH2 0x182d 00000654: AND 00000655: JUMP 00000656: JUMPDEST 00000657: CALLER 00000658: PUSH1 0x00 0000065a: SWAP1 0000065b: DUP2 0000065c: MSTORE 0000065d: PUSH1 0x08 0000065f: PUSH1 0x20 00000661: MSTORE 00000662: PUSH1 0x40 00000664: SWAP1 00000665: KECCAK256 00000666: PUSH1 0x01 00000668: ADD 00000669: SSTORE 0000066a: PUSH2 0x0673 0000066d: DUP4 0000066e: CALLVALUE 0000066f: PUSH2 0x183a 00000672: JUMP 00000673: JUMPDEST 00000674: SWAP4 00000675: POP 00000676: PUSH2 0x0b8d 00000679: JUMP 0000067a: JUMPDEST 0000067b: CALLER 0000067c: PUSH1 0x00 0000067e: SWAP1 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x08 00000683: PUSH1 0x20 00000685: MSTORE 00000686: PUSH1 0x40 00000688: DUP2 00000689: KECCAK256 0000068a: PUSH1 0x01 0000068c: ADD 0000068d: SLOAD 0000068e: GT 0000068f: ISZERO 00000690: PUSH2 0x07b0 00000693: JUMPI 00000694: PUSH1 0x01 00000696: PUSH1 0xa0 00000698: PUSH1 0x02 0000069a: EXP 0000069b: SUB 0000069c: DUP8 0000069d: AND 0000069e: ISZERO 0000069f: DUP1 000006a0: ISZERO 000006a1: SWAP1 000006a2: PUSH2 0x06c4 000006a5: JUMPI 000006a6: POP 000006a7: PUSH1 0x01 000006a9: PUSH1 0xa0 000006ab: PUSH1 0x02 000006ad: EXP 000006ae: SUB 000006af: DUP8 000006b0: AND 000006b1: PUSH1 0x00 000006b3: SWAP1 000006b4: DUP2 000006b5: MSTORE 000006b6: PUSH1 0x08 000006b8: PUSH1 0x20 000006ba: MSTORE 000006bb: PUSH1 0x40 000006bd: DUP2 000006be: KECCAK256 000006bf: PUSH1 0x01 000006c1: ADD 000006c2: SLOAD 000006c3: GT 000006c4: JUMPDEST 000006c5: ISZERO 000006c6: PUSH2 0x0775 000006c9: JUMPI 000006ca: CALLER 000006cb: PUSH1 0x00 000006cd: DUP2 000006ce: DUP2 000006cf: MSTORE 000006d0: PUSH1 0x09 000006d2: PUSH1 0x20 000006d4: SWAP1 000006d5: DUP2 000006d6: MSTORE 000006d7: PUSH1 0x40 000006d9: DUP1 000006da: DUP4 000006db: KECCAK256 000006dc: DUP1 000006dd: SLOAD 000006de: PUSH1 0x01 000006e0: PUSH1 0xa0 000006e2: PUSH1 0x02 000006e4: EXP 000006e5: SUB 000006e6: DUP14 000006e7: AND 000006e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fd: NOT 000006fe: SWAP2 000006ff: DUP3 00000700: AND 00000701: DUP2 00000702: OR 00000703: SWAP1 00000704: SWAP3 00000705: SSTORE 00000706: SWAP1 00000707: DUP5 00000708: MSTORE 00000709: PUSH1 0x08 0000070b: DUP1 0000070c: DUP5 0000070d: MSTORE 0000070e: DUP3 0000070f: DUP6 00000710: KECCAK256 00000711: DUP1 00000712: SLOAD 00000713: PUSH4 0xffffffff 00000718: PUSH5 0x0100000000 0000071e: DUP1 0000071f: DUP4 00000720: DIV 00000721: DUP3 00000722: AND 00000723: PUSH1 0x01 00000725: DUP2 00000726: ADD 00000727: DUP4 00000728: AND 00000729: SWAP1 0000072a: SWAP2 0000072b: MUL 0000072c: PUSH8 0xffffffff00000000 00000735: NOT 00000736: SWAP1 00000737: SWAP4 00000738: AND 00000739: SWAP3 0000073a: SWAP1 0000073b: SWAP3 0000073c: OR 0000073d: DUP4 0000073e: SSTORE 0000073f: DUP9 00000740: DUP9 00000741: MSTORE 00000742: DUP6 00000743: DUP9 00000744: KECCAK256 00000745: DUP1 00000746: SLOAD 00000747: PUSH4 0xffffffff 0000074c: NOT 0000074d: AND 0000074e: SWAP1 0000074f: SWAP3 00000750: OR 00000751: SWAP2 00000752: DUP3 00000753: SWAP1 00000754: SSTORE 00000755: AND 00000756: DUP7 00000757: MSTORE 00000758: ADD 00000759: SWAP1 0000075a: SWAP3 0000075b: MSTORE 0000075c: SWAP1 0000075d: SWAP2 0000075e: KECCAK256 0000075f: DUP1 00000760: SLOAD 00000761: SWAP1 00000762: SWAP2 00000763: AND 00000764: SWAP1 00000765: SWAP2 00000766: OR 00000767: SWAP1 00000768: SSTORE 00000769: PUSH2 0x0772 0000076c: DUP8 0000076d: CALLVALUE 0000076e: PUSH2 0x183a 00000771: JUMP 00000772: JUMPDEST 00000773: SWAP4 00000774: POP 00000775: JUMPDEST 00000776: CALLER 00000777: PUSH1 0x00 00000779: SWAP1 0000077a: DUP2 0000077b: MSTORE 0000077c: PUSH1 0x08 0000077e: PUSH1 0x20 00000780: MSTORE 00000781: PUSH1 0x40 00000783: SWAP1 00000784: KECCAK256 00000785: PUSH1 0x01 00000787: ADD 00000788: SLOAD 00000789: PUSH2 0x0798 0000078c: SWAP1 0000078d: CALLVALUE 0000078e: PUSH4 0xffffffff 00000793: PUSH2 0x182d 00000796: AND 00000797: JUMP 00000798: JUMPDEST 00000799: CALLER 0000079a: PUSH1 0x00 0000079c: SWAP1 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH1 0x08 000007a1: PUSH1 0x20 000007a3: MSTORE 000007a4: PUSH1 0x40 000007a6: SWAP1 000007a7: KECCAK256 000007a8: PUSH1 0x01 000007aa: ADD 000007ab: SSTORE 000007ac: PUSH2 0x0b8d 000007af: JUMP 000007b0: JUMPDEST 000007b1: PUSH1 0x01 000007b3: PUSH1 0xa0 000007b5: PUSH1 0x02 000007b7: EXP 000007b8: SUB 000007b9: DUP8 000007ba: AND 000007bb: ISZERO 000007bc: DUP1 000007bd: ISZERO 000007be: SWAP1 000007bf: PUSH2 0x07e1 000007c2: JUMPI 000007c3: POP 000007c4: PUSH1 0x01 000007c6: PUSH1 0xa0 000007c8: PUSH1 0x02 000007ca: EXP 000007cb: SUB 000007cc: DUP8 000007cd: AND 000007ce: PUSH1 0x00 000007d0: SWAP1 000007d1: DUP2 000007d2: MSTORE 000007d3: PUSH1 0x08 000007d5: PUSH1 0x20 000007d7: MSTORE 000007d8: PUSH1 0x40 000007da: DUP2 000007db: KECCAK256 000007dc: PUSH1 0x01 000007de: ADD 000007df: SLOAD 000007e0: GT 000007e1: JUMPDEST 000007e2: ISZERO 000007e3: PUSH2 0x0a89 000007e6: JUMPI 000007e7: PUSH2 0x0140 000007ea: PUSH1 0x40 000007ec: MLOAD 000007ed: SWAP1 000007ee: DUP2 000007ef: ADD 000007f0: PUSH1 0x40 000007f2: MSTORE 000007f3: DUP1 000007f4: PUSH1 0x08 000007f6: PUSH1 0x00 000007f8: DUP11 000007f9: PUSH1 0x01 000007fb: PUSH1 0xa0 000007fd: PUSH1 0x02 000007ff: EXP 00000800: SUB 00000801: AND 00000802: PUSH1 0x01 00000804: PUSH1 0xa0 00000806: PUSH1 0x02 00000808: EXP 00000809: SUB 0000080a: AND 0000080b: DUP2 0000080c: MSTORE 0000080d: PUSH1 0x20 0000080f: ADD 00000810: SWAP1 00000811: DUP2 00000812: MSTORE 00000813: PUSH1 0x20 00000815: ADD 00000816: PUSH1 0x00 00000818: KECCAK256 00000819: PUSH1 0x00 0000081b: ADD 0000081c: PUSH1 0x04 0000081e: DUP2 0000081f: DUP2 00000820: SWAP1 00000821: SLOAD 00000822: SWAP1 00000823: PUSH2 0x0100 00000826: EXP 00000827: SWAP1 00000828: DIV 00000829: PUSH4 0xffffffff 0000082e: AND 0000082f: DUP1 00000830: SWAP3 00000831: SWAP2 00000832: SWAP1 00000833: PUSH1 0x01 00000835: ADD 00000836: SWAP2 00000837: SWAP1 00000838: PUSH2 0x0100 0000083b: EXP 0000083c: DUP2 0000083d: SLOAD 0000083e: DUP2 0000083f: PUSH4 0xffffffff 00000844: MUL 00000845: NOT 00000846: AND 00000847: SWAP1 00000848: DUP4 00000849: PUSH4 0xffffffff 0000084e: AND 0000084f: MUL 00000850: OR 00000851: SWAP1 00000852: SSTORE 00000853: POP 00000854: PUSH4 0xffffffff 00000859: AND 0000085a: DUP2 0000085b: MSTORE 0000085c: PUSH1 0x20 0000085e: ADD 0000085f: PUSH1 0x00 00000861: PUSH4 0xffffffff 00000866: AND 00000867: DUP2 00000868: MSTORE 00000869: PUSH1 0x20 0000086b: ADD 0000086c: DUP9 0000086d: PUSH1 0x01 0000086f: PUSH1 0xa0 00000871: PUSH1 0x02 00000873: EXP 00000874: SUB 00000875: AND 00000876: DUP2 00000877: MSTORE 00000878: PUSH1 0x20 0000087a: ADD 0000087b: CALLVALUE 0000087c: DUP2 0000087d: MSTORE 0000087e: PUSH1 0x20 00000880: ADD 00000881: PUSH1 0x00 00000883: DUP2 00000884: MSTORE 00000885: PUSH1 0x20 00000887: ADD 00000888: PUSH1 0x00 0000088a: DUP2 0000088b: MSTORE 0000088c: PUSH1 0x20 0000088e: ADD 0000088f: PUSH1 0x00 00000891: DUP2 00000892: MSTORE 00000893: PUSH1 0x20 00000895: ADD 00000896: PUSH1 0x00 00000898: DUP2 00000899: MSTORE 0000089a: PUSH1 0x20 0000089c: ADD 0000089d: PUSH1 0x00 0000089f: DUP2 000008a0: MSTORE 000008a1: PUSH1 0x20 000008a3: ADD 000008a4: PUSH1 0x00 000008a6: DUP2 000008a7: MSTORE 000008a8: POP 000008a9: PUSH1 0x08 000008ab: PUSH1 0x00 000008ad: CALLER 000008ae: PUSH1 0x01 000008b0: PUSH1 0xa0 000008b2: PUSH1 0x02 000008b4: EXP 000008b5: SUB 000008b6: AND 000008b7: PUSH1 0x01 000008b9: PUSH1 0xa0 000008bb: PUSH1 0x02 000008bd: EXP 000008be: SUB 000008bf: AND 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x20 000008c4: ADD 000008c5: SWAP1 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: ADD 000008cb: PUSH1 0x00 000008cd: KECCAK256 000008ce: PUSH1 0x00 000008d0: DUP3 000008d1: ADD 000008d2: MLOAD 000008d3: DUP2 000008d4: PUSH1 0x00 000008d6: ADD 000008d7: PUSH1 0x00 000008d9: PUSH2 0x0100 000008dc: EXP 000008dd: DUP2 000008de: SLOAD 000008df: DUP2 000008e0: PUSH4 0xffffffff 000008e5: MUL 000008e6: NOT 000008e7: AND 000008e8: SWAP1 000008e9: DUP4 000008ea: PUSH4 0xffffffff 000008ef: AND 000008f0: MUL 000008f1: OR 000008f2: SWAP1 000008f3: SSTORE 000008f4: POP 000008f5: PUSH1 0x20 000008f7: DUP3 000008f8: ADD 000008f9: MLOAD 000008fa: DUP2 000008fb: PUSH1 0x00 000008fd: ADD 000008fe: PUSH1 0x04 00000900: PUSH2 0x0100 00000903: EXP 00000904: DUP2 00000905: SLOAD 00000906: DUP2 00000907: PUSH4 0xffffffff 0000090c: MUL 0000090d: NOT 0000090e: AND 0000090f: SWAP1 00000910: DUP4 00000911: PUSH4 0xffffffff 00000916: AND 00000917: MUL 00000918: OR 00000919: SWAP1 0000091a: SSTORE 0000091b: POP 0000091c: PUSH1 0x40 0000091e: DUP3 0000091f: ADD 00000920: MLOAD 00000921: DUP2 00000922: PUSH1 0x00 00000924: ADD 00000925: PUSH1 0x08 00000927: PUSH2 0x0100 0000092a: EXP 0000092b: DUP2 0000092c: SLOAD 0000092d: DUP2 0000092e: PUSH1 0x01 00000930: PUSH1 0xa0 00000932: PUSH1 0x02 00000934: EXP 00000935: SUB 00000936: MUL 00000937: NOT 00000938: AND 00000939: SWAP1 0000093a: DUP4 0000093b: PUSH1 0x01 0000093d: PUSH1 0xa0 0000093f: PUSH1 0x02 00000941: EXP 00000942: SUB 00000943: AND 00000944: MUL 00000945: OR 00000946: SWAP1 00000947: SSTORE 00000948: POP 00000949: PUSH1 0x60 0000094b: DUP3 0000094c: ADD 0000094d: MLOAD 0000094e: DUP2 0000094f: PUSH1 0x01 00000951: ADD 00000952: SSTORE 00000953: PUSH1 0x80 00000955: DUP3 00000956: ADD 00000957: MLOAD 00000958: DUP2 00000959: PUSH1 0x02 0000095b: ADD 0000095c: SSTORE 0000095d: PUSH1 0xa0 0000095f: DUP3 00000960: ADD 00000961: MLOAD 00000962: DUP2 00000963: PUSH1 0x03 00000965: ADD 00000966: SSTORE 00000967: PUSH1 0xc0 00000969: DUP3 0000096a: ADD 0000096b: MLOAD 0000096c: DUP2 0000096d: PUSH1 0x04 0000096f: ADD 00000970: SSTORE 00000971: PUSH1 0xe0 00000973: DUP3 00000974: ADD 00000975: MLOAD 00000976: DUP2 00000977: PUSH1 0x05 00000979: ADD 0000097a: SSTORE 0000097b: PUSH2 0x0100 0000097e: DUP3 0000097f: ADD 00000980: MLOAD 00000981: DUP2 00000982: PUSH1 0x06 00000984: ADD 00000985: SSTORE 00000986: PUSH2 0x0120 00000989: DUP3 0000098a: ADD 0000098b: MLOAD 0000098c: DUP2 0000098d: PUSH1 0x07 0000098f: ADD 00000990: SSTORE 00000991: SWAP1 00000992: POP 00000993: POP 00000994: DUP7 00000995: PUSH1 0x09 00000997: PUSH1 0x00 00000999: CALLER 0000099a: PUSH1 0x01 0000099c: PUSH1 0xa0 0000099e: PUSH1 0x02 000009a0: EXP 000009a1: SUB 000009a2: AND 000009a3: PUSH1 0x01 000009a5: PUSH1 0xa0 000009a7: PUSH1 0x02 000009a9: EXP 000009aa: SUB 000009ab: AND 000009ac: DUP2 000009ad: MSTORE 000009ae: PUSH1 0x20 000009b0: ADD 000009b1: SWAP1 000009b2: DUP2 000009b3: MSTORE 000009b4: PUSH1 0x20 000009b6: ADD 000009b7: PUSH1 0x00 000009b9: KECCAK256 000009ba: PUSH1 0x00 000009bc: PUSH2 0x0100 000009bf: EXP 000009c0: DUP2 000009c1: SLOAD 000009c2: DUP2 000009c3: PUSH1 0x01 000009c5: PUSH1 0xa0 000009c7: PUSH1 0x02 000009c9: EXP 000009ca: SUB 000009cb: MUL 000009cc: NOT 000009cd: AND 000009ce: SWAP1 000009cf: DUP4 000009d0: PUSH1 0x01 000009d2: PUSH1 0xa0 000009d4: PUSH1 0x02 000009d6: EXP 000009d7: SUB 000009d8: AND 000009d9: MUL 000009da: OR 000009db: SWAP1 000009dc: SSTORE 000009dd: POP 000009de: CALLER 000009df: PUSH1 0x08 000009e1: PUSH1 0x00 000009e3: DUP10 000009e4: PUSH1 0x01 000009e6: PUSH1 0xa0 000009e8: PUSH1 0x02 000009ea: EXP 000009eb: SUB 000009ec: AND 000009ed: PUSH1 0x01 000009ef: PUSH1 0xa0 000009f1: PUSH1 0x02 000009f3: EXP 000009f4: SUB 000009f5: AND 000009f6: DUP2 000009f7: MSTORE 000009f8: PUSH1 0x20 000009fa: ADD 000009fb: SWAP1 000009fc: DUP2 000009fd: MSTORE 000009fe: PUSH1 0x20 00000a00: ADD 00000a01: PUSH1 0x00 00000a03: KECCAK256 00000a04: PUSH1 0x08 00000a06: ADD 00000a07: PUSH1 0x00 00000a09: PUSH1 0x08 00000a0b: PUSH1 0x00 00000a0d: CALLER 00000a0e: PUSH1 0x01 00000a10: PUSH1 0xa0 00000a12: PUSH1 0x02 00000a14: EXP 00000a15: SUB 00000a16: AND 00000a17: PUSH1 0x01 00000a19: PUSH1 0xa0 00000a1b: PUSH1 0x02 00000a1d: EXP 00000a1e: SUB 00000a1f: AND 00000a20: DUP2 00000a21: MSTORE 00000a22: PUSH1 0x20 00000a24: ADD 00000a25: SWAP1 00000a26: DUP2 00000a27: MSTORE 00000a28: PUSH1 0x20 00000a2a: ADD 00000a2b: PUSH1 0x00 00000a2d: KECCAK256 00000a2e: PUSH1 0x00 00000a30: ADD 00000a31: PUSH1 0x00 00000a33: SWAP1 00000a34: SLOAD 00000a35: SWAP1 00000a36: PUSH2 0x0100 00000a39: EXP 00000a3a: SWAP1 00000a3b: DIV 00000a3c: PUSH4 0xffffffff 00000a41: AND 00000a42: PUSH4 0xffffffff 00000a47: AND 00000a48: PUSH4 0xffffffff 00000a4d: AND 00000a4e: DUP2 00000a4f: MSTORE 00000a50: PUSH1 0x20 00000a52: ADD 00000a53: SWAP1 00000a54: DUP2 00000a55: MSTORE 00000a56: PUSH1 0x20 00000a58: ADD 00000a59: PUSH1 0x00 00000a5b: KECCAK256 00000a5c: PUSH1 0x00 00000a5e: PUSH2 0x0100 00000a61: EXP 00000a62: DUP2 00000a63: SLOAD 00000a64: DUP2 00000a65: PUSH1 0x01 00000a67: PUSH1 0xa0 00000a69: PUSH1 0x02 00000a6b: EXP 00000a6c: SUB 00000a6d: MUL 00000a6e: NOT 00000a6f: AND 00000a70: SWAP1 00000a71: DUP4 00000a72: PUSH1 0x01 00000a74: PUSH1 0xa0 00000a76: PUSH1 0x02 00000a78: EXP 00000a79: SUB 00000a7a: AND 00000a7b: MUL 00000a7c: OR 00000a7d: SWAP1 00000a7e: SSTORE 00000a7f: POP 00000a80: PUSH2 0x0673 00000a83: DUP8 00000a84: CALLVALUE 00000a85: PUSH2 0x183a 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: PUSH1 0x40 00000a8c: DUP1 00000a8d: MLOAD 00000a8e: PUSH2 0x0140 00000a91: DUP2 00000a92: ADD 00000a93: DUP3 00000a94: MSTORE 00000a95: PUSH1 0x00 00000a97: DUP1 00000a98: DUP3 00000a99: MSTORE 00000a9a: PUSH1 0x20 00000a9c: DUP1 00000a9d: DUP4 00000a9e: ADD 00000a9f: DUP3 00000aa0: DUP2 00000aa1: MSTORE 00000aa2: DUP4 00000aa3: DUP6 00000aa4: ADD 00000aa5: DUP4 00000aa6: DUP2 00000aa7: MSTORE 00000aa8: CALLVALUE 00000aa9: PUSH1 0x60 00000aab: DUP7 00000aac: ADD 00000aad: SWAP1 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x80 00000ab2: DUP7 00000ab3: ADD 00000ab4: DUP6 00000ab5: DUP2 00000ab6: MSTORE 00000ab7: PUSH1 0xa0 00000ab9: DUP8 00000aba: ADD 00000abb: DUP7 00000abc: DUP2 00000abd: MSTORE 00000abe: PUSH1 0xc0 00000ac0: DUP9 00000ac1: ADD 00000ac2: DUP8 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: PUSH1 0xe0 00000ac7: DUP10 00000ac8: ADD 00000ac9: DUP9 00000aca: DUP2 00000acb: MSTORE 00000acc: PUSH2 0x0100 00000acf: DUP11 00000ad0: ADD 00000ad1: DUP10 00000ad2: DUP2 00000ad3: MSTORE 00000ad4: PUSH2 0x0120 00000ad7: DUP12 00000ad8: ADD 00000ad9: DUP11 00000ada: DUP2 00000adb: MSTORE 00000adc: CALLER 00000add: DUP12 00000ade: MSTORE 00000adf: PUSH1 0x08 00000ae1: SWAP1 00000ae2: SWAP10 00000ae3: MSTORE 00000ae4: SWAP11 00000ae5: SWAP1 00000ae6: SWAP9 00000ae7: KECCAK256 00000ae8: SWAP9 00000ae9: MLOAD 00000aea: DUP10 00000aeb: SLOAD 00000aec: SWAP7 00000aed: MLOAD 00000aee: SWAP6 00000aef: MLOAD 00000af0: PUSH4 0xffffffff 00000af5: NOT 00000af6: SWAP1 00000af7: SWAP8 00000af8: AND 00000af9: PUSH4 0xffffffff 00000afe: SWAP2 00000aff: DUP3 00000b00: AND 00000b01: OR 00000b02: PUSH8 0xffffffff00000000 00000b0b: NOT 00000b0c: AND 00000b0d: PUSH5 0x0100000000 00000b13: SWAP2 00000b14: SWAP1 00000b15: SWAP7 00000b16: AND 00000b17: MUL 00000b18: SWAP5 00000b19: SWAP1 00000b1a: SWAP5 00000b1b: OR 00000b1c: PUSH32 0xffffffff0000000000000000000000000000000000000000ffffffffffffffff 00000b3d: AND 00000b3e: PUSH9 0x010000000000000000 00000b48: PUSH1 0x01 00000b4a: PUSH1 0xa0 00000b4c: PUSH1 0x02 00000b4e: EXP 00000b4f: SUB 00000b50: SWAP1 00000b51: SWAP7 00000b52: AND 00000b53: SWAP6 00000b54: SWAP1 00000b55: SWAP6 00000b56: MUL 00000b57: SWAP5 00000b58: SWAP1 00000b59: SWAP5 00000b5a: OR 00000b5b: DUP8 00000b5c: SSTORE 00000b5d: SWAP1 00000b5e: MLOAD 00000b5f: PUSH1 0x01 00000b61: DUP8 00000b62: ADD 00000b63: SSTORE 00000b64: MLOAD 00000b65: PUSH1 0x02 00000b67: DUP7 00000b68: ADD 00000b69: SSTORE 00000b6a: SWAP1 00000b6b: MLOAD 00000b6c: PUSH1 0x03 00000b6e: DUP6 00000b6f: ADD 00000b70: SSTORE 00000b71: MLOAD 00000b72: PUSH1 0x04 00000b74: DUP5 00000b75: ADD 00000b76: SSTORE 00000b77: SWAP1 00000b78: MLOAD 00000b79: PUSH1 0x05 00000b7b: DUP4 00000b7c: ADD 00000b7d: SSTORE 00000b7e: SWAP2 00000b7f: MLOAD 00000b80: PUSH1 0x06 00000b82: DUP3 00000b83: ADD 00000b84: SSTORE 00000b85: SWAP1 00000b86: MLOAD 00000b87: PUSH1 0x07 00000b89: SWAP1 00000b8a: SWAP2 00000b8b: ADD 00000b8c: SSTORE 00000b8d: JUMPDEST 00000b8e: CALLER 00000b8f: PUSH1 0x00 00000b91: SWAP1 00000b92: DUP2 00000b93: MSTORE 00000b94: PUSH1 0x08 00000b96: PUSH1 0x20 00000b98: MSTORE 00000b99: PUSH1 0x40 00000b9b: SWAP1 00000b9c: KECCAK256 00000b9d: PUSH1 0x01 00000b9f: ADD 00000ba0: SLOAD 00000ba1: PUSH2 0x0be0 00000ba4: SWAP1 00000ba5: PUSH2 0x01f4 00000ba8: SWAP1 00000ba9: PUSH2 0x0bd4 00000bac: SWAP1 00000bad: PUSH8 0x0de0b6b3a7640000 00000bb6: SWAP1 00000bb7: PUSH2 0x0bc8 00000bba: SWAP1 00000bbb: PUSH2 0x03e8 00000bbe: PUSH4 0xffffffff 00000bc3: PUSH2 0x1c20 00000bc6: AND 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: SWAP1 00000bca: PUSH4 0xffffffff 00000bcf: PUSH2 0x1c49 00000bd2: AND 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: SWAP1 00000bd6: PUSH4 0xffffffff 00000bdb: PUSH2 0x181b 00000bde: AND 00000bdf: JUMP 00000be0: JUMPDEST 00000be1: CALLER 00000be2: PUSH1 0x00 00000be4: SWAP1 00000be5: DUP2 00000be6: MSTORE 00000be7: PUSH1 0x08 00000be9: PUSH1 0x20 00000beb: MSTORE 00000bec: PUSH1 0x40 00000bee: SWAP1 00000bef: KECCAK256 00000bf0: PUSH1 0x01 00000bf2: ADD 00000bf3: SLOAD 00000bf4: SWAP1 00000bf5: SWAP3 00000bf6: POP 00000bf7: PUSH2 0x0c29 00000bfa: SWAP1 00000bfb: PUSH1 0xfa 00000bfd: SWAP1 00000bfe: PUSH2 0x0c1d 00000c01: SWAP1 00000c02: PUSH8 0x0de0b6b3a7640000 00000c0b: SWAP1 00000c0c: PUSH2 0x0bc8 00000c0f: SWAP1 00000c10: PUSH2 0x03e8 00000c13: PUSH4 0xffffffff 00000c18: PUSH2 0x1c20 00000c1b: AND 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: SWAP1 00000c1f: PUSH4 0xffffffff 00000c24: PUSH2 0x182d 00000c27: AND 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: SWAP1 00000c2b: POP 00000c2c: PUSH2 0x0c47 00000c2f: PUSH2 0x0190 00000c32: PUSH2 0x0c1d 00000c35: DUP4 00000c36: PUSH2 0x0bc8 00000c39: DUP7 00000c3a: PUSH2 0x012c 00000c3d: PUSH4 0xffffffff 00000c42: PUSH2 0x1c20 00000c45: AND 00000c46: JUMP 00000c47: JUMPDEST 00000c48: CALLER 00000c49: PUSH1 0x00 00000c4b: SWAP1 00000c4c: DUP2 00000c4d: MSTORE 00000c4e: PUSH1 0x08 00000c50: PUSH1 0x20 00000c52: MSTORE 00000c53: PUSH1 0x40 00000c55: SWAP1 00000c56: KECCAK256 00000c57: PUSH1 0x04 00000c59: ADD 00000c5a: SSTORE 00000c5b: PUSH2 0x0c97 00000c5e: PUSH2 0x0c6d 00000c61: CALLVALUE 00000c62: DUP7 00000c63: PUSH4 0xffffffff 00000c68: PUSH2 0x181b 00000c6b: AND 00000c6c: JUMP 00000c6d: JUMPDEST 00000c6e: PUSH1 0x07 00000c70: SLOAD 00000c71: PUSH1 0x01 00000c73: PUSH1 0xa0 00000c75: PUSH1 0x02 00000c77: EXP 00000c78: SUB 00000c79: AND 00000c7a: PUSH1 0x00 00000c7c: SWAP1 00000c7d: DUP2 00000c7e: MSTORE 00000c7f: PUSH1 0x08 00000c81: PUSH1 0x20 00000c83: MSTORE 00000c84: PUSH1 0x40 00000c86: SWAP1 00000c87: KECCAK256 00000c88: PUSH1 0x03 00000c8a: ADD 00000c8b: SLOAD 00000c8c: SWAP1 00000c8d: PUSH4 0xffffffff 00000c92: PUSH2 0x182d 00000c95: AND 00000c96: JUMP 00000c97: JUMPDEST 00000c98: PUSH1 0x07 00000c9a: SLOAD 00000c9b: PUSH1 0x01 00000c9d: PUSH1 0xa0 00000c9f: PUSH1 0x02 00000ca1: EXP 00000ca2: SUB 00000ca3: AND 00000ca4: PUSH1 0x00 00000ca6: SWAP1 00000ca7: DUP2 00000ca8: MSTORE 00000ca9: PUSH1 0x08 00000cab: PUSH1 0x20 00000cad: MSTORE 00000cae: PUSH1 0x40 00000cb0: SWAP1 00000cb1: KECCAK256 00000cb2: PUSH1 0x03 00000cb4: ADD 00000cb5: SSTORE 00000cb6: PUSH2 0x0cf2 00000cb9: PUSH2 0x0cc8 00000cbc: CALLVALUE 00000cbd: DUP7 00000cbe: PUSH4 0xffffffff 00000cc3: PUSH2 0x181b 00000cc6: AND 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: PUSH1 0x07 00000ccb: SLOAD 00000ccc: PUSH1 0x01 00000cce: PUSH1 0xa0 00000cd0: PUSH1 0x02 00000cd2: EXP 00000cd3: SUB 00000cd4: AND 00000cd5: PUSH1 0x00 00000cd7: SWAP1 00000cd8: DUP2 00000cd9: MSTORE 00000cda: PUSH1 0x08 00000cdc: PUSH1 0x20 00000cde: MSTORE 00000cdf: PUSH1 0x40 00000ce1: SWAP1 00000ce2: KECCAK256 00000ce3: PUSH1 0x02 00000ce5: ADD 00000ce6: SLOAD 00000ce7: SWAP1 00000ce8: PUSH4 0xffffffff 00000ced: PUSH2 0x182d 00000cf0: AND 00000cf1: JUMP 00000cf2: JUMPDEST 00000cf3: PUSH1 0x07 00000cf5: SLOAD 00000cf6: PUSH1 0x01 00000cf8: PUSH1 0xa0 00000cfa: PUSH1 0x02 00000cfc: EXP 00000cfd: SUB 00000cfe: SWAP1 00000cff: DUP2 00000d00: AND 00000d01: PUSH1 0x00 00000d03: SWAP1 00000d04: DUP2 00000d05: MSTORE 00000d06: PUSH1 0x08 00000d08: PUSH1 0x20 00000d0a: SWAP1 00000d0b: DUP2 00000d0c: MSTORE 00000d0d: PUSH1 0x40 00000d0f: SWAP2 00000d10: DUP3 00000d11: SWAP1 00000d12: KECCAK256 00000d13: PUSH1 0x02 00000d15: ADD 00000d16: SWAP4 00000d17: SWAP1 00000d18: SWAP4 00000d19: SSTORE 00000d1a: DUP1 00000d1b: MLOAD 00000d1c: DUP9 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: SWAP1 00000d20: MLOAD 00000d21: CALLER 00000d22: SWAP4 00000d23: SWAP3 00000d24: DUP12 00000d25: AND 00000d26: SWAP3 00000d27: PUSH32 0x5c2a8ea74abbbc9aa84ca5618a84ee340317bc98a565bbd9e21bdbf6222f938c 00000d48: SWAP3 00000d49: DUP3 00000d4a: SWAP1 00000d4b: SUB 00000d4c: ADD 00000d4d: SWAP1 00000d4e: LOG3 00000d4f: POP 00000d50: PUSH1 0x01 00000d52: SWAP7 00000d53: SWAP6 00000d54: POP 00000d55: POP 00000d56: POP 00000d57: POP 00000d58: POP 00000d59: POP 00000d5a: JUMP 00000d5b: JUMPDEST 00000d5c: PUSH1 0x01 00000d5e: PUSH1 0xa0 00000d60: PUSH1 0x02 00000d62: EXP 00000d63: SUB 00000d64: AND 00000d65: PUSH1 0x00 00000d67: SWAP1 00000d68: DUP2 00000d69: MSTORE 00000d6a: PUSH1 0x08 00000d6c: PUSH1 0x20 00000d6e: DUP2 00000d6f: DUP2 00000d70: MSTORE 00000d71: PUSH1 0x40 00000d73: DUP1 00000d74: DUP5 00000d75: KECCAK256 00000d76: DUP1 00000d77: SLOAD 00000d78: PUSH1 0x01 00000d7a: DUP3 00000d7b: ADD 00000d7c: SLOAD 00000d7d: PUSH1 0x03 00000d7f: DUP4 00000d80: ADD 00000d81: SLOAD 00000d82: PUSH1 0x02 00000d84: DUP5 00000d85: ADD 00000d86: SLOAD 00000d87: DUP9 00000d88: DUP8 00000d89: MSTORE 00000d8a: SWAP5 00000d8b: SWAP1 00000d8c: SWAP8 00000d8d: KECCAK256 00000d8e: SLOAD 00000d8f: SWAP6 00000d90: SWAP1 00000d91: SWAP5 00000d92: MSTORE 00000d93: PUSH1 0x05 00000d95: DUP3 00000d96: ADD 00000d97: SLOAD 00000d98: PUSH1 0x06 00000d9a: DUP4 00000d9b: ADD 00000d9c: SLOAD 00000d9d: PUSH1 0x07 00000d9f: SWAP1 00000da0: SWAP4 00000da1: ADD 00000da2: SLOAD 00000da3: PUSH5 0x0100000000 00000da9: SWAP1 00000daa: SWAP3 00000dab: DIV 00000dac: PUSH4 0xffffffff 00000db1: AND 00000db2: SWAP8 00000db3: SWAP5 00000db4: SWAP7 00000db5: SWAP6 00000db6: SWAP4 00000db7: SWAP5 00000db8: SWAP1 00000db9: SWAP3 00000dba: SWAP2 00000dbb: SWAP1 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: CALLER 00000dbf: PUSH1 0x00 00000dc1: DUP2 00000dc2: DUP2 00000dc3: MSTORE 00000dc4: PUSH1 0x02 00000dc6: PUSH1 0x20 00000dc8: SWAP1 00000dc9: DUP2 00000dca: MSTORE 00000dcb: PUSH1 0x40 00000dcd: DUP1 00000dce: DUP4 00000dcf: KECCAK256 00000dd0: PUSH1 0x01 00000dd2: PUSH1 0xa0 00000dd4: PUSH1 0x02 00000dd6: EXP 00000dd7: SUB 00000dd8: DUP8 00000dd9: AND 00000dda: DUP1 00000ddb: DUP6 00000ddc: MSTORE 00000ddd: SWAP1 00000dde: DUP4 00000ddf: MSTORE 00000de0: DUP2 00000de1: DUP5 00000de2: KECCAK256 00000de3: DUP7 00000de4: SWAP1 00000de5: SSTORE 00000de6: DUP2 00000de7: MLOAD 00000de8: DUP7 00000de9: DUP2 00000dea: MSTORE 00000deb: SWAP2 00000dec: MLOAD 00000ded: SWAP4 00000dee: SWAP5 00000def: SWAP1 00000df0: SWAP4 00000df1: SWAP1 00000df2: SWAP3 00000df3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000e14: SWAP3 00000e15: DUP3 00000e16: SWAP1 00000e17: SUB 00000e18: ADD 00000e19: SWAP1 00000e1a: LOG3 00000e1b: POP 00000e1c: PUSH1 0x01 00000e1e: JUMPDEST 00000e1f: SWAP3 00000e20: SWAP2 00000e21: POP 00000e22: POP 00000e23: JUMP 00000e24: JUMPDEST 00000e25: PUSH2 0x03e8 00000e28: DUP2 00000e29: JUMP 00000e2a: JUMPDEST 00000e2b: PUSH1 0x01 00000e2d: PUSH1 0xa0 00000e2f: PUSH1 0x02 00000e31: EXP 00000e32: SUB 00000e33: AND 00000e34: PUSH1 0x00 00000e36: SWAP1 00000e37: DUP2 00000e38: MSTORE 00000e39: PUSH1 0x0a 00000e3b: PUSH1 0x20 00000e3d: MSTORE 00000e3e: PUSH1 0x40 00000e40: SWAP1 00000e41: KECCAK256 00000e42: SLOAD 00000e43: PUSH4 0xffffffff 00000e48: AND 00000e49: SWAP1 00000e4a: JUMP 00000e4b: JUMPDEST 00000e4c: PUSH1 0x01 00000e4e: SLOAD 00000e4f: SWAP1 00000e50: JUMP 00000e51: JUMPDEST 00000e52: CALLER 00000e53: PUSH1 0x00 00000e55: SWAP1 00000e56: DUP2 00000e57: MSTORE 00000e58: PUSH1 0x08 00000e5a: PUSH1 0x20 00000e5c: MSTORE 00000e5d: PUSH1 0x40 00000e5f: DUP2 00000e60: KECCAK256 00000e61: PUSH1 0x02 00000e63: ADD 00000e64: SLOAD 00000e65: DUP3 00000e66: GT 00000e67: ISZERO 00000e68: PUSH2 0x0e70 00000e6b: JUMPI 00000e6c: PUSH1 0x00 00000e6e: DUP1 00000e6f: REVERT 00000e70: JUMPDEST 00000e71: CALLER 00000e72: PUSH1 0x00 00000e74: SWAP1 00000e75: DUP2 00000e76: MSTORE 00000e77: PUSH1 0x08 00000e79: PUSH1 0x20 00000e7b: MSTORE 00000e7c: PUSH1 0x40 00000e7e: SWAP1 00000e7f: KECCAK256 00000e80: PUSH1 0x03 00000e82: DUP2 00000e83: ADD 00000e84: SLOAD 00000e85: PUSH1 0x02 00000e87: SWAP1 00000e88: SWAP2 00000e89: ADD 00000e8a: SLOAD 00000e8b: EQ 00000e8c: ISZERO 00000e8d: PUSH2 0x0ec3 00000e90: JUMPI 00000e91: PUSH1 0x40 00000e93: DUP1 00000e94: MLOAD 00000e95: PUSH1 0x20 00000e97: DUP1 00000e98: DUP3 00000e99: ADD 00000e9a: DUP4 00000e9b: MSTORE 00000e9c: PUSH1 0x00 00000e9e: DUP1 00000e9f: DUP4 00000ea0: MSTORE 00000ea1: CALLER 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x0a 00000ea6: SWAP1 00000ea7: SWAP2 00000ea8: MSTORE 00000ea9: SWAP2 00000eaa: SWAP1 00000eab: SWAP2 00000eac: KECCAK256 00000ead: SWAP1 00000eae: MLOAD 00000eaf: DUP2 00000eb0: SLOAD 00000eb1: PUSH4 0xffffffff 00000eb6: NOT 00000eb7: AND 00000eb8: PUSH4 0xffffffff 00000ebd: SWAP1 00000ebe: SWAP2 00000ebf: AND 00000ec0: OR 00000ec1: SWAP1 00000ec2: SSTORE 00000ec3: JUMPDEST 00000ec4: CALLER 00000ec5: PUSH1 0x00 00000ec7: SWAP1 00000ec8: DUP2 00000ec9: MSTORE 00000eca: PUSH1 0x08 00000ecc: PUSH1 0x20 00000ece: MSTORE 00000ecf: PUSH1 0x40 00000ed1: SWAP1 00000ed2: KECCAK256 00000ed3: PUSH1 0x02 00000ed5: ADD 00000ed6: SLOAD 00000ed7: PUSH2 0x0ee6 00000eda: SWAP1 00000edb: DUP4 00000edc: PUSH4 0xffffffff 00000ee1: PUSH2 0x181b 00000ee4: AND 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: CALLER 00000ee8: PUSH1 0x00 00000eea: DUP2 00000eeb: DUP2 00000eec: MSTORE 00000eed: PUSH1 0x08 00000eef: PUSH1 0x20 00000ef1: SWAP1 00000ef2: DUP2 00000ef3: MSTORE 00000ef4: PUSH1 0x40 00000ef6: DUP1 00000ef7: DUP4 00000ef8: KECCAK256 00000ef9: PUSH1 0x02 00000efb: SWAP1 00000efc: DUP2 00000efd: ADD 00000efe: SWAP6 00000eff: SWAP1 00000f00: SWAP6 00000f01: SSTORE 00000f02: DUP1 00000f03: MLOAD 00000f04: PUSH1 0x60 00000f06: DUP2 00000f07: ADD 00000f08: DUP3 00000f09: MSTORE 00000f0a: PUSH1 0x01 00000f0c: PUSH1 0xa0 00000f0e: PUSH1 0x02 00000f10: EXP 00000f11: SUB 00000f12: DUP10 00000f13: DUP2 00000f14: AND 00000f15: DUP1 00000f16: DUP4 00000f17: MSTORE 00000f18: TIMESTAMP 00000f19: DUP4 00000f1a: DUP7 00000f1b: ADD 00000f1c: SWAP1 00000f1d: DUP2 00000f1e: MSTORE 00000f1f: DUP4 00000f20: DUP6 00000f21: ADD 00000f22: DUP12 00000f23: DUP2 00000f24: MSTORE 00000f25: SWAP8 00000f26: DUP8 00000f27: MSTORE 00000f28: PUSH1 0x0a 00000f2a: DUP7 00000f2b: MSTORE 00000f2c: DUP5 00000f2d: DUP8 00000f2e: KECCAK256 00000f2f: DUP1 00000f30: SLOAD 00000f31: PUSH4 0xffffffff 00000f36: NOT 00000f37: DUP2 00000f38: AND 00000f39: PUSH1 0x01 00000f3b: PUSH4 0xffffffff 00000f40: SWAP3 00000f41: DUP4 00000f42: AND 00000f43: DUP2 00000f44: DUP2 00000f45: ADD 00000f46: SWAP1 00000f47: SWAP4 00000f48: AND 00000f49: SWAP2 00000f4a: SWAP1 00000f4b: SWAP2 00000f4c: OR 00000f4d: DUP4 00000f4e: SSTORE 00000f4f: SWAP1 00000f50: DUP10 00000f51: MSTORE 00000f52: SWAP1 00000f53: DUP2 00000f54: ADD 00000f55: SWAP1 00000f56: SWAP7 00000f57: MSTORE 00000f58: DUP5 00000f59: DUP8 00000f5a: KECCAK256 00000f5b: SWAP4 00000f5c: MLOAD 00000f5d: DUP5 00000f5e: SLOAD 00000f5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f74: NOT 00000f75: AND 00000f76: SWAP4 00000f77: AND 00000f78: SWAP3 00000f79: SWAP1 00000f7a: SWAP3 00000f7b: OR 00000f7c: DUP4 00000f7d: SSTORE 00000f7e: SWAP1 00000f7f: MLOAD 00000f80: SWAP4 00000f81: DUP3 00000f82: ADD 00000f83: SWAP4 00000f84: SWAP1 00000f85: SWAP4 00000f86: SSTORE 00000f87: SWAP4 00000f88: MLOAD 00000f89: SWAP4 00000f8a: SWAP1 00000f8b: SWAP5 00000f8c: ADD 00000f8d: SWAP3 00000f8e: SWAP1 00000f8f: SWAP3 00000f90: SSTORE 00000f91: SWAP2 00000f92: MLOAD 00000f93: SWAP1 00000f94: SWAP2 00000f95: PUSH2 0x08fc 00000f98: DUP6 00000f99: ISZERO 00000f9a: MUL 00000f9b: SWAP2 00000f9c: DUP6 00000f9d: SWAP2 00000f9e: DUP2 00000f9f: DUP2 00000fa0: DUP2 00000fa1: DUP6 00000fa2: DUP9 00000fa3: DUP9 00000fa4: CALL 00000fa5: SWAP4 00000fa6: POP 00000fa7: POP 00000fa8: POP 00000fa9: POP 00000faa: ISZERO 00000fab: DUP1 00000fac: ISZERO 00000fad: PUSH2 0x0fba 00000fb0: JUMPI 00000fb1: RETURNDATASIZE 00000fb2: PUSH1 0x00 00000fb4: DUP1 00000fb5: RETURNDATACOPY 00000fb6: RETURNDATASIZE 00000fb7: PUSH1 0x00 00000fb9: REVERT 00000fba: JUMPDEST 00000fbb: POP 00000fbc: PUSH1 0x40 00000fbe: DUP1 00000fbf: MLOAD 00000fc0: PUSH1 0x01 00000fc2: PUSH1 0xa0 00000fc4: PUSH1 0x02 00000fc6: EXP 00000fc7: SUB 00000fc8: DUP6 00000fc9: AND 00000fca: DUP2 00000fcb: MSTORE 00000fcc: PUSH1 0x20 00000fce: DUP2 00000fcf: ADD 00000fd0: DUP5 00000fd1: SWAP1 00000fd2: MSTORE 00000fd3: DUP2 00000fd4: MLOAD 00000fd5: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000ff6: SWAP3 00000ff7: SWAP2 00000ff8: DUP2 00000ff9: SWAP1 00000ffa: SUB 00000ffb: SWAP1 00000ffc: SWAP2 00000ffd: ADD 00000ffe: SWAP1 00000fff: LOG1 00001000: POP 00001001: PUSH1 0x01 00001003: SWAP3 00001004: SWAP2 00001005: POP 00001006: POP 00001007: JUMP 00001008: JUMPDEST 00001009: PUSH1 0x00 0000100b: PUSH1 0x01 0000100d: PUSH1 0xa0 0000100f: PUSH1 0x02 00001011: EXP 00001012: SUB 00001013: DUP4 00001014: AND 00001015: ISZERO 00001016: ISZERO 00001017: PUSH2 0x101f 0000101a: JUMPI 0000101b: PUSH1 0x00 0000101d: DUP1 0000101e: REVERT 0000101f: JUMPDEST 00001020: PUSH1 0x01 00001022: PUSH1 0xa0 00001024: PUSH1 0x02 00001026: EXP 00001027: SUB 00001028: DUP5 00001029: AND 0000102a: PUSH1 0x00 0000102c: SWAP1 0000102d: DUP2 0000102e: MSTORE 0000102f: PUSH1 0x20 00001031: DUP2 00001032: SWAP1 00001033: MSTORE 00001034: PUSH1 0x40 00001036: SWAP1 00001037: KECCAK256 00001038: SLOAD 00001039: DUP3 0000103a: GT 0000103b: ISZERO 0000103c: PUSH2 0x1044 0000103f: JUMPI 00001040: PUSH1 0x00 00001042: DUP1 00001043: REVERT 00001044: JUMPDEST 00001045: PUSH1 0x01 00001047: PUSH1 0xa0 00001049: PUSH1 0x02 0000104b: EXP 0000104c: SUB 0000104d: DUP5 0000104e: AND 0000104f: PUSH1 0x00 00001051: SWAP1 00001052: DUP2 00001053: MSTORE 00001054: PUSH1 0x02 00001056: PUSH1 0x20 00001058: SWAP1 00001059: DUP2 0000105a: MSTORE 0000105b: PUSH1 0x40 0000105d: DUP1 0000105e: DUP4 0000105f: KECCAK256 00001060: CALLER 00001061: DUP5 00001062: MSTORE 00001063: SWAP1 00001064: SWAP2 00001065: MSTORE 00001066: SWAP1 00001067: KECCAK256 00001068: SLOAD 00001069: DUP3 0000106a: GT 0000106b: ISZERO 0000106c: PUSH2 0x1074 0000106f: JUMPI 00001070: PUSH1 0x00 00001072: DUP1 00001073: REVERT 00001074: JUMPDEST 00001075: PUSH1 0x01 00001077: PUSH1 0xa0 00001079: PUSH1 0x02 0000107b: EXP 0000107c: SUB 0000107d: DUP5 0000107e: AND 0000107f: PUSH1 0x00 00001081: SWAP1 00001082: DUP2 00001083: MSTORE 00001084: PUSH1 0x20 00001086: DUP2 00001087: SWAP1 00001088: MSTORE 00001089: PUSH1 0x40 0000108b: SWAP1 0000108c: KECCAK256 0000108d: SLOAD 0000108e: PUSH2 0x109d 00001091: SWAP1 00001092: DUP4 00001093: PUSH4 0xffffffff 00001098: PUSH2 0x181b 0000109b: AND 0000109c: JUMP 0000109d: JUMPDEST 0000109e: PUSH1 0x01 000010a0: PUSH1 0xa0 000010a2: PUSH1 0x02 000010a4: EXP 000010a5: SUB 000010a6: DUP1 000010a7: DUP7 000010a8: AND 000010a9: PUSH1 0x00 000010ab: SWAP1 000010ac: DUP2 000010ad: MSTORE 000010ae: PUSH1 0x20 000010b0: DUP2 000010b1: SWAP1 000010b2: MSTORE 000010b3: PUSH1 0x40 000010b5: DUP1 000010b6: DUP3 000010b7: KECCAK256 000010b8: SWAP4 000010b9: SWAP1 000010ba: SWAP4 000010bb: SSTORE 000010bc: SWAP1 000010bd: DUP6 000010be: AND 000010bf: DUP2 000010c0: MSTORE 000010c1: KECCAK256 000010c2: SLOAD 000010c3: PUSH2 0x10d2 000010c6: SWAP1 000010c7: DUP4 000010c8: PUSH4 0xffffffff 000010cd: PUSH2 0x182d 000010d0: AND 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH1 0x01 000010d5: PUSH1 0xa0 000010d7: PUSH1 0x02 000010d9: EXP 000010da: SUB 000010db: DUP1 000010dc: DUP6 000010dd: AND 000010de: PUSH1 0x00 000010e0: SWAP1 000010e1: DUP2 000010e2: MSTORE 000010e3: PUSH1 0x20 000010e5: DUP2 000010e6: DUP2 000010e7: MSTORE 000010e8: PUSH1 0x40 000010ea: DUP1 000010eb: DUP4 000010ec: KECCAK256 000010ed: SWAP5 000010ee: SWAP1 000010ef: SWAP5 000010f0: SSTORE 000010f1: SWAP2 000010f2: DUP8 000010f3: AND 000010f4: DUP2 000010f5: MSTORE 000010f6: PUSH1 0x02 000010f8: DUP3 000010f9: MSTORE 000010fa: DUP3 000010fb: DUP2 000010fc: KECCAK256 000010fd: CALLER 000010fe: DUP3 000010ff: MSTORE 00001100: SWAP1 00001101: SWAP2 00001102: MSTORE 00001103: KECCAK256 00001104: SLOAD 00001105: PUSH2 0x1114 00001108: SWAP1 00001109: DUP4 0000110a: PUSH4 0xffffffff 0000110f: PUSH2 0x181b 00001112: AND 00001113: JUMP 00001114: JUMPDEST 00001115: PUSH1 0x01 00001117: PUSH1 0xa0 00001119: PUSH1 0x02 0000111b: EXP 0000111c: SUB 0000111d: DUP1 0000111e: DUP7 0000111f: AND 00001120: PUSH1 0x00 00001122: DUP2 00001123: DUP2 00001124: MSTORE 00001125: PUSH1 0x02 00001127: PUSH1 0x20 00001129: SWAP1 0000112a: DUP2 0000112b: MSTORE 0000112c: PUSH1 0x40 0000112e: DUP1 0000112f: DUP4 00001130: KECCAK256 00001131: CALLER 00001132: DUP5 00001133: MSTORE 00001134: DUP3 00001135: MSTORE 00001136: SWAP2 00001137: DUP3 00001138: SWAP1 00001139: KECCAK256 0000113a: SWAP5 0000113b: SWAP1 0000113c: SWAP5 0000113d: SSTORE 0000113e: DUP1 0000113f: MLOAD 00001140: DUP7 00001141: DUP2 00001142: MSTORE 00001143: SWAP1 00001144: MLOAD 00001145: SWAP3 00001146: DUP8 00001147: AND 00001148: SWAP4 00001149: SWAP2 0000114a: SWAP3 0000114b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000116c: SWAP3 0000116d: SWAP2 0000116e: DUP2 0000116f: SWAP1 00001170: SUB 00001171: SWAP1 00001172: SWAP2 00001173: ADD 00001174: SWAP1 00001175: LOG3 00001176: POP 00001177: PUSH1 0x01 00001179: SWAP4 0000117a: SWAP3 0000117b: POP 0000117c: POP 0000117d: POP 0000117e: JUMP 0000117f: JUMPDEST 00001180: CALLER 00001181: PUSH1 0x00 00001183: SWAP1 00001184: DUP2 00001185: MSTORE 00001186: PUSH1 0x08 00001188: PUSH1 0x20 0000118a: MSTORE 0000118b: PUSH1 0x40 0000118d: DUP2 0000118e: KECCAK256 0000118f: PUSH1 0x02 00001191: ADD 00001192: SLOAD 00001193: DUP3 00001194: GT 00001195: ISZERO 00001196: PUSH2 0x119e 00001199: JUMPI 0000119a: PUSH1 0x00 0000119c: DUP1 0000119d: REVERT 0000119e: JUMPDEST 0000119f: CALLER 000011a0: PUSH1 0x00 000011a2: SWAP1 000011a3: DUP2 000011a4: MSTORE 000011a5: PUSH1 0x08 000011a7: PUSH1 0x20 000011a9: MSTORE 000011aa: PUSH1 0x40 000011ac: SWAP1 000011ad: KECCAK256 000011ae: PUSH1 0x03 000011b0: DUP2 000011b1: ADD 000011b2: SLOAD 000011b3: PUSH1 0x02 000011b5: SWAP1 000011b6: SWAP2 000011b7: ADD 000011b8: SLOAD 000011b9: EQ 000011ba: ISZERO 000011bb: PUSH2 0x11f1 000011be: JUMPI 000011bf: PUSH1 0x40 000011c1: DUP1 000011c2: MLOAD 000011c3: PUSH1 0x20 000011c5: DUP1 000011c6: DUP3 000011c7: ADD 000011c8: DUP4 000011c9: MSTORE 000011ca: PUSH1 0x00 000011cc: DUP1 000011cd: DUP4 000011ce: MSTORE 000011cf: CALLER 000011d0: DUP2 000011d1: MSTORE 000011d2: PUSH1 0x0a 000011d4: SWAP1 000011d5: SWAP2 000011d6: MSTORE 000011d7: SWAP2 000011d8: SWAP1 000011d9: SWAP2 000011da: KECCAK256 000011db: SWAP1 000011dc: MLOAD 000011dd: DUP2 000011de: SLOAD 000011df: PUSH4 0xffffffff 000011e4: NOT 000011e5: AND 000011e6: PUSH4 0xffffffff 000011eb: SWAP1 000011ec: SWAP2 000011ed: AND 000011ee: OR 000011ef: SWAP1 000011f0: SSTORE 000011f1: JUMPDEST 000011f2: CALLER 000011f3: PUSH1 0x00 000011f5: SWAP1 000011f6: DUP2 000011f7: MSTORE 000011f8: PUSH1 0x08 000011fa: PUSH1 0x20 000011fc: MSTORE 000011fd: PUSH1 0x40 000011ff: SWAP1 00001200: KECCAK256 00001201: PUSH1 0x02 00001203: ADD 00001204: SLOAD 00001205: PUSH2 0x1214 00001208: SWAP1 00001209: DUP4 0000120a: PUSH4 0xffffffff 0000120f: PUSH2 0x181b 00001212: AND 00001213: JUMP 00001214: JUMPDEST 00001215: CALLER 00001216: PUSH1 0x00 00001218: DUP2 00001219: DUP2 0000121a: MSTORE 0000121b: PUSH1 0x08 0000121d: PUSH1 0x20 0000121f: MSTORE 00001220: PUSH1 0x40 00001222: DUP1 00001223: DUP3 00001224: KECCAK256 00001225: PUSH1 0x02 00001227: ADD 00001228: SWAP4 00001229: SWAP1 0000122a: SWAP4 0000122b: SSTORE 0000122c: SWAP2 0000122d: MLOAD 0000122e: SWAP1 0000122f: SWAP2 00001230: DUP5 00001231: ISZERO 00001232: PUSH2 0x08fc 00001235: MUL 00001236: SWAP2 00001237: DUP6 00001238: SWAP2 00001239: DUP2 0000123a: DUP2 0000123b: DUP2 0000123c: DUP6 0000123d: DUP9 0000123e: DUP9 0000123f: CALL 00001240: SWAP4 00001241: POP 00001242: POP 00001243: POP 00001244: POP 00001245: ISZERO 00001246: DUP1 00001247: ISZERO 00001248: PUSH2 0x1255 0000124b: JUMPI 0000124c: RETURNDATASIZE 0000124d: PUSH1 0x00 0000124f: DUP1 00001250: RETURNDATACOPY 00001251: RETURNDATASIZE 00001252: PUSH1 0x00 00001254: REVERT 00001255: JUMPDEST 00001256: POP 00001257: PUSH1 0x40 00001259: DUP1 0000125a: MLOAD 0000125b: PUSH1 0x60 0000125d: DUP2 0000125e: ADD 0000125f: DUP3 00001260: MSTORE 00001261: CALLER 00001262: DUP1 00001263: DUP3 00001264: MSTORE 00001265: TIMESTAMP 00001266: PUSH1 0x20 00001268: DUP1 00001269: DUP5 0000126a: ADD 0000126b: SWAP2 0000126c: DUP3 0000126d: MSTORE 0000126e: DUP4 0000126f: DUP6 00001270: ADD 00001271: DUP8 00001272: DUP2 00001273: MSTORE 00001274: PUSH1 0x00 00001276: DUP5 00001277: DUP2 00001278: MSTORE 00001279: PUSH1 0x0a 0000127b: DUP4 0000127c: MSTORE 0000127d: DUP7 0000127e: DUP2 0000127f: KECCAK256 00001280: DUP1 00001281: SLOAD 00001282: PUSH4 0xffffffff 00001287: NOT 00001288: DUP2 00001289: AND 0000128a: PUSH1 0x01 0000128c: PUSH4 0xffffffff 00001291: SWAP3 00001292: DUP4 00001293: AND 00001294: DUP2 00001295: DUP2 00001296: ADD 00001297: SWAP1 00001298: SWAP4 00001299: AND 0000129a: SWAP2 0000129b: SWAP1 0000129c: SWAP2 0000129d: OR 0000129e: DUP4 0000129f: SSTORE 000012a0: SWAP1 000012a1: DUP4 000012a2: MSTORE 000012a3: SWAP1 000012a4: DUP2 000012a5: ADD 000012a6: DUP5 000012a7: MSTORE 000012a8: SWAP1 000012a9: DUP8 000012aa: SWAP1 000012ab: KECCAK256 000012ac: SWAP6 000012ad: MLOAD 000012ae: DUP7 000012af: SLOAD 000012b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c5: NOT 000012c6: AND 000012c7: PUSH1 0x01 000012c9: PUSH1 0xa0 000012cb: PUSH1 0x02 000012cd: EXP 000012ce: SUB 000012cf: SWAP1 000012d0: SWAP2 000012d1: AND 000012d2: OR 000012d3: DUP7 000012d4: SSTORE 000012d5: SWAP3 000012d6: MLOAD 000012d7: SWAP3 000012d8: DUP6 000012d9: ADD 000012da: SWAP3 000012db: SWAP1 000012dc: SWAP3 000012dd: SSTORE 000012de: SWAP1 000012df: MLOAD 000012e0: PUSH1 0x02 000012e2: SWAP1 000012e3: SWAP4 000012e4: ADD 000012e5: SWAP3 000012e6: SWAP1 000012e7: SWAP3 000012e8: SSTORE 000012e9: DUP3 000012ea: MLOAD 000012eb: SWAP1 000012ec: DUP2 000012ed: MSTORE 000012ee: SWAP1 000012ef: DUP2 000012f0: ADD 000012f1: DUP5 000012f2: SWAP1 000012f3: MSTORE 000012f4: DUP2 000012f5: MLOAD 000012f6: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00001317: SWAP3 00001318: SWAP2 00001319: DUP2 0000131a: SWAP1 0000131b: SUB 0000131c: SWAP1 0000131d: SWAP2 0000131e: ADD 0000131f: SWAP1 00001320: LOG1 00001321: POP 00001322: PUSH1 0x01 00001324: SWAP2 00001325: SWAP1 00001326: POP 00001327: JUMP 00001328: JUMPDEST 00001329: PUSH1 0x06 0000132b: SLOAD 0000132c: DUP2 0000132d: JUMP 0000132e: JUMPDEST 0000132f: PUSH1 0x05 00001331: SLOAD 00001332: PUSH1 0xff 00001334: AND 00001335: DUP2 00001336: JUMP 00001337: JUMPDEST 00001338: CALLER 00001339: PUSH1 0x00 0000133b: SWAP1 0000133c: DUP2 0000133d: MSTORE 0000133e: PUSH1 0x02 00001340: PUSH1 0x20 00001342: SWAP1 00001343: DUP2 00001344: MSTORE 00001345: PUSH1 0x40 00001347: DUP1 00001348: DUP4 00001349: KECCAK256 0000134a: PUSH1 0x01 0000134c: PUSH1 0xa0 0000134e: PUSH1 0x02 00001350: EXP 00001351: SUB 00001352: DUP7 00001353: AND 00001354: DUP5 00001355: MSTORE 00001356: SWAP1 00001357: SWAP2 00001358: MSTORE 00001359: DUP2 0000135a: KECCAK256 0000135b: SLOAD 0000135c: DUP1 0000135d: DUP4 0000135e: GT 0000135f: ISZERO 00001360: PUSH2 0x138c 00001363: JUMPI 00001364: CALLER 00001365: PUSH1 0x00 00001367: SWAP1 00001368: DUP2 00001369: MSTORE 0000136a: PUSH1 0x02 0000136c: PUSH1 0x20 0000136e: SWAP1 0000136f: DUP2 00001370: MSTORE 00001371: PUSH1 0x40 00001373: DUP1 00001374: DUP4 00001375: KECCAK256 00001376: PUSH1 0x01 00001378: PUSH1 0xa0 0000137a: PUSH1 0x02 0000137c: EXP 0000137d: SUB 0000137e: DUP9 0000137f: AND 00001380: DUP5 00001381: MSTORE 00001382: SWAP1 00001383: SWAP2 00001384: MSTORE 00001385: DUP2 00001386: KECCAK256 00001387: SSTORE 00001388: PUSH2 0x13c1 0000138b: JUMP 0000138c: JUMPDEST 0000138d: PUSH2 0x139c 00001390: DUP2 00001391: DUP5 00001392: PUSH4 0xffffffff 00001397: PUSH2 0x181b 0000139a: AND 0000139b: JUMP 0000139c: JUMPDEST 0000139d: CALLER 0000139e: PUSH1 0x00 000013a0: SWAP1 000013a1: DUP2 000013a2: MSTORE 000013a3: PUSH1 0x02 000013a5: PUSH1 0x20 000013a7: SWAP1 000013a8: DUP2 000013a9: MSTORE 000013aa: PUSH1 0x40 000013ac: DUP1 000013ad: DUP4 000013ae: KECCAK256 000013af: PUSH1 0x01 000013b1: PUSH1 0xa0 000013b3: PUSH1 0x02 000013b5: EXP 000013b6: SUB 000013b7: DUP10 000013b8: AND 000013b9: DUP5 000013ba: MSTORE 000013bb: SWAP1 000013bc: SWAP2 000013bd: MSTORE 000013be: SWAP1 000013bf: KECCAK256 000013c0: SSTORE 000013c1: JUMPDEST 000013c2: CALLER 000013c3: PUSH1 0x00 000013c5: DUP2 000013c6: DUP2 000013c7: MSTORE 000013c8: PUSH1 0x02 000013ca: PUSH1 0x20 000013cc: SWAP1 000013cd: DUP2 000013ce: MSTORE 000013cf: PUSH1 0x40 000013d1: DUP1 000013d2: DUP4 000013d3: KECCAK256 000013d4: PUSH1 0x01 000013d6: PUSH1 0xa0 000013d8: PUSH1 0x02 000013da: EXP 000013db: SUB 000013dc: DUP10 000013dd: AND 000013de: DUP1 000013df: DUP6 000013e0: MSTORE 000013e1: SWAP1 000013e2: DUP4 000013e3: MSTORE 000013e4: SWAP3 000013e5: DUP2 000013e6: SWAP1 000013e7: KECCAK256 000013e8: SLOAD 000013e9: DUP2 000013ea: MLOAD 000013eb: SWAP1 000013ec: DUP2 000013ed: MSTORE 000013ee: SWAP1 000013ef: MLOAD 000013f0: SWAP3 000013f1: SWAP4 000013f2: SWAP3 000013f3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001414: SWAP3 00001415: SWAP2 00001416: DUP2 00001417: SWAP1 00001418: SUB 00001419: SWAP1 0000141a: SWAP2 0000141b: ADD 0000141c: SWAP1 0000141d: LOG3 0000141e: POP 0000141f: PUSH1 0x01 00001421: SWAP4 00001422: SWAP3 00001423: POP 00001424: POP 00001425: POP 00001426: JUMP 00001427: JUMPDEST 00001428: PUSH1 0x01 0000142a: PUSH1 0xa0 0000142c: PUSH1 0x02 0000142e: EXP 0000142f: SUB 00001430: AND 00001431: PUSH1 0x00 00001433: SWAP1 00001434: DUP2 00001435: MSTORE 00001436: PUSH1 0x20 00001438: DUP2 00001439: SWAP1 0000143a: MSTORE 0000143b: PUSH1 0x40 0000143d: SWAP1 0000143e: KECCAK256 0000143f: SLOAD 00001440: SWAP1 00001441: JUMP 00001442: JUMPDEST 00001443: PUSH1 0x07 00001445: SLOAD 00001446: PUSH1 0x01 00001448: PUSH1 0xa0 0000144a: PUSH1 0x02 0000144c: EXP 0000144d: SUB 0000144e: AND 0000144f: DUP2 00001450: JUMP 00001451: JUMPDEST 00001452: PUSH1 0x00 00001454: PUSH2 0x145d 00001457: PUSH1 0x00 00001459: PUSH2 0x0565 0000145c: JUMP 0000145d: JUMPDEST 0000145e: SWAP1 0000145f: POP 00001460: SWAP1 00001461: JUMP 00001462: JUMPDEST 00001463: PUSH1 0x00 00001465: PUSH1 0x01 00001467: PUSH1 0xa0 00001469: PUSH1 0x02 0000146b: EXP 0000146c: SUB 0000146d: DUP4 0000146e: AND 0000146f: ISZERO 00001470: ISZERO 00001471: PUSH2 0x1479 00001474: JUMPI 00001475: PUSH1 0x00 00001477: DUP1 00001478: REVERT 00001479: JUMPDEST 0000147a: CALLER 0000147b: PUSH1 0x00 0000147d: SWAP1 0000147e: DUP2 0000147f: MSTORE 00001480: PUSH1 0x20 00001482: DUP2 00001483: SWAP1 00001484: MSTORE 00001485: PUSH1 0x40 00001487: SWAP1 00001488: KECCAK256 00001489: SLOAD 0000148a: DUP3 0000148b: GT 0000148c: ISZERO 0000148d: PUSH2 0x1495 00001490: JUMPI 00001491: PUSH1 0x00 00001493: DUP1 00001494: REVERT 00001495: JUMPDEST 00001496: CALLER 00001497: PUSH1 0x00 00001499: SWAP1 0000149a: DUP2 0000149b: MSTORE 0000149c: PUSH1 0x20 0000149e: DUP2 0000149f: SWAP1 000014a0: MSTORE 000014a1: PUSH1 0x40 000014a3: SWAP1 000014a4: KECCAK256 000014a5: SLOAD 000014a6: PUSH2 0x14b5 000014a9: SWAP1 000014aa: DUP4 000014ab: PUSH4 0xffffffff 000014b0: PUSH2 0x181b 000014b3: AND 000014b4: JUMP 000014b5: JUMPDEST 000014b6: CALLER 000014b7: PUSH1 0x00 000014b9: SWAP1 000014ba: DUP2 000014bb: MSTORE 000014bc: PUSH1 0x20 000014be: DUP2 000014bf: SWAP1 000014c0: MSTORE 000014c1: PUSH1 0x40 000014c3: DUP1 000014c4: DUP3 000014c5: KECCAK256 000014c6: SWAP3 000014c7: SWAP1 000014c8: SWAP3 000014c9: SSTORE 000014ca: PUSH1 0x01 000014cc: PUSH1 0xa0 000014ce: PUSH1 0x02 000014d0: EXP 000014d1: SUB 000014d2: DUP6 000014d3: AND 000014d4: DUP2 000014d5: MSTORE 000014d6: KECCAK256 000014d7: SLOAD 000014d8: PUSH2 0x14e7 000014db: SWAP1 000014dc: DUP4 000014dd: PUSH4 0xffffffff 000014e2: PUSH2 0x182d 000014e5: AND 000014e6: JUMP 000014e7: JUMPDEST 000014e8: PUSH1 0x01 000014ea: PUSH1 0xa0 000014ec: PUSH1 0x02 000014ee: EXP 000014ef: SUB 000014f0: DUP5 000014f1: AND 000014f2: PUSH1 0x00 000014f4: DUP2 000014f5: DUP2 000014f6: MSTORE 000014f7: PUSH1 0x20 000014f9: DUP2 000014fa: DUP2 000014fb: MSTORE 000014fc: PUSH1 0x40 000014fe: SWAP2 000014ff: DUP3 00001500: SWAP1 00001501: KECCAK256 00001502: SWAP4 00001503: SWAP1 00001504: SWAP4 00001505: SSTORE 00001506: DUP1 00001507: MLOAD 00001508: DUP6 00001509: DUP2 0000150a: MSTORE 0000150b: SWAP1 0000150c: MLOAD 0000150d: SWAP2 0000150e: SWAP3 0000150f: CALLER 00001510: SWAP3 00001511: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001532: SWAP3 00001533: DUP2 00001534: SWAP1 00001535: SUB 00001536: SWAP1 00001537: SWAP2 00001538: ADD 00001539: SWAP1 0000153a: LOG3 0000153b: POP 0000153c: PUSH1 0x01 0000153e: SWAP3 0000153f: SWAP2 00001540: POP 00001541: POP 00001542: JUMP 00001543: JUMPDEST 00001544: PUSH1 0x04 00001546: DUP1 00001547: SLOAD 00001548: PUSH1 0x40 0000154a: DUP1 0000154b: MLOAD 0000154c: PUSH1 0x20 0000154e: PUSH1 0x02 00001550: PUSH1 0x01 00001552: DUP6 00001553: AND 00001554: ISZERO 00001555: PUSH2 0x0100 00001558: MUL 00001559: PUSH1 0x00 0000155b: NOT 0000155c: ADD 0000155d: SWAP1 0000155e: SWAP5 0000155f: AND 00001560: SWAP4 00001561: SWAP1 00001562: SWAP4 00001563: DIV 00001564: PUSH1 0x1f 00001566: DUP2 00001567: ADD 00001568: DUP5 00001569: SWAP1 0000156a: DIV 0000156b: DUP5 0000156c: MUL 0000156d: DUP3 0000156e: ADD 0000156f: DUP5 00001570: ADD 00001571: SWAP1 00001572: SWAP3 00001573: MSTORE 00001574: DUP2 00001575: DUP2 00001576: MSTORE 00001577: SWAP3 00001578: SWAP2 00001579: DUP4 0000157a: ADD 0000157b: DUP3 0000157c: DUP3 0000157d: DUP1 0000157e: ISZERO 0000157f: PUSH2 0x15c9 00001582: JUMPI 00001583: DUP1 00001584: PUSH1 0x1f 00001586: LT 00001587: PUSH2 0x159e 0000158a: JUMPI 0000158b: PUSH2 0x0100 0000158e: DUP1 0000158f: DUP4 00001590: SLOAD 00001591: DIV 00001592: MUL 00001593: DUP4 00001594: MSTORE 00001595: SWAP2 00001596: PUSH1 0x20 00001598: ADD 00001599: SWAP2 0000159a: PUSH2 0x15c9 0000159d: JUMP 0000159e: JUMPDEST 0000159f: DUP3 000015a0: ADD 000015a1: SWAP2 000015a2: SWAP1 000015a3: PUSH1 0x00 000015a5: MSTORE 000015a6: PUSH1 0x20 000015a8: PUSH1 0x00 000015aa: KECCAK256 000015ab: SWAP1 000015ac: JUMPDEST 000015ad: DUP2 000015ae: SLOAD 000015af: DUP2 000015b0: MSTORE 000015b1: SWAP1 000015b2: PUSH1 0x01 000015b4: ADD 000015b5: SWAP1 000015b6: PUSH1 0x20 000015b8: ADD 000015b9: DUP1 000015ba: DUP4 000015bb: GT 000015bc: PUSH2 0x15ac 000015bf: JUMPI 000015c0: DUP3 000015c1: SWAP1 000015c2: SUB 000015c3: PUSH1 0x1f 000015c5: AND 000015c6: DUP3 000015c7: ADD 000015c8: SWAP2 000015c9: JUMPDEST 000015ca: POP 000015cb: POP 000015cc: POP 000015cd: POP 000015ce: POP 000015cf: DUP2 000015d0: JUMP 000015d1: JUMPDEST 000015d2: PUSH1 0x01 000015d4: PUSH1 0xa0 000015d6: PUSH1 0x02 000015d8: EXP 000015d9: SUB 000015da: SWAP1 000015db: DUP2 000015dc: AND 000015dd: PUSH1 0x00 000015df: SWAP1 000015e0: DUP2 000015e1: MSTORE 000015e2: PUSH1 0x09 000015e4: PUSH1 0x20 000015e6: MSTORE 000015e7: PUSH1 0x40 000015e9: SWAP1 000015ea: KECCAK256 000015eb: SLOAD 000015ec: AND 000015ed: SWAP1 000015ee: JUMP 000015ef: JUMPDEST 000015f0: PUSH1 0x03 000015f2: DUP1 000015f3: SLOAD 000015f4: PUSH1 0x40 000015f6: DUP1 000015f7: MLOAD 000015f8: PUSH1 0x20 000015fa: PUSH1 0x02 000015fc: PUSH1 0x01 000015fe: DUP6 000015ff: AND 00001600: ISZERO 00001601: PUSH2 0x0100 00001604: MUL 00001605: PUSH1 0x00 00001607: NOT 00001608: ADD 00001609: SWAP1 0000160a: SWAP5 0000160b: AND 0000160c: SWAP4 0000160d: SWAP1 0000160e: SWAP4 0000160f: DIV 00001610: PUSH1 0x1f 00001612: DUP2 00001613: ADD 00001614: DUP5 00001615: SWAP1 00001616: DIV 00001617: DUP5 00001618: MUL 00001619: DUP3 0000161a: ADD 0000161b: DUP5 0000161c: ADD 0000161d: SWAP1 0000161e: SWAP3 0000161f: MSTORE 00001620: DUP2 00001621: DUP2 00001622: MSTORE 00001623: SWAP3 00001624: SWAP2 00001625: DUP4 00001626: ADD 00001627: DUP3 00001628: DUP3 00001629: DUP1 0000162a: ISZERO 0000162b: PUSH2 0x15c9 0000162e: JUMPI 0000162f: DUP1 00001630: PUSH1 0x1f 00001632: LT 00001633: PUSH2 0x159e 00001636: JUMPI 00001637: PUSH2 0x0100 0000163a: DUP1 0000163b: DUP4 0000163c: SLOAD 0000163d: DIV 0000163e: MUL 0000163f: DUP4 00001640: MSTORE 00001641: SWAP2 00001642: PUSH1 0x20 00001644: ADD 00001645: SWAP2 00001646: PUSH2 0x15c9 00001649: JUMP 0000164a: JUMPDEST 0000164b: CALLER 0000164c: PUSH1 0x00 0000164e: SWAP1 0000164f: DUP2 00001650: MSTORE 00001651: PUSH1 0x02 00001653: PUSH1 0x20 00001655: SWAP1 00001656: DUP2 00001657: MSTORE 00001658: PUSH1 0x40 0000165a: DUP1 0000165b: DUP4 0000165c: KECCAK256 0000165d: PUSH1 0x01 0000165f: PUSH1 0xa0 00001661: PUSH1 0x02 00001663: EXP 00001664: SUB 00001665: DUP7 00001666: AND 00001667: DUP5 00001668: MSTORE 00001669: SWAP1 0000166a: SWAP2 0000166b: MSTORE 0000166c: DUP2 0000166d: KECCAK256 0000166e: SLOAD 0000166f: PUSH2 0x167e 00001672: SWAP1 00001673: DUP4 00001674: PUSH4 0xffffffff 00001679: PUSH2 0x182d 0000167c: AND 0000167d: JUMP 0000167e: JUMPDEST 0000167f: CALLER 00001680: PUSH1 0x00 00001682: DUP2 00001683: DUP2 00001684: MSTORE 00001685: PUSH1 0x02 00001687: PUSH1 0x20 00001689: SWAP1 0000168a: DUP2 0000168b: MSTORE 0000168c: PUSH1 0x40 0000168e: DUP1 0000168f: DUP4 00001690: KECCAK256 00001691: PUSH1 0x01 00001693: PUSH1 0xa0 00001695: PUSH1 0x02 00001697: EXP 00001698: SUB 00001699: DUP10 0000169a: AND 0000169b: DUP1 0000169c: DUP6 0000169d: MSTORE 0000169e: SWAP1 0000169f: DUP4 000016a0: MSTORE 000016a1: SWAP3 000016a2: DUP2 000016a3: SWAP1 000016a4: KECCAK256 000016a5: DUP6 000016a6: SWAP1 000016a7: SSTORE 000016a8: DUP1 000016a9: MLOAD 000016aa: SWAP5 000016ab: DUP6 000016ac: MSTORE 000016ad: MLOAD 000016ae: SWAP2 000016af: SWAP4 000016b0: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000016d1: SWAP3 000016d2: SWAP1 000016d3: DUP2 000016d4: SWAP1 000016d5: SUB 000016d6: SWAP1 000016d7: SWAP2 000016d8: ADD 000016d9: SWAP1 000016da: LOG3 000016db: POP 000016dc: PUSH1 0x01 000016de: SWAP3 000016df: SWAP2 000016e0: POP 000016e1: POP 000016e2: JUMP 000016e3: JUMPDEST 000016e4: PUSH1 0x01 000016e6: PUSH1 0xa0 000016e8: PUSH1 0x02 000016ea: EXP 000016eb: SUB 000016ec: DUP3 000016ed: AND 000016ee: PUSH1 0x00 000016f0: SWAP1 000016f1: DUP2 000016f2: MSTORE 000016f3: PUSH1 0x0a 000016f5: PUSH1 0x20 000016f7: MSTORE 000016f8: PUSH1 0x40 000016fa: DUP2 000016fb: KECCAK256 000016fc: SLOAD 000016fd: DUP2 000016fe: SWAP1 000016ff: DUP2 00001700: SWAP1 00001701: PUSH4 0xffffffff 00001706: SWAP1 00001707: DUP2 00001708: AND 00001709: SWAP1 0000170a: DUP6 0000170b: AND 0000170c: LT 0000170d: PUSH2 0x1715 00001710: JUMPI 00001711: PUSH1 0x00 00001713: DUP1 00001714: REVERT 00001715: JUMPDEST 00001716: POP 00001717: POP 00001718: POP 00001719: PUSH1 0x01 0000171b: PUSH1 0xa0 0000171d: PUSH1 0x02 0000171f: EXP 00001720: SUB 00001721: SWAP2 00001722: DUP3 00001723: AND 00001724: PUSH1 0x00 00001726: SWAP1 00001727: DUP2 00001728: MSTORE 00001729: PUSH1 0x0a 0000172b: PUSH1 0x20 0000172d: SWAP1 0000172e: DUP2 0000172f: MSTORE 00001730: PUSH1 0x40 00001732: DUP1 00001733: DUP4 00001734: KECCAK256 00001735: PUSH4 0xffffffff 0000173a: SWAP5 0000173b: SWAP1 0000173c: SWAP5 0000173d: AND 0000173e: DUP4 0000173f: MSTORE 00001740: PUSH1 0x01 00001742: SWAP4 00001743: DUP5 00001744: ADD 00001745: SWAP1 00001746: SWAP2 00001747: MSTORE 00001748: SWAP1 00001749: KECCAK256 0000174a: DUP1 0000174b: SLOAD 0000174c: SWAP2 0000174d: DUP2 0000174e: ADD 0000174f: SLOAD 00001750: PUSH1 0x02 00001752: SWAP1 00001753: SWAP2 00001754: ADD 00001755: SLOAD 00001756: SWAP2 00001757: SWAP1 00001758: SWAP3 00001759: AND 0000175a: SWAP3 0000175b: JUMP 0000175c: JUMPDEST 0000175d: PUSH1 0x01 0000175f: PUSH1 0xa0 00001761: PUSH1 0x02 00001763: EXP 00001764: SUB 00001765: AND 00001766: PUSH1 0x00 00001768: SWAP1 00001769: DUP2 0000176a: MSTORE 0000176b: PUSH1 0x08 0000176d: PUSH1 0x20 0000176f: MSTORE 00001770: PUSH1 0x40 00001772: SWAP1 00001773: KECCAK256 00001774: SLOAD 00001775: PUSH5 0x0100000000 0000177b: SWAP1 0000177c: DIV 0000177d: PUSH4 0xffffffff 00001782: AND 00001783: SWAP1 00001784: JUMP 00001785: JUMPDEST 00001786: PUSH1 0x01 00001788: PUSH1 0xa0 0000178a: PUSH1 0x02 0000178c: EXP 0000178d: SUB 0000178e: SWAP2 0000178f: DUP3 00001790: AND 00001791: PUSH1 0x00 00001793: SWAP1 00001794: DUP2 00001795: MSTORE 00001796: PUSH1 0x02 00001798: PUSH1 0x20 0000179a: SWAP1 0000179b: DUP2 0000179c: MSTORE 0000179d: PUSH1 0x40 0000179f: DUP1 000017a0: DUP4 000017a1: KECCAK256 000017a2: SWAP4 000017a3: SWAP1 000017a4: SWAP5 000017a5: AND 000017a6: DUP3 000017a7: MSTORE 000017a8: SWAP2 000017a9: SWAP1 000017aa: SWAP2 000017ab: MSTORE 000017ac: KECCAK256 000017ad: SLOAD 000017ae: SWAP1 000017af: JUMP 000017b0: JUMPDEST 000017b1: PUSH1 0x01 000017b3: PUSH1 0xa0 000017b5: PUSH1 0x02 000017b7: EXP 000017b8: SUB 000017b9: DUP3 000017ba: AND 000017bb: PUSH1 0x00 000017bd: SWAP1 000017be: DUP2 000017bf: MSTORE 000017c0: PUSH1 0x08 000017c2: PUSH1 0x20 000017c4: MSTORE 000017c5: PUSH1 0x40 000017c7: DUP2 000017c8: KECCAK256 000017c9: SLOAD 000017ca: PUSH4 0xffffffff 000017cf: PUSH5 0x0100000000 000017d5: SWAP1 000017d6: SWAP2 000017d7: DIV 000017d8: DUP2 000017d9: AND 000017da: SWAP1 000017db: DUP4 000017dc: AND 000017dd: GT 000017de: ISZERO 000017df: PUSH2 0x17e7 000017e2: JUMPI 000017e3: PUSH1 0x00 000017e5: DUP1 000017e6: REVERT 000017e7: JUMPDEST 000017e8: POP 000017e9: PUSH1 0x01 000017eb: PUSH1 0xa0 000017ed: PUSH1 0x02 000017ef: EXP 000017f0: SUB 000017f1: SWAP2 000017f2: DUP3 000017f3: AND 000017f4: PUSH1 0x00 000017f6: SWAP1 000017f7: DUP2 000017f8: MSTORE 000017f9: PUSH1 0x08 000017fb: PUSH1 0x20 000017fd: DUP2 000017fe: DUP2 000017ff: MSTORE 00001800: PUSH1 0x40 00001802: DUP1 00001803: DUP5 00001804: KECCAK256 00001805: PUSH4 0xffffffff 0000180a: SWAP6 0000180b: SWAP1 0000180c: SWAP6 0000180d: AND 0000180e: DUP5 0000180f: MSTORE 00001810: SWAP4 00001811: SWAP1 00001812: SWAP2 00001813: ADD 00001814: SWAP1 00001815: MSTORE 00001816: KECCAK256 00001817: SLOAD 00001818: AND 00001819: SWAP1 0000181a: JUMP 0000181b: JUMPDEST 0000181c: PUSH1 0x00 0000181e: DUP3 0000181f: DUP3 00001820: GT 00001821: ISZERO 00001822: PUSH2 0x1827 00001825: JUMPI 00001826: INVALID 00001827: JUMPDEST 00001828: POP 00001829: SWAP1 0000182a: SUB 0000182b: SWAP1 0000182c: JUMP 0000182d: JUMPDEST 0000182e: DUP2 0000182f: DUP2 00001830: ADD 00001831: DUP3 00001832: DUP2 00001833: LT 00001834: ISZERO 00001835: PUSH2 0x0e1e 00001838: JUMPI 00001839: INVALID 0000183a: JUMPDEST 0000183b: PUSH1 0x01 0000183d: PUSH1 0xa0 0000183f: PUSH1 0x02 00001841: EXP 00001842: SUB 00001843: DUP3 00001844: AND 00001845: PUSH1 0x00 00001847: SWAP1 00001848: DUP2 00001849: MSTORE 0000184a: PUSH1 0x08 0000184c: PUSH1 0x20 0000184e: MSTORE 0000184f: PUSH1 0x40 00001851: DUP2 00001852: KECCAK256 00001853: PUSH1 0x04 00001855: ADD 00001856: SLOAD 00001857: DUP2 00001858: SWAP1 00001859: DUP2 0000185a: SWAP1 0000185b: DUP2 0000185c: SWAP1 0000185d: DUP2 0000185e: SWAP1 0000185f: PUSH2 0x1877 00001862: SWAP1 00001863: PUSH2 0x07d0 00001866: SWAP1 00001867: PUSH2 0x0bc8 0000186a: SWAP1 0000186b: DUP10 0000186c: SWAP1 0000186d: PUSH4 0xffffffff 00001872: PUSH2 0x1c20 00001875: AND 00001876: JUMP 00001877: JUMPDEST 00001878: PUSH1 0x01 0000187a: PUSH1 0xa0 0000187c: PUSH1 0x02 0000187e: EXP 0000187f: SUB 00001880: DUP9 00001881: AND 00001882: PUSH1 0x00 00001884: SWAP1 00001885: DUP2 00001886: MSTORE 00001887: PUSH1 0x08 00001889: PUSH1 0x20 0000188b: MSTORE 0000188c: PUSH1 0x40 0000188e: SWAP1 0000188f: KECCAK256 00001890: PUSH1 0x03 00001892: ADD 00001893: SLOAD 00001894: SWAP1 00001895: SWAP6 00001896: POP 00001897: PUSH2 0x18a6 0000189a: SWAP1 0000189b: DUP7 0000189c: PUSH4 0xffffffff 000018a1: PUSH2 0x182d 000018a4: AND 000018a5: JUMP 000018a6: JUMPDEST 000018a7: PUSH1 0x01 000018a9: PUSH1 0xa0 000018ab: PUSH1 0x02 000018ad: EXP 000018ae: SUB 000018af: DUP9 000018b0: AND 000018b1: PUSH1 0x00 000018b3: SWAP1 000018b4: DUP2 000018b5: MSTORE 000018b6: PUSH1 0x08 000018b8: PUSH1 0x20 000018ba: MSTORE 000018bb: PUSH1 0x40 000018bd: SWAP1 000018be: KECCAK256 000018bf: PUSH1 0x03 000018c1: DUP2 000018c2: ADD 000018c3: SWAP2 000018c4: SWAP1 000018c5: SWAP2 000018c6: SSTORE 000018c7: PUSH1 0x02 000018c9: ADD 000018ca: SLOAD 000018cb: PUSH2 0x18da 000018ce: SWAP1 000018cf: DUP7 000018d0: PUSH4 0xffffffff 000018d5: PUSH2 0x182d 000018d8: AND 000018d9: JUMP 000018da: JUMPDEST 000018db: PUSH1 0x01 000018dd: PUSH1 0xa0 000018df: PUSH1 0x02 000018e1: EXP 000018e2: SUB 000018e3: DUP9 000018e4: AND 000018e5: PUSH1 0x00 000018e7: SWAP1 000018e8: DUP2 000018e9: MSTORE 000018ea: PUSH1 0x08 000018ec: PUSH1 0x20 000018ee: MSTORE 000018ef: PUSH1 0x40 000018f1: DUP1 000018f2: DUP3 000018f3: KECCAK256 000018f4: PUSH1 0x02 000018f6: ADD 000018f7: SWAP3 000018f8: SWAP1 000018f9: SWAP3 000018fa: SSTORE 000018fb: CALLER 000018fc: DUP2 000018fd: MSTORE 000018fe: KECCAK256 000018ff: PUSH1 0x05 00001901: ADD 00001902: SLOAD 00001903: PUSH2 0x1912 00001906: SWAP1 00001907: DUP7 00001908: PUSH4 0xffffffff 0000190d: PUSH2 0x182d 00001910: AND 00001911: JUMP 00001912: JUMPDEST 00001913: CALLER 00001914: PUSH1 0x00 00001916: SWAP1 00001917: DUP2 00001918: MSTORE 00001919: PUSH1 0x08 0000191b: PUSH1 0x20 0000191d: SWAP1 0000191e: DUP2 0000191f: MSTORE 00001920: PUSH1 0x40 00001922: DUP1 00001923: DUP4 00001924: KECCAK256 00001925: PUSH1 0x05 00001927: ADD 00001928: SWAP4 00001929: SWAP1 0000192a: SWAP4 0000192b: SSTORE 0000192c: PUSH1 0x01 0000192e: PUSH1 0xa0 00001930: PUSH1 0x02 00001932: EXP 00001933: SUB 00001934: DUP11 00001935: DUP2 00001936: AND 00001937: DUP4 00001938: MSTORE 00001939: PUSH1 0x09 0000193b: SWAP1 0000193c: SWAP2 0000193d: MSTORE 0000193e: SWAP2 0000193f: SWAP1 00001940: KECCAK256 00001941: SLOAD 00001942: AND 00001943: SWAP4 00001944: POP 00001945: DUP4 00001946: ISZERO 00001947: PUSH2 0x1c16 0000194a: JUMPI 0000194b: PUSH1 0x01 0000194d: PUSH1 0xa0 0000194f: PUSH1 0x02 00001951: EXP 00001952: SUB 00001953: DUP5 00001954: AND 00001955: PUSH1 0x00 00001957: SWAP1 00001958: DUP2 00001959: MSTORE 0000195a: PUSH1 0x08 0000195c: PUSH1 0x20 0000195e: MSTORE 0000195f: PUSH1 0x40 00001961: SWAP1 00001962: KECCAK256 00001963: PUSH1 0x04 00001965: ADD 00001966: SLOAD 00001967: PUSH2 0x197f 0000196a: SWAP1 0000196b: PUSH2 0x0fa0 0000196e: SWAP1 0000196f: PUSH2 0x0bc8 00001972: SWAP1 00001973: DUP10 00001974: SWAP1 00001975: PUSH4 0xffffffff 0000197a: PUSH2 0x1c20 0000197d: AND 0000197e: JUMP 0000197f: JUMPDEST 00001980: PUSH1 0x01 00001982: PUSH1 0xa0 00001984: PUSH1 0x02 00001986: EXP 00001987: SUB 00001988: DUP6 00001989: AND 0000198a: PUSH1 0x00 0000198c: SWAP1 0000198d: DUP2 0000198e: MSTORE 0000198f: PUSH1 0x08 00001991: PUSH1 0x20 00001993: MSTORE 00001994: PUSH1 0x40 00001996: SWAP1 00001997: KECCAK256 00001998: PUSH1 0x03 0000199a: ADD 0000199b: SLOAD 0000199c: SWAP1 0000199d: SWAP4 0000199e: POP 0000199f: PUSH2 0x19ae 000019a2: SWAP1 000019a3: DUP5 000019a4: PUSH4 0xffffffff 000019a9: PUSH2 0x182d 000019ac: AND 000019ad: JUMP 000019ae: JUMPDEST 000019af: PUSH1 0x01 000019b1: PUSH1 0xa0 000019b3: PUSH1 0x02 000019b5: EXP 000019b6: SUB 000019b7: DUP6 000019b8: AND 000019b9: PUSH1 0x00 000019bb: SWAP1 000019bc: DUP2 000019bd: MSTORE 000019be: PUSH1 0x08 000019c0: PUSH1 0x20 000019c2: MSTORE 000019c3: PUSH1 0x40 000019c5: SWAP1 000019c6: KECCAK256 000019c7: PUSH1 0x03 000019c9: DUP2 000019ca: ADD 000019cb: SWAP2 000019cc: SWAP1 000019cd: SWAP2 000019ce: SSTORE 000019cf: PUSH1 0x02 000019d1: ADD 000019d2: SLOAD 000019d3: PUSH2 0x19e2 000019d6: SWAP1 000019d7: DUP5 000019d8: PUSH4 0xffffffff 000019dd: PUSH2 0x182d 000019e0: AND 000019e1: JUMP 000019e2: JUMPDEST 000019e3: PUSH1 0x01 000019e5: PUSH1 0xa0 000019e7: PUSH1 0x02 000019e9: EXP 000019ea: SUB 000019eb: DUP6 000019ec: AND 000019ed: PUSH1 0x00 000019ef: SWAP1 000019f0: DUP2 000019f1: MSTORE 000019f2: PUSH1 0x08 000019f4: PUSH1 0x20 000019f6: MSTORE 000019f7: PUSH1 0x40 000019f9: DUP1 000019fa: DUP3 000019fb: KECCAK256 000019fc: PUSH1 0x02 000019fe: ADD 000019ff: SWAP3 00001a00: SWAP1 00001a01: SWAP3 00001a02: SSTORE 00001a03: CALLER 00001a04: DUP2 00001a05: MSTORE 00001a06: KECCAK256 00001a07: PUSH1 0x06 00001a09: ADD 00001a0a: SLOAD 00001a0b: PUSH2 0x1a1a 00001a0e: SWAP1 00001a0f: DUP5 00001a10: PUSH4 0xffffffff 00001a15: PUSH2 0x182d 00001a18: AND 00001a19: JUMP 00001a1a: JUMPDEST 00001a1b: CALLER 00001a1c: PUSH1 0x00 00001a1e: SWAP1 00001a1f: DUP2 00001a20: MSTORE 00001a21: PUSH1 0x08 00001a23: PUSH1 0x20 00001a25: MSTORE 00001a26: PUSH1 0x40 00001a28: DUP1 00001a29: DUP3 00001a2a: KECCAK256 00001a2b: PUSH1 0x06 00001a2d: ADD 00001a2e: SWAP3 00001a2f: SWAP1 00001a30: SWAP3 00001a31: SSTORE 00001a32: PUSH1 0x01 00001a34: PUSH1 0xa0 00001a36: PUSH1 0x02 00001a38: EXP 00001a39: SUB 00001a3a: DUP10 00001a3b: AND 00001a3c: DUP2 00001a3d: MSTORE 00001a3e: KECCAK256 00001a3f: PUSH1 0x05 00001a41: ADD 00001a42: SLOAD 00001a43: PUSH2 0x1a52 00001a46: SWAP1 00001a47: DUP5 00001a48: PUSH4 0xffffffff 00001a4d: PUSH2 0x182d 00001a50: AND 00001a51: JUMP 00001a52: JUMPDEST 00001a53: PUSH1 0x01 00001a55: PUSH1 0xa0 00001a57: PUSH1 0x02 00001a59: EXP 00001a5a: SUB 00001a5b: DUP9 00001a5c: AND 00001a5d: PUSH1 0x00 00001a5f: SWAP1 00001a60: DUP2 00001a61: MSTORE 00001a62: PUSH1 0x08 00001a64: PUSH1 0x20 00001a66: MSTORE 00001a67: PUSH1 0x40 00001a69: SWAP1 00001a6a: KECCAK256 00001a6b: PUSH1 0x05 00001a6d: ADD 00001a6e: SSTORE 00001a6f: PUSH2 0x1a7e 00001a72: DUP6 00001a73: DUP5 00001a74: PUSH4 0xffffffff 00001a79: PUSH2 0x182d 00001a7c: AND 00001a7d: JUMP 00001a7e: JUMPDEST 00001a7f: PUSH1 0x01 00001a81: PUSH1 0xa0 00001a83: PUSH1 0x02 00001a85: EXP 00001a86: SUB 00001a87: DUP1 00001a88: DUP7 00001a89: AND 00001a8a: PUSH1 0x00 00001a8c: SWAP1 00001a8d: DUP2 00001a8e: MSTORE 00001a8f: PUSH1 0x09 00001a91: PUSH1 0x20 00001a93: MSTORE 00001a94: PUSH1 0x40 00001a96: SWAP1 00001a97: KECCAK256 00001a98: SLOAD 00001a99: SWAP2 00001a9a: SWAP7 00001a9b: POP 00001a9c: AND 00001a9d: SWAP2 00001a9e: POP 00001a9f: DUP2 00001aa0: ISZERO 00001aa1: PUSH2 0x1c16 00001aa4: JUMPI 00001aa5: PUSH1 0x01 00001aa7: PUSH1 0xa0 00001aa9: PUSH1 0x02 00001aab: EXP 00001aac: SUB 00001aad: DUP3 00001aae: AND 00001aaf: PUSH1 0x00 00001ab1: SWAP1 00001ab2: DUP2 00001ab3: MSTORE 00001ab4: PUSH1 0x08 00001ab6: PUSH1 0x20 00001ab8: MSTORE 00001ab9: PUSH1 0x40 00001abb: SWAP1 00001abc: KECCAK256 00001abd: PUSH1 0x04 00001abf: ADD 00001ac0: SLOAD 00001ac1: PUSH2 0x1ad9 00001ac4: SWAP1 00001ac5: PUSH2 0x0fa0 00001ac8: SWAP1 00001ac9: PUSH2 0x0bc8 00001acc: SWAP1 00001acd: DUP10 00001ace: SWAP1 00001acf: PUSH4 0xffffffff 00001ad4: PUSH2 0x1c20 00001ad7: AND 00001ad8: JUMP 00001ad9: JUMPDEST 00001ada: PUSH1 0x01 00001adc: PUSH1 0xa0 00001ade: PUSH1 0x02 00001ae0: EXP 00001ae1: SUB 00001ae2: DUP4 00001ae3: AND 00001ae4: PUSH1 0x00 00001ae6: SWAP1 00001ae7: DUP2 00001ae8: MSTORE 00001ae9: PUSH1 0x08 00001aeb: PUSH1 0x20 00001aed: MSTORE 00001aee: PUSH1 0x40 00001af0: SWAP1 00001af1: KECCAK256 00001af2: PUSH1 0x03 00001af4: ADD 00001af5: SLOAD 00001af6: SWAP1 00001af7: SWAP2 00001af8: POP 00001af9: PUSH2 0x1b08 00001afc: SWAP1 00001afd: DUP3 00001afe: PUSH4 0xffffffff 00001b03: PUSH2 0x182d 00001b06: AND 00001b07: JUMP 00001b08: JUMPDEST 00001b09: PUSH1 0x01 00001b0b: PUSH1 0xa0 00001b0d: PUSH1 0x02 00001b0f: EXP 00001b10: SUB 00001b11: DUP4 00001b12: AND 00001b13: PUSH1 0x00 00001b15: SWAP1 00001b16: DUP2 00001b17: MSTORE 00001b18: PUSH1 0x08 00001b1a: PUSH1 0x20 00001b1c: MSTORE 00001b1d: PUSH1 0x40 00001b1f: SWAP1 00001b20: KECCAK256 00001b21: PUSH1 0x03 00001b23: DUP2 00001b24: ADD 00001b25: SWAP2 00001b26: SWAP1 00001b27: SWAP2 00001b28: SSTORE 00001b29: PUSH1 0x02 00001b2b: ADD 00001b2c: SLOAD 00001b2d: PUSH2 0x1b3c 00001b30: SWAP1 00001b31: DUP3 00001b32: PUSH4 0xffffffff 00001b37: PUSH2 0x182d 00001b3a: AND 00001b3b: JUMP 00001b3c: JUMPDEST 00001b3d: PUSH1 0x01 00001b3f: PUSH1 0xa0 00001b41: PUSH1 0x02 00001b43: EXP 00001b44: SUB 00001b45: DUP4 00001b46: AND 00001b47: PUSH1 0x00 00001b49: SWAP1 00001b4a: DUP2 00001b4b: MSTORE 00001b4c: PUSH1 0x08 00001b4e: PUSH1 0x20 00001b50: MSTORE 00001b51: PUSH1 0x40 00001b53: DUP1 00001b54: DUP3 00001b55: KECCAK256 00001b56: PUSH1 0x02 00001b58: ADD 00001b59: SWAP3 00001b5a: SWAP1 00001b5b: SWAP3 00001b5c: SSTORE 00001b5d: CALLER 00001b5e: DUP2 00001b5f: MSTORE 00001b60: KECCAK256 00001b61: PUSH1 0x07 00001b63: ADD 00001b64: SLOAD 00001b65: PUSH2 0x1b74 00001b68: SWAP1 00001b69: DUP3 00001b6a: PUSH4 0xffffffff 00001b6f: PUSH2 0x182d 00001b72: AND 00001b73: JUMP 00001b74: JUMPDEST 00001b75: CALLER 00001b76: PUSH1 0x00 00001b78: SWAP1 00001b79: DUP2 00001b7a: MSTORE 00001b7b: PUSH1 0x08 00001b7d: PUSH1 0x20 00001b7f: MSTORE 00001b80: PUSH1 0x40 00001b82: DUP1 00001b83: DUP3 00001b84: KECCAK256 00001b85: PUSH1 0x07 00001b87: ADD 00001b88: SWAP3 00001b89: SWAP1 00001b8a: SWAP3 00001b8b: SSTORE 00001b8c: PUSH1 0x01 00001b8e: PUSH1 0xa0 00001b90: PUSH1 0x02 00001b92: EXP 00001b93: SUB 00001b94: DUP10 00001b95: AND 00001b96: DUP2 00001b97: MSTORE 00001b98: KECCAK256 00001b99: PUSH1 0x06 00001b9b: ADD 00001b9c: SLOAD 00001b9d: PUSH2 0x1bac 00001ba0: SWAP1 00001ba1: DUP3 00001ba2: PUSH4 0xffffffff 00001ba7: PUSH2 0x182d 00001baa: AND 00001bab: JUMP 00001bac: JUMPDEST 00001bad: PUSH1 0x01 00001baf: PUSH1 0xa0 00001bb1: PUSH1 0x02 00001bb3: EXP 00001bb4: SUB 00001bb5: DUP1 00001bb6: DUP10 00001bb7: AND 00001bb8: PUSH1 0x00 00001bba: SWAP1 00001bbb: DUP2 00001bbc: MSTORE 00001bbd: PUSH1 0x08 00001bbf: PUSH1 0x20 00001bc1: MSTORE 00001bc2: PUSH1 0x40 00001bc4: DUP1 00001bc5: DUP3 00001bc6: KECCAK256 00001bc7: PUSH1 0x06 00001bc9: ADD 00001bca: SWAP4 00001bcb: SWAP1 00001bcc: SWAP4 00001bcd: SSTORE 00001bce: SWAP1 00001bcf: DUP7 00001bd0: AND 00001bd1: DUP2 00001bd2: MSTORE 00001bd3: KECCAK256 00001bd4: PUSH1 0x05 00001bd6: ADD 00001bd7: SLOAD 00001bd8: PUSH2 0x1be7 00001bdb: SWAP1 00001bdc: DUP3 00001bdd: PUSH4 0xffffffff 00001be2: PUSH2 0x182d 00001be5: AND 00001be6: JUMP 00001be7: JUMPDEST 00001be8: PUSH1 0x01 00001bea: PUSH1 0xa0 00001bec: PUSH1 0x02 00001bee: EXP 00001bef: SUB 00001bf0: DUP6 00001bf1: AND 00001bf2: PUSH1 0x00 00001bf4: SWAP1 00001bf5: DUP2 00001bf6: MSTORE 00001bf7: PUSH1 0x08 00001bf9: PUSH1 0x20 00001bfb: MSTORE 00001bfc: PUSH1 0x40 00001bfe: SWAP1 00001bff: KECCAK256 00001c00: PUSH1 0x05 00001c02: ADD 00001c03: SSTORE 00001c04: PUSH2 0x1c13 00001c07: DUP6 00001c08: DUP3 00001c09: PUSH4 0xffffffff 00001c0e: PUSH2 0x182d 00001c11: AND 00001c12: JUMP 00001c13: JUMPDEST 00001c14: SWAP5 00001c15: POP 00001c16: JUMPDEST 00001c17: POP 00001c18: POP 00001c19: POP 00001c1a: POP 00001c1b: SWAP3 00001c1c: SWAP2 00001c1d: POP 00001c1e: POP 00001c1f: JUMP 00001c20: JUMPDEST 00001c21: PUSH1 0x00 00001c23: DUP3 00001c24: ISZERO 00001c25: ISZERO 00001c26: PUSH2 0x1c31 00001c29: JUMPI 00001c2a: POP 00001c2b: PUSH1 0x00 00001c2d: PUSH2 0x0e1e 00001c30: JUMP 00001c31: JUMPDEST 00001c32: POP 00001c33: DUP2 00001c34: DUP2 00001c35: MUL 00001c36: DUP2 00001c37: DUP4 00001c38: DUP3 00001c39: DUP2 00001c3a: ISZERO 00001c3b: ISZERO 00001c3c: PUSH2 0x1c41 00001c3f: JUMPI 00001c40: INVALID 00001c41: JUMPDEST 00001c42: DIV 00001c43: EQ 00001c44: PUSH2 0x0e1e 00001c47: JUMPI 00001c48: INVALID 00001c49: JUMPDEST 00001c4a: PUSH1 0x00 00001c4c: DUP2 00001c4d: DUP4 00001c4e: DUP2 00001c4f: ISZERO 00001c50: ISZERO 00001c51: PUSH2 0x1c56 00001c54: JUMPI 00001c55: INVALID 00001c56: JUMPDEST 00001c57: DIV 00001c58: SWAP4 00001c59: SWAP3 00001c5a: POP 00001c5b: POP 00001c5c: POP 00001c5d: JUMP 00001c5e: STOP 00001c5f: LOG1 00001c60: PUSH6 0x627a7a723058 00001c67: KECCAK256 00001c68: PUSH24 0x210c8d0a61692bff46c142b341c6b23988f1026c9407d79b 00001c81: SWAP6 00001c82: UNKNOWN(0xE8) 00001c83: UNKNOWN(0x23) 00001c84: ADD 00001c85: EXTCODECOPY 00001c86: UNKNOWN(0xB3) 00001c87: PC 00001c88: STOP 00001c89: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5fbfb448bca3442a39819ac450f6f8a55cfc98e7828855c3fc214c22841661dd
call_targets:
0xda9717ea4a345f6a0fee9ff491d3b8e11c723aa1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5fbfb448bca3442a39819ac450f6f8a55cfc98e7828855c3fc214c22841661dd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xda9717ea4a345f6a0fee9ff491d3b8e11c723aa1"
],
"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": "0x05174c75",
"selector": "0x05174c75",
"calldata_variants": [
"0x05174c75",
"0x05174c750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a084473",
"selector": "0x0a084473",
"calldata_variants": [
"0x0a084473",
"0x0a0844730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x163adeaf",
"selector": "0x163adeaf",
"calldata_variants": [
"0x163adeaf",
"0x163adeaf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4004,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4671,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 3723,
"type": "msg_sender_eq_storage"
},
{
"pc": 4537,
"type": "msg_sender_eq_storage"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5fbfb448bca3442a39819ac450f6f8a55cfc98e7828855c3fc214c22841661dd
call_targets:
0xda9717ea4a345f6a0fee9ff491d3b8e11c723aa1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5fbfb448bca3442a39819ac450f6f8a55cfc98e7828855c3fc214c22841661dd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xda9717ea4a345f6a0fee9ff491d3b8e11c723aa1"
],
"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": "0x05174c75",
"selector": "0x05174c75",
"calldata_variants": [
"0x05174c75",
"0x05174c750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a084473",
"selector": "0x0a084473",
"calldata_variants": [
"0x0a084473",
"0x0a0844730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x163adeaf",
"selector": "0x163adeaf",
"calldata_variants": [
"0x163adeaf",
"0x163adeaf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4004,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4671,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 3723,
"type": "msg_sender_eq_storage"
},
{
"pc": 4537,
"type": "msg_sender_eq_storage"
}
]
}
|