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

minor memory leak fix #49

Closed Smattr closed 6 months ago

Smattr commented 6 months ago

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

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.072 seconds. There are no ndg conditions.
---
> \item [Time Complexity:]  Time spent by the prover: 10.071 seconds. There are no ndg conditions.

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

154c154
< Time spent by the prover: 0.014 seconds
---
> Time spent by the prover: 0.015 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$ $1.30201$ 
---
> Random point on line, $C$: $A$ $B$ $1.74527$ 
152c152
< Random point on line, $C$: $A$ $B$ $1.30201$ 
---
> Random point on line, $C$: $A$ $B$ $1.74527$ 
566c566
< \item [Time Complexity:]  Time spent by the prover: 5.967 seconds. There are no ndg conditions.
---
> \item [Time Complexity:]  Time spent by the prover: 6.173 seconds. There are no ndg conditions.

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

30,39c30,39
< \gclcline{102.48}{10.00}{37}{102.39}{10.26}{38}{0.16}%
< \gclcline{102.39}{10.26}{39}{102.15}{10.39}{40}{0.16}%
< \gclcline{102.15}{10.39}{41}{101.88}{10.35}{42}{0.16}%
< \gclcline{101.88}{10.35}{43}{101.70}{10.14}{44}{0.16}%
< \gclcline{101.70}{10.14}{45}{101.70}{9.86}{46}{0.16}%
< \gclcline{101.70}{9.86}{47}{101.88}{9.65}{48}{0.16}%
< \gclcline{101.88}{9.65}{49}{102.15}{9.61}{50}{0.16}%
< \gclcline{102.15}{9.61}{51}{102.39}{9.74}{52}{0.16}%
< \gclcline{102.39}{9.74}{53}{102.48}{10.00}{54}{0.16}%
< \put(102.08,11.00){\makebox(0,0)[b]{$C$}}%
---
> \gclcline{120.21}{10.00}{37}{120.12}{10.26}{38}{0.16}%
> \gclcline{120.12}{10.26}{39}{119.88}{10.39}{40}{0.16}%
> \gclcline{119.88}{10.39}{41}{119.61}{10.35}{42}{0.16}%
> \gclcline{119.61}{10.35}{43}{119.43}{10.14}{44}{0.16}%
> \gclcline{119.43}{10.14}{45}{119.43}{9.86}{46}{0.16}%
> \gclcline{119.43}{9.86}{47}{119.61}{9.65}{48}{0.16}%
> \gclcline{119.61}{9.65}{49}{119.88}{9.61}{50}{0.16}%
> \gclcline{119.88}{9.61}{51}{120.12}{9.74}{52}{0.16}%
> \gclcline{120.12}{9.74}{53}{120.21}{10.00}{54}{0.16}%
> \put(119.81,11.00){\makebox(0,0)[b]{$C$}}%
66,75d65
< \gclcline{4.23}{30.65}{91}{4.14}{30.91}{92}{0.16}%
< \gclcline{4.14}{30.91}{93}{3.90}{31.04}{94}{0.16}%
< \gclcline{3.90}{31.04}{95}{3.63}{31.00}{96}{0.16}%
< \gclcline{3.63}{31.00}{97}{3.45}{30.79}{98}{0.16}%
< \gclcline{3.45}{30.79}{99}{3.45}{30.51}{100}{0.16}%
< \gclcline{3.45}{30.51}{101}{3.63}{30.30}{102}{0.16}%
< \gclcline{3.63}{30.30}{103}{3.90}{30.25}{104}{0.16}%
< \gclcline{3.90}{30.25}{105}{4.14}{30.39}{106}{0.16}%
< \gclcline{4.14}{30.39}{107}{4.23}{30.65}{108}{0.16}%
< \put(3.83,31.65){\makebox(0,0)[b]{$C_1$}}%
78,81c68,71
< \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}{101.68}{10.00}{114}{0.16}%
< \gclcline{102.48}{10.00}{115}{140.00}{10.00}{116}{0.16}%
---
> \gclcline{0.00}{10.00}{91}{49.60}{10.00}{92}{0.16}%
> \gclcline{50.40}{10.00}{93}{89.60}{10.00}{94}{0.16}%
> \gclcline{90.40}{10.00}{95}{119.41}{10.00}{96}{0.16}%
> \gclcline{120.21}{10.00}{97}{140.00}{10.00}{98}{0.16}%
84,87c74,76
< \gclcline{0.00}{29.50}{117}{3.45}{30.53}{118}{0.16}%
< \gclcline{4.21}{30.76}{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}%
---
> \gclcline{0.00}{29.50}{99}{8.81}{32.14}{100}{0.16}%
> \gclcline{9.58}{32.37}{101}{34.62}{39.89}{102}{0.16}%
> \gclcline{35.38}{40.11}{103}{140.00}{71.50}{104}{0.16}%
90c79
< \gclcline{49.65}{10.19}{125}{9.54}{32.07}{126}{0.16}%
---
> \gclcline{49.65}{10.19}{105}{9.54}{32.07}{106}{0.16}%
93c82
< \gclcline{89.65}{10.19}{127}{35.35}{39.81}{128}{0.16}%
---
> \gclcline{89.65}{10.19}{107}{35.35}{39.81}{108}{0.16}%
96c85
< \gclcline{89.61}{10.09}{129}{4.22}{30.56}{130}{0.16}%
---
> \gclcline{89.61}{10.08}{109}{0.00}{28.11}{110}{0.16}%
99c88
< \gclcline{101.69}{10.09}{131}{9.58}{32.16}{132}{0.16}%
---
> \gclcline{119.42}{10.08}{111}{9.59}{32.18}{112}{0.16}%
106c95
< \gclcline{49.63}{10.16}{133}{4.19}{30.49}{134}{0.16}%
---
> \gclcline{49.62}{10.13}{113}{0.00}{27.69}{114}{0.16}%
109c98
< \gclcline{101.72}{10.16}{135}{35.37}{39.84}{136}{0.16}%
---
> \gclcline{119.43}{10.13}{115}{35.38}{39.87}{116}{0.16}%

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

35c35
< Random point on line, $C$: $A$ $B$ $0.693154$ 
---
> Random point on line, $C$: $A$ $B$ $0.258244$ 
44c44
< Random point on line, $C_1$: $A_1$ $B_1$ $1.03186$ 
---
> Random point on line, $C_1$: $A_1$ $B_1$ $0.761066$ 
168c168
< Random point on line, $C$: $A$ $B$ $0.693154$ 
---
> Random point on line, $C$: $A$ $B$ $0.258244$ 
192c192
< Random point on line, $C_1$: $A_1$ $B_1$ $1.03186$ 
---
> Random point on line, $C_1$: $A_1$ $B_1$ $0.761066$ 
681c681
< \item [Time Complexity:]  Time spent by the prover: 0.399 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

7,8c7,8
< \gclcline{40.40}{10.00}{3}{74.26}{10.00}{4}{0.16}%
< \gclcline{75.06}{10.00}{5}{89.60}{10.00}{6}{0.16}%
---
> \gclcline{40.40}{10.00}{3}{52.51}{10.00}{4}{0.16}%
> \gclcline{53.31}{10.00}{5}{89.60}{10.00}{6}{0.16}%
36,45c36,45
< \gclcline{75.06}{10.00}{45}{74.96}{10.26}{46}{0.16}%
< \gclcline{74.96}{10.26}{47}{74.73}{10.39}{48}{0.16}%
< \gclcline{74.73}{10.39}{49}{74.46}{10.35}{50}{0.16}%
< \gclcline{74.46}{10.35}{51}{74.28}{10.14}{52}{0.16}%
< \gclcline{74.28}{10.14}{53}{74.28}{9.86}{54}{0.16}%
< \gclcline{74.28}{9.86}{55}{74.46}{9.65}{56}{0.16}%
< \gclcline{74.46}{9.65}{57}{74.73}{9.61}{58}{0.16}%
< \gclcline{74.73}{9.61}{59}{74.96}{9.74}{60}{0.16}%
< \gclcline{74.96}{9.74}{61}{75.06}{10.00}{62}{0.16}%
< \put(74.66,11.00){\makebox(0,0)[b]{$C$}}%
---
> \gclcline{53.31}{10.00}{45}{53.22}{10.26}{46}{0.16}%
> \gclcline{53.22}{10.26}{47}{52.98}{10.39}{48}{0.16}%
> \gclcline{52.98}{10.39}{49}{52.71}{10.35}{50}{0.16}%
> \gclcline{52.71}{10.35}{51}{52.54}{10.14}{52}{0.16}%
> \gclcline{52.54}{10.14}{53}{52.54}{9.86}{54}{0.16}%
> \gclcline{52.54}{9.86}{55}{52.71}{9.65}{56}{0.16}%
> \gclcline{52.71}{9.65}{57}{52.98}{9.61}{58}{0.16}%
> \gclcline{52.98}{9.61}{59}{53.22}{9.74}{60}{0.16}%
> \gclcline{53.22}{9.74}{61}{53.31}{10.00}{62}{0.16}%
> \put(52.91,11.00){\makebox(0,0)[b]{$C$}}%
49,50c49,51
< \gclcline{25.39}{40.10}{65}{44.61}{44.90}{66}{0.16}%
< \gclcline{46.03}{45.26}{67}{140.00}{68.75}{68}{0.16}%
---
> \gclcline{25.39}{40.10}{65}{39.83}{43.71}{66}{0.16}%
> \gclcline{40.61}{43.90}{67}{44.61}{44.90}{68}{0.16}%
> \gclcline{45.39}{45.10}{69}{140.00}{68.75}{70}{0.16}%
53,61c54,62
< \gclcline{25.40}{40.00}{69}{25.31}{40.26}{70}{0.16}%
< \gclcline{25.31}{40.26}{71}{25.07}{40.39}{72}{0.16}%
< \gclcline{25.07}{40.39}{73}{24.80}{40.35}{74}{0.16}%
< \gclcline{24.80}{40.35}{75}{24.62}{40.14}{76}{0.16}%
< \gclcline{24.62}{40.14}{77}{24.62}{39.86}{78}{0.16}%
< \gclcline{24.62}{39.86}{79}{24.80}{39.65}{80}{0.16}%
< \gclcline{24.80}{39.65}{81}{25.07}{39.61}{82}{0.16}%
< \gclcline{25.07}{39.61}{83}{25.31}{39.74}{84}{0.16}%
< \gclcline{25.31}{39.74}{85}{25.40}{40.00}{86}{0.16}%
---
> \gclcline{25.40}{40.00}{71}{25.31}{40.26}{72}{0.16}%
> \gclcline{25.31}{40.26}{73}{25.07}{40.39}{74}{0.16}%
> \gclcline{25.07}{40.39}{75}{24.80}{40.35}{76}{0.16}%
> \gclcline{24.80}{40.35}{77}{24.62}{40.14}{78}{0.16}%
> \gclcline{24.62}{40.14}{79}{24.62}{39.86}{80}{0.16}%
> \gclcline{24.62}{39.86}{81}{24.80}{39.65}{82}{0.16}%
> \gclcline{24.80}{39.65}{83}{25.07}{39.61}{84}{0.16}%
> \gclcline{25.07}{39.61}{85}{25.31}{39.74}{86}{0.16}%
> \gclcline{25.31}{39.74}{87}{25.40}{40.00}{88}{0.16}%
65,73c66,74
< \gclcline{45.40}{45.00}{87}{45.31}{45.26}{88}{0.16}%
< \gclcline{45.31}{45.26}{89}{45.07}{45.39}{90}{0.16}%
< \gclcline{45.07}{45.39}{91}{44.80}{45.35}{92}{0.16}%
< \gclcline{44.80}{45.35}{93}{44.62}{45.14}{94}{0.16}%
< \gclcline{44.62}{45.14}{95}{44.62}{44.86}{96}{0.16}%
< \gclcline{44.62}{44.86}{97}{44.80}{44.65}{98}{0.16}%
< \gclcline{44.80}{44.65}{99}{45.07}{44.61}{100}{0.16}%
< \gclcline{45.07}{44.61}{101}{45.31}{44.74}{102}{0.16}%
< \gclcline{45.31}{44.74}{103}{45.40}{45.00}{104}{0.16}%
---
> \gclcline{45.40}{45.00}{89}{45.31}{45.26}{90}{0.16}%
> \gclcline{45.31}{45.26}{91}{45.07}{45.39}{92}{0.16}%
> \gclcline{45.07}{45.39}{93}{44.80}{45.35}{94}{0.16}%
> \gclcline{44.80}{45.35}{95}{44.62}{45.14}{96}{0.16}%
> \gclcline{44.62}{45.14}{97}{44.62}{44.86}{98}{0.16}%
> \gclcline{44.62}{44.86}{99}{44.80}{44.65}{100}{0.16}%
> \gclcline{44.80}{44.65}{101}{45.07}{44.61}{102}{0.16}%
> \gclcline{45.07}{44.61}{103}{45.31}{44.74}{104}{0.16}%
> \gclcline{45.31}{44.74}{105}{45.40}{45.00}{106}{0.16}%
77,86c78,87
< \gclcline{46.04}{45.16}{105}{45.94}{45.42}{106}{0.16}%
< \gclcline{45.94}{45.42}{107}{45.71}{45.55}{108}{0.16}%
< \gclcline{45.71}{45.55}{109}{45.44}{45.51}{110}{0.16}%
< \gclcline{45.44}{45.51}{111}{45.26}{45.30}{112}{0.16}%
< \gclcline{45.26}{45.30}{113}{45.26}{45.02}{114}{0.16}%
< \gclcline{45.26}{45.02}{115}{45.44}{44.81}{116}{0.16}%
< \gclcline{45.44}{44.81}{117}{45.71}{44.77}{118}{0.16}%
< \gclcline{45.71}{44.77}{119}{45.94}{44.90}{120}{0.16}%
< \gclcline{45.94}{44.90}{121}{46.04}{45.16}{122}{0.16}%
< \put(45.64,46.16){\makebox(0,0)[b]{$C_1$}}%
---
> \gclcline{40.62}{43.81}{107}{40.53}{44.06}{108}{0.16}%
> \gclcline{40.53}{44.06}{109}{40.29}{44.20}{110}{0.16}%
> \gclcline{40.29}{44.20}{111}{40.02}{44.15}{112}{0.16}%
> \gclcline{40.02}{44.15}{113}{39.85}{43.94}{114}{0.16}%
> \gclcline{39.85}{43.94}{115}{39.85}{43.67}{116}{0.16}%
> \gclcline{39.85}{43.67}{117}{40.02}{43.46}{118}{0.16}%
> \gclcline{40.02}{43.46}{119}{40.29}{43.41}{120}{0.16}%
> \gclcline{40.29}{43.41}{121}{40.53}{43.55}{122}{0.16}%
> \gclcline{40.53}{43.55}{123}{40.62}{43.81}{124}{0.16}%
> \put(40.22,44.81){\makebox(0,0)[b]{$C_1$}}%
89,90c90
< \gclcline{40.06}{10.40}{123}{42.70}{28.91}{124}{0.16}%
< \gclcline{42.77}{29.36}{125}{43.04}{31.25}{126}{0.16}%
---
> \gclcline{40.06}{10.40}{125}{43.04}{31.25}{126}{0.16}%
94,96c94,95
< \gclcline{40.06}{10.39}{129}{43.00}{28.69}{130}{0.16}%
< \gclcline{43.12}{29.48}{131}{43.44}{31.45}{132}{0.16}%
< \gclcline{43.48}{31.73}{133}{45.57}{44.76}{134}{0.16}%
---
> \gclcline{40.00}{10.40}{129}{40.09}{23.38}{130}{0.16}%
> \gclcline{40.09}{24.18}{131}{40.22}{43.41}{132}{0.16}%
99,100c98,99
< \gclcline{89.64}{10.17}{135}{43.46}{31.48}{136}{0.16}%
< \gclcline{42.73}{31.82}{137}{25.36}{39.83}{138}{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}%
103c102,103
< \gclcline{89.69}{10.25}{139}{45.95}{44.91}{140}{0.16}%
---
> \gclcline{89.67}{10.22}{137}{46.52}{39.53}{138}{0.16}%
> \gclcline{45.85}{39.98}{139}{40.55}{43.58}{140}{0.16}%
106,107c106,107
< \gclcline{74.32}{10.21}{141}{43.40}{28.88}{142}{0.16}%
< \gclcline{42.72}{29.30}{143}{25.34}{39.79}{144}{0.16}%
---
> \gclcline{52.64}{10.29}{141}{40.36}{23.49}{142}{0.16}%
> \gclcline{39.82}{24.07}{143}{25.27}{39.71}{144}{0.16}%
110c110,111
< \gclcline{74.40}{10.31}{145}{45.26}{44.69}{146}{0.16}%
---
> \gclcline{52.82}{10.39}{145}{46.27}{39.36}{146}{0.16}%
> \gclcline{46.10}{40.14}{147}{45.09}{44.61}{148}{0.16}%
113,121c114,122
< \gclcline{43.49}{31.65}{147}{43.40}{31.91}{148}{0.16}%
< \gclcline{43.40}{31.91}{149}{43.16}{32.04}{150}{0.16}%
< \gclcline{43.16}{32.04}{151}{42.89}{32.00}{152}{0.16}%
< \gclcline{42.89}{32.00}{153}{42.72}{31.79}{154}{0.16}%
< \gclcline{42.72}{31.79}{155}{42.72}{31.51}{156}{0.16}%
< \gclcline{42.72}{31.51}{157}{42.89}{31.30}{158}{0.16}%
< \gclcline{42.89}{31.30}{159}{43.16}{31.26}{160}{0.16}%
< \gclcline{43.16}{31.26}{161}{43.40}{31.39}{162}{0.16}%
< \gclcline{43.40}{31.39}{163}{43.49}{31.65}{164}{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}%
125,134c126,135
< \gclcline{43.46}{29.09}{165}{43.37}{29.35}{166}{0.16}%
< \gclcline{43.37}{29.35}{167}{43.13}{29.48}{168}{0.16}%
< \gclcline{43.13}{29.48}{169}{42.86}{29.44}{170}{0.16}%
< \gclcline{42.86}{29.44}{171}{42.68}{29.23}{172}{0.16}%
< \gclcline{42.68}{29.23}{173}{42.68}{28.95}{174}{0.16}%
< \gclcline{42.68}{28.95}{175}{42.86}{28.74}{176}{0.16}%
< \gclcline{42.86}{28.74}{177}{43.13}{28.70}{178}{0.16}%
< \gclcline{43.13}{28.70}{179}{43.37}{28.83}{180}{0.16}%
< \gclcline{43.37}{28.83}{181}{43.46}{29.09}{182}{0.16}%
< \put(43.06,30.09){\makebox(0,0)[b]{$Q$}}%
---
> \gclcline{40.49}{23.78}{167}{40.40}{24.04}{168}{0.16}%
> \gclcline{40.40}{24.04}{169}{40.16}{24.17}{170}{0.16}%
> \gclcline{40.16}{24.17}{171}{39.89}{24.13}{172}{0.16}%
> \gclcline{39.89}{24.13}{173}{39.71}{23.92}{174}{0.16}%
> \gclcline{39.71}{23.92}{175}{39.71}{23.64}{176}{0.16}%
> \gclcline{39.71}{23.64}{177}{39.89}{23.43}{178}{0.16}%
> \gclcline{39.89}{23.43}{179}{40.16}{23.39}{180}{0.16}%
> \gclcline{40.16}{23.39}{181}{40.40}{23.52}{182}{0.16}%
> \gclcline{40.40}{23.52}{183}{40.49}{23.78}{184}{0.16}%
> \put(40.09,24.78){\makebox(0,0)[b]{$Q$}}%
137,146c138,147
< \gclcline{43.69}{47.02}{183}{43.59}{47.28}{184}{0.16}%
< \gclcline{43.59}{47.28}{185}{43.36}{47.42}{186}{0.16}%
< \gclcline{43.36}{47.42}{187}{43.09}{47.37}{188}{0.16}%
< \gclcline{43.09}{47.37}{189}{42.91}{47.16}{190}{0.16}%
< \gclcline{42.91}{47.16}{191}{42.91}{46.89}{192}{0.16}%
< \gclcline{42.91}{46.89}{193}{43.09}{46.68}{194}{0.16}%
< \gclcline{43.09}{46.68}{195}{43.36}{46.63}{196}{0.16}%
< \gclcline{43.36}{46.63}{197}{43.59}{46.77}{198}{0.16}%
< \gclcline{43.59}{46.77}{199}{43.69}{47.02}{200}{0.16}%
< \put(43.29,48.02){\makebox(0,0)[b]{$S$}}%
---
> \gclcline{46.59}{39.75}{185}{46.49}{40.01}{186}{0.16}%
> \gclcline{46.49}{40.01}{187}{46.26}{40.15}{188}{0.16}%
> \gclcline{46.26}{40.15}{189}{45.99}{40.10}{190}{0.16}%
> \gclcline{45.99}{40.10}{191}{45.81}{39.89}{192}{0.16}%
> \gclcline{45.81}{39.89}{193}{45.81}{39.62}{194}{0.16}%
> \gclcline{45.81}{39.62}{195}{45.99}{39.41}{196}{0.16}%
> \gclcline{45.99}{39.41}{197}{46.26}{39.36}{198}{0.16}%
> \gclcline{46.26}{39.36}{199}{46.49}{39.50}{200}{0.16}%
> \gclcline{46.49}{39.50}{201}{46.59}{39.75}{202}{0.16}%
> \put(46.19,40.75){\makebox(0,0)[b]{$S$}}%
153,156c154,157
< \gclcline{42.69}{0.00}{201}{43.06}{28.69}{202}{0.16}%
< \gclcline{43.07}{29.49}{203}{43.09}{31.25}{204}{0.16}%
< \gclcline{43.10}{32.05}{205}{43.28}{46.62}{206}{0.16}%
< \gclcline{43.29}{47.42}{207}{43.95}{100.00}{208}{0.16}%
---
> \gclcline{31.02}{0.00}{203}{39.95}{23.41}{204}{0.16}%
> \gclcline{40.23}{24.15}{205}{42.95}{31.28}{206}{0.16}%
> \gclcline{43.24}{32.02}{207}{46.04}{39.38}{208}{0.16}%
> \gclcline{46.33}{40.13}{209}{69.18}{100.00}{210}{0.16}%