019b477e-b334-7354-b09c-4225c6fe2687
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 |
|---|---|---|---|---|
| 22505 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22506 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65498 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65499 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65500 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65501 | 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 0x012f 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x131762c2 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0134 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x14ae1ad0 0000002d: EQ 0000002e: PUSH2 0x0156 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x4dbab0ba 00000038: EQ 00000039: PUSH2 0x019b 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x579d94c0 00000043: EQ 00000044: PUSH2 0x01ce 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x5b8b4f91 0000004e: EQ 0000004f: PUSH2 0x0203 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x5c32460b 00000059: EQ 0000005a: PUSH2 0x0230 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x66bd78fd 00000064: EQ 00000065: PUSH2 0x0251 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x6d03fa87 0000006f: EQ 00000070: PUSH2 0x0266 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x7a91e53d 0000007a: EQ 0000007b: PUSH2 0x02a3 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x7dc5cc64 00000085: EQ 00000086: PUSH2 0x02ca 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x7deb6025 00000090: EQ 00000091: PUSH2 0x02e2 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x853828b6 0000009b: EQ 0000009c: PUSH2 0x02f9 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x8a80dfb1 000000a6: EQ 000000a7: PUSH2 0x030e 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x8f2bab07 000000b1: EQ 000000b2: PUSH2 0x0326 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xab519020 000000bc: EQ 000000bd: PUSH2 0x033b 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xb0ae788e 000000c7: EQ 000000c8: PUSH2 0x0356 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xb47a2739 000000d2: EQ 000000d3: PUSH2 0x044f 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xbcc4f0ed 000000dd: EQ 000000de: PUSH2 0x0470 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xc41a360a 000000e8: EQ 000000e9: PUSH2 0x048b 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0xc4dd5acc 000000f3: EQ 000000f4: PUSH2 0x04a3 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xc828371e 000000fe: EQ 000000ff: PUSH2 0x04be 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0xd0125691 00000109: EQ 0000010a: PUSH2 0x04d3 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0xe10c7f6f 00000114: EQ 00000115: PUSH2 0x04e8 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0xe7572230 0000011f: EQ 00000120: PUSH2 0x0509 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0xf08ea4cc 0000012a: EQ 0000012b: PUSH2 0x0521 0000012e: JUMPI 0000012f: JUMPDEST 00000130: PUSH1 0x00 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: CALLVALUE 00000136: DUP1 00000137: ISZERO 00000138: PUSH2 0x0140 0000013b: JUMPI 0000013c: PUSH1 0x00 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: POP 00000142: PUSH2 0x0154 00000145: PUSH1 0x04 00000147: DUP1 00000148: CALLDATALOAD 00000149: PUSH1 0x24 0000014b: DUP2 0000014c: ADD 0000014d: SWAP2 0000014e: ADD 0000014f: CALLDATALOAD 00000150: PUSH2 0x0539 00000153: JUMP 00000154: JUMPDEST 00000155: STOP 00000156: JUMPDEST 00000157: CALLVALUE 00000158: DUP1 00000159: ISZERO 0000015a: PUSH2 0x0162 0000015d: JUMPI 0000015e: PUSH1 0x00 00000160: DUP1 00000161: REVERT 00000162: JUMPDEST 00000163: POP 00000164: PUSH2 0x0154 00000167: PUSH1 0x04 00000169: DUP1 0000016a: CALLDATALOAD 0000016b: PUSH1 0x01 0000016d: PUSH1 0xa0 0000016f: PUSH1 0x02 00000171: EXP 00000172: SUB 00000173: AND 00000174: SWAP1 00000175: PUSH1 0x24 00000177: DUP1 00000178: CALLDATALOAD 00000179: DUP1 0000017a: DUP3 0000017b: ADD 0000017c: SWAP3 0000017d: SWAP1 0000017e: DUP2 0000017f: ADD 00000180: CALLDATALOAD 00000181: SWAP2 00000182: PUSH1 0x44 00000184: CALLDATALOAD 00000185: DUP1 00000186: DUP3 00000187: ADD 00000188: SWAP3 00000189: SWAP1 0000018a: DUP2 0000018b: ADD 0000018c: CALLDATALOAD 0000018d: SWAP2 0000018e: PUSH1 0x64 00000190: CALLDATALOAD 00000191: SWAP1 00000192: DUP2 00000193: ADD 00000194: SWAP2 00000195: ADD 00000196: CALLDATALOAD 00000197: PUSH2 0x062f 0000019a: JUMP 0000019b: JUMPDEST 0000019c: CALLVALUE 0000019d: DUP1 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: POP 000001a9: PUSH2 0x01bc 000001ac: PUSH1 0x01 000001ae: PUSH1 0xa0 000001b0: PUSH1 0x02 000001b2: EXP 000001b3: SUB 000001b4: PUSH1 0x04 000001b6: CALLDATALOAD 000001b7: AND 000001b8: PUSH2 0x07aa 000001bb: JUMP 000001bc: JUMPDEST 000001bd: PUSH1 0x40 000001bf: DUP1 000001c0: MLOAD 000001c1: SWAP2 000001c2: DUP3 000001c3: MSTORE 000001c4: MLOAD 000001c5: SWAP1 000001c6: DUP2 000001c7: SWAP1 000001c8: SUB 000001c9: PUSH1 0x20 000001cb: ADD 000001cc: SWAP1 000001cd: RETURN 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: DUP1 000001d1: ISZERO 000001d2: PUSH2 0x01da 000001d5: JUMPI 000001d6: PUSH1 0x00 000001d8: DUP1 000001d9: REVERT 000001da: JUMPDEST 000001db: POP 000001dc: PUSH2 0x01ef 000001df: PUSH1 0x01 000001e1: PUSH1 0xa0 000001e3: PUSH1 0x02 000001e5: EXP 000001e6: SUB 000001e7: PUSH1 0x04 000001e9: CALLDATALOAD 000001ea: AND 000001eb: PUSH2 0x07c5 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH1 0x40 000001f2: DUP1 000001f3: MLOAD 000001f4: SWAP2 000001f5: ISZERO 000001f6: ISZERO 000001f7: DUP3 000001f8: MSTORE 000001f9: MLOAD 000001fa: SWAP1 000001fb: DUP2 000001fc: SWAP1 000001fd: SUB 000001fe: PUSH1 0x20 00000200: ADD 00000201: SWAP1 00000202: RETURN 00000203: JUMPDEST 00000204: CALLVALUE 00000205: DUP1 00000206: ISZERO 00000207: PUSH2 0x020f 0000020a: JUMPI 0000020b: PUSH1 0x00 0000020d: DUP1 0000020e: REVERT 0000020f: JUMPDEST 00000210: POP 00000211: PUSH2 0x01ef 00000214: PUSH1 0x01 00000216: PUSH1 0xa0 00000218: PUSH1 0x02 0000021a: EXP 0000021b: SUB 0000021c: PUSH1 0x04 0000021e: CALLDATALOAD 0000021f: DUP2 00000220: AND 00000221: SWAP1 00000222: PUSH1 0x24 00000224: CALLDATALOAD 00000225: DUP2 00000226: AND 00000227: SWAP1 00000228: PUSH1 0x44 0000022a: CALLDATALOAD 0000022b: AND 0000022c: PUSH2 0x07d2 0000022f: JUMP 00000230: JUMPDEST 00000231: CALLVALUE 00000232: DUP1 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: POP 0000023e: PUSH2 0x01ef 00000241: PUSH1 0x01 00000243: PUSH1 0xa0 00000245: PUSH1 0x02 00000247: EXP 00000248: SUB 00000249: PUSH1 0x04 0000024b: CALLDATALOAD 0000024c: AND 0000024d: PUSH2 0x0806 00000250: JUMP 00000251: JUMPDEST 00000252: CALLVALUE 00000253: DUP1 00000254: ISZERO 00000255: PUSH2 0x025d 00000258: JUMPI 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: POP 0000025f: PUSH2 0x01bc 00000262: PUSH2 0x0814 00000265: JUMP 00000266: JUMPDEST 00000267: CALLVALUE 00000268: DUP1 00000269: ISZERO 0000026a: PUSH2 0x0272 0000026d: JUMPI 0000026e: PUSH1 0x00 00000270: DUP1 00000271: REVERT 00000272: JUMPDEST 00000273: POP 00000274: PUSH2 0x0287 00000277: PUSH1 0x01 00000279: PUSH1 0xa0 0000027b: PUSH1 0x02 0000027d: EXP 0000027e: SUB 0000027f: PUSH1 0x04 00000281: CALLDATALOAD 00000282: AND 00000283: PUSH2 0x0819 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH1 0x40 0000028a: DUP1 0000028b: MLOAD 0000028c: PUSH1 0x01 0000028e: PUSH1 0xa0 00000290: PUSH1 0x02 00000292: EXP 00000293: SUB 00000294: SWAP1 00000295: SWAP3 00000296: AND 00000297: DUP3 00000298: MSTORE 00000299: MLOAD 0000029a: SWAP1 0000029b: DUP2 0000029c: SWAP1 0000029d: SUB 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: SWAP1 000002a2: RETURN 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: DUP1 000002a6: ISZERO 000002a7: PUSH2 0x02af 000002aa: JUMPI 000002ab: PUSH1 0x00 000002ad: DUP1 000002ae: REVERT 000002af: JUMPDEST 000002b0: POP 000002b1: PUSH2 0x01ef 000002b4: PUSH1 0x01 000002b6: PUSH1 0xa0 000002b8: PUSH1 0x02 000002ba: EXP 000002bb: SUB 000002bc: PUSH1 0x04 000002be: CALLDATALOAD 000002bf: DUP2 000002c0: AND 000002c1: SWAP1 000002c2: PUSH1 0x24 000002c4: CALLDATALOAD 000002c5: AND 000002c6: PUSH2 0x0837 000002c9: JUMP 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: DUP1 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: PUSH2 0x01bc 000002db: PUSH1 0x04 000002dd: CALLDATALOAD 000002de: PUSH2 0x0849 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH2 0x0154 000002e6: PUSH1 0x04 000002e8: CALLDATALOAD 000002e9: PUSH1 0x01 000002eb: PUSH1 0xa0 000002ed: PUSH1 0x02 000002ef: EXP 000002f0: SUB 000002f1: PUSH1 0x24 000002f3: CALLDATALOAD 000002f4: AND 000002f5: PUSH2 0x0873 000002f8: JUMP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: POP 00000307: PUSH2 0x0154 0000030a: PUSH2 0x0973 0000030d: JUMP 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: DUP1 00000311: ISZERO 00000312: PUSH2 0x031a 00000315: JUMPI 00000316: PUSH1 0x00 00000318: DUP1 00000319: REVERT 0000031a: JUMPDEST 0000031b: POP 0000031c: PUSH2 0x01ef 0000031f: PUSH1 0x04 00000321: CALLDATALOAD 00000322: PUSH2 0x0a81 00000325: JUMP 00000326: JUMPDEST 00000327: CALLVALUE 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH2 0x01bc 00000337: PUSH2 0x0a85 0000033a: JUMP 0000033b: JUMPDEST 0000033c: CALLVALUE 0000033d: DUP1 0000033e: ISZERO 0000033f: PUSH2 0x0347 00000342: JUMPI 00000343: PUSH1 0x00 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x01bc 0000034c: PUSH1 0x04 0000034e: CALLDATALOAD 0000034f: PUSH1 0x24 00000351: CALLDATALOAD 00000352: PUSH2 0x0a8b 00000355: JUMP 00000356: JUMPDEST 00000357: CALLVALUE 00000358: DUP1 00000359: ISZERO 0000035a: PUSH2 0x0362 0000035d: JUMPI 0000035e: PUSH1 0x00 00000360: DUP1 00000361: REVERT 00000362: JUMPDEST 00000363: POP 00000364: PUSH2 0x0371 00000367: PUSH1 0x04 00000369: CALLDATALOAD 0000036a: PUSH1 0x24 0000036c: CALLDATALOAD 0000036d: PUSH2 0x0ab0 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP1 00000376: DUP1 00000377: PUSH1 0x20 00000379: ADD 0000037a: DUP1 0000037b: PUSH1 0x20 0000037d: ADD 0000037e: DUP1 0000037f: PUSH1 0x20 00000381: ADD 00000382: DUP5 00000383: DUP2 00000384: SUB 00000385: DUP5 00000386: MSTORE 00000387: DUP8 00000388: DUP2 00000389: DUP2 0000038a: MLOAD 0000038b: DUP2 0000038c: MSTORE 0000038d: PUSH1 0x20 0000038f: ADD 00000390: SWAP2 00000391: POP 00000392: DUP1 00000393: MLOAD 00000394: SWAP1 00000395: PUSH1 0x20 00000397: ADD 00000398: SWAP1 00000399: PUSH1 0x20 0000039b: MUL 0000039c: DUP1 0000039d: DUP4 0000039e: DUP4 0000039f: PUSH1 0x00 000003a1: JUMPDEST 000003a2: DUP4 000003a3: DUP2 000003a4: LT 000003a5: ISZERO 000003a6: PUSH2 0x03b9 000003a9: JUMPI 000003aa: DUP2 000003ab: DUP2 000003ac: ADD 000003ad: MLOAD 000003ae: DUP4 000003af: DUP3 000003b0: ADD 000003b1: MSTORE 000003b2: PUSH1 0x20 000003b4: ADD 000003b5: PUSH2 0x03a1 000003b8: JUMP 000003b9: JUMPDEST 000003ba: POP 000003bb: POP 000003bc: POP 000003bd: POP 000003be: SWAP1 000003bf: POP 000003c0: ADD 000003c1: DUP5 000003c2: DUP2 000003c3: SUB 000003c4: DUP4 000003c5: MSTORE 000003c6: DUP7 000003c7: DUP2 000003c8: DUP2 000003c9: MLOAD 000003ca: DUP2 000003cb: MSTORE 000003cc: PUSH1 0x20 000003ce: ADD 000003cf: SWAP2 000003d0: POP 000003d1: DUP1 000003d2: MLOAD 000003d3: SWAP1 000003d4: PUSH1 0x20 000003d6: ADD 000003d7: SWAP1 000003d8: PUSH1 0x20 000003da: MUL 000003db: DUP1 000003dc: DUP4 000003dd: DUP4 000003de: PUSH1 0x00 000003e0: JUMPDEST 000003e1: DUP4 000003e2: DUP2 000003e3: LT 000003e4: ISZERO 000003e5: PUSH2 0x03f8 000003e8: JUMPI 000003e9: DUP2 000003ea: DUP2 000003eb: ADD 000003ec: MLOAD 000003ed: DUP4 000003ee: DUP3 000003ef: ADD 000003f0: MSTORE 000003f1: PUSH1 0x20 000003f3: ADD 000003f4: PUSH2 0x03e0 000003f7: JUMP 000003f8: JUMPDEST 000003f9: POP 000003fa: POP 000003fb: POP 000003fc: POP 000003fd: SWAP1 000003fe: POP 000003ff: ADD 00000400: DUP5 00000401: DUP2 00000402: SUB 00000403: DUP3 00000404: MSTORE 00000405: DUP6 00000406: DUP2 00000407: DUP2 00000408: MLOAD 00000409: DUP2 0000040a: MSTORE 0000040b: PUSH1 0x20 0000040d: ADD 0000040e: SWAP2 0000040f: POP 00000410: DUP1 00000411: MLOAD 00000412: SWAP1 00000413: PUSH1 0x20 00000415: ADD 00000416: SWAP1 00000417: PUSH1 0x20 00000419: MUL 0000041a: DUP1 0000041b: DUP4 0000041c: DUP4 0000041d: PUSH1 0x00 0000041f: JUMPDEST 00000420: DUP4 00000421: DUP2 00000422: LT 00000423: ISZERO 00000424: PUSH2 0x0437 00000427: JUMPI 00000428: DUP2 00000429: DUP2 0000042a: ADD 0000042b: MLOAD 0000042c: DUP4 0000042d: DUP3 0000042e: ADD 0000042f: MSTORE 00000430: PUSH1 0x20 00000432: ADD 00000433: PUSH2 0x041f 00000436: JUMP 00000437: JUMPDEST 00000438: POP 00000439: POP 0000043a: POP 0000043b: POP 0000043c: SWAP1 0000043d: POP 0000043e: ADD 0000043f: SWAP7 00000440: POP 00000441: POP 00000442: POP 00000443: POP 00000444: POP 00000445: POP 00000446: POP 00000447: PUSH1 0x40 00000449: MLOAD 0000044a: DUP1 0000044b: SWAP2 0000044c: SUB 0000044d: SWAP1 0000044e: RETURN 0000044f: JUMPDEST 00000450: CALLVALUE 00000451: DUP1 00000452: ISZERO 00000453: PUSH2 0x045b 00000456: JUMPI 00000457: PUSH1 0x00 00000459: DUP1 0000045a: REVERT 0000045b: JUMPDEST 0000045c: POP 0000045d: PUSH2 0x01bc 00000460: PUSH1 0x01 00000462: PUSH1 0xa0 00000464: PUSH1 0x02 00000466: EXP 00000467: SUB 00000468: PUSH1 0x04 0000046a: CALLDATALOAD 0000046b: AND 0000046c: PUSH2 0x0c65 0000046f: JUMP 00000470: JUMPDEST 00000471: CALLVALUE 00000472: DUP1 00000473: ISZERO 00000474: PUSH2 0x047c 00000477: JUMPI 00000478: PUSH1 0x00 0000047a: DUP1 0000047b: REVERT 0000047c: JUMPDEST 0000047d: POP 0000047e: PUSH2 0x01ef 00000481: PUSH1 0x04 00000483: CALLDATALOAD 00000484: PUSH1 0x24 00000486: CALLDATALOAD 00000487: PUSH2 0x0c80 0000048a: JUMP 0000048b: JUMPDEST 0000048c: CALLVALUE 0000048d: DUP1 0000048e: ISZERO 0000048f: PUSH2 0x0497 00000492: JUMPI 00000493: PUSH1 0x00 00000495: DUP1 00000496: REVERT 00000497: JUMPDEST 00000498: POP 00000499: PUSH2 0x0287 0000049c: PUSH1 0x04 0000049e: CALLDATALOAD 0000049f: PUSH2 0x0c84 000004a2: JUMP 000004a3: JUMPDEST 000004a4: CALLVALUE 000004a5: DUP1 000004a6: ISZERO 000004a7: PUSH2 0x04af 000004aa: JUMPI 000004ab: PUSH1 0x00 000004ad: DUP1 000004ae: REVERT 000004af: JUMPDEST 000004b0: POP 000004b1: PUSH2 0x01ef 000004b4: PUSH1 0x04 000004b6: CALLDATALOAD 000004b7: PUSH1 0x24 000004b9: CALLDATALOAD 000004ba: PUSH2 0x0cb5 000004bd: JUMP 000004be: JUMPDEST 000004bf: CALLVALUE 000004c0: DUP1 000004c1: ISZERO 000004c2: PUSH2 0x04ca 000004c5: JUMPI 000004c6: PUSH1 0x00 000004c8: DUP1 000004c9: REVERT 000004ca: JUMPDEST 000004cb: POP 000004cc: PUSH2 0x01bc 000004cf: PUSH2 0x0cdf 000004d2: JUMP 000004d3: JUMPDEST 000004d4: CALLVALUE 000004d5: DUP1 000004d6: ISZERO 000004d7: PUSH2 0x04df 000004da: JUMPI 000004db: PUSH1 0x00 000004dd: DUP1 000004de: REVERT 000004df: JUMPDEST 000004e0: POP 000004e1: PUSH2 0x0371 000004e4: PUSH2 0x0ce5 000004e7: JUMP 000004e8: JUMPDEST 000004e9: CALLVALUE 000004ea: DUP1 000004eb: ISZERO 000004ec: PUSH2 0x04f4 000004ef: JUMPI 000004f0: PUSH1 0x00 000004f2: DUP1 000004f3: REVERT 000004f4: JUMPDEST 000004f5: POP 000004f6: PUSH2 0x01bc 000004f9: PUSH1 0x01 000004fb: PUSH1 0xa0 000004fd: PUSH1 0x02 000004ff: EXP 00000500: SUB 00000501: PUSH1 0x04 00000503: CALLDATALOAD 00000504: AND 00000505: PUSH2 0x0d10 00000508: JUMP 00000509: JUMPDEST 0000050a: CALLVALUE 0000050b: DUP1 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH1 0x00 00000513: DUP1 00000514: REVERT 00000515: JUMPDEST 00000516: POP 00000517: PUSH2 0x01bc 0000051a: PUSH1 0x04 0000051c: CALLDATALOAD 0000051d: PUSH2 0x0d2b 00000520: JUMP 00000521: JUMPDEST 00000522: CALLVALUE 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x052d 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: DUP1 0000052c: REVERT 0000052d: JUMPDEST 0000052e: POP 0000052f: PUSH2 0x0154 00000532: PUSH1 0x04 00000534: CALLDATALOAD 00000535: PUSH2 0x0d55 00000538: JUMP 00000539: JUMPDEST 0000053a: PUSH1 0x02 0000053c: SLOAD 0000053d: PUSH1 0x00 0000053f: SWAP1 00000540: PUSH1 0x01 00000542: PUSH1 0xa0 00000544: PUSH1 0x02 00000546: EXP 00000547: SUB 00000548: AND 00000549: CALLER 0000054a: EQ 0000054b: PUSH2 0x05c4 0000054e: JUMPI 0000054f: PUSH1 0x40 00000551: DUP1 00000552: MLOAD 00000553: PUSH1 0xe5 00000555: PUSH1 0x02 00000557: EXP 00000558: PUSH3 0x461bcd 0000055c: MUL 0000055d: DUP2 0000055e: MSTORE 0000055f: PUSH1 0x20 00000561: PUSH1 0x04 00000563: DUP3 00000564: ADD 00000565: MSTORE 00000566: PUSH1 0x21 00000568: PUSH1 0x24 0000056a: DUP3 0000056b: ADD 0000056c: MSTORE 0000056d: PUSH32 0x53656e646572206973206e6f742074686520636f6e7472616374206f776e6572 0000058e: PUSH1 0x44 00000590: DUP3 00000591: ADD 00000592: MSTORE 00000593: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 000005b4: PUSH1 0x64 000005b6: DUP3 000005b7: ADD 000005b8: MSTORE 000005b9: SWAP1 000005ba: MLOAD 000005bb: SWAP1 000005bc: DUP2 000005bd: SWAP1 000005be: SUB 000005bf: PUSH1 0x84 000005c1: ADD 000005c2: SWAP1 000005c3: REVERT 000005c4: JUMPDEST 000005c5: PUSH1 0x04 000005c7: SLOAD 000005c8: ISZERO 000005c9: PUSH2 0x05d1 000005cc: JUMPI 000005cd: PUSH1 0x00 000005cf: DUP1 000005d0: REVERT 000005d1: JUMPDEST 000005d2: POP 000005d3: PUSH1 0x00 000005d5: JUMPDEST 000005d6: DUP2 000005d7: DUP2 000005d8: LT 000005d9: ISZERO 000005da: PUSH2 0x062a 000005dd: JUMPI 000005de: PUSH2 0x0622 000005e1: DUP4 000005e2: DUP4 000005e3: DUP4 000005e4: DUP2 000005e5: DUP2 000005e6: LT 000005e7: PUSH2 0x05ec 000005ea: JUMPI 000005eb: INVALID 000005ec: JUMPDEST 000005ed: SWAP1 000005ee: POP 000005ef: PUSH1 0x20 000005f1: MUL 000005f2: ADD 000005f3: CALLDATALOAD 000005f4: PUSH1 0x01 000005f6: PUSH1 0xa0 000005f8: PUSH1 0x02 000005fa: EXP 000005fb: SUB 000005fc: AND 000005fd: DUP5 000005fe: DUP5 000005ff: DUP5 00000600: PUSH1 0x01 00000602: ADD 00000603: DUP2 00000604: DUP2 00000605: LT 00000606: ISZERO 00000607: ISZERO 00000608: PUSH2 0x060d 0000060b: JUMPI 0000060c: INVALID 0000060d: JUMPDEST 0000060e: SWAP1 0000060f: POP 00000610: PUSH1 0x20 00000612: MUL 00000613: ADD 00000614: CALLDATALOAD 00000615: PUSH1 0x01 00000617: PUSH1 0xa0 00000619: PUSH1 0x02 0000061b: EXP 0000061c: SUB 0000061d: AND 0000061e: PUSH2 0x0e27 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH1 0x02 00000625: ADD 00000626: PUSH2 0x05d5 00000629: JUMP 0000062a: JUMPDEST 0000062b: POP 0000062c: POP 0000062d: POP 0000062e: JUMP 0000062f: JUMPDEST 00000630: PUSH1 0x02 00000632: SLOAD 00000633: PUSH1 0x01 00000635: PUSH1 0xa0 00000637: PUSH1 0x02 00000639: EXP 0000063a: SUB 0000063b: AND 0000063c: CALLER 0000063d: EQ 0000063e: PUSH2 0x06b7 00000641: JUMPI 00000642: PUSH1 0x40 00000644: DUP1 00000645: MLOAD 00000646: PUSH1 0xe5 00000648: PUSH1 0x02 0000064a: EXP 0000064b: PUSH3 0x461bcd 0000064f: MUL 00000650: DUP2 00000651: MSTORE 00000652: PUSH1 0x20 00000654: PUSH1 0x04 00000656: DUP3 00000657: ADD 00000658: MSTORE 00000659: PUSH1 0x21 0000065b: PUSH1 0x24 0000065d: DUP3 0000065e: ADD 0000065f: MSTORE 00000660: PUSH32 0x53656e646572206973206e6f742074686520636f6e7472616374206f776e6572 00000681: PUSH1 0x44 00000683: DUP3 00000684: ADD 00000685: MSTORE 00000686: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 000006a7: PUSH1 0x64 000006a9: DUP3 000006aa: ADD 000006ab: MSTORE 000006ac: SWAP1 000006ad: MLOAD 000006ae: SWAP1 000006af: DUP2 000006b0: SWAP1 000006b1: SUB 000006b2: PUSH1 0x84 000006b4: ADD 000006b5: SWAP1 000006b6: REVERT 000006b7: JUMPDEST 000006b8: PUSH1 0x04 000006ba: SLOAD 000006bb: ISZERO 000006bc: PUSH2 0x06c4 000006bf: JUMPI 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: REVERT 000006c4: JUMPDEST 000006c5: DUP5 000006c6: DUP4 000006c7: EQ 000006c8: DUP1 000006c9: ISZERO 000006ca: PUSH2 0x06d2 000006cd: JUMPI 000006ce: POP 000006cf: DUP3 000006d0: DUP2 000006d1: EQ 000006d2: JUMPDEST 000006d3: ISZERO 000006d4: ISZERO 000006d5: PUSH2 0x06da 000006d8: JUMPI 000006d9: INVALID 000006da: JUMPDEST 000006db: PUSH1 0x00 000006dd: SLOAD 000006de: PUSH1 0x01 000006e0: PUSH1 0xa0 000006e2: PUSH1 0x02 000006e4: EXP 000006e5: SUB 000006e6: AND 000006e7: ISZERO 000006e8: ISZERO 000006e9: PUSH2 0x0715 000006ec: JUMPI 000006ed: PUSH1 0x00 000006ef: DUP1 000006f0: SLOAD 000006f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000706: NOT 00000707: AND 00000708: PUSH1 0x01 0000070a: PUSH1 0xa0 0000070c: PUSH1 0x02 0000070e: EXP 0000070f: SUB 00000710: DUP10 00000711: AND 00000712: OR 00000713: SWAP1 00000714: SSTORE 00000715: JUMPDEST 00000716: PUSH2 0x07a1 00000719: DUP7 0000071a: DUP7 0000071b: DUP1 0000071c: DUP1 0000071d: PUSH1 0x20 0000071f: MUL 00000720: PUSH1 0x20 00000722: ADD 00000723: PUSH1 0x40 00000725: MLOAD 00000726: SWAP1 00000727: DUP2 00000728: ADD 00000729: PUSH1 0x40 0000072b: MSTORE 0000072c: DUP1 0000072d: SWAP4 0000072e: SWAP3 0000072f: SWAP2 00000730: SWAP1 00000731: DUP2 00000732: DUP2 00000733: MSTORE 00000734: PUSH1 0x20 00000736: ADD 00000737: DUP4 00000738: DUP4 00000739: PUSH1 0x20 0000073b: MUL 0000073c: DUP1 0000073d: DUP3 0000073e: DUP5 0000073f: CALLDATACOPY 00000740: POP 00000741: POP 00000742: PUSH1 0x40 00000744: DUP1 00000745: MLOAD 00000746: PUSH1 0x20 00000748: DUP1 00000749: DUP13 0000074a: MUL 0000074b: DUP3 0000074c: DUP2 0000074d: ADD 0000074e: DUP3 0000074f: ADD 00000750: SWAP1 00000751: SWAP4 00000752: MSTORE 00000753: DUP12 00000754: DUP3 00000755: MSTORE 00000756: SWAP1 00000757: SWAP6 00000758: POP 00000759: DUP12 0000075a: SWAP5 0000075b: POP 0000075c: DUP11 0000075d: SWAP4 0000075e: POP 0000075f: DUP4 00000760: SWAP3 00000761: POP 00000762: DUP6 00000763: ADD 00000764: SWAP1 00000765: DUP5 00000766: SWAP1 00000767: DUP1 00000768: DUP3 00000769: DUP5 0000076a: CALLDATACOPY 0000076b: POP 0000076c: POP 0000076d: PUSH1 0x40 0000076f: DUP1 00000770: MLOAD 00000771: PUSH1 0x20 00000773: DUP1 00000774: DUP12 00000775: MUL 00000776: DUP3 00000777: DUP2 00000778: ADD 00000779: DUP3 0000077a: ADD 0000077b: SWAP1 0000077c: SWAP4 0000077d: MSTORE 0000077e: DUP11 0000077f: DUP3 00000780: MSTORE 00000781: SWAP1 00000782: SWAP6 00000783: POP 00000784: DUP11 00000785: SWAP5 00000786: POP 00000787: DUP10 00000788: SWAP4 00000789: POP 0000078a: DUP4 0000078b: SWAP3 0000078c: POP 0000078d: DUP6 0000078e: ADD 0000078f: SWAP1 00000790: DUP5 00000791: SWAP1 00000792: DUP1 00000793: DUP3 00000794: DUP5 00000795: CALLDATACOPY 00000796: POP 00000797: PUSH2 0x0eb7 0000079a: SWAP5 0000079b: POP 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: POP 000007a0: JUMP 000007a1: JUMPDEST 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: POP 000007a6: POP 000007a7: POP 000007a8: POP 000007a9: JUMP 000007aa: JUMPDEST 000007ab: PUSH1 0x01 000007ad: PUSH1 0xa0 000007af: PUSH1 0x02 000007b1: EXP 000007b2: SUB 000007b3: AND 000007b4: PUSH1 0x00 000007b6: SWAP1 000007b7: DUP2 000007b8: MSTORE 000007b9: PUSH1 0x09 000007bb: PUSH1 0x20 000007bd: MSTORE 000007be: PUSH1 0x40 000007c0: SWAP1 000007c1: KECCAK256 000007c2: SLOAD 000007c3: SWAP1 000007c4: JUMP 000007c5: JUMPDEST 000007c6: PUSH1 0x01 000007c8: PUSH1 0xa0 000007ca: PUSH1 0x02 000007cc: EXP 000007cd: SUB 000007ce: AND 000007cf: ISZERO 000007d0: SWAP1 000007d1: JUMP 000007d2: JUMPDEST 000007d3: PUSH1 0x00 000007d5: PUSH2 0x07dd 000007d8: DUP4 000007d9: PUSH2 0x07c5 000007dc: JUMP 000007dd: JUMPDEST 000007de: DUP1 000007df: ISZERO 000007e0: PUSH2 0x07ed 000007e3: JUMPI 000007e4: POP 000007e5: PUSH2 0x07ed 000007e8: DUP3 000007e9: PUSH2 0x0806 000007ec: JUMP 000007ed: JUMPDEST 000007ee: DUP1 000007ef: ISZERO 000007f0: PUSH2 0x07fe 000007f3: JUMPI 000007f4: POP 000007f5: PUSH2 0x07fe 000007f8: DUP5 000007f9: DUP4 000007fa: PUSH2 0x0837 000007fd: JUMP 000007fe: JUMPDEST 000007ff: SWAP5 00000800: SWAP4 00000801: POP 00000802: POP 00000803: POP 00000804: POP 00000805: JUMP 00000806: JUMPDEST 00000807: PUSH1 0x01 00000809: PUSH1 0xa0 0000080b: PUSH1 0x02 0000080d: EXP 0000080e: SUB 0000080f: AND 00000810: ISZERO 00000811: ISZERO 00000812: SWAP1 00000813: JUMP 00000814: JUMPDEST 00000815: ADDRESS 00000816: BALANCE 00000817: SWAP1 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH1 0x01 0000081c: PUSH1 0xa0 0000081e: PUSH1 0x02 00000820: EXP 00000821: SUB 00000822: SWAP1 00000823: DUP2 00000824: AND 00000825: PUSH1 0x00 00000827: SWAP1 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x0a 0000082c: PUSH1 0x20 0000082e: MSTORE 0000082f: PUSH1 0x40 00000831: SWAP1 00000832: KECCAK256 00000833: SLOAD 00000834: AND 00000835: SWAP1 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH1 0x01 0000083a: PUSH1 0xa0 0000083c: PUSH1 0x02 0000083e: EXP 0000083f: SUB 00000840: SWAP1 00000841: DUP2 00000842: AND 00000843: SWAP2 00000844: AND 00000845: EQ 00000846: ISZERO 00000847: SWAP1 00000848: JUMP 00000849: JUMPDEST 0000084a: PUSH1 0x00 0000084c: PUSH1 0x06 0000084e: DUP3 0000084f: DUP2 00000850: SLOAD 00000851: DUP2 00000852: LT 00000853: ISZERO 00000854: ISZERO 00000855: PUSH2 0x085a 00000858: JUMPI 00000859: INVALID 0000085a: JUMPDEST 0000085b: SWAP1 0000085c: PUSH1 0x00 0000085e: MSTORE 0000085f: PUSH1 0x20 00000861: PUSH1 0x00 00000863: KECCAK256 00000864: SWAP1 00000865: PUSH1 0x03 00000867: MUL 00000868: ADD 00000869: PUSH1 0x02 0000086b: ADD 0000086c: SLOAD 0000086d: SWAP1 0000086e: POP 0000086f: SWAP2 00000870: SWAP1 00000871: POP 00000872: JUMP 00000873: JUMPDEST 00000874: CALLER 00000875: ORIGIN 00000876: EQ 00000877: PUSH2 0x08f0 0000087a: JUMPI 0000087b: PUSH1 0x40 0000087d: DUP1 0000087e: MLOAD 0000087f: PUSH1 0xe5 00000881: PUSH1 0x02 00000883: EXP 00000884: PUSH3 0x461bcd 00000888: MUL 00000889: DUP2 0000088a: MSTORE 0000088b: PUSH1 0x20 0000088d: PUSH1 0x04 0000088f: DUP3 00000890: ADD 00000891: MSTORE 00000892: PUSH1 0x26 00000894: PUSH1 0x24 00000896: DUP3 00000897: ADD 00000898: MSTORE 00000899: PUSH32 0x436f6e74726163747320617265206e6f7420616c6c6f77656420746f20696e74 000008ba: PUSH1 0x44 000008bc: DUP3 000008bd: ADD 000008be: MSTORE 000008bf: PUSH32 0x65726163742e0000000000000000000000000000000000000000000000000000 000008e0: PUSH1 0x64 000008e2: DUP3 000008e3: ADD 000008e4: MSTORE 000008e5: SWAP1 000008e6: MLOAD 000008e7: SWAP1 000008e8: DUP2 000008e9: SWAP1 000008ea: SUB 000008eb: PUSH1 0x84 000008ed: ADD 000008ee: SWAP1 000008ef: REVERT 000008f0: JUMPDEST 000008f1: PUSH1 0x04 000008f3: SLOAD 000008f4: ISZERO 000008f5: DUP1 000008f6: ISZERO 000008f7: SWAP1 000008f8: PUSH2 0x0903 000008fb: JUMPI 000008fc: POP 000008fd: TIMESTAMP 000008fe: PUSH1 0x04 00000900: SLOAD 00000901: GT 00000902: ISZERO 00000903: JUMPDEST 00000904: ISZERO 00000905: ISZERO 00000906: PUSH2 0x0959 00000909: JUMPI 0000090a: PUSH1 0x40 0000090c: DUP1 0000090d: MLOAD 0000090e: PUSH1 0xe5 00000910: PUSH1 0x02 00000912: EXP 00000913: PUSH3 0x461bcd 00000917: MUL 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x20 0000091c: PUSH1 0x04 0000091e: DUP3 0000091f: ADD 00000920: DUP2 00000921: SWAP1 00000922: MSTORE 00000923: PUSH1 0x24 00000925: DUP3 00000926: ADD 00000927: MSTORE 00000928: PUSH32 0x54686520636f6e7472616374206973206e6f742072756e6e696e67207965742e 00000949: PUSH1 0x44 0000094b: DUP3 0000094c: ADD 0000094d: MSTORE 0000094e: SWAP1 0000094f: MLOAD 00000950: SWAP1 00000951: DUP2 00000952: SWAP1 00000953: SUB 00000954: PUSH1 0x64 00000956: ADD 00000957: SWAP1 00000958: REVERT 00000959: JUMPDEST 0000095a: PUSH2 0x0963 0000095d: CALLER 0000095e: DUP3 0000095f: PUSH2 0x0e27 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH2 0x096f 00000967: DUP3 00000968: DUP3 00000969: CALLER 0000096a: CALLVALUE 0000096b: PUSH2 0x0f95 0000096e: JUMP 0000096f: JUMPDEST 00000970: POP 00000971: POP 00000972: JUMP 00000973: JUMPDEST 00000974: PUSH1 0x00 00000976: DUP1 00000977: DUP1 00000978: CALLER 00000979: ORIGIN 0000097a: EQ 0000097b: PUSH2 0x09f4 0000097e: JUMPI 0000097f: PUSH1 0x40 00000981: DUP1 00000982: MLOAD 00000983: PUSH1 0xe5 00000985: PUSH1 0x02 00000987: EXP 00000988: PUSH3 0x461bcd 0000098c: MUL 0000098d: DUP2 0000098e: MSTORE 0000098f: PUSH1 0x20 00000991: PUSH1 0x04 00000993: DUP3 00000994: ADD 00000995: MSTORE 00000996: PUSH1 0x26 00000998: PUSH1 0x24 0000099a: DUP3 0000099b: ADD 0000099c: MSTORE 0000099d: PUSH32 0x436f6e74726163747320617265206e6f7420616c6c6f77656420746f20696e74 000009be: PUSH1 0x44 000009c0: DUP3 000009c1: ADD 000009c2: MSTORE 000009c3: PUSH32 0x65726163742e0000000000000000000000000000000000000000000000000000 000009e4: PUSH1 0x64 000009e6: DUP3 000009e7: ADD 000009e8: MSTORE 000009e9: SWAP1 000009ea: MLOAD 000009eb: SWAP1 000009ec: DUP2 000009ed: SWAP1 000009ee: SUB 000009ef: PUSH1 0x84 000009f1: ADD 000009f2: SWAP1 000009f3: REVERT 000009f4: JUMPDEST 000009f5: POP 000009f6: POP 000009f7: CALLER 000009f8: PUSH1 0x00 000009fa: DUP2 000009fb: DUP2 000009fc: MSTORE 000009fd: PUSH1 0x07 000009ff: PUSH1 0x20 00000a01: SWAP1 00000a02: DUP2 00000a03: MSTORE 00000a04: PUSH1 0x40 00000a06: DUP1 00000a07: DUP4 00000a08: KECCAK256 00000a09: DUP1 00000a0a: SLOAD 00000a0b: SWAP1 00000a0c: DUP5 00000a0d: SWAP1 00000a0e: SSTORE 00000a0f: PUSH1 0x08 00000a11: DUP4 00000a12: MSTORE 00000a13: DUP2 00000a14: DUP5 00000a15: KECCAK256 00000a16: DUP1 00000a17: SLOAD 00000a18: SWAP1 00000a19: DUP6 00000a1a: SWAP1 00000a1b: SSTORE 00000a1c: PUSH1 0x09 00000a1e: SWAP1 00000a1f: SWAP4 00000a20: MSTORE 00000a21: SWAP1 00000a22: DUP4 00000a23: KECCAK256 00000a24: DUP1 00000a25: SLOAD 00000a26: SWAP4 00000a27: SWAP1 00000a28: SSTORE 00000a29: SWAP4 00000a2a: POP 00000a2b: SWAP2 00000a2c: PUSH2 0x0a39 00000a2f: SWAP1 00000a30: DUP4 00000a31: DUP6 00000a32: ADD 00000a33: DUP4 00000a34: ADD 00000a35: PUSH2 0x1112 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: PUSH1 0x40 00000a3c: DUP1 00000a3d: MLOAD 00000a3e: DUP5 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x20 00000a43: DUP2 00000a44: ADD 00000a45: DUP5 00000a46: SWAP1 00000a47: MSTORE 00000a48: DUP1 00000a49: DUP3 00000a4a: ADD 00000a4b: DUP4 00000a4c: SWAP1 00000a4d: MSTORE 00000a4e: SWAP1 00000a4f: MLOAD 00000a50: CALLER 00000a51: SWAP2 00000a52: PUSH32 0x90ebb005d68efee044927e1e77e1fd0cecc508368aa72c39250a787eed5f0a70 00000a73: SWAP2 00000a74: SWAP1 00000a75: DUP2 00000a76: SWAP1 00000a77: SUB 00000a78: PUSH1 0x60 00000a7a: ADD 00000a7b: SWAP1 00000a7c: LOG2 00000a7d: POP 00000a7e: POP 00000a7f: POP 00000a80: JUMP 00000a81: JUMPDEST 00000a82: ISZERO 00000a83: SWAP1 00000a84: JUMP 00000a85: JUMPDEST 00000a86: PUSH1 0x06 00000a88: SLOAD 00000a89: SWAP1 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x00 00000a8e: PUSH1 0x64 00000a90: DUP3 00000a91: GT 00000a92: ISZERO 00000a93: DUP1 00000a94: ISZERO 00000a95: PUSH2 0x0a9f 00000a98: JUMPI 00000a99: POP 00000a9a: PUSH1 0x00 00000a9c: DUP4 00000a9d: LT 00000a9e: ISZERO 00000a9f: JUMPDEST 00000aa0: ISZERO 00000aa1: ISZERO 00000aa2: PUSH2 0x0aa7 00000aa5: JUMPI 00000aa6: INVALID 00000aa7: JUMPDEST 00000aa8: POP 00000aa9: PUSH1 0x64 00000aab: SWAP2 00000aac: MUL 00000aad: DIV 00000aae: SWAP1 00000aaf: JUMP 00000ab0: JUMPDEST 00000ab1: PUSH1 0x60 00000ab3: DUP1 00000ab4: DUP1 00000ab5: DUP1 00000ab6: DUP1 00000ab7: DUP1 00000ab8: PUSH1 0x00 00000aba: DUP8 00000abb: DUP10 00000abc: GT 00000abd: ISZERO 00000abe: PUSH2 0x0b37 00000ac1: JUMPI 00000ac2: PUSH1 0x40 00000ac4: DUP1 00000ac5: MLOAD 00000ac6: PUSH1 0xe5 00000ac8: PUSH1 0x02 00000aca: EXP 00000acb: PUSH3 0x461bcd 00000acf: MUL 00000ad0: DUP2 00000ad1: MSTORE 00000ad2: PUSH1 0x20 00000ad4: PUSH1 0x04 00000ad6: DUP3 00000ad7: ADD 00000ad8: MSTORE 00000ad9: PUSH1 0x34 00000adb: PUSH1 0x24 00000add: DUP3 00000ade: ADD 00000adf: MSTORE 00000ae0: PUSH32 0x496e6465782046524f4d206e6565647320746f20626520736d616c6c6572206f 00000b01: PUSH1 0x44 00000b03: DUP3 00000b04: ADD 00000b05: MSTORE 00000b06: PUSH32 0x722073616d65207468616e20696e64657820544f000000000000000000000000 00000b27: PUSH1 0x64 00000b29: DUP3 00000b2a: ADD 00000b2b: MSTORE 00000b2c: SWAP1 00000b2d: MLOAD 00000b2e: SWAP1 00000b2f: DUP2 00000b30: SWAP1 00000b31: SUB 00000b32: PUSH1 0x84 00000b34: ADD 00000b35: SWAP1 00000b36: REVERT 00000b37: JUMPDEST 00000b38: DUP9 00000b39: DUP9 00000b3a: SUB 00000b3b: PUSH1 0x01 00000b3d: ADD 00000b3e: PUSH1 0x40 00000b40: MLOAD 00000b41: SWAP1 00000b42: DUP1 00000b43: DUP3 00000b44: MSTORE 00000b45: DUP1 00000b46: PUSH1 0x20 00000b48: MUL 00000b49: PUSH1 0x20 00000b4b: ADD 00000b4c: DUP3 00000b4d: ADD 00000b4e: PUSH1 0x40 00000b50: MSTORE 00000b51: DUP1 00000b52: ISZERO 00000b53: PUSH2 0x0b66 00000b56: JUMPI 00000b57: DUP2 00000b58: PUSH1 0x20 00000b5a: ADD 00000b5b: PUSH1 0x20 00000b5d: DUP3 00000b5e: MUL 00000b5f: DUP1 00000b60: CODESIZE 00000b61: DUP4 00000b62: CODECOPY 00000b63: ADD 00000b64: SWAP1 00000b65: POP 00000b66: JUMPDEST 00000b67: POP 00000b68: SWAP4 00000b69: POP 00000b6a: DUP9 00000b6b: DUP9 00000b6c: SUB 00000b6d: PUSH1 0x01 00000b6f: ADD 00000b70: PUSH1 0x40 00000b72: MLOAD 00000b73: SWAP1 00000b74: DUP1 00000b75: DUP3 00000b76: MSTORE 00000b77: DUP1 00000b78: PUSH1 0x20 00000b7a: MUL 00000b7b: PUSH1 0x20 00000b7d: ADD 00000b7e: DUP3 00000b7f: ADD 00000b80: PUSH1 0x40 00000b82: MSTORE 00000b83: DUP1 00000b84: ISZERO 00000b85: PUSH2 0x0b98 00000b88: JUMPI 00000b89: DUP2 00000b8a: PUSH1 0x20 00000b8c: ADD 00000b8d: PUSH1 0x20 00000b8f: DUP3 00000b90: MUL 00000b91: DUP1 00000b92: CODESIZE 00000b93: DUP4 00000b94: CODECOPY 00000b95: ADD 00000b96: SWAP1 00000b97: POP 00000b98: JUMPDEST 00000b99: POP 00000b9a: SWAP3 00000b9b: POP 00000b9c: DUP9 00000b9d: DUP9 00000b9e: SUB 00000b9f: PUSH1 0x01 00000ba1: ADD 00000ba2: PUSH1 0x40 00000ba4: MLOAD 00000ba5: SWAP1 00000ba6: DUP1 00000ba7: DUP3 00000ba8: MSTORE 00000ba9: DUP1 00000baa: PUSH1 0x20 00000bac: MUL 00000bad: PUSH1 0x20 00000baf: ADD 00000bb0: DUP3 00000bb1: ADD 00000bb2: PUSH1 0x40 00000bb4: MSTORE 00000bb5: DUP1 00000bb6: ISZERO 00000bb7: PUSH2 0x0bca 00000bba: JUMPI 00000bbb: DUP2 00000bbc: PUSH1 0x20 00000bbe: ADD 00000bbf: PUSH1 0x20 00000bc1: DUP3 00000bc2: MUL 00000bc3: DUP1 00000bc4: CODESIZE 00000bc5: DUP4 00000bc6: CODECOPY 00000bc7: ADD 00000bc8: SWAP1 00000bc9: POP 00000bca: JUMPDEST 00000bcb: POP 00000bcc: SWAP2 00000bcd: POP 00000bce: DUP9 00000bcf: SWAP1 00000bd0: POP 00000bd1: JUMPDEST 00000bd2: DUP8 00000bd3: DUP2 00000bd4: GT 00000bd5: PUSH2 0x0c56 00000bd8: JUMPI 00000bd9: PUSH2 0x0be1 00000bdc: DUP2 00000bdd: PUSH2 0x0c84 00000be0: JUMP 00000be1: JUMPDEST 00000be2: DUP5 00000be3: DUP11 00000be4: DUP4 00000be5: SUB 00000be6: DUP2 00000be7: MLOAD 00000be8: DUP2 00000be9: LT 00000bea: ISZERO 00000beb: ISZERO 00000bec: PUSH2 0x0bf1 00000bef: JUMPI 00000bf0: INVALID 00000bf1: JUMPDEST 00000bf2: PUSH1 0x01 00000bf4: PUSH1 0xa0 00000bf6: PUSH1 0x02 00000bf8: EXP 00000bf9: SUB 00000bfa: SWAP1 00000bfb: SWAP3 00000bfc: AND 00000bfd: PUSH1 0x20 00000bff: SWAP3 00000c00: DUP4 00000c01: MUL 00000c02: SWAP1 00000c03: SWAP2 00000c04: ADD 00000c05: SWAP1 00000c06: SWAP2 00000c07: ADD 00000c08: MSTORE 00000c09: PUSH2 0x0c11 00000c0c: DUP2 00000c0d: PUSH2 0x0d2b 00000c10: JUMP 00000c11: JUMPDEST 00000c12: DUP4 00000c13: DUP11 00000c14: DUP4 00000c15: SUB 00000c16: DUP2 00000c17: MLOAD 00000c18: DUP2 00000c19: LT 00000c1a: ISZERO 00000c1b: ISZERO 00000c1c: PUSH2 0x0c21 00000c1f: JUMPI 00000c20: INVALID 00000c21: JUMPDEST 00000c22: PUSH1 0x20 00000c24: SWAP1 00000c25: DUP2 00000c26: MUL 00000c27: SWAP1 00000c28: SWAP2 00000c29: ADD 00000c2a: ADD 00000c2b: MSTORE 00000c2c: PUSH2 0x0c34 00000c2f: DUP2 00000c30: PUSH2 0x0849 00000c33: JUMP 00000c34: JUMPDEST 00000c35: DUP3 00000c36: DUP11 00000c37: DUP4 00000c38: SUB 00000c39: DUP2 00000c3a: MLOAD 00000c3b: DUP2 00000c3c: LT 00000c3d: ISZERO 00000c3e: ISZERO 00000c3f: PUSH2 0x0c44 00000c42: JUMPI 00000c43: INVALID 00000c44: JUMPDEST 00000c45: PUSH1 0x20 00000c47: SWAP1 00000c48: DUP2 00000c49: MUL 00000c4a: SWAP1 00000c4b: SWAP2 00000c4c: ADD 00000c4d: ADD 00000c4e: MSTORE 00000c4f: PUSH1 0x01 00000c51: ADD 00000c52: PUSH2 0x0bd1 00000c55: JUMP 00000c56: JUMPDEST 00000c57: POP 00000c58: SWAP2 00000c59: SWAP8 00000c5a: SWAP1 00000c5b: SWAP7 00000c5c: POP 00000c5d: SWAP1 00000c5e: SWAP5 00000c5f: POP 00000c60: SWAP3 00000c61: POP 00000c62: POP 00000c63: POP 00000c64: JUMP 00000c65: JUMPDEST 00000c66: PUSH1 0x01 00000c68: PUSH1 0xa0 00000c6a: PUSH1 0x02 00000c6c: EXP 00000c6d: SUB 00000c6e: AND 00000c6f: PUSH1 0x00 00000c71: SWAP1 00000c72: DUP2 00000c73: MSTORE 00000c74: PUSH1 0x08 00000c76: PUSH1 0x20 00000c78: MSTORE 00000c79: PUSH1 0x40 00000c7b: SWAP1 00000c7c: KECCAK256 00000c7d: SLOAD 00000c7e: SWAP1 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: EQ 00000c82: SWAP1 00000c83: JUMP 00000c84: JUMPDEST 00000c85: PUSH1 0x00 00000c87: PUSH1 0x06 00000c89: DUP3 00000c8a: DUP2 00000c8b: SLOAD 00000c8c: DUP2 00000c8d: LT 00000c8e: ISZERO 00000c8f: ISZERO 00000c90: PUSH2 0x0c95 00000c93: JUMPI 00000c94: INVALID 00000c95: JUMPDEST 00000c96: PUSH1 0x00 00000c98: SWAP2 00000c99: DUP3 00000c9a: MSTORE 00000c9b: PUSH1 0x20 00000c9d: SWAP1 00000c9e: SWAP2 00000c9f: KECCAK256 00000ca0: PUSH1 0x03 00000ca2: SWAP1 00000ca3: SWAP2 00000ca4: MUL 00000ca5: ADD 00000ca6: SLOAD 00000ca7: PUSH1 0x01 00000ca9: PUSH1 0xa0 00000cab: PUSH1 0x02 00000cad: EXP 00000cae: SUB 00000caf: AND 00000cb0: SWAP3 00000cb1: SWAP2 00000cb2: POP 00000cb3: POP 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: PUSH1 0x00 00000cb8: PUSH2 0x0cc2 00000cbb: DUP3 00000cbc: PUSH1 0x01 00000cbe: PUSH2 0x11da 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: DUP4 00000cc4: GT 00000cc5: ISZERO 00000cc6: PUSH2 0x0ccb 00000cc9: JUMPI 00000cca: INVALID 00000ccb: JUMPDEST 00000ccc: PUSH2 0x0cd6 00000ccf: DUP3 00000cd0: PUSH1 0x01 00000cd2: PUSH2 0x11da 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: SWAP1 00000cd8: SWAP3 00000cd9: EQ 00000cda: SWAP3 00000cdb: SWAP2 00000cdc: POP 00000cdd: POP 00000cde: JUMP 00000cdf: JUMPDEST 00000ce0: PUSH1 0x04 00000ce2: SLOAD 00000ce3: SWAP1 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH1 0x60 00000ce8: DUP1 00000ce9: PUSH1 0x60 00000ceb: PUSH1 0x00 00000ced: PUSH2 0x0cf4 00000cf0: PUSH2 0x0a85 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: SWAP1 00000cf6: POP 00000cf7: PUSH2 0x0d04 00000cfa: PUSH1 0x00 00000cfc: PUSH1 0x01 00000cfe: DUP4 00000cff: SUB 00000d00: PUSH2 0x0ab0 00000d03: JUMP 00000d04: JUMPDEST 00000d05: SWAP4 00000d06: POP 00000d07: SWAP4 00000d08: POP 00000d09: SWAP4 00000d0a: POP 00000d0b: POP 00000d0c: SWAP1 00000d0d: SWAP2 00000d0e: SWAP3 00000d0f: JUMP 00000d10: JUMPDEST 00000d11: PUSH1 0x01 00000d13: PUSH1 0xa0 00000d15: PUSH1 0x02 00000d17: EXP 00000d18: SUB 00000d19: AND 00000d1a: PUSH1 0x00 00000d1c: SWAP1 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: PUSH1 0x07 00000d21: PUSH1 0x20 00000d23: MSTORE 00000d24: PUSH1 0x40 00000d26: SWAP1 00000d27: KECCAK256 00000d28: SLOAD 00000d29: SWAP1 00000d2a: JUMP 00000d2b: JUMPDEST 00000d2c: PUSH1 0x00 00000d2e: PUSH1 0x06 00000d30: DUP3 00000d31: DUP2 00000d32: SLOAD 00000d33: DUP2 00000d34: LT 00000d35: ISZERO 00000d36: ISZERO 00000d37: PUSH2 0x0d3c 00000d3a: JUMPI 00000d3b: INVALID 00000d3c: JUMPDEST 00000d3d: SWAP1 00000d3e: PUSH1 0x00 00000d40: MSTORE 00000d41: PUSH1 0x20 00000d43: PUSH1 0x00 00000d45: KECCAK256 00000d46: SWAP1 00000d47: PUSH1 0x03 00000d49: MUL 00000d4a: ADD 00000d4b: PUSH1 0x01 00000d4d: ADD 00000d4e: SLOAD 00000d4f: SWAP1 00000d50: POP 00000d51: SWAP2 00000d52: SWAP1 00000d53: POP 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x02 00000d58: SLOAD 00000d59: PUSH1 0x01 00000d5b: PUSH1 0xa0 00000d5d: PUSH1 0x02 00000d5f: EXP 00000d60: SUB 00000d61: AND 00000d62: CALLER 00000d63: EQ 00000d64: PUSH2 0x0ddd 00000d67: JUMPI 00000d68: PUSH1 0x40 00000d6a: DUP1 00000d6b: MLOAD 00000d6c: PUSH1 0xe5 00000d6e: PUSH1 0x02 00000d70: EXP 00000d71: PUSH3 0x461bcd 00000d75: MUL 00000d76: DUP2 00000d77: MSTORE 00000d78: PUSH1 0x20 00000d7a: PUSH1 0x04 00000d7c: DUP3 00000d7d: ADD 00000d7e: MSTORE 00000d7f: PUSH1 0x21 00000d81: PUSH1 0x24 00000d83: DUP3 00000d84: ADD 00000d85: MSTORE 00000d86: PUSH32 0x53656e646572206973206e6f742074686520636f6e7472616374206f776e6572 00000da7: PUSH1 0x44 00000da9: DUP3 00000daa: ADD 00000dab: MSTORE 00000dac: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000dcd: PUSH1 0x64 00000dcf: DUP3 00000dd0: ADD 00000dd1: MSTORE 00000dd2: SWAP1 00000dd3: MLOAD 00000dd4: SWAP1 00000dd5: DUP2 00000dd6: SWAP1 00000dd7: SUB 00000dd8: PUSH1 0x84 00000dda: ADD 00000ddb: SWAP1 00000ddc: REVERT 00000ddd: JUMPDEST 00000dde: PUSH1 0x04 00000de0: SLOAD 00000de1: ISZERO 00000de2: PUSH2 0x0dea 00000de5: JUMPI 00000de6: PUSH1 0x00 00000de8: DUP1 00000de9: REVERT 00000dea: JUMPDEST 00000deb: TIMESTAMP 00000dec: DUP2 00000ded: ADD 00000dee: PUSH1 0x04 00000df0: DUP2 00000df1: SWAP1 00000df2: SSTORE 00000df3: PUSH1 0x40 00000df5: DUP1 00000df6: MLOAD 00000df7: SWAP2 00000df8: DUP3 00000df9: MSTORE 00000dfa: MLOAD 00000dfb: PUSH32 0xc95500414a933625aebaf804d96decf560ff6c63826e9ff60c61408e05bb004f 00000e1c: SWAP2 00000e1d: DUP2 00000e1e: SWAP1 00000e1f: SUB 00000e20: PUSH1 0x20 00000e22: ADD 00000e23: SWAP1 00000e24: LOG1 00000e25: POP 00000e26: JUMP 00000e27: JUMPDEST 00000e28: PUSH1 0x01 00000e2a: PUSH1 0xa0 00000e2c: PUSH1 0x02 00000e2e: EXP 00000e2f: SUB 00000e30: DUP1 00000e31: DUP4 00000e32: AND 00000e33: PUSH1 0x00 00000e35: SWAP1 00000e36: DUP2 00000e37: MSTORE 00000e38: PUSH1 0x0a 00000e3a: PUSH1 0x20 00000e3c: MSTORE 00000e3d: PUSH1 0x40 00000e3f: SWAP1 00000e40: KECCAK256 00000e41: SLOAD 00000e42: PUSH2 0x0e4e 00000e45: SWAP2 00000e46: DUP5 00000e47: SWAP2 00000e48: AND 00000e49: DUP4 00000e4a: PUSH2 0x07d2 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: ISZERO 00000e50: PUSH2 0x096f 00000e53: JUMPI 00000e54: PUSH1 0x01 00000e56: PUSH1 0xa0 00000e58: PUSH1 0x02 00000e5a: EXP 00000e5b: SUB 00000e5c: DUP3 00000e5d: DUP2 00000e5e: AND 00000e5f: PUSH1 0x00 00000e61: DUP2 00000e62: DUP2 00000e63: MSTORE 00000e64: PUSH1 0x0a 00000e66: PUSH1 0x20 00000e68: MSTORE 00000e69: PUSH1 0x40 00000e6b: DUP1 00000e6c: DUP3 00000e6d: KECCAK256 00000e6e: DUP1 00000e6f: SLOAD 00000e70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e85: NOT 00000e86: AND 00000e87: SWAP5 00000e88: DUP7 00000e89: AND 00000e8a: SWAP5 00000e8b: DUP6 00000e8c: OR 00000e8d: SWAP1 00000e8e: SSTORE 00000e8f: MLOAD 00000e90: PUSH32 0xb3f1c8ed4ff0777d22e70236169841472c2775e96f5349e766a140ab2a579ec8 00000eb1: SWAP2 00000eb2: SWAP1 00000eb3: LOG3 00000eb4: POP 00000eb5: POP 00000eb6: JUMP 00000eb7: JUMPDEST 00000eb8: PUSH1 0x00 00000eba: JUMPDEST 00000ebb: DUP4 00000ebc: MLOAD 00000ebd: DUP2 00000ebe: LT 00000ebf: ISZERO 00000ec0: PUSH2 0x0f8f 00000ec3: JUMPI 00000ec4: PUSH1 0x06 00000ec6: PUSH1 0x60 00000ec8: PUSH1 0x40 00000eca: MLOAD 00000ecb: SWAP1 00000ecc: DUP2 00000ecd: ADD 00000ece: PUSH1 0x40 00000ed0: MSTORE 00000ed1: DUP1 00000ed2: DUP7 00000ed3: DUP5 00000ed4: DUP2 00000ed5: MLOAD 00000ed6: DUP2 00000ed7: LT 00000ed8: ISZERO 00000ed9: ISZERO 00000eda: PUSH2 0x0edf 00000edd: JUMPI 00000ede: INVALID 00000edf: JUMPDEST 00000ee0: SWAP1 00000ee1: PUSH1 0x20 00000ee3: ADD 00000ee4: SWAP1 00000ee5: PUSH1 0x20 00000ee7: MUL 00000ee8: ADD 00000ee9: MLOAD 00000eea: PUSH1 0x01 00000eec: PUSH1 0xa0 00000eee: PUSH1 0x02 00000ef0: EXP 00000ef1: SUB 00000ef2: AND 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x20 00000ef7: ADD 00000ef8: DUP6 00000ef9: DUP5 00000efa: DUP2 00000efb: MLOAD 00000efc: DUP2 00000efd: LT 00000efe: ISZERO 00000eff: ISZERO 00000f00: PUSH2 0x0f05 00000f03: JUMPI 00000f04: INVALID 00000f05: JUMPDEST 00000f06: SWAP1 00000f07: PUSH1 0x20 00000f09: ADD 00000f0a: SWAP1 00000f0b: PUSH1 0x20 00000f0d: MUL 00000f0e: ADD 00000f0f: MLOAD 00000f10: DUP2 00000f11: MSTORE 00000f12: PUSH1 0x20 00000f14: ADD 00000f15: DUP5 00000f16: DUP5 00000f17: DUP2 00000f18: MLOAD 00000f19: DUP2 00000f1a: LT 00000f1b: ISZERO 00000f1c: ISZERO 00000f1d: PUSH2 0x0f22 00000f20: JUMPI 00000f21: INVALID 00000f22: JUMPDEST 00000f23: PUSH1 0x20 00000f25: SWAP1 00000f26: DUP2 00000f27: MUL 00000f28: SWAP2 00000f29: SWAP1 00000f2a: SWAP2 00000f2b: ADD 00000f2c: DUP2 00000f2d: ADD 00000f2e: MLOAD 00000f2f: SWAP1 00000f30: SWAP2 00000f31: MSTORE 00000f32: DUP3 00000f33: SLOAD 00000f34: PUSH1 0x01 00000f36: DUP1 00000f37: DUP3 00000f38: ADD 00000f39: DUP6 00000f3a: SSTORE 00000f3b: PUSH1 0x00 00000f3d: SWAP5 00000f3e: DUP6 00000f3f: MSTORE 00000f40: SWAP4 00000f41: DUP3 00000f42: SWAP1 00000f43: KECCAK256 00000f44: DUP4 00000f45: MLOAD 00000f46: PUSH1 0x03 00000f48: SWAP1 00000f49: SWAP3 00000f4a: MUL 00000f4b: ADD 00000f4c: DUP1 00000f4d: SLOAD 00000f4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f63: NOT 00000f64: AND 00000f65: PUSH1 0x01 00000f67: PUSH1 0xa0 00000f69: PUSH1 0x02 00000f6b: EXP 00000f6c: SUB 00000f6d: SWAP1 00000f6e: SWAP3 00000f6f: AND 00000f70: SWAP2 00000f71: SWAP1 00000f72: SWAP2 00000f73: OR 00000f74: DUP2 00000f75: SSTORE 00000f76: SWAP1 00000f77: DUP3 00000f78: ADD 00000f79: MLOAD 00000f7a: DUP2 00000f7b: DUP5 00000f7c: ADD 00000f7d: SSTORE 00000f7e: PUSH1 0x40 00000f80: SWAP1 00000f81: SWAP2 00000f82: ADD 00000f83: MLOAD 00000f84: PUSH1 0x02 00000f86: SWAP1 00000f87: SWAP2 00000f88: ADD 00000f89: SSTORE 00000f8a: ADD 00000f8b: PUSH2 0x0eba 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: POP 00000f91: POP 00000f92: POP 00000f93: POP 00000f94: JUMP 00000f95: JUMPDEST 00000f96: PUSH1 0x00 00000f98: PUSH2 0x0fa0 00000f9b: DUP6 00000f9c: PUSH2 0x0c84 00000f9f: JUMP 00000fa0: JUMPDEST 00000fa1: SWAP1 00000fa2: POP 00000fa3: PUSH2 0x0fb4 00000fa6: DUP4 00000fa7: PUSH2 0x0faf 00000faa: DUP8 00000fab: PUSH2 0x0c84 00000fae: JUMP 00000faf: JUMPDEST 00000fb0: PUSH2 0x0837 00000fb3: JUMP 00000fb4: JUMPDEST 00000fb5: ISZERO 00000fb6: ISZERO 00000fb7: PUSH2 0x100a 00000fba: JUMPI 00000fbb: PUSH1 0x40 00000fbd: DUP1 00000fbe: MLOAD 00000fbf: PUSH1 0xe5 00000fc1: PUSH1 0x02 00000fc3: EXP 00000fc4: PUSH3 0x461bcd 00000fc8: MUL 00000fc9: DUP2 00000fca: MSTORE 00000fcb: PUSH1 0x20 00000fcd: PUSH1 0x04 00000fcf: DUP3 00000fd0: ADD 00000fd1: MSTORE 00000fd2: PUSH1 0x1e 00000fd4: PUSH1 0x24 00000fd6: DUP3 00000fd7: ADD 00000fd8: MSTORE 00000fd9: PUSH32 0x596f752063616e206e6f74206275792066726f6d20796f757273656c662e0000 00000ffa: PUSH1 0x44 00000ffc: DUP3 00000ffd: ADD 00000ffe: MSTORE 00000fff: SWAP1 00001000: MLOAD 00001001: SWAP1 00001002: DUP2 00001003: SWAP1 00001004: SUB 00001005: PUSH1 0x64 00001007: ADD 00001008: SWAP1 00001009: REVERT 0000100a: JUMPDEST 0000100b: PUSH2 0x101c 0000100e: PUSH2 0x1016 00001011: DUP7 00001012: PUSH2 0x0d2b 00001015: JUMP 00001016: JUMPDEST 00001017: DUP4 00001018: PUSH2 0x0c80 0000101b: JUMP 0000101c: JUMPDEST 0000101d: ISZERO 0000101e: ISZERO 0000101f: PUSH2 0x1072 00001022: JUMPI 00001023: PUSH1 0x40 00001025: DUP1 00001026: MLOAD 00001027: PUSH1 0xe5 00001029: PUSH1 0x02 0000102b: EXP 0000102c: PUSH3 0x461bcd 00001030: MUL 00001031: DUP2 00001032: MSTORE 00001033: PUSH1 0x20 00001035: PUSH1 0x04 00001037: DUP3 00001038: ADD 00001039: MSTORE 0000103a: PUSH1 0x16 0000103c: PUSH1 0x24 0000103e: DUP3 0000103f: ADD 00001040: MSTORE 00001041: PUSH32 0x4974206973206e6f7420612076616c6964206275792e00000000000000000000 00001062: PUSH1 0x44 00001064: DUP3 00001065: ADD 00001066: MSTORE 00001067: SWAP1 00001068: MLOAD 00001069: SWAP1 0000106a: DUP2 0000106b: SWAP1 0000106c: SUB 0000106d: PUSH1 0x64 0000106f: ADD 00001070: SWAP1 00001071: REVERT 00001072: JUMPDEST 00001073: PUSH2 0x107e 00001076: DUP6 00001077: DUP3 00001078: DUP6 00001079: DUP6 0000107a: PUSH2 0x11ec 0000107d: JUMP 0000107e: JUMPDEST 0000107f: PUSH2 0x1090 00001082: DUP6 00001083: DUP5 00001084: PUSH7 0x58d15e17628000 0000108c: PUSH2 0x122b 0000108f: JUMP 00001090: JUMPDEST 00001091: PUSH2 0x109a 00001094: DUP6 00001095: DUP5 00001096: PUSH2 0x124b 00001099: JUMP 0000109a: JUMPDEST 0000109b: PUSH2 0x10a3 0000109e: DUP6 0000109f: PUSH2 0x1255 000010a2: JUMP 000010a3: JUMPDEST 000010a4: DUP4 000010a5: PUSH1 0x01 000010a7: PUSH1 0xa0 000010a9: PUSH1 0x02 000010ab: EXP 000010ac: SUB 000010ad: AND 000010ae: DUP4 000010af: PUSH1 0x01 000010b1: PUSH1 0xa0 000010b3: PUSH1 0x02 000010b5: EXP 000010b6: SUB 000010b7: AND 000010b8: DUP7 000010b9: PUSH32 0x23f65a3d59ea178d3257eb66489f5a564e18748b46ac164e45d2f4561b0984d5 000010da: DUP5 000010db: DUP7 000010dc: PUSH2 0x10e4 000010df: DUP12 000010e0: PUSH2 0x0d2b 000010e3: JUMP 000010e4: JUMPDEST 000010e5: PUSH1 0x40 000010e7: DUP1 000010e8: MLOAD 000010e9: PUSH1 0x01 000010eb: PUSH1 0xa0 000010ed: PUSH1 0x02 000010ef: EXP 000010f0: SUB 000010f1: SWAP1 000010f2: SWAP5 000010f3: AND 000010f4: DUP5 000010f5: MSTORE 000010f6: PUSH1 0x20 000010f8: DUP5 000010f9: ADD 000010fa: SWAP3 000010fb: SWAP1 000010fc: SWAP3 000010fd: MSTORE 000010fe: DUP3 000010ff: DUP3 00001100: ADD 00001101: MSTORE 00001102: MLOAD 00001103: SWAP1 00001104: DUP2 00001105: SWAP1 00001106: SUB 00001107: PUSH1 0x60 00001109: ADD 0000110a: SWAP1 0000110b: LOG4 0000110c: POP 0000110d: POP 0000110e: POP 0000110f: POP 00001110: POP 00001111: JUMP 00001112: JUMPDEST 00001113: ADDRESS 00001114: BALANCE 00001115: DUP2 00001116: GT 00001117: ISZERO 00001118: PUSH2 0x111d 0000111b: JUMPI 0000111c: INVALID 0000111d: JUMPDEST 0000111e: PUSH1 0x03 00001120: SLOAD 00001121: PUSH1 0x01 00001123: PUSH1 0xa0 00001125: PUSH1 0x02 00001127: EXP 00001128: SUB 00001129: DUP4 0000112a: DUP2 0000112b: AND 0000112c: SWAP2 0000112d: AND 0000112e: EQ 0000112f: ISZERO 00001130: PUSH2 0x11a4 00001133: JUMPI 00001134: PUSH1 0x01 00001136: PUSH1 0x00 00001138: SWAP1 00001139: SLOAD 0000113a: SWAP1 0000113b: PUSH2 0x0100 0000113e: EXP 0000113f: SWAP1 00001140: DIV 00001141: PUSH1 0x01 00001143: PUSH1 0xa0 00001145: PUSH1 0x02 00001147: EXP 00001148: SUB 00001149: AND 0000114a: PUSH1 0x01 0000114c: PUSH1 0xa0 0000114e: PUSH1 0x02 00001150: EXP 00001151: SUB 00001152: AND 00001153: PUSH4 0xe4fc6b6d 00001158: DUP3 00001159: PUSH1 0x40 0000115b: MLOAD 0000115c: DUP3 0000115d: PUSH4 0xffffffff 00001162: AND 00001163: PUSH1 0xe0 00001165: PUSH1 0x02 00001167: EXP 00001168: MUL 00001169: DUP2 0000116a: MSTORE 0000116b: PUSH1 0x04 0000116d: ADD 0000116e: PUSH1 0x00 00001170: PUSH1 0x40 00001172: MLOAD 00001173: DUP1 00001174: DUP4 00001175: SUB 00001176: DUP2 00001177: DUP6 00001178: DUP9 00001179: DUP1 0000117a: EXTCODESIZE 0000117b: ISZERO 0000117c: DUP1 0000117d: ISZERO 0000117e: PUSH2 0x1186 00001181: JUMPI 00001182: PUSH1 0x00 00001184: DUP1 00001185: REVERT 00001186: JUMPDEST 00001187: POP 00001188: GAS 00001189: CALL 0000118a: ISZERO 0000118b: DUP1 0000118c: ISZERO 0000118d: PUSH2 0x119a 00001190: JUMPI 00001191: RETURNDATASIZE 00001192: PUSH1 0x00 00001194: DUP1 00001195: RETURNDATACOPY 00001196: RETURNDATASIZE 00001197: PUSH1 0x00 00001199: REVERT 0000119a: JUMPDEST 0000119b: POP 0000119c: POP 0000119d: POP 0000119e: POP 0000119f: POP 000011a0: PUSH2 0x096f 000011a3: JUMP 000011a4: JUMPDEST 000011a5: PUSH1 0x40 000011a7: MLOAD 000011a8: PUSH1 0x01 000011aa: PUSH1 0xa0 000011ac: PUSH1 0x02 000011ae: EXP 000011af: SUB 000011b0: DUP4 000011b1: AND 000011b2: SWAP1 000011b3: DUP3 000011b4: ISZERO 000011b5: PUSH2 0x08fc 000011b8: MUL 000011b9: SWAP1 000011ba: DUP4 000011bb: SWAP1 000011bc: PUSH1 0x00 000011be: DUP2 000011bf: DUP2 000011c0: DUP2 000011c1: DUP6 000011c2: DUP9 000011c3: DUP9 000011c4: CALL 000011c5: SWAP4 000011c6: POP 000011c7: POP 000011c8: POP 000011c9: POP 000011ca: ISZERO 000011cb: DUP1 000011cc: ISZERO 000011cd: PUSH2 0x062a 000011d0: JUMPI 000011d1: RETURNDATASIZE 000011d2: PUSH1 0x00 000011d4: DUP1 000011d5: RETURNDATACOPY 000011d6: RETURNDATASIZE 000011d7: PUSH1 0x00 000011d9: REVERT 000011da: JUMPDEST 000011db: PUSH1 0x00 000011dd: DUP3 000011de: DUP3 000011df: GT 000011e0: ISZERO 000011e1: PUSH2 0x11e6 000011e4: JUMPI 000011e5: INVALID 000011e6: JUMPDEST 000011e7: POP 000011e8: SWAP1 000011e9: SUB 000011ea: SWAP1 000011eb: JUMP 000011ec: JUMPDEST 000011ed: PUSH2 0x11f8 000011f0: DUP5 000011f1: DUP3 000011f2: PUSH1 0x2d 000011f4: PUSH2 0x13c3 000011f7: JUMP 000011f8: JUMPDEST 000011f9: PUSH2 0x1204 000011fc: DUP4 000011fd: DUP3 000011fe: PUSH1 0x32 00001200: PUSH2 0x14d3 00001203: JUMP 00001204: JUMPDEST 00001205: PUSH1 0x01 00001207: PUSH1 0xa0 00001209: PUSH1 0x02 0000120b: EXP 0000120c: SUB 0000120d: DUP1 0000120e: DUP4 0000120f: AND 00001210: PUSH1 0x00 00001212: SWAP1 00001213: DUP2 00001214: MSTORE 00001215: PUSH1 0x0a 00001217: PUSH1 0x20 00001219: MSTORE 0000121a: PUSH1 0x40 0000121c: SWAP1 0000121d: KECCAK256 0000121e: SLOAD 0000121f: PUSH2 0x0f8f 00001222: SWAP2 00001223: AND 00001224: DUP3 00001225: PUSH1 0x05 00001227: PUSH2 0x1502 0000122a: JUMP 0000122b: JUMPDEST 0000122c: PUSH2 0x123c 0000122f: DUP4 00001230: PUSH2 0x1237 00001233: PUSH2 0x0a85 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH2 0x0cb5 0000123b: JUMP 0000123c: JUMPDEST 0000123d: ISZERO 0000123e: PUSH2 0x062a 00001241: JUMPI 00001242: PUSH2 0x062a 00001245: DUP3 00001246: DUP3 00001247: PUSH2 0x156e 0000124a: JUMP 0000124b: JUMPDEST 0000124c: PUSH2 0x096f 0000124f: DUP3 00001250: DUP3 00001251: PUSH2 0x163b 00001254: JUMP 00001255: JUMPDEST 00001256: PUSH1 0x00 00001258: DUP1 00001259: SLOAD 0000125a: PUSH1 0x40 0000125c: DUP1 0000125d: MLOAD 0000125e: PUSH32 0x28a5190c00000000000000000000000000000000000000000000000000000000 0000127f: DUP2 00001280: MSTORE 00001281: SWAP1 00001282: MLOAD 00001283: PUSH1 0x64 00001285: SWAP3 00001286: PUSH1 0x01 00001288: PUSH1 0xa0 0000128a: PUSH1 0x02 0000128c: EXP 0000128d: SUB 0000128e: AND 0000128f: SWAP2 00001290: PUSH4 0x28a5190c 00001295: SWAP2 00001296: PUSH1 0x04 00001298: DUP1 00001299: DUP4 0000129a: ADD 0000129b: SWAP3 0000129c: PUSH1 0x20 0000129e: SWAP3 0000129f: SWAP2 000012a0: SWAP1 000012a1: DUP3 000012a2: SWAP1 000012a3: SUB 000012a4: ADD 000012a5: DUP2 000012a6: DUP9 000012a7: DUP8 000012a8: DUP1 000012a9: EXTCODESIZE 000012aa: ISZERO 000012ab: DUP1 000012ac: ISZERO 000012ad: PUSH2 0x12b5 000012b0: JUMPI 000012b1: PUSH1 0x00 000012b3: DUP1 000012b4: REVERT 000012b5: JUMPDEST 000012b6: POP 000012b7: GAS 000012b8: CALL 000012b9: ISZERO 000012ba: DUP1 000012bb: ISZERO 000012bc: PUSH2 0x12c9 000012bf: JUMPI 000012c0: RETURNDATASIZE 000012c1: PUSH1 0x00 000012c3: DUP1 000012c4: RETURNDATACOPY 000012c5: RETURNDATASIZE 000012c6: PUSH1 0x00 000012c8: REVERT 000012c9: JUMPDEST 000012ca: POP 000012cb: POP 000012cc: POP 000012cd: POP 000012ce: PUSH1 0x40 000012d0: MLOAD 000012d1: RETURNDATASIZE 000012d2: PUSH1 0x20 000012d4: DUP2 000012d5: LT 000012d6: ISZERO 000012d7: PUSH2 0x12df 000012da: JUMPI 000012db: PUSH1 0x00 000012dd: DUP1 000012de: REVERT 000012df: JUMPDEST 000012e0: POP 000012e1: MLOAD 000012e2: PUSH1 0x06 000012e4: DUP1 000012e5: SLOAD 000012e6: DUP6 000012e7: SWAP1 000012e8: DUP2 000012e9: LT 000012ea: PUSH2 0x12ef 000012ed: JUMPI 000012ee: INVALID 000012ef: JUMPDEST 000012f0: SWAP1 000012f1: PUSH1 0x00 000012f3: MSTORE 000012f4: PUSH1 0x20 000012f6: PUSH1 0x00 000012f8: KECCAK256 000012f9: SWAP1 000012fa: PUSH1 0x03 000012fc: MUL 000012fd: ADD 000012fe: PUSH1 0x01 00001300: ADD 00001301: SLOAD 00001302: MUL 00001303: DUP2 00001304: ISZERO 00001305: ISZERO 00001306: PUSH2 0x130b 00001309: JUMPI 0000130a: INVALID 0000130b: JUMPDEST 0000130c: DIV 0000130d: SWAP1 0000130e: POP 0000130f: PUSH20 0xb8e61c88b3ce99b80389b8913c03c13418f03a14 00001324: PUSH4 0x03ce6c55 00001329: DUP3 0000132a: PUSH4 0x3b9aca00 0000132f: PUSH2 0x2710 00001332: MUL 00001333: PUSH1 0x40 00001335: MLOAD 00001336: DUP4 00001337: PUSH4 0xffffffff 0000133c: AND 0000133d: PUSH1 0xe0 0000133f: PUSH1 0x02 00001341: EXP 00001342: MUL 00001343: DUP2 00001344: MSTORE 00001345: PUSH1 0x04 00001347: ADD 00001348: DUP1 00001349: DUP4 0000134a: DUP2 0000134b: MSTORE 0000134c: PUSH1 0x20 0000134e: ADD 0000134f: DUP3 00001350: DUP2 00001351: MSTORE 00001352: PUSH1 0x20 00001354: ADD 00001355: SWAP3 00001356: POP 00001357: POP 00001358: POP 00001359: PUSH1 0x20 0000135b: PUSH1 0x40 0000135d: MLOAD 0000135e: DUP1 0000135f: DUP4 00001360: SUB 00001361: DUP2 00001362: DUP7 00001363: DUP1 00001364: EXTCODESIZE 00001365: ISZERO 00001366: DUP1 00001367: ISZERO 00001368: PUSH2 0x1370 0000136b: JUMPI 0000136c: PUSH1 0x00 0000136e: DUP1 0000136f: REVERT 00001370: JUMPDEST 00001371: POP 00001372: GAS 00001373: DELEGATECALL 00001374: ISZERO 00001375: DUP1 00001376: ISZERO 00001377: PUSH2 0x1384 0000137a: JUMPI 0000137b: RETURNDATASIZE 0000137c: PUSH1 0x00 0000137e: DUP1 0000137f: RETURNDATACOPY 00001380: RETURNDATASIZE 00001381: PUSH1 0x00 00001383: REVERT 00001384: JUMPDEST 00001385: POP 00001386: POP 00001387: POP 00001388: POP 00001389: PUSH1 0x40 0000138b: MLOAD 0000138c: RETURNDATASIZE 0000138d: PUSH1 0x20 0000138f: DUP2 00001390: LT 00001391: ISZERO 00001392: PUSH2 0x139a 00001395: JUMPI 00001396: PUSH1 0x00 00001398: DUP1 00001399: REVERT 0000139a: JUMPDEST 0000139b: POP 0000139c: MLOAD 0000139d: PUSH1 0x06 0000139f: DUP1 000013a0: SLOAD 000013a1: DUP5 000013a2: SWAP1 000013a3: DUP2 000013a4: LT 000013a5: PUSH2 0x13aa 000013a8: JUMPI 000013a9: INVALID 000013aa: JUMPDEST 000013ab: SWAP1 000013ac: PUSH1 0x00 000013ae: MSTORE 000013af: PUSH1 0x20 000013b1: PUSH1 0x00 000013b3: KECCAK256 000013b4: SWAP1 000013b5: PUSH1 0x03 000013b7: MUL 000013b8: ADD 000013b9: PUSH1 0x01 000013bb: ADD 000013bc: DUP2 000013bd: SWAP1 000013be: SSTORE 000013bf: POP 000013c0: POP 000013c1: POP 000013c2: JUMP 000013c3: JUMPDEST 000013c4: PUSH1 0x00 000013c6: DUP1 000013c7: PUSH1 0x00 000013c9: PUSH1 0x05 000013cb: PUSH2 0x13d4 000013ce: DUP7 000013cf: DUP7 000013d0: PUSH2 0x0a8b 000013d3: JUMP 000013d4: JUMPDEST 000013d5: DUP2 000013d6: ISZERO 000013d7: ISZERO 000013d8: PUSH2 0x13dd 000013db: JUMPI 000013dc: INVALID 000013dd: JUMPDEST 000013de: DIV 000013df: SWAP3 000013e0: POP 000013e1: PUSH1 0x00 000013e3: SWAP1 000013e4: POP 000013e5: JUMPDEST 000013e6: PUSH1 0x05 000013e8: DUP2 000013e9: LT 000013ea: ISZERO 000013eb: PUSH2 0x14cb 000013ee: JUMPI 000013ef: PUSH1 0x00 000013f1: DUP1 000013f2: SLOAD 000013f3: PUSH1 0x40 000013f5: DUP1 000013f6: MLOAD 000013f7: PUSH32 0xdbff60ce00000000000000000000000000000000000000000000000000000000 00001418: DUP2 00001419: MSTORE 0000141a: PUSH1 0x04 0000141c: DUP2 0000141d: ADD 0000141e: DUP11 0000141f: SWAP1 00001420: MSTORE 00001421: PUSH1 0x24 00001423: DUP2 00001424: ADD 00001425: DUP6 00001426: SWAP1 00001427: MSTORE 00001428: SWAP1 00001429: MLOAD 0000142a: PUSH1 0x01 0000142c: PUSH1 0xa0 0000142e: PUSH1 0x02 00001430: EXP 00001431: SUB 00001432: SWAP1 00001433: SWAP3 00001434: AND 00001435: SWAP3 00001436: PUSH4 0xdbff60ce 0000143b: SWAP3 0000143c: PUSH1 0x44 0000143e: DUP1 0000143f: DUP5 00001440: ADD 00001441: SWAP4 00001442: PUSH1 0x20 00001444: SWAP4 00001445: SWAP1 00001446: DUP4 00001447: SWAP1 00001448: SUB 00001449: SWAP1 0000144a: SWAP2 0000144b: ADD 0000144c: SWAP1 0000144d: DUP3 0000144e: SWAP1 0000144f: DUP8 00001450: DUP1 00001451: EXTCODESIZE 00001452: ISZERO 00001453: DUP1 00001454: ISZERO 00001455: PUSH2 0x145d 00001458: JUMPI 00001459: PUSH1 0x00 0000145b: DUP1 0000145c: REVERT 0000145d: JUMPDEST 0000145e: POP 0000145f: GAS 00001460: CALL 00001461: ISZERO 00001462: DUP1 00001463: ISZERO 00001464: PUSH2 0x1471 00001467: JUMPI 00001468: RETURNDATASIZE 00001469: PUSH1 0x00 0000146b: DUP1 0000146c: RETURNDATACOPY 0000146d: RETURNDATASIZE 0000146e: PUSH1 0x00 00001470: REVERT 00001471: JUMPDEST 00001472: POP 00001473: POP 00001474: POP 00001475: POP 00001476: PUSH1 0x40 00001478: MLOAD 00001479: RETURNDATASIZE 0000147a: PUSH1 0x20 0000147c: DUP2 0000147d: LT 0000147e: ISZERO 0000147f: PUSH2 0x1487 00001482: JUMPI 00001483: PUSH1 0x00 00001485: DUP1 00001486: REVERT 00001487: JUMPDEST 00001488: POP 00001489: MLOAD 0000148a: SWAP2 0000148b: POP 0000148c: PUSH2 0x1495 0000148f: DUP3 00001490: DUP5 00001491: PUSH2 0x168a 00001494: JUMP 00001495: JUMPDEST 00001496: DUP3 00001497: PUSH1 0x07 00001499: PUSH1 0x00 0000149b: PUSH2 0x14a3 0000149e: DUP6 0000149f: PUSH2 0x0c84 000014a2: JUMP 000014a3: JUMPDEST 000014a4: PUSH1 0x01 000014a6: PUSH1 0xa0 000014a8: PUSH1 0x02 000014aa: EXP 000014ab: SUB 000014ac: AND 000014ad: DUP2 000014ae: MSTORE 000014af: PUSH1 0x20 000014b1: DUP2 000014b2: ADD 000014b3: SWAP2 000014b4: SWAP1 000014b5: SWAP2 000014b6: MSTORE 000014b7: PUSH1 0x40 000014b9: ADD 000014ba: PUSH1 0x00 000014bc: KECCAK256 000014bd: DUP1 000014be: SLOAD 000014bf: SWAP1 000014c0: SWAP2 000014c1: ADD 000014c2: SWAP1 000014c3: SSTORE 000014c4: PUSH1 0x01 000014c6: ADD 000014c7: PUSH2 0x13e5 000014ca: JUMP 000014cb: JUMPDEST 000014cc: POP 000014cd: POP 000014ce: POP 000014cf: POP 000014d0: POP 000014d1: POP 000014d2: JUMP 000014d3: JUMPDEST 000014d4: PUSH2 0x14dd 000014d7: DUP3 000014d8: DUP3 000014d9: PUSH2 0x0a8b 000014dc: JUMP 000014dd: JUMPDEST 000014de: PUSH1 0x01 000014e0: PUSH1 0xa0 000014e2: PUSH1 0x02 000014e4: EXP 000014e5: SUB 000014e6: SWAP1 000014e7: SWAP4 000014e8: AND 000014e9: PUSH1 0x00 000014eb: SWAP1 000014ec: DUP2 000014ed: MSTORE 000014ee: PUSH1 0x08 000014f0: PUSH1 0x20 000014f2: MSTORE 000014f3: PUSH1 0x40 000014f5: SWAP1 000014f6: KECCAK256 000014f7: DUP1 000014f8: SLOAD 000014f9: SWAP1 000014fa: SWAP4 000014fb: ADD 000014fc: SWAP1 000014fd: SWAP3 000014fe: SSTORE 000014ff: POP 00001500: POP 00001501: JUMP 00001502: JUMPDEST 00001503: PUSH2 0x150b 00001506: DUP4 00001507: PUSH2 0x07c5 0000150a: JUMP 0000150b: JUMPDEST 0000150c: ISZERO 0000150d: PUSH2 0x1540 00001510: JUMPI 00001511: PUSH2 0x151a 00001514: DUP3 00001515: DUP3 00001516: PUSH2 0x0a8b 00001519: JUMP 0000151a: JUMPDEST 0000151b: PUSH1 0x03 0000151d: SLOAD 0000151e: PUSH1 0x01 00001520: PUSH1 0xa0 00001522: PUSH1 0x02 00001524: EXP 00001525: SUB 00001526: AND 00001527: PUSH1 0x00 00001529: SWAP1 0000152a: DUP2 0000152b: MSTORE 0000152c: PUSH1 0x09 0000152e: PUSH1 0x20 00001530: MSTORE 00001531: PUSH1 0x40 00001533: SWAP1 00001534: KECCAK256 00001535: DUP1 00001536: SLOAD 00001537: SWAP1 00001538: SWAP2 00001539: ADD 0000153a: SWAP1 0000153b: SSTORE 0000153c: PUSH2 0x062a 0000153f: JUMP 00001540: JUMPDEST 00001541: PUSH2 0x154a 00001544: DUP3 00001545: DUP3 00001546: PUSH2 0x0a8b 00001549: JUMP 0000154a: JUMPDEST 0000154b: PUSH1 0x01 0000154d: PUSH1 0xa0 0000154f: PUSH1 0x02 00001551: EXP 00001552: SUB 00001553: DUP5 00001554: AND 00001555: PUSH1 0x00 00001557: SWAP1 00001558: DUP2 00001559: MSTORE 0000155a: PUSH1 0x09 0000155c: PUSH1 0x20 0000155e: MSTORE 0000155f: PUSH1 0x40 00001561: SWAP1 00001562: KECCAK256 00001563: DUP1 00001564: SLOAD 00001565: SWAP1 00001566: SWAP2 00001567: ADD 00001568: SWAP1 00001569: SSTORE 0000156a: POP 0000156b: POP 0000156c: POP 0000156d: JUMP 0000156e: JUMPDEST 0000156f: PUSH1 0x40 00001571: DUP1 00001572: MLOAD 00001573: PUSH1 0x60 00001575: DUP2 00001576: ADD 00001577: DUP3 00001578: MSTORE 00001579: PUSH1 0x01 0000157b: PUSH1 0xa0 0000157d: PUSH1 0x02 0000157f: EXP 00001580: SUB 00001581: SWAP4 00001582: DUP5 00001583: AND 00001584: DUP2 00001585: MSTORE 00001586: PUSH1 0x20 00001588: DUP2 00001589: ADD 0000158a: SWAP3 0000158b: DUP4 0000158c: MSTORE 0000158d: PUSH1 0x00 0000158f: SWAP2 00001590: DUP2 00001591: ADD 00001592: DUP3 00001593: DUP2 00001594: MSTORE 00001595: PUSH1 0x06 00001597: DUP1 00001598: SLOAD 00001599: PUSH1 0x01 0000159b: DUP2 0000159c: ADD 0000159d: DUP3 0000159e: SSTORE 0000159f: SWAP4 000015a0: MSTORE 000015a1: SWAP1 000015a2: MLOAD 000015a3: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f 000015c4: PUSH1 0x03 000015c6: SWAP1 000015c7: SWAP4 000015c8: MUL 000015c9: SWAP3 000015ca: DUP4 000015cb: ADD 000015cc: DUP1 000015cd: SLOAD 000015ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e3: NOT 000015e4: AND 000015e5: SWAP2 000015e6: SWAP1 000015e7: SWAP6 000015e8: AND 000015e9: OR 000015ea: SWAP1 000015eb: SWAP4 000015ec: SSTORE 000015ed: SWAP1 000015ee: MLOAD 000015ef: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d40 00001610: DUP3 00001611: ADD 00001612: SSTORE 00001613: SWAP1 00001614: MLOAD 00001615: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d41 00001636: SWAP1 00001637: SWAP2 00001638: ADD 00001639: SSTORE 0000163a: JUMP 0000163b: JUMPDEST 0000163c: DUP1 0000163d: PUSH1 0x06 0000163f: DUP4 00001640: DUP2 00001641: SLOAD 00001642: DUP2 00001643: LT 00001644: ISZERO 00001645: ISZERO 00001646: PUSH2 0x164b 00001649: JUMPI 0000164a: INVALID 0000164b: JUMPDEST 0000164c: PUSH1 0x00 0000164e: SWAP2 0000164f: DUP3 00001650: MSTORE 00001651: PUSH1 0x20 00001653: SWAP1 00001654: SWAP2 00001655: KECCAK256 00001656: PUSH1 0x03 00001658: SWAP1 00001659: SWAP2 0000165a: MUL 0000165b: ADD 0000165c: DUP1 0000165d: SLOAD 0000165e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001673: NOT 00001674: AND 00001675: PUSH1 0x01 00001677: PUSH1 0xa0 00001679: PUSH1 0x02 0000167b: EXP 0000167c: SUB 0000167d: SWAP3 0000167e: SWAP1 0000167f: SWAP3 00001680: AND 00001681: SWAP2 00001682: SWAP1 00001683: SWAP2 00001684: OR 00001685: SWAP1 00001686: SSTORE 00001687: POP 00001688: POP 00001689: JUMP 0000168a: JUMPDEST 0000168b: DUP1 0000168c: PUSH1 0x06 0000168e: DUP4 0000168f: DUP2 00001690: SLOAD 00001691: DUP2 00001692: LT 00001693: ISZERO 00001694: ISZERO 00001695: PUSH2 0x169a 00001698: JUMPI 00001699: INVALID 0000169a: JUMPDEST 0000169b: PUSH1 0x00 0000169d: SWAP2 0000169e: DUP3 0000169f: MSTORE 000016a0: PUSH1 0x20 000016a2: SWAP1 000016a3: SWAP2 000016a4: KECCAK256 000016a5: PUSH1 0x02 000016a7: PUSH1 0x03 000016a9: SWAP1 000016aa: SWAP3 000016ab: MUL 000016ac: ADD 000016ad: ADD 000016ae: DUP1 000016af: SLOAD 000016b0: SWAP1 000016b1: SWAP2 000016b2: ADD 000016b3: SWAP1 000016b4: SSTORE 000016b5: POP 000016b6: POP 000016b7: JUMP 000016b8: STOP 000016b9: LOG1 000016ba: PUSH6 0x627a7a723058 000016c1: KECCAK256 000016c2: PUSH25 0x1f840e5e835740d50a06910cd06ba9ee6285cc5d98915e787b 000016dc: DUP16 000016dd: UNKNOWN(0xD0) 000016de: BALANCE 000016df: UNKNOWN(0xCF) 000016e0: DUP6 000016e1: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x0791559ff789b1182f81fb4d5add7ac09c3fe22c9a5b70ec3280645b2c54c522
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x0791559ff789b1182f81fb4d5add7ac09c3fe22c9a5b70ec3280645b2c54c522",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x131762c2",
"selector": "0x131762c2",
"calldata_variants": [
"0x131762c2",
"0x131762c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ae1ad0",
"selector": "0x14ae1ad0",
"calldata_variants": [
"0x14ae1ad0",
"0x14ae1ad00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4dbab0ba",
"selector": "0x4dbab0ba",
"calldata_variants": [
"0x4dbab0ba",
"0x4dbab0ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x579d94c0",
"selector": "0x579d94c0",
"calldata_variants": [
"0x579d94c0",
"0x579d94c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b8b4f91",
"selector": "0x5b8b4f91",
"calldata_variants": [
"0x5b8b4f91",
"0x5b8b4f910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c32460b",
"selector": "0x5c32460b",
"calldata_variants": [
"0x5c32460b",
"0x5c32460b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66bd78fd",
"selector": "0x66bd78fd",
"calldata_variants": [
"0x66bd78fd",
"0x66bd78fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d03fa87",
"selector": "0x6d03fa87",
"calldata_variants": [
"0x6d03fa87",
"0x6d03fa870000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4979,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 2166,
"type": "tx_origin_used"
},
{
"pc": 2426,
"type": "tx_origin_used"
},
{
"pc": 2165,
"type": "tx_origin_used"
},
{
"pc": 2425,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x131762c2",
"selector": "0x131762c2",
"calldata_variants": [
"0x131762c2",
"0x131762c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ae1ad0",
"selector": "0x14ae1ad0",
"calldata_variants": [
"0x14ae1ad0",
"0x14ae1ad00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4dbab0ba",
"selector": "0x4dbab0ba",
"calldata_variants": [
"0x4dbab0ba",
"0x4dbab0ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x579d94c0",
"selector": "0x579d94c0",
"calldata_variants": [
"0x579d94c0",
"0x579d94c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b8b4f91",
"selector": "0x5b8b4f91",
"calldata_variants": [
"0x5b8b4f91",
"0x5b8b4f910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c32460b",
"selector": "0x5c32460b",
"calldata_variants": [
"0x5c32460b",
"0x5c32460b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66bd78fd",
"selector": "0x66bd78fd",
"calldata_variants": [
"0x66bd78fd",
"0x66bd78fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d03fa87",
"selector": "0x6d03fa87",
"calldata_variants": [
"0x6d03fa87",
"0x6d03fa870000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2166,
"type": "tx_origin_used"
},
{
"pc": 2426,
"type": "tx_origin_used"
},
{
"pc": 2165,
"type": "tx_origin_used"
},
{
"pc": 2425,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x42a3e1bb1237af7dfe71b6239d18dcad6a80f43171c1c8659210b5b4ea9f62ee
call_targets:
0xe467b8d9b0c69f7d497b8f002a9e7f4b61c84c67
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x42a3e1bb1237af7dfe71b6239d18dcad6a80f43171c1c8659210b5b4ea9f62ee",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe467b8d9b0c69f7d497b8f002a9e7f4b61c84c67"
],
"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": "0x131762c2",
"selector": "0x131762c2",
"calldata_variants": [
"0x131762c2",
"0x131762c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ae1ad0",
"selector": "0x14ae1ad0",
"calldata_variants": [
"0x14ae1ad0",
"0x14ae1ad00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4dbab0ba",
"selector": "0x4dbab0ba",
"calldata_variants": [
"0x4dbab0ba",
"0x4dbab0ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x579d94c0",
"selector": "0x579d94c0",
"calldata_variants": [
"0x579d94c0",
"0x579d94c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b8b4f91",
"selector": "0x5b8b4f91",
"calldata_variants": [
"0x5b8b4f91",
"0x5b8b4f910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c32460b",
"selector": "0x5c32460b",
"calldata_variants": [
"0x5c32460b",
"0x5c32460b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66bd78fd",
"selector": "0x66bd78fd",
"calldata_variants": [
"0x66bd78fd",
"0x66bd78fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d03fa87",
"selector": "0x6d03fa87",
"calldata_variants": [
"0x6d03fa87",
"0x6d03fa870000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4489,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4548,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4792,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 2166,
"type": "tx_origin_used"
},
{
"pc": 2426,
"type": "tx_origin_used"
},
{
"pc": 2165,
"type": "tx_origin_used"
},
{
"pc": 2425,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x42a3e1bb1237af7dfe71b6239d18dcad6a80f43171c1c8659210b5b4ea9f62ee
call_targets:
0xe467b8d9b0c69f7d497b8f002a9e7f4b61c84c67
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x42a3e1bb1237af7dfe71b6239d18dcad6a80f43171c1c8659210b5b4ea9f62ee",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe467b8d9b0c69f7d497b8f002a9e7f4b61c84c67"
],
"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": "0x131762c2",
"selector": "0x131762c2",
"calldata_variants": [
"0x131762c2",
"0x131762c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ae1ad0",
"selector": "0x14ae1ad0",
"calldata_variants": [
"0x14ae1ad0",
"0x14ae1ad00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4dbab0ba",
"selector": "0x4dbab0ba",
"calldata_variants": [
"0x4dbab0ba",
"0x4dbab0ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x579d94c0",
"selector": "0x579d94c0",
"calldata_variants": [
"0x579d94c0",
"0x579d94c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b8b4f91",
"selector": "0x5b8b4f91",
"calldata_variants": [
"0x5b8b4f91",
"0x5b8b4f910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c32460b",
"selector": "0x5c32460b",
"calldata_variants": [
"0x5c32460b",
"0x5c32460b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66bd78fd",
"selector": "0x66bd78fd",
"calldata_variants": [
"0x66bd78fd",
"0x66bd78fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d03fa87",
"selector": "0x6d03fa87",
"calldata_variants": [
"0x6d03fa87",
"0x6d03fa870000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4489,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4548,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4792,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 2166,
"type": "tx_origin_used"
},
{
"pc": 2426,
"type": "tx_origin_used"
},
{
"pc": 2165,
"type": "tx_origin_used"
},
{
"pc": 2425,
"type": "tx_origin_used"
}
]
}
|