<?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>
            <hidden>1</hidden>
            <dockinfo>1</dockinfo>
            <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>hidden_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>26.000</azimuth>
        <out_transfo>%7</out_transfo>
        <in_center>origin3</in_center>
    </free_crystal_ball3>
    <transfo3>
        <id>%7</id>
        <value>((-0.43837114678907752,-0.27774263474946592,0.85480393454011061,0),(0.89879404629916693,-0.13546413420145964,0.41691573570953144,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>16.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>
    <regular_polygon_on_plane_by_center_and_point3>
        <id>%13</id>
        <vertex_position>(0.71141712795584666,-0.66290681353136061,0.23332429497322532)(3.0490486558096488,-2.8411392547331222,0)</vertex_position>
        <symbol>{3}</symbol>
        <out_subplane>%14</out_subplane>
        <in_plane>Z0_Plane</in_plane>
        <in_center>O_point</in_center>
    </regular_polygon_on_plane_by_center_and_point3>
    <subplane3>
        <id>%14</id>
        <gstate>defined</gstate>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>light_green</surface_color1>
        <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>green</curve_color1>
        <base_surface_thickness>subplane3_base_surface_thickness</base_surface_thickness>
        <base_point_size>subplane3_base_point_size</base_point_size>
        <base_curve_radius>subplane3_base_curve_radius</base_curve_radius>
    </subplane3>
    <line3>
        <id>%15</id>
        <gstate>defined</gstate>
        <value>(0,0,-1,0,0,0)</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_of_vector3>
        <id>%16</id>
        <out_line>%15</out_line>
        <in_vector>K_vector</in_vector>
    </line_of_vector3>
    <vector_by_two_points3>
        <id>%17</id>
        <out_vector>%18</out_vector>
        <in_origin>O_point</in_origin>
        <in_end>%19</in_end>
    </vector_by_two_points3>
    <vector3>
        <id>%18</id>
        <gstate>defined</gstate>
        <origin>(0,0,0,1)</origin>
        <value>(0,0,5.9196191932287894)</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>green</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>%19</id>
        <gstate>defined</gstate>
        <value>(0,0,5.9196191932287894,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>%20</id>
        <position>(0.98602966905573963,0.16656978039797202)</position>
        <out_point>%19</out_point>
        <in_line>%15</in_line>
    </free_point_on_line3>
    <polynet_product_of_subplane_and_vector3>
        <id>%21</id>
        <out_polynet>%22</out_polynet>
        <in_vector>%18</in_vector>
        <in_subplane>%14</in_subplane>
    </polynet_product_of_subplane_and_vector3>
    <polynet3>
        <id>%22</id>
        <gstate>no_hidden defined</gstate>
        <value>(
  F(G,X(0.93597444238324812,4.0611232206725116,5.9196191932287894),Q(0.65795332663804662,0.25903169683636773,0.65795332663804662,-0.25903169683636784),D1),
    F(G,X(-3.985023098192896,-1.2199839659393874,5.9196191932287894),Q(0,0.99359314011955213,-0.11301624620986171,0),D1),
    F(G,X(0.93597444238324812,4.0611232206725116,0),Q(0.80396877726455263,0,0,-0.59467151031787302),D1),
    F(G,X(3.0490486558096488,-2.8411392547331222,0),Q(-0.44028844695484498,0.55330469316470698,0.44028844695484498,0.55330469316470687),D1),
    F(G,X(0.93597444238324812,4.0611232206725116,0),Q(0.69932014379121288,0.10464863347333979,-0.69932014379121277,0.10464863347333965),D1),
  L(1,0,0,0,270),
  L(1,1,4,2,270),
  L(2,0,0,2,270),
  L(2,2,4,0,270),
  L(3,0,2,1,270),
  L(3,1,0,1,300),
  L(3,2,1,2,270),
  L(3,3,4,1,300),
  L(4,3,0,3,299.99999999999994)
)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>small_hatch_surface_style</surface_style>
        <surface_color1>alice_blue</surface_color1>
        <point_style>no_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>normal_curve_radius</curve_radius>
        <curve_color1>midnight_blue</curve_color1>
        <base_surface_thickness>polynet3_base_surface_thickness</base_surface_thickness>
        <base_point_size>polynet3_base_point_size</base_point_size>
        <base_curve_radius>polynet3_base_curve_radius</base_curve_radius>
    </polynet3>
    <point3>
        <id>%23</id>
        <gstate>defined</gstate>
        <value>(3.0490486558096492,-2.8411392547331218,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>
    <vertex_of_polynet3>
        <id>%24</id>
        <position>(2,2)</position>
        <out_point>%23</out_point>
        <in_polynet>%22</in_polynet>
    </vertex_of_polynet3>
    <point3>
        <id>%25</id>
        <gstate>defined</gstate>
        <value>(0.93597444238324812,4.0611232206725108,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>
    <vertex_of_polynet3>
        <id>%26</id>
        <position>(0,3)</position>
        <out_point>%25</out_point>
        <in_polynet>%22</in_polynet>
    </vertex_of_polynet3>
    <point3>
        <id>%27</id>
        <gstate>defined</gstate>
        <value>(-3.9850230981928974,-1.2199839659393863,8.8817841970012523e-16,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>
    <vertex_of_polynet3>
        <id>%28</id>
        <position>(0,2)</position>
        <out_point>%27</out_point>
        <in_polynet>%22</in_polynet>
    </vertex_of_polynet3>
    <point3>
        <id>%29</id>
        <gstate>defined</gstate>
        <value>(0.93597444238324812,4.0611232206725108,5.9196191932287894,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>
    <vertex_of_polynet3>
        <id>%30</id>
        <position>(0,0)</position>
        <out_point>%29</out_point>
        <in_polynet>%22</in_polynet>
    </vertex_of_polynet3>
    <point3>
        <id>%31</id>
        <gstate>defined</gstate>
        <value>(-3.9850230981928974,-1.2199839659393854,5.9196191932287903,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>
    <vertex_of_polynet3>
        <id>%32</id>
        <position>(0,1)</position>
        <out_point>%31</out_point>
        <in_polynet>%22</in_polynet>
    </vertex_of_polynet3>
    <point3>
        <id>%33</id>
        <gstate>defined</gstate>
        <value>(3.0490486558096475,-2.8411392547331209,5.9196191932287894,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>
    <vertex_of_polynet3>
        <id>%34</id>
        <position>(1,2)</position>
        <out_point>%33</out_point>
        <in_polynet>%22</in_polynet>
    </vertex_of_polynet3>
    <label_of_point3>
        <id>%35</id>
        <out_label>%36</out_label>
        <in_object>%23</in_object>
    </label_of_point3>
    <glabel>
        <id>%36</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.344</y>
        <x>-0.953</x>
        <value>A</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%37</id>
        <out_label>%38</out_label>
        <in_object>%25</in_object>
    </label_of_point3>
    <glabel>
        <id>%38</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.609</y>
        <x>0.079</x>
        <value>B</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%39</id>
        <out_label>%40</out_label>
        <in_object>%27</in_object>
    </label_of_point3>
    <glabel>
        <id>%40</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.397</y>
        <x>0.026</x>
        <value>C</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%41</id>
        <out_label>%42</out_label>
        <in_object>%33</in_object>
    </label_of_point3>
    <glabel>
        <id>%42</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.318</y>
        <x>-0.794</x>
        <value>D</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%43</id>
        <out_label>%44</out_label>
        <in_object>%29</in_object>
    </label_of_point3>
    <glabel>
        <id>%44</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.344</y>
        <x>0.106</x>
        <value>E</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%45</id>
        <out_label>%46</out_label>
        <in_object>%31</in_object>
    </label_of_point3>
    <glabel>
        <id>%46</id>
        <gstate>defined</gstate>
        <font_style>italic</font_style>
        <font_point>22</font_point>
        <font_family>Euclid</font_family>
        <y>-0.132</y>
        <x>-0.318</x>
        <value>F</value>
        <label_color>black</label_color>
        <graphic_layers>default_layer</graphic_layers>
    </glabel>
</document>
