019b3844-908e-728f-9277-6551ea66aed4
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 |
|---|---|---|---|---|
| 12621 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12622 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 55820 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 55821 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 55822 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 55823 | 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 0x0189 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x02a7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x02da 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x0364 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x037c 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x0391 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x23b3b704 00000071: EQ 00000072: PUSH2 0x03a9 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x313ce567 0000007c: EQ 0000007d: PUSH2 0x03c1 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x3ccfd60b 00000087: EQ 00000088: PUSH2 0x03ec 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x3e0a322d 00000092: EQ 00000093: PUSH2 0x0403 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x4b750334 0000009d: EQ 0000009e: PUSH2 0x041b 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x544736e6 000000a8: EQ 000000a9: PUSH2 0x0430 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x56d399e8 000000b3: EQ 000000b4: PUSH2 0x0459 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x585bc281 000000be: EQ 000000bf: PUSH2 0x046e 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x6284ae41 000000c9: EQ 000000ca: PUSH2 0x0483 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x688abbf7 000000d4: EQ 000000d5: PUSH2 0x0498 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x6b2f4632 000000df: EQ 000000e0: PUSH2 0x04b2 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x70a08231 000000ea: EQ 000000eb: PUSH2 0x04c7 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x78e97925 000000f5: EQ 000000f6: PUSH2 0x04e8 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x8620410b 00000100: EQ 00000101: PUSH2 0x04fd 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x91e33107 0000010b: EQ 0000010c: PUSH2 0x0512 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x949e8acd 00000116: EQ 00000117: PUSH2 0x0527 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x95d89b41 00000121: EQ 00000122: PUSH2 0x053c 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xa9059cbb 0000012c: EQ 0000012d: PUSH2 0x0551 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xcaa877e7 00000137: EQ 00000138: PUSH2 0x0575 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xd6dda33d 00000142: EQ 00000143: PUSH2 0x058f 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xda7af32d 0000014d: EQ 0000014e: PUSH2 0x05a4 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xe4849b32 00000158: EQ 00000159: PUSH2 0x05b9 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xe9fad8ee 00000163: EQ 00000164: PUSH2 0x05d1 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0xf088d547 0000016e: EQ 0000016f: PUSH2 0x05e6 00000172: JUMPI 00000173: DUP1 00000174: PUSH4 0xfdb5a03e 00000179: EQ 0000017a: PUSH2 0x05fa 0000017d: JUMPI 0000017e: DUP1 0000017f: PUSH4 0xff295c5d 00000184: EQ 00000185: PUSH2 0x060f 00000188: JUMPI 00000189: JUMPDEST 0000018a: PUSH1 0x04 0000018c: SLOAD 0000018d: CALLVALUE 0000018e: ADDRESS 0000018f: BALANCE 00000190: SUB 00000191: LT 00000192: ISZERO 00000193: PUSH2 0x01a5 00000196: JUMPI 00000197: PUSH1 0x03 00000199: SLOAD 0000019a: CALLVALUE 0000019b: GT 0000019c: ISZERO 0000019d: PUSH2 0x01a5 000001a0: JUMPI 000001a1: PUSH1 0x00 000001a3: DUP1 000001a4: REVERT 000001a5: JUMPDEST 000001a6: PUSH1 0x0d 000001a8: SLOAD 000001a9: ISZERO 000001aa: ISZERO 000001ab: PUSH2 0x01e4 000001ae: JUMPI 000001af: CALLER 000001b0: PUSH1 0x00 000001b2: SWAP1 000001b3: DUP2 000001b4: MSTORE 000001b5: PUSH1 0x0e 000001b7: PUSH1 0x20 000001b9: MSTORE 000001ba: PUSH1 0x40 000001bc: SWAP1 000001bd: KECCAK256 000001be: SLOAD 000001bf: PUSH1 0xff 000001c1: AND 000001c2: DUP1 000001c3: ISZERO 000001c4: PUSH2 0x01d4 000001c7: JUMPI 000001c8: POP 000001c9: CALLVALUE 000001ca: PUSH8 0x03782dace9d90000 000001d3: EQ 000001d4: JUMPDEST 000001d5: ISZERO 000001d6: ISZERO 000001d7: PUSH2 0x01df 000001da: JUMPI 000001db: PUSH1 0x00 000001dd: DUP1 000001de: REVERT 000001df: JUMPDEST 000001e0: PUSH2 0x0266 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH1 0x06 000001e7: PUSH1 0x0d 000001e9: SLOAD 000001ea: LT 000001eb: ISZERO 000001ec: PUSH2 0x021d 000001ef: JUMPI 000001f0: CALLER 000001f1: PUSH1 0x00 000001f3: SWAP1 000001f4: DUP2 000001f5: MSTORE 000001f6: PUSH1 0x0e 000001f8: PUSH1 0x20 000001fa: MSTORE 000001fb: PUSH1 0x40 000001fd: SWAP1 000001fe: KECCAK256 000001ff: SLOAD 00000200: PUSH1 0xff 00000202: AND 00000203: DUP1 00000204: ISZERO 00000205: PUSH2 0x01d4 00000208: JUMPI 00000209: POP 0000020a: PUSH8 0x0a688906bd8b0000 00000213: CALLVALUE 00000214: EQ 00000215: PUSH2 0x01df 00000218: JUMPI 00000219: PUSH1 0x00 0000021b: DUP1 0000021c: REVERT 0000021d: JUMPDEST 0000021e: PUSH1 0x0d 00000220: SLOAD 00000221: PUSH1 0x06 00000223: EQ 00000224: DUP1 00000225: PUSH2 0x0230 00000228: JUMPI 00000229: POP 0000022a: PUSH1 0x0d 0000022c: SLOAD 0000022d: PUSH1 0x07 0000022f: EQ 00000230: JUMPDEST 00000231: ISZERO 00000232: PUSH2 0x0266 00000235: JUMPI 00000236: CALLER 00000237: PUSH1 0x00 00000239: SWAP1 0000023a: DUP2 0000023b: MSTORE 0000023c: PUSH1 0x0e 0000023e: PUSH1 0x20 00000240: MSTORE 00000241: PUSH1 0x40 00000243: SWAP1 00000244: KECCAK256 00000245: SLOAD 00000246: PUSH1 0xff 00000248: AND 00000249: DUP1 0000024a: ISZERO 0000024b: PUSH2 0x025b 0000024e: JUMPI 0000024f: POP 00000250: CALLVALUE 00000251: PUSH8 0x0de0b6b3a7640000 0000025a: EQ 0000025b: JUMPDEST 0000025c: ISZERO 0000025d: ISZERO 0000025e: PUSH2 0x0266 00000261: JUMPI 00000262: PUSH1 0x00 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: PUSH5 0x2ecc8899ff 0000026d: GASPRICE 0000026e: LT 0000026f: PUSH2 0x0277 00000272: JUMPI 00000273: PUSH1 0x00 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: PUSH2 0x027f 0000027b: PUSH2 0x0640 0000027e: JUMP 0000027f: JUMPDEST 00000280: DUP1 00000281: PUSH2 0x028d 00000284: JUMPI 00000285: POP 00000286: PUSH2 0x028d 00000289: PUSH2 0x064a 0000028c: JUMP 0000028d: JUMPDEST 0000028e: ISZERO 0000028f: ISZERO 00000290: PUSH2 0x0298 00000293: JUMPI 00000294: PUSH1 0x00 00000296: DUP1 00000297: REVERT 00000298: JUMPDEST 00000299: PUSH2 0x02a4 0000029c: CALLVALUE 0000029d: PUSH1 0x00 0000029f: CALLER 000002a0: PUSH2 0x0665 000002a3: JUMP 000002a4: JUMPDEST 000002a5: POP 000002a6: STOP 000002a7: JUMPDEST 000002a8: CALLVALUE 000002a9: DUP1 000002aa: ISZERO 000002ab: PUSH2 0x02b3 000002ae: JUMPI 000002af: PUSH1 0x00 000002b1: DUP1 000002b2: REVERT 000002b3: JUMPDEST 000002b4: POP 000002b5: PUSH2 0x02c8 000002b8: PUSH1 0x01 000002ba: PUSH1 0xa0 000002bc: PUSH1 0x02 000002be: EXP 000002bf: SUB 000002c0: PUSH1 0x04 000002c2: CALLDATALOAD 000002c3: AND 000002c4: PUSH2 0x08cf 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x40 000002cb: DUP1 000002cc: MLOAD 000002cd: SWAP2 000002ce: DUP3 000002cf: MSTORE 000002d0: MLOAD 000002d1: SWAP1 000002d2: DUP2 000002d3: SWAP1 000002d4: SUB 000002d5: PUSH1 0x20 000002d7: ADD 000002d8: SWAP1 000002d9: RETURN 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: DUP1 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: POP 000002e8: PUSH2 0x02ef 000002eb: PUSH2 0x090a 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x40 000002f2: DUP1 000002f3: MLOAD 000002f4: PUSH1 0x20 000002f6: DUP1 000002f7: DUP3 000002f8: MSTORE 000002f9: DUP4 000002fa: MLOAD 000002fb: DUP2 000002fc: DUP4 000002fd: ADD 000002fe: MSTORE 000002ff: DUP4 00000300: MLOAD 00000301: SWAP2 00000302: SWAP3 00000303: DUP4 00000304: SWAP3 00000305: SWAP1 00000306: DUP4 00000307: ADD 00000308: SWAP2 00000309: DUP6 0000030a: ADD 0000030b: SWAP1 0000030c: DUP1 0000030d: DUP4 0000030e: DUP4 0000030f: PUSH1 0x00 00000311: JUMPDEST 00000312: DUP4 00000313: DUP2 00000314: LT 00000315: ISZERO 00000316: PUSH2 0x0329 00000319: JUMPI 0000031a: DUP2 0000031b: DUP2 0000031c: ADD 0000031d: MLOAD 0000031e: DUP4 0000031f: DUP3 00000320: ADD 00000321: MSTORE 00000322: PUSH1 0x20 00000324: ADD 00000325: PUSH2 0x0311 00000328: JUMP 00000329: JUMPDEST 0000032a: POP 0000032b: POP 0000032c: POP 0000032d: POP 0000032e: SWAP1 0000032f: POP 00000330: SWAP1 00000331: DUP2 00000332: ADD 00000333: SWAP1 00000334: PUSH1 0x1f 00000336: AND 00000337: DUP1 00000338: ISZERO 00000339: PUSH2 0x0356 0000033c: JUMPI 0000033d: DUP1 0000033e: DUP3 0000033f: SUB 00000340: DUP1 00000341: MLOAD 00000342: PUSH1 0x01 00000344: DUP4 00000345: PUSH1 0x20 00000347: SUB 00000348: PUSH2 0x0100 0000034b: EXP 0000034c: SUB 0000034d: NOT 0000034e: AND 0000034f: DUP2 00000350: MSTORE 00000351: PUSH1 0x20 00000353: ADD 00000354: SWAP2 00000355: POP 00000356: JUMPDEST 00000357: POP 00000358: SWAP3 00000359: POP 0000035a: POP 0000035b: POP 0000035c: PUSH1 0x40 0000035e: MLOAD 0000035f: DUP1 00000360: SWAP2 00000361: SUB 00000362: SWAP1 00000363: RETURN 00000364: JUMPDEST 00000365: CALLVALUE 00000366: DUP1 00000367: ISZERO 00000368: PUSH2 0x0370 0000036b: JUMPI 0000036c: PUSH1 0x00 0000036e: DUP1 0000036f: REVERT 00000370: JUMPDEST 00000371: POP 00000372: PUSH2 0x02c8 00000375: PUSH1 0x04 00000377: CALLDATALOAD 00000378: PUSH2 0x0998 0000037b: JUMP 0000037c: JUMPDEST 0000037d: CALLVALUE 0000037e: DUP1 0000037f: ISZERO 00000380: PUSH2 0x0388 00000383: JUMPI 00000384: PUSH1 0x00 00000386: DUP1 00000387: REVERT 00000388: JUMPDEST 00000389: POP 0000038a: PUSH2 0x02c8 0000038d: PUSH2 0x09cb 00000390: JUMP 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x02c8 000003a2: PUSH1 0x04 000003a4: CALLDATALOAD 000003a5: PUSH2 0x09d1 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x02c8 000003ba: PUSH1 0x04 000003bc: CALLDATALOAD 000003bd: PUSH2 0x0a16 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x03d6 000003d2: PUSH2 0x0a3f 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH1 0x40 000003d9: DUP1 000003da: MLOAD 000003db: PUSH1 0xff 000003dd: SWAP1 000003de: SWAP3 000003df: AND 000003e0: DUP3 000003e1: MSTORE 000003e2: MLOAD 000003e3: SWAP1 000003e4: DUP2 000003e5: SWAP1 000003e6: SUB 000003e7: PUSH1 0x20 000003e9: ADD 000003ea: SWAP1 000003eb: RETURN 000003ec: JUMPDEST 000003ed: CALLVALUE 000003ee: DUP1 000003ef: ISZERO 000003f0: PUSH2 0x03f8 000003f3: JUMPI 000003f4: PUSH1 0x00 000003f6: DUP1 000003f7: REVERT 000003f8: JUMPDEST 000003f9: POP 000003fa: PUSH2 0x0401 000003fd: PUSH2 0x0a44 00000400: JUMP 00000401: JUMPDEST 00000402: STOP 00000403: JUMPDEST 00000404: CALLVALUE 00000405: DUP1 00000406: ISZERO 00000407: PUSH2 0x040f 0000040a: JUMPI 0000040b: PUSH1 0x00 0000040d: DUP1 0000040e: REVERT 0000040f: JUMPDEST 00000410: POP 00000411: PUSH2 0x0401 00000414: PUSH1 0x04 00000416: CALLDATALOAD 00000417: PUSH2 0x0b17 0000041a: JUMP 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: PUSH2 0x02c8 0000042c: PUSH2 0x0b51 0000042f: JUMP 00000430: JUMPDEST 00000431: CALLVALUE 00000432: DUP1 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: PUSH2 0x0445 00000441: PUSH2 0x064a 00000444: JUMP 00000445: JUMPDEST 00000446: PUSH1 0x40 00000448: DUP1 00000449: MLOAD 0000044a: SWAP2 0000044b: ISZERO 0000044c: ISZERO 0000044d: DUP3 0000044e: MSTORE 0000044f: MLOAD 00000450: SWAP1 00000451: DUP2 00000452: SWAP1 00000453: SUB 00000454: PUSH1 0x20 00000456: ADD 00000457: SWAP1 00000458: RETURN 00000459: JUMPDEST 0000045a: CALLVALUE 0000045b: DUP1 0000045c: ISZERO 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: POP 00000467: PUSH2 0x02c8 0000046a: PUSH2 0x0ba9 0000046d: JUMP 0000046e: JUMPDEST 0000046f: CALLVALUE 00000470: DUP1 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH1 0x00 00000478: DUP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: POP 0000047c: PUSH2 0x02c8 0000047f: PUSH2 0x0baf 00000482: JUMP 00000483: JUMPDEST 00000484: CALLVALUE 00000485: DUP1 00000486: ISZERO 00000487: PUSH2 0x048f 0000048a: JUMPI 0000048b: PUSH1 0x00 0000048d: DUP1 0000048e: REVERT 0000048f: JUMPDEST 00000490: POP 00000491: PUSH2 0x03d6 00000494: PUSH2 0x0bb5 00000497: JUMP 00000498: JUMPDEST 00000499: CALLVALUE 0000049a: DUP1 0000049b: ISZERO 0000049c: PUSH2 0x04a4 0000049f: JUMPI 000004a0: PUSH1 0x00 000004a2: DUP1 000004a3: REVERT 000004a4: JUMPDEST 000004a5: POP 000004a6: PUSH2 0x02c8 000004a9: PUSH1 0x04 000004ab: CALLDATALOAD 000004ac: ISZERO 000004ad: ISZERO 000004ae: PUSH2 0x0c1d 000004b1: JUMP 000004b2: JUMPDEST 000004b3: CALLVALUE 000004b4: DUP1 000004b5: ISZERO 000004b6: PUSH2 0x04be 000004b9: JUMPI 000004ba: PUSH1 0x00 000004bc: DUP1 000004bd: REVERT 000004be: JUMPDEST 000004bf: POP 000004c0: PUSH2 0x02c8 000004c3: PUSH2 0x0c5e 000004c6: JUMP 000004c7: JUMPDEST 000004c8: CALLVALUE 000004c9: DUP1 000004ca: ISZERO 000004cb: PUSH2 0x04d3 000004ce: JUMPI 000004cf: PUSH1 0x00 000004d1: DUP1 000004d2: REVERT 000004d3: JUMPDEST 000004d4: POP 000004d5: PUSH2 0x02c8 000004d8: PUSH1 0x01 000004da: PUSH1 0xa0 000004dc: PUSH1 0x02 000004de: EXP 000004df: SUB 000004e0: PUSH1 0x04 000004e2: CALLDATALOAD 000004e3: AND 000004e4: PUSH2 0x0c63 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 0x02c8 000004f9: PUSH2 0x0c7e 000004fc: JUMP 000004fd: JUMPDEST 000004fe: CALLVALUE 000004ff: DUP1 00000500: ISZERO 00000501: PUSH2 0x0509 00000504: JUMPI 00000505: PUSH1 0x00 00000507: DUP1 00000508: REVERT 00000509: JUMPDEST 0000050a: POP 0000050b: PUSH2 0x02c8 0000050e: PUSH2 0x0c84 00000511: JUMP 00000512: JUMPDEST 00000513: CALLVALUE 00000514: DUP1 00000515: ISZERO 00000516: PUSH2 0x051e 00000519: JUMPI 0000051a: PUSH1 0x00 0000051c: DUP1 0000051d: REVERT 0000051e: JUMPDEST 0000051f: POP 00000520: PUSH2 0x02c8 00000523: PUSH2 0x0ccf 00000526: JUMP 00000527: JUMPDEST 00000528: CALLVALUE 00000529: DUP1 0000052a: ISZERO 0000052b: PUSH2 0x0533 0000052e: JUMPI 0000052f: PUSH1 0x00 00000531: DUP1 00000532: REVERT 00000533: JUMPDEST 00000534: POP 00000535: PUSH2 0x02c8 00000538: PUSH2 0x0cd5 0000053b: JUMP 0000053c: JUMPDEST 0000053d: CALLVALUE 0000053e: DUP1 0000053f: ISZERO 00000540: PUSH2 0x0548 00000543: JUMPI 00000544: PUSH1 0x00 00000546: DUP1 00000547: REVERT 00000548: JUMPDEST 00000549: POP 0000054a: PUSH2 0x02ef 0000054d: PUSH2 0x0ce7 00000550: JUMP 00000551: JUMPDEST 00000552: CALLVALUE 00000553: DUP1 00000554: ISZERO 00000555: PUSH2 0x055d 00000558: JUMPI 00000559: PUSH1 0x00 0000055b: DUP1 0000055c: REVERT 0000055d: JUMPDEST 0000055e: POP 0000055f: PUSH2 0x0445 00000562: PUSH1 0x01 00000564: PUSH1 0xa0 00000566: PUSH1 0x02 00000568: EXP 00000569: SUB 0000056a: PUSH1 0x04 0000056c: CALLDATALOAD 0000056d: AND 0000056e: PUSH1 0x24 00000570: CALLDATALOAD 00000571: PUSH2 0x0d41 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH2 0x02c8 00000579: PUSH1 0x01 0000057b: PUSH1 0xa0 0000057d: PUSH1 0x02 0000057f: EXP 00000580: SUB 00000581: PUSH1 0x04 00000583: CALLDATALOAD 00000584: DUP2 00000585: AND 00000586: SWAP1 00000587: PUSH1 0x24 00000589: CALLDATALOAD 0000058a: AND 0000058b: PUSH2 0x0e70 0000058e: JUMP 0000058f: JUMPDEST 00000590: CALLVALUE 00000591: DUP1 00000592: ISZERO 00000593: PUSH2 0x059b 00000596: JUMPI 00000597: PUSH1 0x00 00000599: DUP1 0000059a: REVERT 0000059b: JUMPDEST 0000059c: POP 0000059d: PUSH2 0x0445 000005a0: PUSH2 0x0640 000005a3: JUMP 000005a4: JUMPDEST 000005a5: CALLVALUE 000005a6: DUP1 000005a7: ISZERO 000005a8: PUSH2 0x05b0 000005ab: JUMPI 000005ac: PUSH1 0x00 000005ae: DUP1 000005af: REVERT 000005b0: JUMPDEST 000005b1: POP 000005b2: PUSH2 0x02c8 000005b5: PUSH2 0x0f8d 000005b8: JUMP 000005b9: JUMPDEST 000005ba: CALLVALUE 000005bb: DUP1 000005bc: ISZERO 000005bd: PUSH2 0x05c5 000005c0: JUMPI 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: REVERT 000005c5: JUMPDEST 000005c6: POP 000005c7: PUSH2 0x0401 000005ca: PUSH1 0x04 000005cc: CALLDATALOAD 000005cd: PUSH2 0x0f93 000005d0: JUMP 000005d1: JUMPDEST 000005d2: CALLVALUE 000005d3: DUP1 000005d4: ISZERO 000005d5: PUSH2 0x05dd 000005d8: JUMPI 000005d9: PUSH1 0x00 000005db: DUP1 000005dc: REVERT 000005dd: JUMPDEST 000005de: POP 000005df: PUSH2 0x0401 000005e2: PUSH2 0x1106 000005e5: JUMP 000005e6: JUMPDEST 000005e7: PUSH2 0x02c8 000005ea: PUSH1 0x01 000005ec: PUSH1 0xa0 000005ee: PUSH1 0x02 000005f0: EXP 000005f1: SUB 000005f2: PUSH1 0x04 000005f4: CALLDATALOAD 000005f5: AND 000005f6: PUSH2 0x1133 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 0x0401 0000060b: PUSH2 0x1250 0000060e: JUMP 0000060f: JUMPDEST 00000610: CALLVALUE 00000611: DUP1 00000612: ISZERO 00000613: PUSH2 0x061b 00000616: JUMPI 00000617: PUSH1 0x00 00000619: DUP1 0000061a: REVERT 0000061b: JUMPDEST 0000061c: POP 0000061d: PUSH2 0x0624 00000620: PUSH2 0x1307 00000623: JUMP 00000624: JUMPDEST 00000625: PUSH1 0x40 00000627: DUP1 00000628: MLOAD 00000629: PUSH1 0x01 0000062b: PUSH1 0xa0 0000062d: PUSH1 0x02 0000062f: EXP 00000630: SUB 00000631: SWAP1 00000632: SWAP3 00000633: AND 00000634: DUP3 00000635: MSTORE 00000636: MLOAD 00000637: SWAP1 00000638: DUP2 00000639: SWAP1 0000063a: SUB 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: SWAP1 0000063f: RETURN 00000640: JUMPDEST 00000641: PUSH1 0x0d 00000643: SLOAD 00000644: PUSH1 0x07 00000646: LT 00000647: ISZERO 00000648: SWAP1 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH1 0x00 0000064d: PUSH1 0x06 0000064f: SLOAD 00000650: PUSH1 0x00 00000652: EQ 00000653: ISZERO 00000654: DUP1 00000655: ISZERO 00000656: PUSH2 0x0660 00000659: JUMPI 0000065a: POP 0000065b: PUSH1 0x06 0000065d: SLOAD 0000065e: TIMESTAMP 0000065f: GT 00000660: JUMPDEST 00000661: SWAP1 00000662: POP 00000663: SWAP1 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH1 0x00 00000668: DUP1 00000669: DUP1 0000066a: DUP1 0000066b: DUP1 0000066c: DUP1 0000066d: DUP1 0000066e: DUP1 0000066f: PUSH2 0x0683 00000672: PUSH2 0x067c 00000675: DUP13 00000676: PUSH1 0x0c 00000678: PUSH2 0x1316 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH1 0x64 0000067f: PUSH2 0x1341 00000682: JUMP 00000683: JUMPDEST 00000684: SWAP7 00000685: POP 00000686: PUSH2 0x0693 00000689: PUSH2 0x067c 0000068c: DUP9 0000068d: PUSH1 0x0c 0000068f: PUSH2 0x1316 00000692: JUMP 00000693: JUMPDEST 00000694: SWAP6 00000695: POP 00000696: PUSH2 0x069f 00000699: DUP8 0000069a: DUP8 0000069b: PUSH2 0x1358 0000069e: JUMP 0000069f: JUMPDEST 000006a0: SWAP5 000006a1: POP 000006a2: PUSH2 0x06ab 000006a5: DUP12 000006a6: DUP9 000006a7: PUSH2 0x1358 000006aa: JUMP 000006ab: JUMPDEST 000006ac: SWAP4 000006ad: POP 000006ae: PUSH2 0x06b6 000006b1: DUP5 000006b2: PUSH2 0x136a 000006b5: JUMP 000006b6: JUMPDEST 000006b7: SWAP3 000006b8: POP 000006b9: PUSH9 0x010000000000000000 000006c3: DUP6 000006c4: MUL 000006c5: SWAP2 000006c6: POP 000006c7: PUSH1 0x00 000006c9: DUP4 000006ca: GT 000006cb: DUP1 000006cc: ISZERO 000006cd: PUSH2 0x06e0 000006d0: JUMPI 000006d1: POP 000006d2: PUSH1 0x0b 000006d4: SLOAD 000006d5: PUSH2 0x06de 000006d8: DUP5 000006d9: DUP3 000006da: PUSH2 0x1402 000006dd: JUMP 000006de: JUMPDEST 000006df: GT 000006e0: JUMPDEST 000006e1: ISZERO 000006e2: ISZERO 000006e3: PUSH2 0x06eb 000006e6: JUMPI 000006e7: PUSH1 0x00 000006e9: DUP1 000006ea: REVERT 000006eb: JUMPDEST 000006ec: PUSH1 0x01 000006ee: PUSH1 0xa0 000006f0: PUSH1 0x02 000006f2: EXP 000006f3: SUB 000006f4: DUP11 000006f5: AND 000006f6: ISZERO 000006f7: DUP1 000006f8: ISZERO 000006f9: SWAP1 000006fa: PUSH2 0x0715 000006fd: JUMPI 000006fe: POP 000006ff: DUP9 00000700: PUSH1 0x01 00000702: PUSH1 0xa0 00000704: PUSH1 0x02 00000706: EXP 00000707: SUB 00000708: AND 00000709: DUP11 0000070a: PUSH1 0x01 0000070c: PUSH1 0xa0 0000070e: PUSH1 0x02 00000710: EXP 00000711: SUB 00000712: AND 00000713: EQ 00000714: ISZERO 00000715: JUMPDEST 00000716: DUP1 00000717: ISZERO 00000718: PUSH2 0x073b 0000071b: JUMPI 0000071c: POP 0000071d: PUSH1 0x02 0000071f: SLOAD 00000720: PUSH1 0x01 00000722: PUSH1 0xa0 00000724: PUSH1 0x02 00000726: EXP 00000727: SUB 00000728: DUP12 00000729: AND 0000072a: PUSH1 0x00 0000072c: SWAP1 0000072d: DUP2 0000072e: MSTORE 0000072f: PUSH1 0x07 00000731: PUSH1 0x20 00000733: MSTORE 00000734: PUSH1 0x40 00000736: SWAP1 00000737: KECCAK256 00000738: SLOAD 00000739: LT 0000073a: ISZERO 0000073b: JUMPDEST 0000073c: ISZERO 0000073d: PUSH2 0x0781 00000740: JUMPI 00000741: PUSH1 0x01 00000743: PUSH1 0xa0 00000745: PUSH1 0x02 00000747: EXP 00000748: SUB 00000749: DUP11 0000074a: AND 0000074b: PUSH1 0x00 0000074d: SWAP1 0000074e: DUP2 0000074f: MSTORE 00000750: PUSH1 0x08 00000752: PUSH1 0x20 00000754: MSTORE 00000755: PUSH1 0x40 00000757: SWAP1 00000758: KECCAK256 00000759: SLOAD 0000075a: PUSH2 0x0763 0000075d: SWAP1 0000075e: DUP8 0000075f: PUSH2 0x1402 00000762: JUMP 00000763: JUMPDEST 00000764: PUSH1 0x01 00000766: PUSH1 0xa0 00000768: PUSH1 0x02 0000076a: EXP 0000076b: SUB 0000076c: DUP12 0000076d: AND 0000076e: PUSH1 0x00 00000770: SWAP1 00000771: DUP2 00000772: MSTORE 00000773: PUSH1 0x08 00000775: PUSH1 0x20 00000777: MSTORE 00000778: PUSH1 0x40 0000077a: SWAP1 0000077b: KECCAK256 0000077c: SSTORE 0000077d: PUSH2 0x079c 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH2 0x078b 00000785: DUP6 00000786: DUP8 00000787: PUSH2 0x1402 0000078a: JUMP 0000078b: JUMPDEST 0000078c: SWAP5 0000078d: POP 0000078e: PUSH9 0x010000000000000000 00000798: DUP6 00000799: MUL 0000079a: SWAP2 0000079b: POP 0000079c: JUMPDEST 0000079d: PUSH1 0x00 0000079f: PUSH1 0x0b 000007a1: SLOAD 000007a2: GT 000007a3: ISZERO 000007a4: PUSH2 0x0800 000007a7: JUMPI 000007a8: PUSH2 0x07b3 000007ab: PUSH1 0x0b 000007ad: SLOAD 000007ae: DUP5 000007af: PUSH2 0x1402 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH1 0x0b 000007b6: DUP2 000007b7: SWAP1 000007b8: SSTORE 000007b9: PUSH9 0x010000000000000000 000007c3: DUP7 000007c4: MUL 000007c5: DUP2 000007c6: ISZERO 000007c7: ISZERO 000007c8: PUSH2 0x07cd 000007cb: JUMPI 000007cc: INVALID 000007cd: JUMPDEST 000007ce: PUSH1 0x0c 000007d0: DUP1 000007d1: SLOAD 000007d2: SWAP3 000007d3: SWAP1 000007d4: SWAP2 000007d5: DIV 000007d6: SWAP1 000007d7: SWAP2 000007d8: ADD 000007d9: SWAP1 000007da: SSTORE 000007db: PUSH1 0x0b 000007dd: SLOAD 000007de: PUSH9 0x010000000000000000 000007e8: DUP7 000007e9: MUL 000007ea: DUP2 000007eb: ISZERO 000007ec: ISZERO 000007ed: PUSH2 0x07f2 000007f0: JUMPI 000007f1: INVALID 000007f2: JUMPDEST 000007f3: DIV 000007f4: DUP4 000007f5: MUL 000007f6: DUP3 000007f7: SUB 000007f8: DUP3 000007f9: SUB 000007fa: SWAP2 000007fb: POP 000007fc: PUSH2 0x0806 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH1 0x0b 00000803: DUP4 00000804: SWAP1 00000805: SSTORE 00000806: JUMPDEST 00000807: PUSH1 0x01 00000809: PUSH1 0xa0 0000080b: PUSH1 0x02 0000080d: EXP 0000080e: SUB 0000080f: DUP10 00000810: AND 00000811: PUSH1 0x00 00000813: SWAP1 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x07 00000818: PUSH1 0x20 0000081a: MSTORE 0000081b: PUSH1 0x40 0000081d: SWAP1 0000081e: KECCAK256 0000081f: SLOAD 00000820: PUSH2 0x0829 00000823: SWAP1 00000824: DUP5 00000825: PUSH2 0x1402 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH1 0x01 0000082c: PUSH1 0xa0 0000082e: PUSH1 0x02 00000830: EXP 00000831: SUB 00000832: DUP1 00000833: DUP12 00000834: AND 00000835: PUSH1 0x00 00000837: DUP2 00000838: DUP2 00000839: MSTORE 0000083a: PUSH1 0x07 0000083c: PUSH1 0x20 0000083e: SWAP1 0000083f: DUP2 00000840: MSTORE 00000841: PUSH1 0x40 00000843: DUP1 00000844: DUP4 00000845: KECCAK256 00000846: SWAP6 00000847: SWAP1 00000848: SWAP6 00000849: SSTORE 0000084a: PUSH1 0x0c 0000084c: SLOAD 0000084d: PUSH1 0x0a 0000084f: SWAP1 00000850: SWAP2 00000851: MSTORE 00000852: SWAP4 00000853: SWAP1 00000854: KECCAK256 00000855: DUP1 00000856: SLOAD 00000857: SWAP4 00000858: DUP8 00000859: MUL 0000085a: DUP7 0000085b: SWAP1 0000085c: SUB 0000085d: SWAP4 0000085e: DUP5 0000085f: ADD 00000860: SWAP1 00000861: SSTORE 00000862: SWAP2 00000863: SWAP3 00000864: POP 00000865: DUP12 00000866: AND 00000867: SWAP1 00000868: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 00000889: DUP14 0000088a: DUP7 0000088b: TIMESTAMP 0000088c: PUSH2 0x0893 0000088f: PUSH2 0x0c84 00000892: JUMP 00000893: JUMPDEST 00000894: PUSH1 0x40 00000896: DUP1 00000897: MLOAD 00000898: SWAP5 00000899: DUP6 0000089a: MSTORE 0000089b: PUSH1 0x20 0000089d: DUP6 0000089e: ADD 0000089f: SWAP4 000008a0: SWAP1 000008a1: SWAP4 000008a2: MSTORE 000008a3: DUP4 000008a4: DUP4 000008a5: ADD 000008a6: SWAP2 000008a7: SWAP1 000008a8: SWAP2 000008a9: MSTORE 000008aa: PUSH1 0x60 000008ac: DUP4 000008ad: ADD 000008ae: MSTORE 000008af: MLOAD 000008b0: SWAP1 000008b1: DUP2 000008b2: SWAP1 000008b3: SUB 000008b4: PUSH1 0x80 000008b6: ADD 000008b7: SWAP1 000008b8: LOG3 000008b9: POP 000008ba: POP 000008bb: PUSH1 0x0d 000008bd: DUP1 000008be: SLOAD 000008bf: PUSH1 0x01 000008c1: ADD 000008c2: SWAP1 000008c3: SSTORE 000008c4: SWAP9 000008c5: SWAP8 000008c6: POP 000008c7: POP 000008c8: POP 000008c9: POP 000008ca: POP 000008cb: POP 000008cc: POP 000008cd: POP 000008ce: JUMP 000008cf: JUMPDEST 000008d0: PUSH1 0x01 000008d2: PUSH1 0xa0 000008d4: PUSH1 0x02 000008d6: EXP 000008d7: SUB 000008d8: AND 000008d9: PUSH1 0x00 000008db: SWAP1 000008dc: DUP2 000008dd: MSTORE 000008de: PUSH1 0x0a 000008e0: PUSH1 0x20 000008e2: SWAP1 000008e3: DUP2 000008e4: MSTORE 000008e5: PUSH1 0x40 000008e7: DUP1 000008e8: DUP4 000008e9: KECCAK256 000008ea: SLOAD 000008eb: PUSH1 0x07 000008ed: SWAP1 000008ee: SWAP3 000008ef: MSTORE 000008f0: SWAP1 000008f1: SWAP2 000008f2: KECCAK256 000008f3: SLOAD 000008f4: PUSH1 0x0c 000008f6: SLOAD 000008f7: PUSH9 0x010000000000000000 00000901: SWAP2 00000902: MUL 00000903: SWAP2 00000904: SWAP1 00000905: SWAP2 00000906: SUB 00000907: DIV 00000908: SWAP1 00000909: JUMP 0000090a: JUMPDEST 0000090b: PUSH1 0x00 0000090d: DUP1 0000090e: SLOAD 0000090f: PUSH1 0x40 00000911: DUP1 00000912: MLOAD 00000913: PUSH1 0x20 00000915: PUSH1 0x02 00000917: PUSH1 0x01 00000919: DUP6 0000091a: AND 0000091b: ISZERO 0000091c: PUSH2 0x0100 0000091f: MUL 00000920: PUSH1 0x00 00000922: NOT 00000923: ADD 00000924: SWAP1 00000925: SWAP5 00000926: AND 00000927: SWAP4 00000928: SWAP1 00000929: SWAP4 0000092a: DIV 0000092b: PUSH1 0x1f 0000092d: DUP2 0000092e: ADD 0000092f: DUP5 00000930: SWAP1 00000931: DIV 00000932: DUP5 00000933: MUL 00000934: DUP3 00000935: ADD 00000936: DUP5 00000937: ADD 00000938: SWAP1 00000939: SWAP3 0000093a: MSTORE 0000093b: DUP2 0000093c: DUP2 0000093d: MSTORE 0000093e: SWAP3 0000093f: SWAP2 00000940: DUP4 00000941: ADD 00000942: DUP3 00000943: DUP3 00000944: DUP1 00000945: ISZERO 00000946: PUSH2 0x0990 00000949: JUMPI 0000094a: DUP1 0000094b: PUSH1 0x1f 0000094d: LT 0000094e: PUSH2 0x0965 00000951: JUMPI 00000952: PUSH2 0x0100 00000955: DUP1 00000956: DUP4 00000957: SLOAD 00000958: DIV 00000959: MUL 0000095a: DUP4 0000095b: MSTORE 0000095c: SWAP2 0000095d: PUSH1 0x20 0000095f: ADD 00000960: SWAP2 00000961: PUSH2 0x0990 00000964: JUMP 00000965: JUMPDEST 00000966: DUP3 00000967: ADD 00000968: SWAP2 00000969: SWAP1 0000096a: PUSH1 0x00 0000096c: MSTORE 0000096d: PUSH1 0x20 0000096f: PUSH1 0x00 00000971: KECCAK256 00000972: SWAP1 00000973: JUMPDEST 00000974: DUP2 00000975: SLOAD 00000976: DUP2 00000977: MSTORE 00000978: SWAP1 00000979: PUSH1 0x01 0000097b: ADD 0000097c: SWAP1 0000097d: PUSH1 0x20 0000097f: ADD 00000980: DUP1 00000981: DUP4 00000982: GT 00000983: PUSH2 0x0973 00000986: JUMPI 00000987: DUP3 00000988: SWAP1 00000989: SUB 0000098a: PUSH1 0x1f 0000098c: AND 0000098d: DUP3 0000098e: ADD 0000098f: SWAP2 00000990: JUMPDEST 00000991: POP 00000992: POP 00000993: POP 00000994: POP 00000995: POP 00000996: DUP2 00000997: JUMP 00000998: JUMPDEST 00000999: PUSH1 0x00 0000099b: DUP1 0000099c: DUP1 0000099d: DUP1 0000099e: PUSH2 0x09ab 000009a1: PUSH2 0x067c 000009a4: DUP7 000009a5: PUSH1 0x0c 000009a7: PUSH2 0x1316 000009aa: JUMP 000009ab: JUMPDEST 000009ac: SWAP3 000009ad: POP 000009ae: PUSH2 0x09b7 000009b1: DUP6 000009b2: DUP5 000009b3: PUSH2 0x1358 000009b6: JUMP 000009b7: JUMPDEST 000009b8: SWAP2 000009b9: POP 000009ba: PUSH2 0x09c2 000009bd: DUP3 000009be: PUSH2 0x136a 000009c1: JUMP 000009c2: JUMPDEST 000009c3: SWAP6 000009c4: SWAP5 000009c5: POP 000009c6: POP 000009c7: POP 000009c8: POP 000009c9: POP 000009ca: JUMP 000009cb: JUMPDEST 000009cc: PUSH1 0x0b 000009ce: SLOAD 000009cf: SWAP1 000009d0: JUMP 000009d1: JUMPDEST 000009d2: PUSH1 0x00 000009d4: DUP1 000009d5: PUSH1 0x00 000009d7: DUP1 000009d8: PUSH1 0x0b 000009da: SLOAD 000009db: DUP6 000009dc: GT 000009dd: ISZERO 000009de: ISZERO 000009df: ISZERO 000009e0: PUSH2 0x09e8 000009e3: JUMPI 000009e4: PUSH1 0x00 000009e6: DUP1 000009e7: REVERT 000009e8: JUMPDEST 000009e9: PUSH2 0x09f1 000009ec: DUP6 000009ed: PUSH2 0x1411 000009f0: JUMP 000009f1: JUMPDEST 000009f2: SWAP3 000009f3: POP 000009f4: PUSH2 0x0a0a 000009f7: PUSH2 0x067c 000009fa: DUP5 000009fb: PUSH2 0x0a02 000009fe: PUSH2 0x0bb5 00000a01: JUMP 00000a02: JUMPDEST 00000a03: PUSH1 0xff 00000a05: AND 00000a06: PUSH2 0x1316 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: SWAP2 00000a0c: POP 00000a0d: PUSH2 0x09c2 00000a10: DUP4 00000a11: DUP4 00000a12: PUSH2 0x1358 00000a15: JUMP 00000a16: JUMPDEST 00000a17: PUSH1 0x00 00000a19: DUP1 00000a1a: PUSH1 0x0b 00000a1c: SLOAD 00000a1d: DUP4 00000a1e: GT 00000a1f: ISZERO 00000a20: ISZERO 00000a21: ISZERO 00000a22: PUSH2 0x0a2a 00000a25: JUMPI 00000a26: PUSH1 0x00 00000a28: DUP1 00000a29: REVERT 00000a2a: JUMPDEST 00000a2b: PUSH2 0x0a33 00000a2e: DUP4 00000a2f: PUSH2 0x1411 00000a32: JUMP 00000a33: JUMPDEST 00000a34: SWAP1 00000a35: POP 00000a36: DUP1 00000a37: SWAP2 00000a38: POP 00000a39: JUMPDEST 00000a3a: POP 00000a3b: SWAP2 00000a3c: SWAP1 00000a3d: POP 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x12 00000a42: DUP2 00000a43: JUMP 00000a44: JUMPDEST 00000a45: PUSH1 0x00 00000a47: DUP1 00000a48: PUSH1 0x00 00000a4a: PUSH2 0x0a53 00000a4d: PUSH1 0x01 00000a4f: PUSH2 0x0c1d 00000a52: JUMP 00000a53: JUMPDEST 00000a54: GT 00000a55: PUSH2 0x0a5d 00000a58: JUMPI 00000a59: PUSH1 0x00 00000a5b: DUP1 00000a5c: REVERT 00000a5d: JUMPDEST 00000a5e: CALLER 00000a5f: SWAP2 00000a60: POP 00000a61: PUSH2 0x0a6a 00000a64: PUSH1 0x00 00000a66: PUSH2 0x0c1d 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: PUSH1 0x01 00000a6d: PUSH1 0xa0 00000a6f: PUSH1 0x02 00000a71: EXP 00000a72: SUB 00000a73: DUP4 00000a74: AND 00000a75: PUSH1 0x00 00000a77: DUP2 00000a78: DUP2 00000a79: MSTORE 00000a7a: PUSH1 0x0a 00000a7c: PUSH1 0x20 00000a7e: SWAP1 00000a7f: DUP2 00000a80: MSTORE 00000a81: PUSH1 0x40 00000a83: DUP1 00000a84: DUP4 00000a85: KECCAK256 00000a86: DUP1 00000a87: SLOAD 00000a88: PUSH9 0x010000000000000000 00000a92: DUP8 00000a93: MUL 00000a94: ADD 00000a95: SWAP1 00000a96: SSTORE 00000a97: PUSH1 0x08 00000a99: SWAP1 00000a9a: SWAP2 00000a9b: MSTORE 00000a9c: DUP1 00000a9d: DUP3 00000a9e: KECCAK256 00000a9f: DUP1 00000aa0: SLOAD 00000aa1: SWAP1 00000aa2: DUP4 00000aa3: SWAP1 00000aa4: SSTORE 00000aa5: SWAP1 00000aa6: MLOAD 00000aa7: SWAP4 00000aa8: ADD 00000aa9: SWAP4 00000aaa: POP 00000aab: SWAP1 00000aac: SWAP2 00000aad: DUP4 00000aae: ISZERO 00000aaf: PUSH2 0x08fc 00000ab2: MUL 00000ab3: SWAP2 00000ab4: DUP5 00000ab5: SWAP2 00000ab6: SWAP1 00000ab7: DUP2 00000ab8: DUP2 00000ab9: DUP2 00000aba: DUP6 00000abb: DUP9 00000abc: DUP9 00000abd: CALL 00000abe: SWAP4 00000abf: POP 00000ac0: POP 00000ac1: POP 00000ac2: POP 00000ac3: ISZERO 00000ac4: DUP1 00000ac5: ISZERO 00000ac6: PUSH2 0x0ad3 00000ac9: JUMPI 00000aca: RETURNDATASIZE 00000acb: PUSH1 0x00 00000acd: DUP1 00000ace: RETURNDATACOPY 00000acf: RETURNDATASIZE 00000ad0: PUSH1 0x00 00000ad2: REVERT 00000ad3: JUMPDEST 00000ad4: POP 00000ad5: PUSH1 0x40 00000ad7: DUP1 00000ad8: MLOAD 00000ad9: DUP3 00000ada: DUP2 00000adb: MSTORE 00000adc: SWAP1 00000add: MLOAD 00000ade: PUSH1 0x01 00000ae0: PUSH1 0xa0 00000ae2: PUSH1 0x02 00000ae4: EXP 00000ae5: SUB 00000ae6: DUP5 00000ae7: AND 00000ae8: SWAP2 00000ae9: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000b0a: SWAP2 00000b0b: SWAP1 00000b0c: DUP2 00000b0d: SWAP1 00000b0e: SUB 00000b0f: PUSH1 0x20 00000b11: ADD 00000b12: SWAP1 00000b13: LOG2 00000b14: POP 00000b15: POP 00000b16: JUMP 00000b17: JUMPDEST 00000b18: PUSH1 0x05 00000b1a: SLOAD 00000b1b: PUSH1 0x01 00000b1d: PUSH1 0xa0 00000b1f: PUSH1 0x02 00000b21: EXP 00000b22: SUB 00000b23: AND 00000b24: CALLER 00000b25: EQ 00000b26: DUP1 00000b27: ISZERO 00000b28: PUSH2 0x0b36 00000b2b: JUMPI 00000b2c: POP 00000b2d: PUSH2 0x0b34 00000b30: PUSH2 0x064a 00000b33: JUMP 00000b34: JUMPDEST 00000b35: ISZERO 00000b36: JUMPDEST 00000b37: DUP1 00000b38: ISZERO 00000b39: PUSH2 0x0b41 00000b3c: JUMPI 00000b3d: POP 00000b3e: DUP1 00000b3f: TIMESTAMP 00000b40: LT 00000b41: JUMPDEST 00000b42: ISZERO 00000b43: ISZERO 00000b44: PUSH2 0x0b4c 00000b47: JUMPI 00000b48: PUSH1 0x00 00000b4a: DUP1 00000b4b: REVERT 00000b4c: JUMPDEST 00000b4d: PUSH1 0x06 00000b4f: SSTORE 00000b50: JUMP 00000b51: JUMPDEST 00000b52: PUSH1 0x00 00000b54: DUP1 00000b55: PUSH1 0x00 00000b57: DUP1 00000b58: PUSH1 0x0b 00000b5a: SLOAD 00000b5b: PUSH1 0x00 00000b5d: EQ 00000b5e: ISZERO 00000b5f: PUSH2 0x0b6f 00000b62: JUMPI 00000b63: PUSH5 0x14f46b0400 00000b69: SWAP4 00000b6a: POP 00000b6b: PUSH2 0x0ba3 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH2 0x0b80 00000b73: PUSH8 0x0de0b6b3a7640000 00000b7c: PUSH2 0x1411 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: SWAP3 00000b82: POP 00000b83: PUSH2 0x0b91 00000b86: PUSH2 0x067c 00000b89: DUP5 00000b8a: PUSH2 0x0a02 00000b8d: PUSH2 0x0bb5 00000b90: JUMP 00000b91: JUMPDEST 00000b92: SWAP2 00000b93: POP 00000b94: PUSH2 0x0b9d 00000b97: DUP4 00000b98: DUP4 00000b99: PUSH2 0x1358 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: SWAP1 00000b9f: POP 00000ba0: DUP1 00000ba1: SWAP4 00000ba2: POP 00000ba3: JUMPDEST 00000ba4: POP 00000ba5: POP 00000ba6: POP 00000ba7: SWAP1 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: PUSH1 0x02 00000bac: SLOAD 00000bad: DUP2 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: PUSH1 0x03 00000bb2: SLOAD 00000bb3: DUP2 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH1 0x00 00000bb8: DUP1 00000bb9: PUSH1 0x00 00000bbb: DUP1 00000bbc: PUSH1 0x00 00000bbe: PUSH1 0x06 00000bc0: SLOAD 00000bc1: PUSH1 0x00 00000bc3: EQ 00000bc4: ISZERO 00000bc5: PUSH2 0x0bd1 00000bc8: JUMPI 00000bc9: PUSH1 0x30 00000bcb: SWAP5 00000bcc: POP 00000bcd: PUSH2 0x0c16 00000bd0: JUMP 00000bd1: JUMPDEST 00000bd2: PUSH1 0x06 00000bd4: SLOAD 00000bd5: TIMESTAMP 00000bd6: LT 00000bd7: ISZERO 00000bd8: PUSH2 0x0be4 00000bdb: JUMPI 00000bdc: PUSH1 0x00 00000bde: SWAP5 00000bdf: POP 00000be0: PUSH2 0x0c16 00000be3: JUMP 00000be4: JUMPDEST 00000be5: PUSH1 0x06 00000be7: SLOAD 00000be8: TIMESTAMP 00000be9: SUB 00000bea: SWAP4 00000beb: POP 00000bec: PUSH3 0x278d00 00000bf0: DUP5 00000bf1: LT 00000bf2: PUSH2 0x0bfe 00000bf5: JUMPI 00000bf6: PUSH1 0x0c 00000bf8: SWAP5 00000bf9: POP 00000bfa: PUSH2 0x0c16 00000bfd: JUMP 00000bfe: JUMPDEST 00000bff: PUSH1 0x24 00000c01: SWAP3 00000c02: POP 00000c03: PUSH3 0x278d00 00000c07: DUP5 00000c08: DUP5 00000c09: MUL 00000c0a: DIV 00000c0b: SWAP2 00000c0c: POP 00000c0d: DUP2 00000c0e: PUSH1 0x30 00000c10: SUB 00000c11: SWAP1 00000c12: POP 00000c13: DUP1 00000c14: SWAP5 00000c15: POP 00000c16: JUMPDEST 00000c17: POP 00000c18: POP 00000c19: POP 00000c1a: POP 00000c1b: SWAP1 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH1 0x00 00000c20: CALLER 00000c21: DUP3 00000c22: PUSH2 0x0c33 00000c25: JUMPI 00000c26: PUSH2 0x0c2e 00000c29: DUP2 00000c2a: PUSH2 0x08cf 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: PUSH2 0x0c57 00000c32: JUMP 00000c33: JUMPDEST 00000c34: PUSH1 0x01 00000c36: PUSH1 0xa0 00000c38: PUSH1 0x02 00000c3a: EXP 00000c3b: SUB 00000c3c: DUP2 00000c3d: AND 00000c3e: PUSH1 0x00 00000c40: SWAP1 00000c41: DUP2 00000c42: MSTORE 00000c43: PUSH1 0x08 00000c45: PUSH1 0x20 00000c47: MSTORE 00000c48: PUSH1 0x40 00000c4a: SWAP1 00000c4b: KECCAK256 00000c4c: SLOAD 00000c4d: PUSH2 0x0c55 00000c50: DUP3 00000c51: PUSH2 0x08cf 00000c54: JUMP 00000c55: JUMPDEST 00000c56: ADD 00000c57: JUMPDEST 00000c58: SWAP4 00000c59: SWAP3 00000c5a: POP 00000c5b: POP 00000c5c: POP 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: ADDRESS 00000c60: BALANCE 00000c61: SWAP1 00000c62: JUMP 00000c63: JUMPDEST 00000c64: PUSH1 0x01 00000c66: PUSH1 0xa0 00000c68: PUSH1 0x02 00000c6a: EXP 00000c6b: SUB 00000c6c: AND 00000c6d: PUSH1 0x00 00000c6f: SWAP1 00000c70: DUP2 00000c71: MSTORE 00000c72: PUSH1 0x07 00000c74: PUSH1 0x20 00000c76: MSTORE 00000c77: PUSH1 0x40 00000c79: SWAP1 00000c7a: KECCAK256 00000c7b: SLOAD 00000c7c: SWAP1 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x06 00000c81: SLOAD 00000c82: DUP2 00000c83: JUMP 00000c84: JUMPDEST 00000c85: PUSH1 0x00 00000c87: DUP1 00000c88: PUSH1 0x00 00000c8a: DUP1 00000c8b: PUSH1 0x0b 00000c8d: SLOAD 00000c8e: PUSH1 0x00 00000c90: EQ 00000c91: ISZERO 00000c92: PUSH2 0x0ca2 00000c95: JUMPI 00000c96: PUSH5 0x199c82cc00 00000c9c: SWAP4 00000c9d: POP 00000c9e: PUSH2 0x0ba3 00000ca1: JUMP 00000ca2: JUMPDEST 00000ca3: PUSH2 0x0cb3 00000ca6: PUSH8 0x0de0b6b3a7640000 00000caf: PUSH2 0x1411 00000cb2: JUMP 00000cb3: JUMPDEST 00000cb4: SWAP3 00000cb5: POP 00000cb6: PUSH2 0x0cc3 00000cb9: PUSH2 0x067c 00000cbc: DUP5 00000cbd: PUSH1 0x0c 00000cbf: PUSH2 0x1316 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: SWAP2 00000cc5: POP 00000cc6: PUSH2 0x0b9d 00000cc9: DUP4 00000cca: DUP4 00000ccb: PUSH2 0x1402 00000cce: JUMP 00000ccf: JUMPDEST 00000cd0: PUSH1 0x04 00000cd2: SLOAD 00000cd3: DUP2 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH1 0x00 00000cd8: CALLER 00000cd9: PUSH2 0x0ce1 00000cdc: DUP2 00000cdd: PUSH2 0x0c63 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: SWAP2 00000ce3: POP 00000ce4: POP 00000ce5: SWAP1 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH1 0x01 00000cea: DUP1 00000ceb: SLOAD 00000cec: PUSH1 0x40 00000cee: DUP1 00000cef: MLOAD 00000cf0: PUSH1 0x20 00000cf2: PUSH1 0x02 00000cf4: DUP5 00000cf5: DUP7 00000cf6: AND 00000cf7: ISZERO 00000cf8: PUSH2 0x0100 00000cfb: MUL 00000cfc: PUSH1 0x00 00000cfe: NOT 00000cff: ADD 00000d00: SWAP1 00000d01: SWAP5 00000d02: AND 00000d03: SWAP4 00000d04: SWAP1 00000d05: SWAP4 00000d06: DIV 00000d07: PUSH1 0x1f 00000d09: DUP2 00000d0a: ADD 00000d0b: DUP5 00000d0c: SWAP1 00000d0d: DIV 00000d0e: DUP5 00000d0f: MUL 00000d10: DUP3 00000d11: ADD 00000d12: DUP5 00000d13: ADD 00000d14: SWAP1 00000d15: SWAP3 00000d16: MSTORE 00000d17: DUP2 00000d18: DUP2 00000d19: MSTORE 00000d1a: SWAP3 00000d1b: SWAP2 00000d1c: DUP4 00000d1d: ADD 00000d1e: DUP3 00000d1f: DUP3 00000d20: DUP1 00000d21: ISZERO 00000d22: PUSH2 0x0990 00000d25: JUMPI 00000d26: DUP1 00000d27: PUSH1 0x1f 00000d29: LT 00000d2a: PUSH2 0x0965 00000d2d: JUMPI 00000d2e: PUSH2 0x0100 00000d31: DUP1 00000d32: DUP4 00000d33: SLOAD 00000d34: DIV 00000d35: MUL 00000d36: DUP4 00000d37: MSTORE 00000d38: SWAP2 00000d39: PUSH1 0x20 00000d3b: ADD 00000d3c: SWAP2 00000d3d: PUSH2 0x0990 00000d40: JUMP 00000d41: JUMPDEST 00000d42: PUSH1 0x00 00000d44: DUP1 00000d45: PUSH1 0x00 00000d47: PUSH2 0x0d4e 00000d4a: PUSH2 0x0cd5 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: GT 00000d50: PUSH2 0x0d58 00000d53: JUMPI 00000d54: PUSH1 0x00 00000d56: DUP1 00000d57: REVERT 00000d58: JUMPDEST 00000d59: POP 00000d5a: CALLER 00000d5b: PUSH1 0x00 00000d5d: DUP2 00000d5e: DUP2 00000d5f: MSTORE 00000d60: PUSH1 0x07 00000d62: PUSH1 0x20 00000d64: MSTORE 00000d65: PUSH1 0x40 00000d67: SWAP1 00000d68: KECCAK256 00000d69: SLOAD 00000d6a: DUP4 00000d6b: GT 00000d6c: ISZERO 00000d6d: PUSH2 0x0d75 00000d70: JUMPI 00000d71: PUSH1 0x00 00000d73: DUP1 00000d74: REVERT 00000d75: JUMPDEST 00000d76: PUSH1 0x00 00000d78: PUSH2 0x0d81 00000d7b: PUSH1 0x01 00000d7d: PUSH2 0x0c1d 00000d80: JUMP 00000d81: JUMPDEST 00000d82: GT 00000d83: ISZERO 00000d84: PUSH2 0x0d8f 00000d87: JUMPI 00000d88: PUSH2 0x0d8f 00000d8b: PUSH2 0x0a44 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: PUSH1 0x01 00000d92: PUSH1 0xa0 00000d94: PUSH1 0x02 00000d96: EXP 00000d97: SUB 00000d98: DUP2 00000d99: AND 00000d9a: PUSH1 0x00 00000d9c: SWAP1 00000d9d: DUP2 00000d9e: MSTORE 00000d9f: PUSH1 0x07 00000da1: PUSH1 0x20 00000da3: MSTORE 00000da4: PUSH1 0x40 00000da6: SWAP1 00000da7: KECCAK256 00000da8: SLOAD 00000da9: PUSH2 0x0db2 00000dac: SWAP1 00000dad: DUP5 00000dae: PUSH2 0x1358 00000db1: JUMP 00000db2: JUMPDEST 00000db3: PUSH1 0x01 00000db5: PUSH1 0xa0 00000db7: PUSH1 0x02 00000db9: EXP 00000dba: SUB 00000dbb: DUP1 00000dbc: DUP4 00000dbd: AND 00000dbe: PUSH1 0x00 00000dc0: SWAP1 00000dc1: DUP2 00000dc2: MSTORE 00000dc3: PUSH1 0x07 00000dc5: PUSH1 0x20 00000dc7: MSTORE 00000dc8: PUSH1 0x40 00000dca: DUP1 00000dcb: DUP3 00000dcc: KECCAK256 00000dcd: SWAP4 00000dce: SWAP1 00000dcf: SWAP4 00000dd0: SSTORE 00000dd1: SWAP1 00000dd2: DUP7 00000dd3: AND 00000dd4: DUP2 00000dd5: MSTORE 00000dd6: KECCAK256 00000dd7: SLOAD 00000dd8: PUSH2 0x0de1 00000ddb: SWAP1 00000ddc: DUP5 00000ddd: PUSH2 0x1402 00000de0: JUMP 00000de1: JUMPDEST 00000de2: PUSH1 0x01 00000de4: PUSH1 0xa0 00000de6: PUSH1 0x02 00000de8: EXP 00000de9: SUB 00000dea: DUP6 00000deb: DUP2 00000dec: AND 00000ded: PUSH1 0x00 00000def: DUP2 00000df0: DUP2 00000df1: MSTORE 00000df2: PUSH1 0x07 00000df4: PUSH1 0x20 00000df6: SWAP1 00000df7: DUP2 00000df8: MSTORE 00000df9: PUSH1 0x40 00000dfb: DUP1 00000dfc: DUP4 00000dfd: KECCAK256 00000dfe: SWAP6 00000dff: SWAP1 00000e00: SWAP6 00000e01: SSTORE 00000e02: PUSH1 0x0c 00000e04: DUP1 00000e05: SLOAD 00000e06: SWAP5 00000e07: DUP8 00000e08: AND 00000e09: DUP1 00000e0a: DUP5 00000e0b: MSTORE 00000e0c: PUSH1 0x0a 00000e0e: DUP4 00000e0f: MSTORE 00000e10: DUP7 00000e11: DUP5 00000e12: KECCAK256 00000e13: DUP1 00000e14: SLOAD 00000e15: SWAP7 00000e16: DUP12 00000e17: MUL 00000e18: SWAP1 00000e19: SWAP7 00000e1a: SUB 00000e1b: SWAP1 00000e1c: SWAP6 00000e1d: SSTORE 00000e1e: SLOAD 00000e1f: DUP4 00000e20: DUP4 00000e21: MSTORE 00000e22: SWAP2 00000e23: DUP6 00000e24: SWAP1 00000e25: KECCAK256 00000e26: DUP1 00000e27: SLOAD 00000e28: SWAP3 00000e29: DUP10 00000e2a: MUL 00000e2b: SWAP1 00000e2c: SWAP3 00000e2d: ADD 00000e2e: SWAP1 00000e2f: SWAP2 00000e30: SSTORE 00000e31: DUP4 00000e32: MLOAD 00000e33: DUP8 00000e34: DUP2 00000e35: MSTORE 00000e36: SWAP4 00000e37: MLOAD 00000e38: SWAP2 00000e39: SWAP4 00000e3a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000e5b: SWAP3 00000e5c: SWAP1 00000e5d: DUP2 00000e5e: SWAP1 00000e5f: SUB 00000e60: SWAP1 00000e61: SWAP2 00000e62: ADD 00000e63: SWAP1 00000e64: LOG3 00000e65: PUSH1 0x01 00000e67: SWAP2 00000e68: POP 00000e69: JUMPDEST 00000e6a: POP 00000e6b: SWAP3 00000e6c: SWAP2 00000e6d: POP 00000e6e: POP 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH1 0x04 00000e73: SLOAD 00000e74: PUSH1 0x00 00000e76: SWAP1 00000e77: CALLVALUE 00000e78: ADDRESS 00000e79: BALANCE 00000e7a: SUB 00000e7b: LT 00000e7c: ISZERO 00000e7d: PUSH2 0x0e8f 00000e80: JUMPI 00000e81: PUSH1 0x03 00000e83: SLOAD 00000e84: CALLVALUE 00000e85: GT 00000e86: ISZERO 00000e87: PUSH2 0x0e8f 00000e8a: JUMPI 00000e8b: PUSH1 0x00 00000e8d: DUP1 00000e8e: REVERT 00000e8f: JUMPDEST 00000e90: PUSH1 0x0d 00000e92: SLOAD 00000e93: ISZERO 00000e94: ISZERO 00000e95: PUSH2 0x0ece 00000e98: JUMPI 00000e99: CALLER 00000e9a: PUSH1 0x00 00000e9c: SWAP1 00000e9d: DUP2 00000e9e: MSTORE 00000e9f: PUSH1 0x0e 00000ea1: PUSH1 0x20 00000ea3: MSTORE 00000ea4: PUSH1 0x40 00000ea6: SWAP1 00000ea7: KECCAK256 00000ea8: SLOAD 00000ea9: PUSH1 0xff 00000eab: AND 00000eac: DUP1 00000ead: ISZERO 00000eae: PUSH2 0x0ebe 00000eb1: JUMPI 00000eb2: POP 00000eb3: CALLVALUE 00000eb4: PUSH8 0x03782dace9d90000 00000ebd: EQ 00000ebe: JUMPDEST 00000ebf: ISZERO 00000ec0: ISZERO 00000ec1: PUSH2 0x0ec9 00000ec4: JUMPI 00000ec5: PUSH1 0x00 00000ec7: DUP1 00000ec8: REVERT 00000ec9: JUMPDEST 00000eca: PUSH2 0x0f50 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: PUSH1 0x06 00000ed1: PUSH1 0x0d 00000ed3: SLOAD 00000ed4: LT 00000ed5: ISZERO 00000ed6: PUSH2 0x0f07 00000ed9: JUMPI 00000eda: CALLER 00000edb: PUSH1 0x00 00000edd: SWAP1 00000ede: DUP2 00000edf: MSTORE 00000ee0: PUSH1 0x0e 00000ee2: PUSH1 0x20 00000ee4: MSTORE 00000ee5: PUSH1 0x40 00000ee7: SWAP1 00000ee8: KECCAK256 00000ee9: SLOAD 00000eea: PUSH1 0xff 00000eec: AND 00000eed: DUP1 00000eee: ISZERO 00000eef: PUSH2 0x0ebe 00000ef2: JUMPI 00000ef3: POP 00000ef4: PUSH8 0x0a688906bd8b0000 00000efd: CALLVALUE 00000efe: EQ 00000eff: PUSH2 0x0ec9 00000f02: JUMPI 00000f03: PUSH1 0x00 00000f05: DUP1 00000f06: REVERT 00000f07: JUMPDEST 00000f08: PUSH1 0x0d 00000f0a: SLOAD 00000f0b: PUSH1 0x06 00000f0d: EQ 00000f0e: DUP1 00000f0f: PUSH2 0x0f1a 00000f12: JUMPI 00000f13: POP 00000f14: PUSH1 0x0d 00000f16: SLOAD 00000f17: PUSH1 0x07 00000f19: EQ 00000f1a: JUMPDEST 00000f1b: ISZERO 00000f1c: PUSH2 0x0f50 00000f1f: JUMPI 00000f20: CALLER 00000f21: PUSH1 0x00 00000f23: SWAP1 00000f24: DUP2 00000f25: MSTORE 00000f26: PUSH1 0x0e 00000f28: PUSH1 0x20 00000f2a: MSTORE 00000f2b: PUSH1 0x40 00000f2d: SWAP1 00000f2e: KECCAK256 00000f2f: SLOAD 00000f30: PUSH1 0xff 00000f32: AND 00000f33: DUP1 00000f34: ISZERO 00000f35: PUSH2 0x0f45 00000f38: JUMPI 00000f39: POP 00000f3a: CALLVALUE 00000f3b: PUSH8 0x0de0b6b3a7640000 00000f44: EQ 00000f45: JUMPDEST 00000f46: ISZERO 00000f47: ISZERO 00000f48: PUSH2 0x0f50 00000f4b: JUMPI 00000f4c: PUSH1 0x00 00000f4e: DUP1 00000f4f: REVERT 00000f50: JUMPDEST 00000f51: PUSH5 0x2ecc8899ff 00000f57: GASPRICE 00000f58: LT 00000f59: PUSH2 0x0f61 00000f5c: JUMPI 00000f5d: PUSH1 0x00 00000f5f: DUP1 00000f60: REVERT 00000f61: JUMPDEST 00000f62: PUSH2 0x0f69 00000f65: PUSH2 0x0640 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: DUP1 00000f6b: PUSH2 0x0f77 00000f6e: JUMPI 00000f6f: POP 00000f70: PUSH2 0x0f77 00000f73: PUSH2 0x064a 00000f76: JUMP 00000f77: JUMPDEST 00000f78: ISZERO 00000f79: ISZERO 00000f7a: PUSH2 0x0f82 00000f7d: JUMPI 00000f7e: PUSH1 0x00 00000f80: DUP1 00000f81: REVERT 00000f82: JUMPDEST 00000f83: PUSH2 0x0e69 00000f86: CALLVALUE 00000f87: DUP5 00000f88: DUP5 00000f89: PUSH2 0x0665 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: PUSH1 0x0d 00000f90: SLOAD 00000f91: DUP2 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH1 0x00 00000f96: DUP1 00000f97: PUSH1 0x00 00000f99: DUP1 00000f9a: PUSH1 0x00 00000f9c: DUP1 00000f9d: PUSH1 0x00 00000f9f: PUSH2 0x0fa6 00000fa2: PUSH2 0x0cd5 00000fa5: JUMP 00000fa6: JUMPDEST 00000fa7: GT 00000fa8: PUSH2 0x0fb0 00000fab: JUMPI 00000fac: PUSH1 0x00 00000fae: DUP1 00000faf: REVERT 00000fb0: JUMPDEST 00000fb1: CALLER 00000fb2: PUSH1 0x00 00000fb4: DUP2 00000fb5: DUP2 00000fb6: MSTORE 00000fb7: PUSH1 0x07 00000fb9: PUSH1 0x20 00000fbb: MSTORE 00000fbc: PUSH1 0x40 00000fbe: SWAP1 00000fbf: KECCAK256 00000fc0: SLOAD 00000fc1: SWAP1 00000fc2: SWAP7 00000fc3: POP 00000fc4: DUP8 00000fc5: GT 00000fc6: ISZERO 00000fc7: PUSH2 0x0fcf 00000fca: JUMPI 00000fcb: PUSH1 0x00 00000fcd: DUP1 00000fce: REVERT 00000fcf: JUMPDEST 00000fd0: DUP7 00000fd1: SWAP5 00000fd2: POP 00000fd3: PUSH2 0x0fdb 00000fd6: DUP6 00000fd7: PUSH2 0x1411 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: SWAP4 00000fdd: POP 00000fde: PUSH2 0x0fec 00000fe1: PUSH2 0x067c 00000fe4: DUP6 00000fe5: PUSH2 0x0a02 00000fe8: PUSH2 0x0bb5 00000feb: JUMP 00000fec: JUMPDEST 00000fed: SWAP3 00000fee: POP 00000fef: PUSH2 0x0ff8 00000ff2: DUP5 00000ff3: DUP5 00000ff4: PUSH2 0x1358 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: SWAP2 00000ffa: POP 00000ffb: PUSH2 0x1006 00000ffe: PUSH1 0x0b 00001000: SLOAD 00001001: DUP7 00001002: PUSH2 0x1358 00001005: JUMP 00001006: JUMPDEST 00001007: PUSH1 0x0b 00001009: SSTORE 0000100a: PUSH1 0x01 0000100c: PUSH1 0xa0 0000100e: PUSH1 0x02 00001010: EXP 00001011: SUB 00001012: DUP7 00001013: AND 00001014: PUSH1 0x00 00001016: SWAP1 00001017: DUP2 00001018: MSTORE 00001019: PUSH1 0x07 0000101b: PUSH1 0x20 0000101d: MSTORE 0000101e: PUSH1 0x40 00001020: SWAP1 00001021: KECCAK256 00001022: SLOAD 00001023: PUSH2 0x102c 00001026: SWAP1 00001027: DUP7 00001028: PUSH2 0x1358 0000102b: JUMP 0000102c: JUMPDEST 0000102d: PUSH1 0x01 0000102f: PUSH1 0xa0 00001031: PUSH1 0x02 00001033: EXP 00001034: SUB 00001035: DUP8 00001036: AND 00001037: PUSH1 0x00 00001039: SWAP1 0000103a: DUP2 0000103b: MSTORE 0000103c: PUSH1 0x07 0000103e: PUSH1 0x20 00001040: SWAP1 00001041: DUP2 00001042: MSTORE 00001043: PUSH1 0x40 00001045: DUP1 00001046: DUP4 00001047: KECCAK256 00001048: SWAP4 00001049: SWAP1 0000104a: SWAP4 0000104b: SSTORE 0000104c: PUSH1 0x0c 0000104e: SLOAD 0000104f: PUSH1 0x0a 00001051: SWAP1 00001052: SWAP2 00001053: MSTORE 00001054: SWAP2 00001055: DUP2 00001056: KECCAK256 00001057: DUP1 00001058: SLOAD 00001059: SWAP3 0000105a: DUP9 0000105b: MUL 0000105c: PUSH9 0x010000000000000000 00001066: DUP7 00001067: MUL 00001068: ADD 00001069: SWAP3 0000106a: DUP4 0000106b: SWAP1 0000106c: SUB 0000106d: SWAP1 0000106e: SSTORE 0000106f: PUSH1 0x0b 00001071: SLOAD 00001072: SWAP2 00001073: SWAP3 00001074: POP 00001075: LT 00001076: ISZERO 00001077: PUSH2 0x10a2 0000107a: JUMPI 0000107b: PUSH2 0x109e 0000107e: PUSH1 0x0c 00001080: SLOAD 00001081: PUSH1 0x0b 00001083: SLOAD 00001084: PUSH9 0x010000000000000000 0000108e: DUP7 0000108f: MUL 00001090: DUP2 00001091: ISZERO 00001092: ISZERO 00001093: PUSH2 0x1098 00001096: JUMPI 00001097: INVALID 00001098: JUMPDEST 00001099: DIV 0000109a: PUSH2 0x1402 0000109d: JUMP 0000109e: JUMPDEST 0000109f: PUSH1 0x0c 000010a1: SSTORE 000010a2: JUMPDEST 000010a3: DUP6 000010a4: PUSH1 0x01 000010a6: PUSH1 0xa0 000010a8: PUSH1 0x02 000010aa: EXP 000010ab: SUB 000010ac: AND 000010ad: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e 000010ce: DUP7 000010cf: DUP5 000010d0: TIMESTAMP 000010d1: PUSH2 0x10d8 000010d4: PUSH2 0x0c84 000010d7: JUMP 000010d8: JUMPDEST 000010d9: PUSH1 0x40 000010db: DUP1 000010dc: MLOAD 000010dd: SWAP5 000010de: DUP6 000010df: MSTORE 000010e0: PUSH1 0x20 000010e2: DUP6 000010e3: ADD 000010e4: SWAP4 000010e5: SWAP1 000010e6: SWAP4 000010e7: MSTORE 000010e8: DUP4 000010e9: DUP4 000010ea: ADD 000010eb: SWAP2 000010ec: SWAP1 000010ed: SWAP2 000010ee: MSTORE 000010ef: PUSH1 0x60 000010f1: DUP4 000010f2: ADD 000010f3: MSTORE 000010f4: MLOAD 000010f5: SWAP1 000010f6: DUP2 000010f7: SWAP1 000010f8: SUB 000010f9: PUSH1 0x80 000010fb: ADD 000010fc: SWAP1 000010fd: LOG2 000010fe: POP 000010ff: POP 00001100: POP 00001101: POP 00001102: POP 00001103: POP 00001104: POP 00001105: JUMP 00001106: JUMPDEST 00001107: CALLER 00001108: PUSH1 0x00 0000110a: DUP2 0000110b: DUP2 0000110c: MSTORE 0000110d: PUSH1 0x07 0000110f: PUSH1 0x20 00001111: MSTORE 00001112: PUSH1 0x40 00001114: DUP2 00001115: KECCAK256 00001116: SLOAD 00001117: SWAP1 00001118: DUP2 00001119: GT 0000111a: ISZERO 0000111b: PUSH2 0x1127 0000111e: JUMPI 0000111f: PUSH2 0x1127 00001122: DUP2 00001123: PUSH2 0x0f93 00001126: JUMP 00001127: JUMPDEST 00001128: PUSH2 0x112f 0000112b: PUSH2 0x0a44 0000112e: JUMP 0000112f: JUMPDEST 00001130: POP 00001131: POP 00001132: JUMP 00001133: JUMPDEST 00001134: PUSH1 0x04 00001136: SLOAD 00001137: PUSH1 0x00 00001139: SWAP1 0000113a: CALLVALUE 0000113b: ADDRESS 0000113c: BALANCE 0000113d: SUB 0000113e: LT 0000113f: ISZERO 00001140: PUSH2 0x1152 00001143: JUMPI 00001144: PUSH1 0x03 00001146: SLOAD 00001147: CALLVALUE 00001148: GT 00001149: ISZERO 0000114a: PUSH2 0x1152 0000114d: JUMPI 0000114e: PUSH1 0x00 00001150: DUP1 00001151: REVERT 00001152: JUMPDEST 00001153: PUSH1 0x0d 00001155: SLOAD 00001156: ISZERO 00001157: ISZERO 00001158: PUSH2 0x1191 0000115b: JUMPI 0000115c: CALLER 0000115d: PUSH1 0x00 0000115f: SWAP1 00001160: DUP2 00001161: MSTORE 00001162: PUSH1 0x0e 00001164: PUSH1 0x20 00001166: MSTORE 00001167: PUSH1 0x40 00001169: SWAP1 0000116a: KECCAK256 0000116b: SLOAD 0000116c: PUSH1 0xff 0000116e: AND 0000116f: DUP1 00001170: ISZERO 00001171: PUSH2 0x1181 00001174: JUMPI 00001175: POP 00001176: CALLVALUE 00001177: PUSH8 0x03782dace9d90000 00001180: EQ 00001181: JUMPDEST 00001182: ISZERO 00001183: ISZERO 00001184: PUSH2 0x118c 00001187: JUMPI 00001188: PUSH1 0x00 0000118a: DUP1 0000118b: REVERT 0000118c: JUMPDEST 0000118d: PUSH2 0x1213 00001190: JUMP 00001191: JUMPDEST 00001192: PUSH1 0x06 00001194: PUSH1 0x0d 00001196: SLOAD 00001197: LT 00001198: ISZERO 00001199: PUSH2 0x11ca 0000119c: JUMPI 0000119d: CALLER 0000119e: PUSH1 0x00 000011a0: SWAP1 000011a1: DUP2 000011a2: MSTORE 000011a3: PUSH1 0x0e 000011a5: PUSH1 0x20 000011a7: MSTORE 000011a8: PUSH1 0x40 000011aa: SWAP1 000011ab: KECCAK256 000011ac: SLOAD 000011ad: PUSH1 0xff 000011af: AND 000011b0: DUP1 000011b1: ISZERO 000011b2: PUSH2 0x1181 000011b5: JUMPI 000011b6: POP 000011b7: PUSH8 0x0a688906bd8b0000 000011c0: CALLVALUE 000011c1: EQ 000011c2: PUSH2 0x118c 000011c5: JUMPI 000011c6: PUSH1 0x00 000011c8: DUP1 000011c9: REVERT 000011ca: JUMPDEST 000011cb: PUSH1 0x0d 000011cd: SLOAD 000011ce: PUSH1 0x06 000011d0: EQ 000011d1: DUP1 000011d2: PUSH2 0x11dd 000011d5: JUMPI 000011d6: POP 000011d7: PUSH1 0x0d 000011d9: SLOAD 000011da: PUSH1 0x07 000011dc: EQ 000011dd: JUMPDEST 000011de: ISZERO 000011df: PUSH2 0x1213 000011e2: JUMPI 000011e3: CALLER 000011e4: PUSH1 0x00 000011e6: SWAP1 000011e7: DUP2 000011e8: MSTORE 000011e9: PUSH1 0x0e 000011eb: PUSH1 0x20 000011ed: MSTORE 000011ee: PUSH1 0x40 000011f0: SWAP1 000011f1: KECCAK256 000011f2: SLOAD 000011f3: PUSH1 0xff 000011f5: AND 000011f6: DUP1 000011f7: ISZERO 000011f8: PUSH2 0x1208 000011fb: JUMPI 000011fc: POP 000011fd: CALLVALUE 000011fe: PUSH8 0x0de0b6b3a7640000 00001207: EQ 00001208: JUMPDEST 00001209: ISZERO 0000120a: ISZERO 0000120b: PUSH2 0x1213 0000120e: JUMPI 0000120f: PUSH1 0x00 00001211: DUP1 00001212: REVERT 00001213: JUMPDEST 00001214: PUSH5 0x2ecc8899ff 0000121a: GASPRICE 0000121b: LT 0000121c: PUSH2 0x1224 0000121f: JUMPI 00001220: PUSH1 0x00 00001222: DUP1 00001223: REVERT 00001224: JUMPDEST 00001225: PUSH2 0x122c 00001228: PUSH2 0x0640 0000122b: JUMP 0000122c: JUMPDEST 0000122d: DUP1 0000122e: PUSH2 0x123a 00001231: JUMPI 00001232: POP 00001233: PUSH2 0x123a 00001236: PUSH2 0x064a 00001239: JUMP 0000123a: JUMPDEST 0000123b: ISZERO 0000123c: ISZERO 0000123d: PUSH2 0x1245 00001240: JUMPI 00001241: PUSH1 0x00 00001243: DUP1 00001244: REVERT 00001245: JUMPDEST 00001246: PUSH2 0x0a39 00001249: CALLVALUE 0000124a: DUP4 0000124b: CALLER 0000124c: PUSH2 0x0665 0000124f: JUMP 00001250: JUMPDEST 00001251: PUSH1 0x00 00001253: DUP1 00001254: PUSH1 0x00 00001256: DUP1 00001257: PUSH2 0x1260 0000125a: PUSH1 0x01 0000125c: PUSH2 0x0c1d 0000125f: JUMP 00001260: JUMPDEST 00001261: GT 00001262: PUSH2 0x126a 00001265: JUMPI 00001266: PUSH1 0x00 00001268: DUP1 00001269: REVERT 0000126a: JUMPDEST 0000126b: PUSH2 0x1274 0000126e: PUSH1 0x00 00001270: PUSH2 0x0c1d 00001273: JUMP 00001274: JUMPDEST 00001275: CALLER 00001276: PUSH1 0x00 00001278: DUP2 00001279: DUP2 0000127a: MSTORE 0000127b: PUSH1 0x0a 0000127d: PUSH1 0x20 0000127f: SWAP1 00001280: DUP2 00001281: MSTORE 00001282: PUSH1 0x40 00001284: DUP1 00001285: DUP4 00001286: KECCAK256 00001287: DUP1 00001288: SLOAD 00001289: PUSH9 0x010000000000000000 00001293: DUP8 00001294: MUL 00001295: ADD 00001296: SWAP1 00001297: SSTORE 00001298: PUSH1 0x08 0000129a: SWAP1 0000129b: SWAP2 0000129c: MSTORE 0000129d: DUP2 0000129e: KECCAK256 0000129f: DUP1 000012a0: SLOAD 000012a1: SWAP1 000012a2: DUP3 000012a3: SWAP1 000012a4: SSTORE 000012a5: SWAP1 000012a6: SWAP3 000012a7: ADD 000012a8: SWAP5 000012a9: POP 000012aa: SWAP3 000012ab: POP 000012ac: PUSH2 0x12b7 000012af: SWAP1 000012b0: DUP5 000012b1: SWAP1 000012b2: DUP5 000012b3: PUSH2 0x0665 000012b6: JUMP 000012b7: JUMPDEST 000012b8: SWAP1 000012b9: POP 000012ba: DUP2 000012bb: PUSH1 0x01 000012bd: PUSH1 0xa0 000012bf: PUSH1 0x02 000012c1: EXP 000012c2: SUB 000012c3: AND 000012c4: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 000012e5: DUP5 000012e6: DUP4 000012e7: PUSH1 0x40 000012e9: MLOAD 000012ea: DUP1 000012eb: DUP4 000012ec: DUP2 000012ed: MSTORE 000012ee: PUSH1 0x20 000012f0: ADD 000012f1: DUP3 000012f2: DUP2 000012f3: MSTORE 000012f4: PUSH1 0x20 000012f6: ADD 000012f7: SWAP3 000012f8: POP 000012f9: POP 000012fa: POP 000012fb: PUSH1 0x40 000012fd: MLOAD 000012fe: DUP1 000012ff: SWAP2 00001300: SUB 00001301: SWAP1 00001302: LOG2 00001303: POP 00001304: POP 00001305: POP 00001306: JUMP 00001307: JUMPDEST 00001308: PUSH1 0x05 0000130a: SLOAD 0000130b: PUSH1 0x01 0000130d: PUSH1 0xa0 0000130f: PUSH1 0x02 00001311: EXP 00001312: SUB 00001313: AND 00001314: DUP2 00001315: JUMP 00001316: JUMPDEST 00001317: PUSH1 0x00 00001319: DUP1 0000131a: DUP4 0000131b: ISZERO 0000131c: ISZERO 0000131d: PUSH2 0x1329 00001320: JUMPI 00001321: PUSH1 0x00 00001323: SWAP2 00001324: POP 00001325: PUSH2 0x0e69 00001328: JUMP 00001329: JUMPDEST 0000132a: POP 0000132b: DUP3 0000132c: DUP3 0000132d: MUL 0000132e: DUP3 0000132f: DUP5 00001330: DUP3 00001331: DUP2 00001332: ISZERO 00001333: ISZERO 00001334: PUSH2 0x1339 00001337: JUMPI 00001338: INVALID 00001339: JUMPDEST 0000133a: DIV 0000133b: EQ 0000133c: PUSH2 0x0c57 0000133f: JUMPI 00001340: INVALID 00001341: JUMPDEST 00001342: PUSH1 0x00 00001344: DUP1 00001345: DUP3 00001346: DUP5 00001347: DUP2 00001348: ISZERO 00001349: ISZERO 0000134a: PUSH2 0x134f 0000134d: JUMPI 0000134e: INVALID 0000134f: JUMPDEST 00001350: DIV 00001351: SWAP5 00001352: SWAP4 00001353: POP 00001354: POP 00001355: POP 00001356: POP 00001357: JUMP 00001358: JUMPDEST 00001359: PUSH1 0x00 0000135b: DUP3 0000135c: DUP3 0000135d: GT 0000135e: ISZERO 0000135f: PUSH2 0x1364 00001362: JUMPI 00001363: INVALID 00001364: JUMPDEST 00001365: POP 00001366: SWAP1 00001367: SUB 00001368: SWAP1 00001369: JUMP 0000136a: JUMPDEST 0000136b: PUSH1 0x0b 0000136d: SLOAD 0000136e: PUSH1 0x00 00001370: SWAP1 00001371: PUSH13 0x01431e0fae6d7217caa0000000 0000137f: SWAP1 00001380: DUP3 00001381: SWAP1 00001382: PUSH5 0x02540be400 00001388: PUSH2 0x13ef 0000138b: PUSH2 0x13e9 0000138e: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000 000013a3: DUP9 000013a4: MUL 000013a5: PUSH9 0x056bc75e2d63100000 000013af: PUSH1 0x02 000013b1: DUP7 000013b2: EXP 000013b3: MUL 000013b4: ADD 000013b5: PUSH17 0x05e0a1fd2712875988becaad0000000000 000013c7: DUP6 000013c8: MUL 000013c9: ADD 000013ca: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000 000013e4: ADD 000013e5: PUSH2 0x147d 000013e8: JUMP 000013e9: JUMPDEST 000013ea: DUP6 000013eb: PUSH2 0x1358 000013ee: JUMP 000013ef: JUMPDEST 000013f0: DUP2 000013f1: ISZERO 000013f2: ISZERO 000013f3: PUSH2 0x13f8 000013f6: JUMPI 000013f7: INVALID 000013f8: JUMPDEST 000013f9: DIV 000013fa: SUB 000013fb: SWAP5 000013fc: SWAP4 000013fd: POP 000013fe: POP 000013ff: POP 00001400: POP 00001401: JUMP 00001402: JUMPDEST 00001403: PUSH1 0x00 00001405: DUP3 00001406: DUP3 00001407: ADD 00001408: DUP4 00001409: DUP2 0000140a: LT 0000140b: ISZERO 0000140c: PUSH2 0x0c57 0000140f: JUMPI 00001410: INVALID 00001411: JUMPDEST 00001412: PUSH1 0x0b 00001414: SLOAD 00001415: PUSH1 0x00 00001417: SWAP1 00001418: PUSH8 0x0de0b6b3a7640000 00001421: DUP4 00001422: DUP2 00001423: ADD 00001424: SWAP2 00001425: DUP2 00001426: ADD 00001427: SWAP1 00001428: DUP4 00001429: SWAP1 0000142a: PUSH2 0x146a 0000142d: PUSH5 0x14f46b0400 00001433: DUP3 00001434: DUP6 00001435: DIV 00001436: PUSH5 0x02540be400 0000143c: MUL 0000143d: ADD 0000143e: DUP8 0000143f: MUL 00001440: PUSH1 0x02 00001442: DUP4 00001443: PUSH8 0x0de0b6b3a763ffff 0000144c: NOT 0000144d: DUP3 0000144e: DUP10 0000144f: EXP 00001450: DUP12 00001451: SWAP1 00001452: SUB 00001453: ADD 00001454: DIV 00001455: PUSH5 0x02540be400 0000145b: MUL 0000145c: DUP2 0000145d: ISZERO 0000145e: ISZERO 0000145f: PUSH2 0x1464 00001462: JUMPI 00001463: INVALID 00001464: JUMPDEST 00001465: DIV 00001466: PUSH2 0x1358 00001469: JUMP 0000146a: JUMPDEST 0000146b: DUP2 0000146c: ISZERO 0000146d: ISZERO 0000146e: PUSH2 0x1473 00001471: JUMPI 00001472: INVALID 00001473: JUMPDEST 00001474: DIV 00001475: SWAP6 00001476: SWAP5 00001477: POP 00001478: POP 00001479: POP 0000147a: POP 0000147b: POP 0000147c: JUMP 0000147d: JUMPDEST 0000147e: DUP1 0000147f: PUSH1 0x02 00001481: PUSH1 0x01 00001483: DUP3 00001484: ADD 00001485: DIV 00001486: JUMPDEST 00001487: DUP2 00001488: DUP2 00001489: LT 0000148a: ISZERO 0000148b: PUSH2 0x0a39 0000148e: JUMPI 0000148f: DUP1 00001490: SWAP2 00001491: POP 00001492: PUSH1 0x02 00001494: DUP2 00001495: DUP3 00001496: DUP6 00001497: DUP2 00001498: ISZERO 00001499: ISZERO 0000149a: PUSH2 0x149f 0000149d: JUMPI 0000149e: INVALID 0000149f: JUMPDEST 000014a0: DIV 000014a1: ADD 000014a2: DUP2 000014a3: ISZERO 000014a4: ISZERO 000014a5: PUSH2 0x14aa 000014a8: JUMPI 000014a9: INVALID 000014aa: JUMPDEST 000014ab: DIV 000014ac: SWAP1 000014ad: POP 000014ae: PUSH2 0x1486 000014b1: JUMP 000014b2: STOP 000014b3: LOG1 000014b4: PUSH6 0x627a7a723058 000014bb: KECCAK256 000014bc: SWAP10 000014bd: TIMESTAMP 000014be: SWAP5 000014bf: UNKNOWN(0xBD) 000014c0: MOD 000014c1: PC 000014c2: UNKNOWN(0xF6) 000014c3: PUSH7 0xd9695b8bd30b25 000014cb: DUP9 000014cc: SWAP10 000014cd: CHAINID 000014ce: UNKNOWN(0xD4) 000014cf: MUL 000014d0: COINBASE 000014d1: UNKNOWN(0xE6) 000014d2: UNKNOWN(0xCB) 000014d3: STOP 000014d4: MULMOD 000014d5: SWAP12 000014d6: LT 000014d7: NOT 000014d8: SWAP8 000014d9: UNKNOWN(0x4B) 000014da: LT 000014db: UNKNOWN(0xD8) 000014dc: STOP 000014dd: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcdd5dae8e9320d3de9b4fcf4414f4c0f099a9975d58eea9b5953cd59bec5e688
call_targets:
0x8c14692589190d08e917e38bbee3ac10eaf0acb4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcdd5dae8e9320d3de9b4fcf4414f4c0f099a9975d58eea9b5953cd59bec5e688",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8c14692589190d08e917e38bbee3ac10eaf0acb4"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b3b704",
"selector": "0x23b3b704",
"calldata_variants": [
"0x23b3b704",
"0x23b3b7040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e0a322d",
"selector": "0x3e0a322d",
"calldata_variants": [
"0x3e0a322d",
"0x3e0a322d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2749,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xcdd5dae8e9320d3de9b4fcf4414f4c0f099a9975d58eea9b5953cd59bec5e688
call_targets:
0x8c14692589190d08e917e38bbee3ac10eaf0acb4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcdd5dae8e9320d3de9b4fcf4414f4c0f099a9975d58eea9b5953cd59bec5e688",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8c14692589190d08e917e38bbee3ac10eaf0acb4"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b3b704",
"selector": "0x23b3b704",
"calldata_variants": [
"0x23b3b704",
"0x23b3b7040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e0a322d",
"selector": "0x3e0a322d",
"calldata_variants": [
"0x3e0a322d",
"0x3e0a322d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2749,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|