Sindbad~EG File Manager

TRABC
BEBCD
NCABC  defn:triangle
NEBA lemma:NCdistinct
NEAB lemma:inequalitysymmetric
ANBEBAF+EEAFBA postulate:extension
BEBAF
COBAF defn:collinear
COABF  lemma:collinearorder
EQBB  cn:equalityreflexive
COABB defn:collinear
NEBF  lemma:betweennotequal
NEFB lemma:inequalitysymmetric
NCFBC  lemma:NChelper
BEFAB  axiom:betweennesssymmetry
ANBEECH+EAECACAB+PREHFB+BEESB+BECSA  proposition:31short
BEECH
EAECACAB
PREHFB
NEBC lemma:betweennotequal
NECB lemma:inequalitysymmetric
ANBECBG+EEBGCB  postulate:extension
BECBG
NECA lemma:NCdistinct
ANBECAJ+EEAJCA postulate:extension
BECAJ
NEAC lemma:inequalitysymmetric
ANBEACK+EECKAC postulate:extension
BEACK
ANBEABM+EEBMAB postulate:extension
BEABM
PREHFB
COFBA  lemma:collinearorder
PREHAB  lemma:collinearparallel
BEECH
BEFAB
BEKCA  axiom:betweennesssymmetry
BECAJ
BEESB
BECSA
COCSA defn:collinear
COCAS lemma:collinearorder
NCACB  lemma:NCorder
COACS  lemma:collinearorder
NECS  lemma:betweennotequal
NESC  lemma:inequalitysymmetric
EQCC  cn:equalityreflexive
COACC  defn:collinear
NCSCB  lemma:NChelper
NCBSC  lemma:NCorder
COESB  defn:collinear
COBSE  lemma:collinearorder
EQBB   cn:equalityreflexive
COBSB  defn:collinear
BEBSE  axiom:betweennesssymmetry
NEBE lemma:betweennotequal
NCBEC  lemma:NChelper
COBES  lemma:collinearorder
EQEE  cn:equalityreflexive
COBEE  defn:collinear
NESE  lemma:betweennotequal
NCSEC  lemma:NChelper
NCSCE  lemma:NCorder
COSCC  defn:collinear
COCSA  defn:collinear
COSCA  lemma:collinearorder
NECA lemma:betweennotequal
NCCAE  lemma:NChelper
OSECAB  defn:oppositeside
COABM  defn:collinear
COBAM  lemma:collinearorder
PREHBA lemma:parallelflip
NEAM  lemma:betweennotequal
NEMA  lemma:inequalitysymmetric
PREHMA lemma:collinearparallel 
BEHCE  axiom:betweennesssymmetry
BEMBA  axiom:betweennesssymmetry
BEDCB axiom:betweennesssymmetry
BECBG
BEABM
BEFAB  axiom:betweennesssymmetry
BEFBM  lemma:3.7a
COFBM  defn:collinear
COBFM   lemma:collinearorder
NEFM  lemma:betweennotequal
NEMF  lemma:inequalitysymmetric


BEFAB  axiom:betweennesssymmetry
BEDCB  axiom:betweennesssymmetry
BECBG 
NCBCA  lemma:NCorder
BEMBA  axiom:betweennesssymmetry
BECSA  
EQCC   cn:equalityreflexive
COBCC  defn:collinear
EQAA  cn:equalityreflexive
COABA  defn:collinear
COABM  defn:collinear
NEAM  lemma:betweennotequal
NCAMC  lemma:NChelper
NCCAM  lemma:NCorder
ANBECPB+BEMPS postulate:Pasch-inner
BECPB
BEMPS
BEBSE
NCACB lemma:NCorder
COCSA defn:collinear
COACS lemma:collinearorder
COACA  defn:collinear
NESA lemma:betweennotequal
NEAS  lemma:inequalitysymmetric
NCASB  lemma:NChelper
NCBSA  lemma:NCorder
COBSE defn:collinear
COBSB
NEBE  lemma:betweennotequal
NCBEA lemma:NChelper
NCABE lemma:NCorder
COABA  defn:collinear
COABM  defn:collinear
NEBM lemma:betweennotequal
NEMB lemma:inequalitysymmetric
NCMBE lemma:NChelper
NCBEM  lemma:NCorder
ANBEMQE+BEBPQ  postulate:Pasch-outer
BEMQE
BEBPQ
COBPQ  defn:collinear
COPBQ  lemma:collinearorder
COCPB  defn:collinear
COPBC  lemma:collinearorder
NEBP  lemma:betweennotequal
NEPB  lemma:inequalitysymmetric
COBQC  lemma:collinear4
COCBQ lemma:collinearorder
NCCBE  lemma:NCorder
COBQC  lemma:collinear4
COCBQ lemma:collinearorder
NCCBE  lemma:NCorder
NCCEB  lemma:NCorder
COECH  defn:collinear
COCEH  lemma:collinearorder
COCEC  defn:collinear
NECH lemma:betweennotequal
NCCHB lemma:NChelper
NCCBH lemma:NCorder
BEEQM axiom:betweennesssymmetry
COCBB  defn:collinear
COBQC   
COCBQ  lemma:collinearorder
BEABM
NCCBA  lemma:NCorder
NCCBE
SSAECB  defn:sameside
BEECH
COCBC  defn:collinear
OSECBH  defn:oppositeside
OSACBH  lemma:planeseparation
OSHCBA  lemma:oppositesidesymmetric
PRHEMA  lemma:parallelflip
BEHCE
BEMBA
ANEAECACAB+EAKCHCAB+RTHCACAB proposition:29
EAECACAB
EAKCHCAB
RTHCACAB
EAACEBAC  lemma:equalanglesflip

ANEAHCBCBA+EADCECBA+RTECBCBA  proposition:29
EAHCBCBA
EADCECBA
RTECBCBA
EACBAABC  lemma:ABCequalsCBA
EADCEABC  lemma:equalanglestransitive


COBCD  defn:collinear
COBCB   defn:collinear
NEBD  lemma:betweennotequal
NCBCA  lemma:NCorder
NCBDA  lemma:NChelper
BEASC  axiom:betweennesssymmetry
BEESB
BEDCB 
COCBD  lemma:collinearorder
COCBC defn:collinear
NCBCE  lemma:NCorder
NCBDE  lemma:NChelper
NCEBD  lemma:NCorder
ANBEELC+BEDLS postulate:Pasch-inner
BEELC
BEDLS
BECSA
COBCD
COBCC
NCBCA
NECD  lemma:betweennotequal
NEDC lemma:inequalitysymmetric
NCDCA  lemma:NChelper
NCCAD   lemma:NCorder
ANBEDRA+BECLR  postulate:Pasch-outer
BEDRA
BECLR
RACAA  lemma:ray4
NECD
EQDD  cn:equalityreflexive
RACDD  lemma:ray4
BEARD  axiom:betweennesssymmetry
NECR  lemma:betweennotequal
BECLE axiom:betweennesssymmetry
BECLR 
NECL lemma:betweennotequal
RACLE  lemma:ray4
RACLR lemma:ray4
RACER  lemma:ray3
EABACACE  lemma:equalanglessymmetric
EABACACR lemma:equalangleshelper
NCCAB  lemma:NCorder
EACABBAC lemma:ABCequalsCBA
EACABACR lemma:equalanglestransitive
BEARD
RACAA  lemma:ray4
RACDD   lemma:ray4
EAABCDCE  lemma:equalanglessymmetric
EAABCDCR  lemma:equalangleshelper
NCDCR  assumption
EADCRRCD  lemma:ABCequalsCBA
EAABCRCD  lemma:equalanglestransitive
ASCABABCACD  defn:anglesum