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


#open "MLgraph";;


let fn = 
(*Begin Font Description*)
Courier_Bold,{font_descr_filename="preloaded"; font_descr_name="Courier_Bold";
font_descr_width=7.2;
font_descr_height=12.0;
font_descr_descr= vect_of_list [
  ]; 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));
( (2.54401,-0.179993),(4.65601,6.864));
( (1.74001,3.564),(5.46001,6.744));
( (0.792007,-0.539993),(6.408,7.812));
( (1.104,-1.51199),(6.108,7.992));
( (0.0599976,-0.179993),(7.14,7.392));
( (0.552002,-0.179993),(6.43201,6.51601));
( (2.256,3.564),(4.944,6.744));
( (2.748,-1.224),(5.412,7.392));
( (1.78799,-1.224),(4.452,7.392));
( (1.092,2.62801),(6.108,7.21201));
( (0.972,0.0),(6.228,5.26801));
( (1.67999,-1.21201),(4.48801,1.968));
( (1.32001,2.556),(5.88,3.636));
( (2.472,-0.179993),(4.728,1.812));
( (1.25999,-0.923996),(5.952,7.51199));
( (1.164,-0.179993),(6.036,7.392));
( (1.092,0.0),(6.34801,7.392));
( (0.852005,0.0),(5.868,7.392));
( (0.876007,-0.179993),(5.892,7.392));
( (0.755997,0.0),(5.964,7.392));
( (0.960007,-0.179993),(6.132,7.21201));
( (1.2,-0.179993),(6.132,7.392));
( (0.779999,0.0),(5.808,7.21201));
( (1.116,-0.179993),(6.084,7.392));
( (1.06799,-0.179993),(6.0,7.392));
( (2.472,-0.179993),(4.728,4.86));
( (1.67999,-1.21201),(4.728,4.86));
( (0.792007,-0.179993),(6.036,5.436));
( (0.972,1.06799),(6.228,4.188));
( (1.164,-0.179993),(6.408,5.436));
( (1.29601,-0.179993),(5.892,6.96001));
( (0.311996,-0.179993),(6.888,7.392));
( (0.0119934,0.0),(7.188,6.744));
( (0.479996,0.0),(6.756,6.744));
( (0.384003,-0.216003),(6.64799,6.96001));
( (0.479996,0.0),(7.008,6.744));
( (0.479996,0.0),(6.53999,6.744));
( (0.647995,0.0),(6.66,6.744));
( (0.384003,-0.216003),(7.008,6.96001));
( (0.360001,0.0),(6.84,6.744));
( (1.04401,0.0),(6.15601,6.744));
( (0.563995,-0.216003),(7.092,6.744));
( (0.432007,0.0),(7.008,6.744));
( (0.587997,0.0),(6.81599,6.744));
( (0.0359955,0.0),(7.164,6.744));
( (0.216003,-0.143997),(7.2,6.744));
( (0.384003,-0.216003),(6.81599,6.96001));
( (0.695999,0.0),(6.588,6.744));
( (0.384003,-1.476),(6.81599,6.96001));
( (0.408005,0.0),(7.06799,6.744));
( (0.684006,-0.264008),(6.51601,6.98399));
( (0.371994,0.0),(6.828,6.744));
( (0.167999,-0.216003),(7.032,6.744));
( (-0.0359955,0.0),(7.23601,6.744));
( (-0.095993,0.0),(7.29601,6.744));
( (0.264008,0.0),(6.936,6.744));
( (0.264008,0.0),(6.948,6.744));
( (0.863998,0.0),(6.34801,6.744));
( (3.06,-1.224),(5.58,7.392));
( (1.25999,-0.923996),(5.952,7.51199));
( (1.62,-1.224),(4.14,7.392));
( (1.29601,2.98801),(5.90401,7.392));
( (0.0,-1.5),(7.2,-0.899994));
( (2.256,3.564),(4.944,6.744));
( (0.539993,-0.179993),(6.72,5.448));
( (0.119995,-0.179993),(6.888,7.51199));
( (0.600006,-0.179993),(6.468,5.508));
( (0.360001,-0.179993),(6.972,7.51199));
( (0.600006,-0.179993),(6.636,5.448));
( (1.116,0.0),(6.444,7.51199));
( (0.479996,-1.752),(6.84,5.448));
( (0.179993,0.0),(6.98399,7.51199));
( (1.04401,0.0),(6.15601,7.776));
( (0.876007,-1.752),(5.16,7.776));
( (0.360001,0.0),(6.89999,7.51199));
( (1.04401,0.0),(6.15601,7.51199));
( (-0.143997,0.0),(7.392,5.448));
( (0.335999,0.0),(6.98399,5.448));
( (0.479996,-0.179993),(6.72,5.448));
( (0.108002,-1.70399),(6.72,5.448));
( (0.360001,-1.70399),(6.972,5.448));
( (0.684006,0.0),(6.84,5.448));
( (0.912003,-0.203995),(6.3,5.508));
( (0.684006,-0.179993),(6.26401,6.744));
( (0.108002,-0.179993),(6.70799,5.26801));
( (0.108002,0.0),(7.092,5.26801));
( (-0.095993,0.0),(7.29601,5.26801));
( (0.192001,0.0),(7.008,5.26801));
( (0.0720062,-1.70399),(7.092,5.26801));
( (1.092,0.0),(6.12,5.26801));
( (2.03999,-1.224),(5.448,7.392));
( (3.06,-0.923996),(4.14,7.51199));
( (1.752,-1.224),(5.16,7.392));
( (0.972,1.48801),(6.24001,3.68401));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.0119934,0.0),(7.188,8.93201));
( (0.0119934,0.0),(7.188,8.93201));
( (0.0119934,0.0),(7.188,8.884));
( (0.0119934,0.0),(7.188,8.632));
( (0.0119934,0.0),(7.188,8.5));
( (0.0119934,0.0),(7.188,9.136));
( (0.384003,-2.472),(6.64799,6.96001));
( (0.479996,0.0),(6.53999,8.93201));
( (0.479996,0.0),(6.53999,8.93201));
( (0.479996,0.0),(6.53999,8.884));
( (0.479996,0.0),(6.53999,8.5));
( (1.04401,0.0),(6.15601,8.93201));
( (1.04401,0.0),(6.15601,8.93201));
( (1.04401,0.0),(6.15601,8.884));
( (1.04401,0.0),(6.15601,8.5));
( (0.479996,0.0),(7.008,6.744));
( (0.216003,-0.143997),(7.2,8.632));
( (0.384003,-0.216003),(6.81599,8.93201));
( (0.384003,-0.216003),(6.81599,8.93201));
( (0.384003,-0.216003),(6.81599,8.884));
( (0.384003,-0.216003),(6.81599,8.632));
( (0.384003,-0.216003),(6.81599,8.5));
( (0.167999,-0.216003),(7.032,8.93201));
( (0.167999,-0.216003),(7.032,8.93201));
( (0.167999,-0.216003),(7.032,8.884));
( (0.167999,-0.216003),(7.032,8.5));
( (0.264008,0.0),(6.948,8.93201));
( (0.695999,0.0),(6.564,6.744));
( (0.108002,-1.70399),(6.70799,5.26801));
( (0.972,0.0),(6.24001,5.26801));
( (0.972,-0.179993),(6.228,5.436));
( (0.0,-0.216003),(7.2,6.96001));
( (2.54401,-1.752),(4.65601,5.388));
( (0.912003,-0.587997),(6.09599,7.368));
( (0.983994,-0.335999),(6.576,7.332));
( (0.360001,-0.720001),(6.85201,7.93201));
( (0.240005,0.0),(6.96001,7.092));
( (-0.240005,-1.57201),(6.744,7.392));
( (1.23599,-0.839996),(5.964,6.96001));
( (0.647995,0.587997),(6.552,6.20399));
( (2.84399,3.564),(4.356,6.744));
( (0.972,3.564),(6.228,6.744));
( (0.095993,0.839996),(6.636,5.35201));
( (1.692,0.839996),(5.508,5.35201));
( (1.692,0.839996),(5.508,5.35201));
( (0.264008,0.0),(6.996,7.51199));
( (0.264008,0.0),(6.996,7.51199));
( (0.0,-0.216003),(7.2,6.96001));
( (0.899994,2.556),(6.3,3.636));
( (1.392,-0.839996),(5.808,6.96001));
( (1.392,-0.839996),(5.808,6.96001));
( (2.472,1.632),(4.728,3.62399));
( (3.06,-0.923996),(4.14,7.51199));
( (0.192001,-0.839996),(6.79201,6.96001));
( (1.8,1.70399),(5.39999,5.03999));
( (2.256,-1.67999),(4.944,1.5));
( (0.972,-1.67999),(6.228,1.5));
( (0.972,3.564),(6.228,6.744));
( (0.563995,0.839996),(7.104,5.35201));
( (0.432007,-0.179993),(6.76801,1.15199));
( (-0.479996,-0.179993),(9.43201,7.392));
( (0.972,0.707993),(6.228,4.188));
( (1.308,-1.752),(5.90401,5.388));
( (1.896,2.75999),(5.304,7.392));
( (1.584,6.09599),(4.74001,7.93201));
( (2.46001,6.09599),(5.616,7.93201));
( (1.23599,5.79601),(5.964,7.884));
( (1.06799,5.916),(6.144,7.632));
( (1.056,6.06),(6.144,7.02));
( (0.996002,5.616),(6.20399,7.57201));
( (2.88,6.06),(4.32001,7.5));
( (1.776,6.06),(5.424,7.5));
( (1.836,2.75999),(5.112,7.392));
( (2.37601,5.772),(4.82401,8.136));
( (2.46001,-2.472),(4.644,0.0));
( (1.776,2.664),(5.076,7.392));
( (1.14,6.09599),(6.936,7.93201));
( (2.028,-2.388),(4.40401,0.0));
( (1.23599,5.916),(5.964,8.004));
( (0.0,2.556),(7.2,3.636));
( (0.972,0.0),(6.228,5.532));
( (-0.240005,-0.720001),(8.304,7.93201));
( (-0.240005,-0.720001),(8.10001,7.93201));
( (-0.240005,-0.720001),(8.10001,7.93201));
( (0.539993,-0.179993),(6.72,7.93201));
( (0.539993,-0.179993),(6.72,7.93201));
( (0.539993,-0.179993),(6.72,7.884));
( (0.539993,-0.179993),(6.72,7.632));
( (0.539993,-0.179993),(6.72,7.5));
( (0.539993,-0.179993),(6.72,8.136));
( (0.600006,-2.472),(6.468,5.508));
( (0.600006,-0.179993),(6.636,7.93201));
( (0.600006,-0.179993),(6.636,7.93201));
( (0.600006,-0.179993),(6.636,7.884));
( (0.600006,-0.179993),(6.636,7.5));
( (1.04401,0.0),(6.15601,7.93201));
( (-0.348007,0.0),(6.744,6.744));
( (1.04401,0.0),(6.15601,7.93201));
( (1.76401,2.35201),(5.436,6.96001));
( (1.04401,0.0),(6.15601,7.884));
( (1.04401,0.0),(6.15601,7.5));
( (0.815994,-0.324005),(6.396,7.51199));
( (0.335999,0.0),(6.98399,7.632));
( (0.587997,0.0),(6.81599,6.744));
( (0.384003,-0.264008),(6.81599,7.008));
( (0.0,0.0),(6.84,6.744));
( (1.76401,2.35201),(5.436,6.96001));
( (0.479996,-0.179993),(6.72,7.93201));
( (0.479996,-0.179993),(6.72,7.93201));
( (0.479996,-0.179993),(6.72,7.884));
( (0.479996,-0.179993),(6.72,7.632));
( (0.479996,-0.179993),(6.72,7.5));
( (0.0720062,-0.179993),(7.092,5.448));
( (0.108002,-0.179993),(6.70799,7.93201));
( (0.108002,-0.179993),(6.70799,7.93201));
( (0.108002,-0.179993),(6.70799,7.884));
( (1.04401,0.0),(6.15601,5.26801));
( (0.108002,-0.179993),(6.70799,7.5));
( (0.0720062,-1.70399),(7.092,7.93201));
( (1.04401,0.0),(6.15601,7.51199));
( (0.479996,-0.287994),(6.72,5.556));
( (-0.095993,-0.179993),(7.21201,5.448));
( (0.384003,-0.179993),(7.032,7.51199));
( (-0.0480042,-1.70399),(6.72,7.51199));
( (0.0720062,-1.70399),(7.092,7.5));
( (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;;
