LeanPool.TwoColoringOneRound.LowerBound.N1000000BCompressionComputeSiIntBlock1Vars20to22

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block1_var20 (p q : Fin 3) : SiIntGoal ⟨1, ⋯⟩ ⟨20, ⋯⟩ p q

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block1_var21 (p q : Fin 3) : SiIntGoal ⟨1, ⋯⟩ ⟨21, ⋯⟩ p q

theorem Distributed2Coloring.LowerBound.N1000000BCompressionCompute.siIntGoal_block1_var22 (p q : Fin 3) : SiIntGoal ⟨1, ⋯⟩ ⟨22, ⋯⟩ p q