<?xml version="1.0" encoding="UTF-8"?>
<document>
    <cabriml_version>2.1.2 (318,Windows NT)</cabriml_version>
    <animation_state>stopped</animation_state>
    <replay_construction_cycling_mode>off</replay_construction_cycling_mode>
    <display_scale>1.000</display_scale>
    <active_view>%8</active_view>
    <active_page>%1</active_page>
    <settings>
        <id>doc_settings</id>
        <window_y_offset>0</window_y_offset>
        <window_x_offset>-277</window_x_offset>
        <settings>
            <id>history_window</id>
            <dockinfo>1</dockinfo>
            <hidden>1</hidden>
            <width>841</width>
            <height>421</height>
            <y>0</y>
            <x>0</x>
            <state>4</state>
        </settings>
        <settings>
            <id>document_window</id>
            <hidden>0</hidden>
            <width>600</width>
            <height>800</height>
            <y>0</y>
            <x>0</x>
            <state>2</state>
        </settings>
    </settings>
    <ref>
        <id>history_data</id>
        <target>%12</target>
    </ref>
    <plane3>
        <id>Z0_Plane</id>
        <gstate>defined</gstate>
        <value>(0,0,1,0)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>ivory</surface_color1>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>dim_gray</curve_color1>
        <base_surface_thickness>template_plane3_base_surface_thickness</base_surface_thickness>
        <base_curve_radius>plane3_base_curve_radius</base_curve_radius>
    </plane3>
    <vector3>
        <id>K_vector</id>
        <gstate>defined</gstate>
        <origin>(0,0,0,1)</origin>
        <value>(0,0,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>tomato</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>steel_blue</curve_color1>
        <base_point_size>vector3_base_point_size</base_point_size>
        <base_curve_radius>vector3_base_curve_radius</base_curve_radius>
    </vector3>
    <vector3>
        <id>J_vector</id>
        <gstate>defined</gstate>
        <origin>(0,0,0,1)</origin>
        <value>(0,1,0)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>tomato</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>lawn_green</curve_color1>
        <base_point_size>vector3_base_point_size</base_point_size>
        <base_curve_radius>vector3_base_curve_radius</base_curve_radius>
    </vector3>
    <vector3>
        <id>I_vector</id>
        <gstate>defined</gstate>
        <origin>(0,0,0,1)</origin>
        <value>(1,0,0)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>tomato</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>orange_red</curve_color1>
        <base_point_size>vector3_base_point_size</base_point_size>
        <base_curve_radius>vector3_base_curve_radius</base_curve_radius>
    </vector3>
    <point3>
        <id>Z1_point</id>
        <state>no_display no_picking</state>
        <value>(0,0,1,1)</value>
    </point3>
    <point3>
        <id>Y1_point</id>
        <state>no_display no_picking</state>
        <value>(0,1,0,1)</value>
    </point3>
    <point3>
        <id>X1_point</id>
        <state>no_display no_picking</state>
        <value>(1,0,0,1)</value>
    </point3>
    <point3>
        <id>O_point</id>
        <gstate>defined</gstate>
        <value>(0,0,0,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>red</point_color>
        <graphic_layers>default_layer</graphic_layers>
        <base_point_size>point3_base_point_size</base_point_size>
    </point3>
    <ref>
        <id>document_toolbar</id>
        <target>default_document_toolbar</target>
    </ref>
    <page>
        <id>%1</id>
        <number>1</number>
        <height>29.700</height>
        <width>21.000</width>
        <views>%8</views>
    </page>
    <free_crystal_ball3>
        <id>%6</id>
        <panning>0.000 0.000</panning>
        <elevation>18.000</elevation>
        <azimuth>29.500</azimuth>
        <out_transfo>%7</out_transfo>
        <in_center>origin3</in_center>
    </free_crystal_ball3>
    <transfo3>
        <id>%7</id>
        <value>((-0.492423560103467,-0.26895470119646348,0.82775745611824492,0),(0.8703556959398997,-0.15216724850258465,0.4683226356136605,0),(0,0.95105651629515353,0.30901699437494745,0),(0,0,0,1))</value>
    </transfo3>
    <gview3>
        <id>%8</id>
        <show_locked>false</show_locked>
        <y>1.500</y>
        <x>1.500</x>
        <height>18.000</height>
        <width>18.000</width>
        <surface_clipping>default_surface_clipping_transfo3</surface_clipping>
        <projection>%7</projection>
        <optics>central_medium_lens</optics>
        <layers>default_layer</layers>
        <clipping>default_clipping_transfo3</clipping>
        <auto_rotate>no_auto_rotate</auto_rotate>
    </gview3>
    <vector_by_two_points3>
        <id>%9</id>
        <out_vector>I_vector</out_vector>
        <in_origin>O_point</in_origin>
        <in_end>X1_point</in_end>
    </vector_by_two_points3>
    <vector_by_two_points3>
        <id>%10</id>
        <out_vector>J_vector</out_vector>
        <in_origin>O_point</in_origin>
        <in_end>Y1_point</in_end>
    </vector_by_two_points3>
    <vector_by_two_points3>
        <id>%11</id>
        <out_vector>K_vector</out_vector>
        <in_origin>O_point</in_origin>
        <in_end>Z1_point</in_end>
    </vector_by_two_points3>
    <history>
        <id>%12</id>
        <font_point>10</font_point>
        <font_family>Helvetica</font_family>
        <wordwrap>1</wordwrap>
        <short_desc>0</short_desc>
        <hidden_filter>0</hidden_filter>
        <synthetic_filter>0</synthetic_filter>
    </history>
    <line3>
        <id>%13</id>
        <gstate>defined</gstate>
        <value>(-1,0,0,0,0,0)</value>
        <graphic_layers>default_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>cornflower_blue</curve_color1>
        <base_curve_radius>line3_base_curve_radius</base_curve_radius>
    </line3>
    <line_of_vector3>
        <id>%14</id>
        <out_line>%13</out_line>
        <in_vector>I_vector</in_vector>
    </line_of_vector3>
    <line3>
        <id>%15</id>
        <gstate>defined</gstate>
        <value>(0,-1,0,0,0,0)</value>
        <graphic_layers>default_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>cornflower_blue</curve_color1>
        <base_curve_radius>line3_base_curve_radius</base_curve_radius>
    </line3>
    <line_of_vector3>
        <id>%16</id>
        <out_line>%15</out_line>
        <in_vector>J_vector</in_vector>
    </line_of_vector3>
    <line3>
        <id>%17</id>
        <gstate>defined</gstate>
        <value>(0,0,-1,0,0,0)</value>
        <graphic_layers>default_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>cornflower_blue</curve_color1>
        <base_curve_radius>line3_base_curve_radius</base_curve_radius>
    </line3>
    <line_of_vector3>
        <id>%18</id>
        <out_line>%17</out_line>
        <in_vector>K_vector</in_vector>
    </line_of_vector3>
    <label_of_line3>
        <id>%66</id>
        <label_anchor>(0.98540212745212408,0.17024290649782725)</label_anchor>
        <out_label>%67</out_label>
        <in_object>%13</in_object>
    </label_of_line3>
    <glabel>
        <id>%67</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.988</y>
        <x>-0.155</x>
        <value>x</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <label_of_line3>
        <id>%68</id>
        <label_anchor>(0.96882851191849195,0.24773234446434403)</label_anchor>
        <out_label>%69</out_label>
        <in_object>%15</in_object>
    </label_of_line3>
    <glabel>
        <id>%69</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.096</y>
        <x>-0.427</x>
        <value>y</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <label_of_line3>
        <id>%70</id>
        <label_anchor>(0.98245408976391269,0.18650458843192588)</label_anchor>
        <out_label>%71</out_label>
        <in_object>%17</in_object>
    </label_of_line3>
    <glabel>
        <id>%71</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.634</y>
        <x>0.079</x>
        <value>z</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <free_point_in_space3>
        <id>%72</id>
        <position>(2,-2.8284271247461903,2,1)</position>
        <out_point>%73</out_point>
    </free_point_in_space3>
    <point3>
        <id>%73</id>
        <gstate>defined</gstate>
        <value>(2,-2.8284271247461903,2,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>red</point_color>
        <graphic_layers>default_layer</graphic_layers>
        <base_point_size>point3_base_point_size</base_point_size>
    </point3>
    <vector_by_two_points3>
        <id>%74</id>
        <out_vector>%75</out_vector>
        <in_origin>O_point</in_origin>
        <in_end>%73</in_end>
    </vector_by_two_points3>
    <vector3>
        <id>%75</id>
        <gstate>defined</gstate>
        <origin>(0,0,0,1)</origin>
        <value>(2,-2.8284271247461903,2)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>tomato</point_color>
        <graphic_layers>default_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>large_curve_radius</curve_radius>
        <curve_color1>lawn_green</curve_color1>
        <base_point_size>vector3_base_point_size</base_point_size>
        <base_curve_radius>vector3_base_curve_radius</base_curve_radius>
    </vector3>
    <angle_by_three_points3>
        <id>%76</id>
        <out_angle_mark>%78</out_angle_mark>
        <in_points>%73 O_point %81</in_points>
        <out_real>%77</out_real>
    </angle_by_three_points3>
    <real>
        <id>%77</id>
        <value>60</value>
        <angle_dimension>1</angle_dimension>
    </real>
    <angle_mark3>
        <id>%78</id>
        <gstate>defined</gstate>
        <graphic_layers>default_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>red</curve_color1>
        <base_curve_radius>angle_mark3_base_curve_radius</base_curve_radius>
    </angle_mark3>
    <label_of_angle_mark3>
        <id>%79</id>
        <out_label>%80</out_label>
        <in_target>%77</in_target>
        <in_object>%78</in_object>
    </label_of_angle_mark3>
    <glabel>
        <id>%80</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>20</font_point>
        <font_family>Arial</font_family>
        <y>0.132</y>
        <x>-0.741</x>
        <value>&lt;c3object index=0 facet=x precision=0 approx=1 unit=deg&gt;&lt;/c3object&gt;</value>
        <label_color>red</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <point3>
        <id>%81</id>
        <gstate>defined</gstate>
        <value>(0,0,4.0751193228753495,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>red</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <base_point_size>point3_base_point_size</base_point_size>
    </point3>
    <free_point_on_line3>
        <id>%82</id>
        <position>(0.97118644396133369,0.23832098326781695)</position>
        <out_point>%81</out_point>
        <in_line>%17</in_line>
    </free_point_on_line3>
    <angle_by_three_points3>
        <id>%83</id>
        <out_angle_mark>%85</out_angle_mark>
        <in_points>%73 O_point %88</in_points>
        <out_real>%84</out_real>
    </angle_by_three_points3>
    <real>
        <id>%84</id>
        <value>135</value>
        <angle_dimension>1</angle_dimension>
    </real>
    <angle_mark3>
        <id>%85</id>
        <gstate>defined</gstate>
        <graphic_layers>default_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>black</curve_color1>
        <base_curve_radius>angle_mark3_base_curve_radius</base_curve_radius>
    </angle_mark3>
    <label_of_angle_mark3>
        <id>%86</id>
        <out_label>%87</out_label>
        <in_target>%84</in_target>
        <in_object>%85</in_object>
    </label_of_angle_mark3>
    <glabel>
        <id>%87</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>20</font_point>
        <font_family>Arial</font_family>
        <y>0.025</y>
        <x>-0.023</x>
        <value>&lt;c3object index=0 facet=x precision=0 approx=1 unit=deg&gt;&lt;/c3object&gt;</value>
        <label_color>blue</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <point3>
        <id>%88</id>
        <gstate>defined</gstate>
        <value>(0,3.9070793762261955,0,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>red</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <base_point_size>point3_base_point_size</base_point_size>
    </point3>
    <free_point_on_line3>
        <id>%89</id>
        <position>(0.96877206223386103,0.24795300247254948)</position>
        <out_point>%88</out_point>
        <in_line>%15</in_line>
    </free_point_on_line3>
    <angle_by_three_points3>
        <id>%90</id>
        <out_angle_mark>%92</out_angle_mark>
        <in_points>%73 O_point %95</in_points>
        <out_real>%91</out_real>
    </angle_by_three_points3>
    <real>
        <id>%91</id>
        <value>60</value>
        <angle_dimension>1</angle_dimension>
    </real>
    <angle_mark3>
        <id>%92</id>
        <gstate>defined</gstate>
        <graphic_layers>default_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>large_curve_radius</curve_radius>
        <curve_color1>medium_blue</curve_color1>
        <base_curve_radius>angle_mark3_base_curve_radius</base_curve_radius>
    </angle_mark3>
    <label_of_angle_mark3>
        <id>%93</id>
        <out_label>%94</out_label>
        <in_target>%91</in_target>
        <in_object>%92</in_object>
    </label_of_angle_mark3>
    <glabel>
        <id>%94</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>20</font_point>
        <font_family>Arial</font_family>
        <y>-0.768</y>
        <x>-1.271</x>
        <value>&lt;c3object index=0 facet=x precision=0 approx=1 unit=deg&gt;&lt;/c3object&gt;</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <point3>
        <id>%95</id>
        <gstate>defined</gstate>
        <value>(4.7159184395195206,0,0,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>red</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <base_point_size>point3_base_point_size</base_point_size>
    </point3>
    <free_point_on_line3>
        <id>%96</id>
        <position>(0.97824870578885081,0.20743545893226245)</position>
        <out_point>%95</out_point>
        <in_line>%13</in_line>
    </free_point_on_line3>
    <label_of_point3>
        <id>%97</id>
        <out_label>%98</out_label>
        <in_object>%73</in_object>
    </label_of_point3>
    <glabel>
        <id>%98</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>20</font_point>
        <font_family>Arial</font_family>
        <y>0.212</y>
        <x>-0.159</x>
        <value>v</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <point3>
        <id>%99</id>
        <gstate>defined</gstate>
        <value>(0.90584923365072367,-1.2810642716941281,0.90584923365072367,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>red</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <base_point_size>point3_base_point_size</base_point_size>
    </point3>
    <free_point_on_line3>
        <id>%100</id>
        <position>(0.41257893189499545,0.91092185447292051)</position>
        <out_point>%99</out_point>
        <in_line>%75</in_line>
    </free_point_on_line3>
    <plane_bisector_by_three_points3>
        <id>%101</id>
        <out_plane>%102</out_plane>
        <in_points>%99 O_point %103</in_points>
    </plane_bisector_by_three_points3>
    <plane3>
        <id>%102</id>
        <gstate>defined</gstate>
        <value>(0.50000000000000022,0.70710678118654735,-0.49999999999999978,-3.6082248300317588e-16)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>light_steel_blue</surface_color1>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>dim_gray</curve_color1>
        <base_surface_thickness>plane3_base_surface_thickness</base_surface_thickness>
        <base_curve_radius>plane3_base_curve_radius</base_curve_radius>
    </plane3>
    <point3>
        <id>%103</id>
        <gstate>defined</gstate>
        <value>(2.5455923297465026,0,0,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>red</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <base_point_size>point3_base_point_size</base_point_size>
    </point3>
    <free_point_on_line3>
        <id>%104</id>
        <position>(0.93075822901026484,0.3656352268719133)</position>
        <out_point>%103</out_point>
        <in_line>%13</in_line>
    </free_point_on_line3>
    <plane_by_two_coplanar_lines3>
        <id>%105</id>
        <out_plane>%106</out_plane>
        <in_lines>%13 %75</in_lines>
    </plane_by_two_coplanar_lines3>
    <plane3>
        <id>%106</id>
        <gstate>defined</gstate>
        <value>(0,-0.57735026918962584,-0.81649658092772592,0)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>light_steel_blue</surface_color1>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>dim_gray</curve_color1>
        <base_surface_thickness>plane3_base_surface_thickness</base_surface_thickness>
        <base_curve_radius>plane3_base_curve_radius</base_curve_radius>
    </plane3>
    <point3>
        <id>%107</id>
        <gstate>defined</gstate>
        <value>(0.84594978938035836,-0.39878455507612193,0.28198326312678612,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>red</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <base_point_size>point3_base_point_size</base_point_size>
    </point3>
    <free_point_on_line3>
        <id>%108</id>
        <position>(0.69876679380977647,-0.71534954243978199)</position>
        <out_point>%107</out_point>
        <in_line>%109</in_line>
    </free_point_on_line3>
    <line3>
        <id>%109</id>
        <gstate>defined</gstate>
        <value>(-0.86602540378443837,0.40824829046386313,-0.28867513459481303,0,2.0832095769155278e-16,2.9461032369394562e-16)</value>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>cornflower_blue</curve_color1>
        <base_curve_radius>line3_base_curve_radius</base_curve_radius>
    </line3>
    <line_by_two_planes3>
        <id>%110</id>
        <out_line>%109</out_line>
        <in_planes>%102 %106</in_planes>
    </line_by_two_planes3>
    <label_of_point3>
        <id>%111</id>
        <out_label>%112</out_label>
        <in_object>%107</in_object>
    </label_of_point3>
    <glabel>
        <id>%112</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>20</font_point>
        <font_family>Arial</font_family>
        <y>-0.741</y>
        <x>-0.979</x>
        <value>&#952;</value>
        <label_color>black</label_color>
        <graphic_layers>hidden_layer</graphic_layers>
    </glabel>
</document>
