| u13n_5103 | u13n_5103 | {13n_5103, r13n_5103} | false |
| um13n_5103 | um13n_5103 | {m13n_5103, mr13n_5103} | false |
| u13n_5104 | u13n_5104 | {13n_5104} | true |
| um13n_5104 | um13n_5104 | {m13n_5104} | true |
| u13n_5105 | u13n_5105 | {13n_5105} | true |
| um13n_5105 | um13n_5105 | {m13n_5105} | true |
| u13n_5106 | u13n_5106 | {13n_5106} | true |
| um13n_5106 | um13n_5106 | {m13n_5106} | true |
| u13n_5107 | u13n_5107 | {13n_5107, r13n_5107} | false |
| um13n_5107 | um13n_5107 | {m13n_5107, mr13n_5107} | false |
| u13n_5108 | u13n_5108 | {13n_5108, r13n_5108} | false |
| um13n_5108 | um13n_5108 | {m13n_5108, mr13n_5108} | false |
| u13n_5109 | u13n_5109 | {13n_5109} | true |
| um13n_5109 | um13n_5109 | {m13n_5109} | true |
| u13n_5110 | u13n_5110 | {13n_5110} | true |
| um13n_5110 | um13n_5110 | {m13n_5110} | true |
| u(3_1 # 3_1 # 3_1 # 5_1) | u(3_1 # 3_1 # 3_1 # 5_1) | {3_1 # 3_1 # 3_1 # 5_1} | true |
| u(3_1 # 3_1 # 3_1 # m5_1) | u(3_1 # 3_1 # 3_1 # m5_1) | {3_1 # 3_1 # 3_1 # m5_1} | true |
| u(3_1 # 3_1 # 3_1 # 5_2) | u(3_1 # 3_1 # 3_1 # 5_2) | {3_1 # 3_1 # 3_1 # 5_2} | true |
| u(3_1 # 3_1 # 3_1 # m5_2) | u(3_1 # 3_1 # 3_1 # m5_2) | {3_1 # 3_1 # 3_1 # m5_2} | true |
| u(3_1 # 3_1 # m3_1 # 5_1) | u(3_1 # 3_1 # m3_1 # 5_1) | {3_1 # 3_1 # m3_1 # 5_1} | true |
| u(3_1 # 3_1 # m3_1 # m5_1) | u(3_1 # 3_1 # m3_1 # m5_1) | {3_1 # 3_1 # m3_1 # m5_1} | true |
| u(3_1 # 3_1 # m3_1 # 5_2) | u(3_1 # 3_1 # m3_1 # 5_2) | {3_1 # 3_1 # m3_1 # 5_2} | true |
| u(3_1 # 3_1 # m3_1 # m5_2) | u(3_1 # 3_1 # m3_1 # m5_2) | {3_1 # 3_1 # m3_1 # m5_2} | true |
| u(3_1 # 3_1 # 4_1 # 4_1) | u(3_1 # 3_1 # 4_1 # 4_1) | {3_1 # 3_1 # 4_1 # 4_1} | true |
| u(3_1 # 3_1 # 8_1) | u(3_1 # 3_1 # 8_1) | {3_1 # 3_1 # 8_1} | true |
| u(3_1 # 3_1 # m8_1) | u(3_1 # 3_1 # m8_1) | {3_1 # 3_1 # m8_1} | true |
| u(3_1 # 3_1 # 8_2) | u(3_1 # 3_1 # 8_2) | {3_1 # 3_1 # 8_2} | true |
| u(3_1 # 3_1 # m8_2) | u(3_1 # 3_1 # m8_2) | {3_1 # 3_1 # m8_2} | true |
| u(3_1 # 3_1 # 8_3) | u(3_1 # 3_1 # 8_3) | {3_1 # 3_1 # 8_3} | true |
| u(3_1 # 3_1 # 8_4) | u(3_1 # 3_1 # 8_4) | {3_1 # 3_1 # 8_4} | true |
| u(3_1 # 3_1 # m8_4) | u(3_1 # 3_1 # m8_4) | {3_1 # 3_1 # m8_4} | true |
| u(3_1 # 3_1 # 8_5) | u(3_1 # 3_1 # 8_5) | {3_1 # 3_1 # 8_5} | true |
| u(3_1 # 3_1 # m8_5) | u(3_1 # 3_1 # m8_5) | {3_1 # 3_1 # m8_5} | true |
| u(3_1 # 3_1 # 8_6) | u(3_1 # 3_1 # 8_6) | {3_1 # 3_1 # 8_6} | true |
| u(3_1 # 3_1 # m8_6) | u(3_1 # 3_1 # m8_6) | {3_1 # 3_1 # m8_6} | true |
| u(3_1 # 3_1 # 8_7) | u(3_1 # 3_1 # 8_7) | {3_1 # 3_1 # 8_7} | true |
| u(3_1 # 3_1 # m8_7) | u(3_1 # 3_1 # m8_7) | {3_1 # 3_1 # m8_7} | true |
| u(3_1 # 3_1 # 8_8) | u(3_1 # 3_1 # 8_8) | {3_1 # 3_1 # 8_8} | true |
| u(3_1 # 3_1 # m8_8) | u(3_1 # 3_1 # m8_8) | {3_1 # 3_1 # m8_8} | true |
| u(3_1 # 3_1 # 8_9) | u(3_1 # 3_1 # 8_9) | {3_1 # 3_1 # 8_9} | true |
| u(3_1 # 3_1 # 8_10) | u(3_1 # 3_1 # 8_10) | {3_1 # 3_1 # 8_10} | true |
| u(3_1 # 3_1 # m8_10) | u(3_1 # 3_1 # m8_10) | {3_1 # 3_1 # m8_10} | true |
| u(3_1 # 3_1 # 8_11) | u(3_1 # 3_1 # 8_11) | {3_1 # 3_1 # 8_11} | true |
| u(3_1 # 3_1 # m8_11) | u(3_1 # 3_1 # m8_11) | {3_1 # 3_1 # m8_11} | true |
| u(3_1 # 3_1 # 8_12) | u(3_1 # 3_1 # 8_12) | {3_1 # 3_1 # 8_12} | true |
| u(3_1 # 3_1 # 8_13) | u(3_1 # 3_1 # 8_13) | {3_1 # 3_1 # 8_13} | true |
| u(3_1 # 3_1 # m8_13) | u(3_1 # 3_1 # m8_13) | {3_1 # 3_1 # m8_13} | true |
| u(3_1 # 3_1 # 8_14) | u(3_1 # 3_1 # 8_14) | {3_1 # 3_1 # 8_14} | true |
| u(3_1 # 3_1 # m8_14) | u(3_1 # 3_1 # m8_14) | {3_1 # 3_1 # m8_14} | true |
| u(3_1 # 3_1 # 8_15) | u(3_1 # 3_1 # 8_15) | {3_1 # 3_1 # 8_15} | true |
| u(3_1 # 3_1 # m8_15) | u(3_1 # 3_1 # m8_15) | {3_1 # 3_1 # m8_15} | true |
| u(3_1 # 3_1 # 8_16) | u(3_1 # 3_1 # 8_16) | {3_1 # 3_1 # 8_16} | true |
| u(3_1 # 3_1 # m8_16) | u(3_1 # 3_1 # m8_16) | {3_1 # 3_1 # m8_16} | true |
| u(3_1 # 3_1 # 8_17) | u(3_1 # 3_1 # 8_17) | {3_1 # 3_1 # 8_17, 3_1 # 3_1 # r8_17} | false |
| u(3_1 # 3_1 # 8_18) | u(3_1 # 3_1 # 8_18) | {3_1 # 3_1 # 8_18} | true |
| u(3_1 # 3_1 # 8_19) | u(3_1 # 3_1 # 8_19) | {3_1 # 3_1 # 8_19} | true |
| u(3_1 # 3_1 # m8_19) | u(3_1 # 3_1 # m8_19) | {3_1 # 3_1 # m8_19} | true |
| u(3_1 # 3_1 # 8_20) | u(3_1 # 3_1 # 8_20) | {3_1 # 3_1 # 8_20} | true |
| u(3_1 # 3_1 # m8_20) | u(3_1 # 3_1 # m8_20) | {3_1 # 3_1 # m8_20} | true |
| u(3_1 # 3_1 # 8_21) | u(3_1 # 3_1 # 8_21) | {3_1 # 3_1 # 8_21} | true |
| u(3_1 # 3_1 # m8_21) | u(3_1 # 3_1 # m8_21) | {3_1 # 3_1 # m8_21} | true |
| u(3_1 # m3_1 # m3_1 # 5_1) | u(3_1 # m3_1 # m3_1 # 5_1) | {3_1 # m3_1 # m3_1 # 5_1} | true |
| u(3_1 # m3_1 # m3_1 # m5_1) | u(3_1 # m3_1 # m3_1 # m5_1) | {3_1 # m3_1 # m3_1 # m5_1} | true |
| u(3_1 # m3_1 # m3_1 # 5_2) | u(3_1 # m3_1 # m3_1 # 5_2) | {3_1 # m3_1 # m3_1 # 5_2} | true |
| u(3_1 # m3_1 # m3_1 # m5_2) | u(3_1 # m3_1 # m3_1 # m5_2) | {3_1 # m3_1 # m3_1 # m5_2} | true |
| u(3_1 # m3_1 # 4_1 # 4_1) | u(3_1 # m3_1 # 4_1 # 4_1) | {3_1 # m3_1 # 4_1 # 4_1} | true |
| u(3_1 # m3_1 # 8_1) | u(3_1 # m3_1 # 8_1) | {3_1 # m3_1 # 8_1} | true |
| u(3_1 # m3_1 # m8_1) | u(3_1 # m3_1 # m8_1) | {3_1 # m3_1 # m8_1} | true |
| u(3_1 # m3_1 # 8_2) | u(3_1 # m3_1 # 8_2) | {3_1 # m3_1 # 8_2} | true |
| u(3_1 # m3_1 # m8_2) | u(3_1 # m3_1 # m8_2) | {3_1 # m3_1 # m8_2} | true |
| u(3_1 # m3_1 # 8_3) | u(3_1 # m3_1 # 8_3) | {3_1 # m3_1 # 8_3} | true |
| u(3_1 # m3_1 # 8_4) | u(3_1 # m3_1 # 8_4) | {3_1 # m3_1 # 8_4} | true |
| u(3_1 # m3_1 # m8_4) | u(3_1 # m3_1 # m8_4) | {3_1 # m3_1 # m8_4} | true |
| u(3_1 # m3_1 # 8_5) | u(3_1 # m3_1 # 8_5) | {3_1 # m3_1 # 8_5} | true |
| u(3_1 # m3_1 # m8_5) | u(3_1 # m3_1 # m8_5) | {3_1 # m3_1 # m8_5} | true |
| u(3_1 # m3_1 # 8_6) | u(3_1 # m3_1 # 8_6) | {3_1 # m3_1 # 8_6} | true |
| u(3_1 # m3_1 # m8_6) | u(3_1 # m3_1 # m8_6) | {3_1 # m3_1 # m8_6} | true |
| u(3_1 # m3_1 # 8_7) | u(3_1 # m3_1 # 8_7) | {3_1 # m3_1 # 8_7} | true |
| u(3_1 # m3_1 # m8_7) | u(3_1 # m3_1 # m8_7) | {3_1 # m3_1 # m8_7} | true |
| u(3_1 # m3_1 # 8_8) | u(3_1 # m3_1 # 8_8) | {3_1 # m3_1 # 8_8} | true |
| u(3_1 # m3_1 # m8_8) | u(3_1 # m3_1 # m8_8) | {3_1 # m3_1 # m8_8} | true |
| u(3_1 # m3_1 # 8_9) | u(3_1 # m3_1 # 8_9) | {3_1 # m3_1 # 8_9} | true |
| u(3_1 # m3_1 # 8_10) | u(3_1 # m3_1 # 8_10) | {3_1 # m3_1 # 8_10} | true |
| u(3_1 # m3_1 # m8_10) | u(3_1 # m3_1 # m8_10) | {3_1 # m3_1 # m8_10} | true |
| u(3_1 # m3_1 # 8_11) | u(3_1 # m3_1 # 8_11) | {3_1 # m3_1 # 8_11} | true |
| u(3_1 # m3_1 # m8_11) | u(3_1 # m3_1 # m8_11) | {3_1 # m3_1 # m8_11} | true |
| u(3_1 # m3_1 # 8_12) | u(3_1 # m3_1 # 8_12) | {3_1 # m3_1 # 8_12} | true |
| u(3_1 # m3_1 # 8_13) | u(3_1 # m3_1 # 8_13) | {3_1 # m3_1 # 8_13} | true |
| u(3_1 # m3_1 # m8_13) | u(3_1 # m3_1 # m8_13) | {3_1 # m3_1 # m8_13} | true |
| u(3_1 # m3_1 # 8_14) | u(3_1 # m3_1 # 8_14) | {3_1 # m3_1 # 8_14} | true |
| u(3_1 # m3_1 # m8_14) | u(3_1 # m3_1 # m8_14) | {3_1 # m3_1 # m8_14} | true |
| u(3_1 # m3_1 # 8_15) | u(3_1 # m3_1 # 8_15) | {3_1 # m3_1 # 8_15} | true |
| u(3_1 # m3_1 # m8_15) | u(3_1 # m3_1 # m8_15) | {3_1 # m3_1 # m8_15} | true |
| u(3_1 # m3_1 # 8_16) | u(3_1 # m3_1 # 8_16) | {3_1 # m3_1 # 8_16} | true |
| u(3_1 # m3_1 # m8_16) | u(3_1 # m3_1 # m8_16) | {3_1 # m3_1 # m8_16} | true |
| u(3_1 # m3_1 # 8_17) | u(3_1 # m3_1 # 8_17) | {3_1 # m3_1 # 8_17, 3_1 # m3_1 # r8_17} | false |
| u(3_1 # m3_1 # 8_18) | u(3_1 # m3_1 # 8_18) | {3_1 # m3_1 # 8_18} | true |
| u(3_1 # m3_1 # 8_19) | u(3_1 # m3_1 # 8_19) | {3_1 # m3_1 # 8_19} | true |
| u(3_1 # m3_1 # m8_19) | u(3_1 # m3_1 # m8_19) | {3_1 # m3_1 # m8_19} | true |