void output(picojson::array& ans) {
		for (const auto& v : result) {
			const auto& p = seeds[v.first];
			picojson::object r;
			r["problemId"] = picojson::value((double)gcs[p.first].id);
			r["seed"] = picojson::value((double)p.second);
			r["solution"] = picojson::value(v.second);
			ans.push_back(picojson::value(r));
		}
	}