From c413bedfbd04e1e0570b09c89ec1ff84029125a7 Mon Sep 17 00:00:00 2001
From: GinoGiotto <73717712+GinoGiotto@users.noreply.github.com>
Date: Mon, 22 May 2023 14:02:24 +0200
Subject: [PATCH] minimized footex

---
 set.mm | 144 ++++++++++++++++++++++++++++-----------------------------
 1 file changed, 71 insertions(+), 73 deletions(-)

diff --git a/set.mm b/set.mm
index ccbbb565ff..959a625006 100644
--- a/set.mm
+++ b/set.mm
@@ -387124,79 +387124,77 @@ are congruent (CPCTC), focusing on a specific segment.  (Contributed
         cs3 eqtr2d tglinerflx1 axtgcgrrflx axtg5seg trgcgr ragcgr eqidd krippen
         ragcom crn ad5antr ad9antr tglinethru tgelrnln tglinerflx2 elind mircgr
         simpr neeqtrd eleqtrd orcd ragcol eqeltrd wo btwncolg3 ragflat pm2.65da
-        s3eqd neneqd neqned ragperp jca ex reximdv2 mpd axtgsegcon r19.29a
-        tgisline r19.29vva ) ACUAUOZUBUOZHRZUHZUUCUUDUIZVNZDBUOZHRZCFUJUKULZBCU
-        MZUAUBEEAUUCESZVNZUUDESZVNZUUHVNZUUCUUDUCUOZGRSZUUCUURIRZUUCDIRZUHZVNZU
-        ULUCEUUQUURESZVNZUVCVNZDUURUDUOZFUNUKZUKZUKZUHZUULUDEUVFUVGESZVNZUVKVNZ
-        UURUUCUEUOZGRSZUURUVOIRZUURUVGIRZUHZVNZUULUEEUVNUVOESZVNZUVTVNZUURUVGUF
-        UOZGRSZUURUWDIRZUURUUCIRZUHZVNZUULUFEUWCUWDESZVNZUWIVNZUURUWDUVOUVHUKZU
-        KZUGUOZGRSZUURUWOIRZUURDIRZUHZVNZUULUGEUWLUWOESZVNZUWTVNZUWODUUIUVHUKZU
-        KZUHZBEUMUULUXCBDUWOUUREUVHFGHUXDIJKLMUVHUPZUWLFUQSZUXAUWTUWCUXHUWJUWIU
-        VNUXHUWAUVTUVFUXHUVLUVKUUQUXHUVDUVCAUXHUUMUUOUUHNURZUSZUSZUSZUSZUSZUXDU
-        PZUWLDESZUXAUWTUVFUXPUVLUVKUWAUVTUWJUWIUUQUXPUVDUVCAUXPUUMUUOUUHPURZUSZ
-        UTZUSZUWLUXAUWTVAUWLUVDUXAUWTUWCUVDUWJUWIUVNUVDUWAUVTUUQUVDUVCUVLUVKVEZ
-        USZUSZUSZUXCUWQUWRUXBUWPUWSVBVCZVDUXCUXFUUKBECUXCUUIESZUXFVNZUUICSZUUKV
-        NUXCUYGVNZUYHUUKUYIUUIUURUVOHRCUYIEFGHUURUVOUUIJLMUXCUXHUYGUXNTZUXCUVDU
-        YGUYDTZUXCUWAUYGUVNUWAUVTUWJUWIUXAUWTVFZTZUXCUYFUXFVGZUYIUURUVGUURUVOEF
-        GIJKLUYJUYKUXCUVLUYGUWCUVLUWJUWIUXAUWTUVFUVLUVKUWAUVTVEZVHZTZUYKUYMUXCU
-        VRUVQUHUYGUXCUVQUVRUXCUVPUVSUWBUVTUWJUWIUXAUWTVIZVJVCZTUYIUVGUURUYIUVJU
-        URUIUVGUURUIUYIDUVJUURUXCUVKUYGUVMUVKUWAUVTUWJUWIUXAUWTVKZTZUYIUURDUYIU
-        URCSZDCSWDZUURDUIUXCVUBUYGUXCUURUUECUXCEFGHUUCUUDUURJLMUXNUWCUUMUWJUWIU
-        XAUWTUVNUUMUWAUVTUVFUUMUVLUVKUUQUUMUVDUVCAUUMUUOUUHVOZUSZUSZUSZVHZUUQUU
-        OUVDUVCUVLUVKUWAUVTUWJUWIUXAUWTUUNUUOUUHVAZVLZUYDUXCUUFUUGUUPUUHUVDUVCU
-        VLUVKUWAUVTUWJUWIUXAUWTVMZVJZUXCEFGHUUDUUCUURJLMUXNVUJVUHUYDUXCUUCUUDVU
-        LVPUXCUUSUVBUVEUVCUVLUVKUWAUVTUWJUWIUXAUWTVQZVRVSVTUXCUUFUUGVUKVRZWATZU
-        XCVUCUYGUUQVUCUVDUVCUVLUVKUWAUVTUWJUWIUXAUWTAVUCUUMUUOUUHQURVLZTZUURDCW
-        BWCVPZWEUYIUVJUURUVGUURUYIUVGUUREUVHFGHUVIIJKLMUXGUYJUYQUVIUPZUYKWFWGWH
-        ZVPZWIZUYIEFGHUVOUURUUIJLMUYJUYMUYKUYNUYIUURUVOVVBVPZUYIUWDUWNUUREUVHDU
-        WOFGHUWMIUXDUVOUUIJKLMUXGUYJUWMUPZUXOUXCUWJUYGUWCUWJUWIUXAUWTVEZTZUWLUW
-        NESUXAUWTUYGUWLUVOEUVHFGHUWMIUWDJKLMUXGUXMUVNUWAUVTUWJUWIVEVVDUWCUWJUWI
-        VAWMZURZUYKUXCUXPUYGUXTTZUWLUXAUWTUYGVOZUYMUYNUYIDUURUWDEFGIJKLUYJVVIUY
-        KVVFUYIDUVGUURUWDEFGIJKLUYJVVIUYQUYKVVFVUTUYIUVGUVJUURGRDUURGRUYIUVGUUR
-        EUVHFGHUVIIJKLMUXGUYJUYQVUSUYKWJUYIDUVJUURGVUAWKWAZUXCUWEUYGUXCUWEUWHUW
-        KUWIUXAUWTVOZVRZTWLWNZUXBUWPUWSUYGWOZUXCUWFUURUWNIRUHZUYGUXCUURUVOUWDXC
-        FWPUKZSVVPUXCUWDUVOUUREUVHFGHIJKLMUXGUXNVVEUYLUYDUXCUUCUVGUURUWDEFWQUKZ
-        UVHUVOUURFGHIJKLMUXGUXNVUHUYPUYDVVRUPZVVEUYLUYDUXCUUCUVGUURXCVVQSZUUTUU
-        CUVJIRZUHUXCUUTUVAVWAUXCUUSUVBVUMVJZUXCDUVJUUCIUYTWRWSUXCUUCUVGUUREUVHF
-        GHIJKLMUXGUXNVUHUYPUYDWTXAZUXCUUCUVGUURUWDEVVRUVOUURFIJKVVSUXNVUHUYPUYD
-        VVEUYLUYDUXCUVGUUCUVOUWDEFGIJKLUXNUYPVUHUYLVVEUXCUUCUURUVOEUUCFGIUWDUWD
-        UURUVGJKLUXNVVEUYDUYPVUHUYDUYLVUHVVEUXCUURUWDUXCDUUCUURUWDEFGIJKLUXNUXT
-        VUHUYDVVEUXCUWFUWGDUUCIRUXCUWEUWHVVLVJZUXCUUCUURUUCDEFGIJKLUXNVUHUYDVUH
-        UXTVWBXBXDUXCUUCDUXCUUCCSZVUCUUCDUIZUXCUUCUUECUXCEUUCUUDFGHJLMUXNVUHVUJ
-        VULXEVUNWAZVUPUUCDCWBWCZVPWIVPZUXCUVGUURUWDEFGIJKLUXNUYPUYDVVEVVMWNUXCU
-        VPUVSUYRVRZUXCUURUWDUURUUCEFGIJKLUXNUYDVVEUYDVUHVWDXBUYSUXCEFGIUWDUUCJK
-        LUXNVVEVUHXFUXCUWFUWGVWDVCZXGXBUXCUURUVGUURUVOEFGIJKLUXNUYDUYPUYDUYLUYS
-        XBVWKXHXIXLUXCUURUVOUWDEUVHFGHIJKLMUXGUXNUYDUYLVVEWTWHTZUXCUWRUWQUHUYGU
-        YETZUYIUWNXJUXCUYFUXFVBZXKVSVTUYICEUURUVOFGHJLMUYJUYKUYMVVBVVBUVFCHXMSZ
-        UVLUVKUWAUVTUWJUWIUXAUWTUYGAVWOUUMUUOUUHUVDUVCOXNXOZVUOUYIUVOUUCUURHRZC
-        UYIEFGHUUCUURUVOJLMUYJUXCUUMUYGVUHTZUYKUYMUYIUUCDUUCUUREFGIJKLUYJVWRVVI
-        VWRUYKUYIUUTUVAUXCUVBUYGVWBTVCZUXCVWFUYGVWHTZWIZUXCUVPUYGVWJTVSZUYICEUU
-        CUURFGHJLMUYJVWRUYKVXAVXAVWPUXCVWEUYGVWGTVUOXPWAXPWAZUYIUUJCEDFGHIUURUU
-        IJKLMUYJUYIEFGHDUUIJLMUYJVVIUYNUYIUUIDUYIUYHVUCUUIDUIVXCVUQUUIDCWBWCVPZ
-        XQVWPUYIUUJCUUIUYIEDUUIFGHJLMUYJVVIUYNVXDXRVXCXSUYIEDUUIFGHJLMUYJVVIUYN
-        VXDXEVUOVXDUYIUURUUIUYIUURUUIUHZUURUVGUHZUYIVXEVNZUUCUURUVGEUVHFGHIJKLM
-        UXGUYIUXHVXEUYJTZUYIUUMVXEVWRTZUYIUVDVXEUYKTZUYIUVLVXEUYQTZVXGUVGUURUUC
-        EUVHFGHIJKLMUXGVXHVXKVXJVXIVXGDUURUUCUVGEUVHFGHIJKLMUXGVXHUYIUXPVXEVVIT
-        ZVXJVXIVXKVXGDUURUUCXCDUUIUUCXCVVQVXGDUURUUCUUCDUUIVXGDXJUYIVXEYAZVXGUU
-        CXJYKVXGUUCUUIDEUVHFGHIJKLMUXGVXHVXIUYIUYFVXEUYNTZVXLVXGUVOUUIDUUCEUVHF
-        GHIJKLMUXGVXHUYIUWAVXEUYMTZVXNVXLVXIUYIUVOUUIDXCVVQSZVXEUYIVXPUVODIRZUV
-        OUXEIRZUHUYIVXQUVOUWOIRVXRUYIDUVOUWOUVOEFGIJKLUYJVVIUYMVVJUYMUYIUWNUURU
-        WOEUVOFGIUVOUWDUURDJKLUYJVVFUYKVVIVVHUYKVVJUYMUYMUXCUWDUURUIUYGVWITVVNV
-        VOUYIUURUWDUURUWNEFGIJKLUYJUYKVVFUYKVVHVWLXBVWMUYIUVOUWDUVOUWNEFGIJKLUY
-        JUYMVVFUYMVVHUYIUVOUWNIRUVOUWDIRUYIUVOUWDEUVHFGHUWMIJKLMUXGUYJUYMVVDVVF
-        XTVCXBUYIUVQXJXGXBUYIUWOUXEUVOIVWNWRWSUYIUVOUUIDEUVHFGHIJKLMUXGUYJUYMUY
-        NVVIWTXATVXGUVOUURUUIUYIUVOUURUIVXEVVCTVXMYBVXGUVOUUIUUCHRZSUUIUUCUHVXG
-        UVOUURUUCHRVXSVXGEFGHUURUUCUVOJLMVXHVXJVXIVXOVXGUUCUURVXGUUCDUUCUUREFGI
-        JKLVXHVXIVXLVXIVXJUYIUVAUUTUHVXEVWSTUYIVWFVXEVWTTWIVPUYIUVOVWQSVXEVXBTV
-        TVXGUURUUIUUCHVXMWKYCYDYEXLYFUYIDUURUIVXEVURTUYIDUURUVGHRSVXFYGVXEUYIEF
-        GHUURUVGDJMLUYJUYKUYQVVIUYIDUVGUUREFGIJKLUYJVVIUYQUYKVVKWNYHTYEXLUXCVVT
-        UYGVXEVWCUSYIVXGUURUVGUYIUURUVGUIVXEVVATYLYJYMUYIUURUUIDEUVHFGHIJKLMUXG
-        UYJUYKUYNVVIUYIUURUUIDXCVVQSUWRUURUXEIRZUHUYIUWRUWQVXTVWMUYIUWOUXEUURIV
-        WNWRWSUYIUURUUIDEUVHFGHIJKLMUXGUYJUYKUYNVVIWTXAXLYNYOYPYQYRUWLUGUURDEFG
-        IUWNUURJKLUXMVVGUYCUYCUXSYSYTUWCUFUURUUCEFGIUVGUURJKLUXLUYOUYBUYBVUGYSY
-        TUVNUEUURUVGEFGIUUCUURJKLUXKVUFUYAUYAUVFUVLUVKVAYSYTUVFUDUURDUUCEUVHFGH
-        UVIIJKLMUXGUXJVUSUUQUVDUVCVAUXRVUEUVEUUSUVBVBVDYTUUQUCUUCDEFGIUUDUUCJKL
-        UXIVUIVUDVUDUXQYSYTAUAUBCEFGHJLMNOUUAUUB $.
+        neneqd neqned ragperp reximssdv axtgsegcon r19.29a tgisline r19.29vva
+        s3eqd ) ACUAUOZUBUOZHRZUHZYTUUAUIZVNZDBUOZHRZCFUJUKULZBCUMZUAUBEEAYTESZ
+        VNZUUAESZVNZUUEVNZYTUUAUCUOZGRSZYTUUOIRZYTDIRZUHZVNZUUIUCEUUNUUOESZVNZU
+        UTVNZDUUOUDUOZFUNUKZUKZUKZUHZUUIUDEUVCUVDESZVNZUVHVNZUUOYTUEUOZGRSZUUOU
+        VLIRZUUOUVDIRZUHZVNZUUIUEEUVKUVLESZVNZUVQVNZUUOUVDUFUOZGRSZUUOUWAIRZUUO
+        YTIRZUHZVNZUUIUFEUVTUWAESZVNZUWFVNZUUOUWAUVLUVEUKZUKZUGUOZGRSZUUOUWLIRZ
+        UUODIRZUHZVNZUUIUGEUWIUWLESZVNZUWQVNZUWLDUUFUVEUKZUKZUHZUUHBCEUWTBDUWLU
+        UOEUVEFGHUXAIJKLMUVEUPZUWIFUQSZUWRUWQUVTUXEUWGUWFUVKUXEUVRUVQUVCUXEUVIU
+        VHUUNUXEUVAUUTAUXEUUJUULUUENURZUSZUSZUSZUSZUSZUXAUPZUWIDESZUWRUWQUVCUXM
+        UVIUVHUVRUVQUWGUWFUUNUXMUVAUUTAUXMUUJUULUUEPURZUSZUTZUSZUWIUWRUWQVAUWIU
+        VAUWRUWQUVTUVAUWGUWFUVKUVAUVRUVQUUNUVAUUTUVIUVHVEZUSZUSZUSZUWTUWNUWOUWS
+        UWMUWPVBVCZVDUWTUUFESZUXCVNZVNZUUFUUOUVLHRCUYEEFGHUUOUVLUUFJLMUWTUXEUYD
+        UXKTZUWTUVAUYDUYATZUWTUVRUYDUVKUVRUVQUWGUWFUWRUWQVFZTZUWTUYCUXCVGZUYEUU
+        OUVDUUOUVLEFGIJKLUYFUYGUWTUVIUYDUVTUVIUWGUWFUWRUWQUVCUVIUVHUVRUVQVEZVHZ
+        TZUYGUYIUWTUVOUVNUHUYDUWTUVNUVOUWTUVMUVPUVSUVQUWGUWFUWRUWQVIZVJVCZTUYEU
+        VDUUOUYEUVGUUOUIUVDUUOUIUYEDUVGUUOUWTUVHUYDUVJUVHUVRUVQUWGUWFUWRUWQVKZT
+        ZUYEUUODUYEUUOCSZDCSWDZUUODUIUWTUYRUYDUWTUUOUUBCUWTEFGHYTUUAUUOJLMUXKUV
+        TUUJUWGUWFUWRUWQUVKUUJUVRUVQUVCUUJUVIUVHUUNUUJUVAUUTAUUJUULUUEVOZUSZUSZ
+        USZVHZUUNUULUVAUUTUVIUVHUVRUVQUWGUWFUWRUWQUUKUULUUEVAZVLZUYAUWTUUCUUDUU
+        MUUEUVAUUTUVIUVHUVRUVQUWGUWFUWRUWQVMZVJZUWTEFGHUUAYTUUOJLMUXKVUFVUDUYAU
+        WTYTUUAVUHVPUWTUUPUUSUVBUUTUVIUVHUVRUVQUWGUWFUWRUWQVQZVRVSVTUWTUUCUUDVU
+        GVRZWATZUWTUYSUYDUUNUYSUVAUUTUVIUVHUVRUVQUWGUWFUWRUWQAUYSUUJUULUUEQURVL
+        ZTZUUODCWBWCVPZWEUYEUVGUUOUVDUUOUYEUVDUUOEUVEFGHUVFIJKLMUXDUYFUYMUVFUPZ
+        UYGWFWGWHZVPZWIZUYEEFGHUVLUUOUUFJLMUYFUYIUYGUYJUYEUUOUVLVURVPZUYEUWAUWK
+        UUOEUVEDUWLFGHUWJIUXAUVLUUFJKLMUXDUYFUWJUPZUXLUWTUWGUYDUVTUWGUWFUWRUWQV
+        EZTZUWIUWKESUWRUWQUYDUWIUVLEUVEFGHUWJIUWAJKLMUXDUXJUVKUVRUVQUWGUWFVEVUT
+        UVTUWGUWFVAWMZURZUYGUWTUXMUYDUXQTZUWIUWRUWQUYDVOZUYIUYJUYEDUUOUWAEFGIJK
+        LUYFVVEUYGVVBUYEDUVDUUOUWAEFGIJKLUYFVVEUYMUYGVVBVUPUYEUVDUVGUUOGRDUUOGR
+        UYEUVDUUOEUVEFGHUVFIJKLMUXDUYFUYMVUOUYGWJUYEDUVGUUOGUYQWKWAZUWTUWBUYDUW
+        TUWBUWEUWHUWFUWRUWQVOZVRZTWLWNZUWSUWMUWPUYDWOZUWTUWCUUOUWKIRUHZUYDUWTUU
+        OUVLUWAXCFWPUKZSVVLUWTUWAUVLUUOEUVEFGHIJKLMUXDUXKVVAUYHUYAUWTYTUVDUUOUW
+        AEFWQUKZUVEUVLUUOFGHIJKLMUXDUXKVUDUYLUYAVVNUPZVVAUYHUYAUWTYTUVDUUOXCVVM
+        SZUUQYTUVGIRZUHUWTUUQUURVVQUWTUUPUUSVUIVJZUWTDUVGYTIUYPWRWSUWTYTUVDUUOE
+        UVEFGHIJKLMUXDUXKVUDUYLUYAWTXAZUWTYTUVDUUOUWAEVVNUVLUUOFIJKVVOUXKVUDUYL
+        UYAVVAUYHUYAUWTUVDYTUVLUWAEFGIJKLUXKUYLVUDUYHVVAUWTYTUUOUVLEYTFGIUWAUWA
+        UUOUVDJKLUXKVVAUYAUYLVUDUYAUYHVUDVVAUWTUUOUWAUWTDYTUUOUWAEFGIJKLUXKUXQV
+        UDUYAVVAUWTUWCUWDDYTIRUWTUWBUWEVVHVJZUWTYTUUOYTDEFGIJKLUXKVUDUYAVUDUXQV
+        VRXBXDUWTYTDUWTYTCSZUYSYTDUIZUWTYTUUBCUWTEYTUUAFGHJLMUXKVUDVUFVUHXEVUJW
+        AZVULYTDCWBWCZVPWIVPZUWTUVDUUOUWAEFGIJKLUXKUYLUYAVVAVVIWNUWTUVMUVPUYNVR
+        ZUWTUUOUWAUUOYTEFGIJKLUXKUYAVVAUYAVUDVVTXBUYOUWTEFGIUWAYTJKLUXKVVAVUDXF
+        UWTUWCUWDVVTVCZXGXBUWTUUOUVDUUOUVLEFGIJKLUXKUYAUYLUYAUYHUYOXBVWGXHXIXLU
+        WTUUOUVLUWAEUVEFGHIJKLMUXDUXKUYAUYHVVAWTWHTZUWTUWOUWNUHUYDUYBTZUYEUWKXJ
+        UWTUYCUXCVBZXKVSVTUYECEUUOUVLFGHJLMUYFUYGUYIVURVURUVCCHXMSZUVIUVHUVRUVQ
+        UWGUWFUWRUWQUYDAVWKUUJUULUUEUVAUUTOXNXOZVUKUYEUVLYTUUOHRZCUYEEFGHYTUUOU
+        VLJLMUYFUWTUUJUYDVUDTZUYGUYIUYEYTDYTUUOEFGIJKLUYFVWNVVEVWNUYGUYEUUQUURU
+        WTUUSUYDVVRTVCZUWTVWBUYDVWDTZWIZUWTUVMUYDVWFTVSZUYECEYTUUOFGHJLMUYFVWNU
+        YGVWQVWQVWLUWTVWAUYDVWCTVUKXPWAXPWAZUYEUUGCEDFGHIUUOUUFJKLMUYFUYEEFGHDU
+        UFJLMUYFVVEUYJUYEUUFDUYEUUFCSUYSUUFDUIVWSVUMUUFDCWBWCVPZXQVWLUYEUUGCUUF
+        UYEEDUUFFGHJLMUYFVVEUYJVWTXRVWSXSUYEEDUUFFGHJLMUYFVVEUYJVWTXEVUKVWTUYEU
+        UOUUFUYEUUOUUFUHZUUOUVDUHZUYEVXAVNZYTUUOUVDEUVEFGHIJKLMUXDUYEUXEVXAUYFT
+        ZUYEUUJVXAVWNTZUYEUVAVXAUYGTZUYEUVIVXAUYMTZVXCUVDUUOYTEUVEFGHIJKLMUXDVX
+        DVXGVXFVXEVXCDUUOYTUVDEUVEFGHIJKLMUXDVXDUYEUXMVXAVVETZVXFVXEVXGVXCDUUOY
+        TXCDUUFYTXCVVMVXCDUUOYTYTDUUFVXCDXJUYEVXAYAZVXCYTXJYSVXCYTUUFDEUVEFGHIJ
+        KLMUXDVXDVXEUYEUYCVXAUYJTZVXHVXCUVLUUFDYTEUVEFGHIJKLMUXDVXDUYEUVRVXAUYI
+        TZVXJVXHVXEUYEUVLUUFDXCVVMSZVXAUYEVXLUVLDIRZUVLUXBIRZUHUYEVXMUVLUWLIRVX
+        NUYEDUVLUWLUVLEFGIJKLUYFVVEUYIVVFUYIUYEUWKUUOUWLEUVLFGIUVLUWAUUODJKLUYF
+        VVBUYGVVEVVDUYGVVFUYIUYIUWTUWAUUOUIUYDVWETVVJVVKUYEUUOUWAUUOUWKEFGIJKLU
+        YFUYGVVBUYGVVDVWHXBVWIUYEUVLUWAUVLUWKEFGIJKLUYFUYIVVBUYIVVDUYEUVLUWKIRU
+        VLUWAIRUYEUVLUWAEUVEFGHUWJIJKLMUXDUYFUYIVUTVVBXTVCXBUYEUVNXJXGXBUYEUWLU
+        XBUVLIVWJWRWSUYEUVLUUFDEUVEFGHIJKLMUXDUYFUYIUYJVVEWTXATVXCUVLUUOUUFUYEU
+        VLUUOUIVXAVUSTVXIYBVXCUVLUUFYTHRZSUUFYTUHVXCUVLUUOYTHRVXOVXCEFGHUUOYTUV
+        LJLMVXDVXFVXEVXKVXCYTUUOVXCYTDYTUUOEFGIJKLVXDVXEVXHVXEVXFUYEUURUUQUHVXA
+        VWOTUYEVWBVXAVWPTWIVPUYEUVLVWMSVXAVWRTVTVXCUUOUUFYTHVXIWKYCYDYEXLYFUYED
+        UUOUIVXAVUNTUYEDUUOUVDHRSVXBYGVXAUYEEFGHUUOUVDDJMLUYFUYGUYMVVEUYEDUVDUU
+        OEFGIJKLUYFVVEUYMUYGVVGWNYHTYEXLUWTVVPUYDVXAVVSUSYIVXCUUOUVDUYEUUOUVDUI
+        VXAVUQTYKYJYLUYEUUOUUFDEUVEFGHIJKLMUXDUYFUYGUYJVVEUYEUUOUUFDXCVVMSUWOUU
+        OUXBIRZUHUYEUWOUWNVXPVWIUYEUWLUXBUUOIVWJWRWSUYEUUOUUFDEUVEFGHIJKLMUXDUY
+        FUYGUYJVVEWTXAXLYMYNUWIUGUUODEFGIUWKUUOJKLUXJVVCUXTUXTUXPYOYPUVTUFUUOYT
+        EFGIUVDUUOJKLUXIUYKUXSUXSVUCYOYPUVKUEUUOUVDEFGIYTUUOJKLUXHVUBUXRUXRUVCU
+        VIUVHVAYOYPUVCUDUUODYTEUVEFGHUVFIJKLMUXDUXGVUOUUNUVAUUTVAUXOVUAUVBUUPUU
+        SVBVDYPUUNUCYTDEFGIUUAYTJKLUXFVUEUYTUYTUXNYOYPAUAUBCEFGHJLMNOYQYR $.
 
       $( From a point ` C ` outside of a line ` A ` , there exists a unique
          point ` x ` on ` A ` such that ` ( C L x ) ` is perpendicular to