; LLVM IR from Trinkle23897/DIP2018 :: 1/image_fusion (image_fusion)

; 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"

%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%struct.IMG = type <{ ptr, ptr, %"class.std::__cxx11::basic_string", i32, i32, i32, i32, i32, i32, i32, [4 x i8] }>
%"class.std::allocator" = type { i8 }
%struct.Solver = type { i32, i32, i32, ptr, ptr, ptr, float, ptr }

@str = external dso_local global [100 x i8], align 16
@.str.11 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [71 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [1 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [128 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [86 x i8], align 1
@__PRETTY_FUNCTION__.main = external hidden unnamed_addr constant [29 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [5 x i8], align 1

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

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

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #1

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main(i32 noundef %0, ptr noundef %1) #2 personality ptr @__gxx_personality_v0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %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 %"class.std::__cxx11::basic_string", align 8
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::__cxx11::basic_string", align 8
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca %struct.IMG, align 8
  %22 = alloca %"class.std::__cxx11::basic_string", align 8
  %23 = alloca %struct.IMG, align 8
  %24 = alloca %"class.std::__cxx11::basic_string", align 8
  %25 = alloca %struct.IMG, align 8
  %26 = alloca %"class.std::__cxx11::basic_string", align 8
  %27 = alloca %struct.IMG, align 8
  %28 = alloca %"class.std::__cxx11::basic_string", align 8
  %29 = alloca %"class.std::allocator", align 1
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca %struct.IMG, align 8
  %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 ptr, align 8
  %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
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca i32, align 4
  %50 = alloca i32, align 4
  %51 = alloca i32, align 4
  %52 = alloca i32, align 4
  %53 = alloca i32, align 4
  store i32 0, ptr %3, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #11
  store i32 0, ptr %6, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #11
  store i32 0, ptr %7, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #11
  store i32 2000, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #11
  store i32 0, ptr %9, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #11
  store i32 1073741824, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #11
  store i32 0, ptr %11, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #11
  store i32 0, ptr %12, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %13) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #11
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #11
  call void @llvm.lifetime.start.p0(i64 32, ptr %15) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #11
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #11
  %54 = load i32, ptr %4, align 4, !tbaa !5
  %55 = icmp sle i32 %54, 1
  br i1 %55, label %56, label %93

56:                                               ; preds = %2
  %57 = invoke i32 @puts(ptr noundef @.str.11)
          to label %58 unwind label %89

58:                                               ; preds = %56
  %59 = invoke i32 @puts(ptr noundef @.str.12)
          to label %60 unwind label %89

60:                                               ; preds = %58
  %61 = invoke i32 @puts(ptr noundef @.str.13)
          to label %62 unwind label %89

62:                                               ; preds = %60
  %63 = invoke i32 @puts(ptr noundef @.str.14)
          to label %64 unwind label %89

64:                                               ; preds = %62
  %65 = invoke i32 @puts(ptr noundef @.str.15)
          to label %66 unwind label %89

66:                                               ; preds = %64
  %67 = invoke i32 @puts(ptr noundef @.str.16)
          to label %68 unwind label %89

68:                                               ; preds = %66
  %69 = invoke i32 @puts(ptr noundef @.str.17)
          to label %70 unwind label %89

70:                                               ; preds = %68
  %71 = invoke i32 @puts(ptr noundef @.str.18)
          to label %72 unwind label %89

72:                                               ; preds = %70
  %73 = invoke i32 @puts(ptr noundef @.str.19)
          to label %74 unwind label %89

74:                                               ; preds = %72
  %75 = invoke i32 @puts(ptr noundef @.str.20)
          to label %76 unwind label %89

76:                                               ; preds = %74
  %77 = invoke i32 @puts(ptr noundef @.str.21)
          to label %78 unwind label %89

78:                                               ; preds = %76
  %79 = invoke i32 @puts(ptr noundef @.str.22)
          to label %80 unwind label %89

80:                                               ; preds = %78
  %81 = invoke i32 @puts(ptr noundef @.str.23)
          to label %82 unwind label %89

82:                                               ; preds = %80
  %83 = invoke i32 @puts(ptr noundef @.str.24)
          to label %84 unwind label %89

84:                                               ; preds = %82
  %85 = invoke i32 @puts(ptr noundef @.str.25)
          to label %86 unwind label %89

86:                                               ; preds = %84
  %87 = invoke i32 @puts(ptr noundef @.str.26)
          to label %88 unwind label %89

88:                                               ; preds = %86
  store i32 0, ptr %3, align 4
  store i32 1, ptr %19, align 4
  br label %1534

89:                                               ; preds = %435, %432, %426, %423, %420, %417, %86, %84, %82, %80, %78, %76, %74, %72, %70, %68, %66, %64, %62, %60, %58, %56
  %90 = landingpad { ptr, i32 }
          cleanup
  %91 = extractvalue { ptr, i32 } %90, 0
  store ptr %91, ptr %17, align 8
  %92 = extractvalue { ptr, i32 } %90, 1
  store i32 %92, ptr %18, align 4
  br label %1536

93:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #11
  store i32 1, ptr %20, align 4, !tbaa !5
  br label %94

94:                                               ; preds = %408, %93
  %95 = load i32, ptr %20, align 4, !tbaa !5
  %96 = load i32, ptr %4, align 4, !tbaa !5
  %97 = icmp slt i32 %95, %96
  br i1 %97, label %99, label %98

98:                                               ; preds = %94
  store i32 2, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #11
  br label %411

99:                                               ; preds = %94
  %100 = load ptr, ptr %5, align 8, !tbaa !9
  %101 = load i32, ptr %20, align 4, !tbaa !5
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds ptr, ptr %100, i64 %102
  %104 = load ptr, ptr %103, align 8, !tbaa !9
  %105 = getelementptr inbounds i8, ptr %104, i64 0
  %106 = load i8, ptr %105, align 1, !tbaa !11
  %107 = sext i8 %106 to i32
  %108 = icmp eq i32 %107, 45
  br i1 %108, label %109, label %407

109:                                              ; preds = %99
  %110 = load ptr, ptr %5, align 8, !tbaa !9
  %111 = load i32, ptr %20, align 4, !tbaa !5
  %112 = sext i32 %111 to i64
  %113 = getelementptr inbounds ptr, ptr %110, i64 %112
  %114 = load ptr, ptr %113, align 8, !tbaa !9
  %115 = getelementptr inbounds i8, ptr %114, i64 1
  %116 = load i8, ptr %115, align 1, !tbaa !11
  %117 = sext i8 %116 to i32
  %118 = icmp eq i32 %117, 115
  br i1 %118, label %129, label %119

119:                                              ; preds = %109
  %120 = load ptr, ptr %5, align 8, !tbaa !9
  %121 = load i32, ptr %20, align 4, !tbaa !5
  %122 = sext i32 %121 to i64
  %123 = getelementptr inbounds ptr, ptr %120, i64 %122
  %124 = load ptr, ptr %123, align 8, !tbaa !9
  %125 = getelementptr inbounds i8, ptr %124, i64 2
  %126 = load i8, ptr %125, align 1, !tbaa !11
  %127 = sext i8 %126 to i32
  %128 = icmp eq i32 %127, 115
  br i1 %128, label %129, label %142

129:                                              ; preds = %119, %109
  %130 = load ptr, ptr %5, align 8, !tbaa !9
  %131 = load i32, ptr %20, align 4, !tbaa !5
  %132 = add nsw i32 %131, 1
  store i32 %132, ptr %20, align 4, !tbaa !5
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds ptr, ptr %130, i64 %133
  %135 = load ptr, ptr %134, align 8, !tbaa !9
  %136 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef %135)
          to label %137 unwind label %138

137:                                              ; preds = %129
  br label %406

138:                                              ; preds = %220, %191, %162, %129
  %139 = landingpad { ptr, i32 }
          cleanup
  %140 = extractvalue { ptr, i32 } %139, 0
  store ptr %140, ptr %17, align 8
  %141 = extractvalue { ptr, i32 } %139, 1
  store i32 %141, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #11
  br label %1536

142:                                              ; preds = %119
  %143 = load ptr, ptr %5, align 8, !tbaa !9
  %144 = load i32, ptr %20, align 4, !tbaa !5
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds ptr, ptr %143, i64 %145
  %147 = load ptr, ptr %146, align 8, !tbaa !9
  %148 = getelementptr inbounds i8, ptr %147, i64 1
  %149 = load i8, ptr %148, align 1, !tbaa !11
  %150 = sext i8 %149 to i32
  %151 = icmp eq i32 %150, 109
  br i1 %151, label %162, label %152

152:                                              ; preds = %142
  %153 = load ptr, ptr %5, align 8, !tbaa !9
  %154 = load i32, ptr %20, align 4, !tbaa !5
  %155 = sext i32 %154 to i64
  %156 = getelementptr inbounds ptr, ptr %153, i64 %155
  %157 = load ptr, ptr %156, align 8, !tbaa !9
  %158 = getelementptr inbounds i8, ptr %157, i64 2
  %159 = load i8, ptr %158, align 1, !tbaa !11
  %160 = sext i8 %159 to i32
  %161 = icmp eq i32 %160, 109
  br i1 %161, label %162, label %171

162:                                              ; preds = %152, %142
  %163 = load ptr, ptr %5, align 8, !tbaa !9
  %164 = load i32, ptr %20, align 4, !tbaa !5
  %165 = add nsw i32 %164, 1
  store i32 %165, ptr %20, align 4, !tbaa !5
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds ptr, ptr %163, i64 %166
  %168 = load ptr, ptr %167, align 8, !tbaa !9
  %169 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef %168)
          to label %170 unwind label %138

170:                                              ; preds = %162
  br label %405

171:                                              ; preds = %152
  %172 = load ptr, ptr %5, align 8, !tbaa !9
  %173 = load i32, ptr %20, align 4, !tbaa !5
  %174 = sext i32 %173 to i64
  %175 = getelementptr inbounds ptr, ptr %172, i64 %174
  %176 = load ptr, ptr %175, align 8, !tbaa !9
  %177 = getelementptr inbounds i8, ptr %176, i64 1
  %178 = load i8, ptr %177, align 1, !tbaa !11
  %179 = sext i8 %178 to i32
  %180 = icmp eq i32 %179, 116
  br i1 %180, label %191, label %181

181:                                              ; preds = %171
  %182 = load ptr, ptr %5, align 8, !tbaa !9
  %183 = load i32, ptr %20, align 4, !tbaa !5
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds ptr, ptr %182, i64 %184
  %186 = load ptr, ptr %185, align 8, !tbaa !9
  %187 = getelementptr inbounds i8, ptr %186, i64 2
  %188 = load i8, ptr %187, align 1, !tbaa !11
  %189 = sext i8 %188 to i32
  %190 = icmp eq i32 %189, 116
  br i1 %190, label %191, label %200

191:                                              ; preds = %181, %171
  %192 = load ptr, ptr %5, align 8, !tbaa !9
  %193 = load i32, ptr %20, align 4, !tbaa !5
  %194 = add nsw i32 %193, 1
  store i32 %194, ptr %20, align 4, !tbaa !5
  %195 = sext i32 %194 to i64
  %196 = getelementptr inbounds ptr, ptr %192, i64 %195
  %197 = load ptr, ptr %196, align 8, !tbaa !9
  %198 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef %197)
          to label %199 unwind label %138

199:                                              ; preds = %191
  br label %404

200:                                              ; preds = %181
  %201 = load ptr, ptr %5, align 8, !tbaa !9
  %202 = load i32, ptr %20, align 4, !tbaa !5
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds ptr, ptr %201, i64 %203
  %205 = load ptr, ptr %204, align 8, !tbaa !9
  %206 = getelementptr inbounds i8, ptr %205, i64 1
  %207 = load i8, ptr %206, align 1, !tbaa !11
  %208 = sext i8 %207 to i32
  %209 = icmp eq i32 %208, 111
  br i1 %209, label %220, label %210

210:                                              ; preds = %200
  %211 = load ptr, ptr %5, align 8, !tbaa !9
  %212 = load i32, ptr %20, align 4, !tbaa !5
  %213 = sext i32 %212 to i64
  %214 = getelementptr inbounds ptr, ptr %211, i64 %213
  %215 = load ptr, ptr %214, align 8, !tbaa !9
  %216 = getelementptr inbounds i8, ptr %215, i64 2
  %217 = load i8, ptr %216, align 1, !tbaa !11
  %218 = sext i8 %217 to i32
  %219 = icmp eq i32 %218, 111
  br i1 %219, label %220, label %229

220:                                              ; preds = %210, %200
  %221 = load ptr, ptr %5, align 8, !tbaa !9
  %222 = load i32, ptr %20, align 4, !tbaa !5
  %223 = add nsw i32 %222, 1
  store i32 %223, ptr %20, align 4, !tbaa !5
  %224 = sext i32 %223 to i64
  %225 = getelementptr inbounds ptr, ptr %221, i64 %224
  %226 = load ptr, ptr %225, align 8, !tbaa !9
  %227 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %16, ptr noundef %226)
          to label %228 unwind label %138

228:                                              ; preds = %220
  br label %403

229:                                              ; preds = %210
  %230 = load ptr, ptr %5, align 8, !tbaa !9
  %231 = load i32, ptr %20, align 4, !tbaa !5
  %232 = sext i32 %231 to i64
  %233 = getelementptr inbounds ptr, ptr %230, i64 %232
  %234 = load ptr, ptr %233, align 8, !tbaa !9
  %235 = getelementptr inbounds i8, ptr %234, i64 1
  %236 = load i8, ptr %235, align 1, !tbaa !11
  %237 = sext i8 %236 to i32
  %238 = icmp eq i32 %237, 104
  br i1 %238, label %249, label %239

239:                                              ; preds = %229
  %240 = load ptr, ptr %5, align 8, !tbaa !9
  %241 = load i32, ptr %20, align 4, !tbaa !5
  %242 = sext i32 %241 to i64
  %243 = getelementptr inbounds ptr, ptr %240, i64 %242
  %244 = load ptr, ptr %243, align 8, !tbaa !9
  %245 = getelementptr inbounds i8, ptr %244, i64 2
  %246 = load i8, ptr %245, align 1, !tbaa !11
  %247 = sext i8 %246 to i32
  %248 = icmp eq i32 %247, 104
  br i1 %248, label %249, label %257

249:                                              ; preds = %239, %229
  %250 = load ptr, ptr %5, align 8, !tbaa !9
  %251 = load i32, ptr %20, align 4, !tbaa !5
  %252 = add nsw i32 %251, 1
  store i32 %252, ptr %20, align 4, !tbaa !5
  %253 = sext i32 %252 to i64
  %254 = getelementptr inbounds ptr, ptr %250, i64 %253
  %255 = load ptr, ptr %254, align 8, !tbaa !9
  %256 = call i32 @atoi(ptr noundef %255) #12
  store i32 %256, ptr %6, align 4, !tbaa !5
  br label %402

257:                                              ; preds = %239
  %258 = load ptr, ptr %5, align 8, !tbaa !9
  %259 = load i32, ptr %20, align 4, !tbaa !5
  %260 = sext i32 %259 to i64
  %261 = getelementptr inbounds ptr, ptr %258, i64 %260
  %262 = load ptr, ptr %261, align 8, !tbaa !9
  %263 = getelementptr inbounds i8, ptr %262, i64 1
  %264 = load i8, ptr %263, align 1, !tbaa !11
  %265 = sext i8 %264 to i32
  %266 = icmp eq i32 %265, 119
  br i1 %266, label %277, label %267

267:                                              ; preds = %257
  %268 = load ptr, ptr %5, align 8, !tbaa !9
  %269 = load i32, ptr %20, align 4, !tbaa !5
  %270 = sext i32 %269 to i64
  %271 = getelementptr inbounds ptr, ptr %268, i64 %270
  %272 = load ptr, ptr %271, align 8, !tbaa !9
  %273 = getelementptr inbounds i8, ptr %272, i64 2
  %274 = load i8, ptr %273, align 1, !tbaa !11
  %275 = sext i8 %274 to i32
  %276 = icmp eq i32 %275, 119
  br i1 %276, label %277, label %285

277:                                              ; preds = %267, %257
  %278 = load ptr, ptr %5, align 8, !tbaa !9
  %279 = load i32, ptr %20, align 4, !tbaa !5
  %280 = add nsw i32 %279, 1
  store i32 %280, ptr %20, align 4, !tbaa !5
  %281 = sext i32 %280 to i64
  %282 = getelementptr inbounds ptr, ptr %278, i64 %281
  %283 = load ptr, ptr %282, align 8, !tbaa !9
  %284 = call i32 @atoi(ptr noundef %283) #12
  store i32 %284, ptr %7, align 4, !tbaa !5
  br label %401

285:                                              ; preds = %267
  %286 = load ptr, ptr %5, align 8, !tbaa !9
  %287 = load i32, ptr %20, align 4, !tbaa !5
  %288 = sext i32 %287 to i64
  %289 = getelementptr inbounds ptr, ptr %286, i64 %288
  %290 = load ptr, ptr %289, align 8, !tbaa !9
  %291 = getelementptr inbounds i8, ptr %290, i64 1
  %292 = load i8, ptr %291, align 1, !tbaa !11
  %293 = sext i8 %292 to i32
  %294 = icmp eq i32 %293, 105
  br i1 %294, label %305, label %295

295:                                              ; preds = %285
  %296 = load ptr, ptr %5, align 8, !tbaa !9
  %297 = load i32, ptr %20, align 4, !tbaa !5
  %298 = sext i32 %297 to i64
  %299 = getelementptr inbounds ptr, ptr %296, i64 %298
  %300 = load ptr, ptr %299, align 8, !tbaa !9
  %301 = getelementptr inbounds i8, ptr %300, i64 2
  %302 = load i8, ptr %301, align 1, !tbaa !11
  %303 = sext i8 %302 to i32
  %304 = icmp eq i32 %303, 105
  br i1 %304, label %305, label %313

305:                                              ; preds = %295, %285
  %306 = load ptr, ptr %5, align 8, !tbaa !9
  %307 = load i32, ptr %20, align 4, !tbaa !5
  %308 = add nsw i32 %307, 1
  store i32 %308, ptr %20, align 4, !tbaa !5
  %309 = sext i32 %308 to i64
  %310 = getelementptr inbounds ptr, ptr %306, i64 %309
  %311 = load ptr, ptr %310, align 8, !tbaa !9
  %312 = call i32 @atoi(ptr noundef %311) #12
  store i32 %312, ptr %8, align 4, !tbaa !5
  br label %400

313:                                              ; preds = %295
  %314 = load ptr, ptr %5, align 8, !tbaa !9
  %315 = load i32, ptr %20, align 4, !tbaa !5
  %316 = sext i32 %315 to i64
  %317 = getelementptr inbounds ptr, ptr %314, i64 %316
  %318 = load ptr, ptr %317, align 8, !tbaa !9
  %319 = getelementptr inbounds i8, ptr %318, i64 1
  %320 = load i8, ptr %319, align 1, !tbaa !11
  %321 = sext i8 %320 to i32
  %322 = icmp eq i32 %321, 112
  br i1 %322, label %333, label %323

323:                                              ; preds = %313
  %324 = load ptr, ptr %5, align 8, !tbaa !9
  %325 = load i32, ptr %20, align 4, !tbaa !5
  %326 = sext i32 %325 to i64
  %327 = getelementptr inbounds ptr, ptr %324, i64 %326
  %328 = load ptr, ptr %327, align 8, !tbaa !9
  %329 = getelementptr inbounds i8, ptr %328, i64 2
  %330 = load i8, ptr %329, align 1, !tbaa !11
  %331 = sext i8 %330 to i32
  %332 = icmp eq i32 %331, 112
  br i1 %332, label %333, label %341

333:                                              ; preds = %323, %313
  %334 = load ptr, ptr %5, align 8, !tbaa !9
  %335 = load i32, ptr %20, align 4, !tbaa !5
  %336 = add nsw i32 %335, 1
  store i32 %336, ptr %20, align 4, !tbaa !5
  %337 = sext i32 %336 to i64
  %338 = getelementptr inbounds ptr, ptr %334, i64 %337
  %339 = load ptr, ptr %338, align 8, !tbaa !9
  %340 = call i32 @atoi(ptr noundef %339) #12
  store i32 %340, ptr %10, align 4, !tbaa !5
  br label %399

341:                                              ; preds = %323
  %342 = load ptr, ptr %5, align 8, !tbaa !9
  %343 = load i32, ptr %20, align 4, !tbaa !5
  %344 = sext i32 %343 to i64
  %345 = getelementptr inbounds ptr, ptr %342, i64 %344
  %346 = load ptr, ptr %345, align 8, !tbaa !9
  %347 = getelementptr inbounds i8, ptr %346, i64 1
  %348 = load i8, ptr %347, align 1, !tbaa !11
  %349 = sext i8 %348 to i32
  %350 = icmp eq i32 %349, 98
  br i1 %350, label %361, label %351

351:                                              ; preds = %341
  %352 = load ptr, ptr %5, align 8, !tbaa !9
  %353 = load i32, ptr %20, align 4, !tbaa !5
  %354 = sext i32 %353 to i64
  %355 = getelementptr inbounds ptr, ptr %352, i64 %354
  %356 = load ptr, ptr %355, align 8, !tbaa !9
  %357 = getelementptr inbounds i8, ptr %356, i64 2
  %358 = load i8, ptr %357, align 1, !tbaa !11
  %359 = sext i8 %358 to i32
  %360 = icmp eq i32 %359, 98
  br i1 %360, label %361, label %369

361:                                              ; preds = %351, %341
  %362 = load ptr, ptr %5, align 8, !tbaa !9
  %363 = load i32, ptr %20, align 4, !tbaa !5
  %364 = add nsw i32 %363, 1
  store i32 %364, ptr %20, align 4, !tbaa !5
  %365 = sext i32 %364 to i64
  %366 = getelementptr inbounds ptr, ptr %362, i64 %365
  %367 = load ptr, ptr %366, align 8, !tbaa !9
  %368 = call i32 @atoi(ptr noundef %367) #12
  store i32 %368, ptr %9, align 4, !tbaa !5
  br label %398

369:                                              ; preds = %351
  %370 = load ptr, ptr %5, align 8, !tbaa !9
  %371 = load i32, ptr %20, align 4, !tbaa !5
  %372 = sext i32 %371 to i64
  %373 = getelementptr inbounds ptr, ptr %370, i64 %372
  %374 = load ptr, ptr %373, align 8, !tbaa !9
  %375 = getelementptr inbounds i8, ptr %374, i64 1
  %376 = load i8, ptr %375, align 1, !tbaa !11
  %377 = sext i8 %376 to i32
  %378 = icmp eq i32 %377, 114
  br i1 %378, label %389, label %379

379:                                              ; preds = %369
  %380 = load ptr, ptr %5, align 8, !tbaa !9
  %381 = load i32, ptr %20, align 4, !tbaa !5
  %382 = sext i32 %381 to i64
  %383 = getelementptr inbounds ptr, ptr %380, i64 %382
  %384 = load ptr, ptr %383, align 8, !tbaa !9
  %385 = getelementptr inbounds i8, ptr %384, i64 2
  %386 = load i8, ptr %385, align 1, !tbaa !11
  %387 = sext i8 %386 to i32
  %388 = icmp eq i32 %387, 114
  br i1 %388, label %389, label %397

389:                                              ; preds = %379, %369
  %390 = load ptr, ptr %5, align 8, !tbaa !9
  %391 = load i32, ptr %20, align 4, !tbaa !5
  %392 = add nsw i32 %391, 1
  store i32 %392, ptr %20, align 4, !tbaa !5
  %393 = sext i32 %392 to i64
  %394 = getelementptr inbounds ptr, ptr %390, i64 %393
  %395 = load ptr, ptr %394, align 8, !tbaa !9
  %396 = call i32 @atoi(ptr noundef %395) #12
  store i32 %396, ptr %12, align 4, !tbaa !5
  br label %397

397:                                              ; preds = %389, %379
  br label %398

398:                                              ; preds = %397, %361
  br label %399

399:                                              ; preds = %398, %333
  br label %400

400:                                              ; preds = %399, %305
  br label %401

401:                                              ; preds = %400, %277
  br label %402

402:                                              ; preds = %401, %249
  br label %403

403:                                              ; preds = %402, %228
  br label %404

404:                                              ; preds = %403, %199
  br label %405

405:                                              ; preds = %404, %170
  br label %406

406:                                              ; preds = %405, %137
  br label %407

407:                                              ; preds = %406, %99
  br label %408

408:                                              ; preds = %407
  %409 = load i32, ptr %20, align 4, !tbaa !5
  %410 = add nsw i32 %409, 1
  store i32 %410, ptr %20, align 4, !tbaa !5
  br label %94, !llvm.loop !12

411:                                              ; preds = %98
  %412 = load i32, ptr %12, align 4, !tbaa !5
  %413 = icmp ne i32 %412, 0
  br i1 %413, label %414, label %417

414:                                              ; preds = %411
  %415 = load i32, ptr %12, align 4, !tbaa !5
  %416 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef @str, ptr noundef @.str.27, i32 noundef %415) #11
  br label %417

417:                                              ; preds = %414, %411
  %418 = invoke noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %16, ptr noundef @.str.24)
          to label %419 unwind label %89

419:                                              ; preds = %417
  br i1 %418, label %420, label %423

420:                                              ; preds = %419
  %421 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %16, ptr noundef @.str.28)
          to label %422 unwind label %89

422:                                              ; preds = %420
  br label %423

423:                                              ; preds = %422, %419
  %424 = invoke noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef @.str.24)
          to label %425 unwind label %89

425:                                              ; preds = %423
  br i1 %424, label %426, label %432

426:                                              ; preds = %425
  %427 = invoke i32 @puts(ptr noundef @.str.29)
          to label %428 unwind label %89

428:                                              ; preds = %426
  %429 = icmp ne i32 %427, 0
  %430 = xor i1 %429, true
  %431 = zext i1 %430 to i32
  store i32 %431, ptr %3, align 4
  store i32 1, ptr %19, align 4
  br label %1534

432:                                              ; preds = %425
  %433 = invoke noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef @.str.24)
          to label %434 unwind label %89

434:                                              ; preds = %432
  br i1 %433, label %435, label %441

435:                                              ; preds = %434
  %436 = invoke i32 @puts(ptr noundef @.str.30)
          to label %437 unwind label %89

437:                                              ; preds = %435
  %438 = icmp ne i32 %436, 0
  %439 = xor i1 %438, true
  %440 = zext i1 %439 to i32
  store i32 %440, ptr %3, align 4
  store i32 1, ptr %19, align 4
  br label %1534

441:                                              ; preds = %434
  call void @llvm.lifetime.start.p0(i64 80, ptr %21) #11
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull align 8 dereferenceable(32) %13)
          to label %442 unwind label %467

442:                                              ; preds = %441
  invoke void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76) %21, ptr noundef %22)
          to label %443 unwind label %471

443:                                              ; preds = %442
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #11
  call void @llvm.lifetime.start.p0(i64 80, ptr %23) #11
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %24, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %444 unwind label %475

444:                                              ; preds = %443
  invoke void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76) %23, ptr noundef %24)
          to label %445 unwind label %479

445:                                              ; preds = %444
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #11
  call void @llvm.lifetime.start.p0(i64 80, ptr %25) #11
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %26, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %446 unwind label %483

446:                                              ; preds = %445
  invoke void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76) %25, ptr noundef %26)
          to label %447 unwind label %487

447:                                              ; preds = %446
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #11
  call void @llvm.lifetime.start.p0(i64 80, ptr %27) #11
  call void @llvm.lifetime.start.p0(i64 1, ptr %29) #11
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #11
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %28, ptr noundef @str, ptr noundef nonnull align 1 dereferenceable(1) %29)
          to label %448 unwind label %491

448:                                              ; preds = %447
  invoke void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76) %27, ptr noundef %28)
          to label %449 unwind label %495

449:                                              ; preds = %448
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #11
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #11
  %450 = invoke noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef @.str.24)
          to label %451 unwind label %500

451:                                              ; preds = %449
  br i1 %450, label %452, label %568

452:                                              ; preds = %451
  %453 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 4
  %454 = load i32, ptr %453, align 4, !tbaa !14
  %455 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %456 = load i32, ptr %455, align 8, !tbaa !19
  %457 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %458 = load i32, ptr %457, align 8, !tbaa !20
  invoke void @_ZN3IMG4initEiii(ptr noundef nonnull align 8 dereferenceable(76) %23, i32 noundef %454, i32 noundef %456, i32 noundef %458)
          to label %459 unwind label %500

459:                                              ; preds = %452
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #11
  store i32 1, ptr %30, align 4, !tbaa !5
  br label %460

460:                                              ; preds = %564, %459
  %461 = load i32, ptr %30, align 4, !tbaa !5
  %462 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 4
  %463 = load i32, ptr %462, align 4, !tbaa !14
  %464 = sub nsw i32 %463, 1
  %465 = icmp slt i32 %461, %464
  br i1 %465, label %504, label %466

466:                                              ; preds = %460
  store i32 5, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #11
  br label %567

467:                                              ; preds = %441
  %468 = landingpad { ptr, i32 }
          cleanup
  %469 = extractvalue { ptr, i32 } %468, 0
  store ptr %469, ptr %17, align 8
  %470 = extractvalue { ptr, i32 } %468, 1
  store i32 %470, ptr %18, align 4
  br label %1533

471:                                              ; preds = %442
  %472 = landingpad { ptr, i32 }
          cleanup
  %473 = extractvalue { ptr, i32 } %472, 0
  store ptr %473, ptr %17, align 8
  %474 = extractvalue { ptr, i32 } %472, 1
  store i32 %474, ptr %18, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #11
  br label %1533

475:                                              ; preds = %443
  %476 = landingpad { ptr, i32 }
          cleanup
  %477 = extractvalue { ptr, i32 } %476, 0
  store ptr %477, ptr %17, align 8
  %478 = extractvalue { ptr, i32 } %476, 1
  store i32 %478, ptr %18, align 4
  br label %1532

479:                                              ; preds = %444
  %480 = landingpad { ptr, i32 }
          cleanup
  %481 = extractvalue { ptr, i32 } %480, 0
  store ptr %481, ptr %17, align 8
  %482 = extractvalue { ptr, i32 } %480, 1
  store i32 %482, ptr %18, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #11
  br label %1532

483:                                              ; preds = %445
  %484 = landingpad { ptr, i32 }
          cleanup
  %485 = extractvalue { ptr, i32 } %484, 0
  store ptr %485, ptr %17, align 8
  %486 = extractvalue { ptr, i32 } %484, 1
  store i32 %486, ptr %18, align 4
  br label %1531

487:                                              ; preds = %446
  %488 = landingpad { ptr, i32 }
          cleanup
  %489 = extractvalue { ptr, i32 } %488, 0
  store ptr %489, ptr %17, align 8
  %490 = extractvalue { ptr, i32 } %488, 1
  store i32 %490, ptr %18, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #11
  br label %1531

491:                                              ; preds = %447
  %492 = landingpad { ptr, i32 }
          cleanup
  %493 = extractvalue { ptr, i32 } %492, 0
  store ptr %493, ptr %17, align 8
  %494 = extractvalue { ptr, i32 } %492, 1
  store i32 %494, ptr %18, align 4
  br label %499

495:                                              ; preds = %448
  %496 = landingpad { ptr, i32 }
          cleanup
  %497 = extractvalue { ptr, i32 } %496, 0
  store ptr %497, ptr %17, align 8
  %498 = extractvalue { ptr, i32 } %496, 1
  store i32 %498, ptr %18, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #11
  br label %499

499:                                              ; preds = %495, %491
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #11
  br label %1530

500:                                              ; preds = %619, %605, %604, %597, %593, %585, %452, %449
  %501 = landingpad { ptr, i32 }
          cleanup
  %502 = extractvalue { ptr, i32 } %501, 0
  store ptr %502, ptr %17, align 8
  %503 = extractvalue { ptr, i32 } %501, 1
  store i32 %503, ptr %18, align 4
  br label %1529

504:                                              ; preds = %460
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #11
  store i32 1, ptr %31, align 4, !tbaa !5
  br label %505

505:                                              ; preds = %560, %504
  %506 = load i32, ptr %31, align 4, !tbaa !5
  %507 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %508 = load i32, ptr %507, align 8, !tbaa !19
  %509 = sub nsw i32 %508, 1
  %510 = icmp slt i32 %506, %509
  br i1 %510, label %512, label %511

511:                                              ; preds = %505
  store i32 8, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #11
  br label %563

512:                                              ; preds = %505
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #11
  store i32 0, ptr %32, align 4, !tbaa !5
  br label %513

513:                                              ; preds = %556, %512
  %514 = load i32, ptr %32, align 4, !tbaa !5
  %515 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %516 = load i32, ptr %515, align 8, !tbaa !20
  %517 = icmp slt i32 %514, %516
  br i1 %517, label %519, label %518

518:                                              ; preds = %513
  store i32 11, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #11
  br label %559

519:                                              ; preds = %513
  %520 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 1
  %521 = load ptr, ptr %520, align 8, !tbaa !21
  %522 = load i32, ptr %30, align 4, !tbaa !5
  %523 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 3
  %524 = load i32, ptr %523, align 8, !tbaa !19
  %525 = mul nsw i32 %522, %524
  %526 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 5
  %527 = load i32, ptr %526, align 8, !tbaa !20
  %528 = mul nsw i32 %525, %527
  %529 = load i32, ptr %31, align 4, !tbaa !5
  %530 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 5
  %531 = load i32, ptr %530, align 8, !tbaa !20
  %532 = mul nsw i32 %529, %531
  %533 = add nsw i32 %528, %532
  %534 = load i32, ptr %32, align 4, !tbaa !5
  %535 = add nsw i32 %533, %534
  %536 = sext i32 %535 to i64
  %537 = getelementptr inbounds i8, ptr %521, i64 %536
  store i8 -1, ptr %537, align 1, !tbaa !11
  %538 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 0
  %539 = load ptr, ptr %538, align 8, !tbaa !22
  %540 = load i32, ptr %30, align 4, !tbaa !5
  %541 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 3
  %542 = load i32, ptr %541, align 8, !tbaa !19
  %543 = mul nsw i32 %540, %542
  %544 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 5
  %545 = load i32, ptr %544, align 8, !tbaa !20
  %546 = mul nsw i32 %543, %545
  %547 = load i32, ptr %31, align 4, !tbaa !5
  %548 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 5
  %549 = load i32, ptr %548, align 8, !tbaa !20
  %550 = mul nsw i32 %547, %549
  %551 = add nsw i32 %546, %550
  %552 = load i32, ptr %32, align 4, !tbaa !5
  %553 = add nsw i32 %551, %552
  %554 = sext i32 %553 to i64
  %555 = getelementptr inbounds float, ptr %539, i64 %554
  store float 2.550000e+02, ptr %555, align 4, !tbaa !23
  br label %556

556:                                              ; preds = %519
  %557 = load i32, ptr %32, align 4, !tbaa !5
  %558 = add nsw i32 %557, 1
  store i32 %558, ptr %32, align 4, !tbaa !5
  br label %513, !llvm.loop !25

559:                                              ; preds = %518
  br label %560

560:                                              ; preds = %559
  %561 = load i32, ptr %31, align 4, !tbaa !5
  %562 = add nsw i32 %561, 1
  store i32 %562, ptr %31, align 4, !tbaa !5
  br label %505, !llvm.loop !26

563:                                              ; preds = %511
  br label %564

564:                                              ; preds = %563
  %565 = load i32, ptr %30, align 4, !tbaa !5
  %566 = add nsw i32 %565, 1
  store i32 %566, ptr %30, align 4, !tbaa !5
  br label %460, !llvm.loop !27

567:                                              ; preds = %466
  br label %568

568:                                              ; preds = %567, %451
  %569 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 3
  %570 = load i32, ptr %569, align 8, !tbaa !19
  %571 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %572 = load i32, ptr %571, align 8, !tbaa !19
  %573 = icmp eq i32 %570, %572
  br i1 %573, label %574, label %575

574:                                              ; preds = %568
  br label %577

575:                                              ; preds = %568
  call void @__assert_fail(ptr noundef @.str.31, ptr noundef @.str.32, i32 noundef 189, ptr noundef @__PRETTY_FUNCTION__.main) #13
  unreachable

576:                                              ; No predecessors!
  br label %577

577:                                              ; preds = %576, %574
  %578 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 4
  %579 = load i32, ptr %578, align 4, !tbaa !14
  %580 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 4
  store i32 %579, ptr %580, align 4, !tbaa !14
  %581 = icmp ne i32 %579, 0
  br i1 %581, label %582, label %583

582:                                              ; preds = %577
  br label %585

583:                                              ; preds = %577
  call void @__assert_fail(ptr noundef @.str.33, ptr noundef @.str.32, i32 noundef 190, ptr noundef @__PRETTY_FUNCTION__.main) #13
  unreachable

584:                                              ; No predecessors!
  br label %585

585:                                              ; preds = %584, %582
  %586 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 5
  %587 = load i32, ptr %586, align 8, !tbaa !20
  %588 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %589 = load i32, ptr %588, align 8, !tbaa !20
  %590 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %591 = load i32, ptr %590, align 8, !tbaa !20
  %592 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.34, i32 noundef %587, i32 noundef %589, i32 noundef %591)
          to label %593 unwind label %500

593:                                              ; preds = %585
  %594 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %595 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %596 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %594, ptr noundef nonnull align 4 dereferenceable(4) %595)
          to label %597 unwind label %500

597:                                              ; preds = %593
  %598 = load i32, ptr %596, align 4, !tbaa !5
  store i32 %598, ptr %11, align 4, !tbaa !5
  %599 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 4
  %600 = load i32, ptr %599, align 4, !tbaa !14
  %601 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %602 = load i32, ptr %601, align 8, !tbaa !19
  %603 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.35, i32 noundef %600, i32 noundef %602)
          to label %604 unwind label %500

604:                                              ; preds = %597
  invoke void @_ZN3IMG4statEi(ptr noundef nonnull align 8 dereferenceable(76) %23, i32 noundef 200)
          to label %605 unwind label %500

605:                                              ; preds = %604
  %606 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 4
  %607 = load i32, ptr %606, align 4, !tbaa !14
  %608 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 3
  %609 = load i32, ptr %608, align 8, !tbaa !19
  %610 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 8
  %611 = load i32, ptr %610, align 4, !tbaa !28
  %612 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 9
  %613 = load i32, ptr %612, align 8, !tbaa !29
  %614 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 6
  %615 = load i32, ptr %614, align 4, !tbaa !30
  %616 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 7
  %617 = load i32, ptr %616, align 8, !tbaa !31
  %618 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.36, i32 noundef %607, i32 noundef %609, i32 noundef %611, i32 noundef %613, i32 noundef %615, i32 noundef %617)
          to label %619 unwind label %500

619:                                              ; preds = %605
  %620 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 4
  %621 = load i32, ptr %620, align 4, !tbaa !14
  %622 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 3
  %623 = load i32, ptr %622, align 8, !tbaa !19
  %624 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.37, i32 noundef %621, i32 noundef %623)
          to label %625 unwind label %500

625:                                              ; preds = %619
  call void @llvm.lifetime.start.p0(i64 80, ptr %33) #11
  %626 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 9
  %627 = load i32, ptr %626, align 8, !tbaa !29
  %628 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 8
  %629 = load i32, ptr %628, align 4, !tbaa !28
  %630 = sub nsw i32 %627, %629
  %631 = add nsw i32 %630, 1
  %632 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 7
  %633 = load i32, ptr %632, align 8, !tbaa !31
  %634 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 6
  %635 = load i32, ptr %634, align 4, !tbaa !30
  %636 = sub nsw i32 %633, %635
  %637 = add nsw i32 %636, 1
  %638 = load i32, ptr %11, align 4, !tbaa !5
  invoke void @_ZN3IMGC2Eiii(ptr noundef nonnull align 8 dereferenceable(76) %33, i32 noundef %631, i32 noundef %637, i32 noundef %638)
          to label %639 unwind label %648

639:                                              ; preds = %625
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #11
  %640 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 8
  %641 = load i32, ptr %640, align 4, !tbaa !28
  store i32 %641, ptr %34, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #11
  store i32 0, ptr %35, align 4, !tbaa !5
  br label %642

642:                                              ; preds = %839, %639
  %643 = load i32, ptr %34, align 4, !tbaa !5
  %644 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 9
  %645 = load i32, ptr %644, align 8, !tbaa !29
  %646 = icmp sle i32 %643, %645
  br i1 %646, label %652, label %647

647:                                              ; preds = %642
  store i32 14, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #11
  br label %844

648:                                              ; preds = %625
  %649 = landingpad { ptr, i32 }
          cleanup
  %650 = extractvalue { ptr, i32 } %649, 0
  store ptr %650, ptr %17, align 8
  %651 = extractvalue { ptr, i32 } %649, 1
  store i32 %651, ptr %18, align 4
  br label %1528

652:                                              ; preds = %642
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #11
  %653 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 6
  %654 = load i32, ptr %653, align 4, !tbaa !30
  store i32 %654, ptr %36, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #11
  store i32 0, ptr %37, align 4, !tbaa !5
  br label %655

655:                                              ; preds = %833, %652
  %656 = load i32, ptr %36, align 4, !tbaa !5
  %657 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 7
  %658 = load i32, ptr %657, align 8, !tbaa !31
  %659 = icmp sle i32 %656, %658
  br i1 %659, label %661, label %660

660:                                              ; preds = %655
  store i32 17, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #11
  br label %838

661:                                              ; preds = %655
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #11
  store i32 0, ptr %38, align 4, !tbaa !5
  br label %662

662:                                              ; preds = %829, %661
  %663 = load i32, ptr %38, align 4, !tbaa !5
  %664 = load i32, ptr %11, align 4, !tbaa !5
  %665 = icmp sle i32 %663, %664
  br i1 %665, label %667, label %666

666:                                              ; preds = %662
  store i32 20, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #11
  br label %832

667:                                              ; preds = %662
  %668 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 0
  %669 = load ptr, ptr %668, align 8, !tbaa !22
  %670 = load i32, ptr %34, align 4, !tbaa !5
  %671 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 3
  %672 = load i32, ptr %671, align 8, !tbaa !19
  %673 = mul nsw i32 %670, %672
  %674 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 5
  %675 = load i32, ptr %674, align 8, !tbaa !20
  %676 = mul nsw i32 %673, %675
  %677 = load i32, ptr %36, align 4, !tbaa !5
  %678 = getelementptr inbounds %struct.IMG, ptr %23, i32 0, i32 5
  %679 = load i32, ptr %678, align 8, !tbaa !20
  %680 = mul nsw i32 %677, %679
  %681 = add nsw i32 %676, %680
  %682 = add nsw i32 %681, 0
  %683 = sext i32 %682 to i64
  %684 = getelementptr inbounds float, ptr %669, i64 %683
  %685 = load float, ptr %684, align 4, !tbaa !23
  %686 = fcmp ogt float %685, 2.000000e+02
  br i1 %686, label %687, label %828

687:                                              ; preds = %667
  %688 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 1
  %689 = load ptr, ptr %688, align 8, !tbaa !21
  %690 = load i32, ptr %35, align 4, !tbaa !5
  %691 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %692 = load i32, ptr %691, align 8, !tbaa !19
  %693 = mul nsw i32 %690, %692
  %694 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %695 = load i32, ptr %694, align 8, !tbaa !20
  %696 = mul nsw i32 %693, %695
  %697 = load i32, ptr %37, align 4, !tbaa !5
  %698 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %699 = load i32, ptr %698, align 8, !tbaa !20
  %700 = mul nsw i32 %697, %699
  %701 = add nsw i32 %696, %700
  %702 = load i32, ptr %38, align 4, !tbaa !5
  %703 = add nsw i32 %701, %702
  %704 = sext i32 %703 to i64
  %705 = getelementptr inbounds i8, ptr %689, i64 %704
  store i8 -1, ptr %705, align 1, !tbaa !11
  %706 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 0
  %707 = load ptr, ptr %706, align 8, !tbaa !22
  %708 = load i32, ptr %34, align 4, !tbaa !5
  %709 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %710 = load i32, ptr %709, align 8, !tbaa !19
  %711 = mul nsw i32 %708, %710
  %712 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %713 = load i32, ptr %712, align 8, !tbaa !20
  %714 = mul nsw i32 %711, %713
  %715 = load i32, ptr %36, align 4, !tbaa !5
  %716 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %717 = load i32, ptr %716, align 8, !tbaa !20
  %718 = mul nsw i32 %715, %717
  %719 = add nsw i32 %714, %718
  %720 = load i32, ptr %38, align 4, !tbaa !5
  %721 = add nsw i32 %719, %720
  %722 = sext i32 %721 to i64
  %723 = getelementptr inbounds float, ptr %707, i64 %722
  %724 = load float, ptr %723, align 4, !tbaa !23
  %725 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 0
  %726 = load ptr, ptr %725, align 8, !tbaa !22
  %727 = load i32, ptr %34, align 4, !tbaa !5
  %728 = sub nsw i32 %727, 1
  %729 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %730 = load i32, ptr %729, align 8, !tbaa !19
  %731 = mul nsw i32 %728, %730
  %732 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %733 = load i32, ptr %732, align 8, !tbaa !20
  %734 = mul nsw i32 %731, %733
  %735 = load i32, ptr %36, align 4, !tbaa !5
  %736 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %737 = load i32, ptr %736, align 8, !tbaa !20
  %738 = mul nsw i32 %735, %737
  %739 = add nsw i32 %734, %738
  %740 = load i32, ptr %38, align 4, !tbaa !5
  %741 = add nsw i32 %739, %740
  %742 = sext i32 %741 to i64
  %743 = getelementptr inbounds float, ptr %726, i64 %742
  %744 = load float, ptr %743, align 4, !tbaa !23
  %745 = fneg float %744
  %746 = call float @llvm.fmuladd.f32(float %724, float 4.000000e+00, float %745)
  %747 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 0
  %748 = load ptr, ptr %747, align 8, !tbaa !22
  %749 = load i32, ptr %34, align 4, !tbaa !5
  %750 = add nsw i32 %749, 1
  %751 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %752 = load i32, ptr %751, align 8, !tbaa !19
  %753 = mul nsw i32 %750, %752
  %754 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %755 = load i32, ptr %754, align 8, !tbaa !20
  %756 = mul nsw i32 %753, %755
  %757 = load i32, ptr %36, align 4, !tbaa !5
  %758 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %759 = load i32, ptr %758, align 8, !tbaa !20
  %760 = mul nsw i32 %757, %759
  %761 = add nsw i32 %756, %760
  %762 = load i32, ptr %38, align 4, !tbaa !5
  %763 = add nsw i32 %761, %762
  %764 = sext i32 %763 to i64
  %765 = getelementptr inbounds float, ptr %748, i64 %764
  %766 = load float, ptr %765, align 4, !tbaa !23
  %767 = fsub float %746, %766
  %768 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 0
  %769 = load ptr, ptr %768, align 8, !tbaa !22
  %770 = load i32, ptr %34, align 4, !tbaa !5
  %771 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %772 = load i32, ptr %771, align 8, !tbaa !19
  %773 = mul nsw i32 %770, %772
  %774 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %775 = load i32, ptr %774, align 8, !tbaa !20
  %776 = mul nsw i32 %773, %775
  %777 = load i32, ptr %36, align 4, !tbaa !5
  %778 = sub nsw i32 %777, 1
  %779 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %780 = load i32, ptr %779, align 8, !tbaa !20
  %781 = mul nsw i32 %778, %780
  %782 = add nsw i32 %776, %781
  %783 = load i32, ptr %38, align 4, !tbaa !5
  %784 = add nsw i32 %782, %783
  %785 = sext i32 %784 to i64
  %786 = getelementptr inbounds float, ptr %769, i64 %785
  %787 = load float, ptr %786, align 4, !tbaa !23
  %788 = fsub float %767, %787
  %789 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 0
  %790 = load ptr, ptr %789, align 8, !tbaa !22
  %791 = load i32, ptr %34, align 4, !tbaa !5
  %792 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 3
  %793 = load i32, ptr %792, align 8, !tbaa !19
  %794 = mul nsw i32 %791, %793
  %795 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %796 = load i32, ptr %795, align 8, !tbaa !20
  %797 = mul nsw i32 %794, %796
  %798 = load i32, ptr %36, align 4, !tbaa !5
  %799 = add nsw i32 %798, 1
  %800 = getelementptr inbounds %struct.IMG, ptr %21, i32 0, i32 5
  %801 = load i32, ptr %800, align 8, !tbaa !20
  %802 = mul nsw i32 %799, %801
  %803 = add nsw i32 %797, %802
  %804 = load i32, ptr %38, align 4, !tbaa !5
  %805 = add nsw i32 %803, %804
  %806 = sext i32 %805 to i64
  %807 = getelementptr inbounds float, ptr %790, i64 %806
  %808 = load float, ptr %807, align 4, !tbaa !23
  %809 = fsub float %788, %808
  %810 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 0
  %811 = load ptr, ptr %810, align 8, !tbaa !22
  %812 = load i32, ptr %35, align 4, !tbaa !5
  %813 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %814 = load i32, ptr %813, align 8, !tbaa !19
  %815 = mul nsw i32 %812, %814
  %816 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %817 = load i32, ptr %816, align 8, !tbaa !20
  %818 = mul nsw i32 %815, %817
  %819 = load i32, ptr %37, align 4, !tbaa !5
  %820 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %821 = load i32, ptr %820, align 8, !tbaa !20
  %822 = mul nsw i32 %819, %821
  %823 = add nsw i32 %818, %822
  %824 = load i32, ptr %38, align 4, !tbaa !5
  %825 = add nsw i32 %823, %824
  %826 = sext i32 %825 to i64
  %827 = getelementptr inbounds float, ptr %811, i64 %826
  store float %809, ptr %827, align 4, !tbaa !23
  br label %828

828:                                              ; preds = %687, %667
  br label %829

829:                                              ; preds = %828
  %830 = load i32, ptr %38, align 4, !tbaa !5
  %831 = add nsw i32 %830, 1
  store i32 %831, ptr %38, align 4, !tbaa !5
  br label %662, !llvm.loop !32

832:                                              ; preds = %666
  br label %833

833:                                              ; preds = %832
  %834 = load i32, ptr %36, align 4, !tbaa !5
  %835 = add nsw i32 %834, 1
  store i32 %835, ptr %36, align 4, !tbaa !5
  %836 = load i32, ptr %37, align 4, !tbaa !5
  %837 = add nsw i32 %836, 1
  store i32 %837, ptr %37, align 4, !tbaa !5
  br label %655, !llvm.loop !33

838:                                              ; preds = %660
  br label %839

839:                                              ; preds = %838
  %840 = load i32, ptr %34, align 4, !tbaa !5
  %841 = add nsw i32 %840, 1
  store i32 %841, ptr %34, align 4, !tbaa !5
  %842 = load i32, ptr %35, align 4, !tbaa !5
  %843 = add nsw i32 %842, 1
  store i32 %843, ptr %35, align 4, !tbaa !5
  br label %642, !llvm.loop !34

844:                                              ; preds = %647
  invoke void @_ZN3IMG4statEi(ptr noundef nonnull align 8 dereferenceable(76) %33, i32 noundef 200)
          to label %845 unwind label %871

845:                                              ; preds = %844
  %846 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 8
  %847 = load i32, ptr %846, align 4, !tbaa !28
  %848 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 9
  %849 = load i32, ptr %848, align 8, !tbaa !29
  %850 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 6
  %851 = load i32, ptr %850, align 4, !tbaa !30
  %852 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 7
  %853 = load i32, ptr %852, align 8, !tbaa !31
  %854 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.38, i32 noundef %847, i32 noundef %849, i32 noundef %851, i32 noundef %853)
          to label %855 unwind label %871

855:                                              ; preds = %845
  %856 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.39)
          to label %857 unwind label %871

857:                                              ; preds = %855
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #11
  %858 = load i32, ptr %11, align 4, !tbaa !5
  %859 = sext i32 %858 to i64
  %860 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %859, i64 56)
  %861 = extractvalue { i64, i1 } %860, 1
  %862 = extractvalue { i64, i1 } %860, 0
  %863 = select i1 %861, i64 -1, i64 %862
  %864 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %863) #14
          to label %865 unwind label %875

865:                                              ; preds = %857
  store ptr %864, ptr %39, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #11
  store i32 0, ptr %40, align 4, !tbaa !5
  br label %866

866:                                              ; preds = %907, %865
  %867 = load i32, ptr %40, align 4, !tbaa !5
  %868 = load i32, ptr %11, align 4, !tbaa !5
  %869 = icmp slt i32 %867, %868
  br i1 %869, label %879, label %870

870:                                              ; preds = %866
  store i32 23, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #11
  br label %914

871:                                              ; preds = %855, %845, %844
  %872 = landingpad { ptr, i32 }
          cleanup
  %873 = extractvalue { ptr, i32 } %872, 0
  store ptr %873, ptr %17, align 8
  %874 = extractvalue { ptr, i32 } %872, 1
  store i32 %874, ptr %18, align 4
  br label %1527

875:                                              ; preds = %1333, %914, %857
  %876 = landingpad { ptr, i32 }
          cleanup
  %877 = extractvalue { ptr, i32 } %876, 0
  store ptr %877, ptr %17, align 8
  %878 = extractvalue { ptr, i32 } %876, 1
  store i32 %878, ptr %18, align 4
  br label %1526

879:                                              ; preds = %866
  %880 = load i32, ptr %40, align 4, !tbaa !5
  %881 = load ptr, ptr %39, align 8, !tbaa !9
  %882 = load i32, ptr %40, align 4, !tbaa !5
  %883 = sext i32 %882 to i64
  %884 = getelementptr inbounds %struct.Solver, ptr %881, i64 %883
  %885 = getelementptr inbounds %struct.Solver, ptr %884, i32 0, i32 0
  store i32 %880, ptr %885, align 8, !tbaa !35
  %886 = load ptr, ptr %39, align 8, !tbaa !9
  %887 = load i32, ptr %40, align 4, !tbaa !5
  %888 = sext i32 %887 to i64
  %889 = getelementptr inbounds %struct.Solver, ptr %886, i64 %888
  %890 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 9
  %891 = load i32, ptr %890, align 8, !tbaa !29
  %892 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 8
  %893 = load i32, ptr %892, align 4, !tbaa !28
  %894 = sub nsw i32 %891, %893
  %895 = add nsw i32 %894, 1
  %896 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %897 = load i32, ptr %896, align 8, !tbaa !19
  %898 = mul nsw i32 %895, %897
  %899 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 7
  %900 = load i32, ptr %899, align 8, !tbaa !31
  %901 = add nsw i32 %898, %900
  %902 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 6
  %903 = load i32, ptr %902, align 4, !tbaa !30
  %904 = sub nsw i32 %901, %903
  %905 = add nsw i32 %904, 1
  invoke void @_ZN6Solver6resizeEi(ptr noundef nonnull align 8 dereferenceable(56) %889, i32 noundef %905)
          to label %906 unwind label %910

906:                                              ; preds = %879
  br label %907

907:                                              ; preds = %906
  %908 = load i32, ptr %40, align 4, !tbaa !5
  %909 = add nsw i32 %908, 1
  store i32 %909, ptr %40, align 4, !tbaa !5
  br label %866, !llvm.loop !37

910:                                              ; preds = %879
  %911 = landingpad { ptr, i32 }
          cleanup
  %912 = extractvalue { ptr, i32 } %911, 0
  store ptr %912, ptr %17, align 8
  %913 = extractvalue { ptr, i32 } %911, 1
  store i32 %913, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #11
  br label %1526

914:                                              ; preds = %870
  %915 = load ptr, ptr %39, align 8, !tbaa !9
  %916 = getelementptr inbounds %struct.Solver, ptr %915, i64 0
  %917 = getelementptr inbounds %struct.Solver, ptr %916, i32 0, i32 2
  %918 = load i32, ptr %917, align 8, !tbaa !38
  %919 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.40, i32 noundef %918)
          to label %920 unwind label %875

920:                                              ; preds = %914
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #11
  %921 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 8
  %922 = load i32, ptr %921, align 4, !tbaa !28
  store i32 %922, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #11
  %923 = load i32, ptr %6, align 4, !tbaa !5
  store i32 %923, ptr %42, align 4, !tbaa !5
  br label %924

924:                                              ; preds = %1328, %920
  %925 = load i32, ptr %41, align 4, !tbaa !5
  %926 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 9
  %927 = load i32, ptr %926, align 8, !tbaa !29
  %928 = icmp sle i32 %925, %927
  br i1 %928, label %930, label %929

929:                                              ; preds = %924
  store i32 26, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #11
  br label %1333

930:                                              ; preds = %924
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #11
  %931 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 6
  %932 = load i32, ptr %931, align 4, !tbaa !30
  store i32 %932, ptr %43, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #11
  %933 = load i32, ptr %7, align 4, !tbaa !5
  store i32 %933, ptr %44, align 4, !tbaa !5
  br label %934

934:                                              ; preds = %1322, %930
  %935 = load i32, ptr %43, align 4, !tbaa !5
  %936 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 7
  %937 = load i32, ptr %936, align 8, !tbaa !31
  %938 = icmp sle i32 %935, %937
  br i1 %938, label %940, label %939

939:                                              ; preds = %934
  store i32 29, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #11
  br label %1327

940:                                              ; preds = %934
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #11
  store i32 0, ptr %45, align 4, !tbaa !5
  br label %941

941:                                              ; preds = %1318, %940
  %942 = load i32, ptr %45, align 4, !tbaa !5
  %943 = load i32, ptr %11, align 4, !tbaa !5
  %944 = icmp slt i32 %942, %943
  br i1 %944, label %946, label %945

945:                                              ; preds = %941
  store i32 32, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #11
  br label %1321

946:                                              ; preds = %941
  %947 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 1
  %948 = load ptr, ptr %947, align 8, !tbaa !21
  %949 = load i32, ptr %41, align 4, !tbaa !5
  %950 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %951 = load i32, ptr %950, align 8, !tbaa !19
  %952 = mul nsw i32 %949, %951
  %953 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %954 = load i32, ptr %953, align 8, !tbaa !20
  %955 = mul nsw i32 %952, %954
  %956 = load i32, ptr %43, align 4, !tbaa !5
  %957 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %958 = load i32, ptr %957, align 8, !tbaa !20
  %959 = mul nsw i32 %956, %958
  %960 = add nsw i32 %955, %959
  %961 = load i32, ptr %45, align 4, !tbaa !5
  %962 = add nsw i32 %960, %961
  %963 = sext i32 %962 to i64
  %964 = getelementptr inbounds i8, ptr %948, i64 %963
  %965 = load i8, ptr %964, align 1, !tbaa !11
  %966 = zext i8 %965 to i32
  %967 = icmp eq i32 %966, 255
  br i1 %967, label %968, label %1317

968:                                              ; preds = %946
  %969 = load i32, ptr %12, align 4, !tbaa !5
  %970 = icmp ne i32 %969, 0
  br i1 %970, label %971, label %1007

971:                                              ; preds = %968
  %972 = load ptr, ptr %39, align 8, !tbaa !9
  %973 = load i32, ptr %45, align 4, !tbaa !5
  %974 = sext i32 %973 to i64
  %975 = getelementptr inbounds %struct.Solver, ptr %972, i64 %974
  %976 = load i32, ptr %41, align 4, !tbaa !5
  %977 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %978 = load i32, ptr %977, align 8, !tbaa !19
  %979 = mul nsw i32 %976, %978
  %980 = load i32, ptr %43, align 4, !tbaa !5
  %981 = add nsw i32 %979, %980
  %982 = getelementptr inbounds %struct.IMG, ptr %27, i32 0, i32 0
  %983 = load ptr, ptr %982, align 8, !tbaa !22
  %984 = load i32, ptr %42, align 4, !tbaa !5
  %985 = getelementptr inbounds %struct.IMG, ptr %27, i32 0, i32 3
  %986 = load i32, ptr %985, align 8, !tbaa !19
  %987 = mul nsw i32 %984, %986
  %988 = getelementptr inbounds %struct.IMG, ptr %27, i32 0, i32 5
  %989 = load i32, ptr %988, align 8, !tbaa !20
  %990 = mul nsw i32 %987, %989
  %991 = load i32, ptr %44, align 4, !tbaa !5
  %992 = getelementptr inbounds %struct.IMG, ptr %27, i32 0, i32 5
  %993 = load i32, ptr %992, align 8, !tbaa !20
  %994 = mul nsw i32 %991, %993
  %995 = add nsw i32 %990, %994
  %996 = load i32, ptr %45, align 4, !tbaa !5
  %997 = add nsw i32 %995, %996
  %998 = sext i32 %997 to i64
  %999 = getelementptr inbounds float, ptr %983, i64 %998
  %1000 = load float, ptr %999, align 4, !tbaa !23
  %1001 = fptosi float %1000 to i32
  invoke void @_ZN6Solver7additemEii(ptr noundef nonnull align 8 dereferenceable(56) %975, i32 noundef %981, i32 noundef %1001)
          to label %1002 unwind label %1003

1002:                                             ; preds = %971
  br label %1039

1003:                                             ; preds = %1289, %1276, %1226, %1213, %1163, %1150, %1100, %1087, %1039, %1007, %971
  %1004 = landingpad { ptr, i32 }
          cleanup
  %1005 = extractvalue { ptr, i32 } %1004, 0
  store ptr %1005, ptr %17, align 8
  %1006 = extractvalue { ptr, i32 } %1004, 1
  store i32 %1006, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #11
  br label %1526

1007:                                             ; preds = %968
  %1008 = load ptr, ptr %39, align 8, !tbaa !9
  %1009 = load i32, ptr %45, align 4, !tbaa !5
  %1010 = sext i32 %1009 to i64
  %1011 = getelementptr inbounds %struct.Solver, ptr %1008, i64 %1010
  %1012 = load i32, ptr %41, align 4, !tbaa !5
  %1013 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1014 = load i32, ptr %1013, align 8, !tbaa !19
  %1015 = mul nsw i32 %1012, %1014
  %1016 = load i32, ptr %43, align 4, !tbaa !5
  %1017 = add nsw i32 %1015, %1016
  %1018 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 0
  %1019 = load ptr, ptr %1018, align 8, !tbaa !22
  %1020 = load i32, ptr %42, align 4, !tbaa !5
  %1021 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 3
  %1022 = load i32, ptr %1021, align 8, !tbaa !19
  %1023 = mul nsw i32 %1020, %1022
  %1024 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1025 = load i32, ptr %1024, align 8, !tbaa !20
  %1026 = mul nsw i32 %1023, %1025
  %1027 = load i32, ptr %44, align 4, !tbaa !5
  %1028 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1029 = load i32, ptr %1028, align 8, !tbaa !20
  %1030 = mul nsw i32 %1027, %1029
  %1031 = add nsw i32 %1026, %1030
  %1032 = load i32, ptr %45, align 4, !tbaa !5
  %1033 = add nsw i32 %1031, %1032
  %1034 = sext i32 %1033 to i64
  %1035 = getelementptr inbounds float, ptr %1019, i64 %1034
  %1036 = load float, ptr %1035, align 4, !tbaa !23
  %1037 = fptosi float %1036 to i32
  invoke void @_ZN6Solver7additemEii(ptr noundef nonnull align 8 dereferenceable(56) %1011, i32 noundef %1017, i32 noundef %1037)
          to label %1038 unwind label %1003

1038:                                             ; preds = %1007
  br label %1039

1039:                                             ; preds = %1038, %1002
  %1040 = load ptr, ptr %39, align 8, !tbaa !9
  %1041 = load i32, ptr %45, align 4, !tbaa !5
  %1042 = sext i32 %1041 to i64
  %1043 = getelementptr inbounds %struct.Solver, ptr %1040, i64 %1042
  %1044 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 0
  %1045 = load ptr, ptr %1044, align 8, !tbaa !22
  %1046 = load i32, ptr %41, align 4, !tbaa !5
  %1047 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1048 = load i32, ptr %1047, align 8, !tbaa !19
  %1049 = mul nsw i32 %1046, %1048
  %1050 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1051 = load i32, ptr %1050, align 8, !tbaa !20
  %1052 = mul nsw i32 %1049, %1051
  %1053 = load i32, ptr %43, align 4, !tbaa !5
  %1054 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1055 = load i32, ptr %1054, align 8, !tbaa !20
  %1056 = mul nsw i32 %1053, %1055
  %1057 = add nsw i32 %1052, %1056
  %1058 = load i32, ptr %45, align 4, !tbaa !5
  %1059 = add nsw i32 %1057, %1058
  %1060 = sext i32 %1059 to i64
  %1061 = getelementptr inbounds float, ptr %1045, i64 %1060
  %1062 = load float, ptr %1061, align 4, !tbaa !23
  %1063 = fptosi float %1062 to i32
  invoke void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %1043, i32 noundef %1063)
          to label %1064 unwind label %1003

1064:                                             ; preds = %1039
  %1065 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 1
  %1066 = load ptr, ptr %1065, align 8, !tbaa !21
  %1067 = load i32, ptr %41, align 4, !tbaa !5
  %1068 = sub nsw i32 %1067, 1
  %1069 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1070 = load i32, ptr %1069, align 8, !tbaa !19
  %1071 = mul nsw i32 %1068, %1070
  %1072 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1073 = load i32, ptr %1072, align 8, !tbaa !20
  %1074 = mul nsw i32 %1071, %1073
  %1075 = load i32, ptr %43, align 4, !tbaa !5
  %1076 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1077 = load i32, ptr %1076, align 8, !tbaa !20
  %1078 = mul nsw i32 %1075, %1077
  %1079 = add nsw i32 %1074, %1078
  %1080 = load i32, ptr %45, align 4, !tbaa !5
  %1081 = add nsw i32 %1079, %1080
  %1082 = sext i32 %1081 to i64
  %1083 = getelementptr inbounds i8, ptr %1066, i64 %1082
  %1084 = load i8, ptr %1083, align 1, !tbaa !11
  %1085 = zext i8 %1084 to i32
  %1086 = icmp eq i32 %1085, 255
  br i1 %1086, label %1087, label %1100

1087:                                             ; preds = %1064
  %1088 = load ptr, ptr %39, align 8, !tbaa !9
  %1089 = load i32, ptr %45, align 4, !tbaa !5
  %1090 = sext i32 %1089 to i64
  %1091 = getelementptr inbounds %struct.Solver, ptr %1088, i64 %1090
  %1092 = load i32, ptr %41, align 4, !tbaa !5
  %1093 = sub nsw i32 %1092, 1
  %1094 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1095 = load i32, ptr %1094, align 8, !tbaa !19
  %1096 = mul nsw i32 %1093, %1095
  %1097 = load i32, ptr %43, align 4, !tbaa !5
  %1098 = add nsw i32 %1096, %1097
  invoke void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56) %1091, i32 noundef %1098)
          to label %1099 unwind label %1003

1099:                                             ; preds = %1087
  br label %1127

1100:                                             ; preds = %1064
  %1101 = load ptr, ptr %39, align 8, !tbaa !9
  %1102 = load i32, ptr %45, align 4, !tbaa !5
  %1103 = sext i32 %1102 to i64
  %1104 = getelementptr inbounds %struct.Solver, ptr %1101, i64 %1103
  %1105 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 0
  %1106 = load ptr, ptr %1105, align 8, !tbaa !22
  %1107 = load i32, ptr %42, align 4, !tbaa !5
  %1108 = sub nsw i32 %1107, 1
  %1109 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 3
  %1110 = load i32, ptr %1109, align 8, !tbaa !19
  %1111 = mul nsw i32 %1108, %1110
  %1112 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1113 = load i32, ptr %1112, align 8, !tbaa !20
  %1114 = mul nsw i32 %1111, %1113
  %1115 = load i32, ptr %44, align 4, !tbaa !5
  %1116 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1117 = load i32, ptr %1116, align 8, !tbaa !20
  %1118 = mul nsw i32 %1115, %1117
  %1119 = add nsw i32 %1114, %1118
  %1120 = load i32, ptr %45, align 4, !tbaa !5
  %1121 = add nsw i32 %1119, %1120
  %1122 = sext i32 %1121 to i64
  %1123 = getelementptr inbounds float, ptr %1106, i64 %1122
  %1124 = load float, ptr %1123, align 4, !tbaa !23
  %1125 = fptosi float %1124 to i32
  invoke void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %1104, i32 noundef %1125)
          to label %1126 unwind label %1003

1126:                                             ; preds = %1100
  br label %1127

1127:                                             ; preds = %1126, %1099
  %1128 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 1
  %1129 = load ptr, ptr %1128, align 8, !tbaa !21
  %1130 = load i32, ptr %41, align 4, !tbaa !5
  %1131 = add nsw i32 %1130, 1
  %1132 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1133 = load i32, ptr %1132, align 8, !tbaa !19
  %1134 = mul nsw i32 %1131, %1133
  %1135 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1136 = load i32, ptr %1135, align 8, !tbaa !20
  %1137 = mul nsw i32 %1134, %1136
  %1138 = load i32, ptr %43, align 4, !tbaa !5
  %1139 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1140 = load i32, ptr %1139, align 8, !tbaa !20
  %1141 = mul nsw i32 %1138, %1140
  %1142 = add nsw i32 %1137, %1141
  %1143 = load i32, ptr %45, align 4, !tbaa !5
  %1144 = add nsw i32 %1142, %1143
  %1145 = sext i32 %1144 to i64
  %1146 = getelementptr inbounds i8, ptr %1129, i64 %1145
  %1147 = load i8, ptr %1146, align 1, !tbaa !11
  %1148 = zext i8 %1147 to i32
  %1149 = icmp eq i32 %1148, 255
  br i1 %1149, label %1150, label %1163

1150:                                             ; preds = %1127
  %1151 = load ptr, ptr %39, align 8, !tbaa !9
  %1152 = load i32, ptr %45, align 4, !tbaa !5
  %1153 = sext i32 %1152 to i64
  %1154 = getelementptr inbounds %struct.Solver, ptr %1151, i64 %1153
  %1155 = load i32, ptr %41, align 4, !tbaa !5
  %1156 = add nsw i32 %1155, 1
  %1157 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1158 = load i32, ptr %1157, align 8, !tbaa !19
  %1159 = mul nsw i32 %1156, %1158
  %1160 = load i32, ptr %43, align 4, !tbaa !5
  %1161 = add nsw i32 %1159, %1160
  invoke void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56) %1154, i32 noundef %1161)
          to label %1162 unwind label %1003

1162:                                             ; preds = %1150
  br label %1190

1163:                                             ; preds = %1127
  %1164 = load ptr, ptr %39, align 8, !tbaa !9
  %1165 = load i32, ptr %45, align 4, !tbaa !5
  %1166 = sext i32 %1165 to i64
  %1167 = getelementptr inbounds %struct.Solver, ptr %1164, i64 %1166
  %1168 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 0
  %1169 = load ptr, ptr %1168, align 8, !tbaa !22
  %1170 = load i32, ptr %42, align 4, !tbaa !5
  %1171 = add nsw i32 %1170, 1
  %1172 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 3
  %1173 = load i32, ptr %1172, align 8, !tbaa !19
  %1174 = mul nsw i32 %1171, %1173
  %1175 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1176 = load i32, ptr %1175, align 8, !tbaa !20
  %1177 = mul nsw i32 %1174, %1176
  %1178 = load i32, ptr %44, align 4, !tbaa !5
  %1179 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1180 = load i32, ptr %1179, align 8, !tbaa !20
  %1181 = mul nsw i32 %1178, %1180
  %1182 = add nsw i32 %1177, %1181
  %1183 = load i32, ptr %45, align 4, !tbaa !5
  %1184 = add nsw i32 %1182, %1183
  %1185 = sext i32 %1184 to i64
  %1186 = getelementptr inbounds float, ptr %1169, i64 %1185
  %1187 = load float, ptr %1186, align 4, !tbaa !23
  %1188 = fptosi float %1187 to i32
  invoke void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %1167, i32 noundef %1188)
          to label %1189 unwind label %1003

1189:                                             ; preds = %1163
  br label %1190

1190:                                             ; preds = %1189, %1162
  %1191 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 1
  %1192 = load ptr, ptr %1191, align 8, !tbaa !21
  %1193 = load i32, ptr %41, align 4, !tbaa !5
  %1194 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1195 = load i32, ptr %1194, align 8, !tbaa !19
  %1196 = mul nsw i32 %1193, %1195
  %1197 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1198 = load i32, ptr %1197, align 8, !tbaa !20
  %1199 = mul nsw i32 %1196, %1198
  %1200 = load i32, ptr %43, align 4, !tbaa !5
  %1201 = sub nsw i32 %1200, 1
  %1202 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1203 = load i32, ptr %1202, align 8, !tbaa !20
  %1204 = mul nsw i32 %1201, %1203
  %1205 = add nsw i32 %1199, %1204
  %1206 = load i32, ptr %45, align 4, !tbaa !5
  %1207 = add nsw i32 %1205, %1206
  %1208 = sext i32 %1207 to i64
  %1209 = getelementptr inbounds i8, ptr %1192, i64 %1208
  %1210 = load i8, ptr %1209, align 1, !tbaa !11
  %1211 = zext i8 %1210 to i32
  %1212 = icmp eq i32 %1211, 255
  br i1 %1212, label %1213, label %1226

1213:                                             ; preds = %1190
  %1214 = load ptr, ptr %39, align 8, !tbaa !9
  %1215 = load i32, ptr %45, align 4, !tbaa !5
  %1216 = sext i32 %1215 to i64
  %1217 = getelementptr inbounds %struct.Solver, ptr %1214, i64 %1216
  %1218 = load i32, ptr %41, align 4, !tbaa !5
  %1219 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1220 = load i32, ptr %1219, align 8, !tbaa !19
  %1221 = mul nsw i32 %1218, %1220
  %1222 = load i32, ptr %43, align 4, !tbaa !5
  %1223 = add nsw i32 %1221, %1222
  %1224 = sub nsw i32 %1223, 1
  invoke void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56) %1217, i32 noundef %1224)
          to label %1225 unwind label %1003

1225:                                             ; preds = %1213
  br label %1253

1226:                                             ; preds = %1190
  %1227 = load ptr, ptr %39, align 8, !tbaa !9
  %1228 = load i32, ptr %45, align 4, !tbaa !5
  %1229 = sext i32 %1228 to i64
  %1230 = getelementptr inbounds %struct.Solver, ptr %1227, i64 %1229
  %1231 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 0
  %1232 = load ptr, ptr %1231, align 8, !tbaa !22
  %1233 = load i32, ptr %42, align 4, !tbaa !5
  %1234 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 3
  %1235 = load i32, ptr %1234, align 8, !tbaa !19
  %1236 = mul nsw i32 %1233, %1235
  %1237 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1238 = load i32, ptr %1237, align 8, !tbaa !20
  %1239 = mul nsw i32 %1236, %1238
  %1240 = load i32, ptr %44, align 4, !tbaa !5
  %1241 = sub nsw i32 %1240, 1
  %1242 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1243 = load i32, ptr %1242, align 8, !tbaa !20
  %1244 = mul nsw i32 %1241, %1243
  %1245 = add nsw i32 %1239, %1244
  %1246 = load i32, ptr %45, align 4, !tbaa !5
  %1247 = add nsw i32 %1245, %1246
  %1248 = sext i32 %1247 to i64
  %1249 = getelementptr inbounds float, ptr %1232, i64 %1248
  %1250 = load float, ptr %1249, align 4, !tbaa !23
  %1251 = fptosi float %1250 to i32
  invoke void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %1230, i32 noundef %1251)
          to label %1252 unwind label %1003

1252:                                             ; preds = %1226
  br label %1253

1253:                                             ; preds = %1252, %1225
  %1254 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 1
  %1255 = load ptr, ptr %1254, align 8, !tbaa !21
  %1256 = load i32, ptr %41, align 4, !tbaa !5
  %1257 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1258 = load i32, ptr %1257, align 8, !tbaa !19
  %1259 = mul nsw i32 %1256, %1258
  %1260 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1261 = load i32, ptr %1260, align 8, !tbaa !20
  %1262 = mul nsw i32 %1259, %1261
  %1263 = load i32, ptr %43, align 4, !tbaa !5
  %1264 = add nsw i32 %1263, 1
  %1265 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1266 = load i32, ptr %1265, align 8, !tbaa !20
  %1267 = mul nsw i32 %1264, %1266
  %1268 = add nsw i32 %1262, %1267
  %1269 = load i32, ptr %45, align 4, !tbaa !5
  %1270 = add nsw i32 %1268, %1269
  %1271 = sext i32 %1270 to i64
  %1272 = getelementptr inbounds i8, ptr %1255, i64 %1271
  %1273 = load i8, ptr %1272, align 1, !tbaa !11
  %1274 = zext i8 %1273 to i32
  %1275 = icmp eq i32 %1274, 255
  br i1 %1275, label %1276, label %1289

1276:                                             ; preds = %1253
  %1277 = load ptr, ptr %39, align 8, !tbaa !9
  %1278 = load i32, ptr %45, align 4, !tbaa !5
  %1279 = sext i32 %1278 to i64
  %1280 = getelementptr inbounds %struct.Solver, ptr %1277, i64 %1279
  %1281 = load i32, ptr %41, align 4, !tbaa !5
  %1282 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1283 = load i32, ptr %1282, align 8, !tbaa !19
  %1284 = mul nsw i32 %1281, %1283
  %1285 = load i32, ptr %43, align 4, !tbaa !5
  %1286 = add nsw i32 %1284, %1285
  %1287 = add nsw i32 %1286, 1
  invoke void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56) %1280, i32 noundef %1287)
          to label %1288 unwind label %1003

1288:                                             ; preds = %1276
  br label %1316

1289:                                             ; preds = %1253
  %1290 = load ptr, ptr %39, align 8, !tbaa !9
  %1291 = load i32, ptr %45, align 4, !tbaa !5
  %1292 = sext i32 %1291 to i64
  %1293 = getelementptr inbounds %struct.Solver, ptr %1290, i64 %1292
  %1294 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 0
  %1295 = load ptr, ptr %1294, align 8, !tbaa !22
  %1296 = load i32, ptr %42, align 4, !tbaa !5
  %1297 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 3
  %1298 = load i32, ptr %1297, align 8, !tbaa !19
  %1299 = mul nsw i32 %1296, %1298
  %1300 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1301 = load i32, ptr %1300, align 8, !tbaa !20
  %1302 = mul nsw i32 %1299, %1301
  %1303 = load i32, ptr %44, align 4, !tbaa !5
  %1304 = add nsw i32 %1303, 1
  %1305 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1306 = load i32, ptr %1305, align 8, !tbaa !20
  %1307 = mul nsw i32 %1304, %1306
  %1308 = add nsw i32 %1302, %1307
  %1309 = load i32, ptr %45, align 4, !tbaa !5
  %1310 = add nsw i32 %1308, %1309
  %1311 = sext i32 %1310 to i64
  %1312 = getelementptr inbounds float, ptr %1295, i64 %1311
  %1313 = load float, ptr %1312, align 4, !tbaa !23
  %1314 = fptosi float %1313 to i32
  invoke void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %1293, i32 noundef %1314)
          to label %1315 unwind label %1003

1315:                                             ; preds = %1289
  br label %1316

1316:                                             ; preds = %1315, %1288
  br label %1317

1317:                                             ; preds = %1316, %946
  br label %1318

1318:                                             ; preds = %1317
  %1319 = load i32, ptr %45, align 4, !tbaa !5
  %1320 = add nsw i32 %1319, 1
  store i32 %1320, ptr %45, align 4, !tbaa !5
  br label %941, !llvm.loop !39

1321:                                             ; preds = %945
  br label %1322

1322:                                             ; preds = %1321
  %1323 = load i32, ptr %43, align 4, !tbaa !5
  %1324 = add nsw i32 %1323, 1
  store i32 %1324, ptr %43, align 4, !tbaa !5
  %1325 = load i32, ptr %44, align 4, !tbaa !5
  %1326 = add nsw i32 %1325, 1
  store i32 %1326, ptr %44, align 4, !tbaa !5
  br label %934, !llvm.loop !40

1327:                                             ; preds = %939
  br label %1328

1328:                                             ; preds = %1327
  %1329 = load i32, ptr %41, align 4, !tbaa !5
  %1330 = add nsw i32 %1329, 1
  store i32 %1330, ptr %41, align 4, !tbaa !5
  %1331 = load i32, ptr %42, align 4, !tbaa !5
  %1332 = add nsw i32 %1331, 1
  store i32 %1332, ptr %42, align 4, !tbaa !5
  br label %924, !llvm.loop !41

1333:                                             ; preds = %929
  %1334 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.41)
          to label %1335 unwind label %875

1335:                                             ; preds = %1333
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #11
  %1336 = load i32, ptr %12, align 4, !tbaa !5
  %1337 = add nsw i32 %1336, 1
  store i32 %1337, ptr %46, align 4, !tbaa !5
  br label %1338

1338:                                             ; preds = %1521, %1335
  %1339 = load i32, ptr %46, align 4, !tbaa !5
  %1340 = load i32, ptr %8, align 4, !tbaa !5
  %1341 = add nsw i32 %1340, 1
  %1342 = icmp sle i32 %1339, %1341
  br i1 %1342, label %1344, label %1343

1343:                                             ; preds = %1338
  store i32 35, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #11
  br label %1525

1344:                                             ; preds = %1338
  %1345 = load i32, ptr %46, align 4, !tbaa !5
  %1346 = load i32, ptr %10, align 4, !tbaa !5
  %1347 = srem i32 %1345, %1346
  %1348 = icmp eq i32 %1347, 0
  br i1 %1348, label %1358, label %1349

1349:                                             ; preds = %1344
  %1350 = load i32, ptr %46, align 4, !tbaa !5
  %1351 = load i32, ptr %9, align 4, !tbaa !5
  %1352 = icmp sle i32 %1350, %1351
  br i1 %1352, label %1358, label %1353

1353:                                             ; preds = %1349
  %1354 = load i32, ptr %46, align 4, !tbaa !5
  %1355 = load i32, ptr %8, align 4, !tbaa !5
  %1356 = add nsw i32 %1355, 1
  %1357 = icmp eq i32 %1354, %1356
  br i1 %1357, label %1358, label %1501

1358:                                             ; preds = %1353, %1349, %1344
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #11
  %1359 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 8
  %1360 = load i32, ptr %1359, align 4, !tbaa !28
  store i32 %1360, ptr %47, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #11
  %1361 = load i32, ptr %6, align 4, !tbaa !5
  store i32 %1361, ptr %48, align 4, !tbaa !5
  br label %1362

1362:                                             ; preds = %1451, %1358
  %1363 = load i32, ptr %47, align 4, !tbaa !5
  %1364 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 9
  %1365 = load i32, ptr %1364, align 8, !tbaa !29
  %1366 = icmp sle i32 %1363, %1365
  br i1 %1366, label %1368, label %1367

1367:                                             ; preds = %1362
  store i32 38, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #11
  br label %1456

1368:                                             ; preds = %1362
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #11
  %1369 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 6
  %1370 = load i32, ptr %1369, align 4, !tbaa !30
  store i32 %1370, ptr %49, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #11
  %1371 = load i32, ptr %7, align 4, !tbaa !5
  store i32 %1371, ptr %50, align 4, !tbaa !5
  br label %1372

1372:                                             ; preds = %1445, %1368
  %1373 = load i32, ptr %49, align 4, !tbaa !5
  %1374 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 7
  %1375 = load i32, ptr %1374, align 8, !tbaa !31
  %1376 = icmp sle i32 %1373, %1375
  br i1 %1376, label %1378, label %1377

1377:                                             ; preds = %1372
  store i32 41, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #11
  br label %1450

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

1379:                                             ; preds = %1441, %1378
  %1380 = load i32, ptr %51, align 4, !tbaa !5
  %1381 = load i32, ptr %11, align 4, !tbaa !5
  %1382 = icmp slt i32 %1380, %1381
  br i1 %1382, label %1384, label %1383

1383:                                             ; preds = %1379
  store i32 44, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #11
  br label %1444

1384:                                             ; preds = %1379
  %1385 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 1
  %1386 = load ptr, ptr %1385, align 8, !tbaa !21
  %1387 = load i32, ptr %47, align 4, !tbaa !5
  %1388 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1389 = load i32, ptr %1388, align 8, !tbaa !19
  %1390 = mul nsw i32 %1387, %1389
  %1391 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1392 = load i32, ptr %1391, align 8, !tbaa !20
  %1393 = mul nsw i32 %1390, %1392
  %1394 = load i32, ptr %49, align 4, !tbaa !5
  %1395 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 5
  %1396 = load i32, ptr %1395, align 8, !tbaa !20
  %1397 = mul nsw i32 %1394, %1396
  %1398 = add nsw i32 %1393, %1397
  %1399 = load i32, ptr %51, align 4, !tbaa !5
  %1400 = add nsw i32 %1398, %1399
  %1401 = sext i32 %1400 to i64
  %1402 = getelementptr inbounds i8, ptr %1386, i64 %1401
  %1403 = load i8, ptr %1402, align 1, !tbaa !11
  %1404 = zext i8 %1403 to i32
  %1405 = icmp eq i32 %1404, 255
  br i1 %1405, label %1406, label %1440

1406:                                             ; preds = %1384
  %1407 = load ptr, ptr %39, align 8, !tbaa !9
  %1408 = load i32, ptr %51, align 4, !tbaa !5
  %1409 = sext i32 %1408 to i64
  %1410 = getelementptr inbounds %struct.Solver, ptr %1407, i64 %1409
  %1411 = getelementptr inbounds %struct.Solver, ptr %1410, i32 0, i32 3
  %1412 = load ptr, ptr %1411, align 8, !tbaa !42
  %1413 = load i32, ptr %47, align 4, !tbaa !5
  %1414 = getelementptr inbounds %struct.IMG, ptr %33, i32 0, i32 3
  %1415 = load i32, ptr %1414, align 8, !tbaa !19
  %1416 = mul nsw i32 %1413, %1415
  %1417 = load i32, ptr %49, align 4, !tbaa !5
  %1418 = add nsw i32 %1416, %1417
  %1419 = sext i32 %1418 to i64
  %1420 = getelementptr inbounds float, ptr %1412, i64 %1419
  %1421 = load float, ptr %1420, align 4, !tbaa !23
  %1422 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 0
  %1423 = load ptr, ptr %1422, align 8, !tbaa !22
  %1424 = load i32, ptr %48, align 4, !tbaa !5
  %1425 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 3
  %1426 = load i32, ptr %1425, align 8, !tbaa !19
  %1427 = mul nsw i32 %1424, %1426
  %1428 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1429 = load i32, ptr %1428, align 8, !tbaa !20
  %1430 = mul nsw i32 %1427, %1429
  %1431 = load i32, ptr %50, align 4, !tbaa !5
  %1432 = getelementptr inbounds %struct.IMG, ptr %25, i32 0, i32 5
  %1433 = load i32, ptr %1432, align 8, !tbaa !20
  %1434 = mul nsw i32 %1431, %1433
  %1435 = add nsw i32 %1430, %1434
  %1436 = load i32, ptr %51, align 4, !tbaa !5
  %1437 = add nsw i32 %1435, %1436
  %1438 = sext i32 %1437 to i64
  %1439 = getelementptr inbounds float, ptr %1423, i64 %1438
  store float %1421, ptr %1439, align 4, !tbaa !23
  br label %1440

1440:                                             ; preds = %1406, %1384
  br label %1441

1441:                                             ; preds = %1440
  %1442 = load i32, ptr %51, align 4, !tbaa !5
  %1443 = add nsw i32 %1442, 1
  store i32 %1443, ptr %51, align 4, !tbaa !5
  br label %1379, !llvm.loop !43

1444:                                             ; preds = %1383
  br label %1445

1445:                                             ; preds = %1444
  %1446 = load i32, ptr %49, align 4, !tbaa !5
  %1447 = add nsw i32 %1446, 1
  store i32 %1447, ptr %49, align 4, !tbaa !5
  %1448 = load i32, ptr %50, align 4, !tbaa !5
  %1449 = add nsw i32 %1448, 1
  store i32 %1449, ptr %50, align 4, !tbaa !5
  br label %1372, !llvm.loop !44

1450:                                             ; preds = %1377
  br label %1451

1451:                                             ; preds = %1450
  %1452 = load i32, ptr %47, align 4, !tbaa !5
  %1453 = add nsw i32 %1452, 1
  store i32 %1453, ptr %47, align 4, !tbaa !5
  %1454 = load i32, ptr %48, align 4, !tbaa !5
  %1455 = add nsw i32 %1454, 1
  store i32 %1455, ptr %48, align 4, !tbaa !5
  br label %1362, !llvm.loop !45

1456:                                             ; preds = %1367
  %1457 = load i32, ptr %46, align 4, !tbaa !5
  %1458 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.42, i32 noundef %1457)
          to label %1459 unwind label %1465

1459:                                             ; preds = %1456
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #11
  store i32 0, ptr %52, align 4, !tbaa !5
  br label %1460

1460:                                             ; preds = %1479, %1459
  %1461 = load i32, ptr %52, align 4, !tbaa !5
  %1462 = load i32, ptr %11, align 4, !tbaa !5
  %1463 = icmp slt i32 %1461, %1462
  br i1 %1463, label %1469, label %1464

1464:                                             ; preds = %1460
  store i32 47, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #11
  br label %1486

1465:                                             ; preds = %1497, %1493, %1486, %1456
  %1466 = landingpad { ptr, i32 }
          cleanup
  %1467 = extractvalue { ptr, i32 } %1466, 0
  store ptr %1467, ptr %17, align 8
  %1468 = extractvalue { ptr, i32 } %1466, 1
  store i32 %1468, ptr %18, align 4
  br label %1524

1469:                                             ; preds = %1460
  %1470 = load ptr, ptr %39, align 8, !tbaa !9
  %1471 = load i32, ptr %52, align 4, !tbaa !5
  %1472 = sext i32 %1471 to i64
  %1473 = getelementptr inbounds %struct.Solver, ptr %1470, i64 %1472
  %1474 = getelementptr inbounds %struct.Solver, ptr %1473, i32 0, i32 6
  %1475 = load float, ptr %1474, align 8, !tbaa !46
  %1476 = fpext float %1475 to double
  %1477 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.43, double noundef %1476)
          to label %1478 unwind label %1482

1478:                                             ; preds = %1469
  br label %1479

1479:                                             ; preds = %1478
  %1480 = load i32, ptr %52, align 4, !tbaa !5
  %1481 = add nsw i32 %1480, 1
  store i32 %1481, ptr %52, align 4, !tbaa !5
  br label %1460, !llvm.loop !47

1482:                                             ; preds = %1469
  %1483 = landingpad { ptr, i32 }
          cleanup
  %1484 = extractvalue { ptr, i32 } %1483, 0
  store ptr %1484, ptr %17, align 8
  %1485 = extractvalue { ptr, i32 } %1483, 1
  store i32 %1485, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #11
  br label %1524

1486:                                             ; preds = %1464
  %1487 = invoke i32 @puts(ptr noundef @.str.24)
          to label %1488 unwind label %1465

1488:                                             ; preds = %1486
  %1489 = load i32, ptr %46, align 4, !tbaa !5
  %1490 = load i32, ptr %8, align 4, !tbaa !5
  %1491 = add nsw i32 %1490, 1
  %1492 = icmp ne i32 %1489, %1491
  br i1 %1492, label %1493, label %1497

1493:                                             ; preds = %1488
  %1494 = load i32, ptr %46, align 4, !tbaa !5
  %1495 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef @str, ptr noundef @.str.27, i32 noundef %1494) #11
  invoke void @_ZN3IMG5writeEPKc(ptr noundef nonnull align 8 dereferenceable(76) %25, ptr noundef @str)
          to label %1496 unwind label %1465

1496:                                             ; preds = %1493
  br label %1500

1497:                                             ; preds = %1488
  %1498 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %16) #11
  invoke void @_ZN3IMG5writeEPKc(ptr noundef nonnull align 8 dereferenceable(76) %25, ptr noundef %1498)
          to label %1499 unwind label %1465

1499:                                             ; preds = %1497
  br label %1500

1500:                                             ; preds = %1499, %1496
  br label %1501

1501:                                             ; preds = %1500, %1353
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #11
  store i32 0, ptr %53, align 4, !tbaa !5
  br label %1502

1502:                                             ; preds = %1513, %1501
  %1503 = load i32, ptr %53, align 4, !tbaa !5
  %1504 = load i32, ptr %11, align 4, !tbaa !5
  %1505 = icmp slt i32 %1503, %1504
  br i1 %1505, label %1507, label %1506

1506:                                             ; preds = %1502
  store i32 50, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #11
  br label %1520

1507:                                             ; preds = %1502
  %1508 = load ptr, ptr %39, align 8, !tbaa !9
  %1509 = load i32, ptr %53, align 4, !tbaa !5
  %1510 = sext i32 %1509 to i64
  %1511 = getelementptr inbounds %struct.Solver, ptr %1508, i64 %1510
  invoke void @_ZN6Solver4iterEv(ptr noundef nonnull align 8 dereferenceable(56) %1511)
          to label %1512 unwind label %1516

1512:                                             ; preds = %1507
  br label %1513

1513:                                             ; preds = %1512
  %1514 = load i32, ptr %53, align 4, !tbaa !5
  %1515 = add nsw i32 %1514, 1
  store i32 %1515, ptr %53, align 4, !tbaa !5
  br label %1502, !llvm.loop !48

1516:                                             ; preds = %1507
  %1517 = landingpad { ptr, i32 }
          cleanup
  %1518 = extractvalue { ptr, i32 } %1517, 0
  store ptr %1518, ptr %17, align 8
  %1519 = extractvalue { ptr, i32 } %1517, 1
  store i32 %1519, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #11
  br label %1524

1520:                                             ; preds = %1506
  br label %1521

1521:                                             ; preds = %1520
  %1522 = load i32, ptr %46, align 4, !tbaa !5
  %1523 = add nsw i32 %1522, 1
  store i32 %1523, ptr %46, align 4, !tbaa !5
  br label %1338, !llvm.loop !49

1524:                                             ; preds = %1516, %1482, %1465
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #11
  br label %1526

1525:                                             ; preds = %1343
  store i32 0, ptr %3, align 4
  store i32 1, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %33) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr %33) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %27) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr %27) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %25) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr %25) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %23) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr %23) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %21) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr %21) #11
  br label %1534

1526:                                             ; preds = %1524, %1003, %910, %875
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #11
  br label %1527

1527:                                             ; preds = %1526, %871
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %33) #11
  br label %1528

1528:                                             ; preds = %1527, %648
  call void @llvm.lifetime.end.p0(i64 80, ptr %33) #11
  br label %1529

1529:                                             ; preds = %1528, %500
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %27) #11
  br label %1530

1530:                                             ; preds = %1529, %499
  call void @llvm.lifetime.end.p0(i64 80, ptr %27) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %25) #11
  br label %1531

1531:                                             ; preds = %1530, %487, %483
  call void @llvm.lifetime.end.p0(i64 80, ptr %25) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %23) #11
  br label %1532

1532:                                             ; preds = %1531, %479, %475
  call void @llvm.lifetime.end.p0(i64 80, ptr %23) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %21) #11
  br label %1533

1533:                                             ; preds = %1532, %471, %467
  call void @llvm.lifetime.end.p0(i64 80, ptr %21) #11
  br label %1536

1534:                                             ; preds = %1525, %437, %428, %88
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #11
  %1535 = load i32, ptr %3, align 4
  ret i32 %1535

1536:                                             ; preds = %1533, %138, %89
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #11
  br label %1537

1537:                                             ; preds = %1536
  %1538 = load ptr, ptr %17, align 8
  %1539 = load i32, ptr %18, align 4
  %1540 = insertvalue { ptr, i32 } poison, ptr %1538, 0
  %1541 = insertvalue { ptr, i32 } %1540, i32 %1539, 1
  resume { ptr, i32 } %1541
}

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #3 align 2

declare i32 @puts(ptr noundef) #4

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) #5 align 2

; Function Attrs: inlinehint mustprogress nounwind willreturn memory(read) uwtable
declare i32 @atoi(ptr noundef nonnull) #6

; Function Attrs: nounwind
declare i32 @sprintf(ptr noundef, ptr noundef, ...) #7

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) #8

; Function Attrs: mustprogress uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #5 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76), ptr noundef) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #5 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3IMG4initEiii(ptr noundef nonnull align 8 dereferenceable(76), i32 noundef, i32 noundef, i32 noundef) #5 align 2

declare i32 @printf(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)) #8

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3IMG4statEi(ptr noundef nonnull align 8 dereferenceable(76), i32 noundef) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3IMGC2Eiii(ptr noundef nonnull align 8 dereferenceable(76), i32 noundef, i32 noundef, i32 noundef) unnamed_addr #5 align 2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.fmuladd.f32(float, float, float) #9

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #9

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) #10

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6Solver6resizeEi(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef) #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN6Solver7additemEii(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef, i32 noundef) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3IMG5writeEPKc(ptr noundef nonnull align 8 dereferenceable(76), ptr noundef) #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6Solver4iterEv(ptr noundef nonnull align 8 dereferenceable(56)) #5 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #3 align 2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { noreturn 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 #2 = { mustprogress norecurse 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 #3 = { 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 = { "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 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 #6 = { inlinehint mustprogress nounwind willreturn memory(read) 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 #7 = { 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 #8 = { 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 #9 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #10 = { nobuiltin allocsize(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 #11 = { nounwind }
attributes #12 = { nounwind willreturn memory(read) }
attributes #13 = { noreturn nounwind }
attributes #14 = { builtin allocsize(0) }

!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 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = !{!15, !6, i64 52}
!15 = !{!"_ZTS3IMG", !10, i64 0, !10, i64 8, !16, i64 16, !6, i64 48, !6, i64 52, !6, i64 56, !6, i64 60, !6, i64 64, !6, i64 68, !6, i64 72}
!16 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !17, i64 0, !18, i64 8, !7, i64 16}
!17 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !10, i64 0}
!18 = !{!"long", !7, i64 0}
!19 = !{!15, !6, i64 48}
!20 = !{!15, !6, i64 56}
!21 = !{!15, !10, i64 8}
!22 = !{!15, !10, i64 0}
!23 = !{!24, !24, i64 0}
!24 = !{!"float", !7, i64 0}
!25 = distinct !{!25, !13}
!26 = distinct !{!26, !13}
!27 = distinct !{!27, !13}
!28 = !{!15, !6, i64 68}
!29 = !{!15, !6, i64 72}
!30 = !{!15, !6, i64 60}
!31 = !{!15, !6, i64 64}
!32 = distinct !{!32, !13}
!33 = distinct !{!33, !13}
!34 = distinct !{!34, !13}
!35 = !{!36, !6, i64 0}
!36 = !{!"_ZTS6Solver", !6, i64 0, !6, i64 4, !6, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !24, i64 40, !10, i64 48}
!37 = distinct !{!37, !13}
!38 = !{!36, !6, i64 8}
!39 = distinct !{!39, !13}
!40 = distinct !{!40, !13}
!41 = distinct !{!41, !13}
!42 = !{!36, !10, i64 16}
!43 = distinct !{!43, !13}
!44 = distinct !{!44, !13}
!45 = distinct !{!45, !13}
!46 = !{!36, !24, i64 40}
!47 = distinct !{!47, !13}
!48 = distinct !{!48, !13}
!49 = distinct !{!49, !13}


; 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"

%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%struct.IMG = type <{ ptr, ptr, %"class.std::__cxx11::basic_string", i32, i32, i32, i32, i32, i32, i32, [4 x i8] }>
%"class.std::allocator" = type { i8 }
%struct.Solver = type { i32, i32, i32, ptr, ptr, ptr, float, ptr }

@str = external dso_local global [100 x i8], align 16
@.str.11 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [71 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [1 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [128 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [86 x i8], align 1
@__PRETTY_FUNCTION__.main = external hidden unnamed_addr constant [29 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [5 x i8], align 1

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

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

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef range(i32 0, 2) i32 @main(i32 noundef %0, ptr nocapture noundef readonly %1) local_unnamed_addr #2 personality ptr @__gxx_personality_v0 {
  %3 = alloca %"class.std::__cxx11::basic_string", align 8
  %4 = alloca %"class.std::__cxx11::basic_string", align 8
  %5 = alloca %"class.std::__cxx11::basic_string", align 8
  %6 = alloca %"class.std::__cxx11::basic_string", align 8
  %7 = alloca %struct.IMG, align 8
  %8 = alloca %"class.std::__cxx11::basic_string", align 8
  %9 = alloca %struct.IMG, align 8
  %10 = alloca %"class.std::__cxx11::basic_string", align 8
  %11 = alloca %struct.IMG, align 8
  %12 = alloca %"class.std::__cxx11::basic_string", align 8
  %13 = alloca %struct.IMG, align 8
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::allocator", align 1
  %16 = alloca %struct.IMG, align 8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %3) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #11
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %4) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #11
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %5) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #11
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %6) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #11
  %17 = icmp slt i32 %0, 2
  br i1 %17, label %18, label %.preheader350

18:                                               ; preds = %2
  %19 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.11)
  %20 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.12)
  %21 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.13)
  %22 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.14)
  %23 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.15)
  %24 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.16)
  %25 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.17)
  %26 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.18)
  %27 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.19)
  %28 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.20)
  %29 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.21)
  %30 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.22)
  %31 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.23)
  %32 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.24)
  %33 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.25)
  %34 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.26)
  br label %669

35:                                               ; preds = %147
  %36 = landingpad { ptr, i32 }
          cleanup
  br label %670

37:                                               ; preds = %140
  %.not = icmp eq i32 %.1288, 0
  br i1 %.not, label %145, label %143

.preheader350:                                    ; preds = %2, %140
  %.0274363 = phi i32 [ %141, %140 ], [ 1, %2 ]
  %.0287362 = phi i32 [ %.1288, %140 ], [ 0, %2 ]
  %.0289361 = phi i32 [ %.1290, %140 ], [ 1073741824, %2 ]
  %.0291360 = phi i32 [ %.1292, %140 ], [ 0, %2 ]
  %.0293359 = phi i32 [ %.1294, %140 ], [ 2000, %2 ]
  %.0295358 = phi i32 [ %.1296, %140 ], [ 0, %2 ]
  %.0297357 = phi i32 [ %.1298, %140 ], [ 0, %2 ]
  %38 = sext i32 %.0274363 to i64
  %39 = getelementptr inbounds ptr, ptr %1, i64 %38
  %40 = load ptr, ptr %39, align 8, !tbaa !5
  %41 = load i8, ptr %40, align 1, !tbaa !9
  %42 = icmp eq i8 %41, 45
  br i1 %42, label %43, label %140

43:                                               ; preds = %.preheader350
  %44 = getelementptr inbounds i8, ptr %40, i64 1
  %45 = load i8, ptr %44, align 1, !tbaa !9
  %46 = icmp eq i8 %45, 115
  br i1 %46, label %51, label %47

47:                                               ; preds = %43
  %48 = getelementptr inbounds i8, ptr %40, i64 2
  %49 = load i8, ptr %48, align 1, !tbaa !9
  %50 = icmp eq i8 %49, 115
  br i1 %50, label %51, label %59

51:                                               ; preds = %47, %43
  %52 = add nsw i32 %.0274363, 1
  %53 = sext i32 %52 to i64
  %54 = getelementptr inbounds ptr, ptr %1, i64 %53
  %55 = load ptr, ptr %54, align 8, !tbaa !5
  %56 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef %55)
          to label %140 unwind label %57

57:                                               ; preds = %80, %71, %62, %51
  %58 = landingpad { ptr, i32 }
          cleanup
  br label %670

59:                                               ; preds = %47
  %60 = icmp eq i8 %45, 109
  %61 = icmp eq i8 %49, 109
  %or.cond = or i1 %60, %61
  br i1 %or.cond, label %62, label %68

62:                                               ; preds = %59
  %63 = add nsw i32 %.0274363, 1
  %64 = sext i32 %63 to i64
  %65 = getelementptr inbounds ptr, ptr %1, i64 %64
  %66 = load ptr, ptr %65, align 8, !tbaa !5
  %67 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %4, ptr noundef %66)
          to label %140 unwind label %57

68:                                               ; preds = %59
  %69 = icmp eq i8 %45, 116
  %70 = icmp eq i8 %49, 116
  %or.cond330 = or i1 %69, %70
  br i1 %or.cond330, label %71, label %77

71:                                               ; preds = %68
  %72 = add nsw i32 %.0274363, 1
  %73 = sext i32 %72 to i64
  %74 = getelementptr inbounds ptr, ptr %1, i64 %73
  %75 = load ptr, ptr %74, align 8, !tbaa !5
  %76 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef %75)
          to label %140 unwind label %57

77:                                               ; preds = %68
  %78 = icmp eq i8 %45, 111
  %79 = icmp eq i8 %49, 111
  %or.cond331 = or i1 %78, %79
  br i1 %or.cond331, label %80, label %86

80:                                               ; preds = %77
  %81 = add nsw i32 %.0274363, 1
  %82 = sext i32 %81 to i64
  %83 = getelementptr inbounds ptr, ptr %1, i64 %82
  %84 = load ptr, ptr %83, align 8, !tbaa !5
  %85 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef %84)
          to label %140 unwind label %57

86:                                               ; preds = %77
  %87 = icmp eq i8 %45, 104
  %88 = icmp eq i8 %49, 104
  %or.cond332 = or i1 %87, %88
  br i1 %or.cond332, label %89, label %95

89:                                               ; preds = %86
  %90 = add nsw i32 %.0274363, 1
  %91 = sext i32 %90 to i64
  %92 = getelementptr inbounds ptr, ptr %1, i64 %91
  %93 = load ptr, ptr %92, align 8, !tbaa !5
  %94 = call i32 @atoi(ptr nocapture noundef %93) #12
  br label %140

95:                                               ; preds = %86
  %96 = icmp eq i8 %45, 119
  %97 = icmp eq i8 %49, 119
  %or.cond333 = or i1 %96, %97
  br i1 %or.cond333, label %98, label %104

98:                                               ; preds = %95
  %99 = add nsw i32 %.0274363, 1
  %100 = sext i32 %99 to i64
  %101 = getelementptr inbounds ptr, ptr %1, i64 %100
  %102 = load ptr, ptr %101, align 8, !tbaa !5
  %103 = call i32 @atoi(ptr nocapture noundef %102) #12
  br label %140

104:                                              ; preds = %95
  %105 = icmp eq i8 %45, 105
  %106 = icmp eq i8 %49, 105
  %or.cond334 = or i1 %105, %106
  br i1 %or.cond334, label %107, label %113

107:                                              ; preds = %104
  %108 = add nsw i32 %.0274363, 1
  %109 = sext i32 %108 to i64
  %110 = getelementptr inbounds ptr, ptr %1, i64 %109
  %111 = load ptr, ptr %110, align 8, !tbaa !5
  %112 = call i32 @atoi(ptr nocapture noundef %111) #12
  br label %140

113:                                              ; preds = %104
  %114 = icmp eq i8 %45, 112
  %115 = icmp eq i8 %49, 112
  %or.cond335 = or i1 %114, %115
  br i1 %or.cond335, label %116, label %122

116:                                              ; preds = %113
  %117 = add nsw i32 %.0274363, 1
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds ptr, ptr %1, i64 %118
  %120 = load ptr, ptr %119, align 8, !tbaa !5
  %121 = call i32 @atoi(ptr nocapture noundef %120) #12
  br label %140

122:                                              ; preds = %113
  %123 = icmp eq i8 %45, 98
  %124 = icmp eq i8 %49, 98
  %or.cond336 = or i1 %123, %124
  br i1 %or.cond336, label %125, label %131

125:                                              ; preds = %122
  %126 = add nsw i32 %.0274363, 1
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds ptr, ptr %1, i64 %127
  %129 = load ptr, ptr %128, align 8, !tbaa !5
  %130 = call i32 @atoi(ptr nocapture noundef %129) #12
  br label %140

131:                                              ; preds = %122
  %132 = icmp eq i8 %45, 114
  %133 = icmp eq i8 %49, 114
  %or.cond337 = or i1 %132, %133
  br i1 %or.cond337, label %134, label %140

134:                                              ; preds = %131
  %135 = add nsw i32 %.0274363, 1
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds ptr, ptr %1, i64 %136
  %138 = load ptr, ptr %137, align 8, !tbaa !5
  %139 = call i32 @atoi(ptr nocapture noundef %138) #12
  br label %140

140:                                              ; preds = %131, %.preheader350, %62, %80, %98, %116, %134, %125, %107, %89, %71, %51
  %.1298 = phi i32 [ %.0297357, %51 ], [ %.0297357, %62 ], [ %.0297357, %71 ], [ %.0297357, %80 ], [ %94, %89 ], [ %.0297357, %98 ], [ %.0297357, %107 ], [ %.0297357, %116 ], [ %.0297357, %125 ], [ %.0297357, %134 ], [ %.0297357, %.preheader350 ], [ %.0297357, %131 ]
  %.1296 = phi i32 [ %.0295358, %51 ], [ %.0295358, %62 ], [ %.0295358, %71 ], [ %.0295358, %80 ], [ %.0295358, %89 ], [ %103, %98 ], [ %.0295358, %107 ], [ %.0295358, %116 ], [ %.0295358, %125 ], [ %.0295358, %134 ], [ %.0295358, %.preheader350 ], [ %.0295358, %131 ]
  %.1294 = phi i32 [ %.0293359, %51 ], [ %.0293359, %62 ], [ %.0293359, %71 ], [ %.0293359, %80 ], [ %.0293359, %89 ], [ %.0293359, %98 ], [ %112, %107 ], [ %.0293359, %116 ], [ %.0293359, %125 ], [ %.0293359, %134 ], [ %.0293359, %.preheader350 ], [ %.0293359, %131 ]
  %.1292 = phi i32 [ %.0291360, %51 ], [ %.0291360, %62 ], [ %.0291360, %71 ], [ %.0291360, %80 ], [ %.0291360, %89 ], [ %.0291360, %98 ], [ %.0291360, %107 ], [ %.0291360, %116 ], [ %130, %125 ], [ %.0291360, %134 ], [ %.0291360, %.preheader350 ], [ %.0291360, %131 ]
  %.1290 = phi i32 [ %.0289361, %51 ], [ %.0289361, %62 ], [ %.0289361, %71 ], [ %.0289361, %80 ], [ %.0289361, %89 ], [ %.0289361, %98 ], [ %.0289361, %107 ], [ %121, %116 ], [ %.0289361, %125 ], [ %.0289361, %134 ], [ %.0289361, %.preheader350 ], [ %.0289361, %131 ]
  %.1288 = phi i32 [ %.0287362, %51 ], [ %.0287362, %62 ], [ %.0287362, %71 ], [ %.0287362, %80 ], [ %.0287362, %89 ], [ %.0287362, %98 ], [ %.0287362, %107 ], [ %.0287362, %116 ], [ %.0287362, %125 ], [ %139, %134 ], [ %.0287362, %.preheader350 ], [ %.0287362, %131 ]
  %.1 = phi i32 [ %52, %51 ], [ %63, %62 ], [ %72, %71 ], [ %81, %80 ], [ %90, %89 ], [ %99, %98 ], [ %108, %107 ], [ %117, %116 ], [ %126, %125 ], [ %135, %134 ], [ %.0274363, %.preheader350 ], [ %.0274363, %131 ]
  %141 = add nsw i32 %.1, 1
  %142 = icmp slt i32 %141, %0
  br i1 %142, label %.preheader350, label %37, !llvm.loop !10

143:                                              ; preds = %37
  %144 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) @str, ptr noundef nonnull dereferenceable(1) @.str.27, i32 noundef %.1288) #11
  br label %145

145:                                              ; preds = %143, %37
  %146 = call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef nonnull @.str.24)
  br i1 %146, label %147, label %149

147:                                              ; preds = %145
  %148 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef nonnull @.str.28)
          to label %149 unwind label %35

149:                                              ; preds = %147, %145
  %150 = call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull @.str.24)
  br i1 %150, label %151, label %153

151:                                              ; preds = %149
  %152 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.29)
  %.not327 = icmp eq i32 %152, 0
  br label %669

153:                                              ; preds = %149
  %154 = call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull @.str.24)
  br i1 %154, label %155, label %157

155:                                              ; preds = %153
  %156 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.30)
  %.not326 = icmp eq i32 %156, 0
  br label %669

157:                                              ; preds = %153
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %7) #11
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %8, ptr noundef nonnull align 8 dereferenceable(32) %3)
          to label %158 unwind label %187

158:                                              ; preds = %157
  invoke void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76) %7, ptr noundef nonnull %8)
          to label %159 unwind label %189

159:                                              ; preds = %158
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #11
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %9) #11
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull align 8 dereferenceable(32) %4)
          to label %160 unwind label %191

160:                                              ; preds = %159
  invoke void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76) %9, ptr noundef nonnull %10)
          to label %161 unwind label %193

161:                                              ; preds = %160
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #11
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %11) #11
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %12, ptr noundef nonnull align 8 dereferenceable(32) %5)
          to label %162 unwind label %195

162:                                              ; preds = %161
  invoke void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76) %11, ptr noundef nonnull %12)
          to label %163 unwind label %197

163:                                              ; preds = %162
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #11
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %13) #11
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %15) #11
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #11
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef nonnull @str, ptr noundef nonnull align 1 dereferenceable(1) %15)
          to label %164 unwind label %199

164:                                              ; preds = %163
  invoke void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76) %13, ptr noundef nonnull %14)
          to label %165 unwind label %201

165:                                              ; preds = %164
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #11
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %15) #11
  %166 = call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %4, ptr noundef nonnull @.str.24)
  br i1 %166, label %167, label %.loopexit349

167:                                              ; preds = %165
  %168 = getelementptr inbounds i8, ptr %7, i64 52
  %169 = load i32, ptr %168, align 4, !tbaa !12
  %170 = getelementptr inbounds i8, ptr %7, i64 48
  %171 = load i32, ptr %170, align 8, !tbaa !18
  %172 = getelementptr inbounds i8, ptr %7, i64 56
  %173 = load i32, ptr %172, align 8, !tbaa !19
  invoke void @_ZN3IMG4initEiii(ptr noundef nonnull align 8 dereferenceable(76) %9, i32 noundef %169, i32 noundef %171, i32 noundef %173)
          to label %.preheader348 unwind label %204

.preheader348:                                    ; preds = %167
  %174 = load i32, ptr %168, align 4, !tbaa !12
  %175 = icmp sgt i32 %174, 2
  br i1 %175, label %.preheader347.lr.ph, label %.loopexit349

.preheader347.lr.ph:                              ; preds = %.preheader348
  %176 = getelementptr inbounds i8, ptr %9, i64 8
  %177 = getelementptr inbounds i8, ptr %9, i64 48
  %178 = getelementptr inbounds i8, ptr %9, i64 56
  %179 = load i32, ptr %170, align 8, !tbaa !18
  %180 = icmp sgt i32 %179, 2
  br i1 %180, label %.preheader347, label %.loopexit349

.preheader347:                                    ; preds = %.preheader347.lr.ph, %._crit_edge366
  %181 = phi i32 [ %209, %._crit_edge366 ], [ %174, %.preheader347.lr.ph ]
  %182 = phi i32 [ %210, %._crit_edge366 ], [ %179, %.preheader347.lr.ph ]
  %183 = phi i32 [ %211, %._crit_edge366 ], [ %179, %.preheader347.lr.ph ]
  %.0273367 = phi i32 [ %212, %._crit_edge366 ], [ 1, %.preheader347.lr.ph ]
  %184 = icmp sgt i32 %183, 2
  %185 = load i32, ptr %172, align 8
  %186 = icmp sgt i32 %185, 0
  %or.cond494 = select i1 %184, i1 %186, i1 false
  br i1 %or.cond494, label %.preheader346, label %._crit_edge366

187:                                              ; preds = %157
  %188 = landingpad { ptr, i32 }
          cleanup
  br label %668

189:                                              ; preds = %158
  %190 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #11
  br label %668

191:                                              ; preds = %159
  %192 = landingpad { ptr, i32 }
          cleanup
  br label %667

193:                                              ; preds = %160
  %194 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #11
  br label %667

195:                                              ; preds = %161
  %196 = landingpad { ptr, i32 }
          cleanup
  br label %666

197:                                              ; preds = %162
  %198 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #11
  br label %666

199:                                              ; preds = %163
  %200 = landingpad { ptr, i32 }
          cleanup
  br label %203

201:                                              ; preds = %164
  %202 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #11
  br label %203

203:                                              ; preds = %201, %199
  %.pn = phi { ptr, i32 } [ %202, %201 ], [ %200, %199 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %15) #11
  br label %665

204:                                              ; preds = %167
  %205 = landingpad { ptr, i32 }
          cleanup
  br label %664

.preheader346:                                    ; preds = %.preheader347, %._crit_edge
  %206 = phi i32 [ %215, %._crit_edge ], [ %182, %.preheader347 ]
  %207 = phi i32 [ %216, %._crit_edge ], [ %185, %.preheader347 ]
  %.0272365 = phi i32 [ %217, %._crit_edge ], [ 1, %.preheader347 ]
  %208 = icmp sgt i32 %207, 0
  br i1 %208, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %.preheader346
  %.pre = load i32, ptr %177, align 8, !tbaa !18
  %.pre469 = load i32, ptr %178, align 8, !tbaa !19
  br label %.lr.ph

._crit_edge366.loopexit:                          ; preds = %._crit_edge
  %.pre471 = load i32, ptr %168, align 4, !tbaa !12
  br label %._crit_edge366

._crit_edge366:                                   ; preds = %._crit_edge366.loopexit, %.preheader347
  %209 = phi i32 [ %.pre471, %._crit_edge366.loopexit ], [ %181, %.preheader347 ]
  %210 = phi i32 [ %215, %._crit_edge366.loopexit ], [ %182, %.preheader347 ]
  %211 = phi i32 [ %215, %._crit_edge366.loopexit ], [ %183, %.preheader347 ]
  %212 = add nuw nsw i32 %.0273367, 1
  %213 = add nsw i32 %209, -1
  %214 = icmp slt i32 %212, %213
  br i1 %214, label %.preheader347, label %.loopexit349, !llvm.loop !20

._crit_edge.loopexit:                             ; preds = %.lr.ph
  %.pre470 = load i32, ptr %170, align 8, !tbaa !18
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %.preheader346
  %215 = phi i32 [ %.pre470, %._crit_edge.loopexit ], [ %206, %.preheader346 ]
  %216 = phi i32 [ %239, %._crit_edge.loopexit ], [ %207, %.preheader346 ]
  %217 = add nuw nsw i32 %.0272365, 1
  %218 = add nsw i32 %215, -1
  %219 = icmp slt i32 %217, %218
  br i1 %219, label %.preheader346, label %._crit_edge366.loopexit, !llvm.loop !22

.lr.ph:                                           ; preds = %.lr.ph.preheader, %.lr.ph
  %220 = phi i32 [ %232, %.lr.ph ], [ %.pre469, %.lr.ph.preheader ]
  %221 = phi i32 [ %230, %.lr.ph ], [ %.pre, %.lr.ph.preheader ]
  %.0271364 = phi i32 [ %238, %.lr.ph ], [ 0, %.lr.ph.preheader ]
  %222 = load ptr, ptr %176, align 8, !tbaa !23
  %223 = mul nsw i32 %221, %.0273367
  %224 = add i32 %223, %.0272365
  %225 = mul i32 %224, %220
  %226 = add nsw i32 %225, %.0271364
  %227 = sext i32 %226 to i64
  %228 = getelementptr inbounds i8, ptr %222, i64 %227
  store i8 -1, ptr %228, align 1, !tbaa !9
  %229 = load ptr, ptr %9, align 8, !tbaa !24
  %230 = load i32, ptr %177, align 8, !tbaa !18
  %231 = mul nsw i32 %230, %.0273367
  %232 = load i32, ptr %178, align 8, !tbaa !19
  %233 = add i32 %231, %.0272365
  %234 = mul i32 %233, %232
  %235 = add nsw i32 %234, %.0271364
  %236 = sext i32 %235 to i64
  %237 = getelementptr inbounds float, ptr %229, i64 %236
  store float 2.550000e+02, ptr %237, align 4, !tbaa !25
  %238 = add nuw nsw i32 %.0271364, 1
  %239 = load i32, ptr %172, align 8, !tbaa !19
  %240 = icmp slt i32 %238, %239
  br i1 %240, label %.lr.ph, label %._crit_edge.loopexit, !llvm.loop !27

.loopexit349:                                     ; preds = %._crit_edge366, %.preheader347.lr.ph, %.preheader348, %165
  %241 = getelementptr inbounds i8, ptr %9, i64 48
  %242 = load i32, ptr %241, align 8, !tbaa !18
  %243 = getelementptr inbounds i8, ptr %7, i64 48
  %244 = load i32, ptr %243, align 8, !tbaa !18
  %245 = icmp eq i32 %242, %244
  br i1 %245, label %247, label %246

246:                                              ; preds = %.loopexit349
  call void @__assert_fail(ptr noundef nonnull @.str.31, ptr noundef nonnull @.str.32, i32 noundef 189, ptr noundef nonnull @__PRETTY_FUNCTION__.main) #13
  unreachable

247:                                              ; preds = %.loopexit349
  %248 = getelementptr inbounds i8, ptr %7, i64 52
  %249 = load i32, ptr %248, align 4, !tbaa !12
  %250 = getelementptr inbounds i8, ptr %9, i64 52
  store i32 %249, ptr %250, align 4, !tbaa !12
  %.not305 = icmp eq i32 %249, 0
  br i1 %.not305, label %251, label %252

251:                                              ; preds = %247
  call void @__assert_fail(ptr noundef nonnull @.str.33, ptr noundef nonnull @.str.32, i32 noundef 190, ptr noundef nonnull @__PRETTY_FUNCTION__.main) #13
  unreachable

252:                                              ; preds = %247
  %253 = getelementptr inbounds i8, ptr %9, i64 56
  %254 = load i32, ptr %253, align 8, !tbaa !19
  %255 = getelementptr inbounds i8, ptr %7, i64 56
  %256 = load i32, ptr %255, align 8, !tbaa !19
  %257 = getelementptr inbounds i8, ptr %11, i64 56
  %258 = load i32, ptr %257, align 8, !tbaa !19
  %259 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.34, i32 noundef %254, i32 noundef %256, i32 noundef %258)
  %260 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %255, ptr noundef nonnull align 4 dereferenceable(4) %257)
  %261 = load i32, ptr %260, align 4, !tbaa !28
  %262 = load i32, ptr %248, align 4, !tbaa !12
  %263 = load i32, ptr %243, align 8, !tbaa !18
  %264 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.35, i32 noundef %262, i32 noundef %263)
  call void @_ZN3IMG4statEi(ptr noundef nonnull align 8 dereferenceable(76) %9, i32 noundef 200)
  %265 = load i32, ptr %250, align 4, !tbaa !12
  %266 = load i32, ptr %241, align 8, !tbaa !18
  %267 = getelementptr inbounds i8, ptr %9, i64 68
  %268 = load i32, ptr %267, align 4, !tbaa !29
  %269 = getelementptr inbounds i8, ptr %9, i64 72
  %270 = load i32, ptr %269, align 8, !tbaa !30
  %271 = getelementptr inbounds i8, ptr %9, i64 60
  %272 = load i32, ptr %271, align 4, !tbaa !31
  %273 = getelementptr inbounds i8, ptr %9, i64 64
  %274 = load i32, ptr %273, align 8, !tbaa !32
  %275 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.36, i32 noundef %265, i32 noundef %266, i32 noundef %268, i32 noundef %270, i32 noundef %272, i32 noundef %274)
  %276 = getelementptr inbounds i8, ptr %11, i64 52
  %277 = load i32, ptr %276, align 4, !tbaa !12
  %278 = getelementptr inbounds i8, ptr %11, i64 48
  %279 = load i32, ptr %278, align 8, !tbaa !18
  %280 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.37, i32 noundef %277, i32 noundef %279)
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %16) #11
  %281 = load i32, ptr %269, align 8, !tbaa !30
  %282 = load i32, ptr %267, align 4, !tbaa !29
  %283 = add i32 %281, 1
  %284 = sub i32 %283, %282
  %285 = load i32, ptr %273, align 8, !tbaa !32
  %286 = load i32, ptr %271, align 4, !tbaa !31
  %287 = add i32 %285, 1
  %288 = sub i32 %287, %286
  invoke void @_ZN3IMGC2Eiii(ptr noundef nonnull align 8 dereferenceable(76) %16, i32 noundef %284, i32 noundef %288, i32 noundef %261)
          to label %289 unwind label %316

289:                                              ; preds = %252
  %290 = load i32, ptr %267, align 4, !tbaa !29
  %291 = load i32, ptr %269, align 8, !tbaa !30
  %.not306377 = icmp sgt i32 %290, %291
  br i1 %.not306377, label %._crit_edge383, label %.lr.ph382

.lr.ph382:                                        ; preds = %289
  %.not325369 = icmp slt i32 %261, 0
  %292 = getelementptr inbounds i8, ptr %16, i64 8
  %293 = getelementptr inbounds i8, ptr %16, i64 48
  %294 = getelementptr inbounds i8, ptr %16, i64 56
  %295 = load i32, ptr %271, align 4, !tbaa !31
  %296 = load i32, ptr %273, align 8, !tbaa !32
  %297 = icmp sgt i32 %295, %296
  br i1 %297, label %._crit_edge383, label %.lr.ph382.split

._crit_edge383:                                   ; preds = %._crit_edge376, %.lr.ph382, %289
  call void @_ZN3IMG4statEi(ptr noundef nonnull align 8 dereferenceable(76) %16, i32 noundef 200)
  %298 = getelementptr inbounds i8, ptr %16, i64 68
  %299 = load i32, ptr %298, align 4, !tbaa !29
  %300 = getelementptr inbounds i8, ptr %16, i64 72
  %301 = load i32, ptr %300, align 8, !tbaa !30
  %302 = getelementptr inbounds i8, ptr %16, i64 60
  %303 = load i32, ptr %302, align 4, !tbaa !31
  %304 = getelementptr inbounds i8, ptr %16, i64 64
  %305 = load i32, ptr %304, align 8, !tbaa !32
  %306 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.38, i32 noundef %299, i32 noundef %301, i32 noundef %303, i32 noundef %305)
  %307 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.39)
  %308 = sext i32 %261 to i64
  %309 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %308, i64 56)
  %310 = extractvalue { i64, i1 } %309, 1
  %311 = extractvalue { i64, i1 } %309, 0
  %312 = select i1 %310, i64 -1, i64 %311
  %313 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %312) #14
          to label %.preheader344 unwind label %414

.preheader344:                                    ; preds = %._crit_edge383
  %314 = icmp sgt i32 %261, 0
  call void @llvm.assume(i1 %314)
  %315 = getelementptr inbounds i8, ptr %16, i64 48
  %wide.trip.count = zext nneg i32 %261 to i64
  br label %416

316:                                              ; preds = %252
  %317 = landingpad { ptr, i32 }
          cleanup
  br label %663

.lr.ph382.split:                                  ; preds = %.lr.ph382, %._crit_edge376
  %318 = phi i32 [ %325, %._crit_edge376 ], [ %291, %.lr.ph382 ]
  %319 = phi i32 [ %326, %._crit_edge376 ], [ %296, %.lr.ph382 ]
  %.0269380 = phi i32 [ %327, %._crit_edge376 ], [ 0, %.lr.ph382 ]
  %.0270378 = phi i32 [ %.pre-phi479, %._crit_edge376 ], [ %290, %.lr.ph382 ]
  %320 = load i32, ptr %271, align 4, !tbaa !31
  %.not324373 = icmp sgt i32 %320, %319
  br i1 %.not324373, label %.lr.ph382.split.._crit_edge376_crit_edge, label %.preheader345.lr.ph

.lr.ph382.split.._crit_edge376_crit_edge:         ; preds = %.lr.ph382.split
  %.pre478 = add nsw i32 %.0270378, 1
  br label %._crit_edge376

.preheader345.lr.ph:                              ; preds = %.lr.ph382.split
  %321 = add nsw i32 %.0270378, -1
  %322 = add nsw i32 %.0270378, 1
  br i1 %.not325369, label %._crit_edge376, label %.preheader345

.preheader345:                                    ; preds = %.preheader345.lr.ph, %._crit_edge372
  %.0267375 = phi i32 [ %328, %._crit_edge372 ], [ 0, %.preheader345.lr.ph ]
  %.0268374 = phi i32 [ %324, %._crit_edge372 ], [ %320, %.preheader345.lr.ph ]
  %323 = add nsw i32 %.0268374, -1
  %324 = add nsw i32 %.0268374, 1
  br label %330

._crit_edge376.loopexit437:                       ; preds = %._crit_edge372
  %.pre472 = load i32, ptr %269, align 8, !tbaa !30
  br label %._crit_edge376

._crit_edge376:                                   ; preds = %.preheader345.lr.ph, %.lr.ph382.split.._crit_edge376_crit_edge, %._crit_edge376.loopexit437
  %.pre-phi479 = phi i32 [ %.pre478, %.lr.ph382.split.._crit_edge376_crit_edge ], [ %322, %._crit_edge376.loopexit437 ], [ %322, %.preheader345.lr.ph ]
  %325 = phi i32 [ %318, %.lr.ph382.split.._crit_edge376_crit_edge ], [ %.pre472, %._crit_edge376.loopexit437 ], [ %318, %.preheader345.lr.ph ]
  %326 = phi i32 [ %319, %.lr.ph382.split.._crit_edge376_crit_edge ], [ %329, %._crit_edge376.loopexit437 ], [ %319, %.preheader345.lr.ph ]
  %327 = add nuw nsw i32 %.0269380, 1
  %.not306.not = icmp slt i32 %.0270378, %325
  br i1 %.not306.not, label %.lr.ph382.split, label %._crit_edge383, !llvm.loop !33

._crit_edge372:                                   ; preds = %401
  %328 = add nuw nsw i32 %.0267375, 1
  %329 = load i32, ptr %273, align 8, !tbaa !32
  %.not324.not = icmp slt i32 %.0268374, %329
  br i1 %.not324.not, label %.preheader345, label %._crit_edge376.loopexit437, !llvm.loop !34

330:                                              ; preds = %.preheader345, %401
  %.0266370 = phi i32 [ 0, %.preheader345 ], [ %402, %401 ]
  %331 = load ptr, ptr %9, align 8, !tbaa !24
  %332 = load i32, ptr %241, align 8, !tbaa !18
  %333 = mul nsw i32 %332, %.0270378
  %334 = load i32, ptr %253, align 8, !tbaa !19
  %335 = add i32 %333, %.0268374
  %336 = mul i32 %335, %334
  %337 = sext i32 %336 to i64
  %338 = getelementptr inbounds float, ptr %331, i64 %337
  %339 = load float, ptr %338, align 4, !tbaa !25
  %340 = fcmp ogt float %339, 2.000000e+02
  br i1 %340, label %341, label %401

341:                                              ; preds = %330
  %342 = load ptr, ptr %292, align 8, !tbaa !23
  %343 = load i32, ptr %293, align 8, !tbaa !18
  %344 = mul nsw i32 %343, %.0269380
  %345 = load i32, ptr %294, align 8, !tbaa !19
  %346 = add i32 %344, %.0267375
  %347 = mul i32 %346, %345
  %348 = add nsw i32 %347, %.0266370
  %349 = sext i32 %348 to i64
  %350 = getelementptr inbounds i8, ptr %342, i64 %349
  store i8 -1, ptr %350, align 1, !tbaa !9
  %351 = load ptr, ptr %7, align 8, !tbaa !24
  %352 = load i32, ptr %243, align 8, !tbaa !18
  %353 = mul nsw i32 %352, %.0270378
  %354 = load i32, ptr %255, align 8, !tbaa !19
  %355 = add i32 %353, %.0268374
  %356 = mul i32 %355, %354
  %357 = add nsw i32 %356, %.0266370
  %358 = sext i32 %357 to i64
  %359 = getelementptr inbounds float, ptr %351, i64 %358
  %360 = load float, ptr %359, align 4, !tbaa !25
  %361 = mul nsw i32 %352, %321
  %362 = add i32 %361, %.0268374
  %363 = mul i32 %362, %354
  %364 = add nsw i32 %363, %.0266370
  %365 = sext i32 %364 to i64
  %366 = getelementptr inbounds float, ptr %351, i64 %365
  %367 = load float, ptr %366, align 4, !tbaa !25
  %368 = fneg float %367
  %369 = call float @llvm.fmuladd.f32(float %360, float 4.000000e+00, float %368)
  %370 = mul nsw i32 %352, %322
  %371 = add i32 %370, %.0268374
  %372 = mul i32 %371, %354
  %373 = add nsw i32 %372, %.0266370
  %374 = sext i32 %373 to i64
  %375 = getelementptr inbounds float, ptr %351, i64 %374
  %376 = load float, ptr %375, align 4, !tbaa !25
  %377 = fsub float %369, %376
  %378 = add i32 %323, %353
  %379 = mul i32 %378, %354
  %380 = add nsw i32 %379, %.0266370
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds float, ptr %351, i64 %381
  %383 = load float, ptr %382, align 4, !tbaa !25
  %384 = fsub float %377, %383
  %385 = add i32 %324, %353
  %386 = mul i32 %385, %354
  %387 = add nsw i32 %386, %.0266370
  %388 = sext i32 %387 to i64
  %389 = getelementptr inbounds float, ptr %351, i64 %388
  %390 = load float, ptr %389, align 4, !tbaa !25
  %391 = fsub float %384, %390
  %392 = load ptr, ptr %16, align 8, !tbaa !24
  %393 = load i32, ptr %293, align 8, !tbaa !18
  %394 = mul nsw i32 %393, %.0269380
  %395 = load i32, ptr %294, align 8, !tbaa !19
  %396 = add i32 %394, %.0267375
  %397 = mul i32 %396, %395
  %398 = add nsw i32 %397, %.0266370
  %399 = sext i32 %398 to i64
  %400 = getelementptr inbounds float, ptr %392, i64 %399
  store float %391, ptr %400, align 4, !tbaa !25
  br label %401

401:                                              ; preds = %330, %341
  %402 = add nuw i32 %.0266370, 1
  %exitcond.not = icmp eq i32 %.0266370, %261
  br i1 %exitcond.not, label %._crit_edge372, label %330, !llvm.loop !35

._crit_edge386.loopexit:                          ; preds = %430
  %.phi.trans.insert = getelementptr inbounds i8, ptr %313, i64 8
  %.pre473 = load i32, ptr %.phi.trans.insert, align 8, !tbaa !36
  %403 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.40, i32 noundef %.pre473)
  %404 = load i32, ptr %298, align 4, !tbaa !29
  %405 = load i32, ptr %300, align 8, !tbaa !30
  %.not307394 = icmp sgt i32 %404, %405
  br i1 %.not307394, label %._crit_edge401, label %.lr.ph400

.lr.ph400:                                        ; preds = %._crit_edge386.loopexit
  %406 = getelementptr inbounds i8, ptr %16, i64 8
  %407 = getelementptr inbounds i8, ptr %16, i64 48
  %408 = getelementptr inbounds i8, ptr %16, i64 56
  %409 = getelementptr inbounds i8, ptr %13, i64 48
  %410 = getelementptr inbounds i8, ptr %13, i64 56
  %411 = load i32, ptr %302, align 4, !tbaa !31
  %412 = load i32, ptr %304, align 8, !tbaa !32
  %413 = icmp sgt i32 %411, %412
  br i1 %413, label %._crit_edge401, label %.lr.ph400.split.preheader

.lr.ph400.split.preheader:                        ; preds = %.lr.ph400
  %wide.trip.count446 = zext nneg i32 %261 to i64
  br label %.lr.ph400.split

414:                                              ; preds = %._crit_edge383
  %415 = landingpad { ptr, i32 }
          cleanup
  br label %662

416:                                              ; preds = %.preheader344, %430
  %indvars.iv = phi i64 [ 0, %.preheader344 ], [ %indvars.iv.next, %430 ]
  %417 = getelementptr inbounds %struct.Solver, ptr %313, i64 %indvars.iv
  %418 = trunc nuw nsw i64 %indvars.iv to i32
  store i32 %418, ptr %417, align 8, !tbaa !38
  %419 = load i32, ptr %300, align 8, !tbaa !30
  %420 = load i32, ptr %298, align 4, !tbaa !29
  %421 = add i32 %419, 1
  %422 = sub i32 %421, %420
  %423 = load i32, ptr %315, align 8, !tbaa !18
  %424 = mul nsw i32 %422, %423
  %425 = load i32, ptr %304, align 8, !tbaa !32
  %426 = load i32, ptr %302, align 4, !tbaa !31
  %427 = add i32 %425, 1
  %428 = add i32 %427, %424
  %429 = sub i32 %428, %426
  invoke void @_ZN6Solver6resizeEi(ptr noundef nonnull align 8 dereferenceable(56) %417, i32 noundef %429)
          to label %430 unwind label %431

430:                                              ; preds = %416
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond442.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond442.not, label %._crit_edge386.loopexit, label %416, !llvm.loop !39

431:                                              ; preds = %416
  %432 = landingpad { ptr, i32 }
          cleanup
  br label %662

._crit_edge401:                                   ; preds = %._crit_edge393, %.lr.ph400, %._crit_edge386.loopexit
  %433 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.41)
  %.not308427 = icmp sgt i32 %.1288, %.1294
  br i1 %.not308427, label %._crit_edge432, label %.lr.ph431

.lr.ph431:                                        ; preds = %._crit_edge401
  %434 = getelementptr inbounds i8, ptr %16, i64 8
  %435 = getelementptr inbounds i8, ptr %16, i64 48
  %436 = getelementptr inbounds i8, ptr %16, i64 56
  %wide.trip.count461 = zext nneg i32 %261 to i64
  %wide.trip.count466 = zext nneg i32 %261 to i64
  %xtraiter = and i64 %wide.trip.count, 1
  %437 = icmp eq i32 %261, 1
  %unroll_iter = and i64 %wide.trip.count, 2147483646
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br label %591

.lr.ph400.split:                                  ; preds = %.lr.ph400.split.preheader, %._crit_edge393
  %438 = phi i32 [ %589, %._crit_edge393 ], [ %405, %.lr.ph400.split.preheader ]
  %439 = phi i32 [ %590, %._crit_edge393 ], [ %412, %.lr.ph400.split.preheader ]
  %.0262397 = phi i32 [ %.pre-phi477, %._crit_edge393 ], [ %.1298, %.lr.ph400.split.preheader ]
  %.0263395 = phi i32 [ %.pre-phi, %._crit_edge393 ], [ %404, %.lr.ph400.split.preheader ]
  %440 = load i32, ptr %302, align 4, !tbaa !31
  %.not315390 = icmp sgt i32 %440, %439
  br i1 %.not315390, label %.lr.ph400.split.._crit_edge393_crit_edge, label %.preheader343.lr.ph

.lr.ph400.split.._crit_edge393_crit_edge:         ; preds = %.lr.ph400.split
  %.pre475 = add nsw i32 %.0263395, 1
  %.pre476 = add nsw i32 %.0262397, 1
  br label %._crit_edge393

.preheader343.lr.ph:                              ; preds = %.lr.ph400.split
  %441 = add nsw i32 %.0263395, -1
  %442 = add nsw i32 %.0262397, -1
  %443 = add nsw i32 %.0263395, 1
  %444 = add nsw i32 %.0262397, 1
  br i1 %314, label %.preheader343.us, label %._crit_edge393

.preheader343.us:                                 ; preds = %.preheader343.lr.ph, %._crit_edge389.us
  %.0260392.us = phi i32 [ %448, %._crit_edge389.us ], [ %.1296, %.preheader343.lr.ph ]
  %.0261391.us = phi i32 [ %447, %._crit_edge389.us ], [ %440, %.preheader343.lr.ph ]
  %445 = add i32 %.0261391.us, -1
  %446 = add nsw i32 %.0260392.us, -1
  %447 = add i32 %.0261391.us, 1
  %448 = add nsw i32 %.0260392.us, 1
  br label %449

449:                                              ; preds = %.preheader343.us, %587
  %indvars.iv443 = phi i64 [ 0, %.preheader343.us ], [ %indvars.iv.next444, %587 ]
  %450 = load ptr, ptr %406, align 8, !tbaa !23
  %451 = load i32, ptr %407, align 8, !tbaa !18
  %452 = mul nsw i32 %451, %.0263395
  %453 = load i32, ptr %408, align 8, !tbaa !19
  %454 = add i32 %452, %.0261391.us
  %455 = mul i32 %454, %453
  %456 = trunc nuw nsw i64 %indvars.iv443 to i32
  %457 = add nsw i32 %455, %456
  %458 = sext i32 %457 to i64
  %459 = getelementptr inbounds i8, ptr %450, i64 %458
  %460 = load i8, ptr %459, align 1, !tbaa !9
  %461 = icmp eq i8 %460, -1
  br i1 %461, label %462, label %587

462:                                              ; preds = %449
  %463 = getelementptr inbounds %struct.Solver, ptr %313, i64 %indvars.iv443
  %464 = load ptr, ptr %11, align 8
  %465 = load ptr, ptr %13, align 8
  %.sink486 = select i1 %.not, ptr %464, ptr %465
  %.val = load i32, ptr %278, align 8
  %.val495 = load i32, ptr %409, align 8
  %466 = select i1 %.not, i32 %.val, i32 %.val495
  %467 = mul nsw i32 %466, %.0262397
  %.val496 = load i32, ptr %257, align 8
  %.val497 = load i32, ptr %410, align 8
  %468 = select i1 %.not, i32 %.val496, i32 %.val497
  %469 = add i32 %467, %.0260392.us
  %470 = mul i32 %469, %468
  %471 = add nsw i32 %470, %456
  %472 = sext i32 %471 to i64
  %473 = getelementptr inbounds float, ptr %.sink486, i64 %472
  %474 = load float, ptr %473, align 4, !tbaa !25
  %475 = fptosi float %474 to i32
  call void @_ZN6Solver7additemEii(ptr noundef nonnull align 8 dereferenceable(56) %463, i32 noundef %454, i32 noundef %475)
  %476 = getelementptr inbounds %struct.Solver, ptr %313, i64 %indvars.iv443
  %477 = load ptr, ptr %16, align 8, !tbaa !24
  %478 = load i32, ptr %407, align 8, !tbaa !18
  %479 = mul nsw i32 %478, %.0263395
  %480 = load i32, ptr %408, align 8, !tbaa !19
  %481 = add i32 %479, %.0261391.us
  %482 = mul i32 %481, %480
  %483 = add nsw i32 %482, %456
  %484 = sext i32 %483 to i64
  %485 = getelementptr inbounds float, ptr %477, i64 %484
  %486 = load float, ptr %485, align 4, !tbaa !25
  %487 = fptosi float %486 to i32
  call void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %487)
  %488 = load ptr, ptr %406, align 8, !tbaa !23
  %489 = load i32, ptr %407, align 8, !tbaa !18
  %490 = mul nsw i32 %489, %441
  %491 = load i32, ptr %408, align 8, !tbaa !19
  %492 = add i32 %490, %.0261391.us
  %493 = mul i32 %492, %491
  %494 = add nsw i32 %493, %456
  %495 = sext i32 %494 to i64
  %496 = getelementptr inbounds i8, ptr %488, i64 %495
  %497 = load i8, ptr %496, align 1, !tbaa !9
  %498 = icmp eq i8 %497, -1
  br i1 %498, label %511, label %499

499:                                              ; preds = %462
  %500 = load ptr, ptr %11, align 8, !tbaa !24
  %501 = load i32, ptr %278, align 8, !tbaa !18
  %502 = mul nsw i32 %501, %442
  %503 = load i32, ptr %257, align 8, !tbaa !19
  %504 = add i32 %502, %.0260392.us
  %505 = mul i32 %504, %503
  %506 = add nsw i32 %505, %456
  %507 = sext i32 %506 to i64
  %508 = getelementptr inbounds float, ptr %500, i64 %507
  %509 = load float, ptr %508, align 4, !tbaa !25
  %510 = fptosi float %509 to i32
  call void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %510)
  br label %512

511:                                              ; preds = %462
  call void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %492)
  br label %512

512:                                              ; preds = %511, %499
  %513 = load ptr, ptr %406, align 8, !tbaa !23
  %514 = load i32, ptr %407, align 8, !tbaa !18
  %515 = mul nsw i32 %514, %443
  %516 = load i32, ptr %408, align 8, !tbaa !19
  %517 = add i32 %515, %.0261391.us
  %518 = mul i32 %517, %516
  %519 = add nsw i32 %518, %456
  %520 = sext i32 %519 to i64
  %521 = getelementptr inbounds i8, ptr %513, i64 %520
  %522 = load i8, ptr %521, align 1, !tbaa !9
  %523 = icmp eq i8 %522, -1
  br i1 %523, label %536, label %524

524:                                              ; preds = %512
  %525 = load ptr, ptr %11, align 8, !tbaa !24
  %526 = load i32, ptr %278, align 8, !tbaa !18
  %527 = mul nsw i32 %526, %444
  %528 = load i32, ptr %257, align 8, !tbaa !19
  %529 = add i32 %527, %.0260392.us
  %530 = mul i32 %529, %528
  %531 = add nsw i32 %530, %456
  %532 = sext i32 %531 to i64
  %533 = getelementptr inbounds float, ptr %525, i64 %532
  %534 = load float, ptr %533, align 4, !tbaa !25
  %535 = fptosi float %534 to i32
  call void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %535)
  br label %537

536:                                              ; preds = %512
  call void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %517)
  br label %537

537:                                              ; preds = %536, %524
  %538 = load ptr, ptr %406, align 8, !tbaa !23
  %539 = load i32, ptr %407, align 8, !tbaa !18
  %540 = mul nsw i32 %539, %.0263395
  %541 = load i32, ptr %408, align 8, !tbaa !19
  %542 = add i32 %445, %540
  %543 = mul i32 %542, %541
  %544 = add nsw i32 %543, %456
  %545 = sext i32 %544 to i64
  %546 = getelementptr inbounds i8, ptr %538, i64 %545
  %547 = load i8, ptr %546, align 1, !tbaa !9
  %548 = icmp eq i8 %547, -1
  br i1 %548, label %561, label %549

549:                                              ; preds = %537
  %550 = load ptr, ptr %11, align 8, !tbaa !24
  %551 = load i32, ptr %278, align 8, !tbaa !18
  %552 = mul nsw i32 %551, %.0262397
  %553 = load i32, ptr %257, align 8, !tbaa !19
  %554 = add i32 %446, %552
  %555 = mul i32 %554, %553
  %556 = add nsw i32 %555, %456
  %557 = sext i32 %556 to i64
  %558 = getelementptr inbounds float, ptr %550, i64 %557
  %559 = load float, ptr %558, align 4, !tbaa !25
  %560 = fptosi float %559 to i32
  call void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %560)
  br label %562

561:                                              ; preds = %537
  call void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %542)
  br label %562

562:                                              ; preds = %561, %549
  %563 = load ptr, ptr %406, align 8, !tbaa !23
  %564 = load i32, ptr %407, align 8, !tbaa !18
  %565 = mul nsw i32 %564, %.0263395
  %566 = load i32, ptr %408, align 8, !tbaa !19
  %567 = add i32 %447, %565
  %568 = mul i32 %567, %566
  %569 = add nsw i32 %568, %456
  %570 = sext i32 %569 to i64
  %571 = getelementptr inbounds i8, ptr %563, i64 %570
  %572 = load i8, ptr %571, align 1, !tbaa !9
  %573 = icmp eq i8 %572, -1
  br i1 %573, label %586, label %574

574:                                              ; preds = %562
  %575 = load ptr, ptr %11, align 8, !tbaa !24
  %576 = load i32, ptr %278, align 8, !tbaa !18
  %577 = mul nsw i32 %576, %.0262397
  %578 = load i32, ptr %257, align 8, !tbaa !19
  %579 = add i32 %448, %577
  %580 = mul i32 %579, %578
  %581 = add nsw i32 %580, %456
  %582 = sext i32 %581 to i64
  %583 = getelementptr inbounds float, ptr %575, i64 %582
  %584 = load float, ptr %583, align 4, !tbaa !25
  %585 = fptosi float %584 to i32
  call void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %585)
  br label %587

586:                                              ; preds = %562
  call void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56) %476, i32 noundef %567)
  br label %587

587:                                              ; preds = %586, %574, %449
  %indvars.iv.next444 = add nuw nsw i64 %indvars.iv443, 1
  %exitcond447.not = icmp eq i64 %indvars.iv.next444, %wide.trip.count446
  br i1 %exitcond447.not, label %._crit_edge389.us, label %449, !llvm.loop !40

._crit_edge389.us:                                ; preds = %587
  %588 = load i32, ptr %304, align 8, !tbaa !32
  %.not315.us.not = icmp slt i32 %.0261391.us, %588
  br i1 %.not315.us.not, label %.preheader343.us, label %._crit_edge393.loopexit, !llvm.loop !41

._crit_edge393.loopexit:                          ; preds = %._crit_edge389.us
  %.pre474 = load i32, ptr %300, align 8, !tbaa !30
  br label %._crit_edge393

._crit_edge393:                                   ; preds = %.preheader343.lr.ph, %.lr.ph400.split.._crit_edge393_crit_edge, %._crit_edge393.loopexit
  %.pre-phi477 = phi i32 [ %.pre476, %.lr.ph400.split.._crit_edge393_crit_edge ], [ %444, %._crit_edge393.loopexit ], [ %444, %.preheader343.lr.ph ]
  %.pre-phi = phi i32 [ %.pre475, %.lr.ph400.split.._crit_edge393_crit_edge ], [ %443, %._crit_edge393.loopexit ], [ %443, %.preheader343.lr.ph ]
  %589 = phi i32 [ %438, %.lr.ph400.split.._crit_edge393_crit_edge ], [ %.pre474, %._crit_edge393.loopexit ], [ %438, %.preheader343.lr.ph ]
  %590 = phi i32 [ %439, %.lr.ph400.split.._crit_edge393_crit_edge ], [ %588, %._crit_edge393.loopexit ], [ %439, %.preheader343.lr.ph ]
  %.not307.not = icmp slt i32 %.0263395, %589
  br i1 %.not307.not, label %.lr.ph400.split, label %._crit_edge401, !llvm.loop !42

.loopexit:                                        ; preds = %659, %657
  %exitcond468.not = icmp eq i32 %.0258.in428, %.1294
  br i1 %exitcond468.not, label %._crit_edge432, label %591, !llvm.loop !43

._crit_edge432:                                   ; preds = %.loopexit, %._crit_edge401
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %16) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %16) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %13) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %13) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %11) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %11) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %9) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %9) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %7) #11
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %7) #11
  br label %669

591:                                              ; preds = %.lr.ph431, %.loopexit
  %.0258.in428 = phi i32 [ %.1288, %.lr.ph431 ], [ %.0258429, %.loopexit ]
  %.0258429 = add nsw i32 %.0258.in428, 1
  %592 = srem i32 %.0258429, %.1290
  %593 = icmp eq i32 %592, 0
  %.not309.not = icmp slt i32 %.0258.in428, %.1292
  %or.cond338 = select i1 %593, i1 true, i1 %.not309.not
  %594 = icmp eq i32 %.0258.in428, %.1294
  %or.cond339 = select i1 %or.cond338, i1 true, i1 %594
  br i1 %or.cond339, label %595, label %657

595:                                              ; preds = %591
  %596 = load i32, ptr %298, align 4, !tbaa !29
  %597 = load i32, ptr %300, align 8, !tbaa !30
  %.not310409 = icmp sgt i32 %596, %597
  br i1 %.not310409, label %._crit_edge415, label %.lr.ph414

.lr.ph414:                                        ; preds = %595
  %598 = load i32, ptr %302, align 4, !tbaa !31
  %599 = load i32, ptr %304, align 8, !tbaa !32
  %.not314405 = icmp sgt i32 %598, %599
  br i1 %.not314405, label %._crit_edge415, label %.lr.ph414.split

.lr.ph414.split:                                  ; preds = %.lr.ph414
  br i1 %314, label %.preheader.lr.ph.us.preheader, label %._crit_edge415.thread

._crit_edge415.thread:                            ; preds = %.lr.ph414.split
  %600 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.42, i32 noundef %.0258429)
  br label %._crit_edge422

.preheader.lr.ph.us.preheader:                    ; preds = %.lr.ph414.split
  %601 = zext i32 %598 to i64
  %602 = add i32 %599, 1
  br label %.preheader.lr.ph.us

.preheader.lr.ph.us:                              ; preds = %.preheader.lr.ph.us.preheader, %._crit_edge408.split.us.us
  %.0256411.us416 = phi i32 [ %644, %._crit_edge408.split.us.us ], [ %.1298, %.preheader.lr.ph.us.preheader ]
  %.0257410.us417 = phi i32 [ %643, %._crit_edge408.split.us.us ], [ %596, %.preheader.lr.ph.us.preheader ]
  %603 = load ptr, ptr %434, align 8
  %604 = load i32, ptr %435, align 8
  %605 = mul nsw i32 %604, %.0257410.us417
  %606 = load i32, ptr %436, align 8
  br label %.preheader.us.us

.preheader.us.us:                                 ; preds = %._crit_edge404.us.us, %.preheader.lr.ph.us
  %indvars.iv453 = phi i64 [ %indvars.iv.next454, %._crit_edge404.us.us ], [ %601, %.preheader.lr.ph.us ]
  %.0254407.us.us = phi i32 [ %642, %._crit_edge404.us.us ], [ %.1296, %.preheader.lr.ph.us ]
  %607 = trunc i64 %indvars.iv453 to i32
  %608 = add i32 %605, %607
  %609 = mul i32 %608, %606
  %610 = sext i32 %608 to i64
  %611 = load ptr, ptr %11, align 8
  %612 = load i32, ptr %278, align 8
  %613 = mul nsw i32 %612, %.0256411.us416
  %614 = load i32, ptr %257, align 8
  %615 = add i32 %613, %.0254407.us.us
  %616 = mul i32 %615, %614
  %617 = sext i32 %609 to i64
  %618 = sext i32 %616 to i64
  %invariant.gep = getelementptr i8, ptr %603, i64 %617
  %invariant.gep483 = getelementptr float, ptr %611, i64 %618
  br i1 %437, label %._crit_edge404.us.us.unr-lcssa, label %.preheader.us.us.new

.preheader.us.us.new:                             ; preds = %.preheader.us.us, %634
  %indvars.iv448 = phi i64 [ %indvars.iv.next449.1, %634 ], [ 0, %.preheader.us.us ]
  %niter = phi i64 [ %niter.next.1, %634 ], [ 0, %.preheader.us.us ]
  %gep = getelementptr i8, ptr %invariant.gep, i64 %indvars.iv448
  %619 = load i8, ptr %gep, align 1, !tbaa !9
  %620 = icmp eq i8 %619, -1
  br i1 %620, label %621, label %626

621:                                              ; preds = %.preheader.us.us.new
  %622 = getelementptr inbounds %struct.Solver, ptr %313, i64 %indvars.iv448, i32 3
  %623 = load ptr, ptr %622, align 8, !tbaa !44
  %624 = getelementptr inbounds float, ptr %623, i64 %610
  %625 = load float, ptr %624, align 4, !tbaa !25
  %gep484 = getelementptr float, ptr %invariant.gep483, i64 %indvars.iv448
  store float %625, ptr %gep484, align 4, !tbaa !25
  br label %626

626:                                              ; preds = %621, %.preheader.us.us.new
  %indvars.iv.next449 = or disjoint i64 %indvars.iv448, 1
  %gep.1 = getelementptr i8, ptr %invariant.gep, i64 %indvars.iv.next449
  %627 = load i8, ptr %gep.1, align 1, !tbaa !9
  %628 = icmp eq i8 %627, -1
  br i1 %628, label %629, label %634

629:                                              ; preds = %626
  %630 = getelementptr inbounds %struct.Solver, ptr %313, i64 %indvars.iv.next449, i32 3
  %631 = load ptr, ptr %630, align 8, !tbaa !44
  %632 = getelementptr inbounds float, ptr %631, i64 %610
  %633 = load float, ptr %632, align 4, !tbaa !25
  %gep484.1 = getelementptr float, ptr %invariant.gep483, i64 %indvars.iv.next449
  store float %633, ptr %gep484.1, align 4, !tbaa !25
  br label %634

634:                                              ; preds = %629, %626
  %indvars.iv.next449.1 = add nuw nsw i64 %indvars.iv448, 2
  %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_edge404.us.us.unr-lcssa, label %.preheader.us.us.new, !llvm.loop !45

._crit_edge404.us.us.unr-lcssa:                   ; preds = %634, %.preheader.us.us
  %indvars.iv448.unr = phi i64 [ 0, %.preheader.us.us ], [ %indvars.iv.next449.1, %634 ]
  br i1 %lcmp.mod.not, label %._crit_edge404.us.us, label %.epil.preheader

.epil.preheader:                                  ; preds = %._crit_edge404.us.us.unr-lcssa
  %gep.epil = getelementptr i8, ptr %invariant.gep, i64 %indvars.iv448.unr
  %635 = load i8, ptr %gep.epil, align 1, !tbaa !9
  %636 = icmp eq i8 %635, -1
  br i1 %636, label %637, label %._crit_edge404.us.us

637:                                              ; preds = %.epil.preheader
  %638 = getelementptr inbounds %struct.Solver, ptr %313, i64 %indvars.iv448.unr, i32 3
  %639 = load ptr, ptr %638, align 8, !tbaa !44
  %640 = getelementptr inbounds float, ptr %639, i64 %610
  %641 = load float, ptr %640, align 4, !tbaa !25
  %gep484.epil = getelementptr float, ptr %invariant.gep483, i64 %indvars.iv448.unr
  store float %641, ptr %gep484.epil, align 4, !tbaa !25
  br label %._crit_edge404.us.us

._crit_edge404.us.us:                             ; preds = %.epil.preheader, %637, %._crit_edge404.us.us.unr-lcssa
  %indvars.iv.next454 = add i64 %indvars.iv453, 1
  %642 = add nsw i32 %.0254407.us.us, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next454 to i32
  %exitcond456.not = icmp eq i32 %602, %lftr.wideiv
  br i1 %exitcond456.not, label %._crit_edge408.split.us.us, label %.preheader.us.us, !llvm.loop !46

._crit_edge408.split.us.us:                       ; preds = %._crit_edge404.us.us
  %643 = add i32 %.0257410.us417, 1
  %644 = add nsw i32 %.0256411.us416, 1
  %exitcond457.not = icmp eq i32 %.0257410.us417, %597
  br i1 %exitcond457.not, label %._crit_edge415, label %.preheader.lr.ph.us, !llvm.loop !47

._crit_edge415:                                   ; preds = %._crit_edge408.split.us.us, %.lr.ph414, %595
  %645 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.42, i32 noundef %.0258429)
  br i1 %314, label %.lr.ph421, label %._crit_edge422

._crit_edge422:                                   ; preds = %.lr.ph421, %._crit_edge415.thread, %._crit_edge415
  %646 = call i32 @puts(ptr noundef nonnull dereferenceable(1) @.str.24)
  br i1 %594, label %655, label %653

647:                                              ; preds = %655, %653
  %648 = landingpad { ptr, i32 }
          cleanup
  br label %662

.lr.ph421:                                        ; preds = %._crit_edge415, %.lr.ph421
  %indvars.iv458 = phi i64 [ %indvars.iv.next459, %.lr.ph421 ], [ 0, %._crit_edge415 ]
  %649 = getelementptr inbounds %struct.Solver, ptr %313, i64 %indvars.iv458, i32 6
  %650 = load float, ptr %649, align 8, !tbaa !48
  %651 = fpext float %650 to double
  %652 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.43, double noundef %651)
  %indvars.iv.next459 = add nuw nsw i64 %indvars.iv458, 1
  %exitcond462.not = icmp eq i64 %indvars.iv.next459, %wide.trip.count461
  br i1 %exitcond462.not, label %._crit_edge422, label %.lr.ph421, !llvm.loop !49

653:                                              ; preds = %._crit_edge422
  %654 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) @str, ptr noundef nonnull dereferenceable(1) @.str.27, i32 noundef %.0258429) #11
  invoke void @_ZN3IMG5writeEPKc(ptr noundef nonnull align 8 dereferenceable(76) %11, ptr noundef nonnull @str)
          to label %657 unwind label %647

655:                                              ; preds = %._crit_edge422
  %656 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %6) #11
  invoke void @_ZN3IMG5writeEPKc(ptr noundef nonnull align 8 dereferenceable(76) %11, ptr noundef %656)
          to label %657 unwind label %647

657:                                              ; preds = %591, %653, %655
  br i1 %314, label %.lr.ph425, label %.loopexit

.lr.ph425:                                        ; preds = %657, %659
  %indvars.iv463 = phi i64 [ %indvars.iv.next464, %659 ], [ 0, %657 ]
  %658 = getelementptr inbounds %struct.Solver, ptr %313, i64 %indvars.iv463
  invoke void @_ZN6Solver4iterEv(ptr noundef nonnull align 8 dereferenceable(56) %658)
          to label %659 unwind label %660

659:                                              ; preds = %.lr.ph425
  %indvars.iv.next464 = add nuw nsw i64 %indvars.iv463, 1
  %exitcond467.not = icmp eq i64 %indvars.iv.next464, %wide.trip.count466
  br i1 %exitcond467.not, label %.loopexit, label %.lr.ph425, !llvm.loop !50

660:                                              ; preds = %.lr.ph425
  %661 = landingpad { ptr, i32 }
          cleanup
  br label %662

662:                                              ; preds = %647, %660, %431, %414
  %.pn316 = phi { ptr, i32 } [ %432, %431 ], [ %415, %414 ], [ %661, %660 ], [ %648, %647 ]
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %16) #11
  br label %663

663:                                              ; preds = %662, %316
  %.pn316.pn = phi { ptr, i32 } [ %.pn316, %662 ], [ %317, %316 ]
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %16) #11
  br label %664

664:                                              ; preds = %663, %204
  %.pn316.pn.pn = phi { ptr, i32 } [ %.pn316.pn, %663 ], [ %205, %204 ]
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %13) #11
  br label %665

665:                                              ; preds = %664, %203
  %.pn316.pn.pn.pn = phi { ptr, i32 } [ %.pn316.pn.pn, %664 ], [ %.pn, %203 ]
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %13) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %11) #11
  br label %666

666:                                              ; preds = %665, %197, %195
  %.pn316.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn316.pn.pn.pn, %665 ], [ %198, %197 ], [ %196, %195 ]
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %11) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %9) #11
  br label %667

667:                                              ; preds = %666, %193, %191
  %.pn316.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn316.pn.pn.pn.pn, %666 ], [ %194, %193 ], [ %192, %191 ]
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %9) #11
  call void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76) %7) #11
  br label %668

668:                                              ; preds = %667, %189, %187
  %.pn316.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn316.pn.pn.pn.pn.pn, %667 ], [ %190, %189 ], [ %188, %187 ]
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %7) #11
  br label %670

669:                                              ; preds = %._crit_edge432, %155, %151, %18
  %.0265.shrunk = phi i1 [ false, %18 ], [ %.not327, %151 ], [ %.not326, %155 ], [ false, %._crit_edge432 ]
  %.0265 = zext i1 %.0265.shrunk to i32
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #11
  ret i32 %.0265

670:                                              ; preds = %668, %57, %35
  %.pn328 = phi { ptr, i32 } [ %58, %57 ], [ %.pn316.pn.pn.pn.pn.pn.pn, %668 ], [ %36, %35 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #11
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #11
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #11
  resume { ptr, i32 } %.pn328
}

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #3 align 2

; Function Attrs: nofree nounwind
declare noundef i32 @puts(ptr nocapture noundef readonly) local_unnamed_addr #4

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) local_unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress nofree nounwind willreturn memory(read) uwtable
declare i32 @atoi(ptr nocapture noundef nonnull) local_unnamed_addr #6

; Function Attrs: nofree nounwind
declare noundef i32 @sprintf(ptr noalias nocapture noundef writeonly, ptr nocapture noundef readonly, ...) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) local_unnamed_addr #7

; Function Attrs: mustprogress uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #5 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3IMGC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(76), ptr noundef) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #5 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3IMG4initEiii(ptr noundef nonnull align 8 dereferenceable(76), i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #5 align 2

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) 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 #7

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3IMG4statEi(ptr noundef nonnull align 8 dereferenceable(76), i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3IMGC2Eiii(ptr noundef nonnull align 8 dereferenceable(76), i32 noundef, i32 noundef, i32 noundef) unnamed_addr #5 align 2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.fmuladd.f32(float, float, float) #8

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #8

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) local_unnamed_addr #9

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6Solver6resizeEi(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef) local_unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN6Solver7additemEii(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef, i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN6Solver8addconstEi(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN6Solver6addvarEi(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3IMG5writeEPKc(ptr noundef nonnull align 8 dereferenceable(76), ptr noundef) local_unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6Solver4iterEv(ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3IMGD2Ev(ptr noundef nonnull align 8 dereferenceable(76)) unnamed_addr #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #3 align 2

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(inaccessiblemem: write)
declare void @llvm.assume(i1 noundef) #10

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { noreturn 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 #2 = { mustprogress norecurse 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 #3 = { 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 = { 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 #5 = { 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 #6 = { inlinehint mustprogress nofree nounwind willreturn memory(read) 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 #7 = { 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 #8 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #9 = { nobuiltin allocsize(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 #10 = { nocallback nofree nosync nounwind willreturn memory(inaccessiblemem: write) }
attributes #11 = { nounwind }
attributes #12 = { nounwind willreturn memory(read) }
attributes #13 = { noreturn nounwind }
attributes #14 = { builtin allocsize(0) }

!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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = !{!13, !17, i64 52}
!13 = !{!"_ZTS3IMG", !6, i64 0, !6, i64 8, !14, i64 16, !17, i64 48, !17, i64 52, !17, i64 56, !17, i64 60, !17, i64 64, !17, i64 68, !17, i64 72}
!14 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !15, i64 0, !16, i64 8, !7, i64 16}
!15 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!16 = !{!"long", !7, i64 0}
!17 = !{!"int", !7, i64 0}
!18 = !{!13, !17, i64 48}
!19 = !{!13, !17, i64 56}
!20 = distinct !{!20, !11, !21}
!21 = !{!"llvm.loop.unswitch.partial.disable"}
!22 = distinct !{!22, !11, !21}
!23 = !{!13, !6, i64 8}
!24 = !{!13, !6, i64 0}
!25 = !{!26, !26, i64 0}
!26 = !{!"float", !7, i64 0}
!27 = distinct !{!27, !11}
!28 = !{!17, !17, i64 0}
!29 = !{!13, !17, i64 68}
!30 = !{!13, !17, i64 72}
!31 = !{!13, !17, i64 60}
!32 = !{!13, !17, i64 64}
!33 = distinct !{!33, !11, !21}
!34 = distinct !{!34, !11}
!35 = distinct !{!35, !11}
!36 = !{!37, !17, i64 8}
!37 = !{!"_ZTS6Solver", !17, i64 0, !17, i64 4, !17, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !26, i64 40, !6, i64 48}
!38 = !{!37, !17, i64 0}
!39 = distinct !{!39, !11}
!40 = distinct !{!40, !11}
!41 = distinct !{!41, !11}
!42 = distinct !{!42, !11, !21}
!43 = distinct !{!43, !11}
!44 = !{!37, !6, i64 16}
!45 = distinct !{!45, !11}
!46 = distinct !{!46, !11}
!47 = distinct !{!47, !11}
!48 = !{!37, !26, i64 40}
!49 = distinct !{!49, !11}
!50 = distinct !{!50, !11}


; Effective O3 passes: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimpleLoopUnswitchPass,SimplifyCFGPass