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/TTtransitive.prf

TTABCDEFGH
TTEFGHPQRS
ANBEEFK+EEFKGH+TGABCDEK  defn:togetherfour
BEEFK
TGABCDEK
ANBEABJ+EEBJCD+LTEKAJ   defn:togethergreater
BEABJ
EEBJCD
LTEKAJ
ANBEPQL+EEQLRS+TGEFGHPL  defn:togetherfour
BEPQL
EEQLRS
TGEFGHPL  
ANBEEFM+EEFMGH+LTPLEM  defn:togethergreater
BEEFM
LTPLEM
EQKK  cn:equalityreflexive
NEFK  lemma:betweennotequal
RAFKM  defn:ray
RAFKK  lemma:ray4
EEFKGH
EEFMGH
EEGHFM  lemma:congruencesymmetric
EEFKFM  lemma:congruencetransitive
EQKM   lemma:layoffunique
LTPLEK  cn:equalitysub
LTPLAJ  lemma:lessthantransitive
TGABCDPL  defn:togethergreater
TTABCDPQRS  defn:togetherfour

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