CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418384
308
15
     4     4     4     4     4     4     4     4     4     4     4     4     4     4     6
     1     1     1     1     1     1     1     1     1     1     1     1     1     1    -1
    -1    -1    -1    -1    -1    -1    -1    -1    -1    -1    -1    -1    -1    -1     1
    -4    -4    -4    -4    -4    -4    -4    -4    -4    -4    -4    -4    -4    -4     4
     4     4     4    -4    -4    -4     4     4     4     4    -4    -4    -4    -4     4
     1     1     1    -1    -1    -1     1     1     1     1    -1    -1    -1    -1     1
    -1    -1    -1     1     1     1    -1    -1    -1    -1     1     1     1     1    -1
    -4    -4    -4     4     4     4    -4    -4    -4    -4     4     4     4     4     6
    28    -4    12    36    20     4    24     4     8    -4    16     0    -4     4    12
     7    -1     3     9     5     1     6     1     2    -1     4     0    -1     1    13
    -7     1    -3    -9    -5    -1    -6    -1    -2     1    -4     0     1    -1     7
   -28     4   -12   -36   -20    -4   -24    -4    -8     4   -16     0     4    -4    18
    28    -4    12   -36   -20    -4    24     4     8    -4   -16     0     4    -4    18
     7    -1     3    -9    -5    -1     6     1     2    -1    -4     0     1    -1     7
    -7     1    -3     9     5     1    -6    -1    -2     1     4     0    -1     1    13
   -28     4   -12    36    20     4   -24    -4    -8     4    16     0    -4     4    12
    88    24    24   144    48    16    56    -4     8     4    24     8     4    -4    14
    22     6     6    36    12     4    14    -1     2     1     6     2     1    -1    91
   -22    -6    -6   -36   -12    -4   -14     1    -2    -1    -6    -2    -1     1    19
   -88   -24   -24  -144   -48   -16   -56     4    -8    -4   -24    -8    -4     4    86
    88    24    24  -144   -48   -16    56    -4     8     4   -24    -8    -4     4    22
    22     6     6   -36   -12    -4    14    -1     2     1    -6    -2    -1     1    83
   -22    -6    -6    36    12     4   -14     1    -2    -1     6     2     1    -1    27
   -88   -24   -24   144    48    16   -56     4    -8    -4    24     8     4    -4    78
    76   -20    -4   140    28   -20    60     0    -4     0    20   -12     0     0     6
    19    -5    -1    35     7    -5    15     0    -1     0     5    -3     0     0   104
   -19     5     1   -35    -7     5   -15     0     1     0    -5     3     0     0     6
   -76    20     4  -140   -28    20   -60     0     4     0   -20    12     0     0   104
    76   -20    -4  -140   -28    20    60     0    -4     0   -20    12     0     0    40
    19    -5    -1   -35    -7     5    15     0    -1     0    -5     3     0     0    70
   -19     5     1    35     7    -5   -15     0     1     0     5    -3     0     0    40
   -76    20     4   140    28   -20   -60     0     4     0    20   -12     0     0    70
    80    80    16   192    32     0   -32     8     0     0    -8    -8    -8     0    68
    20    20     4    48     8     0    -8     2     0     0    -2    -2    -2     0   202
   -20   -20    -4   -48    -8     0     8    -2     0     0     2     2     2     0    58
   -80   -80   -16  -192   -32     0    32    -8     0     0     8     8     8     0   212
    80    80    16  -192   -32     0   -32     8     0     0     8     8     8     0    84
    20    20     4   -48    -8     0    -8     2     0     0     2     2     2     0   186
   -20   -20    -4    48     8     0     8    -2     0     0    -2    -2    -2     0    74
   -80   -80   -16   192    32     0    32    -8     0     0    -8    -8    -8     0   196
   168   -24    40   336    80    16    56    -4     8    -4    16     0    -4    -4   106
    42    -6    10    84    20     4    14    -1     2    -1     4     0    -1    -1   199
   -42     6   -10   -84   -20    -4   -14     1    -2     1    -4     0     1     1   111
  -168    24   -40  -336   -80   -16   -56     4    -8     4   -16     0     4     4   194
   168   -24    40  -336   -80   -16    56    -4     8    -4   -16     0     4     4   130
    42    -6    10   -84   -20    -4    14    -1     2    -1    -4     0     1     1   175
   -42     6   -10    84    20     4   -14     1    -2     1     4     0    -1    -1   135
  -168    24   -40   336    80    16   -56     4    -8     4    16     0    -4    -4   170
    84    20   -44   300   -20   -20    80     0   -16     0     0     0     0     0    64
    21     5   -11    75    -5    -5    20     0    -4     0     0     0     0     0   266
   -21    -5    11   -75     5     5   -20     0     4     0     0     0     0     0    64
   -84   -20    44  -300    20    20   -80     0    16     0     0     0     0     0   266
    84    20   -44  -300    20    20    80     0   -16     0     0     0     0     0    74
    21     5   -11   -75     5     5    20     0    -4     0     0     0     0     0   256
   -21    -5    11    75    -5    -5   -20     0     4     0     0     0     0     0    74
   -84   -20    44   300   -20   -20   -80     0    16     0     0     0     0     0   256
   220    60    44   500   100    20     0     0     0     0     0     0     0     0   164
    55    15    11   125    25     5     0     0     0     0     0     0     0     0   386
   -55   -15   -11  -125   -25    -5     0     0     0     0     0     0     0     0   164
  -220   -60   -44  -500  -100   -20     0     0     0     0     0     0     0     0   386
   220    60    44  -500  -100   -20     0     0     0     0     0     0     0     0   194
    55    15    11  -125   -25    -5     0     0     0     0     0     0     0     0   356
   -55   -15   -11   125    25     5     0     0     0     0     0     0     0     0   194
  -220   -60   -44   500   100    20     0     0     0     0     0     0     0     0   356
   196   -60    36   468    84    20   -52     8    -4     0   -12     4     8     0   262
    49   -15     9   117    21     5   -13     2    -1     0    -3     1     2     0   338
   -49    15    -9  -117   -21    -5    13    -2     1     0     3    -1    -2     0   252
  -196    60   -36  -468   -84   -20    52    -8     4     0    12    -4    -8     0   348
   196   -60    36  -468   -84   -20   -52     8    -4     0    12    -4    -8     0   284
    49   -15     9  -117   -21    -5   -13     2    -1     0     3    -1    -2     0   316
   -49    15    -9   117    21     5    13    -2     1     0    -3     1     2     0   274
  -196    60   -36   468    84    20    52    -8     4     0   -12     4     8     0   326
   256     0     0   640    64     0   140     0    -4     0    20     4     0     0   176
    64     0     0   160    16     0    35     0    -1     0     5     1     0     0   464
   -64     0     0  -160   -16     0   -35     0     1     0    -5    -1     0     0   176
  -256     0     0  -640   -64     0  -140     0     4     0   -20    -4     0     0   464
   256     0     0  -640   -64     0   140     0    -4     0   -20    -4     0     0   208
    64     0     0  -160   -16     0    35     0    -1     0    -5    -1     0     0   432
   -64     0     0   160    16     0   -35     0     1     0     5     1     0     0   208
  -256     0     0   640    64     0  -140     0     4     0    20     4     0     0   432
   -24    40   -24   360   -88    40    60     0    -4     0   -20    12     0     0   340
    -6    10    -6    90   -22    10    15     0    -1     0    -5     3     0     0   320
     6   -10     6   -90    22   -10   -15     0     1     0     5    -3     0     0   340
    24   -40    24  -360    88   -40   -60     0     4     0    20   -12     0     0   320
   -24    40   -24  -360    88   -40    60     0    -4     0    20   -12     0     0   256
    -6    10    -6   -90    22   -10    15     0    -1     0     5    -3     0     0   404
     6   -10     6    90   -22    10   -15     0     1     0    -5     3     0     0   256
    24   -40    24   360   -88    40   -60     0     4     0   -20    12     0     0   404
  -168   -40    56   168   -56    40    28     8    12     0   -12     4     8     0   664
   -42   -10    14    42   -14    10     7     2     3     0    -3     1     2     0   266
    42    10   -14   -42    14   -10    -7    -2    -3     0     3    -1    -2     0   654
   168    40   -56  -168    56   -40   -28    -8   -12     0    12    -4    -8     0   276
  -168   -40    56  -168    56   -40    28     8    12     0    12    -4    -8     0   596
   -42   -10    14   -42    14   -10     7     2     3     0     3    -1    -2     0   334
    42    10   -14    42   -14    10    -7    -2    -3     0    -3     1     2     0   586
   168    40   -56   168   -56    40   -28    -8   -12     0   -12     4     8     0   344
    56   120    -8   168     8    40    28     8    -4     0   -12   -12     8     0   392
    14    30    -2    42     2    10     7     2    -1     0    -3    -3     2     0   538
   -14   -30     2   -42    -2   -10    -7    -2     1     0     3     3    -2     0   382
   -56  -120     8  -168    -8   -40   -28    -8     4     0    12    12    -8     0   548
    56   120    -8  -168    -8   -40    28     8    -4     0    12    12    -8     0   356
    14    30    -2   -42    -2   -10     7     2    -1     0     3     3    -2     0   574
   -14   -30     2    42     2    10    -7    -2     1     0    -3    -3     2     0   346
   -56  -120     8   168     8    40   -28    -8     4     0   -12   -12     8     0   584
   224    96    32   896    32    64    84     4     4    -4    -4    12    -4     4   516
    56    24     8   224     8    16    21     1     1    -1    -1     3    -1     1   719
   -56   -24    -8  -224    -8   -16   -21    -1    -1     1     1    -3     1    -1   511
  -224   -96   -32  -896   -32   -64   -84    -4    -4     4     4   -12     4    -4   724
   224    96    32  -896   -32   -64    84     4     4    -4     4   -12     4    -4   468
    56    24     8  -224    -8   -16    21     1     1    -1     1    -3     1    -1   767
   -56   -24    -8   224     8    16   -21    -1    -1     1    -1     3    -1     1   463
  -224   -96   -32   896    32    64   -84    -4    -4     4    -4    12    -4     4   772
   444   -36    12  1404   108   -36    84     4     4     4     4   -12     4     4   658
   111    -9     3   351    27    -9    21     1     1     1     1    -3     1     1  1127
  -111     9    -3  -351   -27     9   -21    -1    -1    -1    -1     3    -1    -1   653
  -444    36   -12 -1404  -108    36   -84    -4    -4    -4    -4    12    -4    -4  1132
   444   -36    12 -1404  -108    36    84     4     4     4    -4    12    -4    -4   748
   111    -9     3  -351   -27     9    21     1     1     1    -1     3    -1    -1  1037
  -111     9    -3   351    27    -9   -21    -1    -1    -1     1    -3     1     1   743
  -444    36   -12  1404   108   -36   -84    -4    -4    -4     4   -12     4     4  1042
   196   -60   -60  1260   -84   -20   140     0    -4     0   -20    -4     0     0   828
    49   -15   -15   315   -21    -5    35     0    -1     0    -5    -1     0     0  1062
   -49    15    15  -315    21     5   -35     0     1     0     5     1     0     0   828
  -196    60    60 -1260    84    20  -140     0     4     0    20     4     0     0  1062
   196   -60   -60 -1260    84    20   140     0    -4     0    20     4     0     0   806
    49   -15   -15  -315    21     5    35     0    -1     0     5     1     0     0  1084
   -49    15    15   315   -21    -5   -35     0     1     0    -5    -1     0     0   806
  -196    60    60  1260   -84   -20  -140     0     4     0   -20    -4     0     0  1084
  -560    80    80     0     0     0     0     0     0     0     0     0     0     0  2420
  -140    20    20     0     0     0     0     0     0     0     0     0     0     0  1780
   140   -20   -20     0     0     0     0     0     0     0     0     0     0     0  2420
   560   -80   -80     0     0     0     0     0     0     0     0     0     0     0  1780
   364   -20    12  1260    76   -20  -140     0     4     0   -20    -4     0     0   966
    91    -5     3   315    19    -5   -35     0     1     0    -5    -1     0     0  1344
   -91     5    -3  -315   -19     5    35     0    -1     0     5     1     0     0   966
  -364    20   -12 -1260   -76    20   140     0    -4     0    20     4     0     0  1344
   364   -20    12 -1260   -76    20  -140     0     4     0    20     4     0     0  1024
    91    -5     3  -315   -19     5   -35     0     1     0     5     1     0     0  1286
   -91     5    -3   315    19    -5    35     0    -1     0    -5    -1     0     0  1024
  -364    20   -12  1260    76   -20   140     0    -4     0   -20    -4     0     0  1286
   224  -160    32   960    32     0   -60     0     4     0   -20    12     0     0  1312
    56   -40     8   240     8     0   -15     0     1     0    -5     3     0     0  1328
   -56    40    -8  -240    -8     0    15     0    -1     0     5    -3     0     0  1312
  -224   160   -32  -960   -32     0    60     0    -4     0    20   -12     0     0  1328
   224  -160    32  -960   -32     0   -60     0     4     0    20   -12     0     0  1328
    56   -40     8  -240    -8     0   -15     0     1     0     5    -3     0     0  1312
   -56    40    -8   240     8     0    15     0    -1     0    -5     3     0     0  1328
  -224   160   -32   960    32     0    60     0    -4     0   -20    12     0     0  1312
    64   320    64     0     0     0    80     0   -16     0     0     0     0     0  2512
    16    80    16     0     0     0    20     0    -4     0     0     0     0     0  2768
   -16   -80   -16     0     0     0   -20     0     4     0     0     0     0     0  2512
   -64  -320   -64     0     0     0   -80     0    16     0     0     0     0     0  2768
   512     0     0  1792   128     0   -88    -8    -8     0    -8     8    -8     0  1112
   128     0     0   448    32     0   -22    -2    -2     0    -2     2    -2     0  1698
  -128     0     0  -448   -32     0    22     2     2     0     2    -2     2     0  1122
  -512     0     0 -1792  -128     0    88     8     8     0     8    -8     8     0  1688
   512     0     0 -1792  -128     0   -88    -8    -8     0     8    -8     8     0  1176
   128     0     0  -448   -32     0   -22    -2    -2     0     2    -2     2     0  1634
  -128     0     0   448    32     0    22     2     2     0    -2     2    -2     0  1186
  -512     0     0  1792   128     0    88     8     8     0    -8     8    -8     0  1624
   116   180   -12   900   -60   -60   -80     0    16     0     0     0     0     0  1310
    29    45    -3   225   -15   -15   -20     0     4     0     0     0     0     0  1660
   -29   -45     3  -225    15    15    20     0    -4     0     0     0     0     0  1310
  -116  -180    12  -900    60    60    80     0   -16     0     0     0     0     0  1660
   116   180   -12  -900    60    60   -80     0    16     0     0     0     0     0  1340
    29    45    -3  -225    15    15   -20     0     4     0     0     0     0     0  1630
   -29   -45     3   225   -15   -15    20     0    -4     0     0     0     0     0  1340
  -116  -180    12   900   -60   -60    80     0   -16     0     0     0     0     0  1630
   200  -120     8  1200    80   -80     0     0     0     0     0     0     0     0  1558
    50   -30     2   300    20   -20     0     0     0     0     0     0     0     0  1742
   -50    30    -2  -300   -20    20     0     0     0     0     0     0     0     0  1558
  -200   120    -8 -1200   -80    80     0     0     0     0     0     0     0     0  1742
   200  -120     8 -1200   -80    80     0     0     0     0     0     0     0     0  1678
    50   -30     2  -300   -20    20     0     0     0     0     0     0     0     0  1622
   -50    30    -2   300    20   -20     0     0     0     0     0     0     0     0  1678
  -200   120    -8  1200    80   -80     0     0     0     0     0     0     0     0  1622
  -256     0     0  1152  -192     0    52    -8     4     0   -28   -12    -8     0  1896
   -64     0     0   288   -48     0    13    -2     1     0    -7    -3    -2     0  1554
    64     0     0  -288    48     0   -13     2    -1     0     7     3     2     0  1906
   256     0     0 -1152   192     0   -52     8    -4     0    28    12     8     0  1544
  -256     0     0 -1152   192     0    52    -8     4     0    28    12     8     0  1800
   -64     0     0  -288    48     0    13    -2     1     0     7     3     2     0  1650
    64     0     0   288   -48     0   -13     2    -1     0    -7    -3    -2     0  1810
   256     0     0  1152  -192     0   -52     8    -4     0   -28   -12    -8     0  1640
   420   -60    52  2100   100    20     0     0     0     0     0     0     0     0  1782
   105   -15    13   525    25     5     0     0     0     0     0     0     0     0  2068
  -105    15   -13  -525   -25    -5     0     0     0     0     0     0     0     0  1782
  -420    60   -52 -2100  -100   -20     0     0     0     0     0     0     0     0  2068
   420   -60    52 -2100  -100   -20     0     0     0     0     0     0     0     0  1812
   105   -15    13  -525   -25    -5     0     0     0     0     0     0     0     0  2038
  -105    15   -13   525    25     5     0     0     0     0     0     0     0     0  1812
  -420    60   -52  2100   100    20     0     0     0     0     0     0     0     0  2038
  -140   180    84   700    60    60     0     0     0     0     0     0     0     0  2004
   -35    45    21   175    15    15     0     0     0     0     0     0     0     0  1846
    35   -45   -21  -175   -15   -15     0     0     0     0     0     0     0     0  2004
   140  -180   -84  -700   -60   -60     0     0     0     0     0     0     0     0  1846
  -140   180    84  -700   -60   -60     0     0     0     0     0     0     0     0  1974
   -35    45    21  -175   -15   -15     0     0     0     0     0     0     0     0  1876
    35   -45   -21   175    15    15     0     0     0     0     0     0     0     0  1974
   140  -180   -84   700    60    60     0     0     0     0     0     0     0     0  1876
    28   -36    60  1764   -60    36    56    -4     8     4   -16     0     4    -4  2172
     7    -9    15   441   -15     9    14    -1     2     1    -4     0     1    -1  1983
    -7     9   -15  -441    15    -9   -14     1    -2    -1     4     0    -1     1  2177
   -28    36   -60 -1764    60   -36   -56     4    -8    -4    16     0    -4     4  1978
    28   -36    60 -1764    60   -36    56    -4     8     4    16     0    -4     4  2106
     7    -9    15  -441    15    -9    14    -1     2     1     4     0    -1     1  2049
    -7     9   -15   441   -15     9   -14     1    -2    -1    -4     0     1    -1  2111
   -28    36   -60  1764   -60    36   -56     4    -8    -4   -16     0     4    -4  2044
   256     0     0  1152    64     0    28     8    -4     0   -28     4    -8     0  1976
    64     0     0   288    16     0     7     2    -1     0    -7     1    -2     0  2254
   -64     0     0  -288   -16     0    -7    -2     1     0     7    -1     2     0  1966
  -256     0     0 -1152   -64     0   -28    -8     4     0    28    -4     8     0  2264
   256     0     0 -1152   -64     0    28     8    -4     0    28    -4     8     0  2008
    64     0     0  -288   -16     0     7     2    -1     0     7    -1     2     0  2222
   -64     0     0   288    16     0    -7    -2     1     0    -7     1    -2     0  1998
  -256     0     0  1152    64     0   -28    -8     4     0   -28     4    -8     0  2232
   224    96   -96  2304   -96   -64     4     4     4    -4     4     4     4    -4  2116
    56    24   -24   576   -24   -16     1     1     1    -1     1     1     1    -1  2639
   -56   -24    24  -576    24    16    -1    -1    -1     1    -1    -1    -1     1  2111
  -224   -96    96 -2304    96    64    -4    -4    -4     4    -4    -4    -4     4  2644
   224    96   -96 -2304    96    64     4     4     4    -4    -4    -4    -4     4  2132
    56    24   -24  -576    24    16     1     1     1    -1    -1    -1    -1     1  2623
   -56   -24    24   576   -24   -16    -1    -1    -1     1     1     1     1    -1  2127
  -224   -96    96  2304   -96   -64    -4    -4    -4     4     4     4     4    -4  2628
   468   180    36  2268   108    60  -108    -8   -12     0   -12   -12     8     0  2380
   117    45     9   567    27    15   -27    -2    -3     0    -3    -3     2     0  2960
  -117   -45    -9  -567   -27   -15    27     2     3     0     3     3    -2     0  2390
  -468  -180   -36 -2268  -108   -60   108     8    12     0    12    12    -8     0  2950
   468   180    36 -2268  -108   -60  -108    -8   -12     0    12    12    -8     0  2374
   117    45     9  -567   -27   -15   -27    -2    -3     0     3     3    -2     0  2966
  -117   -45    -9   567    27    15    27     2     3     0    -3    -3     2     0  2384
  -468  -180   -36  2268   108    60   108     8    12     0   -12   -12     8     0  2956
   136  -120   -24   360   -24    40   140     0    -4     0   -20    -4     0     0  2964
    34   -30    -6    90    -6    10    35     0    -1     0    -5    -1     0     0  2976
   -34    30     6   -90     6   -10   -35     0     1     0     5     1     0     0  2964
  -136   120    24  -360    24   -40  -140     0     4     0    20     4     0     0  2976
   136  -120   -24  -360    24   -40   140     0    -4     0    20     4     0     0  2912
    34   -30    -6   -90     6   -10    35     0    -1     0     5     1     0     0  3028
   -34    30     6    90    -6    10   -35     0     1     0    -5    -1     0     0  2912
  -136   120    24   360   -24    40  -140     0     4     0   -20    -4     0     0  3028
   224  -160   -96  2240   -96     0  -140     0     4     0    20     4     0     0  2976
    56   -40   -24   560   -24     0   -35     0     1     0     5     1     0     0  3184
   -56    40    24  -560    24     0    35     0    -1     0    -5    -1     0     0  2976
  -224   160    96 -2240    96     0   140     0    -4     0   -20    -4     0     0  3184
   224  -160   -96 -2240    96     0  -140     0     4     0   -20    -4     0     0  2928
    56   -40   -24  -560    24     0   -35     0     1     0    -5    -1     0     0  3232
   -56    40    24   560   -24     0    35     0    -1     0     5     1     0     0  2928
  -224   160    96  2240   -96     0   140     0    -4     0    20     4     0     0  3232
  -256     0     0   640  -192     0   -60     0     4     0    20   -12     0     0  3696
   -64     0     0   160   -48     0   -15     0     1     0     5    -3     0     0  3344
    64     0     0  -160    48     0    15     0    -1     0    -5     3     0     0  3696
   256     0     0  -640   192     0    60     0    -4     0   -20    12     0     0  3344
  -256     0     0  -640   192     0   -60     0     4     0   -20    12     0     0  3600
   -64     0     0  -160    48     0   -15     0     1     0    -5     3     0     0  3440
    64     0     0   160   -48     0    15     0    -1     0     5    -3     0     0  3600
   256     0     0   640  -192     0    60     0    -4     0    20   -12     0     0  3440
  -528  -144    48   864     0   -96   -24    -4    -8    -4   -16     0     4     4  3896
  -132   -36    12   216     0   -24    -6    -1    -2    -1    -4     0     1     1  3229
   132    36   -12  -216     0    24     6     1     2     1     4     0    -1    -1  3901
   528   144   -48  -864     0    96    24     4     8     4    16     0    -4    -4  3224
  -528  -144    48  -864     0    96   -24    -4    -8    -4    16     0    -4    -4  3992
  -132   -36    12  -216     0    24    -6    -1    -2    -1     4     0    -1    -1  3133
   132    36   -12   216     0   -24     6     1     2     1    -4     0     1     1  3997
   528   144   -48   864     0   -96    24     4     8     4   -16     0     4     4  3128
  -448    64   -64  1344  -192    64   -56     4    -8     4    24     8     4     4  3908
  -112    16   -16   336   -48    16   -14     1    -2     1     6     2     1     1  3487
   112   -16    16  -336    48   -16    14    -1     2    -1    -6    -2    -1    -1  3903
   448   -64    64 -1344   192   -64    56    -4     8    -4   -24    -8    -4    -4  3492
  -448    64   -64 -1344   192   -64   -56     4    -8     4   -24    -8    -4    -4  3748
  -112    16   -16  -336    48   -16   -14     1    -2     1    -6    -2    -1    -1  3647
   112   -16    16   336   -48    16    14    -1     2    -1     6     2     1     1  3743
   448   -64    64  1344  -192    64    56    -4     8    -4    24     8     4     4  3652
  -560    80   -48     0     0     0     0     0     0     0     0     0     0     0  7892
  -140    20   -12     0     0     0     0     0     0     0     0     0     0     0  7508
   140   -20    12     0     0     0     0     0     0     0     0     0     0     0  7892
   560   -80    48     0     0     0     0     0     0     0     0     0     0     0  7508
    56   120   -72  1008    48   -80   112    -8    16     0     8     8     8     0  3938
    14    30   -18   252    12   -20    28    -2     4     0     2     2     2     0  4372
   -14   -30    18  -252   -12    20   -28     2    -4     0    -2    -2    -2     0  3948
   -56  -120    72 -1008   -48    80  -112     8   -16     0    -8    -8    -8     0  4362
    56   120   -72 -1008   -48    80   112    -8    16     0    -8    -8    -8     0  4042
    14    30   -18  -252   -12    20    28    -2     4     0    -2    -2    -2     0  4268
   -14   -30    18   252    12   -20   -28     2    -4     0     2     2     2     0  4052
   -56  -120    72  1008    48   -80  -112     8   -16     0     8     8     8     0  4258
   -84  -180    60   540   108    60    60     0    -4     0    20   -12     0     0  4650
   -21   -45    15   135    27    15    15     0    -1     0     5    -3     0     0  4260
    21    45   -15  -135   -27   -15   -15     0     1     0    -5     3     0     0  4650
    84   180   -60  -540  -108   -60   -60     0     4     0   -20    12     0     0  4260
   -84  -180    60  -540  -108   -60    60     0    -4     0   -20    12     0     0  4644
   -21   -45    15  -135   -27   -15    15     0    -1     0    -5     3     0     0  4266
    21    45   -15   135    27    15   -15     0     1     0     5    -3     0     0  4644
    84   180   -60   540   108    60   -60     0     4     0    20   -12     0     0  4266
     0     0     0  3072     0     0   -32     8     0     0    32     0    -8     0  5640
     0     0     0   768     0     0    -8     2     0     0     8     0    -2     0  5630
     0     0     0  -768     0     0     8    -2     0     0    -8     0     2     0  5630
     0     0     0 -3072     0     0    32    -8     0     0   -32     0     8     0  5640
     0     0     0 -3072     0     0   -32     8     0     0   -32     0     8     0  5640
     0     0     0  -768     0     0    -8     2     0     0    -8     0     2     0  5630
     0     0     0   768     0     0     8    -2     0     0     8     0    -2     0  5630
     0     0     0  3072     0     0    32    -8     0     0    32     0    -8     0  5640
   140   -20    28  2100   -60    20     0     0     0     0     0     0     0     0  5768
    35    -5     7   525   -15     5     0     0     0     0     0     0     0     0  5782
   -35     5    -7  -525    15    -5     0     0     0     0     0     0     0     0  5768
  -140    20   -28 -2100    60   -20     0     0     0     0     0     0     0     0  5782
   140   -20    28 -2100    60   -20     0     0     0     0     0     0     0     0  5718
    35    -5     7  -525    15    -5     0     0     0     0     0     0     0     0  5832
   -35     5    -7   525   -15     5     0     0     0     0     0     0     0     0  5718
  -140    20   -28  2100   -60    20     0     0     0     0     0     0     0     0  5832
inhom_inequalities