ToySolver.Converter.PB2IP