500
b
c
d
e
f
g
h
i
j
ba
bb
bc
bd
be
bf
bg
bh
bi
bj
ca
cb
cc
cd
ce
cf
cg
ch
ci
cj
da
db
dc
dd
de
df
dg
dh
di
dj
ea
eb
ec
ed
ee
ef
eg
eh
ei
ej
fa
fb
fc
fd
fe
ff
fg
fh
fi
fj
ga
gb
gc
gd
ge
gf
gg
gh
gi
gj
ha
hb
hc
hd
he
hf
hg
hh
hi
hj
ia
ib
ic
id
ie
if
ig
ih
ii
ij
ja
jb
jc
jd
je
jf
jg
jh
ji
jj
baa
bab
bac
bad
bae
baf
bag
bah
bai
baj
bba
bbb
bbc
bbd
bbe
bbf
bbg
bbh
bbi
bbj
bca
bcb
bcc
bcd
bce
bcf
bcg
bch
bci
bcj
bda
bdb
bdc
bdd
bde
bdf
bdg
bdh
bdi
bdj
bea
beb
bec
bed
bee
bef
beg
beh
bei
bej
bfa
bfb
bfc
bfd
bfe
bff
bfg
bfh
bfi
bfj
bga
bgb
bgc
bgd
bge
bgf
bgg
bgh
bgi
bgj
bha
bhb
bhc
bhd
bhe
bhf
bhg
bhh
bhi
bhj
bia
bib
bic
bid
bie
bif
big
bih
bii
bij
bja
bjb
bjc
bjd
bje
bjf
bjg
bjh
bji
bjj
caa
cab
cac
cad
cae
caf
cag
cah
cai
caj
cba
cbb
cbc
cbd
cbe
cbf
cbg
cbh
cbi
cbj
cca
ccb
ccc
ccd
cce
ccf
ccg
cch
cci
ccj
cda
cdb
cdc
cdd
cde
cdf
cdg
cdh
cdi
cdj
cea
ceb
cec
ced
cee
cef
ceg
ceh
cei
cej
cfa
cfb
cfc
cfd
cfe
cff
cfg
cfh
cfi
cfj
cga
cgb
cgc
cgd
cge
cgf
cgg
cgh
cgi
cgj
cha
chb
chc
chd
che
chf
chg
chh
chi
chj
cia
cib
cic
cid
cie
cif
cig
cih
cii
cij
cja
cjb
cjc
cjd
cje
cjf
cjg
cjh
cji
cjj
daa
dab
dac
dad
dae
daf
dag
dah
dai
daj
dba
dbb
dbc
dbd
dbe
dbf
dbg
dbh
dbi
dbj
dca
dcb
dcc
dcd
dce
dcf
dcg
dch
dci
dcj
dda
ddb
ddc
ddd
dde
ddf
ddg
ddh
ddi
ddj
dea
deb
dec
ded
dee
def
deg
deh
dei
dej
dfa
dfb
dfc
dfd
dfe
dff
dfg
dfh
dfi
dfj
dga
dgb
dgc
dgd
dge
dgf
dgg
dgh
dgi
dgj
dha
dhb
dhc
dhd
dhe
dhf
dhg
dhh
dhi
dhj
dia
dib
dic
did
die
dif
dig
dih
dii
dij
dja
djb
djc
djd
dje
djf
djg
djh
dji
djj
eaa
eab
eac
ead
eae
eaf
eag
eah
eai
eaj
eba
ebb
ebc
ebd
ebe
ebf
ebg
ebh
ebi
ebj
eca
ecb
ecc
ecd
ece
ecf
ecg
ech
eci
ecj
eda
edb
edc
edd
ede
edf
edg
edh
edi
edj
eea
eeb
eec
eed
eee
eef
eeg
eeh
eei
eej
efa
efb
efc
efd
efe
eff
efg
efh
efi
efj
ega
egb
egc
egd
ege
egf
egg
egh
egi
egj
eha
ehb
ehc
ehd
ehe
ehf
ehg
ehh
ehi
ehj
eia
eib
eic
eid
eie
eif
eig
eih
eii
eij
eja
ejb
ejc
ejd
eje
ejf
ejg
ejh
eji
ejj
faa
5000
(dgd => dgg)
(-dgg => -dgd)
(bii => bic)
(-bic => -bii)
(-bcf => -bcj)
(bcj => bcf)
(egd => egc)
(-egc => -egd)
(ie => ic)
(-ic => -ie)
(dai => dag)
(-dag => -dai)
(ib => -if)
(if => -ib)
(-ejj => faa)
(-faa => ejj)
(bdi => bdf)
(-bdf => -bdi)
(-caa => bjg)
(-bjg => caa)
(-bah => -bad)
(bad => bah)
(-che => -chd)
(chd => che)
(-bfb => -bfi)
(bfi => bfb)
(ehc => ehf)
(-ehf => -ehc)
(-dbe => -dbh)
(dbh => dbe)
(ceg => -cee)
(cee => -ceg)
(cgf => cgh)
(-cgh => -cgf)
(ead => eai)
(-eai => -ead)
(-dff => dfi)
(-dfi => dff)
(gd => -gf)
(gf => -gd)
(-cbj => cbc)
(-cbc => cbj)
(-eah => eag)
(-eag => eah)
(-hg => -hb)
(hb => hg)
(-dcj => -dcg)
(dcg => dcj)
(cci => ccf)
(-ccf => -cci)
(-bce => -bcb)
(bcb => bce)
(cei => -ceg)
(ceg => -cei)
(-jh => -ji)
(ji => jh)
(-chd => che)
(-che => chd)
(-bgf => bgh)
(-bgh => bgf)
(-eji => -ejf)
(ejf => eji)
(eee => -eeh)
(eeh => -eee)
(cjg => cjb)
(-cjb => -cjg)
(-hi => -he)
(he => hi)
(-bda => -bce)
(bce => bda)
(-eee => -eeg)
(eeg => eee)
(bbb => -bbj)
(bbj => -bbb)
(-bfc => bfb)
(-bfb => bfc)
(-bjd => caa)
(-caa => bjd)
(-jg => -ji)
(ji => jg)
(-eh => fa)
(-fa => eh)
(-dgh => dgj)
(-dgj => dgh)
(chc => -cia)
(cia => -chc)
(-id => ja)
(-ja => id)
(dig => dii)
(-dii => -dig)
(cic => -cij)
(cij => -cic)
(dac => dai)
(-dai => -dac)
(-eha => egg)
(-egg => eha)
(dea => ddj)
(-ddj => -dea)
(bdg => bde)
(-bde => -bdg)
(-dch => -dcf)
(dcf => dch)
(-eah => -eab)
(eab => eah)
(-eah => -eai)
(eai => eah)
(efb => -efh)
(efh => -efb)
(eca => -ebe)
(ebe => -eca)
(-dia => dhi)
(-dhi => dia)
(-ddc => -ddh)
(ddh => ddc)
(-caa => bjd)
(-bjd => caa)
(-ccg => ccc)
(-ccc => ccg)
(cfd => -cfb)
(cfb => -cfd)
(-egj => egd)
(-egd => egj)
(dai => dac)
(-dac => -dai)
(-egc => egb)
(-egb => egc)
(-ejf => -ejc)
(ejc => ejf)
(cjd => -cjc)
(cjc => -cjd)
(if => ih)
(-ih => -if)
(-ddc => -ddg)
(ddg => ddc)
(eei => -eej)
(eej => -eei)
(bdi => -bdj)
(bdj => -bdi)
(bea => bdj)
(-bdj => -bea)
(gd => -gg)
(gg => -gd)
(bbb => bbc)
(-bbc => -bbb)
(-dfj => dfb)
(-dfb => dfj)
(cde => -cdh)
(cdh => -cde)
(-ddc => ddb)
(-ddb => ddc)
(-ceh => -cef)
(cef => ceh)
(-bah => bba)
(-bba => bah)
(cga => cfg)
(-cfg => -cga)
(dcc => -dci)
(dci => -dcc)
(-bcb => bcf)
(-bcf => bcb)
(-bij => -big)
(big => bij)
(eha => -egg)
(egg => -eha)
(-bch => -bda)
(bda => bch)
(cee => -cej)
(cej => -cee)
(-bfg => -bfh)
(bfh => bfg)
(-cig => -cih)
(cih => cig)
(efj => -efd)
(efd => -efj)
(eea => edf)
(-edf => -eea)
(bee => -bei)
(bei => -bee)
(-eg => -ec)
(ec => eg)
(-bj => -bh)
(bh => bj)
(-ebj => ebd)
(-ebd => ebj)
(-ddi => ddj)
(-ddj => ddi)
(-dcb => dch)
(-dch => dcb)
(-daf => dag)
(-dag => daf)
(-bch => -bcb)
(bcb => bch)
(-gi => -gd)
(gd => gi)
(cgb => -cge)
(cge => -cgb)
(-dff => -dfh)
(dfh => dff)
(-cjj => cjd)
(-cjd => cjj)
(edj => -edh)
(edh => -edj)
(-eic => eib)
(-eib => eic)
(-eec => -eed)
(eed => eec)
(bej => -bee)
(bee => -bej)
(-cgh => cgf)
(-cgf => cgh)
(-dga => -dfb)
(dfb => dga)
(-cch => ccg)
(-ccg => cch)
(eei => -eef)
(eef => -eei)
(-dhg => dhh)
(-dhh => dhg)
(dih => -dij)
(dij => -dih)
(-bbe => -bca)
(bca => bbe)
(-dbj => dbe)
(-dbe => dbj)
(dcd => -dch)
(dch => -dcd)
(-bei => beb)
(-beb => bei)
(-bdh => -bdb)
(bdb => bdh)
(bjg => bjb)
(-bjb => -bjg)
(ehc => -ehj)
(ehj => -ehc)
(-bff => bfi)
(-bfi => bff)
(-bgg => -bgi)
(bgi => bgg)
(eae => -eaf)
(eaf => -eae)
(dff => -dfe)
(dfe => -dff)
(-dej => -deb)
(deb => dej)
(cjj => -daa)
(daa => -cjj)
(edg => eea)
(-eea => -edg)
(-cjh => cjb)
(-cjb => cjh)
(-efj => efb)
(-efb => efj)
(-dcj => -dcf)
(dcf => dcj)
(dcd => dce)
(-dce => -dcd)
(cge => cgd)
(-cgd => -cge)
(dac => -dab)
(dab => -dac)
(-edc => edi)
(-edi => edc)
(dcb => -dcd)
(dcd => -dcb)
(-dgd => dgc)
(-dgc => dgd)
(bbg => bbc)
(-bbc => -bbg)
(cjh => -cjc)
(cjc => -cjh)
(ecf => ecg)
(-ecg => -ecf)
(-dae => daj)
(-daj => dae)
(-je => jc)
(-jc => je)
(ca => bf)
(-bf => -ca)
(dbg => dbe)
(-dbe => -dbg)
(-bc => bb)
(-bb => bc)
(-eai => -eaf)
(eaf => eai)
(-eib => -eih)
(eih => eib)
(ebe => -ebj)
(ebj => -ebe)
(dba => dae)
(-dae => -dba)
(-eje => -eji)
(eji => eje)
(dfh => -dff)
(dff => -dfh)
(eda => eci)
(-eci => -eda)
(-dja => die)
(-die => dja)
(-ha => -gd)
(gd => ha)
(bge => -bha)
(bha => -bge)
(-dab => -daf)
(daf => dab)
(ded => dej)
(-dej => -ded)
(-gj => ha)
(-ha => gj)
(cjd => -cjc)
(cjc => -cjd)
(-dhe => -dhi)
(dhi => dhe)
(cgc => -cgg)
(cgg => -cgc)
(-dai => -dag)
(dag => dai)
(-eie => eid)
(-eid => eie)
(-cgd => cge)
(-cge => cgd)
(-bhc => bhf)
(-bhf => bhc)
(-bhf => bhh)
(-bhh => bhf)
(-cfa => -ced)
(ced => cfa)
(ced => -ceb)
(ceb => -ced)
(cdf => cdi)
(-cdi => -cdf)
(-ece => -eda)
(eda => ece)
(bdj => bde)
(-bde => -bdj)
(-cbd => -cbh)
(cbh => cbd)
(-ejc => eji)
(-eji => ejc)
(baf => bag)
(-bag => -baf)
(dbe => -dbc)
(dbc => -dbe)
(-dhg => -dhj)
(dhj => dhg)
(efe => -efg)
(efg => -efe)
(cae => caj)
(-caj => -cae)
(ib => ja)
(-ja => -ib)
(-dhh => dhb)
(-dhb => dhh)
(ji => -jf)
(jf => -ji)
(bee => bec)
(-bec => -bee)
(-cff => cfc)
(-cfc => cff)
(-bhb => -bhe)
(bhe => bhb)
(-dda => dch)
(-dch => dda)
(caf => -cag)
(cag => -caf)
(dff => dfd)
(-dfd => -dff)
(-bjd => -bjh)
(bjh => bjd)
(eh => eb)
(-eb => -eh)
(-ege => -egc)
(egc => ege)
(-djc => djf)
(-djf => djc)
(bbb => -bbf)
(bbf => -bbb)
(-ff => -fd)
(fd => ff)
(-fd => ga)
(-ga => fd)
(-j => d)
(-d => j)
(fi => -ff)
(ff => -fi)
(d => ba)
(-ba => -d)
(efg => ega)
(-ega => -efg)
(-dgh => -dgi)
(dgi => dgh)
(dae => dai)
(-dai => -dae)
(dih => dij)
(-dij => -dih)
(ebd => -ebe)
(ebe => -ebd)
(dhh => -dhj)
(dhj => -dhh)
(cdb => cea)
(-cea => -cdb)
(-bch => bcb)
(-bcb => bch)
(hg => -hi)
(hi => -hg)
(bde => bdd)
(-bdd => -bde)
(-dgj => dgh)
(-dgh => dgj)
(ejc => -eji)
(eji => -ejc)
(ddd => dea)
(-dea => -ddd)
(bcf => -bcb)
(bcb => -bcf)
(cda => cci)
(-cci => -cda)
(-bb => -bj)
(bj => bb)
(-edc => ede)
(-ede => edc)
(-bbd => bbh)
(-bbh => bbd)
(-j => ba)
(-ba => j)
(ecd => -ech)
(ech => -ecd)
(deb => deh)
(-deh => -deb)
(-deb => -dei)
(dei => deb)
(-ddj => -dde)
(dde => ddj)
(-jd => -ji)
(ji => jd)
(-ccc => -cce)
(cce => ccc)
(dai => -dah)
(dah => -dai)
(-ei => -ec)
(ec => ei)
(-dgb => -dgd)
(dgd => dgb)
(-cdb => -cdd)
(cdd => cdb)
(dcb => -dch)
(dch => -dcb)
(cdc => cdi)
(-cdi => -cdc)
(-bca => bbe)
(-bbe => bca)
(-cej => -ceg)
(ceg => cej)
(bcj => -bch)
(bch => -bcj)
(edh => -edj)
(edj => -edh)
(bcj => bcd)
(-bcd => -bcj)
(cac => cah)
(-cah => -cac)
(-dhg => dhj)
(-dhj => dhg)
(dhi => dhf)
(-dhf => -dhi)
(cad => cah)
(-cah => -cad)
(cf => -cb)
(cb => -cf)
(-bah => -bad)
(bad => bah)
(cdf => -cdg)
(cdg => -cdf)
(cda => ccc)
(-ccc => -cda)
(cfg => cff)
(-cff => -cfg)
(bjc => bjd)
(-bjd => -bjc)
(bje => -bjh)
(bjh => -bje)
(bga => -bfi)
(bfi => -bga)
(hh => -hd)
(hd => -hh)
(-cag => caj)
(-caj => cag)
(-ebh => -eca)
(eca => ebh)
(bgb => bgj)
(-bgj => -bgb)
(eda => -ece)
(ece => -eda)
(bac => -bab)
(bab => -bac)
(ddh => -ddi)
(ddi => -ddh)
(big => -bib)
(bib => -big)
(-ij => -ie)
(ie => ij)
(efe => -efc)
(efc => -efe)
(-dg => -dc)
(dc => dg)
(-bih => -bid)
(bid => bih)
(bbj => bca)
(-bca => -bbj)
(-jc => jb)
(-jb => jc)
(-dji => djb)
(-djb => dji)
(-cej => -ceh)
(ceh => cej)
(-ebc => -ebd)
(ebd => ebc)
(-efi => -efh)
(efh => efi)
(eee => -eec)
(eec => -eee)
(bha => bge)
(-bge => -bha)
(-gb => -gj)
(gj => gb)
(-chj => -chc)
(chc => chj)
(-bgj => -bgb)
(bgb => bgj)
(dah => dad)
(-dad => -dah)
(bih => -bja)
(bja => -bih)
(-cbh => cbi)
(-cbi => cbh)
(eff => -efj)
(efj => -eff)
(-dif => -die)
(die => dif)
(-hb => -ia)
(ia => hb)
(bea => -bde)
(bde => -bea)
(chi => che)
(-che => -chi)
(ddj => ddc)
(-ddc => -ddj)
(bja => -bif)
(bif => -bja)
(-cih => cii)
(-cii => cih)
(ebb => ebe)
(-ebe => -ebb)
(-ec => -ei)
(ei => ec)
(eje => ejf)
(-ejf => -eje)
(deb => deh)
(-deh => -deb)
(cjg => -cjf)
(cjf => -cjg)
(-bfi => bfg)
(-bfg => bfi)
(bjb => -bjd)
(bjd => -bjb)
(-eja => -eib)
(eib => eja)
(-cde => cdi)
(-cdi => cde)
(deb => -dfa)
(dfa => -deb)
(ei => -ej)
(ej => -ei)
(-dgi => dgf)
(-dgf => dgi)
(ega => efb)
(-efb => -ega)
(bdd => bdb)
(-bdb => -bdd)
(bja => -bii)
(bii => -bja)
(-dfh => -dfg)
(dfg => dfh)
(dbd => dbj)
(-dbj => -dbd)
(jh => jb)
(-jb => -jh)
(-cgd => -cgc)
(cgc => cgd)
(did => -dic)
(dic => -did)
(fg => fc)
(-fc => -fg)
(-dhe => -dhj)
(dhj => dhe)
(djj => -dje)
(dje => -djj)
(eh => ec)
(-ec => -eh)
(efb => -ega)
(ega => -efb)
(-eij => -eih)
(eih => eij)
(beb => beh)
(-beh => -beb)
(edh => -edd)
(edd => -edh)
(-bed => bei)
(-bei => bed)
(-dba => -dah)
(dah => dba)
(-ccj => ccd)
(-ccd => ccj)
(-dch => -dcf)
(dcf => dch)
(dhj => -dhc)
(dhc => -dhj)
(cad => cah)
(-cah => -cad)
(-eg => -eh)
(eh => eg)
(-bbj => -bbe)
(bbe => bbj)
(-eha => egd)
(-egd => eha)
(-da => -ch)
(ch => da)
(ehd => eia)
(-eia => -ehd)
(-cij => -cig)
(cig => cij)
(cgc => cha)
(-cha => -cgc)
(ebb => ebd)
(-ebd => -ebb)
(-dbe => -dca)
(dca => dbe)
(-eff => -efj)
(efj => eff)
(-bfj => bfe)
(-bfe => bfj)
(-dhi => dhf)
(-dhf => dhi)
(bgh => -bgc)
(bgc => -bgh)
(-gc => -gj)
(gj => gc)
(-beh => beb)
(-beb => beh)
(-egh => egf)
(-egf => egh)
(-eif => -eja)
(eja => eif)
(-dfi => -dfh)
(dfh => dfi)
(bgh => bgc)
(-bgc => -bgh)
(-bje => -bjf)
(bjf => bje)
(dhd => dhf)
(-dhf => -dhd)
(-eg => -ej)
(ej => eg)
(-cjd => -cji)
(cji => cjd)
(bge => bgj)
(-bgj => -bge)
(jj => -jg)
(jg => -jj)
(gb => gj)
(-gj => -gb)
(-dgh => -dgg)
(dgg => dgh)
(dcg => -dcd)
(dcd => -dcg)
(-edj => edi)
(-edi => edj)
(cba => -cae)
(cae => -cba)
(ehi => -ehc)
(ehc => -ehi)
(bei => -bee)
(bee => -bei)
(-dah => dag)
(-dag => dah)
(bjg => -bjf)
(bjf => -bjg)
(-dgf => dgj)
(-dgj => dgf)
(-ed => ej)
(-ej => ed)
(-gg => gh)
(-gh => gg)
(dje => djd)
(-djd => -dje)
(-djf => -djc)
(djc => djf)
(-ehb => ehf)
(-ehf => ehb)
(big => bih)
(-bih => -big)
(cjg => -cjj)
(cjj => -cjg)
(-dje => djh)
(-djh => dje)
(-dhd => -dhh)
(dhh => dhd)
(-djj => eaa)
(-eaa => djj)
(ij => ib)
(-ib => -ij)
(bif => bib)
(-bib => -bif)
(bgc => bgf)
(-bgf => -bgc)
(bdd => bdg)
(-bdg => -bdd)
(-cib => cij)
(-cij => cib)
(ddg => -dde)
(dde => -ddg)
(dbj => -dbb)
(dbb => -dbj)
(-ejb => ejf)
(-ejf => ejb)
(-cbg => cbf)
(-cbf => cbg)
(-cgd => -cge)
(cge => cgd)
(-dfb => -dfi)
(dfi => dfb)
(ecf => -ece)
(ece => -ecf)
(-bbc => bca)
(-bca => bbc)
(-bef => bei)
(-bei => bef)
(cbb => -cbj)
(cbj => -cbb)
(-cfh => cfc)
(-cfc => cfh)
(cfh => cfe)
(-cfe => -cfh)
(-bab => bag)
(-bag => bab)
(ced => -cef)
(cef => -ced)
(bjh => bjf)
(-bjf => -bjh)
(dj => -di)
(di => -dj)
(bfj => bfb)
(-bfb => -bfj)
(-eed => eei)
(-eei => eed)
(cfe => cfj)
(-cfj => -cfe)
(-ccj => -ccd)
(ccd => ccj)
(dee => -dfa)
(dfa => -dee)
(-bgf => -bgc)
(bgc => bgf)
(cf => cb)
(-cb => -cf)
(-df => dg)
(-dg => df)
(-cff => cfg)
(-cfg => cff)
(chd => chh)
(-chh => -chd)
(-gf => gb)
(-gb => gf)
(cfc => cfd)
(-cfd => -cfc)
(ece => eda)
(-eda => -ece)
(dcc => dcg)
(-dcg => -dcc)
(-dbj => dbf)
(-dbf => dbj)
(-dfh => -dfg)
(dfg => dfh)
(dha => -dge)
(dge => -dha)
(bie => bid)
(-bid => -bie)
(ig => -ii)
(ii => -ig)
(-bac => bba)
(-bba => bac)
(-ccb => -ccg)
(ccg => ccb)
(eeh => eee)
(-eee => -eeh)
(-bhe => bhg)
(-bhg => bhe)
(dc => -db)
(db => -dc)
(-if => -ii)
(ii => if)
(-dfj => -dff)
(dff => dfj)
(bge => bgf)
(-bgf => -bge)
(b => -e)
(e => -b)
(-dd => -df)
(df => dd)
(-eae => -eag)
(eag => eae)
(bfh => bff)
(-bff => -bfh)
(cei => cef)
(-cef => -cei)
(-dff => -dfc)
(dfc => dff)
(-fc => -fd)
(fd => fc)
(-cee => cfa)
(-cfa => cee)
(-bad => -bac)
(bac => bad)
(-dje => djc)
(-djc => dje)
(eie => eif)
(-eif => -eie)
(-ec => eb)
(-eb => ec)
(ecg => -ech)
(ech => -ecg)
(he => -ia)
(ia => -he)
(-cfi => cfe)
(-cfe => cfi)
(-ca => bi)
(-bi => ca)
(cbg => -cbb)
(cbb => -cbg)
(-eaa => djg)
(-djg => eaa)
(-eee => eed)
(-eed => eee)
(-je => -jb)
(jb => je)
(ge => -gj)
(gj => -ge)
(ejb => -ejc)
(ejc => -ejb)
(-bdc => -bdf)
(bdf => bdc)
(-dhb => dhc)
(-dhc => dhb)
(-djd => djh)
(-djh => djd)
(eag => eae)
(-eae => -eag)
(-dgi => -dgf)
(dgf => dgi)
(bhe => bhb)
(-bhb => -bhe)
(-efa => -eeh)
(eeh => efa)
(ddh => dea)
(-dea => -ddh)
(ee => -ec)
(ec => -ee)
(-beb => -bfa)
(bfa => beb)
(eja => eii)
(-eii => -eja)
(bj => bd)
(-bd => -bj)
(bed => -bfa)
(bfa => -bed)
(-edc => -edb)
(edb => edc)
(-cba => cab)
(-cab => cba)
(bhi => -bhe)
(bhe => -bhi)
(-def => dec)
(-dec => def)
(-bji => bjg)
(-bjg => bji)
(-cci => cch)
(-cch => cci)
(-ejb => ejf)
(-ejf => ejb)
(djd => djg)
(-djg => -djd)
(ia => -hd)
(hd => -ia)
(cfg => -cfb)
(cfb => -cfg)
(bhc => bhi)
(-bhi => -bhc)
(-bhh => bhg)
(-bhg => bhh)
(ebc => ebd)
(-ebd => -ebc)
(-ccb => ccf)
(-ccf => ccb)
(-bij => -bib)
(bib => bij)
(-cbe => cbb)
(-cbb => cbe)
(-bie => bja)
(-bja => bie)
(ha => gb)
(-gb => -ha)
(dhd => -dhj)
(dhj => -dhd)
(bge => -bgi)
(bgi => -bge)
(big => -bii)
(bii => -big)
(-bc => -be)
(be => bc)
(eai => eah)
(-eah => -eai)
(dgc => -dha)
(dha => -dgc)
(-ccd => -cce)
(cce => ccd)
(-bac => bag)
(-bag => bac)
(-bjd => -caa)
(caa => bjd)
(-eid => eja)
(-eja => eid)
(-jb => -jg)
(jg => jb)
(-dja => -die)
(die => dja)
(-dic => dib)
(-dib => dic)
(cab => -cae)
(cae => -cab)
(-dhb => dhe)
(-dhe => dhb)
(-cca => -cbi)
(cbi => cca)
(cgd => cgh)
(-cgh => -cgd)
(-bg => bc)
(-bc => bg)
(-cdf => -cdc)
(cdc => cdf)
(-bcf => bcj)
(-bcj => bcf)
(dbi => -dca)
(dca => -dbi)
(hb => -hf)
(hf => -hb)
(efh => efc)
(-efc => -efh)
(bfg => -bfb)
(bfb => -bfg)
(-de => -dh)
(dh => de)
(dha => dgg)
(-dgg => -dha)
(-dgc => -dgh)
(dgh => dgc)
(baj => baf)
(-baf => -baj)
(ie => ib)
(-ib => -ie)
(-caa => bje)
(-bje => caa)
(dcf => dcg)
(-dcg => -dcf)
(-cdc => -cdj)
(cdj => cdc)
(-ddg => dde)
(-dde => ddg)
(dfj => dfi)
(-dfi => -dfj)
(cfb => -cff)
(cff => -cfb)
(jd => jb)
(-jb => -jd)
(efj => efd)
(-efd => -efj)
(bga => bfc)
(-bfc => -bga)
(-cii => -cif)
(cif => cii)
(-cci => ccf)
(-ccf => cci)
(-fa => ei)
(-ei => fa)
(dcc => -dcb)
(dcb => -dcc)
(dii => dic)
(-dic => -dii)
(-dbj => -dbg)
(dbg => dbj)
(eb => -eh)
(eh => -eb)
(-di => dg)
(-dg => di)
(-dhi => dhj)
(-dhj => dhi)
(-fj => fb)
(-fb => fj)
(ecb => -ecf)
(ecf => -ecb)
(-chi => chf)
(-chf => chi)
(-caa => -bjf)
(bjf => caa)
(dgd => -dgh)
(dgh => -dgd)
(bai => baj)
(-baj => -bai)
(-bgj => bgb)
(-bgb => bgj)
(djd => eaa)
(-eaa => -djd)
(cfi => -cfj)
(cfj => -cfi)
(bdc => -bdj)
(bdj => -bdc)
(f => -j)
(j => -f)
(-eii => -eih)
(eih => eii)
(bjh => -bjf)
(bjf => -bjh)
(-cf => cj)
(-cj => cf)
(-id => -if)
(if => id)
(-bce => bda)
(-bda => bce)
(-bad => -bah)
(bah => bad)
(ded => def)
(-def => -ded)
(ced => -cej)
(cej => -ced)
(-ceb => cef)
(-cef => ceb)
(bcj => bcb)
(-bcb => -bcj)
(ede => edc)
(-edc => -ede)
(-c => -h)
(h => c)
(eac => -eag)
(eag => -eac)
(bee => bef)
(-bef => -bee)
(-chj => chf)
(-chf => chj)
(-cdh => cdb)
(-cdb => cdh)
(-di => db)
(-db => di)
(-dfh => -dff)
(dff => dfh)
(-dhh => dhb)
(-dhb => dhh)
(hj => -hc)
(hc => -hj)
(bad => bai)
(-bai => -bad)
(be => -bd)
(bd => -be)
(-bji => -bje)
(bje => bji)
(bfa => -bec)
(bec => -bfa)
(cb => -cf)
(cf => -cb)
(-dhd => -dhj)
(dhj => dhd)
(ebi => -ebj)
(ebj => -ebi)
(cfc => cfh)
(-cfh => -cfc)
(bjc => bjb)
(-bjb => -bjc)
(bej => -bei)
(bei => -bej)
(-dfb => -dfd)
(dfd => dfb)
(-ddf => ddc)
(-ddc => ddf)
(-bcf => -bcg)
(bcg => bcf)
(-bbg => -bbe)
(bbe => bbg)
(-cgh => -cgc)
(cgc => cgh)
(bdg => bdh)
(-bdh => -bdg)
(cfd => cff)
(-cff => -cfd)
(-cbe => -cbc)
(cbc => cbe)
(eda => ecf)
(-ecf => -eda)
(-fj => fi)
(-fi => fj)
(fd => -fi)
(fi => -fd)
(-dia => dhi)
(-dhi => dia)
(-bai => -bah)
(bah => bai)
(-ddg => ddj)
(-ddj => ddg)
(-efa => -eef)
(eef => efa)
(-ecf => -ece)
(ece => ecf)
(dba => daj)
(-daj => -dba)
(cbj => -cbb)
(cbb => -cbj)
(fe => fj)
(-fj => -fe)
(jj => -ji)
(ji => -jj)
(bhg => bhf)
(-bhf => -bhg)
(-dde => ddj)
(-ddj => dde)
(eie => -eii)
(eii => -eie)
(-cji => -cjh)
(cjh => cji)
(-egc => -egf)
(egf => egc)
(-bic => bid)
(-bid => bic)
(-cad => cai)
(-cai => cad)
(-jj => je)
(-je => jj)
(-ebh => ebc)
(-ebc => ebh)
(-cec => -ceh)
(ceh => cec)
(baa => ji)
(-ji => -baa)
(-cc => -da)
(da => cc)
(dci => -dce)
(dce => -dci)
(cfb => cfi)
(-cfi => -cfb)
(-eaj => -eai)
(eai => eaj)
(-daf => dac)
(-dac => daf)
(-egf => egi)
(-egi => egf)
(cde => cdb)
(-cdb => -cde)
(cgc => cgj)
(-cgj => -cgc)
(cad => -cae)
(cae => -cad)
(dji => djc)
(-djc => -dji)
(dgi => -dgb)
(dgb => -dgi)
(dgj => dge)
(-dge => -dgj)
(cib => cie)
(-cie => -cib)
(cjj => cje)
(-cje => -cjj)
(bfj => -bfc)
(bfc => -bfj)
(ebb => -ebe)
(ebe => -ebb)
(-jh => -jf)
(jf => jh)
(cge => -cgb)
(cgb => -cge)
(bhe => bhc)
(-bhc => -bhe)
(-cbe => cbg)
(-cbg => cbe)
(-ede => edj)
(-edj => ede)
(-cba => cai)
(-cai => cba)
(-cea => cdg)
(-cdg => cea)
(-dcg => dda)
(-dda => dcg)
(-bde => -bdd)
(bdd => bde)
(bii => bja)
(-bja => -bii)
(bac => baj)
(-baj => -bac)
(-jg => jb)
(-jb => jg)
(cdh => cdj)
(-cdj => -cdh)
(-bjg => -bjf)
(bjf => bjg)
(-bgc => bgb)
(-bgb => bgc)
(chj => -chb)
(chb => -chj)
(-ddj => -ddi)
(ddi => ddj)
(gi => ha)
(-ha => -gi)
(ceg => cee)
(-cee => -ceg)
(-bdf => bdg)
(-bdg => bdf)
(caa => bje)
(-bje => -caa)
(cb => cj)
(-cj => -cb)
(dha => dgi)
(-dgi => -dha)
(efd => -efi)
(efi => -efd)
(-dci => dcj)
(-dcj => dci)
(-bfd => -bga)
(bga => bfd)
(cce => ccg)
(-ccg => -cce)
(eee => -eeh)
(eeh => -eee)
(-ddf => ddj)
(-ddj => ddf)
(dbe => -dbg)
(dbg => -dbe)
(bfj => -bga)
(bga => -bfj)
(bch => bcf)
(-bcf => -bch)
(cai => -cad)
(cad => -cai)
(-ccj => -cce)
(cce => ccj)
(dbi => dbj)
(-dbj => -dbi)
(-eed => -eeg)
(eeg => eed)
(-bgi => -bgf)
(bgf => bgi)
(bhh => bia)
(-bia => -bhh)
(-djb => -djf)
(djf => djb)
(ccf => ccb)
(-ccb => -ccf)
(edc => -ede)
(ede => -edc)
(dia => dhi)
(-dhi => -dia)
(-fj => -fe)
(fe => fj)
(-ehe => -ehd)
(ehd => ehe)
(hb => -hj)
(hj => -hb)
(-baf => -bac)
(bac => baf)
(-dga => dfi)
(-dfi => dga)
(-beh => bec)
(-bec => beh)
(de => db)
(-db => -de)
(-bi => be)
(-be => bi)
(-cjd => cjg)
(-cjg => cjd)
(-dei => -deg)
(deg => dei)
(eca => ebg)
(-ebg => -eca)
(-e => -h)
(h => e)
(efc => efh)
(-efh => -efc)
(-die => -did)
(did => die)
(-ih => if)
(-if => ih)
(-bbg => -bbe)
(bbe => bbg)
(ge => gd)
(-gd => -ge)
(-hd => -hg)
(hg => hd)
(-dae => dab)
(-dab => dae)
(-bbd => -bca)
(bca => bbd)
(-dhi => dhe)
(-dhe => dhi)
(-cgh => cgi)
(-cgi => cgh)
(-dj => -db)
(db => dj)
(-bgj => bgf)
(-bgf => bgj)
(-bgd => bgg)
(-bgg => bgd)
(-ege => egg)
(-egg => ege)
(ig => id)
(-id => -ig)
(dae => -dab)
(dab => -dae)
(-ecd => -ecf)
(ecf => ecd)
(die => dih)
(-dih => -die)
(bfg => -bfh)
(bfh => -bfg)
(bbi => bbg)
(-bbg => -bbi)
(bgd => -bgb)
(bgb => -bgd)
(-dcf => -dda)
(dda => dcf)
(ehe => ehj)
(-ehj => -ehe)
(bdd => -bdc)
(bdc => -bdd)
(-bfb => -bfc)
(bfc => bfb)
(-dee => ded)
(-ded => dee)
(cje => -cjf)
(cjf => -cje)
(baf => bae)
(-bae => -baf)
(-caa => -bji)
(bji => caa)
(-if => ic)
(-ic => if)
(-eje => -ejj)
(ejj => eje)
(-bc => -bf)
(bf => bc)
(-chh => -cia)
(cia => chh)
(-ceb => ceh)
(-ceh => ceb)
(-edj => edg)
(-edg => edj)
(-efg => -efc)
(efc => efg)
(-bab => bba)
(-bba => bab)
(bfh => bfe)
(-bfe => -bfh)
(-eeb => eej)
(-eej => eeb)
(bhh => -bhj)
(bhj => -bhh)
(-chg => chd)
(-chd => chg)
(daj => dag)
(-dag => -daj)
(-cdb => -cdh)
(cdh => cdb)
(-bdf => bdi)
(-bdi => bdf)
(ej => -eb)
(eb => -ej)
(-ecg => ecb)
(-ecb => ecg)
(-cig => cii)
(-cii => cig)
(-eei => -eeb)
(eeb => eei)
(-cba => -cag)
(cag => cba)
(-bji => bje)
(-bje => bji)
(-dec => -dfa)
(dfa => dec)
(bih => bie)
(-bie => -bih)
(cdi => cea)
(-cea => -cdi)
(-eff => efb)
(-efb => eff)
(-cfc => -cfg)
(cfg => cfc)
(cce => -cch)
(cch => -cce)
(-ff => -fh)
(fh => ff)
(cc => da)
(-da => -cc)
(-cdc => cde)
(-cde => cdc)
(-cbe => -cbf)
(cbf => cbe)
(-bf => -bc)
(bc => bf)
(eag => eaf)
(-eaf => -eag)
(-dif => -dig)
(dig => dif)
(egg => egb)
(-egb => -egg)
(bfc => -bfg)
(bfg => -bfc)
(-dhb => dhg)
(-dhg => dhb)
(bad => -bba)
(bba => -bad)
(-ehh => -ehj)
(ehj => ehh)
(ecj => -eci)
(eci => -ecj)
(-ga => fi)
(-fi => ga)
(-eai => eba)
(-eba => eai)
(did => -dig)
(dig => -did)
(-gf => -ha)
(ha => gf)
(-dce => dda)
(-dda => dce)
(-h => -d)
(d => h)
(-fa => ee)
(-ee => fa)
(-dha => -dgd)
(dgd => dha)
(fe => fh)
(-fh => -fe)
(gf => ha)
(-ha => -gf)
(cdf => -cdb)
(cdb => -cdf)
(bfc => bfb)
(-bfb => -bfc)
(-dfe => -dga)
(dga => dfe)
(fd => fi)
(-fi => -fd)
(bjb => -bjh)
(bjh => -bjb)
(-cad => caj)
(-caj => cad)
(ib => -ic)
(ic => -ib)
(gh => -ge)
(ge => -gh)
(efe => efh)
(-efh => -efe)
(bia => bhg)
(-bhg => -bia)
(-caa => bje)
(-bje => caa)
(ece => ecg)
(-ecg => -ece)
(edi => edd)
(-edd => -edi)
(-egh => -egf)
(egf => egh)
(dcd => -dcb)
(dcb => -dcd)
(-eei => -eee)
(eee => eei)
(-edj => edg)
(-edg => edj)
(-dgi => -dgd)
(dgd => dgi)
(-bed => -bee)
(bee => bed)
(-cdf => cdd)
(-cdd => cdf)
(ddg => -dde)
(dde => -ddg)
(-cd => cg)
(-cg => cd)
(dei => dej)
(-dej => -dei)
(ebg => ebc)
(-ebc => -ebg)
(ehc => eia)
(-eia => -ehc)
(bbb => bbe)
(-bbe => -bbb)
(fd => -ga)
(ga => -fd)
(dbc => dbj)
(-dbj => -dbc)
(-beh => bed)
(-bed => beh)
(-cec => -cef)
(cef => cec)
(-dg => -dh)
(dh => dg)
(-bij => -bie)
(bie => bij)
(cfg => cfh)
(-cfh => -cfg)
(-cgd => -cha)
(cha => cgd)
(-egj => egc)
(-egc => egj)
(bae => -bai)
(bai => -bae)
(b => i)
(-i => -b)
(-baj => bab)
(-bab => baj)
(cbe => -cbh)
(cbh => -cbe)
(-dab => dac)
(-dac => dab)
(-cbg => cbj)
(-cbj => cbg)
(cha => cgg)
(-cgg => -cha)
(bhd => -bhe)
(bhe => -bhd)
(jf => -jg)
(jg => -jf)
(-eaa => djj)
(-djj => eaa)
(ehe => ehg)
(-ehg => -ehe)
(djg => djb)
(-djb => -djg)
(-cbj => cbd)
(-cbd => cbj)
(-efe => -efc)
(efc => efe)
(-fa => ed)
(-ed => fa)
(-id => -ie)
(ie => id)
(efh => ega)
(-ega => -efh)
(-ege => egj)
(-egj => ege)
(-ebf => ebd)
(-ebd => ebf)
(ij => -ih)
(ih => -ij)
(-dgc => dgb)
(-dgb => dgc)
(-dah => -daf)
(daf => dah)
(-bii => bid)
(-bid => bii)
(jg => ji)
(-ji => -jg)
(-bjh => -bjb)
(bjb => bjh)
(-ehj => ehf)
(-ehf => ehj)
(-cej => cec)
(-cec => cej)
(caj => -cae)
(cae => -caj)
(efh => efb)
(-efb => -efh)
(-eic => eig)
(-eig => eic)
(-jh => ji)
(-ji => jh)
(eh => eb)
(-eb => -eh)
(def => deb)
(-deb => -def)
(-ege => egb)
(-egb => ege)
(dfc => -dff)
(dff => -dfc)
(dbg => -dbb)
(dbb => -dbg)
(-dbf => -dca)
(dca => dbf)
(bhi => bia)
(-bia => -bhi)
(did => -dij)
(dij => -did)
(-dce => dcg)
(-dcg => dce)
(-ded => -dfa)
(dfa => ded)
(-jc => baa)
(-baa => jc)
(-j => b)
(-b => j)
(-bfb => -bfg)
(bfg => bfb)
(cdh => cde)
(-cde => -cdh)
(-ehi => eia)
(-eia => ehi)
(ebh => -ebb)
(ebb => -ebh)
(ej => -fa)
(fa => -ej)
(bje => caa)
(-caa => -bje)
(-bcc => -bci)
(bci => bcc)
(-bhg => -bhd)
(bhd => bhg)
(-egh => -egg)
(egg => egh)
(cbf => cbb)
(-cbb => -cbf)
(-cag => cac)
(-cac => cag)
(-bdc => -bde)
(bde => bdc)
(-bag => bae)
(-bae => bag)
(-cgb => -cgh)
(cgh => cgb)
(-hb => hi)
(-hi => hb)
(cdb => -cdc)
(cdc => -cdb)
(baj => -bba)
(bba => -baj)
(-edb => -edf)
(edf => edb)
(-dci => -dcg)
(dcg => dci)
(bd => bj)
(-bj => -bd)
(-hc => -hd)
(hd => hc)
(eca => ebd)
(-ebd => -eca)
(be => bc)
(-bc => -be)
(dia => -dhi)
(dhi => -dia)
(-eab => eac)
(-eac => eab)
(-dgf => -dgd)
(dgd => dgf)
(-cjf => -cjj)
(cjj => cjf)
(-dbh => -dbb)
(dbb => dbh)
(dfh => -dfc)
(dfc => -dfh)
(cfg => cfj)
(-cfj => -cfg)
(-gd => gc)
(-gc => gd)
(cgj => cgf)
(-cgf => -cgj)
(-cjc => cjd)
(-cjd => cjc)
(-dae => -dac)
(dac => dae)
(-cic => -cib)
(cib => cic)
(-eia => ehb)
(-ehb => eia)
(-dca => dbi)
(-dbi => dca)
(-egh => -egj)
(egj => egh)
(dfi => -dff)
(dff => -dfi)
(bjf => bjj)
(-bjj => -bjf)
(cgg => -cgc)
(cgc => -cgg)
(-cfc => cfe)
(-cfe => cfc)
(bdi => -bdg)
(bdg => -bdi)
(-bgg => -bgi)
(bgi => bgg)
(ia => hf)
(-hf => -ia)
(-cfb => -cga)
(cga => cfb)
(-gg => -ha)
(ha => gg)
(-cab => cac)
(-cac => cab)
(-bei => bej)
(-bej => bei)
(ebi => ebe)
(-ebe => -ebi)
(-cfe => cfj)
(-cfj => cfe)
(did => -dic)
(dic => -did)
(-jb => -jh)
(jh => jb)
(-dbe => -dbj)
(dbj => dbe)
(-dfe => dga)
(-dga => dfe)
(cic => -cig)
(cig => -cic)
(-djj => -djc)
(djc => djj)
(chg => -chj)
(chj => -chg)
(-bga => bfe)
(-bfe => bga)
(-ebc => ebj)
(-ebj => ebc)
(-eii => eih)
(-eih => eii)
(hb => hc)
(-hc => -hb)
(-ege => -egc)
(egc => ege)
(bcc => -bch)
(bch => -bcc)
(dch => -dce)
(dce => -dch)
(-bda => bcg)
(-bcg => bda)
(cif => cie)
(-cie => -cif)
(-dib => -dih)
(dih => dib)
(dhf => dhg)
(-dhg => -dhf)
(-ejh => -ejj)
(ejj => ejh)
(-bji => bjj)
(-bjj => bji)
(-caa => -bjf)
(bjf => caa)
(bje => caa)
(-caa => -bje)
(bah => bba)
(-bba => -bah)
(-egb => ege)
(-ege => egb)
(-baa => ji)
(-ji => baa)
(-bai => -bah)
(bah => bai)
(-deh => -deg)
(deg => deh)
(bfa => beb)
(-beb => -bfa)
(dig => -dic)
(dic => -dig)
(dde => -ddb)
(ddb => -dde)
(-ech => eda)
(-eda => ech)
(cfd => -cga)
(cga => -cfd)
(-def => deh)
(-deh => def)
(-cij => cig)
(-cig => cij)
(-cdb => cde)
(-cde => cdb)
(-dhb => dhg)
(-dhg => dhb)
(ce => cb)
(-cb => -ce)
(bhf => -bhd)
(bhd => -bhf)
(-dfe => -dff)
(dff => dfe)
(bdc => -bdi)
(bdi => -bdc)
(-jj => ji)
(-ji => jj)
(-cah => -cac)
(cac => cah)
(-bai => -bac)
(bac => bai)
(cd => ch)
(-ch => -cd)
(-ccc => -ccd)
(ccd => ccc)
(eg => ej)
(-ej => -eg)
(-eab => eah)
(-eah => eab)
(-ca => bi)
(-bi => ca)
(efi => efg)
(-efg => -efi)
(-chh => -chf)
(chf => chh)
(-dj => -de)
(de => dj)
(cfi => cfj)
(-cfj => -cfi)
(-dge => dgj)
(-dgj => dge)
(h => -ba)
(ba => -h)
(-eda => -ecg)
(ecg => eda)
(ea => -dj)
(dj => -ea)
(-jb => -jd)
(jd => jb)
(bii => bid)
(-bid => -bii)
(-cdi => -cdf)
(cdf => cdi)
(bfi => -bga)
(bga => -bfi)
(-cga => cff)
(-cff => cga)
(-gc => -gj)
(gj => gc)
(-de => -dh)
(dh => de)
(-ji => baa)
(-baa => ji)
(dbi => dbj)
(-dbj => -dbi)
(-efe => -efd)
(efd => efe)
(cei => ced)
(-ced => -cei)
(ece => -ecd)
(ecd => -ece)
(cid => cih)
(-cih => -cid)
(cae => cai)
(-cai => -cae)
(cfg => cfi)
(-cfi => -cfg)
(-bae => -bad)
(bad => bae)
(ih => -if)
(if => -ih)
(ga => -fh)
(fh => -ga)
(-gb => -gg)
(gg => gb)
(-jf => ji)
(-ji => jf)
(djg => -dji)
(dji => -djg)
(-fa => ef)
(-ef => fa)
(bbb => -bbi)
(bbi => -bbb)
(-cai => caf)
(-caf => cai)
(ddf => ddg)
(-ddg => -ddf)
(bgf => -bgb)
(bgb => -bgf)
(edh => -edj)
(edj => -edh)
(-bda => -bcg)
(bcg => bda)
(ce => cj)
(-cj => -ce)
(dac => -dba)
(dba => -dac)
(dib => -did)
(did => -dib)
(cbc => cbi)
(-cbi => -cbc)
(ehc => ehd)
(-ehd => -ehc)
(ja => -ih)
(ih => -ja)
(ccd => ccb)
(-ccb => -ccd)
(ca => -bg)
(bg => -ca)
(-eec => eeh)
(-eeh => eec)
(bba => -baj)
(baj => -bba)
(eh => -ed)
(ed => -eh)
(ced => ceb)
(-ceb => -ced)
(hc => hh)
(-hh => -hc)
(dca => -dbi)
(dbi => -dca)
(-eid => eib)
(-eib => eid)
(-bad => bag)
(-bag => bad)
(-cjf => -cjc)
(cjc => cjf)
(cie => cih)
(-cih => -cie)
(dbb => -dbf)
(dbf => -dbb)
(eha => egj)
(-egj => -eha)
(ddb => ddf)
(-ddf => -ddb)
(cdh => -cdc)
(cdc => -cdh)
(de => -dg)
(dg => -de)
(-cfb => cfd)
(-cfd => cfb)
(-dhf => dhh)
(-dhh => dhf)
(-cab => cag)
(-cag => cab)
(-dj => dg)
(-dg => dj)
(-efj => -ega)
(ega => efj)
(-cj => -da)
(da => cj)
(-chf => -chc)
(chc => chf)
(-egf => egg)
(-egg => egf)
(eah => -eab)
(eab => -eah)
(-cfg => cfj)
(-cfj => cfg)
(-jd => -je)
(je => jd)
(hb => hi)
(-hi => -hb)
(-che => chf)
(-chf => che)
(daf => dag)
(-dag => -daf)
(-dfd => dga)
(-dga => dfd)
(bba => bag)
(-bag => -bba)
(egh => -egb)
(egb => -egh)
(cdj => -cdf)
(cdf => -cdj)
(bha => bgg)
(-bgg => -bha)
(-c => d)
(-d => c)
(cdg => -cdi)
(cdi => -cdg)
(-cbd => -cca)
(cca => cbd)
(efb => -efc)
(efc => -efb)
(-eae => eab)
(-eab => eae)
(-cfc => -cff)
(cff => cfc)
(chj => -cia)
(cia => -chj)
(djc => -dje)
(dje => -djc)
(-efi => -efg)
(efg => efi)
(edf => -edh)
(edh => -edf)
(jf => -jj)
(jj => -jf)
(bie => -big)
(big => -bie)
(fi => -ff)
(ff => -fi)
(gd => -ge)
(ge => -gd)
(-ddg => ddi)
(-ddi => ddg)
(-ea => -dh)
(dh => ea)
(dfh => -dfc)
(dfc => -dfh)
(-i => -j)
(j => i)
(-cbh => -cbb)
(cbb => cbh)
(dce => -dci)
(dci => -dce)
(bjh => -bjd)
(bjd => -bjh)
(-ceg => cej)
(-cej => ceg)
(cac => cae)
(-cae => -cac)
(-chh => chj)
(-chj => chh)
(-egh => -egj)
(egj => egh)
(-gh => -gc)
(gc => gh)
(egc => ege)
(-ege => -egc)
(-ee => fa)
(-fa => ee)
(-cag => caf)
(-caf => cag)
(-cch => -ccj)
(ccj => cch)
(-dbc => dbj)
(-dbj => dbc)
(-dj => -db)
(db => dj)
(eh => -ec)
(ec => -eh)
(-bhi => bhj)
(-bhj => bhi)
(-dgj => -dgd)
(dgd => dgj)
(-ebg => -ebe)
(ebe => ebg)
(-dei => def)
(-def => dei)
(edh => eea)
(-eea => -edh)
(ddf => -dea)
(dea => -ddf)
(bgc => -bgb)
(bgb => -bgc)
(ehf => ehj)
(-ehj => -ehf)
(-dei => dej)
(-dej => dei)
(eai => eah)
(-eah => -eai)
(if => -id)
(id => -if)
(-efb => ega)
(-ega => efb)
(-eea => -ede)
(ede => eea)
(-bha => -bgb)
(bgb => bha)
(-jc => jj)
(-jj => jc)
(-gj => -gi)
(gi => gj)
(eh => -fa)
(fa => -eh)
(-be => bi)
(-bi => be)
(-dcf => -dda)
(dda => dcf)
(bjb => bjh)
(-bjh => -bjb)
(-bad => -bac)
(bac => bad)
(-jb => -ji)
(ji => jb)
(-bbc => -bbd)
(bbd => bbc)
(-bec => bed)
(-bed => bec)
(egg => -egf)
(egf => -egg)
(-cif => cid)
(-cid => cif)
(-cfe => -cfj)
(cfj => cfe)
(-caj => -cab)
(cab => caj)
(d => g)
(-g => -d)
(ei => -ec)
(ec => -ei)
(-bec => bef)
(-bef => bec)
(-ebh => -ebi)
(ebi => ebh)
(baj => bad)
(-bad => -baj)
(bei => -bej)
(bej => -bei)
(ii => ij)
(-ij => -ii)
(bdi => -bea)
(bea => -bdi)
(-dfh => dfe)
(-dfe => dfh)
(cda => -ccg)
(ccg => -cda)
(hg => -he)
(he => -hg)
(efc => efg)
(-efg => -efc)
(-edb => -edh)
(edh => edb)
(-bdi => bdh)
(-bdh => bdi)
(cc => -cf)
(cf => -cc)
(-cg => cj)
(-cj => cg)
(-chi => chf)
(-chf => chi)
(bhc => bhb)
(-bhb => -bhc)
(ddj => ddc)
(-ddc => -ddj)
(-bea => -bdg)
(bdg => bea)
(dhc => dhh)
(-dhh => -dhc)
(dbc => -dbf)
(dbf => -dbc)
(-dgj => dge)
(-dge => dgj)
(-ji => jc)
(-jc => ji)
(dei => -dfa)
(dfa => -dei)
(-gh => -ge)
(ge => gh)
(-bff => -bfc)
(bfc => bff)
(eib => eie)
(-eie => -eib)
(-eh => eb)
(-eb => eh)
(-dgb => dgh)
(-dgh => dgb)
(-bfb => bfe)
(-bfe => bfb)
(ddf => dea)
(-dea => -ddf)
(-cdc => -cdh)
(cdh => cdc)
(-die => dja)
(-dja => die)
(-eff => -efj)
(efj => eff)
(cfb => -cfe)
(cfe => -cfb)
(ci => cg)
(-cg => -ci)
(egi => -egg)
(egg => -egi)
(ebg => -ebj)
(ebj => -ebg)
(dff => dga)
(-dga => -dff)
(-bcg => -bcj)
(bcj => bcg)
(eja => -eib)
(eib => -eja)
(cf => da)
(-da => -cf)
(bii => -bie)
(bie => -bii)
(ca => be)
(-be => -ca)
(-eai => -ead)
(ead => eai)
(-bgi => bgh)
(-bgh => bgi)
(baf => -bah)
(bah => -baf)
(dgd => dgg)
(-dgg => -dgd)
(db => di)
(-di => -db)
(-hf => hc)
(-hc => hf)
(-cig => -cid)
(cid => cig)
(-bgd => -bgj)
(bgj => bgd)
(eea => edb)
(-edb => -eea)
(-eah => -eba)
(eba => eah)
(eea => -edj)
(edj => -eea)
(ebd => -ebe)
(ebe => -ebd)
(-dgi => dge)
(-dge => dgi)
(-bgc => bgi)
(-bgi => bgc)
(-bbc => bbb)
(-bbb => bbc)
(-eb => fa)
(-fa => eb)
(dfh => dfc)
(-dfc => -dfh)
(bbc => bbd)
(-bbd => -bbc)
(de => df)
(-df => -de)
(-edc => edh)
(-edh => edc)
(-dja => -dih)
(dih => dja)
(-cfa => -ceg)
(ceg => cfa)
(cda => -ccj)
(ccj => -cda)
(-egf => -egc)
(egc => egf)
(-edg => edd)
(-edd => edg)
(-chf => -chc)
(chc => chf)
(-cja => cib)
(-cib => cja)
(edj => edb)
(-edb => -edj)
(-bdi => -bdg)
(bdg => bdi)
(d => -j)
(j => -d)
(ejc => ejf)
(-ejf => -ejc)
(ib => ij)
(-ij => -ib)
(-cci => -ccf)
(ccf => cci)
(-ebj => -ebd)
(ebd => ebj)
(eij => -eja)
(eja => -eij)
(-cbd => -cbc)
(cbc => cbd)
(bhe => -bhh)
(bhh => -bhe)
(ddi => -ddf)
(ddf => -ddi)
(cfa => -cef)
(cef => -cfa)
(-eac => -eaj)
(eaj => eac)
(-g => -h)
(h => g)
(-di => dd)
(-dd => di)
(bjb => bjg)
(-bjg => -bjb)
(-be => -bi)
(bi => be)
(bde => -bdj)
(bdj => -bde)
(ddg => -dde)
(dde => -ddg)
(-cah => cac)
(-cac => cah)
(-eba => -ead)
(ead => eba)
(-ddc => dde)
(-dde => ddc)
(cee => -ceb)
(ceb => -cee)
(ehc => ehd)
(-ehd => -ehc)
(-cfj => -cfc)
(cfc => cfj)
(-dei => -dec)
(dec => dei)
(-ddg => ddj)
(-ddj => ddg)
(caa => bjd)
(-bjd => -caa)
(dia => dhc)
(-dhc => -dia)
(-ddg => ddb)
(-ddb => ddg)
(-ehe => ehh)
(-ehh => ehe)
(-dgd => -dgb)
(dgb => dgd)
(-bei => -beg)
(beg => bei)
(efh => -efc)
(efc => -efh)
(-bfi => bff)
(-bff => bfi)
(cji => cjh)
(-cjh => -cji)
(-chd => -chf)
(chf => chd)
(-bhj => -bia)
(bia => bhj)
(id => -if)
(if => -id)
(-dcg => -dcd)
(dcd => dcg)
(ii => ic)
(-ic => -ii)
(eij => eii)
(-eii => -eij)
(ebe => eca)
(-eca => -ebe)
(eea => -edj)
(edj => -eea)
(bhd => -bhb)
(bhb => -bhd)
(bae => -bag)
(bag => -bae)
(-gb => -gh)
(gh => gb)
(-bgg => bgb)
(-bgb => bgg)
(-cdb => cde)
(-cde => cdb)
(bba => -baf)
(baf => -bba)
(-dfe => -dfd)
(dfd => dfe)
(cjj => -cjf)
(cjf => -cjj)
(bce => -bcf)
(bcf => -bce)
(-egi => egd)
(-egd => egi)
(-dbc => dbe)
(-dbe => dbc)
(dja => dic)
(-dic => -dja)
(-cda => -ccg)
(ccg => cda)
(-edg => edd)
(-edd => edg)
(bg => -bj)
(bj => -bg)
(bi => -bb)
(bb => -bi)
(-ebd => -ebi)
(ebi => ebd)
(-bdh => bdi)
(-bdi => bdh)
(ebe => ebh)
(-ebh => -ebe)
(ede => -edg)
(edg => -ede)
(-bgj => bgb)
(-bgb => bgj)
(-fc => fb)
(-fb => fc)
(-dgc => -dgi)
(dgi => dgc)
(-eei => -eed)
(eed => eei)
(cag => -cad)
(cad => -cag)
(baf => -bab)
(bab => -baf)
(-cej => -cee)
(cee => cej)
(bje => -bjb)
(bjb => -bje)
(-dii => dig)
(-dig => dii)
(-jg => -baa)
(baa => jg)
(bcd => bcj)
(-bcj => -bcd)
(-ff => -fi)
(fi => ff)
(-cbe => cbb)
(-cbb => cbe)
(dhg => -dhc)
(dhc => -dhg)
(-ehi => -ehf)
(ehf => ehi)
(-ceb => -cee)
(cee => ceb)
(cbb => -cbi)
(cbi => -cbb)
(eec => -eeg)
(eeg => -eec)
(-edi => -edf)
(edf => edi)
(-eid => -eie)
(eie => eid)
(-egc => -eha)
(eha => egc)
(bec => bef)
(-bef => -bec)
(-bba => baf)
(-baf => bba)
(-bdh => -bdf)
(bdf => bdh)
(djc => djj)
(-djj => -djc)
(-dga => -dfd)
(dfd => dga)
(-ddg => ddj)
(-ddj => ddg)
(ie => -ib)
(ib => -ie)
(-cfh => cfi)
(-cfi => cfh)
(ebb => ebg)
(-ebg => -ebb)
(eda => ecc)
(-ecc => -eda)
(hi => -hh)
(hh => -hi)
(cga => -cfc)
(cfc => -cga)
(-bhj => bia)
(-bia => bhj)
(-cjg => cje)
(-cje => cjg)
(-dfd => -dfb)
(dfb => dfd)
(-cig => -cih)
(cih => cig)
(-cde => -cdj)
(cdj => cde)
(-eic => -eif)
(eif => eic)
(-bgi => -bgf)
(bgf => bgi)
(-cbd => -cbj)
(cbj => cbd)
(bec => bei)
(-bei => -bec)
(-ee => ei)
(-ei => ee)
(-cid => -cii)
(cii => cid)
(dbh => -dbg)
(dbg => -dbh)
(-dfi => -dfd)
(dfd => dfi)
(-ehe => eia)
(-eia => ehe)
(eab => eae)
(-eae => -eab)
(-dfg => -dfh)
(dfh => dfg)
(-cfg => -cga)
(cga => cfg)
(-ii => -ja)
(ja => ii)
(-eaa => djj)
(-djj => eaa)
(caa => bje)
(-bje => -caa)
(-ehe => -ehd)
(ehd => ehe)
(bge => bgf)
(-bgf => -bge)
(bhe => -bhd)
(bhd => -bhe)
(-dgh => -dha)
(dha => dgh)
(cac => -caf)
(caf => -cac)
(-bgd => -bgb)
(bgb => bgd)
(bfd => -bfb)
(bfb => -bfd)
(-ii => id)
(-id => ii)
(cja => -cib)
(cib => -cja)
(d => -ba)
(ba => -d)
(cad => -caj)
(caj => -cad)
(baa => -jf)
(jf => -baa)
(cda => -ccc)
(ccc => -cda)
(-bhe => bhb)
(-bhb => bhe)
(cda => -cci)
(cci => -cda)
(-ced => -cee)
(cee => ced)
(ehg => ehj)
(-ehj => -ehg)
(bcb => bcf)
(-bcf => -bcb)
(cdc => cde)
(-cde => -cdc)
(-bgj => -bgi)
(bgi => bgj)
(d => -g)
(g => -d)
(cgc => cgh)
(-cgh => -cgc)
(dja => -dih)
(dih => -dja)
(-chb => -cia)
(cia => chb)
(ecd => -eci)
(eci => -ecd)
(-dje => -djc)
(djc => dje)
(cij => cig)
(-cig => -cij)
(-ebd => -eca)
(eca => ebd)
(bed => -bei)
(bei => -bed)
(edh => edi)
(-edi => -edh)
(-bcj => -bci)
(bci => bcj)
(-bca => bbe)
(-bbe => bca)
(-eia => -ehc)
(ehc => eia)
(cdc => cdd)
(-cdd => -cdc)
(ehg => -ehc)
(ehc => -ehg)
(-bdf => bdd)
(-bdd => bdf)
(-efj => -efi)
(efi => efj)
(-c => d)
(-d => c)
(h => -d)
(d => -h)
(-dhi => dhj)
(-dhj => dhi)
(cg => cj)
(-cj => -cg)
(-cgc => cgb)
(-cgb => cgc)
(cge => cha)
(-cha => -cge)
(cfe => -cfb)
(cfb => -cfe)
(bei => -beg)
(beg => -bei)
(ce => ch)
(-ch => -ce)
(eig => -eii)
(eii => -eig)
(ehd => -ehh)
(ehh => -ehd)
(-bgd => -bgh)
(bgh => bgd)
(-dgd => -dha)
(dha => dgd)
(if => -ii)
(ii => -if)
(dcj => -dce)
(dce => -dcj)
(-dcd => -dce)
(dce => dcd)
(bac => bai)
(-bai => -bac)
(-dcf => dcb)
(-dcb => dcf)
(-ef => eb)
(-eb => ef)
(-bbc => -bbj)
(bbj => bbc)
(de => -dg)
(dg => -de)
(-bfc => bff)
(-bff => bfc)
(eea => edd)
(-edd => -eea)
(eca => ebb)
(-ebb => -eca)
(-bba => bad)
(-bad => bba)
(bgc => bgi)
(-bgi => -bgc)
(ii => ih)
(-ih => -ii)
(eaf => -eae)
(eae => -eaf)
(-dad => dae)
(-dae => dad)
(cjg => cjd)
(-cjd => -cjg)
(-bbj => bbb)
(-bbb => bbj)
(egj => ege)
(-ege => -egj)
(-dhf => -dhc)
(dhc => dhf)
(-eie => -eig)
(eig => eie)
(-cje => -cji)
(cji => cje)
(dfb => -dfc)
(dfc => -dfb)
(cbf => -cbh)
(cbh => -cbf)
(-jb => baa)
(-baa => jb)
(cci => ccd)
(-ccd => -cci)
(daj => -dah)
(dah => -daj)
(-g => j)
(-j => g)
(-bfc => -bff)
(bff => bfc)
(-dbh => -dbd)
(dbd => dbh)
(-edd => edb)
(-edb => edd)
(-efh => -efc)
(efc => efh)
(bje => -bjg)
(bjg => -bje)
(-cjb => -cje)
(cje => cjb)
(cbh => -cbe)
(cbe => -cbh)
(dig => dja)
(-dja => -dig)
(ha => -gj)
(gj => -ha)
(-dac => -dai)
(dai => dac)
(-cgf => -cha)
(cha => cgf)
(-cgg => cgd)
(-cgd => cgg)
(-dhg => -dhc)
(dhc => dhg)
(bde => -bdi)
(bdi => -bde)
(-eaj => eai)
(-eai => eaj)
(eii => eid)
(-eid => -eii)
(-f => e)
(-e => f)
(-dga => -dff)
(dff => dga)
(-cii => cib)
(-cib => cii)
(cia => -chh)
(chh => -cia)
(dji => -eaa)
(eaa => -dji)
(cib => cif)
(-cif => -cib)
(-dgc => -dgb)
(dgb => dgc)
(cfi => -cfh)
(cfh => -cfi)
(bcj => -bcc)
(bcc => -bcj)
(ebi => -ebf)
(ebf => -ebi)
(-cjb => daa)
(-daa => cjb)
(eic => eid)
(-eid => -eic)
(-bef => -bee)
(bee => bef)
(-eej => eed)
(-eed => eej)
(-cfg => cfj)
(-cfj => cfg)
(-eai => -eac)
(eac => eai)
(-djf => -djg)
(djg => djf)
(-j => ba)
(-ba => j)
(big => -bie)
(bie => -big)
(-cde => -cdj)
(cdj => cde)
(dbf => -dbd)
(dbd => -dbf)
(-ee => -ei)
(ei => ee)
(bga => -bff)
(bff => -bga)
(eja => eih)
(-eih => -eja)
(ebe => -ebg)
(ebg => -ebe)
(-bhg => bia)
(-bia => bhg)
(ha => ge)
(-ge => -ha)
(-bj => bc)
(-bc => bj)
(-bhd => -bhi)
(bhi => bhd)
(-egj => -egh)
(egh => egj)
(-bdj => -bdg)
(bdg => bdj)
(bei => beg)
(-beg => -bei)
(dia => -dhh)
(dhh => -dia)
(dif => dii)
(-dii => -dif)
(-eic => -eie)
(eie => eic)
(-egi => ege)
(-ege => egi)
(bgi => bgg)
(-bgg => -bgi)
(cjc => cjj)
(-cjj => -cjc)
(dj => db)
(-db => -dj)
(chj => -chb)
(chb => -chj)
(bde => -bdf)
(bdf => -bde)
(ehf => -ehc)
(ehc => -ehf)
(-j => e)
(-e => j)
(dfg => -dfb)
(dfb => -dfg)
(-dad => dae)
(-dae => dad)
(ecc => ecb)
(-ecb => -ecc)
(-bjb => caa)
(-caa => bjb)
(ji => jg)
(-jg => -ji)
(bai => -bag)
(bag => -bai)
(bga => -bfi)
(bfi => -bga)
(-ebj => -ebi)
(ebi => ebj)
(-bfe => -bfd)
(bfd => bfe)
(-cgj => -cgb)
(cgb => cgj)
(-hg => hj)
(-hj => hg)
(ebg => -eca)
(eca => -ebg)
(-dji => djf)
(-djf => dji)
(-eia => ehf)
(-ehf => eia)
(dh => -db)
(db => -dh)
(jh => jc)
(-jc => -jh)
(-ega => efb)
(-efb => ega)
(-ejj => -ejd)
(ejd => ejj)
(-chc => chb)
(-chb => chc)
(bcd => -bcf)
(bcf => -bcd)
(ehd => ehh)
(-ehh => -ehd)
(-bba => bab)
(-bab => bba)
(bed => -beg)
(beg => -bed)
(bhi => bhg)
(-bhg => -bhi)
(bge => -bgf)
(bgf => -bge)
(bci => bcb)
(-bcb => -bci)
(-bic => bih)
(-bih => bic)
(-cag => -cad)
(cad => cag)
(-cge => cgj)
(-cgj => cge)
(-bgd => -bha)
(bha => bgd)
(-cij => -cih)
(cih => cij)
(-cah => cad)
(-cad => cah)
(ceh => cee)
(-cee => -ceh)
(-bid => bib)
(-bib => bid)
(dah => dae)
(-dae => -dah)
(-ccj => cch)
(-cch => ccj)
(-ddd => ddc)
(-ddc => ddd)
(-cab => caf)
(-caf => cab)
(-eba => -eae)
(eae => eba)
(dia => dhg)
(-dhg => -dia)
(cdj => -cde)
(cde => -cdj)
(dcd => dci)
(-dci => -dcd)
(-bji => -bjf)
(bjf => bji)
(-dhe => dhj)
(-dhj => dhe)
(-ccc => -cda)
(cda => ccc)
(-eai => eag)
(-eag => eai)
(faa => -ejg)
(ejg => -faa)
(bib => -bii)
(bii => -bib)
(dec => deb)
(-deb => -dec)
(-beb => -bef)
(bef => beb)
(-da => ch)
(-ch => da)
(-cfi => cfd)
(-cfd => cfi)
(cdb => cde)
(-cde => -cdb)
(dac => -dah)
(dah => -dac)
(bcd => bcf)
(-bcf => -bcd)
(bib => -bja)
(bja => -bib)
(-ee => fa)
(-fa => ee)
(-bdh => bea)
(-bea => bdh)
(-bih => -big)
(big => bih)
(-cah => cai)
(-cai => cah)
(cei => -cej)
(cej => -cei)
(cjc => -cjg)
(cjg => -cjc)
(-dgb => dgc)
(-dgc => dgb)
(dde => ddi)
(-ddi => -dde)
(bh => be)
(-be => -bh)
(-ehf => -ehe)
(ehe => ehf)
(fi => -fe)
(fe => -fi)
(-ccf => -ccd)
(ccd => ccf)
(cja => -cib)
(cib => -cja)
(-dgj => dha)
(-dha => dgj)
(eef => -eed)
(eed => -eef)
(ji => jg)
(-jg => -ji)
(-gb => gh)
(-gh => gb)
(jh => jb)
(-jb => -jh)
(ch => -ce)
(ce => -ch)
(efi => efj)
(-efj => -efi)
(gf => gh)
(-gh => -gf)
(bjg => -bjh)
(bjh => -bjg)
(-dga => -dfh)
(dfh => dga)
(-cfa => -ceg)
(ceg => cfa)
(baj => bad)
(-bad => -baj)
(cd => -ce)
(ce => -cd)
(dbf => -dbe)
(dbe => -dbf)
(bag => bba)
(-bba => -bag)
(cda => -ccd)
(ccd => -cda)
(-dch => dcb)
(-dcb => dch)
(ci => -cb)
(cb => -ci)
(bhd => -bhb)
(bhb => -bhd)
(cef => cec)
(-cec => -cef)
(-dj => dg)
(-dg => dj)
(ecb => -ece)
(ece => -ecb)
(-ja => ih)
(-ih => ja)
(-bge => bgf)
(-bgf => bge)
(bad => bab)
(-bab => -bad)
(ddg => -dde)
(dde => -ddg)
(-bbd => -bbc)
(bbc => bbd)
(ega => efb)
(-efb => -ega)
(-efc => efb)
(-efb => efc)
(-bbh => bca)
(-bca => bbh)
(-dd => -dj)
(dj => dd)
(-bff => -bfj)
(bfj => bff)
(-hj => -hd)
(hd => hj)
(ha => -gh)
(gh => -ha)
(bjg => -bjj)
(bjj => -bjg)
(-bjc => -bjf)
(bjf => bjc)
(-cah => cab)
(-cab => cah)
(-bg => -bd)
(bd => bg)
(-bdi => bdc)
(-bdc => bdi)
(-bgd => -bgg)
(bgg => bgd)
(-cfb => cfj)
(-cfj => cfb)
(-daf => -dba)
(dba => daf)
(ig => -ii)
(ii => -ig)
(ge => -gc)
(gc => -ge)
(dhf => -dhc)
(dhc => -dhf)
(beg => bfa)
(-bfa => -beg)
(bei => -beb)
(beb => -bei)
(hj => -ia)
(ia => -hj)
(-cfa => ceg)
(-ceg => cfa)
(dgd => -dgb)
(dgb => -dgd)
(-bgi => bgd)
(-bgd => bgi)
(ie => id)
(-id => -ie)
(-bgc => bgd)
(-bgd => bgc)
(-ecg => -ecd)
(ecd => ecg)
(-dci => dcd)
(-dcd => dci)
(bac => bae)
(-bae => -bac)
(bhd => bhg)
(-bhg => -bhd)
(ebd => ebh)
(-ebh => -ebd)
(ehg => ehi)
(-ehi => -ehg)
(cdf => -cdd)
(cdd => -cdf)
(dbi => dbj)
(-dbj => -dbi)
(-cfe => -cfg)
(cfg => cfe)
(-bf => -bc)
(bc => bf)
(eba => eae)
(-eae => -eba)
(eci => -ecd)
(ecd => -eci)
(ga => -fe)
(fe => -ga)
(dgb => -dgg)
(dgg => -dgb)
(cdc => cdi)
(-cdi => -cdc)
(bad => -bag)
(bag => -bad)
(-bfj => bfc)
(-bfc => bfj)
(-ddj => ddd)
(-ddd => ddj)
(efd => ega)
(-ega => -efd)
(-ecb => -ech)
(ech => ecb)
(-cia => chd)
(-chd => cia)
(hh => hc)
(-hc => -hh)
(-dd => -dj)
(dj => dd)
(-bi => -bc)
(bc => bi)
(bfj => -bfb)
(bfb => -bfj)
(-cjj => cjb)
(-cjb => cjj)
(-bbg => -bbe)
(bbe => bbg)
(bd => be)
(-be => -bd)
(bhh => bia)
(-bia => -bhh)
(-dhh => -dhd)
(dhd => dhh)
(-eae => -eab)
(eab => eae)
(bah => baj)
(-baj => -bah)
(ca => bj)
(-bj => -ca)
(ci => -cb)
(cb => -ci)
(-eei => eed)
(-eed => eei)
(-gj => -gf)
(gf => gj)
(ii => ij)
(-ij => -ii)
(cjg => daa)
(-daa => -cjg)
(-eec => eeg)
(-eeg => eec)
(-beh => beg)
(-beg => beh)
(-bah => bag)
(-bag => bah)
(dbb => -dbg)
(dbg => -dbb)
(dah => dag)
(-dag => -dah)
(bea => bdj)
(-bdj => -bea)
(-bfa => bej)
(-bej => bfa)
(cgi => -cgc)
(cgc => -cgi)
(-ech => ecg)
(-ecg => ech)
(cj => ch)
(-ch => -cj)
(dja => -did)
(did => -dja)
(-dhf => dia)
(-dia => dhf)
(-dda => dce)
(-dce => dda)
(gj => -ha)
(ha => -gj)
(-daf => dae)
(-dae => daf)
(deg => dei)
(-dei => -deg)
(cia => -chd)
(chd => -cia)
(fb => fh)
(-fh => -fb)
(-bdb => -bdj)
(bdj => bdb)
(baf => -bae)
(bae => -baf)
(chd => chi)
(-chi => -chd)
(-bfi => -bga)
(bga => bfi)
(cbe => -cbh)
(cbh => -cbe)
(-bbh => -bbf)
(bbf => bbh)
(-cha => cgh)
(-cgh => cha)
(bgf => bgi)
(-bgi => -bgf)
(bbb => -bbe)
(bbe => -bbb)
(eja => eif)
(-eif => -eja)
(-bbf => bbd)
(-bbd => bbf)
(-ceb => -cfa)
(cfa => ceb)
(ebg => ebj)
(-ebj => -ebg)
(-he => -hb)
(hb => he)
(-ech => -ecg)
(ecg => ech)
(cfa => -ced)
(ced => -cfa)
(efh => -ega)
(ega => -efh)
(-bae => -bac)
(bac => bae)
(bhf => bhg)
(-bhg => -bhf)
(-dhf => -dhe)
(dhe => dhf)
(-hj => hg)
(-hg => hj)
(-bia => bhc)
(-bhc => bia)
(cfh => cfc)
(-cfc => -cfh)
(dhj => dhi)
(-dhi => -dhj)
(dac => -dad)
(dad => -dac)
(deg => -deb)
(deb => -deg)
(efd => efe)
(-efe => -efd)
(-djc => -djj)
(djj => djc)
(-bga => -bfh)
(bfh => bga)
(-ebf => -ebc)
(ebc => ebf)
(bec => -bfa)
(bfa => -bec)
(ccf => ccj)
(-ccj => -ccf)
(bhi => -bhc)
(bhc => -bhi)
(gh => -ha)
(ha => -gh)
(-ddb => dea)
(-dea => ddb)
(-cjd => -cjj)
(cjj => cjd)
(bfb => bff)
(-bff => -bfb)
(daf => -daj)
(daj => -daf)
(bfh => -bfd)
(bfd => -bfh)
(-cag => cab)
(-cab => cag)
(-c => -b)
(b => c)
(bad => -bah)
(bah => -bad)
(-ecf => -eci)
(eci => ecf)
(cef => -cej)
(cej => -cef)
(dad => dag)
(-dag => -dad)
(dab => dac)
(-dac => -dab)
(bdg => bdi)
(-bdi => -bdg)
(ia => hb)
(-hb => -ia)
(-ccd => cce)
(-cce => ccd)
(bff => bfe)
(-bfe => -bff)
(bcc => bce)
(-bce => -bcc)
(edh => eea)
(-eea => -edh)
(-eij => eif)
(-eif => eij)
(-bbf => -bbc)
(bbc => bbf)
(-cji => -cje)
(cje => cji)
(-cah => caj)
(-caj => cah)
(bb => bc)
(-bc => -bb)
(def => -deg)
(deg => -def)
(cca => -cbh)
(cbh => -cca)
(-cid => -cja)
(cja => cid)
(-ega => -efh)
(efh => ega)
(-eae => -eaf)
(eaf => eae)
(dh => -dg)
(dg => -dh)
(dfg => -dfj)
(dfj => -dfg)
(ejj => -faa)
(faa => -ejj)
(ccb => cci)
(-cci => -ccb)
(-bfa => -bee)
(bee => bfa)
(-cec => ceh)
(-ceh => cec)
(-cei => cej)
(-cej => cei)
(djg => -dji)
(dji => -djg)
(bcb => -bce)
(bce => -bcb)
(-dfb => -dfe)
(dfe => dfb)
(-he => -hf)
(hf => he)
(-dhg => -dhj)
(dhj => dhg)
(-bai => -bah)
(bah => bai)
(bfa => bed)
(-bed => -bfa)
(bjh => -bjj)
(bjj => -bjh)
(ib => -ii)
(ii => -ib)
(dab => -dac)
(dac => -dab)
(-cbd => -cbg)
(cbg => cbd)
(-deh => -dfa)
(dfa => deh)
(-gh => gj)
(-gj => gh)
(-cgh => cge)
(-cge => cgh)
(-bcf => bcj)
(-bcj => bcf)
(-ib => -ja)
(ja => ib)
(-dec => dfa)
(-dfa => dec)
(cde => cdg)
(-cdg => -cde)
(eac => -eaf)
(eaf => -eac)
(cdg => cea)
(-cea => -cdg)
(dh => -de)
(de => -dh)
(-cb => -cj)
(cj => cb)
(-bge => bgg)
(-bgg => bge)
(ehe => -ehg)
(ehg => -ehe)
(-bij => -bib)
(bib => bij)
(bac => baf)
(-baf => -bac)
(bic => -bif)
(bif => -bic)
(-ebb => -ebe)
(ebe => ebb)
(baj => -bah)
(bah => -baj)
(dfi => -dfh)
(dfh => -dfi)
(bee => -beh)
(beh => -bee)
(cde => cdg)
(-cdg => -cde)
(bj => -bg)
(bg => -bj)
(cbc => cca)
(-cca => -cbc)
(-dei => dec)
(-dec => dei)
(dh => -dg)
(dg => -dh)
(-dif => dih)
(-dih => dif)
(dfa => -deh)
(deh => -dfa)
(bhi => bhh)
(-bhh => -bhi)
(hd => -hc)
(hc => -hd)
(deg => -dej)
(dej => -deg)
(-cjh => -cjj)
(cjj => cjh)
(deg => -deh)
(deh => -deg)
(chh => -chc)
(chc => -chh)
(-ead => -eab)
(eab => ead)
(ddi => -ddj)
(ddj => -ddi)
(-id => ja)
(-ja => id)
(dc => -ea)
(ea => -dc)
(-ic => ii)
(-ii => ic)
(-fa => -eg)
(eg => fa)
(-ced => cfa)
(-cfa => ced)
(bci => bcj)
(-bcj => -bci)
(jf => -jd)
(jd => -jf)
(big => -bii)
(bii => -big)
(dbj => -dbf)
(dbf => -dbj)
(-deb => dec)
(-dec => deb)
(-dfa => deh)
(-deh => dfa)
(-cgf => cge)
(-cge => cgf)
(-eia => ehj)
(-ehj => eia)
(bdd => bea)
(-bea => -bdd)
(bhh => -bhi)
(bhi => -bhh)
(dfc => -dfe)
(dfe => -dfc)
(cbh => cbb)
(-cbb => -cbh)
(df => dd)
(-dd => -df)
(-bbh => -bbb)
(bbb => bbh)
(cje => cjh)
(-cjh => -cje)
(cbb => cbh)
(-cbh => -cbb)
(dgd => -dgj)
(dgj => -dgd)
(-bef => bej)
(-bej => bef)
(-bgh => bgc)
(-bgc => bgh)
(-c => -d)
(d => c)
(-egg => egd)
(-egd => egg)
(bcb => bce)
(-bce => -bcb)
(-bha => bgf)
(-bgf => bha)
(-daj => -dab)
(dab => daj)
(eag => eaf)
(-eaf => -eag)
(ea => dc)
(-dc => -ea)
(bea => -bdf)
(bdf => -bea)
(cij => cie)
(-cie => -cij)
(-ddc => dea)
(-dea => ddc)
(-gj => -ge)
(ge => gj)
(bde => bdj)
(-bdj => -bde)
(-dfd => -dfc)
(dfc => dfd)
(dfh => dfe)
(-dfe => -dfh)
(ci => da)
(-da => -ci)
(ebb => -ebh)
(ebh => -ebb)
(-dji => dje)
(-dje => dji)
(eci => -ecd)
(ecd => -eci)
(-deg => -def)
(def => deg)
(-bfa => beh)
(-beh => bfa)
(bdg => bdd)
(-bdd => -bdg)
(-edd => edc)
(-edc => edd)
(-dce => dcg)
(-dcg => dce)
(-deh => dec)
(-dec => deh)
(ebj => -ebe)
(ebe => -ebj)
(f => -b)
(b => -f)
(bjb => -bji)
(bji => -bjb)
(baa => jj)
(-jj => -baa)
(-cih => cib)
(-cib => cih)
(cij => cie)
(-cie => -cij)
(-cdg => -cea)
(cea => cdg)
(-dca => dbe)
(-dbe => dca)
(cai => cab)
(-cab => -cai)
(bbg => bbh)
(-bbh => -bbg)
(-caa => bji)
(-bji => caa)
(ef => -ei)
(ei => -ef)
(bj => -be)
(be => -bj)
(-ebd => -ebi)
(ebi => ebd)
(-eej => efa)
(-efa => eej)
(bah => bae)
(-bae => -bah)
(de => di)
(-di => -de)
(did => die)
(-die => -did)
(-cab => caf)
(-caf => cab)
(eff => -efi)
(efi => -eff)
(-gf => gj)
(-gj => gf)
(bdf => -bdd)
(bdd => -bdf)
(ehi => eia)
(-eia => -ehi)
(-eie => -eib)
(eib => eie)
(ejf => eji)
(-eji => -ejf)
(cha => cgf)
(-cgf => -cha)
(ei => ee)
(-ee => -ei)
(cdi => cdg)
(-cdg => -cdi)
(-b => c)
(-c => b)
(bgg => -bgb)
(bgb => -bgg)
(ehe => ehb)
(-ehb => -ehe)
(bcf => -bcc)
(bcc => -bcf)
(ded => -deb)
(deb => -ded)
(dha => -dgf)
(dgf => -dha)
(ecj => ece)
(-ece => -ecj)
(-ebi => -ebe)
(ebe => ebi)
(ehe => -ehb)
(ehb => -ehe)
(-bbf => bca)
(-bca => bbf)
(-bhj => -bhc)
(bhc => bhj)
(-bbe => -bbd)
(bbd => bbe)
(bif => -bib)
(bib => -bif)
(-ceg => cej)
(-cej => ceg)
(hg => hc)
(-hc => -hg)
(-bji => caa)
(-caa => bji)
(-bcc => bcf)
(-bcf => bcc)
(-bb => bf)
(-bf => bb)
(-ee => eb)
(-eb => ee)
(-bhf => bia)
(-bia => bhf)
(be => bg)
(-bg => -be)
(cef => cfa)
(-cfa => -cef)
(dfc => -dfg)
(dfg => -dfc)
(-ec => fa)
(-fa => ec)
(-cbd => -cbe)
(cbe => cbd)
(dbf => dbe)
(-dbe => -dbf)
(ege => egj)
(-egj => -ege)
(-ebf => ebd)
(-ebd => ebf)
(-baa => jg)
(-jg => baa)
(-df => -di)
(di => df)
(-ejj => eje)
(-eje => ejj)
(-hi => hj)
(-hj => hi)
(-bdc => -bdi)
(bdi => bdc)
(-ehh => -ehg)
(ehg => ehh)
(-ecc => -eda)
(eda => ecc)
(-ddj => dea)
(-dea => ddj)
(bdj => bdf)
(-bdf => -bdj)
(-cib => cih)
(-cih => cib)
(-dda => -dce)
(dce => dda)
(ca => bg)
(-bg => -ca)
(bed => -bei)
(bei => -bed)
(ded => def)
(-def => -ded)
(-eaj => ead)
(-ead => eaj)
(efh => efi)
(-efi => -efh)
(ehc => -ehg)
(ehg => -ehc)
(hj => -ia)
(ia => -hj)
(bia => -bhd)
(bhd => -bia)
(ceg => -ceh)
(ceh => -ceg)
(-eei => -eeg)
(eeg => eei)
(cjc => cji)
(-cji => -cjc)
(bai => bab)
(-bab => -bai)
(caj => cba)
(-cba => -caj)
(-cdd => cdf)
(-cdf => cdd)
(-ccj => -cda)
(cda => ccj)
(-dcf => dcc)
(-dcc => dcf)
(dca => dbi)
(-dbi => -dca)
(bii => -bij)
(bij => -bii)
(ie => -ii)
(ii => -ie)
(dfa => -deg)
(deg => -dfa)
(bhh => bhg)
(-bhg => -bhh)
(cjf => daa)
(-daa => -cjf)
(-bba => bag)
(-bag => bba)
(eig => -eif)
(eif => -eig)
(bhg => bhj)
(-bhj => -bhg)
(bfh => bfi)
(-bfi => -bfh)
(-bab => -bba)
(bba => bab)
(-bhi => bhf)
(-bhf => bhi)
(-ebi => -ebg)
(ebg => ebi)
(bic => bij)
(-bij => -bic)
(-dcg => -dda)
(dda => dcg)
(edg => edh)
(-edh => -edg)
(dc => df)
(-df => -dc)
(caf => -cai)
(cai => -caf)
(ci => -cb)
(cb => -ci)
(-bef => -bee)
(bee => bef)
(djf => eaa)
(-eaa => -djf)
(-efa => -eec)
(eec => efa)
(de => -dc)
(dc => -de)
(-cd => -cf)
(cf => cd)
(-dig => dic)
(-dic => dig)
(dgf => dgi)
(-dgi => -dgf)
(-bji => -bjj)
(bjj => bji)
(ddi => dea)
(-dea => -ddi)
(-eaa => djf)
(-djf => eaa)
(-caf => -cac)
(cac => caf)
(dci => -dcb)
(dcb => -dci)
(dif => -die)
(die => -dif)
(-beh => bec)
(-bec => beh)
(bjg => bjj)
(-bjj => -bjg)
(-dgd => -dgg)
(dgg => dgd)
(djg => djd)
(-djd => -djg)
(-dib => dii)
(-dii => dib)
(-bag => -bba)
(bba => bag)
(-dcb => dcj)
(-dcj => dcb)
(-cci => -ccf)
(ccf => cci)
(baj => bag)
(-bag => -baj)
(eec => efa)
(-efa => -eec)
(-ccf => cda)
(-cda => ccf)
(-ba => -g)
(g => ba)
(cdf => cdi)
(-cdi => -cdf)
(bdd => -bea)
(bea => -bdd)
(dch => dcg)
(-dcg => -dch)
(bfd => bfb)
(-bfb => -bfd)
(cif => -cib)
(cib => -cif)
(-cij => -cie)
(cie => cij)
(cje => -cjf)
(cjf => -cje)
(-gj => gg)
(-gg => gj)
(-ce => cc)
(-cc => ce)
(cbf => cbg)
(-cbg => -cbf)
(-ccd => -cch)
(cch => ccd)
(-dd => -ea)
(ea => dd)
(ij => ic)
(-ic => -ij)
(-cbi => cbe)
(-cbe => cbi)
(eie => -eij)
(eij => -eie)
(eae => -eag)
(eag => -eae)
(bdh => -bde)
(bde => -bdh)
(-cag => -cae)
(cae => cag)
(bdd => bdb)
(-bdb => -bdd)
(-ge => -ha)
(ha => ge)
(-bbg => bbb)
(-bbb => bbg)
(-eih => eif)
(-eif => eih)
(eaf => eah)
(-eah => -eaf)
(bhh => bhf)
(-bhf => -bhh)
(-eje => -ejg)
(ejg => eje)
(cfa => -ced)
(ced => -cfa)
(-cfi => -cfg)
(cfg => cfi)
(-cie => -cid)
(cid => cie)
(bhe => bhj)
(-bhj => -bhe)
(-ebd => ebi)
(-ebi => ebd)
(-efj => -efg)
(efg => efj)
(h => d)
(-d => -h)
(-eei => -eec)
(eec => eei)
(-bgj => bge)
(-bge => bgj)
(eda => ecc)
(-ecc => -eda)
(eig => -eii)
(eii => -eig)
(efb => -efg)
(efg => -efb)
(bcf => -bcg)
(bcg => -bcf)
(dej => dec)
(-dec => -dej)
(-bhj => -bhd)
(bhd => bhj)
(-beb => bec)
(-bec => beb)
(ea => -dg)
(dg => -ea)
(ccc => ccj)
(-ccj => -ccc)
(-edf => edd)
(-edd => edf)
(-hd => -hb)
(hb => hd)
(bja => -bie)
(bie => -bja)
(-bba => baj)
(-baj => bba)
(-bfd => -bga)
(bga => bfd)
(chc => -chg)
(chg => -chc)
(ehd => -ehh)
(ehh => -ehd)
(-ii => -ja)
(ja => ii)
(eda => -ecf)
(ecf => -eda)
(-cie => cif)
(-cif => cie)
(ede => edg)
(-edg => -ede)
(db => -df)
(df => -db)
(-ega => efb)
(-efb => ega)
(ch => cb)
(-cb => -ch)
(bfe => -bfd)
(bfd => -bfe)
(-dgd => -dgf)
(dgf => dgd)
(-djf => -dji)
(dji => djf)
(ebi => -ebf)
(ebf => -ebi)
(-djb => -djg)
(djg => djb)
(cgi => cgb)
(-cgb => -cgi)
(-bg => -bi)
(bi => bg)
(-ehb => ehf)
(-ehf => ehb)
(dhf => -dhj)
(dhj => -dhf)
(-cii => cie)
(-cie => cii)
(ejc => eje)
(-eje => -ejc)
(bbi => bbh)
(-bbh => -bbi)
(hb => -hi)
(hi => -hb)
(cdf => -cdi)
(cdi => -cdf)
(ij => ii)
(-ii => -ij)
(ecc => ecf)
(-ecf => -ecc)
(bde => bdj)
(-bdj => -bde)
(bhi => -bhg)
(bhg => -bhi)
(-bjc => caa)
(-caa => bjc)
(djc => -djg)
(djg => -djc)
(-dde => dea)
(-dea => dde)
(-cee => -cef)
(cef => cee)
(-bff => -bfg)
(bfg => bff)
(dji => djc)
(-djc => -dji)
(cbh => -cca)
(cca => -cbh)
(did => -dic)
(dic => -did)
(bbg => bbf)
(-bbf => -bbg)
(dcd => dcc)
(-dcc => -dcd)
(eej => eef)
(-eef => -eej)
(dai => dae)
(-dae => -dai)
(ecc => ecg)
(-ecg => -ecc)
(cdh => -cdf)
(cdf => -cdh)
(-bfb => bfi)
(-bfi => bfb)
(gi => -gc)
(gc => -gi)
(-eih => -eja)
(eja => eih)
(ecj => -ecb)
(ecb => -ecj)
(bjh => -bjj)
(bjj => -bjh)
(-hj => hc)
(-hc => hj)
(-dij => dib)
(-dib => dij)
(-egb => egi)
(-egi => egb)
(-bbd => bbg)
(-bbg => bbd)
(-cbf => cbe)
(-cbe => cbf)
(-jd => jg)
(-jg => jd)
(-dfi => -dfh)
(dfh => dfi)
(-gg => -gb)
(gb => gg)
(-dch => dcd)
(-dcd => dch)
(ddd => -ddb)
(ddb => -ddd)
(j => c)
(-c => -j)
(-jf => jh)
(-jh => jf)
(-eai => -eah)
(eah => eai)
(bdf => -bdd)
(bdd => -bdf)
(ccg => cda)
(-cda => -ccg)
(-eda => -eci)
(eci => eda)
(-ddg => dea)
(-dea => ddg)
(-bhb => bhg)
(-bhg => bhb)
(di => df)
(-df => -di)
(fc => -fg)
(fg => -fc)
(-caa => -bjh)
(bjh => caa)
(-eid => -eij)
(eij => eid)
(ff => fj)
(-fj => -ff)
(-dgi => dgg)
(-dgg => dgi)
(-ccc => ccg)
(-ccg => ccc)
(deh => -deg)
(deg => -deh)
(-efa => -eeb)
(eeb => efa)
(cjf => cjj)
(-cjj => -cjf)
(bai => bac)
(-bac => -bai)
(dfd => dfj)
(-dfj => -dfd)
(-cih => cie)
(-cie => cih)
(bic => -bja)
(bja => -bic)
(-hj => hd)
(-hd => hj)
(cda => -cce)
(cce => -cda)
(bg => bc)
(-bc => -bg)
(-ece => -ecc)
(ecc => ece)
(dfi => -dff)
(dff => -dfi)
(ccg => -ccf)
(ccf => -ccg)
(-hf => hd)
(-hd => hf)
(cdf => cdb)
(-cdb => -cdf)
(efj => -efe)
(efe => -efj)
(dcj => -dcd)
(dcd => -dcj)
(-caa => bjf)
(-bjf => caa)
(-ejh => -ejc)
(ejc => ejh)
(-ehh => ehf)
(-ehf => ehh)
(-bch => bcf)
(-bcf => bch)
(-dch => -dda)
(dda => dch)
(-bee => -bei)
(bei => bee)
(-ddd => ddb)
(-ddb => ddd)
(-dif => did)
(-did => dif)
(-cgj => cgf)
(-cgf => cgj)
(ejf => eji)
(-eji => -ejf)
(cfc => cfh)
(-cfh => -cfc)
(baf => bab)
(-bab => -baf)
(bbj => bbd)
(-bbd => -bbj)
(-chi => chf)
(-chf => chi)
(ecc => -ecg)
(ecg => -ecc)
(-cg => -da)
(da => cg)
(-dig => dic)
(-dic => dig)
(-cjj => -cji)
(cji => cjj)
(-cca => cbg)
(-cbg => cca)
(-bbc => -bbj)
(bbj => bbc)
(ebc => ebd)
(-ebd => -ebc)
(eeh => eec)
(-eec => -eeh)
(-dcg => dcf)
(-dcf => dcg)
(egg => -egc)
(egc => -egg)
(fh => fj)
(-fj => -fh)
(-beh => -beb)
(beb => beh)
(dab => -daf)
(daf => -dab)
(ecf => ecd)
(-ecd => -ecf)
(-bbj => -bbg)
(bbg => bbj)
(egb => -ege)
(ege => -egb)
(gj => -gi)
(gi => -gj)
(-bea => -bdd)
(bdd => bea)
(-jf => ji)
(-ji => jf)
(-eg => fa)
(-fa => eg)
(-cbe => -cca)
(cca => cbe)
(ccb => ccj)
(-ccj => -ccb)
(cbe => cbi)
(-cbi => -cbe)
(dig => -did)
(did => -dig)
(ebf => -ebe)
(ebe => -ebf)
(-cch => -ccj)
(ccj => cch)
(-egb => egf)
(-egf => egb)
(-cjd => -cjb)
(cjb => cjd)
(-cfi => -cga)
(cga => cfi)
(-daa => -cjg)
(cjg => daa)
(-bbd => bbf)
(-bbf => bbd)
(-cij => -cii)
(cii => cij)
(cja => -cic)
(cic => -cja)
(ebe => ebb)
(-ebb => -ebe)
(-chd => chh)
(-chh => chd)
(-ejf => -ejc)
(ejc => ejf)
(ecc => eci)
(-eci => -ecc)
(deg => dee)
(-dee => -deg)
(ddb => ddj)
(-ddj => -ddb)
(dbb => -dbe)
(dbe => -dbb)
(baa => -jg)
(jg => -baa)
(-bah => -bac)
(bac => bah)
(-cig => -cij)
(cij => cig)
(dca => -dbe)
(dbe => -dca)
(eij => eic)
(-eic => -eij)
(cib => cid)
(-cid => -cib)
(dab => -dac)
(dac => -dab)
(-je => -ji)
(ji => je)
(-ch => cj)
(-cj => ch)
(-j => -i)
(i => j)
(-cca => -cbb)
(cbb => cca)
(-ead => -eag)
(eag => ead)
(bdd => -bdi)
(bdi => -bdd)
(edb => edc)
(-edc => -edb)
(-bfi => bfg)
(-bfg => bfi)
(dcc => -dci)
(dci => -dcc)
(-chb => -chf)
(chf => chb)
(-dic => -dif)
(dif => dic)
(-ih => -ib)
(ib => ih)
(ecg => -ecc)
(ecc => -ecg)
(i => -f)
(f => -i)
(-egd => -egi)
(egi => egd)
(-dhb => dhc)
(-dhc => dhb)
(-ejh => -eje)
(eje => ejh)
(hf => he)
(-he => -hf)
(-ga => fc)
(-fc => ga)
(-eed => -eef)
(eef => eed)
(bef => -beg)
(beg => -bef)
(-cj => -ci)
(ci => cj)
(bda => -bci)
(bci => -bda)
(-dd => -df)
(df => dd)
(-bdd => bdh)
(-bdh => bdd)
(daj => -dae)
(dae => -daj)
(ff => fj)
(-fj => -ff)
(-ebf => -ebh)
(ebh => ebf)
(jc => jb)
(-jb => -jc)
(-edd => -edj)
(edj => edd)
(-ff => ga)
(-ga => ff)
(-cib => cii)
(-cii => cib)
(cbd => -cbc)
(cbc => -cbd)
(-ba => c)
(-c => ba)
(-bbf => -bbh)
(bbh => bbf)
(-jf => jh)
(-jh => jf)
(bib => -bii)
(bii => -bib)
(-eed => eee)
(-eee => eed)
(bhc => -bhb)
(bhb => -bhc)
(-cjj => -cjf)
(cjf => cjj)
(dbe => -dca)
(dca => -dbe)
(cba => cab)
(-cab => -cba)
(-efb => -efc)
(efc => efb)
(chb => chg)
(-chg => -chb)
(-eha => egc)
(-egc => eha)
(-eja => eid)
(-eid => eja)
(cga => -cfj)
(cfj => -cga)
(daj => dae)
(-dae => -daj)
(-dih => dib)
(-dib => dih)
(bbd => bbj)
(-bbj => -bbd)
(-hg => -hd)
(hd => hg)
(-bje => bjh)
(-bjh => bje)
(ede => eea)
(-eea => -ede)
(bfi => -bga)
(bga => -bfi)
(ebe => -eca)
(eca => -ebe)
(-cag => -cad)
(cad => cag)
(-eaa => -djj)
(djj => eaa)
(if => ii)
(-ii => -if)
(-ej => -ef)
(ef => ej)
(jh => jb)
(-jb => -jh)
(-bic => bie)
(-bie => bic)
(-egd => eha)
(-eha => egd)
(die => -dib)
(dib => -die)
(-cji => -cjc)
(cjc => cji)
(-cfe => -cfd)
(cfd => cfe)
(cdh => cdd)
(-cdd => -cdh)
(bih => bib)
(-bib => -bih)
(-cdb => cdc)
(-cdc => cdb)
(-cdb => -cea)
(cea => cdb)
(-bbf => bbh)
(-bbh => bbf)
(-dbf => dbe)
(-dbe => dbf)
(-bf => -bg)
(bg => bf)
(cdh => -cdj)
(cdj => -cdh)
(-bdf => bea)
(-bea => bdf)
(-beb => bei)
(-bei => beb)
(-egb => egf)
(-egf => egb)
(-baj => -bae)
(bae => baj)
(dcc => -dci)
(dci => -dcc)
(gj => -ha)
(ha => -gj)
(-bjd => -bji)
(bji => bjd)
(-bdh => bdj)
(-bdj => bdh)
(bic => big)
(-big => -bic)
(cee => -ced)
(ced => -cee)
(-gb => -gh)
(gh => gb)
(cdc => cdh)
(-cdh => -cdc)
(bhi => bhj)
(-bhj => -bhi)
(eic => -eib)
(eib => -eic)
(cee => cei)
(-cei => -cee)
(dba => -dad)
(dad => -dba)
(-di => -dd)
(dd => di)
(-dg => db)
(-db => dg)
(cdj => cdi)
(-cdi => -cdj)
(-dfa => dej)
(-dej => dfa)
(bd => -be)
(be => -bd)
(-dfd => -dfb)
(dfb => dfd)
(dai => -dab)
(dab => -dai)
(ccb => -ccg)
(ccg => -ccb)
(ja => ij)
(-ij => -ja)
(eih => eij)
(-eij => -eih)
(h => c)
(-c => -h)
(cag => cba)
(-cba => -cag)
(ege => egd)
(-egd => -ege)
(-ejb => -eje)
(eje => ejb)
(bji => bjd)
(-bjd => -bji)
(-dcd => dcf)
(-dcf => dcd)
(-eg => -ei)
(ei => eg)
(-edb => edi)
(-edi => edb)
(bcg => bcb)
(-bcb => -bcg)
(-bfi => -bfh)
(bfh => bfi)
(-bdf => -bea)
(bea => bdf)
(-bhb => bhe)
(-bhe => bhb)
(cbi => -cbb)
(cbb => -cbi)
(bfe => -bfd)
(bfd => -bfe)
(-cbg => cbi)
(-cbi => cbg)
(-dai => dag)
(-dag => dai)
(-jb => -jf)
(jf => jb)
(bbd => bbe)
(-bbe => -bbd)
(-cch => ccc)
(-ccc => cch)
(-ddc => -ddi)
(ddi => ddc)
(-bje => bjh)
(-bjh => bje)
(-dib => dig)
(-dig => dib)
(-hi => hd)
(-hd => hi)
(-bag => bba)
(-bba => bag)
(eij => eii)
(-eii => -eij)
(ejj => -faa)
(faa => -ejj)
(-cdg => cdf)
(-cdf => cdg)
(bic => -bid)
(bid => -bic)
(bee => -beg)
(beg => -bee)
(-egf => egb)
(-egb => egf)
(-chh => -che)
(che => chh)
(-cjd => -cje)
(cje => cjd)
(cbf => -cbe)
(cbe => -cbf)
(-bdb => -bdj)
(bdj => bdb)
(-ga => ff)
(-ff => ga)
(ee => -ej)
(ej => -ee)
(-dbe => dbh)
(-dbh => dbe)
(cih => cja)
(-cja => -cih)
(-chb => chc)
(-chc => chb)
(-dac => -dai)
(dai => dac)
(-edi => -eea)
(eea => edi)
(caf => cac)
(-cac => -caf)
(-egf => egh)
(-egh => egf)
(cj => cc)
(-cc => -cj)
(cae => caf)
(-caf => -cae)
(bci => -bce)
(bce => -bci)
(-cii => -cib)
(cib => cii)
(-ejb => -eji)
(eji => ejb)
(efc => -efi)
(efi => -efc)
(edd => -edh)
(edh => -edd)
(-chc => che)
(-che => chc)
(if => ja)
(-ja => -if)
(-bfi => bfb)
(-bfb => bfi)
(dia => dhd)
(-dhd => -dia)
(-eag => -eaf)
(eaf => eag)
(ebf => -eca)
(eca => -ebf)
(-bif => bid)
(-bid => bif)
(-cba => cad)
(-cad => cba)
(-dib => dja)
(-dja => dib)
(ie => ig)
(-ig => -ie)
(-dbc => dbe)
(-dbe => dbc)
(-df => -dc)
(dc => df)
(deh => dec)
(-dec => -deh)
(-bdf => -bdb)
(bdb => bdf)
(-ed => eg)
(-eg => ed)
(bd => bh)
(-bh => -bd)
(-dga => dfb)
(-dfb => dga)
(-dea => ddd)
(-ddd => dea)
(e => -f)
(f => -e)
(fi => fe)
(-fe => -fi)
(cff => -cfb)
(cfb => -cff)
(-dee => -deb)
(deb => dee)
(-gb => gh)
(-gh => gb)
(fe => fg)
(-fg => -fe)
(ej => -fa)
(fa => -ej)
(bei => -bee)
(bee => -bei)
(eeh => -eei)
(eei => -eeh)
(-baf => -bae)
(bae => baf)
(bee => -bei)
(bei => -bee)
(-ehb => -ehj)
(ehj => ehb)
(-ec => ee)
(-ee => ec)
(-cai => -caf)
(caf => cai)
(cjh => cje)
(-cje => -cjh)
(caa => bjd)
(-bjd => -caa)
(dch => -dcb)
(dcb => -dch)
(-bid => bij)
(-bij => bid)
(-cfe => cfc)
(-cfc => cfe)
(-cjg => -cjc)
(cjc => cjg)
(-fj => -ff)
(ff => fj)
(bbb => bbd)
(-bbd => -bbb)
(cje => cjj)
(-cjj => -cje)
(-cch => -ccb)
(ccb => cch)
(-dbd => -dbc)
(dbc => dbd)
(-edb => -edi)
(edi => edb)
(-bfa => bed)
(-bed => bfa)
(-dac => dae)
(-dae => dac)
(-cdg => -cdh)
(cdh => cdg)
(-cjb => cjf)
(-cjf => cjb)
(-bdh => bdd)
(-bdd => bdh)
(-edj => -eea)
(eea => edj)
(efd => -efh)
(efh => -efd)
(bdj => bdc)
(-bdc => -bdj)
(cdf => -cdc)
(cdc => -cdf)
(-bae => -bai)
(bai => bae)
(-bch => -bcg)
(bcg => bch)
(-eja => eic)
(-eic => eja)
(-gb => -gf)
(gf => gb)
(bdd => -bde)
(bde => -bdd)
(-eij => -eih)
(eih => eij)
(-bgd => bgb)
(-bgb => bgd)
(-eb => -ef)
(ef => eb)
(ce => cj)
(-cj => -ce)
(-ceb => cej)
(-cej => ceb)
(chb => che)
(-che => -chb)
(eia => -ehc)
(ehc => -eia)
(cg => -ci)
(ci => -cg)
(-bei => -bee)
(bee => bei)
(cij => cih)
(-cih => -cij)
(-bfd => bff)
(-bff => bfd)
(-cih => -cij)
(cij => cih)
(ege => eha)
(-eha => -ege)
(ecd => -ecb)
(ecb => -ecd)
(bfa => -bei)
(bei => -bfa)
(bbd => bbf)
(-bbf => -bbd)
(-dif => dja)
(-dja => dif)
(cie => cii)
(-cii => -cie)
(bec => -bfa)
(bfa => -bec)
(cgj => -cge)
(cge => -cgj)
(bgb => -bgc)
(bgc => -bgb)
(-edi => -edc)
(edc => edi)
(ii => ja)
(-ja => -ii)
(-edf => edj)
(-edj => edf)
(-da => cc)
(-cc => da)
(-bfi => bfj)
(-bfj => bfi)
(dgc => -dha)
(dha => -dgc)
(-jh => je)
(-je => jh)
(-cdi => cde)
(-cde => cdi)
(cff => cfc)
(-cfc => -cff)
(-ebg => -ebe)
(ebe => ebg)
(eeh => eeg)
(-eeg => -eeh)
(eag => eba)
(-eba => -eag)
(-dgc => dgi)
(-dgi => dgc)
(-cfd => cfc)
(-cfc => cfd)
(-cbd => -cbe)
(cbe => cbd)
(eef => -eed)
(eed => -eef)
(eie => eii)
(-eii => -eie)
(-dea => -ddh)
(ddh => dea)
(-dc => -dd)
(dd => dc)
(eej => eec)
(-eec => -eej)
(-h => ba)
(-ba => h)
(-dbc => dbe)
(-dbe => dbc)
(cje => -cjh)
(cjh => -cje)
(-dji => -djj)
(djj => dji)
(-cii => -cih)
(cih => cii)
(bdb => bea)
(-bea => -bdb)
(bah => -baj)
(baj => -bah)
(-ba => -c)
(c => ba)
(cge => -cgb)
(cgb => -cge)
(-cdi => cdb)
(-cdb => cdi)
(-eaj => eab)
(-eab => eaj)
(dhg => dhi)
(-dhi => -dhg)
(-dag => dac)
(-dac => dag)
(-bid => bja)
(-bja => bid)
(fe => fc)
(-fc => -fe)
(bja => -bif)
(bif => -bja)
(cei => -cee)
(cee => -cei)
(ehg => ehc)
(-ehc => -ehg)
(did => -dig)
(dig => -did)
(f => -d)
(d => -f)
(-bi => bg)
(-bg => bi)
(-caa => bjb)
(-bjb => caa)
(-dib => dic)
(-dic => dib)
(-ebh => -ebg)
(ebg => ebh)
(-g => e)
(-e => g)
(bbj => -bbb)
(bbb => -bbj)
(bbg => bbc)
(-bbc => -bbg)
(-bff => -bfi)
(bfi => bff)
(-bji => -bjh)
(bjh => bji)
(bg => bc)
(-bc => -bg)
(cbf => -cbh)
(cbh => -cbf)
(dbb => dbd)
(-dbd => -dbb)
(chj => -chb)
(chb => -chj)
(bci => bcd)
(-bcd => -bci)
(-dch => dda)
(-dda => dch)
(c => ba)
(-ba => -c)
(-ia => hj)
(-hj => ia)
(-cfa => cej)
(-cej => cfa)
(-cbc => cbj)
(-cbj => cbc)
(-dif => -dic)
(dic => dif)
(faa => -eji)
(eji => -faa)
(-eef => -eeh)
(eeh => eef)
(bgh => -bgb)
(bgb => -bgh)
(-bbg => -bbj)
(bbj => bbg)
(-bgj => bgc)
(-bgc => bgj)
(dfa => -def)
(def => -dfa)
(eje => ejj)
(-ejj => -eje)
(-ehb => -ehe)
(ehe => ehb)
(ecg => -ech)
(ech => -ecg)
(cdi => -cdc)
(cdc => -cdi)
(-chi => -chf)
(chf => chi)
(-dac => daj)
(-daj => dac)
(-bgi => bgc)
(-bgc => bgi)
(bjd => -bjh)
(bjh => -bjd)
(ebh => ebj)
(-ebj => -ebh)
(-chi => -chb)
(chb => chi)
(-bij => bic)
(-bic => bij)
(cjh => cjb)
(-cjb => -cjh)
(-dea => dde)
(-dde => dea)
(-hh => -hd)
(hd => hh)
(eag => -eaf)
(eaf => -eag)
(-ed => eb)
(-eb => ed)
(bha => bgg)
(-bgg => -bha)
(-eae => -eag)
(eag => eae)
(cd => -cc)
(cc => -cd)
(-bgj => -bgb)
(bgb => bgj)
(deg => deb)
(-deb => -deg)
(-dhb => dhd)
(-dhd => dhb)
(bjd => -bjf)
(bjf => -bjd)
(-dgf => -dgd)
(dgd => dgf)
(gf => gh)
(-gh => -gf)
(-bbh => bbf)
(-bbf => bbh)
(-dif => dij)
(-dij => dif)
(-cgb => cgf)
(-cgf => cgb)
(-cec => -cej)
(cej => cec)
(ddh => -ddi)
(ddi => -ddh)
(baa => jf)
(-jf => -baa)
(-eii => -eih)
(eih => eii)
(fb => -fe)
(fe => -fb)
(-bbe => -bbb)
(bbb => bbe)
(dgj => -dgb)
(dgb => -dgj)
(-eg => ed)
(-ed => eg)
(dde => ddi)
(-ddi => -dde)
(eh => -ec)
(ec => -eh)
(cji => cjc)
(-cjc => -cji)
(-dih => -dig)
(dig => dih)
(cdb => cdg)
(-cdg => -cdb)
(-cch => ccd)
(-ccd => cch)
(-ji => jc)
(-jc => ji)
(-da => cc)
(-cc => da)
(-bah => bag)
(-bag => bah)
(efd => -efc)
(efc => -efd)
(-jd => -ji)
(ji => jd)
(dcf => dcg)
(-dcg => -dcf)
(-cca => cbj)
(-cbj => cca)
(-ddb => ddc)
(-ddc => ddb)
(djj => -djh)
(djh => -djj)
(-eje => -ejc)
(ejc => eje)
(-dag => dad)
(-dad => dag)
(d => h)
(-h => -d)
(dbd => -dbc)
(dbc => -dbd)
(-cbd => cbc)
(-cbc => cbd)
(-eee => efa)
(-efa => eee)
(-ej => -eh)
(eh => ej)
(gg => -gf)
(gf => -gg)
(ja => id)
(-id => -ja)
(eea => -edi)
(edi => -eea)
(-dce => dcg)
(-dcg => dce)
(-egb => egi)
(-egi => egb)
(cb => -cf)
(cf => -cb)
(-cbg => cbe)
(-cbe => cbg)
(-cfj => cfi)
(-cfi => cfj)
(-bge => bgd)
(-bgd => bge)
(bfg => bfc)
(-bfc => -bfg)
(dia => dhd)
(-dhd => -dia)
(bif => -bic)
(bic => -bif)
(-cfd => -cfi)
(cfi => cfd)
(-bga => -bfg)
(bfg => bga)
(-cd => -ci)
(ci => cd)
(-eh => -ei)
(ei => eh)
(-efc => -efh)
(efh => efc)
(edh => -edg)
(edg => -edh)
(dac => -dba)
(dba => -dac)
(-daj => -dad)
(dad => daj)
(-eba => -eai)
(eai => eba)
(-bih => -big)
(big => bih)
(-bgh => bgc)
(-bgc => bgh)
(dee => dec)
(-dec => -dee)
(cfb => cfc)
(-cfc => -cfb)
(-dbe => dbd)
(-dbd => dbe)
(cij => cih)
(-cih => -cij)
(bjg => bji)
(-bji => -bjg)
(-bie => bif)
(-bif => bie)
(fb => -fe)
(fe => -fb)
(-bgd => -bgf)
(bgf => bgd)
(bee => -beg)
(beg => -bee)
(egc => eha)
(-eha => -egc)
(bgg => bgi)
(-bgi => -bgg)
(bcd => bcb)
(-bcb => -bcd)
(-ejh => -ejd)
(ejd => ejh)
(-bje => bjj)
(-bjj => bje)
(-cdi => -cdf)
(cdf => cdi)
(-cfa => cee)
(-cee => cfa)
(-chf => chb)
(-chb => chf)
(-edd => edf)
(-edf => edd)
(-eei => efa)
(-efa => eei)
(-bec => beb)
(-beb => bec)
(chd => -chj)
(chj => -chd)
(-ed => eb)
(-eb => ed)
(dd => df)
(-df => -dd)
(dcc => -dcd)
(dcd => -dcc)
(bcb => bce)
(-bce => -bcb)
(hi => -hg)
(hg => -hi)
(cej => -cef)
(cef => -cej)
(-dc => dd)
(-dd => dc)
(bcc => -bcg)
(bcg => -bcc)
(-dej => deb)
(-deb => dej)
(dcc => -dcg)
(dcg => -dcc)
(cdd => cde)
(-cde => -cdd)
(-dac => dae)
(-dae => dac)
(-edh => edj)
(-edj => edh)
(bee => -bec)
(bec => -bee)
(-fd => -fe)
(fe => fd)
(-ii => ic)
(-ic => ii)
(-baj => -bai)
(bai => baj)
(dde => ddf)
(-ddf => -dde)
(-fj => -ff)
(ff => fj)
(-cic => cja)
(-cja => cic)
(-dd => di)
(-di => dd)
(-cbd => -cbh)
(cbh => cbd)
(-dag => -dab)
(dab => dag)
(ccf => -ccg)
(ccg => -ccf)
(-che => dia)
(-dia => che)
(-cid => ii)
(-ii => cid)
(-fd => bib)
(-bib => fd)
(-cj => -bba)
(bba => cj)
(-e => ejb)
(-ejb => e)
(cdj => eeb)
(-eeb => -cdj)
(ecc => -bii)
(bii => -ecc)
(-dag => -dfb)
(dfb => dag)
(-gj => -bhj)
(bhj => gj)
(cca => -bfd)
(bfd => -cca)
(-ceg => dfd)
(-dfd => ceg)
(cab => -ib)
(ib => -cab)
(bjh => -bea)
(bea => -bjh)
(-ebf => -cdj)
(cdj => ebf)
(cj => -dgg)
(dgg => -cj)
(gi => dei)
(-dei => -gi)
(eie => cgg)
(-cgg => -eie)
(jj => -ehg)
(ehg => -jj)
(-cbj => -fi)
(fi => cbj)
(dag => -baa)
(baa => -dag)
(-gd => df)
(-df => gd)
(-bfh => eba)
(-eba => bfh)
(eab => h)
(-h => -eab)
(ecc => dfc)
(-dfc => -ecc)
(bjh => -cbe)
(cbe => -bjh)
(cgc => -gd)
(gd => -cgc)
(efa => dei)
(-dei => -efa)
(-jj => -dfc)
(dfc => jj)
(-ecg => efa)
(-efa => ecg)
(dfh => -dc)
(dc => -dfh)
(-cbe => daj)
(-daj => cbe)
(-bdd => -dji)
(dji => bdd)
(bjc => bf)
(-bf => -bjc)
(cie => jg)
(-jg => -cie)
(dch => cfe)
(-cfe => -dch)
(-ig => -bei)
(bei => ig)
(-bbi => -jf)
(jf => bbi)
(-bcg => -eeg)
(eeg => bcg)
(-chh => -d)
(d => chh)
(-bfe => dbd)
(-dbd => bfe)
(cda => -bah)
(bah => -cda)
(cef => -bie)
(bie => -cef)
(bdb => bab)
(-bab => -bdb)
(-bdf => -cie)
(cie => bdf)
(-jh => -dgj)
(dgj => jh)
(-ecd => -ef)
(ef => ecd)
(-jb => -dgf)
(dgf => jb)
(-bbg => -cch)
(cch => bbg)
(df => -ec)
(ec => -df)
(fi => -bhe)
(bhe => -fi)