; LLVM IR from tangjz/acm-icpc :: codechef/SNCKEL19/RECOVER.ll (Z5solvev)

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

%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<int, int, std::_Identity<int>, std::less<int>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<int, int, std::_Identity<int>, std::less<int>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%class.anon = type { i8 }
%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"struct.std::pair" = type { i32, i32 }

@dt = external dso_local global %"class.std::vector", align 8
@n = external dso_local global i32, align 4
@s = external dso_local global i32, align 4
@mat = external dso_local global [201 x [201 x i32]], align 16
@e = external dso_local global [40001 x %"class.std::set"], align 16
@_ZZ5solvevE3ctr = external hidden global [13 x i32], align 16
@_ZZ5solvevE3deg = external hidden global [201 x [201 x i32]], align 16
@_ZZ5solvevE3vis = external hidden global [40001 x i8], align 16

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z5solvev() #0 {
  %1 = alloca i1, align 1
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %7 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca %class.anon, align 1
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca ptr, align 8
  %29 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %30 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %34 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %35 = alloca ptr, align 8
  %36 = alloca i32, align 4
  %37 = alloca ptr, align 8
  %38 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %39 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %40 = alloca ptr, align 8
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca ptr, align 8
  %45 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %46 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %47 = alloca ptr, align 8
  %48 = alloca i32, align 4
  %49 = alloca i32, align 4
  %50 = alloca i32, align 4
  call void @llvm.memset.p0.i64(ptr align 16 @_ZZ5solvevE3ctr, i8 0, i64 52, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #5
  store i32 1, ptr %2, align 4, !tbaa !5
  br label %51

51:                                               ; preds = %135, %0
  %52 = load i32, ptr %2, align 4, !tbaa !5
  %53 = load i32, ptr @n, align 4, !tbaa !5
  %54 = icmp sle i32 %52, %53
  br i1 %54, label %56, label %55

55:                                               ; preds = %51
  store i32 2, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #5
  br label %138

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

57:                                               ; preds = %131, %56
  %58 = load i32, ptr %4, align 4, !tbaa !5
  %59 = load i32, ptr @n, align 4, !tbaa !5
  %60 = icmp sle i32 %58, %59
  br i1 %60, label %62, label %61

61:                                               ; preds = %57
  store i32 5, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #5
  br label %134

62:                                               ; preds = %57
  %63 = load i32, ptr %2, align 4, !tbaa !5
  %64 = sext i32 %63 to i64
  %65 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %64
  %66 = load i32, ptr %4, align 4, !tbaa !5
  %67 = sext i32 %66 to i64
  %68 = getelementptr inbounds [201 x i32], ptr %65, i64 0, i64 %67
  store i32 0, ptr %68, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #5
  store ptr @dt, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #5
  %69 = call ptr @_ZNSt6vectorISt4pairIiiESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) @dt) #5
  %70 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %6, i32 0, i32 0
  store ptr %69, ptr %70, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #5
  %71 = call ptr @_ZNSt6vectorISt4pairIiiESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) @dt) #5
  %72 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %7, i32 0, i32 0
  store ptr %71, ptr %72, align 8
  br label %73

73:                                               ; preds = %117, %62
  %74 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIiiESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull align 8 dereferenceable(8) %7) #5
  br i1 %74, label %76, label %75

75:                                               ; preds = %73
  store i32 8, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #5
  br label %119

76:                                               ; preds = %73
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #5
  %77 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPSt4pairIiiESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %6) #5
  store ptr %77, ptr %8, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  %78 = load i32, ptr %2, align 4, !tbaa !5
  %79 = load ptr, ptr %8, align 8, !tbaa !9
  %80 = getelementptr inbounds %"struct.std::pair", ptr %79, i32 0, i32 0
  %81 = load i32, ptr %80, align 4, !tbaa !11
  %82 = add nsw i32 %78, %81
  store i32 %82, ptr %9, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  %83 = load i32, ptr %4, align 4, !tbaa !5
  %84 = load ptr, ptr %8, align 8, !tbaa !9
  %85 = getelementptr inbounds %"struct.std::pair", ptr %84, i32 0, i32 1
  %86 = load i32, ptr %85, align 4, !tbaa !13
  %87 = add nsw i32 %83, %86
  store i32 %87, ptr %10, align 4, !tbaa !5
  %88 = load i32, ptr %9, align 4, !tbaa !5
  %89 = icmp slt i32 %88, 1
  br i1 %89, label %101, label %90

90:                                               ; preds = %76
  %91 = load i32, ptr %9, align 4, !tbaa !5
  %92 = load i32, ptr @n, align 4, !tbaa !5
  %93 = icmp sgt i32 %91, %92
  br i1 %93, label %101, label %94

94:                                               ; preds = %90
  %95 = load i32, ptr %10, align 4, !tbaa !5
  %96 = icmp slt i32 %95, 1
  br i1 %96, label %101, label %97

97:                                               ; preds = %94
  %98 = load i32, ptr %10, align 4, !tbaa !5
  %99 = load i32, ptr @n, align 4, !tbaa !5
  %100 = icmp sgt i32 %98, %99
  br i1 %100, label %101, label %102

101:                                              ; preds = %97, %94, %90, %76
  store i32 9, ptr %3, align 4
  br label %111

102:                                              ; preds = %97
  %103 = load i32, ptr %2, align 4, !tbaa !5
  %104 = sext i32 %103 to i64
  %105 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %104
  %106 = load i32, ptr %4, align 4, !tbaa !5
  %107 = sext i32 %106 to i64
  %108 = getelementptr inbounds [201 x i32], ptr %105, i64 0, i64 %107
  %109 = load i32, ptr %108, align 4, !tbaa !5
  %110 = add nsw i32 %109, 1
  store i32 %110, ptr %108, align 4, !tbaa !5
  store i32 0, ptr %3, align 4
  br label %111

111:                                              ; preds = %102, %101
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  %112 = load i32, ptr %3, align 4
  switch i32 %112, label %114 [
    i32 0, label %113
  ]

113:                                              ; preds = %111
  store i32 0, ptr %3, align 4
  br label %114

114:                                              ; preds = %113, %111
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #5
  %115 = load i32, ptr %3, align 4
  switch i32 %115, label %654 [
    i32 0, label %116
    i32 9, label %117
  ]

116:                                              ; preds = %114
  br label %117

117:                                              ; preds = %116, %114
  %118 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt4pairIiiESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %6) #5
  br label %73

119:                                              ; preds = %75
  %120 = load i32, ptr %2, align 4, !tbaa !5
  %121 = sext i32 %120 to i64
  %122 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %121
  %123 = load i32, ptr %4, align 4, !tbaa !5
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds [201 x i32], ptr %122, i64 0, i64 %124
  %126 = load i32, ptr %125, align 4, !tbaa !5
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds [13 x i32], ptr @_ZZ5solvevE3ctr, i64 0, i64 %127
  %129 = load i32, ptr %128, align 4, !tbaa !5
  %130 = add nsw i32 %129, 1
  store i32 %130, ptr %128, align 4, !tbaa !5
  br label %131

131:                                              ; preds = %119
  %132 = load i32, ptr %4, align 4, !tbaa !5
  %133 = add nsw i32 %132, 1
  store i32 %133, ptr %4, align 4, !tbaa !5
  br label %57, !llvm.loop !14

134:                                              ; preds = %61
  br label %135

135:                                              ; preds = %134
  %136 = load i32, ptr %2, align 4, !tbaa !5
  %137 = add nsw i32 %136, 1
  store i32 %137, ptr %2, align 4, !tbaa !5
  br label %51, !llvm.loop !16

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

139:                                              ; preds = %162, %138
  %140 = load i32, ptr %11, align 4, !tbaa !5
  %141 = load i32, ptr @s, align 4, !tbaa !5
  %142 = icmp sle i32 %140, %141
  br i1 %142, label %144, label %143

143:                                              ; preds = %139
  store i32 10, ptr %3, align 4
  br label %165

144:                                              ; preds = %139
  %145 = load i32, ptr %11, align 4, !tbaa !5
  %146 = sext i32 %145 to i64
  %147 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %146
  %148 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %147) #5
  %149 = icmp uge i64 %148, 13
  br i1 %149, label %150, label %151

150:                                              ; preds = %144
  store i1 false, ptr %1, align 1
  store i32 1, ptr %3, align 4
  br label %165

151:                                              ; preds = %144
  %152 = load i32, ptr %11, align 4, !tbaa !5
  %153 = sext i32 %152 to i64
  %154 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %153
  %155 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %154) #5
  %156 = getelementptr inbounds [13 x i32], ptr @_ZZ5solvevE3ctr, i64 0, i64 %155
  %157 = load i32, ptr %156, align 4, !tbaa !5
  %158 = add nsw i32 %157, -1
  store i32 %158, ptr %156, align 4, !tbaa !5
  %159 = load i32, ptr %11, align 4, !tbaa !5
  %160 = sext i32 %159 to i64
  %161 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %160
  store i8 0, ptr %161, align 1, !tbaa !17
  br label %162

162:                                              ; preds = %151
  %163 = load i32, ptr %11, align 4, !tbaa !5
  %164 = add nsw i32 %163, 1
  store i32 %164, ptr %11, align 4, !tbaa !5
  br label %139, !llvm.loop !19

165:                                              ; preds = %150, %143
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  %166 = load i32, ptr %3, align 4
  switch i32 %166, label %654 [
    i32 10, label %167
    i32 1, label %652
  ]

167:                                              ; preds = %165
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #5
  store i32 1, ptr %12, align 4, !tbaa !5
  br label %168

168:                                              ; preds = %180, %167
  %169 = load i32, ptr %12, align 4, !tbaa !5
  %170 = icmp slt i32 %169, 13
  br i1 %170, label %172, label %171

171:                                              ; preds = %168
  store i32 13, ptr %3, align 4
  br label %183

172:                                              ; preds = %168
  %173 = load i32, ptr %12, align 4, !tbaa !5
  %174 = sext i32 %173 to i64
  %175 = getelementptr inbounds [13 x i32], ptr @_ZZ5solvevE3ctr, i64 0, i64 %174
  %176 = load i32, ptr %175, align 4, !tbaa !5
  %177 = icmp ne i32 %176, 0
  br i1 %177, label %178, label %179

178:                                              ; preds = %172
  store i1 false, ptr %1, align 1
  store i32 1, ptr %3, align 4
  br label %183

179:                                              ; preds = %172
  br label %180

180:                                              ; preds = %179
  %181 = load i32, ptr %12, align 4, !tbaa !5
  %182 = add nsw i32 %181, 1
  store i32 %182, ptr %12, align 4, !tbaa !5
  br label %168, !llvm.loop !20

183:                                              ; preds = %178, %171
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #5
  %184 = load i32, ptr %3, align 4
  switch i32 %184, label %654 [
    i32 13, label %185
    i32 1, label %652
  ]

185:                                              ; preds = %183
  %186 = load i32, ptr @n, align 4, !tbaa !5
  %187 = icmp sle i32 %186, 2
  br i1 %187, label %188, label %218

188:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  store i32 1, ptr %13, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  store i32 1, ptr %14, align 4, !tbaa !5
  br label %189

189:                                              ; preds = %214, %188
  %190 = load i32, ptr %13, align 4, !tbaa !5
  %191 = load i32, ptr @n, align 4, !tbaa !5
  %192 = icmp sle i32 %190, %191
  br i1 %192, label %194, label %193

193:                                              ; preds = %189
  store i32 16, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  br label %217

194:                                              ; preds = %189
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  store i32 1, ptr %15, align 4, !tbaa !5
  br label %195

195:                                              ; preds = %208, %194
  %196 = load i32, ptr %15, align 4, !tbaa !5
  %197 = load i32, ptr @n, align 4, !tbaa !5
  %198 = icmp sle i32 %196, %197
  br i1 %198, label %200, label %199

199:                                              ; preds = %195
  store i32 19, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  br label %213

200:                                              ; preds = %195
  %201 = load i32, ptr %14, align 4, !tbaa !5
  %202 = load i32, ptr %13, align 4, !tbaa !5
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %203
  %205 = load i32, ptr %15, align 4, !tbaa !5
  %206 = sext i32 %205 to i64
  %207 = getelementptr inbounds [201 x i32], ptr %204, i64 0, i64 %206
  store i32 %201, ptr %207, align 4, !tbaa !5
  br label %208

208:                                              ; preds = %200
  %209 = load i32, ptr %15, align 4, !tbaa !5
  %210 = add nsw i32 %209, 1
  store i32 %210, ptr %15, align 4, !tbaa !5
  %211 = load i32, ptr %14, align 4, !tbaa !5
  %212 = add nsw i32 %211, 1
  store i32 %212, ptr %14, align 4, !tbaa !5
  br label %195, !llvm.loop !21

213:                                              ; preds = %199
  br label %214

214:                                              ; preds = %213
  %215 = load i32, ptr %13, align 4, !tbaa !5
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr %13, align 4, !tbaa !5
  br label %189, !llvm.loop !22

217:                                              ; preds = %193
  br label %553

218:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  store i32 1, ptr %17, align 4, !tbaa !5
  br label %219

219:                                              ; preds = %544, %218
  %220 = load i32, ptr %17, align 4, !tbaa !5
  %221 = load i32, ptr @n, align 4, !tbaa !5
  %222 = icmp sle i32 %220, %221
  br i1 %222, label %224, label %223

223:                                              ; preds = %219
  store i32 22, ptr %3, align 4
  br label %547

224:                                              ; preds = %219
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #5
  store i32 1, ptr %18, align 4, !tbaa !5
  br label %225

225:                                              ; preds = %538, %224
  %226 = load i32, ptr %18, align 4, !tbaa !5
  %227 = load i32, ptr @n, align 4, !tbaa !5
  %228 = icmp sle i32 %226, %227
  br i1 %228, label %230, label %229

229:                                              ; preds = %225
  store i32 25, ptr %3, align 4
  br label %541

230:                                              ; preds = %225
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  %231 = load i32, ptr %18, align 4, !tbaa !5
  %232 = icmp eq i32 %231, 1
  br i1 %232, label %233, label %275

233:                                              ; preds = %230
  %234 = load i32, ptr %17, align 4, !tbaa !5
  %235 = icmp sgt i32 %234, 1
  br i1 %235, label %236, label %246

236:                                              ; preds = %233
  %237 = load i32, ptr %17, align 4, !tbaa !5
  %238 = sub nsw i32 %237, 1
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %239
  %241 = load i32, ptr %18, align 4, !tbaa !5
  %242 = add nsw i32 %241, 1
  %243 = sext i32 %242 to i64
  %244 = getelementptr inbounds [201 x i32], ptr %240, i64 0, i64 %243
  %245 = load i32, ptr %244, align 4, !tbaa !5
  br label %247

246:                                              ; preds = %233
  br label %247

247:                                              ; preds = %246, %236
  %248 = phi i32 [ %245, %236 ], [ -1, %246 ]
  store i32 %248, ptr %19, align 4, !tbaa !5
  %249 = load i32, ptr %17, align 4, !tbaa !5
  %250 = icmp sgt i32 %249, 1
  br i1 %250, label %251, label %260

251:                                              ; preds = %247
  %252 = load i32, ptr %17, align 4, !tbaa !5
  %253 = sub nsw i32 %252, 1
  %254 = sext i32 %253 to i64
  %255 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %254
  %256 = load i32, ptr %18, align 4, !tbaa !5
  %257 = sext i32 %256 to i64
  %258 = getelementptr inbounds [201 x i32], ptr %255, i64 0, i64 %257
  %259 = load i32, ptr %258, align 4, !tbaa !5
  br label %261

260:                                              ; preds = %247
  br label %261

261:                                              ; preds = %260, %251
  %262 = phi i32 [ %259, %251 ], [ -1, %260 ]
  store i32 %262, ptr %20, align 4, !tbaa !5
  %263 = load i32, ptr %17, align 4, !tbaa !5
  %264 = icmp sgt i32 %263, 1
  br i1 %264, label %265, label %272

265:                                              ; preds = %261
  %266 = load i32, ptr %17, align 4, !tbaa !5
  %267 = load i32, ptr %18, align 4, !tbaa !5
  %268 = load i32, ptr %17, align 4, !tbaa !5
  %269 = sub nsw i32 %268, 1
  %270 = load i32, ptr %18, align 4, !tbaa !5
  %271 = call noundef i32 @"_ZZ5solvevENK3$_0clEiiii"(ptr noundef nonnull align 1 dereferenceable(1) %16, i32 noundef %266, i32 noundef %267, i32 noundef %269, i32 noundef %270)
  br label %273

272:                                              ; preds = %261
  br label %273

273:                                              ; preds = %272, %265
  %274 = phi i32 [ %271, %265 ], [ -1, %272 ]
  store i32 %274, ptr %21, align 4, !tbaa !5
  br label %337

275:                                              ; preds = %230
  %276 = load i32, ptr %18, align 4, !tbaa !5
  %277 = icmp eq i32 %276, 2
  br i1 %277, label %278, label %313

278:                                              ; preds = %275
  %279 = load i32, ptr %17, align 4, !tbaa !5
  %280 = icmp sgt i32 %279, 1
  br i1 %280, label %281, label %290

281:                                              ; preds = %278
  %282 = load i32, ptr %17, align 4, !tbaa !5
  %283 = sub nsw i32 %282, 1
  %284 = sext i32 %283 to i64
  %285 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %284
  %286 = load i32, ptr %18, align 4, !tbaa !5
  %287 = sext i32 %286 to i64
  %288 = getelementptr inbounds [201 x i32], ptr %285, i64 0, i64 %287
  %289 = load i32, ptr %288, align 4, !tbaa !5
  br label %291

290:                                              ; preds = %278
  br label %291

291:                                              ; preds = %290, %281
  %292 = phi i32 [ %289, %281 ], [ -1, %290 ]
  store i32 %292, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #5
  %293 = load i32, ptr %17, align 4, !tbaa !5
  %294 = sub nsw i32 %293, 1
  store i32 %294, ptr %22, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  store i32 1, ptr %23, align 4, !tbaa !5
  %295 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %22, ptr noundef nonnull align 4 dereferenceable(4) %23)
  %296 = load i32, ptr %295, align 4, !tbaa !5
  %297 = sext i32 %296 to i64
  %298 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %297
  %299 = load i32, ptr %18, align 4, !tbaa !5
  %300 = sub nsw i32 %299, 1
  %301 = sext i32 %300 to i64
  %302 = getelementptr inbounds [201 x i32], ptr %298, i64 0, i64 %301
  %303 = load i32, ptr %302, align 4, !tbaa !5
  store i32 %303, ptr %20, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  %304 = load i32, ptr %17, align 4, !tbaa !5
  %305 = load i32, ptr %18, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #5
  %306 = load i32, ptr %17, align 4, !tbaa !5
  %307 = sub nsw i32 %306, 1
  store i32 %307, ptr %24, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  store i32 1, ptr %25, align 4, !tbaa !5
  %308 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %24, ptr noundef nonnull align 4 dereferenceable(4) %25)
  %309 = load i32, ptr %308, align 4, !tbaa !5
  %310 = load i32, ptr %18, align 4, !tbaa !5
  %311 = sub nsw i32 %310, 1
  %312 = call noundef i32 @"_ZZ5solvevENK3$_0clEiiii"(ptr noundef nonnull align 1 dereferenceable(1) %16, i32 noundef %304, i32 noundef %305, i32 noundef %309, i32 noundef %311)
  store i32 %312, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  br label %336

313:                                              ; preds = %275
  %314 = load i32, ptr %17, align 4, !tbaa !5
  %315 = sext i32 %314 to i64
  %316 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %315
  %317 = load i32, ptr %18, align 4, !tbaa !5
  %318 = sub nsw i32 %317, 1
  %319 = sext i32 %318 to i64
  %320 = getelementptr inbounds [201 x i32], ptr %316, i64 0, i64 %319
  %321 = load i32, ptr %320, align 4, !tbaa !5
  store i32 %321, ptr %19, align 4, !tbaa !5
  %322 = load i32, ptr %17, align 4, !tbaa !5
  %323 = sext i32 %322 to i64
  %324 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %323
  %325 = load i32, ptr %18, align 4, !tbaa !5
  %326 = sub nsw i32 %325, 2
  %327 = sext i32 %326 to i64
  %328 = getelementptr inbounds [201 x i32], ptr %324, i64 0, i64 %327
  %329 = load i32, ptr %328, align 4, !tbaa !5
  store i32 %329, ptr %20, align 4, !tbaa !5
  %330 = load i32, ptr %17, align 4, !tbaa !5
  %331 = load i32, ptr %18, align 4, !tbaa !5
  %332 = load i32, ptr %17, align 4, !tbaa !5
  %333 = load i32, ptr %18, align 4, !tbaa !5
  %334 = sub nsw i32 %333, 2
  %335 = call noundef i32 @"_ZZ5solvevENK3$_0clEiiii"(ptr noundef nonnull align 1 dereferenceable(1) %16, i32 noundef %330, i32 noundef %331, i32 noundef %332, i32 noundef %334)
  store i32 %335, ptr %21, align 4, !tbaa !5
  br label %336

336:                                              ; preds = %313, %291
  br label %337

337:                                              ; preds = %336, %273
  %338 = load i32, ptr %17, align 4, !tbaa !5
  %339 = sext i32 %338 to i64
  %340 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %339
  %341 = load i32, ptr %18, align 4, !tbaa !5
  %342 = sext i32 %341 to i64
  %343 = getelementptr inbounds [201 x i32], ptr %340, i64 0, i64 %342
  store i32 -1, ptr %343, align 4, !tbaa !5
  %344 = load i32, ptr %19, align 4, !tbaa !5
  %345 = icmp eq i32 %344, -1
  br i1 %345, label %346, label %427

346:                                              ; preds = %337
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  store i32 1, ptr %26, align 4, !tbaa !5
  br label %347

347:                                              ; preds = %422, %346
  %348 = load i32, ptr %26, align 4, !tbaa !5
  %349 = load i32, ptr @s, align 4, !tbaa !5
  %350 = icmp sle i32 %348, %349
  br i1 %350, label %352, label %351

351:                                              ; preds = %347
  store i32 28, ptr %3, align 4
  br label %425

352:                                              ; preds = %347
  %353 = load i32, ptr %26, align 4, !tbaa !5
  %354 = sext i32 %353 to i64
  %355 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %354
  %356 = load i8, ptr %355, align 1, !tbaa !17, !range !23, !noundef !24
  %357 = trunc i8 %356 to i1
  br i1 %357, label %421, label %358

358:                                              ; preds = %352
  %359 = load i32, ptr %26, align 4, !tbaa !5
  %360 = sext i32 %359 to i64
  %361 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %360
  %362 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %361) #5
  %363 = load i32, ptr %17, align 4, !tbaa !5
  %364 = sext i32 %363 to i64
  %365 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %364
  %366 = load i32, ptr %18, align 4, !tbaa !5
  %367 = sext i32 %366 to i64
  %368 = getelementptr inbounds [201 x i32], ptr %365, i64 0, i64 %367
  %369 = load i32, ptr %368, align 4, !tbaa !5
  %370 = sext i32 %369 to i64
  %371 = icmp eq i64 %362, %370
  br i1 %371, label %372, label %421

372:                                              ; preds = %358
  %373 = load i32, ptr %21, align 4, !tbaa !5
  %374 = icmp ne i32 %373, -1
  br i1 %374, label %375, label %410

375:                                              ; preds = %372
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #5
  store i32 0, ptr %27, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #5
  %376 = load i32, ptr %26, align 4, !tbaa !5
  %377 = sext i32 %376 to i64
  %378 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %377
  store ptr %378, ptr %28, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #5
  %379 = load ptr, ptr %28, align 8, !tbaa !9
  %380 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %379) #5
  %381 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %29, i32 0, i32 0
  store ptr %380, ptr %381, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #5
  %382 = load ptr, ptr %28, align 8, !tbaa !9
  %383 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %382) #5
  %384 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %30, i32 0, i32 0
  store ptr %383, ptr %384, align 8
  br label %385

385:                                              ; preds = %399, %375
  %386 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %30) #5
  br i1 %386, label %388, label %387

387:                                              ; preds = %385
  store i32 31, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #5
  br label %401

388:                                              ; preds = %385
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #5
  %389 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt23_Rb_tree_const_iteratorIiEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #5
  store ptr %389, ptr %31, align 8, !tbaa !9
  %390 = load i32, ptr %20, align 4, !tbaa !5
  %391 = sext i32 %390 to i64
  %392 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %391
  %393 = load ptr, ptr %31, align 8, !tbaa !9
  %394 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48) %392, ptr noundef nonnull align 4 dereferenceable(4) %393)
  %395 = load i32, ptr %27, align 4, !tbaa !5
  %396 = sext i32 %395 to i64
  %397 = add i64 %396, %394
  %398 = trunc i64 %397 to i32
  store i32 %398, ptr %27, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #5
  br label %399

399:                                              ; preds = %388
  %400 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorIiEppEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #5
  br label %385

401:                                              ; preds = %387
  %402 = load i32, ptr %27, align 4, !tbaa !5
  %403 = load i32, ptr %21, align 4, !tbaa !5
  %404 = icmp ne i32 %402, %403
  br i1 %404, label %405, label %406

405:                                              ; preds = %401
  store i32 30, ptr %3, align 4
  br label %407

406:                                              ; preds = %401
  store i32 0, ptr %3, align 4
  br label %407

407:                                              ; preds = %406, %405
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  %408 = load i32, ptr %3, align 4
  switch i32 %408, label %654 [
    i32 0, label %409
    i32 30, label %422
  ]

409:                                              ; preds = %407
  br label %410

410:                                              ; preds = %409, %372
  %411 = load i32, ptr %26, align 4, !tbaa !5
  %412 = load i32, ptr %17, align 4, !tbaa !5
  %413 = sext i32 %412 to i64
  %414 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %413
  %415 = load i32, ptr %18, align 4, !tbaa !5
  %416 = sext i32 %415 to i64
  %417 = getelementptr inbounds [201 x i32], ptr %414, i64 0, i64 %416
  store i32 %411, ptr %417, align 4, !tbaa !5
  %418 = load i32, ptr %26, align 4, !tbaa !5
  %419 = sext i32 %418 to i64
  %420 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %419
  store i8 1, ptr %420, align 1, !tbaa !17
  store i32 28, ptr %3, align 4
  br label %425

421:                                              ; preds = %358, %352
  br label %422

422:                                              ; preds = %421, %407
  %423 = load i32, ptr %26, align 4, !tbaa !5
  %424 = add nsw i32 %423, 1
  store i32 %424, ptr %26, align 4, !tbaa !5
  br label %347, !llvm.loop !25

425:                                              ; preds = %410, %351
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  br label %426

426:                                              ; preds = %425
  br label %524

427:                                              ; preds = %337
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #5
  %428 = load i32, ptr %20, align 4, !tbaa !5
  %429 = sext i32 %428 to i64
  %430 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %429
  store ptr %430, ptr %32, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #5
  %431 = load ptr, ptr %32, align 8, !tbaa !9
  %432 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %431) #5
  %433 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %33, i32 0, i32 0
  store ptr %432, ptr %433, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #5
  %434 = load ptr, ptr %32, align 8, !tbaa !9
  %435 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %434) #5
  %436 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %34, i32 0, i32 0
  store ptr %435, ptr %436, align 8
  br label %437

437:                                              ; preds = %520, %427
  %438 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull align 8 dereferenceable(8) %34) #5
  br i1 %438, label %440, label %439

439:                                              ; preds = %437
  store i32 33, ptr %3, align 4
  br label %522

440:                                              ; preds = %437
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #5
  %441 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt23_Rb_tree_const_iteratorIiEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #5
  store ptr %441, ptr %35, align 8, !tbaa !9
  %442 = load ptr, ptr %35, align 8, !tbaa !9
  %443 = load i32, ptr %442, align 4, !tbaa !5
  %444 = sext i32 %443 to i64
  %445 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %444
  %446 = load i8, ptr %445, align 1, !tbaa !17, !range !23, !noundef !24
  %447 = trunc i8 %446 to i1
  br i1 %447, label %516, label %448

448:                                              ; preds = %440
  %449 = load ptr, ptr %35, align 8, !tbaa !9
  %450 = load i32, ptr %449, align 4, !tbaa !5
  %451 = sext i32 %450 to i64
  %452 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %451
  %453 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %452) #5
  %454 = load i32, ptr %17, align 4, !tbaa !5
  %455 = sext i32 %454 to i64
  %456 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %455
  %457 = load i32, ptr %18, align 4, !tbaa !5
  %458 = sext i32 %457 to i64
  %459 = getelementptr inbounds [201 x i32], ptr %456, i64 0, i64 %458
  %460 = load i32, ptr %459, align 4, !tbaa !5
  %461 = sext i32 %460 to i64
  %462 = icmp eq i64 %453, %461
  br i1 %462, label %463, label %516

463:                                              ; preds = %448
  %464 = load i32, ptr %19, align 4, !tbaa !5
  %465 = sext i32 %464 to i64
  %466 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %465
  %467 = load ptr, ptr %35, align 8, !tbaa !9
  %468 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48) %466, ptr noundef nonnull align 4 dereferenceable(4) %467)
  %469 = icmp ne i64 %468, 0
  br i1 %469, label %470, label %516

470:                                              ; preds = %463
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #5
  store i32 0, ptr %36, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #5
  %471 = load ptr, ptr %35, align 8, !tbaa !9
  %472 = load i32, ptr %471, align 4, !tbaa !5
  %473 = sext i32 %472 to i64
  %474 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %473
  store ptr %474, ptr %37, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #5
  %475 = load ptr, ptr %37, align 8, !tbaa !9
  %476 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %475) #5
  %477 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %38, i32 0, i32 0
  store ptr %476, ptr %477, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #5
  %478 = load ptr, ptr %37, align 8, !tbaa !9
  %479 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %478) #5
  %480 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %39, i32 0, i32 0
  store ptr %479, ptr %480, align 8
  br label %481

481:                                              ; preds = %495, %470
  %482 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef nonnull align 8 dereferenceable(8) %39) #5
  br i1 %482, label %484, label %483

483:                                              ; preds = %481
  store i32 35, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #5
  br label %497

484:                                              ; preds = %481
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #5
  %485 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt23_Rb_tree_const_iteratorIiEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %38) #5
  store ptr %485, ptr %40, align 8, !tbaa !9
  %486 = load i32, ptr %20, align 4, !tbaa !5
  %487 = sext i32 %486 to i64
  %488 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %487
  %489 = load ptr, ptr %40, align 8, !tbaa !9
  %490 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48) %488, ptr noundef nonnull align 4 dereferenceable(4) %489)
  %491 = load i32, ptr %36, align 4, !tbaa !5
  %492 = sext i32 %491 to i64
  %493 = add i64 %492, %490
  %494 = trunc i64 %493 to i32
  store i32 %494, ptr %36, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #5
  br label %495

495:                                              ; preds = %484
  %496 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorIiEppEv(ptr noundef nonnull align 8 dereferenceable(8) %38) #5
  br label %481

497:                                              ; preds = %483
  %498 = load i32, ptr %36, align 4, !tbaa !5
  %499 = load i32, ptr %21, align 4, !tbaa !5
  %500 = icmp ne i32 %498, %499
  br i1 %500, label %501, label %502

501:                                              ; preds = %497
  store i32 34, ptr %3, align 4
  br label %515

502:                                              ; preds = %497
  %503 = load ptr, ptr %35, align 8, !tbaa !9
  %504 = load i32, ptr %503, align 4, !tbaa !5
  %505 = load i32, ptr %17, align 4, !tbaa !5
  %506 = sext i32 %505 to i64
  %507 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %506
  %508 = load i32, ptr %18, align 4, !tbaa !5
  %509 = sext i32 %508 to i64
  %510 = getelementptr inbounds [201 x i32], ptr %507, i64 0, i64 %509
  store i32 %504, ptr %510, align 4, !tbaa !5
  %511 = load ptr, ptr %35, align 8, !tbaa !9
  %512 = load i32, ptr %511, align 4, !tbaa !5
  %513 = sext i32 %512 to i64
  %514 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %513
  store i8 1, ptr %514, align 1, !tbaa !17
  store i32 33, ptr %3, align 4
  br label %515

515:                                              ; preds = %502, %501
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #5
  br label %517

516:                                              ; preds = %463, %448, %440
  store i32 0, ptr %3, align 4
  br label %517

517:                                              ; preds = %516, %515
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #5
  %518 = load i32, ptr %3, align 4
  switch i32 %518, label %522 [
    i32 0, label %519
    i32 34, label %520
  ]

519:                                              ; preds = %517
  br label %520

520:                                              ; preds = %519, %517
  %521 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorIiEppEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #5
  br label %437

522:                                              ; preds = %517, %439
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #5
  br label %523

523:                                              ; preds = %522
  br label %524

524:                                              ; preds = %523, %426
  %525 = load i32, ptr %17, align 4, !tbaa !5
  %526 = sext i32 %525 to i64
  %527 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %526
  %528 = load i32, ptr %18, align 4, !tbaa !5
  %529 = sext i32 %528 to i64
  %530 = getelementptr inbounds [201 x i32], ptr %527, i64 0, i64 %529
  %531 = load i32, ptr %530, align 4, !tbaa !5
  %532 = icmp eq i32 %531, -1
  br i1 %532, label %533, label %534

533:                                              ; preds = %524
  store i1 false, ptr %1, align 1
  store i32 1, ptr %3, align 4
  br label %535

534:                                              ; preds = %524
  store i32 0, ptr %3, align 4
  br label %535

535:                                              ; preds = %534, %533
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #5
  %536 = load i32, ptr %3, align 4
  switch i32 %536, label %541 [
    i32 0, label %537
  ]

537:                                              ; preds = %535
  br label %538

538:                                              ; preds = %537
  %539 = load i32, ptr %18, align 4, !tbaa !5
  %540 = add nsw i32 %539, 1
  store i32 %540, ptr %18, align 4, !tbaa !5
  br label %225, !llvm.loop !26

541:                                              ; preds = %535, %229
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #5
  %542 = load i32, ptr %3, align 4
  switch i32 %542, label %547 [
    i32 25, label %543
  ]

543:                                              ; preds = %541
  br label %544

544:                                              ; preds = %543
  %545 = load i32, ptr %17, align 4, !tbaa !5
  %546 = add nsw i32 %545, 1
  store i32 %546, ptr %17, align 4, !tbaa !5
  br label %219, !llvm.loop !27

547:                                              ; preds = %541, %223
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  %548 = load i32, ptr %3, align 4
  switch i32 %548, label %550 [
    i32 22, label %549
  ]

549:                                              ; preds = %547
  store i32 0, ptr %3, align 4
  br label %550

550:                                              ; preds = %549, %547
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #5
  %551 = load i32, ptr %3, align 4
  switch i32 %551, label %654 [
    i32 0, label %552
    i32 1, label %652
  ]

552:                                              ; preds = %550
  br label %553

553:                                              ; preds = %552, %217
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #5
  store i32 1, ptr %41, align 4, !tbaa !5
  br label %554

554:                                              ; preds = %646, %553
  %555 = load i32, ptr %41, align 4, !tbaa !5
  %556 = load i32, ptr @n, align 4, !tbaa !5
  %557 = icmp sle i32 %555, %556
  br i1 %557, label %559, label %558

558:                                              ; preds = %554
  store i32 37, ptr %3, align 4
  br label %649

559:                                              ; preds = %554
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #5
  store i32 1, ptr %42, align 4, !tbaa !5
  br label %560

560:                                              ; preds = %640, %559
  %561 = load i32, ptr %42, align 4, !tbaa !5
  %562 = load i32, ptr @n, align 4, !tbaa !5
  %563 = icmp sle i32 %561, %562
  br i1 %563, label %565, label %564

564:                                              ; preds = %560
  store i32 40, ptr %3, align 4
  br label %643

565:                                              ; preds = %560
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #5
  %566 = load i32, ptr %41, align 4, !tbaa !5
  %567 = sext i32 %566 to i64
  %568 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %567
  %569 = load i32, ptr %42, align 4, !tbaa !5
  %570 = sext i32 %569 to i64
  %571 = getelementptr inbounds [201 x i32], ptr %568, i64 0, i64 %570
  %572 = load i32, ptr %571, align 4, !tbaa !5
  store i32 %572, ptr %43, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #5
  store ptr @dt, ptr %44, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #5
  %573 = call ptr @_ZNSt6vectorISt4pairIiiESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) @dt) #5
  %574 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %45, i32 0, i32 0
  store ptr %573, ptr %574, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #5
  %575 = call ptr @_ZNSt6vectorISt4pairIiiESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) @dt) #5
  %576 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %46, i32 0, i32 0
  store ptr %575, ptr %576, align 8
  br label %577

577:                                              ; preds = %632, %565
  %578 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIiiESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %45, ptr noundef nonnull align 8 dereferenceable(8) %46) #5
  br i1 %578, label %580, label %579

579:                                              ; preds = %577
  store i32 43, ptr %3, align 4
  br label %634

580:                                              ; preds = %577
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #5
  %581 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPSt4pairIiiESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %45) #5
  store ptr %581, ptr %47, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #5
  %582 = load i32, ptr %41, align 4, !tbaa !5
  %583 = load ptr, ptr %47, align 8, !tbaa !9
  %584 = getelementptr inbounds %"struct.std::pair", ptr %583, i32 0, i32 0
  %585 = load i32, ptr %584, align 4, !tbaa !11
  %586 = add nsw i32 %582, %585
  store i32 %586, ptr %48, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #5
  %587 = load i32, ptr %42, align 4, !tbaa !5
  %588 = load ptr, ptr %47, align 8, !tbaa !9
  %589 = getelementptr inbounds %"struct.std::pair", ptr %588, i32 0, i32 1
  %590 = load i32, ptr %589, align 4, !tbaa !13
  %591 = add nsw i32 %587, %590
  store i32 %591, ptr %49, align 4, !tbaa !5
  %592 = load i32, ptr %48, align 4, !tbaa !5
  %593 = icmp slt i32 %592, 1
  br i1 %593, label %605, label %594

594:                                              ; preds = %580
  %595 = load i32, ptr %48, align 4, !tbaa !5
  %596 = load i32, ptr @n, align 4, !tbaa !5
  %597 = icmp sgt i32 %595, %596
  br i1 %597, label %605, label %598

598:                                              ; preds = %594
  %599 = load i32, ptr %49, align 4, !tbaa !5
  %600 = icmp slt i32 %599, 1
  br i1 %600, label %605, label %601

601:                                              ; preds = %598
  %602 = load i32, ptr %49, align 4, !tbaa !5
  %603 = load i32, ptr @n, align 4, !tbaa !5
  %604 = icmp sgt i32 %602, %603
  br i1 %604, label %605, label %606

605:                                              ; preds = %601, %598, %594, %580
  store i32 44, ptr %3, align 4
  br label %626

606:                                              ; preds = %601
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #5
  %607 = load i32, ptr %48, align 4, !tbaa !5
  %608 = sext i32 %607 to i64
  %609 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %608
  %610 = load i32, ptr %49, align 4, !tbaa !5
  %611 = sext i32 %610 to i64
  %612 = getelementptr inbounds [201 x i32], ptr %609, i64 0, i64 %611
  %613 = load i32, ptr %612, align 4, !tbaa !5
  store i32 %613, ptr %50, align 4, !tbaa !5
  %614 = load i32, ptr %43, align 4, !tbaa !5
  %615 = sext i32 %614 to i64
  %616 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %615
  %617 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48) %616, ptr noundef nonnull align 4 dereferenceable(4) %50)
  %618 = icmp ne i64 %617, 0
  br i1 %618, label %620, label %619

619:                                              ; preds = %606
  store i1 false, ptr %1, align 1
  store i32 1, ptr %3, align 4
  br label %625

620:                                              ; preds = %606
  %621 = load i32, ptr %43, align 4, !tbaa !5
  %622 = sext i32 %621 to i64
  %623 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %622
  %624 = call noundef i64 @_ZNSt3setIiSt4lessIiESaIiEE5eraseERKi(ptr noundef nonnull align 8 dereferenceable(48) %623, ptr noundef nonnull align 4 dereferenceable(4) %50)
  store i32 0, ptr %3, align 4
  br label %625

625:                                              ; preds = %620, %619
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #5
  br label %626

626:                                              ; preds = %625, %605
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #5
  %627 = load i32, ptr %3, align 4
  switch i32 %627, label %629 [
    i32 0, label %628
  ]

628:                                              ; preds = %626
  store i32 0, ptr %3, align 4
  br label %629

629:                                              ; preds = %628, %626
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #5
  %630 = load i32, ptr %3, align 4
  switch i32 %630, label %634 [
    i32 0, label %631
    i32 44, label %632
  ]

631:                                              ; preds = %629
  br label %632

632:                                              ; preds = %631, %629
  %633 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt4pairIiiESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %45) #5
  br label %577

634:                                              ; preds = %629, %579
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #5
  %635 = load i32, ptr %3, align 4
  switch i32 %635, label %637 [
    i32 43, label %636
  ]

636:                                              ; preds = %634
  store i32 0, ptr %3, align 4
  br label %637

637:                                              ; preds = %636, %634
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #5
  %638 = load i32, ptr %3, align 4
  switch i32 %638, label %643 [
    i32 0, label %639
  ]

639:                                              ; preds = %637
  br label %640

640:                                              ; preds = %639
  %641 = load i32, ptr %42, align 4, !tbaa !5
  %642 = add nsw i32 %641, 1
  store i32 %642, ptr %42, align 4, !tbaa !5
  br label %560, !llvm.loop !28

643:                                              ; preds = %637, %564
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #5
  %644 = load i32, ptr %3, align 4
  switch i32 %644, label %649 [
    i32 40, label %645
  ]

645:                                              ; preds = %643
  br label %646

646:                                              ; preds = %645
  %647 = load i32, ptr %41, align 4, !tbaa !5
  %648 = add nsw i32 %647, 1
  store i32 %648, ptr %41, align 4, !tbaa !5
  br label %554, !llvm.loop !29

649:                                              ; preds = %643, %558
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #5
  %650 = load i32, ptr %3, align 4
  switch i32 %650, label %654 [
    i32 37, label %651
    i32 1, label %652
  ]

651:                                              ; preds = %649
  store i1 true, ptr %1, align 1
  br label %652

652:                                              ; preds = %651, %649, %550, %183, %165
  %653 = load i1, ptr %1, align 1
  ret i1 %653

654:                                              ; preds = %649, %550, %407, %183, %165, %114
  unreachable
}

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48)) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @"_ZZ5solvevENK3$_0clEiiii"(ptr noundef nonnull align 1 dereferenceable(1), i32 noundef, i32 noundef, i32 noundef, i32 noundef) #4 align 2

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 4 dereferenceable(4)) #0 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZNSt3setIiSt4lessIiESaIiEE5eraseERKi(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 4 dereferenceable(4)) #0 align 2

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #2 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { 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 #5 = { nounwind }

!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 = !{!12, !6, i64 0}
!12 = !{!"_ZTSSt4pairIiiE", !6, i64 0, !6, i64 4}
!13 = !{!12, !6, i64 4}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = !{!18, !18, i64 0}
!18 = !{!"bool", !7, i64 0}
!19 = distinct !{!19, !15}
!20 = distinct !{!20, !15}
!21 = distinct !{!21, !15}
!22 = distinct !{!22, !15}
!23 = !{i8 0, i8 2}
!24 = !{}
!25 = distinct !{!25, !15}
!26 = distinct !{!26, !15}
!27 = distinct !{!27, !15}
!28 = distinct !{!28, !15}
!29 = distinct !{!29, !15}


; 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::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<int, int, std::_Identity<int>, std::less<int>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<int, int, std::_Identity<int>, std::less<int>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%class.anon = type { i8 }
%"struct.std::_Rb_tree_const_iterator" = type { ptr }

@dt = external dso_local global %"class.std::vector", align 8
@n = external dso_local local_unnamed_addr global i32, align 4
@s = external dso_local local_unnamed_addr global i32, align 4
@mat = external dso_local local_unnamed_addr global [201 x [201 x i32]], align 16
@e = external dso_local global [40001 x %"class.std::set"], align 16
@_ZZ5solvevE3ctr = external hidden local_unnamed_addr global [13 x i32], align 16
@_ZZ5solvevE3deg = external hidden local_unnamed_addr global [201 x [201 x i32]], align 16
@_ZZ5solvevE3vis = external hidden local_unnamed_addr global [40001 x i8], align 16

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z5solvev() local_unnamed_addr #0 {
  %1 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %2 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %3 = alloca %class.anon, align 1
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %9 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %10 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %11 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %12 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %13 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %14 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %15 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %16 = alloca i32, align 4
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(52) @_ZZ5solvevE3ctr, i8 0, i64 52, i1 false)
  %17 = load i32, ptr @n, align 4, !tbaa !5
  %.not270 = icmp slt i32 %17, 1
  br i1 %.not270, label %.preheader260, label %.preheader262

.preheader262:                                    ; preds = %0, %._crit_edge269
  %18 = phi i32 [ %21, %._crit_edge269 ], [ %17, %0 ]
  %indvars.iv339 = phi i64 [ %indvars.iv.next340, %._crit_edge269 ], [ 1, %0 ]
  %.not211266 = icmp slt i32 %18, 1
  br i1 %.not211266, label %.preheader262.._crit_edge269_crit_edge, label %.lr.ph268

.preheader262.._crit_edge269_crit_edge:           ; preds = %.preheader262
  %.pre379 = sext i32 %18 to i64
  br label %._crit_edge269

.lr.ph268:                                        ; preds = %.preheader262
  %19 = trunc nuw nsw i64 %indvars.iv339 to i32
  br label %22

.preheader260:                                    ; preds = %._crit_edge269, %0
  %20 = load i32, ptr @s, align 4, !tbaa !5
  %.not196272 = icmp slt i32 %20, 1
  br i1 %.not196272, label %.preheader258, label %.lr.ph274

._crit_edge269:                                   ; preds = %._crit_edge, %.preheader262.._crit_edge269_crit_edge
  %.pre-phi380 = phi i64 [ %.pre379, %.preheader262.._crit_edge269_crit_edge ], [ %34, %._crit_edge ]
  %21 = phi i32 [ %18, %.preheader262.._crit_edge269_crit_edge ], [ %33, %._crit_edge ]
  %indvars.iv.next340 = add nuw nsw i64 %indvars.iv339, 1
  %.not.not = icmp slt i64 %indvars.iv339, %.pre-phi380
  br i1 %.not.not, label %.preheader262, label %.preheader260, !llvm.loop !9

22:                                               ; preds = %.lr.ph268, %._crit_edge
  %indvars.iv = phi i64 [ 1, %.lr.ph268 ], [ %indvars.iv.next, %._crit_edge ]
  %23 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %indvars.iv339, i64 %indvars.iv
  store i32 0, ptr %23, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #5
  %24 = call ptr @_ZNSt6vectorISt4pairIiiESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) @dt) #5
  store ptr %24, ptr %1, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #5
  %25 = call ptr @_ZNSt6vectorISt4pairIiiESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) @dt) #5
  store ptr %25, ptr %2, align 8
  %26 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIiiESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2) #5
  br i1 %26, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %22
  %27 = trunc nuw nsw i64 %indvars.iv to i32
  br label %.lr.ph

._crit_edge:                                      ; preds = %51, %22
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #5
  %28 = load i32, ptr %23, align 4, !tbaa !5
  %29 = sext i32 %28 to i64
  %30 = getelementptr inbounds [13 x i32], ptr @_ZZ5solvevE3ctr, i64 0, i64 %29
  %31 = load i32, ptr %30, align 4, !tbaa !5
  %32 = add nsw i32 %31, 1
  store i32 %32, ptr %30, align 4, !tbaa !5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %33 = load i32, ptr @n, align 4, !tbaa !5
  %34 = sext i32 %33 to i64
  %.not211.not = icmp slt i64 %indvars.iv, %34
  br i1 %.not211.not, label %22, label %._crit_edge269, !llvm.loop !12

.lr.ph:                                           ; preds = %.lr.ph.preheader, %51
  %35 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPSt4pairIiiESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %1) #5
  %36 = load i32, ptr %35, align 4, !tbaa !13
  %37 = add nsw i32 %36, %19
  %38 = icmp slt i32 %37, 1
  br i1 %38, label %51, label %39

39:                                               ; preds = %.lr.ph
  %40 = getelementptr inbounds i8, ptr %35, i64 4
  %41 = load i32, ptr %40, align 4, !tbaa !15
  %42 = add nsw i32 %41, %27
  %43 = load i32, ptr @n, align 4, !tbaa !5
  %44 = icmp sgt i32 %37, %43
  %45 = icmp slt i32 %42, 1
  %46 = icmp sgt i32 %42, %43
  %47 = or i1 %45, %46
  %or.cond212 = select i1 %44, i1 true, i1 %47
  br i1 %or.cond212, label %51, label %48

48:                                               ; preds = %39
  %49 = load i32, ptr %23, align 4, !tbaa !5
  %50 = add nsw i32 %49, 1
  store i32 %50, ptr %23, align 4, !tbaa !5
  br label %51

51:                                               ; preds = %.lr.ph, %39, %48
  %52 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt4pairIiiESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %1) #5
  %53 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIiiESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(8) %2) #5
  br i1 %53, label %.lr.ph, label %._crit_edge

.preheader258:                                    ; preds = %65, %.preheader260
  %54 = load <8 x i32>, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3ctr, i64 4), align 4
  %.fr = freeze <8 x i32> %54
  %55 = load <4 x i32>, ptr getelementptr inbounds (i8, ptr @_ZZ5solvevE3ctr, i64 36), align 4
  %.fr441 = freeze <4 x i32> %55
  %56 = icmp ne <8 x i32> %.fr, zeroinitializer
  %57 = bitcast <8 x i1> %56 to i8
  %58 = icmp eq i8 %57, 0
  %59 = icmp ne <4 x i32> %.fr441, zeroinitializer
  %60 = bitcast <4 x i1> %59 to i4
  %61 = icmp eq i4 %60, 0
  %op.rdx = and i1 %58, %61
  br i1 %op.rdx, label %73, label %.thread

.lr.ph274:                                        ; preds = %.preheader260, %65
  %indvars.iv342 = phi i64 [ %indvars.iv.next343, %65 ], [ 1, %.preheader260 ]
  %62 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %indvars.iv342
  %63 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %62) #5
  %64 = icmp ugt i64 %63, 12
  br i1 %64, label %.thread, label %65

65:                                               ; preds = %.lr.ph274
  %66 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %62) #5
  %67 = getelementptr inbounds [13 x i32], ptr @_ZZ5solvevE3ctr, i64 0, i64 %66
  %68 = load i32, ptr %67, align 4, !tbaa !5
  %69 = add nsw i32 %68, -1
  store i32 %69, ptr %67, align 4, !tbaa !5
  %70 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %indvars.iv342
  store i8 0, ptr %70, align 1, !tbaa !16
  %indvars.iv.next343 = add nuw nsw i64 %indvars.iv342, 1
  %71 = load i32, ptr @s, align 4, !tbaa !5
  %72 = sext i32 %71 to i64
  %.not196.not = icmp slt i64 %indvars.iv342, %72
  br i1 %.not196.not, label %.lr.ph274, label %.preheader258, !llvm.loop !18

73:                                               ; preds = %.preheader258
  %74 = load i32, ptr @n, align 4, !tbaa !5
  %75 = icmp slt i32 %74, 3
  br i1 %75, label %.preheader253, label %.preheader257.preheader

.preheader253:                                    ; preds = %73
  %.not206307 = icmp slt i32 %74, 1
  br i1 %.not206307, label %.thread, label %.preheader252.preheader

.preheader252.preheader:                          ; preds = %.preheader253
  %76 = add nuw nsw i32 %74, 1
  store i32 1, ptr getelementptr inbounds (i8, ptr @mat, i64 808), align 8, !tbaa !5
  %exitcond.not = icmp eq i32 %76, 2
  br i1 %exitcond.not, label %._crit_edge305, label %78, !llvm.loop !19

._crit_edge305:                                   ; preds = %78, %.preheader252.preheader
  %.lcssa443 = phi i32 [ 2, %.preheader252.preheader ], [ 3, %78 ]
  %exitcond367.not = icmp eq i32 %76, 2
  br i1 %exitcond367.not, label %.loopexit, label %.preheader252.1, !llvm.loop !20

.preheader252.1:                                  ; preds = %._crit_edge305
  store i32 %.lcssa443, ptr getelementptr inbounds (i8, ptr @mat, i64 1612), align 4, !tbaa !5
  %77 = add nuw nsw i32 %.lcssa443, 1
  store i32 %77, ptr getelementptr inbounds (i8, ptr @mat, i64 1616), align 16, !tbaa !5
  br label %.loopexit

78:                                               ; preds = %.preheader252.preheader
  store i32 2, ptr getelementptr inbounds (i8, ptr @mat, i64 812), align 4, !tbaa !5
  br label %._crit_edge305

.preheader257.preheader:                          ; preds = %73
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %3) #5
  br label %.preheader257

.preheader257:                                    ; preds = %.preheader257.preheader, %.thread233
  %79 = phi i32 [ %74, %.preheader257.preheader ], [ %211, %.thread233 ]
  %indvars.iv357 = phi i64 [ 1, %.preheader257.preheader ], [ %indvars.iv.next358, %.thread233 ]
  %indvars359 = trunc i64 %indvars.iv357 to i32
  %.not199295 = icmp slt i32 %79, 1
  br i1 %.not199295, label %.preheader257..thread233_crit_edge, label %.lr.ph297

.preheader257..thread233_crit_edge:               ; preds = %.preheader257
  %.pre377 = sext i32 %79 to i64
  br label %.thread233

.lr.ph297:                                        ; preds = %.preheader257
  %80 = icmp ugt i64 %indvars.iv357, 1
  %81 = add nsw i64 %indvars.iv357, -1
  %82 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %81, i64 2
  %83 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %81, i64 1
  %84 = add nsw i32 %indvars359, -1
  %85 = trunc nuw nsw i64 %81 to i32
  br label %86

.thread235:                                       ; preds = %.thread233
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %3) #5
  br label %.loopexit

86:                                               ; preds = %.lr.ph297, %208
  %indvars.iv354 = phi i64 [ 1, %.lr.ph297 ], [ %indvars.iv.next355, %208 ]
  %indvars356 = trunc i64 %indvars.iv354 to i32
  switch i32 %indvars356, label %105 [
    i32 1, label %87
    i32 2, label %92
  ]

87:                                               ; preds = %86
  br i1 %80, label %88, label %.preheader254.thread

88:                                               ; preds = %87
  %89 = load i32, ptr %82, align 4, !tbaa !5
  %90 = load i32, ptr %83, align 4, !tbaa !5
  %91 = call noundef i32 @"_ZZ5solvevENK3$_0clEiiii"(ptr noundef nonnull align 1 dereferenceable(1) %3, i32 noundef %indvars359, i32 noundef 1, i32 noundef %84, i32 noundef 1)
  br label %114

92:                                               ; preds = %86
  br i1 %80, label %93, label %95

93:                                               ; preds = %92
  %94 = load i32, ptr %82, align 4, !tbaa !5
  br label %95

95:                                               ; preds = %92, %93
  %96 = phi i32 [ %94, %93 ], [ -1, %92 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #5
  store i32 %85, ptr %4, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #5
  store i32 1, ptr %5, align 4, !tbaa !5
  %97 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %4, ptr noundef nonnull align 4 dereferenceable(4) %5)
  %98 = load i32, ptr %97, align 4, !tbaa !5
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %99, i64 1
  %101 = load i32, ptr %100, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %6) #5
  store i32 %85, ptr %6, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %7) #5
  store i32 1, ptr %7, align 4, !tbaa !5
  %102 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %6, ptr noundef nonnull align 4 dereferenceable(4) %7)
  %103 = load i32, ptr %102, align 4, !tbaa !5
  %104 = call noundef i32 @"_ZZ5solvevENK3$_0clEiiii"(ptr noundef nonnull align 1 dereferenceable(1) %3, i32 noundef %indvars359, i32 noundef 2, i32 noundef %103, i32 noundef 1)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %7) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #5
  br label %114

105:                                              ; preds = %86
  %106 = add nsw i64 %indvars.iv354, -1
  %107 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %indvars.iv357, i64 %106
  %108 = load i32, ptr %107, align 4, !tbaa !5
  %109 = add nsw i64 %indvars.iv354, -2
  %110 = add nsw i32 %indvars356, -2
  %111 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %indvars.iv357, i64 %109
  %112 = load i32, ptr %111, align 4, !tbaa !5
  %113 = call noundef i32 @"_ZZ5solvevENK3$_0clEiiii"(ptr noundef nonnull align 1 dereferenceable(1) %3, i32 noundef %indvars359, i32 noundef %indvars356, i32 noundef %indvars359, i32 noundef %110)
  br label %114

114:                                              ; preds = %88, %95, %105
  %.0190 = phi i32 [ %96, %95 ], [ %108, %105 ], [ %89, %88 ]
  %.0189 = phi i32 [ %101, %95 ], [ %112, %105 ], [ %90, %88 ]
  %.0188 = phi i32 [ %104, %95 ], [ %113, %105 ], [ %91, %88 ]
  %115 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %indvars.iv357, i64 %indvars.iv354
  store i32 -1, ptr %115, align 4, !tbaa !5
  %116 = icmp eq i32 %.0190, -1
  br i1 %116, label %.preheader254, label %164

.preheader254:                                    ; preds = %114
  %117 = load i32, ptr @s, align 4, !tbaa !5
  %.not202288 = icmp slt i32 %117, 1
  br i1 %.not202288, label %.loopexit255.thread, label %.lr.ph290

.preheader254.thread:                             ; preds = %87
  %118 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %indvars.iv357, i64 %indvars.iv354
  store i32 -1, ptr %118, align 4, !tbaa !5
  %119 = load i32, ptr @s, align 4, !tbaa !5
  %.not202288389 = icmp slt i32 %119, 1
  br i1 %.not202288389, label %.loopexit255.thread, label %.lr.ph290.thread

.lr.ph290.thread:                                 ; preds = %.preheader254.thread
  %120 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %indvars.iv357, i64 %indvars.iv354
  br label %.lr.ph290.split.us.preheader

.lr.ph290:                                        ; preds = %.preheader254
  %121 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %indvars.iv357, i64 %indvars.iv354
  %.not203 = icmp eq i32 %.0188, -1
  %122 = sext i32 %.0189 to i64
  %123 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %122
  br i1 %.not203, label %.lr.ph290.split.us.preheader, label %.lr.ph290.split

.lr.ph290.split.us.preheader:                     ; preds = %.lr.ph290.thread, %.lr.ph290
  %124 = phi ptr [ %120, %.lr.ph290.thread ], [ %121, %.lr.ph290 ]
  %125 = phi ptr [ %118, %.lr.ph290.thread ], [ %115, %.lr.ph290 ]
  %126 = phi i32 [ %119, %.lr.ph290.thread ], [ %117, %.lr.ph290 ]
  br label %.lr.ph290.split.us

.lr.ph290.split.us:                               ; preds = %.lr.ph290.split.us.preheader, %137
  %127 = phi i32 [ %126, %.lr.ph290.split.us.preheader ], [ %138, %137 ]
  %indvars.iv351 = phi i64 [ 1, %.lr.ph290.split.us.preheader ], [ %indvars.iv.next352, %137 ]
  %128 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %indvars.iv351
  %129 = load i8, ptr %128, align 1, !tbaa !16, !range !21, !noundef !22
  %130 = trunc nuw i8 %129 to i1
  br i1 %130, label %137, label %131

131:                                              ; preds = %.lr.ph290.split.us
  %132 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %indvars.iv351
  %133 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %132) #5
  %134 = load i32, ptr %124, align 4, !tbaa !5
  %135 = sext i32 %134 to i64
  %136 = icmp eq i64 %133, %135
  br i1 %136, label %.thread231, label %._crit_edge375

._crit_edge375:                                   ; preds = %131
  %.pre = load i32, ptr @s, align 4, !tbaa !5
  br label %137

137:                                              ; preds = %._crit_edge375, %.lr.ph290.split.us
  %138 = phi i32 [ %.pre, %._crit_edge375 ], [ %127, %.lr.ph290.split.us ]
  %indvars.iv.next352 = add nuw nsw i64 %indvars.iv351, 1
  %139 = sext i32 %138 to i64
  %.not202.us.not = icmp slt i64 %indvars.iv351, %139
  br i1 %.not202.us.not, label %.lr.ph290.split.us, label %.loopexit255, !llvm.loop !23

.lr.ph290.split:                                  ; preds = %.lr.ph290, %161
  %indvars.iv348 = phi i64 [ %indvars.iv.next349, %161 ], [ 1, %.lr.ph290 ]
  %140 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %indvars.iv348
  %141 = load i8, ptr %140, align 1, !tbaa !16, !range !21, !noundef !22
  %142 = trunc nuw i8 %141 to i1
  br i1 %142, label %161, label %143

143:                                              ; preds = %.lr.ph290.split
  %144 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %indvars.iv348
  %145 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %144) #5
  %146 = load i32, ptr %121, align 4, !tbaa !5
  %147 = sext i32 %146 to i64
  %148 = icmp eq i64 %145, %147
  br i1 %148, label %149, label %161

149:                                              ; preds = %143
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #5
  %150 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %144) #5
  store ptr %150, ptr %8, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #5
  %151 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %144) #5
  store ptr %151, ptr %9, align 8
  %152 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %9) #5
  br i1 %152, label %.lr.ph284, label %._crit_edge285

._crit_edge285:                                   ; preds = %.lr.ph284, %149
  %.0186.lcssa = phi i32 [ 0, %149 ], [ %156, %.lr.ph284 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #5
  %.not204 = icmp eq i32 %.0186.lcssa, %.0188
  br i1 %.not204, label %.thread231, label %161

.lr.ph284:                                        ; preds = %149, %.lr.ph284
  %.0186282 = phi i32 [ %156, %.lr.ph284 ], [ 0, %149 ]
  %153 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt23_Rb_tree_const_iteratorIiEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %8) #5
  %154 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48) %123, ptr noundef nonnull align 4 dereferenceable(4) %153)
  %155 = trunc i64 %154 to i32
  %156 = add i32 %.0186282, %155
  %157 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorIiEppEv(ptr noundef nonnull align 8 dereferenceable(8) %8) #5
  %158 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %9) #5
  br i1 %158, label %.lr.ph284, label %._crit_edge285

.thread231:                                       ; preds = %._crit_edge285, %131
  %159 = phi ptr [ %125, %131 ], [ %115, %._crit_edge285 ]
  %.us-phi = phi i64 [ %indvars.iv351, %131 ], [ %indvars.iv348, %._crit_edge285 ]
  %.us-phi291 = trunc i64 %.us-phi to i32
  %160 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %.us-phi
  store i32 %.us-phi291, ptr %159, align 4, !tbaa !5
  store i8 1, ptr %160, align 1, !tbaa !16
  br label %208

161:                                              ; preds = %._crit_edge285, %.lr.ph290.split, %143
  %indvars.iv.next349 = add nuw nsw i64 %indvars.iv348, 1
  %162 = load i32, ptr @s, align 4, !tbaa !5
  %163 = sext i32 %162 to i64
  %.not202.not = icmp slt i64 %indvars.iv348, %163
  br i1 %.not202.not, label %.lr.ph290.split, label %.loopexit255, !llvm.loop !23

164:                                              ; preds = %114
  %165 = sext i32 %.0189 to i64
  %166 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %165
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #5
  %167 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %166) #5
  store ptr %167, ptr %10, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #5
  %168 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %166) #5
  store ptr %168, ptr %11, align 8
  %169 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #5
  br i1 %169, label %.lr.ph281, label %.loopexit256

.lr.ph281:                                        ; preds = %164
  %170 = getelementptr inbounds [201 x [201 x i32]], ptr @_ZZ5solvevE3deg, i64 0, i64 %indvars.iv357, i64 %indvars.iv354
  %171 = sext i32 %.0190 to i64
  %172 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %171
  br label %173

173:                                              ; preds = %.lr.ph281, %205
  %174 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt23_Rb_tree_const_iteratorIiEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %10) #5
  %175 = load i32, ptr %174, align 4, !tbaa !5
  %176 = sext i32 %175 to i64
  %177 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %176
  %178 = load i8, ptr %177, align 1, !tbaa !16, !range !21, !noundef !22
  %179 = trunc nuw i8 %178 to i1
  br i1 %179, label %205, label %180

180:                                              ; preds = %173
  %181 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %176
  %182 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %181) #5
  %183 = load i32, ptr %170, align 4, !tbaa !5
  %184 = sext i32 %183 to i64
  %185 = icmp eq i64 %182, %184
  br i1 %185, label %186, label %205

186:                                              ; preds = %180
  %187 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48) %172, ptr noundef nonnull align 4 dereferenceable(4) %174)
  %.not200 = icmp eq i64 %187, 0
  br i1 %.not200, label %205, label %188

188:                                              ; preds = %186
  %189 = load i32, ptr %174, align 4, !tbaa !5
  %190 = sext i32 %189 to i64
  %191 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %190
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #5
  %192 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %191) #5
  store ptr %192, ptr %12, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #5
  %193 = call ptr @_ZNKSt3setIiSt4lessIiESaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %191) #5
  store ptr %193, ptr %13, align 8
  %194 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #5
  br i1 %194, label %.lr.ph278, label %._crit_edge279

._crit_edge279:                                   ; preds = %.lr.ph278, %188
  %.0180.lcssa = phi i32 [ 0, %188 ], [ %198, %.lr.ph278 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #5
  %.not201 = icmp eq i32 %.0180.lcssa, %.0188
  br i1 %.not201, label %201, label %205

.lr.ph278:                                        ; preds = %188, %.lr.ph278
  %.0180276 = phi i32 [ %198, %.lr.ph278 ], [ 0, %188 ]
  %195 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt23_Rb_tree_const_iteratorIiEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #5
  %196 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48) %166, ptr noundef nonnull align 4 dereferenceable(4) %195)
  %197 = trunc i64 %196 to i32
  %198 = add i32 %.0180276, %197
  %199 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorIiEppEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #5
  %200 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #5
  br i1 %200, label %.lr.ph278, label %._crit_edge279

201:                                              ; preds = %._crit_edge279
  %202 = load i32, ptr %174, align 4, !tbaa !5
  store i32 %202, ptr %115, align 4, !tbaa !5
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds [40001 x i8], ptr @_ZZ5solvevE3vis, i64 0, i64 %203
  store i8 1, ptr %204, align 1, !tbaa !16
  br label %.loopexit256

205:                                              ; preds = %._crit_edge279, %186, %180, %173
  %206 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorIiEppEv(ptr noundef nonnull align 8 dereferenceable(8) %10) #5
  %207 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #5
  br i1 %207, label %173, label %.loopexit256

.loopexit256:                                     ; preds = %205, %164, %201
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #5
  br label %.loopexit255

.loopexit255:                                     ; preds = %161, %137, %.loopexit256
  %.ph = phi ptr [ %115, %.loopexit256 ], [ %125, %137 ], [ %115, %161 ]
  %.pr.pr = load i32, ptr %.ph, align 4, !tbaa !5
  %.not205 = icmp eq i32 %.pr.pr, -1
  br i1 %.not205, label %.loopexit255.thread, label %208

208:                                              ; preds = %.thread231, %.loopexit255
  %indvars.iv.next355 = add nuw nsw i64 %indvars.iv354, 1
  %209 = load i32, ptr @n, align 4, !tbaa !5
  %210 = sext i32 %209 to i64
  %.not199.not = icmp slt i64 %indvars.iv354, %210
  br i1 %.not199.not, label %86, label %.thread233, !llvm.loop !24

.thread233:                                       ; preds = %208, %.preheader257..thread233_crit_edge
  %.pre-phi378 = phi i64 [ %.pre377, %.preheader257..thread233_crit_edge ], [ %210, %208 ]
  %211 = phi i32 [ %79, %.preheader257..thread233_crit_edge ], [ %209, %208 ]
  %indvars.iv.next358 = add nuw nsw i64 %indvars.iv357, 1
  %.not198.not = icmp slt i64 %indvars.iv357, %.pre-phi378
  br i1 %.not198.not, label %.preheader257, label %.thread235, !llvm.loop !25

.loopexit255.thread:                              ; preds = %.preheader254, %.preheader254.thread, %.loopexit255
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %3) #5
  br label %.thread

.loopexit:                                        ; preds = %._crit_edge305, %.preheader252.1, %.thread235
  %212 = phi i32 [ %211, %.thread235 ], [ %74, %.preheader252.1 ], [ %74, %._crit_edge305 ]
  %.not207317 = icmp slt i32 %212, 1
  br i1 %.not207317, label %.thread, label %.preheader

.preheader:                                       ; preds = %.loopexit, %._crit_edge316
  %213 = phi i32 [ %251, %._crit_edge316 ], [ %212, %.loopexit ]
  %indvars.iv371 = phi i64 [ %indvars.iv.next372, %._crit_edge316 ], [ 1, %.loopexit ]
  %.not208313 = icmp slt i32 %213, 1
  br i1 %.not208313, label %.preheader.._crit_edge316_crit_edge, label %.lr.ph315

.preheader.._crit_edge316_crit_edge:              ; preds = %.preheader
  %.pre376 = sext i32 %213 to i64
  br label %._crit_edge316

.lr.ph315:                                        ; preds = %.preheader
  %214 = trunc nuw nsw i64 %indvars.iv371 to i32
  br label %215

215:                                              ; preds = %.lr.ph315, %._crit_edge312
  %indvars.iv368 = phi i64 [ 1, %.lr.ph315 ], [ %indvars.iv.next369, %._crit_edge312 ]
  %216 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %indvars.iv371, i64 %indvars.iv368
  %217 = load i32, ptr %216, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #5
  %218 = call ptr @_ZNSt6vectorISt4pairIiiESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) @dt) #5
  store ptr %218, ptr %14, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #5
  %219 = call ptr @_ZNSt6vectorISt4pairIiiESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) @dt) #5
  store ptr %219, ptr %15, align 8
  %220 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIiiESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %15) #5
  br i1 %220, label %.lr.ph311, label %._crit_edge312

.lr.ph311:                                        ; preds = %215
  %221 = sext i32 %217 to i64
  %222 = getelementptr inbounds [40001 x %"class.std::set"], ptr @e, i64 0, i64 %221
  %223 = trunc nuw nsw i64 %indvars.iv368 to i32
  br label %224

224:                                              ; preds = %.lr.ph311, %.thread240
  %225 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPSt4pairIiiESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #5
  %226 = load i32, ptr %225, align 4, !tbaa !13
  %227 = add nsw i32 %226, %214
  %228 = getelementptr inbounds i8, ptr %225, i64 4
  %229 = load i32, ptr %228, align 4, !tbaa !15
  %230 = add nsw i32 %229, %223
  %231 = icmp slt i32 %227, 1
  br i1 %231, label %.thread240, label %232

232:                                              ; preds = %224
  %233 = load i32, ptr @n, align 4, !tbaa !5
  %234 = icmp sgt i32 %227, %233
  %235 = icmp slt i32 %230, 1
  %236 = icmp sgt i32 %230, %233
  %237 = or i1 %235, %236
  %or.cond217 = select i1 %234, i1 true, i1 %237
  br i1 %or.cond217, label %.thread240, label %238

238:                                              ; preds = %232
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #5
  %239 = zext nneg i32 %227 to i64
  %240 = zext nneg i32 %230 to i64
  %241 = getelementptr inbounds [201 x [201 x i32]], ptr @mat, i64 0, i64 %239, i64 %240
  %242 = load i32, ptr %241, align 4, !tbaa !5
  store i32 %242, ptr %16, align 4, !tbaa !5
  %243 = call noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48) %222, ptr noundef nonnull align 4 dereferenceable(4) %16)
  %.not209 = icmp eq i64 %243, 0
  br i1 %.not209, label %250, label %244

244:                                              ; preds = %238
  %245 = call noundef i64 @_ZNSt3setIiSt4lessIiESaIiEE5eraseERKi(ptr noundef nonnull align 8 dereferenceable(48) %222, ptr noundef nonnull align 4 dereferenceable(4) %16)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #5
  br label %.thread240

.thread240:                                       ; preds = %224, %232, %244
  %246 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt4pairIiiESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #5
  %247 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIiiESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %15) #5
  br i1 %247, label %224, label %._crit_edge312

._crit_edge312:                                   ; preds = %.thread240, %215
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #5
  %indvars.iv.next369 = add nuw nsw i64 %indvars.iv368, 1
  %248 = load i32, ptr @n, align 4, !tbaa !5
  %249 = sext i32 %248 to i64
  %.not208.not = icmp slt i64 %indvars.iv368, %249
  br i1 %.not208.not, label %215, label %._crit_edge316, !llvm.loop !26

250:                                              ; preds = %238
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #5
  br label %.thread

._crit_edge316:                                   ; preds = %._crit_edge312, %.preheader.._crit_edge316_crit_edge
  %.pre-phi = phi i64 [ %.pre376, %.preheader.._crit_edge316_crit_edge ], [ %249, %._crit_edge312 ]
  %251 = phi i32 [ %213, %.preheader.._crit_edge316_crit_edge ], [ %248, %._crit_edge312 ]
  %indvars.iv.next372 = add nuw nsw i64 %indvars.iv371, 1
  %.not207.not = icmp slt i64 %indvars.iv371, %.pre-phi
  br i1 %.not207.not, label %.preheader, label %.thread, !llvm.loop !27

.thread:                                          ; preds = %.lr.ph274, %._crit_edge316, %.preheader253, %.preheader258, %.loopexit, %250, %.loopexit255.thread
  %.16 = phi i1 [ false, %.loopexit255.thread ], [ false, %250 ], [ true, %.loopexit ], [ false, %.preheader258 ], [ true, %.preheader253 ], [ true, %._crit_edge316 ], [ false, %.lr.ph274 ]
  ret i1 %.16
}

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @"_ZZ5solvevENK3$_0clEiiii"(ptr noundef nonnull align 1 dereferenceable(1), i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #4 align 2

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorIiES2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZNKSt3setIiSt4lessIiESaIiEE5countERKi(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #0 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZNSt3setIiSt4lessIiESaIiEE5eraseERKi(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #0 align 2

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #2 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { 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 #5 = { nounwind }

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

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


; Effective O3 passes: ConstraintEliminationPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalDCEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SCCPPass,SLPVectorizerPass,SROAPass,SimpleLoopUnswitchPass,SimplifyCFGPass,TailCallElimPass