2.1.2 (318,Windows NT) stopped off 1.000 %8 %1 doc_settings 62 -215 history_window 1 1 641 321 0 0 4 document_window 0 600 800 0 0 2 history_data %12 Z0_Plane defined (0,0,1,0) normal_surface_thickness solid_surface_style ivory hidden_layer solid_curve_style normal_curve_radius dim_gray template_plane3_base_surface_thickness plane3_base_curve_radius K_vector defined (0,0,0,1) (0,0,1) sphere_point_style normal_point_size tomato hidden_layer solid_curve_style normal_curve_radius steel_blue vector3_base_point_size vector3_base_curve_radius J_vector defined (0,0,0,1) (0,1,0) sphere_point_style normal_point_size tomato hidden_layer solid_curve_style normal_curve_radius lawn_green vector3_base_point_size vector3_base_curve_radius I_vector defined (0,0,0,1) (1,0,0) sphere_point_style normal_point_size tomato hidden_layer solid_curve_style normal_curve_radius orange_red vector3_base_point_size vector3_base_curve_radius Z1_point no_display no_picking (0,0,1,1) Y1_point no_display no_picking (0,1,0,1) X1_point no_display no_picking (1,0,0,1) O_point defined (0,0,0,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size document_toolbar default_document_toolbar %1 1 29.700 21.000 %8 %6 0.000 0.000 30.000 189.509 %7 origin3 %7 ((0.16520252920385428,0.49312983187611204,-0.85412592353732431,0),(-0.98625966375222385,0.082601264601927155,-0.14306958705997841,0),(0,0.8660254037844386,0.50000000000000011,0),(0,0,0,1)) %8 false 1.500 1.500 18.000 18.000 default_surface_clipping_transfo3 %7 central_medium_lens default_layer default_clipping_transfo3 no_auto_rotate %9 I_vector O_point X1_point %10 J_vector O_point Y1_point %11 K_vector O_point Z1_point %12 10 Helvetica 1 0 0 0 %13 defined (4.8114408873980699,-4.6705294098883243,-3.5764046406100207,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %14 (4.8114408873980699,-4.6705294098883243,-3.5764046406100207,1) %13 %15 %16 %13 Z0_Plane %16 defined (2.2588926117785966e-17,1.6284371161701935e-17,0.26928199394509367,0.96306137277795256) normal_surface_thickness small_dot_surface_style lawn_green default_layer solid_curve_style normal_curve_radius dim_gray plane3_base_surface_thickness plane3_base_curve_radius %17 defined (5.2331379816903398,-4.6872595535959576,0,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %18 (-1,0,0) (0.73745579074330447,-0.66053039545494541,0.14092037957407366) %17 Z0_Plane %19 defined (4.5504393688901326,-5.013564906492177,-2.0201109468569585,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %20 (4.5504393688901326,-5.013564906492177,-2.0201109468569585,1) %19 %21 defined (2.2183040512672227,0.8046263356129636,0.77290853183478137,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %22 (2.2183040512672227,0.8046263356129636,0.77290853183478137,1) %21 %23 defined (-2.689658066332175,3.384472560722716,0.88998113414225555,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %24 (-2.689658066332175,3.384472560722716,0.88998113414225555,1) %23 %25 defined (-2.8730468616850038,-2.7451148898019722,0.96805742588261878,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %26 (-2.8730468616850038,-2.7451148898019722,0.96805742588261878,1) %25 %27 %28 %23 %21 %25 %28 defined (-0.02291878738248556,-0.0090207062478734716,-0.7620271825755639,0.64707644761624128) normal_surface_thickness solid_surface_style lawn_green default_layer solid_curve_style normal_curve_radius dim_gray plane3_base_surface_thickness plane3_base_curve_radius %35 %36 %23 %25 %36 defined (0.009625664086346436,0.32172821503691229,-0.0040980483892399796,-0.3002017740300113,-0.0024556894658998986,-0.89791668471965702) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %39 defined (-2.6915224353265064,3.3221578878506901,0.89077487411548062,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %40 (0.010165684633263257,0.9999483280929754) %39 %36 %41 %42 %39 %21 %42 defined (-0.41310335558453287,0.21182026184816555,0.009917047300873583,-0.15573817016812225,-0.34129013426499943,0.80227558423167145) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %43 (0.78347115166097725,0.62142815716301592) %44 %42 %44 defined italic 12 Helvetica 0.424 -0.741 a black default_layer %45 (0.70329106526107221,0.71090201682365917) %46 %36 %46 defined italic 12 Helvetica 0.000 0.000 b black default_layer