-- upper triag finite energy
uTriagGap delta n = uMatrix [1 .. n] [1 .. n] $ \ i j ->
     if i + delta <= j 
     then knownFinite (uNat 8)
     else knownMinusInfinity
uTriagGap delta n = uMatrix [1 .. n] [1 .. n] $ \ i j ->
     if i + delta <= j 
     then knownFinite (uNat 8)
     else knownMinusInfinity
uTriagGap delta n = uMatrix [1 .. n] [1 .. n] $ \ i j ->
     if i + delta <= j 
     then knownFinite (uNat 8)
     else knownMinusInfinity