1000
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
fab
fac
fad
fae
faf
fag
fah
fai
faj
fba
fbb
fbc
fbd
fbe
fbf
fbg
fbh
fbi
fbj
fca
fcb
fcc
fcd
fce
fcf
fcg
fch
fci
fcj
fda
fdb
fdc
fdd
fde
fdf
fdg
fdh
fdi
fdj
fea
feb
fec
fed
fee
fef
feg
feh
fei
fej
ffa
ffb
ffc
ffd
ffe
fff
ffg
ffh
ffi
ffj
fga
fgb
fgc
fgd
fge
fgf
fgg
fgh
fgi
fgj
fha
fhb
fhc
fhd
fhe
fhf
fhg
fhh
fhi
fhj
fia
fib
fic
fid
fie
fif
fig
fih
fii
fij
fja
fjb
fjc
fjd
fje
fjf
fjg
fjh
fji
fjj
gaa
gab
gac
gad
gae
gaf
gag
gah
gai
gaj
gba
gbb
gbc
gbd
gbe
gbf
gbg
gbh
gbi
gbj
gca
gcb
gcc
gcd
gce
gcf
gcg
gch
gci
gcj
gda
gdb
gdc
gdd
gde
gdf
gdg
gdh
gdi
gdj
gea
geb
gec
ged
gee
gef
geg
geh
gei
gej
gfa
gfb
gfc
gfd
gfe
gff
gfg
gfh
gfi
gfj
gga
ggb
ggc
ggd
gge
ggf
ggg
ggh
ggi
ggj
gha
ghb
ghc
ghd
ghe
ghf
ghg
ghh
ghi
ghj
gia
gib
gic
gid
gie
gif
gig
gih
gii
gij
gja
gjb
gjc
gjd
gje
gjf
gjg
gjh
gji
gjj
haa
hab
hac
had
hae
haf
hag
hah
hai
haj
hba
hbb
hbc
hbd
hbe
hbf
hbg
hbh
hbi
hbj
hca
hcb
hcc
hcd
hce
hcf
hcg
hch
hci
hcj
hda
hdb
hdc
hdd
hde
hdf
hdg
hdh
hdi
hdj
hea
heb
hec
hed
hee
hef
heg
heh
hei
hej
hfa
hfb
hfc
hfd
hfe
hff
hfg
hfh
hfi
hfj
hga
hgb
hgc
hgd
hge
hgf
hgg
hgh
hgi
hgj
hha
hhb
hhc
hhd
hhe
hhf
hhg
hhh
hhi
hhj
hia
hib
hic
hid
hie
hif
hig
hih
hii
hij
hja
hjb
hjc
hjd
hje
hjf
hjg
hjh
hji
hjj
iaa
iab
iac
iad
iae
iaf
iag
iah
iai
iaj
iba
ibb
ibc
ibd
ibe
ibf
ibg
ibh
ibi
ibj
ica
icb
icc
icd
ice
icf
icg
ich
ici
icj
ida
idb
idc
idd
ide
idf
idg
idh
idi
idj
iea
ieb
iec
ied
iee
ief
ieg
ieh
iei
iej
ifa
ifb
ifc
ifd
ife
iff
ifg
ifh
ifi
ifj
iga
igb
igc
igd
ige
igf
igg
igh
igi
igj
iha
ihb
ihc
ihd
ihe
ihf
ihg
ihh
ihi
ihj
iia
iib
iic
iid
iie
iif
iig
iih
iii
iij
ija
ijb
ijc
ijd
ije
ijf
ijg
ijh
iji
ijj
jaa
jab
jac
jad
jae
jaf
jag
jah
jai
jaj
jba
jbb
jbc
jbd
jbe
jbf
jbg
jbh
jbi
jbj
jca
jcb
jcc
jcd
jce
jcf
jcg
jch
jci
jcj
jda
jdb
jdc
jdd
jde
jdf
jdg
jdh
jdi
jdj
jea
jeb
jec
jed
jee
jef
jeg
jeh
jei
jej
jfa
jfb
jfc
jfd
jfe
jff
jfg
jfh
jfi
jfj
jga
jgb
jgc
jgd
jge
jgf
jgg
jgh
jgi
jgj
jha
jhb
jhc
jhd
jhe
jhf
jhg
jhh
jhi
jhj
jia
jib
jic
jid
jie
jif
jig
jih
jii
jij
jja
jjb
jjc
jjd
jje
jjf
jjg
jjh
jji
jjj
baaa
10094
(jfi => -jfd)
(jfd => -jfi)
(-djj => -eab)
(eab => djj)
(-ia => ih)
(-ih => ia)
(-iec => idd)
(-idd => iec)
(eih => eij)
(-eij => -eih)
(cgb => -chc)
(chc => -cgb)
(-jdd => jcf)
(-jcf => jdd)
(-bhe => bhg)
(-bhg => bhe)
(jcg => jdf)
(-jdf => -jcg)
(fch => fci)
(-fci => -fch)
(bij => bje)
(-bje => -bij)
(icc => -icg)
(icg => -icc)
(feh => ffa)
(-ffa => -feh)
(-cie => cia)
(-cia => cie)
(-fjj => gaf)
(-gaf => fjj)
(iae => hjf)
(-hjf => -iae)
(-ejj => fad)
(-fad => ejj)
(-iee => ide)
(-ide => iee)
(-ecj => -ecd)
(ecd => ecj)
(ibg => iah)
(-iah => -ibg)
(hjf => -hjj)
(hjj => -hjf)
(bfb => bei)
(-bei => -bfb)
(gi => hc)
(-hc => -gi)
(-hdj => hdd)
(-hdd => hdj)
(-hgd => -hge)
(hge => hgd)
(j => b)
(-b => -j)
(ihh => ihe)
(-ihe => -ihh)
(-idh => -idj)
(idj => idh)
(-ccg => -ccf)
(ccf => ccg)
(cha => -chb)
(chb => -cha)
(bfc => bei)
(-bei => -bfc)
(-hfh => -hfj)
(hfj => hfh)
(-gic => gii)
(-gii => gic)
(fcj => fcf)
(-fcf => -fcj)
(jff => -jfa)
(jfa => -jff)
(bjj => -cai)
(cai => -bjj)
(djf => -dje)
(dje => -djf)
(-hff => hgh)
(-hgh => hff)
(hdh => -hdf)
(hdf => -hdh)
(cej => cei)
(-cei => -cej)
(dih => dif)
(-dif => -dih)
(-dce => -dcc)
(dcc => dce)
(jij => -jji)
(jji => -jij)
(-ghf => gha)
(-gha => ghf)
(-cef => -cec)
(cec => cef)
(-dbd => -dbf)
(dbf => dbd)
(egj => -ehf)
(ehf => -egj)
(bha => -bhi)
(bhi => -bha)
(ceb => -cec)
(cec => -ceb)
(hdf => hea)
(-hea => -hdf)
(bd => g)
(-g => -bd)
(ghf => ggh)
(-ggh => -ghf)
(bfj => bgj)
(-bgj => -bfj)
(-efa => eeg)
(-eeg => efa)
(ghe => -gha)
(gha => -ghe)
(-jed => -jdi)
(jdi => jed)
(-hef => -hec)
(hec => hef)
(ibd => -ibg)
(ibg => -ibd)
(-jic => jhh)
(-jhh => jic)
(fjh => -fig)
(fig => -fjh)
(-idj => idd)
(-idd => idj)
(-beb => bdi)
(-bdi => beb)
(fbh => -fbj)
(fbj => -fbh)
(-gci => -gcf)
(gcf => gci)
(gie => -gif)
(gif => -gie)
(-eee => eff)
(-eff => eee)
(-dej => dei)
(-dei => dej)
(-gbb => gag)
(-gag => gbb)
(-bed => bdb)
(-bdb => bed)
(ibg => iba)
(-iba => -ibg)
(hdc => -heb)
(heb => -hdc)
(-dbi => dbf)
(-dbf => dbi)
(-iic => -ihc)
(ihc => iic)
(idh => -ied)
(ied => -idh)
(jfc => -jfb)
(jfb => -jfc)
(ieb => iee)
(-iee => -ieb)
(jgf => jgg)
(-jgg => -jgf)
(ed => ei)
(-ei => -ed)
(jbc => jbb)
(-jbb => -jbc)
(ife => ieg)
(-ieg => -ife)
(-gih => ghj)
(-ghj => gih)
(cca => cbe)
(-cbe => -cca)
(ji => jh)
(-jh => -ji)
(-gcj => gde)
(-gde => gcj)
(-bhe => bia)
(-bia => bhe)
(-hfh => hfi)
(-hfi => hfh)
(bhi => bhh)
(-bhh => -bhi)
(-hbg => -hcc)
(hcc => hbg)
(hfd => -heg)
(heg => -hfd)
(-egg => ege)
(-ege => egg)
(dde => -ddh)
(ddh => -dde)
(deg => dfa)
(-dfa => -deg)
(-hcf => hcb)
(-hcb => hcf)
(-hif => -hii)
(hii => hif)
(igb => -ige)
(ige => -igb)
(fac => fab)
(-fab => -fac)
(-jbb => -jbc)
(jbc => jbb)
(-efc => -efd)
(efd => efc)
(gcf => gdb)
(-gdb => -gcf)
(-ied => idg)
(-idg => ied)
(ic => id)
(-id => -ic)
(fii => fih)
(-fih => -fii)
(ghc => ggg)
(-ggg => -ghc)
(-bjh => -caa)
(caa => bjh)
(-chi => chf)
(-chf => chi)
(cjj => cjg)
(-cjg => -cjj)
(-bfb => -bfd)
(bfd => bfb)
(-bhd => -bhc)
(bhc => bhd)
(-gib => gic)
(-gic => gib)
(jcg => jcj)
(-jcj => -jcg)
(eba => -eaj)
(eaj => -eba)
(cag => -bji)
(bji => -cag)
(ich => icc)
(-icc => -ich)
(fjf => fjg)
(-fjg => -fjf)
(-hij => hib)
(-hib => hij)
(-ega => -egh)
(egh => ega)
(jfd => -jgc)
(jgc => -jfd)
(igf => -igc)
(igc => -igf)
(gif => gib)
(-gib => -gif)
(-dfj => -dfg)
(dfg => dfj)
(ici => -icj)
(icj => -ici)
(ege => -egb)
(egb => -ege)
(cea => -cdj)
(cdj => -cea)
(cab => bjh)
(-bjh => -cab)
(-dff => dge)
(-dge => dff)
(-gib => ghi)
(-ghi => gib)
(iff => -iei)
(iei => -iff)
(gfd => gfg)
(-gfg => -gfd)
(-hag => -hbd)
(hbd => hag)
(ijh => -ija)
(ija => -ijh)
(-hae => -hba)
(hba => hae)
(fdg => -fee)
(fee => -fdg)
(gib => gii)
(-gii => -gib)
(-eij => -ejb)
(ejb => eij)
(ieh => -iej)
(iej => -ieh)
(bhf => -bhi)
(bhi => -bhf)
(-bbb => -bah)
(bah => bbb)
(dhf => -dgg)
(dgg => -dhf)
(-eeg => -eei)
(eei => eeg)
(-fcb => -fch)
(fch => fcb)
(jfc => -jfh)
(jfh => -jfc)
(-jgh => jhf)
(-jhf => jgh)
(fgh => fhb)
(-fhb => -fgh)
(fhd => fhg)
(-fhg => -fhd)
(ic => ij)
(-ij => -ic)
(ied => -idh)
(idh => -ied)
(gha => ghg)
(-ghg => -gha)
(-jgc => -jgb)
(jgb => jgc)
(-hbj => -hca)
(hca => hbj)
(-cia => cic)
(-cic => cia)
(bge => bgi)
(-bgi => -bge)
(jig => jhg)
(-jhg => -jig)
(-cgd => cgc)
(-cgc => cgd)
(-jjf => -jjj)
(jjj => jjf)
(cgc => -cgi)
(cgi => -cgc)
(hca => hbh)
(-hbh => -hca)
(bhf => bhc)
(-bhc => -bhf)
(-eia => ehj)
(-ehj => eia)
(-jb => ie)
(-ie => jb)
(egb => -egi)
(egi => -egb)
(-hhi => -hgi)
(hgi => hhi)
(-jhc => jgg)
(-jgg => jhc)
(ceh => cdi)
(-cdi => -ceh)
(-ibc => iai)
(-iai => ibc)
(bdi => -bdh)
(bdh => -bdi)
(-cfe => -cga)
(cga => cfe)
(-fbc => fbf)
(-fbf => fbc)
(-id => -ij)
(ij => id)
(iec => iea)
(-iea => -iec)
(gjf => -gjj)
(gjj => -gjf)
(-hde => -hdf)
(hdf => hde)
(-dga => -dfe)
(dfe => dga)
(-bcg => bce)
(-bce => bcg)
(ga => fg)
(-fg => -ga)
(ffb => -ffe)
(ffe => -ffb)
(-hbb => haf)
(-haf => hbb)
(-fda => -fcc)
(fcc => fda)
(edh => edi)
(-edi => -edh)
(-fhb => fga)
(-fga => fhb)
(fjh => fjf)
(-fjf => -fjh)
(-ib => -ic)
(ic => ib)
(ceh => cdi)
(-cdi => -ceh)
(cji => -cja)
(cja => -cji)
(-fb => -eb)
(eb => fb)
(cdb => cci)
(-cci => -cdb)
(hif => hjb)
(-hjb => -hif)
(-fg => -fd)
(fd => fg)
(-ifd => iei)
(-iei => ifd)
(hfh => -hga)
(hga => -hfh)
(-bdg => -bdj)
(bdj => bdg)
(-be => -bi)
(bi => be)
(ie => -id)
(id => -ie)
(-ijb => ijf)
(-ijf => ijb)
(iga => -igb)
(igb => -iga)
(-caa => -bji)
(bji => caa)
(efh => -egi)
(egi => -efh)
(gge => ggj)
(-ggj => -gge)
(-fde => fdf)
(-fdf => fde)
(cac => -bjh)
(bjh => -cac)
(ded => -deh)
(deh => -ded)
(-hbi => -hci)
(hci => hbi)
(dfg => dfh)
(-dfh => -dfg)
(-bbf => bag)
(-bag => bbf)
(-iaj => iah)
(-iah => iaj)
(-geg => -gee)
(gee => geg)
(-hfd => -heg)
(heg => hfd)
(dbc => dac)
(-dac => -dbc)
(egi => -efj)
(efj => -egi)
(-ice => -icb)
(icb => ice)
(ib => -id)
(id => -ib)
(cea => -ceh)
(ceh => -cea)
(-jdb => -jde)
(jde => jdb)
(hga => hgd)
(-hgd => -hga)
(-hfg => -hga)
(hga => hfg)
(-cbe => -ccb)
(ccb => cbe)
(-eff => -eej)
(eej => eff)
(-ijf => iih)
(-iih => ijf)
(jf => -ji)
(ji => -jf)
(jdb => -jde)
(jde => -jdb)
(-bgc => bgd)
(-bgd => bgc)
(-eah => -eag)
(eag => eah)
(cif => chi)
(-chi => -cif)
(beb => -bdg)
(bdg => -beb)
(-jhc => jgi)
(-jgi => jhc)
(hjb => -hie)
(hie => -hjb)
(-dig => dhj)
(-dhj => dig)
(-fde => fdi)
(-fdi => fde)
(jai => -jba)
(jba => -jai)
(-hea => heb)
(-heb => hea)
(dhf => -dgi)
(dgi => -dhf)
(-fbf => fai)
(-fai => fbf)
(hca => hcg)
(-hcg => -hca)
(-dgi => -dhd)
(dhd => dgi)
(-dah => -dbb)
(dbb => dah)
(ijd => ija)
(-ija => -ijd)
(gfi => -gfd)
(gfd => -gfi)
(-ihj => -iia)
(iia => ihj)
(-gfd => gfb)
(-gfb => gfd)
(-gfb => -ggc)
(ggc => gfb)
(-chg => -cib)
(cib => chg)
(cdd => ccg)
(-ccg => -cdd)
(efh => -efg)
(efg => -efh)
(bjj => -cac)
(cac => -bjj)
(eig => -eic)
(eic => -eig)
(bdj => bdh)
(-bdh => -bdj)
(-d => ba)
(-ba => d)
(-fba => -fai)
(fai => fba)
(-edg => -edh)
(edh => edg)
(-cae => bjg)
(-bjg => cae)
(ed => -ei)
(ei => -ed)
(-jej => -jed)
(jed => jej)
(ich => idb)
(-idb => -ich)
(gg => -hh)
(hh => -gg)
(ejc => -ejd)
(ejd => -ejc)
(iab => -iae)
(iae => -iab)
(fag => -ejj)
(ejj => -fag)
(ecf => ecd)
(-ecd => -ecf)
(-gfe => gfg)
(-gfg => gfe)
(cff => cfd)
(-cfd => -cff)
(-jbc => -jbi)
(jbi => jbc)
(-fe => -fh)
(fh => fe)
(-hgg => hgd)
(-hgd => hgg)
(-ebj => ebh)
(-ebh => ebj)
(fah => ejj)
(-ejj => -fah)
(-gdb => gdc)
(-gdc => gdb)
(hf => hd)
(-hd => -hf)
(eja => -eif)
(eif => -eja)
(-jfg => -jfe)
(jfe => jfg)
(-ehi => -eia)
(eia => ehi)
(eae => eaf)
(-eaf => -eae)
(-hfi => -hgc)
(hgc => hfi)
(-hja => hih)
(-hih => hja)
(dag => -dbb)
(dbb => -dag)
(fbh => -faj)
(faj => -fbh)
(cbi => -cbh)
(cbh => -cbi)
(-jji => jjj)
(-jjj => jji)
(-iab => -hjf)
(hjf => iab)
(caa => cac)
(-cac => -caa)
(jbi => jbd)
(-jbd => -jbi)
(-ddj => -dee)
(dee => ddj)
(-fca => -fai)
(fai => fca)
(bjj => -caa)
(caa => -bjj)
(-bj => -ca)
(ca => bj)
(-cid => -cie)
(cie => cid)
(-cij => -cjb)
(cjb => cij)
(-dga => dff)
(-dff => dga)
(ffi => feh)
(-feh => -ffi)
(-fee => fed)
(-fed => fee)
(-gab => fjj)
(-fjj => gab)
(-fbf => fbi)
(-fbi => fbf)
(-dbf => -dbg)
(dbg => dbf)
(bbc => bbd)
(-bbd => -bbc)
(hha => -hhe)
(hhe => -hha)
(cgf => -cgh)
(cgh => -cgf)
(-dda => -ddc)
(ddc => dda)
(-ecf => -ecb)
(ecb => ecf)
(-ege => -efg)
(efg => ege)
(fid => -fif)
(fif => -fid)
(hb => -gg)
(gg => -hb)
(-ifh => ifd)
(-ifd => ifh)
(-iai => -ibc)
(ibc => iai)
(geb => -gef)
(gef => -geb)
(ih => ib)
(-ib => -ih)
(-icg => -ich)
(ich => icg)
(hda => -hdh)
(hdh => -hda)
(-jef => -jeh)
(jeh => jef)
(ehg => -ehd)
(ehd => -ehg)
(bag => -baj)
(baj => -bag)
(gib => gif)
(-gif => -gib)
(bbb => bbh)
(-bbh => -bbb)
(-icj => ica)
(-ica => icj)
(eif => eic)
(-eic => -eif)
(j => -c)
(c => -j)
(cdc => -cci)
(cci => -cdc)
(-bid => -bjb)
(bjb => bid)
(fhj => fhi)
(-fhi => -fhj)
(hdf => -hda)
(hda => -hdf)
(ceb => -cec)
(cec => -ceb)
(-iga => -ihb)
(ihb => iga)
(bcc => bcj)
(-bcj => -bcc)
(-egd => -egh)
(egh => egd)
(-ehh => -ehc)
(ehc => ehh)
(-jg => jf)
(-jf => jg)
(-cfi => cfe)
(-cfe => cfi)
(cag => -cae)
(cae => -cag)
(gga => gfc)
(-gfc => -gga)
(cfj => -cfd)
(cfd => -cfj)
(-dbi => dcb)
(-dcb => dbi)
(-ehc => ehi)
(-ehi => ehc)
(-hag => hae)
(-hae => hag)
(bjj => -cai)
(cai => -bjj)
(-cdf => ceb)
(-ceb => cdf)
(-cda => cci)
(-cci => cda)
(-icd => -icc)
(icc => icd)
(-iia => ihc)
(-ihc => iia)
(-dc => -ch)
(ch => dc)
(-ii => ib)
(-ib => ii)
(iha => ifj)
(-ifj => -iha)
(-bcj => bbi)
(-bbi => bcj)
(-gdf => -gdh)
(gdh => gdf)
(-jb => -ih)
(ih => jb)
(jaj => -jah)
(jah => -jaj)
(fge => fgd)
(-fgd => -fge)
(-dfg => dfc)
(-dfc => dfg)
(hii => hij)
(-hij => -hii)
(-hhb => hhc)
(-hhc => hhb)
(-haf => hag)
(-hag => haf)
(-ijd => -ijg)
(ijg => ijd)
(-bab => -baa)
(baa => bab)
(-jje => jij)
(-jij => jje)
(gjb => gjf)
(-gjf => -gjb)
(-eai => -ebg)
(ebg => eai)
(if => -ig)
(ig => -if)
(egf => -egb)
(egb => -egf)
(-igf => igd)
(-igd => igf)
(-ha => hd)
(-hd => ha)
(iii => ijf)
(-ijf => -iii)
(-ehf => -ehc)
(ehc => ehf)
(-bgb => -bfh)
(bfh => bgb)
(-hje => iac)
(-iac => hje)
(-bdd => -bdg)
(bdg => bdd)
(-ceh => cea)
(-cea => ceh)
(gac => gba)
(-gba => -gac)
(bb => c)
(-c => -bb)
(-eec => -eda)
(eda => eec)
(-fej => ffe)
(-ffe => fej)
(ch => -ci)
(ci => -ch)
(-chg => -cie)
(cie => chg)
(-jci => -jce)
(jce => jci)
(caa => bji)
(-bji => -caa)
(jbh => jbc)
(-jbc => -jbh)
(cfi => -cfc)
(cfc => -cfi)
(iee => -idh)
(idh => -iee)
(-ibh => iaj)
(-iaj => ibh)
(-hbj => -hce)
(hce => hbj)
(-eab => -djf)
(djf => eab)
(-beh => -bff)
(bff => beh)
(-bdf => -bec)
(bec => bdf)
(-bdh => -bdb)
(bdb => bdh)
(-bfg => bff)
(-bff => bfg)
(bgh => bgf)
(-bgf => -bgh)
(cgb => cgh)
(-cgh => -cgb)
(-gfi => -ggb)
(ggb => gfi)
(-ddj => dej)
(-dej => ddj)
(-eii => -eif)
(eif => eii)
(-fhf => -fhe)
(fhe => fhf)
(cje => -cjg)
(cjg => -cje)
(gfh => -gfb)
(gfb => -gfh)
(-daj => -daf)
(daf => daj)
(-i => -bc)
(bc => i)
(gih => gii)
(-gii => -gih)
(-iai => -ibb)
(ibb => iai)
(jdb => jcj)
(-jcj => -jdb)
(ijj => jaf)
(-jaf => -ijj)
(-hde => hcj)
(-hcj => hde)
(ccg => -cdc)
(cdc => -ccg)
(bib => -bic)
(bic => -bib)
(jhg => -jid)
(jid => -jhg)
(hia => -hhh)
(hhh => -hia)
(-hgg => hgc)
(-hgc => hgg)
(fif => -fhh)
(fhh => -fif)
(-hh => hg)
(-hg => hh)
(-dj => -ci)
(ci => dj)
(jdf => jcg)
(-jcg => -jdf)
(bjb => -bih)
(bih => -bjb)
(gjh => haa)
(-haa => -gjh)
(cce => -ccc)
(ccc => -cce)
(-ehh => eia)
(-eia => ehh)
(-cgf => -chb)
(chb => cgf)
(-ee => -fb)
(fb => ee)
(-cgf => -cgi)
(cgi => cgf)
(fdd => -fcc)
(fcc => -fdd)
(bee => bff)
(-bff => -bee)
(cfi => cei)
(-cei => -cfi)
(deb => -dfb)
(dfb => -deb)
(-idb => icj)
(-icj => idb)
(iba => ibh)
(-ibh => -iba)
(-fdj => -fde)
(fde => fdj)
(iej => ifi)
(-ifi => -iej)
(ega => ege)
(-ege => -ega)
(iei => ife)
(-ife => -iei)
(-gdb => -gdc)
(gdc => gdb)
(-gbe => gbj)
(-gbj => gbe)
(ghc => -ghe)
(ghe => -ghc)
(-hff => hgf)
(-hgf => hff)
(ggg => ghb)
(-ghb => -ggg)
(-cih => cjc)
(-cjc => cih)
(egd => -efi)
(efi => -egd)
(-dhg => dgj)
(-dgj => dhg)
(cj => -de)
(de => -cj)
(-jjg => jjd)
(-jjd => jjg)
(gig => gij)
(-gij => -gig)
(dgj => dhg)
(-dhg => -dgj)
(gdj => -gej)
(gej => -gdj)
(-cfa => cfe)
(-cfe => cfa)
(hdg => hea)
(-hea => -hdg)
(-fea => -fdj)
(fdj => fea)
(jbg => -jbf)
(jbf => -jbg)
(dha => dhc)
(-dhc => -dha)
(jjh => jij)
(-jij => -jjh)
(-hbe => hae)
(-hae => hbe)
(-jfa => jfi)
(-jfi => jfa)
(ehh => eia)
(-eia => -ehh)
(gjj => -hac)
(hac => -gjj)
(dcf => dbj)
(-dbj => -dcf)
(-jjb => jje)
(-jje => jjb)
(-bfc => bfd)
(-bfd => bfc)
(idj => -iec)
(iec => -idj)
(ijc => iij)
(-iij => -ijc)
(gji => -gjh)
(gjh => -gji)
(-ejf => -fac)
(fac => ejf)
(-fc => -fa)
(fa => fc)
(fch => -fci)
(fci => -fch)
(caf => -bjh)
(bjh => -caf)
(-hei => hfb)
(-hfb => hei)
(eje => -ejd)
(ejd => -eje)
(-bdb => bdc)
(-bdc => bdb)
(-jbj => -jcb)
(jcb => jbj)
(-eci => ecd)
(-ecd => eci)
(-ecc => ech)
(-ech => ecc)
(h => j)
(-j => -h)
(-jfg => jfh)
(-jfh => jfg)
(ggb => gfj)
(-gfj => -ggb)
(-gia => -ghj)
(ghj => gia)
(i => e)
(-e => -i)
(bc => e)
(-e => -bc)
(-fdb => fdc)
(-fdc => fdb)
(-fb => -eh)
(eh => fb)
(-ehh => -egj)
(egj => ehh)
(hbd => -hbb)
(hbb => -hbd)
(-ege => egi)
(-egi => ege)
(-bjh => -bjj)
(bjj => bjh)
(iaf => -hjh)
(hjh => -iaf)
(-dhc => -dgg)
(dgg => dhc)
(fce => -fcf)
(fcf => -fce)
(-cba => -cbd)
(cbd => cba)
(-jfc => jfa)
(-jfa => jfc)
(cfj => cfh)
(-cfh => -cfj)
(-gfd => gfi)
(-gfi => gfd)
(-ege => -egi)
(egi => ege)
(ied => -ieb)
(ieb => -ied)
(-dcb => -dbg)
(dbg => dcb)
(ibh => -iah)
(iah => -ibh)
(ghe => ggj)
(-ggj => -ghe)
(-hjd => hic)
(-hic => hjd)
(-fcf => fcd)
(-fcd => fcf)
(-ecd => ecg)
(-ecg => ecd)
(cgi => cgh)
(-cgh => -cgi)
(ead => eab)
(-eab => -ead)
(bic => bib)
(-bib => -bic)
(hhi => hhb)
(-hhb => -hhi)
(hae => haf)
(-haf => -hae)
(-eai => ebd)
(-ebd => eai)
(-iab => hjj)
(-hjj => iab)
(gae => -gba)
(gba => -gae)
(-bjc => bif)
(-bif => bjc)
(fhb => -fgc)
(fgc => -fhb)
(-bdf => -bdh)
(bdh => bdf)
(gj => hh)
(-hh => -gj)
(ebc => eah)
(-eah => -ebc)
(-dij => did)
(-did => dij)
(-hhj => -hgj)
(hgj => hhj)
(dhj => -dij)
(dij => -dhj)
(cbj => cbd)
(-cbd => -cbj)
(-jbe => -jbf)
(jbf => jbe)
(hgd => -hfi)
(hfi => -hgd)
(daf => dab)
(-dab => -daf)
(hhb => -hhd)
(hhd => -hhb)
(bjj => -caa)
(caa => -bjj)
(-ccf => -ccc)
(ccc => ccf)
(-ehc => ehf)
(-ehf => ehc)
(-cib => -cif)
(cif => cib)
(dga => -dfj)
(dfj => -dga)
(dgd => dfe)
(-dfe => -dgd)
(-bgi => -bfi)
(bfi => bgi)
(-fgg => -fge)
(fge => fgg)
(-dba => -dai)
(dai => dba)
(cge => cgh)
(-cgh => -cge)
(jei => jej)
(-jej => -jei)
(-dgd => -dfe)
(dfe => dgd)
(gei => geg)
(-geg => -gei)
(jib => jih)
(-jih => -jib)
(-fbj => -fbh)
(fbh => fbj)
(hed => hef)
(-hef => -hed)
(cfh => -cfe)
(cfe => -cfh)
(-hic => hii)
(-hii => hic)
(ehf => ehe)
(-ehe => -ehf)
(-fed => feg)
(-feg => fed)
(gbg => -gbf)
(gbf => -gbg)
(-jfg => -jfd)
(jfd => jfg)
(iig => -iif)
(iif => -iig)
(-gii => -gig)
(gig => gii)
(-ica => -icg)
(icg => ica)
(-jbb => jcb)
(-jcb => jbb)
(-dhi => -dhj)
(dhj => dhi)
(caf => -cag)
(cag => -caf)
(-fhb => -fgd)
(fgd => fhb)
(ee => -ed)
(ed => -ee)
(-bbe => -bbg)
(bbg => bbe)
(-gbc => gca)
(-gca => gbc)
(-jih => jib)
(-jib => jih)
(bbf => bbe)
(-bbe => -bbf)
(-bie => -bja)
(bja => bie)
(-fia => -fhi)
(fhi => fia)
(iaf => -hjg)
(hjg => -iaf)
(gh => -hg)
(hg => -gh)
(jc => bac)
(-bac => -jc)
(ghj => gii)
(-gii => -ghj)
(fha => -fga)
(fga => -fha)
(ibb => -iah)
(iah => -ibb)
(-ha => gi)
(-gi => ha)
(-ehe => -egj)
(egj => ehe)
(-fia => -fhg)
(fhg => fia)
(ibi => -ibb)
(ibb => -ibi)
(ifi => iei)
(-iei => -ifi)
(-fde => -feb)
(feb => fde)
(fdg => -fee)
(fee => -fdg)
(-iid => ihj)
(-ihj => iid)
(bed => -bdb)
(bdb => -bed)
(fgb => fhc)
(-fhc => -fgb)
(-gcc => -gce)
(gce => gcc)
(bd => -c)
(c => -bd)
(-dff => -dfd)
(dfd => dff)
(-ggd => -gfg)
(gfg => ggd)
(eic => -eid)
(eid => -eic)
(-fjh => -fjf)
(fjf => fjh)
(-dfd => -dga)
(dga => dfd)
(-cfi => cfg)
(-cfg => cfi)
(-ibc => -ibj)
(ibj => ibc)
(ggd => -ggc)
(ggc => -ggd)
(-fie => -fhd)
(fhd => fie)
(-bee => bef)
(-bef => bee)
(cah => -bji)
(bji => -cah)
(-cch => -cdd)
(cdd => cch)
(idj => idi)
(-idi => -idj)
(-ieg => ifb)
(-ifb => ieg)
(-ije => -ijf)
(ijf => ije)
(-ija => -ijh)
(ijh => ija)
(ihd => ihf)
(-ihf => -ihd)
(cee => -cdg)
(cdg => -cee)
(bjg => cab)
(-cab => -bjg)
(-ecd => ebi)
(-ebi => ecd)
(dcd => dbd)
(-dbd => -dcd)
(-ehd => -ehg)
(ehg => ehd)
(-gib => -gii)
(gii => gib)
(dhi => -dic)
(dic => -dhi)
(jii => jhh)
(-jhh => -jii)
(dic => -dij)
(dij => -dic)
(ibe => -ibf)
(ibf => -ibe)
(jcg => jci)
(-jci => -jcg)
(-hah => -hbb)
(hbb => hah)
(-jfb => jfa)
(-jfa => jfb)
(-dff => -dfh)
(dfh => dff)
(-ffg => ffe)
(-ffe => ffg)
(-dce => dcc)
(-dcc => dce)
(-gjj => hac)
(-hac => gjj)
(die => dii)
(-dii => -die)
(bjd => -bif)
(bif => -bjd)
(-gdj => -ged)
(ged => gdj)
(-idd => idg)
(-idg => idd)
(-fbh => fba)
(-fba => fbh)
(-jeh => jeb)
(-jeb => jeh)
(jid => jib)
(-jib => -jid)
(-hgh => hgd)
(-hgd => hgh)
(dea => -deg)
(deg => -dea)
(-bcc => bbi)
(-bbi => bcc)
(jid => -jib)
(jib => -jid)
(jb => if)
(-if => -jb)
(fhj => fia)
(-fia => -fhj)
(-f => i)
(-i => f)
(-ijj => -jaj)
(jaj => ijj)
(baf => -bah)
(bah => -baf)
(-iaa => iae)
(-iae => iaa)
(ida => -ice)
(ice => -ida)
(fa => -ec)
(ec => -fa)
(egd => -efh)
(efh => -egd)
(-dfg => dfh)
(-dfh => dfg)
(bj => -be)
(be => -bj)
(ef => -fa)
(fa => -ef)
(-jdj => -jei)
(jei => jdj)
(-eci => -ebi)
(ebi => eci)
(jdd => jci)
(-jci => -jdd)
(bif => -bjf)
(bjf => -bif)
(-e => j)
(-j => e)
(igj => -igc)
(igc => -igj)
(dbf => -dcd)
(dcd => -dbf)
(edb => -edc)
(edc => -edb)
(dgb => dff)
(-dff => -dgb)
(-ba => -g)
(g => ba)
(-ibc => -iah)
(iah => ibc)
(-fgd => -fgb)
(fgb => fgd)
(-gca => gbh)
(-gbh => gca)
(ife => iff)
(-iff => -ife)
(-eah => -eaj)
(eaj => eah)
(-cha => chc)
(-chc => cha)
(cig => -chi)
(chi => -cig)
(-bec => bed)
(-bed => bec)
(-hcb => -hcc)
(hcc => hcb)
(-ggg => -gge)
(gge => ggg)
(-hij => hib)
(-hib => hij)
(egf => -efj)
(efj => -egf)
(ibg => -ibh)
(ibh => -ibg)
(-fbd => fbi)
(-fbi => fbd)
(-egi => -efh)
(efh => egi)
(-baj => bai)
(-bai => baj)
(ghi => -gia)
(gia => -ghi)
(iij => ija)
(-ija => -iij)
(hda => heb)
(-heb => -hda)
(ced => -cdh)
(cdh => -ced)
(dag => -dai)
(dai => -dag)
(deg => dee)
(-dee => -deg)
(iji => -ijj)
(ijj => -iji)
(iae => -iaf)
(iaf => -iae)
(-ech => -eci)
(eci => ech)
(hje => -iae)
(iae => -hje)
(ida => icd)
(-icd => -ida)
(-fcb => -fch)
(fch => fcb)
(-dce => dbi)
(-dbi => dce)
(gej => -gef)
(gef => -gej)
(-dee => dei)
(-dei => dee)
(gdg => -gdc)
(gdc => -gdg)
(-jig => jif)
(-jif => jig)
(-jdj => -jdi)
(jdi => jdj)
(egb => efg)
(-efg => -egb)
(-jgi => jgd)
(-jgd => jgi)
(-jhi => jic)
(-jic => jhi)
(bcb => bca)
(-bca => -bcb)
(-fii => -fig)
(fig => fii)
(-jj => ji)
(-ji => jj)
(hhe => hhb)
(-hhb => -hhe)
(-ibe => -ibj)
(ibj => ibe)
(-eee => eed)
(-eed => eee)
(fcj => -fda)
(fda => -fcj)
(hef => hec)
(-hec => -hef)
(deb => -deh)
(deh => -deb)
(-hde => -hdi)
(hdi => hde)
(bha => bhb)
(-bhb => -bha)
(eea => -eda)
(eda => -eea)
(-dce => -dbe)
(dbe => dce)
(-egi => -egf)
(egf => egi)
(-fba => -fbd)
(fbd => fba)
(-bg => cb)
(-cb => bg)
(-dhb => -dgh)
(dgh => dhb)
(-dcb => -dbe)
(dbe => dcb)
(fb => ed)
(-ed => -fb)
(gda => -gdf)
(gdf => -gda)
(jga => -jff)
(jff => -jga)
(gjf => gjc)
(-gjc => -gjf)
(fa => -ej)
(ej => -fa)
(-ihd => iid)
(-iid => ihd)
(-efd => -efc)
(efc => efd)
(-g => -d)
(d => g)
(jcb => jbf)
(-jbf => -jcb)
(-eid => -eii)
(eii => eid)
(eih => -eid)
(eid => -eih)
(-deh => -ddj)
(ddj => deh)
(jgf => jhf)
(-jhf => -jgf)
(-eea => -eec)
(eec => eea)
(bhe => -bha)
(bha => -bhe)
(fae => faf)
(-faf => -fae)
(-ijj => jag)
(-jag => ijj)
(bab => jg)
(-jg => -bab)
(-ha => hd)
(-hd => ha)
(-fab => -ejf)
(ejf => fab)
(jea => jef)
(-jef => -jea)
(-hhe => -hgi)
(hgi => hhe)
(-cjh => -cjf)
(cjf => cjh)
(bdg => -bec)
(bec => -bdg)
(ibb => ibd)
(-ibd => -ibb)
(cfj => cff)
(-cff => -cfj)
(-jcb => -jbe)
(jbe => jcb)
(cif => chg)
(-chg => -cif)
(-gfe => -gfh)
(gfh => gfe)
(-bda => -bcd)
(bcd => bda)
(-dfd => -dge)
(dge => dfd)
(-bjg => cai)
(-cai => bjg)
(cbj => cbd)
(-cbd => -cbj)
(-bid => bjc)
(-bjc => bid)
(hgf => -hgd)
(hgd => -hgf)
(fch => fci)
(-fci => -fch)
(-icb => idc)
(-idc => icb)
(bjg => -cah)
(cah => -bjg)
(i => -d)
(d => -i)
(cag => -cad)
(cad => -cag)
(bgb => -bge)
(bge => -bgb)
(-igi => -igg)
(igg => igi)
(jdg => jcg)
(-jcg => -jdg)
(-cja => cjg)
(-cjg => cja)
(-ejh => -fac)
(fac => ejh)
(dhj => -dja)
(dja => -dhj)
(dcd => -dbe)
(dbe => -dcd)
(jgh => -jgf)
(jgf => -jgh)
(-bfc => bfd)
(-bfd => bfc)
(-eff => efd)
(-efd => eff)
(hbd => -hah)
(hah => -hbd)
(hi => hh)
(-hh => -hi)
(-hjc => -hic)
(hic => hjc)
(jdb => jdf)
(-jdf => -jdb)
(cdf => -cdg)
(cdg => -cdf)
(-edh => -edb)
(edb => edh)
(-fih => -fij)
(fij => fih)
(-cba => cbi)
(-cbi => cba)
(hce => hbg)
(-hbg => -hce)
(-efg => -efh)
(efh => efg)
(-dec => -dfa)
(dfa => dec)
(-dad => daa)
(-daa => dad)
(fgd => fga)
(-fga => -fgd)
(hgb => -hgc)
(hgc => -hgb)
(-hab => gjj)
(-gjj => hab)
(-gca => -gbe)
(gbe => gca)
(-cee => cea)
(-cea => cee)
(eb => -ea)
(ea => -eb)
(-ide => -idd)
(idd => ide)
(bhb => bhg)
(-bhg => -bhb)
(-edc => -edd)
(edd => edc)
(bb => -c)
(c => -bb)
(-jef => jei)
(-jei => jef)
(iaf => iaa)
(-iaa => -iaf)
(hai => hbf)
(-hbf => -hai)
(bdf => -beb)
(beb => -bdf)
(jdi => jeh)
(-jeh => -jdi)
(-dii => dib)
(-dib => dii)
(ffg => -ffc)
(ffc => -ffg)
(ddc => -dda)
(dda => -ddc)
(fie => -fif)
(fif => -fie)
(-ggf => -ghe)
(ghe => ggf)
(-hbd => -hag)
(hag => hbd)
(jhe => jgd)
(-jgd => -jhe)
(-gae => gbb)
(-gbb => gae)
(-fhb => fge)
(-fge => fhb)
(ggj => -ggh)
(ggh => -ggj)
(ihh => -ihd)
(ihd => -ihh)
(cea => cee)
(-cee => -cea)
(-cga => -cei)
(cei => cga)
(-fge => -fgi)
(fgi => fge)
(jeb => jeg)
(-jeg => -jeb)
(-ffd => -ffb)
(ffb => ffd)
(-hff => hga)
(-hga => hff)
(-jhf => jgj)
(-jgj => jhf)
(-icj => ice)
(-ice => icj)
(-cic => cia)
(-cia => cic)
(-jdg => -jdc)
(jdc => jdg)
(fcg => -fci)
(fci => -fcg)
(-hbd => hba)
(-hba => hbd)
(cbe => -cbh)
(cbh => -cbe)
(eha => ehd)
(-ehd => -eha)
(-cbf => -cbg)
(cbg => cbf)
(jic => -jie)
(jie => -jic)
(-gdg => -gci)
(gci => gdg)
(ffb => -ffh)
(ffh => -ffb)
(-gch => gci)
(-gci => gch)
(ga => -fh)
(fh => -ga)
(-idc => ich)
(-ich => idc)
(-cef => -cec)
(cec => cef)
(-gig => -gih)
(gih => gig)
(-gdj => -gec)
(gec => gdj)
(-gge => ghf)
(-ghf => gge)
(hda => hdb)
(-hdb => -hda)
(fcj => -fcb)
(fcb => -fcj)
(hjj => -iad)
(iad => -hjj)
(eac => -eaa)
(eaa => -eac)
(-jff => -jfb)
(jfb => jff)
(bdh => bec)
(-bec => -bdh)
(bjb => bja)
(-bja => -bjb)
(gec => gej)
(-gej => -gec)
(gcg => -gdf)
(gdf => -gcg)
(be => cc)
(-cc => -be)
(-jch => jcf)
(-jcf => jch)
(-icj => -icf)
(icf => icj)
(ica => -idc)
(idc => -ica)
(-egd => -egb)
(egb => egd)
(fid => -fia)
(fia => -fid)
(ibg => -ibc)
(ibc => -ibg)
(-iab => -hji)
(hji => iab)
(-fha => -fge)
(fge => fha)
(-ddh => -dch)
(dch => ddh)
(dfe => -dfi)
(dfi => -dfe)
(-cj => di)
(-di => cj)
(-dgc => -dfi)
(dfi => dgc)
(ie => ii)
(-ii => -ie)
(-jdg => -jda)
(jda => jdg)
(jhe => -jgj)
(jgj => -jhe)
(ejc => -eig)
(eig => -ejc)
(jca => -jbb)
(jbb => -jca)
(-bdj => bea)
(-bea => bdj)
(-ejd => -eif)
(eif => ejd)
(hfe => -hee)
(hee => -hfe)
(-iea => idf)
(-idf => iea)
(gbe => gbc)
(-gbc => -gbe)
(bde => -bdb)
(bdb => -bde)
(-de => -dj)
(dj => de)
(-bji => -cac)
(cac => bji)
(chd => cgf)
(-cgf => -chd)
(-beg => -bfg)
(bfg => beg)
(gjf => -gja)
(gja => -gjf)
(hcf => -hbj)
(hbj => -hcf)
(-bja => bjb)
(-bjb => bja)
(ecb => eca)
(-eca => -ecb)
(fdi => fde)
(-fde => -fdi)
(-hce => hcf)
(-hcf => hce)
(-gh => -hd)
(hd => gh)
(chc => -cgc)
(cgc => -chc)
(-hif => hjc)
(-hjc => hif)
(-jb => ib)
(-ib => jb)
(-fja => -fjf)
(fjf => fja)
(-bgc => bfj)
(-bfj => bgc)
(-bdc => beb)
(-beb => bdc)
(gcd => -gca)
(gca => -gcd)
(idj => ide)
(-ide => -idj)
(-gcc => -gbg)
(gbg => gcc)
(-cch => -cdc)
(cdc => cch)
(-fjj => gac)
(-gac => fjj)
(gji => gjh)
(-gjh => -gji)
(efi => egf)
(-egf => -efi)
(jei => -jdj)
(jdj => -jei)
(-bgb => bgc)
(-bgc => bgb)
(-efd => -eeg)
(eeg => efd)
(-jhh => -jii)
(jii => jhh)
(gje => -gjj)
(gjj => -gje)
(-gee => gfa)
(-gfa => gee)
(fag => ejh)
(-ejh => -fag)
(hed => hfe)
(-hfe => -hed)
(-jje => baaa)
(-baaa => jje)
(-jeb => jej)
(-jej => jeb)
(-hfh => hge)
(-hge => hfh)
(gab => -gaj)
(gaj => -gab)
(-hch => -hbi)
(hbi => hch)
(-cbc => cba)
(-cba => cbc)
(-fa => -ed)
(ed => fa)
(-eda => edg)
(-edg => eda)
(gcf => -gdh)
(gdh => -gcf)
(-di => -dd)
(dd => di)
(-jbc => -jcd)
(jcd => jbc)
(bcd => bce)
(-bce => -bcd)
(-hab => gja)
(-gja => hab)
(-gai => gaa)
(-gaa => gai)
(dac => -dad)
(dad => -dac)
(igc => igh)
(-igh => -igc)
(jce => jdd)
(-jdd => -jce)
(-ccf => cda)
(-cda => ccf)
(gg => gi)
(-gi => -gg)
(hca => hcd)
(-hcd => -hca)
(-ij => -jb)
(jb => ij)
(-iei => ifg)
(-ifg => iei)
(-bfb => -bff)
(bff => bfb)
(bhg => bia)
(-bia => -bhg)
(eed => -eei)
(eei => -eed)
(-faj => fbh)
(-fbh => faj)
(dci => -ddb)
(ddb => -dci)
(gfd => -gfb)
(gfb => -gfd)
(-ega => -egg)
(egg => ega)
(ggj => -ghg)
(ghg => -ggj)
(-eb => -ej)
(ej => eb)
(-hed => hfa)
(-hfa => hed)
(-jid => -jhi)
(jhi => jid)
(dbi => -dbg)
(dbg => -dbi)
(jhj => -jia)
(jia => -jhj)
(-did => -dhj)
(dhj => did)
(-ijh => -ijg)
(ijg => ijh)
(gji => -gjj)
(gjj => -gji)
(-bia => -bhg)
(bhg => bia)
(hgh => hfg)
(-hfg => -hgh)
(-ie => -hj)
(hj => ie)
(ihh => -iib)
(iib => -ihh)
(-hh => -gg)
(gg => hh)
(-fh => fg)
(-fg => fh)
(jdf => -jci)
(jci => -jdf)
(-jha => jhe)
(-jhe => jha)
(iih => -iig)
(iig => -iih)
(-ch => dj)
(-dj => ch)
(-jaa => -jag)
(jag => jaa)
(cig => chi)
(-chi => -cig)
(jhd => jha)
(-jha => -jhd)
(ifh => ieg)
(-ieg => -ifh)
(bih => -bjb)
(bjb => -bih)
(-jcd => -jca)
(jca => jcd)
(-jec => jdi)
(-jdi => jec)
(-gch => -gdc)
(gdc => gch)
(eif => eic)
(-eic => -eif)
(-igi => iga)
(-iga => igi)
(ihd => -iid)
(iid => -ihd)
(-ghf => ggh)
(-ggh => ghf)
(eba => eaf)
(-eaf => -eba)
(-ecj => ebj)
(-ebj => ecj)
(eea => edf)
(-edf => -eea)
(-jij => -jjj)
(jjj => jij)
(-ccc => ccg)
(-ccg => ccc)
(-cj => -ci)
(ci => cj)
(bha => -bhc)
(bhc => -bha)
(ifi => -ifc)
(ifc => -ifi)
(heb => -hdb)
(hdb => -heb)
(-dgf => -dhd)
(dhd => dgf)
(eab => djd)
(-djd => -eab)
(ifa => -ieh)
(ieh => -ifa)
(cfc => -cei)
(cei => -cfc)
(-igi => -igf)
(igf => igi)
(-deh => dej)
(-dej => deh)
(ea => eh)
(-eh => -ea)
(-igd => -iha)
(iha => igd)
(-bdf => -bdh)
(bdh => bdf)
(bhd => -bhi)
(bhi => -bhd)
(ibd => iaj)
(-iaj => -ibd)
(eef => -efb)
(efb => -eef)
(-dc => -dd)
(dd => dc)
(bhi => -bhj)
(bhj => -bhi)
(hcj => -hdf)
(hdf => -hcj)
(ced => -ceg)
(ceg => -ced)
(hjj => hjf)
(-hjf => -hjj)
(-gea => -gdi)
(gdi => gea)
(cdf => ceg)
(-ceg => -cdf)
(ibj => -ibb)
(ibb => -ibj)
(gj => -hg)
(hg => -gj)
(gdd => gdg)
(-gdg => -gdd)
(-ghh => gid)
(-gid => ghh)
(chf => cic)
(-cic => -chf)
(bhh => -bhd)
(bhd => -bhh)
(bji => -cag)
(cag => -bji)
(-jee => jej)
(-jej => jee)
(egj => ehh)
(-ehh => -egj)
(gef => geh)
(-geh => -gef)
(gcd => -gbg)
(gbg => -gcd)
(-jac => jai)
(-jai => jac)
(-gbg => -gce)
(gce => gbg)
(ecj => -ecb)
(ecb => -ecj)
(-ddd => dci)
(-dci => ddd)
(dcg => -ddi)
(ddi => -dcg)
(dga => dfd)
(-dfd => -dga)
(bie => bih)
(-bih => -bie)
(hcc => -hbj)
(hbj => -hcc)
(-dag => -dab)
(dab => dag)
(-gdh => -gdf)
(gdf => gdh)
(dcf => -dbg)
(dbg => -dcf)
(-gdg => gde)
(-gde => gdg)
(gdc => -gdd)
(gdd => -gdc)
(ceg => cef)
(-cef => -ceg)
(eib => -ehd)
(ehd => -eib)
(-gii => gig)
(-gig => gii)
(gjf => gjb)
(-gjb => -gjf)
(gbc => -gcb)
(gcb => -gbc)
(-ehh => -egj)
(egj => ehh)
(-haj => -had)
(had => haj)
(jhb => -jgd)
(jgd => -jhb)
(bba => -bbf)
(bbf => -bba)
(jdc => jdb)
(-jdb => -jdc)
(fja => -fjf)
(fjf => -fja)
(gje => haa)
(-haa => -gje)
(-cfd => -cfg)
(cfg => cfd)
(-bgh => bgc)
(-bgc => bgh)
(-gjc => -gjb)
(gjb => gjc)
(-bhe => bhj)
(-bhj => bhe)
(fhc => fha)
(-fha => -fhc)
(jdj => jei)
(-jei => -jdj)
(-bea => bdg)
(-bdg => bea)
(-fcd => -fcb)
(fcb => fcd)
(ejd => eih)
(-eih => -ejd)
(jhh => jih)
(-jih => -jhh)
(gia => -gic)
(gic => -gia)
(ehe => -ehg)
(ehg => -ehe)
(-dih => -did)
(did => dih)
(-jhc => -jgj)
(jgj => jhc)
(-djj => -djc)
(djc => djj)
(-fbi => -fca)
(fca => fbi)
(-djf => -djb)
(djb => djf)
(-dbj => -dcd)
(dcd => dbj)
(-hjd => -hih)
(hih => hjd)
(cgf => -cgb)
(cgb => -cgf)
(-bjd => bid)
(-bid => bjd)
(-fed => fee)
(-fee => fed)
(dbb => dbc)
(-dbc => -dbb)
(-ddh => dda)
(-dda => ddh)
(-dea => -dej)
(dej => dea)
(-ibi => -iba)
(iba => ibi)
(fif => fhf)
(-fhf => -fif)
(bbb => -bbe)
(bbe => -bbb)
(-ccd => cdc)
(-cdc => ccd)
(hha => hhj)
(-hhj => -hha)
(-dbd => dbh)
(-dbh => dbd)
(-ghb => -ghe)
(ghe => ghb)
(gjf => haa)
(-haa => -gjf)
(e => g)
(-g => -e)
(hjb => hja)
(-hja => -hjb)
(-cie => -chh)
(chh => cie)
(gdd => -gcj)
(gcj => -gdd)
(-cic => cif)
(-cif => cic)
(-hcd => -hca)
(hca => hcd)
(-jdf => -jda)
(jda => jdf)
(fgj => -fgc)
(fgc => -fgj)
(fdc => -fcf)
(fcf => -fdc)
(-hhf => -hha)
(hha => hhf)
(dab => -dah)
(dah => -dab)
(-iab => hjh)
(-hjh => iab)
(cec => cdi)
(-cdi => -cec)
(c => -bc)
(bc => -c)
(-fdh => -fea)
(fea => fdh)
(eic => -eij)
(eij => -eic)
(jd => bac)
(-bac => -jd)
(-jec => -jei)
(jei => jec)
(-ffe => -ffa)
(ffa => ffe)
(-icj => ich)
(-ich => icj)
(-hba => -hbb)
(hbb => hba)
(gje => gjg)
(-gjg => -gje)
(-icc => -ici)
(ici => icc)
(-fcd => -fch)
(fch => fcd)
(ehe => -ehb)
(ehb => -ehe)
(-de => df)
(-df => de)
(ddj => -dea)
(dea => -ddj)
(gca => gcc)
(-gcc => -gca)
(-geh => -geb)
(geb => geh)
(-ia => ic)
(-ic => ia)
(bgc => -bgh)
(bgh => -bgc)
(-cfe => cfa)
(-cfa => cfe)
(bfc => bei)
(-bei => -bfc)
(-eah => eaf)
(-eaf => eah)
(bah => baj)
(-baj => -bah)
(-baa => jj)
(-jj => baa)
(dcf => dbg)
(-dbg => -dcf)
(-fdb => fcg)
(-fcg => fdb)
(cha => -cgd)
(cgd => -cha)
(-cbe => -ccb)
(ccb => cbe)
(-hga => -hgc)
(hgc => hga)
(-dfh => dfd)
(-dfd => dfh)
(hfd => -hef)
(hef => -hfd)
(dfj => dfi)
(-dfi => -dfj)
(bfc => -bee)
(bee => -bfc)
(-j => ba)
(-ba => j)
(igc => -ihb)
(ihb => -igc)
(-eeg => -efa)
(efa => eeg)
(-gh => -hd)
(hd => gh)
(egf => -efg)
(efg => -egf)
(dhj => dij)
(-dij => -dhj)
(-icj => -ica)
(ica => icj)
(iih => ijd)
(-ijd => -iih)
(gfc => -ggc)
(ggc => -gfc)
(eig => eid)
(-eid => -eig)
(-chd => -cha)
(cha => chd)
(-hh => -ha)
(ha => hh)
(gig => gib)
(-gib => -gig)
(-eah => -eba)
(eba => eah)
(-djj => -eac)
(eac => djj)
(-fdj => -fed)
(fed => fdj)
(dbh => dbi)
(-dbi => -dbh)
(gig => ghj)
(-ghj => -gig)
(cie => -chi)
(chi => -cie)
(-gh => gj)
(-gj => gh)
(-bai => -bah)
(bah => bai)
(-gdi => geg)
(-geg => gdi)
(ghd => -ghe)
(ghe => -ghd)
(-hcc => -hbj)
(hbj => hcc)
(-jef => -jdi)
(jdi => jef)
(-bci => -bbi)
(bbi => bci)
(-gac => gbb)
(-gbb => gac)
(-heh => -hfb)
(hfb => heh)
(bcg => bcj)
(-bcj => -bcg)
(jca => -jbj)
(jbj => -jca)
(-hi => ha)
(-ha => hi)
(-ccj => -cda)
(cda => ccj)
(ffe => -ffc)
(ffc => -ffe)
(fbc => -fba)
(fba => -fbc)
(d => -b)
(b => -d)
(-iee => -idh)
(idh => iee)
(jeb => -jeg)
(jeg => -jeb)
(-jeg => -jdj)
(jdj => jeg)
(-hgi => -hgj)
(hgj => hgi)
(-bad => -jh)
(jh => bad)
(-fbf => -fba)
(fba => fbf)
(hcg => hbi)
(-hbi => -hcg)
(gjg => gjh)
(-gjh => -gjg)
(jbi => jbd)
(-jbd => -jbi)
(-jde => jcf)
(-jcf => jde)
(cfd => -cfc)
(cfc => -cfd)
(-jbd => -jbi)
(jbi => jbd)
(-fii => -fjg)
(fjg => fii)
(iff => -ife)
(ife => -iff)
(ehc => eib)
(-eib => -ehc)
(-ijb => ijd)
(-ijd => ijb)
(fgg => -fhc)
(fhc => -fgg)
(-igf => -igd)
(igd => igf)
(eh => -eg)
(eg => -eh)
(-djh => eab)
(-eab => djh)
(eij => -eig)
(eig => -eij)
(-bgf => -bga)
(bga => bgf)
(jdi => -jea)
(jea => -jdi)
(-egb => ega)
(-ega => egb)
(gcd => gbj)
(-gbj => -gcd)
(-ebg => -ebb)
(ebb => ebg)
(fde => fef)
(-fef => -fde)
(-dfd => -dgb)
(dgb => dfd)
(-dc => dg)
(-dg => dc)
(beb => -bdg)
(bdg => -beb)
(gef => geg)
(-geg => -gef)
(-ddj => -dfa)
(dfa => ddj)
(jia => jhi)
(-jhi => -jia)
(-jdg => -jda)
(jda => jdg)
(-jci => jda)
(-jda => jci)
(-djd => -djh)
(djh => djd)
(-gcd => -gbh)
(gbh => gcd)
(he => -gj)
(gj => -he)
(dga => dfj)
(-dfj => -dga)
(dfe => -dgc)
(dgc => -dfe)
(-bdc => -bdj)
(bdj => bdc)
(-jgf => -jgi)
(jgi => jgf)
(-dd => -dc)
(dc => dd)
(-bgd => bfh)
(-bfh => bgd)
(feh => -ffg)
(ffg => -feh)
(-hai => -hbf)
(hbf => hai)
(jjd => -jja)
(jja => -jjd)
(ija => -iif)
(iif => -ija)
(-iaj => iah)
(-iah => iaj)
(-cj => dh)
(-dh => cj)
(hbb => hbd)
(-hbd => -hbb)
(-iec => -idd)
(idd => iec)
(-ccj => cci)
(-cci => ccj)
(-ebj => eca)
(-eca => ebj)
(-jgh => jhc)
(-jhc => jgh)
(idh => idj)
(-idj => -idh)
(-ghh => ghj)
(-ghj => ghh)
(bgi => bgd)
(-bgd => -bgi)
(bjg => -cad)
(cad => -bjg)
(-cc => -bf)
(bf => cc)
(-gih => -gid)
(gid => gih)
(iah => ibh)
(-ibh => -iah)
(-cib => cia)
(-cia => cib)
(efa => efe)
(-efe => -efa)
(gjd => -gjf)
(gjf => -gjd)
(fbd => fbb)
(-fbb => -fbd)
(-jid => -jhi)
(jhi => jid)
(-cbh => -cbd)
(cbd => cbh)
(fjb => fji)
(-fji => -fjb)
(hb => -hg)
(hg => -hb)
(-ifh => iff)
(-iff => ifh)
(-ibh => iai)
(-iai => ibh)
(-fg => -fe)
(fe => fg)
(cjj => -cjg)
(cjg => -cjj)
(ifg => ifa)
(-ifa => -ifg)
(-daa => dba)
(-dba => daa)
(-hia => hgi)
(-hgi => hia)
(-dcc => -dbj)
(dbj => dcc)
(caj => cbc)
(-cbc => -caj)
(dfe => dfh)
(-dfh => -dfe)
(-gde => gdc)
(-gdc => gde)
(-cdd => -ccc)
(ccc => cdd)
(-cag => bjh)
(-bjh => cag)
(gbh => -gbc)
(gbc => -gbh)
(hcb => -hcc)
(hcc => -hcb)
(-jgg => jgj)
(-jgj => jgg)
(-cia => chi)
(-chi => cia)
(-fbi => fbf)
(-fbf => fbi)
(jgh => -jgj)
(jgj => -jgh)
(-eh => -ea)
(ea => eh)
(cda => -cdb)
(cdb => -cda)
(hjf => iag)
(-iag => -hjf)
(gff => -ggc)
(ggc => -gff)
(beb => bdc)
(-bdc => -beb)
(-fhh => fhg)
(-fhg => fhh)
(dgh => -dhh)
(dhh => -dgh)
(-ihb => igh)
(-igh => ihb)
(-hga => hgd)
(-hgd => hga)
(eeh => -efe)
(efe => -eeh)
(die => dhj)
(-dhj => -die)
(-ifc => ifd)
(-ifd => ifc)
(bca => -bda)
(bda => -bca)
(fcf => fch)
(-fch => -fcf)
(ibj => -ibb)
(ibb => -ibj)
(ijh => ijf)
(-ijf => -ijh)
(-chg => cia)
(-cia => chg)
(-baf => -bah)
(bah => baf)
(egf => -egd)
(egd => -egf)
(beh => beg)
(-beg => -beh)
(bfd => bej)
(-bej => -bfd)
(-eba => eai)
(-eai => eba)
(hfh => hfj)
(-hfj => -hfh)
(ehc => ehh)
(-ehh => -ehc)
(jed => jee)
(-jee => -jed)
(bff => -beg)
(beg => -bff)
(cff => -cfd)
(cfd => -cff)
(ggb => gfd)
(-gfd => -ggb)
(-gec => -gef)
(gef => gec)
(ihb => -igj)
(igj => -ihb)
(-fdj => -fdi)
(fdi => fdj)
(-gaa => -gac)
(gac => gaa)
(bga => bgc)
(-bgc => -bga)
(efe => eeg)
(-eeg => -efe)
(eei => -efa)
(efa => -eei)
(-eff => -efa)
(efa => eff)
(ehb => ehc)
(-ehc => -ehb)
(hic => -hjb)
(hjb => -hic)
(-dfe => -dfg)
(dfg => dfe)
(gdf => gci)
(-gci => -gdf)
(ecg => ece)
(-ece => -ecg)
(-gbe => gbf)
(-gbf => gbe)
(did => dig)
(-dig => -did)
(-cgj => -chb)
(chb => cgj)
(hhi => hia)
(-hia => -hhi)
(eij => eii)
(-eii => -eij)
(ffj => feh)
(-feh => -ffj)
(jde => -jda)
(jda => -jde)
(hdf => -hdb)
(hdb => -hdf)
(-ehf => ehj)
(-ehj => ehf)
(-gjh => -gjg)
(gjg => gjh)
(-iai => -ibh)
(ibh => iai)
(edj => edi)
(-edi => -edj)
(dj => di)
(-di => -dj)
(hbf => haf)
(-haf => -hbf)
(edb => -eec)
(eec => -edb)
(jic => -jhj)
(jhj => -jic)
(dee => dei)
(-dei => -dee)
(-hee => -hed)
(hed => hee)
(-bia => -bhc)
(bhc => bia)
(bfe => -bff)
(bff => -bfe)
(ejb => eij)
(-eij => -ejb)
(che => -cig)
(cig => -che)
(hdg => -hea)
(hea => -hdg)
(fie => -fhd)
(fhd => -fie)
(-icb => idb)
(-idb => icb)
(-faa => fab)
(-fab => faa)
(-f => -d)
(d => f)
(ehb => -egj)
(egj => -ehb)
(-edb => -eea)
(eea => edb)
(-cg => ce)
(-ce => cg)
(ejc => eid)
(-eid => -ejc)
(-ifb => iej)
(-iej => ifb)
(gdi => geh)
(-geh => -gdi)
(-fc => ei)
(-ei => fc)
(-jab => -iji)
(iji => jab)
(bic => bha)
(-bha => -bic)
(jad => -jag)
(jag => -jad)
(-bai => -bag)
(bag => bai)
(-ccb => -cbj)
(cbj => ccb)
(ifi => iej)
(-iej => -ifi)
(egi => egh)
(-egh => -egi)
(-hd => hh)
(-hh => hd)
(dfi => -dgb)
(dgb => -dfi)
(ejg => -ejf)
(ejf => -ejg)
(-ffg => -fei)
(fei => ffg)
(ejj => fag)
(-fag => -ejj)
(-eej => -eed)
(eed => eej)
(eae => -eag)
(eag => -eae)
(-ef => -ej)
(ej => ef)
(-bgh => bgj)
(-bgj => bgh)
(caj => ccb)
(-ccb => -caj)
(jji => -jjg)
(jjg => -jji)
(-ibd => iaj)
(-iaj => ibd)
(d => -c)
(c => -d)
(iac => -iab)
(iab => -iac)
(-cjh => cji)
(-cji => cjh)
(ca => bi)
(-bi => -ca)
(did => dih)
(-dih => -did)
(-ddf => dcj)
(-dcj => ddf)
(faj => -fai)
(fai => -faj)
(-ijc => iii)
(-iii => ijc)
(-jg => -bab)
(bab => jg)
(-eab => dji)
(-dji => eab)
(-gfa => geb)
(-geb => gfa)
(-ejd => -eje)
(eje => ejd)
(djf => djj)
(-djj => -djf)
(dac => dbc)
(-dbc => -dac)
(-ifd => ieg)
(-ieg => ifd)
(-fbb => -fbi)
(fbi => fbb)
(-ied => ieb)
(-ieb => ied)
(egd => egb)
(-egb => -egd)
(egf => -egd)
(egd => -egf)
(bhe => -bhb)
(bhb => -bhe)
(-ehh => ehe)
(-ehe => ehh)
(-jjg => -jij)
(jij => jjg)
(gag => -gaj)
(gaj => -gag)
(ejd => -eif)
(eif => -ejd)
(gci => gde)
(-gde => -gci)
(bjd => bjc)
(-bjc => -bjd)
(-iic => -ihc)
(ihc => iic)
(-igh => -iha)
(iha => igh)
(-hie => -hid)
(hid => hie)
(ef => -ec)
(ec => -ef)
(he => -hi)
(hi => -he)
(-ggh => -ghe)
(ghe => ggh)
(hgc => hgd)
(-hgd => -hgc)
(-ihh => ihe)
(-ihe => ihh)
(-jbj => jcc)
(-jcc => jbj)
(fbj => fbg)
(-fbg => -fbj)
(gbc => -gcd)
(gcd => -gbc)
(-ie => -ia)
(ia => ie)
(gg => ha)
(-ha => -gg)
(he => -gj)
(gj => -he)
(-haa => -gji)
(gji => haa)
(bai => -bbb)
(bbb => -bai)
(fdc => fdb)
(-fdb => -fdc)
(-eff => -efa)
(efa => eff)
(-eeh => -efb)
(efb => eeh)
(fhb => -fgc)
(fgc => -fhb)
(-jbh => jcc)
(-jcc => jbh)
(-bh => -be)
(be => bh)
(bg => bj)
(-bj => -bg)
(efi => -egc)
(egc => -efi)
(-bfi => -bgf)
(bgf => bfi)
(fee => -feg)
(feg => -fee)
(ejg => ejh)
(-ejh => -ejg)
(dhb => -dhg)
(dhg => -dhb)
(iah => -iaj)
(iaj => -iah)
(-ihi => iie)
(-iie => ihi)
(ijg => iig)
(-iig => -ijg)
(-haf => hae)
(-hae => haf)
(gcb => gbj)
(-gbj => -gcb)
(bgd => bgi)
(-bgi => -bgd)
(-jbj => jcc)
(-jcc => jbj)
(-fcg => -fda)
(fda => fcg)
(i => bc)
(-bc => -i)
(jca => jbg)
(-jbg => -jca)
(hba => -hbb)
(hbb => -hba)
(jd => -baa)
(baa => -jd)
(bhc => -bic)
(bic => -bhc)
(-gfj => ggc)
(-ggc => gfj)
(-ead => -eab)
(eab => ead)
(-ihe => -iic)
(iic => ihe)
(ci => -dh)
(dh => -ci)
(fij => -fii)
(fii => -fij)
(gac => gaa)
(-gaa => -gac)
(ieh => iff)
(-iff => -ieh)
(dec => deh)
(-deh => -dec)
(ieh => -ifc)
(ifc => -ieh)
(-gbe => gbc)
(-gbc => gbe)
(gaj => gae)
(-gae => -gaj)
(-ccb => -cca)
(cca => ccb)
(bhg => bic)
(-bic => -bhg)
(fjf => fjg)
(-fjg => -fjf)
(ecg => ece)
(-ece => -ecg)
(iij => iii)
(-iii => -iij)
(-cib => cif)
(-cif => cib)
(dg => -ch)
(ch => -dg)
(beb => -bdb)
(bdb => -beb)
(-bg => cb)
(-cb => bg)
(-igg => igj)
(-igj => igg)
(-jij => -jjg)
(jjg => jij)
(hc => -hb)
(hb => -hc)
(dee => deh)
(-deh => -dee)
(efa => efe)
(-efe => -efa)
(-jhh => jib)
(-jib => jhh)
(bbb => -bag)
(bag => -bbb)
(-jgh => -jge)
(jge => jgh)
(bca => -bcb)
(bcb => -bca)
(-edh => -edj)
(edj => edh)
(-hbf => hag)
(-hag => hbf)
(fhc => fgg)
(-fgg => -fhc)
(ebd => ebc)
(-ebc => -ebd)
(-chi => cib)
(-cib => chi)
(-bih => -bii)
(bii => bih)
(-ceg => -cdh)
(cdh => ceg)
(jfd => jfg)
(-jfg => -jfd)
(-ehf => -eha)
(eha => ehf)
(-fag => faf)
(-faf => fag)
(-fij => -fje)
(fje => fij)
(-ib => if)
(-if => ib)
(hab => -gjj)
(gjj => -hab)
(-dec => def)
(-def => dec)
(-jce => -jde)
(jde => jce)
(-ddd => dci)
(-dci => ddd)
(jgb => -jfa)
(jfa => -jgb)
(ecb => ecf)
(-ecf => -ecb)
(-jfa => -jfc)
(jfc => jfa)
(bcb => -bci)
(bci => -bcb)
(-dfi => -dfd)
(dfd => dfi)
(fac => -fab)
(fab => -fac)
(-hfi => -hgc)
(hgc => hfi)
(-gjg => -gji)
(gji => gjg)
(fgh => -fgf)
(fgf => -fgh)
(-cdh => -cdj)
(cdj => cdh)
(-hfj => -hff)
(hff => hfj)
(fdj => fde)
(-fde => -fdj)
(-efh => -efi)
(efi => efh)
(-jia => -jid)
(jid => jia)
(-gdb => gdf)
(-gdf => gdb)
(dbf => -dbe)
(dbe => -dbf)
(ecc => ecj)
(-ecj => -ecc)
(bff => -bej)
(bej => -bff)
(fbe => -fbc)
(fbc => -fbe)
(gch => -gda)
(gda => -gch)
(dha => -dgf)
(dgf => -dha)
(fbh => -fbg)
(fbg => -fbh)
(ecg => ecj)
(-ecj => -ecg)
(bi => be)
(-be => -bi)
(-fha => fgc)
(-fgc => fha)
(hic => hja)
(-hja => -hic)
(-gab => gaj)
(-gaj => gab)
(egi => -efj)
(efj => -egi)
(jc => -jg)
(jg => -jc)
(dic => dib)
(-dib => -dic)
(dce => dbd)
(-dbd => -dce)
(gae => gaf)
(-gaf => -gae)
(cjf => cje)
(-cje => -cjf)
(-faf => fae)
(-fae => faf)
(baa => bad)
(-bad => -baa)
(big => -bjd)
(bjd => -big)
(-jbc => jbj)
(-jbj => jbc)
(jid => -jih)
(jih => -jid)
(-gai => -gae)
(gae => gai)
(-idi => -ief)
(ief => idi)
(gi => hi)
(-hi => -gi)
(-jcd => jbe)
(-jbe => jcd)
(cdf => -ceg)
(ceg => -cdf)
(jdi => -jea)
(jea => -jdi)
(-ecg => ebh)
(-ebh => ecg)
(-cdg => -cdh)
(cdh => cdg)
(-bcb => -bca)
(bca => bcb)
(ejh => fac)
(-fac => -ejh)
(hd => -gh)
(gh => -hd)
(-jie => jhh)
(-jhh => jie)
(-cja => -cjh)
(cjh => cja)
(-gae => gaf)
(-gaf => gae)
(gcd => gbd)
(-gbd => -gcd)
(fbi => -fbd)
(fbd => -fbi)
(ea => ei)
(-ei => -ea)
(jej => -jeg)
(jeg => -jej)
(-bdg => -bdb)
(bdb => bdg)
(daj => daa)
(-daa => -daj)
(idh => ief)
(-ief => -idh)
(bif => -bjb)
(bjb => -bif)
(gdh => gdg)
(-gdg => -gdh)
(ggh => ghg)
(-ghg => -ggh)
(-jac => -jae)
(jae => jac)
(-chb => -chc)
(chc => chb)
(-hjd => hig)
(-hig => hjd)
(-haj => -hbb)
(hbb => haj)
(-hdg => -hdf)
(hdf => hdg)
(dbg => dbi)
(-dbi => -dbg)
(-bee => bei)
(-bei => bee)
(-cfb => cfa)
(-cfa => cfb)
(gaj => gab)
(-gab => -gaj)
(-ece => -ech)
(ech => ece)
(hce => hch)
(-hch => -hce)
(egc => -efh)
(efh => -egc)
(eaf => eah)
(-eah => -eaf)
(jig => jid)
(-jid => -jig)
(gdg => -gcg)
(gcg => -gdg)
(-gcg => gcf)
(-gcf => gcg)
(fih => -fig)
(fig => -fih)
(-iid => -iic)
(iic => iid)
(-fih => -fjh)
(fjh => fih)
(-bfg => bff)
(-bff => bfg)
(-eej => efe)
(-efe => eej)
(-ce => bh)
(-bh => ce)
(ddd => -ddi)
(ddi => -ddd)
(-bdb => bdc)
(-bdc => bdb)
(-iai => ibf)
(-ibf => iai)
(-hgj => -hha)
(hha => hgj)
(-ehb => -eib)
(eib => ehb)
(-jbd => -jcc)
(jcc => jbd)
(-cff => cfd)
(-cfd => cff)
(-eg => -ed)
(ed => eg)
(-ice => -ida)
(ida => ice)
(-ije => -iif)
(iif => ije)
(-djd => -djf)
(djf => djd)
(ief => idh)
(-idh => -ief)
(i => -h)
(h => -i)
(-hia => -hhe)
(hhe => hia)
(edf => -edd)
(edd => -edf)
(-ifi => -ife)
(ife => ifi)
(fbf => faj)
(-faj => -fbf)
(gif => -gic)
(gic => -gif)
(-jab => -iji)
(iji => jab)
(fci => fdd)
(-fdd => -fci)
(cce => cda)
(-cda => -cce)
(bce => bbj)
(-bbj => -bce)
(jej => -jdh)
(jdh => -jej)
(fhc => -fgj)
(fgj => -fhc)
(-cee => cdg)
(-cdg => cee)
(-eia => -ehf)
(ehf => eia)
(gbg => gcc)
(-gcc => -gbg)
(-efg => -egc)
(egc => efg)
(bgj => bgd)
(-bgd => -bgj)
(-ide => iec)
(-iec => ide)
(ggj => -ggh)
(ggh => -ggj)
(dj => df)
(-df => -dj)
(ifj => -igb)
(igb => -ifj)
(hid => hib)
(-hib => -hid)
(-hfh => -hfj)
(hfj => hfh)
(-dj => df)
(-df => dj)
(-ei => -ef)
(ef => ei)
(hfi => -hgg)
(hgg => -hfi)
(cad => -cac)
(cac => -cad)
(hda => -hdc)
(hdc => -hda)
(-iee => -idh)
(idh => iee)
(jdi => jef)
(-jef => -jdi)
(eje => eih)
(-eih => -eje)
(-cfi => -cei)
(cei => cfi)
(fgd => -fgj)
(fgj => -fgd)
(dga => -dff)
(dff => -dga)
(-cii => -cjh)
(cjh => cii)
(-dgd => -dge)
(dge => dgd)
(ejg => -faa)
(faa => -ejg)
(jhg => jia)
(-jia => -jhg)
(-baf => -bbd)
(bbd => baf)
(dbh => dbi)
(-dbi => -dbh)
(-geh => -geb)
(geb => geh)
(-daa => dag)
(-dag => daa)
(jea => -jeg)
(jeg => -jea)
(fhd => fhh)
(-fhh => -fhd)
(-jbi => -jcb)
(jcb => jbi)
(-ieh => -ife)
(ife => ieh)
(-gia => -gif)
(gif => gia)
(jei => jdj)
(-jdj => -jei)
(dja => dig)
(-dig => -dja)
(-ifh => ifa)
(-ifa => ifh)
(-cfc => cfa)
(-cfa => cfc)
(gje => gjf)
(-gjf => -gje)
(gdj => -gej)
(gej => -gdj)
(-bea => bde)
(-bde => bea)
(-bce => bcf)
(-bcf => bce)
(-hec => hei)
(-hei => hec)
(cfb => -cfh)
(cfh => -cfb)
(-iid => iie)
(-iie => iid)
(-ggi => ghc)
(-ghc => ggi)
(fea => feb)
(-feb => -fea)
(gjb => -gje)
(gje => -gjb)
(-fba => fbh)
(-fbh => fba)
(fhh => -fid)
(fid => -fhh)
(eee => eeh)
(-eeh => -eee)
(cbh => -ccb)
(ccb => -cbh)
(fh => fd)
(-fd => -fh)
(-hfj => -hfh)
(hfh => hfj)
(-bgf => bfh)
(-bfh => bgf)
(cae => -cah)
(cah => -cae)
(-egb => efj)
(-efj => egb)
(djh => -eaa)
(eaa => -djh)
(-bid => -bih)
(bih => bid)
(-bch => -bbj)
(bbj => bch)
(gba => -gaj)
(gaj => -gba)
(fec => fed)
(-fed => -fec)
(-ehe => -ehc)
(ehc => ehe)
(fjg => -fij)
(fij => -fjg)
(jhf => jhc)
(-jhc => -jhf)
(-hji => hjh)
(-hjh => hji)
(gch => gde)
(-gde => -gch)
(eg => fc)
(-fc => -eg)
(fhg => fid)
(-fid => -fhg)
(bcb => -bcd)
(bcd => -bcb)
(gcf => gci)
(-gci => -gcf)
(hbe => hah)
(-hah => -hbe)
(dih => die)
(-die => -dih)
(-hgj => -hgi)
(hgi => hgj)
(-jbi => jbc)
(-jbc => jbi)
(iig => -ijh)
(ijh => -iig)
(jjh => -baaa)
(baaa => -jjh)
(hhe => hhh)
(-hhh => -hhe)
(-gcc => -gbd)
(gbd => gcc)
(dhf => dha)
(-dha => -dhf)
(-ce => -cc)
(cc => ce)
(jcj => -jdb)
(jdb => -jcj)
(-jef => -jee)
(jee => jef)
(-hia => hhb)
(-hhb => hia)
(dhc => -dgi)
(dgi => -dhc)
(-egf => -egh)
(egh => egf)
(ggh => ghg)
(-ghg => -ggh)
(-gef => gfa)
(-gfa => gef)
(haj => -hbb)
(hbb => -haj)
(-ggi => ggj)
(-ggj => ggi)
(-gjc => gjg)
(-gjg => gjc)
(fca => -fbh)
(fbh => -fca)
(cca => -cbd)
(cbd => -cca)
(jg => -jc)
(jc => -jg)
(-ib => jb)
(-jb => ib)
(fbe => -fbj)
(fbj => -fbe)
(-hhh => -hhb)
(hhb => hhh)
(jch => -jcf)
(jcf => -jch)
(-fif => fia)
(-fia => fif)
(ccj => cce)
(-cce => -ccj)
(ig => ia)
(-ia => -ig)
(-hje => -iag)
(iag => hje)
(fge => -fha)
(fha => -fge)
(-ihd => ihi)
(-ihi => ihd)
(edc => edi)
(-edi => -edc)
(-ddg => -ddd)
(ddd => ddg)
(ia => -ij)
(ij => -ia)
(iih => -iij)
(iij => -iih)
(hei => -hec)
(hec => -hei)
(-bhd => -bhh)
(bhh => bhd)
(jca => jbi)
(-jbi => -jca)
(hcg => hca)
(-hca => -hcg)
(gff => -gfd)
(gfd => -gff)
(-dif => dii)
(-dii => dif)
(dja => -dib)
(dib => -dja)
(ibc => -iah)
(iah => -ibc)
(jca => jbf)
(-jbf => -jca)
(c => -d)
(d => -c)
(cii => -cjf)
(cjf => -cii)
(-ebe => eaf)
(-eaf => ebe)
(iee => -iea)
(iea => -iee)
(icc => ice)
(-ice => -icc)
(gfb => -gfc)
(gfc => -gfb)
(-jgf => -jhd)
(jhd => jgf)
(he => -gh)
(gh => -he)
(jcg => jch)
(-jch => -jcg)
(ggi => ghd)
(-ghd => -ggi)
(bfa => -bee)
(bee => -bfa)
(iib => iid)
(-iid => -iib)
(-gc => -ff)
(ff => gc)
(-cji => cii)
(-cii => cji)
(-eee => eef)
(-eef => eee)
(j => ba)
(-ba => -j)
(-ifb => ifd)
(-ifd => ifb)
(-hbd => -hae)
(hae => hbd)
(dhd => dhb)
(-dhb => -dhd)
(jbb => -jcb)
(jcb => -jbb)
(-hi => hb)
(-hb => hi)
(-eef => efb)
(-efb => eef)
(-jej => jef)
(-jef => jej)
(iac => -iae)
(iae => -iac)
(-fgi => -fhc)
(fhc => fgi)
(eeb => eea)
(-eea => -eeb)
(feh => fej)
(-fej => -feh)
(-jii => jie)
(-jie => jii)
(-ced => -cef)
(cef => ced)
(gje => -gjh)
(gjh => -gje)
(-ecg => ecc)
(-ecc => ecg)
(-eig => -eic)
(eic => eig)
(-dcg => dda)
(-dda => dcg)
(ifa => -iej)
(iej => -ifa)
(-dhi => -dic)
(dic => dhi)
(dib => -die)
(die => -dib)
(dib => -dia)
(dia => -dib)
(-ffh => -ffi)
(ffi => ffh)
(ddi => dci)
(-dci => -ddi)
(-djj => -ead)
(ead => djj)
(-hag => haf)
(-haf => hag)
(-hjf => -hjj)
(hjj => hjf)
(-fia => -fib)
(fib => fia)
(-jjf => b)
(-b => jjf)
(cbd => cbf)
(-cbf => -cbd)
(-gif => gii)
(-gii => gif)
(-cic => -chj)
(chj => cic)
(dcj => dci)
(-dci => -dcj)
(had => -hae)
(hae => -had)
(gdf => gdd)
(-gdd => -gdf)
(-hah => haj)
(-haj => hah)
(-cgf => cge)
(-cge => cgf)
(cef => cee)
(-cee => -cef)
(-jia => jif)
(-jif => jia)
(-cdj => ced)
(-ced => cdj)
(-ehj => eia)
(-eia => ehj)
(-cfg => cfi)
(-cfi => cfg)
(-da => dh)
(-dh => da)
(hbi => -hcg)
(hcg => -hbi)
(-ebb => eaf)
(-eaf => ebb)
(-jif => jib)
(-jib => jif)
(-bdd => bdj)
(-bdj => bdd)
(ge => gf)
(-gf => -ge)
(fi => -fe)
(fe => -fi)
(-gdc => -gch)
(gch => gdc)
(chd => -chc)
(chc => -chd)
(gfj => gfb)
(-gfb => -gfj)
(fej => ffh)
(-ffh => -fej)
(ea => ed)
(-ed => -ea)
(hgi => -hhj)
(hhj => -hgi)
(-jih => -jhi)
(jhi => jih)
(bfh => bgb)
(-bgb => -bfh)
(-bgj => bfj)
(-bfj => bgj)
(-gcb => gbc)
(-gbc => gcb)
(-hgh => hgd)
(-hgd => hgh)
(-bdb => bed)
(-bed => bdb)
(chg => cib)
(-cib => -chg)
(-dia => -dja)
(dja => dia)
(baf => baj)
(-baj => -baf)
(ca => -ce)
(ce => -ca)
(-ec => ei)
(-ei => ec)
(-bdg => -bde)
(bde => bdg)
(ece => ecj)
(-ecj => -ece)
(daj => dag)
(-dag => -daj)
(eih => eif)
(-eif => -eih)
(-bab => jd)
(-jd => bab)
(fcf => fce)
(-fce => -fcf)
(jda => jch)
(-jch => -jda)
(-fhd => -fic)
(fic => fhd)
(fgc => -fga)
(fga => -fgc)
(heh => -heg)
(heg => -heh)
(hb => hf)
(-hf => -hb)
(-cji => cje)
(-cje => cji)
(fgj => -fge)
(fge => -fgj)
(-ih => ib)
(-ib => ih)
(fcd => -fcb)
(fcb => -fcd)
(-eef => -eed)
(eed => eef)
(jei => jef)
(-jef => -jei)
(ffd => fei)
(-fei => -ffd)
(fch => fcb)
(-fcb => -fch)
(egh => -egc)
(egc => -egh)
(-che => -cid)
(cid => che)
(cje => cjh)
(-cjh => -cje)
(-egd => -egi)
(egi => egd)
(fij => -fig)
(fig => -fij)
(-jib => -jic)
(jic => jib)
(-eii => eid)
(-eid => eii)
(bij => big)
(-big => -bij)
(ghg => ghf)
(-ghf => -ghg)
(bif => bih)
(-bih => -bif)
(-bfa => bei)
(-bei => bfa)
(fjb => -fjd)
(fjd => -fjb)
(hff => hgd)
(-hgd => -hff)
(gcb => -gbe)
(gbe => -gcb)
(hbc => -haf)
(haf => -hbc)
(-bed => -bdc)
(bdc => bed)
(fbb => fbg)
(-fbg => -fbb)
(ggg => -ghg)
(ghg => -ggg)
(-bjd => bie)
(-bie => bjd)
(fce => -fcc)
(fcc => -fce)
(-gfa => -ged)
(ged => gfa)
(-hh => hb)
(-hb => hh)
(dcg => ddi)
(-ddi => -dcg)
(ijd => ijf)
(-ijf => -ijd)
(-ihj => iic)
(-iic => ihj)
(-ige => iga)
(-iga => ige)
(-gjg => -gji)
(gji => gjg)
(gdh => gcg)
(-gcg => -gdh)
(-jhf => jhe)
(-jhe => jhf)
(-fih => -fjb)
(fjb => fih)
(-ecb => ecj)
(-ecj => ecb)
(eee => efa)
(-efa => -eee)
(-ghe => -ggg)
(ggg => ghe)
(gga => -gfg)
(gfg => -gga)
(-bdf => bdg)
(-bdg => bdf)
(-eed => eei)
(-eei => eed)
(ieb => -idf)
(idf => -ieb)
(fag => faf)
(-faf => -fag)
(ee => ea)
(-ea => -ee)
(-efj => -egg)
(egg => efj)
(-ccf => cci)
(-cci => ccf)
(-jhh => jih)
(-jih => jhh)
(-hhd => hgj)
(-hgj => hhd)
(ccc => -cci)
(cci => -ccc)
(jbg => jcc)
(-jcc => -jbg)
(-bfc => -bfa)
(bfa => bfc)
(-cfb => -cfg)
(cfg => cfb)
(-d => f)
(-f => d)
(-hah => haf)
(-haf => hah)
(-ijf => iij)
(-iij => ijf)
(hei => -heg)
(heg => -hei)
(gcj => gde)
(-gde => -gcj)
(hg => -hc)
(hc => -hg)
(hee => -hfb)
(hfb => -hee)
(fi => -fj)
(fj => -fi)
(igb => -ige)
(ige => -igb)
(egg => ege)
(-ege => -egg)
(-jcg => -jdb)
(jdb => jcg)
(hbb => -haj)
(haj => -hbb)
(-eci => ecg)
(-ecg => eci)
(fdh => -fee)
(fee => -fdh)
(baj => -bag)
(bag => -baj)
(-dib => -dja)
(dja => dib)
(eaj => ebb)
(-ebb => -eaj)
(bid => -bjd)
(bjd => -bid)
(-feh => -ffj)
(ffj => feh)
(dge => dfe)
(-dfe => -dge)
(-hdg => -hdj)
(hdj => hdg)
(eeh => eeg)
(-eeg => -eeh)
(hda => -hdi)
(hdi => -hda)
(-ifj => -igd)
(igd => ifj)
(bca => -bcb)
(bcb => -bca)
(cgh => chb)
(-chb => -cgh)
(-gjg => gjc)
(-gjc => gjg)
(-iie => iia)
(-iia => iie)
(hhh => hhf)
(-hhf => -hhh)
(cae => cai)
(-cai => -cae)
(-cga => cfj)
(-cfj => cga)
(-jei => jef)
(-jef => jei)
(-cif => -chj)
(chj => cif)
(ebd => ebb)
(-ebb => -ebd)
(-ihe => -ihh)
(ihh => ihe)
(cf => -bj)
(bj => -cf)
(-hgd => -hga)
(hga => hgd)
(-eja => eie)
(-eie => eja)
(dai => -daa)
(daa => -dai)
(-gbg => gca)
(-gca => gbg)
(eib => ehe)
(-ehe => -eib)
(-chg => chi)
(-chi => chg)
(cig => -chi)
(chi => -cig)
(fac => -fab)
(fab => -fac)
(ejc => eic)
(-eic => -ejc)
(bfa => -beh)
(beh => -bfa)
(jie => jib)
(-jib => -jie)
(-bjh => -cah)
(cah => bjh)
(cfj => -cfh)
(cfh => -cfj)
(idb => idc)
(-idc => -idb)
(d => j)
(-j => -d)
(fcc => fda)
(-fda => -fcc)
(-cef => -ceg)
(ceg => cef)
(-ee => ec)
(-ec => ee)
(cah => caf)
(-caf => -cah)
(efh => egd)
(-egd => -efh)
(hhh => -hhf)
(hhf => -hhh)
(hjj => -hje)
(hje => -hjj)
(-djj => djb)
(-djb => djj)
(-igf => igd)
(-igd => igf)
(gd => -fi)
(fi => -gd)
(icj => -ica)
(ica => -icj)
(dif => -die)
(die => -dif)
(-fi => ga)
(-ga => fi)
(jd => -je)
(je => -jd)
(fa => -ea)
(ea => -fa)
(-fdf => -feg)
(feg => fdf)
(jgb => jfh)
(-jfh => -jgb)
(eeb => edj)
(-edj => -eeb)
(hee => heg)
(-heg => -hee)
(fga => -fgb)
(fgb => -fga)
(-iac => iaa)
(-iaa => iac)
(-jff => jfa)
(-jfa => jff)
(-icd => -icb)
(icb => icd)
(did => -dia)
(dia => -did)
(bc => -bb)
(bb => -bc)
(-bdi => bdh)
(-bdh => bdi)
(-fff => -feh)
(feh => fff)
(dee => -dfb)
(dfb => -dee)
(fih => fij)
(-fij => -fih)
(ii => ib)
(-ib => -ii)
(ceh => cef)
(-cef => -ceh)
(bii => bjc)
(-bjc => -bii)
(-dec => -def)
(def => dec)
(hae => hba)
(-hba => -hae)
(bhb => bhj)
(-bhj => -bhb)
(-eih => -eij)
(eij => eih)
(-ia => ig)
(-ig => ia)
(cdg => -ceh)
(ceh => -cdg)
(bgi => bgc)
(-bgc => -bgi)
(-djg => -dji)
(dji => djg)
(-ha => -hi)
(hi => ha)
(-hbh => -hcd)
(hcd => hbh)
(jie => jhg)
(-jhg => -jie)
(-cch => ccd)
(-ccd => cch)
(jfj => jgc)
(-jgc => -jfj)
(-hib => -hid)
(hid => hib)
(fcj => fch)
(-fch => -fcj)
(cag => -bjj)
(bjj => -cag)
(jdj => -jeb)
(jeb => -jdj)
(-dfe => -dgd)
(dgd => dfe)
(heb => hde)
(-hde => -heb)
(fga => fhc)
(-fhc => -fga)
(ibj => iai)
(-iai => -ibj)
(fej => ffj)
(-ffj => -fej)
(jd => jg)
(-jg => -jd)
(ggd => -gff)
(gff => -ggd)
(-jij => b)
(-b => jij)
(-cgj => -cgg)
(cgg => cgj)
(-eji => fab)
(-fab => eji)
(-bba => -bbd)
(bbd => bba)
(fic => fhi)
(-fhi => -fic)
(-fg => -ff)
(ff => fg)
(jfd => jfj)
(-jfj => -jfd)
(jgi => -jhe)
(jhe => -jgi)
(-ceh => -cee)
(cee => ceh)
(cfa => cfd)
(-cfd => -cfa)
(fgi => fgf)
(-fgf => -fgi)
(-jj => bac)
(-bac => jj)
(ffd => -fej)
(fej => -ffd)
(-cbf => ccb)
(-ccb => cbf)
(-bie => -bij)
(bij => bie)
(-jhh => jhj)
(-jhj => jhh)
(haf => hag)
(-hag => -haf)
(-efh => ega)
(-ega => efh)
(bcd => -bbi)
(bbi => -bcd)
(fdi => -feg)
(feg => -fdi)
(-fcf => -fcg)
(fcg => fcf)
(-jcd => jbc)
(-jbc => jcd)
(caj => ccb)
(-ccb => -caj)
(bjf => bje)
(-bje => -bjf)
(-fhh => -fhi)
(fhi => fhh)
(efb => -eei)
(eei => -efb)
(cf => bf)
(-bf => -cf)
(iib => ihc)
(-ihc => -iib)
(cjd => cii)
(-cii => -cjd)
(-fgh => -fgd)
(fgd => fgh)
(-eih => -ejd)
(ejd => eih)
(-jcc => -jbh)
(jbh => jcc)
(-ccd => -cdb)
(cdb => ccd)
(efh => egb)
(-egb => -efh)
(-gfb => -ggc)
(ggc => gfb)
(ibg => ibi)
(-ibi => -ibg)
(eag => -eaf)
(eaf => -eag)
(-bag => bbf)
(-bbf => bag)
(-gec => -gej)
(gej => gec)
(cdc => -cdd)
(cdd => -cdc)
(-fdd => -fcb)
(fcb => fdd)
(-fja => fig)
(-fig => fja)
(-fie => fhd)
(-fhd => fie)
(fhc => fhb)
(-fhb => -fhc)
(-fhi => -fhf)
(fhf => fhi)
(iic => -ihi)
(ihi => -iic)
(-dd => -ci)
(ci => dd)
(efb => efe)
(-efe => -efb)
(-ghb => ggh)
(-ggh => ghb)
(-jbd => jbe)
(-jbe => jbd)
(-fai => -fca)
(fca => fai)
(cji => -cjf)
(cjf => -cji)
(-jie => jhh)
(-jhh => jie)
(-cji => cjc)
(-cjc => cji)
(jcg => jdf)
(-jdf => -jcg)
(jcb => -jbc)
(jbc => -jcb)
(-if => ij)
(-ij => if)
(-jgg => -jhd)
(jhd => jgg)
(jed => jdj)
(-jdj => -jed)
(-ihi => ihc)
(-ihc => ihi)
(jhg => jhi)
(-jhi => -jhg)
(dii => -dic)
(dic => -dii)
(ica => icf)
(-icf => -ica)
(ji => -jf)
(jf => -ji)
(icc => -icd)
(icd => -icc)
(cad => -cag)
(cag => -cad)
(-igd => -igf)
(igf => igd)
(-ibh => -ibd)
(ibd => ibh)
(-jge => jgj)
(-jgj => jge)
(-ghj => gii)
(-gii => ghj)
(bai => -bbb)
(bbb => -bai)
(ghb => ghd)
(-ghd => -ghb)
(-dbb => dae)
(-dae => dbb)
(jjd => -jjf)
(jjf => -jjd)
(bhj => -bhg)
(bhg => -bhj)
(fee => -fdj)
(fdj => -fee)
(dfj => -dfe)
(dfe => -dfj)
(efj => -egb)
(egb => -efj)
(gjc => gjh)
(-gjh => -gjc)
(cbc => -cba)
(cba => -cbc)
(-ifj => -ige)
(ige => ifj)
(fbb => fbd)
(-fbd => -fbb)
(ibj => -iaj)
(iaj => -ibj)
(hj => -if)
(if => -hj)
(-bbb => -bbd)
(bbd => bbb)
(dgc => dgb)
(-dgb => -dgc)
(-hbb => -hah)
(hah => hbb)
(cfg => -cfj)
(cfj => -cfg)
(-ifh => ifg)
(-ifg => ifh)
(-cjg => cih)
(-cih => cjg)
(-jbb => -jbj)
(jbj => jbb)
(-hfc => -hfb)
(hfb => hfc)
(ejg => fab)
(-fab => -ejg)
(-jdh => -jei)
(jei => jdh)
(cfe => -cfj)
(cfj => -cfe)
(fdj => fea)
(-fea => -fdj)
(ffg => fff)
(-fff => -ffg)
(fci => fcg)
(-fcg => -fci)
(-caa => -bji)
(bji => caa)
(hh => gj)
(-gj => -hh)
(ffh => fff)
(-fff => -ffh)
(ed => eb)
(-eb => -ed)
(jji => jjj)
(-jjj => -jji)
(ffd => -ffa)
(ffa => -ffd)
(bbd => baf)
(-baf => -bbd)
(dhe => -dgf)
(dgf => -dhe)
(-idd => ied)
(-ied => idd)
(-cf => cd)
(-cd => cf)
(hce => -hci)
(hci => -hce)
(-cgd => chd)
(-chd => cgd)
(gjc => gji)
(-gji => -gjc)
(fid => -fhj)
(fhj => -fid)
(hec => -hej)
(hej => -hec)
(-dgd => -dge)
(dge => dgd)
(bhb => bhj)
(-bhj => -bhb)
(-fji => -fjb)
(fjb => fji)
(-cbj => -cbd)
(cbd => cbj)
(fbj => fba)
(-fba => -fbj)
(cha => -cgd)
(cgd => -cha)
(hab => -gjc)
(gjc => -hab)
(-idj => idd)
(-idd => idj)
(-cfe => cfc)
(-cfc => cfe)
(-jic => -jid)
(jid => jic)
(bjb => bjf)
(-bjf => -bjb)
(feh => -ffd)
(ffd => -feh)
(cjd => -cii)
(cii => -cjd)
(cjd => -cih)
(cih => -cjd)
(bbj => -bcd)
(bcd => -bbj)
(hce => hca)
(-hca => -hce)
(dih => -dii)
(dii => -dih)
(-cii => -cja)
(cja => cii)
(eei => eee)
(-eee => -eei)
(-ejf => fah)
(-fah => ejf)
(ggc => gfj)
(-gfj => -ggc)
(gcj => gdf)
(-gdf => -gcj)
(-ge => -gf)
(gf => ge)
(-g => -bb)
(bb => g)
(-ggj => ghb)
(-ghb => ggj)
(hai => -hah)
(hah => -hai)
(dcd => -dca)
(dca => -dcd)
(-hdb => hdd)
(-hdd => hdb)
(-hdc => -hdb)
(hdb => hdc)
(-ceh => cdi)
(-cdi => ceh)
(-cca => -cbf)
(cbf => cca)
(efg => efj)
(-efj => -efg)
(igj => igb)
(-igb => -igj)
(jdc => jci)
(-jci => -jdc)
(-gbe => -gcb)
(gcb => gbe)
(-cjh => -cih)
(cih => cjh)
(-igf => -igg)
(igg => igf)
(ghi => -gig)
(gig => -ghi)
(-fhc => fgg)
(-fgg => fhc)
(bgh => bfi)
(-bfi => -bgh)
(-fgc => -fhc)
(fhc => fgc)
(-jci => -jch)
(jch => jci)
(-idf => idi)
(-idi => idf)
(-cda => cci)
(-cci => cda)
(-eff => eei)
(-eei => eff)
(-daa => -dab)
(dab => daa)
(-dbe => -dbg)
(dbg => dbe)
(gid => ghi)
(-ghi => -gid)
(hcd => hci)
(-hci => -hcd)
(-fgi => -fgc)
(fgc => fgi)
(hif => hii)
(-hii => -hif)
(fdg => feb)
(-feb => -fdg)
(hhh => hhi)
(-hhi => -hhh)
(gic => ghj)
(-ghj => -gic)
(-dhj => -dii)
(dii => dhj)
(deb => dea)
(-dea => -deb)
(-cei => -cfg)
(cfg => cei)
(-hji => -hje)
(hje => hji)
(cei => cfi)
(-cfi => -cei)
(-fd => -ge)
(ge => fd)
(-gdc => gde)
(-gde => gdc)
(fca => -fai)
(fai => -fca)
(gjh => -gjd)
(gjd => -gjh)
(hfe => heh)
(-heh => -hfe)
(iae => hji)
(-hji => -iae)
(ibi => -ibb)
(ibb => -ibi)
(dgj => -dhh)
(dhh => -dgj)
(-jed => -jeg)
(jeg => jed)
(ecb => -ecc)
(ecc => -ecb)
(-bbg => baf)
(-baf => bbg)
(-ge => fg)
(-fg => ge)
(hjf => -iae)
(iae => -hjf)
(-ccc => cce)
(-cce => ccc)
(bg => -ce)
(ce => -bg)
(-jag => jaf)
(-jaf => jag)
(bde => bdf)
(-bdf => -bde)
(hcc => -hci)
(hci => -hcc)
(jd => jg)
(-jg => -jd)
(jfh => jfa)
(-jfa => -jfh)
(-eaf => -eai)
(eai => eaf)
(cdf => ced)
(-ced => -cdf)
(jhe => jha)
(-jha => -jhe)
(-gg => hi)
(-hi => gg)
(-dbf => dbd)
(-dbd => dbf)
(bha => bhg)
(-bhg => -bha)
(-gia => -gig)
(gig => gia)
(-gfb => ggc)
(-ggc => gfb)
(-gbe => gbc)
(-gbc => gbe)
(bha => bhi)
(-bhi => -bha)
(heb => hdc)
(-hdc => -heb)
(-igg => -igf)
(igf => igg)
(efj => -egc)
(egc => -efj)
(-jcd => -jbc)
(jbc => jcd)
(-ihh => -ihc)
(ihc => ihh)
(-eca => ebj)
(-ebj => eca)
(ibf => iba)
(-iba => -ibf)
(-iha => -ifj)
(ifj => iha)
(-hfg => hga)
(-hga => hfg)
(jbf => jbj)
(-jbj => -jbf)
(-hc => -gh)
(gh => hc)
(efb => -eed)
(eed => -efb)
(dhg => dgj)
(-dgj => -dhg)
(eae => eah)
(-eah => -eae)
(-icg => -ich)
(ich => icg)
(-edf => -edi)
(edi => edf)
(-gdd => -gcj)
(gcj => gdd)
(dbh => -dce)
(dce => -dbh)
(-jii => -jif)
(jif => jii)
(-jib => jia)
(-jia => jib)
(cib => -cic)
(cic => -cib)
(fbh => fbj)
(-fbj => -fbh)
(cie => cig)
(-cig => -cie)
(-bba => -bag)
(bag => bba)
(-ifa => -iff)
(iff => ifa)
(-gia => ghj)
(-ghj => gia)
(-idg => iee)
(-iee => idg)
(geb => -gef)
(gef => -geb)
(-bac => bae)
(-bae => bac)
(fif => -fhd)
(fhd => -fif)
(-gjc => -hac)
(hac => gjc)
(heh => -hfd)
(hfd => -heh)
(igf => -iga)
(iga => -igf)
(-gh => -he)
(he => gh)
(cje => -cjf)
(cjf => -cje)
(dch => -ddc)
(ddc => -dch)
(-i => f)
(-f => i)
(-bai => -bbd)
(bbd => bai)
(-jcc => -jcb)
(jcb => jcc)
(hfb => hfc)
(-hfc => -hfb)
(-hif => -hih)
(hih => hif)
(-cbg => -cba)
(cba => cbg)
(jhb => -jgg)
(jgg => -jhb)
(-ia => -hj)
(hj => ia)
(-hgg => -hgd)
(hgd => hgg)
(-fdc => fdb)
(-fdb => fdc)
(cef => -cdj)
(cdj => -cef)
(-bif => -bje)
(bje => bif)
(-eej => -efd)
(efd => eej)
(-jf => -bae)
(bae => jf)
(-hda => -hdj)
(hdj => hda)
(-cee => -ceg)
(ceg => cee)
(cgi => -cgg)
(cgg => -cgi)
(hdf => hdj)
(-hdj => -hdf)
(jeh => -jeb)
(jeb => -jeh)
(-ba => -d)
(d => ba)
(gbe => gbi)
(-gbi => -gbe)
(ijb => -iif)
(iif => -ijb)
(-jgj => jhd)
(-jhd => jgj)
(-jad => -jai)
(jai => jad)
(cia => -chj)
(chj => -cia)
(-ec => -eb)
(eb => ec)
(gdf => -gdg)
(gdg => -gdf)
(ie => -ih)
(ih => -ie)
(-idi => -iec)
(iec => idi)
(-jhc => jhb)
(-jhb => jhc)
(-bch => bcj)
(-bcj => bch)
(-fcd => -fch)
(fch => fcd)
(ggc => gfg)
(-gfg => -ggc)
(eag => -ebd)
(ebd => -eag)
(-cbd => -cbj)
(cbj => cbd)
(fa => -ea)
(ea => -fa)
(-ich => idb)
(-idb => ich)
(jdg => jdb)
(-jdb => -jdg)
(hcg => -hcf)
(hcf => -hcg)
(hb => gi)
(-gi => -hb)
(-edi => edg)
(-edg => edi)
(bdh => -bdj)
(bdj => -bdh)
(dai => -dag)
(dag => -dai)
(-ddf => -dde)
(dde => ddf)
(-bhe => -bhg)
(bhg => bhe)
(fhh => fib)
(-fib => -fhh)
(ihh => -ihf)
(ihf => -ihh)
(dhi => dii)
(-dii => -dhi)
(-cca => -cbh)
(cbh => cca)
(fie => -fif)
(fif => -fie)
(-ggf => gge)
(-gge => ggf)
(dbj => -dbi)
(dbi => -dbj)
(cej => cga)
(-cga => -cej)
(hcd => hci)
(-hci => -hcd)
(fdf => fdh)
(-fdh => -fdf)
(-dgj => -dhb)
(dhb => dgj)
(ebf => -eba)
(eba => -ebf)
(-ff => ga)
(-ga => ff)
(gdc => gcg)
(-gcg => -gdc)
(-eia => egj)
(-egj => eia)
(gjc => -gja)
(gja => -gjc)
(ffd => ffi)
(-ffi => -ffd)
(-cga => cfi)
(-cfi => cga)
(jhd => jgi)
(-jgi => -jhd)
(-fc => -ea)
(ea => fc)
(dbe => dbg)
(-dbg => -dbe)
(hgc => -hgb)
(hgb => -hgc)
(-ega => -efj)
(efj => ega)
(gcc => -gbh)
(gbh => -gcc)
(bff => -bfa)
(bfa => -bff)
(hhj => -hhb)
(hhb => -hhj)
(-fid => fia)
(-fia => fid)
(ihb => -iga)
(iga => -ihb)
(ehh => -eia)
(eia => -ehh)
(-ehd => ehb)
(-ehb => ehd)
(fji => fih)
(-fih => -fji)
(jej => jec)
(-jec => -jej)
(faf => -ejh)
(ejh => -faf)
(dgf => dgg)
(-dgg => -dgf)
(eae => -ebf)
(ebf => -eae)
(fii => -fjf)
(fjf => -fii)
(-ceg => cdi)
(-cdi => ceg)
(dae => daa)
(-daa => -dae)
(-fgh => -fge)
(fge => fgh)
(-idi => ied)
(-ied => idi)
(-djg => -eac)
(eac => djg)
(cge => -chb)
(chb => -cge)
(dhe => -dhh)
(dhh => -dhe)
(-gbg => gca)
(-gca => gbg)
(-gfc => -ggb)
(ggb => gfc)
(hei => -hef)
(hef => -hei)
(-baf => -bbd)
(bbd => baf)
(jda => -jcf)
(jcf => -jda)
(deg => dee)
(-dee => -deg)
(dcc => dce)
(-dce => -dcc)
(-hg => -he)
(he => hg)
(fhd => fhf)
(-fhf => -fhd)
(-bch => -bcb)
(bcb => bch)
(-fgj => -fha)
(fha => fgj)
(-bbg => -bah)
(bah => bbg)
(iha => -ihb)
(ihb => -iha)
(fij => -fig)
(fig => -fij)
(-ihj => -ihd)
(ihd => ihj)
(-ifa => -ife)
(ife => ifa)
(-gda => gdh)
(-gdh => gda)
(hbj => hcb)
(-hcb => -hbj)
(-dfa => -ded)
(ded => dfa)
(-dfh => -dgb)
(dgb => dfh)
(hjf => -hjg)
(hjg => -hjf)
(dgb => -dgc)
(dgc => -dgb)
(jid => jih)
(-jih => -jid)
(-bdh => bdf)
(-bdf => bdh)
(-fdj => fea)
(-fea => fdj)
(-cha => -cgf)
(cgf => cha)
(-jed => -jeg)
(jeg => jed)
(-ibg => -iba)
(iba => ibg)
(jij => b)
(-b => -jij)
(-cag => -cad)
(cad => cag)
(-di => cj)
(-cj => di)
(-cb => ca)
(-ca => cb)
(hbb => had)
(-had => -hbb)
(cbj => -cbf)
(cbf => -cbj)
(-cbi => cbe)
(-cbe => cbi)
(gdd => -gdf)
(gdf => -gdd)
(-jci => -jdc)
(jdc => jci)
(cfj => -cfg)
(cfg => -cfj)
(cch => ccg)
(-ccg => -cch)
(-jba => -jac)
(jac => jba)
(-ejg => faa)
(-faa => ejg)
(-jj => bad)
(-bad => jj)
(jda => -jcg)
(jcg => -jda)
(hjg => -iac)
(iac => -hjg)
(gch => gdh)
(-gdh => -gch)
(hhh => -hgi)
(hgi => -hhh)
(hbg => -hbi)
(hbi => -hbg)
(-jei => -jdj)
(jdj => jei)
(gci => -gdh)
(gdh => -gci)
(fhe => fhj)
(-fhj => -fhe)
(-igi => -igf)
(igf => igi)
(-ced => ceg)
(-ceg => ced)
(-hjf => -hji)
(hji => hjf)
(-jh => jj)
(-jj => jh)
(fej => ffi)
(-ffi => -fej)
(dac => dba)
(-dba => -dac)
(-dad => dae)
(-dae => dad)
(-ejf => ejh)
(-ejh => ejf)
(dbh => dce)
(-dce => -dbh)
(-chg => chh)
(-chh => chg)
(hcd => hca)
(-hca => -hcd)
(dfd => dfc)
(-dfc => -dfd)
(beb => -bdf)
(bdf => -beb)
(bjd => -bie)
(bie => -bjd)
(jh => jj)
(-jj => -jh)
(eii => eij)
(-eij => -eii)
(fab => -fac)
(fac => -fab)
(bah => bag)
(-bag => -bah)
(-efc => -eed)
(eed => efc)
(ejg => fah)
(-fah => -ejg)
(-jcd => jcc)
(-jcc => jcd)
(ih => -ii)
(ii => -ih)
(-cc => -be)
(be => cc)
(dfe => dfh)
(-dfh => -dfe)
(-gfe => -gga)
(gga => gfe)
(fga => fge)
(-fge => -fga)
(-icc => -ica)
(ica => icc)
(-ffg => -ffc)
(ffc => ffg)
(-hji => iad)
(-iad => hji)
(caf => cac)
(-cac => -caf)
(-dj => -dh)
(dh => dj)
(eea => -eda)
(eda => -eea)
(-igh => igf)
(-igf => igh)
(dch => -ddc)
(ddc => -dch)
(hbc => hbf)
(-hbf => -hbc)
(-egg => ege)
(-ege => egg)
(-ggg => -gha)
(gha => ggg)
(-hgd => hga)
(-hga => hgd)
(-cib => che)
(-che => cib)
(-hjd => -hif)
(hif => hjd)
(cjh => -cjf)
(cjf => -cjh)
(-fha => fge)
(-fge => fha)
(eca => ecg)
(-ecg => -eca)
(-dhf => -dgi)
(dgi => dhf)
(ec => fc)
(-fc => -ec)
(efb => -eej)
(eej => -efb)
(-cag => cab)
(-cab => cag)
(j => -bd)
(bd => -j)
(hig => -hid)
(hid => -hig)
(ghc => ghe)
(-ghe => -ghc)
(-bfc => bfe)
(-bfe => bfc)
(-dee => -def)
(def => dee)
(-fec => -fdf)
(fdf => fec)
(-igc => -ihb)
(ihb => igc)
(gjj => -gjc)
(gjc => -gjj)
(dab => -dbc)
(dbc => -dab)
(d => bd)
(-bd => -d)
(-ehd => -eib)
(eib => ehd)
(jhi => jig)
(-jig => -jhi)
(jbg => -jcd)
(jcd => -jbg)
(-idj => ide)
(-ide => idj)
(fi => ff)
(-ff => -fi)
(jah => -jaj)
(jaj => -jah)
(cgi => -cgc)
(cgc => -cgi)
(-ghf => ggf)
(-ggf => ghf)
(-bba => -bah)
(bah => bba)
(jaj => -jai)
(jai => -jaj)
(icg => -ida)
(ida => -icg)
(ci => -dc)
(dc => -ci)
(-gce => -gbj)
(gbj => gce)
(-cbf => -cbb)
(cbb => cbf)
(-bic => bhc)
(-bhc => bic)
(-bad => ji)
(-ji => bad)
(-ggc => -gfg)
(gfg => ggc)
(edj => -edh)
(edh => -edj)
(gh => hd)
(-hd => -gh)
(-cee => cdg)
(-cdg => cee)
(gaj => gac)
(-gac => -gaj)
(-iab => iag)
(-iag => iab)
(bba => bai)
(-bai => -bba)
(-ihf => -ihc)
(ihc => ihf)
(gdd => -gdc)
(gdc => -gdd)
(feb => fea)
(-fea => -feb)
(dh => dg)
(-dg => -dh)
(cie => -cig)
(cig => -cie)
(dfd => dgd)
(-dgd => -dfd)
(ghe => gge)
(-gge => -ghe)
(-gbe => gcb)
(-gcb => gbe)
(-idb => -icc)
(icc => idb)
(hij => -hid)
(hid => -hij)
(cai => caf)
(-caf => -cai)
(-geh => -geg)
(geg => geh)
(fej => -ffa)
(ffa => -fej)
(ihb => iga)
(-iga => -ihb)
(ihc => -ihd)
(ihd => -ihc)
(-dcb => dca)
(-dca => dcb)
(iii => iij)
(-iij => -iii)
(cfi => cei)
(-cei => -cfi)
(-gji => -gjd)
(gjd => gji)
(-bda => bci)
(-bci => bda)
(jec => jea)
(-jea => -jec)
(fje => fjg)
(-fjg => -fje)
(-jec => -jej)
(jej => jec)
(-edc => -edd)
(edd => edc)
(jc => -jj)
(jj => -jc)
(hdb => hdd)
(-hdd => -hdb)
(fff => -feh)
(feh => -fff)
(-gfa => -geh)
(geh => gfa)
(-cbi => cbe)
(-cbe => cbi)
(feg => -fdg)
(fdg => -feg)
(ge => gf)
(-gf => -ge)
(dhj => dia)
(-dia => -dhj)
(fcb => -fci)
(fci => -fcb)
(-cia => -cie)
(cie => cia)
(geb => -gej)
(gej => -geb)
(fbj => -fbi)
(fbi => -fbj)
(-gjg => -gjb)
(gjb => gjg)
(-beg => -bee)
(bee => beg)
(hah => -hag)
(hag => -hah)
(jhc => jgj)
(-jgj => -jhc)
(hdb => hdd)
(-hdd => -hdb)
(bah => bbh)
(-bbh => -bah)
(-bee => -bff)
(bff => bee)
(bdb => -bdj)
(bdj => -bdb)
(-bbh => bbb)
(-bbb => bbh)
(-hdb => hde)
(-hde => hdb)
(bg => -bj)
(bj => -bg)
(dgh => -dhe)
(dhe => -dgh)
(-geh => gfa)
(-gfa => geh)
(-eff => -eej)
(eej => eff)
(gfd => -gfj)
(gfj => -gfd)
(-cb => bh)
(-bh => cb)
(gcg => -gcj)
(gcj => -gcg)
(-jc => -jd)
(jd => jc)
(ggg => -ghe)
(ghe => -ggg)
(-di => dc)
(-dc => di)
(gih => ghh)
(-ghh => -gih)
(gih => gid)
(-gid => -gih)
(hb => hc)
(-hc => -hb)
(gef => -gdi)
(gdi => -gef)
(-cjb => cih)
(-cih => cjb)
(hih => hid)
(-hid => -hih)
(bjh => -bji)
(bji => -bjh)
(hic => hjc)
(-hjc => -hic)
(gej => gec)
(-gec => -gej)
(-bbb => baf)
(-baf => bbb)
(jaj => ijj)
(-ijj => -jaj)
(ihc => -ihj)
(ihj => -ihc)
(-gad => gag)
(-gag => gad)
(fji => -fii)
(fii => -fji)
(-fdf => fdg)
(-fdg => fdf)
(-hce => hbg)
(-hbg => hce)
(-cii => -cih)
(cih => cii)
(jad => jac)
(-jac => -jad)
(-jdb => -jdf)
(jdf => jdb)
(bd => -i)
(i => -bd)
(-ccf => cch)
(-cch => ccf)
(-fdb => -fdd)
(fdd => fdb)
(g => b)
(-b => -g)
(-ci => dg)
(-dg => ci)
(-fii => fja)
(-fja => fii)
(-bgf => bfj)
(-bfj => bgf)
(cga => -cfc)
(cfc => -cga)
(-hgd => hfh)
(-hfh => hgd)
(fcj => -fcd)
(fcd => -fcj)
(idh => idd)
(-idd => -idh)
(ehd => ehe)
(-ehe => -ehd)
(fjf => -fjh)
(fjh => -fjf)
(-gjd => -gjb)
(gjb => gjd)
(-cja => cje)
(-cje => cja)
(-ecc => eci)
(-eci => ecc)
(-egg => ege)
(-ege => egg)
(ejh => -ejj)
(ejj => -ejh)
(-bbd => -bag)
(bag => bbd)
(-gii => ghi)
(-ghi => gii)
(-eeb => -eda)
(eda => eeb)
(cdb => ccg)
(-ccg => -cdb)
(-iai => ibe)
(-ibe => iai)
(-ece => -ecg)
(ecg => ece)
(-ejb => eie)
(-eie => ejb)
(daf => dab)
(-dab => -daf)
(gch => gdb)
(-gdb => -gch)
(-dji => djg)
(-djg => dji)
(cjd => -cjj)
(cjj => -cjd)
(-dig => -dif)
(dif => dig)
(-gjg => -gjc)
(gjc => gjg)
(dfg => dfd)
(-dfd => -dfg)
(-cjj => cii)
(-cii => cjj)
(geb => gef)
(-gef => -geb)
(fha => -fgd)
(fgd => -fha)
(-ifg => -ife)
(ife => ifg)
(-if => ig)
(-ig => if)
(jff => -jfa)
(jfa => -jff)
(cgb => chc)
(-chc => -cgb)
(fei => -ffi)
(ffi => -fei)
(-cfj => cfi)
(-cfi => cfj)
(-hei => hfe)
(-hfe => hei)
(bad => je)
(-je => -bad)
(gej => gei)
(-gei => -gej)
(-idi => -iee)
(iee => idi)
(cci => ccj)
(-ccj => -cci)
(bgd => -bga)
(bga => -bgd)
(jdj => jec)
(-jec => -jdj)
(ch => dd)
(-dd => -ch)
(egf => egb)
(-egb => -egf)
(-ia => -hj)
(hj => ia)
(bfh => bgg)
(-bgg => -bfh)
(-bgf => bgi)
(-bgi => bgf)
(cgg => chb)
(-chb => -cgg)
(fih => -fje)
(fje => -fih)
(-ghg => ggg)
(-ggg => ghg)
(dgh => -dgi)
(dgi => -dgh)
(gid => gia)
(-gia => -gid)
(-ce => cb)
(-cb => ce)
(-egd => -efh)
(efh => egd)
(bgb => -bgi)
(bgi => -bgb)
(-fad => -ejj)
(ejj => fad)
(ihc => -iic)
(iic => -ihc)
(fge => fgh)
(-fgh => -fge)
(fcc => -fda)
(fda => -fcc)
(-hdh => hdb)
(-hdb => hdh)
(eaf => ebe)
(-ebe => -eaf)
(-efg => -egc)
(egc => efg)
(-ecc => -ece)
(ece => ecc)
(-bih => big)
(-big => bih)
(-iid => -ihi)
(ihi => iid)
(-gaj => -gad)
(gad => gaj)
(-hae => hag)
(-hag => hae)
(-fhb => fgf)
(-fgf => fhb)
(fcg => fdd)
(-fdd => -fcg)
(-bai => -bah)
(bah => bai)
(daj => -dbb)
(dbb => -daj)
(fbj => -fai)
(fai => -fbj)
(-hgb => -hfg)
(hfg => hgb)
(hai => hbf)
(-hbf => -hai)
(cec => cea)
(-cea => -cec)
(dhh => dhg)
(-dhg => -dhh)
(-ghb => ghg)
(-ghg => ghb)
(-gdf => -gdd)
(gdd => gdf)
(-ech => ecd)
(-ecd => ech)
(iji => jba)
(-jba => -iji)
(ijb => -iih)
(iih => -ijb)
(iai => ibe)
(-ibe => -iai)
(dba => dah)
(-dah => -dba)
(bbf => -bah)
(bah => -bbf)
(jgc => -jfc)
(jfc => -jgc)
(-cda => cce)
(-cce => cda)
(ddb => -dde)
(dde => -ddb)
(-dba => dab)
(-dab => dba)
(-fai => -fbj)
(fbj => fai)
(bji => bjh)
(-bjh => -bji)
(-eec => -edh)
(edh => eec)
(ejb => ejc)
(-ejc => -ejb)
(-ffj => ffe)
(-ffe => ffj)
(gbi => -gbg)
(gbg => -gbi)
(-hhd => hhe)
(-hhe => hhd)
(cdd => cde)
(-cde => -cdd)
(-idi => -idd)
(idd => idi)
(gdg => -gdd)
(gdd => -gdg)
(hgj => -hhh)
(hhh => -hgj)
(-jdj => -jei)
(jei => jdj)
(gdb => gci)
(-gci => -gdb)
(hce => -hbi)
(hbi => -hce)
(-fih => -fjg)
(fjg => fih)
(-edc => -eeb)
(eeb => edc)
(-iad => -iae)
(iae => iad)
(hab => hac)
(-hac => -hab)
(-ghh => -gie)
(gie => ghh)
(-efc => efb)
(-efb => efc)
(ggc => gfd)
(-gfd => -ggc)
(djf => -eaa)
(eaa => -djf)
(-bei => -bfe)
(bfe => bei)
(-hi => -gj)
(gj => hi)
(bcf => bch)
(-bch => -bcf)
(-hej => -hee)
(hee => hej)
(jid => jic)
(-jic => -jid)
(ci => -de)
(de => -ci)
(-dca => -dbf)
(dbf => dca)
(hbe => -hae)
(hae => -hbe)
(cji => cjd)
(-cjd => -cji)
(-cai => -bjj)
(bjj => cai)
(chc => -cgc)
(cgc => -chc)
(ba => -bc)
(bc => -ba)
(-bfb => bej)
(-bej => bfb)
(-cef => -cdi)
(cdi => cef)
(-ech => ecf)
(-ecf => ech)
(big => bie)
(-bie => -big)
(-jii => -jib)
(jib => jii)
(ebd => eae)
(-eae => -ebd)
(dcf => -dcc)
(dcc => -dcf)
(bg => -cc)
(cc => -bg)
(-fca => fbb)
(-fbb => fca)
(-bdg => bea)
(-bea => bdg)
(jfi => -jff)
(jff => -jfi)
(hcj => hdg)
(-hdg => -hcj)
(eic => -eig)
(eig => -eic)
(bjj => -bjh)
(bjh => -bjj)
(-jhb => jgf)
(-jgf => jhb)
(ig => hj)
(-hj => -ig)
(-gih => -gic)
(gic => gih)
(jgc => -jff)
(jff => -jgc)
(hgj => hhf)
(-hhf => -hgj)
(-ege => -egd)
(egd => ege)
(-cjf => cja)
(-cja => cjf)
(jeh => -jeg)
(jeg => -jeh)
(dfg => -dge)
(dge => -dfg)
(-hei => hee)
(-hee => hei)
(beh => beg)
(-beg => -beh)
(fhe => -fhd)
(fhd => -fhe)
(eee => -eeg)
(eeg => -eee)
(-bbe => bah)
(-bah => bbe)
(fae => ejg)
(-ejg => -fae)
(-cc => cd)
(-cd => cc)
(-fee => fdh)
(-fdh => fee)
(ib => -ih)
(ih => -ib)
(-eih => -eig)
(eig => eih)
(dgi => dgf)
(-dgf => -dgi)
(-fda => -fch)
(fch => fda)
(hab => -hac)
(hac => -hab)
(-dhg => -dhe)
(dhe => dhg)
(ij => ja)
(-ja => -ij)
(-ieh => ifh)
(-ifh => ieh)
(-efb => eej)
(-eej => efb)
(-hdi => hdb)
(-hdb => hdi)
(-ghb => -gge)
(gge => ghb)
(ibg => ibb)
(-ibb => -ibg)
(-iii => -ijb)
(ijb => iii)
(-fj => fd)
(-fd => fj)
(-dga => -dgb)
(dgb => dga)
(-idj => idg)
(-idg => idj)
(bjh => -cac)
(cac => -bjh)
(-jdd => -jdb)
(jdb => jdd)
(hca => -hbi)
(hbi => -hca)
(fha => -fgi)
(fgi => -fha)
(hdj => heb)
(-heb => -hdj)
(ecc => -ebi)
(ebi => -ecc)
(-ca => cg)
(-cg => ca)
(hbj => hbg)
(-hbg => -hbj)
(-fbd => -fai)
(fai => fbd)
(hee => hfe)
(-hfe => -hee)
(-iji => jad)
(-jad => iji)
(cff => -cfe)
(cfe => -cff)
(-iij => -iih)
(iih => iij)
(gbh => gbf)
(-gbf => -gbh)
(-ghj => -gii)
(gii => ghj)
(jgb => -jfg)
(jfg => -jgb)
(-cii => -cjj)
(cjj => cii)
(-hjb => hjc)
(-hjc => hjb)
(dbh => -dbf)
(dbf => -dbh)
(-gcb => -gbf)
(gbf => gcb)
(-gcd => gbc)
(-gbc => gcd)
(jdg => -jde)
(jde => -jdg)
(-ggf => -gha)
(gha => ggf)
(-jgd => jhf)
(-jhf => jgd)
(ecj => ech)
(-ech => -ecj)
(ecf => ecg)
(-ecg => -ecf)
(-fcd => fcb)
(-fcb => fcd)
(-dia => -dic)
(dic => dia)
(fbj => fai)
(-fai => -fbj)
(-gfa => gei)
(-gei => gfa)
(cgg => -cgd)
(cgd => -cgg)
(cgc => cgj)
(-cgj => -cgc)
(fg => -fi)
(fi => -fg)
(bcf => bch)
(-bch => -bcf)
(bca => bch)
(-bch => -bca)
(-ihf => -ihg)
(ihg => ihf)
(ijh => -ija)
(ija => -ijh)
(fef => -fdi)
(fdi => -fef)
(bde => bdj)
(-bdj => -bde)
(hha => hhe)
(-hhe => -hha)
(-eed => eeh)
(-eeh => eed)
(-edj => -edd)
(edd => edj)
(-cii => -cih)
(cih => cii)
(hae => -hai)
(hai => -hae)
(jfh => -jff)
(jff => -jfh)
(ech => -eca)
(eca => -ech)
(-gdj => geb)
(-geb => gdj)
(-jga => -jfi)
(jfi => jga)
(-hgb => -hgd)
(hgd => hgb)
(ge => gd)
(-gd => -ge)
(fjg => fjc)
(-fjc => -fjg)
(cie => -cid)
(cid => -cie)
(-hcf => hbh)
(-hbh => hcf)
(cid => -chi)
(chi => -cid)
(-icg => -icc)
(icc => icg)
(-gf => gc)
(-gc => gf)
(jhh => -jhi)
(jhi => -jhh)
(-ceh => -cdg)
(cdg => ceh)
(-dbf => -dbh)
(dbh => dbf)
(-dcf => -dbh)
(dbh => dcf)
(edd => -edj)
(edj => -edd)
(gba => -gab)
(gab => -gba)
(cab => bjh)
(-bjh => -cab)
(-efe => -efb)
(efb => efe)
(gcc => -gcd)
(gcd => -gcc)
(gjg => haa)
(-haa => -gjg)
(-bib => -bhj)
(bhj => bib)
(ghj => gia)
(-gia => -ghj)
(-hd => -hf)
(hf => hd)
(icg => -ich)
(ich => -icg)
(-dje => djf)
(-djf => dje)
(-hh => -he)
(he => hh)
(dce => dbi)
(-dbi => -dce)
(gch => -gdh)
(gdh => -gch)
(dhh => -dgi)
(dgi => -dhh)
(-ije => ijd)
(-ijd => ije)
(-gda => -gcj)
(gcj => gda)
(gje => -hac)
(hac => -gje)
(-cfd => cfe)
(-cfe => cfd)
(-bja => -bjd)
(bjd => bja)
(-dej => -dfb)
(dfb => dej)
(bei => bfa)
(-bfa => -bei)
(bhg => bic)
(-bic => -bhg)
(-cah => bjg)
(-bjg => cah)
(ifc => ifi)
(-ifi => -ifc)
(fgd => fhb)
(-fhb => -fgd)
(egh => ege)
(-ege => -egh)
(bhh => -bhi)
(bhi => -bhh)
(-bch => bcf)
(-bcf => bch)
(-ega => -efj)
(efj => ega)
(ehg => -ehj)
(ehj => -ehg)
(fcc => fdb)
(-fdb => -fcc)
(gff => gga)
(-gga => -gff)
(-hhf => hia)
(-hia => hhf)
(-hfa => hfb)
(-hfb => hfa)
(cbj => -cbd)
(cbd => -cbj)
(-gfj => gfb)
(-gfb => gfj)
(-gbe => gbg)
(-gbg => gbe)
(fe => -fh)
(fh => -fe)
(-jgc => jga)
(-jga => jgc)
(b => j)
(-j => -b)
(-jeb => jej)
(-jej => jeb)
(jff => -jgc)
(jgc => -jff)
(-fj => -ff)
(ff => fj)
(gcc => -gbd)
(gbd => -gcc)
(-ieb => idi)
(-idi => ieb)
(-hga => hfh)
(-hfh => hga)
(dcb => dcc)
(-dcc => -dcb)
(-ijc => -ijd)
(ijd => ijc)
(fgh => fgj)
(-fgj => -fgh)
(cac => cab)
(-cab => -cac)
(-dbh => dbi)
(-dbi => dbh)
(ejf => -ejj)
(ejj => -ejf)
(eic => -eig)
(eig => -eic)
(-b => -f)
(f => b)
(fch => -fcj)
(fcj => -fch)
(hii => hib)
(-hib => -hii)
(-dch => dda)
(-dda => dch)
(ec => -ef)
(ef => -ec)
(-fei => -feh)
(feh => fei)
(-cee => cef)
(-cef => cee)
(-gaa => -gah)
(gah => gaa)
(-bcb => bcc)
(-bcc => bcb)
(bhg => -bhh)
(bhh => -bhg)
(-heg => -hec)
(hec => heg)
(cfh => -cfc)
(cfc => -cfh)
(-bgf => -bgh)
(bgh => bgf)
(-caj => -cbg)
(cbg => caj)
(-jdd => -jci)
(jci => jdd)
(-fbj => fbf)
(-fbf => fbj)
(-gaj => -gac)
(gac => gaj)
(edf => -edg)
(edg => -edf)
(hjb => -hjc)
(hjc => -hjb)
(ede => edi)
(-edi => -ede)
(-dcj => dde)
(-dde => dcj)
(beg => -beh)
(beh => -beg)
(-faa => ejf)
(-ejf => faa)
(-bca => -bcd)
(bcd => bca)
(-ead => djh)
(-djh => ead)
(ggd => -gfh)
(gfh => -ggd)
(-jib => -jhh)
(jhh => jib)
(jbf => jcc)
(-jcc => -jbf)
(ccc => -cch)
(cch => -ccc)
(-fcb => -fcc)
(fcc => fcb)
(djb => dje)
(-dje => -djb)
(-iad => -hjj)
(hjj => iad)
(-cb => -cg)
(cg => cb)
(bca => -bbi)
(bbi => -bca)
(fda => fci)
(-fci => -fda)
(-cgf => chc)
(-chc => cgf)
(-bfg => -bei)
(bei => bfg)
(cig => cib)
(-cib => -cig)
(iei => ifd)
(-ifd => -iei)
(-eba => ebc)
(-ebc => eba)
(-dab => -dae)
(dae => dab)
(-dj => ch)
(-ch => dj)
(fge => fgg)
(-fgg => -fge)
(-bdf => -beb)
(beb => bdf)
(-cca => -cbb)
(cbb => cca)
(-igj => igg)
(-igg => igj)
(-dde => dch)
(-dch => dde)
(-gja => -gji)
(gji => gja)
(-dbi => dcd)
(-dcd => dbi)
(-dhc => -dhh)
(dhh => dhc)
(ehb => ehi)
(-ehi => -ehb)
(ddg => -dcj)
(dcj => -ddg)
(-idh => idi)
(-idi => idh)
(chj => cig)
(-cig => -chj)
(-ggg => ghg)
(-ghg => ggg)
(-jja => jjc)
(-jjc => jja)
(bhh => -bhb)
(bhb => -bhh)
(-efj => egg)
(-egg => efj)
(-iie => iib)
(-iib => iie)
(-hfa => -hfb)
(hfb => hfa)
(-dib => dia)
(-dia => dib)
(hag => -hbf)
(hbf => -hag)
(jia => -jig)
(jig => -jia)
(-da => -cj)
(cj => da)
(gdb => -gdc)
(gdc => -gdb)
(bhh => -bhj)
(bhj => -bhh)
(-gi => -hc)
(hc => gi)
(-cfc => cga)
(-cga => cfc)
(dc => -ci)
(ci => -dc)
(fcj => fch)
(-fch => -fcj)
(-ehj => ehd)
(-ehd => ehj)
(-dec => deb)
(-deb => dec)
(dac => -daj)
(daj => -dac)
(jjg => jje)
(-jje => -jjg)
(eif => eid)
(-eid => -eif)
(cce => -cdc)
(cdc => -cce)
(-ccj => cdb)
(-cdb => ccj)
(gch => gdf)
(-gdf => -gch)
(-fdb => -fce)
(fce => fdb)
(-ehj => ehd)
(-ehd => ehj)
(hga => -hgd)
(hgd => -hga)
(-hci => -hca)
(hca => hci)
(cjh => cjb)
(-cjb => -cjh)
(-eic => -eig)
(eig => eic)
(ghi => -gif)
(gif => -ghi)
(cfg => -cfb)
(cfb => -cfg)
(cfh => cej)
(-cej => -cfh)
(ihc => ihd)
(-ihd => -ihc)
(cgi => cgf)
(-cgf => -cgi)
(gce => gbf)
(-gbf => -gce)
(-gai => -gac)
(gac => gai)
(-ihe => -iid)
(iid => ihe)
(-cfa => -cfd)
(cfd => cfa)
(-eab => -djg)
(djg => eab)
(fcd => -fcg)
(fcg => -fcd)
(jh => -jc)
(jc => -jh)
(-cj => dj)
(-dj => cj)
(-db => cj)
(-cj => db)
(-gij => gia)
(-gia => gij)
(ibj => iaj)
(-iaj => -ibj)
(-igi => -igh)
(igh => igi)
(dcd => -dbd)
(dbd => -dcd)
(-iie => ihe)
(-ihe => iie)
(-ibj => iai)
(-iai => ibj)
(cba => -cbj)
(cbj => -cba)
(-gii => -ghi)
(ghi => gii)
(-jae => -jah)
(jah => jae)
(bbc => bbb)
(-bbb => -bbc)
(-gc => ga)
(-ga => gc)
(-ffe => fej)
(-fej => ffe)
(fch => fcc)
(-fcc => -fch)
(he => -hg)
(hg => -he)
(jhb => -jgh)
(jgh => -jhb)
(-ec => -fc)
(fc => ec)
(jgc => jga)
(-jga => -jgc)
(ice => -ica)
(ica => -ice)
(-iab => hje)
(-hje => iab)
(-hif => -hii)
(hii => hif)
(-ieh => ifh)
(-ifh => ieh)
(hbc => had)
(-had => -hbc)
(-eec => -edc)
(edc => eec)
(-jic => jhh)
(-jhh => jic)
(ceb => cef)
(-cef => -ceb)
(-bih => -bid)
(bid => bih)
(-dai => -daf)
(daf => dai)
(-ghb => ggf)
(-ggf => ghb)
(-eah => ebe)
(-ebe => eah)
(jhj => jih)
(-jih => -jhj)
(hdb => -hdh)
(hdh => -hdb)
(ifa => -ifc)
(ifc => -ifa)
(ej => -fc)
(fc => -ej)
(dge => -dgd)
(dgd => -dge)
(gbc => -gbj)
(gbj => -gbc)
(-dg => ch)
(-ch => dg)
(-iff => ieg)
(-ieg => iff)
(-ccf => -cde)
(cde => ccf)
(cbj => -cca)
(cca => -cbj)
(bgb => bfh)
(-bfh => -bgb)
(-dgb => dff)
(-dff => dgb)
(-hed => heh)
(-heh => hed)
(-gca => gcc)
(-gcc => gca)
(-cc => cd)
(-cd => cc)
(bei => -bfd)
(bfd => -bei)
(egi => -egd)
(egd => -egi)
(-cee => -cdi)
(cdi => cee)
(-ehf => -eha)
(eha => ehf)
(hg => he)
(-he => -hg)
(-cgf => cgb)
(-cgb => cgf)
(-gaa => gae)
(-gae => gaa)
(bgj => bge)
(-bge => -bgj)
(ebi => -ecb)
(ecb => -ebi)
(def => ddj)
(-ddj => -def)
(-ecg => -ebi)
(ebi => ecg)
(jha => jgg)
(-jgg => -jha)
(jih => jii)
(-jii => -jih)
(-geh => gee)
(-gee => geh)
(i => bc)
(-bc => -i)
(-dff => -dfc)
(dfc => dff)
(fca => fbg)
(-fbg => -fca)
(edg => -edd)
(edd => -edg)
(hfe => hfa)
(-hfa => -hfe)
(-die => -did)
(did => die)
(-gia => ghj)
(-ghj => gia)
(ggd => -gfc)
(gfc => -ggd)
(ijb => -ijd)
(ijd => -ijb)
(-hjf => -iad)
(iad => hjf)
(jah => jaj)
(-jaj => -jah)
(-iaf => hji)
(-hji => iaf)
(bfe => bfg)
(-bfg => -bfe)
(-ege => -egf)
(egf => ege)
(-dde => -dcg)
(dcg => dde)
(-bja => -bje)
(bje => bja)
(fdh => fea)
(-fea => -fdh)
(bgh => -bfi)
(bfi => -bgh)
(-hga => -hfi)
(hfi => hga)
(gha => ggi)
(-ggi => -gha)
(bf => -ca)
(ca => -bf)
(-gbh => gcc)
(-gcc => gbh)
(ddg => dci)
(-dci => -ddg)
(jb => ja)
(-ja => -jb)
(cad => cag)
(-cag => -cad)
(-hgf => hgb)
(-hgb => hgf)
(-eef => -eei)
(eei => eef)
(jdj => -jeg)
(jeg => -jdj)
(-cej => cga)
(-cga => cej)
(-hcj => -heb)
(heb => hcj)
(bhg => -bhf)
(bhf => -bhg)
(-igg => -igj)
(igj => igg)
(-eeg => -efb)
(efb => eeg)
(eeg => efd)
(-efd => -eeg)
(bfg => bfa)
(-bfa => -bfg)
(-cfe => cfh)
(-cfh => cfe)
(jeb => jdh)
(-jdh => -jeb)
(bib => -bhb)
(bhb => -bib)
(-efa => -efb)
(efb => efa)
(-cbh => cbi)
(-cbi => cbh)
(ffg => fff)
(-fff => -ffg)
(iib => -ihj)
(ihj => -iib)
(ggb => -gfj)
(gfj => -ggb)
(-cib => chg)
(-chg => cib)
(fdd => fch)
(-fch => -fdd)
(ejc => -ejb)
(ejb => -ejc)
(ege => -egh)
(egh => -ege)
(igc => ihb)
(-ihb => -igc)
(-igd => -iha)
(iha => igd)
(-hej => -hec)
(hec => hej)
(bba => bbg)
(-bbg => -bba)
(-edj => -eda)
(eda => edj)
(hja => -hif)
(hif => -hja)
(bij => -bjb)
(bjb => -bij)
(hdb => hdd)
(-hdd => -hdb)
(gbc => -gce)
(gce => -gbc)
(-feg => feb)
(-feb => feg)
(jcc => jcd)
(-jcd => -jcc)
(-fjg => -fjb)
(fjb => fjg)
(-bge => bfh)
(-bfh => bge)
(fch => fdd)
(-fdd => -fch)
(gia => -gid)
(gid => -gia)
(-cgc => -cgb)
(cgb => cgc)
(-eej => eeh)
(-eeh => eej)
(-bah => bbh)
(-bbh => bah)
(-efd => eed)
(-eed => efd)
(fib => -fid)
(fid => -fib)
(-hfb => -hee)
(hee => hfb)
(-hc => -hb)
(hb => hc)
(fch => fda)
(-fda => -fch)
(jdd => -jcj)
(jcj => -jdd)
(-dhd => dha)
(-dha => dhd)
(-bid => -bih)
(bih => bid)
(hbj => -hce)
(hce => -hbj)
(-egg => -egh)
(egh => egg)
(-cid => -chf)
(chf => cid)
(ihb => igh)
(-igh => -ihb)
(jd => je)
(-je => -jd)
(-f => ba)
(-ba => f)
(-dig => -dif)
(dif => dig)
(jdc => -jcf)
(jcf => -jdc)
(fib => fie)
(-fie => -fib)
(bbj => bcc)
(-bcc => -bbj)
(fjd => -fjg)
(fjg => -fjd)
(-gdh => gci)
(-gci => gdh)
(-cbc => caj)
(-caj => cbc)
(ich => -icd)
(icd => -ich)
(fga => -fgb)
(fgb => -fga)
(-geb => gfa)
(-gfa => geb)
(hc => -hd)
(hd => -hc)
(iac => -iaa)
(iaa => -iac)
(-jjd => jjc)
(-jjc => jjd)
(-hcc => -hca)
(hca => hcc)
(-dee => dei)
(-dei => dee)
(-dce => dbf)
(-dbf => dce)
(cih => cjh)
(-cjh => -cih)
(-faf => -eji)
(eji => faf)
(gff => -gfi)
(gfi => -gff)
(ddi => -ddg)
(ddg => -ddi)
(eaj => -ebc)
(ebc => -eaj)
(-gbb => gah)
(-gah => gbb)
(i => -bb)
(bb => -i)
(-bed => -bde)
(bde => bed)
(dbj => -dcd)
(dcd => -dbj)
(-iif => iig)
(-iig => iif)
(eje => -eja)
(eja => -eje)
(cdj => -cea)
(cea => -cdj)
(jfg => jfa)
(-jfa => -jfg)
(-caj => -cbg)
(cbg => caj)
(jcj => jch)
(-jch => -jcj)
(-fcd => fda)
(-fda => fcd)
(-fif => fhf)
(-fhf => fif)
(ich => -ice)
(ice => -ich)
(-eid => ejb)
(-ejb => eid)
(gga => -ggd)
(ggd => -gga)
(-gbi => -gbj)
(gbj => gbi)
(-edi => -edf)
(edf => edi)
(bfh => bgh)
(-bgh => -bfh)
(-ceb => ced)
(-ced => ceb)
(hac => -gjb)
(gjb => -hac)
(jhh => -jhj)
(jhj => -jhh)
(-cji => cih)
(-cih => cji)
(-bf => cc)
(-cc => bf)
(-hch => -hbh)
(hbh => hch)
(cgg => -cgh)
(cgh => -cgg)
(bgi => bgf)
(-bgf => -bgi)
(-ddi => dda)
(-dda => ddi)
(hef => hfd)
(-hfd => -hef)
(fih => fjd)
(-fjd => -fih)
(-fjb => -fje)
(fje => fjb)
(-gcc => gbe)
(-gbe => gcc)
(iga => -ige)
(ige => -iga)
(hha => hgj)
(-hgj => -hha)
(gei => -geg)
(geg => -gei)
(jcj => jcg)
(-jcg => -jcj)
(dhb => dhc)
(-dhc => -dhb)
(fch => -fcg)
(fcg => -fch)
(-iha => -igd)
(igd => iha)
(-jib => -jhh)
(jhh => jib)
(-efj => efi)
(-efi => efj)
(-ih => ia)
(-ia => ih)
(-dbi => -dbe)
(dbe => dbi)
(-ecj => ebi)
(-ebi => ecj)
(bde => bdc)
(-bdc => -bde)
(hje => -iaf)
(iaf => -hje)
(-ghj => gia)
(-gia => ghj)
(-fja => fig)
(-fig => fja)
(-gie => gib)
(-gib => gie)
(gjf => haa)
(-haa => -gjf)
(-dcd => dcc)
(-dcc => dcd)
(-gig => -gih)
(gih => gig)
(ice => -idc)
(idc => -ice)
(gaa => gab)
(-gab => -gaa)
(beg => bfe)
(-bfe => -beg)
(cfb => -cfa)
(cfa => -cfb)
(eei => eef)
(-eef => -eei)
(-igi => -ihb)
(ihb => igi)
(-bfg => -bei)
(bei => bfg)
(-f => -c)
(c => f)
(-ied => -idi)
(idi => ied)
(ejd => -eid)
(eid => -ejd)
(-bhg => -bhb)
(bhb => bhg)
(-fgj => fgi)
(-fgi => fgj)
(-jgi => jhf)
(-jhf => jgi)
(-hi => -gi)
(gi => hi)
(-bii => -bij)
(bij => bii)
(ejg => fab)
(-fab => -ejg)
(-hih => -hij)
(hij => hih)
(ci => di)
(-di => -ci)
(-haa => hab)
(-hab => haa)
(-ied => idg)
(-idg => ied)
(eag => -eah)
(eah => -eag)
(eag => ebe)
(-ebe => -eag)
(ceb => -cdj)
(cdj => -ceb)
(gef => geh)
(-geh => -gef)
(-die => dig)
(-dig => die)
(-eeb => -ede)
(ede => eeb)
(-cja => cij)
(-cij => cja)
(-cei => cfa)
(-cfa => cei)
(-hge => -hfi)
(hfi => hge)
(-icg => -ici)
(ici => icg)
(bda => -bcg)
(bcg => -bda)
(bca => bce)
(-bce => -bca)
(ebi => ecf)
(-ecf => -ebi)
(-ccf => -ccc)
(ccc => ccf)
(cgg => cgh)
(-cgh => -cgg)
(-hci => hbg)
(-hbg => hci)
(gac => -gai)
(gai => -gac)
(-fad => -fab)
(fab => fad)
(-gdi => -gef)
(gef => gdi)
(bgg => -bgj)
(bgj => -bgg)
(-fea => -fec)
(fec => fea)
(ehg => ehb)
(-ehb => -ehg)
(hef => hej)
(-hej => -hef)
(-cjg => cja)
(-cja => cjg)
(ecf => ecj)
(-ecj => -ecf)
(-dda => -ddi)
(ddi => dda)
(-bfg => -bej)
(bej => bfg)
(-cii => cji)
(-cji => cii)
(iee => idh)
(-idh => -iee)
(-chg => cia)
(-cia => chg)
(-cae => -bji)
(bji => cae)
(fga => fhb)
(-fhb => -fga)
(dbc => -dbb)
(dbb => -dbc)
(ihe => ihh)
(-ihh => -ihe)
(bd => bc)
(-bc => -bd)
(-dha => dgg)
(-dgg => dha)
(-bci => bch)
(-bch => bci)
(-jdg => -jda)
(jda => jdg)
(-jbc => jcc)
(-jcc => jbc)
(-hic => -hig)
(hig => hic)
(dce => dbi)
(-dbi => -dce)
(ie => -jb)
(jb => -ie)
(-fe => gb)
(-gb => fe)
(ibb => -ibf)
(ibf => -ibb)
(-dca => dbi)
(-dbi => dca)
(-icb => -ich)
(ich => icb)
(-jbe => jbj)
(-jbj => jbe)
(-gdi => geh)
(-geh => gdi)
(ff => -fg)
(fg => -ff)
(bhb => bhe)
(-bhe => -bhb)
(-ggc => -gfg)
(gfg => ggc)
(dci => dda)
(-dda => -dci)
(egc => -egh)
(egh => -egc)
(gbj => -gcd)
(gcd => -gbj)
(-iaf => iag)
(-iag => iaf)
(dgd => dfj)
(-dfj => -dgd)
(jia => jid)
(-jid => -jia)
(gh => ha)
(-ha => -gh)
(-cdd => -cdb)
(cdb => cdd)
(-jab => jag)
(-jag => jab)
(-dcj => -ddi)
(ddi => dcj)
(jdg => -jcg)
(jcg => -jdg)
(dba => -dae)
(dae => -dba)
(-hhf => -hhh)
(hhh => hhf)
(-jbi => -jbf)
(jbf => jbi)
(-hcf => -hcg)
(hcg => hcf)
(gaf => -gah)
(gah => -gaf)
(-fde => feb)
(-feb => fde)
(hei => -heg)
(heg => -hei)
(hhh => -hhe)
(hhe => -hhh)
(fce => -fda)
(fda => -fce)
(-bcf => -bbj)
(bbj => bcf)
(-hja => -hif)
(hif => hja)
(jec => -jdh)
(jdh => -jec)
(cce => -cdb)
(cdb => -cce)
(-fjh => -fjg)
(fjg => fjh)
(-dbe => dce)
(-dce => dbe)
(-gf => -fj)
(fj => gf)
(edj => -edd)
(edd => -edj)
(cf => -bi)
(bi => -cf)
(dcd => -dcf)
(dcf => -dcd)
(jhb => jgj)
(-jgj => -jhb)
(jga => -jfc)
(jfc => -jga)
(-cee => -ced)
(ced => cee)
(-bfj => -bgg)
(bgg => bfj)
(hbh => hbi)
(-hbi => -hbh)
(h => e)
(-e => -h)
(efb => eff)
(-eff => -efb)
(eei => -eeg)
(eeg => -eei)
(-ghb => ggg)
(-ggg => ghb)
(-cjj => -cjd)
(cjd => cjj)
(-gfh => -ggb)
(ggb => gfh)
(cfj => cfa)
(-cfa => -cfj)
(cdi => -cdf)
(cdf => -cdi)
(jfc => jfh)
(-jfh => -jfc)
(hfh => -hgf)
(hgf => -hfh)
(gac => -gaf)
(gaf => -gac)
(-ebe => eai)
(-eai => ebe)
(ghj => -gid)
(gid => -ghj)
(gjb => gjj)
(-gjj => -gjb)
(-hac => -gji)
(gji => hac)
(-igc => igi)
(-igi => igc)
(-chi => -cia)
(cia => chi)
(-hja => -hii)
(hii => hja)
(-haa => gje)
(-gje => haa)
(-eie => -eif)
(eif => eie)
(gid => gif)
(-gif => -gid)
(fa => ed)
(-ed => -fa)
(-hfe => -heg)
(heg => hfe)
(-iag => -hje)
(hje => iag)
(-jha => jhe)
(-jhe => jha)
(deb => dfa)
(-dfa => -deb)
(-fjc => -fih)
(fih => fjc)
(ieh => -ife)
(ife => -ieh)
(jga => -jfb)
(jfb => -jga)
(-eah => eae)
(-eae => eah)
(bjh => -cag)
(cag => -bjh)
(-jaf => -jaa)
(jaa => jaf)
(-ead => djf)
(-djf => ead)
(-cj => -dd)
(dd => cj)
(dah => -daa)
(daa => -dah)
(-gdg => gcg)
(-gcg => gdg)
(-dce => dbd)
(-dbd => dce)
(-ijh => -iih)
(iih => ijh)
(cbj => cba)
(-cba => -cbj)
(chc => cgj)
(-cgj => -chc)
(-hej => -hfb)
(hfb => hej)
(haj => -had)
(had => -haj)
(-ddf => dde)
(-dde => ddf)
(dga => dfc)
(-dfc => -dga)
(-cad => -cai)
(cai => cad)
(-ifc => -iei)
(iei => ifc)
(-dac => -dba)
(dba => dac)
(hba => -hbe)
(hbe => -hba)
(idj => -iea)
(iea => -idj)
(gic => gij)
(-gij => -gic)
(-bd => f)
(-f => bd)
(cjg => cij)
(-cij => -cjg)
(-ccf => -cda)
(cda => ccf)
(hfe => -heg)
(heg => -hfe)
(-hja => hic)
(-hic => hja)
(-ghf => -ghc)
(ghc => ghf)
(-bci => -bcj)
(bcj => bci)
(-jje => jjh)
(-jjh => jje)
(ihe => -iic)
(iic => -ihe)
(fif => -fid)
(fid => -fif)
(-cgf => -cgd)
(cgd => cgf)
(-fcb => fdb)
(-fdb => fcb)
(-ffb => -fej)
(fej => ffb)
(-gji => haa)
(-haa => gji)
(icc => -icj)
(icj => -icc)
(-dgh => dhe)
(-dhe => dgh)
(bda => -bcg)
(bcg => -bda)
(fgd => -fgi)
(fgi => -fgd)
(-igg => -igj)
(igj => igg)
(-gcf => gch)
(-gch => gcf)
(jdg => jcg)
(-jcg => -jdg)
(gbf => gbg)
(-gbg => -gbf)
(hih => -hii)
(hii => -hih)
(bij => -bih)
(bih => -bij)
(-cfd => -cfh)
(cfh => cfd)
(jfd => jfj)
(-jfj => -jfd)
(-cif => cid)
(-cid => cif)
(fgh => -fgj)
(fgj => -fgh)
(-hfh => -hgb)
(hgb => hfh)
(icg => idc)
(-idc => -icg)
(-bia => -bib)
(bib => bia)
(caj => -cbi)
(cbi => -caj)
(bcb => bcf)
(-bcf => -bcb)
(hge => hfg)
(-hfg => -hge)
(hhb => hhd)
(-hhd => -hhb)
(-hgg => -hgc)
(hgc => hgg)
(-gaf => gag)
(-gag => gaf)
(-chb => cha)
(-cha => chb)
(-icj => -icc)
(icc => icj)
(eed => eef)
(-eef => -eed)
(ifc => -iej)
(iej => -ifc)
(gij => gif)
(-gif => -gij)
(jbg => -jbd)
(jbd => -jbg)
(hc => -he)
(he => -hc)
(-jgj => -jgi)
(jgi => jgj)
(-geg => gee)
(-gee => geg)
(-ifh => iff)
(-iff => ifh)
(-gja => gji)
(-gji => gja)
(-ebi => ech)
(-ech => ebi)
(-jci => -jdf)
(jdf => jci)
(bhh => bhe)
(-bhe => -bhh)
(jbe => jbd)
(-jbd => -jbe)
(dga => dgc)
(-dgc => -dga)
(-cgf => chc)
(-chc => cgf)
(ibg => -ibd)
(ibd => -ibg)
(dab => -dac)
(dac => -dab)
(-gaa => gac)
(-gac => gaa)
(deg => deh)
(-deh => -deg)
(ieh => -ifb)
(ifb => -ieh)
(-fhe => -fhj)
(fhj => fhe)
(-jaf => -jag)
(jag => jaf)
(-bie => bjf)
(-bjf => bie)
(-big => bij)
(-bij => big)
(-jdd => -jce)
(jce => jdd)
(-hje => iag)
(-iag => hje)
(-bfh => -bgg)
(bgg => bfh)
(-bdf => bec)
(-bec => bdf)
(-ehb => eia)
(-eia => ehb)
(-ice => -ici)
(ici => ice)
(dcc => -dbe)
(dbe => -dcc)
(bic => bhb)
(-bhb => -bic)
(jdj => jeb)
(-jeb => -jdj)
(hdc => -hda)
(hda => -hdc)
(gad => gaf)
(-gaf => -gad)
(bie => bid)
(-bid => -bie)
(-gdi => gdj)
(-gdj => gdi)
(hc => -gh)
(gh => -hc)
(-jaj => jae)
(-jae => jaj)
(fee => fed)
(-fed => -fee)
(-baa => -je)
(je => baa)
(cag => -cai)
(cai => -cag)
(ghj => gif)
(-gif => -ghj)
(cbb => -cbc)
(cbc => -cbb)
(-jdc => -jdf)
(jdf => jdc)
(fc => -eh)
(eh => -fc)
(-jf => -bae)
(bae => jf)
(hh => -he)
(he => -hh)
(-cjg => cii)
(-cii => cjg)
(-cci => -ccc)
(ccc => cci)
(hjb => -hie)
(hie => -hjb)
(-chd => chb)
(-chb => chd)
(cb => bh)
(-bh => -cb)
(-ebi => -ebh)
(ebh => ebi)
(hec => hef)
(-hef => -hec)
(hji => iab)
(-iab => -hji)
(cjj => cji)
(-cji => -cjj)
(fdh => -fee)
(fee => -fdh)
(gee => ged)
(-ged => -gee)
(-jac => jag)
(-jag => jac)
(cja => cjb)
(-cjb => -cja)
(gbh => -gcc)
(gcc => -gbh)
(edj => edi)
(-edi => -edj)
(jcb => -jbg)
(jbg => -jcb)
(-icc => -ica)
(ica => icc)
(fd => gc)
(-gc => -fd)
(-fcg => -fci)
(fci => fcg)
(-iii => -ijg)
(ijg => iii)
(iej => -iff)
(iff => -iej)
(-jif => -jib)
(jib => jif)
(-gd => fd)
(-fd => gd)
(jjc => jjj)
(-jjj => -jjc)
(hif => hig)
(-hig => -hif)
(-fg => -gd)
(gd => fg)
(di => dg)
(-dg => -di)
(gh => hb)
(-hb => -gh)
(-hgc => -hgf)
(hgf => hgc)
(gbg => gbd)
(-gbd => -gbg)
(efc => -eee)
(eee => -efc)
(-eje => -eih)
(eih => eje)
(fcg => -fcj)
(fcj => -fcg)
(cah => cab)
(-cab => -cah)
(dcf => dca)
(-dca => -dcf)
(gcd => gca)
(-gca => -gcd)
(gga => gfb)
(-gfb => -gga)
(-cif => -chi)
(chi => cif)
(-fij => -fje)
(fje => fij)
(-dch => dde)
(-dde => dch)
(-gja => gjd)
(-gjd => gja)
(-bee => -bff)
(bff => bee)
(cdf => -cdg)
(cdg => -cdf)
(ghd => ggi)
(-ggi => -ghd)
(jaj => jaf)
(-jaf => -jaj)
(ejb => -eig)
(eig => -ejb)
(hjd => -hie)
(hie => -hjd)
(fh => fi)
(-fi => -fh)
(-cfd => cfh)
(-cfh => cfd)
(-bge => -bgc)
(bgc => bge)
(-efg => -egb)
(egb => efg)
(jjd => jij)
(-jij => -jjd)
(-ech => ecd)
(-ecd => ech)
(-fha => fgj)
(-fgj => fha)
(-dej => -dea)
(dea => dej)
(fhg => fhj)
(-fhj => -fhg)
(heh => -hec)
(hec => -heh)
(-dcd => -dbf)
(dbf => dcd)
(-gbi => -gbg)
(gbg => gbi)
(-cfj => cfd)
(-cfd => cfj)
(fbf => faj)
(-faj => -fbf)
(iff => iej)
(-iej => -iff)
(igc => -ifj)
(ifj => -igc)
(hdf => -hdj)
(hdj => -hdf)
(gjb => gjf)
(-gjf => -gjb)
(-bad => jd)
(-jd => bad)
(-eid => eih)
(-eih => eid)
(-fba => fbc)
(-fbc => fba)
(jeh => -jeg)
(jeg => -jeh)
(cie => chi)
(-chi => -cie)
(hdi => -hcj)
(hcj => -hdi)
(-fgf => -fgb)
(fgb => fgf)
(hah => hae)
(-hae => -hah)
(hdg => -hdc)
(hdc => -hdg)
(jbb => jbi)
(-jbi => -jbb)
(ejh => -fae)
(fae => -ejh)
(dcc => dbi)
(-dbi => -dcc)
(jgg => jgi)
(-jgi => -jgg)
(cbf => cbi)
(-cbi => -cbf)
(-bih => bje)
(-bje => bih)
(-gii => -gij)
(gij => gii)
(ghc => ggi)
(-ggi => -ghc)
(idh => -idg)
(idg => -idh)
(eaj => eag)
(-eag => -eaj)
(hjd => -hic)
(hic => -hjd)
(jaj => jad)
(-jad => -jaj)
(-jfj => -jfa)
(jfa => jfj)
(ei => -eh)
(eh => -ei)
(hde => hdb)
(-hdb => -hde)
(cdb => -ccd)
(ccd => -cdb)
(-jfb => -jgb)
(jgb => jfb)
(-ibe => iah)
(-iah => ibe)
(-dah => -dbb)
(dbb => dah)
(-jcc => jbg)
(-jbg => jcc)
(dcd => dbi)
(-dbi => -dcd)
(ic => ih)
(-ih => -ic)
(ig => -ja)
(ja => -ig)
(-jbh => -jcd)
(jcd => jbh)
(-fja => fii)
(-fii => fja)
(-dhg => -dhb)
(dhb => dhg)
(hdf => hdb)
(-hdb => -hdf)
(-bjj => -bji)
(bji => bjj)
(ejb => -eje)
(eje => -ejb)
(-jdj => jec)
(-jec => jdj)
(gdi => gef)
(-gef => -gdi)
(id => if)
(-if => -id)
(bdh => -bea)
(bea => -bdh)
(-jbc => -jbb)
(jbb => jbc)
(eed => eeg)
(-eeg => -eed)
(gge => ggf)
(-ggf => -gge)
(-fjj => -gai)
(gai => fjj)
(-dgd => dff)
(-dff => dgd)
(-dda => dde)
(-dde => dda)
(-egf => -egd)
(egd => egf)
(-eai => -ebe)
(ebe => eai)
(hac => haa)
(-haa => -hac)
(djc => -eac)
(eac => -djc)
(-cee => -ceg)
(ceg => cee)
(-bdh => bdc)
(-bdc => bdh)
(dhi => dij)
(-dij => -dhi)
(-ghd => -ghe)
(ghe => ghd)
(hfc => -hee)
(hee => -hfc)
(-ije => -iii)
(iii => ije)
(eh => -ei)
(ei => -eh)
(-jbi => jbb)
(-jbb => jbi)
(-eeb => -edf)
(edf => eeb)
(cgi => -cgh)
(cgh => -cgi)
(-jic => jhi)
(-jhi => jic)
(-iig => ijh)
(-ijh => iig)
(bje => bja)
(-bja => -bje)
(-eaf => ebg)
(-ebg => eaf)
(-bhj => bhc)
(-bhc => bhj)
(jha => jgf)
(-jgf => -jha)
(fhb => -fgi)
(fgi => -fhb)
(fa => -eh)
(eh => -fa)
(bad => jf)
(-jf => -bad)
(gdh => -gcf)
(gcf => -gdh)
(-fdg => -fef)
(fef => fdg)
(dc => df)
(-df => -dc)
(-hdb => -hdi)
(hdi => hdb)
(feb => fdh)
(-fdh => -feb)
(eaf => -eae)
(eae => -eaf)
(dhj => -dia)
(dia => -dhj)
(-jji => -jjb)
(jjb => jji)
(ide => idd)
(-idd => -ide)
(dhb => -dha)
(dha => -dhb)
(h => -bc)
(bc => -h)
(-bci => bch)
(-bch => bci)
(hce => -hch)
(hch => -hce)
(-fcd => fdc)
(-fdc => fcd)
(-ihj => ihf)
(-ihf => ihj)
(-jii => jif)
(-jif => jii)
(-bgb => bge)
(-bge => bgb)
(-jgd => -jge)
(jge => jgd)
(-fib => -fhh)
(fhh => fib)
(-jif => jih)
(-jih => jif)
(dba => dbb)
(-dbb => -dba)
(-bac => -jj)
(jj => bac)
(ffa => ffb)
(-ffb => -ffa)
(ggi => ggh)
(-ggh => -ggi)
(icg => ida)
(-ida => -icg)
(bdc => -beb)
(beb => -bdc)
(-bih => bje)
(-bje => bih)
(egj => -ehd)
(ehd => -egj)
(-dab => -daj)
(daj => dab)
(ddi => -ddg)
(ddg => -ddi)
(fjg => fjf)
(-fjf => -fjg)
(eij => -eid)
(eid => -eij)
(jjj => jij)
(-jij => -jjj)
(-jfj => jfb)
(-jfb => jfj)
(-dac => -dai)
(dai => dac)
(gfi => -gga)
(gga => -gfi)
(-eif => -eic)
(eic => eif)
(fgc => -fge)
(fge => -fgc)
(hbc => -hbd)
(hbd => -hbc)
(cb => cc)
(-cc => -cb)
(-bja => bih)
(-bih => bja)
(-faf => -fah)
(fah => faf)
(eag => eaj)
(-eaj => -eag)
(jdi => -jeb)
(jeb => -jdi)
(dcc => -dbf)
(dbf => -dcc)
(-hji => -hjh)
(hjh => hji)
(bdd => -bdb)
(bdb => -bdd)
(jci => jdd)
(-jdd => -jci)
(cgd => -cgf)
(cgf => -cgd)
(ecd => ecc)
(-ecc => -ecd)
(djc => -eac)
(eac => -djc)
(-iig => -iij)
(iij => iig)
(-de => dh)
(-dh => de)
(jff => jfd)
(-jfd => -jff)
(-jgg => -jge)
(jge => jgg)
(bec => -bdj)
(bdj => -bec)
(dgd => -dgc)
(dgc => -dgd)
(dch => -ddc)
(ddc => -dch)
(hec => hfc)
(-hfc => -hec)
(fie => fhf)
(-fhf => -fie)
(bda => bbj)
(-bbj => -bda)
(-fgi => -fgc)
(fgc => fgi)
(icg => icc)
(-icc => -icg)
(-cja => -cjh)
(cjh => cja)
(-bbg => bbd)
(-bbd => bbg)
(icg => icf)
(-icf => -icg)
(eib => ehi)
(-ehi => -eib)
(gei => geb)
(-geb => -gei)
(hg => -hc)
(hc => -hg)
(-bef => bff)
(-bff => bef)
(-bah => bbe)
(-bbe => bah)
(-bhc => -bhh)
(bhh => bhc)
(dha => dgj)
(-dgj => -dha)
(ghc => gha)
(-gha => -ghc)
(dih => -dhj)
(dhj => -dih)
(-jbf => -jbe)
(jbe => jbf)
(dhg => dgj)
(-dgj => -dhg)
(-jbd => jbi)
(-jbi => jbd)
(-cdd => ccj)
(-ccj => cdd)
(efd => efa)
(-efa => -efd)
(-dff => -dgd)
(dgd => dff)
(dai => dbc)
(-dbc => -dai)
(gb => fg)
(-fg => -gb)
(die => -dii)
(dii => -die)
(bhi => -bhd)
(bhd => -bhi)
(cbe => ccb)
(-ccb => -cbe)
(-dhe => dhh)
(-dhh => dhe)
(-ice => -icb)
(icb => ice)
(ech => ece)
(-ece => -ech)
(-ef => -ee)
(ee => ef)
(-dfj => -dfe)
(dfe => dfj)
(hhh => -hhg)
(hhg => -hhh)
(hbc => hbe)
(-hbe => -hbc)
(dea => -dec)
(dec => -dea)
(egd => egh)
(-egh => -egd)
(jff => -jfb)
(jfb => -jff)
(dcc => -dbh)
(dbh => -dcc)
(-bab => -ji)
(ji => bab)
(gag => -gad)
(gad => -gag)
(-ijj => -jad)
(jad => ijj)
(fge => -fgi)
(fgi => -fge)
(-hi => -hg)
(hg => hi)
(gfg => -gfe)
(gfe => -gfg)
(-jih => -jii)
(jii => jih)
(ifj => ige)
(-ige => -ifj)
(bfi => bgc)
(-bgc => -bfi)
(-ijj => -jae)
(jae => ijj)
(bgb => -bfj)
(bfj => -bgb)
(jec => -jed)
(jed => -jec)
(bcg => bch)
(-bch => -bcg)
(gic => gii)
(-gii => -gic)
(-cgj => -cgc)
(cgc => cgj)
(-if => ia)
(-ia => if)
(fbe => fbh)
(-fbh => -fbe)
(-ehi => ehj)
(-ehj => ehi)
(ejf => -fah)
(fah => -ejf)
(-c => ba)
(-ba => c)
(-dag => -dbb)
(dbb => dag)
(dij => dib)
(-dib => -dij)
(cfg => -cfd)
(cfd => -cfg)
(jhd => jha)
(-jha => -jhd)
(cf => -ce)
(ce => -cf)
(-dce => dbi)
(-dbi => dce)
(-eja => -ejc)
(ejc => eja)
(-if => -ie)
(ie => if)
(cc => cb)
(-cb => -cc)
(bfb => bef)
(-bef => -bfb)
(chd => -cgi)
(cgi => -chd)
(-eba => eaf)
(-eaf => eba)
(-egg => -efh)
(efh => egg)
(-dfh => dge)
(-dge => dfh)
(cag => cac)
(-cac => -cag)
(bdb => -bdh)
(bdh => -bdb)
(-ggf => ghe)
(-ghe => ggf)
(gcc => gbc)
(-gbc => -gcc)
(bfe => bfa)
(-bfa => -bfe)
(-hff => hfi)
(-hfi => hff)
(-bi => bh)
(-bh => bi)
(-ie => -id)
(id => ie)
(-ggf => ggi)
(-ggi => ggf)
(ihd => ihj)
(-ihj => -ihd)
(-gab => -gac)
(gac => gab)
(-eeh => -eee)
(eee => eeh)
(-jga => jfj)
(-jfj => jga)
(-ehe => ehh)
(-ehh => ehe)
(ijf => iii)
(-iii => -ijf)
(-ec => -ej)
(ej => ec)
(-hea => -hde)
(hde => hea)
(gfd => -gfj)
(gfj => -gfd)
(chh => che)
(-che => -chh)
(-jif => jhh)
(-jhh => jif)
(-fhb => fha)
(-fha => fhb)
(dfc => -dfj)
(dfj => -dfc)
(-hfj => hga)
(-hga => hfj)
(ig => ie)
(-ie => -ig)
(-gaa => gai)
(-gai => gaa)
(ici => ice)
(-ice => -ici)
(hed => -hei)
(hei => -hed)
(hjf => hji)
(-hji => -hjf)
(-bhd => -bhh)
(bhh => bhd)
(ibf => -ibg)
(ibg => -ibf)
(fbg => -fca)
(fca => -fbg)
(edc => edb)
(-edb => -edc)
(-bge => bgd)
(-bgd => bge)
(jia => -jib)
(jib => -jia)
(-gjg => gjc)
(-gjc => gjg)
(icb => -idb)
(idb => -icb)
(-bai => bbe)
(-bbe => bai)
(-hah => -hbc)
(hbc => hah)
(-gdd => -gcj)
(gcj => gdd)
(-gbe => gbc)
(-gbc => gbe)
(ijh => -ijc)
(ijc => -ijh)
(-dji => djd)
(-djd => dji)
(dje => -eac)
(eac => -dje)
(jgf => jhc)
(-jhc => -jgf)
(fdc => -fcg)
(fcg => -fdc)
(ibg => ibh)
(-ibh => -ibg)
(-fcg => -fcj)
(fcj => fcg)
(-ffi => -ffh)
(ffh => ffi)
(dci => ddi)
(-ddi => -dci)
(hhi => hhd)
(-hhd => -hhi)
(cbh => cbd)
(-cbd => -cbh)
(bed => -bdh)
(bdh => -bed)
(-haj => hba)
(-hba => haj)
(cec => ceg)
(-ceg => -cec)
(fdd => fcf)
(-fcf => -fdd)
(-gdj => -geb)
(geb => gdj)
(ddd => -ddf)
(ddf => -ddd)
(eaj => ebb)
(-ebb => -eaj)
(eji => -faa)
(faa => -eji)
(cfg => -cfb)
(cfb => -cfg)
(-dca => dbd)
(-dbd => dca)
(-big => bid)
(-bid => big)
(dbi => dcb)
(-dcb => -dbi)
(hge => -hfg)
(hfg => -hge)
(bdf => bdg)
(-bdg => -bdf)
(-if => -ic)
(ic => if)
(-eij => -ejc)
(ejc => eij)
(-ida => icj)
(-icj => ida)
(bhg => bha)
(-bha => -bhg)
(jib => jii)
(-jii => -jib)
(-hac => -gje)
(gje => hac)
(ed => -eg)
(eg => -ed)
(-ici => -ice)
(ice => ici)
(hdf => -hdb)
(hdb => -hdf)
(-ccf => cda)
(-cda => ccf)
(egb => -egg)
(egg => -egb)
(-ffi => -feh)
(feh => ffi)
(-gdc => -gch)
(gch => gdc)
(-hbe => -hbb)
(hbb => hbe)
(-de => dh)
(-dh => de)
(jdj => jdh)
(-jdh => -jdj)
(-ccg => -cdb)
(cdb => ccg)
(-jad => -jag)
(jag => jad)
(-bij => -bjb)
(bjb => bij)
(-ghb => -ghg)
(ghg => ghb)
(-efg => ega)
(-ega => efg)
(-ebh => -ebi)
(ebi => ebh)
(-ddh => -dde)
(dde => ddh)
(chc => -chb)
(chb => -chc)
(-cc => -bh)
(bh => cc)
(iaf => hje)
(-hje => -iaf)
(-jda => -jdc)
(jdc => jda)
(-edj => -eeb)
(eeb => edj)
(daa => -dai)
(dai => -daa)
(-eea => edg)
(-edg => eea)
(-dej => deh)
(-deh => dej)
(fa => ea)
(-ea => -fa)
(-hah => -hbb)
(hbb => hah)
(dif => -dhj)
(dhj => -dif)
(-dge => -dfd)
(dfd => dge)
(dfh => -dfg)
(dfg => -dfh)
(-ege => egi)
(-egi => ege)
(dba => dae)
(-dae => -dba)
(-gii => -gig)
(gig => gii)
(-gdd => gcf)
(-gcf => gdd)
(egb => ega)
(-ega => -egb)
(-cbe => cbc)
(-cbc => cbe)
(-hhf => hhe)
(-hhe => hhf)
(-hii => hie)
(-hie => hii)
(-fdj => -fdi)
(fdi => fdj)
(-heh => hej)
(-hej => heh)
(-ifj => ihb)
(-ihb => ifj)
(bah => bai)
(-bai => -bah)
(-cb => cd)
(-cd => cb)
(-hie => -hif)
(hif => hie)
(-faa => -faf)
(faf => faa)
(bej => bef)
(-bef => -bej)
(-ffi => -ffb)
(ffb => ffi)
(-jbb => jbh)
(-jbh => jbb)
(eee => eeg)
(-eeg => -eee)
(-hhc => hhh)
(-hhh => hhc)
(-gfh => -ggc)
(ggc => gfh)
(-dd => dj)
(-dj => dd)
(-efj => egi)
(-egi => efj)
(-fhe => -fhj)
(fhj => fhe)
(-bfg => -bfe)
(bfe => bfg)
(-hi => hb)
(-hb => hi)
(dja => -dhj)
(dhj => -dja)
(-cha => -chb)
(chb => cha)
(-idg => -ief)
(ief => idg)
(-gba => gag)
(-gag => gba)
(-gca => -gbd)
(gbd => gca)
(fbj => -faj)
(faj => -fbj)
(-hfa => hfb)
(-hfb => hfa)
(-dfa => dee)
(-dee => dfa)
(fdb => -fcj)
(fcj => -fdb)
(idi => ied)
(-ied => -idi)
(geh => ged)
(-ged => -geh)
(-fjj => gaj)
(-gaj => fjj)
(fjf => -fja)
(fja => -fjf)
(deh => -dej)
(dej => -deh)
(-fda => -fci)
(fci => fda)
(eeh => efd)
(-efd => -eeh)
(-gda => -gdb)
(gdb => gda)
(fi => -gb)
(gb => -fi)
(hih => -hjd)
(hjd => -hih)
(-ced => ceb)
(-ceb => ced)
(-geb => -gee)
(gee => geb)
(-ddi => -ddc)
(ddc => ddi)
(hg => -ha)
(ha => -hg)
(ejg => fab)
(-fab => -ejg)
(-jba => -jad)
(jad => jba)
(edd => edg)
(-edg => -edd)
(-hab => -gjf)
(gjf => hab)
(caa => -bji)
(bji => -caa)
(igb => -igj)
(igj => -igb)
(-gii => ghh)
(-ghh => gii)
(cba => -cbc)
(cbc => -cba)
(hj => ii)
(-ii => -hj)
(bgi => bfi)
(-bfi => -bgi)
(bhj => -bha)
(bha => -bhj)
(fbf => fbb)
(-fbb => -fbf)
(-bga => -bgg)
(bgg => bga)
(cbj => -cbg)
(cbg => -cbj)
(eji => ejf)
(-ejf => -eji)
(iaf => iac)
(-iac => -iaf)
(-bcb => bbj)
(-bbj => bcb)
(-ggd => gfe)
(-gfe => ggd)
(-ge => gc)
(-gc => ge)
(fge => fgd)
(-fgd => -fge)
(feb => fec)
(-fec => -feb)
(ihd => ihj)
(-ihj => -ihd)
(gdi => -gfa)
(gfa => -gdi)
(-heg => -hef)
(hef => heg)
(-bfa => -bej)
(bej => bfa)
(ibe => -ibg)
(ibg => -ibe)
(-gij => gia)
(-gia => gij)
(-bde => bdg)
(-bdg => bde)
(cdg => ceb)
(-ceb => -cdg)
(fah => -ejj)
(ejj => -fah)
(ecg => ece)
(-ece => -ecg)
(ejj => -fad)
(fad => -ejj)
(-cje => cjh)
(-cjh => cje)
(-dfj => -dgd)
(dgd => dfj)
(-gge => ghb)
(-ghb => gge)
(fhd => -fhe)
(fhe => -fhd)
(bag => bbd)
(-bbd => -bag)
(-h => -g)
(g => h)
(-cee => cdg)
(-cdg => cee)
(-gag => -fjj)
(fjj => gag)
(-hdh => -hcj)
(hcj => hdh)
(dec => -dea)
(dea => -dec)
(fj => -fd)
(fd => -fj)
(fja => -fji)
(fji => -fja)
(-gec => -gef)
(gef => gec)
(-bhd => -bib)
(bib => bhd)
(cij => -cji)
(cji => -cij)
(-bgb => -bgh)
(bgh => bgb)
(dif => -dhi)
(dhi => -dif)
(bc => -i)
(i => -bc)
(bdh => -bdg)
(bdg => -bdh)
(-fba => fbf)
(-fbf => fba)
(-deb => -dej)
(dej => deb)
(gji => -gjf)
(gjf => -gji)
(dch => ddi)
(-ddi => -dch)
(fbe => -fbg)
(fbg => -fbe)
(hie => hic)
(-hic => -hie)
(-ebg => -eah)
(eah => ebg)
(-fhh => fhj)
(-fhj => fhh)
(-fej => -ffj)
(ffj => fej)
(egi => efi)
(-efi => -egi)
(-fic => fhi)
(-fhi => fic)
(jhc => jhf)
(-jhf => -jhc)
(eif => -ejd)
(ejd => -eif)
(fcc => -fdc)
(fdc => -fcc)
(ecc => ech)
(-ech => -ecc)
(fbc => fbj)
(-fbj => -fbc)
(-hbg => hcc)
(-hcc => hbg)
(ch => df)
(-df => -ch)
(hic => -hid)
(hid => -hic)
(-gcf => gcj)
(-gcj => gcf)
(-eah => eae)
(-eae => eah)
(ejd => -eic)
(eic => -ejd)
(dib => dig)
(-dig => -dib)
(hga => hgc)
(-hgc => -hga)
(-cd => -bg)
(bg => cd)
(did => dig)
(-dig => -did)
(-gjj => -gjh)
(gjh => gjj)
(jdi => jea)
(-jea => -jdi)
(-dbb => -dac)
(dac => dbb)
(bfa => bei)
(-bei => -bfa)
(-dhi => -dic)
(dic => dhi)
(-fif => fhh)
(-fhh => fif)
(-cb => cc)
(-cc => cb)
(fed => fde)
(-fde => -fed)
(hic => -hjb)
(hjb => -hic)
(-baaa => jje)
(-jje => baaa)
(jbj => jcd)
(-jcd => -jbj)
(-cj => db)
(-db => cj)
(-ebe => eah)
(-eah => ebe)
(-ifh => -iei)
(iei => ifh)
(-fea => -fdi)
(fdi => fea)
(ich => icc)
(-icc => -ich)
(-idg => -iea)
(iea => idg)
(ihd => ihh)
(-ihh => -ihd)
(fgi => -fgb)
(fgb => -fgi)
(-jjg => -jij)
(jij => jjg)
(jdj => jdi)
(-jdi => -jdj)
(dgh => dhf)
(-dhf => -dgh)
(-igf => ige)
(-ige => igf)
(-fba => -fbb)
(fbb => fba)
(fia => fhf)
(-fhf => -fia)
(bjc => big)
(-big => -bjc)
(cia => -che)
(che => -cia)
(-jej => jeh)
(-jeh => jej)
(eg => -fb)
(fb => -eg)
(-gja => -gjb)
(gjb => gja)
(-dgb => -dgd)
(dgd => dgb)
(-cff => -cfb)
(cfb => cff)
(-hee => -hec)
(hec => hee)
(cec => cea)
(-cea => -cec)
(-fig => -fje)
(fje => fig)
(-eei => eeg)
(-eeg => eei)
(gdg => -gcg)
(gcg => -gdg)
(-bfc => -bfa)
(bfa => bfc)
(-haf => hbf)
(-hbf => haf)
(bbb => -bah)
(bah => -bbb)
(dfi => -dga)
(dga => -dfi)
(jaj => -jag)
(jag => -jaj)
(ib => ie)
(-ie => -ib)
(dhb => dhe)
(-dhe => -dhb)
(dgc => -dfj)
(dfj => -dgc)
(-ici => -ice)
(ice => ici)
(chj => cid)
(-cid => -chj)
(gbg => gbh)
(-gbh => -gbg)
(iad => -hji)
(hji => -iad)
(-hhj => -hha)
(hha => hhj)
(-dib => dig)
(-dig => dib)
(-dej => dei)
(-dei => dej)
(ege => -egf)
(egf => -ege)
(-fda => fdc)
(-fdc => fda)
(jch => -jda)
(jda => -jch)
(-hbg => hbh)
(-hbh => hbg)
(-cja => cjj)
(-cjj => cja)
(-gbb => -gac)
(gac => gbb)
(-jaf => jai)
(-jai => jaf)
(dcd => dcb)
(-dcb => -dcd)
(ihe => ihj)
(-ihj => -ihe)
(gjh => -gji)
(gji => -gjh)
(-bab => jj)
(-jj => bab)
(did => dia)
(-dia => -did)
(-fhd => -fhj)
(fhj => fhd)
(cgi => cge)
(-cge => -cgi)
(bjc => -bih)
(bih => -bjc)
(-iga => -ihb)
(ihb => iga)
(-gag => -gab)
(gab => gag)
(-bbi => bcg)
(-bcg => bbi)
(-gff => -gfd)
(gfd => gff)
(cbb => -cbh)
(cbh => -cbb)
(-efe => -eeh)
(eeh => efe)
(-ddj => -def)
(def => ddj)
(gei => gec)
(-gec => -gei)
(bbf => -bbd)
(bbd => -bbf)
(-hjd => -hid)
(hid => hjd)
(-bie => -bjb)
(bjb => bie)
(-cfi => -cej)
(cej => cfi)
(ehf => eia)
(-eia => -ehf)
(-cec => -cea)
(cea => cec)
(-jci => jcj)
(-jcj => jci)
(eb => -eg)
(eg => -eb)
(bi => be)
(-be => -bi)
(-idi => -iec)
(iec => idi)
(gbj => gbd)
(-gbd => -gbj)
(fie => fhf)
(-fhf => -fie)
(dej => deh)
(-deh => -dej)
(cbd => -caj)
(caj => -cbd)
(idc => -ice)
(ice => -idc)
(fjc => -fjh)
(fjh => -fjc)
(-bie => -bjc)
(bjc => bie)
(gf => fd)
(-fd => -gf)
(chd => cgf)
(-cgf => -chd)
(bef => bfa)
(-bfa => -bef)
(jd => jh)
(-jh => -jd)
(dej => dfa)
(-dfa => -dej)
(jah => jad)
(-jad => -jah)
(-hd => -gh)
(gh => hd)
(-jgi => jgg)
(-jgg => jgi)
(gcb => -gcd)
(gcd => -gcb)
(bca => -bcb)
(bcb => -bca)
(-bif => bjb)
(-bjb => bif)
(jch => jcf)
(-jcf => -jch)
(-fih => fij)
(-fij => fih)
(eag => eah)
(-eah => -eag)
(ieh => -ife)
(ife => -ieh)
(-gig => ghj)
(-ghj => gig)
(-ija => -ijg)
(ijg => ija)
(-fbb => fbi)
(-fbi => fbb)
(cjd => cja)
(-cja => -cjd)
(-dff => -dfg)
(dfg => dff)
(jja => -jjg)
(jjg => -jja)
(fga => fgb)
(-fgb => -fga)
(-eia => -ehe)
(ehe => eia)
(-ggh => ghg)
(-ghg => ggh)
(-chh => chg)
(-chg => chh)
(-ibi => -ibg)
(ibg => ibi)
(-i => h)
(-h => i)
(-eac => djc)
(-djc => eac)
(-gca => -gcb)
(gcb => gca)
(-igj => -igc)
(igc => igj)
(-idc => ida)
(-ida => idc)
(gbc => gbe)
(-gbe => -gbc)
(-dia => -dhi)
(dhi => dia)
(-ccf => cci)
(-cci => ccf)
(ffi => -ffb)
(ffb => -ffi)
(fah => -fac)
(fac => -fah)
(-fie => fhh)
(-fhh => fie)
(-eba => -eaj)
(eaj => eba)
(-ebf => -eag)
(eag => ebf)
(eea => edd)
(-edd => -eea)
(-iah => -ibb)
(ibb => iah)
(-ecc => ebj)
(-ebj => ecc)
(eed => -eee)
(eee => -eed)
(-jcb => jcc)
(-jcc => jcb)
(ejh => -faf)
(faf => -ejh)
(-gjb => -gji)
(gji => gjb)
(-iba => -ibf)
(ibf => iba)
(-hi => -hf)
(hf => hi)
(ecd => -eci)
(eci => -ecd)
(cai => cac)
(-cac => -cai)
(-big => -bid)
(bid => big)
(bdj => -bec)
(bec => -bdj)
(-jff => jfj)
(-jfj => jff)
(-ebj => -ece)
(ece => ebj)
(-ehi => -ehj)
(ehj => ehi)
(-djg => djd)
(-djd => djg)
(-bfd => bef)
(-bef => bfd)
(dca => -dcd)
(dcd => -dca)
(cfg => cfc)
(-cfc => -cfg)
(-igj => igh)
(-igh => igj)
(cfh => cei)
(-cei => -cfh)
(fei => -feh)
(feh => -fei)
(-fgi => -fgb)
(fgb => fgi)
(egj => -eia)
(eia => -egj)
(hcf => -hbj)
(hbj => -hcf)
(-heh => hej)
(-hej => heh)
(bff => beh)
(-beh => -bff)
(-ica => idb)
(-idb => ica)
(bc => e)
(-e => -bc)
(cid => -cif)
(cif => -cid)
(-iaf => hjf)
(-hjf => iaf)
(-jcc => -jcb)
(jcb => jcc)
(gda => -gcj)
(gcj => -gda)
(bib => -bha)
(bha => -bib)
(igc => igb)
(-igb => -igc)
(eda => -edi)
(edi => -eda)
(-gjb => -gje)
(gje => gjb)
(ida => -icf)
(icf => -ida)
(gbj => -gcc)
(gcc => -gbj)
(-hh => -hi)
(hi => hh)
(ec => ei)
(-ei => -ec)
(ggb => gfd)
(-gfd => -ggb)
(-icd => idb)
(-idb => icd)
(-cfe => cej)
(-cej => cfe)
(-ead => -djg)
(djg => ead)
(-geh => gdj)
(-gdj => geh)
(-dfa => -dej)
(dej => dfa)
(-jhe => jgi)
(-jgi => jhe)
(-dfg => dfh)
(-dfh => dfg)
(-jad => -jba)
(jba => jad)
(-iea => -idj)
(idj => iea)
(-gdh => -gdc)
(gdc => gdh)
(-fhb => -fga)
(fga => fhb)
(-hdj => -hdh)
(hdh => hdj)
(gje => -hac)
(hac => -gje)
(-iii => ijg)
(-ijg => iii)
(-fjd => fjh)
(-fjh => fjd)
(hif => hie)
(-hie => -hif)
(cfi => -cfc)
(cfc => -cfi)
(-hae => -hbc)
(hbc => hae)
(-eid => -eig)
(eig => eid)
(-hed => -heg)
(heg => hed)
(-hja => hif)
(-hif => hja)
(-cej => cfj)
(-cfj => cej)
(bjb => bie)
(-bie => -bjb)
(bbd => bba)
(-bba => -bbd)
(fjc => -fig)
(fig => -fjc)
(-eef => efd)
(-efd => eef)
(eif => eig)
(-eig => -eif)
(-g => -b)
(b => g)
(cji => -cjj)
(cjj => -cji)
(-fcd => -fdb)
(fdb => fcd)
(dbi => dca)
(-dca => -dbi)
(-cjd => cja)
(-cja => cjd)
(ji => bab)
(-bab => -ji)
(fbb => -fbh)
(fbh => -fbb)
(-gcc => gbf)
(-gbf => gcc)
(-ehj => ehf)
(-ehf => ehj)
(-ff => ge)
(-ge => ff)
(-jhf => jgg)
(-jgg => jhf)
(-fdh => -fdj)
(fdj => fdh)
(cfg => cfb)
(-cfb => -cfg)
(-bgd => -bgi)
(bgi => bgd)
(hab => -gjh)
(gjh => -hab)
(-dhb => -dhh)
(dhh => dhb)
(jhh => jih)
(-jih => -jhh)
(baaa => -b)
(b => -baaa)
(-gfi => gga)
(-gga => gfi)
(ccd => ccf)
(-ccf => -ccd)
(-gbf => -gce)
(gce => gbf)
(-ifj => igd)
(-igd => ifj)
(-cbe => -cbb)
(cbb => cbe)
(-jfb => jgc)
(-jgc => jfb)
(-fc => -ee)
(ee => fc)
(iji => -jag)
(jag => -iji)
(-hdb => -hdh)
(hdh => hdb)
(bg => bj)
(-bj => -bg)
(bcf => -bca)
(bca => -bcf)
(-cab => -bjj)
(bjj => cab)
(-jhe => jgj)
(-jgj => jhe)
(ehc => -ehj)
(ehj => -ehc)
(idd => ide)
(-ide => -idd)
(-fha => -fgi)
(fgi => fha)
(-bdg => -bdj)
(bdj => bdg)
(-deb => dfa)
(-dfa => deb)
(-jbf => jcc)
(-jcc => jbf)
(-gic => gif)
(-gif => gic)
(hag => -had)
(had => -hag)
(bbd => bag)
(-bag => -bbd)
(hfj => hgd)
(-hgd => -hfj)
(-cd => -ca)
(ca => cd)
(ecj => ech)
(-ech => -ecj)
(cgf => cgj)
(-cgj => -cgf)
(jcc => jbd)
(-jbd => -jcc)
(bab => -jh)
(jh => -bab)
(hia => -hhb)
(hhb => -hia)
(-efd => -efe)
(efe => efd)
(-hfg => hfj)
(-hfj => hfg)
(-ebb => eai)
(-eai => ebb)
(-jec => -jeg)
(jeg => jec)
(fga => fgh)
(-fgh => -fga)
(-fj => gf)
(-gf => fj)
(edc => edb)
(-edb => -edc)
(feb => fde)
(-fde => -feb)
(-hdd => -hcj)
(hcj => hdd)
(-jce => -jch)
(jch => jce)
(jd => -ji)
(ji => -jd)
(ebf => ebe)
(-ebe => -ebf)
(-jab => jaa)
(-jaa => jab)
(-jhb => -jhe)
(jhe => jhb)
(-daf => dab)
(-dab => daf)
(-hej => -hec)
(hec => hej)
(hef => hei)
(-hei => -hef)
(iej => ifc)
(-ifc => -iej)
(-ha => -he)
(he => ha)
(jc => -baa)
(baa => -jc)
(de => -dd)
(dd => -de)
(-cbi => cbh)
(-cbh => cbi)
(bec => bdg)
(-bdg => -bec)
(did => dia)
(-dia => -did)
(-hae => hbb)
(-hbb => hae)
(cbe => cbi)
(-cbi => -cbe)
(-gfi => -gfe)
(gfe => gfi)
(-iha => igf)
(-igf => iha)
(-ga => fd)
(-fd => ga)
(ea => -fb)
(fb => -ea)
(bhd => -bhh)
(bhh => -bhd)
(-geg => -gei)
(gei => geg)
(-iig => ijd)
(-ijd => iig)
(gfe => gfb)
(-gfb => -gfe)
(-fbg => fai)
(-fai => fbg)
(ced => -ceg)
(ceg => -ced)
(jgc => -jff)
(jff => -jgc)
(cad => -caf)
(caf => -cad)
(iee => -iea)
(iea => -iee)
(dde => dcg)
(-dcg => -dde)
(dje => -eaa)
(eaa => -dje)
(-bcj => bcd)
(-bcd => bcj)
(hfg => hgg)
(-hgg => -hfg)
(fch => -fda)
(fda => -fch)
(bdf => bea)
(-bea => -bdf)
(-dgj => -dhb)
(dhb => dgj)
(gca => gbc)
(-gbc => -gca)
(cag => -cai)
(cai => -cag)
(ibc => ibe)
(-ibe => -ibc)
(-gab => -gag)
(gag => gab)
(-bcc => -bcb)
(bcb => bcc)
(jag => -jaj)
(jaj => -jag)
(ebg => -eag)
(eag => -ebg)
(-cdf => ceb)
(-ceb => cdf)
(-bba => baj)
(-baj => bba)
(-bib => bia)
(-bia => bib)
(-jbb => -jbc)
(jbc => jbb)
(-bah => -bag)
(bag => bah)
(fdi => fdg)
(-fdg => -fdi)
(-ifg => ifc)
(-ifc => ifg)
(-bfe => beg)
(-beg => bfe)
(-bdh => bdc)
(-bdc => bdh)
(-heh => hee)
(-hee => heh)
(eec => -eda)
(eda => -eec)
(ieb => idd)
(-idd => -ieb)
(bd => -bc)
(bc => -bd)
(hbh => -hcb)
(hcb => -hbh)
(-be => -ca)
(ca => be)
(-hab => -gje)
(gje => hab)
(-fcc => -fda)
(fda => fcc)
(cec => cee)
(-cee => -cec)
(-fae => ejf)
(-ejf => fae)
(gbf => gbj)
(-gbj => -gbf)
(chf => -chi)
(chi => -chf)
(ife => -ieh)
(ieh => -ife)
(-jhe => -jge)
(jge => jhe)
(-jgb => -jfc)
(jfc => jgb)
(idg => iec)
(-iec => -idg)
(ddd => dci)
(-dci => -ddd)
(-ich => -ida)
(ida => ich)
(-cgf => cgd)
(-cgd => cgf)
(hii => hig)
(-hig => -hii)
(-jhb => jgf)
(-jgf => jhb)
(gfg => -gff)
(gff => -gfg)
(hj => -ij)
(ij => -hj)
(i => -j)
(j => -i)
(bdd => -bdb)
(bdb => -bdd)
(-jf => jh)
(-jh => jf)
(-ejd => -eii)
(eii => ejd)
(edi => -eec)
(eec => -edi)
(if => -ih)
(ih => -if)
(hf => -hb)
(hb => -hf)
(dhj => dii)
(-dii => -dhj)
(gee => -gej)
(gej => -gee)
(-ic => ib)
(-ib => ic)
(cbg => cbd)
(-cbd => -cbg)
(-jge => -jhd)
(jhd => jge)
(jc => -jf)
(jf => -jc)
(-haj => -hbf)
(hbf => haj)
(-icc => -ida)
(ida => icc)
(-ieh => ifh)
(-ifh => ieh)
(hcd => -hcb)
(hcb => -hcd)
(-dhe => dha)
(-dha => dhe)
(bji => bjh)
(-bjh => -bji)
(-jih => jia)
(-jia => jih)
(-cgd => cgj)
(-cgj => cgd)
(egb => egd)
(-egd => -egb)
(-bhj => -bhb)
(bhb => bhj)
(gac => gaj)
(-gaj => -gac)
(-dib => dii)
(-dii => dib)
(-jdj => -jdh)
(jdh => jdj)
(-bfa => -bee)
(bee => bfa)
(hdc => hdi)
(-hdi => -hdc)
(dcg => -ddh)
(ddh => -dcg)
(jid => -jia)
(jia => -jid)
(-eie => -ejc)
(ejc => eie)
(jie => jhg)
(-jhg => -jie)
(-jfd => jfg)
(-jfg => jfd)
(fbj => fbe)
(-fbe => -fbj)
(cjb => -cjj)
(cjj => -cjb)
(-igh => igc)
(-igc => igh)
(g => -i)
(i => -g)
(ch => -dh)
(dh => -ch)
(-ic => ia)
(-ia => ic)
(-hde => hea)
(-hea => hde)
(eab => ead)
(-ead => -eab)
(bc => ba)
(-ba => -bc)
(iie => -iic)
(iic => -iie)
(fce => -fcj)
(fcj => -fce)
(-ghb => -ggh)
(ggh => ghb)
(-ece => ecc)
(-ecc => ece)
(eda => -eeb)
(eeb => -eda)
(hdh => -hdb)
(hdb => -hdh)
(-baa => jd)
(-jd => baa)
(jde => -jda)
(jda => -jde)
(jcb => jcd)
(-jcd => -jcb)
(dgd => dff)
(-dff => -dgd)
(ife => ifg)
(-ifg => -ife)
(bjj => bjg)
(-bjg => -bjj)
(-fe => ge)
(-ge => fe)
(-fcg => -fch)
(fch => fcg)
(fbf => -fbc)
(fbc => -fbf)
(-dcf => -dbh)
(dbh => dcf)
(-gci => gdb)
(-gdb => gci)
(-dcj => ddc)
(-ddc => dcj)
(-bch => -bbi)
(bbi => bch)
(-b => d)
(-d => b)
(hbh => -hch)
(hch => -hbh)
(-ihe => -ihf)
(ihf => ihe)
(-hhj => hhf)
(-hhf => hhj)
(-cgg => -cgi)
(cgi => cgg)
(bbd => -bbe)
(bbe => -bbd)
(-bfe => -bfd)
(bfd => bfe)
(jad => jac)
(-jac => -jad)
(ebi => -eci)
(eci => -ebi)
(-cih => -cjj)
(cjj => cih)
(-h => -bb)
(bb => h)
(-jab => jaf)
(-jaf => jab)
(ffg => ffi)
(-ffi => -ffg)
(hcj => hdg)
(-hdg => -hcj)
(-ie => ib)
(-ib => ie)
(ibc => -ibd)
(ibd => -ibc)
(-dha => dhe)
(-dhe => dha)
(iae => hjg)
(-hjg => -iae)
(-hib => hih)
(-hih => hib)
(-ggd => gfb)
(-gfb => ggd)
(-feb => -fea)
(fea => feb)
(-cje => -cjg)
(cjg => cje)
(-ha => -hd)
(hd => ha)
(hif => hib)
(-hib => -hif)
(fje => -fih)
(fih => -fje)
(geg => -gdi)
(gdi => -geg)
(-jie => jic)
(-jic => jie)
(-hhd => -hhi)
(hhi => hhd)
(-ihj => iib)
(-iib => ihj)
(-idd => -idi)
(idi => idd)
(ci => da)
(-da => -ci)
(ceg => -cef)
(cef => -ceg)
(-fgg => -fha)
(fha => fgg)
(-ihh => iia)
(-iia => ihh)
(fcb => -fch)
(fch => -fcb)
(-cib => chi)
(-chi => cib)
(ebd => -eaj)
(eaj => -ebd)
(bbe => -bah)
(bah => -bbe)
(hih => -hib)
(hib => -hih)
(gci => gdg)
(-gdg => -gci)
(ebi => ecd)
(-ecd => -ebi)
(-dab => dae)
(-dae => dab)
(hjb => hij)
(-hij => -hjb)
(fee => -feb)
(feb => -fee)
(-igj => -igb)
(igb => igj)
(dcg => ddf)
(-ddf => -dcg)
(iee => -idf)
(idf => -iee)
(-dij => -dhi)
(dhi => dij)
(ghh => -gic)
(gic => -ghh)
(-hed => hfe)
(-hfe => hed)
(-hea => -hdf)
(hdf => hea)
(ccj => cda)
(-cda => -ccj)
(-bhi => bhe)
(-bhe => bhi)
(cbg => cba)
(-cba => -cbg)
(-ebe => -ebd)
(ebd => ebe)
(jgg => jgi)
(-jgi => -jgg)
(bif => bja)
(-bja => -bif)
(-haj => -hbe)
(hbe => haj)
(-gcc => gbj)
(-gbj => gcc)
(haa => gjj)
(-gjj => -haa)
(jfd => jgb)
(-jgb => -jfd)
(-ga => -ff)
(ff => ga)
(-jea => -jdh)
(jdh => jea)
(-jjc => -baaa)
(baaa => jjc)
(fif => -fhi)
(fhi => -fif)
(-jba => jah)
(-jah => jba)
(-daj => dad)
(-dad => daj)
(idh => idd)
(-idd => -idh)
(ici => -icd)
(icd => -ici)
(-gca => gbd)
(-gbd => gca)
(-hjf => iac)
(-iac => hjf)
(-egc => -egf)
(egf => egc)
(cai => -bjh)
(bjh => -cai)
(ci => cj)
(-cj => -ci)
(ejg => faf)
(-faf => -ejg)
(iff => -ifa)
(ifa => -iff)
(-hfa => hfc)
(-hfc => hfa)
(jj => jg)
(-jg => -jj)
(-efj => -egi)
(egi => efj)
(bef => beg)
(-beg => -bef)
(-ccb => cbe)
(-cbe => ccb)
(-jfb => -jfd)
(jfd => jfb)
(jhb => -jge)
(jge => -jhb)
(fic => -fhj)
(fhj => -fic)
(cea => -ceg)
(ceg => -cea)
(-bgd => bfh)
(-bfh => bgd)
(dhf => -dha)
(dha => -dhf)
(ghe => -ghd)
(ghd => -ghe)
(-dae => -dah)
(dah => dae)
(-cc => cg)
(-cg => cc)
(bgb => -bfj)
(bfj => -bgb)
(gjb => -gja)
(gja => -gjb)
(-dgc => -dfj)
(dfj => dgc)
(cci => -ccf)
(ccf => -cci)
(-baa => -bab)
(bab => baa)
(-fca => -fbi)
(fbi => fca)
(-ecb => ebj)
(-ebj => ecb)
(-iih => iig)
(-iig => iih)
(gce => gbj)
(-gbj => -gce)
(jdj => jeb)
(-jeb => -jdj)
(-igg => ifj)
(-ifj => igg)
(-bha => -bhf)
(bhf => bha)
(-jgd => jgj)
(-jgj => jgd)
(ghd => -ggg)
(ggg => -ghd)
(eci => eca)
(-eca => -eci)
(beh => -bfd)
(bfd => -beh)
(jcj => jcf)
(-jcf => -jcj)
(-ibg => iai)
(-iai => ibg)
(fhb => -fgi)
(fgi => -fhb)
(-dig => dhi)
(-dhi => dig)
(-ifj => -iga)
(iga => ifj)
(iee => -iea)
(iea => -iee)
(gh => -hc)
(hc => -gh)
(dgc => -dga)
(dga => -dgc)
(fgf => fhb)
(-fhb => -fgf)
(-hjf => hje)
(-hje => hjf)
(bhi => bha)
(-bha => -bhi)
(ffi => fej)
(-fej => -ffi)
(-bej => bff)
(-bff => bej)
(-ghd => -ghb)
(ghb => ghd)
(jhb => -jhe)
(jhe => -jhb)
(-gcc => gbe)
(-gbe => gcc)
(-cfe => cei)
(-cei => cfe)
(-jea => jdj)
(-jdj => jea)
(fca => -fbd)
(fbd => -fca)
(dac => dab)
(-dab => -dac)
(-ddg => -dcg)
(dcg => ddg)
(-hcb => -hci)
(hci => hcb)
(-had => hag)
(-hag => had)
(fai => fbg)
(-fbg => -fai)
(dfb => -deg)
(deg => -dfb)
(-iag => -iaa)
(iaa => iag)
(ifg => ifd)
(-ifd => -ifg)
(-jab => jaj)
(-jaj => jab)
(ddd => -dch)
(dch => -ddd)
(jfe => jfa)
(-jfa => -jfe)
(fhc => fgc)
(-fgc => -fhc)
(jfj => jfa)
(-jfa => -jfj)
(-djf => -eaa)
(eaa => djf)
(-idi => idf)
(-idf => idi)
(-bgb => bgc)
(-bgc => bgb)
(baa => jg)
(-jg => -baa)
(eb => -eg)
(eg => -eb)
(hi => ha)
(-ha => -hi)
(caj => cbi)
(-cbi => -caj)
(ggj => ghd)
(-ghd => -ggj)
(-gca => -gbf)
(gbf => gca)
(-ide => ief)
(-ief => ide)
(-dgg => -dhh)
(dhh => dgg)
(djc => djj)
(-djj => -djc)
(-cei => cfd)
(-cfd => cei)
(eae => -eba)
(eba => -eae)
(-fgj => fgb)
(-fgb => fgj)
(jh => jc)
(-jc => -jh)
(ibe => iai)
(-iai => -ibe)
(bai => bbh)
(-bbh => -bai)
(-gjg => gjf)
(-gjf => gjg)
(chi => -cic)
(cic => -chi)
(iic => iid)
(-iid => -iic)
(-gcg => gci)
(-gci => gcg)
(-ba => -g)
(g => ba)
(-cih => -cjj)
(cjj => cih)
(jeb => -jeg)
(jeg => -jeb)
(jcd => jbd)
(-jbd => -jcd)
(fij => -fje)
(fje => -fij)
(dfj => -dfi)
(dfi => -dfj)
(-gc => -gb)
(gb => gc)
(-ehg => ehf)
(-ehf => ehg)
(-eid => ejb)
(-ejb => eid)
(-jba => jae)
(-jae => jba)
(-jgd => jgg)
(-jgg => jgd)
(-ia => -hj)
(hj => ia)
(-ibe => iah)
(-iah => ibe)
(-fcj => fdb)
(-fdb => fcj)
(dhf => -dha)
(dha => -dhf)
(-cic => cia)
(-cia => cic)
(-cgf => -cgi)
(cgi => cgf)
(-jbf => jbd)
(-jbd => jbf)
(gcb => -gbg)
(gbg => -gcb)
(d => -f)
(f => -d)
(hi => -gi)
(gi => -hi)
(bgg => -bfi)
(bfi => -bgg)
(-gfa => gdj)
(-gdj => gfa)
(eaj => ebd)
(-ebd => -eaj)
(bde => -bdb)
(bdb => -bde)
(ecb => -ech)
(ech => -ecb)
(bjh => bjg)
(-bjg => -bjh)
(dgd => -dga)
(dga => -dgd)
(egi => ega)
(-ega => -egi)
(-gjc => -gjb)
(gjb => gjc)
(-cbc => cbd)
(-cbd => cbc)
(-igh => -ihb)
(ihb => igh)
(-jgd => jhe)
(-jhe => jgd)
(-ifh => -ieg)
(ieg => ifh)
(ebb => ebf)
(-ebf => -ebb)
(jb => ja)
(-ja => -jb)
(daa => -dac)
(dac => -daa)
(-cea => -cec)
(cec => cea)
(-iig => -ijc)
(ijc => iig)
(bej => bfg)
(-bfg => -bej)
(-g => -f)
(f => g)
(hgg => -hge)
(hge => -hgg)
(hhe => -hhh)
(hhh => -hhe)
(-ifa => ifi)
(-ifi => ifa)
(-iec => idg)
(-idg => iec)
(big => -bij)
(bij => -big)
(bcd => -bcj)
(bcj => -bcd)
(-ie => ij)
(-ij => ie)
(-jg => jf)
(-jf => jg)
(-jba => jac)
(-jac => jba)
(-gdi => -gej)
(gej => gdi)
(-ebg => eag)
(-eag => ebg)
(bdf => bdi)
(-bdi => -bdf)
(-dhe => -dgj)
(dgj => dhe)
(-hca => hcf)
(-hcf => hca)
(gcd => gcc)
(-gcc => -gcd)
(ddg => -dcg)
(dcg => -ddg)
(egj => -eha)
(eha => -egj)
(icc => icg)
(-icg => -icc)
(ig => ia)
(-ia => -ig)
(-che => cib)
(-cib => che)
(-fhe => -fhd)
(fhd => fhe)
(hca => hch)
(-hch => -hca)
(gia => -ghi)
(ghi => -gia)
(-dif => die)
(-die => dif)
(iic => ihg)
(-ihg => -iic)
(-ihg => ihh)
(-ihh => ihg)
(-ced => -cef)
(cef => ced)
(egf => -egg)
(egg => -egf)
(-igf => iha)
(-iha => igf)
(fif => fhi)
(-fhi => -fif)
(-hah => hag)
(-hag => hah)
(-gja => gjf)
(-gjf => gja)
(-gie => ghh)
(-ghh => gie)
(gde => -gdd)
(gdd => -gde)
(-hfg => hge)
(-hge => hfg)
(hji => -iae)
(iae => -hji)
(-ghb => gha)
(-gha => ghb)
(fgi => fgj)
(-fgj => -fgi)
(fgc => -fga)
(fga => -fgc)
(eh => ef)
(-ef => -eh)
(-hji => -hje)
(hje => hji)
(-jai => jad)
(-jad => jai)
(bhf => bha)
(-bha => -bhf)
(ibh => -ibb)
(ibb => -ibh)
(dbb => -dad)
(dad => -dbb)
(-bjj => -cac)
(cac => bjj)
(-ige => igh)
(-igh => ige)
(-ech => ecf)
(-ecf => ech)
(ibj => ibd)
(-ibd => -ibj)
(cfd => -cfb)
(cfb => -cfd)
(hgb => -hge)
(hge => -hgb)
(-jbh => -jcc)
(jcc => jbh)
(-iia => -iie)
(iie => iia)
(-gcj => gcf)
(-gcf => gcj)
(-hg => -hd)
(hd => hg)
(-dhc => dgf)
(-dgf => dhc)
(-cfi => cff)
(-cff => cfi)
(cig => che)
(-che => -cig)
(-jfa => -jfc)
(jfc => jfa)
(gcj => -gch)
(gch => -gcj)
(-dai => dag)
(-dag => dai)
(-gjh => -gjd)
(gjd => gjh)
(gfd => -gff)
(gff => -gfd)
(ha => hi)
(-hi => -ha)
(-cfe => cfh)
(-cfh => cfe)
(edd => edc)
(-edc => -edd)
(-fdj => -feb)
(feb => fdj)
(bca => -bbj)
(bbj => -bca)
(-jda => -jdf)
(jdf => jda)
(ibi => ibf)
(-ibf => -ibi)
(egj => ehi)
(-ehi => -egj)
(fgc => -fgh)
(fgh => -fgc)
(ijb => ijh)
(-ijh => -ijb)
(-jfh => -jfb)
(jfb => jfh)
(-gag => gaa)
(-gaa => gag)
(-bei => bfg)
(-bfg => bei)
(gaj => -gaf)
(gaf => -gaj)
(bfi => bge)
(-bge => -bfi)
(eba => -eaf)
(eaf => -eba)
(fah => ejj)
(-ejj => -fah)
(-bbh => bai)
(-bai => bbh)
(-cji => cij)
(-cij => cji)
(-fhf => fie)
(-fie => fhf)
(fjh => -fja)
(fja => -fjh)
(-dhh => -dhb)
(dhb => dhh)
(-cjb => cji)
(-cji => cjb)
(-cih => -cjf)
(cjf => cih)
(ga => -fi)
(fi => -ga)
(-gbc => -gbi)
(gbi => gbc)
(-gab => gba)
(-gba => gab)
(-bfi => bgb)
(-bgb => bfi)
(hib => -hii)
(hii => -hib)
(iae => hjj)
(-hjj => -iae)
(-ce => bh)
(-bh => ce)
(-gdb => gdc)
(-gdc => gdb)
(-bch => bcb)
(-bcb => bch)
(jci => -jdb)
(jdb => -jci)
(-jfc => jga)
(-jga => jfc)
(-egg => -egi)
(egi => egg)
(ecc => ecd)
(-ecd => -ecc)
(jed => jeh)
(-jeh => -jed)
(-ife => -ieh)
(ieh => ife)
(-dai => -dbc)
(dbc => dai)
(-gcg => gci)
(-gci => gcg)
(ide => -iee)
(iee => -ide)
(da => dh)
(-dh => -da)
(jic => -jhj)
(jhj => -jic)
(-ega => egb)
(-egb => ega)
(-jah => jba)
(-jba => jah)
(-hbj => -hci)
(hci => hbj)
(gji => gjb)
(-gjb => -gji)
(dga => dgc)
(-dgc => -dga)
(jie => -jic)
(jic => -jie)
(gd => -fh)
(fh => -gd)
(-ihd => ihh)
(-ihh => ihd)
(-chd => -cgj)
(cgj => chd)
(bgj => bge)
(-bge => -bgj)
(bjj => cae)
(-cae => -bjj)
(-g => -d)
(d => g)
(eei => -eej)
(eej => -eei)
(chb => -cgj)
(cgj => -chb)
(-hhd => -hha)
(hha => hhd)
(-fba => -faj)
(faj => fba)
(-gc => -ff)
(ff => gc)
(bcg => -bcd)
(bcd => -bcg)
(-daj => -dae)
(dae => daj)
(bf => bh)
(-bh => -bf)
(-iig => -ijb)
(ijb => iig)
(-gha => ggi)
(-ggi => gha)
(cca => -cbg)
(cbg => -cca)
(-dfd => -dge)
(dge => dfd)
(fcc => -fcg)
(fcg => -fcc)
(icg => -ida)
(ida => -icg)
(ehd => -egj)
(egj => -ehd)
(-gjb => -gji)
(gji => gjb)
(-bdd => -bdh)
(bdh => bdd)
(fgi => fhb)
(-fhb => -fgi)
(fhj => fhe)
(-fhe => -fhj)
(-ba => bb)
(-bb => ba)
(-gfj => -gfb)
(gfb => gfj)
(hdb => hdi)
(-hdi => -hdb)
(gie => -gia)
(gia => -gie)
(dah => -dad)
(dad => -dah)
(j => -bb)
(bb => -j)
(hif => -hii)
(hii => -hif)
(-hec => -hed)
(hed => hec)
(fah => ejj)
(-ejj => -fah)
(-dah => -dbb)
(dbb => dah)
(fdj => fef)
(-fef => -fdj)
(fde => fed)
(-fed => -fde)
(-jhd => jgg)
(-jgg => jhd)
(-fd => gf)
(-gf => fd)
(-heh => -hef)
(hef => heh)
(-eha => ehj)
(-ehj => eha)
(-j => -d)
(d => j)
(jig => jif)
(-jif => -jig)
(-dgd => -dfe)
(dfe => dgd)
(-dcc => dbi)
(-dbi => dcc)
(-fhc => fgf)
(-fgf => fhc)
(cia => -cid)
(cid => -cia)
(-jgc => jga)
(-jga => jgc)
(dgh => dhf)
(-dhf => -dgh)
(-gea => geh)
(-geh => gea)
(-cad => -caa)
(caa => cad)
(-dec => ddj)
(-ddj => dec)
(edd => -edf)
(edf => -edd)
(ecb => ebi)
(-ebi => -ecb)
(-fb => -eb)
(eb => fb)
(-edb => -eec)
(eec => edb)
(-bbe => -bbc)
(bbc => bbe)
(-bja => -bjc)
(bjc => bja)
(caj => -cbg)
(cbg => -caj)
(jcj => jcg)
(-jcg => -jcj)
(bhg => -bhi)
(bhi => -bhg)
(-chd => cgf)
(-cgf => chd)
(ff => -ga)
(ga => -ff)
(-cij => cje)
(-cje => cij)
(hdj => hdd)
(-hdd => -hdj)
(dji => djj)
(-djj => -dji)
(cfd => cfa)
(-cfa => -cfd)
(jba => -jah)
(jah => -jba)
(-dei => -dec)
(dec => dei)
(-cic => cib)
(-cib => cic)
(-bdf => bea)
(-bea => bdf)
(-ice => icf)
(-icf => ice)
(eb => -fc)
(fc => -eb)
(-bef => bfe)
(-bfe => bef)
(dfa => -ded)
(ded => -dfa)
(-hjh => -hjg)
(hjg => hjh)
(-dbe => dbd)
(-dbd => dbe)
(fdf => fdh)
(-fdh => -fdf)
(-efd => -efc)
(efc => efd)
(-dgg => -dhh)
(dhh => dgg)
(-dhg => -dgh)
(dgh => dhg)
(fch => fce)
(-fce => -fch)
(dhi => -dib)
(dib => -dhi)
(efh => ega)
(-ega => -efh)
(-cdg => ced)
(-ced => cdg)
(heh => hej)
(-hej => -heh)
(bj => -bi)
(bi => -bj)
(cag => -cai)
(cai => -cag)
(-iec => -idj)
(idj => iec)
(-ibi => -iah)
(iah => ibi)
(hjj => iad)
(-iad => -hjj)
(jih => -jid)
(jid => -jih)
(ijb => -ijh)
(ijh => -ijb)
(-ija => iii)
(-iii => ija)
(idg => idf)
(-idf => -idg)
(-cfi => -cfa)
(cfa => cfi)
(bgg => bge)
(-bge => -bgg)
(-fbf => -fai)
(fai => fbf)
(gdd => -gcj)
(gcj => -gdd)
(-bbg => baf)
(-baf => bbg)
(-fec => fdj)
(-fdj => fec)
(hcd => hci)
(-hci => -hcd)
(hjb => hic)
(-hic => -hjb)
(-ihe => iie)
(-iie => ihe)
(-bah => bai)
(-bai => bah)
(-dfb => deg)
(-deg => dfb)
(ffd => fff)
(-fff => -ffd)
(dij => dif)
(-dif => -dij)
(cfb => cfj)
(-cfj => -cfb)
(geb => -gef)
(gef => -geb)
(ige => -igb)
(igb => -ige)
(cbh => -ccb)
(ccb => -cbh)
(hje => -hjh)
(hjh => -hje)
(-cag => cab)
(-cab => cag)
(-jdj => -jdi)
(jdi => jdj)
(-hcf => -hcg)
(hcg => hcf)
(eca => -eci)
(eci => -eca)
(-j => bd)
(-bd => j)
(dga => dfi)
(-dfi => -dga)
(ebh => ech)
(-ech => -ebh)
(-jia => -jie)
(jie => jia)
(-chf => chg)
(-chg => chf)
(igh => ifj)
(-ifj => -igh)
(ghd => ghg)
(-ghg => -ghd)
(ece => ecg)
(-ecg => -ece)
(-gdf => -gdd)
(gdd => gdf)
(dbj => -dbd)
(dbd => -dbj)
(-gde => gcg)
(-gcg => gde)
(-ejb => -eij)
(eij => ejb)
(cff => cfg)
(-cfg => -cff)
(gbf => gcc)
(-gcc => -gbf)
(-dag => -dai)
(dai => dag)
(hcc => -hbg)
(hbg => -hcc)
(-eca => -ecf)
(ecf => eca)
(gdi => -geh)
(geh => -gdi)
(-dij => -dif)
(dif => dij)
(-jie => jib)
(-jib => jie)
(cid => -chg)
(chg => -cid)
(ec => -ef)
(ef => -ec)
(hbg => hcf)
(-hcf => -hbg)
(-jid => -jie)
(jie => jid)
(-ghj => -ghh)
(ghh => ghj)
(bda => bcb)
(-bcb => -bda)
(-cce => cci)
(-cci => cce)
(-iaa => -hjj)
(hjj => iaa)
(-hih => -hif)
(hif => hih)
(-fc => eh)
(-eh => fc)
(-ccd => -cci)
(cci => ccd)
(iec => idg)
(-idg => -iec)
(bj => bh)
(-bh => -bj)
(jdg => jch)
(-jch => -jdg)
(gjd => -gjc)
(gjc => -gjd)
(-dab => -dae)
(dae => dab)
(eh => -ea)
(ea => -eh)
(-eaj => eaf)
(-eaf => eaj)
(-fdi => fde)
(-fde => fdi)
(igj => igh)
(-igh => -igj)
(jca => jbc)
(-jbc => -jca)
(-hbc => -hbb)
(hbb => hbc)
(-bhd => bhb)
(-bhb => bhd)
(fg => gf)
(-gf => -fg)
(hdc => -hcj)
(hcj => -hdc)
(-fdi => fdg)
(-fdg => fdi)
(-heh => hfb)
(-hfb => heh)
(jhc => jgj)
(-jgj => -jhc)
(hec => -hee)
(hee => -hec)
(-fha => fhb)
(-fhb => fha)
(-bcf => -bbi)
(bbi => bcf)
(-dfi => dff)
(-dff => dfi)
(hb => -gh)
(gh => -hb)
(-ef => ec)
(-ec => ef)
(cfg => cfd)
(-cfd => -cfg)
(-iji => jaa)
(-jaa => iji)
(bbf => bbg)
(-bbg => -bbf)
(dh => -cj)
(cj => -dh)
(-gcb => gca)
(-gca => gcb)
(-jdg => -jch)
(jch => jdg)
(-hfg => -hfi)
(hfi => hfg)
(-hdd => hdh)
(-hdh => hdd)
(jch => -jce)
(jce => -jch)
(ia => -jb)
(jb => -ia)
(ffc => -ffi)
(ffi => -ffc)
(-gjj => gjh)
(-gjh => gjj)
(bhb => -bhh)
(bhh => -bhb)
(-jeh => jee)
(-jee => jeh)
(-dhc => -dgh)
(dgh => dhc)
(ede => -edg)
(edg => -ede)
(cgh => -cha)
(cha => -cgh)
(gbh => -gce)
(gce => -gbh)
(bdc => -bdh)
(bdh => -bdc)
(dii => did)
(-did => -dii)
(-jai => -jah)
(jah => jai)
(-jci => jdg)
(-jdg => jci)
(-dcd => -dbf)
(dbf => dcd)
(ejb => eje)
(-eje => -ejb)
(-ddi => -dcj)
(dcj => ddi)
(-ife => -ifi)
(ifi => ife)
(hed => hec)
(-hec => -hed)
(-eei => efe)
(-efe => eei)
(-ghg => -ghd)
(ghd => ghg)
(-heg => hfc)
(-hfc => heg)
(cbe => -cbd)
(cbd => -cbe)
(-ieg => -ifg)
(ifg => ieg)
(-cd => ca)
(-ca => cd)
(-iee => -ief)
(ief => iee)
(-icc => -ici)
(ici => icc)
(ibc => -ibh)
(ibh => -ibc)
(-jfg => jfj)
(-jfj => jfg)
(-ceb => -ceh)
(ceh => ceb)
(ii => -ih)
(ih => -ii)
(ccg => cce)
(-cce => -ccg)
(dgc => dgd)
(-dgd => -dgc)
(-beg => -bfc)
(bfc => beg)
(cec => -cdi)
(cdi => -cec)
(dia => -dif)
(dif => -dia)
(-feb => -fed)
(fed => feb)
(ei => eg)
(-eg => -ei)
(-edg => edc)
(-edc => edg)
(dg => de)
(-de => -dg)
(g => -d)
(d => -g)
(-ib => -jb)
(jb => ib)
(-fab => ejf)
(-ejf => fab)
(-ecf => -ebi)
(ebi => ecf)
(-fdb => -fci)
(fci => fdb)
(eec => edb)
(-edb => -eec)
(-cj => -dd)
(dd => cj)
(-dj => dg)
(-dg => dj)
(-jg => -jd)
(jd => jg)
(ghf => -ggj)
(ggj => -ghf)
(dfh => -dgc)
(dgc => -dfh)
(cfg => -cff)
(cff => -cfg)
(-dha => dgj)
(-dgj => dha)
(iid => -ihf)
(ihf => -iid)
(-gjd => -gjf)
(gjf => gjd)
(-ddj => -dec)
(dec => ddj)
(-hfa => hfe)
(-hfe => hfa)
(cc => be)
(-be => -cc)
(icd => -ice)
(ice => -icd)
(-idc => icd)
(-icd => idc)
(-ici => -icb)
(icb => ici)
(ihe => ihj)
(-ihj => -ihe)
(hfi => hga)
(-hga => -hfi)
(-jgj => -jhd)
(jhd => jgj)
(-ijj => jaj)
(-jaj => ijj)
(-ide => idf)
(-idf => ide)
(ef => fb)
(-fb => -ef)
(efi => -egc)
(egc => -efi)
(ieb => -idf)
(idf => -ieb)
(jce => -jdf)
(jdf => -jce)
(bhh => -bhb)
(bhb => -bhh)
(eci => -ebj)
(ebj => -eci)
(-gc => ge)
(-ge => gc)
(dfg => -dgd)
(dgd => -dfg)
(-hbe => haj)
(-haj => hbe)
(-gaa => -gab)
(gab => gaa)
(-dci => -dch)
(dch => dci)
(-gge => ggf)
(-ggf => gge)
(cbe => -caj)
(caj => -cbe)
(dee => -ded)
(ded => -dee)
(jfd => -jga)
(jga => -jfd)
(-djf => eac)
(-eac => djf)
(-ca => bh)
(-bh => ca)
(ghd => -gge)
(gge => -ghd)
(-bhc => bhd)
(-bhd => bhc)
(cag => -bjg)
(bjg => -cag)
(-cja => -cjg)
(cjg => cja)
(fjg => -fih)
(fih => -fjg)
(cda => -cdc)
(cdc => -cda)
(-hcj => -hda)
(hda => hcj)
(-d => -bd)
(bd => d)
(ede => -edg)
(edg => -ede)
(cbg => caj)
(-caj => -cbg)
(-je => -jf)
(jf => je)
(gbd => -gca)
(gca => -gbd)
(-gij => gia)
(-gia => gij)
(-ifh => ifd)
(-ifd => ifh)
(cj => -db)
(db => -cj)
(cdf => -ceg)
(ceg => -cdf)
(-g => -h)
(h => g)
(-igf => -igc)
(igc => igf)
(-ecg => ecd)
(-ecd => ecg)
(bbd => bah)
(-bah => -bbd)
(ejh => -ejg)
(ejg => -ejh)
(-cih => -cjj)
(cjj => cih)
(iii => ijd)
(-ijd => -iii)
(chh => -cid)
(cid => -chh)
(-dga => -dfd)
(dfd => dga)
(hih => hid)
(-hid => -hih)
(-jja => -jjh)
(jjh => jja)
(beb => -bdf)
(bdf => -beb)
(-fjj => -gah)
(gah => fjj)
(-fha => fge)
(-fge => fha)
(ha => -hb)
(hb => -ha)
(-hff => hge)
(-hge => hff)
(jjf => jjc)
(-jjc => -jjf)
(dda => dcj)
(-dcj => -dda)
(-ici => -icg)
(icg => ici)
(bb => -bd)
(bd => -bb)
(-fgb => fhb)
(-fhb => fgb)
(-jad => jaf)
(-jaf => jad)
(-fhh => -fif)
(fif => fhh)
(-eih => -eii)
(eii => eih)
(-dfi => -dgb)
(dgb => dfi)
(-cfa => -cfh)
(cfh => cfa)
(iff => ife)
(-ife => -iff)
(-jih => jig)
(-jig => jih)
(-gjh => gji)
(-gji => gjh)
(dfh => -dgd)
(dgd => -dfh)
(gaf => -gae)
(gae => -gaf)
(eei => -efd)
(efd => -eei)
(-bfb => -bfc)
(bfc => bfb)
(eah => ebc)
(-ebc => -eah)
(-cfa => -cei)
(cei => cfa)
(gdc => -gci)
(gci => -gdc)
(jid => jih)
(-jih => -jid)
(-bi => ce)
(-ce => bi)
(bba => bbf)
(-bbf => -bba)
(hab => -haa)
(haa => -hab)
(-hjc => hii)
(-hii => hjc)
(-gj => -gg)
(gg => gj)
(-ffh => -fff)
(fff => ffh)
(-hca => -hbi)
(hbi => hca)
(hhb => -hhh)
(hhh => -hhb)
(cje => cih)
(-cih => -cje)
(efc => eej)
(-eej => -efc)
(-cc => bh)
(-bh => cc)
(-dcj => -ddg)
(ddg => dcj)
(-hag => hbf)
(-hbf => hag)
(cic => cie)
(-cie => -cic)
(-fjc => fjg)
(-fjg => fjc)
(-ifb => -ieg)
(ieg => ifb)
(-cdb => -cdc)
(cdc => cdb)
(-jjf => -jjc)
(jjc => jjf)
(-ifb => ifi)
(-ifi => ifb)
(-dbe => dcc)
(-dcc => dbe)
(de => -ci)
(ci => -de)
(ijd => iij)
(-iij => -ijd)
(-ed => -ef)
(ef => ed)
(cej => cei)
(-cei => -cej)
(ibc => -iai)
(iai => -ibc)
(-eab => -ead)
(ead => eab)
(ich => -icc)
(icc => -ich)
(-bfc => -bfg)
(bfg => bfc)
(-ggj => ggh)
(-ggh => ggj)
(bjd => -bjf)
(bjf => -bjd)
(-cee => -ceh)
(ceh => cee)
(ghg => -ggg)
(ggg => -ghg)
(beg => bfe)
(-bfe => -beg)
(cfj => cej)
(-cej => -cfj)
(ghh => -gid)
(gid => -ghh)
(dje => -eaa)
(eaa => -dje)
(-iic => -ihd)
(ihd => iic)
(-hge => -hga)
(hga => hge)
(ibc => ibi)
(-ibi => -ibc)
(bdf => -bec)
(bec => -bdf)
(-jbi => jcc)
(-jcc => jbi)
(heg => -hfb)
(hfb => -heg)
(-dic => -die)
(die => dic)
(-ijf => iij)
(-iij => ijf)
(-ccd => cdb)
(-cdb => ccd)
(gea => geg)
(-geg => -gea)
(-iij => ije)
(-ije => iij)
(-hc => -hb)
(hb => hc)
(ceh => -cdf)
(cdf => -ceh)
(fca => fai)
(-fai => -fca)
(deb => deh)
(-deh => -deb)
(-fhf => fia)
(-fia => fhf)
(fae => -eji)
(eji => -fae)
(-eaf => ebd)
(-ebd => eaf)
(jic => jih)
(-jih => -jic)
(fhe => fib)
(-fib => -fhe)
(-gfe => -gfb)
(gfb => gfe)
(-ejf => -ejj)
(ejj => ejf)
(ibe => -ibh)
(ibh => -ibe)
(gg => hd)
(-hd => -gg)
(-ce => cg)
(-cg => ce)
(cgb => cgh)
(-cgh => -cgb)
(eag => eae)
(-eae => -eag)
(ijj => jaa)
(-jaa => -ijj)
(eif => -eii)
(eii => -eif)
(jcd => -jbf)
(jbf => -jcd)
(fhb => -fgb)
(fgb => -fhb)
(-che => -chh)
(chh => che)
(-cfa => -cff)
(cff => cfa)
(-cce => -ccf)
(ccf => cce)
(-da => -df)
(df => da)
(-icd => ida)
(-ida => icd)
(-bfc => bfd)
(-bfd => bfc)
(-hcb => -hcc)
(hcc => hcb)
(-ifg => -ifd)
(ifd => ifg)
(fgc => -fha)
(fha => -fgc)
(-fhb => -fgj)
(fgj => fhb)
(-bef => -beh)
(beh => bef)
(-hci => -hce)
(hce => hci)
(-fgb => -fgd)
(fgd => fgb)
(-haa => -gji)
(gji => haa)
(-gf => -gd)
(gd => gf)
(-hbf => -had)
(had => hbf)
(jhj => jif)
(-jif => -jhj)
(-ffh => -fej)
(fej => ffh)
(-fef => fdh)
(-fdh => fef)
(bee => bfd)
(-bfd => -bee)
(-bfg => -bee)
(bee => bfg)
(-hic => -hie)
(hie => hic)
(-ebe => -ebc)
(ebc => ebe)
(cbd => cbi)
(-cbi => -cbd)
(-hib => hig)
(-hig => hib)
(cbg => cbd)
(-cbd => -cbg)
(jci => -jda)
(jda => -jci)
(-igj => -iga)
(iga => igj)
(fef => fed)
(-fed => -fef)
(-baj => bbc)
(-bbc => baj)
(-ffh => -ffa)
(ffa => ffh)
(hab => gje)
(-gje => -hab)
(dce => dcb)
(-dcb => -dce)
(-caj => cbi)
(-cbi => caj)
(hfd => -hec)
(hec => -hfd)
(-bbd => bbe)
(-bbe => bbd)
(-cjb => cih)
(-cih => cjb)
(-chj => -chf)
(chf => chj)
(-f => bd)
(-bd => f)
(gia => ghj)
(-ghj => -gia)
(gfg => gfc)
(-gfc => -gfg)
(jgh => jgg)
(-jgg => -jgh)
(-feb => -fee)
(fee => feb)
(-jde => -jdb)
(jdb => jde)
(-cjd => cij)
(-cij => cjd)
(did => -dia)
(dia => -did)
(-gi => gj)
(-gj => gi)
(-dcg => ddf)
(-ddf => dcg)
(-iga => -ihb)
(ihb => iga)
(jca => -jbi)
(jbi => -jca)
(-gib => gia)
(-gia => gib)
(igb => -ige)
(ige => -igb)
(-bid => bij)
(-bij => bid)
(bhi => -bhf)
(bhf => -bhi)
(hjh => -iac)
(iac => -hjh)
(-gbe => gbd)
(-gbd => gbe)
(-hje => -hjg)
(hjg => hje)
(jhb => -jgh)
(jgh => -jhb)
(-ifh => iff)
(-iff => ifh)
(fij => -fjg)
(fjg => -fij)
(bhh => -bhd)
(bhd => -bhh)
(heb => hcj)
(-hcj => -heb)
(-djg => djf)
(-djf => djg)
(bfj => -bgf)
(bgf => -bfj)
(-hgg => -hfi)
(hfi => hgg)
(cja => -cji)
(cji => -cja)
(jah => -iji)
(iji => -jah)
(jbc => jbb)
(-jbb => -jbc)
(fgc => fgj)
(-fgj => -fgc)
(ffe => -fej)
(fej => -ffe)
(-gcj => -gdh)
(gdh => gcj)
(hdc => hdb)
(-hdb => -hdc)
(-hb => -hd)
(hd => hb)
(ihc => -ihd)
(ihd => -ihc)
(-cha => chc)
(-chc => cha)
(eba => -eaf)
(eaf => -eba)
(jb => -hj)
(hj => -jb)
(-bj => bi)
(-bi => bj)
(-hij => hjc)
(-hjc => hij)
(ced => -cec)
(cec => -ced)
(hfc => hfa)
(-hfa => -hfc)
(-jje => jja)
(-jja => jje)
(fic => fhe)
(-fhe => -fic)
(if => -id)
(id => -if)
(-cgc => chb)
(-chb => cgc)
(fid => -fic)
(fic => -fid)
(hcd => hce)
(-hce => -hcd)
(fb => -ef)
(ef => -fb)
(-jha => -jhc)
(jhc => jha)
(jih => -jid)
(jid => -jih)
(hjd => hii)
(-hii => -hjd)
(bad => baa)
(-baa => -bad)
(eaj => -eag)
(eag => -eaj)
(hjg => -hji)
(hji => -hjg)
(-icd => ici)
(-ici => icd)
(ddb => dci)
(-dci => -ddb)
(bej => -bee)
(bee => -bej)
(hcg => hce)
(-hce => -hcg)
(cj => de)
(-de => -cj)
(-bbb => -bag)
(bag => bbb)
(fig => -fjd)
(fjd => -fig)
(gag => -gah)
(gah => -gag)
(-egb => -egd)
(egd => egb)
(jhj => jig)
(-jig => -jhj)
(-bea => -bdc)
(bdc => bea)
(bja => -bij)
(bij => -bja)
(-cia => cig)
(-cig => cia)
(dhi => dhj)
(-dhj => -dhi)
(-bfj => bfi)
(-bfi => bfj)
(-jhh => jii)
(-jii => jhh)
(-fif => -fhj)
(fhj => fif)
(-jfc => jga)
(-jga => jfc)
(-cec => cee)
(-cee => cec)
(-ecd => -ece)
(ece => ecd)
(eij => ejc)
(-ejc => -eij)
(hg => -hf)
(hf => -hg)
(-fib => fia)
(-fia => fib)
(bad => jg)
(-jg => -bad)
(-ihi => -ihe)
(ihe => ihi)
(-dcd => dbd)
(-dbd => dcd)
(ghe => ghg)
(-ghg => -ghe)
(eeb => edf)
(-edf => -eeb)
(eah => ebg)
(-ebg => -eah)
(-f => e)
(-e => f)
(bcg => bcc)
(-bcc => -bcg)
(-e => -ba)
(ba => e)
(gi => hb)
(-hb => -gi)
(ibb => -iai)
(iai => -ibb)
(gdd => gdf)
(-gdf => -gdd)
(-gb => fh)
(-fh => gb)
(hjh => -iad)
(iad => -hjh)
(geg => gfa)
(-gfa => -geg)
(gih => -gie)
(gie => -gih)
(fgf => fgg)
(-fgg => -fgf)
(-hbh => -hci)
(hci => hbh)
(-hae => -hbb)
(hbb => hae)
(-djf => -ead)
(ead => djf)
(-ffe => -ffh)
(ffh => ffe)
(fdf => fdg)
(-fdg => -fdf)
(-bcc => -bda)
(bda => bcc)
(eib => ehd)
(-ehd => -eib)
(-fde => fdj)
(-fdj => fde)
(faa => -fae)
(fae => -faa)
(-ga => ff)
(-ff => ga)
(fih => fjc)
(-fjc => -fih)
(-idd => idi)
(-idi => idd)
(fje => fjh)
(-fjh => -fje)
(jad => -jag)
(jag => -jad)
(bgc => bge)
(-bge => -bgc)
(d => b)
(-b => -d)
(jei => jee)
(-jee => -jei)
(ggc => -gfe)
(gfe => -ggc)
(-djc => djd)
(-djd => djc)
(bgd => bgc)
(-bgc => -bgd)
(ibi => -iba)
(iba => -ibi)
(-dji => -djb)
(djb => dji)
(bha => bhf)
(-bhf => -bha)
(hae => hag)
(-hag => -hae)
(-eij => -eje)
(eje => eij)
(-cgj => cgd)
(-cgd => cgj)
(cbf => -cbh)
(cbh => -cbf)
(-fcc => -fcg)
(fcg => fcc)
(-hdg => hdi)
(-hdi => hdg)
(-bid => bif)
(-bif => bid)
(-bca => -bbi)
(bbi => bca)
(-ggb => gfi)
(-gfi => ggb)
(fi => fj)
(-fj => -fi)
(cbh => -cca)
(cca => -cbh)
(-jda => -jdf)
(jdf => jda)
(-ead => ebf)
(-ebf => ead)
(bfa => bdd)
(-bdd => -bfa)
(icg => dba)
(-dba => -icg)
(-jef => gjh)
(-gjh => jef)
(-dig => -jjh)
(jjh => dig)
(jcd => e)
(-e => -jcd)
(-ija => ge)
(-ge => ija)
(-gbg => bdg)
(-bdg => gbg)
(-iee => -hgj)
(hgj => iee)
(hcb => -idi)
(idi => -hcb)
(ge => idf)
(-idf => -ge)
(gaa => ige)
(-ige => -gaa)
(-jbj => ghb)
(-ghb => jbj)
(gdc => dcb)
(-dcb => -gdc)
(-cfd => edc)
(-edc => cfd)
(-jhg => -hid)
(hid => jhg)
(-eff => -dda)
(dda => eff)
(-df => -eeb)
(eeb => df)
(fgj => jif)
(-jif => -fgj)
(igj => -bef)
(bef => -igj)
(-dij => fih)
(-fih => dij)
(-ijg => -jfc)
(jfc => ijg)
(bgg => ja)
(-ja => -bgg)
(-gfi => -ibj)
(ibj => gfi)
(-dbi => -hfa)
(hfa => dbi)
(jcc => -dic)
(dic => -jcc)
(fcf => -fae)
(fae => -fcf)
(fii => daf)
(-daf => -fii)
(djb => dig)
(-dig => -djb)
(jae => cfa)
(-cfa => -jae)
(-dih => -jbf)
(jbf => dih)
(-cad => -dcf)
(dcf => cad)
(iih => hag)
(-hag => -iih)
(-dbj => eha)
(-eha => dbj)
(eag => -gbe)
(gbe => -eag)
(-bg => fab)
(-fab => bg)
(caj => hca)
(-hca => -caj)
(-ijj => jga)
(-jga => ijj)
(-bfg => -gda)
(gda => bfg)
(-fig => -dfi)
(dfi => fig)
(-dad => bbc)
(-bbc => dad)
(-bbe => -fie)
(fie => bbe)
(-jic => cfb)
(-cfb => jic)
(gb => -jja)
(jja => -gb)
(egd => -ibh)
(ibh => -egd)
(ded => ijh)
(-ijh => -ded)
(-dah => -fej)
(fej => dah)
(edb => -idj)
(idj => -edb)
(-jhc => -ddg)
(ddg => jhc)
(-cgc => -jgi)
(jgi => cgc)