This file is generated from the following operator table: [[1,12,12,7,7,6,14,12,18,7,18,12,0,6,19,11,18,7,6,6,18],[2,8,8,10,10,19,0,0,20,10,20,8,0,19,19,8,10,20,0,19,20],[1,2,2,13,13,11,0,0,1,13,1,2,0,2,11,11,11,13,0,1,1],[1,2,2,10,15,11,14,12,1,15,1,2,15,2,11,11,11,15,6,1,1],[2,12,12,7,4,6,4,12,9,4,9,12,4,6,19,3,11,9,6,6,9],[1,2,2,7,7,11,14,5,1,7,1,2,0,2,11,11,11,7,17,1,1],[2,5,5,13,13,19,4,5,18,13,18,5,4,19,19,3,18,13,6,19,18],[2,3,3,7,4,17,4,5,9,4,9,3,4,17,16,3,18,9,17,17,9],[1,2,2,7,15,11,0,12,1,15,1,2,15,2,11,11,11,15,0,1,1],[1,8,8,10,10,17,4,0,20,10,20,8,4,17,19,8,10,20,17,17,20],[2,3,3,10,4,16,4,5,9,4,9,3,4,16,16,3,10,9,6,16,9],[1,5,5,13,15,16,14,5,14,15,14,5,15,16,16,8,11,15,17,16,14],[1,2,2,7,7,11,0,0,1,7,1,2,4,2,11,11,11,7,0,1,1],[1,3,3,7,4,17,4,12,9,4,9,3,4,17,11,3,18,9,17,17,9],[1,8,8,10,10,6,0,0,20,10,20,8,4,6,19,8,10,20,6,6,20],[2,12,12,13,4,17,4,12,9,4,9,12,4,17,11,11,18,9,17,17,9],[1,5,5,13,13,19,14,5,14,13,14,5,4,19,19,3,10,13,6,19,14],[1,5,5,13,13,19,14,5,18,13,18,5,4,19,19,11,18,13,0,19,18],[1,8,8,10,10,16,0,0,20,10,20,8,4,16,16,8,10,20,17,16,20],[1,5,5,13,13,19,14,5,14,13,14,5,4,19,19,3,11,13,0,19,14],[1,8,8,10,10,17,0,5,20,10,20,8,4,17,19,8,10,20,17,17,20]]

The magma definition

def «All4x4Tables [[1,12,12,7,7,6,14,12,18,7,18,12,0,6,19,11,18,7,6,6,18],[2,8,8,10,10,19,0,0,20,10,20,8,0,19,19,8,10,20,0,19,20],[1,2,2,13,13,11,0,0,1,13,1,2,0,2,11,11,11,13,0,1,1],[1,2,2,10,15,11,14,12,1,15,1,2,15,2,11,11,11,15,6,1,1],[2,12,12,7,4,6,4,12,9,4,9,12,4,6,19,3,11,9,6,6,9],[1,2,2,7,7,11,14,5,1,7,1,2,0,2,11,11,11,7,17,1,1],[2,5,5,13,13,19,4,5,18,13,18,5,4,19,19,3,18,13,6,19,18],[2,3,3,7,4,17,4,5,9,4,9,3,4,17,16,3,18,9,17,17,9],[1,2,2,7,15,11,0,12,1,15,1,2,15,2,11,11,11,15,0,1,1],[1,8,8,10,10,17,4,0,20,10,20,8,4,17,19,8,10,20,17,17,20],[2,3,3,10,4,16,4,5,9,4,9,3,4,16,16,3,10,9,6,16,9],[1,5,5,13,15,16,14,5,14,15,14,5,15,16,16,8,11,15,17,16,14],[1,2,2,7,7,11,0,0,1,7,1,2,4,2,11,11,11,7,0,1,1],[1,3,3,7,4,17,4,12,9,4,9,3,4,17,11,3,18,9,17,17,9],[1,8,8,10,10,6,0,0,20,10,20,8,4,6,19,8,10,20,6,6,20],[2,12,12,13,4,17,4,12,9,4,9,12,4,17,11,11,18,9,17,17,9],[1,5,5,13,13,19,14,5,14,13,14,5,4,19,19,3,10,13,6,19,14],[1,5,5,13,13,19,14,5,18,13,18,5,4,19,19,11,18,13,0,19,18],[1,8,8,10,10,16,0,0,20,10,20,8,4,16,16,8,10,20,17,16,20],[1,5,5,13,13,19,14,5,14,13,14,5,4,19,19,3,11,13,0,19,14],[1,8,8,10,10,17,0,5,20,10,20,8,4,17,19,8,10,20,17,17,20]]» : Magma (Fin 21)

Equations

• One or more equations did not get rendered due to their size.

The facts

theorem «Facts from All4x4Tables [[1,12,12,7,7,6,14,12,18,7,18,12,0,6,19,11,18,7,6,6,18],[2,8,8,10,10,19,0,0,20,10,20,8,0,19,19,8,10,20,0,19,20],[1,2,2,13,13,11,0,0,1,13,1,2,0,2,11,11,11,13,0,1,1],[1,2,2,10,15,11,14,12,1,15,1,2,15,2,11,11,11,15,6,1,1],[2,12,12,7,4,6,4,12,9,4,9,12,4,6,19,3,11,9,6,6,9],[1,2,2,7,7,11,14,5,1,7,1,2,0,2,11,11,11,7,17,1,1],[2,5,5,13,13,19,4,5,18,13,18,5,4,19,19,3,18,13,6,19,18],[2,3,3,7,4,17,4,5,9,4,9,3,4,17,16,3,18,9,17,17,9],[1,2,2,7,15,11,0,12,1,15,1,2,15,2,11,11,11,15,0,1,1],[1,8,8,10,10,17,4,0,20,10,20,8,4,17,19,8,10,20,17,17,20],[2,3,3,10,4,16,4,5,9,4,9,3,4,16,16,3,10,9,6,16,9],[1,5,5,13,15,16,14,5,14,15,14,5,15,16,16,8,11,15,17,16,14],[1,2,2,7,7,11,0,0,1,7,1,2,4,2,11,11,11,7,0,1,1],[1,3,3,7,4,17,4,12,9,4,9,3,4,17,11,3,18,9,17,17,9],[1,8,8,10,10,6,0,0,20,10,20,8,4,6,19,8,10,20,6,6,20],[2,12,12,13,4,17,4,12,9,4,9,12,4,17,11,11,18,9,17,17,9],[1,5,5,13,13,19,14,5,14,13,14,5,4,19,19,3,10,13,6,19,14],[1,5,5,13,13,19,14,5,18,13,18,5,4,19,19,11,18,13,0,19,18],[1,8,8,10,10,16,0,0,20,10,20,8,4,16,16,8,10,20,17,16,20],[1,5,5,13,13,19,14,5,14,13,14,5,4,19,19,3,11,13,0,19,14],[1,8,8,10,10,17,0,5,20,10,20,8,4,17,19,8,10,20,17,17,20]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation1486 G ∧ ¬Equation151 G ∧ ¬Equation1427 G ∧ ¬Equation1428 G ∧ ¬Equation1479 G ∧ ¬Equation2035 G ∧ ¬Equation3456 G ∧ ¬Equation3864 G ∧ ¬Equation3880 G ∧ ¬Equation3915 G ∧ ¬Equation3918 G ∧ ¬Equation3952 G ∧ ¬Equation3955 G ∧ ¬Equation4268 G ∧ ¬Equation4314 G ∧ ¬Equation4606 G ∧ ¬Equation4666 G