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


#open "MLgraph";;


let fn = 
Times_Italic,{font_descr_filename="preloaded"; font_descr_name="Times_Italic";
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;
3.996;
5.03999;
6.0;
6.0;
9.996;
9.336;
3.996;
3.996;
3.996;
6.0;
8.10001;
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;
8.10001;
8.10001;
8.10001;
6.0;
11.04;
7.332;
7.332;
8.004;
8.664;
7.332;
7.332;
8.664;
8.664;
3.996;
5.328;
8.004;
6.672;
9.996;
8.004;
8.664;
7.332;
8.664;
7.332;
6.0;
6.672;
8.664;
7.332;
9.996;
7.332;
6.672;
6.672;
4.668;
3.336;
4.668;
5.064;
6.0;
3.996;
6.0;
6.0;
5.328;
6.0;
5.328;
3.336;
6.0;
6.0;
3.336;
3.336;
5.328;
3.336;
8.664;
6.0;
6.0;
6.0;
6.0;
4.668;
4.668;
3.336;
6.0;
5.328;
8.004;
5.328;
5.328;
4.668;
4.8;
3.3;
4.8;
6.492;
3.0;
3.0;
7.332;
7.332;
7.332;
7.332;
7.332;
7.332;
8.004;
7.332;
7.332;
7.332;
7.332;
3.996;
3.996;
3.996;
3.996;
8.664;
8.004;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
8.664;
6.672;
7.332;
6.0;
8.10001;
8.10001;
9.12;
4.668;
6.0;
6.0;
2.004;
6.0;
6.0;
6.0;
6.0;
2.56799;
6.672;
6.0;
3.996;
3.996;
6.0;
6.0;
9.12;
6.0;
6.0;
6.0;
3.0;
3.3;
6.276;
4.2;
3.996;
6.672;
6.672;
6.0;
10.668;
12.0;
8.10001;
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;
10.668;
8.10001;
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;
10.668;
3.336;
3.312;
3.336;
3.336;
6.0;
6.0;
6.672;
8.664;
11.328;
3.72;
6.0;
6.0;
6.0;
6.0;
6.0;
8.004;
6.0;
6.0;
6.0;
3.336;
6.0;
5.328;
3.336;
6.0;
8.004;
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.468002,-0.132004),(3.62399,8.004));
( (1.728,5.052),(5.18401,7.992));
( (0.0240021,0.0),(6.48,8.112));
( (0.371994,-1.06799),(5.964,8.772));
( (0.947998,-0.156006),(9.48,8.112));
( (0.912003,-0.216003),(8.67599,7.992));
( (1.812,5.23199),(3.48,7.992));
( (0.503998,-2.172),(3.78,8.028));
( (0.192001,-2.16),(3.468,8.028));
( (1.536,3.06),(5.90401,7.992));
( (1.032,0.0),(7.08,6.07201));
( (-0.0480042,-1.548),(1.62,1.21201));
( (0.587997,2.304),(3.384,3.06));
( (0.324005,-0.132004),(1.65601,1.2));
( (-0.779999,-0.216003),(4.632,7.992));
( (0.384003,-0.0839996),(5.964,8.112));
( (0.587997,0.0),(4.95599,8.112));
( (0.143997,0.0),(5.424,8.112));
( (0.179993,-0.0839996),(5.58,8.112));
( (0.0119934,0.0),(5.748,8.112));
( (0.179993,-0.0839996),(5.892,7.992));
( (0.360001,-0.0839996),(6.252,8.23199));
( (0.899994,-0.095993),(6.444,7.992));
( (0.360001,-0.0839996),(5.916,8.112));
( (0.276001,-0.203995),(5.90401,8.112));
( (0.600006,-0.132004),(3.132,5.29201));
( (0.324005,-1.548),(3.132,5.29201));
( (1.008,-0.095993),(7.104,6.168));
( (1.032,1.44),(7.08,4.632));
( (1.008,-0.095993),(7.104,6.168));
( (1.584,-0.143997),(5.664,7.968));
( (1.416,-0.216003),(9.672,7.992));
( (-0.612,0.0),(6.76801,8.01601));
( (-0.095993,0.0),(7.056,7.836));
( (0.792007,-0.216003),(8.26801,7.992));
( (-0.095993,0.0),(8.39999,7.836));
( (-0.0119934,0.0),(7.608,7.836));
( (0.095993,0.0),(7.74001,7.836));
( (0.623993,-0.216003),(8.664,7.992));
( (-0.095993,0.0),(9.20399,7.836));
( (-0.095993,0.0),(4.608,7.836));
( (-0.0720062,-0.216003),(5.892,7.836));
( (0.0839996,0.0),(8.664,7.836));
( (-0.095993,0.0),(6.70799,7.836));
( (-0.216003,0.0),(10.476,7.836));
( (-0.240005,-0.179993),(8.724,7.836));
( (0.720001,-0.216003),(8.388,7.992));
( (0.0,0.0),(7.25999,7.836));
( (0.707993,-2.18401),(8.388,7.992));
( (-0.156006,0.0),(7.056,7.836));
( (0.203995,-0.216003),(6.09599,8.004));
( (0.707993,0.0),(7.59599,7.836));
( (1.224,-0.216003),(9.17999,7.836));
( (0.912003,-0.216003),(8.256,7.836));
( (0.852005,-0.216003),(10.872,7.836));
( (-0.348007,0.0),(7.86,7.836));
( (0.936005,0.0),(7.59599,7.836));
( (-0.0720062,0.0),(7.272,7.836));
( (0.251999,-1.836),(4.692,7.95599));
( (-0.492004,-0.216003),(3.828,7.992));
( (0.143997,-1.836),(4.584,7.95599));
( (0.0,3.612),(5.064,7.992));
( (0.0,-1.5),(6.0,-0.899994));
( (2.052,5.23199),(3.72,7.992));
( (0.203995,-0.132004),(5.71201,5.29201));
( (0.276001,-0.132004),(5.67599,8.196));
( (0.360001,-0.132004),(5.10001,5.29201));
( (0.179993,-0.156006),(6.32401,8.196));
( (0.371994,-0.132004),(4.944,5.29201));
( (-1.76401,-2.48399),(5.088,8.136));
( (0.095993,-2.472),(5.664,5.29201));
( (0.227997,-0.108002),(5.73599,8.196));
( (0.587997,-0.132004),(3.168,7.84801));
( (-1.48801,-2.48399),(3.312,7.84801));
( (0.167999,-0.132004),(5.532,8.196));
( (0.492004,-0.132004),(3.34801,8.196));
( (0.143997,-0.108002),(8.448,5.29201));
( (0.167999,-0.108002),(5.688,5.29201));
( (0.324005,-0.132004),(5.616,5.29201));
( (-0.899994,-2.46001),(5.62801,5.29201));
( (0.300003,-2.508),(5.79601,5.29201));
( (0.539993,0.0),(4.944,5.29201));
( (0.192001,-0.156006),(4.392,5.304));
( (0.444,-0.132004),(3.552,6.576));
( (0.503998,-0.132004),(5.7,5.29201));
( (0.251999,-0.216003),(5.112,5.304));
( (0.192001,-0.216003),(7.776,5.29201));
( (-0.324005,-0.132004),(5.364,5.29201));
( (-0.287994,-2.472),(5.112,5.304));
( (-0.0240021,-0.972),(4.56,5.136));
( (0.612,-2.12399),(4.884,8.244));
( (1.25999,-0.216003),(2.052,7.992));
( (-0.0839996,-2.12399),(4.188,8.244));
( (0.479996,2.196),(6.024,3.87601));
( (0.0,0.0),(0.0,0.0));
( (0.0,0.0),(0.0,0.0));
( (-0.612,0.0),(6.76801,10.968));
( (-0.612,0.0),(6.836,10.968));
( (-0.612,0.0),(6.76801,10.932));
( (-0.612,0.0),(7.12399,10.488));
( (-0.612,0.0),(6.86,10.272));
( (-0.612,0.0),(6.76801,10.292));
( (0.792007,-2.604),(8.26801,7.992));
( (-0.0119934,0.0),(7.608,10.968));
( (-0.0119934,0.0),(7.608,10.968));
( (-0.0119934,0.0),(7.608,10.932));
( (-0.0119934,0.0),(7.608,10.272));
( (-0.095993,0.0),(4.608,10.968));
( (-0.095993,0.0),(4.836,10.968));
( (-0.095993,0.0),(4.62,10.932));
( (-0.095993,0.0),(4.86,10.272));
( (-0.095993,0.0),(8.39999,7.836));
( (-0.240005,-0.179993),(8.724,10.488));
( (0.720001,-0.216003),(8.388,10.968));
( (0.720001,-0.216003),(8.388,10.968));
( (0.720001,-0.216003),(8.388,10.932));
( (0.720001,-0.216003),(8.388,10.488));
( (0.720001,-0.216003),(8.388,10.272));
( (1.224,-0.216003),(9.17999,10.968));
( (1.224,-0.216003),(9.17999,10.968));
( (1.224,-0.216003),(9.17999,10.932));
( (1.224,-0.216003),(9.17999,10.272));
( (0.936005,0.0),(7.59599,10.968));
( (0.0,0.0),(6.828,7.836));
( (-0.360001,-2.508),(5.964,5.136));
( (1.116,0.095993),(6.98399,5.964));
( (1.032,-0.132004),(7.08,6.20399));
( (0.492004,-0.216003),(8.62801,7.992));
( (0.707993,-2.46001),(3.864,5.67599));
( (0.923996,-1.716),(5.664,6.72));
( (0.119995,-0.0720062),(6.20399,8.03999));
( (-2.028,-0.119995),(4.04401,8.112));
( (0.324005,0.0),(7.23601,7.836));
( (0.300003,-2.18401),(6.084,8.18401));
( (0.636002,-1.944),(5.532,7.992));
( (-0.264008,0.636002),(6.26401,7.164));
( (1.584,5.052),(2.892,7.992));
( (1.992,5.23199),(6.168,7.992));
( (0.636002,0.444),(5.34,4.836));
( (0.612,0.444),(3.37199,4.836));
( (0.623993,0.444),(3.384,4.836));
( (-1.692,-2.48399),(5.772,8.172));
( (-1.692,-2.448),(6.228,8.18401));
( (0.492004,-0.216003),(8.62801,7.992));
( (-0.0720062,2.364),(6.06,2.916));
( (1.21201,-1.908),(5.856,7.992));
( (0.264008,-1.716),(5.892,7.992));
( (0.839996,2.388),(2.172,3.72));
( (1.25999,-0.216003),(2.052,7.992));
( (0.660004,-1.476),(7.392,7.836));
( (0.468002,2.29201),(3.72,5.532));
( (0.528,-1.548),(2.196,1.21201));
( (0.684006,-1.548),(4.86,1.21201));
( (1.812,5.23199),(5.98801,7.992));
( (0.660004,0.444),(5.364,4.836));
( (0.684006,-0.132004),(9.144,1.2));
( (0.300003,-0.227997),(12.12,8.472));
( (1.032,1.29601),(7.08,4.632));
( (0.335999,-2.46001),(4.416,5.65199));
( (0.516006,3.252),(3.43201,8.112));
( (1.452,5.90401),(3.73199,7.968));
( (2.16,5.92799),(4.836,7.968));
( (1.092,5.90401),(4.62,7.93201));
( (1.2,6.20399),(5.12399,7.48801));
( (1.188,6.384),(4.93201,6.996));
( (1.40401,5.90401),(5.01601,7.8));
( (2.48399,6.09599),(3.66,7.272));
( (1.284,6.09599),(4.86,7.272));
( (0.395996,3.252),(3.888,8.112));
( (1.86,5.90401),(4.25999,8.29201));
( (-0.360001,-2.604),(2.18401,0.0));
( (0.516006,3.216),(4.06799,8.112));
( (1.116,5.92799),(5.832,7.968));
( (-0.240005,-2.028),(2.39999,0.479996));
( (1.452,5.90401),(5.112,7.93201));
( (-0.0720062,2.364),(10.728,2.916));
( (1.032,0.0),(7.08,6.07201));
( (0.395996,-0.119995),(8.832,8.112));
( (0.408005,-0.119995),(8.98801,8.112));
( (0.276001,-0.119995),(8.832,8.112));
( (0.203995,-0.132004),(5.71201,7.968));
( (0.203995,-0.132004),(5.836,7.968));
( (0.203995,-0.132004),(5.71201,7.93201));
( (0.203995,-0.132004),(6.12399,7.48801));
( (0.203995,-0.132004),(5.86,7.272));
( (0.203995,-0.132004),(5.71201,8.29201));
( (0.360001,-2.604),(5.10001,5.29201));
( (0.371994,-0.132004),(4.944,7.968));
( (0.371994,-0.132004),(5.836,7.968));
( (0.371994,-0.132004),(5.62,7.93201));
( (0.371994,-0.132004),(5.86,7.272));
( (0.587997,-0.132004),(3.73199,7.968));
( (-0.324005,0.0),(10.932,7.836));
( (0.587997,-0.132004),(3.836,7.968));
( (0.503998,4.87199),(4.224,8.112));
( (0.0919952,-0.132004),(3.62,7.93201));
( (0.283997,-0.132004),(3.86,7.272));
( (0.324005,-0.132004),(5.784,8.196));
( (0.167999,-0.108002),(6.12399,7.48801));
( (-0.095993,0.0),(6.70799,7.836));
( (0.720001,-1.25999),(8.388,8.664));
( (0.587997,-0.095993),(11.568,7.992));
( (0.804001,4.87199),(4.34399,8.112));
( (0.324005,-0.132004),(5.616,7.968));
( (0.324005,-0.132004),(5.836,7.968));
( (0.324005,-0.132004),(5.62,7.93201));
( (0.324005,-0.132004),(6.12399,7.48801));
( (0.324005,-0.132004),(5.86,7.272));
( (0.276001,-0.132004),(7.67999,5.29201));
( (0.503998,-0.132004),(5.7,7.968));
( (0.503998,-0.132004),(5.836,7.968));
( (0.503998,-0.132004),(5.7,7.93201));
( (0.587997,-0.132004),(2.82001,5.29201));
( (0.503998,-0.132004),(5.86,7.272));
( (-0.287994,-2.472),(5.836,7.968));
( (0.444,-0.132004),(3.68401,8.196));
( (0.335999,-1.62),(5.62801,6.64799));
( (0.240005,-0.143997),(7.752,5.29201));
( (-2.01601,-2.48399),(5.916,8.14799));
( (-0.899994,-2.46001),(5.62801,8.196));
( (-0.287994,-2.472),(5.112,7.272));
( (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;;
