{
  "description": "Explicit twisted loop on Z4 x F2; label (i,a) as 2*i+a.",
  "construction": "(i,a)*(j,b)=((i+j) mod 4, (a+b+indicator(i=j=1)) mod 2)",
  "proof": "proof_notes/fff_subsquare_and_congruence_obstructions.md, Theorem 6",
  "table": [
    [0,1,2,3,4,5,6,7],
    [1,0,3,2,5,4,7,6],
    [2,3,5,4,6,7,0,1],
    [3,2,4,5,7,6,1,0],
    [4,5,6,7,0,1,2,3],
    [5,4,7,6,1,0,3,2],
    [6,7,0,1,2,3,4,5],
    [7,6,1,0,3,2,5,4]
  ]
}