Symbol: solvable_trivial_installable_map