(*************************************************************************)
(*                                                                       *)
(*                     Projet      Formel                                *)
(*                                                                       *)
(* CAML-light: MLgraph library *)
(*                                                                       *)
(*************************************************************************)
(*                                                                       *)
(*                            LIENS                                      *)
(*                        45 rue d'Ulm                                   *)
(*                         75005 PARIS                                   *)
(*                            France                                     *)
(*                                                                       *)
(*************************************************************************)


#open "MLgraph";;


let fn = 
Helvetica,{font_descr_filename="preloaded"; font_descr_name="Helvetica";
font_descr_width=12.8;
font_descr_height=12.0;
font_descr_descr= vect_of_list [
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
3.336;
4.25999;
6.672;
6.672;
10.668;
8.004;
2.664;
3.996;
3.996;
4.668;
7.008;
3.336;
3.996;
3.336;
3.336;
6.672;
6.672;
6.672;
6.672;
6.672;
6.672;
6.672;
6.672;
6.672;
6.672;
3.336;
3.336;
7.008;
7.008;
7.008;
6.672;
12.18;
8.004;
8.004;
8.664;
8.664;
8.004;
7.332;
9.336;
8.664;
3.336;
6.0;
8.004;
6.672;
9.996;
8.664;
9.336;
8.004;
9.336;
8.664;
8.004;
7.332;
8.664;
8.004;
11.328;
8.004;
8.004;
7.332;
3.336;
3.336;
3.336;
5.62801;
6.672;
2.664;
6.672;
6.672;
6.0;
6.672;
6.672;
3.336;
6.672;
6.672;
2.664;
2.664;
6.0;
2.664;
9.996;
6.672;
6.672;
6.672;
6.672;
3.996;
6.0;
3.336;
6.672;
6.0;
8.664;
6.0;
6.0;
6.0;
4.008;
3.12;
4.008;
7.008;
3.336;
3.336;
8.004;
8.004;
8.004;
8.004;
8.004;
8.004;
8.664;
8.004;
8.004;
8.004;
8.004;
3.336;
3.336;
3.336;
3.336;
8.664;
8.664;
9.336;
9.336;
9.336;
9.336;
9.336;
8.664;
8.664;
8.664;
8.664;
8.004;
8.004;
6.672;
7.008;
7.008;
8.84399;
3.996;
6.672;
6.672;
2.004;
6.672;
6.672;
6.672;
6.672;
2.29201;
3.996;
6.672;
3.996;
3.996;
6.0;
6.0;
8.84399;
6.672;
6.672;
6.672;
3.336;
3.12;
6.444;
4.2;
2.664;
3.996;
3.996;
6.672;
12.0;
12.0;
7.008;
7.332;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
12.0;
7.008;
10.008;
10.008;
10.008;
6.672;
6.672;
6.672;
6.672;
6.672;
6.672;
6.0;
6.672;
6.672;
6.672;
6.672;
3.336;
12.0;
3.336;
4.44;
3.336;
3.336;
6.672;
6.672;
6.672;
9.336;
12.0;
4.38;
6.672;
6.672;
6.672;
6.672;
6.672;
10.668;
6.672;
6.672;
6.672;
3.336;
6.672;
6.0;
2.664;
7.332;
11.328;
7.332;
6.672;
6.0;
3.336 ]; font_descr_descr_bbox= vect_of_list [
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (1.08,0.0),(2.244,8.616));
( (0.839996,5.556),(3.42,8.616));
( (0.335999,0.0),(6.34801,8.256));
( (0.384003,-1.38),(6.24001,9.3));
( (0.468002,-0.227997),(10.2,8.436));
( (0.528,-0.179993),(7.74001,8.616));
( (0.636002,5.556),(1.884,8.616));
( (0.815994,-2.48399),(3.588,8.79601));
( (0.408005,-2.48399),(3.17999,8.79601));
( (0.468002,5.172),(4.188,8.616));
( (0.468002,0.0),(6.53999,6.06));
( (1.04401,-1.76401),(2.29201,1.272));
( (0.528,2.784),(3.468,3.864));
( (1.04401,0.0),(2.29201,1.272));
( (-0.203995,-0.227997),(3.53999,8.84399));
( (0.444,-0.227997),(6.228,8.436));
( (1.21201,0.0),(4.308,8.436));
( (0.311996,0.0),(6.084,8.436));
( (0.408005,-0.227997),(6.26401,8.436));
( (0.300003,0.0),(6.276,8.436));
( (0.384003,-0.227997),(6.168,8.256));
( (0.455994,-0.227997),(6.216,8.436));
( (0.444,0.0),(6.276,8.256));
( (0.455994,-0.227997),(6.20399,8.436));
( (0.503998,-0.227997),(6.168,8.436));
( (1.04401,0.0),(2.29201,6.192));
( (1.04401,-1.76401),(2.29201,6.192));
( (0.576004,0.132004),(6.43201,5.94));
( (0.468002,1.38),(6.53999,4.67999));
( (0.576004,0.132004),(6.43201,5.94));
( (0.671997,0.0),(5.90401,8.724));
( (1.76401,-0.227997),(10.416,8.84399));
( (0.167999,0.0),(7.84801,8.616));
( (0.888,0.0),(7.524,8.616));
( (0.528,-0.227997),(8.172,8.84399));
( (0.972,0.0),(8.088,8.616));
( (1.032,0.0),(7.392,8.616));
( (1.032,0.0),(6.996,8.616));
( (0.576004,-0.227997),(8.448,8.84399));
( (0.923996,0.0),(7.752,8.616));
( (1.092,0.0),(2.256,8.616));
( (0.203995,-0.227997),(5.136,8.616));
( (0.912003,0.0),(7.95599,8.616));
( (0.912003,0.0),(6.444,8.616));
( (0.876007,0.0),(9.132,8.616));
( (0.912003,0.0),(7.752,8.616));
( (0.468002,-0.227997),(8.868,8.84399));
( (1.032,0.0),(7.464,8.616));
( (0.468002,-0.671997),(8.868,8.84399));
( (1.056,0.0),(8.20799,8.616));
( (0.587997,-0.227997),(7.44,8.84399));
( (0.167999,0.0),(7.164,8.616));
( (0.947998,-0.227997),(7.728,8.616));
( (0.240005,0.0),(7.76401,8.616));
( (0.192001,0.0),(11.136,8.616));
( (0.227997,0.0),(7.776,8.616));
( (0.167999,0.0),(7.836,8.616));
( (0.276001,0.0),(7.056,8.616));
( (0.755997,-2.35201),(3.0,8.664));
( (-0.203995,-0.227997),(3.53999,8.84399));
( (0.335999,-2.35201),(2.58,8.664));
( (-0.167999,3.168),(5.79601,8.256));
( (0.0,-1.5),(6.672,-0.899994));
( (0.779999,5.64),(2.028,8.7));
( (0.432007,-0.179993),(6.36,6.45599));
( (0.695999,-0.179993),(6.20399,8.616));
( (0.360001,-0.179993),(5.724,6.45599));
( (0.419998,-0.179993),(5.98801,8.616));
( (0.479996,-0.179993),(6.192,6.45599));
( (0.167999,0.0),(3.144,8.73601));
( (0.479996,-2.64),(5.98801,6.45599));
( (0.779999,0.0),(5.892,8.616));
( (0.804001,0.0),(1.86,8.616));
( (-0.192001,-2.52),(1.86,8.616));
( (0.804001,0.0),(6.01199,8.616));
( (0.804001,0.0),(1.86,8.616));
( (0.779999,0.0),(9.228,6.45599));
( (0.779999,0.0),(5.892,6.45599));
( (0.419998,-0.167999),(6.252,6.45599));
( (0.695999,-2.48399),(6.20399,6.45599));
( (0.419998,-2.48399),(5.92799,6.45599));
( (0.923996,0.0),(3.98399,6.45599));
( (0.384003,-0.179993),(5.56799,6.45599));
( (0.167999,-0.0839996),(3.084,8.028));
( (0.815994,-0.179993),(5.868,6.276));
( (0.095993,0.0),(5.90401,6.276));
( (0.167999,0.0),(8.508,6.276));
( (0.132004,0.0),(5.88,6.276));
( (0.132004,-2.56799),(5.868,6.276));
( (0.371994,0.0),(5.62801,6.276));
( (0.503998,-2.35201),(3.504,8.664));
( (1.12801,-0.227997),(2.004,8.84399));
( (0.503998,-2.35201),(3.504,8.664));
( (0.731995,2.16),(6.276,3.912));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.167999,0.0),(7.84801,10.808));
( (0.167999,0.0),(7.84801,10.808));
( (0.167999,0.0),(7.84801,10.808));
( (0.167999,0.0),(7.84801,10.664));
( (0.167999,0.0),(7.84801,10.472));
( (0.167999,0.0),(7.84801,11.072));
( (0.528,-2.7),(8.172,8.84399));
( (1.032,0.0),(7.392,10.808));
( (1.032,0.0),(7.392,10.808));
( (1.032,0.0),(7.392,10.808));
( (1.032,0.0),(7.392,10.472));
( (0.167999,0.0),(2.532,10.808));
( (1.092,0.0),(3.828,10.808));
( (0.251999,0.0),(3.744,10.808));
( (0.479996,0.0),(3.51601,10.472));
( (0.0,0.0),(8.088,8.616));
( (0.912003,0.0),(7.752,10.664));
( (0.468002,-0.227997),(8.868,10.808));
( (0.468002,-0.227997),(8.868,10.808));
( (0.468002,-0.227997),(8.868,10.808));
( (0.468002,-0.227997),(8.868,10.664));
( (0.468002,-0.227997),(8.868,10.472));
( (0.947998,-0.227997),(7.728,10.808));
( (0.947998,-0.227997),(7.728,10.808));
( (0.947998,-0.227997),(7.728,10.808));
( (0.947998,-0.227997),(7.728,10.472));
( (0.167999,0.0),(7.836,10.808));
( (1.032,0.0),(7.464,8.616));
( (0.815994,-2.48399),(5.868,6.276));
( (0.468002,0.0),(6.53999,6.07201));
( (0.468002,-0.227997),(6.53999,6.28799));
( (-0.167999,-0.227997),(9.024,8.84399));
( (1.416,-2.34),(2.58,6.276));
( (0.612,-1.38),(6.15601,7.476));
( (0.395996,-0.192001),(6.468,8.616));
( (-1.992,-0.227997),(3.996,8.436));
( (0.0359955,0.0),(6.636,8.256));
( (-0.132004,-2.48399),(6.01199,8.84399));
( (0.516006,-2.29201),(6.144,8.84399));
( (0.335999,1.188),(6.336,7.23601));
( (0.707993,5.556),(1.584,8.616));
( (0.455994,5.64),(3.68401,8.7));
( (1.164,1.29601),(5.508,5.35201));
( (1.056,1.29601),(2.94,5.35201));
( (1.056,1.29601),(2.94,5.35201));
( (0.167999,0.0),(5.20799,8.73601));
( (0.167999,0.0),(5.18401,8.73601));
( (-0.167999,-0.227997),(9.024,8.84399));
( (0.0,2.88),(6.672,3.756));
( (0.516006,-1.908),(6.168,8.616));
( (0.516006,-1.908),(6.168,8.616));
( (0.923996,2.28),(2.424,3.78));
( (1.12801,-0.227997),(2.004,8.84399));
( (0.216003,-2.076),(5.964,8.616));
( (0.216003,2.424),(3.996,6.20399));
( (0.636002,-1.78799),(1.884,1.272));
( (0.311996,-1.78799),(3.53999,1.272));
( (0.311996,5.556),(3.53999,8.616));
( (1.164,1.29601),(5.508,5.35201));
( (1.38,0.0),(10.62,1.272));
( (0.0839996,-0.227997),(11.928,8.436));
( (0.468002,1.29601),(6.53999,4.67999));
( (1.092,-2.412),(6.32401,6.3));
( (0.516006,3.37199),(2.664,8.436));
( (0.167999,7.116),(2.532,8.808));
( (1.464,7.116),(3.828,8.808));
( (0.251999,7.116),(3.744,8.808));
( (-0.0480042,7.272),(4.04401,8.664));
( (0.119995,7.524),(3.87601,8.20799));
( (0.156006,7.14),(3.85201,8.772));
( (1.452,7.248),(2.54401,8.472));
( (0.479996,7.248),(3.51601,8.472));
( (0.0480042,3.37199),(3.87601,8.436));
( (0.899994,6.864),(3.108,9.07201));
( (0.539993,-2.7),(3.108,0.0));
( (0.0599976,3.24001),(3.89999,8.436));
( (0.371994,7.116),(4.908,8.808));
( (0.876007,-2.7),(3.444,0.0));
( (0.251999,7.116),(3.744,8.808));
( (0.0,2.88),(12.0,3.756));
( (0.468002,0.0),(6.53999,6.07201));
( (0.876007,-0.227997),(9.07201,8.436));
( (0.516006,-0.227997),(9.276,8.436));
( (0.539993,-0.227997),(9.72,8.436));
( (0.432007,-0.179993),(6.36,8.808));
( (0.432007,-0.179993),(6.36,8.808));
( (0.432007,-0.179993),(6.36,8.808));
( (0.432007,-0.179993),(6.36,8.664));
( (0.432007,-0.179993),(6.36,8.472));
( (0.432007,-0.179993),(6.36,9.07201));
( (0.360001,-2.7),(5.724,6.45599));
( (0.479996,-0.179993),(6.192,8.808));
( (0.479996,-0.179993),(6.192,8.808));
( (0.479996,-0.179993),(6.192,8.808));
( (0.479996,-0.179993),(6.192,8.472));
( (0.167999,0.0),(2.532,8.808));
( (0.095993,0.0),(11.412,8.616));
( (1.14,0.0),(3.828,8.808));
( (0.287994,3.64799),(4.15199,8.84399));
( (0.251999,0.0),(3.744,8.808));
( (0.479996,0.0),(3.51601,8.472));
( (0.419998,-0.179993),(6.26401,8.84399));
( (0.779999,0.0),(5.892,8.664));
( (-0.240005,0.0),(6.444,8.616));
( (0.468002,-0.227997),(8.88,8.84399));
( (0.432007,-0.227997),(11.58,8.84399));
( (0.300003,3.64799),(4.092,8.84399));
( (0.419998,-0.167999),(6.252,8.808));
( (0.419998,-0.167999),(6.252,8.808));
( (0.419998,-0.167999),(6.252,8.808));
( (0.419998,-0.167999),(6.252,8.664));
( (0.419998,-0.167999),(6.252,8.472));
( (0.432007,-0.179993),(10.164,6.45599));
( (0.815994,-0.179993),(5.868,8.808));
( (0.815994,-0.179993),(5.868,8.808));
( (0.815994,-0.179993),(5.868,8.808));
( (1.14,0.0),(2.196,6.276));
( (0.815994,-0.179993),(5.868,8.472));
( (0.132004,-2.56799),(5.868,8.808));
( (-0.240005,0.0),(2.90401,8.616));
( (0.335999,-0.264008),(6.444,6.53999));
( (0.419998,-0.179993),(10.824,6.45599));
( (0.804001,-0.179993),(6.85201,8.73601));
( (0.695999,-2.48399),(6.20399,8.616));
( (0.132004,-2.56799),(5.868,8.472));
( (0.0,0.0),(0.0,0.0)) ]};;
(* End Font Description*)
  try remove_font fn; add_font fn
  with Failure ("remove_font : font unknown") -> add_font fn;;
