019b477e-b491-72ca-b0d6-744e279fbc8a
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 |
|---|---|---|---|---|
| 22759 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22760 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89453 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89454 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89455 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89456 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0152 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x025e7c27 0000003a: EQ 0000003b: PUSH2 0x01b3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x173825d9 00000045: EQ 00000046: PUSH2 0x0213 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x20ea8d86 00000050: EQ 00000051: PUSH2 0x0249 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x2f54bf6e 0000005b: EQ 0000005c: PUSH2 0x0269 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x3411c81c 00000066: EQ 00000067: PUSH2 0x02b7 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x4bc9fdc2 00000071: EQ 00000072: PUSH2 0x030e 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x54741525 0000007c: EQ 0000007d: PUSH2 0x0334 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x67eeba0c 00000087: EQ 00000088: PUSH2 0x0375 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x6b0c932d 00000092: EQ 00000093: PUSH2 0x039b 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x7065cb48 0000009d: EQ 0000009e: PUSH2 0x03c1 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x784547a7 000000a8: EQ 000000a9: PUSH2 0x03f7 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x8b51d13f 000000b3: EQ 000000b4: PUSH2 0x042f 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x9ace38c2 000000be: EQ 000000bf: PUSH2 0x0463 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xa0e67e2b 000000c9: EQ 000000ca: PUSH2 0x055e 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xa8abe69a 000000d4: EQ 000000d5: PUSH2 0x05d3 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xb5dc40c3 000000df: EQ 000000e0: PUSH2 0x0675 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xb77bf600 000000ea: EQ 000000eb: PUSH2 0x06f8 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xba51a6df 000000f5: EQ 000000f6: PUSH2 0x071e 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xc01a8c84 00000100: EQ 00000101: PUSH2 0x073e 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xc6427474 0000010b: EQ 0000010c: PUSH2 0x075e 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xcea08621 00000116: EQ 00000117: PUSH2 0x07f4 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xd74f8edd 00000121: EQ 00000122: PUSH2 0x0814 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xdc8452cd 0000012c: EQ 0000012d: PUSH2 0x083a 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xe20056e6 00000137: EQ 00000138: PUSH2 0x0860 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xee22610b 00000142: EQ 00000143: PUSH2 0x08b5 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xf059cf2b 0000014d: EQ 0000014e: PUSH2 0x08d5 00000151: JUMPI 00000152: JUMPDEST 00000153: PUSH2 0x01b1 00000156: JUMPDEST 00000157: PUSH1 0x00 00000159: CALLVALUE 0000015a: GT 0000015b: ISZERO 0000015c: PUSH2 0x01ae 0000015f: JUMPI 00000160: CALLER 00000161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000176: AND 00000177: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000198: CALLVALUE 00000199: PUSH1 0x40 0000019b: MLOAD 0000019c: DUP1 0000019d: DUP3 0000019e: DUP2 0000019f: MSTORE 000001a0: PUSH1 0x20 000001a2: ADD 000001a3: SWAP2 000001a4: POP 000001a5: POP 000001a6: PUSH1 0x40 000001a8: MLOAD 000001a9: DUP1 000001aa: SWAP2 000001ab: SUB 000001ac: SWAP1 000001ad: LOG2 000001ae: JUMPDEST 000001af: JUMPDEST 000001b0: JUMP 000001b1: JUMPDEST 000001b2: STOP 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: ISZERO 000001b6: PUSH2 0x01bb 000001b9: JUMPI 000001ba: INVALID 000001bb: JUMPDEST 000001bc: PUSH2 0x01d1 000001bf: PUSH1 0x04 000001c1: DUP1 000001c2: DUP1 000001c3: CALLDATALOAD 000001c4: SWAP1 000001c5: PUSH1 0x20 000001c7: ADD 000001c8: SWAP1 000001c9: SWAP2 000001ca: SWAP1 000001cb: POP 000001cc: POP 000001cd: PUSH2 0x08fb 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP1 000001d6: DUP3 000001d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ec: AND 000001ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000202: AND 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP2 00000209: POP 0000020a: POP 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: DUP1 0000020f: SWAP2 00000210: SUB 00000211: SWAP1 00000212: RETURN 00000213: JUMPDEST 00000214: CALLVALUE 00000215: ISZERO 00000216: PUSH2 0x021b 00000219: JUMPI 0000021a: INVALID 0000021b: JUMPDEST 0000021c: PUSH2 0x0247 0000021f: PUSH1 0x04 00000221: DUP1 00000222: DUP1 00000223: CALLDATALOAD 00000224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000239: AND 0000023a: SWAP1 0000023b: PUSH1 0x20 0000023d: ADD 0000023e: SWAP1 0000023f: SWAP2 00000240: SWAP1 00000241: POP 00000242: POP 00000243: PUSH2 0x093b 00000246: JUMP 00000247: JUMPDEST 00000248: STOP 00000249: JUMPDEST 0000024a: CALLVALUE 0000024b: ISZERO 0000024c: PUSH2 0x0251 0000024f: JUMPI 00000250: INVALID 00000251: JUMPDEST 00000252: PUSH2 0x0267 00000255: PUSH1 0x04 00000257: DUP1 00000258: DUP1 00000259: CALLDATALOAD 0000025a: SWAP1 0000025b: PUSH1 0x20 0000025d: ADD 0000025e: SWAP1 0000025f: SWAP2 00000260: SWAP1 00000261: POP 00000262: POP 00000263: PUSH2 0x0be3 00000266: JUMP 00000267: JUMPDEST 00000268: STOP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: ISZERO 0000026c: PUSH2 0x0271 0000026f: JUMPI 00000270: INVALID 00000271: JUMPDEST 00000272: PUSH2 0x029d 00000275: PUSH1 0x04 00000277: DUP1 00000278: DUP1 00000279: CALLDATALOAD 0000027a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028f: AND 00000290: SWAP1 00000291: PUSH1 0x20 00000293: ADD 00000294: SWAP1 00000295: SWAP2 00000296: SWAP1 00000297: POP 00000298: POP 00000299: PUSH2 0x0d94 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: DUP1 000002a2: DUP3 000002a3: ISZERO 000002a4: ISZERO 000002a5: ISZERO 000002a6: ISZERO 000002a7: DUP2 000002a8: MSTORE 000002a9: PUSH1 0x20 000002ab: ADD 000002ac: SWAP2 000002ad: POP 000002ae: POP 000002af: PUSH1 0x40 000002b1: MLOAD 000002b2: DUP1 000002b3: SWAP2 000002b4: SUB 000002b5: SWAP1 000002b6: RETURN 000002b7: JUMPDEST 000002b8: CALLVALUE 000002b9: ISZERO 000002ba: PUSH2 0x02bf 000002bd: JUMPI 000002be: INVALID 000002bf: JUMPDEST 000002c0: PUSH2 0x02f4 000002c3: PUSH1 0x04 000002c5: DUP1 000002c6: DUP1 000002c7: CALLDATALOAD 000002c8: SWAP1 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: SWAP1 000002cd: SWAP2 000002ce: SWAP1 000002cf: DUP1 000002d0: CALLDATALOAD 000002d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e6: AND 000002e7: SWAP1 000002e8: PUSH1 0x20 000002ea: ADD 000002eb: SWAP1 000002ec: SWAP2 000002ed: SWAP1 000002ee: POP 000002ef: POP 000002f0: PUSH2 0x0db4 000002f3: JUMP 000002f4: JUMPDEST 000002f5: PUSH1 0x40 000002f7: MLOAD 000002f8: DUP1 000002f9: DUP3 000002fa: ISZERO 000002fb: ISZERO 000002fc: ISZERO 000002fd: ISZERO 000002fe: DUP2 000002ff: MSTORE 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP2 00000304: POP 00000305: POP 00000306: PUSH1 0x40 00000308: MLOAD 00000309: DUP1 0000030a: SWAP2 0000030b: SUB 0000030c: SWAP1 0000030d: RETURN 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: ISZERO 00000311: PUSH2 0x0316 00000314: JUMPI 00000315: INVALID 00000316: JUMPDEST 00000317: PUSH2 0x031e 0000031a: PUSH2 0x0de3 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH1 0x40 00000321: MLOAD 00000322: DUP1 00000323: DUP3 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x20 00000328: ADD 00000329: SWAP2 0000032a: POP 0000032b: POP 0000032c: PUSH1 0x40 0000032e: MLOAD 0000032f: DUP1 00000330: SWAP2 00000331: SUB 00000332: SWAP1 00000333: RETURN 00000334: JUMPDEST 00000335: CALLVALUE 00000336: ISZERO 00000337: PUSH2 0x033c 0000033a: JUMPI 0000033b: INVALID 0000033c: JUMPDEST 0000033d: PUSH2 0x035f 00000340: PUSH1 0x04 00000342: DUP1 00000343: DUP1 00000344: CALLDATALOAD 00000345: ISZERO 00000346: ISZERO 00000347: SWAP1 00000348: PUSH1 0x20 0000034a: ADD 0000034b: SWAP1 0000034c: SWAP2 0000034d: SWAP1 0000034e: DUP1 0000034f: CALLDATALOAD 00000350: ISZERO 00000351: ISZERO 00000352: SWAP1 00000353: PUSH1 0x20 00000355: ADD 00000356: SWAP1 00000357: SWAP2 00000358: SWAP1 00000359: POP 0000035a: POP 0000035b: PUSH2 0x0e20 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH1 0x40 00000362: MLOAD 00000363: DUP1 00000364: DUP3 00000365: DUP2 00000366: MSTORE 00000367: PUSH1 0x20 00000369: ADD 0000036a: SWAP2 0000036b: POP 0000036c: POP 0000036d: PUSH1 0x40 0000036f: MLOAD 00000370: DUP1 00000371: SWAP2 00000372: SUB 00000373: SWAP1 00000374: RETURN 00000375: JUMPDEST 00000376: CALLVALUE 00000377: ISZERO 00000378: PUSH2 0x037d 0000037b: JUMPI 0000037c: INVALID 0000037d: JUMPDEST 0000037e: PUSH2 0x0385 00000381: PUSH2 0x0eb7 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x40 00000388: MLOAD 00000389: DUP1 0000038a: DUP3 0000038b: DUP2 0000038c: MSTORE 0000038d: PUSH1 0x20 0000038f: ADD 00000390: SWAP2 00000391: POP 00000392: POP 00000393: PUSH1 0x40 00000395: MLOAD 00000396: DUP1 00000397: SWAP2 00000398: SUB 00000399: SWAP1 0000039a: RETURN 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: ISZERO 0000039e: PUSH2 0x03a3 000003a1: JUMPI 000003a2: INVALID 000003a3: JUMPDEST 000003a4: PUSH2 0x03ab 000003a7: PUSH2 0x0ebd 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH1 0x40 000003ae: MLOAD 000003af: DUP1 000003b0: DUP3 000003b1: DUP2 000003b2: MSTORE 000003b3: PUSH1 0x20 000003b5: ADD 000003b6: SWAP2 000003b7: POP 000003b8: POP 000003b9: PUSH1 0x40 000003bb: MLOAD 000003bc: DUP1 000003bd: SWAP2 000003be: SUB 000003bf: SWAP1 000003c0: RETURN 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: ISZERO 000003c4: PUSH2 0x03c9 000003c7: JUMPI 000003c8: INVALID 000003c9: JUMPDEST 000003ca: PUSH2 0x03f5 000003cd: PUSH1 0x04 000003cf: DUP1 000003d0: DUP1 000003d1: CALLDATALOAD 000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e7: AND 000003e8: SWAP1 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: SWAP1 000003ed: SWAP2 000003ee: SWAP1 000003ef: POP 000003f0: POP 000003f1: PUSH2 0x0ec3 000003f4: JUMP 000003f5: JUMPDEST 000003f6: STOP 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: ISZERO 000003fa: PUSH2 0x03ff 000003fd: JUMPI 000003fe: INVALID 000003ff: JUMPDEST 00000400: PUSH2 0x0415 00000403: PUSH1 0x04 00000405: DUP1 00000406: DUP1 00000407: CALLDATALOAD 00000408: SWAP1 00000409: PUSH1 0x20 0000040b: ADD 0000040c: SWAP1 0000040d: SWAP2 0000040e: SWAP1 0000040f: POP 00000410: POP 00000411: PUSH2 0x10c6 00000414: JUMP 00000415: JUMPDEST 00000416: PUSH1 0x40 00000418: MLOAD 00000419: DUP1 0000041a: DUP3 0000041b: ISZERO 0000041c: ISZERO 0000041d: ISZERO 0000041e: ISZERO 0000041f: DUP2 00000420: MSTORE 00000421: PUSH1 0x20 00000423: ADD 00000424: SWAP2 00000425: POP 00000426: POP 00000427: PUSH1 0x40 00000429: MLOAD 0000042a: DUP1 0000042b: SWAP2 0000042c: SUB 0000042d: SWAP1 0000042e: RETURN 0000042f: JUMPDEST 00000430: CALLVALUE 00000431: ISZERO 00000432: PUSH2 0x0437 00000435: JUMPI 00000436: INVALID 00000437: JUMPDEST 00000438: PUSH2 0x044d 0000043b: PUSH1 0x04 0000043d: DUP1 0000043e: DUP1 0000043f: CALLDATALOAD 00000440: SWAP1 00000441: PUSH1 0x20 00000443: ADD 00000444: SWAP1 00000445: SWAP2 00000446: SWAP1 00000447: POP 00000448: POP 00000449: PUSH2 0x11b0 0000044c: JUMP 0000044d: JUMPDEST 0000044e: PUSH1 0x40 00000450: MLOAD 00000451: DUP1 00000452: DUP3 00000453: DUP2 00000454: MSTORE 00000455: PUSH1 0x20 00000457: ADD 00000458: SWAP2 00000459: POP 0000045a: POP 0000045b: PUSH1 0x40 0000045d: MLOAD 0000045e: DUP1 0000045f: SWAP2 00000460: SUB 00000461: SWAP1 00000462: RETURN 00000463: JUMPDEST 00000464: CALLVALUE 00000465: ISZERO 00000466: PUSH2 0x046b 00000469: JUMPI 0000046a: INVALID 0000046b: JUMPDEST 0000046c: PUSH2 0x0481 0000046f: PUSH1 0x04 00000471: DUP1 00000472: DUP1 00000473: CALLDATALOAD 00000474: SWAP1 00000475: PUSH1 0x20 00000477: ADD 00000478: SWAP1 00000479: SWAP2 0000047a: SWAP1 0000047b: POP 0000047c: POP 0000047d: PUSH2 0x1280 00000480: JUMP 00000481: JUMPDEST 00000482: PUSH1 0x40 00000484: MLOAD 00000485: DUP1 00000486: DUP6 00000487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049c: AND 0000049d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b2: AND 000004b3: DUP2 000004b4: MSTORE 000004b5: PUSH1 0x20 000004b7: ADD 000004b8: DUP5 000004b9: DUP2 000004ba: MSTORE 000004bb: PUSH1 0x20 000004bd: ADD 000004be: DUP1 000004bf: PUSH1 0x20 000004c1: ADD 000004c2: DUP4 000004c3: ISZERO 000004c4: ISZERO 000004c5: ISZERO 000004c6: ISZERO 000004c7: DUP2 000004c8: MSTORE 000004c9: PUSH1 0x20 000004cb: ADD 000004cc: DUP3 000004cd: DUP2 000004ce: SUB 000004cf: DUP3 000004d0: MSTORE 000004d1: DUP5 000004d2: DUP2 000004d3: DUP2 000004d4: SLOAD 000004d5: PUSH1 0x01 000004d7: DUP2 000004d8: PUSH1 0x01 000004da: AND 000004db: ISZERO 000004dc: PUSH2 0x0100 000004df: MUL 000004e0: SUB 000004e1: AND 000004e2: PUSH1 0x02 000004e4: SWAP1 000004e5: DIV 000004e6: DUP2 000004e7: MSTORE 000004e8: PUSH1 0x20 000004ea: ADD 000004eb: SWAP2 000004ec: POP 000004ed: DUP1 000004ee: SLOAD 000004ef: PUSH1 0x01 000004f1: DUP2 000004f2: PUSH1 0x01 000004f4: AND 000004f5: ISZERO 000004f6: PUSH2 0x0100 000004f9: MUL 000004fa: SUB 000004fb: AND 000004fc: PUSH1 0x02 000004fe: SWAP1 000004ff: DIV 00000500: DUP1 00000501: ISZERO 00000502: PUSH2 0x054c 00000505: JUMPI 00000506: DUP1 00000507: PUSH1 0x1f 00000509: LT 0000050a: PUSH2 0x0521 0000050d: JUMPI 0000050e: PUSH2 0x0100 00000511: DUP1 00000512: DUP4 00000513: SLOAD 00000514: DIV 00000515: MUL 00000516: DUP4 00000517: MSTORE 00000518: SWAP2 00000519: PUSH1 0x20 0000051b: ADD 0000051c: SWAP2 0000051d: PUSH2 0x054c 00000520: JUMP 00000521: JUMPDEST 00000522: DUP3 00000523: ADD 00000524: SWAP2 00000525: SWAP1 00000526: PUSH1 0x00 00000528: MSTORE 00000529: PUSH1 0x20 0000052b: PUSH1 0x00 0000052d: KECCAK256 0000052e: SWAP1 0000052f: JUMPDEST 00000530: DUP2 00000531: SLOAD 00000532: DUP2 00000533: MSTORE 00000534: SWAP1 00000535: PUSH1 0x01 00000537: ADD 00000538: SWAP1 00000539: PUSH1 0x20 0000053b: ADD 0000053c: DUP1 0000053d: DUP4 0000053e: GT 0000053f: PUSH2 0x052f 00000542: JUMPI 00000543: DUP3 00000544: SWAP1 00000545: SUB 00000546: PUSH1 0x1f 00000548: AND 00000549: DUP3 0000054a: ADD 0000054b: SWAP2 0000054c: JUMPDEST 0000054d: POP 0000054e: POP 0000054f: SWAP6 00000550: POP 00000551: POP 00000552: POP 00000553: POP 00000554: POP 00000555: POP 00000556: PUSH1 0x40 00000558: MLOAD 00000559: DUP1 0000055a: SWAP2 0000055b: SUB 0000055c: SWAP1 0000055d: RETURN 0000055e: JUMPDEST 0000055f: CALLVALUE 00000560: ISZERO 00000561: PUSH2 0x0566 00000564: JUMPI 00000565: INVALID 00000566: JUMPDEST 00000567: PUSH2 0x056e 0000056a: PUSH2 0x12dc 0000056d: JUMP 0000056e: JUMPDEST 0000056f: PUSH1 0x40 00000571: MLOAD 00000572: DUP1 00000573: DUP1 00000574: PUSH1 0x20 00000576: ADD 00000577: DUP3 00000578: DUP2 00000579: SUB 0000057a: DUP3 0000057b: MSTORE 0000057c: DUP4 0000057d: DUP2 0000057e: DUP2 0000057f: MLOAD 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x20 00000584: ADD 00000585: SWAP2 00000586: POP 00000587: DUP1 00000588: MLOAD 00000589: SWAP1 0000058a: PUSH1 0x20 0000058c: ADD 0000058d: SWAP1 0000058e: PUSH1 0x20 00000590: MUL 00000591: DUP1 00000592: DUP4 00000593: DUP4 00000594: PUSH1 0x00 00000596: DUP4 00000597: EQ 00000598: PUSH2 0x05c0 0000059b: JUMPI 0000059c: JUMPDEST 0000059d: DUP1 0000059e: MLOAD 0000059f: DUP3 000005a0: MSTORE 000005a1: PUSH1 0x20 000005a3: DUP4 000005a4: GT 000005a5: ISZERO 000005a6: PUSH2 0x05c0 000005a9: JUMPI 000005aa: PUSH1 0x20 000005ac: DUP3 000005ad: ADD 000005ae: SWAP2 000005af: POP 000005b0: PUSH1 0x20 000005b2: DUP2 000005b3: ADD 000005b4: SWAP1 000005b5: POP 000005b6: PUSH1 0x20 000005b8: DUP4 000005b9: SUB 000005ba: SWAP3 000005bb: POP 000005bc: PUSH2 0x059c 000005bf: JUMP 000005c0: JUMPDEST 000005c1: POP 000005c2: POP 000005c3: POP 000005c4: SWAP1 000005c5: POP 000005c6: ADD 000005c7: SWAP3 000005c8: POP 000005c9: POP 000005ca: POP 000005cb: PUSH1 0x40 000005cd: MLOAD 000005ce: DUP1 000005cf: SWAP2 000005d0: SUB 000005d1: SWAP1 000005d2: RETURN 000005d3: JUMPDEST 000005d4: CALLVALUE 000005d5: ISZERO 000005d6: PUSH2 0x05db 000005d9: JUMPI 000005da: INVALID 000005db: JUMPDEST 000005dc: PUSH2 0x0610 000005df: PUSH1 0x04 000005e1: DUP1 000005e2: DUP1 000005e3: CALLDATALOAD 000005e4: SWAP1 000005e5: PUSH1 0x20 000005e7: ADD 000005e8: SWAP1 000005e9: SWAP2 000005ea: SWAP1 000005eb: DUP1 000005ec: CALLDATALOAD 000005ed: SWAP1 000005ee: PUSH1 0x20 000005f0: ADD 000005f1: SWAP1 000005f2: SWAP2 000005f3: SWAP1 000005f4: DUP1 000005f5: CALLDATALOAD 000005f6: ISZERO 000005f7: ISZERO 000005f8: SWAP1 000005f9: PUSH1 0x20 000005fb: ADD 000005fc: SWAP1 000005fd: SWAP2 000005fe: SWAP1 000005ff: DUP1 00000600: CALLDATALOAD 00000601: ISZERO 00000602: ISZERO 00000603: SWAP1 00000604: PUSH1 0x20 00000606: ADD 00000607: SWAP1 00000608: SWAP2 00000609: SWAP1 0000060a: POP 0000060b: POP 0000060c: PUSH2 0x1371 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x40 00000613: MLOAD 00000614: DUP1 00000615: DUP1 00000616: PUSH1 0x20 00000618: ADD 00000619: DUP3 0000061a: DUP2 0000061b: SUB 0000061c: DUP3 0000061d: MSTORE 0000061e: DUP4 0000061f: DUP2 00000620: DUP2 00000621: MLOAD 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x20 00000626: ADD 00000627: SWAP2 00000628: POP 00000629: DUP1 0000062a: MLOAD 0000062b: SWAP1 0000062c: PUSH1 0x20 0000062e: ADD 0000062f: SWAP1 00000630: PUSH1 0x20 00000632: MUL 00000633: DUP1 00000634: DUP4 00000635: DUP4 00000636: PUSH1 0x00 00000638: DUP4 00000639: EQ 0000063a: PUSH2 0x0662 0000063d: JUMPI 0000063e: JUMPDEST 0000063f: DUP1 00000640: MLOAD 00000641: DUP3 00000642: MSTORE 00000643: PUSH1 0x20 00000645: DUP4 00000646: GT 00000647: ISZERO 00000648: PUSH2 0x0662 0000064b: JUMPI 0000064c: PUSH1 0x20 0000064e: DUP3 0000064f: ADD 00000650: SWAP2 00000651: POP 00000652: PUSH1 0x20 00000654: DUP2 00000655: ADD 00000656: SWAP1 00000657: POP 00000658: PUSH1 0x20 0000065a: DUP4 0000065b: SUB 0000065c: SWAP3 0000065d: POP 0000065e: PUSH2 0x063e 00000661: JUMP 00000662: JUMPDEST 00000663: POP 00000664: POP 00000665: POP 00000666: SWAP1 00000667: POP 00000668: ADD 00000669: SWAP3 0000066a: POP 0000066b: POP 0000066c: POP 0000066d: PUSH1 0x40 0000066f: MLOAD 00000670: DUP1 00000671: SWAP2 00000672: SUB 00000673: SWAP1 00000674: RETURN 00000675: JUMPDEST 00000676: CALLVALUE 00000677: ISZERO 00000678: PUSH2 0x067d 0000067b: JUMPI 0000067c: INVALID 0000067d: JUMPDEST 0000067e: PUSH2 0x0693 00000681: PUSH1 0x04 00000683: DUP1 00000684: DUP1 00000685: CALLDATALOAD 00000686: SWAP1 00000687: PUSH1 0x20 00000689: ADD 0000068a: SWAP1 0000068b: SWAP2 0000068c: SWAP1 0000068d: POP 0000068e: POP 0000068f: PUSH2 0x14d5 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x40 00000696: MLOAD 00000697: DUP1 00000698: DUP1 00000699: PUSH1 0x20 0000069b: ADD 0000069c: DUP3 0000069d: DUP2 0000069e: SUB 0000069f: DUP3 000006a0: MSTORE 000006a1: DUP4 000006a2: DUP2 000006a3: DUP2 000006a4: MLOAD 000006a5: DUP2 000006a6: MSTORE 000006a7: PUSH1 0x20 000006a9: ADD 000006aa: SWAP2 000006ab: POP 000006ac: DUP1 000006ad: MLOAD 000006ae: SWAP1 000006af: PUSH1 0x20 000006b1: ADD 000006b2: SWAP1 000006b3: PUSH1 0x20 000006b5: MUL 000006b6: DUP1 000006b7: DUP4 000006b8: DUP4 000006b9: PUSH1 0x00 000006bb: DUP4 000006bc: EQ 000006bd: PUSH2 0x06e5 000006c0: JUMPI 000006c1: JUMPDEST 000006c2: DUP1 000006c3: MLOAD 000006c4: DUP3 000006c5: MSTORE 000006c6: PUSH1 0x20 000006c8: DUP4 000006c9: GT 000006ca: ISZERO 000006cb: PUSH2 0x06e5 000006ce: JUMPI 000006cf: PUSH1 0x20 000006d1: DUP3 000006d2: ADD 000006d3: SWAP2 000006d4: POP 000006d5: PUSH1 0x20 000006d7: DUP2 000006d8: ADD 000006d9: SWAP1 000006da: POP 000006db: PUSH1 0x20 000006dd: DUP4 000006de: SUB 000006df: SWAP3 000006e0: POP 000006e1: PUSH2 0x06c1 000006e4: JUMP 000006e5: JUMPDEST 000006e6: POP 000006e7: POP 000006e8: POP 000006e9: SWAP1 000006ea: POP 000006eb: ADD 000006ec: SWAP3 000006ed: POP 000006ee: POP 000006ef: POP 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: DUP1 000006f4: SWAP2 000006f5: SUB 000006f6: SWAP1 000006f7: RETURN 000006f8: JUMPDEST 000006f9: CALLVALUE 000006fa: ISZERO 000006fb: PUSH2 0x0700 000006fe: JUMPI 000006ff: INVALID 00000700: JUMPDEST 00000701: PUSH2 0x0708 00000704: PUSH2 0x1707 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH1 0x40 0000070b: MLOAD 0000070c: DUP1 0000070d: DUP3 0000070e: DUP2 0000070f: MSTORE 00000710: PUSH1 0x20 00000712: ADD 00000713: SWAP2 00000714: POP 00000715: POP 00000716: PUSH1 0x40 00000718: MLOAD 00000719: DUP1 0000071a: SWAP2 0000071b: SUB 0000071c: SWAP1 0000071d: RETURN 0000071e: JUMPDEST 0000071f: CALLVALUE 00000720: ISZERO 00000721: PUSH2 0x0726 00000724: JUMPI 00000725: INVALID 00000726: JUMPDEST 00000727: PUSH2 0x073c 0000072a: PUSH1 0x04 0000072c: DUP1 0000072d: DUP1 0000072e: CALLDATALOAD 0000072f: SWAP1 00000730: PUSH1 0x20 00000732: ADD 00000733: SWAP1 00000734: SWAP2 00000735: SWAP1 00000736: POP 00000737: POP 00000738: PUSH2 0x170d 0000073b: JUMP 0000073c: JUMPDEST 0000073d: STOP 0000073e: JUMPDEST 0000073f: CALLVALUE 00000740: ISZERO 00000741: PUSH2 0x0746 00000744: JUMPI 00000745: INVALID 00000746: JUMPDEST 00000747: PUSH2 0x075c 0000074a: PUSH1 0x04 0000074c: DUP1 0000074d: DUP1 0000074e: CALLDATALOAD 0000074f: SWAP1 00000750: PUSH1 0x20 00000752: ADD 00000753: SWAP1 00000754: SWAP2 00000755: SWAP1 00000756: POP 00000757: POP 00000758: PUSH2 0x17c4 0000075b: JUMP 0000075c: JUMPDEST 0000075d: STOP 0000075e: JUMPDEST 0000075f: CALLVALUE 00000760: ISZERO 00000761: PUSH2 0x0766 00000764: JUMPI 00000765: INVALID 00000766: JUMPDEST 00000767: PUSH2 0x07de 0000076a: PUSH1 0x04 0000076c: DUP1 0000076d: DUP1 0000076e: CALLDATALOAD 0000076f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000784: AND 00000785: SWAP1 00000786: PUSH1 0x20 00000788: ADD 00000789: SWAP1 0000078a: SWAP2 0000078b: SWAP1 0000078c: DUP1 0000078d: CALLDATALOAD 0000078e: SWAP1 0000078f: PUSH1 0x20 00000791: ADD 00000792: SWAP1 00000793: SWAP2 00000794: SWAP1 00000795: DUP1 00000796: CALLDATALOAD 00000797: SWAP1 00000798: PUSH1 0x20 0000079a: ADD 0000079b: SWAP1 0000079c: DUP3 0000079d: ADD 0000079e: DUP1 0000079f: CALLDATALOAD 000007a0: SWAP1 000007a1: PUSH1 0x20 000007a3: ADD 000007a4: SWAP1 000007a5: DUP1 000007a6: DUP1 000007a7: PUSH1 0x1f 000007a9: ADD 000007aa: PUSH1 0x20 000007ac: DUP1 000007ad: SWAP2 000007ae: DIV 000007af: MUL 000007b0: PUSH1 0x20 000007b2: ADD 000007b3: PUSH1 0x40 000007b5: MLOAD 000007b6: SWAP1 000007b7: DUP2 000007b8: ADD 000007b9: PUSH1 0x40 000007bb: MSTORE 000007bc: DUP1 000007bd: SWAP4 000007be: SWAP3 000007bf: SWAP2 000007c0: SWAP1 000007c1: DUP2 000007c2: DUP2 000007c3: MSTORE 000007c4: PUSH1 0x20 000007c6: ADD 000007c7: DUP4 000007c8: DUP4 000007c9: DUP1 000007ca: DUP3 000007cb: DUP5 000007cc: CALLDATACOPY 000007cd: DUP3 000007ce: ADD 000007cf: SWAP2 000007d0: POP 000007d1: POP 000007d2: POP 000007d3: POP 000007d4: POP 000007d5: POP 000007d6: SWAP2 000007d7: SWAP1 000007d8: POP 000007d9: POP 000007da: PUSH2 0x19a9 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x40 000007e1: MLOAD 000007e2: DUP1 000007e3: DUP3 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH1 0x20 000007e8: ADD 000007e9: SWAP2 000007ea: POP 000007eb: POP 000007ec: PUSH1 0x40 000007ee: MLOAD 000007ef: DUP1 000007f0: SWAP2 000007f1: SUB 000007f2: SWAP1 000007f3: RETURN 000007f4: JUMPDEST 000007f5: CALLVALUE 000007f6: ISZERO 000007f7: PUSH2 0x07fc 000007fa: JUMPI 000007fb: INVALID 000007fc: JUMPDEST 000007fd: PUSH2 0x0812 00000800: PUSH1 0x04 00000802: DUP1 00000803: DUP1 00000804: CALLDATALOAD 00000805: SWAP1 00000806: PUSH1 0x20 00000808: ADD 00000809: SWAP1 0000080a: SWAP2 0000080b: SWAP1 0000080c: POP 0000080d: POP 0000080e: PUSH2 0x19c9 00000811: JUMP 00000812: JUMPDEST 00000813: STOP 00000814: JUMPDEST 00000815: CALLVALUE 00000816: ISZERO 00000817: PUSH2 0x081c 0000081a: JUMPI 0000081b: INVALID 0000081c: JUMPDEST 0000081d: PUSH2 0x0824 00000820: PUSH2 0x1a47 00000823: JUMP 00000824: JUMPDEST 00000825: PUSH1 0x40 00000827: MLOAD 00000828: DUP1 00000829: DUP3 0000082a: DUP2 0000082b: MSTORE 0000082c: PUSH1 0x20 0000082e: ADD 0000082f: SWAP2 00000830: POP 00000831: POP 00000832: PUSH1 0x40 00000834: MLOAD 00000835: DUP1 00000836: SWAP2 00000837: SUB 00000838: SWAP1 00000839: RETURN 0000083a: JUMPDEST 0000083b: CALLVALUE 0000083c: ISZERO 0000083d: PUSH2 0x0842 00000840: JUMPI 00000841: INVALID 00000842: JUMPDEST 00000843: PUSH2 0x084a 00000846: PUSH2 0x1a4c 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x40 0000084d: MLOAD 0000084e: DUP1 0000084f: DUP3 00000850: DUP2 00000851: MSTORE 00000852: PUSH1 0x20 00000854: ADD 00000855: SWAP2 00000856: POP 00000857: POP 00000858: PUSH1 0x40 0000085a: MLOAD 0000085b: DUP1 0000085c: SWAP2 0000085d: SUB 0000085e: SWAP1 0000085f: RETURN 00000860: JUMPDEST 00000861: CALLVALUE 00000862: ISZERO 00000863: PUSH2 0x0868 00000866: JUMPI 00000867: INVALID 00000868: JUMPDEST 00000869: PUSH2 0x08b3 0000086c: PUSH1 0x04 0000086e: DUP1 0000086f: DUP1 00000870: CALLDATALOAD 00000871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000886: AND 00000887: SWAP1 00000888: PUSH1 0x20 0000088a: ADD 0000088b: SWAP1 0000088c: SWAP2 0000088d: SWAP1 0000088e: DUP1 0000088f: CALLDATALOAD 00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a5: AND 000008a6: SWAP1 000008a7: PUSH1 0x20 000008a9: ADD 000008aa: SWAP1 000008ab: SWAP2 000008ac: SWAP1 000008ad: POP 000008ae: POP 000008af: PUSH2 0x1a52 000008b2: JUMP 000008b3: JUMPDEST 000008b4: STOP 000008b5: JUMPDEST 000008b6: CALLVALUE 000008b7: ISZERO 000008b8: PUSH2 0x08bd 000008bb: JUMPI 000008bc: INVALID 000008bd: JUMPDEST 000008be: PUSH2 0x08d3 000008c1: PUSH1 0x04 000008c3: DUP1 000008c4: DUP1 000008c5: CALLDATALOAD 000008c6: SWAP1 000008c7: PUSH1 0x20 000008c9: ADD 000008ca: SWAP1 000008cb: SWAP2 000008cc: SWAP1 000008cd: POP 000008ce: POP 000008cf: PUSH2 0x1d77 000008d2: JUMP 000008d3: JUMPDEST 000008d4: STOP 000008d5: JUMPDEST 000008d6: CALLVALUE 000008d7: ISZERO 000008d8: PUSH2 0x08dd 000008db: JUMPI 000008dc: INVALID 000008dd: JUMPDEST 000008de: PUSH2 0x08e5 000008e1: PUSH2 0x1fb2 000008e4: JUMP 000008e5: JUMPDEST 000008e6: PUSH1 0x40 000008e8: MLOAD 000008e9: DUP1 000008ea: DUP3 000008eb: DUP2 000008ec: MSTORE 000008ed: PUSH1 0x20 000008ef: ADD 000008f0: SWAP2 000008f1: POP 000008f2: POP 000008f3: PUSH1 0x40 000008f5: MLOAD 000008f6: DUP1 000008f7: SWAP2 000008f8: SUB 000008f9: SWAP1 000008fa: RETURN 000008fb: JUMPDEST 000008fc: PUSH1 0x03 000008fe: DUP2 000008ff: DUP2 00000900: SLOAD 00000901: DUP2 00000902: LT 00000903: ISZERO 00000904: ISZERO 00000905: PUSH2 0x090a 00000908: JUMPI 00000909: INVALID 0000090a: JUMPDEST 0000090b: SWAP1 0000090c: PUSH1 0x00 0000090e: MSTORE 0000090f: PUSH1 0x20 00000911: PUSH1 0x00 00000913: KECCAK256 00000914: SWAP1 00000915: ADD 00000916: PUSH1 0x00 00000918: JUMPDEST 00000919: SWAP2 0000091a: POP 0000091b: SLOAD 0000091c: SWAP1 0000091d: PUSH2 0x0100 00000920: EXP 00000921: SWAP1 00000922: DIV 00000923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000938: AND 00000939: DUP2 0000093a: JUMP 0000093b: JUMPDEST 0000093c: PUSH1 0x00 0000093e: ADDRESS 0000093f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000954: AND 00000955: CALLER 00000956: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096b: AND 0000096c: EQ 0000096d: ISZERO 0000096e: ISZERO 0000096f: PUSH2 0x0978 00000972: JUMPI 00000973: PUSH1 0x00 00000975: PUSH1 0x00 00000977: REVERT 00000978: JUMPDEST 00000979: DUP2 0000097a: PUSH1 0x02 0000097c: PUSH1 0x00 0000097e: DUP3 0000097f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000994: AND 00000995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009aa: AND 000009ab: DUP2 000009ac: MSTORE 000009ad: PUSH1 0x20 000009af: ADD 000009b0: SWAP1 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x20 000009b5: ADD 000009b6: PUSH1 0x00 000009b8: KECCAK256 000009b9: PUSH1 0x00 000009bb: SWAP1 000009bc: SLOAD 000009bd: SWAP1 000009be: PUSH2 0x0100 000009c1: EXP 000009c2: SWAP1 000009c3: DIV 000009c4: PUSH1 0xff 000009c6: AND 000009c7: ISZERO 000009c8: ISZERO 000009c9: PUSH2 0x09d2 000009cc: JUMPI 000009cd: PUSH1 0x00 000009cf: PUSH1 0x00 000009d1: REVERT 000009d2: JUMPDEST 000009d3: PUSH1 0x00 000009d5: PUSH1 0x02 000009d7: PUSH1 0x00 000009d9: DUP6 000009da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ef: AND 000009f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a05: AND 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x20 00000a0a: ADD 00000a0b: SWAP1 00000a0c: DUP2 00000a0d: MSTORE 00000a0e: PUSH1 0x20 00000a10: ADD 00000a11: PUSH1 0x00 00000a13: KECCAK256 00000a14: PUSH1 0x00 00000a16: PUSH2 0x0100 00000a19: EXP 00000a1a: DUP2 00000a1b: SLOAD 00000a1c: DUP2 00000a1d: PUSH1 0xff 00000a1f: MUL 00000a20: NOT 00000a21: AND 00000a22: SWAP1 00000a23: DUP4 00000a24: ISZERO 00000a25: ISZERO 00000a26: MUL 00000a27: OR 00000a28: SWAP1 00000a29: SSTORE 00000a2a: POP 00000a2b: PUSH1 0x00 00000a2d: SWAP2 00000a2e: POP 00000a2f: JUMPDEST 00000a30: PUSH1 0x01 00000a32: PUSH1 0x03 00000a34: DUP1 00000a35: SLOAD 00000a36: SWAP1 00000a37: POP 00000a38: SUB 00000a39: DUP3 00000a3a: LT 00000a3b: ISZERO 00000a3c: PUSH2 0x0b5e 00000a3f: JUMPI 00000a40: DUP3 00000a41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a56: AND 00000a57: PUSH1 0x03 00000a59: DUP4 00000a5a: DUP2 00000a5b: SLOAD 00000a5c: DUP2 00000a5d: LT 00000a5e: ISZERO 00000a5f: ISZERO 00000a60: PUSH2 0x0a65 00000a63: JUMPI 00000a64: INVALID 00000a65: JUMPDEST 00000a66: SWAP1 00000a67: PUSH1 0x00 00000a69: MSTORE 00000a6a: PUSH1 0x20 00000a6c: PUSH1 0x00 00000a6e: KECCAK256 00000a6f: SWAP1 00000a70: ADD 00000a71: PUSH1 0x00 00000a73: JUMPDEST 00000a74: SWAP1 00000a75: SLOAD 00000a76: SWAP1 00000a77: PUSH2 0x0100 00000a7a: EXP 00000a7b: SWAP1 00000a7c: DIV 00000a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a92: AND 00000a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa8: AND 00000aa9: EQ 00000aaa: ISZERO 00000aab: PUSH2 0x0b50 00000aae: JUMPI 00000aaf: PUSH1 0x03 00000ab1: PUSH1 0x01 00000ab3: PUSH1 0x03 00000ab5: DUP1 00000ab6: SLOAD 00000ab7: SWAP1 00000ab8: POP 00000ab9: SUB 00000aba: DUP2 00000abb: SLOAD 00000abc: DUP2 00000abd: LT 00000abe: ISZERO 00000abf: ISZERO 00000ac0: PUSH2 0x0ac5 00000ac3: JUMPI 00000ac4: INVALID 00000ac5: JUMPDEST 00000ac6: SWAP1 00000ac7: PUSH1 0x00 00000ac9: MSTORE 00000aca: PUSH1 0x20 00000acc: PUSH1 0x00 00000ace: KECCAK256 00000acf: SWAP1 00000ad0: ADD 00000ad1: PUSH1 0x00 00000ad3: JUMPDEST 00000ad4: SWAP1 00000ad5: SLOAD 00000ad6: SWAP1 00000ad7: PUSH2 0x0100 00000ada: EXP 00000adb: SWAP1 00000adc: DIV 00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af2: AND 00000af3: PUSH1 0x03 00000af5: DUP4 00000af6: DUP2 00000af7: SLOAD 00000af8: DUP2 00000af9: LT 00000afa: ISZERO 00000afb: ISZERO 00000afc: PUSH2 0x0b01 00000aff: JUMPI 00000b00: INVALID 00000b01: JUMPDEST 00000b02: SWAP1 00000b03: PUSH1 0x00 00000b05: MSTORE 00000b06: PUSH1 0x20 00000b08: PUSH1 0x00 00000b0a: KECCAK256 00000b0b: SWAP1 00000b0c: ADD 00000b0d: PUSH1 0x00 00000b0f: JUMPDEST 00000b10: PUSH2 0x0100 00000b13: EXP 00000b14: DUP2 00000b15: SLOAD 00000b16: DUP2 00000b17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2c: MUL 00000b2d: NOT 00000b2e: AND 00000b2f: SWAP1 00000b30: DUP4 00000b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b46: AND 00000b47: MUL 00000b48: OR 00000b49: SWAP1 00000b4a: SSTORE 00000b4b: POP 00000b4c: PUSH2 0x0b5e 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: JUMPDEST 00000b52: DUP2 00000b53: DUP1 00000b54: PUSH1 0x01 00000b56: ADD 00000b57: SWAP3 00000b58: POP 00000b59: POP 00000b5a: PUSH2 0x0a2f 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: PUSH1 0x01 00000b61: PUSH1 0x03 00000b63: DUP2 00000b64: DUP2 00000b65: DUP1 00000b66: SLOAD 00000b67: SWAP1 00000b68: POP 00000b69: SUB 00000b6a: SWAP2 00000b6b: POP 00000b6c: DUP2 00000b6d: PUSH2 0x0b76 00000b70: SWAP2 00000b71: SWAP1 00000b72: PUSH2 0x2161 00000b75: JUMP 00000b76: JUMPDEST 00000b77: POP 00000b78: PUSH1 0x03 00000b7a: DUP1 00000b7b: SLOAD 00000b7c: SWAP1 00000b7d: POP 00000b7e: PUSH1 0x04 00000b80: SLOAD 00000b81: GT 00000b82: ISZERO 00000b83: PUSH2 0x0b95 00000b86: JUMPI 00000b87: PUSH2 0x0b94 00000b8a: PUSH1 0x03 00000b8c: DUP1 00000b8d: SLOAD 00000b8e: SWAP1 00000b8f: POP 00000b90: PUSH2 0x170d 00000b93: JUMP 00000b94: JUMPDEST 00000b95: JUMPDEST 00000b96: DUP3 00000b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bac: AND 00000bad: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00000bce: PUSH1 0x40 00000bd0: MLOAD 00000bd1: DUP1 00000bd2: SWAP1 00000bd3: POP 00000bd4: PUSH1 0x40 00000bd6: MLOAD 00000bd7: DUP1 00000bd8: SWAP2 00000bd9: SUB 00000bda: SWAP1 00000bdb: LOG2 00000bdc: JUMPDEST 00000bdd: JUMPDEST 00000bde: POP 00000bdf: JUMPDEST 00000be0: POP 00000be1: POP 00000be2: JUMP 00000be3: JUMPDEST 00000be4: CALLER 00000be5: PUSH1 0x02 00000be7: PUSH1 0x00 00000be9: DUP3 00000bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bff: AND 00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c15: AND 00000c16: DUP2 00000c17: MSTORE 00000c18: PUSH1 0x20 00000c1a: ADD 00000c1b: SWAP1 00000c1c: DUP2 00000c1d: MSTORE 00000c1e: PUSH1 0x20 00000c20: ADD 00000c21: PUSH1 0x00 00000c23: KECCAK256 00000c24: PUSH1 0x00 00000c26: SWAP1 00000c27: SLOAD 00000c28: SWAP1 00000c29: PUSH2 0x0100 00000c2c: EXP 00000c2d: SWAP1 00000c2e: DIV 00000c2f: PUSH1 0xff 00000c31: AND 00000c32: ISZERO 00000c33: ISZERO 00000c34: PUSH2 0x0c3d 00000c37: JUMPI 00000c38: PUSH1 0x00 00000c3a: PUSH1 0x00 00000c3c: REVERT 00000c3d: JUMPDEST 00000c3e: DUP2 00000c3f: CALLER 00000c40: PUSH1 0x01 00000c42: PUSH1 0x00 00000c44: DUP4 00000c45: DUP2 00000c46: MSTORE 00000c47: PUSH1 0x20 00000c49: ADD 00000c4a: SWAP1 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH1 0x20 00000c4f: ADD 00000c50: PUSH1 0x00 00000c52: KECCAK256 00000c53: PUSH1 0x00 00000c55: DUP3 00000c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6b: AND 00000c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c81: AND 00000c82: DUP2 00000c83: MSTORE 00000c84: PUSH1 0x20 00000c86: ADD 00000c87: SWAP1 00000c88: DUP2 00000c89: MSTORE 00000c8a: PUSH1 0x20 00000c8c: ADD 00000c8d: PUSH1 0x00 00000c8f: KECCAK256 00000c90: PUSH1 0x00 00000c92: SWAP1 00000c93: SLOAD 00000c94: SWAP1 00000c95: PUSH2 0x0100 00000c98: EXP 00000c99: SWAP1 00000c9a: DIV 00000c9b: PUSH1 0xff 00000c9d: AND 00000c9e: ISZERO 00000c9f: ISZERO 00000ca0: PUSH2 0x0ca9 00000ca3: JUMPI 00000ca4: PUSH1 0x00 00000ca6: PUSH1 0x00 00000ca8: REVERT 00000ca9: JUMPDEST 00000caa: DUP4 00000cab: PUSH1 0x00 00000cad: PUSH1 0x00 00000caf: DUP3 00000cb0: DUP2 00000cb1: MSTORE 00000cb2: PUSH1 0x20 00000cb4: ADD 00000cb5: SWAP1 00000cb6: DUP2 00000cb7: MSTORE 00000cb8: PUSH1 0x20 00000cba: ADD 00000cbb: PUSH1 0x00 00000cbd: KECCAK256 00000cbe: PUSH1 0x03 00000cc0: ADD 00000cc1: PUSH1 0x00 00000cc3: SWAP1 00000cc4: SLOAD 00000cc5: SWAP1 00000cc6: PUSH2 0x0100 00000cc9: EXP 00000cca: SWAP1 00000ccb: DIV 00000ccc: PUSH1 0xff 00000cce: AND 00000ccf: ISZERO 00000cd0: PUSH2 0x0cd9 00000cd3: JUMPI 00000cd4: PUSH1 0x00 00000cd6: PUSH1 0x00 00000cd8: REVERT 00000cd9: JUMPDEST 00000cda: PUSH1 0x00 00000cdc: PUSH1 0x01 00000cde: PUSH1 0x00 00000ce0: DUP8 00000ce1: DUP2 00000ce2: MSTORE 00000ce3: PUSH1 0x20 00000ce5: ADD 00000ce6: SWAP1 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x20 00000ceb: ADD 00000cec: PUSH1 0x00 00000cee: KECCAK256 00000cef: PUSH1 0x00 00000cf1: CALLER 00000cf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d07: AND 00000d08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1d: AND 00000d1e: DUP2 00000d1f: MSTORE 00000d20: PUSH1 0x20 00000d22: ADD 00000d23: SWAP1 00000d24: DUP2 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: ADD 00000d29: PUSH1 0x00 00000d2b: KECCAK256 00000d2c: PUSH1 0x00 00000d2e: PUSH2 0x0100 00000d31: EXP 00000d32: DUP2 00000d33: SLOAD 00000d34: DUP2 00000d35: PUSH1 0xff 00000d37: MUL 00000d38: NOT 00000d39: AND 00000d3a: SWAP1 00000d3b: DUP4 00000d3c: ISZERO 00000d3d: ISZERO 00000d3e: MUL 00000d3f: OR 00000d40: SWAP1 00000d41: SSTORE 00000d42: POP 00000d43: DUP5 00000d44: CALLER 00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5a: AND 00000d5b: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 00000d7c: PUSH1 0x40 00000d7e: MLOAD 00000d7f: DUP1 00000d80: SWAP1 00000d81: POP 00000d82: PUSH1 0x40 00000d84: MLOAD 00000d85: DUP1 00000d86: SWAP2 00000d87: SUB 00000d88: SWAP1 00000d89: LOG3 00000d8a: JUMPDEST 00000d8b: JUMPDEST 00000d8c: POP 00000d8d: JUMPDEST 00000d8e: POP 00000d8f: POP 00000d90: JUMPDEST 00000d91: POP 00000d92: POP 00000d93: JUMP 00000d94: JUMPDEST 00000d95: PUSH1 0x02 00000d97: PUSH1 0x20 00000d99: MSTORE 00000d9a: DUP1 00000d9b: PUSH1 0x00 00000d9d: MSTORE 00000d9e: PUSH1 0x40 00000da0: PUSH1 0x00 00000da2: KECCAK256 00000da3: PUSH1 0x00 00000da5: SWAP2 00000da6: POP 00000da7: SLOAD 00000da8: SWAP1 00000da9: PUSH2 0x0100 00000dac: EXP 00000dad: SWAP1 00000dae: DIV 00000daf: PUSH1 0xff 00000db1: AND 00000db2: DUP2 00000db3: JUMP 00000db4: JUMPDEST 00000db5: PUSH1 0x01 00000db7: PUSH1 0x20 00000db9: MSTORE 00000dba: DUP2 00000dbb: PUSH1 0x00 00000dbd: MSTORE 00000dbe: PUSH1 0x40 00000dc0: PUSH1 0x00 00000dc2: KECCAK256 00000dc3: PUSH1 0x20 00000dc5: MSTORE 00000dc6: DUP1 00000dc7: PUSH1 0x00 00000dc9: MSTORE 00000dca: PUSH1 0x40 00000dcc: PUSH1 0x00 00000dce: KECCAK256 00000dcf: PUSH1 0x00 00000dd1: SWAP2 00000dd2: POP 00000dd3: SWAP2 00000dd4: POP 00000dd5: SWAP1 00000dd6: SLOAD 00000dd7: SWAP1 00000dd8: PUSH2 0x0100 00000ddb: EXP 00000ddc: SWAP1 00000ddd: DIV 00000dde: PUSH1 0xff 00000de0: AND 00000de1: DUP2 00000de2: JUMP 00000de3: JUMPDEST 00000de4: PUSH1 0x00 00000de6: PUSH3 0x015180 00000dea: PUSH1 0x07 00000dec: SLOAD 00000ded: ADD 00000dee: TIMESTAMP 00000def: GT 00000df0: ISZERO 00000df1: PUSH2 0x0dfe 00000df4: JUMPI 00000df5: PUSH1 0x06 00000df7: SLOAD 00000df8: SWAP1 00000df9: POP 00000dfa: PUSH2 0x0e1d 00000dfd: JUMP 00000dfe: JUMPDEST 00000dff: PUSH1 0x08 00000e01: SLOAD 00000e02: PUSH1 0x06 00000e04: SLOAD 00000e05: LT 00000e06: ISZERO 00000e07: PUSH2 0x0e13 00000e0a: JUMPI 00000e0b: PUSH1 0x00 00000e0d: SWAP1 00000e0e: POP 00000e0f: PUSH2 0x0e1d 00000e12: JUMP 00000e13: JUMPDEST 00000e14: PUSH1 0x08 00000e16: SLOAD 00000e17: PUSH1 0x06 00000e19: SLOAD 00000e1a: SUB 00000e1b: SWAP1 00000e1c: POP 00000e1d: JUMPDEST 00000e1e: SWAP1 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x00 00000e23: PUSH1 0x00 00000e25: PUSH1 0x00 00000e27: SWAP1 00000e28: POP 00000e29: JUMPDEST 00000e2a: PUSH1 0x05 00000e2c: SLOAD 00000e2d: DUP2 00000e2e: LT 00000e2f: ISZERO 00000e30: PUSH2 0x0eaf 00000e33: JUMPI 00000e34: DUP4 00000e35: DUP1 00000e36: ISZERO 00000e37: PUSH2 0x0e61 00000e3a: JUMPI 00000e3b: POP 00000e3c: PUSH1 0x00 00000e3e: PUSH1 0x00 00000e40: DUP3 00000e41: DUP2 00000e42: MSTORE 00000e43: PUSH1 0x20 00000e45: ADD 00000e46: SWAP1 00000e47: DUP2 00000e48: MSTORE 00000e49: PUSH1 0x20 00000e4b: ADD 00000e4c: PUSH1 0x00 00000e4e: KECCAK256 00000e4f: PUSH1 0x03 00000e51: ADD 00000e52: PUSH1 0x00 00000e54: SWAP1 00000e55: SLOAD 00000e56: SWAP1 00000e57: PUSH2 0x0100 00000e5a: EXP 00000e5b: SWAP1 00000e5c: DIV 00000e5d: PUSH1 0xff 00000e5f: AND 00000e60: ISZERO 00000e61: JUMPDEST 00000e62: DUP1 00000e63: PUSH2 0x0e95 00000e66: JUMPI 00000e67: POP 00000e68: DUP3 00000e69: DUP1 00000e6a: ISZERO 00000e6b: PUSH2 0x0e94 00000e6e: JUMPI 00000e6f: POP 00000e70: PUSH1 0x00 00000e72: PUSH1 0x00 00000e74: DUP3 00000e75: DUP2 00000e76: MSTORE 00000e77: PUSH1 0x20 00000e79: ADD 00000e7a: SWAP1 00000e7b: DUP2 00000e7c: MSTORE 00000e7d: PUSH1 0x20 00000e7f: ADD 00000e80: PUSH1 0x00 00000e82: KECCAK256 00000e83: PUSH1 0x03 00000e85: ADD 00000e86: PUSH1 0x00 00000e88: SWAP1 00000e89: SLOAD 00000e8a: SWAP1 00000e8b: PUSH2 0x0100 00000e8e: EXP 00000e8f: SWAP1 00000e90: DIV 00000e91: PUSH1 0xff 00000e93: AND 00000e94: JUMPDEST 00000e95: JUMPDEST 00000e96: ISZERO 00000e97: PUSH2 0x0ea1 00000e9a: JUMPI 00000e9b: PUSH1 0x01 00000e9d: DUP3 00000e9e: ADD 00000e9f: SWAP2 00000ea0: POP 00000ea1: JUMPDEST 00000ea2: JUMPDEST 00000ea3: DUP1 00000ea4: DUP1 00000ea5: PUSH1 0x01 00000ea7: ADD 00000ea8: SWAP2 00000ea9: POP 00000eaa: POP 00000eab: PUSH2 0x0e29 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: JUMPDEST 00000eb1: POP 00000eb2: SWAP3 00000eb3: SWAP2 00000eb4: POP 00000eb5: POP 00000eb6: JUMP 00000eb7: JUMPDEST 00000eb8: PUSH1 0x06 00000eba: SLOAD 00000ebb: DUP2 00000ebc: JUMP 00000ebd: JUMPDEST 00000ebe: PUSH1 0x07 00000ec0: SLOAD 00000ec1: DUP2 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: ADDRESS 00000ec5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eda: AND 00000edb: CALLER 00000edc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef1: AND 00000ef2: EQ 00000ef3: ISZERO 00000ef4: ISZERO 00000ef5: PUSH2 0x0efe 00000ef8: JUMPI 00000ef9: PUSH1 0x00 00000efb: PUSH1 0x00 00000efd: REVERT 00000efe: JUMPDEST 00000eff: DUP1 00000f00: PUSH1 0x02 00000f02: PUSH1 0x00 00000f04: DUP3 00000f05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1a: AND 00000f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f30: AND 00000f31: DUP2 00000f32: MSTORE 00000f33: PUSH1 0x20 00000f35: ADD 00000f36: SWAP1 00000f37: DUP2 00000f38: MSTORE 00000f39: PUSH1 0x20 00000f3b: ADD 00000f3c: PUSH1 0x00 00000f3e: KECCAK256 00000f3f: PUSH1 0x00 00000f41: SWAP1 00000f42: SLOAD 00000f43: SWAP1 00000f44: PUSH2 0x0100 00000f47: EXP 00000f48: SWAP1 00000f49: DIV 00000f4a: PUSH1 0xff 00000f4c: AND 00000f4d: ISZERO 00000f4e: PUSH2 0x0f57 00000f51: JUMPI 00000f52: PUSH1 0x00 00000f54: PUSH1 0x00 00000f56: REVERT 00000f57: JUMPDEST 00000f58: DUP2 00000f59: PUSH1 0x00 00000f5b: DUP2 00000f5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f71: AND 00000f72: EQ 00000f73: ISZERO 00000f74: PUSH2 0x0f7d 00000f77: JUMPI 00000f78: PUSH1 0x00 00000f7a: PUSH1 0x00 00000f7c: REVERT 00000f7d: JUMPDEST 00000f7e: PUSH1 0x01 00000f80: PUSH1 0x03 00000f82: DUP1 00000f83: SLOAD 00000f84: SWAP1 00000f85: POP 00000f86: ADD 00000f87: PUSH1 0x04 00000f89: SLOAD 00000f8a: PUSH1 0x32 00000f8c: DUP3 00000f8d: GT 00000f8e: DUP1 00000f8f: PUSH2 0x0f97 00000f92: JUMPI 00000f93: POP 00000f94: DUP2 00000f95: DUP2 00000f96: GT 00000f97: JUMPDEST 00000f98: DUP1 00000f99: PUSH2 0x0fa2 00000f9c: JUMPI 00000f9d: POP 00000f9e: PUSH1 0x00 00000fa0: DUP2 00000fa1: EQ 00000fa2: JUMPDEST 00000fa3: DUP1 00000fa4: PUSH2 0x0fad 00000fa7: JUMPI 00000fa8: POP 00000fa9: PUSH1 0x00 00000fab: DUP3 00000fac: EQ 00000fad: JUMPDEST 00000fae: ISZERO 00000faf: PUSH2 0x0fb8 00000fb2: JUMPI 00000fb3: PUSH1 0x00 00000fb5: PUSH1 0x00 00000fb7: REVERT 00000fb8: JUMPDEST 00000fb9: PUSH1 0x01 00000fbb: PUSH1 0x02 00000fbd: PUSH1 0x00 00000fbf: DUP8 00000fc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd5: AND 00000fd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000feb: AND 00000fec: DUP2 00000fed: MSTORE 00000fee: PUSH1 0x20 00000ff0: ADD 00000ff1: SWAP1 00000ff2: DUP2 00000ff3: MSTORE 00000ff4: PUSH1 0x20 00000ff6: ADD 00000ff7: PUSH1 0x00 00000ff9: KECCAK256 00000ffa: PUSH1 0x00 00000ffc: PUSH2 0x0100 00000fff: EXP 00001000: DUP2 00001001: SLOAD 00001002: DUP2 00001003: PUSH1 0xff 00001005: MUL 00001006: NOT 00001007: AND 00001008: SWAP1 00001009: DUP4 0000100a: ISZERO 0000100b: ISZERO 0000100c: MUL 0000100d: OR 0000100e: SWAP1 0000100f: SSTORE 00001010: POP 00001011: PUSH1 0x03 00001013: DUP1 00001014: SLOAD 00001015: DUP1 00001016: PUSH1 0x01 00001018: ADD 00001019: DUP3 0000101a: DUP2 0000101b: PUSH2 0x1024 0000101e: SWAP2 0000101f: SWAP1 00001020: PUSH2 0x218d 00001023: JUMP 00001024: JUMPDEST 00001025: SWAP2 00001026: PUSH1 0x00 00001028: MSTORE 00001029: PUSH1 0x20 0000102b: PUSH1 0x00 0000102d: KECCAK256 0000102e: SWAP1 0000102f: ADD 00001030: PUSH1 0x00 00001032: JUMPDEST 00001033: DUP8 00001034: SWAP1 00001035: SWAP2 00001036: SWAP1 00001037: SWAP2 00001038: PUSH2 0x0100 0000103b: EXP 0000103c: DUP2 0000103d: SLOAD 0000103e: DUP2 0000103f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001054: MUL 00001055: NOT 00001056: AND 00001057: SWAP1 00001058: DUP4 00001059: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000106e: AND 0000106f: MUL 00001070: OR 00001071: SWAP1 00001072: SSTORE 00001073: POP 00001074: POP 00001075: DUP5 00001076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000108b: AND 0000108c: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 000010ad: PUSH1 0x40 000010af: MLOAD 000010b0: DUP1 000010b1: SWAP1 000010b2: POP 000010b3: PUSH1 0x40 000010b5: MLOAD 000010b6: DUP1 000010b7: SWAP2 000010b8: SUB 000010b9: SWAP1 000010ba: LOG2 000010bb: JUMPDEST 000010bc: JUMPDEST 000010bd: POP 000010be: POP 000010bf: JUMPDEST 000010c0: POP 000010c1: JUMPDEST 000010c2: POP 000010c3: JUMPDEST 000010c4: POP 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH1 0x00 000010c9: PUSH1 0x00 000010cb: PUSH1 0x00 000010cd: PUSH1 0x00 000010cf: SWAP2 000010d0: POP 000010d1: PUSH1 0x00 000010d3: SWAP1 000010d4: POP 000010d5: JUMPDEST 000010d6: PUSH1 0x03 000010d8: DUP1 000010d9: SLOAD 000010da: SWAP1 000010db: POP 000010dc: DUP2 000010dd: LT 000010de: ISZERO 000010df: PUSH2 0x11a8 000010e2: JUMPI 000010e3: PUSH1 0x01 000010e5: PUSH1 0x00 000010e7: DUP6 000010e8: DUP2 000010e9: MSTORE 000010ea: PUSH1 0x20 000010ec: ADD 000010ed: SWAP1 000010ee: DUP2 000010ef: MSTORE 000010f0: PUSH1 0x20 000010f2: ADD 000010f3: PUSH1 0x00 000010f5: KECCAK256 000010f6: PUSH1 0x00 000010f8: PUSH1 0x03 000010fa: DUP4 000010fb: DUP2 000010fc: SLOAD 000010fd: DUP2 000010fe: LT 000010ff: ISZERO 00001100: ISZERO 00001101: PUSH2 0x1106 00001104: JUMPI 00001105: INVALID 00001106: JUMPDEST 00001107: SWAP1 00001108: PUSH1 0x00 0000110a: MSTORE 0000110b: PUSH1 0x20 0000110d: PUSH1 0x00 0000110f: KECCAK256 00001110: SWAP1 00001111: ADD 00001112: PUSH1 0x00 00001114: JUMPDEST 00001115: SWAP1 00001116: SLOAD 00001117: SWAP1 00001118: PUSH2 0x0100 0000111b: EXP 0000111c: SWAP1 0000111d: DIV 0000111e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001133: AND 00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001149: AND 0000114a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115f: AND 00001160: DUP2 00001161: MSTORE 00001162: PUSH1 0x20 00001164: ADD 00001165: SWAP1 00001166: DUP2 00001167: MSTORE 00001168: PUSH1 0x20 0000116a: ADD 0000116b: PUSH1 0x00 0000116d: KECCAK256 0000116e: PUSH1 0x00 00001170: SWAP1 00001171: SLOAD 00001172: SWAP1 00001173: PUSH2 0x0100 00001176: EXP 00001177: SWAP1 00001178: DIV 00001179: PUSH1 0xff 0000117b: AND 0000117c: ISZERO 0000117d: PUSH2 0x1187 00001180: JUMPI 00001181: PUSH1 0x01 00001183: DUP3 00001184: ADD 00001185: SWAP2 00001186: POP 00001187: JUMPDEST 00001188: PUSH1 0x04 0000118a: SLOAD 0000118b: DUP3 0000118c: EQ 0000118d: ISZERO 0000118e: PUSH2 0x119a 00001191: JUMPI 00001192: PUSH1 0x01 00001194: SWAP3 00001195: POP 00001196: PUSH2 0x11a9 00001199: JUMP 0000119a: JUMPDEST 0000119b: JUMPDEST 0000119c: DUP1 0000119d: DUP1 0000119e: PUSH1 0x01 000011a0: ADD 000011a1: SWAP2 000011a2: POP 000011a3: POP 000011a4: PUSH2 0x10d5 000011a7: JUMP 000011a8: JUMPDEST 000011a9: JUMPDEST 000011aa: POP 000011ab: POP 000011ac: SWAP2 000011ad: SWAP1 000011ae: POP 000011af: JUMP 000011b0: JUMPDEST 000011b1: PUSH1 0x00 000011b3: PUSH1 0x00 000011b5: PUSH1 0x00 000011b7: SWAP1 000011b8: POP 000011b9: JUMPDEST 000011ba: PUSH1 0x03 000011bc: DUP1 000011bd: SLOAD 000011be: SWAP1 000011bf: POP 000011c0: DUP2 000011c1: LT 000011c2: ISZERO 000011c3: PUSH2 0x1279 000011c6: JUMPI 000011c7: PUSH1 0x01 000011c9: PUSH1 0x00 000011cb: DUP5 000011cc: DUP2 000011cd: MSTORE 000011ce: PUSH1 0x20 000011d0: ADD 000011d1: SWAP1 000011d2: DUP2 000011d3: MSTORE 000011d4: PUSH1 0x20 000011d6: ADD 000011d7: PUSH1 0x00 000011d9: KECCAK256 000011da: PUSH1 0x00 000011dc: PUSH1 0x03 000011de: DUP4 000011df: DUP2 000011e0: SLOAD 000011e1: DUP2 000011e2: LT 000011e3: ISZERO 000011e4: ISZERO 000011e5: PUSH2 0x11ea 000011e8: JUMPI 000011e9: INVALID 000011ea: JUMPDEST 000011eb: SWAP1 000011ec: PUSH1 0x00 000011ee: MSTORE 000011ef: PUSH1 0x20 000011f1: PUSH1 0x00 000011f3: KECCAK256 000011f4: SWAP1 000011f5: ADD 000011f6: PUSH1 0x00 000011f8: JUMPDEST 000011f9: SWAP1 000011fa: SLOAD 000011fb: SWAP1 000011fc: PUSH2 0x0100 000011ff: EXP 00001200: SWAP1 00001201: DIV 00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001217: AND 00001218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122d: AND 0000122e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001243: AND 00001244: DUP2 00001245: MSTORE 00001246: PUSH1 0x20 00001248: ADD 00001249: SWAP1 0000124a: DUP2 0000124b: MSTORE 0000124c: PUSH1 0x20 0000124e: ADD 0000124f: PUSH1 0x00 00001251: KECCAK256 00001252: PUSH1 0x00 00001254: SWAP1 00001255: SLOAD 00001256: SWAP1 00001257: PUSH2 0x0100 0000125a: EXP 0000125b: SWAP1 0000125c: DIV 0000125d: PUSH1 0xff 0000125f: AND 00001260: ISZERO 00001261: PUSH2 0x126b 00001264: JUMPI 00001265: PUSH1 0x01 00001267: DUP3 00001268: ADD 00001269: SWAP2 0000126a: POP 0000126b: JUMPDEST 0000126c: JUMPDEST 0000126d: DUP1 0000126e: DUP1 0000126f: PUSH1 0x01 00001271: ADD 00001272: SWAP2 00001273: POP 00001274: POP 00001275: PUSH2 0x11b9 00001278: JUMP 00001279: JUMPDEST 0000127a: JUMPDEST 0000127b: POP 0000127c: SWAP2 0000127d: SWAP1 0000127e: POP 0000127f: JUMP 00001280: JUMPDEST 00001281: PUSH1 0x00 00001283: PUSH1 0x20 00001285: MSTORE 00001286: DUP1 00001287: PUSH1 0x00 00001289: MSTORE 0000128a: PUSH1 0x40 0000128c: PUSH1 0x00 0000128e: KECCAK256 0000128f: PUSH1 0x00 00001291: SWAP2 00001292: POP 00001293: SWAP1 00001294: POP 00001295: DUP1 00001296: PUSH1 0x00 00001298: ADD 00001299: PUSH1 0x00 0000129b: SWAP1 0000129c: SLOAD 0000129d: SWAP1 0000129e: PUSH2 0x0100 000012a1: EXP 000012a2: SWAP1 000012a3: DIV 000012a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b9: AND 000012ba: SWAP1 000012bb: DUP1 000012bc: PUSH1 0x01 000012be: ADD 000012bf: SLOAD 000012c0: SWAP1 000012c1: DUP1 000012c2: PUSH1 0x02 000012c4: ADD 000012c5: SWAP1 000012c6: DUP1 000012c7: PUSH1 0x03 000012c9: ADD 000012ca: PUSH1 0x00 000012cc: SWAP1 000012cd: SLOAD 000012ce: SWAP1 000012cf: PUSH2 0x0100 000012d2: EXP 000012d3: SWAP1 000012d4: DIV 000012d5: PUSH1 0xff 000012d7: AND 000012d8: SWAP1 000012d9: POP 000012da: DUP5 000012db: JUMP 000012dc: JUMPDEST 000012dd: PUSH2 0x12e4 000012e0: PUSH2 0x21b9 000012e3: JUMP 000012e4: JUMPDEST 000012e5: PUSH1 0x03 000012e7: DUP1 000012e8: SLOAD 000012e9: DUP1 000012ea: PUSH1 0x20 000012ec: MUL 000012ed: PUSH1 0x20 000012ef: ADD 000012f0: PUSH1 0x40 000012f2: MLOAD 000012f3: SWAP1 000012f4: DUP2 000012f5: ADD 000012f6: PUSH1 0x40 000012f8: MSTORE 000012f9: DUP1 000012fa: SWAP3 000012fb: SWAP2 000012fc: SWAP1 000012fd: DUP2 000012fe: DUP2 000012ff: MSTORE 00001300: PUSH1 0x20 00001302: ADD 00001303: DUP3 00001304: DUP1 00001305: SLOAD 00001306: DUP1 00001307: ISZERO 00001308: PUSH2 0x1366 0000130b: JUMPI 0000130c: PUSH1 0x20 0000130e: MUL 0000130f: DUP3 00001310: ADD 00001311: SWAP2 00001312: SWAP1 00001313: PUSH1 0x00 00001315: MSTORE 00001316: PUSH1 0x20 00001318: PUSH1 0x00 0000131a: KECCAK256 0000131b: SWAP1 0000131c: JUMPDEST 0000131d: DUP2 0000131e: PUSH1 0x00 00001320: SWAP1 00001321: SLOAD 00001322: SWAP1 00001323: PUSH2 0x0100 00001326: EXP 00001327: SWAP1 00001328: DIV 00001329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133e: AND 0000133f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001354: AND 00001355: DUP2 00001356: MSTORE 00001357: PUSH1 0x20 00001359: ADD 0000135a: SWAP1 0000135b: PUSH1 0x01 0000135d: ADD 0000135e: SWAP1 0000135f: DUP1 00001360: DUP4 00001361: GT 00001362: PUSH2 0x131c 00001365: JUMPI 00001366: JUMPDEST 00001367: POP 00001368: POP 00001369: POP 0000136a: POP 0000136b: POP 0000136c: SWAP1 0000136d: POP 0000136e: JUMPDEST 0000136f: SWAP1 00001370: JUMP 00001371: JUMPDEST 00001372: PUSH2 0x1379 00001375: PUSH2 0x21cd 00001378: JUMP 00001379: JUMPDEST 0000137a: PUSH2 0x1381 0000137d: PUSH2 0x21cd 00001380: JUMP 00001381: JUMPDEST 00001382: PUSH1 0x00 00001384: PUSH1 0x00 00001386: PUSH1 0x05 00001388: SLOAD 00001389: PUSH1 0x40 0000138b: MLOAD 0000138c: DUP1 0000138d: MSIZE 0000138e: LT 0000138f: PUSH2 0x1395 00001392: JUMPI 00001393: POP 00001394: MSIZE 00001395: JUMPDEST 00001396: SWAP1 00001397: DUP1 00001398: DUP3 00001399: MSTORE 0000139a: DUP1 0000139b: PUSH1 0x20 0000139d: MUL 0000139e: PUSH1 0x20 000013a0: ADD 000013a1: DUP3 000013a2: ADD 000013a3: PUSH1 0x40 000013a5: MSTORE 000013a6: JUMPDEST 000013a7: POP 000013a8: SWAP3 000013a9: POP 000013aa: PUSH1 0x00 000013ac: SWAP2 000013ad: POP 000013ae: PUSH1 0x00 000013b0: SWAP1 000013b1: POP 000013b2: JUMPDEST 000013b3: PUSH1 0x05 000013b5: SLOAD 000013b6: DUP2 000013b7: LT 000013b8: ISZERO 000013b9: PUSH2 0x1455 000013bc: JUMPI 000013bd: DUP6 000013be: DUP1 000013bf: ISZERO 000013c0: PUSH2 0x13ea 000013c3: JUMPI 000013c4: POP 000013c5: PUSH1 0x00 000013c7: PUSH1 0x00 000013c9: DUP3 000013ca: DUP2 000013cb: MSTORE 000013cc: PUSH1 0x20 000013ce: ADD 000013cf: SWAP1 000013d0: DUP2 000013d1: MSTORE 000013d2: PUSH1 0x20 000013d4: ADD 000013d5: PUSH1 0x00 000013d7: KECCAK256 000013d8: PUSH1 0x03 000013da: ADD 000013db: PUSH1 0x00 000013dd: SWAP1 000013de: SLOAD 000013df: SWAP1 000013e0: PUSH2 0x0100 000013e3: EXP 000013e4: SWAP1 000013e5: DIV 000013e6: PUSH1 0xff 000013e8: AND 000013e9: ISZERO 000013ea: JUMPDEST 000013eb: DUP1 000013ec: PUSH2 0x141e 000013ef: JUMPI 000013f0: POP 000013f1: DUP5 000013f2: DUP1 000013f3: ISZERO 000013f4: PUSH2 0x141d 000013f7: JUMPI 000013f8: POP 000013f9: PUSH1 0x00 000013fb: PUSH1 0x00 000013fd: DUP3 000013fe: DUP2 000013ff: MSTORE 00001400: PUSH1 0x20 00001402: ADD 00001403: SWAP1 00001404: DUP2 00001405: MSTORE 00001406: PUSH1 0x20 00001408: ADD 00001409: PUSH1 0x00 0000140b: KECCAK256 0000140c: PUSH1 0x03 0000140e: ADD 0000140f: PUSH1 0x00 00001411: SWAP1 00001412: SLOAD 00001413: SWAP1 00001414: PUSH2 0x0100 00001417: EXP 00001418: SWAP1 00001419: DIV 0000141a: PUSH1 0xff 0000141c: AND 0000141d: JUMPDEST 0000141e: JUMPDEST 0000141f: ISZERO 00001420: PUSH2 0x1447 00001423: JUMPI 00001424: DUP1 00001425: DUP4 00001426: DUP4 00001427: DUP2 00001428: MLOAD 00001429: DUP2 0000142a: LT 0000142b: ISZERO 0000142c: ISZERO 0000142d: PUSH2 0x1432 00001430: JUMPI 00001431: INVALID 00001432: JUMPDEST 00001433: SWAP1 00001434: PUSH1 0x20 00001436: ADD 00001437: SWAP1 00001438: PUSH1 0x20 0000143a: MUL 0000143b: ADD 0000143c: DUP2 0000143d: DUP2 0000143e: MSTORE 0000143f: POP 00001440: POP 00001441: PUSH1 0x01 00001443: DUP3 00001444: ADD 00001445: SWAP2 00001446: POP 00001447: JUMPDEST 00001448: JUMPDEST 00001449: DUP1 0000144a: DUP1 0000144b: PUSH1 0x01 0000144d: ADD 0000144e: SWAP2 0000144f: POP 00001450: POP 00001451: PUSH2 0x13b2 00001454: JUMP 00001455: JUMPDEST 00001456: DUP8 00001457: DUP8 00001458: SUB 00001459: PUSH1 0x40 0000145b: MLOAD 0000145c: DUP1 0000145d: MSIZE 0000145e: LT 0000145f: PUSH2 0x1465 00001462: JUMPI 00001463: POP 00001464: MSIZE 00001465: JUMPDEST 00001466: SWAP1 00001467: DUP1 00001468: DUP3 00001469: MSTORE 0000146a: DUP1 0000146b: PUSH1 0x20 0000146d: MUL 0000146e: PUSH1 0x20 00001470: ADD 00001471: DUP3 00001472: ADD 00001473: PUSH1 0x40 00001475: MSTORE 00001476: JUMPDEST 00001477: POP 00001478: SWAP4 00001479: POP 0000147a: DUP8 0000147b: SWAP1 0000147c: POP 0000147d: JUMPDEST 0000147e: DUP7 0000147f: DUP2 00001480: LT 00001481: ISZERO 00001482: PUSH2 0x14c9 00001485: JUMPI 00001486: DUP3 00001487: DUP2 00001488: DUP2 00001489: MLOAD 0000148a: DUP2 0000148b: LT 0000148c: ISZERO 0000148d: ISZERO 0000148e: PUSH2 0x1493 00001491: JUMPI 00001492: INVALID 00001493: JUMPDEST 00001494: SWAP1 00001495: PUSH1 0x20 00001497: ADD 00001498: SWAP1 00001499: PUSH1 0x20 0000149b: MUL 0000149c: ADD 0000149d: MLOAD 0000149e: DUP5 0000149f: DUP10 000014a0: DUP4 000014a1: SUB 000014a2: DUP2 000014a3: MLOAD 000014a4: DUP2 000014a5: LT 000014a6: ISZERO 000014a7: ISZERO 000014a8: PUSH2 0x14ad 000014ab: JUMPI 000014ac: INVALID 000014ad: JUMPDEST 000014ae: SWAP1 000014af: PUSH1 0x20 000014b1: ADD 000014b2: SWAP1 000014b3: PUSH1 0x20 000014b5: MUL 000014b6: ADD 000014b7: DUP2 000014b8: DUP2 000014b9: MSTORE 000014ba: POP 000014bb: POP 000014bc: JUMPDEST 000014bd: DUP1 000014be: DUP1 000014bf: PUSH1 0x01 000014c1: ADD 000014c2: SWAP2 000014c3: POP 000014c4: POP 000014c5: PUSH2 0x147d 000014c8: JUMP 000014c9: JUMPDEST 000014ca: JUMPDEST 000014cb: POP 000014cc: POP 000014cd: POP 000014ce: SWAP5 000014cf: SWAP4 000014d0: POP 000014d1: POP 000014d2: POP 000014d3: POP 000014d4: JUMP 000014d5: JUMPDEST 000014d6: PUSH2 0x14dd 000014d9: PUSH2 0x21b9 000014dc: JUMP 000014dd: JUMPDEST 000014de: PUSH2 0x14e5 000014e1: PUSH2 0x21b9 000014e4: JUMP 000014e5: JUMPDEST 000014e6: PUSH1 0x00 000014e8: PUSH1 0x00 000014ea: PUSH1 0x03 000014ec: DUP1 000014ed: SLOAD 000014ee: SWAP1 000014ef: POP 000014f0: PUSH1 0x40 000014f2: MLOAD 000014f3: DUP1 000014f4: MSIZE 000014f5: LT 000014f6: PUSH2 0x14fc 000014f9: JUMPI 000014fa: POP 000014fb: MSIZE 000014fc: JUMPDEST 000014fd: SWAP1 000014fe: DUP1 000014ff: DUP3 00001500: MSTORE 00001501: DUP1 00001502: PUSH1 0x20 00001504: MUL 00001505: PUSH1 0x20 00001507: ADD 00001508: DUP3 00001509: ADD 0000150a: PUSH1 0x40 0000150c: MSTORE 0000150d: JUMPDEST 0000150e: POP 0000150f: SWAP3 00001510: POP 00001511: PUSH1 0x00 00001513: SWAP2 00001514: POP 00001515: PUSH1 0x00 00001517: SWAP1 00001518: POP 00001519: JUMPDEST 0000151a: PUSH1 0x03 0000151c: DUP1 0000151d: SLOAD 0000151e: SWAP1 0000151f: POP 00001520: DUP2 00001521: LT 00001522: ISZERO 00001523: PUSH2 0x165f 00001526: JUMPI 00001527: PUSH1 0x01 00001529: PUSH1 0x00 0000152b: DUP7 0000152c: DUP2 0000152d: MSTORE 0000152e: PUSH1 0x20 00001530: ADD 00001531: SWAP1 00001532: DUP2 00001533: MSTORE 00001534: PUSH1 0x20 00001536: ADD 00001537: PUSH1 0x00 00001539: KECCAK256 0000153a: PUSH1 0x00 0000153c: PUSH1 0x03 0000153e: DUP4 0000153f: DUP2 00001540: SLOAD 00001541: DUP2 00001542: LT 00001543: ISZERO 00001544: ISZERO 00001545: PUSH2 0x154a 00001548: JUMPI 00001549: INVALID 0000154a: JUMPDEST 0000154b: SWAP1 0000154c: PUSH1 0x00 0000154e: MSTORE 0000154f: PUSH1 0x20 00001551: PUSH1 0x00 00001553: KECCAK256 00001554: SWAP1 00001555: ADD 00001556: PUSH1 0x00 00001558: JUMPDEST 00001559: SWAP1 0000155a: SLOAD 0000155b: SWAP1 0000155c: PUSH2 0x0100 0000155f: EXP 00001560: SWAP1 00001561: DIV 00001562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001577: AND 00001578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158d: AND 0000158e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a3: AND 000015a4: DUP2 000015a5: MSTORE 000015a6: PUSH1 0x20 000015a8: ADD 000015a9: SWAP1 000015aa: DUP2 000015ab: MSTORE 000015ac: PUSH1 0x20 000015ae: ADD 000015af: PUSH1 0x00 000015b1: KECCAK256 000015b2: PUSH1 0x00 000015b4: SWAP1 000015b5: SLOAD 000015b6: SWAP1 000015b7: PUSH2 0x0100 000015ba: EXP 000015bb: SWAP1 000015bc: DIV 000015bd: PUSH1 0xff 000015bf: AND 000015c0: ISZERO 000015c1: PUSH2 0x1651 000015c4: JUMPI 000015c5: PUSH1 0x03 000015c7: DUP2 000015c8: DUP2 000015c9: SLOAD 000015ca: DUP2 000015cb: LT 000015cc: ISZERO 000015cd: ISZERO 000015ce: PUSH2 0x15d3 000015d1: JUMPI 000015d2: INVALID 000015d3: JUMPDEST 000015d4: SWAP1 000015d5: PUSH1 0x00 000015d7: MSTORE 000015d8: PUSH1 0x20 000015da: PUSH1 0x00 000015dc: KECCAK256 000015dd: SWAP1 000015de: ADD 000015df: PUSH1 0x00 000015e1: JUMPDEST 000015e2: SWAP1 000015e3: SLOAD 000015e4: SWAP1 000015e5: PUSH2 0x0100 000015e8: EXP 000015e9: SWAP1 000015ea: DIV 000015eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001600: AND 00001601: DUP4 00001602: DUP4 00001603: DUP2 00001604: MLOAD 00001605: DUP2 00001606: LT 00001607: ISZERO 00001608: ISZERO 00001609: PUSH2 0x160e 0000160c: JUMPI 0000160d: INVALID 0000160e: JUMPDEST 0000160f: SWAP1 00001610: PUSH1 0x20 00001612: ADD 00001613: SWAP1 00001614: PUSH1 0x20 00001616: MUL 00001617: ADD 00001618: SWAP1 00001619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000162e: AND 0000162f: SWAP1 00001630: DUP2 00001631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001646: AND 00001647: DUP2 00001648: MSTORE 00001649: POP 0000164a: POP 0000164b: PUSH1 0x01 0000164d: DUP3 0000164e: ADD 0000164f: SWAP2 00001650: POP 00001651: JUMPDEST 00001652: JUMPDEST 00001653: DUP1 00001654: DUP1 00001655: PUSH1 0x01 00001657: ADD 00001658: SWAP2 00001659: POP 0000165a: POP 0000165b: PUSH2 0x1519 0000165e: JUMP 0000165f: JUMPDEST 00001660: DUP2 00001661: PUSH1 0x40 00001663: MLOAD 00001664: DUP1 00001665: MSIZE 00001666: LT 00001667: PUSH2 0x166d 0000166a: JUMPI 0000166b: POP 0000166c: MSIZE 0000166d: JUMPDEST 0000166e: SWAP1 0000166f: DUP1 00001670: DUP3 00001671: MSTORE 00001672: DUP1 00001673: PUSH1 0x20 00001675: MUL 00001676: PUSH1 0x20 00001678: ADD 00001679: DUP3 0000167a: ADD 0000167b: PUSH1 0x40 0000167d: MSTORE 0000167e: JUMPDEST 0000167f: POP 00001680: SWAP4 00001681: POP 00001682: PUSH1 0x00 00001684: SWAP1 00001685: POP 00001686: JUMPDEST 00001687: DUP2 00001688: DUP2 00001689: LT 0000168a: ISZERO 0000168b: PUSH2 0x16fe 0000168e: JUMPI 0000168f: DUP3 00001690: DUP2 00001691: DUP2 00001692: MLOAD 00001693: DUP2 00001694: LT 00001695: ISZERO 00001696: ISZERO 00001697: PUSH2 0x169c 0000169a: JUMPI 0000169b: INVALID 0000169c: JUMPDEST 0000169d: SWAP1 0000169e: PUSH1 0x20 000016a0: ADD 000016a1: SWAP1 000016a2: PUSH1 0x20 000016a4: MUL 000016a5: ADD 000016a6: MLOAD 000016a7: DUP5 000016a8: DUP3 000016a9: DUP2 000016aa: MLOAD 000016ab: DUP2 000016ac: LT 000016ad: ISZERO 000016ae: ISZERO 000016af: PUSH2 0x16b4 000016b2: JUMPI 000016b3: INVALID 000016b4: JUMPDEST 000016b5: SWAP1 000016b6: PUSH1 0x20 000016b8: ADD 000016b9: SWAP1 000016ba: PUSH1 0x20 000016bc: MUL 000016bd: ADD 000016be: SWAP1 000016bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d4: AND 000016d5: SWAP1 000016d6: DUP2 000016d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ec: AND 000016ed: DUP2 000016ee: MSTORE 000016ef: POP 000016f0: POP 000016f1: JUMPDEST 000016f2: DUP1 000016f3: DUP1 000016f4: PUSH1 0x01 000016f6: ADD 000016f7: SWAP2 000016f8: POP 000016f9: POP 000016fa: PUSH2 0x1686 000016fd: JUMP 000016fe: JUMPDEST 000016ff: JUMPDEST 00001700: POP 00001701: POP 00001702: POP 00001703: SWAP2 00001704: SWAP1 00001705: POP 00001706: JUMP 00001707: JUMPDEST 00001708: PUSH1 0x05 0000170a: SLOAD 0000170b: DUP2 0000170c: JUMP 0000170d: JUMPDEST 0000170e: ADDRESS 0000170f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001724: AND 00001725: CALLER 00001726: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173b: AND 0000173c: EQ 0000173d: ISZERO 0000173e: ISZERO 0000173f: PUSH2 0x1748 00001742: JUMPI 00001743: PUSH1 0x00 00001745: PUSH1 0x00 00001747: REVERT 00001748: JUMPDEST 00001749: PUSH1 0x03 0000174b: DUP1 0000174c: SLOAD 0000174d: SWAP1 0000174e: POP 0000174f: DUP2 00001750: PUSH1 0x32 00001752: DUP3 00001753: GT 00001754: DUP1 00001755: PUSH2 0x175d 00001758: JUMPI 00001759: POP 0000175a: DUP2 0000175b: DUP2 0000175c: GT 0000175d: JUMPDEST 0000175e: DUP1 0000175f: PUSH2 0x1768 00001762: JUMPI 00001763: POP 00001764: PUSH1 0x00 00001766: DUP2 00001767: EQ 00001768: JUMPDEST 00001769: DUP1 0000176a: PUSH2 0x1773 0000176d: JUMPI 0000176e: POP 0000176f: PUSH1 0x00 00001771: DUP3 00001772: EQ 00001773: JUMPDEST 00001774: ISZERO 00001775: PUSH2 0x177e 00001778: JUMPI 00001779: PUSH1 0x00 0000177b: PUSH1 0x00 0000177d: REVERT 0000177e: JUMPDEST 0000177f: DUP3 00001780: PUSH1 0x04 00001782: DUP2 00001783: SWAP1 00001784: SSTORE 00001785: POP 00001786: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 000017a7: DUP4 000017a8: PUSH1 0x40 000017aa: MLOAD 000017ab: DUP1 000017ac: DUP3 000017ad: DUP2 000017ae: MSTORE 000017af: PUSH1 0x20 000017b1: ADD 000017b2: SWAP2 000017b3: POP 000017b4: POP 000017b5: PUSH1 0x40 000017b7: MLOAD 000017b8: DUP1 000017b9: SWAP2 000017ba: SUB 000017bb: SWAP1 000017bc: LOG1 000017bd: JUMPDEST 000017be: JUMPDEST 000017bf: POP 000017c0: POP 000017c1: JUMPDEST 000017c2: POP 000017c3: JUMP 000017c4: JUMPDEST 000017c5: CALLER 000017c6: PUSH1 0x02 000017c8: PUSH1 0x00 000017ca: DUP3 000017cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017e0: AND 000017e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f6: AND 000017f7: DUP2 000017f8: MSTORE 000017f9: PUSH1 0x20 000017fb: ADD 000017fc: SWAP1 000017fd: DUP2 000017fe: MSTORE 000017ff: PUSH1 0x20 00001801: ADD 00001802: PUSH1 0x00 00001804: KECCAK256 00001805: PUSH1 0x00 00001807: SWAP1 00001808: SLOAD 00001809: SWAP1 0000180a: PUSH2 0x0100 0000180d: EXP 0000180e: SWAP1 0000180f: DIV 00001810: PUSH1 0xff 00001812: AND 00001813: ISZERO 00001814: ISZERO 00001815: PUSH2 0x181e 00001818: JUMPI 00001819: PUSH1 0x00 0000181b: PUSH1 0x00 0000181d: REVERT 0000181e: JUMPDEST 0000181f: DUP2 00001820: PUSH1 0x00 00001822: PUSH1 0x00 00001824: PUSH1 0x00 00001826: DUP4 00001827: DUP2 00001828: MSTORE 00001829: PUSH1 0x20 0000182b: ADD 0000182c: SWAP1 0000182d: DUP2 0000182e: MSTORE 0000182f: PUSH1 0x20 00001831: ADD 00001832: PUSH1 0x00 00001834: KECCAK256 00001835: PUSH1 0x00 00001837: ADD 00001838: PUSH1 0x00 0000183a: SWAP1 0000183b: SLOAD 0000183c: SWAP1 0000183d: PUSH2 0x0100 00001840: EXP 00001841: SWAP1 00001842: DIV 00001843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001858: AND 00001859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186e: AND 0000186f: EQ 00001870: ISZERO 00001871: PUSH2 0x187a 00001874: JUMPI 00001875: PUSH1 0x00 00001877: PUSH1 0x00 00001879: REVERT 0000187a: JUMPDEST 0000187b: DUP3 0000187c: CALLER 0000187d: PUSH1 0x01 0000187f: PUSH1 0x00 00001881: DUP4 00001882: DUP2 00001883: MSTORE 00001884: PUSH1 0x20 00001886: ADD 00001887: SWAP1 00001888: DUP2 00001889: MSTORE 0000188a: PUSH1 0x20 0000188c: ADD 0000188d: PUSH1 0x00 0000188f: KECCAK256 00001890: PUSH1 0x00 00001892: DUP3 00001893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a8: AND 000018a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018be: AND 000018bf: DUP2 000018c0: MSTORE 000018c1: PUSH1 0x20 000018c3: ADD 000018c4: SWAP1 000018c5: DUP2 000018c6: MSTORE 000018c7: PUSH1 0x20 000018c9: ADD 000018ca: PUSH1 0x00 000018cc: KECCAK256 000018cd: PUSH1 0x00 000018cf: SWAP1 000018d0: SLOAD 000018d1: SWAP1 000018d2: PUSH2 0x0100 000018d5: EXP 000018d6: SWAP1 000018d7: DIV 000018d8: PUSH1 0xff 000018da: AND 000018db: ISZERO 000018dc: PUSH2 0x18e5 000018df: JUMPI 000018e0: PUSH1 0x00 000018e2: PUSH1 0x00 000018e4: REVERT 000018e5: JUMPDEST 000018e6: PUSH1 0x01 000018e8: PUSH1 0x01 000018ea: PUSH1 0x00 000018ec: DUP8 000018ed: DUP2 000018ee: MSTORE 000018ef: PUSH1 0x20 000018f1: ADD 000018f2: SWAP1 000018f3: DUP2 000018f4: MSTORE 000018f5: PUSH1 0x20 000018f7: ADD 000018f8: PUSH1 0x00 000018fa: KECCAK256 000018fb: PUSH1 0x00 000018fd: CALLER 000018fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001913: AND 00001914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001929: AND 0000192a: DUP2 0000192b: MSTORE 0000192c: PUSH1 0x20 0000192e: ADD 0000192f: SWAP1 00001930: DUP2 00001931: MSTORE 00001932: PUSH1 0x20 00001934: ADD 00001935: PUSH1 0x00 00001937: KECCAK256 00001938: PUSH1 0x00 0000193a: PUSH2 0x0100 0000193d: EXP 0000193e: DUP2 0000193f: SLOAD 00001940: DUP2 00001941: PUSH1 0xff 00001943: MUL 00001944: NOT 00001945: AND 00001946: SWAP1 00001947: DUP4 00001948: ISZERO 00001949: ISZERO 0000194a: MUL 0000194b: OR 0000194c: SWAP1 0000194d: SSTORE 0000194e: POP 0000194f: DUP5 00001950: CALLER 00001951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001966: AND 00001967: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 00001988: PUSH1 0x40 0000198a: MLOAD 0000198b: DUP1 0000198c: SWAP1 0000198d: POP 0000198e: PUSH1 0x40 00001990: MLOAD 00001991: DUP1 00001992: SWAP2 00001993: SUB 00001994: SWAP1 00001995: LOG3 00001996: PUSH2 0x199e 00001999: DUP6 0000199a: PUSH2 0x1d77 0000199d: JUMP 0000199e: JUMPDEST 0000199f: JUMPDEST 000019a0: JUMPDEST 000019a1: POP 000019a2: POP 000019a3: JUMPDEST 000019a4: POP 000019a5: JUMPDEST 000019a6: POP 000019a7: POP 000019a8: JUMP 000019a9: JUMPDEST 000019aa: PUSH1 0x00 000019ac: PUSH2 0x19b6 000019af: DUP5 000019b0: DUP5 000019b1: DUP5 000019b2: PUSH2 0x1fb8 000019b5: JUMP 000019b6: JUMPDEST 000019b7: SWAP1 000019b8: POP 000019b9: PUSH2 0x19c1 000019bc: DUP2 000019bd: PUSH2 0x17c4 000019c0: JUMP 000019c1: JUMPDEST 000019c2: JUMPDEST 000019c3: SWAP4 000019c4: SWAP3 000019c5: POP 000019c6: POP 000019c7: POP 000019c8: JUMP 000019c9: JUMPDEST 000019ca: ADDRESS 000019cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e0: AND 000019e1: CALLER 000019e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f7: AND 000019f8: EQ 000019f9: ISZERO 000019fa: ISZERO 000019fb: PUSH2 0x1a04 000019fe: JUMPI 000019ff: PUSH1 0x00 00001a01: PUSH1 0x00 00001a03: REVERT 00001a04: JUMPDEST 00001a05: DUP1 00001a06: PUSH1 0x06 00001a08: DUP2 00001a09: SWAP1 00001a0a: SSTORE 00001a0b: POP 00001a0c: PUSH32 0xc71bdc6afaf9b1aa90a7078191d4fc1adf3bf680fca3183697df6b0dc226bca2 00001a2d: DUP2 00001a2e: PUSH1 0x40 00001a30: MLOAD 00001a31: DUP1 00001a32: DUP3 00001a33: DUP2 00001a34: MSTORE 00001a35: PUSH1 0x20 00001a37: ADD 00001a38: SWAP2 00001a39: POP 00001a3a: POP 00001a3b: PUSH1 0x40 00001a3d: MLOAD 00001a3e: DUP1 00001a3f: SWAP2 00001a40: SUB 00001a41: SWAP1 00001a42: LOG1 00001a43: JUMPDEST 00001a44: JUMPDEST 00001a45: POP 00001a46: JUMP 00001a47: JUMPDEST 00001a48: PUSH1 0x32 00001a4a: DUP2 00001a4b: JUMP 00001a4c: JUMPDEST 00001a4d: PUSH1 0x04 00001a4f: SLOAD 00001a50: DUP2 00001a51: JUMP 00001a52: JUMPDEST 00001a53: PUSH1 0x00 00001a55: ADDRESS 00001a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a6b: AND 00001a6c: CALLER 00001a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a82: AND 00001a83: EQ 00001a84: ISZERO 00001a85: ISZERO 00001a86: PUSH2 0x1a8f 00001a89: JUMPI 00001a8a: PUSH1 0x00 00001a8c: PUSH1 0x00 00001a8e: REVERT 00001a8f: JUMPDEST 00001a90: DUP3 00001a91: PUSH1 0x02 00001a93: PUSH1 0x00 00001a95: DUP3 00001a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aab: AND 00001aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac1: AND 00001ac2: DUP2 00001ac3: MSTORE 00001ac4: PUSH1 0x20 00001ac6: ADD 00001ac7: SWAP1 00001ac8: DUP2 00001ac9: MSTORE 00001aca: PUSH1 0x20 00001acc: ADD 00001acd: PUSH1 0x00 00001acf: KECCAK256 00001ad0: PUSH1 0x00 00001ad2: SWAP1 00001ad3: SLOAD 00001ad4: SWAP1 00001ad5: PUSH2 0x0100 00001ad8: EXP 00001ad9: SWAP1 00001ada: DIV 00001adb: PUSH1 0xff 00001add: AND 00001ade: ISZERO 00001adf: ISZERO 00001ae0: PUSH2 0x1ae9 00001ae3: JUMPI 00001ae4: PUSH1 0x00 00001ae6: PUSH1 0x00 00001ae8: REVERT 00001ae9: JUMPDEST 00001aea: DUP3 00001aeb: PUSH1 0x02 00001aed: PUSH1 0x00 00001aef: DUP3 00001af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b05: AND 00001b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1b: AND 00001b1c: DUP2 00001b1d: MSTORE 00001b1e: PUSH1 0x20 00001b20: ADD 00001b21: SWAP1 00001b22: DUP2 00001b23: MSTORE 00001b24: PUSH1 0x20 00001b26: ADD 00001b27: PUSH1 0x00 00001b29: KECCAK256 00001b2a: PUSH1 0x00 00001b2c: SWAP1 00001b2d: SLOAD 00001b2e: SWAP1 00001b2f: PUSH2 0x0100 00001b32: EXP 00001b33: SWAP1 00001b34: DIV 00001b35: PUSH1 0xff 00001b37: AND 00001b38: ISZERO 00001b39: PUSH2 0x1b42 00001b3c: JUMPI 00001b3d: PUSH1 0x00 00001b3f: PUSH1 0x00 00001b41: REVERT 00001b42: JUMPDEST 00001b43: PUSH1 0x00 00001b45: SWAP3 00001b46: POP 00001b47: JUMPDEST 00001b48: PUSH1 0x03 00001b4a: DUP1 00001b4b: SLOAD 00001b4c: SWAP1 00001b4d: POP 00001b4e: DUP4 00001b4f: LT 00001b50: ISZERO 00001b51: PUSH2 0x1c30 00001b54: JUMPI 00001b55: DUP5 00001b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b6b: AND 00001b6c: PUSH1 0x03 00001b6e: DUP5 00001b6f: DUP2 00001b70: SLOAD 00001b71: DUP2 00001b72: LT 00001b73: ISZERO 00001b74: ISZERO 00001b75: PUSH2 0x1b7a 00001b78: JUMPI 00001b79: INVALID 00001b7a: JUMPDEST 00001b7b: SWAP1 00001b7c: PUSH1 0x00 00001b7e: MSTORE 00001b7f: PUSH1 0x20 00001b81: PUSH1 0x00 00001b83: KECCAK256 00001b84: SWAP1 00001b85: ADD 00001b86: PUSH1 0x00 00001b88: JUMPDEST 00001b89: SWAP1 00001b8a: SLOAD 00001b8b: SWAP1 00001b8c: PUSH2 0x0100 00001b8f: EXP 00001b90: SWAP1 00001b91: DIV 00001b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ba7: AND 00001ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bbd: AND 00001bbe: EQ 00001bbf: ISZERO 00001bc0: PUSH2 0x1c22 00001bc3: JUMPI 00001bc4: DUP4 00001bc5: PUSH1 0x03 00001bc7: DUP5 00001bc8: DUP2 00001bc9: SLOAD 00001bca: DUP2 00001bcb: LT 00001bcc: ISZERO 00001bcd: ISZERO 00001bce: PUSH2 0x1bd3 00001bd1: JUMPI 00001bd2: INVALID 00001bd3: JUMPDEST 00001bd4: SWAP1 00001bd5: PUSH1 0x00 00001bd7: MSTORE 00001bd8: PUSH1 0x20 00001bda: PUSH1 0x00 00001bdc: KECCAK256 00001bdd: SWAP1 00001bde: ADD 00001bdf: PUSH1 0x00 00001be1: JUMPDEST 00001be2: PUSH2 0x0100 00001be5: EXP 00001be6: DUP2 00001be7: SLOAD 00001be8: DUP2 00001be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bfe: MUL 00001bff: NOT 00001c00: AND 00001c01: SWAP1 00001c02: DUP4 00001c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c18: AND 00001c19: MUL 00001c1a: OR 00001c1b: SWAP1 00001c1c: SSTORE 00001c1d: POP 00001c1e: PUSH2 0x1c30 00001c21: JUMP 00001c22: JUMPDEST 00001c23: JUMPDEST 00001c24: DUP3 00001c25: DUP1 00001c26: PUSH1 0x01 00001c28: ADD 00001c29: SWAP4 00001c2a: POP 00001c2b: POP 00001c2c: PUSH2 0x1b47 00001c2f: JUMP 00001c30: JUMPDEST 00001c31: PUSH1 0x00 00001c33: PUSH1 0x02 00001c35: PUSH1 0x00 00001c37: DUP8 00001c38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4d: AND 00001c4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c63: AND 00001c64: DUP2 00001c65: MSTORE 00001c66: PUSH1 0x20 00001c68: ADD 00001c69: SWAP1 00001c6a: DUP2 00001c6b: MSTORE 00001c6c: PUSH1 0x20 00001c6e: ADD 00001c6f: PUSH1 0x00 00001c71: KECCAK256 00001c72: PUSH1 0x00 00001c74: PUSH2 0x0100 00001c77: EXP 00001c78: DUP2 00001c79: SLOAD 00001c7a: DUP2 00001c7b: PUSH1 0xff 00001c7d: MUL 00001c7e: NOT 00001c7f: AND 00001c80: SWAP1 00001c81: DUP4 00001c82: ISZERO 00001c83: ISZERO 00001c84: MUL 00001c85: OR 00001c86: SWAP1 00001c87: SSTORE 00001c88: POP 00001c89: PUSH1 0x01 00001c8b: PUSH1 0x02 00001c8d: PUSH1 0x00 00001c8f: DUP7 00001c90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ca5: AND 00001ca6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cbb: AND 00001cbc: DUP2 00001cbd: MSTORE 00001cbe: PUSH1 0x20 00001cc0: ADD 00001cc1: SWAP1 00001cc2: DUP2 00001cc3: MSTORE 00001cc4: PUSH1 0x20 00001cc6: ADD 00001cc7: PUSH1 0x00 00001cc9: KECCAK256 00001cca: PUSH1 0x00 00001ccc: PUSH2 0x0100 00001ccf: EXP 00001cd0: DUP2 00001cd1: SLOAD 00001cd2: DUP2 00001cd3: PUSH1 0xff 00001cd5: MUL 00001cd6: NOT 00001cd7: AND 00001cd8: SWAP1 00001cd9: DUP4 00001cda: ISZERO 00001cdb: ISZERO 00001cdc: MUL 00001cdd: OR 00001cde: SWAP1 00001cdf: SSTORE 00001ce0: POP 00001ce1: DUP5 00001ce2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cf7: AND 00001cf8: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00001d19: PUSH1 0x40 00001d1b: MLOAD 00001d1c: DUP1 00001d1d: SWAP1 00001d1e: POP 00001d1f: PUSH1 0x40 00001d21: MLOAD 00001d22: DUP1 00001d23: SWAP2 00001d24: SUB 00001d25: SWAP1 00001d26: LOG2 00001d27: DUP4 00001d28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3d: AND 00001d3e: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00001d5f: PUSH1 0x40 00001d61: MLOAD 00001d62: DUP1 00001d63: SWAP1 00001d64: POP 00001d65: PUSH1 0x40 00001d67: MLOAD 00001d68: DUP1 00001d69: SWAP2 00001d6a: SUB 00001d6b: SWAP1 00001d6c: LOG2 00001d6d: JUMPDEST 00001d6e: JUMPDEST 00001d6f: POP 00001d70: JUMPDEST 00001d71: POP 00001d72: JUMPDEST 00001d73: POP 00001d74: POP 00001d75: POP 00001d76: JUMP 00001d77: JUMPDEST 00001d78: PUSH1 0x00 00001d7a: PUSH1 0x00 00001d7c: DUP3 00001d7d: PUSH1 0x00 00001d7f: PUSH1 0x00 00001d81: DUP3 00001d82: DUP2 00001d83: MSTORE 00001d84: PUSH1 0x20 00001d86: ADD 00001d87: SWAP1 00001d88: DUP2 00001d89: MSTORE 00001d8a: PUSH1 0x20 00001d8c: ADD 00001d8d: PUSH1 0x00 00001d8f: KECCAK256 00001d90: PUSH1 0x03 00001d92: ADD 00001d93: PUSH1 0x00 00001d95: SWAP1 00001d96: SLOAD 00001d97: SWAP1 00001d98: PUSH2 0x0100 00001d9b: EXP 00001d9c: SWAP1 00001d9d: DIV 00001d9e: PUSH1 0xff 00001da0: AND 00001da1: ISZERO 00001da2: PUSH2 0x1dab 00001da5: JUMPI 00001da6: PUSH1 0x00 00001da8: PUSH1 0x00 00001daa: REVERT 00001dab: JUMPDEST 00001dac: PUSH1 0x00 00001dae: PUSH1 0x00 00001db0: DUP6 00001db1: DUP2 00001db2: MSTORE 00001db3: PUSH1 0x20 00001db5: ADD 00001db6: SWAP1 00001db7: DUP2 00001db8: MSTORE 00001db9: PUSH1 0x20 00001dbb: ADD 00001dbc: PUSH1 0x00 00001dbe: KECCAK256 00001dbf: SWAP3 00001dc0: POP 00001dc1: PUSH2 0x1dc9 00001dc4: DUP5 00001dc5: PUSH2 0x10c6 00001dc8: JUMP 00001dc9: JUMPDEST 00001dca: SWAP2 00001dcb: POP 00001dcc: DUP2 00001dcd: DUP1 00001dce: PUSH2 0x1e04 00001dd1: JUMPI 00001dd2: POP 00001dd3: PUSH1 0x00 00001dd5: DUP4 00001dd6: PUSH1 0x02 00001dd8: ADD 00001dd9: DUP1 00001dda: SLOAD 00001ddb: PUSH1 0x01 00001ddd: DUP2 00001dde: PUSH1 0x01 00001de0: AND 00001de1: ISZERO 00001de2: PUSH2 0x0100 00001de5: MUL 00001de6: SUB 00001de7: AND 00001de8: PUSH1 0x02 00001dea: SWAP1 00001deb: DIV 00001dec: SWAP1 00001ded: POP 00001dee: EQ 00001def: DUP1 00001df0: ISZERO 00001df1: PUSH2 0x1e03 00001df4: JUMPI 00001df5: POP 00001df6: PUSH2 0x1e02 00001df9: DUP4 00001dfa: PUSH1 0x01 00001dfc: ADD 00001dfd: SLOAD 00001dfe: PUSH2 0x210f 00001e01: JUMP 00001e02: JUMPDEST 00001e03: JUMPDEST 00001e04: JUMPDEST 00001e05: ISZERO 00001e06: PUSH2 0x1faa 00001e09: JUMPI 00001e0a: PUSH1 0x01 00001e0c: DUP4 00001e0d: PUSH1 0x03 00001e0f: ADD 00001e10: PUSH1 0x00 00001e12: PUSH2 0x0100 00001e15: EXP 00001e16: DUP2 00001e17: SLOAD 00001e18: DUP2 00001e19: PUSH1 0xff 00001e1b: MUL 00001e1c: NOT 00001e1d: AND 00001e1e: SWAP1 00001e1f: DUP4 00001e20: ISZERO 00001e21: ISZERO 00001e22: MUL 00001e23: OR 00001e24: SWAP1 00001e25: SSTORE 00001e26: POP 00001e27: DUP2 00001e28: ISZERO 00001e29: ISZERO 00001e2a: PUSH2 0x1e42 00001e2d: JUMPI 00001e2e: DUP3 00001e2f: PUSH1 0x01 00001e31: ADD 00001e32: SLOAD 00001e33: PUSH1 0x08 00001e35: PUSH1 0x00 00001e37: DUP3 00001e38: DUP3 00001e39: SLOAD 00001e3a: ADD 00001e3b: SWAP3 00001e3c: POP 00001e3d: POP 00001e3e: DUP2 00001e3f: SWAP1 00001e40: SSTORE 00001e41: POP 00001e42: JUMPDEST 00001e43: DUP3 00001e44: PUSH1 0x00 00001e46: ADD 00001e47: PUSH1 0x00 00001e49: SWAP1 00001e4a: SLOAD 00001e4b: SWAP1 00001e4c: PUSH2 0x0100 00001e4f: EXP 00001e50: SWAP1 00001e51: DIV 00001e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e67: AND 00001e68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e7d: AND 00001e7e: DUP4 00001e7f: PUSH1 0x01 00001e81: ADD 00001e82: SLOAD 00001e83: DUP5 00001e84: PUSH1 0x02 00001e86: ADD 00001e87: PUSH1 0x40 00001e89: MLOAD 00001e8a: DUP1 00001e8b: DUP3 00001e8c: DUP1 00001e8d: SLOAD 00001e8e: PUSH1 0x01 00001e90: DUP2 00001e91: PUSH1 0x01 00001e93: AND 00001e94: ISZERO 00001e95: PUSH2 0x0100 00001e98: MUL 00001e99: SUB 00001e9a: AND 00001e9b: PUSH1 0x02 00001e9d: SWAP1 00001e9e: DIV 00001e9f: DUP1 00001ea0: ISZERO 00001ea1: PUSH2 0x1eeb 00001ea4: JUMPI 00001ea5: DUP1 00001ea6: PUSH1 0x1f 00001ea8: LT 00001ea9: PUSH2 0x1ec0 00001eac: JUMPI 00001ead: PUSH2 0x0100 00001eb0: DUP1 00001eb1: DUP4 00001eb2: SLOAD 00001eb3: DIV 00001eb4: MUL 00001eb5: DUP4 00001eb6: MSTORE 00001eb7: SWAP2 00001eb8: PUSH1 0x20 00001eba: ADD 00001ebb: SWAP2 00001ebc: PUSH2 0x1eeb 00001ebf: JUMP 00001ec0: JUMPDEST 00001ec1: DUP3 00001ec2: ADD 00001ec3: SWAP2 00001ec4: SWAP1 00001ec5: PUSH1 0x00 00001ec7: MSTORE 00001ec8: PUSH1 0x20 00001eca: PUSH1 0x00 00001ecc: KECCAK256 00001ecd: SWAP1 00001ece: JUMPDEST 00001ecf: DUP2 00001ed0: SLOAD 00001ed1: DUP2 00001ed2: MSTORE 00001ed3: SWAP1 00001ed4: PUSH1 0x01 00001ed6: ADD 00001ed7: SWAP1 00001ed8: PUSH1 0x20 00001eda: ADD 00001edb: DUP1 00001edc: DUP4 00001edd: GT 00001ede: PUSH2 0x1ece 00001ee1: JUMPI 00001ee2: DUP3 00001ee3: SWAP1 00001ee4: SUB 00001ee5: PUSH1 0x1f 00001ee7: AND 00001ee8: DUP3 00001ee9: ADD 00001eea: SWAP2 00001eeb: JUMPDEST 00001eec: POP 00001eed: POP 00001eee: SWAP2 00001eef: POP 00001ef0: POP 00001ef1: PUSH1 0x00 00001ef3: PUSH1 0x40 00001ef5: MLOAD 00001ef6: DUP1 00001ef7: DUP4 00001ef8: SUB 00001ef9: DUP2 00001efa: DUP6 00001efb: DUP8 00001efc: PUSH2 0x8796 00001eff: GAS 00001f00: SUB 00001f01: CALL 00001f02: SWAP3 00001f03: POP 00001f04: POP 00001f05: POP 00001f06: ISZERO 00001f07: PUSH2 0x1f3f 00001f0a: JUMPI 00001f0b: DUP4 00001f0c: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 00001f2d: PUSH1 0x40 00001f2f: MLOAD 00001f30: DUP1 00001f31: SWAP1 00001f32: POP 00001f33: PUSH1 0x40 00001f35: MLOAD 00001f36: DUP1 00001f37: SWAP2 00001f38: SUB 00001f39: SWAP1 00001f3a: LOG2 00001f3b: PUSH2 0x1fa9 00001f3e: JUMP 00001f3f: JUMPDEST 00001f40: DUP4 00001f41: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 00001f62: PUSH1 0x40 00001f64: MLOAD 00001f65: DUP1 00001f66: SWAP1 00001f67: POP 00001f68: PUSH1 0x40 00001f6a: MLOAD 00001f6b: DUP1 00001f6c: SWAP2 00001f6d: SUB 00001f6e: SWAP1 00001f6f: LOG2 00001f70: PUSH1 0x00 00001f72: DUP4 00001f73: PUSH1 0x03 00001f75: ADD 00001f76: PUSH1 0x00 00001f78: PUSH2 0x0100 00001f7b: EXP 00001f7c: DUP2 00001f7d: SLOAD 00001f7e: DUP2 00001f7f: PUSH1 0xff 00001f81: MUL 00001f82: NOT 00001f83: AND 00001f84: SWAP1 00001f85: DUP4 00001f86: ISZERO 00001f87: ISZERO 00001f88: MUL 00001f89: OR 00001f8a: SWAP1 00001f8b: SSTORE 00001f8c: POP 00001f8d: DUP2 00001f8e: ISZERO 00001f8f: ISZERO 00001f90: PUSH2 0x1fa8 00001f93: JUMPI 00001f94: DUP3 00001f95: PUSH1 0x01 00001f97: ADD 00001f98: SLOAD 00001f99: PUSH1 0x08 00001f9b: PUSH1 0x00 00001f9d: DUP3 00001f9e: DUP3 00001f9f: SLOAD 00001fa0: SUB 00001fa1: SWAP3 00001fa2: POP 00001fa3: POP 00001fa4: DUP2 00001fa5: SWAP1 00001fa6: SSTORE 00001fa7: POP 00001fa8: JUMPDEST 00001fa9: JUMPDEST 00001faa: JUMPDEST 00001fab: JUMPDEST 00001fac: JUMPDEST 00001fad: POP 00001fae: POP 00001faf: POP 00001fb0: POP 00001fb1: JUMP 00001fb2: JUMPDEST 00001fb3: PUSH1 0x08 00001fb5: SLOAD 00001fb6: DUP2 00001fb7: JUMP 00001fb8: JUMPDEST 00001fb9: PUSH1 0x00 00001fbb: DUP4 00001fbc: PUSH1 0x00 00001fbe: DUP2 00001fbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd4: AND 00001fd5: EQ 00001fd6: ISZERO 00001fd7: PUSH2 0x1fe0 00001fda: JUMPI 00001fdb: PUSH1 0x00 00001fdd: PUSH1 0x00 00001fdf: REVERT 00001fe0: JUMPDEST 00001fe1: PUSH1 0x05 00001fe3: SLOAD 00001fe4: SWAP2 00001fe5: POP 00001fe6: PUSH1 0x80 00001fe8: PUSH1 0x40 00001fea: MLOAD 00001feb: SWAP1 00001fec: DUP2 00001fed: ADD 00001fee: PUSH1 0x40 00001ff0: MSTORE 00001ff1: DUP1 00001ff2: DUP7 00001ff3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002008: AND 00002009: DUP2 0000200a: MSTORE 0000200b: PUSH1 0x20 0000200d: ADD 0000200e: DUP6 0000200f: DUP2 00002010: MSTORE 00002011: PUSH1 0x20 00002013: ADD 00002014: DUP5 00002015: DUP2 00002016: MSTORE 00002017: PUSH1 0x20 00002019: ADD 0000201a: PUSH1 0x00 0000201c: ISZERO 0000201d: ISZERO 0000201e: DUP2 0000201f: MSTORE 00002020: POP 00002021: PUSH1 0x00 00002023: PUSH1 0x00 00002025: DUP5 00002026: DUP2 00002027: MSTORE 00002028: PUSH1 0x20 0000202a: ADD 0000202b: SWAP1 0000202c: DUP2 0000202d: MSTORE 0000202e: PUSH1 0x20 00002030: ADD 00002031: PUSH1 0x00 00002033: KECCAK256 00002034: PUSH1 0x00 00002036: DUP3 00002037: ADD 00002038: MLOAD 00002039: DUP2 0000203a: PUSH1 0x00 0000203c: ADD 0000203d: PUSH1 0x00 0000203f: PUSH2 0x0100 00002042: EXP 00002043: DUP2 00002044: SLOAD 00002045: DUP2 00002046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000205b: MUL 0000205c: NOT 0000205d: AND 0000205e: SWAP1 0000205f: DUP4 00002060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002075: AND 00002076: MUL 00002077: OR 00002078: SWAP1 00002079: SSTORE 0000207a: POP 0000207b: PUSH1 0x20 0000207d: DUP3 0000207e: ADD 0000207f: MLOAD 00002080: DUP2 00002081: PUSH1 0x01 00002083: ADD 00002084: SSTORE 00002085: PUSH1 0x40 00002087: DUP3 00002088: ADD 00002089: MLOAD 0000208a: DUP2 0000208b: PUSH1 0x02 0000208d: ADD 0000208e: SWAP1 0000208f: DUP1 00002090: MLOAD 00002091: SWAP1 00002092: PUSH1 0x20 00002094: ADD 00002095: SWAP1 00002096: PUSH2 0x20a0 00002099: SWAP3 0000209a: SWAP2 0000209b: SWAP1 0000209c: PUSH2 0x21e1 0000209f: JUMP 000020a0: JUMPDEST 000020a1: POP 000020a2: PUSH1 0x60 000020a4: DUP3 000020a5: ADD 000020a6: MLOAD 000020a7: DUP2 000020a8: PUSH1 0x03 000020aa: ADD 000020ab: PUSH1 0x00 000020ad: PUSH2 0x0100 000020b0: EXP 000020b1: DUP2 000020b2: SLOAD 000020b3: DUP2 000020b4: PUSH1 0xff 000020b6: MUL 000020b7: NOT 000020b8: AND 000020b9: SWAP1 000020ba: DUP4 000020bb: ISZERO 000020bc: ISZERO 000020bd: MUL 000020be: OR 000020bf: SWAP1 000020c0: SSTORE 000020c1: POP 000020c2: SWAP1 000020c3: POP 000020c4: POP 000020c5: PUSH1 0x01 000020c7: PUSH1 0x05 000020c9: PUSH1 0x00 000020cb: DUP3 000020cc: DUP3 000020cd: SLOAD 000020ce: ADD 000020cf: SWAP3 000020d0: POP 000020d1: POP 000020d2: DUP2 000020d3: SWAP1 000020d4: SSTORE 000020d5: POP 000020d6: DUP2 000020d7: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 000020f8: PUSH1 0x40 000020fa: MLOAD 000020fb: DUP1 000020fc: SWAP1 000020fd: POP 000020fe: PUSH1 0x40 00002100: MLOAD 00002101: DUP1 00002102: SWAP2 00002103: SUB 00002104: SWAP1 00002105: LOG2 00002106: JUMPDEST 00002107: JUMPDEST 00002108: POP 00002109: SWAP4 0000210a: SWAP3 0000210b: POP 0000210c: POP 0000210d: POP 0000210e: JUMP 0000210f: JUMPDEST 00002110: PUSH1 0x00 00002112: PUSH3 0x015180 00002116: PUSH1 0x07 00002118: SLOAD 00002119: ADD 0000211a: TIMESTAMP 0000211b: GT 0000211c: ISZERO 0000211d: PUSH2 0x2130 00002120: JUMPI 00002121: TIMESTAMP 00002122: PUSH1 0x07 00002124: DUP2 00002125: SWAP1 00002126: SSTORE 00002127: POP 00002128: PUSH1 0x00 0000212a: PUSH1 0x08 0000212c: DUP2 0000212d: SWAP1 0000212e: SSTORE 0000212f: POP 00002130: JUMPDEST 00002131: PUSH1 0x06 00002133: SLOAD 00002134: DUP3 00002135: PUSH1 0x08 00002137: SLOAD 00002138: ADD 00002139: GT 0000213a: DUP1 0000213b: PUSH2 0x2149 0000213e: JUMPI 0000213f: POP 00002140: PUSH1 0x08 00002142: SLOAD 00002143: DUP3 00002144: PUSH1 0x08 00002146: SLOAD 00002147: ADD 00002148: LT 00002149: JUMPDEST 0000214a: ISZERO 0000214b: PUSH2 0x2157 0000214e: JUMPI 0000214f: PUSH1 0x00 00002151: SWAP1 00002152: POP 00002153: PUSH2 0x215c 00002156: JUMP 00002157: JUMPDEST 00002158: PUSH1 0x01 0000215a: SWAP1 0000215b: POP 0000215c: JUMPDEST 0000215d: SWAP2 0000215e: SWAP1 0000215f: POP 00002160: JUMP 00002161: JUMPDEST 00002162: DUP2 00002163: SLOAD 00002164: DUP2 00002165: DUP4 00002166: SSTORE 00002167: DUP2 00002168: DUP2 00002169: ISZERO 0000216a: GT 0000216b: PUSH2 0x2188 0000216e: JUMPI 0000216f: DUP2 00002170: DUP4 00002171: PUSH1 0x00 00002173: MSTORE 00002174: PUSH1 0x20 00002176: PUSH1 0x00 00002178: KECCAK256 00002179: SWAP2 0000217a: DUP3 0000217b: ADD 0000217c: SWAP2 0000217d: ADD 0000217e: PUSH2 0x2187 00002181: SWAP2 00002182: SWAP1 00002183: PUSH2 0x2261 00002186: JUMP 00002187: JUMPDEST 00002188: JUMPDEST 00002189: POP 0000218a: POP 0000218b: POP 0000218c: JUMP 0000218d: JUMPDEST 0000218e: DUP2 0000218f: SLOAD 00002190: DUP2 00002191: DUP4 00002192: SSTORE 00002193: DUP2 00002194: DUP2 00002195: ISZERO 00002196: GT 00002197: PUSH2 0x21b4 0000219a: JUMPI 0000219b: DUP2 0000219c: DUP4 0000219d: PUSH1 0x00 0000219f: MSTORE 000021a0: PUSH1 0x20 000021a2: PUSH1 0x00 000021a4: KECCAK256 000021a5: SWAP2 000021a6: DUP3 000021a7: ADD 000021a8: SWAP2 000021a9: ADD 000021aa: PUSH2 0x21b3 000021ad: SWAP2 000021ae: SWAP1 000021af: PUSH2 0x2261 000021b2: JUMP 000021b3: JUMPDEST 000021b4: JUMPDEST 000021b5: POP 000021b6: POP 000021b7: POP 000021b8: JUMP 000021b9: JUMPDEST 000021ba: PUSH1 0x20 000021bc: PUSH1 0x40 000021be: MLOAD 000021bf: SWAP1 000021c0: DUP2 000021c1: ADD 000021c2: PUSH1 0x40 000021c4: MSTORE 000021c5: DUP1 000021c6: PUSH1 0x00 000021c8: DUP2 000021c9: MSTORE 000021ca: POP 000021cb: SWAP1 000021cc: JUMP 000021cd: JUMPDEST 000021ce: PUSH1 0x20 000021d0: PUSH1 0x40 000021d2: MLOAD 000021d3: SWAP1 000021d4: DUP2 000021d5: ADD 000021d6: PUSH1 0x40 000021d8: MSTORE 000021d9: DUP1 000021da: PUSH1 0x00 000021dc: DUP2 000021dd: MSTORE 000021de: POP 000021df: SWAP1 000021e0: JUMP 000021e1: JUMPDEST 000021e2: DUP3 000021e3: DUP1 000021e4: SLOAD 000021e5: PUSH1 0x01 000021e7: DUP2 000021e8: PUSH1 0x01 000021ea: AND 000021eb: ISZERO 000021ec: PUSH2 0x0100 000021ef: MUL 000021f0: SUB 000021f1: AND 000021f2: PUSH1 0x02 000021f4: SWAP1 000021f5: DIV 000021f6: SWAP1 000021f7: PUSH1 0x00 000021f9: MSTORE 000021fa: PUSH1 0x20 000021fc: PUSH1 0x00 000021fe: KECCAK256 000021ff: SWAP1 00002200: PUSH1 0x1f 00002202: ADD 00002203: PUSH1 0x20 00002205: SWAP1 00002206: DIV 00002207: DUP2 00002208: ADD 00002209: SWAP3 0000220a: DUP3 0000220b: PUSH1 0x1f 0000220d: LT 0000220e: PUSH2 0x2222 00002211: JUMPI 00002212: DUP1 00002213: MLOAD 00002214: PUSH1 0xff 00002216: NOT 00002217: AND 00002218: DUP4 00002219: DUP1 0000221a: ADD 0000221b: OR 0000221c: DUP6 0000221d: SSTORE 0000221e: PUSH2 0x2250 00002221: JUMP 00002222: JUMPDEST 00002223: DUP3 00002224: DUP1 00002225: ADD 00002226: PUSH1 0x01 00002228: ADD 00002229: DUP6 0000222a: SSTORE 0000222b: DUP3 0000222c: ISZERO 0000222d: PUSH2 0x2250 00002230: JUMPI 00002231: SWAP2 00002232: DUP3 00002233: ADD 00002234: JUMPDEST 00002235: DUP3 00002236: DUP2 00002237: GT 00002238: ISZERO 00002239: PUSH2 0x224f 0000223c: JUMPI 0000223d: DUP3 0000223e: MLOAD 0000223f: DUP3 00002240: SSTORE 00002241: SWAP2 00002242: PUSH1 0x20 00002244: ADD 00002245: SWAP2 00002246: SWAP1 00002247: PUSH1 0x01 00002249: ADD 0000224a: SWAP1 0000224b: PUSH2 0x2234 0000224e: JUMP 0000224f: JUMPDEST 00002250: JUMPDEST 00002251: POP 00002252: SWAP1 00002253: POP 00002254: PUSH2 0x225d 00002257: SWAP2 00002258: SWAP1 00002259: PUSH2 0x2261 0000225c: JUMP 0000225d: JUMPDEST 0000225e: POP 0000225f: SWAP1 00002260: JUMP 00002261: JUMPDEST 00002262: PUSH2 0x2283 00002265: SWAP2 00002266: SWAP1 00002267: JUMPDEST 00002268: DUP1 00002269: DUP3 0000226a: GT 0000226b: ISZERO 0000226c: PUSH2 0x227f 0000226f: JUMPI 00002270: PUSH1 0x00 00002272: DUP2 00002273: PUSH1 0x00 00002275: SWAP1 00002276: SSTORE 00002277: POP 00002278: PUSH1 0x01 0000227a: ADD 0000227b: PUSH2 0x2267 0000227e: JUMP 0000227f: JUMPDEST 00002280: POP 00002281: SWAP1 00002282: JUMP 00002283: JUMPDEST 00002284: SWAP1 00002285: JUMP 00002286: STOP 00002287: LOG1 00002288: PUSH6 0x627a7a723058 0000228f: KECCAK256 00002290: SLT 00002291: BASEFEE 00002292: PUSH19 0xbac8d05e517c2a0aa18d513680959dc02373a8 000022a6: UNKNOWN(0xAA) 000022a7: ORIGIN 000022a8: UNKNOWN(0xD4) 000022a9: EXTCODEHASH 000022aa: UNKNOWN(0xA7) 000022ab: JUMPDEST 000022ac: EXTCODEHASH 000022ad: PUSH12
| 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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bc9fdc2",
"selector": "0x4bc9fdc2",
"calldata_variants": [
"0x4bc9fdc2",
"0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2389,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3803,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5925,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6625,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6764,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8871,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xb80248d9a910abc90db597a198a4ac51a7c31fdd2634e537e9a2c41cd6e9743e
call_targets:
0xff0d2c340713462fa84899482c1504c17a40283c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb80248d9a910abc90db597a198a4ac51a7c31fdd2634e537e9a2c41cd6e9743e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xff0d2c340713462fa84899482c1504c17a40283c"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bc9fdc2",
"selector": "0x4bc9fdc2",
"calldata_variants": [
"0x4bc9fdc2",
"0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7937,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 2389,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3803,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5925,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6625,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6764,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8871,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xb80248d9a910abc90db597a198a4ac51a7c31fdd2634e537e9a2c41cd6e9743e
call_targets:
0xff0d2c340713462fa84899482c1504c17a40283c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb80248d9a910abc90db597a198a4ac51a7c31fdd2634e537e9a2c41cd6e9743e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xff0d2c340713462fa84899482c1504c17a40283c"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bc9fdc2",
"selector": "0x4bc9fdc2",
"calldata_variants": [
"0x4bc9fdc2",
"0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7937,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2389,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3803,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5925,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6625,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6764,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8871,
"type": "tx_origin_used"
}
]
}
|