| u(4_1 # 10_86) | u(4_1 # 10_86) | {4_1 # 10_86, 4_1 # r10_86} | false |
| u(4_1 # m10_86) | u(4_1 # m10_86) | {4_1 # m10_86, 4_1 # mr10_86} | false |
| u(4_1 # 10_87) | u(4_1 # 10_87) | {4_1 # 10_87, 4_1 # r10_87} | false |
| u(4_1 # m10_87) | u(4_1 # m10_87) | {4_1 # m10_87, 4_1 # mr10_87} | false |
| u(4_1 # 10_88) | u(4_1 # 10_88) | {4_1 # 10_88, 4_1 # r10_88} | false |
| u(4_1 # 10_89) | u(4_1 # 10_89) | {4_1 # 10_89} | true |
| u(4_1 # m10_89) | u(4_1 # m10_89) | {4_1 # m10_89} | true |
| u(4_1 # 10_90) | u(4_1 # 10_90) | {4_1 # 10_90, 4_1 # r10_90} | false |
| u(4_1 # m10_90) | u(4_1 # m10_90) | {4_1 # m10_90, 4_1 # mr10_90} | false |
| u(4_1 # 10_91) | u(4_1 # 10_91) | {4_1 # 10_91, 4_1 # r10_91} | false |
| u(4_1 # m10_91) | u(4_1 # m10_91) | {4_1 # m10_91, 4_1 # mr10_91} | false |
| u(4_1 # 10_92) | u(4_1 # 10_92) | {4_1 # 10_92, 4_1 # r10_92} | false |
| u(4_1 # m10_92) | u(4_1 # m10_92) | {4_1 # m10_92, 4_1 # mr10_92} | false |
| u(4_1 # 10_93) | u(4_1 # 10_93) | {4_1 # 10_93, 4_1 # r10_93} | false |
| u(4_1 # m10_93) | u(4_1 # m10_93) | {4_1 # m10_93, 4_1 # mr10_93} | false |
| u(4_1 # 10_94) | u(4_1 # 10_94) | {4_1 # 10_94, 4_1 # r10_94} | false |
| u(4_1 # m10_94) | u(4_1 # m10_94) | {4_1 # m10_94, 4_1 # mr10_94} | false |
| u(4_1 # 10_95) | u(4_1 # 10_95) | {4_1 # 10_95, 4_1 # r10_95} | false |
| u(4_1 # m10_95) | u(4_1 # m10_95) | {4_1 # m10_95, 4_1 # mr10_95} | false |
| u(4_1 # 10_96) | u(4_1 # 10_96) | {4_1 # 10_96} | true |
| u(4_1 # m10_96) | u(4_1 # m10_96) | {4_1 # m10_96} | true |
| u(4_1 # 10_97) | u(4_1 # 10_97) | {4_1 # 10_97} | true |
| u(4_1 # m10_97) | u(4_1 # m10_97) | {4_1 # m10_97} | true |
| u(4_1 # 10_98) | u(4_1 # 10_98) | {4_1 # 10_98, 4_1 # r10_98} | false |
| u(4_1 # m10_98) | u(4_1 # m10_98) | {4_1 # m10_98, 4_1 # mr10_98} | false |
| u(4_1 # 10_99) | u(4_1 # 10_99) | {4_1 # 10_99} | true |
| u(4_1 # 10_100) | u(4_1 # 10_100) | {4_1 # 10_100} | true |
| u(4_1 # m10_100) | u(4_1 # m10_100) | {4_1 # m10_100} | true |
| u(4_1 # 10_101) | u(4_1 # 10_101) | {4_1 # 10_101} | true |
| u(4_1 # m10_101) | u(4_1 # m10_101) | {4_1 # m10_101} | true |
| u(4_1 # 10_102) | u(4_1 # 10_102) | {4_1 # 10_102, 4_1 # r10_102} | false |
| u(4_1 # m10_102) | u(4_1 # m10_102) | {4_1 # m10_102, 4_1 # mr10_102} | false |
| u(4_1 # 10_103) | u(4_1 # 10_103) | {4_1 # 10_103} | true |
| u(4_1 # m10_103) | u(4_1 # m10_103) | {4_1 # m10_103} | true |
| u(4_1 # 10_104) | u(4_1 # 10_104) | {4_1 # 10_104} | true |
| u(4_1 # m10_104) | u(4_1 # m10_104) | {4_1 # m10_104} | true |
| u(4_1 # 10_105) | u(4_1 # 10_105) | {4_1 # 10_105} | true |
| u(4_1 # m10_105) | u(4_1 # m10_105) | {4_1 # m10_105} | true |
| u(4_1 # 10_106) | u(4_1 # 10_106) | {4_1 # 10_106, 4_1 # r10_106} | false |
| u(4_1 # m10_106) | u(4_1 # m10_106) | {4_1 # m10_106, 4_1 # mr10_106} | false |
| u(4_1 # 10_107) | u(4_1 # 10_107) | {4_1 # 10_107, 4_1 # r10_107} | false |
| u(4_1 # m10_107) | u(4_1 # m10_107) | {4_1 # m10_107, 4_1 # mr10_107} | false |
| u(4_1 # 10_108) | u(4_1 # 10_108) | {4_1 # 10_108} | true |
| u(4_1 # m10_108) | u(4_1 # m10_108) | {4_1 # m10_108} | true |
| u(4_1 # 10_109) | u(4_1 # 10_109) | {4_1 # 10_109, 4_1 # r10_109} | false |
| u(4_1 # 10_110) | u(4_1 # 10_110) | {4_1 # 10_110, 4_1 # r10_110} | false |
| u(4_1 # m10_110) | u(4_1 # m10_110) | {4_1 # m10_110, 4_1 # mr10_110} | false |
| u(4_1 # 10_111) | u(4_1 # 10_111) | {4_1 # 10_111} | true |
| u(4_1 # m10_111) | u(4_1 # m10_111) | {4_1 # m10_111} | true |
| u(4_1 # 10_112) | u(4_1 # 10_112) | {4_1 # 10_112} | true |
| u(4_1 # m10_112) | u(4_1 # m10_112) | {4_1 # m10_112} | true |
| u(4_1 # 10_113) | u(4_1 # 10_113) | {4_1 # 10_113} | true |
| u(4_1 # m10_113) | u(4_1 # m10_113) | {4_1 # m10_113} | true |
| u(4_1 # 10_114) | u(4_1 # 10_114) | {4_1 # 10_114} | true |
| u(4_1 # m10_114) | u(4_1 # m10_114) | {4_1 # m10_114} | true |
| u(4_1 # 10_115) | u(4_1 # 10_115) | {4_1 # 10_115, 4_1 # r10_115} | false |
| u(4_1 # 10_116) | u(4_1 # 10_116) | {4_1 # 10_116} | true |
| u(4_1 # m10_116) | u(4_1 # m10_116) | {4_1 # m10_116} | true |
| u(4_1 # 10_117) | u(4_1 # 10_117) | {4_1 # 10_117, 4_1 # r10_117} | false |
| u(4_1 # m10_117) | u(4_1 # m10_117) | {4_1 # m10_117, 4_1 # mr10_117} | false |
| u(4_1 # 10_118) | u(4_1 # 10_118) | {4_1 # 10_118, 4_1 # r10_118} | false |
| u(4_1 # 10_119) | u(4_1 # 10_119) | {4_1 # 10_119, 4_1 # r10_119} | false |
| u(4_1 # m10_119) | u(4_1 # m10_119) | {4_1 # m10_119, 4_1 # mr10_119} | false |
| u(4_1 # 10_120) | u(4_1 # 10_120) | {4_1 # 10_120} | true |
| u(4_1 # m10_120) | u(4_1 # m10_120) | {4_1 # m10_120} | true |
| u(4_1 # 10_121) | u(4_1 # 10_121) | {4_1 # 10_121} | true |
| u(4_1 # m10_121) | u(4_1 # m10_121) | {4_1 # m10_121} | true |
| u(4_1 # 10_122) | u(4_1 # 10_122) | {4_1 # 10_122} | true |
| u(4_1 # m10_122) | u(4_1 # m10_122) | {4_1 # m10_122} | true |
| u(4_1 # 10_123) | u(4_1 # 10_123) | {4_1 # 10_123} | true |
| u(4_1 # 10_124) | u(4_1 # 10_124) | {4_1 # 10_124} | true |
| u(4_1 # m10_124) | u(4_1 # m10_124) | {4_1 # m10_124} | true |
| u(4_1 # 10_125) | u(4_1 # 10_125) | {4_1 # 10_125} | true |
| u(4_1 # m10_125) | u(4_1 # m10_125) | {4_1 # m10_125} | true |
| u(4_1 # 10_126) | u(4_1 # 10_126) | {4_1 # 10_126} | true |
| u(4_1 # m10_126) | u(4_1 # m10_126) | {4_1 # m10_126} | true |
| u(4_1 # 10_127) | u(4_1 # 10_127) | {4_1 # 10_127} | true |
| u(4_1 # m10_127) | u(4_1 # m10_127) | {4_1 # m10_127} | true |
| u(4_1 # 10_128) | u(4_1 # 10_128) | {4_1 # 10_128} | true |
| u(4_1 # m10_128) | u(4_1 # m10_128) | {4_1 # m10_128} | true |
| u(4_1 # 10_129) | u(4_1 # 10_129) | {4_1 # 10_129} | true |
| u(4_1 # m10_129) | u(4_1 # m10_129) | {4_1 # m10_129} | true |
| u(4_1 # 10_130) | u(4_1 # 10_130) | {4_1 # 10_130} | true |
| u(4_1 # m10_130) | u(4_1 # m10_130) | {4_1 # m10_130} | true |
| u(4_1 # 10_131) | u(4_1 # 10_131) | {4_1 # 10_131} | true |
| u(4_1 # m10_131) | u(4_1 # m10_131) | {4_1 # m10_131} | true |
| u(4_1 # 10_132) | u(4_1 # 10_132) | {4_1 # 10_132} | true |
| u(4_1 # m10_132) | u(4_1 # m10_132) | {4_1 # m10_132} | true |
| u(4_1 # 10_133) | u(4_1 # 10_133) | {4_1 # 10_133} | true |
| u(4_1 # m10_133) | u(4_1 # m10_133) | {4_1 # m10_133} | true |
| u(4_1 # 10_134) | u(4_1 # 10_134) | {4_1 # 10_134} | true |
| u(4_1 # m10_134) | u(4_1 # m10_134) | {4_1 # m10_134} | true |
| u(4_1 # 10_135) | u(4_1 # 10_135) | {4_1 # 10_135} | true |
| u(4_1 # m10_135) | u(4_1 # m10_135) | {4_1 # m10_135} | true |
| u(4_1 # 10_136) | u(4_1 # 10_136) | {4_1 # 10_136} | true |
| u(4_1 # m10_136) | u(4_1 # m10_136) | {4_1 # m10_136} | true |
| u(4_1 # 10_137) | u(4_1 # 10_137) | {4_1 # 10_137} | true |
| u(4_1 # m10_137) | u(4_1 # m10_137) | {4_1 # m10_137} | true |
| u(4_1 # 10_138) | u(4_1 # 10_138) | {4_1 # 10_138} | true |
| u(4_1 # m10_138) | u(4_1 # m10_138) | {4_1 # m10_138} | true |