# a1 is the list of IDs of lattices of rank 1.
# b2 (resp. b11) is the list of GAP IDs (Crystcat IDs) of
# indecomposable (resp. decomposable) lattices
# of rank 2.
# c3 (resp. c21, c111) is the list of GAP IDs (Crystcat IDs) of
# indecomposable (resp. decomposable with rank 2+1, 1+1+1)
# lattices of rank 3.
# d4 (resp. d31, d22, d211, d1111) is the list of GAP IDs (Crystcat IDs) of
# indecomposable (resp. decomposable with rank 3+1, 2+2, 2+1+1, 1+1+1+1)
# lattices of rank 4.
# For GAP ID (Crystcat ID), see http://www.ams.org/books/memo/1176/ (Chapter 3).

a1:=
[ [ 1, 1, 1, 1 ], [ 1, 1, 2, 1 ] ];
b2:=
[ [ 2, 2, 1, 2 ], [ 2, 2, 2, 2 ], [ 2, 3, 1, 1 ], [ 2, 3, 2, 1 ], 
  [ 2, 4, 1, 1 ], [ 2, 4, 2, 1 ], [ 2, 4, 2, 2 ], [ 2, 4, 3, 1 ], 
  [ 2, 4, 4, 1 ] ];
b11:=
[ [ 2, 1, 1, 1 ], [ 2, 1, 2, 1 ], [ 2, 2, 1, 1 ], [ 2, 2, 2, 1 ] ];
c3:=
[ [ 3, 3, 1, 3 ], [ 3, 3, 1, 4 ], [ 3, 3, 2, 4 ], [ 3, 3, 2, 5 ], 
  [ 3, 3, 3, 3 ], [ 3, 3, 3, 4 ], [ 3, 4, 1, 2 ], [ 3, 4, 2, 2 ], 
  [ 3, 4, 3, 2 ], [ 3, 4, 4, 2 ], [ 3, 4, 5, 2 ], [ 3, 4, 6, 3 ], 
  [ 3, 4, 6, 4 ], [ 3, 4, 7, 2 ], [ 3, 5, 1, 1 ], [ 3, 5, 2, 1 ], 
  [ 3, 5, 3, 1 ], [ 3, 5, 4, 1 ], [ 3, 5, 5, 1 ], [ 3, 7, 1, 1 ], 
  [ 3, 7, 1, 2 ], [ 3, 7, 1, 3 ], [ 3, 7, 2, 1 ], [ 3, 7, 2, 2 ], 
  [ 3, 7, 2, 3 ], [ 3, 7, 3, 1 ], [ 3, 7, 3, 2 ], [ 3, 7, 3, 3 ], 
  [ 3, 7, 4, 1 ], [ 3, 7, 4, 2 ], [ 3, 7, 4, 3 ], [ 3, 7, 5, 1 ], 
  [ 3, 7, 5, 2 ], [ 3, 7, 5, 3 ] ];
c21:=
[ [ 3, 2, 1, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 3, 2 ], [ 3, 3, 1, 2 ], 
  [ 3, 3, 2, 2 ], [ 3, 3, 2, 3 ], [ 3, 3, 3, 2 ], [ 3, 4, 1, 1 ], 
  [ 3, 4, 2, 1 ], [ 3, 4, 3, 1 ], [ 3, 4, 4, 1 ], [ 3, 4, 5, 1 ], 
  [ 3, 4, 6, 1 ], [ 3, 4, 6, 2 ], [ 3, 4, 7, 1 ], [ 3, 5, 1, 2 ], 
  [ 3, 5, 2, 2 ], [ 3, 5, 3, 2 ], [ 3, 5, 3, 3 ], [ 3, 5, 4, 2 ], 
  [ 3, 5, 4, 3 ], [ 3, 5, 5, 2 ], [ 3, 5, 5, 3 ], [ 3, 6, 1, 1 ], 
  [ 3, 6, 2, 1 ], [ 3, 6, 3, 1 ], [ 3, 6, 4, 1 ], [ 3, 6, 5, 1 ], 
  [ 3, 6, 6, 1 ], [ 3, 6, 6, 2 ], [ 3, 6, 7, 1 ] ];
c111:=
[ [ 3, 1, 1, 1 ], [ 3, 1, 2, 1 ], [ 3, 2, 1, 1 ], [ 3, 2, 2, 1 ], 
  [ 3, 2, 3, 1 ], [ 3, 3, 1, 1 ], [ 3, 3, 2, 1 ], [ 3, 3, 3, 1 ] ];
d4:=
[ [ 4, 5, 1, 1 ], [ 4, 5, 1, 7 ], [ 4, 5, 1, 11 ], [ 4, 5, 1, 12 ], 
  [ 4, 5, 1, 13 ], [ 4, 5, 2, 1 ], [ 4, 5, 2, 5 ], [ 4, 5, 2, 8 ], 
  [ 4, 5, 2, 9 ], [ 4, 6, 1, 6 ], [ 4, 6, 1, 10 ], [ 4, 6, 1, 11 ], 
  [ 4, 6, 1, 12 ], [ 4, 6, 2, 6 ], [ 4, 6, 2, 10 ], [ 4, 6, 2, 11 ], 
  [ 4, 6, 2, 12 ], [ 4, 6, 3, 4 ], [ 4, 6, 3, 7 ], [ 4, 6, 3, 8 ], 
  [ 4, 12, 1, 1 ], [ 4, 12, 1, 6 ], [ 4, 12, 1, 7 ], [ 4, 12, 2, 1 ], 
  [ 4, 12, 2, 5 ], [ 4, 12, 2, 6 ], [ 4, 12, 3, 1 ], [ 4, 12, 3, 10 ], 
  [ 4, 12, 3, 11 ], [ 4, 12, 3, 12 ], [ 4, 12, 3, 13 ], [ 4, 12, 4, 1 ], 
  [ 4, 12, 4, 10 ], [ 4, 12, 4, 11 ], [ 4, 12, 4, 12 ], [ 4, 12, 4, 13 ], 
  [ 4, 12, 5, 1 ], [ 4, 12, 5, 8 ], [ 4, 12, 5, 9 ], [ 4, 12, 5, 10 ], 
  [ 4, 12, 5, 11 ], [ 4, 13, 1, 5 ], [ 4, 13, 1, 6 ], [ 4, 13, 2, 5 ], 
  [ 4, 13, 2, 6 ], [ 4, 13, 3, 5 ], [ 4, 13, 3, 6 ], [ 4, 13, 4, 5 ], 
  [ 4, 13, 4, 6 ], [ 4, 13, 5, 4 ], [ 4, 13, 5, 5 ], [ 4, 13, 6, 5 ], 
  [ 4, 13, 6, 6 ], [ 4, 13, 7, 9 ], [ 4, 13, 7, 10 ], [ 4, 13, 7, 11 ], 
  [ 4, 13, 7, 12 ], [ 4, 13, 8, 5 ], [ 4, 13, 8, 6 ], [ 4, 13, 9, 4 ], 
  [ 4, 13, 9, 5 ], [ 4, 13, 10, 4 ], [ 4, 13, 10, 5 ], [ 4, 14, 1, 2 ], 
  [ 4, 14, 2, 2 ], [ 4, 14, 3, 3 ], [ 4, 14, 3, 4 ], [ 4, 14, 4, 2 ], 
  [ 4, 14, 5, 2 ], [ 4, 14, 6, 2 ], [ 4, 14, 7, 2 ], [ 4, 14, 8, 2 ], 
  [ 4, 14, 9, 2 ], [ 4, 14, 10, 2 ], [ 4, 16, 1, 3 ], [ 4, 18, 1, 1 ], 
  [ 4, 18, 1, 3 ], [ 4, 18, 2, 1 ], [ 4, 18, 2, 4 ], [ 4, 18, 2, 5 ], 
  [ 4, 18, 3, 1 ], [ 4, 18, 3, 5 ], [ 4, 18, 3, 6 ], [ 4, 18, 3, 7 ], 
  [ 4, 18, 4, 1 ], [ 4, 18, 4, 4 ], [ 4, 18, 4, 5 ], [ 4, 18, 5, 1 ], 
  [ 4, 18, 5, 5 ], [ 4, 18, 5, 6 ], [ 4, 18, 5, 7 ], [ 4, 19, 1, 2 ], 
  [ 4, 19, 2, 2 ], [ 4, 19, 3, 2 ], [ 4, 19, 4, 3 ], [ 4, 19, 4, 4 ], 
  [ 4, 19, 5, 2 ], [ 4, 19, 6, 2 ], [ 4, 21, 1, 1 ], [ 4, 21, 2, 1 ], 
  [ 4, 21, 3, 1 ], [ 4, 21, 3, 2 ], [ 4, 21, 4, 1 ], [ 4, 22, 1, 1 ], 
  [ 4, 22, 2, 1 ], [ 4, 22, 3, 1 ], [ 4, 22, 4, 1 ], [ 4, 22, 5, 1 ], 
  [ 4, 22, 5, 2 ], [ 4, 22, 6, 1 ], [ 4, 22, 7, 1 ], [ 4, 22, 8, 1 ], 
  [ 4, 22, 9, 1 ], [ 4, 22, 10, 1 ], [ 4, 22, 11, 1 ], [ 4, 24, 1, 1 ], 
  [ 4, 24, 1, 4 ], [ 4, 24, 1, 6 ], [ 4, 24, 2, 1 ], [ 4, 24, 2, 4 ], 
  [ 4, 24, 2, 6 ], [ 4, 24, 3, 1 ], [ 4, 24, 3, 4 ], [ 4, 24, 3, 6 ], 
  [ 4, 24, 4, 1 ], [ 4, 24, 4, 4 ], [ 4, 24, 4, 6 ], [ 4, 24, 5, 1 ], 
  [ 4, 24, 5, 4 ], [ 4, 24, 5, 6 ], [ 4, 25, 1, 3 ], [ 4, 25, 1, 5 ], 
  [ 4, 25, 2, 3 ], [ 4, 25, 2, 5 ], [ 4, 25, 3, 3 ], [ 4, 25, 3, 5 ], 
  [ 4, 25, 4, 3 ], [ 4, 25, 4, 5 ], [ 4, 25, 5, 3 ], [ 4, 25, 5, 5 ], 
  [ 4, 25, 6, 3 ], [ 4, 25, 6, 5 ], [ 4, 25, 7, 3 ], [ 4, 25, 7, 5 ], 
  [ 4, 25, 8, 3 ], [ 4, 25, 8, 5 ], [ 4, 25, 9, 3 ], [ 4, 25, 9, 5 ], 
  [ 4, 25, 10, 3 ], [ 4, 25, 10, 5 ], [ 4, 25, 11, 3 ], [ 4, 25, 11, 5 ], 
  [ 4, 26, 1, 1 ], [ 4, 26, 2, 1 ], [ 4, 27, 1, 1 ], [ 4, 27, 2, 1 ], 
  [ 4, 27, 3, 1 ], [ 4, 27, 3, 2 ], [ 4, 27, 4, 1 ], [ 4, 28, 1, 1 ], 
  [ 4, 28, 2, 1 ], [ 4, 29, 1, 1 ], [ 4, 29, 1, 2 ], [ 4, 29, 1, 3 ], 
  [ 4, 29, 2, 1 ], [ 4, 29, 2, 2 ], [ 4, 29, 3, 1 ], [ 4, 29, 3, 2 ], 
  [ 4, 29, 3, 3 ], [ 4, 29, 3, 4 ], [ 4, 29, 3, 5 ], [ 4, 29, 4, 1 ], 
  [ 4, 29, 4, 2 ], [ 4, 29, 4, 3 ], [ 4, 29, 4, 4 ], [ 4, 29, 5, 1 ], 
  [ 4, 29, 5, 2 ], [ 4, 29, 6, 1 ], [ 4, 29, 6, 2 ], [ 4, 29, 6, 3 ], 
  [ 4, 29, 7, 1 ], [ 4, 29, 7, 2 ], [ 4, 29, 7, 3 ], [ 4, 29, 7, 4 ], 
  [ 4, 29, 8, 1 ], [ 4, 29, 8, 2 ], [ 4, 29, 8, 3 ], [ 4, 29, 8, 4 ], 
  [ 4, 29, 9, 1 ], [ 4, 29, 9, 2 ], [ 4, 29, 9, 3 ], [ 4, 30, 1, 1 ], 
  [ 4, 30, 2, 1 ], [ 4, 30, 3, 1 ], [ 4, 30, 4, 1 ], [ 4, 30, 4, 2 ], 
  [ 4, 30, 5, 1 ], [ 4, 30, 6, 1 ], [ 4, 30, 7, 1 ], [ 4, 30, 8, 1 ], 
  [ 4, 30, 9, 1 ], [ 4, 30, 10, 1 ], [ 4, 30, 11, 1 ], [ 4, 30, 12, 1 ], 
  [ 4, 30, 12, 2 ], [ 4, 30, 13, 1 ], [ 4, 31, 1, 1 ], [ 4, 31, 1, 2 ], 
  [ 4, 31, 1, 3 ], [ 4, 31, 1, 4 ], [ 4, 31, 2, 1 ], [ 4, 31, 2, 2 ], 
  [ 4, 31, 3, 1 ], [ 4, 31, 3, 2 ], [ 4, 31, 4, 1 ], [ 4, 31, 4, 2 ], 
  [ 4, 31, 5, 1 ], [ 4, 31, 5, 2 ], [ 4, 31, 6, 1 ], [ 4, 31, 6, 2 ], 
  [ 4, 31, 7, 1 ], [ 4, 31, 7, 2 ], [ 4, 32, 1, 1 ], [ 4, 32, 1, 2 ], 
  [ 4, 32, 2, 1 ], [ 4, 32, 2, 2 ], [ 4, 32, 3, 1 ], [ 4, 32, 3, 2 ], 
  [ 4, 32, 4, 1 ], [ 4, 32, 4, 2 ], [ 4, 32, 5, 1 ], [ 4, 32, 5, 2 ], 
  [ 4, 32, 5, 3 ], [ 4, 32, 6, 1 ], [ 4, 32, 6, 2 ], [ 4, 32, 7, 1 ], 
  [ 4, 32, 7, 2 ], [ 4, 32, 8, 1 ], [ 4, 32, 8, 2 ], [ 4, 32, 9, 1 ], 
  [ 4, 32, 9, 2 ], [ 4, 32, 9, 3 ], [ 4, 32, 9, 4 ], [ 4, 32, 9, 5 ], 
  [ 4, 32, 10, 1 ], [ 4, 32, 10, 2 ], [ 4, 32, 11, 1 ], [ 4, 32, 11, 2 ], 
  [ 4, 32, 11, 3 ], [ 4, 32, 12, 1 ], [ 4, 32, 12, 2 ], [ 4, 32, 13, 1 ], 
  [ 4, 32, 13, 2 ], [ 4, 32, 13, 3 ], [ 4, 32, 13, 4 ], [ 4, 32, 14, 1 ], 
  [ 4, 32, 14, 2 ], [ 4, 32, 14, 3 ], [ 4, 32, 14, 4 ], [ 4, 32, 15, 1 ], 
  [ 4, 32, 15, 2 ], [ 4, 32, 16, 1 ], [ 4, 32, 16, 2 ], [ 4, 32, 16, 3 ], 
  [ 4, 32, 17, 1 ], [ 4, 32, 17, 2 ], [ 4, 32, 18, 1 ], [ 4, 32, 18, 2 ], 
  [ 4, 32, 18, 3 ], [ 4, 32, 19, 1 ], [ 4, 32, 19, 2 ], [ 4, 32, 19, 3 ], 
  [ 4, 32, 20, 1 ], [ 4, 32, 20, 2 ], [ 4, 32, 20, 3 ], [ 4, 32, 21, 1 ], 
  [ 4, 32, 21, 2 ], [ 4, 32, 21, 3 ], [ 4, 33, 1, 1 ], [ 4, 33, 2, 1 ], 
  [ 4, 33, 3, 1 ], [ 4, 33, 4, 1 ], [ 4, 33, 5, 1 ], [ 4, 33, 6, 1 ], 
  [ 4, 33, 7, 1 ], [ 4, 33, 8, 1 ], [ 4, 33, 9, 1 ], [ 4, 33, 10, 1 ], 
  [ 4, 33, 11, 1 ], [ 4, 33, 12, 1 ], [ 4, 33, 13, 1 ], [ 4, 33, 14, 1 ], 
  [ 4, 33, 14, 2 ], [ 4, 33, 15, 1 ], [ 4, 33, 16, 1 ] ];
d31:=
[ [ 4, 4, 1, 4 ], [ 4, 4, 1, 6 ], [ 4, 4, 2, 5 ], [ 4, 4, 2, 7 ], 
  [ 4, 4, 3, 4 ], [ 4, 4, 3, 6 ], [ 4, 4, 4, 4 ], [ 4, 4, 4, 6 ], 
  [ 4, 5, 1, 5 ], [ 4, 5, 1, 6 ], [ 4, 5, 1, 9 ], [ 4, 5, 1, 10 ], 
  [ 4, 5, 2, 4 ], [ 4, 5, 2, 7 ], [ 4, 6, 1, 4 ], [ 4, 6, 1, 5 ], 
  [ 4, 6, 1, 8 ], [ 4, 6, 1, 9 ], [ 4, 6, 2, 4 ], [ 4, 6, 2, 5 ], 
  [ 4, 6, 2, 8 ], [ 4, 6, 2, 9 ], [ 4, 6, 3, 3 ], [ 4, 6, 3, 6 ], 
  [ 4, 7, 1, 2 ], [ 4, 7, 2, 2 ], [ 4, 7, 3, 2 ], [ 4, 7, 4, 3 ], 
  [ 4, 7, 4, 4 ], [ 4, 7, 5, 2 ], [ 4, 7, 6, 2 ], [ 4, 7, 7, 2 ], 
  [ 4, 8, 1, 1 ], [ 4, 8, 2, 1 ], [ 4, 8, 3, 1 ], [ 4, 8, 4, 1 ], 
  [ 4, 8, 5, 1 ], [ 4, 12, 1, 4 ], [ 4, 12, 1, 5 ], [ 4, 12, 2, 4 ], 
  [ 4, 12, 3, 6 ], [ 4, 12, 3, 7 ], [ 4, 12, 3, 8 ], [ 4, 12, 3, 9 ], 
  [ 4, 12, 4, 6 ], [ 4, 12, 4, 7 ], [ 4, 12, 4, 8 ], [ 4, 12, 4, 9 ], 
  [ 4, 12, 5, 6 ], [ 4, 12, 5, 7 ], [ 4, 13, 1, 3 ], [ 4, 13, 1, 4 ], 
  [ 4, 13, 2, 3 ], [ 4, 13, 2, 4 ], [ 4, 13, 3, 3 ], [ 4, 13, 3, 4 ], 
  [ 4, 13, 4, 3 ], [ 4, 13, 4, 4 ], [ 4, 13, 5, 3 ], [ 4, 13, 6, 3 ], 
  [ 4, 13, 6, 4 ], [ 4, 13, 7, 5 ], [ 4, 13, 7, 6 ], [ 4, 13, 7, 7 ], 
  [ 4, 13, 7, 8 ], [ 4, 13, 8, 3 ], [ 4, 13, 8, 4 ], [ 4, 13, 9, 3 ], 
  [ 4, 13, 10, 3 ], [ 4, 14, 1, 1 ], [ 4, 14, 2, 1 ], [ 4, 14, 3, 1 ], 
  [ 4, 14, 3, 2 ], [ 4, 14, 4, 1 ], [ 4, 14, 5, 1 ], [ 4, 14, 6, 1 ], 
  [ 4, 14, 7, 1 ], [ 4, 14, 8, 1 ], [ 4, 14, 9, 1 ], [ 4, 14, 10, 1 ], 
  [ 4, 24, 1, 2 ], [ 4, 24, 1, 3 ], [ 4, 24, 1, 5 ], [ 4, 24, 2, 2 ], 
  [ 4, 24, 2, 3 ], [ 4, 24, 2, 5 ], [ 4, 24, 3, 2 ], [ 4, 24, 3, 3 ], 
  [ 4, 24, 3, 5 ], [ 4, 24, 4, 2 ], [ 4, 24, 4, 3 ], [ 4, 24, 4, 5 ], 
  [ 4, 24, 5, 2 ], [ 4, 24, 5, 3 ], [ 4, 24, 5, 5 ], [ 4, 25, 1, 1 ], 
  [ 4, 25, 1, 2 ], [ 4, 25, 1, 4 ], [ 4, 25, 2, 1 ], [ 4, 25, 2, 2 ], 
  [ 4, 25, 2, 4 ], [ 4, 25, 3, 1 ], [ 4, 25, 3, 2 ], [ 4, 25, 3, 4 ], 
  [ 4, 25, 4, 1 ], [ 4, 25, 4, 2 ], [ 4, 25, 4, 4 ], [ 4, 25, 5, 1 ], 
  [ 4, 25, 5, 2 ], [ 4, 25, 5, 4 ], [ 4, 25, 6, 1 ], [ 4, 25, 6, 2 ], 
  [ 4, 25, 6, 4 ], [ 4, 25, 7, 1 ], [ 4, 25, 7, 2 ], [ 4, 25, 7, 4 ], 
  [ 4, 25, 8, 1 ], [ 4, 25, 8, 2 ], [ 4, 25, 8, 4 ], [ 4, 25, 9, 1 ], 
  [ 4, 25, 9, 2 ], [ 4, 25, 9, 4 ], [ 4, 25, 10, 1 ], [ 4, 25, 10, 2 ], 
  [ 4, 25, 10, 4 ], [ 4, 25, 11, 1 ], [ 4, 25, 11, 2 ], [ 4, 25, 11, 4 ] ];
d22:=
[ [ 4, 3, 1, 3 ], [ 4, 3, 2, 3 ], [ 4, 4, 1, 5 ], [ 4, 4, 2, 6 ], 
  [ 4, 4, 3, 5 ], [ 4, 4, 4, 5 ], [ 4, 5, 1, 8 ], [ 4, 5, 2, 6 ], 
  [ 4, 6, 1, 7 ], [ 4, 6, 2, 7 ], [ 4, 6, 3, 5 ], [ 4, 10, 1, 1 ], 
  [ 4, 11, 1, 1 ], [ 4, 11, 2, 1 ], [ 4, 12, 1, 3 ], [ 4, 12, 2, 3 ], 
  [ 4, 12, 3, 4 ], [ 4, 12, 3, 5 ], [ 4, 12, 4, 4 ], [ 4, 12, 4, 5 ], 
  [ 4, 12, 5, 4 ], [ 4, 12, 5, 5 ], [ 4, 13, 1, 2 ], [ 4, 13, 2, 2 ], 
  [ 4, 13, 3, 2 ], [ 4, 13, 4, 2 ], [ 4, 13, 5, 2 ], [ 4, 13, 6, 2 ], 
  [ 4, 13, 7, 3 ], [ 4, 13, 7, 4 ], [ 4, 13, 8, 2 ], [ 4, 13, 9, 2 ], 
  [ 4, 13, 10, 2 ], [ 4, 14, 1, 4 ], [ 4, 14, 2, 4 ], [ 4, 14, 3, 7 ], 
  [ 4, 14, 3, 8 ], [ 4, 14, 4, 4 ], [ 4, 14, 5, 4 ], [ 4, 14, 6, 5 ], 
  [ 4, 14, 6, 6 ], [ 4, 14, 7, 5 ], [ 4, 14, 7, 6 ], [ 4, 14, 8, 5 ], 
  [ 4, 14, 8, 6 ], [ 4, 14, 9, 5 ], [ 4, 14, 9, 6 ], [ 4, 14, 10, 5 ], 
  [ 4, 14, 10, 6 ], [ 4, 15, 1, 2 ], [ 4, 15, 2, 2 ], [ 4, 15, 3, 2 ], 
  [ 4, 15, 4, 2 ], [ 4, 15, 5, 3 ], [ 4, 15, 5, 4 ], [ 4, 15, 6, 2 ], 
  [ 4, 15, 7, 3 ], [ 4, 15, 7, 4 ], [ 4, 15, 8, 2 ], [ 4, 15, 9, 2 ], 
  [ 4, 15, 10, 3 ], [ 4, 15, 10, 4 ], [ 4, 15, 11, 2 ], [ 4, 15, 12, 2 ], 
  [ 4, 16, 1, 1 ], [ 4, 16, 1, 2 ], [ 4, 17, 1, 1 ], [ 4, 17, 1, 2 ], 
  [ 4, 17, 1, 3 ], [ 4, 17, 2, 1 ], [ 4, 17, 2, 2 ], [ 4, 18, 1, 2 ], 
  [ 4, 18, 2, 2 ], [ 4, 18, 2, 3 ], [ 4, 18, 3, 2 ], [ 4, 18, 3, 3 ], 
  [ 4, 18, 3, 4 ], [ 4, 18, 4, 2 ], [ 4, 18, 4, 3 ], [ 4, 18, 5, 2 ], 
  [ 4, 18, 5, 3 ], [ 4, 18, 5, 4 ], [ 4, 19, 1, 1 ], [ 4, 19, 2, 1 ], 
  [ 4, 19, 3, 1 ], [ 4, 19, 4, 1 ], [ 4, 19, 4, 2 ], [ 4, 19, 5, 1 ], 
  [ 4, 19, 6, 1 ], [ 4, 20, 1, 1 ], [ 4, 20, 2, 1 ], [ 4, 20, 3, 1 ], 
  [ 4, 20, 3, 2 ], [ 4, 20, 4, 1 ], [ 4, 20, 4, 2 ], [ 4, 20, 5, 1 ], 
  [ 4, 20, 6, 1 ], [ 4, 20, 7, 1 ], [ 4, 20, 7, 2 ], [ 4, 20, 8, 1 ], 
  [ 4, 20, 9, 1 ], [ 4, 20, 9, 2 ], [ 4, 20, 10, 1 ], [ 4, 20, 10, 2 ], 
  [ 4, 20, 11, 1 ], [ 4, 20, 11, 2 ], [ 4, 20, 12, 1 ], [ 4, 20, 12, 2 ], 
  [ 4, 20, 12, 3 ], [ 4, 20, 12, 4 ], [ 4, 20, 13, 1 ], [ 4, 20, 13, 2 ], 
  [ 4, 20, 13, 3 ], [ 4, 20, 13, 4 ], [ 4, 20, 14, 1 ], [ 4, 20, 15, 1 ], 
  [ 4, 20, 16, 1 ], [ 4, 20, 16, 2 ], [ 4, 20, 17, 1 ], [ 4, 20, 17, 2 ], 
  [ 4, 20, 18, 1 ], [ 4, 20, 19, 1 ], [ 4, 20, 20, 1 ], [ 4, 20, 20, 2 ], 
  [ 4, 20, 20, 3 ], [ 4, 20, 20, 4 ], [ 4, 20, 21, 1 ], [ 4, 20, 21, 2 ], 
  [ 4, 20, 22, 1 ], [ 4, 21, 1, 2 ], [ 4, 21, 2, 2 ], [ 4, 21, 3, 3 ], 
  [ 4, 21, 3, 4 ], [ 4, 21, 4, 2 ], [ 4, 22, 1, 2 ], [ 4, 22, 2, 2 ], 
  [ 4, 22, 3, 2 ], [ 4, 22, 3, 3 ], [ 4, 22, 4, 2 ], [ 4, 22, 4, 3 ], 
  [ 4, 22, 5, 3 ], [ 4, 22, 5, 4 ], [ 4, 22, 5, 5 ], [ 4, 22, 6, 2 ], 
  [ 4, 22, 6, 3 ], [ 4, 22, 7, 2 ], [ 4, 22, 7, 3 ], [ 4, 22, 8, 2 ], 
  [ 4, 22, 8, 3 ], [ 4, 22, 8, 4 ], [ 4, 22, 9, 2 ], [ 4, 22, 9, 3 ], 
  [ 4, 22, 9, 4 ], [ 4, 22, 9, 5 ], [ 4, 22, 10, 2 ], [ 4, 22, 10, 3 ], 
  [ 4, 22, 10, 4 ], [ 4, 22, 11, 2 ], [ 4, 22, 11, 3 ], [ 4, 22, 11, 4 ], 
  [ 4, 23, 1, 1 ], [ 4, 23, 2, 1 ], [ 4, 23, 3, 1 ], [ 4, 23, 4, 1 ], 
  [ 4, 23, 5, 1 ], [ 4, 23, 5, 2 ], [ 4, 23, 6, 1 ], [ 4, 23, 6, 2 ], 
  [ 4, 23, 7, 1 ], [ 4, 23, 8, 1 ], [ 4, 23, 9, 1 ], [ 4, 23, 9, 2 ], 
  [ 4, 23, 10, 1 ], [ 4, 23, 10, 2 ], [ 4, 23, 11, 1 ] ];
d211:=
[ [ 4, 2, 1, 2 ], [ 4, 2, 2, 2 ], [ 4, 2, 3, 2 ], [ 4, 3, 1, 2 ], 
  [ 4, 3, 2, 2 ], [ 4, 4, 1, 2 ], [ 4, 4, 1, 3 ], [ 4, 4, 2, 2 ], 
  [ 4, 4, 2, 3 ], [ 4, 4, 2, 4 ], [ 4, 4, 3, 2 ], [ 4, 4, 3, 3 ], 
  [ 4, 4, 4, 2 ], [ 4, 4, 4, 3 ], [ 4, 5, 1, 3 ], [ 4, 5, 1, 4 ], 
  [ 4, 5, 2, 3 ], [ 4, 6, 1, 2 ], [ 4, 6, 1, 3 ], [ 4, 6, 2, 2 ], 
  [ 4, 6, 2, 3 ], [ 4, 6, 3, 2 ], [ 4, 7, 1, 1 ], [ 4, 7, 2, 1 ], 
  [ 4, 7, 3, 1 ], [ 4, 7, 4, 1 ], [ 4, 7, 4, 2 ], [ 4, 7, 5, 1 ], 
  [ 4, 7, 6, 1 ], [ 4, 7, 7, 1 ], [ 4, 8, 1, 2 ], [ 4, 8, 2, 2 ], 
  [ 4, 8, 3, 2 ], [ 4, 8, 3, 3 ], [ 4, 8, 4, 2 ], [ 4, 8, 4, 3 ], 
  [ 4, 8, 5, 2 ], [ 4, 8, 5, 3 ], [ 4, 9, 1, 1 ], [ 4, 9, 2, 1 ], 
  [ 4, 9, 3, 1 ], [ 4, 9, 4, 1 ], [ 4, 9, 5, 1 ], [ 4, 9, 6, 1 ], 
  [ 4, 9, 6, 2 ], [ 4, 9, 7, 1 ], [ 4, 12, 1, 2 ], [ 4, 12, 2, 2 ], 
  [ 4, 12, 3, 2 ], [ 4, 12, 3, 3 ], [ 4, 12, 4, 2 ], [ 4, 12, 4, 3 ], 
  [ 4, 12, 5, 2 ], [ 4, 12, 5, 3 ], [ 4, 13, 1, 1 ], [ 4, 13, 2, 1 ], 
  [ 4, 13, 3, 1 ], [ 4, 13, 4, 1 ], [ 4, 13, 5, 1 ], [ 4, 13, 6, 1 ], 
  [ 4, 13, 7, 1 ], [ 4, 13, 7, 2 ], [ 4, 13, 8, 1 ], [ 4, 13, 9, 1 ], 
  [ 4, 13, 10, 1 ], [ 4, 14, 1, 3 ], [ 4, 14, 2, 3 ], [ 4, 14, 3, 5 ], 
  [ 4, 14, 3, 6 ], [ 4, 14, 4, 3 ], [ 4, 14, 5, 3 ], [ 4, 14, 6, 3 ], 
  [ 4, 14, 6, 4 ], [ 4, 14, 7, 3 ], [ 4, 14, 7, 4 ], [ 4, 14, 8, 3 ], 
  [ 4, 14, 8, 4 ], [ 4, 14, 9, 3 ], [ 4, 14, 9, 4 ], [ 4, 14, 10, 3 ], 
  [ 4, 14, 10, 4 ], [ 4, 15, 1, 1 ], [ 4, 15, 2, 1 ], [ 4, 15, 3, 1 ], 
  [ 4, 15, 4, 1 ], [ 4, 15, 5, 1 ], [ 4, 15, 5, 2 ], [ 4, 15, 6, 1 ], 
  [ 4, 15, 7, 1 ], [ 4, 15, 7, 2 ], [ 4, 15, 8, 1 ], [ 4, 15, 9, 1 ], 
  [ 4, 15, 10, 1 ], [ 4, 15, 10, 2 ], [ 4, 15, 11, 1 ], [ 4, 15, 12, 1 ] ];
d1111:=
[ [ 4, 1, 1, 1 ], [ 4, 1, 2, 1 ], [ 4, 2, 1, 1 ], [ 4, 2, 2, 1 ], 
  [ 4, 2, 3, 1 ], [ 4, 3, 1, 1 ], [ 4, 3, 2, 1 ], [ 4, 4, 1, 1 ], 
  [ 4, 4, 2, 1 ], [ 4, 4, 3, 1 ], [ 4, 4, 4, 1 ], [ 4, 5, 1, 2 ], 
  [ 4, 5, 2, 2 ], [ 4, 6, 1, 1 ], [ 4, 6, 2, 1 ], [ 4, 6, 3, 1 ] ];