diff options
| author |  fbesson <fbesson@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-05-11 20:09:34 +0000 |
|---|---|---|
| committer | fbesson <fbesson@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-05-11 20:09:34 +0000 |
| commit | 28a38529e47d2593a7af41a7223208e2dd049179 (patch) | |
| tree | 5f20a493312388aea52f927fd3a1eb8255d85f0f /test-suite | |
| parent | e66ba651bdd283dd490453f9d48b226730444726 (diff) | |
micromega: proof compression bugfix
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12123 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/csdp.cache | 3208 | ||||
| -rw-r--r-- | test-suite/micromega/zomicron.v | 8 |
2 files changed, 3216 insertions, 0 deletions
diff --git a/test-suite/csdp.cache b/test-suite/csdp.cache index 1620d1e68..0a971d56c 100644 --- a/test-suite/csdp.cache +++ b/test-suite/csdp.cache @@ -21082,3 +21082,3211 @@ Infeasible *** ANSWER *** Infeasible *** END *** +*** REQUEST *** +"" +2 +1 +8 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.10000000000000000000e1 +0 1 3 3 0.0 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.0 +1 1 6 6 0.10000000000000000000e1 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.20000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.20000000000000000000e1 +2 1 6 6 0.0 +2 1 8 8 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +2 +1 +8 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 -0.10000000000000000000e1 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.0 +0 1 6 6 0.10000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 -0.20000000000000000000e1 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.20000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 8 8 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +3 +1 +9 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.0 +0 1 6 6 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 -0.20000000000000000000e1 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.20000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 8 8 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 -0.10000000000000000000e1 +3 1 4 4 0.10000000000000000000e1 +3 1 5 5 0.0 +3 1 6 6 0.10000000000000000000e1 +3 1 9 9 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +3 +1 +9 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 -0.20000000000000000000e1 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.0 +0 1 6 6 0.20000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 -0.20000000000000000000e1 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.20000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 8 8 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 -0.10000000000000000000e1 +3 1 4 4 0.10000000000000000000e1 +3 1 5 5 0.0 +3 1 6 6 0.10000000000000000000e1 +3 1 9 9 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +3 +1 +9 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 0.0 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.20000000000000000000e1 +0 1 6 6 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 -0.20000000000000000000e1 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.20000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 8 8 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 -0.10000000000000000000e1 +3 1 4 4 0.10000000000000000000e1 +3 1 5 5 0.0 +3 1 6 6 0.10000000000000000000e1 +3 1 9 9 0.10000000000000000000e1 +*** ANSWER *** +9.999999996938967461e-01 2.661610637082602047e-10 -1.680347933914193404e-10 +1 1 1 1 1.228179293174150642e-09 +1 1 2 2 1.366247676788843831e-09 +1 1 3 3 1.188237241417879524e-09 +1 1 4 4 8.122255289240790824e-10 +1 1 5 5 6.741574701592928346e-10 +1 1 6 6 8.521676546350416706e-10 +1 1 7 7 1.000000000714099224e+00 +1 1 8 8 1.286363511734719148e-09 +1 1 9 9 8.521676546350416706e-10 +2 1 1 1 8.480860550852036273e-01 +2 1 2 2 6.684638034131357154e-01 +2 1 3 3 7.958523489788583705e-01 +2 1 4 4 7.829051212149018557e-01 +2 1 5 5 1.201054270033149463e+00 +2 1 6 6 9.305166414245800155e-01 +2 1 7 7 6.302749498533512814e-10 +2 1 8 8 5.325904672502889126e-01 +2 1 9 9 9.305166414245800155e-01 +*** END *** +*** REQUEST *** +"" +3 +1 +9 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 -0.20000000000000000000e1 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.20000000000000000000e1 +0 1 6 6 0.20000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 -0.20000000000000000000e1 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.20000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 8 8 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 -0.10000000000000000000e1 +3 1 4 4 0.10000000000000000000e1 +3 1 5 5 0.0 +3 1 6 6 0.10000000000000000000e1 +3 1 9 9 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +5 +5 +4 1 1 1 1 +0.15728640000000000000e7 -0.10485760000000000000e7 -0.52428800000000000000e6 -0.15728640000000000000e7 0.10485760000000000000e7 +0 1 2 2 -0.52428800000000000000e6 +0 1 4 4 0.52428800000000000000e6 +0 2 1 1 -0.52428800000000000000e6 +0 4 1 1 -0.52428800000000000000e6 +1 1 1 1 0.52428800000000000000e6 +1 1 2 2 0.52428800000000000000e6 +1 1 4 4 -0.52428800000000000000e6 +1 2 1 1 0.52428800000000000000e6 +1 4 1 1 0.52428800000000000000e6 +2 1 1 2 0.52428800000000000000e6 +2 1 1 4 -0.52428800000000000000e6 +2 4 1 1 -0.10485760000000000000e7 +3 1 1 3 0.52428800000000000000e6 +3 1 1 4 -0.26214400000000000000e6 +3 1 4 4 -0.52428800000000000000e6 +4 1 2 2 -0.52428800000000000000e6 +4 1 2 4 0.52428800000000000000e6 +4 1 4 4 -0.52428800000000000000e6 +4 5 1 1 -0.52428800000000000000e6 +5 3 1 1 0.52428800000000000000e6 +5 4 1 1 0.52428800000000000000e6 +*** ANSWER *** +Failure +*** END *** +*** REQUEST *** +"" +20 +7 +4 1 4 1 4 1 1 +-0.52428800000000000000e6 0.10485760000000000000e7 -0.52428800000000000000e6 0.0 -0.10485760000000000000e7 0.52428800000000000000e6 0.0 0.0 0.10485760000000000000e7 0.10485760000000000000e7 0.10485760000000000000e7 0.52428800000000000000e6 0.0 0.0 0.0 0.0 0.0 0.0 0.10485760000000000000e7 0.52428800000000000000e6 +0 1 1 2 -0.26214400000000000000e6 +0 1 1 4 0.26214400000000000000e6 +0 2 1 1 -0.52428800000000000000e6 +0 3 1 2 0.26214400000000000000e6 +0 5 1 4 -0.26214400000000000000e6 +1 1 2 3 0.52428800000000000000e6 +1 1 3 4 -0.52428800000000000000e6 +1 5 1 4 -0.26214400000000000000e6 +1 5 4 4 -0.52428800000000000000e6 +2 1 1 1 0.52428800000000000000e6 +2 1 1 2 0.26214400000000000000e6 +2 1 1 4 -0.26214400000000000000e6 +2 2 1 1 0.52428800000000000000e6 +2 3 1 2 -0.26214400000000000000e6 +2 5 1 4 0.26214400000000000000e6 +3 1 1 3 0.52428800000000000000e6 +3 1 1 4 -0.26214400000000000000e6 +3 1 4 4 -0.52428800000000000000e6 +4 1 2 2 0.52428800000000000000e6 +4 1 4 4 -0.52428800000000000000e6 +4 3 1 2 0.26214400000000000000e6 +4 5 1 4 -0.26214400000000000000e6 +5 1 2 4 0.52428800000000000000e6 +5 1 4 4 -0.10485760000000000000e7 +5 5 1 4 -0.52428800000000000000e6 +6 1 1 2 0.26214400000000000000e6 +6 1 1 4 -0.26214400000000000000e6 +6 3 1 1 0.52428800000000000000e6 +7 1 2 3 0.52428800000000000000e6 +7 1 3 4 -0.52428800000000000000e6 +7 3 1 3 0.52428800000000000000e6 +8 3 1 4 0.52428800000000000000e6 +8 5 1 4 0.52428800000000000000e6 +9 1 1 2 -0.26214400000000000000e6 +9 1 1 4 0.26214400000000000000e6 +9 1 2 3 0.52428800000000000000e6 +9 1 3 4 -0.52428800000000000000e6 +9 3 1 2 0.26214400000000000000e6 +9 3 2 2 0.52428800000000000000e6 +9 4 1 1 0.52428800000000000000e6 +10 3 3 3 0.52428800000000000000e6 +10 5 3 3 0.52428800000000000000e6 +11 3 4 4 0.52428800000000000000e6 +11 5 4 4 0.52428800000000000000e6 +12 1 1 2 -0.26214400000000000000e6 +12 1 1 4 0.26214400000000000000e6 +12 5 1 1 0.52428800000000000000e6 +13 3 1 2 0.52428800000000000000e6 +13 5 1 2 0.52428800000000000000e6 +14 1 2 3 -0.52428800000000000000e6 +14 1 3 4 0.52428800000000000000e6 +14 5 1 3 0.52428800000000000000e6 +15 1 1 2 0.26214400000000000000e6 +15 1 1 4 -0.26214400000000000000e6 +15 1 2 3 -0.52428800000000000000e6 +15 1 3 4 0.52428800000000000000e6 +15 3 1 2 -0.26214400000000000000e6 +15 4 1 1 -0.52428800000000000000e6 +15 5 2 2 0.52428800000000000000e6 +16 3 2 3 0.52428800000000000000e6 +16 5 2 3 0.52428800000000000000e6 +17 3 2 4 0.52428800000000000000e6 +17 5 2 4 0.52428800000000000000e6 +18 3 3 4 0.52428800000000000000e6 +18 5 3 4 0.52428800000000000000e6 +19 4 1 1 0.52428800000000000000e6 +19 6 1 1 0.52428800000000000000e6 +20 3 1 2 -0.26214400000000000000e6 +20 5 1 4 -0.26214400000000000000e6 +20 7 1 1 0.52428800000000000000e6 +*** ANSWER *** +1.408782135629833379e-09 -1.602915007691423680e-09 -2.114475652645426357e-10 1.060506410792219022e-09 2.087517963511041579e-10 7.735026962533785022e-02 -6.083346056031729135e-10 -1.056624336133169251e-01 1.443375650931139342e-01 -1.043524718501323747e-09 1.443375655752403564e-01 1.077350266300642900e+00 3.943375640054703757e-01 2.270314905788526486e-09 1.443375636846789267e-01 8.310024292703551422e-10 1.443375652667335807e-01 8.309943070227691571e-10 -1.341153069964939011e-09 -1.043513950273019921e-09 +1 1 1 1 1.330530909011591600e-04 +1 1 1 2 8.214146408166717733e-05 +1 1 1 3 -1.108594210974165294e-04 +1 1 1 4 -2.671176437533311163e-05 +1 1 2 2 1.529452979555114694e-03 +1 1 2 3 -3.220826912303867418e-05 +1 1 2 4 1.094460618053276968e-04 +1 1 3 3 9.734421944536802984e-04 +1 1 3 4 3.220826912303867418e-05 +1 1 4 4 3.093987068390115919e-04 +1 2 1 1 5.242880001330530504e+05 +1 3 1 1 4.055381913477132912e+04 +1 3 1 2 -5.539754590173628094e+04 +1 3 1 3 -3.189425337024763205e-04 +1 3 1 4 -5.539754599425870401e+04 +1 3 2 2 7.567445430098070938e+04 +1 3 2 3 4.356846016372959568e-04 +1 3 2 4 7.567445341856521554e+04 +1 3 3 3 4.263347068400591411e-04 +1 3 3 4 4.356803432403535958e-04 +1 3 4 4 7.567445455375382153e+04 +1 4 1 1 1.008717294824084537e-03 +1 5 1 1 5.648418173916736851e+05 +1 5 1 2 2.067464527573000523e+05 +1 5 1 3 1.190298861326054974e-03 +1 5 1 4 2.067464531023424352e+05 +1 5 2 2 7.567445356255515071e+04 +1 5 2 3 4.356846016372959568e-04 +1 5 2 4 7.567445341856521554e+04 +1 5 3 3 4.263347068400591411e-04 +1 5 3 4 4.356803432403535958e-04 +1 5 4 4 7.567445381514624751e+04 +1 6 1 1 2.702917337079049562e-04 +1 7 1 1 4.263403524929400973e-04 +2 1 1 1 3.732050805139194516e+00 +2 1 1 2 -2.205738821003602190e-01 +2 1 1 3 5.137913895681569532e-01 +2 1 1 4 3.567764144417457928e-01 +2 1 2 2 5.161058552875832373e-01 +2 1 2 3 1.025309974541342359e-02 +2 1 2 4 9.345607328673936898e-02 +2 1 3 3 8.811272737592539261e-01 +2 1 3 4 1.025319705650454272e-02 +2 1 4 4 1.670806364694566115e+00 +2 2 1 1 8.098913424095950693e-10 +2 3 1 1 1.577350296542103125e+00 +2 3 1 2 5.773502179991568672e-01 +2 3 1 3 9.731109131778280951e-08 +2 3 1 4 5.773502914078277870e-01 +2 3 2 2 4.226500930909230513e-01 +2 3 2 3 -1.505172222580337775e-03 +2 3 2 4 -2.930749631858512249e-07 +2 3 3 3 1.009116009161232563e+00 +2 3 3 4 1.505025171725787349e-03 +2 3 4 4 4.226499032143540280e-01 +2 4 1 1 4.226495869899917768e-01 +2 5 1 1 4.226497034578927114e-01 +2 5 1 2 -5.773502179991555350e-01 +2 5 1 3 -9.731109217953321892e-08 +2 5 1 4 -5.773502914078278980e-01 +2 5 2 2 1.577349906909068178e+00 +2 5 2 3 1.505172222581506979e-03 +2 5 2 4 2.930749610850833078e-07 +2 5 3 3 9.908839908387667705e-01 +2 5 3 4 -1.505025171724929745e-03 +2 5 4 4 1.577350096785647304e+00 +2 6 1 1 1.577350413010008445e+00 +2 7 1 1 9.999999265913281921e-01 +*** END *** +*** REQUEST *** +"" +5 +5 +4 1 1 1 1 +0.52428800000000000000e6 -0.10485760000000000000e7 -0.52428800000000000000e6 -0.15728640000000000000e7 0.10485760000000000000e7 +0 1 2 2 0.52428800000000000000e6 +0 1 4 4 -0.52428800000000000000e6 +0 2 1 1 -0.52428800000000000000e6 +0 4 1 1 0.52428800000000000000e6 +1 1 1 1 0.52428800000000000000e6 +1 1 2 2 -0.52428800000000000000e6 +1 1 4 4 0.52428800000000000000e6 +1 2 1 1 0.52428800000000000000e6 +1 4 1 1 -0.52428800000000000000e6 +2 1 1 2 0.52428800000000000000e6 +2 1 1 4 -0.52428800000000000000e6 +2 4 1 1 -0.10485760000000000000e7 +3 1 1 3 0.52428800000000000000e6 +3 1 1 4 -0.26214400000000000000e6 +3 1 4 4 -0.52428800000000000000e6 +4 1 2 2 -0.52428800000000000000e6 +4 1 2 4 0.52428800000000000000e6 +4 1 4 4 -0.52428800000000000000e6 +4 5 1 1 -0.52428800000000000000e6 +5 3 1 1 0.52428800000000000000e6 +5 4 1 1 0.52428800000000000000e6 +*** ANSWER *** +Failure +*** END *** +*** REQUEST *** +"" +20 +7 +4 1 4 1 4 1 1 +-0.52428800000000000000e6 0.10485760000000000000e7 -0.52428800000000000000e6 0.0 -0.10485760000000000000e7 0.52428800000000000000e6 0.0 0.0 0.0 0.10485760000000000000e7 0.10485760000000000000e7 0.52428800000000000000e6 0.0 0.0 0.10485760000000000000e7 0.0 0.0 0.0 0.10485760000000000000e7 0.52428800000000000000e6 +0 1 1 2 0.26214400000000000000e6 +0 1 1 4 -0.26214400000000000000e6 +0 2 1 1 -0.52428800000000000000e6 +0 3 1 2 -0.26214400000000000000e6 +0 5 1 4 0.26214400000000000000e6 +1 1 2 3 0.52428800000000000000e6 +1 1 3 4 -0.52428800000000000000e6 +1 5 1 4 -0.26214400000000000000e6 +1 5 4 4 -0.52428800000000000000e6 +2 1 1 1 0.52428800000000000000e6 +2 1 1 2 -0.26214400000000000000e6 +2 1 1 4 0.26214400000000000000e6 +2 2 1 1 0.52428800000000000000e6 +2 3 1 2 0.26214400000000000000e6 +2 5 1 4 -0.26214400000000000000e6 +3 1 1 3 0.52428800000000000000e6 +3 1 1 4 -0.26214400000000000000e6 +3 1 4 4 -0.52428800000000000000e6 +4 1 2 2 0.52428800000000000000e6 +4 1 4 4 -0.52428800000000000000e6 +4 3 1 2 0.26214400000000000000e6 +4 5 1 4 -0.26214400000000000000e6 +5 1 2 4 0.52428800000000000000e6 +5 1 4 4 -0.10485760000000000000e7 +5 5 1 4 -0.52428800000000000000e6 +6 1 1 2 0.26214400000000000000e6 +6 1 1 4 -0.26214400000000000000e6 +6 3 1 1 0.52428800000000000000e6 +7 1 2 3 0.52428800000000000000e6 +7 1 3 4 -0.52428800000000000000e6 +7 3 1 3 0.52428800000000000000e6 +8 3 1 4 0.52428800000000000000e6 +8 5 1 4 0.52428800000000000000e6 +9 1 1 2 0.26214400000000000000e6 +9 1 1 4 -0.26214400000000000000e6 +9 1 2 3 0.52428800000000000000e6 +9 1 3 4 -0.52428800000000000000e6 +9 3 1 2 0.26214400000000000000e6 +9 3 2 2 0.52428800000000000000e6 +9 4 1 1 -0.52428800000000000000e6 +10 3 3 3 0.52428800000000000000e6 +10 5 3 3 0.52428800000000000000e6 +11 3 4 4 0.52428800000000000000e6 +11 5 4 4 0.52428800000000000000e6 +12 1 1 2 -0.26214400000000000000e6 +12 1 1 4 0.26214400000000000000e6 +12 5 1 1 0.52428800000000000000e6 +13 3 1 2 0.52428800000000000000e6 +13 5 1 2 0.52428800000000000000e6 +14 1 2 3 -0.52428800000000000000e6 +14 1 3 4 0.52428800000000000000e6 +14 5 1 3 0.52428800000000000000e6 +15 1 1 2 -0.26214400000000000000e6 +15 1 1 4 0.26214400000000000000e6 +15 1 2 3 -0.52428800000000000000e6 +15 1 3 4 0.52428800000000000000e6 +15 3 1 2 -0.26214400000000000000e6 +15 4 1 1 0.52428800000000000000e6 +15 5 2 2 0.52428800000000000000e6 +16 3 2 3 0.52428800000000000000e6 +16 5 2 3 0.52428800000000000000e6 +17 3 2 4 0.52428800000000000000e6 +17 5 2 4 0.52428800000000000000e6 +18 3 3 4 0.52428800000000000000e6 +18 5 3 4 0.52428800000000000000e6 +19 4 1 1 0.52428800000000000000e6 +19 6 1 1 0.52428800000000000000e6 +20 3 1 2 -0.26214400000000000000e6 +20 5 1 4 -0.26214400000000000000e6 +20 7 1 1 0.52428800000000000000e6 +*** ANSWER *** +-1.342746526345061715e-09 -2.443492977315052222e-10 2.208950819456293398e-11 -1.532357985106601546e-10 -3.139233416116088887e-11 1.077350268749094120e+00 7.009852277455727232e-10 3.943375659685520174e-01 1.443375671349989564e-01 -5.878340507562113329e-11 1.443375661877718541e-01 7.735026948774698097e-02 -1.056624327919023082e-01 -1.878285492550673151e-10 1.443375666874154029e-01 2.565781949174762027e-10 1.443375668147542368e-01 2.565786864113415496e-10 2.942145218318752536e-10 -5.878238521589696054e-11 +1 1 1 1 3.819403205883547918e-05 +1 1 1 2 -1.224733049205359824e-05 +1 1 1 3 1.158126407231101153e-05 +1 1 1 4 6.456704127512840957e-06 +1 1 2 2 8.596374633833324744e-05 +1 1 2 3 -3.328802848049413742e-06 +1 1 2 4 -1.645862409268672010e-05 +1 1 3 3 1.663034366678906723e-04 +1 1 3 4 3.328802848049413742e-06 +1 1 4 4 2.679791111105120707e-04 +1 2 1 1 5.242880000381940044e+05 +1 3 1 1 5.648418178682285361e+05 +1 3 1 2 2.067464544649153540e+05 +1 3 1 3 3.675181430842708319e-04 +1 3 1 4 2.067464537865202001e+05 +1 3 2 2 7.567445456437776738e+04 +1 3 2 3 1.345208686568937634e-04 +1 3 2 4 7.567445423017386929e+04 +1 3 3 3 1.354840027876034331e-04 +1 3 3 4 1.345211263412294384e-04 +1 3 4 4 7.567445406775796437e+04 +1 4 1 1 8.589389131903515245e-05 +1 5 1 1 4.055381825549533096e+04 +1 5 1 2 -5.539754556360087736e+04 +1 5 1 3 -9.847625443184073249e-05 +1 5 1 4 -5.539754572539421497e+04 +1 5 2 2 7.567445432971508126e+04 +1 5 2 3 1.345208686568937634e-04 +1 5 2 4 7.567445423017386929e+04 +1 5 3 3 1.354840027876034331e-04 +1 5 3 4 1.345211263412294384e-04 +1 5 4 4 7.567445477174385451e+04 +1 6 1 1 3.205565798900817526e-04 +1 7 1 1 1.354845374878180936e-04 +2 1 1 1 3.732050806982203373e+00 +2 1 1 2 4.978949133196186594e-01 +2 1 1 3 -1.308568436669261814e-01 +2 1 1 4 -7.945535675086745631e-02 +2 1 2 2 1.972442206524292363e+00 +2 1 2 3 6.164317095563820459e-02 +2 1 2 4 3.950919296356215638e-01 +2 1 3 3 1.074614358661167834e+00 +2 1 3 4 6.164314293620330037e-02 +2 1 4 4 8.177416694170173139e-01 +2 2 1 1 1.955575535633660102e-10 +2 3 1 1 4.226497299295132737e-01 +2 3 1 2 -5.773502768886704661e-01 +2 3 1 3 -2.801943794662026982e-08 +2 3 1 4 -5.773502602186049160e-01 +2 3 2 2 1.577350183915906534e+00 +2 3 2 3 -5.093597884469405757e-03 +2 3 2 4 7.563155554311366017e-08 +2 3 3 3 1.000664225665719220e+00 +2 3 3 4 5.093637134632639923e-03 +2 3 4 4 1.577350204179726045e+00 +2 4 1 1 1.577350233136592728e+00 +2 5 1 1 1.577350270070483784e+00 +2 5 1 2 5.773502768886699110e-01 +2 5 1 3 2.801943516876615048e-08 +2 5 1 4 5.773502602186050270e-01 +2 5 2 2 4.226498160840916896e-01 +2 5 2 3 5.093597884469902755e-03 +2 5 2 4 -7.563155467628118543e-08 +2 5 3 3 9.993357743342811128e-01 +2 5 3 4 -5.093637134632782171e-03 +2 5 4 4 4.226497958202757865e-01 +2 6 1 1 4.226497668634069393e-01 +2 7 1 1 9.999999833299334506e-01 +*** END *** +*** REQUEST *** +"" +1 +3 +1 1 1 +-0.10485760000000000000e7 +0 1 1 1 0.10485760000000000000e7 +1 1 1 1 -0.10485760000000000000e7 +1 2 1 1 -0.10485760000000000000e7 +1 3 1 1 0.10485760000000000000e7 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +5 +5 +4 1 1 1 1 +0.10485760000000000000e7 0.10485760000000000000e7 0.0 -0.52428800000000000000e6 0.0 +0 2 1 1 -0.52428800000000000000e6 +1 1 1 1 0.52428800000000000000e6 +1 2 1 1 0.52428800000000000000e6 +2 1 1 3 0.52428800000000000000e6 +2 1 1 4 -0.52428800000000000000e6 +2 4 1 1 0.10485760000000000000e7 +3 1 1 2 -0.52428800000000000000e6 +3 1 1 4 0.26214400000000000000e6 +3 1 3 3 0.52428800000000000000e6 +3 4 1 1 -0.52428800000000000000e6 +4 2 1 1 -0.52428800000000000000e6 +4 3 1 1 0.52428800000000000000e6 +4 4 1 1 -0.52428800000000000000e6 +5 1 1 2 -0.52428800000000000000e6 +5 1 1 4 0.26214400000000000000e6 +5 1 3 4 0.52428800000000000000e6 +5 1 4 4 -0.52428800000000000000e6 +5 5 1 1 0.52428800000000000000e6 +*** ANSWER *** +-7.925855259115520738e-11 -2.887421926707287587e-12 -4.992751754283534836e-11 1.256261659025751135e-10 3.732068011123217742e-11 +1 1 1 1 1.161338785588742726e-06 +1 1 1 2 6.609613583340390392e-06 +1 1 1 3 -1.513840667109510394e-06 +1 1 1 4 -1.790966124560684802e-06 +1 1 2 2 4.271564680650042235e-05 +1 1 3 3 1.653924848900236323e-05 +1 1 3 4 1.956678473415769583e-05 +1 1 4 4 2.314886207234250967e-05 +1 2 1 1 5.242879999352970626e+05 +1 3 1 1 1.085799380752296150e-04 +1 4 1 1 7.252105022927750602e-11 +1 5 1 1 6.228243154065811818e-05 +2 1 1 1 2.000000000429790870e+00 +2 1 1 2 -3.095117694702794187e-01 +2 1 1 3 8.387533860916673856e-02 +2 1 1 4 8.387621351489933652e-02 +2 1 2 2 4.790097281557818137e-02 +2 1 2 3 -1.305407114966329780e-02 +2 1 2 4 -1.291788661966260590e-02 +2 1 3 3 2.971011225712800186e-01 +2 1 3 4 -2.447319306666557170e-01 +2 1 4 4 2.134374157897324098e-01 +2 2 1 1 1.383185037782947846e-16 +2 3 1 1 8.749633367883345954e-07 +2 4 1 1 1.000000874898245407e+00 +2 5 1 1 1.524639538042894004e-06 +*** END *** +*** REQUEST *** +"" +2 +4 +1 1 1 1 +0.10485760000000000000e7 0.52428800000000000000e6 +0 1 1 1 0.10485760000000000000e7 +1 2 1 1 0.10485760000000000000e7 +1 4 1 1 0.10485760000000000000e7 +2 1 1 1 0.10485760000000000000e7 +2 3 1 1 0.10485760000000000000e7 +2 4 1 1 -0.10485760000000000000e7 +*** ANSWER *** +1.000000008085296432e+00 1.000000002915219621e+00 +1 1 1 1 4.728779433667631982e-03 +1 2 1 1 1.048576010149997892e+06 +1 3 1 1 1.048576004728779430e+06 +1 4 1 1 7.093168510735936572e-03 +2 1 1 1 1.499999986470861968e+00 +2 2 1 1 6.764568482448145031e-09 +2 3 1 1 6.764569580019832616e-09 +2 4 1 1 9.999999932354315391e-01 +*** END *** +*** REQUEST *** +"" +14 +15 +3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 +0.0 -0.52428800000000000000e6 -0.52428800000000000000e6 0.26214400000000000000e6 -0.26214400000000000000e6 -0.52428800000000000000e6 -0.26214400000000000000e6 0.26214400000000000000e6 0.26214400000000000000e6 0.26214400000000000000e6 0.26214400000000000000e6 0.0 0.26214400000000000000e6 0.10485760000000000000e7 +0 1 1 2 0.26214400000000000000e6 +0 12 1 1 0.52428800000000000000e6 +1 1 1 1 0.52428800000000000000e6 +1 1 1 2 -0.26214400000000000000e6 +1 12 1 1 -0.52428800000000000000e6 +2 1 1 3 0.52428800000000000000e6 +2 6 1 1 -0.10485760000000000000e7 +3 1 2 2 0.52428800000000000000e6 +3 4 1 1 -0.52428800000000000000e6 +3 6 1 1 -0.52428800000000000000e6 +3 8 1 1 -0.52428800000000000000e6 +4 1 3 3 0.52428800000000000000e6 +4 6 1 1 -0.52428800000000000000e6 +4 8 1 1 0.52428800000000000000e6 +5 1 1 2 0.26214400000000000000e6 +5 2 1 1 0.52428800000000000000e6 +5 4 1 1 -0.52428800000000000000e6 +5 12 1 1 -0.52428800000000000000e6 +6 1 1 2 0.52428800000000000000e6 +6 3 1 1 0.52428800000000000000e6 +6 4 1 1 -0.52428800000000000000e6 +6 6 1 1 -0.10485760000000000000e7 +7 1 1 2 0.26214400000000000000e6 +7 4 1 1 -0.52428800000000000000e6 +7 5 1 1 0.52428800000000000000e6 +7 6 1 1 -0.10485760000000000000e7 +7 12 1 1 0.52428800000000000000e6 +8 1 1 2 -0.26214400000000000000e6 +8 6 1 1 0.52428800000000000000e6 +8 7 1 1 0.52428800000000000000e6 +8 12 1 1 -0.52428800000000000000e6 +9 1 1 2 -0.26214400000000000000e6 +9 9 1 1 0.52428800000000000000e6 +10 1 2 3 -0.26214400000000000000e6 +10 10 1 1 0.52428800000000000000e6 +11 1 1 2 -0.26214400000000000000e6 +11 1 2 3 0.26214400000000000000e6 +11 11 1 1 0.52428800000000000000e6 +12 1 2 3 0.26214400000000000000e6 +12 6 1 1 -0.52428800000000000000e6 +12 13 1 1 0.52428800000000000000e6 +13 1 2 3 -0.26214400000000000000e6 +13 6 1 1 0.52428800000000000000e6 +13 12 1 1 -0.52428800000000000000e6 +13 14 1 1 0.52428800000000000000e6 +14 1 1 2 -0.26214400000000000000e6 +14 4 1 1 0.52428800000000000000e6 +14 6 1 1 0.52428800000000000000e6 +14 8 1 1 0.52428800000000000000e6 +14 15 1 1 0.52428800000000000000e6 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +50 +35 +3 1 1 1 1 3 1 1 1 1 3 1 1 1 1 1 3 1 1 1 1 1 1 1 3 1 1 1 1 1 1 1 1 1 1 +-0.26214400000000000000e6 0.0 -0.52428800000000000000e6 -0.52428800000000000000e6 0.26214400000000000000e6 -0.52428800000000000000e6 -0.52428800000000000000e6 0.0 0.0 0.0 0.52428800000000000000e6 0.0 -0.26214400000000000000e6 -0.26214400000000000000e6 0.0 0.26214400000000000000e6 0.0 -0.52428800000000000000e6 -0.78643200000000000000e6 0.0 0.78643200000000000000e6 -0.26214400000000000000e6 0.26214400000000000000e6 0.0 0.26214400000000000000e6 -0.15728640000000000000e7 0.0 0.0 0.52428800000000000000e6 0.26214400000000000000e6 0.15728640000000000000e7 0.15728640000000000000e7 0.0 0.26214400000000000000e6 0.26214400000000000000e6 0.26214400000000000000e6 -0.26214400000000000000e6 0.15728640000000000000e7 -0.52428800000000000000e6 -0.26214400000000000000e6 -0.52428800000000000000e6 0.26214400000000000000e6 -0.18350080000000000000e7 -0.18350080000000000000e7 0.26214400000000000000e6 0.26214400000000000000e6 0.0 0.0 0.10485760000000000000e7 0.13107200000000000000e7 +0 1 2 3 0.26214400000000000000e6 +0 4 1 1 -0.26214400000000000000e6 +0 6 1 3 -0.13107200000000000000e6 +0 8 1 1 0.26214400000000000000e6 +0 11 1 2 0.26214400000000000000e6 +0 12 1 1 0.26214400000000000000e6 +0 16 1 1 0.26214400000000000000e6 +1 1 1 1 0.26214400000000000000e6 +1 1 2 3 -0.26214400000000000000e6 +1 4 1 1 0.26214400000000000000e6 +1 6 1 3 0.13107200000000000000e6 +1 8 1 1 -0.26214400000000000000e6 +1 11 1 2 -0.26214400000000000000e6 +1 12 1 1 -0.26214400000000000000e6 +1 16 1 1 -0.26214400000000000000e6 +2 1 1 2 0.26214400000000000000e6 +2 1 2 3 -0.26214400000000000000e6 +2 11 1 2 -0.26214400000000000000e6 +3 1 1 3 0.26214400000000000000e6 +3 6 1 3 -0.26214400000000000000e6 +3 16 1 1 -0.52428800000000000000e6 +4 1 2 2 0.26214400000000000000e6 +4 4 1 1 -0.26214400000000000000e6 +4 6 1 3 -0.13107200000000000000e6 +4 16 1 1 -0.52428800000000000000e6 +5 1 3 3 0.26214400000000000000e6 +5 6 1 3 -0.13107200000000000000e6 +6 2 1 1 0.26214400000000000000e6 +6 6 1 3 0.13107200000000000000e6 +6 8 1 1 -0.26214400000000000000e6 +6 12 1 1 -0.26214400000000000000e6 +6 16 1 1 -0.26214400000000000000e6 +7 1 2 3 0.26214400000000000000e6 +7 3 1 1 0.26214400000000000000e6 +7 4 1 1 -0.26214400000000000000e6 +7 6 1 3 -0.26214400000000000000e6 +7 11 1 2 0.26214400000000000000e6 +7 16 1 1 -0.52428800000000000000e6 +8 1 2 3 0.26214400000000000000e6 +8 4 1 1 -0.52428800000000000000e6 +8 5 1 1 0.26214400000000000000e6 +8 6 1 3 -0.39321600000000000000e6 +8 8 1 1 0.26214400000000000000e6 +8 11 1 2 0.26214400000000000000e6 +8 12 1 1 0.26214400000000000000e6 +8 16 1 1 -0.26214400000000000000e6 +9 6 1 1 0.26214400000000000000e6 +9 6 1 3 -0.13107200000000000000e6 +9 16 1 1 -0.26214400000000000000e6 +10 1 2 3 -0.26214400000000000000e6 +10 6 1 2 0.26214400000000000000e6 +11 1 2 3 -0.13107200000000000000e6 +11 6 2 2 0.26214400000000000000e6 +11 34 1 1 0.26214400000000000000e6 +12 1 2 3 -0.26214400000000000000e6 +12 6 2 3 0.26214400000000000000e6 +12 16 1 1 0.52428800000000000000e6 +12 32 1 1 -0.52428800000000000000e6 +13 1 2 3 -0.13107200000000000000e6 +13 6 3 3 0.26214400000000000000e6 +13 8 1 1 -0.26214400000000000000e6 +13 34 1 1 -0.26214400000000000000e6 +14 6 1 3 0.13107200000000000000e6 +14 7 1 1 0.26214400000000000000e6 +14 8 1 1 -0.26214400000000000000e6 +14 16 1 1 -0.26214400000000000000e6 +15 1 2 3 -0.26214400000000000000e6 +15 6 1 3 0.26214400000000000000e6 +15 8 1 1 -0.26214400000000000000e6 +15 9 1 1 0.26214400000000000000e6 +16 1 2 3 -0.26214400000000000000e6 +16 6 1 3 0.13107200000000000000e6 +16 8 1 1 -0.26214400000000000000e6 +16 10 1 1 0.26214400000000000000e6 +16 16 1 1 0.26214400000000000000e6 +17 1 2 3 -0.26214400000000000000e6 +17 4 1 1 0.26214400000000000000e6 +17 6 1 3 0.26214400000000000000e6 +17 8 1 1 -0.26214400000000000000e6 +17 11 1 1 0.26214400000000000000e6 +17 11 1 2 -0.26214400000000000000e6 +17 12 1 1 -0.26214400000000000000e6 +18 11 1 3 0.26214400000000000000e6 +18 16 1 1 -0.52428800000000000000e6 +19 1 2 3 0.13107200000000000000e6 +19 4 1 1 -0.26214400000000000000e6 +19 6 1 3 -0.13107200000000000000e6 +19 11 2 2 0.26214400000000000000e6 +19 16 1 1 -0.52428800000000000000e6 +19 34 1 1 -0.26214400000000000000e6 +20 11 2 3 0.26214400000000000000e6 +20 16 1 1 -0.52428800000000000000e6 +20 32 1 1 0.52428800000000000000e6 +21 1 2 3 0.13107200000000000000e6 +21 6 1 3 -0.13107200000000000000e6 +21 8 1 1 0.26214400000000000000e6 +21 11 3 3 0.26214400000000000000e6 +21 34 1 1 0.26214400000000000000e6 +22 1 2 3 0.26214400000000000000e6 +22 4 1 1 -0.26214400000000000000e6 +22 6 1 3 -0.26214400000000000000e6 +22 8 1 1 0.26214400000000000000e6 +22 11 1 2 0.26214400000000000000e6 +22 13 1 1 0.26214400000000000000e6 +22 16 1 1 -0.52428800000000000000e6 +23 1 2 3 0.26214400000000000000e6 +23 4 1 1 -0.26214400000000000000e6 +23 6 1 3 -0.26214400000000000000e6 +23 8 1 1 0.26214400000000000000e6 +23 14 1 1 0.26214400000000000000e6 +24 1 2 3 0.52428800000000000000e6 +24 4 1 1 -0.52428800000000000000e6 +24 6 1 3 -0.52428800000000000000e6 +24 8 1 1 0.52428800000000000000e6 +24 11 1 2 0.26214400000000000000e6 +24 12 1 1 0.26214400000000000000e6 +24 15 1 1 0.26214400000000000000e6 +24 16 1 1 -0.52428800000000000000e6 +25 1 2 3 -0.13107200000000000000e6 +25 11 1 2 -0.13107200000000000000e6 +25 17 1 1 0.26214400000000000000e6 +26 4 1 1 -0.52428800000000000000e6 +26 6 1 3 -0.26214400000000000000e6 +26 16 1 1 -0.10485760000000000000e7 +26 17 1 2 0.26214400000000000000e6 +27 1 2 3 -0.26214400000000000000e6 +27 17 1 3 0.26214400000000000000e6 +28 1 2 3 -0.13107200000000000000e6 +28 16 1 1 -0.26214400000000000000e6 +28 17 2 2 0.26214400000000000000e6 +28 20 1 1 -0.26214400000000000000e6 +28 32 1 1 0.26214400000000000000e6 +29 1 2 3 -0.26214400000000000000e6 +29 17 2 3 0.26214400000000000000e6 +29 34 1 1 0.52428800000000000000e6 +30 1 2 3 -0.13107200000000000000e6 +30 16 1 1 0.26214400000000000000e6 +30 17 3 3 0.26214400000000000000e6 +30 32 1 1 -0.26214400000000000000e6 +31 1 2 3 -0.13107200000000000000e6 +31 4 1 1 0.52428800000000000000e6 +31 6 1 3 0.26214400000000000000e6 +31 11 1 2 -0.13107200000000000000e6 +31 16 1 1 0.10485760000000000000e7 +31 18 1 1 0.26214400000000000000e6 +31 20 1 1 -0.26214400000000000000e6 +32 1 2 3 -0.26214400000000000000e6 +32 4 1 1 0.52428800000000000000e6 +32 6 1 3 0.26214400000000000000e6 +32 16 1 1 0.10485760000000000000e7 +32 19 1 1 0.26214400000000000000e6 +32 20 1 1 -0.26214400000000000000e6 +33 1 2 3 -0.13107200000000000000e6 +33 11 1 2 0.13107200000000000000e6 +33 20 1 1 -0.26214400000000000000e6 +33 21 1 1 0.26214400000000000000e6 +34 1 2 3 -0.13107200000000000000e6 +34 22 1 1 0.26214400000000000000e6 +35 11 1 2 -0.13107200000000000000e6 +35 23 1 1 0.26214400000000000000e6 +36 16 1 1 -0.26214400000000000000e6 +36 24 1 1 0.26214400000000000000e6 +36 32 1 1 0.26214400000000000000e6 +37 1 2 3 -0.13107200000000000000e6 +37 4 1 1 0.26214400000000000000e6 +37 6 1 3 0.13107200000000000000e6 +37 8 1 1 -0.26214400000000000000e6 +37 11 1 2 -0.13107200000000000000e6 +37 12 1 1 -0.26214400000000000000e6 +37 16 1 1 -0.26214400000000000000e6 +37 25 1 1 0.26214400000000000000e6 +38 1 2 3 -0.26214400000000000000e6 +38 4 1 1 0.52428800000000000000e6 +38 6 1 3 0.26214400000000000000e6 +38 11 1 2 -0.26214400000000000000e6 +38 16 1 1 0.10485760000000000000e7 +38 25 1 2 0.26214400000000000000e6 +39 1 2 3 0.26214400000000000000e6 +39 6 1 3 -0.26214400000000000000e6 +39 16 1 1 -0.52428800000000000000e6 +39 25 1 3 0.26214400000000000000e6 +40 1 2 3 0.13107200000000000000e6 +40 4 1 1 -0.26214400000000000000e6 +40 6 1 3 -0.13107200000000000000e6 +40 16 1 1 -0.26214400000000000000e6 +40 20 1 1 0.26214400000000000000e6 +40 25 2 2 0.26214400000000000000e6 +40 32 1 1 -0.26214400000000000000e6 +41 25 2 3 0.26214400000000000000e6 +41 34 1 1 -0.52428800000000000000e6 +42 1 2 3 0.13107200000000000000e6 +42 6 1 3 -0.13107200000000000000e6 +42 16 1 1 -0.26214400000000000000e6 +42 25 3 3 0.26214400000000000000e6 +42 32 1 1 0.26214400000000000000e6 +43 1 2 3 0.13107200000000000000e6 +43 4 1 1 -0.52428800000000000000e6 +43 6 1 3 -0.13107200000000000000e6 +43 8 1 1 -0.26214400000000000000e6 +43 11 1 2 0.13107200000000000000e6 +43 12 1 1 -0.26214400000000000000e6 +43 16 1 1 -0.13107200000000000000e7 +43 20 1 1 0.26214400000000000000e6 +43 26 1 1 0.26214400000000000000e6 +44 1 2 3 0.52428800000000000000e6 +44 4 1 1 -0.78643200000000000000e6 +44 6 1 3 -0.52428800000000000000e6 +44 11 1 2 0.26214400000000000000e6 +44 16 1 1 -0.15728640000000000000e7 +44 20 1 1 0.26214400000000000000e6 +44 27 1 1 0.26214400000000000000e6 +45 4 1 1 -0.26214400000000000000e6 +45 20 1 1 0.26214400000000000000e6 +45 28 1 1 0.26214400000000000000e6 +46 1 2 3 0.39321600000000000000e6 +46 4 1 1 -0.52428800000000000000e6 +46 6 1 3 -0.39321600000000000000e6 +46 8 1 1 0.26214400000000000000e6 +46 11 1 2 0.13107200000000000000e6 +46 12 1 1 0.26214400000000000000e6 +46 16 1 1 -0.26214400000000000000e6 +46 20 1 1 0.26214400000000000000e6 +46 29 1 1 0.26214400000000000000e6 +47 1 2 3 0.13107200000000000000e6 +47 6 1 3 -0.13107200000000000000e6 +47 16 1 1 -0.26214400000000000000e6 +47 30 1 1 0.26214400000000000000e6 +48 1 2 3 -0.26214400000000000000e6 +48 4 1 1 0.26214400000000000000e6 +48 6 1 3 0.26214400000000000000e6 +48 8 1 1 -0.26214400000000000000e6 +48 11 1 2 -0.13107200000000000000e6 +48 12 1 1 -0.26214400000000000000e6 +48 31 1 1 0.26214400000000000000e6 +49 1 2 3 -0.13107200000000000000e6 +49 4 1 1 0.26214400000000000000e6 +49 6 1 3 0.13107200000000000000e6 +49 11 1 2 -0.13107200000000000000e6 +49 16 1 1 0.52428800000000000000e6 +49 33 1 1 0.26214400000000000000e6 +50 1 2 3 -0.13107200000000000000e6 +50 4 1 1 0.26214400000000000000e6 +50 6 1 3 0.13107200000000000000e6 +50 11 1 2 -0.13107200000000000000e6 +50 16 1 1 0.52428800000000000000e6 +50 34 1 1 0.26214400000000000000e6 +50 35 1 1 0.26214400000000000000e6 +*** ANSWER *** +-1.442679219481786717e-10 -8.059366710531581500e-11 -8.059366710529720343e-11 -7.815450305932873251e-11 -7.815450305926534979e-11 2.720995262506414322e-10 2.720996768407331039e-10 2.720998363807841729e-10 -2.420327409219470200e-11 -6.055276038312902213e-11 -5.701244430193899963e-12 -6.053716832723678490e-11 -5.577748750770127186e-12 4.999999601098752411e-01 5.000000387024109427e-01 -4.306400713671017939e-11 -1.151114680224811903e-10 -1.820121223980914721e-11 -1.118467427011257577e-11 -4.969577751797928991e-13 1.234531609249277565e-10 5.000000378202348328e-01 -4.306402279647123469e-11 4.999999608630205095e-01 -2.420327409208385980e-11 -1.649841665337378471e-10 -6.055276038309428054e-11 -5.577748750870629630e-12 -6.053716832722230924e-11 -5.701244430136204115e-12 5.000000378527424960e-01 4.999999609595436323e-01 -4.306400713693176040e-11 -7.047259230372941208e-11 -7.047259230372941208e-11 1.392613926189832539e-10 -1.151114680223976968e-10 -1.820121223968623334e-11 -9.698266936409778338e-11 1.234531609257623818e-10 -4.969577751348408027e-13 -1.118467426991756794e-11 -4.306402477893261579e-11 -4.306402279659585462e-11 4.999999600773675779e-01 5.000000386058875979e-01 -7.047259230362017254e-11 -7.047259230361562305e-11 1.015450586903996335e-10 1.248274742072543928e-10 +1 1 1 1 4.106619767004122696e-05 +1 1 1 2 -2.112714626965590901e-05 +1 1 1 3 -2.112714626965103010e-05 +1 1 2 2 5.839743375123996640e-05 +1 1 2 3 -5.579566607476725820e-06 +1 1 3 3 5.839743375125644627e-05 +1 2 1 1 1.502144260106729953e-04 +1 3 1 1 1.502144654869619865e-04 +1 4 1 1 1.502144654866839971e-04 +1 5 1 1 1.502145073094289171e-04 +1 6 1 1 7.254042471760034291e-05 +1 6 1 2 -1.587354281787497438e-05 +1 6 1 3 -4.324960935179285228e-05 +1 6 2 2 7.739062078131555590e-05 +1 6 2 3 -1.586945545397515974e-05 +1 6 3 3 7.742299443270258402e-05 +1 7 1 1 1.310719896219282964e+05 +1 8 1 1 6.759619535665517716e-05 +1 9 1 1 1.310720102244899899e+05 +1 10 1 1 6.759619671437878952e-05 +1 11 1 1 4.870938712793926751e-05 +1 11 1 2 -2.542342487777158678e-05 +1 11 1 3 -4.771338581392529086e-06 +1 11 2 2 7.595317254936013139e-05 +1 11 2 3 -1.302744990167316297e-07 +1 11 3 3 1.112476732187286758e-04 +1 12 1 1 6.759619208955721346e-05 +1 13 1 1 1.310720099932327867e+05 +1 14 1 1 6.759619260926648908e-05 +1 15 1 1 1.310719898193608242e+05 +1 16 1 1 1.055045956663241795e-04 +1 17 1 1 7.254042471762939953e-05 +1 17 1 2 -4.324960935182017418e-05 +1 17 1 3 -1.587354281786586708e-05 +1 17 2 2 7.742299443267634633e-05 +1 17 2 3 -1.586945545397136503e-05 +1 17 3 3 7.739062078133095157e-05 +1 18 1 1 1.310720100017545046e+05 +1 19 1 1 1.310719898446637817e+05 +1 20 1 1 6.759619535656844098e-05 +1 21 1 1 6.759619671432067628e-05 +1 22 1 1 6.041120056435572011e-05 +1 23 1 1 6.041120056435572011e-05 +1 24 1 1 1.153917063079360275e-04 +1 25 1 1 4.870938712796116839e-05 +1 25 1 2 -4.771338581360307952e-06 +1 25 1 3 -2.542342487778204933e-05 +1 25 2 2 1.112476732189476847e-04 +1 25 2 3 -1.302744990049477074e-07 +1 25 3 3 7.595317254941108889e-05 +1 26 1 1 6.759619208957586174e-05 +1 27 1 1 6.759619260923352933e-05 +1 28 1 1 1.310719896134066221e+05 +1 29 1 1 1.310720101991869451e+05 +1 30 1 1 6.041120056438434305e-05 +1 31 1 1 6.041120056438542725e-05 +1 32 1 1 1.116079411996617234e-04 +1 33 1 1 1.055045956665609692e-04 +1 34 1 1 1.153917063078596997e-04 +1 35 1 1 1.116079411998113433e-04 +2 1 1 1 4.999999996981754791e+00 +2 1 1 2 1.999999998490975317e+00 +2 1 1 3 1.999999998490938680e+00 +2 1 2 2 3.045214752653473855e+00 +2 1 2 3 9.999999992455171904e-01 +2 1 3 3 3.045214752653425894e+00 +2 2 1 1 1.090429508324806784e+00 +2 3 1 1 1.090429508324941121e+00 +2 4 1 1 1.090429508325033714e+00 +2 5 1 1 1.090429508325132968e+00 +2 6 1 1 2.999999998490928022e+00 +2 6 1 2 9.999999992455257392e-01 +2 6 1 3 2.045214752653432111e+00 +2 6 2 2 2.053501107894667221e+00 +2 6 2 3 1.053501107894592392e+00 +2 6 3 3 3.036928398166792054e+00 +2 7 1 1 7.546011768523740177e-10 +2 8 1 1 2.090429507570432666e+00 +2 9 1 1 7.546015344916211783e-10 +2 10 1 1 2.090429507570543244e+00 +2 11 1 1 2.999999998490819664e+00 +2 11 1 2 9.999999992454493558e-01 +2 11 1 3 -4.521475416249168267e-02 +2 11 2 2 1.991713644758802415e+00 +2 11 2 3 -5.350110864906719443e-02 +2 11 3 3 1.008286354486587877e+00 +2 12 1 1 2.090429507570325196e+00 +2 13 1 1 7.546014361485582120e-10 +2 14 1 1 2.090429507570405576e+00 +2 15 1 1 7.546013334554417397e-10 +2 16 1 1 9.547852458375065687e-01 +2 17 1 1 2.999999998490964437e+00 +2 17 1 2 2.045214752653501833e+00 +2 17 1 3 9.999999992455286257e-01 +2 17 2 2 3.036928398166963028e+00 +2 17 2 3 1.053501107894680988e+00 +2 17 3 3 2.053501107894573963e+00 +2 18 1 1 7.546014082949716199e-10 +2 19 1 1 7.546013030506283065e-10 +2 20 1 1 2.090429507570525480e+00 +2 21 1 1 2.090429507570591650e+00 +2 22 1 1 1.999999999245513083e+00 +2 23 1 1 1.999999999245449134e+00 +2 24 1 1 9.464988913508924906e-01 +2 25 1 1 2.999999998490767705e+00 +2 25 1 2 -4.521475416251024421e-02 +2 25 1 3 9.999999992454207121e-01 +2 25 2 2 1.008286354486461311e+00 +2 25 2 3 -5.350110864915322284e-02 +2 25 3 3 1.991713644758840607e+00 +2 26 1 1 2.090429507570278567e+00 +2 27 1 1 2.090429507570413126e+00 +2 28 1 1 7.546012047057819387e-10 +2 29 1 1 7.546015648967754100e-10 +2 30 1 1 1.999999999245406501e+00 +2 31 1 1 1.999999999245355431e+00 +2 32 1 1 1.008286354486575442e+00 +2 33 1 1 9.547852458374607165e-01 +2 34 1 1 9.464988913508478596e-01 +2 35 1 1 1.008286354486603420e+00 +*** END *** +*** REQUEST *** +"" +1 +1 +9 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 -0.10000000000000000000e1 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.10000000000000000000e1 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.0 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +1 +1 +9 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.0 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +2 +1 +10 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 -0.10000000000000000000e1 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.0 +0 1 8 8 0.10000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.0 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 0.0 +2 1 3 3 -0.10000000000000000000e1 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 7 7 0.10000000000000000000e1 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +2 +1 +10 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.0 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 0.0 +2 1 3 3 0.0 +2 1 4 4 -0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 7 7 0.0 +2 1 8 8 0.10000000000000000000e1 +2 1 10 10 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +2 +1 +10 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 -0.10000000000000000000e1 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.10000000000000000000e1 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 -0.10000000000000000000e1 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.0 +1 1 8 8 0.10000000000000000000e1 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 0.0 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +3 +1 +11 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.10000000000000000000e1 +0 1 3 3 0.0 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.10000000000000000000e1 +0 1 7 7 0.0 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 -0.10000000000000000000e1 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.0 +1 1 8 8 0.10000000000000000000e1 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 0.0 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 -0.10000000000000000000e1 +3 1 4 4 0.0 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.10000000000000000000e1 +3 1 8 8 0.0 +3 1 11 11 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +3 +1 +11 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 -0.10000000000000000000e1 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.0 +0 1 8 8 0.10000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.0 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 0.0 +2 1 3 3 -0.10000000000000000000e1 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 7 7 0.10000000000000000000e1 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 -0.10000000000000000000e1 +3 1 3 3 0.0 +3 1 4 4 0.0 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.10000000000000000000e1 +3 1 7 7 0.0 +3 1 8 8 0.0 +3 1 11 11 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +3 +1 +11 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.0 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +3 +1 +11 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 -0.10000000000000000000e1 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.10000000000000000000e1 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 -0.10000000000000000000e1 +1 1 3 3 0.0 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.10000000000000000000e1 +1 1 7 7 0.0 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 0.0 +2 1 3 3 0.0 +2 1 4 4 -0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.0 +2 1 7 7 0.0 +2 1 8 8 0.10000000000000000000e1 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 0.0 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.0 +3 1 11 11 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +4 +1 +12 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.0 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +4 1 1 1 -0.10000000000000000000e1 +4 1 2 2 0.0 +4 1 3 3 0.0 +4 1 4 4 0.0 +4 1 5 5 0.10000000000000000000e1 +4 1 6 6 0.0 +4 1 7 7 0.0 +4 1 8 8 0.0 +4 1 12 12 0.10000000000000000000e1 +*** ANSWER *** +4.536593045033458385e-10 4.536593045033541103e-10 4.536593045033640365e-10 9.999999980041963665e-01 +1 1 1 1 1.995855303112609842e-09 +1 1 2 2 9.073702453055903962e-10 +1 1 3 3 9.073702453055970136e-10 +1 1 4 4 9.073702453055771613e-10 +1 1 5 5 7.262038462498466412e-10 +1 1 6 6 1.814688854312295308e-09 +1 1 7 7 1.814688854312288691e-09 +1 1 8 8 1.814688854312308543e-09 +1 1 9 9 1.814688854312288691e-09 +1 1 10 10 1.814688854312295308e-09 +1 1 11 11 1.814688854312308543e-09 +1 1 12 12 9.999999993652258778e-01 +2 1 1 1 1.086126849888081836e+00 +2 1 2 2 2.220158376684594259e+00 +2 1 3 3 2.220158376684592483e+00 +2 1 4 4 2.220158376684594259e+00 +2 1 5 5 2.086126848352603869e+00 +2 1 6 6 1.110079189110036113e+00 +2 1 7 7 1.110079189110035891e+00 +2 1 8 8 1.110079189110035447e+00 +2 1 9 9 1.110079189110035891e+00 +2 1 10 10 1.110079189110036113e+00 +2 1 11 11 1.110079189110035447e+00 +2 1 12 12 1.535477375296499320e-09 +*** END *** +*** REQUEST *** +"" +4 +1 +12 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 -0.20000000000000000000e1 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.0 +0 1 8 8 0.20000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +4 1 1 1 -0.10000000000000000000e1 +4 1 2 2 0.0 +4 1 3 3 0.0 +4 1 4 4 0.0 +4 1 5 5 0.10000000000000000000e1 +4 1 6 6 0.0 +4 1 7 7 0.0 +4 1 8 8 0.0 +4 1 12 12 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +4 +1 +12 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 -0.20000000000000000000e1 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.20000000000000000000e1 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +4 1 1 1 -0.10000000000000000000e1 +4 1 2 2 0.0 +4 1 3 3 0.0 +4 1 4 4 0.0 +4 1 5 5 0.10000000000000000000e1 +4 1 6 6 0.0 +4 1 7 7 0.0 +4 1 8 8 0.0 +4 1 12 12 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +4 +1 +12 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 -0.20000000000000000000e1 +0 1 4 4 -0.20000000000000000000e1 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.0 +0 1 7 7 0.20000000000000000000e1 +0 1 8 8 0.20000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +4 1 1 1 -0.10000000000000000000e1 +4 1 2 2 0.0 +4 1 3 3 0.0 +4 1 4 4 0.0 +4 1 5 5 0.10000000000000000000e1 +4 1 6 6 0.0 +4 1 7 7 0.0 +4 1 8 8 0.0 +4 1 12 12 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +4 +1 +12 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 0.0 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.20000000000000000000e1 +0 1 7 7 0.0 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +4 1 1 1 -0.10000000000000000000e1 +4 1 2 2 0.0 +4 1 3 3 0.0 +4 1 4 4 0.0 +4 1 5 5 0.10000000000000000000e1 +4 1 6 6 0.0 +4 1 7 7 0.0 +4 1 8 8 0.0 +4 1 12 12 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +4 +1 +12 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 0.0 +0 1 4 4 -0.20000000000000000000e1 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.20000000000000000000e1 +0 1 7 7 0.0 +0 1 8 8 0.20000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +4 1 1 1 -0.10000000000000000000e1 +4 1 2 2 0.0 +4 1 3 3 0.0 +4 1 4 4 0.0 +4 1 5 5 0.10000000000000000000e1 +4 1 6 6 0.0 +4 1 7 7 0.0 +4 1 8 8 0.0 +4 1 12 12 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +4 +1 +12 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 -0.20000000000000000000e1 +0 1 4 4 0.0 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.20000000000000000000e1 +0 1 7 7 0.20000000000000000000e1 +0 1 8 8 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +4 1 1 1 -0.10000000000000000000e1 +4 1 2 2 0.0 +4 1 3 3 0.0 +4 1 4 4 0.0 +4 1 5 5 0.10000000000000000000e1 +4 1 6 6 0.0 +4 1 7 7 0.0 +4 1 8 8 0.0 +4 1 12 12 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +4 +1 +12 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 -0.20000000000000000000e1 +0 1 4 4 -0.20000000000000000000e1 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.20000000000000000000e1 +0 1 7 7 0.20000000000000000000e1 +0 1 8 8 0.20000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.0 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +1 1 8 8 0.0 +1 1 9 9 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 0.0 +2 1 4 4 0.0 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 7 7 0.0 +2 1 8 8 0.0 +2 1 10 10 0.10000000000000000000e1 +3 1 1 1 -0.10000000000000000000e1 +3 1 2 2 0.0 +3 1 3 3 0.0 +3 1 4 4 -0.10000000000000000000e1 +3 1 5 5 0.10000000000000000000e1 +3 1 6 6 0.0 +3 1 7 7 0.0 +3 1 8 8 0.10000000000000000000e1 +3 1 11 11 0.10000000000000000000e1 +4 1 1 1 -0.10000000000000000000e1 +4 1 2 2 0.0 +4 1 3 3 0.0 +4 1 4 4 0.0 +4 1 5 5 0.10000000000000000000e1 +4 1 6 6 0.0 +4 1 7 7 0.0 +4 1 8 8 0.0 +4 1 12 12 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +10 +11 +4 1 1 1 1 1 1 1 1 1 1 +0.13107200000000000000e6 -0.78643200000000000000e6 -0.78643200000000000000e6 -0.78643200000000000000e6 0.39321600000000000000e6 0.0 0.39321600000000000000e6 0.39321600000000000000e6 0.15728640000000000000e7 0.11796480000000000000e7 +0 1 1 2 0.98304000000000000000e5 +0 1 1 4 0.98304000000000000000e5 +0 1 2 3 0.32768000000000000000e5 +0 1 3 3 0.65536000000000000000e5 +0 4 1 1 0.65536000000000000000e5 +0 8 1 1 0.19660800000000000000e6 +0 10 1 1 0.65536000000000000000e5 +1 1 1 1 0.58982400000000000000e6 +1 1 1 2 -0.98304000000000000000e5 +1 1 1 4 -0.98304000000000000000e5 +1 1 2 3 -0.32768000000000000000e5 +1 1 3 3 -0.65536000000000000000e5 +1 4 1 1 -0.65536000000000000000e5 +1 8 1 1 -0.19660800000000000000e6 +1 10 1 1 -0.65536000000000000000e5 +2 1 1 3 0.58982400000000000000e6 +2 1 2 3 -0.19660800000000000000e6 +2 1 3 3 -0.39321600000000000000e6 +2 4 1 1 -0.39321600000000000000e6 +2 10 1 1 -0.39321600000000000000e6 +3 1 2 4 0.58982400000000000000e6 +3 6 1 1 -0.11796480000000000000e7 +4 1 3 4 0.58982400000000000000e6 +4 4 1 1 -0.11796480000000000000e7 +5 1 1 4 -0.29491200000000000000e6 +5 2 1 1 0.58982400000000000000e6 +6 1 2 3 -0.98304000000000000000e5 +6 1 3 3 -0.19660800000000000000e6 +6 3 1 1 0.58982400000000000000e6 +6 4 1 1 -0.19660800000000000000e6 +6 10 1 1 -0.19660800000000000000e6 +7 1 1 2 -0.29491200000000000000e6 +7 5 1 1 0.58982400000000000000e6 +8 1 2 3 -0.29491200000000000000e6 +8 7 1 1 0.58982400000000000000e6 +9 1 1 4 -0.88473600000000000000e6 +9 1 4 4 0.58982400000000000000e6 +9 4 1 1 0.58982400000000000000e6 +9 6 1 1 0.58982400000000000000e6 +9 9 1 1 0.58982400000000000000e6 +10 1 1 2 -0.88473600000000000000e6 +10 1 2 2 0.58982400000000000000e6 +10 1 2 3 0.29491200000000000000e6 +10 6 1 1 0.58982400000000000000e6 +10 11 1 1 0.58982400000000000000e6 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +41 +16 +4 1 4 4 1 4 1 1 1 4 1 1 1 1 1 1 +0.13107200000000000000e6 -0.13107200000000000000e6 0.0 0.0 0.0 -0.13107200000000000000e6 0.65536000000000000000e5 0.65536000000000000000e5 0.0 0.65536000000000000000e5 0.0 -0.52428800000000000000e6 -0.13107200000000000000e6 0.19660800000000000000e6 0.0 -0.39321600000000000000e6 0.0 0.26214400000000000000e6 0.0 -0.11796480000000000000e7 0.65536000000000000000e5 0.65536000000000000000e5 -0.13107200000000000000e6 0.0 -0.13107200000000000000e6 0.19660800000000000000e6 0.0 0.65536000000000000000e5 0.65536000000000000000e5 0.65536000000000000000e5 0.65536000000000000000e5 0.32768000000000000000e6 0.13107200000000000000e6 0.0 -0.13107200000000000000e6 0.13107200000000000000e7 0.65536000000000000000e5 0.65536000000000000000e5 0.72089600000000000000e6 0.13107200000000000000e6 0.65536000000000000000e5 +0 1 3 4 -0.49152000000000000000e5 +0 2 1 1 -0.98304000000000000000e5 +0 3 1 2 -0.49152000000000000000e5 +0 3 2 3 0.14745600000000000000e6 +0 6 1 3 -0.49152000000000000000e5 +1 1 1 1 0.98304000000000000000e5 +1 1 3 4 0.49152000000000000000e5 +1 2 1 1 0.98304000000000000000e5 +1 3 1 2 0.49152000000000000000e5 +1 3 2 3 -0.14745600000000000000e6 +1 6 1 3 0.49152000000000000000e5 +2 1 1 3 0.98304000000000000000e5 +2 4 1 1 -0.19660800000000000000e6 +3 1 2 2 0.98304000000000000000e5 +3 4 2 2 -0.32768000000000000000e5 +3 6 2 2 -0.32768000000000000000e5 +3 6 2 4 -0.16384000000000000000e5 +3 10 2 2 -0.32768000000000000000e5 +4 1 2 3 0.98304000000000000000e5 +4 6 1 3 -0.98304000000000000000e5 +5 1 2 4 0.98304000000000000000e5 +5 3 1 2 -0.98304000000000000000e5 +6 1 3 3 0.98304000000000000000e5 +6 1 3 4 0.49152000000000000000e5 +6 4 1 1 -0.29491200000000000000e6 +6 6 1 3 0.49152000000000000000e5 +6 10 1 3 0.49152000000000000000e5 +7 1 4 4 0.98304000000000000000e5 +7 3 1 4 -0.49152000000000000000e5 +8 1 1 4 -0.49152000000000000000e5 +8 3 1 1 0.98304000000000000000e5 +9 1 3 4 -0.98304000000000000000e5 +9 3 1 3 0.98304000000000000000e5 +10 3 2 2 0.98304000000000000000e5 +10 6 2 4 -0.49152000000000000000e5 +11 3 1 2 -0.29491200000000000000e6 +11 3 2 3 0.98304000000000000000e5 +11 3 2 4 0.98304000000000000000e5 +11 6 2 4 0.98304000000000000000e5 +11 10 2 4 0.98304000000000000000e5 +12 1 3 4 0.14745600000000000000e6 +12 3 2 3 -0.49152000000000000000e5 +12 3 3 3 0.98304000000000000000e5 +12 4 1 1 -0.88473600000000000000e6 +12 4 2 2 -0.98304000000000000000e5 +12 4 3 3 0.98304000000000000000e5 +12 6 1 3 0.29491200000000000000e6 +12 10 1 3 0.14745600000000000000e6 +12 10 3 3 0.98304000000000000000e5 +12 16 1 1 -0.98304000000000000000e5 +13 3 3 4 0.98304000000000000000e5 +13 4 4 4 -0.19660800000000000000e6 +14 3 1 2 0.14745600000000000000e6 +14 3 1 4 -0.14745600000000000000e6 +14 3 2 3 -0.49152000000000000000e5 +14 3 4 4 0.98304000000000000000e5 +14 4 4 4 0.98304000000000000000e5 +14 6 2 4 -0.49152000000000000000e5 +14 10 2 4 -0.49152000000000000000e5 +14 10 4 4 0.98304000000000000000e5 +15 4 1 2 0.98304000000000000000e5 +15 6 1 3 -0.98304000000000000000e5 +16 1 3 4 0.98304000000000000000e5 +16 4 1 1 -0.58982400000000000000e6 +16 4 1 3 0.98304000000000000000e5 +16 6 1 3 0.98304000000000000000e5 +16 10 1 3 0.98304000000000000000e5 +17 1 3 4 -0.98304000000000000000e5 +17 4 1 4 0.98304000000000000000e5 +18 3 2 3 0.98304000000000000000e5 +18 4 2 2 0.19660800000000000000e6 +18 4 2 3 0.98304000000000000000e5 +18 6 1 3 -0.29491200000000000000e6 +18 16 1 1 0.19660800000000000000e6 +19 3 2 3 -0.98304000000000000000e5 +19 4 2 4 0.98304000000000000000e5 +20 1 3 4 0.29491200000000000000e6 +20 3 2 3 -0.98304000000000000000e5 +20 4 1 1 -0.17694720000000000000e7 +20 4 2 2 -0.19660800000000000000e6 +20 4 3 3 0.19660800000000000000e6 +20 4 3 4 0.98304000000000000000e5 +20 6 1 3 0.58982400000000000000e6 +20 10 1 3 0.29491200000000000000e6 +20 10 3 3 0.19660800000000000000e6 +20 16 1 1 -0.19660800000000000000e6 +21 1 3 4 -0.49152000000000000000e5 +21 5 1 1 0.98304000000000000000e5 +22 1 1 2 -0.49152000000000000000e5 +22 6 1 1 0.98304000000000000000e5 +23 4 2 2 -0.65536000000000000000e5 +23 6 1 2 0.98304000000000000000e5 +23 6 2 2 -0.65536000000000000000e5 +23 6 2 4 -0.32768000000000000000e5 +23 10 2 2 -0.65536000000000000000e5 +24 3 1 2 -0.98304000000000000000e5 +24 6 1 4 0.98304000000000000000e5 +25 4 2 2 -0.19660800000000000000e6 +25 6 2 3 0.98304000000000000000e5 +26 3 2 3 0.49152000000000000000e5 +26 4 2 2 0.98304000000000000000e5 +26 6 1 3 -0.14745600000000000000e6 +26 6 3 3 0.98304000000000000000e5 +26 16 1 1 0.98304000000000000000e5 +27 3 2 3 -0.98304000000000000000e5 +27 6 3 4 0.98304000000000000000e5 +28 3 1 2 -0.14745600000000000000e6 +28 3 2 3 0.49152000000000000000e5 +28 6 2 4 0.49152000000000000000e5 +28 6 4 4 0.98304000000000000000e5 +28 10 2 4 0.49152000000000000000e5 +29 3 1 2 -0.49152000000000000000e5 +29 7 1 1 0.98304000000000000000e5 +30 6 1 3 -0.49152000000000000000e5 +30 8 1 1 0.98304000000000000000e5 +31 3 2 3 -0.49152000000000000000e5 +31 9 1 1 0.98304000000000000000e5 +32 1 1 2 0.49152000000000000000e5 +32 1 1 4 0.49152000000000000000e5 +32 1 3 4 0.14745600000000000000e6 +32 2 1 1 0.29491200000000000000e6 +32 3 1 2 0.14745600000000000000e6 +32 3 2 3 -0.44236800000000000000e6 +32 4 1 1 0.98304000000000000000e5 +32 6 1 3 0.14745600000000000000e6 +32 10 1 1 0.98304000000000000000e5 +33 1 1 2 -0.29491200000000000000e6 +33 3 1 2 0.98304000000000000000e5 +33 4 2 2 0.65536000000000000000e5 +33 6 1 3 0.98304000000000000000e5 +33 6 2 2 0.65536000000000000000e5 +33 6 2 4 0.32768000000000000000e5 +33 10 1 2 0.98304000000000000000e5 +33 10 2 2 0.65536000000000000000e5 +34 1 1 4 -0.29491200000000000000e6 +34 1 3 4 0.98304000000000000000e5 +34 3 1 2 0.98304000000000000000e5 +34 3 1 4 0.98304000000000000000e5 +34 10 1 4 0.98304000000000000000e5 +35 10 2 3 0.98304000000000000000e5 +35 16 1 1 -0.19660800000000000000e6 +36 1 3 4 -0.58982400000000000000e6 +36 3 2 3 0.19660800000000000000e6 +36 4 1 1 0.17694720000000000000e7 +36 4 2 2 0.19660800000000000000e6 +36 4 3 3 -0.19660800000000000000e6 +36 4 4 4 0.19660800000000000000e6 +36 6 1 3 -0.58982400000000000000e6 +36 10 1 3 -0.29491200000000000000e6 +36 10 3 3 -0.19660800000000000000e6 +36 10 3 4 0.98304000000000000000e5 +36 16 1 1 0.19660800000000000000e6 +37 1 1 4 -0.14745600000000000000e6 +37 1 3 4 0.49152000000000000000e5 +37 3 1 2 0.49152000000000000000e5 +37 3 1 4 0.49152000000000000000e5 +37 11 1 1 0.98304000000000000000e5 +38 10 1 3 -0.49152000000000000000e5 +38 12 1 1 0.98304000000000000000e5 +39 1 3 4 -0.29491200000000000000e6 +39 3 2 3 0.98304000000000000000e5 +39 4 1 1 0.88473600000000000000e6 +39 4 2 2 0.98304000000000000000e5 +39 4 3 3 -0.98304000000000000000e5 +39 4 4 4 0.98304000000000000000e5 +39 6 1 3 -0.29491200000000000000e6 +39 10 1 3 -0.14745600000000000000e6 +39 10 3 3 -0.98304000000000000000e5 +39 13 1 1 0.98304000000000000000e5 +39 16 1 1 0.98304000000000000000e5 +40 1 1 2 -0.14745600000000000000e6 +40 3 1 2 0.49152000000000000000e5 +40 4 2 2 0.32768000000000000000e5 +40 6 1 3 0.49152000000000000000e5 +40 6 2 2 0.32768000000000000000e5 +40 6 2 4 0.16384000000000000000e5 +40 10 2 2 0.32768000000000000000e5 +40 14 1 1 0.98304000000000000000e5 +41 10 2 4 -0.49152000000000000000e5 +41 15 1 1 0.98304000000000000000e5 +*** ANSWER *** +-5.263273220485324687e-10 -3.056927985334679890e-12 -1.296347816282567385e-10 1.135851853491212692e-10 1.135851851832223391e-10 -1.296347827651306705e-10 -1.296347816252902620e-10 -3.427188856752942540e-11 2.539899598792442930e-11 3.333333323356585942e-01 4.867672362230225210e-11 3.333333323356952316e-01 4.872625224985313908e-11 1.211163450292361245e-10 2.546488575912062240e-11 -2.094391820689732232e-10 2.540190846931407829e-11 4.868902690868637145e-11 -3.333333326319299905e-01 4.871394923789001365e-11 5.091775736610639864e-11 -3.427188856545175450e-11 -2.094391868152214271e-10 2.543829257218269929e-11 4.870577636947433134e-11 3.333333323356834077e-01 -3.333333326319611878e-01 3.333333323356995059e-01 5.091775736738315191e-11 5.091775736731573669e-11 -3.305511423266849132e-10 -5.958780969867299501e-10 -1.892250709639492783e-11 -1.892250709634984649e-11 5.911312863953726720e-10 5.911312863950070582e-10 -1.473191059787899025e-10 -1.473191431805997822e-10 3.333333311297442259e-01 -1.473191059792798002e-10 3.333333311296740042e-01 +1 1 1 1 1.193928221496871542e-05 +1 1 1 2 -3.005078522300101283e-07 +1 1 1 3 -3.005082486703437600e-07 +1 1 1 4 -3.005078522134150588e-07 +1 1 2 2 5.093574570844356178e-05 +1 1 2 3 1.116587806056004435e-05 +1 1 2 4 1.116587804425150238e-05 +1 1 3 3 5.093574559668443552e-05 +1 1 3 4 1.116587806058105077e-05 +1 1 4 4 5.093574570873510374e-05 +1 2 1 1 9.830399983620768762e+04 +1 3 1 1 6.031029954788524536e-05 +1 3 1 2 2.503586749980548368e-06 +1 3 1 3 2.496822901596925639e-06 +1 3 1 4 -2.058870982085388244e-05 +1 3 2 2 3.276799996560394720e+04 +1 3 2 3 -3.276799993105088288e+04 +1 3 2 4 4.785116638966821766e-06 +1 3 3 3 3.276799996560754880e+04 +1 3 3 4 4.789985501169542655e-06 +1 3 4 4 7.558558446338153013e-05 +1 4 1 1 6.031029727020286238e-05 +1 4 1 2 2.503300129664596629e-06 +1 4 1 3 -2.058870935410826242e-05 +1 4 1 4 2.497109210167452846e-06 +1 4 2 2 3.276799996560309228e+04 +1 4 2 3 4.786326101231519459e-06 +1 4 2 4 -3.276799993104924579e+04 +1 4 3 3 7.558558450073272865e-05 +1 4 3 4 4.788776065881519573e-06 +1 4 4 4 3.276799996560512955e+04 +1 5 1 1 6.868478250174553726e-05 +1 6 1 1 6.031029954808929221e-05 +1 6 1 2 -2.058870982068355428e-05 +1 6 1 3 2.499723739170765869e-06 +1 6 1 4 2.500685913015845106e-06 +1 6 2 2 7.558558446334640198e-05 +1 6 2 3 4.787972640224793657e-06 +1 6 2 4 4.787129500279403292e-06 +1 6 3 3 3.276799996560638829e+04 +1 6 3 4 -3.276799993105231624e+04 +1 6 4 4 3.276799996560797081e+04 +1 7 1 1 6.868478250187087103e-05 +1 8 1 1 6.868478250186414898e-05 +1 9 1 1 3.118486378634525817e-05 +1 10 1 1 5.102162835444190862e-06 +1 10 1 2 -1.860158137604003598e-06 +1 10 1 3 -1.860158349952859545e-06 +1 10 1 4 -1.860158137599571921e-06 +1 10 2 2 7.558558446334640198e-05 +1 10 2 3 5.811056997781082357e-05 +1 10 2 4 5.811056991629210810e-05 +1 10 3 3 7.558558450073272865e-05 +1 10 3 4 5.811056997777471964e-05 +1 10 4 4 7.558558446338153013e-05 +1 11 1 1 4.919730588748858022e-05 +1 12 1 1 4.919730223040201088e-05 +1 13 1 1 3.276799984705773750e+04 +1 14 1 1 4.919730588744044165e-05 +1 15 1 1 3.276799984705083989e+04 +1 16 1 1 3.276799984705168026e+04 +2 1 1 1 3.333333331591203930e+00 +2 1 1 2 3.795657286887314102e-02 +2 1 1 3 3.795657444970434308e-02 +2 1 1 4 3.795657286887386267e-02 +2 1 2 2 7.162651436790496984e-01 +2 1 2 3 -1.724083426107859973e-01 +2 1 2 4 -1.724083426107915484e-01 +2 1 3 3 7.162651439448529667e-01 +2 1 3 4 -1.724083426107229089e-01 +2 1 4 4 7.162651436790470338e-01 +2 2 1 1 2.488618432268715163e-10 +2 3 1 1 7.046232395355406242e-01 +2 3 1 2 -1.724083426107922978e-01 +2 3 1 3 -1.724083426107251571e-01 +2 3 1 4 4.959847701238077888e-02 +2 3 2 2 4.942583239314681798e-01 +2 3 2 3 4.942583235581451961e-01 +2 3 2 4 -1.724083427352386400e-01 +2 3 3 3 4.942583239314077836e-01 +2 3 3 4 -1.724083427352509357e-01 +2 3 4 4 3.475713540120325962e-01 +2 4 1 1 7.046232411163683151e-01 +2 4 1 2 -1.724083426107845263e-01 +2 4 1 3 4.959847727815009516e-02 +2 4 1 4 -1.724083426107213546e-01 +2 4 2 2 4.942583239314600752e-01 +2 4 2 3 -1.724083427352149089e-01 +2 4 2 4 4.942583235581454737e-01 +2 4 3 3 3.475713540584622341e-01 +2 4 3 4 -1.724083427352143261e-01 +2 4 4 4 4.942583239314163324e-01 +2 5 1 1 4.942583240559431101e-01 +2 6 1 1 7.046232395355400691e-01 +2 6 1 2 4.959847701238291606e-02 +2 6 1 3 -1.724083426107846095e-01 +2 6 1 4 -1.724083426107900774e-01 +2 6 2 2 3.475713540118480216e-01 +2 6 2 3 -1.724083427352062492e-01 +2 6 2 4 -1.724083427351991160e-01 +2 6 3 3 4.942583239314499166e-01 +2 6 3 4 4.942583235581457513e-01 +2 6 4 4 4.942583239314271015e-01 +2 7 1 1 4.942583240558749424e-01 +2 8 1 1 4.942583240558821034e-01 +2 9 1 1 1.160924990224813547e+00 +2 10 1 1 8.552796941252806207e+00 +2 10 1 2 4.090879268158121862e-01 +2 10 1 3 4.090879312924459721e-01 +2 10 1 4 4.090879268157514015e-01 +2 10 2 2 1.479374095829039781e+00 +2 10 2 3 -6.666666659200810585e-01 +2 10 2 4 -6.666666659200805034e-01 +2 10 3 3 1.479374096579773035e+00 +2 10 3 4 -6.666666659197580946e-01 +2 10 4 4 1.479374095828931646e+00 +2 11 1 1 1.075754593482423527e+00 +2 12 1 1 1.075754597959131864e+00 +2 13 1 1 7.465853060704818064e-10 +2 14 1 1 1.075754593482480148e+00 +2 15 1 1 7.465853060733570862e-10 +2 16 1 1 7.465853060732909117e-10 +*** END *** +*** REQUEST *** +"" +4 +5 +3 1 1 1 1 +0.10485760000000000000e7 0.10485760000000000000e7 0.52428800000000000000e6 0.52428800000000000000e6 +0 1 1 2 0.13107200000000000000e6 +0 4 1 1 -0.26214400000000000000e6 +1 1 1 1 0.26214400000000000000e6 +1 1 1 2 -0.13107200000000000000e6 +1 4 1 1 0.26214400000000000000e6 +2 1 1 2 -0.26214400000000000000e6 +2 1 1 3 0.26214400000000000000e6 +2 1 2 3 -0.26214400000000000000e6 +2 2 1 1 -0.52428800000000000000e6 +2 4 1 1 0.10485760000000000000e7 +3 1 2 3 -0.13107200000000000000e6 +3 2 1 1 -0.26214400000000000000e6 +3 3 1 1 0.26214400000000000000e6 +3 4 1 1 0.26214400000000000000e6 +4 1 1 2 0.13107200000000000000e6 +4 2 1 1 0.26214400000000000000e6 +4 4 1 1 -0.26214400000000000000e6 +4 5 1 1 0.26214400000000000000e6 +*** ANSWER *** +1.475929617165609230e-10 -7.980630284419404723e-10 6.386682544454084969e-10 9.999999969553409196e-01 +1 1 1 1 2.992731171131768689e-04 +1 1 1 2 -2.092074326296819616e-04 +1 1 1 3 -2.092074345278840432e-04 +1 1 2 2 2.605825077569507223e-04 +1 1 2 3 1.254959090812152438e-04 +1 1 3 3 2.605825077569507223e-04 +1 2 1 1 2.621439997134352161e+05 +1 3 1 1 4.280055586502896220e-04 +1 4 1 1 4.280055749723010727e-04 +1 5 1 1 2.621439994624433748e+05 +2 1 1 1 5.999999996754103115e+00 +2 1 1 2 3.838811328766396525e+00 +2 1 1 3 3.838811331635157753e+00 +2 1 2 2 5.728944082422792405e+00 +2 1 2 3 1.677622665270402491e+00 +2 1 3 3 5.728944085951515497e+00 +2 2 1 1 1.622947853988795403e-09 +2 3 1 1 1.838811334881057080e+00 +2 4 1 1 1.838811332012292965e+00 +2 5 1 1 1.622947242829648984e-09 +*** END *** +*** REQUEST *** +"" +4 +5 +3 1 1 1 1 +0.39321600000000000000e6 -0.26214400000000000000e6 -0.13107200000000000000e6 0.10485760000000000000e7 +0 1 1 2 0.13107200000000000000e6 +0 4 1 1 -0.26214400000000000000e6 +1 1 1 1 0.52428800000000000000e6 +1 1 1 2 -0.13107200000000000000e6 +1 4 1 1 0.26214400000000000000e6 +2 1 1 2 0.26214400000000000000e6 +2 1 1 3 0.52428800000000000000e6 +2 1 2 3 -0.52428800000000000000e6 +2 2 1 1 -0.10485760000000000000e7 +2 4 1 1 0.52428800000000000000e6 +3 1 1 2 0.39321600000000000000e6 +3 1 2 3 -0.26214400000000000000e6 +3 2 1 1 -0.52428800000000000000e6 +3 3 1 1 0.52428800000000000000e6 +3 4 1 1 -0.26214400000000000000e6 +4 1 1 2 -0.26214400000000000000e6 +4 1 2 3 0.26214400000000000000e6 +4 2 1 1 0.10485760000000000000e7 +4 4 1 1 0.52428800000000000000e6 +4 5 1 1 0.52428800000000000000e6 +*** ANSWER *** +3.747737783597048827e-09 -1.461790406501424029e-09 9.999999939323518383e-01 9.999999904864493860e-01 +1 1 1 1 2.649687383563525955e-03 +1 1 1 2 -7.663991686382397306e-04 +1 1 1 3 -7.663991686438186013e-04 +1 1 2 2 6.847934364770016241e-04 +1 1 2 3 -1.369234545880709114e-04 +1 1 3 3 6.847934364770016241e-04 +1 2 1 1 5.242879954231061274e+05 +1 3 1 1 5.242879975035983371e+05 +1 4 1 1 5.242879975035983953e+05 +1 5 1 1 5.242879956969530322e+05 +2 1 1 1 2.499999990358445778e+00 +2 1 1 2 3.499999983127290548e+00 +2 1 1 3 3.499999983127287884e+00 +2 1 2 2 9.851887842779431637e+00 +2 1 2 3 5.499999973485736326e+00 +2 1 3 3 9.851887842782447890e+00 +2 2 1 1 2.410387339424651347e-09 +2 3 1 1 2.410392238849936092e-09 +2 4 1 1 2.410392238849909622e-09 +2 5 1 1 2.410387993082213440e-09 +*** END *** +*** REQUEST *** +"" +22 +23 +4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 +0.13107200000000000000e6 -0.78643200000000000000e6 0.39321600000000000000e6 0.52428800000000000000e6 -0.52428800000000000000e6 -0.10485760000000000000e7 0.52428800000000000000e6 0.65536000000000000000e6 0.13107200000000000000e6 0.52428800000000000000e6 0.39321600000000000000e6 0.0 0.52428800000000000000e6 0.52428800000000000000e6 0.0 0.52428800000000000000e6 0.52428800000000000000e6 0.0 0.52428800000000000000e6 0.52428800000000000000e6 0.0 0.10485760000000000000e7 +0 1 1 2 0.65536000000000000000e5 +0 4 1 1 0.13107200000000000000e6 +1 1 1 1 0.26214400000000000000e6 +1 1 1 2 -0.65536000000000000000e5 +1 4 1 1 -0.13107200000000000000e6 +2 1 1 3 0.26214400000000000000e6 +2 1 2 3 -0.13107200000000000000e6 +2 4 1 1 -0.52428800000000000000e6 +2 8 1 1 -0.26214400000000000000e6 +3 1 1 2 0.19660800000000000000e6 +3 1 1 4 -0.10485760000000000000e7 +3 1 2 2 0.26214400000000000000e6 +3 1 2 3 -0.26214400000000000000e6 +3 1 4 4 0.26214400000000000000e6 +3 2 1 1 -0.26214400000000000000e6 +3 4 1 1 0.14417920000000000000e7 +3 12 1 1 -0.26214400000000000000e6 +3 16 1 1 -0.52428800000000000000e6 +3 20 1 1 -0.52428800000000000000e6 +4 1 1 4 -0.52428800000000000000e6 +4 1 2 4 0.26214400000000000000e6 +4 4 1 1 0.10485760000000000000e7 +4 20 1 1 -0.52428800000000000000e6 +5 1 1 2 0.26214400000000000000e6 +5 1 2 3 -0.26214400000000000000e6 +5 1 3 3 0.26214400000000000000e6 +5 4 1 1 -0.52428800000000000000e6 +5 8 1 1 -0.52428800000000000000e6 +5 12 1 1 0.26214400000000000000e6 +6 1 1 2 0.52428800000000000000e6 +6 1 1 4 -0.52428800000000000000e6 +6 1 2 3 -0.26214400000000000000e6 +6 1 3 4 0.26214400000000000000e6 +6 8 1 1 -0.52428800000000000000e6 +6 16 1 1 -0.52428800000000000000e6 +7 3 1 1 0.26214400000000000000e6 +7 4 1 1 0.26214400000000000000e6 +8 1 1 2 -0.45875200000000000000e6 +8 1 1 4 0.10485760000000000000e7 +8 1 2 3 0.26214400000000000000e6 +8 1 4 4 -0.26214400000000000000e6 +8 2 1 1 0.26214400000000000000e6 +8 4 1 1 -0.91750400000000000000e6 +8 5 1 1 0.26214400000000000000e6 +8 12 1 1 0.26214400000000000000e6 +8 16 1 1 0.52428800000000000000e6 +8 20 1 1 0.52428800000000000000e6 +9 1 1 2 0.13107200000000000000e6 +9 1 2 3 -0.65536000000000000000e5 +9 6 1 1 0.26214400000000000000e6 +9 8 1 1 -0.13107200000000000000e6 +10 7 1 1 0.26214400000000000000e6 +10 8 1 1 0.26214400000000000000e6 +11 1 1 2 -0.13107200000000000000e6 +11 1 2 3 0.65536000000000000000e5 +11 8 1 1 0.13107200000000000000e6 +11 9 1 1 0.26214400000000000000e6 +12 8 1 1 -0.26214400000000000000e6 +12 10 1 1 0.26214400000000000000e6 +13 8 1 1 0.26214400000000000000e6 +13 11 1 1 0.26214400000000000000e6 +14 1 1 2 0.13107200000000000000e6 +14 1 1 4 -0.13107200000000000000e6 +14 4 1 1 0.26214400000000000000e6 +14 13 1 1 0.26214400000000000000e6 +15 14 1 1 0.26214400000000000000e6 +15 20 1 1 -0.26214400000000000000e6 +16 15 1 1 0.26214400000000000000e6 +16 20 1 1 0.26214400000000000000e6 +17 16 1 1 0.26214400000000000000e6 +17 17 1 1 0.26214400000000000000e6 +18 1 1 2 -0.13107200000000000000e6 +18 1 1 4 0.13107200000000000000e6 +18 4 1 1 -0.26214400000000000000e6 +18 18 1 1 0.26214400000000000000e6 +19 19 1 1 0.26214400000000000000e6 +19 20 1 1 0.26214400000000000000e6 +20 16 1 1 0.26214400000000000000e6 +20 21 1 1 0.26214400000000000000e6 +21 16 1 1 -0.26214400000000000000e6 +21 22 1 1 0.26214400000000000000e6 +22 1 1 2 0.26214400000000000000e6 +22 1 1 4 -0.52428800000000000000e6 +22 1 4 4 0.26214400000000000000e6 +22 4 1 1 0.52428800000000000000e6 +22 23 1 1 0.26214400000000000000e6 +*** ANSWER *** +3.262443760984880482e-10 -1.928441637229797230e-10 -1.776323305694536476e-10 2.488328529744646962e-11 -1.776323305698883310e-10 2.488328529739249608e-11 3.076923073747033777e-01 7.692307647450039032e-02 3.076923073747034887e-01 7.692307649261724556e-02 -1.309787991984526048e-10 -1.309768195495314965e-10 7.692307649992799479e-02 3.076923073747034332e-01 7.692307649627259936e-02 -1.309768195495271538e-10 -1.309768195495306693e-10 -1.309787991984621173e-10 -1.309768195495271538e-10 -1.309768195495306693e-10 7.692307649627261323e-02 7.692307647450039032e-02 +1 1 1 1 1.761188214105882666e-04 +1 1 1 2 -5.055294045510543358e-05 +1 1 1 3 -5.055294045499679652e-05 +1 1 1 4 -5.055294045499137551e-05 +1 1 2 2 4.403056601782746708e-05 +1 1 2 3 6.523003941019282553e-06 +1 1 2 4 6.523003941013807332e-06 +1 1 3 3 4.403056601771340901e-05 +1 1 3 4 6.523003940999658494e-06 +1 1 4 4 4.403056601771883002e-05 +1 2 1 1 2.016492309649249728e+04 +1 3 1 1 8.065969231503005722e+04 +1 4 1 1 5.626050934554667655e-05 +1 5 1 1 2.016492304992724530e+04 +1 6 1 1 8.065969231503008632e+04 +1 7 1 1 2.016492305467647384e+04 +1 8 1 1 5.626102829863486102e-05 +1 9 1 1 5.626050934554711024e-05 +1 10 1 1 5.626102829863355997e-05 +1 11 1 1 2.016492305659293925e+04 +1 12 1 1 2.016492304992724530e+04 +1 13 1 1 8.065969231503007177e+04 +1 14 1 1 2.016492305563469927e+04 +1 15 1 1 5.626102829863486102e-05 +1 16 1 1 2.016492305563470291e+04 +1 17 1 1 5.626102829863421050e-05 +1 18 1 1 5.626050934554450815e-05 +1 19 1 1 5.626102829863486102e-05 +1 20 1 1 2.016492305563471382e+04 +1 21 1 1 5.626102829863399366e-05 +1 22 1 1 2.016492305563470291e+04 +1 23 1 1 2.016492304992724530e+04 +2 1 1 1 2.692307686891274088e+00 +2 1 1 2 2.384615375136662330e+00 +2 1 1 3 2.384615375136675652e+00 +2 1 1 4 2.384615375136660997e+00 +2 1 2 2 4.769230747564885853e+00 +2 1 2 3 1.769230758397931202e+00 +2 1 2 4 1.769230758397929648e+00 +2 1 3 3 4.769230747565145201e+00 +2 1 3 4 1.769230758397938530e+00 +2 1 4 4 4.769230747565105233e+00 +2 2 1 1 5.416411704688487048e-09 +2 3 1 1 1.354103665556670836e-09 +2 4 1 1 1.999999998645896948e+00 +2 5 1 1 5.416400578732106790e-09 +2 6 1 1 1.354103665556657601e-09 +2 7 1 1 5.416399627070155880e-09 +2 8 1 1 1.999999994583600671e+00 +2 9 1 1 1.999999998645897392e+00 +2 10 1 1 1.999999994583600893e+00 +2 11 1 1 5.416399630736511522e-09 +2 12 1 1 5.416400578732106790e-09 +2 13 1 1 1.354103665556664219e-09 +2 14 1 1 5.416399628903346936e-09 +2 15 1 1 1.999999994583600449e+00 +2 16 1 1 5.416399628903373406e-09 +2 17 1 1 1.999999994583600227e+00 +2 18 1 1 1.999999998645905608e+00 +2 19 1 1 1.999999994583600449e+00 +2 20 1 1 5.416399628903346936e-09 +2 21 1 1 1.999999994583600227e+00 +2 22 1 1 5.416399628903373406e-09 +2 23 1 1 5.416400578732106790e-09 +*** END *** +*** REQUEST *** +"" +22 +23 +4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 +0.98304000000000000000e5 -0.19660800000000000000e6 0.10813440000000000000e7 0.78643200000000000000e6 -0.65536000000000000000e5 -0.39321600000000000000e6 0.19660800000000000000e6 -0.55705600000000000000e6 0.98304000000000000000e5 0.19660800000000000000e6 0.98304000000000000000e5 0.19660800000000000000e6 0.0 0.19660800000000000000e6 0.39321600000000000000e6 0.0 0.39321600000000000000e6 0.0 0.0 0.19660800000000000000e6 -0.19660800000000000000e6 0.52428800000000000000e6 +0 1 1 2 0.16384000000000000000e5 +0 4 1 1 0.32768000000000000000e5 +1 1 1 1 0.13107200000000000000e6 +1 1 1 2 -0.16384000000000000000e5 +1 4 1 1 -0.32768000000000000000e5 +2 1 1 3 0.13107200000000000000e6 +2 1 2 3 -0.32768000000000000000e5 +2 4 1 1 -0.13107200000000000000e6 +2 8 1 1 -0.65536000000000000000e5 +3 1 1 2 0.18022400000000000000e6 +3 1 1 4 -0.78643200000000000000e6 +3 1 2 2 0.13107200000000000000e6 +3 1 2 3 -0.98304000000000000000e5 +3 1 4 4 0.13107200000000000000e6 +3 2 1 1 -0.13107200000000000000e6 +3 4 1 1 0.15400960000000000000e7 +3 8 1 1 0.65536000000000000000e5 +3 12 1 1 -0.13107200000000000000e6 +3 16 1 1 -0.26214400000000000000e6 +3 20 1 1 -0.26214400000000000000e6 +4 1 1 4 -0.52428800000000000000e6 +4 1 2 4 0.13107200000000000000e6 +4 4 1 1 0.10485760000000000000e7 +4 20 1 1 -0.26214400000000000000e6 +5 1 1 2 0.13107200000000000000e6 +5 1 2 3 -0.98304000000000000000e5 +5 1 3 3 0.13107200000000000000e6 +5 4 1 1 -0.13107200000000000000e6 +5 8 1 1 -0.19660800000000000000e6 +5 12 1 1 0.13107200000000000000e6 +6 1 1 2 0.13107200000000000000e6 +6 1 1 4 -0.26214400000000000000e6 +6 1 2 3 -0.65536000000000000000e5 +6 1 3 4 0.13107200000000000000e6 +6 8 1 1 -0.13107200000000000000e6 +6 16 1 1 -0.26214400000000000000e6 +7 1 1 2 -0.32768000000000000000e5 +7 3 1 1 0.13107200000000000000e6 +7 4 1 1 0.65536000000000000000e5 +8 1 1 2 -0.44236800000000000000e6 +8 1 1 4 0.78643200000000000000e6 +8 1 2 3 0.98304000000000000000e5 +8 1 4 4 -0.13107200000000000000e6 +8 2 1 1 0.13107200000000000000e6 +8 4 1 1 -0.12779520000000000000e7 +8 5 1 1 0.13107200000000000000e6 +8 8 1 1 -0.65536000000000000000e5 +8 12 1 1 0.13107200000000000000e6 +8 16 1 1 0.26214400000000000000e6 +8 20 1 1 0.26214400000000000000e6 +9 1 1 2 0.32768000000000000000e5 +9 1 2 3 -0.16384000000000000000e5 +9 6 1 1 0.13107200000000000000e6 +9 8 1 1 -0.32768000000000000000e5 +10 1 1 2 0.65536000000000000000e5 +10 1 2 3 -0.32768000000000000000e5 +10 7 1 1 0.13107200000000000000e6 +10 8 1 1 0.65536000000000000000e5 +11 1 1 2 -0.65536000000000000000e5 +11 1 2 3 0.16384000000000000000e5 +11 4 1 1 -0.65536000000000000000e5 +11 8 1 1 0.32768000000000000000e5 +11 9 1 1 0.13107200000000000000e6 +12 1 1 2 -0.13107200000000000000e6 +12 1 2 3 0.32768000000000000000e5 +12 4 1 1 0.13107200000000000000e6 +12 8 1 1 -0.65536000000000000000e5 +12 10 1 1 0.13107200000000000000e6 +13 4 1 1 -0.26214400000000000000e6 +13 8 1 1 0.13107200000000000000e6 +13 11 1 1 0.13107200000000000000e6 +14 1 1 2 0.32768000000000000000e5 +14 1 1 4 -0.65536000000000000000e5 +14 4 1 1 0.65536000000000000000e5 +14 13 1 1 0.13107200000000000000e6 +15 1 1 2 0.65536000000000000000e5 +15 1 1 4 -0.13107200000000000000e6 +15 4 1 1 0.39321600000000000000e6 +15 14 1 1 0.13107200000000000000e6 +15 20 1 1 -0.13107200000000000000e6 +16 4 1 1 -0.26214400000000000000e6 +16 15 1 1 0.13107200000000000000e6 +16 20 1 1 0.13107200000000000000e6 +17 1 1 2 0.65536000000000000000e5 +17 1 1 4 -0.13107200000000000000e6 +17 4 1 1 0.13107200000000000000e6 +17 16 1 1 0.13107200000000000000e6 +17 17 1 1 0.13107200000000000000e6 +18 1 1 2 -0.65536000000000000000e5 +18 1 1 4 0.65536000000000000000e5 +18 4 1 1 -0.13107200000000000000e6 +18 18 1 1 0.13107200000000000000e6 +19 1 1 2 -0.13107200000000000000e6 +19 1 1 4 0.13107200000000000000e6 +19 4 1 1 -0.26214400000000000000e6 +19 19 1 1 0.13107200000000000000e6 +19 20 1 1 0.13107200000000000000e6 +20 1 1 2 0.65536000000000000000e5 +20 1 2 3 -0.32768000000000000000e5 +20 8 1 1 -0.65536000000000000000e5 +20 16 1 1 0.13107200000000000000e6 +20 21 1 1 0.13107200000000000000e6 +21 1 1 2 -0.19660800000000000000e6 +21 1 1 4 0.13107200000000000000e6 +21 1 2 3 0.32768000000000000000e5 +21 4 1 1 -0.26214400000000000000e6 +21 8 1 1 0.65536000000000000000e5 +21 16 1 1 -0.13107200000000000000e6 +21 22 1 1 0.13107200000000000000e6 +22 1 1 2 0.13107200000000000000e6 +22 1 1 4 -0.39321600000000000000e6 +22 1 4 4 0.13107200000000000000e6 +22 4 1 1 0.26214400000000000000e6 +22 23 1 1 0.13107200000000000000e6 +*** ANSWER *** +3.087476472932838308e-09 -5.599220188798230900e-10 1.696667090788652357e-09 -7.585872086769537098e-10 1.696667091919626630e-09 -7.585872097203460995e-10 6.101900929071156776e-01 9.999999988345112945e-01 6.101923089931383659e-01 2.694903297227052796e+00 -5.159284692060686403e-11 3.474508995768089692e-01 -8.957711222968784443e-11 6.101924960708472456e-01 2.694910879211895427e+00 3.474568339226595803e-01 3.474469134790802993e-01 -5.159284692061916834e-11 3.474540494067958063e-01 3.474514391727900331e-01 -8.957711222973768206e-11 9.999999988345112945e-01 +1 1 1 1 4.214014615162939986e-04 +1 1 1 2 -7.339009883805774730e-05 +1 1 1 3 -7.339009885861617205e-05 +1 1 1 4 -7.339009886366400053e-05 +1 1 2 2 2.391052941798912576e-04 +1 1 2 3 -9.942954265526821392e-05 +1 1 2 4 -9.942954261570567664e-05 +1 1 3 3 2.391052943281294502e-04 +1 1 3 4 -9.942954275246520396e-05 +1 1 4 4 2.391052942902049255e-04 +1 2 1 1 1.310719996415712667e+05 +1 3 1 1 7.997883587424120924e+04 +1 4 1 1 9.957367624446807368e-06 +1 5 1 1 1.310719998639568075e+05 +1 6 1 1 7.997912634106838959e+04 +1 7 1 1 3.532263649908640073e+05 +1 8 1 1 4.554128122122934292e+04 +1 9 1 1 9.957367624462853560e-06 +1 10 1 1 4.554108432605125563e+04 +1 11 1 1 4.978694001870977745e-06 +1 12 1 1 1.310719998639568075e+05 +1 13 1 1 7.997915086171784787e+04 +1 14 1 1 3.532273587767813005e+05 +1 15 1 1 4.554186215263058693e+04 +1 16 1 1 3.532257163558088359e+05 +1 17 1 1 4.554056186024976341e+04 +1 18 1 1 9.957367624461227256e-06 +1 19 1 1 4.554149718056729034e+04 +1 20 1 1 4.978694001858089292e-06 +1 21 1 1 4.554115505197567836e+04 +1 22 1 1 4.978694001864431874e-06 +1 23 1 1 1.310719998639568075e+05 +2 1 1 1 1.699999996023049320e+01 +2 1 1 2 3.099999992452721997e+01 +2 1 1 3 3.099999992452965003e+01 +2 1 1 4 3.099999992452963227e+01 +2 1 2 2 5.999999986276367991e+01 +2 1 2 3 5.899999985807746583e+01 +2 1 2 4 5.899999985808067748e+01 +2 1 3 3 5.999999986277993003e+01 +2 1 3 4 5.899999985809307645e+01 +2 1 4 4 5.999999986278539410e+01 +2 2 1 1 2.491390976430680748e-09 +2 3 1 1 4.057999840739841877e-09 +2 4 1 1 3.399999991642431496e+01 +2 5 1 1 2.491388146323522403e-09 +2 6 1 1 4.057551293481651249e-09 +2 7 1 1 9.251439275471868728e-10 +2 8 1 1 7.189993371428845551e-09 +2 9 1 1 3.399999991642152253e+01 +2 10 1 1 7.190835205119548276e-09 +2 11 1 1 6.799999982565506684e+01 +2 12 1 1 2.491388146323522403e-09 +2 13 1 1 4.057564903105948333e-09 +2 14 1 1 9.250713315765656345e-10 +2 15 1 1 7.187501291541819584e-09 +2 16 1 1 9.251874560129655048e-10 +2 17 1 1 7.192961689022915883e-09 +2 18 1 1 3.399999991642112462e+01 +2 19 1 1 7.188951268361246584e-09 +2 20 1 1 6.799999982565520895e+01 +2 21 1 1 7.190490750189689351e-09 +2 22 1 1 6.799999982565807954e+01 +2 23 1 1 2.491388146323522403e-09 +*** END *** +*** REQUEST *** +"" +1 +1 +7 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.10000000000000000000e1 +0 1 3 3 -0.10000000000000000000e1 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.10000000000000000000e1 +0 1 6 6 0.10000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.0 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +1 +1 +7 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.0 +0 1 6 6 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 -0.10000000000000000000e1 +1 1 3 3 -0.10000000000000000000e1 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.10000000000000000000e1 +1 1 6 6 0.10000000000000000000e1 +1 1 7 7 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +2 +1 +8 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 0.0 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.0 +0 1 6 6 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.0 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 -0.10000000000000000000e1 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 8 8 0.10000000000000000000e1 +*** ANSWER *** +9.999999997721226164e-01 5.260106438247213182e-11 +1 1 1 1 4.359753825312823519e-10 +1 1 2 2 2.080979069199290178e-10 +1 1 3 3 2.080979069199290178e-10 +1 1 4 4 8.542258307007238156e-11 +1 1 5 5 3.133000356848699727e-10 +1 1 6 6 3.133000356848699727e-10 +1 1 7 7 1.000000000032821523e+00 +1 1 8 8 3.133000356848699727e-10 +2 1 1 1 8.188049870845321987e-01 +2 1 2 2 1.504698012297891685e+00 +2 1 3 3 1.504698012297891685e+00 +2 1 4 4 1.818804987084531977e+00 +2 1 5 5 1.003132008198594827e+00 +2 1 6 6 1.003132008198594827e+00 +2 1 7 7 2.278513598855943590e-16 +2 1 8 8 1.003132008198594827e+00 +*** END *** +*** REQUEST *** +"" +2 +1 +8 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 0.0 +0 1 3 3 -0.20000000000000000000e1 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.0 +0 1 6 6 0.20000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.0 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 -0.10000000000000000000e1 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 8 8 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +2 +1 +8 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 0.0 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.20000000000000000000e1 +0 1 6 6 0.0 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.0 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 -0.10000000000000000000e1 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 8 8 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +2 +1 +8 +0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 0.10000000000000000000e1 +0 1 1 1 -0.10000000000000000000e1 +0 1 2 2 -0.20000000000000000000e1 +0 1 3 3 -0.20000000000000000000e1 +0 1 4 4 0.10000000000000000000e1 +0 1 5 5 0.20000000000000000000e1 +0 1 6 6 0.20000000000000000000e1 +1 1 1 1 -0.10000000000000000000e1 +1 1 2 2 0.0 +1 1 3 3 0.0 +1 1 4 4 0.10000000000000000000e1 +1 1 5 5 0.0 +1 1 6 6 0.0 +1 1 7 7 0.10000000000000000000e1 +2 1 1 1 -0.10000000000000000000e1 +2 1 2 2 -0.10000000000000000000e1 +2 1 3 3 -0.10000000000000000000e1 +2 1 4 4 0.10000000000000000000e1 +2 1 5 5 0.10000000000000000000e1 +2 1 6 6 0.10000000000000000000e1 +2 1 8 8 0.10000000000000000000e1 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +5 +5 +3 1 1 1 1 +0.26214400000000000000e6 -0.52428800000000000000e6 -0.10485760000000000000e7 -0.26214400000000000000e6 0.26214400000000000000e6 +0 1 2 3 0.26214400000000000000e6 +1 1 1 1 0.52428800000000000000e6 +1 1 2 3 -0.26214400000000000000e6 +2 1 1 2 0.52428800000000000000e6 +2 4 1 1 -0.10485760000000000000e7 +3 1 1 3 0.52428800000000000000e6 +3 1 2 2 -0.10485760000000000000e7 +3 1 2 3 -0.52428800000000000000e6 +3 1 3 3 -0.10485760000000000000e7 +3 2 1 1 -0.10485760000000000000e7 +3 4 1 1 0.10485760000000000000e7 +4 1 2 2 -0.52428800000000000000e6 +4 1 2 3 -0.26214400000000000000e6 +4 1 3 3 -0.52428800000000000000e6 +4 2 1 1 -0.52428800000000000000e6 +4 3 1 1 0.52428800000000000000e6 +4 4 1 1 0.52428800000000000000e6 +5 1 2 3 -0.26214400000000000000e6 +5 5 1 1 0.52428800000000000000e6 +*** ANSWER *** +9.047144874924371027e-01 -5.064741778153802887e-01 -5.064741778153802887e-01 -5.930522447965591743e-10 -5.107846741314545763e-10 +1 1 1 1 4.743309499813240836e+05 +1 1 1 2 -2.655383337384701008e+05 +1 1 1 3 -2.655383337384701008e+05 +1 1 2 2 5.310766685507595539e+05 +1 1 2 3 -2.337711405813831079e+05 +1 1 3 3 5.310766685507595539e+05 +1 2 1 1 5.310766685507595539e+05 +1 3 1 1 4.519590034942119056e-04 +1 4 1 1 4.519590034938267969e-04 +1 5 1 1 4.950909035830765303e-04 +2 1 1 1 2.471779781726127112e+00 +2 1 1 2 2.207669675333442161e+00 +2 1 1 3 2.207669675333438608e+00 +2 1 2 2 1.971779783321543578e+00 +2 1 2 3 1.971779781726131109e+00 +2 1 3 3 1.971779783321534030e+00 +2 2 1 1 2.297684312249977835e-09 +2 3 1 1 2.707669675333437276e+00 +2 4 1 1 2.707669675333446158e+00 +2 5 1 1 2.471779781726130665e+00 +*** END *** +*** REQUEST *** +"" +4 +4 +3 1 1 1 +0.0 -0.10485760000000000000e7 -0.10485760000000000000e7 0.52428800000000000000e6 +0 4 1 1 0.52428800000000000000e6 +1 1 1 1 0.52428800000000000000e6 +1 4 1 1 -0.52428800000000000000e6 +2 1 1 3 0.52428800000000000000e6 +2 2 1 1 -0.10485760000000000000e7 +3 1 2 3 0.52428800000000000000e6 +3 4 1 1 -0.10485760000000000000e7 +4 1 1 2 -0.26214400000000000000e6 +4 3 1 1 0.52428800000000000000e6 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +13 +5 +3 1 3 3 1 +-0.52428800000000000000e6 0.26214400000000000000e6 -0.52428800000000000000e6 0.0 0.0 0.26214400000000000000e6 -0.52428800000000000000e6 -0.52428800000000000000e6 -0.52428800000000000000e6 0.0 -0.15728640000000000000e7 0.26214400000000000000e6 0.26214400000000000000e6 +0 3 1 2 0.26214400000000000000e6 +1 1 2 2 -0.52428800000000000000e6 +1 1 3 3 -0.52428800000000000000e6 +1 2 1 1 -0.52428800000000000000e6 +1 3 1 2 -0.26214400000000000000e6 +1 3 2 3 0.26214400000000000000e6 +1 4 1 1 0.52428800000000000000e6 +2 1 1 1 0.52428800000000000000e6 +2 3 1 2 -0.26214400000000000000e6 +3 1 1 2 0.52428800000000000000e6 +3 4 1 1 -0.10485760000000000000e7 +4 1 1 3 0.52428800000000000000e6 +4 3 2 3 -0.52428800000000000000e6 +5 1 2 3 0.52428800000000000000e6 +5 3 1 2 -0.52428800000000000000e6 +6 3 1 1 0.52428800000000000000e6 +6 3 2 3 -0.26214400000000000000e6 +7 1 3 3 -0.10485760000000000000e7 +7 3 1 3 0.52428800000000000000e6 +8 1 2 2 -0.52428800000000000000e6 +8 1 3 3 -0.52428800000000000000e6 +8 2 1 1 -0.52428800000000000000e6 +8 3 1 2 -0.26214400000000000000e6 +8 3 2 2 0.52428800000000000000e6 +8 3 2 3 0.26214400000000000000e6 +9 1 2 2 -0.10485760000000000000e7 +9 4 1 2 0.52428800000000000000e6 +10 3 1 2 -0.52428800000000000000e6 +10 4 1 3 0.52428800000000000000e6 +11 1 2 2 -0.10485760000000000000e7 +11 1 3 3 -0.10485760000000000000e7 +11 2 1 1 -0.10485760000000000000e7 +11 3 1 2 -0.52428800000000000000e6 +11 3 2 3 0.52428800000000000000e6 +11 4 2 3 0.52428800000000000000e6 +12 3 2 3 -0.26214400000000000000e6 +12 4 3 3 0.52428800000000000000e6 +13 3 1 2 -0.26214400000000000000e6 +13 5 1 1 0.52428800000000000000e6 +*** ANSWER *** +-1.012948320513268552e+00 9.047145821079158878e-01 -5.064741603588832630e-01 -5.064741603588832630e-01 -4.458831281886147524e-01 2.044980250495614137e-10 1.111290879578053088e-10 1.019705848061837975e-09 1.111290879576005816e-10 -9.949722090615694364e-10 -9.263322610230704047e-10 1.019705848060842049e-09 -4.045704076956443299e-10 +1 1 1 1 4.743309993681204505e+05 +1 1 1 2 -2.655383245862381882e+05 +1 1 1 3 -2.655383245862381882e+05 +1 1 2 2 5.310766499293688685e+05 +1 1 2 3 -2.337711735117524513e+05 +1 1 3 3 5.310766499293688685e+05 +1 2 1 1 5.310766500458961818e+05 +1 3 1 1 6.511412848813208365e-04 +1 3 1 2 -5.216519895448537558e-04 +1 3 1 3 5.826364726722182974e-05 +1 3 2 2 1.078544963992785627e-03 +1 3 2 3 -4.856648884674075184e-04 +1 3 3 3 5.439254243241372494e-04 +1 4 1 1 6.511412848810363418e-04 +1 4 1 2 5.826364726711449372e-05 +1 4 1 3 -5.216519895444721167e-04 +1 4 2 2 5.439254243241372494e-04 +1 4 2 3 -4.856648884672635363e-04 +1 4 3 3 1.078544963992258271e-03 +1 5 1 1 3.318140144142021908e-04 +2 1 1 1 2.471779784015072590e+00 +2 1 1 2 2.207669677867132307e+00 +2 1 1 3 2.207669677867131863e+00 +2 1 2 2 1.971779785087414361e+00 +2 1 2 3 1.971779784015081916e+00 +2 1 3 3 1.971779785087414361e+00 +2 2 1 1 1.544355457647137967e-09 +2 3 1 1 2.707669677867134972e+00 +2 3 1 2 1.971779784015081027e+00 +2 3 1 3 1.471779785087417691e+00 +2 3 2 2 2.707669677867122537e+00 +2 3 2 3 2.207669677867134084e+00 +2 3 3 3 4.770816905321185075e+00 +2 4 1 1 2.707669677867137192e+00 +2 4 1 2 1.471779785087416359e+00 +2 4 1 3 1.971779784015072146e+00 +2 4 2 2 4.770816905321144219e+00 +2 4 2 3 2.207669677867131419e+00 +2 4 3 3 2.707669677867135416e+00 +2 5 1 1 2.471779784015080583e+00 +*** END *** +*** REQUEST *** +"" +3 +4 +3 1 1 1 +-0.10485760000000000000e7 -0.10485760000000000000e7 0.52428800000000000000e6 +0 1 1 1 0.52428800000000000000e6 +1 1 1 3 0.52428800000000000000e6 +1 2 1 1 -0.10485760000000000000e7 +2 1 2 3 0.52428800000000000000e6 +2 4 1 1 -0.10485760000000000000e7 +3 1 1 2 -0.26214400000000000000e6 +3 3 1 1 0.52428800000000000000e6 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +9 +4 +3 3 3 1 +-0.10485760000000000000e7 0.52428800000000000000e6 -0.10485760000000000000e7 0.52428800000000000000e6 -0.10485760000000000000e7 0.52428800000000000000e6 0.52428800000000000000e6 -0.10485760000000000000e7 0.52428800000000000000e6 +0 1 1 1 0.52428800000000000000e6 +1 1 1 3 0.52428800000000000000e6 +1 2 1 1 -0.10485760000000000000e7 +2 1 2 2 0.52428800000000000000e6 +2 3 1 2 -0.26214400000000000000e6 +3 1 2 3 0.52428800000000000000e6 +3 4 1 1 -0.10485760000000000000e7 +4 1 3 3 0.52428800000000000000e6 +4 2 1 3 -0.26214400000000000000e6 +5 2 1 2 0.52428800000000000000e6 +5 4 1 1 -0.10485760000000000000e7 +6 2 2 2 0.52428800000000000000e6 +6 3 2 3 -0.26214400000000000000e6 +7 1 1 2 -0.26214400000000000000e6 +7 3 1 1 0.52428800000000000000e6 +8 3 1 3 0.52428800000000000000e6 +8 4 1 1 -0.10485760000000000000e7 +9 2 2 3 -0.26214400000000000000e6 +9 3 3 3 0.52428800000000000000e6 +*** ANSWER *** +Infeasible +*** END *** +*** REQUEST *** +"" +25 +5 +6 1 3 3 3 +-0.26214400000000000000e6 -0.26214400000000000000e6 0.0 -0.26214400000000000000e6 0.0 0.0 0.0 -0.10485760000000000000e7 0.13107200000000000000e6 0.0 0.13107200000000000000e6 0.13107200000000000000e6 0.0 0.13107200000000000000e6 0.13107200000000000000e6 -0.26214400000000000000e6 0.0 0.0 0.13107200000000000000e6 0.13107200000000000000e6 0.0 0.0 -0.39321600000000000000e6 0.0 0.13107200000000000000e6 +0 1 1 1 0.52428800000000000000e6 +1 1 1 2 0.52428800000000000000e6 +1 4 1 1 -0.10485760000000000000e7 +2 1 1 3 0.52428800000000000000e6 +2 1 2 2 -0.10485760000000000000e7 +3 1 1 5 0.52428800000000000000e6 +3 3 1 2 -0.52428800000000000000e6 +4 1 2 3 0.52428800000000000000e6 +4 4 2 2 -0.10485760000000000000e7 +5 1 2 4 0.52428800000000000000e6 +5 3 1 2 -0.52428800000000000000e6 +6 1 2 6 0.52428800000000000000e6 +6 3 2 3 -0.52428800000000000000e6 +7 1 2 5 -0.52428800000000000000e6 +7 1 3 4 0.52428800000000000000e6 +8 1 1 1 -0.10485760000000000000e7 +8 1 3 3 -0.10485760000000000000e7 +8 1 3 5 0.52428800000000000000e6 +8 1 5 6 0.52428800000000000000e6 +8 1 6 6 -0.10485760000000000000e7 +8 2 1 1 -0.10485760000000000000e7 +9 1 1 6 -0.26214400000000000000e6 +9 1 4 4 0.52428800000000000000e6 +10 1 4 5 0.52428800000000000000e6 +10 3 2 3 -0.52428800000000000000e6 +11 1 3 6 -0.26214400000000000000e6 +11 1 5 5 0.52428800000000000000e6 +12 1 1 4 -0.26214400000000000000e6 +12 3 1 1 0.52428800000000000000e6 +13 1 1 6 -0.52428800000000000000e6 +13 3 1 3 0.52428800000000000000e6 +14 1 2 5 -0.26214400000000000000e6 +14 3 2 2 0.52428800000000000000e6 +15 1 4 6 -0.26214400000000000000e6 +15 3 3 3 0.52428800000000000000e6 +16 1 2 2 -0.10485760000000000000e7 +16 4 1 2 0.52428800000000000000e6 +17 3 1 2 -0.52428800000000000000e6 +17 4 1 3 0.52428800000000000000e6 +18 1 2 5 -0.52428800000000000000e6 +18 4 2 3 0.52428800000000000000e6 +19 3 2 3 -0.26214400000000000000e6 +19 4 3 3 0.52428800000000000000e6 +20 3 1 2 -0.26214400000000000000e6 +20 5 1 1 0.52428800000000000000e6 +21 1 2 5 -0.52428800000000000000e6 +21 5 1 2 0.52428800000000000000e6 +22 3 2 3 -0.52428800000000000000e6 +22 5 1 3 0.52428800000000000000e6 +23 1 1 1 -0.52428800000000000000e6 +23 1 3 3 -0.52428800000000000000e6 +23 1 5 6 0.26214400000000000000e6 +23 1 6 6 -0.52428800000000000000e6 +23 2 1 1 -0.52428800000000000000e6 +23 5 2 2 0.52428800000000000000e6 +24 1 3 6 -0.52428800000000000000e6 +24 5 2 3 0.52428800000000000000e6 +25 1 5 6 -0.26214400000000000000e6 +25 5 3 3 0.52428800000000000000e6 +*** ANSWER *** +-7.916943033182521381e-09 -1.330167278474967854e-08 2.839387992603931062e-08 -1.486109627576174933e-08 -2.500967340258923949e-08 -3.506878774963483416e-05 -3.506875705570838906e-05 -5.000000230394303635e-01 3.577818694521318225e-08 3.508200259370645947e-05 9.999549542064554153e-01 1.584540329901900197e-08 -2.895219656276130068e-09 2.971289228399461087e-08 2.971558552120304265e-08 -2.899295308230415515e-09 -2.888617981935093913e-09 -2.805579863517312772e-08 2.972120342825335693e-08 4.776018989594649719e-09 -1.102644963838510499e-11 -1.170838696338804929e-11 1.898844521394434673e-08 -1.939397633143706755e-08 1.898845998838254815e-08 +1 1 1 1 1.441743606946836384e-02 +1 1 1 2 -4.150758228981197770e-03 +1 1 1 3 -6.973907420970839460e-03 +1 1 1 4 -4.153777402418037251e-03 +1 1 1 5 1.488657051866329808e-02 +1 1 1 6 -7.861108115416265418e-03 +1 1 2 2 1.720220257258044116e-02 +1 1 2 3 -7.791494444226576034e-03 +1 1 2 4 -1.311227164889670720e-02 +1 1 2 5 1.839305454237841175e+01 +1 1 2 6 -1.838614459168054793e+01 +1 1 3 3 5.242880144174360903e+05 +1 1 3 4 -1.838612849922323988e+01 +1 1 3 5 -2.621440120792968664e+05 +1 1 3 6 -2.621321813474679948e+05 +1 1 4 4 1.897233033064767843e-02 +1 1 4 5 1.839307297584917222e+01 +1 1 4 6 -7.789762450870250411e-03 +1 1 5 5 5.242643832452503266e+05 +1 1 5 6 -2.621440120793007663e+05 +1 1 6 6 5.242880144174360903e+05 +1 2 1 1 5.242880144174360903e+05 +1 3 1 1 8.521811058351824036e-03 +1 3 1 2 -1.511835847262102926e-03 +1 3 1 3 -1.517928923149699681e-03 +1 3 2 2 1.579236912330671261e-02 +1 3 2 3 -1.471348075333540548e-02 +1 3 3 3 1.579378115525624862e-02 +1 4 1 1 8.515772711478143339e-03 +1 4 1 2 -1.520065738561508090e-03 +1 4 1 3 -1.514467744512786518e-03 +1 4 2 2 1.579724514196889640e-02 +1 4 2 3 -1.470931855483764879e-02 +1 4 3 3 1.579672655650784380e-02 +1 5 1 1 2.718265697532347945e-03 +1 5 1 2 -5.781035228009649926e-06 +1 5 1 3 -6.138566784260793586e-06 +1 5 2 2 1.016967021784420146e-02 +1 5 2 3 -1.016802906285647727e-02 +1 5 3 3 1.016967796390485720e-02 +2 1 1 1 1.249993912240210836e+00 +2 1 1 2 1.231597185683769968e+00 +2 1 1 3 2.052747998193592771e+00 +2 1 1 4 1.238763761641055616e+00 +2 1 1 5 2.052687273841288906e+00 +2 1 1 6 2.052771626245677439e+00 +2 1 2 2 2.302747999217676256e+00 +2 1 2 3 5.823224537701950254e+00 +2 1 2 4 2.052687274586320942e+00 +2 1 2 5 5.823241932387429820e+00 +2 1 2 6 5.823267226998142476e+00 +2 1 3 3 2.631900315650279026e+03 +2 1 3 4 5.823241931071816424e+00 +2 1 3 5 2.632025688796206850e+03 +2 1 3 6 2.631901068069581470e+03 +2 1 4 4 2.302771626672899252e+00 +2 1 4 5 5.823267225670033298e+00 +2 1 4 6 5.823270303448214946e+00 +2 1 5 5 2.632151067961593981e+03 +2 1 5 6 2.632026441242856890e+03 +2 1 6 6 2.631901820492338629e+03 +2 2 1 1 1.747738372164187691e-08 +2 3 1 1 1.488763761646217043e+00 +2 3 1 2 2.052687274583042232e+00 +2 3 1 3 2.052771626347671408e+00 +2 3 2 2 6.073241933333505926e+00 +2 3 2 3 5.823267227279379732e+00 +2 3 3 3 6.073270301862446985e+00 +2 4 1 1 1.481597185690013863e+00 +2 4 1 2 2.052747999244148858e+00 +2 4 1 3 2.052687274585525579e+00 +2 4 2 2 6.073224540740311816e+00 +2 4 2 3 5.823241932556135758e+00 +2 4 3 3 6.073267227258479117e+00 +2 5 1 1 2.302687274583710586e+00 +2 5 1 2 5.823241934055713998e+00 +2 5 1 3 5.823267227229968590e+00 +2 5 2 2 2.632275688801426440e+03 +2 5 2 3 2.631901068030446822e+03 +2 5 3 3 2.632276441320564118e+03 +*** END *** diff --git a/test-suite/micromega/zomicron.v b/test-suite/micromega/zomicron.v index 3087db1ad..60c16a998 100644 --- a/test-suite/micromega/zomicron.v +++ b/test-suite/micromega/zomicron.v @@ -26,3 +26,11 @@ Proof. lia. Qed. +Lemma compact_proof : forall z, + (z < 0) -> + (z >= 0) -> + (0 >= z \/ 0 < z) -> False. +Proof. + intros. + lia. +Qed.
\ No newline at end of file |