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)); } }