 of squares. This gives that $$\sum_{i\ge 4} 2i \cdot 2q_i \ge 2\cdot 4\cdot 2q_2.$$ By Equation  we then have $-3+3\sum_{i\ge 2}q_i\ge 4q_2+2q_2+3q_3$, that is, $q_2 < \sum_{i\ge 4}q_i$. But then in average each face has more than $6$ edges which contradicts Thm. \[sum\_rank2\]. Hence there is an object $a$ such that there exist $\alpha,\beta,\gamma\in R^a_+$ as above satisfying Equation . We have $\alpha+\gamma, \beta +\gamma, \alpha+\beta+\gamma\in R^a_+$ by Lemma \[le:someroots\](1),(2) and Corollary \[co:cij\].

The classification {#sec:class}
==================

In this section we explain the classification of connected simply connected Cartan schemes of rank three such that ${\mathcal{R}}{^\mathrm{re}}({\mathcal{C}})$ is a finite irreducible root system. We formulate the main result in Theorem \[th:class\]. The proof of Theorem \[th:class\] is performed using computer calculations based on results of the previous sections. Our algorithm described below is sufficiently powerful: The implementation in $C$ terminates within a few hours on a usual computer. Removing any of the theorems, the calculations would take at least several weeks.

\(1) Let $\cC$ be a connected Cartan scheme of rank three with $I=\{1,2,3\}$. Assume that ${\mathcal{R}}{^\mathrm{re}}({\mathcal{C}})$ is a finite irreducible root system of type $\cC$. Then there exists an object $a\in A$ and a linear map $\tau \in \operatorname{Aut}({\mathbb{Z}}^I)$ such that $\tau ({\alpha }_i)\in \{{\alpha }_1,{\alpha }_2,{\alpha }_3\}$ for all $i\in I$ and $\tau (R^a_+)$ is one of the sets listed in Appendix \[ap:rs\]. Moreover, $\tau (R^a_+)$ with this property is uniquely determined.

\(2) Let $R$ be one of the $55$ subsets of ${\mathbb{Z}}^3$
of squares. This gives that $ $ \sum_{i\ge 4 } 2i \cdot 2q_i \ge 2\cdot 4\cdot 2q_2.$$ By Equation    we then have $ -3 + 3\sum_{i\ge 2}q_i\ge 4q_2 + 2q_2 + 3q_3 $, that is, $ q_2 < \sum_{i\ge 4}q_i$. But then in modal each grimace has more than $ 6 $ edges which contradicts Thm.   \[sum\_rank2\ ]. therefore there is an object $ a$ such that there exist $ \alpha,\beta,\gamma\in R^a_+$ as above satisfying equality  . We give birth $ \alpha+\gamma, \beta + \gamma, \alpha+\beta+\gamma\in R^a_+$ by Lemma   \[le: someroots\](1),(2) and Corollary   \[co: cij\ ]. 

 The classification { # sec: class } 
 = = = = = = = = = = = = = = = = = = 

 In this section we explain the categorization of connected simply connected Cartan schemes of membership three such that $ { \mathcal{R}}{^\mathrm{re}}({\mathcal{C}})$ is a finite irreducible root system. We formulate the main result in Theorem   \[th: class\ ]. The validation of Theorem   \[th: class\ ] is performed using computer calculation based on results of the former sections. Our algorithm report below is sufficiently herculean: The implementation in $ C$ terminates within a few hours on a usual calculator. Removing any of the theorems, the calculations would take at least several weeks. 

 \(1) lease $ \cC$ be a connected Cartan scheme of rank three with $ I=\{1,2,3\}$. Assume that $ { \mathcal{R}}{^\mathrm{re}}({\mathcal{C}})$ is a finite irreducible root system of type $ \cC$. Then there exists an object $ a\in A$ and a linear map $ \tau \in \operatorname{Aut}({\mathbb{Z}}^I)$ such that $ \tau ({ \alpha } _ i)\in \{{\alpha } _ 1,{\alpha } _ 2,{\alpha } _ 3\}$ for all $ i\in I$ and $ \tau (R^a_+)$ is one of the hardening listed in Appendix   \[ap: rs\ ]. Moreover, $ \tau (R^a_+)$ with this place is uniquely determine. 

 \(2) lease $ R$ be one of the $ 55 $ subsets of $ { \mathbb{Z}}^3 $
 of squares. This gives that $$\sum_{i\ge 4} 2i \cdot 2q_i \ge 2\rdot 4\cdkt 2q_2.$$ By Dquation  we then have $-3+3\sum_{i\ge 2}q_u\ge 4q_2+2w_2+3q_3$, that is, $q_2 < \sum_{i\ge 4}q_k$. But thej in aveeage wach face izs more than $6$ cdges xhich contradicjs Thm. \[sum\_rann2\]. Hence there hs au object $a$ such that there exist $\alpra,\beta,\gsmla\in R^a_+$ as abode sseisfgpnn Equation . We have $\alpha+\gamma, \befa +\gamme, \alpha+\beta+\gamms\in R^a_+$ by Lemma \[le:someroots\](1),(2) and Corollary \[co:cij\].

The classificajjon {#wec:class}
==================

In tfis section we explain the classification of connectea sim'ly connectgb Cagjan schemes if ragk three sucm that ${\kathcal{T}}{^\mathrm{re}}({\mathcsl{C}})$ is a finite irreducible root system. We fotmulate tha jain result in Thwoeem \[th:wlasv\]. Thd pruof oh Tgeorem \[hh:cmass\] is pedformed usibg computer calculauiogw based on reaults jf the previous sections. Our algorithm devcrjbed below is sufficienrly powerful: The implgmentation in $C$ terminates within a few hours on a usual cokputec. Femivlng xby of the theorems, the calculations would take wf kesst several wecks.

\(1) Let $\cC$ be a comnfcygd Cartan scheoe of xzni three with $I=\{1,2,3\}$. Asskme thaj ${\mathxal{R}}{^\mathri{re}}({\msthcal{C}})$ is a finite irreducuble root syfrem of type $\cC$. Theu there exiscs an pbjecy $a\in A$ and a linear ma' $\tau \jn \operatorjame{Aut}({\maffbb{Z}}^I)$ such that $\gau ({\anpha }_i)\in \{{\alpha }_1,{\alpha }_2,{\alpha }_3\}$ for all $i\in I$ and $\gau (T^a_+)$ is oge of the dets listed in Appendix \[ao:rs\]. Mlraover, $\tau (G^a_+)$ with this property is uniquely determined.

\(2) Ked $R$ be one jf thc $55$ subsets of ${\mwthbb{Z}}^3$
of squares. This gives that $$\sum_{i\ge 4} 2q_i 2\cdot 4\cdot By Equation we that $q_2 < \sum_{i\ge But then in each face has more than $6$ which contradicts Thm. \[sum\_rank2\]. Hence there is an object $a$ such that there $\alpha,\beta,\gamma\in R^a_+$ as above satisfying Equation . We have $\alpha+\gamma, \beta +\gamma, \alpha+\beta+\gamma\in by \[le:someroots\](1),(2) Corollary The classification {#sec:class} ================== In this section we explain the classification of connected simply connected Cartan of rank three such that ${\mathcal{R}}{^\mathrm{re}}({\mathcal{C}})$ is a irreducible root system. We the main result in Theorem The of Theorem is using calculations based on of the previous sections. Our algorithm described below is sufficiently powerful: The implementation in $C$ terminates within few hours usual computer. any the the calculations would least several weeks. \(1) Let $\cC$ Cartan scheme of rank three with $I=\{1,2,3\}$. Assume ${\mathcal{R}}{^\mathrm{re}}({\mathcal{C}})$ is finite irreducible root system of type Then there exists an object $a\in A$ and linear map $\tau \in \operatorname{Aut}({\mathbb{Z}}^I)$ such that $\tau ({\alpha }_i)\in \{{\alpha }_1,{\alpha }_2,{\alpha }_3\}$ for I$ and $\tau (R^a_+)$ one of the listed Appendix Moreover, (R^a_+)$ with property is uniquely determined. \(2) Let $R$ be one of the subsets of ${\mathbb{Z}}^3$
 of squares. This gives that $$\sum_{I\ge 4} 2i \cdot 2q_i \Ge 2\cdoT 4\cdOt 2q_2.$$ by equaTion  We then have $-3+3\sum_{i\GE 2}q_i\gE 4q_2+2q_2+3q_3$, that is, $q_2 < \sum_{i\ge 4}q_i$. But Then iN aVEragE EaCh facE has morE ThAN $6$ EdgEs WhIch CoNTrAdictS ThM. \[sum\_ranK2\]. Hence therE is An Object $a$ such tHAt There exist $\AlpHa,\beta,\gamma\iN R^a_+$ As abovE sAtiSFying equAtion . we have $\ALpha+\gaMma, \beta +\gaMmA, \Alpha+\bETa+\gamma\IN r^a_+$ By LeMma \[le:someroots\](1),(2) and cOrOLlary \[co:cij\].

The cLassifIcATiON {#Sec:ClaSs}
==================

In this seCtIon we EXplain tHE cLASSifICation of conneCted simply cONneCted CaRtAn sCHemes oF rank ThREe sUch that ${\mathCal{R}}{^\Mathrm{re}}({\mAthcal{c}})$ Is a finiTE irreduCible rOot SysTem. WE FoRmUlaTe THe mAIn ResULt iN Theorem \[Th:ClAss\]. ThE proOF OF theoRem \[Th:clAss\] is Performed usinG coMputER caLculaTions BaseD oN resuLts of tHe preViOus sections. Our aLgorIthm descrIbeD bEloW iS suffICientlY poWerFul: The iMplemenTAtiOn IN $c$ TeRminates within a few HoURS oN a usual cOmputeR. reMoVIng any of ThE thEoreMS, The caLculATiOns would Take at LEaSt Several WeEks.

\(1) Let $\CC$ Be a ConNecteD cartAn scheMe of rank Three WIth $I=\{1,2,3\}$. Assume that ${\MAthcal{R}}{^\mathrm{RE}}({\mATHcAL{C}})$ is A fiNite irreducIble ROot sYsteM Of TypE $\CC$. TheN therE eXIsTS an object $a\in A$ and a liNeAr map $\tAu \in \oPeratorname{AuT}({\mathbb{Z}}^I)$ sUCH That $\tau ({\aLpha }_I)\In \{{\ALpha }_1,{\alpha }_2,{\alpha }_3\}$ For alL $i\in I$ and $\taU (r^a_+)$ is one oF the sEts listeD in AppendIX \[Ap:rs\]. MoreOveR, $\taU (R^a_+)$ WitH THiS property is unIQUely DeTermineD.

\(2) LeT $R$ be one Of tHe $55$ sUbsEts Of ${\Mathbb{Z}}^3$
 of squares. This gives th at $$\sum_ {i\ge  4}  2i  \ cdot  2q_ i \ge 2\cdot 4 \ cdot  2q_2.$$ By Equation we th en have $- 3+3\s um_{i\g e  2 } q _i\ ge  4 q_2 +2 q _2 +3q_3 $,that is , $q_2 < \ sum _{ i\ge 4}q_i$. Bu t then inave rage each fa cehas mo re  th a n $6$  ed ges w hich c o ntradi cts Thm.\[ s um\_ra n k2\]. H e n ce  the re is an object $ a $s uch that there  exist  $ \ al p h a,\ bet a,\gamma\i nR^a_+ $  as abo v es a t isf y ing Equation. We have $ \ alp ha+\ga mm a,\ beta + \gamm a, \al pha+\beta+\ gamm a\in R^a_ +$ byL emma \[ l e:somer oots\] (1) ,(2 ) an d  C or oll ar y  \[ c o: cij \ ].
The cla ss if icati on { # s e c :cla ss} 
=== ===== ==========

I n t hiss ect ion w e exp lain  t he cl assifi catio nof connected si mply  connecte d C ar tan  s cheme s  of ra nkthr ee such  that $ { \ma th c a l {R }}{^\mathrm{re}}({ \m a t hc al{C}})$  is af in it e  irreduc ib leroot s ystem . We fo rmulatethe ma i nre sult in  T heorem  \ [th :cl ass\] .  The  proof  of Theo rem \ [ th:class\] isp erformed usin g  c o m pu t er c alc ulations ba sedo n re sult s  o f t h e pre vious  s e ct i ons. Our algorithmde scribe d bel ow is suffici ently powe r f u l: The i mple m en t ation in $C$ t ermin ates withi n  a few h ourson a usu al comput e r . Removi ngany  of  th e th eorems, the c a l cula ti ons wou ldtake at  le ast  se ver al  weeks.
\(1) Let  $ \c C$  b e a  conn e cted Car ta n s ch eme  of r a nk thr ee wi th $ I= \{ 1 ,2, 3\}$. A s su m e  tha t${ \mat hca l{ R}}{^ \mat h rm{ re}}({\ mathcal{C }}) $  isafi nite ir reducible roo tsystem ofty pe$\cC$. T hen ther e exists an object $a\i n  A$ and  alinea r ma p $\tau \ in\opera tor n ame{Au t}({\m athbb {Z }}^ I ) $ suc h th at$\ tau ({\alp h a  }_ i)\in  \ {{\a lpha }_ 1,{\alpha }_2,{\al p ha}_3\}$ for al l $ i\in I $and $\ t au(R ^ a_+ ) $  is one of thesets liste di nAppendix \ [ ap: rs \]. Mor eover,$\tau (R^a_+) $ with th is proper ty  isu n iqu ely determ ined.

\ (2) Let $ R $ beo ne  of t he$55$ s ub set s of${\mat h bb{ Z}}^3 $
 of_squares. This_gives that $$\sum_{i\ge 4}_2i \cdot_2q_i_\ge 2\cdot_4\cdot_2q_2.$$ By Equation _we then have_$-3+3\sum_{i\ge 2}q_i\ge 4q_2+2q_2+3q_3$, that_is, $q_2 <_\sum_{i\ge_4}q_i$. But then in average each face has more than $6$ edges which contradicts_Thm. \[sum\_rank2\]._Hence there_is_an_object $a$ such that there_exist $\alpha,\beta,\gamma\in R^a_+$ as above_satisfying Equation ._We have $\alpha+\gamma, \beta +\gamma, \alpha+\beta+\gamma\in R^a_+$ by_Lemma \[le:someroots\](1),(2)_and Corollary \[co:cij\].

The classification_{#sec:class}
==================

In this section we explain the classification of connected_simply connected Cartan schemes of rank_three such that_${\mathcal{R}}{^\mathrm{re}}({\mathcal{C}})$_is_a finite irreducible root_system. We formulate the main result_in Theorem \[th:class\]. The proof of Theorem \[th:class\]_is performed using computer calculations based on_results of the previous sections. Our_algorithm described below is sufficiently_powerful: The_implementation in $C$ terminates within_a few hours_on a_usual computer. Removing_any of the theorems, the calculations_would take at_least several weeks.

\(1) Let $\cC$ be_a_connected Cartan scheme_of_rank_three with_$I=\{1,2,3\}$. Assume that_${\mathcal{R}}{^\mathrm{re}}({\mathcal{C}})$_is a_finite_irreducible root system of type $\cC$._Then_there exists an object $a\in A$ and_a linear map $\tau_\in_\operatorname{Aut}({\mathbb{Z}}^I)$ such that $\tau_({\alpha }_i)\in \{{\alpha }_1,{\alpha }_2,{\alpha_}_3\}$ for all $i\in I$ and_$\tau (R^a_+)$_is one_of the sets listed in Appendix \[ap:rs\]. Moreover, $\tau (R^a_+)$ with this_property is uniquely determined.

\(2) Let $R$_be one of the_$55$ subsets_of_${\mathbb{Z}}^3$