2.1.2 (318,Windows NT) stopped off 1.000 %8 %1 doc_settings 0 -277 history_window 1 1 841 421 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 default_layer point3_base_point_size document_toolbar default_document_toolbar %1 1 29.700 21.000 %8 %6 0.000 0.000 26.000 344.000 %7 origin3 %7 ((0.275637355816999,-0.42138939201289433,0.86397628924480119,0),(0.96126169593831889,0.12083146376740685,-0.24774121434596377,0),(0,0.89879404629916704,0.43837114678907746,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 (-1,0,0,0,0,0) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %14 %13 I_vector %15 defined (0,-1,0,0,0,0) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %16 %15 J_vector %17 defined (0,0,-1,0,0,0) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %18 %17 K_vector %19 defined (1.237553646016563,7.795523107384855,4.4639949290034551,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %20 (1.237553646016563,7.795523107384855,4.4639949290034551,1) %19 %21 defined (6.0186064571214377,3.4212999206478112,1.4105215139258676,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %22 (6.0186064571214377,3.4212999206478112,1.4105215139258676,1) %21 %23 %24 O_point %21 %24 defined (0,0,0,1) (6.0186064571214377,3.4212999206478112,1.4105215139258676) sphere_point_style normal_point_size tomato default_layer solid_curve_style normal_curve_radius magenta vector3_base_point_size vector3_base_curve_radius %25 %26 O_point %19 %26 defined (0,0,0,1) (1.237553646016563,7.795523107384855,4.4639949290034551) sphere_point_style normal_point_size tomato default_layer solid_curve_style normal_curve_radius magenta vector3_base_point_size vector3_base_curve_radius %34 defined (0.17794600410103109,1.1209067108334652,0.64187121301794414,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %35 (0.14232475275270051,0.98982001634331618) %34 %26 %36 defined (1.1237084330572065,0.63877636795821569,0.26335247727182204,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %37 (0.1835342388639456,0.98301331789789725) %36 %24 %38 %39 %36 %34 %39 defined (0.65082721857911874,0.87984153939584042,0.45261184514488312,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %40 %41 %39 O_point %41 no_point_style normal_point_size tomato hidden_layer solid_curve_style very_small_curve_radius lawn_green subline3_base_point_size subline3_base_curve_radius %42 defined (0.87191327347740311,1.1787237762287375,0.60636412284122654,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %43 (0.80136893413161103,0.59817040332063043) %42 %41 %44 %45 %34 %42 %36 %45 defined (0.17794600410103109,1.1209067108334652,0.64187121301794414,1)(0.87191327347740311,1.1787237762287375,0.60636412284122654,1)(1.1237084330572065,0.63877636795821569,0.26335247727182204,1) no_point_style normal_point_size tomato default_layer solid_curve_style normal_curve_radius red subconic3_base_point_size subconic3_base_curve_radius %46 0.5227980704509404 %47 %45 %47 defined italic 22 Arial -0.387 0.014 θ black default_layer %52 %53 %19 %21 %53 defined (1.237553646016563,7.795523107384855,4.4639949290034551,1) (4.7810528111048747,-4.3742231867370442,-3.0534734150775882) sphere_point_style normal_point_size tomato default_layer solid_curve_style normal_curve_radius dodger_blue vector3_base_point_size vector3_base_curve_radius %54 %55 %53 %55 defined italic 22 Arial 0.441 -1.100 AB=B-A black default_layer %56 (0.99209092376303198,0.12552130889619528) %57 %13 %57 defined italic 22 Euclid -0.122 -0.048 x black default_layer %58 (0.99262915653017236,0.12119140896201613) %59 %15 %59 defined italic 22 Euclid -0.947 -0.325 y black default_layer %60 (0.98723263729966737,0.15928502707518791) %61 %17 %61 defined italic 22 Euclid 0.000 0.000 z black default_layer %62 %63 O_point %63 defined italic 20 Arial -0.979 -0.926 O black default_layer %64 %65 %19 %65 defined italic 20 Arial 0.053 -0.476 A black default_layer %66 %67 %21 %67 defined italic 20 Arial -1.032 -0.371 B black default_layer