Magma V2.17-10    Tue Oct  4 2011 13:28:10 on weil     [Seed = 3128932072]
Type ? for help.  Type <Ctrl>-D to quit.

Loading file "looseend.txt"
Loading "quatver.txt"
The form is x^2 + x*y + 3*y^2 + 4*z^2 + 77*w^2.
The form fails to represent 143.
The form fails to represent 187.
The form fails to represent 231.
The form fails to represent 385.
The form fails to represent 451.
The form fails to represent 627.
The form fails to represent 935.
The form fails to represent 1111.
The form fails to represent 1419.
The form fails to represent 1903.
The form fails to represent 2387.
We will escalate by 143.
There are 10160640 lattices that we must consider.
Lattice 16 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 15/2]
[   0    0    0 15/2  143].
Exceptions are { 231 }.
Lattice 20 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 19/2]
[   0    0    0 19/2  143].
Exceptions are { 231 }.
Lattice 23 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0   0]
[  0   0   4   0   0]
[  0   0   0  77  11]
[  0   0   0  11 143].
Exceptions are { 385 }.
Lattice 24 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 23/2]
[   0    0    0 23/2  143].
Exceptions are { 231 }.
Lattice 28 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 27/2]
[   0    0    0 27/2  143].
Exceptions are { 231 }.
Lattice 32 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 31/2]
[   0    0    0 31/2  143].
Exceptions are { 231 }.
Lattice 34 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 33/2]
[   0    0    0 33/2  143].
Exceptions are { 451 }.
Lattice 36 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 35/2]
[   0    0    0 35/2  143].
Exceptions are { 231 }.
Lattice 40 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 39/2]
[   0    0    0 39/2  143].
Exceptions are { 231 }.
Lattice 44 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 43/2]
[   0    0    0 43/2  143].
Exceptions are { 231 }.
Lattice 48 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 47/2]
[   0    0    0 47/2  143].
Exceptions are { 231 }.
Lattice 52 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 51/2]
[   0    0    0 51/2  143].
Exceptions are { 231 }.
Lattice 56 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 55/2]
[   0    0    0 55/2  143].
Exceptions are { 231 }.
Lattice 60 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 59/2]
[   0    0    0 59/2  143].
Exceptions are { 231 }.
Lattice 64 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 63/2]
[   0    0    0 63/2  143].
Exceptions are { 231 }.
Lattice 67 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0   0]
[  0   0   4   0   0]
[  0   0   0  77  33]
[  0   0   0  33 143].
Exceptions are { 231 }.
Lattice 68 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 67/2]
[   0    0    0 67/2  143].
Exceptions are { 231 }.
Lattice 72 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 71/2]
[   0    0    0 71/2  143].
Exceptions are { 231 }.
Lattice 76 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 75/2]
[   0    0    0 75/2  143].
Exceptions are { 231 }.
Lattice 78 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[   0    0    0 77/2  143].
Exceptions are { 231, 385, 451 }.
Lattice 80 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 79/2]
[   0    0    0 79/2  143].
Exceptions are { 231 }.
Lattice 84 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 83/2]
[   0    0    0 83/2  143].
Exceptions are { 231 }.
Lattice 88 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 87/2]
[   0    0    0 87/2  143].
Exceptions are { 231 }.
Lattice 92 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 91/2]
[   0    0    0 91/2  143].
Exceptions are { 231 }.
Lattice 96 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 95/2]
[   0    0    0 95/2  143].
Exceptions are { 231 }.
Lattice 100 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 99/2]
[   0    0    0 99/2  143].
Exceptions are { 231 }.
Lattice 104 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 103/2]
[    0     0     0 103/2   143].
Exceptions are { 231 }.
Lattice 108 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 107/2]
[    0     0     0 107/2   143].
Exceptions are { 231 }.
Lattice 112 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 111/2]
[    0     0     0 111/2   143].
Exceptions are { 231 }.
Lattice 116 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 115/2]
[    0     0     0 115/2   143].
Exceptions are { 231 }.
Lattice 120 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 119/2]
[    0     0     0 119/2   143].
Exceptions are { 231 }.
Lattice 124 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 123/2]
[    0     0     0 123/2   143].
Exceptions are { 231 }.
Lattice 128 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 127/2]
[    0     0     0 127/2   143].
Exceptions are { 231 }.
Lattice 132 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 131/2]
[    0     0     0 131/2   143].
Exceptions are { 231 }.
Lattice 136 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 135/2]
[    0     0     0 135/2   143].
Exceptions are { 231 }.
Lattice 140 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 139/2]
[    0     0     0 139/2   143].
Exceptions are { 231 }.
Lattice 144 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 143/2]
[    0     0     0 143/2   143].
Exceptions are { 231 }.
Lattice 148 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 147/2]
[    0     0     0 147/2   143].
Exceptions are { 231 }.
Lattice 152 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 151/2]
[    0     0     0 151/2   143].
Exceptions are { 231 }.
Lattice 155 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0   0]
[  0   0   4   0   0]
[  0   0   0  77  77]
[  0   0   0  77 143].
Exceptions are { 451 }.
Lattice 156 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 155/2]
[    0     0     0 155/2   143].
Exceptions are { 231 }.
Lattice 160 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 159/2]
[    0     0     0 159/2   143].
Exceptions are { 231 }.
Lattice 2333 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   11]
[   0    0 11/2   11  143].
Exceptions are { 385 }.
Lattice 2344 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 33/2]
[   0    0 11/2 33/2  143].
Exceptions are { 451 }.
Lattice 2366 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 55/2]
[   0    0 11/2 55/2  143].
Exceptions are { 231 }.
Lattice 2377 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   33]
[   0    0 11/2   33  143].
Exceptions are { 231 }.
Lattice 2388 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[   0    0 11/2 77/2  143].
Exceptions are { 231, 385, 451 }.
Lattice 2410 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 99/2]
[   0    0 11/2 99/2  143].
Exceptions are { 231 }.
Lattice 2454 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0  11/2]
[    0     0     0    77 143/2]
[    0     0  11/2 143/2   143].
Exceptions are { 231 }.
Lattice 2465 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   77]
[   0    0 11/2   77  143].
Exceptions are { 451 }.
Lattice 4220 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   10]
[   0    0    0   77 19/2]
[   0    0   10 19/2  143].
Exceptions are { 385 }.
Lattice 4654 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 33/2]
[   0    0   11 33/2  143].
Exceptions are { 451 }.
Lattice 4676 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 55/2]
[   0    0   11 55/2  143].
Exceptions are { 231 }.
Lattice 4687 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0   0]
[  0   0   4   0  11]
[  0   0   0  77  33]
[  0   0  11  33 143].
Exceptions are { 231 }.
Lattice 4698 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[   0    0   11 77/2  143].
Exceptions are { 231, 451 }.
Lattice 4720 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 99/2]
[   0    0   11 99/2  143].
Exceptions are { 231 }.
Lattice 4764 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0    11]
[    0     0     0    77 143/2]
[    0     0    11 143/2   143].
Exceptions are { 231 }.
Lattice 6986 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77 55/2]
[   0    0 33/2 55/2  143].
Exceptions are { 231 }.
Lattice 6997 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77   33]
[   0    0 33/2   33  143].
Exceptions are { 231 }.
Lattice 7008 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77 77/2]
[   0    0 33/2 77/2  143].
Exceptions are { 231 }.
Lattice 7030 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77 99/2]
[   0    0 33/2 99/2  143].
Exceptions are { 231 }.
Checking lattice 100000.
Lattice 110969 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   44]
[   0 11/2    0   44  143].
Exceptions are { 451 }.
Lattice 113279 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   44]
[   0 11/2 11/2   44  143].
Exceptions are { 451 }.
Lattice 115589 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   44]
[   0 11/2   11   44  143].
Exceptions are { 451 }.
Checking lattice 200000.
Lattice 221761 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0   0]
[  0   0   0  77   0]
[  0  11   0   0 143].
Exceptions are { 385 }.
Lattice 221776 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 15/2]
[   0   11    0 15/2  143].
Exceptions are { 187 }.
Lattice 221780 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 19/2]
[   0   11    0 19/2  143].
Exceptions are { 187 }.
Lattice 221783 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0   0]
[  0   0   0  77  11]
[  0  11   0  11 143].
Exceptions are { 385 }.
Lattice 221784 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 23/2]
[   0   11    0 23/2  143].
Exceptions are { 187 }.
Lattice 221788 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 27/2]
[   0   11    0 27/2  143].
Exceptions are { 187 }.
Lattice 221792 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 31/2]
[   0   11    0 31/2  143].
Exceptions are { 187 }.
Lattice 221796 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 35/2]
[   0   11    0 35/2  143].
Exceptions are { 187 }.
Lattice 221800 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 39/2]
[   0   11    0 39/2  143].
Exceptions are { 187 }.
Lattice 221804 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 43/2]
[   0   11    0 43/2  143].
Exceptions are { 187 }.
Lattice 221808 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 47/2]
[   0   11    0 47/2  143].
Exceptions are { 187 }.
Lattice 221812 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 51/2]
[   0   11    0 51/2  143].
Exceptions are { 187 }.
Lattice 221816 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 55/2]
[   0   11    0 55/2  143].
Exceptions are { 187, 385 }.
Lattice 221820 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 59/2]
[   0   11    0 59/2  143].
Exceptions are { 187 }.
Lattice 221824 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 63/2]
[   0   11    0 63/2  143].
Exceptions are { 187 }.
Lattice 221827 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0   0]
[  0   0   0  77  33]
[  0  11   0  33 143].
Exceptions are { 187 }.
Lattice 221828 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 67/2]
[   0   11    0 67/2  143].
Exceptions are { 187 }.
Lattice 221832 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 71/2]
[   0   11    0 71/2  143].
Exceptions are { 187 }.
Lattice 221836 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 75/2]
[   0   11    0 75/2  143].
Exceptions are { 187 }.
Lattice 221838 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[   0   11    0 77/2  143].
Exceptions are { 187 }.
Lattice 221840 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 79/2]
[   0   11    0 79/2  143].
Exceptions are { 187 }.
Lattice 221844 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 83/2]
[   0   11    0 83/2  143].
Exceptions are { 187 }.
Lattice 221848 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 87/2]
[   0   11    0 87/2  143].
Exceptions are { 187 }.
Lattice 221852 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 91/2]
[   0   11    0 91/2  143].
Exceptions are { 187 }.
Lattice 221856 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 95/2]
[   0   11    0 95/2  143].
Exceptions are { 187 }.
Lattice 221860 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 99/2]
[   0   11    0 99/2  143].
Exceptions are { 187 }.
Lattice 221864 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 103/2]
[    0    11     0 103/2   143].
Exceptions are { 187 }.
Lattice 221868 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 107/2]
[    0    11     0 107/2   143].
Exceptions are { 187 }.
Lattice 221872 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 111/2]
[    0    11     0 111/2   143].
Exceptions are { 187 }.
Lattice 221876 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 115/2]
[    0    11     0 115/2   143].
Exceptions are { 187 }.
Lattice 221880 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 119/2]
[    0    11     0 119/2   143].
Exceptions are { 187 }.
Lattice 221884 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 123/2]
[    0    11     0 123/2   143].
Exceptions are { 187 }.
Lattice 221888 has gram matrix:
M = [    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 127/2]
[    0    11     0 127/2   143].
Exceptions are { 187 }.
Lattice 222602 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0   2]
[  0   0   0  77 1/2]
[  0  11   2 1/2 143].
Exceptions are { 385 }.
Lattice 224071 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77    0]
[   0   11 11/2    0  143].
Exceptions are { 385 }.
Lattice 224093 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77   11]
[   0   11 11/2   11  143].
Exceptions are { 385 }.
Lattice 224126 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77 55/2]
[   0   11 11/2 55/2  143].
Exceptions are { 187, 385 }.
Lattice 224137 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77   33]
[   0   11 11/2   33  143].
Exceptions are { 187 }.
Lattice 224148 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[   0   11 11/2 77/2  143].
Exceptions are { 187 }.
Lattice 224170 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77 99/2]
[   0   11 11/2 99/2  143].
Exceptions are { 187 }.
Lattice 226436 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77 55/2]
[   0   11   11 55/2  143].
Exceptions are { 187 }.
Lattice 226447 has gram matrix:
M = [  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0  11]
[  0   0   0  77  33]
[  0  11  11  33 143].
Exceptions are { 187 }.
Lattice 226458 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[   0   11   11 77/2  143].
Exceptions are { 187 }.
Lattice 226480 has gram matrix:
M = [   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77 99/2]
[   0   11   11 99/2  143].
Exceptions are { 187 }.
Checking lattice 300000.
Checking lattice 400000.
Checking lattice 500000.
Checking lattice 600000.
Checking lattice 700000.
Checking lattice 800000.
Checking lattice 900000.
Lattice 971888 has gram matrix:
M = [  1 1/2   0   0   1]
[1/2   3   0   0   6]
[  0   0   4   0  10]
[  0   0   0  77 7/2]
[  1   6  10 7/2 143].
Exceptions are { 385 }.
Checking lattice 1000000.
Checking lattice 1100000.
Checking lattice 1200000.
Checking lattice 1300000.
Checking lattice 1400000.
Checking lattice 1500000.
Checking lattice 1600000.
Checking lattice 1700000.
Lattice 1717816 has gram matrix:
M = [   1  1/2    0    0    2]
[ 1/2    3    0    0    1]
[   0    0    4    0   10]
[   0    0    0   77 15/2]
[   2    1   10 15/2  143].
Exceptions are { 385 }.
Checking lattice 1800000.
Checking lattice 1900000.
Checking lattice 2000000.
Checking lattice 2100000.
Checking lattice 2200000.
Checking lattice 2300000.
Checking lattice 2400000.
Checking lattice 2500000.
Checking lattice 2600000.
Lattice 2683816 has gram matrix:
M = [   1  1/2    0    0    3]
[ 1/2    3    0    0    7]
[   0    0    4    0    6]
[   0    0    0   77 15/2]
[   3    7    6 15/2  143].
Exceptions are { 385 }.
Lattice 2685482 has gram matrix:
M = [  1 1/2   0   0   3]
[1/2   3   0   0   7]
[  0   0   4   0  10]
[  0   0   0  77 1/2]
[  3   7  10 1/2 143].
Exceptions are { 385 }.
Checking lattice 2700000.
Checking lattice 2800000.
Checking lattice 2900000.
Checking lattice 3000000.
Checking lattice 3100000.
Checking lattice 3200000.
Checking lattice 3300000.
Checking lattice 3400000.
Lattice 3429740 has gram matrix:
M = [   1  1/2    0    0    4]
[ 1/2    3    0    0    2]
[   0    0    4    0    6]
[   0    0    0   77 19/2]
[   4    2    6 19/2  143].
Exceptions are { 385 }.
Lattice 3431404 has gram matrix:
M = [  1 1/2   0   0   4]
[1/2   3   0   0   2]
[  0   0   4   0  10]
[  0   0   0  77 3/2]
[  4   2  10 3/2 143].
Exceptions are { 385 }.
Checking lattice 3500000.
Checking lattice 3600000.
Checking lattice 3700000.
Checking lattice 3800000.
Checking lattice 3900000.
Checking lattice 4000000.
Checking lattice 4100000.
Checking lattice 4200000.
Checking lattice 4300000.
Lattice 4395728 has gram matrix:
M = [  1 1/2   0   0   5]
[1/2   3   0   0   8]
[  0   0   4   0   2]
[  0   0   0  77 7/2]
[  5   8   2 7/2 143].
Exceptions are { 385 }.
Lattice 4397402 has gram matrix:
M = [  1 1/2   0   0   5]
[1/2   3   0   0   8]
[  0   0   4   0   6]
[  0   0   0  77 1/2]
[  5   8   6 1/2 143].
Exceptions are { 385 }.
Checking lattice 4400000.
Checking lattice 4500000.
Checking lattice 4600000.
Lattice 4656963 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    1]
[11/2    0    0    1  143].
Exceptions are { 187 }.
Lattice 4656967 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    3]
[11/2    0    0    3  143].
Exceptions are { 187 }.
Lattice 4656971 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    5]
[11/2    0    0    5  143].
Exceptions are { 187 }.
Lattice 4656975 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    7]
[11/2    0    0    7  143].
Exceptions are { 187 }.
Lattice 4656979 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    9]
[11/2    0    0    9  143].
Exceptions are { 187 }.
Lattice 4656983 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   11]
[11/2    0    0   11  143].
Exceptions are { 187 }.
Lattice 4656987 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   13]
[11/2    0    0   13  143].
Exceptions are { 187 }.
Lattice 4656991 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   15]
[11/2    0    0   15  143].
Exceptions are { 187 }.
Lattice 4656995 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   17]
[11/2    0    0   17  143].
Exceptions are { 187 }.
Lattice 4656999 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   19]
[11/2    0    0   19  143].
Exceptions are { 187 }.
Lattice 4657003 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   21]
[11/2    0    0   21  143].
Exceptions are { 187 }.
Lattice 4657007 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   23]
[11/2    0    0   23  143].
Exceptions are { 187 }.
Lattice 4657011 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   25]
[11/2    0    0   25  143].
Exceptions are { 187 }.
Lattice 4657015 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   27]
[11/2    0    0   27  143].
Exceptions are { 187 }.
Lattice 4657019 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   29]
[11/2    0    0   29  143].
Exceptions are { 187 }.
Lattice 4657023 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   31]
[11/2    0    0   31  143].
Exceptions are { 187 }.
Lattice 4657027 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   33]
[11/2    0    0   33  143].
Exceptions are { 187 }.
Lattice 4657031 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   35]
[11/2    0    0   35  143].
Exceptions are { 187 }.
Lattice 4657035 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   37]
[11/2    0    0   37  143].
Exceptions are { 187 }.
Lattice 4657038 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[11/2    0    0 77/2  143].
Exceptions are { 187 }.
Lattice 4657039 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   39]
[11/2    0    0   39  143].
Exceptions are { 187 }.
Lattice 4657043 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   41]
[11/2    0    0   41  143].
Exceptions are { 187 }.
Lattice 4657047 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   43]
[11/2    0    0   43  143].
Exceptions are { 187 }.
Lattice 4657049 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   44]
[11/2    0    0   44  143].
Exceptions are { 187 }.
Lattice 4657051 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   45]
[11/2    0    0   45  143].
Exceptions are { 187 }.
Lattice 4657055 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   47]
[11/2    0    0   47  143].
Exceptions are { 187 }.
Lattice 4657059 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   49]
[11/2    0    0   49  143].
Exceptions are { 187 }.
Lattice 4657063 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   51]
[11/2    0    0   51  143].
Exceptions are { 187 }.
Lattice 4657067 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   53]
[11/2    0    0   53  143].
Exceptions are { 187 }.
Lattice 4657071 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   55]
[11/2    0    0   55  143].
Exceptions are { 187 }.
Lattice 4657075 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   57]
[11/2    0    0   57  143].
Exceptions are { 187 }.
Lattice 4659293 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   11]
[11/2    0 11/2   11  143].
Exceptions are { 187 }.
Lattice 4659337 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   33]
[11/2    0 11/2   33  143].
Exceptions are { 187 }.
Lattice 4659348 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[11/2    0 11/2 77/2  143].
Exceptions are { 187 }.
Lattice 4659359 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   44]
[11/2    0 11/2   44  143].
Exceptions are { 187 }.
Lattice 4659381 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   55]
[11/2    0 11/2   55  143].
Exceptions are { 187 }.
Lattice 4661603 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77   11]
[11/2    0   11   11  143].
Exceptions are { 187 }.
Lattice 4661647 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77   33]
[11/2    0   11   33  143].
Exceptions are { 187 }.
Lattice 4661658 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[11/2    0   11 77/2  143].
Exceptions are { 187 }.
Lattice 4661669 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77   44]
[11/2    0   11   44  143].
Exceptions are { 187 }.
Lattice 4661691 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77   55]
[11/2    0   11   55  143].
Exceptions are { 187 }.
Lattice 4663913 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77   11]
[11/2    0 33/2   11  143].
Exceptions are { 187 }.
Lattice 4663968 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77 77/2]
[11/2    0 33/2 77/2  143].
Exceptions are { 187 }.
Checking lattice 4700000.
Lattice 4767843 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    1]
[11/2 11/2    0    1  143].
Exceptions are { 187 }.
Lattice 4767847 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    3]
[11/2 11/2    0    3  143].
Exceptions are { 187 }.
Lattice 4767851 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    5]
[11/2 11/2    0    5  143].
Exceptions are { 187 }.
Lattice 4767855 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    7]
[11/2 11/2    0    7  143].
Exceptions are { 187 }.
Lattice 4767859 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    9]
[11/2 11/2    0    9  143].
Exceptions are { 187 }.
Lattice 4767863 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   11]
[11/2 11/2    0   11  143].
Exceptions are { 187 }.
Lattice 4767867 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   13]
[11/2 11/2    0   13  143].
Exceptions are { 187 }.
Lattice 4767871 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   15]
[11/2 11/2    0   15  143].
Exceptions are { 187 }.
Lattice 4767875 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   17]
[11/2 11/2    0   17  143].
Exceptions are { 187 }.
Lattice 4767879 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   19]
[11/2 11/2    0   19  143].
Exceptions are { 187 }.
Lattice 4767883 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   21]
[11/2 11/2    0   21  143].
Exceptions are { 187 }.
Lattice 4767887 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   23]
[11/2 11/2    0   23  143].
Exceptions are { 187 }.
Lattice 4767891 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   25]
[11/2 11/2    0   25  143].
Exceptions are { 187 }.
Lattice 4767895 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   27]
[11/2 11/2    0   27  143].
Exceptions are { 187 }.
Lattice 4767899 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   29]
[11/2 11/2    0   29  143].
Exceptions are { 187 }.
Lattice 4767903 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   31]
[11/2 11/2    0   31  143].
Exceptions are { 187 }.
Lattice 4767907 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   33]
[11/2 11/2    0   33  143].
Exceptions are { 187 }.
Lattice 4767911 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   35]
[11/2 11/2    0   35  143].
Exceptions are { 187 }.
Lattice 4767915 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   37]
[11/2 11/2    0   37  143].
Exceptions are { 187 }.
Lattice 4767918 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[11/2 11/2    0 77/2  143].
Exceptions are { 187 }.
Lattice 4767919 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   39]
[11/2 11/2    0   39  143].
Exceptions are { 187 }.
Lattice 4767923 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   41]
[11/2 11/2    0   41  143].
Exceptions are { 187 }.
Lattice 4767927 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   43]
[11/2 11/2    0   43  143].
Exceptions are { 187 }.
Lattice 4767929 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   44]
[11/2 11/2    0   44  143].
Exceptions are { 187 }.
Lattice 4767931 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   45]
[11/2 11/2    0   45  143].
Exceptions are { 187 }.
Lattice 4767935 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   47]
[11/2 11/2    0   47  143].
Exceptions are { 187 }.
Lattice 4767939 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   49]
[11/2 11/2    0   49  143].
Exceptions are { 187 }.
Lattice 4767943 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   51]
[11/2 11/2    0   51  143].
Exceptions are { 187 }.
Lattice 4767947 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   53]
[11/2 11/2    0   53  143].
Exceptions are { 187 }.
Lattice 4767951 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   55]
[11/2 11/2    0   55  143].
Exceptions are { 187 }.
Lattice 4767955 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   57]
[11/2 11/2    0   57  143].
Exceptions are { 187 }.
Lattice 4770173 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   11]
[11/2 11/2 11/2   11  143].
Exceptions are { 187 }.
Lattice 4770217 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   33]
[11/2 11/2 11/2   33  143].
Exceptions are { 187 }.
Lattice 4770228 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[11/2 11/2 11/2 77/2  143].
Exceptions are { 187 }.
Lattice 4770239 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   44]
[11/2 11/2 11/2   44  143].
Exceptions are { 187 }.
Lattice 4770261 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   55]
[11/2 11/2 11/2   55  143].
Exceptions are { 187 }.
Lattice 4772483 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   11]
[11/2 11/2   11   11  143].
Exceptions are { 187 }.
Lattice 4772527 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   33]
[11/2 11/2   11   33  143].
Exceptions are { 187 }.
Lattice 4772538 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[11/2 11/2   11 77/2  143].
Exceptions are { 187 }.
Lattice 4772549 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   44]
[11/2 11/2   11   44  143].
Exceptions are { 187 }.
Lattice 4772571 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   55]
[11/2 11/2   11   55  143].
Exceptions are { 187 }.
Lattice 4774793 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 33/2]
[   0    0    0   77   11]
[11/2 11/2 33/2   11  143].
Exceptions are { 187 }.
Lattice 4774848 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 33/2]
[   0    0    0   77 77/2]
[11/2 11/2 33/2 77/2  143].
Exceptions are { 187 }.
Checking lattice 4800000.
Lattice 4878721 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    0]
[11/2   11    0    0  143].
Exceptions are { 231 }.
Lattice 4878725 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    2]
[11/2   11    0    2  143].
Exceptions are { 231 }.
Lattice 4878729 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    4]
[11/2   11    0    4  143].
Exceptions are { 231 }.
Lattice 4878733 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    6]
[11/2   11    0    6  143].
Exceptions are { 231 }.
Lattice 4878737 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    8]
[11/2   11    0    8  143].
Exceptions are { 231 }.
Lattice 4878741 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   10]
[11/2   11    0   10  143].
Exceptions are { 231 }.
Lattice 4878745 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   12]
[11/2   11    0   12  143].
Exceptions are { 231 }.
Lattice 4878749 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   14]
[11/2   11    0   14  143].
Exceptions are { 231 }.
Lattice 4878753 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   16]
[11/2   11    0   16  143].
Exceptions are { 231 }.
Lattice 4878757 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   18]
[11/2   11    0   18  143].
Exceptions are { 231 }.
Lattice 4878761 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   20]
[11/2   11    0   20  143].
Exceptions are { 231 }.
Lattice 4878765 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   22]
[11/2   11    0   22  143].
Exceptions are { 231 }.
Lattice 4878769 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   24]
[11/2   11    0   24  143].
Exceptions are { 231 }.
Lattice 4878773 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   26]
[11/2   11    0   26  143].
Exceptions are { 231 }.
Lattice 4878777 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   28]
[11/2   11    0   28  143].
Exceptions are { 231 }.
Lattice 4878781 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   30]
[11/2   11    0   30  143].
Exceptions are { 231 }.
Lattice 4878785 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   32]
[11/2   11    0   32  143].
Exceptions are { 231 }.
Lattice 4878789 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   34]
[11/2   11    0   34  143].
Exceptions are { 231 }.
Lattice 4878793 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   36]
[11/2   11    0   36  143].
Exceptions are { 231 }.
Lattice 4878797 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   38]
[11/2   11    0   38  143].
Exceptions are { 231 }.
Lattice 4878798 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[11/2   11    0 77/2  143].
Exceptions are { 231 }.
Lattice 4878801 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   40]
[11/2   11    0   40  143].
Exceptions are { 231 }.
Lattice 4881031 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77    0]
[11/2   11 11/2    0  143].
Exceptions are { 231 }.
Lattice 4881075 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77   22]
[11/2   11 11/2   22  143].
Exceptions are { 231 }.
Lattice 4881108 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[11/2   11 11/2 77/2  143].
Exceptions are { 231 }.
Lattice 4883341 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77    0]
[11/2   11   11    0  143].
Exceptions are { 231 }.
Lattice 4883385 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77   22]
[11/2   11   11   22  143].
Exceptions are { 231 }.
Lattice 4883418 has gram matrix:
M = [   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[11/2   11   11 77/2  143].
Exceptions are { 231 }.
Checking lattice 4900000.
Checking lattice 5000000.
Checking lattice 5100000.
Lattice 5141648 has gram matrix:
M = [  1 1/2   0   0   6]
[1/2   3   0   0   3]
[  0   0   4   0   2]
[  0   0   0  77 7/2]
[  6   3   2 7/2 143].
Exceptions are { 385 }.
Lattice 5143322 has gram matrix:
M = [  1 1/2   0   0   6]
[1/2   3   0   0   3]
[  0   0   4   0   6]
[  0   0   0  77 1/2]
[  6   3   6 1/2 143].
Exceptions are { 385 }.
Checking lattice 5200000.
Checking lattice 5300000.
Checking lattice 5400000.
Checking lattice 5500000.
Checking lattice 5600000.
Checking lattice 5700000.
Checking lattice 5800000.
Checking lattice 5900000.
Checking lattice 6000000.
Checking lattice 6100000.
Checking lattice 6200000.
Checking lattice 6300000.
Checking lattice 6400000.
Checking lattice 6500000.
Checking lattice 6600000.
Checking lattice 6700000.
Checking lattice 6800000.
Checking lattice 6900000.
Checking lattice 7000000.
Checking lattice 7100000.
Checking lattice 7200000.
Checking lattice 7300000.
Checking lattice 7400000.
Checking lattice 7500000.
Checking lattice 7600000.
Checking lattice 7700000.
Checking lattice 7800000.
Checking lattice 7900000.
Checking lattice 8000000.
Checking lattice 8100000.
Checking lattice 8200000.
Checking lattice 8300000.
Checking lattice 8400000.
Checking lattice 8500000.
Checking lattice 8600000.
Checking lattice 8700000.
Checking lattice 8800000.
Checking lattice 8900000.
Checking lattice 9000000.
Checking lattice 9100000.
Checking lattice 9200000.
Checking lattice 9300000.
Checking lattice 9400000.
Checking lattice 9500000.
Checking lattice 9600000.
Checking lattice 9700000.
Checking lattice 9800000.
Checking lattice 9900000.
Checking lattice 10000000.
Checking lattice 10100000.
There were 10160640 total options for escalators.
Of these 3729834 were positive definite.
Exceptions were found for 232 of these.
They are [
<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 15/2]
[   0    0    0 15/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 19/2]
[   0    0    0 19/2  143],

{ 231 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0   0]
[  0   0   4   0   0]
[  0   0   0  77  11]
[  0   0   0  11 143],

{ 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 23/2]
[   0    0    0 23/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 27/2]
[   0    0    0 27/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 31/2]
[   0    0    0 31/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 33/2]
[   0    0    0 33/2  143],

{ 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 35/2]
[   0    0    0 35/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 39/2]
[   0    0    0 39/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 43/2]
[   0    0    0 43/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 47/2]
[   0    0    0 47/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 51/2]
[   0    0    0 51/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 55/2]
[   0    0    0 55/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 59/2]
[   0    0    0 59/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 63/2]
[   0    0    0 63/2  143],

{ 231 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0   0]
[  0   0   4   0   0]
[  0   0   0  77  33]
[  0   0   0  33 143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 67/2]
[   0    0    0 67/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 71/2]
[   0    0    0 71/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 75/2]
[   0    0    0 75/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[   0    0    0 77/2  143],

{ 231, 385, 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 79/2]
[   0    0    0 79/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 83/2]
[   0    0    0 83/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 87/2]
[   0    0    0 87/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 91/2]
[   0    0    0 91/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 95/2]
[   0    0    0 95/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 99/2]
[   0    0    0 99/2  143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 103/2]
[    0     0     0 103/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 107/2]
[    0     0     0 107/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 111/2]
[    0     0     0 111/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 115/2]
[    0     0     0 115/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 119/2]
[    0     0     0 119/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 123/2]
[    0     0     0 123/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 127/2]
[    0     0     0 127/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 131/2]
[    0     0     0 131/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 135/2]
[    0     0     0 135/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 139/2]
[    0     0     0 139/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 143/2]
[    0     0     0 143/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 147/2]
[    0     0     0 147/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 151/2]
[    0     0     0 151/2   143],

{ 231 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0   0]
[  0   0   4   0   0]
[  0   0   0  77  77]
[  0   0   0  77 143],

{ 451 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 155/2]
[    0     0     0 155/2   143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0     0]
[    0     0     0    77 159/2]
[    0     0     0 159/2   143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   11]
[   0    0 11/2   11  143],

{ 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 33/2]
[   0    0 11/2 33/2  143],

{ 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 55/2]
[   0    0 11/2 55/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   33]
[   0    0 11/2   33  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[   0    0 11/2 77/2  143],

{ 231, 385, 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 99/2]
[   0    0 11/2 99/2  143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0  11/2]
[    0     0     0    77 143/2]
[    0     0  11/2 143/2   143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   77]
[   0    0 11/2   77  143],

{ 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   10]
[   0    0    0   77 19/2]
[   0    0   10 19/2  143],

{ 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 33/2]
[   0    0   11 33/2  143],

{ 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 55/2]
[   0    0   11 55/2  143],

{ 231 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0   0]
[  0   0   4   0  11]
[  0   0   0  77  33]
[  0   0  11  33 143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[   0    0   11 77/2  143],

{ 231, 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 99/2]
[   0    0   11 99/2  143],

{ 231 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0     0]
[    0     0     4     0    11]
[    0     0     0    77 143/2]
[    0     0    11 143/2   143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77 55/2]
[   0    0 33/2 55/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77   33]
[   0    0 33/2   33  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77 77/2]
[   0    0 33/2 77/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77 99/2]
[   0    0 33/2 99/2  143],

{ 231 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   44]
[   0 11/2    0   44  143],

{ 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   44]
[   0 11/2 11/2   44  143],

{ 451 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   44]
[   0 11/2   11   44  143],

{ 451 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0   0]
[  0   0   0  77   0]
[  0  11   0   0 143],

{ 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 15/2]
[   0   11    0 15/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 19/2]
[   0   11    0 19/2  143],

{ 187 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0   0]
[  0   0   0  77  11]
[  0  11   0  11 143],

{ 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 23/2]
[   0   11    0 23/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 27/2]
[   0   11    0 27/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 31/2]
[   0   11    0 31/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 35/2]
[   0   11    0 35/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 39/2]
[   0   11    0 39/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 43/2]
[   0   11    0 43/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 47/2]
[   0   11    0 47/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 51/2]
[   0   11    0 51/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 55/2]
[   0   11    0 55/2  143],

{ 187, 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 59/2]
[   0   11    0 59/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 63/2]
[   0   11    0 63/2  143],

{ 187 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0   0]
[  0   0   0  77  33]
[  0  11   0  33 143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 67/2]
[   0   11    0 67/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 71/2]
[   0   11    0 71/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 75/2]
[   0   11    0 75/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[   0   11    0 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 79/2]
[   0   11    0 79/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 83/2]
[   0   11    0 83/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 87/2]
[   0   11    0 87/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 91/2]
[   0   11    0 91/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 95/2]
[   0   11    0 95/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 99/2]
[   0   11    0 99/2  143],

{ 187 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 103/2]
[    0    11     0 103/2   143],

{ 187 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 107/2]
[    0    11     0 107/2   143],

{ 187 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 111/2]
[    0    11     0 111/2   143],

{ 187 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 115/2]
[    0    11     0 115/2   143],

{ 187 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 119/2]
[    0    11     0 119/2   143],

{ 187 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 123/2]
[    0    11     0 123/2   143],

{ 187 }
>,

<
[    1   1/2     0     0     0]
[  1/2     3     0     0    11]
[    0     0     4     0     0]
[    0     0     0    77 127/2]
[    0    11     0 127/2   143],

{ 187 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0   2]
[  0   0   0  77 1/2]
[  0  11   2 1/2 143],

{ 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77    0]
[   0   11 11/2    0  143],

{ 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77   11]
[   0   11 11/2   11  143],

{ 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77 55/2]
[   0   11 11/2 55/2  143],

{ 187, 385 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77   33]
[   0   11 11/2   33  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[   0   11 11/2 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77 99/2]
[   0   11 11/2 99/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77 55/2]
[   0   11   11 55/2  143],

{ 187 }
>,

<
[  1 1/2   0   0   0]
[1/2   3   0   0  11]
[  0   0   4   0  11]
[  0   0   0  77  33]
[  0  11  11  33 143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[   0   11   11 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0    0]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77 99/2]
[   0   11   11 99/2  143],

{ 187 }
>,

<
[  1 1/2   0   0   1]
[1/2   3   0   0   6]
[  0   0   4   0  10]
[  0   0   0  77 7/2]
[  1   6  10 7/2 143],

{ 385 }
>,

<
[   1  1/2    0    0    2]
[ 1/2    3    0    0    1]
[   0    0    4    0   10]
[   0    0    0   77 15/2]
[   2    1   10 15/2  143],

{ 385 }
>,

<
[   1  1/2    0    0    3]
[ 1/2    3    0    0    7]
[   0    0    4    0    6]
[   0    0    0   77 15/2]
[   3    7    6 15/2  143],

{ 385 }
>,

<
[  1 1/2   0   0   3]
[1/2   3   0   0   7]
[  0   0   4   0  10]
[  0   0   0  77 1/2]
[  3   7  10 1/2 143],

{ 385 }
>,

<
[   1  1/2    0    0    4]
[ 1/2    3    0    0    2]
[   0    0    4    0    6]
[   0    0    0   77 19/2]
[   4    2    6 19/2  143],

{ 385 }
>,

<
[  1 1/2   0   0   4]
[1/2   3   0   0   2]
[  0   0   4   0  10]
[  0   0   0  77 3/2]
[  4   2  10 3/2 143],

{ 385 }
>,

<
[  1 1/2   0   0   5]
[1/2   3   0   0   8]
[  0   0   4   0   2]
[  0   0   0  77 7/2]
[  5   8   2 7/2 143],

{ 385 }
>,

<
[  1 1/2   0   0   5]
[1/2   3   0   0   8]
[  0   0   4   0   6]
[  0   0   0  77 1/2]
[  5   8   6 1/2 143],

{ 385 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    1]
[11/2    0    0    1  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    3]
[11/2    0    0    3  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    5]
[11/2    0    0    5  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    7]
[11/2    0    0    7  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77    9]
[11/2    0    0    9  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   11]
[11/2    0    0   11  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   13]
[11/2    0    0   13  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   15]
[11/2    0    0   15  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   17]
[11/2    0    0   17  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   19]
[11/2    0    0   19  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   21]
[11/2    0    0   21  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   23]
[11/2    0    0   23  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   25]
[11/2    0    0   25  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   27]
[11/2    0    0   27  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   29]
[11/2    0    0   29  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   31]
[11/2    0    0   31  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   33]
[11/2    0    0   33  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   35]
[11/2    0    0   35  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   37]
[11/2    0    0   37  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[11/2    0    0 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   39]
[11/2    0    0   39  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   41]
[11/2    0    0   41  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   43]
[11/2    0    0   43  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   44]
[11/2    0    0   44  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   45]
[11/2    0    0   45  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   47]
[11/2    0    0   47  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   49]
[11/2    0    0   49  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   51]
[11/2    0    0   51  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   53]
[11/2    0    0   53  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   55]
[11/2    0    0   55  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0    0]
[   0    0    0   77   57]
[11/2    0    0   57  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   11]
[11/2    0 11/2   11  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   33]
[11/2    0 11/2   33  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[11/2    0 11/2 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   44]
[11/2    0 11/2   44  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 11/2]
[   0    0    0   77   55]
[11/2    0 11/2   55  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77   11]
[11/2    0   11   11  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77   33]
[11/2    0   11   33  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[11/2    0   11 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77   44]
[11/2    0   11   44  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0   11]
[   0    0    0   77   55]
[11/2    0   11   55  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77   11]
[11/2    0 33/2   11  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0    0]
[   0    0    4    0 33/2]
[   0    0    0   77 77/2]
[11/2    0 33/2 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    1]
[11/2 11/2    0    1  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    3]
[11/2 11/2    0    3  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    5]
[11/2 11/2    0    5  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    7]
[11/2 11/2    0    7  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77    9]
[11/2 11/2    0    9  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   11]
[11/2 11/2    0   11  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   13]
[11/2 11/2    0   13  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   15]
[11/2 11/2    0   15  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   17]
[11/2 11/2    0   17  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   19]
[11/2 11/2    0   19  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   21]
[11/2 11/2    0   21  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   23]
[11/2 11/2    0   23  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   25]
[11/2 11/2    0   25  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   27]
[11/2 11/2    0   27  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   29]
[11/2 11/2    0   29  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   31]
[11/2 11/2    0   31  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   33]
[11/2 11/2    0   33  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   35]
[11/2 11/2    0   35  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   37]
[11/2 11/2    0   37  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[11/2 11/2    0 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   39]
[11/2 11/2    0   39  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   41]
[11/2 11/2    0   41  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   43]
[11/2 11/2    0   43  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   44]
[11/2 11/2    0   44  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   45]
[11/2 11/2    0   45  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   47]
[11/2 11/2    0   47  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   49]
[11/2 11/2    0   49  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   51]
[11/2 11/2    0   51  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   53]
[11/2 11/2    0   53  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   55]
[11/2 11/2    0   55  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0    0]
[   0    0    0   77   57]
[11/2 11/2    0   57  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   11]
[11/2 11/2 11/2   11  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   33]
[11/2 11/2 11/2   33  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[11/2 11/2 11/2 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   44]
[11/2 11/2 11/2   44  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 11/2]
[   0    0    0   77   55]
[11/2 11/2 11/2   55  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   11]
[11/2 11/2   11   11  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   33]
[11/2 11/2   11   33  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[11/2 11/2   11 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   44]
[11/2 11/2   11   44  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0   11]
[   0    0    0   77   55]
[11/2 11/2   11   55  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 33/2]
[   0    0    0   77   11]
[11/2 11/2 33/2   11  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0 11/2]
[   0    0    4    0 33/2]
[   0    0    0   77 77/2]
[11/2 11/2 33/2 77/2  143],

{ 187 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    0]
[11/2   11    0    0  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    2]
[11/2   11    0    2  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    4]
[11/2   11    0    4  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    6]
[11/2   11    0    6  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77    8]
[11/2   11    0    8  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   10]
[11/2   11    0   10  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   12]
[11/2   11    0   12  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   14]
[11/2   11    0   14  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   16]
[11/2   11    0   16  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   18]
[11/2   11    0   18  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   20]
[11/2   11    0   20  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   22]
[11/2   11    0   22  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   24]
[11/2   11    0   24  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   26]
[11/2   11    0   26  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   28]
[11/2   11    0   28  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   30]
[11/2   11    0   30  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   32]
[11/2   11    0   32  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   34]
[11/2   11    0   34  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   36]
[11/2   11    0   36  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   38]
[11/2   11    0   38  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77 77/2]
[11/2   11    0 77/2  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0    0]
[   0    0    0   77   40]
[11/2   11    0   40  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77    0]
[11/2   11 11/2    0  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77   22]
[11/2   11 11/2   22  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0 11/2]
[   0    0    0   77 77/2]
[11/2   11 11/2 77/2  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77    0]
[11/2   11   11    0  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77   22]
[11/2   11   11   22  143],

{ 231 }
>,

<
[   1  1/2    0    0 11/2]
[ 1/2    3    0    0   11]
[   0    0    4    0   11]
[   0    0    0   77 77/2]
[11/2   11   11 77/2  143],

{ 231 }
>,

<
[  1 1/2   0   0   6]
[1/2   3   0   0   3]
[  0   0   4   0   2]
[  0   0   0  77 7/2]
[  6   3   2 7/2 143],

{ 385 }
>,

<
[  1 1/2   0   0   6]
[1/2   3   0   0   3]
[  0   0   4   0   6]
[  0   0   0  77 1/2]
[  6   3   6 1/2 143],

{ 385 }
>
].