Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
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
Project: cocalc-sagemath-dev-slelievre
Views: 418384308 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