019b477e-bc5f-70fc-9b0d-42837d5dac99
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 |
|---|---|---|---|---|
| 24061 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24062 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67302 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67303 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67304 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67305 | 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 0x01dc 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x982fb9d8 00000019: GT 0000001a: PUSH2 0x0102 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xdd62ed3e 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf5fc5076 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf5fc5076 0000003a: EQ 0000003b: PUSH2 0x06b6 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf9b7a2c0 00000045: EQ 00000046: PUSH2 0x06cb 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfa89401a 00000050: EQ 00000051: PUSH2 0x0704 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfc0c546a 0000005b: EQ 0000005c: PUSH2 0x0737 0000005f: JUMPI 00000060: PUSH2 0x01e3 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xdd62ed3e 0000006b: EQ 0000006c: PUSH2 0x05fa 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe5eb6ab5 00000076: EQ 00000077: PUSH2 0x0635 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe9503425 00000081: EQ 00000082: PUSH2 0x064a 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xf3fef3a3 0000008c: EQ 0000008d: PUSH2 0x067d 00000090: JUMPI 00000091: PUSH2 0x01e3 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xb6b55f25 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xb6b55f25 000000a7: EQ 000000a8: PUSH2 0x0573 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xbfe10928 000000b2: EQ 000000b3: PUSH2 0x059d 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xc9059483 000000bd: EQ 000000be: PUSH2 0x05b2 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xcfad57a2 000000c8: EQ 000000c9: PUSH2 0x05c7 000000cc: JUMPI 000000cd: PUSH2 0x01e3 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x982fb9d8 000000d8: EQ 000000d9: PUSH2 0x04da 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xa9059cbb 000000e3: EQ 000000e4: PUSH2 0x0272 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0xb2f87643 000000ee: EQ 000000ef: PUSH2 0x050d 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0xb697f531 000000f9: EQ 000000fa: PUSH2 0x0540 000000fd: JUMPI 000000fe: PUSH2 0x01e3 00000101: JUMP 00000102: JUMPDEST 00000103: DUP1 00000104: PUSH4 0x27e235e3 00000109: GT 0000010a: PUSH2 0x017a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x44a08411 00000114: GT 00000115: PUSH2 0x0149 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x44a08411 0000011f: EQ 00000120: PUSH2 0x042c 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x70a08231 0000012a: EQ 0000012b: PUSH2 0x045f 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x75619ab5 00000135: EQ 00000136: PUSH2 0x0492 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x95d89b41 00000140: EQ 00000141: PUSH2 0x04c5 00000144: JUMPI 00000145: PUSH2 0x01e3 00000148: JUMP 00000149: JUMPDEST 0000014a: DUP1 0000014b: PUSH4 0x27e235e3 00000150: EQ 00000151: PUSH2 0x03a4 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x313ce567 0000015b: EQ 0000015c: PUSH2 0x03d7 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x3eaaf86b 00000166: EQ 00000167: PUSH2 0x0402 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x40695363 00000171: EQ 00000172: PUSH2 0x0417 00000175: JUMPI 00000176: PUSH2 0x01e3 00000179: JUMP 0000017a: JUMPDEST 0000017b: DUP1 0000017c: PUSH4 0x18160ddd 00000181: GT 00000182: PUSH2 0x01b6 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x18160ddd 0000018c: EQ 0000018d: PUSH2 0x02f0 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x1e83409a 00000197: EQ 00000198: PUSH2 0x0317 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x23b872dd 000001a2: EQ 000001a3: PUSH2 0x034c 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x246ea64e 000001ad: EQ 000001ae: PUSH2 0x038f 000001b1: JUMPI 000001b2: PUSH2 0x01e3 000001b5: JUMP 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH4 0x06fdde03 000001bd: EQ 000001be: PUSH2 0x01e8 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x095ea7b3 000001c8: EQ 000001c9: PUSH2 0x0272 000001cc: JUMPI 000001cd: DUP1 000001ce: PUSH4 0x12d43a51 000001d3: EQ 000001d4: PUSH2 0x02bf 000001d7: JUMPI 000001d8: PUSH2 0x01e3 000001db: JUMP 000001dc: JUMPDEST 000001dd: CALLDATASIZE 000001de: PUSH2 0x01e3 000001e1: JUMPI 000001e2: STOP 000001e3: JUMPDEST 000001e4: PUSH1 0x00 000001e6: DUP1 000001e7: REVERT 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: PUSH2 0x01fd 000001f9: PUSH2 0x074c 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH1 0x40 00000200: DUP1 00000201: MLOAD 00000202: PUSH1 0x20 00000204: DUP1 00000205: DUP3 00000206: MSTORE 00000207: DUP4 00000208: MLOAD 00000209: DUP2 0000020a: DUP4 0000020b: ADD 0000020c: MSTORE 0000020d: DUP4 0000020e: MLOAD 0000020f: SWAP2 00000210: SWAP3 00000211: DUP4 00000212: SWAP3 00000213: SWAP1 00000214: DUP4 00000215: ADD 00000216: SWAP2 00000217: DUP6 00000218: ADD 00000219: SWAP1 0000021a: DUP1 0000021b: DUP4 0000021c: DUP4 0000021d: PUSH1 0x00 0000021f: JUMPDEST 00000220: DUP4 00000221: DUP2 00000222: LT 00000223: ISZERO 00000224: PUSH2 0x0237 00000227: JUMPI 00000228: DUP2 00000229: DUP2 0000022a: ADD 0000022b: MLOAD 0000022c: DUP4 0000022d: DUP3 0000022e: ADD 0000022f: MSTORE 00000230: PUSH1 0x20 00000232: ADD 00000233: PUSH2 0x021f 00000236: JUMP 00000237: JUMPDEST 00000238: POP 00000239: POP 0000023a: POP 0000023b: POP 0000023c: SWAP1 0000023d: POP 0000023e: SWAP1 0000023f: DUP2 00000240: ADD 00000241: SWAP1 00000242: PUSH1 0x1f 00000244: AND 00000245: DUP1 00000246: ISZERO 00000247: PUSH2 0x0264 0000024a: JUMPI 0000024b: DUP1 0000024c: DUP3 0000024d: SUB 0000024e: DUP1 0000024f: MLOAD 00000250: PUSH1 0x01 00000252: DUP4 00000253: PUSH1 0x20 00000255: SUB 00000256: PUSH2 0x0100 00000259: EXP 0000025a: SUB 0000025b: NOT 0000025c: AND 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP2 00000263: POP 00000264: JUMPDEST 00000265: POP 00000266: SWAP3 00000267: POP 00000268: POP 00000269: POP 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: DUP1 0000026e: SWAP2 0000026f: SUB 00000270: SWAP1 00000271: RETURN 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x02ab 00000283: PUSH1 0x04 00000285: DUP1 00000286: CALLDATASIZE 00000287: SUB 00000288: PUSH1 0x40 0000028a: DUP2 0000028b: LT 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: POP 00000297: PUSH1 0x01 00000299: PUSH1 0x01 0000029b: PUSH1 0xa0 0000029d: SHL 0000029e: SUB 0000029f: DUP2 000002a0: CALLDATALOAD 000002a1: AND 000002a2: SWAP1 000002a3: PUSH1 0x20 000002a5: ADD 000002a6: CALLDATALOAD 000002a7: PUSH2 0x0776 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH1 0x40 000002ae: DUP1 000002af: MLOAD 000002b0: SWAP2 000002b1: ISZERO 000002b2: ISZERO 000002b3: DUP3 000002b4: MSTORE 000002b5: MLOAD 000002b6: SWAP1 000002b7: DUP2 000002b8: SWAP1 000002b9: SUB 000002ba: PUSH1 0x20 000002bc: ADD 000002bd: SWAP1 000002be: RETURN 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: DUP1 000002c2: ISZERO 000002c3: PUSH2 0x02cb 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: POP 000002cd: PUSH2 0x02d4 000002d0: PUSH2 0x07c5 000002d3: JUMP 000002d4: JUMPDEST 000002d5: PUSH1 0x40 000002d7: DUP1 000002d8: MLOAD 000002d9: PUSH1 0x01 000002db: PUSH1 0x01 000002dd: PUSH1 0xa0 000002df: SHL 000002e0: SUB 000002e1: SWAP1 000002e2: SWAP3 000002e3: AND 000002e4: DUP3 000002e5: MSTORE 000002e6: MLOAD 000002e7: SWAP1 000002e8: DUP2 000002e9: SWAP1 000002ea: SUB 000002eb: PUSH1 0x20 000002ed: ADD 000002ee: SWAP1 000002ef: RETURN 000002f0: JUMPDEST 000002f1: CALLVALUE 000002f2: DUP1 000002f3: ISZERO 000002f4: PUSH2 0x02fc 000002f7: JUMPI 000002f8: PUSH1 0x00 000002fa: DUP1 000002fb: REVERT 000002fc: JUMPDEST 000002fd: POP 000002fe: PUSH2 0x0305 00000301: PUSH2 0x07d4 00000304: JUMP 00000305: JUMPDEST 00000306: PUSH1 0x40 00000308: DUP1 00000309: MLOAD 0000030a: SWAP2 0000030b: DUP3 0000030c: MSTORE 0000030d: MLOAD 0000030e: SWAP1 0000030f: DUP2 00000310: SWAP1 00000311: SUB 00000312: PUSH1 0x20 00000314: ADD 00000315: SWAP1 00000316: RETURN 00000317: JUMPDEST 00000318: CALLVALUE 00000319: DUP1 0000031a: ISZERO 0000031b: PUSH2 0x0323 0000031e: JUMPI 0000031f: PUSH1 0x00 00000321: DUP1 00000322: REVERT 00000323: JUMPDEST 00000324: POP 00000325: PUSH2 0x034a 00000328: PUSH1 0x04 0000032a: DUP1 0000032b: CALLDATASIZE 0000032c: SUB 0000032d: PUSH1 0x20 0000032f: DUP2 00000330: LT 00000331: ISZERO 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: POP 0000033c: CALLDATALOAD 0000033d: PUSH1 0x01 0000033f: PUSH1 0x01 00000341: PUSH1 0xa0 00000343: SHL 00000344: SUB 00000345: AND 00000346: PUSH2 0x07ef 00000349: JUMP 0000034a: JUMPDEST 0000034b: STOP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH2 0x02ab 0000035d: PUSH1 0x04 0000035f: DUP1 00000360: CALLDATASIZE 00000361: SUB 00000362: PUSH1 0x60 00000364: DUP2 00000365: LT 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH1 0x01 00000373: PUSH1 0x01 00000375: PUSH1 0xa0 00000377: SHL 00000378: SUB 00000379: DUP2 0000037a: CALLDATALOAD 0000037b: DUP2 0000037c: AND 0000037d: SWAP2 0000037e: PUSH1 0x20 00000380: DUP2 00000381: ADD 00000382: CALLDATALOAD 00000383: SWAP1 00000384: SWAP2 00000385: AND 00000386: SWAP1 00000387: PUSH1 0x40 00000389: ADD 0000038a: CALLDATALOAD 0000038b: PUSH2 0x0776 0000038e: JUMP 0000038f: JUMPDEST 00000390: CALLVALUE 00000391: DUP1 00000392: ISZERO 00000393: PUSH2 0x039b 00000396: JUMPI 00000397: PUSH1 0x00 00000399: DUP1 0000039a: REVERT 0000039b: JUMPDEST 0000039c: POP 0000039d: PUSH2 0x0305 000003a0: PUSH2 0x0951 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03b0 000003ab: JUMPI 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: REVERT 000003b0: JUMPDEST 000003b1: POP 000003b2: PUSH2 0x0305 000003b5: PUSH1 0x04 000003b7: DUP1 000003b8: CALLDATASIZE 000003b9: SUB 000003ba: PUSH1 0x20 000003bc: DUP2 000003bd: LT 000003be: ISZERO 000003bf: PUSH2 0x03c7 000003c2: JUMPI 000003c3: PUSH1 0x00 000003c5: DUP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: POP 000003c9: CALLDATALOAD 000003ca: PUSH1 0x01 000003cc: PUSH1 0x01 000003ce: PUSH1 0xa0 000003d0: SHL 000003d1: SUB 000003d2: AND 000003d3: PUSH2 0x09e7 000003d6: JUMP 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 0x09f9 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH1 0x40 000003ef: DUP1 000003f0: MLOAD 000003f1: PUSH1 0xff 000003f3: SWAP1 000003f4: SWAP3 000003f5: AND 000003f6: DUP3 000003f7: MSTORE 000003f8: MLOAD 000003f9: SWAP1 000003fa: DUP2 000003fb: SWAP1 000003fc: SUB 000003fd: PUSH1 0x20 000003ff: ADD 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 0x0305 00000413: PUSH2 0x09fe 00000416: JUMP 00000417: JUMPDEST 00000418: CALLVALUE 00000419: DUP1 0000041a: ISZERO 0000041b: PUSH2 0x0423 0000041e: JUMPI 0000041f: PUSH1 0x00 00000421: DUP1 00000422: REVERT 00000423: JUMPDEST 00000424: POP 00000425: PUSH2 0x02d4 00000428: PUSH2 0x0a04 0000042b: JUMP 0000042c: JUMPDEST 0000042d: CALLVALUE 0000042e: DUP1 0000042f: ISZERO 00000430: PUSH2 0x0438 00000433: JUMPI 00000434: PUSH1 0x00 00000436: DUP1 00000437: REVERT 00000438: JUMPDEST 00000439: POP 0000043a: PUSH2 0x0305 0000043d: PUSH1 0x04 0000043f: DUP1 00000440: CALLDATASIZE 00000441: SUB 00000442: PUSH1 0x20 00000444: DUP2 00000445: LT 00000446: ISZERO 00000447: PUSH2 0x044f 0000044a: JUMPI 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: REVERT 0000044f: JUMPDEST 00000450: POP 00000451: CALLDATALOAD 00000452: PUSH1 0x01 00000454: PUSH1 0x01 00000456: PUSH1 0xa0 00000458: SHL 00000459: SUB 0000045a: AND 0000045b: PUSH2 0x0a13 0000045e: JUMP 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x0305 00000470: PUSH1 0x04 00000472: DUP1 00000473: CALLDATASIZE 00000474: SUB 00000475: PUSH1 0x20 00000477: DUP2 00000478: LT 00000479: ISZERO 0000047a: PUSH2 0x0482 0000047d: JUMPI 0000047e: PUSH1 0x00 00000480: DUP1 00000481: REVERT 00000482: JUMPDEST 00000483: POP 00000484: CALLDATALOAD 00000485: PUSH1 0x01 00000487: PUSH1 0x01 00000489: PUSH1 0xa0 0000048b: SHL 0000048c: SUB 0000048d: AND 0000048e: PUSH2 0x0a25 00000491: JUMP 00000492: JUMPDEST 00000493: CALLVALUE 00000494: DUP1 00000495: ISZERO 00000496: PUSH2 0x049e 00000499: JUMPI 0000049a: PUSH1 0x00 0000049c: DUP1 0000049d: REVERT 0000049e: JUMPDEST 0000049f: POP 000004a0: PUSH2 0x034a 000004a3: PUSH1 0x04 000004a5: DUP1 000004a6: CALLDATASIZE 000004a7: SUB 000004a8: PUSH1 0x20 000004aa: DUP2 000004ab: LT 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: POP 000004b7: CALLDATALOAD 000004b8: PUSH1 0x01 000004ba: PUSH1 0x01 000004bc: PUSH1 0xa0 000004be: SHL 000004bf: SUB 000004c0: AND 000004c1: PUSH2 0x0a57 000004c4: JUMP 000004c5: JUMPDEST 000004c6: CALLVALUE 000004c7: DUP1 000004c8: ISZERO 000004c9: PUSH2 0x04d1 000004cc: JUMPI 000004cd: PUSH1 0x00 000004cf: DUP1 000004d0: REVERT 000004d1: JUMPDEST 000004d2: POP 000004d3: PUSH2 0x01fd 000004d6: PUSH2 0x0acf 000004d9: JUMP 000004da: JUMPDEST 000004db: CALLVALUE 000004dc: DUP1 000004dd: ISZERO 000004de: PUSH2 0x04e6 000004e1: JUMPI 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: REVERT 000004e6: JUMPDEST 000004e7: POP 000004e8: PUSH2 0x02ab 000004eb: PUSH1 0x04 000004ed: DUP1 000004ee: CALLDATASIZE 000004ef: SUB 000004f0: PUSH1 0x20 000004f2: DUP2 000004f3: LT 000004f4: ISZERO 000004f5: PUSH2 0x04fd 000004f8: JUMPI 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: CALLDATALOAD 00000500: PUSH1 0x01 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: SHL 00000507: SUB 00000508: AND 00000509: PUSH2 0x0af2 0000050c: JUMP 0000050d: JUMPDEST 0000050e: CALLVALUE 0000050f: DUP1 00000510: ISZERO 00000511: PUSH2 0x0519 00000514: JUMPI 00000515: PUSH1 0x00 00000517: DUP1 00000518: REVERT 00000519: JUMPDEST 0000051a: POP 0000051b: PUSH2 0x034a 0000051e: PUSH1 0x04 00000520: DUP1 00000521: CALLDATASIZE 00000522: SUB 00000523: PUSH1 0x20 00000525: DUP2 00000526: LT 00000527: ISZERO 00000528: PUSH2 0x0530 0000052b: JUMPI 0000052c: PUSH1 0x00 0000052e: DUP1 0000052f: REVERT 00000530: JUMPDEST 00000531: POP 00000532: CALLDATALOAD 00000533: PUSH1 0x01 00000535: PUSH1 0x01 00000537: PUSH1 0xa0 00000539: SHL 0000053a: SUB 0000053b: AND 0000053c: PUSH2 0x0b07 0000053f: JUMP 00000540: JUMPDEST 00000541: CALLVALUE 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x054c 00000547: JUMPI 00000548: PUSH1 0x00 0000054a: DUP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: POP 0000054e: PUSH2 0x034a 00000551: PUSH1 0x04 00000553: DUP1 00000554: CALLDATASIZE 00000555: SUB 00000556: PUSH1 0x20 00000558: DUP2 00000559: LT 0000055a: ISZERO 0000055b: PUSH2 0x0563 0000055e: JUMPI 0000055f: PUSH1 0x00 00000561: DUP1 00000562: REVERT 00000563: JUMPDEST 00000564: POP 00000565: CALLDATALOAD 00000566: PUSH1 0x01 00000568: PUSH1 0x01 0000056a: PUSH1 0xa0 0000056c: SHL 0000056d: SUB 0000056e: AND 0000056f: PUSH2 0x0beb 00000572: JUMP 00000573: JUMPDEST 00000574: CALLVALUE 00000575: DUP1 00000576: ISZERO 00000577: PUSH2 0x057f 0000057a: JUMPI 0000057b: PUSH1 0x00 0000057d: DUP1 0000057e: REVERT 0000057f: JUMPDEST 00000580: POP 00000581: PUSH2 0x034a 00000584: PUSH1 0x04 00000586: DUP1 00000587: CALLDATASIZE 00000588: SUB 00000589: PUSH1 0x20 0000058b: DUP2 0000058c: LT 0000058d: ISZERO 0000058e: PUSH2 0x0596 00000591: JUMPI 00000592: PUSH1 0x00 00000594: DUP1 00000595: REVERT 00000596: JUMPDEST 00000597: POP 00000598: CALLDATALOAD 00000599: PUSH2 0x0cd3 0000059c: JUMP 0000059d: JUMPDEST 0000059e: CALLVALUE 0000059f: DUP1 000005a0: ISZERO 000005a1: PUSH2 0x05a9 000005a4: JUMPI 000005a5: PUSH1 0x00 000005a7: DUP1 000005a8: REVERT 000005a9: JUMPDEST 000005aa: POP 000005ab: PUSH2 0x02d4 000005ae: PUSH2 0x0ef7 000005b1: JUMP 000005b2: JUMPDEST 000005b3: CALLVALUE 000005b4: DUP1 000005b5: ISZERO 000005b6: PUSH2 0x05be 000005b9: JUMPI 000005ba: PUSH1 0x00 000005bc: DUP1 000005bd: REVERT 000005be: JUMPDEST 000005bf: POP 000005c0: PUSH2 0x0305 000005c3: PUSH2 0x0f06 000005c6: JUMP 000005c7: JUMPDEST 000005c8: CALLVALUE 000005c9: DUP1 000005ca: ISZERO 000005cb: PUSH2 0x05d3 000005ce: JUMPI 000005cf: PUSH1 0x00 000005d1: DUP1 000005d2: REVERT 000005d3: JUMPDEST 000005d4: POP 000005d5: PUSH2 0x034a 000005d8: PUSH1 0x04 000005da: DUP1 000005db: CALLDATASIZE 000005dc: SUB 000005dd: PUSH1 0x20 000005df: DUP2 000005e0: LT 000005e1: ISZERO 000005e2: PUSH2 0x05ea 000005e5: JUMPI 000005e6: PUSH1 0x00 000005e8: DUP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: POP 000005ec: CALLDATALOAD 000005ed: PUSH1 0x01 000005ef: PUSH1 0x01 000005f1: PUSH1 0xa0 000005f3: SHL 000005f4: SUB 000005f5: AND 000005f6: PUSH2 0x0f0c 000005f9: JUMP 000005fa: JUMPDEST 000005fb: CALLVALUE 000005fc: DUP1 000005fd: ISZERO 000005fe: PUSH2 0x0606 00000601: JUMPI 00000602: PUSH1 0x00 00000604: DUP1 00000605: REVERT 00000606: JUMPDEST 00000607: POP 00000608: PUSH2 0x0305 0000060b: PUSH1 0x04 0000060d: DUP1 0000060e: CALLDATASIZE 0000060f: SUB 00000610: PUSH1 0x40 00000612: DUP2 00000613: LT 00000614: ISZERO 00000615: PUSH2 0x061d 00000618: JUMPI 00000619: PUSH1 0x00 0000061b: DUP1 0000061c: REVERT 0000061d: JUMPDEST 0000061e: POP 0000061f: PUSH1 0x01 00000621: PUSH1 0x01 00000623: PUSH1 0xa0 00000625: SHL 00000626: SUB 00000627: DUP2 00000628: CALLDATALOAD 00000629: DUP2 0000062a: AND 0000062b: SWAP2 0000062c: PUSH1 0x20 0000062e: ADD 0000062f: CALLDATALOAD 00000630: AND 00000631: PUSH2 0x0fb6 00000634: JUMP 00000635: JUMPDEST 00000636: CALLVALUE 00000637: DUP1 00000638: ISZERO 00000639: PUSH2 0x0641 0000063c: JUMPI 0000063d: PUSH1 0x00 0000063f: DUP1 00000640: REVERT 00000641: JUMPDEST 00000642: POP 00000643: PUSH2 0x0305 00000646: PUSH2 0x0fbe 00000649: JUMP 0000064a: JUMPDEST 0000064b: CALLVALUE 0000064c: DUP1 0000064d: ISZERO 0000064e: PUSH2 0x0656 00000651: JUMPI 00000652: PUSH1 0x00 00000654: DUP1 00000655: REVERT 00000656: JUMPDEST 00000657: POP 00000658: PUSH2 0x0305 0000065b: PUSH1 0x04 0000065d: DUP1 0000065e: CALLDATASIZE 0000065f: SUB 00000660: PUSH1 0x20 00000662: DUP2 00000663: LT 00000664: ISZERO 00000665: PUSH2 0x066d 00000668: JUMPI 00000669: PUSH1 0x00 0000066b: DUP1 0000066c: REVERT 0000066d: JUMPDEST 0000066e: POP 0000066f: CALLDATALOAD 00000670: PUSH1 0x01 00000672: PUSH1 0x01 00000674: PUSH1 0xa0 00000676: SHL 00000677: SUB 00000678: AND 00000679: PUSH2 0x106c 0000067c: JUMP 0000067d: JUMPDEST 0000067e: CALLVALUE 0000067f: DUP1 00000680: ISZERO 00000681: PUSH2 0x0689 00000684: JUMPI 00000685: PUSH1 0x00 00000687: DUP1 00000688: REVERT 00000689: JUMPDEST 0000068a: POP 0000068b: PUSH2 0x034a 0000068e: PUSH1 0x04 00000690: DUP1 00000691: CALLDATASIZE 00000692: SUB 00000693: PUSH1 0x40 00000695: DUP2 00000696: LT 00000697: ISZERO 00000698: PUSH2 0x06a0 0000069b: JUMPI 0000069c: PUSH1 0x00 0000069e: DUP1 0000069f: REVERT 000006a0: JUMPDEST 000006a1: POP 000006a2: PUSH1 0x01 000006a4: PUSH1 0x01 000006a6: PUSH1 0xa0 000006a8: SHL 000006a9: SUB 000006aa: DUP2 000006ab: CALLDATALOAD 000006ac: AND 000006ad: SWAP1 000006ae: PUSH1 0x20 000006b0: ADD 000006b1: CALLDATALOAD 000006b2: PUSH2 0x107e 000006b5: JUMP 000006b6: JUMPDEST 000006b7: CALLVALUE 000006b8: DUP1 000006b9: ISZERO 000006ba: PUSH2 0x06c2 000006bd: JUMPI 000006be: PUSH1 0x00 000006c0: DUP1 000006c1: REVERT 000006c2: JUMPDEST 000006c3: POP 000006c4: PUSH2 0x0305 000006c7: PUSH2 0x113c 000006ca: JUMP 000006cb: JUMPDEST 000006cc: CALLVALUE 000006cd: DUP1 000006ce: ISZERO 000006cf: PUSH2 0x06d7 000006d2: JUMPI 000006d3: PUSH1 0x00 000006d5: DUP1 000006d6: REVERT 000006d7: JUMPDEST 000006d8: POP 000006d9: PUSH2 0x034a 000006dc: PUSH1 0x04 000006de: DUP1 000006df: CALLDATASIZE 000006e0: SUB 000006e1: PUSH1 0x40 000006e3: DUP2 000006e4: LT 000006e5: ISZERO 000006e6: PUSH2 0x06ee 000006e9: JUMPI 000006ea: PUSH1 0x00 000006ec: DUP1 000006ed: REVERT 000006ee: JUMPDEST 000006ef: POP 000006f0: PUSH1 0x01 000006f2: PUSH1 0x01 000006f4: PUSH1 0xa0 000006f6: SHL 000006f7: SUB 000006f8: DUP2 000006f9: CALLDATALOAD 000006fa: AND 000006fb: SWAP1 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: CALLDATALOAD 00000700: PUSH2 0x1142 00000703: JUMP 00000704: JUMPDEST 00000705: CALLVALUE 00000706: DUP1 00000707: ISZERO 00000708: PUSH2 0x0710 0000070b: JUMPI 0000070c: PUSH1 0x00 0000070e: DUP1 0000070f: REVERT 00000710: JUMPDEST 00000711: POP 00000712: PUSH2 0x0305 00000715: PUSH1 0x04 00000717: DUP1 00000718: CALLDATASIZE 00000719: SUB 0000071a: PUSH1 0x20 0000071c: DUP2 0000071d: LT 0000071e: ISZERO 0000071f: PUSH2 0x0727 00000722: JUMPI 00000723: PUSH1 0x00 00000725: DUP1 00000726: REVERT 00000727: JUMPDEST 00000728: POP 00000729: CALLDATALOAD 0000072a: PUSH1 0x01 0000072c: PUSH1 0x01 0000072e: PUSH1 0xa0 00000730: SHL 00000731: SUB 00000732: AND 00000733: PUSH2 0x11eb 00000736: JUMP 00000737: JUMPDEST 00000738: CALLVALUE 00000739: DUP1 0000073a: ISZERO 0000073b: PUSH2 0x0743 0000073e: JUMPI 0000073f: PUSH1 0x00 00000741: DUP1 00000742: REVERT 00000743: JUMPDEST 00000744: POP 00000745: PUSH2 0x02d4 00000748: PUSH2 0x13cc 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x40 0000074f: MLOAD 00000750: DUP1 00000751: PUSH1 0x40 00000753: ADD 00000754: PUSH1 0x40 00000756: MSTORE 00000757: DUP1 00000758: PUSH1 0x0e 0000075a: DUP2 0000075b: MSTORE 0000075c: PUSH1 0x20 0000075e: ADD 0000075f: PUSH14 0x1615925608109d5c9b95985d5b1d 0000076e: PUSH1 0x92 00000770: SHL 00000771: DUP2 00000772: MSTORE 00000773: POP 00000774: DUP2 00000775: JUMP 00000776: JUMPDEST 00000777: PUSH1 0x40 00000779: DUP1 0000077a: MLOAD 0000077b: PUSH3 0x461bcd 0000077f: PUSH1 0xe5 00000781: SHL 00000782: DUP2 00000783: MSTORE 00000784: PUSH1 0x20 00000786: PUSH1 0x04 00000788: DUP3 00000789: ADD 0000078a: MSTORE 0000078b: PUSH1 0x1c 0000078d: PUSH1 0x24 0000078f: DUP3 00000790: ADD 00000791: MSTORE 00000792: PUSH32 0x4275726e5661756c743a206e6f6e2d7472616e736665727261626c6500000000 000007b3: PUSH1 0x44 000007b5: DUP3 000007b6: ADD 000007b7: MSTORE 000007b8: SWAP1 000007b9: MLOAD 000007ba: PUSH1 0x00 000007bc: SWAP2 000007bd: DUP2 000007be: SWAP1 000007bf: SUB 000007c0: PUSH1 0x64 000007c2: ADD 000007c3: SWAP1 000007c4: REVERT 000007c5: JUMPDEST 000007c6: PUSH1 0x03 000007c8: SLOAD 000007c9: PUSH1 0x01 000007cb: PUSH1 0x01 000007cd: PUSH1 0xa0 000007cf: SHL 000007d0: SUB 000007d1: AND 000007d2: DUP2 000007d3: JUMP 000007d4: JUMPDEST 000007d5: PUSH1 0x00 000007d7: PUSH2 0x07ea 000007da: PUSH2 0x07e1 000007dd: PUSH2 0x0fbe 000007e0: JUMP 000007e1: JUMPDEST 000007e2: PUSH1 0x06 000007e4: SLOAD 000007e5: SWAP1 000007e6: PUSH2 0x13db 000007e9: JUMP 000007ea: JUMPDEST 000007eb: SWAP1 000007ec: POP 000007ed: SWAP1 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x02 000007f2: PUSH1 0x00 000007f4: SLOAD 000007f5: EQ 000007f6: ISZERO 000007f7: PUSH2 0x0835 000007fa: JUMPI 000007fb: PUSH1 0x40 000007fd: DUP1 000007fe: MLOAD 000007ff: PUSH3 0x461bcd 00000803: PUSH1 0xe5 00000805: SHL 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x20 0000080a: PUSH1 0x04 0000080c: DUP3 0000080d: ADD 0000080e: MSTORE 0000080f: PUSH1 0x1f 00000811: PUSH1 0x24 00000813: DUP3 00000814: ADD 00000815: MSTORE 00000816: PUSH1 0x00 00000818: DUP1 00000819: MLOAD 0000081a: PUSH1 0x20 0000081c: PUSH2 0x1983 0000081f: DUP4 00000820: CODECOPY 00000821: DUP2 00000822: MLOAD 00000823: SWAP2 00000824: MSTORE 00000825: PUSH1 0x44 00000827: DUP3 00000828: ADD 00000829: MSTORE 0000082a: SWAP1 0000082b: MLOAD 0000082c: SWAP1 0000082d: DUP2 0000082e: SWAP1 0000082f: SUB 00000830: PUSH1 0x64 00000832: ADD 00000833: SWAP1 00000834: REVERT 00000835: JUMPDEST 00000836: PUSH1 0x02 00000838: PUSH1 0x00 0000083a: SSTORE 0000083b: CALLER 0000083c: PUSH2 0x0846 0000083f: DUP2 00000840: PUSH1 0x01 00000842: PUSH2 0x1424 00000845: JUMP 00000846: JUMPDEST 00000847: PUSH1 0x01 00000849: PUSH1 0x01 0000084b: PUSH1 0xa0 0000084d: SHL 0000084e: SUB 0000084f: DUP1 00000850: DUP3 00000851: AND 00000852: PUSH1 0x00 00000854: SWAP1 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x0a 00000859: PUSH1 0x20 0000085b: MSTORE 0000085c: PUSH1 0x40 0000085e: DUP1 0000085f: DUP3 00000860: KECCAK256 00000861: DUP1 00000862: SLOAD 00000863: SWAP1 00000864: DUP4 00000865: SWAP1 00000866: SSTORE 00000867: SWAP1 00000868: MLOAD 00000869: SWAP1 0000086a: SWAP3 0000086b: DUP6 0000086c: AND 0000086d: SWAP1 0000086e: DUP4 0000086f: SWAP1 00000870: DUP4 00000871: DUP2 00000872: DUP2 00000873: DUP2 00000874: DUP6 00000875: DUP8 00000876: GAS 00000877: CALL 00000878: SWAP3 00000879: POP 0000087a: POP 0000087b: POP 0000087c: RETURNDATASIZE 0000087d: DUP1 0000087e: PUSH1 0x00 00000880: DUP2 00000881: EQ 00000882: PUSH2 0x08a7 00000885: JUMPI 00000886: PUSH1 0x40 00000888: MLOAD 00000889: SWAP2 0000088a: POP 0000088b: PUSH1 0x1f 0000088d: NOT 0000088e: PUSH1 0x3f 00000890: RETURNDATASIZE 00000891: ADD 00000892: AND 00000893: DUP3 00000894: ADD 00000895: PUSH1 0x40 00000897: MSTORE 00000898: RETURNDATASIZE 00000899: DUP3 0000089a: MSTORE 0000089b: RETURNDATASIZE 0000089c: PUSH1 0x00 0000089e: PUSH1 0x20 000008a0: DUP5 000008a1: ADD 000008a2: RETURNDATACOPY 000008a3: PUSH2 0x08ac 000008a6: JUMP 000008a7: JUMPDEST 000008a8: PUSH1 0x60 000008aa: SWAP2 000008ab: POP 000008ac: JUMPDEST 000008ad: POP 000008ae: POP 000008af: SWAP1 000008b0: POP 000008b1: DUP1 000008b2: PUSH2 0x0902 000008b5: JUMPI 000008b6: PUSH1 0x40 000008b8: DUP1 000008b9: MLOAD 000008ba: PUSH3 0x461bcd 000008be: PUSH1 0xe5 000008c0: SHL 000008c1: DUP2 000008c2: MSTORE 000008c3: PUSH1 0x20 000008c5: PUSH1 0x04 000008c7: DUP3 000008c8: ADD 000008c9: MSTORE 000008ca: PUSH1 0x1a 000008cc: PUSH1 0x24 000008ce: DUP3 000008cf: ADD 000008d0: MSTORE 000008d1: PUSH32 0x4275726e5661756c743a207472616e73666572206661696c6564000000000000 000008f2: PUSH1 0x44 000008f4: DUP3 000008f5: ADD 000008f6: MSTORE 000008f7: SWAP1 000008f8: MLOAD 000008f9: SWAP1 000008fa: DUP2 000008fb: SWAP1 000008fc: SUB 000008fd: PUSH1 0x64 000008ff: ADD 00000900: SWAP1 00000901: REVERT 00000902: JUMPDEST 00000903: PUSH1 0x40 00000905: DUP1 00000906: MLOAD 00000907: PUSH1 0x01 00000909: PUSH1 0x01 0000090b: PUSH1 0xa0 0000090d: SHL 0000090e: SUB 0000090f: DUP7 00000910: AND 00000911: DUP2 00000912: MSTORE 00000913: PUSH1 0x20 00000915: DUP2 00000916: ADD 00000917: DUP5 00000918: SWAP1 00000919: MSTORE 0000091a: DUP2 0000091b: MLOAD 0000091c: PUSH32 0x47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4 0000093d: SWAP3 0000093e: SWAP2 0000093f: DUP2 00000940: SWAP1 00000941: SUB 00000942: SWAP1 00000943: SWAP2 00000944: ADD 00000945: SWAP1 00000946: LOG1 00000947: POP 00000948: POP 00000949: PUSH1 0x01 0000094b: PUSH1 0x00 0000094d: SSTORE 0000094e: POP 0000094f: POP 00000950: JUMP 00000951: JUMPDEST 00000952: PUSH1 0x01 00000954: SLOAD 00000955: PUSH1 0x40 00000957: DUP1 00000958: MLOAD 00000959: PUSH4 0x70a08231 0000095e: PUSH1 0xe0 00000960: SHL 00000961: DUP2 00000962: MSTORE 00000963: ADDRESS 00000964: PUSH1 0x04 00000966: DUP3 00000967: ADD 00000968: MSTORE 00000969: SWAP1 0000096a: MLOAD 0000096b: PUSH1 0x00 0000096d: SWAP3 0000096e: DUP4 0000096f: SWAP3 00000970: PUSH1 0x01 00000972: PUSH1 0x01 00000974: PUSH1 0xa0 00000976: SHL 00000977: SUB 00000978: SWAP1 00000979: SWAP2 0000097a: AND 0000097b: SWAP2 0000097c: PUSH4 0x70a08231 00000981: SWAP2 00000982: PUSH1 0x24 00000984: DUP1 00000985: DUP3 00000986: ADD 00000987: SWAP3 00000988: PUSH1 0x20 0000098a: SWAP3 0000098b: SWAP1 0000098c: SWAP2 0000098d: SWAP1 0000098e: DUP3 0000098f: SWAP1 00000990: SUB 00000991: ADD 00000992: DUP2 00000993: DUP7 00000994: DUP1 00000995: EXTCODESIZE 00000996: ISZERO 00000997: DUP1 00000998: ISZERO 00000999: PUSH2 0x09a1 0000099c: JUMPI 0000099d: PUSH1 0x00 0000099f: DUP1 000009a0: REVERT 000009a1: JUMPDEST 000009a2: POP 000009a3: GAS 000009a4: STATICCALL 000009a5: ISZERO 000009a6: DUP1 000009a7: ISZERO 000009a8: PUSH2 0x09b5 000009ab: JUMPI 000009ac: RETURNDATASIZE 000009ad: PUSH1 0x00 000009af: DUP1 000009b0: RETURNDATACOPY 000009b1: RETURNDATASIZE 000009b2: PUSH1 0x00 000009b4: REVERT 000009b5: JUMPDEST 000009b6: POP 000009b7: POP 000009b8: POP 000009b9: POP 000009ba: PUSH1 0x40 000009bc: MLOAD 000009bd: RETURNDATASIZE 000009be: PUSH1 0x20 000009c0: DUP2 000009c1: LT 000009c2: ISZERO 000009c3: PUSH2 0x09cb 000009c6: JUMPI 000009c7: PUSH1 0x00 000009c9: DUP1 000009ca: REVERT 000009cb: JUMPDEST 000009cc: POP 000009cd: MLOAD 000009ce: SWAP1 000009cf: POP 000009d0: PUSH2 0x09e1 000009d3: PUSH2 0x09da 000009d6: PUSH2 0x07d4 000009d9: JUMP 000009da: JUMPDEST 000009db: DUP3 000009dc: SWAP1 000009dd: PUSH2 0x15b4 000009e0: JUMP 000009e1: JUMPDEST 000009e2: SWAP2 000009e3: POP 000009e4: POP 000009e5: SWAP1 000009e6: JUMP 000009e7: JUMPDEST 000009e8: PUSH1 0x07 000009ea: PUSH1 0x20 000009ec: MSTORE 000009ed: PUSH1 0x00 000009ef: SWAP1 000009f0: DUP2 000009f1: MSTORE 000009f2: PUSH1 0x40 000009f4: SWAP1 000009f5: KECCAK256 000009f6: SLOAD 000009f7: DUP2 000009f8: JUMP 000009f9: JUMPDEST 000009fa: PUSH1 0x12 000009fc: DUP2 000009fd: JUMP 000009fe: JUMPDEST 000009ff: PUSH1 0x06 00000a01: SLOAD 00000a02: DUP2 00000a03: JUMP 00000a04: JUMPDEST 00000a05: PUSH1 0x02 00000a07: SLOAD 00000a08: PUSH1 0x01 00000a0a: PUSH1 0x01 00000a0c: PUSH1 0xa0 00000a0e: SHL 00000a0f: SUB 00000a10: AND 00000a11: DUP2 00000a12: JUMP 00000a13: JUMPDEST 00000a14: PUSH1 0x0b 00000a16: PUSH1 0x20 00000a18: MSTORE 00000a19: PUSH1 0x00 00000a1b: SWAP1 00000a1c: DUP2 00000a1d: MSTORE 00000a1e: PUSH1 0x40 00000a20: SWAP1 00000a21: KECCAK256 00000a22: SLOAD 00000a23: DUP2 00000a24: JUMP 00000a25: JUMPDEST 00000a26: PUSH1 0x00 00000a28: PUSH2 0x0a51 00000a2b: PUSH2 0x0a32 00000a2e: PUSH2 0x0fbe 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x01 00000a35: PUSH1 0x01 00000a37: PUSH1 0xa0 00000a39: SHL 00000a3a: SUB 00000a3b: DUP5 00000a3c: AND 00000a3d: PUSH1 0x00 00000a3f: SWAP1 00000a40: DUP2 00000a41: MSTORE 00000a42: PUSH1 0x07 00000a44: PUSH1 0x20 00000a46: MSTORE 00000a47: PUSH1 0x40 00000a49: SWAP1 00000a4a: KECCAK256 00000a4b: SLOAD 00000a4c: SWAP1 00000a4d: PUSH2 0x13db 00000a50: JUMP 00000a51: JUMPDEST 00000a52: SWAP3 00000a53: SWAP2 00000a54: POP 00000a55: POP 00000a56: JUMP 00000a57: JUMPDEST 00000a58: PUSH1 0x03 00000a5a: SLOAD 00000a5b: PUSH1 0x01 00000a5d: PUSH1 0x01 00000a5f: PUSH1 0xa0 00000a61: SHL 00000a62: SUB 00000a63: AND 00000a64: CALLER 00000a65: EQ 00000a66: PUSH2 0x0aad 00000a69: JUMPI 00000a6a: PUSH1 0x40 00000a6c: DUP1 00000a6d: MLOAD 00000a6e: PUSH3 0x461bcd 00000a72: PUSH1 0xe5 00000a74: SHL 00000a75: DUP2 00000a76: MSTORE 00000a77: PUSH1 0x20 00000a79: PUSH1 0x04 00000a7b: DUP3 00000a7c: ADD 00000a7d: MSTORE 00000a7e: PUSH1 0x14 00000a80: PUSH1 0x24 00000a82: DUP3 00000a83: ADD 00000a84: MSTORE 00000a85: PUSH20 0x213ab9372b30bab63a1d103337b93134b23232b7 00000a9a: PUSH1 0x61 00000a9c: SHL 00000a9d: PUSH1 0x44 00000a9f: DUP3 00000aa0: ADD 00000aa1: MSTORE 00000aa2: SWAP1 00000aa3: MLOAD 00000aa4: SWAP1 00000aa5: DUP2 00000aa6: SWAP1 00000aa7: SUB 00000aa8: PUSH1 0x64 00000aaa: ADD 00000aab: SWAP1 00000aac: REVERT 00000aad: JUMPDEST 00000aae: PUSH1 0x04 00000ab0: DUP1 00000ab1: SLOAD 00000ab2: PUSH1 0x01 00000ab4: PUSH1 0x01 00000ab6: PUSH1 0xa0 00000ab8: SHL 00000ab9: SUB 00000aba: NOT 00000abb: AND 00000abc: PUSH1 0x01 00000abe: PUSH1 0x01 00000ac0: PUSH1 0xa0 00000ac2: SHL 00000ac3: SUB 00000ac4: SWAP3 00000ac5: SWAP1 00000ac6: SWAP3 00000ac7: AND 00000ac8: SWAP2 00000ac9: SWAP1 00000aca: SWAP2 00000acb: OR 00000acc: SWAP1 00000acd: SSTORE 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH1 0x40 00000ad2: MLOAD 00000ad3: DUP1 00000ad4: PUSH1 0x40 00000ad6: ADD 00000ad7: PUSH1 0x40 00000ad9: MSTORE 00000ada: DUP1 00000adb: PUSH1 0x07 00000add: DUP2 00000ade: MSTORE 00000adf: PUSH1 0x20 00000ae1: ADD 00000ae2: PUSH7 0x2c2b24ac1d212b 00000aea: PUSH1 0xc9 00000aec: SHL 00000aed: DUP2 00000aee: MSTORE 00000aef: POP 00000af0: DUP2 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH1 0x08 00000af5: PUSH1 0x20 00000af7: MSTORE 00000af8: PUSH1 0x00 00000afa: SWAP1 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x40 00000aff: SWAP1 00000b00: KECCAK256 00000b01: SLOAD 00000b02: PUSH1 0xff 00000b04: AND 00000b05: DUP2 00000b06: JUMP 00000b07: JUMPDEST 00000b08: PUSH1 0x03 00000b0a: SLOAD 00000b0b: PUSH1 0x01 00000b0d: PUSH1 0x01 00000b0f: PUSH1 0xa0 00000b11: SHL 00000b12: SUB 00000b13: AND 00000b14: CALLER 00000b15: EQ 00000b16: PUSH2 0x0b5d 00000b19: JUMPI 00000b1a: PUSH1 0x40 00000b1c: DUP1 00000b1d: MLOAD 00000b1e: PUSH3 0x461bcd 00000b22: PUSH1 0xe5 00000b24: SHL 00000b25: DUP2 00000b26: MSTORE 00000b27: PUSH1 0x20 00000b29: PUSH1 0x04 00000b2b: DUP3 00000b2c: ADD 00000b2d: MSTORE 00000b2e: PUSH1 0x14 00000b30: PUSH1 0x24 00000b32: DUP3 00000b33: ADD 00000b34: MSTORE 00000b35: PUSH20 0x213ab9372b30bab63a1d103337b93134b23232b7 00000b4a: PUSH1 0x61 00000b4c: SHL 00000b4d: PUSH1 0x44 00000b4f: DUP3 00000b50: ADD 00000b51: MSTORE 00000b52: SWAP1 00000b53: MLOAD 00000b54: SWAP1 00000b55: DUP2 00000b56: SWAP1 00000b57: SUB 00000b58: PUSH1 0x64 00000b5a: ADD 00000b5b: SWAP1 00000b5c: REVERT 00000b5d: JUMPDEST 00000b5e: PUSH1 0x01 00000b60: PUSH1 0x01 00000b62: PUSH1 0xa0 00000b64: SHL 00000b65: SUB 00000b66: DUP2 00000b67: AND 00000b68: PUSH1 0x00 00000b6a: SWAP1 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x08 00000b6f: PUSH1 0x20 00000b71: MSTORE 00000b72: PUSH1 0x40 00000b74: SWAP1 00000b75: KECCAK256 00000b76: SLOAD 00000b77: PUSH1 0xff 00000b79: AND 00000b7a: PUSH2 0x0bca 00000b7d: JUMPI 00000b7e: PUSH1 0x40 00000b80: DUP1 00000b81: MLOAD 00000b82: PUSH3 0x461bcd 00000b86: PUSH1 0xe5 00000b88: SHL 00000b89: DUP2 00000b8a: MSTORE 00000b8b: PUSH1 0x20 00000b8d: PUSH1 0x04 00000b8f: DUP3 00000b90: ADD 00000b91: MSTORE 00000b92: PUSH1 0x19 00000b94: PUSH1 0x24 00000b96: DUP3 00000b97: ADD 00000b98: MSTORE 00000b99: PUSH32 0x4275726e5661756c743a20696e76616c69642073656e64657200000000000000 00000bba: PUSH1 0x44 00000bbc: DUP3 00000bbd: ADD 00000bbe: MSTORE 00000bbf: SWAP1 00000bc0: MLOAD 00000bc1: SWAP1 00000bc2: DUP2 00000bc3: SWAP1 00000bc4: SUB 00000bc5: PUSH1 0x64 00000bc7: ADD 00000bc8: SWAP1 00000bc9: REVERT 00000bca: JUMPDEST 00000bcb: PUSH1 0x01 00000bcd: PUSH1 0x01 00000bcf: PUSH1 0xa0 00000bd1: SHL 00000bd2: SUB 00000bd3: AND 00000bd4: PUSH1 0x00 00000bd6: SWAP1 00000bd7: DUP2 00000bd8: MSTORE 00000bd9: PUSH1 0x08 00000bdb: PUSH1 0x20 00000bdd: MSTORE 00000bde: PUSH1 0x40 00000be0: SWAP1 00000be1: KECCAK256 00000be2: DUP1 00000be3: SLOAD 00000be4: PUSH1 0xff 00000be6: NOT 00000be7: AND 00000be8: SWAP1 00000be9: SSTORE 00000bea: JUMP 00000beb: JUMPDEST 00000bec: PUSH1 0x03 00000bee: SLOAD 00000bef: PUSH1 0x01 00000bf1: PUSH1 0x01 00000bf3: PUSH1 0xa0 00000bf5: SHL 00000bf6: SUB 00000bf7: AND 00000bf8: CALLER 00000bf9: EQ 00000bfa: PUSH2 0x0c41 00000bfd: JUMPI 00000bfe: PUSH1 0x40 00000c00: DUP1 00000c01: MLOAD 00000c02: PUSH3 0x461bcd 00000c06: PUSH1 0xe5 00000c08: SHL 00000c09: DUP2 00000c0a: MSTORE 00000c0b: PUSH1 0x20 00000c0d: PUSH1 0x04 00000c0f: DUP3 00000c10: ADD 00000c11: MSTORE 00000c12: PUSH1 0x14 00000c14: PUSH1 0x24 00000c16: DUP3 00000c17: ADD 00000c18: MSTORE 00000c19: PUSH20 0x213ab9372b30bab63a1d103337b93134b23232b7 00000c2e: PUSH1 0x61 00000c30: SHL 00000c31: PUSH1 0x44 00000c33: DUP3 00000c34: ADD 00000c35: MSTORE 00000c36: SWAP1 00000c37: MLOAD 00000c38: SWAP1 00000c39: DUP2 00000c3a: SWAP1 00000c3b: SUB 00000c3c: PUSH1 0x64 00000c3e: ADD 00000c3f: SWAP1 00000c40: REVERT 00000c41: JUMPDEST 00000c42: PUSH1 0x01 00000c44: PUSH1 0x01 00000c46: PUSH1 0xa0 00000c48: SHL 00000c49: SUB 00000c4a: DUP2 00000c4b: AND 00000c4c: PUSH1 0x00 00000c4e: SWAP1 00000c4f: DUP2 00000c50: MSTORE 00000c51: PUSH1 0x08 00000c53: PUSH1 0x20 00000c55: MSTORE 00000c56: PUSH1 0x40 00000c58: SWAP1 00000c59: KECCAK256 00000c5a: SLOAD 00000c5b: PUSH1 0xff 00000c5d: AND 00000c5e: ISZERO 00000c5f: PUSH2 0x0caf 00000c62: JUMPI 00000c63: PUSH1 0x40 00000c65: DUP1 00000c66: MLOAD 00000c67: PUSH3 0x461bcd 00000c6b: PUSH1 0xe5 00000c6d: SHL 00000c6e: DUP2 00000c6f: MSTORE 00000c70: PUSH1 0x20 00000c72: PUSH1 0x04 00000c74: DUP3 00000c75: ADD 00000c76: MSTORE 00000c77: PUSH1 0x1f 00000c79: PUSH1 0x24 00000c7b: DUP3 00000c7c: ADD 00000c7d: MSTORE 00000c7e: PUSH32 0x4275726e5661756c743a2073656e64657220616c726561647920616464656400 00000c9f: PUSH1 0x44 00000ca1: DUP3 00000ca2: ADD 00000ca3: MSTORE 00000ca4: SWAP1 00000ca5: MLOAD 00000ca6: SWAP1 00000ca7: DUP2 00000ca8: SWAP1 00000ca9: SUB 00000caa: PUSH1 0x64 00000cac: ADD 00000cad: SWAP1 00000cae: REVERT 00000caf: JUMPDEST 00000cb0: PUSH1 0x01 00000cb2: PUSH1 0x01 00000cb4: PUSH1 0xa0 00000cb6: SHL 00000cb7: SUB 00000cb8: AND 00000cb9: PUSH1 0x00 00000cbb: SWAP1 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x08 00000cc0: PUSH1 0x20 00000cc2: MSTORE 00000cc3: PUSH1 0x40 00000cc5: SWAP1 00000cc6: KECCAK256 00000cc7: DUP1 00000cc8: SLOAD 00000cc9: PUSH1 0xff 00000ccb: NOT 00000ccc: AND 00000ccd: PUSH1 0x01 00000ccf: OR 00000cd0: SWAP1 00000cd1: SSTORE 00000cd2: JUMP 00000cd3: JUMPDEST 00000cd4: PUSH1 0x02 00000cd6: PUSH1 0x00 00000cd8: SLOAD 00000cd9: EQ 00000cda: ISZERO 00000cdb: PUSH2 0x0d19 00000cde: JUMPI 00000cdf: PUSH1 0x40 00000ce1: DUP1 00000ce2: MLOAD 00000ce3: PUSH3 0x461bcd 00000ce7: PUSH1 0xe5 00000ce9: SHL 00000cea: DUP2 00000ceb: MSTORE 00000cec: PUSH1 0x20 00000cee: PUSH1 0x04 00000cf0: DUP3 00000cf1: ADD 00000cf2: MSTORE 00000cf3: PUSH1 0x1f 00000cf5: PUSH1 0x24 00000cf7: DUP3 00000cf8: ADD 00000cf9: MSTORE 00000cfa: PUSH1 0x00 00000cfc: DUP1 00000cfd: MLOAD 00000cfe: PUSH1 0x20 00000d00: PUSH2 0x1983 00000d03: DUP4 00000d04: CODECOPY 00000d05: DUP2 00000d06: MLOAD 00000d07: SWAP2 00000d08: MSTORE 00000d09: PUSH1 0x44 00000d0b: DUP3 00000d0c: ADD 00000d0d: MSTORE 00000d0e: SWAP1 00000d0f: MLOAD 00000d10: SWAP1 00000d11: DUP2 00000d12: SWAP1 00000d13: SUB 00000d14: PUSH1 0x64 00000d16: ADD 00000d17: SWAP1 00000d18: REVERT 00000d19: JUMPDEST 00000d1a: PUSH1 0x02 00000d1c: PUSH1 0x00 00000d1e: SSTORE 00000d1f: DUP1 00000d20: PUSH2 0x0d70 00000d23: JUMPI 00000d24: PUSH1 0x40 00000d26: DUP1 00000d27: MLOAD 00000d28: PUSH3 0x461bcd 00000d2c: PUSH1 0xe5 00000d2e: SHL 00000d2f: DUP2 00000d30: MSTORE 00000d31: PUSH1 0x20 00000d33: PUSH1 0x04 00000d35: DUP3 00000d36: ADD 00000d37: MSTORE 00000d38: PUSH1 0x1e 00000d3a: PUSH1 0x24 00000d3c: DUP3 00000d3d: ADD 00000d3e: MSTORE 00000d3f: PUSH32 0x4275726e5661756c743a20696e73756666696369656e7420616d6f756e740000 00000d60: PUSH1 0x44 00000d62: DUP3 00000d63: ADD 00000d64: MSTORE 00000d65: SWAP1 00000d66: MLOAD 00000d67: SWAP1 00000d68: DUP2 00000d69: SWAP1 00000d6a: SUB 00000d6b: PUSH1 0x64 00000d6d: ADD 00000d6e: SWAP1 00000d6f: REVERT 00000d70: JUMPDEST 00000d71: CALLER 00000d72: PUSH2 0x0d7c 00000d75: DUP2 00000d76: PUSH1 0x01 00000d78: PUSH2 0x1424 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: PUSH1 0x01 00000d7f: SLOAD 00000d80: PUSH1 0x40 00000d82: DUP1 00000d83: MLOAD 00000d84: PUSH4 0x23b872dd 00000d89: PUSH1 0xe0 00000d8b: SHL 00000d8c: DUP2 00000d8d: MSTORE 00000d8e: PUSH1 0x01 00000d90: PUSH1 0x01 00000d92: PUSH1 0xa0 00000d94: SHL 00000d95: SUB 00000d96: DUP5 00000d97: DUP2 00000d98: AND 00000d99: PUSH1 0x04 00000d9b: DUP4 00000d9c: ADD 00000d9d: MSTORE 00000d9e: ADDRESS 00000d9f: PUSH1 0x24 00000da1: DUP4 00000da2: ADD 00000da3: MSTORE 00000da4: PUSH1 0x44 00000da6: DUP3 00000da7: ADD 00000da8: DUP7 00000da9: SWAP1 00000daa: MSTORE 00000dab: SWAP2 00000dac: MLOAD 00000dad: SWAP2 00000dae: SWAP1 00000daf: SWAP3 00000db0: AND 00000db1: SWAP2 00000db2: PUSH4 0x23b872dd 00000db7: SWAP2 00000db8: PUSH1 0x64 00000dba: DUP1 00000dbb: DUP4 00000dbc: ADD 00000dbd: SWAP3 00000dbe: PUSH1 0x20 00000dc0: SWAP3 00000dc1: SWAP2 00000dc2: SWAP1 00000dc3: DUP3 00000dc4: SWAP1 00000dc5: SUB 00000dc6: ADD 00000dc7: DUP2 00000dc8: PUSH1 0x00 00000dca: DUP8 00000dcb: DUP1 00000dcc: EXTCODESIZE 00000dcd: ISZERO 00000dce: DUP1 00000dcf: ISZERO 00000dd0: PUSH2 0x0dd8 00000dd3: JUMPI 00000dd4: PUSH1 0x00 00000dd6: DUP1 00000dd7: REVERT 00000dd8: JUMPDEST 00000dd9: POP 00000dda: GAS 00000ddb: CALL 00000ddc: ISZERO 00000ddd: DUP1 00000dde: ISZERO 00000ddf: PUSH2 0x0dec 00000de2: JUMPI 00000de3: RETURNDATASIZE 00000de4: PUSH1 0x00 00000de6: DUP1 00000de7: RETURNDATACOPY 00000de8: RETURNDATASIZE 00000de9: PUSH1 0x00 00000deb: REVERT 00000dec: JUMPDEST 00000ded: POP 00000dee: POP 00000def: POP 00000df0: POP 00000df1: PUSH1 0x40 00000df3: MLOAD 00000df4: RETURNDATASIZE 00000df5: PUSH1 0x20 00000df7: DUP2 00000df8: LT 00000df9: ISZERO 00000dfa: PUSH2 0x0e02 00000dfd: JUMPI 00000dfe: PUSH1 0x00 00000e00: DUP1 00000e01: REVERT 00000e02: JUMPDEST 00000e03: POP 00000e04: PUSH1 0x00 00000e06: SWAP1 00000e07: POP 00000e08: PUSH2 0x0e19 00000e0b: PUSH2 0x0e12 00000e0e: PUSH2 0x0fbe 00000e11: JUMP 00000e12: JUMPDEST 00000e13: DUP5 00000e14: SWAP1 00000e15: PUSH2 0x15f6 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: PUSH1 0x01 00000e1c: PUSH1 0x01 00000e1e: PUSH1 0xa0 00000e20: SHL 00000e21: SUB 00000e22: DUP4 00000e23: AND 00000e24: PUSH1 0x00 00000e26: SWAP1 00000e27: DUP2 00000e28: MSTORE 00000e29: PUSH1 0x07 00000e2b: PUSH1 0x20 00000e2d: MSTORE 00000e2e: PUSH1 0x40 00000e30: SWAP1 00000e31: KECCAK256 00000e32: SLOAD 00000e33: SWAP1 00000e34: SWAP2 00000e35: POP 00000e36: PUSH2 0x0e3f 00000e39: SWAP1 00000e3a: DUP3 00000e3b: PUSH2 0x164f 00000e3e: JUMP 00000e3f: JUMPDEST 00000e40: PUSH1 0x01 00000e42: PUSH1 0x01 00000e44: PUSH1 0xa0 00000e46: SHL 00000e47: SUB 00000e48: DUP4 00000e49: AND 00000e4a: PUSH1 0x00 00000e4c: SWAP1 00000e4d: DUP2 00000e4e: MSTORE 00000e4f: PUSH1 0x07 00000e51: PUSH1 0x20 00000e53: MSTORE 00000e54: PUSH1 0x40 00000e56: SWAP1 00000e57: KECCAK256 00000e58: SSTORE 00000e59: PUSH1 0x06 00000e5b: SLOAD 00000e5c: PUSH2 0x0e65 00000e5f: SWAP1 00000e60: DUP3 00000e61: PUSH2 0x164f 00000e64: JUMP 00000e65: JUMPDEST 00000e66: PUSH1 0x06 00000e68: SSTORE 00000e69: PUSH1 0x40 00000e6b: DUP1 00000e6c: MLOAD 00000e6d: PUSH1 0x01 00000e6f: PUSH1 0x01 00000e71: PUSH1 0xa0 00000e73: SHL 00000e74: SUB 00000e75: DUP5 00000e76: AND 00000e77: DUP2 00000e78: MSTORE 00000e79: PUSH1 0x20 00000e7b: DUP2 00000e7c: ADD 00000e7d: DUP6 00000e7e: SWAP1 00000e7f: MSTORE 00000e80: DUP2 00000e81: MLOAD 00000e82: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000ea3: SWAP3 00000ea4: SWAP2 00000ea5: DUP2 00000ea6: SWAP1 00000ea7: SUB 00000ea8: SWAP1 00000ea9: SWAP2 00000eaa: ADD 00000eab: SWAP1 00000eac: LOG1 00000ead: PUSH1 0x40 00000eaf: DUP1 00000eb0: MLOAD 00000eb1: DUP5 00000eb2: DUP2 00000eb3: MSTORE 00000eb4: SWAP1 00000eb5: MLOAD 00000eb6: PUSH1 0x01 00000eb8: PUSH1 0x01 00000eba: PUSH1 0xa0 00000ebc: SHL 00000ebd: SUB 00000ebe: DUP5 00000ebf: AND 00000ec0: SWAP2 00000ec1: PUSH1 0x00 00000ec3: SWAP2 00000ec4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000ee5: SWAP2 00000ee6: DUP2 00000ee7: SWAP1 00000ee8: SUB 00000ee9: PUSH1 0x20 00000eeb: ADD 00000eec: SWAP1 00000eed: LOG3 00000eee: POP 00000eef: POP 00000ef0: PUSH1 0x01 00000ef2: PUSH1 0x00 00000ef4: SSTORE 00000ef5: POP 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: PUSH1 0x04 00000efa: SLOAD 00000efb: PUSH1 0x01 00000efd: PUSH1 0x01 00000eff: PUSH1 0xa0 00000f01: SHL 00000f02: SUB 00000f03: AND 00000f04: DUP2 00000f05: JUMP 00000f06: JUMPDEST 00000f07: PUSH1 0x05 00000f09: SLOAD 00000f0a: DUP2 00000f0b: JUMP 00000f0c: JUMPDEST 00000f0d: PUSH1 0x03 00000f0f: SLOAD 00000f10: PUSH1 0x01 00000f12: PUSH1 0x01 00000f14: PUSH1 0xa0 00000f16: SHL 00000f17: SUB 00000f18: AND 00000f19: CALLER 00000f1a: EQ 00000f1b: PUSH2 0x0f62 00000f1e: JUMPI 00000f1f: PUSH1 0x40 00000f21: DUP1 00000f22: MLOAD 00000f23: PUSH3 0x461bcd 00000f27: PUSH1 0xe5 00000f29: SHL 00000f2a: DUP2 00000f2b: MSTORE 00000f2c: PUSH1 0x20 00000f2e: PUSH1 0x04 00000f30: DUP3 00000f31: ADD 00000f32: MSTORE 00000f33: PUSH1 0x14 00000f35: PUSH1 0x24 00000f37: DUP3 00000f38: ADD 00000f39: MSTORE 00000f3a: PUSH20 0x213ab9372b30bab63a1d103337b93134b23232b7 00000f4f: PUSH1 0x61 00000f51: SHL 00000f52: PUSH1 0x44 00000f54: DUP3 00000f55: ADD 00000f56: MSTORE 00000f57: SWAP1 00000f58: MLOAD 00000f59: SWAP1 00000f5a: DUP2 00000f5b: SWAP1 00000f5c: SUB 00000f5d: PUSH1 0x64 00000f5f: ADD 00000f60: SWAP1 00000f61: REVERT 00000f62: JUMPDEST 00000f63: PUSH1 0x03 00000f65: DUP1 00000f66: SLOAD 00000f67: PUSH1 0x01 00000f69: PUSH1 0x01 00000f6b: PUSH1 0xa0 00000f6d: SHL 00000f6e: SUB 00000f6f: DUP4 00000f70: AND 00000f71: PUSH1 0x01 00000f73: PUSH1 0x01 00000f75: PUSH1 0xa0 00000f77: SHL 00000f78: SUB 00000f79: NOT 00000f7a: SWAP1 00000f7b: SWAP2 00000f7c: AND 00000f7d: DUP2 00000f7e: OR 00000f7f: SWAP1 00000f80: SWAP2 00000f81: SSTORE 00000f82: PUSH1 0x40 00000f84: DUP1 00000f85: MLOAD 00000f86: SWAP2 00000f87: DUP3 00000f88: MSTORE 00000f89: MLOAD 00000f8a: PUSH32 0x2c5d53cd16ceaf62d39256419d59e80a42575bfc21eab954015ca61b42dbe461 00000fab: SWAP2 00000fac: DUP2 00000fad: SWAP1 00000fae: SUB 00000faf: PUSH1 0x20 00000fb1: ADD 00000fb2: SWAP1 00000fb3: LOG1 00000fb4: POP 00000fb5: JUMP 00000fb6: JUMPDEST 00000fb7: PUSH1 0x00 00000fb9: SWAP3 00000fba: SWAP2 00000fbb: POP 00000fbc: POP 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH1 0x00 00000fc1: DUP1 00000fc2: PUSH1 0x01 00000fc4: PUSH1 0x00 00000fc6: SWAP1 00000fc7: SLOAD 00000fc8: SWAP1 00000fc9: PUSH2 0x0100 00000fcc: EXP 00000fcd: SWAP1 00000fce: DIV 00000fcf: PUSH1 0x01 00000fd1: PUSH1 0x01 00000fd3: PUSH1 0xa0 00000fd5: SHL 00000fd6: SUB 00000fd7: AND 00000fd8: PUSH1 0x01 00000fda: PUSH1 0x01 00000fdc: PUSH1 0xa0 00000fde: SHL 00000fdf: SUB 00000fe0: AND 00000fe1: PUSH4 0x40062af4 00000fe6: PUSH1 0x40 00000fe8: MLOAD 00000fe9: DUP2 00000fea: PUSH4 0xffffffff 00000fef: AND 00000ff0: PUSH1 0xe0 00000ff2: SHL 00000ff3: DUP2 00000ff4: MSTORE 00000ff5: PUSH1 0x04 00000ff7: ADD 00000ff8: PUSH1 0x20 00000ffa: PUSH1 0x40 00000ffc: MLOAD 00000ffd: DUP1 00000ffe: DUP4 00000fff: SUB 00001000: DUP2 00001001: DUP7 00001002: DUP1 00001003: EXTCODESIZE 00001004: ISZERO 00001005: DUP1 00001006: ISZERO 00001007: PUSH2 0x100f 0000100a: JUMPI 0000100b: PUSH1 0x00 0000100d: DUP1 0000100e: REVERT 0000100f: JUMPDEST 00001010: POP 00001011: GAS 00001012: STATICCALL 00001013: ISZERO 00001014: DUP1 00001015: ISZERO 00001016: PUSH2 0x1023 00001019: JUMPI 0000101a: RETURNDATASIZE 0000101b: PUSH1 0x00 0000101d: DUP1 0000101e: RETURNDATACOPY 0000101f: RETURNDATASIZE 00001020: PUSH1 0x00 00001022: REVERT 00001023: JUMPDEST 00001024: POP 00001025: POP 00001026: POP 00001027: POP 00001028: PUSH1 0x40 0000102a: MLOAD 0000102b: RETURNDATASIZE 0000102c: PUSH1 0x20 0000102e: DUP2 0000102f: LT 00001030: ISZERO 00001031: PUSH2 0x1039 00001034: JUMPI 00001035: PUSH1 0x00 00001037: DUP1 00001038: REVERT 00001039: JUMPDEST 0000103a: POP 0000103b: MLOAD 0000103c: PUSH1 0x05 0000103e: SLOAD 0000103f: SWAP1 00001040: SWAP2 00001041: POP 00001042: PUSH1 0x00 00001044: PUSH2 0x1058 00001047: PUSH1 0x02 00001049: PUSH2 0x1052 0000104c: DUP6 0000104d: DUP6 0000104e: PUSH2 0x15b4 00001051: JUMP 00001052: JUMPDEST 00001053: SWAP1 00001054: PUSH2 0x13db 00001057: JUMP 00001058: JUMPDEST 00001059: SWAP1 0000105a: POP 0000105b: PUSH2 0x1064 0000105e: DUP3 0000105f: DUP3 00001060: PUSH2 0x164f 00001063: JUMP 00001064: JUMPDEST 00001065: SWAP4 00001066: POP 00001067: POP 00001068: POP 00001069: POP 0000106a: SWAP1 0000106b: JUMP 0000106c: JUMPDEST 0000106d: PUSH1 0x0a 0000106f: PUSH1 0x20 00001071: MSTORE 00001072: PUSH1 0x00 00001074: SWAP1 00001075: DUP2 00001076: MSTORE 00001077: PUSH1 0x40 00001079: SWAP1 0000107a: KECCAK256 0000107b: SLOAD 0000107c: DUP2 0000107d: JUMP 0000107e: JUMPDEST 0000107f: PUSH1 0x02 00001081: PUSH1 0x00 00001083: SLOAD 00001084: EQ 00001085: ISZERO 00001086: PUSH2 0x10c4 00001089: JUMPI 0000108a: PUSH1 0x40 0000108c: DUP1 0000108d: MLOAD 0000108e: PUSH3 0x461bcd 00001092: PUSH1 0xe5 00001094: SHL 00001095: DUP2 00001096: MSTORE 00001097: PUSH1 0x20 00001099: PUSH1 0x04 0000109b: DUP3 0000109c: ADD 0000109d: MSTORE 0000109e: PUSH1 0x1f 000010a0: PUSH1 0x24 000010a2: DUP3 000010a3: ADD 000010a4: MSTORE 000010a5: PUSH1 0x00 000010a7: DUP1 000010a8: MLOAD 000010a9: PUSH1 0x20 000010ab: PUSH2 0x1983 000010ae: DUP4 000010af: CODECOPY 000010b0: DUP2 000010b1: MLOAD 000010b2: SWAP2 000010b3: MSTORE 000010b4: PUSH1 0x44 000010b6: DUP3 000010b7: ADD 000010b8: MSTORE 000010b9: SWAP1 000010ba: MLOAD 000010bb: SWAP1 000010bc: DUP2 000010bd: SWAP1 000010be: SUB 000010bf: PUSH1 0x64 000010c1: ADD 000010c2: SWAP1 000010c3: REVERT 000010c4: JUMPDEST 000010c5: PUSH1 0x02 000010c7: PUSH1 0x00 000010c9: SSTORE 000010ca: DUP1 000010cb: PUSH2 0x111b 000010ce: JUMPI 000010cf: PUSH1 0x40 000010d1: DUP1 000010d2: MLOAD 000010d3: PUSH3 0x461bcd 000010d7: PUSH1 0xe5 000010d9: SHL 000010da: DUP2 000010db: MSTORE 000010dc: PUSH1 0x20 000010de: PUSH1 0x04 000010e0: DUP3 000010e1: ADD 000010e2: MSTORE 000010e3: PUSH1 0x1e 000010e5: PUSH1 0x24 000010e7: DUP3 000010e8: ADD 000010e9: MSTORE 000010ea: PUSH32 0x4275726e5661756c743a20696e73756666696369656e7420616d6f756e740000 0000110b: PUSH1 0x44 0000110d: DUP3 0000110e: ADD 0000110f: MSTORE 00001110: SWAP1 00001111: MLOAD 00001112: SWAP1 00001113: DUP2 00001114: SWAP1 00001115: SUB 00001116: PUSH1 0x64 00001118: ADD 00001119: SWAP1 0000111a: REVERT 0000111b: JUMPDEST 0000111c: CALLER 0000111d: PUSH2 0x1127 00001120: DUP2 00001121: PUSH1 0x01 00001123: PUSH2 0x1424 00001126: JUMP 00001127: JUMPDEST 00001128: PUSH2 0x1132 0000112b: DUP2 0000112c: DUP5 0000112d: DUP5 0000112e: PUSH2 0x16a9 00001131: JUMP 00001132: JUMPDEST 00001133: POP 00001134: POP 00001135: PUSH1 0x01 00001137: PUSH1 0x00 00001139: SSTORE 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x09 0000113f: SLOAD 00001140: DUP2 00001141: JUMP 00001142: JUMPDEST 00001143: PUSH1 0x02 00001145: PUSH1 0x00 00001147: SLOAD 00001148: EQ 00001149: ISZERO 0000114a: PUSH2 0x1188 0000114d: JUMPI 0000114e: PUSH1 0x40 00001150: DUP1 00001151: MLOAD 00001152: PUSH3 0x461bcd 00001156: PUSH1 0xe5 00001158: SHL 00001159: DUP2 0000115a: MSTORE 0000115b: PUSH1 0x20 0000115d: PUSH1 0x04 0000115f: DUP3 00001160: ADD 00001161: MSTORE 00001162: PUSH1 0x1f 00001164: PUSH1 0x24 00001166: DUP3 00001167: ADD 00001168: MSTORE 00001169: PUSH1 0x00 0000116b: DUP1 0000116c: MLOAD 0000116d: PUSH1 0x20 0000116f: PUSH2 0x1983 00001172: DUP4 00001173: CODECOPY 00001174: DUP2 00001175: MLOAD 00001176: SWAP2 00001177: MSTORE 00001178: PUSH1 0x44 0000117a: DUP3 0000117b: ADD 0000117c: MSTORE 0000117d: SWAP1 0000117e: MLOAD 0000117f: SWAP1 00001180: DUP2 00001181: SWAP1 00001182: SUB 00001183: PUSH1 0x64 00001185: ADD 00001186: SWAP1 00001187: REVERT 00001188: JUMPDEST 00001189: PUSH1 0x02 0000118b: PUSH1 0x00 0000118d: SSTORE 0000118e: DUP1 0000118f: PUSH2 0x11df 00001192: JUMPI 00001193: PUSH1 0x40 00001195: DUP1 00001196: MLOAD 00001197: PUSH3 0x461bcd 0000119b: PUSH1 0xe5 0000119d: SHL 0000119e: DUP2 0000119f: MSTORE 000011a0: PUSH1 0x20 000011a2: PUSH1 0x04 000011a4: DUP3 000011a5: ADD 000011a6: MSTORE 000011a7: PUSH1 0x1e 000011a9: PUSH1 0x24 000011ab: DUP3 000011ac: ADD 000011ad: MSTORE 000011ae: PUSH32 0x4275726e5661756c743a20696e73756666696369656e7420616d6f756e740000 000011cf: PUSH1 0x44 000011d1: DUP3 000011d2: ADD 000011d3: MSTORE 000011d4: SWAP1 000011d5: MLOAD 000011d6: SWAP1 000011d7: DUP2 000011d8: SWAP1 000011d9: SUB 000011da: PUSH1 0x64 000011dc: ADD 000011dd: SWAP1 000011de: REVERT 000011df: JUMPDEST 000011e0: CALLER 000011e1: PUSH2 0x1127 000011e4: DUP2 000011e5: PUSH1 0x00 000011e7: PUSH2 0x1424 000011ea: JUMP 000011eb: JUMPDEST 000011ec: PUSH1 0x00 000011ee: PUSH1 0x02 000011f0: PUSH1 0x00 000011f2: SLOAD 000011f3: EQ 000011f4: ISZERO 000011f5: PUSH2 0x1233 000011f8: JUMPI 000011f9: PUSH1 0x40 000011fb: DUP1 000011fc: MLOAD 000011fd: PUSH3 0x461bcd 00001201: PUSH1 0xe5 00001203: SHL 00001204: DUP2 00001205: MSTORE 00001206: PUSH1 0x20 00001208: PUSH1 0x04 0000120a: DUP3 0000120b: ADD 0000120c: MSTORE 0000120d: PUSH1 0x1f 0000120f: PUSH1 0x24 00001211: DUP3 00001212: ADD 00001213: MSTORE 00001214: PUSH1 0x00 00001216: DUP1 00001217: MLOAD 00001218: PUSH1 0x20 0000121a: PUSH2 0x1983 0000121d: DUP4 0000121e: CODECOPY 0000121f: DUP2 00001220: MLOAD 00001221: SWAP2 00001222: MSTORE 00001223: PUSH1 0x44 00001225: DUP3 00001226: ADD 00001227: MSTORE 00001228: SWAP1 00001229: MLOAD 0000122a: SWAP1 0000122b: DUP2 0000122c: SWAP1 0000122d: SUB 0000122e: PUSH1 0x64 00001230: ADD 00001231: SWAP1 00001232: REVERT 00001233: JUMPDEST 00001234: PUSH1 0x02 00001236: PUSH1 0x00 00001238: SWAP1 00001239: DUP2 0000123a: SSTORE 0000123b: CALLER 0000123c: DUP2 0000123d: MSTORE 0000123e: PUSH1 0x08 00001240: PUSH1 0x20 00001242: MSTORE 00001243: PUSH1 0x40 00001245: SWAP1 00001246: KECCAK256 00001247: SLOAD 00001248: PUSH1 0xff 0000124a: AND 0000124b: PUSH2 0x1292 0000124e: JUMPI 0000124f: PUSH1 0x40 00001251: DUP1 00001252: MLOAD 00001253: PUSH3 0x461bcd 00001257: PUSH1 0xe5 00001259: SHL 0000125a: DUP2 0000125b: MSTORE 0000125c: PUSH1 0x20 0000125e: PUSH1 0x04 00001260: DUP3 00001261: ADD 00001262: MSTORE 00001263: PUSH1 0x14 00001265: PUSH1 0x24 00001267: DUP3 00001268: ADD 00001269: MSTORE 0000126a: PUSH20 0x213ab9372b30bab63a1d103337b93134b23232b7 0000127f: PUSH1 0x61 00001281: SHL 00001282: PUSH1 0x44 00001284: DUP3 00001285: ADD 00001286: MSTORE 00001287: SWAP1 00001288: MLOAD 00001289: SWAP1 0000128a: DUP2 0000128b: SWAP1 0000128c: SUB 0000128d: PUSH1 0x64 0000128f: ADD 00001290: SWAP1 00001291: REVERT 00001292: JUMPDEST 00001293: PUSH1 0x00 00001295: PUSH2 0x129c 00001298: PUSH2 0x0951 0000129b: JUMP 0000129c: JUMPDEST 0000129d: SWAP1 0000129e: POP 0000129f: DUP1 000012a0: PUSH2 0x12ad 000012a3: JUMPI 000012a4: PUSH1 0x00 000012a6: SWAP2 000012a7: POP 000012a8: POP 000012a9: PUSH2 0x13c2 000012ac: JUMP 000012ad: JUMPDEST 000012ae: PUSH1 0x02 000012b0: SLOAD 000012b1: PUSH1 0x40 000012b3: DUP1 000012b4: MLOAD 000012b5: PUSH4 0x013354a5 000012ba: PUSH1 0xe2 000012bc: SHL 000012bd: DUP2 000012be: MSTORE 000012bf: PUSH1 0x04 000012c1: DUP2 000012c2: ADD 000012c3: DUP5 000012c4: SWAP1 000012c5: MSTORE 000012c6: SWAP1 000012c7: MLOAD 000012c8: PUSH1 0x00 000012ca: SWAP3 000012cb: PUSH1 0x01 000012cd: PUSH1 0x01 000012cf: PUSH1 0xa0 000012d1: SHL 000012d2: SUB 000012d3: AND 000012d4: SWAP2 000012d5: PUSH4 0x04cd5294 000012da: SWAP2 000012db: PUSH1 0x24 000012dd: DUP1 000012de: DUP4 000012df: ADD 000012e0: SWAP3 000012e1: PUSH1 0x20 000012e3: SWAP3 000012e4: SWAP2 000012e5: SWAP1 000012e6: DUP3 000012e7: SWAP1 000012e8: SUB 000012e9: ADD 000012ea: DUP2 000012eb: DUP7 000012ec: DUP1 000012ed: EXTCODESIZE 000012ee: ISZERO 000012ef: DUP1 000012f0: ISZERO 000012f1: PUSH2 0x12f9 000012f4: JUMPI 000012f5: PUSH1 0x00 000012f7: DUP1 000012f8: REVERT 000012f9: JUMPDEST 000012fa: POP 000012fb: GAS 000012fc: STATICCALL 000012fd: ISZERO 000012fe: DUP1 000012ff: ISZERO 00001300: PUSH2 0x130d 00001303: JUMPI 00001304: RETURNDATASIZE 00001305: PUSH1 0x00 00001307: DUP1 00001308: RETURNDATACOPY 00001309: RETURNDATASIZE 0000130a: PUSH1 0x00 0000130c: REVERT 0000130d: JUMPDEST 0000130e: POP 0000130f: POP 00001310: POP 00001311: POP 00001312: PUSH1 0x40 00001314: MLOAD 00001315: RETURNDATASIZE 00001316: PUSH1 0x20 00001318: DUP2 00001319: LT 0000131a: ISZERO 0000131b: PUSH2 0x1323 0000131e: JUMPI 0000131f: PUSH1 0x00 00001321: DUP1 00001322: REVERT 00001323: JUMPDEST 00001324: POP 00001325: MLOAD 00001326: SWAP1 00001327: POP 00001328: DUP1 00001329: PUSH2 0x1337 0000132c: JUMPI 0000132d: PUSH1 0x00 0000132f: SWAP3 00001330: POP 00001331: POP 00001332: POP 00001333: PUSH2 0x13c2 00001336: JUMP 00001337: JUMPDEST 00001338: PUSH1 0x02 0000133a: SLOAD 0000133b: PUSH1 0x40 0000133d: DUP1 0000133e: MLOAD 0000133f: PUSH4 0x410085df 00001344: PUSH1 0xe0 00001346: SHL 00001347: DUP2 00001348: MSTORE 00001349: PUSH1 0x01 0000134b: PUSH1 0x01 0000134d: PUSH1 0xa0 0000134f: SHL 00001350: SUB 00001351: DUP8 00001352: DUP2 00001353: AND 00001354: PUSH1 0x04 00001356: DUP4 00001357: ADD 00001358: MSTORE 00001359: PUSH1 0x24 0000135b: DUP3 0000135c: ADD 0000135d: DUP7 0000135e: SWAP1 0000135f: MSTORE 00001360: SWAP2 00001361: MLOAD 00001362: PUSH1 0x00 00001364: SWAP4 00001365: SWAP3 00001366: SWAP1 00001367: SWAP3 00001368: AND 00001369: SWAP2 0000136a: PUSH4 0x410085df 0000136f: SWAP2 00001370: PUSH1 0x44 00001372: DUP1 00001373: DUP3 00001374: ADD 00001375: SWAP3 00001376: PUSH1 0x20 00001378: SWAP3 00001379: SWAP1 0000137a: SWAP2 0000137b: SWAP1 0000137c: DUP3 0000137d: SWAP1 0000137e: SUB 0000137f: ADD 00001380: DUP2 00001381: DUP8 00001382: DUP8 00001383: DUP1 00001384: EXTCODESIZE 00001385: ISZERO 00001386: DUP1 00001387: ISZERO 00001388: PUSH2 0x1390 0000138b: JUMPI 0000138c: PUSH1 0x00 0000138e: DUP1 0000138f: REVERT 00001390: JUMPDEST 00001391: POP 00001392: GAS 00001393: CALL 00001394: ISZERO 00001395: DUP1 00001396: ISZERO 00001397: PUSH2 0x13a4 0000139a: JUMPI 0000139b: RETURNDATASIZE 0000139c: PUSH1 0x00 0000139e: DUP1 0000139f: RETURNDATACOPY 000013a0: RETURNDATASIZE 000013a1: PUSH1 0x00 000013a3: REVERT 000013a4: JUMPDEST 000013a5: POP 000013a6: POP 000013a7: POP 000013a8: POP 000013a9: PUSH1 0x40 000013ab: MLOAD 000013ac: RETURNDATASIZE 000013ad: PUSH1 0x20 000013af: DUP2 000013b0: LT 000013b1: ISZERO 000013b2: PUSH2 0x13ba 000013b5: JUMPI 000013b6: PUSH1 0x00 000013b8: DUP1 000013b9: REVERT 000013ba: JUMPDEST 000013bb: POP 000013bc: MLOAD 000013bd: SWAP4 000013be: POP 000013bf: POP 000013c0: POP 000013c1: POP 000013c2: JUMPDEST 000013c3: PUSH1 0x01 000013c5: PUSH1 0x00 000013c7: SSTORE 000013c8: SWAP2 000013c9: SWAP1 000013ca: POP 000013cb: JUMP 000013cc: JUMPDEST 000013cd: PUSH1 0x01 000013cf: SLOAD 000013d0: PUSH1 0x01 000013d2: PUSH1 0x01 000013d4: PUSH1 0xa0 000013d6: SHL 000013d7: SUB 000013d8: AND 000013d9: DUP2 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH1 0x00 000013de: PUSH2 0x141d 000013e1: DUP4 000013e2: DUP4 000013e3: PUSH1 0x40 000013e5: MLOAD 000013e6: DUP1 000013e7: PUSH1 0x40 000013e9: ADD 000013ea: PUSH1 0x40 000013ec: MSTORE 000013ed: DUP1 000013ee: PUSH1 0x1a 000013f0: DUP2 000013f1: MSTORE 000013f2: PUSH1 0x20 000013f4: ADD 000013f5: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001416: DUP2 00001417: MSTORE 00001418: POP 00001419: PUSH2 0x1886 0000141c: JUMP 0000141d: JUMPDEST 0000141e: SWAP4 0000141f: SWAP3 00001420: POP 00001421: POP 00001422: POP 00001423: JUMP 00001424: JUMPDEST 00001425: PUSH1 0x00 00001427: DUP2 00001428: DUP1 00001429: ISZERO 0000142a: PUSH2 0x143d 0000142d: JUMPI 0000142e: POP 0000142f: PUSH1 0x04 00001431: SLOAD 00001432: PUSH1 0x01 00001434: PUSH1 0x01 00001436: PUSH1 0xa0 00001438: SHL 00001439: SUB 0000143a: AND 0000143b: ISZERO 0000143c: ISZERO 0000143d: JUMPDEST 0000143e: ISZERO 0000143f: PUSH2 0x14b5 00001442: JUMPI 00001443: PUSH1 0x04 00001445: DUP1 00001446: SLOAD 00001447: PUSH1 0x40 00001449: DUP1 0000144a: MLOAD 0000144b: PUSH4 0xe4fc6b6d 00001450: PUSH1 0xe0 00001452: SHL 00001453: DUP2 00001454: MSTORE 00001455: SWAP1 00001456: MLOAD 00001457: PUSH1 0x01 00001459: PUSH1 0x01 0000145b: PUSH1 0xa0 0000145d: SHL 0000145e: SUB 0000145f: SWAP1 00001460: SWAP3 00001461: AND 00001462: SWAP3 00001463: PUSH4 0xe4fc6b6d 00001468: SWAP3 00001469: DUP3 0000146a: DUP3 0000146b: ADD 0000146c: SWAP3 0000146d: PUSH1 0x20 0000146f: SWAP3 00001470: SWAP1 00001471: DUP3 00001472: SWAP1 00001473: SUB 00001474: ADD 00001475: DUP2 00001476: PUSH1 0x00 00001478: DUP8 00001479: DUP1 0000147a: EXTCODESIZE 0000147b: ISZERO 0000147c: DUP1 0000147d: ISZERO 0000147e: PUSH2 0x1486 00001481: JUMPI 00001482: PUSH1 0x00 00001484: DUP1 00001485: REVERT 00001486: JUMPDEST 00001487: POP 00001488: GAS 00001489: CALL 0000148a: ISZERO 0000148b: DUP1 0000148c: ISZERO 0000148d: PUSH2 0x149a 00001490: JUMPI 00001491: RETURNDATASIZE 00001492: PUSH1 0x00 00001494: DUP1 00001495: RETURNDATACOPY 00001496: RETURNDATASIZE 00001497: PUSH1 0x00 00001499: REVERT 0000149a: JUMPDEST 0000149b: POP 0000149c: POP 0000149d: POP 0000149e: POP 0000149f: PUSH1 0x40 000014a1: MLOAD 000014a2: RETURNDATASIZE 000014a3: PUSH1 0x20 000014a5: DUP2 000014a6: LT 000014a7: ISZERO 000014a8: PUSH2 0x14b0 000014ab: JUMPI 000014ac: PUSH1 0x00 000014ae: DUP1 000014af: REVERT 000014b0: JUMPDEST 000014b1: POP 000014b2: MLOAD 000014b3: SWAP1 000014b4: POP 000014b5: JUMPDEST 000014b6: PUSH1 0x09 000014b8: SLOAD 000014b9: PUSH1 0x06 000014bb: SLOAD 000014bc: ISZERO 000014bd: DUP1 000014be: ISZERO 000014bf: SWAP1 000014c0: PUSH2 0x14c9 000014c3: JUMPI 000014c4: POP 000014c5: PUSH1 0x00 000014c7: DUP3 000014c8: GT 000014c9: JUMPDEST 000014ca: ISZERO 000014cb: PUSH2 0x14ff 000014ce: JUMPI 000014cf: PUSH1 0x06 000014d1: SLOAD 000014d2: PUSH2 0x14f7 000014d5: SWAP1 000014d6: PUSH2 0x14f0 000014d9: SWAP1 000014da: PUSH2 0x1052 000014dd: DUP6 000014de: PUSH13 0x0c9f2c9cd04674edea40000000 000014ec: PUSH2 0x15f6 000014ef: JUMP 000014f0: JUMPDEST 000014f1: DUP3 000014f2: SWAP1 000014f3: PUSH2 0x164f 000014f6: JUMP 000014f7: JUMPDEST 000014f8: PUSH1 0x09 000014fa: DUP2 000014fb: SWAP1 000014fc: SSTORE 000014fd: SWAP1 000014fe: POP 000014ff: JUMPDEST 00001500: DUP1 00001501: PUSH2 0x150b 00001504: JUMPI 00001505: POP 00001506: POP 00001507: PUSH2 0x15b0 0000150a: JUMP 0000150b: JUMPDEST 0000150c: PUSH1 0x01 0000150e: PUSH1 0x01 00001510: PUSH1 0xa0 00001512: SHL 00001513: SUB 00001514: DUP5 00001515: AND 00001516: PUSH1 0x00 00001518: SWAP1 00001519: DUP2 0000151a: MSTORE 0000151b: PUSH1 0x0b 0000151d: PUSH1 0x20 0000151f: MSTORE 00001520: PUSH1 0x40 00001522: DUP2 00001523: KECCAK256 00001524: SLOAD 00001525: SWAP1 00001526: PUSH2 0x1584 00001529: PUSH2 0x1565 0000152c: PUSH13 0x0c9f2c9cd04674edea40000000 0000153a: PUSH2 0x1052 0000153d: PUSH2 0x1546 00001540: DUP8 00001541: DUP8 00001542: PUSH2 0x15b4 00001545: JUMP 00001546: JUMPDEST 00001547: PUSH1 0x01 00001549: PUSH1 0x01 0000154b: PUSH1 0xa0 0000154d: SHL 0000154e: SUB 0000154f: DUP12 00001550: AND 00001551: PUSH1 0x00 00001553: SWAP1 00001554: DUP2 00001555: MSTORE 00001556: PUSH1 0x07 00001558: PUSH1 0x20 0000155a: MSTORE 0000155b: PUSH1 0x40 0000155d: SWAP1 0000155e: KECCAK256 0000155f: SLOAD 00001560: SWAP1 00001561: PUSH2 0x15f6 00001564: JUMP 00001565: JUMPDEST 00001566: PUSH1 0x01 00001568: PUSH1 0x01 0000156a: PUSH1 0xa0 0000156c: SHL 0000156d: SUB 0000156e: DUP9 0000156f: AND 00001570: PUSH1 0x00 00001572: SWAP1 00001573: DUP2 00001574: MSTORE 00001575: PUSH1 0x0a 00001577: PUSH1 0x20 00001579: MSTORE 0000157a: PUSH1 0x40 0000157c: SWAP1 0000157d: KECCAK256 0000157e: SLOAD 0000157f: SWAP1 00001580: PUSH2 0x164f 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH1 0x01 00001587: PUSH1 0x01 00001589: PUSH1 0xa0 0000158b: SHL 0000158c: SUB 0000158d: DUP8 0000158e: AND 0000158f: PUSH1 0x00 00001591: SWAP1 00001592: DUP2 00001593: MSTORE 00001594: PUSH1 0x0a 00001596: PUSH1 0x20 00001598: SWAP1 00001599: DUP2 0000159a: MSTORE 0000159b: PUSH1 0x40 0000159d: DUP1 0000159e: DUP4 0000159f: KECCAK256 000015a0: SWAP4 000015a1: SWAP1 000015a2: SWAP4 000015a3: SSTORE 000015a4: PUSH1 0x0b 000015a6: SWAP1 000015a7: MSTORE 000015a8: KECCAK256 000015a9: SWAP3 000015aa: SWAP1 000015ab: SWAP3 000015ac: SSTORE 000015ad: POP 000015ae: POP 000015af: POP 000015b0: JUMPDEST 000015b1: POP 000015b2: POP 000015b3: JUMP 000015b4: JUMPDEST 000015b5: PUSH1 0x00 000015b7: PUSH2 0x141d 000015ba: DUP4 000015bb: DUP4 000015bc: PUSH1 0x40 000015be: MLOAD 000015bf: DUP1 000015c0: PUSH1 0x40 000015c2: ADD 000015c3: PUSH1 0x40 000015c5: MSTORE 000015c6: DUP1 000015c7: PUSH1 0x1e 000015c9: DUP2 000015ca: MSTORE 000015cb: PUSH1 0x20 000015cd: ADD 000015ce: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000015ef: DUP2 000015f0: MSTORE 000015f1: POP 000015f2: PUSH2 0x1928 000015f5: JUMP 000015f6: JUMPDEST 000015f7: PUSH1 0x00 000015f9: DUP3 000015fa: PUSH2 0x1605 000015fd: JUMPI 000015fe: POP 000015ff: PUSH1 0x00 00001601: PUSH2 0x0a51 00001604: JUMP 00001605: JUMPDEST 00001606: DUP3 00001607: DUP3 00001608: MUL 00001609: DUP3 0000160a: DUP5 0000160b: DUP3 0000160c: DUP2 0000160d: PUSH2 0x1612 00001610: JUMPI 00001611: INVALID 00001612: JUMPDEST 00001613: DIV 00001614: EQ 00001615: PUSH2 0x141d 00001618: JUMPI 00001619: PUSH1 0x40 0000161b: MLOAD 0000161c: PUSH3 0x461bcd 00001620: PUSH1 0xe5 00001622: SHL 00001623: DUP2 00001624: MSTORE 00001625: PUSH1 0x04 00001627: ADD 00001628: DUP1 00001629: DUP1 0000162a: PUSH1 0x20 0000162c: ADD 0000162d: DUP3 0000162e: DUP2 0000162f: SUB 00001630: DUP3 00001631: MSTORE 00001632: PUSH1 0x21 00001634: DUP2 00001635: MSTORE 00001636: PUSH1 0x20 00001638: ADD 00001639: DUP1 0000163a: PUSH2 0x19a3 0000163d: PUSH1 0x21 0000163f: SWAP2 00001640: CODECOPY 00001641: PUSH1 0x40 00001643: ADD 00001644: SWAP2 00001645: POP 00001646: POP 00001647: PUSH1 0x40 00001649: MLOAD 0000164a: DUP1 0000164b: SWAP2 0000164c: SUB 0000164d: SWAP1 0000164e: REVERT 0000164f: JUMPDEST 00001650: PUSH1 0x00 00001652: DUP3 00001653: DUP3 00001654: ADD 00001655: DUP4 00001656: DUP2 00001657: LT 00001658: ISZERO 00001659: PUSH2 0x141d 0000165c: JUMPI 0000165d: PUSH1 0x40 0000165f: DUP1 00001660: MLOAD 00001661: PUSH3 0x461bcd 00001665: PUSH1 0xe5 00001667: SHL 00001668: DUP2 00001669: MSTORE 0000166a: PUSH1 0x20 0000166c: PUSH1 0x04 0000166e: DUP3 0000166f: ADD 00001670: MSTORE 00001671: PUSH1 0x1b 00001673: PUSH1 0x24 00001675: DUP3 00001676: ADD 00001677: MSTORE 00001678: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001699: PUSH1 0x44 0000169b: DUP3 0000169c: ADD 0000169d: MSTORE 0000169e: SWAP1 0000169f: MLOAD 000016a0: SWAP1 000016a1: DUP2 000016a2: SWAP1 000016a3: SUB 000016a4: PUSH1 0x64 000016a6: ADD 000016a7: SWAP1 000016a8: REVERT 000016a9: JUMPDEST 000016aa: PUSH1 0x00 000016ac: PUSH2 0x16bd 000016af: PUSH2 0x16b6 000016b2: PUSH2 0x0fbe 000016b5: JUMP 000016b6: JUMPDEST 000016b7: DUP4 000016b8: SWAP1 000016b9: PUSH2 0x15f6 000016bc: JUMP 000016bd: JUMPDEST 000016be: PUSH1 0x01 000016c0: PUSH1 0x01 000016c2: PUSH1 0xa0 000016c4: SHL 000016c5: SUB 000016c6: DUP6 000016c7: AND 000016c8: PUSH1 0x00 000016ca: SWAP1 000016cb: DUP2 000016cc: MSTORE 000016cd: PUSH1 0x07 000016cf: PUSH1 0x20 000016d1: MSTORE 000016d2: PUSH1 0x40 000016d4: SWAP1 000016d5: KECCAK256 000016d6: SLOAD 000016d7: SWAP1 000016d8: SWAP2 000016d9: POP 000016da: DUP2 000016db: GT 000016dc: ISZERO 000016dd: PUSH2 0x172d 000016e0: JUMPI 000016e1: PUSH1 0x40 000016e3: DUP1 000016e4: MLOAD 000016e5: PUSH3 0x461bcd 000016e9: PUSH1 0xe5 000016eb: SHL 000016ec: DUP2 000016ed: MSTORE 000016ee: PUSH1 0x20 000016f0: PUSH1 0x04 000016f2: DUP3 000016f3: ADD 000016f4: MSTORE 000016f5: PUSH1 0x1f 000016f7: PUSH1 0x24 000016f9: DUP3 000016fa: ADD 000016fb: MSTORE 000016fc: PUSH32 0x4275726e5661756c743a20696e73756666696369656e742062616c616e636500 0000171d: PUSH1 0x44 0000171f: DUP3 00001720: ADD 00001721: MSTORE 00001722: SWAP1 00001723: MLOAD 00001724: SWAP1 00001725: DUP2 00001726: SWAP1 00001727: SUB 00001728: PUSH1 0x64 0000172a: ADD 0000172b: SWAP1 0000172c: REVERT 0000172d: JUMPDEST 0000172e: PUSH1 0x01 00001730: PUSH1 0x01 00001732: PUSH1 0xa0 00001734: SHL 00001735: SUB 00001736: DUP5 00001737: AND 00001738: PUSH1 0x00 0000173a: SWAP1 0000173b: DUP2 0000173c: MSTORE 0000173d: PUSH1 0x07 0000173f: PUSH1 0x20 00001741: MSTORE 00001742: PUSH1 0x40 00001744: SWAP1 00001745: KECCAK256 00001746: SLOAD 00001747: PUSH2 0x1750 0000174a: SWAP1 0000174b: DUP3 0000174c: PUSH2 0x15b4 0000174f: JUMP 00001750: JUMPDEST 00001751: PUSH1 0x01 00001753: PUSH1 0x01 00001755: PUSH1 0xa0 00001757: SHL 00001758: SUB 00001759: DUP6 0000175a: AND 0000175b: PUSH1 0x00 0000175d: SWAP1 0000175e: DUP2 0000175f: MSTORE 00001760: PUSH1 0x07 00001762: PUSH1 0x20 00001764: MSTORE 00001765: PUSH1 0x40 00001767: SWAP1 00001768: KECCAK256 00001769: SSTORE 0000176a: PUSH1 0x06 0000176c: SLOAD 0000176d: PUSH2 0x1776 00001770: SWAP1 00001771: DUP3 00001772: PUSH2 0x15b4 00001775: JUMP 00001776: JUMPDEST 00001777: PUSH1 0x06 00001779: SSTORE 0000177a: PUSH1 0x01 0000177c: SLOAD 0000177d: PUSH1 0x40 0000177f: DUP1 00001780: MLOAD 00001781: PUSH4 0xa9059cbb 00001786: PUSH1 0xe0 00001788: SHL 00001789: DUP2 0000178a: MSTORE 0000178b: PUSH1 0x01 0000178d: PUSH1 0x01 0000178f: PUSH1 0xa0 00001791: SHL 00001792: SUB 00001793: DUP7 00001794: DUP2 00001795: AND 00001796: PUSH1 0x04 00001798: DUP4 00001799: ADD 0000179a: MSTORE 0000179b: PUSH1 0x24 0000179d: DUP3 0000179e: ADD 0000179f: DUP7 000017a0: SWAP1 000017a1: MSTORE 000017a2: SWAP2 000017a3: MLOAD 000017a4: SWAP2 000017a5: SWAP1 000017a6: SWAP3 000017a7: AND 000017a8: SWAP2 000017a9: PUSH4 0xa9059cbb 000017ae: SWAP2 000017af: PUSH1 0x44 000017b1: DUP1 000017b2: DUP4 000017b3: ADD 000017b4: SWAP3 000017b5: PUSH1 0x20 000017b7: SWAP3 000017b8: SWAP2 000017b9: SWAP1 000017ba: DUP3 000017bb: SWAP1 000017bc: SUB 000017bd: ADD 000017be: DUP2 000017bf: PUSH1 0x00 000017c1: DUP8 000017c2: DUP1 000017c3: EXTCODESIZE 000017c4: ISZERO 000017c5: DUP1 000017c6: ISZERO 000017c7: PUSH2 0x17cf 000017ca: JUMPI 000017cb: PUSH1 0x00 000017cd: DUP1 000017ce: REVERT 000017cf: JUMPDEST 000017d0: POP 000017d1: GAS 000017d2: CALL 000017d3: ISZERO 000017d4: DUP1 000017d5: ISZERO 000017d6: PUSH2 0x17e3 000017d9: JUMPI 000017da: RETURNDATASIZE 000017db: PUSH1 0x00 000017dd: DUP1 000017de: RETURNDATACOPY 000017df: RETURNDATASIZE 000017e0: PUSH1 0x00 000017e2: REVERT 000017e3: JUMPDEST 000017e4: POP 000017e5: POP 000017e6: POP 000017e7: POP 000017e8: PUSH1 0x40 000017ea: MLOAD 000017eb: RETURNDATASIZE 000017ec: PUSH1 0x20 000017ee: DUP2 000017ef: LT 000017f0: ISZERO 000017f1: PUSH2 0x17f9 000017f4: JUMPI 000017f5: PUSH1 0x00 000017f7: DUP1 000017f8: REVERT 000017f9: JUMPDEST 000017fa: POP 000017fb: POP 000017fc: PUSH1 0x40 000017fe: DUP1 000017ff: MLOAD 00001800: PUSH1 0x01 00001802: PUSH1 0x01 00001804: PUSH1 0xa0 00001806: SHL 00001807: SUB 00001808: DUP7 00001809: AND 0000180a: DUP2 0000180b: MSTORE 0000180c: PUSH1 0x20 0000180e: DUP2 0000180f: ADD 00001810: DUP5 00001811: SWAP1 00001812: MSTORE 00001813: DUP2 00001814: MLOAD 00001815: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00001836: SWAP3 00001837: SWAP2 00001838: DUP2 00001839: SWAP1 0000183a: SUB 0000183b: SWAP1 0000183c: SWAP2 0000183d: ADD 0000183e: SWAP1 0000183f: LOG1 00001840: PUSH1 0x40 00001842: DUP1 00001843: MLOAD 00001844: DUP4 00001845: DUP2 00001846: MSTORE 00001847: SWAP1 00001848: MLOAD 00001849: PUSH1 0x00 0000184b: SWAP2 0000184c: PUSH1 0x01 0000184e: PUSH1 0x01 00001850: PUSH1 0xa0 00001852: SHL 00001853: SUB 00001854: DUP8 00001855: AND 00001856: SWAP2 00001857: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001878: SWAP2 00001879: DUP2 0000187a: SWAP1 0000187b: SUB 0000187c: PUSH1 0x20 0000187e: ADD 0000187f: SWAP1 00001880: LOG3 00001881: POP 00001882: POP 00001883: POP 00001884: POP 00001885: JUMP 00001886: JUMPDEST 00001887: PUSH1 0x00 00001889: DUP2 0000188a: DUP4 0000188b: PUSH2 0x1912 0000188e: JUMPI 0000188f: PUSH1 0x40 00001891: MLOAD 00001892: PUSH3 0x461bcd 00001896: PUSH1 0xe5 00001898: SHL 00001899: DUP2 0000189a: MSTORE 0000189b: PUSH1 0x04 0000189d: ADD 0000189e: DUP1 0000189f: DUP1 000018a0: PUSH1 0x20 000018a2: ADD 000018a3: DUP3 000018a4: DUP2 000018a5: SUB 000018a6: DUP3 000018a7: MSTORE 000018a8: DUP4 000018a9: DUP2 000018aa: DUP2 000018ab: MLOAD 000018ac: DUP2 000018ad: MSTORE 000018ae: PUSH1 0x20 000018b0: ADD 000018b1: SWAP2 000018b2: POP 000018b3: DUP1 000018b4: MLOAD 000018b5: SWAP1 000018b6: PUSH1 0x20 000018b8: ADD 000018b9: SWAP1 000018ba: DUP1 000018bb: DUP4 000018bc: DUP4 000018bd: PUSH1 0x00 000018bf: JUMPDEST 000018c0: DUP4 000018c1: DUP2 000018c2: LT 000018c3: ISZERO 000018c4: PUSH2 0x18d7 000018c7: JUMPI 000018c8: DUP2 000018c9: DUP2 000018ca: ADD 000018cb: MLOAD 000018cc: DUP4 000018cd: DUP3 000018ce: ADD 000018cf: MSTORE 000018d0: PUSH1 0x20 000018d2: ADD 000018d3: PUSH2 0x18bf 000018d6: JUMP 000018d7: JUMPDEST 000018d8: POP 000018d9: POP 000018da: POP 000018db: POP 000018dc: SWAP1 000018dd: POP 000018de: SWAP1 000018df: DUP2 000018e0: ADD 000018e1: SWAP1 000018e2: PUSH1 0x1f 000018e4: AND 000018e5: DUP1 000018e6: ISZERO 000018e7: PUSH2 0x1904 000018ea: JUMPI 000018eb: DUP1 000018ec: DUP3 000018ed: SUB 000018ee: DUP1 000018ef: MLOAD 000018f0: PUSH1 0x01 000018f2: DUP4 000018f3: PUSH1 0x20 000018f5: SUB 000018f6: PUSH2 0x0100 000018f9: EXP 000018fa: SUB 000018fb: NOT 000018fc: AND 000018fd: DUP2 000018fe: MSTORE 000018ff: PUSH1 0x20 00001901: ADD 00001902: SWAP2 00001903: POP 00001904: JUMPDEST 00001905: POP 00001906: SWAP3 00001907: POP 00001908: POP 00001909: POP 0000190a: PUSH1 0x40 0000190c: MLOAD 0000190d: DUP1 0000190e: SWAP2 0000190f: SUB 00001910: SWAP1 00001911: REVERT 00001912: JUMPDEST 00001913: POP 00001914: PUSH1 0x00 00001916: DUP4 00001917: DUP6 00001918: DUP2 00001919: PUSH2 0x191e 0000191c: JUMPI 0000191d: INVALID 0000191e: JUMPDEST 0000191f: DIV 00001920: SWAP6 00001921: SWAP5 00001922: POP 00001923: POP 00001924: POP 00001925: POP 00001926: POP 00001927: JUMP 00001928: JUMPDEST 00001929: PUSH1 0x00 0000192b: DUP2 0000192c: DUP5 0000192d: DUP5 0000192e: GT 0000192f: ISZERO 00001930: PUSH2 0x197a 00001933: JUMPI 00001934: PUSH1 0x40 00001936: MLOAD 00001937: PUSH3 0x461bcd 0000193b: PUSH1 0xe5 0000193d: SHL 0000193e: DUP2 0000193f: MSTORE 00001940: PUSH1 0x20 00001942: PUSH1 0x04 00001944: DUP3 00001945: ADD 00001946: DUP2 00001947: DUP2 00001948: MSTORE 00001949: DUP4 0000194a: MLOAD 0000194b: PUSH1 0x24 0000194d: DUP5 0000194e: ADD 0000194f: MSTORE 00001950: DUP4 00001951: MLOAD 00001952: SWAP1 00001953: SWAP3 00001954: DUP4 00001955: SWAP3 00001956: PUSH1 0x44 00001958: SWAP1 00001959: SWAP2 0000195a: ADD 0000195b: SWAP2 0000195c: SWAP1 0000195d: DUP6 0000195e: ADD 0000195f: SWAP1 00001960: DUP1 00001961: DUP4 00001962: DUP4 00001963: PUSH1 0x00 00001965: DUP4 00001966: ISZERO 00001967: PUSH2 0x18d7 0000196a: JUMPI 0000196b: DUP2 0000196c: DUP2 0000196d: ADD 0000196e: MLOAD 0000196f: DUP4 00001970: DUP3 00001971: ADD 00001972: MSTORE 00001973: PUSH1 0x20 00001975: ADD 00001976: PUSH2 0x18bf 00001979: JUMP 0000197a: JUMPDEST 0000197b: POP 0000197c: POP 0000197d: POP 0000197e: SWAP1 0000197f: SUB 00001980: SWAP1 00001981: JUMP 00001982: INVALID 00001983: MSTORE 00001984: PUSH6 0x656e7472616e 0000198b: PUSH4 0x79477561 00001990: PUSH19 0x643a207265656e7472616e742063616c6c0053 000019a4: PUSH2 0x6665 000019a7: UNKNOWN(0x4D) 000019a8: PUSH2 0x7468 000019ab: GASPRICE 000019ac: KECCAK256 000019ad: PUSH14 0x756c7469706c69636174696f6e20 000019bc: PUSH16 0x766572666c6f77a26469706673582212 000019cd: KECCAK256 000019ce: UNKNOWN(0x0E) 000019cf: UNKNOWN(0xDC) 000019d0: PUSH0 000019d1: UNKNOWN(0x4B) 000019d2: BALANCE 000019d3: PUSH11 0xec95304175891bac91c755 000019df: PUSH19 0x0e33ba650feead5712d0c9daee2d64736f6c63 000019f3: NUMBER 000019f4: STOP 000019f5: MOD 000019f6: UNKNOWN(0x0C) 000019f7: STOP 000019f8: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xbc509056a7e96a75d4960fd8b45b122185ce1da8657cead61d9b853235b79ea5
call_targets:
0x780e9996ec934cba0e2fc830c9b9f3e19f99ec3b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbc509056a7e96a75d4960fd8b45b122185ce1da8657cead61d9b853235b79ea5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x780e9996ec934cba0e2fc830c9b9f3e19f99ec3b"
],
"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": "0xf5fc5076",
"selector": "0xf5fc5076",
"calldata_variants": [
"0xf5fc5076",
"0xf5fc50760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9b7a2c0",
"selector": "0xf9b7a2c0",
"calldata_variants": [
"0xf9b7a2c0",
"0xf9b7a2c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa89401a",
"selector": "0xfa89401a",
"calldata_variants": [
"0xfa89401a",
"0xfa89401a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5eb6ab5",
"selector": "0xe5eb6ab5",
"calldata_variants": [
"0xe5eb6ab5",
"0xe5eb6ab50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9503425",
"selector": "0xe9503425",
"calldata_variants": [
"0xe9503425",
"0xe95034250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2167,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3547,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5011,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xbc509056a7e96a75d4960fd8b45b122185ce1da8657cead61d9b853235b79ea5
call_targets:
0x780e9996ec934cba0e2fc830c9b9f3e19f99ec3b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbc509056a7e96a75d4960fd8b45b122185ce1da8657cead61d9b853235b79ea5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x780e9996ec934cba0e2fc830c9b9f3e19f99ec3b"
],
"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": "0xf5fc5076",
"selector": "0xf5fc5076",
"calldata_variants": [
"0xf5fc5076",
"0xf5fc50760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9b7a2c0",
"selector": "0xf9b7a2c0",
"calldata_variants": [
"0xf9b7a2c0",
"0xf9b7a2c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa89401a",
"selector": "0xfa89401a",
"calldata_variants": [
"0xfa89401a",
"0xfa89401a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5eb6ab5",
"selector": "0xe5eb6ab5",
"calldata_variants": [
"0xe5eb6ab5",
"0xe5eb6ab50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9503425",
"selector": "0xe9503425",
"calldata_variants": [
"0xe9503425",
"0xe95034250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2167,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3547,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5011,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|