test shorter, easier and hopefully not machine dependent

git-svn-id: https://svn.dealii.org/trunk@3514 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/tests/lac/vector-vector.cc b/tests/lac/vector-vector.cc
index 64e8ca83ab577757334d25aee47c727a69719c93..1799acc847c239833dac753485c63582388e4e54 100644 (file)
--- a/tests/lac/vector-vector.cc
+++ b/tests/lac/vector-vector.cc
@@ -20,7 +20,7 @@
 
 
 
-const unsigned int N=50;
+const unsigned int N=10;
 unsigned int check_point = 0;
 
 
@@ -29,11 +29,11 @@ unsigned int check_point = 0;
 template <typename number>
 void print (const Vector<number> &v) 
 {
-  deallog << "Check point " << check_point << endl;
-  check_point++;
+//  deallog << "Check point " << check_point << endl;
+//  check_point++;
   
   for (unsigned int i=0; i<v.size(); ++i)
-    deallog << v(i) << ' ';
+    deallog << v(i) << '\t';
   deallog << endl;
 };
 
@@ -42,14 +42,20 @@ void print (const Vector<number> &v)
 template <typename number1, typename number2>
 void check_vectors (Vector<number1> &d1, Vector<number2> &d2)
 {
+  deallog << "Fill & Swap" << endl;
+  Vector<number1> d3(d1.size());
+  print (d3);
+  
   for (unsigned int i=0; i<N; ++i)
     {
-      d1(i) = 1. * i / 3;
-      d2(i) = d1(i)*d1(i) / 2;
+      d1(i) = 2. * i;
+      d2(i) = .5 * d1(i)*d1(i);
+      d3(i) = 2. - .5 * i;
     };
 
   print (d1);
   print (d2);
+  print (d3);
 
   swap (d1, d2);
   print (d1);
@@ -57,44 +63,79 @@ void check_vectors (Vector<number1> &d1, Vector<number2> &d2)
   d1 = d2;
   print (d1);
   
-  d1 = 2.871;
+  d1 = 2.5;
   print (d1);
   
-  deallog << d1 * d2 << ' ' << d2.norm_sqr() << endl;
-  deallog << d1.mean_value() << ' ' << d2.l1_norm() << endl;
-  deallog << d1.l2_norm() << ' ' << d1.linfty_norm() << endl;
+  deallog << "Extract number" << endl;
+                                  // Each line should contain two equal numbers
+  double sum = 0.;
+  for (unsigned int i=0;i<N;++i)
+    sum += 4.*i-i*i;
+  deallog << d3 * d2 << '\t' << sum << endl;
+
+  sum = 0.;
+  for (unsigned int i=0;i<N;++i)
+    sum += 4.*i*i;
+  deallog << d2.norm_sqr() << '\t' << sum << endl;
+
+  sum = sqrt(sum);
+  deallog << d2.l2_norm() << '\t' << sum << endl;
+
+  sum = 0.;
+  for (unsigned int i=0;i<N;++i)
+    sum += (2.-.5*i)/N;
+  deallog << d3.mean_value() << '\t' << sum << endl;
+
+  sum = 0.;
+  for (unsigned int i=0;i<N;++i)
+    sum += fabs(2.-.5*i);
+  deallog << d3.l1_norm() << '\t' << sum << endl;
+
+  sum = 0.;
+  for (unsigned int i=0;i<N;++i)
+    {
+      double t = fabs(2.-.5*i);
+      if (t>sum) sum = t;
+    }
+  deallog << d3.linfty_norm() << '\t' << sum << endl;
 
+  deallog << "add & sub" << endl;
+  
   d1 += d2;
   print (d1);
   
   d2 -= d1;
   print (d2);
   
-  d1.add (2.54);
+  d1.add (1.5);
   print (d1);
   
-  d1.add (6.7, d2);
+  d1.add (2, d3);
   print (d1);
   
-  d1.add (2.3, d2, 3.4, d2);
+  d1.add (2., d2, .5, d3);
   print (d1);
   
-  d2.sadd (1.1, d1);
+  deallog << "sadd & scale" << endl;
+  
+  d2.sadd (2., d1);
   print (d2);
   
-  d2.sadd (1.3, 1.7, d1);
+  d2.sadd (2., .5, d1);
   print (d2);
   
-  d1.sadd (12, 17, d2, 14, d2);
+  d1.sadd (2, 2, d2, 2, d3);
   print (d1);
   
-  d1.scale (3.14154);
+  d1.scale (4.);
   print (d1);
   
-  d2.equ (1.569, d1);
+  deallog << "equ" << endl;
+  
+  d2.equ (.25, d1);
   print (d2);
   
-  d2.equ (1.876, d1, 1867, d1);
+  d2.equ (.25, d1, 2, d3);
   print (d2);
   
   d1.ratio (d1, d2);
@@ -106,7 +147,7 @@ int main()
 {
   ofstream logfile("vector-vector.output");
   logfile.setf(ios::fixed);
-  logfile.precision(5);
+  logfile.precision(2);
   deallog.attach(logfile);
   deallog.depth_console(0);
   

diff --git a/tests/lac/vector-vector.checked b/tests/lac/vector-vector.checked
index ccd58f0ae2fba5bd9ac979ca512c4ad18f795ac3..38d8d968a7a81ed179f0859094f8148a84fb9549 100644 (file)
--- a/tests/lac/vector-vector.checked
+++ b/tests/lac/vector-vector.checked
@@ -1,112 +1,91 @@
 
-DEAL::Check point 0
-DEAL::0.00000 0.33333 0.66667 1.00000 1.33333 1.66667 2.00000 2.33333 2.66667 3.00000 3.33333 3.66667 4.00000 4.33333 4.66667 5.00000 5.33333 5.66667 6.00000 6.33333 6.66667 7.00000 7.33333 7.66667 8.00000 8.33333 8.66667 9.00000 9.33333 9.66667 10.00000 10.33333 10.66667 11.00000 11.33333 11.66667 12.00000 12.33333 12.66667 13.00000 13.33333 13.66667 14.00000 14.33333 14.66667 15.00000 15.33333 15.66667 16.00000 16.33333 
-DEAL::Check point 1
-DEAL::0.00000 0.05556 0.22222 0.50000 0.88889 1.38889 2.00000 2.72222 3.55556 4.50000 5.55556 6.72222 8.00000 9.38889 10.88889 12.50000 14.22222 16.05556 18.00000 20.05556 22.22222 24.50000 26.88889 29.38889 32.00000 34.72222 37.55556 40.50000 43.55556 46.72222 50.00000 53.38889 56.88889 60.50000 64.22222 68.05556 72.00000 76.05556 80.22222 84.50000 88.88889 93.38889 98.00000 102.72222 107.55556 112.50000 117.55556 122.72222 128.00000 133.38889 
-DEAL::Check point 2
-DEAL::0.00000 0.05556 0.22222 0.50000 0.88889 1.38889 2.00000 2.72222 3.55556 4.50000 5.55556 6.72222 8.00000 9.38889 10.88889 12.50000 14.22222 16.05556 18.00000 20.05556 22.22222 24.50000 26.88889 29.38889 32.00000 34.72222 37.55556 40.50000 43.55556 46.72222 50.00000 53.38889 56.88889 60.50000 64.22222 68.05556 72.00000 76.05556 80.22222 84.50000 88.88889 93.38889 98.00000 102.72222 107.55556 112.50000 117.55556 122.72222 128.00000 133.38889 
-DEAL::Check point 3
-DEAL::0.00000 0.33333 0.66667 1.00000 1.33333 1.66667 2.00000 2.33333 2.66667 3.00000 3.33333 3.66667 4.00000 4.33333 4.66667 5.00000 5.33333 5.66667 6.00000 6.33333 6.66667 7.00000 7.33333 7.66667 8.00000 8.33333 8.66667 9.00000 9.33333 9.66667 10.00000 10.33333 10.66667 11.00000 11.33333 11.66667 12.00000 12.33333 12.66667 13.00000 13.33333 13.66667 14.00000 14.33333 14.66667 15.00000 15.33333 15.66667 16.00000 16.33333 
-DEAL::Check point 4
-DEAL::2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 
-DEAL::1172.32500 4491.66667
-DEAL::2.87100 408.33333
-DEAL::20.30104 2.87100
-DEAL::Check point 5
-DEAL::2.87100 3.20433 3.53767 3.87100 4.20433 4.53767 4.87100 5.20433 5.53767 5.87100 6.20433 6.53767 6.87100 7.20433 7.53767 7.87100 8.20433 8.53767 8.87100 9.20433 9.53767 9.87100 10.20433 10.53767 10.87100 11.20433 11.53767 11.87100 12.20433 12.53767 12.87100 13.20433 13.53767 13.87100 14.20433 14.53767 14.87100 15.20433 15.53767 15.87100 16.20433 16.53767 16.87100 17.20433 17.53767 17.87100 18.20433 18.53767 18.87100 19.20433 
-DEAL::Check point 6
-DEAL::-2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 
-DEAL::Check point 7
-DEAL::5.41100 5.74433 6.07767 6.41100 6.74433 7.07767 7.41100 7.74433 8.07767 8.41100 8.74433 9.07767 9.41100 9.74433 10.07767 10.41100 10.74433 11.07767 11.41100 11.74433 12.07767 12.41100 12.74433 13.07767 13.41100 13.74433 14.07767 14.41100 14.74433 15.07767 15.41100 15.74433 16.07767 16.41100 16.74433 17.07767 17.41100 17.74433 18.07767 18.41100 18.74433 19.07767 19.41100 19.74433 20.07767 20.41100 20.74433 21.07767 21.41100 21.74433 
-DEAL::Check point 8
-DEAL::-13.82470 -13.49137 -13.15803 -12.82470 -12.49137 -12.15803 -11.82470 -11.49137 -11.15803 -10.82470 -10.49137 -10.15803 -9.82470 -9.49137 -9.15803 -8.82470 -8.49137 -8.15803 -7.82470 -7.49137 -7.15803 -6.82470 -6.49137 -6.15803 -5.82470 -5.49137 -5.15803 -4.82470 -4.49137 -4.15803 -3.82470 -3.49137 -3.15803 -2.82470 -2.49137 -2.15803 -1.82470 -1.49137 -1.15803 -0.82470 -0.49137 -0.15803 0.17530 0.50863 0.84197 1.17530 1.50863 1.84197 2.17530 2.50863 
-DEAL::Check point 9
-DEAL::-30.18940 -29.85607 -29.52273 -29.18940 -28.85607 -28.52273 -28.18940 -27.85607 -27.52273 -27.18940 -26.85607 -26.52273 -26.18940 -25.85607 -25.52273 -25.18940 -24.85607 -24.52273 -24.18940 -23.85607 -23.52273 -23.18940 -22.85607 -22.52273 -22.18940 -21.85607 -21.52273 -21.18940 -20.85607 -20.52273 -20.18940 -19.85607 -19.52273 -19.18940 -18.85607 -18.52273 -18.18940 -17.85607 -17.52273 -17.18940 -16.85607 -16.52273 -16.18940 -15.85607 -15.52273 -15.18940 -14.85607 -14.52273 -14.18940 -13.85607 
-DEAL::Check point 10
-DEAL::-33.34750 -33.01417 -32.68083 -32.34750 -32.01417 -31.68083 -31.34750 -31.01417 -30.68083 -30.34750 -30.01417 -29.68083 -29.34750 -29.01417 -28.68083 -28.34750 -28.01417 -27.68083 -27.34750 -27.01417 -26.68083 -26.34750 -26.01417 -25.68083 -25.34750 -25.01417 -24.68083 -24.34750 -24.01417 -23.68083 -23.34750 -23.01417 -22.68083 -22.34750 -22.01417 -21.68083 -21.34750 -21.01417 -20.68083 -20.34750 -20.01417 -19.68083 -19.34750 -19.01417 -18.68083 -18.34750 -18.01417 -17.68083 -17.34750 -17.01417 
-DEAL::Check point 11
-DEAL::-94.67373 -93.67373 -92.67373 -91.67373 -90.67373 -89.67373 -88.67373 -87.67373 -86.67373 -85.67373 -84.67373 -83.67373 -82.67373 -81.67373 -80.67373 -79.67373 -78.67373 -77.67373 -76.67373 -75.67373 -74.67373 -73.67373 -72.67373 -71.67373 -70.67373 -69.67373 -68.67373 -67.67373 -66.67373 -65.67373 -64.67373 -63.67373 -62.67373 -61.67373 -60.67373 -59.67373 -58.67373 -57.67373 -56.67373 -55.67373 -54.67373 -53.67373 -52.67373 -51.67373 -50.67373 -49.67373 -48.67373 -47.67373 -46.67373 -45.67373 
-DEAL::Check point 12
-DEAL::-3297.15843 -3262.15843 -3227.15843 -3192.15843 -3157.15843 -3122.15843 -3087.15843 -3052.15843 -3017.15843 -2982.15843 -2947.15843 -2912.15843 -2877.15843 -2842.15843 -2807.15843 -2772.15843 -2737.15843 -2702.15843 -2667.15843 -2632.15843 -2597.15843 -2562.15843 -2527.15843 -2492.15843 -2457.15843 -2422.15843 -2387.15843 -2352.15843 -2317.15843 -2282.15843 -2247.15843 -2212.15843 -2177.15843 -2142.15843 -2107.15843 -2072.15843 -2037.15843 -2002.15843 -1967.15843 -1932.15843 -1897.15843 -1862.15843 -1827.15843 -1792.15843 -1757.15843 -1722.15843 -1687.15843 -1652.15843 -1617.15843 -1582.15843 
-DEAL::Check point 13
-DEAL::-10358.15509 -10248.20119 -10138.24729 -10028.29339 -9918.33949 -9808.38559 -9698.43169 -9588.47779 -9478.52389 -9368.56999 -9258.61609 -9148.66219 -9038.70829 -8928.75439 -8818.80049 -8708.84659 -8598.89269 -8488.93879 -8378.98489 -8269.03099 -8159.07709 -8049.12319 -7939.16929 -7829.21539 -7719.26149 -7609.30759 -7499.35369 -7389.39979 -7279.44589 -7169.49199 -7059.53809 -6949.58419 -6839.63029 -6729.67639 -6619.72249 -6509.76859 -6399.81469 -6289.86079 -6179.90689 -6069.95299 -5959.99909 -5850.04519 -5740.09129 -5630.13739 -5520.18349 -5410.22959 -5300.27569 -5190.32179 -5080.36789 -4970.41399 
-DEAL::Check point 14
-DEAL::-16251.94534 -16079.42767 -15906.91000 -15734.39234 -15561.87467 -15389.35700 -15216.83933 -15044.32166 -14871.80399 -14699.28632 -14526.76865 -14354.25098 -14181.73331 -14009.21564 -13836.69798 -13664.18031 -13491.66264 -13319.14497 -13146.62730 -12974.10963 -12801.59196 -12629.07429 -12456.55662 -12284.03895 -12111.52128 -11939.00362 -11766.48595 -11593.96828 -11421.45061 -11248.93294 -11076.41527 -10903.89760 -10731.37993 -10558.86226 -10386.34459 -10213.82692 -10041.30926 -9868.79159 -9696.27392 -9523.75625 -9351.23858 -9178.72091 -9006.20324 -8833.68557 -8661.16790 -8488.65023 -8316.13256 -8143.61490 -7971.09723 -7798.57956 
-DEAL::Check point 15
-DEAL::-19358107.45979 -19152617.25498 -18947127.05016 -18741636.84535 -18536146.64053 -18330656.43571 -18125166.23090 -17919676.02608 -17714185.82126 -17508695.61645 -17303205.41163 -17097715.20681 -16892225.00200 -16686734.79718 -16481244.59237 -16275754.38755 -16070264.18273 -15864773.97792 -15659283.77310 -15453793.56828 -15248303.36347 -15042813.15865 -14837322.95383 -14631832.74902 -14426342.54420 -14220852.33938 -14015362.13457 -13809871.92975 -13604381.72494 -13398891.52012 -13193401.31530 -12987911.11049 -12782420.90567 -12576930.70085 -12371440.49604 -12165950.29122 -11960460.08640 -11754969.88159 -11549479.67677 -11343989.47196 -11138499.26714 -10933009.06232 -10727518.85751 -10522028.65269 -10316538.44787 -10111048.24306 -9905558.03824 -9700067.83342 -9494577.62861 -9289087.42379 
-DEAL::Check point 16
-DEAL::0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 
-DEAL::Check point 17
-DEAL::0.00000 0.33333 0.66667 1.00000 1.33333 1.66667 2.00000 2.33333 2.66667 3.00000 3.33333 3.66667 4.00000 4.33333 4.66667 5.00000 5.33333 5.66667 6.00000 6.33333 6.66667 7.00000 7.33333 7.66667 8.00000 8.33333 8.66667 9.00000 9.33333 9.66667 10.00000 10.33333 10.66667 11.00000 11.33333 11.66667 12.00000 12.33333 12.66667 13.00000 13.33333 13.66667 14.00000 14.33333 14.66667 15.00000 15.33333 15.66667 16.00000 16.33333 
-DEAL::Check point 18
-DEAL::0.00000 0.05556 0.22222 0.50000 0.88889 1.38889 2.00000 2.72222 3.55556 4.50000 5.55556 6.72222 8.00000 9.38889 10.88889 12.50000 14.22222 16.05556 18.00000 20.05556 22.22222 24.50000 26.88889 29.38889 32.00000 34.72222 37.55556 40.50000 43.55555 46.72223 50.00000 53.38889 56.88889 60.50000 64.22222 68.05556 72.00000 76.05555 80.22223 84.50000 88.88889 93.38889 98.00000 102.72222 107.55556 112.50000 117.55555 122.72223 128.00000 133.38890 
-DEAL::Check point 19
-DEAL::0.00000 0.05556 0.22222 0.50000 0.88889 1.38889 2.00000 2.72222 3.55556 4.50000 5.55556 6.72222 8.00000 9.38889 10.88889 12.50000 14.22222 16.05556 18.00000 20.05556 22.22222 24.50000 26.88889 29.38889 32.00000 34.72222 37.55556 40.50000 43.55555 46.72223 50.00000 53.38889 56.88889 60.50000 64.22222 68.05556 72.00000 76.05555 80.22223 84.50000 88.88889 93.38889 98.00000 102.72222 107.55556 112.50000 117.55555 122.72223 128.00000 133.38890 
-DEAL::Check point 20
-DEAL::0.00000 0.33333 0.66667 1.00000 1.33333 1.66667 2.00000 2.33333 2.66667 3.00000 3.33333 3.66667 4.00000 4.33333 4.66667 5.00000 5.33333 5.66667 6.00000 6.33333 6.66667 7.00000 7.33333 7.66667 8.00000 8.33333 8.66667 9.00000 9.33333 9.66667 10.00000 10.33333 10.66667 11.00000 11.33333 11.66667 12.00000 12.33333 12.66667 13.00000 13.33333 13.66667 14.00000 14.33333 14.66667 15.00000 15.33333 15.66667 16.00000 16.33333 
-DEAL::Check point 21
-DEAL::2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 
-DEAL::1172.32495 4491.66650
-DEAL::2.87100 408.33334
-DEAL::20.30104 2.87100
-DEAL::Check point 22
-DEAL::2.87100 3.20433 3.53767 3.87100 4.20433 4.53767 4.87100 5.20433 5.53767 5.87100 6.20433 6.53767 6.87100 7.20433 7.53767 7.87100 8.20433 8.53767 8.87100 9.20433 9.53767 9.87100 10.20433 10.53767 10.87100 11.20433 11.53767 11.87100 12.20433 12.53767 12.87100 13.20433 13.53767 13.87100 14.20433 14.53767 14.87100 15.20433 15.53767 15.87100 16.20433 16.53767 16.87100 17.20433 17.53767 17.87100 18.20433 18.53767 18.87100 19.20433 
-DEAL::Check point 23
-DEAL::-2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 
-DEAL::Check point 24
-DEAL::5.41100 5.74433 6.07767 6.41100 6.74433 7.07767 7.41100 7.74433 8.07767 8.41100 8.74433 9.07767 9.41100 9.74433 10.07767 10.41100 10.74433 11.07767 11.41100 11.74433 12.07767 12.41100 12.74433 13.07767 13.41100 13.74433 14.07767 14.41100 14.74433 15.07767 15.41100 15.74433 16.07767 16.41100 16.74433 17.07767 17.41100 17.74433 18.07767 18.41100 18.74433 19.07767 19.41100 19.74433 20.07767 20.41100 20.74433 21.07767 21.41100 21.74434 
-DEAL::Check point 25
-DEAL::-13.82470 -13.49137 -13.15803 -12.82470 -12.49137 -12.15803 -11.82470 -11.49137 -11.15803 -10.82470 -10.49137 -10.15803 -9.82470 -9.49137 -9.15803 -8.82470 -8.49137 -8.15803 -7.82470 -7.49137 -7.15803 -6.82470 -6.49137 -6.15803 -5.82470 -5.49137 -5.15803 -4.82470 -4.49137 -4.15803 -3.82470 -3.49137 -3.15803 -2.82470 -2.49137 -2.15803 -1.82470 -1.49137 -1.15803 -0.82470 -0.49136 -0.15803 0.17530 0.50864 0.84197 1.17530 1.50864 1.84197 2.17530 2.50863 
-DEAL::Check point 26
-DEAL::-30.18940 -29.85607 -29.52273 -29.18940 -28.85606 -28.52274 -28.18940 -27.85607 -27.52273 -27.18940 -26.85607 -26.52273 -26.18940 -25.85606 -25.52273 -25.18940 -24.85606 -24.52273 -24.18940 -23.85606 -23.52273 -23.18940 -22.85606 -22.52273 -22.18940 -21.85607 -21.52274 -21.18940 -20.85607 -20.52274 -20.18940 -19.85607 -19.52274 -19.18940 -18.85607 -18.52274 -18.18940 -17.85607 -17.52274 -17.18940 -16.85606 -16.52272 -16.18940 -15.85606 -15.52272 -15.18940 -14.85606 -14.52272 -14.18940 -13.85607 
-DEAL::Check point 27
-DEAL::-33.34750 -33.01417 -32.68083 -32.34750 -32.01416 -31.68084 -31.34750 -31.01417 -30.68083 -30.34750 -30.01417 -29.68083 -29.34750 -29.01416 -28.68083 -28.34750 -28.01416 -27.68083 -27.34750 -27.01416 -26.68083 -26.34750 -26.01416 -25.68083 -25.34750 -25.01417 -24.68084 -24.34750 -24.01417 -23.68084 -23.34750 -23.01417 -22.68084 -22.34750 -22.01417 -21.68084 -21.34750 -21.01417 -20.68084 -20.34750 -20.01416 -19.68082 -19.34750 -19.01416 -18.68082 -18.34750 -18.01416 -17.68082 -17.34750 -17.01417 
-DEAL::Check point 28
-DEAL::-94.67373 -93.67374 -92.67373 -91.67373 -90.67372 -89.67374 -88.67374 -87.67374 -86.67373 -85.67374 -84.67374 -83.67374 -82.67374 -81.67372 -80.67372 -79.67374 -78.67372 -77.67372 -76.67374 -75.67372 -74.67372 -73.67374 -72.67372 -71.67372 -70.67374 -69.67374 -68.67374 -67.67374 -66.67374 -65.67374 -64.67374 -63.67374 -62.67374 -61.67374 -60.67374 -59.67374 -58.67374 -57.67374 -56.67374 -55.67374 -54.67371 -53.67371 -52.67374 -51.67371 -50.67370 -49.67374 -48.67371 -47.67370 -46.67374 -45.67373 
-DEAL::Check point 29
-DEAL::-3297.15845 -3262.15869 -3227.15845 -3192.15845 -3157.15820 -3122.15869 -3087.15869 -3052.15869 -3017.15845 -2982.15869 -2947.15869 -2912.15869 -2877.15869 -2842.15820 -2807.15820 -2772.15869 -2737.15820 -2702.15820 -2667.15869 -2632.15820 -2597.15820 -2562.15869 -2527.15820 -2492.15820 -2457.15869 -2422.15869 -2387.15869 -2352.15894 -2317.15869 -2282.15869 -2247.15869 -2212.15869 -2177.15869 -2142.15869 -2107.15869 -2072.15869 -2037.15881 -2002.15881 -1967.15869 -1932.15881 -1897.15771 -1862.15759 -1827.15881 -1792.15771 -1757.15747 -1722.15881 -1687.15771 -1652.15747 -1617.15881 -1582.15845 
-DEAL::Check point 30
-DEAL::-10358.15527 -10248.20215 -10138.24707 -10028.29395 -9918.33887 -9808.38672 -9698.43262 -9588.47852 -9478.52441 -9368.57129 -9258.61719 -9148.66309 -9038.70898 -8928.75391 -8818.79980 -8708.84766 -8598.89258 -8488.93848 -8378.98633 -8269.03027 -8159.07666 -8049.12402 -7939.16895 -7829.21484 -7719.26221 -7609.30859 -7499.35449 -7389.40137 -7279.44678 -7169.49316 -7059.53906 -6949.58496 -6839.63135 -6729.67725 -6619.72363 -6509.76953 -6399.81592 -6289.86230 -6179.90771 -6069.95410 -5959.99707 -5850.04248 -5740.09277 -5630.13525 -5520.18066 -5410.23096 -5300.27344 -5190.31885 -5080.36914 -4970.41406 
-DEAL::Check point 31
-DEAL::-16251.94531 -16079.42969 -15906.91016 -15734.39355 -15561.87402 -15389.35840 -15216.84082 -15044.32324 -14871.80469 -14699.28809 -14526.77051 -14354.25195 -14181.73438 -14009.21484 -13836.69727 -13664.18164 -13491.66211 -13319.14453 -13146.62988 -12974.10840 -12801.59180 -12629.07520 -12456.55566 -12284.03809 -12111.52246 -11939.00488 -11766.48730 -11593.97070 -11421.45215 -11248.93457 -11076.41699 -10903.89844 -10731.38184 -10558.86328 -10386.34668 -10213.82812 -10041.31152 -9868.79395 -9696.27539 -9523.75781 -9351.23535 -9178.71680 -9006.20605 -8833.68262 -8661.16309 -8488.65234 -8316.12891 -8143.61035 -7971.09912 -7798.57959 
-DEAL::Check point 32
-DEAL::-19358108.00000 -19152620.00000 -18947128.00000 -18741638.00000 -18536144.00000 -18330658.00000 -18125168.00000 -17919678.00000 -17714188.00000 -17508698.00000 -17303208.00000 -17097716.00000 -16892226.00000 -16686734.00000 -16481243.00000 -16275757.00000 -16070264.00000 -15864773.00000 -15659286.00000 -15453793.00000 -15248302.00000 -15042815.00000 -14837322.00000 -14631832.00000 -14426344.00000 -14220854.00000 -14015364.00000 -13809875.00000 -13604383.00000 -13398894.00000 -13193403.00000 -12987912.00000 -12782423.00000 -12576932.00000 -12371443.00000 -12165952.00000 -11960462.00000 -11754973.00000 -11549482.00000 -11343991.00000 -11138496.00000 -10933004.00000 -10727521.00000 -10522025.00000 -10316533.00000 -10111051.00000 -9905554.00000 -9700062.00000 -9494580.00000 -9289087.00000 
-DEAL::Check point 33
-DEAL::0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 
-DEAL::Check point 34
-DEAL::0.00000 0.33333 0.66667 1.00000 1.33333 1.66667 2.00000 2.33333 2.66667 3.00000 3.33333 3.66667 4.00000 4.33333 4.66667 5.00000 5.33333 5.66667 6.00000 6.33333 6.66667 7.00000 7.33333 7.66667 8.00000 8.33333 8.66667 9.00000 9.33333 9.66667 10.00000 10.33333 10.66667 11.00000 11.33333 11.66667 12.00000 12.33333 12.66667 13.00000 13.33333 13.66667 14.00000 14.33333 14.66667 15.00000 15.33333 15.66667 16.00000 16.33333 
-DEAL::Check point 35
-DEAL::0.00000 0.05556 0.22222 0.50000 0.88889 1.38889 2.00000 2.72222 3.55556 4.50000 5.55556 6.72222 8.00000 9.38889 10.88889 12.50000 14.22222 16.05556 18.00000 20.05556 22.22222 24.50000 26.88889 29.38889 32.00000 34.72222 37.55556 40.50000 43.55556 46.72222 50.00000 53.38889 56.88889 60.50000 64.22222 68.05556 72.00000 76.05556 80.22222 84.50000 88.88889 93.38889 98.00000 102.72222 107.55556 112.50000 117.55556 122.72222 128.00000 133.38889 
-DEAL::Check point 36
-DEAL::0.00000 0.05556 0.22222 0.50000 0.88889 1.38889 2.00000 2.72222 3.55556 4.50000 5.55556 6.72222 8.00000 9.38889 10.88889 12.50000 14.22222 16.05556 18.00000 20.05556 22.22222 24.50000 26.88889 29.38889 32.00000 34.72222 37.55556 40.50000 43.55556 46.72222 50.00000 53.38889 56.88889 60.50000 64.22222 68.05556 72.00000 76.05556 80.22222 84.50000 88.88889 93.38889 98.00000 102.72222 107.55556 112.50000 117.55556 122.72222 128.00000 133.38889 
-DEAL::Check point 37
-DEAL::0.00000 0.33333 0.66667 1.00000 1.33333 1.66667 2.00000 2.33333 2.66667 3.00000 3.33333 3.66667 4.00000 4.33333 4.66667 5.00000 5.33333 5.66667 6.00000 6.33333 6.66667 7.00000 7.33333 7.66667 8.00000 8.33333 8.66667 9.00000 9.33333 9.66667 10.00000 10.33333 10.66667 11.00000 11.33333 11.66667 12.00000 12.33333 12.66667 13.00000 13.33333 13.66667 14.00000 14.33333 14.66667 15.00000 15.33333 15.66667 16.00000 16.33333 
-DEAL::Check point 38
-DEAL::2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 2.87100 
-DEAL::1172.32500 4491.66667
-DEAL::2.87100 408.33333
-DEAL::20.30104 2.87100
-DEAL::Check point 39
-DEAL::2.87100 3.20433 3.53767 3.87100 4.20433 4.53767 4.87100 5.20433 5.53767 5.87100 6.20433 6.53767 6.87100 7.20433 7.53767 7.87100 8.20433 8.53767 8.87100 9.20433 9.53767 9.87100 10.20433 10.53767 10.87100 11.20433 11.53767 11.87100 12.20433 12.53767 12.87100 13.20433 13.53767 13.87100 14.20433 14.53767 14.87100 15.20433 15.53767 15.87100 16.20433 16.53767 16.87100 17.20433 17.53767 17.87100 18.20433 18.53767 18.87100 19.20433 
-DEAL::Check point 40
-DEAL::-2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 -2.87100 
-DEAL::Check point 41
-DEAL::5.41100 5.74433 6.07767 6.41100 6.74433 7.07767 7.41100 7.74433 8.07767 8.41100 8.74433 9.07767 9.41100 9.74433 10.07767 10.41100 10.74433 11.07767 11.41100 11.74433 12.07767 12.41100 12.74433 13.07767 13.41100 13.74433 14.07767 14.41100 14.74433 15.07767 15.41100 15.74433 16.07767 16.41100 16.74433 17.07767 17.41100 17.74433 18.07767 18.41100 18.74433 19.07767 19.41100 19.74433 20.07767 20.41100 20.74433 21.07767 21.41100 21.74433 
-DEAL::Check point 42
-DEAL::-13.82470 -13.49137 -13.15803 -12.82470 -12.49137 -12.15803 -11.82470 -11.49137 -11.15803 -10.82470 -10.49137 -10.15803 -9.82470 -9.49137 -9.15803 -8.82470 -8.49137 -8.15803 -7.82470 -7.49137 -7.15803 -6.82470 -6.49137 -6.15803 -5.82470 -5.49137 -5.15803 -4.82470 -4.49137 -4.15803 -3.82470 -3.49137 -3.15803 -2.82470 -2.49137 -2.15803 -1.82470 -1.49137 -1.15803 -0.82470 -0.49137 -0.15803 0.17530 0.50863 0.84197 1.17530 1.50863 1.84197 2.17530 2.50863 
-DEAL::Check point 43
-DEAL::-30.18940 -29.85607 -29.52273 -29.18940 -28.85607 -28.52273 -28.18940 -27.85607 -27.52273 -27.18940 -26.85607 -26.52273 -26.18940 -25.85607 -25.52273 -25.18940 -24.85607 -24.52273 -24.18940 -23.85607 -23.52273 -23.18940 -22.85607 -22.52273 -22.18940 -21.85607 -21.52273 -21.18940 -20.85607 -20.52273 -20.18940 -19.85607 -19.52273 -19.18940 -18.85607 -18.52273 -18.18940 -17.85607 -17.52273 -17.18940 -16.85607 -16.52273 -16.18940 -15.85607 -15.52273 -15.18940 -14.85607 -14.52273 -14.18940 -13.85607 
-DEAL::Check point 44
-DEAL::-33.34750 -33.01417 -32.68083 -32.34750 -32.01417 -31.68083 -31.34750 -31.01417 -30.68083 -30.34750 -30.01417 -29.68083 -29.34750 -29.01417 -28.68083 -28.34750 -28.01417 -27.68083 -27.34750 -27.01417 -26.68083 -26.34750 -26.01417 -25.68083 -25.34750 -25.01417 -24.68083 -24.34750 -24.01417 -23.68083 -23.34750 -23.01417 -22.68083 -22.34750 -22.01417 -21.68083 -21.34750 -21.01417 -20.68083 -20.34750 -20.01417 -19.68083 -19.34750 -19.01417 -18.68083 -18.34750 -18.01417 -17.68083 -17.34750 -17.01417 
-DEAL::Check point 45
-DEAL::-94.67373 -93.67373 -92.67373 -91.67373 -90.67373 -89.67373 -88.67373 -87.67373 -86.67373 -85.67373 -84.67373 -83.67373 -82.67373 -81.67373 -80.67373 -79.67373 -78.67373 -77.67373 -76.67373 -75.67373 -74.67373 -73.67373 -72.67373 -71.67373 -70.67373 -69.67373 -68.67373 -67.67373 -66.67373 -65.67373 -64.67373 -63.67373 -62.67373 -61.67373 -60.67373 -59.67373 -58.67373 -57.67373 -56.67373 -55.67373 -54.67373 -53.67373 -52.67373 -51.67373 -50.67373 -49.67373 -48.67373 -47.67373 -46.67373 -45.67373 
-DEAL::Check point 46
-DEAL::-3297.15843 -3262.15843 -3227.15843 -3192.15843 -3157.15843 -3122.15843 -3087.15843 -3052.15843 -3017.15843 -2982.15843 -2947.15843 -2912.15843 -2877.15843 -2842.15843 -2807.15843 -2772.15843 -2737.15843 -2702.15843 -2667.15843 -2632.15843 -2597.15843 -2562.15843 -2527.15843 -2492.15843 -2457.15843 -2422.15843 -2387.15843 -2352.15843 -2317.15843 -2282.15843 -2247.15843 -2212.15843 -2177.15843 -2142.15843 -2107.15843 -2072.15843 -2037.15843 -2002.15843 -1967.15843 -1932.15843 -1897.15843 -1862.15843 -1827.15843 -1792.15843 -1757.15843 -1722.15843 -1687.15843 -1652.15843 -1617.15843 -1582.15843 
-DEAL::Check point 47
-DEAL::-10358.15509 -10248.20119 -10138.24729 -10028.29339 -9918.33949 -9808.38559 -9698.43169 -9588.47779 -9478.52389 -9368.56999 -9258.61609 -9148.66219 -9038.70829 -8928.75439 -8818.80049 -8708.84659 -8598.89269 -8488.93879 -8378.98489 -8269.03099 -8159.07709 -8049.12319 -7939.16929 -7829.21539 -7719.26149 -7609.30759 -7499.35369 -7389.39979 -7279.44589 -7169.49199 -7059.53809 -6949.58419 -6839.63029 -6729.67639 -6619.72249 -6509.76859 -6399.81469 -6289.86079 -6179.90689 -6069.95299 -5959.99909 -5850.04519 -5740.09129 -5630.13739 -5520.18349 -5410.22959 -5300.27569 -5190.32179 -5080.36789 -4970.41399 
-DEAL::Check point 48
-DEAL::-16251.94534 -16079.42767 -15906.91000 -15734.39234 -15561.87467 -15389.35700 -15216.83933 -15044.32166 -14871.80399 -14699.28632 -14526.76865 -14354.25098 -14181.73331 -14009.21564 -13836.69798 -13664.18031 -13491.66264 -13319.14497 -13146.62730 -12974.10963 -12801.59196 -12629.07429 -12456.55662 -12284.03895 -12111.52128 -11939.00362 -11766.48595 -11593.96828 -11421.45061 -11248.93294 -11076.41527 -10903.89760 -10731.37993 -10558.86226 -10386.34459 -10213.82692 -10041.30926 -9868.79159 -9696.27392 -9523.75625 -9351.23858 -9178.72091 -9006.20324 -8833.68557 -8661.16790 -8488.65023 -8316.13256 -8143.61490 -7971.09723 -7798.57956 
-DEAL::Check point 49
-DEAL::-19358107.45979 -19152617.25498 -18947127.05016 -18741636.84535 -18536146.64053 -18330656.43571 -18125166.23090 -17919676.02608 -17714185.82126 -17508695.61645 -17303205.41163 -17097715.20681 -16892225.00200 -16686734.79718 -16481244.59237 -16275754.38755 -16070264.18273 -15864773.97792 -15659283.77310 -15453793.56828 -15248303.36347 -15042813.15865 -14837322.95383 -14631832.74902 -14426342.54420 -14220852.33938 -14015362.13457 -13809871.92975 -13604381.72494 -13398891.52012 -13193401.31530 -12987911.11049 -12782420.90567 -12576930.70085 -12371440.49604 -12165950.29122 -11960460.08640 -11754969.88159 -11549479.67677 -11343989.47196 -11138499.26714 -10933009.06232 -10727518.85751 -10522028.65269 -10316538.44787 -10111048.24306 -9905558.03824 -9700067.83342 -9494577.62861 -9289087.42379 
-DEAL::Check point 50
-DEAL::0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 0.00054 
+DEAL::Fill & Swap
+DEAL::0.00     0.00    0.00    0.00    0.00    0.00    0.00    0.00    0.00    0.00    
+DEAL::0.00     2.00    4.00    6.00    8.00    10.00   12.00   14.00   16.00   18.00   
+DEAL::0.00     2.00    8.00    18.00   32.00   50.00   72.00   98.00   128.00  162.00  
+DEAL::2.00     1.50    1.00    0.50    0.00    -0.50   -1.00   -1.50   -2.00   -2.50   
+DEAL::0.00     2.00    8.00    18.00   32.00   50.00   72.00   98.00   128.00  162.00  
+DEAL::0.00     2.00    4.00    6.00    8.00    10.00   12.00   14.00   16.00   18.00   
+DEAL::2.50     2.50    2.50    2.50    2.50    2.50    2.50    2.50    2.50    2.50    
+DEAL::Extract number
+DEAL::-105.00  -105.00
+DEAL::1140.00  1140.00
+DEAL::33.76    33.76
+DEAL::-0.25    -0.25
+DEAL::12.50    12.50
+DEAL::2.50     2.50
+DEAL::add & sub
+DEAL::2.50     4.50    6.50    8.50    10.50   12.50   14.50   16.50   18.50   20.50   
+DEAL::-2.50    -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   
+DEAL::4.00     6.00    8.00    10.00   12.00   14.00   16.00   18.00   20.00   22.00   
+DEAL::8.00     9.00    10.00   11.00   12.00   13.00   14.00   15.00   16.00   17.00   
+DEAL::4.00     4.75    5.50    6.25    7.00    7.75    8.50    9.25    10.00   10.75   
+DEAL::sadd & scale
+DEAL::-1.00    -0.25   0.50    1.25    2.00    2.75    3.50    4.25    5.00    5.75    
+DEAL::0.00     1.88    3.75    5.62    7.50    9.38    11.25   13.12   15.00   16.88   
+DEAL::12.00    16.25   20.50   24.75   29.00   33.25   37.50   41.75   46.00   50.25   
+DEAL::48.00    65.00   82.00   99.00   116.00  133.00  150.00  167.00  184.00  201.00  
+DEAL::equ
+DEAL::12.00    16.25   20.50   24.75   29.00   33.25   37.50   41.75   46.00   50.25   
+DEAL::16.00    19.25   22.50   25.75   29.00   32.25   35.50   38.75   42.00   45.25   
+DEAL::3.00     3.38    3.64    3.84    4.00    4.12    4.23    4.31    4.38    4.44    
+DEAL::Fill & Swap
+DEAL::0.00     0.00    0.00    0.00    0.00    0.00    0.00    0.00    0.00    0.00    
+DEAL::0.00     2.00    4.00    6.00    8.00    10.00   12.00   14.00   16.00   18.00   
+DEAL::0.00     2.00    8.00    18.00   32.00   50.00   72.00   98.00   128.00  162.00  
+DEAL::2.00     1.50    1.00    0.50    0.00    -0.50   -1.00   -1.50   -2.00   -2.50   
+DEAL::0.00     2.00    8.00    18.00   32.00   50.00   72.00   98.00   128.00  162.00  
+DEAL::0.00     2.00    4.00    6.00    8.00    10.00   12.00   14.00   16.00   18.00   
+DEAL::2.50     2.50    2.50    2.50    2.50    2.50    2.50    2.50    2.50    2.50    
+DEAL::Extract number
+DEAL::-105.00  -105.00
+DEAL::1140.00  1140.00
+DEAL::33.76    33.76
+DEAL::-0.25    -0.25
+DEAL::12.50    12.50
+DEAL::2.50     2.50
+DEAL::add & sub
+DEAL::2.50     4.50    6.50    8.50    10.50   12.50   14.50   16.50   18.50   20.50   
+DEAL::-2.50    -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   
+DEAL::4.00     6.00    8.00    10.00   12.00   14.00   16.00   18.00   20.00   22.00   
+DEAL::8.00     9.00    10.00   11.00   12.00   13.00   14.00   15.00   16.00   17.00   
+DEAL::4.00     4.75    5.50    6.25    7.00    7.75    8.50    9.25    10.00   10.75   
+DEAL::sadd & scale
+DEAL::-1.00    -0.25   0.50    1.25    2.00    2.75    3.50    4.25    5.00    5.75    
+DEAL::0.00     1.88    3.75    5.62    7.50    9.38    11.25   13.12   15.00   16.88   
+DEAL::12.00    16.25   20.50   24.75   29.00   33.25   37.50   41.75   46.00   50.25   
+DEAL::48.00    65.00   82.00   99.00   116.00  133.00  150.00  167.00  184.00  201.00  
+DEAL::equ
+DEAL::12.00    16.25   20.50   24.75   29.00   33.25   37.50   41.75   46.00   50.25   
+DEAL::16.00    19.25   22.50   25.75   29.00   32.25   35.50   38.75   42.00   45.25   
+DEAL::3.00     3.38    3.64    3.84    4.00    4.12    4.23    4.31    4.38    4.44    
+DEAL::Fill & Swap
+DEAL::0.00     0.00    0.00    0.00    0.00    0.00    0.00    0.00    0.00    0.00    
+DEAL::0.00     2.00    4.00    6.00    8.00    10.00   12.00   14.00   16.00   18.00   
+DEAL::0.00     2.00    8.00    18.00   32.00   50.00   72.00   98.00   128.00  162.00  
+DEAL::2.00     1.50    1.00    0.50    0.00    -0.50   -1.00   -1.50   -2.00   -2.50   
+DEAL::0.00     2.00    8.00    18.00   32.00   50.00   72.00   98.00   128.00  162.00  
+DEAL::0.00     2.00    4.00    6.00    8.00    10.00   12.00   14.00   16.00   18.00   
+DEAL::2.50     2.50    2.50    2.50    2.50    2.50    2.50    2.50    2.50    2.50    
+DEAL::Extract number
+DEAL::-105.00  -105.00
+DEAL::1140.00  1140.00
+DEAL::33.76    33.76
+DEAL::-0.25    -0.25
+DEAL::12.50    12.50
+DEAL::2.50     2.50
+DEAL::add & sub
+DEAL::2.50     4.50    6.50    8.50    10.50   12.50   14.50   16.50   18.50   20.50   
+DEAL::-2.50    -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   -2.50   
+DEAL::4.00     6.00    8.00    10.00   12.00   14.00   16.00   18.00   20.00   22.00   
+DEAL::8.00     9.00    10.00   11.00   12.00   13.00   14.00   15.00   16.00   17.00   
+DEAL::4.00     4.75    5.50    6.25    7.00    7.75    8.50    9.25    10.00   10.75   
+DEAL::sadd & scale
+DEAL::-1.00    -0.25   0.50    1.25    2.00    2.75    3.50    4.25    5.00    5.75    
+DEAL::0.00     1.88    3.75    5.62    7.50    9.38    11.25   13.12   15.00   16.88   
+DEAL::12.00    16.25   20.50   24.75   29.00   33.25   37.50   41.75   46.00   50.25   
+DEAL::48.00    65.00   82.00   99.00   116.00  133.00  150.00  167.00  184.00  201.00  
+DEAL::equ
+DEAL::12.00    16.25   20.50   24.75   29.00   33.25   37.50   41.75   46.00   50.25   
+DEAL::16.00    19.25   22.50   25.75   29.00   32.25   35.50   38.75   42.00   45.25   
+DEAL::3.00     3.38    3.64    3.84    4.00    4.12    4.23    4.31    4.38    4.44