Symbol: solvable_lookup_sizek