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


#open "MLgraph";;


let fn = 
Times_BoldItalic,{font_descr_filename="preloaded"; font_descr_name="Times_BoldItalic";
font_descr_width=12.0;
font_descr_height=12.0;
font_descr_descr= vect_of_list [
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
3.0;
4.668;
6.66;
6.0;
6.0;
9.996;
9.336;
3.996;
3.996;
3.996;
6.0;
6.84;
3.0;
3.996;
3.0;
3.336;
6.0;
6.0;
6.0;
6.0;
6.0;
6.0;
6.0;
6.0;
6.0;
6.0;
3.996;
3.996;
6.84;
6.84;
6.84;
6.0;
9.98399;
8.004;
8.004;
8.004;
8.664;
8.004;
8.004;
8.664;
9.336;
4.668;
6.0;
8.004;
7.332;
10.668;
8.664;
8.664;
7.332;
8.664;
8.004;
6.672;
7.332;
8.664;
8.004;
10.668;
8.004;
7.332;
7.332;
3.996;
3.336;
3.996;
6.84;
6.0;
3.996;
6.0;
6.0;
5.328;
6.0;
5.328;
3.996;
6.0;
6.672;
3.336;
3.336;
6.0;
3.336;
9.336;
6.672;
6.0;
6.0;
6.0;
4.668;
4.668;
3.336;
6.672;
5.328;
8.004;
6.0;
5.328;
4.668;
4.17599;
2.64;
4.17599;
6.84;
3.0;
3.0;
8.004;
8.004;
8.004;
8.004;
8.004;
8.004;
8.004;
8.004;
8.004;
8.004;
8.004;
4.668;
4.668;
4.668;
4.668;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
7.332;
7.332;
6.912;
6.84;
6.84;
8.964;
4.668;
6.0;
6.0;
2.004;
6.0;
6.0;
6.0;
6.0;
3.336;
6.0;
6.0;
3.996;
3.996;
6.672;
6.672;
8.964;
6.0;
6.0;
6.0;
3.0;
2.64;
6.0;
4.2;
3.996;
6.0;
6.0;
6.0;
12.0;
12.0;
7.272;
6.0;
3.60001;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.996;
3.60001;
3.996;
3.996;
3.60001;
3.996;
3.996;
3.996;
12.0;
6.84;
9.0;
9.0;
9.0;
6.0;
6.0;
6.0;
6.0;
6.0;
6.0;
5.328;
5.328;
5.328;
5.328;
5.328;
3.336;
11.328;
3.336;
3.192;
3.336;
3.336;
6.0;
6.672;
7.332;
8.664;
11.328;
3.60001;
6.0;
6.0;
6.0;
6.0;
6.0;
8.664;
6.672;
6.672;
6.672;
3.336;
6.672;
5.328;
3.336;
6.0;
8.664;
6.0;
6.0;
5.328;
3.0 ]; 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));
( (0.804001,-0.156006),(4.44,8.20799));
( (1.632,4.776),(6.43201,8.22));
( (-0.395996,0.0),(6.396,8.39999));
( (-0.240005,-1.2),(5.964,8.79601));
( (0.468002,-0.119995),(9.51601,8.304));
( (0.0599976,-0.227997),(8.388,8.18401));
( (1.17599,4.42799),(3.62399,8.22));
( (0.335999,-2.14799),(4.12801,8.22));
( (-0.528,-2.14799),(3.252,8.22));
( (0.779999,2.98801),(5.472,8.22));
( (0.395996,0.0),(6.444,6.07201));
( (-0.720001,-2.18401),(1.728,1.608));
( (0.0240021,1.992),(3.252,3.384));
( (-0.108002,-0.156006),(1.668,1.62));
( (-0.768005,-0.216003),(4.104,8.22));
( (0.203995,-0.167999),(5.724,8.196));
( (0.0599976,0.0),(5.028,8.196));
( (-0.324005,0.0),(5.35201,8.196));
( (-0.179993,-0.156006),(5.39999,8.196));
( (-0.179993,0.0),(6.036,8.196));
( (-0.132004,-0.156006),(5.84399,8.028));
( (0.276001,-0.179993),(6.108,8.14799));
( (0.623993,0.0),(6.3,8.028));
( (0.0359955,-0.156006),(5.71201,8.196));
( (-0.143997,-0.119995),(5.7,8.196));
( (0.276001,-0.156006),(3.168,5.508));
( (-0.300003,-2.196),(3.168,5.508));
( (0.371994,-0.095993),(6.468,6.168));
( (0.395996,1.284),(6.444,4.78799));
( (0.371994,-0.095993),(6.468,6.168));
( (0.947998,-0.156006),(5.64,8.20799));
( (0.755997,-0.216003),(9.24001,8.22));
( (-0.804001,0.0),(7.116,8.196));
( (-0.287994,0.0),(7.48801,8.028));
( (0.384003,-0.216003),(8.12399,8.22));
( (-0.552002,0.0),(8.22,8.028));
( (-0.324005,0.0),(7.836,8.028));
( (-0.156006,0.0),(7.92,8.028));
( (0.251999,-0.216003),(8.472,8.22));
( (-0.287994,0.0),(9.588,8.028));
( (-0.384003,0.0),(4.87199,8.028));
( (-0.552002,-1.188),(6.28799,8.028));
( (-0.251999,0.0),(8.424,8.028));
( (-0.264008,0.0),(7.08,8.028));
( (-0.348007,-0.143997),(11.004,8.028));
( (-0.324005,-0.179993),(8.976,8.028));
( (0.324005,-0.216003),(8.29201,8.22));
( (-0.324005,0.0),(7.356,8.028));
( (0.324005,-2.496),(8.29201,8.22));
( (-0.348007,0.0),(7.476,8.028));
( (0.0240021,-0.216003),(6.312,8.22));
( (0.600006,0.0),(7.8,8.028));
( (0.804001,-0.216003),(8.92799,8.028));
( (0.779999,-0.216003),(8.58,8.028));
( (0.779999,-0.216003),(11.28,8.028));
( (-0.287994,0.0),(8.328,8.028));
( (0.876007,0.0),(7.908,8.028));
( (-0.132004,0.0),(7.08,8.028));
( (-0.444,-1.908),(4.34399,8.088));
( (-0.0119934,-0.216003),(3.34801,8.22));
( (-0.671997,-1.884),(4.116,8.088));
( (0.804001,3.64799),(6.036,8.028));
( (0.0,-1.5),(6.0,-0.899994));
( (1.536,4.42799),(3.98399,8.22));
( (-0.251999,-0.167999),(5.46001,5.54401));
( (-0.167999,-0.156006),(5.328,8.388));
( (-0.0599976,-0.156006),(4.70399,5.54401));
( (-0.251999,-0.156006),(6.20399,8.388));
( (0.0599976,-0.156006),(4.776,5.54401));
( (-2.028,-2.46001),(5.35201,8.37601));
( (-0.623993,-2.436),(5.73599,5.54401));
( (-0.156006,-0.108002),(5.976,8.388));
( (0.0240021,-0.108002),(3.15601,8.20799));
( (-2.26801,-2.48399),(3.34801,8.20799));
( (-0.276001,-0.095993),(5.79601,8.388));
( (0.0240021,-0.108002),(3.48,8.388));
( (-0.167999,-0.108002),(8.664,5.54401));
( (-0.0720062,-0.108002),(5.916,5.54401));
( (-0.0359955,-0.156006),(5.29201,5.54401));
( (-1.44,-2.46001),(5.35201,5.54401));
( (0.0119934,-2.46001),(5.65199,5.54401));
( (-0.251999,0.0),(4.668,5.54401));
( (-0.227997,-0.156006),(3.996,5.54401));
( (-0.132004,-0.108002),(3.37199,7.12801));
( (0.179993,-0.108002),(5.90401,5.54401));
( (0.192001,-0.156006),(4.812,5.54401));
( (0.192001,-0.156006),(7.368,5.54401));
( (-0.552002,-0.156006),(5.64,5.54401));
( (-1.12801,-2.46001),(4.70399,5.54401));
( (-0.516006,-0.936005),(4.416,5.388));
( (0.0599976,-2.244),(5.23199,8.23199));
( (0.792007,-0.216003),(1.84801,8.22));
( (-1.548,-2.244),(3.62399,8.23199));
( (0.647995,2.076),(6.192,3.996));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (-0.804001,0.0),(7.116,10.364));
( (-0.804001,0.0),(7.116,10.364));
( (-0.804001,0.0),(7.116,10.28));
( (-0.804001,0.0),(7.116,9.86));
( (-0.804001,0.0),(7.116,9.86));
( (-0.804001,0.0),(7.116,10.748));
( (0.384003,-2.616),(8.12399,8.22));
( (-0.324005,0.0),(7.836,10.364));
( (-0.324005,0.0),(7.836,10.364));
( (-0.324005,0.0),(7.836,10.28));
( (-0.324005,0.0),(7.836,9.86));
( (-0.384003,0.0),(4.87199,10.364));
( (-0.384003,0.0),(4.87199,10.364));
( (-0.384003,0.0),(5.40401,10.28));
( (-0.384003,0.0),(5.76401,9.86));
( (-0.371994,0.0),(8.39999,8.028));
( (-0.324005,-0.179993),(8.976,9.86));
( (0.324005,-0.216003),(8.29201,10.364));
( (0.324005,-0.216003),(8.29201,10.364));
( (0.324005,-0.216003),(8.29201,10.28));
( (0.324005,-0.216003),(8.29201,9.86));
( (0.324005,-0.216003),(8.29201,9.86));
( (0.804001,-0.216003),(8.92799,10.364));
( (0.804001,-0.216003),(8.92799,10.364));
( (0.804001,-0.216003),(8.92799,10.28));
( (0.804001,-0.216003),(8.92799,9.86));
( (0.876007,0.0),(7.908,10.364));
( (-0.324005,0.0),(6.87601,8.028));
( (-0.720001,-2.48399),(6.192,5.388));
( (0.576004,0.192001),(6.26401,5.88));
( (0.395996,-0.348007),(6.444,6.42));
( (0.360001,-0.216003),(8.616,8.22));
( (0.227997,-2.46001),(3.864,5.90401));
( (0.503998,-1.716),(5.26801,6.912));
( (-0.384003,-0.143997),(6.12,8.196));
( (-2.028,-0.167999),(3.888,8.196));
( (0.395996,0.0),(7.536,8.028));
( (-1.04401,-1.87199),(6.444,8.48399));
( (0.432007,-1.716),(5.508,8.22));
( (-0.311996,0.408005),(6.312,7.032));
( (1.536,4.776),(3.216,8.22));
( (0.636002,4.42799),(6.15601,8.22));
( (0.143997,0.384003),(5.616,4.98));
( (0.384003,0.384003),(3.636,4.98));
( (0.119995,0.384003),(3.37199,4.98));
( (-2.256,-2.46001),(6.168,8.436));
( (-2.23199,-2.46001),(6.636,8.448));
( (0.360001,-0.216003),(8.616,8.22));
( (-0.479996,2.136),(5.724,3.228));
( (1.092,-1.74001),(5.92799,8.22));
( (0.119995,-1.668),(5.916,8.22));
( (0.612,3.084),(2.388,4.86));
( (0.792007,-0.216003),(1.84801,8.22));
( (-0.684006,-2.31599),(6.744,8.028));
( (-0.0119934,2.10001),(4.2,6.3));
( (-0.0599976,-2.18401),(2.388,1.608));
( (-0.684006,-2.18401),(4.836,1.608));
( (0.636002,4.42799),(6.15601,8.22));
( (0.143997,0.384003),(5.616,4.98));
( (0.479996,-0.156006),(10.224,1.62));
( (0.0839996,-0.348007),(11.952,8.472));
( (0.612,1.29601),(6.66,4.78799));
( (0.360001,-2.46001),(5.052,5.90401));
( (0.360001,3.28799),(3.612,8.196));
( (1.02,6.192),(3.564,8.364));
( (1.668,6.192),(4.548,8.364));
( (0.479996,6.192),(4.40401,8.28));
( (0.576004,6.43201),(4.884,7.86));
( (0.612,6.636),(4.716,7.476));
( (0.815994,6.192),(4.644,8.136));
( (1.95599,6.3),(3.51601,7.86));
( (0.660004,6.3),(4.76401,7.86));
( (0.0240021,3.28799),(3.756,8.196));
( (1.524,6.192),(4.08,8.748));
( (-0.960007,-2.616),(1.87199,0.0599976));
( (0.203995,3.17999),(3.85201,8.196));
( (0.828003,6.192),(5.976,8.364));
( (-0.479996,-2.076),(2.26801,0.528));
( (0.947998,6.192),(4.93201,8.28));
( (-0.479996,2.136),(11.724,3.228));
( (0.395996,0.0),(6.444,6.07201));
( (0.0839996,-0.167999),(8.65199,8.196));
( (-0.108002,-0.167999),(8.67599,8.196));
( (0.0839996,-0.167999),(8.71201,8.196));
( (-0.251999,-0.167999),(5.46001,8.364));
( (-0.251999,-0.167999),(5.548,8.364));
( (-0.251999,-0.167999),(5.46001,8.28));
( (-0.251999,-0.167999),(5.884,7.86));
( (-0.251999,-0.167999),(5.76401,7.86));
( (-0.251999,-0.167999),(5.46001,8.748));
( (-0.0599976,-2.616),(4.70399,5.54401));
( (0.0599976,-0.156006),(4.776,8.364));
( (0.0599976,-0.156006),(5.548,8.364));
( (0.0599976,-0.156006),(5.40401,8.28));
( (0.0599976,-0.156006),(5.76401,7.86));
( (0.0240021,-0.108002),(3.564,8.364));
( (-0.768005,0.0),(11.016,8.028));
( (0.0240021,-0.108002),(4.548,8.364));
( (0.192001,4.78799),(3.96001,8.22));
( (-0.520004,-0.108002),(3.40401,8.28));
( (0.0240021,-0.108002),(4.76401,7.86));
( (-0.0359955,-0.156006),(5.448,8.388));
( (-0.0720062,-0.108002),(5.916,7.86));
( (-0.264008,0.0),(7.08,8.028));
( (0.324005,-1.5),(8.29201,9.168));
( (0.276001,-0.095993),(11.352,8.12399));
( (0.671997,4.8),(4.164,8.22));
( (-0.0359955,-0.156006),(5.29201,8.364));
( (-0.0359955,-0.156006),(5.548,8.364));
( (-0.0359955,-0.156006),(5.40401,8.28));
( (-0.0359955,-0.156006),(5.884,7.86));
( (-0.0359955,-0.156006),(5.76401,7.86));
( (-0.0599976,-0.156006),(8.076,5.54401));
( (0.179993,-0.108002),(5.90401,8.364));
( (0.179993,-0.108002),(5.90401,8.364));
( (0.179993,-0.108002),(5.90401,8.28));
( (0.0240021,-0.108002),(2.856,5.54401));
( (0.179993,-0.108002),(5.90401,7.86));
( (-1.12801,-2.46001),(5.548,8.364));
( (-0.156006,-0.108002),(3.612,8.388));
( (-0.0359955,-1.42799),(5.29201,6.72));
( (0.0720062,-0.156006),(8.088,5.54401));
( (-2.39999,-2.39999),(5.67599,8.46001));
( (-1.44,-2.46001),(5.35201,8.388));
( (-1.12801,-2.46001),(4.76401,7.86));
( (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;;
