| u(3_1 # 11n_165) | u(3_1 # 11n_165) | {3_1 # 11n_165} | true |
| u(3_1 # m11n_165) | u(3_1 # m11n_165) | {3_1 # m11n_165} | true |
| u(3_1 # 11n_166) | u(3_1 # 11n_166) | {3_1 # 11n_166, 3_1 # r11n_166} | false |
| u(3_1 # m11n_166) | u(3_1 # m11n_166) | {3_1 # m11n_166, 3_1 # mr11n_166} | false |
| u(3_1 # 11n_167) | u(3_1 # 11n_167) | {3_1 # 11n_167} | true |
| u(3_1 # m11n_167) | u(3_1 # m11n_167) | {3_1 # m11n_167} | true |
| u(3_1 # 11n_168) | u(3_1 # 11n_168) | {3_1 # 11n_168} | true |
| u(3_1 # m11n_168) | u(3_1 # m11n_168) | {3_1 # m11n_168} | true |
| u(3_1 # 11n_169) | u(3_1 # 11n_169) | {3_1 # 11n_169} | true |
| u(3_1 # m11n_169) | u(3_1 # m11n_169) | {3_1 # m11n_169} | true |
| u(3_1 # 11n_170) | u(3_1 # 11n_170) | {3_1 # 11n_170} | true |
| u(3_1 # m11n_170) | u(3_1 # m11n_170) | {3_1 # m11n_170} | true |
| u(3_1 # 11n_171) | u(3_1 # 11n_171) | {3_1 # 11n_171} | true |
| u(3_1 # m11n_171) | u(3_1 # m11n_171) | {3_1 # m11n_171} | true |
| u(3_1 # 11n_172) | u(3_1 # 11n_172) | {3_1 # 11n_172, 3_1 # r11n_172} | false |
| u(3_1 # m11n_172) | u(3_1 # m11n_172) | {3_1 # m11n_172, 3_1 # mr11n_172} | false |
| u(3_1 # 11n_173) | u(3_1 # 11n_173) | {3_1 # 11n_173} | true |
| u(3_1 # m11n_173) | u(3_1 # m11n_173) | {3_1 # m11n_173} | true |
| u(3_1 # 11n_174) | u(3_1 # 11n_174) | {3_1 # 11n_174, 3_1 # r11n_174} | false |
| u(3_1 # m11n_174) | u(3_1 # m11n_174) | {3_1 # m11n_174, 3_1 # mr11n_174} | false |
| u(3_1 # 11n_175) | u(3_1 # 11n_175) | {3_1 # 11n_175} | true |
| u(3_1 # m11n_175) | u(3_1 # m11n_175) | {3_1 # m11n_175} | true |
| u(3_1 # 11n_176) | u(3_1 # 11n_176) | {3_1 # 11n_176, 3_1 # r11n_176} | false |
| u(3_1 # m11n_176) | u(3_1 # m11n_176) | {3_1 # m11n_176, 3_1 # mr11n_176} | false |
| u(3_1 # 11n_177) | u(3_1 # 11n_177) | {3_1 # 11n_177, 3_1 # r11n_177} | false |
| u(3_1 # m11n_177) | u(3_1 # m11n_177) | {3_1 # m11n_177, 3_1 # mr11n_177} | false |
| u(3_1 # 11n_178) | u(3_1 # 11n_178) | {3_1 # 11n_178} | true |
| u(3_1 # m11n_178) | u(3_1 # m11n_178) | {3_1 # m11n_178} | true |
| u(3_1 # 11n_179) | u(3_1 # 11n_179) | {3_1 # 11n_179} | true |
| u(3_1 # m11n_179) | u(3_1 # m11n_179) | {3_1 # m11n_179} | true |
| u(3_1 # 11n_180) | u(3_1 # 11n_180) | {3_1 # 11n_180} | true |
| u(3_1 # m11n_180) | u(3_1 # m11n_180) | {3_1 # m11n_180} | true |
| u(3_1 # 11n_181) | u(3_1 # 11n_181) | {3_1 # 11n_181} | true |
| u(3_1 # m11n_181) | u(3_1 # m11n_181) | {3_1 # m11n_181} | true |
| u(3_1 # 11n_182) | u(3_1 # 11n_182) | {3_1 # 11n_182} | true |
| u(3_1 # m11n_182) | u(3_1 # m11n_182) | {3_1 # m11n_182} | true |
| u(3_1 # 11n_183) | u(3_1 # 11n_183) | {3_1 # 11n_183} | true |
| u(3_1 # m11n_183) | u(3_1 # m11n_183) | {3_1 # m11n_183} | true |
| u(3_1 # 11n_184) | u(3_1 # 11n_184) | {3_1 # 11n_184, 3_1 # r11n_184} | false |
| u(3_1 # m11n_184) | u(3_1 # m11n_184) | {3_1 # m11n_184, 3_1 # mr11n_184} | false |
| u(3_1 # 11n_185) | u(3_1 # 11n_185) | {3_1 # 11n_185} | true |
| u(3_1 # m11n_185) | u(3_1 # m11n_185) | {3_1 # m11n_185} | true |
| u(m3_1 # m3_1 # m3_1 # 5_1) | u(m3_1 # m3_1 # m3_1 # 5_1) | {m3_1 # m3_1 # m3_1 # 5_1} | true |
| u(m3_1 # m3_1 # m3_1 # m5_1) | u(m3_1 # m3_1 # m3_1 # m5_1) | {m3_1 # m3_1 # m3_1 # m5_1} | true |
| u(m3_1 # m3_1 # m3_1 # 5_2) | u(m3_1 # m3_1 # m3_1 # 5_2) | {m3_1 # m3_1 # m3_1 # 5_2} | true |
| u(m3_1 # m3_1 # m3_1 # m5_2) | u(m3_1 # m3_1 # m3_1 # m5_2) | {m3_1 # m3_1 # m3_1 # m5_2} | true |
| u(m3_1 # m3_1 # 4_1 # 4_1) | u(m3_1 # m3_1 # 4_1 # 4_1) | {m3_1 # m3_1 # 4_1 # 4_1} | true |
| u(m3_1 # m3_1 # 8_1) | u(m3_1 # m3_1 # 8_1) | {m3_1 # m3_1 # 8_1} | true |
| u(m3_1 # m3_1 # m8_1) | u(m3_1 # m3_1 # m8_1) | {m3_1 # m3_1 # m8_1} | true |
| u(m3_1 # m3_1 # 8_2) | u(m3_1 # m3_1 # 8_2) | {m3_1 # m3_1 # 8_2} | true |
| u(m3_1 # m3_1 # m8_2) | u(m3_1 # m3_1 # m8_2) | {m3_1 # m3_1 # m8_2} | true |
| u(m3_1 # m3_1 # 8_3) | u(m3_1 # m3_1 # 8_3) | {m3_1 # m3_1 # 8_3} | true |
| u(m3_1 # m3_1 # 8_4) | u(m3_1 # m3_1 # 8_4) | {m3_1 # m3_1 # 8_4} | true |
| u(m3_1 # m3_1 # m8_4) | u(m3_1 # m3_1 # m8_4) | {m3_1 # m3_1 # m8_4} | true |
| u(m3_1 # m3_1 # 8_5) | u(m3_1 # m3_1 # 8_5) | {m3_1 # m3_1 # 8_5} | true |
| u(m3_1 # m3_1 # m8_5) | u(m3_1 # m3_1 # m8_5) | {m3_1 # m3_1 # m8_5} | true |
| u(m3_1 # m3_1 # 8_6) | u(m3_1 # m3_1 # 8_6) | {m3_1 # m3_1 # 8_6} | true |
| u(m3_1 # m3_1 # m8_6) | u(m3_1 # m3_1 # m8_6) | {m3_1 # m3_1 # m8_6} | true |
| u(m3_1 # m3_1 # 8_7) | u(m3_1 # m3_1 # 8_7) | {m3_1 # m3_1 # 8_7} | true |
| u(m3_1 # m3_1 # m8_7) | u(m3_1 # m3_1 # m8_7) | {m3_1 # m3_1 # m8_7} | true |
| u(m3_1 # m3_1 # 8_8) | u(m3_1 # m3_1 # 8_8) | {m3_1 # m3_1 # 8_8} | true |
| u(m3_1 # m3_1 # m8_8) | u(m3_1 # m3_1 # m8_8) | {m3_1 # m3_1 # m8_8} | true |
| u(m3_1 # m3_1 # 8_9) | u(m3_1 # m3_1 # 8_9) | {m3_1 # m3_1 # 8_9} | true |
| u(m3_1 # m3_1 # 8_10) | u(m3_1 # m3_1 # 8_10) | {m3_1 # m3_1 # 8_10} | true |
| u(m3_1 # m3_1 # m8_10) | u(m3_1 # m3_1 # m8_10) | {m3_1 # m3_1 # m8_10} | true |
| u(m3_1 # m3_1 # 8_11) | u(m3_1 # m3_1 # 8_11) | {m3_1 # m3_1 # 8_11} | true |
| u(m3_1 # m3_1 # m8_11) | u(m3_1 # m3_1 # m8_11) | {m3_1 # m3_1 # m8_11} | true |
| u(m3_1 # m3_1 # 8_12) | u(m3_1 # m3_1 # 8_12) | {m3_1 # m3_1 # 8_12} | true |
| u(m3_1 # m3_1 # 8_13) | u(m3_1 # m3_1 # 8_13) | {m3_1 # m3_1 # 8_13} | true |
| u(m3_1 # m3_1 # m8_13) | u(m3_1 # m3_1 # m8_13) | {m3_1 # m3_1 # m8_13} | true |
| u(m3_1 # m3_1 # 8_14) | u(m3_1 # m3_1 # 8_14) | {m3_1 # m3_1 # 8_14} | true |
| u(m3_1 # m3_1 # m8_14) | u(m3_1 # m3_1 # m8_14) | {m3_1 # m3_1 # m8_14} | true |
| u(m3_1 # m3_1 # 8_15) | u(m3_1 # m3_1 # 8_15) | {m3_1 # m3_1 # 8_15} | true |
| u(m3_1 # m3_1 # m8_15) | u(m3_1 # m3_1 # m8_15) | {m3_1 # m3_1 # m8_15} | true |
| u(m3_1 # m3_1 # 8_16) | u(m3_1 # m3_1 # 8_16) | {m3_1 # m3_1 # 8_16} | true |
| u(m3_1 # m3_1 # m8_16) | u(m3_1 # m3_1 # m8_16) | {m3_1 # m3_1 # m8_16} | true |
| u(m3_1 # m3_1 # 8_17) | u(m3_1 # m3_1 # 8_17) | {m3_1 # m3_1 # 8_17, m3_1 # m3_1 # r8_17} | false |
| u(m3_1 # m3_1 # 8_18) | u(m3_1 # m3_1 # 8_18) | {m3_1 # m3_1 # 8_18} | true |
| u(m3_1 # m3_1 # 8_19) | u(m3_1 # m3_1 # 8_19) | {m3_1 # m3_1 # 8_19} | true |
| u(m3_1 # m3_1 # m8_19) | u(m3_1 # m3_1 # m8_19) | {m3_1 # m3_1 # m8_19} | true |
| u(m3_1 # m3_1 # 8_20) | u(m3_1 # m3_1 # 8_20) | {m3_1 # m3_1 # 8_20} | true |
| u(m3_1 # m3_1 # m8_20) | u(m3_1 # m3_1 # m8_20) | {m3_1 # m3_1 # m8_20} | true |
| u(m3_1 # m3_1 # 8_21) | u(m3_1 # m3_1 # 8_21) | {m3_1 # m3_1 # 8_21} | true |
| u(m3_1 # m3_1 # m8_21) | u(m3_1 # m3_1 # m8_21) | {m3_1 # m3_1 # m8_21} | true |
| u(m3_1 # 4_1 # 7_1) | u(m3_1 # 4_1 # 7_1) | {m3_1 # 4_1 # 7_1} | true |
| u(m3_1 # 4_1 # m7_1) | u(m3_1 # 4_1 # m7_1) | {m3_1 # 4_1 # m7_1} | true |
| u(m3_1 # 4_1 # 7_2) | u(m3_1 # 4_1 # 7_2) | {m3_1 # 4_1 # 7_2} | true |
| u(m3_1 # 4_1 # m7_2) | u(m3_1 # 4_1 # m7_2) | {m3_1 # 4_1 # m7_2} | true |
| u(m3_1 # 4_1 # 7_3) | u(m3_1 # 4_1 # 7_3) | {m3_1 # 4_1 # 7_3} | true |
| u(m3_1 # 4_1 # m7_3) | u(m3_1 # 4_1 # m7_3) | {m3_1 # 4_1 # m7_3} | true |
| u(m3_1 # 4_1 # 7_4) | u(m3_1 # 4_1 # 7_4) | {m3_1 # 4_1 # 7_4} | true |
| u(m3_1 # 4_1 # m7_4) | u(m3_1 # 4_1 # m7_4) | {m3_1 # 4_1 # m7_4} | true |
| u(m3_1 # 4_1 # 7_5) | u(m3_1 # 4_1 # 7_5) | {m3_1 # 4_1 # 7_5} | true |
| u(m3_1 # 4_1 # m7_5) | u(m3_1 # 4_1 # m7_5) | {m3_1 # 4_1 # m7_5} | true |
| u(m3_1 # 4_1 # 7_6) | u(m3_1 # 4_1 # 7_6) | {m3_1 # 4_1 # 7_6} | true |
| u(m3_1 # 4_1 # m7_6) | u(m3_1 # 4_1 # m7_6) | {m3_1 # 4_1 # m7_6} | true |
| u(m3_1 # 4_1 # 7_7) | u(m3_1 # 4_1 # 7_7) | {m3_1 # 4_1 # 7_7} | true |
| u(m3_1 # 4_1 # m7_7) | u(m3_1 # 4_1 # m7_7) | {m3_1 # 4_1 # m7_7} | true |
| u(m3_1 # 5_1 # 6_1) | u(m3_1 # 5_1 # 6_1) | {m3_1 # 5_1 # 6_1} | true |
| u(m3_1 # 5_1 # m6_1) | u(m3_1 # 5_1 # m6_1) | {m3_1 # 5_1 # m6_1} | true |