2.1.2 (318,Windows NT) stopped off 1.000 %8 %1 document_toolbar default_document_toolbar O_point defined (0,0,0,1) sphere_point_style normal_point_size red default_layer point3_base_point_size X1_point no_display no_picking (1,0,0,1) Y1_point no_display no_picking (0,1,0,1) Z1_point no_display no_picking (0,0,1,1) I_vector defined (0,0,0,1) (1,0,0) sphere_point_style normal_point_size tomato default_layer solid_curve_style normal_curve_radius orange_red 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 default_layer solid_curve_style normal_curve_radius lawn_green vector3_base_point_size vector3_base_curve_radius K_vector defined (0,0,0,1) (0,0,1) sphere_point_style normal_point_size tomato default_layer solid_curve_style normal_curve_radius steel_blue vector3_base_point_size vector3_base_curve_radius Z0_Plane defined (0,0,1,0) normal_surface_thickness solid_surface_style hot_pink default_layer solid_curve_style normal_curve_radius dim_gray template_plane3_base_surface_thickness plane3_base_curve_radius history_data %12 doc_settings -277 0 history_window 1 1 841 421 0 0 4 document_window 0 600 800 0 0 2 %1 1 29.700 21.000 %8 %6 0.000 0.000 24.500 43.500 %7 origin3 %7 ((-0.6883545756937538,-0.30080785005481553,0.66006258450761468,0),(0.72537437101228786,-0.28545599109170239,0.62637600451197184,0),(0,0.90996127087654322,0.41469324265623914,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 (0,-1,0,0,0,0) default_layer solid_curve_style normal_curve_radius red line3_base_curve_radius %14 %13 J_vector %15 defined (-1,0,0,0,0,0) default_layer solid_curve_style normal_curve_radius red line3_base_curve_radius %16 %15 I_vector %17 defined (0,0,-1,0,0,0) default_layer solid_curve_style normal_curve_radius red line3_base_curve_radius %18 %17 K_vector %19 %20 %17 %15 %20 defined (0,1,0,0) 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 %21 %22 %13 %17 %22 defined (1,0,0,0) normal_surface_thickness solid_surface_style dodger_blue default_layer solid_curve_style normal_curve_radius dim_gray plane3_base_surface_thickness plane3_base_curve_radius %23 (0.99366714542645229,0.11236371344898599) %24 %15 %24 defined italic 22 Euclid -0.177 -0.518 x black default_layer %25 (0.99271224724570062,0.12050889663585439) %26 %13 %26 defined italic 22 Euclid -0.058 -0.234 y black default_layer %27 (0.99080961889298458,0.13526381300679941) %28 %17 %28 defined italic 22 Euclid -0.717 0.132 z black default_layer %29 defined (3.7735975056876723,4.6897729161131316,4.1564926121012276,1) sphere_point_style very_large_point_size pale_turquoise default_layer point3_base_point_size %30 (3.7735975056876723,4.6897729161131316,4.1564926121012276,1) %29 %31 %32 %29 %22 %32 defined (-0.15758215080238705,0,0,0,-0.65498904560914328,0.73902450289588995) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %33 %34 %29 %20 %34 defined (0,-0.17536717692477216,0,0.72891237529286446,0,-0.66176514142280896) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %35 %36 %29 Z0_Plane %36 defined (0,0,-0.16388156601604353,-0.76856732975224706,0.61842306874633146,0) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %37 %38 %29 %38 defined italic 22 Euclid 0.024 -1.543 P(a,b,c) black default_layer %39 %40 %29 %41 %40 defined (3.7735975056876723,4.6897729161131316,4.1564926121012276,1)(3.7735975056876718,4.6897729161131316,0,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %41 defined (3.7735975056876718,4.6897729161131316,0,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %42 %41 Z0_Plane %36 %43 %44 %29 %45 %44 defined (3.7735975056876723,4.6897729161131316,4.1564926121012276,1)(0,4.6897729161131316,4.1564926121012276,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %45 defined (0,4.6897729161131316,4.1564926121012276,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %46 %45 %22 %32 %47 %48 %29 %49 %48 defined (3.7735975056876723,4.6897729161131316,4.1564926121012276,1)(3.7735975056876727,0,4.1564926121012284,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %49 defined (3.7735975056876727,0,4.1564926121012284,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %50 %49 %20 %34 %51 %52 %41 %13 %52 defined (0,-0.25615743929910695,0,0,0,-0.9666350740024513) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %53 %54 %41 %15 %54 defined (-0.20854175293143021,0,0,0,0,0.97801346477657769) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %55 %56 %49 %44 %56 defined (0.23391297170264805,0,4.0304337696371402e-17,0,0.97225753875670007,0) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %57 %58 %45 %48 %58 defined (0,0.23391297170264802,0,-0.97225753875670007,0,0) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %59 %60 %45 %61 %60 defined (0,4.6897729161131316,4.1564926121012276,1)(0,0,4.1564926121012276,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %61 defined (0,0,4.1564926121012276,1) sphere_point_style very_large_point_size aqua default_layer point3_base_point_size %62 %61 %56 %58 %63 %64 %49 %65 %64 defined (3.7735975056876727,0,4.1564926121012284,1)(3.7735975056876723,0,0,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %65 defined (3.7735975056876723,0,0,1) sphere_point_style very_large_point_size aqua default_layer point3_base_point_size %66 %65 %15 %52 %67 %68 %45 %69 %68 defined (0,4.6897729161131316,4.1564926121012276,1)(0,4.6897729161131316,0,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %69 defined (0,4.6897729161131316,0,1) sphere_point_style very_large_point_size aqua default_layer point3_base_point_size %70 %69 %54 %13 %71 %72 %69 %41 %72 defined (0,4.6897729161131316,0,1)(3.7735975056876718,4.6897729161131316,0,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %73 %74 %49 %61 %74 defined (3.7735975056876727,0,4.1564926121012284,1)(0,0,4.1564926121012276,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %75 %76 %41 %65 %76 defined (3.7735975056876718,4.6897729161131316,0,1)(3.7735975056876723,0,0,1) no_point_style normal_point_size tomato default_layer dash_curve_style very_small_curve_radius dark_blue subline3_base_point_size subline3_base_curve_radius %77 %78 %65 %78 defined italic 22 Euclid -0.106 -0.900 (a,0,0) black default_layer %79 %80 %69 %80 defined italic 22 Euclid -0.079 -1.085 (0,b,0) black default_layer %81 %82 %61 %82 defined italic 22 Euclid -0.265 -1.218 (0,0,c) black default_layer