Add solutions to SimpleSymbols.js.