2.1.2 (318,Darwin) stopped off 2.000 %8 %1 doc_settings 0 463 history_window 1 0 220 1102 0 0 4 document_window 0 1458 1174 22 0 1 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 default_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 default_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 default_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 7.500 112.500 %7 origin3 %7 ((-0.92387953251128674,0.049950211252314851,-0.37940952255126026,0),(-0.38268343236508967,-0.12059047744873973,0.9159756150367534,0),(0,0.99144486137381038,0.13052619222005171,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 %14 I_vector O_point %14 defined normal_surface_thickness solid_surface_style coral default_layer solid_curve_style normal_curve_radius tomato quadric3_base_surface_thickness quadric3_base_curve_radius %15 no_display defined (0,0,1,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %16 no_display (1) %15 K_vector %25 defined (-2.9540417212888728,-0.68253672672663879,3.0355924574129443,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %26 (-2.9540417212888728,-0.68253672672663879,3.0355924574129443,1) %25 %34 %35 %25 O_point %35 defined (-0.68853281221999185,-0.15908676187940843,0.70754078941864107,0,0,0) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %36 defined (-0.68853281221999196,-0.15908676187940846,0.70754078941864107,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %37 defined (0.68853281221999196,0.15908676187940846,-0.70754078941864107,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %38 %36 %37 %14 %35 %47 %48 %15 K_vector %48 defined (1.1102230246251565e-16,1.1102230246251565e-16,0.70710678118654757,-0.70710678118654746) very_small_surface_thickness small_hatch_surface_style light_steel_blue default_layer solid_curve_style very_small_curve_radius dim_gray plane3_base_surface_thickness plane3_base_curve_radius %49 %50 %48 %35 %50 defined (-0.97313514996885575,-0.22484465102022441,1,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %57 %58 O_point %35 %58 defined (-0.68853281221999196,-0.15908676187940846,0.70754078941864096,0) very_small_surface_thickness solid_surface_style dim_gray default_layer solid_curve_style normal_curve_radius dim_gray plane3_base_surface_thickness plane3_base_curve_radius %59 defined (0.11249132812193936,-0.48686622059020018,5.8780319538496557e-17,0.48686622059020002,0.11249132812193925,-0.50030689016400398) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %60 %59 %48 %58 %61 defined (-4.6443912765331481,-1.0730950740057954,4.7726066381239916,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %62 (-0.49665398065461136,0.86794862952822793) %61 %35 %63 defined (1.8318680471934929,-7.8870720625035959,5.9638238957683152,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %64 (1.8318680471934929,-7.8870720625035959,5.9638238957683152,1) %63 %65 %66 %63 %66 defined italic 12 Helvetica -0.129 -1.532 line in R^3 black default_layer %67 defined (0.29967778500226316,2.8279866179759163,4.7788022183194201,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %68 (0.29967778500226316,2.8279866179759163,4.7788022183194201,1) %67 %69 %70 %67 %70 defined italic 12 Helvetica 0.039 -0.187 perpendicular plane in R^3 black default_layer %71 defined (2.734256739416455,-7.2703434757476018,2.8777145593556832,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %72 (2.734256739416455,-7.2703434757476018,2.8777145593556832,1) %71 %73 %74 %71 %74 defined italic 12 Helvetica -0.000 -1.047 dual line x' in R^2 black default_layer %75 %76 %67 %77 %76 defined (0.29967778500226316,2.8279866179759163,4.7788022183194201,1)(4.6068041993629647,-4.6865843657119717,3.4292896692388855,1) no_point_style normal_point_size tomato default_layer solid_curve_style very_small_curve_radius brown subline3_base_point_size subline3_base_curve_radius %77 defined (4.6068041993629647,-4.6865843657119717,3.4292896692388855,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %78 (-1,0,0) (-0.79489591716278696,0.59401072609672556,0.12365976774995331) %77 %58 %79 %80 %71 %81 %80 defined (2.734256739416455,-7.2703434757476018,2.8777145593556832,1)(3.1493950646128761,-9.1831717105313775,1.0000000000000007,1) no_point_style normal_point_size tomato default_layer solid_curve_style very_small_curve_radius brown subline3_base_point_size subline3_base_curve_radius %81 defined (3.1493950646128761,-9.1831717105313775,1.0000000000000007,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %82 (-0.99468063638508497,-0.10300694928286197) %81 %59 %83 %84 %63 %61 %84 defined (1.8318680471934929,-7.8870720625035959,5.9638238957683152,1)(-4.6443912765331481,-1.0730950740057954,4.7726066381239916,1) no_point_style normal_point_size tomato default_layer solid_curve_style very_small_curve_radius brown subline3_base_point_size subline3_base_curve_radius %85 defined (-2.9854153847292042,-5.1521392302643596,2.1222877124801749,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %86 (-2.9854153847292042,-5.1521392302643596,2.1222877124801749,1) %85 %87 %88 %85 %88 defined italic 12 Helvetica -0.013 -0.715 point x in R^2 black default_layer %89 %90 %85 %50 %90 defined (-2.9854153847292042,-5.1521392302643596,2.1222877124801749,1)(-0.97313514996885575,-0.22484465102022441,1,1) no_point_style normal_point_size tomato default_layer solid_curve_style very_small_curve_radius brown subline3_base_point_size subline3_base_curve_radius %91 defined (-2.6358918152669748,-10.043983819411942,0.99999999999999967,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %92 (-2.6358918152669748,-10.043983819411942,0.99999999999999967,1) %91 %93 %94 %91 %94 defined italic 12 Helvetica 0.000 0.000 w=1 plane black default_layer %95 %96 %91 %97 %96 defined (-2.6358918152669748,-10.043983819411942,0.99999999999999967,1)(-4.3422072148971154,-3.3619558583202842,0.99999999999999989,1) no_point_style normal_point_size tomato default_layer solid_curve_style very_small_curve_radius brown subline3_base_point_size subline3_base_curve_radius %97 defined (-4.3422072148971154,-3.3619558583202842,0.99999999999999989,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %98 (-1,0,0) (-0.77790966667260486,-0.60229690378235679,0.17915074711399667) %97 %48 %99 defined default_layer solid_curve_style normal_curve_radius deep_pink conic3_base_curve_radius %100 %99 %14 %58