% Adams operator P4, in the range t\le184 % % (a) Brackets P4x = < h5, h0^16, x >. % (b) Nonzero products h0^16 * x, obstructing existence. % (c) Nonzero products h5 * y, giving indeterminacy. % (a) Brackets P4x = < h5, h0^16, x >. 17_1 in < h5, 0, 1_1 > 17_2 in < h5, 0, 1_2 > 17_4 in < h5, 0, 1_3 > 17_5 in < h5, 0, 1_3 > 17_11 in < h5, 0, 1_4 > 17_12 in < h5, 0, 1_4 > 17_22 in < h5, 0, 1_5 > 18_1 in < h5, 0, 2_1 > 18_2 in < h5, 0, 2_2 > 18_3 in < h5, 0, 2_3 > 18_4 in < h5, 0, 2_4 > 18_5 in < h5, 0, 2_5 > 18_8 in < h5, 0, 2_6 > 18_10 in < h5, 0, 2_7 > 18_9 in < h5, 0, 2_7 > 18_11 in < h5, 0, 2_9 > 18_16 in < h5, 0, 2_10 > 18_18 in < h5, 0, 2_11 > 18_210 in < h5, 0, 2_21 > 18_211 in < h5, 0, 2_21 > 18_212 in < h5, 0, 2_21 > 18_213 in < h5, 0, 2_21 > 18_219 in < h5, 0, 2_23 > 18_225 in < h5, 0, 2_24 > 18_237 in < h5, 0, 2_25 > 18_239 in < h5, 0, 2_25 > 19_1 in < h5, 0, 3_1 > 19_2 in < h5, 0, 3_2 > 19_3 in < h5, 0, 3_3 > 19_4 in < h5, 0, 3_4 > 19_5 in < h5, 0, 3_5 > 19_6 in < h5, 0, 3_6 > 19_13 in < h5, 0, 3_11 > 19_14 in < h5, 0, 3_13 > 19_203 in < h5, 0, 3_36 > 19_204 in < h5, 0, 3_36 > 19_205 in < h5, 0, 3_36 > 19_206 in < h5, 0, 3_36 > 19_214 in < h5, 0, 3_40 > 19_219 in < h5, 0, 3_41 > 19_225 in < h5, 0, 3_43 > 20_1 in < h5, 0, 4_1 > 20_2 in < h5, 0, 4_2 > 20_3 in < h5, 0, 4_3 > 20_4 in < h5, 0, 4_4 > 20_5 in < h5, 0, 4_5 > 20_6 in < h5, 0, 4_6 > 20_7 in < h5, 0, 4_8 > 20_14 in < h5, 0, 4_11 > 20_15 in < h5, 0, 4_12 > 20_26 in < h5, 0, 4_22 > 20_42 in < h5, 0, 4_26 > 20_105 in < h5, 0, 4_48 > 20_197 in < h5, 0, 4_54 > 20_211 in < h5, 0, 4_58 > 21_1 in < h5, 0, 5_1 > 21_2 in < h5, 0, 5_2 > 21_3 in < h5, 0, 5_3 > 21_4 in < h5, 0, 5_4 > 21_5 in < h5, 0, 5_5 > 21_6 in < h5, 0, 5_6 > 21_7 in < h5, 0, 5_7 > 21_8 in < h5, 0, 5_8 > 21_9 in < h5, 0, 5_9 > 21_10 in < h5, 0, 5_10 > 21_14 in < h5, 0, 5_12 > 21_16 in < h5, 0, 5_14 > 21_19 in < h5, 0, 5_17 > 21_24 in < h5, 0, 5_23 > 21_42 in < h5, 0, 5_32 > 21_42 in < h5, 0, 5_33 > 21_98 in < h5, 0, 5_63 > 21_192 in < h5, 0, 5_77 > 21_194 in < h5, 0, 5_77 > 21_199 in < h5, 0, 5_78 > 21_205 in < h5, 0, 5_80 > 21_206 in < h5, 0, 5_80 > 22_1 in < h5, 0, 6_1 > 22_2 in < h5, 0, 6_2 > 22_3 in < h5, 0, 6_3 > 22_4 in < h5, 0, 6_4 > 22_5 in < h5, 0, 6_5 > 22_6 in < h5, 0, 6_6 > 22_7 in < h5, 0, 6_7 > 22_8 in < h5, 0, 6_8 > 22_9 in < h5, 0, 6_9 > 22_10 in < h5, 0, 6_10 > 22_11 in < h5, 0, 6_11 > 22_12 in < h5, 0, 6_12 > 22_15 in < h5, 0, 6_15 > 22_16 in < h5, 0, 6_16 > 22_19 in < h5, 0, 6_21 > 22_29 in < h5, 0, 6_30 > 22_34 in < h5, 0, 6_31 > 22_35 in < h5, 0, 6_31 > 22_38 in < h5, 0, 6_32 > 22_38 in < h5, 0, 6_33 > 22_44 in < h5, 0, 6_38 > 22_61 in < h5, 0, 6_53 > 22_95 in < h5, 0, 6_74 > 22_137 in < h5, 0, 6_89 > 22_187 in < h5, 0, 6_94 > 22_191 in < h5, 0, 6_96 > 22_193 in < h5, 0, 6_96 > 22_196 in < h5, 0, 6_98 > 22_199 in < h5, 0, 6_99 > 23_1 in < h5, 0, 7_1 > 23_2 in < h5, 0, 7_2 > 23_3 in < h5, 0, 7_3 > 23_4 in < h5, 0, 7_4 > 23_5 in < h5, 0, 7_5 > 23_6 in < h5, 0, 7_6 > 23_7 in < h5, 0, 7_7 > 23_8 in < h5, 0, 7_8 > 23_9 in < h5, 0, 7_9 > 23_10 in < h5, 0, 7_10 > 23_11 in < h5, 0, 7_11 > 23_12 in < h5, 0, 7_12 > 23_13 in < h5, 0, 7_14 > 23_15 in < h5, 0, 7_15 > 23_18 in < h5, 0, 7_20 > 23_20 in < h5, 0, 7_22 > 23_28 in < h5, 0, 7_26 > 23_30 in < h5, 0, 7_27 > 23_31 in < h5, 0, 7_28 > 23_33 in < h5, 0, 7_29 > 23_34 in < h5, 0, 7_30 > 23_34 in < h5, 0, 7_31 > 23_37 in < h5, 0, 7_33 > 23_38 in < h5, 0, 7_33 > 23_37 in < h5, 0, 7_34 > 23_38 in < h5, 0, 7_34 > 23_39 in < h5, 0, 7_36 > 23_39 in < h5, 0, 7_37 > 23_59 in < h5, 0, 7_56 > 23_60 in < h5, 0, 7_56 > 23_60 in < h5, 0, 7_57 > 23_59 in < h5, 0, 7_58 > 23_60 in < h5, 0, 7_58 > 23_92 in < h5, 0, 7_77 > 23_107 in < h5, 0, 7_84 > 23_140 in < h5, 0, 7_97 > 23_170 in < h5, 0, 7_101 > 23_184 in < h5, 0, 7_108 > 24_1 in < h5, 0, 8_1 > 24_2 in < h5, 0, 8_2 > 24_3 in < h5, 0, 8_3 > 24_4 in < h5, 0, 8_4 > 24_5 in < h5, 0, 8_5 > 24_6 in < h5, 0, 8_6 > 24_7 in < h5, 0, 8_7 > 24_8 in < h5, 0, 8_8 > 24_9 in < h5, 0, 8_9 > 24_10 in < h5, 0, 8_10 > 24_11 in < h5, 0, 8_11 > 24_12 in < h5, 0, 8_12 > 24_13 in < h5, 0, 8_13 > 24_14 in < h5, 0, 8_14 > 24_15 in < h5, 0, 8_15 > 24_16 in < h5, 0, 8_15 > 24_16 in < h5, 0, 8_16 > 24_17 in < h5, 0, 8_17 > 24_18 in < h5, 0, 8_18 > 24_21 in < h5, 0, 8_22 > 24_22 in < h5, 0, 8_23 > 24_24 in < h5, 0, 8_24 > 24_28 in < h5, 0, 8_28 > 24_42 in < h5, 0, 8_43 > 24_44 in < h5, 0, 8_46 > 24_52 in < h5, 0, 8_51 > 24_57 in < h5, 0, 8_59 > 24_84 in < h5, 0, 8_75 > 24_86 in < h5, 0, 8_77 > 24_106 in < h5, 0, 8_93 > 24_107 in < h5, 0, 8_93 > 24_133 in < h5, 0, 8_107 > 24_141 in < h5, 0, 8_108 > 24_168 in < h5, 0, 8_114 > 24_173 in < h5, 0, 8_116 > 24_178 in < h5, 0, 8_122 > 24_181 in < h5, 0, 8_124 > 24_182 in < h5, 0, 8_124 > 25_1 in < h5, 0, 9_1 > 25_2 in < h5, 0, 9_2 > 25_3 in < h5, 0, 9_3 > 25_4 in < h5, 0, 9_4 > 25_5 in < h5, 0, 9_5 > 25_6 in < h5, 0, 9_6 > 25_7 in < h5, 0, 9_7 > 25_8 in < h5, 0, 9_8 > 25_9 in < h5, 0, 9_9 > 25_10 in < h5, 0, 9_10 > 25_11 in < h5, 0, 9_11 > 25_12 in < h5, 0, 9_12 > 25_13 in < h5, 0, 9_13 > 25_14 in < h5, 0, 9_14 > 25_15 in < h5, 0, 9_15 > 25_16 in < h5, 0, 9_16 > 25_17 in < h5, 0, 9_17 > 25_18 in < h5, 0, 9_18 > 25_19 in < h5, 0, 9_19 > 25_20 in < h5, 0, 9_20 > 25_22 in < h5, 0, 9_22 > 25_28 in < h5, 0, 9_29 > 25_31 in < h5, 0, 9_31 > 25_32 in < h5, 0, 9_31 > 25_42 in < h5, 0, 9_40 > 25_43 in < h5, 0, 9_40 > 25_44 in < h5, 0, 9_41 > 25_48 in < h5, 0, 9_44 > 25_54 in < h5, 0, 9_48 > 25_57 in < h5, 0, 9_49 > 25_59 in < h5, 0, 9_54 > 25_83 in < h5, 0, 9_71 > 25_83 in < h5, 0, 9_73 > 25_113 in < h5, 0, 9_97 > 25_116 in < h5, 0, 9_99 > 25_123 in < h5, 0, 9_102 > 25_131 in < h5, 0, 9_107 > 25_137 in < h5, 0, 9_112 > 25_137 in < h5, 0, 9_113 > 25_148 in < h5, 0, 9_115 > 25_146 in < h5, 0, 9_116 > 25_147 in < h5, 0, 9_116 > 25_149 in < h5, 0, 9_116 > 25_151 in < h5, 0, 9_117 > 25_152 in < h5, 0, 9_118 > 25_156 in < h5, 0, 9_119 > 25_157 in < h5, 0, 9_119 > 25_163 in < h5, 0, 9_121 > 25_165 in < h5, 0, 9_123 > 25_166 in < h5, 0, 9_123 > 25_166 in < h5, 0, 9_124 > 25_166 in < h5, 0, 9_125 > 25_170 in < h5, 0, 9_126 > 25_170 in < h5, 0, 9_129 > 25_170 in < h5, 0, 9_130 > 25_173 in < h5, 0, 9_131 > 25_174 in < h5, 0, 9_131 > 25_174 in < h5, 0, 9_136 > 25_177 in < h5, 0, 9_139 > 25_178 in < h5, 0, 9_139 > 26_1 in < h5, 0, 10_1 > 26_2 in < h5, 0, 10_2 > 26_3 in < h5, 0, 10_3 > 26_4 in < h5, 0, 10_4 > 26_5 in < h5, 0, 10_5 > 26_6 in < h5, 0, 10_6 > 26_7 in < h5, 0, 10_7 > 26_8 in < h5, 0, 10_8 > 26_9 in < h5, 0, 10_9 > 26_10 in < h5, 0, 10_10 > 26_11 in < h5, 0, 10_11 > 26_12 in < h5, 0, 10_12 > 26_13 in < h5, 0, 10_13 > 26_14 in < h5, 0, 10_14 > 26_15 in < h5, 0, 10_15 > 26_16 in < h5, 0, 10_16 > 26_17 in < h5, 0, 10_17 > 26_18 in < h5, 0, 10_18 > 26_20 in < h5, 0, 10_19 > 26_21 in < h5, 0, 10_22 > 26_24 in < h5, 0, 10_24 > 26_26 in < h5, 0, 10_25 > 26_28 in < h5, 0, 10_26 > 26_29 in < h5, 0, 10_27 > 26_32 in < h5, 0, 10_27 > 26_29 in < h5, 0, 10_28 > 26_31 in < h5, 0, 10_29 > 26_33 in < h5, 0, 10_30 > 26_35 in < h5, 0, 10_30 > 26_36 in < h5, 0, 10_34 > 26_39 in < h5, 0, 10_35 > 26_38 in < h5, 0, 10_36 > 26_39 in < h5, 0, 10_36 > 26_40 in < h5, 0, 10_37 > 26_43 in < h5, 0, 10_39 > 26_44 in < h5, 0, 10_40 > 26_45 in < h5, 0, 10_40 > 26_49 in < h5, 0, 10_43 > 26_53 in < h5, 0, 10_44 > 26_54 in < h5, 0, 10_45 > 26_58 in < h5, 0, 10_47 > 26_59 in < h5, 0, 10_48 > 26_66 in < h5, 0, 10_56 > 26_92 in < h5, 0, 10_76 > 26_105 in < h5, 0, 10_82 > 26_117 in < h5, 0, 10_91 > 26_122 in < h5, 0, 10_95 > 26_122 in < h5, 0, 10_96 > 26_127 in < h5, 0, 10_97 > 26_132 in < h5, 0, 10_102 > 26_134 in < h5, 0, 10_105 > 26_146 in < h5, 0, 10_113 > 26_147 in < h5, 0, 10_113 > 26_146 in < h5, 0, 10_114 > 26_151 in < h5, 0, 10_115 > 26_150 in < h5, 0, 10_116 > 26_151 in < h5, 0, 10_116 > 26_150 in < h5, 0, 10_117 > 26_151 in < h5, 0, 10_117 > 26_155 in < h5, 0, 10_120 > 26_156 in < h5, 0, 10_120 > 26_155 in < h5, 0, 10_122 > 26_159 in < h5, 0, 10_123 > 26_162 in < h5, 0, 10_124 > 26_162 in < h5, 0, 10_126 > 26_167 in < h5, 0, 10_134 > 26_167 in < h5, 0, 10_135 > 26_167 in < h5, 0, 10_136 > 26_169 in < h5, 0, 10_137 > 26_171 in < h5, 0, 10_137 > 26_171 in < h5, 0, 10_138 > 27_1 in < h5, 0, 11_1 > 27_2 in < h5, 0, 11_2 > 27_3 in < h5, 0, 11_3 > 27_4 in < h5, 0, 11_4 > 27_5 in < h5, 0, 11_5 > 27_6 in < h5, 0, 11_6 > 27_7 in < h5, 0, 11_7 > 27_8 in < h5, 0, 11_8 > 27_9 in < h5, 0, 11_9 > 27_10 in < h5, 0, 11_10 > 27_11 in < h5, 0, 11_11 > 27_12 in < h5, 0, 11_12 > 27_13 in < h5, 0, 11_13 > 27_14 in < h5, 0, 11_14 > 27_15 in < h5, 0, 11_15 > 27_16 in < h5, 0, 11_16 > 27_17 in < h5, 0, 11_17 > 27_18 in < h5, 0, 11_18 > 27_19 in < h5, 0, 11_19 > 27_20 in < h5, 0, 11_20 > 27_22 in < h5, 0, 11_21 > 27_23 in < h5, 0, 11_22 > 27_24 in < h5, 0, 11_22 > 27_23 in < h5, 0, 11_23 > 27_26 in < h5, 0, 11_25 > 27_27 in < h5, 0, 11_26 > 27_28 in < h5, 0, 11_26 > 27_27 in < h5, 0, 11_27 > 27_30 in < h5, 0, 11_28 > 27_31 in < h5, 0, 11_28 > 27_29 in < h5, 0, 11_29 > 27_31 in < h5, 0, 11_29 > 27_33 in < h5, 0, 11_32 > 27_34 in < h5, 0, 11_34 > 27_36 in < h5, 0, 11_35 > 27_36 in < h5, 0, 11_36 > 27_37 in < h5, 0, 11_37 > 27_38 in < h5, 0, 11_37 > 27_38 in < h5, 0, 11_38 > 27_39 in < h5, 0, 11_40 > 27_41 in < h5, 0, 11_41 > 27_42 in < h5, 0, 11_42 > 27_45 in < h5, 0, 11_43 > 27_46 in < h5, 0, 11_44 > 27_49 in < h5, 0, 11_46 > 27_51 in < h5, 0, 11_47 > 27_69 in < h5, 0, 11_61 > 27_72 in < h5, 0, 11_61 > 27_89 in < h5, 0, 11_71 > 27_91 in < h5, 0, 11_74 > 27_101 in < h5, 0, 11_77 > 27_103 in < h5, 0, 11_79 > 27_103 in < h5, 0, 11_80 > 27_111 in < h5, 0, 11_85 > 27_119 in < h5, 0, 11_88 > 27_119 in < h5, 0, 11_89 > 27_119 in < h5, 0, 11_90 > 27_129 in < h5, 0, 11_95 > 27_130 in < h5, 0, 11_96 > 27_133 in < h5, 0, 11_97 > 27_142 in < h5, 0, 11_103 > 27_142 in < h5, 0, 11_104 > 27_148 in < h5, 0, 11_113 > 27_149 in < h5, 0, 11_114 > 27_149 in < h5, 0, 11_115 > 28_1 in < h5, 0, 12_1 > 28_2 in < h5, 0, 12_2 > 28_3 in < h5, 0, 12_3 > 28_4 in < h5, 0, 12_4 > 28_5 in < h5, 0, 12_5 > 28_6 in < h5, 0, 12_6 > 28_7 in < h5, 0, 12_7 > 28_8 in < h5, 0, 12_8 > 28_9 in < h5, 0, 12_9 > 28_10 in < h5, 0, 12_10 > 28_11 in < h5, 0, 12_11 > 28_12 in < h5, 0, 12_12 > 28_13 in < h5, 0, 12_13 > 28_14 in < h5, 0, 12_14 > 28_15 in < h5, 0, 12_15 > 28_16 in < h5, 0, 12_16 > 28_17 in < h5, 0, 12_17 > 28_18 in < h5, 0, 12_18 > 28_19 in < h5, 0, 12_19 > 28_20 in < h5, 0, 12_20 > 28_21 in < h5, 0, 12_21 > 28_22 in < h5, 0, 12_22 > 28_23 in < h5, 0, 12_23 > 28_24 in < h5, 0, 12_24 > 28_25 in < h5, 0, 12_25 > 28_26 in < h5, 0, 12_26 > 28_27 in < h5, 0, 12_26 > 28_26 in < h5, 0, 12_27 > 28_30 in < h5, 0, 12_29 > 28_30 in < h5, 0, 12_30 > 28_32 in < h5, 0, 12_33 > 28_33 in < h5, 0, 12_35 > 28_42 in < h5, 0, 12_41 > 28_43 in < h5, 0, 12_42 > 28_46 in < h5, 0, 12_43 > 28_61 in < h5, 0, 12_55 > 28_64 in < h5, 0, 12_57 > 28_65 in < h5, 0, 12_57 > 28_67 in < h5, 0, 12_58 > 28_68 in < h5, 0, 12_60 > 28_72 in < h5, 0, 12_62 > 28_73 in < h5, 0, 12_62 > 28_74 in < h5, 0, 12_62 > 28_77 in < h5, 0, 12_64 > 28_81 in < h5, 0, 12_68 > 28_84 in < h5, 0, 12_70 > 28_88 in < h5, 0, 12_71 > 28_92 in < h5, 0, 12_75 > 28_97 in < h5, 0, 12_78 > 28_100 in < h5, 0, 12_80 > 28_101 in < h5, 0, 12_82 > 28_108 in < h5, 0, 12_85 > 28_112 in < h5, 0, 12_86 > 28_118 in < h5, 0, 12_89 > 28_137 in < h5, 0, 12_111 > 29_1 in < h5, 0, 13_1 > 29_2 in < h5, 0, 13_2 > 29_3 in < h5, 0, 13_3 > 29_4 in < h5, 0, 13_4 > 29_5 in < h5, 0, 13_5 > 29_6 in < h5, 0, 13_6 > 29_7 in < h5, 0, 13_7 > 29_8 in < h5, 0, 13_8 > 29_9 in < h5, 0, 13_9 > 29_10 in < h5, 0, 13_10 > 29_11 in < h5, 0, 13_11 > 29_12 in < h5, 0, 13_12 > 29_13 in < h5, 0, 13_13 > 29_14 in < h5, 0, 13_14 > 29_15 in < h5, 0, 13_15 > 29_16 in < h5, 0, 13_16 > 29_17 in < h5, 0, 13_17 > 29_18 in < h5, 0, 13_18 > 29_19 in < h5, 0, 13_19 > 29_20 in < h5, 0, 13_20 > 29_21 in < h5, 0, 13_21 > 29_22 in < h5, 0, 13_22 > 29_23 in < h5, 0, 13_23 > 29_24 in < h5, 0, 13_24 > 29_25 in < h5, 0, 13_25 > 29_26 in < h5, 0, 13_26 > 29_29 in < h5, 0, 13_28 > 29_28 in < h5, 0, 13_29 > 29_30 in < h5, 0, 13_30 > 29_32 in < h5, 0, 13_32 > 29_35 in < h5, 0, 13_34 > 29_33 in < h5, 0, 13_35 > 29_37 in < h5, 0, 13_37 > 29_41 in < h5, 0, 13_38 > 29_43 in < h5, 0, 13_39 > 29_44 in < h5, 0, 13_40 > 29_45 in < h5, 0, 13_41 > 29_48 in < h5, 0, 13_43 > 29_53 in < h5, 0, 13_46 > 29_61 in < h5, 0, 13_53 > 29_63 in < h5, 0, 13_54 > 29_64 in < h5, 0, 13_55 > 29_67 in < h5, 0, 13_56 > 29_68 in < h5, 0, 13_60 > 29_71 in < h5, 0, 13_61 > 29_76 in < h5, 0, 13_65 > 29_78 in < h5, 0, 13_66 > 29_79 in < h5, 0, 13_66 > 29_79 in < h5, 0, 13_68 > 29_82 in < h5, 0, 13_69 > 29_83 in < h5, 0, 13_70 > 29_85 in < h5, 0, 13_73 > 29_86 in < h5, 0, 13_73 > 29_86 in < h5, 0, 13_75 > 29_95 in < h5, 0, 13_80 > 29_96 in < h5, 0, 13_81 > 29_97 in < h5, 0, 13_83 > 29_105 in < h5, 0, 13_87 > 29_109 in < h5, 0, 13_88 > 29_109 in < h5, 0, 13_89 > 29_112 in < h5, 0, 13_91 > 29_116 in < h5, 0, 13_94 > 29_138 in < h5, 0, 13_117 > 30_1 in < h5, 0, 14_1 > 30_2 in < h5, 0, 14_2 > 30_3 in < h5, 0, 14_3 > 30_4 in < h5, 0, 14_4 > 30_5 in < h5, 0, 14_5 > 30_6 in < h5, 0, 14_6 > 30_7 in < h5, 0, 14_7 > 30_8 in < h5, 0, 14_8 > 30_9 in < h5, 0, 14_9 > 30_10 in < h5, 0, 14_10 > 30_11 in < h5, 0, 14_11 > 30_12 in < h5, 0, 14_12 > 30_13 in < h5, 0, 14_13 > 30_14 in < h5, 0, 14_14 > 30_15 in < h5, 0, 14_15 > 30_16 in < h5, 0, 14_16 > 30_17 in < h5, 0, 14_17 > 30_18 in < h5, 0, 14_18 > 30_19 in < h5, 0, 14_19 > 30_20 in < h5, 0, 14_20 > 30_21 in < h5, 0, 14_21 > 30_23 in < h5, 0, 14_23 > 30_24 in < h5, 0, 14_24 > 30_25 in < h5, 0, 14_25 > 30_27 in < h5, 0, 14_26 > 30_26 in < h5, 0, 14_27 > 30_28 in < h5, 0, 14_28 > 30_30 in < h5, 0, 14_29 > 30_29 in < h5, 0, 14_30 > 30_31 in < h5, 0, 14_31 > 30_33 in < h5, 0, 14_32 > 30_32 in < h5, 0, 14_33 > 30_34 in < h5, 0, 14_34 > 30_36 in < h5, 0, 14_35 > 30_37 in < h5, 0, 14_35 > 30_36 in < h5, 0, 14_36 > 30_38 in < h5, 0, 14_38 > 30_40 in < h5, 0, 14_39 > 30_41 in < h5, 0, 14_40 > 30_42 in < h5, 0, 14_41 > 30_44 in < h5, 0, 14_42 > 30_45 in < h5, 0, 14_43 > 30_48 in < h5, 0, 14_45 > 30_51 in < h5, 0, 14_47 > 30_52 in < h5, 0, 14_48 > 30_53 in < h5, 0, 14_49 > 30_58 in < h5, 0, 14_54 > 30_61 in < h5, 0, 14_55 > 30_62 in < h5, 0, 14_57 > 30_63 in < h5, 0, 14_58 > 30_65 in < h5, 0, 14_60 > 30_75 in < h5, 0, 14_66 > 30_76 in < h5, 0, 14_69 > 30_84 in < h5, 0, 14_74 > 30_89 in < h5, 0, 14_77 > 30_93 in < h5, 0, 14_79 > 30_95 in < h5, 0, 14_79 > 30_96 in < h5, 0, 14_82 > 30_102 in < h5, 0, 14_83 > 30_102 in < h5, 0, 14_84 > 30_105 in < h5, 0, 14_88 > 30_109 in < h5, 0, 14_91 > 30_112 in < h5, 0, 14_94 > 30_112 in < h5, 0, 14_95 > 30_113 in < h5, 0, 14_95 > 30_113 in < h5, 0, 14_96 > 30_119 in < h5, 0, 14_100 > 30_124 in < h5, 0, 14_105 > 31_1 in < h5, 0, 15_1 > 31_2 in < h5, 0, 15_2 > 31_3 in < h5, 0, 15_3 > 31_4 in < h5, 0, 15_4 > 31_5 in < h5, 0, 15_5 > 31_6 in < h5, 0, 15_6 > 31_7 in < h5, 0, 15_7 > 31_8 in < h5, 0, 15_8 > 31_9 in < h5, 0, 15_9 > 31_10 in < h5, 0, 15_10 > 31_11 in < h5, 0, 15_11 > 31_12 in < h5, 0, 15_12 > 31_13 in < h5, 0, 15_13 > 31_14 in < h5, 0, 15_14 > 31_15 in < h5, 0, 15_15 > 31_16 in < h5, 0, 15_16 > 31_17 in < h5, 0, 15_17 > 31_18 in < h5, 0, 15_18 > 31_19 in < h5, 0, 15_19 > 31_20 in < h5, 0, 15_20 > 31_22 in < h5, 0, 15_22 > 31_23 in < h5, 0, 15_23 > 31_24 in < h5, 0, 15_24 > 31_25 in < h5, 0, 15_25 > 31_26 in < h5, 0, 15_26 > 31_27 in < h5, 0, 15_27 > 31_28 in < h5, 0, 15_28 > 31_30 in < h5, 0, 15_29 > 31_29 in < h5, 0, 15_30 > 31_31 in < h5, 0, 15_31 > 31_32 in < h5, 0, 15_32 > 31_33 in < h5, 0, 15_33 > 31_34 in < h5, 0, 15_34 > 31_35 in < h5, 0, 15_35 > 31_36 in < h5, 0, 15_36 > 31_38 in < h5, 0, 15_37 > 31_39 in < h5, 0, 15_38 > 31_41 in < h5, 0, 15_40 > 31_42 in < h5, 0, 15_41 > 31_44 in < h5, 0, 15_42 > 31_45 in < h5, 0, 15_43 > 31_46 in < h5, 0, 15_45 > 31_48 in < h5, 0, 15_46 > 31_50 in < h5, 0, 15_47 > 31_53 in < h5, 0, 15_50 > 31_54 in < h5, 0, 15_52 > 31_55 in < h5, 0, 15_53 > 31_59 in < h5, 0, 15_55 > 31_60 in < h5, 0, 15_56 > 31_66 in < h5, 0, 15_58 > 31_68 in < h5, 0, 15_61 > 31_70 in < h5, 0, 15_62 > 31_76 in < h5, 0, 15_65 > 31_79 in < h5, 0, 15_65 > 31_80 in < h5, 0, 15_67 > 31_85 in < h5, 0, 15_68 > 31_85 in < h5, 0, 15_69 > 31_86 in < h5, 0, 15_69 > 31_87 in < h5, 0, 15_71 > 31_88 in < h5, 0, 15_72 > 31_93 in < h5, 0, 15_73 > 31_91 in < h5, 0, 15_74 > 31_94 in < h5, 0, 15_76 > 31_94 in < h5, 0, 15_77 > 31_96 in < h5, 0, 15_78 > 31_100 in < h5, 0, 15_80 > 31_101 in < h5, 0, 15_81 > 31_101 in < h5, 0, 15_82 > 31_102 in < h5, 0, 15_85 > 31_102 in < h5, 0, 15_87 > 31_111 in < h5, 0, 15_95 > 31_112 in < h5, 0, 15_95 > 31_112 in < h5, 0, 15_96 > 31_111 in < h5, 0, 15_97 > 31_119 in < h5, 0, 15_103 > 31_120 in < h5, 0, 15_104 > 32_1 in < h5, 0, 16_1 > 32_2 in < h5, 0, 16_2 > 32_3 in < h5, 0, 16_3 > 32_4 in < h5, 0, 16_4 > 32_5 in < h5, 0, 16_5 > 32_6 in < h5, 0, 16_6 > 32_7 in < h5, 0, 16_7 > 32_8 in < h5, 0, 16_8 > 32_9 in < h5, 0, 16_9 > 32_10 in < h5, 0, 16_10 > 32_11 in < h5, 0, 16_11 > 32_12 in < h5, 0, 16_12 > 32_13 in < h5, 0, 16_13 > 32_14 in < h5, 0, 16_14 > 32_15 in < h5, 0, 16_15 > 32_16 in < h5, 0, 16_16 > 32_17 in < h5, 0, 16_17 > 32_18 in < h5, 0, 16_18 > 32_19 in < h5, 0, 16_19 > 32_20 in < h5, 0, 16_20 > 32_21 in < h5, 0, 16_21 > 32_22 in < h5, 0, 16_22 > 32_24 in < h5, 0, 16_24 > 32_25 in < h5, 0, 16_25 > 32_26 in < h5, 0, 16_26 > 32_27 in < h5, 0, 16_27 > 32_28 in < h5, 0, 16_28 > 32_29 in < h5, 0, 16_29 > 32_30 in < h5, 0, 16_30 > 32_31 in < h5, 0, 16_31 > 32_32 in < h5, 0, 16_32 > 32_33 in < h5, 0, 16_33 > 32_34 in < h5, 0, 16_34 > 32_35 in < h5, 0, 16_35 > 32_37 in < h5, 0, 16_36 > 32_36 in < h5, 0, 16_37 > 32_38 in < h5, 0, 16_38 > 32_39 in < h5, 0, 16_39 > 32_41 in < h5, 0, 16_40 > 32_42 in < h5, 0, 16_41 > 32_43 in < h5, 0, 16_42 > 32_45 in < h5, 0, 16_42 > 32_44 in < h5, 0, 16_43 > 32_45 in < h5, 0, 16_44 > 32_47 in < h5, 0, 16_46 > 32_48 in < h5, 0, 16_47 > 32_49 in < h5, 0, 16_48 > 32_51 in < h5, 0, 16_49 > 32_52 in < h5, 0, 16_51 > 32_54 in < h5, 0, 16_52 > 32_56 in < h5, 0, 16_53 > 32_60 in < h5, 0, 16_55 > 32_61 in < h5, 0, 16_57 > 32_63 in < h5, 0, 16_58 > 32_65 in < h5, 0, 16_59 > 32_68 in < h5, 0, 16_60 > 32_70 in < h5, 0, 16_62 > 32_73 in < h5, 0, 16_65 > 32_74 in < h5, 0, 16_65 > 32_76 in < h5, 0, 16_66 > 32_79 in < h5, 0, 16_67 > 32_80 in < h5, 0, 16_67 > 32_79 in < h5, 0, 16_68 > 32_79 in < h5, 0, 16_69 > 32_80 in < h5, 0, 16_69 > 32_84 in < h5, 0, 16_71 > 32_85 in < h5, 0, 16_72 > 32_86 in < h5, 0, 16_74 > 32_89 in < h5, 0, 16_79 > 32_92 in < h5, 0, 16_82 > 32_93 in < h5, 0, 16_84 > 32_94 in < h5, 0, 16_86 > 32_98 in < h5, 0, 16_89 > 32_101 in < h5, 0, 16_93 > 32_105 in < h5, 0, 16_95 > 32_104 in < h5, 0, 16_96 > 32_106 in < h5, 0, 16_97 > 32_106 in < h5, 0, 16_98 > 32_107 in < h5, 0, 16_101 > 32_111 in < h5, 0, 16_104 > 33_1 in < h5, 0, 17_1 > 33_2 in < h5, 0, 17_2 > 33_3 in < h5, 0, 17_3 > 33_4 in < h5, 0, 17_4 > 33_5 in < h5, 0, 17_5 > 33_6 in < h5, 0, 17_6 > 33_7 in < h5, 0, 17_7 > 33_8 in < h5, 0, 17_8 > 33_9 in < h5, 0, 17_9 > 33_10 in < h5, 0, 17_10 > 33_11 in < h5, 0, 17_11 > 33_12 in < h5, 0, 17_12 > 33_13 in < h5, 0, 17_13 > 33_14 in < h5, 0, 17_14 > 33_15 in < h5, 0, 17_15 > 33_16 in < h5, 0, 17_16 > 33_17 in < h5, 0, 17_17 > 33_18 in < h5, 0, 17_18 > 33_19 in < h5, 0, 17_19 > 33_20 in < h5, 0, 17_20 > 33_21 in < h5, 0, 17_21 > 33_22 in < h5, 0, 17_22 > 33_23 in < h5, 0, 17_23 > 33_24 in < h5, 0, 17_24 > 33_25 in < h5, 0, 17_25 > 33_26 in < h5, 0, 17_26 > 33_27 in < h5, 0, 17_27 > 33_28 in < h5, 0, 17_28 > 33_29 in < h5, 0, 17_29 > 33_30 in < h5, 0, 17_30 > 33_31 in < h5, 0, 17_31 > 33_32 in < h5, 0, 17_32 > 33_33 in < h5, 0, 17_33 > 33_34 in < h5, 0, 17_34 > 33_35 in < h5, 0, 17_35 > 33_36 in < h5, 0, 17_36 > 33_37 in < h5, 0, 17_37 > 33_38 in < h5, 0, 17_38 > 33_40 in < h5, 0, 17_39 > 33_39 in < h5, 0, 17_40 > 33_41 in < h5, 0, 17_41 > 33_42 in < h5, 0, 17_42 > 33_43 in < h5, 0, 17_43 > 33_44 in < h5, 0, 17_44 > 33_46 in < h5, 0, 17_45 > 33_45 in < h5, 0, 17_46 > 33_47 in < h5, 0, 17_46 > 33_47 in < h5, 0, 17_47 > 33_48 in < h5, 0, 17_48 > 33_49 in < h5, 0, 17_49 > 33_50 in < h5, 0, 17_50 > 33_52 in < h5, 0, 17_51 > 33_53 in < h5, 0, 17_52 > 33_54 in < h5, 0, 17_53 > 33_56 in < h5, 0, 17_55 > 33_57 in < h5, 0, 17_56 > 33_58 in < h5, 0, 17_57 > 33_60 in < h5, 0, 17_58 > 33_64 in < h5, 0, 17_60 > 33_66 in < h5, 0, 17_61 > 33_68 in < h5, 0, 17_63 > 33_70 in < h5, 0, 17_64 > 33_71 in < h5, 0, 17_65 > 33_71 in < h5, 0, 17_66 > 33_73 in < h5, 0, 17_68 > 33_76 in < h5, 0, 17_70 > 33_78 in < h5, 0, 17_71 > 33_78 in < h5, 0, 17_72 > 33_78 in < h5, 0, 17_73 > 33_81 in < h5, 0, 17_76 > 33_85 in < h5, 0, 17_79 > 33_87 in < h5, 0, 17_80 > 33_94 in < h5, 0, 17_87 > 33_101 in < h5, 0, 17_94 > 33_102 in < h5, 0, 17_96 > 33_103 in < h5, 0, 17_98 > 33_106 in < h5, 0, 17_99 > 33_111 in < h5, 0, 17_103 > 34_1 in < h5, 0, 18_1 > 34_2 in < h5, 0, 18_2 > 34_3 in < h5, 0, 18_3 > 34_4 in < h5, 0, 18_4 > 34_5 in < h5, 0, 18_5 > 34_6 in < h5, 0, 18_6 > 34_7 in < h5, 0, 18_7 > 34_8 in < h5, 0, 18_8 > 34_9 in < h5, 0, 18_9 > 34_10 in < h5, 0, 18_10 > 34_11 in < h5, 0, 18_11 > 34_12 in < h5, 0, 18_12 > 34_13 in < h5, 0, 18_13 > 34_14 in < h5, 0, 18_14 > 34_15 in < h5, 0, 18_15 > 34_16 in < h5, 0, 18_16 > 34_17 in < h5, 0, 18_17 > 34_18 in < h5, 0, 18_18 > 34_19 in < h5, 0, 18_19 > 34_20 in < h5, 0, 18_20 > 34_21 in < h5, 0, 18_21 > 34_22 in < h5, 0, 18_22 > 34_23 in < h5, 0, 18_23 > 34_24 in < h5, 0, 18_24 > 34_25 in < h5, 0, 18_25 > 34_26 in < h5, 0, 18_26 > 34_27 in < h5, 0, 18_27 > 34_28 in < h5, 0, 18_28 > 34_29 in < h5, 0, 18_29 > 34_30 in < h5, 0, 18_30 > 34_31 in < h5, 0, 18_31 > 34_32 in < h5, 0, 18_32 > 34_33 in < h5, 0, 18_33 > 34_34 in < h5, 0, 18_34 > 34_35 in < h5, 0, 18_35 > 34_36 in < h5, 0, 18_36 > 34_37 in < h5, 0, 18_37 > 34_38 in < h5, 0, 18_38 > 34_39 in < h5, 0, 18_39 > 34_40 in < h5, 0, 18_40 > 34_42 in < h5, 0, 18_41 > 34_41 in < h5, 0, 18_42 > 34_43 in < h5, 0, 18_43 > 34_44 in < h5, 0, 18_44 > 34_45 in < h5, 0, 18_44 > 34_45 in < h5, 0, 18_45 > 34_47 in < h5, 0, 18_46 > 34_46 in < h5, 0, 18_47 > 34_48 in < h5, 0, 18_48 > 34_49 in < h5, 0, 18_49 > 34_50 in < h5, 0, 18_50 > 34_51 in < h5, 0, 18_51 > 34_52 in < h5, 0, 18_52 > 34_53 in < h5, 0, 18_53 > 34_54 in < h5, 0, 18_54 > 34_55 in < h5, 0, 18_55 > 34_57 in < h5, 0, 18_56 > 34_59 in < h5, 0, 18_57 > 34_62 in < h5, 0, 18_59 > 34_63 in < h5, 0, 18_60 > 34_65 in < h5, 0, 18_61 > 34_66 in < h5, 0, 18_62 > 34_67 in < h5, 0, 18_63 > 34_70 in < h5, 0, 18_65 > 34_71 in < h5, 0, 18_68 > 34_75 in < h5, 0, 18_70 > 34_76 in < h5, 0, 18_72 > 34_81 in < h5, 0, 18_74 > 34_82 in < h5, 0, 18_75 > 34_83 in < h5, 0, 18_76 > 34_84 in < h5, 0, 18_77 > 34_87 in < h5, 0, 18_77 > 34_84 in < h5, 0, 18_78 > 34_86 in < h5, 0, 18_79 > 34_91 in < h5, 0, 18_81 > 34_93 in < h5, 0, 18_85 > 34_92 in < h5, 0, 18_86 > 34_96 in < h5, 0, 18_87 > 34_96 in < h5, 0, 18_88 > 34_98 in < h5, 0, 18_88 > 34_98 in < h5, 0, 18_89 > 34_99 in < h5, 0, 18_89 > 34_100 in < h5, 0, 18_90 > 34_102 in < h5, 0, 18_91 > 34_104 in < h5, 0, 18_93 > 34_105 in < h5, 0, 18_94 > 34_108 in < h5, 0, 18_95 > 34_110 in < h5, 0, 18_95 > 34_109 in < h5, 0, 18_96 > 34_110 in < h5, 0, 18_96 > 35_1 in < h5, 0, 19_1 > 35_2 in < h5, 0, 19_2 > 35_3 in < h5, 0, 19_3 > 35_4 in < h5, 0, 19_4 > 35_5 in < h5, 0, 19_5 > 35_6 in < h5, 0, 19_6 > 35_7 in < h5, 0, 19_7 > 35_8 in < h5, 0, 19_8 > 35_9 in < h5, 0, 19_9 > 35_10 in < h5, 0, 19_10 > 35_11 in < h5, 0, 19_11 > 35_12 in < h5, 0, 19_12 > 35_13 in < h5, 0, 19_13 > 35_14 in < h5, 0, 19_14 > 35_15 in < h5, 0, 19_15 > 35_16 in < h5, 0, 19_16 > 35_17 in < h5, 0, 19_17 > 35_18 in < h5, 0, 19_18 > 35_19 in < h5, 0, 19_19 > 35_20 in < h5, 0, 19_20 > 35_21 in < h5, 0, 19_21 > 35_22 in < h5, 0, 19_22 > 35_23 in < h5, 0, 19_23 > 35_24 in < h5, 0, 19_24 > 35_25 in < h5, 0, 19_25 > 35_26 in < h5, 0, 19_26 > 35_27 in < h5, 0, 19_27 > 35_28 in < h5, 0, 19_28 > 35_29 in < h5, 0, 19_29 > 35_30 in < h5, 0, 19_30 > 35_31 in < h5, 0, 19_31 > 35_32 in < h5, 0, 19_32 > 35_33 in < h5, 0, 19_33 > 35_34 in < h5, 0, 19_34 > 35_35 in < h5, 0, 19_35 > 35_36 in < h5, 0, 19_36 > 35_37 in < h5, 0, 19_37 > 35_38 in < h5, 0, 19_38 > 35_39 in < h5, 0, 19_39 > 35_40 in < h5, 0, 19_40 > 35_41 in < h5, 0, 19_41 > 35_42 in < h5, 0, 19_42 > 35_43 in < h5, 0, 19_43 > 35_44 in < h5, 0, 19_44 > 35_45 in < h5, 0, 19_45 > 35_46 in < h5, 0, 19_46 > 35_47 in < h5, 0, 19_47 > 35_48 in < h5, 0, 19_48 > 35_49 in < h5, 0, 19_49 > 35_51 in < h5, 0, 19_50 > 35_52 in < h5, 0, 19_51 > 35_54 in < h5, 0, 19_52 > 35_56 in < h5, 0, 19_53 > 35_57 in < h5, 0, 19_54 > 35_59 in < h5, 0, 19_56 > 35_60 in < h5, 0, 19_57 > 35_61 in < h5, 0, 19_58 > 35_62 in < h5, 0, 19_59 > 35_63 in < h5, 0, 19_60 > 35_65 in < h5, 0, 19_61 > 35_66 in < h5, 0, 19_62 > 35_67 in < h5, 0, 19_63 > 35_69 in < h5, 0, 19_64 > 35_72 in < h5, 0, 19_64 > 35_71 in < h5, 0, 19_65 > 35_72 in < h5, 0, 19_66 > 35_73 in < h5, 0, 19_67 > 35_74 in < h5, 0, 19_67 > 35_74 in < h5, 0, 19_68 > 35_76 in < h5, 0, 19_70 > 35_77 in < h5, 0, 19_71 > 35_80 in < h5, 0, 19_72 > 35_78 in < h5, 0, 19_73 > 35_81 in < h5, 0, 19_73 > 35_82 in < h5, 0, 19_73 > 35_81 in < h5, 0, 19_74 > 35_82 in < h5, 0, 19_74 > 35_81 in < h5, 0, 19_75 > 35_83 in < h5, 0, 19_76 > 35_84 in < h5, 0, 19_77 > 35_88 in < h5, 0, 19_78 > 35_90 in < h5, 0, 19_80 > 35_89 in < h5, 0, 19_81 > 35_91 in < h5, 0, 19_82 > 35_92 in < h5, 0, 19_84 > 35_92 in < h5, 0, 19_85 > 35_93 in < h5, 0, 19_85 > 35_95 in < h5, 0, 19_86 > 35_95 in < h5, 0, 19_87 > 35_101 in < h5, 0, 19_88 > 35_97 in < h5, 0, 19_88 > 35_100 in < h5, 0, 19_89 > 35_101 in < h5, 0, 19_89 > 35_99 in < h5, 0, 19_89 > 35_100 in < h5, 0, 19_90 > 35_101 in < h5, 0, 19_91 > 35_103 in < h5, 0, 19_94 > 35_102 in < h5, 0, 19_95 > 35_103 in < h5, 0, 19_95 > 36_1 in < h5, 0, 20_1 > 36_2 in < h5, 0, 20_2 > 36_3 in < h5, 0, 20_3 > 36_4 in < h5, 0, 20_4 > 36_5 in < h5, 0, 20_5 > 36_6 in < h5, 0, 20_6 > 36_7 in < h5, 0, 20_7 > 36_8 in < h5, 0, 20_8 > 36_9 in < h5, 0, 20_9 > 36_10 in < h5, 0, 20_10 > 36_11 in < h5, 0, 20_11 > 36_12 in < h5, 0, 20_12 > 36_13 in < h5, 0, 20_13 > 36_14 in < h5, 0, 20_14 > 36_15 in < h5, 0, 20_15 > 36_16 in < h5, 0, 20_16 > 36_17 in < h5, 0, 20_17 > 36_18 in < h5, 0, 20_18 > 36_19 in < h5, 0, 20_19 > 36_20 in < h5, 0, 20_20 > 36_21 in < h5, 0, 20_21 > 36_22 in < h5, 0, 20_22 > 36_23 in < h5, 0, 20_23 > 36_24 in < h5, 0, 20_24 > 36_25 in < h5, 0, 20_25 > 36_26 in < h5, 0, 20_26 > 36_27 in < h5, 0, 20_27 > 36_28 in < h5, 0, 20_28 > 36_29 in < h5, 0, 20_29 > 36_30 in < h5, 0, 20_30 > 36_31 in < h5, 0, 20_31 > 36_32 in < h5, 0, 20_32 > 36_33 in < h5, 0, 20_33 > 36_34 in < h5, 0, 20_34 > 36_35 in < h5, 0, 20_35 > 36_36 in < h5, 0, 20_36 > 36_37 in < h5, 0, 20_37 > 36_38 in < h5, 0, 20_38 > 36_39 in < h5, 0, 20_39 > 36_40 in < h5, 0, 20_40 > 36_41 in < h5, 0, 20_41 > 36_42 in < h5, 0, 20_42 > 36_43 in < h5, 0, 20_43 > 36_44 in < h5, 0, 20_44 > 36_47 in < h5, 0, 20_45 > 36_48 in < h5, 0, 20_46 > 36_49 in < h5, 0, 20_47 > 36_50 in < h5, 0, 20_48 > 36_51 in < h5, 0, 20_49 > 36_52 in < h5, 0, 20_50 > 36_53 in < h5, 0, 20_51 > 36_54 in < h5, 0, 20_52 > 36_55 in < h5, 0, 20_53 > 36_57 in < h5, 0, 20_54 > 36_58 in < h5, 0, 20_55 > 36_59 in < h5, 0, 20_56 > 36_60 in < h5, 0, 20_57 > 36_61 in < h5, 0, 20_59 > 36_63 in < h5, 0, 20_60 > 36_64 in < h5, 0, 20_61 > 36_65 in < h5, 0, 20_61 > 36_65 in < h5, 0, 20_62 > 36_66 in < h5, 0, 20_63 > 36_67 in < h5, 0, 20_64 > 36_68 in < h5, 0, 20_65 > 36_70 in < h5, 0, 20_66 > 36_71 in < h5, 0, 20_67 > 36_72 in < h5, 0, 20_68 > 36_73 in < h5, 0, 20_69 > 36_74 in < h5, 0, 20_69 > 36_75 in < h5, 0, 20_69 > 36_74 in < h5, 0, 20_70 > 36_75 in < h5, 0, 20_70 > 36_74 in < h5, 0, 20_71 > 36_79 in < h5, 0, 20_72 > 36_77 in < h5, 0, 20_73 > 36_80 in < h5, 0, 20_74 > 36_80 in < h5, 0, 20_75 > 36_82 in < h5, 0, 20_76 > 36_81 in < h5, 0, 20_77 > 36_84 in < h5, 0, 20_80 > 36_86 in < h5, 0, 20_81 > 36_87 in < h5, 0, 20_82 > 36_89 in < h5, 0, 20_82 > 36_88 in < h5, 0, 20_83 > 36_89 in < h5, 0, 20_84 > 36_92 in < h5, 0, 20_85 > 36_90 in < h5, 0, 20_86 > 36_91 in < h5, 0, 20_86 > 36_92 in < h5, 0, 20_86 > 36_91 in < h5, 0, 20_87 > 36_92 in < h5, 0, 20_88 > 37_1 in < h5, 0, 21_1 > 37_2 in < h5, 0, 21_2 > 37_3 in < h5, 0, 21_3 > 37_4 in < h5, 0, 21_4 > 37_5 in < h5, 0, 21_5 > 37_6 in < h5, 0, 21_6 > 37_7 in < h5, 0, 21_7 > 37_8 in < h5, 0, 21_8 > 37_9 in < h5, 0, 21_9 > 37_10 in < h5, 0, 21_10 > 37_11 in < h5, 0, 21_11 > 37_12 in < h5, 0, 21_12 > 37_13 in < h5, 0, 21_13 > 37_14 in < h5, 0, 21_14 > 37_15 in < h5, 0, 21_15 > 37_16 in < h5, 0, 21_16 > 37_17 in < h5, 0, 21_17 > 37_18 in < h5, 0, 21_18 > 37_19 in < h5, 0, 21_19 > 37_20 in < h5, 0, 21_20 > 37_21 in < h5, 0, 21_21 > 37_22 in < h5, 0, 21_22 > 37_23 in < h5, 0, 21_23 > 37_24 in < h5, 0, 21_24 > 37_25 in < h5, 0, 21_25 > 37_26 in < h5, 0, 21_26 > 37_27 in < h5, 0, 21_27 > 37_28 in < h5, 0, 21_28 > 37_29 in < h5, 0, 21_29 > 37_30 in < h5, 0, 21_30 > 37_31 in < h5, 0, 21_31 > 37_32 in < h5, 0, 21_32 > 37_33 in < h5, 0, 21_33 > 37_34 in < h5, 0, 21_34 > 37_35 in < h5, 0, 21_35 > 37_36 in < h5, 0, 21_36 > 37_38 in < h5, 0, 21_36 > 37_37 in < h5, 0, 21_37 > 37_38 in < h5, 0, 21_38 > 37_39 in < h5, 0, 21_39 > 37_40 in < h5, 0, 21_40 > 37_41 in < h5, 0, 21_41 > 37_42 in < h5, 0, 21_42 > 37_44 in < h5, 0, 21_43 > 37_44 in < h5, 0, 21_44 > 37_46 in < h5, 0, 21_45 > 37_47 in < h5, 0, 21_46 > 37_48 in < h5, 0, 21_47 > 37_49 in < h5, 0, 21_48 > 37_50 in < h5, 0, 21_49 > 37_51 in < h5, 0, 21_50 > 37_52 in < h5, 0, 21_51 > 37_53 in < h5, 0, 21_52 > 37_54 in < h5, 0, 21_53 > 37_55 in < h5, 0, 21_54 > 37_56 in < h5, 0, 21_55 > 37_57 in < h5, 0, 21_56 > 37_58 in < h5, 0, 21_57 > 37_59 in < h5, 0, 21_58 > 37_60 in < h5, 0, 21_59 > 37_61 in < h5, 0, 21_60 > 37_62 in < h5, 0, 21_61 > 37_63 in < h5, 0, 21_62 > 37_65 in < h5, 0, 21_63 > 37_66 in < h5, 0, 21_64 > 37_67 in < h5, 0, 21_65 > 37_68 in < h5, 0, 21_66 > 37_69 in < h5, 0, 21_67 > 37_70 in < h5, 0, 21_68 > 37_71 in < h5, 0, 21_69 > 37_72 in < h5, 0, 21_69 > 37_72 in < h5, 0, 21_70 > 37_74 in < h5, 0, 21_72 > 37_75 in < h5, 0, 21_73 > 37_76 in < h5, 0, 21_74 > 37_77 in < h5, 0, 21_75 > 37_78 in < h5, 0, 21_76 > 37_80 in < h5, 0, 21_77 > 37_81 in < h5, 0, 21_78 > 37_82 in < h5, 0, 21_79 > 38_1 in < h5, 0, 22_1 > 38_2 in < h5, 0, 22_2 > 38_3 in < h5, 0, 22_3 > 38_4 in < h5, 0, 22_4 > 38_5 in < h5, 0, 22_5 > 38_6 in < h5, 0, 22_6 > 38_7 in < h5, 0, 22_7 > 38_8 in < h5, 0, 22_8 > 38_9 in < h5, 0, 22_9 > 38_10 in < h5, 0, 22_10 > 38_11 in < h5, 0, 22_11 > 38_12 in < h5, 0, 22_12 > 38_13 in < h5, 0, 22_13 > 38_14 in < h5, 0, 22_14 > 38_15 in < h5, 0, 22_15 > 38_16 in < h5, 0, 22_16 > 38_17 in < h5, 0, 22_17 > 38_18 in < h5, 0, 22_18 > 38_19 in < h5, 0, 22_19 > 38_20 in < h5, 0, 22_20 > 38_21 in < h5, 0, 22_21 > 38_22 in < h5, 0, 22_22 > 38_23 in < h5, 0, 22_23 > 38_24 in < h5, 0, 22_24 > 38_25 in < h5, 0, 22_25 > 38_26 in < h5, 0, 22_26 > 38_27 in < h5, 0, 22_27 > 38_28 in < h5, 0, 22_28 > 38_29 in < h5, 0, 22_29 > 38_30 in < h5, 0, 22_30 > 38_31 in < h5, 0, 22_31 > 38_32 in < h5, 0, 22_32 > 38_33 in < h5, 0, 22_33 > 38_34 in < h5, 0, 22_34 > 38_35 in < h5, 0, 22_34 > 38_35 in < h5, 0, 22_35 > 38_36 in < h5, 0, 22_36 > 38_37 in < h5, 0, 22_37 > 38_38 in < h5, 0, 22_38 > 38_39 in < h5, 0, 22_39 > 38_40 in < h5, 0, 22_40 > 38_42 in < h5, 0, 22_40 > 38_41 in < h5, 0, 22_41 > 38_43 in < h5, 0, 22_43 > 38_44 in < h5, 0, 22_44 > 38_45 in < h5, 0, 22_45 > 38_46 in < h5, 0, 22_46 > 38_47 in < h5, 0, 22_47 > 38_48 in < h5, 0, 22_48 > 38_49 in < h5, 0, 22_49 > 38_50 in < h5, 0, 22_50 > 38_51 in < h5, 0, 22_51 > 38_52 in < h5, 0, 22_52 > 38_53 in < h5, 0, 22_53 > 38_54 in < h5, 0, 22_54 > 38_55 in < h5, 0, 22_55 > 38_56 in < h5, 0, 22_56 > 38_57 in < h5, 0, 22_57 > 38_58 in < h5, 0, 22_58 > 38_59 in < h5, 0, 22_59 > 38_60 in < h5, 0, 22_60 > 38_61 in < h5, 0, 22_61 > 38_62 in < h5, 0, 22_62 > 38_63 in < h5, 0, 22_63 > 38_64 in < h5, 0, 22_64 > 38_65 in < h5, 0, 22_65 > 38_66 in < h5, 0, 22_66 > 38_67 in < h5, 0, 22_67 > 38_68 in < h5, 0, 22_68 > 38_69 in < h5, 0, 22_69 > 38_70 in < h5, 0, 22_70 > 38_71 in < h5, 0, 22_71 > 38_73 in < h5, 0, 22_72 > 38_74 in < h5, 0, 22_73 > 38_75 in < h5, 0, 22_74 > 39_1 in < h5, 0, 23_1 > 39_2 in < h5, 0, 23_2 > 39_3 in < h5, 0, 23_3 > 39_4 in < h5, 0, 23_4 > 39_5 in < h5, 0, 23_5 > 39_6 in < h5, 0, 23_6 > 39_7 in < h5, 0, 23_7 > 39_8 in < h5, 0, 23_8 > 39_9 in < h5, 0, 23_9 > 39_10 in < h5, 0, 23_10 > 39_11 in < h5, 0, 23_11 > 39_12 in < h5, 0, 23_12 > 39_13 in < h5, 0, 23_13 > 39_14 in < h5, 0, 23_14 > 39_15 in < h5, 0, 23_15 > 39_16 in < h5, 0, 23_16 > 39_17 in < h5, 0, 23_17 > 39_18 in < h5, 0, 23_18 > 39_19 in < h5, 0, 23_19 > 39_20 in < h5, 0, 23_20 > 39_21 in < h5, 0, 23_21 > 39_22 in < h5, 0, 23_22 > 39_23 in < h5, 0, 23_23 > 39_24 in < h5, 0, 23_24 > 39_25 in < h5, 0, 23_25 > 39_26 in < h5, 0, 23_26 > 39_27 in < h5, 0, 23_27 > 39_28 in < h5, 0, 23_28 > 39_29 in < h5, 0, 23_29 > 39_30 in < h5, 0, 23_30 > 39_31 in < h5, 0, 23_31 > 39_32 in < h5, 0, 23_32 > 39_33 in < h5, 0, 23_33 > 39_34 in < h5, 0, 23_34 > 39_35 in < h5, 0, 23_35 > 39_36 in < h5, 0, 23_36 > 39_37 in < h5, 0, 23_37 > 39_38 in < h5, 0, 23_37 > 39_39 in < h5, 0, 23_39 > 39_40 in < h5, 0, 23_40 > 39_41 in < h5, 0, 23_41 > 39_42 in < h5, 0, 23_42 > 39_43 in < h5, 0, 23_43 > 39_44 in < h5, 0, 23_44 > 39_45 in < h5, 0, 23_45 > 39_46 in < h5, 0, 23_46 > 39_47 in < h5, 0, 23_47 > 39_48 in < h5, 0, 23_48 > 39_49 in < h5, 0, 23_49 > 39_50 in < h5, 0, 23_50 > 39_51 in < h5, 0, 23_51 > 39_52 in < h5, 0, 23_52 > 39_53 in < h5, 0, 23_53 > 39_54 in < h5, 0, 23_54 > 39_55 in < h5, 0, 23_55 > 39_56 in < h5, 0, 23_56 > 39_57 in < h5, 0, 23_57 > 39_58 in < h5, 0, 23_58 > 39_59 in < h5, 0, 23_59 > 39_60 in < h5, 0, 23_60 > 39_61 in < h5, 0, 23_61 > 39_62 in < h5, 0, 23_62 > 39_63 in < h5, 0, 23_63 > 39_64 in < h5, 0, 23_64 > 39_65 in < h5, 0, 23_65 > 39_66 in < h5, 0, 23_66 > 39_67 in < h5, 0, 23_67 > 39_68 in < h5, 0, 23_68 > 40_1 in < h5, 0, 24_1 > 40_2 in < h5, 0, 24_2 > 40_3 in < h5, 0, 24_3 > 40_4 in < h5, 0, 24_4 > 40_5 in < h5, 0, 24_5 > 40_6 in < h5, 0, 24_6 > 40_7 in < h5, 0, 24_7 > 40_8 in < h5, 0, 24_8 > 40_9 in < h5, 0, 24_9 > 40_10 in < h5, 0, 24_10 > 40_11 in < h5, 0, 24_10 > 40_11 in < h5, 0, 24_11 > 40_12 in < h5, 0, 24_12 > 40_13 in < h5, 0, 24_13 > 40_14 in < h5, 0, 24_14 > 40_15 in < h5, 0, 24_15 > 40_16 in < h5, 0, 24_16 > 40_17 in < h5, 0, 24_17 > 40_18 in < h5, 0, 24_18 > 40_19 in < h5, 0, 24_19 > 40_20 in < h5, 0, 24_20 > 40_21 in < h5, 0, 24_21 > 40_22 in < h5, 0, 24_22 > 40_23 in < h5, 0, 24_23 > 40_24 in < h5, 0, 24_24 > 40_25 in < h5, 0, 24_25 > 40_26 in < h5, 0, 24_26 > 40_27 in < h5, 0, 24_27 > 40_28 in < h5, 0, 24_28 > 40_29 in < h5, 0, 24_29 > 40_30 in < h5, 0, 24_30 > 40_31 in < h5, 0, 24_31 > 40_32 in < h5, 0, 24_32 > 40_33 in < h5, 0, 24_33 > 40_34 in < h5, 0, 24_34 > 40_35 in < h5, 0, 24_34 > 40_36 in < h5, 0, 24_36 > 40_37 in < h5, 0, 24_37 > 40_38 in < h5, 0, 24_38 > 40_39 in < h5, 0, 24_39 > 40_41 in < h5, 0, 24_39 > 40_40 in < h5, 0, 24_40 > 40_41 in < h5, 0, 24_41 > 40_42 in < h5, 0, 24_42 > 40_43 in < h5, 0, 24_43 > 40_44 in < h5, 0, 24_44 > 40_45 in < h5, 0, 24_45 > 40_46 in < h5, 0, 24_46 > 40_47 in < h5, 0, 24_47 > 40_48 in < h5, 0, 24_48 > 40_49 in < h5, 0, 24_49 > 40_50 in < h5, 0, 24_50 > 40_51 in < h5, 0, 24_51 > 40_52 in < h5, 0, 24_52 > 40_53 in < h5, 0, 24_53 > 40_54 in < h5, 0, 24_54 > 40_55 in < h5, 0, 24_55 > 40_56 in < h5, 0, 24_56 > 40_57 in < h5, 0, 24_57 > 40_58 in < h5, 0, 24_58 > 40_59 in < h5, 0, 24_59 > 40_60 in < h5, 0, 24_60 > 40_61 in < h5, 0, 24_61 > 40_62 in < h5, 0, 24_62 > 40_63 in < h5, 0, 24_63 > 41_1 in < h5, 0, 25_1 > 41_2 in < h5, 0, 25_2 > 41_3 in < h5, 0, 25_3 > 41_4 in < h5, 0, 25_4 > 41_5 in < h5, 0, 25_5 > 41_6 in < h5, 0, 25_6 > 41_7 in < h5, 0, 25_7 > 41_8 in < h5, 0, 25_8 > 41_9 in < h5, 0, 25_9 > 41_10 in < h5, 0, 25_10 > 41_11 in < h5, 0, 25_11 > 41_12 in < h5, 0, 25_11 > 41_12 in < h5, 0, 25_12 > 41_13 in < h5, 0, 25_13 > 41_14 in < h5, 0, 25_14 > 41_15 in < h5, 0, 25_15 > 41_16 in < h5, 0, 25_16 > 41_17 in < h5, 0, 25_17 > 41_18 in < h5, 0, 25_18 > 41_19 in < h5, 0, 25_19 > 41_20 in < h5, 0, 25_20 > 41_21 in < h5, 0, 25_21 > 41_22 in < h5, 0, 25_22 > 41_23 in < h5, 0, 25_23 > 41_24 in < h5, 0, 25_24 > 41_25 in < h5, 0, 25_25 > 41_26 in < h5, 0, 25_26 > 41_27 in < h5, 0, 25_27 > 41_28 in < h5, 0, 25_28 > 41_29 in < h5, 0, 25_29 > 41_30 in < h5, 0, 25_30 > 41_31 in < h5, 0, 25_31 > 41_32 in < h5, 0, 25_32 > 41_33 in < h5, 0, 25_33 > 41_34 in < h5, 0, 25_34 > 41_36 in < h5, 0, 25_34 > 41_37 in < h5, 0, 25_34 > 41_35 in < h5, 0, 25_35 > 41_36 in < h5, 0, 25_36 > 41_37 in < h5, 0, 25_36 > 41_38 in < h5, 0, 25_38 > 41_39 in < h5, 0, 25_39 > 41_41 in < h5, 0, 25_39 > 41_40 in < h5, 0, 25_40 > 41_41 in < h5, 0, 25_41 > 41_42 in < h5, 0, 25_42 > 41_43 in < h5, 0, 25_42 > 41_43 in < h5, 0, 25_43 > 41_44 in < h5, 0, 25_44 > 41_45 in < h5, 0, 25_45 > 41_46 in < h5, 0, 25_46 > 41_47 in < h5, 0, 25_47 > 41_48 in < h5, 0, 25_48 > 41_49 in < h5, 0, 25_49 > 41_50 in < h5, 0, 25_50 > 41_51 in < h5, 0, 25_51 > 41_52 in < h5, 0, 25_52 > 41_53 in < h5, 0, 25_53 > 41_54 in < h5, 0, 25_54 > 41_55 in < h5, 0, 25_55 > 41_56 in < h5, 0, 25_56 > 41_57 in < h5, 0, 25_57 > 41_58 in < h5, 0, 25_58 > 41_59 in < h5, 0, 25_59 > 41_60 in < h5, 0, 25_60 > 41_61 in < h5, 0, 25_61 > 41_62 in < h5, 0, 25_62 > 42_1 in < h5, 0, 26_1 > 42_2 in < h5, 0, 26_2 > 42_3 in < h5, 0, 26_3 > 42_4 in < h5, 0, 26_4 > 42_5 in < h5, 0, 26_5 > 42_6 in < h5, 0, 26_6 > 42_7 in < h5, 0, 26_7 > 42_8 in < h5, 0, 26_8 > 42_10 in < h5, 0, 26_9 > 42_9 in < h5, 0, 26_9 > 42_10 in < h5, 0, 26_10 > 42_11 in < h5, 0, 26_11 > 42_12 in < h5, 0, 26_12 > 42_13 in < h5, 0, 26_13 > 42_14 in < h5, 0, 26_14 > 42_15 in < h5, 0, 26_15 > 42_16 in < h5, 0, 26_16 > 42_17 in < h5, 0, 26_17 > 42_18 in < h5, 0, 26_18 > 42_19 in < h5, 0, 26_19 > 42_20 in < h5, 0, 26_20 > 42_21 in < h5, 0, 26_21 > 42_22 in < h5, 0, 26_22 > 42_23 in < h5, 0, 26_23 > 42_24 in < h5, 0, 26_24 > 42_25 in < h5, 0, 26_25 > 42_26 in < h5, 0, 26_26 > 42_27 in < h5, 0, 26_27 > 42_28 in < h5, 0, 26_28 > 42_29 in < h5, 0, 26_29 > 42_32 in < h5, 0, 26_29 > 42_30 in < h5, 0, 26_30 > 42_31 in < h5, 0, 26_31 > 42_32 in < h5, 0, 26_32 > 42_33 in < h5, 0, 26_33 > 42_34 in < h5, 0, 26_33 > 42_35 in < h5, 0, 26_33 > 42_34 in < h5, 0, 26_34 > 42_35 in < h5, 0, 26_34 > 42_36 in < h5, 0, 26_36 > 42_37 in < h5, 0, 26_37 > 42_38 in < h5, 0, 26_38 > 42_39 in < h5, 0, 26_38 > 42_39 in < h5, 0, 26_39 > 42_40 in < h5, 0, 26_40 > 42_41 in < h5, 0, 26_41 > 42_42 in < h5, 0, 26_42 > 42_43 in < h5, 0, 26_43 > 42_44 in < h5, 0, 26_44 > 42_45 in < h5, 0, 26_45 > 42_46 in < h5, 0, 26_46 > 42_47 in < h5, 0, 26_47 > 42_48 in < h5, 0, 26_48 > 42_49 in < h5, 0, 26_49 > 42_50 in < h5, 0, 26_50 > 42_51 in < h5, 0, 26_51 > 42_52 in < h5, 0, 26_52 > 42_53 in < h5, 0, 26_53 > 42_54 in < h5, 0, 26_54 > 42_55 in < h5, 0, 26_55 > 42_56 in < h5, 0, 26_56 > 42_57 in < h5, 0, 26_57 > 42_58 in < h5, 0, 26_58 > 42_59 in < h5, 0, 26_59 > 43_1 in < h5, 0, 27_1 > 43_2 in < h5, 0, 27_2 > 43_3 in < h5, 0, 27_3 > 43_4 in < h5, 0, 27_4 > 43_5 in < h5, 0, 27_5 > 43_6 in < h5, 0, 27_6 > 43_7 in < h5, 0, 27_7 > 43_8 in < h5, 0, 27_8 > 43_9 in < h5, 0, 27_9 > 43_10 in < h5, 0, 27_10 > 43_11 in < h5, 0, 27_11 > 43_12 in < h5, 0, 27_12 > 43_13 in < h5, 0, 27_13 > 43_14 in < h5, 0, 27_14 > 43_15 in < h5, 0, 27_15 > 43_16 in < h5, 0, 27_16 > 43_17 in < h5, 0, 27_17 > 43_18 in < h5, 0, 27_18 > 43_19 in < h5, 0, 27_19 > 43_20 in < h5, 0, 27_20 > 43_21 in < h5, 0, 27_21 > 43_22 in < h5, 0, 27_22 > 43_23 in < h5, 0, 27_23 > 43_24 in < h5, 0, 27_24 > 43_25 in < h5, 0, 27_25 > 43_26 in < h5, 0, 27_26 > 43_27 in < h5, 0, 27_27 > 43_28 in < h5, 0, 27_27 > 43_28 in < h5, 0, 27_28 > 43_29 in < h5, 0, 27_29 > 43_30 in < h5, 0, 27_29 > 43_31 in < h5, 0, 27_29 > 43_30 in < h5, 0, 27_30 > 43_31 in < h5, 0, 27_30 > 43_32 in < h5, 0, 27_32 > 43_33 in < h5, 0, 27_33 > 43_34 in < h5, 0, 27_34 > 43_35 in < h5, 0, 27_35 > 43_36 in < h5, 0, 27_36 > 43_37 in < h5, 0, 27_37 > 43_38 in < h5, 0, 27_38 > 43_39 in < h5, 0, 27_39 > 43_40 in < h5, 0, 27_40 > 43_41 in < h5, 0, 27_41 > 43_42 in < h5, 0, 27_42 > 43_43 in < h5, 0, 27_43 > 43_44 in < h5, 0, 27_44 > 43_45 in < h5, 0, 27_45 > 43_46 in < h5, 0, 27_46 > 43_47 in < h5, 0, 27_47 > 43_48 in < h5, 0, 27_48 > 43_49 in < h5, 0, 27_49 > 44_1 in < h5, 0, 28_1 > 44_2 in < h5, 0, 28_2 > 44_3 in < h5, 0, 28_3 > 44_4 in < h5, 0, 28_4 > 44_5 in < h5, 0, 28_5 > 44_6 in < h5, 0, 28_6 > 44_7 in < h5, 0, 28_7 > 44_8 in < h5, 0, 28_8 > 44_9 in < h5, 0, 28_9 > 44_10 in < h5, 0, 28_10 > 44_11 in < h5, 0, 28_11 > 44_12 in < h5, 0, 28_12 > 44_13 in < h5, 0, 28_13 > 44_14 in < h5, 0, 28_14 > 44_15 in < h5, 0, 28_15 > 44_16 in < h5, 0, 28_16 > 44_17 in < h5, 0, 28_17 > 44_18 in < h5, 0, 28_18 > 44_19 in < h5, 0, 28_19 > 44_20 in < h5, 0, 28_20 > 44_21 in < h5, 0, 28_21 > 44_22 in < h5, 0, 28_22 > 44_23 in < h5, 0, 28_23 > 44_24 in < h5, 0, 28_24 > 44_25 in < h5, 0, 28_25 > 44_26 in < h5, 0, 28_26 > 44_27 in < h5, 0, 28_26 > 44_27 in < h5, 0, 28_27 > 44_28 in < h5, 0, 28_28 > 44_30 in < h5, 0, 28_30 > 44_31 in < h5, 0, 28_31 > 44_32 in < h5, 0, 28_32 > 44_33 in < h5, 0, 28_33 > 44_34 in < h5, 0, 28_34 > 44_35 in < h5, 0, 28_35 > 44_36 in < h5, 0, 28_36 > 44_37 in < h5, 0, 28_37 > 44_38 in < h5, 0, 28_38 > 44_39 in < h5, 0, 28_39 > 44_40 in < h5, 0, 28_40 > 45_1 in < h5, 0, 29_1 > 45_2 in < h5, 0, 29_2 > 45_3 in < h5, 0, 29_3 > 45_4 in < h5, 0, 29_4 > 45_5 in < h5, 0, 29_5 > 45_6 in < h5, 0, 29_6 > 45_7 in < h5, 0, 29_7 > 45_8 in < h5, 0, 29_8 > 45_9 in < h5, 0, 29_9 > 45_10 in < h5, 0, 29_10 > 45_11 in < h5, 0, 29_11 > 45_12 in < h5, 0, 29_12 > 45_13 in < h5, 0, 29_13 > 45_14 in < h5, 0, 29_14 > 45_15 in < h5, 0, 29_15 > 45_16 in < h5, 0, 29_16 > 45_17 in < h5, 0, 29_17 > 45_18 in < h5, 0, 29_18 > 45_19 in < h5, 0, 29_19 > 45_20 in < h5, 0, 29_20 > 45_21 in < h5, 0, 29_21 > 45_22 in < h5, 0, 29_22 > 45_23 in < h5, 0, 29_23 > 45_24 in < h5, 0, 29_24 > 45_25 in < h5, 0, 29_25 > 45_26 in < h5, 0, 29_26 > 45_28 in < h5, 0, 29_28 > 45_29 in < h5, 0, 29_29 > 45_30 in < h5, 0, 29_30 > 45_31 in < h5, 0, 29_31 > 45_32 in < h5, 0, 29_32 > 45_33 in < h5, 0, 29_33 > 45_35 in < h5, 0, 29_33 > 45_34 in < h5, 0, 29_34 > 45_35 in < h5, 0, 29_35 > 45_36 in < h5, 0, 29_36 > 45_37 in < h5, 0, 29_37 > 45_38 in < h5, 0, 29_38 > 45_39 in < h5, 0, 29_39 > 45_40 in < h5, 0, 29_40 > 46_1 in < h5, 0, 30_1 > 46_2 in < h5, 0, 30_2 > 46_3 in < h5, 0, 30_3 > 46_4 in < h5, 0, 30_4 > 46_5 in < h5, 0, 30_5 > 46_6 in < h5, 0, 30_6 > 46_7 in < h5, 0, 30_7 > 46_8 in < h5, 0, 30_8 > 46_9 in < h5, 0, 30_9 > 46_10 in < h5, 0, 30_10 > 46_11 in < h5, 0, 30_11 > 46_12 in < h5, 0, 30_12 > 46_13 in < h5, 0, 30_13 > 46_14 in < h5, 0, 30_14 > 46_15 in < h5, 0, 30_15 > 46_16 in < h5, 0, 30_16 > 46_17 in < h5, 0, 30_17 > 46_18 in < h5, 0, 30_18 > 46_19 in < h5, 0, 30_19 > 46_20 in < h5, 0, 30_20 > 46_21 in < h5, 0, 30_21 > 46_23 in < h5, 0, 30_23 > 46_24 in < h5, 0, 30_24 > 46_25 in < h5, 0, 30_25 > 46_26 in < h5, 0, 30_26 > 46_27 in < h5, 0, 30_27 > 46_28 in < h5, 0, 30_28 > 46_29 in < h5, 0, 30_29 > 46_30 in < h5, 0, 30_30 > 46_31 in < h5, 0, 30_31 > 46_32 in < h5, 0, 30_32 > 46_33 in < h5, 0, 30_32 > 46_33 in < h5, 0, 30_33 > 46_34 in < h5, 0, 30_34 > 46_35 in < h5, 0, 30_35 > 46_36 in < h5, 0, 30_36 > 46_37 in < h5, 0, 30_37 > 47_1 in < h5, 0, 31_1 > 47_2 in < h5, 0, 31_2 > 47_3 in < h5, 0, 31_3 > 47_4 in < h5, 0, 31_4 > 47_5 in < h5, 0, 31_5 > 47_6 in < h5, 0, 31_6 > 47_7 in < h5, 0, 31_7 > 47_8 in < h5, 0, 31_8 > 47_9 in < h5, 0, 31_9 > 47_10 in < h5, 0, 31_10 > 47_11 in < h5, 0, 31_11 > 47_12 in < h5, 0, 31_12 > 47_13 in < h5, 0, 31_13 > 47_14 in < h5, 0, 31_14 > 47_15 in < h5, 0, 31_15 > 47_16 in < h5, 0, 31_16 > 47_17 in < h5, 0, 31_17 > 47_18 in < h5, 0, 31_18 > 47_19 in < h5, 0, 31_19 > 47_20 in < h5, 0, 31_20 > 47_22 in < h5, 0, 31_22 > 47_23 in < h5, 0, 31_23 > 47_24 in < h5, 0, 31_24 > 47_25 in < h5, 0, 31_25 > 47_26 in < h5, 0, 31_26 > 47_27 in < h5, 0, 31_27 > 47_28 in < h5, 0, 31_28 > 47_29 in < h5, 0, 31_29 > 47_30 in < h5, 0, 31_29 > 47_30 in < h5, 0, 31_30 > 47_31 in < h5, 0, 31_31 > 47_32 in < h5, 0, 31_32 > 48_1 in < h5, 0, 32_1 > 48_2 in < h5, 0, 32_2 > 48_3 in < h5, 0, 32_3 > 48_4 in < h5, 0, 32_4 > 48_5 in < h5, 0, 32_5 > 48_6 in < h5, 0, 32_6 > 48_7 in < h5, 0, 32_7 > 48_8 in < h5, 0, 32_8 > 48_9 in < h5, 0, 32_9 > 48_10 in < h5, 0, 32_10 > 48_11 in < h5, 0, 32_11 > 48_12 in < h5, 0, 32_12 > 48_13 in < h5, 0, 32_13 > 48_14 in < h5, 0, 32_14 > 48_15 in < h5, 0, 32_15 > 48_16 in < h5, 0, 32_16 > 48_17 in < h5, 0, 32_17 > 48_18 in < h5, 0, 32_18 > 48_19 in < h5, 0, 32_19 > 48_20 in < h5, 0, 32_20 > 48_21 in < h5, 0, 32_21 > 48_22 in < h5, 0, 32_22 > 48_24 in < h5, 0, 32_24 > 48_25 in < h5, 0, 32_25 > 48_26 in < h5, 0, 32_26 > 48_27 in < h5, 0, 32_27 > 48_28 in < h5, 0, 32_28 > 48_29 in < h5, 0, 32_29 > 49_1 in < h5, 0, 33_1 > 49_2 in < h5, 0, 33_2 > 49_3 in < h5, 0, 33_3 > 49_4 in < h5, 0, 33_4 > 49_5 in < h5, 0, 33_5 > 49_6 in < h5, 0, 33_6 > 49_7 in < h5, 0, 33_7 > 49_8 in < h5, 0, 33_8 > 49_9 in < h5, 0, 33_9 > 49_10 in < h5, 0, 33_10 > 49_11 in < h5, 0, 33_11 > 49_12 in < h5, 0, 33_12 > 49_13 in < h5, 0, 33_13 > 49_14 in < h5, 0, 33_14 > 49_15 in < h5, 0, 33_15 > 49_16 in < h5, 0, 33_16 > 49_17 in < h5, 0, 33_17 > 49_18 in < h5, 0, 33_18 > 49_19 in < h5, 0, 33_19 > 49_20 in < h5, 0, 33_20 > 49_21 in < h5, 0, 33_21 > 49_22 in < h5, 0, 33_22 > 49_23 in < h5, 0, 33_23 > 49_24 in < h5, 0, 33_24 > 49_25 in < h5, 0, 33_25 > 49_26 in < h5, 0, 33_26 > 49_27 in < h5, 0, 33_27 > 50_1 in < h5, 0, 34_1 > 50_2 in < h5, 0, 34_2 > 50_3 in < h5, 0, 34_3 > 50_4 in < h5, 0, 34_4 > 50_5 in < h5, 0, 34_5 > 50_6 in < h5, 0, 34_6 > 50_7 in < h5, 0, 34_7 > 50_8 in < h5, 0, 34_8 > 50_9 in < h5, 0, 34_9 > 50_10 in < h5, 0, 34_10 > 50_11 in < h5, 0, 34_11 > 50_12 in < h5, 0, 34_12 > 50_13 in < h5, 0, 34_13 > 50_14 in < h5, 0, 34_14 > 50_15 in < h5, 0, 34_15 > 50_16 in < h5, 0, 34_16 > 50_17 in < h5, 0, 34_17 > 50_18 in < h5, 0, 34_18 > 50_19 in < h5, 0, 34_19 > 50_20 in < h5, 0, 34_20 > 50_21 in < h5, 0, 34_21 > 50_22 in < h5, 0, 34_22 > 51_1 in < h5, 0, 35_1 > 51_2 in < h5, 0, 35_2 > 51_3 in < h5, 0, 35_3 > 51_4 in < h5, 0, 35_4 > 51_5 in < h5, 0, 35_5 > 51_6 in < h5, 0, 35_6 > 51_7 in < h5, 0, 35_7 > 51_8 in < h5, 0, 35_8 > 51_9 in < h5, 0, 35_9 > 51_10 in < h5, 0, 35_10 > 51_11 in < h5, 0, 35_11 > 51_12 in < h5, 0, 35_12 > 51_13 in < h5, 0, 35_13 > 51_14 in < h5, 0, 35_14 > 51_15 in < h5, 0, 35_15 > 51_16 in < h5, 0, 35_16 > 51_17 in < h5, 0, 35_17 > 52_1 in < h5, 0, 36_1 > 52_2 in < h5, 0, 36_2 > 52_3 in < h5, 0, 36_3 > 52_4 in < h5, 0, 36_4 > 52_5 in < h5, 0, 36_5 > 52_6 in < h5, 0, 36_6 > 52_7 in < h5, 0, 36_7 > 52_8 in < h5, 0, 36_8 > 52_9 in < h5, 0, 36_9 > 52_10 in < h5, 0, 36_10 > 52_11 in < h5, 0, 36_11 > 52_12 in < h5, 0, 36_12 > 52_13 in < h5, 0, 36_13 > 52_14 in < h5, 0, 36_14 > 52_15 in < h5, 0, 36_15 > 52_16 in < h5, 0, 36_16 > 52_17 in < h5, 0, 36_17 > 53_1 in < h5, 0, 37_1 > 53_2 in < h5, 0, 37_2 > 53_3 in < h5, 0, 37_3 > 53_4 in < h5, 0, 37_4 > 53_5 in < h5, 0, 37_5 > 53_6 in < h5, 0, 37_6 > 53_7 in < h5, 0, 37_7 > 53_8 in < h5, 0, 37_8 > 53_9 in < h5, 0, 37_9 > 53_10 in < h5, 0, 37_10 > 53_11 in < h5, 0, 37_11 > 53_12 in < h5, 0, 37_12 > 53_13 in < h5, 0, 37_13 > 53_14 in < h5, 0, 37_14 > 53_15 in < h5, 0, 37_15 > 53_16 in < h5, 0, 37_16 > 53_17 in < h5, 0, 37_17 > 54_1 in < h5, 0, 38_1 > 54_2 in < h5, 0, 38_2 > 54_3 in < h5, 0, 38_3 > 54_4 in < h5, 0, 38_4 > 54_5 in < h5, 0, 38_5 > 54_6 in < h5, 0, 38_6 > 54_7 in < h5, 0, 38_7 > 54_8 in < h5, 0, 38_8 > 54_9 in < h5, 0, 38_9 > 54_10 in < h5, 0, 38_10 > 54_11 in < h5, 0, 38_11 > 54_12 in < h5, 0, 38_12 > 54_13 in < h5, 0, 38_13 > 55_1 in < h5, 0, 39_1 > 55_2 in < h5, 0, 39_2 > 55_3 in < h5, 0, 39_3 > 55_4 in < h5, 0, 39_4 > 55_5 in < h5, 0, 39_5 > 55_6 in < h5, 0, 39_6 > 55_7 in < h5, 0, 39_7 > 55_8 in < h5, 0, 39_8 > 55_9 in < h5, 0, 39_9 > 55_10 in < h5, 0, 39_10 > 55_11 in < h5, 0, 39_11 > 56_1 in < h5, 0, 40_1 > 56_2 in < h5, 0, 40_2 > 56_3 in < h5, 0, 40_3 > 56_4 in < h5, 0, 40_4 > 56_5 in < h5, 0, 40_5 > 56_6 in < h5, 0, 40_6 > 56_7 in < h5, 0, 40_7 > 56_8 in < h5, 0, 40_8 > 56_9 in < h5, 0, 40_9 > 56_10 in < h5, 0, 40_10 > 56_11 in < h5, 0, 40_11 > 56_12 in < h5, 0, 40_12 > 57_1 in < h5, 0, 41_1 > 57_2 in < h5, 0, 41_2 > 57_3 in < h5, 0, 41_3 > 57_4 in < h5, 0, 41_4 > 57_5 in < h5, 0, 41_5 > 57_6 in < h5, 0, 41_6 > 57_7 in < h5, 0, 41_7 > 57_8 in < h5, 0, 41_8 > 57_9 in < h5, 0, 41_9 > 57_10 in < h5, 0, 41_10 > 57_11 in < h5, 0, 41_11 > 57_12 in < h5, 0, 41_12 > 58_1 in < h5, 0, 42_1 > 58_2 in < h5, 0, 42_2 > 58_3 in < h5, 0, 42_3 > 58_4 in < h5, 0, 42_4 > 58_5 in < h5, 0, 42_5 > 58_6 in < h5, 0, 42_6 > 58_7 in < h5, 0, 42_7 > 58_8 in < h5, 0, 42_8 > 59_1 in < h5, 0, 43_1 > 59_2 in < h5, 0, 43_2 > 59_3 in < h5, 0, 43_3 > 59_4 in < h5, 0, 43_4 > 60_1 in < h5, 0, 44_1 > 60_2 in < h5, 0, 44_2 > 61_1 in < h5, 0, 45_1 > 61_2 in < h5, 0, 45_2 > 62_1 in < h5, 0, 46_1 > % (b) Nonzero products h0^16 * x, obstructing existence. 16 0 ( 16 0 F2) 0_0 17 0 ( 16 0 F2) 1_0 17 22 ( 16 0 F2) 1_6 17 132 ( 16 0 F2) 1_7 18 0 ( 16 0 F2) 2_0 18 18 ( 16 0 F2) 2_16 18 126 ( 16 0 F2) 2_22 19 0 ( 16 0 F2) 3_0 19 14 ( 16 0 F2) 3_23 19 121 ( 16 0 F2) 3_38 20 0 ( 16 0 F2) 4_0 20 15 ( 16 0 F2) 4_28 20 113 ( 16 0 F2) 4_55 21 0 ( 16 0 F2) 5_0 21 16 ( 16 0 F2) 5_35 21 108 ( 16 0 F2) 5_79 22 0 ( 16 0 F2) 6_0 22 11 ( 16 0 F2) 6_37 22 104 ( 16 0 F2) 6_100 23 0 ( 16 0 F2) 7_0 23 9 ( 16 0 F2) 7_35 23 100 ( 16 0 F2) 7_113 24 0 ( 16 0 F2) 8_0 24 11 ( 16 0 F2) 8_36 24 94 ( 16 0 F2) 8_129 25 0 ( 16 0 F2) 9_0 25 12 ( 16 0 F2) 9_35 25 91 ( 16 0 F2) 9_141 26 0 ( 16 0 F2) 10_0 26 10 ( 16 0 F2) 10_31 26 91 ( 16 0 F2) 10_147 27 0 ( 16 0 F2) 11_0 27 6 ( 16 0 F2) 11_30 27 84 ( 16 0 F2) 11_143 28 0 ( 16 0 F2) 12_0 28 4 ( 16 0 F2) 12_28 28 76 ( 16 0 F2) 12_136 29 0 ( 16 0 F2) 13_0 29 5 ( 16 0 F2) 13_27 29 75 ( 16 0 F2) 13_135 30 0 ( 16 0 F2) 14_0 30 4 ( 16 0 F2) 14_22 30 69 ( 16 0 F2) 14_131 31 0 ( 16 0 F2) 15_0 31 2 ( 16 0 F2) 15_21 31 63 ( 16 0 F2) 15_128 32 0 ( 16 0 F2) 16_0 32 1 ( 16 0 F2) 16_23 32 62 ( 16 0 F2) 16_134 33 0 ( 16 0 F2) 17_0 33 62 ( 16 0 F2) 17_132 34 0 ( 16 0 F2) 18_0 34 58 ( 16 0 F2) 18_119 34 60 ( 16 0 F2) 18_126 35 0 ( 16 0 F2) 19_0 35 50 ( 16 0 F2) 19_116 35 53 ( 16 0 F2) 19_121 36 0 ( 16 0 F2) 20_0 36 45 ( 16 0 F2) 20_110 36 46 ( 16 0 F2) 20_113 37 0 ( 16 0 F2) 21_0 37 16 ( 16 0 F2) 21_43 37 43 ( 16 0 F2) 21_102 37 43 ( 16 0 F2) 21_104 37 45 ( 16 0 F2) 21_108 38 0 ( 16 0 F2) 22_0 38 11 ( 16 0 F2) 22_40 38 11 ( 16 0 F2) 22_42 38 42 ( 16 0 F2) 22_102 38 42 ( 16 0 F2) 22_104 39 0 ( 16 0 F2) 23_0 39 9 ( 16 0 F2) 23_37 39 9 ( 16 0 F2) 23_38 39 38 ( 16 0 F2) 23_100 39 38 ( 16 0 F2) 23_99 40 0 ( 16 0 F2) 24_0 40 11 ( 16 0 F2) 24_34 40 11 ( 16 0 F2) 24_35 40 35 ( 16 0 F2) 24_93 40 35 ( 16 0 F2) 24_94 41 0 ( 16 0 F2) 25_0 41 12 ( 16 0 F2) 25_34 41 12 ( 16 0 F2) 25_36 41 12 ( 16 0 F2) 25_37 41 37 ( 16 0 F2) 25_91 42 0 ( 16 0 F2) 26_0 42 10 ( 16 0 F2) 26_33 42 10 ( 16 0 F2) 26_34 42 10 ( 16 0 F2) 26_35 42 35 ( 16 0 F2) 26_91 43 0 ( 16 0 F2) 27_0 43 6 ( 16 0 F2) 27_29 43 6 ( 16 0 F2) 27_30 43 6 ( 16 0 F2) 27_31 43 31 ( 16 0 F2) 27_84 44 0 ( 16 0 F2) 28_0 44 4 ( 16 0 F2) 28_29 44 29 ( 16 0 F2) 28_76 45 0 ( 16 0 F2) 29_0 45 5 ( 16 0 F2) 29_27 45 27 ( 16 0 F2) 29_75 46 0 ( 16 0 F2) 30_0 46 4 ( 16 0 F2) 30_22 46 22 ( 16 0 F2) 30_69 47 0 ( 16 0 F2) 31_0 47 2 ( 16 0 F2) 31_21 47 21 ( 16 0 F2) 31_63 48 0 ( 16 0 F2) 32_0 48 1 ( 16 0 F2) 32_23 48 23 ( 16 0 F2) 32_62 49 0 ( 16 0 F2) 33_0 49 22 ( 16 0 F2) 33_62 50 0 ( 16 0 F2) 34_0 50 18 ( 16 0 F2) 34_60 51 0 ( 16 0 F2) 35_0 51 14 ( 16 0 F2) 35_53 52 0 ( 16 0 F2) 36_0 52 15 ( 16 0 F2) 36_46 53 0 ( 16 0 F2) 37_0 53 16 ( 16 0 F2) 37_45 54 0 ( 16 0 F2) 38_0 54 11 ( 16 0 F2) 38_40 54 11 ( 16 0 F2) 38_42 55 0 ( 16 0 F2) 39_0 55 9 ( 16 0 F2) 39_37 55 9 ( 16 0 F2) 39_38 56 0 ( 16 0 F2) 40_0 56 11 ( 16 0 F2) 40_34 56 11 ( 16 0 F2) 40_35 57 0 ( 16 0 F2) 41_0 57 12 ( 16 0 F2) 41_36 57 12 ( 16 0 F2) 41_37 58 0 ( 16 0 F2) 42_0 59 0 ( 16 0 F2) 43_0 60 0 ( 16 0 F2) 44_0 61 0 ( 16 0 F2) 45_0 62 0 ( 16 0 F2) 46_0 % (c) Nonzero products h5 * y, giving indeterminacy. 16 1 ( 1 5 F2) 15_0 16 91 ( 1 5 F2) 15_41 16 103 ( 1 5 F2) 15_46 16 123 ( 1 5 F2) 15_56 16 132 ( 1 5 F2) 15_58 16 133 ( 1 5 F2) 15_58 16 149 ( 1 5 F2) 15_65 16 155 ( 1 5 F2) 15_68 16 157 ( 1 5 F2) 15_68 16 157 ( 1 5 F2) 15_69 16 158 ( 1 5 F2) 15_71 16 158 ( 1 5 F2) 15_72 16 161 ( 1 5 F2) 15_74 16 168 ( 1 5 F2) 15_78 16 171 ( 1 5 F2) 15_80 16 182 ( 1 5 F2) 15_95 16 182 ( 1 5 F2) 15_97 16 184 ( 1 5 F2) 15_95 16 184 ( 1 5 F2) 15_96 16 195 ( 1 5 F2) 15_103 16 196 ( 1 5 F2) 15_104 16 201 ( 1 5 F2) 15_107 16 204 ( 1 5 F2) 15_109 16 208 ( 1 5 F2) 15_112 16 214 ( 1 5 F2) 15_113 16 217 ( 1 5 F2) 15_117 16 217 ( 1 5 F2) 15_120 16 221 ( 1 5 F2) 15_125 16 221 ( 1 5 F2) 15_127 16 224 ( 1 5 F2) 15_128 16 228 ( 1 5 F2) 15_133 16 239 ( 1 5 F2) 15_140 16 239 ( 1 5 F2) 15_144 16 248 ( 1 5 F2) 15_149 16 248 ( 1 5 F2) 15_151 16 248 ( 1 5 F2) 15_153 16 248 ( 1 5 F2) 15_154 17 75 ( 1 5 F2) 16_32 17 77 ( 1 5 F2) 16_33 17 78 ( 1 5 F2) 16_33 17 81 ( 1 5 F2) 16_35 17 84 ( 1 5 F2) 16_37 17 85 ( 1 5 F2) 16_37 17 90 ( 1 5 F2) 16_38 17 91 ( 1 5 F2) 16_38 17 92 ( 1 5 F2) 16_40 17 97 ( 1 5 F2) 16_42 17 102 ( 1 5 F2) 16_47 17 122 ( 1 5 F2) 16_54 17 123 ( 1 5 F2) 16_54 17 126 ( 1 5 F2) 16_57 17 130 ( 1 5 F2) 16_58 17 131 ( 1 5 F2) 16_58 17 139 ( 1 5 F2) 16_60 17 150 ( 1 5 F2) 16_68 17 164 ( 1 5 F2) 16_82 17 167 ( 1 5 F2) 16_86 17 177 ( 1 5 F2) 16_93 17 182 ( 1 5 F2) 16_95 17 183 ( 1 5 F2) 16_95 17 183 ( 1 5 F2) 16_97 17 183 ( 1 5 F2) 16_98 17 190 ( 1 5 F2) 16_104 17 198 ( 1 5 F2) 16_108 17 199 ( 1 5 F2) 16_109 17 202 ( 1 5 F2) 16_113 17 208 ( 1 5 F2) 16_116 17 210 ( 1 5 F2) 16_119 17 218 ( 1 5 F2) 16_130 17 219 ( 1 5 F2) 16_134 17 223 ( 1 5 F2) 16_138 18 64 ( 1 5 F2) 17_26 18 69 ( 1 5 F2) 17_28 18 73 ( 1 5 F2) 17_32 18 80 ( 1 5 F2) 17_37 18 98 ( 1 5 F2) 17_50 18 106 ( 1 5 F2) 17_52 18 125 ( 1 5 F2) 17_60 18 150 ( 1 5 F2) 17_76 18 152 ( 1 5 F2) 17_76 18 155 ( 1 5 F2) 17_80 18 166 ( 1 5 F2) 17_87 18 177 ( 1 5 F2) 17_96 18 178 ( 1 5 F2) 17_96 18 178 ( 1 5 F2) 17_98 18 180 ( 1 5 F2) 17_99 18 182 ( 1 5 F2) 17_99 18 191 ( 1 5 F2) 17_106 18 201 ( 1 5 F2) 17_115 18 203 ( 1 5 F2) 17_119 18 216 ( 1 5 F2) 17_134 18 230 ( 1 5 F2) 17_143 19 99 ( 1 5 F2) 18_48 19 100 ( 1 5 F2) 18_50 19 102 ( 1 5 F2) 18_50 19 107 ( 1 5 F2) 18_55 19 109 ( 1 5 F2) 18_55 19 131 ( 1 5 F2) 18_63 19 138 ( 1 5 F2) 18_68 19 146 ( 1 5 F2) 18_72 19 149 ( 1 5 F2) 18_74 19 151 ( 1 5 F2) 18_74 19 155 ( 1 5 F2) 18_76 19 156 ( 1 5 F2) 18_77 19 156 ( 1 5 F2) 18_78 19 161 ( 1 5 F2) 18_81 19 162 ( 1 5 F2) 18_81 19 166 ( 1 5 F2) 18_88 19 167 ( 1 5 F2) 18_87 19 167 ( 1 5 F2) 18_89 19 172 ( 1 5 F2) 18_91 19 176 ( 1 5 F2) 18_95 19 176 ( 1 5 F2) 18_96 19 177 ( 1 5 F2) 18_95 19 182 ( 1 5 F2) 18_100 19 187 ( 1 5 F2) 18_108 19 200 ( 1 5 F2) 18_119 19 208 ( 1 5 F2) 18_128 19 213 ( 1 5 F2) 18_132 19 216 ( 1 5 F2) 18_132 20 107 ( 1 5 F2) 19_49 20 116 ( 1 5 F2) 19_52 20 124 ( 1 5 F2) 19_57 20 126 ( 1 5 F2) 19_59 20 127 ( 1 5 F2) 19_58 20 132 ( 1 5 F2) 19_62 20 136 ( 1 5 F2) 19_63 20 144 ( 1 5 F2) 19_67 20 144 ( 1 5 F2) 19_68 20 147 ( 1 5 F2) 19_71 20 151 ( 1 5 F2) 19_73 20 151 ( 1 5 F2) 19_74 20 151 ( 1 5 F2) 19_75 20 156 ( 1 5 F2) 19_77 20 163 ( 1 5 F2) 19_86 20 173 ( 1 5 F2) 19_96 20 189 ( 1 5 F2) 19_110 20 194 ( 1 5 F2) 19_116 20 196 ( 1 5 F2) 19_117 20 204 ( 1 5 F2) 19_124 20 208 ( 1 5 F2) 19_127 21 85 ( 1 5 F2) 20_35 21 88 ( 1 5 F2) 20_36 21 93 ( 1 5 F2) 20_38 21 94 ( 1 5 F2) 20_38 21 96 ( 1 5 F2) 20_39 21 97 ( 1 5 F2) 20_41 21 98 ( 1 5 F2) 20_41 21 107 ( 1 5 F2) 20_45 21 117 ( 1 5 F2) 20_51 21 120 ( 1 5 F2) 20_53 21 122 ( 1 5 F2) 20_55 21 127 ( 1 5 F2) 20_56 21 140 ( 1 5 F2) 20_65 21 140 ( 1 5 F2) 20_68 21 171 ( 1 5 F2) 20_89 21 191 ( 1 5 F2) 20_109 21 194 ( 1 5 F2) 20_110 21 204 ( 1 5 F2) 20_117 21 206 ( 1 5 F2) 20_117 22 88 ( 1 5 F2) 21_38 22 100 ( 1 5 F2) 21_44 22 101 ( 1 5 F2) 21_43 22 101 ( 1 5 F2) 21_44 22 107 ( 1 5 F2) 21_47 22 118 ( 1 5 F2) 21_54 22 122 ( 1 5 F2) 21_55 22 122 ( 1 5 F2) 21_56 22 137 ( 1 5 F2) 21_65 22 137 ( 1 5 F2) 21_67 22 169 ( 1 5 F2) 21_87 22 170 ( 1 5 F2) 21_87 22 179 ( 1 5 F2) 21_95 22 180 ( 1 5 F2) 21_95 22 181 ( 1 5 F2) 21_95 22 187 ( 1 5 F2) 21_99 22 191 ( 1 5 F2) 21_102 22 193 ( 1 5 F2) 21_104 22 194 ( 1 5 F2) 21_105 22 199 ( 1 5 F2) 21_109 22 206 ( 1 5 F2) 21_115 23 94 ( 1 5 F2) 22_39 23 96 ( 1 5 F2) 22_40 23 96 ( 1 5 F2) 22_42 23 101 ( 1 5 F2) 22_45 23 107 ( 1 5 F2) 22_48 23 134 ( 1 5 F2) 22_69 23 140 ( 1 5 F2) 22_71 23 147 ( 1 5 F2) 22_75 23 148 ( 1 5 F2) 22_75 23 151 ( 1 5 F2) 22_78 23 157 ( 1 5 F2) 22_81 23 159 ( 1 5 F2) 22_85 23 167 ( 1 5 F2) 22_87 23 183 ( 1 5 F2) 22_100 23 183 ( 1 5 F2) 22_101 23 195 ( 1 5 F2) 22_108 24 91 ( 1 5 F2) 23_37 24 91 ( 1 5 F2) 23_38 24 106 ( 1 5 F2) 23_47 24 107 ( 1 5 F2) 23_47 24 133 ( 1 5 F2) 23_67 24 138 ( 1 5 F2) 23_73 24 141 ( 1 5 F2) 23_74 24 151 ( 1 5 F2) 23_80 24 173 ( 1 5 F2) 23_96 25 88 ( 1 5 F2) 24_34 25 88 ( 1 5 F2) 24_35 25 170 ( 1 5 F2) 24_91 26 86 ( 1 5 F2) 25_34 26 86 ( 1 5 F2) 25_36 26 86 ( 1 5 F2) 25_37 26 167 ( 1 5 F2) 25_88 26 169 ( 1 5 F2) 25_89 26 171 ( 1 5 F2) 25_89 27 81 ( 1 5 F2) 26_33 27 81 ( 1 5 F2) 26_34 27 81 ( 1 5 F2) 26_35 27 149 ( 1 5 F2) 26_73 28 74 ( 1 5 F2) 27_29 28 74 ( 1 5 F2) 27_30 28 74 ( 1 5 F2) 27_31 29 72 ( 1 5 F2) 28_29 30 68 ( 1 5 F2) 29_27 31 61 ( 1 5 F2) 30_22 32 58 ( 1 5 F2) 31_21 33 61 ( 1 5 F2) 32_23 34 58 ( 1 5 F2) 33_22 35 50 ( 1 5 F2) 34_18 36 45 ( 1 5 F2) 35_14 37 43 ( 1 5 F2) 36_15