019b3844-a172-7035-bdc7-50d8c01a1e3f
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 |
|---|---|---|---|---|
| 15455 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 15456 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 58977 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 58978 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 58979 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 58980 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x019b 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7b0a47ee 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc8f33c91 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdf136d65 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdf136d65 0000003a: EQ 0000003b: PUSH2 0x05a7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe59a58ee 00000045: EQ 00000046: PUSH2 0x05d2 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xef5cfb8c 00000050: EQ 00000051: PUSH2 0x05dc 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0605 0000005f: JUMPI 00000060: PUSH2 0x019b 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc8f33c91 0000006b: EQ 0000006c: PUSH2 0x0528 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xcc1a378f 00000076: EQ 00000077: PUSH2 0x0553 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xcd3daf9d 00000081: EQ 00000082: PUSH2 0x057c 00000085: JUMPI 00000086: PUSH2 0x019b 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x8b876347 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x8b876347 0000009c: EQ 0000009d: PUSH2 0x0458 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x8da5cb5b 000000a7: EQ 000000a8: PUSH2 0x0495 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x9851993a 000000b2: EQ 000000b3: PUSH2 0x04c0 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xacc3a939 000000bd: EQ 000000be: PUSH2 0x04eb 000000c1: JUMPI 000000c2: PUSH2 0x019b 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x7b0a47ee 000000cd: EQ 000000ce: PUSH2 0x03d7 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x80faa57d 000000d8: EQ 000000d9: PUSH2 0x0402 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x817b1cd2 000000e3: EQ 000000e4: PUSH2 0x042d 000000e7: JUMPI 000000e8: PUSH2 0x019b 000000eb: JUMP 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x3a707339 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x606d8093 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x606d8093 00000109: EQ 0000010a: PUSH2 0x0341 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x715018a6 00000114: EQ 00000115: PUSH2 0x036a 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x71e786ac 0000011f: EQ 00000120: PUSH2 0x0381 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x72f702f3 0000012a: EQ 0000012b: PUSH2 0x03ac 0000012e: JUMPI 0000012f: PUSH2 0x019b 00000132: JUMP 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x3a707339 0000013a: EQ 0000013b: PUSH2 0x02c4 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x45e1980a 00000145: EQ 00000146: PUSH2 0x02ed 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x5d7e9467 00000150: EQ 00000151: PUSH2 0x0318 00000154: JUMPI 00000155: PUSH2 0x019b 00000158: JUMP 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH3 0x8cc262 0000015f: EQ 00000160: PUSH2 0x01a0 00000163: JUMPI 00000164: DUP1 00000165: PUSH4 0x0700037d 0000016a: EQ 0000016b: PUSH2 0x01dd 0000016e: JUMPI 0000016f: DUP1 00000170: PUSH4 0x1a73ba01 00000175: EQ 00000176: PUSH2 0x021a 00000179: JUMPI 0000017a: DUP1 0000017b: PUSH4 0x1c1f78eb 00000180: EQ 00000181: PUSH2 0x0243 00000184: JUMPI 00000185: DUP1 00000186: PUSH4 0x2115e5dd 0000018b: EQ 0000018c: PUSH2 0x026e 0000018f: JUMPI 00000190: DUP1 00000191: PUSH4 0x386a9525 00000196: EQ 00000197: PUSH2 0x0299 0000019a: JUMPI 0000019b: JUMPDEST 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x01c7 000001b1: PUSH1 0x04 000001b3: DUP1 000001b4: CALLDATASIZE 000001b5: SUB 000001b6: DUP2 000001b7: ADD 000001b8: SWAP1 000001b9: PUSH2 0x01c2 000001bc: SWAP2 000001bd: SWAP1 000001be: PUSH2 0x1780 000001c1: JUMP 000001c2: JUMPDEST 000001c3: PUSH2 0x062e 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH1 0x40 000001ca: MLOAD 000001cb: PUSH2 0x01d4 000001ce: SWAP2 000001cf: SWAP1 000001d0: PUSH2 0x17c6 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH1 0x40 000001d7: MLOAD 000001d8: DUP1 000001d9: SWAP2 000001da: SUB 000001db: SWAP1 000001dc: RETURN 000001dd: JUMPDEST 000001de: CALLVALUE 000001df: DUP1 000001e0: ISZERO 000001e1: PUSH2 0x01e9 000001e4: JUMPI 000001e5: PUSH1 0x00 000001e7: DUP1 000001e8: REVERT 000001e9: JUMPDEST 000001ea: POP 000001eb: PUSH2 0x0204 000001ee: PUSH1 0x04 000001f0: DUP1 000001f1: CALLDATASIZE 000001f2: SUB 000001f3: DUP2 000001f4: ADD 000001f5: SWAP1 000001f6: PUSH2 0x01ff 000001f9: SWAP2 000001fa: SWAP1 000001fb: PUSH2 0x1780 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH2 0x06f9 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH1 0x40 00000207: MLOAD 00000208: PUSH2 0x0211 0000020b: SWAP2 0000020c: SWAP1 0000020d: PUSH2 0x17c6 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH1 0x40 00000214: MLOAD 00000215: DUP1 00000216: SWAP2 00000217: SUB 00000218: SWAP1 00000219: RETURN 0000021a: JUMPDEST 0000021b: CALLVALUE 0000021c: DUP1 0000021d: ISZERO 0000021e: PUSH2 0x0226 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: POP 00000228: PUSH2 0x0241 0000022b: PUSH1 0x04 0000022d: DUP1 0000022e: CALLDATASIZE 0000022f: SUB 00000230: DUP2 00000231: ADD 00000232: SWAP1 00000233: PUSH2 0x023c 00000236: SWAP2 00000237: SWAP1 00000238: PUSH2 0x180d 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH2 0x0711 00000240: JUMP 00000241: JUMPDEST 00000242: STOP 00000243: JUMPDEST 00000244: CALLVALUE 00000245: DUP1 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: POP 00000251: PUSH2 0x0258 00000254: PUSH2 0x0888 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x40 0000025b: MLOAD 0000025c: PUSH2 0x0265 0000025f: SWAP2 00000260: SWAP1 00000261: PUSH2 0x17c6 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH1 0x40 00000268: MLOAD 00000269: DUP1 0000026a: SWAP2 0000026b: SUB 0000026c: SWAP1 0000026d: RETURN 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: DUP1 00000271: ISZERO 00000272: PUSH2 0x027a 00000275: JUMPI 00000276: PUSH1 0x00 00000278: DUP1 00000279: REVERT 0000027a: JUMPDEST 0000027b: POP 0000027c: PUSH2 0x0283 0000027f: PUSH2 0x089f 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH1 0x40 00000286: MLOAD 00000287: PUSH2 0x0290 0000028a: SWAP2 0000028b: SWAP1 0000028c: PUSH2 0x17c6 0000028f: JUMP 00000290: JUMPDEST 00000291: PUSH1 0x40 00000293: MLOAD 00000294: DUP1 00000295: SWAP2 00000296: SUB 00000297: SWAP1 00000298: RETURN 00000299: JUMPDEST 0000029a: CALLVALUE 0000029b: DUP1 0000029c: ISZERO 0000029d: PUSH2 0x02a5 000002a0: JUMPI 000002a1: PUSH1 0x00 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH2 0x02ae 000002aa: PUSH2 0x08a5 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH1 0x40 000002b1: MLOAD 000002b2: PUSH2 0x02bb 000002b5: SWAP2 000002b6: SWAP1 000002b7: PUSH2 0x17c6 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: DUP1 000002c0: SWAP2 000002c1: SUB 000002c2: SWAP1 000002c3: RETURN 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: DUP1 000002c7: ISZERO 000002c8: PUSH2 0x02d0 000002cb: JUMPI 000002cc: PUSH1 0x00 000002ce: DUP1 000002cf: REVERT 000002d0: JUMPDEST 000002d1: POP 000002d2: PUSH2 0x02eb 000002d5: PUSH1 0x04 000002d7: DUP1 000002d8: CALLDATASIZE 000002d9: SUB 000002da: DUP2 000002db: ADD 000002dc: SWAP1 000002dd: PUSH2 0x02e6 000002e0: SWAP2 000002e1: SWAP1 000002e2: PUSH2 0x184d 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH2 0x08ab 000002ea: JUMP 000002eb: JUMPDEST 000002ec: STOP 000002ed: JUMPDEST 000002ee: CALLVALUE 000002ef: DUP1 000002f0: ISZERO 000002f1: PUSH2 0x02f9 000002f4: JUMPI 000002f5: PUSH1 0x00 000002f7: DUP1 000002f8: REVERT 000002f9: JUMPDEST 000002fa: POP 000002fb: PUSH2 0x0302 000002fe: PUSH2 0x0931 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH1 0x40 00000305: MLOAD 00000306: PUSH2 0x030f 00000309: SWAP2 0000030a: SWAP1 0000030b: PUSH2 0x18d9 0000030e: JUMP 0000030f: JUMPDEST 00000310: PUSH1 0x40 00000312: MLOAD 00000313: DUP1 00000314: SWAP2 00000315: SUB 00000316: SWAP1 00000317: RETURN 00000318: JUMPDEST 00000319: CALLVALUE 0000031a: DUP1 0000031b: ISZERO 0000031c: PUSH2 0x0324 0000031f: JUMPI 00000320: PUSH1 0x00 00000322: DUP1 00000323: REVERT 00000324: JUMPDEST 00000325: POP 00000326: PUSH2 0x033f 00000329: PUSH1 0x04 0000032b: DUP1 0000032c: CALLDATASIZE 0000032d: SUB 0000032e: DUP2 0000032f: ADD 00000330: SWAP1 00000331: PUSH2 0x033a 00000334: SWAP2 00000335: SWAP1 00000336: PUSH2 0x180d 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH2 0x0955 0000033e: JUMP 0000033f: JUMPDEST 00000340: STOP 00000341: JUMPDEST 00000342: CALLVALUE 00000343: DUP1 00000344: ISZERO 00000345: PUSH2 0x034d 00000348: JUMPI 00000349: PUSH1 0x00 0000034b: DUP1 0000034c: REVERT 0000034d: JUMPDEST 0000034e: POP 0000034f: PUSH2 0x0368 00000352: PUSH1 0x04 00000354: DUP1 00000355: CALLDATASIZE 00000356: SUB 00000357: DUP2 00000358: ADD 00000359: SWAP1 0000035a: PUSH2 0x0363 0000035d: SWAP2 0000035e: SWAP1 0000035f: PUSH2 0x1780 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH2 0x0acc 00000367: JUMP 00000368: JUMPDEST 00000369: STOP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x037f 0000037b: PUSH2 0x0b8c 0000037e: JUMP 0000037f: JUMPDEST 00000380: STOP 00000381: JUMPDEST 00000382: CALLVALUE 00000383: DUP1 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: POP 0000038f: PUSH2 0x0396 00000392: PUSH2 0x0c14 00000395: JUMP 00000396: JUMPDEST 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: PUSH2 0x03a3 0000039d: SWAP2 0000039e: SWAP1 0000039f: PUSH2 0x1903 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x40 000003a6: MLOAD 000003a7: DUP1 000003a8: SWAP2 000003a9: SUB 000003aa: SWAP1 000003ab: RETURN 000003ac: JUMPDEST 000003ad: CALLVALUE 000003ae: DUP1 000003af: ISZERO 000003b0: PUSH2 0x03b8 000003b3: JUMPI 000003b4: PUSH1 0x00 000003b6: DUP1 000003b7: REVERT 000003b8: JUMPDEST 000003b9: POP 000003ba: PUSH2 0x03c1 000003bd: PUSH2 0x0c3a 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH1 0x40 000003c4: MLOAD 000003c5: PUSH2 0x03ce 000003c8: SWAP2 000003c9: SWAP1 000003ca: PUSH2 0x1951 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH1 0x40 000003d1: MLOAD 000003d2: DUP1 000003d3: SWAP2 000003d4: SUB 000003d5: SWAP1 000003d6: RETURN 000003d7: JUMPDEST 000003d8: CALLVALUE 000003d9: DUP1 000003da: ISZERO 000003db: PUSH2 0x03e3 000003de: JUMPI 000003df: PUSH1 0x00 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: POP 000003e5: PUSH2 0x03ec 000003e8: PUSH2 0x0c5e 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH1 0x40 000003ef: MLOAD 000003f0: PUSH2 0x03f9 000003f3: SWAP2 000003f4: SWAP1 000003f5: PUSH2 0x17c6 000003f8: JUMP 000003f9: JUMPDEST 000003fa: PUSH1 0x40 000003fc: MLOAD 000003fd: DUP1 000003fe: SWAP2 000003ff: SUB 00000400: SWAP1 00000401: RETURN 00000402: JUMPDEST 00000403: CALLVALUE 00000404: DUP1 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: PUSH2 0x0417 00000413: PUSH2 0x0c64 00000416: JUMP 00000417: JUMPDEST 00000418: PUSH1 0x40 0000041a: MLOAD 0000041b: PUSH2 0x0424 0000041e: SWAP2 0000041f: SWAP1 00000420: PUSH2 0x17c6 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH1 0x40 00000427: MLOAD 00000428: DUP1 00000429: SWAP2 0000042a: SUB 0000042b: SWAP1 0000042c: RETURN 0000042d: JUMPDEST 0000042e: CALLVALUE 0000042f: DUP1 00000430: ISZERO 00000431: PUSH2 0x0439 00000434: JUMPI 00000435: PUSH1 0x00 00000437: DUP1 00000438: REVERT 00000439: JUMPDEST 0000043a: POP 0000043b: PUSH2 0x0442 0000043e: PUSH2 0x0c7e 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH1 0x40 00000445: MLOAD 00000446: PUSH2 0x044f 00000449: SWAP2 0000044a: SWAP1 0000044b: PUSH2 0x17c6 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH1 0x40 00000452: MLOAD 00000453: DUP1 00000454: SWAP2 00000455: SUB 00000456: SWAP1 00000457: RETURN 00000458: JUMPDEST 00000459: CALLVALUE 0000045a: DUP1 0000045b: ISZERO 0000045c: PUSH2 0x0464 0000045f: JUMPI 00000460: PUSH1 0x00 00000462: DUP1 00000463: REVERT 00000464: JUMPDEST 00000465: POP 00000466: PUSH2 0x047f 00000469: PUSH1 0x04 0000046b: DUP1 0000046c: CALLDATASIZE 0000046d: SUB 0000046e: DUP2 0000046f: ADD 00000470: SWAP1 00000471: PUSH2 0x047a 00000474: SWAP2 00000475: SWAP1 00000476: PUSH2 0x1780 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH2 0x0d4e 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x40 00000482: MLOAD 00000483: PUSH2 0x048c 00000486: SWAP2 00000487: SWAP1 00000488: PUSH2 0x17c6 0000048b: JUMP 0000048c: JUMPDEST 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: DUP1 00000491: SWAP2 00000492: SUB 00000493: SWAP1 00000494: RETURN 00000495: JUMPDEST 00000496: CALLVALUE 00000497: DUP1 00000498: ISZERO 00000499: PUSH2 0x04a1 0000049c: JUMPI 0000049d: PUSH1 0x00 0000049f: DUP1 000004a0: REVERT 000004a1: JUMPDEST 000004a2: POP 000004a3: PUSH2 0x04aa 000004a6: PUSH2 0x0d66 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: PUSH2 0x04b7 000004b1: SWAP2 000004b2: SWAP1 000004b3: PUSH2 0x1903 000004b6: JUMP 000004b7: JUMPDEST 000004b8: PUSH1 0x40 000004ba: MLOAD 000004bb: DUP1 000004bc: SWAP2 000004bd: SUB 000004be: SWAP1 000004bf: RETURN 000004c0: JUMPDEST 000004c1: CALLVALUE 000004c2: DUP1 000004c3: ISZERO 000004c4: PUSH2 0x04cc 000004c7: JUMPI 000004c8: PUSH1 0x00 000004ca: DUP1 000004cb: REVERT 000004cc: JUMPDEST 000004cd: POP 000004ce: PUSH2 0x04d5 000004d1: PUSH2 0x0d90 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: PUSH2 0x04e2 000004dc: SWAP2 000004dd: SWAP1 000004de: PUSH2 0x17c6 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH1 0x40 000004e5: MLOAD 000004e6: DUP1 000004e7: SWAP2 000004e8: SUB 000004e9: SWAP1 000004ea: RETURN 000004eb: JUMPDEST 000004ec: CALLVALUE 000004ed: DUP1 000004ee: ISZERO 000004ef: PUSH2 0x04f7 000004f2: JUMPI 000004f3: PUSH1 0x00 000004f5: DUP1 000004f6: REVERT 000004f7: JUMPDEST 000004f8: POP 000004f9: PUSH2 0x0512 000004fc: PUSH1 0x04 000004fe: DUP1 000004ff: CALLDATASIZE 00000500: SUB 00000501: DUP2 00000502: ADD 00000503: SWAP1 00000504: PUSH2 0x050d 00000507: SWAP2 00000508: SWAP1 00000509: PUSH2 0x1780 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH2 0x0d96 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH1 0x40 00000515: MLOAD 00000516: PUSH2 0x051f 00000519: SWAP2 0000051a: SWAP1 0000051b: PUSH2 0x17c6 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH1 0x40 00000522: MLOAD 00000523: DUP1 00000524: SWAP2 00000525: SUB 00000526: SWAP1 00000527: RETURN 00000528: JUMPDEST 00000529: CALLVALUE 0000052a: DUP1 0000052b: ISZERO 0000052c: PUSH2 0x0534 0000052f: JUMPI 00000530: PUSH1 0x00 00000532: DUP1 00000533: REVERT 00000534: JUMPDEST 00000535: POP 00000536: PUSH2 0x053d 00000539: PUSH2 0x0e48 0000053c: JUMP 0000053d: JUMPDEST 0000053e: PUSH1 0x40 00000540: MLOAD 00000541: PUSH2 0x054a 00000544: SWAP2 00000545: SWAP1 00000546: PUSH2 0x17c6 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH1 0x40 0000054d: MLOAD 0000054e: DUP1 0000054f: SWAP2 00000550: SUB 00000551: SWAP1 00000552: RETURN 00000553: JUMPDEST 00000554: CALLVALUE 00000555: DUP1 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: POP 00000561: PUSH2 0x057a 00000564: PUSH1 0x04 00000566: DUP1 00000567: CALLDATASIZE 00000568: SUB 00000569: DUP2 0000056a: ADD 0000056b: SWAP1 0000056c: PUSH2 0x0575 0000056f: SWAP2 00000570: SWAP1 00000571: PUSH2 0x184d 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH2 0x0e4e 00000579: JUMP 0000057a: JUMPDEST 0000057b: STOP 0000057c: JUMPDEST 0000057d: CALLVALUE 0000057e: DUP1 0000057f: ISZERO 00000580: PUSH2 0x0588 00000583: JUMPI 00000584: PUSH1 0x00 00000586: DUP1 00000587: REVERT 00000588: JUMPDEST 00000589: POP 0000058a: PUSH2 0x0591 0000058d: PUSH2 0x0f18 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH1 0x40 00000594: MLOAD 00000595: PUSH2 0x059e 00000598: SWAP2 00000599: SWAP1 0000059a: PUSH2 0x17c6 0000059d: JUMP 0000059e: JUMPDEST 0000059f: PUSH1 0x40 000005a1: MLOAD 000005a2: DUP1 000005a3: SWAP2 000005a4: SUB 000005a5: SWAP1 000005a6: RETURN 000005a7: JUMPDEST 000005a8: CALLVALUE 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05b3 000005ae: JUMPI 000005af: PUSH1 0x00 000005b1: DUP1 000005b2: REVERT 000005b3: JUMPDEST 000005b4: POP 000005b5: PUSH2 0x05bc 000005b8: PUSH2 0x0f8d 000005bb: JUMP 000005bc: JUMPDEST 000005bd: PUSH1 0x40 000005bf: MLOAD 000005c0: PUSH2 0x05c9 000005c3: SWAP2 000005c4: SWAP1 000005c5: PUSH2 0x17c6 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH1 0x40 000005cc: MLOAD 000005cd: DUP1 000005ce: SWAP2 000005cf: SUB 000005d0: SWAP1 000005d1: RETURN 000005d2: JUMPDEST 000005d3: PUSH2 0x05da 000005d6: PUSH2 0x0f93 000005d9: JUMP 000005da: JUMPDEST 000005db: STOP 000005dc: JUMPDEST 000005dd: CALLVALUE 000005de: DUP1 000005df: ISZERO 000005e0: PUSH2 0x05e8 000005e3: JUMPI 000005e4: PUSH1 0x00 000005e6: DUP1 000005e7: REVERT 000005e8: JUMPDEST 000005e9: POP 000005ea: PUSH2 0x0603 000005ed: PUSH1 0x04 000005ef: DUP1 000005f0: CALLDATASIZE 000005f1: SUB 000005f2: DUP2 000005f3: ADD 000005f4: SWAP1 000005f5: PUSH2 0x05fe 000005f8: SWAP2 000005f9: SWAP1 000005fa: PUSH2 0x1780 000005fd: JUMP 000005fe: JUMPDEST 000005ff: PUSH2 0x124f 00000602: JUMP 00000603: JUMPDEST 00000604: STOP 00000605: JUMPDEST 00000606: CALLVALUE 00000607: DUP1 00000608: ISZERO 00000609: PUSH2 0x0611 0000060c: JUMPI 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: REVERT 00000611: JUMPDEST 00000612: POP 00000613: PUSH2 0x062c 00000616: PUSH1 0x04 00000618: DUP1 00000619: CALLDATASIZE 0000061a: SUB 0000061b: DUP2 0000061c: ADD 0000061d: SWAP1 0000061e: PUSH2 0x0627 00000621: SWAP2 00000622: SWAP1 00000623: PUSH2 0x1780 00000626: JUMP 00000627: JUMPDEST 00000628: PUSH2 0x1463 0000062b: JUMP 0000062c: JUMPDEST 0000062d: STOP 0000062e: JUMPDEST 0000062f: PUSH1 0x00 00000631: PUSH8 0x0de0b6b3a7640000 0000063a: PUSH1 0x08 0000063c: PUSH1 0x00 0000063e: DUP5 0000063f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000654: AND 00000655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066a: AND 0000066b: DUP2 0000066c: MSTORE 0000066d: PUSH1 0x20 0000066f: ADD 00000670: SWAP1 00000671: DUP2 00000672: MSTORE 00000673: PUSH1 0x20 00000675: ADD 00000676: PUSH1 0x00 00000678: KECCAK256 00000679: SLOAD 0000067a: PUSH2 0x0681 0000067d: PUSH2 0x0f18 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH2 0x068b 00000685: SWAP2 00000686: SWAP1 00000687: PUSH2 0x199b 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH2 0x0694 0000068f: DUP5 00000690: PUSH2 0x0d96 00000693: JUMP 00000694: JUMPDEST 00000695: PUSH2 0x069e 00000698: SWAP2 00000699: SWAP1 0000069a: PUSH2 0x19cf 0000069d: JUMP 0000069e: JUMPDEST 0000069f: PUSH2 0x06a8 000006a2: SWAP2 000006a3: SWAP1 000006a4: PUSH2 0x1a58 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH1 0x09 000006ab: PUSH1 0x00 000006ad: DUP5 000006ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c3: AND 000006c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d9: AND 000006da: DUP2 000006db: MSTORE 000006dc: PUSH1 0x20 000006de: ADD 000006df: SWAP1 000006e0: DUP2 000006e1: MSTORE 000006e2: PUSH1 0x20 000006e4: ADD 000006e5: PUSH1 0x00 000006e7: KECCAK256 000006e8: SLOAD 000006e9: PUSH2 0x06f2 000006ec: SWAP2 000006ed: SWAP1 000006ee: PUSH2 0x1a89 000006f1: JUMP 000006f2: JUMPDEST 000006f3: SWAP1 000006f4: POP 000006f5: SWAP2 000006f6: SWAP1 000006f7: POP 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH1 0x09 000006fc: PUSH1 0x20 000006fe: MSTORE 000006ff: DUP1 00000700: PUSH1 0x00 00000702: MSTORE 00000703: PUSH1 0x40 00000705: PUSH1 0x00 00000707: KECCAK256 00000708: PUSH1 0x00 0000070a: SWAP2 0000070b: POP 0000070c: SWAP1 0000070d: POP 0000070e: SLOAD 0000070f: DUP2 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH32 0x0000000000000000000000000dd5a35fe4cd65fe7928c7b923902b43d6ea29e7 00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000748: AND 00000749: CALLER 0000074a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075f: AND 00000760: EQ 00000761: PUSH2 0x079f 00000764: JUMPI 00000765: PUSH1 0x40 00000767: MLOAD 00000768: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000789: DUP2 0000078a: MSTORE 0000078b: PUSH1 0x04 0000078d: ADD 0000078e: PUSH2 0x0796 00000791: SWAP1 00000792: PUSH2 0x1b62 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: DUP1 0000079b: SWAP2 0000079c: SUB 0000079d: SWAP1 0000079e: REVERT 0000079f: JUMPDEST 000007a0: DUP2 000007a1: PUSH2 0x07a8 000007a4: PUSH2 0x0f18 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH1 0x06 000007ab: DUP2 000007ac: SWAP1 000007ad: SSTORE 000007ae: POP 000007af: PUSH2 0x07b6 000007b2: PUSH2 0x0c64 000007b5: JUMP 000007b6: JUMPDEST 000007b7: PUSH1 0x07 000007b9: DUP2 000007ba: SWAP1 000007bb: SSTORE 000007bc: POP 000007bd: PUSH1 0x00 000007bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d4: AND 000007d5: DUP2 000007d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007eb: AND 000007ec: EQ 000007ed: PUSH2 0x0883 000007f0: JUMPI 000007f1: PUSH2 0x07f9 000007f4: DUP2 000007f5: PUSH2 0x062e 000007f8: JUMP 000007f9: JUMPDEST 000007fa: PUSH1 0x09 000007fc: PUSH1 0x00 000007fe: DUP4 000007ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000814: AND 00000815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082a: AND 0000082b: DUP2 0000082c: MSTORE 0000082d: PUSH1 0x20 0000082f: ADD 00000830: SWAP1 00000831: DUP2 00000832: MSTORE 00000833: PUSH1 0x20 00000835: ADD 00000836: PUSH1 0x00 00000838: KECCAK256 00000839: DUP2 0000083a: SWAP1 0000083b: SSTORE 0000083c: POP 0000083d: PUSH1 0x06 0000083f: SLOAD 00000840: PUSH1 0x08 00000842: PUSH1 0x00 00000844: DUP4 00000845: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085a: AND 0000085b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000870: AND 00000871: DUP2 00000872: MSTORE 00000873: PUSH1 0x20 00000875: ADD 00000876: SWAP1 00000877: DUP2 00000878: MSTORE 00000879: PUSH1 0x20 0000087b: ADD 0000087c: PUSH1 0x00 0000087e: KECCAK256 0000087f: DUP2 00000880: SWAP1 00000881: SSTORE 00000882: POP 00000883: JUMPDEST 00000884: POP 00000885: POP 00000886: POP 00000887: JUMP 00000888: JUMPDEST 00000889: PUSH1 0x00 0000088b: PUSH1 0x03 0000088d: SLOAD 0000088e: PUSH1 0x05 00000890: SLOAD 00000891: PUSH2 0x089a 00000894: SWAP2 00000895: SWAP1 00000896: PUSH2 0x19cf 00000899: JUMP 0000089a: JUMPDEST 0000089b: SWAP1 0000089c: POP 0000089d: SWAP1 0000089e: JUMP 0000089f: JUMPDEST 000008a0: PUSH1 0x02 000008a2: SLOAD 000008a3: DUP2 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x03 000008a8: SLOAD 000008a9: DUP2 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH2 0x08b3 000008af: PUSH2 0x155b 000008b2: JUMP 000008b3: JUMPDEST 000008b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c9: AND 000008ca: PUSH2 0x08d1 000008cd: PUSH2 0x0d66 000008d0: JUMP 000008d1: JUMPDEST 000008d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e7: AND 000008e8: EQ 000008e9: PUSH2 0x0927 000008ec: JUMPI 000008ed: PUSH1 0x40 000008ef: MLOAD 000008f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000911: DUP2 00000912: MSTORE 00000913: PUSH1 0x04 00000915: ADD 00000916: PUSH2 0x091e 00000919: SWAP1 0000091a: PUSH2 0x1bce 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH1 0x40 00000921: MLOAD 00000922: DUP1 00000923: SWAP2 00000924: SUB 00000925: SWAP1 00000926: REVERT 00000927: JUMPDEST 00000928: DUP1 00000929: PUSH1 0x04 0000092b: DUP2 0000092c: SWAP1 0000092d: SSTORE 0000092e: POP 0000092f: POP 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH32 0x0000000000000000000000000dd5a35fe4cd65fe7928c7b923902b43d6ea29e7 00000953: DUP2 00000954: JUMP 00000955: JUMPDEST 00000956: PUSH32 0x0000000000000000000000000dd5a35fe4cd65fe7928c7b923902b43d6ea29e7 00000977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098c: AND 0000098d: CALLER 0000098e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a3: AND 000009a4: EQ 000009a5: PUSH2 0x09e3 000009a8: JUMPI 000009a9: PUSH1 0x40 000009ab: MLOAD 000009ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009cd: DUP2 000009ce: MSTORE 000009cf: PUSH1 0x04 000009d1: ADD 000009d2: PUSH2 0x09da 000009d5: SWAP1 000009d6: PUSH2 0x1b62 000009d9: JUMP 000009da: JUMPDEST 000009db: PUSH1 0x40 000009dd: MLOAD 000009de: DUP1 000009df: SWAP2 000009e0: SUB 000009e1: SWAP1 000009e2: REVERT 000009e3: JUMPDEST 000009e4: DUP2 000009e5: PUSH2 0x09ec 000009e8: PUSH2 0x0f18 000009eb: JUMP 000009ec: JUMPDEST 000009ed: PUSH1 0x06 000009ef: DUP2 000009f0: SWAP1 000009f1: SSTORE 000009f2: POP 000009f3: PUSH2 0x09fa 000009f6: PUSH2 0x0c64 000009f9: JUMP 000009fa: JUMPDEST 000009fb: PUSH1 0x07 000009fd: DUP2 000009fe: SWAP1 000009ff: SSTORE 00000a00: POP 00000a01: PUSH1 0x00 00000a03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a18: AND 00000a19: DUP2 00000a1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2f: AND 00000a30: EQ 00000a31: PUSH2 0x0ac7 00000a34: JUMPI 00000a35: PUSH2 0x0a3d 00000a38: DUP2 00000a39: PUSH2 0x062e 00000a3c: JUMP 00000a3d: JUMPDEST 00000a3e: PUSH1 0x09 00000a40: PUSH1 0x00 00000a42: DUP4 00000a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a58: AND 00000a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6e: AND 00000a6f: DUP2 00000a70: MSTORE 00000a71: PUSH1 0x20 00000a73: ADD 00000a74: SWAP1 00000a75: DUP2 00000a76: MSTORE 00000a77: PUSH1 0x20 00000a79: ADD 00000a7a: PUSH1 0x00 00000a7c: KECCAK256 00000a7d: DUP2 00000a7e: SWAP1 00000a7f: SSTORE 00000a80: POP 00000a81: PUSH1 0x06 00000a83: SLOAD 00000a84: PUSH1 0x08 00000a86: PUSH1 0x00 00000a88: DUP4 00000a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9e: AND 00000a9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab4: AND 00000ab5: DUP2 00000ab6: MSTORE 00000ab7: PUSH1 0x20 00000ab9: ADD 00000aba: SWAP1 00000abb: DUP2 00000abc: MSTORE 00000abd: PUSH1 0x20 00000abf: ADD 00000ac0: PUSH1 0x00 00000ac2: KECCAK256 00000ac3: DUP2 00000ac4: SWAP1 00000ac5: SSTORE 00000ac6: POP 00000ac7: JUMPDEST 00000ac8: POP 00000ac9: POP 00000aca: POP 00000acb: JUMP 00000acc: JUMPDEST 00000acd: PUSH2 0x0ad4 00000ad0: PUSH2 0x155b 00000ad3: JUMP 00000ad4: JUMPDEST 00000ad5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aea: AND 00000aeb: PUSH2 0x0af2 00000aee: PUSH2 0x0d66 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b08: AND 00000b09: EQ 00000b0a: PUSH2 0x0b48 00000b0d: JUMPI 00000b0e: PUSH1 0x40 00000b10: MLOAD 00000b11: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b32: DUP2 00000b33: MSTORE 00000b34: PUSH1 0x04 00000b36: ADD 00000b37: PUSH2 0x0b3f 00000b3a: SWAP1 00000b3b: PUSH2 0x1bce 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH1 0x40 00000b42: MLOAD 00000b43: DUP1 00000b44: SWAP2 00000b45: SUB 00000b46: SWAP1 00000b47: REVERT 00000b48: JUMPDEST 00000b49: DUP1 00000b4a: PUSH1 0x0a 00000b4c: PUSH1 0x00 00000b4e: PUSH2 0x0100 00000b51: EXP 00000b52: DUP2 00000b53: SLOAD 00000b54: DUP2 00000b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6a: MUL 00000b6b: NOT 00000b6c: AND 00000b6d: SWAP1 00000b6e: DUP4 00000b6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b84: AND 00000b85: MUL 00000b86: OR 00000b87: SWAP1 00000b88: SSTORE 00000b89: POP 00000b8a: POP 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH2 0x0b94 00000b90: PUSH2 0x155b 00000b93: JUMP 00000b94: JUMPDEST 00000b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000baa: AND 00000bab: PUSH2 0x0bb2 00000bae: PUSH2 0x0d66 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc8: AND 00000bc9: EQ 00000bca: PUSH2 0x0c08 00000bcd: JUMPI 00000bce: PUSH1 0x40 00000bd0: MLOAD 00000bd1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bf2: DUP2 00000bf3: MSTORE 00000bf4: PUSH1 0x04 00000bf6: ADD 00000bf7: PUSH2 0x0bff 00000bfa: SWAP1 00000bfb: PUSH2 0x1bce 00000bfe: JUMP 00000bff: JUMPDEST 00000c00: PUSH1 0x40 00000c02: MLOAD 00000c03: DUP1 00000c04: SWAP2 00000c05: SUB 00000c06: SWAP1 00000c07: REVERT 00000c08: JUMPDEST 00000c09: PUSH2 0x0c12 00000c0c: PUSH1 0x00 00000c0e: PUSH2 0x1563 00000c11: JUMP 00000c12: JUMPDEST 00000c13: JUMP 00000c14: JUMPDEST 00000c15: PUSH1 0x0a 00000c17: PUSH1 0x00 00000c19: SWAP1 00000c1a: SLOAD 00000c1b: SWAP1 00000c1c: PUSH2 0x0100 00000c1f: EXP 00000c20: SWAP1 00000c21: DIV 00000c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c37: AND 00000c38: DUP2 00000c39: JUMP 00000c3a: JUMPDEST 00000c3b: PUSH32 0x0000000000000000000000009416ba76e88d873050a06e5956a3ebf10386b863 00000c5c: DUP2 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: PUSH1 0x05 00000c61: SLOAD 00000c62: DUP2 00000c63: JUMP 00000c64: JUMPDEST 00000c65: PUSH1 0x00 00000c67: PUSH1 0x02 00000c69: SLOAD 00000c6a: TIMESTAMP 00000c6b: LT 00000c6c: PUSH2 0x0c77 00000c6f: JUMPI 00000c70: PUSH1 0x02 00000c72: SLOAD 00000c73: PUSH2 0x0c79 00000c76: JUMP 00000c77: JUMPDEST 00000c78: TIMESTAMP 00000c79: JUMPDEST 00000c7a: SWAP1 00000c7b: POP 00000c7c: SWAP1 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x00 00000c81: PUSH32 0x0000000000000000000000009416ba76e88d873050a06e5956a3ebf10386b863 00000ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb7: AND 00000cb8: PUSH4 0x70a08231 00000cbd: PUSH32 0x0000000000000000000000000dd5a35fe4cd65fe7928c7b923902b43d6ea29e7 00000cde: PUSH1 0x40 00000ce0: MLOAD 00000ce1: DUP3 00000ce2: PUSH4 0xffffffff 00000ce7: AND 00000ce8: PUSH1 0xe0 00000cea: SHL 00000ceb: DUP2 00000cec: MSTORE 00000ced: PUSH1 0x04 00000cef: ADD 00000cf0: PUSH2 0x0cf9 00000cf3: SWAP2 00000cf4: SWAP1 00000cf5: PUSH2 0x1903 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: PUSH1 0x20 00000cfc: PUSH1 0x40 00000cfe: MLOAD 00000cff: DUP1 00000d00: DUP4 00000d01: SUB 00000d02: DUP2 00000d03: DUP7 00000d04: DUP1 00000d05: EXTCODESIZE 00000d06: ISZERO 00000d07: DUP1 00000d08: ISZERO 00000d09: PUSH2 0x0d11 00000d0c: JUMPI 00000d0d: PUSH1 0x00 00000d0f: DUP1 00000d10: REVERT 00000d11: JUMPDEST 00000d12: POP 00000d13: GAS 00000d14: STATICCALL 00000d15: ISZERO 00000d16: DUP1 00000d17: ISZERO 00000d18: PUSH2 0x0d25 00000d1b: JUMPI 00000d1c: RETURNDATASIZE 00000d1d: PUSH1 0x00 00000d1f: DUP1 00000d20: RETURNDATACOPY 00000d21: RETURNDATASIZE 00000d22: PUSH1 0x00 00000d24: REVERT 00000d25: JUMPDEST 00000d26: POP 00000d27: POP 00000d28: POP 00000d29: POP 00000d2a: PUSH1 0x40 00000d2c: MLOAD 00000d2d: RETURNDATASIZE 00000d2e: PUSH1 0x1f 00000d30: NOT 00000d31: PUSH1 0x1f 00000d33: DUP3 00000d34: ADD 00000d35: AND 00000d36: DUP3 00000d37: ADD 00000d38: DUP1 00000d39: PUSH1 0x40 00000d3b: MSTORE 00000d3c: POP 00000d3d: DUP2 00000d3e: ADD 00000d3f: SWAP1 00000d40: PUSH2 0x0d49 00000d43: SWAP2 00000d44: SWAP1 00000d45: PUSH2 0x1c03 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: SWAP1 00000d4b: POP 00000d4c: SWAP1 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH1 0x08 00000d51: PUSH1 0x20 00000d53: MSTORE 00000d54: DUP1 00000d55: PUSH1 0x00 00000d57: MSTORE 00000d58: PUSH1 0x40 00000d5a: PUSH1 0x00 00000d5c: KECCAK256 00000d5d: PUSH1 0x00 00000d5f: SWAP2 00000d60: POP 00000d61: SWAP1 00000d62: POP 00000d63: SLOAD 00000d64: DUP2 00000d65: JUMP 00000d66: JUMPDEST 00000d67: PUSH1 0x00 00000d69: PUSH1 0x01 00000d6b: PUSH1 0x00 00000d6d: SWAP1 00000d6e: SLOAD 00000d6f: SWAP1 00000d70: PUSH2 0x0100 00000d73: EXP 00000d74: SWAP1 00000d75: DIV 00000d76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8b: AND 00000d8c: SWAP1 00000d8d: POP 00000d8e: SWAP1 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: PUSH1 0x04 00000d93: SLOAD 00000d94: DUP2 00000d95: JUMP 00000d96: JUMPDEST 00000d97: PUSH1 0x00 00000d99: PUSH32 0x0000000000000000000000000dd5a35fe4cd65fe7928c7b923902b43d6ea29e7 00000dba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dcf: AND 00000dd0: PUSH4 0xddeeacec 00000dd5: DUP4 00000dd6: PUSH1 0x40 00000dd8: MLOAD 00000dd9: DUP3 00000dda: PUSH4 0xffffffff 00000ddf: AND 00000de0: PUSH1 0xe0 00000de2: SHL 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x04 00000de7: ADD 00000de8: PUSH2 0x0df1 00000deb: SWAP2 00000dec: SWAP1 00000ded: PUSH2 0x1903 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x20 00000df4: PUSH1 0x40 00000df6: MLOAD 00000df7: DUP1 00000df8: DUP4 00000df9: SUB 00000dfa: DUP2 00000dfb: DUP7 00000dfc: DUP1 00000dfd: EXTCODESIZE 00000dfe: ISZERO 00000dff: DUP1 00000e00: ISZERO 00000e01: PUSH2 0x0e09 00000e04: JUMPI 00000e05: PUSH1 0x00 00000e07: DUP1 00000e08: REVERT 00000e09: JUMPDEST 00000e0a: POP 00000e0b: GAS 00000e0c: STATICCALL 00000e0d: ISZERO 00000e0e: DUP1 00000e0f: ISZERO 00000e10: PUSH2 0x0e1d 00000e13: JUMPI 00000e14: RETURNDATASIZE 00000e15: PUSH1 0x00 00000e17: DUP1 00000e18: RETURNDATACOPY 00000e19: RETURNDATASIZE 00000e1a: PUSH1 0x00 00000e1c: REVERT 00000e1d: JUMPDEST 00000e1e: POP 00000e1f: POP 00000e20: POP 00000e21: POP 00000e22: PUSH1 0x40 00000e24: MLOAD 00000e25: RETURNDATASIZE 00000e26: PUSH1 0x1f 00000e28: NOT 00000e29: PUSH1 0x1f 00000e2b: DUP3 00000e2c: ADD 00000e2d: AND 00000e2e: DUP3 00000e2f: ADD 00000e30: DUP1 00000e31: PUSH1 0x40 00000e33: MSTORE 00000e34: POP 00000e35: DUP2 00000e36: ADD 00000e37: SWAP1 00000e38: PUSH2 0x0e41 00000e3b: SWAP2 00000e3c: SWAP1 00000e3d: PUSH2 0x1c03 00000e40: JUMP 00000e41: JUMPDEST 00000e42: SWAP1 00000e43: POP 00000e44: SWAP2 00000e45: SWAP1 00000e46: POP 00000e47: JUMP 00000e48: JUMPDEST 00000e49: PUSH1 0x07 00000e4b: SLOAD 00000e4c: DUP2 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH2 0x0e56 00000e52: PUSH2 0x155b 00000e55: JUMP 00000e56: JUMPDEST 00000e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6c: AND 00000e6d: PUSH2 0x0e74 00000e70: PUSH2 0x0d66 00000e73: JUMP 00000e74: JUMPDEST 00000e75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8a: AND 00000e8b: EQ 00000e8c: PUSH2 0x0eca 00000e8f: JUMPI 00000e90: PUSH1 0x40 00000e92: MLOAD 00000e93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eb4: DUP2 00000eb5: MSTORE 00000eb6: PUSH1 0x04 00000eb8: ADD 00000eb9: PUSH2 0x0ec1 00000ebc: SWAP1 00000ebd: PUSH2 0x1bce 00000ec0: JUMP 00000ec1: JUMPDEST 00000ec2: PUSH1 0x40 00000ec4: MLOAD 00000ec5: DUP1 00000ec6: SWAP2 00000ec7: SUB 00000ec8: SWAP1 00000ec9: REVERT 00000eca: JUMPDEST 00000ecb: PUSH1 0x02 00000ecd: SLOAD 00000ece: TIMESTAMP 00000ecf: GT 00000ed0: PUSH2 0x0f0e 00000ed3: JUMPI 00000ed4: PUSH1 0x40 00000ed6: MLOAD 00000ed7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ef8: DUP2 00000ef9: MSTORE 00000efa: PUSH1 0x04 00000efc: ADD 00000efd: PUSH2 0x0f05 00000f00: SWAP1 00000f01: PUSH2 0x1cc8 00000f04: JUMP 00000f05: JUMPDEST 00000f06: PUSH1 0x40 00000f08: MLOAD 00000f09: DUP1 00000f0a: SWAP2 00000f0b: SUB 00000f0c: SWAP1 00000f0d: REVERT 00000f0e: JUMPDEST 00000f0f: DUP1 00000f10: PUSH1 0x03 00000f12: DUP2 00000f13: SWAP1 00000f14: SSTORE 00000f15: POP 00000f16: POP 00000f17: JUMP 00000f18: JUMPDEST 00000f19: PUSH1 0x00 00000f1b: DUP1 00000f1c: PUSH2 0x0f23 00000f1f: PUSH2 0x0c7e 00000f22: JUMP 00000f23: JUMPDEST 00000f24: EQ 00000f25: ISZERO 00000f26: PUSH2 0x0f33 00000f29: JUMPI 00000f2a: PUSH1 0x06 00000f2c: SLOAD 00000f2d: SWAP1 00000f2e: POP 00000f2f: PUSH2 0x0f8a 00000f32: JUMP 00000f33: JUMPDEST 00000f34: PUSH2 0x0f3b 00000f37: PUSH2 0x0c7e 00000f3a: JUMP 00000f3b: JUMPDEST 00000f3c: PUSH8 0x0de0b6b3a7640000 00000f45: PUSH1 0x05 00000f47: SLOAD 00000f48: PUSH1 0x07 00000f4a: SLOAD 00000f4b: PUSH2 0x0f52 00000f4e: PUSH2 0x0c64 00000f51: JUMP 00000f52: JUMPDEST 00000f53: PUSH2 0x0f5c 00000f56: SWAP2 00000f57: SWAP1 00000f58: PUSH2 0x199b 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: PUSH2 0x0f66 00000f60: SWAP2 00000f61: SWAP1 00000f62: PUSH2 0x19cf 00000f65: JUMP 00000f66: JUMPDEST 00000f67: PUSH2 0x0f70 00000f6a: SWAP2 00000f6b: SWAP1 00000f6c: PUSH2 0x19cf 00000f6f: JUMP 00000f70: JUMPDEST 00000f71: PUSH2 0x0f7a 00000f74: SWAP2 00000f75: SWAP1 00000f76: PUSH2 0x1a58 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: PUSH1 0x06 00000f7d: SLOAD 00000f7e: PUSH2 0x0f87 00000f81: SWAP2 00000f82: SWAP1 00000f83: PUSH2 0x1a89 00000f86: JUMP 00000f87: JUMPDEST 00000f88: SWAP1 00000f89: POP 00000f8a: JUMPDEST 00000f8b: SWAP1 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: PUSH1 0x06 00000f90: SLOAD 00000f91: DUP2 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH1 0x0a 00000f96: PUSH1 0x00 00000f98: SWAP1 00000f99: SLOAD 00000f9a: SWAP1 00000f9b: PUSH2 0x0100 00000f9e: EXP 00000f9f: SWAP1 00000fa0: DIV 00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb6: AND 00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fcc: AND 00000fcd: CALLER 00000fce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe3: AND 00000fe4: EQ 00000fe5: PUSH2 0x1023 00000fe8: JUMPI 00000fe9: PUSH1 0x40 00000feb: MLOAD 00000fec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000100d: DUP2 0000100e: MSTORE 0000100f: PUSH1 0x04 00001011: ADD 00001012: PUSH2 0x101a 00001015: SWAP1 00001016: PUSH2 0x1d5a 00001019: JUMP 0000101a: JUMPDEST 0000101b: PUSH1 0x40 0000101d: MLOAD 0000101e: DUP1 0000101f: SWAP2 00001020: SUB 00001021: SWAP1 00001022: REVERT 00001023: JUMPDEST 00001024: PUSH1 0x00 00001026: PUSH2 0x102d 00001029: PUSH2 0x0f18 0000102c: JUMP 0000102d: JUMPDEST 0000102e: PUSH1 0x06 00001030: DUP2 00001031: SWAP1 00001032: SSTORE 00001033: POP 00001034: PUSH2 0x103b 00001037: PUSH2 0x0c64 0000103a: JUMP 0000103b: JUMPDEST 0000103c: PUSH1 0x07 0000103e: DUP2 0000103f: SWAP1 00001040: SSTORE 00001041: POP 00001042: PUSH1 0x00 00001044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001059: AND 0000105a: DUP2 0000105b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001070: AND 00001071: EQ 00001072: PUSH2 0x1108 00001075: JUMPI 00001076: PUSH2 0x107e 00001079: DUP2 0000107a: PUSH2 0x062e 0000107d: JUMP 0000107e: JUMPDEST 0000107f: PUSH1 0x09 00001081: PUSH1 0x00 00001083: DUP4 00001084: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001099: AND 0000109a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010af: AND 000010b0: DUP2 000010b1: MSTORE 000010b2: PUSH1 0x20 000010b4: ADD 000010b5: SWAP1 000010b6: DUP2 000010b7: MSTORE 000010b8: PUSH1 0x20 000010ba: ADD 000010bb: PUSH1 0x00 000010bd: KECCAK256 000010be: DUP2 000010bf: SWAP1 000010c0: SSTORE 000010c1: POP 000010c2: PUSH1 0x06 000010c4: SLOAD 000010c5: PUSH1 0x08 000010c7: PUSH1 0x00 000010c9: DUP4 000010ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010df: AND 000010e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f5: AND 000010f6: DUP2 000010f7: MSTORE 000010f8: PUSH1 0x20 000010fa: ADD 000010fb: SWAP1 000010fc: DUP2 000010fd: MSTORE 000010fe: PUSH1 0x20 00001100: ADD 00001101: PUSH1 0x00 00001103: KECCAK256 00001104: DUP2 00001105: SWAP1 00001106: SSTORE 00001107: POP 00001108: JUMPDEST 00001109: PUSH1 0x02 0000110b: SLOAD 0000110c: TIMESTAMP 0000110d: LT 0000110e: ISZERO 0000110f: PUSH2 0x1165 00001112: JUMPI 00001113: PUSH1 0x04 00001115: SLOAD 00001116: TIMESTAMP 00001117: PUSH1 0x02 00001119: SLOAD 0000111a: PUSH2 0x1123 0000111d: SWAP2 0000111e: SWAP1 0000111f: PUSH2 0x199b 00001122: JUMP 00001123: JUMPDEST 00001124: GT 00001125: ISZERO 00001126: PUSH2 0x1164 00001129: JUMPI 0000112a: PUSH1 0x40 0000112c: MLOAD 0000112d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000114e: DUP2 0000114f: MSTORE 00001150: PUSH1 0x04 00001152: ADD 00001153: PUSH2 0x115b 00001156: SWAP1 00001157: PUSH2 0x1dec 0000115a: JUMP 0000115b: JUMPDEST 0000115c: PUSH1 0x40 0000115e: MLOAD 0000115f: DUP1 00001160: SWAP2 00001161: SUB 00001162: SWAP1 00001163: REVERT 00001164: JUMPDEST 00001165: JUMPDEST 00001166: PUSH1 0x00 00001168: CALLVALUE 00001169: SWAP1 0000116a: POP 0000116b: PUSH1 0x02 0000116d: SLOAD 0000116e: TIMESTAMP 0000116f: LT 00001170: PUSH2 0x118c 00001173: JUMPI 00001174: PUSH1 0x03 00001176: SLOAD 00001177: DUP2 00001178: PUSH2 0x1181 0000117b: SWAP2 0000117c: SWAP1 0000117d: PUSH2 0x1a58 00001180: JUMP 00001181: JUMPDEST 00001182: PUSH1 0x05 00001184: DUP2 00001185: SWAP1 00001186: SSTORE 00001187: POP 00001188: PUSH2 0x11d8 0000118b: JUMP 0000118c: JUMPDEST 0000118d: PUSH1 0x00 0000118f: TIMESTAMP 00001190: PUSH1 0x02 00001192: SLOAD 00001193: PUSH2 0x119c 00001196: SWAP2 00001197: SWAP1 00001198: PUSH2 0x199b 0000119b: JUMP 0000119c: JUMPDEST 0000119d: SWAP1 0000119e: POP 0000119f: PUSH1 0x00 000011a1: PUSH1 0x05 000011a3: SLOAD 000011a4: DUP3 000011a5: PUSH2 0x11ae 000011a8: SWAP2 000011a9: SWAP1 000011aa: PUSH2 0x19cf 000011ad: JUMP 000011ae: JUMPDEST 000011af: SWAP1 000011b0: POP 000011b1: PUSH1 0x00 000011b3: PUSH1 0x03 000011b5: SLOAD 000011b6: DUP3 000011b7: DUP6 000011b8: PUSH2 0x11c1 000011bb: SWAP2 000011bc: SWAP1 000011bd: PUSH2 0x1a89 000011c0: JUMP 000011c1: JUMPDEST 000011c2: PUSH2 0x11cb 000011c5: SWAP2 000011c6: SWAP1 000011c7: PUSH2 0x1a58 000011ca: JUMP 000011cb: JUMPDEST 000011cc: SWAP1 000011cd: POP 000011ce: DUP1 000011cf: PUSH1 0x05 000011d1: DUP2 000011d2: SWAP1 000011d3: SSTORE 000011d4: POP 000011d5: POP 000011d6: POP 000011d7: POP 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: SELFBALANCE 000011dc: SWAP1 000011dd: POP 000011de: PUSH1 0x03 000011e0: SLOAD 000011e1: DUP2 000011e2: PUSH2 0x11eb 000011e5: SWAP2 000011e6: SWAP1 000011e7: PUSH2 0x1a58 000011ea: JUMP 000011eb: JUMPDEST 000011ec: PUSH1 0x05 000011ee: SLOAD 000011ef: GT 000011f0: ISZERO 000011f1: PUSH2 0x122f 000011f4: JUMPI 000011f5: PUSH1 0x40 000011f7: MLOAD 000011f8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001219: DUP2 0000121a: MSTORE 0000121b: PUSH1 0x04 0000121d: ADD 0000121e: PUSH2 0x1226 00001221: SWAP1 00001222: PUSH2 0x1e58 00001225: JUMP 00001226: JUMPDEST 00001227: PUSH1 0x40 00001229: MLOAD 0000122a: DUP1 0000122b: SWAP2 0000122c: SUB 0000122d: SWAP1 0000122e: REVERT 0000122f: JUMPDEST 00001230: TIMESTAMP 00001231: PUSH1 0x07 00001233: DUP2 00001234: SWAP1 00001235: SSTORE 00001236: POP 00001237: PUSH1 0x03 00001239: SLOAD 0000123a: TIMESTAMP 0000123b: PUSH2 0x1244 0000123e: SWAP2 0000123f: SWAP1 00001240: PUSH2 0x1a89 00001243: JUMP 00001244: JUMPDEST 00001245: PUSH1 0x02 00001247: DUP2 00001248: SWAP1 00001249: SSTORE 0000124a: POP 0000124b: POP 0000124c: POP 0000124d: POP 0000124e: JUMP 0000124f: JUMPDEST 00001250: PUSH32 0x0000000000000000000000000dd5a35fe4cd65fe7928c7b923902b43d6ea29e7 00001271: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001286: AND 00001287: CALLER 00001288: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129d: AND 0000129e: EQ 0000129f: PUSH2 0x12dd 000012a2: JUMPI 000012a3: PUSH1 0x40 000012a5: MLOAD 000012a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012c7: DUP2 000012c8: MSTORE 000012c9: PUSH1 0x04 000012cb: ADD 000012cc: PUSH2 0x12d4 000012cf: SWAP1 000012d0: PUSH2 0x1b62 000012d3: JUMP 000012d4: JUMPDEST 000012d5: PUSH1 0x40 000012d7: MLOAD 000012d8: DUP1 000012d9: SWAP2 000012da: SUB 000012db: SWAP1 000012dc: REVERT 000012dd: JUMPDEST 000012de: DUP1 000012df: PUSH2 0x12e6 000012e2: PUSH2 0x0f18 000012e5: JUMP 000012e6: JUMPDEST 000012e7: PUSH1 0x06 000012e9: DUP2 000012ea: SWAP1 000012eb: SSTORE 000012ec: POP 000012ed: PUSH2 0x12f4 000012f0: PUSH2 0x0c64 000012f3: JUMP 000012f4: JUMPDEST 000012f5: PUSH1 0x07 000012f7: DUP2 000012f8: SWAP1 000012f9: SSTORE 000012fa: POP 000012fb: PUSH1 0x00 000012fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001312: AND 00001313: DUP2 00001314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001329: AND 0000132a: EQ 0000132b: PUSH2 0x13c1 0000132e: JUMPI 0000132f: PUSH2 0x1337 00001332: DUP2 00001333: PUSH2 0x062e 00001336: JUMP 00001337: JUMPDEST 00001338: PUSH1 0x09 0000133a: PUSH1 0x00 0000133c: DUP4 0000133d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001352: AND 00001353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001368: AND 00001369: DUP2 0000136a: MSTORE 0000136b: PUSH1 0x20 0000136d: ADD 0000136e: SWAP1 0000136f: DUP2 00001370: MSTORE 00001371: PUSH1 0x20 00001373: ADD 00001374: PUSH1 0x00 00001376: KECCAK256 00001377: DUP2 00001378: SWAP1 00001379: SSTORE 0000137a: POP 0000137b: PUSH1 0x06 0000137d: SLOAD 0000137e: PUSH1 0x08 00001380: PUSH1 0x00 00001382: DUP4 00001383: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001398: AND 00001399: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ae: AND 000013af: DUP2 000013b0: MSTORE 000013b1: PUSH1 0x20 000013b3: ADD 000013b4: SWAP1 000013b5: DUP2 000013b6: MSTORE 000013b7: PUSH1 0x20 000013b9: ADD 000013ba: PUSH1 0x00 000013bc: KECCAK256 000013bd: DUP2 000013be: SWAP1 000013bf: SSTORE 000013c0: POP 000013c1: JUMPDEST 000013c2: PUSH1 0x00 000013c4: PUSH1 0x09 000013c6: PUSH1 0x00 000013c8: DUP5 000013c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013de: AND 000013df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f4: AND 000013f5: DUP2 000013f6: MSTORE 000013f7: PUSH1 0x20 000013f9: ADD 000013fa: SWAP1 000013fb: DUP2 000013fc: MSTORE 000013fd: PUSH1 0x20 000013ff: ADD 00001400: PUSH1 0x00 00001402: KECCAK256 00001403: SLOAD 00001404: SWAP1 00001405: POP 00001406: PUSH1 0x00 00001408: DUP2 00001409: GT 0000140a: ISZERO 0000140b: PUSH2 0x145e 0000140e: JUMPI 0000140f: PUSH1 0x00 00001411: PUSH1 0x09 00001413: PUSH1 0x00 00001415: DUP6 00001416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000142b: AND 0000142c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001441: AND 00001442: DUP2 00001443: MSTORE 00001444: PUSH1 0x20 00001446: ADD 00001447: SWAP1 00001448: DUP2 00001449: MSTORE 0000144a: PUSH1 0x20 0000144c: ADD 0000144d: PUSH1 0x00 0000144f: KECCAK256 00001450: DUP2 00001451: SWAP1 00001452: SSTORE 00001453: POP 00001454: PUSH2 0x145d 00001457: DUP4 00001458: DUP3 00001459: PUSH2 0x1629 0000145c: JUMP 0000145d: JUMPDEST 0000145e: JUMPDEST 0000145f: POP 00001460: POP 00001461: POP 00001462: JUMP 00001463: JUMPDEST 00001464: PUSH2 0x146b 00001467: PUSH2 0x155b 0000146a: JUMP 0000146b: JUMPDEST 0000146c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001481: AND 00001482: PUSH2 0x1489 00001485: PUSH2 0x0d66 00001488: JUMP 00001489: JUMPDEST 0000148a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000149f: AND 000014a0: EQ 000014a1: PUSH2 0x14df 000014a4: JUMPI 000014a5: PUSH1 0x40 000014a7: MLOAD 000014a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014c9: DUP2 000014ca: MSTORE 000014cb: PUSH1 0x04 000014cd: ADD 000014ce: PUSH2 0x14d6 000014d1: SWAP1 000014d2: PUSH2 0x1bce 000014d5: JUMP 000014d6: JUMPDEST 000014d7: PUSH1 0x40 000014d9: MLOAD 000014da: DUP1 000014db: SWAP2 000014dc: SUB 000014dd: SWAP1 000014de: REVERT 000014df: JUMPDEST 000014e0: PUSH1 0x00 000014e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f7: AND 000014f8: DUP2 000014f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000150e: AND 0000150f: EQ 00001510: ISZERO 00001511: PUSH2 0x154f 00001514: JUMPI 00001515: PUSH1 0x40 00001517: MLOAD 00001518: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001539: DUP2 0000153a: MSTORE 0000153b: PUSH1 0x04 0000153d: ADD 0000153e: PUSH2 0x1546 00001541: SWAP1 00001542: PUSH2 0x1eea 00001545: JUMP 00001546: JUMPDEST 00001547: PUSH1 0x40 00001549: MLOAD 0000154a: DUP1 0000154b: SWAP2 0000154c: SUB 0000154d: SWAP1 0000154e: REVERT 0000154f: JUMPDEST 00001550: PUSH2 0x1558 00001553: DUP2 00001554: PUSH2 0x1563 00001557: JUMP 00001558: JUMPDEST 00001559: POP 0000155a: JUMP 0000155b: JUMPDEST 0000155c: PUSH1 0x00 0000155e: CALLER 0000155f: SWAP1 00001560: POP 00001561: SWAP1 00001562: JUMP 00001563: JUMPDEST 00001564: PUSH1 0x00 00001566: PUSH1 0x01 00001568: PUSH1 0x00 0000156a: SWAP1 0000156b: SLOAD 0000156c: SWAP1 0000156d: PUSH2 0x0100 00001570: EXP 00001571: SWAP1 00001572: DIV 00001573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001588: AND 00001589: SWAP1 0000158a: POP 0000158b: DUP2 0000158c: PUSH1 0x01 0000158e: PUSH1 0x00 00001590: PUSH2 0x0100 00001593: EXP 00001594: DUP2 00001595: SLOAD 00001596: DUP2 00001597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ac: MUL 000015ad: NOT 000015ae: AND 000015af: SWAP1 000015b0: DUP4 000015b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c6: AND 000015c7: MUL 000015c8: OR 000015c9: SWAP1 000015ca: SSTORE 000015cb: POP 000015cc: DUP2 000015cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e2: AND 000015e3: DUP2 000015e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015f9: AND 000015fa: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000161b: PUSH1 0x40 0000161d: MLOAD 0000161e: PUSH1 0x40 00001620: MLOAD 00001621: DUP1 00001622: SWAP2 00001623: SUB 00001624: SWAP1 00001625: LOG3 00001626: POP 00001627: POP 00001628: JUMP 00001629: JUMPDEST 0000162a: DUP1 0000162b: SELFBALANCE 0000162c: LT 0000162d: ISZERO 0000162e: PUSH2 0x166c 00001631: JUMPI 00001632: PUSH1 0x40 00001634: MLOAD 00001635: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001656: DUP2 00001657: MSTORE 00001658: PUSH1 0x04 0000165a: ADD 0000165b: PUSH2 0x1663 0000165e: SWAP1 0000165f: PUSH2 0x1f56 00001662: JUMP 00001663: JUMPDEST 00001664: PUSH1 0x40 00001666: MLOAD 00001667: DUP1 00001668: SWAP2 00001669: SUB 0000166a: SWAP1 0000166b: REVERT 0000166c: JUMPDEST 0000166d: PUSH1 0x00 0000166f: DUP3 00001670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001685: AND 00001686: DUP3 00001687: PUSH1 0x40 00001689: MLOAD 0000168a: PUSH2 0x1692 0000168d: SWAP1 0000168e: PUSH2 0x1fa7 00001691: JUMP 00001692: JUMPDEST 00001693: PUSH1 0x00 00001695: PUSH1 0x40 00001697: MLOAD 00001698: DUP1 00001699: DUP4 0000169a: SUB 0000169b: DUP2 0000169c: DUP6 0000169d: DUP8 0000169e: GAS 0000169f: CALL 000016a0: SWAP3 000016a1: POP 000016a2: POP 000016a3: POP 000016a4: RETURNDATASIZE 000016a5: DUP1 000016a6: PUSH1 0x00 000016a8: DUP2 000016a9: EQ 000016aa: PUSH2 0x16cf 000016ad: JUMPI 000016ae: PUSH1 0x40 000016b0: MLOAD 000016b1: SWAP2 000016b2: POP 000016b3: PUSH1 0x1f 000016b5: NOT 000016b6: PUSH1 0x3f 000016b8: RETURNDATASIZE 000016b9: ADD 000016ba: AND 000016bb: DUP3 000016bc: ADD 000016bd: PUSH1 0x40 000016bf: MSTORE 000016c0: RETURNDATASIZE 000016c1: DUP3 000016c2: MSTORE 000016c3: RETURNDATASIZE 000016c4: PUSH1 0x00 000016c6: PUSH1 0x20 000016c8: DUP5 000016c9: ADD 000016ca: RETURNDATACOPY 000016cb: PUSH2 0x16d4 000016ce: JUMP 000016cf: JUMPDEST 000016d0: PUSH1 0x60 000016d2: SWAP2 000016d3: POP 000016d4: JUMPDEST 000016d5: POP 000016d6: POP 000016d7: SWAP1 000016d8: POP 000016d9: DUP1 000016da: PUSH2 0x1718 000016dd: JUMPI 000016de: PUSH1 0x40 000016e0: MLOAD 000016e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001702: DUP2 00001703: MSTORE 00001704: PUSH1 0x04 00001706: ADD 00001707: PUSH2 0x170f 0000170a: SWAP1 0000170b: PUSH2 0x202e 0000170e: JUMP 0000170f: JUMPDEST 00001710: PUSH1 0x40 00001712: MLOAD 00001713: DUP1 00001714: SWAP2 00001715: SUB 00001716: SWAP1 00001717: REVERT 00001718: JUMPDEST 00001719: POP 0000171a: POP 0000171b: POP 0000171c: JUMP 0000171d: JUMPDEST 0000171e: PUSH1 0x00 00001720: DUP1 00001721: REVERT 00001722: JUMPDEST 00001723: PUSH1 0x00 00001725: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173a: DUP3 0000173b: AND 0000173c: SWAP1 0000173d: POP 0000173e: SWAP2 0000173f: SWAP1 00001740: POP 00001741: JUMP 00001742: JUMPDEST 00001743: PUSH1 0x00 00001745: PUSH2 0x174d 00001748: DUP3 00001749: PUSH2 0x1722 0000174c: JUMP 0000174d: JUMPDEST 0000174e: SWAP1 0000174f: POP 00001750: SWAP2 00001751: SWAP1 00001752: POP 00001753: JUMP 00001754: JUMPDEST 00001755: PUSH2 0x175d 00001758: DUP2 00001759: PUSH2 0x1742 0000175c: JUMP 0000175d: JUMPDEST 0000175e: DUP2 0000175f: EQ 00001760: PUSH2 0x1768 00001763: JUMPI 00001764: PUSH1 0x00 00001766: DUP1 00001767: REVERT 00001768: JUMPDEST 00001769: POP 0000176a: JUMP 0000176b: JUMPDEST 0000176c: PUSH1 0x00 0000176e: DUP2 0000176f: CALLDATALOAD 00001770: SWAP1 00001771: POP 00001772: PUSH2 0x177a 00001775: DUP2 00001776: PUSH2 0x1754 00001779: JUMP 0000177a: JUMPDEST 0000177b: SWAP3 0000177c: SWAP2 0000177d: POP 0000177e: POP 0000177f: JUMP 00001780: JUMPDEST 00001781: PUSH1 0x00 00001783: PUSH1 0x20 00001785: DUP3 00001786: DUP5 00001787: SUB 00001788: SLT 00001789: ISZERO 0000178a: PUSH2 0x1796 0000178d: JUMPI 0000178e: PUSH2 0x1795 00001791: PUSH2 0x171d 00001794: JUMP 00001795: JUMPDEST 00001796: JUMPDEST 00001797: PUSH1 0x00 00001799: PUSH2 0x17a4 0000179c: DUP5 0000179d: DUP3 0000179e: DUP6 0000179f: ADD 000017a0: PUSH2 0x176b 000017a3: JUMP 000017a4: JUMPDEST 000017a5: SWAP2 000017a6: POP 000017a7: POP 000017a8: SWAP3 000017a9: SWAP2 000017aa: POP 000017ab: POP 000017ac: JUMP 000017ad: JUMPDEST 000017ae: PUSH1 0x00 000017b0: DUP2 000017b1: SWAP1 000017b2: POP 000017b3: SWAP2 000017b4: SWAP1 000017b5: POP 000017b6: JUMP 000017b7: JUMPDEST 000017b8: PUSH2 0x17c0 000017bb: DUP2 000017bc: PUSH2 0x17ad 000017bf: JUMP 000017c0: JUMPDEST 000017c1: DUP3 000017c2: MSTORE 000017c3: POP 000017c4: POP 000017c5: JUMP 000017c6: JUMPDEST 000017c7: PUSH1 0x00 000017c9: PUSH1 0x20 000017cb: DUP3 000017cc: ADD 000017cd: SWAP1 000017ce: POP 000017cf: PUSH2 0x17db 000017d2: PUSH1 0x00 000017d4: DUP4 000017d5: ADD 000017d6: DUP5 000017d7: PUSH2 0x17b7 000017da: JUMP 000017db: JUMPDEST 000017dc: SWAP3 000017dd: SWAP2 000017de: POP 000017df: POP 000017e0: JUMP 000017e1: JUMPDEST 000017e2: PUSH2 0x17ea 000017e5: DUP2 000017e6: PUSH2 0x17ad 000017e9: JUMP 000017ea: JUMPDEST 000017eb: DUP2 000017ec: EQ 000017ed: PUSH2 0x17f5 000017f0: JUMPI 000017f1: PUSH1 0x00 000017f3: DUP1 000017f4: REVERT 000017f5: JUMPDEST 000017f6: POP 000017f7: JUMP 000017f8: JUMPDEST 000017f9: PUSH1 0x00 000017fb: DUP2 000017fc: CALLDATALOAD 000017fd: SWAP1 000017fe: POP 000017ff: PUSH2 0x1807 00001802: DUP2 00001803: PUSH2 0x17e1 00001806: JUMP 00001807: JUMPDEST 00001808: SWAP3 00001809: SWAP2 0000180a: POP 0000180b: POP 0000180c: JUMP 0000180d: JUMPDEST 0000180e: PUSH1 0x00 00001810: DUP1 00001811: PUSH1 0x40 00001813: DUP4 00001814: DUP6 00001815: SUB 00001816: SLT 00001817: ISZERO 00001818: PUSH2 0x1824 0000181b: JUMPI 0000181c: PUSH2 0x1823 0000181f: PUSH2 0x171d 00001822: JUMP 00001823: JUMPDEST 00001824: JUMPDEST 00001825: PUSH1 0x00 00001827: PUSH2 0x1832 0000182a: DUP6 0000182b: DUP3 0000182c: DUP7 0000182d: ADD 0000182e: PUSH2 0x176b 00001831: JUMP 00001832: JUMPDEST 00001833: SWAP3 00001834: POP 00001835: POP 00001836: PUSH1 0x20 00001838: PUSH2 0x1843 0000183b: DUP6 0000183c: DUP3 0000183d: DUP7 0000183e: ADD 0000183f: PUSH2 0x17f8 00001842: JUMP 00001843: JUMPDEST 00001844: SWAP2 00001845: POP 00001846: POP 00001847: SWAP3 00001848: POP 00001849: SWAP3 0000184a: SWAP1 0000184b: POP 0000184c: JUMP 0000184d: JUMPDEST 0000184e: PUSH1 0x00 00001850: PUSH1 0x20 00001852: DUP3 00001853: DUP5 00001854: SUB 00001855: SLT 00001856: ISZERO 00001857: PUSH2 0x1863 0000185a: JUMPI 0000185b: PUSH2 0x1862 0000185e: PUSH2 0x171d 00001861: JUMP 00001862: JUMPDEST 00001863: JUMPDEST 00001864: PUSH1 0x00 00001866: PUSH2 0x1871 00001869: DUP5 0000186a: DUP3 0000186b: DUP6 0000186c: ADD 0000186d: PUSH2 0x17f8 00001870: JUMP 00001871: JUMPDEST 00001872: SWAP2 00001873: POP 00001874: POP 00001875: SWAP3 00001876: SWAP2 00001877: POP 00001878: POP 00001879: JUMP 0000187a: JUMPDEST 0000187b: PUSH1 0x00 0000187d: DUP2 0000187e: SWAP1 0000187f: POP 00001880: SWAP2 00001881: SWAP1 00001882: POP 00001883: JUMP 00001884: JUMPDEST 00001885: PUSH1 0x00 00001887: PUSH2 0x189f 0000188a: PUSH2 0x189a 0000188d: PUSH2 0x1895 00001890: DUP5 00001891: PUSH2 0x1722 00001894: JUMP 00001895: JUMPDEST 00001896: PUSH2 0x187a 00001899: JUMP 0000189a: JUMPDEST 0000189b: PUSH2 0x1722 0000189e: JUMP 0000189f: JUMPDEST 000018a0: SWAP1 000018a1: POP 000018a2: SWAP2 000018a3: SWAP1 000018a4: POP 000018a5: JUMP 000018a6: JUMPDEST 000018a7: PUSH1 0x00 000018a9: PUSH2 0x18b1 000018ac: DUP3 000018ad: PUSH2 0x1884 000018b0: JUMP 000018b1: JUMPDEST 000018b2: SWAP1 000018b3: POP 000018b4: SWAP2 000018b5: SWAP1 000018b6: POP 000018b7: JUMP 000018b8: JUMPDEST 000018b9: PUSH1 0x00 000018bb: PUSH2 0x18c3 000018be: DUP3 000018bf: PUSH2 0x18a6 000018c2: JUMP 000018c3: JUMPDEST 000018c4: SWAP1 000018c5: POP 000018c6: SWAP2 000018c7: SWAP1 000018c8: POP 000018c9: JUMP 000018ca: JUMPDEST 000018cb: PUSH2 0x18d3 000018ce: DUP2 000018cf: PUSH2 0x18b8 000018d2: JUMP 000018d3: JUMPDEST 000018d4: DUP3 000018d5: MSTORE 000018d6: POP 000018d7: POP 000018d8: JUMP 000018d9: JUMPDEST 000018da: PUSH1 0x00 000018dc: PUSH1 0x20 000018de: DUP3 000018df: ADD 000018e0: SWAP1 000018e1: POP 000018e2: PUSH2 0x18ee 000018e5: PUSH1 0x00 000018e7: DUP4 000018e8: ADD 000018e9: DUP5 000018ea: PUSH2 0x18ca 000018ed: JUMP 000018ee: JUMPDEST 000018ef: SWAP3 000018f0: SWAP2 000018f1: POP 000018f2: POP 000018f3: JUMP 000018f4: JUMPDEST 000018f5: PUSH2 0x18fd 000018f8: DUP2 000018f9: PUSH2 0x1742 000018fc: JUMP 000018fd: JUMPDEST 000018fe: DUP3 000018ff: MSTORE 00001900: POP 00001901: POP 00001902: JUMP 00001903: JUMPDEST 00001904: PUSH1 0x00 00001906: PUSH1 0x20 00001908: DUP3 00001909: ADD 0000190a: SWAP1 0000190b: POP 0000190c: PUSH2 0x1918 0000190f: PUSH1 0x00 00001911: DUP4 00001912: ADD 00001913: DUP5 00001914: PUSH2 0x18f4 00001917: JUMP 00001918: JUMPDEST 00001919: SWAP3 0000191a: SWAP2 0000191b: POP 0000191c: POP 0000191d: JUMP 0000191e: JUMPDEST 0000191f: PUSH1 0x00 00001921: PUSH2 0x1929 00001924: DUP3 00001925: PUSH2 0x1884 00001928: JUMP 00001929: JUMPDEST 0000192a: SWAP1 0000192b: POP 0000192c: SWAP2 0000192d: SWAP1 0000192e: POP 0000192f: JUMP 00001930: JUMPDEST 00001931: PUSH1 0x00 00001933: PUSH2 0x193b 00001936: DUP3 00001937: PUSH2 0x191e 0000193a: JUMP 0000193b: JUMPDEST 0000193c: SWAP1 0000193d: POP 0000193e: SWAP2 0000193f: SWAP1 00001940: POP 00001941: JUMP 00001942: JUMPDEST 00001943: PUSH2 0x194b 00001946: DUP2 00001947: PUSH2 0x1930 0000194a: JUMP 0000194b: JUMPDEST 0000194c: DUP3 0000194d: MSTORE 0000194e: POP 0000194f: POP 00001950: JUMP 00001951: JUMPDEST 00001952: PUSH1 0x00 00001954: PUSH1 0x20 00001956: DUP3 00001957: ADD 00001958: SWAP1 00001959: POP 0000195a: PUSH2 0x1966 0000195d: PUSH1 0x00 0000195f: DUP4 00001960: ADD 00001961: DUP5 00001962: PUSH2 0x1942 00001965: JUMP 00001966: JUMPDEST 00001967: SWAP3 00001968: SWAP2 00001969: POP 0000196a: POP 0000196b: JUMP 0000196c: JUMPDEST 0000196d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000198e: PUSH1 0x00 00001990: MSTORE 00001991: PUSH1 0x11 00001993: PUSH1 0x04 00001995: MSTORE 00001996: PUSH1 0x24 00001998: PUSH1 0x00 0000199a: REVERT 0000199b: JUMPDEST 0000199c: PUSH1 0x00 0000199e: PUSH2 0x19a6 000019a1: DUP3 000019a2: PUSH2 0x17ad 000019a5: JUMP 000019a6: JUMPDEST 000019a7: SWAP2 000019a8: POP 000019a9: PUSH2 0x19b1 000019ac: DUP4 000019ad: PUSH2 0x17ad 000019b0: JUMP 000019b1: JUMPDEST 000019b2: SWAP3 000019b3: POP 000019b4: DUP3 000019b5: DUP3 000019b6: LT 000019b7: ISZERO 000019b8: PUSH2 0x19c4 000019bb: JUMPI 000019bc: PUSH2 0x19c3 000019bf: PUSH2 0x196c 000019c2: JUMP 000019c3: JUMPDEST 000019c4: JUMPDEST 000019c5: DUP3 000019c6: DUP3 000019c7: SUB 000019c8: SWAP1 000019c9: POP 000019ca: SWAP3 000019cb: SWAP2 000019cc: POP 000019cd: POP 000019ce: JUMP 000019cf: JUMPDEST 000019d0: PUSH1 0x00 000019d2: PUSH2 0x19da 000019d5: DUP3 000019d6: PUSH2 0x17ad 000019d9: JUMP 000019da: JUMPDEST 000019db: SWAP2 000019dc: POP 000019dd: PUSH2 0x19e5 000019e0: DUP4 000019e1: PUSH2 0x17ad 000019e4: JUMP 000019e5: JUMPDEST 000019e6: SWAP3 000019e7: POP 000019e8: DUP2 000019e9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001a0a: DIV 00001a0b: DUP4 00001a0c: GT 00001a0d: DUP3 00001a0e: ISZERO 00001a0f: ISZERO 00001a10: AND 00001a11: ISZERO 00001a12: PUSH2 0x1a1e 00001a15: JUMPI 00001a16: PUSH2 0x1a1d 00001a19: PUSH2 0x196c 00001a1c: JUMP 00001a1d: JUMPDEST 00001a1e: JUMPDEST 00001a1f: DUP3 00001a20: DUP3 00001a21: MUL 00001a22: SWAP1 00001a23: POP 00001a24: SWAP3 00001a25: SWAP2 00001a26: POP 00001a27: POP 00001a28: JUMP 00001a29: JUMPDEST 00001a2a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001a4b: PUSH1 0x00 00001a4d: MSTORE 00001a4e: PUSH1 0x12 00001a50: PUSH1 0x04 00001a52: MSTORE 00001a53: PUSH1 0x24 00001a55: PUSH1 0x00 00001a57: REVERT 00001a58: JUMPDEST 00001a59: PUSH1 0x00 00001a5b: PUSH2 0x1a63 00001a5e: DUP3 00001a5f: PUSH2 0x17ad 00001a62: JUMP 00001a63: JUMPDEST 00001a64: SWAP2 00001a65: POP 00001a66: PUSH2 0x1a6e 00001a69: DUP4 00001a6a: PUSH2 0x17ad 00001a6d: JUMP 00001a6e: JUMPDEST 00001a6f: SWAP3 00001a70: POP 00001a71: DUP3 00001a72: PUSH2 0x1a7e 00001a75: JUMPI 00001a76: PUSH2 0x1a7d 00001a79: PUSH2 0x1a29 00001a7c: JUMP 00001a7d: JUMPDEST 00001a7e: JUMPDEST 00001a7f: DUP3 00001a80: DUP3 00001a81: DIV 00001a82: SWAP1 00001a83: POP 00001a84: SWAP3 00001a85: SWAP2 00001a86: POP 00001a87: POP 00001a88: JUMP 00001a89: JUMPDEST 00001a8a: PUSH1 0x00 00001a8c: PUSH2 0x1a94 00001a8f: DUP3 00001a90: PUSH2 0x17ad 00001a93: JUMP 00001a94: JUMPDEST 00001a95: SWAP2 00001a96: POP 00001a97: PUSH2 0x1a9f 00001a9a: DUP4 00001a9b: PUSH2 0x17ad 00001a9e: JUMP 00001a9f: JUMPDEST 00001aa0: SWAP3 00001aa1: POP 00001aa2: DUP3 00001aa3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001ac4: SUB 00001ac5: DUP3 00001ac6: GT 00001ac7: ISZERO 00001ac8: PUSH2 0x1ad4 00001acb: JUMPI 00001acc: PUSH2 0x1ad3 00001acf: PUSH2 0x196c 00001ad2: JUMP 00001ad3: JUMPDEST 00001ad4: JUMPDEST 00001ad5: DUP3 00001ad6: DUP3 00001ad7: ADD 00001ad8: SWAP1 00001ad9: POP 00001ada: SWAP3 00001adb: SWAP2 00001adc: POP 00001add: POP 00001ade: JUMP 00001adf: JUMPDEST 00001ae0: PUSH1 0x00 00001ae2: DUP3 00001ae3: DUP3 00001ae4: MSTORE 00001ae5: PUSH1 0x20 00001ae7: DUP3 00001ae8: ADD 00001ae9: SWAP1 00001aea: POP 00001aeb: SWAP3 00001aec: SWAP2 00001aed: POP 00001aee: POP 00001aef: JUMP 00001af0: JUMPDEST 00001af1: PUSH32 0x43616e206f6e6c792062652063616c6c656420627920746865206f7065726174 00001b12: PUSH1 0x00 00001b14: DUP3 00001b15: ADD 00001b16: MSTORE 00001b17: PUSH32 0x696e67205669727475655374616b696e6720636f6e7472616374000000000000 00001b38: PUSH1 0x20 00001b3a: DUP3 00001b3b: ADD 00001b3c: MSTORE 00001b3d: POP 00001b3e: JUMP 00001b3f: JUMPDEST 00001b40: PUSH1 0x00 00001b42: PUSH2 0x1b4c 00001b45: PUSH1 0x3a 00001b47: DUP4 00001b48: PUSH2 0x1adf 00001b4b: JUMP 00001b4c: JUMPDEST 00001b4d: SWAP2 00001b4e: POP 00001b4f: PUSH2 0x1b57 00001b52: DUP3 00001b53: PUSH2 0x1af0 00001b56: JUMP 00001b57: JUMPDEST 00001b58: PUSH1 0x40 00001b5a: DUP3 00001b5b: ADD 00001b5c: SWAP1 00001b5d: POP 00001b5e: SWAP2 00001b5f: SWAP1 00001b60: POP 00001b61: JUMP 00001b62: JUMPDEST 00001b63: PUSH1 0x00 00001b65: PUSH1 0x20 00001b67: DUP3 00001b68: ADD 00001b69: SWAP1 00001b6a: POP 00001b6b: DUP2 00001b6c: DUP2 00001b6d: SUB 00001b6e: PUSH1 0x00 00001b70: DUP4 00001b71: ADD 00001b72: MSTORE 00001b73: PUSH2 0x1b7b 00001b76: DUP2 00001b77: PUSH2 0x1b3f 00001b7a: JUMP 00001b7b: JUMPDEST 00001b7c: SWAP1 00001b7d: POP 00001b7e: SWAP2 00001b7f: SWAP1 00001b80: POP 00001b81: JUMP 00001b82: JUMPDEST 00001b83: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001ba4: PUSH1 0x00 00001ba6: DUP3 00001ba7: ADD 00001ba8: MSTORE 00001ba9: POP 00001baa: JUMP 00001bab: JUMPDEST 00001bac: PUSH1 0x00 00001bae: PUSH2 0x1bb8 00001bb1: PUSH1 0x20 00001bb3: DUP4 00001bb4: PUSH2 0x1adf 00001bb7: JUMP 00001bb8: JUMPDEST 00001bb9: SWAP2 00001bba: POP 00001bbb: PUSH2 0x1bc3 00001bbe: DUP3 00001bbf: PUSH2 0x1b82 00001bc2: JUMP 00001bc3: JUMPDEST 00001bc4: PUSH1 0x20 00001bc6: DUP3 00001bc7: ADD 00001bc8: SWAP1 00001bc9: POP 00001bca: SWAP2 00001bcb: SWAP1 00001bcc: POP 00001bcd: JUMP 00001bce: JUMPDEST 00001bcf: PUSH1 0x00 00001bd1: PUSH1 0x20 00001bd3: DUP3 00001bd4: ADD 00001bd5: SWAP1 00001bd6: POP 00001bd7: DUP2 00001bd8: DUP2 00001bd9: SUB 00001bda: PUSH1 0x00 00001bdc: DUP4 00001bdd: ADD 00001bde: MSTORE 00001bdf: PUSH2 0x1be7 00001be2: DUP2 00001be3: PUSH2 0x1bab 00001be6: JUMP 00001be7: JUMPDEST 00001be8: SWAP1 00001be9: POP 00001bea: SWAP2 00001beb: SWAP1 00001bec: POP 00001bed: JUMP 00001bee: JUMPDEST 00001bef: PUSH1 0x00 00001bf1: DUP2 00001bf2: MLOAD 00001bf3: SWAP1 00001bf4: POP 00001bf5: PUSH2 0x1bfd 00001bf8: DUP2 00001bf9: PUSH2 0x17e1 00001bfc: JUMP 00001bfd: JUMPDEST 00001bfe: SWAP3 00001bff: SWAP2 00001c00: POP 00001c01: POP 00001c02: JUMP 00001c03: JUMPDEST 00001c04: PUSH1 0x00 00001c06: PUSH1 0x20 00001c08: DUP3 00001c09: DUP5 00001c0a: SUB 00001c0b: SLT 00001c0c: ISZERO 00001c0d: PUSH2 0x1c19 00001c10: JUMPI 00001c11: PUSH2 0x1c18 00001c14: PUSH2 0x171d 00001c17: JUMP 00001c18: JUMPDEST 00001c19: JUMPDEST 00001c1a: PUSH1 0x00 00001c1c: PUSH2 0x1c27 00001c1f: DUP5 00001c20: DUP3 00001c21: DUP6 00001c22: ADD 00001c23: PUSH2 0x1bee 00001c26: JUMP 00001c27: JUMPDEST 00001c28: SWAP2 00001c29: POP 00001c2a: POP 00001c2b: SWAP3 00001c2c: SWAP2 00001c2d: POP 00001c2e: POP 00001c2f: JUMP 00001c30: JUMPDEST 00001c31: PUSH32 0x50726576696f7573207265776172647320706572696f64206d75737420626520 00001c52: PUSH1 0x00 00001c54: DUP3 00001c55: ADD 00001c56: MSTORE 00001c57: PUSH32 0x636f6d706c65746564206265666f7265207570646174696e6720647572617469 00001c78: PUSH1 0x20 00001c7a: DUP3 00001c7b: ADD 00001c7c: MSTORE 00001c7d: PUSH32 0x6f6e000000000000000000000000000000000000000000000000000000000000 00001c9e: PUSH1 0x40 00001ca0: DUP3 00001ca1: ADD 00001ca2: MSTORE 00001ca3: POP 00001ca4: JUMP 00001ca5: JUMPDEST 00001ca6: PUSH1 0x00 00001ca8: PUSH2 0x1cb2 00001cab: PUSH1 0x42 00001cad: DUP4 00001cae: PUSH2 0x1adf 00001cb1: JUMP 00001cb2: JUMPDEST 00001cb3: SWAP2 00001cb4: POP 00001cb5: PUSH2 0x1cbd 00001cb8: DUP3 00001cb9: PUSH2 0x1c30 00001cbc: JUMP 00001cbd: JUMPDEST 00001cbe: PUSH1 0x60 00001cc0: DUP3 00001cc1: ADD 00001cc2: SWAP1 00001cc3: POP 00001cc4: SWAP2 00001cc5: SWAP1 00001cc6: POP 00001cc7: JUMP 00001cc8: JUMPDEST 00001cc9: PUSH1 0x00 00001ccb: PUSH1 0x20 00001ccd: DUP3 00001cce: ADD 00001ccf: SWAP1 00001cd0: POP 00001cd1: DUP2 00001cd2: DUP2 00001cd3: SUB 00001cd4: PUSH1 0x00 00001cd6: DUP4 00001cd7: ADD 00001cd8: MSTORE 00001cd9: PUSH2 0x1ce1 00001cdc: DUP2 00001cdd: PUSH2 0x1ca5 00001ce0: JUMP 00001ce1: JUMPDEST 00001ce2: SWAP1 00001ce3: POP 00001ce4: SWAP2 00001ce5: SWAP1 00001ce6: POP 00001ce7: JUMP 00001ce8: JUMPDEST 00001ce9: PUSH32 0x43616e206f6e6c792062652063616c6c65642062792074686520526577617264 00001d0a: PUSH1 0x00 00001d0c: DUP3 00001d0d: ADD 00001d0e: MSTORE 00001d0f: PUSH32 0x73436f6c6c6563746f7220636f6e747261637400000000000000000000000000 00001d30: PUSH1 0x20 00001d32: DUP3 00001d33: ADD 00001d34: MSTORE 00001d35: POP 00001d36: JUMP 00001d37: JUMPDEST 00001d38: PUSH1 0x00 00001d3a: PUSH2 0x1d44 00001d3d: PUSH1 0x33 00001d3f: DUP4 00001d40: PUSH2 0x1adf 00001d43: JUMP 00001d44: JUMPDEST 00001d45: SWAP2 00001d46: POP 00001d47: PUSH2 0x1d4f 00001d4a: DUP3 00001d4b: PUSH2 0x1ce8 00001d4e: JUMP 00001d4f: JUMPDEST 00001d50: PUSH1 0x40 00001d52: DUP3 00001d53: ADD 00001d54: SWAP1 00001d55: POP 00001d56: SWAP2 00001d57: SWAP1 00001d58: POP 00001d59: JUMP 00001d5a: JUMPDEST 00001d5b: PUSH1 0x00 00001d5d: PUSH1 0x20 00001d5f: DUP3 00001d60: ADD 00001d61: SWAP1 00001d62: POP 00001d63: DUP2 00001d64: DUP2 00001d65: SUB 00001d66: PUSH1 0x00 00001d68: DUP4 00001d69: ADD 00001d6a: MSTORE 00001d6b: PUSH2 0x1d73 00001d6e: DUP2 00001d6f: PUSH2 0x1d37 00001d72: JUMP 00001d73: JUMPDEST 00001d74: SWAP1 00001d75: POP 00001d76: SWAP2 00001d77: SWAP1 00001d78: POP 00001d79: JUMP 00001d7a: JUMPDEST 00001d7b: PUSH32 0x546f6f206561726c7920746f2063616c6c206164645265776172642064757269 00001d9c: PUSH1 0x00 00001d9e: DUP3 00001d9f: ADD 00001da0: MSTORE 00001da1: PUSH32 0x6e672063757272656e74207265776172647320706572696f6400000000000000 00001dc2: PUSH1 0x20 00001dc4: DUP3 00001dc5: ADD 00001dc6: MSTORE 00001dc7: POP 00001dc8: JUMP 00001dc9: JUMPDEST 00001dca: PUSH1 0x00 00001dcc: PUSH2 0x1dd6 00001dcf: PUSH1 0x39 00001dd1: DUP4 00001dd2: PUSH2 0x1adf 00001dd5: JUMP 00001dd6: JUMPDEST 00001dd7: SWAP2 00001dd8: POP 00001dd9: PUSH2 0x1de1 00001ddc: DUP3 00001ddd: PUSH2 0x1d7a 00001de0: JUMP 00001de1: JUMPDEST 00001de2: PUSH1 0x40 00001de4: DUP3 00001de5: ADD 00001de6: SWAP1 00001de7: POP 00001de8: SWAP2 00001de9: SWAP1 00001dea: POP 00001deb: JUMP 00001dec: JUMPDEST 00001ded: PUSH1 0x00 00001def: PUSH1 0x20 00001df1: DUP3 00001df2: ADD 00001df3: SWAP1 00001df4: POP 00001df5: DUP2 00001df6: DUP2 00001df7: SUB 00001df8: PUSH1 0x00 00001dfa: DUP4 00001dfb: ADD 00001dfc: MSTORE 00001dfd: PUSH2 0x1e05 00001e00: DUP2 00001e01: PUSH2 0x1dc9 00001e04: JUMP 00001e05: JUMPDEST 00001e06: SWAP1 00001e07: POP 00001e08: SWAP2 00001e09: SWAP1 00001e0a: POP 00001e0b: JUMP 00001e0c: JUMPDEST 00001e0d: PUSH32 0x50726f76696465642072657761726420746f6f20686967680000000000000000 00001e2e: PUSH1 0x00 00001e30: DUP3 00001e31: ADD 00001e32: MSTORE 00001e33: POP 00001e34: JUMP 00001e35: JUMPDEST 00001e36: PUSH1 0x00 00001e38: PUSH2 0x1e42 00001e3b: PUSH1 0x18 00001e3d: DUP4 00001e3e: PUSH2 0x1adf 00001e41: JUMP 00001e42: JUMPDEST 00001e43: SWAP2 00001e44: POP 00001e45: PUSH2 0x1e4d 00001e48: DUP3 00001e49: PUSH2 0x1e0c 00001e4c: JUMP 00001e4d: JUMPDEST 00001e4e: PUSH1 0x20 00001e50: DUP3 00001e51: ADD 00001e52: SWAP1 00001e53: POP 00001e54: SWAP2 00001e55: SWAP1 00001e56: POP 00001e57: JUMP 00001e58: JUMPDEST 00001e59: PUSH1 0x00 00001e5b: PUSH1 0x20 00001e5d: DUP3 00001e5e: ADD 00001e5f: SWAP1 00001e60: POP 00001e61: DUP2 00001e62: DUP2 00001e63: SUB 00001e64: PUSH1 0x00 00001e66: DUP4 00001e67: ADD 00001e68: MSTORE 00001e69: PUSH2 0x1e71 00001e6c: DUP2 00001e6d: PUSH2 0x1e35 00001e70: JUMP 00001e71: JUMPDEST 00001e72: SWAP1 00001e73: POP 00001e74: SWAP2 00001e75: SWAP1 00001e76: POP 00001e77: JUMP 00001e78: JUMPDEST 00001e79: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001e9a: PUSH1 0x00 00001e9c: DUP3 00001e9d: ADD 00001e9e: MSTORE 00001e9f: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00001ec0: PUSH1 0x20 00001ec2: DUP3 00001ec3: ADD 00001ec4: MSTORE 00001ec5: POP 00001ec6: JUMP 00001ec7: JUMPDEST 00001ec8: PUSH1 0x00 00001eca: PUSH2 0x1ed4 00001ecd: PUSH1 0x26 00001ecf: DUP4 00001ed0: PUSH2 0x1adf 00001ed3: JUMP 00001ed4: JUMPDEST 00001ed5: SWAP2 00001ed6: POP 00001ed7: PUSH2 0x1edf 00001eda: DUP3 00001edb: PUSH2 0x1e78 00001ede: JUMP 00001edf: JUMPDEST 00001ee0: PUSH1 0x40 00001ee2: DUP3 00001ee3: ADD 00001ee4: SWAP1 00001ee5: POP 00001ee6: SWAP2 00001ee7: SWAP1 00001ee8: POP 00001ee9: JUMP 00001eea: JUMPDEST 00001eeb: PUSH1 0x00 00001eed: PUSH1 0x20 00001eef: DUP3 00001ef0: ADD 00001ef1: SWAP1 00001ef2: POP 00001ef3: DUP2 00001ef4: DUP2 00001ef5: SUB 00001ef6: PUSH1 0x00 00001ef8: DUP4 00001ef9: ADD 00001efa: MSTORE 00001efb: PUSH2 0x1f03 00001efe: DUP2 00001eff: PUSH2 0x1ec7 00001f02: JUMP 00001f03: JUMPDEST 00001f04: SWAP1 00001f05: POP 00001f06: SWAP2 00001f07: SWAP1 00001f08: POP 00001f09: JUMP 00001f0a: JUMPDEST 00001f0b: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00001f2c: PUSH1 0x00 00001f2e: DUP3 00001f2f: ADD 00001f30: MSTORE 00001f31: POP 00001f32: JUMP 00001f33: JUMPDEST 00001f34: PUSH1 0x00 00001f36: PUSH2 0x1f40 00001f39: PUSH1 0x1d 00001f3b: DUP4 00001f3c: PUSH2 0x1adf 00001f3f: JUMP 00001f40: JUMPDEST 00001f41: SWAP2 00001f42: POP 00001f43: PUSH2 0x1f4b 00001f46: DUP3 00001f47: PUSH2 0x1f0a 00001f4a: JUMP 00001f4b: JUMPDEST 00001f4c: PUSH1 0x20 00001f4e: DUP3 00001f4f: ADD 00001f50: SWAP1 00001f51: POP 00001f52: SWAP2 00001f53: SWAP1 00001f54: POP 00001f55: JUMP 00001f56: JUMPDEST 00001f57: PUSH1 0x00 00001f59: PUSH1 0x20 00001f5b: DUP3 00001f5c: ADD 00001f5d: SWAP1 00001f5e: POP 00001f5f: DUP2 00001f60: DUP2 00001f61: SUB 00001f62: PUSH1 0x00 00001f64: DUP4 00001f65: ADD 00001f66: MSTORE 00001f67: PUSH2 0x1f6f 00001f6a: DUP2 00001f6b: PUSH2 0x1f33 00001f6e: JUMP 00001f6f: JUMPDEST 00001f70: SWAP1 00001f71: POP 00001f72: SWAP2 00001f73: SWAP1 00001f74: POP 00001f75: JUMP 00001f76: JUMPDEST 00001f77: PUSH1 0x00 00001f79: DUP2 00001f7a: SWAP1 00001f7b: POP 00001f7c: SWAP3 00001f7d: SWAP2 00001f7e: POP 00001f7f: POP 00001f80: JUMP 00001f81: JUMPDEST 00001f82: POP 00001f83: JUMP 00001f84: JUMPDEST 00001f85: PUSH1 0x00 00001f87: PUSH2 0x1f91 00001f8a: PUSH1 0x00 00001f8c: DUP4 00001f8d: PUSH2 0x1f76 00001f90: JUMP 00001f91: JUMPDEST 00001f92: SWAP2 00001f93: POP 00001f94: PUSH2 0x1f9c 00001f97: DUP3 00001f98: PUSH2 0x1f81 00001f9b: JUMP 00001f9c: JUMPDEST 00001f9d: PUSH1 0x00 00001f9f: DUP3 00001fa0: ADD 00001fa1: SWAP1 00001fa2: POP 00001fa3: SWAP2 00001fa4: SWAP1 00001fa5: POP 00001fa6: JUMP 00001fa7: JUMPDEST 00001fa8: PUSH1 0x00 00001faa: PUSH2 0x1fb2 00001fad: DUP3 00001fae: PUSH2 0x1f84 00001fb1: JUMP 00001fb2: JUMPDEST 00001fb3: SWAP2 00001fb4: POP 00001fb5: DUP2 00001fb6: SWAP1 00001fb7: POP 00001fb8: SWAP2 00001fb9: SWAP1 00001fba: POP 00001fbb: JUMP 00001fbc: JUMPDEST 00001fbd: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00001fde: PUSH1 0x00 00001fe0: DUP3 00001fe1: ADD 00001fe2: MSTORE 00001fe3: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00002004: PUSH1 0x20 00002006: DUP3 00002007: ADD 00002008: MSTORE 00002009: POP 0000200a: JUMP 0000200b: JUMPDEST 0000200c: PUSH1 0x00 0000200e: PUSH2 0x2018 00002011: PUSH1 0x3a 00002013: DUP4 00002014: PUSH2 0x1adf 00002017: JUMP 00002018: JUMPDEST 00002019: SWAP2 0000201a: POP 0000201b: PUSH2 0x2023 0000201e: DUP3 0000201f: PUSH2 0x1fbc 00002022: JUMP 00002023: JUMPDEST 00002024: PUSH1 0x40 00002026: DUP3 00002027: ADD 00002028: SWAP1 00002029: POP 0000202a: SWAP2 0000202b: SWAP1 0000202c: POP 0000202d: JUMP 0000202e: JUMPDEST 0000202f: PUSH1 0x00 00002031: PUSH1 0x20 00002033: DUP3 00002034: ADD 00002035: SWAP1 00002036: POP 00002037: DUP2 00002038: DUP2 00002039: SUB 0000203a: PUSH1 0x00 0000203c: DUP4 0000203d: ADD 0000203e: MSTORE 0000203f: PUSH2 0x2047 00002042: DUP2 00002043: PUSH2 0x200b 00002046: JUMP 00002047: JUMPDEST 00002048: SWAP1 00002049: POP 0000204a: SWAP2 0000204b: SWAP1 0000204c: POP 0000204d: JUMP 0000204e: INVALID 0000204f: LOG2 00002050: PUSH5 0x6970667358 00002056: UNKNOWN(0x22) 00002057: SLT 00002058: KECCAK256 00002059: UNKNOWN(0xC4) 0000205a: UNKNOWN(0xB2) 0000205b: UNKNOWN(0xEE) 0000205c: CALLDATASIZE 0000205d: TIMESTAMP 0000205e: DUP2 0000205f: UNKNOWN(0x29) 00002060: SWAP4 00002061: UNKNOWN(0xBC) 00002062: UNKNOWN(0x2C) 00002063: TLOAD 00002064: UNKNOWN(0xC4) 00002065: LOG3 00002066: UNKNOWN(0xD1) 00002067: DUP13 00002068: SWAP10 00002069: UNKNOWN(0xB5) 0000206a: ADD 0000206b: PUSH22 0xcd021fe1a123d1eb78c4d43f2b64736f6c6343000809 00002082: STOP 00002083: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x4f30a3088637d218748171695eda368140177779c8044e375856e73a9ded769e
call_targets:
0xc73b93885f10c5eaf8cb126495bbd14d3b9b7baf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4f30a3088637d218748171695eda368140177779c8044e375856e73a9ded769e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc73b93885f10c5eaf8cb126495bbd14d3b9b7baf"
],
"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": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe59a58ee",
"selector": "0xe59a58ee",
"calldata_variants": [
"0xe59a58ee",
"0xe59a58ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef5cfb8c",
"selector": "0xef5cfb8c",
"calldata_variants": [
"0xef5cfb8c",
"0xef5cfb8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc1a378f",
"selector": "0xcc1a378f",
"calldata_variants": [
"0xcc1a378f",
"0xcc1a378f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b876347",
"selector": "0x8b876347",
"calldata_variants": [
"0x8b876347",
"0x8b8763470000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1865,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2445,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4045,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4743,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x4f30a3088637d218748171695eda368140177779c8044e375856e73a9ded769e
call_targets:
0xc73b93885f10c5eaf8cb126495bbd14d3b9b7baf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4f30a3088637d218748171695eda368140177779c8044e375856e73a9ded769e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc73b93885f10c5eaf8cb126495bbd14d3b9b7baf"
],
"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": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe59a58ee",
"selector": "0xe59a58ee",
"calldata_variants": [
"0xe59a58ee",
"0xe59a58ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef5cfb8c",
"selector": "0xef5cfb8c",
"calldata_variants": [
"0xef5cfb8c",
"0xef5cfb8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc1a378f",
"selector": "0xcc1a378f",
"calldata_variants": [
"0xcc1a378f",
"0xcc1a378f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b876347",
"selector": "0x8b876347",
"calldata_variants": [
"0x8b876347",
"0x8b8763470000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1865,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2445,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4045,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4743,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|