uTriag2Gap delta n = uMatrix [1 .. n] [1 .. n] $ \ i j ->
     if i + delta <= j 
     then knownTuple2 (knownFinite $ uNat 8) uEnergy
     else knownTuple2 knownMinusInfinity knownMinusInfinity
uTriag2Gap delta n = uMatrix [1 .. n] [1 .. n] $ \ i j ->
     if i + delta <= j 
     then knownTuple2 (knownFinite $ uNat 8) uEnergy
     else knownTuple2 knownMinusInfinity knownMinusInfinity
uTriag2Gap delta n = uMatrix [1 .. n] [1 .. n] $ \ i j ->
     if i + delta <= j 
     then knownTuple2 (knownFinite $ uNat 8) uEnergy
     else knownTuple2 knownMinusInfinity knownMinusInfinity