 y_0:
  x_1:
   z_1:
    1_is correct_1_times.
    0_is correct_1_times.
   z_0:
    0_is correct_1_times.
    1_is correct_1_times.
  x_0:
   z_1:
    0_is correct_1_times.
    1_is correct_1_times.
   z_0:
    0 happens 2 times.
 y_1:
  z_1:
   x_1:
    1_is correct_5_times.
    0_is correct_1_times.
  z_0:
   1 happens 2 times.
