LeanPool.TwoColoringOneRound.LowerBound.N1000000BCompressionComputeSiIntBlock3Vars16to19

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block3_var16 (p q : Fin 3) : SiIntGoal ⟨3, ⋯⟩ ⟨16, ⋯⟩ p q

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block3_var17 (p q : Fin 3) : SiIntGoal ⟨3, ⋯⟩ ⟨17, ⋯⟩ p q

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block3_var18 (p q : Fin 3) : SiIntGoal ⟨3, ⋯⟩ ⟨18, ⋯⟩ p q

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block3_var19 (p q : Fin 3) : SiIntGoal ⟨3, ⋯⟩ ⟨19, ⋯⟩ p q