GramADE:=rec( A1 := [ [ -2 ] ], A2 := [ [ -2, 1 ], [ 1, -2 ] ], A3 := [ [ -2, 1, 0 ], [ 1, -2, 1 ], [ 0, 1, -2 ] ], A4 := [ [ -2, 1, 0, 0 ], [ 1, -2, 1, 0 ], [ 0, 1, -2, 1 ], [ 0, 0, 1, -2 ] ], A5 := [ [ -2, 1, 0, 0, 0 ], [ 1, -2, 1, 0, 0 ], [ 0, 1, -2, 1, 0 ], [ 0, 0, 1, -2, 1 ], [ 0, 0, 0, 1, -2 ] ], A6 := [ [ -2, 1, 0, 0, 0, 0 ], [ 1, -2, 1, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0 ], [ 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 1, -2 ] ], A7 := [ [ -2, 1, 0, 0, 0, 0, 0 ], [ 1, -2, 1, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 1, -2 ] ], A8 := [ [ -2, 1, 0, 0, 0, 0, 0, 0 ], [ 1, -2, 1, 0, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0, 0 ], [ 0, 0, 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 0, 1, -2 ] ], A9 := [ [ -2, 1, 0, 0, 0, 0, 0, 0, 0 ], [ 1, -2, 1, 0, 0, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, -2, 1, 0, 0 ], [ 0, 0, 0, 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 0, 0, 1, -2 ] ], D4 := [ [ -2, 0, 1, 0 ], [ 0, -2, 1, 0 ], [ 1, 1, -2, 1 ], [ 0, 0, 1, -2 ] ], D5 := [ [ -2, 0, 1, 0, 0 ], [ 0, -2, 1, 0, 0 ], [ 1, 1, -2, 1, 0 ], [ 0, 0, 1, -2, 1 ], [ 0, 0, 0, 1, -2 ] ], D6 := [ [ -2, 0, 1, 0, 0, 0 ], [ 0, -2, 1, 0, 0, 0 ], [ 1, 1, -2, 1, 0, 0 ], [ 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 1, -2 ] ], D7 := [ [ -2, 0, 1, 0, 0, 0, 0 ], [ 0, -2, 1, 0, 0, 0, 0 ], [ 1, 1, -2, 1, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 1, -2 ] ], D8 := [ [ -2, 0, 1, 0, 0, 0, 0, 0 ], [ 0, -2, 1, 0, 0, 0, 0, 0 ], [ 1, 1, -2, 1, 0, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0, 0 ], [ 0, 0, 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 0, 1, -2 ] ], D9 := [ [ -2, 0, 1, 0, 0, 0, 0, 0, 0 ], [ 0, -2, 1, 0, 0, 0, 0, 0, 0 ], [ 1, 1, -2, 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, -2, 1, 0, 0 ], [ 0, 0, 0, 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 0, 0, 1, -2 ] ], E6 := [ [ -2, 0, 0, 1, 0, 0 ], [ 0, -2, 1, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0 ], [ 1, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 1, -2 ] ], E7 := [ [ -2, 0, 0, 1, 0, 0, 0 ], [ 0, -2, 1, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0, 0 ], [ 1, 0, 1, -2, 1, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 1, -2 ] ], E8 := [ [ -2, 0, 0, 1, 0, 0, 0, 0 ], [ 0, -2, 1, 0, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0, 0, 0 ], [ 1, 0, 1, -2, 1, 0, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0, 0 ], [ 0, 0, 0, 0, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 0, 1, -2 ] ] );