third_party/cddlib/examples-ine/kkd27_5.ine

* 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