019b3844-9084-701c-add2-f53113448b42
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 |
|---|---|---|---|---|
| 12615 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12616 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 55848 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 55849 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 55850 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 55851 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01aa 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 0x01ca 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x01fb 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x0f34dc16 00000050: EQ 00000051: PUSH2 0x0285 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x10d0ffdd 0000005b: EQ 0000005c: PUSH2 0x02b8 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x18160ddd 00000066: EQ 00000067: PUSH2 0x02ce 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x22609373 00000071: EQ 00000072: PUSH2 0x02e1 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x27defa1f 0000007c: EQ 0000007d: PUSH2 0x02f7 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x294205b4 00000087: EQ 00000088: PUSH2 0x030a 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x313ce567 00000092: EQ 00000093: PUSH2 0x0330 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x3ccfd60b 0000009d: EQ 0000009e: PUSH2 0x0359 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x4000aea0 000000a8: EQ 000000a9: PUSH2 0x036c 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x4b750334 000000b3: EQ 000000b4: PUSH2 0x039b 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x56d399e8 000000be: EQ 000000bf: PUSH2 0x03ae 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x5e079aa5 000000c9: EQ 000000ca: PUSH2 0x03c1 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x66042e7a 000000d4: EQ 000000d5: PUSH2 0x03f0 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x688abbf7 000000df: EQ 000000e0: PUSH2 0x0403 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x6b2f4632 000000ea: EQ 000000eb: PUSH2 0x041b 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x70a08231 000000f5: EQ 000000f6: PUSH2 0x042e 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x76be1585 00000100: EQ 00000101: PUSH2 0x044d 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x7ff276bd 0000010b: EQ 0000010c: PUSH2 0x046c 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x8328b610 00000116: EQ 00000117: PUSH2 0x047f 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x8620410b 00000121: EQ 00000122: PUSH2 0x0495 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x87c95058 0000012c: EQ 0000012d: PUSH2 0x04a8 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x8974372d 00000137: EQ 00000138: PUSH2 0x04cc 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x949e8acd 00000142: EQ 00000143: PUSH2 0x04d4 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0x95d89b41 0000014d: EQ 0000014e: PUSH2 0x04e7 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xa4d55686 00000158: EQ 00000159: PUSH2 0x04fa 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xa9059cbb 00000163: EQ 00000164: PUSH2 0x050d 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0xb84c8246 0000016e: EQ 0000016f: PUSH2 0x052f 00000172: JUMPI 00000173: DUP1 00000174: PUSH4 0xc47f0027 00000179: EQ 0000017a: PUSH2 0x0580 0000017d: JUMPI 0000017e: DUP1 0000017f: PUSH4 0xe4849b32 00000184: EQ 00000185: PUSH2 0x05d1 00000188: JUMPI 00000189: DUP1 0000018a: PUSH4 0xe9fad8ee 0000018f: EQ 00000190: PUSH2 0x05e7 00000193: JUMPI 00000194: DUP1 00000195: PUSH4 0xf088d547 0000019a: EQ 0000019b: PUSH2 0x05fa 0000019e: JUMPI 0000019f: DUP1 000001a0: PUSH4 0xfdb5a03e 000001a5: EQ 000001a6: PUSH2 0x060e 000001a9: JUMPI 000001aa: JUMPDEST 000001ab: PUSH5 0x02540be400 000001b1: GASPRICE 000001b2: GT 000001b3: ISZERO 000001b4: PUSH2 0x01bc 000001b7: JUMPI 000001b8: PUSH1 0x00 000001ba: DUP1 000001bb: REVERT 000001bc: JUMPDEST 000001bd: PUSH2 0x01c7 000001c0: CALLVALUE 000001c1: PUSH1 0x00 000001c3: PUSH2 0x0621 000001c6: JUMP 000001c7: JUMPDEST 000001c8: POP 000001c9: STOP 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: ISZERO 000001cd: PUSH2 0x01d5 000001d0: JUMPI 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: REVERT 000001d5: JUMPDEST 000001d6: PUSH2 0x01e9 000001d9: PUSH1 0x01 000001db: PUSH1 0xa0 000001dd: PUSH1 0x02 000001df: EXP 000001e0: SUB 000001e1: PUSH1 0x04 000001e3: CALLDATALOAD 000001e4: AND 000001e5: PUSH2 0x06e1 000001e8: JUMP 000001e9: JUMPDEST 000001ea: PUSH1 0x40 000001ec: MLOAD 000001ed: SWAP1 000001ee: DUP2 000001ef: MSTORE 000001f0: PUSH1 0x20 000001f2: ADD 000001f3: PUSH1 0x40 000001f5: MLOAD 000001f6: DUP1 000001f7: SWAP2 000001f8: SUB 000001f9: SWAP1 000001fa: RETURN 000001fb: JUMPDEST 000001fc: CALLVALUE 000001fd: ISZERO 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: PUSH2 0x020e 0000020a: PUSH2 0x071c 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH1 0x40 00000211: MLOAD 00000212: PUSH1 0x20 00000214: DUP1 00000215: DUP3 00000216: MSTORE 00000217: DUP2 00000218: SWAP1 00000219: DUP2 0000021a: ADD 0000021b: DUP4 0000021c: DUP2 0000021d: DUP2 0000021e: MLOAD 0000021f: DUP2 00000220: MSTORE 00000221: PUSH1 0x20 00000223: ADD 00000224: SWAP2 00000225: POP 00000226: DUP1 00000227: MLOAD 00000228: SWAP1 00000229: PUSH1 0x20 0000022b: ADD 0000022c: SWAP1 0000022d: DUP1 0000022e: DUP4 0000022f: DUP4 00000230: PUSH1 0x00 00000232: JUMPDEST 00000233: DUP4 00000234: DUP2 00000235: LT 00000236: ISZERO 00000237: PUSH2 0x024a 0000023a: JUMPI 0000023b: DUP1 0000023c: DUP3 0000023d: ADD 0000023e: MLOAD 0000023f: DUP4 00000240: DUP3 00000241: ADD 00000242: MSTORE 00000243: PUSH1 0x20 00000245: ADD 00000246: PUSH2 0x0232 00000249: JUMP 0000024a: JUMPDEST 0000024b: POP 0000024c: POP 0000024d: POP 0000024e: POP 0000024f: SWAP1 00000250: POP 00000251: SWAP1 00000252: DUP2 00000253: ADD 00000254: SWAP1 00000255: PUSH1 0x1f 00000257: AND 00000258: DUP1 00000259: ISZERO 0000025a: PUSH2 0x0277 0000025d: JUMPI 0000025e: DUP1 0000025f: DUP3 00000260: SUB 00000261: DUP1 00000262: MLOAD 00000263: PUSH1 0x01 00000265: DUP4 00000266: PUSH1 0x20 00000268: SUB 00000269: PUSH2 0x0100 0000026c: EXP 0000026d: SUB 0000026e: NOT 0000026f: AND 00000270: DUP2 00000271: MSTORE 00000272: PUSH1 0x20 00000274: ADD 00000275: SWAP2 00000276: POP 00000277: JUMPDEST 00000278: POP 00000279: SWAP3 0000027a: POP 0000027b: POP 0000027c: POP 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: DUP1 00000281: SWAP2 00000282: SUB 00000283: SWAP1 00000284: RETURN 00000285: JUMPDEST 00000286: CALLVALUE 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: PUSH2 0x02a4 00000294: PUSH1 0x01 00000296: PUSH1 0xa0 00000298: PUSH1 0x02 0000029a: EXP 0000029b: SUB 0000029c: PUSH1 0x04 0000029e: CALLDATALOAD 0000029f: AND 000002a0: PUSH2 0x07ba 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH1 0x40 000002a7: MLOAD 000002a8: SWAP1 000002a9: ISZERO 000002aa: ISZERO 000002ab: DUP2 000002ac: MSTORE 000002ad: PUSH1 0x20 000002af: ADD 000002b0: PUSH1 0x40 000002b2: MLOAD 000002b3: DUP1 000002b4: SWAP2 000002b5: SUB 000002b6: SWAP1 000002b7: RETURN 000002b8: JUMPDEST 000002b9: CALLVALUE 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: PUSH2 0x01e9 000002c7: PUSH1 0x04 000002c9: CALLDATALOAD 000002ca: PUSH2 0x07cf 000002cd: JUMP 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: ISZERO 000002d1: PUSH2 0x02d9 000002d4: JUMPI 000002d5: PUSH1 0x00 000002d7: DUP1 000002d8: REVERT 000002d9: JUMPDEST 000002da: PUSH2 0x01e9 000002dd: PUSH2 0x0824 000002e0: JUMP 000002e1: JUMPDEST 000002e2: CALLVALUE 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: PUSH2 0x01e9 000002f0: PUSH1 0x04 000002f2: CALLDATALOAD 000002f3: PUSH2 0x082b 000002f6: JUMP 000002f7: JUMPDEST 000002f8: CALLVALUE 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: PUSH2 0x02a4 00000306: PUSH2 0x0882 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: ISZERO 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: PUSH2 0x032e 00000319: PUSH1 0x01 0000031b: PUSH1 0xa0 0000031d: PUSH1 0x02 0000031f: EXP 00000320: SUB 00000321: PUSH1 0x04 00000323: CALLDATALOAD 00000324: AND 00000325: PUSH1 0x24 00000327: CALLDATALOAD 00000328: ISZERO 00000329: ISZERO 0000032a: PUSH2 0x088b 0000032d: JUMP 0000032e: JUMPDEST 0000032f: STOP 00000330: JUMPDEST 00000331: CALLVALUE 00000332: ISZERO 00000333: PUSH2 0x033b 00000336: JUMPI 00000337: PUSH1 0x00 00000339: DUP1 0000033a: REVERT 0000033b: JUMPDEST 0000033c: PUSH2 0x0343 0000033f: PUSH2 0x08df 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH1 0x40 00000346: MLOAD 00000347: PUSH1 0xff 00000349: SWAP1 0000034a: SWAP2 0000034b: AND 0000034c: DUP2 0000034d: MSTORE 0000034e: PUSH1 0x20 00000350: ADD 00000351: PUSH1 0x40 00000353: MLOAD 00000354: DUP1 00000355: SWAP2 00000356: SUB 00000357: SWAP1 00000358: RETURN 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: PUSH2 0x032e 00000368: PUSH2 0x08e4 0000036b: JUMP 0000036c: JUMPDEST 0000036d: CALLVALUE 0000036e: ISZERO 0000036f: PUSH2 0x0377 00000372: JUMPI 00000373: PUSH1 0x00 00000375: DUP1 00000376: REVERT 00000377: JUMPDEST 00000378: PUSH2 0x02a4 0000037b: PUSH1 0x04 0000037d: DUP1 0000037e: CALLDATALOAD 0000037f: PUSH1 0x01 00000381: PUSH1 0xa0 00000383: PUSH1 0x02 00000385: EXP 00000386: SUB 00000387: AND 00000388: SWAP1 00000389: PUSH1 0x24 0000038b: DUP1 0000038c: CALLDATALOAD 0000038d: SWAP2 0000038e: PUSH1 0x44 00000390: CALLDATALOAD 00000391: SWAP2 00000392: DUP3 00000393: ADD 00000394: SWAP2 00000395: ADD 00000396: CALLDATALOAD 00000397: PUSH2 0x09b0 0000039a: JUMP 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: ISZERO 0000039e: PUSH2 0x03a6 000003a1: JUMPI 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: REVERT 000003a6: JUMPDEST 000003a7: PUSH2 0x01e9 000003aa: PUSH2 0x0adb 000003ad: JUMP 000003ae: JUMPDEST 000003af: CALLVALUE 000003b0: ISZERO 000003b1: PUSH2 0x03b9 000003b4: JUMPI 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: REVERT 000003b9: JUMPDEST 000003ba: PUSH2 0x01e9 000003bd: PUSH2 0x0b48 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: PUSH2 0x03d4 000003d0: PUSH2 0x0b4e 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH1 0x40 000003d7: MLOAD 000003d8: PUSH1 0x01 000003da: PUSH1 0xa0 000003dc: PUSH1 0x02 000003de: EXP 000003df: SUB 000003e0: SWAP1 000003e1: SWAP2 000003e2: AND 000003e3: DUP2 000003e4: MSTORE 000003e5: PUSH1 0x20 000003e7: ADD 000003e8: PUSH1 0x40 000003ea: MLOAD 000003eb: DUP1 000003ec: SWAP2 000003ed: SUB 000003ee: SWAP1 000003ef: RETURN 000003f0: JUMPDEST 000003f1: CALLVALUE 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: PUSH2 0x01e9 000003ff: PUSH2 0x0b66 00000402: JUMP 00000403: JUMPDEST 00000404: CALLVALUE 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: PUSH2 0x01e9 00000412: PUSH1 0x04 00000414: CALLDATALOAD 00000415: ISZERO 00000416: ISZERO 00000417: PUSH2 0x0b7b 0000041a: JUMP 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: ISZERO 0000041e: PUSH2 0x0426 00000421: JUMPI 00000422: PUSH1 0x00 00000424: DUP1 00000425: REVERT 00000426: JUMPDEST 00000427: PUSH2 0x01e9 0000042a: PUSH2 0x0bbe 0000042d: JUMP 0000042e: JUMPDEST 0000042f: CALLVALUE 00000430: ISZERO 00000431: PUSH2 0x0439 00000434: JUMPI 00000435: PUSH1 0x00 00000437: DUP1 00000438: REVERT 00000439: JUMPDEST 0000043a: PUSH2 0x01e9 0000043d: PUSH1 0x01 0000043f: PUSH1 0xa0 00000441: PUSH1 0x02 00000443: EXP 00000444: SUB 00000445: PUSH1 0x04 00000447: CALLDATALOAD 00000448: AND 00000449: PUSH2 0x0bcc 0000044c: JUMP 0000044d: JUMPDEST 0000044e: CALLVALUE 0000044f: ISZERO 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: PUSH2 0x02a4 0000045c: PUSH1 0x01 0000045e: PUSH1 0xa0 00000460: PUSH1 0x02 00000462: EXP 00000463: SUB 00000464: PUSH1 0x04 00000466: CALLDATALOAD 00000467: AND 00000468: PUSH2 0x0be7 0000046b: JUMP 0000046c: JUMPDEST 0000046d: CALLVALUE 0000046e: ISZERO 0000046f: PUSH2 0x0477 00000472: JUMPI 00000473: PUSH1 0x00 00000475: DUP1 00000476: REVERT 00000477: JUMPDEST 00000478: PUSH2 0x01e9 0000047b: PUSH2 0x0bfc 0000047e: JUMP 0000047f: JUMPDEST 00000480: CALLVALUE 00000481: ISZERO 00000482: PUSH2 0x048a 00000485: JUMPI 00000486: PUSH1 0x00 00000488: DUP1 00000489: REVERT 0000048a: JUMPDEST 0000048b: PUSH2 0x032e 0000048e: PUSH1 0x04 00000490: CALLDATALOAD 00000491: PUSH2 0x0c02 00000494: JUMP 00000495: JUMPDEST 00000496: CALLVALUE 00000497: ISZERO 00000498: PUSH2 0x04a0 0000049b: JUMPI 0000049c: PUSH1 0x00 0000049e: DUP1 0000049f: REVERT 000004a0: JUMPDEST 000004a1: PUSH2 0x01e9 000004a4: PUSH2 0x0c30 000004a7: JUMP 000004a8: JUMPDEST 000004a9: CALLVALUE 000004aa: ISZERO 000004ab: PUSH2 0x04b3 000004ae: JUMPI 000004af: PUSH1 0x00 000004b1: DUP1 000004b2: REVERT 000004b3: JUMPDEST 000004b4: PUSH2 0x032e 000004b7: PUSH1 0x01 000004b9: PUSH1 0xa0 000004bb: PUSH1 0x02 000004bd: EXP 000004be: SUB 000004bf: PUSH1 0x04 000004c1: CALLDATALOAD 000004c2: AND 000004c3: PUSH1 0x24 000004c5: CALLDATALOAD 000004c6: ISZERO 000004c7: ISZERO 000004c8: PUSH2 0x0c96 000004cb: JUMP 000004cc: JUMPDEST 000004cd: PUSH2 0x032e 000004d0: PUSH2 0x0cea 000004d3: JUMP 000004d4: JUMPDEST 000004d5: CALLVALUE 000004d6: ISZERO 000004d7: PUSH2 0x04df 000004da: JUMPI 000004db: PUSH1 0x00 000004dd: DUP1 000004de: REVERT 000004df: JUMPDEST 000004e0: PUSH2 0x01e9 000004e3: PUSH2 0x0d60 000004e6: JUMP 000004e7: JUMPDEST 000004e8: CALLVALUE 000004e9: ISZERO 000004ea: PUSH2 0x04f2 000004ed: JUMPI 000004ee: PUSH1 0x00 000004f0: DUP1 000004f1: REVERT 000004f2: JUMPDEST 000004f3: PUSH2 0x020e 000004f6: PUSH2 0x0d73 000004f9: JUMP 000004fa: JUMPDEST 000004fb: CALLVALUE 000004fc: ISZERO 000004fd: PUSH2 0x0505 00000500: JUMPI 00000501: PUSH1 0x00 00000503: DUP1 00000504: REVERT 00000505: JUMPDEST 00000506: PUSH2 0x01e9 00000509: PUSH2 0x0dde 0000050c: JUMP 0000050d: JUMPDEST 0000050e: CALLVALUE 0000050f: ISZERO 00000510: PUSH2 0x0518 00000513: JUMPI 00000514: PUSH1 0x00 00000516: DUP1 00000517: REVERT 00000518: JUMPDEST 00000519: PUSH2 0x02a4 0000051c: PUSH1 0x01 0000051e: PUSH1 0xa0 00000520: PUSH1 0x02 00000522: EXP 00000523: SUB 00000524: PUSH1 0x04 00000526: CALLDATALOAD 00000527: AND 00000528: PUSH1 0x24 0000052a: CALLDATALOAD 0000052b: PUSH2 0x0de4 0000052e: JUMP 0000052f: JUMPDEST 00000530: CALLVALUE 00000531: ISZERO 00000532: PUSH2 0x053a 00000535: JUMPI 00000536: PUSH1 0x00 00000538: DUP1 00000539: REVERT 0000053a: JUMPDEST 0000053b: PUSH2 0x032e 0000053e: PUSH1 0x04 00000540: PUSH1 0x24 00000542: DUP2 00000543: CALLDATALOAD 00000544: DUP2 00000545: DUP2 00000546: ADD 00000547: SWAP1 00000548: DUP4 00000549: ADD 0000054a: CALLDATALOAD 0000054b: DUP1 0000054c: PUSH1 0x20 0000054e: PUSH1 0x1f 00000550: DUP3 00000551: ADD 00000552: DUP2 00000553: SWAP1 00000554: DIV 00000555: DUP2 00000556: MUL 00000557: ADD 00000558: PUSH1 0x40 0000055a: MLOAD 0000055b: SWAP1 0000055c: DUP2 0000055d: ADD 0000055e: PUSH1 0x40 00000560: MSTORE 00000561: DUP2 00000562: DUP2 00000563: MSTORE 00000564: SWAP3 00000565: SWAP2 00000566: SWAP1 00000567: PUSH1 0x20 00000569: DUP5 0000056a: ADD 0000056b: DUP4 0000056c: DUP4 0000056d: DUP1 0000056e: DUP3 0000056f: DUP5 00000570: CALLDATACOPY 00000571: POP 00000572: SWAP5 00000573: SWAP7 00000574: POP 00000575: PUSH2 0x0f1e 00000578: SWAP6 00000579: POP 0000057a: POP 0000057b: POP 0000057c: POP 0000057d: POP 0000057e: POP 0000057f: JUMP 00000580: JUMPDEST 00000581: CALLVALUE 00000582: ISZERO 00000583: PUSH2 0x058b 00000586: JUMPI 00000587: PUSH1 0x00 00000589: DUP1 0000058a: REVERT 0000058b: JUMPDEST 0000058c: PUSH2 0x032e 0000058f: PUSH1 0x04 00000591: PUSH1 0x24 00000593: DUP2 00000594: CALLDATALOAD 00000595: DUP2 00000596: DUP2 00000597: ADD 00000598: SWAP1 00000599: DUP4 0000059a: ADD 0000059b: CALLDATALOAD 0000059c: DUP1 0000059d: PUSH1 0x20 0000059f: PUSH1 0x1f 000005a1: DUP3 000005a2: ADD 000005a3: DUP2 000005a4: SWAP1 000005a5: DIV 000005a6: DUP2 000005a7: MUL 000005a8: ADD 000005a9: PUSH1 0x40 000005ab: MLOAD 000005ac: SWAP1 000005ad: DUP2 000005ae: ADD 000005af: PUSH1 0x40 000005b1: MSTORE 000005b2: DUP2 000005b3: DUP2 000005b4: MSTORE 000005b5: SWAP3 000005b6: SWAP2 000005b7: SWAP1 000005b8: PUSH1 0x20 000005ba: DUP5 000005bb: ADD 000005bc: DUP4 000005bd: DUP4 000005be: DUP1 000005bf: DUP3 000005c0: DUP5 000005c1: CALLDATACOPY 000005c2: POP 000005c3: SWAP5 000005c4: SWAP7 000005c5: POP 000005c6: PUSH2 0x0f5e 000005c9: SWAP6 000005ca: POP 000005cb: POP 000005cc: POP 000005cd: POP 000005ce: POP 000005cf: POP 000005d0: JUMP 000005d1: JUMPDEST 000005d2: CALLVALUE 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: PUSH2 0x032e 000005e0: PUSH1 0x04 000005e2: CALLDATALOAD 000005e3: PUSH2 0x0f99 000005e6: JUMP 000005e7: JUMPDEST 000005e8: CALLVALUE 000005e9: ISZERO 000005ea: PUSH2 0x05f2 000005ed: JUMPI 000005ee: PUSH1 0x00 000005f0: DUP1 000005f1: REVERT 000005f2: JUMPDEST 000005f3: PUSH2 0x032e 000005f6: PUSH2 0x1124 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH2 0x01e9 000005fe: PUSH1 0x01 00000600: PUSH1 0xa0 00000602: PUSH1 0x02 00000604: EXP 00000605: SUB 00000606: PUSH1 0x04 00000608: CALLDATALOAD 00000609: AND 0000060a: PUSH2 0x115b 0000060d: JUMP 0000060e: JUMPDEST 0000060f: CALLVALUE 00000610: ISZERO 00000611: PUSH2 0x0619 00000614: JUMPI 00000615: PUSH1 0x00 00000617: DUP1 00000618: REVERT 00000619: JUMPDEST 0000061a: PUSH2 0x032e 0000061d: PUSH2 0x1179 00000620: JUMP 00000621: JUMPDEST 00000622: PUSH1 0x00 00000624: DUP1 00000625: PUSH1 0x00 00000627: ORIGIN 00000628: PUSH1 0x01 0000062a: PUSH1 0xa0 0000062c: PUSH1 0x02 0000062e: EXP 0000062f: SUB 00000630: AND 00000631: CALLER 00000632: PUSH1 0x01 00000634: PUSH1 0xa0 00000636: PUSH1 0x02 00000638: EXP 00000639: SUB 0000063a: AND 0000063b: EQ 0000063c: ISZERO 0000063d: ISZERO 0000063e: PUSH2 0x0646 00000641: JUMPI 00000642: PUSH1 0x00 00000644: DUP1 00000645: REVERT 00000646: JUMPDEST 00000647: DUP5 00000648: SWAP2 00000649: POP 0000064a: PUSH8 0x1bc16d674ec80000 00000653: DUP3 00000654: GT 00000655: ISZERO 00000656: PUSH2 0x0694 00000659: JUMPI 0000065a: PUSH9 0x0ad78ebc5ac6200000 00000664: PUSH2 0x0677 00000667: ADDRESS 00000668: PUSH1 0x01 0000066a: PUSH1 0xa0 0000066c: PUSH1 0x02 0000066e: EXP 0000066f: SUB 00000670: AND 00000671: BALANCE 00000672: DUP5 00000673: PUSH2 0x1234 00000676: JUMP 00000677: JUMPDEST 00000678: GT 00000679: PUSH2 0x0694 0000067c: JUMPI 0000067d: PUSH8 0x1bc16d674ec80000 00000686: SWAP2 00000687: POP 00000688: PUSH2 0x0691 0000068b: DUP6 0000068c: DUP4 0000068d: PUSH2 0x1234 00000690: JUMP 00000691: JUMPDEST 00000692: SWAP1 00000693: POP 00000694: JUMPDEST 00000695: PUSH2 0x069e 00000698: DUP3 00000699: DUP6 0000069a: PUSH2 0x1246 0000069d: JUMP 0000069e: JUMPDEST 0000069f: POP 000006a0: PUSH1 0x00 000006a2: DUP2 000006a3: GT 000006a4: ISZERO 000006a5: PUSH2 0x06d9 000006a8: JUMPI 000006a9: PUSH1 0x01 000006ab: PUSH1 0xa0 000006ad: PUSH1 0x02 000006af: EXP 000006b0: SUB 000006b1: CALLER 000006b2: AND 000006b3: DUP2 000006b4: ISZERO 000006b5: PUSH2 0x08fc 000006b8: MUL 000006b9: DUP3 000006ba: PUSH1 0x40 000006bc: MLOAD 000006bd: PUSH1 0x00 000006bf: PUSH1 0x40 000006c1: MLOAD 000006c2: DUP1 000006c3: DUP4 000006c4: SUB 000006c5: DUP2 000006c6: DUP6 000006c7: DUP9 000006c8: DUP9 000006c9: CALL 000006ca: SWAP4 000006cb: POP 000006cc: POP 000006cd: POP 000006ce: POP 000006cf: ISZERO 000006d0: ISZERO 000006d1: PUSH2 0x06d9 000006d4: JUMPI 000006d5: PUSH1 0x00 000006d7: DUP1 000006d8: REVERT 000006d9: JUMPDEST 000006da: POP 000006db: POP 000006dc: SWAP3 000006dd: SWAP2 000006de: POP 000006df: POP 000006e0: JUMP 000006e1: JUMPDEST 000006e2: PUSH1 0x01 000006e4: PUSH1 0xa0 000006e6: PUSH1 0x02 000006e8: EXP 000006e9: SUB 000006ea: AND 000006eb: PUSH1 0x00 000006ed: SWAP1 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x09 000006f2: PUSH1 0x20 000006f4: SWAP1 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x40 000006f9: DUP1 000006fa: DUP4 000006fb: KECCAK256 000006fc: SLOAD 000006fd: PUSH1 0x07 000006ff: SWAP1 00000700: SWAP3 00000701: MSTORE 00000702: SWAP1 00000703: SWAP2 00000704: KECCAK256 00000705: SLOAD 00000706: PUSH1 0x0c 00000708: SLOAD 00000709: PUSH9 0x010000000000000000 00000713: SWAP2 00000714: MUL 00000715: SWAP2 00000716: SWAP1 00000717: SWAP2 00000718: SUB 00000719: DIV 0000071a: SWAP1 0000071b: JUMP 0000071c: JUMPDEST 0000071d: PUSH1 0x01 0000071f: DUP1 00000720: SLOAD 00000721: PUSH1 0x01 00000723: DUP2 00000724: PUSH1 0x01 00000726: AND 00000727: ISZERO 00000728: PUSH2 0x0100 0000072b: MUL 0000072c: SUB 0000072d: AND 0000072e: PUSH1 0x02 00000730: SWAP1 00000731: DIV 00000732: DUP1 00000733: PUSH1 0x1f 00000735: ADD 00000736: PUSH1 0x20 00000738: DUP1 00000739: SWAP2 0000073a: DIV 0000073b: MUL 0000073c: PUSH1 0x20 0000073e: ADD 0000073f: PUSH1 0x40 00000741: MLOAD 00000742: SWAP1 00000743: DUP2 00000744: ADD 00000745: PUSH1 0x40 00000747: MSTORE 00000748: DUP1 00000749: SWAP3 0000074a: SWAP2 0000074b: SWAP1 0000074c: DUP2 0000074d: DUP2 0000074e: MSTORE 0000074f: PUSH1 0x20 00000751: ADD 00000752: DUP3 00000753: DUP1 00000754: SLOAD 00000755: PUSH1 0x01 00000757: DUP2 00000758: PUSH1 0x01 0000075a: AND 0000075b: ISZERO 0000075c: PUSH2 0x0100 0000075f: MUL 00000760: SUB 00000761: AND 00000762: PUSH1 0x02 00000764: SWAP1 00000765: DIV 00000766: DUP1 00000767: ISZERO 00000768: PUSH2 0x07b2 0000076b: JUMPI 0000076c: DUP1 0000076d: PUSH1 0x1f 0000076f: LT 00000770: PUSH2 0x0787 00000773: JUMPI 00000774: PUSH2 0x0100 00000777: DUP1 00000778: DUP4 00000779: SLOAD 0000077a: DIV 0000077b: MUL 0000077c: DUP4 0000077d: MSTORE 0000077e: SWAP2 0000077f: PUSH1 0x20 00000781: ADD 00000782: SWAP2 00000783: PUSH2 0x07b2 00000786: JUMP 00000787: JUMPDEST 00000788: DUP3 00000789: ADD 0000078a: SWAP2 0000078b: SWAP1 0000078c: PUSH1 0x00 0000078e: MSTORE 0000078f: PUSH1 0x20 00000791: PUSH1 0x00 00000793: KECCAK256 00000794: SWAP1 00000795: JUMPDEST 00000796: DUP2 00000797: SLOAD 00000798: DUP2 00000799: MSTORE 0000079a: SWAP1 0000079b: PUSH1 0x01 0000079d: ADD 0000079e: SWAP1 0000079f: PUSH1 0x20 000007a1: ADD 000007a2: DUP1 000007a3: DUP4 000007a4: GT 000007a5: PUSH2 0x0795 000007a8: JUMPI 000007a9: DUP3 000007aa: SWAP1 000007ab: SUB 000007ac: PUSH1 0x1f 000007ae: AND 000007af: DUP3 000007b0: ADD 000007b1: SWAP2 000007b2: JUMPDEST 000007b3: POP 000007b4: POP 000007b5: POP 000007b6: POP 000007b7: POP 000007b8: DUP2 000007b9: JUMP 000007ba: JUMPDEST 000007bb: PUSH1 0x0f 000007bd: PUSH1 0x20 000007bf: MSTORE 000007c0: PUSH1 0x00 000007c2: SWAP1 000007c3: DUP2 000007c4: MSTORE 000007c5: PUSH1 0x40 000007c7: SWAP1 000007c8: KECCAK256 000007c9: SLOAD 000007ca: PUSH1 0xff 000007cc: AND 000007cd: DUP2 000007ce: JUMP 000007cf: JUMPDEST 000007d0: PUSH1 0x00 000007d2: DUP1 000007d3: DUP1 000007d4: DUP1 000007d5: DUP1 000007d6: PUSH2 0x07ea 000007d9: PUSH2 0x07e3 000007dc: DUP8 000007dd: PUSH1 0x14 000007df: PUSH2 0x1867 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH1 0x64 000007e6: PUSH2 0x1899 000007e9: JUMP 000007ea: JUMPDEST 000007eb: SWAP4 000007ec: POP 000007ed: PUSH2 0x07fa 000007f0: PUSH2 0x07e3 000007f3: DUP8 000007f4: PUSH1 0x05 000007f6: PUSH2 0x1867 000007f9: JUMP 000007fa: JUMPDEST 000007fb: SWAP3 000007fc: POP 000007fd: PUSH2 0x080f 00000800: PUSH2 0x0809 00000803: DUP8 00000804: DUP7 00000805: PUSH2 0x1234 00000808: JUMP 00000809: JUMPDEST 0000080a: DUP5 0000080b: PUSH2 0x1234 0000080e: JUMP 0000080f: JUMPDEST 00000810: SWAP2 00000811: POP 00000812: PUSH2 0x081a 00000815: DUP3 00000816: PUSH2 0x18b0 00000819: JUMP 0000081a: JUMPDEST 0000081b: SWAP7 0000081c: SWAP6 0000081d: POP 0000081e: POP 0000081f: POP 00000820: POP 00000821: POP 00000822: POP 00000823: JUMP 00000824: JUMPDEST 00000825: PUSH1 0x0b 00000827: SLOAD 00000828: JUMPDEST 00000829: SWAP1 0000082a: JUMP 0000082b: JUMPDEST 0000082c: PUSH1 0x00 0000082e: DUP1 0000082f: PUSH1 0x00 00000831: DUP1 00000832: PUSH1 0x00 00000834: PUSH1 0x0b 00000836: SLOAD 00000837: DUP7 00000838: GT 00000839: ISZERO 0000083a: ISZERO 0000083b: ISZERO 0000083c: PUSH2 0x0844 0000083f: JUMPI 00000840: PUSH1 0x00 00000842: DUP1 00000843: REVERT 00000844: JUMPDEST 00000845: PUSH2 0x084d 00000848: DUP7 00000849: PUSH2 0x1942 0000084c: JUMP 0000084d: JUMPDEST 0000084e: SWAP4 0000084f: POP 00000850: PUSH2 0x085d 00000853: PUSH2 0x07e3 00000856: DUP6 00000857: PUSH1 0x14 00000859: PUSH2 0x1867 0000085c: JUMP 0000085d: JUMPDEST 0000085e: SWAP3 0000085f: POP 00000860: PUSH2 0x086d 00000863: PUSH2 0x07e3 00000866: DUP6 00000867: PUSH1 0x05 00000869: PUSH2 0x1867 0000086c: JUMP 0000086d: JUMPDEST 0000086e: SWAP2 0000086f: POP 00000870: PUSH2 0x081a 00000873: PUSH2 0x087c 00000876: DUP6 00000877: DUP6 00000878: PUSH2 0x1234 0000087b: JUMP 0000087c: JUMPDEST 0000087d: DUP4 0000087e: PUSH2 0x1234 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH1 0x0e 00000885: SLOAD 00000886: PUSH1 0xff 00000888: AND 00000889: DUP2 0000088a: JUMP 0000088b: JUMPDEST 0000088c: CALLER 0000088d: PUSH1 0x01 0000088f: PUSH1 0xa0 00000891: PUSH1 0x02 00000893: EXP 00000894: SUB 00000895: DUP2 00000896: AND 00000897: PUSH1 0x00 00000899: SWAP1 0000089a: DUP2 0000089b: MSTORE 0000089c: PUSH1 0x0d 0000089e: PUSH1 0x20 000008a0: MSTORE 000008a1: PUSH1 0x40 000008a3: SWAP1 000008a4: KECCAK256 000008a5: SLOAD 000008a6: PUSH1 0xff 000008a8: AND 000008a9: ISZERO 000008aa: ISZERO 000008ab: PUSH2 0x08b3 000008ae: JUMPI 000008af: PUSH1 0x00 000008b1: DUP1 000008b2: REVERT 000008b3: JUMPDEST 000008b4: POP 000008b5: PUSH1 0x01 000008b7: PUSH1 0xa0 000008b9: PUSH1 0x02 000008bb: EXP 000008bc: SUB 000008bd: SWAP2 000008be: SWAP1 000008bf: SWAP2 000008c0: AND 000008c1: PUSH1 0x00 000008c3: SWAP1 000008c4: DUP2 000008c5: MSTORE 000008c6: PUSH1 0x0f 000008c8: PUSH1 0x20 000008ca: MSTORE 000008cb: PUSH1 0x40 000008cd: SWAP1 000008ce: KECCAK256 000008cf: DUP1 000008d0: SLOAD 000008d1: PUSH1 0xff 000008d3: NOT 000008d4: AND 000008d5: SWAP2 000008d6: ISZERO 000008d7: ISZERO 000008d8: SWAP2 000008d9: SWAP1 000008da: SWAP2 000008db: OR 000008dc: SWAP1 000008dd: SSTORE 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH1 0x12 000008e2: DUP2 000008e3: JUMP 000008e4: JUMPDEST 000008e5: PUSH1 0x00 000008e7: DUP1 000008e8: PUSH1 0x00 000008ea: PUSH2 0x08f3 000008ed: PUSH1 0x01 000008ef: PUSH2 0x0b7b 000008f2: JUMP 000008f3: JUMPDEST 000008f4: GT 000008f5: PUSH2 0x08fd 000008f8: JUMPI 000008f9: PUSH1 0x00 000008fb: DUP1 000008fc: REVERT 000008fd: JUMPDEST 000008fe: CALLER 000008ff: SWAP2 00000900: POP 00000901: PUSH2 0x090a 00000904: PUSH1 0x00 00000906: PUSH2 0x0b7b 00000909: JUMP 0000090a: JUMPDEST 0000090b: PUSH1 0x01 0000090d: PUSH1 0xa0 0000090f: PUSH1 0x02 00000911: EXP 00000912: SUB 00000913: DUP4 00000914: AND 00000915: PUSH1 0x00 00000917: DUP2 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x09 0000091c: PUSH1 0x20 0000091e: SWAP1 0000091f: DUP2 00000920: MSTORE 00000921: PUSH1 0x40 00000923: DUP1 00000924: DUP4 00000925: KECCAK256 00000926: DUP1 00000927: SLOAD 00000928: PUSH9 0x010000000000000000 00000932: DUP8 00000933: MUL 00000934: ADD 00000935: SWAP1 00000936: SSTORE 00000937: PUSH1 0x08 00000939: SWAP1 0000093a: SWAP2 0000093b: MSTORE 0000093c: DUP1 0000093d: DUP3 0000093e: KECCAK256 0000093f: DUP1 00000940: SLOAD 00000941: SWAP3 00000942: SWAP1 00000943: SSTORE 00000944: SWAP3 00000945: ADD 00000946: SWAP3 00000947: POP 00000948: SWAP1 00000949: DUP3 0000094a: ISZERO 0000094b: PUSH2 0x08fc 0000094e: MUL 0000094f: SWAP1 00000950: DUP4 00000951: SWAP1 00000952: MLOAD 00000953: PUSH1 0x00 00000955: PUSH1 0x40 00000957: MLOAD 00000958: DUP1 00000959: DUP4 0000095a: SUB 0000095b: DUP2 0000095c: DUP6 0000095d: DUP9 0000095e: DUP9 0000095f: CALL 00000960: SWAP4 00000961: POP 00000962: POP 00000963: POP 00000964: POP 00000965: ISZERO 00000966: ISZERO 00000967: PUSH2 0x096f 0000096a: JUMPI 0000096b: PUSH1 0x00 0000096d: DUP1 0000096e: REVERT 0000096f: JUMPDEST 00000970: DUP2 00000971: PUSH1 0x01 00000973: PUSH1 0xa0 00000975: PUSH1 0x02 00000977: EXP 00000978: SUB 00000979: AND 0000097a: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 0000099b: DUP3 0000099c: PUSH1 0x40 0000099e: MLOAD 0000099f: SWAP1 000009a0: DUP2 000009a1: MSTORE 000009a2: PUSH1 0x20 000009a4: ADD 000009a5: PUSH1 0x40 000009a7: MLOAD 000009a8: DUP1 000009a9: SWAP2 000009aa: SUB 000009ab: SWAP1 000009ac: LOG2 000009ad: POP 000009ae: POP 000009af: JUMP 000009b0: JUMPDEST 000009b1: PUSH1 0x00 000009b3: DUP1 000009b4: PUSH1 0x01 000009b6: PUSH1 0xa0 000009b8: PUSH1 0x02 000009ba: EXP 000009bb: SUB 000009bc: DUP7 000009bd: AND 000009be: ISZERO 000009bf: ISZERO 000009c0: PUSH2 0x09c8 000009c3: JUMPI 000009c4: PUSH1 0x00 000009c6: DUP1 000009c7: REVERT 000009c8: JUMPDEST 000009c9: PUSH1 0x01 000009cb: PUSH1 0xa0 000009cd: PUSH1 0x02 000009cf: EXP 000009d0: SUB 000009d1: DUP7 000009d2: AND 000009d3: PUSH1 0x00 000009d5: SWAP1 000009d6: DUP2 000009d7: MSTORE 000009d8: PUSH1 0x0f 000009da: PUSH1 0x20 000009dc: MSTORE 000009dd: PUSH1 0x40 000009df: SWAP1 000009e0: KECCAK256 000009e1: SLOAD 000009e2: PUSH1 0xff 000009e4: AND 000009e5: ISZERO 000009e6: ISZERO 000009e7: PUSH1 0x01 000009e9: EQ 000009ea: PUSH2 0x09f2 000009ed: JUMPI 000009ee: PUSH1 0x00 000009f0: DUP1 000009f1: REVERT 000009f2: JUMPDEST 000009f3: PUSH2 0x09fc 000009f6: DUP7 000009f7: DUP7 000009f8: PUSH2 0x0de4 000009fb: JUMP 000009fc: JUMPDEST 000009fd: ISZERO 000009fe: ISZERO 000009ff: PUSH2 0x0a07 00000a02: JUMPI 00000a03: PUSH1 0x00 00000a05: DUP1 00000a06: REVERT 00000a07: JUMPDEST 00000a08: PUSH2 0x0a10 00000a0b: DUP7 00000a0c: PUSH2 0x19ac 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: ISZERO 00000a12: PUSH2 0x0acf 00000a15: JUMPI 00000a16: POP 00000a17: DUP5 00000a18: PUSH1 0x01 00000a1a: PUSH1 0xa0 00000a1c: PUSH1 0x02 00000a1e: EXP 00000a1f: SUB 00000a20: DUP2 00000a21: AND 00000a22: PUSH4 0xc0ee0b8a 00000a27: CALLER 00000a28: DUP8 00000a29: DUP8 00000a2a: DUP8 00000a2b: PUSH1 0x40 00000a2d: MLOAD 00000a2e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a4c: PUSH4 0xffffffff 00000a51: DUP8 00000a52: AND 00000a53: MUL 00000a54: DUP2 00000a55: MSTORE 00000a56: PUSH1 0x01 00000a58: PUSH1 0xa0 00000a5a: PUSH1 0x02 00000a5c: EXP 00000a5d: SUB 00000a5e: DUP6 00000a5f: AND 00000a60: PUSH1 0x04 00000a62: DUP3 00000a63: ADD 00000a64: SWAP1 00000a65: DUP2 00000a66: MSTORE 00000a67: PUSH1 0x24 00000a69: DUP3 00000a6a: ADD 00000a6b: DUP6 00000a6c: SWAP1 00000a6d: MSTORE 00000a6e: PUSH1 0x60 00000a70: PUSH1 0x44 00000a72: DUP4 00000a73: ADD 00000a74: SWAP1 00000a75: DUP2 00000a76: MSTORE 00000a77: PUSH1 0x64 00000a79: DUP4 00000a7a: ADD 00000a7b: DUP5 00000a7c: SWAP1 00000a7d: MSTORE 00000a7e: SWAP1 00000a7f: SWAP2 00000a80: PUSH1 0x84 00000a82: ADD 00000a83: DUP5 00000a84: DUP5 00000a85: DUP1 00000a86: DUP3 00000a87: DUP5 00000a88: CALLDATACOPY 00000a89: DUP3 00000a8a: ADD 00000a8b: SWAP2 00000a8c: POP 00000a8d: POP 00000a8e: SWAP6 00000a8f: POP 00000a90: POP 00000a91: POP 00000a92: POP 00000a93: POP 00000a94: POP 00000a95: PUSH1 0x20 00000a97: PUSH1 0x40 00000a99: MLOAD 00000a9a: DUP1 00000a9b: DUP4 00000a9c: SUB 00000a9d: DUP2 00000a9e: PUSH1 0x00 00000aa0: DUP8 00000aa1: DUP1 00000aa2: EXTCODESIZE 00000aa3: ISZERO 00000aa4: ISZERO 00000aa5: PUSH2 0x0aad 00000aa8: JUMPI 00000aa9: PUSH1 0x00 00000aab: DUP1 00000aac: REVERT 00000aad: JUMPDEST 00000aae: GAS 00000aaf: CALL 00000ab0: ISZERO 00000ab1: ISZERO 00000ab2: PUSH2 0x0aba 00000ab5: JUMPI 00000ab6: PUSH1 0x00 00000ab8: DUP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: POP 00000abc: POP 00000abd: POP 00000abe: PUSH1 0x40 00000ac0: MLOAD 00000ac1: DUP1 00000ac2: MLOAD 00000ac3: SWAP1 00000ac4: POP 00000ac5: ISZERO 00000ac6: ISZERO 00000ac7: PUSH2 0x0acf 00000aca: JUMPI 00000acb: PUSH1 0x00 00000acd: DUP1 00000ace: REVERT 00000acf: JUMPDEST 00000ad0: POP 00000ad1: PUSH1 0x01 00000ad3: SWAP6 00000ad4: SWAP5 00000ad5: POP 00000ad6: POP 00000ad7: POP 00000ad8: POP 00000ad9: POP 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH1 0x00 00000ade: DUP1 00000adf: PUSH1 0x00 00000ae1: DUP1 00000ae2: PUSH1 0x00 00000ae4: PUSH1 0x0b 00000ae6: SLOAD 00000ae7: PUSH1 0x00 00000ae9: EQ 00000aea: ISZERO 00000aeb: PUSH2 0x0afb 00000aee: JUMPI 00000aef: PUSH5 0x0218711a00 00000af5: SWAP5 00000af6: POP 00000af7: PUSH2 0x0b41 00000afa: JUMP 00000afb: JUMPDEST 00000afc: PUSH2 0x0b0c 00000aff: PUSH8 0x0de0b6b3a7640000 00000b08: PUSH2 0x1942 00000b0b: JUMP 00000b0c: JUMPDEST 00000b0d: SWAP4 00000b0e: POP 00000b0f: PUSH2 0x0b1c 00000b12: PUSH2 0x07e3 00000b15: DUP6 00000b16: PUSH1 0x14 00000b18: PUSH2 0x1867 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: SWAP3 00000b1e: POP 00000b1f: PUSH2 0x0b2c 00000b22: PUSH2 0x07e3 00000b25: DUP6 00000b26: PUSH1 0x05 00000b28: PUSH2 0x1867 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: SWAP2 00000b2e: POP 00000b2f: PUSH2 0x0b3b 00000b32: PUSH2 0x087c 00000b35: DUP6 00000b36: DUP6 00000b37: PUSH2 0x1234 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: SWAP1 00000b3d: POP 00000b3e: DUP1 00000b3f: SWAP5 00000b40: POP 00000b41: JUMPDEST 00000b42: POP 00000b43: POP 00000b44: POP 00000b45: POP 00000b46: SWAP1 00000b47: JUMP 00000b48: JUMPDEST 00000b49: PUSH1 0x05 00000b4b: SLOAD 00000b4c: DUP2 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: PUSH20 0xd9092d94f74e6b5d408dbd3ecc88f3e5810d1e98 00000b64: DUP2 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH1 0x00 00000b69: PUSH2 0x0b76 00000b6c: PUSH1 0x04 00000b6e: SLOAD 00000b6f: PUSH1 0x03 00000b71: SLOAD 00000b72: PUSH2 0x1234 00000b75: JUMP 00000b76: JUMPDEST 00000b77: SWAP1 00000b78: POP 00000b79: SWAP1 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH1 0x00 00000b7e: CALLER 00000b7f: DUP3 00000b80: PUSH2 0x0b91 00000b83: JUMPI 00000b84: PUSH2 0x0b8c 00000b87: DUP2 00000b88: PUSH2 0x06e1 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH2 0x0bb5 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH1 0x01 00000b94: PUSH1 0xa0 00000b96: PUSH1 0x02 00000b98: EXP 00000b99: SUB 00000b9a: DUP2 00000b9b: AND 00000b9c: PUSH1 0x00 00000b9e: SWAP1 00000b9f: DUP2 00000ba0: MSTORE 00000ba1: PUSH1 0x08 00000ba3: PUSH1 0x20 00000ba5: MSTORE 00000ba6: PUSH1 0x40 00000ba8: SWAP1 00000ba9: KECCAK256 00000baa: SLOAD 00000bab: PUSH2 0x0bb3 00000bae: DUP3 00000baf: PUSH2 0x06e1 00000bb2: JUMP 00000bb3: JUMPDEST 00000bb4: ADD 00000bb5: JUMPDEST 00000bb6: SWAP2 00000bb7: POP 00000bb8: JUMPDEST 00000bb9: POP 00000bba: SWAP2 00000bbb: SWAP1 00000bbc: POP 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH1 0x01 00000bc1: PUSH1 0xa0 00000bc3: PUSH1 0x02 00000bc5: EXP 00000bc6: SUB 00000bc7: ADDRESS 00000bc8: AND 00000bc9: BALANCE 00000bca: SWAP1 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: PUSH1 0x01 00000bcf: PUSH1 0xa0 00000bd1: PUSH1 0x02 00000bd3: EXP 00000bd4: SUB 00000bd5: AND 00000bd6: PUSH1 0x00 00000bd8: SWAP1 00000bd9: DUP2 00000bda: MSTORE 00000bdb: PUSH1 0x07 00000bdd: PUSH1 0x20 00000bdf: MSTORE 00000be0: PUSH1 0x40 00000be2: SWAP1 00000be3: KECCAK256 00000be4: SLOAD 00000be5: SWAP1 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH1 0x0d 00000bea: PUSH1 0x20 00000bec: MSTORE 00000bed: PUSH1 0x00 00000bef: SWAP1 00000bf0: DUP2 00000bf1: MSTORE 00000bf2: PUSH1 0x40 00000bf4: SWAP1 00000bf5: KECCAK256 00000bf6: SLOAD 00000bf7: PUSH1 0xff 00000bf9: AND 00000bfa: DUP2 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH1 0x04 00000bff: SLOAD 00000c00: DUP2 00000c01: JUMP 00000c02: JUMPDEST 00000c03: CALLER 00000c04: PUSH1 0x01 00000c06: PUSH1 0xa0 00000c08: PUSH1 0x02 00000c0a: EXP 00000c0b: SUB 00000c0c: DUP2 00000c0d: AND 00000c0e: PUSH1 0x00 00000c10: SWAP1 00000c11: DUP2 00000c12: MSTORE 00000c13: PUSH1 0x0d 00000c15: PUSH1 0x20 00000c17: MSTORE 00000c18: PUSH1 0x40 00000c1a: SWAP1 00000c1b: KECCAK256 00000c1c: SLOAD 00000c1d: PUSH1 0xff 00000c1f: AND 00000c20: ISZERO 00000c21: ISZERO 00000c22: PUSH2 0x0c2a 00000c25: JUMPI 00000c26: PUSH1 0x00 00000c28: DUP1 00000c29: REVERT 00000c2a: JUMPDEST 00000c2b: POP 00000c2c: PUSH1 0x05 00000c2e: SSTORE 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: PUSH1 0x00 00000c33: DUP1 00000c34: PUSH1 0x00 00000c36: DUP1 00000c37: PUSH1 0x00 00000c39: PUSH1 0x0b 00000c3b: SLOAD 00000c3c: PUSH1 0x00 00000c3e: EQ 00000c3f: ISZERO 00000c40: PUSH2 0x0c50 00000c43: JUMPI 00000c44: PUSH5 0x028fa6ae00 00000c4a: SWAP5 00000c4b: POP 00000c4c: PUSH2 0x0b41 00000c4f: JUMP 00000c50: JUMPDEST 00000c51: PUSH2 0x0c61 00000c54: PUSH8 0x0de0b6b3a7640000 00000c5d: PUSH2 0x1942 00000c60: JUMP 00000c61: JUMPDEST 00000c62: SWAP4 00000c63: POP 00000c64: PUSH2 0x0c71 00000c67: PUSH2 0x07e3 00000c6a: DUP6 00000c6b: PUSH1 0x14 00000c6d: PUSH2 0x1867 00000c70: JUMP 00000c71: JUMPDEST 00000c72: SWAP3 00000c73: POP 00000c74: PUSH2 0x0c81 00000c77: PUSH2 0x07e3 00000c7a: DUP6 00000c7b: PUSH1 0x05 00000c7d: PUSH2 0x1867 00000c80: JUMP 00000c81: JUMPDEST 00000c82: SWAP2 00000c83: POP 00000c84: PUSH2 0x0b3b 00000c87: PUSH2 0x0c90 00000c8a: DUP6 00000c8b: DUP6 00000c8c: PUSH2 0x19b4 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: DUP4 00000c92: PUSH2 0x19b4 00000c95: JUMP 00000c96: JUMPDEST 00000c97: CALLER 00000c98: PUSH1 0x01 00000c9a: PUSH1 0xa0 00000c9c: PUSH1 0x02 00000c9e: EXP 00000c9f: SUB 00000ca0: DUP2 00000ca1: AND 00000ca2: PUSH1 0x00 00000ca4: SWAP1 00000ca5: DUP2 00000ca6: MSTORE 00000ca7: PUSH1 0x0d 00000ca9: PUSH1 0x20 00000cab: MSTORE 00000cac: PUSH1 0x40 00000cae: SWAP1 00000caf: KECCAK256 00000cb0: SLOAD 00000cb1: PUSH1 0xff 00000cb3: AND 00000cb4: ISZERO 00000cb5: ISZERO 00000cb6: PUSH2 0x0cbe 00000cb9: JUMPI 00000cba: PUSH1 0x00 00000cbc: DUP1 00000cbd: REVERT 00000cbe: JUMPDEST 00000cbf: POP 00000cc0: PUSH1 0x01 00000cc2: PUSH1 0xa0 00000cc4: PUSH1 0x02 00000cc6: EXP 00000cc7: SUB 00000cc8: SWAP2 00000cc9: SWAP1 00000cca: SWAP2 00000ccb: AND 00000ccc: PUSH1 0x00 00000cce: SWAP1 00000ccf: DUP2 00000cd0: MSTORE 00000cd1: PUSH1 0x0d 00000cd3: PUSH1 0x20 00000cd5: MSTORE 00000cd6: PUSH1 0x40 00000cd8: SWAP1 00000cd9: KECCAK256 00000cda: DUP1 00000cdb: SLOAD 00000cdc: PUSH1 0xff 00000cde: NOT 00000cdf: AND 00000ce0: SWAP2 00000ce1: ISZERO 00000ce2: ISZERO 00000ce3: SWAP2 00000ce4: SWAP1 00000ce5: SWAP2 00000ce6: OR 00000ce7: SWAP1 00000ce8: SSTORE 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x00 00000ced: PUSH2 0x0cfa 00000cf0: PUSH1 0x04 00000cf2: SLOAD 00000cf3: PUSH1 0x03 00000cf5: SLOAD 00000cf6: PUSH2 0x1234 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: SWAP1 00000cfc: POP 00000cfd: PUSH1 0x01 00000cff: DUP2 00000d00: GT 00000d01: PUSH2 0x0d09 00000d04: JUMPI 00000d05: PUSH1 0x00 00000d07: DUP1 00000d08: REVERT 00000d09: JUMPDEST 00000d0a: PUSH2 0x0d15 00000d0d: PUSH1 0x03 00000d0f: SLOAD 00000d10: DUP3 00000d11: PUSH2 0x19b4 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH1 0x03 00000d18: SSTORE 00000d19: PUSH20 0xd9092d94f74e6b5d408dbd3ecc88f3e5810d1e98 00000d2e: PUSH3 0x061a80 00000d32: DUP3 00000d33: PUSH1 0x40 00000d35: MLOAD 00000d36: PUSH1 0x00 00000d38: PUSH1 0x40 00000d3a: MLOAD 00000d3b: DUP1 00000d3c: DUP4 00000d3d: SUB 00000d3e: DUP2 00000d3f: DUP6 00000d40: DUP9 00000d41: DUP9 00000d42: CALL 00000d43: SWAP4 00000d44: POP 00000d45: POP 00000d46: POP 00000d47: POP 00000d48: ISZERO 00000d49: ISZERO 00000d4a: PUSH2 0x0d5d 00000d4d: JUMPI 00000d4e: PUSH2 0x0d59 00000d51: PUSH1 0x03 00000d53: SLOAD 00000d54: DUP3 00000d55: PUSH2 0x1234 00000d58: JUMP 00000d59: JUMPDEST 00000d5a: PUSH1 0x03 00000d5c: SSTORE 00000d5d: JUMPDEST 00000d5e: POP 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: PUSH1 0x00 00000d63: CALLER 00000d64: PUSH2 0x0d6c 00000d67: DUP2 00000d68: PUSH2 0x0bcc 00000d6b: JUMP 00000d6c: JUMPDEST 00000d6d: SWAP2 00000d6e: POP 00000d6f: JUMPDEST 00000d70: POP 00000d71: SWAP1 00000d72: JUMP 00000d73: JUMPDEST 00000d74: PUSH1 0x02 00000d76: DUP1 00000d77: SLOAD 00000d78: PUSH1 0x01 00000d7a: DUP2 00000d7b: PUSH1 0x01 00000d7d: AND 00000d7e: ISZERO 00000d7f: PUSH2 0x0100 00000d82: MUL 00000d83: SUB 00000d84: AND 00000d85: PUSH1 0x02 00000d87: SWAP1 00000d88: DIV 00000d89: DUP1 00000d8a: PUSH1 0x1f 00000d8c: ADD 00000d8d: PUSH1 0x20 00000d8f: DUP1 00000d90: SWAP2 00000d91: DIV 00000d92: MUL 00000d93: PUSH1 0x20 00000d95: ADD 00000d96: PUSH1 0x40 00000d98: MLOAD 00000d99: SWAP1 00000d9a: DUP2 00000d9b: ADD 00000d9c: PUSH1 0x40 00000d9e: MSTORE 00000d9f: DUP1 00000da0: SWAP3 00000da1: SWAP2 00000da2: SWAP1 00000da3: DUP2 00000da4: DUP2 00000da5: MSTORE 00000da6: PUSH1 0x20 00000da8: ADD 00000da9: DUP3 00000daa: DUP1 00000dab: SLOAD 00000dac: PUSH1 0x01 00000dae: DUP2 00000daf: PUSH1 0x01 00000db1: AND 00000db2: ISZERO 00000db3: PUSH2 0x0100 00000db6: MUL 00000db7: SUB 00000db8: AND 00000db9: PUSH1 0x02 00000dbb: SWAP1 00000dbc: DIV 00000dbd: DUP1 00000dbe: ISZERO 00000dbf: PUSH2 0x07b2 00000dc2: JUMPI 00000dc3: DUP1 00000dc4: PUSH1 0x1f 00000dc6: LT 00000dc7: PUSH2 0x0787 00000dca: JUMPI 00000dcb: PUSH2 0x0100 00000dce: DUP1 00000dcf: DUP4 00000dd0: SLOAD 00000dd1: DIV 00000dd2: MUL 00000dd3: DUP4 00000dd4: MSTORE 00000dd5: SWAP2 00000dd6: PUSH1 0x20 00000dd8: ADD 00000dd9: SWAP2 00000dda: PUSH2 0x07b2 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: PUSH1 0x03 00000de1: SLOAD 00000de2: DUP2 00000de3: JUMP 00000de4: JUMPDEST 00000de5: PUSH1 0x00 00000de7: DUP1 00000de8: PUSH1 0x00 00000dea: PUSH2 0x0df1 00000ded: PUSH2 0x0d60 00000df0: JUMP 00000df1: JUMPDEST 00000df2: GT 00000df3: PUSH2 0x0dfb 00000df6: JUMPI 00000df7: PUSH1 0x00 00000df9: DUP1 00000dfa: REVERT 00000dfb: JUMPDEST 00000dfc: POP 00000dfd: CALLER 00000dfe: PUSH1 0x01 00000e00: PUSH1 0xa0 00000e02: PUSH1 0x02 00000e04: EXP 00000e05: SUB 00000e06: DUP2 00000e07: AND 00000e08: PUSH1 0x00 00000e0a: SWAP1 00000e0b: DUP2 00000e0c: MSTORE 00000e0d: PUSH1 0x07 00000e0f: PUSH1 0x20 00000e11: MSTORE 00000e12: PUSH1 0x40 00000e14: SWAP1 00000e15: KECCAK256 00000e16: SLOAD 00000e17: DUP4 00000e18: GT 00000e19: ISZERO 00000e1a: PUSH2 0x0e22 00000e1d: JUMPI 00000e1e: PUSH1 0x00 00000e20: DUP1 00000e21: REVERT 00000e22: JUMPDEST 00000e23: PUSH1 0x00 00000e25: PUSH2 0x0e2e 00000e28: PUSH1 0x01 00000e2a: PUSH2 0x0b7b 00000e2d: JUMP 00000e2e: JUMPDEST 00000e2f: GT 00000e30: ISZERO 00000e31: PUSH2 0x0e3c 00000e34: JUMPI 00000e35: PUSH2 0x0e3c 00000e38: PUSH2 0x08e4 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: PUSH1 0x01 00000e3f: PUSH1 0xa0 00000e41: PUSH1 0x02 00000e43: EXP 00000e44: SUB 00000e45: DUP2 00000e46: AND 00000e47: PUSH1 0x00 00000e49: SWAP1 00000e4a: DUP2 00000e4b: MSTORE 00000e4c: PUSH1 0x07 00000e4e: PUSH1 0x20 00000e50: MSTORE 00000e51: PUSH1 0x40 00000e53: SWAP1 00000e54: KECCAK256 00000e55: SLOAD 00000e56: PUSH2 0x0e5f 00000e59: SWAP1 00000e5a: DUP5 00000e5b: PUSH2 0x1234 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH1 0x01 00000e62: PUSH1 0xa0 00000e64: PUSH1 0x02 00000e66: EXP 00000e67: SUB 00000e68: DUP1 00000e69: DUP4 00000e6a: AND 00000e6b: PUSH1 0x00 00000e6d: SWAP1 00000e6e: DUP2 00000e6f: MSTORE 00000e70: PUSH1 0x07 00000e72: PUSH1 0x20 00000e74: MSTORE 00000e75: PUSH1 0x40 00000e77: DUP1 00000e78: DUP3 00000e79: KECCAK256 00000e7a: SWAP4 00000e7b: SWAP1 00000e7c: SWAP4 00000e7d: SSTORE 00000e7e: SWAP1 00000e7f: DUP7 00000e80: AND 00000e81: DUP2 00000e82: MSTORE 00000e83: KECCAK256 00000e84: SLOAD 00000e85: PUSH2 0x0e8e 00000e88: SWAP1 00000e89: DUP5 00000e8a: PUSH2 0x19b4 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: PUSH1 0x01 00000e91: PUSH1 0xa0 00000e93: PUSH1 0x02 00000e95: EXP 00000e96: SUB 00000e97: DUP6 00000e98: DUP2 00000e99: AND 00000e9a: PUSH1 0x00 00000e9c: DUP2 00000e9d: DUP2 00000e9e: MSTORE 00000e9f: PUSH1 0x07 00000ea1: PUSH1 0x20 00000ea3: SWAP1 00000ea4: DUP2 00000ea5: MSTORE 00000ea6: PUSH1 0x40 00000ea8: DUP1 00000ea9: DUP4 00000eaa: KECCAK256 00000eab: SWAP6 00000eac: SWAP1 00000ead: SWAP6 00000eae: SSTORE 00000eaf: PUSH1 0x0c 00000eb1: DUP1 00000eb2: SLOAD 00000eb3: SWAP5 00000eb4: DUP8 00000eb5: AND 00000eb6: DUP1 00000eb7: DUP5 00000eb8: MSTORE 00000eb9: PUSH1 0x09 00000ebb: SWAP1 00000ebc: SWAP3 00000ebd: MSTORE 00000ebe: DUP6 00000ebf: DUP4 00000ec0: KECCAK256 00000ec1: DUP1 00000ec2: SLOAD 00000ec3: SWAP6 00000ec4: DUP11 00000ec5: MUL 00000ec6: SWAP1 00000ec7: SWAP6 00000ec8: SUB 00000ec9: SWAP1 00000eca: SWAP5 00000ecb: SSTORE 00000ecc: SWAP3 00000ecd: SLOAD 00000ece: DUP3 00000ecf: DUP3 00000ed0: MSTORE 00000ed1: SWAP1 00000ed2: DUP5 00000ed3: SWAP1 00000ed4: KECCAK256 00000ed5: DUP1 00000ed6: SLOAD 00000ed7: SWAP2 00000ed8: DUP9 00000ed9: MUL 00000eda: SWAP1 00000edb: SWAP2 00000edc: ADD 00000edd: SWAP1 00000ede: SSTORE 00000edf: SWAP2 00000ee0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f01: SWAP1 00000f02: DUP7 00000f03: SWAP1 00000f04: MLOAD 00000f05: SWAP1 00000f06: DUP2 00000f07: MSTORE 00000f08: PUSH1 0x20 00000f0a: ADD 00000f0b: PUSH1 0x40 00000f0d: MLOAD 00000f0e: DUP1 00000f0f: SWAP2 00000f10: SUB 00000f11: SWAP1 00000f12: LOG3 00000f13: PUSH1 0x01 00000f15: SWAP2 00000f16: POP 00000f17: JUMPDEST 00000f18: POP 00000f19: SWAP3 00000f1a: SWAP2 00000f1b: POP 00000f1c: POP 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: CALLER 00000f20: PUSH1 0x01 00000f22: PUSH1 0xa0 00000f24: PUSH1 0x02 00000f26: EXP 00000f27: SUB 00000f28: DUP2 00000f29: AND 00000f2a: PUSH1 0x00 00000f2c: SWAP1 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x0d 00000f31: PUSH1 0x20 00000f33: MSTORE 00000f34: PUSH1 0x40 00000f36: SWAP1 00000f37: KECCAK256 00000f38: SLOAD 00000f39: PUSH1 0xff 00000f3b: AND 00000f3c: ISZERO 00000f3d: ISZERO 00000f3e: PUSH2 0x0f46 00000f41: JUMPI 00000f42: PUSH1 0x00 00000f44: DUP1 00000f45: REVERT 00000f46: JUMPDEST 00000f47: PUSH1 0x02 00000f49: DUP3 00000f4a: DUP1 00000f4b: MLOAD 00000f4c: PUSH2 0x0f59 00000f4f: SWAP3 00000f50: SWAP2 00000f51: PUSH1 0x20 00000f53: ADD 00000f54: SWAP1 00000f55: PUSH2 0x19f8 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: POP 00000f5b: POP 00000f5c: POP 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: CALLER 00000f60: PUSH1 0x01 00000f62: PUSH1 0xa0 00000f64: PUSH1 0x02 00000f66: EXP 00000f67: SUB 00000f68: DUP2 00000f69: AND 00000f6a: PUSH1 0x00 00000f6c: SWAP1 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: PUSH1 0x0d 00000f71: PUSH1 0x20 00000f73: MSTORE 00000f74: PUSH1 0x40 00000f76: SWAP1 00000f77: KECCAK256 00000f78: SLOAD 00000f79: PUSH1 0xff 00000f7b: AND 00000f7c: ISZERO 00000f7d: ISZERO 00000f7e: PUSH2 0x0f86 00000f81: JUMPI 00000f82: PUSH1 0x00 00000f84: DUP1 00000f85: REVERT 00000f86: JUMPDEST 00000f87: PUSH1 0x01 00000f89: DUP3 00000f8a: DUP1 00000f8b: MLOAD 00000f8c: PUSH2 0x0f59 00000f8f: SWAP3 00000f90: SWAP2 00000f91: PUSH1 0x20 00000f93: ADD 00000f94: SWAP1 00000f95: PUSH2 0x19f8 00000f98: JUMP 00000f99: JUMPDEST 00000f9a: PUSH1 0x00 00000f9c: DUP1 00000f9d: PUSH1 0x00 00000f9f: DUP1 00000fa0: PUSH1 0x00 00000fa2: DUP1 00000fa3: PUSH1 0x00 00000fa5: DUP1 00000fa6: PUSH2 0x0fad 00000fa9: PUSH2 0x0d60 00000fac: JUMP 00000fad: JUMPDEST 00000fae: GT 00000faf: PUSH2 0x0fb7 00000fb2: JUMPI 00000fb3: PUSH1 0x00 00000fb5: DUP1 00000fb6: REVERT 00000fb7: JUMPDEST 00000fb8: CALLER 00000fb9: PUSH1 0x01 00000fbb: PUSH1 0xa0 00000fbd: PUSH1 0x02 00000fbf: EXP 00000fc0: SUB 00000fc1: DUP2 00000fc2: AND 00000fc3: PUSH1 0x00 00000fc5: SWAP1 00000fc6: DUP2 00000fc7: MSTORE 00000fc8: PUSH1 0x07 00000fca: PUSH1 0x20 00000fcc: MSTORE 00000fcd: PUSH1 0x40 00000fcf: SWAP1 00000fd0: KECCAK256 00000fd1: SLOAD 00000fd2: SWAP1 00000fd3: SWAP8 00000fd4: POP 00000fd5: DUP9 00000fd6: GT 00000fd7: ISZERO 00000fd8: PUSH2 0x0fe0 00000fdb: JUMPI 00000fdc: PUSH1 0x00 00000fde: DUP1 00000fdf: REVERT 00000fe0: JUMPDEST 00000fe1: DUP8 00000fe2: SWAP6 00000fe3: POP 00000fe4: PUSH2 0x0fec 00000fe7: DUP7 00000fe8: PUSH2 0x1942 00000feb: JUMP 00000fec: JUMPDEST 00000fed: SWAP5 00000fee: POP 00000fef: PUSH2 0x0ffc 00000ff2: PUSH2 0x07e3 00000ff5: DUP7 00000ff6: PUSH1 0x14 00000ff8: PUSH2 0x1867 00000ffb: JUMP 00000ffc: JUMPDEST 00000ffd: SWAP4 00000ffe: POP 00000fff: PUSH2 0x100c 00001002: PUSH2 0x07e3 00001005: DUP7 00001006: PUSH1 0x05 00001008: PUSH2 0x1867 0000100b: JUMP 0000100c: JUMPDEST 0000100d: SWAP3 0000100e: POP 0000100f: PUSH2 0x101b 00001012: PUSH2 0x0809 00001015: DUP7 00001016: DUP7 00001017: PUSH2 0x1234 0000101a: JUMP 0000101b: JUMPDEST 0000101c: SWAP2 0000101d: POP 0000101e: PUSH2 0x1029 00001021: PUSH1 0x04 00001023: SLOAD 00001024: DUP5 00001025: PUSH2 0x19b4 00001028: JUMP 00001029: JUMPDEST 0000102a: PUSH1 0x04 0000102c: SSTORE 0000102d: PUSH1 0x0b 0000102f: SLOAD 00001030: PUSH2 0x1039 00001033: SWAP1 00001034: DUP8 00001035: PUSH2 0x1234 00001038: JUMP 00001039: JUMPDEST 0000103a: PUSH1 0x0b 0000103c: SSTORE 0000103d: PUSH1 0x01 0000103f: PUSH1 0xa0 00001041: PUSH1 0x02 00001043: EXP 00001044: SUB 00001045: DUP8 00001046: AND 00001047: PUSH1 0x00 00001049: SWAP1 0000104a: DUP2 0000104b: MSTORE 0000104c: PUSH1 0x07 0000104e: PUSH1 0x20 00001050: MSTORE 00001051: PUSH1 0x40 00001053: SWAP1 00001054: KECCAK256 00001055: SLOAD 00001056: PUSH2 0x105f 00001059: SWAP1 0000105a: DUP8 0000105b: PUSH2 0x1234 0000105e: JUMP 0000105f: JUMPDEST 00001060: PUSH1 0x01 00001062: PUSH1 0xa0 00001064: PUSH1 0x02 00001066: EXP 00001067: SUB 00001068: DUP9 00001069: AND 0000106a: PUSH1 0x00 0000106c: SWAP1 0000106d: DUP2 0000106e: MSTORE 0000106f: PUSH1 0x07 00001071: PUSH1 0x20 00001073: SWAP1 00001074: DUP2 00001075: MSTORE 00001076: PUSH1 0x40 00001078: DUP1 00001079: DUP4 0000107a: KECCAK256 0000107b: SWAP4 0000107c: SWAP1 0000107d: SWAP4 0000107e: SSTORE 0000107f: PUSH1 0x0c 00001081: SLOAD 00001082: PUSH1 0x09 00001084: SWAP1 00001085: SWAP2 00001086: MSTORE 00001087: SWAP2 00001088: DUP2 00001089: KECCAK256 0000108a: DUP1 0000108b: SLOAD 0000108c: SWAP3 0000108d: DUP10 0000108e: MUL 0000108f: PUSH9 0x010000000000000000 00001099: DUP7 0000109a: MUL 0000109b: ADD 0000109c: SWAP3 0000109d: DUP4 0000109e: SWAP1 0000109f: SUB 000010a0: SWAP1 000010a1: SSTORE 000010a2: PUSH1 0x0b 000010a4: SLOAD 000010a5: SWAP2 000010a6: SWAP3 000010a7: POP 000010a8: SWAP1 000010a9: GT 000010aa: ISZERO 000010ab: PUSH2 0x10d6 000010ae: JUMPI 000010af: PUSH2 0x10d2 000010b2: PUSH1 0x0c 000010b4: SLOAD 000010b5: PUSH1 0x0b 000010b7: SLOAD 000010b8: PUSH9 0x010000000000000000 000010c2: DUP8 000010c3: MUL 000010c4: DUP2 000010c5: ISZERO 000010c6: ISZERO 000010c7: PUSH2 0x10cc 000010ca: JUMPI 000010cb: INVALID 000010cc: JUMPDEST 000010cd: DIV 000010ce: PUSH2 0x19b4 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH1 0x0c 000010d5: SSTORE 000010d6: JUMPDEST 000010d7: DUP7 000010d8: PUSH1 0x01 000010da: PUSH1 0xa0 000010dc: PUSH1 0x02 000010de: EXP 000010df: SUB 000010e0: AND 000010e1: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00001102: DUP8 00001103: DUP5 00001104: PUSH1 0x40 00001106: MLOAD 00001107: SWAP2 00001108: DUP3 00001109: MSTORE 0000110a: PUSH1 0x20 0000110c: DUP3 0000110d: ADD 0000110e: MSTORE 0000110f: PUSH1 0x40 00001111: SWAP1 00001112: DUP2 00001113: ADD 00001114: SWAP1 00001115: MLOAD 00001116: DUP1 00001117: SWAP2 00001118: SUB 00001119: SWAP1 0000111a: LOG2 0000111b: POP 0000111c: POP 0000111d: POP 0000111e: POP 0000111f: POP 00001120: POP 00001121: POP 00001122: POP 00001123: JUMP 00001124: JUMPDEST 00001125: CALLER 00001126: PUSH1 0x01 00001128: PUSH1 0xa0 0000112a: PUSH1 0x02 0000112c: EXP 0000112d: SUB 0000112e: DUP2 0000112f: AND 00001130: PUSH1 0x00 00001132: SWAP1 00001133: DUP2 00001134: MSTORE 00001135: PUSH1 0x07 00001137: PUSH1 0x20 00001139: MSTORE 0000113a: PUSH1 0x40 0000113c: DUP2 0000113d: KECCAK256 0000113e: SLOAD 0000113f: SWAP1 00001140: DUP2 00001141: GT 00001142: ISZERO 00001143: PUSH2 0x114f 00001146: JUMPI 00001147: PUSH2 0x114f 0000114a: DUP2 0000114b: PUSH2 0x0f99 0000114e: JUMP 0000114f: JUMPDEST 00001150: PUSH2 0x1157 00001153: PUSH2 0x08e4 00001156: JUMP 00001157: JUMPDEST 00001158: POP 00001159: POP 0000115a: JUMP 0000115b: JUMPDEST 0000115c: PUSH1 0x00 0000115e: PUSH5 0x0ba43b7400 00001164: GASPRICE 00001165: GT 00001166: ISZERO 00001167: PUSH2 0x116f 0000116a: JUMPI 0000116b: PUSH1 0x00 0000116d: DUP1 0000116e: REVERT 0000116f: JUMPDEST 00001170: PUSH2 0x0bb8 00001173: CALLVALUE 00001174: DUP4 00001175: PUSH2 0x0621 00001178: JUMP 00001179: JUMPDEST 0000117a: PUSH1 0x00 0000117c: DUP1 0000117d: PUSH1 0x00 0000117f: DUP1 00001180: PUSH2 0x1189 00001183: PUSH1 0x01 00001185: PUSH2 0x0b7b 00001188: JUMP 00001189: JUMPDEST 0000118a: GT 0000118b: PUSH2 0x1193 0000118e: JUMPI 0000118f: PUSH1 0x00 00001191: DUP1 00001192: REVERT 00001193: JUMPDEST 00001194: PUSH2 0x119d 00001197: PUSH1 0x00 00001199: PUSH2 0x0b7b 0000119c: JUMP 0000119d: JUMPDEST 0000119e: CALLER 0000119f: PUSH1 0x01 000011a1: PUSH1 0xa0 000011a3: PUSH1 0x02 000011a5: EXP 000011a6: SUB 000011a7: DUP2 000011a8: AND 000011a9: PUSH1 0x00 000011ab: SWAP1 000011ac: DUP2 000011ad: MSTORE 000011ae: PUSH1 0x09 000011b0: PUSH1 0x20 000011b2: SWAP1 000011b3: DUP2 000011b4: MSTORE 000011b5: PUSH1 0x40 000011b7: DUP1 000011b8: DUP4 000011b9: KECCAK256 000011ba: DUP1 000011bb: SLOAD 000011bc: PUSH9 0x010000000000000000 000011c6: DUP8 000011c7: MUL 000011c8: ADD 000011c9: SWAP1 000011ca: SSTORE 000011cb: PUSH1 0x08 000011cd: SWAP1 000011ce: SWAP2 000011cf: MSTORE 000011d0: DUP2 000011d1: KECCAK256 000011d2: DUP1 000011d3: SLOAD 000011d4: SWAP1 000011d5: DUP3 000011d6: SWAP1 000011d7: SSTORE 000011d8: SWAP1 000011d9: SWAP3 000011da: ADD 000011db: SWAP5 000011dc: POP 000011dd: SWAP3 000011de: POP 000011df: PUSH2 0x11e9 000011e2: SWAP1 000011e3: DUP5 000011e4: SWAP1 000011e5: PUSH2 0x1246 000011e8: JUMP 000011e9: JUMPDEST 000011ea: SWAP1 000011eb: POP 000011ec: DUP2 000011ed: PUSH1 0x01 000011ef: PUSH1 0xa0 000011f1: PUSH1 0x02 000011f3: EXP 000011f4: SUB 000011f5: AND 000011f6: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00001217: DUP5 00001218: DUP4 00001219: PUSH1 0x40 0000121b: MLOAD 0000121c: SWAP2 0000121d: DUP3 0000121e: MSTORE 0000121f: PUSH1 0x20 00001221: DUP3 00001222: ADD 00001223: MSTORE 00001224: PUSH1 0x40 00001226: SWAP1 00001227: DUP2 00001228: ADD 00001229: SWAP1 0000122a: MLOAD 0000122b: DUP1 0000122c: SWAP2 0000122d: SUB 0000122e: SWAP1 0000122f: LOG2 00001230: POP 00001231: POP 00001232: POP 00001233: JUMP 00001234: JUMPDEST 00001235: PUSH1 0x00 00001237: DUP3 00001238: DUP3 00001239: GT 0000123a: ISZERO 0000123b: PUSH2 0x1240 0000123e: JUMPI 0000123f: INVALID 00001240: JUMPDEST 00001241: POP 00001242: SWAP1 00001243: SUB 00001244: SWAP1 00001245: JUMP 00001246: JUMPDEST 00001247: PUSH1 0x00 00001249: DUP1 0000124a: PUSH1 0x00 0000124c: DUP1 0000124d: PUSH1 0x00 0000124f: DUP1 00001250: PUSH1 0x00 00001252: DUP1 00001253: PUSH1 0x00 00001255: DUP11 00001256: PUSH1 0x00 00001258: CALLER 00001259: SWAP1 0000125a: POP 0000125b: PUSH1 0x00 0000125d: SLOAD 0000125e: TIMESTAMP 0000125f: LT 00001260: ISZERO 00001261: ISZERO 00001262: PUSH2 0x1270 00001265: JUMPI 00001266: PUSH1 0x0e 00001268: DUP1 00001269: SLOAD 0000126a: PUSH1 0xff 0000126c: NOT 0000126d: AND 0000126e: SWAP1 0000126f: SSTORE 00001270: JUMPDEST 00001271: PUSH1 0x0e 00001273: SLOAD 00001274: PUSH1 0xff 00001276: AND 00001277: DUP1 00001278: ISZERO 00001279: PUSH2 0x1293 0000127c: JUMPI 0000127d: POP 0000127e: PUSH8 0x6f05b59d3b200000 00001287: DUP3 00001288: PUSH2 0x128f 0000128b: PUSH2 0x0bbe 0000128e: JUMP 0000128f: JUMPDEST 00001290: SUB 00001291: GT 00001292: ISZERO 00001293: JUMPDEST 00001294: ISZERO 00001295: PUSH2 0x15c3 00001298: JUMPI 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 0x06 000012aa: PUSH1 0x20 000012ac: MSTORE 000012ad: PUSH1 0x40 000012af: SWAP1 000012b0: KECCAK256 000012b1: SLOAD 000012b2: PUSH1 0xff 000012b4: AND 000012b5: ISZERO 000012b6: ISZERO 000012b7: PUSH1 0x01 000012b9: EQ 000012ba: DUP1 000012bb: ISZERO 000012bc: PUSH2 0x12e8 000012bf: JUMPI 000012c0: POP 000012c1: PUSH1 0x01 000012c3: PUSH1 0xa0 000012c5: PUSH1 0x02 000012c7: EXP 000012c8: SUB 000012c9: DUP2 000012ca: AND 000012cb: PUSH1 0x00 000012cd: SWAP1 000012ce: DUP2 000012cf: MSTORE 000012d0: PUSH1 0x0a 000012d2: PUSH1 0x20 000012d4: MSTORE 000012d5: PUSH1 0x40 000012d7: SWAP1 000012d8: KECCAK256 000012d9: SLOAD 000012da: PUSH8 0x6f05b59d3b200000 000012e3: SWAP1 000012e4: DUP4 000012e5: ADD 000012e6: GT 000012e7: ISZERO 000012e8: JUMPDEST 000012e9: ISZERO 000012ea: ISZERO 000012eb: PUSH2 0x12f3 000012ee: JUMPI 000012ef: PUSH1 0x00 000012f1: DUP1 000012f2: REVERT 000012f3: JUMPDEST 000012f4: PUSH1 0x01 000012f6: PUSH1 0xa0 000012f8: PUSH1 0x02 000012fa: EXP 000012fb: SUB 000012fc: DUP2 000012fd: AND 000012fe: PUSH1 0x00 00001300: SWAP1 00001301: DUP2 00001302: MSTORE 00001303: PUSH1 0x0a 00001305: PUSH1 0x20 00001307: MSTORE 00001308: PUSH1 0x40 0000130a: SWAP1 0000130b: KECCAK256 0000130c: SLOAD 0000130d: PUSH2 0x1316 00001310: SWAP1 00001311: DUP4 00001312: PUSH2 0x19b4 00001315: JUMP 00001316: JUMPDEST 00001317: PUSH1 0x01 00001319: PUSH1 0xa0 0000131b: PUSH1 0x02 0000131d: EXP 0000131e: SUB 0000131f: DUP3 00001320: AND 00001321: PUSH1 0x00 00001323: SWAP1 00001324: DUP2 00001325: MSTORE 00001326: PUSH1 0x0a 00001328: PUSH1 0x20 0000132a: MSTORE 0000132b: PUSH1 0x40 0000132d: SWAP1 0000132e: KECCAK256 0000132f: SSTORE 00001330: PUSH2 0x133d 00001333: PUSH2 0x07e3 00001336: DUP15 00001337: PUSH1 0x14 00001339: PUSH2 0x1867 0000133c: JUMP 0000133d: JUMPDEST 0000133e: SWAP10 0000133f: POP 00001340: PUSH2 0x134a 00001343: DUP11 00001344: PUSH1 0x03 00001346: PUSH2 0x1899 00001349: JUMP 0000134a: JUMPDEST 0000134b: SWAP9 0000134c: POP 0000134d: PUSH2 0x135a 00001350: PUSH2 0x07e3 00001353: DUP15 00001354: PUSH1 0x05 00001356: PUSH2 0x1867 00001359: JUMP 0000135a: JUMPDEST 0000135b: SWAP8 0000135c: POP 0000135d: PUSH2 0x1366 00001360: DUP11 00001361: DUP11 00001362: PUSH2 0x1234 00001365: JUMP 00001366: JUMPDEST 00001367: SWAP7 00001368: POP 00001369: PUSH2 0x137b 0000136c: PUSH2 0x1375 0000136f: DUP15 00001370: DUP13 00001371: PUSH2 0x1234 00001374: JUMP 00001375: JUMPDEST 00001376: DUP10 00001377: PUSH2 0x1234 0000137a: JUMP 0000137b: JUMPDEST 0000137c: SWAP6 0000137d: POP 0000137e: PUSH2 0x1389 00001381: PUSH1 0x04 00001383: SLOAD 00001384: DUP10 00001385: PUSH2 0x19b4 00001388: JUMP 00001389: JUMPDEST 0000138a: PUSH1 0x04 0000138c: SSTORE 0000138d: PUSH2 0x1395 00001390: DUP7 00001391: PUSH2 0x18b0 00001394: JUMP 00001395: JUMPDEST 00001396: SWAP5 00001397: POP 00001398: PUSH9 0x010000000000000000 000013a2: DUP8 000013a3: MUL 000013a4: SWAP4 000013a5: POP 000013a6: PUSH1 0x00 000013a8: DUP6 000013a9: GT 000013aa: DUP1 000013ab: ISZERO 000013ac: PUSH2 0x13bf 000013af: JUMPI 000013b0: POP 000013b1: PUSH1 0x0b 000013b3: SLOAD 000013b4: PUSH2 0x13bd 000013b7: DUP7 000013b8: DUP3 000013b9: PUSH2 0x19b4 000013bc: JUMP 000013bd: JUMPDEST 000013be: GT 000013bf: JUMPDEST 000013c0: ISZERO 000013c1: ISZERO 000013c2: PUSH2 0x13ca 000013c5: JUMPI 000013c6: PUSH1 0x00 000013c8: DUP1 000013c9: REVERT 000013ca: JUMPDEST 000013cb: PUSH1 0x01 000013cd: PUSH1 0xa0 000013cf: PUSH1 0x02 000013d1: EXP 000013d2: SUB 000013d3: DUP13 000013d4: AND 000013d5: ISZERO 000013d6: DUP1 000013d7: ISZERO 000013d8: SWAP1 000013d9: PUSH2 0x13f4 000013dc: JUMPI 000013dd: POP 000013de: CALLER 000013df: PUSH1 0x01 000013e1: PUSH1 0xa0 000013e3: PUSH1 0x02 000013e5: EXP 000013e6: SUB 000013e7: AND 000013e8: DUP13 000013e9: PUSH1 0x01 000013eb: PUSH1 0xa0 000013ed: PUSH1 0x02 000013ef: EXP 000013f0: SUB 000013f1: AND 000013f2: EQ 000013f3: ISZERO 000013f4: JUMPDEST 000013f5: DUP1 000013f6: ISZERO 000013f7: PUSH2 0x141a 000013fa: JUMPI 000013fb: POP 000013fc: PUSH1 0x05 000013fe: SLOAD 000013ff: PUSH1 0x01 00001401: PUSH1 0xa0 00001403: PUSH1 0x02 00001405: EXP 00001406: SUB 00001407: DUP14 00001408: AND 00001409: PUSH1 0x00 0000140b: SWAP1 0000140c: DUP2 0000140d: MSTORE 0000140e: PUSH1 0x07 00001410: PUSH1 0x20 00001412: MSTORE 00001413: PUSH1 0x40 00001415: SWAP1 00001416: KECCAK256 00001417: SLOAD 00001418: LT 00001419: ISZERO 0000141a: JUMPDEST 0000141b: ISZERO 0000141c: PUSH2 0x1460 0000141f: JUMPI 00001420: PUSH1 0x01 00001422: PUSH1 0xa0 00001424: PUSH1 0x02 00001426: EXP 00001427: SUB 00001428: DUP13 00001429: AND 0000142a: PUSH1 0x00 0000142c: SWAP1 0000142d: DUP2 0000142e: MSTORE 0000142f: PUSH1 0x08 00001431: PUSH1 0x20 00001433: MSTORE 00001434: PUSH1 0x40 00001436: SWAP1 00001437: KECCAK256 00001438: SLOAD 00001439: PUSH2 0x1442 0000143c: SWAP1 0000143d: DUP11 0000143e: PUSH2 0x19b4 00001441: JUMP 00001442: JUMPDEST 00001443: PUSH1 0x01 00001445: PUSH1 0xa0 00001447: PUSH1 0x02 00001449: EXP 0000144a: SUB 0000144b: DUP14 0000144c: AND 0000144d: PUSH1 0x00 0000144f: SWAP1 00001450: DUP2 00001451: MSTORE 00001452: PUSH1 0x08 00001454: PUSH1 0x20 00001456: MSTORE 00001457: PUSH1 0x40 00001459: SWAP1 0000145a: KECCAK256 0000145b: SSTORE 0000145c: PUSH2 0x147b 0000145f: JUMP 00001460: JUMPDEST 00001461: PUSH2 0x146a 00001464: DUP8 00001465: DUP11 00001466: PUSH2 0x19b4 00001469: JUMP 0000146a: JUMPDEST 0000146b: SWAP7 0000146c: POP 0000146d: PUSH9 0x010000000000000000 00001477: DUP8 00001478: MUL 00001479: SWAP4 0000147a: POP 0000147b: JUMPDEST 0000147c: PUSH1 0x00 0000147e: PUSH1 0x0b 00001480: SLOAD 00001481: GT 00001482: ISZERO 00001483: PUSH2 0x14df 00001486: JUMPI 00001487: PUSH2 0x1492 0000148a: PUSH1 0x0b 0000148c: SLOAD 0000148d: DUP7 0000148e: PUSH2 0x19b4 00001491: JUMP 00001492: JUMPDEST 00001493: PUSH1 0x0b 00001495: DUP2 00001496: SWAP1 00001497: SSTORE 00001498: PUSH9 0x010000000000000000 000014a2: DUP9 000014a3: MUL 000014a4: DUP2 000014a5: ISZERO 000014a6: ISZERO 000014a7: PUSH2 0x14ac 000014aa: JUMPI 000014ab: INVALID 000014ac: JUMPDEST 000014ad: PUSH1 0x0c 000014af: DUP1 000014b0: SLOAD 000014b1: SWAP3 000014b2: SWAP1 000014b3: SWAP2 000014b4: DIV 000014b5: SWAP1 000014b6: SWAP2 000014b7: ADD 000014b8: SWAP1 000014b9: SSTORE 000014ba: PUSH1 0x0b 000014bc: SLOAD 000014bd: PUSH9 0x010000000000000000 000014c7: DUP9 000014c8: MUL 000014c9: DUP2 000014ca: ISZERO 000014cb: ISZERO 000014cc: PUSH2 0x14d1 000014cf: JUMPI 000014d0: INVALID 000014d1: JUMPDEST 000014d2: DIV 000014d3: DUP6 000014d4: MUL 000014d5: DUP5 000014d6: SUB 000014d7: DUP5 000014d8: SUB 000014d9: SWAP4 000014da: POP 000014db: PUSH2 0x14e5 000014de: JUMP 000014df: JUMPDEST 000014e0: PUSH1 0x0b 000014e2: DUP6 000014e3: SWAP1 000014e4: SSTORE 000014e5: JUMPDEST 000014e6: PUSH1 0x01 000014e8: PUSH1 0xa0 000014ea: PUSH1 0x02 000014ec: EXP 000014ed: SUB 000014ee: CALLER 000014ef: AND 000014f0: PUSH1 0x00 000014f2: SWAP1 000014f3: DUP2 000014f4: MSTORE 000014f5: PUSH1 0x07 000014f7: PUSH1 0x20 000014f9: MSTORE 000014fa: PUSH1 0x40 000014fc: SWAP1 000014fd: KECCAK256 000014fe: SLOAD 000014ff: PUSH2 0x1508 00001502: SWAP1 00001503: DUP7 00001504: PUSH2 0x19b4 00001507: JUMP 00001508: JUMPDEST 00001509: PUSH1 0x07 0000150b: PUSH1 0x00 0000150d: CALLER 0000150e: PUSH1 0x01 00001510: PUSH1 0xa0 00001512: PUSH1 0x02 00001514: EXP 00001515: SUB 00001516: AND 00001517: PUSH1 0x01 00001519: PUSH1 0xa0 0000151b: PUSH1 0x02 0000151d: EXP 0000151e: SUB 0000151f: AND 00001520: DUP2 00001521: MSTORE 00001522: PUSH1 0x20 00001524: ADD 00001525: SWAP1 00001526: DUP2 00001527: MSTORE 00001528: PUSH1 0x20 0000152a: ADD 0000152b: PUSH1 0x00 0000152d: KECCAK256 0000152e: DUP2 0000152f: SWAP1 00001530: SSTORE 00001531: POP 00001532: DUP4 00001533: DUP6 00001534: PUSH1 0x0c 00001536: SLOAD 00001537: MUL 00001538: SUB 00001539: SWAP3 0000153a: POP 0000153b: DUP3 0000153c: PUSH1 0x09 0000153e: PUSH1 0x00 00001540: CALLER 00001541: PUSH1 0x01 00001543: PUSH1 0xa0 00001545: PUSH1 0x02 00001547: EXP 00001548: SUB 00001549: AND 0000154a: PUSH1 0x01 0000154c: PUSH1 0xa0 0000154e: PUSH1 0x02 00001550: EXP 00001551: SUB 00001552: AND 00001553: DUP2 00001554: MSTORE 00001555: PUSH1 0x20 00001557: ADD 00001558: SWAP1 00001559: DUP2 0000155a: MSTORE 0000155b: PUSH1 0x20 0000155d: ADD 0000155e: PUSH1 0x00 00001560: KECCAK256 00001561: PUSH1 0x00 00001563: DUP3 00001564: DUP3 00001565: SLOAD 00001566: ADD 00001567: SWAP3 00001568: POP 00001569: POP 0000156a: DUP2 0000156b: SWAP1 0000156c: SSTORE 0000156d: POP 0000156e: DUP12 0000156f: PUSH1 0x01 00001571: PUSH1 0xa0 00001573: PUSH1 0x02 00001575: EXP 00001576: SUB 00001577: AND 00001578: CALLER 00001579: PUSH1 0x01 0000157b: PUSH1 0xa0 0000157d: PUSH1 0x02 0000157f: EXP 00001580: SUB 00001581: AND 00001582: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 000015a3: DUP16 000015a4: DUP9 000015a5: PUSH1 0x40 000015a7: MLOAD 000015a8: SWAP2 000015a9: DUP3 000015aa: MSTORE 000015ab: PUSH1 0x20 000015ad: DUP3 000015ae: ADD 000015af: MSTORE 000015b0: PUSH1 0x40 000015b2: SWAP1 000015b3: DUP2 000015b4: ADD 000015b5: SWAP1 000015b6: MLOAD 000015b7: DUP1 000015b8: SWAP2 000015b9: SUB 000015ba: SWAP1 000015bb: LOG3 000015bc: DUP5 000015bd: SWAP11 000015be: POP 000015bf: PUSH2 0x1857 000015c2: JUMP 000015c3: JUMPDEST 000015c4: PUSH1 0x0e 000015c6: DUP1 000015c7: SLOAD 000015c8: PUSH1 0xff 000015ca: NOT 000015cb: AND 000015cc: SWAP1 000015cd: SSTORE 000015ce: PUSH2 0x15db 000015d1: PUSH2 0x07e3 000015d4: DUP15 000015d5: PUSH1 0x14 000015d7: PUSH2 0x1867 000015da: JUMP 000015db: JUMPDEST 000015dc: SWAP10 000015dd: POP 000015de: PUSH2 0x15e8 000015e1: DUP11 000015e2: PUSH1 0x03 000015e4: PUSH2 0x1899 000015e7: JUMP 000015e8: JUMPDEST 000015e9: SWAP9 000015ea: POP 000015eb: PUSH2 0x15f8 000015ee: PUSH2 0x07e3 000015f1: DUP15 000015f2: PUSH1 0x05 000015f4: PUSH2 0x1867 000015f7: JUMP 000015f8: JUMPDEST 000015f9: SWAP8 000015fa: POP 000015fb: PUSH2 0x1604 000015fe: DUP11 000015ff: DUP11 00001600: PUSH2 0x1234 00001603: JUMP 00001604: JUMPDEST 00001605: SWAP7 00001606: POP 00001607: PUSH2 0x1613 0000160a: PUSH2 0x1375 0000160d: DUP15 0000160e: DUP13 0000160f: PUSH2 0x1234 00001612: JUMP 00001613: JUMPDEST 00001614: SWAP6 00001615: POP 00001616: PUSH2 0x1621 00001619: PUSH1 0x04 0000161b: SLOAD 0000161c: DUP10 0000161d: PUSH2 0x19b4 00001620: JUMP 00001621: JUMPDEST 00001622: PUSH1 0x04 00001624: SSTORE 00001625: PUSH2 0x162d 00001628: DUP7 00001629: PUSH2 0x18b0 0000162c: JUMP 0000162d: JUMPDEST 0000162e: SWAP5 0000162f: POP 00001630: PUSH9 0x010000000000000000 0000163a: DUP8 0000163b: MUL 0000163c: SWAP4 0000163d: POP 0000163e: PUSH1 0x00 00001640: DUP6 00001641: GT 00001642: DUP1 00001643: ISZERO 00001644: PUSH2 0x1657 00001647: JUMPI 00001648: POP 00001649: PUSH1 0x0b 0000164b: SLOAD 0000164c: PUSH2 0x1655 0000164f: DUP7 00001650: DUP3 00001651: PUSH2 0x19b4 00001654: JUMP 00001655: JUMPDEST 00001656: GT 00001657: JUMPDEST 00001658: ISZERO 00001659: ISZERO 0000165a: PUSH2 0x1662 0000165d: JUMPI 0000165e: PUSH1 0x00 00001660: DUP1 00001661: REVERT 00001662: JUMPDEST 00001663: PUSH1 0x01 00001665: PUSH1 0xa0 00001667: PUSH1 0x02 00001669: EXP 0000166a: SUB 0000166b: DUP13 0000166c: AND 0000166d: ISZERO 0000166e: DUP1 0000166f: ISZERO 00001670: SWAP1 00001671: PUSH2 0x168c 00001674: JUMPI 00001675: POP 00001676: CALLER 00001677: PUSH1 0x01 00001679: PUSH1 0xa0 0000167b: PUSH1 0x02 0000167d: EXP 0000167e: SUB 0000167f: AND 00001680: DUP13 00001681: PUSH1 0x01 00001683: PUSH1 0xa0 00001685: PUSH1 0x02 00001687: EXP 00001688: SUB 00001689: AND 0000168a: EQ 0000168b: ISZERO 0000168c: JUMPDEST 0000168d: DUP1 0000168e: ISZERO 0000168f: PUSH2 0x16b2 00001692: JUMPI 00001693: POP 00001694: PUSH1 0x05 00001696: SLOAD 00001697: PUSH1 0x01 00001699: PUSH1 0xa0 0000169b: PUSH1 0x02 0000169d: EXP 0000169e: SUB 0000169f: DUP14 000016a0: AND 000016a1: PUSH1 0x00 000016a3: SWAP1 000016a4: DUP2 000016a5: MSTORE 000016a6: PUSH1 0x07 000016a8: PUSH1 0x20 000016aa: MSTORE 000016ab: PUSH1 0x40 000016ad: SWAP1 000016ae: KECCAK256 000016af: SLOAD 000016b0: LT 000016b1: ISZERO 000016b2: JUMPDEST 000016b3: ISZERO 000016b4: PUSH2 0x16f8 000016b7: JUMPI 000016b8: PUSH1 0x01 000016ba: PUSH1 0xa0 000016bc: PUSH1 0x02 000016be: EXP 000016bf: SUB 000016c0: DUP13 000016c1: AND 000016c2: PUSH1 0x00 000016c4: SWAP1 000016c5: DUP2 000016c6: MSTORE 000016c7: PUSH1 0x08 000016c9: PUSH1 0x20 000016cb: MSTORE 000016cc: PUSH1 0x40 000016ce: SWAP1 000016cf: KECCAK256 000016d0: SLOAD 000016d1: PUSH2 0x16da 000016d4: SWAP1 000016d5: DUP11 000016d6: PUSH2 0x19b4 000016d9: JUMP 000016da: JUMPDEST 000016db: PUSH1 0x01 000016dd: PUSH1 0xa0 000016df: PUSH1 0x02 000016e1: EXP 000016e2: SUB 000016e3: DUP14 000016e4: AND 000016e5: PUSH1 0x00 000016e7: SWAP1 000016e8: DUP2 000016e9: MSTORE 000016ea: PUSH1 0x08 000016ec: PUSH1 0x20 000016ee: MSTORE 000016ef: PUSH1 0x40 000016f1: SWAP1 000016f2: KECCAK256 000016f3: SSTORE 000016f4: PUSH2 0x1713 000016f7: JUMP 000016f8: JUMPDEST 000016f9: PUSH2 0x1702 000016fc: DUP8 000016fd: DUP11 000016fe: PUSH2 0x19b4 00001701: JUMP 00001702: JUMPDEST 00001703: SWAP7 00001704: POP 00001705: PUSH9 0x010000000000000000 0000170f: DUP8 00001710: MUL 00001711: SWAP4 00001712: POP 00001713: JUMPDEST 00001714: PUSH1 0x00 00001716: PUSH1 0x0b 00001718: SLOAD 00001719: GT 0000171a: ISZERO 0000171b: PUSH2 0x1777 0000171e: JUMPI 0000171f: PUSH2 0x172a 00001722: PUSH1 0x0b 00001724: SLOAD 00001725: DUP7 00001726: PUSH2 0x19b4 00001729: JUMP 0000172a: JUMPDEST 0000172b: PUSH1 0x0b 0000172d: DUP2 0000172e: SWAP1 0000172f: SSTORE 00001730: PUSH9 0x010000000000000000 0000173a: DUP9 0000173b: MUL 0000173c: DUP2 0000173d: ISZERO 0000173e: ISZERO 0000173f: PUSH2 0x1744 00001742: JUMPI 00001743: INVALID 00001744: JUMPDEST 00001745: PUSH1 0x0c 00001747: DUP1 00001748: SLOAD 00001749: SWAP3 0000174a: SWAP1 0000174b: SWAP2 0000174c: DIV 0000174d: SWAP1 0000174e: SWAP2 0000174f: ADD 00001750: SWAP1 00001751: SSTORE 00001752: PUSH1 0x0b 00001754: SLOAD 00001755: PUSH9 0x010000000000000000 0000175f: DUP9 00001760: MUL 00001761: DUP2 00001762: ISZERO 00001763: ISZERO 00001764: PUSH2 0x1769 00001767: JUMPI 00001768: INVALID 00001769: JUMPDEST 0000176a: DIV 0000176b: DUP6 0000176c: MUL 0000176d: DUP5 0000176e: SUB 0000176f: DUP5 00001770: SUB 00001771: SWAP4 00001772: POP 00001773: PUSH2 0x177d 00001776: JUMP 00001777: JUMPDEST 00001778: PUSH1 0x0b 0000177a: DUP6 0000177b: SWAP1 0000177c: SSTORE 0000177d: JUMPDEST 0000177e: PUSH1 0x01 00001780: PUSH1 0xa0 00001782: PUSH1 0x02 00001784: EXP 00001785: SUB 00001786: CALLER 00001787: AND 00001788: PUSH1 0x00 0000178a: SWAP1 0000178b: DUP2 0000178c: MSTORE 0000178d: PUSH1 0x07 0000178f: PUSH1 0x20 00001791: MSTORE 00001792: PUSH1 0x40 00001794: SWAP1 00001795: KECCAK256 00001796: SLOAD 00001797: PUSH2 0x17a0 0000179a: SWAP1 0000179b: DUP7 0000179c: PUSH2 0x19b4 0000179f: JUMP 000017a0: JUMPDEST 000017a1: PUSH1 0x07 000017a3: PUSH1 0x00 000017a5: CALLER 000017a6: PUSH1 0x01 000017a8: PUSH1 0xa0 000017aa: PUSH1 0x02 000017ac: EXP 000017ad: SUB 000017ae: AND 000017af: PUSH1 0x01 000017b1: PUSH1 0xa0 000017b3: PUSH1 0x02 000017b5: EXP 000017b6: SUB 000017b7: AND 000017b8: DUP2 000017b9: MSTORE 000017ba: PUSH1 0x20 000017bc: ADD 000017bd: SWAP1 000017be: DUP2 000017bf: MSTORE 000017c0: PUSH1 0x20 000017c2: ADD 000017c3: PUSH1 0x00 000017c5: KECCAK256 000017c6: DUP2 000017c7: SWAP1 000017c8: SSTORE 000017c9: POP 000017ca: DUP4 000017cb: DUP6 000017cc: PUSH1 0x0c 000017ce: SLOAD 000017cf: MUL 000017d0: SUB 000017d1: SWAP3 000017d2: POP 000017d3: DUP3 000017d4: PUSH1 0x09 000017d6: PUSH1 0x00 000017d8: CALLER 000017d9: PUSH1 0x01 000017db: PUSH1 0xa0 000017dd: PUSH1 0x02 000017df: EXP 000017e0: SUB 000017e1: AND 000017e2: PUSH1 0x01 000017e4: PUSH1 0xa0 000017e6: PUSH1 0x02 000017e8: EXP 000017e9: SUB 000017ea: AND 000017eb: DUP2 000017ec: MSTORE 000017ed: PUSH1 0x20 000017ef: ADD 000017f0: SWAP1 000017f1: DUP2 000017f2: MSTORE 000017f3: PUSH1 0x20 000017f5: ADD 000017f6: PUSH1 0x00 000017f8: KECCAK256 000017f9: PUSH1 0x00 000017fb: DUP3 000017fc: DUP3 000017fd: SLOAD 000017fe: ADD 000017ff: SWAP3 00001800: POP 00001801: POP 00001802: DUP2 00001803: SWAP1 00001804: SSTORE 00001805: POP 00001806: DUP12 00001807: PUSH1 0x01 00001809: PUSH1 0xa0 0000180b: PUSH1 0x02 0000180d: EXP 0000180e: SUB 0000180f: AND 00001810: CALLER 00001811: PUSH1 0x01 00001813: PUSH1 0xa0 00001815: PUSH1 0x02 00001817: EXP 00001818: SUB 00001819: AND 0000181a: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 0000183b: DUP16 0000183c: DUP9 0000183d: PUSH1 0x40 0000183f: MLOAD 00001840: SWAP2 00001841: DUP3 00001842: MSTORE 00001843: PUSH1 0x20 00001845: DUP3 00001846: ADD 00001847: MSTORE 00001848: PUSH1 0x40 0000184a: SWAP1 0000184b: DUP2 0000184c: ADD 0000184d: SWAP1 0000184e: MLOAD 0000184f: DUP1 00001850: SWAP2 00001851: SUB 00001852: SWAP1 00001853: LOG3 00001854: DUP5 00001855: SWAP11 00001856: POP 00001857: JUMPDEST 00001858: POP 00001859: POP 0000185a: POP 0000185b: POP 0000185c: POP 0000185d: POP 0000185e: POP 0000185f: POP 00001860: POP 00001861: POP 00001862: SWAP3 00001863: SWAP2 00001864: POP 00001865: POP 00001866: JUMP 00001867: JUMPDEST 00001868: PUSH1 0x00 0000186a: DUP1 0000186b: DUP4 0000186c: ISZERO 0000186d: ISZERO 0000186e: PUSH2 0x187a 00001871: JUMPI 00001872: PUSH1 0x00 00001874: SWAP2 00001875: POP 00001876: PUSH2 0x0f17 00001879: JUMP 0000187a: JUMPDEST 0000187b: POP 0000187c: DUP3 0000187d: DUP3 0000187e: MUL 0000187f: DUP3 00001880: DUP5 00001881: DUP3 00001882: DUP2 00001883: ISZERO 00001884: ISZERO 00001885: PUSH2 0x188a 00001888: JUMPI 00001889: INVALID 0000188a: JUMPDEST 0000188b: DIV 0000188c: EQ 0000188d: PUSH2 0x1892 00001890: JUMPI 00001891: INVALID 00001892: JUMPDEST 00001893: SWAP4 00001894: SWAP3 00001895: POP 00001896: POP 00001897: POP 00001898: JUMP 00001899: JUMPDEST 0000189a: PUSH1 0x00 0000189c: DUP1 0000189d: DUP3 0000189e: DUP5 0000189f: DUP2 000018a0: ISZERO 000018a1: ISZERO 000018a2: PUSH2 0x18a7 000018a5: JUMPI 000018a6: INVALID 000018a7: JUMPDEST 000018a8: DIV 000018a9: SWAP5 000018aa: SWAP4 000018ab: POP 000018ac: POP 000018ad: POP 000018ae: POP 000018af: JUMP 000018b0: JUMPDEST 000018b1: PUSH1 0x0b 000018b3: SLOAD 000018b4: PUSH1 0x00 000018b6: SWAP1 000018b7: PUSH12 0x204fce5e3e25026110000000 000018c4: SWAP1 000018c5: DUP3 000018c6: SWAP1 000018c7: PUSH4 0x3b9aca00 000018cc: PUSH2 0x192f 000018cf: PUSH2 0x1929 000018d2: PUSH19 0x59aedfc10d7279c5eed1401645400000000000 000018e6: DUP9 000018e7: MUL 000018e8: PUSH1 0x02 000018ea: DUP6 000018eb: EXP 000018ec: PUSH8 0x0de0b6b3a7640000 000018f5: MUL 000018f6: ADD 000018f7: PUSH16 0x0f0bdc21abb48db201e86d4000000000 00001908: DUP6 00001909: MUL 0000190a: ADD 0000190b: PUSH24 0x04140c78940f6a24fdffc78873d4490d2100000000000000 00001924: ADD 00001925: PUSH2 0x19c3 00001928: JUMP 00001929: JUMPDEST 0000192a: DUP6 0000192b: PUSH2 0x1234 0000192e: JUMP 0000192f: JUMPDEST 00001930: DUP2 00001931: ISZERO 00001932: ISZERO 00001933: PUSH2 0x1938 00001936: JUMPI 00001937: INVALID 00001938: JUMPDEST 00001939: DIV 0000193a: SUB 0000193b: SWAP5 0000193c: SWAP4 0000193d: POP 0000193e: POP 0000193f: POP 00001940: POP 00001941: JUMP 00001942: JUMPDEST 00001943: PUSH1 0x0b 00001945: SLOAD 00001946: PUSH1 0x00 00001948: SWAP1 00001949: PUSH8 0x0de0b6b3a7640000 00001952: DUP4 00001953: DUP2 00001954: ADD 00001955: SWAP2 00001956: DUP2 00001957: ADD 00001958: SWAP1 00001959: DUP4 0000195a: SWAP1 0000195b: PUSH2 0x1999 0000195e: PUSH5 0x0218711a00 00001964: DUP3 00001965: DUP6 00001966: DIV 00001967: PUSH4 0x3b9aca00 0000196c: MUL 0000196d: ADD 0000196e: DUP8 0000196f: MUL 00001970: PUSH1 0x02 00001972: DUP4 00001973: PUSH8 0x0de0b6b3a763ffff 0000197c: NOT 0000197d: DUP3 0000197e: DUP10 0000197f: EXP 00001980: DUP12 00001981: SWAP1 00001982: SUB 00001983: ADD 00001984: DIV 00001985: PUSH4 0x3b9aca00 0000198a: MUL 0000198b: DUP2 0000198c: ISZERO 0000198d: ISZERO 0000198e: PUSH2 0x1993 00001991: JUMPI 00001992: INVALID 00001993: JUMPDEST 00001994: DIV 00001995: PUSH2 0x1234 00001998: JUMP 00001999: JUMPDEST 0000199a: DUP2 0000199b: ISZERO 0000199c: ISZERO 0000199d: PUSH2 0x19a2 000019a0: JUMPI 000019a1: INVALID 000019a2: JUMPDEST 000019a3: DIV 000019a4: SWAP6 000019a5: SWAP5 000019a6: POP 000019a7: POP 000019a8: POP 000019a9: POP 000019aa: POP 000019ab: JUMP 000019ac: JUMPDEST 000019ad: PUSH1 0x00 000019af: SWAP1 000019b0: EXTCODESIZE 000019b1: GT 000019b2: SWAP1 000019b3: JUMP 000019b4: JUMPDEST 000019b5: PUSH1 0x00 000019b7: DUP3 000019b8: DUP3 000019b9: ADD 000019ba: DUP4 000019bb: DUP2 000019bc: LT 000019bd: ISZERO 000019be: PUSH2 0x1892 000019c1: JUMPI 000019c2: INVALID 000019c3: JUMPDEST 000019c4: DUP1 000019c5: PUSH1 0x02 000019c7: PUSH1 0x01 000019c9: DUP3 000019ca: ADD 000019cb: DIV 000019cc: JUMPDEST 000019cd: DUP2 000019ce: DUP2 000019cf: LT 000019d0: ISZERO 000019d1: PUSH2 0x0bb8 000019d4: JUMPI 000019d5: DUP1 000019d6: SWAP2 000019d7: POP 000019d8: PUSH1 0x02 000019da: DUP2 000019db: DUP3 000019dc: DUP6 000019dd: DUP2 000019de: ISZERO 000019df: ISZERO 000019e0: PUSH2 0x19e5 000019e3: JUMPI 000019e4: INVALID 000019e5: JUMPDEST 000019e6: DIV 000019e7: ADD 000019e8: DUP2 000019e9: ISZERO 000019ea: ISZERO 000019eb: PUSH2 0x19f0 000019ee: JUMPI 000019ef: INVALID 000019f0: JUMPDEST 000019f1: DIV 000019f2: SWAP1 000019f3: POP 000019f4: PUSH2 0x19cc 000019f7: JUMP 000019f8: JUMPDEST 000019f9: DUP3 000019fa: DUP1 000019fb: SLOAD 000019fc: PUSH1 0x01 000019fe: DUP2 000019ff: PUSH1 0x01 00001a01: AND 00001a02: ISZERO 00001a03: PUSH2 0x0100 00001a06: MUL 00001a07: SUB 00001a08: AND 00001a09: PUSH1 0x02 00001a0b: SWAP1 00001a0c: DIV 00001a0d: SWAP1 00001a0e: PUSH1 0x00 00001a10: MSTORE 00001a11: PUSH1 0x20 00001a13: PUSH1 0x00 00001a15: KECCAK256 00001a16: SWAP1 00001a17: PUSH1 0x1f 00001a19: ADD 00001a1a: PUSH1 0x20 00001a1c: SWAP1 00001a1d: DIV 00001a1e: DUP2 00001a1f: ADD 00001a20: SWAP3 00001a21: DUP3 00001a22: PUSH1 0x1f 00001a24: LT 00001a25: PUSH2 0x1a39 00001a28: JUMPI 00001a29: DUP1 00001a2a: MLOAD 00001a2b: PUSH1 0xff 00001a2d: NOT 00001a2e: AND 00001a2f: DUP4 00001a30: DUP1 00001a31: ADD 00001a32: OR 00001a33: DUP6 00001a34: SSTORE 00001a35: PUSH2 0x1a66 00001a38: JUMP 00001a39: JUMPDEST 00001a3a: DUP3 00001a3b: DUP1 00001a3c: ADD 00001a3d: PUSH1 0x01 00001a3f: ADD 00001a40: DUP6 00001a41: SSTORE 00001a42: DUP3 00001a43: ISZERO 00001a44: PUSH2 0x1a66 00001a47: JUMPI 00001a48: SWAP2 00001a49: DUP3 00001a4a: ADD 00001a4b: JUMPDEST 00001a4c: DUP3 00001a4d: DUP2 00001a4e: GT 00001a4f: ISZERO 00001a50: PUSH2 0x1a66 00001a53: JUMPI 00001a54: DUP3 00001a55: MLOAD 00001a56: DUP3 00001a57: SSTORE 00001a58: SWAP2 00001a59: PUSH1 0x20 00001a5b: ADD 00001a5c: SWAP2 00001a5d: SWAP1 00001a5e: PUSH1 0x01 00001a60: ADD 00001a61: SWAP1 00001a62: PUSH2 0x1a4b 00001a65: JUMP 00001a66: JUMPDEST 00001a67: POP 00001a68: PUSH2 0x0d6f 00001a6b: SWAP3 00001a6c: PUSH2 0x0828 00001a6f: SWAP3 00001a70: POP 00001a71: SWAP1 00001a72: JUMPDEST 00001a73: DUP1 00001a74: DUP3 00001a75: GT 00001a76: ISZERO 00001a77: PUSH2 0x0d6f 00001a7a: JUMPI 00001a7b: PUSH1 0x00 00001a7d: DUP2 00001a7e: SSTORE 00001a7f: PUSH1 0x01 00001a81: ADD 00001a82: PUSH2 0x1a72 00001a85: JUMP 00001a86: STOP 00001a87: LOG1 00001a88: PUSH6 0x627a7a723058 00001a8f: KECCAK256 00001a90: EQ 00001a91: UNKNOWN(0xD9) 00001a92: PUSH16 0xec83bc9cf55f3890485556a1a5d77628 00001aa3: SIGNEXTEND 00001aa4: UNKNOWN(0xD0) 00001aa5: CALLDATACOPY 00001aa6: UNKNOWN(0xE5) 00001aa7: PUSH2 0x2f9f 00001aaa: GASPRICE 00001aab: SLT 00001aac: UNKNOWN(0xBF) 00001aad: UNKNOWN(0x24) 00001aae: UNKNOWN(0x4E) 00001aaf: UNKNOWN(0x0D) 00001ab0: STOP 00001ab1: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | 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": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1575,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x3fbe07e84f13bc5a8a87d6d30fcb1e2ef79a30894d9f32dccfe1114dccdb0e7a
call_targets:
0xd2bfceeab8ffa24cdf94faa2683df63df4bcbdc8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3fbe07e84f13bc5a8a87d6d30fcb1e2ef79a30894d9f32dccfe1114dccdb0e7a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd2bfceeab8ffa24cdf94faa2683df63df4bcbdc8"
],
"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": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1737,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2399,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2735,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1575,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x3fbe07e84f13bc5a8a87d6d30fcb1e2ef79a30894d9f32dccfe1114dccdb0e7a
call_targets:
0xd2bfceeab8ffa24cdf94faa2683df63df4bcbdc8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3fbe07e84f13bc5a8a87d6d30fcb1e2ef79a30894d9f32dccfe1114dccdb0e7a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd2bfceeab8ffa24cdf94faa2683df63df4bcbdc8"
],
"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": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x294205b4",
"selector": "0x294205b4",
"calldata_variants": [
"0x294205b4",
"0x294205b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1737,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2399,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2735,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1575,
"type": "tx_origin_used"
}
]
}
|