<?xml version="1.0" encoding="UTF-8"?>
<document>
    <cabriml_version>1.1.0 (242,Windows NT)</cabriml_version>
    <display_scale>1.000</display_scale>
    <active_view>%8</active_view>
    <active_page>%1</active_page>
    <plane3>
        <id>Z0_Plane</id>
        <gstate>defined</gstate>
        <value>(0,0,1,0)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>no_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>
    <settings>
        <id>doc_settings</id>
        <window_y_offset>94</window_y_offset>
        <window_x_offset>120</window_x_offset>
        <settings>
            <id>document_window</id>
            <hidden>0</hidden>
            <width>654</width>
            <height>533</height>
            <y>-29</y>
            <x>-4</x>
            <state>2</state>
        </settings>
    </settings>
    <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>
        <elevation>17.500</elevation>
        <azimuth>235.145</azimuth>
        <out_transfo>%7</out_transfo>
        <in_center>origin3</in_center>
    </free_crystal_ball3>
    <transfo3>
        <id>%7</id>
        <value>((0.82060098519033131,0.17185383089274636,-0.54505071682564088,0),(-0.57150155127056101,0.24675947532565271,-0.78262106937671372,0),(0,0.95371695074822693,0.30070579950427306,0),(0,0,0,1))</value>
    </transfo3>
    <gview3>
        <id>%8</id>
        <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>
    <point3>
        <id>%15</id>
        <gstate>defined</gstate>
        <value>(-5.2755533417952956,-5.0759092474993537,0,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>very_small_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_plane3>
        <id>%16</id>
        <position>(-0.71398048622721588,-0.68696114279862675,0.13533755418047674)</position>
        <out_point>%15</out_point>
        <in_plane>Z0_Plane</in_plane>
    </free_point_on_plane3>
    <object_image_by_translation3>
        <id>%17</id>
        <out_object>%18</out_object>
        <in_vector>J_vector</in_vector>
        <in_object>%15</in_object>
    </object_image_by_translation3>
    <point3>
        <id>%18</id>
        <gstate>defined</gstate>
        <value>(-5.2755533417952956,-4.0759092474993537,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>
    <ray_by_two_points3>
        <id>%19</id>
        <out_subline>%20</out_subline>
        <in_point>%18</in_point>
        <in_origin>%15</in_origin>
    </ray_by_two_points3>
    <subline3>
        <id>%20</id>
        <gstate>defined</gstate>
        <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>small_curve_radius</curve_radius>
        <curve_color1>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <point3>
        <id>%21</id>
        <gstate>defined</gstate>
        <value>(-5.2755533417952965,-4.134005768743215,0,1)</value>
        <point_style>sphere_point_style</point_style>
        <point_size>very_small_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>%22</id>
        <position>(0.68564527786827723,0.72793581649547434)</position>
        <out_point>%21</out_point>
        <in_line>%20</in_line>
    </free_point_on_line3>
    <vector_by_two_points3>
        <id>%23</id>
        <out_vector>%24</out_vector>
        <in_origin>%15</in_origin>
        <in_end>%21</in_end>
    </vector_by_two_points3>
    <vector3>
        <id>%24</id>
        <gstate>defined</gstate>
        <origin>(-5.2755533417952956,-5.0759092474993537,0,1)</origin>
        <value>(-1.3897599448370834e-15,0.941903478756138,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>green</curve_color1>
        <base_point_size>vector3_base_point_size</base_point_size>
        <base_curve_radius>vector3_base_curve_radius</base_curve_radius>
    </vector3>
    <label_of_point3>
        <id>%29</id>
        <out_label>%30</out_label>
        <in_object>O_point</in_object>
    </label_of_point3>
    <glabel>
        <id>%30</id>
        <gstate>defined</gstate>
        <font_style>bold italic</font_style>
        <font_point>14</font_point>
        <font_family>Helvetica</font_family>
        <y>-0.834</y>
        <x>-0.119</x>
        <value>O</value>
        <label_color>black</label_color>
        <graphic_layers>hidden_layer</graphic_layers>
    </glabel>
    <point3>
        <id>%31</id>
        <gstate>defined</gstate>
        <value>(0,1,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>
    <vertex_of_vector3>
        <id>%32</id>
        <position>(1)</position>
        <out_point>%31</out_point>
        <in_vector>J_vector</in_vector>
    </vertex_of_vector3>
    <point3>
        <id>%33</id>
        <gstate>defined</gstate>
        <value>(1,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>
    <vertex_of_vector3>
        <id>%34</id>
        <position>(1)</position>
        <out_point>%33</out_point>
        <in_vector>I_vector</in_vector>
    </vertex_of_vector3>
    <point3>
        <id>%35</id>
        <gstate>defined</gstate>
        <value>(0,0,1,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>
    <vertex_of_vector3>
        <id>%36</id>
        <position>(1)</position>
        <out_point>%35</out_point>
        <in_vector>K_vector</in_vector>
    </vertex_of_vector3>
    <label_of_point3>
        <id>%37</id>
        <out_label>%38</out_label>
        <in_object>%31</in_object>
    </label_of_point3>
    <glabel>
        <id>%38</id>
        <gstate>defined</gstate>
        <font_style>bold italic</font_style>
        <font_point>14</font_point>
        <font_family>Helvetica</font_family>
        <y>-0.372</y>
        <x>0.221</x>
        <value>X</value>
        <label_color>black</label_color>
        <graphic_layers>hidden_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%39</id>
        <out_label>%40</out_label>
        <in_object>%33</in_object>
    </label_of_point3>
    <glabel>
        <id>%40</id>
        <gstate>defined</gstate>
        <font_style>bold italic</font_style>
        <font_point>14</font_point>
        <font_family>Helvetica</font_family>
        <y>-0.521</y>
        <x>-0.823</x>
        <value>Y</value>
        <label_color>black</label_color>
        <graphic_layers>hidden_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%41</id>
        <out_label>%42</out_label>
        <in_object>%35</in_object>
    </label_of_point3>
    <glabel>
        <id>%42</id>
        <gstate>defined</gstate>
        <font_style>bold italic</font_style>
        <font_point>14</font_point>
        <font_family>Helvetica</font_family>
        <y>0.246</y>
        <x>-0.437</x>
        <value>Z</value>
        <label_color>black</label_color>
        <graphic_layers>hidden_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%43</id>
        <out_label>%44</out_label>
        <in_object>%15</in_object>
    </label_of_point3>
    <glabel>
        <id>%44</id>
        <gstate>defined</gstate>
        <font_style>bold italic</font_style>
        <font_point>14</font_point>
        <font_family>Helvetica</font_family>
        <y>0.132</y>
        <x>-0.371</x>
        <value>O&apos;</value>
        <label_color>black</label_color>
        <graphic_layers>hidden_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%45</id>
        <out_label>%46</out_label>
        <in_object>%18</in_object>
    </label_of_point3>
    <glabel>
        <id>%46</id>
        <gstate>defined</gstate>
        <font_style>bold italic</font_style>
        <font_point>14</font_point>
        <font_family>Helvetica</font_family>
        <y>0.190</y>
        <x>-0.275</x>
        <value>X&apos;</value>
        <label_color>black</label_color>
        <graphic_layers>hidden_layer</graphic_layers>
    </glabel>
    <label_of_point3>
        <id>%47</id>
        <out_label>%48</out_label>
        <in_object>%21</in_object>
    </label_of_point3>
    <glabel>
        <id>%48</id>
        <gstate>defined</gstate>
        <font_style>bold italic</font_style>
        <font_point>14</font_point>
        <font_family>Helvetica</font_family>
        <y>-0.276</y>
        <x>-0.735</x>
        <value>S</value>
        <label_color>black</label_color>
        <graphic_layers>hidden_layer</graphic_layers>
    </glabel>
    <object_image_by_translation3>
        <id>%49</id>
        <out_object>%50</out_object>
        <in_vector>%24</in_vector>
        <in_object>O_point</in_object>
    </object_image_by_translation3>
    <point3>
        <id>%50</id>
        <gstate>defined</gstate>
        <value>(-1.3897599448370834e-15,0.941903478756138,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>
    <object_image_by_point_reflection3>
        <id>%51</id>
        <out_object>%52</out_object>
        <in_center>%50</in_center>
        <in_object>O_point</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%52</id>
        <gstate>defined</gstate>
        <value>(-2.7795198896741668e-15,1.883806957512276,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>
    <object_image_by_point_reflection3>
        <id>%53</id>
        <out_object>%54</out_object>
        <in_center>%52</in_center>
        <in_object>%50</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%54</id>
        <gstate>defined</gstate>
        <value>(-4.16927983451125e-15,2.8257104362684142,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>
    <object_image_by_point_reflection3>
        <id>%55</id>
        <out_object>%56</out_object>
        <in_center>%54</in_center>
        <in_object>%52</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%56</id>
        <gstate>defined</gstate>
        <value>(-5.5590397793483344e-15,3.7676139150245529,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>
    <object_image_by_point_reflection3>
        <id>%57</id>
        <out_object>%58</out_object>
        <in_center>O_point</in_center>
        <in_object>%50</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%58</id>
        <gstate>defined</gstate>
        <value>(1.3897599448370834e-15,-0.941903478756138,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>
    <object_image_by_point_reflection3>
        <id>%59</id>
        <out_object>%60</out_object>
        <in_center>O_point</in_center>
        <in_object>%52</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%60</id>
        <gstate>defined</gstate>
        <value>(2.7795198896741668e-15,-1.883806957512276,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>
    <object_image_by_point_reflection3>
        <id>%61</id>
        <out_object>%62</out_object>
        <in_center>O_point</in_center>
        <in_object>%54</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%62</id>
        <gstate>defined</gstate>
        <value>(4.16927983451125e-15,-2.8257104362684142,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>
    <object_image_by_point_reflection3>
        <id>%63</id>
        <out_object>%64</out_object>
        <in_center>O_point</in_center>
        <in_object>%56</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%64</id>
        <gstate>defined</gstate>
        <value>(5.5590397793483344e-15,-3.7676139150245529,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>
    <line_by_two_points3>
        <id>%68</id>
        <out_line>%69</out_line>
        <in_points>%64 %56</in_points>
    </line_by_two_points3>
    <line3>
        <id>%69</id>
        <gstate>defined</gstate>
        <value>(1.4754802123380804e-15,-0.99999999999999989,0,0,0,0)</value>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>very_small_curve_radius</curve_radius>
        <curve_color1>black</curve_color1>
        <base_curve_radius>line3_base_curve_radius</base_curve_radius>
    </line3>
    <object_image_by_point_reflection3>
        <id>%70</id>
        <out_object>%71</out_object>
        <in_center>%56</in_center>
        <in_object>%54</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%71</id>
        <gstate>defined</gstate>
        <value>(-6.9487997241854188e-15,4.7095173937806907,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>
    <object_image_by_point_reflection3>
        <id>%72</id>
        <out_object>%73</out_object>
        <in_center>%71</in_center>
        <in_object>%56</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%73</id>
        <gstate>defined</gstate>
        <value>(-8.3385596690225031e-15,5.6514208725368293,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>
    <object_image_by_point_reflection3>
        <id>%74</id>
        <out_object>%75</out_object>
        <in_center>%71</in_center>
        <in_object>%56</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%75</id>
        <gstate>defined</gstate>
        <value>(-8.3385596690225031e-15,5.6514208725368293,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>
    <object_image_by_point_reflection3>
        <id>%76</id>
        <out_object>%77</out_object>
        <in_center>%75</in_center>
        <in_object>%71</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%77</id>
        <gstate>defined</gstate>
        <value>(-9.7283196138595867e-15,6.593324351292968,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>
    <object_image_by_point_reflection3>
        <id>%78</id>
        <out_object>%79</out_object>
        <in_center>%77</in_center>
        <in_object>%75</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%79</id>
        <gstate>defined</gstate>
        <value>(-1.111807955869667e-14,7.5352278300491067,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>
    <object_image_by_point_reflection3>
        <id>%80</id>
        <out_object>%81</out_object>
        <in_center>%64</in_center>
        <in_object>%62</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%81</id>
        <gstate>defined</gstate>
        <value>(6.9487997241854188e-15,-4.7095173937806907,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>
    <object_image_by_point_reflection3>
        <id>%82</id>
        <out_object>%83</out_object>
        <in_center>%81</in_center>
        <in_object>%64</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%83</id>
        <gstate>defined</gstate>
        <value>(8.3385596690225031e-15,-5.6514208725368293,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>
    <object_image_by_point_reflection3>
        <id>%84</id>
        <out_object>%85</out_object>
        <in_center>%83</in_center>
        <in_object>%81</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%85</id>
        <gstate>defined</gstate>
        <value>(9.7283196138595867e-15,-6.593324351292968,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>
    <object_image_by_point_reflection3>
        <id>%86</id>
        <out_object>%87</out_object>
        <in_center>%85</in_center>
        <in_object>%83</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%87</id>
        <gstate>defined</gstate>
        <value>(1.111807955869667e-14,-7.5352278300491067,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>
    <object_image_by_point_reflection3>
        <id>%88</id>
        <out_object>%89</out_object>
        <in_center>%87</in_center>
        <in_object>%85</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%89</id>
        <gstate>defined</gstate>
        <value>(1.2507839503533754e-14,-8.4771313088052462,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>
    <object_image_by_point_reflection3>
        <id>%90</id>
        <out_object>%91</out_object>
        <in_center>%79</in_center>
        <in_object>%77</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%91</id>
        <gstate>defined</gstate>
        <value>(-1.2507839503533754e-14,8.4771313088052462,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>
    <point_middle_of_two_points3>
        <id>%92</id>
        <out_point>%93</out_point>
        <in_points>%54 %56</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%93</id>
        <gstate>defined</gstate>
        <value>(-4.8641598069297934e-15,3.296662175646484,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>
    <point_middle_of_two_points3>
        <id>%94</id>
        <out_point>%95</out_point>
        <in_points>%93 %56</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%95</id>
        <gstate>defined</gstate>
        <value>(-5.2115997931390643e-15,3.5321380453355182,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>
    <object_image_by_point_reflection3>
        <id>%96</id>
        <out_object>%97</out_object>
        <in_center>O_point</in_center>
        <in_object>%95</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%97</id>
        <gstate>defined</gstate>
        <value>(5.2115997931390643e-15,-3.5321380453355182,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>
    <segment_by_two_points3>
        <id>%98</id>
        <out_subline>%99</out_subline>
        <in_points>%97 %95</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%99</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <plane_perpendicular_to_line_by_point3>
        <id>%100</id>
        <out_plane>%101</out_plane>
        <in_point>%95</in_point>
        <in_line>%69</in_line>
    </plane_perpendicular_to_line_by_point3>
    <plane3>
        <id>%101</id>
        <gstate>defined</gstate>
        <value>(-1.4754802123380804e-15,0.99999999999999989,0,-3.5321380453355178)</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>
    <line_by_two_planes3>
        <id>%102</id>
        <out_line>%103</out_line>
        <in_planes>%101 Z0_Plane</in_planes>
    </line_by_two_planes3>
    <line3>
        <id>%103</id>
        <gstate>defined</gstate>
        <value>(0.99999999999999989,1.4754802123380804e-15,0,0,0,-3.5321380453355178)</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>
    <object_image_by_point_reflection3>
        <id>%104</id>
        <out_object>%105</out_object>
        <in_center>O_point</in_center>
        <in_object>%103</in_object>
    </object_image_by_point_reflection3>
    <line3>
        <id>%105</id>
        <gstate>defined</gstate>
        <value>(0.27240778330967219,4.0193229396030099e-16,0,0,0,0.96218189527360698)</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>
    <circle_on_plane_by_center_and_radius3>
        <id>%106</id>
        <out_conic>%107</out_conic>
        <in_radius>%24</in_radius>
        <in_plane>Z0_Plane</in_plane>
        <in_center>%95</in_center>
    </circle_on_plane_by_center_and_radius3>
    <conic3>
        <id>%107</id>
        <gstate>defined</gstate>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>orange</curve_color1>
        <base_curve_radius>conic3_base_curve_radius</base_curve_radius>
    </conic3>
    <point3>
        <id>%108</id>
        <gstate>defined</gstate>
        <value>(0.94190347875613134,3.5321380453355196,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>
    <point3>
        <id>%109</id>
        <gstate>defined</gstate>
        <value>(-0.94190347875614333,3.5321380453355165,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>
    <points_by_line_and_conic3>
        <id>%110</id>
        <out_points>%109 %108</out_points>
        <in_line>%103</in_line>
        <in_conic>%107</in_conic>
    </points_by_line_and_conic3>
    <line_parallel_to_line_by_point3>
        <id>%111</id>
        <out_line>%112</out_line>
        <in_point>%108</in_point>
        <in_line>%99</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%112</id>
        <gstate>defined</gstate>
        <value>(1.0740548930912373e-15,-0.7279358164954749,0,0,0,-0.68564527786827645)</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_parallel_to_line_by_point3>
        <id>%113</id>
        <out_line>%114</out_line>
        <in_point>%109</in_point>
        <in_line>%99</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%114</id>
        <gstate>defined</gstate>
        <value>(1.0740548930912367e-15,-0.72793581649547445,0,0,0,0.68564527786827711)</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>
    <point_middle_of_two_points3>
        <id>%115</id>
        <out_point>%116</out_point>
        <in_points>%108 %95</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%116</id>
        <gstate>defined</gstate>
        <value>(0.47095173937806295,3.5321380453355187,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>
    <point_middle_of_two_points3>
        <id>%117</id>
        <out_point>%118</out_point>
        <in_points>%108 %116</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%118</id>
        <gstate>defined</gstate>
        <value>(0.70642760906709723,3.5321380453355196,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>
    <object_image_by_point_reflection3>
        <id>%119</id>
        <out_object>%120</out_object>
        <in_center>%108</in_center>
        <in_object>%118</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%120</id>
        <gstate>defined</gstate>
        <value>(1.1773793484451653,3.53213804533552,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>
    <object_image_by_point_reflection3>
        <id>%121</id>
        <out_object>%122</out_object>
        <in_center>%95</in_center>
        <in_object>%120</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%122</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451758,3.5321380453355165,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>
    <line_parallel_to_line_by_point3>
        <id>%123</id>
        <out_line>%124</out_line>
        <in_point>%120</in_point>
        <in_line>%99</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%124</id>
        <gstate>defined</gstate>
        <value>(9.5516402069899761e-16,-0.64735806872355295,0,0,0,-0.76218602116446066)</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_parallel_to_line_by_point3>
        <id>%125</id>
        <out_line>%126</out_line>
        <in_point>%122</in_point>
        <in_line>%99</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%126</id>
        <gstate>defined</gstate>
        <value>(9.5516402069899761e-16,-0.64735806872355295,0,0,0,0.76218602116446088)</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>
    <object_image_by_translation3>
        <id>%127</id>
        <out_object>%128</out_object>
        <in_vector>%24</in_vector>
        <in_object>%120</in_object>
    </object_image_by_translation3>
    <point3>
        <id>%128</id>
        <gstate>defined</gstate>
        <value>(1.1773793484451642,4.4740415240916587,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>
    <object_image_by_translation3>
        <id>%129</id>
        <out_object>%130</out_object>
        <in_vector>%24</in_vector>
        <in_object>%128</in_object>
    </object_image_by_translation3>
    <point3>
        <id>%130</id>
        <gstate>defined</gstate>
        <value>(1.1773793484451625,5.4159450028477947,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>
    <object_image_by_line_reflection3>
        <id>%131</id>
        <out_object>%132</out_object>
        <in_line>%69</in_line>
        <in_object>%130</in_object>
    </object_image_by_line_reflection3>
    <point3>
        <id>%132</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451784,5.4159450028477911,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>
    <segment_by_two_points3>
        <id>%133</id>
        <out_subline>%134</out_subline>
        <in_points>%122 %109</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%134</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <segment_by_two_points3>
        <id>%135</id>
        <out_subline>%136</out_subline>
        <in_points>%122 %132</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%136</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <line_by_two_points3>
        <id>%137</id>
        <out_line>%138</out_line>
        <in_points>%132 %130</in_points>
    </line_by_two_points3>
    <line3>
        <id>%138</id>
        <gstate>defined</gstate>
        <value>(-0.18157087282221918,-3.3941822104859846e-16,0,0,0,0.98337786132421012)</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>
    <point_by_two_coplanar_lines3>
        <id>%139</id>
        <out_point>%140</out_point>
        <in_lines>%138 %114</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%140</id>
        <gstate>defined</gstate>
        <value>(-0.94190347875614588,5.4159450028477911,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>
    <point_by_two_coplanar_lines3>
        <id>%141</id>
        <out_point>%142</out_point>
        <in_lines>%138 %112</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%142</id>
        <gstate>defined</gstate>
        <value>(0.94190347875612845,5.4159450028477938,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>
    <object_image_by_point_reflection3>
        <id>%143</id>
        <out_object>%144</out_object>
        <in_center>O_point</in_center>
        <in_object>%138</in_object>
    </object_image_by_point_reflection3>
    <line3>
        <id>%144</id>
        <gstate>defined</gstate>
        <value>(0.18157087282221918,3.3941822104859846e-16,0,0,0,0.98337786132421012)</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>
    <point_by_two_coplanar_lines3>
        <id>%145</id>
        <out_point>%146</out_point>
        <in_lines>%105 %126</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%146</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451653,-3.5321380453355205,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>
    <point_by_two_coplanar_lines3>
        <id>%147</id>
        <out_point>%148</out_point>
        <in_lines>%105 %114</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%148</id>
        <gstate>defined</gstate>
        <value>(-0.9419034787561329,-3.5321380453355191,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>
    <point_by_two_coplanar_lines3>
        <id>%149</id>
        <out_point>%150</out_point>
        <in_lines>%105 %124</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%150</id>
        <gstate>defined</gstate>
        <value>(1.1773793484451753,-3.5321380453355165,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>
    <point_by_two_coplanar_lines3>
        <id>%151</id>
        <out_point>%152</out_point>
        <in_lines>%105 %112</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%152</id>
        <gstate>defined</gstate>
        <value>(0.94190347875614178,-3.5321380453355173,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>
    <point_by_two_coplanar_lines3>
        <id>%153</id>
        <out_point>%154</out_point>
        <in_lines>%144 %124</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%154</id>
        <gstate>defined</gstate>
        <value>(1.1773793484451782,-5.4159450028477902,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>
    <point_by_two_coplanar_lines3>
        <id>%155</id>
        <out_point>%156</out_point>
        <in_lines>%144 %112</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%156</id>
        <gstate>defined</gstate>
        <value>(0.94190347875614433,-5.4159450028477902,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>
    <point_by_two_coplanar_lines3>
        <id>%157</id>
        <out_point>%158</out_point>
        <in_lines>%144 %114</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%158</id>
        <gstate>defined</gstate>
        <value>(-0.94190347875613001,-5.4159450028477938,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>
    <point_by_two_coplanar_lines3>
        <id>%159</id>
        <out_point>%160</out_point>
        <in_lines>%144 %126</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%160</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451627,-5.4159450028477947,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>
    <line_perpendicular_to_plane_by_point3>
        <id>%161</id>
        <out_line>%162</out_line>
        <in_point>%122</in_point>
        <in_plane>Z0_Plane</in_plane>
    </line_perpendicular_to_plane_by_point3>
    <line3>
        <id>%162</id>
        <gstate>defined</gstate>
        <value>(0,0,-0.25939293198496083,-0.91621164375520814,-0.30540388125173701,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>
    <sphere_by_center_and_radius3>
        <id>%163</id>
        <out_quadric>%164</out_quadric>
        <in_radius>%24</in_radius>
        <in_center>%122</in_center>
    </sphere_by_center_and_radius3>
    <quadric3>
        <id>%164</id>
        <gstate>defined</gstate>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>small_hatch_surface_style</surface_style>
        <surface_color1>violet</surface_color1>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>tomato</curve_color1>
        <base_surface_thickness>quadric3_base_surface_thickness</base_surface_thickness>
        <base_curve_radius>quadric3_base_curve_radius</base_curve_radius>
    </quadric3>
    <points_by_line_and_quadric3>
        <id>%165</id>
        <out_points>%166 %167</out_points>
        <in_quadric>%164</in_quadric>
        <in_line>%162</in_line>
    </points_by_line_and_quadric3>
    <point3>
        <id>%166</id>
        <gstate>defined</gstate>
        <value>(-1.177379348445176,3.5321380453355169,-0.94190347875616431,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>
    <point3>
        <id>%167</id>
        <gstate>defined</gstate>
        <value>(-1.177379348445176,3.5321380453355169,0.94190347875616431,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>
    <object_image_by_point_reflection3>
        <id>%168</id>
        <out_object>%169</out_object>
        <in_center>%167</in_center>
        <in_object>%122</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%169</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451758,3.5321380453355173,1.8838069575123284,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>
    <object_image_by_point_reflection3>
        <id>%170</id>
        <out_object>%171</out_object>
        <in_center>%169</in_center>
        <in_object>%167</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%171</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451753,3.5321380453355173,2.8257104362684924,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>
    <object_image_by_point_reflection3>
        <id>%172</id>
        <out_object>%173</out_object>
        <in_center>%171</in_center>
        <in_object>%169</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%173</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451749,3.5321380453355182,3.7676139150246564,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>
    <object_image_by_point_reflection3>
        <id>%174</id>
        <out_object>%175</out_object>
        <in_center>%173</in_center>
        <in_object>%171</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%175</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451744,3.5321380453355191,4.7095173937808204,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>
    <polygon_by_n_coplanar_points3>
        <id>%176</id>
        <out_subplane>%177</out_subplane>
        <in_points>%132 %130 %120 %122</in_points>
    </polygon_by_n_coplanar_points3>
    <subplane3>
        <id>%177</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>no_point_style</point_style>
        <point_size>normal_point_size</point_size>
        <point_color>tomato</point_color>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>no_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>
    <vector_by_two_points3>
        <id>%178</id>
        <out_vector>%179</out_vector>
        <in_origin>%122</in_origin>
        <in_end>%166</in_end>
    </vector_by_two_points3>
    <vector3>
        <id>%179</id>
        <gstate>defined</gstate>
        <origin>(-1.1773793484451758,3.5321380453355165,0,1)</origin>
        <value>(0,4.2464318125565165e-16,-0.94190347875616431)</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>magenta</curve_color1>
        <base_point_size>vector3_base_point_size</base_point_size>
        <base_curve_radius>vector3_base_curve_radius</base_curve_radius>
    </vector3>
    <polynet_product_of_subplane_and_vector3>
        <id>%180</id>
        <out_polynet>%181</out_polynet>
        <in_vector>%179</in_vector>
        <in_subplane>%177</in_subplane>
    </polynet_product_of_subplane_and_vector3>
    <polynet3>
        <id>%181</id>
        <gstate>no_hidden defined</gstate>
        <value>(
  F(G,X(-1.1773793484451784,5.4159450028477911,-0.94190347875616431),Q(0.50000000000000033,0.50000000000000022,-0.49999999999999961,-0.49999999999999956),D1),
    F(G,X(1.1773793484451653,3.5321380453355205,-0.94190347875616431),Q(0,-7.5436894733463805e-16,1,0),D1),
    F(G,X(-1.1773793484451758,3.5321380453355165,0),Q(0.50000000000000033,0.49999999999999967,0.50000000000000044,-0.49999999999999956),D1),
    F(G,X(-1.1773793484451784,5.4159450028477911,0),Q(0.70710678118654802,0,0,-0.70710678118654702),D1),
    F(G,X(1.1773793484451653,3.53213804533552,0),Q(0.70710678118654757,-1.0835081525467864e-15,0.70710678118654735,1.4168952764073266e-15),D1),
    F(G,X(1.1773793484451625,5.4159450028477947,-0.94190347875616431),Q(-5.3341939817687994e-16,-5.3341939817688004e-16,0.70710678118654757,0.70710678118654735),D1),
  L(0,0,5,2,0),
  L(0,1,3,3,0),
  L(0,2,2,3,0),
  L(0,3,1,2,0),
  L(1,0,4,2,0),
  L(1,1,5,3,0),
  L(1,3,2,2,0),
  L(2,0,3,2,0),
  L(2,1,4,3,0),
  L(3,0,5,1,0),
  L(3,1,4,0,0),
  L(4,1,5,0,0)
)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>silver</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>no_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>
    <vector_by_two_points3>
        <id>%182</id>
        <out_vector>%183</out_vector>
        <in_origin>%122</in_origin>
        <in_end>%175</in_end>
    </vector_by_two_points3>
    <vector3>
        <id>%183</id>
        <gstate>defined</gstate>
        <origin>(-1.1773793484451758,3.5321380453355165,0,1)</origin>
        <value>(1.4652796409258542e-15,1.9537061879011388e-15,4.7095173937808195)</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>
    <object_image_by_translation3>
        <id>%184</id>
        <out_object>%185</out_object>
        <in_vector>%183</in_vector>
        <in_object>%177</in_object>
    </object_image_by_translation3>
    <subplane3>
        <id>%185</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>
    <point3>
        <id>%186</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(1.177379348445164,5.4159450028477973,4.7095173937808195,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>
    </point3>
    <vertex_of_subplane3>
        <id>%187</id>
        <state>no_display</state>
        <position>(1)</position>
        <out_point>%186</out_point>
        <in_subplane>%185</in_subplane>
    </vertex_of_subplane3>
    <point3>
        <id>%188</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(-1.1773793484451771,5.4159450028477929,4.7095173937808195,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>
    </point3>
    <vertex_of_subplane3>
        <id>%189</id>
        <state>no_display</state>
        <position>(0)</position>
        <out_point>%188</out_point>
        <in_subplane>%185</in_subplane>
    </vertex_of_subplane3>
    <polygon_by_n_coplanar_points3>
        <id>%190</id>
        <out_subplane>%191</out_subplane>
        <in_points>%130 %186 %188 %132</in_points>
    </polygon_by_n_coplanar_points3>
    <subplane3>
        <id>%191</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>
    <point3>
        <id>%192</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(1.177379348445164,5.4159450028477973,4.7095173937808195,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>
    </point3>
    <vertex_of_subplane3>
        <id>%193</id>
        <state>no_display</state>
        <position>(1)</position>
        <out_point>%192</out_point>
        <in_subplane>%185</in_subplane>
    </vertex_of_subplane3>
    <point3>
        <id>%194</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(1.1773793484451669,3.5321380453355222,4.7095173937808195,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>
    </point3>
    <vertex_of_subplane3>
        <id>%195</id>
        <state>no_display</state>
        <position>(2)</position>
        <out_point>%194</out_point>
        <in_subplane>%185</in_subplane>
    </vertex_of_subplane3>
    <polygon_by_n_coplanar_points3>
        <id>%196</id>
        <out_subplane>%197</out_subplane>
        <in_points>%120 %130 %192 %194</in_points>
    </polygon_by_n_coplanar_points3>
    <subplane3>
        <id>%197</id>
        <gstate>defined</gstate>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>large_hatch_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>
    <segment_by_two_points3>
        <id>%198</id>
        <out_subline>%199</out_subline>
        <in_points>%154 %150</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%199</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <segment_by_two_points3>
        <id>%200</id>
        <out_subline>%201</out_subline>
        <in_points>%160 %146</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%201</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <point_middle_of_two_points3>
        <id>%202</id>
        <out_point>%203</out_point>
        <in_points>%130 %132</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%203</id>
        <gstate>defined</gstate>
        <value>(-7.9233325910353488e-15,5.4159450028477929,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>
    <line_parallel_to_line_by_point3>
        <id>%204</id>
        <out_line>%205</out_line>
        <in_point>%140</in_point>
        <in_line>%183</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%205</id>
        <gstate>defined</gstate>
        <value>(-5.5683964488446913e-17,-7.4245285984595868e-17,-0.17897238997145407,-0.96930462111362281,-0.16857471671541416,3.7151318236009366e-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_parallel_to_line_by_point3>
        <id>%206</id>
        <out_line>%207</out_line>
        <in_point>%203</in_point>
        <in_line>%183</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%207</id>
        <gstate>defined</gstate>
        <value>(-5.6492434592740204e-17,-7.5323246123653601e-17,-0.18157087282221918,-0.98337786132421023,-1.4386464142150239e-15,3.0595991883125771e-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_parallel_to_line_by_point3>
        <id>%208</id>
        <out_line>%209</out_line>
        <in_point>%142</in_point>
        <in_line>%183</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%209</id>
        <gstate>defined</gstate>
        <value>(-5.5683964488446901e-17,-7.4245285984595868e-17,-0.17897238997145407,-0.96930462111362326,0.16857471671541102,2.3164939605982352e-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>
    <point_middle_of_two_points3>
        <id>%210</id>
        <out_point>%211</out_point>
        <in_points>%167 %169</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%211</id>
        <gstate>defined</gstate>
        <value>(-1.177379348445176,3.5321380453355173,1.4128552181342464,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>
    <plane_perpendicular_to_line_by_point3>
        <id>%212</id>
        <out_plane>%213</out_plane>
        <in_point>%211</in_point>
        <in_line>%183</in_line>
    </plane_perpendicular_to_line_by_point3>
    <plane3>
        <id>%213</id>
        <gstate>defined</gstate>
        <value>(8.070533569735808e-17,1.0760711426314411e-16,0.25939293198496088,-0.36648465750209391)</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>
    <point_by_line_and_plane3>
        <id>%214</id>
        <out_point>%215</out_point>
        <in_plane>%213</in_plane>
        <in_line>%209</in_line>
    </point_by_line_and_plane3>
    <point3>
        <id>%215</id>
        <gstate>defined</gstate>
        <value>(0.94190347875612879,5.4159450028477938,1.4128552181342446,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>
    <point_by_line_and_plane3>
        <id>%216</id>
        <out_point>%217</out_point>
        <in_plane>%213</in_plane>
        <in_line>%205</in_line>
    </point_by_line_and_plane3>
    <point3>
        <id>%217</id>
        <gstate>defined</gstate>
        <value>(-0.94190347875614555,5.4159450028477911,1.4128552181342453,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>
    <point_by_line_and_plane3>
        <id>%218</id>
        <out_point>%219</out_point>
        <in_plane>%213</in_plane>
        <in_line>%207</in_line>
    </point_by_line_and_plane3>
    <point3>
        <id>%219</id>
        <gstate>defined</gstate>
        <value>(-7.483748698757595e-15,5.4159450028477929,1.4128552181342451,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>
    <plane_perpendicular_to_line_by_point3>
        <id>%220</id>
        <out_plane>%221</out_plane>
        <in_point>%169</in_point>
        <in_line>%183</in_line>
    </plane_perpendicular_to_line_by_point3>
    <plane3>
        <id>%221</id>
        <gstate>defined</gstate>
        <value>(8.070533569735808e-17,1.0760711426314411e-16,0.25939293198496088,-0.48864621000279185)</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>
    <point_by_line_and_plane3>
        <id>%222</id>
        <out_point>%223</out_point>
        <in_plane>%221</in_plane>
        <in_line>%207</in_line>
    </point_by_line_and_plane3>
    <point3>
        <id>%223</id>
        <gstate>defined</gstate>
        <value>(-7.3372207346650098e-15,5.4159450028477947,1.8838069575123275,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>
    <plane_perpendicular_bisector_of_two_points3>
        <id>%224</id>
        <out_plane>%225</out_plane>
        <in_points>%215 %223</in_points>
    </plane_perpendicular_bisector_of_two_points3>
    <plane3>
        <id>%225</id>
        <gstate>defined</gstate>
        <value>(-0.15529690841477467,1.5351766000456127e-16,0.077648454207389764,-0.054853011853490667)</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>
    <point_by_line_and_plane3>
        <id>%226</id>
        <out_point>%227</out_point>
        <in_plane>%225</in_plane>
        <in_line>%207</in_line>
    </point_by_line_and_plane3>
    <point3>
        <id>%227</id>
        <gstate>defined</gstate>
        <value>(-7.7035406448964545e-15,5.4159450028477947,0.70642760906717839,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>
    <circle_on_plane_by_center_and_point3>
        <id>%228</id>
        <out_conic>%229</out_conic>
        <in_point>%223</in_point>
        <in_plane>%191</in_plane>
        <in_center>%227</in_center>
    </circle_on_plane_by_center_and_point3>
    <conic3>
        <id>%229</id>
        <gstate>defined</gstate>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>orange</curve_color1>
        <base_curve_radius>conic3_base_curve_radius</base_curve_radius>
    </conic3>
    <segment_by_two_points3>
        <id>%230</id>
        <out_subline>%231</out_subline>
        <in_points>%142 %215</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%231</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <segment_by_two_points3>
        <id>%232</id>
        <out_subline>%233</out_subline>
        <in_points>%140 %217</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%233</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <point_middle_of_two_points3>
        <id>%234</id>
        <out_point>%235</out_point>
        <in_points>%215 %223</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%235</id>
        <gstate>defined</gstate>
        <value>(0.47095173937806067,5.4159450028477938,1.6483310878232857,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>
    <point_middle_of_two_points3>
        <id>%236</id>
        <out_point>%237</out_point>
        <in_points>%223 %217</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%237</id>
        <gstate>defined</gstate>
        <value>(-0.4709517393780765,5.4159450028477938,1.6483310878232862,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>
    <ray_by_two_points3>
        <id>%238</id>
        <out_subline>%239</out_subline>
        <in_point>%235</in_point>
        <in_origin>%227</in_origin>
    </ray_by_two_points3>
    <subline3>
        <id>%239</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <ray_by_two_points3>
        <id>%240</id>
        <out_subline>%241</out_subline>
        <in_point>%237</in_point>
        <in_origin>%227</in_origin>
    </ray_by_two_points3>
    <subline3>
        <id>%241</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <points_by_line_and_conic3>
        <id>%242</id>
        <out_points>%243 %244</out_points>
        <in_line>%239</in_line>
        <in_conic>%229</in_conic>
    </points_by_line_and_conic3>
    <point3>
        <id>%243</id>
        <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>
    <point3>
        <id>%244</id>
        <gstate>defined</gstate>
        <value>(0.5265400516855584,5.4159450028477956,1.7595077124382776,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>
    <points_by_line_and_conic3>
        <id>%245</id>
        <out_points>%246 %247</out_points>
        <in_line>%241</in_line>
        <in_conic>%229</in_conic>
    </points_by_line_and_conic3>
    <point3>
        <id>%246</id>
        <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>
    <point3>
        <id>%247</id>
        <gstate>defined</gstate>
        <value>(-0.52654005168557416,5.4159450028477956,1.7595077124382785,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>
    <segment_by_two_points3>
        <id>%248</id>
        <out_subline>%249</out_subline>
        <in_points>%215 %244</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%249</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <segment_by_two_points3>
        <id>%250</id>
        <out_subline>%251</out_subline>
        <in_points>%244 %223</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%251</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <segment_by_two_points3>
        <id>%252</id>
        <out_subline>%253</out_subline>
        <in_points>%223 %247</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%253</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <segment_by_two_points3>
        <id>%254</id>
        <out_subline>%255</out_subline>
        <in_points>%247 %217</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%255</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <line_parallel_to_line_by_point3>
        <id>%256</id>
        <out_line>%257</out_line>
        <in_point>%244</in_point>
        <in_line>%183</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%257</id>
        <gstate>defined</gstate>
        <value>(-5.6236015280238355e-17,-7.4981353706984478e-17,-0.18074672214230819,-0.97891430656775302,0.095170388418806109,2.6509048008075046e-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_parallel_to_line_by_point3>
        <id>%258</id>
        <out_line>%259</out_line>
        <in_point>%247</in_point>
        <in_line>%183</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%259</id>
        <gstate>defined</gstate>
        <value>(-5.6236015280238355e-17,-7.4981353706984465e-17,-0.18074672214230819,-0.9789143065677528,-0.095170388418809163,3.440518517934091e-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>
    <point3>
        <id>%260</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(1.177379348445164,5.4159450028477973,4.7095173937808195,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>
    </point3>
    <vertex_of_subplane3>
        <id>%261</id>
        <state>no_display</state>
        <position>(1)</position>
        <out_point>%260</out_point>
        <in_subplane>%191</in_subplane>
    </vertex_of_subplane3>
    <segment_by_two_points3>
        <id>%262</id>
        <out_subline>%263</out_subline>
        <in_points>%260 %264</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%263</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <point3>
        <id>%264</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(-1.1773793484451771,5.4159450028477929,4.7095173937808195,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>
    </point3>
    <vertex_of_subplane3>
        <id>%265</id>
        <state>no_display</state>
        <position>(2)</position>
        <out_point>%264</out_point>
        <in_subplane>%191</in_subplane>
    </vertex_of_subplane3>
    <point_by_two_coplanar_lines3>
        <id>%266</id>
        <out_point>%267</out_point>
        <in_lines>%209 %263</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%267</id>
        <gstate>defined</gstate>
        <value>(0.94190347875613001,5.4159450028477947,4.7095173937808186,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>
    <point_by_two_coplanar_lines3>
        <id>%268</id>
        <out_point>%269</out_point>
        <in_lines>%257 %263</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%269</id>
        <gstate>defined</gstate>
        <value>(0.52654005168555895,5.4159450028477956,4.7095173937808186,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>
    <point_by_line_and_plane3>
        <id>%270</id>
        <out_point>%271</out_point>
        <in_plane>%185</in_plane>
        <in_line>%207</in_line>
    </point_by_line_and_plane3>
    <point3>
        <id>%271</id>
        <gstate>defined</gstate>
        <value>(-6.4580529501094958e-15,5.4159450028477956,4.7095173937808186,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>
    <point_by_two_coplanar_lines3>
        <id>%272</id>
        <out_point>%273</out_point>
        <in_lines>%259 %263</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%273</id>
        <gstate>defined</gstate>
        <value>(-0.52654005168557294,5.4159450028477929,4.7095173937808186,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>
    <point_by_two_coplanar_lines3>
        <id>%274</id>
        <out_point>%275</out_point>
        <in_lines>%205 %263</in_lines>
    </point_by_two_coplanar_lines3>
    <point3>
        <id>%275</id>
        <gstate>defined</gstate>
        <value>(-0.94190347875614411,5.4159450028477929,4.7095173937808186,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>
    <polygon_by_n_coplanar_points3>
        <id>%276</id>
        <out_subplane>%277</out_subplane>
        <in_points>%271 %223 %247 %273</in_points>
    </polygon_by_n_coplanar_points3>
    <subplane3>
        <id>%277</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>
    <point3>
        <id>%278</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(-1.1773793484451771,5.4159450028477929,4.7095173937808195,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>
    </point3>
    <vertex_of_subline3>
        <id>%279</id>
        <state>no_display</state>
        <position>(1)</position>
        <out_point>%278</out_point>
        <in_subline>%263</in_subline>
    </vertex_of_subline3>
    <vector_by_two_points3>
        <id>%280</id>
        <out_vector>%281</out_vector>
        <in_origin>%278</in_origin>
        <in_end>%175</in_end>
    </vector_by_two_points3>
    <vector3>
        <id>%281</id>
        <gstate>defined</gstate>
        <origin>(-1.1773793484451771,5.4159450028477929,4.7095173937808195,1)</origin>
        <value>(2.6353745500767373e-15,-1.8838069575122745,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>blue</curve_color1>
        <base_point_size>vector3_base_point_size</base_point_size>
        <base_curve_radius>vector3_base_curve_radius</base_curve_radius>
    </vector3>
    <polynet_product_of_subplane_and_vector3>
        <id>%282</id>
        <out_polynet>%283</out_polynet>
        <in_vector>%281</in_vector>
        <in_subplane>%277</in_subplane>
    </polynet_product_of_subplane_and_vector3>
    <polynet3>
        <id>%283</id>
        <gstate>no_hidden defined</gstate>
        <value>(
  F(G,X(-0.5265400516855715,3.5321380453355209,1.7595077124382785),Q(0.70710678118654768,1.0001613715816488e-15,-0.70710678118654724,3.6148178949869204e-16),D1),
    F(G,X(-3.8226784000327586e-15,3.5321380453355209,4.7095173937808186),Q(6.2261502543833801e-16,-6.2261502543833782e-16,-0.70710678118654735,0.70710678118654768),D1),
    F(G,X(-0.52654005168557294,5.4159450028477929,4.7095173937808186),Q(0.70710678118654802,0,0,-0.70710678118654702),D1),
    F(G,X(-0.52654005168557416,5.4159450028477956,1.7595077124382785),Q(-0.49999999999999917,0.50000000000000056,0.49999999999999945,0.50000000000000022),D1),
    F(G,X(-4.7018461845882726e-15,3.53213804533552,1.8838069575123275),Q(0.11565251949756836,7.6711398468229547e-16,0.99328973352887551,5.0912513548255414e-16),D1),
    F(G,X(-3.8226784000327586e-15,3.5321380453355209,4.7095173937808186),Q(0.70710678118654724,-9.8921559233787088e-16,0.70710678118654768,7.6695750976417743e-16),D1),
  L(0,1,3,3,0),
  L(0,2,2,3,0),
  L(1,0,5,3,0),
  L(1,1,4,3,0),
  L(1,2,0,3,0),
  L(2,0,3,2,0),
  L(2,1,5,0,0),
  L(2,2,1,3,0),
  L(3,1,5,1,0),
  L(4,1,3,0,0),
  L(4,2,0,0,0),
  L(5,2,4,0,0)
)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>silver</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>no_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>
    <polygon_by_n_coplanar_points3>
        <id>%284</id>
        <out_subplane>%285</out_subplane>
        <in_points>%273 %275 %217 %247</in_points>
    </polygon_by_n_coplanar_points3>
    <subplane3>
        <id>%285</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>
    <polynet_product_of_subplane_and_vector3>
        <id>%286</id>
        <out_polynet>%287</out_polynet>
        <in_vector>%281</in_vector>
        <in_subplane>%285</in_subplane>
    </polynet_product_of_subplane_and_vector3>
    <polynet3>
        <id>%287</id>
        <gstate>no_hidden defined</gstate>
        <value>(
  F(G,X(-0.52654005168557028,3.5321380453355182,4.7095173937808186),Q(0.70710678118654724,-1.0001613715816482e-15,0.70710678118654768,1.6388409536646053e-15),D1),
    F(G,X(-0.94190347875614289,3.5321380453355165,1.4128552181342453),Q(0.66478412475752413,0.66478412475752602,-0.24096071769143521,0.24096071769143407),D1),
    F(G,X(-0.52654005168557416,5.4159450028477956,1.7595077124382785),Q(-0.24096071769143473,0.66478412475752546,-0.66478412475752491,0.24096071769143454),D1),
    F(G,X(-0.52654005168557294,5.4159450028477929,4.7095173937808186),Q(0.49999999999999978,-0.5,0.50000000000000022,0.5),D1),
    F(G,X(-0.94190347875614555,5.4159450028477911,1.4128552181342453),Q(0.50000000000000033,0.50000000000000022,-0.49999999999999961,-0.49999999999999989),D1),
    F(G,X(-0.94190347875614144,3.5321380453355182,4.7095173937808186),Q(1,0,0,0),D1),
  L(0,0,5,2,0),
  L(0,1,3,3,0),
  L(0,2,2,3,0),
  L(1,0,4,2,0),
  L(1,1,5,3,0),
  L(1,2,0,3,0),
  L(1,3,2,2,0),
  L(2,0,3,2,0),
  L(2,1,4,3,0),
  L(3,0,5,1,0),
  L(3,1,4,0,0),
  L(4,1,5,0,0)
)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>silver</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>no_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>%288</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(-1.1773793484451771,5.4159450028477929,4.7095173937808195,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>
    </point3>
    <vertex_of_subline3>
        <id>%289</id>
        <state>no_display</state>
        <position>(1)</position>
        <out_point>%288</out_point>
        <in_subline>%263</in_subline>
    </vertex_of_subline3>
    <segment_by_two_points3>
        <id>%290</id>
        <out_subline>%291</out_subline>
        <in_points>%288 %132</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%291</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <point3>
        <id>%292</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(-1.1773793484451771,5.4159450028477929,4.7095173937808195,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>
    </point3>
    <vertex_of_subline3>
        <id>%293</id>
        <state>no_display</state>
        <position>(0)</position>
        <out_point>%292</out_point>
        <in_subline>%291</in_subline>
    </vertex_of_subline3>
    <polygon_by_n_coplanar_points3>
        <id>%294</id>
        <out_subplane>%295</out_subplane>
        <in_points>%275 %292 %132 %140</in_points>
    </polygon_by_n_coplanar_points3>
    <subplane3>
        <id>%295</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>
    <polynet_product_of_subplane_and_vector3>
        <id>%296</id>
        <out_polynet>%297</out_polynet>
        <in_vector>%281</in_vector>
        <in_subplane>%295</in_subplane>
    </polynet_product_of_subplane_and_vector3>
    <polynet3>
        <id>%297</id>
        <gstate>no_hidden defined</gstate>
        <value>(
  F(G,X(-0.94190347875614144,3.5321380453355182,4.7095173937808186),Q(0.70710678118654735,-1.000161371581649e-15,0.70710678118654757,7.3345167249321699e-16),D1),
    F(G,X(-1.1773793484451758,3.5321380453355165,0),Q(0.70710678118654768,0.70710678118654735,1.1844289952753389e-30,1.1844289952753384e-30),D1),
    F(G,X(-0.94190347875614588,5.4159450028477911,0),Q(0,0.70710678118654802,-0.70710678118654702,0),D1),
    F(G,X(-0.94190347875614411,5.4159450028477929,4.7095173937808186),Q(0.49999999999999978,-0.50000000000000011,0.50000000000000011,0.5),D1),
    F(G,X(-1.1773793484451784,5.4159450028477911,0),Q(0.50000000000000033,0.50000000000000033,-0.49999999999999967,-0.49999999999999978),D1),
    F(G,X(-1.1773793484451744,3.5321380453355182,4.7095173937808195),Q(1,0,0,0),D1),
  L(0,0,5,2,0),
  L(0,1,3,3,0),
  L(0,2,2,3,0),
  L(1,0,4,2,0),
  L(1,1,5,3,0),
  L(1,2,0,3,0),
  L(1,3,2,2,0),
  L(2,0,3,2,0),
  L(2,1,4,3,0),
  L(3,0,5,1,0),
  L(3,1,4,0,0),
  L(4,1,5,0,0)
)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>silver</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>no_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>
    <subline3>
        <id>%298</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <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>normal_curve_radius</curve_radius>
        <curve_color1>brown</curve_color1>
    </subline3>
    <edge_of_polynet3>
        <id>%299</id>
        <state>no_display</state>
        <position>(3,1)</position>
        <out_subline>%298</out_subline>
        <in_polynet>%283</in_polynet>
    </edge_of_polynet3>
    <plane_by_line_and_point3>
        <id>%300</id>
        <out_plane>%301</out_plane>
        <in_point>%302</in_point>
        <in_line>%298</in_line>
    </plane_by_line_and_point3>
    <plane3>
        <id>%301</id>
        <gstate>defined</gstate>
        <value>(1,2.7755575615628914e-15,-1.6653345369377348e-16,-5.0515147620444623e-15)</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>%302</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(-4.7018461845882789e-15,3.5321380453355205,1.8838069575123275,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>
    </point3>
    <vertex_of_polynet3>
        <id>%303</id>
        <state>no_display</state>
        <position>(1,1)</position>
        <out_point>%302</out_point>
        <in_polynet>%283</in_polynet>
    </vertex_of_polynet3>
    <object_image_by_plane_reflection3>
        <id>%304</id>
        <out_object>%305</out_object>
        <in_plane>%301</in_plane>
        <in_object>%185</in_object>
    </object_image_by_plane_reflection3>
    <subplane3>
        <id>%305</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>
    <object_image_by_plane_reflection3>
        <id>%306</id>
        <out_object>%307</out_object>
        <in_plane>%301</in_plane>
        <in_object>%297</in_object>
    </object_image_by_plane_reflection3>
    <polynet3>
        <id>%307</id>
        <gstate>no_hidden defined</gstate>
        <value>(
  F(G,X(0.94190347875613345,3.5321380453355236,4.7095173937808186),Q(-9.6245420177306953e-16,0.70710678118654757,1.2291639008615013e-15,0.70710678118654735),D-1),
    F(G,X(1.1773793484451665,3.5321380453355231,-3.9214609840859814e-16),Q(-0.70710678118654735,0.70710678118654768,1.8448586389534348e-15,-2.0803725077560002e-15),D-1),
    F(G,X(0.9419034787561259,5.4159450028477965,-3.1371687872687821e-16),Q(0.70710678118654613,1.1775693440128302e-16,1.1775693440128322e-16,0.70710678118654891),D-1),
    F(G,X(0.94190347875612568,5.4159450028477982,4.7095173937808186),Q(0.49999999999999878,0.50000000000000122,-0.49999999999999845,0.50000000000000144),D-1),
    F(G,X(1.1773793484451585,5.4159450028477973,-3.9214609840859726e-16),Q(0.49999999999999889,-0.49999999999999889,-0.500000000000001,0.50000000000000111),D-1),
    F(G,X(1.1773793484451669,3.5321380453355249,4.7095173937808195),Q(0,1,2.775557561562891e-15,-1.6653345369377346e-16),D-1),
  L(0,0,5,2,0),
  L(0,1,3,3,0),
  L(0,2,2,3,0),
  L(1,0,4,2,0),
  L(1,1,5,3,0),
  L(1,2,0,3,0),
  L(1,3,2,2,0),
  L(2,0,3,2,0),
  L(2,1,4,3,0),
  L(3,0,5,1,0),
  L(3,1,4,0,0),
  L(4,1,5,0,0)
)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>silver</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>no_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>
    <object_image_by_plane_reflection3>
        <id>%308</id>
        <out_object>%309</out_object>
        <in_plane>%301</in_plane>
        <in_object>%283</in_object>
    </object_image_by_plane_reflection3>
    <polynet3>
        <id>%309</id>
        <gstate>no_hidden defined</gstate>
        <value>(
  F(G,X(0.52654005168556239,3.532138045335524,1.7595077124382783),Q(9.6245420177306933e-16,0.70710678118654757,1.6011337838560266e-15,-0.70710678118654735),D-1),
    F(G,X(-4.1130126026738295e-15,3.5321380453355209,4.7095173937808186),Q(-2.7029875331943398e-15,-2.467473664391774e-15,0.70710678118654757,0.70710678118654746),D-1),
    F(G,X(0.52654005168555451,5.4159450028477956,4.7095173937808186),Q(-1.1775693440128305e-16,0.70710678118654602,0.70710678118654902,-1.1775693440128322e-16),D-1),
    F(G,X(0.52654005168555484,5.4159450028477982,1.7595077124382783),Q(0.50000000000000189,0.49999999999999767,0.50000000000000167,-0.49999999999999811),D-1),
    F(G,X(-4.1749954542989711e-15,3.53213804533552,1.8838069575123275),Q(-3.5240468154011562e-15,0.11565251949756855,-1.8812491047727884e-16,0.9932897335288754),D-1),
    F(G,X(-4.1130126026738295e-15,3.5321380453355209,4.7095173937808186),Q(-9.7339998101684782e-16,0.70710678118654735,1.1956580635905406e-15,0.70710678118654757),D-1),
  L(0,0,4,2,0),
  L(0,1,3,3,0),
  L(0,2,2,3,0),
  L(1,0,5,3,0),
  L(1,1,4,3,0),
  L(1,2,0,3,0),
  L(1,3,2,2,0),
  L(2,0,3,2,0),
  L(2,1,5,0,0),
  L(3,0,4,1,0),
  L(3,1,5,1,0),
  L(4,0,5,2,0)
)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>silver</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>no_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>
    <object_image_by_plane_reflection3>
        <id>%310</id>
        <out_object>%311</out_object>
        <in_plane>%301</in_plane>
        <in_object>%287</in_object>
    </object_image_by_plane_reflection3>
    <polynet3>
        <id>%311</id>
        <gstate>no_hidden defined</gstate>
        <value>(
  F(G,X(0.52654005168556228,3.5321380453355213,4.7095173937808186),Q(-9.6245420177306992e-16,0.70710678118654757,3.2377461969011289e-16,0.70710678118654735),D-1),
    F(G,X(0.94190347875613378,3.5321380453355218,1.4128552181342451),Q(0.66478412475752535,-0.66478412475752469,0.24096071769143232,0.24096071769143715),D-1),
    F(G,X(0.52654005168555484,5.4159450028477982,1.7595077124382783),Q(0.66478412475752358,0.24096071769143407,0.24096071769143523,0.66478412475752657),D-1),
    F(G,X(0.52654005168555451,5.4159450028477956,4.7095173937808186),Q(0.49999999999999878,0.50000000000000133,-0.49999999999999856,0.50000000000000144),D-1),
    F(G,X(0.94190347875612601,5.4159450028477965,1.4128552181342451),Q(-0.49999999999999883,0.499999999999999,0.50000000000000111,-0.50000000000000089),D-1),
    F(G,X(0.94190347875613345,3.5321380453355236,4.7095173937808186),Q(0,1,2.775557561562891e-15,-1.6653345369377346e-16),D-1),
  L(0,0,5,2,0),
  L(0,1,3,3,0),
  L(0,2,2,3,0),
  L(1,0,4,2,0),
  L(1,1,5,3,0),
  L(1,2,0,3,0),
  L(1,3,2,2,0),
  L(2,0,3,2,0),
  L(2,1,4,3,0),
  L(3,0,5,1,0),
  L(3,1,4,0,0),
  L(4,1,5,0,0)
)</value>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>silver</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>no_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>
    <object_image_by_point_reflection3>
        <id>%312</id>
        <out_object>%313</out_object>
        <in_center>%175</in_center>
        <in_object>%173</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%313</id>
        <gstate>defined</gstate>
        <value>(-1.177379348445174,3.5321380453355196,5.6514208725369848,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>
    <object_image_by_point_reflection3>
        <id>%314</id>
        <out_object>%315</out_object>
        <in_center>%313</in_center>
        <in_object>%175</in_object>
    </object_image_by_point_reflection3>
    <point3>
        <id>%315</id>
        <gstate>defined</gstate>
        <value>(-1.1773793484451736,3.53213804533552,6.5933243512931483,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>
    <point3>
        <id>%316</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(1.1773793484451587,5.4159450028477991,4.7095173937808195,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>
    </point3>
    <vertex_of_subplane3>
        <id>%317</id>
        <state>no_display</state>
        <position>(0)</position>
        <out_point>%316</out_point>
        <in_subplane>%305</in_subplane>
    </vertex_of_subplane3>
    <point_middle_of_two_points3>
        <id>%318</id>
        <out_point>%319</out_point>
        <in_points>%316 %175</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%319</id>
        <gstate>defined</gstate>
        <value>(-7.9061236502302118e-15,4.4740415240916587,4.7095173937808195,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>
    <line_parallel_to_line_by_point3>
        <id>%320</id>
        <out_line>%321</out_line>
        <in_point>%319</in_point>
        <in_line>%183</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%321</id>
        <gstate>defined</gstate>
        <value>(-6.7866938223648341e-17,-9.0489250964864467e-17,-0.21812937073565306,-0.97591986229529515,-2.0441783028099008e-15,3.0363949972556681e-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>
    <plane_perpendicular_to_line_by_point3>
        <id>%322</id>
        <out_plane>%323</out_plane>
        <in_point>%315</in_point>
        <in_line>%321</in_line>
    </plane_perpendicular_to_line_by_point3>
    <plane3>
        <id>%323</id>
        <gstate>defined</gstate>
        <value>(6.7866938223648341e-17,9.0489250964864467e-17,0.21812937073565306,-1.4381976918036323)</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>
    <point_by_line_and_plane3>
        <id>%324</id>
        <out_point>%325</out_point>
        <in_plane>%323</in_plane>
        <in_line>%321</in_line>
    </point_by_line_and_plane3>
    <point3>
        <id>%325</id>
        <gstate>defined</gstate>
        <value>(-7.3200117938598697e-15,4.4740415240916587,6.5933243512931457,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>
    <plane_perpendicular_to_line_by_point3>
        <id>%326</id>
        <out_plane>%327</out_plane>
        <in_point>%325</in_point>
        <in_line>%69</in_line>
    </plane_perpendicular_to_line_by_point3>
    <plane3>
        <id>%327</id>
        <gstate>defined</gstate>
        <value>(-1.4754802123380804e-15,0.99999999999999989,0,-4.4740415240916587)</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>
    <circle_on_plane_by_center_and_radius3>
        <id>%328</id>
        <out_conic>%329</out_conic>
        <in_radius>%24</in_radius>
        <in_plane>%327</in_plane>
        <in_center>%325</in_center>
    </circle_on_plane_by_center_and_radius3>
    <conic3>
        <id>%329</id>
        <gstate>defined</gstate>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>orange</curve_color1>
        <base_curve_radius>conic3_base_curve_radius</base_curve_radius>
    </conic3>
    <line_parallel_to_line_by_point3>
        <id>%330</id>
        <out_line>%331</out_line>
        <in_point>%325</in_point>
        <in_line>%263</in_line>
    </line_parallel_to_line_by_point3>
    <line3>
        <id>%331</id>
        <gstate>defined</gstate>
        <value>(0.12452520567848238,2.373323322105539e-16,0,-1.5648090453130398e-15,0.8210350709497255,-0.55713094100158467)</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>
    <points_by_line_and_conic3>
        <id>%332</id>
        <out_points>%333 %334</out_points>
        <in_line>%331</in_line>
        <in_conic>%329</in_conic>
    </points_by_line_and_conic3>
    <point3>
        <id>%333</id>
        <gstate>defined</gstate>
        <value>(0.94190347875613045,4.4740415240916605,6.5933243512931448,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>
    <point3>
        <id>%334</id>
        <gstate>defined</gstate>
        <value>(-0.941903478756145,4.4740415240916569,6.5933243512931448,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>
    <point_middle_of_two_points3>
        <id>%335</id>
        <out_point>%336</out_point>
        <in_points>%325 %334</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%336</id>
        <gstate>defined</gstate>
        <value>(-0.47095173937807616,4.4740415240916587,6.5933243512931457,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>
    <point_middle_of_two_points3>
        <id>%337</id>
        <out_point>%338</out_point>
        <in_points>%325 %333</in_points>
    </point_middle_of_two_points3>
    <point3>
        <id>%338</id>
        <gstate>defined</gstate>
        <value>(0.47095173937806156,4.4740415240916605,6.5933243512931457,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>
    <segment_by_two_points3>
        <id>%339</id>
        <out_subline>%340</out_subline>
        <in_points>%338 %336</in_points>
    </segment_by_two_points3>
    <subline3>
        <id>%340</id>
        <gstate>defined</gstate>
        <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>brown</curve_color1>
        <base_point_size>subline3_base_point_size</base_point_size>
        <base_curve_radius>subline3_base_curve_radius</base_curve_radius>
    </subline3>
    <point3>
        <id>%341</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(1.177379348445164,5.4159450028477973,4.7095173937808195,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>
    </point3>
    <vertex_of_subline3>
        <id>%342</id>
        <state>no_display</state>
        <position>(0)</position>
        <out_point>%341</out_point>
        <in_subline>%263</in_subline>
    </vertex_of_subline3>
    <point3>
        <id>%343</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(-1.1773793484451771,5.4159450028477929,4.7095173937808195,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>
    </point3>
    <vertex_of_subline3>
        <id>%344</id>
        <state>no_display</state>
        <position>(1)</position>
        <out_point>%343</out_point>
        <in_subline>%263</in_subline>
    </vertex_of_subline3>
    <polygon_by_n_coplanar_points3>
        <id>%345</id>
        <out_subplane>%346</out_subplane>
        <in_points>%341 %338 %336 %343</in_points>
    </polygon_by_n_coplanar_points3>
    <subplane3>
        <id>%346</id>
        <gstate>no_hidden defined</gstate>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>medium_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>no_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>
    <point3>
        <id>%347</id>
        <state>no_display</state>
        <gstate>defined</gstate>
        <value>(1.177379348445164,5.4159450028477973,4.7095173937808195,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>
    </point3>
    <vertex_of_subline3>
        <id>%348</id>
        <state>no_display</state>
        <position>(0)</position>
        <out_point>%347</out_point>
        <in_subline>%263</in_subline>
    </vertex_of_subline3>
    <sphere_by_center_and_point3>
        <id>%349</id>
        <out_quadric>%350</out_quadric>
        <in_point>%336</in_point>
        <in_center>%325</in_center>
    </sphere_by_center_and_point3>
    <quadric3>
        <id>%350</id>
        <gstate>defined</gstate>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>violet</surface_color1>
        <graphic_layers>hidden_layer</graphic_layers>
        <curve_style>solid_curve_style</curve_style>
        <curve_radius>normal_curve_radius</curve_radius>
        <curve_color1>tomato</curve_color1>
        <base_surface_thickness>quadric3_base_surface_thickness</base_surface_thickness>
        <base_curve_radius>quadric3_base_curve_radius</base_curve_radius>
    </quadric3>
    <point3>
        <id>%351</id>
        <gstate>defined</gstate>
        <value>(-7.1734838297690042e-15,4.4740415240916596,7.0642760906657047,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>
    <point3>
        <id>%352</id>
        <gstate>defined</gstate>
        <value>(-7.466539757950967e-15,4.4740415240916587,6.1223726119198521,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>
    <points_by_line_and_quadric3>
        <id>%353</id>
        <out_points>%352 %351</out_points>
        <in_quadric>%350</in_quadric>
        <in_line>%321</in_line>
    </points_by_line_and_quadric3>
    <triangle_by_three_points3>
        <id>%354</id>
        <out_subplane>%355</out_subplane>
        <in_points>%338 %351 %336</in_points>
    </triangle_by_three_points3>
    <subplane3>
        <id>%355</id>
        <gstate>defined</gstate>
        <surface_thickness>normal_surface_thickness</surface_thickness>
        <surface_style>solid_surface_style</surface_style>
        <surface_color1>gold</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>no_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>subp