; LLVM IR from tangjz/acm-icpc :: codeforces/complete/1466G.ll (Z5solvev)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.Hash2 = type { %struct.Hash, %struct.Hash }
%struct.Hash = type { i32, i32, %"class.std::vector", %"class.std::vector" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@_ZZ5solvevE3buf = external hidden global [100009 x i8], align 16
@_ZZ5solvevE3pat = external hidden global [109 x i8], align 16
@.str = external hidden unnamed_addr constant [9 x i8], align 1
@_ZZ5solvevE3pw2 = external hidden global [100009 x i32], align 16
@_ZZ5solvevE4ipw2 = external hidden global [100009 x i32], align 16
@_ZZ5solvevE3cnt = external hidden global [27 x [100009 x i32]], align 16
@_ZZ5solvevE2pL = external hidden global [500009 x i32], align 16
@_ZZ5solvevE3seq = external hidden global [500009 x i8], align 16
@_ZZ5solvevE3que = external hidden global [1000009 x i8], align 16
@.str.2 = external hidden unnamed_addr constant [5 x i8], align 1
@_ZZ5solvevE3ban = external hidden global [109 x i8], align 16
@_ZZ5solvevE3adt = external hidden global [500009 x i8], align 16
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z5solvev() #0 personality ptr @__gxx_personality_v0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca %struct.Hash2, align 8
  %16 = alloca %struct.Hash2, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca %struct.Hash2, align 8
  %20 = alloca %struct.Hash2, align 8
  %21 = alloca %struct.Hash2, align 8
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca i32, align 4
  %45 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %1) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #8
  %46 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str, ptr noundef %1, ptr noundef %2, ptr noundef @_ZZ5solvevE3pat, ptr noundef @_ZZ5solvevE3buf)
  store i32 1, ptr @_ZZ5solvevE4ipw2, align 16, !tbaa !5
  store i32 1, ptr @_ZZ5solvevE3pw2, align 16, !tbaa !5
  store i32 2, ptr getelementptr inbounds ([100009 x i32], ptr @_ZZ5solvevE3pw2, i64 0, i64 1), align 4, !tbaa !5
  store i32 500000004, ptr getelementptr inbounds ([100009 x i32], ptr @_ZZ5solvevE4ipw2, i64 0, i64 1), align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #8
  store i32 2, ptr %3, align 4, !tbaa !5
  br label %47

47:                                               ; preds = %81, %0
  %48 = load i32, ptr %3, align 4, !tbaa !5
  %49 = load i32, ptr %1, align 4, !tbaa !5
  %50 = icmp sle i32 %48, %49
  br i1 %50, label %52, label %51

51:                                               ; preds = %47
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #8
  br label %84

52:                                               ; preds = %47
  %53 = load i32, ptr %3, align 4, !tbaa !5
  %54 = sub nsw i32 %53, 1
  %55 = sext i32 %54 to i64
  %56 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE3pw2, i64 0, i64 %55
  %57 = load i32, ptr %56, align 4, !tbaa !5
  %58 = sext i32 %57 to i64
  %59 = load i32, ptr getelementptr inbounds ([100009 x i32], ptr @_ZZ5solvevE3pw2, i64 0, i64 1), align 4, !tbaa !5
  %60 = sext i32 %59 to i64
  %61 = mul nsw i64 %58, %60
  %62 = srem i64 %61, 1000000007
  %63 = trunc i64 %62 to i32
  %64 = load i32, ptr %3, align 4, !tbaa !5
  %65 = sext i32 %64 to i64
  %66 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE3pw2, i64 0, i64 %65
  store i32 %63, ptr %66, align 4, !tbaa !5
  %67 = load i32, ptr %3, align 4, !tbaa !5
  %68 = sub nsw i32 %67, 1
  %69 = sext i32 %68 to i64
  %70 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE4ipw2, i64 0, i64 %69
  %71 = load i32, ptr %70, align 4, !tbaa !5
  %72 = sext i32 %71 to i64
  %73 = load i32, ptr getelementptr inbounds ([100009 x i32], ptr @_ZZ5solvevE4ipw2, i64 0, i64 1), align 4, !tbaa !5
  %74 = sext i32 %73 to i64
  %75 = mul nsw i64 %72, %74
  %76 = srem i64 %75, 1000000007
  %77 = trunc i64 %76 to i32
  %78 = load i32, ptr %3, align 4, !tbaa !5
  %79 = sext i32 %78 to i64
  %80 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE4ipw2, i64 0, i64 %79
  store i32 %77, ptr %80, align 4, !tbaa !5
  br label %81

81:                                               ; preds = %52
  %82 = load i32, ptr %3, align 4, !tbaa !5
  %83 = add nsw i32 %82, 1
  store i32 %83, ptr %3, align 4, !tbaa !5
  br label %47, !llvm.loop !9

84:                                               ; preds = %51
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #8
  store i32 0, ptr %4, align 4, !tbaa !5
  br label %85

85:                                               ; preds = %94, %84
  %86 = load i32, ptr %4, align 4, !tbaa !5
  %87 = icmp slt i32 %86, 26
  br i1 %87, label %89, label %88

88:                                               ; preds = %85
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #8
  br label %97

89:                                               ; preds = %85
  %90 = load i32, ptr %4, align 4, !tbaa !5
  %91 = sext i32 %90 to i64
  %92 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %91
  %93 = getelementptr inbounds [100009 x i32], ptr %92, i64 0, i64 0
  store i32 0, ptr %93, align 4, !tbaa !5
  br label %94

94:                                               ; preds = %89
  %95 = load i32, ptr %4, align 4, !tbaa !5
  %96 = add nsw i32 %95, 1
  store i32 %96, ptr %4, align 4, !tbaa !5
  br label %85, !llvm.loop !11

97:                                               ; preds = %88
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #8
  store i32 1, ptr %5, align 4, !tbaa !5
  br label %98

98:                                               ; preds = %144, %97
  %99 = load i32, ptr %5, align 4, !tbaa !5
  %100 = load i32, ptr %1, align 4, !tbaa !5
  %101 = icmp sle i32 %99, %100
  br i1 %101, label %103, label %102

102:                                              ; preds = %98
  store i32 8, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #8
  br label %147

103:                                              ; preds = %98
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #8
  store i32 0, ptr %7, align 4, !tbaa !5
  br label %104

104:                                              ; preds = %123, %103
  %105 = load i32, ptr %7, align 4, !tbaa !5
  %106 = icmp slt i32 %105, 26
  br i1 %106, label %108, label %107

107:                                              ; preds = %104
  store i32 11, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #8
  br label %126

108:                                              ; preds = %104
  %109 = load i32, ptr %7, align 4, !tbaa !5
  %110 = sext i32 %109 to i64
  %111 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %110
  %112 = load i32, ptr %5, align 4, !tbaa !5
  %113 = sub nsw i32 %112, 1
  %114 = sext i32 %113 to i64
  %115 = getelementptr inbounds [100009 x i32], ptr %111, i64 0, i64 %114
  %116 = load i32, ptr %115, align 4, !tbaa !5
  %117 = load i32, ptr %7, align 4, !tbaa !5
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %118
  %120 = load i32, ptr %5, align 4, !tbaa !5
  %121 = sext i32 %120 to i64
  %122 = getelementptr inbounds [100009 x i32], ptr %119, i64 0, i64 %121
  store i32 %116, ptr %122, align 4, !tbaa !5
  br label %123

123:                                              ; preds = %108
  %124 = load i32, ptr %7, align 4, !tbaa !5
  %125 = add nsw i32 %124, 1
  store i32 %125, ptr %7, align 4, !tbaa !5
  br label %104, !llvm.loop !12

126:                                              ; preds = %107
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #8
  %127 = load i32, ptr %5, align 4, !tbaa !5
  %128 = sub nsw i32 %127, 1
  %129 = sext i32 %128 to i64
  %130 = getelementptr inbounds [100009 x i8], ptr @_ZZ5solvevE3buf, i64 0, i64 %129
  %131 = load i8, ptr %130, align 1, !tbaa !13
  %132 = sext i8 %131 to i32
  %133 = sub nsw i32 %132, 97
  store i32 %133, ptr %8, align 4, !tbaa !5
  %134 = load i32, ptr %8, align 4, !tbaa !5
  %135 = sext i32 %134 to i64
  %136 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %135
  %137 = load i32, ptr %5, align 4, !tbaa !5
  %138 = sext i32 %137 to i64
  %139 = getelementptr inbounds [100009 x i32], ptr %136, i64 0, i64 %138
  %140 = load i32, ptr %5, align 4, !tbaa !5
  %141 = sext i32 %140 to i64
  %142 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE4ipw2, i64 0, i64 %141
  %143 = load i32, ptr %142, align 4, !tbaa !5
  call void @_Z6modIncRii(ptr noundef nonnull align 4 dereferenceable(4) %139, i32 noundef %143)
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #8
  br label %144

144:                                              ; preds = %126
  %145 = load i32, ptr %5, align 4, !tbaa !5
  %146 = add nsw i32 %145, 1
  store i32 %146, ptr %5, align 4, !tbaa !5
  br label %98, !llvm.loop !14

147:                                              ; preds = %102
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #8
  %148 = call i64 @strlen(ptr noundef @_ZZ5solvevE3pat) #9
  %149 = trunc i64 %148 to i32
  store i32 %149, ptr %9, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #8
  %150 = load i32, ptr %9, align 4, !tbaa !5
  %151 = add nsw i32 %150, 1
  %152 = sdiv i32 999999, %151
  %153 = add nsw i32 %152, 1
  store i32 %153, ptr %10, align 4, !tbaa !5
  %154 = load i32, ptr %1, align 4, !tbaa !5
  %155 = icmp sle i32 %154, 20
  br i1 %155, label %156, label %162

156:                                              ; preds = %147
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #8
  %157 = load i32, ptr %1, align 4, !tbaa !5
  %158 = shl i32 1, %157
  %159 = sub nsw i32 %158, 1
  store i32 %159, ptr %11, align 4, !tbaa !5
  %160 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %10, ptr noundef nonnull align 4 dereferenceable(4) %11)
  %161 = load i32, ptr %160, align 4, !tbaa !5
  store i32 %161, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #8
  br label %162

162:                                              ; preds = %156, %147
  store i32 1, ptr @_ZZ5solvevE2pL, align 16, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #8
  store i32 1, ptr %12, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #8
  store i32 0, ptr %13, align 4, !tbaa !5
  br label %163

163:                                              ; preds = %194, %162
  %164 = load i32, ptr %12, align 4, !tbaa !5
  %165 = load i32, ptr %10, align 4, !tbaa !5
  %166 = icmp sle i32 %164, %165
  br i1 %166, label %168, label %167

167:                                              ; preds = %163
  store i32 14, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #8
  br label %197

168:                                              ; preds = %163
  br label %169

169:                                              ; preds = %175, %168
  %170 = load i32, ptr %12, align 4, !tbaa !5
  %171 = load i32, ptr %13, align 4, !tbaa !5
  %172 = shl i32 1, %171
  %173 = icmp sge i32 %170, %172
  br i1 %173, label %174, label %178

174:                                              ; preds = %169
  br label %175

175:                                              ; preds = %174
  %176 = load i32, ptr %13, align 4, !tbaa !5
  %177 = add nsw i32 %176, 1
  store i32 %177, ptr %13, align 4, !tbaa !5
  br label %169, !llvm.loop !15

178:                                              ; preds = %169
  %179 = load i32, ptr %13, align 4, !tbaa !5
  %180 = add nsw i32 %179, 1
  %181 = load i32, ptr %12, align 4, !tbaa !5
  %182 = sext i32 %181 to i64
  %183 = getelementptr inbounds [500009 x i32], ptr @_ZZ5solvevE2pL, i64 0, i64 %182
  store i32 %180, ptr %183, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #8
  %184 = load i32, ptr %12, align 4, !tbaa !5
  %185 = call i32 @llvm.cttz.i32(i32 %184, i1 true)
  store i32 %185, ptr %14, align 4, !tbaa !5
  %186 = load i32, ptr %14, align 4, !tbaa !5
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds [100009 x i8], ptr @_ZZ5solvevE3buf, i64 0, i64 %187
  %189 = load i8, ptr %188, align 1, !tbaa !13
  %190 = load i32, ptr %12, align 4, !tbaa !5
  %191 = sub nsw i32 %190, 1
  %192 = sext i32 %191 to i64
  %193 = getelementptr inbounds [500009 x i8], ptr @_ZZ5solvevE3seq, i64 0, i64 %192
  store i8 %189, ptr %193, align 1, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #8
  br label %194

194:                                              ; preds = %178
  %195 = load i32, ptr %12, align 4, !tbaa !5
  %196 = add nsw i32 %195, 1
  store i32 %196, ptr %12, align 4, !tbaa !5
  br label %163, !llvm.loop !16

197:                                              ; preds = %167
  call void @llvm.lifetime.start.p0(i64 112, ptr %15) #8
  call void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %15)
  call void @llvm.lifetime.start.p0(i64 112, ptr %16) #8
  invoke void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %16)
          to label %198 unwind label %224

198:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 112, ptr %19) #8
  invoke void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %19)
          to label %199 unwind label %228

199:                                              ; preds = %198
  call void @llvm.lifetime.start.p0(i64 112, ptr %20) #8
  invoke void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %20)
          to label %200 unwind label %232

200:                                              ; preds = %199
  call void @llvm.lifetime.start.p0(i64 112, ptr %21) #8
  invoke void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %21)
          to label %201 unwind label %236

201:                                              ; preds = %200
  %202 = load i32, ptr %9, align 4, !tbaa !5
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %15, i32 noundef %202, ptr noundef @_ZZ5solvevE3pat)
          to label %203 unwind label %240

203:                                              ; preds = %201
  %204 = load i32, ptr %1, align 4, !tbaa !5
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %19, i32 noundef %204, ptr noundef @_ZZ5solvevE3seq)
          to label %205 unwind label %240

205:                                              ; preds = %203
  br label %206

206:                                              ; preds = %641, %205
  %207 = load i32, ptr %2, align 4, !tbaa !5
  %208 = add nsw i32 %207, -1
  store i32 %208, ptr %2, align 4, !tbaa !5
  %209 = icmp ne i32 %207, 0
  br i1 %209, label %210, label %649

210:                                              ; preds = %206
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #8
  %211 = invoke i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str.2, ptr noundef %22, ptr noundef @_ZZ5solvevE3que)
          to label %212 unwind label %244

212:                                              ; preds = %210
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #8
  %213 = call i64 @strlen(ptr noundef @_ZZ5solvevE3que) #9
  %214 = trunc i64 %213 to i32
  store i32 %214, ptr %23, align 4, !tbaa !5
  %215 = load i32, ptr %9, align 4, !tbaa !5
  %216 = add nsw i32 %215, 1
  %217 = sext i32 %216 to i64
  %218 = mul i64 %217, 1
  call void @llvm.memset.p0.i64(ptr align 16 @_ZZ5solvevE3ban, i8 0, i64 %218, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #8
  store i32 0, ptr %24, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #8
  store i32 0, ptr %25, align 4, !tbaa !5
  br label %219

219:                                              ; preds = %274, %212
  %220 = load i32, ptr %24, align 4, !tbaa !5
  %221 = load i32, ptr %23, align 4, !tbaa !5
  %222 = icmp slt i32 %220, %221
  br i1 %222, label %248, label %223

223:                                              ; preds = %219
  store i32 22, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #8
  br label %276

224:                                              ; preds = %197
  %225 = landingpad { ptr, i32 }
          cleanup
  %226 = extractvalue { ptr, i32 } %225, 0
  store ptr %226, ptr %17, align 8
  %227 = extractvalue { ptr, i32 } %225, 1
  store i32 %227, ptr %18, align 4
  br label %654

228:                                              ; preds = %198
  %229 = landingpad { ptr, i32 }
          cleanup
  %230 = extractvalue { ptr, i32 } %229, 0
  store ptr %230, ptr %17, align 8
  %231 = extractvalue { ptr, i32 } %229, 1
  store i32 %231, ptr %18, align 4
  br label %653

232:                                              ; preds = %199
  %233 = landingpad { ptr, i32 }
          cleanup
  %234 = extractvalue { ptr, i32 } %233, 0
  store ptr %234, ptr %17, align 8
  %235 = extractvalue { ptr, i32 } %233, 1
  store i32 %235, ptr %18, align 4
  br label %652

236:                                              ; preds = %200
  %237 = landingpad { ptr, i32 }
          cleanup
  %238 = extractvalue { ptr, i32 } %237, 0
  store ptr %238, ptr %17, align 8
  %239 = extractvalue { ptr, i32 } %237, 1
  store i32 %239, ptr %18, align 4
  br label %651

240:                                              ; preds = %203, %201
  %241 = landingpad { ptr, i32 }
          cleanup
  %242 = extractvalue { ptr, i32 } %241, 0
  store ptr %242, ptr %17, align 8
  %243 = extractvalue { ptr, i32 } %241, 1
  store i32 %243, ptr %18, align 4
  br label %650

244:                                              ; preds = %210
  %245 = landingpad { ptr, i32 }
          cleanup
  %246 = extractvalue { ptr, i32 } %245, 0
  store ptr %246, ptr %17, align 8
  %247 = extractvalue { ptr, i32 } %245, 1
  store i32 %247, ptr %18, align 4
  br label %648

248:                                              ; preds = %219
  %249 = load i32, ptr %24, align 4, !tbaa !5
  %250 = sext i32 %249 to i64
  %251 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %250
  %252 = load i8, ptr %251, align 1, !tbaa !13
  %253 = sext i8 %252 to i32
  %254 = load i32, ptr %25, align 4, !tbaa !5
  %255 = sext i32 %254 to i64
  %256 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %255
  %257 = load i8, ptr %256, align 1, !tbaa !13
  %258 = sext i8 %257 to i32
  %259 = icmp ne i32 %253, %258
  br i1 %259, label %260, label %264

260:                                              ; preds = %248
  %261 = load i32, ptr %25, align 4, !tbaa !5
  %262 = sext i32 %261 to i64
  %263 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %262
  store i8 1, ptr %263, align 1, !tbaa !17
  br label %264

264:                                              ; preds = %260, %248
  br label %265

265:                                              ; preds = %264
  %266 = load i32, ptr %24, align 4, !tbaa !5
  %267 = add nsw i32 %266, 1
  store i32 %267, ptr %24, align 4, !tbaa !5
  %268 = load i32, ptr %25, align 4, !tbaa !5
  %269 = add nsw i32 %268, 1
  store i32 %269, ptr %25, align 4, !tbaa !5
  %270 = load i32, ptr %9, align 4, !tbaa !5
  %271 = add nsw i32 %270, 1
  %272 = icmp eq i32 %269, %271
  br i1 %272, label %273, label %274

273:                                              ; preds = %265
  store i32 0, ptr %25, align 4, !tbaa !5
  br label %274

274:                                              ; preds = %273, %265
  %275 = phi i1 [ false, %265 ], [ false, %273 ]
  br label %219, !llvm.loop !19

276:                                              ; preds = %223
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #8
  %277 = load i32, ptr %9, align 4, !tbaa !5
  %278 = add nsw i32 %277, 1
  store i32 %278, ptr %26, align 4, !tbaa !5
  %279 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %23, ptr noundef nonnull align 4 dereferenceable(4) %26)
          to label %280 unwind label %288

280:                                              ; preds = %276
  %281 = load i32, ptr %279, align 4, !tbaa !5
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %16, i32 noundef %281, ptr noundef @_ZZ5solvevE3que)
          to label %282 unwind label %288

282:                                              ; preds = %280
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #8
  store i32 0, ptr %27, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #8
  store i32 0, ptr %28, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #8
  store i32 0, ptr %29, align 4, !tbaa !5
  br label %283

283:                                              ; preds = %302, %282
  %284 = load i32, ptr %29, align 4, !tbaa !5
  %285 = load i32, ptr %9, align 4, !tbaa !5
  %286 = icmp slt i32 %284, %285
  br i1 %286, label %292, label %287

287:                                              ; preds = %283
  store i32 25, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #8
  br label %305

288:                                              ; preds = %280, %276
  %289 = landingpad { ptr, i32 }
          cleanup
  %290 = extractvalue { ptr, i32 } %289, 0
  store ptr %290, ptr %17, align 8
  %291 = extractvalue { ptr, i32 } %289, 1
  store i32 %291, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #8
  br label %647

292:                                              ; preds = %283
  %293 = load i32, ptr %29, align 4, !tbaa !5
  %294 = sext i32 %293 to i64
  %295 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %294
  %296 = load i8, ptr %295, align 1, !tbaa !17, !range !20, !noundef !21
  %297 = trunc i8 %296 to i1
  %298 = xor i1 %297, true
  %299 = zext i1 %298 to i32
  %300 = load i32, ptr %28, align 4, !tbaa !5
  %301 = add nsw i32 %300, %299
  store i32 %301, ptr %28, align 4, !tbaa !5
  br label %302

302:                                              ; preds = %292
  %303 = load i32, ptr %29, align 4, !tbaa !5
  %304 = add nsw i32 %303, 1
  store i32 %304, ptr %29, align 4, !tbaa !5
  br label %283, !llvm.loop !22

305:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #8
  store i32 0, ptr %30, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #8
  %306 = load i32, ptr %9, align 4, !tbaa !5
  %307 = sub nsw i32 %306, 1
  store i32 %307, ptr %31, align 4, !tbaa !5
  br label %308

308:                                              ; preds = %624, %305
  %309 = load i32, ptr %30, align 4, !tbaa !5
  %310 = load i32, ptr %9, align 4, !tbaa !5
  %311 = icmp sle i32 %309, %310
  br i1 %311, label %313, label %312

312:                                              ; preds = %308
  store i32 28, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #8
  br label %628

313:                                              ; preds = %308
  %314 = load i32, ptr %30, align 4, !tbaa !5
  %315 = icmp sgt i32 %314, 0
  br i1 %315, label %316, label %336

316:                                              ; preds = %313
  %317 = load i32, ptr %30, align 4, !tbaa !5
  %318 = sub nsw i32 %317, 1
  %319 = sext i32 %318 to i64
  %320 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %319
  %321 = load i8, ptr %320, align 1, !tbaa !17, !range !20, !noundef !21
  %322 = trunc i8 %321 to i1
  %323 = xor i1 %322, true
  %324 = zext i1 %323 to i32
  %325 = load i32, ptr %28, align 4, !tbaa !5
  %326 = sub nsw i32 %325, %324
  store i32 %326, ptr %28, align 4, !tbaa !5
  %327 = load i32, ptr %31, align 4, !tbaa !5
  %328 = sext i32 %327 to i64
  %329 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %328
  %330 = load i8, ptr %329, align 1, !tbaa !17, !range !20, !noundef !21
  %331 = trunc i8 %330 to i1
  %332 = xor i1 %331, true
  %333 = zext i1 %332 to i32
  %334 = load i32, ptr %28, align 4, !tbaa !5
  %335 = add nsw i32 %334, %333
  store i32 %335, ptr %28, align 4, !tbaa !5
  br label %336

336:                                              ; preds = %316, %313
  %337 = load i32, ptr %28, align 4, !tbaa !5
  %338 = load i32, ptr %9, align 4, !tbaa !5
  %339 = icmp ne i32 %337, %338
  br i1 %339, label %340, label %341

340:                                              ; preds = %336
  br label %616

341:                                              ; preds = %336
  %342 = load i32, ptr %30, align 4, !tbaa !5
  %343 = load i32, ptr %31, align 4, !tbaa !5
  %344 = icmp sle i32 %342, %343
  br i1 %344, label %345, label %380

345:                                              ; preds = %341
  %346 = load i32, ptr %30, align 4, !tbaa !5
  %347 = load i32, ptr %23, align 4, !tbaa !5
  %348 = icmp slt i32 %346, %347
  br i1 %348, label %349, label %379

349:                                              ; preds = %345
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #8
  %350 = load i32, ptr %23, align 4, !tbaa !5
  %351 = sub nsw i32 %350, 1
  store i32 %351, ptr %33, align 4, !tbaa !5
  %352 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %31, ptr noundef nonnull align 4 dereferenceable(4) %33)
          to label %353 unwind label %366

353:                                              ; preds = %349
  %354 = load i32, ptr %352, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #8
  store i32 %354, ptr %32, align 4, !tbaa !5
  %355 = load i32, ptr %32, align 4, !tbaa !5
  %356 = load i32, ptr %30, align 4, !tbaa !5
  %357 = sub nsw i32 %355, %356
  %358 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %15, i32 noundef 0, i32 noundef %357)
          to label %359 unwind label %370

359:                                              ; preds = %353
  %360 = load i32, ptr %30, align 4, !tbaa !5
  %361 = load i32, ptr %32, align 4, !tbaa !5
  %362 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %16, i32 noundef %360, i32 noundef %361)
          to label %363 unwind label %370

363:                                              ; preds = %359
  %364 = icmp ne i64 %358, %362
  br i1 %364, label %365, label %374

365:                                              ; preds = %363
  store i32 30, ptr %6, align 4
  br label %375

366:                                              ; preds = %349
  %367 = landingpad { ptr, i32 }
          cleanup
  %368 = extractvalue { ptr, i32 } %367, 0
  store ptr %368, ptr %17, align 8
  %369 = extractvalue { ptr, i32 } %367, 1
  store i32 %369, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #8
  br label %378

370:                                              ; preds = %359, %353
  %371 = landingpad { ptr, i32 }
          cleanup
  %372 = extractvalue { ptr, i32 } %371, 0
  store ptr %372, ptr %17, align 8
  %373 = extractvalue { ptr, i32 } %371, 1
  store i32 %373, ptr %18, align 4
  br label %378

374:                                              ; preds = %363
  store i32 0, ptr %6, align 4
  br label %375

375:                                              ; preds = %374, %365
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #8
  %376 = load i32, ptr %6, align 4
  switch i32 %376, label %660 [
    i32 0, label %377
    i32 30, label %616
  ]

377:                                              ; preds = %375
  br label %379

378:                                              ; preds = %370, %366
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #8
  br label %627

379:                                              ; preds = %377, %345
  br label %450

380:                                              ; preds = %341
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #8
  %381 = load i32, ptr %9, align 4, !tbaa !5
  %382 = load i32, ptr %30, align 4, !tbaa !5
  %383 = sub nsw i32 %381, %382
  %384 = add nsw i32 %383, 1
  store i32 %384, ptr %34, align 4, !tbaa !5
  %385 = load i32, ptr %30, align 4, !tbaa !5
  %386 = load i32, ptr %23, align 4, !tbaa !5
  %387 = icmp slt i32 %385, %386
  br i1 %387, label %388, label %418

388:                                              ; preds = %380
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #8
  %389 = load i32, ptr %23, align 4, !tbaa !5
  %390 = sub nsw i32 %389, 1
  store i32 %390, ptr %36, align 4, !tbaa !5
  %391 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %9, ptr noundef nonnull align 4 dereferenceable(4) %36)
          to label %392 unwind label %405

392:                                              ; preds = %388
  %393 = load i32, ptr %391, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #8
  store i32 %393, ptr %35, align 4, !tbaa !5
  %394 = load i32, ptr %35, align 4, !tbaa !5
  %395 = load i32, ptr %30, align 4, !tbaa !5
  %396 = sub nsw i32 %394, %395
  %397 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %15, i32 noundef 0, i32 noundef %396)
          to label %398 unwind label %409

398:                                              ; preds = %392
  %399 = load i32, ptr %30, align 4, !tbaa !5
  %400 = load i32, ptr %35, align 4, !tbaa !5
  %401 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %16, i32 noundef %399, i32 noundef %400)
          to label %402 unwind label %409

402:                                              ; preds = %398
  %403 = icmp ne i64 %397, %401
  br i1 %403, label %404, label %413

404:                                              ; preds = %402
  store i32 30, ptr %6, align 4
  br label %414

405:                                              ; preds = %388
  %406 = landingpad { ptr, i32 }
          cleanup
  %407 = extractvalue { ptr, i32 } %406, 0
  store ptr %407, ptr %17, align 8
  %408 = extractvalue { ptr, i32 } %406, 1
  store i32 %408, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #8
  br label %417

409:                                              ; preds = %398, %392
  %410 = landingpad { ptr, i32 }
          cleanup
  %411 = extractvalue { ptr, i32 } %410, 0
  store ptr %411, ptr %17, align 8
  %412 = extractvalue { ptr, i32 } %410, 1
  store i32 %412, ptr %18, align 4
  br label %417

413:                                              ; preds = %402
  store i32 0, ptr %6, align 4
  br label %414

414:                                              ; preds = %413, %404
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #8
  %415 = load i32, ptr %6, align 4
  switch i32 %415, label %445 [
    i32 0, label %416
  ]

416:                                              ; preds = %414
  br label %418

417:                                              ; preds = %409, %405
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #8
  br label %449

418:                                              ; preds = %416, %380
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #8
  %419 = load i32, ptr %23, align 4, !tbaa !5
  %420 = sub nsw i32 %419, 1
  store i32 %420, ptr %38, align 4, !tbaa !5
  %421 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %31, ptr noundef nonnull align 4 dereferenceable(4) %38)
          to label %422 unwind label %435

422:                                              ; preds = %418
  %423 = load i32, ptr %421, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #8
  store i32 %423, ptr %37, align 4, !tbaa !5
  %424 = load i32, ptr %34, align 4, !tbaa !5
  %425 = load i32, ptr %34, align 4, !tbaa !5
  %426 = load i32, ptr %37, align 4, !tbaa !5
  %427 = add nsw i32 %425, %426
  %428 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %15, i32 noundef %424, i32 noundef %427)
          to label %429 unwind label %439

429:                                              ; preds = %422
  %430 = load i32, ptr %37, align 4, !tbaa !5
  %431 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %16, i32 noundef 0, i32 noundef %430)
          to label %432 unwind label %439

432:                                              ; preds = %429
  %433 = icmp ne i64 %428, %431
  br i1 %433, label %434, label %443

434:                                              ; preds = %432
  store i32 30, ptr %6, align 4
  br label %444

435:                                              ; preds = %418
  %436 = landingpad { ptr, i32 }
          cleanup
  %437 = extractvalue { ptr, i32 } %436, 0
  store ptr %437, ptr %17, align 8
  %438 = extractvalue { ptr, i32 } %436, 1
  store i32 %438, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #8
  br label %448

439:                                              ; preds = %429, %422
  %440 = landingpad { ptr, i32 }
          cleanup
  %441 = extractvalue { ptr, i32 } %440, 0
  store ptr %441, ptr %17, align 8
  %442 = extractvalue { ptr, i32 } %440, 1
  store i32 %442, ptr %18, align 4
  br label %448

443:                                              ; preds = %432
  store i32 0, ptr %6, align 4
  br label %444

444:                                              ; preds = %443, %434
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #8
  br label %445

445:                                              ; preds = %444, %414
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #8
  %446 = load i32, ptr %6, align 4
  switch i32 %446, label %660 [
    i32 0, label %447
    i32 30, label %616
  ]

447:                                              ; preds = %445
  br label %450

448:                                              ; preds = %439, %435
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #8
  br label %449

449:                                              ; preds = %448, %417
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #8
  br label %627

450:                                              ; preds = %447, %379
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #8
  store i32 0, ptr %39, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #8
  %451 = load i32, ptr %30, align 4, !tbaa !5
  %452 = sub nsw i32 %451, 1
  store i32 %452, ptr %40, align 4, !tbaa !5
  br label %453

453:                                              ; preds = %471, %450
  %454 = load i32, ptr %40, align 4, !tbaa !5
  %455 = load i32, ptr %23, align 4, !tbaa !5
  %456 = icmp slt i32 %454, %455
  br i1 %456, label %458, label %457

457:                                              ; preds = %453
  store i32 31, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #8
  br label %476

458:                                              ; preds = %453
  %459 = load i32, ptr %40, align 4, !tbaa !5
  %460 = icmp sge i32 %459, 0
  br i1 %460, label %461, label %470

461:                                              ; preds = %458
  %462 = load i32, ptr %40, align 4, !tbaa !5
  %463 = sext i32 %462 to i64
  %464 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %463
  %465 = load i8, ptr %464, align 1, !tbaa !13
  %466 = load i32, ptr %39, align 4, !tbaa !5
  %467 = add nsw i32 %466, 1
  store i32 %467, ptr %39, align 4, !tbaa !5
  %468 = sext i32 %466 to i64
  %469 = getelementptr inbounds [500009 x i8], ptr @_ZZ5solvevE3adt, i64 0, i64 %468
  store i8 %465, ptr %469, align 1, !tbaa !13
  br label %470

470:                                              ; preds = %461, %458
  br label %471

471:                                              ; preds = %470
  %472 = load i32, ptr %9, align 4, !tbaa !5
  %473 = add nsw i32 %472, 1
  %474 = load i32, ptr %40, align 4, !tbaa !5
  %475 = add nsw i32 %474, %473
  store i32 %475, ptr %40, align 4, !tbaa !5
  br label %453, !llvm.loop !23

476:                                              ; preds = %457
  %477 = load i32, ptr %39, align 4, !tbaa !5
  %478 = icmp ne i32 %477, 0
  br i1 %478, label %485, label %479

479:                                              ; preds = %476
  invoke void @_Z6modIncRii(ptr noundef nonnull align 4 dereferenceable(4) %27, i32 noundef 1)
          to label %480 unwind label %481

480:                                              ; preds = %479
  store i32 30, ptr %6, align 4
  br label %613

481:                                              ; preds = %506, %504, %500, %498, %479
  %482 = landingpad { ptr, i32 }
          cleanup
  %483 = extractvalue { ptr, i32 } %482, 0
  store ptr %483, ptr %17, align 8
  %484 = extractvalue { ptr, i32 } %482, 1
  store i32 %484, ptr %18, align 4
  br label %626

485:                                              ; preds = %476
  %486 = load i32, ptr %39, align 4, !tbaa !5
  %487 = load i32, ptr %10, align 4, !tbaa !5
  %488 = icmp sgt i32 %486, %487
  br i1 %488, label %497, label %489

489:                                              ; preds = %485
  %490 = load i32, ptr %39, align 4, !tbaa !5
  %491 = ashr i32 %490, 1
  %492 = sext i32 %491 to i64
  %493 = getelementptr inbounds [500009 x i32], ptr @_ZZ5solvevE2pL, i64 0, i64 %492
  %494 = load i32, ptr %493, align 4, !tbaa !5
  %495 = load i32, ptr %22, align 4, !tbaa !5
  %496 = icmp sgt i32 %494, %495
  br i1 %496, label %497, label %498

497:                                              ; preds = %489, %485
  store i32 30, ptr %6, align 4
  br label %613

498:                                              ; preds = %489
  %499 = load i32, ptr %39, align 4, !tbaa !5
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %20, i32 noundef %499, ptr noundef @_ZZ5solvevE3adt)
          to label %500 unwind label %481

500:                                              ; preds = %498
  %501 = load i32, ptr %39, align 4, !tbaa !5
  %502 = sext i32 %501 to i64
  %503 = getelementptr inbounds i8, ptr @_ZZ5solvevE3adt, i64 %502
  invoke void @_ZSt7reverseIPcEvT_S1_(ptr noundef @_ZZ5solvevE3adt, ptr noundef %503)
          to label %504 unwind label %481

504:                                              ; preds = %500
  %505 = load i32, ptr %39, align 4, !tbaa !5
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %21, i32 noundef %505, ptr noundef @_ZZ5solvevE3adt)
          to label %506 unwind label %481

506:                                              ; preds = %504
  %507 = load i32, ptr %39, align 4, !tbaa !5
  %508 = sext i32 %507 to i64
  %509 = getelementptr inbounds i8, ptr @_ZZ5solvevE3adt, i64 %508
  invoke void @_ZSt7reverseIPcEvT_S1_(ptr noundef @_ZZ5solvevE3adt, ptr noundef %509)
          to label %510 unwind label %481

510:                                              ; preds = %506
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #8
  store i32 0, ptr %41, align 4, !tbaa !5
  br label %511

511:                                              ; preds = %604, %510
  %512 = load i32, ptr %41, align 4, !tbaa !5
  %513 = load i32, ptr %39, align 4, !tbaa !5
  %514 = icmp slt i32 %512, %513
  br i1 %514, label %516, label %515

515:                                              ; preds = %511
  store i32 34, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #8
  br label %612

516:                                              ; preds = %511
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #8
  %517 = load i32, ptr %41, align 4, !tbaa !5
  store i32 %517, ptr %42, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #8
  %518 = load i32, ptr %39, align 4, !tbaa !5
  %519 = load i32, ptr %41, align 4, !tbaa !5
  %520 = sub nsw i32 %518, %519
  %521 = sub nsw i32 %520, 1
  store i32 %521, ptr %43, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #8
  %522 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %42, ptr noundef nonnull align 4 dereferenceable(4) %43)
          to label %523 unwind label %532

523:                                              ; preds = %516
  %524 = load i32, ptr %522, align 4, !tbaa !5
  %525 = sext i32 %524 to i64
  %526 = getelementptr inbounds [500009 x i32], ptr @_ZZ5solvevE2pL, i64 0, i64 %525
  %527 = load i32, ptr %526, align 4, !tbaa !5
  store i32 %527, ptr %44, align 4, !tbaa !5
  %528 = load i32, ptr %44, align 4, !tbaa !5
  %529 = load i32, ptr %22, align 4, !tbaa !5
  %530 = icmp sgt i32 %528, %529
  br i1 %530, label %531, label %536

531:                                              ; preds = %523
  store i32 36, ptr %6, align 4
  br label %601

532:                                              ; preds = %560, %556, %543, %539, %516
  %533 = landingpad { ptr, i32 }
          cleanup
  %534 = extractvalue { ptr, i32 } %533, 0
  store ptr %534, ptr %17, align 8
  %535 = extractvalue { ptr, i32 } %533, 1
  store i32 %535, ptr %18, align 4
  br label %611

536:                                              ; preds = %523
  %537 = load i32, ptr %42, align 4, !tbaa !5
  %538 = icmp ne i32 %537, 0
  br i1 %538, label %539, label %553

539:                                              ; preds = %536
  %540 = load i32, ptr %42, align 4, !tbaa !5
  %541 = sub nsw i32 %540, 1
  %542 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %19, i32 noundef 0, i32 noundef %541)
          to label %543 unwind label %532

543:                                              ; preds = %539
  %544 = load i32, ptr %39, align 4, !tbaa !5
  %545 = load i32, ptr %41, align 4, !tbaa !5
  %546 = sub nsw i32 %544, %545
  %547 = load i32, ptr %39, align 4, !tbaa !5
  %548 = sub nsw i32 %547, 1
  %549 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %21, i32 noundef %546, i32 noundef %548)
          to label %550 unwind label %532

550:                                              ; preds = %543
  %551 = icmp ne i64 %542, %549
  br i1 %551, label %552, label %553

552:                                              ; preds = %550
  store i32 36, ptr %6, align 4
  br label %601

553:                                              ; preds = %550, %536
  %554 = load i32, ptr %43, align 4, !tbaa !5
  %555 = icmp ne i32 %554, 0
  br i1 %555, label %556, label %569

556:                                              ; preds = %553
  %557 = load i32, ptr %43, align 4, !tbaa !5
  %558 = sub nsw i32 %557, 1
  %559 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %19, i32 noundef 0, i32 noundef %558)
          to label %560 unwind label %532

560:                                              ; preds = %556
  %561 = load i32, ptr %41, align 4, !tbaa !5
  %562 = add nsw i32 %561, 1
  %563 = load i32, ptr %39, align 4, !tbaa !5
  %564 = sub nsw i32 %563, 1
  %565 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %20, i32 noundef %562, i32 noundef %564)
          to label %566 unwind label %532

566:                                              ; preds = %560
  %567 = icmp ne i64 %559, %565
  br i1 %567, label %568, label %569

568:                                              ; preds = %566
  store i32 36, ptr %6, align 4
  br label %601

569:                                              ; preds = %566, %553
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #8
  %570 = load i32, ptr %41, align 4, !tbaa !5
  %571 = sext i32 %570 to i64
  %572 = getelementptr inbounds [500009 x i8], ptr @_ZZ5solvevE3adt, i64 0, i64 %571
  %573 = load i8, ptr %572, align 1, !tbaa !13
  %574 = sext i8 %573 to i32
  %575 = sub nsw i32 %574, 97
  store i32 %575, ptr %45, align 4, !tbaa !5
  %576 = load i32, ptr %45, align 4, !tbaa !5
  %577 = sext i32 %576 to i64
  %578 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %577
  %579 = load i32, ptr %22, align 4, !tbaa !5
  %580 = sext i32 %579 to i64
  %581 = getelementptr inbounds [100009 x i32], ptr %578, i64 0, i64 %580
  %582 = load i32, ptr %581, align 4, !tbaa !5
  %583 = load i32, ptr %45, align 4, !tbaa !5
  %584 = sext i32 %583 to i64
  %585 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %584
  %586 = load i32, ptr %44, align 4, !tbaa !5
  %587 = sub nsw i32 %586, 1
  %588 = sext i32 %587 to i64
  %589 = getelementptr inbounds [100009 x i32], ptr %585, i64 0, i64 %588
  %590 = load i32, ptr %589, align 4, !tbaa !5
  %591 = sub nsw i32 %582, %590
  invoke void @_Z6modIncRii(ptr noundef nonnull align 4 dereferenceable(4) %27, i32 noundef %591)
          to label %592 unwind label %607

592:                                              ; preds = %569
  %593 = load i32, ptr %27, align 4, !tbaa !5
  %594 = icmp slt i32 %593, 0
  br i1 %594, label %595, label %599

595:                                              ; preds = %592
  %596 = load i32, ptr %27, align 4, !tbaa !5
  %597 = add nsw i32 %596, 1000000007
  store i32 %597, ptr %27, align 4, !tbaa !5
  %598 = icmp ne i32 %597, 0
  br label %599

599:                                              ; preds = %595, %592
  %600 = phi i1 [ false, %592 ], [ %598, %595 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #8
  store i32 0, ptr %6, align 4
  br label %601

601:                                              ; preds = %599, %568, %552, %531
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #8
  %602 = load i32, ptr %6, align 4
  switch i32 %602, label %660 [
    i32 0, label %603
    i32 36, label %604
  ]

603:                                              ; preds = %601
  br label %604

604:                                              ; preds = %603, %601
  %605 = load i32, ptr %41, align 4, !tbaa !5
  %606 = add nsw i32 %605, 1
  store i32 %606, ptr %41, align 4, !tbaa !5
  br label %511, !llvm.loop !24

607:                                              ; preds = %569
  %608 = landingpad { ptr, i32 }
          cleanup
  %609 = extractvalue { ptr, i32 } %608, 0
  store ptr %609, ptr %17, align 8
  %610 = extractvalue { ptr, i32 } %608, 1
  store i32 %610, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #8
  br label %611

611:                                              ; preds = %607, %532
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #8
  br label %626

612:                                              ; preds = %515
  store i32 0, ptr %6, align 4
  br label %613

613:                                              ; preds = %612, %497, %480
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #8
  %614 = load i32, ptr %6, align 4
  switch i32 %614, label %660 [
    i32 0, label %615
    i32 30, label %616
  ]

615:                                              ; preds = %613
  br label %616

616:                                              ; preds = %615, %613, %445, %375, %340
  %617 = load i32, ptr %30, align 4, !tbaa !5
  %618 = add nsw i32 %617, 1
  store i32 %618, ptr %30, align 4, !tbaa !5
  %619 = load i32, ptr %31, align 4, !tbaa !5
  %620 = add nsw i32 %619, 1
  store i32 %620, ptr %31, align 4, !tbaa !5
  %621 = load i32, ptr %9, align 4, !tbaa !5
  %622 = icmp sgt i32 %620, %621
  br i1 %622, label %623, label %624

623:                                              ; preds = %616
  store i32 0, ptr %31, align 4, !tbaa !5
  br label %624

624:                                              ; preds = %623, %616
  %625 = phi i1 [ false, %616 ], [ false, %623 ]
  br label %308, !llvm.loop !25

626:                                              ; preds = %611, %481
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #8
  br label %627

627:                                              ; preds = %626, %449, %378
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #8
  br label %646

628:                                              ; preds = %312
  %629 = load i32, ptr %27, align 4, !tbaa !5
  %630 = sext i32 %629 to i64
  %631 = load i32, ptr %22, align 4, !tbaa !5
  %632 = sext i32 %631 to i64
  %633 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE3pw2, i64 0, i64 %632
  %634 = load i32, ptr %633, align 4, !tbaa !5
  %635 = sext i32 %634 to i64
  %636 = mul nsw i64 %630, %635
  %637 = srem i64 %636, 1000000007
  %638 = trunc i64 %637 to i32
  store i32 %638, ptr %27, align 4, !tbaa !5
  %639 = load i32, ptr %27, align 4, !tbaa !5
  %640 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.3, i32 noundef %639)
          to label %641 unwind label %642

641:                                              ; preds = %628
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #8
  br label %206, !llvm.loop !26

642:                                              ; preds = %628
  %643 = landingpad { ptr, i32 }
          cleanup
  %644 = extractvalue { ptr, i32 } %643, 0
  store ptr %644, ptr %17, align 8
  %645 = extractvalue { ptr, i32 } %643, 1
  store i32 %645, ptr %18, align 4
  br label %646

646:                                              ; preds = %642, %627
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  br label %647

647:                                              ; preds = %646, %288
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #8
  br label %648

648:                                              ; preds = %647, %244
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #8
  br label %650

649:                                              ; preds = %206
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %21) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr %21) #8
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %20) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr %20) #8
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %19) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr %19) #8
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %16) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr %16) #8
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %15) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #8
  ret void

650:                                              ; preds = %648, %240
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %21) #8
  br label %651

651:                                              ; preds = %650, %236
  call void @llvm.lifetime.end.p0(i64 112, ptr %21) #8
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %20) #8
  br label %652

652:                                              ; preds = %651, %232
  call void @llvm.lifetime.end.p0(i64 112, ptr %20) #8
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %19) #8
  br label %653

653:                                              ; preds = %652, %228
  call void @llvm.lifetime.end.p0(i64 112, ptr %19) #8
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %16) #8
  br label %654

654:                                              ; preds = %653, %224
  call void @llvm.lifetime.end.p0(i64 112, ptr %16) #8
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %15) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #8
  br label %655

655:                                              ; preds = %654
  %656 = load ptr, ptr %17, align 8
  %657 = load i32, ptr %18, align 4
  %658 = insertvalue { ptr, i32 } poison, ptr %656, 0
  %659 = insertvalue { ptr, i32 } %658, i32 %657, 1
  resume { ptr, i32 } %659

660:                                              ; preds = %613, %601, %445, %375
  unreachable
}

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1

declare i32 @__isoc99_scanf(ptr noundef, ...) #2

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_Z6modIncRii(ptr noundef nonnull align 4 dereferenceable(4), i32 noundef) #3

; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #3

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.cttz.i32(i32, i1 immarg) #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112)) unnamed_addr #0 align 2

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112), i32 noundef, ptr noundef) #0 align 2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #6

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112), i32 noundef, i32 noundef) #0 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt7reverseIPcEvT_S1_(ptr noundef, ptr noundef) #7

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #3

declare i32 @printf(ptr noundef, ...) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112)) unnamed_addr #3 align 2

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind willreturn memory(read) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #7 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nounwind }
attributes #9 = { nounwind willreturn memory(read) }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10}
!13 = !{!7, !7, i64 0}
!14 = distinct !{!14, !10}
!15 = distinct !{!15, !10}
!16 = distinct !{!16, !10}
!17 = !{!18, !18, i64 0}
!18 = !{!"bool", !7, i64 0}
!19 = distinct !{!19, !10}
!20 = !{i8 0, i8 2}
!21 = !{}
!22 = distinct !{!22, !10}
!23 = distinct !{!23, !10}
!24 = distinct !{!24, !10}
!25 = distinct !{!25, !10}
!26 = distinct !{!26, !10}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.Hash2 = type { %struct.Hash, %struct.Hash }
%struct.Hash = type { i32, i32, %"class.std::vector", %"class.std::vector" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@_ZZ5solvevE3buf = external hidden global [100009 x i8], align 16
@_ZZ5solvevE3pat = external hidden global [109 x i8], align 16
@.str = external hidden unnamed_addr constant [9 x i8], align 1
@_ZZ5solvevE3pw2 = external hidden local_unnamed_addr global [100009 x i32], align 16
@_ZZ5solvevE4ipw2 = external hidden local_unnamed_addr global [100009 x i32], align 16
@_ZZ5solvevE3cnt = external hidden global [27 x [100009 x i32]], align 16
@_ZZ5solvevE2pL = external hidden local_unnamed_addr global [500009 x i32], align 16
@_ZZ5solvevE3seq = external hidden global [500009 x i8], align 16
@_ZZ5solvevE3que = external hidden global [1000009 x i8], align 16
@.str.2 = external hidden unnamed_addr constant [5 x i8], align 1
@_ZZ5solvevE3ban = external hidden local_unnamed_addr global [109 x i8], align 16
@_ZZ5solvevE3adt = external hidden global [500009 x i8], align 16
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z5solvev() local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca %struct.Hash2, align 8
  %7 = alloca %struct.Hash2, align 8
  %8 = alloca %struct.Hash2, align 8
  %9 = alloca %struct.Hash2, align 8
  %10 = alloca %struct.Hash2, align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #9
  %21 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str, ptr noundef nonnull %1, ptr noundef nonnull %2, ptr noundef nonnull @_ZZ5solvevE3pat, ptr noundef nonnull @_ZZ5solvevE3buf)
  store i32 1, ptr @_ZZ5solvevE4ipw2, align 16, !tbaa !5
  store i32 1, ptr @_ZZ5solvevE3pw2, align 16, !tbaa !5
  store i32 2, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3pw2, i64 4), align 4, !tbaa !5
  store i32 500000004, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE4ipw2, i64 4), align 4, !tbaa !5
  %22 = load i32, ptr %1, align 4, !tbaa !5
  %.not175 = icmp slt i32 %22, 2
  br i1 %.not175, label %.preheader173, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %0
  %23 = add nuw i32 %22, 1
  %wide.trip.count = zext i32 %23 to i64
  br label %.lr.ph

.preheader173:                                    ; preds = %.lr.ph, %0
  store i32 0, ptr @_ZZ5solvevE3cnt, align 16, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 400036), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 800072), align 8, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 1200108), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 1600144), align 16, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 2000180), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 2400216), align 8, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 2800252), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 3200288), align 16, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 3600324), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 4000360), align 8, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 4400396), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 4800432), align 16, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 5200468), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 5600504), align 8, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 6000540), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 6400576), align 16, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 6800612), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 7200648), align 8, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 7600684), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 8000720), align 16, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 8400756), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 8800792), align 8, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 9200828), align 4, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 9600864), align 16, !tbaa !5
  store i32 0, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3cnt, i64 10000900), align 4, !tbaa !5
  %.not134179 = icmp slt i32 %22, 1
  br i1 %.not134179, label %._crit_edge, label %.preheader171

.lr.ph:                                           ; preds = %.lr.ph.preheader, %.lr.ph
  %24 = phi i64 [ 500000004, %.lr.ph.preheader ], [ %35, %.lr.ph ]
  %25 = phi i64 [ 2, %.lr.ph.preheader ], [ %29, %.lr.ph ]
  %indvars.iv = phi i64 [ 2, %.lr.ph.preheader ], [ %indvars.iv.next, %.lr.ph ]
  %26 = load i32, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3pw2, i64 4), align 4, !tbaa !5
  %27 = sext i32 %26 to i64
  %28 = mul nsw i64 %25, %27
  %29 = srem i64 %28, 1000000007
  %30 = trunc nsw i64 %29 to i32
  %31 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE3pw2, i64 0, i64 %indvars.iv
  store i32 %30, ptr %31, align 4, !tbaa !5
  %32 = load i32, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE4ipw2, i64 4), align 4, !tbaa !5
  %33 = sext i32 %32 to i64
  %34 = mul nsw i64 %24, %33
  %35 = srem i64 %34, 1000000007
  %36 = trunc nsw i64 %35 to i32
  %37 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE4ipw2, i64 0, i64 %indvars.iv
  store i32 %36, ptr %37, align 4, !tbaa !5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %.preheader173, label %.lr.ph, !llvm.loop !9

.preheader171:                                    ; preds = %.preheader173, %.preheader171
  %indvars.iv224 = phi i64 [ %indvars.iv.next225, %.preheader171 ], [ 1, %.preheader173 ]
  %38 = add nsw i64 %indvars.iv224, -1
  %39 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 0, i64 %38
  %40 = load i32, ptr %39, align 4, !tbaa !5
  %41 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 0, i64 %indvars.iv224
  store i32 %40, ptr %41, align 4, !tbaa !5
  %42 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 1, i64 %38
  %43 = load i32, ptr %42, align 4, !tbaa !5
  %44 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 1, i64 %indvars.iv224
  store i32 %43, ptr %44, align 4, !tbaa !5
  %45 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 2, i64 %38
  %46 = load i32, ptr %45, align 4, !tbaa !5
  %47 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 2, i64 %indvars.iv224
  store i32 %46, ptr %47, align 4, !tbaa !5
  %48 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 3, i64 %38
  %49 = load i32, ptr %48, align 4, !tbaa !5
  %50 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 3, i64 %indvars.iv224
  store i32 %49, ptr %50, align 4, !tbaa !5
  %51 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 4, i64 %38
  %52 = load i32, ptr %51, align 4, !tbaa !5
  %53 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 4, i64 %indvars.iv224
  store i32 %52, ptr %53, align 4, !tbaa !5
  %54 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 5, i64 %38
  %55 = load i32, ptr %54, align 4, !tbaa !5
  %56 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 5, i64 %indvars.iv224
  store i32 %55, ptr %56, align 4, !tbaa !5
  %57 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 6, i64 %38
  %58 = load i32, ptr %57, align 4, !tbaa !5
  %59 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 6, i64 %indvars.iv224
  store i32 %58, ptr %59, align 4, !tbaa !5
  %60 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 7, i64 %38
  %61 = load i32, ptr %60, align 4, !tbaa !5
  %62 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 7, i64 %indvars.iv224
  store i32 %61, ptr %62, align 4, !tbaa !5
  %63 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 8, i64 %38
  %64 = load i32, ptr %63, align 4, !tbaa !5
  %65 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 8, i64 %indvars.iv224
  store i32 %64, ptr %65, align 4, !tbaa !5
  %66 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 9, i64 %38
  %67 = load i32, ptr %66, align 4, !tbaa !5
  %68 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 9, i64 %indvars.iv224
  store i32 %67, ptr %68, align 4, !tbaa !5
  %69 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 10, i64 %38
  %70 = load i32, ptr %69, align 4, !tbaa !5
  %71 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 10, i64 %indvars.iv224
  store i32 %70, ptr %71, align 4, !tbaa !5
  %72 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 11, i64 %38
  %73 = load i32, ptr %72, align 4, !tbaa !5
  %74 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 11, i64 %indvars.iv224
  store i32 %73, ptr %74, align 4, !tbaa !5
  %75 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 12, i64 %38
  %76 = load i32, ptr %75, align 4, !tbaa !5
  %77 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 12, i64 %indvars.iv224
  store i32 %76, ptr %77, align 4, !tbaa !5
  %78 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 13, i64 %38
  %79 = load i32, ptr %78, align 4, !tbaa !5
  %80 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 13, i64 %indvars.iv224
  store i32 %79, ptr %80, align 4, !tbaa !5
  %81 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 14, i64 %38
  %82 = load i32, ptr %81, align 4, !tbaa !5
  %83 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 14, i64 %indvars.iv224
  store i32 %82, ptr %83, align 4, !tbaa !5
  %84 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 15, i64 %38
  %85 = load i32, ptr %84, align 4, !tbaa !5
  %86 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 15, i64 %indvars.iv224
  store i32 %85, ptr %86, align 4, !tbaa !5
  %87 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 16, i64 %38
  %88 = load i32, ptr %87, align 4, !tbaa !5
  %89 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 16, i64 %indvars.iv224
  store i32 %88, ptr %89, align 4, !tbaa !5
  %90 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 17, i64 %38
  %91 = load i32, ptr %90, align 4, !tbaa !5
  %92 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 17, i64 %indvars.iv224
  store i32 %91, ptr %92, align 4, !tbaa !5
  %93 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 18, i64 %38
  %94 = load i32, ptr %93, align 4, !tbaa !5
  %95 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 18, i64 %indvars.iv224
  store i32 %94, ptr %95, align 4, !tbaa !5
  %96 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 19, i64 %38
  %97 = load i32, ptr %96, align 4, !tbaa !5
  %98 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 19, i64 %indvars.iv224
  store i32 %97, ptr %98, align 4, !tbaa !5
  %99 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 20, i64 %38
  %100 = load i32, ptr %99, align 4, !tbaa !5
  %101 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 20, i64 %indvars.iv224
  store i32 %100, ptr %101, align 4, !tbaa !5
  %102 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 21, i64 %38
  %103 = load i32, ptr %102, align 4, !tbaa !5
  %104 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 21, i64 %indvars.iv224
  store i32 %103, ptr %104, align 4, !tbaa !5
  %105 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 22, i64 %38
  %106 = load i32, ptr %105, align 4, !tbaa !5
  %107 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 22, i64 %indvars.iv224
  store i32 %106, ptr %107, align 4, !tbaa !5
  %108 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 23, i64 %38
  %109 = load i32, ptr %108, align 4, !tbaa !5
  %110 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 23, i64 %indvars.iv224
  store i32 %109, ptr %110, align 4, !tbaa !5
  %111 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 24, i64 %38
  %112 = load i32, ptr %111, align 4, !tbaa !5
  %113 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 24, i64 %indvars.iv224
  store i32 %112, ptr %113, align 4, !tbaa !5
  %114 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 25, i64 %38
  %115 = load i32, ptr %114, align 4, !tbaa !5
  %116 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 25, i64 %indvars.iv224
  store i32 %115, ptr %116, align 4, !tbaa !5
  %117 = getelementptr inbounds [100009 x i8], ptr @_ZZ5solvevE3buf, i64 0, i64 %38
  %118 = load i8, ptr %117, align 1, !tbaa !11
  %119 = sext i8 %118 to i64
  %120 = add nsw i64 %119, -97
  %121 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %120, i64 %indvars.iv224
  %122 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE4ipw2, i64 0, i64 %indvars.iv224
  %123 = load i32, ptr %122, align 4, !tbaa !5
  call void @_Z6modIncRii(ptr noundef nonnull align 4 dereferenceable(4) %121, i32 noundef %123)
  %indvars.iv.next225 = add nuw nsw i64 %indvars.iv224, 1
  %124 = load i32, ptr %1, align 4, !tbaa !5
  %125 = sext i32 %124 to i64
  %.not134.not = icmp slt i64 %indvars.iv224, %125
  br i1 %.not134.not, label %.preheader171, label %._crit_edge, !llvm.loop !12

._crit_edge:                                      ; preds = %.preheader171, %.preheader173
  %.lcssa174 = phi i32 [ %22, %.preheader173 ], [ %124, %.preheader171 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #9
  %126 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) @_ZZ5solvevE3pat) #10
  %127 = trunc i64 %126 to i32
  store i32 %127, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #9
  %128 = add nsw i32 %127, 1
  %129 = sdiv i32 999999, %128
  %130 = add nsw i32 %129, 1
  store i32 %130, ptr %4, align 4, !tbaa !5
  %131 = icmp slt i32 %.lcssa174, 21
  br i1 %131, label %132, label %136

132:                                              ; preds = %._crit_edge
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #9
  %notmask = shl nsw i32 -1, %.lcssa174
  %133 = xor i32 %notmask, -1
  store i32 %133, ptr %5, align 4, !tbaa !5
  %134 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %4, ptr noundef nonnull align 4 dereferenceable(4) %5)
  %135 = load i32, ptr %134, align 4, !tbaa !5
  store i32 %135, ptr %4, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #9
  br label %136

136:                                              ; preds = %132, %._crit_edge
  %137 = phi i32 [ %135, %132 ], [ %130, %._crit_edge ]
  store i32 1, ptr @_ZZ5solvevE2pL, align 16, !tbaa !5
  %.not135181 = icmp slt i32 %137, 1
  br i1 %.not135181, label %._crit_edge184, label %.preheader170.preheader

.preheader170.preheader:                          ; preds = %136
  %138 = add nuw i32 %137, 1
  %wide.trip.count230 = zext i32 %138 to i64
  br label %.preheader170

.preheader170:                                    ; preds = %.preheader170.preheader, %143
  %indvars.iv227 = phi i64 [ 1, %.preheader170.preheader ], [ %indvars.iv.next228, %143 ]
  %.0127182 = phi i32 [ 0, %.preheader170.preheader ], [ %.1128, %143 ]
  br label %139

._crit_edge184:                                   ; preds = %143, %136
  call void @llvm.lifetime.start.p0(i64 112, ptr nonnull %6) #9
  call void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %6)
  call void @llvm.lifetime.start.p0(i64 112, ptr nonnull %7) #9
  invoke void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %7)
          to label %152 unwind label %178

139:                                              ; preds = %139, %.preheader170
  %.1128 = phi i32 [ %142, %139 ], [ %.0127182, %.preheader170 ]
  %140 = shl nuw i32 1, %.1128
  %141 = sext i32 %140 to i64
  %.not161 = icmp slt i64 %indvars.iv227, %141
  %142 = add nsw i32 %.1128, 1
  br i1 %.not161, label %143, label %139, !llvm.loop !13

143:                                              ; preds = %139
  %144 = getelementptr inbounds [500009 x i32], ptr @_ZZ5solvevE2pL, i64 0, i64 %indvars.iv227
  store i32 %142, ptr %144, align 4, !tbaa !5
  %145 = trunc nuw nsw i64 %indvars.iv227 to i32
  %146 = call range(i32 0, 33) i32 @llvm.cttz.i32(i32 %145, i1 true)
  %147 = zext nneg i32 %146 to i64
  %148 = getelementptr inbounds [100009 x i8], ptr @_ZZ5solvevE3buf, i64 0, i64 %147
  %149 = load i8, ptr %148, align 1, !tbaa !11
  %150 = add nsw i64 %indvars.iv227, -1
  %151 = getelementptr inbounds [500009 x i8], ptr @_ZZ5solvevE3seq, i64 0, i64 %150
  store i8 %149, ptr %151, align 1, !tbaa !11
  %indvars.iv.next228 = add nuw nsw i64 %indvars.iv227, 1
  %exitcond231.not = icmp eq i64 %indvars.iv.next228, %wide.trip.count230
  br i1 %exitcond231.not, label %._crit_edge184, label %.preheader170, !llvm.loop !14

152:                                              ; preds = %._crit_edge184
  call void @llvm.lifetime.start.p0(i64 112, ptr nonnull %8) #9
  invoke void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %8)
          to label %153 unwind label %180

153:                                              ; preds = %152
  call void @llvm.lifetime.start.p0(i64 112, ptr nonnull %9) #9
  invoke void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %9)
          to label %154 unwind label %182

154:                                              ; preds = %153
  call void @llvm.lifetime.start.p0(i64 112, ptr nonnull %10) #9
  invoke void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112) %10)
          to label %155 unwind label %184

155:                                              ; preds = %154
  %156 = load i32, ptr %3, align 4, !tbaa !5
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %6, i32 noundef %156, ptr noundef nonnull @_ZZ5solvevE3pat)
          to label %157 unwind label %186

157:                                              ; preds = %155
  %158 = load i32, ptr %1, align 4, !tbaa !5
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %8, i32 noundef %158, ptr noundef nonnull @_ZZ5solvevE3seq)
          to label %.preheader169 unwind label %186

.preheader169:                                    ; preds = %157
  %159 = load i32, ptr %2, align 4, !tbaa !5
  %160 = add nsw i32 %159, -1
  store i32 %160, ptr %2, align 4, !tbaa !5
  %.not136211 = icmp eq i32 %159, 0
  br i1 %.not136211, label %._crit_edge213, label %.lr.ph212

.lr.ph212:                                        ; preds = %.preheader169, %._crit_edge210
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #9
  %161 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str.2, ptr noundef nonnull %11, ptr noundef nonnull @_ZZ5solvevE3que)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #9
  %162 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) @_ZZ5solvevE3que) #10
  %163 = trunc i64 %162 to i32
  store i32 %163, ptr %12, align 4, !tbaa !5
  %164 = load i32, ptr %3, align 4, !tbaa !5
  %165 = add nsw i32 %164, 1
  %166 = sext i32 %165 to i64
  call void @llvm.memset.p0.i64(ptr nonnull align 16 @_ZZ5solvevE3ban, i8 0, i64 %166, i1 false)
  %167 = icmp sgt i32 %163, 0
  br i1 %167, label %.lr.ph188.preheader, label %._crit_edge189

.lr.ph188.preheader:                              ; preds = %.lr.ph212
  %wide.trip.count235 = and i64 %162, 2147483647
  %xtraiter = and i64 %162, 1
  %168 = icmp eq i64 %wide.trip.count235, 1
  br i1 %168, label %._crit_edge189.loopexit.unr-lcssa, label %.lr.ph188.preheader.new

.lr.ph188.preheader.new:                          ; preds = %.lr.ph188.preheader
  %unroll_iter = sub nsw i64 %wide.trip.count235, %xtraiter
  br label %.lr.ph188

._crit_edge189.loopexit.unr-lcssa:                ; preds = %204, %.lr.ph188.preheader
  %indvars.iv232.unr = phi i64 [ 0, %.lr.ph188.preheader ], [ %indvars.iv.next233.1, %204 ]
  %.0112186.unr = phi i32 [ 0, %.lr.ph188.preheader ], [ %spec.store.select.1, %204 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge189, label %.lr.ph188.epil

.lr.ph188.epil:                                   ; preds = %._crit_edge189.loopexit.unr-lcssa
  %169 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %indvars.iv232.unr
  %170 = load i8, ptr %169, align 1, !tbaa !11
  %171 = sext i32 %.0112186.unr to i64
  %172 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %171
  %173 = load i8, ptr %172, align 1, !tbaa !11
  %.not160.epil = icmp eq i8 %170, %173
  br i1 %.not160.epil, label %._crit_edge189, label %174

174:                                              ; preds = %.lr.ph188.epil
  %175 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %171
  store i8 1, ptr %175, align 1, !tbaa !15
  br label %._crit_edge189

._crit_edge189:                                   ; preds = %._crit_edge189.loopexit.unr-lcssa, %174, %.lr.ph188.epil, %.lr.ph212
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #9
  store i32 %165, ptr %13, align 4, !tbaa !5
  %176 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %12, ptr noundef nonnull align 4 dereferenceable(4) %13)
  %177 = load i32, ptr %176, align 4, !tbaa !5
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %7, i32 noundef %177, ptr noundef nonnull @_ZZ5solvevE3que)
          to label %207 unwind label %221

178:                                              ; preds = %._crit_edge184
  %179 = landingpad { ptr, i32 }
          cleanup
  br label %404

180:                                              ; preds = %152
  %181 = landingpad { ptr, i32 }
          cleanup
  br label %403

182:                                              ; preds = %153
  %183 = landingpad { ptr, i32 }
          cleanup
  br label %402

184:                                              ; preds = %154
  %185 = landingpad { ptr, i32 }
          cleanup
  br label %401

186:                                              ; preds = %157, %155
  %187 = landingpad { ptr, i32 }
          cleanup
  br label %400

.lr.ph188:                                        ; preds = %204, %.lr.ph188.preheader.new
  %indvars.iv232 = phi i64 [ 0, %.lr.ph188.preheader.new ], [ %indvars.iv.next233.1, %204 ]
  %.0112186 = phi i32 [ 0, %.lr.ph188.preheader.new ], [ %spec.store.select.1, %204 ]
  %niter = phi i64 [ 0, %.lr.ph188.preheader.new ], [ %niter.next.1, %204 ]
  %188 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %indvars.iv232
  %189 = load i8, ptr %188, align 2, !tbaa !11
  %190 = sext i32 %.0112186 to i64
  %191 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %190
  %192 = load i8, ptr %191, align 1, !tbaa !11
  %.not160 = icmp eq i8 %189, %192
  br i1 %.not160, label %.lr.ph188.1, label %193

193:                                              ; preds = %.lr.ph188
  %194 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %190
  store i8 1, ptr %194, align 1, !tbaa !15
  br label %.lr.ph188.1

.lr.ph188.1:                                      ; preds = %.lr.ph188, %193
  %indvars.iv.next233 = or disjoint i64 %indvars.iv232, 1
  %195 = add nsw i32 %.0112186, 1
  %196 = icmp eq i32 %.0112186, %164
  %spec.store.select = select i1 %196, i32 0, i32 %195
  %197 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %indvars.iv.next233
  %198 = load i8, ptr %197, align 1, !tbaa !11
  %199 = sext i32 %spec.store.select to i64
  %200 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %199
  %201 = load i8, ptr %200, align 1, !tbaa !11
  %.not160.1 = icmp eq i8 %198, %201
  br i1 %.not160.1, label %204, label %202

202:                                              ; preds = %.lr.ph188.1
  %203 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %199
  store i8 1, ptr %203, align 1, !tbaa !15
  br label %204

204:                                              ; preds = %202, %.lr.ph188.1
  %indvars.iv.next233.1 = add nuw nsw i64 %indvars.iv232, 2
  %205 = add nsw i32 %spec.store.select, 1
  %206 = icmp eq i32 %spec.store.select, %164
  %spec.store.select.1 = select i1 %206, i32 0, i32 %205
  %niter.next.1 = add i64 %niter, 2
  %niter.ncmp.1 = icmp eq i64 %niter.next.1, %unroll_iter
  br i1 %niter.ncmp.1, label %._crit_edge189.loopexit.unr-lcssa, label %.lr.ph188, !llvm.loop !17

207:                                              ; preds = %._crit_edge189
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %14) #9
  store i32 0, ptr %14, align 4, !tbaa !5
  %208 = load i32, ptr %3, align 4, !tbaa !5
  %209 = icmp sgt i32 %208, 0
  br i1 %209, label %.lr.ph193.preheader, label %._crit_edge194

.lr.ph193.preheader:                              ; preds = %207
  %wide.trip.count240 = zext nneg i32 %208 to i64
  %min.iters.check = icmp ult i32 %208, 8
  br i1 %min.iters.check, label %.lr.ph193.preheader260, label %vector.ph

.lr.ph193.preheader260:                           ; preds = %middle.block, %.lr.ph193.preheader
  %indvars.iv237.ph = phi i64 [ 0, %.lr.ph193.preheader ], [ %n.vec, %middle.block ]
  %.0109190.ph = phi i32 [ 0, %.lr.ph193.preheader ], [ %219, %middle.block ]
  br label %.lr.ph193

vector.ph:                                        ; preds = %.lr.ph193.preheader
  %n.vec = and i64 %wide.trip.count240, 2147483640
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %vec.phi = phi <4 x i32> [ zeroinitializer, %vector.ph ], [ %216, %vector.body ]
  %vec.phi258 = phi <4 x i32> [ zeroinitializer, %vector.ph ], [ %217, %vector.body ]
  %210 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %index
  %211 = getelementptr inbounds i8, ptr %210, i64 4
  %wide.load = load <4 x i8>, ptr %210, align 8, !tbaa !15
  %wide.load259 = load <4 x i8>, ptr %211, align 4, !tbaa !15
  %212 = xor <4 x i8> %wide.load, <i8 1, i8 1, i8 1, i8 1>
  %213 = xor <4 x i8> %wide.load259, <i8 1, i8 1, i8 1, i8 1>
  %214 = zext <4 x i8> %212 to <4 x i32>
  %215 = zext <4 x i8> %213 to <4 x i32>
  %216 = add <4 x i32> %vec.phi, %214
  %217 = add <4 x i32> %vec.phi258, %215
  %index.next = add nuw i64 %index, 8
  %218 = icmp eq i64 %index.next, %n.vec
  br i1 %218, label %middle.block, label %vector.body, !llvm.loop !18

middle.block:                                     ; preds = %vector.body
  %bin.rdx = add <4 x i32> %217, %216
  %219 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %bin.rdx)
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count240
  br i1 %cmp.n, label %._crit_edge194, label %.lr.ph193.preheader260

._crit_edge194:                                   ; preds = %.lr.ph193, %middle.block, %207
  %.0109.lcssa = phi i32 [ 0, %207 ], [ %219, %middle.block ], [ %227, %.lr.ph193 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #9
  %220 = add nsw i32 %208, -1
  store i32 %220, ptr %15, align 4
  %.not137204 = icmp slt i32 %208, 0
  br i1 %.not137204, label %._crit_edge210, label %.lr.ph209

221:                                              ; preds = %._crit_edge189
  %222 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #9
  br label %399

.lr.ph193:                                        ; preds = %.lr.ph193.preheader260, %.lr.ph193
  %indvars.iv237 = phi i64 [ %indvars.iv.next238, %.lr.ph193 ], [ %indvars.iv237.ph, %.lr.ph193.preheader260 ]
  %.0109190 = phi i32 [ %227, %.lr.ph193 ], [ %.0109190.ph, %.lr.ph193.preheader260 ]
  %223 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %indvars.iv237
  %224 = load i8, ptr %223, align 1, !tbaa !15, !range !21, !noundef !22
  %225 = xor i8 %224, 1
  %226 = zext nneg i8 %225 to i32
  %227 = add nuw nsw i32 %.0109190, %226
  %indvars.iv.next238 = add nuw nsw i64 %indvars.iv237, 1
  %exitcond241.not = icmp eq i64 %indvars.iv.next238, %wide.trip.count240
  br i1 %exitcond241.not, label %._crit_edge194, label %.lr.ph193, !llvm.loop !23

._crit_edge210.loopexit:                          ; preds = %.thread166
  %.pre251 = load i32, ptr %14, align 4, !tbaa !5
  br label %._crit_edge210

._crit_edge210:                                   ; preds = %._crit_edge210.loopexit, %._crit_edge194
  %228 = phi i32 [ %.pre251, %._crit_edge210.loopexit ], [ 0, %._crit_edge194 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #9
  %229 = sext i32 %228 to i64
  %230 = load i32, ptr %11, align 4, !tbaa !5
  %231 = sext i32 %230 to i64
  %232 = getelementptr inbounds [100009 x i32], ptr @_ZZ5solvevE3pw2, i64 0, i64 %231
  %233 = load i32, ptr %232, align 4, !tbaa !5
  %234 = sext i32 %233 to i64
  %235 = mul nsw i64 %234, %229
  %236 = srem i64 %235, 1000000007
  %237 = trunc nsw i64 %236 to i32
  store i32 %237, ptr %14, align 4, !tbaa !5
  %238 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.3, i32 noundef %237)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #9
  %239 = load i32, ptr %2, align 4, !tbaa !5
  %240 = add nsw i32 %239, -1
  store i32 %240, ptr %2, align 4, !tbaa !5
  %.not136 = icmp eq i32 %239, 0
  br i1 %.not136, label %._crit_edge213, label %.lr.ph212, !llvm.loop !24

.lr.ph209:                                        ; preds = %._crit_edge194, %.thread166
  %indvars.iv247 = phi i64 [ %indvars.iv.next248, %.thread166 ], [ 0, %._crit_edge194 ]
  %241 = phi i32 [ %396, %.thread166 ], [ %208, %._crit_edge194 ]
  %.1110206 = phi i32 [ %.2111, %.thread166 ], [ %.0109.lcssa, %._crit_edge194 ]
  %storemerge205 = phi i32 [ %spec.store.select1, %.thread166 ], [ %220, %._crit_edge194 ]
  %.not138 = icmp eq i64 %indvars.iv247, 0
  br i1 %.not138, label %255, label %242

242:                                              ; preds = %.lr.ph209
  %243 = add nsw i64 %indvars.iv247, -1
  %244 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %243
  %245 = load i8, ptr %244, align 1, !tbaa !15, !range !21, !noundef !22
  %246 = xor i8 %245, 1
  %247 = zext nneg i8 %246 to i32
  %248 = sub i32 %.1110206, %247
  %249 = sext i32 %storemerge205 to i64
  %250 = getelementptr inbounds [109 x i8], ptr @_ZZ5solvevE3ban, i64 0, i64 %249
  %251 = load i8, ptr %250, align 1, !tbaa !15, !range !21, !noundef !22
  %252 = xor i8 %251, 1
  %253 = zext nneg i8 %252 to i32
  %254 = add nsw i32 %248, %253
  br label %255

255:                                              ; preds = %242, %.lr.ph209
  %.2111 = phi i32 [ %254, %242 ], [ %.1110206, %.lr.ph209 ]
  %.not139 = icmp eq i32 %.2111, %241
  br i1 %.not139, label %256, label %.thread166

256:                                              ; preds = %255
  %257 = sext i32 %storemerge205 to i64
  %.not140 = icmp sgt i64 %indvars.iv247, %257
  br i1 %.not140, label %274, label %258

258:                                              ; preds = %256
  %259 = load i32, ptr %12, align 4, !tbaa !5
  %260 = sext i32 %259 to i64
  %261 = icmp slt i64 %indvars.iv247, %260
  br i1 %261, label %262, label %.thread

262:                                              ; preds = %258
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #9
  %263 = add nsw i32 %259, -1
  store i32 %263, ptr %16, align 4, !tbaa !5
  %264 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %15, ptr noundef nonnull align 4 dereferenceable(4) %16)
  %265 = load i32, ptr %264, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #9
  %266 = trunc nuw nsw i64 %indvars.iv247 to i32
  %267 = sub nsw i32 %265, %266
  %268 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %6, i32 noundef 0, i32 noundef %267)
          to label %269 unwind label %272

269:                                              ; preds = %262
  %270 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %7, i32 noundef %266, i32 noundef %265)
          to label %271 unwind label %272

271:                                              ; preds = %269
  %.not144 = icmp eq i64 %268, %270
  br i1 %.not144, label %.thread, label %.thread166

272:                                              ; preds = %269, %262
  %273 = landingpad { ptr, i32 }
          cleanup
  br label %398

274:                                              ; preds = %256
  %275 = trunc nuw nsw i64 %indvars.iv247 to i32
  %276 = sub nsw i32 %241, %275
  %277 = add nsw i32 %276, 1
  %278 = load i32, ptr %12, align 4, !tbaa !5
  %279 = sext i32 %278 to i64
  %280 = icmp slt i64 %indvars.iv247, %279
  br i1 %280, label %281, label %292

281:                                              ; preds = %274
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %17) #9
  %282 = add nsw i32 %278, -1
  store i32 %282, ptr %17, align 4, !tbaa !5
  %283 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %17)
  %284 = load i32, ptr %283, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #9
  %285 = sub nsw i32 %284, %275
  %286 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %6, i32 noundef 0, i32 noundef %285)
          to label %287 unwind label %290

287:                                              ; preds = %281
  %288 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %7, i32 noundef %275, i32 noundef %284)
          to label %289 unwind label %290

289:                                              ; preds = %287
  %.not141 = icmp eq i64 %286, %288
  br i1 %.not141, label %._crit_edge250, label %.thread166

._crit_edge250:                                   ; preds = %289
  %.pre = load i32, ptr %12, align 4, !tbaa !5
  br label %292

290:                                              ; preds = %287, %281
  %291 = landingpad { ptr, i32 }
          cleanup
  br label %398

292:                                              ; preds = %._crit_edge250, %274
  %293 = phi i32 [ %.pre, %._crit_edge250 ], [ %278, %274 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %18) #9
  %294 = add nsw i32 %293, -1
  store i32 %294, ptr %18, align 4, !tbaa !5
  %295 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %15, ptr noundef nonnull align 4 dereferenceable(4) %18)
  %296 = load i32, ptr %295, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %18) #9
  %297 = add nsw i32 %296, %277
  %298 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %6, i32 noundef %277, i32 noundef %297)
          to label %299 unwind label %302

299:                                              ; preds = %292
  %300 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %7, i32 noundef 0, i32 noundef %296)
          to label %301 unwind label %302

301:                                              ; preds = %299
  %.not143 = icmp eq i64 %298, %300
  br i1 %.not143, label %.thread, label %.thread166

302:                                              ; preds = %299, %292
  %303 = landingpad { ptr, i32 }
          cleanup
  br label %398

.thread:                                          ; preds = %301, %271, %258
  %304 = load i32, ptr %12, align 4, !tbaa !5
  %305 = sext i32 %304 to i64
  %.not = icmp sgt i64 %indvars.iv247, %305
  br i1 %.not, label %._crit_edge200.thread, label %.lr.ph199

.lr.ph199:                                        ; preds = %.thread
  %306 = load i32, ptr %3, align 4, !tbaa !5
  %307 = trunc i64 %indvars.iv247 to i32
  %308 = add i32 %307, -1
  br label %309

._crit_edge200:                                   ; preds = %318
  %.not145 = icmp eq i32 %.1, 0
  br i1 %.not145, label %._crit_edge200.thread, label %324

309:                                              ; preds = %.lr.ph199, %318
  %.0100198 = phi i32 [ %308, %.lr.ph199 ], [ %320, %318 ]
  %.0101197 = phi i32 [ 0, %.lr.ph199 ], [ %.1, %318 ]
  %310 = icmp sgt i32 %.0100198, -1
  br i1 %310, label %311, label %318

311:                                              ; preds = %309
  %312 = zext nneg i32 %.0100198 to i64
  %313 = getelementptr inbounds [1000009 x i8], ptr @_ZZ5solvevE3que, i64 0, i64 %312
  %314 = load i8, ptr %313, align 1, !tbaa !11
  %315 = add nsw i32 %.0101197, 1
  %316 = sext i32 %.0101197 to i64
  %317 = getelementptr inbounds [500009 x i8], ptr @_ZZ5solvevE3adt, i64 0, i64 %316
  store i8 %314, ptr %317, align 1, !tbaa !11
  br label %318

318:                                              ; preds = %309, %311
  %.1 = phi i32 [ %315, %311 ], [ %.0101197, %309 ]
  %319 = add nsw i32 %.0100198, 1
  %320 = add i32 %319, %306
  %321 = icmp slt i32 %320, %304
  br i1 %321, label %309, label %._crit_edge200, !llvm.loop !25

._crit_edge200.thread:                            ; preds = %.thread, %._crit_edge200
  call void @_Z6modIncRii(ptr noundef nonnull align 4 dereferenceable(4) %14, i32 noundef 1)
  br label %.thread166

322:                                              ; preds = %339, %338, %335, %334
  %323 = landingpad { ptr, i32 }
          cleanup
  br label %398

324:                                              ; preds = %._crit_edge200
  %325 = load i32, ptr %4, align 4, !tbaa !5
  %326 = icmp sgt i32 %.1, %325
  br i1 %326, label %.thread166, label %327

327:                                              ; preds = %324
  %328 = ashr i32 %.1, 1
  %329 = sext i32 %328 to i64
  %330 = getelementptr inbounds [500009 x i32], ptr @_ZZ5solvevE2pL, i64 0, i64 %329
  %331 = load i32, ptr %330, align 4, !tbaa !5
  %332 = load i32, ptr %11, align 4, !tbaa !5
  %333 = icmp sgt i32 %331, %332
  br i1 %333, label %.thread166, label %334

334:                                              ; preds = %327
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %9, i32 noundef %.1, ptr noundef nonnull @_ZZ5solvevE3adt)
          to label %335 unwind label %322

335:                                              ; preds = %334
  %336 = sext i32 %.1 to i64
  %337 = getelementptr inbounds i8, ptr @_ZZ5solvevE3adt, i64 %336
  invoke void @_ZSt7reverseIPcEvT_S1_(ptr noundef nonnull @_ZZ5solvevE3adt, ptr noundef nonnull %337)
          to label %338 unwind label %322

338:                                              ; preds = %335
  invoke void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112) %10, i32 noundef %.1, ptr noundef nonnull @_ZZ5solvevE3adt)
          to label %339 unwind label %322

339:                                              ; preds = %338
  invoke void @_ZSt7reverseIPcEvT_S1_(ptr noundef nonnull @_ZZ5solvevE3adt, ptr noundef nonnull %337)
          to label %.preheader unwind label %322

.preheader:                                       ; preds = %339
  %340 = icmp sgt i32 %.1, 0
  br i1 %340, label %.lr.ph203, label %.thread166

.lr.ph203:                                        ; preds = %.preheader
  %341 = add nsw i32 %.1, -1
  %wide.trip.count245 = zext nneg i32 %.1 to i64
  br label %342

342:                                              ; preds = %.lr.ph203, %393
  %indvars.iv242 = phi i64 [ 0, %.lr.ph203 ], [ %indvars.iv.next243, %393 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %19) #9
  %343 = trunc nuw nsw i64 %indvars.iv242 to i32
  store i32 %343, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %20) #9
  %344 = sub nsw i64 %336, %indvars.iv242
  %345 = trunc i64 %344 to i32
  %346 = add i32 %345, -1
  store i32 %346, ptr %20, align 4, !tbaa !5
  %347 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %19, ptr noundef nonnull align 4 dereferenceable(4) %20)
  %348 = load i32, ptr %347, align 4, !tbaa !5
  %349 = sext i32 %348 to i64
  %350 = getelementptr inbounds [500009 x i32], ptr @_ZZ5solvevE2pL, i64 0, i64 %349
  %351 = load i32, ptr %350, align 4, !tbaa !5
  %352 = load i32, ptr %11, align 4, !tbaa !5
  %353 = icmp sgt i32 %351, %352
  br i1 %353, label %393, label %356

354:                                              ; preds = %370, %367, %361, %358
  %355 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %20) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %19) #9
  br label %398

356:                                              ; preds = %342
  %357 = load i32, ptr %19, align 4, !tbaa !5
  %.not146 = icmp eq i32 %357, 0
  br i1 %.not146, label %365, label %358

358:                                              ; preds = %356
  %359 = add nsw i32 %357, -1
  %360 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %8, i32 noundef 0, i32 noundef %359)
          to label %361 unwind label %354

361:                                              ; preds = %358
  %362 = trunc nsw i64 %344 to i32
  %363 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %10, i32 noundef %362, i32 noundef %341)
          to label %364 unwind label %354

364:                                              ; preds = %361
  %.not147 = icmp eq i64 %360, %363
  br i1 %.not147, label %365, label %393

365:                                              ; preds = %364, %356
  %366 = load i32, ptr %20, align 4, !tbaa !5
  %.not148 = icmp eq i32 %366, 0
  br i1 %.not148, label %375, label %367

367:                                              ; preds = %365
  %368 = add nsw i32 %366, -1
  %369 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %8, i32 noundef 0, i32 noundef %368)
          to label %370 unwind label %354

370:                                              ; preds = %367
  %371 = trunc i64 %indvars.iv242 to i32
  %372 = add i32 %371, 1
  %373 = invoke noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112) %9, i32 noundef %372, i32 noundef %341)
          to label %374 unwind label %354

374:                                              ; preds = %370
  %.not158 = icmp eq i64 %369, %373
  br i1 %.not158, label %375, label %393

375:                                              ; preds = %374, %365
  %376 = getelementptr inbounds [500009 x i8], ptr @_ZZ5solvevE3adt, i64 0, i64 %indvars.iv242
  %377 = load i8, ptr %376, align 1, !tbaa !11
  %378 = sext i8 %377 to i64
  %379 = add nsw i64 %378, -97
  %380 = load i32, ptr %11, align 4, !tbaa !5
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %379, i64 %381
  %383 = load i32, ptr %382, align 4, !tbaa !5
  %384 = add nsw i32 %351, -1
  %385 = sext i32 %384 to i64
  %386 = getelementptr inbounds [27 x [100009 x i32]], ptr @_ZZ5solvevE3cnt, i64 0, i64 %379, i64 %385
  %387 = load i32, ptr %386, align 4, !tbaa !5
  %388 = sub nsw i32 %383, %387
  call void @_Z6modIncRii(ptr noundef nonnull align 4 dereferenceable(4) %14, i32 noundef %388)
  %389 = load i32, ptr %14, align 4, !tbaa !5
  %390 = icmp slt i32 %389, 0
  br i1 %390, label %391, label %393

391:                                              ; preds = %375
  %392 = add nsw i32 %389, 1000000007
  store i32 %392, ptr %14, align 4, !tbaa !5
  br label %393

393:                                              ; preds = %375, %391, %374, %364, %342
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %20) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %19) #9
  %indvars.iv.next243 = add nuw nsw i64 %indvars.iv242, 1
  %exitcond246.not = icmp eq i64 %indvars.iv.next243, %wide.trip.count245
  br i1 %exitcond246.not, label %.thread166, label %342, !llvm.loop !26

.thread166:                                       ; preds = %393, %.preheader, %289, %301, %271, %._crit_edge200.thread, %327, %324, %255
  %indvars.iv.next248 = add nuw nsw i64 %indvars.iv247, 1
  %394 = load i32, ptr %15, align 4, !tbaa !5
  %395 = add nsw i32 %394, 1
  %396 = load i32, ptr %3, align 4, !tbaa !5
  %.not159 = icmp slt i32 %394, %396
  %spec.store.select1 = select i1 %.not159, i32 %395, i32 0
  store i32 %spec.store.select1, ptr %15, align 4
  %397 = sext i32 %396 to i64
  %.not137.not = icmp slt i64 %indvars.iv247, %397
  br i1 %.not137.not, label %.lr.ph209, label %._crit_edge210.loopexit, !llvm.loop !27

398:                                              ; preds = %322, %354, %290, %302, %272
  %.pn149.pn = phi { ptr, i32 } [ %273, %272 ], [ %303, %302 ], [ %291, %290 ], [ %355, %354 ], [ %323, %322 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #9
  br label %399

399:                                              ; preds = %398, %221
  %.pn149.pn.pn = phi { ptr, i32 } [ %.pn149.pn, %398 ], [ %222, %221 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #9
  br label %400

._crit_edge213:                                   ; preds = %._crit_edge210, %.preheader169
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %10) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %10) #9
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %9) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %9) #9
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %8) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %8) #9
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %7) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %7) #9
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %6) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #9
  ret void

400:                                              ; preds = %399, %186
  %.pn149.pn.pn.pn = phi { ptr, i32 } [ %.pn149.pn.pn, %399 ], [ %187, %186 ]
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %10) #9
  br label %401

401:                                              ; preds = %400, %184
  %.pn149.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn149.pn.pn.pn, %400 ], [ %185, %184 ]
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %10) #9
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %9) #9
  br label %402

402:                                              ; preds = %401, %182
  %.pn149.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn149.pn.pn.pn.pn, %401 ], [ %183, %182 ]
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %9) #9
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %8) #9
  br label %403

403:                                              ; preds = %402, %180
  %.pn149.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn149.pn.pn.pn.pn.pn, %402 ], [ %181, %180 ]
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %8) #9
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %7) #9
  br label %404

404:                                              ; preds = %403, %178
  %.pn149.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn149.pn.pn.pn.pn.pn.pn, %403 ], [ %179, %178 ]
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %7) #9
  call void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112) %6) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #9
  resume { ptr, i32 } %.pn149.pn.pn.pn.pn.pn.pn.pn
}

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: nofree nounwind
declare noundef i32 @__isoc99_scanf(ptr nocapture noundef readonly, ...) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_Z6modIncRii(ptr noundef nonnull align 4 dereferenceable(4), i32 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #3

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.cttz.i32(i32, i1 immarg) #5

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5Hash2C2Ev(ptr noundef nonnull align 8 dereferenceable(112)) unnamed_addr #0 align 2

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5Hash25parseEiPc(ptr noundef nonnull align 8 dereferenceable(112), i32 noundef, ptr noundef) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #6

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZN5Hash23getEii(ptr noundef nonnull align 8 dereferenceable(112), i32 noundef, i32 noundef) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt7reverseIPcEvT_S1_(ptr noundef, ptr noundef) local_unnamed_addr #7

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #3

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN5Hash2D2Ev(ptr noundef nonnull align 8 dereferenceable(112)) unnamed_addr #3 align 2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.vector.reduce.add.v4i32(<4 x i32>) #8

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nofree nounwind willreturn memory(argmem: read) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #7 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #9 = { nounwind }
attributes #10 = { nounwind willreturn memory(read) }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !10}
!13 = distinct !{!13, !10}
!14 = distinct !{!14, !10}
!15 = !{!16, !16, i64 0}
!16 = !{!"bool", !7, i64 0}
!17 = distinct !{!17, !10}
!18 = distinct !{!18, !10, !19, !20}
!19 = !{!"llvm.loop.isvectorized", i32 1}
!20 = !{!"llvm.loop.unroll.runtime.disable"}
!21 = !{i8 0, i8 2}
!22 = !{}
!23 = distinct !{!23, !10, !20, !19}
!24 = distinct !{!24, !10}
!25 = distinct !{!25, !10}
!26 = distinct !{!26, !10}
!27 = distinct !{!27, !10}


; Effective O3 passes: BDCEPass,CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,ReassociatePass,SROAPass,SimplifyCFGPass