#Processed by Id: euler.yap 4653 2011-10-30 11:01:47Z josd
#eye --nope --no-span http://eulersharp.sourceforge.net/2010/05smml/FACTStriangleedges.n3 http://eulersharp.sourceforge.net/2010/05smml/RULESfaceedges.n3 http://eulersharp.sourceforge.net/2010/05smml/RULESneighbourfaceedges.n3 --query http://eulersharp.sourceforge.net/2010/05smml/QUERYneighbourfaceedges.n3

@prefix : <http://smartlab.elis.ugent.be/aimontologies/geometry/instancesSTLBox#>.
@prefix stl: <http://smartlab.elis.ugent.be/aimontologies/geometry/ontologySTL20091101#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix ns1: <http://smartlab.elis.ugent.be/ontologies/regulations/geometry/ifctox3d#>.
@prefix x3d: <http://smartlab.elis.ugent.be/aimontologies/geometry/ontologyx3d20091015#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix list: <http://www.co-ode.org/ontologies/lists/2008/09/11/list.owl#>.
@prefix inst: <http://multimedialab.elis.ugent.be/ontologies/ifc/instances#>.
@prefix ifc: <http://multimedialab.elis.ugent.be/ontologies/ifc/ontology#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix matrix: <http://smartlab.elis.ugent.be/ontologies/regulations/geometry/matrix#>.
@prefix we: <http://smartlab.elis.ugent.be/ontologies/regulations/geometry/wingededge#>.
@prefix var: <http://localhost/var#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
@prefix ns2: <http://smartlab.elis.ugent.be/aimontologies/geometry/instancesSTLTest#>.

:Triangle1 we:edge (_:sk0_1 _:sk1_1 _:sk2_1). _:sk0_1 we:vertexStart ("0.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk0_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk0_1 we:isEdgeOf :Triangle1. _:sk1_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk1_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk1_1 we:isEdgeOf :Triangle1. _:sk2_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk2_1 we:vertexEnd ("0.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk2_1 we:isEdgeOf :Triangle1.
:Triangle2 we:edge (_:sk3_1 _:sk4_1 _:sk5_1). _:sk3_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk3_1 we:vertexEnd ("30.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk3_1 we:isEdgeOf :Triangle2. _:sk4_1 we:vertexStart ("30.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk4_1 we:vertexEnd ("30.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk4_1 we:isEdgeOf :Triangle2. _:sk5_1 we:vertexStart ("30.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk5_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk5_1 we:isEdgeOf :Triangle2.
:Triangle3 we:edge (_:sk6_1 _:sk7_1 _:sk8_1). _:sk6_1 we:vertexStart ("30.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk6_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk6_1 we:isEdgeOf :Triangle3. _:sk7_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk7_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk7_1 we:isEdgeOf :Triangle3. _:sk8_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk8_1 we:vertexEnd ("30.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk8_1 we:isEdgeOf :Triangle3.
:Triangle4 we:edge (_:sk9_1 _:sk10_1 _:sk11_1). _:sk9_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk9_1 we:vertexEnd ("0.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk9_1 we:isEdgeOf :Triangle4. _:sk10_1 we:vertexStart ("0.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk10_1 we:vertexEnd ("0.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk10_1 we:isEdgeOf :Triangle4. _:sk11_1 we:vertexStart ("0.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk11_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk11_1 we:isEdgeOf :Triangle4.
:Triangle5 we:edge (_:sk12_1 _:sk13_1 _:sk14_1). _:sk12_1 we:vertexStart ("30.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk12_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk12_1 we:isEdgeOf :Triangle5. _:sk13_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk13_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk13_1 we:isEdgeOf :Triangle5. _:sk14_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk14_1 we:vertexEnd ("30.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk14_1 we:isEdgeOf :Triangle5.
:Triangle6 we:edge (_:sk15_1 _:sk16_1 _:sk17_1). _:sk15_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk15_1 we:vertexEnd ("30.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk15_1 we:isEdgeOf :Triangle6. _:sk16_1 we:vertexStart ("30.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk16_1 we:vertexEnd ("30.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk16_1 we:isEdgeOf :Triangle6. _:sk17_1 we:vertexStart ("30.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk17_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk17_1 we:isEdgeOf :Triangle6.
:Triangle7 we:edge (_:sk18_1 _:sk19_1 _:sk20_1). _:sk18_1 we:vertexStart ("30.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk18_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk18_1 we:isEdgeOf :Triangle7. _:sk19_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk19_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk19_1 we:isEdgeOf :Triangle7. _:sk20_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk20_1 we:vertexEnd ("30.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk20_1 we:isEdgeOf :Triangle7.
:Triangle8 we:edge (_:sk21_1 _:sk22_1 _:sk23_1). _:sk21_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk21_1 we:vertexEnd ("30.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk21_1 we:isEdgeOf :Triangle8. _:sk22_1 we:vertexStart ("30.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk22_1 we:vertexEnd ("30.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk22_1 we:isEdgeOf :Triangle8. _:sk23_1 we:vertexStart ("30.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk23_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk23_1 we:isEdgeOf :Triangle8.
:Triangle9 we:edge (_:sk24_1 _:sk25_1 _:sk26_1). _:sk24_1 we:vertexStart ("30.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk24_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk24_1 we:isEdgeOf :Triangle9. _:sk25_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk25_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk25_1 we:isEdgeOf :Triangle9. _:sk26_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk26_1 we:vertexEnd ("30.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk26_1 we:isEdgeOf :Triangle9.
:Triangle10 we:edge (_:sk27_1 _:sk28_1 _:sk29_1). _:sk27_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk27_1 we:vertexEnd ("0.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk27_1 we:isEdgeOf :Triangle10. _:sk28_1 we:vertexStart ("0.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk28_1 we:vertexEnd ("0.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk28_1 we:isEdgeOf :Triangle10. _:sk29_1 we:vertexStart ("0.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk29_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk29_1 we:isEdgeOf :Triangle10.
:Triangle11 we:edge (_:sk30_1 _:sk31_1 _:sk32_1). _:sk30_1 we:vertexStart ("0.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk30_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk30_1 we:isEdgeOf :Triangle11. _:sk31_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk31_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk31_1 we:isEdgeOf :Triangle11. _:sk32_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk32_1 we:vertexEnd ("0.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk32_1 we:isEdgeOf :Triangle11.
:Triangle12 we:edge (_:sk33_1 _:sk34_1 _:sk35_1). _:sk33_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk33_1 we:vertexEnd ("30.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk33_1 we:isEdgeOf :Triangle12. _:sk34_1 we:vertexStart ("30.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk34_1 we:vertexEnd ("30.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk34_1 we:isEdgeOf :Triangle12. _:sk35_1 we:vertexStart ("30.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk35_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk35_1 we:isEdgeOf :Triangle12.
:Triangle13 we:edge (_:sk36_1 _:sk37_1 _:sk38_1). _:sk36_1 we:vertexStart ("0.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk36_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk36_1 we:isEdgeOf :Triangle13. _:sk37_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk37_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk37_1 we:isEdgeOf :Triangle13. _:sk38_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk38_1 we:vertexEnd ("0.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk38_1 we:isEdgeOf :Triangle13.
:Triangle14 we:edge (_:sk39_1 _:sk40_1 _:sk41_1). _:sk39_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk39_1 we:vertexEnd ("0.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk39_1 we:isEdgeOf :Triangle14. _:sk40_1 we:vertexStart ("0.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk40_1 we:vertexEnd ("0.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk40_1 we:isEdgeOf :Triangle14. _:sk41_1 we:vertexStart ("0.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk41_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk41_1 we:isEdgeOf :Triangle14.
:Triangle15 we:edge (_:sk42_1 _:sk43_1 _:sk44_1). _:sk42_1 we:vertexStart ("0.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk42_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk42_1 we:isEdgeOf :Triangle15. _:sk43_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk43_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk43_1 we:isEdgeOf :Triangle15. _:sk44_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk44_1 we:vertexEnd ("0.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk44_1 we:isEdgeOf :Triangle15.
:Triangle16 we:edge (_:sk45_1 _:sk46_1 _:sk47_1). _:sk45_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk45_1 we:vertexEnd ("0.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk45_1 we:isEdgeOf :Triangle16. _:sk46_1 we:vertexStart ("0.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk46_1 we:vertexEnd ("0.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk46_1 we:isEdgeOf :Triangle16. _:sk47_1 we:vertexStart ("0.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk47_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk47_1 we:isEdgeOf :Triangle16.
:Triangle17 we:edge (_:sk48_1 _:sk49_1 _:sk50_1). _:sk48_1 we:vertexStart ("30.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk48_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk48_1 we:isEdgeOf :Triangle17. _:sk49_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk49_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk49_1 we:isEdgeOf :Triangle17. _:sk50_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk50_1 we:vertexEnd ("30.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk50_1 we:isEdgeOf :Triangle17.
:Triangle18 we:edge (_:sk51_1 _:sk52_1 _:sk53_1). _:sk51_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk51_1 we:vertexEnd ("0.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk51_1 we:isEdgeOf :Triangle18. _:sk52_1 we:vertexStart ("0.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk52_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk52_1 we:isEdgeOf :Triangle18. _:sk53_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk53_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk53_1 we:isEdgeOf :Triangle18.
:Triangle19 we:edge (_:sk54_1 _:sk55_1 _:sk56_1). _:sk54_1 we:vertexStart ("30.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk54_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk54_1 we:isEdgeOf :Triangle19. _:sk55_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk55_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk55_1 we:isEdgeOf :Triangle19. _:sk56_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk56_1 we:vertexEnd ("30.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk56_1 we:isEdgeOf :Triangle19.
:Triangle20 we:edge (_:sk57_1 _:sk58_1 _:sk59_1). _:sk57_1 we:vertexStart ("0.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk57_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk57_1 we:isEdgeOf :Triangle20. _:sk58_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk58_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk58_1 we:isEdgeOf :Triangle20. _:sk59_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk59_1 we:vertexEnd ("0.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk59_1 we:isEdgeOf :Triangle20.
:Triangle21 we:edge (_:sk60_1 _:sk61_1 _:sk62_1). _:sk60_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk60_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk60_1 we:isEdgeOf :Triangle21. _:sk61_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "0.0"^^xsd:double). _:sk61_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk61_1 we:isEdgeOf :Triangle21. _:sk62_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk62_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk62_1 we:isEdgeOf :Triangle21.
:Triangle22 we:edge (_:sk63_1 _:sk64_1 _:sk65_1). _:sk63_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk63_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk63_1 we:isEdgeOf :Triangle22. _:sk64_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk64_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk64_1 we:isEdgeOf :Triangle22. _:sk65_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "0.0"^^xsd:double). _:sk65_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "0.0"^^xsd:double). _:sk65_1 we:isEdgeOf :Triangle22.
:Triangle23 we:edge (_:sk66_1 _:sk67_1 _:sk68_1). _:sk66_1 we:vertexStart ("0.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk66_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk66_1 we:isEdgeOf :Triangle23. _:sk67_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk67_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk67_1 we:isEdgeOf :Triangle23. _:sk68_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk68_1 we:vertexEnd ("0.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk68_1 we:isEdgeOf :Triangle23.
:Triangle24 we:edge (_:sk69_1 _:sk70_1 _:sk71_1). _:sk69_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk69_1 we:vertexEnd ("30.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk69_1 we:isEdgeOf :Triangle24. _:sk70_1 we:vertexStart ("30.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk70_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk70_1 we:isEdgeOf :Triangle24. _:sk71_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk71_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk71_1 we:isEdgeOf :Triangle24.
:Triangle25 we:edge (_:sk72_1 _:sk73_1 _:sk74_1). _:sk72_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk72_1 we:vertexEnd ("30.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk72_1 we:isEdgeOf :Triangle25. _:sk73_1 we:vertexStart ("30.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk73_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk73_1 we:isEdgeOf :Triangle25. _:sk74_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk74_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk74_1 we:isEdgeOf :Triangle25.
:Triangle26 we:edge (_:sk75_1 _:sk76_1 _:sk77_1). _:sk75_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk75_1 we:vertexEnd ("0.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk75_1 we:isEdgeOf :Triangle26. _:sk76_1 we:vertexStart ("0.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk76_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk76_1 we:isEdgeOf :Triangle26. _:sk77_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk77_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk77_1 we:isEdgeOf :Triangle26.
:Triangle27 we:edge (_:sk78_1 _:sk79_1 _:sk80_1). _:sk78_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk78_1 we:vertexEnd ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk78_1 we:isEdgeOf :Triangle27. _:sk79_1 we:vertexStart ("15.0"^^xsd:double "0.0"^^xsd:double "20.0"^^xsd:double). _:sk79_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk79_1 we:isEdgeOf :Triangle27. _:sk80_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk80_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk80_1 we:isEdgeOf :Triangle27.
:Triangle28 we:edge (_:sk81_1 _:sk82_1 _:sk83_1). _:sk81_1 we:vertexStart ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk81_1 we:vertexEnd ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk81_1 we:isEdgeOf :Triangle28. _:sk82_1 we:vertexStart ("15.0"^^xsd:double "50.0"^^xsd:double "20.0"^^xsd:double). _:sk82_1 we:vertexEnd ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk82_1 we:isEdgeOf :Triangle28. _:sk83_1 we:vertexStart ("0.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk83_1 we:vertexEnd ("30.0"^^xsd:double "25.0"^^xsd:double "20.0"^^xsd:double). _:sk83_1 we:isEdgeOf :Triangle28.
_:sk0_1 we:partoftotalfaceedge _:sk4.
_:sk3_1 we:partoftotalfaceedge _:sk4.
_:sk4_1 we:partoftotalfaceedge _:sk9.
_:sk6_1 we:partoftotalfaceedge _:sk16.
_:sk9_1 we:partoftotalfaceedge _:sk16.
_:sk10_1 we:partoftotalfaceedge _:sk21.
_:sk12_1 we:partoftotalfaceedge _:sk28.
_:sk15_1 we:partoftotalfaceedge _:sk28.
_:sk16_1 we:partoftotalfaceedge _:sk33.
_:sk18_1 we:partoftotalfaceedge _:sk40.
_:sk21_1 we:partoftotalfaceedge _:sk40.
_:sk22_1 we:partoftotalfaceedge _:sk45.
_:sk24_1 we:partoftotalfaceedge _:sk52.
_:sk27_1 we:partoftotalfaceedge _:sk52.
_:sk28_1 we:partoftotalfaceedge _:sk57.
_:sk30_1 we:partoftotalfaceedge _:sk64.
_:sk33_1 we:partoftotalfaceedge _:sk64.
_:sk34_1 we:partoftotalfaceedge _:sk69.
_:sk36_1 we:partoftotalfaceedge _:sk76.
_:sk39_1 we:partoftotalfaceedge _:sk76.
_:sk40_1 we:partoftotalfaceedge _:sk81.
_:sk42_1 we:partoftotalfaceedge _:sk88.
_:sk45_1 we:partoftotalfaceedge _:sk88.
_:sk46_1 we:partoftotalfaceedge _:sk93.
_:sk48_1 we:partoftotalfaceedge _:sk100.
_:sk51_1 we:partoftotalfaceedge _:sk100.
_:sk50_1 we:partoftotalfaceedge _:sk107.
_:sk54_1 we:partoftotalfaceedge _:sk107.
_:sk52_1 we:partoftotalfaceedge _:sk114.
_:sk59_1 we:partoftotalfaceedge _:sk114.
_:sk56_1 we:partoftotalfaceedge _:sk121.
_:sk57_1 we:partoftotalfaceedge _:sk121.
_:sk66_1 we:partoftotalfaceedge _:sk128.
_:sk69_1 we:partoftotalfaceedge _:sk128.
_:sk68_1 we:partoftotalfaceedge _:sk135.
_:sk76_1 we:partoftotalfaceedge _:sk135.
_:sk70_1 we:partoftotalfaceedge _:sk142.
_:sk72_1 we:partoftotalfaceedge _:sk142.
_:sk73_1 we:partoftotalfaceedge _:sk149.
_:sk75_1 we:partoftotalfaceedge _:sk149.
_:sk4 a we:FinalFaceEdge. _:sk4 we:faceedges (_:sk0_1 _:sk3_1). _:sk4 we:faceedgescount 2 . _:sk4 we:length 30.0 . _:sk4 we:normalizedvector (1.0 0.0 0.0).
_:sk9 a we:FinalFaceEdge. _:sk9 we:faceedges (_:sk4_1). _:sk9 we:faceedgescount 1 . _:sk9 we:length 20.0 . _:sk9 we:normalizedvector (0.0 0.0 1.0).
_:sk16 a we:FinalFaceEdge. _:sk16 we:faceedges (_:sk6_1 _:sk9_1). _:sk16 we:faceedgescount 2 . _:sk16 we:length 30.0 . _:sk16 we:normalizedvector (-1.0 0.0 0.0).
_:sk21 a we:FinalFaceEdge. _:sk21 we:faceedges (_:sk10_1). _:sk21 we:faceedgescount 1 . _:sk21 we:length 20.0 . _:sk21 we:normalizedvector (0.0 0.0 -1.0).
_:sk28 a we:FinalFaceEdge. _:sk28 we:faceedges (_:sk12_1 _:sk15_1). _:sk28 we:faceedgescount 2 . _:sk28 we:length 50.0 . _:sk28 we:normalizedvector (0.0 1.0 0.0).
_:sk33 a we:FinalFaceEdge. _:sk33 we:faceedges (_:sk16_1). _:sk33 we:faceedgescount 1 . _:sk33 we:length 20.0 . _:sk33 we:normalizedvector (0.0 0.0 1.0).
_:sk40 a we:FinalFaceEdge. _:sk40 we:faceedges (_:sk18_1 _:sk21_1). _:sk40 we:faceedgescount 2 . _:sk40 we:length 50.0 . _:sk40 we:normalizedvector (0.0 -1.0 0.0).
_:sk45 a we:FinalFaceEdge. _:sk45 we:faceedges (_:sk22_1). _:sk45 we:faceedgescount 1 . _:sk45 we:length 20.0 . _:sk45 we:normalizedvector (0.0 0.0 -1.0).
_:sk52 a we:FinalFaceEdge. _:sk52 we:faceedges (_:sk24_1 _:sk27_1). _:sk52 we:faceedgescount 2 . _:sk52 we:length 30.0 . _:sk52 we:normalizedvector (-1.0 0.0 0.0).
_:sk57 a we:FinalFaceEdge. _:sk57 we:faceedges (_:sk28_1). _:sk57 we:faceedgescount 1 . _:sk57 we:length 20.0 . _:sk57 we:normalizedvector (0.0 0.0 1.0).
_:sk64 a we:FinalFaceEdge. _:sk64 we:faceedges (_:sk30_1 _:sk33_1). _:sk64 we:faceedgescount 2 . _:sk64 we:length 30.0 . _:sk64 we:normalizedvector (1.0 0.0 0.0).
_:sk69 a we:FinalFaceEdge. _:sk69 we:faceedges (_:sk34_1). _:sk69 we:faceedgescount 1 . _:sk69 we:length 20.0 . _:sk69 we:normalizedvector (0.0 0.0 -1.0).
_:sk76 a we:FinalFaceEdge. _:sk76 we:faceedges (_:sk36_1 _:sk39_1). _:sk76 we:faceedgescount 2 . _:sk76 we:length 50.0 . _:sk76 we:normalizedvector (0.0 -1.0 0.0).
_:sk81 a we:FinalFaceEdge. _:sk81 we:faceedges (_:sk40_1). _:sk81 we:faceedgescount 1 . _:sk81 we:length 20.0 . _:sk81 we:normalizedvector (0.0 0.0 1.0).
_:sk88 a we:FinalFaceEdge. _:sk88 we:faceedges (_:sk42_1 _:sk45_1). _:sk88 we:faceedgescount 2 . _:sk88 we:length 50.0 . _:sk88 we:normalizedvector (0.0 1.0 0.0).
_:sk93 a we:FinalFaceEdge. _:sk93 we:faceedges (_:sk46_1). _:sk93 we:faceedgescount 1 . _:sk93 we:length 20.0 . _:sk93 we:normalizedvector (0.0 0.0 -1.0).
_:sk100 a we:FinalFaceEdge. _:sk100 we:faceedges (_:sk48_1 _:sk51_1). _:sk100 we:faceedgescount 2 . _:sk100 we:length 30.0 . _:sk100 we:normalizedvector (-1.0 0.0 0.0).
_:sk107 a we:FinalFaceEdge. _:sk107 we:faceedges (_:sk50_1 _:sk54_1). _:sk107 we:faceedgescount 2 . _:sk107 we:length 50.0 . _:sk107 we:normalizedvector (0.0 -1.0 0.0).
_:sk114 a we:FinalFaceEdge. _:sk114 we:faceedges (_:sk52_1 _:sk59_1). _:sk114 we:faceedgescount 2 . _:sk114 we:length 50.0 . _:sk114 we:normalizedvector (0.0 1.0 0.0).
_:sk121 a we:FinalFaceEdge. _:sk121 we:faceedges (_:sk56_1 _:sk57_1). _:sk121 we:faceedgescount 2 . _:sk121 we:length 30.0 . _:sk121 we:normalizedvector (1.0 0.0 0.0).
_:sk128 a we:FinalFaceEdge. _:sk128 we:faceedges (_:sk66_1 _:sk69_1). _:sk128 we:faceedgescount 2 . _:sk128 we:length 30.0 . _:sk128 we:normalizedvector (1.0 0.0 0.0).
_:sk135 a we:FinalFaceEdge. _:sk135 we:faceedges (_:sk68_1 _:sk76_1). _:sk135 we:faceedgescount 2 . _:sk135 we:length 50.0 . _:sk135 we:normalizedvector (0.0 -1.0 0.0).
_:sk142 a we:FinalFaceEdge. _:sk142 we:faceedges (_:sk70_1 _:sk72_1). _:sk142 we:faceedgescount 2 . _:sk142 we:length 50.0 . _:sk142 we:normalizedvector (0.0 1.0 0.0).
_:sk149 a we:FinalFaceEdge. _:sk149 we:faceedges (_:sk73_1 _:sk75_1). _:sk149 we:faceedgescount 2 . _:sk149 we:length 30.0 . _:sk149 we:normalizedvector (-1.0 0.0 0.0).


#ENDS 8128 [msec] TC=610 TP=205146 BC=0 BP=2214 PM=0 CM=0 FM=0 AM=0

