IFC 4.3.0.1 (IFC4X3_TC1)

Annex E Examples - Georeferencing_Tin_5

Example overview

the number of digits in the (x,y) coordinates. At the time some survey software was still DOS based and used low precision. This choice of origin was used because the final 3 digits before the decimal point, and those after the decimal point, are then identical to the full map coordinates.

IfcMapConversion places the data in the correct map coordinates.

Since 2000, in Australia the Authorities have stipulated that all Road and Rail Infrastructure are done in full MGA map coordinates.
Previously it was MGA94 but due the continental drift, it is now MGA2020

Intent

IFC 4x3 RC1 The coordinates for the tin are in map scale but with a local origin of (256000.0, 7011000.0, 0.0) IfcMapConversion is used to translate the coordinates to the correct (Easting, Northing, Height) for the map projection.

The Horizontal and Vertical datums are specified in the EPSG code in IfcProjectedCRS. The EPSG code states that the cordinates are MGA2020 Zone 56 and AHD (Ausralian Height Datum).

The ifc file was written by 12d Model.

Prerequisites

This scenario builds upon following other scenarios: - Georeferencing_1 - Georeferencing_Tin_1

Content

This scenario covers the following concepts and/or IFC entities:

Supporting files

Following files correspond to this scenario:

Filename Description
UT_Tin_ifcMapConversion_to_place_in_MGA_56_Standard_Origin.ifc the exported content as IFC document
UT_Tin_ifcMapConversion_to_place_in_MGA_56_Standard_Origin.png screen shot from 12d Model
Table 5ebc6b69-58f9-49f7-8bfc-f585afb2a37c

Images

  • Figure d3a649dc-556a-4967-b1a5-d54d0cd30eaf
  • Figure 05d80791-1285-466b-b0d6-db0533244470

IFC-SPF source

ISO-10303-21;
HEADER;
FILE_DESCRIPTION (('ViewDefinition[]'), '2;1');
FILE_NAME ('UT_Tin_ifcMapConversion_to_place_in_MGA_56_Standard_origin.ifc', '2020-10-14T20:11:58', ('Gregory Lee'), ('12d Solutions'), 'IFC Engine rev 1198', '12d Model 15.0 Alpha 325 [DEVELOP] INT Build 13-10-2020', '');
FILE_SCHEMA (('IFC4X3_RC1'));
ENDSEC;
DATA;
#1 = IFCPROJECT('19S2rVW_v6h9wDt$Ub99R0', #2, 'Condamine False', 'Data in MGA2020 Zone 56', $, $, $, (#14), #9);
#2 = IFCOWNERHISTORY(#3, #8, $, .ADDED., $, $, $, 1602666718);
#3 = IFCPERSONANDORGANIZATION(#4, #6, $);
#4 = IFCPERSON($, 'Lee', 'Gregory', $, ('Dr'), $, (#5), $);
#5 = IFCACTORROLE(.CIVILENGINEER., 'Designer', $);
#6 = IFCORGANIZATION($, '12d Solutions', $, (#7), $);
#7 = IFCACTORROLE(.CONSULTANT., 'Engineering', $);
#8 = IFCAPPLICATION(#6, '15.0 Alpha 325 [DEVELOP] INT Build 13-10-2020', '12d Model', '12d Model');
#9 = IFCUNITASSIGNMENT((#10, #11, #12, #13));
#10 = IFCSIUNIT(*, .LENGTHUNIT., $, .METRE.);
#11 = IFCSIUNIT(*, .AREAUNIT., $, .SQUARE_METRE.);
#12 = IFCSIUNIT(*, .VOLUMEUNIT., $, .CUBIC_METRE.);
#13 = IFCSIUNIT(*, .PLANEANGLEUNIT., $, .RADIAN.);
#14 = IFCGEOMETRICREPRESENTATIONCONTEXT($, 'Model', 3, 1.E-6, #16, #20);
#15 = IFCLOCALPLACEMENT($, #16);
#16 = IFCAXIS2PLACEMENT3D(#17, #18, #19);
#17 = IFCCARTESIANPOINT((0., 0., 0.));
#18 = IFCDIRECTION((0., 0., 1.));
#19 = IFCDIRECTION((1., 0., 0.));
#20 = IFCDIRECTION((0., 1., 0.));
#21 = IFCPROJECTEDCRS('EPSG:7856', 'MGA2020 Zone 56 and AHD', $, 'EPSG:5711', $, $, $);
#22 = IFCMAPCONVERSION(#14, #21, 256000., 7011000., 0., 1., 0., 1.);
#23 = IFCSITE('2HbACJSJ53sguAIlgEPRau', #2, 'Default Site', 'Description of Default Site', $, #15, $, $, .ELEMENT., $, $, $, $, $);
#24 = IFCRELAGGREGATES('26Pmxzf6P8VRU_alGlT_ke', #2, 'ProjectContainer', 'ProjectContainer for Sites', #1, (#23));
#25 = IFCFACILITY('0SZpJ1sYr83v_sKCspIshr', #2, 'tin tiny', 'Description of tin tiny', $, #15, $, $, .ELEMENT., $, $, $);
#26 = IFCRELAGGREGATES('3phn2gwcX6H9UD5AO0153o', #2, 'SiteContainer', 'SiteContainer For All Models', #23, (#25));
#27 = IFCRELCONTAINEDINSPATIALSTRUCTURE('1Neh2pQAL8WPaUObIGLNDQ', #2, 'Building Container', 'BuildingContainer for Elements', (#28), #25);
#28 = IFCSOLIDSTRATUM('1AnbLJnsvBP8e727u0NDHD', #2, 'tiny', '12d Tin', 'Tin', #15, #29, $);
#29 = IFCPRODUCTDEFINITIONSHAPE($, $, (#30));
#30 = IFCSHAPEREPRESENTATION(#14, 'Body', 'Tessellation', (#32));
#31 = IFCCARTESIANPOINTLIST3D(((504.4738889937, 526.236152129248, 33.25), (561.6328125, 561.122187499888, 34.25), (560.890000000014, 567.657142859884, 34.25), (483.385643006797, 558.127299615182, 34.25), (481.044145101245, 562.950956637971, 34.5), (485., 558.956924290396, 34.25), (504.056041820004, 545., 33.75), (515., 552.780399340205, 34.25), (514.255853367678, 531.342935780063, 33.75), (315.101009564794, 609.495911723934, 36.75), (322.049713508459, 610.192729199305, 36.75), (496.24692187499, 531.632124027237, 33.25), (509.197912393254, 528.702381256968, 33.5), (306.746206373791, 608.65809032321, 35.75), (500.168050859997, 530., 33.25), (507.713437869999, 530., 33.5), (328.108894000005, 611.89110600017, 36.75), (335., 614.509610890411, 36.75), (490.912921810494, 542.620554473251, 33.5), (500., 540.327882629819, 33.5), (497.073451600008, 547.926548399962, 33.75), (487.79841973912, 549.036656642333, 33.75), (500., 552.259619610384, 33.75), (486.184892949997, 558.815107050352, 34.25), (550.131231570005, 557.942311190069, 34.5), (544.746013480006, 563.688576930203, 34.75), (552.41171171001, 567.943513509817, 34.75), (566.070839989989, 566.007369779982, 34.25), (575., 574.816265939735, 34.25), (550.785350232763, 550.413567219861, 34.25), (561.879405217769, 556.205342414789, 34.25), (345.780979339994, 615.074730359949, 36.75), (521.780984829995, 553.219015169889, 34.25), (521.264217270014, 560., 34.5), (500., 530.225011150353, 33.25), (534.249692870013, 555.750307129696, 34.5), (530., 562.442807730287, 34.75), (541.817277190014, 563.182722809725, 34.75), (530., 555.546258769929, 34.5), (530., 549.028736189939, 34.25), (540.468614840007, 549.531385160051, 34.25), (481.577698609995, 563.422301390208, 34.5), (545., 556.321766849607, 34.5), (511.050373100006, 560., 34.25), (515., 563.671985089779, 34.5), (505.604018679995, 575., 34.5), (588.598794797872, 583.738142074086, 34.25), (472.861561694706, 579.807677212171, 35.25), (476.961169740011, 583.038830259815, 35.25), (485., 574.91300994996, 34.75), (486.985167489998, 560., 34.25), (548.311188599997, 556.688811399974, 34.5), (485., 566.546007799916, 34.5), (500., 574.032367199659, 34.25), (545., 549.772262380458, 34.25), (557.157207209995, 561.842162160203, 34.5), (493.773271490005, 566.226728510112, 34.25), (542.285560020013, 580.273931650445, 35.25), (500., 582.912588319741, 34.5), (511.819600930001, 575., 34.75), (504.099229199986, 585.900770800188, 34.75), (478.234914734494, 568.738176758401, 34.75), (524.265869950003, 565.734130050056, 34.75), (485.081564649998, 575., 34.75), (485.04537112001, 574.954628880136, 34.75), (500., 606.125232409686, 35.5), (500., 601.140768090263, 35.25), (498.488853340008, 606.511146659963, 35.5), (530., 578.133654129691, 35.25), (554.000801379996, 580.335140460171, 34.75), (559.198705849994, 573.469106449746, 34.5), (556.278630140005, 573.572739729658, 34.5), (515., 571.16563646961, 34.75), (518.938390249998, 586.061609749682, 35.25), (485., 590.810614719987, 35.25), (498.635228800005, 590., 34.75), (492.540810409992, 582.459189590067, 34.75), (489.409321299987, 570.590678700246, 34.5), (492.92673323999, 575., 34.5), (552.076455700008, 574.628227850422, 34.75), (550.586849320011, 580.456301369704, 34.75), (542.637931030011, 580.542413789779, 35.25), (562.860187520011, 575., 34.5), (556.639746839995, 572.159873420373, 34.5), (533.570310170006, 587.173504450358, 35.5), (567.333860009996, 582.666139990091, 34.5), (515., 595.304880790412, 35.5), (514.144882760011, 590., 35.25), (515., 588.773420910351, 35.25), (520.805996659998, 593.880647730082, 35.5), (500., 590.977769860066, 34.75), (501.24142608, 590., 34.75), (476.022463500005, 590., 35.5), (484.353634430008, 590., 35.25), (575.159157199989, 575., 34.25), (575., 588.226549839601, 34.5), (536.125, 589.120000000112, 35.5), (534.419843749987, 595.626249999739, 35.5), (528.874929409998, 597.135937250219, 35.75), (472.920750899997, 587.079249099828, 35.5), (539.462812499987, 592.657499999739, 35.25), (481.253528189991, 593.746471810155, 35.5), (420.166801248211, 620.031931148842, 36.75), (470.324930354196, 585.033323392272, 35.5), (484.730261149991, 590.269738850184, 35.25), (490.737528580008, 599.262471419759, 35.25), (499.187078899995, 590.812921100296, 34.75), (559.632748209988, 590.367251790129, 34.75), (560., 590.678333439864, 34.75), (544.370838010014, 602.581658620387, 35.25), (559.412912319996, 590.046599290334, 34.75), (540.05755102, 593.957755099982, 35.25), (536.501428569987, 600.177142860368, 35.5), (470., 603.587004880421, 36.25), (465.095681870007, 609.904318129644, 36.5), (470.823329300008, 604.176670700312, 36.25), (583.438488499989, 581.561511499807, 34.25), (584.421486041421, 592.041611623019, 34.5), (470., 612.264833729714, 36.5), (471.233929799986, 605., 36.25), (525.188448770001, 590., 35.5), (470., 591.653488880023, 35.75), (468.394095299998, 591.605904700235, 35.75), (496.463379939989, 578.536620059982, 34.5), (568.407452879997, 596.592547119595, 34.75), (481.655141269992, 605., 35.75), (486.512753410003, 603.487246589735, 35.5), (485., 601.258835010231, 35.5), (530., 586.551517769694, 35.5), (515., 601.42030476965, 35.75), (510.191201209993, 605., 35.75), (578.334922479989, 590., 34.5), (575.989363050001, 589.010636949912, 34.5), (501.976020430011, 605., 35.5), (530.15400000001, 600.293999999762, 35.75), (305.392210079153, 609.311965892091, 35.75), (580.795474416867, 599.249237121083, 34.75), (575., 597.303778089583, 34.75), (571.539892088709, 617.647074220702, 35.25), (580.763107070001, 599.236892930232, 34.75), (477.776795229991, 597.223204770125, 35.75), (311.286410260014, 611.953589740209, 36.75), (309.920181819994, 612.546000000089, 36.75), (311.451250000013, 614.608749999665, 37.25), (354.456001760002, 630.543998239562, 37.25), (357.459819690004, 638.878904299811, 37.5), (365., 634.478980589658, 37.25), (516.609999999986, 614.182210530154, 36.25), (538.498203219991, 604.169455889612, 35.5), (545.610366239998, 604.389633759856, 35.25), (531.879263159994, 607.001684210263, 35.75), (533.349338859989, 607.865144809708, 35.75), (525.352634629991, 624.647365369834, 36.25), (542.540724019986, 620., 35.75), (314.446709779993, 616.025519110262, 37.25), (319.231313589989, 620.687866579741, 37.25), (319.436057159997, 621.048861829564, 37.25), (320.652897869993, 619.347102129832, 37.25), (459.384311539994, 635., 37.25), (470., 621.680985120125, 36.75), (468.828818859998, 621.171181139536, 36.75), (340.382727010001, 628.315339010209, 37.25), (340.217435659986, 615.785296110436, 36.75), (335., 625.170979949646, 37.25), (461.44170574806, 603.333416106179, 36.25), (458.359842520877, 609.682279868051, 36.5), (482.838382629998, 607.161617370322, 35.75), (554.929753570003, 610.070246430114, 35.25), (466.762911149999, 638.237088849768, 37.25), (475.134567950008, 629.865432050079, 36.75), (476.103667210002, 613.896332790144, 36.25), (357.993719099992, 620., 36.75), (364.311089919996, 620.68891008012, 36.75), (485., 610.382375350222, 35.75), (500., 610.803315429948, 35.75), (372.752135699993, 635., 37.25), (372.98665430001, 642.013345699757, 37.5), (379.529008100013, 635.470991900191, 37.25), (560., 614.390641209669, 35.25), (564.944187699992, 615.055812300183, 35.25), (510.109999999986, 622.395368419588, 36.5), (518.921499999997, 618.303749999963, 36.25), (546.330942639994, 605., 35.25), (545., 613.229916689917, 35.5), (455.18841472856, 616.215653188527, 36.75), (458.669594220002, 616.330405780114, 36.75), (307.847454550007, 610.812666670419, 36.25), (305.774727270007, 609.079333329573, 35.75), (306.339886780654, 611.729512626305, 36.25), (493.972616100014, 605., 35.5), (492.206356079987, 612.793643919751, 35.75), (313.24157122281, 609.309446860105, 36.5), (310.961623929994, 610.778376069851, 36.5), (395., 623.613980170339, 36.75), (395., 636.712925779633, 37.25), (407.19666352999, 622.803336470388, 36.75), (309.584563662269, 620.006763706915, 37.25), (311.188422738633, 624.098247930408, 36.75), (530., 630.113702000119, 36.25), (522.380111940001, 635., 36.5), (526.804764060013, 638.195235939696, 36.5), (472.736309489992, 617.263690509833, 36.5), (527.499102989997, 598.35422727, 35.75), (410.026701130002, 634.973298870027, 37.25), (410., 641.921065219678, 37.5), (418.889526359999, 641.110473640263, 37.5), (455., 633.056055570021, 37.25), (466.29371559, 620., 36.75), (549.258864730014, 615.741135270335, 35.5), (545., 621.539587319829, 35.75), (554.256901919987, 620., 35.5), (478.592547139997, 626.407452859916, 36.5), (482.050526329986, 622.949473669752, 36.25), (480.20015414001, 620., 36.25), (311.382132877829, 609.122981996275, 36.25), (350., 618.591505849734, 36.75), (345.075555560004, 628.124444440007, 37.25), (380., 621.837997050025, 36.75), (391.616014859988, 623.383985140361, 36.75), (314.623448280006, 624.89034483023, 36.75), (314.141120690008, 626.091637929901, 36.5), (314.858793099993, 625.063620690256, 36.75), (474.572788399993, 620., 36.5), (311.567303544783, 625.064782249741, 36.5), (311.710689659987, 623.915344829671, 36.75), (410., 622.53152417019, 36.75), (500.066161939991, 620.175747999921, 36.25), (485., 624.397568359971, 36.25), (349.29061026001, 643.081400830299, 37.75), (349.808709209989, 635.6512484001, 37.5), (347.80975017001, 642.456693240441, 37.75), (543.564495410013, 621.435504590161, 35.75), (519.921368420008, 622.191157889552, 36.25), (558.081457630004, 621.9185423702, 35.5), (553.963820130011, 626.036179870367, 35.75), (560., 630.211375270039, 35.5), (380., 635.495219079778, 37.25), (563.236675064545, 634.151841701008, 35.5), (560.690384348301, 639.213245742954, 35.75), (494.907222220005, 653.286666669883, 37.25), (503.694259259995, 630.731111110188, 36.75), (503.57506666999, 630.646266669966, 36.75), (499.755387929996, 620.2446120698, 36.25), (346.68215765999, 628.0576171102, 37.25), (314.301379309996, 628.364137929864, 36.25), (314.363448279997, 629.959310350008, 36.25), (315.206120690011, 630.278275859542, 36.5), (502.006895639992, 625.330978609622, 36.5), (532.034115779999, 632.965884219855, 36.25), (545., 633.90598896984, 36.25), (337.346841499995, 632.085521929897, 37.5), (343.341428570013, 630.141190480441, 37.25), (313.423448279995, 627.119655169547, 36.25), (313.777241380012, 627.743448279798, 36.25), (314.740603449987, 627.148620690219, 36.5), (513.677750000003, 628.756874999963, 36.5), (485., 629.553301759996, 36.5), (410., 688.431253950112, 39.5), (410., 684.201234759763, 39.25), (405.414051180007, 684.585948820226, 39.25), (347.448000000004, 659.501199999824, 38.25), (348.936701989995, 668.657443519682, 38.5), (348.819843400008, 659.947002960369, 38.25), (312.795862069994, 626.657586210407, 36.25), (312.411034479999, 626.334827589802, 36.25), (345.530277779995, 633.30027777981, 37.5), (343.932307690004, 628.426666669548, 37.25), (518.988863450009, 631.011136550456, 36.5), (401.620249850006, 643.379750150256, 37.5), (409.792322860012, 635., 37.25), (314.79377759737, 633.295597461984, 36.25), (315.248274672544, 634.455030757003, 36.5), (315.50482758999, 633.255862070248, 36.5), (393.522238959995, 636.477761040442, 37.25), (554.597818036826, 651.323779531755, 36.5), (551.49912146313, 657.483231499791, 36.75), (350., 630.058070690371, 37.25), (365., 620.946008860134, 36.75), (365.492278010002, 634.507721990347, 37.25), (365., 641.458274089731, 37.5), (343.663774059998, 636.544105569832, 37.5), (337.835949820001, 645.595425140113, 37.75), (345.486923079996, 645.332307689823, 37.75), (378.278719880007, 621.721280120313, 36.75), (425., 633.509105869569, 37.25), (426.793726300006, 633.206273700111, 37.25), (440., 630.76765749976, 37.25), (444.327527240006, 630.672472760081, 37.25), (411.24932562001, 648.75067437999, 37.75), (436.543292729999, 638.456707269885, 37.5), (523.637954879989, 624.374124379829, 36.25), (492.580161630001, 627.419838369824, 36.5), (460.479175869987, 644.520824129693, 37.5), (462.748077349999, 650., 37.5), (470., 646.054342829622, 37.25), (496.042982479994, 632.237791350111, 36.75), (403.477400659991, 650., 37.75), (410., 662.678548679687, 38.25), (410., 648.864594150335, 37.75), (540.092961020011, 639.907038980164, 36.5), (545.728545129998, 634.27145486977, 36.25), (503.505803650012, 630.660601589829, 36.75), (488.828399999999, 648.959599999711, 37.25), (485.404935330007, 634.595064669847, 36.75), (485., 634.709035149775, 36.75), (366.444300489995, 648.555699509569, 37.75), (368.793947239988, 661.206052759662, 38.25), (380., 649.252986259758, 37.75), (335., 630.714597419836, 37.5), (562.871342369996, 632.128657639958, 35.5), (515., 638.173104110174, 36.75), (521.867541829997, 643.132458169945, 36.75), (545.897093650012, 635., 36.25), (551.524739929999, 643.475260069594, 36.25), (556.037595030008, 635., 35.75), (335., 639.770949319936, 37.75), (316.662422929512, 638.062557982281, 37.25), (315.611279849894, 635.381065953523, 36.75), (346.981666670006, 642.001666669734, 37.75), (343.273761749995, 635.74309798982, 37.5), (440., 638.451354740188, 37.5), (425., 660.548393440433, 38.25), (425., 647.247492860071, 37.75), (556.768237311364, 647.009516114369, 36.25), (449.61913348001, 640.380866520107, 37.5), (380., 642.374102669768, 37.5), (387.1093253, 642.890674700029, 37.5), (425., 640.442495410331, 37.5), (393.84794919999, 651.15205079969, 37.75), (395., 644.146363800392, 37.5), (513.942421049986, 629.785894740373, 36.5), (365., 648.455320780165, 37.75), (380.696411640005, 649.303588359617, 37.75), (385.072620469989, 650., 37.75), (530., 639.148393250071, 36.5), (442.78403042999, 647.215969569981, 37.75), (456.329660469986, 633.670339530334, 37.25), (344.323939389986, 636.321212120354, 37.5), (514.92622334999, 630.363738809712, 36.5), (507.75289855001, 637.649275359698, 36.75), (428.324402869999, 646.675597130321, 37.75), (440., 646.657518070191, 37.75), (560., 638.986259739846, 35.75), (481.451000000001, 664.011666670442, 37.75), (481.854411759996, 658.010882349685, 37.5), (481.738500000007, 657.990833329968, 37.5), (455., 642.117037500255, 37.5), (545., 641.284792870283, 36.5), (429.457166879991, 660.542833119631, 38.25), (395., 651.285402130336, 37.75), (396.907413509995, 663.092586499639, 38.25), (530., 645.558417369612, 36.75), (328.479492520011, 635., 37.5), (320., 643.415812410414, 37.5), (315.981551720004, 633.297241380438, 36.75), (319.952457289997, 635.087361089885, 37.25), (320., 634.561047540046, 37.25), (319.086130050186, 644.245494870469, 37.5), (321.597515536734, 650.652101441287, 37.75), (356.536953850009, 659.912472539581, 38.25), (442.54035416001, 662.459645840339, 38.25), (451.412498690013, 650., 37.75), (534.131067540002, 645.868932460435, 36.75), (454.250336310011, 650.749663690105, 37.75), (545., 648.920612719841, 36.75), (471.296453949995, 648.703546050005, 37.25), (466.431583630008, 653.568416370079, 37.5), (470., 657.906161500141, 37.5), (380., 661.598837490194, 38.25), (485.295986020006, 649.690681279637, 37.25), (485., 649.753234850243, 37.25), (548.477730179991, 646.522269819863, 36.5), (545.430720420001, 649.569279580377, 36.75), (545.516729173978, 669.374766239896, 37.25), (335., 661.489157790318, 38.25), (324.574355040008, 650., 37.75), (447.942751249997, 665., 38.25), (455., 651.102175960317, 37.75), (490.747999999992, 659.43200000003, 37.5), (481.657910450012, 658.036716420203, 37.5), (412.611021060002, 662.388978940435, 38.25), (410., 668.728112329729, 38.5), (512.801534959988, 638.028296319768, 36.75), (395., 663.381801719777, 38.25), (324.986017761548, 659.296254533343, 38.25), (515., 661.147096510045, 37.5), (515., 654.219248110428, 37.25), (511.470678770012, 653.529321230017, 37.25), (497.774112040002, 653.876242489554, 37.25), (515., 668.175093219616, 37.75), (517.913560159999, 662.086439839564, 37.5), (533.881048259995, 661.118951739743, 37.25), (546.069746399997, 650., 36.75), (339.02830785999, 662.34444558993, 38.25), (440., 668.28872267995, 38.5), (437.165317620005, 667.834682379849, 38.5), (440., 674.097938739695, 38.75), (553.637364580005, 650., 36.5), (497.039775860001, 659.543074360117, 37.5), (505.675664650014, 659.324335349724, 37.5), (425., 666.777775909752, 38.5), (432.158120609995, 672.84187939018, 38.75), (325.905071919988, 659.094928080216, 38.25), (328.018153395969, 667.031307628378, 38.5), (440., 661.788567529991, 38.25), (365., 661.030174939893, 38.25), (454.40348519999, 680., 38.75), (442.92378764, 690.875145739876, 39.25), (448.124545450002, 693.190909090452, 39.25), (462.059193069988, 657.940806929953, 37.75), (495.13695652, 653.678260870278, 37.25), (422.900139050005, 667.099860940129, 38.5), (486.620727269998, 664.877454539761, 37.75), (496.975454550004, 680.023939389735, 38.25), (499.111116540007, 665.097958589904, 37.75), (380., 672.592340770178, 38.75), (380., 667.339498350397, 38.5), (377.505533579999, 667.494466420263, 38.5), (352.695565489994, 668.636593990028, 38.5), (361.710396559996, 668.315636279993, 38.5), (484.464705880004, 664.532941180281, 37.75), (523.152389299998, 656.847610699944, 37.25), (383.006464990001, 661.993535010144, 38.25), (512.857317549991, 667.749520120211, 37.75), (345.48000000001, 664.316153850406, 38.25), (348.411499999987, 668.650000000373, 38.5), (530., 668.364448170178, 37.5), (539.100782130001, 665., 37.25), (455., 667.467582269572, 38.25), (453.299977749994, 666.700022250414, 38.25), (448.890145070007, 671.10985493008, 38.5), (346.753846150008, 660.730000000447, 38.25), (354.301917809993, 690.923561640084, 39.25), (354.5, 687.584999999963, 39.25), (350.01826923, 681.900961539708, 38.75), (365., 667.080891890451, 38.5), (330.987275741994, 674.605612264015, 38.75), (481.584343430004, 657.941919189878, 37.5), (352.563502970006, 677.534915350378, 38.75), (365., 672.86690745037, 38.75), (458.056283040001, 668.469693309627, 38.25), (467.866389989998, 665., 37.75), (500.022950770013, 665.152343990281, 37.75), (391.504008310003, 668.495991690084, 38.5), (435.111215860001, 684.888784140348, 39.25), (479.355671639991, 665.204626870342, 37.75), (482.505818130012, 682.494181869552, 38.25), (425., 672.21999148, 38.75), (473.511612830014, 683.647043819539, 38.5), (478.726421410014, 686.273578589782, 38.5), (475.032485750009, 678.730099829845, 38.25), (499.322755459987, 665.344064409845, 37.75), (501.637575759989, 683.588787879795, 38.25), (500.844151330006, 687.667942740023, 38.5), (503.564067800005, 683.411016950384, 38.25), (530., 660.024484580383, 37.25), (371.904743560008, 673.095256440341, 38.75), (375.354518150009, 684.645481850021, 39.25), (335., 668.689906469546, 38.5), (528.246273769997, 666.753726230003, 37.5), (466.692021480005, 673.358870440163, 38.25), (469.160101009998, 672.33585858997, 38.25), (524.193609820009, 665., 37.5), (523.253384979995, 671.746615019627, 37.75), (455., 673.868454350159, 38.5), (332.01564463001, 667.984355369583, 38.5), (380., 684.345245859586, 39.25), (406.364954199991, 668.635045800358, 38.5), (410., 674.344945450313, 38.75), (469.609459489991, 665.986849660054, 37.75), (477.442929290002, 662.739898989908, 37.75), (542.606337539997, 667.393662460148, 37.25), (545., 668.903028800152, 37.25), (356.347826090001, 692.245326089673, 39.5), (395., 668.913177650422, 38.5), (365., 685.52786685992, 39.25), (416.471940830001, 673.52805916965, 38.75), (464.55225333001, 677.000500160269, 38.5), (386.730995010003, 673.269004990347, 38.75), (345.365391998668, 711.284542910755, 40.25), (348.647719924687, 719.657842737623, 40.5), (347.657692309993, 675.434615380131, 38.5), (347.743030299986, 674.958787879907, 38.5), (417.457867930003, 687.542132070288, 39.5), (422.260447339999, 682.739552659914, 39.25), (520.491500000004, 687.343500000425, 38.25), (530., 677.943090099841, 37.75), (359.207555639994, 688.336605370045, 39.25), (365., 692.733265910298, 39.5), (536.914318569994, 673.085681430064, 37.5), (542.027734093397, 676.310036315583, 37.5), (507.922571169998, 700.595141319558, 38.5), (505.189842480002, 707.572367530316, 38.75), (511.364204240002, 704.684210309759, 38.5), (348.135500000004, 669.427000000142, 38.5), (348.028571430012, 671.799999999814, 38.5), (335., 675.554286809638, 38.75), (481.141405820003, 658.125515559688, 37.5), (336.41389497288, 688.449052313343, 39.25), (367.477893730014, 692.522106270306, 39.5), (374.703403599997, 700.29659640044, 39.75), (380., 691.712806589901, 39.5), (474.194285709993, 678.492857139558, 38.25), (470.345079369989, 682.750793649815, 38.5), (513.699241850001, 681.358194230124, 38.25), (464.970714289986, 677.150357140228, 38.5), (460.229642860009, 682.154821430333, 38.75), (465.38419355001, 677.455806449987, 38.5), (497.010256409994, 681.769487179816, 38.25), (412.655288520007, 692.344711479731, 39.75), (419.537374509993, 707.468255340122, 40.25), (425., 694.797407579608, 39.75), (454.990549139999, 680.278625439852, 38.75), (389.149146590004, 685.850853409618, 39.25), (395., 684.362053769641, 39.25), (395., 674.255767289549, 38.75), (490.251633479988, 685.815349710174, 38.25), (350., 711.530390709639, 40.25), (350., 700.228138520382, 39.75), (533.160710839991, 680., 37.75), (474.947024699999, 690.052975299768, 38.75), (425., 689.040632699616, 39.5), (425., 683.283857819624, 39.25), (382.822684969986, 692.177315030247, 39.5), (444.480312389991, 675.519687609747, 38.75), (485., 686.550544819795, 38.25), (472.702812500007, 676.90093750041, 38.25), (538.782279932988, 682.761206520721, 37.75), (380., 698.585549780168, 39.75), (531.222299599991, 678.77770039998, 37.75), (475.961402560002, 704.038597440347, 39.25), (481.702472059987, 698.297527940013, 38.75), (477.988857860008, 695., 38.75), (470., 698.745131170377, 39.25), (503.202393890009, 680.13885334041, 38.25), (527.243571430008, 691.652142859995, 38.25), (528.265714289999, 692.202857140452, 38.25), (339.399711700011, 677.993616820313, 38.75), (344.062112690008, 691.230709379539, 39.25), (520.66399999999, 687.908999999985, 38.25), (522.279285710014, 688.60714286007, 38.25), (489.679479240003, 695., 38.5), (500., 701.663886910304, 38.75), (395., 689.0786931701, 39.5), (390.265761519986, 695., 39.75), (351.068958010001, 691.510022940114, 39.25), (338.766218281817, 694.449887328781, 39.5), (454.99558824001, 693.809117649682, 39.25), (430.143028160004, 689.856971840374, 39.5), (440., 689.195732910186, 39.25), (358.867122569995, 698.045207929797, 39.75), (363.613835880009, 693.405412640423, 39.5), (471.99073990999, 688.563987810165, 38.75), (532.897762494307, 694.458189963363, 38.25), (400.888336589996, 674.11166341044, 38.75), (400.796682090004, 689.203317910433, 39.5), (396.179313000001, 693.820686999708, 39.75), (410., 692.661273149773, 39.75), (410., 704.992386580445, 40.25), (410.073919220013, 713.118466909975, 40.5), (414.076666670007, 714.69000000041, 40.5), (504.707880509988, 697.004645889625, 38.5), (425.373300509993, 695., 39.75), (422.388491129997, 708.158962190151, 40.25), (433.100302529987, 703.808928820305, 39.75), (425.174840460008, 694.8251595404, 39.75), (525.511442627962, 709.140389835462, 38.5), (453.886153850006, 699.169999999925, 39.5), (457.522033899993, 695.283898309804, 39.25), (506.397082990006, 680.773372810334, 38.25), (466.495873020001, 687.008730160072, 38.75), (465.811612899997, 686.278387100436, 38.75), (526.945714289992, 691.317857139744, 38.25), (520.322914020013, 706.908861979842, 38.5), (430.715884009987, 719.423598060384, 40.25), (442.530485099996, 717.479458009824, 40.25), (438.331999999995, 704.531999999657, 39.75), (350.030956159986, 694.898933080025, 39.5), (344.94799516999, 700.05200482998, 39.75), (365.665066760004, 715.310607749969, 40.25), (358.633846150013, 698.22923076991, 39.75), (360.178823530005, 707.138235289603, 39.75), (354.943999999989, 695.302000000142, 39.25), (365., 701.047643180005, 39.75), (340.859001060046, 699.78862802498, 39.75), (461.531968099996, 696.386611689813, 39.25), (459.735666539986, 701.305749890395, 39.5), (438.104084160004, 697.420539130457, 39.5), (435.980839530006, 695., 39.5), (377.383659810002, 712.049402640201, 40.25), (378.686679920007, 711.713129349984, 40.25), (440.563750000001, 698.825500000268, 39.5), (381.392595329991, 711.135942700319, 40.25), (387.270786999987, 715.93079498969, 40.5), (383.67383397001, 710., 40.25), (452.298461539991, 702.541153850034, 39.75), (448.22592592999, 698.597037039697, 39.5), (373.143111790007, 718.944305860437, 40.5), (529.320865869988, 692.573158809915, 38.25), (490.070598169987, 704.929401829839, 38.75), (485., 696.495596970432, 38.5), (400.031305840006, 704.968694159761, 40.25), (395.023960849998, 719.791999960318, 40.75), (399.871600000013, 720.496799999848, 40.75), (401.932428409986, 713.08666832, 40.5), (356.257397259993, 693.769452050328, 39.5), (445.252571429999, 699.400285709649, 39.5), (395., 693.795332569629, 39.75), (470., 704.1645759698, 39.5), (459.062307690008, 721.194615379907, 40.25), (470.308373850014, 710., 39.75), (470.220333059988, 709.77966693975, 39.75), (484.092135070008, 695., 38.5), (470., 709.58402075991, 39.75), (473.09086781001, 706.909132190049, 39.5), (469.268305159989, 709.380228839815, 39.75), (446.539461420005, 705.564874979667, 39.75), (445.40142857001, 705.752142859623, 39.75), (443.349818960007, 716.800879520364, 40.25), (470., 711.093184109777, 39.75), (470.131773650006, 724.868226350285, 39.5), (474.325918199989, 710., 39.5), (500., 716.264845320024, 39.25), (500., 721.668122909963, 39.5), (502.610032939992, 722.389967059717, 39.5), (475.727923260012, 719.27207673993, 39.25), (478.343462540011, 710., 39.25), (526.506428569992, 691.082142859697, 38.25), (517.433968310012, 706.880515290424, 38.5), (513.721396389999, 705.193682819605, 38.5), (447.193333330011, 705.023333329707, 39.75), (395.005088500009, 712.079499820247, 40.5), (350., 719.729575900361, 40.5), (351.376381079986, 711.099760959856, 40.25), (357.494000000006, 702.201999999583, 39.5), (362.506307689997, 714.008153850213, 40.25), (364.608867920004, 715.468867920339, 40.25), (433.282500000001, 703.912999999709, 39.75), (356.973965649988, 706.671156990342, 39.75), (380.135874839994, 711.282164390199, 40.25), (485., 706.550003379583, 38.75), (424.416499999992, 713.67949999962, 40.25), (423.613684209995, 709.58315789979, 40.25), (417.416285710002, 716.892285710201, 40.5), (424.399999999994, 718.86400000006, 40.25), (480.783843379992, 725., 39.25), (503.618106079986, 705.704957939684, 38.75), (515.848681059986, 710., 38.75), (515., 720.15680264961, 39.25), (514.603471520008, 725.396528479643, 39.5), (518.335692519991, 721.664307479747, 39.25), (362.360153849993, 717.935076920316, 40.5), (380.709407099988, 716.694223330356, 40.5), (381.28293935, 722.106282279827, 40.75), (455.899999999994, 720.724999999627, 40.25), (449.565882349998, 703.898235290311, 39.75), (359.24060605999, 707.490606060252, 39.75), (468.059105086839, 731.505679123104, 39.75), (470.24808754999, 725., 39.5), (466.373768919992, 726.129251839593, 39.75), (515.361104059994, 709.790298609994, 38.75), (366.339999999997, 720.700000000186, 40.5), (368.643636360008, 725.56636364013, 40.75), (369.849090909993, 725.304545450024, 40.75), (438.070165840007, 723.840866389684, 40.5), (467.385772799986, 708.692886400037, 39.75), (393.148978670011, 720.725647269748, 40.75), (411.697112140013, 727.271658940241, 40.75), (417.399999999994, 722.009454550222, 40.5), (407.800714290002, 725.859285710379, 40.75), (506.842701819987, 718.157298180275, 39.25), (404.772857139993, 723.482857139781, 40.75), (515.165119300014, 709.788375579752, 38.75), (440.696307009988, 723.295697430149, 40.5), (440.525996940007, 723.43674951978, 40.5), (440.8318141161, 730.679201026447, 40.75), (518.547291899158, 722.983420572244, 39.25), (515.790979529032, 728.462296366692, 39.5), (450.462716550013, 720.211221639998, 40.25), (454.475999999995, 725.269999999553, 40.5), (355.283019342809, 728.082387220114, 40.75), (444.627929440001, 718.137465639971, 40.25), (440.961980260006, 723.57352565974, 40.5), (372.39909091001, 724.748181819916, 40.75), (425.025999589998, 724.921162540093, 40.5), (446.815604879986, 719.529764690436, 40.25), (523.369152810774, 713.398738762364, 38.75), (459.456754899991, 722.845799610019, 40.25), (466.541191180004, 724.293294689618, 39.75), (466.062769779994, 722.290588489734, 39.75), (441.416719380009, 723.862934609875, 40.5), (419.447083609994, 730.030072496273, 40.75), (458.946413350001, 728.442219439894, 40.25), (455.336153849988, 728.464615389705, 40.5), (455.232735560014, 729.598703240044, 40.5), (414.798443329986, 727.682330960408, 40.75), (363.149999999994, 725.480000000447, 40.75), (482.670915330003, 727.329084670171, 39.25), (358.75044792, 716.991814360023, 40.5), (495.413761100004, 725., 39.5), (485.665517879068, 732.040117696859, 39.5), (492.818276182603, 732.257238014601, 39.75), (487.976295310014, 725., 39.25), (509.709121610009, 730.290878389962, 39.75), (513.258079610008, 725., 39.5), (475.707219707168, 731.73783586733, 39.5), (360.99313131001, 714.576464650221, 40.25), (459.828391733899, 731.255837730132, 40.25), (500., 727.429300859571, 39.75), (458.442727270012, 721.77545455005, 40.25), (447.435774649988, 724.501701500267, 40.5), (455.516159049992, 730.502858639695, 40.5), (451.368260869989, 730.386521739885, 40.75), (485., 727.149461070076, 39.25), (515., 726.043519119732, 39.5), (511.257304004423, 732.816950423643, 39.75), (499.699062160013, 530.300937839784, 33.25), (467.28205508893, 591.301869098097, 35.75), (529.612068969989, 597.697586210445, 35.75), (529.376874999987, 598.594999999739, 35.75), (310.636837610014, 609.60316239018, 36.25), (308.883818180009, 611.679333330132, 36.5), (306.813725131331, 612.938285993412, 36.5), (313.709655170009, 625.773965519853, 36.5), (307.287563480495, 614.147059356794, 36.75), (309.907647059998, 619.553529409692, 37.25), (308.235240183072, 616.564606094733, 37.25), (320., 619.164096090011, 37.25), (319.00861004999, 620.501082969829, 37.25), (322.371125879989, 620., 37.25), (315.703965519991, 626.553793099709, 36.75), (410., 634.979863570072, 37.25), (312.054962852504, 626.308813220821, 36.25), (315.100948279985, 627.57534482982, 36.5), (315.900517239992, 626.786551720463, 36.75), (314.784137929993, 630.986896550283, 36.25), (313.704137930006, 624.119310339913, 36.75), (313.057586209994, 625.22706896998, 36.5), (311.905948280008, 625.142931030132, 36.5), (316.211724140012, 632.221379309893, 36.75), (312.080517240014, 624.000689660199, 36.75), (316.048793099995, 630.597241380252, 36.75), (315.495344830008, 630.984741380438, 36.5), (316.20655172001, 630.982586209662, 36.75), (320.044532539992, 635., 37.25), (320., 635.044198109768, 37.25), (344.23051282001, 636.524615379982, 37.5), (557.618759439996, 637.381240559742, 35.75), (346.748181820003, 642.586363639683, 37.75), (501.244782610011, 680.222173909657, 38.25), (346.193063679995, 674.895671290345, 38.5), (350.63696969999, 678.451212120242, 38.75), (350.71384615, 677.600769230165, 38.75), (502.251700060006, 679.946469930001, 38.25), (395., 705.573435230181, 40.25), (531.915222559997, 693.91930046957, 38.25), (530.109558519995, 692.960549449548, 38.25), (484.573006810009, 695.426993190311, 38.5), (514.913260119996, 709.673941640183, 38.75), (361.869393939996, 718.119393940084, 40.5), (356.160693449987, 726.967833150178, 40.75), (426.730166539986, 719.753688549623, 40.25), (442.174822870002, 724.004585029557, 40.5), (451.283142859989, 729.912857140414, 40.75), (454.856666670006, 727.388333329931, 40.5), (451.135821590549, 730.991976780817, 40.75), (449.374796360004, 729.704599640332, 40.75), (455.272868108499, 731.117555867881, 40.5)), $);
#32 = IFCTRIANGULATEDIRREGULARNETWORK(#31, $, .F., ((4, 6, 5), (7, 9, 8), (10, 12, 11), (1, 15, 14), (13, 16, 1), (12, 18, 17), (13, 9, 16), (11, 12, 17), (19, 12, 20), (1, 16, 15), (20, 21, 19), (22, 6, 4), (23, 21, 20), (19, 21, 22), (21, 24, 22), (25, 27, 26), (16, 9, 7), (22, 32, 19), (8, 9, 33), (7, 8, 23), (7, 23, 20), (33, 34, 8), (15, 16, 35), (36, 38, 37), (33, 39, 34), (33, 9, 40), (41, 36, 40), (5, 6, 42), (38, 43, 26), (40, 39, 33), (36, 39, 40), (30, 31, 25), (34, 45, 44), (44, 45, 46), (8, 44, 23), (48, 50, 49), (42, 24, 51), (25, 52, 30), (8, 34, 44), (26, 43, 52), (51, 53, 42), (44, 54, 23), (30, 52, 55), (25, 56, 27), (23, 57, 51), (54, 57, 23), (27, 58, 26), (44, 46, 54), (4, 32, 22), (46, 59, 54), (60, 61, 46), (2, 56, 31), (42, 53, 62), (37, 63, 34), (49, 65, 64), (66, 68, 67), (38, 58, 69), (70, 72, 71), (73, 74, 60), (31, 56, 25), (75, 77, 76), (57, 79, 78), (46, 61, 59), (80, 72, 81), (46, 45, 73), (78, 79, 64), (80, 81, 82), (64, 65, 78), (37, 69, 63), (73, 60, 46), (63, 69, 73), (3, 83, 71), (80, 84, 72), (28, 83, 3), (69, 58, 85), (38, 69, 37), (83, 29, 86), (67, 88, 87), (54, 79, 57), (49, 50, 65), (74, 90, 89), (91, 92, 67), (49, 94, 93), (95, 96, 86), (72, 70, 81), (85, 58, 97), (60, 89, 61), (83, 70, 71), (98, 99, 97), (97, 99, 85), (83, 86, 70), (86, 29, 95), (49, 93, 100), (28, 29, 83), (82, 101, 97), (82, 58, 80), (93, 94, 102), (48, 104, 103), (49, 104, 48), (102, 94, 105), (76, 107, 106), (91, 107, 59), (76, 77, 59), (108, 86, 109), (97, 58, 82), (69, 74, 73), (110, 111, 108), (112, 113, 98), (60, 74, 89), (59, 107, 76), (61, 92, 59), (97, 101, 98), (114, 116, 115), (119, 115, 120), (74, 121, 90), (114, 123, 122), (124, 77, 79), (93, 122, 100), (122, 104, 100), (86, 125, 109), (105, 94, 77), (126, 128, 127), (74, 129, 121), (85, 129, 69), (130, 131, 87), (132, 133, 117), (89, 88, 61), (112, 111, 110), (87, 134, 67), (98, 101, 112), (98, 113, 135), (138, 140, 139), (132, 140, 138), (76, 106, 75), (122, 141, 114), (142, 144, 143), (15, 12, 14), (90, 130, 87), (59, 92, 91), (102, 141, 93), (87, 131, 134), (145, 147, 146), (70, 111, 112), (129, 99, 121), (130, 148, 131), (112, 110, 113), (110, 150, 149), (149, 151, 113), (93, 141, 122), (152, 154, 153), (86, 96, 125), (70, 112, 81), (11, 155, 10), (35, 16, 20), (156, 158, 157), (141, 128, 126), (159, 161, 160), (162, 164, 163), (165, 115, 166), (126, 127, 167), (125, 168, 109), (169, 160, 170), (167, 171, 126), (4, 173, 172), (167, 174, 171), (110, 149, 113), (67, 134, 66), (131, 148, 175), (131, 175, 134), (135, 151, 148), (176, 178, 177), (125, 180, 179), (148, 182, 181), (109, 168, 183), (149, 184, 152), (125, 179, 168), (166, 186, 185), (187, 189, 188), (68, 191, 190), (192, 142, 193), (139, 140, 137), (194, 196, 195), (142, 143, 193), (102, 128, 141), (166, 115, 186), (172, 173, 145), (127, 128, 106), (126, 171, 120), (62, 5, 42), (163, 18, 12), (199, 201, 200), (134, 175, 66), (120, 171, 119), (171, 202, 119), (152, 151, 149), (148, 203, 99), (127, 190, 174), (175, 191, 68), (204, 206, 205), (138, 180, 125), (186, 208, 207), (62, 196, 194), (209, 211, 210), (138, 139, 180), (209, 184, 168), (212, 214, 213), (142, 155, 144), (12, 192, 215), (216, 217, 32), (62, 219, 218), (48, 103, 62), (100, 104, 49), (185, 103, 166), (166, 103, 165), (220, 222, 221), (212, 223, 214), (173, 147, 145), (198, 225, 224), (226, 62, 103), (174, 214, 171), (148, 181, 227), (148, 227, 175), (172, 216, 4), (32, 217, 163), (213, 228, 212), (168, 184, 183), (229, 231, 230), (232, 154, 209), (233, 182, 152), (168, 211, 209), (234, 236, 235), (232, 209, 210), (219, 237, 218), (180, 234, 179), (103, 204, 226), (180, 139, 234), (240, 242, 241), (227, 243, 175), (163, 12, 32), (163, 164, 18), (244, 217, 216), (245, 247, 246), (181, 248, 227), (232, 250, 249), (190, 191, 174), (162, 252, 251), (160, 223, 212), (62, 194, 219), (253, 255, 254), (233, 256, 181), (212, 257, 170), (4, 216, 32), (113, 151, 135), (258, 260, 259), (181, 241, 248), (261, 263, 262), (252, 267, 266), (234, 211, 179), (179, 211, 168), (200, 268, 153), (195, 270, 269), (271, 273, 272), (219, 274, 237), (145, 277, 216), (278, 176, 279), (176, 280, 279), (281, 283, 282), (5, 284, 4), (204, 285, 206), (103, 287, 286), (185, 207, 288), (186, 207, 185), (278, 147, 173), (206, 289, 205), (218, 178, 284), (202, 208, 119), (160, 161, 202), (286, 287, 290), (161, 208, 202), (286, 285, 103), (228, 257, 212), (153, 291, 152), (244, 266, 217), (279, 147, 278), (292, 257, 228), (293, 295, 294), (248, 296, 292), (256, 241, 181), (297, 299, 298), (300, 250, 301), (248, 302, 296), (303, 305, 304), (152, 291, 233), (301, 250, 235), (306, 308, 307), (251, 309, 162), (249, 199, 232), (139, 310, 236), (200, 312, 311), (303, 304, 296), (313, 315, 314), (316, 281, 282), (139, 236, 234), (236, 315, 235), (217, 266, 267), (263, 319, 231), (194, 274, 219), (251, 320, 316), (226, 196, 62), (237, 178, 218), (176, 177, 280), (290, 287, 321), (289, 323, 322), (288, 325, 321), (196, 270, 195), (291, 268, 233), (237, 327, 326), (286, 290, 328), (194, 195, 274), (274, 327, 237), (327, 330, 329), (256, 331, 241), (280, 332, 146), (327, 334, 333), (103, 285, 204), (159, 160, 169), (335, 201, 249), (321, 325, 336), (321, 287, 288), (159, 337, 208), (146, 332, 229), (338, 252, 266), (339, 331, 233), (241, 331, 340), (249, 300, 335), (249, 201, 199), (290, 342, 341), (314, 343, 324), (344, 346, 345), (159, 293, 347), (313, 348, 300), (235, 315, 301), (341, 342, 349), (297, 351, 350), (313, 314, 348), (201, 352, 312), (316, 354, 353), (355, 357, 356), (177, 306, 280), (229, 332, 360), (195, 330, 274), (169, 295, 293), (177, 308, 306), (269, 297, 350), (290, 341, 328), (336, 362, 361), (327, 333, 326), (300, 363, 335), (206, 323, 289), (169, 293, 159), (364, 362, 347), (300, 365, 363), (304, 305, 257), (366, 368, 367), (333, 334, 369), (274, 330, 327), (345, 371, 370), (301, 315, 313), (306, 332, 280), (314, 372, 348), (373, 365, 372), (239, 343, 238), (366, 367, 294), (375, 376, 316), (316, 376, 354), (354, 376, 359), (307, 308, 369), (269, 330, 195), (377, 364, 378), (289, 299, 205), (303, 240, 379), (380, 371, 346), (381, 382, 298), (293, 294, 378), (296, 240, 303), (311, 383, 339), (378, 364, 293), (350, 384, 329), (386, 388, 387), (340, 388, 389), (341, 323, 328), (386, 391, 390), (392, 373, 393), (282, 394, 375), (282, 375, 316), (395, 397, 396), (324, 398, 314), (389, 400, 399), (396, 402, 401), (376, 403, 385), (376, 385, 359), (328, 323, 206), (405, 395, 396), (306, 307, 406), (329, 334, 327), (369, 308, 333), (349, 342, 405), (322, 381, 289), (405, 342, 336), (336, 361, 405), (407, 409, 408), (367, 410, 294), (205, 299, 269), (294, 410, 378), (303, 370, 305), (411, 240, 340), (381, 412, 382), (229, 263, 231), (370, 371, 305), (413, 415, 414), (367, 368, 410), (416, 418, 417), (340, 240, 241), (387, 388, 312), (360, 420, 419), (345, 421, 344), (312, 422, 387), (312, 388, 311), (335, 352, 201), (363, 352, 335), (423, 417, 369), (406, 420, 360), (314, 398, 372), (373, 372, 393), (390, 424, 386), (262, 426, 425), (392, 428, 427), (429, 431, 430), (262, 263, 419), (385, 403, 404), (322, 412, 381), (432, 425, 282), (433, 435, 434), (307, 436, 406), (344, 438, 380), (439, 262, 419), (350, 351, 384), (329, 384, 423), (420, 440, 439), (349, 396, 401), (405, 396, 349), (269, 299, 297), (349, 401, 322), (410, 442, 441), (400, 443, 399), (384, 444, 423), (436, 420, 406), (402, 397, 445), (293, 364, 347), (422, 391, 387), (344, 447, 446), (401, 402, 448), (400, 424, 443), (449, 451, 450), (415, 452, 414), (368, 442, 410), (453, 455, 454), (392, 456, 363), (363, 456, 352), (416, 458, 457), (425, 459, 394), (387, 391, 386), (392, 427, 460), (442, 462, 461), (393, 428, 392), (463, 464, 390), (465, 431, 429), (394, 459, 375), (437, 466, 459), (404, 466, 437), (419, 263, 360), (416, 467, 458), (418, 457, 436), (360, 263, 229), (382, 469, 468), (457, 418, 416), (457, 440, 436), (470, 471, 462), (276, 473, 472), (307, 418, 436), (377, 395, 361), (401, 412, 322), (433, 434, 474), (384, 475, 444), (457, 458, 476), (384, 351, 475), (412, 477, 382), (441, 478, 465), (461, 478, 441), (470, 442, 368), (361, 395, 405), (298, 468, 351), (460, 464, 463), (410, 430, 378), (416, 479, 467), (482, 425, 483), (378, 430, 377), (368, 471, 470), (379, 415, 413), (259, 485, 484), (276, 428, 393), (472, 428, 276), (460, 427, 464), (464, 487, 486), (465, 407, 431), (476, 489, 488), (472, 491, 490), (492, 494, 493), (439, 496, 495), (459, 497, 437), (439, 495, 426), (420, 439, 419), (382, 468, 298), (498, 471, 368), (399, 415, 379), (470, 462, 442), (437, 497, 499), (500, 502, 501), (449, 504, 503), (464, 505, 390), (506, 508, 507), (453, 509, 414), (510, 512, 511), (465, 507, 513), (472, 473, 491), (514, 516, 515), (436, 440, 420), (454, 517, 509), (480, 519, 518), (490, 491, 520), (450, 521, 449), (496, 425, 495), (483, 425, 496), (461, 506, 478), (467, 479, 514), (444, 479, 417), (522, 485, 523), (514, 524, 467), (431, 407, 525), (447, 451, 446), (417, 479, 416), (477, 485, 259), (525, 407, 408), (402, 523, 448), (484, 258, 259), (476, 488, 439), (396, 397, 402), (402, 445, 523), (478, 507, 465), (526, 447, 413), (484, 485, 522), (527, 508, 462), (386, 424, 400), (501, 502, 529), (520, 530, 490), (450, 451, 447), (531, 533, 532), (534, 533, 531), (491, 528, 520), (455, 453, 414), (509, 413, 414), (424, 535, 443), (464, 486, 505), (520, 537, 536), (435, 539, 538), (487, 541, 540), (454, 543, 542), (544, 545, 524), (435, 546, 539), (538, 539, 499), (507, 548, 513), (445, 550, 549), (458, 500, 476), (474, 552, 551), (521, 534, 553), (458, 502, 500), (445, 549, 523), (515, 544, 514), (484, 510, 258), (469, 260, 555), (556, 558, 557), (503, 504, 527), (453, 454, 509), (559, 561, 560), (486, 562, 505), (523, 549, 522), (510, 558, 258), (563, 565, 564), (511, 566, 563), (408, 550, 525), (548, 569, 568), (505, 570, 424), (449, 521, 553), (553, 571, 504), (508, 572, 507), (562, 455, 570), (530, 487, 490), (573, 536, 574), (575, 577, 576), (488, 474, 434), (500, 489, 476), (539, 547, 499), (578, 579, 547), (580, 582, 581), (583, 546, 435), (551, 552, 584), (556, 557, 544), (556, 544, 515), (534, 587, 586), (529, 502, 524), (525, 550, 445), (524, 545, 529), (566, 512, 522), (588, 589, 408), (548, 409, 513), (501, 591, 590), (587, 569, 586), (408, 592, 588), (501, 584, 500), (513, 409, 407), (593, 595, 594), (540, 562, 486), (509, 517, 413), (596, 597, 568), (598, 580, 590), (521, 533, 534), (599, 574, 537), (447, 526, 450), (562, 492, 543), (600, 601, 542), (559, 602, 558), (540, 492, 562), (603, 605, 604), (551, 581, 606), (583, 578, 546), (551, 580, 581), (607, 592, 408), (586, 569, 572), (544, 608, 545), (534, 609, 587), (510, 511, 559), (610, 612, 611), (450, 613, 533), (614, 616, 615), (568, 597, 548), (617, 619, 618), (568, 587, 596), (620, 622, 621), (623, 625, 624), (529, 595, 593), (626, 622, 627), (562, 543, 454), (531, 627, 615), (573, 628, 520), (542, 543, 600), (629, 541, 574), (541, 630, 540), (573, 574, 628), (607, 631, 617), (520, 599, 537), (602, 605, 632), (501, 590, 584), (518, 634, 633), (635, 578, 583), (582, 637, 636), (638, 565, 588), (635, 639, 519), (501, 640, 591), (531, 641, 627), (563, 566, 549), (615, 622, 612), (600, 641, 601), (518, 481, 480), (632, 603, 594), (642, 643, 638), (511, 644, 561), (563, 564, 511), (511, 561, 559), (588, 565, 589), (642, 645, 644), (641, 646, 626), (492, 647, 543), (574, 648, 629), (629, 630, 541), (543, 647, 623), (529, 593, 640), (649, 651, 650), (642, 644, 643), (637, 652, 636), (518, 633, 481), (594, 654, 653), (655, 656, 596), (582, 657, 635), (582, 580, 637), (658, 660, 659), (648, 661, 629), (590, 653, 598), (653, 654, 598), (590, 591, 653), (662, 664, 663), (576, 665, 575), (643, 644, 564), (560, 605, 559), (638, 645, 642), (666, 655, 596), (543, 623, 600), (668, 670, 669), (638, 577, 575), (493, 671, 623), (594, 667, 654), (601, 641, 532), (649, 673, 661), (674, 676, 675), (582, 636, 657), (655, 680, 679), (659, 660, 621), (598, 664, 662), (603, 667, 594), (561, 672, 560), (559, 605, 602), (682, 683, 674), (654, 684, 598), (575, 665, 685), (679, 686, 617), (532, 641, 531), (671, 625, 623), (574, 687, 648), (688, 690, 689), (665, 676, 685), (683, 676, 674), (682, 691, 683), (596, 656, 597), (693, 695, 694), (669, 692, 696), (626, 646, 659), (663, 697, 662), (641, 698, 646), (634, 699, 633), (700, 702, 701), (648, 687, 649), (624, 700, 623), (623, 700, 703), (704, 705, 650), (567, 687, 574), (659, 706, 658), (676, 692, 685), (707, 699, 634), (633, 681, 481), (685, 692, 669), (660, 708, 693), (625, 709, 624), (666, 710, 655), (679, 680, 711), (646, 698, 706), (646, 706, 659), (712, 713, 695), (703, 714, 641), (703, 701, 714), (704, 650, 715), (705, 704, 625), (32, 12, 19), (20, 717, 35), (20, 12, 717), (20, 16, 7), (12, 15, 717), (717, 15, 35), (26, 52, 25), (40, 9, 41), (30, 55, 9), (9, 55, 41), (34, 39, 37), (37, 39, 36), (36, 43, 38), (41, 43, 36), (52, 43, 55), (55, 43, 41), (218, 284, 5), (218, 5, 62), (51, 24, 23), (23, 24, 21), (42, 6, 24), (24, 6, 22), (73, 45, 63), (63, 45, 34), (27, 56, 84), (3, 56, 2), (78, 53, 57), (57, 53, 51), (62, 50, 48), (53, 50, 62), (65, 50, 78), (78, 50, 53), (54, 124, 79), (59, 124, 54), (27, 84, 80), (3, 84, 56), (72, 3, 71), (72, 84, 3), (125, 96, 138), (105, 77, 75), (59, 77, 124), (79, 77, 64), (102, 105, 75), (80, 58, 27), (26, 58, 38), (132, 117, 118), (118, 117, 47), (103, 718, 165), (114, 718, 123), (77, 94, 64), (64, 94, 49), (87, 88, 90), (90, 88, 89), (61, 88, 92), (92, 88, 67), (98, 719, 99), (69, 129, 74), (135, 148, 720), (99, 129, 85), (110, 108, 150), (183, 108, 109), (108, 111, 86), (86, 111, 70), (138, 96, 133), (138, 133, 132), (133, 96, 117), (117, 96, 95), (122, 123, 104), (165, 718, 114), (123, 718, 104), (104, 718, 103), (120, 141, 126), (167, 127, 174), (106, 107, 67), (67, 107, 91), (99, 719, 148), (148, 719, 720), (112, 101, 81), (81, 101, 82), (228, 243, 292), (175, 68, 66), (106, 128, 75), (75, 128, 102), (203, 148, 130), (90, 203, 130), (720, 98, 135), (720, 719, 98), (99, 203, 121), (121, 203, 90), (137, 140, 118), (118, 140, 132), (187, 188, 14), (188, 189, 136), (10, 192, 12), (12, 215, 14), (215, 721, 14), (14, 721, 187), (193, 722, 721), (120, 116, 141), (141, 116, 114), (120, 115, 116), (114, 115, 165), (106, 190, 127), (202, 223, 160), (68, 190, 67), (67, 190, 106), (181, 182, 233), (311, 268, 200), (153, 199, 200), (183, 150, 108), (10, 142, 192), (192, 193, 215), (215, 193, 721), (721, 722, 187), (10, 155, 142), (722, 723, 187), (187, 723, 189), (265, 724, 264), (193, 143, 722), (143, 725, 722), (722, 725, 723), (143, 144, 725), (728, 729, 155), (144, 727, 725), (157, 158, 730), (730, 164, 357), (292, 243, 248), (248, 243, 227), (183, 184, 150), (150, 184, 149), (156, 729, 728), (155, 726, 144), (18, 730, 17), (17, 730, 11), (157, 731, 222), (18, 164, 730), (730, 158, 11), (156, 728, 158), (158, 728, 11), (11, 728, 155), (222, 729, 156), (244, 277, 266), (145, 216, 172), (278, 284, 176), (284, 178, 176), (4, 278, 173), (4, 284, 278), (205, 270, 732), (269, 270, 205), (170, 160, 212), (213, 191, 228), (159, 208, 161), (208, 337, 207), (119, 208, 115), (115, 208, 186), (213, 214, 191), (191, 214, 174), (214, 223, 171), (171, 223, 202), (175, 243, 191), (191, 243, 228), (152, 182, 151), (151, 182, 148), (209, 154, 184), (184, 154, 152), (210, 211, 235), (235, 211, 234), (245, 255, 734), (157, 735, 731), (222, 731, 221), (155, 737, 726), (729, 737, 155), (264, 724, 253), (253, 724, 221), (265, 738, 724), (265, 739, 738), (740, 357, 355), (733, 739, 265), (726, 741, 225), (225, 741, 224), (733, 224, 739), (726, 225, 197), (197, 225, 198), (729, 222, 220), (157, 222, 156), (224, 741, 739), (739, 741, 738), (726, 737, 741), (741, 737, 738), (221, 255, 253), (254, 255, 245), (737, 220, 738), (729, 220, 737), (738, 220, 724), (724, 220, 221), (357, 735, 157), (735, 357, 742), (221, 731, 255), (255, 731, 734), (731, 735, 734), (353, 309, 316), (316, 309, 251), (163, 267, 252), (146, 230, 145), (217, 267, 163), (163, 252, 162), (339, 268, 311), (153, 268, 291), (246, 247, 736), (736, 247, 743), (734, 247, 245), (730, 357, 157), (743, 273, 736), (744, 740, 743), (735, 742, 734), (357, 744, 742), (734, 742, 247), (247, 742, 743), (744, 357, 740), (317, 356, 354), (742, 744, 743), (736, 273, 271), (743, 740, 273), (740, 355, 273), (273, 355, 272), (354, 745, 353), (355, 318, 272), (356, 357, 746), (354, 746, 745), (746, 357, 745), (354, 356, 746), (355, 356, 318), (318, 356, 317), (745, 164, 353), (745, 357, 164), (162, 309, 164), (164, 309, 353), (229, 230, 146), (216, 277, 244), (281, 320, 252), (252, 320, 251), (145, 230, 277), (277, 230, 266), (266, 319, 338), (320, 281, 316), (146, 147, 280), (280, 147, 279), (177, 178, 326), (326, 178, 237), (732, 226, 204), (205, 732, 204), (732, 270, 226), (226, 270, 196), (206, 285, 328), (328, 285, 286), (288, 287, 185), (185, 287, 103), (207, 337, 347), (347, 337, 159), (296, 304, 292), (292, 304, 257), (257, 305, 170), (294, 295, 366), (296, 302, 240), (241, 242, 248), (240, 302, 242), (242, 302, 248), (339, 383, 331), (331, 383, 340), (233, 331, 256), (233, 268, 339), (232, 199, 154), (154, 199, 153), (300, 301, 313), (249, 250, 300), (235, 250, 210), (210, 250, 232), (324, 343, 239), (238, 315, 310), (236, 310, 315), (238, 310, 139), (230, 319, 266), (319, 747, 338), (747, 252, 338), (747, 281, 252), (747, 319, 281), (432, 262, 425), (347, 325, 207), (207, 325, 288), (389, 388, 400), (400, 388, 386), (200, 201, 312), (312, 352, 422), (314, 748, 343), (315, 748, 314), (343, 748, 238), (238, 748, 315), (359, 358, 354), (354, 358, 317), (230, 231, 319), (319, 749, 281), (283, 261, 282), (263, 749, 319), (263, 283, 749), (749, 283, 281), (360, 332, 406), (406, 332, 306), (329, 330, 350), (350, 330, 269), (298, 299, 381), (381, 299, 289), (322, 323, 349), (349, 323, 341), (336, 342, 321), (321, 342, 290), (305, 295, 170), (170, 295, 169), (352, 456, 422), (422, 456, 463), (275, 398, 324), (372, 398, 393), (333, 308, 326), (326, 308, 177), (369, 334, 423), (423, 334, 329), (377, 362, 364), (361, 362, 377), (347, 362, 325), (325, 362, 336), (345, 370, 379), (379, 370, 303), (305, 366, 295), (305, 371, 366), (379, 411, 399), (399, 411, 389), (379, 240, 411), (411, 340, 389), (311, 388, 383), (383, 388, 340), (392, 365, 373), (363, 365, 392), (372, 365, 348), (348, 365, 300), (393, 398, 276), (276, 398, 275), (404, 403, 375), (375, 403, 376), (282, 425, 394), (282, 261, 432), (283, 263, 261), (261, 262, 432), (503, 451, 449), (344, 380, 346), (344, 498, 438), (438, 498, 371), (346, 371, 345), (380, 438, 371), (371, 498, 366), (366, 498, 368), (463, 456, 460), (460, 456, 392), (459, 466, 375), (375, 466, 404), (555, 516, 475), (444, 417, 423), (417, 418, 369), (369, 418, 307), (351, 468, 475), (298, 351, 297), (477, 412, 448), (448, 412, 401), (465, 429, 441), (441, 429, 410), (410, 429, 430), (430, 431, 377), (441, 442, 461), (461, 462, 508), (379, 421, 345), (413, 421, 379), (446, 498, 344), (446, 471, 498), (344, 421, 447), (447, 421, 413), (414, 452, 750), (562, 570, 505), (452, 399, 443), (452, 415, 399), (750, 455, 414), (505, 424, 390), (390, 391, 463), (463, 391, 422), (427, 428, 490), (490, 428, 472), (439, 426, 262), (483, 496, 439), (426, 495, 425), (425, 751, 459), (435, 751, 482), (538, 751, 435), (439, 440, 476), (476, 440, 457), (479, 516, 514), (515, 516, 555), (556, 260, 258), (259, 469, 477), (475, 516, 444), (444, 516, 479), (475, 468, 555), (477, 469, 382), (468, 469, 555), (259, 260, 469), (445, 397, 525), (525, 397, 395), (377, 431, 395), (395, 431, 525), (527, 462, 446), (446, 462, 471), (491, 473, 374), (374, 473, 276), (499, 497, 538), (538, 497, 459), (435, 752, 434), (439, 753, 483), (482, 751, 425), (459, 751, 538), (483, 753, 482), (434, 752, 753), (753, 752, 482), (482, 752, 435), (408, 409, 607), (513, 407, 465), (568, 569, 587), (553, 504, 449), (478, 506, 507), (508, 506, 461), (446, 503, 527), (446, 451, 503), (443, 754, 452), (452, 754, 750), (443, 535, 754), (754, 535, 750), (424, 570, 535), (454, 455, 562), (540, 494, 492), (520, 628, 530), (490, 487, 427), (427, 487, 464), (488, 434, 439), (439, 434, 753), (555, 260, 515), (515, 260, 556), (523, 485, 448), (448, 485, 477), (527, 504, 508), (586, 572, 571), (586, 571, 534), (534, 571, 553), (571, 572, 504), (504, 572, 508), (627, 641, 626), (542, 517, 454), (413, 517, 526), (526, 517, 542), (570, 455, 535), (535, 455, 750), (579, 519, 480), (583, 435, 433), (583, 606, 635), (584, 552, 489), (474, 606, 433), (433, 606, 583), (489, 552, 488), (584, 489, 500), (488, 552, 474), (474, 551, 606), (524, 502, 467), (467, 502, 458), (514, 544, 524), (545, 608, 755), (755, 602, 632), (258, 558, 556), (755, 608, 557), (557, 608, 544), (632, 605, 603), (559, 558, 510), (549, 589, 563), (589, 565, 563), (679, 656, 655), (631, 656, 679), (530, 541, 487), (487, 540, 486), (530, 628, 541), (541, 628, 574), (554, 756, 528), (599, 757, 574), (536, 537, 574), (520, 536, 573), (520, 757, 599), (528, 757, 520), (574, 757, 567), (528, 756, 757), (757, 756, 567), (567, 756, 554), (480, 585, 579), (579, 585, 547), (546, 578, 539), (539, 578, 547), (635, 519, 578), (578, 519, 579), (606, 581, 635), (635, 581, 582), (549, 566, 522), (511, 512, 566), (522, 512, 484), (484, 512, 510), (408, 589, 550), (550, 589, 549), (607, 618, 592), (592, 577, 588), (548, 597, 409), (409, 597, 607), (572, 569, 507), (507, 569, 548), (758, 526, 601), (450, 533, 521), (533, 613, 532), (532, 613, 758), (601, 526, 542), (532, 758, 601), (758, 613, 526), (526, 613, 450), (657, 636, 707), (657, 639, 635), (558, 602, 557), (557, 602, 755), (564, 644, 511), (561, 644, 670), (588, 577, 638), (618, 619, 577), (577, 619, 576), (618, 577, 592), (597, 656, 607), (607, 617, 618), (617, 631, 679), (656, 631, 607), (615, 609, 531), (531, 609, 534), (703, 641, 623), (623, 641, 600), (623, 647, 493), (493, 647, 492), (673, 629, 661), (671, 759, 649), (649, 759, 673), (630, 494, 540), (639, 634, 519), (519, 634, 518), (639, 657, 634), (634, 657, 707), (545, 595, 529), (529, 640, 501), (591, 640, 653), (755, 595, 545), (640, 593, 653), (653, 593, 594), (594, 595, 632), (632, 595, 755), (604, 605, 672), (672, 605, 560), (638, 643, 565), (565, 643, 564), (610, 666, 616), (610, 614, 612), (627, 622, 615), (587, 666, 596), (612, 614, 615), (610, 616, 614), (615, 616, 609), (655, 710, 680), (616, 666, 609), (609, 666, 587), (612, 622, 611), (611, 622, 620), (649, 661, 648), (673, 759, 629), (493, 759, 671), (494, 759, 493), (629, 759, 630), (630, 759, 494), (590, 580, 584), (584, 580, 551), (707, 760, 699), (681, 761, 697), (637, 580, 662), (662, 580, 598), (662, 652, 637), (636, 652, 707), (633, 761, 681), (662, 697, 652), (707, 652, 760), (760, 652, 697), (575, 762, 638), (685, 762, 575), (644, 645, 669), (669, 645, 685), (638, 762, 645), (645, 762, 685), (576, 674, 675), (576, 675, 665), (617, 682, 619), (619, 674, 576), (617, 686, 682), (682, 674, 619), (699, 761, 633), (598, 684, 664), (669, 670, 644), (561, 670, 672), (686, 711, 763), (682, 763, 691), (686, 763, 682), (695, 764, 694), (675, 676, 665), (683, 691, 676), (691, 763, 676), (679, 711, 686), (763, 711, 676), (765, 680, 693), (689, 690, 621), (610, 688, 710), (666, 610, 710), (620, 610, 611), (659, 621, 626), (710, 688, 680), (680, 688, 693), (693, 708, 712), (610, 690, 688), (620, 690, 610), (688, 660, 693), (688, 689, 660), (660, 689, 621), (621, 622, 626), (621, 690, 620), (700, 701, 703), (709, 700, 624), (678, 715, 677), (671, 705, 625), (715, 650, 677), (677, 650, 651), (650, 705, 649), (649, 705, 671), (677, 651, 687), (687, 651, 649), (697, 761, 760), (760, 761, 699), (669, 696, 668), (680, 764, 711), (693, 694, 765), (695, 713, 764), (658, 708, 660), (693, 712, 695), (711, 767, 676), (694, 764, 765), (765, 764, 680), (711, 764, 767), (768, 713, 712), (768, 766, 713), (712, 708, 768), (709, 702, 700), (714, 698, 641), (714, 701, 698), (698, 701, 706), (625, 704, 709), (716, 704, 678), (678, 704, 715)), $, (4, 4, -1, -1, 4, -1, 1, -1, 1, 1, 1, 2, 4, 2, 1, 2, 2, -1, 1, 1, 4, 1, 1, 2, 2, -1, 1, 1, 1, 1, 4, 0, 4, 2, 4, 1, 2, 4, 1, 2, 2, 4, 1, 4, 2, 4, 1, 1, -1, 4, 4, 1, 4, 4, 2, 4, 2, 2, 1, 2, 2, 2, 1, 1, 4, 4, 4, 4, 1, 4, 1, 2, 2, 1, 4, 1, 1, 4, 1, 2, 1, 4, 4, 2, 2, 1, 1, 1, 1, 1, 4, 2, 2, 4, 4, 4, 1, -1, 1, 2, 4, 4, 4, 1, 2, 4, 2, 2, 2, 2, 4, 1, 4, 4, 2, 2, 1, 1, 2, 2, 4, 2, 2, 4, 4, 4, 4, 1, 4, 2, 4, 4, 2, 2, 4, 1, -1, 1, 2, 1, 1, 4, 4, 1, 1, 4, 4, 1, 2, 4, 4, 1, 0, 2, 1, 1, 2, 4, 2, 1, 1, 2, 1, -1, 4, 2, 2, 1, 4, 4, 4, 2, 4, 2, 4, 2, 2, 4, 1, 1, 2, 4, 4, 4, 4, 4, 4, 2, 2, -1, 2, 1, 4, 2, 4, 2, 4, 4, 2, 1, 4, -1, 4, 2, 4, 2, 0, -1, 1, -1, -1, 4, -1, -1, 4, 4, 2, 4, -1, 2, 1, 4, -1, 1, 4, 1, 4, 4, 4, 2, 4, 1, 1, 1, 1, 4, 2, 4, -1, 1, 4, 1, 4, 2, 2, 4, 2, -1, 1, 2, 4, -1, 2, 2, 1, 4, 4, 4, 1, 4, 4, 2, 2, 4, 2, 1, 2, -1, 4, 2, 2, 1, 1, 1, 1, 1, 4, 4, 4, 4, 2, 4, 1, 4, 4, 1, 1, 1, 4, 2, 2, 2, 2, 4, 4, 4, 4, 2, 2, 2, 1, 1, 2, 2, 1, 2, 1, 4, -1, 4, 2, 1, 4, 2, 2, 1, 2, 2, 2, 1, 4, 4, 1, 2, 2, 1, 4, 4, 2, 4, 2, 1, 4, 1, 2, 1, 2, 1, 2, 2, 2, 4, 4, 1, 4, 2, 2, 0, 1, 4, 1, 4, 2, 2, 1, 4, 1, 1, 2, 1, 4, 2, 4, 2, 4, 2, 2, 1, 4, 2, 4, 4, 2, 2, 4, 2, 1, 4, 2, 4, 4, 1, 1, 4, 2, 4, 4, 1, 2, 2, 4, 4, 2, 2, 1, 1, 1, 2, 1, 2, 1, 1, 2, 2, 4, 2, 1, 4, 2, 2, 2, 1, 1, 2, 4, 4, 2, 1, 4, 4, 4, 2, 1, 4, 2, 2, 2, 1, 1, 4, 1, 1, 2, 1, 4, 4, 4, 1, 1, 4, 1, 4, 1, 1, 2, 2, 2, 2, 2, 2, 1, 2, 1, 4, 1, 1, 4, 4, 1, 1, 1, 2, 2, 1, 4, 2, 0, 4, 1, 1, 1, 2, 2, 2, 2, 2, 4, 1, 2, 4, 2, 2, 1, 4, 1, 1, 4, 4, 2, 2, 1, 4, 4, 2, 2, 4, 1, 2, 1, 4, 1, 1, 1, 1, 4, 1, 2, 2, 2, 4, 1, 4, 4, 4, 1, 1, 2, 4, 2, 2, 2, 1, 4, 1, 1, 1, 4, 4, 4, 1, 4, 5, 4, 2, 4, 1, 1, 2, 1, 4, 1, 1, 1, 2, 1, 1, 2, 1, 2, 4, 2, 2, 4, 1, 4, 4, 2, 2, 1, 4, 1, 1, 1, 1, 4, 2, 2, 1, 2, 3, 0, 1, 2, 2, 1, 2, 1, 1, 2, 2, 1, 4, 1, 4, 1, 2, 1, 1, 1, 1, 2, 1, 1, 2, 1, 2, 4, 4, 2, 4, 4, 4, 2, 4, 2, 0, 4, 4, 1, 1, 4, 1, 1, 2, 4, 1, 1, 4, 1, 2, 2, 2, 4, 4, 4, 2, 2, 2, 4, 1, 4, 1, 4, 2, 2, 4, 1, 4, 4, 2, 4, 2, 1, 4, 1, 1, 4, 4, 2, 2, 2, 2, 4, 4, 4, 1, 4, 2, 2, 2, 1, 1, 4, 4, 2, 1, 1, 1, 2, 2, 2, 1, 4, 4, 2, 4, 2, 2, 1, 4, 4, 4, 1, 1, 4, 2, 2, 1, 1, 4, 2, 2, 1, 4, 4, 2, 4, 1, 1, 2, 1, 2, 4, 2, 4, 4, 2, 1, 4, 2, 1, 1, 4, 2, 1, 1, 4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 4, 1, 1, 2, 4, 2, 4, 4, 1, 2, 2, 1, 1, 2, 4, 2, 2, 4, 4, 2, 2, 1, 4, 4, 1, 2, 1, 4, 0, 1, 1, 1, 2, 1, 2, 2, 4, 2, 1, 4, 1, 2, 1, -1, 2, 2, 4, 1, 3, 2, -1, -1, -1, 4, 2, 4, 2, 4, 1, -1, -1, 4, 1, 2, 4, 1, 2, 2, 1, 4, 1, 4, 2, 4, 1, 2, 4, 1, 2, 1, 4, 1, 1, 1, 2, 2, 1, 1, 1, 2, -1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2, 1, 2, 4, 2, 2, 2, 4, 1, 4, 1, 4, -1, 2, 1, 1, 2, 4, 2, 4, 2, 4, 2, 1, 2, 1, 2, 1, 4, 4, 1, 4, 1, 2, 1, -1, -1, 4, 2, 4, 4, 2, 1, 1, 2, 4, 4, 1, 2, 2, 4, 4, 4, 4, 1, 1, 1, 4, 1, 1, 1, 4, 1, 1, 3, 4, 2, 1, 1, 2, 1, 2, 4, 2, 1, 1, 2, 0, 4, 2, 4, 2, 2, 4, 2, 4, 2, -1, -1, 2, 1, 4, 1, 2, 2, 1, 2, 4, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 2, 2, 4, 0, 1, 1, 2, 2, 2, 1, 1, 2, 4, 2, 1, 2, 2, 1, 1, 1, 2, 4, 4, 1, 4, 2, 1, 1, 1, 1, 1, 1, 4, 4, 2, 2, 4, 4, 2, 4, 1, 1, 2, 4, 6, 4, 4, 4, 2, 1, 1, 1, 4, 4, 1, 1, 4, 1, 1, 4, 1, 2, 1, 2, 1, 2, 4, 1, 1, 2, 2, 2, 4, 2, 1, 2, 1, 4, 1, 2, 1, 2, 1, 2, 4, 1, 1, 2, 4, -1, 4, 2, 4, 1, 2, 2, 4, 4, 2, 4, 1, 2, 2, 2, 1, 2, 2, 4, 1, 1, 2, 1, 4, 4, 1, 2, 1, 4, 1, 1, 4, 1, 4, 1, 4, 4, 2, 4, 4, 2, 2, 4, 2, 4, 1, 2, 2, 4, 1, 2, 1, 2, 1, 2, 1, 2, 4, 1, 1, 2, 2, 4, 4, 4, 4, 1, 1, 2, 2, 1, 1, 2, 1, 2, 2, 2, 1, 2, 2, 1, 1, 1, 2, 4, 1, 1, 1, 2, 2, 4, 2, 2, 2, 1, 4, 2, 2, 4, 1, 4, 1, 2, 1, 2, 4, 2, 4, 4, 4, 1, 2, 4, 1, 2, 2, 4, 2, 1, 1, 4, 1, 4, 1, 4, 4, 2, 0, 2, 1, 4, 6, 2, 2, 4, 1, 2, 2, 4, 4, 2, 2, 1, 4, 2, 4, 2, 1, 2, 1, 2, 4, 4, 2, 4, 2, 4, 2, 4, 4, 1, 2, 4, 2, 4, 4, 4, 4, 4, 1, 2, 4, 2, 4, 4, 1, 2, 4, 4, 2, 2, 1, 2, 2, 5, 2, 1, 2, 1, 1, 2, 4, 1, 2, 4, 4, 1, 2, 2, 1, 2, 4, 1, 1, 1, 2, 4, 1, 2, 4, 1, 2, 2, 4, 1, 4, 2, 2, 1, 4, 1, 2, 4, 4, 1, 2, 4, 4, 2, 4, 2, 1, 4, 1, 2, 2, 4, 4, 4, 4, 2, 2, 1, 1, 2, 4, 2, 2, 4, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 4, 2, 2, 4, 1, 2, 1, 4, 2, 1, 2, 4, 1, 2, 4, 4, 4, 1, 1, 2, 2, 4, 1, 1, 2, 4, 1, 2, 4, 1, 1, 1, 4, 4, 4, 1, 1, 2, 1, 2, 1, 2, 2, 2, 2, 2, 4, 2, 1, 4, 4, 1, 1, 1, 2, 4, 4, 2, 1, 1, 4, 1, 2, 6, 4, 1, 4, 1, 2, 1, 2, 4, 4, 2, 1, 1, 2, 4, 2, 2, 2, 1, 2, 1, 1, 2, 1, 2, 2, 2, 1, 1, 1, 4, 4, 1, 4, 4, 4, 5, 2, 1, 4, 0, 2, 4, 1, 4, 1, 2, 4, 4, 2, 4, 2, 4, 2, 4, 1, 4, 1, 4, 2, 4, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 2, 1, 4, 4, 1, 0, 2, 4, 1));
#33 = IFCINDEXEDCOLOURMAP(#32, $, #34, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1));
#34 = IFCCOLOURRGBLIST(((0., 1., 0.)));
#35 = IFCPROPERTYSET('3atCnwY4T9N9tHShjvtZqi', #2, '12d Model', $, (#36, #37, #38, #39, #40, #41));
#36 = IFCPROPERTYSINGLEVALUE('Boundary_String', $, IFCLABEL('fence'), $);
#37 = IFCPROPERTYSINGLEVALUE('Style', $, IFCLABEL('1'), $);
#38 = IFCPROPERTYSINGLEVALUE('Weed', $, IFCINTEGER(0), $);
#39 = IFCPROPERTYSINGLEVALUE('Faces', $, IFCINTEGER(0), $);
#40 = IFCPROPERTYSINGLEVALUE('IfcElementType', $, IFCLABEL('IfcSolidStratum'), $);
#41 = IFCPROPERTYSINGLEVALUE('IfcGlobalId', $, IFCLABEL('1AnbLJnsvBP8e727u0NDHD'), $);
#42 = IFCRELDEFINESBYPROPERTIES('2s1$6eUd19OO7yNKxUP_9N', #2, '12d Model', 'Attributes', (#28), #35);
ENDSEC;
END-ISO-10303-21;