janicicpredrag / gclc

GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
http://www.matf.bg.ac.rs/~janicic/gclc/
Other
53 stars 7 forks source link

a couple of minor clean up commits #48

Closed Smattr closed 6 months ago

Smattr commented 6 months ago

This was originally posted as https://github.com/ubavic/gclc/pull/15

janicicpredrag commented 6 months ago

Basic samples

./samples/basic_samples/sample30_layers.gcl: pic

4,288d3
< 
< % Drawing segment A B
< \gclcline{49.89}{79.62}{1}{35.11}{30.38}{2}{0.16}%
< 
< % Drawing segment B C
< \gclcline{35.40}{30.00}{3}{89.60}{30.00}{4}{0.16}%
< 
< % Drawing segment C A
< \gclcline{89.75}{30.31}{5}{50.25}{79.69}{6}{0.16}%
< 
< % Drawing circle O A
< \gclcline{49.63}{79.85}{7}{48.83}{79.50}{8}{0.16}%
< \gclcline{48.83}{79.50}{9}{48.03}{79.13}{10}{0.16}%
< \gclcline{48.03}{79.13}{11}{47.25}{78.74}{12}{0.16}%
< \gclcline{47.25}{78.74}{13}{46.48}{78.33}{14}{0.16}%
< \gclcline{46.48}{78.33}{15}{45.71}{77.90}{16}{0.16}%
< \gclcline{45.71}{77.90}{17}{44.96}{77.46}{18}{0.16}%
< \gclcline{44.96}{77.46}{19}{44.22}{76.99}{20}{0.16}%
< \gclcline{44.22}{76.99}{21}{43.50}{76.50}{22}{0.16}%
< \gclcline{43.50}{76.50}{23}{42.78}{75.99}{24}{0.16}%
< \gclcline{42.78}{75.99}{25}{42.08}{75.47}{26}{0.16}%
< \gclcline{42.08}{75.47}{27}{41.40}{74.92}{28}{0.16}%
< \gclcline{41.40}{74.92}{29}{40.73}{74.36}{30}{0.16}%
< \gclcline{40.73}{74.36}{31}{40.07}{73.78}{32}{0.16}%
< \gclcline{40.07}{73.78}{33}{39.43}{73.19}{34}{0.16}%
< \gclcline{39.43}{73.19}{35}{38.80}{72.57}{36}{0.16}%
< \gclcline{38.80}{72.57}{37}{38.20}{71.95}{38}{0.16}%
< \gclcline{38.20}{71.95}{39}{37.60}{71.30}{40}{0.16}%
< \gclcline{37.60}{71.30}{41}{37.03}{70.64}{42}{0.16}%
< \gclcline{37.03}{70.64}{43}{36.47}{69.97}{44}{0.16}%
< \gclcline{36.47}{69.97}{45}{35.93}{69.28}{46}{0.16}%
< \gclcline{35.93}{69.28}{47}{35.41}{68.58}{48}{0.16}%
< \gclcline{35.41}{68.58}{49}{34.91}{67.86}{50}{0.16}%
< \gclcline{34.91}{67.86}{51}{34.42}{67.13}{52}{0.16}%
< \gclcline{34.42}{67.13}{53}{33.96}{66.39}{54}{0.16}%
< \gclcline{33.96}{66.39}{55}{33.51}{65.64}{56}{0.16}%
< \gclcline{33.51}{65.64}{57}{33.08}{64.87}{58}{0.16}%
< \gclcline{33.08}{64.87}{59}{32.68}{64.10}{60}{0.16}%
< \gclcline{32.68}{64.10}{61}{32.29}{63.31}{62}{0.16}%
< \gclcline{32.29}{63.31}{63}{31.93}{62.52}{64}{0.16}%
< \gclcline{31.93}{62.52}{65}{31.59}{61.71}{66}{0.16}%
< \gclcline{31.59}{61.71}{67}{31.26}{60.90}{68}{0.16}%
< \gclcline{31.26}{60.90}{69}{30.96}{60.08}{70}{0.16}%
< \gclcline{30.96}{60.08}{71}{30.68}{59.25}{72}{0.16}%
< \gclcline{30.68}{59.25}{73}{30.43}{58.41}{74}{0.16}%
< \gclcline{30.43}{58.41}{75}{30.19}{57.57}{76}{0.16}%
< \gclcline{30.19}{57.57}{77}{29.98}{56.72}{78}{0.16}%
< \gclcline{29.98}{56.72}{79}{29.79}{55.87}{80}{0.16}%
< \gclcline{29.79}{55.87}{81}{29.62}{55.01}{82}{0.16}%
< \gclcline{29.62}{55.01}{83}{29.47}{54.14}{84}{0.16}%
< \gclcline{29.47}{54.14}{85}{29.35}{53.28}{86}{0.16}%
< \gclcline{29.35}{53.28}{87}{29.25}{52.41}{88}{0.16}%
< \gclcline{29.25}{52.41}{89}{29.17}{51.54}{90}{0.16}%
< \gclcline{29.17}{51.54}{91}{29.12}{50.66}{92}{0.16}%
< \gclcline{29.12}{50.66}{93}{29.08}{49.79}{94}{0.16}%
< \gclcline{29.08}{49.79}{95}{29.07}{48.91}{96}{0.16}%
< \gclcline{29.07}{48.91}{97}{29.09}{48.04}{98}{0.16}%
< \gclcline{29.09}{48.04}{99}{29.13}{47.17}{100}{0.16}%
< \gclcline{29.13}{47.17}{101}{29.18}{46.29}{102}{0.16}%
< \gclcline{29.18}{46.29}{103}{29.27}{45.42}{104}{0.16}%
< \gclcline{29.27}{45.42}{105}{29.37}{44.55}{106}{0.16}%
< \gclcline{29.37}{44.55}{107}{29.50}{43.69}{108}{0.16}%
< \gclcline{29.50}{43.69}{109}{29.65}{42.82}{110}{0.16}%
< \gclcline{29.65}{42.82}{111}{29.82}{41.97}{112}{0.16}%
< \gclcline{29.82}{41.97}{113}{30.02}{41.11}{114}{0.16}%
< \gclcline{30.02}{41.11}{115}{30.24}{40.27}{116}{0.16}%
< \gclcline{30.24}{40.27}{117}{30.48}{39.42}{118}{0.16}%
< \gclcline{30.48}{39.42}{119}{30.74}{38.59}{120}{0.16}%
< \gclcline{30.74}{38.59}{121}{31.02}{37.76}{122}{0.16}%
< \gclcline{31.02}{37.76}{123}{31.33}{36.94}{124}{0.16}%
< \gclcline{31.33}{36.94}{125}{31.65}{36.13}{126}{0.16}%
< \gclcline{31.65}{36.13}{127}{32.00}{35.33}{128}{0.16}%
< \gclcline{32.00}{35.33}{129}{32.37}{34.53}{130}{0.16}%
< \gclcline{32.37}{34.53}{131}{32.76}{33.75}{132}{0.16}%
< \gclcline{32.76}{33.75}{133}{33.17}{32.98}{134}{0.16}%
< \gclcline{33.17}{32.98}{135}{33.60}{32.21}{136}{0.16}%
< \gclcline{33.60}{32.21}{137}{34.04}{31.46}{138}{0.16}%
< \gclcline{34.04}{31.46}{139}{34.51}{30.72}{140}{0.16}%
< \gclcline{34.51}{30.72}{141}{34.77}{30.33}{142}{0.16}%
< \gclcline{35.23}{29.67}{143}{35.74}{28.97}{144}{0.16}%
< \gclcline{35.74}{28.97}{145}{36.28}{28.27}{146}{0.16}%
< \gclcline{36.28}{28.27}{147}{36.83}{27.59}{148}{0.16}%
< \gclcline{36.83}{27.59}{149}{37.40}{26.93}{150}{0.16}%
< \gclcline{37.40}{26.93}{151}{37.99}{26.28}{152}{0.16}%
< \gclcline{37.99}{26.28}{153}{38.59}{25.64}{154}{0.16}%
< \gclcline{38.59}{25.64}{155}{39.21}{25.03}{156}{0.16}%
< \gclcline{39.21}{25.03}{157}{39.84}{24.42}{158}{0.16}%
< \gclcline{39.84}{24.42}{159}{40.49}{23.84}{160}{0.16}%
< \gclcline{40.49}{23.84}{161}{41.16}{23.27}{162}{0.16}%
< \gclcline{41.16}{23.27}{163}{41.84}{22.72}{164}{0.16}%
< \gclcline{41.84}{22.72}{165}{42.54}{22.19}{166}{0.16}%
< \gclcline{42.54}{22.19}{167}{43.25}{21.68}{168}{0.16}%
< \gclcline{43.25}{21.68}{169}{43.97}{21.18}{170}{0.16}%
< \gclcline{43.97}{21.18}{171}{44.70}{20.71}{172}{0.16}%
< \gclcline{44.70}{20.71}{173}{45.45}{20.25}{174}{0.16}%
< \gclcline{45.45}{20.25}{175}{46.21}{19.81}{176}{0.16}%
< \gclcline{46.21}{19.81}{177}{46.98}{19.40}{178}{0.16}%
< \gclcline{46.98}{19.40}{179}{47.76}{19.00}{180}{0.16}%
< \gclcline{47.76}{19.00}{181}{48.55}{18.63}{182}{0.16}%
< \gclcline{48.55}{18.63}{183}{49.35}{18.27}{184}{0.16}%
< \gclcline{49.35}{18.27}{185}{50.16}{17.94}{186}{0.16}%
< \gclcline{50.16}{17.94}{187}{50.97}{17.63}{188}{0.16}%
< \gclcline{50.97}{17.63}{189}{51.80}{17.33}{190}{0.16}%
< \gclcline{51.80}{17.33}{191}{52.63}{17.06}{192}{0.16}%
< \gclcline{52.63}{17.06}{193}{53.47}{16.82}{194}{0.16}%
< \gclcline{53.47}{16.82}{195}{54.32}{16.59}{196}{0.16}%
< \gclcline{54.32}{16.59}{197}{55.17}{16.39}{198}{0.16}%
< \gclcline{55.17}{16.39}{199}{56.02}{16.21}{200}{0.16}%
< \gclcline{56.02}{16.21}{201}{56.88}{16.05}{202}{0.16}%
< \gclcline{56.88}{16.05}{203}{57.75}{15.91}{204}{0.16}%
< \gclcline{57.75}{15.91}{205}{58.62}{15.80}{206}{0.16}%
< \gclcline{58.62}{15.80}{207}{59.49}{15.71}{208}{0.16}%
< \gclcline{59.49}{15.71}{209}{60.36}{15.64}{210}{0.16}%
< \gclcline{60.36}{15.64}{211}{61.23}{15.60}{212}{0.16}%
< \gclcline{61.23}{15.60}{213}{62.11}{15.58}{214}{0.16}%
< \gclcline{62.11}{15.58}{215}{62.98}{15.58}{216}{0.16}%
< \gclcline{62.98}{15.58}{217}{63.86}{15.60}{218}{0.16}%
< \gclcline{63.86}{15.60}{219}{64.73}{15.65}{220}{0.16}%
< \gclcline{64.73}{15.65}{221}{65.60}{15.72}{222}{0.16}%
< \gclcline{65.60}{15.72}{223}{66.47}{15.81}{224}{0.16}%
< \gclcline{66.47}{15.81}{225}{67.34}{15.93}{226}{0.16}%
< \gclcline{67.34}{15.93}{227}{68.20}{16.07}{228}{0.16}%
< \gclcline{68.20}{16.07}{229}{69.06}{16.23}{230}{0.16}%
< \gclcline{69.06}{16.23}{231}{69.92}{16.41}{232}{0.16}%
< \gclcline{69.92}{16.41}{233}{70.77}{16.61}{234}{0.16}%
< \gclcline{70.77}{16.61}{235}{71.62}{16.84}{236}{0.16}%
< \gclcline{71.62}{16.84}{237}{72.45}{17.09}{238}{0.16}%
< \gclcline{72.45}{17.09}{239}{73.29}{17.36}{240}{0.16}%
< \gclcline{73.29}{17.36}{241}{74.11}{17.66}{242}{0.16}%
< \gclcline{74.11}{17.66}{243}{74.93}{17.97}{244}{0.16}%
< \gclcline{74.93}{17.97}{245}{75.74}{18.31}{246}{0.16}%
< \gclcline{75.74}{18.31}{247}{76.53}{18.66}{248}{0.16}%
< \gclcline{76.53}{18.66}{249}{77.32}{19.04}{250}{0.16}%
< \gclcline{77.32}{19.04}{251}{78.10}{19.44}{252}{0.16}%
< \gclcline{78.10}{19.44}{253}{78.87}{19.86}{254}{0.16}%
< \gclcline{78.87}{19.86}{255}{79.63}{20.30}{256}{0.16}%
< \gclcline{79.63}{20.30}{257}{80.37}{20.76}{258}{0.16}%
< \gclcline{80.37}{20.76}{259}{81.11}{21.23}{260}{0.16}%
< \gclcline{81.11}{21.23}{261}{81.83}{21.73}{262}{0.16}%
< \gclcline{81.83}{21.73}{263}{82.53}{22.24}{264}{0.16}%
< \gclcline{82.53}{22.24}{265}{83.23}{22.78}{266}{0.16}%
< \gclcline{83.23}{22.78}{267}{83.91}{23.33}{268}{0.16}%
< \gclcline{83.91}{23.33}{269}{84.57}{23.90}{270}{0.16}%
< \gclcline{84.57}{23.90}{271}{85.22}{24.49}{272}{0.16}%
< \gclcline{85.22}{24.49}{273}{85.86}{25.09}{274}{0.16}%
< \gclcline{85.86}{25.09}{275}{86.47}{25.71}{276}{0.16}%
< \gclcline{86.47}{25.71}{277}{87.08}{26.34}{278}{0.16}%
< \gclcline{87.08}{26.34}{279}{87.66}{26.99}{280}{0.16}%
< \gclcline{87.66}{26.99}{281}{88.23}{27.66}{282}{0.16}%
< \gclcline{88.23}{27.66}{283}{88.78}{28.34}{284}{0.16}%
< \gclcline{88.78}{28.34}{285}{89.31}{29.04}{286}{0.16}%
< \gclcline{89.31}{29.04}{287}{89.77}{29.67}{288}{0.16}%
< \gclcline{90.23}{30.33}{289}{90.70}{31.06}{290}{0.16}%
< \gclcline{90.70}{31.06}{291}{91.16}{31.81}{292}{0.16}%
< \gclcline{91.16}{31.81}{293}{91.60}{32.56}{294}{0.16}%
< \gclcline{91.60}{32.56}{295}{92.03}{33.33}{296}{0.16}%
< \gclcline{92.03}{33.33}{297}{92.43}{34.11}{298}{0.16}%
< \gclcline{92.43}{34.11}{299}{92.80}{34.90}{300}{0.16}%
< \gclcline{92.80}{34.90}{301}{93.16}{35.70}{302}{0.16}%
< \gclcline{93.16}{35.70}{303}{93.50}{36.50}{304}{0.16}%
< \gclcline{93.50}{36.50}{305}{93.82}{37.32}{306}{0.16}%
< \gclcline{93.82}{37.32}{307}{94.11}{38.14}{308}{0.16}%
< \gclcline{94.11}{38.14}{309}{94.39}{38.97}{310}{0.16}%
< \gclcline{94.39}{38.97}{311}{94.64}{39.81}{312}{0.16}%
< \gclcline{94.64}{39.81}{313}{94.87}{40.66}{314}{0.16}%
< \gclcline{94.87}{40.66}{315}{95.07}{41.51}{316}{0.16}%
< \gclcline{95.07}{41.51}{317}{95.26}{42.36}{318}{0.16}%
< \gclcline{95.26}{42.36}{319}{95.42}{43.22}{320}{0.16}%
< \gclcline{95.42}{43.22}{321}{95.56}{44.09}{322}{0.16}%
< \gclcline{95.56}{44.09}{323}{95.68}{44.95}{324}{0.16}%
< \gclcline{95.68}{44.95}{325}{95.77}{45.82}{326}{0.16}%
< \gclcline{95.77}{45.82}{327}{95.85}{46.69}{328}{0.16}%
< \gclcline{95.85}{46.69}{329}{95.89}{47.57}{330}{0.16}%
< \gclcline{95.89}{47.57}{331}{95.92}{48.44}{332}{0.16}%
< \gclcline{95.92}{48.44}{333}{95.92}{49.32}{334}{0.16}%
< \gclcline{95.92}{49.32}{335}{95.90}{50.19}{336}{0.16}%
< \gclcline{95.90}{50.19}{337}{95.86}{51.07}{338}{0.16}%
< \gclcline{95.86}{51.07}{339}{95.80}{51.94}{340}{0.16}%
< \gclcline{95.80}{51.94}{341}{95.71}{52.81}{342}{0.16}%
< \gclcline{95.71}{52.81}{343}{95.60}{53.68}{344}{0.16}%
< \gclcline{95.60}{53.68}{345}{95.46}{54.54}{346}{0.16}%
< \gclcline{95.46}{54.54}{347}{95.31}{55.40}{348}{0.16}%
< \gclcline{95.31}{55.40}{349}{95.13}{56.26}{350}{0.16}%
< \gclcline{95.13}{56.26}{351}{94.93}{57.11}{352}{0.16}%
< \gclcline{94.93}{57.11}{353}{94.70}{57.96}{354}{0.16}%
< \gclcline{94.70}{57.96}{355}{94.46}{58.80}{356}{0.16}%
< \gclcline{94.46}{58.80}{357}{94.19}{59.63}{358}{0.16}%
< \gclcline{94.19}{59.63}{359}{93.90}{60.46}{360}{0.16}%
< \gclcline{93.90}{60.46}{361}{93.59}{61.27}{362}{0.16}%
< \gclcline{93.59}{61.27}{363}{93.26}{62.08}{364}{0.16}%
< \gclcline{93.26}{62.08}{365}{92.90}{62.88}{366}{0.16}%
< \gclcline{92.90}{62.88}{367}{92.53}{63.68}{368}{0.16}%
< \gclcline{92.53}{63.68}{369}{92.14}{64.46}{370}{0.16}%
< \gclcline{92.14}{64.46}{371}{91.72}{65.23}{372}{0.16}%
< \gclcline{91.72}{65.23}{373}{91.29}{65.99}{374}{0.16}%
< \gclcline{91.29}{65.99}{375}{90.83}{66.73}{376}{0.16}%
< \gclcline{90.83}{66.73}{377}{90.36}{67.47}{378}{0.16}%
< \gclcline{90.36}{67.47}{379}{89.87}{68.19}{380}{0.16}%
< \gclcline{89.87}{68.19}{381}{89.35}{68.90}{382}{0.16}%
< \gclcline{89.35}{68.90}{383}{88.82}{69.60}{384}{0.16}%
< \gclcline{88.82}{69.60}{385}{88.28}{70.28}{386}{0.16}%
< \gclcline{88.28}{70.28}{387}{87.71}{70.95}{388}{0.16}%
< \gclcline{87.71}{70.95}{389}{87.13}{71.60}{390}{0.16}%
< \gclcline{87.13}{71.60}{391}{86.53}{72.24}{392}{0.16}%
< \gclcline{86.53}{72.24}{393}{85.91}{72.86}{394}{0.16}%
< \gclcline{85.91}{72.86}{395}{85.28}{73.46}{396}{0.16}%
< \gclcline{85.28}{73.46}{397}{84.63}{74.05}{398}{0.16}%
< \gclcline{84.63}{74.05}{399}{83.97}{74.62}{400}{0.16}%
< \gclcline{83.97}{74.62}{401}{83.29}{75.18}{402}{0.16}%
< \gclcline{83.29}{75.18}{403}{82.60}{75.71}{404}{0.16}%
< \gclcline{82.60}{75.71}{405}{81.89}{76.23}{406}{0.16}%
< \gclcline{81.89}{76.23}{407}{81.17}{76.73}{408}{0.16}%
< \gclcline{81.17}{76.73}{409}{80.44}{77.20}{410}{0.16}%
< \gclcline{80.44}{77.20}{411}{79.69}{77.66}{412}{0.16}%
< \gclcline{79.69}{77.66}{413}{78.94}{78.10}{414}{0.16}%
< \gclcline{78.94}{78.10}{415}{78.17}{78.53}{416}{0.16}%
< \gclcline{78.17}{78.53}{417}{77.39}{78.93}{418}{0.16}%
< \gclcline{77.39}{78.93}{419}{76.60}{79.30}{420}{0.16}%
< \gclcline{76.60}{79.30}{421}{75.80}{79.66}{422}{0.16}%
< \gclcline{75.80}{79.66}{423}{75.00}{80.00}{424}{0.16}%
< \gclcline{75.00}{80.00}{425}{74.18}{80.32}{426}{0.16}%
< \gclcline{74.18}{80.32}{427}{73.36}{80.61}{428}{0.16}%
< \gclcline{73.36}{80.61}{429}{72.53}{80.89}{430}{0.16}%
< \gclcline{72.53}{80.89}{431}{71.69}{81.14}{432}{0.16}%
< \gclcline{71.69}{81.14}{433}{70.84}{81.37}{434}{0.16}%
< \gclcline{70.84}{81.37}{435}{69.99}{81.57}{436}{0.16}%
< \gclcline{69.99}{81.57}{437}{69.14}{81.76}{438}{0.16}%
< \gclcline{69.14}{81.76}{439}{68.28}{81.92}{440}{0.16}%
< \gclcline{68.28}{81.92}{441}{67.41}{82.06}{442}{0.16}%
< \gclcline{67.41}{82.06}{443}{66.55}{82.18}{444}{0.16}%
< \gclcline{66.55}{82.18}{445}{65.68}{82.27}{446}{0.16}%
< \gclcline{65.68}{82.27}{447}{64.81}{82.35}{448}{0.16}%
< \gclcline{64.81}{82.35}{449}{63.93}{82.39}{450}{0.16}%
< \gclcline{63.93}{82.39}{451}{63.06}{82.42}{452}{0.16}%
< \gclcline{63.06}{82.42}{453}{62.18}{82.42}{454}{0.16}%
< \gclcline{62.18}{82.42}{455}{61.31}{82.40}{456}{0.16}%
< \gclcline{61.31}{82.40}{457}{60.43}{82.36}{458}{0.16}%
< \gclcline{60.43}{82.36}{459}{59.56}{82.30}{460}{0.16}%
< \gclcline{59.56}{82.30}{461}{58.69}{82.21}{462}{0.16}%
< \gclcline{58.69}{82.21}{463}{57.82}{82.10}{464}{0.16}%
< \gclcline{57.82}{82.10}{465}{56.96}{81.96}{466}{0.16}%
< \gclcline{56.96}{81.96}{467}{56.10}{81.81}{468}{0.16}%
< \gclcline{56.10}{81.81}{469}{55.24}{81.63}{470}{0.16}%
< \gclcline{55.24}{81.63}{471}{54.39}{81.43}{472}{0.16}%
< \gclcline{54.39}{81.43}{473}{53.54}{81.20}{474}{0.16}%
< \gclcline{53.54}{81.20}{475}{52.70}{80.96}{476}{0.16}%
< \gclcline{52.70}{80.96}{477}{51.87}{80.69}{478}{0.16}%
< \gclcline{51.87}{80.69}{479}{51.04}{80.40}{480}{0.16}%
< \gclcline{51.04}{80.40}{481}{50.37}{80.15}{482}{0.16}%
< 
< % Marking point A by circle
< \gclcline{50.40}{80.00}{483}{50.31}{80.26}{484}{0.16}%
< \gclcline{50.31}{80.26}{485}{50.07}{80.39}{486}{0.16}%
< \gclcline{50.07}{80.39}{487}{49.80}{80.35}{488}{0.16}%
< \gclcline{49.80}{80.35}{489}{49.62}{80.14}{490}{0.16}%
< \gclcline{49.62}{80.14}{491}{49.62}{79.86}{492}{0.16}%
< \gclcline{49.62}{79.86}{493}{49.80}{79.65}{494}{0.16}%
< \gclcline{49.80}{79.65}{495}{50.07}{79.61}{496}{0.16}%
< \gclcline{50.07}{79.61}{497}{50.31}{79.74}{498}{0.16}%
< \gclcline{50.31}{79.74}{499}{50.40}{80.00}{500}{0.16}%
< \put(50.00,81.00){\makebox(0,0)[b]{$A$}}%
< 
< % Marking point B by circle
< \gclcline{35.40}{30.00}{501}{35.31}{30.26}{502}{0.16}%
< \gclcline{35.31}{30.26}{503}{35.07}{30.39}{504}{0.16}%
< \gclcline{35.07}{30.39}{505}{34.80}{30.35}{506}{0.16}%
< \gclcline{34.80}{30.35}{507}{34.62}{30.14}{508}{0.16}%
< \gclcline{34.62}{30.14}{509}{34.62}{29.86}{510}{0.16}%
< \gclcline{34.62}{29.86}{511}{34.80}{29.65}{512}{0.16}%
< \gclcline{34.80}{29.65}{513}{35.07}{29.61}{514}{0.16}%
< \gclcline{35.07}{29.61}{515}{35.31}{29.74}{516}{0.16}%
< \gclcline{35.31}{29.74}{517}{35.40}{30.00}{518}{0.16}%
< \put(34.30,29.30){\makebox(0,0)[rt]{$B$}}%
< 
< % Marking point C by circle
< \gclcline{90.40}{30.00}{519}{90.31}{30.26}{520}{0.16}%
< \gclcline{90.31}{30.26}{521}{90.07}{30.39}{522}{0.16}%
< \gclcline{90.07}{30.39}{523}{89.80}{30.35}{524}{0.16}%
< \gclcline{89.80}{30.35}{525}{89.62}{30.14}{526}{0.16}%
< \gclcline{89.62}{30.14}{527}{89.62}{29.86}{528}{0.16}%
< \gclcline{89.62}{29.86}{529}{89.80}{29.65}{530}{0.16}%
< \gclcline{89.80}{29.65}{531}{90.07}{29.61}{532}{0.16}%
< \gclcline{90.07}{29.61}{533}{90.31}{29.74}{534}{0.16}%
< \gclcline{90.31}{29.74}{535}{90.40}{30.00}{536}{0.16}%
< \put(90.00,29.00){\makebox(0,0)[t]{$C$}}%

./samples/basic_samples/sample30_layers.gcl: tikz

4,29d3
< 
< % Drawing segment A B
< \draw [line width=0.016cm] (4.988506,7.961687) -- (3.511494,3.038313);%
< 
< % Drawing segment B C
< \draw [line width=0.016cm] (3.540000,3.000000) -- (8.960000,3.000000);%
< 
< % Drawing segment C A
< \draw [line width=0.016cm] (8.975012,3.031235) -- (5.024988,7.968765);%
< 
< % Drawing circle O A
< \draw [line width=0.016cm] (4.962993,7.984820) -- (4.943970,7.976814) arc (113:213:3.342529 and 3.342529) -- (3.477460,3.033045);%
< \draw [line width=0.016cm] (3.522933,2.967228) -- (3.545837,2.935311) arc (216:324:3.342529 and 3.342529) -- (8.977066,2.967227);%
< \draw [line width=0.016cm] (9.022539,3.033044) -- (9.053280,3.079527) arc (327:360:3.342529 and 3.342529) --(9.592529,4.900000) arc (0:111:3.342529 and 3.342529) -- (5.037187,8.014737);%
< 
< % Marking point A by circle
< \draw [line width=0.016cm] (5.000000,8.000000) circle (0.040000);%
< \draw (5.000000,8.000000) node [anchor=south] { $A$ };%
< 
< % Marking point B by circle
< \draw [line width=0.016cm] (3.500000,3.000000) circle (0.040000);%
< \draw (3.530000,3.030000) node [anchor=north east] { $B$ };%
< 
< % Marking point C by circle
< \draw [line width=0.016cm] (9.000000,3.000000) circle (0.040000);%
< \draw (9.000000,3.000000) node [anchor=north] { $C$ };%

./samples/basic_samples/sample30_layers.gcl: pst

5,30d4
< 
< % Drawing segment A B
< \qline (49.885061,79.616869)(35.114939,30.383131)
< 
< % Drawing segment B C
< \qline (35.400000,30.000000)(89.600000,30.000000)
< 
< % Drawing segment C A
< \qline (89.750122,30.312348)(50.249878,79.687652)
< 
< % Drawing circle O A
< \psarc(62.50,49.00){33.43}{112.65}{213.96}
< \psarc(62.50,49.00){33.43}{215.33}{324.67}
< \psarc(62.50,49.00){33.43}{326.04}{111.27}
< 
< % Marking point A by circle
< \pscircle (50.00,80.00){0.40}
< \rput[b](50.00,81.00){$A$}
< 
< % Marking point B by circle
< \pscircle (35.00,30.00){0.40}
< \rput[rt](34.30,29.30){$B$}
< 
< % Marking point C by circle
< \pscircle (90.00,30.00){0.40}
< \rput[t](90.00,29.00){$C$}

./samples/basic_samples/sample30_layers.gcl: eps

25,59d24
< 
< % Drawing segment A B
< newpath 141.40 225.68 moveto -41.87 -139.56 rlineto stroke
< 
< % Drawing segment B C
< newpath 100.34 85.04 moveto 153.64 0.00 rlineto stroke
< 
< % Drawing segment C A
< newpath 254.41 85.92 moveto -111.97 139.96 rlineto stroke
< 
< % Drawing circle O A
< newpath 177.16 138.90 94.75 112.65 213.96 arc 
< stroke
< newpath 177.16 138.90 94.75 -144.67 -35.33 arc 
< stroke
< newpath 177.16 138.90 94.75 -33.96 111.27 arc 
< stroke
< 
< % Marking point A by circle
< newpath 141.73 226.77 1.13 0.00 360.00 arc 
< stroke
< 141.73 229.60 moveto
< (A) dup stringwidth pop 2 div neg 0 rmoveto show
< 
< % Marking point B by circle
< newpath 99.21 85.04 1.13 0.00 360.00 arc 
< stroke
< 97.23 83.05 moveto
< (B) dup stringwidth pop neg -5.33 rmoveto show
< 
< % Marking point C by circle
< newpath 255.11 85.04 1.13 0.00 360.00 arc 
< stroke
< 255.11 82.20 moveto
< (C) dup stringwidth pop 2 div neg -5.33 rmoveto show

./samples/basic_samples/sample30_layers.gcl: svg

4,29d3
< 
< <!-- Drawing segment A B -->
< <line x1="49.89" y1="20.38" x2="35.11" y2="69.62" style="stroke:#000000; stroke-width:0.16"/>
< 
< <!-- Drawing segment B C -->
< <line x1="35.40" y1="70.00" x2="89.60" y2="70.00" style="stroke:#000000; stroke-width:0.16"/>
< 
< <!-- Drawing segment C A -->
< <line x1="89.75" y1="69.69" x2="50.25" y2="20.31" style="stroke:#000000; stroke-width:0.16"/>
< 
< <!-- Drawing circle O A -->
< <path d="M49.63,20.15  a33.43,33.43 0 0,0 -14.86,49.52" fill="none" stroke="#000000" stroke-width="0.16"/>
< <path d="M35.23,70.33  a33.43,33.43 0 0,0 54.54,-0.00" fill="none" stroke="#000000" stroke-width="0.16"/>
< <path d="M90.23,69.67  a33.43,33.43 0 0,0 -39.85,-49.82" fill="none" stroke="#000000" stroke-width="0.16"/>
< 
< <!-- Marking point A by circle -->
< <circle cx="50.00" cy="20.00" r="0.40" fill="none" stroke="#000000" stroke-width="0.16"/>
< <text x="50.00" y="19.00" style="font-size:2.81pt; font-style:italic; fill:#000000" text-anchor="middle">A</text>
< 
< <!-- Marking point B by circle -->
< <circle cx="35.00" cy="70.00" r="0.40" fill="none" stroke="#000000" stroke-width="0.16"/>
< <text x="34.30" y="70.70" style="font-size:2.81pt; font-style:italic; fill:#000000" text-anchor="end" dy="2.811951">B</text>
< 
< <!-- Marking point C by circle -->
< <circle cx="90.00" cy="70.00" r="0.40" fill="none" stroke="#000000" stroke-width="0.16"/>
< <text x="90.00" y="71.00" style="font-size:2.81pt; font-style:italic; fill:#000000" text-anchor="middle" dy="2.811951">C</text>

Prover samples

./samples/samples_prover/DeductionControl.gcl: a


GCLC 2024 (GC language (R) -> LaTeX Converter)
Copyright (c) 1995-2024 by Predrag Janicic, University of Belgrade.
Licensed under the Creative Commons licence CC BY-ND.

Input file: ./samples/samples_prover/DeductionControl.gcl
Output file: ./samples/samples_prover/DeductionControl.pic
Log file: gclc.log

Starting point number: 1

Run-time error: Bad definition. Can not determine intersection. (Line: 22, position: 14)

./samples/samples_prover/DeductionControl.gcl: w


GCLC 2024 (GC language (R) -> LaTeX Converter)
Copyright (c) 1995-2024 by Predrag Janicic, University of Belgrade.
Licensed under the Creative Commons licence CC BY-ND.

Input file: ./samples/samples_prover/DeductionControl.gcl
Output file: ./samples/samples_prover/DeductionControl.pic
Log file: gclc.log

Starting point number: 1

Run-time error: Bad definition. Can not determine intersection. (Line: 22, position: 14)

./samples/samples_prover/DeductionControl.gcl: g


GCLC 2024 (GC language (R) -> LaTeX Converter)
Copyright (c) 1995-2024 by Predrag Janicic, University of Belgrade.
Licensed under the Creative Commons licence CC BY-ND.

Input file: ./samples/samples_prover/DeductionControl.gcl
Output file: ./samples/samples_prover/DeductionControl.pic
Log file: gclc.log

Starting point number: 1

Run-time error: Bad definition. Can not determine intersection. (Line: 22, position: 14)

./samples/samples_prover/thm_harmonic.gcl: g tex

1032c1032
< \item [Time Complexity:]  Time spent by the prover: 10.073 seconds. There are no ndg conditions.
---
> \item [Time Complexity:]  Time spent by the prover: 10.072 seconds. There are no ndg conditions.

./samples/samples_prover/thm_orthocenter.gcl: a tex

88c88
< Time spent by the prover: 0.004 seconds
---
> Time spent by the prover: 0.005 seconds

./samples/samples_prover/thm_Pappus.gcl: w tex

517c517
< \item [Time Complexity:]  Time spent by the prover: 0.006 seconds. There are no ndg conditions.
---
> \item [Time Complexity:]  Time spent by the prover: 0.007 seconds. There are no ndg conditions.

./samples/samples_prover/thm_Pappus.gcl: g tex

35c35
< Random point on line, $C$: $A$ $B$ $-0.799902$ 
---
> Random point on line, $C$: $A$ $B$ $1.15313$ 
152c152
< Random point on line, $C$: $A$ $B$ $-0.799902$ 
---
> Random point on line, $C$: $A$ $B$ $1.15313$ 
566c566
< \item [Time Complexity:]  Time spent by the prover: 6.067 seconds. There are no ndg conditions.
---
> \item [Time Complexity:]  Time spent by the prover: 6.270 seconds. There are no ndg conditions.

./samples/samples_prover/thm_Pappus.gcl: g pic

30,39c30,39
< \gclcline{18.40}{10.00}{37}{18.31}{10.26}{38}{0.16}%
< \gclcline{18.31}{10.26}{39}{18.07}{10.39}{40}{0.16}%
< \gclcline{18.07}{10.39}{41}{17.80}{10.35}{42}{0.16}%
< \gclcline{17.80}{10.35}{43}{17.63}{10.14}{44}{0.16}%
< \gclcline{17.63}{10.14}{45}{17.63}{9.86}{46}{0.16}%
< \gclcline{17.63}{9.86}{47}{17.80}{9.65}{48}{0.16}%
< \gclcline{17.80}{9.65}{49}{18.07}{9.61}{50}{0.16}%
< \gclcline{18.07}{9.61}{51}{18.31}{9.74}{52}{0.16}%
< \gclcline{18.31}{9.74}{53}{18.40}{10.00}{54}{0.16}%
< \put(18.00,11.00){\makebox(0,0)[b]{$C$}}%
---
> \gclcline{96.53}{10.00}{37}{96.43}{10.26}{38}{0.16}%
> \gclcline{96.43}{10.26}{39}{96.19}{10.39}{40}{0.16}%
> \gclcline{96.19}{10.39}{41}{95.93}{10.35}{42}{0.16}%
> \gclcline{95.93}{10.35}{43}{95.75}{10.14}{44}{0.16}%
> \gclcline{95.75}{10.14}{45}{95.75}{9.86}{46}{0.16}%
> \gclcline{95.75}{9.86}{47}{95.93}{9.65}{48}{0.16}%
> \gclcline{95.93}{9.65}{49}{96.19}{9.61}{50}{0.16}%
> \gclcline{96.19}{9.61}{51}{96.43}{9.74}{52}{0.16}%
> \gclcline{96.43}{9.74}{53}{96.53}{10.00}{54}{0.16}%
> \put(96.13,11.00){\makebox(0,0)[b]{$C$}}%
66,75c66,75
< \gclcline{73.95}{51.56}{91}{73.85}{51.82}{92}{0.16}%
< \gclcline{73.85}{51.82}{93}{73.62}{51.96}{94}{0.16}%
< \gclcline{73.62}{51.96}{95}{73.35}{51.91}{96}{0.16}%
< \gclcline{73.35}{51.91}{97}{73.17}{51.70}{98}{0.16}%
< \gclcline{73.17}{51.70}{99}{73.17}{51.43}{100}{0.16}%
< \gclcline{73.17}{51.43}{101}{73.35}{51.22}{102}{0.16}%
< \gclcline{73.35}{51.22}{103}{73.62}{51.17}{104}{0.16}%
< \gclcline{73.62}{51.17}{105}{73.85}{51.31}{106}{0.16}%
< \gclcline{73.85}{51.31}{107}{73.95}{51.56}{108}{0.16}%
< \put(73.55,52.56){\makebox(0,0)[b]{$C_1$}}%
---
> \gclcline{6.77}{31.41}{91}{6.68}{31.67}{92}{0.16}%
> \gclcline{6.68}{31.67}{93}{6.44}{31.81}{94}{0.16}%
> \gclcline{6.44}{31.81}{95}{6.17}{31.76}{96}{0.16}%
> \gclcline{6.17}{31.76}{97}{6.00}{31.55}{98}{0.16}%
> \gclcline{6.00}{31.55}{99}{6.00}{31.28}{100}{0.16}%
> \gclcline{6.00}{31.28}{101}{6.17}{31.07}{102}{0.16}%
> \gclcline{6.17}{31.07}{103}{6.44}{31.02}{104}{0.16}%
> \gclcline{6.44}{31.02}{105}{6.68}{31.15}{106}{0.16}%
> \gclcline{6.68}{31.15}{107}{6.77}{31.41}{108}{0.16}%
> \put(6.37,32.41){\makebox(0,0)[b]{$C_1$}}%
78,81c78,81
< \gclcline{0.00}{10.00}{109}{17.60}{10.00}{110}{0.16}%
< \gclcline{18.40}{10.00}{111}{49.60}{10.00}{112}{0.16}%
< \gclcline{50.40}{10.00}{113}{89.60}{10.00}{114}{0.16}%
< \gclcline{90.40}{10.00}{115}{140.00}{10.00}{116}{0.16}%
---
> \gclcline{0.00}{10.00}{109}{49.60}{10.00}{110}{0.16}%
> \gclcline{50.40}{10.00}{111}{89.60}{10.00}{112}{0.16}%
> \gclcline{90.40}{10.00}{113}{95.73}{10.00}{114}{0.16}%
> \gclcline{96.53}{10.00}{115}{140.00}{10.00}{116}{0.16}%
84,87c84,87
< \gclcline{0.00}{29.50}{117}{8.81}{32.14}{118}{0.16}%
< \gclcline{9.58}{32.37}{119}{34.62}{39.89}{120}{0.16}%
< \gclcline{35.38}{40.11}{121}{73.16}{51.45}{122}{0.16}%
< \gclcline{73.93}{51.68}{123}{140.00}{71.50}{124}{0.16}%
---
> \gclcline{0.00}{29.50}{117}{5.99}{31.30}{118}{0.16}%
> \gclcline{6.76}{31.53}{119}{8.81}{32.14}{120}{0.16}%
> \gclcline{9.58}{32.37}{121}{34.62}{39.89}{122}{0.16}%
> \gclcline{35.38}{40.11}{123}{140.00}{71.50}{124}{0.16}%
96c96
< \gclcline{89.85}{10.37}{129}{73.69}{51.19}{130}{0.16}%
---
> \gclcline{89.61}{10.10}{129}{6.76}{31.31}{130}{0.16}%
99c99
< \gclcline{17.86}{10.37}{131}{9.34}{31.89}{132}{0.16}%
---
> \gclcline{95.74}{10.10}{131}{9.58}{32.16}{132}{0.16}%
106c106
< \gclcline{50.20}{10.35}{133}{73.35}{51.22}{134}{0.16}%
---
> \gclcline{49.64}{10.18}{133}{6.73}{31.24}{134}{0.16}%
109c109
< \gclcline{18.20}{10.35}{135}{34.80}{39.65}{136}{0.16}%
---
> \gclcline{95.77}{10.18}{135}{35.36}{39.82}{136}{0.16}%

./samples/samples_prover/thm_PappusHexagon.gcl: g tex

35c35
< Random point on line, $C$: $A$ $B$ $1.58624$ 
---
> Random point on line, $C$: $A$ $B$ $1.17874$ 
44c44
< Random point on line, $C_1$: $A_1$ $B_1$ $-0.819182$ 
---
> Random point on line, $C_1$: $A_1$ $B_1$ $1.93739$ 
168c168
< Random point on line, $C$: $A$ $B$ $1.58624$ 
---
> Random point on line, $C$: $A$ $B$ $1.17874$ 
192c192
< Random point on line, $C_1$: $A_1$ $B_1$ $-0.819182$ 
---
> Random point on line, $C_1$: $A_1$ $B_1$ $1.93739$ 
681c681
< \item [Time Complexity:]  Time spent by the prover: 0.404 seconds. There are no ndg conditions.
---
> \item [Time Complexity:]  Time spent by the prover: 0.419 seconds. There are no ndg conditions.

./samples/samples_prover/thm_PappusHexagon.gcl: g pic

8,9c8,9
< \gclcline{90.40}{10.00}{5}{118.91}{10.00}{6}{0.16}%
< \gclcline{119.71}{10.00}{7}{140.00}{10.00}{8}{0.16}%
---
> \gclcline{90.40}{10.00}{5}{98.54}{10.00}{6}{0.16}%
> \gclcline{99.34}{10.00}{7}{140.00}{10.00}{8}{0.16}%
36,45c36,45
< \gclcline{119.71}{10.00}{45}{119.62}{10.26}{46}{0.16}%
< \gclcline{119.62}{10.26}{47}{119.38}{10.39}{48}{0.16}%
< \gclcline{119.38}{10.39}{49}{119.11}{10.35}{50}{0.16}%
< \gclcline{119.11}{10.35}{51}{118.94}{10.14}{52}{0.16}%
< \gclcline{118.94}{10.14}{53}{118.94}{9.86}{54}{0.16}%
< \gclcline{118.94}{9.86}{55}{119.11}{9.65}{56}{0.16}%
< \gclcline{119.11}{9.65}{57}{119.38}{9.61}{58}{0.16}%
< \gclcline{119.38}{9.61}{59}{119.62}{9.74}{60}{0.16}%
< \gclcline{119.62}{9.74}{61}{119.71}{10.00}{62}{0.16}%
< \put(119.31,11.00){\makebox(0,0)[b]{$C$}}%
---
> \gclcline{99.34}{10.00}{45}{99.24}{10.26}{46}{0.16}%
> \gclcline{99.24}{10.26}{47}{99.01}{10.39}{48}{0.16}%
> \gclcline{99.01}{10.39}{49}{98.74}{10.35}{50}{0.16}%
> \gclcline{98.74}{10.35}{51}{98.56}{10.14}{52}{0.16}%
> \gclcline{98.56}{10.14}{53}{98.56}{9.86}{54}{0.16}%
> \gclcline{98.56}{9.86}{55}{98.74}{9.65}{56}{0.16}%
> \gclcline{98.74}{9.65}{57}{99.01}{9.61}{58}{0.16}%
> \gclcline{99.01}{9.61}{59}{99.24}{9.74}{60}{0.16}%
> \gclcline{99.24}{9.74}{61}{99.34}{10.00}{62}{0.16}%
> \put(98.94,11.00){\makebox(0,0)[b]{$C$}}%
48,51c48,51
< \gclcline{0.00}{33.75}{63}{8.23}{35.81}{64}{0.16}%
< \gclcline{9.00}{36.00}{65}{24.61}{39.90}{66}{0.16}%
< \gclcline{25.39}{40.10}{67}{44.61}{44.90}{68}{0.16}%
< \gclcline{45.39}{45.10}{69}{140.00}{68.75}{70}{0.16}%
---
> \gclcline{0.00}{33.75}{63}{24.61}{39.90}{64}{0.16}%
> \gclcline{25.39}{40.10}{65}{44.61}{44.90}{66}{0.16}%
> \gclcline{45.39}{45.10}{67}{63.36}{49.59}{68}{0.16}%
> \gclcline{64.14}{49.78}{69}{140.00}{68.75}{70}{0.16}%
78,87c78,87
< \gclcline{9.02}{35.90}{107}{8.92}{36.16}{108}{0.16}%
< \gclcline{8.92}{36.16}{109}{8.69}{36.30}{110}{0.16}%
< \gclcline{8.69}{36.30}{111}{8.42}{36.25}{112}{0.16}%
< \gclcline{8.42}{36.25}{113}{8.24}{36.04}{114}{0.16}%
< \gclcline{8.24}{36.04}{115}{8.24}{35.77}{116}{0.16}%
< \gclcline{8.24}{35.77}{117}{8.42}{35.56}{118}{0.16}%
< \gclcline{8.42}{35.56}{119}{8.69}{35.51}{120}{0.16}%
< \gclcline{8.69}{35.51}{121}{8.92}{35.65}{122}{0.16}%
< \gclcline{8.92}{35.65}{123}{9.02}{35.90}{124}{0.16}%
< \put(8.62,36.90){\makebox(0,0)[b]{$C_1$}}%
---
> \gclcline{64.15}{49.69}{107}{64.05}{49.94}{108}{0.16}%
> \gclcline{64.05}{49.94}{109}{63.82}{50.08}{110}{0.16}%
> \gclcline{63.82}{50.08}{111}{63.55}{50.03}{112}{0.16}%
> \gclcline{63.55}{50.03}{113}{63.37}{49.82}{114}{0.16}%
> \gclcline{63.37}{49.82}{115}{63.37}{49.55}{116}{0.16}%
> \gclcline{63.37}{49.55}{117}{63.55}{49.34}{118}{0.16}%
> \gclcline{63.55}{49.34}{119}{63.82}{49.29}{120}{0.16}%
> \gclcline{63.82}{49.29}{121}{64.05}{49.43}{122}{0.16}%
> \gclcline{64.05}{49.43}{123}{64.15}{49.69}{124}{0.16}%
> \put(63.75,50.69){\makebox(0,0)[b]{$C_1$}}%
94c94,95
< \gclcline{39.69}{10.25}{129}{8.92}{35.65}{130}{0.16}%
---
> \gclcline{40.21}{10.34}{129}{51.31}{28.90}{130}{0.16}%
> \gclcline{51.72}{29.59}{131}{63.54}{49.34}{132}{0.16}%
97,98c98,99
< \gclcline{89.64}{10.17}{131}{43.46}{31.48}{132}{0.16}%
< \gclcline{42.73}{31.82}{133}{25.36}{39.83}{134}{0.16}%
---
> \gclcline{89.64}{10.17}{133}{43.46}{31.48}{134}{0.16}%
> \gclcline{42.73}{31.82}{135}{25.36}{39.83}{136}{0.16}%
101c102,103
< \gclcline{89.62}{10.12}{135}{9.00}{35.78}{136}{0.16}%
---
> \gclcline{89.78}{10.33}{137}{83.50}{19.83}{138}{0.16}%
> \gclcline{83.06}{20.49}{139}{63.97}{49.35}{140}{0.16}%
104c106,107
< \gclcline{118.93}{10.12}{137}{25.38}{39.88}{138}{0.16}%
---
> \gclcline{98.57}{10.15}{141}{51.88}{29.09}{142}{0.16}%
> \gclcline{51.14}{29.39}{143}{25.37}{39.85}{144}{0.16}%
107c110,111
< \gclcline{118.95}{10.17}{139}{45.36}{44.83}{140}{0.16}%
---
> \gclcline{98.60}{10.22}{145}{83.61}{19.94}{146}{0.16}%
> \gclcline{82.94}{20.38}{147}{45.34}{44.78}{148}{0.16}%
110,118c114,122
< \gclcline{43.49}{31.65}{141}{43.40}{31.91}{142}{0.16}%
< \gclcline{43.40}{31.91}{143}{43.16}{32.04}{144}{0.16}%
< \gclcline{43.16}{32.04}{145}{42.89}{32.00}{146}{0.16}%
< \gclcline{42.89}{32.00}{147}{42.72}{31.79}{148}{0.16}%
< \gclcline{42.72}{31.79}{149}{42.72}{31.51}{150}{0.16}%
< \gclcline{42.72}{31.51}{151}{42.89}{31.30}{152}{0.16}%
< \gclcline{42.89}{31.30}{153}{43.16}{31.26}{154}{0.16}%
< \gclcline{43.16}{31.26}{155}{43.40}{31.39}{156}{0.16}%
< \gclcline{43.40}{31.39}{157}{43.49}{31.65}{158}{0.16}%
---
> \gclcline{43.49}{31.65}{149}{43.40}{31.91}{150}{0.16}%
> \gclcline{43.40}{31.91}{151}{43.16}{32.04}{152}{0.16}%
> \gclcline{43.16}{32.04}{153}{42.89}{32.00}{154}{0.16}%
> \gclcline{42.89}{32.00}{155}{42.72}{31.79}{156}{0.16}%
> \gclcline{42.72}{31.79}{157}{42.72}{31.51}{158}{0.16}%
> \gclcline{42.72}{31.51}{159}{42.89}{31.30}{160}{0.16}%
> \gclcline{42.89}{31.30}{161}{43.16}{31.26}{162}{0.16}%
> \gclcline{43.16}{31.26}{163}{43.40}{31.39}{164}{0.16}%
> \gclcline{43.40}{31.39}{165}{43.49}{31.65}{166}{0.16}%
121a126,135
> \gclcline{51.91}{29.24}{167}{51.82}{29.50}{168}{0.16}%
> \gclcline{51.82}{29.50}{169}{51.58}{29.64}{170}{0.16}%
> \gclcline{51.58}{29.64}{171}{51.31}{29.59}{172}{0.16}%
> \gclcline{51.31}{29.59}{173}{51.14}{29.38}{174}{0.16}%
> \gclcline{51.14}{29.38}{175}{51.14}{29.11}{176}{0.16}%
> \gclcline{51.14}{29.11}{177}{51.31}{28.90}{178}{0.16}%
> \gclcline{51.31}{28.90}{179}{51.58}{28.85}{180}{0.16}%
> \gclcline{51.58}{28.85}{181}{51.82}{28.98}{182}{0.16}%
> \gclcline{51.82}{28.98}{183}{51.91}{29.24}{184}{0.16}%
> \put(51.51,30.24){\makebox(0,0)[b]{$Q$}}%
123a138,147
> \gclcline{83.68}{20.16}{185}{83.59}{20.42}{186}{0.16}%
> \gclcline{83.59}{20.42}{187}{83.35}{20.55}{188}{0.16}%
> \gclcline{83.35}{20.55}{189}{83.08}{20.51}{190}{0.16}%
> \gclcline{83.08}{20.51}{191}{82.90}{20.30}{192}{0.16}%
> \gclcline{82.90}{20.30}{193}{82.90}{20.02}{194}{0.16}%
> \gclcline{82.90}{20.02}{195}{83.08}{19.81}{196}{0.16}%
> \gclcline{83.08}{19.81}{197}{83.35}{19.77}{198}{0.16}%
> \gclcline{83.35}{19.77}{199}{83.59}{19.90}{200}{0.16}%
> \gclcline{83.59}{19.90}{201}{83.68}{20.16}{202}{0.16}%
> \put(83.28,21.16){\makebox(0,0)[b]{$S$}}%
130,131c154,157
< \gclcline{129.28}{0.00}{159}{43.47}{31.51}{160}{0.16}%
< \gclcline{42.72}{31.79}{161}{0.00}{47.47}{162}{0.16}%
---
> \gclcline{0.00}{43.97}{203}{42.71}{31.76}{204}{0.16}%
> \gclcline{43.48}{31.54}{205}{51.13}{29.35}{206}{0.16}%
> \gclcline{51.90}{29.13}{207}{82.89}{20.27}{208}{0.16}%
> \gclcline{83.66}{20.05}{209}{140.00}{3.94}{210}{0.16}%