019b477e-b0c1-7329-8355-65da3cc2e44f
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 |
|---|---|---|---|---|
| 22031 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22032 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89209 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89210 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89211 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89212 | 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 0x01b5 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 0x01c3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x01f6 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x0f34dc16 00000050: EQ 00000051: PUSH2 0x0280 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x10d0ffdd 0000005b: EQ 0000005c: PUSH2 0x02b5 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x18160ddd 00000066: EQ 00000067: PUSH2 0x02cd 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x1b5a8da6 00000071: EQ 00000072: PUSH2 0x02e2 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x22609373 0000007c: EQ 0000007d: PUSH2 0x0313 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x27defa1f 00000087: EQ 00000088: PUSH2 0x032b 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x294205b4 00000092: EQ 00000093: PUSH2 0x0340 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x313ce567 0000009d: EQ 0000009e: PUSH2 0x0368 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x3ccfd60b 000000a8: EQ 000000a9: PUSH2 0x0393 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x4000aea0 000000b3: EQ 000000b4: PUSH2 0x03a8 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x4b750334 000000be: EQ 000000bf: PUSH2 0x03d9 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x56d399e8 000000c9: EQ 000000ca: PUSH2 0x03ee 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x58172da1 000000d4: EQ 000000d5: PUSH2 0x0403 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x688abbf7 000000df: EQ 000000e0: PUSH2 0x040b 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x6b2f4632 000000ea: EQ 000000eb: PUSH2 0x0425 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x70a08231 000000f5: EQ 000000f6: PUSH2 0x043a 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x76be1585 00000100: EQ 00000101: PUSH2 0x045b 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x8328b610 0000010b: EQ 0000010c: PUSH2 0x047c 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x8620410b 00000116: EQ 00000117: PUSH2 0x0494 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x87c23143 00000121: EQ 00000122: PUSH2 0x04a9 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x87c95058 0000012c: EQ 0000012d: PUSH2 0x04be 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x949e8acd 00000137: EQ 00000138: PUSH2 0x04e4 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x95d89b41 00000142: EQ 00000143: PUSH2 0x04f9 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0x9baf7ffb 0000014d: EQ 0000014e: PUSH2 0x050e 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xa8e04f34 00000158: EQ 00000159: PUSH2 0x0523 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xa9059cbb 00000163: EQ 00000164: PUSH2 0x0538 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0xb84c8246 0000016e: EQ 0000016f: PUSH2 0x055c 00000172: JUMPI 00000173: DUP1 00000174: PUSH4 0xc47f0027 00000179: EQ 0000017a: PUSH2 0x05b5 0000017d: JUMPI 0000017e: DUP1 0000017f: PUSH4 0xcff76d67 00000184: EQ 00000185: PUSH2 0x060e 00000188: JUMPI 00000189: DUP1 0000018a: PUSH4 0xe4849b32 0000018f: EQ 00000190: PUSH2 0x0623 00000193: JUMPI 00000194: DUP1 00000195: PUSH4 0xe9fad8ee 0000019a: EQ 0000019b: PUSH2 0x063b 0000019e: JUMPI 0000019f: DUP1 000001a0: PUSH4 0xf088d547 000001a5: EQ 000001a6: PUSH2 0x0650 000001a9: JUMPI 000001aa: DUP1 000001ab: PUSH4 0xfdb5a03e 000001b0: EQ 000001b1: PUSH2 0x0664 000001b4: JUMPI 000001b5: JUMPDEST 000001b6: PUSH2 0x01c0 000001b9: CALLVALUE 000001ba: PUSH1 0x00 000001bc: PUSH2 0x0679 000001bf: JUMP 000001c0: JUMPDEST 000001c1: POP 000001c2: STOP 000001c3: JUMPDEST 000001c4: CALLVALUE 000001c5: DUP1 000001c6: ISZERO 000001c7: PUSH2 0x01cf 000001ca: JUMPI 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x01e4 000001d4: PUSH1 0x01 000001d6: PUSH1 0xa0 000001d8: PUSH1 0x02 000001da: EXP 000001db: SUB 000001dc: PUSH1 0x04 000001de: CALLDATALOAD 000001df: AND 000001e0: PUSH2 0x0719 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH1 0x40 000001e7: DUP1 000001e8: MLOAD 000001e9: SWAP2 000001ea: DUP3 000001eb: MSTORE 000001ec: MLOAD 000001ed: SWAP1 000001ee: DUP2 000001ef: SWAP1 000001f0: SUB 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: SWAP1 000001f5: RETURN 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x020b 00000207: PUSH2 0x0754 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH1 0x40 0000020e: DUP1 0000020f: MLOAD 00000210: PUSH1 0x20 00000212: DUP1 00000213: DUP3 00000214: MSTORE 00000215: DUP4 00000216: MLOAD 00000217: DUP2 00000218: DUP4 00000219: ADD 0000021a: MSTORE 0000021b: DUP4 0000021c: MLOAD 0000021d: SWAP2 0000021e: SWAP3 0000021f: DUP4 00000220: SWAP3 00000221: SWAP1 00000222: DUP4 00000223: ADD 00000224: SWAP2 00000225: DUP6 00000226: ADD 00000227: SWAP1 00000228: DUP1 00000229: DUP4 0000022a: DUP4 0000022b: PUSH1 0x00 0000022d: JUMPDEST 0000022e: DUP4 0000022f: DUP2 00000230: LT 00000231: ISZERO 00000232: PUSH2 0x0245 00000235: JUMPI 00000236: DUP2 00000237: DUP2 00000238: ADD 00000239: MLOAD 0000023a: DUP4 0000023b: DUP3 0000023c: ADD 0000023d: MSTORE 0000023e: PUSH1 0x20 00000240: ADD 00000241: PUSH2 0x022d 00000244: JUMP 00000245: JUMPDEST 00000246: POP 00000247: POP 00000248: POP 00000249: POP 0000024a: SWAP1 0000024b: POP 0000024c: SWAP1 0000024d: DUP2 0000024e: ADD 0000024f: SWAP1 00000250: PUSH1 0x1f 00000252: AND 00000253: DUP1 00000254: ISZERO 00000255: PUSH2 0x0272 00000258: JUMPI 00000259: DUP1 0000025a: DUP3 0000025b: SUB 0000025c: DUP1 0000025d: MLOAD 0000025e: PUSH1 0x01 00000260: DUP4 00000261: PUSH1 0x20 00000263: SUB 00000264: PUSH2 0x0100 00000267: EXP 00000268: SUB 00000269: NOT 0000026a: AND 0000026b: DUP2 0000026c: MSTORE 0000026d: PUSH1 0x20 0000026f: ADD 00000270: SWAP2 00000271: POP 00000272: JUMPDEST 00000273: POP 00000274: SWAP3 00000275: POP 00000276: POP 00000277: POP 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: RETURN 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x02a1 00000291: PUSH1 0x01 00000293: PUSH1 0xa0 00000295: PUSH1 0x02 00000297: EXP 00000298: SUB 00000299: PUSH1 0x04 0000029b: CALLDATALOAD 0000029c: AND 0000029d: PUSH2 0x07e2 000002a0: JUMP 000002a1: JUMPDEST 000002a2: PUSH1 0x40 000002a4: DUP1 000002a5: MLOAD 000002a6: SWAP2 000002a7: ISZERO 000002a8: ISZERO 000002a9: DUP3 000002aa: MSTORE 000002ab: MLOAD 000002ac: SWAP1 000002ad: DUP2 000002ae: SWAP1 000002af: SUB 000002b0: PUSH1 0x20 000002b2: ADD 000002b3: SWAP1 000002b4: RETURN 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 0x01e4 000002c6: PUSH1 0x04 000002c8: CALLDATALOAD 000002c9: PUSH2 0x07f7 000002cc: JUMP 000002cd: JUMPDEST 000002ce: CALLVALUE 000002cf: DUP1 000002d0: ISZERO 000002d1: PUSH2 0x02d9 000002d4: JUMPI 000002d5: PUSH1 0x00 000002d7: DUP1 000002d8: REVERT 000002d9: JUMPDEST 000002da: POP 000002db: PUSH2 0x01e4 000002de: PUSH2 0x084c 000002e1: JUMP 000002e2: JUMPDEST 000002e3: CALLVALUE 000002e4: DUP1 000002e5: ISZERO 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: POP 000002f0: PUSH2 0x02f7 000002f3: PUSH2 0x0853 000002f6: JUMP 000002f7: JUMPDEST 000002f8: PUSH1 0x40 000002fa: DUP1 000002fb: MLOAD 000002fc: PUSH1 0x01 000002fe: PUSH1 0xa0 00000300: PUSH1 0x02 00000302: EXP 00000303: SUB 00000304: SWAP1 00000305: SWAP3 00000306: AND 00000307: DUP3 00000308: MSTORE 00000309: MLOAD 0000030a: SWAP1 0000030b: DUP2 0000030c: SWAP1 0000030d: SUB 0000030e: PUSH1 0x20 00000310: ADD 00000311: SWAP1 00000312: RETURN 00000313: JUMPDEST 00000314: CALLVALUE 00000315: DUP1 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: POP 00000321: PUSH2 0x01e4 00000324: PUSH1 0x04 00000326: CALLDATALOAD 00000327: PUSH2 0x086b 0000032a: JUMP 0000032b: JUMPDEST 0000032c: CALLVALUE 0000032d: DUP1 0000032e: ISZERO 0000032f: PUSH2 0x0337 00000332: JUMPI 00000333: PUSH1 0x00 00000335: DUP1 00000336: REVERT 00000337: JUMPDEST 00000338: POP 00000339: PUSH2 0x02a1 0000033c: PUSH2 0x08c2 0000033f: JUMP 00000340: JUMPDEST 00000341: CALLVALUE 00000342: DUP1 00000343: ISZERO 00000344: PUSH2 0x034c 00000347: JUMPI 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: POP 0000034e: PUSH2 0x0366 00000351: PUSH1 0x01 00000353: PUSH1 0xa0 00000355: PUSH1 0x02 00000357: EXP 00000358: SUB 00000359: PUSH1 0x04 0000035b: CALLDATALOAD 0000035c: AND 0000035d: PUSH1 0x24 0000035f: CALLDATALOAD 00000360: ISZERO 00000361: ISZERO 00000362: PUSH2 0x08cb 00000365: JUMP 00000366: JUMPDEST 00000367: STOP 00000368: JUMPDEST 00000369: CALLVALUE 0000036a: DUP1 0000036b: ISZERO 0000036c: PUSH2 0x0374 0000036f: JUMPI 00000370: PUSH1 0x00 00000372: DUP1 00000373: REVERT 00000374: JUMPDEST 00000375: POP 00000376: PUSH2 0x037d 00000379: PUSH2 0x0915 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH1 0x40 00000380: DUP1 00000381: MLOAD 00000382: PUSH1 0xff 00000384: SWAP1 00000385: SWAP3 00000386: AND 00000387: DUP3 00000388: MSTORE 00000389: MLOAD 0000038a: SWAP1 0000038b: DUP2 0000038c: SWAP1 0000038d: SUB 0000038e: PUSH1 0x20 00000390: ADD 00000391: SWAP1 00000392: RETURN 00000393: JUMPDEST 00000394: CALLVALUE 00000395: DUP1 00000396: ISZERO 00000397: PUSH2 0x039f 0000039a: JUMPI 0000039b: PUSH1 0x00 0000039d: DUP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: POP 000003a1: PUSH2 0x0366 000003a4: PUSH2 0x091a 000003a7: JUMP 000003a8: JUMPDEST 000003a9: CALLVALUE 000003aa: DUP1 000003ab: ISZERO 000003ac: PUSH2 0x03b4 000003af: JUMPI 000003b0: PUSH1 0x00 000003b2: DUP1 000003b3: REVERT 000003b4: JUMPDEST 000003b5: POP 000003b6: PUSH2 0x02a1 000003b9: PUSH1 0x04 000003bb: DUP1 000003bc: CALLDATALOAD 000003bd: PUSH1 0x01 000003bf: PUSH1 0xa0 000003c1: PUSH1 0x02 000003c3: EXP 000003c4: SUB 000003c5: AND 000003c6: SWAP1 000003c7: PUSH1 0x24 000003c9: DUP1 000003ca: CALLDATALOAD 000003cb: SWAP2 000003cc: PUSH1 0x44 000003ce: CALLDATALOAD 000003cf: SWAP2 000003d0: DUP3 000003d1: ADD 000003d2: SWAP2 000003d3: ADD 000003d4: CALLDATALOAD 000003d5: PUSH2 0x09ed 000003d8: JUMP 000003d9: JUMPDEST 000003da: CALLVALUE 000003db: DUP1 000003dc: ISZERO 000003dd: PUSH2 0x03e5 000003e0: JUMPI 000003e1: PUSH1 0x00 000003e3: DUP1 000003e4: REVERT 000003e5: JUMPDEST 000003e6: POP 000003e7: PUSH2 0x01e4 000003ea: PUSH2 0x0b27 000003ed: JUMP 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: DUP1 000003f1: ISZERO 000003f2: PUSH2 0x03fa 000003f5: JUMPI 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: POP 000003fc: PUSH2 0x01e4 000003ff: PUSH2 0x0b94 00000402: JUMP 00000403: JUMPDEST 00000404: PUSH2 0x0366 00000407: PUSH2 0x0b9a 0000040a: JUMP 0000040b: JUMPDEST 0000040c: CALLVALUE 0000040d: DUP1 0000040e: ISZERO 0000040f: PUSH2 0x0417 00000412: JUMPI 00000413: PUSH1 0x00 00000415: DUP1 00000416: REVERT 00000417: JUMPDEST 00000418: POP 00000419: PUSH2 0x01e4 0000041c: PUSH1 0x04 0000041e: CALLDATALOAD 0000041f: ISZERO 00000420: ISZERO 00000421: PUSH2 0x0c0f 00000424: JUMP 00000425: JUMPDEST 00000426: CALLVALUE 00000427: DUP1 00000428: ISZERO 00000429: PUSH2 0x0431 0000042c: JUMPI 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: REVERT 00000431: JUMPDEST 00000432: POP 00000433: PUSH2 0x01e4 00000436: PUSH2 0x0c52 00000439: JUMP 0000043a: JUMPDEST 0000043b: CALLVALUE 0000043c: DUP1 0000043d: ISZERO 0000043e: PUSH2 0x0446 00000441: JUMPI 00000442: PUSH1 0x00 00000444: DUP1 00000445: REVERT 00000446: JUMPDEST 00000447: POP 00000448: PUSH2 0x01e4 0000044b: PUSH1 0x01 0000044d: PUSH1 0xa0 0000044f: PUSH1 0x02 00000451: EXP 00000452: SUB 00000453: PUSH1 0x04 00000455: CALLDATALOAD 00000456: AND 00000457: PUSH2 0x0c57 0000045a: JUMP 0000045b: JUMPDEST 0000045c: CALLVALUE 0000045d: DUP1 0000045e: ISZERO 0000045f: PUSH2 0x0467 00000462: JUMPI 00000463: PUSH1 0x00 00000465: DUP1 00000466: REVERT 00000467: JUMPDEST 00000468: POP 00000469: PUSH2 0x02a1 0000046c: PUSH1 0x01 0000046e: PUSH1 0xa0 00000470: PUSH1 0x02 00000472: EXP 00000473: SUB 00000474: PUSH1 0x04 00000476: CALLDATALOAD 00000477: AND 00000478: PUSH2 0x0c72 0000047b: JUMP 0000047c: JUMPDEST 0000047d: CALLVALUE 0000047e: DUP1 0000047f: ISZERO 00000480: PUSH2 0x0488 00000483: JUMPI 00000484: PUSH1 0x00 00000486: DUP1 00000487: REVERT 00000488: JUMPDEST 00000489: POP 0000048a: PUSH2 0x0366 0000048d: PUSH1 0x04 0000048f: CALLDATALOAD 00000490: PUSH2 0x0c87 00000493: JUMP 00000494: JUMPDEST 00000495: CALLVALUE 00000496: DUP1 00000497: ISZERO 00000498: PUSH2 0x04a0 0000049b: JUMPI 0000049c: PUSH1 0x00 0000049e: DUP1 0000049f: REVERT 000004a0: JUMPDEST 000004a1: POP 000004a2: PUSH2 0x01e4 000004a5: PUSH2 0x0cab 000004a8: JUMP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: POP 000004b7: PUSH2 0x01e4 000004ba: PUSH2 0x0d11 000004bd: JUMP 000004be: JUMPDEST 000004bf: CALLVALUE 000004c0: DUP1 000004c1: ISZERO 000004c2: PUSH2 0x04ca 000004c5: JUMPI 000004c6: PUSH1 0x00 000004c8: DUP1 000004c9: REVERT 000004ca: JUMPDEST 000004cb: POP 000004cc: PUSH2 0x0366 000004cf: PUSH1 0x01 000004d1: PUSH1 0xa0 000004d3: PUSH1 0x02 000004d5: EXP 000004d6: SUB 000004d7: PUSH1 0x04 000004d9: CALLDATALOAD 000004da: AND 000004db: PUSH1 0x24 000004dd: CALLDATALOAD 000004de: ISZERO 000004df: ISZERO 000004e0: PUSH2 0x0d17 000004e3: JUMP 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: DUP1 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x01e4 000004f5: PUSH2 0x0d61 000004f8: JUMP 000004f9: JUMPDEST 000004fa: CALLVALUE 000004fb: DUP1 000004fc: ISZERO 000004fd: PUSH2 0x0505 00000500: JUMPI 00000501: PUSH1 0x00 00000503: DUP1 00000504: REVERT 00000505: JUMPDEST 00000506: POP 00000507: PUSH2 0x020b 0000050a: PUSH2 0x0d74 0000050d: JUMP 0000050e: JUMPDEST 0000050f: CALLVALUE 00000510: DUP1 00000511: ISZERO 00000512: PUSH2 0x051a 00000515: JUMPI 00000516: PUSH1 0x00 00000518: DUP1 00000519: REVERT 0000051a: JUMPDEST 0000051b: POP 0000051c: PUSH2 0x01e4 0000051f: PUSH2 0x0dce 00000522: JUMP 00000523: JUMPDEST 00000524: CALLVALUE 00000525: DUP1 00000526: ISZERO 00000527: PUSH2 0x052f 0000052a: JUMPI 0000052b: PUSH1 0x00 0000052d: DUP1 0000052e: REVERT 0000052f: JUMPDEST 00000530: POP 00000531: PUSH2 0x0366 00000534: PUSH2 0x0de3 00000537: JUMP 00000538: JUMPDEST 00000539: CALLVALUE 0000053a: DUP1 0000053b: ISZERO 0000053c: PUSH2 0x0544 0000053f: JUMPI 00000540: PUSH1 0x00 00000542: DUP1 00000543: REVERT 00000544: JUMPDEST 00000545: POP 00000546: PUSH2 0x02a1 00000549: PUSH1 0x01 0000054b: PUSH1 0xa0 0000054d: PUSH1 0x02 0000054f: EXP 00000550: SUB 00000551: PUSH1 0x04 00000553: CALLDATALOAD 00000554: AND 00000555: PUSH1 0x24 00000557: CALLDATALOAD 00000558: PUSH2 0x0e0e 0000055b: JUMP 0000055c: JUMPDEST 0000055d: CALLVALUE 0000055e: DUP1 0000055f: ISZERO 00000560: PUSH2 0x0568 00000563: JUMPI 00000564: PUSH1 0x00 00000566: DUP1 00000567: REVERT 00000568: JUMPDEST 00000569: POP 0000056a: PUSH1 0x40 0000056c: DUP1 0000056d: MLOAD 0000056e: PUSH1 0x20 00000570: PUSH1 0x04 00000572: DUP1 00000573: CALLDATALOAD 00000574: DUP1 00000575: DUP3 00000576: ADD 00000577: CALLDATALOAD 00000578: PUSH1 0x1f 0000057a: DUP2 0000057b: ADD 0000057c: DUP5 0000057d: SWAP1 0000057e: DIV 0000057f: DUP5 00000580: MUL 00000581: DUP6 00000582: ADD 00000583: DUP5 00000584: ADD 00000585: SWAP1 00000586: SWAP6 00000587: MSTORE 00000588: DUP5 00000589: DUP5 0000058a: MSTORE 0000058b: PUSH2 0x0366 0000058e: SWAP5 0000058f: CALLDATASIZE 00000590: SWAP5 00000591: SWAP3 00000592: SWAP4 00000593: PUSH1 0x24 00000595: SWAP4 00000596: SWAP3 00000597: DUP5 00000598: ADD 00000599: SWAP2 0000059a: SWAP1 0000059b: DUP2 0000059c: SWAP1 0000059d: DUP5 0000059e: ADD 0000059f: DUP4 000005a0: DUP3 000005a1: DUP1 000005a2: DUP3 000005a3: DUP5 000005a4: CALLDATACOPY 000005a5: POP 000005a6: SWAP5 000005a7: SWAP8 000005a8: POP 000005a9: PUSH2 0x0f3d 000005ac: SWAP7 000005ad: POP 000005ae: POP 000005af: POP 000005b0: POP 000005b1: POP 000005b2: POP 000005b3: POP 000005b4: JUMP 000005b5: JUMPDEST 000005b6: CALLVALUE 000005b7: DUP1 000005b8: ISZERO 000005b9: PUSH2 0x05c1 000005bc: JUMPI 000005bd: PUSH1 0x00 000005bf: DUP1 000005c0: REVERT 000005c1: JUMPDEST 000005c2: POP 000005c3: PUSH1 0x40 000005c5: DUP1 000005c6: MLOAD 000005c7: PUSH1 0x20 000005c9: PUSH1 0x04 000005cb: DUP1 000005cc: CALLDATALOAD 000005cd: DUP1 000005ce: DUP3 000005cf: ADD 000005d0: CALLDATALOAD 000005d1: PUSH1 0x1f 000005d3: DUP2 000005d4: ADD 000005d5: DUP5 000005d6: SWAP1 000005d7: DIV 000005d8: DUP5 000005d9: MUL 000005da: DUP6 000005db: ADD 000005dc: DUP5 000005dd: ADD 000005de: SWAP1 000005df: SWAP6 000005e0: MSTORE 000005e1: DUP5 000005e2: DUP5 000005e3: MSTORE 000005e4: PUSH2 0x0366 000005e7: SWAP5 000005e8: CALLDATASIZE 000005e9: SWAP5 000005ea: SWAP3 000005eb: SWAP4 000005ec: PUSH1 0x24 000005ee: SWAP4 000005ef: SWAP3 000005f0: DUP5 000005f1: ADD 000005f2: SWAP2 000005f3: SWAP1 000005f4: DUP2 000005f5: SWAP1 000005f6: DUP5 000005f7: ADD 000005f8: DUP4 000005f9: DUP3 000005fa: DUP1 000005fb: DUP3 000005fc: DUP5 000005fd: CALLDATACOPY 000005fe: POP 000005ff: SWAP5 00000600: SWAP8 00000601: POP 00000602: PUSH2 0x0f73 00000605: SWAP7 00000606: POP 00000607: POP 00000608: POP 00000609: POP 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: JUMP 0000060e: JUMPDEST 0000060f: CALLVALUE 00000610: DUP1 00000611: ISZERO 00000612: PUSH2 0x061a 00000615: JUMPI 00000616: PUSH1 0x00 00000618: DUP1 00000619: REVERT 0000061a: JUMPDEST 0000061b: POP 0000061c: PUSH2 0x01e4 0000061f: PUSH2 0x0fa4 00000622: JUMP 00000623: JUMPDEST 00000624: CALLVALUE 00000625: DUP1 00000626: ISZERO 00000627: PUSH2 0x062f 0000062a: JUMPI 0000062b: PUSH1 0x00 0000062d: DUP1 0000062e: REVERT 0000062f: JUMPDEST 00000630: POP 00000631: PUSH2 0x0366 00000634: PUSH1 0x04 00000636: CALLDATALOAD 00000637: PUSH2 0x0faa 0000063a: JUMP 0000063b: JUMPDEST 0000063c: CALLVALUE 0000063d: DUP1 0000063e: ISZERO 0000063f: PUSH2 0x0647 00000642: JUMPI 00000643: PUSH1 0x00 00000645: DUP1 00000646: REVERT 00000647: JUMPDEST 00000648: POP 00000649: PUSH2 0x0366 0000064c: PUSH2 0x1129 0000064f: JUMP 00000650: JUMPDEST 00000651: PUSH2 0x01e4 00000654: PUSH1 0x01 00000656: PUSH1 0xa0 00000658: PUSH1 0x02 0000065a: EXP 0000065b: SUB 0000065c: PUSH1 0x04 0000065e: CALLDATALOAD 0000065f: AND 00000660: PUSH2 0x1156 00000663: JUMP 00000664: JUMPDEST 00000665: CALLVALUE 00000666: DUP1 00000667: ISZERO 00000668: PUSH2 0x0670 0000066b: JUMPI 0000066c: PUSH1 0x00 0000066e: DUP1 0000066f: REVERT 00000670: JUMPDEST 00000671: POP 00000672: PUSH2 0x0366 00000675: PUSH2 0x1162 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH1 0x00 0000067c: DUP1 0000067d: DUP1 0000067e: CALLER 0000067f: ORIGIN 00000680: EQ 00000681: PUSH2 0x0689 00000684: JUMPI 00000685: PUSH1 0x00 00000687: DUP1 00000688: REVERT 00000689: JUMPDEST 0000068a: DUP5 0000068b: SWAP2 0000068c: POP 0000068d: PUSH8 0x29a2241af62c0000 00000696: DUP3 00000697: GT 00000698: ISZERO 00000699: PUSH2 0x06ce 0000069c: JUMPI 0000069d: PUSH9 0x056bc75e2d63100000 000006a7: PUSH2 0x06b1 000006aa: ADDRESS 000006ab: BALANCE 000006ac: DUP5 000006ad: PUSH2 0x1218 000006b0: JUMP 000006b1: JUMPDEST 000006b2: GT 000006b3: PUSH2 0x06ce 000006b6: JUMPI 000006b7: PUSH8 0x29a2241af62c0000 000006c0: SWAP2 000006c1: POP 000006c2: PUSH2 0x06cb 000006c5: DUP6 000006c6: DUP4 000006c7: PUSH2 0x1218 000006ca: JUMP 000006cb: JUMPDEST 000006cc: SWAP1 000006cd: POP 000006ce: JUMPDEST 000006cf: PUSH2 0x06d8 000006d2: DUP3 000006d3: DUP6 000006d4: PUSH2 0x122a 000006d7: JUMP 000006d8: JUMPDEST 000006d9: POP 000006da: PUSH1 0x00 000006dc: DUP2 000006dd: GT 000006de: ISZERO 000006df: PUSH2 0x0711 000006e2: JUMPI 000006e3: PUSH1 0x40 000006e5: MLOAD 000006e6: CALLER 000006e7: SWAP1 000006e8: DUP3 000006e9: ISZERO 000006ea: PUSH2 0x08fc 000006ed: MUL 000006ee: SWAP1 000006ef: DUP4 000006f0: SWAP1 000006f1: PUSH1 0x00 000006f3: DUP2 000006f4: DUP2 000006f5: DUP2 000006f6: DUP6 000006f7: DUP9 000006f8: DUP9 000006f9: CALL 000006fa: SWAP4 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: ISZERO 00000700: DUP1 00000701: ISZERO 00000702: PUSH2 0x070f 00000705: JUMPI 00000706: RETURNDATASIZE 00000707: PUSH1 0x00 00000709: DUP1 0000070a: RETURNDATACOPY 0000070b: RETURNDATASIZE 0000070c: PUSH1 0x00 0000070e: REVERT 0000070f: JUMPDEST 00000710: POP 00000711: JUMPDEST 00000712: POP 00000713: POP 00000714: SWAP3 00000715: SWAP2 00000716: POP 00000717: POP 00000718: JUMP 00000719: JUMPDEST 0000071a: PUSH1 0x01 0000071c: PUSH1 0xa0 0000071e: PUSH1 0x02 00000720: EXP 00000721: SUB 00000722: AND 00000723: PUSH1 0x00 00000725: SWAP1 00000726: DUP2 00000727: MSTORE 00000728: PUSH1 0x08 0000072a: PUSH1 0x20 0000072c: SWAP1 0000072d: DUP2 0000072e: MSTORE 0000072f: PUSH1 0x40 00000731: DUP1 00000732: DUP4 00000733: KECCAK256 00000734: SLOAD 00000735: PUSH1 0x06 00000737: SWAP1 00000738: SWAP3 00000739: MSTORE 0000073a: SWAP1 0000073b: SWAP2 0000073c: KECCAK256 0000073d: SLOAD 0000073e: PUSH1 0x0b 00000740: SLOAD 00000741: PUSH9 0x010000000000000000 0000074b: SWAP2 0000074c: MUL 0000074d: SWAP2 0000074e: SWAP1 0000074f: SWAP2 00000750: SUB 00000751: DIV 00000752: SWAP1 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH1 0x00 00000757: DUP1 00000758: SLOAD 00000759: PUSH1 0x40 0000075b: DUP1 0000075c: MLOAD 0000075d: PUSH1 0x20 0000075f: PUSH1 0x02 00000761: PUSH1 0x01 00000763: DUP6 00000764: AND 00000765: ISZERO 00000766: PUSH2 0x0100 00000769: MUL 0000076a: PUSH1 0x00 0000076c: NOT 0000076d: ADD 0000076e: SWAP1 0000076f: SWAP5 00000770: AND 00000771: SWAP4 00000772: SWAP1 00000773: SWAP4 00000774: DIV 00000775: PUSH1 0x1f 00000777: DUP2 00000778: ADD 00000779: DUP5 0000077a: SWAP1 0000077b: DIV 0000077c: DUP5 0000077d: MUL 0000077e: DUP3 0000077f: ADD 00000780: DUP5 00000781: ADD 00000782: SWAP1 00000783: SWAP3 00000784: MSTORE 00000785: DUP2 00000786: DUP2 00000787: MSTORE 00000788: SWAP3 00000789: SWAP2 0000078a: DUP4 0000078b: ADD 0000078c: DUP3 0000078d: DUP3 0000078e: DUP1 0000078f: ISZERO 00000790: PUSH2 0x07da 00000793: JUMPI 00000794: DUP1 00000795: PUSH1 0x1f 00000797: LT 00000798: PUSH2 0x07af 0000079b: JUMPI 0000079c: PUSH2 0x0100 0000079f: DUP1 000007a0: DUP4 000007a1: SLOAD 000007a2: DIV 000007a3: MUL 000007a4: DUP4 000007a5: MSTORE 000007a6: SWAP2 000007a7: PUSH1 0x20 000007a9: ADD 000007aa: SWAP2 000007ab: PUSH2 0x07da 000007ae: JUMP 000007af: JUMPDEST 000007b0: DUP3 000007b1: ADD 000007b2: SWAP2 000007b3: SWAP1 000007b4: PUSH1 0x00 000007b6: MSTORE 000007b7: PUSH1 0x20 000007b9: PUSH1 0x00 000007bb: KECCAK256 000007bc: SWAP1 000007bd: JUMPDEST 000007be: DUP2 000007bf: SLOAD 000007c0: DUP2 000007c1: MSTORE 000007c2: SWAP1 000007c3: PUSH1 0x01 000007c5: ADD 000007c6: SWAP1 000007c7: PUSH1 0x20 000007c9: ADD 000007ca: DUP1 000007cb: DUP4 000007cc: GT 000007cd: PUSH2 0x07bd 000007d0: JUMPI 000007d1: DUP3 000007d2: SWAP1 000007d3: SUB 000007d4: PUSH1 0x1f 000007d6: AND 000007d7: DUP3 000007d8: ADD 000007d9: SWAP2 000007da: JUMPDEST 000007db: POP 000007dc: POP 000007dd: POP 000007de: POP 000007df: POP 000007e0: DUP2 000007e1: JUMP 000007e2: JUMPDEST 000007e3: PUSH1 0x0e 000007e5: PUSH1 0x20 000007e7: MSTORE 000007e8: PUSH1 0x00 000007ea: SWAP1 000007eb: DUP2 000007ec: MSTORE 000007ed: PUSH1 0x40 000007ef: SWAP1 000007f0: KECCAK256 000007f1: SLOAD 000007f2: PUSH1 0xff 000007f4: AND 000007f5: DUP2 000007f6: JUMP 000007f7: JUMPDEST 000007f8: PUSH1 0x00 000007fa: DUP1 000007fb: DUP1 000007fc: DUP1 000007fd: DUP1 000007fe: PUSH2 0x0812 00000801: PUSH2 0x080b 00000804: DUP8 00000805: PUSH1 0x12 00000807: PUSH2 0x1825 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH1 0x64 0000080e: PUSH2 0x1857 00000811: JUMP 00000812: JUMPDEST 00000813: SWAP4 00000814: POP 00000815: PUSH2 0x0822 00000818: PUSH2 0x080b 0000081b: DUP8 0000081c: PUSH1 0x02 0000081e: PUSH2 0x1825 00000821: JUMP 00000822: JUMPDEST 00000823: SWAP3 00000824: POP 00000825: PUSH2 0x0837 00000828: PUSH2 0x0831 0000082b: DUP8 0000082c: DUP7 0000082d: PUSH2 0x1218 00000830: JUMP 00000831: JUMPDEST 00000832: DUP5 00000833: PUSH2 0x1218 00000836: JUMP 00000837: JUMPDEST 00000838: SWAP2 00000839: POP 0000083a: PUSH2 0x0842 0000083d: DUP3 0000083e: PUSH2 0x186e 00000841: JUMP 00000842: JUMPDEST 00000843: SWAP7 00000844: SWAP6 00000845: POP 00000846: POP 00000847: POP 00000848: POP 00000849: POP 0000084a: POP 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x0a 0000084f: SLOAD 00000850: JUMPDEST 00000851: SWAP1 00000852: JUMP 00000853: JUMPDEST 00000854: PUSH20 0x523a819e6dd9295dba794c275627c95fa0644e8d 00000869: DUP2 0000086a: JUMP 0000086b: JUMPDEST 0000086c: PUSH1 0x00 0000086e: DUP1 0000086f: PUSH1 0x00 00000871: DUP1 00000872: PUSH1 0x00 00000874: PUSH1 0x0a 00000876: SLOAD 00000877: DUP7 00000878: GT 00000879: ISZERO 0000087a: ISZERO 0000087b: ISZERO 0000087c: PUSH2 0x0884 0000087f: JUMPI 00000880: PUSH1 0x00 00000882: DUP1 00000883: REVERT 00000884: JUMPDEST 00000885: PUSH2 0x088d 00000888: DUP7 00000889: PUSH2 0x1900 0000088c: JUMP 0000088d: JUMPDEST 0000088e: SWAP4 0000088f: POP 00000890: PUSH2 0x089d 00000893: PUSH2 0x080b 00000896: DUP6 00000897: PUSH1 0x12 00000899: PUSH2 0x1825 0000089c: JUMP 0000089d: JUMPDEST 0000089e: SWAP3 0000089f: POP 000008a0: PUSH2 0x08ad 000008a3: PUSH2 0x080b 000008a6: DUP6 000008a7: PUSH1 0x02 000008a9: PUSH2 0x1825 000008ac: JUMP 000008ad: JUMPDEST 000008ae: SWAP2 000008af: POP 000008b0: PUSH2 0x0842 000008b3: PUSH2 0x08bc 000008b6: DUP6 000008b7: DUP6 000008b8: PUSH2 0x1218 000008bb: JUMP 000008bc: JUMPDEST 000008bd: DUP4 000008be: PUSH2 0x1218 000008c1: JUMP 000008c2: JUMPDEST 000008c3: PUSH1 0x0d 000008c5: SLOAD 000008c6: PUSH1 0xff 000008c8: AND 000008c9: DUP2 000008ca: JUMP 000008cb: JUMPDEST 000008cc: CALLER 000008cd: PUSH1 0x00 000008cf: DUP2 000008d0: DUP2 000008d1: MSTORE 000008d2: PUSH1 0x0c 000008d4: PUSH1 0x20 000008d6: MSTORE 000008d7: PUSH1 0x40 000008d9: SWAP1 000008da: KECCAK256 000008db: SLOAD 000008dc: PUSH1 0xff 000008de: AND 000008df: ISZERO 000008e0: ISZERO 000008e1: PUSH2 0x08e9 000008e4: JUMPI 000008e5: PUSH1 0x00 000008e7: DUP1 000008e8: REVERT 000008e9: JUMPDEST 000008ea: POP 000008eb: PUSH1 0x01 000008ed: PUSH1 0xa0 000008ef: PUSH1 0x02 000008f1: EXP 000008f2: SUB 000008f3: SWAP2 000008f4: SWAP1 000008f5: SWAP2 000008f6: AND 000008f7: PUSH1 0x00 000008f9: SWAP1 000008fa: DUP2 000008fb: MSTORE 000008fc: PUSH1 0x0e 000008fe: PUSH1 0x20 00000900: MSTORE 00000901: PUSH1 0x40 00000903: SWAP1 00000904: KECCAK256 00000905: DUP1 00000906: SLOAD 00000907: PUSH1 0xff 00000909: NOT 0000090a: AND 0000090b: SWAP2 0000090c: ISZERO 0000090d: ISZERO 0000090e: SWAP2 0000090f: SWAP1 00000910: SWAP2 00000911: OR 00000912: SWAP1 00000913: SSTORE 00000914: JUMP 00000915: JUMPDEST 00000916: PUSH1 0x12 00000918: DUP2 00000919: JUMP 0000091a: JUMPDEST 0000091b: PUSH1 0x00 0000091d: DUP1 0000091e: PUSH1 0x00 00000920: PUSH2 0x0929 00000923: PUSH1 0x01 00000925: PUSH2 0x0c0f 00000928: JUMP 00000929: JUMPDEST 0000092a: GT 0000092b: PUSH2 0x0933 0000092e: JUMPI 0000092f: PUSH1 0x00 00000931: DUP1 00000932: REVERT 00000933: JUMPDEST 00000934: CALLER 00000935: SWAP2 00000936: POP 00000937: PUSH2 0x0940 0000093a: PUSH1 0x00 0000093c: PUSH2 0x0c0f 0000093f: JUMP 00000940: JUMPDEST 00000941: PUSH1 0x01 00000943: PUSH1 0xa0 00000945: PUSH1 0x02 00000947: EXP 00000948: SUB 00000949: DUP4 0000094a: AND 0000094b: PUSH1 0x00 0000094d: DUP2 0000094e: DUP2 0000094f: MSTORE 00000950: PUSH1 0x08 00000952: PUSH1 0x20 00000954: SWAP1 00000955: DUP2 00000956: MSTORE 00000957: PUSH1 0x40 00000959: DUP1 0000095a: DUP4 0000095b: KECCAK256 0000095c: DUP1 0000095d: SLOAD 0000095e: PUSH9 0x010000000000000000 00000968: DUP8 00000969: MUL 0000096a: ADD 0000096b: SWAP1 0000096c: SSTORE 0000096d: PUSH1 0x07 0000096f: SWAP1 00000970: SWAP2 00000971: MSTORE 00000972: DUP1 00000973: DUP3 00000974: KECCAK256 00000975: DUP1 00000976: SLOAD 00000977: SWAP1 00000978: DUP4 00000979: SWAP1 0000097a: SSTORE 0000097b: SWAP1 0000097c: MLOAD 0000097d: SWAP4 0000097e: ADD 0000097f: SWAP4 00000980: POP 00000981: SWAP1 00000982: SWAP2 00000983: DUP4 00000984: ISZERO 00000985: PUSH2 0x08fc 00000988: MUL 00000989: SWAP2 0000098a: DUP5 0000098b: SWAP2 0000098c: SWAP1 0000098d: DUP2 0000098e: DUP2 0000098f: DUP2 00000990: DUP6 00000991: DUP9 00000992: DUP9 00000993: CALL 00000994: SWAP4 00000995: POP 00000996: POP 00000997: POP 00000998: POP 00000999: ISZERO 0000099a: DUP1 0000099b: ISZERO 0000099c: PUSH2 0x09a9 0000099f: JUMPI 000009a0: RETURNDATASIZE 000009a1: PUSH1 0x00 000009a3: DUP1 000009a4: RETURNDATACOPY 000009a5: RETURNDATASIZE 000009a6: PUSH1 0x00 000009a8: REVERT 000009a9: JUMPDEST 000009aa: POP 000009ab: PUSH1 0x40 000009ad: DUP1 000009ae: MLOAD 000009af: DUP3 000009b0: DUP2 000009b1: MSTORE 000009b2: SWAP1 000009b3: MLOAD 000009b4: PUSH1 0x01 000009b6: PUSH1 0xa0 000009b8: PUSH1 0x02 000009ba: EXP 000009bb: SUB 000009bc: DUP5 000009bd: AND 000009be: SWAP2 000009bf: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 000009e0: SWAP2 000009e1: SWAP1 000009e2: DUP2 000009e3: SWAP1 000009e4: SUB 000009e5: PUSH1 0x20 000009e7: ADD 000009e8: SWAP1 000009e9: LOG2 000009ea: POP 000009eb: POP 000009ec: JUMP 000009ed: JUMPDEST 000009ee: PUSH1 0x00 000009f0: DUP1 000009f1: PUSH1 0x01 000009f3: PUSH1 0xa0 000009f5: PUSH1 0x02 000009f7: EXP 000009f8: SUB 000009f9: DUP7 000009fa: AND 000009fb: ISZERO 000009fc: ISZERO 000009fd: PUSH2 0x0a05 00000a00: JUMPI 00000a01: PUSH1 0x00 00000a03: DUP1 00000a04: REVERT 00000a05: JUMPDEST 00000a06: PUSH1 0x01 00000a08: PUSH1 0xa0 00000a0a: PUSH1 0x02 00000a0c: EXP 00000a0d: SUB 00000a0e: DUP7 00000a0f: AND 00000a10: PUSH1 0x00 00000a12: SWAP1 00000a13: DUP2 00000a14: MSTORE 00000a15: PUSH1 0x0e 00000a17: PUSH1 0x20 00000a19: MSTORE 00000a1a: PUSH1 0x40 00000a1c: SWAP1 00000a1d: KECCAK256 00000a1e: SLOAD 00000a1f: PUSH1 0xff 00000a21: AND 00000a22: ISZERO 00000a23: ISZERO 00000a24: PUSH1 0x01 00000a26: EQ 00000a27: PUSH2 0x0a2f 00000a2a: JUMPI 00000a2b: PUSH1 0x00 00000a2d: DUP1 00000a2e: REVERT 00000a2f: JUMPDEST 00000a30: PUSH2 0x0a39 00000a33: DUP7 00000a34: DUP7 00000a35: PUSH2 0x0e0e 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: ISZERO 00000a3b: ISZERO 00000a3c: PUSH2 0x0a44 00000a3f: JUMPI 00000a40: PUSH1 0x00 00000a42: DUP1 00000a43: REVERT 00000a44: JUMPDEST 00000a45: PUSH2 0x0a4d 00000a48: DUP7 00000a49: PUSH2 0x196a 00000a4c: JUMP 00000a4d: JUMPDEST 00000a4e: ISZERO 00000a4f: PUSH2 0x0b1b 00000a52: JUMPI 00000a53: POP 00000a54: PUSH1 0x40 00000a56: MLOAD 00000a57: PUSH32 0xc0ee0b8a00000000000000000000000000000000000000000000000000000000 00000a78: DUP2 00000a79: MSTORE 00000a7a: CALLER 00000a7b: PUSH1 0x04 00000a7d: DUP3 00000a7e: ADD 00000a7f: DUP2 00000a80: DUP2 00000a81: MSTORE 00000a82: PUSH1 0x24 00000a84: DUP4 00000a85: ADD 00000a86: DUP8 00000a87: SWAP1 00000a88: MSTORE 00000a89: PUSH1 0x60 00000a8b: PUSH1 0x44 00000a8d: DUP5 00000a8e: ADD 00000a8f: SWAP1 00000a90: DUP2 00000a91: MSTORE 00000a92: PUSH1 0x64 00000a94: DUP5 00000a95: ADD 00000a96: DUP7 00000a97: SWAP1 00000a98: MSTORE 00000a99: DUP9 00000a9a: SWAP4 00000a9b: PUSH1 0x01 00000a9d: PUSH1 0xa0 00000a9f: PUSH1 0x02 00000aa1: EXP 00000aa2: SUB 00000aa3: DUP6 00000aa4: AND 00000aa5: SWAP4 00000aa6: PUSH4 0xc0ee0b8a 00000aab: SWAP4 00000aac: SWAP1 00000aad: SWAP3 00000aae: DUP11 00000aaf: SWAP3 00000ab0: DUP11 00000ab1: SWAP3 00000ab2: DUP11 00000ab3: SWAP3 00000ab4: SWAP1 00000ab5: SWAP2 00000ab6: PUSH1 0x84 00000ab8: ADD 00000ab9: DUP5 00000aba: DUP5 00000abb: DUP1 00000abc: DUP3 00000abd: DUP5 00000abe: CALLDATACOPY 00000abf: DUP3 00000ac0: ADD 00000ac1: SWAP2 00000ac2: POP 00000ac3: POP 00000ac4: SWAP6 00000ac5: POP 00000ac6: POP 00000ac7: POP 00000ac8: POP 00000ac9: POP 00000aca: POP 00000acb: PUSH1 0x20 00000acd: PUSH1 0x40 00000acf: MLOAD 00000ad0: DUP1 00000ad1: DUP4 00000ad2: SUB 00000ad3: DUP2 00000ad4: PUSH1 0x00 00000ad6: DUP8 00000ad7: DUP1 00000ad8: EXTCODESIZE 00000ad9: ISZERO 00000ada: DUP1 00000adb: ISZERO 00000adc: PUSH2 0x0ae4 00000adf: JUMPI 00000ae0: PUSH1 0x00 00000ae2: DUP1 00000ae3: REVERT 00000ae4: JUMPDEST 00000ae5: POP 00000ae6: GAS 00000ae7: CALL 00000ae8: ISZERO 00000ae9: DUP1 00000aea: ISZERO 00000aeb: PUSH2 0x0af8 00000aee: JUMPI 00000aef: RETURNDATASIZE 00000af0: PUSH1 0x00 00000af2: DUP1 00000af3: RETURNDATACOPY 00000af4: RETURNDATASIZE 00000af5: PUSH1 0x00 00000af7: REVERT 00000af8: JUMPDEST 00000af9: POP 00000afa: POP 00000afb: POP 00000afc: POP 00000afd: PUSH1 0x40 00000aff: MLOAD 00000b00: RETURNDATASIZE 00000b01: PUSH1 0x20 00000b03: DUP2 00000b04: LT 00000b05: ISZERO 00000b06: PUSH2 0x0b0e 00000b09: JUMPI 00000b0a: PUSH1 0x00 00000b0c: DUP1 00000b0d: REVERT 00000b0e: JUMPDEST 00000b0f: POP 00000b10: MLOAD 00000b11: ISZERO 00000b12: ISZERO 00000b13: PUSH2 0x0b1b 00000b16: JUMPI 00000b17: PUSH1 0x00 00000b19: DUP1 00000b1a: REVERT 00000b1b: JUMPDEST 00000b1c: POP 00000b1d: PUSH1 0x01 00000b1f: SWAP6 00000b20: SWAP5 00000b21: POP 00000b22: POP 00000b23: POP 00000b24: POP 00000b25: POP 00000b26: JUMP 00000b27: JUMPDEST 00000b28: PUSH1 0x00 00000b2a: DUP1 00000b2b: PUSH1 0x00 00000b2d: DUP1 00000b2e: PUSH1 0x00 00000b30: PUSH1 0x0a 00000b32: SLOAD 00000b33: PUSH1 0x00 00000b35: EQ 00000b36: ISZERO 00000b37: PUSH2 0x0b47 00000b3a: JUMPI 00000b3b: PUSH5 0x0218711a00 00000b41: SWAP5 00000b42: POP 00000b43: PUSH2 0x0b8d 00000b46: JUMP 00000b47: JUMPDEST 00000b48: PUSH2 0x0b58 00000b4b: PUSH8 0x0de0b6b3a7640000 00000b54: PUSH2 0x1900 00000b57: JUMP 00000b58: JUMPDEST 00000b59: SWAP4 00000b5a: POP 00000b5b: PUSH2 0x0b68 00000b5e: PUSH2 0x080b 00000b61: DUP6 00000b62: PUSH1 0x12 00000b64: PUSH2 0x1825 00000b67: JUMP 00000b68: JUMPDEST 00000b69: SWAP3 00000b6a: POP 00000b6b: PUSH2 0x0b78 00000b6e: PUSH2 0x080b 00000b71: DUP6 00000b72: PUSH1 0x02 00000b74: PUSH2 0x1825 00000b77: JUMP 00000b78: JUMPDEST 00000b79: SWAP2 00000b7a: POP 00000b7b: PUSH2 0x0b87 00000b7e: PUSH2 0x08bc 00000b81: DUP6 00000b82: DUP6 00000b83: PUSH2 0x1218 00000b86: JUMP 00000b87: JUMPDEST 00000b88: SWAP1 00000b89: POP 00000b8a: DUP1 00000b8b: SWAP5 00000b8c: POP 00000b8d: JUMPDEST 00000b8e: POP 00000b8f: POP 00000b90: POP 00000b91: POP 00000b92: SWAP1 00000b93: JUMP 00000b94: JUMPDEST 00000b95: PUSH1 0x04 00000b97: SLOAD 00000b98: DUP2 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: PUSH1 0x00 00000b9d: PUSH2 0x0baa 00000ba0: PUSH1 0x03 00000ba2: SLOAD 00000ba3: PUSH1 0x02 00000ba5: SLOAD 00000ba6: PUSH2 0x1218 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: SWAP1 00000bac: POP 00000bad: PUSH1 0x01 00000baf: DUP2 00000bb0: GT 00000bb1: PUSH2 0x0bb9 00000bb4: JUMPI 00000bb5: PUSH1 0x00 00000bb7: DUP1 00000bb8: REVERT 00000bb9: JUMPDEST 00000bba: PUSH2 0x0bc5 00000bbd: PUSH1 0x02 00000bbf: SLOAD 00000bc0: DUP3 00000bc1: PUSH2 0x1972 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: PUSH1 0x02 00000bc8: SSTORE 00000bc9: PUSH1 0x40 00000bcb: MLOAD 00000bcc: PUSH20 0x523a819e6dd9295dba794c275627c95fa0644e8d 00000be1: SWAP1 00000be2: PUSH3 0x061a80 00000be6: SWAP1 00000be7: DUP4 00000be8: SWAP1 00000be9: PUSH1 0x00 00000beb: DUP2 00000bec: DUP2 00000bed: DUP2 00000bee: DUP6 00000bef: DUP9 00000bf0: DUP9 00000bf1: CALL 00000bf2: SWAP4 00000bf3: POP 00000bf4: POP 00000bf5: POP 00000bf6: POP 00000bf7: ISZERO 00000bf8: ISZERO 00000bf9: PUSH2 0x0c0c 00000bfc: JUMPI 00000bfd: PUSH2 0x0c08 00000c00: PUSH1 0x02 00000c02: SLOAD 00000c03: DUP3 00000c04: PUSH2 0x1218 00000c07: JUMP 00000c08: JUMPDEST 00000c09: PUSH1 0x02 00000c0b: SSTORE 00000c0c: JUMPDEST 00000c0d: POP 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: PUSH1 0x00 00000c12: CALLER 00000c13: DUP3 00000c14: PUSH2 0x0c25 00000c17: JUMPI 00000c18: PUSH2 0x0c20 00000c1b: DUP2 00000c1c: PUSH2 0x0719 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: PUSH2 0x0c49 00000c24: JUMP 00000c25: JUMPDEST 00000c26: PUSH1 0x01 00000c28: PUSH1 0xa0 00000c2a: PUSH1 0x02 00000c2c: EXP 00000c2d: SUB 00000c2e: DUP2 00000c2f: AND 00000c30: PUSH1 0x00 00000c32: SWAP1 00000c33: DUP2 00000c34: MSTORE 00000c35: PUSH1 0x07 00000c37: PUSH1 0x20 00000c39: MSTORE 00000c3a: PUSH1 0x40 00000c3c: SWAP1 00000c3d: KECCAK256 00000c3e: SLOAD 00000c3f: PUSH2 0x0c47 00000c42: DUP3 00000c43: PUSH2 0x0719 00000c46: JUMP 00000c47: JUMPDEST 00000c48: ADD 00000c49: JUMPDEST 00000c4a: SWAP2 00000c4b: POP 00000c4c: JUMPDEST 00000c4d: POP 00000c4e: SWAP2 00000c4f: SWAP1 00000c50: POP 00000c51: JUMP 00000c52: JUMPDEST 00000c53: ADDRESS 00000c54: BALANCE 00000c55: SWAP1 00000c56: JUMP 00000c57: JUMPDEST 00000c58: PUSH1 0x01 00000c5a: PUSH1 0xa0 00000c5c: PUSH1 0x02 00000c5e: EXP 00000c5f: SUB 00000c60: AND 00000c61: PUSH1 0x00 00000c63: SWAP1 00000c64: DUP2 00000c65: MSTORE 00000c66: PUSH1 0x06 00000c68: PUSH1 0x20 00000c6a: MSTORE 00000c6b: PUSH1 0x40 00000c6d: SWAP1 00000c6e: KECCAK256 00000c6f: SLOAD 00000c70: SWAP1 00000c71: JUMP 00000c72: JUMPDEST 00000c73: PUSH1 0x0c 00000c75: PUSH1 0x20 00000c77: MSTORE 00000c78: PUSH1 0x00 00000c7a: SWAP1 00000c7b: DUP2 00000c7c: MSTORE 00000c7d: PUSH1 0x40 00000c7f: SWAP1 00000c80: KECCAK256 00000c81: SLOAD 00000c82: PUSH1 0xff 00000c84: AND 00000c85: DUP2 00000c86: JUMP 00000c87: JUMPDEST 00000c88: CALLER 00000c89: PUSH1 0x00 00000c8b: DUP2 00000c8c: DUP2 00000c8d: MSTORE 00000c8e: PUSH1 0x0c 00000c90: PUSH1 0x20 00000c92: MSTORE 00000c93: PUSH1 0x40 00000c95: SWAP1 00000c96: KECCAK256 00000c97: SLOAD 00000c98: PUSH1 0xff 00000c9a: AND 00000c9b: ISZERO 00000c9c: ISZERO 00000c9d: PUSH2 0x0ca5 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP1 00000ca4: REVERT 00000ca5: JUMPDEST 00000ca6: POP 00000ca7: PUSH1 0x04 00000ca9: SSTORE 00000caa: JUMP 00000cab: JUMPDEST 00000cac: PUSH1 0x00 00000cae: DUP1 00000caf: PUSH1 0x00 00000cb1: DUP1 00000cb2: PUSH1 0x00 00000cb4: PUSH1 0x0a 00000cb6: SLOAD 00000cb7: PUSH1 0x00 00000cb9: EQ 00000cba: ISZERO 00000cbb: PUSH2 0x0ccb 00000cbe: JUMPI 00000cbf: PUSH5 0x028fa6ae00 00000cc5: SWAP5 00000cc6: POP 00000cc7: PUSH2 0x0b8d 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: PUSH2 0x0cdc 00000ccf: PUSH8 0x0de0b6b3a7640000 00000cd8: PUSH2 0x1900 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: SWAP4 00000cde: POP 00000cdf: PUSH2 0x0cec 00000ce2: PUSH2 0x080b 00000ce5: DUP6 00000ce6: PUSH1 0x12 00000ce8: PUSH2 0x1825 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: SWAP3 00000cee: POP 00000cef: PUSH2 0x0cfc 00000cf2: PUSH2 0x080b 00000cf5: DUP6 00000cf6: PUSH1 0x02 00000cf8: PUSH2 0x1825 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: SWAP2 00000cfe: POP 00000cff: PUSH2 0x0b87 00000d02: PUSH2 0x0d0b 00000d05: DUP6 00000d06: DUP6 00000d07: PUSH2 0x1972 00000d0a: JUMP 00000d0b: JUMPDEST 00000d0c: DUP4 00000d0d: PUSH2 0x1972 00000d10: JUMP 00000d11: JUMPDEST 00000d12: PUSH1 0x03 00000d14: SLOAD 00000d15: DUP2 00000d16: JUMP 00000d17: JUMPDEST 00000d18: CALLER 00000d19: PUSH1 0x00 00000d1b: DUP2 00000d1c: DUP2 00000d1d: MSTORE 00000d1e: PUSH1 0x0c 00000d20: PUSH1 0x20 00000d22: MSTORE 00000d23: PUSH1 0x40 00000d25: SWAP1 00000d26: KECCAK256 00000d27: SLOAD 00000d28: PUSH1 0xff 00000d2a: AND 00000d2b: ISZERO 00000d2c: ISZERO 00000d2d: PUSH2 0x0d35 00000d30: JUMPI 00000d31: PUSH1 0x00 00000d33: DUP1 00000d34: REVERT 00000d35: JUMPDEST 00000d36: POP 00000d37: PUSH1 0x01 00000d39: PUSH1 0xa0 00000d3b: PUSH1 0x02 00000d3d: EXP 00000d3e: SUB 00000d3f: SWAP2 00000d40: SWAP1 00000d41: SWAP2 00000d42: AND 00000d43: PUSH1 0x00 00000d45: SWAP1 00000d46: DUP2 00000d47: MSTORE 00000d48: PUSH1 0x0c 00000d4a: PUSH1 0x20 00000d4c: MSTORE 00000d4d: PUSH1 0x40 00000d4f: SWAP1 00000d50: KECCAK256 00000d51: DUP1 00000d52: SLOAD 00000d53: PUSH1 0xff 00000d55: NOT 00000d56: AND 00000d57: SWAP2 00000d58: ISZERO 00000d59: ISZERO 00000d5a: SWAP2 00000d5b: SWAP1 00000d5c: SWAP2 00000d5d: OR 00000d5e: SWAP1 00000d5f: SSTORE 00000d60: JUMP 00000d61: JUMPDEST 00000d62: PUSH1 0x00 00000d64: CALLER 00000d65: PUSH2 0x0d6d 00000d68: DUP2 00000d69: PUSH2 0x0c57 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: SWAP2 00000d6f: POP 00000d70: JUMPDEST 00000d71: POP 00000d72: SWAP1 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH1 0x01 00000d77: DUP1 00000d78: SLOAD 00000d79: PUSH1 0x40 00000d7b: DUP1 00000d7c: MLOAD 00000d7d: PUSH1 0x20 00000d7f: PUSH1 0x02 00000d81: DUP5 00000d82: DUP7 00000d83: AND 00000d84: ISZERO 00000d85: PUSH2 0x0100 00000d88: MUL 00000d89: PUSH1 0x00 00000d8b: NOT 00000d8c: ADD 00000d8d: SWAP1 00000d8e: SWAP5 00000d8f: AND 00000d90: SWAP4 00000d91: SWAP1 00000d92: SWAP4 00000d93: DIV 00000d94: PUSH1 0x1f 00000d96: DUP2 00000d97: ADD 00000d98: DUP5 00000d99: SWAP1 00000d9a: DIV 00000d9b: DUP5 00000d9c: MUL 00000d9d: DUP3 00000d9e: ADD 00000d9f: DUP5 00000da0: ADD 00000da1: SWAP1 00000da2: SWAP3 00000da3: MSTORE 00000da4: DUP2 00000da5: DUP2 00000da6: MSTORE 00000da7: SWAP3 00000da8: SWAP2 00000da9: DUP4 00000daa: ADD 00000dab: DUP3 00000dac: DUP3 00000dad: DUP1 00000dae: ISZERO 00000daf: PUSH2 0x07da 00000db2: JUMPI 00000db3: DUP1 00000db4: PUSH1 0x1f 00000db6: LT 00000db7: PUSH2 0x07af 00000dba: JUMPI 00000dbb: PUSH2 0x0100 00000dbe: DUP1 00000dbf: DUP4 00000dc0: SLOAD 00000dc1: DIV 00000dc2: MUL 00000dc3: DUP4 00000dc4: MSTORE 00000dc5: SWAP2 00000dc6: PUSH1 0x20 00000dc8: ADD 00000dc9: SWAP2 00000dca: PUSH2 0x07da 00000dcd: JUMP 00000dce: JUMPDEST 00000dcf: PUSH1 0x00 00000dd1: PUSH2 0x0dde 00000dd4: PUSH1 0x03 00000dd6: SLOAD 00000dd7: PUSH1 0x02 00000dd9: SLOAD 00000dda: PUSH2 0x1218 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: SWAP1 00000de0: POP 00000de1: SWAP1 00000de2: JUMP 00000de3: JUMPDEST 00000de4: CALLER 00000de5: PUSH1 0x00 00000de7: DUP2 00000de8: DUP2 00000de9: MSTORE 00000dea: PUSH1 0x0c 00000dec: PUSH1 0x20 00000dee: MSTORE 00000def: PUSH1 0x40 00000df1: SWAP1 00000df2: KECCAK256 00000df3: SLOAD 00000df4: PUSH1 0xff 00000df6: AND 00000df7: ISZERO 00000df8: ISZERO 00000df9: PUSH2 0x0e01 00000dfc: JUMPI 00000dfd: PUSH1 0x00 00000dff: DUP1 00000e00: REVERT 00000e01: JUMPDEST 00000e02: POP 00000e03: PUSH1 0x0d 00000e05: DUP1 00000e06: SLOAD 00000e07: PUSH1 0xff 00000e09: NOT 00000e0a: AND 00000e0b: SWAP1 00000e0c: SSTORE 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: PUSH1 0x00 00000e11: DUP1 00000e12: PUSH1 0x00 00000e14: PUSH2 0x0e1b 00000e17: PUSH2 0x0d61 00000e1a: JUMP 00000e1b: JUMPDEST 00000e1c: GT 00000e1d: PUSH2 0x0e25 00000e20: JUMPI 00000e21: PUSH1 0x00 00000e23: DUP1 00000e24: REVERT 00000e25: JUMPDEST 00000e26: POP 00000e27: CALLER 00000e28: PUSH1 0x00 00000e2a: DUP2 00000e2b: DUP2 00000e2c: MSTORE 00000e2d: PUSH1 0x06 00000e2f: PUSH1 0x20 00000e31: MSTORE 00000e32: PUSH1 0x40 00000e34: SWAP1 00000e35: KECCAK256 00000e36: SLOAD 00000e37: DUP4 00000e38: GT 00000e39: ISZERO 00000e3a: PUSH2 0x0e42 00000e3d: JUMPI 00000e3e: PUSH1 0x00 00000e40: DUP1 00000e41: REVERT 00000e42: JUMPDEST 00000e43: PUSH1 0x00 00000e45: PUSH2 0x0e4e 00000e48: PUSH1 0x01 00000e4a: PUSH2 0x0c0f 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: GT 00000e50: ISZERO 00000e51: PUSH2 0x0e5c 00000e54: JUMPI 00000e55: PUSH2 0x0e5c 00000e58: PUSH2 0x091a 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH1 0x01 00000e5f: PUSH1 0xa0 00000e61: PUSH1 0x02 00000e63: EXP 00000e64: SUB 00000e65: DUP2 00000e66: AND 00000e67: PUSH1 0x00 00000e69: SWAP1 00000e6a: DUP2 00000e6b: MSTORE 00000e6c: PUSH1 0x06 00000e6e: PUSH1 0x20 00000e70: MSTORE 00000e71: PUSH1 0x40 00000e73: SWAP1 00000e74: KECCAK256 00000e75: SLOAD 00000e76: PUSH2 0x0e7f 00000e79: SWAP1 00000e7a: DUP5 00000e7b: PUSH2 0x1218 00000e7e: JUMP 00000e7f: JUMPDEST 00000e80: PUSH1 0x01 00000e82: PUSH1 0xa0 00000e84: PUSH1 0x02 00000e86: EXP 00000e87: SUB 00000e88: DUP1 00000e89: DUP4 00000e8a: AND 00000e8b: PUSH1 0x00 00000e8d: SWAP1 00000e8e: DUP2 00000e8f: MSTORE 00000e90: PUSH1 0x06 00000e92: PUSH1 0x20 00000e94: MSTORE 00000e95: PUSH1 0x40 00000e97: DUP1 00000e98: DUP3 00000e99: KECCAK256 00000e9a: SWAP4 00000e9b: SWAP1 00000e9c: SWAP4 00000e9d: SSTORE 00000e9e: SWAP1 00000e9f: DUP7 00000ea0: AND 00000ea1: DUP2 00000ea2: MSTORE 00000ea3: KECCAK256 00000ea4: SLOAD 00000ea5: PUSH2 0x0eae 00000ea8: SWAP1 00000ea9: DUP5 00000eaa: PUSH2 0x1972 00000ead: JUMP 00000eae: JUMPDEST 00000eaf: PUSH1 0x01 00000eb1: PUSH1 0xa0 00000eb3: PUSH1 0x02 00000eb5: EXP 00000eb6: SUB 00000eb7: DUP6 00000eb8: DUP2 00000eb9: AND 00000eba: PUSH1 0x00 00000ebc: DUP2 00000ebd: DUP2 00000ebe: MSTORE 00000ebf: PUSH1 0x06 00000ec1: PUSH1 0x20 00000ec3: SWAP1 00000ec4: DUP2 00000ec5: MSTORE 00000ec6: PUSH1 0x40 00000ec8: DUP1 00000ec9: DUP4 00000eca: KECCAK256 00000ecb: SWAP6 00000ecc: SWAP1 00000ecd: SWAP6 00000ece: SSTORE 00000ecf: PUSH1 0x0b 00000ed1: DUP1 00000ed2: SLOAD 00000ed3: SWAP5 00000ed4: DUP8 00000ed5: AND 00000ed6: DUP1 00000ed7: DUP5 00000ed8: MSTORE 00000ed9: PUSH1 0x08 00000edb: DUP4 00000edc: MSTORE 00000edd: DUP7 00000ede: DUP5 00000edf: KECCAK256 00000ee0: DUP1 00000ee1: SLOAD 00000ee2: SWAP7 00000ee3: DUP12 00000ee4: MUL 00000ee5: SWAP1 00000ee6: SWAP7 00000ee7: SUB 00000ee8: SWAP1 00000ee9: SWAP6 00000eea: SSTORE 00000eeb: SLOAD 00000eec: DUP4 00000eed: DUP4 00000eee: MSTORE 00000eef: SWAP2 00000ef0: DUP6 00000ef1: SWAP1 00000ef2: KECCAK256 00000ef3: DUP1 00000ef4: SLOAD 00000ef5: SWAP3 00000ef6: DUP10 00000ef7: MUL 00000ef8: SWAP1 00000ef9: SWAP3 00000efa: ADD 00000efb: SWAP1 00000efc: SWAP2 00000efd: SSTORE 00000efe: DUP4 00000eff: MLOAD 00000f00: DUP8 00000f01: DUP2 00000f02: MSTORE 00000f03: SWAP4 00000f04: MLOAD 00000f05: SWAP2 00000f06: SWAP4 00000f07: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f28: SWAP3 00000f29: SWAP1 00000f2a: DUP2 00000f2b: SWAP1 00000f2c: SUB 00000f2d: SWAP1 00000f2e: SWAP2 00000f2f: ADD 00000f30: SWAP1 00000f31: LOG3 00000f32: PUSH1 0x01 00000f34: SWAP2 00000f35: POP 00000f36: JUMPDEST 00000f37: POP 00000f38: SWAP3 00000f39: SWAP2 00000f3a: POP 00000f3b: POP 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: CALLER 00000f3f: PUSH1 0x00 00000f41: DUP2 00000f42: DUP2 00000f43: MSTORE 00000f44: PUSH1 0x0c 00000f46: PUSH1 0x20 00000f48: MSTORE 00000f49: PUSH1 0x40 00000f4b: SWAP1 00000f4c: KECCAK256 00000f4d: SLOAD 00000f4e: PUSH1 0xff 00000f50: AND 00000f51: ISZERO 00000f52: ISZERO 00000f53: PUSH2 0x0f5b 00000f56: JUMPI 00000f57: PUSH1 0x00 00000f59: DUP1 00000f5a: REVERT 00000f5b: JUMPDEST 00000f5c: DUP2 00000f5d: MLOAD 00000f5e: PUSH2 0x0f6e 00000f61: SWAP1 00000f62: PUSH1 0x01 00000f64: SWAP1 00000f65: PUSH1 0x20 00000f67: DUP6 00000f68: ADD 00000f69: SWAP1 00000f6a: PUSH2 0x19b6 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: POP 00000f70: POP 00000f71: POP 00000f72: JUMP 00000f73: JUMPDEST 00000f74: CALLER 00000f75: PUSH1 0x00 00000f77: DUP2 00000f78: DUP2 00000f79: MSTORE 00000f7a: PUSH1 0x0c 00000f7c: PUSH1 0x20 00000f7e: MSTORE 00000f7f: PUSH1 0x40 00000f81: SWAP1 00000f82: KECCAK256 00000f83: SLOAD 00000f84: PUSH1 0xff 00000f86: AND 00000f87: ISZERO 00000f88: ISZERO 00000f89: PUSH2 0x0f91 00000f8c: JUMPI 00000f8d: PUSH1 0x00 00000f8f: DUP1 00000f90: REVERT 00000f91: JUMPDEST 00000f92: DUP2 00000f93: MLOAD 00000f94: PUSH2 0x0f6e 00000f97: SWAP1 00000f98: PUSH1 0x00 00000f9a: SWAP1 00000f9b: PUSH1 0x20 00000f9d: DUP6 00000f9e: ADD 00000f9f: SWAP1 00000fa0: PUSH2 0x19b6 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH1 0x02 00000fa7: SLOAD 00000fa8: DUP2 00000fa9: JUMP 00000faa: JUMPDEST 00000fab: PUSH1 0x00 00000fad: DUP1 00000fae: PUSH1 0x00 00000fb0: DUP1 00000fb1: PUSH1 0x00 00000fb3: DUP1 00000fb4: PUSH1 0x00 00000fb6: DUP1 00000fb7: PUSH2 0x0fbe 00000fba: PUSH2 0x0d61 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: GT 00000fc0: PUSH2 0x0fc8 00000fc3: JUMPI 00000fc4: PUSH1 0x00 00000fc6: DUP1 00000fc7: REVERT 00000fc8: JUMPDEST 00000fc9: CALLER 00000fca: PUSH1 0x00 00000fcc: DUP2 00000fcd: DUP2 00000fce: MSTORE 00000fcf: PUSH1 0x06 00000fd1: PUSH1 0x20 00000fd3: MSTORE 00000fd4: PUSH1 0x40 00000fd6: SWAP1 00000fd7: KECCAK256 00000fd8: SLOAD 00000fd9: SWAP1 00000fda: SWAP8 00000fdb: POP 00000fdc: DUP9 00000fdd: GT 00000fde: ISZERO 00000fdf: PUSH2 0x0fe7 00000fe2: JUMPI 00000fe3: PUSH1 0x00 00000fe5: DUP1 00000fe6: REVERT 00000fe7: JUMPDEST 00000fe8: DUP8 00000fe9: SWAP6 00000fea: POP 00000feb: PUSH2 0x0ff3 00000fee: DUP7 00000fef: PUSH2 0x1900 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: SWAP5 00000ff5: POP 00000ff6: PUSH2 0x1003 00000ff9: PUSH2 0x080b 00000ffc: DUP7 00000ffd: PUSH1 0x12 00000fff: PUSH2 0x1825 00001002: JUMP 00001003: JUMPDEST 00001004: SWAP4 00001005: POP 00001006: PUSH2 0x1013 00001009: PUSH2 0x080b 0000100c: DUP7 0000100d: PUSH1 0x02 0000100f: PUSH2 0x1825 00001012: JUMP 00001013: JUMPDEST 00001014: SWAP3 00001015: POP 00001016: PUSH2 0x1022 00001019: PUSH2 0x0831 0000101c: DUP7 0000101d: DUP7 0000101e: PUSH2 0x1218 00001021: JUMP 00001022: JUMPDEST 00001023: SWAP2 00001024: POP 00001025: PUSH2 0x1030 00001028: PUSH1 0x03 0000102a: SLOAD 0000102b: DUP5 0000102c: PUSH2 0x1972 0000102f: JUMP 00001030: JUMPDEST 00001031: PUSH1 0x03 00001033: SSTORE 00001034: PUSH1 0x0a 00001036: SLOAD 00001037: PUSH2 0x1040 0000103a: SWAP1 0000103b: DUP8 0000103c: PUSH2 0x1218 0000103f: JUMP 00001040: JUMPDEST 00001041: PUSH1 0x0a 00001043: SSTORE 00001044: PUSH1 0x01 00001046: PUSH1 0xa0 00001048: PUSH1 0x02 0000104a: EXP 0000104b: SUB 0000104c: DUP8 0000104d: AND 0000104e: PUSH1 0x00 00001050: SWAP1 00001051: DUP2 00001052: MSTORE 00001053: PUSH1 0x06 00001055: PUSH1 0x20 00001057: MSTORE 00001058: PUSH1 0x40 0000105a: SWAP1 0000105b: KECCAK256 0000105c: SLOAD 0000105d: PUSH2 0x1066 00001060: SWAP1 00001061: DUP8 00001062: PUSH2 0x1218 00001065: JUMP 00001066: JUMPDEST 00001067: PUSH1 0x01 00001069: PUSH1 0xa0 0000106b: PUSH1 0x02 0000106d: EXP 0000106e: SUB 0000106f: DUP9 00001070: AND 00001071: PUSH1 0x00 00001073: SWAP1 00001074: DUP2 00001075: MSTORE 00001076: PUSH1 0x06 00001078: PUSH1 0x20 0000107a: SWAP1 0000107b: DUP2 0000107c: MSTORE 0000107d: PUSH1 0x40 0000107f: DUP1 00001080: DUP4 00001081: KECCAK256 00001082: SWAP4 00001083: SWAP1 00001084: SWAP4 00001085: SSTORE 00001086: PUSH1 0x0b 00001088: SLOAD 00001089: PUSH1 0x08 0000108b: SWAP1 0000108c: SWAP2 0000108d: MSTORE 0000108e: SWAP2 0000108f: DUP2 00001090: KECCAK256 00001091: DUP1 00001092: SLOAD 00001093: SWAP3 00001094: DUP10 00001095: MUL 00001096: PUSH9 0x010000000000000000 000010a0: DUP7 000010a1: MUL 000010a2: ADD 000010a3: SWAP3 000010a4: DUP4 000010a5: SWAP1 000010a6: SUB 000010a7: SWAP1 000010a8: SSTORE 000010a9: PUSH1 0x0a 000010ab: SLOAD 000010ac: SWAP2 000010ad: SWAP3 000010ae: POP 000010af: LT 000010b0: ISZERO 000010b1: PUSH2 0x10dc 000010b4: JUMPI 000010b5: PUSH2 0x10d8 000010b8: PUSH1 0x0b 000010ba: SLOAD 000010bb: PUSH1 0x0a 000010bd: SLOAD 000010be: PUSH9 0x010000000000000000 000010c8: DUP8 000010c9: MUL 000010ca: DUP2 000010cb: ISZERO 000010cc: ISZERO 000010cd: PUSH2 0x10d2 000010d0: JUMPI 000010d1: INVALID 000010d2: JUMPDEST 000010d3: DIV 000010d4: PUSH2 0x1972 000010d7: JUMP 000010d8: JUMPDEST 000010d9: PUSH1 0x0b 000010db: SSTORE 000010dc: JUMPDEST 000010dd: PUSH1 0x40 000010df: DUP1 000010e0: MLOAD 000010e1: DUP8 000010e2: DUP2 000010e3: MSTORE 000010e4: PUSH1 0x20 000010e6: DUP2 000010e7: ADD 000010e8: DUP5 000010e9: SWAP1 000010ea: MSTORE 000010eb: DUP2 000010ec: MLOAD 000010ed: PUSH1 0x01 000010ef: PUSH1 0xa0 000010f1: PUSH1 0x02 000010f3: EXP 000010f4: SUB 000010f5: DUP11 000010f6: AND 000010f7: SWAP3 000010f8: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00001119: SWAP3 0000111a: DUP3 0000111b: SWAP1 0000111c: SUB 0000111d: ADD 0000111e: SWAP1 0000111f: LOG2 00001120: POP 00001121: POP 00001122: POP 00001123: POP 00001124: POP 00001125: POP 00001126: POP 00001127: POP 00001128: JUMP 00001129: JUMPDEST 0000112a: CALLER 0000112b: PUSH1 0x00 0000112d: DUP2 0000112e: DUP2 0000112f: MSTORE 00001130: PUSH1 0x06 00001132: PUSH1 0x20 00001134: MSTORE 00001135: PUSH1 0x40 00001137: DUP2 00001138: KECCAK256 00001139: SLOAD 0000113a: SWAP1 0000113b: DUP2 0000113c: GT 0000113d: ISZERO 0000113e: PUSH2 0x114a 00001141: JUMPI 00001142: PUSH2 0x114a 00001145: DUP2 00001146: PUSH2 0x0faa 00001149: JUMP 0000114a: JUMPDEST 0000114b: PUSH2 0x1152 0000114e: PUSH2 0x091a 00001151: JUMP 00001152: JUMPDEST 00001153: POP 00001154: POP 00001155: JUMP 00001156: JUMPDEST 00001157: PUSH1 0x00 00001159: PUSH2 0x0c4c 0000115c: CALLVALUE 0000115d: DUP4 0000115e: PUSH2 0x0679 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH1 0x00 00001165: DUP1 00001166: PUSH1 0x00 00001168: DUP1 00001169: PUSH2 0x1172 0000116c: PUSH1 0x01 0000116e: PUSH2 0x0c0f 00001171: JUMP 00001172: JUMPDEST 00001173: GT 00001174: PUSH2 0x117c 00001177: JUMPI 00001178: PUSH1 0x00 0000117a: DUP1 0000117b: REVERT 0000117c: JUMPDEST 0000117d: PUSH2 0x1186 00001180: PUSH1 0x00 00001182: PUSH2 0x0c0f 00001185: JUMP 00001186: JUMPDEST 00001187: CALLER 00001188: PUSH1 0x00 0000118a: DUP2 0000118b: DUP2 0000118c: MSTORE 0000118d: PUSH1 0x08 0000118f: PUSH1 0x20 00001191: SWAP1 00001192: DUP2 00001193: MSTORE 00001194: PUSH1 0x40 00001196: DUP1 00001197: DUP4 00001198: KECCAK256 00001199: DUP1 0000119a: SLOAD 0000119b: PUSH9 0x010000000000000000 000011a5: DUP8 000011a6: MUL 000011a7: ADD 000011a8: SWAP1 000011a9: SSTORE 000011aa: PUSH1 0x07 000011ac: SWAP1 000011ad: SWAP2 000011ae: MSTORE 000011af: DUP2 000011b0: KECCAK256 000011b1: DUP1 000011b2: SLOAD 000011b3: SWAP1 000011b4: DUP3 000011b5: SWAP1 000011b6: SSTORE 000011b7: SWAP1 000011b8: SWAP3 000011b9: ADD 000011ba: SWAP5 000011bb: POP 000011bc: SWAP3 000011bd: POP 000011be: PUSH2 0x11c8 000011c1: SWAP1 000011c2: DUP5 000011c3: SWAP1 000011c4: PUSH2 0x122a 000011c7: JUMP 000011c8: JUMPDEST 000011c9: SWAP1 000011ca: POP 000011cb: DUP2 000011cc: PUSH1 0x01 000011ce: PUSH1 0xa0 000011d0: PUSH1 0x02 000011d2: EXP 000011d3: SUB 000011d4: AND 000011d5: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 000011f6: DUP5 000011f7: DUP4 000011f8: PUSH1 0x40 000011fa: MLOAD 000011fb: DUP1 000011fc: DUP4 000011fd: DUP2 000011fe: MSTORE 000011ff: PUSH1 0x20 00001201: ADD 00001202: DUP3 00001203: DUP2 00001204: MSTORE 00001205: PUSH1 0x20 00001207: ADD 00001208: SWAP3 00001209: POP 0000120a: POP 0000120b: POP 0000120c: PUSH1 0x40 0000120e: MLOAD 0000120f: DUP1 00001210: SWAP2 00001211: SUB 00001212: SWAP1 00001213: LOG2 00001214: POP 00001215: POP 00001216: POP 00001217: JUMP 00001218: JUMPDEST 00001219: PUSH1 0x00 0000121b: DUP3 0000121c: DUP3 0000121d: GT 0000121e: ISZERO 0000121f: PUSH2 0x1224 00001222: JUMPI 00001223: INVALID 00001224: JUMPDEST 00001225: POP 00001226: SWAP1 00001227: SUB 00001228: SWAP1 00001229: JUMP 0000122a: JUMPDEST 0000122b: PUSH1 0x00 0000122d: DUP1 0000122e: PUSH1 0x00 00001230: DUP1 00001231: PUSH1 0x00 00001233: DUP1 00001234: PUSH1 0x00 00001236: DUP1 00001237: PUSH1 0x00 00001239: DUP11 0000123a: PUSH1 0x00 0000123c: CALLER 0000123d: SWAP1 0000123e: POP 0000123f: PUSH1 0x0d 00001241: PUSH1 0x00 00001243: SWAP1 00001244: SLOAD 00001245: SWAP1 00001246: PUSH2 0x0100 00001249: EXP 0000124a: SWAP1 0000124b: DIV 0000124c: PUSH1 0xff 0000124e: AND 0000124f: DUP1 00001250: ISZERO 00001251: PUSH2 0x126b 00001254: JUMPI 00001255: POP 00001256: PUSH8 0x29a2241af62c0000 0000125f: DUP3 00001260: PUSH2 0x1267 00001263: PUSH2 0x0c52 00001266: JUMP 00001267: JUMPDEST 00001268: SUB 00001269: GT 0000126a: ISZERO 0000126b: JUMPDEST 0000126c: ISZERO 0000126d: PUSH2 0x158e 00001270: JUMPI 00001271: PUSH1 0x01 00001273: PUSH1 0xa0 00001275: PUSH1 0x02 00001277: EXP 00001278: SUB 00001279: DUP2 0000127a: AND 0000127b: PUSH1 0x00 0000127d: SWAP1 0000127e: DUP2 0000127f: MSTORE 00001280: PUSH1 0x05 00001282: PUSH1 0x20 00001284: MSTORE 00001285: PUSH1 0x40 00001287: SWAP1 00001288: KECCAK256 00001289: SLOAD 0000128a: PUSH1 0xff 0000128c: AND 0000128d: ISZERO 0000128e: ISZERO 0000128f: PUSH1 0x01 00001291: EQ 00001292: DUP1 00001293: ISZERO 00001294: PUSH2 0x12c0 00001297: JUMPI 00001298: POP 00001299: PUSH1 0x01 0000129b: PUSH1 0xa0 0000129d: PUSH1 0x02 0000129f: EXP 000012a0: SUB 000012a1: DUP2 000012a2: AND 000012a3: PUSH1 0x00 000012a5: SWAP1 000012a6: DUP2 000012a7: MSTORE 000012a8: PUSH1 0x09 000012aa: PUSH1 0x20 000012ac: MSTORE 000012ad: PUSH1 0x40 000012af: SWAP1 000012b0: KECCAK256 000012b1: SLOAD 000012b2: PUSH8 0x06f05b59d3b20000 000012bb: SWAP1 000012bc: DUP4 000012bd: ADD 000012be: GT 000012bf: ISZERO 000012c0: JUMPDEST 000012c1: ISZERO 000012c2: ISZERO 000012c3: PUSH2 0x12cb 000012c6: JUMPI 000012c7: PUSH1 0x00 000012c9: DUP1 000012ca: REVERT 000012cb: JUMPDEST 000012cc: PUSH1 0x01 000012ce: PUSH1 0xa0 000012d0: PUSH1 0x02 000012d2: EXP 000012d3: SUB 000012d4: DUP2 000012d5: AND 000012d6: PUSH1 0x00 000012d8: SWAP1 000012d9: DUP2 000012da: MSTORE 000012db: PUSH1 0x09 000012dd: PUSH1 0x20 000012df: MSTORE 000012e0: PUSH1 0x40 000012e2: SWAP1 000012e3: KECCAK256 000012e4: SLOAD 000012e5: PUSH2 0x12ee 000012e8: SWAP1 000012e9: DUP4 000012ea: PUSH2 0x1972 000012ed: JUMP 000012ee: JUMPDEST 000012ef: PUSH1 0x01 000012f1: PUSH1 0xa0 000012f3: PUSH1 0x02 000012f5: EXP 000012f6: SUB 000012f7: DUP3 000012f8: AND 000012f9: PUSH1 0x00 000012fb: SWAP1 000012fc: DUP2 000012fd: MSTORE 000012fe: PUSH1 0x09 00001300: PUSH1 0x20 00001302: MSTORE 00001303: PUSH1 0x40 00001305: SWAP1 00001306: KECCAK256 00001307: SSTORE 00001308: PUSH2 0x1315 0000130b: PUSH2 0x080b 0000130e: DUP15 0000130f: PUSH1 0x12 00001311: PUSH2 0x1825 00001314: JUMP 00001315: JUMPDEST 00001316: SWAP10 00001317: POP 00001318: PUSH2 0x1322 0000131b: DUP11 0000131c: PUSH1 0x03 0000131e: PUSH2 0x1857 00001321: JUMP 00001322: JUMPDEST 00001323: SWAP9 00001324: POP 00001325: PUSH2 0x1332 00001328: PUSH2 0x080b 0000132b: DUP15 0000132c: PUSH1 0x02 0000132e: PUSH2 0x1825 00001331: JUMP 00001332: JUMPDEST 00001333: SWAP8 00001334: POP 00001335: PUSH2 0x133e 00001338: DUP11 00001339: DUP11 0000133a: PUSH2 0x1218 0000133d: JUMP 0000133e: JUMPDEST 0000133f: SWAP7 00001340: POP 00001341: PUSH2 0x1353 00001344: PUSH2 0x134d 00001347: DUP15 00001348: DUP13 00001349: PUSH2 0x1218 0000134c: JUMP 0000134d: JUMPDEST 0000134e: DUP10 0000134f: PUSH2 0x1218 00001352: JUMP 00001353: JUMPDEST 00001354: SWAP6 00001355: POP 00001356: PUSH2 0x1361 00001359: PUSH1 0x03 0000135b: SLOAD 0000135c: DUP10 0000135d: PUSH2 0x1972 00001360: JUMP 00001361: JUMPDEST 00001362: PUSH1 0x03 00001364: SSTORE 00001365: PUSH2 0x136d 00001368: DUP7 00001369: PUSH2 0x186e 0000136c: JUMP 0000136d: JUMPDEST 0000136e: SWAP5 0000136f: POP 00001370: PUSH9 0x010000000000000000 0000137a: DUP8 0000137b: MUL 0000137c: SWAP4 0000137d: POP 0000137e: PUSH1 0x00 00001380: DUP6 00001381: GT 00001382: DUP1 00001383: ISZERO 00001384: PUSH2 0x1397 00001387: JUMPI 00001388: POP 00001389: PUSH1 0x0a 0000138b: SLOAD 0000138c: PUSH2 0x1395 0000138f: DUP7 00001390: DUP3 00001391: PUSH2 0x1972 00001394: JUMP 00001395: JUMPDEST 00001396: GT 00001397: JUMPDEST 00001398: ISZERO 00001399: ISZERO 0000139a: PUSH2 0x13a2 0000139d: JUMPI 0000139e: PUSH1 0x00 000013a0: DUP1 000013a1: REVERT 000013a2: JUMPDEST 000013a3: PUSH1 0x01 000013a5: PUSH1 0xa0 000013a7: PUSH1 0x02 000013a9: EXP 000013aa: SUB 000013ab: DUP13 000013ac: AND 000013ad: ISZERO 000013ae: DUP1 000013af: ISZERO 000013b0: SWAP1 000013b1: PUSH2 0x13c3 000013b4: JUMPI 000013b5: POP 000013b6: PUSH1 0x01 000013b8: PUSH1 0xa0 000013ba: PUSH1 0x02 000013bc: EXP 000013bd: SUB 000013be: DUP13 000013bf: AND 000013c0: CALLER 000013c1: EQ 000013c2: ISZERO 000013c3: JUMPDEST 000013c4: DUP1 000013c5: ISZERO 000013c6: PUSH2 0x13e9 000013c9: JUMPI 000013ca: POP 000013cb: PUSH1 0x04 000013cd: SLOAD 000013ce: PUSH1 0x01 000013d0: PUSH1 0xa0 000013d2: PUSH1 0x02 000013d4: EXP 000013d5: SUB 000013d6: DUP14 000013d7: AND 000013d8: PUSH1 0x00 000013da: SWAP1 000013db: DUP2 000013dc: MSTORE 000013dd: PUSH1 0x06 000013df: PUSH1 0x20 000013e1: MSTORE 000013e2: PUSH1 0x40 000013e4: SWAP1 000013e5: KECCAK256 000013e6: SLOAD 000013e7: LT 000013e8: ISZERO 000013e9: JUMPDEST 000013ea: ISZERO 000013eb: PUSH2 0x142f 000013ee: JUMPI 000013ef: PUSH1 0x01 000013f1: PUSH1 0xa0 000013f3: PUSH1 0x02 000013f5: EXP 000013f6: SUB 000013f7: DUP13 000013f8: AND 000013f9: PUSH1 0x00 000013fb: SWAP1 000013fc: DUP2 000013fd: MSTORE 000013fe: PUSH1 0x07 00001400: PUSH1 0x20 00001402: MSTORE 00001403: PUSH1 0x40 00001405: SWAP1 00001406: KECCAK256 00001407: SLOAD 00001408: PUSH2 0x1411 0000140b: SWAP1 0000140c: DUP11 0000140d: PUSH2 0x1972 00001410: JUMP 00001411: JUMPDEST 00001412: PUSH1 0x01 00001414: PUSH1 0xa0 00001416: PUSH1 0x02 00001418: EXP 00001419: SUB 0000141a: DUP14 0000141b: AND 0000141c: PUSH1 0x00 0000141e: SWAP1 0000141f: DUP2 00001420: MSTORE 00001421: PUSH1 0x07 00001423: PUSH1 0x20 00001425: MSTORE 00001426: PUSH1 0x40 00001428: SWAP1 00001429: KECCAK256 0000142a: SSTORE 0000142b: PUSH2 0x144a 0000142e: JUMP 0000142f: JUMPDEST 00001430: PUSH2 0x1439 00001433: DUP8 00001434: DUP11 00001435: PUSH2 0x1972 00001438: JUMP 00001439: JUMPDEST 0000143a: SWAP7 0000143b: POP 0000143c: PUSH9 0x010000000000000000 00001446: DUP8 00001447: MUL 00001448: SWAP4 00001449: POP 0000144a: JUMPDEST 0000144b: PUSH1 0x00 0000144d: PUSH1 0x0a 0000144f: SLOAD 00001450: GT 00001451: ISZERO 00001452: PUSH2 0x14ae 00001455: JUMPI 00001456: PUSH2 0x1461 00001459: PUSH1 0x0a 0000145b: SLOAD 0000145c: DUP7 0000145d: PUSH2 0x1972 00001460: JUMP 00001461: JUMPDEST 00001462: PUSH1 0x0a 00001464: DUP2 00001465: SWAP1 00001466: SSTORE 00001467: PUSH9 0x010000000000000000 00001471: DUP9 00001472: MUL 00001473: DUP2 00001474: ISZERO 00001475: ISZERO 00001476: PUSH2 0x147b 00001479: JUMPI 0000147a: INVALID 0000147b: JUMPDEST 0000147c: PUSH1 0x0b 0000147e: DUP1 0000147f: SLOAD 00001480: SWAP3 00001481: SWAP1 00001482: SWAP2 00001483: DIV 00001484: SWAP1 00001485: SWAP2 00001486: ADD 00001487: SWAP1 00001488: SSTORE 00001489: PUSH1 0x0a 0000148b: SLOAD 0000148c: PUSH9 0x010000000000000000 00001496: DUP9 00001497: MUL 00001498: DUP2 00001499: ISZERO 0000149a: ISZERO 0000149b: PUSH2 0x14a0 0000149e: JUMPI 0000149f: INVALID 000014a0: JUMPDEST 000014a1: DIV 000014a2: DUP6 000014a3: MUL 000014a4: DUP5 000014a5: SUB 000014a6: DUP5 000014a7: SUB 000014a8: SWAP4 000014a9: POP 000014aa: PUSH2 0x14b4 000014ad: JUMP 000014ae: JUMPDEST 000014af: PUSH1 0x0a 000014b1: DUP6 000014b2: SWAP1 000014b3: SSTORE 000014b4: JUMPDEST 000014b5: CALLER 000014b6: PUSH1 0x00 000014b8: SWAP1 000014b9: DUP2 000014ba: MSTORE 000014bb: PUSH1 0x06 000014bd: PUSH1 0x20 000014bf: MSTORE 000014c0: PUSH1 0x40 000014c2: SWAP1 000014c3: KECCAK256 000014c4: SLOAD 000014c5: PUSH2 0x14ce 000014c8: SWAP1 000014c9: DUP7 000014ca: PUSH2 0x1972 000014cd: JUMP 000014ce: JUMPDEST 000014cf: PUSH1 0x06 000014d1: PUSH1 0x00 000014d3: CALLER 000014d4: PUSH1 0x01 000014d6: PUSH1 0xa0 000014d8: PUSH1 0x02 000014da: EXP 000014db: SUB 000014dc: AND 000014dd: PUSH1 0x01 000014df: PUSH1 0xa0 000014e1: PUSH1 0x02 000014e3: EXP 000014e4: SUB 000014e5: AND 000014e6: DUP2 000014e7: MSTORE 000014e8: PUSH1 0x20 000014ea: ADD 000014eb: SWAP1 000014ec: DUP2 000014ed: MSTORE 000014ee: PUSH1 0x20 000014f0: ADD 000014f1: PUSH1 0x00 000014f3: KECCAK256 000014f4: DUP2 000014f5: SWAP1 000014f6: SSTORE 000014f7: POP 000014f8: DUP4 000014f9: DUP6 000014fa: PUSH1 0x0b 000014fc: SLOAD 000014fd: MUL 000014fe: SUB 000014ff: SWAP3 00001500: POP 00001501: DUP3 00001502: PUSH1 0x08 00001504: PUSH1 0x00 00001506: CALLER 00001507: PUSH1 0x01 00001509: PUSH1 0xa0 0000150b: PUSH1 0x02 0000150d: EXP 0000150e: SUB 0000150f: AND 00001510: PUSH1 0x01 00001512: PUSH1 0xa0 00001514: PUSH1 0x02 00001516: EXP 00001517: SUB 00001518: AND 00001519: DUP2 0000151a: MSTORE 0000151b: PUSH1 0x20 0000151d: ADD 0000151e: SWAP1 0000151f: DUP2 00001520: MSTORE 00001521: PUSH1 0x20 00001523: ADD 00001524: PUSH1 0x00 00001526: KECCAK256 00001527: PUSH1 0x00 00001529: DUP3 0000152a: DUP3 0000152b: SLOAD 0000152c: ADD 0000152d: SWAP3 0000152e: POP 0000152f: POP 00001530: DUP2 00001531: SWAP1 00001532: SSTORE 00001533: POP 00001534: DUP12 00001535: PUSH1 0x01 00001537: PUSH1 0xa0 00001539: PUSH1 0x02 0000153b: EXP 0000153c: SUB 0000153d: AND 0000153e: CALLER 0000153f: PUSH1 0x01 00001541: PUSH1 0xa0 00001543: PUSH1 0x02 00001545: EXP 00001546: SUB 00001547: AND 00001548: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00001569: DUP16 0000156a: DUP9 0000156b: PUSH1 0x40 0000156d: MLOAD 0000156e: DUP1 0000156f: DUP4 00001570: DUP2 00001571: MSTORE 00001572: PUSH1 0x20 00001574: ADD 00001575: DUP3 00001576: DUP2 00001577: MSTORE 00001578: PUSH1 0x20 0000157a: ADD 0000157b: SWAP3 0000157c: POP 0000157d: POP 0000157e: POP 0000157f: PUSH1 0x40 00001581: MLOAD 00001582: DUP1 00001583: SWAP2 00001584: SUB 00001585: SWAP1 00001586: LOG3 00001587: DUP5 00001588: SWAP11 00001589: POP 0000158a: PUSH2 0x1815 0000158d: JUMP 0000158e: JUMPDEST 0000158f: PUSH1 0x0d 00001591: DUP1 00001592: SLOAD 00001593: PUSH1 0xff 00001595: NOT 00001596: AND 00001597: SWAP1 00001598: SSTORE 00001599: PUSH2 0x15a6 0000159c: PUSH2 0x080b 0000159f: DUP15 000015a0: PUSH1 0x12 000015a2: PUSH2 0x1825 000015a5: JUMP 000015a6: JUMPDEST 000015a7: SWAP10 000015a8: POP 000015a9: PUSH2 0x15b3 000015ac: DUP11 000015ad: PUSH1 0x03 000015af: PUSH2 0x1857 000015b2: JUMP 000015b3: JUMPDEST 000015b4: SWAP9 000015b5: POP 000015b6: PUSH2 0x15c3 000015b9: PUSH2 0x080b 000015bc: DUP15 000015bd: PUSH1 0x02 000015bf: PUSH2 0x1825 000015c2: JUMP 000015c3: JUMPDEST 000015c4: SWAP8 000015c5: POP 000015c6: PUSH2 0x15cf 000015c9: DUP11 000015ca: DUP11 000015cb: PUSH2 0x1218 000015ce: JUMP 000015cf: JUMPDEST 000015d0: SWAP7 000015d1: POP 000015d2: PUSH2 0x15de 000015d5: PUSH2 0x134d 000015d8: DUP15 000015d9: DUP13 000015da: PUSH2 0x1218 000015dd: JUMP 000015de: JUMPDEST 000015df: SWAP6 000015e0: POP 000015e1: PUSH2 0x15ec 000015e4: PUSH1 0x03 000015e6: SLOAD 000015e7: DUP10 000015e8: PUSH2 0x1972 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH1 0x03 000015ef: SSTORE 000015f0: PUSH2 0x15f8 000015f3: DUP7 000015f4: PUSH2 0x186e 000015f7: JUMP 000015f8: JUMPDEST 000015f9: SWAP5 000015fa: POP 000015fb: PUSH9 0x010000000000000000 00001605: DUP8 00001606: MUL 00001607: SWAP4 00001608: POP 00001609: PUSH1 0x00 0000160b: DUP6 0000160c: GT 0000160d: DUP1 0000160e: ISZERO 0000160f: PUSH2 0x1622 00001612: JUMPI 00001613: POP 00001614: PUSH1 0x0a 00001616: SLOAD 00001617: PUSH2 0x1620 0000161a: DUP7 0000161b: DUP3 0000161c: PUSH2 0x1972 0000161f: JUMP 00001620: JUMPDEST 00001621: GT 00001622: JUMPDEST 00001623: ISZERO 00001624: ISZERO 00001625: PUSH2 0x162d 00001628: JUMPI 00001629: PUSH1 0x00 0000162b: DUP1 0000162c: REVERT 0000162d: JUMPDEST 0000162e: PUSH1 0x01 00001630: PUSH1 0xa0 00001632: PUSH1 0x02 00001634: EXP 00001635: SUB 00001636: DUP13 00001637: AND 00001638: ISZERO 00001639: DUP1 0000163a: ISZERO 0000163b: SWAP1 0000163c: PUSH2 0x164e 0000163f: JUMPI 00001640: POP 00001641: PUSH1 0x01 00001643: PUSH1 0xa0 00001645: PUSH1 0x02 00001647: EXP 00001648: SUB 00001649: DUP13 0000164a: AND 0000164b: CALLER 0000164c: EQ 0000164d: ISZERO 0000164e: JUMPDEST 0000164f: DUP1 00001650: ISZERO 00001651: PUSH2 0x1674 00001654: JUMPI 00001655: POP 00001656: PUSH1 0x04 00001658: SLOAD 00001659: PUSH1 0x01 0000165b: PUSH1 0xa0 0000165d: PUSH1 0x02 0000165f: EXP 00001660: SUB 00001661: DUP14 00001662: AND 00001663: PUSH1 0x00 00001665: SWAP1 00001666: DUP2 00001667: MSTORE 00001668: PUSH1 0x06 0000166a: PUSH1 0x20 0000166c: MSTORE 0000166d: PUSH1 0x40 0000166f: SWAP1 00001670: KECCAK256 00001671: SLOAD 00001672: LT 00001673: ISZERO 00001674: JUMPDEST 00001675: ISZERO 00001676: PUSH2 0x16ba 00001679: JUMPI 0000167a: PUSH1 0x01 0000167c: PUSH1 0xa0 0000167e: PUSH1 0x02 00001680: EXP 00001681: SUB 00001682: DUP13 00001683: AND 00001684: PUSH1 0x00 00001686: SWAP1 00001687: DUP2 00001688: MSTORE 00001689: PUSH1 0x07 0000168b: PUSH1 0x20 0000168d: MSTORE 0000168e: PUSH1 0x40 00001690: SWAP1 00001691: KECCAK256 00001692: SLOAD 00001693: PUSH2 0x169c 00001696: SWAP1 00001697: DUP11 00001698: PUSH2 0x1972 0000169b: JUMP 0000169c: JUMPDEST 0000169d: PUSH1 0x01 0000169f: PUSH1 0xa0 000016a1: PUSH1 0x02 000016a3: EXP 000016a4: SUB 000016a5: DUP14 000016a6: AND 000016a7: PUSH1 0x00 000016a9: SWAP1 000016aa: DUP2 000016ab: MSTORE 000016ac: PUSH1 0x07 000016ae: PUSH1 0x20 000016b0: MSTORE 000016b1: PUSH1 0x40 000016b3: SWAP1 000016b4: KECCAK256 000016b5: SSTORE 000016b6: PUSH2 0x16d5 000016b9: JUMP 000016ba: JUMPDEST 000016bb: PUSH2 0x16c4 000016be: DUP8 000016bf: DUP11 000016c0: PUSH2 0x1972 000016c3: JUMP 000016c4: JUMPDEST 000016c5: SWAP7 000016c6: POP 000016c7: PUSH9 0x010000000000000000 000016d1: DUP8 000016d2: MUL 000016d3: SWAP4 000016d4: POP 000016d5: JUMPDEST 000016d6: PUSH1 0x00 000016d8: PUSH1 0x0a 000016da: SLOAD 000016db: GT 000016dc: ISZERO 000016dd: PUSH2 0x1739 000016e0: JUMPI 000016e1: PUSH2 0x16ec 000016e4: PUSH1 0x0a 000016e6: SLOAD 000016e7: DUP7 000016e8: PUSH2 0x1972 000016eb: JUMP 000016ec: JUMPDEST 000016ed: PUSH1 0x0a 000016ef: DUP2 000016f0: SWAP1 000016f1: SSTORE 000016f2: PUSH9 0x010000000000000000 000016fc: DUP9 000016fd: MUL 000016fe: DUP2 000016ff: ISZERO 00001700: ISZERO 00001701: PUSH2 0x1706 00001704: JUMPI 00001705: INVALID 00001706: JUMPDEST 00001707: PUSH1 0x0b 00001709: DUP1 0000170a: SLOAD 0000170b: SWAP3 0000170c: SWAP1 0000170d: SWAP2 0000170e: DIV 0000170f: SWAP1 00001710: SWAP2 00001711: ADD 00001712: SWAP1 00001713: SSTORE 00001714: PUSH1 0x0a 00001716: SLOAD 00001717: PUSH9 0x010000000000000000 00001721: DUP9 00001722: MUL 00001723: DUP2 00001724: ISZERO 00001725: ISZERO 00001726: PUSH2 0x172b 00001729: JUMPI 0000172a: INVALID 0000172b: JUMPDEST 0000172c: DIV 0000172d: DUP6 0000172e: MUL 0000172f: DUP5 00001730: SUB 00001731: DUP5 00001732: SUB 00001733: SWAP4 00001734: POP 00001735: PUSH2 0x173f 00001738: JUMP 00001739: JUMPDEST 0000173a: PUSH1 0x0a 0000173c: DUP6 0000173d: SWAP1 0000173e: SSTORE 0000173f: JUMPDEST 00001740: CALLER 00001741: PUSH1 0x00 00001743: SWAP1 00001744: DUP2 00001745: MSTORE 00001746: PUSH1 0x06 00001748: PUSH1 0x20 0000174a: MSTORE 0000174b: PUSH1 0x40 0000174d: SWAP1 0000174e: KECCAK256 0000174f: SLOAD 00001750: PUSH2 0x1759 00001753: SWAP1 00001754: DUP7 00001755: PUSH2 0x1972 00001758: JUMP 00001759: JUMPDEST 0000175a: PUSH1 0x06 0000175c: PUSH1 0x00 0000175e: CALLER 0000175f: PUSH1 0x01 00001761: PUSH1 0xa0 00001763: PUSH1 0x02 00001765: EXP 00001766: SUB 00001767: AND 00001768: PUSH1 0x01 0000176a: PUSH1 0xa0 0000176c: PUSH1 0x02 0000176e: EXP 0000176f: SUB 00001770: AND 00001771: DUP2 00001772: MSTORE 00001773: PUSH1 0x20 00001775: ADD 00001776: SWAP1 00001777: DUP2 00001778: MSTORE 00001779: PUSH1 0x20 0000177b: ADD 0000177c: PUSH1 0x00 0000177e: KECCAK256 0000177f: DUP2 00001780: SWAP1 00001781: SSTORE 00001782: POP 00001783: DUP4 00001784: DUP6 00001785: PUSH1 0x0b 00001787: SLOAD 00001788: MUL 00001789: SUB 0000178a: SWAP3 0000178b: POP 0000178c: DUP3 0000178d: PUSH1 0x08 0000178f: PUSH1 0x00 00001791: CALLER 00001792: PUSH1 0x01 00001794: PUSH1 0xa0 00001796: PUSH1 0x02 00001798: EXP 00001799: SUB 0000179a: AND 0000179b: PUSH1 0x01 0000179d: PUSH1 0xa0 0000179f: PUSH1 0x02 000017a1: EXP 000017a2: SUB 000017a3: AND 000017a4: DUP2 000017a5: MSTORE 000017a6: PUSH1 0x20 000017a8: ADD 000017a9: SWAP1 000017aa: DUP2 000017ab: MSTORE 000017ac: PUSH1 0x20 000017ae: ADD 000017af: PUSH1 0x00 000017b1: KECCAK256 000017b2: PUSH1 0x00 000017b4: DUP3 000017b5: DUP3 000017b6: SLOAD 000017b7: ADD 000017b8: SWAP3 000017b9: POP 000017ba: POP 000017bb: DUP2 000017bc: SWAP1 000017bd: SSTORE 000017be: POP 000017bf: DUP12 000017c0: PUSH1 0x01 000017c2: PUSH1 0xa0 000017c4: PUSH1 0x02 000017c6: EXP 000017c7: SUB 000017c8: AND 000017c9: CALLER 000017ca: PUSH1 0x01 000017cc: PUSH1 0xa0 000017ce: PUSH1 0x02 000017d0: EXP 000017d1: SUB 000017d2: AND 000017d3: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 000017f4: DUP16 000017f5: DUP9 000017f6: PUSH1 0x40 000017f8: MLOAD 000017f9: DUP1 000017fa: DUP4 000017fb: DUP2 000017fc: MSTORE 000017fd: PUSH1 0x20 000017ff: ADD 00001800: DUP3 00001801: DUP2 00001802: MSTORE 00001803: PUSH1 0x20 00001805: ADD 00001806: SWAP3 00001807: POP 00001808: POP 00001809: POP 0000180a: PUSH1 0x40 0000180c: MLOAD 0000180d: DUP1 0000180e: SWAP2 0000180f: SUB 00001810: SWAP1 00001811: LOG3 00001812: DUP5 00001813: SWAP11 00001814: POP 00001815: JUMPDEST 00001816: POP 00001817: POP 00001818: POP 00001819: POP 0000181a: POP 0000181b: POP 0000181c: POP 0000181d: POP 0000181e: POP 0000181f: POP 00001820: SWAP3 00001821: SWAP2 00001822: POP 00001823: POP 00001824: JUMP 00001825: JUMPDEST 00001826: PUSH1 0x00 00001828: DUP1 00001829: DUP4 0000182a: ISZERO 0000182b: ISZERO 0000182c: PUSH2 0x1838 0000182f: JUMPI 00001830: PUSH1 0x00 00001832: SWAP2 00001833: POP 00001834: PUSH2 0x0f36 00001837: JUMP 00001838: JUMPDEST 00001839: POP 0000183a: DUP3 0000183b: DUP3 0000183c: MUL 0000183d: DUP3 0000183e: DUP5 0000183f: DUP3 00001840: DUP2 00001841: ISZERO 00001842: ISZERO 00001843: PUSH2 0x1848 00001846: JUMPI 00001847: INVALID 00001848: JUMPDEST 00001849: DIV 0000184a: EQ 0000184b: PUSH2 0x1850 0000184e: JUMPI 0000184f: INVALID 00001850: JUMPDEST 00001851: SWAP4 00001852: SWAP3 00001853: POP 00001854: POP 00001855: POP 00001856: JUMP 00001857: JUMPDEST 00001858: PUSH1 0x00 0000185a: DUP1 0000185b: DUP3 0000185c: DUP5 0000185d: DUP2 0000185e: ISZERO 0000185f: ISZERO 00001860: PUSH2 0x1865 00001863: JUMPI 00001864: INVALID 00001865: JUMPDEST 00001866: DIV 00001867: SWAP5 00001868: SWAP4 00001869: POP 0000186a: POP 0000186b: POP 0000186c: POP 0000186d: JUMP 0000186e: JUMPDEST 0000186f: PUSH1 0x0a 00001871: SLOAD 00001872: PUSH1 0x00 00001874: SWAP1 00001875: PUSH12 0x204fce5e3e25026110000000 00001882: SWAP1 00001883: DUP3 00001884: SWAP1 00001885: PUSH4 0x3b9aca00 0000188a: PUSH2 0x18ed 0000188d: PUSH2 0x18e7 00001890: PUSH19 0x59aedfc10d7279c5eed1401645400000000000 000018a4: DUP9 000018a5: MUL 000018a6: PUSH1 0x02 000018a8: DUP6 000018a9: EXP 000018aa: PUSH8 0x0de0b6b3a7640000 000018b3: MUL 000018b4: ADD 000018b5: PUSH16 0x0f0bdc21abb48db201e86d4000000000 000018c6: DUP6 000018c7: MUL 000018c8: ADD 000018c9: PUSH24 0x04140c78940f6a24fdffc78873d4490d2100000000000000 000018e2: ADD 000018e3: PUSH2 0x1981 000018e6: JUMP 000018e7: JUMPDEST 000018e8: DUP6 000018e9: PUSH2 0x1218 000018ec: JUMP 000018ed: JUMPDEST 000018ee: DUP2 000018ef: ISZERO 000018f0: ISZERO 000018f1: PUSH2 0x18f6 000018f4: JUMPI 000018f5: INVALID 000018f6: JUMPDEST 000018f7: DIV 000018f8: SUB 000018f9: SWAP5 000018fa: SWAP4 000018fb: POP 000018fc: POP 000018fd: POP 000018fe: POP 000018ff: JUMP 00001900: JUMPDEST 00001901: PUSH1 0x0a 00001903: SLOAD 00001904: PUSH1 0x00 00001906: SWAP1 00001907: PUSH8 0x0de0b6b3a7640000 00001910: DUP4 00001911: DUP2 00001912: ADD 00001913: SWAP2 00001914: DUP2 00001915: ADD 00001916: SWAP1 00001917: DUP4 00001918: SWAP1 00001919: PUSH2 0x1957 0000191c: PUSH5 0x0218711a00 00001922: DUP3 00001923: DUP6 00001924: DIV 00001925: PUSH4 0x3b9aca00 0000192a: MUL 0000192b: ADD 0000192c: DUP8 0000192d: MUL 0000192e: PUSH1 0x02 00001930: DUP4 00001931: PUSH8 0x0de0b6b3a763ffff 0000193a: NOT 0000193b: DUP3 0000193c: DUP10 0000193d: EXP 0000193e: DUP12 0000193f: SWAP1 00001940: SUB 00001941: ADD 00001942: DIV 00001943: PUSH4 0x3b9aca00 00001948: MUL 00001949: DUP2 0000194a: ISZERO 0000194b: ISZERO 0000194c: PUSH2 0x1951 0000194f: JUMPI 00001950: INVALID 00001951: JUMPDEST 00001952: DIV 00001953: PUSH2 0x1218 00001956: JUMP 00001957: JUMPDEST 00001958: DUP2 00001959: ISZERO 0000195a: ISZERO 0000195b: PUSH2 0x1960 0000195e: JUMPI 0000195f: INVALID 00001960: JUMPDEST 00001961: DIV 00001962: SWAP6 00001963: SWAP5 00001964: POP 00001965: POP 00001966: POP 00001967: POP 00001968: POP 00001969: JUMP 0000196a: JUMPDEST 0000196b: PUSH1 0x00 0000196d: SWAP1 0000196e: EXTCODESIZE 0000196f: GT 00001970: SWAP1 00001971: JUMP 00001972: JUMPDEST 00001973: PUSH1 0x00 00001975: DUP3 00001976: DUP3 00001977: ADD 00001978: DUP4 00001979: DUP2 0000197a: LT 0000197b: ISZERO 0000197c: PUSH2 0x1850 0000197f: JUMPI 00001980: INVALID 00001981: JUMPDEST 00001982: DUP1 00001983: PUSH1 0x02 00001985: PUSH1 0x01 00001987: DUP3 00001988: ADD 00001989: DIV 0000198a: JUMPDEST 0000198b: DUP2 0000198c: DUP2 0000198d: LT 0000198e: ISZERO 0000198f: PUSH2 0x0c4c 00001992: JUMPI 00001993: DUP1 00001994: SWAP2 00001995: POP 00001996: PUSH1 0x02 00001998: DUP2 00001999: DUP3 0000199a: DUP6 0000199b: DUP2 0000199c: ISZERO 0000199d: ISZERO 0000199e: PUSH2 0x19a3 000019a1: JUMPI 000019a2: INVALID 000019a3: JUMPDEST 000019a4: DIV 000019a5: ADD 000019a6: DUP2 000019a7: ISZERO 000019a8: ISZERO 000019a9: PUSH2 0x19ae 000019ac: JUMPI 000019ad: INVALID 000019ae: JUMPDEST 000019af: DIV 000019b0: SWAP1 000019b1: POP 000019b2: PUSH2 0x198a 000019b5: JUMP 000019b6: JUMPDEST 000019b7: DUP3 000019b8: DUP1 000019b9: SLOAD 000019ba: PUSH1 0x01 000019bc: DUP2 000019bd: PUSH1 0x01 000019bf: AND 000019c0: ISZERO 000019c1: PUSH2 0x0100 000019c4: MUL 000019c5: SUB 000019c6: AND 000019c7: PUSH1 0x02 000019c9: SWAP1 000019ca: DIV 000019cb: SWAP1 000019cc: PUSH1 0x00 000019ce: MSTORE 000019cf: PUSH1 0x20 000019d1: PUSH1 0x00 000019d3: KECCAK256 000019d4: SWAP1 000019d5: PUSH1 0x1f 000019d7: ADD 000019d8: PUSH1 0x20 000019da: SWAP1 000019db: DIV 000019dc: DUP2 000019dd: ADD 000019de: SWAP3 000019df: DUP3 000019e0: PUSH1 0x1f 000019e2: LT 000019e3: PUSH2 0x19f7 000019e6: JUMPI 000019e7: DUP1 000019e8: MLOAD 000019e9: PUSH1 0xff 000019eb: NOT 000019ec: AND 000019ed: DUP4 000019ee: DUP1 000019ef: ADD 000019f0: OR 000019f1: DUP6 000019f2: SSTORE 000019f3: PUSH2 0x1a24 000019f6: JUMP 000019f7: JUMPDEST 000019f8: DUP3 000019f9: DUP1 000019fa: ADD 000019fb: PUSH1 0x01 000019fd: ADD 000019fe: DUP6 000019ff: SSTORE 00001a00: DUP3 00001a01: ISZERO 00001a02: PUSH2 0x1a24 00001a05: JUMPI 00001a06: SWAP2 00001a07: DUP3 00001a08: ADD 00001a09: JUMPDEST 00001a0a: DUP3 00001a0b: DUP2 00001a0c: GT 00001a0d: ISZERO 00001a0e: PUSH2 0x1a24 00001a11: JUMPI 00001a12: DUP3 00001a13: MLOAD 00001a14: DUP3 00001a15: SSTORE 00001a16: SWAP2 00001a17: PUSH1 0x20 00001a19: ADD 00001a1a: SWAP2 00001a1b: SWAP1 00001a1c: PUSH1 0x01 00001a1e: ADD 00001a1f: SWAP1 00001a20: PUSH2 0x1a09 00001a23: JUMP 00001a24: JUMPDEST 00001a25: POP 00001a26: PUSH2 0x0d70 00001a29: SWAP3 00001a2a: PUSH2 0x0850 00001a2d: SWAP3 00001a2e: POP 00001a2f: SWAP1 00001a30: JUMPDEST 00001a31: DUP1 00001a32: DUP3 00001a33: GT 00001a34: ISZERO 00001a35: PUSH2 0x0d70 00001a38: JUMPI 00001a39: PUSH1 0x00 00001a3b: DUP2 00001a3c: SSTORE 00001a3d: PUSH1 0x01 00001a3f: ADD 00001a40: PUSH2 0x1a30 00001a43: JUMP 00001a44: STOP 00001a45: LOG1 00001a46: PUSH6 0x627a7a723058 00001a4d: KECCAK256 00001a4e: UNKNOWN(0xDF) 00001a4f: DUP3 00001a50: UNKNOWN(0xB6) 00001a51: TIMESTAMP 00001a52: LT 00001a53: SWAP2 00001a54: UNKNOWN(0xAD) 00001a55: UNKNOWN(0x0F) 00001a56: UNKNOWN(0xCF) 00001a57: UNKNOWN(0x0E) 00001a58: SMOD 00001a59: RETURNDATASIZE 00001a5a: PUSH13 0x13910013a5308dc33a499aceda 00001a68: UNKNOWN(0xF9) 00001a69: PUSH14
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f34dc16",
"selector": "0x0f34dc16",
"calldata_variants": [
"0x0f34dc16",
"0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b5a8da6",
"selector": "0x1b5a8da6",
"calldata_variants": [
"0x1b5a8da6",
"0x1b5a8da60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1664,
"type": "tx_origin_used"
},
{
"pc": 1663,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9cd46aa94fcf3cd70240b05c39a178b75a2650b91288fbb4a7dba90f3cbc9aef
call_targets:
0x433e631ac0c03e49ca034dbf5543964c80c6b391
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9cd46aa94fcf3cd70240b05c39a178b75a2650b91288fbb4a7dba90f3cbc9aef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x433e631ac0c03e49ca034dbf5543964c80c6b391"
],
"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": "0x0f34dc16",
"selector": "0x0f34dc16",
"calldata_variants": [
"0x0f34dc16",
"0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b5a8da6",
"selector": "0x1b5a8da6",
"calldata_variants": [
"0x1b5a8da6",
"0x1b5a8da60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1785,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2451,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1664,
"type": "tx_origin_used"
},
{
"pc": 1663,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9cd46aa94fcf3cd70240b05c39a178b75a2650b91288fbb4a7dba90f3cbc9aef
call_targets:
0x433e631ac0c03e49ca034dbf5543964c80c6b391
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9cd46aa94fcf3cd70240b05c39a178b75a2650b91288fbb4a7dba90f3cbc9aef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x433e631ac0c03e49ca034dbf5543964c80c6b391"
],
"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": "0x0f34dc16",
"selector": "0x0f34dc16",
"calldata_variants": [
"0x0f34dc16",
"0x0f34dc160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b5a8da6",
"selector": "0x1b5a8da6",
"calldata_variants": [
"0x1b5a8da6",
"0x1b5a8da60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1785,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2451,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1664,
"type": "tx_origin_used"
},
{
"pc": 1663,
"type": "tx_origin_used"
}
]
}
|