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


#open "MLgraph";;


let fn = 
(*Begin Font Description*)
Courier,{font_descr_filename="preloaded"; font_descr_name="Courier";
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.832,-0.179993),(4.368,6.864));
( (2.244,3.936),(4.95599,6.744));
( (1.2,-0.384003),(6.0,7.668));
( (1.34399,-1.51199),(5.868,7.944));
( (1.164,-0.179993),(6.17999,7.464));
( (0.839996,-0.179993),(6.37199,6.51601));
( (2.556,3.936),(4.51199,6.744));
( (3.312,-1.29601),(5.196,7.464));
( (2.004,-1.29601),(3.888,7.464));
( (1.392,3.084),(5.808,7.284));
( (1.04401,0.0),(6.15601,5.112));
( (2.172,-1.34399),(4.12801,1.464));
( (1.32001,2.856),(5.88,3.336));
( (2.748,-0.179993),(4.452,1.308));
( (1.5,-0.960007),(5.7,7.548));
( (1.356,-0.179993),(5.84399,7.464));
( (1.224,0.0),(5.976,7.464));
( (0.923996,0.0),(5.56799,7.464));
( (0.983994,-0.179993),(5.508,7.464));
( (1.056,0.0),(5.916,7.464));
( (1.188,-0.179993),(5.88,7.284));
( (1.416,-0.179993),(5.964,7.464));
( (1.06799,0.0),(5.71201,7.284));
( (1.308,-0.179993),(5.892,7.464));
( (1.23599,-0.179993),(5.784,7.464));
( (2.748,-0.179993),(4.452,4.62));
( (2.172,-1.34399),(4.452,4.62));
( (0.492004,-0.0240021),(6.228,5.136));
( (1.04401,1.21201),(6.15601,3.89999));
( (0.972,-0.0240021),(6.70799,5.136));
( (1.632,-0.179993),(5.82001,6.864));
( (1.008,-0.179993),(6.312,7.464));
( (0.119995,0.0),(7.08,6.744));
( (0.600006,0.0),(6.62399,6.744));
( (0.576004,-0.216003),(6.396,6.96001));
( (0.600006,0.0),(6.804,6.744));
( (0.720001,0.0),(6.51601,6.744));
( (0.720001,0.0),(6.45599,6.744));
( (0.455994,-0.216003),(6.81599,6.96001));
( (0.468002,0.0),(6.73199,6.744));
( (1.23599,0.0),(5.964,6.744));
( (0.492004,-0.216003),(6.70799,6.744));
( (0.539993,0.0),(6.89999,6.744));
( (0.647995,0.0),(6.564,6.744));
( (0.132004,0.0),(7.06799,6.744));
( (0.167999,-0.156006),(7.032,6.744));
( (0.516006,-0.216003),(6.68401,6.96001));
( (1.032,0.0),(6.612,6.744));
( (0.516006,-1.548),(6.68401,6.96001));
( (0.539993,0.0),(6.972,6.744));
( (0.947998,-0.240005),(6.26401,6.96001));
( (0.539993,0.0),(6.672,6.744));
( (0.287994,-0.216003),(6.912,6.744));
( (0.0359955,-0.156006),(7.164,6.744));
( (0.0359955,-0.156006),(7.164,6.744));
( (0.360001,0.0),(6.84,6.744));
( (0.371994,0.0),(6.828,6.744));
( (1.032,0.0),(6.168,6.744));
( (3.312,-1.29601),(5.304,7.464));
( (1.5,-0.960007),(5.7,7.548));
( (1.896,-1.29601),(3.888,7.464));
( (1.12801,4.308),(6.07201,7.464));
( (0.0,-1.5),(7.2,-0.899994));
( (2.688,3.936),(4.644,6.744));
( (0.720001,-0.179993),(6.62399,5.29201));
( (0.251999,-0.179993),(6.81599,7.548));
( (0.876007,-0.179993),(6.26401,5.29201));
( (0.623993,-0.179993),(7.008,7.548));
( (0.876007,-0.179993),(6.492,5.29201));
( (1.452,0.0),(6.28799,7.548));
( (0.623993,-1.884),(6.70799,5.29201));
( (0.300003,0.0),(6.89999,7.548));
( (1.224,0.0),(5.976,7.884));
( (1.06799,-1.884),(4.836,7.884));
( (0.600006,0.0),(6.87601,7.548));
( (1.224,0.0),(5.976,7.548));
( (0.0240021,0.0),(7.17599,5.29201));
( (0.395996,0.0),(6.81599,5.29201));
( (0.744003,-0.179993),(6.45599,5.29201));
( (0.192001,-1.884),(6.576,5.29201));
( (0.623993,-1.884),(7.008,5.29201));
( (0.804001,0.0),(6.62399,5.29201));
( (1.12801,-0.179993),(6.07201,5.29201));
( (0.888,-0.179993),(6.036,6.73199));
( (0.335999,-0.179993),(6.66,5.112));
( (0.203995,-0.119995),(6.996,5.112));
( (-0.0119934,-0.119995),(7.21201,5.112));
( (0.324005,0.0),(6.87601,5.112));
( (-0.143997,-1.884),(6.62399,5.112));
( (1.272,0.0),(5.94,5.112));
( (2.26801,-1.29601),(5.16,7.464));
( (3.384,-0.960007),(3.828,7.548));
( (2.03999,-1.29601),(4.93201,7.464));
( (0.804001,1.92),(6.408,3.228));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (0.119995,0.0),(7.08,9.064));
( (0.119995,0.0),(7.08,9.064));
( (0.119995,0.0),(7.08,8.84801));
( (0.119995,0.0),(7.08,9.272));
( (0.119995,0.0),(7.08,8.96001));
( (0.119995,0.0),(7.08,9.524));
( (0.576004,-1.812),(6.396,6.96001));
( (0.720001,0.0),(6.51601,9.064));
( (0.720001,0.0),(6.51601,9.064));
( (0.720001,0.0),(6.51601,8.84801));
( (0.720001,0.0),(6.51601,8.96001));
( (1.23599,0.0),(5.964,9.064));
( (1.23599,0.0),(5.964,9.064));
( (1.23599,0.0),(5.964,8.84801));
( (1.23599,0.0),(5.964,8.96001));
( (0.360001,0.0),(6.804,6.744));
( (0.167999,-0.156006),(7.032,9.272));
( (0.516006,-0.216003),(6.68401,9.064));
( (0.516006,-0.216003),(6.68401,9.064));
( (0.516006,-0.216003),(6.68401,8.84801));
( (0.516006,-0.216003),(6.68401,9.272));
( (0.516006,-0.216003),(6.68401,8.96001));
( (0.287994,-0.216003),(6.912,9.064));
( (0.287994,-0.216003),(6.912,9.064));
( (0.287994,-0.216003),(6.912,8.84801));
( (0.287994,-0.216003),(6.912,8.96001));
( (0.371994,0.0),(6.828,9.064));
( (1.032,0.0),(6.37199,6.744));
( (0.335999,-1.884),(6.66,5.112));
( (1.04401,-0.0119934),(6.168,5.112));
( (1.04401,0.0119934),(6.15601,5.112));
( (0.0,-0.216003),(7.2,6.96001));
( (2.832,-1.884),(4.368,5.16));
( (1.23599,-0.587997),(5.916,7.368));
( (1.092,-0.251999),(6.216,7.332));
( (0.371994,-0.684006),(6.828,7.98));
( (0.395996,0.0),(6.804,7.12801));
( (0.132004,-1.716),(6.384,7.464));
( (1.44,-0.936005),(5.772,6.96001));
( (0.960007,0.779999),(6.24001,5.98801));
( (3.108,3.936),(4.092,6.744));
( (1.716,3.936),(5.48399,6.744));
( (0.444,0.839996),(6.756,5.35201));
( (1.78799,0.839996),(5.412,5.35201));
( (1.78799,0.839996),(5.412,5.35201));
( (0.119995,0.0),(7.08,7.548));
( (0.119995,0.0),(7.08,7.548));
( (0.0,-0.216003),(7.2,6.96001));
( (0.899994,2.856),(6.3,3.336));
( (1.776,-0.936005),(5.424,6.96001));
( (1.776,-0.936005),(5.424,6.96001));
( (2.748,1.82401),(4.452,3.312));
( (3.384,-0.960007),(3.828,7.548));
( (0.684006,-0.936005),(6.048,6.744));
( (2.14799,1.644),(5.052,4.51199));
( (2.556,-1.608),(4.51199,1.2));
( (1.716,-1.608),(5.48399,1.2));
( (1.716,3.936),(5.48399,6.744));
( (0.444,0.839996),(6.756,5.35201));
( (0.528,-0.179993),(6.672,1.164));
( (0.0359955,-0.179993),(7.2,7.464));
( (1.04401,0.768005),(6.15601,3.89999));
( (1.38,-1.884),(5.56799,5.16));
( (2.14799,2.98801),(5.052,7.464));
( (1.812,5.964),(4.536,8.064));
( (2.90401,5.964),(5.62801,8.064));
( (1.48801,5.724),(5.71201,7.84801));
( (1.308,6.036),(5.892,7.272));
( (1.44,6.3),(5.75999,6.78));
( (1.78799,6.01199),(5.412,7.308));
( (3.168,6.09599),(4.032,6.96001));
( (2.37601,6.09599),(4.82401,6.96001));
( (2.20799,2.98801),(5.004,7.464));
( (2.73599,5.79601),(4.464,7.524));
( (2.98801,-1.812),(4.29601,0.119995));
( (1.944,2.88),(4.78799,7.464));
( (1.59599,5.964),(6.48,8.064));
( (2.724,-1.812),(4.44,0.0));
( (1.48801,5.90401),(5.71201,8.028));
( (0.0,2.856),(7.2,3.336));
( (1.04401,0.0),(6.15601,6.168));
( (0.0720062,-0.684006),(7.12801,7.98));
( (0.0,-0.684006),(7.332,7.98));
( (0.264008,-0.684006),(6.888,7.98));
( (0.720001,-0.179993),(6.62399,8.064));
( (0.720001,-0.179993),(6.62399,8.064));
( (0.720001,-0.179993),(6.62399,7.84801));
( (0.720001,-0.179993),(6.62399,7.272));
( (0.720001,-0.179993),(6.62399,6.96001));
( (0.720001,-0.179993),(6.62399,7.524));
( (0.876007,-1.812),(6.26401,5.29201));
( (0.876007,-0.179993),(6.492,8.064));
( (0.876007,-0.179993),(6.492,8.064));
( (0.876007,-0.179993),(6.492,7.84801));
( (0.876007,-0.179993),(6.492,6.96001));
( (1.224,0.0),(5.976,8.064));
( (0.119995,0.0),(6.51601,6.744));
( (1.224,0.0),(5.976,8.064));
( (1.93201,3.108),(5.244,6.96001));
( (1.224,0.0),(5.976,7.84801));
( (1.224,0.0),(5.976,6.96001));
( (0.744003,-0.179993),(6.468,7.548));
( (0.395996,0.0),(6.81599,7.272));
( (0.647995,0.0),(6.564,6.744));
( (0.516006,-0.960007),(6.68401,7.548));
( (0.167999,0.0),(6.72,6.744));
( (1.944,3.108),(5.256,6.96001));
( (0.744003,-0.179993),(6.45599,8.064));
( (0.744003,-0.179993),(6.45599,8.064));
( (0.744003,-0.179993),(6.45599,7.84801));
( (0.744003,-0.179993),(6.45599,7.272));
( (0.744003,-0.179993),(6.45599,6.96001));
( (0.311996,-0.179993),(6.756,5.29201));
( (0.335999,-0.179993),(6.66,8.064));
( (0.335999,-0.179993),(6.66,8.064));
( (0.335999,-0.179993),(6.66,7.84801));
( (1.224,0.0),(5.976,5.112));
( (0.335999,-0.179993),(6.66,6.96001));
( (-0.143997,-1.884),(6.62399,8.064));
( (1.224,0.0),(5.976,7.548));
( (0.744003,-0.960007),(6.45599,6.07201));
( (0.311996,-0.179993),(6.62399,5.29201));
( (0.660004,-0.179993),(6.972,7.548));
( (0.0119934,-1.884),(6.576,7.548));
( (-0.143997,-1.884),(6.62399,6.96001));
( (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;;
