LeanPool.TwoColoringOneRound.LowerBound.N1000000BCompressionComputeSiIntBlock6Vars12to15

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block6_var12 (p q : Fin 3) : SiIntGoal ⟨6, ⋯⟩ ⟨12, ⋯⟩ p q

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block6_var13 (p q : Fin 3) : SiIntGoal ⟨6, ⋯⟩ ⟨13, ⋯⟩ p q

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block6_var14 (p q : Fin 3) : SiIntGoal ⟨6, ⋯⟩ ⟨14, ⋯⟩ p q

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block6_var15 (p q : Fin 3) : SiIntGoal ⟨6, ⋯⟩ ⟨15, ⋯⟩ p q