{ "values": [ [ 0, 1, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 0, 1, 1 ], [ 1, 1, 0 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 1 ], [ 0, 0, 1 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 1, 0, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 0, 1, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 1, 1 ], [ 1, 1, 1 ], [ 0, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 1 ], [ 0, 0, 0 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 1, 0, 1 ], [ 0, 1, 1 ], [ 0, 1, 1 ], [ 0, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 1 ], [ 1, 1, 0 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 0, 1, 1 ], [ 0, 1, 1 ], [ 1, 0, 1 ], [ 1, 1, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ], [ 0, 0, 0 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 1 ], [ 0, 0, 1 ], [ 0, 1, 0 ], [ 0, 0, 0 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 1 ], [ 0, 0, 0 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 0, 0, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ], [ 0, 1, 1 ], [ 0, 1, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 0 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ], [ 1, 0, 1 ], [ 0, 1, 1 ], [ 0, 1, 1 ], [ 1, 1, 1 ], [ 1, 1, 1 ], [ 0, 1, 1 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 1, 1, 1 ] ], "trajectory_prefix": [], "report": { "method": "csbm", "sampling_seed": 114, "samples": 128, "terminal_probability_one": 0.75, "target_probability_one": 0.8, "finite_values": true } }