; LLVM IR from tangjz/acm-icpc :: codeforces/complete (235E)

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

%struct.Edge = type { i32, i32, i32 }
%class.anon = type { i8 }

@A = external dso_local global i32, align 4
@B = external dso_local global i32, align 4
@C = external dso_local global i32, align 4
@mx = external dso_local global i32, align 4
@mu = external dso_local global [2001 x i32], align 16
@f = external dso_local global [2001 x i32], align 16
@g = external dso_local global [2001 x i32], align 16
@h = external dso_local global [2001 x i32], align 16
@cnt = external dso_local global i32, align 4
@ord = external dso_local global [2001 x i32], align 16
@rnk = external dso_local global [2001 x i32], align 16
@tot = external dso_local global i32, align 4
@lnk = external dso_local global [2001 x i32], align 16
@pos = external dso_local global [2001 x i32], align 16
@e = external dso_local global [9001 x %struct.Edge], align 16
@.str = external hidden unnamed_addr constant [7 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() #0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca %class.anon, align 1
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca %struct.Edge, 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 i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  %31 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str, ptr noundef @A, ptr noundef @B, ptr noundef @C)
  %32 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) @B, ptr noundef nonnull align 4 dereferenceable(4) @C)
  %33 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) @A, ptr noundef nonnull align 4 dereferenceable(4) %32)
  %34 = load i32, ptr %33, align 4, !tbaa !5
  store i32 %34, ptr @mx, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #6
  store i32 1, ptr %2, align 4, !tbaa !5
  br label %35

35:                                               ; preds = %59, %0
  %36 = load i32, ptr %2, align 4, !tbaa !5
  %37 = load i32, ptr @mx, align 4, !tbaa !5
  %38 = icmp sle i32 %36, %37
  br i1 %38, label %40, label %39

39:                                               ; preds = %35
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #6
  br label %62

40:                                               ; preds = %35
  %41 = load i32, ptr @A, align 4, !tbaa !5
  %42 = load i32, ptr %2, align 4, !tbaa !5
  %43 = sdiv i32 %41, %42
  %44 = load i32, ptr %2, align 4, !tbaa !5
  %45 = sext i32 %44 to i64
  %46 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %45
  store i32 %43, ptr %46, align 4, !tbaa !5
  %47 = load i32, ptr @B, align 4, !tbaa !5
  %48 = load i32, ptr %2, align 4, !tbaa !5
  %49 = sdiv i32 %47, %48
  %50 = load i32, ptr %2, align 4, !tbaa !5
  %51 = sext i32 %50 to i64
  %52 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %51
  store i32 %49, ptr %52, align 4, !tbaa !5
  %53 = load i32, ptr @C, align 4, !tbaa !5
  %54 = load i32, ptr %2, align 4, !tbaa !5
  %55 = sdiv i32 %53, %54
  %56 = load i32, ptr %2, align 4, !tbaa !5
  %57 = sext i32 %56 to i64
  %58 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %57
  store i32 %55, ptr %58, align 4, !tbaa !5
  br label %59

59:                                               ; preds = %40
  %60 = load i32, ptr %2, align 4, !tbaa !5
  %61 = add nsw i32 %60, 1
  store i32 %61, ptr %2, align 4, !tbaa !5
  br label %35, !llvm.loop !9

62:                                               ; preds = %39
  %63 = load i32, ptr getelementptr inbounds ([2001 x i32], ptr @mu, i64 0, i64 1), align 4, !tbaa !5
  %64 = add nsw i32 %63, 1
  store i32 %64, ptr getelementptr inbounds ([2001 x i32], ptr @mu, i64 0, i64 1), align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #6
  store i32 1, ptr %3, align 4, !tbaa !5
  br label %65

65:                                               ; preds = %121, %62
  %66 = load i32, ptr %3, align 4, !tbaa !5
  %67 = load i32, ptr @mx, align 4, !tbaa !5
  %68 = icmp sle i32 %66, %67
  br i1 %68, label %70, label %69

69:                                               ; preds = %65
  store i32 5, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #6
  br label %124

70:                                               ; preds = %65
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #6
  %71 = load i32, ptr %3, align 4, !tbaa !5
  %72 = load i32, ptr %3, align 4, !tbaa !5
  %73 = add nsw i32 %71, %72
  store i32 %73, ptr %5, align 4, !tbaa !5
  br label %74

74:                                               ; preds = %116, %70
  %75 = load i32, ptr %5, align 4, !tbaa !5
  %76 = load i32, ptr @mx, align 4, !tbaa !5
  %77 = icmp sle i32 %75, %76
  br i1 %77, label %79, label %78

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

79:                                               ; preds = %74
  %80 = load i32, ptr %3, align 4, !tbaa !5
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %81
  %83 = load i32, ptr %82, align 4, !tbaa !5
  %84 = load i32, ptr %5, align 4, !tbaa !5
  %85 = sext i32 %84 to i64
  %86 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %85
  %87 = load i32, ptr %86, align 4, !tbaa !5
  %88 = sub nsw i32 %87, %83
  store i32 %88, ptr %86, align 4, !tbaa !5
  %89 = load i32, ptr %5, align 4, !tbaa !5
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %90
  %92 = load i32, ptr %91, align 4, !tbaa !5
  %93 = load i32, ptr %3, align 4, !tbaa !5
  %94 = sext i32 %93 to i64
  %95 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %94
  %96 = load i32, ptr %95, align 4, !tbaa !5
  %97 = add nsw i32 %96, %92
  store i32 %97, ptr %95, align 4, !tbaa !5
  %98 = load i32, ptr %5, align 4, !tbaa !5
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %99
  %101 = load i32, ptr %100, align 4, !tbaa !5
  %102 = load i32, ptr %3, align 4, !tbaa !5
  %103 = sext i32 %102 to i64
  %104 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %103
  %105 = load i32, ptr %104, align 4, !tbaa !5
  %106 = add nsw i32 %105, %101
  store i32 %106, ptr %104, align 4, !tbaa !5
  %107 = load i32, ptr %5, align 4, !tbaa !5
  %108 = sext i32 %107 to i64
  %109 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %108
  %110 = load i32, ptr %109, align 4, !tbaa !5
  %111 = load i32, ptr %3, align 4, !tbaa !5
  %112 = sext i32 %111 to i64
  %113 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %112
  %114 = load i32, ptr %113, align 4, !tbaa !5
  %115 = add nsw i32 %114, %110
  store i32 %115, ptr %113, align 4, !tbaa !5
  br label %116

116:                                              ; preds = %79
  %117 = load i32, ptr %3, align 4, !tbaa !5
  %118 = load i32, ptr %5, align 4, !tbaa !5
  %119 = add nsw i32 %118, %117
  store i32 %119, ptr %5, align 4, !tbaa !5
  br label %74, !llvm.loop !11

120:                                              ; preds = %78
  br label %121

121:                                              ; preds = %120
  %122 = load i32, ptr %3, align 4, !tbaa !5
  %123 = add nsw i32 %122, 1
  store i32 %123, ptr %3, align 4, !tbaa !5
  br label %65, !llvm.loop !12

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

125:                                              ; preds = %221, %124
  %126 = load i32, ptr %6, align 4, !tbaa !5
  %127 = load i32, ptr @mx, align 4, !tbaa !5
  %128 = icmp sle i32 %126, %127
  br i1 %128, label %130, label %129

129:                                              ; preds = %125
  store i32 11, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  br label %224

130:                                              ; preds = %125
  %131 = load i32, ptr %6, align 4, !tbaa !5
  %132 = sext i32 %131 to i64
  %133 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %132
  %134 = load i32, ptr %133, align 4, !tbaa !5
  %135 = icmp ne i32 %134, 0
  br i1 %135, label %136, label %220

136:                                              ; preds = %130
  %137 = load i32, ptr %6, align 4, !tbaa !5
  %138 = load i32, ptr @cnt, align 4, !tbaa !5
  %139 = add nsw i32 %138, 1
  store i32 %139, ptr @cnt, align 4, !tbaa !5
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %140
  store i32 %137, ptr %141, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  %142 = load i32, ptr %6, align 4, !tbaa !5
  %143 = load i32, ptr %6, align 4, !tbaa !5
  %144 = add nsw i32 %142, %143
  store i32 %144, ptr %7, align 4, !tbaa !5
  br label %145

145:                                              ; preds = %215, %136
  %146 = load i32, ptr %7, align 4, !tbaa !5
  %147 = load i32, ptr @mx, align 4, !tbaa !5
  %148 = icmp sle i32 %146, %147
  br i1 %148, label %150, label %149

149:                                              ; preds = %145
  store i32 14, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  br label %219

150:                                              ; preds = %145
  %151 = load i32, ptr %7, align 4, !tbaa !5
  %152 = sext i32 %151 to i64
  %153 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %152
  %154 = load i32, ptr %153, align 4, !tbaa !5
  %155 = icmp ne i32 %154, 0
  br i1 %155, label %156, label %214

156:                                              ; preds = %150
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  %157 = load i32, ptr %6, align 4, !tbaa !5
  store i32 %157, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  %158 = load i32, ptr %7, align 4, !tbaa !5
  store i32 %158, ptr %9, align 4, !tbaa !5
  br label %159

159:                                              ; preds = %206, %156
  %160 = load i32, ptr %8, align 4, !tbaa !5
  %161 = load i32, ptr %7, align 4, !tbaa !5
  %162 = icmp slt i32 %160, %161
  br i1 %162, label %163, label %167

163:                                              ; preds = %159
  %164 = load i32, ptr %9, align 4, !tbaa !5
  %165 = load i32, ptr @mx, align 4, !tbaa !5
  %166 = icmp sle i32 %164, %165
  br label %167

167:                                              ; preds = %163, %159
  %168 = phi i1 [ false, %159 ], [ %166, %163 ]
  br i1 %168, label %170, label %169

169:                                              ; preds = %167
  store i32 17, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  br label %213

170:                                              ; preds = %167
  %171 = load i32, ptr %9, align 4, !tbaa !5
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %172
  %174 = load i32, ptr %173, align 4, !tbaa !5
  %175 = icmp ne i32 %174, 0
  br i1 %175, label %176, label %205

176:                                              ; preds = %170
  %177 = load i32, ptr %9, align 4, !tbaa !5
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %178
  %180 = load i32, ptr %179, align 4, !tbaa !5
  %181 = icmp ne i32 %180, 0
  br i1 %181, label %194, label %182

182:                                              ; preds = %176
  %183 = load i32, ptr %9, align 4, !tbaa !5
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %184
  %186 = load i32, ptr %185, align 4, !tbaa !5
  %187 = icmp ne i32 %186, 0
  br i1 %187, label %194, label %188

188:                                              ; preds = %182
  %189 = load i32, ptr %9, align 4, !tbaa !5
  %190 = sext i32 %189 to i64
  %191 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %190
  %192 = load i32, ptr %191, align 4, !tbaa !5
  %193 = icmp ne i32 %192, 0
  br i1 %193, label %194, label %205

194:                                              ; preds = %188, %182, %176
  %195 = load i32, ptr %7, align 4, !tbaa !5
  %196 = sext i32 %195 to i64
  %197 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %196
  %198 = load i32, ptr %197, align 4, !tbaa !5
  %199 = add nsw i32 %198, 1
  store i32 %199, ptr %197, align 4, !tbaa !5
  %200 = load i32, ptr %8, align 4, !tbaa !5
  %201 = sext i32 %200 to i64
  %202 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %201
  %203 = load i32, ptr %202, align 4, !tbaa !5
  %204 = add nsw i32 %203, 1
  store i32 %204, ptr %202, align 4, !tbaa !5
  br label %205

205:                                              ; preds = %194, %188, %170
  br label %206

206:                                              ; preds = %205
  %207 = load i32, ptr %6, align 4, !tbaa !5
  %208 = load i32, ptr %8, align 4, !tbaa !5
  %209 = add nsw i32 %208, %207
  store i32 %209, ptr %8, align 4, !tbaa !5
  %210 = load i32, ptr %7, align 4, !tbaa !5
  %211 = load i32, ptr %9, align 4, !tbaa !5
  %212 = add nsw i32 %211, %210
  store i32 %212, ptr %9, align 4, !tbaa !5
  br label %159, !llvm.loop !13

213:                                              ; preds = %169
  br label %214

214:                                              ; preds = %213, %150
  br label %215

215:                                              ; preds = %214
  %216 = load i32, ptr %6, align 4, !tbaa !5
  %217 = load i32, ptr %7, align 4, !tbaa !5
  %218 = add nsw i32 %217, %216
  store i32 %218, ptr %7, align 4, !tbaa !5
  br label %145, !llvm.loop !14

219:                                              ; preds = %149
  br label %220

220:                                              ; preds = %219, %130
  br label %221

221:                                              ; preds = %220
  %222 = load i32, ptr %6, align 4, !tbaa !5
  %223 = add nsw i32 %222, 1
  store i32 %223, ptr %6, align 4, !tbaa !5
  br label %125, !llvm.loop !15

224:                                              ; preds = %129
  %225 = load i32, ptr @cnt, align 4, !tbaa !5
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds i32, ptr @ord, i64 %226
  %228 = getelementptr inbounds i32, ptr %227, i64 1
  call void @"_ZSt4sortIPiZ4mainE3$_0EvT_S2_T0_"(ptr noundef getelementptr inbounds (i32, ptr @ord, i64 1), ptr noundef %228)
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  store i32 1, ptr %11, align 4, !tbaa !5
  br label %229

229:                                              ; preds = %242, %224
  %230 = load i32, ptr %11, align 4, !tbaa !5
  %231 = load i32, ptr @cnt, align 4, !tbaa !5
  %232 = icmp sle i32 %230, %231
  br i1 %232, label %234, label %233

233:                                              ; preds = %229
  store i32 20, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  br label %245

234:                                              ; preds = %229
  %235 = load i32, ptr %11, align 4, !tbaa !5
  %236 = load i32, ptr %11, align 4, !tbaa !5
  %237 = sext i32 %236 to i64
  %238 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %237
  %239 = load i32, ptr %238, align 4, !tbaa !5
  %240 = sext i32 %239 to i64
  %241 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %240
  store i32 %235, ptr %241, align 4, !tbaa !5
  br label %242

242:                                              ; preds = %234
  %243 = load i32, ptr %11, align 4, !tbaa !5
  %244 = add nsw i32 %243, 1
  store i32 %244, ptr %11, align 4, !tbaa !5
  br label %229, !llvm.loop !16

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

246:                                              ; preds = %357, %245
  %247 = load i32, ptr %12, align 4, !tbaa !5
  %248 = load i32, ptr @mx, align 4, !tbaa !5
  %249 = icmp sle i32 %247, %248
  br i1 %249, label %251, label %250

250:                                              ; preds = %246
  store i32 23, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  br label %360

251:                                              ; preds = %246
  %252 = load i32, ptr %12, align 4, !tbaa !5
  %253 = sext i32 %252 to i64
  %254 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %253
  %255 = load i32, ptr %254, align 4, !tbaa !5
  %256 = icmp ne i32 %255, 0
  br i1 %256, label %257, label %356

257:                                              ; preds = %251
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  %258 = load i32, ptr %12, align 4, !tbaa !5
  %259 = load i32, ptr %12, align 4, !tbaa !5
  %260 = add nsw i32 %258, %259
  store i32 %260, ptr %13, align 4, !tbaa !5
  br label %261

261:                                              ; preds = %351, %257
  %262 = load i32, ptr %13, align 4, !tbaa !5
  %263 = load i32, ptr @mx, align 4, !tbaa !5
  %264 = icmp sle i32 %262, %263
  br i1 %264, label %266, label %265

265:                                              ; preds = %261
  store i32 26, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  br label %355

266:                                              ; preds = %261
  %267 = load i32, ptr %13, align 4, !tbaa !5
  %268 = sext i32 %267 to i64
  %269 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %268
  %270 = load i32, ptr %269, align 4, !tbaa !5
  %271 = icmp ne i32 %270, 0
  br i1 %271, label %272, label %350

272:                                              ; preds = %266
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  %273 = load i32, ptr %12, align 4, !tbaa !5
  store i32 %273, ptr %14, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #6
  %274 = load i32, ptr %13, align 4, !tbaa !5
  store i32 %274, ptr %15, align 4, !tbaa !5
  br label %275

275:                                              ; preds = %342, %272
  %276 = load i32, ptr %14, align 4, !tbaa !5
  %277 = load i32, ptr %13, align 4, !tbaa !5
  %278 = icmp slt i32 %276, %277
  br i1 %278, label %279, label %283

279:                                              ; preds = %275
  %280 = load i32, ptr %15, align 4, !tbaa !5
  %281 = load i32, ptr @mx, align 4, !tbaa !5
  %282 = icmp sle i32 %280, %281
  br label %283

283:                                              ; preds = %279, %275
  %284 = phi i1 [ false, %275 ], [ %282, %279 ]
  br i1 %284, label %286, label %285

285:                                              ; preds = %283
  store i32 29, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  br label %349

286:                                              ; preds = %283
  %287 = load i32, ptr %15, align 4, !tbaa !5
  %288 = sext i32 %287 to i64
  %289 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %288
  %290 = load i32, ptr %289, align 4, !tbaa !5
  %291 = icmp ne i32 %290, 0
  br i1 %291, label %292, label %341

292:                                              ; preds = %286
  %293 = load i32, ptr %15, align 4, !tbaa !5
  %294 = sext i32 %293 to i64
  %295 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %294
  %296 = load i32, ptr %295, align 4, !tbaa !5
  %297 = icmp ne i32 %296, 0
  br i1 %297, label %310, label %298

298:                                              ; preds = %292
  %299 = load i32, ptr %15, align 4, !tbaa !5
  %300 = sext i32 %299 to i64
  %301 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %300
  %302 = load i32, ptr %301, align 4, !tbaa !5
  %303 = icmp ne i32 %302, 0
  br i1 %303, label %310, label %304

304:                                              ; preds = %298
  %305 = load i32, ptr %15, align 4, !tbaa !5
  %306 = sext i32 %305 to i64
  %307 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %306
  %308 = load i32, ptr %307, align 4, !tbaa !5
  %309 = icmp ne i32 %308, 0
  br i1 %309, label %310, label %341

310:                                              ; preds = %304, %298, %292
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  %311 = load i32, ptr %13, align 4, !tbaa !5
  store i32 %311, ptr %16, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  %312 = load i32, ptr %14, align 4, !tbaa !5
  store i32 %312, ptr %17, align 4, !tbaa !5
  %313 = load i32, ptr %16, align 4, !tbaa !5
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %314
  %316 = load i32, ptr %315, align 4, !tbaa !5
  %317 = load i32, ptr %17, align 4, !tbaa !5
  %318 = sext i32 %317 to i64
  %319 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %318
  %320 = load i32, ptr %319, align 4, !tbaa !5
  %321 = icmp slt i32 %316, %320
  br i1 %321, label %322, label %323

322:                                              ; preds = %310
  call void @_ZSt4swapIiENSt9enable_ifIXsr6__and_ISt6__not_ISt15__is_tuple_likeIT_EESt21is_move_constructibleIS3_ESt18is_move_assignableIS3_EEE5valueEvE4typeERS3_SC_(ptr noundef nonnull align 4 dereferenceable(4) %16, ptr noundef nonnull align 4 dereferenceable(4) %17) #6
  br label %323

323:                                              ; preds = %322, %310
  call void @llvm.lifetime.start.p0(i64 12, ptr %18) #6
  %324 = getelementptr inbounds %struct.Edge, ptr %18, i32 0, i32 0
  %325 = load i32, ptr %16, align 4, !tbaa !5
  %326 = sext i32 %325 to i64
  %327 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %326
  %328 = load i32, ptr %327, align 4, !tbaa !5
  store i32 %328, ptr %324, align 4, !tbaa !17
  %329 = getelementptr inbounds %struct.Edge, ptr %18, i32 0, i32 1
  %330 = load i32, ptr %17, align 4, !tbaa !5
  store i32 %330, ptr %329, align 4, !tbaa !19
  %331 = getelementptr inbounds %struct.Edge, ptr %18, i32 0, i32 2
  %332 = load i32, ptr %15, align 4, !tbaa !5
  store i32 %332, ptr %331, align 4, !tbaa !20
  %333 = load i32, ptr @tot, align 4, !tbaa !5
  %334 = add nsw i32 %333, 1
  store i32 %334, ptr @tot, align 4, !tbaa !5
  %335 = sext i32 %334 to i64
  %336 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %335
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %336, ptr align 4 %18, i64 12, i1 false), !tbaa.struct !21
  call void @llvm.lifetime.end.p0(i64 12, ptr %18) #6
  %337 = load i32, ptr @tot, align 4, !tbaa !5
  %338 = load i32, ptr %16, align 4, !tbaa !5
  %339 = sext i32 %338 to i64
  %340 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %339
  store i32 %337, ptr %340, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  br label %341

341:                                              ; preds = %323, %304, %286
  br label %342

342:                                              ; preds = %341
  %343 = load i32, ptr %12, align 4, !tbaa !5
  %344 = load i32, ptr %14, align 4, !tbaa !5
  %345 = add nsw i32 %344, %343
  store i32 %345, ptr %14, align 4, !tbaa !5
  %346 = load i32, ptr %13, align 4, !tbaa !5
  %347 = load i32, ptr %15, align 4, !tbaa !5
  %348 = add nsw i32 %347, %346
  store i32 %348, ptr %15, align 4, !tbaa !5
  br label %275, !llvm.loop !22

349:                                              ; preds = %285
  br label %350

350:                                              ; preds = %349, %266
  br label %351

351:                                              ; preds = %350
  %352 = load i32, ptr %12, align 4, !tbaa !5
  %353 = load i32, ptr %13, align 4, !tbaa !5
  %354 = add nsw i32 %353, %352
  store i32 %354, ptr %13, align 4, !tbaa !5
  br label %261, !llvm.loop !23

355:                                              ; preds = %265
  br label %356

356:                                              ; preds = %355, %251
  br label %357

357:                                              ; preds = %356
  %358 = load i32, ptr %12, align 4, !tbaa !5
  %359 = add nsw i32 %358, 1
  store i32 %359, ptr %12, align 4, !tbaa !5
  br label %246, !llvm.loop !24

360:                                              ; preds = %250
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #6
  store i32 0, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #6
  %361 = load i32, ptr @cnt, align 4, !tbaa !5
  store i32 %361, ptr %20, align 4, !tbaa !5
  br label %362

362:                                              ; preds = %687, %360
  %363 = load i32, ptr %20, align 4, !tbaa !5
  %364 = icmp sge i32 %363, 1
  br i1 %364, label %366, label %365

365:                                              ; preds = %362
  store i32 32, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #6
  br label %690

366:                                              ; preds = %362
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  %367 = load i32, ptr %20, align 4, !tbaa !5
  %368 = sext i32 %367 to i64
  %369 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %368
  %370 = load i32, ptr %369, align 4, !tbaa !5
  store i32 %370, ptr %21, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #6
  %371 = load i32, ptr %21, align 4, !tbaa !5
  %372 = sext i32 %371 to i64
  %373 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %372
  %374 = load i32, ptr %373, align 4, !tbaa !5
  store i32 %374, ptr %22, align 4, !tbaa !5
  br label %375

375:                                              ; preds = %392, %366
  %376 = load i32, ptr %22, align 4, !tbaa !5
  %377 = icmp ne i32 %376, 0
  br i1 %377, label %379, label %378

378:                                              ; preds = %375
  store i32 35, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  br label %398

379:                                              ; preds = %375
  %380 = load i32, ptr %22, align 4, !tbaa !5
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %381
  %383 = getelementptr inbounds %struct.Edge, ptr %382, i32 0, i32 2
  %384 = load i32, ptr %383, align 4, !tbaa !20
  %385 = load i32, ptr %22, align 4, !tbaa !5
  %386 = sext i32 %385 to i64
  %387 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %386
  %388 = getelementptr inbounds %struct.Edge, ptr %387, i32 0, i32 1
  %389 = load i32, ptr %388, align 4, !tbaa !19
  %390 = sext i32 %389 to i64
  %391 = getelementptr inbounds [2001 x i32], ptr @pos, i64 0, i64 %390
  store i32 %384, ptr %391, align 4, !tbaa !5
  br label %392

392:                                              ; preds = %379
  %393 = load i32, ptr %22, align 4, !tbaa !5
  %394 = sext i32 %393 to i64
  %395 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %394
  %396 = getelementptr inbounds %struct.Edge, ptr %395, i32 0, i32 0
  %397 = load i32, ptr %396, align 4, !tbaa !17
  store i32 %397, ptr %22, align 4, !tbaa !5
  br label %375, !llvm.loop !25

398:                                              ; preds = %378
  %399 = load i32, ptr %21, align 4, !tbaa !5
  %400 = sext i32 %399 to i64
  %401 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %400
  %402 = load i32, ptr %401, align 4, !tbaa !5
  %403 = load i32, ptr %21, align 4, !tbaa !5
  %404 = sext i32 %403 to i64
  %405 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %404
  %406 = load i32, ptr %405, align 4, !tbaa !5
  %407 = mul nsw i32 %402, %406
  %408 = load i32, ptr %21, align 4, !tbaa !5
  %409 = sext i32 %408 to i64
  %410 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %409
  %411 = load i32, ptr %410, align 4, !tbaa !5
  %412 = mul nsw i32 %407, %411
  %413 = load i32, ptr %21, align 4, !tbaa !5
  %414 = sext i32 %413 to i64
  %415 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %414
  %416 = load i32, ptr %415, align 4, !tbaa !5
  %417 = mul nsw i32 %412, %416
  %418 = load i32, ptr %19, align 4, !tbaa !5
  %419 = add nsw i32 %418, %417
  store i32 %419, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #6
  %420 = load i32, ptr %21, align 4, !tbaa !5
  %421 = sext i32 %420 to i64
  %422 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %421
  %423 = load i32, ptr %422, align 4, !tbaa !5
  store i32 %423, ptr %23, align 4, !tbaa !5
  br label %424

424:                                              ; preds = %657, %398
  %425 = load i32, ptr %23, align 4, !tbaa !5
  %426 = icmp ne i32 %425, 0
  br i1 %426, label %428, label %427

427:                                              ; preds = %424
  store i32 38, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #6
  br label %663

428:                                              ; preds = %424
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #6
  %429 = load i32, ptr %23, align 4, !tbaa !5
  %430 = sext i32 %429 to i64
  %431 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %430
  %432 = getelementptr inbounds %struct.Edge, ptr %431, i32 0, i32 1
  %433 = load i32, ptr %432, align 4, !tbaa !19
  store i32 %433, ptr %24, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #6
  %434 = load i32, ptr %23, align 4, !tbaa !5
  %435 = sext i32 %434 to i64
  %436 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %435
  %437 = getelementptr inbounds %struct.Edge, ptr %436, i32 0, i32 2
  %438 = load i32, ptr %437, align 4, !tbaa !20
  store i32 %438, ptr %25, align 4, !tbaa !5
  %439 = load i32, ptr %25, align 4, !tbaa !5
  %440 = sext i32 %439 to i64
  %441 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %440
  %442 = load i32, ptr %441, align 4, !tbaa !5
  %443 = load i32, ptr %25, align 4, !tbaa !5
  %444 = sext i32 %443 to i64
  %445 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %444
  %446 = load i32, ptr %445, align 4, !tbaa !5
  %447 = mul nsw i32 %442, %446
  %448 = load i32, ptr %21, align 4, !tbaa !5
  %449 = sext i32 %448 to i64
  %450 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %449
  %451 = load i32, ptr %450, align 4, !tbaa !5
  %452 = load i32, ptr %24, align 4, !tbaa !5
  %453 = sext i32 %452 to i64
  %454 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %453
  %455 = load i32, ptr %454, align 4, !tbaa !5
  %456 = mul nsw i32 %451, %455
  %457 = load i32, ptr %21, align 4, !tbaa !5
  %458 = sext i32 %457 to i64
  %459 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %458
  %460 = load i32, ptr %459, align 4, !tbaa !5
  %461 = load i32, ptr %24, align 4, !tbaa !5
  %462 = sext i32 %461 to i64
  %463 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %462
  %464 = load i32, ptr %463, align 4, !tbaa !5
  %465 = mul nsw i32 %460, %464
  %466 = add nsw i32 %456, %465
  %467 = mul nsw i32 %447, %466
  %468 = load i32, ptr %25, align 4, !tbaa !5
  %469 = sext i32 %468 to i64
  %470 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %469
  %471 = load i32, ptr %470, align 4, !tbaa !5
  %472 = load i32, ptr %21, align 4, !tbaa !5
  %473 = sext i32 %472 to i64
  %474 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %473
  %475 = load i32, ptr %474, align 4, !tbaa !5
  %476 = load i32, ptr %24, align 4, !tbaa !5
  %477 = sext i32 %476 to i64
  %478 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %477
  %479 = load i32, ptr %478, align 4, !tbaa !5
  %480 = mul nsw i32 %475, %479
  %481 = load i32, ptr %21, align 4, !tbaa !5
  %482 = sext i32 %481 to i64
  %483 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %482
  %484 = load i32, ptr %483, align 4, !tbaa !5
  %485 = load i32, ptr %24, align 4, !tbaa !5
  %486 = sext i32 %485 to i64
  %487 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %486
  %488 = load i32, ptr %487, align 4, !tbaa !5
  %489 = mul nsw i32 %484, %488
  %490 = add nsw i32 %480, %489
  %491 = mul nsw i32 %471, %490
  %492 = load i32, ptr %21, align 4, !tbaa !5
  %493 = sext i32 %492 to i64
  %494 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %493
  %495 = load i32, ptr %494, align 4, !tbaa !5
  %496 = load i32, ptr %24, align 4, !tbaa !5
  %497 = sext i32 %496 to i64
  %498 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %497
  %499 = load i32, ptr %498, align 4, !tbaa !5
  %500 = mul nsw i32 %495, %499
  %501 = load i32, ptr %21, align 4, !tbaa !5
  %502 = sext i32 %501 to i64
  %503 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %502
  %504 = load i32, ptr %503, align 4, !tbaa !5
  %505 = load i32, ptr %24, align 4, !tbaa !5
  %506 = sext i32 %505 to i64
  %507 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %506
  %508 = load i32, ptr %507, align 4, !tbaa !5
  %509 = mul nsw i32 %504, %508
  %510 = add nsw i32 %500, %509
  %511 = load i32, ptr %25, align 4, !tbaa !5
  %512 = sext i32 %511 to i64
  %513 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %512
  %514 = load i32, ptr %513, align 4, !tbaa !5
  %515 = mul nsw i32 %510, %514
  %516 = add nsw i32 %491, %515
  %517 = load i32, ptr %25, align 4, !tbaa !5
  %518 = sext i32 %517 to i64
  %519 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %518
  %520 = load i32, ptr %519, align 4, !tbaa !5
  %521 = mul nsw i32 %516, %520
  %522 = add nsw i32 %467, %521
  %523 = load i32, ptr %19, align 4, !tbaa !5
  %524 = add nsw i32 %523, %522
  store i32 %524, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #6
  %525 = load i32, ptr %24, align 4, !tbaa !5
  %526 = sext i32 %525 to i64
  %527 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %526
  %528 = load i32, ptr %527, align 4, !tbaa !5
  store i32 %528, ptr %26, align 4, !tbaa !5
  br label %529

529:                                              ; preds = %650, %428
  %530 = load i32, ptr %26, align 4, !tbaa !5
  %531 = icmp ne i32 %530, 0
  br i1 %531, label %533, label %532

532:                                              ; preds = %529
  store i32 41, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #6
  br label %656

533:                                              ; preds = %529
  %534 = load i32, ptr %26, align 4, !tbaa !5
  %535 = sext i32 %534 to i64
  %536 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %535
  %537 = getelementptr inbounds %struct.Edge, ptr %536, i32 0, i32 1
  %538 = load i32, ptr %537, align 4, !tbaa !19
  %539 = sext i32 %538 to i64
  %540 = getelementptr inbounds [2001 x i32], ptr @pos, i64 0, i64 %539
  %541 = load i32, ptr %540, align 4, !tbaa !5
  %542 = icmp ne i32 %541, 0
  br i1 %542, label %544, label %543

543:                                              ; preds = %533
  br label %650

544:                                              ; preds = %533
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #6
  %545 = load i32, ptr %26, align 4, !tbaa !5
  %546 = sext i32 %545 to i64
  %547 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %546
  %548 = getelementptr inbounds %struct.Edge, ptr %547, i32 0, i32 1
  %549 = load i32, ptr %548, align 4, !tbaa !19
  store i32 %549, ptr %27, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #6
  %550 = load i32, ptr %26, align 4, !tbaa !5
  %551 = sext i32 %550 to i64
  %552 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %551
  %553 = getelementptr inbounds %struct.Edge, ptr %552, i32 0, i32 2
  %554 = load i32, ptr %553, align 4, !tbaa !20
  store i32 %554, ptr %28, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #6
  %555 = load i32, ptr %27, align 4, !tbaa !5
  %556 = sext i32 %555 to i64
  %557 = getelementptr inbounds [2001 x i32], ptr @pos, i64 0, i64 %556
  %558 = load i32, ptr %557, align 4, !tbaa !5
  store i32 %558, ptr %29, align 4, !tbaa !5
  %559 = load i32, ptr %25, align 4, !tbaa !5
  %560 = sext i32 %559 to i64
  %561 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %560
  %562 = load i32, ptr %561, align 4, !tbaa !5
  %563 = load i32, ptr %28, align 4, !tbaa !5
  %564 = sext i32 %563 to i64
  %565 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %564
  %566 = load i32, ptr %565, align 4, !tbaa !5
  %567 = mul nsw i32 %562, %566
  %568 = load i32, ptr %28, align 4, !tbaa !5
  %569 = sext i32 %568 to i64
  %570 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %569
  %571 = load i32, ptr %570, align 4, !tbaa !5
  %572 = load i32, ptr %25, align 4, !tbaa !5
  %573 = sext i32 %572 to i64
  %574 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %573
  %575 = load i32, ptr %574, align 4, !tbaa !5
  %576 = mul nsw i32 %571, %575
  %577 = add nsw i32 %567, %576
  %578 = load i32, ptr %29, align 4, !tbaa !5
  %579 = sext i32 %578 to i64
  %580 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %579
  %581 = load i32, ptr %580, align 4, !tbaa !5
  %582 = mul nsw i32 %577, %581
  %583 = load i32, ptr %25, align 4, !tbaa !5
  %584 = sext i32 %583 to i64
  %585 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %584
  %586 = load i32, ptr %585, align 4, !tbaa !5
  %587 = load i32, ptr %29, align 4, !tbaa !5
  %588 = sext i32 %587 to i64
  %589 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %588
  %590 = load i32, ptr %589, align 4, !tbaa !5
  %591 = mul nsw i32 %586, %590
  %592 = load i32, ptr %29, align 4, !tbaa !5
  %593 = sext i32 %592 to i64
  %594 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %593
  %595 = load i32, ptr %594, align 4, !tbaa !5
  %596 = load i32, ptr %25, align 4, !tbaa !5
  %597 = sext i32 %596 to i64
  %598 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %597
  %599 = load i32, ptr %598, align 4, !tbaa !5
  %600 = mul nsw i32 %595, %599
  %601 = add nsw i32 %591, %600
  %602 = load i32, ptr %28, align 4, !tbaa !5
  %603 = sext i32 %602 to i64
  %604 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %603
  %605 = load i32, ptr %604, align 4, !tbaa !5
  %606 = mul nsw i32 %601, %605
  %607 = add nsw i32 %582, %606
  %608 = load i32, ptr %28, align 4, !tbaa !5
  %609 = sext i32 %608 to i64
  %610 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %609
  %611 = load i32, ptr %610, align 4, !tbaa !5
  %612 = load i32, ptr %29, align 4, !tbaa !5
  %613 = sext i32 %612 to i64
  %614 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %613
  %615 = load i32, ptr %614, align 4, !tbaa !5
  %616 = mul nsw i32 %611, %615
  %617 = load i32, ptr %29, align 4, !tbaa !5
  %618 = sext i32 %617 to i64
  %619 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %618
  %620 = load i32, ptr %619, align 4, !tbaa !5
  %621 = load i32, ptr %28, align 4, !tbaa !5
  %622 = sext i32 %621 to i64
  %623 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %622
  %624 = load i32, ptr %623, align 4, !tbaa !5
  %625 = mul nsw i32 %620, %624
  %626 = add nsw i32 %616, %625
  %627 = load i32, ptr %25, align 4, !tbaa !5
  %628 = sext i32 %627 to i64
  %629 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %628
  %630 = load i32, ptr %629, align 4, !tbaa !5
  %631 = mul nsw i32 %626, %630
  %632 = add nsw i32 %607, %631
  %633 = load i32, ptr %21, align 4, !tbaa !5
  %634 = sext i32 %633 to i64
  %635 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %634
  %636 = load i32, ptr %635, align 4, !tbaa !5
  %637 = mul nsw i32 %632, %636
  %638 = load i32, ptr %24, align 4, !tbaa !5
  %639 = sext i32 %638 to i64
  %640 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %639
  %641 = load i32, ptr %640, align 4, !tbaa !5
  %642 = mul nsw i32 %637, %641
  %643 = load i32, ptr %27, align 4, !tbaa !5
  %644 = sext i32 %643 to i64
  %645 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %644
  %646 = load i32, ptr %645, align 4, !tbaa !5
  %647 = mul nsw i32 %642, %646
  %648 = load i32, ptr %19, align 4, !tbaa !5
  %649 = add nsw i32 %648, %647
  store i32 %649, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #6
  br label %650

650:                                              ; preds = %544, %543
  %651 = load i32, ptr %26, align 4, !tbaa !5
  %652 = sext i32 %651 to i64
  %653 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %652
  %654 = getelementptr inbounds %struct.Edge, ptr %653, i32 0, i32 0
  %655 = load i32, ptr %654, align 4, !tbaa !17
  store i32 %655, ptr %26, align 4, !tbaa !5
  br label %529, !llvm.loop !26

656:                                              ; preds = %532
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #6
  br label %657

657:                                              ; preds = %656
  %658 = load i32, ptr %23, align 4, !tbaa !5
  %659 = sext i32 %658 to i64
  %660 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %659
  %661 = getelementptr inbounds %struct.Edge, ptr %660, i32 0, i32 0
  %662 = load i32, ptr %661, align 4, !tbaa !17
  store i32 %662, ptr %23, align 4, !tbaa !5
  br label %424, !llvm.loop !27

663:                                              ; preds = %427
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  %664 = load i32, ptr %21, align 4, !tbaa !5
  %665 = sext i32 %664 to i64
  %666 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %665
  %667 = load i32, ptr %666, align 4, !tbaa !5
  store i32 %667, ptr %30, align 4, !tbaa !5
  br label %668

668:                                              ; preds = %680, %663
  %669 = load i32, ptr %30, align 4, !tbaa !5
  %670 = icmp ne i32 %669, 0
  br i1 %670, label %672, label %671

671:                                              ; preds = %668
  store i32 44, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  br label %686

672:                                              ; preds = %668
  %673 = load i32, ptr %30, align 4, !tbaa !5
  %674 = sext i32 %673 to i64
  %675 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %674
  %676 = getelementptr inbounds %struct.Edge, ptr %675, i32 0, i32 1
  %677 = load i32, ptr %676, align 4, !tbaa !19
  %678 = sext i32 %677 to i64
  %679 = getelementptr inbounds [2001 x i32], ptr @pos, i64 0, i64 %678
  store i32 0, ptr %679, align 4, !tbaa !5
  br label %680

680:                                              ; preds = %672
  %681 = load i32, ptr %30, align 4, !tbaa !5
  %682 = sext i32 %681 to i64
  %683 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %682
  %684 = getelementptr inbounds %struct.Edge, ptr %683, i32 0, i32 0
  %685 = load i32, ptr %684, align 4, !tbaa !17
  store i32 %685, ptr %30, align 4, !tbaa !5
  br label %668, !llvm.loop !28

686:                                              ; preds = %671
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  br label %687

687:                                              ; preds = %686
  %688 = load i32, ptr %20, align 4, !tbaa !5
  %689 = add nsw i32 %688, -1
  store i32 %689, ptr %20, align 4, !tbaa !5
  br label %362, !llvm.loop !29

690:                                              ; preds = %365
  %691 = load i32, ptr %19, align 4, !tbaa !5
  %692 = and i32 %691, 1073741823
  %693 = call i32 (ptr, ...) @printf(ptr noundef @.str.1, i32 noundef %692)
  store i32 0, ptr %1, align 4
  store i32 1, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #6
  %694 = load i32, ptr %1, align 4
  ret i32 %694
}

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

; 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)) #2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZSt4sortIPiZ4mainE3$_0EvT_S2_T0_"(ptr noundef, ptr noundef) #4

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #5

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

attributes #0 = { mustprogress norecurse uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 #3 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { 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}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10}
!13 = distinct !{!13, !10}
!14 = distinct !{!14, !10}
!15 = distinct !{!15, !10}
!16 = distinct !{!16, !10}
!17 = !{!18, !6, i64 0}
!18 = !{!"_ZTS4Edge", !6, i64 0, !6, i64 4, !6, i64 8}
!19 = !{!18, !6, i64 4}
!20 = !{!18, !6, i64 8}
!21 = !{i64 0, i64 4, !5, i64 4, i64 4, !5, i64 8, i64 4, !5}
!22 = distinct !{!22, !10}
!23 = distinct !{!23, !10}
!24 = distinct !{!24, !10}
!25 = distinct !{!25, !10}
!26 = distinct !{!26, !10}
!27 = distinct !{!27, !10}
!28 = distinct !{!28, !10}
!29 = distinct !{!29, !10}


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

%struct.Edge = type { i32, i32, i32 }

@A = external dso_local global i32, align 4
@B = external dso_local global i32, align 4
@C = external dso_local global i32, align 4
@mx = external dso_local local_unnamed_addr global i32, align 4
@mu = external dso_local local_unnamed_addr global [2001 x i32], align 16
@f = external dso_local local_unnamed_addr global [2001 x i32], align 16
@g = external dso_local local_unnamed_addr global [2001 x i32], align 16
@h = external dso_local local_unnamed_addr global [2001 x i32], align 16
@cnt = external dso_local local_unnamed_addr global i32, align 4
@ord = external dso_local global [2001 x i32], align 16
@rnk = external dso_local local_unnamed_addr global [2001 x i32], align 16
@tot = external dso_local local_unnamed_addr global i32, align 4
@lnk = external dso_local local_unnamed_addr global [2001 x i32], align 16
@pos = external dso_local local_unnamed_addr global [2001 x i32], align 16
@e = external dso_local local_unnamed_addr global [9001 x %struct.Edge], align 16
@.str = external hidden unnamed_addr constant [7 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() local_unnamed_addr #0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = tail call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str, ptr noundef nonnull @A, ptr noundef nonnull @B, ptr noundef nonnull @C)
  %4 = tail call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) @B, ptr noundef nonnull align 4 dereferenceable(4) @C)
  %5 = tail call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) @A, ptr noundef nonnull align 4 dereferenceable(4) %4)
  %6 = load i32, ptr %5, align 4, !tbaa !5
  store i32 %6, ptr @mx, align 4, !tbaa !5
  %.not195 = icmp slt i32 %6, 1
  br i1 %.not195, label %._crit_edge.thread, label %.lr.ph

._crit_edge.thread:                               ; preds = %0
  %7 = load i32, ptr getelementptr inbounds (i8, ptr @mu, i64 4), align 4, !tbaa !5
  %8 = add nsw i32 %7, 1
  store i32 %8, ptr getelementptr inbounds (i8, ptr @mu, i64 4), align 4, !tbaa !5
  br label %.preheader194.thread

.lr.ph:                                           ; preds = %0
  %9 = load i32, ptr @A, align 4, !tbaa !5
  %10 = load i32, ptr @B, align 4, !tbaa !5
  %11 = load i32, ptr @C, align 4, !tbaa !5
  %12 = add nuw i32 %6, 1
  %wide.trip.count = zext i32 %12 to i64
  br label %17

._crit_edge:                                      ; preds = %17
  %13 = load i32, ptr getelementptr inbounds (i8, ptr @mu, i64 4), align 4, !tbaa !5
  %14 = add nsw i32 %13, 1
  store i32 %14, ptr getelementptr inbounds (i8, ptr @mu, i64 4), align 4, !tbaa !5
  br i1 %.not195, label %.preheader194.thread, label %.lr.ph207.preheader

.lr.ph207.preheader:                              ; preds = %._crit_edge
  %15 = zext nneg i32 %6 to i64
  %16 = add nuw i32 %6, 1
  %wide.trip.count277 = zext i32 %16 to i64
  br label %.lr.ph207

17:                                               ; preds = %.lr.ph, %17
  %indvars.iv = phi i64 [ 1, %.lr.ph ], [ %indvars.iv.next, %17 ]
  %18 = trunc nuw nsw i64 %indvars.iv to i32
  %19 = sdiv i32 %9, %18
  %20 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %indvars.iv
  store i32 %19, ptr %20, align 4, !tbaa !5
  %21 = sdiv i32 %10, %18
  %22 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %indvars.iv
  store i32 %21, ptr %22, align 4, !tbaa !5
  %23 = sdiv i32 %11, %18
  %24 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %indvars.iv
  store i32 %23, ptr %24, align 4, !tbaa !5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %17, !llvm.loop !9

.preheader194.thread:                             ; preds = %._crit_edge.thread, %._crit_edge
  %cnt.promoted329 = load i32, ptr @cnt, align 4, !tbaa !5
  br label %._crit_edge220

.preheader194:                                    ; preds = %._crit_edge201
  %cnt.promoted = load i32, ptr @cnt, align 4, !tbaa !5
  br i1 %.not195, label %._crit_edge220, label %.lr.ph219.preheader

.lr.ph219.preheader:                              ; preds = %.preheader194
  %25 = add nuw i32 %6, 1
  %wide.trip.count294 = zext i32 %25 to i64
  br label %.lr.ph219

.lr.ph207:                                        ; preds = %.lr.ph207.preheader, %._crit_edge201
  %indvars.iv271 = phi i64 [ 1, %.lr.ph207.preheader ], [ %indvars.iv.next272, %._crit_edge201 ]
  %indvars.iv269 = phi i64 [ 2, %.lr.ph207.preheader ], [ %indvars.iv.next270, %._crit_edge201 ]
  %26 = shl nuw nsw i64 %indvars.iv271, 1
  %.not186197 = icmp ugt i64 %26, %15
  br i1 %.not186197, label %._crit_edge201, label %.lr.ph200

.lr.ph200:                                        ; preds = %.lr.ph207
  %27 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %indvars.iv271
  %28 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %indvars.iv271
  %29 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %indvars.iv271
  %30 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %indvars.iv271
  %.promoted = load i32, ptr %28, align 4, !tbaa !5
  %.promoted202 = load i32, ptr %29, align 4, !tbaa !5
  %.promoted203 = load i32, ptr %30, align 4, !tbaa !5
  br label %31

._crit_edge201:                                   ; preds = %31, %.lr.ph207
  %indvars.iv.next272 = add nuw nsw i64 %indvars.iv271, 1
  %indvars.iv.next270 = add nuw nsw i64 %indvars.iv269, 2
  %exitcond278.not = icmp eq i64 %indvars.iv.next272, %wide.trip.count277
  br i1 %exitcond278.not, label %.preheader194, label %.lr.ph207, !llvm.loop !11

31:                                               ; preds = %.lr.ph200, %31
  %indvars.iv273 = phi i64 [ %indvars.iv269, %.lr.ph200 ], [ %indvars.iv.next274, %31 ]
  %32 = phi i32 [ %.promoted203, %.lr.ph200 ], [ %47, %31 ]
  %33 = phi i32 [ %.promoted202, %.lr.ph200 ], [ %44, %31 ]
  %34 = phi i32 [ %.promoted, %.lr.ph200 ], [ %41, %31 ]
  %35 = load i32, ptr %27, align 4, !tbaa !5
  %36 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %indvars.iv273
  %37 = load i32, ptr %36, align 4, !tbaa !5
  %38 = sub nsw i32 %37, %35
  store i32 %38, ptr %36, align 4, !tbaa !5
  %39 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %indvars.iv273
  %40 = load i32, ptr %39, align 4, !tbaa !5
  %41 = add nsw i32 %34, %40
  store i32 %41, ptr %28, align 4, !tbaa !5
  %42 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %indvars.iv273
  %43 = load i32, ptr %42, align 4, !tbaa !5
  %44 = add nsw i32 %33, %43
  store i32 %44, ptr %29, align 4, !tbaa !5
  %45 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %indvars.iv273
  %46 = load i32, ptr %45, align 4, !tbaa !5
  %47 = add nsw i32 %32, %46
  store i32 %47, ptr %30, align 4, !tbaa !5
  %indvars.iv.next274 = add nuw nsw i64 %indvars.iv273, %indvars.iv271
  %48 = trunc nuw i64 %indvars.iv.next274 to i32
  %.not186 = icmp slt i32 %6, %48
  br i1 %.not186, label %._crit_edge201, label %31, !llvm.loop !12

._crit_edge220:                                   ; preds = %.loopexit193, %.preheader194.thread, %.preheader194
  %49 = phi i32 [ %cnt.promoted, %.preheader194 ], [ %cnt.promoted329, %.preheader194.thread ], [ %93, %.loopexit193 ]
  %50 = sext i32 %49 to i64
  %51 = getelementptr inbounds i32, ptr @ord, i64 %50
  %52 = getelementptr inbounds i8, ptr %51, i64 4
  tail call void @"_ZSt4sortIPiZ4mainE3$_0EvT_S2_T0_"(ptr noundef nonnull getelementptr inbounds (i8, ptr @ord, i64 4), ptr noundef nonnull %52)
  %53 = load i32, ptr @cnt, align 4, !tbaa !5
  %.not165221 = icmp slt i32 %53, 1
  br i1 %.not165221, label %.preheader190, label %.lr.ph224.preheader

.lr.ph224.preheader:                              ; preds = %._crit_edge220
  %54 = zext nneg i32 %53 to i64
  %xtraiter = and i64 %54, 3
  %55 = icmp ult i32 %53, 4
  br i1 %55, label %.preheader190.loopexit.unr-lcssa, label %.lr.ph224.preheader.new

.lr.ph224.preheader.new:                          ; preds = %.lr.ph224.preheader
  %unroll_iter = and i64 %54, 2147483644
  br label %.lr.ph224

.lr.ph219:                                        ; preds = %.lr.ph219.preheader, %.loopexit193
  %indvars.iv283 = phi i64 [ 2, %.lr.ph219.preheader ], [ %indvars.iv.next284, %.loopexit193 ]
  %indvars.iv279 = phi i64 [ 1, %.lr.ph219.preheader ], [ %indvars.iv.next280, %.loopexit193 ]
  %56 = phi i32 [ %cnt.promoted, %.lr.ph219.preheader ], [ %93, %.loopexit193 ]
  %57 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %indvars.iv279
  %58 = load i32, ptr %57, align 4, !tbaa !5
  %.not179 = icmp eq i32 %58, 0
  br i1 %.not179, label %.loopexit193, label %59

59:                                               ; preds = %.lr.ph219
  %60 = add nsw i32 %56, 1
  store i32 %60, ptr @cnt, align 4, !tbaa !5
  %61 = sext i32 %60 to i64
  %62 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %61
  %63 = trunc nuw nsw i64 %indvars.iv279 to i32
  store i32 %63, ptr %62, align 4, !tbaa !5
  %indvars.iv279.tr = trunc i64 %indvars.iv279 to i32
  %64 = shl i32 %indvars.iv279.tr, 1
  %.not180211 = icmp sgt i32 %64, %6
  br i1 %.not180211, label %.loopexit193, label %.lr.ph215

.lr.ph215:                                        ; preds = %59, %.loopexit192
  %indvars.iv285 = phi i64 [ %indvars.iv.next286, %.loopexit192 ], [ %indvars.iv283, %59 ]
  %65 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %indvars.iv285
  %66 = load i32, ptr %65, align 4, !tbaa !5
  %.not181 = icmp ne i32 %66, 0
  %67 = icmp ult i64 %indvars.iv279, %indvars.iv285
  %or.cond = and i1 %.not181, %67
  br i1 %or.cond, label %.lr.ph210, label %.loopexit192

.lr.ph210:                                        ; preds = %.lr.ph215
  %68 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %indvars.iv285
  br label %69

69:                                               ; preds = %.lr.ph210, %87
  %indvars.iv287 = phi i64 [ %indvars.iv285, %.lr.ph210 ], [ %indvars.iv.next288, %87 ]
  %indvars.iv281 = phi i64 [ %indvars.iv279, %.lr.ph210 ], [ %indvars.iv.next282, %87 ]
  %70 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %indvars.iv287
  %71 = load i32, ptr %70, align 4, !tbaa !5
  %.not182 = icmp eq i32 %71, 0
  br i1 %.not182, label %87, label %72

72:                                               ; preds = %69
  %73 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %indvars.iv287
  %74 = load i32, ptr %73, align 4, !tbaa !5
  %.not183 = icmp eq i32 %74, 0
  br i1 %.not183, label %75, label %81

75:                                               ; preds = %72
  %76 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %indvars.iv287
  %77 = load i32, ptr %76, align 4, !tbaa !5
  %.not184 = icmp eq i32 %77, 0
  br i1 %.not184, label %78, label %81

78:                                               ; preds = %75
  %79 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %indvars.iv287
  %80 = load i32, ptr %79, align 4, !tbaa !5
  %.not185 = icmp eq i32 %80, 0
  br i1 %.not185, label %87, label %81

81:                                               ; preds = %78, %75, %72
  %82 = load i32, ptr %68, align 4, !tbaa !5
  %83 = add nsw i32 %82, 1
  store i32 %83, ptr %68, align 4, !tbaa !5
  %84 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %indvars.iv281
  %85 = load i32, ptr %84, align 4, !tbaa !5
  %86 = add nsw i32 %85, 1
  store i32 %86, ptr %84, align 4, !tbaa !5
  br label %87

87:                                               ; preds = %69, %78, %81
  %indvars.iv.next282 = add nuw nsw i64 %indvars.iv281, %indvars.iv279
  %indvars.iv.next288 = add nuw nsw i64 %indvars.iv287, %indvars.iv285
  %88 = icmp ult i64 %indvars.iv.next282, %indvars.iv285
  %89 = trunc nuw i64 %indvars.iv.next288 to i32
  %90 = icmp sge i32 %6, %89
  %91 = select i1 %88, i1 %90, i1 false
  br i1 %91, label %69, label %.loopexit192, !llvm.loop !13

.loopexit192:                                     ; preds = %87, %.lr.ph215
  %indvars.iv.next286 = add nuw nsw i64 %indvars.iv285, %indvars.iv279
  %92 = trunc nuw i64 %indvars.iv.next286 to i32
  %.not180 = icmp slt i32 %6, %92
  br i1 %.not180, label %.loopexit193, label %.lr.ph215, !llvm.loop !14

.loopexit193:                                     ; preds = %.loopexit192, %59, %.lr.ph219
  %93 = phi i32 [ %56, %.lr.ph219 ], [ %60, %59 ], [ %60, %.loopexit192 ]
  %indvars.iv.next280 = add nuw nsw i64 %indvars.iv279, 1
  %indvars.iv.next284 = add nuw nsw i64 %indvars.iv283, 2
  %exitcond295.not = icmp eq i64 %indvars.iv.next280, %wide.trip.count294
  br i1 %exitcond295.not, label %._crit_edge220, label %.lr.ph219, !llvm.loop !15

.preheader190.loopexit.unr-lcssa:                 ; preds = %.lr.ph224, %.lr.ph224.preheader
  %indvars.iv296.unr = phi i64 [ 1, %.lr.ph224.preheader ], [ %indvars.iv.next297.3, %.lr.ph224 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.preheader190, label %.lr.ph224.epil

.lr.ph224.epil:                                   ; preds = %.preheader190.loopexit.unr-lcssa, %.lr.ph224.epil
  %indvars.iv296.epil = phi i64 [ %indvars.iv.next297.epil, %.lr.ph224.epil ], [ %indvars.iv296.unr, %.preheader190.loopexit.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.lr.ph224.epil ], [ 0, %.preheader190.loopexit.unr-lcssa ]
  %94 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %indvars.iv296.epil
  %95 = load i32, ptr %94, align 4, !tbaa !5
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %96
  %98 = trunc nuw nsw i64 %indvars.iv296.epil to i32
  store i32 %98, ptr %97, align 4, !tbaa !5
  %indvars.iv.next297.epil = add nuw nsw i64 %indvars.iv296.epil, 1
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter
  br i1 %epil.iter.cmp.not, label %.preheader190, label %.lr.ph224.epil, !llvm.loop !16

.preheader190:                                    ; preds = %.preheader190.loopexit.unr-lcssa, %.lr.ph224.epil, %._crit_edge220
  %99 = load i32, ptr @mx, align 4
  %.not166233 = icmp slt i32 %99, 1
  br i1 %.not166233, label %._crit_edge237, label %.lr.ph236

.lr.ph224:                                        ; preds = %.lr.ph224, %.lr.ph224.preheader.new
  %indvars.iv296 = phi i64 [ 1, %.lr.ph224.preheader.new ], [ %indvars.iv.next297.3, %.lr.ph224 ]
  %niter = phi i64 [ 0, %.lr.ph224.preheader.new ], [ %niter.next.3, %.lr.ph224 ]
  %100 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %indvars.iv296
  %101 = load i32, ptr %100, align 4, !tbaa !5
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %102
  %104 = trunc nuw nsw i64 %indvars.iv296 to i32
  store i32 %104, ptr %103, align 4, !tbaa !5
  %indvars.iv.next297 = add nuw nsw i64 %indvars.iv296, 1
  %105 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %indvars.iv.next297
  %106 = load i32, ptr %105, align 4, !tbaa !5
  %107 = sext i32 %106 to i64
  %108 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %107
  %109 = trunc nuw nsw i64 %indvars.iv.next297 to i32
  store i32 %109, ptr %108, align 4, !tbaa !5
  %indvars.iv.next297.1 = add nuw nsw i64 %indvars.iv296, 2
  %110 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %indvars.iv.next297.1
  %111 = load i32, ptr %110, align 4, !tbaa !5
  %112 = sext i32 %111 to i64
  %113 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %112
  %114 = trunc nuw nsw i64 %indvars.iv.next297.1 to i32
  store i32 %114, ptr %113, align 4, !tbaa !5
  %indvars.iv.next297.2 = add nuw nsw i64 %indvars.iv296, 3
  %115 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %indvars.iv.next297.2
  %116 = load i32, ptr %115, align 4, !tbaa !5
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %117
  %119 = trunc nuw nsw i64 %indvars.iv.next297.2 to i32
  store i32 %119, ptr %118, align 4, !tbaa !5
  %indvars.iv.next297.3 = add nuw nsw i64 %indvars.iv296, 4
  %niter.next.3 = add i64 %niter, 4
  %niter.ncmp.3 = icmp eq i64 %niter.next.3, %unroll_iter
  br i1 %niter.ncmp.3, label %.preheader190.loopexit.unr-lcssa, label %.lr.ph224, !llvm.loop !18

._crit_edge237.loopexit:                          ; preds = %.loopexit189
  %.pre321 = load i32, ptr @cnt, align 4, !tbaa !5
  br label %._crit_edge237

._crit_edge237:                                   ; preds = %._crit_edge237.loopexit, %.preheader190
  %120 = phi i32 [ %.pre321, %._crit_edge237.loopexit ], [ %53, %.preheader190 ]
  %121 = icmp sgt i32 %120, 0
  br i1 %121, label %.lr.ph265.preheader, label %._crit_edge266

.lr.ph265.preheader:                              ; preds = %._crit_edge237
  %122 = zext nneg i32 %120 to i64
  br label %.lr.ph265

.lr.ph236:                                        ; preds = %.preheader190, %.loopexit189
  %.pre320323 = phi i32 [ %.pre320324, %.loopexit189 ], [ %99, %.preheader190 ]
  %123 = phi i32 [ %180, %.loopexit189 ], [ %99, %.preheader190 ]
  %indvars.iv303 = phi i64 [ %indvars.iv.next304, %.loopexit189 ], [ 1, %.preheader190 ]
  %indvars.iv301 = phi i64 [ %indvars.iv.next302, %.loopexit189 ], [ 2, %.preheader190 ]
  %124 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %indvars.iv303
  %125 = load i32, ptr %124, align 4, !tbaa !5
  %.not172 = icmp eq i32 %125, 0
  %indvars.iv303.tr = trunc i64 %indvars.iv303 to i32
  %126 = shl i32 %indvars.iv303.tr, 1
  %.not173228 = icmp sgt i32 %126, %123
  %or.cond335 = or i1 %.not172, %.not173228
  br i1 %or.cond335, label %.loopexit189, label %.lr.ph232

.lr.ph232:                                        ; preds = %.lr.ph236, %.loopexit188
  %.pre320322 = phi i32 [ %.pre320325, %.loopexit188 ], [ %.pre320323, %.lr.ph236 ]
  %127 = phi i32 [ %177, %.loopexit188 ], [ %123, %.lr.ph236 ]
  %128 = phi i32 [ %178, %.loopexit188 ], [ %123, %.lr.ph236 ]
  %indvars.iv305 = phi i64 [ %indvars.iv.next306, %.loopexit188 ], [ %indvars.iv301, %.lr.ph236 ]
  %129 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %indvars.iv305
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %.not174 = icmp eq i32 %130, 0
  br i1 %.not174, label %.loopexit188, label %.preheader187

.preheader187:                                    ; preds = %.lr.ph232
  %131 = icmp ult i64 %indvars.iv303, %indvars.iv305
  %132 = trunc nuw i64 %indvars.iv305 to i32
  %133 = icmp sge i32 %128, %132
  %134 = select i1 %131, i1 %133, i1 false
  br i1 %134, label %.lr.ph227, label %.loopexit188

.lr.ph227:                                        ; preds = %.preheader187
  %135 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %indvars.iv305
  br label %136

136:                                              ; preds = %.lr.ph227, %169
  %.pre320326 = phi i32 [ %.pre320322, %.lr.ph227 ], [ %.pre320327, %169 ]
  %137 = phi i32 [ %127, %.lr.ph227 ], [ %170, %169 ]
  %138 = phi i32 [ %128, %.lr.ph227 ], [ %171, %169 ]
  %139 = phi i32 [ %128, %.lr.ph227 ], [ %172, %169 ]
  %indvars.iv309 = phi i64 [ %indvars.iv303, %.lr.ph227 ], [ %indvars.iv.next310, %169 ]
  %indvars.iv307 = phi i64 [ %indvars.iv305, %.lr.ph227 ], [ %indvars.iv.next308, %169 ]
  %140 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %indvars.iv307
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %.not175 = icmp eq i32 %141, 0
  br i1 %.not175, label %169, label %142

142:                                              ; preds = %136
  %143 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %indvars.iv307
  %144 = load i32, ptr %143, align 4, !tbaa !5
  %.not176 = icmp eq i32 %144, 0
  br i1 %.not176, label %145, label %151

145:                                              ; preds = %142
  %146 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %indvars.iv307
  %147 = load i32, ptr %146, align 4, !tbaa !5
  %.not177 = icmp eq i32 %147, 0
  br i1 %.not177, label %148, label %151

148:                                              ; preds = %145
  %149 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %indvars.iv307
  %150 = load i32, ptr %149, align 4, !tbaa !5
  %.not178 = icmp eq i32 %150, 0
  br i1 %.not178, label %169, label %151

151:                                              ; preds = %148, %145, %142
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #5
  store i32 %132, ptr %1, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #5
  %152 = trunc nuw nsw i64 %indvars.iv309 to i32
  store i32 %152, ptr %2, align 4, !tbaa !5
  %153 = load i32, ptr %135, align 4, !tbaa !5
  %154 = getelementptr inbounds [2001 x i32], ptr @rnk, i64 0, i64 %indvars.iv309
  %155 = load i32, ptr %154, align 4, !tbaa !5
  %156 = icmp slt i32 %153, %155
  br i1 %156, label %157, label %158

157:                                              ; preds = %151
  call void @_ZSt4swapIiENSt9enable_ifIXsr6__and_ISt6__not_ISt15__is_tuple_likeIT_EESt21is_move_constructibleIS3_ESt18is_move_assignableIS3_EEE5valueEvE4typeERS3_SC_(ptr noundef nonnull align 4 dereferenceable(4) %1, ptr noundef nonnull align 4 dereferenceable(4) %2) #5
  %.pre = load i32, ptr %1, align 4, !tbaa !5
  %.pre319 = load i32, ptr %2, align 4, !tbaa !5
  %.pre320.pre = load i32, ptr @mx, align 4
  br label %158

158:                                              ; preds = %157, %151
  %.pre320 = phi i32 [ %.pre320.pre, %157 ], [ %.pre320326, %151 ]
  %159 = phi i32 [ %.pre319, %157 ], [ %152, %151 ]
  %160 = phi i32 [ %.pre, %157 ], [ %132, %151 ]
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %161
  %163 = load i32, ptr %162, align 4, !tbaa !5
  %164 = load i32, ptr @tot, align 4, !tbaa !5
  %165 = add nsw i32 %164, 1
  store i32 %165, ptr @tot, align 4, !tbaa !5
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %166
  store i32 %163, ptr %167, align 4, !tbaa !5
  %.sroa.4.0..sroa_idx = getelementptr inbounds i8, ptr %167, i64 4
  store i32 %159, ptr %.sroa.4.0..sroa_idx, align 4, !tbaa !5
  %.sroa.5.0..sroa_idx = getelementptr inbounds i8, ptr %167, i64 8
  %168 = trunc nuw i64 %indvars.iv307 to i32
  store i32 %168, ptr %.sroa.5.0..sroa_idx, align 4, !tbaa !5
  store i32 %165, ptr %162, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #5
  br label %169

169:                                              ; preds = %136, %148, %158
  %.pre320327 = phi i32 [ %.pre320326, %136 ], [ %.pre320326, %148 ], [ %.pre320, %158 ]
  %170 = phi i32 [ %137, %136 ], [ %137, %148 ], [ %.pre320, %158 ]
  %171 = phi i32 [ %138, %136 ], [ %138, %148 ], [ %.pre320, %158 ]
  %172 = phi i32 [ %139, %136 ], [ %139, %148 ], [ %.pre320, %158 ]
  %indvars.iv.next310 = add nuw nsw i64 %indvars.iv309, %indvars.iv303
  %indvars.iv.next308 = add nuw nsw i64 %indvars.iv307, %indvars.iv305
  %173 = icmp ult i64 %indvars.iv.next310, %indvars.iv305
  %174 = trunc nuw i64 %indvars.iv.next308 to i32
  %175 = icmp sge i32 %172, %174
  %176 = select i1 %173, i1 %175, i1 false
  br i1 %176, label %136, label %.loopexit188, !llvm.loop !19

.loopexit188:                                     ; preds = %169, %.preheader187, %.lr.ph232
  %.pre320325 = phi i32 [ %.pre320322, %.preheader187 ], [ %.pre320322, %.lr.ph232 ], [ %.pre320327, %169 ]
  %177 = phi i32 [ %127, %.preheader187 ], [ %127, %.lr.ph232 ], [ %170, %169 ]
  %178 = phi i32 [ %128, %.preheader187 ], [ %128, %.lr.ph232 ], [ %171, %169 ]
  %indvars.iv.next306 = add nuw nsw i64 %indvars.iv305, %indvars.iv303
  %179 = trunc nuw i64 %indvars.iv.next306 to i32
  %.not173 = icmp slt i32 %178, %179
  br i1 %.not173, label %.loopexit189, label %.lr.ph232, !llvm.loop !20

.loopexit189:                                     ; preds = %.loopexit188, %.lr.ph236
  %.pre320324 = phi i32 [ %.pre320323, %.lr.ph236 ], [ %.pre320325, %.loopexit188 ]
  %180 = phi i32 [ %123, %.lr.ph236 ], [ %177, %.loopexit188 ]
  %indvars.iv.next304 = add nuw nsw i64 %indvars.iv303, 1
  %181 = sext i32 %180 to i64
  %.not166.not = icmp slt i64 %indvars.iv303, %181
  %indvars.iv.next302 = add nuw nsw i64 %indvars.iv301, 2
  br i1 %.not166.not, label %.lr.ph236, label %._crit_edge237.loopexit, !llvm.loop !21

._crit_edge266.loopexit:                          ; preds = %._crit_edge261
  %182 = and i32 %.1.lcssa331, 1073741823
  br label %._crit_edge266

._crit_edge266:                                   ; preds = %._crit_edge266.loopexit, %._crit_edge237
  %.0153.lcssa = phi i32 [ 0, %._crit_edge237 ], [ %182, %._crit_edge266.loopexit ]
  %183 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1, i32 noundef %.0153.lcssa)
  ret i32 0

.lr.ph265:                                        ; preds = %.lr.ph265.preheader, %._crit_edge261
  %indvars.iv316 = phi i64 [ %122, %.lr.ph265.preheader ], [ %indvars.iv.next317, %._crit_edge261 ]
  %.0153262 = phi i32 [ 0, %.lr.ph265.preheader ], [ %.1.lcssa331, %._crit_edge261 ]
  %184 = getelementptr inbounds [2001 x i32], ptr @ord, i64 0, i64 %indvars.iv316
  %185 = load i32, ptr %184, align 4, !tbaa !5
  %186 = sext i32 %185 to i64
  %187 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %186
  %.0150238 = load i32, ptr %187, align 4, !tbaa !5
  %.not167239 = icmp eq i32 %.0150238, 0
  br i1 %.not167239, label %._crit_edge243, label %.lr.ph242

._crit_edge243:                                   ; preds = %.lr.ph242, %.lr.ph265
  %188 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %186
  %189 = load i32, ptr %188, align 4, !tbaa !5
  %190 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %186
  %191 = load i32, ptr %190, align 4, !tbaa !5
  %192 = mul nsw i32 %191, %189
  %193 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %186
  %194 = load i32, ptr %193, align 4, !tbaa !5
  %195 = mul nsw i32 %192, %194
  %196 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %186
  %197 = load i32, ptr %196, align 4, !tbaa !5
  %198 = mul nsw i32 %195, %197
  %199 = add nsw i32 %198, %.0153262
  br i1 %.not167239, label %._crit_edge261, label %.lr.ph255

.lr.ph242:                                        ; preds = %.lr.ph265, %.lr.ph242
  %.0150240 = phi i32 [ %.0150, %.lr.ph242 ], [ %.0150238, %.lr.ph265 ]
  %200 = sext i32 %.0150240 to i64
  %201 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %200
  %202 = getelementptr inbounds i8, ptr %201, i64 8
  %203 = load i32, ptr %202, align 4, !tbaa !22
  %204 = getelementptr inbounds i8, ptr %201, i64 4
  %205 = load i32, ptr %204, align 4, !tbaa !24
  %206 = sext i32 %205 to i64
  %207 = getelementptr inbounds [2001 x i32], ptr @pos, i64 0, i64 %206
  store i32 %203, ptr %207, align 4, !tbaa !5
  %.0150 = load i32, ptr %201, align 4, !tbaa !5
  %.not167 = icmp eq i32 %.0150, 0
  br i1 %.not167, label %._crit_edge243, label %.lr.ph242, !llvm.loop !25

.loopexit:                                        ; preds = %293, %.lr.ph255
  %.2.lcssa = phi i32 [ %246, %.lr.ph255 ], [ %.3, %293 ]
  %.0149 = load i32, ptr %209, align 4, !tbaa !5
  %.not168 = icmp eq i32 %.0149, 0
  br i1 %.not168, label %.preheader, label %.lr.ph255, !llvm.loop !26

.preheader:                                       ; preds = %.loopexit
  br i1 %.not167239, label %._crit_edge261, label %.lr.ph260

.lr.ph255:                                        ; preds = %._crit_edge243, %.loopexit
  %.0149253 = phi i32 [ %.0149, %.loopexit ], [ %.0150238, %._crit_edge243 ]
  %.1252 = phi i32 [ %.2.lcssa, %.loopexit ], [ %199, %._crit_edge243 ]
  %208 = sext i32 %.0149253 to i64
  %209 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %208
  %210 = getelementptr inbounds i8, ptr %209, i64 4
  %211 = load i32, ptr %210, align 4, !tbaa !24
  %212 = getelementptr inbounds i8, ptr %209, i64 8
  %213 = load i32, ptr %212, align 4, !tbaa !22
  %214 = sext i32 %213 to i64
  %215 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %214
  %216 = load i32, ptr %215, align 4, !tbaa !5
  %217 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %214
  %218 = load i32, ptr %217, align 4, !tbaa !5
  %219 = mul nsw i32 %218, %216
  %220 = sext i32 %211 to i64
  %221 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %220
  %222 = load i32, ptr %221, align 4, !tbaa !5
  %223 = mul nsw i32 %222, %194
  %224 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %220
  %225 = load i32, ptr %224, align 4, !tbaa !5
  %226 = mul nsw i32 %225, %197
  %227 = add nsw i32 %226, %223
  %228 = mul nsw i32 %219, %227
  %229 = mul nsw i32 %222, %191
  %230 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %220
  %231 = load i32, ptr %230, align 4, !tbaa !5
  %232 = mul nsw i32 %231, %197
  %233 = add nsw i32 %232, %229
  %234 = mul nsw i32 %233, %216
  %235 = mul nsw i32 %222, %189
  %236 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %220
  %237 = load i32, ptr %236, align 4, !tbaa !5
  %238 = mul nsw i32 %237, %197
  %239 = add nsw i32 %238, %235
  %240 = mul nsw i32 %239, %218
  %241 = add nsw i32 %240, %234
  %242 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %214
  %243 = load i32, ptr %242, align 4, !tbaa !5
  %244 = mul nsw i32 %241, %243
  %245 = add i32 %228, %.1252
  %246 = add i32 %245, %244
  %247 = getelementptr inbounds [2001 x i32], ptr @lnk, i64 0, i64 %220
  %.0147244 = load i32, ptr %247, align 4, !tbaa !5
  %.not170245 = icmp eq i32 %.0147244, 0
  br i1 %.not170245, label %.loopexit, label %.lr.ph249

.lr.ph249:                                        ; preds = %.lr.ph255
  %248 = mul i32 %222, %197
  br label %249

249:                                              ; preds = %.lr.ph249, %293
  %.0147247 = phi i32 [ %.0147244, %.lr.ph249 ], [ %.0147, %293 ]
  %.2246 = phi i32 [ %246, %.lr.ph249 ], [ %.3, %293 ]
  %250 = sext i32 %.0147247 to i64
  %251 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %250
  %252 = getelementptr inbounds i8, ptr %251, i64 4
  %253 = load i32, ptr %252, align 4, !tbaa !24
  %254 = sext i32 %253 to i64
  %255 = getelementptr inbounds [2001 x i32], ptr @pos, i64 0, i64 %254
  %256 = load i32, ptr %255, align 4, !tbaa !5
  %.not171 = icmp eq i32 %256, 0
  br i1 %.not171, label %293, label %257

257:                                              ; preds = %249
  %258 = getelementptr inbounds i8, ptr %251, i64 8
  %259 = load i32, ptr %258, align 4, !tbaa !22
  %260 = sext i32 %259 to i64
  %261 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %260
  %262 = load i32, ptr %261, align 4, !tbaa !5
  %263 = mul nsw i32 %262, %216
  %264 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %260
  %265 = load i32, ptr %264, align 4, !tbaa !5
  %266 = mul nsw i32 %265, %218
  %267 = add nsw i32 %266, %263
  %268 = sext i32 %256 to i64
  %269 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %268
  %270 = load i32, ptr %269, align 4, !tbaa !5
  %271 = mul nsw i32 %267, %270
  %272 = getelementptr inbounds [2001 x i32], ptr @g, i64 0, i64 %268
  %273 = load i32, ptr %272, align 4, !tbaa !5
  %274 = mul nsw i32 %273, %216
  %275 = getelementptr inbounds [2001 x i32], ptr @f, i64 0, i64 %268
  %276 = load i32, ptr %275, align 4, !tbaa !5
  %277 = mul nsw i32 %276, %218
  %278 = add nsw i32 %277, %274
  %279 = getelementptr inbounds [2001 x i32], ptr @h, i64 0, i64 %260
  %280 = load i32, ptr %279, align 4, !tbaa !5
  %281 = mul nsw i32 %278, %280
  %282 = add nsw i32 %281, %271
  %283 = mul nsw i32 %273, %265
  %284 = mul nsw i32 %276, %262
  %285 = add nsw i32 %284, %283
  %286 = mul nsw i32 %285, %243
  %287 = add nsw i32 %282, %286
  %288 = getelementptr inbounds [2001 x i32], ptr @mu, i64 0, i64 %254
  %289 = load i32, ptr %288, align 4, !tbaa !5
  %290 = mul i32 %248, %289
  %291 = mul i32 %290, %287
  %292 = add nsw i32 %291, %.2246
  br label %293

293:                                              ; preds = %249, %257
  %.3 = phi i32 [ %292, %257 ], [ %.2246, %249 ]
  %.0147 = load i32, ptr %251, align 4, !tbaa !5
  %.not170 = icmp eq i32 %.0147, 0
  br i1 %.not170, label %.loopexit, label %249, !llvm.loop !27

._crit_edge261:                                   ; preds = %.lr.ph260, %._crit_edge243, %.preheader
  %.1.lcssa331 = phi i32 [ %.2.lcssa, %.preheader ], [ %199, %._crit_edge243 ], [ %.2.lcssa, %.lr.ph260 ]
  %indvars.iv.next317 = add nsw i64 %indvars.iv316, -1
  %294 = icmp sgt i64 %indvars.iv316, 1
  br i1 %294, label %.lr.ph265, label %._crit_edge266.loopexit, !llvm.loop !28

.lr.ph260:                                        ; preds = %.preheader, %.lr.ph260
  %.0259 = phi i32 [ %.0, %.lr.ph260 ], [ %.0150238, %.preheader ]
  %295 = sext i32 %.0259 to i64
  %296 = getelementptr inbounds [9001 x %struct.Edge], ptr @e, i64 0, i64 %295
  %297 = getelementptr inbounds i8, ptr %296, i64 4
  %298 = load i32, ptr %297, align 4, !tbaa !24
  %299 = sext i32 %298 to i64
  %300 = getelementptr inbounds [2001 x i32], ptr @pos, i64 0, i64 %299
  store i32 0, ptr %300, align 4, !tbaa !5
  %.0 = load i32, ptr %296, align 4, !tbaa !5
  %.not169 = icmp eq i32 %.0, 0
  br i1 %.not169, label %._crit_edge261, label %.lr.ph260, !llvm.loop !29
}

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

; 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 #2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZSt4sortIPiZ4mainE3$_0EvT_S2_T0_"(ptr noundef, ptr noundef) local_unnamed_addr #4

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

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

attributes #0 = { mustprogress norecurse uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 #3 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #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}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10}
!13 = distinct !{!13, !10}
!14 = distinct !{!14, !10}
!15 = distinct !{!15, !10}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.unroll.disable"}
!18 = distinct !{!18, !10}
!19 = distinct !{!19, !10}
!20 = distinct !{!20, !10}
!21 = distinct !{!21, !10}
!22 = !{!23, !6, i64 8}
!23 = !{!"_ZTS4Edge", !6, i64 0, !6, i64 4, !6, i64 8}
!24 = !{!23, !6, i64 4}
!25 = distinct !{!25, !10}
!26 = distinct !{!26, !10}
!27 = distinct !{!27, !10}
!28 = distinct !{!28, !10}
!29 = distinct !{!29, !10}


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