Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/junk/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/junk/9.5b.prf

OSPABC
BERQP
COABR
NCCPR
ANBEPSC+COABS+NCABP   defn:oppositeside
BEPSC
COABS
NCABP
NEAB  defn:noncollinear
BERQP
BECSP  axiom:betweennesssymmetry
CORPC  assumption
 COCPR  lemma:collinearorder
 NCCPR
NCRPC  reductio
ANBECEQ+BERES  postulate:Pasch-inner
BECEQ
BERES
BEQEC  axiom:betweennesssymmetry
CORSE  defn:collinear
COABR
COABS
COBRS  lemma:collinear4
CORSB  lemma:collinearorder
CORSE  defn:collinear
COBAR  lemma:collinearorder
COBAS  lemma:collinearorder
NEBA  lemma:inequalitysymmetric
COARS lemma:collinear4
CORSA lemma:collinearorder
NERS  lemma:betweennotequal
COABE  lemma:collinear5
COABQ  assumption
 COABR  lemma:collinearorder
 COBQR lemma:collinear4
 CORPQ  defn:collinear
 COPQR  lemma:collinearorder
 CORQB lemma:collinearorder
 CORQP  lemma:collinearorder
 NERQ  lemma:betweennotequal
 COQBP  lemma:collinear4
 COQBA  lemma:collinearorder
 EQQB  assumption
  CORPB  cn:equalitysub
  CORBP  lemma:collinearorder
  CORBA  lemma:collinearorder
  NERB  assumption
   COBPA  lemma:collinear4
   COABP  lemma:collinearorder
  EQRB reductio
  EQQR  cn:equalitytransitive
  NERQ  lemma:betweennotequal
  NEQR  lemma:inequalitysymmetric
 NEQB reductio
 COBPA  lemma:collinear4
 COABP lemma:collinearorder
 NCABP
NCABQ reductio
OSQABC  defn:oppositeside

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists