019b477e-b337-7128-90a0-a5f7ca0a05fa
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 |
|---|---|---|---|---|
| 22507 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22508 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65494 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65495 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65496 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65497 | 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 0x0244 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x5b4487 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x0249 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x03fca061 00000045: EQ 00000046: PUSH2 0x0270 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x06e42962 00000050: EQ 00000051: PUSH2 0x0285 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x0a6f5d8e 0000005b: EQ 0000005c: PUSH2 0x029d 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x0cbf54c8 00000066: EQ 00000067: PUSH2 0x02b5 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x0e51574f 00000071: EQ 00000072: PUSH2 0x02ca 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x0eb51c9c 0000007c: EQ 0000007d: PUSH2 0x02e1 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x1ccff716 00000087: EQ 00000088: PUSH2 0x02f6 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x20178db3 00000092: EQ 00000093: PUSH2 0x0321 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x3459d2ba 0000009d: EQ 0000009e: PUSH2 0x0336 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x391f3b2d 000000a8: EQ 000000a9: PUSH2 0x034b 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x3ebf2508 000000b3: EQ 000000b4: PUSH2 0x0363 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x3f4acbe8 000000be: EQ 000000bf: PUSH2 0x0378 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x3fecde21 000000c9: EQ 000000ca: PUSH2 0x0395 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x49087bcc 000000d4: EQ 000000d5: PUSH2 0x03b2 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x4e2786fb 000000df: EQ 000000e0: PUSH2 0x03c7 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x51b472b9 000000ea: EQ 000000eb: PUSH2 0x03dc 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x5b98f169 000000f5: EQ 000000f6: PUSH2 0x03f1 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x5f99c1b2 00000100: EQ 00000101: PUSH2 0x029d 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x6103d70b 0000010b: EQ 0000010c: PUSH2 0x040c 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x66cd442a 00000116: EQ 00000117: PUSH2 0x0421 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x69008fb6 00000121: EQ 00000122: PUSH2 0x0458 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x6b31ee01 0000012c: EQ 0000012d: PUSH2 0x0475 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x6b433ccf 00000137: EQ 00000138: PUSH2 0x048a 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x71566c23 00000142: EQ 00000143: PUSH2 0x04a2 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0x7e9de0bc 0000014d: EQ 0000014e: PUSH2 0x04b7 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0x84db8d1e 00000158: EQ 00000159: PUSH2 0x034b 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0x861a588e 00000163: EQ 00000164: PUSH2 0x04d4 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0x8771fc4a 0000016e: EQ 0000016f: PUSH2 0x04e9 00000172: JUMPI 00000173: DUP1 00000174: PUSH4 0x8da5cb5b 00000179: EQ 0000017a: PUSH2 0x04fe 0000017d: JUMPI 0000017e: DUP1 0000017f: PUSH4 0x925183cd 00000184: EQ 00000185: PUSH2 0x0513 00000188: JUMPI 00000189: DUP1 0000018a: PUSH4 0x9798532f 0000018f: EQ 00000190: PUSH2 0x0531 00000193: JUMPI 00000194: DUP1 00000195: PUSH4 0xa93b1a65 0000019a: EQ 0000019b: PUSH2 0x0549 0000019e: JUMPI 0000019f: DUP1 000001a0: PUSH4 0xaca21a1e 000001a5: EQ 000001a6: PUSH2 0x0566 000001a9: JUMPI 000001aa: DUP1 000001ab: PUSH4 0xad2daa48 000001b0: EQ 000001b1: PUSH2 0x057b 000001b4: JUMPI 000001b5: DUP1 000001b6: PUSH4 0xb6bb354b 000001bb: EQ 000001bc: PUSH2 0x0590 000001bf: JUMPI 000001c0: DUP1 000001c1: PUSH4 0xbfab3db9 000001c6: EQ 000001c7: PUSH2 0x05a5 000001ca: JUMPI 000001cb: DUP1 000001cc: PUSH4 0xc040e6b8 000001d1: EQ 000001d2: PUSH2 0x05ba 000001d5: JUMPI 000001d6: DUP1 000001d7: PUSH4 0xc2539429 000001dc: EQ 000001dd: PUSH2 0x05f3 000001e0: JUMPI 000001e1: DUP1 000001e2: PUSH4 0xc9e87f31 000001e7: EQ 000001e8: PUSH2 0x0608 000001eb: JUMPI 000001ec: DUP1 000001ed: PUSH4 0xcce43964 000001f2: EQ 000001f3: PUSH2 0x061d 000001f6: JUMPI 000001f7: DUP1 000001f8: PUSH4 0xcf693418 000001fd: EQ 000001fe: PUSH2 0x034b 00000201: JUMPI 00000202: DUP1 00000203: PUSH4 0xde8d77e7 00000208: EQ 00000209: PUSH2 0x0632 0000020c: JUMPI 0000020d: DUP1 0000020e: PUSH4 0xe2982c21 00000213: EQ 00000214: PUSH2 0x0647 00000217: JUMPI 00000218: DUP1 00000219: PUSH4 0xe40205d6 0000021e: EQ 0000021f: PUSH2 0x0668 00000222: JUMPI 00000223: DUP1 00000224: PUSH4 0xe9360a36 00000229: EQ 0000022a: PUSH2 0x0608 0000022d: JUMPI 0000022e: DUP1 0000022f: PUSH4 0xeb54f9ec 00000234: EQ 00000235: PUSH2 0x067d 00000238: JUMPI 00000239: DUP1 0000023a: PUSH4 0xf2fde38b 0000023f: EQ 00000240: PUSH2 0x0692 00000243: JUMPI 00000244: JUMPDEST 00000245: PUSH1 0x00 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: CALLVALUE 0000024b: DUP1 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: POP 00000257: PUSH2 0x025e 0000025a: PUSH2 0x06b3 0000025d: JUMP 0000025e: JUMPDEST 0000025f: PUSH1 0x40 00000261: DUP1 00000262: MLOAD 00000263: SWAP2 00000264: DUP3 00000265: MSTORE 00000266: MLOAD 00000267: SWAP1 00000268: DUP2 00000269: SWAP1 0000026a: SUB 0000026b: PUSH1 0x20 0000026d: ADD 0000026e: SWAP1 0000026f: RETURN 00000270: JUMPDEST 00000271: CALLVALUE 00000272: DUP1 00000273: ISZERO 00000274: PUSH2 0x027c 00000277: JUMPI 00000278: PUSH1 0x00 0000027a: DUP1 0000027b: REVERT 0000027c: JUMPDEST 0000027d: POP 0000027e: PUSH2 0x025e 00000281: PUSH2 0x06b9 00000284: JUMP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH2 0x025e 00000296: PUSH1 0x04 00000298: CALLDATALOAD 00000299: PUSH2 0x06bf 0000029c: JUMP 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: POP 000002ab: PUSH2 0x025e 000002ae: PUSH1 0x04 000002b0: CALLDATALOAD 000002b1: PUSH2 0x06d8 000002b4: JUMP 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: DUP1 000002b8: ISZERO 000002b9: PUSH2 0x02c1 000002bc: JUMPI 000002bd: PUSH1 0x00 000002bf: DUP1 000002c0: REVERT 000002c1: JUMPDEST 000002c2: POP 000002c3: PUSH2 0x025e 000002c6: PUSH2 0x06fc 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 0x02df 000002db: PUSH2 0x0703 000002de: JUMP 000002df: JUMPDEST 000002e0: STOP 000002e1: JUMPDEST 000002e2: CALLVALUE 000002e3: DUP1 000002e4: ISZERO 000002e5: PUSH2 0x02ed 000002e8: JUMPI 000002e9: PUSH1 0x00 000002eb: DUP1 000002ec: REVERT 000002ed: JUMPDEST 000002ee: POP 000002ef: PUSH2 0x025e 000002f2: PUSH2 0x081b 000002f5: JUMP 000002f6: JUMPDEST 000002f7: CALLVALUE 000002f8: DUP1 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: POP 00000304: PUSH2 0x030b 00000307: PUSH2 0x0821 0000030a: JUMP 0000030b: JUMPDEST 0000030c: PUSH1 0x40 0000030e: DUP1 0000030f: MLOAD 00000310: PUSH1 0xff 00000312: SWAP1 00000313: SWAP3 00000314: AND 00000315: DUP3 00000316: MSTORE 00000317: MLOAD 00000318: SWAP1 00000319: DUP2 0000031a: SWAP1 0000031b: SUB 0000031c: PUSH1 0x20 0000031e: ADD 0000031f: SWAP1 00000320: RETURN 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x025e 00000332: PUSH2 0x0826 00000335: JUMP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x025e 00000347: PUSH2 0x082c 0000034a: JUMP 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x0357 00000352: JUMPI 00000353: PUSH1 0x00 00000355: DUP1 00000356: REVERT 00000357: JUMPDEST 00000358: POP 00000359: PUSH2 0x025e 0000035c: PUSH1 0x04 0000035e: CALLDATALOAD 0000035f: PUSH2 0x093c 00000362: JUMP 00000363: JUMPDEST 00000364: CALLVALUE 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH2 0x025e 00000374: PUSH2 0x094f 00000377: JUMP 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: DUP1 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: PUSH2 0x025e 00000389: PUSH1 0x04 0000038b: CALLDATALOAD 0000038c: PUSH1 0x24 0000038e: CALLDATALOAD 0000038f: ISZERO 00000390: ISZERO 00000391: PUSH2 0x095b 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH2 0x02df 00000399: PUSH1 0xff 0000039b: PUSH1 0x04 0000039d: CALLDATALOAD 0000039e: AND 0000039f: PUSH1 0x24 000003a1: CALLDATALOAD 000003a2: PUSH1 0x01 000003a4: PUSH1 0xa0 000003a6: PUSH1 0x02 000003a8: EXP 000003a9: SUB 000003aa: PUSH1 0x44 000003ac: CALLDATALOAD 000003ad: AND 000003ae: PUSH2 0x0996 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x025e 000003c3: PUSH2 0x0bfe 000003c6: JUMP 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: PUSH2 0x025e 000003d8: PUSH2 0x0c09 000003db: JUMP 000003dc: JUMPDEST 000003dd: CALLVALUE 000003de: DUP1 000003df: ISZERO 000003e0: PUSH2 0x03e8 000003e3: JUMPI 000003e4: PUSH1 0x00 000003e6: DUP1 000003e7: REVERT 000003e8: JUMPDEST 000003e9: POP 000003ea: PUSH2 0x025e 000003ed: PUSH2 0x0c0f 000003f0: JUMP 000003f1: JUMPDEST 000003f2: CALLVALUE 000003f3: DUP1 000003f4: ISZERO 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH1 0x00 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: PUSH2 0x025e 00000402: PUSH1 0xff 00000404: PUSH1 0x04 00000406: CALLDATALOAD 00000407: AND 00000408: PUSH2 0x0c1b 0000040b: JUMP 0000040c: JUMPDEST 0000040d: CALLVALUE 0000040e: DUP1 0000040f: ISZERO 00000410: PUSH2 0x0418 00000413: JUMPI 00000414: PUSH1 0x00 00000416: DUP1 00000417: REVERT 00000418: JUMPDEST 00000419: POP 0000041a: PUSH2 0x02df 0000041d: PUSH2 0x0c2d 00000420: JUMP 00000421: JUMPDEST 00000422: CALLVALUE 00000423: DUP1 00000424: ISZERO 00000425: PUSH2 0x042d 00000428: JUMPI 00000429: PUSH1 0x00 0000042b: DUP1 0000042c: REVERT 0000042d: JUMPDEST 0000042e: POP 0000042f: PUSH2 0x043c 00000432: PUSH1 0xff 00000434: PUSH1 0x04 00000436: CALLDATALOAD 00000437: AND 00000438: PUSH2 0x0cb6 0000043b: JUMP 0000043c: JUMPDEST 0000043d: PUSH1 0x40 0000043f: DUP1 00000440: MLOAD 00000441: PUSH1 0x01 00000443: PUSH1 0xa0 00000445: PUSH1 0x02 00000447: EXP 00000448: SUB 00000449: SWAP1 0000044a: SWAP3 0000044b: AND 0000044c: DUP3 0000044d: MSTORE 0000044e: MLOAD 0000044f: SWAP1 00000450: DUP2 00000451: SWAP1 00000452: SUB 00000453: PUSH1 0x20 00000455: ADD 00000456: SWAP1 00000457: RETURN 00000458: JUMPDEST 00000459: PUSH2 0x02df 0000045c: PUSH1 0xff 0000045e: PUSH1 0x04 00000460: CALLDATALOAD 00000461: AND 00000462: PUSH1 0x24 00000464: CALLDATALOAD 00000465: PUSH1 0x01 00000467: PUSH1 0xa0 00000469: PUSH1 0x02 0000046b: EXP 0000046c: SUB 0000046d: PUSH1 0x44 0000046f: CALLDATALOAD 00000470: AND 00000471: PUSH2 0x0cd1 00000474: JUMP 00000475: JUMPDEST 00000476: CALLVALUE 00000477: DUP1 00000478: ISZERO 00000479: PUSH2 0x0481 0000047c: JUMPI 0000047d: PUSH1 0x00 0000047f: DUP1 00000480: REVERT 00000481: JUMPDEST 00000482: POP 00000483: PUSH2 0x025e 00000486: PUSH2 0x0f55 00000489: JUMP 0000048a: JUMPDEST 0000048b: CALLVALUE 0000048c: DUP1 0000048d: ISZERO 0000048e: PUSH2 0x0496 00000491: JUMPI 00000492: PUSH1 0x00 00000494: DUP1 00000495: REVERT 00000496: JUMPDEST 00000497: POP 00000498: PUSH2 0x025e 0000049b: PUSH1 0x04 0000049d: CALLDATALOAD 0000049e: PUSH2 0x0f5b 000004a1: JUMP 000004a2: JUMPDEST 000004a3: CALLVALUE 000004a4: DUP1 000004a5: ISZERO 000004a6: PUSH2 0x04ae 000004a9: JUMPI 000004aa: PUSH1 0x00 000004ac: DUP1 000004ad: REVERT 000004ae: JUMPDEST 000004af: POP 000004b0: PUSH2 0x025e 000004b3: PUSH2 0x0f73 000004b6: JUMP 000004b7: JUMPDEST 000004b8: PUSH2 0x02df 000004bb: PUSH1 0xff 000004bd: PUSH1 0x04 000004bf: CALLDATALOAD 000004c0: AND 000004c1: PUSH1 0x24 000004c3: CALLDATALOAD 000004c4: PUSH1 0x01 000004c6: PUSH1 0xa0 000004c8: PUSH1 0x02 000004ca: EXP 000004cb: SUB 000004cc: PUSH1 0x44 000004ce: CALLDATALOAD 000004cf: AND 000004d0: PUSH2 0x0f79 000004d3: JUMP 000004d4: JUMPDEST 000004d5: CALLVALUE 000004d6: DUP1 000004d7: ISZERO 000004d8: PUSH2 0x04e0 000004db: JUMPI 000004dc: PUSH1 0x00 000004de: DUP1 000004df: REVERT 000004e0: JUMPDEST 000004e1: POP 000004e2: PUSH2 0x043c 000004e5: PUSH2 0x124b 000004e8: JUMP 000004e9: JUMPDEST 000004ea: CALLVALUE 000004eb: DUP1 000004ec: ISZERO 000004ed: PUSH2 0x04f5 000004f0: JUMPI 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: REVERT 000004f5: JUMPDEST 000004f6: POP 000004f7: PUSH2 0x025e 000004fa: PUSH2 0x125a 000004fd: JUMP 000004fe: JUMPDEST 000004ff: CALLVALUE 00000500: DUP1 00000501: ISZERO 00000502: PUSH2 0x050a 00000505: JUMPI 00000506: PUSH1 0x00 00000508: DUP1 00000509: REVERT 0000050a: JUMPDEST 0000050b: POP 0000050c: PUSH2 0x043c 0000050f: PUSH2 0x1260 00000512: JUMP 00000513: JUMPDEST 00000514: CALLVALUE 00000515: DUP1 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: POP 00000521: PUSH2 0x030b 00000524: PUSH1 0xff 00000526: PUSH1 0x04 00000528: CALLDATALOAD 00000529: AND 0000052a: PUSH1 0x24 0000052c: CALLDATALOAD 0000052d: PUSH2 0x126f 00000530: JUMP 00000531: JUMPDEST 00000532: CALLVALUE 00000533: DUP1 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: POP 0000053f: PUSH2 0x025e 00000542: PUSH1 0x04 00000544: CALLDATALOAD 00000545: PUSH2 0x12a7 00000548: JUMP 00000549: JUMPDEST 0000054a: CALLVALUE 0000054b: DUP1 0000054c: ISZERO 0000054d: PUSH2 0x0555 00000550: JUMPI 00000551: PUSH1 0x00 00000553: DUP1 00000554: REVERT 00000555: JUMPDEST 00000556: POP 00000557: PUSH2 0x025e 0000055a: PUSH1 0x04 0000055c: CALLDATALOAD 0000055d: PUSH1 0x24 0000055f: CALLDATALOAD 00000560: ISZERO 00000561: ISZERO 00000562: PUSH2 0x12ba 00000565: JUMP 00000566: JUMPDEST 00000567: CALLVALUE 00000568: DUP1 00000569: ISZERO 0000056a: PUSH2 0x0572 0000056d: JUMPI 0000056e: PUSH1 0x00 00000570: DUP1 00000571: REVERT 00000572: JUMPDEST 00000573: POP 00000574: PUSH2 0x030b 00000577: PUSH2 0x12db 0000057a: JUMP 0000057b: JUMPDEST 0000057c: CALLVALUE 0000057d: DUP1 0000057e: ISZERO 0000057f: PUSH2 0x0587 00000582: JUMPI 00000583: PUSH1 0x00 00000585: DUP1 00000586: REVERT 00000587: JUMPDEST 00000588: POP 00000589: PUSH2 0x025e 0000058c: PUSH2 0x12e0 0000058f: JUMP 00000590: JUMPDEST 00000591: CALLVALUE 00000592: DUP1 00000593: ISZERO 00000594: PUSH2 0x059c 00000597: JUMPI 00000598: PUSH1 0x00 0000059a: DUP1 0000059b: REVERT 0000059c: JUMPDEST 0000059d: POP 0000059e: PUSH2 0x043c 000005a1: PUSH2 0x1384 000005a4: JUMP 000005a5: JUMPDEST 000005a6: CALLVALUE 000005a7: DUP1 000005a8: ISZERO 000005a9: PUSH2 0x05b1 000005ac: JUMPI 000005ad: PUSH1 0x00 000005af: DUP1 000005b0: REVERT 000005b1: JUMPDEST 000005b2: POP 000005b3: PUSH2 0x02df 000005b6: PUSH2 0x1393 000005b9: JUMP 000005ba: JUMPDEST 000005bb: CALLVALUE 000005bc: DUP1 000005bd: ISZERO 000005be: PUSH2 0x05c6 000005c1: JUMPI 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: POP 000005c8: PUSH2 0x05cf 000005cb: PUSH2 0x13e4 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: DUP1 000005d4: DUP3 000005d5: PUSH1 0x01 000005d7: DUP2 000005d8: GT 000005d9: ISZERO 000005da: PUSH2 0x05df 000005dd: JUMPI 000005de: INVALID 000005df: JUMPDEST 000005e0: PUSH1 0xff 000005e2: AND 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: ADD 000005e8: SWAP2 000005e9: POP 000005ea: POP 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: DUP1 000005ef: SWAP2 000005f0: SUB 000005f1: SWAP1 000005f2: RETURN 000005f3: JUMPDEST 000005f4: CALLVALUE 000005f5: DUP1 000005f6: ISZERO 000005f7: PUSH2 0x05ff 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: REVERT 000005ff: JUMPDEST 00000600: POP 00000601: PUSH2 0x025e 00000604: PUSH2 0x13f4 00000607: JUMP 00000608: JUMPDEST 00000609: CALLVALUE 0000060a: DUP1 0000060b: ISZERO 0000060c: PUSH2 0x0614 0000060f: JUMPI 00000610: PUSH1 0x00 00000612: DUP1 00000613: REVERT 00000614: JUMPDEST 00000615: POP 00000616: PUSH2 0x030b 00000619: PUSH2 0x13fa 0000061c: JUMP 0000061d: JUMPDEST 0000061e: CALLVALUE 0000061f: DUP1 00000620: ISZERO 00000621: PUSH2 0x0629 00000624: JUMPI 00000625: PUSH1 0x00 00000627: DUP1 00000628: REVERT 00000629: JUMPDEST 0000062a: POP 0000062b: PUSH2 0x043c 0000062e: PUSH2 0x13ff 00000631: JUMP 00000632: JUMPDEST 00000633: CALLVALUE 00000634: DUP1 00000635: ISZERO 00000636: PUSH2 0x063e 00000639: JUMPI 0000063a: PUSH1 0x00 0000063c: DUP1 0000063d: REVERT 0000063e: JUMPDEST 0000063f: POP 00000640: PUSH2 0x025e 00000643: PUSH2 0x140e 00000646: JUMP 00000647: JUMPDEST 00000648: CALLVALUE 00000649: DUP1 0000064a: ISZERO 0000064b: PUSH2 0x0653 0000064e: JUMPI 0000064f: PUSH1 0x00 00000651: DUP1 00000652: REVERT 00000653: JUMPDEST 00000654: POP 00000655: PUSH2 0x025e 00000658: PUSH1 0x01 0000065a: PUSH1 0xa0 0000065c: PUSH1 0x02 0000065e: EXP 0000065f: SUB 00000660: PUSH1 0x04 00000662: CALLDATALOAD 00000663: AND 00000664: PUSH2 0x1413 00000667: JUMP 00000668: JUMPDEST 00000669: CALLVALUE 0000066a: DUP1 0000066b: ISZERO 0000066c: PUSH2 0x0674 0000066f: JUMPI 00000670: PUSH1 0x00 00000672: DUP1 00000673: REVERT 00000674: JUMPDEST 00000675: POP 00000676: PUSH2 0x025e 00000679: PUSH2 0x1425 0000067c: JUMP 0000067d: JUMPDEST 0000067e: CALLVALUE 0000067f: DUP1 00000680: ISZERO 00000681: PUSH2 0x0689 00000684: JUMPI 00000685: PUSH1 0x00 00000687: DUP1 00000688: REVERT 00000689: JUMPDEST 0000068a: POP 0000068b: PUSH2 0x025e 0000068e: PUSH2 0x142b 00000691: JUMP 00000692: JUMPDEST 00000693: CALLVALUE 00000694: DUP1 00000695: ISZERO 00000696: PUSH2 0x069e 00000699: JUMPI 0000069a: PUSH1 0x00 0000069c: DUP1 0000069d: REVERT 0000069e: JUMPDEST 0000069f: POP 000006a0: PUSH2 0x02df 000006a3: PUSH1 0x01 000006a5: PUSH1 0xa0 000006a7: PUSH1 0x02 000006a9: EXP 000006aa: SUB 000006ab: PUSH1 0x04 000006ad: CALLDATALOAD 000006ae: AND 000006af: PUSH2 0x1431 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH1 0x02 000006b6: SLOAD 000006b7: DUP2 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH1 0x11 000006bc: SLOAD 000006bd: DUP2 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH1 0x00 000006c2: PUSH2 0x06d2 000006c5: DUP3 000006c6: PUSH1 0x02 000006c8: PUSH4 0xffffffff 000006cd: PUSH2 0x14c6 000006d0: AND 000006d1: JUMP 000006d2: JUMPDEST 000006d3: SWAP3 000006d4: SWAP2 000006d5: POP 000006d6: POP 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH1 0x00 000006db: PUSH2 0x06d2 000006de: PUSH1 0x05 000006e0: PUSH2 0x06f0 000006e3: DUP5 000006e4: PUSH1 0x02 000006e6: PUSH4 0xffffffff 000006eb: PUSH2 0x14ee 000006ee: AND 000006ef: JUMP 000006f0: JUMPDEST 000006f1: SWAP1 000006f2: PUSH4 0xffffffff 000006f7: PUSH2 0x14c6 000006fa: AND 000006fb: JUMP 000006fc: JUMPDEST 000006fd: PUSH3 0x069780 00000701: DUP2 00000702: JUMP 00000703: JUMPDEST 00000704: PUSH1 0x01 00000706: DUP1 00000707: PUSH1 0x03 00000709: SLOAD 0000070a: PUSH1 0xa0 0000070c: PUSH1 0x02 0000070e: EXP 0000070f: SWAP1 00000710: DIV 00000711: PUSH1 0xff 00000713: AND 00000714: PUSH1 0x01 00000716: DUP2 00000717: GT 00000718: ISZERO 00000719: PUSH2 0x071e 0000071c: JUMPI 0000071d: INVALID 0000071e: JUMPDEST 0000071f: EQ 00000720: PUSH2 0x0775 00000723: JUMPI 00000724: PUSH1 0x40 00000726: DUP1 00000727: MLOAD 00000728: PUSH1 0xe5 0000072a: PUSH1 0x02 0000072c: EXP 0000072d: PUSH3 0x461bcd 00000731: MUL 00000732: DUP2 00000733: MSTORE 00000734: PUSH1 0x20 00000736: PUSH1 0x04 00000738: DUP3 00000739: ADD 0000073a: MSTORE 0000073b: PUSH1 0x27 0000073d: PUSH1 0x24 0000073f: DUP3 00000740: ADD 00000741: MSTORE 00000742: PUSH1 0x00 00000744: DUP1 00000745: MLOAD 00000746: PUSH1 0x20 00000748: PUSH2 0x1c7b 0000074b: DUP4 0000074c: CODECOPY 0000074d: DUP2 0000074e: MLOAD 0000074f: SWAP2 00000750: MSTORE 00000751: PUSH1 0x44 00000753: DUP3 00000754: ADD 00000755: MSTORE 00000756: PUSH1 0x00 00000758: DUP1 00000759: MLOAD 0000075a: PUSH1 0x20 0000075c: PUSH2 0x1c9b 0000075f: DUP4 00000760: CODECOPY 00000761: DUP2 00000762: MLOAD 00000763: SWAP2 00000764: MSTORE 00000765: PUSH1 0x64 00000767: DUP3 00000768: ADD 00000769: MSTORE 0000076a: SWAP1 0000076b: MLOAD 0000076c: SWAP1 0000076d: DUP2 0000076e: SWAP1 0000076f: SUB 00000770: PUSH1 0x84 00000772: ADD 00000773: SWAP1 00000774: REVERT 00000775: JUMPDEST 00000776: PUSH2 0x077d 00000779: PUSH2 0x1523 0000077c: JUMP 0000077d: JUMPDEST 0000077e: ISZERO 0000077f: ISZERO 00000780: PUSH2 0x07d3 00000783: JUMPI 00000784: PUSH1 0x40 00000786: DUP1 00000787: MLOAD 00000788: PUSH1 0xe5 0000078a: PUSH1 0x02 0000078c: EXP 0000078d: PUSH3 0x461bcd 00000791: MUL 00000792: DUP2 00000793: MSTORE 00000794: PUSH1 0x20 00000796: PUSH1 0x04 00000798: DUP3 00000799: ADD 0000079a: MSTORE 0000079b: PUSH1 0x13 0000079d: PUSH1 0x24 0000079f: DUP3 000007a0: ADD 000007a1: MSTORE 000007a2: PUSH32 0x526f756e64206d757374206265206f7665722100000000000000000000000000 000007c3: PUSH1 0x44 000007c5: DUP3 000007c6: ADD 000007c7: MSTORE 000007c8: SWAP1 000007c9: MLOAD 000007ca: SWAP1 000007cb: DUP2 000007cc: SWAP1 000007cd: SUB 000007ce: PUSH1 0x64 000007d0: ADD 000007d1: SWAP1 000007d2: REVERT 000007d3: JUMPDEST 000007d4: PUSH2 0x07db 000007d7: PUSH2 0x152c 000007da: JUMP 000007db: JUMPDEST 000007dc: PUSH1 0x10 000007de: SLOAD 000007df: PUSH1 0x40 000007e1: DUP1 000007e2: MLOAD 000007e3: SWAP2 000007e4: DUP3 000007e5: MSTORE 000007e6: MLOAD 000007e7: PUSH32 0x3cf3fa68b629d58f07a4aab1808a70df09365f335635faa68ce0478aee6d8abc 00000808: SWAP2 00000809: DUP2 0000080a: SWAP1 0000080b: SUB 0000080c: PUSH1 0x20 0000080e: ADD 0000080f: SWAP1 00000810: LOG1 00000811: PUSH2 0x0818 00000814: PUSH2 0x158a 00000817: JUMP 00000818: JUMPDEST 00000819: POP 0000081a: JUMP 0000081b: JUMPDEST 0000081c: PUSH2 0xa8c0 0000081f: DUP2 00000820: JUMP 00000821: JUMPDEST 00000822: PUSH1 0x01 00000824: DUP2 00000825: JUMP 00000826: JUMPDEST 00000827: PUSH1 0x06 00000829: SLOAD 0000082a: DUP2 0000082b: JUMP 0000082c: JUMPDEST 0000082d: PUSH1 0x00 0000082f: DUP1 00000830: DUP1 00000831: DUP1 00000832: DUP1 00000833: DUP1 00000834: PUSH1 0x03 00000836: SLOAD 00000837: PUSH1 0xa0 00000839: PUSH1 0x02 0000083b: EXP 0000083c: SWAP1 0000083d: DIV 0000083e: PUSH1 0xff 00000840: AND 00000841: PUSH1 0x01 00000843: DUP2 00000844: GT 00000845: ISZERO 00000846: PUSH2 0x084b 00000849: JUMPI 0000084a: INVALID 0000084b: JUMPDEST 0000084c: EQ 0000084d: PUSH2 0x08a2 00000850: JUMPI 00000851: PUSH1 0x40 00000853: DUP1 00000854: MLOAD 00000855: PUSH1 0xe5 00000857: PUSH1 0x02 00000859: EXP 0000085a: PUSH3 0x461bcd 0000085e: MUL 0000085f: DUP2 00000860: MSTORE 00000861: PUSH1 0x20 00000863: PUSH1 0x04 00000865: DUP3 00000866: ADD 00000867: MSTORE 00000868: PUSH1 0x27 0000086a: PUSH1 0x24 0000086c: DUP3 0000086d: ADD 0000086e: MSTORE 0000086f: PUSH1 0x00 00000871: DUP1 00000872: MLOAD 00000873: PUSH1 0x20 00000875: PUSH2 0x1c7b 00000878: DUP4 00000879: CODECOPY 0000087a: DUP2 0000087b: MLOAD 0000087c: SWAP2 0000087d: MSTORE 0000087e: PUSH1 0x44 00000880: DUP3 00000881: ADD 00000882: MSTORE 00000883: PUSH1 0x00 00000885: DUP1 00000886: MLOAD 00000887: PUSH1 0x20 00000889: PUSH2 0x1c9b 0000088c: DUP4 0000088d: CODECOPY 0000088e: DUP2 0000088f: MLOAD 00000890: SWAP2 00000891: MSTORE 00000892: PUSH1 0x64 00000894: DUP3 00000895: ADD 00000896: MSTORE 00000897: SWAP1 00000898: MLOAD 00000899: SWAP1 0000089a: DUP2 0000089b: SWAP1 0000089c: SUB 0000089d: PUSH1 0x84 0000089f: ADD 000008a0: SWAP1 000008a1: REVERT 000008a2: JUMPDEST 000008a3: PUSH1 0x00 000008a5: SWAP4 000008a6: POP 000008a7: PUSH1 0x0b 000008a9: SLOAD 000008aa: TIMESTAMP 000008ab: GT 000008ac: ISZERO 000008ad: PUSH2 0x08c7 000008b0: JUMPI 000008b1: PUSH1 0x0b 000008b3: SLOAD 000008b4: PUSH2 0x08c4 000008b7: SWAP1 000008b8: TIMESTAMP 000008b9: SWAP1 000008ba: PUSH4 0xffffffff 000008bf: PUSH2 0x1607 000008c2: AND 000008c3: JUMP 000008c4: JUMPDEST 000008c5: SWAP4 000008c6: POP 000008c7: JUMPDEST 000008c8: PUSH3 0x069780 000008cc: DUP5 000008cd: LT 000008ce: PUSH2 0x08e0 000008d1: JUMPI 000008d2: PUSH7 0xb1a2bc2ec50000 000008da: SWAP5 000008db: POP 000008dc: PUSH2 0x0935 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH2 0x08ff 000008e4: PUSH8 0x0de0b6b3a7640000 000008ed: PUSH7 0xb1a2bc2ec50000 000008f5: PUSH4 0xffffffff 000008fa: PUSH2 0x1607 000008fd: AND 000008fe: JUMP 000008ff: JUMPDEST 00000900: SWAP3 00000901: POP 00000902: PUSH2 0x0918 00000905: PUSH3 0x069780 00000909: PUSH2 0x06f0 0000090c: DUP6 0000090d: DUP8 0000090e: PUSH4 0xffffffff 00000913: PUSH2 0x14ee 00000916: AND 00000917: JUMP 00000918: JUMPDEST 00000919: SWAP2 0000091a: POP 0000091b: PUSH2 0x0932 0000091e: PUSH8 0x0de0b6b3a7640000 00000927: DUP4 00000928: PUSH4 0xffffffff 0000092d: PUSH2 0x1607 00000930: AND 00000931: JUMP 00000932: JUMPDEST 00000933: SWAP5 00000934: POP 00000935: JUMPDEST 00000936: POP 00000937: POP 00000938: POP 00000939: POP 0000093a: SWAP1 0000093b: JUMP 0000093c: JUMPDEST 0000093d: PUSH1 0x00 0000093f: PUSH2 0x06d2 00000942: DUP3 00000943: PUSH1 0x14 00000945: PUSH4 0xffffffff 0000094a: PUSH2 0x14c6 0000094d: AND 0000094e: JUMP 0000094f: JUMPDEST 00000950: PUSH8 0x0de0b6b3a7640000 00000959: DUP2 0000095a: JUMP 0000095b: JUMPDEST 0000095c: PUSH1 0x00 0000095e: DUP2 0000095f: ISZERO 00000960: PUSH2 0x0980 00000963: JUMPI 00000964: PUSH2 0x0979 00000967: PUSH1 0x19 00000969: PUSH2 0x06f0 0000096c: DUP6 0000096d: PUSH1 0x03 0000096f: PUSH4 0xffffffff 00000974: PUSH2 0x14ee 00000977: AND 00000978: JUMP 00000979: JUMPDEST 0000097a: SWAP1 0000097b: POP 0000097c: PUSH2 0x06d2 0000097f: JUMP 00000980: JUMPDEST 00000981: PUSH2 0x0979 00000984: PUSH1 0x64 00000986: PUSH2 0x06f0 00000989: DUP6 0000098a: PUSH1 0x11 0000098c: PUSH4 0xffffffff 00000991: PUSH2 0x14ee 00000994: AND 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x00 00000999: DUP1 0000099a: PUSH1 0x01 0000099c: DUP1 0000099d: PUSH1 0x03 0000099f: SLOAD 000009a0: PUSH1 0xa0 000009a2: PUSH1 0x02 000009a4: EXP 000009a5: SWAP1 000009a6: DIV 000009a7: PUSH1 0xff 000009a9: AND 000009aa: PUSH1 0x01 000009ac: DUP2 000009ad: GT 000009ae: ISZERO 000009af: PUSH2 0x09b4 000009b2: JUMPI 000009b3: INVALID 000009b4: JUMPDEST 000009b5: EQ 000009b6: PUSH2 0x0a0b 000009b9: JUMPI 000009ba: PUSH1 0x40 000009bc: DUP1 000009bd: MLOAD 000009be: PUSH1 0xe5 000009c0: PUSH1 0x02 000009c2: EXP 000009c3: PUSH3 0x461bcd 000009c7: MUL 000009c8: DUP2 000009c9: MSTORE 000009ca: PUSH1 0x20 000009cc: PUSH1 0x04 000009ce: DUP3 000009cf: ADD 000009d0: MSTORE 000009d1: PUSH1 0x27 000009d3: PUSH1 0x24 000009d5: DUP3 000009d6: ADD 000009d7: MSTORE 000009d8: PUSH1 0x00 000009da: DUP1 000009db: MLOAD 000009dc: PUSH1 0x20 000009de: PUSH2 0x1c7b 000009e1: DUP4 000009e2: CODECOPY 000009e3: DUP2 000009e4: MLOAD 000009e5: SWAP2 000009e6: MSTORE 000009e7: PUSH1 0x44 000009e9: DUP3 000009ea: ADD 000009eb: MSTORE 000009ec: PUSH1 0x00 000009ee: DUP1 000009ef: MLOAD 000009f0: PUSH1 0x20 000009f2: PUSH2 0x1c9b 000009f5: DUP4 000009f6: CODECOPY 000009f7: DUP2 000009f8: MLOAD 000009f9: SWAP2 000009fa: MSTORE 000009fb: PUSH1 0x64 000009fd: DUP3 000009fe: ADD 000009ff: MSTORE 00000a00: SWAP1 00000a01: MLOAD 00000a02: SWAP1 00000a03: DUP2 00000a04: SWAP1 00000a05: SUB 00000a06: PUSH1 0x84 00000a08: ADD 00000a09: SWAP1 00000a0a: REVERT 00000a0b: JUMPDEST 00000a0c: PUSH2 0x0a13 00000a0f: PUSH2 0x1523 00000a12: JUMP 00000a13: JUMPDEST 00000a14: ISZERO 00000a15: PUSH2 0x0a68 00000a18: JUMPI 00000a19: PUSH1 0x40 00000a1b: DUP1 00000a1c: MLOAD 00000a1d: PUSH1 0xe5 00000a1f: PUSH1 0x02 00000a21: EXP 00000a22: PUSH3 0x461bcd 00000a26: MUL 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x20 00000a2b: PUSH1 0x04 00000a2d: DUP3 00000a2e: ADD 00000a2f: MSTORE 00000a30: PUSH1 0x14 00000a32: PUSH1 0x24 00000a34: DUP3 00000a35: ADD 00000a36: MSTORE 00000a37: PUSH32 0x526f756e642063616e2774206265206f76657221000000000000000000000000 00000a58: PUSH1 0x44 00000a5a: DUP3 00000a5b: ADD 00000a5c: MSTORE 00000a5d: SWAP1 00000a5e: MLOAD 00000a5f: SWAP1 00000a60: DUP2 00000a61: SWAP1 00000a62: SUB 00000a63: PUSH1 0x64 00000a65: ADD 00000a66: SWAP1 00000a67: REVERT 00000a68: JUMPDEST 00000a69: PUSH1 0xff 00000a6b: DUP7 00000a6c: AND 00000a6d: PUSH1 0x00 00000a6f: SWAP1 00000a70: DUP2 00000a71: MSTORE 00000a72: PUSH1 0x04 00000a74: PUSH1 0x20 00000a76: MSTORE 00000a77: PUSH1 0x40 00000a79: SWAP1 00000a7a: KECCAK256 00000a7b: SLOAD 00000a7c: PUSH1 0x01 00000a7e: PUSH1 0xa0 00000a80: PUSH1 0x02 00000a82: EXP 00000a83: SUB 00000a84: AND 00000a85: CALLER 00000a86: EQ 00000a87: PUSH2 0x0b00 00000a8a: JUMPI 00000a8b: PUSH1 0x40 00000a8d: DUP1 00000a8e: MLOAD 00000a8f: PUSH1 0xe5 00000a91: PUSH1 0x02 00000a93: EXP 00000a94: PUSH3 0x461bcd 00000a98: MUL 00000a99: DUP2 00000a9a: MSTORE 00000a9b: PUSH1 0x20 00000a9d: PUSH1 0x04 00000a9f: DUP3 00000aa0: ADD 00000aa1: MSTORE 00000aa2: PUSH1 0x2e 00000aa4: PUSH1 0x24 00000aa6: DUP3 00000aa7: ADD 00000aa8: MSTORE 00000aa9: PUSH32 0x43616e2774207365742074696c6520707269636520666f7220612074696c6520 00000aca: PUSH1 0x44 00000acc: DUP3 00000acd: ADD 00000ace: MSTORE 00000acf: PUSH32 0x796f7520646f6e2774206f776e21000000000000000000000000000000000000 00000af0: PUSH1 0x64 00000af2: DUP3 00000af3: ADD 00000af4: MSTORE 00000af5: SWAP1 00000af6: MLOAD 00000af7: SWAP1 00000af8: DUP2 00000af9: SWAP1 00000afa: SUB 00000afb: PUSH1 0x84 00000afd: ADD 00000afe: SWAP1 00000aff: REVERT 00000b00: JUMPDEST 00000b01: PUSH2 0x0b09 00000b04: DUP6 00000b05: PUSH2 0x12a7 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: SWAP3 00000b0b: POP 00000b0c: CALLVALUE 00000b0d: DUP4 00000b0e: GT 00000b0f: ISZERO 00000b10: PUSH2 0x0b63 00000b13: JUMPI 00000b14: PUSH1 0x40 00000b16: DUP1 00000b17: MLOAD 00000b18: PUSH1 0xe5 00000b1a: PUSH1 0x02 00000b1c: EXP 00000b1d: PUSH3 0x461bcd 00000b21: MUL 00000b22: DUP2 00000b23: MSTORE 00000b24: PUSH1 0x20 00000b26: PUSH1 0x04 00000b28: DUP3 00000b29: ADD 00000b2a: MSTORE 00000b2b: PUSH1 0x1f 00000b2d: PUSH1 0x24 00000b2f: DUP3 00000b30: ADD 00000b31: MSTORE 00000b32: PUSH32 0x4d7573742070617920746178206f6e206e65772074696c652070726963652100 00000b53: PUSH1 0x44 00000b55: DUP3 00000b56: ADD 00000b57: MSTORE 00000b58: SWAP1 00000b59: MLOAD 00000b5a: SWAP1 00000b5b: DUP2 00000b5c: SWAP1 00000b5d: SUB 00000b5e: PUSH1 0x64 00000b60: ADD 00000b61: SWAP1 00000b62: REVERT 00000b63: JUMPDEST 00000b64: PUSH1 0xff 00000b66: DUP7 00000b67: AND 00000b68: PUSH1 0x00 00000b6a: SWAP1 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x05 00000b6f: PUSH1 0x20 00000b71: MSTORE 00000b72: PUSH1 0x40 00000b74: SWAP1 00000b75: KECCAK256 00000b76: SLOAD 00000b77: SWAP2 00000b78: POP 00000b79: PUSH2 0x0b82 00000b7c: CALLVALUE 00000b7d: DUP6 00000b7e: PUSH2 0x161e 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH2 0x0b8c 00000b86: DUP7 00000b87: DUP7 00000b88: PUSH2 0x168b 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH2 0x0b94 00000b90: PUSH2 0x16d0 00000b93: JUMP 00000b94: JUMPDEST 00000b95: PUSH2 0x0b9d 00000b98: CALLVALUE 00000b99: PUSH2 0x1730 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH1 0xff 00000ba0: DUP7 00000ba1: AND 00000ba2: PUSH1 0x00 00000ba4: DUP2 00000ba5: DUP2 00000ba6: MSTORE 00000ba7: PUSH1 0x04 00000ba9: PUSH1 0x20 00000bab: SWAP1 00000bac: DUP2 00000bad: MSTORE 00000bae: PUSH1 0x40 00000bb0: SWAP2 00000bb1: DUP3 00000bb2: SWAP1 00000bb3: KECCAK256 00000bb4: SLOAD 00000bb5: DUP3 00000bb6: MLOAD 00000bb7: DUP7 00000bb8: DUP2 00000bb9: MSTORE 00000bba: SWAP2 00000bbb: DUP3 00000bbc: ADD 00000bbd: DUP10 00000bbe: SWAP1 00000bbf: MSTORE 00000bc0: DUP3 00000bc1: MLOAD 00000bc2: PUSH1 0x01 00000bc4: PUSH1 0xa0 00000bc6: PUSH1 0x02 00000bc8: EXP 00000bc9: SUB 00000bca: SWAP1 00000bcb: SWAP2 00000bcc: AND 00000bcd: SWAP4 00000bce: SWAP3 00000bcf: PUSH32 0x6c8ddfd61cb90c6918b2dfdf677c44fc270fcb4b7dfa22b0665fbd1976832fca 00000bf0: SWAP3 00000bf1: DUP3 00000bf2: SWAP1 00000bf3: SUB 00000bf4: ADD 00000bf5: SWAP1 00000bf6: LOG3 00000bf7: POP 00000bf8: POP 00000bf9: POP 00000bfa: POP 00000bfb: POP 00000bfc: POP 00000bfd: JUMP 00000bfe: JUMPDEST 00000bff: PUSH7 0xb1a2bc2ec50000 00000c07: DUP2 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x0c 00000c0c: SLOAD 00000c0d: DUP2 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: PUSH8 0x8ac7230489e80000 00000c19: DUP2 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: PUSH1 0x05 00000c1e: PUSH1 0x20 00000c20: MSTORE 00000c21: PUSH1 0x00 00000c23: SWAP1 00000c24: DUP2 00000c25: MSTORE 00000c26: PUSH1 0x40 00000c28: SWAP1 00000c29: KECCAK256 00000c2a: SLOAD 00000c2b: DUP2 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: CALLER 00000c2f: PUSH1 0x00 00000c31: DUP2 00000c32: DUP2 00000c33: MSTORE 00000c34: PUSH1 0x01 00000c36: PUSH1 0x20 00000c38: MSTORE 00000c39: PUSH1 0x40 00000c3b: SWAP1 00000c3c: KECCAK256 00000c3d: SLOAD 00000c3e: DUP1 00000c3f: ISZERO 00000c40: ISZERO 00000c41: PUSH2 0x0c49 00000c44: JUMPI 00000c45: PUSH1 0x00 00000c47: DUP1 00000c48: REVERT 00000c49: JUMPDEST 00000c4a: ADDRESS 00000c4b: BALANCE 00000c4c: DUP2 00000c4d: GT 00000c4e: ISZERO 00000c4f: PUSH2 0x0c57 00000c52: JUMPI 00000c53: PUSH1 0x00 00000c55: DUP1 00000c56: REVERT 00000c57: JUMPDEST 00000c58: PUSH1 0x02 00000c5a: SLOAD 00000c5b: PUSH2 0x0c6a 00000c5e: SWAP1 00000c5f: DUP3 00000c60: PUSH4 0xffffffff 00000c65: PUSH2 0x1607 00000c68: AND 00000c69: JUMP 00000c6a: JUMPDEST 00000c6b: PUSH1 0x02 00000c6d: SSTORE 00000c6e: PUSH1 0x01 00000c70: PUSH1 0xa0 00000c72: PUSH1 0x02 00000c74: EXP 00000c75: SUB 00000c76: DUP3 00000c77: AND 00000c78: PUSH1 0x00 00000c7a: DUP2 00000c7b: DUP2 00000c7c: MSTORE 00000c7d: PUSH1 0x01 00000c7f: PUSH1 0x20 00000c81: MSTORE 00000c82: PUSH1 0x40 00000c84: DUP1 00000c85: DUP3 00000c86: KECCAK256 00000c87: DUP3 00000c88: SWAP1 00000c89: SSTORE 00000c8a: MLOAD 00000c8b: DUP4 00000c8c: ISZERO 00000c8d: PUSH2 0x08fc 00000c90: MUL 00000c91: SWAP2 00000c92: DUP5 00000c93: SWAP2 00000c94: SWAP1 00000c95: DUP2 00000c96: DUP2 00000c97: DUP2 00000c98: DUP6 00000c99: DUP9 00000c9a: DUP9 00000c9b: CALL 00000c9c: SWAP4 00000c9d: POP 00000c9e: POP 00000c9f: POP 00000ca0: POP 00000ca1: ISZERO 00000ca2: DUP1 00000ca3: ISZERO 00000ca4: PUSH2 0x0cb1 00000ca7: JUMPI 00000ca8: RETURNDATASIZE 00000ca9: PUSH1 0x00 00000cab: DUP1 00000cac: RETURNDATACOPY 00000cad: RETURNDATASIZE 00000cae: PUSH1 0x00 00000cb0: REVERT 00000cb1: JUMPDEST 00000cb2: POP 00000cb3: POP 00000cb4: POP 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: PUSH1 0x04 00000cb9: PUSH1 0x20 00000cbb: MSTORE 00000cbc: PUSH1 0x00 00000cbe: SWAP1 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x40 00000cc3: SWAP1 00000cc4: KECCAK256 00000cc5: SLOAD 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0xa0 00000cca: PUSH1 0x02 00000ccc: EXP 00000ccd: SUB 00000cce: AND 00000ccf: DUP2 00000cd0: JUMP 00000cd1: JUMPDEST 00000cd2: PUSH1 0x00 00000cd4: DUP1 00000cd5: DUP1 00000cd6: DUP1 00000cd7: PUSH1 0x03 00000cd9: SLOAD 00000cda: PUSH1 0xa0 00000cdc: PUSH1 0x02 00000cde: EXP 00000cdf: SWAP1 00000ce0: DIV 00000ce1: PUSH1 0xff 00000ce3: AND 00000ce4: PUSH1 0x01 00000ce6: DUP2 00000ce7: GT 00000ce8: ISZERO 00000ce9: PUSH2 0x0cee 00000cec: JUMPI 00000ced: INVALID 00000cee: JUMPDEST 00000cef: EQ 00000cf0: PUSH2 0x0d45 00000cf3: JUMPI 00000cf4: PUSH1 0x40 00000cf6: DUP1 00000cf7: MLOAD 00000cf8: PUSH1 0xe5 00000cfa: PUSH1 0x02 00000cfc: EXP 00000cfd: PUSH3 0x461bcd 00000d01: MUL 00000d02: DUP2 00000d03: MSTORE 00000d04: PUSH1 0x20 00000d06: PUSH1 0x04 00000d08: DUP3 00000d09: ADD 00000d0a: MSTORE 00000d0b: PUSH1 0x27 00000d0d: PUSH1 0x24 00000d0f: DUP3 00000d10: ADD 00000d11: MSTORE 00000d12: PUSH1 0x00 00000d14: DUP1 00000d15: MLOAD 00000d16: PUSH1 0x20 00000d18: PUSH2 0x1c7b 00000d1b: DUP4 00000d1c: CODECOPY 00000d1d: DUP2 00000d1e: MLOAD 00000d1f: SWAP2 00000d20: MSTORE 00000d21: PUSH1 0x44 00000d23: DUP3 00000d24: ADD 00000d25: MSTORE 00000d26: PUSH1 0x00 00000d28: DUP1 00000d29: MLOAD 00000d2a: PUSH1 0x20 00000d2c: PUSH2 0x1c9b 00000d2f: DUP4 00000d30: CODECOPY 00000d31: DUP2 00000d32: MLOAD 00000d33: SWAP2 00000d34: MSTORE 00000d35: PUSH1 0x64 00000d37: DUP3 00000d38: ADD 00000d39: MSTORE 00000d3a: SWAP1 00000d3b: MLOAD 00000d3c: SWAP1 00000d3d: DUP2 00000d3e: SWAP1 00000d3f: SUB 00000d40: PUSH1 0x84 00000d42: ADD 00000d43: SWAP1 00000d44: REVERT 00000d45: JUMPDEST 00000d46: PUSH1 0xff 00000d48: DUP7 00000d49: AND 00000d4a: PUSH1 0x00 00000d4c: SWAP1 00000d4d: DUP2 00000d4e: MSTORE 00000d4f: PUSH1 0x04 00000d51: PUSH1 0x20 00000d53: MSTORE 00000d54: PUSH1 0x40 00000d56: SWAP1 00000d57: KECCAK256 00000d58: SLOAD 00000d59: PUSH1 0x01 00000d5b: PUSH1 0xa0 00000d5d: PUSH1 0x02 00000d5f: EXP 00000d60: SUB 00000d61: AND 00000d62: ISZERO 00000d63: DUP1 00000d64: ISZERO 00000d65: PUSH2 0x0d7e 00000d68: JUMPI 00000d69: POP 00000d6a: PUSH1 0xff 00000d6c: DUP7 00000d6d: AND 00000d6e: PUSH1 0x00 00000d70: SWAP1 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x05 00000d75: PUSH1 0x20 00000d77: MSTORE 00000d78: PUSH1 0x40 00000d7a: SWAP1 00000d7b: KECCAK256 00000d7c: SLOAD 00000d7d: ISZERO 00000d7e: JUMPDEST 00000d7f: ISZERO 00000d80: ISZERO 00000d81: PUSH2 0x0dfa 00000d84: JUMPI 00000d85: PUSH1 0x40 00000d87: DUP1 00000d88: MLOAD 00000d89: PUSH1 0xe5 00000d8b: PUSH1 0x02 00000d8d: EXP 00000d8e: PUSH3 0x461bcd 00000d92: MUL 00000d93: DUP2 00000d94: MSTORE 00000d95: PUSH1 0x20 00000d97: PUSH1 0x04 00000d99: DUP3 00000d9a: ADD 00000d9b: MSTORE 00000d9c: PUSH1 0x32 00000d9e: PUSH1 0x24 00000da0: DUP3 00000da1: ADD 00000da2: MSTORE 00000da3: PUSH32 0x43616e27742062757920612074696c652074686174277320616c726561647920 00000dc4: PUSH1 0x44 00000dc6: DUP3 00000dc7: ADD 00000dc8: MSTORE 00000dc9: PUSH32 0x6265656e2061756374696f6e6564206f66660000000000000000000000000000 00000dea: PUSH1 0x64 00000dec: DUP3 00000ded: ADD 00000dee: MSTORE 00000def: SWAP1 00000df0: MLOAD 00000df1: SWAP1 00000df2: DUP2 00000df3: SWAP1 00000df4: SUB 00000df5: PUSH1 0x84 00000df7: ADD 00000df8: SWAP1 00000df9: REVERT 00000dfa: JUMPDEST 00000dfb: PUSH2 0x0e03 00000dfe: DUP6 00000dff: PUSH2 0x12a7 00000e02: JUMP 00000e03: JUMPDEST 00000e04: SWAP3 00000e05: POP 00000e06: PUSH2 0x0e0d 00000e09: PUSH2 0x082c 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: SWAP2 00000e0f: POP 00000e10: PUSH2 0x0e1f 00000e13: DUP4 00000e14: DUP4 00000e15: PUSH4 0xffffffff 00000e1a: PUSH2 0x1788 00000e1d: AND 00000e1e: JUMP 00000e1f: JUMPDEST 00000e20: CALLVALUE 00000e21: LT 00000e22: ISZERO 00000e23: PUSH2 0x0e9c 00000e26: JUMPI 00000e27: PUSH1 0x40 00000e29: DUP1 00000e2a: MLOAD 00000e2b: PUSH1 0xe5 00000e2d: PUSH1 0x02 00000e2f: EXP 00000e30: PUSH3 0x461bcd 00000e34: MUL 00000e35: DUP2 00000e36: MSTORE 00000e37: PUSH1 0x20 00000e39: PUSH1 0x04 00000e3b: DUP3 00000e3c: ADD 00000e3d: MSTORE 00000e3e: PUSH1 0x35 00000e40: PUSH1 0x24 00000e42: DUP3 00000e43: ADD 00000e44: MSTORE 00000e45: PUSH32 0x4d75737420706179207468652066756c6c20707269636520616e642074617820 00000e66: PUSH1 0x44 00000e68: DUP3 00000e69: ADD 00000e6a: MSTORE 00000e6b: PUSH32 0x666f7220612074696c65206f6e2061756374696f6e0000000000000000000000 00000e8c: PUSH1 0x64 00000e8e: DUP3 00000e8f: ADD 00000e90: MSTORE 00000e91: SWAP1 00000e92: MLOAD 00000e93: SWAP1 00000e94: DUP2 00000e95: SWAP1 00000e96: SUB 00000e97: PUSH1 0x84 00000e99: ADD 00000e9a: SWAP1 00000e9b: REVERT 00000e9c: JUMPDEST 00000e9d: PUSH2 0x0ea6 00000ea0: CALLVALUE 00000ea1: DUP6 00000ea2: PUSH2 0x179a 00000ea5: JUMP 00000ea6: JUMPDEST 00000ea7: PUSH1 0xff 00000ea9: DUP7 00000eaa: AND 00000eab: PUSH1 0x00 00000ead: SWAP1 00000eae: DUP2 00000eaf: MSTORE 00000eb0: PUSH1 0x04 00000eb2: PUSH1 0x20 00000eb4: MSTORE 00000eb5: PUSH1 0x40 00000eb7: SWAP1 00000eb8: KECCAK256 00000eb9: DUP1 00000eba: SLOAD 00000ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed0: NOT 00000ed1: AND 00000ed2: CALLER 00000ed3: OR 00000ed4: SWAP1 00000ed5: SSTORE 00000ed6: PUSH2 0x0edf 00000ed9: DUP7 00000eda: DUP7 00000edb: PUSH2 0x168b 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: PUSH1 0x0a 00000ee2: SLOAD 00000ee3: PUSH2 0x0ef3 00000ee6: SWAP1 00000ee7: PUSH1 0x01 00000ee9: PUSH4 0xffffffff 00000eee: PUSH2 0x1788 00000ef1: AND 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: PUSH1 0x0a 00000ef6: SSTORE 00000ef7: PUSH1 0x40 00000ef9: DUP1 00000efa: MLOAD 00000efb: DUP4 00000efc: DUP2 00000efd: MSTORE 00000efe: PUSH1 0x20 00000f00: DUP2 00000f01: ADD 00000f02: DUP8 00000f03: SWAP1 00000f04: MSTORE 00000f05: DUP2 00000f06: MLOAD 00000f07: CALLER 00000f08: SWAP3 00000f09: PUSH1 0x00 00000f0b: SWAP3 00000f0c: PUSH1 0xff 00000f0e: DUP12 00000f0f: AND 00000f10: SWAP3 00000f11: PUSH32 0x7a60be58ea0cf4cbccda877e1d59dc979442a2a3cc294136d1b7a325e366f34d 00000f32: SWAP3 00000f33: SWAP2 00000f34: DUP2 00000f35: SWAP1 00000f36: SUB 00000f37: SWAP1 00000f38: SWAP2 00000f39: ADD 00000f3a: SWAP1 00000f3b: LOG4 00000f3c: PUSH1 0x0a 00000f3e: SLOAD 00000f3f: PUSH1 0x13 00000f41: GT 00000f42: PUSH2 0x0f4d 00000f45: JUMPI 00000f46: PUSH2 0x0f4d 00000f49: PUSH2 0x1805 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: POP 00000f4f: POP 00000f50: POP 00000f51: POP 00000f52: POP 00000f53: POP 00000f54: JUMP 00000f55: JUMPDEST 00000f56: PUSH1 0x10 00000f58: SLOAD 00000f59: DUP2 00000f5a: JUMP 00000f5b: JUMPDEST 00000f5c: PUSH1 0x00 00000f5e: PUSH2 0x06d2 00000f61: PUSH1 0x32 00000f63: PUSH2 0x06f0 00000f66: DUP5 00000f67: PUSH1 0x13 00000f69: PUSH4 0xffffffff 00000f6e: PUSH2 0x14ee 00000f71: AND 00000f72: JUMP 00000f73: JUMPDEST 00000f74: PUSH1 0x0a 00000f76: SLOAD 00000f77: DUP2 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x00 00000f7c: DUP1 00000f7d: DUP1 00000f7e: DUP1 00000f7f: PUSH1 0x01 00000f81: DUP1 00000f82: PUSH1 0x03 00000f84: SLOAD 00000f85: PUSH1 0xa0 00000f87: PUSH1 0x02 00000f89: EXP 00000f8a: SWAP1 00000f8b: DIV 00000f8c: PUSH1 0xff 00000f8e: AND 00000f8f: PUSH1 0x01 00000f91: DUP2 00000f92: GT 00000f93: ISZERO 00000f94: PUSH2 0x0f99 00000f97: JUMPI 00000f98: INVALID 00000f99: JUMPDEST 00000f9a: EQ 00000f9b: PUSH2 0x0ff0 00000f9e: JUMPI 00000f9f: PUSH1 0x40 00000fa1: DUP1 00000fa2: MLOAD 00000fa3: PUSH1 0xe5 00000fa5: PUSH1 0x02 00000fa7: EXP 00000fa8: PUSH3 0x461bcd 00000fac: MUL 00000fad: DUP2 00000fae: MSTORE 00000faf: PUSH1 0x20 00000fb1: PUSH1 0x04 00000fb3: DUP3 00000fb4: ADD 00000fb5: MSTORE 00000fb6: PUSH1 0x27 00000fb8: PUSH1 0x24 00000fba: DUP3 00000fbb: ADD 00000fbc: MSTORE 00000fbd: PUSH1 0x00 00000fbf: DUP1 00000fc0: MLOAD 00000fc1: PUSH1 0x20 00000fc3: PUSH2 0x1c7b 00000fc6: DUP4 00000fc7: CODECOPY 00000fc8: DUP2 00000fc9: MLOAD 00000fca: SWAP2 00000fcb: MSTORE 00000fcc: PUSH1 0x44 00000fce: DUP3 00000fcf: ADD 00000fd0: MSTORE 00000fd1: PUSH1 0x00 00000fd3: DUP1 00000fd4: MLOAD 00000fd5: PUSH1 0x20 00000fd7: PUSH2 0x1c9b 00000fda: DUP4 00000fdb: CODECOPY 00000fdc: DUP2 00000fdd: MLOAD 00000fde: SWAP2 00000fdf: MSTORE 00000fe0: PUSH1 0x64 00000fe2: DUP3 00000fe3: ADD 00000fe4: MSTORE 00000fe5: SWAP1 00000fe6: MLOAD 00000fe7: SWAP1 00000fe8: DUP2 00000fe9: SWAP1 00000fea: SUB 00000feb: PUSH1 0x84 00000fed: ADD 00000fee: SWAP1 00000fef: REVERT 00000ff0: JUMPDEST 00000ff1: PUSH2 0x0ff8 00000ff4: PUSH2 0x1523 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: ISZERO 00000ffa: PUSH2 0x104d 00000ffd: JUMPI 00000ffe: PUSH1 0x40 00001000: DUP1 00001001: MLOAD 00001002: PUSH1 0xe5 00001004: PUSH1 0x02 00001006: EXP 00001007: PUSH3 0x461bcd 0000100b: MUL 0000100c: DUP2 0000100d: MSTORE 0000100e: PUSH1 0x20 00001010: PUSH1 0x04 00001012: DUP3 00001013: ADD 00001014: MSTORE 00001015: PUSH1 0x14 00001017: PUSH1 0x24 00001019: DUP3 0000101a: ADD 0000101b: MSTORE 0000101c: PUSH32 0x526f756e642063616e2774206265206f76657221000000000000000000000000 0000103d: PUSH1 0x44 0000103f: DUP3 00001040: ADD 00001041: MSTORE 00001042: SWAP1 00001043: MLOAD 00001044: SWAP1 00001045: DUP2 00001046: SWAP1 00001047: SUB 00001048: PUSH1 0x64 0000104a: ADD 0000104b: SWAP1 0000104c: REVERT 0000104d: JUMPDEST 0000104e: PUSH1 0xff 00001050: DUP9 00001051: AND 00001052: PUSH1 0x00 00001054: SWAP1 00001055: DUP2 00001056: MSTORE 00001057: PUSH1 0x04 00001059: PUSH1 0x20 0000105b: MSTORE 0000105c: PUSH1 0x40 0000105e: SWAP1 0000105f: KECCAK256 00001060: SLOAD 00001061: PUSH1 0x01 00001063: PUSH1 0xa0 00001065: PUSH1 0x02 00001067: EXP 00001068: SUB 00001069: AND 0000106a: SWAP5 0000106b: POP 0000106c: CALLER 0000106d: DUP6 0000106e: EQ 0000106f: ISZERO 00001070: PUSH2 0x10c3 00001073: JUMPI 00001074: PUSH1 0x40 00001076: DUP1 00001077: MLOAD 00001078: PUSH1 0xe5 0000107a: PUSH1 0x02 0000107c: EXP 0000107d: PUSH3 0x461bcd 00001081: MUL 00001082: DUP2 00001083: MSTORE 00001084: PUSH1 0x20 00001086: PUSH1 0x04 00001088: DUP3 00001089: ADD 0000108a: DUP2 0000108b: SWAP1 0000108c: MSTORE 0000108d: PUSH1 0x24 0000108f: DUP3 00001090: ADD 00001091: MSTORE 00001092: PUSH32 0x43616e27742062757920612074696c6520796f7520616c7265616479206f776e 000010b3: PUSH1 0x44 000010b5: DUP3 000010b6: ADD 000010b7: MSTORE 000010b8: SWAP1 000010b9: MLOAD 000010ba: SWAP1 000010bb: DUP2 000010bc: SWAP1 000010bd: SUB 000010be: PUSH1 0x64 000010c0: ADD 000010c1: SWAP1 000010c2: REVERT 000010c3: JUMPDEST 000010c4: PUSH2 0x10cc 000010c7: DUP8 000010c8: PUSH2 0x12a7 000010cb: JUMP 000010cc: JUMPDEST 000010cd: PUSH1 0xff 000010cf: DUP10 000010d0: AND 000010d1: PUSH1 0x00 000010d3: SWAP1 000010d4: DUP2 000010d5: MSTORE 000010d6: PUSH1 0x05 000010d8: PUSH1 0x20 000010da: MSTORE 000010db: PUSH1 0x40 000010dd: SWAP1 000010de: KECCAK256 000010df: SLOAD 000010e0: SWAP1 000010e1: SWAP5 000010e2: POP 000010e3: SWAP3 000010e4: POP 000010e5: PUSH2 0x10f4 000010e8: DUP5 000010e9: DUP5 000010ea: PUSH4 0xffffffff 000010ef: PUSH2 0x1788 000010f2: AND 000010f3: JUMP 000010f4: JUMPDEST 000010f5: CALLVALUE 000010f6: LT 000010f7: ISZERO 000010f8: PUSH2 0x1170 000010fb: JUMPI 000010fc: PUSH1 0x40 000010fe: DUP1 000010ff: MLOAD 00001100: PUSH1 0xe5 00001102: PUSH1 0x02 00001104: EXP 00001105: PUSH3 0x461bcd 00001109: MUL 0000110a: DUP2 0000110b: MSTORE 0000110c: PUSH1 0x20 0000110e: PUSH1 0x04 00001110: DUP3 00001111: ADD 00001112: MSTORE 00001113: PUSH1 0x24 00001115: DUP1 00001116: DUP3 00001117: ADD 00001118: MSTORE 00001119: PUSH32 0x4d757374207061792066756c6c20707269636520616e642074617820666f7220 0000113a: PUSH1 0x44 0000113c: DUP3 0000113d: ADD 0000113e: MSTORE 0000113f: PUSH32 0x74696c6500000000000000000000000000000000000000000000000000000000 00001160: PUSH1 0x64 00001162: DUP3 00001163: ADD 00001164: MSTORE 00001165: SWAP1 00001166: MLOAD 00001167: SWAP1 00001168: DUP2 00001169: SWAP1 0000116a: SUB 0000116b: PUSH1 0x84 0000116d: ADD 0000116e: SWAP1 0000116f: REVERT 00001170: JUMPDEST 00001171: PUSH1 0xff 00001173: DUP9 00001174: AND 00001175: PUSH1 0x00 00001177: SWAP1 00001178: DUP2 00001179: MSTORE 0000117a: PUSH1 0x05 0000117c: PUSH1 0x20 0000117e: MSTORE 0000117f: PUSH1 0x40 00001181: SWAP1 00001182: KECCAK256 00001183: SLOAD 00001184: PUSH2 0x118e 00001187: SWAP1 00001188: DUP7 00001189: SWAP1 0000118a: PUSH2 0x18e7 0000118d: JUMP 0000118e: JUMPDEST 0000118f: PUSH1 0xff 00001191: DUP9 00001192: AND 00001193: PUSH1 0x00 00001195: SWAP1 00001196: DUP2 00001197: MSTORE 00001198: PUSH1 0x04 0000119a: PUSH1 0x20 0000119c: MSTORE 0000119d: PUSH1 0x40 0000119f: SWAP1 000011a0: KECCAK256 000011a1: DUP1 000011a2: SLOAD 000011a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b8: NOT 000011b9: AND 000011ba: CALLER 000011bb: OR 000011bc: SWAP1 000011bd: SSTORE 000011be: PUSH2 0x11cd 000011c1: CALLVALUE 000011c2: DUP5 000011c3: PUSH4 0xffffffff 000011c8: PUSH2 0x1607 000011cb: AND 000011cc: JUMP 000011cd: JUMPDEST 000011ce: SWAP2 000011cf: POP 000011d0: PUSH2 0x11d9 000011d3: DUP3 000011d4: DUP8 000011d5: PUSH2 0x161e 000011d8: JUMP 000011d9: JUMPDEST 000011da: PUSH2 0x11e3 000011dd: DUP9 000011de: DUP9 000011df: PUSH2 0x168b 000011e2: JUMP 000011e3: JUMPDEST 000011e4: PUSH2 0x11eb 000011e7: PUSH2 0x16d0 000011ea: JUMP 000011eb: JUMPDEST 000011ec: PUSH2 0x11f4 000011ef: CALLVALUE 000011f0: PUSH2 0x1730 000011f3: JUMP 000011f4: JUMPDEST 000011f5: PUSH1 0x40 000011f7: DUP1 000011f8: MLOAD 000011f9: DUP5 000011fa: DUP2 000011fb: MSTORE 000011fc: PUSH1 0x20 000011fe: DUP2 000011ff: ADD 00001200: DUP10 00001201: SWAP1 00001202: MSTORE 00001203: DUP2 00001204: MLOAD 00001205: CALLER 00001206: SWAP3 00001207: PUSH1 0x01 00001209: PUSH1 0xa0 0000120b: PUSH1 0x02 0000120d: EXP 0000120e: SUB 0000120f: DUP10 00001210: AND 00001211: SWAP3 00001212: PUSH1 0xff 00001214: DUP14 00001215: AND 00001216: SWAP3 00001217: PUSH32 0x7a60be58ea0cf4cbccda877e1d59dc979442a2a3cc294136d1b7a325e366f34d 00001238: SWAP3 00001239: SWAP2 0000123a: DUP2 0000123b: SWAP1 0000123c: SUB 0000123d: SWAP1 0000123e: SWAP2 0000123f: ADD 00001240: SWAP1 00001241: LOG4 00001242: POP 00001243: POP 00001244: POP 00001245: POP 00001246: POP 00001247: POP 00001248: POP 00001249: POP 0000124a: JUMP 0000124b: JUMPDEST 0000124c: PUSH1 0x08 0000124e: SLOAD 0000124f: PUSH1 0x01 00001251: PUSH1 0xa0 00001253: PUSH1 0x02 00001255: EXP 00001256: SUB 00001257: AND 00001258: DUP2 00001259: JUMP 0000125a: JUMPDEST 0000125b: PUSH1 0x0d 0000125d: SLOAD 0000125e: DUP2 0000125f: JUMP 00001260: JUMPDEST 00001261: PUSH1 0x03 00001263: SLOAD 00001264: PUSH1 0x01 00001266: PUSH1 0xa0 00001268: PUSH1 0x02 0000126a: EXP 0000126b: SUB 0000126c: AND 0000126d: DUP2 0000126e: JUMP 0000126f: JUMPDEST 00001270: PUSH1 0x00 00001272: PUSH1 0x20 00001274: MSTORE 00001275: DUP2 00001276: PUSH1 0x00 00001278: MSTORE 00001279: PUSH1 0x40 0000127b: PUSH1 0x00 0000127d: KECCAK256 0000127e: DUP2 0000127f: PUSH1 0x06 00001281: DUP2 00001282: LT 00001283: ISZERO 00001284: ISZERO 00001285: PUSH2 0x128a 00001288: JUMPI 00001289: INVALID 0000128a: JUMPDEST 0000128b: PUSH1 0x20 0000128d: DUP2 0000128e: DIV 0000128f: SWAP1 00001290: SWAP2 00001291: ADD 00001292: SLOAD 00001293: PUSH1 0xff 00001295: PUSH1 0x1f 00001297: SWAP1 00001298: SWAP3 00001299: AND 0000129a: PUSH2 0x0100 0000129d: EXP 0000129e: SWAP1 0000129f: DIV 000012a0: AND 000012a1: SWAP2 000012a2: POP 000012a3: DUP3 000012a4: SWAP1 000012a5: POP 000012a6: JUMP 000012a7: JUMPDEST 000012a8: PUSH1 0x00 000012aa: PUSH2 0x06d2 000012ad: DUP3 000012ae: PUSH1 0x0a 000012b0: PUSH4 0xffffffff 000012b5: PUSH2 0x14c6 000012b8: AND 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH1 0x00 000012bd: DUP2 000012be: ISZERO 000012bf: PUSH2 0x12d3 000012c2: JUMPI 000012c3: PUSH2 0x0979 000012c6: DUP4 000012c7: PUSH1 0x14 000012c9: PUSH4 0xffffffff 000012ce: PUSH2 0x14c6 000012d1: AND 000012d2: JUMP 000012d3: JUMPDEST 000012d4: POP 000012d5: PUSH1 0x00 000012d7: PUSH2 0x06d2 000012da: JUMP 000012db: JUMPDEST 000012dc: PUSH1 0x00 000012de: DUP2 000012df: JUMP 000012e0: JUMPDEST 000012e1: PUSH1 0x00 000012e3: PUSH1 0x01 000012e5: DUP1 000012e6: PUSH1 0x03 000012e8: SLOAD 000012e9: PUSH1 0xa0 000012eb: PUSH1 0x02 000012ed: EXP 000012ee: SWAP1 000012ef: DIV 000012f0: PUSH1 0xff 000012f2: AND 000012f3: PUSH1 0x01 000012f5: DUP2 000012f6: GT 000012f7: ISZERO 000012f8: PUSH2 0x12fd 000012fb: JUMPI 000012fc: INVALID 000012fd: JUMPDEST 000012fe: EQ 000012ff: PUSH2 0x1354 00001302: JUMPI 00001303: PUSH1 0x40 00001305: DUP1 00001306: MLOAD 00001307: PUSH1 0xe5 00001309: PUSH1 0x02 0000130b: EXP 0000130c: PUSH3 0x461bcd 00001310: MUL 00001311: DUP2 00001312: MSTORE 00001313: PUSH1 0x20 00001315: PUSH1 0x04 00001317: DUP3 00001318: ADD 00001319: MSTORE 0000131a: PUSH1 0x27 0000131c: PUSH1 0x24 0000131e: DUP3 0000131f: ADD 00001320: MSTORE 00001321: PUSH1 0x00 00001323: DUP1 00001324: MLOAD 00001325: PUSH1 0x20 00001327: PUSH2 0x1c7b 0000132a: DUP4 0000132b: CODECOPY 0000132c: DUP2 0000132d: MLOAD 0000132e: SWAP2 0000132f: MSTORE 00001330: PUSH1 0x44 00001332: DUP3 00001333: ADD 00001334: MSTORE 00001335: PUSH1 0x00 00001337: DUP1 00001338: MLOAD 00001339: PUSH1 0x20 0000133b: PUSH2 0x1c9b 0000133e: DUP4 0000133f: CODECOPY 00001340: DUP2 00001341: MLOAD 00001342: SWAP2 00001343: MSTORE 00001344: PUSH1 0x64 00001346: DUP3 00001347: ADD 00001348: MSTORE 00001349: SWAP1 0000134a: MLOAD 0000134b: SWAP1 0000134c: DUP2 0000134d: SWAP1 0000134e: SUB 0000134f: PUSH1 0x84 00001351: ADD 00001352: SWAP1 00001353: REVERT 00001354: JUMPDEST 00001355: PUSH2 0x135c 00001358: PUSH2 0x1523 0000135b: JUMP 0000135c: JUMPDEST 0000135d: ISZERO 0000135e: PUSH2 0x136a 00001361: JUMPI 00001362: PUSH1 0x00 00001364: SWAP2 00001365: POP 00001366: PUSH2 0x1380 00001369: JUMP 0000136a: JUMPDEST 0000136b: PUSH1 0x0f 0000136d: SLOAD 0000136e: PUSH2 0x137d 00001371: SWAP1 00001372: TIMESTAMP 00001373: PUSH4 0xffffffff 00001378: PUSH2 0x1607 0000137b: AND 0000137c: JUMP 0000137d: JUMPDEST 0000137e: SWAP2 0000137f: POP 00001380: JUMPDEST 00001381: POP 00001382: SWAP1 00001383: JUMP 00001384: JUMPDEST 00001385: PUSH1 0x07 00001387: SLOAD 00001388: PUSH1 0x01 0000138a: PUSH1 0xa0 0000138c: PUSH1 0x02 0000138e: EXP 0000138f: SUB 00001390: AND 00001391: DUP2 00001392: JUMP 00001393: JUMPDEST 00001394: PUSH1 0x03 00001396: SLOAD 00001397: PUSH1 0x00 00001399: SWAP1 0000139a: DUP2 0000139b: SWAP1 0000139c: PUSH1 0x01 0000139e: PUSH1 0xa0 000013a0: PUSH1 0x02 000013a2: EXP 000013a3: SUB 000013a4: AND 000013a5: CALLER 000013a6: EQ 000013a7: PUSH2 0x13af 000013aa: JUMPI 000013ab: PUSH1 0x00 000013ad: DUP1 000013ae: REVERT 000013af: JUMPDEST 000013b0: PUSH1 0x02 000013b2: SLOAD 000013b3: ADDRESS 000013b4: BALANCE 000013b5: SWAP3 000013b6: POP 000013b7: PUSH2 0x13c7 000013ba: SWAP1 000013bb: DUP4 000013bc: SWAP1 000013bd: PUSH4 0xffffffff 000013c2: PUSH2 0x1607 000013c5: AND 000013c6: JUMP 000013c7: JUMPDEST 000013c8: SWAP1 000013c9: POP 000013ca: PUSH1 0x00 000013cc: DUP2 000013cd: GT 000013ce: PUSH2 0x13d6 000013d1: JUMPI 000013d2: PUSH1 0x00 000013d4: DUP1 000013d5: REVERT 000013d6: JUMPDEST 000013d7: PUSH2 0x13e0 000013da: CALLER 000013db: DUP3 000013dc: PUSH2 0x18e7 000013df: JUMP 000013e0: JUMPDEST 000013e1: POP 000013e2: POP 000013e3: JUMP 000013e4: JUMPDEST 000013e5: PUSH1 0x03 000013e7: SLOAD 000013e8: PUSH1 0xa0 000013ea: PUSH1 0x02 000013ec: EXP 000013ed: SWAP1 000013ee: DIV 000013ef: PUSH1 0xff 000013f1: AND 000013f2: DUP2 000013f3: JUMP 000013f4: JUMPDEST 000013f5: PUSH1 0x0e 000013f7: SLOAD 000013f8: DUP2 000013f9: JUMP 000013fa: JUMPDEST 000013fb: PUSH1 0x13 000013fd: DUP2 000013fe: JUMP 000013ff: JUMPDEST 00001400: PUSH1 0x09 00001402: SLOAD 00001403: PUSH1 0x01 00001405: PUSH1 0xa0 00001407: PUSH1 0x02 00001409: EXP 0000140a: SUB 0000140b: AND 0000140c: DUP2 0000140d: JUMP 0000140e: JUMPDEST 0000140f: PUSH1 0x0a 00001411: DUP2 00001412: JUMP 00001413: JUMPDEST 00001414: PUSH1 0x01 00001416: PUSH1 0x20 00001418: MSTORE 00001419: PUSH1 0x00 0000141b: SWAP1 0000141c: DUP2 0000141d: MSTORE 0000141e: PUSH1 0x40 00001420: SWAP1 00001421: KECCAK256 00001422: SLOAD 00001423: DUP2 00001424: JUMP 00001425: JUMPDEST 00001426: PUSH1 0x0f 00001428: SLOAD 00001429: DUP2 0000142a: JUMP 0000142b: JUMPDEST 0000142c: PUSH1 0x0b 0000142e: SLOAD 0000142f: DUP2 00001430: JUMP 00001431: JUMPDEST 00001432: PUSH1 0x03 00001434: SLOAD 00001435: PUSH1 0x01 00001437: PUSH1 0xa0 00001439: PUSH1 0x02 0000143b: EXP 0000143c: SUB 0000143d: AND 0000143e: CALLER 0000143f: EQ 00001440: PUSH2 0x1448 00001443: JUMPI 00001444: PUSH1 0x00 00001446: DUP1 00001447: REVERT 00001448: JUMPDEST 00001449: PUSH1 0x01 0000144b: PUSH1 0xa0 0000144d: PUSH1 0x02 0000144f: EXP 00001450: SUB 00001451: DUP2 00001452: AND 00001453: ISZERO 00001454: ISZERO 00001455: PUSH2 0x145d 00001458: JUMPI 00001459: PUSH1 0x00 0000145b: DUP1 0000145c: REVERT 0000145d: JUMPDEST 0000145e: PUSH1 0x03 00001460: SLOAD 00001461: PUSH1 0x40 00001463: MLOAD 00001464: PUSH1 0x01 00001466: PUSH1 0xa0 00001468: PUSH1 0x02 0000146a: EXP 0000146b: SUB 0000146c: DUP1 0000146d: DUP5 0000146e: AND 0000146f: SWAP3 00001470: AND 00001471: SWAP1 00001472: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001493: SWAP1 00001494: PUSH1 0x00 00001496: SWAP1 00001497: LOG3 00001498: PUSH1 0x03 0000149a: DUP1 0000149b: SLOAD 0000149c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b1: NOT 000014b2: AND 000014b3: PUSH1 0x01 000014b5: PUSH1 0xa0 000014b7: PUSH1 0x02 000014b9: EXP 000014ba: SUB 000014bb: SWAP3 000014bc: SWAP1 000014bd: SWAP3 000014be: AND 000014bf: SWAP2 000014c0: SWAP1 000014c1: SWAP2 000014c2: OR 000014c3: SWAP1 000014c4: SSTORE 000014c5: JUMP 000014c6: JUMPDEST 000014c7: PUSH1 0x00 000014c9: DUP1 000014ca: DUP1 000014cb: DUP4 000014cc: GT 000014cd: PUSH2 0x14d5 000014d0: JUMPI 000014d1: PUSH1 0x00 000014d3: DUP1 000014d4: REVERT 000014d5: JUMPDEST 000014d6: DUP3 000014d7: DUP5 000014d8: DUP2 000014d9: ISZERO 000014da: ISZERO 000014db: PUSH2 0x14e0 000014de: JUMPI 000014df: INVALID 000014e0: JUMPDEST 000014e1: DIV 000014e2: SWAP1 000014e3: POP 000014e4: DUP1 000014e5: SWAP2 000014e6: POP 000014e7: JUMPDEST 000014e8: POP 000014e9: SWAP3 000014ea: SWAP2 000014eb: POP 000014ec: POP 000014ed: JUMP 000014ee: JUMPDEST 000014ef: PUSH1 0x00 000014f1: DUP1 000014f2: DUP4 000014f3: ISZERO 000014f4: ISZERO 000014f5: PUSH2 0x1501 000014f8: JUMPI 000014f9: PUSH1 0x00 000014fb: SWAP2 000014fc: POP 000014fd: PUSH2 0x14e7 00001500: JUMP 00001501: JUMPDEST 00001502: POP 00001503: DUP3 00001504: DUP3 00001505: MUL 00001506: DUP3 00001507: DUP5 00001508: DUP3 00001509: DUP2 0000150a: ISZERO 0000150b: ISZERO 0000150c: PUSH2 0x1511 0000150f: JUMPI 00001510: INVALID 00001511: JUMPDEST 00001512: DIV 00001513: EQ 00001514: PUSH2 0x151c 00001517: JUMPI 00001518: PUSH1 0x00 0000151a: DUP1 0000151b: REVERT 0000151c: JUMPDEST 0000151d: SWAP4 0000151e: SWAP3 0000151f: POP 00001520: POP 00001521: POP 00001522: JUMP 00001523: JUMPDEST 00001524: PUSH1 0x0f 00001526: SLOAD 00001527: TIMESTAMP 00001528: LT 00001529: ISZERO 0000152a: SWAP1 0000152b: JUMP 0000152c: JUMPDEST 0000152d: PUSH1 0x00 0000152f: DUP1 00001530: PUSH2 0x153a 00001533: PUSH1 0x10 00001535: SLOAD 00001536: PUSH2 0x06bf 00001539: JUMP 0000153a: JUMPDEST 0000153b: SWAP2 0000153c: POP 0000153d: PUSH2 0x1547 00001540: PUSH1 0x10 00001542: SLOAD 00001543: PUSH2 0x06d8 00001546: JUMP 00001547: JUMPDEST 00001548: SWAP1 00001549: POP 0000154a: PUSH2 0x1553 0000154d: DUP3 0000154e: DUP3 0000154f: PUSH2 0x1943 00001552: JUMP 00001553: JUMPDEST 00001554: PUSH2 0x1566 00001557: PUSH2 0x1561 0000155a: PUSH1 0x10 0000155c: SLOAD 0000155d: PUSH2 0x093c 00001560: JUMP 00001561: JUMPDEST 00001562: PUSH2 0x1b34 00001565: JUMP 00001566: JUMPDEST 00001567: PUSH2 0x1583 0000156a: PUSH2 0x1574 0000156d: PUSH1 0x10 0000156f: SLOAD 00001570: PUSH2 0x093c 00001573: JUMP 00001574: JUMPDEST 00001575: PUSH1 0x11 00001577: SLOAD 00001578: SWAP1 00001579: PUSH4 0xffffffff 0000157e: PUSH2 0x1788 00001581: AND 00001582: JUMP 00001583: JUMPDEST 00001584: PUSH1 0x11 00001586: SSTORE 00001587: POP 00001588: POP 00001589: JUMP 0000158a: JUMPDEST 0000158b: PUSH1 0x00 0000158d: PUSH1 0x0d 0000158f: DUP2 00001590: SWAP1 00001591: SSTORE 00001592: PUSH2 0xa8c0 00001595: PUSH1 0x0e 00001597: SSTORE 00001598: PUSH1 0x11 0000159a: DUP1 0000159b: SLOAD 0000159c: PUSH1 0x10 0000159e: SSTORE 0000159f: SSTORE 000015a0: PUSH1 0x0c 000015a2: SLOAD 000015a3: PUSH2 0x15b3 000015a6: SWAP1 000015a7: PUSH1 0x01 000015a9: PUSH4 0xffffffff 000015ae: PUSH2 0x1788 000015b1: AND 000015b2: JUMP 000015b3: JUMPDEST 000015b4: PUSH1 0x0c 000015b6: SSTORE 000015b7: PUSH2 0x15be 000015ba: PUSH2 0x16d0 000015bd: JUMP 000015be: JUMPDEST 000015bf: PUSH1 0x10 000015c1: SLOAD 000015c2: PUSH1 0x0f 000015c4: SLOAD 000015c5: PUSH1 0x0c 000015c7: SLOAD 000015c8: PUSH1 0x40 000015ca: DUP1 000015cb: MLOAD 000015cc: SWAP4 000015cd: DUP5 000015ce: MSTORE 000015cf: PUSH1 0x20 000015d1: DUP5 000015d2: ADD 000015d3: SWAP3 000015d4: SWAP1 000015d5: SWAP3 000015d6: MSTORE 000015d7: DUP3 000015d8: DUP3 000015d9: ADD 000015da: MSTORE 000015db: MLOAD 000015dc: PUSH32 0x8dbc109f2b860f13cb31cb0e968bcd6324ad443f6cc2853fdf3ca82904a8a008 000015fd: SWAP2 000015fe: DUP2 000015ff: SWAP1 00001600: SUB 00001601: PUSH1 0x60 00001603: ADD 00001604: SWAP1 00001605: LOG1 00001606: JUMP 00001607: JUMPDEST 00001608: PUSH1 0x00 0000160a: DUP1 0000160b: DUP4 0000160c: DUP4 0000160d: GT 0000160e: ISZERO 0000160f: PUSH2 0x1617 00001612: JUMPI 00001613: PUSH1 0x00 00001615: DUP1 00001616: REVERT 00001617: JUMPDEST 00001618: POP 00001619: POP 0000161a: SWAP1 0000161b: SUB 0000161c: SWAP1 0000161d: JUMP 0000161e: JUMPDEST 0000161f: PUSH1 0x00 00001621: PUSH2 0x163b 00001624: PUSH2 0x162c 00001627: DUP5 00001628: PUSH2 0x06d8 0000162b: JUMP 0000162c: JUMPDEST 0000162d: PUSH1 0x10 0000162f: SLOAD 00001630: SWAP1 00001631: PUSH4 0xffffffff 00001636: PUSH2 0x1788 00001639: AND 0000163a: JUMP 0000163b: JUMPDEST 0000163c: PUSH1 0x10 0000163e: SSTORE 0000163f: PUSH2 0x164f 00001642: PUSH2 0x164a 00001645: DUP5 00001646: PUSH2 0x0f5b 00001649: JUMP 0000164a: JUMPDEST 0000164b: PUSH2 0x1b8c 0000164e: JUMP 0000164f: JUMPDEST 00001650: PUSH2 0x165b 00001653: PUSH2 0x1574 00001656: DUP5 00001657: PUSH2 0x093c 0000165a: JUMP 0000165b: JUMPDEST 0000165c: PUSH1 0x11 0000165e: SSTORE 0000165f: POP 00001660: PUSH1 0x01 00001662: PUSH1 0xa0 00001664: PUSH1 0x02 00001666: EXP 00001667: SUB 00001668: DUP2 00001669: AND 0000166a: ISZERO 0000166b: ISZERO 0000166c: PUSH2 0x1678 0000166f: PUSH2 0x1561 00001672: DUP5 00001673: DUP4 00001674: PUSH2 0x095b 00001677: JUMP 00001678: JUMPDEST 00001679: PUSH2 0x0cb1 0000167c: DUP3 0000167d: PUSH2 0x1686 00001680: DUP6 00001681: DUP5 00001682: PUSH2 0x12ba 00001685: JUMP 00001686: JUMPDEST 00001687: PUSH2 0x18e7 0000168a: JUMP 0000168b: JUMPDEST 0000168c: PUSH1 0xff 0000168e: DUP3 0000168f: AND 00001690: PUSH1 0x00 00001692: SWAP1 00001693: DUP2 00001694: MSTORE 00001695: PUSH1 0x05 00001697: PUSH1 0x20 00001699: MSTORE 0000169a: PUSH1 0x40 0000169c: SWAP1 0000169d: KECCAK256 0000169e: DUP1 0000169f: SLOAD 000016a0: SWAP1 000016a1: DUP3 000016a2: SWAP1 000016a3: SSTORE 000016a4: PUSH1 0x06 000016a6: SLOAD 000016a7: PUSH2 0x16c8 000016aa: SWAP1 000016ab: DUP4 000016ac: SWAP1 000016ad: PUSH2 0x16bc 000016b0: SWAP1 000016b1: DUP5 000016b2: PUSH4 0xffffffff 000016b7: PUSH2 0x1607 000016ba: AND 000016bb: JUMP 000016bc: JUMPDEST 000016bd: SWAP1 000016be: PUSH4 0xffffffff 000016c3: PUSH2 0x1788 000016c6: AND 000016c7: JUMP 000016c8: JUMPDEST 000016c9: PUSH1 0x06 000016cb: SSTORE 000016cc: POP 000016cd: POP 000016ce: POP 000016cf: JUMP 000016d0: JUMPDEST 000016d1: PUSH2 0x16f7 000016d4: PUSH2 0x16e8 000016d7: PUSH1 0x0e 000016d9: SLOAD 000016da: TIMESTAMP 000016db: PUSH2 0x1788 000016de: SWAP1 000016df: SWAP2 000016e0: SWAP1 000016e1: PUSH4 0xffffffff 000016e6: AND 000016e7: JUMP 000016e8: JUMPDEST 000016e9: PUSH1 0x0f 000016eb: SLOAD 000016ec: SWAP1 000016ed: PUSH4 0xffffffff 000016f2: PUSH2 0x1c3e 000016f5: AND 000016f6: JUMP 000016f7: JUMPDEST 000016f8: PUSH1 0x0f 000016fa: DUP2 000016fb: SWAP1 000016fc: SSTORE 000016fd: PUSH1 0x40 000016ff: DUP1 00001700: MLOAD 00001701: SWAP2 00001702: DUP3 00001703: MSTORE 00001704: MLOAD 00001705: PUSH32 0xe3663e221e6fb10518d40e9d9a20cd6f59853232fbfebc7de3821ed0c8fb36d2 00001726: SWAP2 00001727: DUP2 00001728: SWAP1 00001729: SUB 0000172a: PUSH1 0x20 0000172c: ADD 0000172d: SWAP1 0000172e: LOG1 0000172f: JUMP 00001730: JUMPDEST 00001731: PUSH1 0x0d 00001733: SLOAD 00001734: PUSH2 0x1743 00001737: SWAP1 00001738: DUP3 00001739: PUSH4 0xffffffff 0000173e: PUSH2 0x1788 00001741: AND 00001742: JUMP 00001743: JUMPDEST 00001744: PUSH1 0x0d 00001746: DUP2 00001747: SWAP1 00001748: SSTORE 00001749: PUSH8 0x8ac7230489e80000 00001752: GT 00001753: PUSH2 0x0818 00001756: JUMPI 00001757: PUSH2 0x177d 0000175a: PUSH1 0x0a 0000175c: PUSH2 0x1771 0000175f: PUSH1 0x02 00001761: PUSH1 0x0e 00001763: SLOAD 00001764: PUSH2 0x14c6 00001767: SWAP1 00001768: SWAP2 00001769: SWAP1 0000176a: PUSH4 0xffffffff 0000176f: AND 00001770: JUMP 00001771: JUMPDEST 00001772: SWAP1 00001773: PUSH4 0xffffffff 00001778: PUSH2 0x1c3e 0000177b: AND 0000177c: JUMP 0000177d: JUMPDEST 0000177e: PUSH1 0x0e 00001780: SSTORE 00001781: PUSH1 0x00 00001783: PUSH1 0x0d 00001785: SSTORE 00001786: POP 00001787: JUMP 00001788: JUMPDEST 00001789: PUSH1 0x00 0000178b: DUP3 0000178c: DUP3 0000178d: ADD 0000178e: DUP4 0000178f: DUP2 00001790: LT 00001791: ISZERO 00001792: PUSH2 0x151c 00001795: JUMPI 00001796: PUSH1 0x00 00001798: DUP1 00001799: REVERT 0000179a: JUMPDEST 0000179b: PUSH1 0x00 0000179d: DUP1 0000179e: PUSH2 0x17a9 000017a1: PUSH2 0x164a 000017a4: DUP6 000017a5: PUSH2 0x0f5b 000017a8: JUMP 000017a9: JUMPDEST 000017aa: PUSH2 0x17be 000017ad: PUSH2 0x17b5 000017b0: DUP6 000017b1: PUSH2 0x093c 000017b4: JUMP 000017b5: JUMPDEST 000017b6: PUSH2 0x16bc 000017b9: DUP7 000017ba: PUSH2 0x06d8 000017bd: JUMP 000017be: JUMPDEST 000017bf: PUSH1 0x11 000017c1: SLOAD 000017c2: SWAP1 000017c3: SWAP3 000017c4: POP 000017c5: PUSH2 0x17d4 000017c8: SWAP1 000017c9: DUP4 000017ca: PUSH4 0xffffffff 000017cf: PUSH2 0x1788 000017d2: AND 000017d3: JUMP 000017d4: JUMPDEST 000017d5: PUSH1 0x11 000017d7: SSTORE 000017d8: POP 000017d9: PUSH1 0x01 000017db: PUSH1 0xa0 000017dd: PUSH1 0x02 000017df: EXP 000017e0: SUB 000017e1: DUP3 000017e2: AND 000017e3: ISZERO 000017e4: ISZERO 000017e5: PUSH2 0x17f1 000017e8: PUSH2 0x1561 000017eb: DUP6 000017ec: DUP4 000017ed: PUSH2 0x095b 000017f0: JUMP 000017f1: JUMPDEST 000017f2: PUSH2 0x17ff 000017f5: DUP4 000017f6: PUSH2 0x1686 000017f9: DUP7 000017fa: DUP5 000017fb: PUSH2 0x12ba 000017fe: JUMP 000017ff: JUMPDEST 00001800: POP 00001801: POP 00001802: POP 00001803: POP 00001804: JUMP 00001805: JUMPDEST 00001806: PUSH1 0x0a 00001808: SLOAD 00001809: PUSH1 0x13 0000180b: GT 0000180c: ISZERO 0000180d: PUSH2 0x1886 00001810: JUMPI 00001811: PUSH1 0x40 00001813: DUP1 00001814: MLOAD 00001815: PUSH1 0xe5 00001817: PUSH1 0x02 00001819: EXP 0000181a: PUSH3 0x461bcd 0000181e: MUL 0000181f: DUP2 00001820: MSTORE 00001821: PUSH1 0x20 00001823: PUSH1 0x04 00001825: DUP3 00001826: ADD 00001827: MSTORE 00001828: PUSH1 0x27 0000182a: PUSH1 0x24 0000182c: DUP3 0000182d: ADD 0000182e: MSTORE 0000182f: PUSH32 0x43616e277420656e642061756374696f6e2069662061726520756e626f756768 00001850: PUSH1 0x44 00001852: DUP3 00001853: ADD 00001854: MSTORE 00001855: PUSH32 0x742074696c657300000000000000000000000000000000000000000000000000 00001876: PUSH1 0x64 00001878: DUP3 00001879: ADD 0000187a: MSTORE 0000187b: SWAP1 0000187c: MLOAD 0000187d: SWAP1 0000187e: DUP2 0000187f: SWAP1 00001880: SUB 00001881: PUSH1 0x84 00001883: ADD 00001884: SWAP1 00001885: REVERT 00001886: JUMPDEST 00001887: PUSH1 0x03 00001889: DUP1 0000188a: SLOAD 0000188b: PUSH21 0xff0000000000000000000000000000000000000000 000018a1: NOT 000018a2: AND 000018a3: PUSH1 0xa0 000018a5: PUSH1 0x02 000018a7: EXP 000018a8: OR 000018a9: SWAP1 000018aa: SSTORE 000018ab: PUSH2 0x18b2 000018ae: PUSH2 0x158a 000018b1: JUMP 000018b2: JUMPDEST 000018b3: PUSH1 0x40 000018b5: DUP1 000018b6: MLOAD 000018b7: TIMESTAMP 000018b8: DUP2 000018b9: MSTORE 000018ba: SWAP1 000018bb: MLOAD 000018bc: PUSH32 0x45806e512b1f4f10e33e8b3cb64d1d11d998d8c554a95e0841fc1c701278bd5d 000018dd: SWAP2 000018de: DUP2 000018df: SWAP1 000018e0: SUB 000018e1: PUSH1 0x20 000018e3: ADD 000018e4: SWAP1 000018e5: LOG1 000018e6: JUMP 000018e7: JUMPDEST 000018e8: PUSH1 0x01 000018ea: PUSH1 0xa0 000018ec: PUSH1 0x02 000018ee: EXP 000018ef: SUB 000018f0: DUP3 000018f1: AND 000018f2: PUSH1 0x00 000018f4: SWAP1 000018f5: DUP2 000018f6: MSTORE 000018f7: PUSH1 0x01 000018f9: PUSH1 0x20 000018fb: MSTORE 000018fc: PUSH1 0x40 000018fe: SWAP1 000018ff: KECCAK256 00001900: SLOAD 00001901: PUSH2 0x1910 00001904: SWAP1 00001905: DUP3 00001906: PUSH4 0xffffffff 0000190b: PUSH2 0x1788 0000190e: AND 0000190f: JUMP 00001910: JUMPDEST 00001911: PUSH1 0x01 00001913: PUSH1 0xa0 00001915: PUSH1 0x02 00001917: EXP 00001918: SUB 00001919: DUP4 0000191a: AND 0000191b: PUSH1 0x00 0000191d: SWAP1 0000191e: DUP2 0000191f: MSTORE 00001920: PUSH1 0x01 00001922: PUSH1 0x20 00001924: MSTORE 00001925: PUSH1 0x40 00001927: SWAP1 00001928: KECCAK256 00001929: SSTORE 0000192a: PUSH1 0x02 0000192c: SLOAD 0000192d: PUSH2 0x193c 00001930: SWAP1 00001931: DUP3 00001932: PUSH4 0xffffffff 00001937: PUSH2 0x1788 0000193a: AND 0000193b: JUMP 0000193c: JUMPDEST 0000193d: PUSH1 0x02 0000193f: SSTORE 00001940: POP 00001941: POP 00001942: JUMP 00001943: JUMPDEST 00001944: PUSH1 0x40 00001946: DUP1 00001947: MLOAD 00001948: PUSH1 0x14 0000194a: DUP1 0000194b: DUP3 0000194c: MSTORE 0000194d: PUSH2 0x02a0 00001950: DUP3 00001951: ADD 00001952: SWAP1 00001953: SWAP3 00001954: MSTORE 00001955: PUSH1 0x60 00001957: SWAP2 00001958: PUSH1 0x00 0000195a: SWAP2 0000195b: DUP3 0000195c: SWAP2 0000195d: DUP3 0000195e: SWAP2 0000195f: DUP3 00001960: SWAP2 00001961: DUP3 00001962: SWAP2 00001963: DUP3 00001964: SWAP2 00001965: DUP3 00001966: SWAP2 00001967: SWAP1 00001968: PUSH1 0x20 0000196a: DUP3 0000196b: ADD 0000196c: PUSH2 0x0280 0000196f: DUP1 00001970: CODESIZE 00001971: DUP4 00001972: CODECOPY 00001973: ADD 00001974: SWAP1 00001975: POP 00001976: POP 00001977: SWAP8 00001978: POP 00001979: PUSH1 0x00 0000197b: SWAP7 0000197c: POP 0000197d: PUSH1 0x00 0000197f: SWAP6 00001980: POP 00001981: PUSH1 0x00 00001983: SWAP5 00001984: POP 00001985: PUSH1 0x01 00001987: SWAP4 00001988: POP 00001989: JUMPDEST 0000198a: PUSH1 0x13 0000198c: PUSH1 0xff 0000198e: DUP6 0000198f: AND 00001990: GT 00001991: PUSH2 0x19f0 00001994: JUMPI 00001995: PUSH2 0x199d 00001998: DUP5 00001999: PUSH2 0x1c55 0000199c: JUMP 0000199d: JUMPDEST 0000199e: SWAP3 0000199f: POP 000019a0: DUP6 000019a1: ISZERO 000019a2: DUP1 000019a3: PUSH2 0x19ab 000019a6: JUMPI 000019a7: POP 000019a8: DUP6 000019a9: DUP4 000019aa: GT 000019ab: JUMPDEST 000019ac: ISZERO 000019ad: PUSH2 0x19b7 000019b0: JUMPI 000019b1: DUP3 000019b2: SWAP6 000019b3: POP 000019b4: DUP4 000019b5: SWAP5 000019b6: POP 000019b7: JUMPDEST 000019b8: DUP3 000019b9: DUP9 000019ba: DUP6 000019bb: PUSH1 0xff 000019bd: AND 000019be: DUP2 000019bf: MLOAD 000019c0: DUP2 000019c1: LT 000019c2: ISZERO 000019c3: ISZERO 000019c4: PUSH2 0x19c9 000019c7: JUMPI 000019c8: INVALID 000019c9: JUMPDEST 000019ca: PUSH1 0x20 000019cc: SWAP1 000019cd: DUP2 000019ce: MUL 000019cf: SWAP1 000019d0: SWAP2 000019d1: ADD 000019d2: ADD 000019d3: MSTORE 000019d4: PUSH2 0x19e3 000019d7: DUP8 000019d8: DUP5 000019d9: PUSH4 0xffffffff 000019de: PUSH2 0x1788 000019e1: AND 000019e2: JUMP 000019e3: JUMPDEST 000019e4: SWAP7 000019e5: POP 000019e6: PUSH1 0x01 000019e8: SWAP1 000019e9: SWAP4 000019ea: ADD 000019eb: SWAP3 000019ec: PUSH2 0x1989 000019ef: JUMP 000019f0: JUMPDEST 000019f1: PUSH1 0x00 000019f3: SWAP2 000019f4: POP 000019f5: PUSH1 0x01 000019f7: SWAP4 000019f8: POP 000019f9: JUMPDEST 000019fa: PUSH1 0x13 000019fc: PUSH1 0xff 000019fe: DUP6 000019ff: AND 00001a00: GT 00001a01: PUSH2 0x1a26 00001a04: JUMPI 00001a05: DUP6 00001a06: PUSH2 0x1a0e 00001a09: DUP6 00001a0a: PUSH2 0x1c55 00001a0d: JUMP 00001a0e: JUMPDEST 00001a0f: EQ 00001a10: ISZERO 00001a11: PUSH2 0x1a1b 00001a14: JUMPI 00001a15: PUSH1 0x01 00001a17: SWAP1 00001a18: SWAP2 00001a19: ADD 00001a1a: SWAP1 00001a1b: JUMPDEST 00001a1c: PUSH1 0x01 00001a1e: SWAP1 00001a1f: SWAP4 00001a20: ADD 00001a21: SWAP3 00001a22: PUSH2 0x19f9 00001a25: JUMP 00001a26: JUMPDEST 00001a27: DUP2 00001a28: PUSH1 0x01 00001a2a: EQ 00001a2b: ISZERO 00001a2c: PUSH2 0x1a5a 00001a2f: JUMPI 00001a30: PUSH1 0xff 00001a32: DUP6 00001a33: AND 00001a34: PUSH1 0x00 00001a36: SWAP1 00001a37: DUP2 00001a38: MSTORE 00001a39: PUSH1 0x04 00001a3b: PUSH1 0x20 00001a3d: MSTORE 00001a3e: PUSH1 0x40 00001a40: SWAP1 00001a41: KECCAK256 00001a42: SLOAD 00001a43: PUSH2 0x1a55 00001a46: SWAP1 00001a47: PUSH1 0x01 00001a49: PUSH1 0xa0 00001a4b: PUSH1 0x02 00001a4d: EXP 00001a4e: SUB 00001a4f: AND 00001a50: DUP12 00001a51: PUSH2 0x18e7 00001a54: JUMP 00001a55: JUMPDEST 00001a56: PUSH2 0x1ab5 00001a59: JUMP 00001a5a: JUMPDEST 00001a5b: PUSH1 0x01 00001a5d: SWAP4 00001a5e: POP 00001a5f: JUMPDEST 00001a60: PUSH1 0x13 00001a62: PUSH1 0xff 00001a64: DUP6 00001a65: AND 00001a66: GT 00001a67: PUSH2 0x1ab5 00001a6a: JUMPI 00001a6b: DUP6 00001a6c: PUSH2 0x1a74 00001a6f: DUP6 00001a70: PUSH2 0x1c55 00001a73: JUMP 00001a74: JUMPDEST 00001a75: EQ 00001a76: ISZERO 00001a77: PUSH2 0x1aaa 00001a7a: JUMPI 00001a7b: PUSH1 0xff 00001a7d: DUP5 00001a7e: AND 00001a7f: PUSH1 0x00 00001a81: SWAP1 00001a82: DUP2 00001a83: MSTORE 00001a84: PUSH1 0x04 00001a86: PUSH1 0x20 00001a88: MSTORE 00001a89: PUSH1 0x40 00001a8b: SWAP1 00001a8c: KECCAK256 00001a8d: SLOAD 00001a8e: PUSH2 0x1aaa 00001a91: SWAP1 00001a92: PUSH1 0x01 00001a94: PUSH1 0xa0 00001a96: PUSH1 0x02 00001a98: EXP 00001a99: SUB 00001a9a: AND 00001a9b: PUSH2 0x1686 00001a9e: DUP13 00001a9f: DUP6 00001aa0: PUSH4 0xffffffff 00001aa5: PUSH2 0x14c6 00001aa8: AND 00001aa9: JUMP 00001aaa: JUMPDEST 00001aab: PUSH1 0x01 00001aad: SWAP1 00001aae: SWAP4 00001aaf: ADD 00001ab0: SWAP3 00001ab1: PUSH2 0x1a5f 00001ab4: JUMP 00001ab5: JUMPDEST 00001ab6: PUSH1 0x01 00001ab8: SWAP4 00001ab9: POP 00001aba: JUMPDEST 00001abb: PUSH1 0x13 00001abd: PUSH1 0xff 00001abf: DUP6 00001ac0: AND 00001ac1: GT 00001ac2: PUSH2 0x1b28 00001ac5: JUMPI 00001ac6: PUSH2 0x1af4 00001ac9: DUP8 00001aca: PUSH2 0x06f0 00001acd: DUP12 00001ace: DUP12 00001acf: DUP9 00001ad0: PUSH1 0xff 00001ad2: AND 00001ad3: DUP2 00001ad4: MLOAD 00001ad5: DUP2 00001ad6: LT 00001ad7: ISZERO 00001ad8: ISZERO 00001ad9: PUSH2 0x1ade 00001adc: JUMPI 00001add: INVALID 00001ade: JUMPDEST 00001adf: PUSH1 0x20 00001ae1: SWAP1 00001ae2: DUP2 00001ae3: MUL 00001ae4: SWAP1 00001ae5: SWAP2 00001ae6: ADD 00001ae7: ADD 00001ae8: MLOAD 00001ae9: SWAP1 00001aea: PUSH4 0xffffffff 00001aef: PUSH2 0x14ee 00001af2: AND 00001af3: JUMP 00001af4: JUMPDEST 00001af5: PUSH1 0xff 00001af7: DUP6 00001af8: AND 00001af9: PUSH1 0x00 00001afb: SWAP1 00001afc: DUP2 00001afd: MSTORE 00001afe: PUSH1 0x04 00001b00: PUSH1 0x20 00001b02: MSTORE 00001b03: PUSH1 0x40 00001b05: SWAP1 00001b06: KECCAK256 00001b07: SLOAD 00001b08: SWAP1 00001b09: SWAP2 00001b0a: POP 00001b0b: PUSH2 0x1b1d 00001b0e: SWAP1 00001b0f: PUSH1 0x01 00001b11: PUSH1 0xa0 00001b13: PUSH1 0x02 00001b15: EXP 00001b16: SUB 00001b17: AND 00001b18: DUP3 00001b19: PUSH2 0x18e7 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: PUSH1 0x01 00001b20: SWAP1 00001b21: SWAP4 00001b22: ADD 00001b23: SWAP3 00001b24: PUSH2 0x1aba 00001b27: JUMP 00001b28: JUMPDEST 00001b29: POP 00001b2a: POP 00001b2b: POP 00001b2c: POP 00001b2d: POP 00001b2e: POP 00001b2f: POP 00001b30: POP 00001b31: POP 00001b32: POP 00001b33: JUMP 00001b34: JUMPDEST 00001b35: PUSH1 0x00 00001b37: PUSH2 0x1b47 00001b3a: DUP3 00001b3b: PUSH1 0x03 00001b3d: PUSH4 0xffffffff 00001b42: PUSH2 0x14c6 00001b45: AND 00001b46: JUMP 00001b47: JUMPDEST 00001b48: PUSH1 0x07 00001b4a: SLOAD 00001b4b: SWAP1 00001b4c: SWAP2 00001b4d: POP 00001b4e: PUSH2 0x1b60 00001b51: SWAP1 00001b52: PUSH1 0x01 00001b54: PUSH1 0xa0 00001b56: PUSH1 0x02 00001b58: EXP 00001b59: SUB 00001b5a: AND 00001b5b: DUP3 00001b5c: PUSH2 0x18e7 00001b5f: JUMP 00001b60: JUMPDEST 00001b61: PUSH1 0x08 00001b63: SLOAD 00001b64: PUSH2 0x1b76 00001b67: SWAP1 00001b68: PUSH1 0x01 00001b6a: PUSH1 0xa0 00001b6c: PUSH1 0x02 00001b6e: EXP 00001b6f: SUB 00001b70: AND 00001b71: DUP3 00001b72: PUSH2 0x18e7 00001b75: JUMP 00001b76: JUMPDEST 00001b77: PUSH1 0x09 00001b79: SLOAD 00001b7a: PUSH2 0x13e0 00001b7d: SWAP1 00001b7e: PUSH1 0x01 00001b80: PUSH1 0xa0 00001b82: PUSH1 0x02 00001b84: EXP 00001b85: SUB 00001b86: AND 00001b87: DUP3 00001b88: PUSH2 0x18e7 00001b8b: JUMP 00001b8c: JUMPDEST 00001b8d: PUSH1 0x01 00001b8f: PUSH1 0x00 00001b91: DUP1 00001b92: JUMPDEST 00001b93: PUSH1 0x13 00001b95: PUSH1 0xff 00001b97: DUP5 00001b98: AND 00001b99: GT 00001b9a: PUSH2 0x17ff 00001b9d: JUMPI 00001b9e: PUSH1 0xff 00001ba0: DUP4 00001ba1: AND 00001ba2: PUSH1 0x00 00001ba4: SWAP1 00001ba5: DUP2 00001ba6: MSTORE 00001ba7: PUSH1 0x04 00001ba9: PUSH1 0x20 00001bab: MSTORE 00001bac: PUSH1 0x40 00001bae: SWAP1 00001baf: KECCAK256 00001bb0: SLOAD 00001bb1: PUSH1 0x01 00001bb3: PUSH1 0xa0 00001bb5: PUSH1 0x02 00001bb7: EXP 00001bb8: SUB 00001bb9: AND 00001bba: ISZERO 00001bbb: DUP1 00001bbc: ISZERO 00001bbd: SWAP1 00001bbe: PUSH2 0x1bd8 00001bc1: JUMPI 00001bc2: POP 00001bc3: PUSH1 0xff 00001bc5: DUP4 00001bc6: AND 00001bc7: PUSH1 0x00 00001bc9: SWAP1 00001bca: DUP2 00001bcb: MSTORE 00001bcc: PUSH1 0x05 00001bce: PUSH1 0x20 00001bd0: MSTORE 00001bd1: PUSH1 0x40 00001bd3: SWAP1 00001bd4: KECCAK256 00001bd5: SLOAD 00001bd6: ISZERO 00001bd7: ISZERO 00001bd8: JUMPDEST 00001bd9: ISZERO 00001bda: PUSH2 0x1c33 00001bdd: JUMPI 00001bde: PUSH1 0xff 00001be0: DUP4 00001be1: AND 00001be2: PUSH1 0x00 00001be4: SWAP1 00001be5: DUP2 00001be6: MSTORE 00001be7: PUSH1 0x05 00001be9: PUSH1 0x20 00001beb: MSTORE 00001bec: PUSH1 0x40 00001bee: SWAP1 00001bef: KECCAK256 00001bf0: SLOAD 00001bf1: PUSH1 0x06 00001bf3: SLOAD 00001bf4: SWAP1 00001bf5: SWAP3 00001bf6: POP 00001bf7: PUSH2 0x1c0a 00001bfa: SWAP1 00001bfb: PUSH2 0x06f0 00001bfe: DUP7 00001bff: DUP6 00001c00: PUSH4 0xffffffff 00001c05: PUSH2 0x14ee 00001c08: AND 00001c09: JUMP 00001c0a: JUMPDEST 00001c0b: PUSH1 0xff 00001c0d: DUP5 00001c0e: AND 00001c0f: PUSH1 0x00 00001c11: SWAP1 00001c12: DUP2 00001c13: MSTORE 00001c14: PUSH1 0x04 00001c16: PUSH1 0x20 00001c18: MSTORE 00001c19: PUSH1 0x40 00001c1b: SWAP1 00001c1c: KECCAK256 00001c1d: SLOAD 00001c1e: SWAP1 00001c1f: SWAP2 00001c20: POP 00001c21: PUSH2 0x1c33 00001c24: SWAP1 00001c25: PUSH1 0x01 00001c27: PUSH1 0xa0 00001c29: PUSH1 0x02 00001c2b: EXP 00001c2c: SUB 00001c2d: AND 00001c2e: DUP3 00001c2f: PUSH2 0x18e7 00001c32: JUMP 00001c33: JUMPDEST 00001c34: PUSH1 0x01 00001c36: SWAP1 00001c37: SWAP3 00001c38: ADD 00001c39: SWAP2 00001c3a: PUSH2 0x1b92 00001c3d: JUMP 00001c3e: JUMPDEST 00001c3f: PUSH1 0x00 00001c41: DUP2 00001c42: DUP4 00001c43: LT 00001c44: ISZERO 00001c45: PUSH2 0x1c4e 00001c48: JUMPI 00001c49: DUP2 00001c4a: PUSH2 0x151c 00001c4d: JUMP 00001c4e: JUMPDEST 00001c4f: POP 00001c50: SWAP1 00001c51: SWAP2 00001c52: SWAP1 00001c53: POP 00001c54: JUMP 00001c55: JUMPDEST 00001c56: PUSH1 0xff 00001c58: DUP2 00001c59: AND 00001c5a: PUSH1 0x00 00001c5c: SWAP1 00001c5d: DUP2 00001c5e: MSTORE 00001c5f: PUSH1 0x05 00001c61: PUSH1 0x20 00001c63: MSTORE 00001c64: PUSH1 0x40 00001c66: DUP2 00001c67: KECCAK256 00001c68: SLOAD 00001c69: PUSH1 0x06 00001c6b: SLOAD 00001c6c: PUSH2 0x06d2 00001c6f: SWAP2 00001c70: PUSH4 0xffffffff 00001c75: PUSH2 0x1607 00001c78: AND 00001c79: JUMP 00001c7a: STOP 00001c7b: CHAINID 00001c7c: PUSH22 0x6e6374696f6e2063616e6e6f742062652063616c6c65 00001c93: PUSH5 0x2061742074 00001c99: PUSH9 0x69732074696d652e00 00001ca3: STOP 00001ca4: STOP 00001ca5: STOP 00001ca6: STOP 00001ca7: STOP 00001ca8: STOP 00001ca9: STOP 00001caa: STOP 00001cab: STOP 00001cac: STOP 00001cad: STOP 00001cae: STOP 00001caf: STOP 00001cb0: STOP 00001cb1: STOP 00001cb2: STOP 00001cb3: STOP 00001cb4: STOP 00001cb5: STOP 00001cb6: STOP 00001cb7: STOP 00001cb8: STOP 00001cb9: STOP 00001cba: STOP 00001cbb: LOG1 00001cbc: PUSH6 0x627a7a723058 00001cc3: KECCAK256 00001cc4: UNKNOWN(0xD0) 00001cc5: ADD 00001cc6: CALLDATALOAD 00001cc7: NUMBER 00001cc8: UNKNOWN(0xF6) 00001cc9: GT 00001cca: UNKNOWN(0xE4) 00001ccb: UNKNOWN(0xCD) 00001ccc: UNKNOWN(0xBB) 00001ccd: UNKNOWN(0xAB) 00001cce: UNKNOWN(0xD9) 00001ccf: SHL 00001cd0: TLOAD 00001cd1: CALLDATASIZE 00001cd2: PUSH6 0x2a078dc74154 00001cd9: SWAP9 00001cda: UNKNOWN(0x24) 00001cdb: DUP2 00001cdc: CREATE 00001cdd: SLT 00001cde: SUB 00001cdf: ISZERO 00001ce0: UNKNOWN(0xB7) 00001ce1: UNKNOWN(0xF9) 00001ce2: DUP3 00001ce3: SSTORE 00001ce4: STOP 00001ce5: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa3228cbb2c450e8c1ce398e6a0ac143cc23603205db83a3549e52df8fc07dd21
call_targets:
0x7f4ca7139f9847dde009b4c6af1e173c1bf03d2d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa3228cbb2c450e8c1ce398e6a0ac143cc23603205db83a3549e52df8fc07dd21",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7f4ca7139f9847dde009b4c6af1e173c1bf03d2d"
],
"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": "0x03fca061",
"selector": "0x03fca061",
"calldata_variants": [
"0x03fca061",
"0x03fca0610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06e42962",
"selector": "0x06e42962",
"calldata_variants": [
"0x06e42962",
"0x06e429620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a6f5d8e",
"selector": "0x0a6f5d8e",
"calldata_variants": [
"0x0a6f5d8e",
"0x0a6f5d8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cbf54c8",
"selector": "0x0cbf54c8",
"calldata_variants": [
"0x0cbf54c8",
"0x0cbf54c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e51574f",
"selector": "0x0e51574f",
"calldata_variants": [
"0x0e51574f",
"0x0e51574f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0eb51c9c",
"selector": "0x0eb51c9c",
"calldata_variants": [
"0x0eb51c9c",
"0x0eb51c9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ccff716",
"selector": "0x1ccff716",
"calldata_variants": [
"0x1ccff716",
"0x1ccff7160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20178db3",
"selector": "0x20178db3",
"calldata_variants": [
"0x20178db3",
"0x20178db30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3227,
"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: 0xa3228cbb2c450e8c1ce398e6a0ac143cc23603205db83a3549e52df8fc07dd21
call_targets:
0x7f4ca7139f9847dde009b4c6af1e173c1bf03d2d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa3228cbb2c450e8c1ce398e6a0ac143cc23603205db83a3549e52df8fc07dd21",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7f4ca7139f9847dde009b4c6af1e173c1bf03d2d"
],
"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": "0x03fca061",
"selector": "0x03fca061",
"calldata_variants": [
"0x03fca061",
"0x03fca0610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06e42962",
"selector": "0x06e42962",
"calldata_variants": [
"0x06e42962",
"0x06e429620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a6f5d8e",
"selector": "0x0a6f5d8e",
"calldata_variants": [
"0x0a6f5d8e",
"0x0a6f5d8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cbf54c8",
"selector": "0x0cbf54c8",
"calldata_variants": [
"0x0cbf54c8",
"0x0cbf54c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e51574f",
"selector": "0x0e51574f",
"calldata_variants": [
"0x0e51574f",
"0x0e51574f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0eb51c9c",
"selector": "0x0eb51c9c",
"calldata_variants": [
"0x0eb51c9c",
"0x0eb51c9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ccff716",
"selector": "0x1ccff716",
"calldata_variants": [
"0x1ccff716",
"0x1ccff7160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20178db3",
"selector": "0x20178db3",
"calldata_variants": [
"0x20178db3",
"0x20178db30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3227,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xa5b97e0514acb74f7bf6beb03d3a04915414d35092396cb8edf796f05e89b316
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xa5b97e0514acb74f7bf6beb03d3a04915414d35092396cb8edf796f05e89b316",
"confirmed": false,
"trace_mode": "structLogs",
"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": "0x03fca061",
"selector": "0x03fca061",
"calldata_variants": [
"0x03fca061",
"0x03fca0610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06e42962",
"selector": "0x06e42962",
"calldata_variants": [
"0x06e42962",
"0x06e429620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a6f5d8e",
"selector": "0x0a6f5d8e",
"calldata_variants": [
"0x0a6f5d8e",
"0x0a6f5d8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0cbf54c8",
"selector": "0x0cbf54c8",
"calldata_variants": [
"0x0cbf54c8",
"0x0cbf54c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e51574f",
"selector": "0x0e51574f",
"calldata_variants": [
"0x0e51574f",
"0x0e51574f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0eb51c9c",
"selector": "0x0eb51c9c",
"calldata_variants": [
"0x0eb51c9c",
"0x0eb51c9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ccff716",
"selector": "0x1ccff716",
"calldata_variants": [
"0x1ccff716",
"0x1ccff7160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20178db3",
"selector": "0x20178db3",
"calldata_variants": [
"0x20178db3",
"0x20178db30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|