File: kkd27_5.ine

package info (click to toggle)
cddlib 094l-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 2,264 kB
  • sloc: ansic: 9,303; makefile: 95; sh: 1
file content (35 lines) | stat: -rw-r--r-- 1,367 bytes parent folder | download | duplicates (10)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
* kkd27_5.ine
* This must be computed with rational arithmetic.
H-representation
begin
27 6 integer
1172039901841798080   -1758060515119739835   -12306436783413558955   
-72080893223436992535   -406122552605284841587   -2275777153240670950215
6   -15   -85   -435   -2269   -12195
6   -9   -67   -393   -2179   -12009
6   -3   -37   -279   -1789   -10743
6   3   5   -57   -739   -6057
6   9   59   309   1475   6549
6   15   125   855   5501   34455
6   21   203   1617   12131   88641
6   27   293   2631   22301   184407
6   33   395   3933   37091   342093
6   39   509   5559   57725   587799
6   45   635   7545   85571   954105
6   51   773   9927   122141   1480791
6   57   923   12741   169091   2215557
6   63   1085   16023   228221   3214743
6   69   1259   19809   301475   4544049
6   75   1445   24135   390941   6279255
6   81   1643   29037   498851   8506941
6   87   1853   34551   627581   11325207
6   93   2075   40713   779651   14844393
6   99   2309   47559   957725   19187799
6   105   2555   55125   1164611   24492405
6   111   2813   63447   1403261   30909591
6   117   3083   72561   1676771   38605857
6   123   3365   82503   1988381   47763543
6   129   3659   93309   2341475   58581549
-1172039901841798079   1758060515119739835   12306436783413558955   
72080893223436992535   406122552605284841587   2275777153240670950215
end