text_formalization/nonlinear/ineqdata3q1h.hl

   1 (* ========================================================================== *)
   2 (* FLYSPECK - BOOK FORMALIZATION                                              *)
   3 (*                                                                            *)
   4 (* Lemma:  OXLZLEZ                                                   *)
   5 (* Chapter: Packing                                                              *)
   6 (* Author: Thomas C. Hales                                                    *)
   7 (* Date: 2010-02-09                                                           *)
   8 (* ========================================================================== *)
   9
  10 (* This file contains  the inequalities for the hard case of the cluster inequality,
  11     consisting of 4 blades, 3 quarters, and one half-weight. *)
  12
  13
  14   type irecord  = {
  15     caseno : int;
  16     coef1 : term * term * term * term;
  17     coef2 : term*term*term*term;
  18     coef3 : term*term*term*term;
  19     coef4 : term*term*term*term;
  20     branch1 : int list;
  21     branch2 : int list;
  22     branch3 : int list;
  23     branch4 : int list;
  24     branch5 : int list;
  25     eps : float;
  26     numerical1 : float list;
  27     numerical2 : float list;
  28     numerical3 : float list;
  29     numerical4 : float list;
  30 };;
  31
  32 module  Ineqdata3q1h :
  33
  34 sig
  35   val records : irecord list
  36   val mk_ineq : int -> irecord -> term
  37   val domain_cover_calculation: bool
  38   val combine : (int list*int list*int list*int list*int list)*
  39      (int list*int list*int list*int list*int list) ->
  40     (bool*int)*(int list*int list*int list*int list*int list)
  41 end
  42
  43 = struct
  44
  45 (*
  46
  47 FOUR BLADE INEQUALITIES
  48    Each record corresponds to 5 different formal inequalities obtained by
  49    mk_ineq i, for i=0,1,2,3,4.
  50
  51
  52    Data nonlindata automatically generated by Mathematica sphereBook.nb,
  53    *process* function .
  54
  55    There is a nonlinear optimization problem of 4blades, 3quarters,
  56    1halfwt along a common spine.  This is a 13-dimensional problem.
  57    A Mathematica calculation has broken it into a collection of 6-dimensional
  58    nonlinear optimizations.  The data describing these 6-dimensional
  59    problems appears below.
  60
  61    Each list entry corresponds to four nonlinear optimization problems
  62    (for the four different simplices around the spine.
  63
  64    Each list entry has the following format.
  65    [[caseno];lindata;b1;b2;b3;b4;b5;d1;d2;d3;d4]
  66
  67    caseno : 1, 2,3,4
  68
  69    This gives information about what the lengths of the spine and
  70    edge#4 on the 1halfwt are:
  71
  72    case          spine                      edge#4
  73    1               2h0 to 2hplus        2hminus to 2h0
  74    2               2h0 to 2hplus        2h0 to 2hplus
  75    3               2hminus to 2h0         2hminus to 2h0
  76    4               2hminus to 2h0         2h0 to 2hplus
  77
  78    ****
  79
  80    lindata is a list of length 14.
  81    [eps,a,  b1,c1,d1,    b2,c2,d2,      b3,c3,d3,     b4,c4,d4]
  82    These are the inequalities:
  83    gamma + a dih + bi y1 + ci (y2+y3+y5+y6) + di >= 0.
  84
  85    -eps gives the margin by which it holds.
  86
  87     The first group is for the 4-cell of wt 0.5.  The indices 2,3,4 are for the quarters.
  88
  89    ****
  90
  91    b1,b2,b3,b4,b5  branch data
  92    each of these is a sequence of 0s and 1s.
  93    b1 <-> domain of y1 (the spine)
  94    b2 <-> domain of y4 (on the (halfwt)
  95    b3 <-> domain of the y4 variable on quarter 2
  96    b4 <-> domain of the y4 variable on quarter 3
  97    b5 <-> domain of the y4 variable on quarter 4
  98
  99    each entry in bi cuts the domain in half, 0 takes the LHS, 1 takes
 100    the RHS.
 101
 102    The first in the sequence is the first subdivision performed.
 103
 104    ****
 105
 106    d1,d2,d3,d4 data on the numerical optimization of the 4 nonlinear
 107    inequalities
 108
 109    di = [value;y1,y2,y3,y4,y5,y6]  minimizer(numerical) and optimal point.
 110
 111
 112 *)
 113
 114 (*
 115 produced from /tmp/ineqdata3q1h.ml (from Mathematica) with the
 116 following edits:
 117  s/{/[ /g
 118  s/}/ ]/g
 119  s/,/ ;/g
 120  s/. /.0 /g
 121
 122 The formal version has the additional edits
 123  s/-/-- /g
 124   \([0-9]\)-> #\1
 125  s/ //g
 126
 127 *)
 128
 129   open Sphere;;
 130
 131   let do_betas x = all_forall (snd(dest_eq(concl(BETAS_CONV x))));;
 132
 133   let dest_decimal x = match strip_comb x with
 134   | (dec,[a;b]) ->                     div_num (dest_numeral a) (dest_numeral b)
 135   | _ -> failwith ("dest_decimal: '" ^ string_of_term x ^ "'");;
 136
 137   let dest_signed_decimal x = match strip_comb x with
 138   | (dec,[a;b]) ->                     dest_decimal x
 139   | (neg,[a]) -> Num.minus_num(dest_decimal a)
 140   | _ -> failwith ("dest_decimal: '" ^ string_of_term x ^ "'");;
 141
 142 let int_of_dec u =
 143       Num.int_of_num (dest_signed_decimal u);;
 144
 145 let float_of_dec u = Num.float_of_num (dest_signed_decimal u);;
 146
 147 let mk_irecord oni =
 148   let fd t = map float_of_dec t in
 149   let i t = map int_of_dec t in
 150   let g = function
 151     [eps;a;b1;c1;d1;b2;c2;d2;b3;c3;d3;b4;c4;d4] ->
 152       (float_of_dec eps,(a,b1,c1,d1),(a,b2,c2,d2),(a,b3,c3,d3),(a,b4,c4,d4))
 153     | _ -> failwith "parse error g" in
 154   let f = function
 155       [[case];lindata;b1;b2;b3;b4;b5;d1;d2;d3;d4]
 156       -> (int_of_dec case,g lindata,i b1,i b2, i b3,i b4,i b5,fd d1,fd d2,fd d3,fd d4)
 157     | _ -> failwith "parse error f" in
 158   let (i,(e,c1,c2,c3,c4),b1,b2,b3,b4,b5,n1,n2,n3,n4) = f oni in
 159    {
 160      caseno = i;
 161      coef1 = c1;
 162      coef2 = c2;
 163      coef3 = c3;
 164      coef4 = c4;
 165      branch1 = b1;
 166      branch2 = b2;
 167      branch3 = b3;
 168      branch4 = b4;
 169      branch5 = b5;
 170      eps = e;
 171      numerical1 = n1;
 172      numerical2 = n2;
 173      numerical3 = n3;
 174      numerical4 = n4;
 175    };;
 176
 177 let y1domain d =
 178   List.nth [`&2 * h0,&2 * hplus`;`&2 * h0,&2 * hplus`;
 179    `&2 * hminus,&2 * h0`;   `&2 * hminus,&2 * h0`] (d.caseno -1);;
 180
 181 let y4domain d =
 182   List.nth [`&2 * hminus,&2 * h0`;  `&2 * h0,&2 * hplus`;
 183   `&2 * hminus,&2 * h0`;  `&2 * h0,&2 * hplus` ] (d.caseno-1);;
 184
 185 (* in sphere.hl:
 186 let pathL = new_definition `pathL (a,b) = (a,(a+b)/ &2)`;;
 187
 188 let pathR = new_definition `pathR (a,b) = ((a+b)/ &2,b)`;;
 189 *)
 190
 191 let rec mkpath r = function
 192    [] -> r
 193   | x::xs -> let t = if (x=0) then `pathL` else `pathR` in
 194         mkpath (mk_comb (t,r)) xs;;
 195
 196 let template = `\ y1d  y2d y3d y4d y5d y6d
 197    a b c d w m. ineq
 198    [(FST y1d, y1, SND y1d);
 199     (FST y2d ,y2, SND y2d);
 200     (FST y3d,y3,SND y3d);
 201     (FST y4d,y4,SND y4d);
 202     (FST y5d,y5,SND y5d);
 203     (FST y6d,y6,SND y6d)]
 204     (gamma4fgcy y1 y2 y3 y4 y5 y6 lmfun / &w + &m *beta_bump_force_y y1 y2 y3 y4 y5 y6
 205      + a * dih_y y1 y2 y3 y4 y5 y6
 206      + b * y1
 207      + c * (y2 + y3 + y5 + y6)
 208      + d > &0)`;;
 209
 210 let mk_ineq1 i d  = (* i=1,2,3,4, d reconstructs the formal statement of the ineq *)
 211   let nth = List.nth in
 212   let halfwt i = (i=1) in
 213   let mk = mk_small_numeral in
 214   let y1d = (y1domain d) in
 215   let yd = `(&2, &2 * hminus)` in
 216   let y4d = if halfwt i then  (y4domain d)  else yd in
 217   let y j =  nth [y1d;yd;yd;y4d;yd;yd] (j-1) in
 218   let w = if halfwt i then 2 else 1 in
 219   let m = w - 1 in
 220   let (a,b,c,e) = nth [d.coef1;d.coef2;d.coef3;d.coef4] (i-1) in
 221   let p1 = d.branch1 in
 222   let p4 = nth [d.branch2;d.branch3;d.branch4;d.branch5] (i-1) in
 223   let p j = nth [p1;[];[];p4;[];[]] (j-1) in
 224   let x j = mkpath (y j) (p j) in
 225  do_betas(list_mk_comb (template,
 226   [x 1;x 2;x 3;x 4;x 5;x 6;a;b;c;e;mk w; mk m]));;
 227
 228 (* NB:
 229     In each simplex ineq, there are four products ci * yj.  When we sum,
 230     we get 16 products,  each (ci + ci') is paired with y(i,i') and z(i,i'),
 231     where y is the edge at the origin and z is the edge on top.
 232     We combine y(i,i')+z(i,i') into a single variable &2 *y...
 233 *)
 234
 235 let templateB = `\ a b1 b2 b3 b4 c1 c2 c3 c4 d1 d2 d3 d4 y1d.
 236  ineq
 237    [(FST y1d, y1,  SND y1d);
 238     (&2 ,y12, &2 * hminus);
 239     (&2,y23, &2 * hminus);
 240     (&2,y34, &2 * hminus);
 241     (&2,y41, &2 * hminus)]
 242     (&2 * pi * a + (b1+b2+b3+b4)* y1
 243        + &2 * (c1+c2) * y12 + &2 *(c2 + c3) * y23 + &2 *(c3 + c4) * y34 + &2 *
 244         (c4+c1)* y41
 245       + d1 + d2 + d3 + d4  < &0)`;;
 246
 247 let mk_ineq0 d =  (* test constant compatibility for the 4 simplices around the spine *)
 248   let (a,b1,c1,d1) =  d.coef1 in
 249   let (_,b2,c2,d2) =  d.coef2 in
 250   let (_,b3,c3,d3) =  d.coef3 in
 251   let (_,b4,c4,d4) =  d.coef4 in
 252   let y1d = mkpath (y1domain d)  d.branch1 in
 253 do_betas(list_mk_comb(templateB,
 254   [a; b1; b2; b3; b4; c1; c2; c3; c4; d1; d2; d3; d4; y1d]));;
 255
 256 let mk_ineq case d =
 257   let _ = (case >= 0) or failwith "mk_ineq domain error" in
 258   let _ = (case <= 4) or failwith "mk_ineq domain error" in
 259     if (case=0) then mk_ineq0 d else mk_ineq1 case d;;
 260
 261 (* formal version.
 262    We take the floating point numbers to be exact rational numbers given by their
 263    decimal expansions:   *)
 264
 265 let raw_nonlindatah = [ [ [ `#4.0` ] ; [ `-- #0.00289` ; `#0.129913` ; `-- #0.060416` ; `#0.002372` ; `-- #0.113134` ; `#0.01764` ;
 266    `-- #0.002372` ; `-- #0.198777` ; `#0.045166` ; `#0.002372` ; `-- #0.306092` ; `#0.021777` ; `-- #0.002372` ;
 267    `-- #0.259166` ] ; [  ] ; [  ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.003326` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ;
 268    `#2.0` ] ; [ `#0.00289` ; `#2.463514` ; `#2.0` ; `#2.463508` ; `#2.0` ; `#2.000001` ; `#2.000001` ] ;
 269   [ `#0.003534` ; `#2.463509` ; `#2.000001` ; `#2.463508` ; `#2.0` ; `#2.0` ; `#2.000001` ] ;
 270   [ `#0.00289` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ] ;
 271  [ [ `#4.0` ] ; [ `-- #0.002889` ; `#0.129699` ; `-- #0.060316` ; `#0.002264` ; `-- #0.112116` ; `#0.019214` ;
 272    `-- #0.002264` ; `-- #0.203309` ; `#0.021887` ; `#0.002264` ; `-- #0.29619` ; `#0.019214` ; `-- #0.002264` ;
 273    `-- #0.203309` ] ; [  ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.0` ] ; [ `#0.003328` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ;
 274    `#2.0` ] ; [ `#0.00289` ; `#2.463513` ; `#2.0` ; `#2.463508` ; `#2.0` ; `#2.000001` ; `#2.0` ] ;
 275   [ `#0.002889` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ;
 276   [ `#0.002998` ; `#2.519915` ; `#2.000025` ; `#2.000038` ; `#2.000022` ; `#2.463485` ; `#2.000022` ] ] ;
 277  [ [ `#4.0` ] ; [ `-- #0.00289` ; `#0.129913` ; `-- #0.060416` ; `#0.002372` ; `-- #0.113134` ; `#0.021777` ;
 278    `-- #0.002372` ; `-- #0.259166` ; `#0.045166` ; `#0.002372` ; `-- #0.306092` ; `#0.01764` ; `-- #0.002372` ;
 279    `-- #0.198777` ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.003326` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.52` ;
 280    `#2.0` ; `#2.0` ] ; [ `#0.00289` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ;
 281   [ `#0.003534` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463508` ; `#2.0` ] ;
 282   [ `#0.002915` ; `#2.519935` ; `#2.000027` ; `#2.00004` ; `#2.000024` ; `#2.463484` ; `#2.000025` ] ] ;
 283  [ [ `#4.0` ] ; [ `-- #0.000426` ; `-- #0.114872` ; `#0.133539` ; `-- #0.080919` ; `#0.532524` ; `#0.148605` ;
 284    `#0.080919` ; `-- #0.855148` ; `#0.08743` ; `-- #0.080919` ; `#0.593722` ; `#0.148605` ; `#0.080919` ;
 285    `-- #0.855148` ] ; [  ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.000426` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.6508` ;
 286    `#2.0` ; `#2.0` ] ; [ `#0.000435` ; `#2.463511` ; `#2.000001` ; `#2.000001` ; `#2.000002` ; `#2.000002` ;
 287    `#2.000002` ] ; [ `#0.004824` ; `#2.46351` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 288   [ `#0.000435` ; `#2.463511` ; `#2.000001` ; `#2.000001` ; `#2.000002` ; `#2.000002` ; `#2.000002` ] ] ;
 289  [ [ `#3.0` ] ; [ `-- #0.00272` ; `#0.065103` ; `-- #0.008732` ; `-- #0.024884` ; `#0.097156` ; `#0.072591` ;
 290    `#0.024884` ; `-- #0.464803` ; `#0.042651` ; `-- #0.024884` ; `#0.008797` ; `#0.055356` ; `#0.024884` ;
 291    `-- #0.458108` ] ; [  ] ; [  ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.002594` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.491729` ; `#2.0` ;
 292    `#2.0` ] ; [ `#0.00272` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ;
 293   [ `#0.00272` ; `#2.463509` ; `#2.0` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.0` ] ;
 294   [ `#0.00272` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ] ;
 295  [ [ `#3.0` ] ; [ `-- #0.00272` ; `#0.065103` ; `-- #0.029778` ; `-- #0.027449` ; `#0.170713` ; `#0.072591` ;
 296    `#0.027449` ; `-- #0.485323` ; `#0.055356` ; `-- #0.027449` ; `-- #0.039438` ; `#0.072591` ; `#0.027449` ;
 297    `-- #0.485323` ] ; [  ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.0` ] ; [ `#0.002594` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.491998` ; `#2.0` ;
 298    `#2.0` ] ; [ `#0.00272` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ;
 299   [ `#0.00272` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ;
 300   [ `#0.00272` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 301  [ [ `#3.0` ] ; [ `-- #0.00272` ; `#0.065103` ; `-- #0.008732` ; `#0.025458` ; `-- #0.30558` ; `#0.055356` ;
 302    `-- #0.025458` ; `-- #0.055371` ; `#0.072591` ; `#0.025458` ; `-- #0.469389` ; `#0.037947` ; `-- #0.025458` ;
 303    `#0.025236` ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.002612` ; `#2.463509` ; `#2.0` ; `#2.0` ;
 304    `#2.489061` ; `#2.0` ; `#2.0` ] ; [ `#0.00272` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ;
 305   [ `#0.00272` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.00272` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.0` ;
 306    `#2.463509` ; `#2.0` ] ] ; [ [ `#3.0` ] ; [ `-- #0.00225` ; `-- #0.114872` ; `#0.116669` ; `#0.080919` ;
 307    `-- #0.7251449999999999` ; `#0.08743` ; `-- #0.080919` ; `#0.595546` ; `#0.148605` ; `#0.080919` ;
 308    `-- #0.853324` ; `#0.08743` ; `-- #0.080919` ; `#0.595546` ] ; [  ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ] ;
 309   [ `#0.00225` ; `#2.519989` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ; `#2.0` ] ; [ `#0.006648` ; `#2.46351` ; `#2.0` ; `#2.0` ; `#2.0` ;
 310    `#2.463509` ; `#2.0` ] ; [ `#0.002259` ; `#2.463511` ; `#2.000001` ; `#2.000001` ; `#2.000002` ;
 311    `#2.000002` ; `#2.000002` ] ; [ `#0.006648` ; `#2.46351` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ] ;
 312  [ [ `#2.0` ] ; [ `-- #0.00289` ; `#0.129913` ; `-- #0.09152` ; `#0.002372` ; `-- #0.034749` ; `#0.347659` ;
 313    `-- #0.002372` ; `-- #1.030425` ; `-- #0.105208` ; `#0.002372` ; `#0.072849` ; `-- #0.150931` ; `-- #0.002372` ;
 314    `#0.176057` ] ; [  ] ; [  ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.00289` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ; `#2.0` ] ;
 315   [ `#0.00289` ; `#2.52` ; `#2.0` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.005089` ; `#2.52` ; `#2.0` ; `#2.463509` ;
 316    `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.00289` ; `#2.6508` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ] ;
 317  [ [ `#2.0` ] ; [ `-- #0.00289` ; `#0.129913` ; `#0.340765` ; `#0.002372` ; `-- #1.124108` ; `-- #0.094917` ;
 318    `-- #0.002372` ; `#0.084866` ; `-- #0.150931` ; `#0.002372` ; `#0.138108` ; `-- #0.094917` ; `-- #0.002372` ;
 319    `#0.084866` ] ; [  ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.0` ] ; [ `#0.00289` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ; `#2.0` ] ;
 320   [ `#0.00289` ; `#2.52` ; `#2.0` ; `#2.463509` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.00289` ; `#2.6508` ; `#2.0` ; `#2.0` ;
 321    `#2.231754` ; `#2.0` ; `#2.0` ] ; [ `#0.00289` ; `#2.520001` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ] ;
 322  [ [ `#2.0` ] ; [ `-- #0.00289` ; `#0.129913` ; `-- #0.09152` ; `#0.002372` ; `-- #0.034749` ; `#0.291645` ;
 323    `-- #0.002372` ; `-- #0.939234` ; `-- #0.105208` ; `#0.002372` ; `#0.072849` ; `-- #0.094917` ; `-- #0.002372` ;
 324    `#0.084866` ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.00289` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ;
 325    `#2.0` ] ; [ `#0.00289` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ;
 326   [ `#0.005089` ; `#2.520002` ; `#2.000001` ; `#2.000001` ; `#2.000001` ; `#2.463507` ; `#2.000001` ] ;
 327   [ `#0.00289` ; `#2.520001` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ] ;
 328  [ [ `#2.0` ] ; [ `-- #0.005361` ; `#0.128506` ; `#0.290371` ; `#0.003287` ; `-- #1.026581` ; `-- #0.070878` ;
 329    `-- #0.003287` ; `#0.033394` ; `-- #0.097658` ; `#0.003287` ; `#0.050047` ; `-- #0.121835` ; `-- #0.003287` ;
 330    `#0.13571` ] ; [ `#1.0` ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.005361` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.52` ;
 331    `#2.0` ; `#2.0` ] ; [ `#0.005361` ; `#2.585401` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 332   [ `#0.008408` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 333   [ `#0.005361` ; `#2.6508` ; `#2.0` ; `#2.0` ; `#2.115877` ; `#2.0` ; `#2.0` ] ] ;
 334  [ [ `#2.0` ] ; [ `-- #0.005361` ; `#0.128506` ; `#0.263591` ; `#0.003287` ; `-- #0.957343` ; `-- #0.070878` ;
 335    `-- #0.003287` ; `#0.033394` ; `-- #0.121835` ; `#0.003287` ; `#0.083125` ; `-- #0.070878` ; `-- #0.003287` ;
 336    `#0.033394` ] ; [ `#1.0` ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ] ;
 337   [ `#0.005361` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ; `#2.0` ] ; [ `#0.005361` ; `#2.585401` ; `#2.0` ; `#2.0` ; `#2.0` ;
 338    `#2.463509` ; `#2.0` ] ; [ `#0.005361` ; `#2.6508` ; `#2.0` ; `#2.0` ; `#2.115877` ; `#2.0` ; `#2.0` ] ;
 339   [ `#0.005362` ; `#2.585403` ; `#2.0` ; `#2.000001` ; `#2.0` ; `#2.463508` ; `#2.0` ] ] ;
 340  [ [ `#2.0` ] ; [ `-- #0.005361` ; `#0.128506` ; `-- #0.066254` ; `#0.003287` ; `-- #0.104563` ; `#0.234791` ;
 341    `-- #0.003287` ; `-- #0.786309` ; `-- #0.097658` ; `#0.003287` ; `#0.050047` ; `-- #0.070878` ; `-- #0.003287` ;
 342    `#0.033394` ] ; [ `#1.0` ] ; [  ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 343   [ `#0.005361` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ; `#2.0` ] ; [ `#0.005361` ; `#2.5854` ; `#2.0` ; `#2.0` ;
 344    `#2.115877` ; `#2.0` ; `#2.0` ] ; [ `#0.008409` ; `#2.585403` ; `#2.000001` ; `#2.000001` ; `#2.000001` ;
 345    `#2.463508` ; `#2.000001` ] ; [ `#0.005362` ; `#2.585403` ; `#2.0` ; `#2.000001` ; `#2.0` ; `#2.463508` ;
 346    `#2.0` ] ] ; [ [ `#2.0` ] ; [ `-- #0.001637` ; `#0.127166` ; `-- #0.07331` ; `#0.003788` ; `-- #0.105909` ; `#0.23984` ;
 347    `-- #0.003788` ; `-- #0.767737` ; `-- #0.096981` ; `#0.003788` ; `#0.04248` ; `-- #0.069548` ; `-- #0.003788` ;
 348    `#0.032155` ] ; [ `#1.0` ] ; [ `#1.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 349   [ `#0.001637` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.5854` ; `#2.0` ; `#2.0` ] ; [ `#0.001637` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ;
 350    `#2.0` ; `#2.0` ] ; [ `#0.005148` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 351   [ `#0.001637` ; `#2.585403` ; `#2.0` ; `#2.000001` ; `#2.0` ; `#2.463508` ; `#2.0` ] ] ;
 352  [ [ `#2.0` ] ; [ `-- #0.00125` ; `#0.126777` ; `-- #0.053069` ; `#0.003525` ; `-- #0.142652` ; `#0.196466` ;
 353    `-- #0.003525` ; `-- #0.667227` ; `-- #0.093532` ; `#0.003525` ; `#0.035622` ; `-- #0.049865` ; `-- #0.003525` ;
 354    `-- #0.022307` ] ; [ `#1.0` ; `#1.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 355   [ `#0.00125` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.463509` ; `#2.0` ] ;
 356   [ `#0.001388` ; `#2.6181` ; `#2.000001` ; `#2.000001` ; `#2.0` ; `#2.463508` ; `#2.0` ] ;
 357   [ `#0.004482` ; `#2.6508` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 358   [ `#0.001388` ; `#2.618101` ; `#2.000001` ; `#2.000002` ; `#2.0` ; `#2.463508` ; `#2.000001` ] ] ;
 359  [ [ `#2.0` ] ; [ `-- #0.001974` ; `-- #0.0469` ; `#0.051237` ; `#0.060747` ; `-- #0.530637` ; `-- #0.014413` ;
 360    `-- #0.060747` ; `#0.594377` ; `-- #0.014413` ; `#0.060747` ; `-- #0.377571` ; `-- #0.02241` ; `-- #0.060747` ;
 361    `#0.608509` ] ; [ `#1.0` ; `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ;
 362   [ `#0.001974` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.520037` ; `#2.0` ; `#2.0` ] ;
 363   [ `#0.005733` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 364   [ `#0.001976` ; `#2.618027` ; `#2.000001` ; `#2.000001` ; `#2.000002` ; `#2.000001` ; `#2.000001` ] ;
 365   [ `#0.001974` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.057939` ; `#2.0` ; `#2.0` ] ] ;
 366  [ [ `#2.0` ] ; [ `-- #0.001974` ; `-- #0.0469` ; `#0.051237` ; `#0.060747` ; `-- #0.530636` ; `-- #0.014413` ;
 367    `-- #0.060747` ; `#0.594377` ; `-- #0.02241` ; `#0.060747` ; `-- #0.36344` ; `-- #0.014413` ; `-- #0.060747` ;
 368    `#0.594377` ] ; [ `#1.0` ; `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 369   [ `#0.001974` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.520037` ; `#2.0` ; `#2.0` ] ;
 370   [ `#0.005733` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 371   [ `#0.001975` ; `#2.585404` ; `#2.000001` ; `#2.000001` ; `#2.05794` ; `#2.000001` ; `#2.000001` ] ;
 372   [ `#0.001974` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 373  [ [ `#2.0` ] ; [ `-- #0.001974` ; `-- #0.0469` ; `#0.051237` ; `#0.060747` ; `-- #0.530637` ; `-- #0.02241` ;
 374    `-- #0.060747` ; `#0.608509` ; `-- #0.014413` ; `#0.060747` ; `-- #0.377571` ; `-- #0.014413` ; `-- #0.060747` ;
 375    `#0.594377` ] ; [ `#1.0` ; `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 376   [ `#0.001974` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.520037` ; `#2.0` ; `#2.0` ] ;
 377   [ `#0.001974` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.057939` ; `#2.0` ; `#2.0` ] ;
 378   [ `#0.001975` ; `#2.585402` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.001974` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.0` ;
 379    `#2.0` ; `#2.0` ] ] ; [ [ `#2.0` ] ; [ `-- #0.00033` ; `-- #0.036939` ; `#0.050064` ; `-- #0.057593` ; `#0.397884` ;
 380    `-- #0.016688` ; `#0.057593` ; `-- #0.362427` ; `-- #0.016688` ; `-- #0.057593` ; `#0.559062` ; `-- #0.016688` ;
 381    `-- #0.057593` ; `#0.559062` ] ; [ `#1.0` ; `#0.0` ; `#1.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 382   [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.00033` ; `#2.618094` ; `#2.000003` ; `#2.000003` ; `#2.520014` ; `#2.000003` ;
 383    `#2.000003` ] ; [ `#0.00033` ; `#2.601753` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ;
 384   [ `#0.00033` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.00033` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ;
 385    `#2.0` ] ] ; [ [ `#2.0` ] ; [ `-- #0.000417` ; `-- #0.049823` ; `#0.047052` ; `-- #0.061687` ; `#0.463622` ;
 386    `-- #0.015684` ; `#0.061687` ; `-- #0.379191` ; `-- #0.015684` ; `-- #0.061687` ; `#0.607807` ; `-- #0.015684` ;
 387    `#0.061687` ; `-- #0.379191` ] ; [ `#1.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 388   [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.000417` ; `#2.60175` ; `#2.0` ; `#2.0` ; `#2.5527` ; `#2.0` ; `#2.0` ] ;
 389   [ `#0.000418` ; `#2.601748` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.000417` ; `#2.60175` ; `#2.0` ; `#2.0` ; `#2.0` ;
 390    `#2.0` ; `#2.0` ] ; [ `#0.000418` ; `#2.601748` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 391  [ [ `#2.0` ] ; [ `-- #0.000396` ; `-- #0.053582` ; `#0.049452` ; `-- #0.06302` ; `#0.475514` ; `-- #0.013853` ;
 392    `#0.06302` ; `-- #0.389234` ; `-- #0.020791` ; `-- #0.06302` ; `#0.637132` ; `-- #0.013853` ; `-- #0.062897` ;
 393    `#0.618101` ] ; [ `#1.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 394   [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.000359` ; `#2.601749` ; `#2.0` ; `#2.0` ; `#2.536279` ; `#2.0` ; `#2.0` ] ;
 395   [ `#0.000396` ; `#2.601748` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.000396` ; `#2.60175` ; `#2.0` ; `#2.0` ; `#2.0` ;
 396    `#2.0` ; `#2.0` ] ; [ `#0.000396` ; `#2.60175` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 397  [ [ `#2.0` ] ; [ `-- #0.002012` ; `-- #0.066935` ; `#0.079693` ; `#0.066241` ; `-- #0.605497` ; `-- #0.021495` ;
 398    `-- #0.066241` ; `#0.685308` ; `-- #0.021495` ; `#0.066241` ; `-- #0.374549` ; `-- #0.036704` ; `-- #0.066241` ;
 399    `#0.715304` ] ; [ `#0.0` ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.00141` ; `#2.52` ; `#2.0` ; `#2.0` ;
 400    `#2.584895` ; `#2.0` ; `#2.0` ] ; [ `#0.004908` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 401   [ `#0.002012` ; `#2.585399` ; `#2.000001` ; `#2.000001` ; `#2.000001` ; `#2.000001` ; `#2.0` ] ;
 402   [ `#0.002012` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.115877` ; `#2.0` ; `#2.0` ] ] ;
 403  [ [ `#2.0` ] ; [ `-- #0.002012` ; `-- #0.066935` ; `#0.028887` ; `#0.066241` ; `-- #0.477466` ; `-- #0.021495` ;
 404    `-- #0.066241` ; `#0.685308` ; `#0.014102` ; `#0.066241` ; `-- #0.472584` ; `-- #0.021495` ; `-- #0.066241` ;
 405    `#0.685308` ] ; [ `#0.0` ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ] ;
 406   [ `#0.001651` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.596115` ; `#2.0` ; `#2.0` ] ;
 407   [ `#0.004908` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ; [ `#0.002012` ; `#2.52` ; `#2.0` ; `#2.0` ;
 408    `#2.115878` ; `#2.0` ; `#2.0` ] ; [ `#0.004908` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ] ;
 409  [ [ `#2.0` ] ; [ `-- #0.002012` ; `-- #0.066935` ; `#0.028887` ; `-- #0.066241` ; `#0.582391` ; `#0.014102` ;
 410    `#0.066241` ; `-- #0.472584` ; `-- #0.021495` ; `-- #0.066241` ; `#0.685308` ; `-- #0.021495` ; `#0.066241` ;
 411    `-- #0.374549` ] ; [ `#0.0` ] ; [  ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 412   [ `#0.00141` ; `#2.520001` ; `#2.000001` ; `#2.000001` ; `#2.58489` ; `#2.000001` ; `#2.000001` ] ;
 413   [ `#0.002012` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.115878` ; `#2.0` ; `#2.0` ] ; [ `#0.004908` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ;
 414    `#2.463509` ; `#2.0` ] ; [ `#0.002012` ; `#2.520001` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 415  [ [ `#2.0` ] ; [ `-- #0.000405` ; `-- #0.070081` ; `#0.043025` ; `#0.06775` ; `-- #0.520998` ; `-- #0.014342` ;
 416    `-- #0.06775` ; `#0.681778` ; `-- #0.014342` ; `#0.06775` ; `-- #0.402228` ; `-- #0.014342` ; `-- #0.06775` ;
 417    `#0.681778` ] ; [ `#0.0` ; `#1.0` ] ; [ `#1.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 418   [ `#0.000317` ; `#2.585399` ; `#2.0` ; `#2.0` ; `#2.612413` ; `#2.0` ; `#2.0` ] ;
 419   [ `#0.004048` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 420   [ `#0.000405` ; `#2.585391` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.004048` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.0` ;
 421    `#2.463509` ; `#2.0` ] ] ; [ [ `#2.0` ] ; [ `-- #0.001161` ; `-- #0.074623` ; `#0.079355` ; `#0.068595` ;
 422    `-- #0.608613` ; `-- #0.023711` ; `-- #0.068595` ; `#0.719631` ; `-- #0.023711` ; `#0.068595` ; `-- #0.37789` ;
 423    `-- #0.031932` ; `-- #0.068595` ; `#0.735738` ] ; [ `#0.0` ; `#0.0` ] ; [ `#1.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 424   [ `#0.0` ; `#0.0` ; `#1.0` ] ; [ `#0.001019` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.61793` ; `#2.0` ; `#2.0` ] ;
 425   [ `#0.004236` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ; [ `#0.001162` ; `#2.520001` ; `#2.0` ; `#2.0` ;
 426    `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.001161` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.057939` ; `#2.0` ; `#2.0` ] ] ;
 427  [ [ `#2.0` ] ; [ `-- #0.001161` ; `-- #0.074623` ; `#0.019702` ; `-- #0.081204` ; `#0.740105` ; `-- #0.023711` ;
 428    `#0.081204` ; `-- #0.47876` ; `-- #0.031932` ; `-- #0.081204` ; `#0.836608` ; `#0.035942` ; `#0.081204` ;
 429    `-- #0.629086` ] ; [ `#0.0` ; `#0.0` ] ; [ `#1.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 430   [ `#0.001084` ; `#2.552699` ; `#2.000001` ; `#2.000001` ; `#2.625659` ; `#2.000001` ; `#2.000001` ] ;
 431   [ `#0.001161` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.002657` ; `#2.52` ; `#2.0` ; `#2.463509` ;
 432    `#2.057939` ; `#2.0` ; `#2.0` ] ; [ `#0.001162` ; `#2.52` ; `#2.000001` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 433  [ [ `#2.0` ] ; [ `-- #0.001161` ; `-- #0.074623` ; `#0.019702` ; `-- #0.068595` ; `#0.639237` ; `-- #0.031932` ;
 434    `#0.068595` ; `-- #0.361784` ; `-- #0.023711` ; `-- #0.068595` ; `#0.719631` ; `#0.035942` ; `#0.068595` ;
 435    `-- #0.528217` ] ; [ `#0.0` ; `#0.0` ] ; [ `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 436   [ `#0.001084` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.625659` ; `#2.0` ; `#2.0` ] ;
 437   [ `#0.001161` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.057939` ; `#2.0` ; `#2.0` ] ; [ `#0.004236` ; `#2.52` ; `#2.0` ; `#2.463509` ;
 438    `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.001161` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 439  [ [ `#2.0` ] ; [ `-- #0.000308` ; `-- #0.090009` ; `#0.04151` ; `#0.073665` ; `-- #0.523458` ; `-- #0.013837` ;
 440    `-- #0.073665` ; `#0.755879` ; `-- #0.013837` ; `#0.073665` ; `-- #0.422755` ; `-- #0.013837` ; `-- #0.073665` ;
 441    `#0.755879` ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ; [ `#1.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 442   [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.000308` ; `#2.53635` ; `#2.0` ; `#2.0` ; `#2.650799` ; `#2.0` ; `#2.0` ] ;
 443   [ `#0.000308` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.000308` ; `#2.536357` ; `#2.0` ; `#2.0` ; `#2.0` ;
 444    `#2.0` ; `#2.0` ] ; [ `#0.000308` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 445  [ [ `#2.0` ] ; [ `-- #0.000418` ; `-- #0.17025` ; `#0.094709` ; `#0.098535` ; `-- #0.692034` ; `-- #0.021455` ;
 446    `-- #0.098535` ; `#1.087114` ; `#0.009749` ; `#0.098535` ; `-- #0.568591` ; `-- #0.021455` ; `-- #0.098535` ;
 447    `#1.087114` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#1.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 448   [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.000418` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.6508` ; `#2.0` ; `#2.0` ] ;
 449   [ `#0.000418` ; `#2.53635` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.000418` ; `#2.536343` ; `#2.0` ; `#2.0` ;
 450    `#2.000004` ; `#2.0` ; `#2.0` ] ; [ `#0.000418` ; `#2.53635` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 451  [ [ `#2.0` ] ; [ `-- #0.000644` ; `-- #0.172166` ; `#0.09973` ; `-- #0.099785` ; `#0.882284` ; `#0.014169` ;
 452    `#0.099785` ; `-- #0.586728` ; `-- #0.017353` ; `-- #0.099785` ; `#1.0903` ; `#0.014169` ; `#0.099785` ;
 453    `-- #0.586728` ] ; [ `#0.0` ; `#0.0` ] ; [ `#1.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 454   [ `#0.000644` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.6181` ; `#2.0` ; `#2.0` ] ; [ `#0.000644` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.0` ;
 455    `#2.0` ; `#2.0` ] ; [ `#0.000644` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ;
 456   [ `#0.000644` ; `#2.5527` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 457  [ [ `#2.0` ] ; [ `-- #0.000313` ; `-- #0.084789` ; `#0.039845` ; `-- #0.071708` ; `#0.632521` ; `-- #0.013282` ;
 458    `-- #0.071708` ; `#0.731624` ; `-- #0.013282` ; `-- #0.071708` ; `#0.731624` ; `-- #0.013282` ; `#0.071708` ;
 459    `-- #0.415701` ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 460   [ `#0.000313` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.5854` ; `#2.0` ; `#2.0` ] ; [ `#0.003624` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ;
 461    `#2.463509` ; `#2.0` ] ; [ `#0.003624` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 462   [ `#0.000314` ; `#2.520002` ; `#2.000002` ; `#2.000001` ; `#2.000001` ; `#2.000001` ; `#2.000001` ] ] ;
 463  [ [ `#1.0` ] ; [ `-- #0.00272` ; `#0.065103` ; `-- #0.052337` ; `-- #0.02292` ; `#0.191326` ; `#0.23854` ; `#0.02292` ;
 464    `-- #0.867278` ; `-- #0.073933` ; `-- #0.02292` ; `#0.286871` ; `-- #0.11227` ; `#0.02292` ; `-- #0.019974` ] ;
 465   [  ] ; [  ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.002703` ; `#2.6508` ; `#2.0` ; `#2.0` ; `#2.474335` ; `#2.0` ; `#2.0` ] ;
 466   [ `#0.00272` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.004959` ; `#2.6508` ; `#2.0` ; `#2.463509` ; `#2.0` ;
 467    `#2.0` ; `#2.0` ] ; [ `#0.002721` ; `#2.650799` ; `#2.0` ; `#2.0` ; `#2.231755` ; `#2.0` ; `#2.0` ] ] ;
 468  [ [ `#1.0` ] ; [ `-- #0.00272` ; `#0.065103` ; `-- #0.052337` ; `#0.02292` ; `-- #0.17539` ; `#0.23854` ; `-- #0.02292` ;
 469    `-- #0.500562` ; `-- #0.11227` ; `#0.02292` ; `-- #0.019974` ; `-- #0.073933` ; `-- #0.02292` ; `#0.286871` ] ;
 470   [  ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.0` ] ; [ `#0.002703` ; `#2.650799` ; `#2.0` ; `#2.000001` ; `#2.474442` ;
 471    `#2.000001` ; `#2.0` ] ; [ `#0.00272` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ;
 472   [ `#0.002721` ; `#2.650799` ; `#2.0` ; `#2.0` ; `#2.231755` ; `#2.0` ; `#2.0` ] ;
 473   [ `#0.003897` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ] ;
 474  [ [ `#1.0` ] ; [ `-- #0.00272` ; `#0.065103` ; `-- #0.052337` ; `#0.02292` ; `-- #0.175391` ; `-- #0.11227` ;
 475    `-- #0.02292` ; `#0.346743` ; `#0.23854` ; `#0.02292` ; `-- #0.867278` ; `-- #0.073933` ; `-- #0.02292` ;
 476    `#0.286871` ] ; [  ] ; [  ] ; [ `#1.0` ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.002703` ; `#2.650799` ; `#2.0` ; `#2.000001` ;
 477    `#2.474442` ; `#2.000001` ; `#2.0` ] ; [ `#0.00272` ; `#2.6508` ; `#2.0` ; `#2.0` ; `#2.231754` ; `#2.0` ; `#2.0` ] ;
 478   [ `#0.00272` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.003897` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ;
 479    `#2.0` ] ] ; [ [ `#1.0` ] ; [ `-- #0.004545` ; `#0.062681` ; `-- #0.026929` ; `#0.023742` ; `-- #0.242815` ;
 480    `-- #0.06441` ; `-- #0.023742` ; `#0.273568` ; `#0.176245` ; `#0.023742` ; `-- #0.72849` ; `-- #0.084906` ;
 481    `-- #0.023742` ; `#0.3039` ] ; [ `#1.0` ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ; `#1.0` ] ;
 482   [ `#0.004424` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.491903` ; `#2.0` ; `#2.0` ] ;
 483   [ `#0.006469` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 484   [ `#0.004545` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.004545` ; `#2.6508` ; `#2.0` ; `#2.0` ;
 485    `#2.115877` ; `#2.0` ; `#2.0` ] ] ; [ [ `#1.0` ] ; [ `-- #0.004545` ; `#0.062681` ; `-- #0.026929` ; `#0.023742` ;
 486    `-- #0.242815` ; `#0.176245` ; `-- #0.023742` ; `-- #0.348621` ; `-- #0.084906` ; `#0.023742` ; `-- #0.075969` ;
 487    `-- #0.06441` ; `-- #0.023742` ; `#0.273568` ] ; [ `#1.0` ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ] ;
 488   [ `#0.004424` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.491903` ; `#2.0` ; `#2.0` ] ;
 489   [ `#0.004545` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.004545` ; `#2.6508` ; `#2.0` ; `#2.0` ;
 490    `#2.115877` ; `#2.0` ; `#2.0` ] ; [ `#0.006469` ; `#2.585401` ; `#2.0` ; `#2.000001` ; `#2.0` ; `#2.463508` ; `#2.0` ] ] ;
 491  [ [ `#1.0` ] ; [ `-- #0.004545` ; `#0.062681` ; `-- #0.026929` ; `#0.023742` ; `-- #0.242815` ; `-- #0.084906` ;
 492    `-- #0.023742` ; `#0.3039` ; `#0.176245` ; `#0.023742` ; `-- #0.72849` ; `-- #0.06441` ; `-- #0.023742` ;
 493    `#0.273568` ] ; [ `#1.0` ] ; [  ] ; [ `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 494   [ `#0.004424` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.491903` ; `#2.0` ; `#2.0` ] ;
 495   [ `#0.004545` ; `#2.6508` ; `#2.0` ; `#2.0` ; `#2.115877` ; `#2.0` ; `#2.0` ] ;
 496   [ `#0.004545` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.006469` ; `#2.585401` ; `#2.0` ; `#2.000001` ;
 497    `#2.0` ; `#2.463508` ; `#2.0` ] ] ; [ [ `#1.0` ] ; [ `-- #0.000884` ; `#0.061714` ; `-- #0.014502` ; `-- #0.02407` ;
 498    `#0.104941` ; `#0.134266` ; `#0.02407` ; `-- #0.631477` ; `-- #0.059882` ; `-- #0.02407` ; `#0.261947` ;
 499    `-- #0.059882` ; `-- #0.02407` ; `#0.261947` ] ; [ `#1.0` ; `#1.0` ] ; [  ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ;
 500   [ `#0.0` ; `#0.0` ] ; [ `#0.000796` ; `#2.6508` ; `#2.0` ; `#2.0` ; `#2.488246` ; `#2.0` ; `#2.0` ] ;
 501   [ `#0.000884` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.003066` ; `#2.618101` ; `#2.0` ; `#2.0` ; `#2.0` ;
 502    `#2.463509` ; `#2.0` ] ; [ `#0.003066` ; `#2.618101` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ] ;
 503  [ [ `#1.0` ] ; [ `-- #0.001974` ; `-- #0.0469` ; `#0.051237` ; `#0.060747` ; `-- #0.530637` ; `-- #0.014413` ;
 504    `-- #0.060747` ; `#0.594377` ; `-- #0.014413` ; `#0.060747` ; `-- #0.377571` ; `-- #0.02241` ; `-- #0.060747` ;
 505    `#0.608509` ] ; [ `#1.0` ; `#0.0` ] ; [  ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ;
 506   [ `#0.002084` ; `#2.585663` ; `#2.000116` ; `#2.000116` ; `#2.519822` ; `#2.000113` ; `#2.000116` ] ;
 507   [ `#0.005733` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 508   [ `#0.001976` ; `#2.618027` ; `#2.000001` ; `#2.000001` ; `#2.000002` ; `#2.000001` ; `#2.000001` ] ;
 509   [ `#0.001974` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.057939` ; `#2.0` ; `#2.0` ] ] ;
 510  [ [ `#1.0` ] ; [ `-- #0.001974` ; `-- #0.0469` ; `#0.051237` ; `-- #0.073427` ; `#0.542756` ; `-- #0.014413` ;
 511    `#0.073427` ; `-- #0.479016` ; `-- #0.02241` ; `-- #0.073427` ; `#0.709954` ; `-- #0.014413` ; `#0.073427` ;
 512    `-- #0.479016` ] ; [ `#1.0` ; `#0.0` ] ; [  ] ; [ `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 513   [ `#0.001974` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ; `#2.0` ] ; [ `#0.001974` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ;
 514    `#2.0` ; `#2.0` ] ; [ `#0.004138` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.057939` ; `#2.463509` ; `#2.0` ] ;
 515   [ `#0.001974` ; `#2.585401` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 516  [ [ `#1.0` ] ; [ `-- #0.001974` ; `-- #0.0469` ; `#0.051237` ; `-- #0.060747` ; `#0.44131200000000004` ;
 517    `-- #0.02241` ; `#0.060747` ; `-- #0.36344` ; `-- #0.014413` ; `-- #0.060747` ; `#0.594377` ; `-- #0.014413` ;
 518    `#0.060747` ; `-- #0.377571` ] ; [ `#1.0` ; `#0.0` ] ; [  ] ; [ `#0.0` ; `#0.0` ; `#1.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 519   [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.002165` ; `#2.585453` ; `#2.000636` ; `#2.000639` ; `#2.51972` ; `#2.000635` ;
 520    `#2.000606` ] ; [ `#0.001975` ; `#2.585404` ; `#2.000001` ; `#2.000001` ; `#2.05794` ; `#2.000001` ;
 521    `#2.000001` ] ; [ `#0.001974` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ;
 522   [ `#0.001975` ; `#2.585402` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 523  [ [ `#1.0` ] ; [ `-- #0.00033` ; `-- #0.036939` ; `#0.050064` ; `#0.057593` ; `-- #0.523604` ; `-- #0.016688` ;
 524    `-- #0.057593` ; `#0.559062` ; `-- #0.016688` ; `#0.057593` ; `-- #0.362427` ; `-- #0.016688` ; `-- #0.057593` ;
 525    `#0.559062` ] ; [ `#1.0` ; `#0.0` ; `#1.0` ] ; [  ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 526   [ `#0.000403` ; `#2.609586` ; `#2.000023` ; `#2.00002` ; `#2.519733` ; `#2.000019` ; `#2.000024` ] ;
 527   [ `#0.00033` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ; [ `#0.00033` ; `#2.601753` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ;
 528    `#2.0` ] ; [ `#0.00033` ; `#2.6181` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ;
 529  [ [ `#1.0` ] ; [ `-- #0.000886` ; `-- #0.177145` ; `#0.151334` ; `-- #0.103308` ; `#0.774954` ; `#0.041584` ;
 530    `#0.103308` ; `-- #0.677721` ; `#0.00995` ; `-- #0.103308` ; `#1.057518` ; `#0.041584` ; `#0.103308` ;
 531    `-- #0.677721` ] ; [ `#1.0` ; `#0.0` ; `#0.0` ] ; [  ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ; [ `#0.0` ; `#0.0` ; `#0.0` ] ;
 532   [ `#0.000886` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ; `#2.0` ] ; [ `#0.000887` ; `#2.601712` ; `#2.000001` ;
 533    `#2.000001` ; `#2.000015` ; `#2.000001` ; `#2.000001` ] ; [ `#0.000886` ; `#2.601749` ; `#2.0` ; `#2.0` ; `#2.0` ;
 534    `#2.000001` ; `#2.0` ] ; [ `#0.000887` ; `#2.601712` ; `#2.000001` ; `#2.000001` ; `#2.000015` ;
 535    `#2.000001` ; `#2.000001` ] ] ; [ [ `#1.0` ] ; [ `-- #0.001328` ; `-- #0.121189` ; `#0.06473` ; `-- #0.084657` ;
 536    `#0.741383` ; `-- #0.016252` ; `#0.084657` ; `-- #0.45858` ; `-- #0.022099` ; `-- #0.084657` ; `#0.911046` ;
 537    `-- #0.016252` ; `#0.084657` ; `-- #0.45858` ] ; [ `#0.0` ] ; [  ] ; [ `#0.0` ] ; [ `#0.0` ] ; [ `#0.0` ] ;
 538   [ `#0.001328` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.52` ; `#2.0` ; `#2.0` ] ; [ `#0.001328` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ;
 539    `#2.0` ] ; [ `#0.006318` ; `#2.52` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.463509` ; `#2.0` ] ;
 540   [ `#0.001328` ; `#2.5854` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ; `#2.0` ] ] ];;
 541
 542 let records = map mk_irecord raw_nonlindatah;;
 543
 544 (*
 545 let nonlindata = [ [ [ 4.0 ] ; [ -0.00289 ; 0.129913 ; -0.060416 ; 0.002372 ; -0.113134 ; 0.01764 ;
 546    -0.002372 ; -0.198777 ; 0.045166 ; 0.002372 ; -0.306092 ; 0.021777 ; -0.002372 ;
 547    -0.259166 ] ; [  ] ; [  ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.003326 ; 2.463509 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ;
 548    2.0 ] ; [ 0.00289 ; 2.463514 ; 2.0 ; 2.463508 ; 2.0 ; 2.000001 ; 2.000001 ] ;
 549   [ 0.003534 ; 2.463509 ; 2.000001 ; 2.463508 ; 2.0 ; 2.0 ; 2.000001 ] ;
 550   [ 0.00289 ; 2.52 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ] ;
 551  [ [ 4.0 ] ; [ -0.002889 ; 0.129699 ; -0.060316 ; 0.002264 ; -0.112116 ; 0.019214 ;
 552    -0.002264 ; -0.203309 ; 0.021887 ; 0.002264 ; -0.29619 ; 0.019214 ; -0.002264 ;
 553    -0.203309 ] ; [  ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.0 ] ; [ 0.003328 ; 2.463509 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ;
 554    2.0 ] ; [ 0.00289 ; 2.463513 ; 2.0 ; 2.463508 ; 2.0 ; 2.000001 ; 2.0 ] ;
 555   [ 0.002889 ; 2.463509 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ;
 556   [ 0.002998 ; 2.519915 ; 2.000025 ; 2.000038 ; 2.000022 ; 2.463485 ; 2.000022 ] ] ;
 557  [ [ 4.0 ] ; [ -0.00289 ; 0.129913 ; -0.060416 ; 0.002372 ; -0.113134 ; 0.021777 ;
 558    -0.002372 ; -0.259166 ; 0.045166 ; 0.002372 ; -0.306092 ; 0.01764 ; -0.002372 ;
 559    -0.198777 ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.003326 ; 2.463509 ; 2.0 ; 2.0 ; 2.52 ;
 560    2.0 ; 2.0 ] ; [ 0.00289 ; 2.52 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ;
 561   [ 0.003534 ; 2.463509 ; 2.0 ; 2.0 ; 2.0 ; 2.463508 ; 2.0 ] ;
 562   [ 0.002915 ; 2.519935 ; 2.000027 ; 2.00004 ; 2.000024 ; 2.463484 ; 2.000025 ] ] ;
 563  [ [ 4.0 ] ; [ -0.000426 ; -0.114872 ; 0.133539 ; -0.080919 ; 0.532524 ; 0.148605 ;
 564    0.080919 ; -0.855148 ; 0.08743 ; -0.080919 ; 0.593722 ; 0.148605 ; 0.080919 ;
 565    -0.855148 ] ; [  ] ; [  ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.000426 ; 2.463509 ; 2.0 ; 2.0 ; 2.6508 ;
 566    2.0 ; 2.0 ] ; [ 0.000435 ; 2.463511 ; 2.000001 ; 2.000001 ; 2.000002 ; 2.000002 ;
 567    2.000002 ] ; [ 0.004824 ; 2.46351 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 568   [ 0.000435 ; 2.463511 ; 2.000001 ; 2.000001 ; 2.000002 ; 2.000002 ; 2.000002 ] ] ;
 569  [ [ 3.0 ] ; [ -0.00272 ; 0.065103 ; -0.008732 ; -0.024884 ; 0.097156 ; 0.072591 ;
 570    0.024884 ; -0.464803 ; 0.042651 ; -0.024884 ; 0.008797 ; 0.055356 ; 0.024884 ;
 571    -0.458108 ] ; [  ] ; [  ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.002594 ; 2.52 ; 2.0 ; 2.0 ; 2.491729 ; 2.0 ;
 572    2.0 ] ; [ 0.00272 ; 2.463509 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ;
 573   [ 0.00272 ; 2.463509 ; 2.0 ; 2.463509 ; 2.0 ; 2.0 ; 2.0 ] ;
 574   [ 0.00272 ; 2.52 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ] ;
 575  [ [ 3.0 ] ; [ -0.00272 ; 0.065103 ; -0.029778 ; -0.027449 ; 0.170713 ; 0.072591 ;
 576    0.027449 ; -0.485323 ; 0.055356 ; -0.027449 ; -0.039438 ; 0.072591 ; 0.027449 ;
 577    -0.485323 ] ; [  ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.0 ] ; [ 0.002594 ; 2.52 ; 2.0 ; 2.0 ; 2.491998 ; 2.0 ;
 578    2.0 ] ; [ 0.00272 ; 2.463509 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ;
 579   [ 0.00272 ; 2.463509 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ;
 580   [ 0.00272 ; 2.463509 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 581  [ [ 3.0 ] ; [ -0.00272 ; 0.065103 ; -0.008732 ; 0.025458 ; -0.30558 ; 0.055356 ;
 582    -0.025458 ; -0.055371 ; 0.072591 ; 0.025458 ; -0.469389 ; 0.037947 ; -0.025458 ;
 583    0.025236 ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.002612 ; 2.463509 ; 2.0 ; 2.0 ;
 584    2.489061 ; 2.0 ; 2.0 ] ; [ 0.00272 ; 2.52 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ;
 585   [ 0.00272 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.00272 ; 2.463509 ; 2.0 ; 2.0 ; 2.0 ;
 586    2.463509 ; 2.0 ] ] ; [ [ 3.0 ] ; [ -0.00225 ; -0.114872 ; 0.116669 ; 0.080919 ;
 587    -0.7251449999999999 ; 0.08743 ; -0.080919 ; 0.595546 ; 0.148605 ; 0.080919 ;
 588    -0.853324 ; 0.08743 ; -0.080919 ; 0.595546 ] ; [  ] ; [  ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.0 ] ;
 589   [ 0.00225 ; 2.519989 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ; 2.0 ] ; [ 0.006648 ; 2.46351 ; 2.0 ; 2.0 ; 2.0 ;
 590    2.463509 ; 2.0 ] ; [ 0.002259 ; 2.463511 ; 2.000001 ; 2.000001 ; 2.000002 ;
 591    2.000002 ; 2.000002 ] ; [ 0.006648 ; 2.46351 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ] ;
 592  [ [ 2.0 ] ; [ -0.00289 ; 0.129913 ; -0.09152 ; 0.002372 ; -0.034749 ; 0.347659 ;
 593    -0.002372 ; -1.030425 ; -0.105208 ; 0.002372 ; 0.072849 ; -0.150931 ; -0.002372 ;
 594    0.176057 ] ; [  ] ; [  ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.00289 ; 2.52 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ; 2.0 ] ;
 595   [ 0.00289 ; 2.52 ; 2.0 ; 2.463509 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.005089 ; 2.52 ; 2.0 ; 2.463509 ;
 596    2.0 ; 2.0 ; 2.0 ] ; [ 0.00289 ; 2.6508 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ] ;
 597  [ [ 2.0 ] ; [ -0.00289 ; 0.129913 ; 0.340765 ; 0.002372 ; -1.124108 ; -0.094917 ;
 598    -0.002372 ; 0.084866 ; -0.150931 ; 0.002372 ; 0.138108 ; -0.094917 ; -0.002372 ;
 599    0.084866 ] ; [  ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.0 ] ; [ 0.00289 ; 2.52 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ; 2.0 ] ;
 600   [ 0.00289 ; 2.52 ; 2.0 ; 2.463509 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.00289 ; 2.6508 ; 2.0 ; 2.0 ;
 601    2.231754 ; 2.0 ; 2.0 ] ; [ 0.00289 ; 2.520001 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ] ;
 602  [ [ 2.0 ] ; [ -0.00289 ; 0.129913 ; -0.09152 ; 0.002372 ; -0.034749 ; 0.291645 ;
 603    -0.002372 ; -0.939234 ; -0.105208 ; 0.002372 ; 0.072849 ; -0.094917 ; -0.002372 ;
 604    0.084866 ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.00289 ; 2.52 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ;
 605    2.0 ] ; [ 0.00289 ; 2.52 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ;
 606   [ 0.005089 ; 2.520002 ; 2.000001 ; 2.000001 ; 2.000001 ; 2.463507 ; 2.000001 ] ;
 607   [ 0.00289 ; 2.520001 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ] ;
 608  [ [ 2.0 ] ; [ -0.005361 ; 0.128506 ; 0.290371 ; 0.003287 ; -1.026581 ; -0.070878 ;
 609    -0.003287 ; 0.033394 ; -0.097658 ; 0.003287 ; 0.050047 ; -0.121835 ; -0.003287 ;
 610    0.13571 ] ; [ 1.0 ] ; [  ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.0 ; 1.0 ] ; [ 0.005361 ; 2.5854 ; 2.0 ; 2.0 ; 2.52 ;
 611    2.0 ; 2.0 ] ; [ 0.005361 ; 2.585401 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 612   [ 0.008408 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 613   [ 0.005361 ; 2.6508 ; 2.0 ; 2.0 ; 2.115877 ; 2.0 ; 2.0 ] ] ;
 614  [ [ 2.0 ] ; [ -0.005361 ; 0.128506 ; 0.263591 ; 0.003287 ; -0.957343 ; -0.070878 ;
 615    -0.003287 ; 0.033394 ; -0.121835 ; 0.003287 ; 0.083125 ; -0.070878 ; -0.003287 ;
 616    0.033394 ] ; [ 1.0 ] ; [  ] ; [ 0.0 ] ; [ 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ] ;
 617   [ 0.005361 ; 2.5854 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ; 2.0 ] ; [ 0.005361 ; 2.585401 ; 2.0 ; 2.0 ; 2.0 ;
 618    2.463509 ; 2.0 ] ; [ 0.005361 ; 2.6508 ; 2.0 ; 2.0 ; 2.115877 ; 2.0 ; 2.0 ] ;
 619   [ 0.005362 ; 2.585403 ; 2.0 ; 2.000001 ; 2.0 ; 2.463508 ; 2.0 ] ] ;
 620  [ [ 2.0 ] ; [ -0.005361 ; 0.128506 ; -0.066254 ; 0.003287 ; -0.104563 ; 0.234791 ;
 621    -0.003287 ; -0.786309 ; -0.097658 ; 0.003287 ; 0.050047 ; -0.070878 ; -0.003287 ;
 622    0.033394 ] ; [ 1.0 ] ; [  ] ; [ 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 623   [ 0.005361 ; 2.5854 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ; 2.0 ] ; [ 0.005361 ; 2.5854 ; 2.0 ; 2.0 ;
 624    2.115877 ; 2.0 ; 2.0 ] ; [ 0.008409 ; 2.585403 ; 2.000001 ; 2.000001 ; 2.000001 ;
 625    2.463508 ; 2.000001 ] ; [ 0.005362 ; 2.585403 ; 2.0 ; 2.000001 ; 2.0 ; 2.463508 ;
 626    2.0 ] ] ; [ [ 2.0 ] ; [ -0.001637 ; 0.127166 ; -0.07331 ; 0.003788 ; -0.105909 ; 0.23984 ;
 627    -0.003788 ; -0.767737 ; -0.096981 ; 0.003788 ; 0.04248 ; -0.069548 ; -0.003788 ;
 628    0.032155 ] ; [ 1.0 ] ; [ 1.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 629   [ 0.001637 ; 2.5854 ; 2.0 ; 2.0 ; 2.5854 ; 2.0 ; 2.0 ] ; [ 0.001637 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ;
 630    2.0 ; 2.0 ] ; [ 0.005148 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 631   [ 0.001637 ; 2.585403 ; 2.0 ; 2.000001 ; 2.0 ; 2.463508 ; 2.0 ] ] ;
 632  [ [ 2.0 ] ; [ -0.00125 ; 0.126777 ; -0.053069 ; 0.003525 ; -0.142652 ; 0.196466 ;
 633    -0.003525 ; -0.667227 ; -0.093532 ; 0.003525 ; 0.035622 ; -0.049865 ; -0.003525 ;
 634    -0.022307 ] ; [ 1.0 ; 1.0 ] ; [ 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 635   [ 0.00125 ; 2.6181 ; 2.0 ; 2.0 ; 2.52 ; 2.463509 ; 2.0 ] ;
 636   [ 0.001388 ; 2.6181 ; 2.000001 ; 2.000001 ; 2.0 ; 2.463508 ; 2.0 ] ;
 637   [ 0.004482 ; 2.6508 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 638   [ 0.001388 ; 2.618101 ; 2.000001 ; 2.000002 ; 2.0 ; 2.463508 ; 2.000001 ] ] ;
 639  [ [ 2.0 ] ; [ -0.001974 ; -0.0469 ; 0.051237 ; 0.060747 ; -0.530637 ; -0.014413 ;
 640    -0.060747 ; 0.594377 ; -0.014413 ; 0.060747 ; -0.377571 ; -0.02241 ; -0.060747 ;
 641    0.608509 ] ; [ 1.0 ; 0.0 ] ; [ 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 1.0 ] ;
 642   [ 0.001974 ; 2.5854 ; 2.0 ; 2.0 ; 2.520037 ; 2.0 ; 2.0 ] ;
 643   [ 0.005733 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 644   [ 0.001976 ; 2.618027 ; 2.000001 ; 2.000001 ; 2.000002 ; 2.000001 ; 2.000001 ] ;
 645   [ 0.001974 ; 2.6181 ; 2.0 ; 2.0 ; 2.057939 ; 2.0 ; 2.0 ] ] ;
 646  [ [ 2.0 ] ; [ -0.001974 ; -0.0469 ; 0.051237 ; 0.060747 ; -0.530636 ; -0.014413 ;
 647    -0.060747 ; 0.594377 ; -0.02241 ; 0.060747 ; -0.36344 ; -0.014413 ; -0.060747 ;
 648    0.594377 ] ; [ 1.0 ; 0.0 ] ; [ 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 649   [ 0.001974 ; 2.5854 ; 2.0 ; 2.0 ; 2.520037 ; 2.0 ; 2.0 ] ;
 650   [ 0.005733 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 651   [ 0.001975 ; 2.585404 ; 2.000001 ; 2.000001 ; 2.05794 ; 2.000001 ; 2.000001 ] ;
 652   [ 0.001974 ; 2.6181 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 653  [ [ 2.0 ] ; [ -0.001974 ; -0.0469 ; 0.051237 ; 0.060747 ; -0.530637 ; -0.02241 ;
 654    -0.060747 ; 0.608509 ; -0.014413 ; 0.060747 ; -0.377571 ; -0.014413 ; -0.060747 ;
 655    0.594377 ] ; [ 1.0 ; 0.0 ] ; [ 0.0 ] ; [ 0.0 ; 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 656   [ 0.001974 ; 2.5854 ; 2.0 ; 2.0 ; 2.520037 ; 2.0 ; 2.0 ] ;
 657   [ 0.001974 ; 2.6181 ; 2.0 ; 2.0 ; 2.057939 ; 2.0 ; 2.0 ] ;
 658   [ 0.001975 ; 2.585402 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.001974 ; 2.6181 ; 2.0 ; 2.0 ; 2.0 ;
 659    2.0 ; 2.0 ] ] ; [ [ 2.0 ] ; [ -0.00033 ; -0.036939 ; 0.050064 ; -0.057593 ; 0.397884 ;
 660    -0.016688 ; 0.057593 ; -0.362427 ; -0.016688 ; -0.057593 ; 0.559062 ; -0.016688 ;
 661    -0.057593 ; 0.559062 ] ; [ 1.0 ; 0.0 ; 1.0 ] ; [ 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 662   [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.00033 ; 2.618094 ; 2.000003 ; 2.000003 ; 2.520014 ; 2.000003 ;
 663    2.000003 ] ; [ 0.00033 ; 2.601753 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ;
 664   [ 0.00033 ; 2.6181 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.00033 ; 2.6181 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ;
 665    2.0 ] ] ; [ [ 2.0 ] ; [ -0.000417 ; -0.049823 ; 0.047052 ; -0.061687 ; 0.463622 ;
 666    -0.015684 ; 0.061687 ; -0.379191 ; -0.015684 ; -0.061687 ; 0.607807 ; -0.015684 ;
 667    0.061687 ; -0.379191 ] ; [ 1.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 668   [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.000417 ; 2.60175 ; 2.0 ; 2.0 ; 2.5527 ; 2.0 ; 2.0 ] ;
 669   [ 0.000418 ; 2.601748 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.000417 ; 2.60175 ; 2.0 ; 2.0 ; 2.0 ;
 670    2.0 ; 2.0 ] ; [ 0.000418 ; 2.601748 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 671  [ [ 2.0 ] ; [ -0.000396 ; -0.053582 ; 0.049452 ; -0.06302 ; 0.475514 ; -0.013853 ;
 672    0.06302 ; -0.389234 ; -0.020791 ; -0.06302 ; 0.637132 ; -0.013853 ; -0.062897 ;
 673    0.618101 ] ; [ 1.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 674   [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.000359 ; 2.601749 ; 2.0 ; 2.0 ; 2.536279 ; 2.0 ; 2.0 ] ;
 675   [ 0.000396 ; 2.601748 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.000396 ; 2.60175 ; 2.0 ; 2.0 ; 2.0 ;
 676    2.0 ; 2.0 ] ; [ 0.000396 ; 2.60175 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 677  [ [ 2.0 ] ; [ -0.002012 ; -0.066935 ; 0.079693 ; 0.066241 ; -0.605497 ; -0.021495 ;
 678    -0.066241 ; 0.685308 ; -0.021495 ; 0.066241 ; -0.374549 ; -0.036704 ; -0.066241 ;
 679    0.715304 ] ; [ 0.0 ] ; [  ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.0 ; 1.0 ] ; [ 0.00141 ; 2.52 ; 2.0 ; 2.0 ;
 680    2.584895 ; 2.0 ; 2.0 ] ; [ 0.004908 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 681   [ 0.002012 ; 2.585399 ; 2.000001 ; 2.000001 ; 2.000001 ; 2.000001 ; 2.0 ] ;
 682   [ 0.002012 ; 2.5854 ; 2.0 ; 2.0 ; 2.115877 ; 2.0 ; 2.0 ] ] ;
 683  [ [ 2.0 ] ; [ -0.002012 ; -0.066935 ; 0.028887 ; 0.066241 ; -0.477466 ; -0.021495 ;
 684    -0.066241 ; 0.685308 ; 0.014102 ; 0.066241 ; -0.472584 ; -0.021495 ; -0.066241 ;
 685    0.685308 ] ; [ 0.0 ] ; [  ] ; [ 0.0 ] ; [ 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ] ;
 686   [ 0.001651 ; 2.5854 ; 2.0 ; 2.0 ; 2.596115 ; 2.0 ; 2.0 ] ;
 687   [ 0.004908 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ; [ 0.002012 ; 2.52 ; 2.0 ; 2.0 ;
 688    2.115878 ; 2.0 ; 2.0 ] ; [ 0.004908 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ] ;
 689  [ [ 2.0 ] ; [ -0.002012 ; -0.066935 ; 0.028887 ; -0.066241 ; 0.582391 ; 0.014102 ;
 690    0.066241 ; -0.472584 ; -0.021495 ; -0.066241 ; 0.685308 ; -0.021495 ; 0.066241 ;
 691    -0.374549 ] ; [ 0.0 ] ; [  ] ; [ 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 692   [ 0.00141 ; 2.520001 ; 2.000001 ; 2.000001 ; 2.58489 ; 2.000001 ; 2.000001 ] ;
 693   [ 0.002012 ; 2.52 ; 2.0 ; 2.0 ; 2.115878 ; 2.0 ; 2.0 ] ; [ 0.004908 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ;
 694    2.463509 ; 2.0 ] ; [ 0.002012 ; 2.520001 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 695  [ [ 2.0 ] ; [ -0.000405 ; -0.070081 ; 0.043025 ; 0.06775 ; -0.520998 ; -0.014342 ;
 696    -0.06775 ; 0.681778 ; -0.014342 ; 0.06775 ; -0.402228 ; -0.014342 ; -0.06775 ;
 697    0.681778 ] ; [ 0.0 ; 1.0 ] ; [ 1.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 698   [ 0.000317 ; 2.585399 ; 2.0 ; 2.0 ; 2.612413 ; 2.0 ; 2.0 ] ;
 699   [ 0.004048 ; 2.5527 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 700   [ 0.000405 ; 2.585391 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.004048 ; 2.5527 ; 2.0 ; 2.0 ; 2.0 ;
 701    2.463509 ; 2.0 ] ] ; [ [ 2.0 ] ; [ -0.001161 ; -0.074623 ; 0.079355 ; 0.068595 ;
 702    -0.608613 ; -0.023711 ; -0.068595 ; 0.719631 ; -0.023711 ; 0.068595 ; -0.37789 ;
 703    -0.031932 ; -0.068595 ; 0.735738 ] ; [ 0.0 ; 0.0 ] ; [ 1.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 704   [ 0.0 ; 0.0 ; 1.0 ] ; [ 0.001019 ; 2.52 ; 2.0 ; 2.0 ; 2.61793 ; 2.0 ; 2.0 ] ;
 705   [ 0.004236 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ; [ 0.001162 ; 2.520001 ; 2.0 ; 2.0 ;
 706    2.0 ; 2.0 ; 2.0 ] ; [ 0.001161 ; 2.5527 ; 2.0 ; 2.0 ; 2.057939 ; 2.0 ; 2.0 ] ] ;
 707  [ [ 2.0 ] ; [ -0.001161 ; -0.074623 ; 0.019702 ; -0.081204 ; 0.740105 ; -0.023711 ;
 708    0.081204 ; -0.47876 ; -0.031932 ; -0.081204 ; 0.836608 ; 0.035942 ; 0.081204 ;
 709    -0.629086 ] ; [ 0.0 ; 0.0 ] ; [ 1.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 710   [ 0.001084 ; 2.552699 ; 2.000001 ; 2.000001 ; 2.625659 ; 2.000001 ; 2.000001 ] ;
 711   [ 0.001161 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.002657 ; 2.52 ; 2.0 ; 2.463509 ;
 712    2.057939 ; 2.0 ; 2.0 ] ; [ 0.001162 ; 2.52 ; 2.000001 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 713  [ [ 2.0 ] ; [ -0.001161 ; -0.074623 ; 0.019702 ; -0.068595 ; 0.639237 ; -0.031932 ;
 714    0.068595 ; -0.361784 ; -0.023711 ; -0.068595 ; 0.719631 ; 0.035942 ; 0.068595 ;
 715    -0.528217 ] ; [ 0.0 ; 0.0 ] ; [ 1.0 ] ; [ 0.0 ; 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 716   [ 0.001084 ; 2.5527 ; 2.0 ; 2.0 ; 2.625659 ; 2.0 ; 2.0 ] ;
 717   [ 0.001161 ; 2.52 ; 2.0 ; 2.0 ; 2.057939 ; 2.0 ; 2.0 ] ; [ 0.004236 ; 2.52 ; 2.0 ; 2.463509 ;
 718    2.0 ; 2.0 ; 2.0 ] ; [ 0.001161 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 719  [ [ 2.0 ] ; [ -0.000308 ; -0.090009 ; 0.04151 ; 0.073665 ; -0.523458 ; -0.013837 ;
 720    -0.073665 ; 0.755879 ; -0.013837 ; 0.073665 ; -0.422755 ; -0.013837 ; -0.073665 ;
 721    0.755879 ] ; [ 0.0 ; 0.0 ; 1.0 ] ; [ 1.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 722   [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.000308 ; 2.53635 ; 2.0 ; 2.0 ; 2.650799 ; 2.0 ; 2.0 ] ;
 723   [ 0.000308 ; 2.5527 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.000308 ; 2.536357 ; 2.0 ; 2.0 ; 2.0 ;
 724    2.0 ; 2.0 ] ; [ 0.000308 ; 2.5527 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 725  [ [ 2.0 ] ; [ -0.000418 ; -0.17025 ; 0.094709 ; 0.098535 ; -0.692034 ; -0.021455 ;
 726    -0.098535 ; 1.087114 ; 0.009749 ; 0.098535 ; -0.568591 ; -0.021455 ; -0.098535 ;
 727    1.087114 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 1.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 728   [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.000418 ; 2.52 ; 2.0 ; 2.0 ; 2.6508 ; 2.0 ; 2.0 ] ;
 729   [ 0.000418 ; 2.53635 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.000418 ; 2.536343 ; 2.0 ; 2.0 ;
 730    2.000004 ; 2.0 ; 2.0 ] ; [ 0.000418 ; 2.53635 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 731  [ [ 2.0 ] ; [ -0.000644 ; -0.172166 ; 0.09973 ; -0.099785 ; 0.882284 ; 0.014169 ;
 732    0.099785 ; -0.586728 ; -0.017353 ; -0.099785 ; 1.0903 ; 0.014169 ; 0.099785 ;
 733    -0.586728 ] ; [ 0.0 ; 0.0 ] ; [ 1.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 734   [ 0.000644 ; 2.5527 ; 2.0 ; 2.0 ; 2.6181 ; 2.0 ; 2.0 ] ; [ 0.000644 ; 2.5527 ; 2.0 ; 2.0 ; 2.0 ;
 735    2.0 ; 2.0 ] ; [ 0.000644 ; 2.5527 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ;
 736   [ 0.000644 ; 2.5527 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 737  [ [ 2.0 ] ; [ -0.000313 ; -0.084789 ; 0.039845 ; -0.071708 ; 0.632521 ; -0.013282 ;
 738    -0.071708 ; 0.731624 ; -0.013282 ; -0.071708 ; 0.731624 ; -0.013282 ; 0.071708 ;
 739    -0.415701 ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 740   [ 0.000313 ; 2.52 ; 2.0 ; 2.0 ; 2.5854 ; 2.0 ; 2.0 ] ; [ 0.003624 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ;
 741    2.463509 ; 2.0 ] ; [ 0.003624 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 742   [ 0.000314 ; 2.520002 ; 2.000002 ; 2.000001 ; 2.000001 ; 2.000001 ; 2.000001 ] ] ;
 743  [ [ 1.0 ] ; [ -0.00272 ; 0.065103 ; -0.052337 ; -0.02292 ; 0.191326 ; 0.23854 ; 0.02292 ;
 744    -0.867278 ; -0.073933 ; -0.02292 ; 0.286871 ; -0.11227 ; 0.02292 ; -0.019974 ] ;
 745   [  ] ; [  ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.002703 ; 2.6508 ; 2.0 ; 2.0 ; 2.474335 ; 2.0 ; 2.0 ] ;
 746   [ 0.00272 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.004959 ; 2.6508 ; 2.0 ; 2.463509 ; 2.0 ;
 747    2.0 ; 2.0 ] ; [ 0.002721 ; 2.650799 ; 2.0 ; 2.0 ; 2.231755 ; 2.0 ; 2.0 ] ] ;
 748  [ [ 1.0 ] ; [ -0.00272 ; 0.065103 ; -0.052337 ; 0.02292 ; -0.17539 ; 0.23854 ; -0.02292 ;
 749    -0.500562 ; -0.11227 ; 0.02292 ; -0.019974 ; -0.073933 ; -0.02292 ; 0.286871 ] ;
 750   [  ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.0 ] ; [ 0.002703 ; 2.650799 ; 2.0 ; 2.000001 ; 2.474442 ;
 751    2.000001 ; 2.0 ] ; [ 0.00272 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ;
 752   [ 0.002721 ; 2.650799 ; 2.0 ; 2.0 ; 2.231755 ; 2.0 ; 2.0 ] ;
 753   [ 0.003897 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ] ;
 754  [ [ 1.0 ] ; [ -0.00272 ; 0.065103 ; -0.052337 ; 0.02292 ; -0.175391 ; -0.11227 ;
 755    -0.02292 ; 0.346743 ; 0.23854 ; 0.02292 ; -0.867278 ; -0.073933 ; -0.02292 ;
 756    0.286871 ] ; [  ] ; [  ] ; [ 1.0 ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.002703 ; 2.650799 ; 2.0 ; 2.000001 ;
 757    2.474442 ; 2.000001 ; 2.0 ] ; [ 0.00272 ; 2.6508 ; 2.0 ; 2.0 ; 2.231754 ; 2.0 ; 2.0 ] ;
 758   [ 0.00272 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.003897 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ;
 759    2.0 ] ] ; [ [ 1.0 ] ; [ -0.004545 ; 0.062681 ; -0.026929 ; 0.023742 ; -0.242815 ;
 760    -0.06441 ; -0.023742 ; 0.273568 ; 0.176245 ; 0.023742 ; -0.72849 ; -0.084906 ;
 761    -0.023742 ; 0.3039 ] ; [ 1.0 ] ; [  ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.0 ; 1.0 ] ;
 762   [ 0.004424 ; 2.5854 ; 2.0 ; 2.0 ; 2.491903 ; 2.0 ; 2.0 ] ;
 763   [ 0.006469 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 764   [ 0.004545 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.004545 ; 2.6508 ; 2.0 ; 2.0 ;
 765    2.115877 ; 2.0 ; 2.0 ] ] ; [ [ 1.0 ] ; [ -0.004545 ; 0.062681 ; -0.026929 ; 0.023742 ;
 766    -0.242815 ; 0.176245 ; -0.023742 ; -0.348621 ; -0.084906 ; 0.023742 ; -0.075969 ;
 767    -0.06441 ; -0.023742 ; 0.273568 ] ; [ 1.0 ] ; [  ] ; [ 0.0 ] ; [ 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ] ;
 768   [ 0.004424 ; 2.5854 ; 2.0 ; 2.0 ; 2.491903 ; 2.0 ; 2.0 ] ;
 769   [ 0.004545 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.004545 ; 2.6508 ; 2.0 ; 2.0 ;
 770    2.115877 ; 2.0 ; 2.0 ] ; [ 0.006469 ; 2.585401 ; 2.0 ; 2.000001 ; 2.0 ; 2.463508 ; 2.0 ] ] ;
 771  [ [ 1.0 ] ; [ -0.004545 ; 0.062681 ; -0.026929 ; 0.023742 ; -0.242815 ; -0.084906 ;
 772    -0.023742 ; 0.3039 ; 0.176245 ; 0.023742 ; -0.72849 ; -0.06441 ; -0.023742 ;
 773    0.273568 ] ; [ 1.0 ] ; [  ] ; [ 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 774   [ 0.004424 ; 2.5854 ; 2.0 ; 2.0 ; 2.491903 ; 2.0 ; 2.0 ] ;
 775   [ 0.004545 ; 2.6508 ; 2.0 ; 2.0 ; 2.115877 ; 2.0 ; 2.0 ] ;
 776   [ 0.004545 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.006469 ; 2.585401 ; 2.0 ; 2.000001 ;
 777    2.0 ; 2.463508 ; 2.0 ] ] ; [ [ 1.0 ] ; [ -0.000884 ; 0.061714 ; -0.014502 ; -0.02407 ;
 778    0.104941 ; 0.134266 ; 0.02407 ; -0.631477 ; -0.059882 ; -0.02407 ; 0.261947 ;
 779    -0.059882 ; -0.02407 ; 0.261947 ] ; [ 1.0 ; 1.0 ] ; [  ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ;
 780   [ 0.0 ; 0.0 ] ; [ 0.000796 ; 2.6508 ; 2.0 ; 2.0 ; 2.488246 ; 2.0 ; 2.0 ] ;
 781   [ 0.000884 ; 2.6181 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.003066 ; 2.618101 ; 2.0 ; 2.0 ; 2.0 ;
 782    2.463509 ; 2.0 ] ; [ 0.003066 ; 2.618101 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ] ;
 783  [ [ 1.0 ] ; [ -0.001974 ; -0.0469 ; 0.051237 ; 0.060747 ; -0.530637 ; -0.014413 ;
 784    -0.060747 ; 0.594377 ; -0.014413 ; 0.060747 ; -0.377571 ; -0.02241 ; -0.060747 ;
 785    0.608509 ] ; [ 1.0 ; 0.0 ] ; [  ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 1.0 ] ;
 786   [ 0.002084 ; 2.585663 ; 2.000116 ; 2.000116 ; 2.519822 ; 2.000113 ; 2.000116 ] ;
 787   [ 0.005733 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 788   [ 0.001976 ; 2.618027 ; 2.000001 ; 2.000001 ; 2.000002 ; 2.000001 ; 2.000001 ] ;
 789   [ 0.001974 ; 2.6181 ; 2.0 ; 2.0 ; 2.057939 ; 2.0 ; 2.0 ] ] ;
 790  [ [ 1.0 ] ; [ -0.001974 ; -0.0469 ; 0.051237 ; -0.073427 ; 0.542756 ; -0.014413 ;
 791    0.073427 ; -0.479016 ; -0.02241 ; -0.073427 ; 0.709954 ; -0.014413 ; 0.073427 ;
 792    -0.479016 ] ; [ 1.0 ; 0.0 ] ; [  ] ; [ 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 793   [ 0.001974 ; 2.6181 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ; 2.0 ] ; [ 0.001974 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ;
 794    2.0 ; 2.0 ] ; [ 0.004138 ; 2.5854 ; 2.0 ; 2.0 ; 2.057939 ; 2.463509 ; 2.0 ] ;
 795   [ 0.001974 ; 2.585401 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 796  [ [ 1.0 ] ; [ -0.001974 ; -0.0469 ; 0.051237 ; -0.060747 ; 0.44131200000000004 ;
 797    -0.02241 ; 0.060747 ; -0.36344 ; -0.014413 ; -0.060747 ; 0.594377 ; -0.014413 ;
 798    0.060747 ; -0.377571 ] ; [ 1.0 ; 0.0 ] ; [  ] ; [ 0.0 ; 0.0 ; 1.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 799   [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.002165 ; 2.585453 ; 2.000636 ; 2.000639 ; 2.51972 ; 2.000635 ;
 800    2.000606 ] ; [ 0.001975 ; 2.585404 ; 2.000001 ; 2.000001 ; 2.05794 ; 2.000001 ;
 801    2.000001 ] ; [ 0.001974 ; 2.6181 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ;
 802   [ 0.001975 ; 2.585402 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 803  [ [ 1.0 ] ; [ -0.00033 ; -0.036939 ; 0.050064 ; 0.057593 ; -0.523604 ; -0.016688 ;
 804    -0.057593 ; 0.559062 ; -0.016688 ; 0.057593 ; -0.362427 ; -0.016688 ; -0.057593 ;
 805    0.559062 ] ; [ 1.0 ; 0.0 ; 1.0 ] ; [  ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 806   [ 0.000403 ; 2.609586 ; 2.000023 ; 2.00002 ; 2.519733 ; 2.000019 ; 2.000024 ] ;
 807   [ 0.00033 ; 2.6181 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ; [ 0.00033 ; 2.601753 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ;
 808    2.0 ] ; [ 0.00033 ; 2.6181 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ;
 809  [ [ 1.0 ] ; [ -0.000886 ; -0.177145 ; 0.151334 ; -0.103308 ; 0.774954 ; 0.041584 ;
 810    0.103308 ; -0.677721 ; 0.00995 ; -0.103308 ; 1.057518 ; 0.041584 ; 0.103308 ;
 811    -0.677721 ] ; [ 1.0 ; 0.0 ; 0.0 ] ; [  ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ; [ 0.0 ; 0.0 ; 0.0 ] ;
 812   [ 0.000886 ; 2.5854 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ; 2.0 ] ; [ 0.000887 ; 2.601712 ; 2.000001 ;
 813    2.000001 ; 2.000015 ; 2.000001 ; 2.000001 ] ; [ 0.000886 ; 2.601749 ; 2.0 ; 2.0 ; 2.0 ;
 814    2.000001 ; 2.0 ] ; [ 0.000887 ; 2.601712 ; 2.000001 ; 2.000001 ; 2.000015 ;
 815    2.000001 ; 2.000001 ] ] ; [ [ 1.0 ] ; [ -0.001328 ; -0.121189 ; 0.06473 ; -0.084657 ;
 816    0.741383 ; -0.016252 ; 0.084657 ; -0.45858 ; -0.022099 ; -0.084657 ; 0.911046 ;
 817    -0.016252 ; 0.084657 ; -0.45858 ] ; [ 0.0 ] ; [  ] ; [ 0.0 ] ; [ 0.0 ] ; [ 0.0 ] ;
 818   [ 0.001328 ; 2.52 ; 2.0 ; 2.0 ; 2.52 ; 2.0 ; 2.0 ] ; [ 0.001328 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ;
 819    2.0 ] ; [ 0.006318 ; 2.52 ; 2.0 ; 2.0 ; 2.0 ; 2.463509 ; 2.0 ] ;
 820   [ 0.001328 ; 2.5854 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ; 2.0 ] ] ];;
 821 *)
 822
 823
 824
 825
 826 (*
 827    raw data from Mathematica
 828    output /tmp/ineqdata3q1h.ml (with cutoff = 0.0003),
 829    book_code/sphereBook.nb, svn version 1185.
 830
 831 {{{4.}, {-0.00289, 0.129913, -0.060416, 0.002372, -0.113134, 0.01764,
 832    -0.002372, -0.198777, 0.045166, 0.002372, -0.306092, 0.021777, -0.002372,
 833    -0.259166}, {}, {}, {}, {}, {1.}, {0.003326, 2.463509, 2., 2., 2.52, 2.,
 834    2.}, {0.00289, 2.463514, 2., 2.463508, 2., 2.000001, 2.000001},
 835   {0.003534, 2.463509, 2.000001, 2.463508, 2., 2., 2.000001},
 836   {0.00289, 2.52, 2., 2., 2.231754, 2., 2.}},
 837  {{4.}, {-0.002889, 0.129699, -0.060316, 0.002264, -0.112116, 0.019214,
 838    -0.002264, -0.203309, 0.021887, 0.002264, -0.29619, 0.019214, -0.002264,
 839    -0.203309}, {}, {}, {}, {1.}, {0.}, {0.003328, 2.463509, 2., 2., 2.52, 2.,
 840    2.}, {0.00289, 2.463513, 2., 2.463508, 2., 2.000001, 2.},
 841   {0.002889, 2.463509, 2., 2., 2.231754, 2., 2.},
 842   {0.002998, 2.519915, 2.000025, 2.000038, 2.000022, 2.463485, 2.000022}},
 843  {{4.}, {-0.00289, 0.129913, -0.060416, 0.002372, -0.113134, 0.021777,
 844    -0.002372, -0.259166, 0.045166, 0.002372, -0.306092, 0.01764, -0.002372,
 845    -0.198777}, {}, {}, {1.}, {0.}, {0.}, {0.003326, 2.463509, 2., 2., 2.52,
 846    2., 2.}, {0.00289, 2.52, 2., 2., 2.231754, 2., 2.},
 847   {0.003534, 2.463509, 2., 2., 2., 2.463508, 2.},
 848   {0.002915, 2.519935, 2.000027, 2.00004, 2.000024, 2.463484, 2.000025}},
 849  {{4.}, {-0.000426, -0.114872, 0.133539, -0.080919, 0.532524, 0.148605,
 850    0.080919, -0.855148, 0.08743, -0.080919, 0.593722, 0.148605, 0.080919,
 851    -0.855148}, {}, {}, {0.}, {0.}, {0.}, {0.000426, 2.463509, 2., 2., 2.6508,
 852    2., 2.}, {0.000435, 2.463511, 2.000001, 2.000001, 2.000002, 2.000002,
 853    2.000002}, {0.004824, 2.46351, 2., 2., 2., 2.463509, 2.},
 854   {0.000435, 2.463511, 2.000001, 2.000001, 2.000002, 2.000002, 2.000002}},
 855  {{3.}, {-0.00272, 0.065103, -0.008732, -0.024884, 0.097156, 0.072591,
 856    0.024884, -0.464803, 0.042651, -0.024884, 0.008797, 0.055356, 0.024884,
 857    -0.458108}, {}, {}, {}, {}, {1.}, {0.002594, 2.52, 2., 2., 2.491729, 2.,
 858    2.}, {0.00272, 2.463509, 2., 2., 2., 2., 2.},
 859   {0.00272, 2.463509, 2., 2.463509, 2., 2., 2.},
 860   {0.00272, 2.52, 2., 2., 2.231754, 2., 2.}},
 861  {{3.}, {-0.00272, 0.065103, -0.029778, -0.027449, 0.170713, 0.072591,
 862    0.027449, -0.485323, 0.055356, -0.027449, -0.039438, 0.072591, 0.027449,
 863    -0.485323}, {}, {}, {}, {1.}, {0.}, {0.002594, 2.52, 2., 2., 2.491998, 2.,
 864    2.}, {0.00272, 2.463509, 2., 2., 2., 2., 2.},
 865   {0.00272, 2.463509, 2., 2., 2.231754, 2., 2.},
 866   {0.00272, 2.463509, 2., 2., 2., 2., 2.}},
 867  {{3.}, {-0.00272, 0.065103, -0.008732, 0.025458, -0.30558, 0.055356,
 868    -0.025458, -0.055371, 0.072591, 0.025458, -0.469389, 0.037947, -0.025458,
 869    0.025236}, {}, {}, {1.}, {0.}, {0.}, {0.002612, 2.463509, 2., 2.,
 870    2.489061, 2., 2.}, {0.00272, 2.52, 2., 2., 2.231754, 2., 2.},
 871   {0.00272, 2.52, 2., 2., 2., 2., 2.}, {0.00272, 2.463509, 2., 2., 2.,
 872    2.463509, 2.}}, {{3.}, {-0.00225, -0.114872, 0.116669, 0.080919,
 873    -0.7251449999999999, 0.08743, -0.080919, 0.595546, 0.148605, 0.080919,
 874    -0.853324, 0.08743, -0.080919, 0.595546}, {}, {}, {0.}, {0.}, {0.},
 875   {0.00225, 2.519989, 2., 2., 2.52, 2., 2.}, {0.006648, 2.46351, 2., 2., 2.,
 876    2.463509, 2.}, {0.002259, 2.463511, 2.000001, 2.000001, 2.000002,
 877    2.000002, 2.000002}, {0.006648, 2.46351, 2., 2., 2., 2.463509, 2.}},
 878  {{2.}, {-0.00289, 0.129913, -0.09152, 0.002372, -0.034749, 0.347659,
 879    -0.002372, -1.030425, -0.105208, 0.002372, 0.072849, -0.150931, -0.002372,
 880    0.176057}, {}, {}, {}, {}, {1.}, {0.00289, 2.52, 2., 2., 2.52, 2., 2.},
 881   {0.00289, 2.52, 2., 2.463509, 2., 2., 2.}, {0.005089, 2.52, 2., 2.463509,
 882    2., 2., 2.}, {0.00289, 2.6508, 2., 2., 2.231754, 2., 2.}},
 883  {{2.}, {-0.00289, 0.129913, 0.340765, 0.002372, -1.124108, -0.094917,
 884    -0.002372, 0.084866, -0.150931, 0.002372, 0.138108, -0.094917, -0.002372,
 885    0.084866}, {}, {}, {}, {1.}, {0.}, {0.00289, 2.52, 2., 2., 2.52, 2., 2.},
 886   {0.00289, 2.52, 2., 2.463509, 2., 2., 2.}, {0.00289, 2.6508, 2., 2.,
 887    2.231754, 2., 2.}, {0.00289, 2.520001, 2., 2., 2., 2.463509, 2.}},
 888  {{2.}, {-0.00289, 0.129913, -0.09152, 0.002372, -0.034749, 0.291645,
 889    -0.002372, -0.939234, -0.105208, 0.002372, 0.072849, -0.094917, -0.002372,
 890    0.084866}, {}, {}, {1.}, {0.}, {0.}, {0.00289, 2.52, 2., 2., 2.52, 2.,
 891    2.}, {0.00289, 2.52, 2., 2., 2.231754, 2., 2.},
 892   {0.005089, 2.520002, 2.000001, 2.000001, 2.000001, 2.463507, 2.000001},
 893   {0.00289, 2.520001, 2., 2., 2., 2.463509, 2.}},
 894  {{2.}, {-0.005361, 0.128506, 0.290371, 0.003287, -1.026581, -0.070878,
 895    -0.003287, 0.033394, -0.097658, 0.003287, 0.050047, -0.121835, -0.003287,
 896    0.13571}, {1.}, {}, {0.}, {0.}, {0., 1.}, {0.005361, 2.5854, 2., 2., 2.52,
 897    2., 2.}, {0.005361, 2.585401, 2., 2., 2., 2.463509, 2.},
 898   {0.008408, 2.5854, 2., 2., 2., 2.463509, 2.},
 899   {0.005361, 2.6508, 2., 2., 2.115877, 2., 2.}},
 900  {{2.}, {-0.005361, 0.128506, 0.263591, 0.003287, -0.957343, -0.070878,
 901    -0.003287, 0.033394, -0.121835, 0.003287, 0.083125, -0.070878, -0.003287,
 902    0.033394}, {1.}, {}, {0.}, {0., 1.}, {0., 0.},
 903   {0.005361, 2.5854, 2., 2., 2.52, 2., 2.}, {0.005361, 2.585401, 2., 2., 2.,
 904    2.463509, 2.}, {0.005361, 2.6508, 2., 2., 2.115877, 2., 2.},
 905   {0.005362, 2.585403, 2., 2.000001, 2., 2.463508, 2.}},
 906  {{2.}, {-0.005361, 0.128506, -0.066254, 0.003287, -0.104563, 0.234791,
 907    -0.003287, -0.786309, -0.097658, 0.003287, 0.050047, -0.070878, -0.003287,
 908    0.033394}, {1.}, {}, {0., 1.}, {0., 0.}, {0., 0.},
 909   {0.005361, 2.5854, 2., 2., 2.52, 2., 2.}, {0.005361, 2.5854, 2., 2.,
 910    2.115877, 2., 2.}, {0.008409, 2.585403, 2.000001, 2.000001, 2.000001,
 911    2.463508, 2.000001}, {0.005362, 2.585403, 2., 2.000001, 2., 2.463508,
 912    2.}}, {{2.}, {-0.001637, 0.127166, -0.07331, 0.003788, -0.105909, 0.23984,
 913    -0.003788, -0.767737, -0.096981, 0.003788, 0.04248, -0.069548, -0.003788,
 914    0.032155}, {1.}, {1.}, {0., 0.}, {0., 0.}, {0., 0.},
 915   {0.001637, 2.5854, 2., 2., 2.5854, 2., 2.}, {0.001637, 2.5854, 2., 2., 2.,
 916    2., 2.}, {0.005148, 2.5854, 2., 2., 2., 2.463509, 2.},
 917   {0.001637, 2.585403, 2., 2.000001, 2., 2.463508, 2.}},
 918  {{2.}, {-0.00125, 0.126777, -0.053069, 0.003525, -0.142652, 0.196466,
 919    -0.003525, -0.667227, -0.093532, 0.003525, 0.035622, -0.049865, -0.003525,
 920    -0.022307}, {1., 1.}, {0.}, {0., 0.}, {0., 0.}, {0., 0.},
 921   {0.00125, 2.6181, 2., 2., 2.52, 2.463509, 2.},
 922   {0.001388, 2.6181, 2.000001, 2.000001, 2., 2.463508, 2.},
 923   {0.004482, 2.6508, 2., 2., 2., 2.463509, 2.},
 924   {0.001388, 2.618101, 2.000001, 2.000002, 2., 2.463508, 2.000001}},
 925  {{2.}, {-0.001974, -0.0469, 0.051237, 0.060747, -0.530637, -0.014413,
 926    -0.060747, 0.594377, -0.014413, 0.060747, -0.377571, -0.02241, -0.060747,
 927    0.608509}, {1., 0.}, {0.}, {0., 0.}, {0., 0.}, {0., 0., 1.},
 928   {0.001974, 2.5854, 2., 2., 2.520037, 2., 2.},
 929   {0.005733, 2.5854, 2., 2., 2., 2.463509, 2.},
 930   {0.001976, 2.618027, 2.000001, 2.000001, 2.000002, 2.000001, 2.000001},
 931   {0.001974, 2.6181, 2., 2., 2.057939, 2., 2.}},
 932  {{2.}, {-0.001974, -0.0469, 0.051237, 0.060747, -0.530636, -0.014413,
 933    -0.060747, 0.594377, -0.02241, 0.060747, -0.36344, -0.014413, -0.060747,
 934    0.594377}, {1., 0.}, {0.}, {0., 0.}, {0., 0., 1.}, {0., 0., 0.},
 935   {0.001974, 2.5854, 2., 2., 2.520037, 2., 2.},
 936   {0.005733, 2.5854, 2., 2., 2., 2.463509, 2.},
 937   {0.001975, 2.585404, 2.000001, 2.000001, 2.05794, 2.000001, 2.000001},
 938   {0.001974, 2.6181, 2., 2., 2., 2., 2.}},
 939  {{2.}, {-0.001974, -0.0469, 0.051237, 0.060747, -0.530637, -0.02241,
 940    -0.060747, 0.608509, -0.014413, 0.060747, -0.377571, -0.014413, -0.060747,
 941    0.594377}, {1., 0.}, {0.}, {0., 0., 1.}, {0., 0., 0.}, {0., 0., 0.},
 942   {0.001974, 2.5854, 2., 2., 2.520037, 2., 2.},
 943   {0.001974, 2.6181, 2., 2., 2.057939, 2., 2.},
 944   {0.001975, 2.585402, 2., 2., 2., 2., 2.}, {0.001974, 2.6181, 2., 2., 2.,
 945    2., 2.}}, {{2.}, {-0.00033, -0.036939, 0.050064, -0.057593, 0.397884,
 946    -0.016688, 0.057593, -0.362427, -0.016688, -0.057593, 0.559062, -0.016688,
 947    -0.057593, 0.559062}, {1., 0., 1.}, {0.}, {0., 0., 0.}, {0., 0., 0.},
 948   {0., 0., 0.}, {0.00033, 2.618094, 2.000003, 2.000003, 2.520014, 2.000003,
 949    2.000003}, {0.00033, 2.601753, 2., 2., 2., 2., 2.},
 950   {0.00033, 2.6181, 2., 2., 2., 2., 2.}, {0.00033, 2.6181, 2., 2., 2., 2.,
 951    2.}}, {{2.}, {-0.000417, -0.049823, 0.047052, -0.061687, 0.463622,
 952    -0.015684, 0.061687, -0.379191, -0.015684, -0.061687, 0.607807, -0.015684,
 953    0.061687, -0.379191}, {1., 0., 0.}, {0., 1.}, {0., 0., 0.}, {0., 0., 0.},
 954   {0., 0., 0.}, {0.000417, 2.60175, 2., 2., 2.5527, 2., 2.},
 955   {0.000418, 2.601748, 2., 2., 2., 2., 2.}, {0.000417, 2.60175, 2., 2., 2.,
 956    2., 2.}, {0.000418, 2.601748, 2., 2., 2., 2., 2.}},
 957  {{2.}, {-0.000396, -0.053582, 0.049452, -0.06302, 0.475514, -0.013853,
 958    0.06302, -0.389234, -0.020791, -0.06302, 0.637132, -0.013853, -0.062897,
 959    0.618101}, {1., 0., 0.}, {0., 0.}, {0., 0., 0.}, {0., 0., 0.},
 960   {0., 0., 0.}, {0.000359, 2.601749, 2., 2., 2.536279, 2., 2.},
 961   {0.000396, 2.601748, 2., 2., 2., 2., 2.}, {0.000396, 2.60175, 2., 2., 2.,
 962    2., 2.}, {0.000396, 2.60175, 2., 2., 2., 2., 2.}},
 963  {{2.}, {-0.002012, -0.066935, 0.079693, 0.066241, -0.605497, -0.021495,
 964    -0.066241, 0.685308, -0.021495, 0.066241, -0.374549, -0.036704, -0.066241,
 965    0.715304}, {0.}, {}, {0.}, {0.}, {0., 1.}, {0.00141, 2.52, 2., 2.,
 966    2.584895, 2., 2.}, {0.004908, 2.52, 2., 2., 2., 2.463509, 2.},
 967   {0.002012, 2.585399, 2.000001, 2.000001, 2.000001, 2.000001, 2.},
 968   {0.002012, 2.5854, 2., 2., 2.115877, 2., 2.}},
 969  {{2.}, {-0.002012, -0.066935, 0.028887, 0.066241, -0.477466, -0.021495,
 970    -0.066241, 0.685308, 0.014102, 0.066241, -0.472584, -0.021495, -0.066241,
 971    0.685308}, {0.}, {}, {0.}, {0., 1.}, {0., 0.},
 972   {0.001651, 2.5854, 2., 2., 2.596115, 2., 2.},
 973   {0.004908, 2.52, 2., 2., 2., 2.463509, 2.}, {0.002012, 2.52, 2., 2.,
 974    2.115878, 2., 2.}, {0.004908, 2.52, 2., 2., 2., 2.463509, 2.}},
 975  {{2.}, {-0.002012, -0.066935, 0.028887, -0.066241, 0.582391, 0.014102,
 976    0.066241, -0.472584, -0.021495, -0.066241, 0.685308, -0.021495, 0.066241,
 977    -0.374549}, {0.}, {}, {0., 1.}, {0., 0.}, {0., 0.},
 978   {0.00141, 2.520001, 2.000001, 2.000001, 2.58489, 2.000001, 2.000001},
 979   {0.002012, 2.52, 2., 2., 2.115878, 2., 2.}, {0.004908, 2.52, 2., 2., 2.,
 980    2.463509, 2.}, {0.002012, 2.520001, 2., 2., 2., 2., 2.}},
 981  {{2.}, {-0.000405, -0.070081, 0.043025, 0.06775, -0.520998, -0.014342,
 982    -0.06775, 0.681778, -0.014342, 0.06775, -0.402228, -0.014342, -0.06775,
 983    0.681778}, {0., 1.}, {1.}, {0., 0.}, {0., 0.}, {0., 0.},
 984   {0.000317, 2.585399, 2., 2., 2.612413, 2., 2.},
 985   {0.004048, 2.5527, 2., 2., 2., 2.463509, 2.},
 986   {0.000405, 2.585391, 2., 2., 2., 2., 2.}, {0.004048, 2.5527, 2., 2., 2.,
 987    2.463509, 2.}}, {{2.}, {-0.001161, -0.074623, 0.079355, 0.068595,
 988    -0.608613, -0.023711, -0.068595, 0.719631, -0.023711, 0.068595, -0.37789,
 989    -0.031932, -0.068595, 0.735738}, {0., 0.}, {1.}, {0., 0.}, {0., 0.},
 990   {0., 0., 1.}, {0.001019, 2.52, 2., 2., 2.61793, 2., 2.},
 991   {0.004236, 2.52, 2., 2., 2., 2.463509, 2.}, {0.001162, 2.520001, 2., 2.,
 992    2., 2., 2.}, {0.001161, 2.5527, 2., 2., 2.057939, 2., 2.}},
 993  {{2.}, {-0.001161, -0.074623, 0.019702, -0.081204, 0.740105, -0.023711,
 994    0.081204, -0.47876, -0.031932, -0.081204, 0.836608, 0.035942, 0.081204,
 995    -0.629086}, {0., 0.}, {1.}, {0., 0.}, {0., 0., 1.}, {0., 0., 0.},
 996   {0.001084, 2.552699, 2.000001, 2.000001, 2.625659, 2.000001, 2.000001},
 997   {0.001161, 2.52, 2., 2., 2., 2., 2.}, {0.002657, 2.52, 2., 2.463509,
 998    2.057939, 2., 2.}, {0.001162, 2.52, 2.000001, 2., 2., 2., 2.}},
 999  {{2.}, {-0.001161, -0.074623, 0.019702, -0.068595, 0.639237, -0.031932,
1000    0.068595, -0.361784, -0.023711, -0.068595, 0.719631, 0.035942, 0.068595,
1001    -0.528217}, {0., 0.}, {1.}, {0., 0., 1.}, {0., 0., 0.}, {0., 0., 0.},
1002   {0.001084, 2.5527, 2., 2., 2.625659, 2., 2.},
1003   {0.001161, 2.52, 2., 2., 2.057939, 2., 2.}, {0.004236, 2.52, 2., 2.463509,
1004    2., 2., 2.}, {0.001161, 2.52, 2., 2., 2., 2., 2.}},
1005  {{2.}, {-0.000308, -0.090009, 0.04151, 0.073665, -0.523458, -0.013837,
1006    -0.073665, 0.755879, -0.013837, 0.073665, -0.422755, -0.013837, -0.073665,
1007    0.755879}, {0., 0., 1.}, {1., 1.}, {0., 0., 0.}, {0., 0., 0.},
1008   {0., 0., 0.}, {0.000308, 2.53635, 2., 2., 2.650799, 2., 2.},
1009   {0.000308, 2.5527, 2., 2., 2., 2., 2.}, {0.000308, 2.536357, 2., 2., 2.,
1010    2., 2.}, {0.000308, 2.5527, 2., 2., 2., 2., 2.}},
1011  {{2.}, {-0.000418, -0.17025, 0.094709, 0.098535, -0.692034, -0.021455,
1012    -0.098535, 1.087114, 0.009749, 0.098535, -0.568591, -0.021455, -0.098535,
1013    1.087114}, {0., 0., 0.}, {1., 1.}, {0., 0., 0.}, {0., 0., 0.},
1014   {0., 0., 0.}, {0.000418, 2.52, 2., 2., 2.6508, 2., 2.},
1015   {0.000418, 2.53635, 2., 2., 2., 2., 2.}, {0.000418, 2.536343, 2., 2.,
1016    2.000004, 2., 2.}, {0.000418, 2.53635, 2., 2., 2., 2., 2.}},
1017  {{2.}, {-0.000644, -0.172166, 0.09973, -0.099785, 0.882284, 0.014169,
1018    0.099785, -0.586728, -0.017353, -0.099785, 1.0903, 0.014169, 0.099785,
1019    -0.586728}, {0., 0.}, {1., 0.}, {0., 0., 0.}, {0., 0., 0.}, {0., 0., 0.},
1020   {0.000644, 2.5527, 2., 2., 2.6181, 2., 2.}, {0.000644, 2.5527, 2., 2., 2.,
1021    2., 2.}, {0.000644, 2.5527, 2., 2., 2., 2., 2.},
1022   {0.000644, 2.5527, 2., 2., 2., 2., 2.}},
1023  {{2.}, {-0.000313, -0.084789, 0.039845, -0.071708, 0.632521, -0.013282,
1024    -0.071708, 0.731624, -0.013282, -0.071708, 0.731624, -0.013282, 0.071708,
1025    -0.415701}, {0.}, {0.}, {0., 0.}, {0., 0.}, {0., 0.},
1026   {0.000313, 2.52, 2., 2., 2.5854, 2., 2.}, {0.003624, 2.52, 2., 2., 2.,
1027    2.463509, 2.}, {0.003624, 2.52, 2., 2., 2., 2.463509, 2.},
1028   {0.000314, 2.520002, 2.000002, 2.000001, 2.000001, 2.000001, 2.000001}},
1029  {{1.}, {-0.00272, 0.065103, -0.052337, -0.02292, 0.191326, 0.23854, 0.02292,
1030    -0.867278, -0.073933, -0.02292, 0.286871, -0.11227, 0.02292, -0.019974},
1031   {}, {}, {}, {}, {1.}, {0.002703, 2.6508, 2., 2., 2.474335, 2., 2.},
1032   {0.00272, 2.52, 2., 2., 2., 2., 2.}, {0.004959, 2.6508, 2., 2.463509, 2.,
1033    2., 2.}, {0.002721, 2.650799, 2., 2., 2.231755, 2., 2.}},
1034  {{1.}, {-0.00272, 0.065103, -0.052337, 0.02292, -0.17539, 0.23854, -0.02292,
1035    -0.500562, -0.11227, 0.02292, -0.019974, -0.073933, -0.02292, 0.286871},
1036   {}, {}, {}, {1.}, {0.}, {0.002703, 2.650799, 2., 2.000001, 2.474442,
1037    2.000001, 2.}, {0.00272, 2.52, 2., 2., 2., 2., 2.},
1038   {0.002721, 2.650799, 2., 2., 2.231755, 2., 2.},
1039   {0.003897, 2.52, 2., 2., 2., 2.463509, 2.}},
1040  {{1.}, {-0.00272, 0.065103, -0.052337, 0.02292, -0.175391, -0.11227,
1041    -0.02292, 0.346743, 0.23854, 0.02292, -0.867278, -0.073933, -0.02292,
1042    0.286871}, {}, {}, {1.}, {0.}, {0.}, {0.002703, 2.650799, 2., 2.000001,
1043    2.474442, 2.000001, 2.}, {0.00272, 2.6508, 2., 2., 2.231754, 2., 2.},
1044   {0.00272, 2.52, 2., 2., 2., 2., 2.}, {0.003897, 2.52, 2., 2., 2., 2.463509,
1045    2.}}, {{1.}, {-0.004545, 0.062681, -0.026929, 0.023742, -0.242815,
1046    -0.06441, -0.023742, 0.273568, 0.176245, 0.023742, -0.72849, -0.084906,
1047    -0.023742, 0.3039}, {1.}, {}, {0.}, {0.}, {0., 1.},
1048   {0.004424, 2.5854, 2., 2., 2.491903, 2., 2.},
1049   {0.006469, 2.5854, 2., 2., 2., 2.463509, 2.},
1050   {0.004545, 2.5854, 2., 2., 2., 2., 2.}, {0.004545, 2.6508, 2., 2.,
1051    2.115877, 2., 2.}}, {{1.}, {-0.004545, 0.062681, -0.026929, 0.023742,
1052    -0.242815, 0.176245, -0.023742, -0.348621, -0.084906, 0.023742, -0.075969,
1053    -0.06441, -0.023742, 0.273568}, {1.}, {}, {0.}, {0., 1.}, {0., 0.},
1054   {0.004424, 2.5854, 2., 2., 2.491903, 2., 2.},
1055   {0.004545, 2.5854, 2., 2., 2., 2., 2.}, {0.004545, 2.6508, 2., 2.,
1056    2.115877, 2., 2.}, {0.006469, 2.585401, 2., 2.000001, 2., 2.463508, 2.}},
1057  {{1.}, {-0.004545, 0.062681, -0.026929, 0.023742, -0.242815, -0.084906,
1058    -0.023742, 0.3039, 0.176245, 0.023742, -0.72849, -0.06441, -0.023742,
1059    0.273568}, {1.}, {}, {0., 1.}, {0., 0.}, {0., 0.},
1060   {0.004424, 2.5854, 2., 2., 2.491903, 2., 2.},
1061   {0.004545, 2.6508, 2., 2., 2.115877, 2., 2.},
1062   {0.004545, 2.5854, 2., 2., 2., 2., 2.}, {0.006469, 2.585401, 2., 2.000001,
1063    2., 2.463508, 2.}}, {{1.}, {-0.000884, 0.061714, -0.014502, -0.02407,
1064    0.104941, 0.134266, 0.02407, -0.631477, -0.059882, -0.02407, 0.261947,
1065    -0.059882, -0.02407, 0.261947}, {1., 1.}, {}, {0., 0.}, {0., 0.},
1066   {0., 0.}, {0.000796, 2.6508, 2., 2., 2.488246, 2., 2.},
1067   {0.000884, 2.6181, 2., 2., 2., 2., 2.}, {0.003066, 2.618101, 2., 2., 2.,
1068    2.463509, 2.}, {0.003066, 2.618101, 2., 2., 2., 2.463509, 2.}},
1069  {{1.}, {-0.001974, -0.0469, 0.051237, 0.060747, -0.530637, -0.014413,
1070    -0.060747, 0.594377, -0.014413, 0.060747, -0.377571, -0.02241, -0.060747,
1071    0.608509}, {1., 0.}, {}, {0., 0.}, {0., 0.}, {0., 0., 1.},
1072   {0.002084, 2.585663, 2.000116, 2.000116, 2.519822, 2.000113, 2.000116},
1073   {0.005733, 2.5854, 2., 2., 2., 2.463509, 2.},
1074   {0.001976, 2.618027, 2.000001, 2.000001, 2.000002, 2.000001, 2.000001},
1075   {0.001974, 2.6181, 2., 2., 2.057939, 2., 2.}},
1076  {{1.}, {-0.001974, -0.0469, 0.051237, -0.073427, 0.542756, -0.014413,
1077    0.073427, -0.479016, -0.02241, -0.073427, 0.709954, -0.014413, 0.073427,
1078    -0.479016}, {1., 0.}, {}, {0., 0.}, {0., 0., 1.}, {0., 0., 0.},
1079   {0.001974, 2.6181, 2., 2., 2.52, 2., 2.}, {0.001974, 2.5854, 2., 2., 2.,
1080    2., 2.}, {0.004138, 2.5854, 2., 2., 2.057939, 2.463509, 2.},
1081   {0.001974, 2.585401, 2., 2., 2., 2., 2.}},
1082  {{1.}, {-0.001974, -0.0469, 0.051237, -0.060747, 0.44131200000000004,
1083    -0.02241, 0.060747, -0.36344, -0.014413, -0.060747, 0.594377, -0.014413,
1084    0.060747, -0.377571}, {1., 0.}, {}, {0., 0., 1.}, {0., 0., 0.},
1085   {0., 0., 0.}, {0.002165, 2.585453, 2.000636, 2.000639, 2.51972, 2.000635,
1086    2.000606}, {0.001975, 2.585404, 2.000001, 2.000001, 2.05794, 2.000001,
1087    2.000001}, {0.001974, 2.6181, 2., 2., 2., 2., 2.},
1088   {0.001975, 2.585402, 2., 2., 2., 2., 2.}},
1089  {{1.}, {-0.00033, -0.036939, 0.050064, 0.057593, -0.523604, -0.016688,
1090    -0.057593, 0.559062, -0.016688, 0.057593, -0.362427, -0.016688, -0.057593,
1091    0.559062}, {1., 0., 1.}, {}, {0., 0., 0.}, {0., 0., 0.}, {0., 0., 0.},
1092   {0.000403, 2.609586, 2.000023, 2.00002, 2.519733, 2.000019, 2.000024},
1093   {0.00033, 2.6181, 2., 2., 2., 2., 2.}, {0.00033, 2.601753, 2., 2., 2., 2.,
1094    2.}, {0.00033, 2.6181, 2., 2., 2., 2., 2.}},
1095  {{1.}, {-0.000886, -0.177145, 0.151334, -0.103308, 0.774954, 0.041584,
1096    0.103308, -0.677721, 0.00995, -0.103308, 1.057518, 0.041584, 0.103308,
1097    -0.677721}, {1., 0., 0.}, {}, {0., 0., 0.}, {0., 0., 0.}, {0., 0., 0.},
1098   {0.000886, 2.5854, 2., 2., 2.52, 2., 2.}, {0.000887, 2.601712, 2.000001,
1099    2.000001, 2.000015, 2.000001, 2.000001}, {0.000886, 2.601749, 2., 2., 2.,
1100    2.000001, 2.}, {0.000887, 2.601712, 2.000001, 2.000001, 2.000015,
1101    2.000001, 2.000001}}, {{1.}, {-0.001328, -0.121189, 0.06473, -0.084657,
1102    0.741383, -0.016252, 0.084657, -0.45858, -0.022099, -0.084657, 0.911046,
1103    -0.016252, 0.084657, -0.45858}, {0.}, {}, {0.}, {0.}, {0.},
1104   {0.001328, 2.52, 2., 2., 2.52, 2., 2.}, {0.001328, 2.5854, 2., 2., 2., 2.,
1105    2.}, {0.006318, 2.52, 2., 2., 2., 2.463509, 2.},
1106   {0.001328, 2.5854, 2., 2., 2., 2., 2.}}}
1107
1108 *)
1109
1110
1111
1112 (* test that the data covers the entire 13-dimensional domain of octahedra *)
1113
1114 let get_cover i =
1115   let v = List.rev  in
1116   let r = map (fun t -> (v t.branch1,v t.branch2,v t.branch3,v t.branch4,v t.branch5)) (filter (fun t -> t.caseno =i ) records) in r;;
1117
1118 let check ((r1,r2,r3,r4,r5),(s1,s2,s3,s4,s5)) =
1119   not(r1=[]) && not(s1=[]) &&
1120   not(hd r1 = hd s1) && (tl r1 = tl s1) &&
1121    (r2 = s2) && (r3 = s3) && (r4=s4) &&(r5=s5);;
1122
1123 let combine
1124    ((r1,r2,r3,r4,r5),(s1,s2,s3,s4,s5))=
1125       if check((r1,r2,r3,r4,r5),(s1,s2,s3,s4,s5))
1126       then (hd r1 < hd s1,0),(tl r1,r2,r3,r4,r5)
1127       else if check((r2,r1,r3,r4,r5),(s2,s1,s3,s4,s5))
1128       then (hd r2 < hd s2,1),(r1,tl r2,r3,r4,r5)
1129       else if check((r3,r1,r2,r4,r5),(s3,s1,s2,s4,s5))
1130       then (hd r3 < hd s3,2),(r1,r2,tl r3,r4,r5)
1131       else if check((r4,r1,r2,r3,r5),(s4,s1,s2,s3,s5))
1132       then (hd r4 < hd s4,3),(r1,r2,r3,tl r4,r5)
1133       else if check((r5,r1,r2,r3,r4),(s5,s1,s2,s3,s4))
1134       then (hd r5 < hd s5,4),(r1,r2,r3,r4,tl r5)
1135       else failwith "combine";;
1136
1137 let rec combine_l = function
1138    [] -> []
1139   | [a] -> [a]
1140   | a::b::cs -> try (snd(combine (a,b))) :: cs with Failure _ -> a:: (combine_l (b::cs));;
1141
1142 let rec combine_r x=
1143   let y = combine_l x in
1144    if (y = x) then x else combine_r y;;
1145
1146 let rec nub = function (* from lpproc *)
1147   | [] -> []
1148   | x::xs -> x::filter ((<>) x) (nub xs);;
1149
1150 let domain_cover_calculation = ([[([],[],[],[],[])]] =
1151    nub(map (fun t -> combine_r (get_cover t)) ( 1 -- 4) ));;
1152
1153 (* for testing in cfsqp:
1154
1155 let exec case r =
1156   let d = List.nth records r in
1157   let f =  mk_ineq case d in
1158    execute_cfsqp { ineq = f; id = "TEST"; tags = []; doc = ""; };;
1159
1160 *)
1161
1162
1163 end;;
1164