019b3844-94f9-7167-8193-a96ffdca396c
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 |
|---|---|---|---|---|
| 13285 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13286 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112266 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112267 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112268 | detector.run | complete | 1 / 3 | 1 week ago |
| 112269 | 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 0x0132 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x22fdd3ea 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0137 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x2453ffa8 00000046: EQ 00000047: PUSH2 0x0182 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x41f9377f 00000051: EQ 00000052: PUSH2 0x0197 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x514fcac7 0000005c: EQ 0000005d: PUSH2 0x01b4 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x53e1a7a0 00000067: EQ 00000068: PUSH2 0x01cc 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x61d027b3 00000072: EQ 00000073: PUSH2 0x01e1 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x6fb768e8 0000007d: EQ 0000007e: PUSH2 0x0212 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x78d067dd 00000088: EQ 00000089: PUSH2 0x0227 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x87bda8f2 00000093: EQ 00000094: PUSH2 0x0242 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x89a447e0 0000009e: EQ 0000009f: PUSH2 0x025a 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa4ff9c34 000000a9: EQ 000000aa: PUSH2 0x026f 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xc0ee0b8a 000000b4: EQ 000000b5: PUSH2 0x027a 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xc49063e7 000000bf: EQ 000000c0: PUSH2 0x02e3 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xc655de64 000000ca: EQ 000000cb: PUSH2 0x02fe 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xcb2bb264 000000d5: EQ 000000d6: PUSH2 0x0313 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xcf6ff173 000000e0: EQ 000000e1: PUSH2 0x032d 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xd4fac45d 000000eb: EQ 000000ec: PUSH2 0x0354 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xd6e43585 000000f6: EQ 000000f7: PUSH2 0x037b 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xe3319e82 00000101: EQ 00000102: PUSH2 0x03a7 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xeeb3377a 0000010c: EQ 0000010d: PUSH2 0x03c9 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xf2037fec 00000117: EQ 00000118: PUSH2 0x03f9 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xfc5f4241 00000122: EQ 00000123: PUSH2 0x040e 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xff700e52 0000012d: EQ 0000012e: PUSH2 0x0423 00000131: JUMPI 00000132: JUMPDEST 00000133: PUSH1 0x00 00000135: DUP1 00000136: REVERT 00000137: JUMPDEST 00000138: CALLVALUE 00000139: DUP1 0000013a: ISZERO 0000013b: PUSH2 0x0143 0000013e: JUMPI 0000013f: PUSH1 0x00 00000141: DUP1 00000142: REVERT 00000143: JUMPDEST 00000144: POP 00000145: PUSH2 0x0170 00000148: PUSH1 0x01 0000014a: PUSH1 0xa0 0000014c: PUSH1 0x02 0000014e: EXP 0000014f: SUB 00000150: PUSH1 0x04 00000152: CALLDATALOAD 00000153: DUP2 00000154: AND 00000155: SWAP1 00000156: PUSH1 0x24 00000158: CALLDATALOAD 00000159: DUP2 0000015a: AND 0000015b: SWAP1 0000015c: PUSH1 0x44 0000015e: CALLDATALOAD 0000015f: SWAP1 00000160: PUSH1 0x64 00000162: CALLDATALOAD 00000163: SWAP1 00000164: PUSH1 0x84 00000166: CALLDATALOAD 00000167: SWAP1 00000168: PUSH1 0xa4 0000016a: CALLDATALOAD 0000016b: AND 0000016c: PUSH2 0x043e 0000016f: JUMP 00000170: JUMPDEST 00000171: PUSH1 0x40 00000173: DUP1 00000174: MLOAD 00000175: SWAP2 00000176: DUP3 00000177: MSTORE 00000178: MLOAD 00000179: SWAP1 0000017a: DUP2 0000017b: SWAP1 0000017c: SUB 0000017d: PUSH1 0x20 0000017f: ADD 00000180: SWAP1 00000181: RETURN 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x0170 00000193: PUSH2 0x0474 00000196: JUMP 00000197: JUMPDEST 00000198: CALLVALUE 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x01a3 0000019e: JUMPI 0000019f: PUSH1 0x00 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: POP 000001a5: PUSH2 0x01b2 000001a8: PUSH1 0x04 000001aa: CALLDATALOAD 000001ab: PUSH1 0x24 000001ad: CALLDATALOAD 000001ae: PUSH2 0x047a 000001b1: JUMP 000001b2: JUMPDEST 000001b3: STOP 000001b4: JUMPDEST 000001b5: CALLVALUE 000001b6: DUP1 000001b7: ISZERO 000001b8: PUSH2 0x01c0 000001bb: JUMPI 000001bc: PUSH1 0x00 000001be: DUP1 000001bf: REVERT 000001c0: JUMPDEST 000001c1: POP 000001c2: PUSH2 0x01b2 000001c5: PUSH1 0x04 000001c7: CALLDATALOAD 000001c8: PUSH2 0x04a8 000001cb: JUMP 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: DUP1 000001cf: ISZERO 000001d0: PUSH2 0x01d8 000001d3: JUMPI 000001d4: PUSH1 0x00 000001d6: DUP1 000001d7: REVERT 000001d8: JUMPDEST 000001d9: POP 000001da: PUSH2 0x0170 000001dd: PUSH2 0x0660 000001e0: JUMP 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: DUP1 000001e4: ISZERO 000001e5: PUSH2 0x01ed 000001e8: JUMPI 000001e9: PUSH1 0x00 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: POP 000001ef: PUSH2 0x01f6 000001f2: PUSH2 0x0666 000001f5: JUMP 000001f6: JUMPDEST 000001f7: PUSH1 0x40 000001f9: DUP1 000001fa: MLOAD 000001fb: PUSH1 0x01 000001fd: PUSH1 0xa0 000001ff: PUSH1 0x02 00000201: EXP 00000202: SUB 00000203: SWAP1 00000204: SWAP3 00000205: AND 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 0x0170 00000223: PUSH2 0x0675 00000226: JUMP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: DUP1 0000022a: ISZERO 0000022b: PUSH2 0x0233 0000022e: JUMPI 0000022f: PUSH1 0x00 00000231: DUP1 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: PUSH2 0x0170 00000238: PUSH1 0x04 0000023a: CALLDATALOAD 0000023b: PUSH1 0x24 0000023d: CALLDATALOAD 0000023e: PUSH2 0x067b 00000241: JUMP 00000242: JUMPDEST 00000243: CALLVALUE 00000244: DUP1 00000245: ISZERO 00000246: PUSH2 0x024e 00000249: JUMPI 0000024a: PUSH1 0x00 0000024c: DUP1 0000024d: REVERT 0000024e: JUMPDEST 0000024f: POP 00000250: PUSH2 0x0170 00000253: PUSH1 0x04 00000255: CALLDATALOAD 00000256: PUSH2 0x0738 00000259: JUMP 0000025a: JUMPDEST 0000025b: CALLVALUE 0000025c: DUP1 0000025d: ISZERO 0000025e: PUSH2 0x0266 00000261: JUMPI 00000262: PUSH1 0x00 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: PUSH2 0x0170 0000026b: PUSH2 0x074d 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH2 0x01b2 00000273: PUSH1 0x04 00000275: CALLDATALOAD 00000276: PUSH2 0x0753 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH1 0x40 0000028a: DUP1 0000028b: MLOAD 0000028c: PUSH1 0x20 0000028e: PUSH1 0x04 00000290: PUSH1 0x44 00000292: CALLDATALOAD 00000293: DUP2 00000294: DUP2 00000295: ADD 00000296: CALLDATALOAD 00000297: PUSH1 0x1f 00000299: DUP2 0000029a: ADD 0000029b: DUP5 0000029c: SWAP1 0000029d: DIV 0000029e: DUP5 0000029f: MUL 000002a0: DUP6 000002a1: ADD 000002a2: DUP5 000002a3: ADD 000002a4: SWAP1 000002a5: SWAP6 000002a6: MSTORE 000002a7: DUP5 000002a8: DUP5 000002a9: MSTORE 000002aa: PUSH2 0x01b2 000002ad: SWAP5 000002ae: DUP3 000002af: CALLDATALOAD 000002b0: PUSH1 0x01 000002b2: PUSH1 0xa0 000002b4: PUSH1 0x02 000002b6: EXP 000002b7: SUB 000002b8: AND 000002b9: SWAP5 000002ba: PUSH1 0x24 000002bc: DUP1 000002bd: CALLDATALOAD 000002be: SWAP6 000002bf: CALLDATASIZE 000002c0: SWAP6 000002c1: SWAP5 000002c2: PUSH1 0x64 000002c4: SWAP5 000002c5: SWAP3 000002c6: ADD 000002c7: SWAP2 000002c8: SWAP1 000002c9: DUP2 000002ca: SWAP1 000002cb: DUP5 000002cc: ADD 000002cd: DUP4 000002ce: DUP3 000002cf: DUP1 000002d0: DUP3 000002d1: DUP5 000002d2: CALLDATACOPY 000002d3: POP 000002d4: SWAP5 000002d5: SWAP8 000002d6: POP 000002d7: PUSH2 0x077d 000002da: SWAP7 000002db: POP 000002dc: POP 000002dd: POP 000002de: POP 000002df: POP 000002e0: POP 000002e1: POP 000002e2: JUMP 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x0170 000002f4: PUSH1 0x04 000002f6: CALLDATALOAD 000002f7: PUSH1 0x24 000002f9: CALLDATALOAD 000002fa: PUSH2 0x0882 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: POP 0000030c: PUSH2 0x0170 0000030f: PUSH2 0x08fb 00000312: JUMP 00000313: JUMPDEST 00000314: PUSH2 0x0170 00000317: PUSH1 0x01 00000319: PUSH1 0xa0 0000031b: PUSH1 0x02 0000031d: EXP 0000031e: SUB 0000031f: PUSH1 0x04 00000321: CALLDATALOAD 00000322: AND 00000323: PUSH1 0x24 00000325: CALLDATALOAD 00000326: PUSH1 0x44 00000328: CALLDATALOAD 00000329: PUSH2 0x0901 0000032c: JUMP 0000032d: JUMPDEST 0000032e: CALLVALUE 0000032f: DUP1 00000330: ISZERO 00000331: PUSH2 0x0339 00000334: JUMPI 00000335: PUSH1 0x00 00000337: DUP1 00000338: REVERT 00000339: JUMPDEST 0000033a: POP 0000033b: PUSH2 0x01b2 0000033e: PUSH1 0x04 00000340: CALLDATALOAD 00000341: PUSH1 0x01 00000343: PUSH1 0xa0 00000345: PUSH1 0x02 00000347: EXP 00000348: SUB 00000349: PUSH1 0x24 0000034b: CALLDATALOAD 0000034c: AND 0000034d: PUSH1 0x44 0000034f: CALLDATALOAD 00000350: PUSH2 0x0933 00000353: JUMP 00000354: JUMPDEST 00000355: CALLVALUE 00000356: DUP1 00000357: ISZERO 00000358: PUSH2 0x0360 0000035b: JUMPI 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: REVERT 00000360: JUMPDEST 00000361: POP 00000362: PUSH2 0x0170 00000365: PUSH1 0x01 00000367: PUSH1 0xa0 00000369: PUSH1 0x02 0000036b: EXP 0000036c: SUB 0000036d: PUSH1 0x04 0000036f: CALLDATALOAD 00000370: DUP2 00000371: AND 00000372: SWAP1 00000373: PUSH1 0x24 00000375: CALLDATALOAD 00000376: AND 00000377: PUSH2 0x0962 0000037a: JUMP 0000037b: JUMPDEST 0000037c: CALLVALUE 0000037d: DUP1 0000037e: ISZERO 0000037f: PUSH2 0x0387 00000382: JUMPI 00000383: PUSH1 0x00 00000385: DUP1 00000386: REVERT 00000387: JUMPDEST 00000388: POP 00000389: PUSH2 0x0393 0000038c: PUSH1 0x04 0000038e: CALLDATALOAD 0000038f: PUSH2 0x098e 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH1 0x40 00000396: DUP1 00000397: MLOAD 00000398: SWAP2 00000399: ISZERO 0000039a: ISZERO 0000039b: DUP3 0000039c: MSTORE 0000039d: MLOAD 0000039e: SWAP1 0000039f: DUP2 000003a0: SWAP1 000003a1: SUB 000003a2: PUSH1 0x20 000003a4: ADD 000003a5: SWAP1 000003a6: RETURN 000003a7: JUMPDEST 000003a8: PUSH2 0x0170 000003ab: PUSH1 0x01 000003ad: PUSH1 0xa0 000003af: PUSH1 0x02 000003b1: EXP 000003b2: SUB 000003b3: PUSH1 0x04 000003b5: CALLDATALOAD 000003b6: DUP2 000003b7: AND 000003b8: SWAP1 000003b9: PUSH1 0x24 000003bb: CALLDATALOAD 000003bc: SWAP1 000003bd: PUSH1 0x44 000003bf: CALLDATALOAD 000003c0: SWAP1 000003c1: PUSH1 0x64 000003c3: CALLDATALOAD 000003c4: AND 000003c5: PUSH2 0x09aa 000003c8: JUMP 000003c9: JUMPDEST 000003ca: CALLVALUE 000003cb: DUP1 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: POP 000003d7: PUSH2 0x0170 000003da: PUSH1 0x01 000003dc: PUSH1 0xa0 000003de: PUSH1 0x02 000003e0: EXP 000003e1: SUB 000003e2: PUSH1 0x04 000003e4: CALLDATALOAD 000003e5: DUP2 000003e6: AND 000003e7: SWAP1 000003e8: PUSH1 0x24 000003ea: CALLDATALOAD 000003eb: AND 000003ec: PUSH1 0x44 000003ee: CALLDATALOAD 000003ef: PUSH1 0x64 000003f1: CALLDATALOAD 000003f2: PUSH1 0x84 000003f4: CALLDATALOAD 000003f5: PUSH2 0x09dd 000003f8: JUMP 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: PUSH2 0x01b2 0000040a: PUSH2 0x0a27 0000040d: JUMP 0000040e: JUMPDEST 0000040f: CALLVALUE 00000410: DUP1 00000411: ISZERO 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: POP 0000041c: PUSH2 0x0170 0000041f: PUSH2 0x0a83 00000422: JUMP 00000423: JUMPDEST 00000424: CALLVALUE 00000425: DUP1 00000426: ISZERO 00000427: PUSH2 0x042f 0000042a: JUMPI 0000042b: PUSH1 0x00 0000042d: DUP1 0000042e: REVERT 0000042f: JUMPDEST 00000430: POP 00000431: PUSH2 0x0170 00000434: PUSH1 0x04 00000436: CALLDATALOAD 00000437: PUSH1 0x24 00000439: CALLDATALOAD 0000043a: PUSH2 0x0a89 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH1 0x00 00000441: DUP1 00000442: DUP1 00000443: DUP7 00000444: GT 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: PUSH2 0x0457 00000451: DUP9 00000452: DUP8 00000453: PUSH2 0x0b64 00000456: JUMP 00000457: JUMPDEST 00000458: SWAP1 00000459: POP 0000045a: PUSH2 0x0468 0000045d: CALLER 0000045e: DUP10 0000045f: DUP10 00000460: DUP5 00000461: DUP10 00000462: DUP10 00000463: DUP10 00000464: PUSH2 0x0d6b 00000467: JUMP 00000468: JUMPDEST 00000469: SWAP9 0000046a: SWAP8 0000046b: POP 0000046c: POP 0000046d: POP 0000046e: POP 0000046f: POP 00000470: POP 00000471: POP 00000472: POP 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH1 0x03 00000477: SLOAD 00000478: DUP2 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x06 0000047d: SLOAD 0000047e: PUSH1 0x01 00000480: PUSH1 0xa0 00000482: PUSH1 0x02 00000484: EXP 00000485: SUB 00000486: AND 00000487: CALLER 00000488: EQ 00000489: PUSH2 0x0491 0000048c: JUMPI 0000048d: PUSH1 0x00 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: DUP1 00000493: ISZERO 00000494: ISZERO 00000495: PUSH2 0x049d 00000498: JUMPI 00000499: PUSH1 0x00 0000049b: DUP1 0000049c: REVERT 0000049d: JUMPDEST 0000049e: PUSH1 0x0b 000004a0: SWAP2 000004a1: SWAP1 000004a2: SWAP2 000004a3: SSTORE 000004a4: PUSH1 0x0c 000004a6: SSTORE 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: SLOAD 000004ad: PUSH1 0xff 000004af: AND 000004b0: ISZERO 000004b1: PUSH2 0x04b9 000004b4: JUMPI 000004b5: PUSH1 0x00 000004b7: DUP1 000004b8: REVERT 000004b9: JUMPDEST 000004ba: POP 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: SLOAD 000004bf: PUSH1 0xff 000004c1: NOT 000004c2: AND 000004c3: PUSH1 0x01 000004c5: OR 000004c6: DUP2 000004c7: SSTORE 000004c8: DUP2 000004c9: DUP2 000004ca: MSTORE 000004cb: PUSH1 0x02 000004cd: PUSH1 0x20 000004cf: MSTORE 000004d0: PUSH1 0x40 000004d2: DUP2 000004d3: KECCAK256 000004d4: PUSH1 0x04 000004d6: DUP2 000004d7: ADD 000004d8: SLOAD 000004d9: SWAP1 000004da: SWAP2 000004db: LT 000004dc: PUSH2 0x04e4 000004df: JUMPI 000004e0: PUSH1 0x00 000004e2: DUP1 000004e3: REVERT 000004e4: JUMPDEST 000004e5: DUP1 000004e6: SLOAD 000004e7: PUSH1 0xa0 000004e9: PUSH1 0x02 000004eb: EXP 000004ec: SWAP1 000004ed: DIV 000004ee: PUSH1 0xff 000004f0: AND 000004f1: ISZERO 000004f2: ISZERO 000004f3: PUSH2 0x04fb 000004f6: JUMPI 000004f7: PUSH1 0x00 000004f9: DUP1 000004fa: REVERT 000004fb: JUMPDEST 000004fc: DUP1 000004fd: SLOAD 000004fe: PUSH1 0x01 00000500: PUSH1 0xa0 00000502: PUSH1 0x02 00000504: EXP 00000505: SUB 00000506: AND 00000507: CALLER 00000508: EQ 00000509: PUSH2 0x0511 0000050c: JUMPI 0000050d: PUSH1 0x00 0000050f: DUP1 00000510: REVERT 00000511: JUMPDEST 00000512: PUSH1 0x04 00000514: DUP2 00000515: ADD 00000516: SLOAD 00000517: CALLER 00000518: PUSH1 0x00 0000051a: SWAP1 0000051b: DUP2 0000051c: MSTORE 0000051d: PUSH1 0x01 0000051f: PUSH1 0x20 00000521: DUP2 00000522: DUP2 00000523: MSTORE 00000524: PUSH1 0x40 00000526: DUP1 00000527: DUP5 00000528: KECCAK256 00000529: SWAP3 0000052a: DUP7 0000052b: ADD 0000052c: SLOAD 0000052d: PUSH1 0x01 0000052f: PUSH1 0xa0 00000531: PUSH1 0x02 00000533: EXP 00000534: SUB 00000535: AND 00000536: DUP5 00000537: MSTORE 00000538: SWAP2 00000539: SWAP1 0000053a: MSTORE 0000053b: SWAP1 0000053c: KECCAK256 0000053d: SLOAD 0000053e: PUSH2 0x054c 00000541: SWAP2 00000542: PUSH4 0xffffffff 00000547: PUSH2 0x104a 0000054a: AND 0000054b: JUMP 0000054c: JUMPDEST 0000054d: CALLER 0000054e: PUSH1 0x00 00000550: SWAP1 00000551: DUP2 00000552: MSTORE 00000553: PUSH1 0x01 00000555: PUSH1 0x20 00000557: DUP2 00000558: DUP2 00000559: MSTORE 0000055a: PUSH1 0x40 0000055c: DUP1 0000055d: DUP5 0000055e: KECCAK256 0000055f: SWAP3 00000560: DUP7 00000561: ADD 00000562: DUP1 00000563: SLOAD 00000564: PUSH1 0x01 00000566: PUSH1 0xa0 00000568: PUSH1 0x02 0000056a: EXP 0000056b: SUB 0000056c: SWAP1 0000056d: DUP2 0000056e: AND 0000056f: DUP7 00000570: MSTORE 00000571: SWAP4 00000572: SWAP1 00000573: SWAP3 00000574: MSTORE 00000575: SWAP1 00000576: SWAP3 00000577: KECCAK256 00000578: SWAP3 00000579: SWAP1 0000057a: SWAP3 0000057b: SSTORE 0000057c: DUP3 0000057d: SLOAD 0000057e: PUSH1 0x04 00000580: DUP5 00000581: ADD 00000582: SLOAD 00000583: SWAP2 00000584: SLOAD 00000585: PUSH2 0x0593 00000588: SWAP4 00000589: SWAP2 0000058a: DUP3 0000058b: AND 0000058c: SWAP3 0000058d: SWAP2 0000058e: AND 0000058f: PUSH2 0x105c 00000592: JUMP 00000593: JUMPDEST 00000594: ISZERO 00000595: ISZERO 00000596: PUSH2 0x059e 00000599: JUMPI 0000059a: PUSH1 0x00 0000059c: DUP1 0000059d: REVERT 0000059e: JUMPDEST 0000059f: PUSH1 0x00 000005a1: DUP3 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x02 000005a6: PUSH1 0x20 000005a8: DUP2 000005a9: DUP2 000005aa: MSTORE 000005ab: PUSH1 0x40 000005ad: DUP1 000005ae: DUP5 000005af: KECCAK256 000005b0: DUP1 000005b1: SLOAD 000005b2: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 000005c8: NOT 000005c9: AND 000005ca: DUP2 000005cb: SSTORE 000005cc: PUSH1 0x01 000005ce: DUP2 000005cf: ADD 000005d0: DUP1 000005d1: SLOAD 000005d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e7: NOT 000005e8: SWAP1 000005e9: DUP2 000005ea: AND 000005eb: SWAP1 000005ec: SWAP2 000005ed: SSTORE 000005ee: SWAP4 000005ef: DUP2 000005f0: ADD 000005f1: DUP1 000005f2: SLOAD 000005f3: DUP6 000005f4: AND 000005f5: SWAP1 000005f6: SSTORE 000005f7: PUSH1 0x03 000005f9: DUP2 000005fa: ADD 000005fb: DUP1 000005fc: SLOAD 000005fd: SWAP1 000005fe: SWAP5 000005ff: AND 00000600: SWAP1 00000601: SWAP4 00000602: SSTORE 00000603: PUSH1 0x04 00000605: DUP4 00000606: ADD 00000607: DUP5 00000608: SWAP1 00000609: SSTORE 0000060a: PUSH1 0x05 0000060c: DUP4 0000060d: ADD 0000060e: DUP5 0000060f: SWAP1 00000610: SSTORE 00000611: PUSH1 0x06 00000613: SWAP1 00000614: SWAP3 00000615: ADD 00000616: SWAP3 00000617: SWAP1 00000618: SWAP3 00000619: SSTORE 0000061a: DUP1 0000061b: MLOAD 0000061c: DUP5 0000061d: DUP2 0000061e: MSTORE 0000061f: TIMESTAMP 00000620: SWAP3 00000621: DUP2 00000622: ADD 00000623: SWAP3 00000624: SWAP1 00000625: SWAP3 00000626: MSTORE 00000627: DUP1 00000628: MLOAD 00000629: PUSH32 0xaa2a006d186dc89a3d6851834c85d16226329ac40bcad6531a5756a38ed1c90f 0000064a: SWAP3 0000064b: DUP2 0000064c: SWAP1 0000064d: SUB 0000064e: SWAP1 0000064f: SWAP2 00000650: ADD 00000651: SWAP1 00000652: LOG1 00000653: POP 00000654: POP 00000655: PUSH1 0x00 00000657: DUP1 00000658: SLOAD 00000659: PUSH1 0xff 0000065b: NOT 0000065c: AND 0000065d: SWAP1 0000065e: SSTORE 0000065f: JUMP 00000660: JUMPDEST 00000661: PUSH1 0x09 00000663: SLOAD 00000664: DUP2 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH1 0x08 00000669: SLOAD 0000066a: PUSH1 0x01 0000066c: PUSH1 0xa0 0000066e: PUSH1 0x02 00000670: EXP 00000671: SUB 00000672: AND 00000673: DUP2 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x0b 00000678: SLOAD 00000679: DUP2 0000067a: JUMP 0000067b: JUMPDEST 0000067c: PUSH1 0x00 0000067e: DUP2 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x02 00000683: PUSH1 0x20 00000685: MSTORE 00000686: PUSH1 0x40 00000688: DUP2 00000689: KECCAK256 0000068a: PUSH1 0x04 0000068c: SLOAD 0000068d: PUSH1 0x01 0000068f: DUP3 00000690: ADD 00000691: SLOAD 00000692: DUP4 00000693: SWAP2 00000694: PUSH1 0x01 00000696: PUSH1 0xa0 00000698: PUSH1 0x02 0000069a: EXP 0000069b: SUB 0000069c: SWAP2 0000069d: DUP3 0000069e: AND 0000069f: SWAP2 000006a0: AND 000006a1: EQ 000006a2: ISZERO 000006a3: PUSH2 0x06f5 000006a6: JUMPI 000006a7: PUSH2 0x06d1 000006aa: DUP3 000006ab: PUSH1 0x06 000006ad: ADD 000006ae: SLOAD 000006af: PUSH2 0x06c5 000006b2: DUP5 000006b3: PUSH1 0x05 000006b5: ADD 000006b6: SLOAD 000006b7: DUP9 000006b8: PUSH2 0x1164 000006bb: SWAP1 000006bc: SWAP2 000006bd: SWAP1 000006be: PUSH4 0xffffffff 000006c3: AND 000006c4: JUMP 000006c5: JUMPDEST 000006c6: SWAP1 000006c7: PUSH4 0xffffffff 000006cc: PUSH2 0x1193 000006cf: AND 000006d0: JUMP 000006d1: JUMPDEST 000006d2: SWAP1 000006d3: POP 000006d4: PUSH2 0x06ee 000006d7: PUSH1 0x0a 000006d9: SLOAD 000006da: PUSH2 0x06c5 000006dd: PUSH1 0x09 000006df: SLOAD 000006e0: DUP5 000006e1: PUSH2 0x1164 000006e4: SWAP1 000006e5: SWAP2 000006e6: SWAP1 000006e7: PUSH4 0xffffffff 000006ec: AND 000006ed: JUMP 000006ee: JUMPDEST 000006ef: SWAP3 000006f0: POP 000006f1: PUSH2 0x0730 000006f4: JUMP 000006f5: JUMPDEST 000006f6: PUSH1 0x04 000006f8: SLOAD 000006f9: PUSH1 0x02 000006fb: DUP4 000006fc: ADD 000006fd: SLOAD 000006fe: PUSH1 0x01 00000700: PUSH1 0xa0 00000702: PUSH1 0x02 00000704: EXP 00000705: SUB 00000706: SWAP1 00000707: DUP2 00000708: AND 00000709: SWAP2 0000070a: AND 0000070b: EQ 0000070c: ISZERO 0000070d: PUSH2 0x072b 00000710: JUMPI 00000711: PUSH2 0x06ee 00000714: PUSH1 0x0a 00000716: SLOAD 00000717: PUSH2 0x06c5 0000071a: PUSH1 0x09 0000071c: SLOAD 0000071d: DUP9 0000071e: PUSH2 0x1164 00000721: SWAP1 00000722: SWAP2 00000723: SWAP1 00000724: PUSH4 0xffffffff 00000729: AND 0000072a: JUMP 0000072b: JUMPDEST 0000072c: PUSH1 0x00 0000072e: SWAP3 0000072f: POP 00000730: JUMPDEST 00000731: POP 00000732: POP 00000733: SWAP3 00000734: SWAP2 00000735: POP 00000736: POP 00000737: JUMP 00000738: JUMPDEST 00000739: PUSH1 0x00 0000073b: SWAP1 0000073c: DUP2 0000073d: MSTORE 0000073e: PUSH1 0x02 00000740: PUSH1 0x20 00000742: MSTORE 00000743: PUSH1 0x40 00000745: SWAP1 00000746: KECCAK256 00000747: PUSH1 0x04 00000749: ADD 0000074a: SLOAD 0000074b: SWAP1 0000074c: JUMP 0000074d: JUMPDEST 0000074e: PUSH1 0x0a 00000750: SLOAD 00000751: DUP2 00000752: JUMP 00000753: JUMPDEST 00000754: PUSH1 0x00 00000756: CALLVALUE 00000757: GT 00000758: PUSH2 0x0760 0000075b: JUMPI 0000075c: PUSH1 0x00 0000075e: DUP1 0000075f: REVERT 00000760: JUMPDEST 00000761: PUSH1 0x04 00000763: SLOAD 00000764: PUSH2 0x077a 00000767: SWAP1 00000768: CALLER 00000769: SWAP1 0000076a: DUP4 0000076b: SWAP1 0000076c: PUSH1 0x01 0000076e: PUSH1 0xa0 00000770: PUSH1 0x02 00000772: EXP 00000773: SUB 00000774: AND 00000775: CALLVALUE 00000776: PUSH2 0x11aa 00000779: JUMP 0000077a: JUMPDEST 0000077b: POP 0000077c: JUMP 0000077d: JUMPDEST 0000077e: DUP1 0000077f: MLOAD 00000780: ISZERO 00000781: DUP1 00000782: ISZERO 00000783: PUSH2 0x0796 00000786: JUMPI 00000787: POP 00000788: PUSH1 0x05 0000078a: SLOAD 0000078b: PUSH1 0x01 0000078d: PUSH1 0xa0 0000078f: PUSH1 0x02 00000791: EXP 00000792: SUB 00000793: AND 00000794: CALLER 00000795: EQ 00000796: JUMPDEST 00000797: ISZERO 00000798: PUSH2 0x07aa 0000079b: JUMPI 0000079c: PUSH2 0x07a4 0000079f: DUP3 000007a0: PUSH2 0x13cb 000007a3: JUMP 000007a4: JUMPDEST 000007a5: POP 000007a6: PUSH2 0x087d 000007a9: JUMP 000007aa: JUMPDEST 000007ab: DUP1 000007ac: MLOAD 000007ad: PUSH1 0x54 000007af: EQ 000007b0: ISZERO 000007b1: PUSH2 0x07fe 000007b4: JUMPI 000007b5: PUSH2 0x07a4 000007b8: DUP4 000007b9: CALLER 000007ba: PUSH2 0x07ca 000007bd: DUP5 000007be: PUSH1 0x40 000007c0: PUSH4 0xffffffff 000007c5: PUSH2 0x13ec 000007c8: AND 000007c9: JUMP 000007ca: JUMPDEST 000007cb: DUP6 000007cc: PUSH2 0x07dc 000007cf: DUP7 000007d0: PUSH1 0x00 000007d2: PUSH4 0xffffffff 000007d7: PUSH2 0x141c 000007da: AND 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH2 0x07ed 000007e0: DUP8 000007e1: PUSH1 0x20 000007e3: PUSH4 0xffffffff 000007e8: PUSH2 0x141c 000007eb: AND 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH1 0x04 000007f0: SLOAD 000007f1: PUSH1 0x01 000007f3: PUSH1 0xa0 000007f5: PUSH1 0x02 000007f7: EXP 000007f8: SUB 000007f9: AND 000007fa: PUSH2 0x0d6b 000007fd: JUMP 000007fe: JUMPDEST 000007ff: DUP1 00000800: MLOAD 00000801: PUSH1 0x68 00000803: EQ 00000804: ISZERO 00000805: PUSH2 0x0857 00000808: JUMPI 00000809: PUSH2 0x07a4 0000080c: DUP4 0000080d: CALLER 0000080e: PUSH2 0x081e 00000811: DUP5 00000812: PUSH1 0x40 00000814: PUSH4 0xffffffff 00000819: PUSH2 0x13ec 0000081c: AND 0000081d: JUMP 0000081e: JUMPDEST 0000081f: DUP6 00000820: PUSH2 0x0830 00000823: DUP7 00000824: PUSH1 0x00 00000826: PUSH4 0xffffffff 0000082b: PUSH2 0x141c 0000082e: AND 0000082f: JUMP 00000830: JUMPDEST 00000831: PUSH2 0x0841 00000834: DUP8 00000835: PUSH1 0x20 00000837: PUSH4 0xffffffff 0000083c: PUSH2 0x141c 0000083f: AND 00000840: JUMP 00000841: JUMPDEST 00000842: PUSH2 0x0852 00000845: DUP9 00000846: PUSH1 0x54 00000848: PUSH4 0xffffffff 0000084d: PUSH2 0x13ec 00000850: AND 00000851: JUMP 00000852: JUMPDEST 00000853: PUSH2 0x0d6b 00000856: JUMP 00000857: JUMPDEST 00000858: DUP1 00000859: MLOAD 0000085a: PUSH1 0x20 0000085c: EQ 0000085d: ISZERO 0000085e: PUSH2 0x0132 00000861: JUMPI 00000862: PUSH2 0x087d 00000865: DUP4 00000866: PUSH2 0x0876 00000869: DUP4 0000086a: PUSH1 0x00 0000086c: PUSH4 0xffffffff 00000871: PUSH2 0x141c 00000874: AND 00000875: JUMP 00000876: JUMPDEST 00000877: CALLER 00000878: DUP6 00000879: PUSH2 0x11aa 0000087c: JUMP 0000087d: JUMPDEST 0000087e: POP 0000087f: POP 00000880: POP 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH1 0x00 00000885: DUP1 00000886: DUP1 00000887: DUP5 00000888: ISZERO 00000889: ISZERO 0000088a: PUSH2 0x0896 0000088d: JUMPI 0000088e: PUSH1 0x00 00000890: SWAP3 00000891: POP 00000892: PUSH2 0x0730 00000895: JUMP 00000896: JUMPDEST 00000897: PUSH1 0x00 00000899: DUP5 0000089a: DUP2 0000089b: MSTORE 0000089c: PUSH1 0x02 0000089e: PUSH1 0x20 000008a0: MSTORE 000008a1: PUSH1 0x40 000008a3: SWAP1 000008a4: KECCAK256 000008a5: DUP1 000008a6: SLOAD 000008a7: SWAP1 000008a8: SWAP3 000008a9: POP 000008aa: PUSH1 0xa0 000008ac: PUSH1 0x02 000008ae: EXP 000008af: SWAP1 000008b0: DIV 000008b1: PUSH1 0xff 000008b3: AND 000008b4: ISZERO 000008b5: ISZERO 000008b6: PUSH2 0x08c2 000008b9: JUMPI 000008ba: PUSH1 0x00 000008bc: SWAP3 000008bd: POP 000008be: PUSH2 0x0730 000008c1: JUMP 000008c2: JUMPDEST 000008c3: PUSH2 0x08dd 000008c6: PUSH1 0x0c 000008c8: SLOAD 000008c9: PUSH2 0x06c5 000008cc: PUSH1 0x0b 000008ce: SLOAD 000008cf: DUP9 000008d0: PUSH2 0x1164 000008d3: SWAP1 000008d4: SWAP2 000008d5: SWAP1 000008d6: PUSH4 0xffffffff 000008db: AND 000008dc: JUMP 000008dd: JUMPDEST 000008de: SWAP1 000008df: POP 000008e0: DUP1 000008e1: PUSH1 0x07 000008e3: SLOAD 000008e4: LT 000008e5: ISZERO 000008e6: PUSH2 0x08f3 000008e9: JUMPI 000008ea: PUSH1 0x07 000008ec: SLOAD 000008ed: SWAP3 000008ee: POP 000008ef: PUSH2 0x0730 000008f2: JUMP 000008f3: JUMPDEST 000008f4: DUP1 000008f5: SWAP3 000008f6: POP 000008f7: PUSH2 0x0730 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH1 0x07 000008fe: SLOAD 000008ff: DUP2 00000900: JUMP 00000901: JUMPDEST 00000902: PUSH1 0x00 00000904: CALLVALUE 00000905: DUP2 00000906: LT 00000907: PUSH2 0x090f 0000090a: JUMPI 0000090b: PUSH1 0x00 0000090d: DUP1 0000090e: REVERT 0000090f: JUMPDEST 00000910: PUSH1 0x04 00000912: SLOAD 00000913: PUSH2 0x092b 00000916: SWAP1 00000917: CALLER 00000918: SWAP1 00000919: PUSH1 0x01 0000091b: PUSH1 0xa0 0000091d: PUSH1 0x02 0000091f: EXP 00000920: SUB 00000921: AND 00000922: DUP7 00000923: CALLVALUE 00000924: DUP8 00000925: DUP8 00000926: DUP5 00000927: PUSH2 0x0d6b 0000092a: JUMP 0000092b: JUMPDEST 0000092c: SWAP5 0000092d: SWAP4 0000092e: POP 0000092f: POP 00000930: POP 00000931: POP 00000932: JUMP 00000933: JUMPDEST 00000934: PUSH1 0x00 00000936: DUP2 00000937: GT 00000938: PUSH2 0x0940 0000093b: JUMPI 0000093c: PUSH1 0x00 0000093e: DUP1 0000093f: REVERT 00000940: JUMPDEST 00000941: PUSH1 0x00 00000943: PUSH2 0x094c 00000946: DUP4 00000947: DUP4 00000948: PUSH2 0x0b64 0000094b: JUMP 0000094c: JUMPDEST 0000094d: GT 0000094e: PUSH2 0x0956 00000951: JUMPI 00000952: PUSH1 0x00 00000954: DUP1 00000955: REVERT 00000956: JUMPDEST 00000957: PUSH2 0x087d 0000095a: CALLER 0000095b: DUP5 0000095c: DUP5 0000095d: DUP5 0000095e: PUSH2 0x11aa 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH1 0x01 00000965: PUSH1 0xa0 00000967: PUSH1 0x02 00000969: EXP 0000096a: SUB 0000096b: DUP1 0000096c: DUP3 0000096d: AND 0000096e: PUSH1 0x00 00000970: SWAP1 00000971: DUP2 00000972: MSTORE 00000973: PUSH1 0x01 00000975: PUSH1 0x20 00000977: SWAP1 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x40 0000097c: DUP1 0000097d: DUP4 0000097e: KECCAK256 0000097f: SWAP4 00000980: DUP7 00000981: AND 00000982: DUP4 00000983: MSTORE 00000984: SWAP3 00000985: SWAP1 00000986: MSTORE 00000987: KECCAK256 00000988: SLOAD 00000989: SWAP3 0000098a: SWAP2 0000098b: POP 0000098c: POP 0000098d: JUMP 0000098e: JUMPDEST 0000098f: PUSH1 0x00 00000991: SWAP1 00000992: DUP2 00000993: MSTORE 00000994: PUSH1 0x02 00000996: PUSH1 0x20 00000998: MSTORE 00000999: PUSH1 0x40 0000099b: SWAP1 0000099c: KECCAK256 0000099d: SLOAD 0000099e: PUSH1 0xa0 000009a0: PUSH1 0x02 000009a2: EXP 000009a3: SWAP1 000009a4: DIV 000009a5: PUSH1 0xff 000009a7: AND 000009a8: SWAP1 000009a9: JUMP 000009aa: JUMPDEST 000009ab: PUSH1 0x00 000009ad: CALLVALUE 000009ae: DUP2 000009af: LT 000009b0: PUSH2 0x09b8 000009b3: JUMPI 000009b4: PUSH1 0x00 000009b6: DUP1 000009b7: REVERT 000009b8: JUMPDEST 000009b9: PUSH1 0x04 000009bb: SLOAD 000009bc: PUSH2 0x09d4 000009bf: SWAP1 000009c0: CALLER 000009c1: SWAP1 000009c2: PUSH1 0x01 000009c4: PUSH1 0xa0 000009c6: PUSH1 0x02 000009c8: EXP 000009c9: SUB 000009ca: AND 000009cb: DUP8 000009cc: CALLVALUE 000009cd: DUP9 000009ce: DUP9 000009cf: DUP9 000009d0: PUSH2 0x0d6b 000009d3: JUMP 000009d4: JUMPDEST 000009d5: SWAP6 000009d6: SWAP5 000009d7: POP 000009d8: POP 000009d9: POP 000009da: POP 000009db: POP 000009dc: JUMP 000009dd: JUMPDEST 000009de: PUSH1 0x00 000009e0: DUP1 000009e1: DUP1 000009e2: DUP6 000009e3: GT 000009e4: PUSH2 0x09ec 000009e7: JUMPI 000009e8: PUSH1 0x00 000009ea: DUP1 000009eb: REVERT 000009ec: JUMPDEST 000009ed: PUSH2 0x09f6 000009f0: DUP8 000009f1: DUP7 000009f2: PUSH2 0x0b64 000009f5: JUMP 000009f6: JUMPDEST 000009f7: SWAP1 000009f8: POP 000009f9: PUSH2 0x0a1c 000009fc: CALLER 000009fd: DUP9 000009fe: DUP9 000009ff: DUP5 00000a00: DUP9 00000a01: DUP9 00000a02: PUSH1 0x04 00000a04: PUSH1 0x00 00000a06: SWAP1 00000a07: SLOAD 00000a08: SWAP1 00000a09: PUSH2 0x0100 00000a0c: EXP 00000a0d: SWAP1 00000a0e: DIV 00000a0f: PUSH1 0x01 00000a11: PUSH1 0xa0 00000a13: PUSH1 0x02 00000a15: EXP 00000a16: SUB 00000a17: AND 00000a18: PUSH2 0x0d6b 00000a1b: JUMP 00000a1c: JUMPDEST 00000a1d: SWAP8 00000a1e: SWAP7 00000a1f: POP 00000a20: POP 00000a21: POP 00000a22: POP 00000a23: POP 00000a24: POP 00000a25: POP 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH1 0x06 00000a2a: SLOAD 00000a2b: PUSH1 0x00 00000a2d: SWAP1 00000a2e: PUSH1 0x01 00000a30: PUSH1 0xa0 00000a32: PUSH1 0x02 00000a34: EXP 00000a35: SUB 00000a36: AND 00000a37: CALLER 00000a38: EQ 00000a39: PUSH2 0x0a41 00000a3c: JUMPI 00000a3d: PUSH1 0x00 00000a3f: DUP1 00000a40: REVERT 00000a41: JUMPDEST 00000a42: PUSH1 0x07 00000a44: SLOAD 00000a45: PUSH1 0x00 00000a47: LT 00000a48: PUSH2 0x0a50 00000a4b: JUMPI 00000a4c: PUSH1 0x00 00000a4e: DUP1 00000a4f: REVERT 00000a50: JUMPDEST 00000a51: POP 00000a52: PUSH1 0x07 00000a54: DUP1 00000a55: SLOAD 00000a56: PUSH1 0x00 00000a58: SWAP1 00000a59: SWAP2 00000a5a: SSTORE 00000a5b: PUSH1 0x06 00000a5d: SLOAD 00000a5e: PUSH1 0x05 00000a60: SLOAD 00000a61: PUSH2 0x0a78 00000a64: SWAP2 00000a65: PUSH1 0x01 00000a67: PUSH1 0xa0 00000a69: PUSH1 0x02 00000a6b: EXP 00000a6c: SUB 00000a6d: SWAP1 00000a6e: DUP2 00000a6f: AND 00000a70: SWAP2 00000a71: DUP5 00000a72: SWAP2 00000a73: AND 00000a74: PUSH2 0x105c 00000a77: JUMP 00000a78: JUMPDEST 00000a79: ISZERO 00000a7a: ISZERO 00000a7b: PUSH2 0x077a 00000a7e: JUMPI 00000a7f: PUSH1 0x00 00000a81: DUP1 00000a82: REVERT 00000a83: JUMPDEST 00000a84: PUSH1 0x0c 00000a86: SLOAD 00000a87: DUP2 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: PUSH1 0x00 00000a8c: DUP1 00000a8d: DUP1 00000a8e: DUP1 00000a8f: DUP6 00000a90: GT 00000a91: PUSH2 0x0a99 00000a94: JUMPI 00000a95: PUSH1 0x00 00000a97: DUP1 00000a98: REVERT 00000a99: JUMPDEST 00000a9a: PUSH1 0x00 00000a9c: DUP5 00000a9d: DUP2 00000a9e: MSTORE 00000a9f: PUSH1 0x02 00000aa1: PUSH1 0x20 00000aa3: MSTORE 00000aa4: PUSH1 0x40 00000aa6: SWAP1 00000aa7: KECCAK256 00000aa8: PUSH1 0x04 00000aaa: SLOAD 00000aab: PUSH1 0x01 00000aad: DUP3 00000aae: ADD 00000aaf: SLOAD 00000ab0: SWAP2 00000ab1: SWAP4 00000ab2: POP 00000ab3: PUSH1 0x01 00000ab5: PUSH1 0xa0 00000ab7: PUSH1 0x02 00000ab9: EXP 00000aba: SUB 00000abb: SWAP2 00000abc: DUP3 00000abd: AND 00000abe: SWAP2 00000abf: AND 00000ac0: EQ 00000ac1: DUP1 00000ac2: PUSH2 0x0add 00000ac5: JUMPI 00000ac6: POP 00000ac7: PUSH1 0x04 00000ac9: SLOAD 00000aca: PUSH1 0x02 00000acc: DUP4 00000acd: ADD 00000ace: SLOAD 00000acf: PUSH1 0x01 00000ad1: PUSH1 0xa0 00000ad3: PUSH1 0x02 00000ad5: EXP 00000ad6: SUB 00000ad7: SWAP1 00000ad8: DUP2 00000ad9: AND 00000ada: SWAP2 00000adb: AND 00000adc: EQ 00000add: JUMPDEST 00000ade: ISZERO 00000adf: PUSH2 0x0b35 00000ae2: JUMPI 00000ae3: PUSH1 0x09 00000ae5: SLOAD 00000ae6: PUSH1 0x0a 00000ae8: SLOAD 00000ae9: PUSH2 0x0af7 00000aec: SWAP2 00000aed: PUSH4 0xffffffff 00000af2: PUSH2 0x104a 00000af5: AND 00000af6: JUMP 00000af7: JUMPDEST 00000af8: SWAP1 00000af9: POP 00000afa: PUSH2 0x0b2e 00000afd: DUP2 00000afe: PUSH2 0x06c5 00000b01: DUP5 00000b02: PUSH1 0x05 00000b04: ADD 00000b05: SLOAD 00000b06: PUSH2 0x06c5 00000b09: PUSH1 0x0a 00000b0b: SLOAD 00000b0c: PUSH2 0x0b22 00000b0f: DUP9 00000b10: PUSH1 0x06 00000b12: ADD 00000b13: SLOAD 00000b14: DUP13 00000b15: PUSH2 0x1164 00000b18: SWAP1 00000b19: SWAP2 00000b1a: SWAP1 00000b1b: PUSH4 0xffffffff 00000b20: AND 00000b21: JUMP 00000b22: JUMPDEST 00000b23: SWAP1 00000b24: PUSH4 0xffffffff 00000b29: PUSH2 0x1164 00000b2c: AND 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: SWAP3 00000b30: POP 00000b31: PUSH2 0x0b57 00000b34: JUMP 00000b35: JUMPDEST 00000b36: PUSH2 0x0b54 00000b39: DUP3 00000b3a: PUSH1 0x05 00000b3c: ADD 00000b3d: SLOAD 00000b3e: PUSH2 0x06c5 00000b41: DUP5 00000b42: PUSH1 0x06 00000b44: ADD 00000b45: SLOAD 00000b46: DUP9 00000b47: PUSH2 0x1164 00000b4a: SWAP1 00000b4b: SWAP2 00000b4c: SWAP1 00000b4d: PUSH4 0xffffffff 00000b52: AND 00000b53: JUMP 00000b54: JUMPDEST 00000b55: SWAP3 00000b56: POP 00000b57: JUMPDEST 00000b58: PUSH1 0x00 00000b5a: DUP4 00000b5b: GT 00000b5c: PUSH2 0x0730 00000b5f: JUMPI 00000b60: PUSH1 0x00 00000b62: DUP1 00000b63: REVERT 00000b64: JUMPDEST 00000b65: PUSH1 0x00 00000b67: DUP1 00000b68: SLOAD 00000b69: DUP2 00000b6a: SWAP1 00000b6b: DUP2 00000b6c: SWAP1 00000b6d: DUP2 00000b6e: SWAP1 00000b6f: PUSH1 0xff 00000b71: AND 00000b72: ISZERO 00000b73: PUSH2 0x0b7b 00000b76: JUMPI 00000b77: PUSH1 0x00 00000b79: DUP1 00000b7a: REVERT 00000b7b: JUMPDEST 00000b7c: PUSH1 0x00 00000b7e: DUP1 00000b7f: SLOAD 00000b80: PUSH1 0xff 00000b82: NOT 00000b83: AND 00000b84: PUSH1 0x01 00000b86: OR 00000b87: DUP2 00000b88: SSTORE 00000b89: PUSH1 0x40 00000b8b: DUP1 00000b8c: MLOAD 00000b8d: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000bae: DUP2 00000baf: MSTORE 00000bb0: ADDRESS 00000bb1: PUSH1 0x04 00000bb3: DUP3 00000bb4: ADD 00000bb5: MSTORE 00000bb6: SWAP1 00000bb7: MLOAD 00000bb8: DUP9 00000bb9: SWAP6 00000bba: POP 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0xa0 00000bbf: PUSH1 0x02 00000bc1: EXP 00000bc2: SUB 00000bc3: DUP7 00000bc4: AND 00000bc5: SWAP3 00000bc6: PUSH4 0x70a08231 00000bcb: SWAP3 00000bcc: PUSH1 0x24 00000bce: DUP1 00000bcf: DUP3 00000bd0: ADD 00000bd1: SWAP4 00000bd2: PUSH1 0x20 00000bd4: SWAP4 00000bd5: SWAP1 00000bd6: SWAP3 00000bd7: DUP4 00000bd8: SWAP1 00000bd9: SUB 00000bda: SWAP1 00000bdb: SWAP2 00000bdc: ADD 00000bdd: SWAP1 00000bde: DUP3 00000bdf: SWAP1 00000be0: DUP8 00000be1: DUP1 00000be2: EXTCODESIZE 00000be3: ISZERO 00000be4: DUP1 00000be5: ISZERO 00000be6: PUSH2 0x0bee 00000be9: JUMPI 00000bea: PUSH1 0x00 00000bec: DUP1 00000bed: REVERT 00000bee: JUMPDEST 00000bef: POP 00000bf0: GAS 00000bf1: CALL 00000bf2: ISZERO 00000bf3: DUP1 00000bf4: ISZERO 00000bf5: PUSH2 0x0c02 00000bf8: JUMPI 00000bf9: RETURNDATASIZE 00000bfa: PUSH1 0x00 00000bfc: DUP1 00000bfd: RETURNDATACOPY 00000bfe: RETURNDATASIZE 00000bff: PUSH1 0x00 00000c01: REVERT 00000c02: JUMPDEST 00000c03: POP 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: PUSH1 0x40 00000c09: MLOAD 00000c0a: RETURNDATASIZE 00000c0b: PUSH1 0x20 00000c0d: DUP2 00000c0e: LT 00000c0f: ISZERO 00000c10: PUSH2 0x0c18 00000c13: JUMPI 00000c14: PUSH1 0x00 00000c16: DUP1 00000c17: REVERT 00000c18: JUMPDEST 00000c19: POP 00000c1a: MLOAD 00000c1b: PUSH1 0x40 00000c1d: DUP1 00000c1e: MLOAD 00000c1f: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000c40: DUP2 00000c41: MSTORE 00000c42: CALLER 00000c43: PUSH1 0x04 00000c45: DUP3 00000c46: ADD 00000c47: MSTORE 00000c48: ADDRESS 00000c49: PUSH1 0x24 00000c4b: DUP3 00000c4c: ADD 00000c4d: MSTORE 00000c4e: PUSH1 0x44 00000c50: DUP2 00000c51: ADD 00000c52: DUP9 00000c53: SWAP1 00000c54: MSTORE 00000c55: SWAP1 00000c56: MLOAD 00000c57: SWAP2 00000c58: SWAP4 00000c59: POP 00000c5a: PUSH1 0x01 00000c5c: PUSH1 0xa0 00000c5e: PUSH1 0x02 00000c60: EXP 00000c61: SUB 00000c62: DUP6 00000c63: AND 00000c64: SWAP2 00000c65: PUSH4 0x23b872dd 00000c6a: SWAP2 00000c6b: PUSH1 0x64 00000c6d: DUP1 00000c6e: DUP3 00000c6f: ADD 00000c70: SWAP3 00000c71: PUSH1 0x20 00000c73: SWAP3 00000c74: SWAP1 00000c75: SWAP2 00000c76: SWAP1 00000c77: DUP3 00000c78: SWAP1 00000c79: SUB 00000c7a: ADD 00000c7b: DUP2 00000c7c: PUSH1 0x00 00000c7e: DUP8 00000c7f: DUP1 00000c80: EXTCODESIZE 00000c81: ISZERO 00000c82: DUP1 00000c83: ISZERO 00000c84: PUSH2 0x0c8c 00000c87: JUMPI 00000c88: PUSH1 0x00 00000c8a: DUP1 00000c8b: REVERT 00000c8c: JUMPDEST 00000c8d: POP 00000c8e: GAS 00000c8f: CALL 00000c90: ISZERO 00000c91: DUP1 00000c92: ISZERO 00000c93: PUSH2 0x0ca0 00000c96: JUMPI 00000c97: RETURNDATASIZE 00000c98: PUSH1 0x00 00000c9a: DUP1 00000c9b: RETURNDATACOPY 00000c9c: RETURNDATASIZE 00000c9d: PUSH1 0x00 00000c9f: REVERT 00000ca0: JUMPDEST 00000ca1: POP 00000ca2: POP 00000ca3: POP 00000ca4: POP 00000ca5: PUSH1 0x40 00000ca7: MLOAD 00000ca8: RETURNDATASIZE 00000ca9: PUSH1 0x20 00000cab: DUP2 00000cac: LT 00000cad: ISZERO 00000cae: PUSH2 0x0cb6 00000cb1: JUMPI 00000cb2: PUSH1 0x00 00000cb4: DUP1 00000cb5: REVERT 00000cb6: JUMPDEST 00000cb7: POP 00000cb8: POP 00000cb9: PUSH1 0x40 00000cbb: DUP1 00000cbc: MLOAD 00000cbd: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000cde: DUP2 00000cdf: MSTORE 00000ce0: ADDRESS 00000ce1: PUSH1 0x04 00000ce3: DUP3 00000ce4: ADD 00000ce5: MSTORE 00000ce6: SWAP1 00000ce7: MLOAD 00000ce8: PUSH1 0x01 00000cea: PUSH1 0xa0 00000cec: PUSH1 0x02 00000cee: EXP 00000cef: SUB 00000cf0: DUP6 00000cf1: AND 00000cf2: SWAP2 00000cf3: PUSH4 0x70a08231 00000cf8: SWAP2 00000cf9: PUSH1 0x24 00000cfb: DUP1 00000cfc: DUP4 00000cfd: ADD 00000cfe: SWAP3 00000cff: PUSH1 0x20 00000d01: SWAP3 00000d02: SWAP2 00000d03: SWAP1 00000d04: DUP3 00000d05: SWAP1 00000d06: SUB 00000d07: ADD 00000d08: DUP2 00000d09: PUSH1 0x00 00000d0b: DUP8 00000d0c: DUP1 00000d0d: EXTCODESIZE 00000d0e: ISZERO 00000d0f: DUP1 00000d10: ISZERO 00000d11: PUSH2 0x0d19 00000d14: JUMPI 00000d15: PUSH1 0x00 00000d17: DUP1 00000d18: REVERT 00000d19: JUMPDEST 00000d1a: POP 00000d1b: GAS 00000d1c: CALL 00000d1d: ISZERO 00000d1e: DUP1 00000d1f: ISZERO 00000d20: PUSH2 0x0d2d 00000d23: JUMPI 00000d24: RETURNDATASIZE 00000d25: PUSH1 0x00 00000d27: DUP1 00000d28: RETURNDATACOPY 00000d29: RETURNDATASIZE 00000d2a: PUSH1 0x00 00000d2c: REVERT 00000d2d: JUMPDEST 00000d2e: POP 00000d2f: POP 00000d30: POP 00000d31: POP 00000d32: PUSH1 0x40 00000d34: MLOAD 00000d35: RETURNDATASIZE 00000d36: PUSH1 0x20 00000d38: DUP2 00000d39: LT 00000d3a: ISZERO 00000d3b: PUSH2 0x0d43 00000d3e: JUMPI 00000d3f: PUSH1 0x00 00000d41: DUP1 00000d42: REVERT 00000d43: JUMPDEST 00000d44: POP 00000d45: MLOAD 00000d46: SWAP1 00000d47: POP 00000d48: PUSH2 0x0d57 00000d4b: DUP2 00000d4c: DUP4 00000d4d: PUSH4 0xffffffff 00000d52: PUSH2 0x104a 00000d55: AND 00000d56: JUMP 00000d57: JUMPDEST 00000d58: PUSH1 0x00 00000d5a: DUP1 00000d5b: SLOAD 00000d5c: PUSH1 0xff 00000d5e: NOT 00000d5f: AND 00000d60: SWAP1 00000d61: SSTORE 00000d62: SWAP7 00000d63: SWAP6 00000d64: POP 00000d65: POP 00000d66: POP 00000d67: POP 00000d68: POP 00000d69: POP 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: PUSH1 0x00 00000d6e: DUP1 00000d6f: SLOAD 00000d70: PUSH1 0xff 00000d72: AND 00000d73: ISZERO 00000d74: PUSH2 0x0d7c 00000d77: JUMPI 00000d78: PUSH1 0x00 00000d7a: DUP1 00000d7b: REVERT 00000d7c: JUMPDEST 00000d7d: PUSH1 0x00 00000d7f: DUP1 00000d80: SLOAD 00000d81: PUSH1 0xff 00000d83: NOT 00000d84: AND 00000d85: PUSH1 0x01 00000d87: OR 00000d88: DUP2 00000d89: SSTORE 00000d8a: DUP6 00000d8b: GT 00000d8c: PUSH2 0x0d94 00000d8f: JUMPI 00000d90: PUSH1 0x00 00000d92: DUP1 00000d93: REVERT 00000d94: JUMPDEST 00000d95: PUSH1 0x00 00000d97: DUP5 00000d98: GT 00000d99: PUSH2 0x0da1 00000d9c: JUMPI 00000d9d: PUSH1 0x00 00000d9f: DUP1 00000da0: REVERT 00000da1: JUMPDEST 00000da2: PUSH1 0x00 00000da4: DUP4 00000da5: GT 00000da6: PUSH2 0x0dae 00000da9: JUMPI 00000daa: PUSH1 0x00 00000dac: DUP1 00000dad: REVERT 00000dae: JUMPDEST 00000daf: PUSH1 0x01 00000db1: PUSH1 0xa0 00000db3: PUSH1 0x02 00000db5: EXP 00000db6: SUB 00000db7: DUP8 00000db8: DUP2 00000db9: AND 00000dba: SWAP1 00000dbb: DUP8 00000dbc: AND 00000dbd: EQ 00000dbe: ISZERO 00000dbf: PUSH2 0x0dc7 00000dc2: JUMPI 00000dc3: PUSH1 0x00 00000dc5: DUP1 00000dc6: REVERT 00000dc7: JUMPDEST 00000dc8: PUSH1 0x03 00000dca: PUSH1 0x00 00000dcc: DUP2 00000dcd: SLOAD 00000dce: DUP1 00000dcf: SWAP3 00000dd0: SWAP2 00000dd1: SWAP1 00000dd2: PUSH1 0x01 00000dd4: ADD 00000dd5: SWAP2 00000dd6: SWAP1 00000dd7: POP 00000dd8: SSTORE 00000dd9: SWAP1 00000dda: POP 00000ddb: PUSH2 0x0100 00000dde: PUSH1 0x40 00000de0: MLOAD 00000de1: SWAP1 00000de2: DUP2 00000de3: ADD 00000de4: PUSH1 0x40 00000de6: MSTORE 00000de7: DUP1 00000de8: DUP10 00000de9: PUSH1 0x01 00000deb: PUSH1 0xa0 00000ded: PUSH1 0x02 00000def: EXP 00000df0: SUB 00000df1: AND 00000df2: DUP2 00000df3: MSTORE 00000df4: PUSH1 0x20 00000df6: ADD 00000df7: PUSH1 0x01 00000df9: ISZERO 00000dfa: ISZERO 00000dfb: DUP2 00000dfc: MSTORE 00000dfd: PUSH1 0x20 00000dff: ADD 00000e00: DUP9 00000e01: PUSH1 0x01 00000e03: PUSH1 0xa0 00000e05: PUSH1 0x02 00000e07: EXP 00000e08: SUB 00000e09: AND 00000e0a: DUP2 00000e0b: MSTORE 00000e0c: PUSH1 0x20 00000e0e: ADD 00000e0f: DUP8 00000e10: PUSH1 0x01 00000e12: PUSH1 0xa0 00000e14: PUSH1 0x02 00000e16: EXP 00000e17: SUB 00000e18: AND 00000e19: DUP2 00000e1a: MSTORE 00000e1b: PUSH1 0x20 00000e1d: ADD 00000e1e: DUP4 00000e1f: PUSH1 0x01 00000e21: PUSH1 0xa0 00000e23: PUSH1 0x02 00000e25: EXP 00000e26: SUB 00000e27: AND 00000e28: DUP2 00000e29: MSTORE 00000e2a: PUSH1 0x20 00000e2c: ADD 00000e2d: DUP7 00000e2e: DUP2 00000e2f: MSTORE 00000e30: PUSH1 0x20 00000e32: ADD 00000e33: DUP6 00000e34: DUP2 00000e35: MSTORE 00000e36: PUSH1 0x20 00000e38: ADD 00000e39: DUP5 00000e3a: DUP2 00000e3b: MSTORE 00000e3c: POP 00000e3d: PUSH1 0x02 00000e3f: PUSH1 0x00 00000e41: DUP4 00000e42: DUP2 00000e43: MSTORE 00000e44: PUSH1 0x20 00000e46: ADD 00000e47: SWAP1 00000e48: DUP2 00000e49: MSTORE 00000e4a: PUSH1 0x20 00000e4c: ADD 00000e4d: PUSH1 0x00 00000e4f: KECCAK256 00000e50: PUSH1 0x00 00000e52: DUP3 00000e53: ADD 00000e54: MLOAD 00000e55: DUP2 00000e56: PUSH1 0x00 00000e58: ADD 00000e59: PUSH1 0x00 00000e5b: PUSH2 0x0100 00000e5e: EXP 00000e5f: DUP2 00000e60: SLOAD 00000e61: DUP2 00000e62: PUSH1 0x01 00000e64: PUSH1 0xa0 00000e66: PUSH1 0x02 00000e68: EXP 00000e69: SUB 00000e6a: MUL 00000e6b: NOT 00000e6c: AND 00000e6d: SWAP1 00000e6e: DUP4 00000e6f: PUSH1 0x01 00000e71: PUSH1 0xa0 00000e73: PUSH1 0x02 00000e75: EXP 00000e76: SUB 00000e77: AND 00000e78: MUL 00000e79: OR 00000e7a: SWAP1 00000e7b: SSTORE 00000e7c: POP 00000e7d: PUSH1 0x20 00000e7f: DUP3 00000e80: ADD 00000e81: MLOAD 00000e82: DUP2 00000e83: PUSH1 0x00 00000e85: ADD 00000e86: PUSH1 0x14 00000e88: PUSH2 0x0100 00000e8b: EXP 00000e8c: DUP2 00000e8d: SLOAD 00000e8e: DUP2 00000e8f: PUSH1 0xff 00000e91: MUL 00000e92: NOT 00000e93: AND 00000e94: SWAP1 00000e95: DUP4 00000e96: ISZERO 00000e97: ISZERO 00000e98: MUL 00000e99: OR 00000e9a: SWAP1 00000e9b: SSTORE 00000e9c: POP 00000e9d: PUSH1 0x40 00000e9f: DUP3 00000ea0: ADD 00000ea1: MLOAD 00000ea2: DUP2 00000ea3: PUSH1 0x01 00000ea5: ADD 00000ea6: PUSH1 0x00 00000ea8: PUSH2 0x0100 00000eab: EXP 00000eac: DUP2 00000ead: SLOAD 00000eae: DUP2 00000eaf: PUSH1 0x01 00000eb1: PUSH1 0xa0 00000eb3: PUSH1 0x02 00000eb5: EXP 00000eb6: SUB 00000eb7: MUL 00000eb8: NOT 00000eb9: AND 00000eba: SWAP1 00000ebb: DUP4 00000ebc: PUSH1 0x01 00000ebe: PUSH1 0xa0 00000ec0: PUSH1 0x02 00000ec2: EXP 00000ec3: SUB 00000ec4: AND 00000ec5: MUL 00000ec6: OR 00000ec7: SWAP1 00000ec8: SSTORE 00000ec9: POP 00000eca: PUSH1 0x60 00000ecc: DUP3 00000ecd: ADD 00000ece: MLOAD 00000ecf: DUP2 00000ed0: PUSH1 0x02 00000ed2: ADD 00000ed3: PUSH1 0x00 00000ed5: PUSH2 0x0100 00000ed8: EXP 00000ed9: DUP2 00000eda: SLOAD 00000edb: DUP2 00000edc: PUSH1 0x01 00000ede: PUSH1 0xa0 00000ee0: PUSH1 0x02 00000ee2: EXP 00000ee3: SUB 00000ee4: MUL 00000ee5: NOT 00000ee6: AND 00000ee7: SWAP1 00000ee8: DUP4 00000ee9: PUSH1 0x01 00000eeb: PUSH1 0xa0 00000eed: PUSH1 0x02 00000eef: EXP 00000ef0: SUB 00000ef1: AND 00000ef2: MUL 00000ef3: OR 00000ef4: SWAP1 00000ef5: SSTORE 00000ef6: POP 00000ef7: PUSH1 0x80 00000ef9: DUP3 00000efa: ADD 00000efb: MLOAD 00000efc: DUP2 00000efd: PUSH1 0x03 00000eff: ADD 00000f00: PUSH1 0x00 00000f02: PUSH2 0x0100 00000f05: EXP 00000f06: DUP2 00000f07: SLOAD 00000f08: DUP2 00000f09: PUSH1 0x01 00000f0b: PUSH1 0xa0 00000f0d: PUSH1 0x02 00000f0f: EXP 00000f10: SUB 00000f11: MUL 00000f12: NOT 00000f13: AND 00000f14: SWAP1 00000f15: DUP4 00000f16: PUSH1 0x01 00000f18: PUSH1 0xa0 00000f1a: PUSH1 0x02 00000f1c: EXP 00000f1d: SUB 00000f1e: AND 00000f1f: MUL 00000f20: OR 00000f21: SWAP1 00000f22: SSTORE 00000f23: POP 00000f24: PUSH1 0xa0 00000f26: DUP3 00000f27: ADD 00000f28: MLOAD 00000f29: DUP2 00000f2a: PUSH1 0x04 00000f2c: ADD 00000f2d: SSTORE 00000f2e: PUSH1 0xc0 00000f30: DUP3 00000f31: ADD 00000f32: MLOAD 00000f33: DUP2 00000f34: PUSH1 0x05 00000f36: ADD 00000f37: SSTORE 00000f38: PUSH1 0xe0 00000f3a: DUP3 00000f3b: ADD 00000f3c: MLOAD 00000f3d: DUP2 00000f3e: PUSH1 0x06 00000f40: ADD 00000f41: SSTORE 00000f42: SWAP1 00000f43: POP 00000f44: POP 00000f45: PUSH2 0x0f9f 00000f48: DUP6 00000f49: PUSH1 0x01 00000f4b: PUSH1 0x00 00000f4d: DUP12 00000f4e: PUSH1 0x01 00000f50: PUSH1 0xa0 00000f52: PUSH1 0x02 00000f54: EXP 00000f55: SUB 00000f56: AND 00000f57: PUSH1 0x01 00000f59: PUSH1 0xa0 00000f5b: PUSH1 0x02 00000f5d: EXP 00000f5e: SUB 00000f5f: AND 00000f60: DUP2 00000f61: MSTORE 00000f62: PUSH1 0x20 00000f64: ADD 00000f65: SWAP1 00000f66: DUP2 00000f67: MSTORE 00000f68: PUSH1 0x20 00000f6a: ADD 00000f6b: PUSH1 0x00 00000f6d: KECCAK256 00000f6e: PUSH1 0x00 00000f70: DUP11 00000f71: PUSH1 0x01 00000f73: PUSH1 0xa0 00000f75: PUSH1 0x02 00000f77: EXP 00000f78: SUB 00000f79: AND 00000f7a: PUSH1 0x01 00000f7c: PUSH1 0xa0 00000f7e: PUSH1 0x02 00000f80: EXP 00000f81: SUB 00000f82: AND 00000f83: DUP2 00000f84: MSTORE 00000f85: PUSH1 0x20 00000f87: ADD 00000f88: SWAP1 00000f89: DUP2 00000f8a: MSTORE 00000f8b: PUSH1 0x20 00000f8d: ADD 00000f8e: PUSH1 0x00 00000f90: KECCAK256 00000f91: SLOAD 00000f92: PUSH2 0x143c 00000f95: SWAP1 00000f96: SWAP2 00000f97: SWAP1 00000f98: PUSH4 0xffffffff 00000f9d: AND 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH1 0x01 00000fa2: PUSH1 0xa0 00000fa4: PUSH1 0x02 00000fa6: EXP 00000fa7: SUB 00000fa8: DUP1 00000fa9: DUP11 00000faa: AND 00000fab: PUSH1 0x00 00000fad: DUP2 00000fae: DUP2 00000faf: MSTORE 00000fb0: PUSH1 0x01 00000fb2: PUSH1 0x20 00000fb4: SWAP1 00000fb5: DUP2 00000fb6: MSTORE 00000fb7: PUSH1 0x40 00000fb9: DUP1 00000fba: DUP4 00000fbb: KECCAK256 00000fbc: DUP14 00000fbd: DUP7 00000fbe: AND 00000fbf: DUP1 00000fc0: DUP6 00000fc1: MSTORE 00000fc2: SWAP1 00000fc3: DUP4 00000fc4: MSTORE 00000fc5: SWAP3 00000fc6: DUP2 00000fc7: SWAP1 00000fc8: KECCAK256 00000fc9: SWAP6 00000fca: SWAP1 00000fcb: SWAP6 00000fcc: SSTORE 00000fcd: DUP5 00000fce: MLOAD 00000fcf: DUP7 00000fd0: DUP2 00000fd1: MSTORE 00000fd2: SWAP1 00000fd3: DUP2 00000fd4: ADD 00000fd5: SWAP3 00000fd6: SWAP1 00000fd7: SWAP3 00000fd8: MSTORE 00000fd9: DUP2 00000fda: DUP5 00000fdb: ADD 00000fdc: MSTORE 00000fdd: DUP9 00000fde: DUP3 00000fdf: AND 00000fe0: PUSH1 0x60 00000fe2: DUP3 00000fe3: ADD 00000fe4: MSTORE 00000fe5: SWAP1 00000fe6: DUP5 00000fe7: AND 00000fe8: PUSH1 0x80 00000fea: DUP3 00000feb: ADD 00000fec: MSTORE 00000fed: PUSH1 0xa0 00000fef: DUP2 00000ff0: ADD 00000ff1: DUP8 00000ff2: SWAP1 00000ff3: MSTORE 00000ff4: PUSH1 0xc0 00000ff6: DUP2 00000ff7: ADD 00000ff8: DUP7 00000ff9: SWAP1 00000ffa: MSTORE 00000ffb: PUSH1 0xe0 00000ffd: DUP2 00000ffe: ADD 00000fff: DUP6 00001000: SWAP1 00001001: MSTORE 00001002: TIMESTAMP 00001003: PUSH2 0x0100 00001006: DUP3 00001007: ADD 00001008: MSTORE 00001009: SWAP1 0000100a: MLOAD 0000100b: PUSH32 0x9684ab37f360879637d39ea3a41f58c0705a15f80d518ec92bd1c7383ef8a61a 0000102c: SWAP2 0000102d: DUP2 0000102e: SWAP1 0000102f: SUB 00001030: PUSH2 0x0120 00001033: ADD 00001034: SWAP1 00001035: LOG1 00001036: PUSH1 0x00 00001038: DUP1 00001039: SLOAD 0000103a: PUSH1 0xff 0000103c: NOT 0000103d: AND 0000103e: SWAP1 0000103f: SSTORE 00001040: SWAP8 00001041: SWAP7 00001042: POP 00001043: POP 00001044: POP 00001045: POP 00001046: POP 00001047: POP 00001048: POP 00001049: JUMP 0000104a: JUMPDEST 0000104b: PUSH1 0x00 0000104d: DUP3 0000104e: DUP3 0000104f: GT 00001050: ISZERO 00001051: PUSH2 0x1056 00001054: JUMPI 00001055: INVALID 00001056: JUMPDEST 00001057: POP 00001058: SWAP1 00001059: SUB 0000105a: SWAP1 0000105b: JUMP 0000105c: JUMPDEST 0000105d: PUSH1 0x04 0000105f: SLOAD 00001060: PUSH1 0x00 00001062: SWAP1 00001063: PUSH1 0x01 00001065: PUSH1 0xa0 00001067: PUSH1 0x02 00001069: EXP 0000106a: SUB 0000106b: DUP4 0000106c: DUP2 0000106d: AND 0000106e: SWAP2 0000106f: AND 00001070: EQ 00001071: ISZERO 00001072: PUSH2 0x10b1 00001075: JUMPI 00001076: PUSH1 0x40 00001078: MLOAD 00001079: PUSH1 0x01 0000107b: PUSH1 0xa0 0000107d: PUSH1 0x02 0000107f: EXP 00001080: SUB 00001081: DUP6 00001082: AND 00001083: SWAP1 00001084: DUP5 00001085: ISZERO 00001086: PUSH2 0x08fc 00001089: MUL 0000108a: SWAP1 0000108b: DUP6 0000108c: SWAP1 0000108d: PUSH1 0x00 0000108f: DUP2 00001090: DUP2 00001091: DUP2 00001092: DUP6 00001093: DUP9 00001094: DUP9 00001095: CALL 00001096: SWAP4 00001097: POP 00001098: POP 00001099: POP 0000109a: POP 0000109b: ISZERO 0000109c: DUP1 0000109d: ISZERO 0000109e: PUSH2 0x10ab 000010a1: JUMPI 000010a2: RETURNDATASIZE 000010a3: PUSH1 0x00 000010a5: DUP1 000010a6: RETURNDATACOPY 000010a7: RETURNDATASIZE 000010a8: PUSH1 0x00 000010aa: REVERT 000010ab: JUMPDEST 000010ac: POP 000010ad: PUSH2 0x115a 000010b0: JUMP 000010b1: JUMPDEST 000010b2: DUP2 000010b3: PUSH1 0x01 000010b5: PUSH1 0xa0 000010b7: PUSH1 0x02 000010b9: EXP 000010ba: SUB 000010bb: AND 000010bc: PUSH4 0xa9059cbb 000010c1: DUP6 000010c2: DUP6 000010c3: PUSH1 0x40 000010c5: MLOAD 000010c6: DUP4 000010c7: PUSH4 0xffffffff 000010cc: AND 000010cd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000010eb: MUL 000010ec: DUP2 000010ed: MSTORE 000010ee: PUSH1 0x04 000010f0: ADD 000010f1: DUP1 000010f2: DUP4 000010f3: PUSH1 0x01 000010f5: PUSH1 0xa0 000010f7: PUSH1 0x02 000010f9: EXP 000010fa: SUB 000010fb: AND 000010fc: PUSH1 0x01 000010fe: PUSH1 0xa0 00001100: PUSH1 0x02 00001102: EXP 00001103: SUB 00001104: AND 00001105: DUP2 00001106: MSTORE 00001107: PUSH1 0x20 00001109: ADD 0000110a: DUP3 0000110b: DUP2 0000110c: MSTORE 0000110d: PUSH1 0x20 0000110f: ADD 00001110: SWAP3 00001111: POP 00001112: POP 00001113: POP 00001114: PUSH1 0x20 00001116: PUSH1 0x40 00001118: MLOAD 00001119: DUP1 0000111a: DUP4 0000111b: SUB 0000111c: DUP2 0000111d: PUSH1 0x00 0000111f: DUP8 00001120: DUP1 00001121: EXTCODESIZE 00001122: ISZERO 00001123: DUP1 00001124: ISZERO 00001125: PUSH2 0x112d 00001128: JUMPI 00001129: PUSH1 0x00 0000112b: DUP1 0000112c: REVERT 0000112d: JUMPDEST 0000112e: POP 0000112f: GAS 00001130: CALL 00001131: ISZERO 00001132: DUP1 00001133: ISZERO 00001134: PUSH2 0x1141 00001137: JUMPI 00001138: RETURNDATASIZE 00001139: PUSH1 0x00 0000113b: DUP1 0000113c: RETURNDATACOPY 0000113d: RETURNDATASIZE 0000113e: PUSH1 0x00 00001140: REVERT 00001141: JUMPDEST 00001142: POP 00001143: POP 00001144: POP 00001145: POP 00001146: PUSH1 0x40 00001148: MLOAD 00001149: RETURNDATASIZE 0000114a: PUSH1 0x20 0000114c: DUP2 0000114d: LT 0000114e: ISZERO 0000114f: PUSH2 0x1157 00001152: JUMPI 00001153: PUSH1 0x00 00001155: DUP1 00001156: REVERT 00001157: JUMPDEST 00001158: POP 00001159: POP 0000115a: JUMPDEST 0000115b: POP 0000115c: PUSH1 0x01 0000115e: SWAP4 0000115f: SWAP3 00001160: POP 00001161: POP 00001162: POP 00001163: JUMP 00001164: JUMPDEST 00001165: PUSH1 0x00 00001167: DUP3 00001168: DUP3 00001169: MUL 0000116a: DUP4 0000116b: ISZERO 0000116c: DUP1 0000116d: PUSH2 0x1180 00001170: JUMPI 00001171: POP 00001172: DUP3 00001173: DUP5 00001174: DUP3 00001175: DUP2 00001176: ISZERO 00001177: ISZERO 00001178: PUSH2 0x117d 0000117b: JUMPI 0000117c: INVALID 0000117d: JUMPDEST 0000117e: DIV 0000117f: EQ 00001180: JUMPDEST 00001181: ISZERO 00001182: ISZERO 00001183: PUSH2 0x1188 00001186: JUMPI 00001187: INVALID 00001188: JUMPDEST 00001189: DUP1 0000118a: SWAP2 0000118b: POP 0000118c: JUMPDEST 0000118d: POP 0000118e: SWAP3 0000118f: SWAP2 00001190: POP 00001191: POP 00001192: JUMP 00001193: JUMPDEST 00001194: PUSH1 0x00 00001196: DUP1 00001197: DUP3 00001198: DUP5 00001199: DUP2 0000119a: ISZERO 0000119b: ISZERO 0000119c: PUSH2 0x11a1 0000119f: JUMPI 000011a0: INVALID 000011a1: JUMPDEST 000011a2: DIV 000011a3: SWAP5 000011a4: SWAP4 000011a5: POP 000011a6: POP 000011a7: POP 000011a8: POP 000011a9: JUMP 000011aa: JUMPDEST 000011ab: PUSH1 0x00 000011ad: DUP1 000011ae: SLOAD 000011af: DUP2 000011b0: SWAP1 000011b1: PUSH1 0xff 000011b3: AND 000011b4: ISZERO 000011b5: PUSH2 0x11bd 000011b8: JUMPI 000011b9: PUSH1 0x00 000011bb: DUP1 000011bc: REVERT 000011bd: JUMPDEST 000011be: PUSH1 0x00 000011c0: DUP1 000011c1: SLOAD 000011c2: PUSH1 0xff 000011c4: NOT 000011c5: AND 000011c6: PUSH1 0x01 000011c8: OR 000011c9: SWAP1 000011ca: SSTORE 000011cb: PUSH1 0x03 000011cd: SLOAD 000011ce: DUP6 000011cf: LT 000011d0: PUSH2 0x11d8 000011d3: JUMPI 000011d4: PUSH1 0x00 000011d6: DUP1 000011d7: REVERT 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: DUP4 000011dc: GT 000011dd: PUSH2 0x11e5 000011e0: JUMPI 000011e1: PUSH1 0x00 000011e3: DUP1 000011e4: REVERT 000011e5: JUMPDEST 000011e6: PUSH1 0x00 000011e8: DUP6 000011e9: DUP2 000011ea: MSTORE 000011eb: PUSH1 0x02 000011ed: PUSH1 0x20 000011ef: MSTORE 000011f0: PUSH1 0x40 000011f2: SWAP1 000011f3: KECCAK256 000011f4: DUP1 000011f5: SLOAD 000011f6: SWAP1 000011f7: SWAP3 000011f8: POP 000011f9: PUSH1 0xa0 000011fb: PUSH1 0x02 000011fd: EXP 000011fe: SWAP1 000011ff: DIV 00001200: PUSH1 0xff 00001202: AND 00001203: ISZERO 00001204: ISZERO 00001205: PUSH2 0x120d 00001208: JUMPI 00001209: PUSH1 0x00 0000120b: DUP1 0000120c: REVERT 0000120d: JUMPDEST 0000120e: DUP2 0000120f: SLOAD 00001210: PUSH1 0x01 00001212: PUSH1 0xa0 00001214: PUSH1 0x02 00001216: EXP 00001217: SUB 00001218: DUP8 00001219: DUP2 0000121a: AND 0000121b: SWAP2 0000121c: AND 0000121d: EQ 0000121e: ISZERO 0000121f: PUSH2 0x1227 00001222: JUMPI 00001223: PUSH1 0x00 00001225: DUP1 00001226: REVERT 00001227: JUMPDEST 00001228: PUSH1 0x02 0000122a: DUP3 0000122b: ADD 0000122c: SLOAD 0000122d: PUSH1 0x01 0000122f: PUSH1 0xa0 00001231: PUSH1 0x02 00001233: EXP 00001234: SUB 00001235: DUP6 00001236: DUP2 00001237: AND 00001238: SWAP2 00001239: AND 0000123a: EQ 0000123b: PUSH2 0x1243 0000123e: JUMPI 0000123f: PUSH1 0x00 00001241: DUP1 00001242: REVERT 00001243: JUMPDEST 00001244: PUSH1 0x04 00001246: SLOAD 00001247: PUSH1 0x03 00001249: DUP4 0000124a: ADD 0000124b: SLOAD 0000124c: PUSH1 0x01 0000124e: PUSH1 0xa0 00001250: PUSH1 0x02 00001252: EXP 00001253: SUB 00001254: SWAP1 00001255: DUP2 00001256: AND 00001257: SWAP2 00001258: AND 00001259: EQ 0000125a: PUSH2 0x1276 0000125d: JUMPI 0000125e: PUSH1 0x03 00001260: DUP3 00001261: ADD 00001262: SLOAD 00001263: PUSH1 0x01 00001265: PUSH1 0xa0 00001267: PUSH1 0x02 00001269: EXP 0000126a: SUB 0000126b: AND 0000126c: ORIGIN 0000126d: EQ 0000126e: PUSH2 0x1276 00001271: JUMPI 00001272: PUSH1 0x00 00001274: DUP1 00001275: REVERT 00001276: JUMPDEST 00001277: PUSH1 0x04 00001279: SLOAD 0000127a: PUSH1 0x01 0000127c: DUP4 0000127d: ADD 0000127e: SLOAD 0000127f: PUSH1 0x01 00001281: PUSH1 0xa0 00001283: PUSH1 0x02 00001285: EXP 00001286: SUB 00001287: SWAP1 00001288: DUP2 00001289: AND 0000128a: SWAP2 0000128b: AND 0000128c: EQ 0000128d: ISZERO 0000128e: PUSH2 0x12a3 00001291: JUMPI 00001292: PUSH2 0x129c 00001295: DUP7 00001296: DUP7 00001297: DUP6 00001298: PUSH2 0x144b 0000129b: JUMP 0000129c: JUMPDEST 0000129d: SWAP1 0000129e: POP 0000129f: PUSH2 0x12d7 000012a2: JUMP 000012a3: JUMPDEST 000012a4: PUSH1 0x04 000012a6: SLOAD 000012a7: PUSH1 0x02 000012a9: DUP4 000012aa: ADD 000012ab: SLOAD 000012ac: PUSH1 0x01 000012ae: PUSH1 0xa0 000012b0: PUSH1 0x02 000012b2: EXP 000012b3: SUB 000012b4: SWAP1 000012b5: DUP2 000012b6: AND 000012b7: SWAP2 000012b8: AND 000012b9: EQ 000012ba: ISZERO 000012bb: PUSH2 0x12c9 000012be: JUMPI 000012bf: PUSH2 0x129c 000012c2: DUP7 000012c3: DUP7 000012c4: DUP6 000012c5: PUSH2 0x15bf 000012c8: JUMP 000012c9: JUMPDEST 000012ca: PUSH2 0x12d4 000012cd: DUP7 000012ce: DUP7 000012cf: DUP6 000012d0: PUSH2 0x173d 000012d3: JUMP 000012d4: JUMPDEST 000012d5: SWAP1 000012d6: POP 000012d7: JUMPDEST 000012d8: PUSH2 0x12e1 000012db: DUP2 000012dc: DUP8 000012dd: PUSH2 0x1880 000012e0: JUMP 000012e1: JUMPDEST 000012e2: ISZERO 000012e3: ISZERO 000012e4: PUSH2 0x12ec 000012e7: JUMPI 000012e8: PUSH1 0x00 000012ea: DUP1 000012eb: REVERT 000012ec: JUMPDEST 000012ed: PUSH1 0x00 000012ef: DUP6 000012f0: DUP2 000012f1: MSTORE 000012f2: PUSH1 0x02 000012f4: PUSH1 0x20 000012f6: MSTORE 000012f7: PUSH1 0x40 000012f9: SWAP1 000012fa: KECCAK256 000012fb: PUSH1 0x04 000012fd: ADD 000012fe: SLOAD 000012ff: ISZERO 00001300: ISZERO 00001301: PUSH2 0x13b9 00001304: JUMPI 00001305: PUSH1 0x00 00001307: DUP6 00001308: DUP2 00001309: MSTORE 0000130a: PUSH1 0x02 0000130c: PUSH1 0x20 0000130e: DUP2 0000130f: DUP2 00001310: MSTORE 00001311: PUSH1 0x40 00001313: DUP1 00001314: DUP5 00001315: KECCAK256 00001316: DUP1 00001317: SLOAD 00001318: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 0000132e: NOT 0000132f: AND 00001330: DUP2 00001331: SSTORE 00001332: PUSH1 0x01 00001334: DUP2 00001335: ADD 00001336: DUP1 00001337: SLOAD 00001338: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134d: NOT 0000134e: SWAP1 0000134f: DUP2 00001350: AND 00001351: SWAP1 00001352: SWAP2 00001353: SSTORE 00001354: SWAP4 00001355: DUP2 00001356: ADD 00001357: DUP1 00001358: SLOAD 00001359: DUP6 0000135a: AND 0000135b: SWAP1 0000135c: SSTORE 0000135d: PUSH1 0x03 0000135f: DUP2 00001360: ADD 00001361: DUP1 00001362: SLOAD 00001363: SWAP1 00001364: SWAP5 00001365: AND 00001366: SWAP1 00001367: SWAP4 00001368: SSTORE 00001369: PUSH1 0x04 0000136b: DUP4 0000136c: ADD 0000136d: DUP5 0000136e: SWAP1 0000136f: SSTORE 00001370: PUSH1 0x05 00001372: DUP4 00001373: ADD 00001374: DUP5 00001375: SWAP1 00001376: SSTORE 00001377: PUSH1 0x06 00001379: SWAP1 0000137a: SWAP3 0000137b: ADD 0000137c: SWAP3 0000137d: SWAP1 0000137e: SWAP3 0000137f: SSTORE 00001380: DUP1 00001381: MLOAD 00001382: DUP8 00001383: DUP2 00001384: MSTORE 00001385: TIMESTAMP 00001386: SWAP3 00001387: DUP2 00001388: ADD 00001389: SWAP3 0000138a: SWAP1 0000138b: SWAP3 0000138c: MSTORE 0000138d: DUP1 0000138e: MLOAD 0000138f: PUSH32 0xeb3b41be12efa25c0c65725eeff2e2ad0250e2e5de2aa939e18f36aa656e9880 000013b0: SWAP3 000013b1: DUP2 000013b2: SWAP1 000013b3: SUB 000013b4: SWAP1 000013b5: SWAP2 000013b6: ADD 000013b7: SWAP1 000013b8: LOG1 000013b9: JUMPDEST 000013ba: POP 000013bb: POP 000013bc: PUSH1 0x00 000013be: DUP1 000013bf: SLOAD 000013c0: PUSH1 0xff 000013c2: NOT 000013c3: AND 000013c4: SWAP1 000013c5: SSTORE 000013c6: POP 000013c7: POP 000013c8: POP 000013c9: POP 000013ca: JUMP 000013cb: JUMPDEST 000013cc: PUSH1 0x07 000013ce: SLOAD 000013cf: PUSH1 0x00 000013d1: SWAP1 000013d2: PUSH2 0x13e1 000013d5: SWAP1 000013d6: DUP4 000013d7: PUSH4 0xffffffff 000013dc: PUSH2 0x143c 000013df: AND 000013e0: JUMP 000013e1: JUMPDEST 000013e2: PUSH1 0x07 000013e4: SSTORE 000013e5: POP 000013e6: PUSH1 0x01 000013e8: SWAP2 000013e9: SWAP1 000013ea: POP 000013eb: JUMP 000013ec: JUMPDEST 000013ed: PUSH1 0x00 000013ef: DUP1 000013f0: DUP3 000013f1: PUSH1 0x14 000013f3: ADD 000013f4: DUP5 000013f5: MLOAD 000013f6: LT 000013f7: ISZERO 000013f8: ISZERO 000013f9: ISZERO 000013fa: PUSH2 0x1402 000013fd: JUMPI 000013fe: PUSH1 0x00 00001400: DUP1 00001401: REVERT 00001402: JUMPDEST 00001403: POP 00001404: POP 00001405: ADD 00001406: PUSH1 0x20 00001408: ADD 00001409: MLOAD 0000140a: PUSH13 0x01000000000000000000000000 00001418: SWAP1 00001419: DIV 0000141a: SWAP1 0000141b: JUMP 0000141c: JUMPDEST 0000141d: PUSH1 0x00 0000141f: DUP1 00001420: DUP3 00001421: PUSH1 0x20 00001423: ADD 00001424: DUP5 00001425: MLOAD 00001426: LT 00001427: ISZERO 00001428: ISZERO 00001429: ISZERO 0000142a: PUSH2 0x1432 0000142d: JUMPI 0000142e: PUSH1 0x00 00001430: DUP1 00001431: REVERT 00001432: JUMPDEST 00001433: POP 00001434: POP 00001435: ADD 00001436: PUSH1 0x20 00001438: ADD 00001439: MLOAD 0000143a: SWAP1 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH1 0x00 0000143f: DUP3 00001440: DUP3 00001441: ADD 00001442: DUP4 00001443: DUP2 00001444: LT 00001445: ISZERO 00001446: PUSH2 0x1188 00001449: JUMPI 0000144a: INVALID 0000144b: JUMPDEST 0000144c: PUSH1 0x00 0000144e: DUP3 0000144f: DUP2 00001450: MSTORE 00001451: PUSH1 0x02 00001453: PUSH1 0x20 00001455: MSTORE 00001456: PUSH1 0x40 00001458: DUP2 00001459: KECCAK256 0000145a: PUSH1 0x06 0000145c: DUP2 0000145d: ADD 0000145e: SLOAD 0000145f: PUSH1 0x05 00001461: DUP3 00001462: ADD 00001463: SLOAD 00001464: DUP4 00001465: SWAP2 00001466: DUP3 00001467: SWAP2 00001468: PUSH2 0x147d 0000146b: SWAP2 0000146c: SWAP1 0000146d: PUSH2 0x06c5 00001470: SWAP1 00001471: DUP9 00001472: SWAP1 00001473: PUSH4 0xffffffff 00001478: PUSH2 0x1164 0000147b: AND 0000147c: JUMP 0000147d: JUMPDEST 0000147e: SWAP2 0000147f: POP 00001480: PUSH2 0x149a 00001483: PUSH1 0x0a 00001485: SLOAD 00001486: PUSH2 0x06c5 00001489: PUSH1 0x09 0000148b: SLOAD 0000148c: DUP6 0000148d: PUSH2 0x1164 00001490: SWAP1 00001491: SWAP2 00001492: SWAP1 00001493: PUSH4 0xffffffff 00001498: AND 00001499: JUMP 0000149a: JUMPDEST 0000149b: SWAP1 0000149c: POP 0000149d: PUSH1 0x00 0000149f: DUP3 000014a0: GT 000014a1: PUSH2 0x14a9 000014a4: JUMPI 000014a5: PUSH1 0x00 000014a7: DUP1 000014a8: REVERT 000014a9: JUMPDEST 000014aa: PUSH1 0x04 000014ac: DUP4 000014ad: ADD 000014ae: SLOAD 000014af: DUP3 000014b0: GT 000014b1: ISZERO 000014b2: PUSH2 0x14ba 000014b5: JUMPI 000014b6: PUSH1 0x00 000014b8: DUP1 000014b9: REVERT 000014ba: JUMPDEST 000014bb: PUSH1 0x04 000014bd: DUP4 000014be: ADD 000014bf: SLOAD 000014c0: PUSH2 0x14cf 000014c3: SWAP1 000014c4: DUP4 000014c5: PUSH4 0xffffffff 000014ca: PUSH2 0x104a 000014cd: AND 000014ce: JUMP 000014cf: JUMPDEST 000014d0: PUSH1 0x04 000014d2: DUP5 000014d3: ADD 000014d4: SSTORE 000014d5: DUP3 000014d6: SLOAD 000014d7: PUSH1 0x02 000014d9: DUP5 000014da: ADD 000014db: SLOAD 000014dc: PUSH2 0x14f3 000014df: SWAP2 000014e0: PUSH1 0x01 000014e2: PUSH1 0xa0 000014e4: PUSH1 0x02 000014e6: EXP 000014e7: SUB 000014e8: SWAP1 000014e9: DUP2 000014ea: AND 000014eb: SWAP2 000014ec: DUP9 000014ed: SWAP2 000014ee: AND 000014ef: PUSH2 0x105c 000014f2: JUMP 000014f3: JUMPDEST 000014f4: ISZERO 000014f5: ISZERO 000014f6: PUSH2 0x14fe 000014f9: JUMPI 000014fa: PUSH1 0x00 000014fc: DUP1 000014fd: REVERT 000014fe: JUMPDEST 000014ff: PUSH2 0x1525 00001502: DUP8 00001503: PUSH2 0x1512 00001506: DUP5 00001507: DUP5 00001508: PUSH4 0xffffffff 0000150d: PUSH2 0x104a 00001510: AND 00001511: JUMP 00001512: JUMPDEST 00001513: PUSH1 0x01 00001515: DUP7 00001516: ADD 00001517: SLOAD 00001518: PUSH1 0x01 0000151a: PUSH1 0xa0 0000151c: PUSH1 0x02 0000151e: EXP 0000151f: SUB 00001520: AND 00001521: PUSH2 0x105c 00001524: JUMP 00001525: JUMPDEST 00001526: ISZERO 00001527: ISZERO 00001528: PUSH2 0x1530 0000152b: JUMPI 0000152c: PUSH1 0x00 0000152e: DUP1 0000152f: REVERT 00001530: JUMPDEST 00001531: DUP3 00001532: SLOAD 00001533: PUSH32 0x01f5d7c359dba416997ea6c723ea4663e9ad524f956ed8bb3b5234e6475a7285 00001554: SWAP1 00001555: DUP9 00001556: SWAP1 00001557: PUSH1 0x01 00001559: PUSH1 0xa0 0000155b: PUSH1 0x02 0000155d: EXP 0000155e: SUB 0000155f: AND 00001560: DUP9 00001561: PUSH2 0x1570 00001564: DUP7 00001565: DUP7 00001566: PUSH4 0xffffffff 0000156b: PUSH2 0x104a 0000156e: AND 0000156f: JUMP 00001570: JUMPDEST 00001571: PUSH1 0x40 00001573: DUP1 00001574: MLOAD 00001575: PUSH1 0x01 00001577: PUSH1 0xa0 00001579: PUSH1 0x02 0000157b: EXP 0000157c: SUB 0000157d: SWAP6 0000157e: DUP7 0000157f: AND 00001580: DUP2 00001581: MSTORE 00001582: SWAP4 00001583: SWAP1 00001584: SWAP5 00001585: AND 00001586: PUSH1 0x20 00001588: DUP5 00001589: ADD 0000158a: MSTORE 0000158b: DUP3 0000158c: DUP5 0000158d: ADD 0000158e: SWAP2 0000158f: SWAP1 00001590: SWAP2 00001591: MSTORE 00001592: PUSH1 0x60 00001594: DUP3 00001595: ADD 00001596: MSTORE 00001597: PUSH1 0x80 00001599: DUP2 0000159a: ADD 0000159b: DUP9 0000159c: SWAP1 0000159d: MSTORE 0000159e: PUSH1 0xa0 000015a0: DUP2 000015a1: ADD 000015a2: DUP5 000015a3: SWAP1 000015a4: MSTORE 000015a5: TIMESTAMP 000015a6: PUSH1 0xc0 000015a8: DUP3 000015a9: ADD 000015aa: MSTORE 000015ab: SWAP1 000015ac: MLOAD 000015ad: SWAP1 000015ae: DUP2 000015af: SWAP1 000015b0: SUB 000015b1: PUSH1 0xe0 000015b3: ADD 000015b4: SWAP1 000015b5: LOG1 000015b6: SWAP7 000015b7: SWAP6 000015b8: POP 000015b9: POP 000015ba: POP 000015bb: POP 000015bc: POP 000015bd: POP 000015be: JUMP 000015bf: JUMPDEST 000015c0: PUSH1 0x00 000015c2: DUP3 000015c3: DUP2 000015c4: MSTORE 000015c5: PUSH1 0x02 000015c7: PUSH1 0x20 000015c9: MSTORE 000015ca: PUSH1 0x40 000015cc: DUP2 000015cd: KECCAK256 000015ce: PUSH1 0x0a 000015d0: SLOAD 000015d1: PUSH1 0x09 000015d3: SLOAD 000015d4: DUP4 000015d5: SWAP2 000015d6: DUP3 000015d7: SWAP2 000015d8: PUSH2 0x15ed 000015db: SWAP2 000015dc: SWAP1 000015dd: PUSH2 0x06c5 000015e0: SWAP1 000015e1: DUP9 000015e2: SWAP1 000015e3: PUSH4 0xffffffff 000015e8: PUSH2 0x1164 000015eb: AND 000015ec: JUMP 000015ed: JUMPDEST 000015ee: SWAP2 000015ef: POP 000015f0: PUSH2 0x1612 000015f3: DUP4 000015f4: PUSH1 0x06 000015f6: ADD 000015f7: SLOAD 000015f8: PUSH2 0x06c5 000015fb: DUP6 000015fc: PUSH1 0x05 000015fe: ADD 000015ff: SLOAD 00001600: PUSH2 0x0b22 00001603: DUP7 00001604: DUP11 00001605: PUSH2 0x104a 00001608: SWAP1 00001609: SWAP2 0000160a: SWAP1 0000160b: PUSH4 0xffffffff 00001610: AND 00001611: JUMP 00001612: JUMPDEST 00001613: SWAP1 00001614: POP 00001615: PUSH1 0x00 00001617: DUP2 00001618: GT 00001619: PUSH2 0x1621 0000161c: JUMPI 0000161d: PUSH1 0x00 0000161f: DUP1 00001620: REVERT 00001621: JUMPDEST 00001622: PUSH1 0x04 00001624: DUP4 00001625: ADD 00001626: SLOAD 00001627: DUP2 00001628: GT 00001629: ISZERO 0000162a: PUSH2 0x1632 0000162d: JUMPI 0000162e: PUSH1 0x00 00001630: DUP1 00001631: REVERT 00001632: JUMPDEST 00001633: PUSH1 0x04 00001635: DUP4 00001636: ADD 00001637: SLOAD 00001638: PUSH2 0x1647 0000163b: SWAP1 0000163c: DUP3 0000163d: PUSH4 0xffffffff 00001642: PUSH2 0x104a 00001645: AND 00001646: JUMP 00001647: JUMPDEST 00001648: PUSH1 0x04 0000164a: DUP5 0000164b: ADD 0000164c: SSTORE 0000164d: DUP3 0000164e: SLOAD 0000164f: PUSH2 0x167e 00001652: SWAP1 00001653: PUSH1 0x01 00001655: PUSH1 0xa0 00001657: PUSH1 0x02 00001659: EXP 0000165a: SUB 0000165b: AND 0000165c: PUSH2 0x166b 0000165f: DUP8 00001660: DUP6 00001661: PUSH4 0xffffffff 00001666: PUSH2 0x104a 00001669: AND 0000166a: JUMP 0000166b: JUMPDEST 0000166c: PUSH1 0x02 0000166e: DUP7 0000166f: ADD 00001670: SLOAD 00001671: PUSH1 0x01 00001673: PUSH1 0xa0 00001675: PUSH1 0x02 00001677: EXP 00001678: SUB 00001679: AND 0000167a: PUSH2 0x105c 0000167d: JUMP 0000167e: JUMPDEST 0000167f: ISZERO 00001680: ISZERO 00001681: PUSH2 0x1689 00001684: JUMPI 00001685: PUSH1 0x00 00001687: DUP1 00001688: REVERT 00001689: JUMPDEST 0000168a: PUSH1 0x01 0000168c: DUP4 0000168d: ADD 0000168e: SLOAD 0000168f: PUSH2 0x16a4 00001692: SWAP1 00001693: DUP9 00001694: SWAP1 00001695: DUP4 00001696: SWAP1 00001697: PUSH1 0x01 00001699: PUSH1 0xa0 0000169b: PUSH1 0x02 0000169d: EXP 0000169e: SUB 0000169f: AND 000016a0: PUSH2 0x105c 000016a3: JUMP 000016a4: JUMPDEST 000016a5: ISZERO 000016a6: ISZERO 000016a7: PUSH2 0x16af 000016aa: JUMPI 000016ab: PUSH1 0x00 000016ad: DUP1 000016ae: REVERT 000016af: JUMPDEST 000016b0: DUP3 000016b1: SLOAD 000016b2: PUSH32 0x01f5d7c359dba416997ea6c723ea4663e9ad524f956ed8bb3b5234e6475a7285 000016d3: SWAP1 000016d4: DUP9 000016d5: SWAP1 000016d6: PUSH1 0x01 000016d8: PUSH1 0xa0 000016da: PUSH1 0x02 000016dc: EXP 000016dd: SUB 000016de: AND 000016df: DUP9 000016e0: DUP5 000016e1: PUSH2 0x16f0 000016e4: DUP11 000016e5: DUP9 000016e6: PUSH4 0xffffffff 000016eb: PUSH2 0x104a 000016ee: AND 000016ef: JUMP 000016f0: JUMPDEST 000016f1: PUSH1 0x40 000016f3: DUP1 000016f4: MLOAD 000016f5: PUSH1 0x01 000016f7: PUSH1 0xa0 000016f9: PUSH1 0x02 000016fb: EXP 000016fc: SUB 000016fd: SWAP7 000016fe: DUP8 000016ff: AND 00001700: DUP2 00001701: MSTORE 00001702: SWAP5 00001703: SWAP1 00001704: SWAP6 00001705: AND 00001706: PUSH1 0x20 00001708: DUP6 00001709: ADD 0000170a: MSTORE 0000170b: DUP4 0000170c: DUP6 0000170d: ADD 0000170e: SWAP3 0000170f: SWAP1 00001710: SWAP3 00001711: MSTORE 00001712: PUSH1 0x60 00001714: DUP4 00001715: ADD 00001716: MSTORE 00001717: PUSH1 0x80 00001719: DUP3 0000171a: ADD 0000171b: MSTORE 0000171c: PUSH1 0xa0 0000171e: DUP2 0000171f: ADD 00001720: DUP6 00001721: SWAP1 00001722: MSTORE 00001723: TIMESTAMP 00001724: PUSH1 0xc0 00001726: DUP3 00001727: ADD 00001728: MSTORE 00001729: SWAP1 0000172a: MLOAD 0000172b: SWAP1 0000172c: DUP2 0000172d: SWAP1 0000172e: SUB 0000172f: PUSH1 0xe0 00001731: ADD 00001732: SWAP1 00001733: LOG1 00001734: POP 00001735: SWAP6 00001736: SWAP5 00001737: POP 00001738: POP 00001739: POP 0000173a: POP 0000173b: POP 0000173c: JUMP 0000173d: JUMPDEST 0000173e: PUSH1 0x00 00001740: DUP3 00001741: DUP2 00001742: MSTORE 00001743: PUSH1 0x02 00001745: PUSH1 0x20 00001747: MSTORE 00001748: PUSH1 0x40 0000174a: DUP2 0000174b: KECCAK256 0000174c: PUSH1 0x06 0000174e: DUP2 0000174f: ADD 00001750: SLOAD 00001751: PUSH1 0x05 00001753: DUP3 00001754: ADD 00001755: SLOAD 00001756: DUP4 00001757: SWAP2 00001758: PUSH2 0x176c 0000175b: SWAP2 0000175c: PUSH2 0x06c5 0000175f: SWAP1 00001760: DUP8 00001761: SWAP1 00001762: PUSH4 0xffffffff 00001767: PUSH2 0x1164 0000176a: AND 0000176b: JUMP 0000176c: JUMPDEST 0000176d: SWAP1 0000176e: POP 0000176f: PUSH1 0x00 00001771: DUP2 00001772: GT 00001773: PUSH2 0x177b 00001776: JUMPI 00001777: PUSH1 0x00 00001779: DUP1 0000177a: REVERT 0000177b: JUMPDEST 0000177c: PUSH1 0x04 0000177e: DUP3 0000177f: ADD 00001780: SLOAD 00001781: DUP2 00001782: GT 00001783: ISZERO 00001784: PUSH2 0x178c 00001787: JUMPI 00001788: PUSH1 0x00 0000178a: DUP1 0000178b: REVERT 0000178c: JUMPDEST 0000178d: PUSH1 0x04 0000178f: DUP3 00001790: ADD 00001791: SLOAD 00001792: PUSH2 0x17a1 00001795: SWAP1 00001796: DUP3 00001797: PUSH4 0xffffffff 0000179c: PUSH2 0x104a 0000179f: AND 000017a0: JUMP 000017a1: JUMPDEST 000017a2: PUSH1 0x04 000017a4: DUP4 000017a5: ADD 000017a6: SSTORE 000017a7: DUP2 000017a8: SLOAD 000017a9: PUSH1 0x02 000017ab: DUP4 000017ac: ADD 000017ad: SLOAD 000017ae: PUSH2 0x17c5 000017b1: SWAP2 000017b2: PUSH1 0x01 000017b4: PUSH1 0xa0 000017b6: PUSH1 0x02 000017b8: EXP 000017b9: SUB 000017ba: SWAP1 000017bb: DUP2 000017bc: AND 000017bd: SWAP2 000017be: DUP8 000017bf: SWAP2 000017c0: AND 000017c1: PUSH2 0x105c 000017c4: JUMP 000017c5: JUMPDEST 000017c6: ISZERO 000017c7: ISZERO 000017c8: PUSH2 0x17d0 000017cb: JUMPI 000017cc: PUSH1 0x00 000017ce: DUP1 000017cf: REVERT 000017d0: JUMPDEST 000017d1: DUP2 000017d2: SLOAD 000017d3: PUSH1 0xa0 000017d5: PUSH1 0x02 000017d7: EXP 000017d8: SWAP1 000017d9: DIV 000017da: PUSH1 0xff 000017dc: AND 000017dd: ISZERO 000017de: ISZERO 000017df: PUSH2 0x17e7 000017e2: JUMPI 000017e3: PUSH1 0x00 000017e5: DUP1 000017e6: REVERT 000017e7: JUMPDEST 000017e8: PUSH1 0x01 000017ea: DUP3 000017eb: ADD 000017ec: SLOAD 000017ed: PUSH2 0x1802 000017f0: SWAP1 000017f1: DUP8 000017f2: SWAP1 000017f3: DUP4 000017f4: SWAP1 000017f5: PUSH1 0x01 000017f7: PUSH1 0xa0 000017f9: PUSH1 0x02 000017fb: EXP 000017fc: SUB 000017fd: AND 000017fe: PUSH2 0x105c 00001801: JUMP 00001802: JUMPDEST 00001803: ISZERO 00001804: ISZERO 00001805: PUSH2 0x180d 00001808: JUMPI 00001809: PUSH1 0x00 0000180b: DUP1 0000180c: REVERT 0000180d: JUMPDEST 0000180e: DUP2 0000180f: SLOAD 00001810: PUSH1 0x40 00001812: DUP1 00001813: MLOAD 00001814: PUSH1 0x01 00001816: PUSH1 0xa0 00001818: PUSH1 0x02 0000181a: EXP 0000181b: SUB 0000181c: DUP1 0000181d: DUP11 0000181e: AND 0000181f: DUP3 00001820: MSTORE 00001821: SWAP1 00001822: SWAP3 00001823: AND 00001824: PUSH1 0x20 00001826: DUP4 00001827: ADD 00001828: MSTORE 00001829: DUP2 0000182a: DUP2 0000182b: ADD 0000182c: DUP8 0000182d: SWAP1 0000182e: MSTORE 0000182f: PUSH1 0x60 00001831: DUP3 00001832: ADD 00001833: DUP4 00001834: SWAP1 00001835: MSTORE 00001836: PUSH1 0x80 00001838: DUP3 00001839: ADD 0000183a: DUP7 0000183b: SWAP1 0000183c: MSTORE 0000183d: PUSH1 0x00 0000183f: PUSH1 0xa0 00001841: DUP4 00001842: ADD 00001843: MSTORE 00001844: TIMESTAMP 00001845: PUSH1 0xc0 00001847: DUP4 00001848: ADD 00001849: MSTORE 0000184a: MLOAD 0000184b: PUSH32 0x01f5d7c359dba416997ea6c723ea4663e9ad524f956ed8bb3b5234e6475a7285 0000186c: SWAP2 0000186d: DUP2 0000186e: SWAP1 0000186f: SUB 00001870: PUSH1 0xe0 00001872: ADD 00001873: SWAP1 00001874: LOG1 00001875: POP 00001876: PUSH1 0x00 00001878: SWAP6 00001879: SWAP5 0000187a: POP 0000187b: POP 0000187c: POP 0000187d: POP 0000187e: POP 0000187f: JUMP 00001880: JUMPDEST 00001881: PUSH1 0x00 00001883: DUP1 00001884: DUP4 00001885: ISZERO 00001886: ISZERO 00001887: PUSH2 0x1893 0000188a: JUMPI 0000188b: PUSH1 0x01 0000188d: SWAP2 0000188e: POP 0000188f: PUSH2 0x118c 00001892: JUMP 00001893: JUMPDEST 00001894: PUSH1 0x08 00001896: SLOAD 00001897: PUSH1 0x04 00001899: SLOAD 0000189a: PUSH2 0x18b1 0000189d: SWAP2 0000189e: PUSH1 0x01 000018a0: PUSH1 0xa0 000018a2: PUSH1 0x02 000018a4: EXP 000018a5: SUB 000018a6: SWAP1 000018a7: DUP2 000018a8: AND 000018a9: SWAP2 000018aa: DUP8 000018ab: SWAP2 000018ac: AND 000018ad: PUSH2 0x105c 000018b0: JUMP 000018b1: JUMPDEST 000018b2: ISZERO 000018b3: ISZERO 000018b4: PUSH2 0x18bc 000018b7: JUMPI 000018b8: PUSH1 0x00 000018ba: DUP1 000018bb: REVERT 000018bc: JUMPDEST 000018bd: PUSH1 0x07 000018bf: SLOAD 000018c0: ISZERO 000018c1: ISZERO 000018c2: PUSH2 0x18ce 000018c5: JUMPI 000018c6: PUSH1 0x01 000018c8: SWAP2 000018c9: POP 000018ca: PUSH2 0x118c 000018cd: JUMP 000018ce: JUMPDEST 000018cf: PUSH2 0x18e9 000018d2: PUSH1 0x0c 000018d4: SLOAD 000018d5: PUSH2 0x06c5 000018d8: PUSH1 0x0b 000018da: SLOAD 000018db: DUP8 000018dc: PUSH2 0x1164 000018df: SWAP1 000018e0: SWAP2 000018e1: SWAP1 000018e2: PUSH4 0xffffffff 000018e7: AND 000018e8: JUMP 000018e9: JUMPDEST 000018ea: SWAP1 000018eb: POP 000018ec: DUP1 000018ed: ISZERO 000018ee: ISZERO 000018ef: PUSH2 0x18fb 000018f2: JUMPI 000018f3: PUSH1 0x01 000018f5: SWAP2 000018f6: POP 000018f7: PUSH2 0x118c 000018fa: JUMP 000018fb: JUMPDEST 000018fc: PUSH1 0x07 000018fe: SLOAD 000018ff: DUP2 00001900: GT 00001901: ISZERO 00001902: PUSH2 0x190a 00001905: JUMPI 00001906: POP 00001907: PUSH1 0x07 00001909: SLOAD 0000190a: JUMPDEST 0000190b: PUSH1 0x07 0000190d: SLOAD 0000190e: PUSH2 0x191d 00001911: SWAP1 00001912: DUP3 00001913: PUSH4 0xffffffff 00001918: PUSH2 0x104a 0000191b: AND 0000191c: JUMP 0000191d: JUMPDEST 0000191e: PUSH1 0x07 00001920: SSTORE 00001921: PUSH1 0x05 00001923: SLOAD 00001924: PUSH2 0x1939 00001927: SWAP1 00001928: DUP5 00001929: SWAP1 0000192a: DUP4 0000192b: SWAP1 0000192c: PUSH1 0x01 0000192e: PUSH1 0xa0 00001930: PUSH1 0x02 00001932: EXP 00001933: SUB 00001934: AND 00001935: PUSH2 0x105c 00001938: JUMP 00001939: JUMPDEST 0000193a: ISZERO 0000193b: ISZERO 0000193c: PUSH2 0x1944 0000193f: JUMPI 00001940: PUSH1 0x00 00001942: DUP1 00001943: REVERT 00001944: JUMPDEST 00001945: PUSH1 0x40 00001947: DUP1 00001948: MLOAD 00001949: PUSH1 0x01 0000194b: PUSH1 0xa0 0000194d: PUSH1 0x02 0000194f: EXP 00001950: SUB 00001951: DUP6 00001952: AND 00001953: DUP2 00001954: MSTORE 00001955: PUSH1 0x20 00001957: DUP2 00001958: ADD 00001959: DUP4 0000195a: SWAP1 0000195b: MSTORE 0000195c: TIMESTAMP 0000195d: DUP2 0000195e: DUP4 0000195f: ADD 00001960: MSTORE 00001961: SWAP1 00001962: MLOAD 00001963: PUSH32 0x5a9ec13c12ca9563a7b3108125f74c57ed388bb313394ea50f7e4a71b01497c2 00001984: SWAP2 00001985: DUP2 00001986: SWAP1 00001987: SUB 00001988: PUSH1 0x60 0000198a: ADD 0000198b: SWAP1 0000198c: LOG1 0000198d: POP 0000198e: PUSH1 0x01 00001990: SWAP4 00001991: SWAP3 00001992: POP 00001993: POP 00001994: POP 00001995: JUMP 00001996: STOP 00001997: LOG1 00001998: PUSH6 0x627a7a723058 0000199f: KECCAK256 000019a0: UNKNOWN(0xB0) 000019a1: SWAP5 000019a2: PUSH15 0x0e1d3d1e148149c2bb4e2cd4e7a7e4 000019b2: SELFDESTRUCT 000019b3: CALLVALUE 000019b4: DUP4 000019b5: SWAP14 000019b6: UNKNOWN(0xD1) 000019b7: UNKNOWN(0x4F) 000019b8: CREATE2 000019b9: UNKNOWN(0xED) 000019ba: UNKNOWN(0xCF) 000019bb: UNKNOWN(0xED) 000019bc: UNKNOWN(0xCA) 000019bd: PUSH18
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x22fdd3ea",
"selector": "0x22fdd3ea",
"calldata_variants": [
"0x22fdd3ea",
"0x22fdd3ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2453ffa8",
"selector": "0x2453ffa8",
"calldata_variants": [
"0x2453ffa8",
"0x2453ffa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41f9377f",
"selector": "0x41f9377f",
"calldata_variants": [
"0x41f9377f",
"0x41f9377f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x514fcac7",
"selector": "0x514fcac7",
"calldata_variants": [
"0x514fcac7",
"0x514fcac70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53e1a7a0",
"selector": "0x53e1a7a0",
"calldata_variants": [
"0x53e1a7a0",
"0x53e1a7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61d027b3",
"selector": "0x61d027b3",
"calldata_variants": [
"0x61d027b3",
"0x61d027b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fb768e8",
"selector": "0x6fb768e8",
"calldata_variants": [
"0x6fb768e8",
"0x6fb768e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78d067dd",
"selector": "0x78d067dd",
"calldata_variants": [
"0x78d067dd",
"0x78d067dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4717,
"type": "tx_origin_used"
},
{
"pc": 4716,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xf44652468da3127ad127c657928812c72e733238709b52fb621953b72bebc209
call_targets:
0xaa5bbd5a177a588b9f213505ca3740b444dbd586
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf44652468da3127ad127c657928812c72e733238709b52fb621953b72bebc209",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaa5bbd5a177a588b9f213505ca3740b444dbd586"
],
"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": "0x22fdd3ea",
"selector": "0x22fdd3ea",
"calldata_variants": [
"0x22fdd3ea",
"0x22fdd3ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2453ffa8",
"selector": "0x2453ffa8",
"calldata_variants": [
"0x2453ffa8",
"0x2453ffa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41f9377f",
"selector": "0x41f9377f",
"calldata_variants": [
"0x41f9377f",
"0x41f9377f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x514fcac7",
"selector": "0x514fcac7",
"calldata_variants": [
"0x514fcac7",
"0x514fcac70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53e1a7a0",
"selector": "0x53e1a7a0",
"calldata_variants": [
"0x53e1a7a0",
"0x53e1a7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61d027b3",
"selector": "0x61d027b3",
"calldata_variants": [
"0x61d027b3",
"0x61d027b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fb768e8",
"selector": "0x6fb768e8",
"calldata_variants": [
"0x6fb768e8",
"0x6fb768e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78d067dd",
"selector": "0x78d067dd",
"calldata_variants": [
"0x78d067dd",
"0x78d067dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3057,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3215,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3356,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 4717,
"type": "tx_origin_used"
},
{
"pc": 4716,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xf44652468da3127ad127c657928812c72e733238709b52fb621953b72bebc209
call_targets:
0xaa5bbd5a177a588b9f213505ca3740b444dbd586
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf44652468da3127ad127c657928812c72e733238709b52fb621953b72bebc209",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaa5bbd5a177a588b9f213505ca3740b444dbd586"
],
"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": "0x22fdd3ea",
"selector": "0x22fdd3ea",
"calldata_variants": [
"0x22fdd3ea",
"0x22fdd3ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2453ffa8",
"selector": "0x2453ffa8",
"calldata_variants": [
"0x2453ffa8",
"0x2453ffa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41f9377f",
"selector": "0x41f9377f",
"calldata_variants": [
"0x41f9377f",
"0x41f9377f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x514fcac7",
"selector": "0x514fcac7",
"calldata_variants": [
"0x514fcac7",
"0x514fcac70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53e1a7a0",
"selector": "0x53e1a7a0",
"calldata_variants": [
"0x53e1a7a0",
"0x53e1a7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61d027b3",
"selector": "0x61d027b3",
"calldata_variants": [
"0x61d027b3",
"0x61d027b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fb768e8",
"selector": "0x6fb768e8",
"calldata_variants": [
"0x6fb768e8",
"0x6fb768e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78d067dd",
"selector": "0x78d067dd",
"calldata_variants": [
"0x78d067dd",
"0x78d067dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3057,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3215,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3356,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 4717,
"type": "tx_origin_used"
},
{
"pc": 4716,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x1472cde8205f2d644af8d48fd3c6cf2bac8300046f3982262b97c8532f74f310
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x1472cde8205f2d644af8d48fd3c6cf2bac8300046f3982262b97c8532f74f310",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x22fdd3ea",
"selector": "0x22fdd3ea",
"calldata_variants": [
"0x22fdd3ea",
"0x22fdd3ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2453ffa8",
"selector": "0x2453ffa8",
"calldata_variants": [
"0x2453ffa8",
"0x2453ffa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41f9377f",
"selector": "0x41f9377f",
"calldata_variants": [
"0x41f9377f",
"0x41f9377f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x514fcac7",
"selector": "0x514fcac7",
"calldata_variants": [
"0x514fcac7",
"0x514fcac70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53e1a7a0",
"selector": "0x53e1a7a0",
"calldata_variants": [
"0x53e1a7a0",
"0x53e1a7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61d027b3",
"selector": "0x61d027b3",
"calldata_variants": [
"0x61d027b3",
"0x61d027b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fb768e8",
"selector": "0x6fb768e8",
"calldata_variants": [
"0x6fb768e8",
"0x6fb768e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78d067dd",
"selector": "0x78d067dd",
"calldata_variants": [
"0x78d067dd",
"0x78d067dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4717,
"type": "tx_origin_used"
},
{
"pc": 4716,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x1472cde8205f2d644af8d48fd3c6cf2bac8300046f3982262b97c8532f74f310
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x1472cde8205f2d644af8d48fd3c6cf2bac8300046f3982262b97c8532f74f310",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x22fdd3ea",
"selector": "0x22fdd3ea",
"calldata_variants": [
"0x22fdd3ea",
"0x22fdd3ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2453ffa8",
"selector": "0x2453ffa8",
"calldata_variants": [
"0x2453ffa8",
"0x2453ffa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41f9377f",
"selector": "0x41f9377f",
"calldata_variants": [
"0x41f9377f",
"0x41f9377f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x514fcac7",
"selector": "0x514fcac7",
"calldata_variants": [
"0x514fcac7",
"0x514fcac70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53e1a7a0",
"selector": "0x53e1a7a0",
"calldata_variants": [
"0x53e1a7a0",
"0x53e1a7a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61d027b3",
"selector": "0x61d027b3",
"calldata_variants": [
"0x61d027b3",
"0x61d027b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fb768e8",
"selector": "0x6fb768e8",
"calldata_variants": [
"0x6fb768e8",
"0x6fb768e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78d067dd",
"selector": "0x78d067dd",
"calldata_variants": [
"0x78d067dd",
"0x78d067dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|