files / problems / caccetta-haggkvist-k3 / compute / q4 / certs / keep / covering_73_120.json
{
"covering": {
"n_min": 73,
"n_max": 120,
"rows": [
{
"n": 73,
"d": 25,
"needed": [
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46
],
"killed_by_covering": [
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46
],
"survives_covering": [
25,
26,
27,
28,
29,
30,
31,
32,
33
],
"n_survive": 9,
"leftover_vs_f4": true
},
{
"n": 74,
"d": 25,
"needed": [
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47
],
"killed_by_covering": [
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47
],
"survives_covering": [
25,
26,
27,
28,
29,
30,
31,
32,
33,
34
],
"n_survive": 10,
"leftover_vs_f4": true
},
{
"n": 75,
"d": 25,
"needed": [
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48
],
"killed_by_covering": [
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48
],
"survives_covering": [
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35
],
"n_survive": 11,
"leftover_vs_f4": true
},
{
"n": 76,
"d": 26,
"needed": [
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48
],
"killed_by_covering": [
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48
],
"survives_covering": [
26,
27,
28,
29,
30,
31,
32,
33,
34,
35
],
"n_survive": 10,
"leftover_vs_f4": true
},
{
"n": 77,
"d": 26,
"needed": [
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49
],
"killed_by_covering": [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49
],
"survives_covering": [
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36
],
"n_survive": 11,
"leftover_vs_f4": true
},
{
"n": 78,
"d": 26,
"needed": [
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50
],
"killed_by_covering": [
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50
],
"survives_covering": [
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37
],
"n_survive": 12,
"leftover_vs_f4": true
},
{
"n": 79,
"d": 27,
"needed": [
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50
],
"killed_by_covering": [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50
],
"survives_covering": [
27,
28,
29,
30,
31,
32,
33,
34,
35,
36
],
"n_survive": 10,
"leftover_vs_f4": true
},
{
"n": 80,
"d": 27,
"needed": [
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51
],
"killed_by_covering": [
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51
],
"survives_covering": [
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37
],
"n_survive": 11,
"leftover_vs_f4": true
},
{
"n": 81,
"d": 27,
"needed": [
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52
],
"killed_by_covering": [
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52
],
"survives_covering": [
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38
],
"n_survive": 12,
"leftover_vs_f4": true
},
{
"n": 82,
"d": 28,
"needed": [
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52
],
"killed_by_covering": [
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52
],
"survives_covering": [
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38
],
"n_survive": 11,
"leftover_vs_f4": true
},
{
"n": 83,
"d": 28,
"needed": [
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53
],
"killed_by_covering": [
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53
],
"survives_covering": [
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39
],
"n_survive": 12,
"leftover_vs_f4": true
},
{
"n": 84,
"d": 28,
"needed": [
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54
],
"killed_by_covering": [
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54
],
"survives_covering": [
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40
],
"n_survive": 13,
"leftover_vs_f4": true
},
{
"n": 85,
"d": 29,
"needed": [
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54
],
"killed_by_covering": [
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54
],
"survives_covering": [
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39
],
"n_survive": 11,
"leftover_vs_f4": true
},
{
"n": 86,
"d": 29,
"needed": [
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55
],
"killed_by_covering": [
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55
],
"survives_covering": [
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40
],
"n_survive": 12,
"leftover_vs_f4": true
},
{
"n": 87,
"d": 29,
"needed": [
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56
],
"killed_by_covering": [
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56
],
"survives_covering": [
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41
],
"n_survive": 13,
"leftover_vs_f4": true
},
{
"n": 88,
"d": 30,
"needed": [
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56
],
"killed_by_covering": [
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56
],
"survives_covering": [
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41
],
"n_survive": 12,
"leftover_vs_f4": true
},
{
"n": 89,
"d": 30,
"needed": [
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57
],
"killed_by_covering": [
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57
],
"survives_covering": [
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42
],
"n_survive": 13,
"leftover_vs_f4": true
},
{
"n": 90,
"d": 30,
"needed": [
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58
],
"killed_by_covering": [
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58
],
"survives_covering": [
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43
],
"n_survive": 14,
"leftover_vs_f4": true
},
{
"n": 91,
"d": 31,
"needed": [
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58
],
"killed_by_covering": [
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58
],
"survives_covering": [
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42
],
"n_survive": 12,
"leftover_vs_f4": true
},
{
"n": 92,
"d": 31,
"needed": [
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59
],
"killed_by_covering": [
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59
],
"survives_covering": [
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43
],
"n_survive": 13,
"leftover_vs_f4": true
},
{
"n": 93,
"d": 31,
"needed": [
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60
],
"killed_by_covering": [
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60
],
"survives_covering": [
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44
],
"n_survive": 14,
"leftover_vs_f4": true
},
{
"n": 94,
"d": 32,
"needed": [
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60
],
"killed_by_covering": [
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60
],
"survives_covering": [
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44
],
"n_survive": 13,
"leftover_vs_f4": true
},
{
"n": 95,
"d": 32,
"needed": [
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61
],
"killed_by_covering": [
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61
],
"survives_covering": [
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45
],
"n_survive": 14,
"leftover_vs_f4": true
},
{
"n": 96,
"d": 32,
"needed": [
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62
],
"killed_by_covering": [
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62
],
"survives_covering": [
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46
],
"n_survive": 15,
"leftover_vs_f4": true
},
{
"n": 97,
"d": 33,
"needed": [
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62
],
"killed_by_covering": [
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62
],
"survives_covering": [
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45
],
"n_survive": 13,
"leftover_vs_f4": true
},
{
"n": 98,
"d": 33,
"needed": [
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63
],
"killed_by_covering": [
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63
],
"survives_covering": [
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46
],
"n_survive": 14,
"leftover_vs_f4": true
},
{
"n": 99,
"d": 33,
"needed": [
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64
],
"killed_by_covering": [
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64
],
"survives_covering": [
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47
],
"n_survive": 15,
"leftover_vs_f4": true
},
{
"n": 100,
"d": 34,
"needed": [
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64
],
"killed_by_covering": [
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64
],
"survives_covering": [
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47
],
"n_survive": 14,
"leftover_vs_f4": true
},
{
"n": 101,
"d": 34,
"needed": [
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65
],
"killed_by_covering": [
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65
],
"survives_covering": [
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48
],
"n_survive": 15,
"leftover_vs_f4": true
},
{
"n": 102,
"d": 34,
"needed": [
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66
],
"killed_by_covering": [
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66
],
"survives_covering": [
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49
],
"n_survive": 16,
"leftover_vs_f4": true
},
{
"n": 103,
"d": 35,
"needed": [
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66
],
"killed_by_covering": [
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66
],
"survives_covering": [
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48
],
"n_survive": 14,
"leftover_vs_f4": true
},
{
"n": 104,
"d": 35,
"needed": [
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67
],
"killed_by_covering": [
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67
],
"survives_covering": [
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49
],
"n_survive": 15,
"leftover_vs_f4": true
},
{
"n": 105,
"d": 35,
"needed": [
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68
],
"killed_by_covering": [
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68
],
"survives_covering": [
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50
],
"n_survive": 16,
"leftover_vs_f4": true
},
{
"n": 106,
"d": 36,
"needed": [
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68
],
"killed_by_covering": [
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68
],
"survives_covering": [
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50
],
"n_survive": 15,
"leftover_vs_f4": true
},
{
"n": 107,
"d": 36,
"needed": [
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69
],
"killed_by_covering": [
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69
],
"survives_covering": [
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51
],
"n_survive": 16,
"leftover_vs_f4": true
},
{
"n": 108,
"d": 36,
"needed": [
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70
],
"killed_by_covering": [
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70
],
"survives_covering": [
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52
],
"n_survive": 17,
"leftover_vs_f4": true
},
{
"n": 109,
"d": 37,
"needed": [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70
],
"killed_by_covering": [
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70
],
"survives_covering": [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51
],
"n_survive": 15,
"leftover_vs_f4": true
},
{
"n": 110,
"d": 37,
"needed": [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71
],
"killed_by_covering": [
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71
],
"survives_covering": [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52
],
"n_survive": 16,
"leftover_vs_f4": true
},
{
"n": 111,
"d": 37,
"needed": [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72
],
"killed_by_covering": [
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72
],
"survives_covering": [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53
],
"n_survive": 17,
"leftover_vs_f4": true
},
{
"n": 112,
"d": 38,
"needed": [
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72
],
"killed_by_covering": [
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72
],
"survives_covering": [
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53
],
"n_survive": 16,
"leftover_vs_f4": true
},
{
"n": 113,
"d": 38,
"needed": [
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73
],
"killed_by_covering": [
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73
],
"survives_covering": [
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54
],
"n_survive": 17,
"leftover_vs_f4": true
},
{
"n": 114,
"d": 38,
"needed": [
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74
],
"killed_by_covering": [
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74
],
"survives_covering": [
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55
],
"n_survive": 18,
"leftover_vs_f4": true
},
{
"n": 115,
"d": 39,
"needed": [
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74
],
"killed_by_covering": [
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74
],
"survives_covering": [
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54
],
"n_survive": 16,
"leftover_vs_f4": true
},
{
"n": 116,
"d": 39,
"needed": [
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75
],
"killed_by_covering": [
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75
],
"survives_covering": [
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55
],
"n_survive": 17,
"leftover_vs_f4": true
},
{
"n": 117,
"d": 39,
"needed": [
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76
],
"killed_by_covering": [
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76
],
"survives_covering": [
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56
],
"n_survive": 18,
"leftover_vs_f4": true
},
{
"n": 118,
"d": 40,
"needed": [
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76
],
"killed_by_covering": [
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76
],
"survives_covering": [
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56
],
"n_survive": 17,
"leftover_vs_f4": true
},
{
"n": 119,
"d": 40,
"needed": [
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76,
77
],
"killed_by_covering": [
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76,
77
],
"survives_covering": [
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57
],
"n_survive": 18,
"leftover_vs_f4": true
},
{
"n": 120,
"d": 40,
"needed": [
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76,
77,
78
],
"killed_by_covering": [
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76,
77,
78
],
"survives_covering": [
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58
],
"n_survive": 19,
"leftover_vs_f4": true
}
],
"n_with_survivors": [
73,
74,
75,
76,
77,
78,
79,
80,
81,
82,
83,
84,
85,
86,
87,
88,
89,
90,
91,
92,
93,
94,
95,
96,
97,
98,
99,
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114,
115,
116,
117,
118,
119,
120
],
"all_killed": false,
"n_cubes_killed": 792,
"n_cubes_survive": 672,
"note": "covering = 2-cycle omissions on A plus transitive-tournament equality. Survivors still need SAT, UP, or a stronger count. Not a published-threshold claim."
},
"forcing": []
}