Sindbad~EG File Manager

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

TTABCDEFGH
ANBEEFJ+EEFJGH+TGABCDEJ  defn:togetherfour
BEEFJ
EEFJGH
TGABCDEJ
ANBEABK+EEBKCD+LTEJAK  defn:togethergreater
BEABK
EEBKCD
LTEJAK
NEFJ  lemma:betweennotequal
NEGH  axiom:nocollapse
NEHG  lemma:inequalitysymmetric
NEEF  lemma:betweennotequal
NEFE  lemma:inequalitysymmetric
ANBEHGL+EEGLFE lemma:extension
BEHGL
EEGLFE
EELGEF  lemma:congruenceflip
EEGHFJ lemma:congruencesymmetric
BELGH   axiom:betweennesssymmetry
EELHEJ  cn:sumofparts
EEHLLH  cn:equalityreverse
EEHLEJ  lemma:congruencetransitive 
EEEJHL  lemma:congruencesymmetric
LTHLAK  lemma:lessthancongruence2
ANBEABK+EEBKCD+LTHLAK  
TGABCDHL   defn:togethergreater
ANBEHGL+EEGLFE+TGABCDHL
TTABCDHGFE  defn:togetherfour

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