2.1.2 (318,Darwin) stopped off 2.000 %8 %1 doc_settings 1094 160 history_window 1 0 220 1107 0 0 4 document_window 0 1458 1179 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 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 6.500 124.500 %7 origin3 %7 ((-0.82412618862201559,0.064119006318077543,-0.56276529588819912,0),(-0.56640623692483294,-0.093293733102308332,0.81882858654084934,0),(0,0.99357185567658735,0.11320321376790681,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 (-1.0288336069658721,-2.7015194298052658,2.1995801007753202,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %26 (-1.0288336069658721,-2.7015194298052658,2.1995801007753202,1) %25 %34 %35 %25 O_point %35 defined (-0.28323229698058694,-0.74371360758514993,0.6055324399565909,0,0,0) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %36 defined (-0.28323229698058688,-0.74371360758514993,0.6055324399565909,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %37 defined (0.28323229698058688,0.74371360758514982,-0.60553243995659078,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %38 %36 %37 %14 %35 %39 defined (-2.545048728535904,2.0536495664955283,-0.8271163041562406,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %40 (-2.545048728535904,2.0536495664955283,-0.8271163041562406,1) %39 %47 %48 %15 K_vector %48 defined (1.1102230246251565e-16,1.1102230246251565e-16,0.70710678118654757,-0.70710678118654746) very_small_surface_thickness solid_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.4677409140968421,-1.2281977950487095,1.0000000000000002,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %51 defined (2.5393727050463659,-24.169845493675314,2.3471850969216823,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %52 (2.5393727050463659,-24.169845493675314,2.3471850969216823,1) %51 %57 %58 %59 K_vector %58 defined default_layer solid_curve_style very_small_curve_radius dim_gray conic3_base_curve_radius %59 no_display defined (0,1,0,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %60 no_display (1) %59 J_vector %61 %62 %50 %63 %62 defined (0.17933283295900251,-0.58760255770421554,6.8868705954435854e-17,0.58760255770421566,0.1793328329590026,0.49510194748629766) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %63 defined (-0.95489624026062603,0.36801696902916309,1,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %64 (-1,0,0) (-0.66737407321948861,0.25720593848798523,0.69889695349238967) %63 %48 %65 %66 %50 %48 %62 %66 defined (0.54518139594757009,0.16638614473328389,-1.1172268294671692e-16,-0.16638614473328378,0.5451813959475702,0.59176498097378738) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %67 %68 %69 %48 %66 %68 defined (-0.20502294382857783,0.67177886053504365,-7.3284994486685428e-17,-0.67177886053504365,-0.20502294382857789,-0.11557469482635203) default_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %69 defined (0.1456615376172701,-1.0409909866922653,1.0000000000000002,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %70 (-0.53984991162755625,0.8417612921224874) %69 %66 %71 %72 %63 %48 %62 %72 defined (0.61766587788194838,0.18850798086286891,-1.2657674960032367e-16,-0.18850798086286894,0.61766587788194827,-0.40731708643592735) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %73 defined (-0.34149378854651374,0.55522377738560713,0.99999999999999978,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %74 %73 %72 %68 %75 %76 O_point %69 %76 defined (-0.10039943505166073,0.71751890490398518,-0.68926524252039101,0,0,0) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %77 %78 O_point %73 %78 defined (0.2860829123740215,-0.46513301436563254,-0.8377397246130438,0,0,0) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %79 %80 O_point %63 %80 defined (0.6673740732194885,-0.25720593848798523,-0.69889695349238978,0,0,0) hidden_layer solid_curve_style normal_curve_radius cornflower_blue line3_base_curve_radius %81 defined (0.10039943505166073,-0.71751890490398518,0.68926524252039101,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %82 defined (-0.10039943505166073,0.71751890490398529,-0.68926524252039101,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %83 %82 %81 %14 %76 %84 defined (-0.6673740732194885,0.25720593848798523,0.69889695349238978,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %85 defined (0.66737407321948861,-0.25720593848798529,-0.69889695349238989,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %86 %85 %84 %14 %80 %87 defined (-0.2860829123740215,0.46513301436563248,0.8377397246130438,1) sphere_point_style normal_point_size red default_layer point3_base_point_size %88 defined (0.28608291237402145,-0.46513301436563242,-0.83773972461304369,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %89 %88 %87 %14 %78 %90 %91 %35 %80 %91 defined (0.74471831580808345,0.22728363513616254,0.62748448530562373,0) normal_surface_thickness solid_surface_style light_steel_blue hidden_layer solid_curve_style normal_curve_radius dim_gray plane3_base_surface_thickness plane3_base_curve_radius %92 %93 %76 %78 %93 defined (-0.94375656564155286,-0.28802893438961691,-0.16236649211842624,0) normal_surface_thickness solid_surface_style light_steel_blue hidden_layer solid_curve_style normal_curve_radius dim_gray plane3_base_surface_thickness plane3_base_curve_radius %94 defined default_layer solid_curve_style very_small_curve_radius deep_pink conic3_base_curve_radius %95 %94 %14 %91 %96 defined default_layer solid_curve_style very_small_curve_radius deep_pink conic3_base_curve_radius %97 %96 %14 %93 %98 defined (12.754787159285698,-29.520964997576062,1.0000000000000011,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %99 (12.754787159285698,-29.520964997576062,1.0000000000000011,1) %98 %100 %101 %98 %101 defined italic 12 Helvetica 0.087 -2.061 parallel lines in Euclidean plane black default_layer %102 defined (2.7141899751991381,-9.4570398192234197,1.0000000000000009,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %103 (0.99360420908514768,0.11291888986470935) %102 %68 %104 defined (1.9994114703531445,-9.3120775142760568,1.0000000000000018,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %105 (-0.98105760560615762,0.19371622152600646) %104 %62 %106 %107 %102 %98 %107 defined (2.7141899751991381,-9.4570398192234197,1.0000000000000009,1)(12.754787159285698,-29.520964997576062,1.0000000000000011,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 %108 %109 %98 %104 %109 defined (12.754787159285698,-29.520964997576062,1.0000000000000011,1)(1.9994114703531445,-9.3120775142760568,1.0000000000000018,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 %110 defined (-7.2129306850240686,15.478029617328302,1.0000000000000004,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %111 (-7.2129306850240686,15.478029617328302,1.0000000000000004,1) %110 %112 %113 %110 %113 defined italic 12 Helvetica -0.495 -2.086 "parallel" lines on sphere black default_layer %114 defined (-0.052509757727415236,0.95726256349129935,-0.28441362464107622,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %115 (1,0.63222289687494515) %114 %94 %116 defined (-0.21220861920403361,0.90422996972803005,-0.37058826719307197,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %117 (0,-0.32865946624375936) %116 %96 %118 %119 %110 %114 %119 defined (-7.2129306850240686,15.478029617328302,1.0000000000000004,1)(-0.052509757727415236,0.95726256349129935,-0.28441362464107622,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 %120 %121 %116 %110 %121 defined (-0.21220861920403361,0.90422996972803005,-0.37058826719307197,1)(-7.2129306850240686,15.478029617328302,1.0000000000000004,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 %122 defined (-5.2247195648280673,4.5603591389463247,-0.1791055971966545,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %123 (-5.2247195648280673,4.5603591389463247,-0.1791055971966545,1) %122 %124 %125 %122 %125 defined italic 12 Helvetica -0.375 -0.549 line at infinity black default_layer %126 defined (-0.94130211107814021,0.33756530579998323,0,1) sphere_point_style normal_point_size red hidden_layer point3_base_point_size %127 (0,-0.82611397583423551) %126 %58 %128 %129 %122 %126 %129 defined (-5.2247195648280673,4.5603591389463247,-0.1791055971966545,1)(-0.94130211107814021,0.33756530579998323,0,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