Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/FilesToPost/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/FilesToPost/parallelNC.prf

PRABCD
ANNEAB+NECD+COABa+COABb+NEab+COCDc+COCDd+NEcd+NOMEABCD+BEaMd+BEcMb  defn:parallel
NEAB
NECD
NOMEABCD
COACD assumption
 COCDA  lemma:collinearorder
 EQAA  cn:equalityreflexive
 COABA defn:collinear
 ANNEAB+NECD+COABA+COCDA
 MEABCD  defn:meet
NCACD reductio
COABC assumption
 EQCC  cn:equalityreflexive
 COCDC defn:collinear
 ANNEAB+NECD+COABC+COCDC
 MEABCD defn:meet
NCABC reductio
COBCD assumption
 COCDB lemma:collinearorder
 EQBB  cn:equalityreflexive
 COABB  defn:collinear
 ANNEAB+NECD+COABB+COCDB
 MEABCD defn:meet
NCBCD reductio
COABD assumption
 EQDD cn:equalityreflexive
 COCDD  defn:collinear
 ANNEAB+NECD+COABD+COCDD
 MEABCD defn:meet
NCABD reductio
ANNCABC+NCACD+NCBCD+NCABD

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