Riemann80a /. CyclicRule
Out[35]=
{R R , R R , (-R + R ) R ,
afgh bcde agfh bcde afgh agfh bcde
R R , R R , (-R + R ) R ,
aegh bcdf ageh bcdf aegh ageh bcdf
R R , R R , (-R + R ) R ,
aefh bcdg afeh bcdg aefh afeh bcdg
R R , R R , (-R + R ) R ,
aefg bcdh afeg bcdh aefg afeg bcdh
R R , R R , (-R + R ) R ,
adgh bcef agdh bcef adgh agdh bcef
R R , R R , (-R + R ) R ,
adfh bceg afdh bceg adfh afdh bceg
R R , R R , (-R + R ) R ,
adfg bceh afdg bceh adfg afdg bceh
R R , R R , (-R + R ) R ,
adeh bcfg aedh bcfg adeh aedh bcfg
R R , R R , (-R + R ) R ,
adeg bcfh aedg bcfh adeg aedg bcfh
R R , R R , (-R + R ) R ,
adef bcgh aedf bcgh adef aedf bcgh
R R , R R , (-R + R ) R ,
afgh bdce agfh bdce afgh agfh bdce
R R , R R , (-R + R ) R ,
aegh bdcf ageh bdcf aegh ageh bdcf
R R , R R , (-R + R ) R ,
aefh bdcg afeh bdcg aefh afeh bdcg
R R , R R , (-R + R ) R ,
aefg bdch afeg bdch aefg afeg bdch
R R , R R , (-R + R ) R ,
acgh bdef agch bdef acgh agch bdef
R R , R R , (-R + R ) R ,
acfh bdeg afch bdeg acfh afch bdeg
R R , R R , (-R + R ) R ,
acfg bdeh afcg bdeh acfg afcg bdeh
R R , R R , (-R + R ) R ,
aceh bdfg aech bdfg aceh aech bdfg
R R , R R , (-R + R ) R ,
aceg bdfh aecg bdfh aceg aecg bdfh
R R , R R , (-R + R ) R ,
acef bdgh aecf bdgh acef aecf bdgh
R (-R + R ), R (-R + R ),
afgh bcde bdce agfh bcde bdce
(-R + R ) (-R + R ), R R ,
afgh agfh bcde bdce adgh becf
R R , (-R + R ) R , R R ,
agdh becf adgh agdh becf adfh becg
R R , (-R + R ) R , R R ,
afdh becg adfh afdh becg adfg bech
R R , (-R + R ) R , R R ,
afdg bech adfg afdg bech acgh bedf
R R , (-R + R ) R , R R ,
agch bedf acgh agch bedf acfh bedg
R R , (-R + R ) R , R R ,
afch bedg acfh afch bedg acfg bedh
R R , (-R + R ) R , R R ,
afcg bedh acfg afcg bedh acdh befg
R R , (-R + R ) R , R R ,
adch befg acdh adch befg acdg befh
R R , (-R + R ) R , R R ,
adcg befh acdg adcg befh acdf begh
R R , (-R + R ) R ,
adcf begh acdf adcf begh
R (-R + R ), R (-R + R ),
aegh bcdf bdcf ageh bcdf bdcf
(-R + R ) (-R + R ),
aegh ageh bcdf bdcf
R (-R + R ), R (-R + R ),
adgh bcef becf agdh bcef becf
(-R + R ) (-R + R ), R R ,
adgh agdh bcef becf adeh bfcg
R R , (-R + R ) R , R R ,
aedh bfcg adeh aedh bfcg adeg bfch
R R , (-R + R ) R ,
aedg bfch adeg aedg bfch
R (-R + R ), R (-R + R ),
acgh bdef bedf agch bdef bedf
(-R + R ) (-R + R ), R R ,
acgh agch bdef bedf aceh bfdg
R R , (-R + R ) R , R R ,
aech bfdg aceh aech bfdg aceg bfdh
R R , (-R + R ) R , R R ,
aecg bfdh aceg aecg bfdh acdh bfeg
R R , (-R + R ) R , R R ,
adch bfeg acdh adch bfeg acdg bfeh
R R , (-R + R ) R , R R ,
adcg bfeh acdg adcg bfeh acde bfgh
R R , (-R + R ) R ,
adce bfgh acde adce bfgh
R (-R + R ), R (-R + R ),
aefh bcdg bdcg afeh bcdg bdcg
(-R + R ) (-R + R ),
aefh afeh bcdg bdcg
R (-R + R ), R (-R + R ),
adfh bceg becg afdh bceg becg
(-R + R ) (-R + R ),
adfh afdh bceg becg
R (-R + R ), R (-R + R ),
adeh bcfg bfcg aedh bcfg bfcg
(-R + R ) (-R + R ), R R ,
adeh aedh bcfg bfcg adef bgch
R R , (-R + R ) R ,
aedf bgch adef aedf bgch
R (-R + R ), R (-R + R ),
acfh bdeg bedg afch bdeg bedg
(-R + R ) (-R + R ),
acfh afch bdeg bedg
R (-R + R ), R (-R + R ),
aceh bdfg bfdg aech bdfg bfdg
(-R + R ) (-R + R ), R R ,
aceh aech bdfg bfdg acef bgdh
R R , (-R + R ) R ,
aecf bgdh acef aecf bgdh
R (-R + R ), R (-R + R ),
acdh befg bfeg adch befg bfeg
(-R + R ) (-R + R ), R R ,
acdh adch befg bfeg acdf bgeh
R R , (-R + R ) R , R R ,
adcf bgeh acdf adcf bgeh acde bgfh
R R , (-R + R ) R ,
adce bgfh acde adce bgfh
R (-R + R ), R (-R + R ),
aefg bcdh bdch afeg bcdh bdch
(-R + R ) (-R + R ),
aefg afeg bcdh bdch
R (-R + R ), R (-R + R ),
adfg bceh bech afdg bceh bech
(-R + R ) (-R + R ),
adfg afdg bceh bech
R (-R + R ), R (-R + R ),
adeg bcfh bfch aedg bcfh bfch
(-R + R ) (-R + R ),
adeg aedg bcfh bfch
R (-R + R ), R (-R + R ),
adef bcgh bgch aedf bcgh bgch
(-R + R ) (-R + R ),
adef aedf bcgh bgch
R (-R + R ), R (-R + R ),
acfg bdeh bedh afcg bdeh bedh
(-R + R ) (-R + R ),
acfg afcg bdeh bedh
R (-R + R ), R (-R + R ),
aceg bdfh bfdh aecg bdfh bfdh
(-R + R ) (-R + R ),
aceg aecg bdfh bfdh
R (-R + R ), R (-R + R ),
acef bdgh bgdh aecf bdgh bgdh
(-R + R ) (-R + R ),
acef aecf bdgh bgdh
R (-R + R ), R (-R + R ),
acdg befh bfeh adcg befh bfeh
(-R + R ) (-R + R ),
acdg adcg befh bfeh
R (-R + R ), R (-R + R ),
acdf begh bgeh adcf begh bgeh
(-R + R ) (-R + R ),
acdf adcf begh bgeh
R (-R + R ), R (-R + R ),
acde bfgh bgfh adce bfgh bgfh
(-R + R ) (-R + R ), R R ,
acde adce bfgh bgfh abgh cdef
R R , (-R + R ) R , R R ,
agbh cdef abgh agbh cdef abfh cdeg
R R , (-R + R ) R , R R ,
afbh cdeg abfh afbh cdeg abfg cdeh
R R , (-R + R ) R , R R ,
afbg cdeh abfg afbg cdeh abeh cdfg
R R , (-R + R ) R , R R ,
aebh cdfg abeh aebh cdfg abeg cdfh
R R , (-R + R ) R , R R ,
aebg cdfh abeg aebg cdfh abef cdgh
R R , (-R + R ) R , R R ,
aebf cdgh abef aebf cdgh abgh cedf
R R , (-R + R ) R , R R ,
agbh cedf abgh agbh cedf abfh cedg
R R , (-R + R ) R , R R ,
afbh cedg abfh afbh cedg abfg cedh
R R , (-R + R ) R , R R ,
afbg cedh abfg afbg cedh abdh cefg
R R , (-R + R ) R , R R ,
adbh cefg abdh adbh cefg abdg cefh
R R , (-R + R ) R , R R ,
adbg cefh abdg adbg cefh abdf cegh
R R , (-R + R ) R ,
adbf cegh abdf adbf cegh
R (-R + R ), R (-R + R ),
abgh cdef cedf agbh cdef cedf
(-R + R ) (-R + R ), R R ,
abgh agbh cdef cedf abeh cfdg
R R , (-R + R ) R , R R ,
aebh cfdg abeh aebh cfdg abeg cfdh
R R , (-R + R ) R , R R ,
aebg cfdh abeg aebg cfdh abdh cfeg
R R , (-R + R ) R , R R ,
adbh cfeg abdh adbh cfeg abdg cfeh
R R , (-R + R ) R , R R ,
adbg cfeh abdg adbg cfeh abde cfgh
R R , (-R + R ) R ,
adbe cfgh abde adbe cfgh
R (-R + R ), R (-R + R ),
abfh cdeg cedg afbh cdeg cedg
(-R + R ) (-R + R ),
abfh afbh cdeg cedg
R (-R + R ), R (-R + R ),
abeh cdfg cfdg aebh cdfg cfdg
(-R + R ) (-R + R ), R R ,
abeh aebh cdfg cfdg abef cgdh
R R , (-R + R ) R ,
aebf cgdh abef aebf cgdh
R (-R + R ), R (-R + R ),
abdh cefg cfeg adbh cefg cfeg
(-R + R ) (-R + R ), R R ,
abdh adbh cefg cfeg abdf cgeh
R R , (-R + R ) R , R R ,
adbf cgeh abdf adbf cgeh abde cgfh
R R , (-R + R ) R ,
adbe cgfh abde adbe cgfh
R (-R + R ), R (-R + R ),
abfg cdeh cedh afbg cdeh cedh
(-R + R ) (-R + R ),
abfg afbg cdeh cedh
R (-R + R ), R (-R + R ),
abeg cdfh cfdh aebg cdfh cfdh
(-R + R ) (-R + R ),
abeg aebg cdfh cfdh
R (-R + R ), R (-R + R ),
abef cdgh cgdh aebf cdgh cgdh
(-R + R ) (-R + R ),
abef aebf cdgh cgdh
R (-R + R ), R (-R + R ),
abdg cefh cfeh adbg cefh cfeh
(-R + R ) (-R + R ),
abdg adbg cefh cfeh
R (-R + R ), R (-R + R ),
abdf cegh cgeh adbf cegh cgeh
(-R + R ) (-R + R ),
abdf adbf cegh cgeh
R (-R + R ), R (-R + R ),
abde cfgh cgfh adbe cfgh cgfh
(-R + R ) (-R + R ), R R ,
abde adbe cfgh cgfh abch defg
R R , (-R + R ) R , R R ,
acbh defg abch acbh defg abcg defh
R R , (-R + R ) R , R R ,
acbg defh abcg acbg defh abcf degh
R R , (-R + R ) R , R R ,
acbf degh abcf acbf degh abch dfeg
R R , (-R + R ) R , R R ,
acbh dfeg abch acbh dfeg abcg dfeh
R R , (-R + R ) R , R R ,
acbg dfeh abcg acbg dfeh abce dfgh
R R , (-R + R ) R ,
acbe dfgh abce acbe dfgh
R (-R + R ), R (-R + R ),
abch defg dfeg acbh defg dfeg
(-R + R ) (-R + R ), R R ,
abch acbh defg dfeg abcf dgeh
R R , (-R + R ) R , R R ,
acbf dgeh abcf acbf dgeh abce dgfh
R R , (-R + R ) R ,
acbe dgfh abce acbe dgfh
R (-R + R ), R (-R + R ),
abcg defh dfeh acbg defh dfeh
(-R + R ) (-R + R ),
abcg acbg defh dfeh
R (-R + R ), R (-R + R ),
abcf degh dgeh acbf degh dgeh
(-R + R ) (-R + R ),
abcf acbf degh dgeh
R (-R + R ), R (-R + R ),
abce dfgh dgfh acbe dfgh dgfh
(-R + R ) (-R + R ), R R ,
abce acbe dfgh dgfh abcd efgh
R R , (-R + R ) R , R R ,
acbd efgh abcd acbd efgh abcd egfh
R R , (-R + R ) R ,
acbd egfh abcd acbd egfh
R (-R + R ), R (-R + R ),
abcd efgh egfh acbd efgh egfh
(-R + R ) (-R + R )}
abcd acbd efgh egfh
Up to A Very Large Scale Pattern Matching Problem in MathTensor