; LLVM IR from ERGO-Code/HiGHS :: src/io (HMPSIO)

; 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<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.16" = type { %"struct.std::_Vector_base.17" }
%"struct.std::_Vector_base.17" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }

@.str.10 = external hidden unnamed_addr constant [1 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [67 x i8], align 1
@.str.85 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.86 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.87 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.88 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.89 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [21 x i8], align 1
@__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b = external hidden unnamed_addr constant [563 x i8], align 1
@.str.91 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.92 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.93 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.94 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.95 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.96 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.97 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.98 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.99 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.100 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.101 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.102 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.103 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.104 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.105 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.106 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.107 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.108 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.115 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.116 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.117 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.118 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.119 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.122 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.123 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.124 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.125 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.126 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.127 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.128 = external hidden unnamed_addr constant [124 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

declare void @_Z11highsLogDevRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89), i32 noundef, ptr noundef, ...) #2

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

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

declare void @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89), i32 noundef, ptr noundef, ...) #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef, ptr noundef nonnull align 8 dereferenceable(8)) #3 align 2

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #1 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)) #5

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b(ptr noundef nonnull align 8 dereferenceable(89) %0, ptr noundef %1, ptr noundef %2, ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %4, ptr noundef nonnull align 4 dereferenceable(4) %5, ptr noundef nonnull align 4 dereferenceable(4) %6, ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(24) %8, ptr noundef nonnull align 8 dereferenceable(24) %9, ptr noundef nonnull align 8 dereferenceable(24) %10, ptr noundef nonnull align 8 dereferenceable(24) %11, ptr noundef nonnull align 8 dereferenceable(24) %12, ptr noundef nonnull align 8 dereferenceable(24) %13, ptr noundef nonnull align 8 dereferenceable(24) %14, ptr noundef nonnull align 8 dereferenceable(24) %15, ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(24) %17, ptr noundef nonnull align 8 dereferenceable(24) %18, ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef %20, ptr noundef nonnull align 8 dereferenceable(24) %21, ptr noundef nonnull align 8 dereferenceable(24) %22, i1 noundef zeroext %23) #3 personality ptr @__gxx_personality_v0 {
  %25 = alloca i32, align 4
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  %44 = alloca ptr, align 8
  %45 = alloca ptr, align 8
  %46 = alloca ptr, align 8
  %47 = alloca ptr, align 8
  %48 = alloca ptr, align 8
  %49 = alloca i8, align 1
  %50 = alloca i32, align 4
  %51 = alloca i32, align 4
  %52 = alloca ptr, align 8
  %53 = alloca i32, align 4
  %54 = alloca i32, align 4
  %55 = alloca i32, align 4
  %56 = alloca i32, align 4
  %57 = alloca %"class.std::vector", align 8
  %58 = alloca %"class.std::vector.16", align 8
  %59 = alloca %"class.std::vector.16", align 8
  %60 = alloca i8, align 1
  %61 = alloca i8, align 1
  %62 = alloca i8, align 1
  %63 = alloca i8, align 1
  %64 = alloca ptr, align 8
  %65 = alloca i32, align 4
  %66 = alloca double, align 8
  %67 = alloca double, align 8
  %68 = alloca i32, align 4
  %69 = alloca i32, align 4
  %70 = alloca i32, align 4
  %71 = alloca i32, align 4
  %72 = alloca i32, align 4
  %73 = alloca i8, align 1
  %74 = alloca %"class.std::__cxx11::basic_string", align 8
  %75 = alloca %"class.std::__cxx11::basic_string", align 8
  %76 = alloca %"class.std::__cxx11::basic_string", align 8
  %77 = alloca i8, align 1
  %78 = alloca i32, align 4
  %79 = alloca i32, align 4
  %80 = alloca i8, align 1
  %81 = alloca i32, align 4
  %82 = alloca i8, align 1
  %83 = alloca i32, align 4
  %84 = alloca i8, align 1
  %85 = alloca double, align 8
  %86 = alloca i32, align 4
  %87 = alloca double, align 8
  %88 = alloca i32, align 4
  %89 = alloca double, align 8
  %90 = alloca i32, align 4
  %91 = alloca double, align 8
  %92 = alloca i32, align 4
  %93 = alloca double, align 8
  %94 = alloca i32, align 4
  %95 = alloca double, align 8
  %96 = alloca double, align 8
  %97 = alloca i8, align 1
  %98 = alloca i8, align 1
  %99 = alloca i32, align 4
  %100 = alloca double, align 8
  %101 = alloca i32, align 4
  %102 = alloca double, align 8
  %103 = alloca double, align 8
  %104 = alloca i8, align 1
  %105 = alloca double, align 8
  %106 = alloca i8, align 1
  %107 = alloca double, align 8
  %108 = alloca i32, align 4
  %109 = alloca i32, align 4
  %110 = alloca i32, align 4
  store ptr %0, ptr %26, align 8, !tbaa !5
  store ptr %1, ptr %27, align 8, !tbaa !5
  store ptr %2, ptr %28, align 8, !tbaa !5
  store ptr %3, ptr %29, align 8, !tbaa !5
  store ptr %4, ptr %30, align 8, !tbaa !5
  store ptr %5, ptr %31, align 8, !tbaa !5
  store ptr %6, ptr %32, align 8, !tbaa !5
  store ptr %7, ptr %33, align 8, !tbaa !5
  store ptr %8, ptr %34, align 8, !tbaa !5
  store ptr %9, ptr %35, align 8, !tbaa !5
  store ptr %10, ptr %36, align 8, !tbaa !5
  store ptr %11, ptr %37, align 8, !tbaa !5
  store ptr %12, ptr %38, align 8, !tbaa !5
  store ptr %13, ptr %39, align 8, !tbaa !5
  store ptr %14, ptr %40, align 8, !tbaa !5
  store ptr %15, ptr %41, align 8, !tbaa !5
  store ptr %16, ptr %42, align 8, !tbaa !5
  store ptr %17, ptr %43, align 8, !tbaa !5
  store ptr %18, ptr %44, align 8, !tbaa !5
  store ptr %19, ptr %45, align 8, !tbaa !5
  store ptr %20, ptr %46, align 8, !tbaa !5
  store ptr %21, ptr %47, align 8, !tbaa !5
  store ptr %22, ptr %48, align 8, !tbaa !5
  %111 = zext i1 %23 to i8
  store i8 %111, ptr %49, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #8
  store i32 0, ptr %50, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #8
  store i32 0, ptr %51, align 4, !tbaa !11
  %112 = load ptr, ptr %26, align 8, !tbaa !5
  %113 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1) #8
  call void (ptr, i32, ptr, ...) @_Z11highsLogDevRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %112, i32 noundef 1, ptr noundef @.str.85, ptr noundef %113)
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #8
  %114 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1) #8
  %115 = call noalias ptr @fopen(ptr noundef %114, ptr noundef @.str.86)
  store ptr %115, ptr %52, align 8, !tbaa !5
  %116 = load ptr, ptr %52, align 8, !tbaa !5
  %117 = icmp eq ptr %116, null
  br i1 %117, label %118, label %121

118:                                              ; preds = %24
  %119 = load ptr, ptr %26, align 8, !tbaa !5
  %120 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1) #8
  call void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %119, i32 noundef 5, ptr noundef @.str.87, ptr noundef %120)
  store i32 -1, ptr %25, align 4
  store i32 1, ptr %53, align 4
  br label %1322

121:                                              ; preds = %24
  %122 = load ptr, ptr %26, align 8, !tbaa !5
  call void (ptr, i32, ptr, ...) @_Z11highsLogDevRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %122, i32 noundef 1, ptr noundef @.str.88)
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #8
  %123 = load ptr, ptr %30, align 8, !tbaa !5
  %124 = load i32, ptr %123, align 4, !tbaa !11
  %125 = load ptr, ptr %47, align 8, !tbaa !5
  %126 = call noundef i32 @_Z13maxNameLengthiRKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE(i32 noundef %124, ptr noundef nonnull align 8 dereferenceable(24) %125)
  store i32 %126, ptr %54, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #8
  %127 = load ptr, ptr %29, align 8, !tbaa !5
  %128 = load i32, ptr %127, align 4, !tbaa !11
  %129 = load ptr, ptr %48, align 8, !tbaa !5
  %130 = call noundef i32 @_Z13maxNameLengthiRKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE(i32 noundef %128, ptr noundef nonnull align 8 dereferenceable(24) %129)
  store i32 %130, ptr %55, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #8
  %131 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %54, ptr noundef nonnull align 4 dereferenceable(4) %55)
  %132 = load i32, ptr %131, align 4, !tbaa !11
  store i32 %132, ptr %56, align 4, !tbaa !11
  %133 = load i8, ptr %49, align 1, !tbaa !9, !range !13, !noundef !14
  %134 = trunc i8 %133 to i1
  br i1 %134, label %143, label %135

135:                                              ; preds = %121
  %136 = load i32, ptr %56, align 4, !tbaa !11
  %137 = icmp sgt i32 %136, 8
  br i1 %137, label %138, label %143

138:                                              ; preds = %135
  %139 = load ptr, ptr %26, align 8, !tbaa !5
  %140 = load i32, ptr %56, align 4, !tbaa !11
  call void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %139, i32 noundef 5, ptr noundef @.str.89, i32 noundef %140)
  %141 = load ptr, ptr %52, align 8, !tbaa !5
  %142 = call i32 @fclose(ptr noundef %141)
  store i32 -1, ptr %25, align 4
  store i32 1, ptr %53, align 4
  br label %1321

143:                                              ; preds = %135, %121
  %144 = call noundef zeroext i1 @_ZStneIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %20, ptr noundef @.str.10)
  br i1 %144, label %145, label %146

145:                                              ; preds = %143
  br label %148

146:                                              ; preds = %143
  call void @__assert_fail(ptr noundef @.str.90, ptr noundef @.str.74, i32 noundef 654, ptr noundef @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

147:                                              ; No predecessors!
  br label %148

148:                                              ; preds = %147, %145
  call void @llvm.lifetime.start.p0(i64 24, ptr %57) #8
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %57) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr %58) #8
  call void @_ZNSt6vectorIdSaIdEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr %59) #8
  call void @_ZNSt6vectorIdSaIdEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %59) #8
  call void @llvm.lifetime.start.p0(i64 1, ptr %60) #8
  store i8 0, ptr %60, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %61) #8
  store i8 0, ptr %61, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %62) #8
  store i8 0, ptr %62, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %63) #8
  store i8 0, ptr %63, align 1, !tbaa !9
  %149 = load ptr, ptr %29, align 8, !tbaa !5
  %150 = load i32, ptr %149, align 4, !tbaa !11
  %151 = sext i32 %150 to i64
  invoke void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %151)
          to label %152 unwind label %167

152:                                              ; preds = %148
  %153 = load ptr, ptr %29, align 8, !tbaa !5
  %154 = load i32, ptr %153, align 4, !tbaa !11
  %155 = sext i32 %154 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr %66) #8
  store double 0.000000e+00, ptr %66, align 8, !tbaa !15
  invoke void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24) %58, i64 noundef %155, ptr noundef nonnull align 8 dereferenceable(8) %66)
          to label %156 unwind label %171

156:                                              ; preds = %152
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #8
  %157 = load ptr, ptr %29, align 8, !tbaa !5
  %158 = load i32, ptr %157, align 4, !tbaa !11
  %159 = sext i32 %158 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #8
  store double 0.000000e+00, ptr %67, align 8, !tbaa !15
  invoke void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24) %59, i64 noundef %159, ptr noundef nonnull align 8 dereferenceable(8) %67)
          to label %160 unwind label %175

160:                                              ; preds = %156
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %68) #8
  store i32 0, ptr %68, align 4, !tbaa !11
  br label %161

161:                                              ; preds = %282, %160
  %162 = load i32, ptr %68, align 4, !tbaa !11
  %163 = load ptr, ptr %29, align 8, !tbaa !5
  %164 = load i32, ptr %163, align 4, !tbaa !11
  %165 = icmp slt i32 %162, %164
  br i1 %165, label %179, label %166

166:                                              ; preds = %161
  store i32 2, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %68) #8
  br label %285

167:                                              ; preds = %148
  %168 = landingpad { ptr, i32 }
          cleanup
  %169 = extractvalue { ptr, i32 } %168, 0
  store ptr %169, ptr %64, align 8
  %170 = extractvalue { ptr, i32 } %168, 1
  store i32 %170, ptr %65, align 4
  br label %1320

171:                                              ; preds = %152
  %172 = landingpad { ptr, i32 }
          cleanup
  %173 = extractvalue { ptr, i32 } %172, 0
  store ptr %173, ptr %64, align 8
  %174 = extractvalue { ptr, i32 } %172, 1
  store i32 %174, ptr %65, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #8
  br label %1320

175:                                              ; preds = %156
  %176 = landingpad { ptr, i32 }
          cleanup
  %177 = extractvalue { ptr, i32 } %176, 0
  store ptr %177, ptr %64, align 8
  %178 = extractvalue { ptr, i32 } %176, 1
  store i32 %178, ptr %65, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #8
  br label %1320

179:                                              ; preds = %161
  %180 = load ptr, ptr %37, align 8, !tbaa !5
  %181 = load i32, ptr %68, align 4, !tbaa !11
  %182 = sext i32 %181 to i64
  %183 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %180, i64 noundef %182) #8
  %184 = load double, ptr %183, align 8, !tbaa !15
  %185 = load ptr, ptr %38, align 8, !tbaa !5
  %186 = load i32, ptr %68, align 4, !tbaa !11
  %187 = sext i32 %186 to i64
  %188 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %185, i64 noundef %187) #8
  %189 = load double, ptr %188, align 8, !tbaa !15
  %190 = fcmp oeq double %184, %189
  br i1 %190, label %191, label %203

191:                                              ; preds = %179
  %192 = load i32, ptr %68, align 4, !tbaa !11
  %193 = sext i32 %192 to i64
  %194 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %193) #8
  store i32 1, ptr %194, align 4, !tbaa !11
  %195 = load ptr, ptr %37, align 8, !tbaa !5
  %196 = load i32, ptr %68, align 4, !tbaa !11
  %197 = sext i32 %196 to i64
  %198 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %195, i64 noundef %197) #8
  %199 = load double, ptr %198, align 8, !tbaa !15
  %200 = load i32, ptr %68, align 4, !tbaa !11
  %201 = sext i32 %200 to i64
  %202 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %58, i64 noundef %201) #8
  store double %199, ptr %202, align 8, !tbaa !15
  br label %281

203:                                              ; preds = %179
  %204 = load ptr, ptr %38, align 8, !tbaa !5
  %205 = load i32, ptr %68, align 4, !tbaa !11
  %206 = sext i32 %205 to i64
  %207 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %204, i64 noundef %206) #8
  %208 = load double, ptr %207, align 8, !tbaa !15
  %209 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %208)
          to label %210 unwind label %246

210:                                              ; preds = %203
  br i1 %209, label %251, label %211

211:                                              ; preds = %210
  %212 = load i32, ptr %68, align 4, !tbaa !11
  %213 = sext i32 %212 to i64
  %214 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %213) #8
  store i32 2, ptr %214, align 4, !tbaa !11
  %215 = load ptr, ptr %38, align 8, !tbaa !5
  %216 = load i32, ptr %68, align 4, !tbaa !11
  %217 = sext i32 %216 to i64
  %218 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %215, i64 noundef %217) #8
  %219 = load double, ptr %218, align 8, !tbaa !15
  %220 = load i32, ptr %68, align 4, !tbaa !11
  %221 = sext i32 %220 to i64
  %222 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %58, i64 noundef %221) #8
  store double %219, ptr %222, align 8, !tbaa !15
  %223 = load ptr, ptr %37, align 8, !tbaa !5
  %224 = load i32, ptr %68, align 4, !tbaa !11
  %225 = sext i32 %224 to i64
  %226 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %223, i64 noundef %225) #8
  %227 = load double, ptr %226, align 8, !tbaa !15
  %228 = fneg double %227
  %229 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %228)
          to label %230 unwind label %246

230:                                              ; preds = %211
  br i1 %229, label %250, label %231

231:                                              ; preds = %230
  %232 = load ptr, ptr %38, align 8, !tbaa !5
  %233 = load i32, ptr %68, align 4, !tbaa !11
  %234 = sext i32 %233 to i64
  %235 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %232, i64 noundef %234) #8
  %236 = load double, ptr %235, align 8, !tbaa !15
  %237 = load ptr, ptr %37, align 8, !tbaa !5
  %238 = load i32, ptr %68, align 4, !tbaa !11
  %239 = sext i32 %238 to i64
  %240 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %237, i64 noundef %239) #8
  %241 = load double, ptr %240, align 8, !tbaa !15
  %242 = fsub double %236, %241
  %243 = load i32, ptr %68, align 4, !tbaa !11
  %244 = sext i32 %243 to i64
  %245 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %59, i64 noundef %244) #8
  store double %242, ptr %245, align 8, !tbaa !15
  br label %250

246:                                              ; preds = %251, %211, %203
  %247 = landingpad { ptr, i32 }
          cleanup
  %248 = extractvalue { ptr, i32 } %247, 0
  store ptr %248, ptr %64, align 8
  %249 = extractvalue { ptr, i32 } %247, 1
  store i32 %249, ptr %65, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %68) #8
  br label %1320

250:                                              ; preds = %231, %230
  br label %280

251:                                              ; preds = %210
  %252 = load ptr, ptr %37, align 8, !tbaa !5
  %253 = load i32, ptr %68, align 4, !tbaa !11
  %254 = sext i32 %253 to i64
  %255 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %252, i64 noundef %254) #8
  %256 = load double, ptr %255, align 8, !tbaa !15
  %257 = fneg double %256
  %258 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %257)
          to label %259 unwind label %246

259:                                              ; preds = %251
  br i1 %258, label %272, label %260

260:                                              ; preds = %259
  %261 = load i32, ptr %68, align 4, !tbaa !11
  %262 = sext i32 %261 to i64
  %263 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %262) #8
  store i32 3, ptr %263, align 4, !tbaa !11
  %264 = load ptr, ptr %37, align 8, !tbaa !5
  %265 = load i32, ptr %68, align 4, !tbaa !11
  %266 = sext i32 %265 to i64
  %267 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %264, i64 noundef %266) #8
  %268 = load double, ptr %267, align 8, !tbaa !15
  %269 = load i32, ptr %68, align 4, !tbaa !11
  %270 = sext i32 %269 to i64
  %271 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %58, i64 noundef %270) #8
  store double %268, ptr %271, align 8, !tbaa !15
  br label %279

272:                                              ; preds = %259
  %273 = load i32, ptr %68, align 4, !tbaa !11
  %274 = sext i32 %273 to i64
  %275 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %274) #8
  store i32 0, ptr %275, align 4, !tbaa !11
  %276 = load i32, ptr %68, align 4, !tbaa !11
  %277 = sext i32 %276 to i64
  %278 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %58, i64 noundef %277) #8
  store double 0.000000e+00, ptr %278, align 8, !tbaa !15
  br label %279

279:                                              ; preds = %272, %260
  br label %280

280:                                              ; preds = %279, %250
  br label %281

281:                                              ; preds = %280, %191
  br label %282

282:                                              ; preds = %281
  %283 = load i32, ptr %68, align 4, !tbaa !11
  %284 = add nsw i32 %283, 1
  store i32 %284, ptr %68, align 4, !tbaa !11
  br label %161, !llvm.loop !17

285:                                              ; preds = %166
  call void @llvm.lifetime.start.p0(i64 4, ptr %69) #8
  store i32 0, ptr %69, align 4, !tbaa !11
  br label %286

286:                                              ; preds = %300, %285
  %287 = load i32, ptr %69, align 4, !tbaa !11
  %288 = load ptr, ptr %29, align 8, !tbaa !5
  %289 = load i32, ptr %288, align 4, !tbaa !11
  %290 = icmp slt i32 %287, %289
  br i1 %290, label %292, label %291

291:                                              ; preds = %286
  store i32 5, ptr %53, align 4
  br label %303

292:                                              ; preds = %286
  %293 = load i32, ptr %69, align 4, !tbaa !11
  %294 = sext i32 %293 to i64
  %295 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %58, i64 noundef %294) #8
  %296 = load double, ptr %295, align 8, !tbaa !15
  %297 = fcmp une double %296, 0.000000e+00
  br i1 %297, label %298, label %299

298:                                              ; preds = %292
  store i8 1, ptr %60, align 1, !tbaa !9
  store i32 5, ptr %53, align 4
  br label %303

299:                                              ; preds = %292
  br label %300

300:                                              ; preds = %299
  %301 = load i32, ptr %69, align 4, !tbaa !11
  %302 = add nsw i32 %301, 1
  store i32 %302, ptr %69, align 4, !tbaa !11
  br label %286, !llvm.loop !19

303:                                              ; preds = %298, %291
  call void @llvm.lifetime.end.p0(i64 4, ptr %69) #8
  br label %304

304:                                              ; preds = %303
  %305 = load ptr, ptr %33, align 8, !tbaa !5
  %306 = load double, ptr %305, align 8, !tbaa !15
  %307 = fcmp une double %306, 0.000000e+00
  br i1 %307, label %308, label %309

308:                                              ; preds = %304
  store i8 1, ptr %60, align 1, !tbaa !9
  br label %309

309:                                              ; preds = %308, %304
  call void @llvm.lifetime.start.p0(i64 4, ptr %70) #8
  store i32 0, ptr %70, align 4, !tbaa !11
  br label %310

310:                                              ; preds = %324, %309
  %311 = load i32, ptr %70, align 4, !tbaa !11
  %312 = load ptr, ptr %29, align 8, !tbaa !5
  %313 = load i32, ptr %312, align 4, !tbaa !11
  %314 = icmp slt i32 %311, %313
  br i1 %314, label %316, label %315

315:                                              ; preds = %310
  store i32 8, ptr %53, align 4
  br label %327

316:                                              ; preds = %310
  %317 = load i32, ptr %70, align 4, !tbaa !11
  %318 = sext i32 %317 to i64
  %319 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %59, i64 noundef %318) #8
  %320 = load double, ptr %319, align 8, !tbaa !15
  %321 = fcmp une double %320, 0.000000e+00
  br i1 %321, label %322, label %323

322:                                              ; preds = %316
  store i8 1, ptr %61, align 1, !tbaa !9
  store i32 8, ptr %53, align 4
  br label %327

323:                                              ; preds = %316
  br label %324

324:                                              ; preds = %323
  %325 = load i32, ptr %70, align 4, !tbaa !11
  %326 = add nsw i32 %325, 1
  store i32 %326, ptr %70, align 4, !tbaa !11
  br label %310, !llvm.loop !20

327:                                              ; preds = %322, %315
  call void @llvm.lifetime.end.p0(i64 4, ptr %70) #8
  br label %328

328:                                              ; preds = %327
  store i8 0, ptr %63, align 1, !tbaa !9
  %329 = load ptr, ptr %45, align 8, !tbaa !5
  %330 = call noundef i64 @_ZNKSt6vectorI12HighsVarTypeSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %329) #8
  %331 = icmp ne i64 %330, 0
  br i1 %331, label %332, label %367

332:                                              ; preds = %328
  call void @llvm.lifetime.start.p0(i64 4, ptr %71) #8
  store i32 0, ptr %71, align 4, !tbaa !11
  br label %333

333:                                              ; preds = %362, %332
  %334 = load i32, ptr %71, align 4, !tbaa !11
  %335 = load ptr, ptr %30, align 8, !tbaa !5
  %336 = load i32, ptr %335, align 4, !tbaa !11
  %337 = icmp slt i32 %334, %336
  br i1 %337, label %339, label %338

338:                                              ; preds = %333
  store i32 11, ptr %53, align 4
  br label %365

339:                                              ; preds = %333
  %340 = load ptr, ptr %45, align 8, !tbaa !5
  %341 = load i32, ptr %71, align 4, !tbaa !11
  %342 = sext i32 %341 to i64
  %343 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %340, i64 noundef %342) #8
  %344 = load i8, ptr %343, align 1, !tbaa !21
  %345 = icmp eq i8 %344, 1
  br i1 %345, label %360, label %346

346:                                              ; preds = %339
  %347 = load ptr, ptr %45, align 8, !tbaa !5
  %348 = load i32, ptr %71, align 4, !tbaa !11
  %349 = sext i32 %348 to i64
  %350 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %347, i64 noundef %349) #8
  %351 = load i8, ptr %350, align 1, !tbaa !21
  %352 = icmp eq i8 %351, 2
  br i1 %352, label %360, label %353

353:                                              ; preds = %346
  %354 = load ptr, ptr %45, align 8, !tbaa !5
  %355 = load i32, ptr %71, align 4, !tbaa !11
  %356 = sext i32 %355 to i64
  %357 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %354, i64 noundef %356) #8
  %358 = load i8, ptr %357, align 1, !tbaa !21
  %359 = icmp eq i8 %358, 3
  br i1 %359, label %360, label %361

360:                                              ; preds = %353, %346, %339
  store i8 1, ptr %63, align 1, !tbaa !9
  store i32 11, ptr %53, align 4
  br label %365

361:                                              ; preds = %353
  br label %362

362:                                              ; preds = %361
  %363 = load i32, ptr %71, align 4, !tbaa !11
  %364 = add nsw i32 %363, 1
  store i32 %364, ptr %71, align 4, !tbaa !11
  br label %333, !llvm.loop !23

365:                                              ; preds = %360, %338
  call void @llvm.lifetime.end.p0(i64 4, ptr %71) #8
  br label %366

366:                                              ; preds = %365
  br label %367

367:                                              ; preds = %366, %328
  call void @llvm.lifetime.start.p0(i64 4, ptr %72) #8
  store i32 0, ptr %72, align 4, !tbaa !11
  br label %368

368:                                              ; preds = %429, %367
  %369 = load i32, ptr %72, align 4, !tbaa !11
  %370 = load ptr, ptr %30, align 8, !tbaa !5
  %371 = load i32, ptr %370, align 4, !tbaa !11
  %372 = icmp slt i32 %369, %371
  br i1 %372, label %374, label %373

373:                                              ; preds = %368
  store i32 14, ptr %53, align 4
  br label %432

374:                                              ; preds = %368
  %375 = load ptr, ptr %35, align 8, !tbaa !5
  %376 = load i32, ptr %72, align 4, !tbaa !11
  %377 = sext i32 %376 to i64
  %378 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %375, i64 noundef %377) #8
  %379 = load double, ptr %378, align 8, !tbaa !15
  %380 = fcmp une double %379, 0.000000e+00
  br i1 %380, label %381, label %382

381:                                              ; preds = %374
  store i8 1, ptr %62, align 1, !tbaa !9
  store i32 14, ptr %53, align 4
  br label %432

382:                                              ; preds = %374
  call void @llvm.lifetime.start.p0(i64 1, ptr %73) #8
  store i8 0, ptr %73, align 1, !tbaa !9
  %383 = load i8, ptr %63, align 1, !tbaa !9, !range !13, !noundef !14
  %384 = trunc i8 %383 to i1
  br i1 %384, label %385, label %409

385:                                              ; preds = %382
  %386 = load ptr, ptr %45, align 8, !tbaa !5
  %387 = load i32, ptr %72, align 4, !tbaa !11
  %388 = sext i32 %387 to i64
  %389 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %386, i64 noundef %388) #8
  %390 = load i8, ptr %389, align 1, !tbaa !21
  %391 = icmp eq i8 %390, 1
  br i1 %391, label %406, label %392

392:                                              ; preds = %385
  %393 = load ptr, ptr %45, align 8, !tbaa !5
  %394 = load i32, ptr %72, align 4, !tbaa !11
  %395 = sext i32 %394 to i64
  %396 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %393, i64 noundef %395) #8
  %397 = load i8, ptr %396, align 1, !tbaa !21
  %398 = icmp eq i8 %397, 2
  br i1 %398, label %406, label %399

399:                                              ; preds = %392
  %400 = load ptr, ptr %45, align 8, !tbaa !5
  %401 = load i32, ptr %72, align 4, !tbaa !11
  %402 = sext i32 %401 to i64
  %403 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %400, i64 noundef %402) #8
  %404 = load i8, ptr %403, align 1, !tbaa !21
  %405 = icmp eq i8 %404, 3
  br label %406

406:                                              ; preds = %399, %392, %385
  %407 = phi i1 [ true, %392 ], [ true, %385 ], [ %405, %399 ]
  %408 = zext i1 %407 to i8
  store i8 %408, ptr %73, align 1, !tbaa !9
  br label %409

409:                                              ; preds = %406, %382
  %410 = load ptr, ptr %36, align 8, !tbaa !5
  %411 = load i32, ptr %72, align 4, !tbaa !11
  %412 = sext i32 %411 to i64
  %413 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %410, i64 noundef %412) #8
  %414 = load double, ptr %413, align 8, !tbaa !15
  %415 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %414)
          to label %416 unwind label %421

416:                                              ; preds = %409
  br i1 %415, label %417, label %420

417:                                              ; preds = %416
  %418 = load i8, ptr %73, align 1, !tbaa !9, !range !13, !noundef !14
  %419 = trunc i8 %418 to i1
  br i1 %419, label %420, label %425

420:                                              ; preds = %417, %416
  store i8 1, ptr %62, align 1, !tbaa !9
  store i32 14, ptr %53, align 4
  br label %426

421:                                              ; preds = %409
  %422 = landingpad { ptr, i32 }
          cleanup
  %423 = extractvalue { ptr, i32 } %422, 0
  store ptr %423, ptr %64, align 8
  %424 = extractvalue { ptr, i32 } %422, 1
  store i32 %424, ptr %65, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %73) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %72) #8
  br label %1320

425:                                              ; preds = %417
  store i32 0, ptr %53, align 4
  br label %426

426:                                              ; preds = %425, %420
  call void @llvm.lifetime.end.p0(i64 1, ptr %73) #8
  %427 = load i32, ptr %53, align 4
  switch i32 %427, label %432 [
    i32 0, label %428
  ]

428:                                              ; preds = %426
  br label %429

429:                                              ; preds = %428
  %430 = load i32, ptr %72, align 4, !tbaa !11
  %431 = add nsw i32 %430, 1
  store i32 %431, ptr %72, align 4, !tbaa !11
  br label %368, !llvm.loop !24

432:                                              ; preds = %426, %381, %373
  call void @llvm.lifetime.end.p0(i64 4, ptr %72) #8
  br label %433

433:                                              ; preds = %432
  %434 = load ptr, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %74) #8
  %435 = load i8, ptr %60, align 1, !tbaa !9, !range !13, !noundef !14
  %436 = trunc i8 %435 to i1
  invoke void @_Z17highsBoolToStringB5cxx11bi(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %74, i1 noundef zeroext %436, i32 noundef 2)
          to label %437 unwind label %457

437:                                              ; preds = %433
  %438 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %74) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %75) #8
  %439 = load i8, ptr %61, align 1, !tbaa !9, !range !13, !noundef !14
  %440 = trunc i8 %439 to i1
  invoke void @_Z17highsBoolToStringB5cxx11bi(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %75, i1 noundef zeroext %440, i32 noundef 2)
          to label %441 unwind label %461

441:                                              ; preds = %437
  %442 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %75) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %76) #8
  %443 = load i8, ptr %62, align 1, !tbaa !9, !range !13, !noundef !14
  %444 = trunc i8 %443 to i1
  invoke void @_Z17highsBoolToStringB5cxx11bi(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %76, i1 noundef zeroext %444, i32 noundef 2)
          to label %445 unwind label %465

445:                                              ; preds = %441
  %446 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %76) #8
  invoke void (ptr, i32, ptr, ...) @_Z11highsLogDevRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %434, i32 noundef 1, ptr noundef @.str.91, ptr noundef %438, ptr noundef %442, ptr noundef %446)
          to label %447 unwind label %469

447:                                              ; preds = %445
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %76) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %76) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %75) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %75) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %74) #8
  %448 = load ptr, ptr %52, align 8, !tbaa !5
  %449 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %2) #8
  %450 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %448, ptr noundef @.str.92, ptr noundef %449) #8
  call void @llvm.lifetime.start.p0(i64 1, ptr %77) #8
  store i8 1, ptr %77, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %78) #8
  store i32 1, ptr %78, align 4, !tbaa !11
  %451 = load ptr, ptr %32, align 8, !tbaa !5
  %452 = load i32, ptr %451, align 4, !tbaa !25
  %453 = icmp eq i32 %452, -1
  br i1 %453, label %454, label %476

454:                                              ; preds = %447
  %455 = load ptr, ptr %52, align 8, !tbaa !5
  %456 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %455, ptr noundef @.str.93) #8
  br label %476

457:                                              ; preds = %433
  %458 = landingpad { ptr, i32 }
          cleanup
  %459 = extractvalue { ptr, i32 } %458, 0
  store ptr %459, ptr %64, align 8
  %460 = extractvalue { ptr, i32 } %458, 1
  store i32 %460, ptr %65, align 4
  br label %475

461:                                              ; preds = %437
  %462 = landingpad { ptr, i32 }
          cleanup
  %463 = extractvalue { ptr, i32 } %462, 0
  store ptr %463, ptr %64, align 8
  %464 = extractvalue { ptr, i32 } %462, 1
  store i32 %464, ptr %65, align 4
  br label %474

465:                                              ; preds = %441
  %466 = landingpad { ptr, i32 }
          cleanup
  %467 = extractvalue { ptr, i32 } %466, 0
  store ptr %467, ptr %64, align 8
  %468 = extractvalue { ptr, i32 } %466, 1
  store i32 %468, ptr %65, align 4
  br label %473

469:                                              ; preds = %445
  %470 = landingpad { ptr, i32 }
          cleanup
  %471 = extractvalue { ptr, i32 } %470, 0
  store ptr %471, ptr %64, align 8
  %472 = extractvalue { ptr, i32 } %470, 1
  store i32 %472, ptr %65, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %76) #8
  br label %473

473:                                              ; preds = %469, %465
  call void @llvm.lifetime.end.p0(i64 32, ptr %76) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %75) #8
  br label %474

474:                                              ; preds = %473, %461
  call void @llvm.lifetime.end.p0(i64 32, ptr %75) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #8
  br label %475

475:                                              ; preds = %474, %457
  call void @llvm.lifetime.end.p0(i64 32, ptr %74) #8
  br label %1320

476:                                              ; preds = %454, %447
  %477 = load ptr, ptr %52, align 8, !tbaa !5
  %478 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %477, ptr noundef @.str.94) #8
  %479 = load ptr, ptr %52, align 8, !tbaa !5
  %480 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  %481 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %479, ptr noundef @.str.95, ptr noundef %480) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %79) #8
  store i32 0, ptr %79, align 4, !tbaa !11
  br label %482

482:                                              ; preds = %541, %476
  %483 = load i32, ptr %79, align 4, !tbaa !11
  %484 = load ptr, ptr %29, align 8, !tbaa !5
  %485 = load i32, ptr %484, align 4, !tbaa !11
  %486 = icmp slt i32 %483, %485
  br i1 %486, label %488, label %487

487:                                              ; preds = %482
  store i32 17, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %79) #8
  br label %544

488:                                              ; preds = %482
  %489 = load i32, ptr %79, align 4, !tbaa !11
  %490 = sext i32 %489 to i64
  %491 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %490) #8
  %492 = load i32, ptr %491, align 4, !tbaa !11
  %493 = icmp eq i32 %492, 1
  br i1 %493, label %494, label %502

494:                                              ; preds = %488
  %495 = load ptr, ptr %52, align 8, !tbaa !5
  %496 = load ptr, ptr %48, align 8, !tbaa !5
  %497 = load i32, ptr %79, align 4, !tbaa !11
  %498 = sext i32 %497 to i64
  %499 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %496, i64 noundef %498) #8
  %500 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %499) #8
  %501 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %495, ptr noundef @.str.96, ptr noundef %500) #8
  br label %540

502:                                              ; preds = %488
  %503 = load i32, ptr %79, align 4, !tbaa !11
  %504 = sext i32 %503 to i64
  %505 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %504) #8
  %506 = load i32, ptr %505, align 4, !tbaa !11
  %507 = icmp eq i32 %506, 3
  br i1 %507, label %508, label %516

508:                                              ; preds = %502
  %509 = load ptr, ptr %52, align 8, !tbaa !5
  %510 = load ptr, ptr %48, align 8, !tbaa !5
  %511 = load i32, ptr %79, align 4, !tbaa !11
  %512 = sext i32 %511 to i64
  %513 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %510, i64 noundef %512) #8
  %514 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %513) #8
  %515 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %509, ptr noundef @.str.97, ptr noundef %514) #8
  br label %539

516:                                              ; preds = %502
  %517 = load i32, ptr %79, align 4, !tbaa !11
  %518 = sext i32 %517 to i64
  %519 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %518) #8
  %520 = load i32, ptr %519, align 4, !tbaa !11
  %521 = icmp eq i32 %520, 2
  br i1 %521, label %522, label %530

522:                                              ; preds = %516
  %523 = load ptr, ptr %52, align 8, !tbaa !5
  %524 = load ptr, ptr %48, align 8, !tbaa !5
  %525 = load i32, ptr %79, align 4, !tbaa !11
  %526 = sext i32 %525 to i64
  %527 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %524, i64 noundef %526) #8
  %528 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %527) #8
  %529 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %523, ptr noundef @.str.98, ptr noundef %528) #8
  br label %538

530:                                              ; preds = %516
  %531 = load ptr, ptr %52, align 8, !tbaa !5
  %532 = load ptr, ptr %48, align 8, !tbaa !5
  %533 = load i32, ptr %79, align 4, !tbaa !11
  %534 = sext i32 %533 to i64
  %535 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %532, i64 noundef %534) #8
  %536 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %535) #8
  %537 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %531, ptr noundef @.str.95, ptr noundef %536) #8
  br label %538

538:                                              ; preds = %530, %522
  br label %539

539:                                              ; preds = %538, %508
  br label %540

540:                                              ; preds = %539, %494
  br label %541

541:                                              ; preds = %540
  %542 = load i32, ptr %79, align 4, !tbaa !11
  %543 = add nsw i32 %542, 1
  store i32 %543, ptr %79, align 4, !tbaa !11
  br label %482, !llvm.loop !27

544:                                              ; preds = %487
  call void @llvm.lifetime.start.p0(i64 1, ptr %80) #8
  store i8 0, ptr %80, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %81) #8
  store i32 0, ptr %81, align 4, !tbaa !11
  %545 = load ptr, ptr %52, align 8, !tbaa !5
  %546 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %545, ptr noundef @.str.99) #8
  call void @llvm.lifetime.start.p0(i64 1, ptr %82) #8
  store i8 1, ptr %82, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %83) #8
  store i32 0, ptr %83, align 4, !tbaa !11
  br label %547

547:                                              ; preds = %694, %544
  %548 = load i32, ptr %83, align 4, !tbaa !11
  %549 = load ptr, ptr %30, align 8, !tbaa !5
  %550 = load i32, ptr %549, align 4, !tbaa !11
  %551 = icmp slt i32 %548, %550
  br i1 %551, label %553, label %552

552:                                              ; preds = %547
  store i32 20, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %83) #8
  br label %697

553:                                              ; preds = %547
  call void @llvm.lifetime.start.p0(i64 1, ptr %84) #8
  %554 = load ptr, ptr %34, align 8, !tbaa !5
  %555 = load i32, ptr %83, align 4, !tbaa !11
  %556 = sext i32 %555 to i64
  %557 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %554, i64 noundef %556) #8
  %558 = load double, ptr %557, align 8, !tbaa !15
  %559 = fcmp une double %558, 0.000000e+00
  br i1 %559, label %573, label %560

560:                                              ; preds = %553
  %561 = load ptr, ptr %39, align 8, !tbaa !5
  %562 = load i32, ptr %83, align 4, !tbaa !11
  %563 = sext i32 %562 to i64
  %564 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %561, i64 noundef %563) #8
  %565 = load i32, ptr %564, align 4, !tbaa !11
  %566 = load ptr, ptr %39, align 8, !tbaa !5
  %567 = load i32, ptr %83, align 4, !tbaa !11
  %568 = add nsw i32 %567, 1
  %569 = sext i32 %568 to i64
  %570 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %566, i64 noundef %569) #8
  %571 = load i32, ptr %570, align 4, !tbaa !11
  %572 = icmp eq i32 %565, %571
  br label %573

573:                                              ; preds = %560, %553
  %574 = phi i1 [ false, %553 ], [ %572, %560 ]
  %575 = zext i1 %574 to i8
  store i8 %575, ptr %84, align 1, !tbaa !9
  %576 = load i8, ptr %84, align 1, !tbaa !9, !range !13, !noundef !14
  %577 = trunc i8 %576 to i1
  br i1 %577, label %578, label %589

578:                                              ; preds = %573
  %579 = load i32, ptr %50, align 4, !tbaa !11
  %580 = add nsw i32 %579, 1
  store i32 %580, ptr %50, align 4, !tbaa !11
  %581 = load ptr, ptr %52, align 8, !tbaa !5
  %582 = load ptr, ptr %47, align 8, !tbaa !5
  %583 = load i32, ptr %83, align 4, !tbaa !11
  %584 = sext i32 %583 to i64
  %585 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %582, i64 noundef %584) #8
  %586 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %585) #8
  %587 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  %588 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %581, ptr noundef @.str.100, ptr noundef %586, ptr noundef %587, double noundef 0.000000e+00) #8
  store i32 22, ptr %53, align 4
  br label %691

589:                                              ; preds = %573
  %590 = load i8, ptr %63, align 1, !tbaa !9, !range !13, !noundef !14
  %591 = trunc i8 %590 to i1
  br i1 %591, label %592, label %624

592:                                              ; preds = %589
  %593 = load ptr, ptr %45, align 8, !tbaa !5
  %594 = load i32, ptr %83, align 4, !tbaa !11
  %595 = sext i32 %594 to i64
  %596 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %593, i64 noundef %595) #8
  %597 = load i8, ptr %596, align 1, !tbaa !21
  %598 = icmp eq i8 %597, 1
  br i1 %598, label %599, label %607

599:                                              ; preds = %592
  %600 = load i8, ptr %80, align 1, !tbaa !9, !range !13, !noundef !14
  %601 = trunc i8 %600 to i1
  br i1 %601, label %607, label %602

602:                                              ; preds = %599
  %603 = load ptr, ptr %52, align 8, !tbaa !5
  %604 = load i32, ptr %81, align 4, !tbaa !11
  %605 = add nsw i32 %604, 1
  store i32 %605, ptr %81, align 4, !tbaa !11
  %606 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %603, ptr noundef @.str.101, i32 noundef %604) #8
  store i8 1, ptr %80, align 1, !tbaa !9
  br label %623

607:                                              ; preds = %599, %592
  %608 = load ptr, ptr %45, align 8, !tbaa !5
  %609 = load i32, ptr %83, align 4, !tbaa !11
  %610 = sext i32 %609 to i64
  %611 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %608, i64 noundef %610) #8
  %612 = load i8, ptr %611, align 1, !tbaa !21
  %613 = icmp ne i8 %612, 1
  br i1 %613, label %614, label %622

614:                                              ; preds = %607
  %615 = load i8, ptr %80, align 1, !tbaa !9, !range !13, !noundef !14
  %616 = trunc i8 %615 to i1
  br i1 %616, label %617, label %622

617:                                              ; preds = %614
  %618 = load ptr, ptr %52, align 8, !tbaa !5
  %619 = load i32, ptr %81, align 4, !tbaa !11
  %620 = add nsw i32 %619, 1
  store i32 %620, ptr %81, align 4, !tbaa !11
  %621 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %618, ptr noundef @.str.102, i32 noundef %619) #8
  store i8 0, ptr %80, align 1, !tbaa !9
  br label %622

622:                                              ; preds = %617, %614, %607
  br label %623

623:                                              ; preds = %622, %602
  br label %624

624:                                              ; preds = %623, %589
  %625 = load ptr, ptr %34, align 8, !tbaa !5
  %626 = load i32, ptr %83, align 4, !tbaa !11
  %627 = sext i32 %626 to i64
  %628 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %625, i64 noundef %627) #8
  %629 = load double, ptr %628, align 8, !tbaa !15
  %630 = fcmp une double %629, 0.000000e+00
  br i1 %630, label %631, label %647

631:                                              ; preds = %624
  call void @llvm.lifetime.start.p0(i64 8, ptr %85) #8
  %632 = load ptr, ptr %34, align 8, !tbaa !5
  %633 = load i32, ptr %83, align 4, !tbaa !11
  %634 = sext i32 %633 to i64
  %635 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %632, i64 noundef %634) #8
  %636 = load double, ptr %635, align 8, !tbaa !15
  %637 = fmul double 1.000000e+00, %636
  store double %637, ptr %85, align 8, !tbaa !15
  %638 = load ptr, ptr %52, align 8, !tbaa !5
  %639 = load ptr, ptr %47, align 8, !tbaa !5
  %640 = load i32, ptr %83, align 4, !tbaa !11
  %641 = sext i32 %640 to i64
  %642 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %639, i64 noundef %641) #8
  %643 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %642) #8
  %644 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  %645 = load double, ptr %85, align 8, !tbaa !15
  %646 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %638, ptr noundef @.str.100, ptr noundef %643, ptr noundef %644, double noundef %645) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #8
  br label %647

647:                                              ; preds = %631, %624
  call void @llvm.lifetime.start.p0(i64 4, ptr %86) #8
  %648 = load ptr, ptr %39, align 8, !tbaa !5
  %649 = load i32, ptr %83, align 4, !tbaa !11
  %650 = sext i32 %649 to i64
  %651 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %648, i64 noundef %650) #8
  %652 = load i32, ptr %651, align 4, !tbaa !11
  store i32 %652, ptr %86, align 4, !tbaa !11
  br label %653

653:                                              ; preds = %687, %647
  %654 = load i32, ptr %86, align 4, !tbaa !11
  %655 = load ptr, ptr %39, align 8, !tbaa !5
  %656 = load i32, ptr %83, align 4, !tbaa !11
  %657 = add nsw i32 %656, 1
  %658 = sext i32 %657 to i64
  %659 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %655, i64 noundef %658) #8
  %660 = load i32, ptr %659, align 4, !tbaa !11
  %661 = icmp slt i32 %654, %660
  br i1 %661, label %663, label %662

662:                                              ; preds = %653
  store i32 23, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %86) #8
  br label %690

663:                                              ; preds = %653
  call void @llvm.lifetime.start.p0(i64 8, ptr %87) #8
  %664 = load ptr, ptr %41, align 8, !tbaa !5
  %665 = load i32, ptr %86, align 4, !tbaa !11
  %666 = sext i32 %665 to i64
  %667 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %664, i64 noundef %666) #8
  %668 = load double, ptr %667, align 8, !tbaa !15
  store double %668, ptr %87, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %88) #8
  %669 = load ptr, ptr %40, align 8, !tbaa !5
  %670 = load i32, ptr %86, align 4, !tbaa !11
  %671 = sext i32 %670 to i64
  %672 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %669, i64 noundef %671) #8
  %673 = load i32, ptr %672, align 4, !tbaa !11
  store i32 %673, ptr %88, align 4, !tbaa !11
  %674 = load ptr, ptr %52, align 8, !tbaa !5
  %675 = load ptr, ptr %47, align 8, !tbaa !5
  %676 = load i32, ptr %83, align 4, !tbaa !11
  %677 = sext i32 %676 to i64
  %678 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %675, i64 noundef %677) #8
  %679 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %678) #8
  %680 = load ptr, ptr %48, align 8, !tbaa !5
  %681 = load i32, ptr %88, align 4, !tbaa !11
  %682 = sext i32 %681 to i64
  %683 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %680, i64 noundef %682) #8
  %684 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %683) #8
  %685 = load double, ptr %87, align 8, !tbaa !15
  %686 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %674, ptr noundef @.str.100, ptr noundef %679, ptr noundef %684, double noundef %685) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %88) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %87) #8
  br label %687

687:                                              ; preds = %663
  %688 = load i32, ptr %86, align 4, !tbaa !11
  %689 = add nsw i32 %688, 1
  store i32 %689, ptr %86, align 4, !tbaa !11
  br label %653, !llvm.loop !28

690:                                              ; preds = %662
  store i32 0, ptr %53, align 4
  br label %691

691:                                              ; preds = %690, %578
  call void @llvm.lifetime.end.p0(i64 1, ptr %84) #8
  %692 = load i32, ptr %53, align 4
  switch i32 %692, label %1329 [
    i32 0, label %693
    i32 22, label %694
  ]

693:                                              ; preds = %691
  br label %694

694:                                              ; preds = %693, %691
  %695 = load i32, ptr %83, align 4, !tbaa !11
  %696 = add nsw i32 %695, 1
  store i32 %696, ptr %83, align 4, !tbaa !11
  br label %547, !llvm.loop !29

697:                                              ; preds = %552
  %698 = load i8, ptr %80, align 1, !tbaa !9, !range !13, !noundef !14
  %699 = trunc i8 %698 to i1
  br i1 %699, label %700, label %705

700:                                              ; preds = %697
  %701 = load ptr, ptr %52, align 8, !tbaa !5
  %702 = load i32, ptr %81, align 4, !tbaa !11
  %703 = add nsw i32 %702, 1
  store i32 %703, ptr %81, align 4, !tbaa !11
  %704 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %701, ptr noundef @.str.102, i32 noundef %702) #8
  br label %705

705:                                              ; preds = %700, %697
  store i8 1, ptr %60, align 1, !tbaa !9
  %706 = load i8, ptr %60, align 1, !tbaa !9, !range !13, !noundef !14
  %707 = trunc i8 %706 to i1
  br i1 %707, label %708, label %750

708:                                              ; preds = %705
  %709 = load ptr, ptr %52, align 8, !tbaa !5
  %710 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %709, ptr noundef @.str.103) #8
  %711 = load ptr, ptr %33, align 8, !tbaa !5
  %712 = load double, ptr %711, align 8, !tbaa !15
  %713 = fcmp une double %712, 0.000000e+00
  br i1 %713, label %714, label %722

714:                                              ; preds = %708
  call void @llvm.lifetime.start.p0(i64 8, ptr %89) #8
  %715 = load ptr, ptr %33, align 8, !tbaa !5
  %716 = load double, ptr %715, align 8, !tbaa !15
  %717 = fmul double -1.000000e+00, %716
  store double %717, ptr %89, align 8, !tbaa !15
  %718 = load ptr, ptr %52, align 8, !tbaa !5
  %719 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  %720 = load double, ptr %89, align 8, !tbaa !15
  %721 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %718, ptr noundef @.str.104, ptr noundef %719, double noundef %720) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %89) #8
  br label %722

722:                                              ; preds = %714, %708
  call void @llvm.lifetime.start.p0(i64 4, ptr %90) #8
  store i32 0, ptr %90, align 4, !tbaa !11
  br label %723

723:                                              ; preds = %746, %722
  %724 = load i32, ptr %90, align 4, !tbaa !11
  %725 = load ptr, ptr %29, align 8, !tbaa !5
  %726 = load i32, ptr %725, align 4, !tbaa !11
  %727 = icmp slt i32 %724, %726
  br i1 %727, label %729, label %728

728:                                              ; preds = %723
  store i32 26, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %90) #8
  br label %749

729:                                              ; preds = %723
  call void @llvm.lifetime.start.p0(i64 8, ptr %91) #8
  %730 = load i32, ptr %90, align 4, !tbaa !11
  %731 = sext i32 %730 to i64
  %732 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %58, i64 noundef %731) #8
  %733 = load double, ptr %732, align 8, !tbaa !15
  store double %733, ptr %91, align 8, !tbaa !15
  %734 = load double, ptr %91, align 8, !tbaa !15
  %735 = fcmp une double %734, 0.000000e+00
  br i1 %735, label %736, label %745

736:                                              ; preds = %729
  %737 = load ptr, ptr %52, align 8, !tbaa !5
  %738 = load ptr, ptr %48, align 8, !tbaa !5
  %739 = load i32, ptr %90, align 4, !tbaa !11
  %740 = sext i32 %739 to i64
  %741 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %738, i64 noundef %740) #8
  %742 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %741) #8
  %743 = load double, ptr %91, align 8, !tbaa !15
  %744 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %737, ptr noundef @.str.104, ptr noundef %742, double noundef %743) #8
  br label %745

745:                                              ; preds = %736, %729
  call void @llvm.lifetime.end.p0(i64 8, ptr %91) #8
  br label %746

746:                                              ; preds = %745
  %747 = load i32, ptr %90, align 4, !tbaa !11
  %748 = add nsw i32 %747, 1
  store i32 %748, ptr %90, align 4, !tbaa !11
  br label %723, !llvm.loop !30

749:                                              ; preds = %728
  br label %750

750:                                              ; preds = %749, %705
  %751 = load i8, ptr %61, align 1, !tbaa !9, !range !13, !noundef !14
  %752 = trunc i8 %751 to i1
  br i1 %752, label %753, label %783

753:                                              ; preds = %750
  %754 = load ptr, ptr %52, align 8, !tbaa !5
  %755 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %754, ptr noundef @.str.105) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %92) #8
  store i32 0, ptr %92, align 4, !tbaa !11
  br label %756

756:                                              ; preds = %779, %753
  %757 = load i32, ptr %92, align 4, !tbaa !11
  %758 = load ptr, ptr %29, align 8, !tbaa !5
  %759 = load i32, ptr %758, align 4, !tbaa !11
  %760 = icmp slt i32 %757, %759
  br i1 %760, label %762, label %761

761:                                              ; preds = %756
  store i32 29, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %92) #8
  br label %782

762:                                              ; preds = %756
  call void @llvm.lifetime.start.p0(i64 8, ptr %93) #8
  %763 = load i32, ptr %92, align 4, !tbaa !11
  %764 = sext i32 %763 to i64
  %765 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %59, i64 noundef %764) #8
  %766 = load double, ptr %765, align 8, !tbaa !15
  store double %766, ptr %93, align 8, !tbaa !15
  %767 = load double, ptr %93, align 8, !tbaa !15
  %768 = fcmp une double %767, 0.000000e+00
  br i1 %768, label %769, label %778

769:                                              ; preds = %762
  %770 = load ptr, ptr %52, align 8, !tbaa !5
  %771 = load ptr, ptr %48, align 8, !tbaa !5
  %772 = load i32, ptr %92, align 4, !tbaa !11
  %773 = sext i32 %772 to i64
  %774 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %771, i64 noundef %773) #8
  %775 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %774) #8
  %776 = load double, ptr %93, align 8, !tbaa !15
  %777 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %770, ptr noundef @.str.106, ptr noundef %775, double noundef %776) #8
  br label %778

778:                                              ; preds = %769, %762
  call void @llvm.lifetime.end.p0(i64 8, ptr %93) #8
  br label %779

779:                                              ; preds = %778
  %780 = load i32, ptr %92, align 4, !tbaa !11
  %781 = add nsw i32 %780, 1
  store i32 %781, ptr %92, align 4, !tbaa !11
  br label %756, !llvm.loop !31

782:                                              ; preds = %761
  br label %783

783:                                              ; preds = %782, %750
  %784 = load i8, ptr %62, align 1, !tbaa !9, !range !13, !noundef !14
  %785 = trunc i8 %784 to i1
  br i1 %785, label %786, label %1186

786:                                              ; preds = %783
  %787 = load ptr, ptr %52, align 8, !tbaa !5
  %788 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %787, ptr noundef @.str.107) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %94) #8
  store i32 0, ptr %94, align 4, !tbaa !11
  br label %789

789:                                              ; preds = %1181, %786
  %790 = load i32, ptr %94, align 4, !tbaa !11
  %791 = load ptr, ptr %30, align 8, !tbaa !5
  %792 = load i32, ptr %791, align 4, !tbaa !11
  %793 = icmp slt i32 %790, %792
  br i1 %793, label %795, label %794

794:                                              ; preds = %789
  store i32 32, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %94) #8
  br label %1185

795:                                              ; preds = %789
  call void @llvm.lifetime.start.p0(i64 8, ptr %95) #8
  %796 = load ptr, ptr %35, align 8, !tbaa !5
  %797 = load i32, ptr %94, align 4, !tbaa !11
  %798 = sext i32 %797 to i64
  %799 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %796, i64 noundef %798) #8
  %800 = load double, ptr %799, align 8, !tbaa !15
  store double %800, ptr %95, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %96) #8
  %801 = load ptr, ptr %36, align 8, !tbaa !5
  %802 = load i32, ptr %94, align 4, !tbaa !11
  %803 = sext i32 %802 to i64
  %804 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %801, i64 noundef %803) #8
  %805 = load double, ptr %804, align 8, !tbaa !15
  store double %805, ptr %96, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %97) #8
  store i8 0, ptr %97, align 1, !tbaa !9
  %806 = load i8, ptr %63, align 1, !tbaa !9, !range !13, !noundef !14
  %807 = trunc i8 %806 to i1
  br i1 %807, label %808, label %832

808:                                              ; preds = %795
  %809 = load ptr, ptr %45, align 8, !tbaa !5
  %810 = load i32, ptr %94, align 4, !tbaa !11
  %811 = sext i32 %810 to i64
  %812 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %809, i64 noundef %811) #8
  %813 = load i8, ptr %812, align 1, !tbaa !21
  %814 = icmp eq i8 %813, 1
  br i1 %814, label %829, label %815

815:                                              ; preds = %808
  %816 = load ptr, ptr %45, align 8, !tbaa !5
  %817 = load i32, ptr %94, align 4, !tbaa !11
  %818 = sext i32 %817 to i64
  %819 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %816, i64 noundef %818) #8
  %820 = load i8, ptr %819, align 1, !tbaa !21
  %821 = icmp eq i8 %820, 2
  br i1 %821, label %829, label %822

822:                                              ; preds = %815
  %823 = load ptr, ptr %45, align 8, !tbaa !5
  %824 = load i32, ptr %94, align 4, !tbaa !11
  %825 = sext i32 %824 to i64
  %826 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %823, i64 noundef %825) #8
  %827 = load i8, ptr %826, align 1, !tbaa !21
  %828 = icmp eq i8 %827, 3
  br label %829

829:                                              ; preds = %822, %815, %808
  %830 = phi i1 [ true, %815 ], [ true, %808 ], [ %828, %822 ]
  %831 = zext i1 %830 to i8
  store i8 %831, ptr %97, align 1, !tbaa !9
  br label %832

832:                                              ; preds = %829, %795
  call void @llvm.lifetime.start.p0(i64 1, ptr %98) #8
  %833 = load ptr, ptr %34, align 8, !tbaa !5
  %834 = load i32, ptr %94, align 4, !tbaa !11
  %835 = sext i32 %834 to i64
  %836 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %833, i64 noundef %835) #8
  %837 = load double, ptr %836, align 8, !tbaa !15
  %838 = fcmp une double %837, 0.000000e+00
  br i1 %838, label %852, label %839

839:                                              ; preds = %832
  %840 = load ptr, ptr %39, align 8, !tbaa !5
  %841 = load i32, ptr %94, align 4, !tbaa !11
  %842 = sext i32 %841 to i64
  %843 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %840, i64 noundef %842) #8
  %844 = load i32, ptr %843, align 4, !tbaa !11
  %845 = load ptr, ptr %39, align 8, !tbaa !5
  %846 = load i32, ptr %94, align 4, !tbaa !11
  %847 = add nsw i32 %846, 1
  %848 = sext i32 %847 to i64
  %849 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %845, i64 noundef %848) #8
  %850 = load i32, ptr %849, align 4, !tbaa !11
  %851 = icmp eq i32 %844, %850
  br label %852

852:                                              ; preds = %839, %832
  %853 = phi i1 [ false, %832 ], [ %851, %839 ]
  %854 = zext i1 %853 to i8
  store i8 %854, ptr %98, align 1, !tbaa !9
  %855 = load i8, ptr %98, align 1, !tbaa !9, !range !13, !noundef !14
  %856 = trunc i8 %855 to i1
  br i1 %856, label %857, label %872

857:                                              ; preds = %852
  %858 = load double, ptr %96, align 8, !tbaa !15
  %859 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %858)
          to label %860 unwind label %867

860:                                              ; preds = %857
  br i1 %859, label %861, label %864

861:                                              ; preds = %860
  %862 = load double, ptr %95, align 8, !tbaa !15
  %863 = fcmp une double %862, 0.000000e+00
  br i1 %863, label %864, label %871

864:                                              ; preds = %861, %860
  %865 = load i32, ptr %51, align 4, !tbaa !11
  %866 = add nsw i32 %865, 1
  store i32 %866, ptr %51, align 4, !tbaa !11
  br label %871

867:                                              ; preds = %1164, %1138, %1023, %1001, %993, %890, %885, %857
  %868 = landingpad { ptr, i32 }
          cleanup
  %869 = extractvalue { ptr, i32 } %868, 0
  store ptr %869, ptr %64, align 8
  %870 = extractvalue { ptr, i32 } %868, 1
  store i32 %870, ptr %65, align 4
  br label %1184

871:                                              ; preds = %864, %861
  br label %872

872:                                              ; preds = %871, %852
  %873 = load double, ptr %95, align 8, !tbaa !15
  %874 = load double, ptr %96, align 8, !tbaa !15
  %875 = fcmp oeq double %873, %874
  br i1 %875, label %876, label %885

876:                                              ; preds = %872
  %877 = load ptr, ptr %52, align 8, !tbaa !5
  %878 = load ptr, ptr %47, align 8, !tbaa !5
  %879 = load i32, ptr %94, align 4, !tbaa !11
  %880 = sext i32 %879 to i64
  %881 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %878, i64 noundef %880) #8
  %882 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %881) #8
  %883 = load double, ptr %95, align 8, !tbaa !15
  %884 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %877, ptr noundef @.str.108, ptr noundef %882, double noundef %883) #8
  br label %1180

885:                                              ; preds = %872
  %886 = load double, ptr %95, align 8, !tbaa !15
  %887 = fneg double %886
  %888 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %887)
          to label %889 unwind label %867

889:                                              ; preds = %885
  br i1 %888, label %890, label %902

890:                                              ; preds = %889
  %891 = load double, ptr %96, align 8, !tbaa !15
  %892 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %891)
          to label %893 unwind label %867

893:                                              ; preds = %890
  br i1 %892, label %894, label %902

894:                                              ; preds = %893
  %895 = load ptr, ptr %52, align 8, !tbaa !5
  %896 = load ptr, ptr %47, align 8, !tbaa !5
  %897 = load i32, ptr %94, align 4, !tbaa !11
  %898 = sext i32 %897 to i64
  %899 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %896, i64 noundef %898) #8
  %900 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %899) #8
  %901 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %895, ptr noundef @.str.109, ptr noundef %900) #8
  br label %1179

902:                                              ; preds = %893, %889
  %903 = load i8, ptr %97, align 1, !tbaa !9, !range !13, !noundef !14
  %904 = trunc i8 %903 to i1
  br i1 %904, label %905, label %1138

905:                                              ; preds = %902
  %906 = load ptr, ptr %45, align 8, !tbaa !5
  %907 = load i32, ptr %94, align 4, !tbaa !11
  %908 = sext i32 %907 to i64
  %909 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %906, i64 noundef %908) #8
  %910 = load i8, ptr %909, align 1, !tbaa !21
  %911 = icmp eq i8 %910, 1
  br i1 %911, label %919, label %912

912:                                              ; preds = %905
  %913 = load ptr, ptr %45, align 8, !tbaa !5
  %914 = load i32, ptr %94, align 4, !tbaa !11
  %915 = sext i32 %914 to i64
  %916 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %913, i64 noundef %915) #8
  %917 = load i8, ptr %916, align 1, !tbaa !21
  %918 = icmp eq i8 %917, 3
  br i1 %918, label %919, label %972

919:                                              ; preds = %912, %905
  %920 = load double, ptr %95, align 8, !tbaa !15
  %921 = fcmp ogt double %920, 0xFFF0000000000000
  br i1 %921, label %922, label %945

922:                                              ; preds = %919
  call void @llvm.lifetime.start.p0(i64 4, ptr %99) #8
  %923 = load double, ptr %95, align 8, !tbaa !15
  %924 = fptosi double %923 to i32
  store i32 %924, ptr %99, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %100) #8
  %925 = load double, ptr %95, align 8, !tbaa !15
  %926 = load i32, ptr %99, align 4, !tbaa !11
  %927 = sitofp i32 %926 to double
  %928 = fsub double %925, %927
  store double %928, ptr %100, align 8, !tbaa !15
  %929 = load double, ptr %100, align 8, !tbaa !15
  %930 = fcmp une double %929, 0.000000e+00
  br i1 %930, label %931, label %944

931:                                              ; preds = %922
  %932 = load ptr, ptr %26, align 8, !tbaa !5
  %933 = load ptr, ptr %47, align 8, !tbaa !5
  %934 = load i32, ptr %94, align 4, !tbaa !11
  %935 = sext i32 %934 to i64
  %936 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %933, i64 noundef %935) #8
  %937 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %936) #8
  %938 = load double, ptr %95, align 8, !tbaa !15
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %932, i32 noundef 4, ptr noundef @.str.110, ptr noundef %937, double noundef %938)
          to label %939 unwind label %940

939:                                              ; preds = %931
  br label %944

940:                                              ; preds = %931
  %941 = landingpad { ptr, i32 }
          cleanup
  %942 = extractvalue { ptr, i32 } %941, 0
  store ptr %942, ptr %64, align 8
  %943 = extractvalue { ptr, i32 } %941, 1
  store i32 %943, ptr %65, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %100) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %99) #8
  br label %1184

944:                                              ; preds = %939, %922
  call void @llvm.lifetime.end.p0(i64 8, ptr %100) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %99) #8
  br label %945

945:                                              ; preds = %944, %919
  %946 = load double, ptr %96, align 8, !tbaa !15
  %947 = fcmp olt double %946, 0x7FF0000000000000
  br i1 %947, label %948, label %971

948:                                              ; preds = %945
  call void @llvm.lifetime.start.p0(i64 4, ptr %101) #8
  %949 = load double, ptr %96, align 8, !tbaa !15
  %950 = fptosi double %949 to i32
  store i32 %950, ptr %101, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %102) #8
  %951 = load double, ptr %96, align 8, !tbaa !15
  %952 = load i32, ptr %101, align 4, !tbaa !11
  %953 = sitofp i32 %952 to double
  %954 = fsub double %951, %953
  store double %954, ptr %102, align 8, !tbaa !15
  %955 = load double, ptr %102, align 8, !tbaa !15
  %956 = fcmp une double %955, 0.000000e+00
  br i1 %956, label %957, label %970

957:                                              ; preds = %948
  %958 = load ptr, ptr %26, align 8, !tbaa !5
  %959 = load ptr, ptr %47, align 8, !tbaa !5
  %960 = load i32, ptr %94, align 4, !tbaa !11
  %961 = sext i32 %960 to i64
  %962 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %959, i64 noundef %961) #8
  %963 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %962) #8
  %964 = load double, ptr %96, align 8, !tbaa !15
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %958, i32 noundef 4, ptr noundef @.str.111, ptr noundef %963, double noundef %964)
          to label %965 unwind label %966

965:                                              ; preds = %957
  br label %970

966:                                              ; preds = %957
  %967 = landingpad { ptr, i32 }
          cleanup
  %968 = extractvalue { ptr, i32 } %967, 0
  store ptr %968, ptr %64, align 8
  %969 = extractvalue { ptr, i32 } %967, 1
  store i32 %969, ptr %65, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %102) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %101) #8
  br label %1184

970:                                              ; preds = %965, %948
  call void @llvm.lifetime.end.p0(i64 8, ptr %102) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %101) #8
  br label %971

971:                                              ; preds = %970, %945
  br label %972

972:                                              ; preds = %971, %912
  %973 = load ptr, ptr %45, align 8, !tbaa !5
  %974 = load i32, ptr %94, align 4, !tbaa !11
  %975 = sext i32 %974 to i64
  %976 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %973, i64 noundef %975) #8
  %977 = load i8, ptr %976, align 1, !tbaa !21
  %978 = icmp eq i8 %977, 1
  br i1 %978, label %979, label %1038

979:                                              ; preds = %972
  %980 = load double, ptr %95, align 8, !tbaa !15
  %981 = fcmp oeq double %980, 0.000000e+00
  br i1 %981, label %982, label %993

982:                                              ; preds = %979
  %983 = load double, ptr %96, align 8, !tbaa !15
  %984 = fcmp oeq double %983, 1.000000e+00
  br i1 %984, label %985, label %993

985:                                              ; preds = %982
  %986 = load ptr, ptr %52, align 8, !tbaa !5
  %987 = load ptr, ptr %47, align 8, !tbaa !5
  %988 = load i32, ptr %94, align 4, !tbaa !11
  %989 = sext i32 %988 to i64
  %990 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %987, i64 noundef %989) #8
  %991 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %990) #8
  %992 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %986, ptr noundef @.str.112, ptr noundef %991) #8
  br label %1037

993:                                              ; preds = %982, %979
  %994 = load double, ptr %95, align 8, !tbaa !15
  %995 = fneg double %994
  %996 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %995)
          to label %997 unwind label %867

997:                                              ; preds = %993
  br i1 %996, label %1015, label %998

998:                                              ; preds = %997
  %999 = load double, ptr %95, align 8, !tbaa !15
  %1000 = fcmp une double %999, 0.000000e+00
  br i1 %1000, label %1005, label %1001

1001:                                             ; preds = %998
  %1002 = load double, ptr %96, align 8, !tbaa !15
  %1003 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %1002)
          to label %1004 unwind label %867

1004:                                             ; preds = %1001
  br i1 %1003, label %1005, label %1014

1005:                                             ; preds = %1004, %998
  %1006 = load ptr, ptr %52, align 8, !tbaa !5
  %1007 = load ptr, ptr %47, align 8, !tbaa !5
  %1008 = load i32, ptr %94, align 4, !tbaa !11
  %1009 = sext i32 %1008 to i64
  %1010 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1007, i64 noundef %1009) #8
  %1011 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1010) #8
  %1012 = load double, ptr %95, align 8, !tbaa !15
  %1013 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1006, ptr noundef @.str.113, ptr noundef %1011, double noundef %1012) #8
  br label %1014

1014:                                             ; preds = %1005, %1004
  br label %1023

1015:                                             ; preds = %997
  %1016 = load ptr, ptr %52, align 8, !tbaa !5
  %1017 = load ptr, ptr %47, align 8, !tbaa !5
  %1018 = load i32, ptr %94, align 4, !tbaa !11
  %1019 = sext i32 %1018 to i64
  %1020 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1017, i64 noundef %1019) #8
  %1021 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1020) #8
  %1022 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1016, ptr noundef @.str.114, ptr noundef %1021) #8
  br label %1023

1023:                                             ; preds = %1015, %1014
  %1024 = load double, ptr %96, align 8, !tbaa !15
  %1025 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %1024)
          to label %1026 unwind label %867

1026:                                             ; preds = %1023
  br i1 %1025, label %1036, label %1027

1027:                                             ; preds = %1026
  %1028 = load ptr, ptr %52, align 8, !tbaa !5
  %1029 = load ptr, ptr %47, align 8, !tbaa !5
  %1030 = load i32, ptr %94, align 4, !tbaa !11
  %1031 = sext i32 %1030 to i64
  %1032 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1029, i64 noundef %1031) #8
  %1033 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1032) #8
  %1034 = load double, ptr %96, align 8, !tbaa !15
  %1035 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1028, ptr noundef @.str.115, ptr noundef %1033, double noundef %1034) #8
  br label %1036

1036:                                             ; preds = %1027, %1026
  br label %1037

1037:                                             ; preds = %1036, %985
  br label %1137

1038:                                             ; preds = %972
  %1039 = load ptr, ptr %45, align 8, !tbaa !5
  %1040 = load i32, ptr %94, align 4, !tbaa !11
  %1041 = sext i32 %1040 to i64
  %1042 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1039, i64 noundef %1041) #8
  %1043 = load i8, ptr %1042, align 1, !tbaa !21
  %1044 = icmp eq i8 %1043, 3
  br i1 %1044, label %1052, label %1045

1045:                                             ; preds = %1038
  %1046 = load ptr, ptr %45, align 8, !tbaa !5
  %1047 = load i32, ptr %94, align 4, !tbaa !11
  %1048 = sext i32 %1047 to i64
  %1049 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1046, i64 noundef %1048) #8
  %1050 = load i8, ptr %1049, align 1, !tbaa !21
  %1051 = icmp eq i8 %1050, 2
  br i1 %1051, label %1052, label %1136

1052:                                             ; preds = %1045, %1038
  call void @llvm.lifetime.start.p0(i64 8, ptr %103) #8
  store double 1.000000e+30, ptr %103, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %104) #8
  %1053 = load double, ptr %95, align 8, !tbaa !15
  %1054 = fcmp ole double %1053, 0xFFF0000000000000
  %1055 = zext i1 %1054 to i8
  store i8 %1055, ptr %104, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %105) #8
  %1056 = load i8, ptr %104, align 1, !tbaa !9, !range !13, !noundef !14
  %1057 = trunc i8 %1056 to i1
  br i1 %1057, label %1058, label %1059

1058:                                             ; preds = %1052
  br label %1061

1059:                                             ; preds = %1052
  %1060 = load double, ptr %95, align 8, !tbaa !15
  br label %1061

1061:                                             ; preds = %1059, %1058
  %1062 = phi double [ -1.000000e+30, %1058 ], [ %1060, %1059 ]
  store double %1062, ptr %105, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %106) #8
  %1063 = load double, ptr %96, align 8, !tbaa !15
  %1064 = fcmp oge double %1063, 0x7FF0000000000000
  %1065 = zext i1 %1064 to i8
  store i8 %1065, ptr %106, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %107) #8
  %1066 = load i8, ptr %106, align 1, !tbaa !9, !range !13, !noundef !14
  %1067 = trunc i8 %1066 to i1
  br i1 %1067, label %1068, label %1069

1068:                                             ; preds = %1061
  br label %1071

1069:                                             ; preds = %1061
  %1070 = load double, ptr %96, align 8, !tbaa !15
  br label %1071

1071:                                             ; preds = %1069, %1068
  %1072 = phi double [ 1.000000e+30, %1068 ], [ %1070, %1069 ]
  store double %1072, ptr %107, align 8, !tbaa !15
  %1073 = load i8, ptr %104, align 1, !tbaa !9, !range !13, !noundef !14
  %1074 = trunc i8 %1073 to i1
  br i1 %1074, label %1075, label %1089

1075:                                             ; preds = %1071
  %1076 = load ptr, ptr %26, align 8, !tbaa !5
  %1077 = load ptr, ptr %47, align 8, !tbaa !5
  %1078 = load i32, ptr %94, align 4, !tbaa !11
  %1079 = sext i32 %1078 to i64
  %1080 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1077, i64 noundef %1079) #8
  %1081 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1080) #8
  %1082 = load double, ptr %95, align 8, !tbaa !15
  %1083 = load double, ptr %105, align 8, !tbaa !15
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %1076, i32 noundef 4, ptr noundef @.str.116, ptr noundef %1081, double noundef %1082, double noundef %1083)
          to label %1084 unwind label %1085

1084:                                             ; preds = %1075
  br label %1089

1085:                                             ; preds = %1092, %1075
  %1086 = landingpad { ptr, i32 }
          cleanup
  %1087 = extractvalue { ptr, i32 } %1086, 0
  store ptr %1087, ptr %64, align 8
  %1088 = extractvalue { ptr, i32 } %1086, 1
  store i32 %1088, ptr %65, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %107) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %106) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %105) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %104) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %103) #8
  br label %1184

1089:                                             ; preds = %1084, %1071
  %1090 = load i8, ptr %106, align 1, !tbaa !9, !range !13, !noundef !14
  %1091 = trunc i8 %1090 to i1
  br i1 %1091, label %1092, label %1102

1092:                                             ; preds = %1089
  %1093 = load ptr, ptr %26, align 8, !tbaa !5
  %1094 = load ptr, ptr %47, align 8, !tbaa !5
  %1095 = load i32, ptr %94, align 4, !tbaa !11
  %1096 = sext i32 %1095 to i64
  %1097 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1094, i64 noundef %1096) #8
  %1098 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1097) #8
  %1099 = load double, ptr %96, align 8, !tbaa !15
  %1100 = load double, ptr %107, align 8, !tbaa !15
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %1093, i32 noundef 4, ptr noundef @.str.117, ptr noundef %1098, double noundef %1099, double noundef %1100)
          to label %1101 unwind label %1085

1101:                                             ; preds = %1092
  br label %1102

1102:                                             ; preds = %1101, %1089
  %1103 = load ptr, ptr %52, align 8, !tbaa !5
  %1104 = load ptr, ptr %47, align 8, !tbaa !5
  %1105 = load i32, ptr %94, align 4, !tbaa !11
  %1106 = sext i32 %1105 to i64
  %1107 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1104, i64 noundef %1106) #8
  %1108 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1107) #8
  %1109 = load double, ptr %105, align 8, !tbaa !15
  %1110 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1103, ptr noundef @.str.118, ptr noundef %1108, double noundef %1109) #8
  %1111 = load ptr, ptr %45, align 8, !tbaa !5
  %1112 = load i32, ptr %94, align 4, !tbaa !11
  %1113 = sext i32 %1112 to i64
  %1114 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1111, i64 noundef %1113) #8
  %1115 = load i8, ptr %1114, align 1, !tbaa !21
  %1116 = icmp eq i8 %1115, 3
  br i1 %1116, label %1117, label %1126

1117:                                             ; preds = %1102
  %1118 = load ptr, ptr %52, align 8, !tbaa !5
  %1119 = load ptr, ptr %47, align 8, !tbaa !5
  %1120 = load i32, ptr %94, align 4, !tbaa !11
  %1121 = sext i32 %1120 to i64
  %1122 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1119, i64 noundef %1121) #8
  %1123 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1122) #8
  %1124 = load double, ptr %107, align 8, !tbaa !15
  %1125 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1118, ptr noundef @.str.119, ptr noundef %1123, double noundef %1124) #8
  br label %1135

1126:                                             ; preds = %1102
  %1127 = load ptr, ptr %52, align 8, !tbaa !5
  %1128 = load ptr, ptr %47, align 8, !tbaa !5
  %1129 = load i32, ptr %94, align 4, !tbaa !11
  %1130 = sext i32 %1129 to i64
  %1131 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1128, i64 noundef %1130) #8
  %1132 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1131) #8
  %1133 = load double, ptr %107, align 8, !tbaa !15
  %1134 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1127, ptr noundef @.str.120, ptr noundef %1132, double noundef %1133) #8
  br label %1135

1135:                                             ; preds = %1126, %1117
  call void @llvm.lifetime.end.p0(i64 8, ptr %107) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %106) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %105) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %104) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %103) #8
  br label %1136

1136:                                             ; preds = %1135, %1045
  br label %1137

1137:                                             ; preds = %1136, %1037
  br label %1178

1138:                                             ; preds = %902
  %1139 = load double, ptr %95, align 8, !tbaa !15
  %1140 = fneg double %1139
  %1141 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %1140)
          to label %1142 unwind label %867

1142:                                             ; preds = %1138
  br i1 %1141, label %1156, label %1143

1143:                                             ; preds = %1142
  %1144 = load double, ptr %95, align 8, !tbaa !15
  %1145 = fcmp une double %1144, 0.000000e+00
  br i1 %1145, label %1146, label %1155

1146:                                             ; preds = %1143
  %1147 = load ptr, ptr %52, align 8, !tbaa !5
  %1148 = load ptr, ptr %47, align 8, !tbaa !5
  %1149 = load i32, ptr %94, align 4, !tbaa !11
  %1150 = sext i32 %1149 to i64
  %1151 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1148, i64 noundef %1150) #8
  %1152 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1151) #8
  %1153 = load double, ptr %95, align 8, !tbaa !15
  %1154 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1147, ptr noundef @.str.118, ptr noundef %1152, double noundef %1153) #8
  br label %1155

1155:                                             ; preds = %1146, %1143
  br label %1164

1156:                                             ; preds = %1142
  %1157 = load ptr, ptr %52, align 8, !tbaa !5
  %1158 = load ptr, ptr %47, align 8, !tbaa !5
  %1159 = load i32, ptr %94, align 4, !tbaa !11
  %1160 = sext i32 %1159 to i64
  %1161 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1158, i64 noundef %1160) #8
  %1162 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1161) #8
  %1163 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1157, ptr noundef @.str.114, ptr noundef %1162) #8
  br label %1164

1164:                                             ; preds = %1156, %1155
  %1165 = load double, ptr %96, align 8, !tbaa !15
  %1166 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %1165)
          to label %1167 unwind label %867

1167:                                             ; preds = %1164
  br i1 %1166, label %1177, label %1168

1168:                                             ; preds = %1167
  %1169 = load ptr, ptr %52, align 8, !tbaa !5
  %1170 = load ptr, ptr %47, align 8, !tbaa !5
  %1171 = load i32, ptr %94, align 4, !tbaa !11
  %1172 = sext i32 %1171 to i64
  %1173 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1170, i64 noundef %1172) #8
  %1174 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1173) #8
  %1175 = load double, ptr %96, align 8, !tbaa !15
  %1176 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1169, ptr noundef @.str.121, ptr noundef %1174, double noundef %1175) #8
  br label %1177

1177:                                             ; preds = %1168, %1167
  br label %1178

1178:                                             ; preds = %1177, %1137
  br label %1179

1179:                                             ; preds = %1178, %894
  br label %1180

1180:                                             ; preds = %1179, %876
  call void @llvm.lifetime.end.p0(i64 1, ptr %98) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %97) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %96) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %95) #8
  br label %1181

1181:                                             ; preds = %1180
  %1182 = load i32, ptr %94, align 4, !tbaa !11
  %1183 = add nsw i32 %1182, 1
  store i32 %1183, ptr %94, align 4, !tbaa !11
  br label %789, !llvm.loop !32

1184:                                             ; preds = %1085, %966, %940, %867
  call void @llvm.lifetime.end.p0(i64 1, ptr %98) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %97) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %96) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %95) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %94) #8
  br label %1319

1185:                                             ; preds = %794
  br label %1186

1186:                                             ; preds = %1185, %783
  %1187 = load ptr, ptr %31, align 8, !tbaa !5
  %1188 = load i32, ptr %1187, align 4, !tbaa !11
  %1189 = icmp ne i32 %1188, 0
  br i1 %1189, label %1190, label %1301

1190:                                             ; preds = %1186
  %1191 = load ptr, ptr %42, align 8, !tbaa !5
  %1192 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1191) #8
  %1193 = trunc i64 %1192 to i32
  %1194 = load ptr, ptr %31, align 8, !tbaa !5
  %1195 = load i32, ptr %1194, align 4, !tbaa !11
  %1196 = add nsw i32 %1195, 1
  %1197 = icmp sge i32 %1193, %1196
  br i1 %1197, label %1198, label %1199

1198:                                             ; preds = %1190
  br label %1201

1199:                                             ; preds = %1190
  call void @__assert_fail(ptr noundef @.str.122, ptr noundef @.str.74, i32 noundef 995, ptr noundef @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

1200:                                             ; No predecessors!
  br label %1201

1201:                                             ; preds = %1200, %1198
  %1202 = load ptr, ptr %43, align 8, !tbaa !5
  %1203 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1202) #8
  %1204 = trunc i64 %1203 to i32
  %1205 = load ptr, ptr %42, align 8, !tbaa !5
  %1206 = load ptr, ptr %31, align 8, !tbaa !5
  %1207 = load i32, ptr %1206, align 4, !tbaa !11
  %1208 = sext i32 %1207 to i64
  %1209 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1205, i64 noundef %1208) #8
  %1210 = load i32, ptr %1209, align 4, !tbaa !11
  %1211 = icmp sge i32 %1204, %1210
  br i1 %1211, label %1212, label %1213

1212:                                             ; preds = %1201
  br label %1215

1213:                                             ; preds = %1201
  call void @__assert_fail(ptr noundef @.str.123, ptr noundef @.str.74, i32 noundef 996, ptr noundef @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

1214:                                             ; No predecessors!
  br label %1215

1215:                                             ; preds = %1214, %1212
  %1216 = load ptr, ptr %44, align 8, !tbaa !5
  %1217 = call noundef i64 @_ZNKSt6vectorIdSaIdEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1216) #8
  %1218 = trunc i64 %1217 to i32
  %1219 = load ptr, ptr %42, align 8, !tbaa !5
  %1220 = load ptr, ptr %31, align 8, !tbaa !5
  %1221 = load i32, ptr %1220, align 4, !tbaa !11
  %1222 = sext i32 %1221 to i64
  %1223 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1219, i64 noundef %1222) #8
  %1224 = load i32, ptr %1223, align 4, !tbaa !11
  %1225 = icmp sge i32 %1218, %1224
  br i1 %1225, label %1226, label %1227

1226:                                             ; preds = %1215
  br label %1229

1227:                                             ; preds = %1215
  call void @__assert_fail(ptr noundef @.str.124, ptr noundef @.str.74, i32 noundef 997, ptr noundef @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

1228:                                             ; No predecessors!
  br label %1229

1229:                                             ; preds = %1228, %1226
  %1230 = load ptr, ptr %52, align 8, !tbaa !5
  %1231 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1230, ptr noundef @.str.125) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %108) #8
  store i32 0, ptr %108, align 4, !tbaa !11
  br label %1232

1232:                                             ; preds = %1297, %1229
  %1233 = load i32, ptr %108, align 4, !tbaa !11
  %1234 = load ptr, ptr %31, align 8, !tbaa !5
  %1235 = load i32, ptr %1234, align 4, !tbaa !11
  %1236 = icmp slt i32 %1233, %1235
  br i1 %1236, label %1238, label %1237

1237:                                             ; preds = %1232
  store i32 35, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %108) #8
  br label %1300

1238:                                             ; preds = %1232
  call void @llvm.lifetime.start.p0(i64 4, ptr %109) #8
  %1239 = load ptr, ptr %42, align 8, !tbaa !5
  %1240 = load i32, ptr %108, align 4, !tbaa !11
  %1241 = sext i32 %1240 to i64
  %1242 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1239, i64 noundef %1241) #8
  %1243 = load i32, ptr %1242, align 4, !tbaa !11
  store i32 %1243, ptr %109, align 4, !tbaa !11
  br label %1244

1244:                                             ; preds = %1293, %1238
  %1245 = load i32, ptr %109, align 4, !tbaa !11
  %1246 = load ptr, ptr %42, align 8, !tbaa !5
  %1247 = load i32, ptr %108, align 4, !tbaa !11
  %1248 = add nsw i32 %1247, 1
  %1249 = sext i32 %1248 to i64
  %1250 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1246, i64 noundef %1249) #8
  %1251 = load i32, ptr %1250, align 4, !tbaa !11
  %1252 = icmp slt i32 %1245, %1251
  br i1 %1252, label %1254, label %1253

1253:                                             ; preds = %1244
  store i32 38, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %109) #8
  br label %1296

1254:                                             ; preds = %1244
  call void @llvm.lifetime.start.p0(i64 4, ptr %110) #8
  %1255 = load ptr, ptr %43, align 8, !tbaa !5
  %1256 = load i32, ptr %109, align 4, !tbaa !11
  %1257 = sext i32 %1256 to i64
  %1258 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1255, i64 noundef %1257) #8
  %1259 = load i32, ptr %1258, align 4, !tbaa !11
  store i32 %1259, ptr %110, align 4, !tbaa !11
  %1260 = load i32, ptr %110, align 4, !tbaa !11
  %1261 = load i32, ptr %108, align 4, !tbaa !11
  %1262 = icmp sge i32 %1260, %1261
  br i1 %1262, label %1263, label %1264

1263:                                             ; preds = %1254
  br label %1266

1264:                                             ; preds = %1254
  call void @__assert_fail(ptr noundef @.str.126, ptr noundef @.str.74, i32 noundef 1004, ptr noundef @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

1265:                                             ; No predecessors!
  br label %1266

1266:                                             ; preds = %1265, %1263
  %1267 = load ptr, ptr %44, align 8, !tbaa !5
  %1268 = load i32, ptr %109, align 4, !tbaa !11
  %1269 = sext i32 %1268 to i64
  %1270 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1267, i64 noundef %1269) #8
  %1271 = load double, ptr %1270, align 8, !tbaa !15
  %1272 = fcmp une double %1271, 0.000000e+00
  br i1 %1272, label %1273, label %1292

1273:                                             ; preds = %1266
  %1274 = load ptr, ptr %52, align 8, !tbaa !5
  %1275 = load ptr, ptr %47, align 8, !tbaa !5
  %1276 = load i32, ptr %108, align 4, !tbaa !11
  %1277 = sext i32 %1276 to i64
  %1278 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1275, i64 noundef %1277) #8
  %1279 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1278) #8
  %1280 = load ptr, ptr %47, align 8, !tbaa !5
  %1281 = load i32, ptr %110, align 4, !tbaa !11
  %1282 = sext i32 %1281 to i64
  %1283 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1280, i64 noundef %1282) #8
  %1284 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1283) #8
  %1285 = load ptr, ptr %44, align 8, !tbaa !5
  %1286 = load i32, ptr %109, align 4, !tbaa !11
  %1287 = sext i32 %1286 to i64
  %1288 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1285, i64 noundef %1287) #8
  %1289 = load double, ptr %1288, align 8, !tbaa !15
  %1290 = fmul double 1.000000e+00, %1289
  %1291 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1274, ptr noundef @.str.100, ptr noundef %1279, ptr noundef %1284, double noundef %1290) #8
  br label %1292

1292:                                             ; preds = %1273, %1266
  call void @llvm.lifetime.end.p0(i64 4, ptr %110) #8
  br label %1293

1293:                                             ; preds = %1292
  %1294 = load i32, ptr %109, align 4, !tbaa !11
  %1295 = add nsw i32 %1294, 1
  store i32 %1295, ptr %109, align 4, !tbaa !11
  br label %1244, !llvm.loop !33

1296:                                             ; preds = %1253
  br label %1297

1297:                                             ; preds = %1296
  %1298 = load i32, ptr %108, align 4, !tbaa !11
  %1299 = add nsw i32 %1298, 1
  store i32 %1299, ptr %108, align 4, !tbaa !11
  br label %1232, !llvm.loop !34

1300:                                             ; preds = %1237
  br label %1301

1301:                                             ; preds = %1300, %1186
  %1302 = load ptr, ptr %52, align 8, !tbaa !5
  %1303 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1302, ptr noundef @.str.127) #8
  %1304 = load i32, ptr %50, align 4, !tbaa !11
  %1305 = icmp ne i32 %1304, 0
  br i1 %1305, label %1306, label %1315

1306:                                             ; preds = %1301
  %1307 = load ptr, ptr %26, align 8, !tbaa !5
  %1308 = load i32, ptr %50, align 4, !tbaa !11
  %1309 = load i32, ptr %51, align 4, !tbaa !11
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %1307, i32 noundef 1, ptr noundef @.str.128, i32 noundef %1308, i32 noundef %1309, ptr noundef @.str.10)
          to label %1310 unwind label %1311

1310:                                             ; preds = %1306
  br label %1315

1311:                                             ; preds = %1315, %1306
  %1312 = landingpad { ptr, i32 }
          cleanup
  %1313 = extractvalue { ptr, i32 } %1312, 0
  store ptr %1313, ptr %64, align 8
  %1314 = extractvalue { ptr, i32 } %1312, 1
  store i32 %1314, ptr %65, align 4
  br label %1319

1315:                                             ; preds = %1310, %1301
  %1316 = load ptr, ptr %52, align 8, !tbaa !5
  %1317 = invoke i32 @fclose(ptr noundef %1316)
          to label %1318 unwind label %1311

1318:                                             ; preds = %1315
  store i32 0, ptr %25, align 4
  store i32 1, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %82) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %81) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %80) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %77) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %63) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %62) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %61) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %60) #8
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %59) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %59) #8
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %58) #8
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %57) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %57) #8
  br label %1321

1319:                                             ; preds = %1311, %1184
  call void @llvm.lifetime.end.p0(i64 1, ptr %82) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %81) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %80) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %77) #8
  br label %1320

1320:                                             ; preds = %1319, %475, %421, %246, %175, %171, %167
  call void @llvm.lifetime.end.p0(i64 1, ptr %63) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %62) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %61) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %60) #8
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %59) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %59) #8
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %58) #8
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %57) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %57) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #8
  br label %1324

1321:                                             ; preds = %1318, %138
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #8
  br label %1322

1322:                                             ; preds = %1321, %118
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #8
  %1323 = load i32, ptr %25, align 4
  ret i32 %1323

1324:                                             ; preds = %1320
  %1325 = load ptr, ptr %64, align 8
  %1326 = load i32, ptr %65, align 4
  %1327 = insertvalue { ptr, i32 } poison, ptr %1325, 0
  %1328 = insertvalue { ptr, i32 } %1327, i32 %1326, 1
  resume { ptr, i32 } %1328

1329:                                             ; preds = %691
  unreachable
}

declare noalias ptr @fopen(ptr noundef, ptr noundef) #2

declare noundef i32 @_Z13maxNameLengthiRKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE(i32 noundef, ptr noundef nonnull align 8 dereferenceable(24)) #2

declare i32 @fclose(ptr noundef) #2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

declare noundef zeroext i1 @_Z16highs_isInfinityd(double noundef) #2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

declare void @_Z17highsBoolToStringB5cxx11bi(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, i1 noundef zeroext, i32 noundef) #2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 #4 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { 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 #6 = { 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 #7 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nounwind }
attributes #9 = { noreturn 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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"double", !7, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = distinct !{!19, !18}
!20 = distinct !{!20, !18}
!21 = !{!22, !22, i64 0}
!22 = !{!"_ZTS12HighsVarType", !7, i64 0}
!23 = distinct !{!23, !18}
!24 = distinct !{!24, !18}
!25 = !{!26, !26, i64 0}
!26 = !{!"_ZTS8ObjSense", !7, i64 0}
!27 = distinct !{!27, !18}
!28 = distinct !{!28, !18}
!29 = distinct !{!29, !18}
!30 = distinct !{!30, !18}
!31 = distinct !{!31, !18}
!32 = distinct !{!32, !18}
!33 = distinct !{!33, !18}
!34 = distinct !{!34, !18}


; 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<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.16" = type { %"struct.std::_Vector_base.17" }
%"struct.std::_Vector_base.17" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }

@.str.10 = external hidden unnamed_addr constant [1 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [67 x i8], align 1
@.str.85 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.86 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.87 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.88 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.89 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [21 x i8], align 1
@__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b = external hidden unnamed_addr constant [563 x i8], align 1
@.str.91 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.92 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.93 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.94 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.95 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.96 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.97 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.98 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.99 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.100 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.101 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.102 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.103 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.104 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.105 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.106 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.107 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.108 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.115 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.116 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.117 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.118 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.119 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.122 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.123 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.124 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.125 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.126 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.127 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.128 = external hidden unnamed_addr constant [124 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

declare void @_Z11highsLogDevRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89), i32 noundef, ptr noundef, ...) local_unnamed_addr #2

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

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

declare void @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89), i32 noundef, ptr noundef, ...) local_unnamed_addr #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #1 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 #5

; Function Attrs: mustprogress uwtable
define dso_local noundef range(i32 -1, 1) i32 @_Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b(ptr noundef nonnull align 8 dereferenceable(89) %0, ptr noundef nonnull %1, ptr noundef %2, ptr nocapture noundef nonnull readonly align 4 dereferenceable(4) %3, ptr nocapture noundef nonnull readonly align 4 dereferenceable(4) %4, ptr nocapture noundef nonnull readonly align 4 dereferenceable(4) %5, ptr nocapture noundef nonnull readonly align 4 dereferenceable(4) %6, ptr nocapture noundef nonnull readonly align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(24) %8, ptr noundef nonnull align 8 dereferenceable(24) %9, ptr noundef nonnull align 8 dereferenceable(24) %10, ptr noundef nonnull align 8 dereferenceable(24) %11, ptr noundef nonnull align 8 dereferenceable(24) %12, ptr noundef nonnull align 8 dereferenceable(24) %13, ptr noundef nonnull align 8 dereferenceable(24) %14, ptr noundef nonnull align 8 dereferenceable(24) %15, ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(24) %17, ptr noundef nonnull align 8 dereferenceable(24) %18, ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef %20, ptr noundef nonnull align 8 dereferenceable(24) %21, ptr noundef nonnull align 8 dereferenceable(24) %22, i1 noundef zeroext %23) local_unnamed_addr #3 personality ptr @__gxx_personality_v0 {
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca %"class.std::vector", align 8
  %28 = alloca %"class.std::vector.16", align 8
  %29 = alloca %"class.std::vector.16", align 8
  %30 = alloca double, align 8
  %31 = alloca double, align 8
  %32 = alloca %"class.std::__cxx11::basic_string", align 8
  %33 = alloca %"class.std::__cxx11::basic_string", align 8
  %34 = alloca %"class.std::__cxx11::basic_string", align 8
  %35 = tail call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1) #8
  tail call void (ptr, i32, ptr, ...) @_Z11highsLogDevRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 1, ptr noundef nonnull @.str.85, ptr noundef %35)
  %36 = tail call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1) #8
  %37 = tail call noalias ptr @fopen(ptr noundef %36, ptr noundef nonnull @.str.86)
  %38 = icmp eq ptr %37, null
  br i1 %38, label %39, label %41

39:                                               ; preds = %24
  %40 = tail call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %1) #8
  tail call void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 5, ptr noundef nonnull @.str.87, ptr noundef %40)
  br label %593

41:                                               ; preds = %24
  tail call void (ptr, i32, ptr, ...) @_Z11highsLogDevRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 1, ptr noundef nonnull @.str.88)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %25) #8
  %42 = load i32, ptr %4, align 4, !tbaa !5
  %43 = tail call noundef i32 @_Z13maxNameLengthiRKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE(i32 noundef %42, ptr noundef nonnull align 8 dereferenceable(24) %21)
  store i32 %43, ptr %25, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %26) #8
  %44 = load i32, ptr %3, align 4, !tbaa !5
  %45 = tail call noundef i32 @_Z13maxNameLengthiRKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE(i32 noundef %44, ptr noundef nonnull align 8 dereferenceable(24) %22)
  store i32 %45, ptr %26, align 4, !tbaa !5
  %46 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %25, ptr noundef nonnull align 4 dereferenceable(4) %26)
  %47 = load i32, ptr %46, align 4, !tbaa !5
  %48 = icmp slt i32 %47, 9
  %or.cond.not = select i1 %23, i1 true, i1 %48
  br i1 %or.cond.not, label %51, label %49

49:                                               ; preds = %41
  call void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 5, ptr noundef nonnull @.str.89, i32 noundef %47)
  %50 = call i32 @fclose(ptr noundef nonnull %37)
  br label %592

51:                                               ; preds = %41
  %52 = call noundef zeroext i1 @_ZStneIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %20, ptr noundef nonnull @.str.10)
  br i1 %52, label %54, label %53

53:                                               ; preds = %51
  call void @__assert_fail(ptr noundef nonnull @.str.90, ptr noundef nonnull @.str.74, i32 noundef 654, ptr noundef nonnull @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

54:                                               ; preds = %51
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %27) #8
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %28) #8
  call void @_ZNSt6vectorIdSaIdEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %29) #8
  call void @_ZNSt6vectorIdSaIdEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #8
  %55 = load i32, ptr %3, align 4, !tbaa !5
  %56 = sext i32 %55 to i64
  invoke void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %56)
          to label %57 unwind label %67

57:                                               ; preds = %54
  %58 = load i32, ptr %3, align 4, !tbaa !5
  %59 = sext i32 %58 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %30) #8
  store double 0.000000e+00, ptr %30, align 8, !tbaa !9
  invoke void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %59, ptr noundef nonnull align 8 dereferenceable(8) %30)
          to label %60 unwind label %69

60:                                               ; preds = %57
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #8
  %61 = load i32, ptr %3, align 4, !tbaa !5
  %62 = sext i32 %61 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %31) #8
  store double 0.000000e+00, ptr %31, align 8, !tbaa !9
  invoke void @_ZNSt6vectorIdSaIdEE6assignEmRKd(ptr noundef nonnull align 8 dereferenceable(24) %29, i64 noundef %62, ptr noundef nonnull align 8 dereferenceable(8) %31)
          to label %63 unwind label %71

63:                                               ; preds = %60
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #8
  %64 = load i32, ptr %3, align 4, !tbaa !5
  %65 = icmp sgt i32 %64, 0
  br i1 %65, label %.lr.ph, label %._crit_edge.thread

.preheader444:                                    ; preds = %117
  %66 = icmp sgt i32 %118, 0
  br i1 %66, label %.lr.ph454, label %._crit_edge.thread

67:                                               ; preds = %54
  %68 = landingpad { ptr, i32 }
          cleanup
  br label %591

69:                                               ; preds = %57
  %70 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #8
  br label %591

71:                                               ; preds = %60
  %72 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #8
  br label %591

.lr.ph:                                           ; preds = %63, %117
  %indvars.iv = phi i64 [ %indvars.iv.next, %117 ], [ 0, %63 ]
  %73 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %indvars.iv) #8
  %74 = load double, ptr %73, align 8, !tbaa !9
  %75 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv) #8
  %76 = load double, ptr %75, align 8, !tbaa !9
  %77 = fcmp oeq double %74, %76
  br i1 %77, label %78, label %82

78:                                               ; preds = %.lr.ph
  %79 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %indvars.iv) #8
  store i32 1, ptr %79, align 4, !tbaa !5
  %80 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %indvars.iv) #8
  %81 = load double, ptr %80, align 8, !tbaa !9
  br label %.sink.split

82:                                               ; preds = %.lr.ph
  %83 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv) #8
  %84 = load double, ptr %83, align 8, !tbaa !9
  %85 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %84)
          to label %86 unwind label %103

86:                                               ; preds = %82
  br i1 %85, label %105, label %87

87:                                               ; preds = %86
  %88 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %indvars.iv) #8
  store i32 2, ptr %88, align 4, !tbaa !5
  %89 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv) #8
  %90 = load double, ptr %89, align 8, !tbaa !9
  %91 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %indvars.iv) #8
  store double %90, ptr %91, align 8, !tbaa !9
  %92 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %indvars.iv) #8
  %93 = load double, ptr %92, align 8, !tbaa !9
  %94 = fneg double %93
  %95 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %94)
          to label %96 unwind label %103

96:                                               ; preds = %87
  br i1 %95, label %117, label %97

97:                                               ; preds = %96
  %98 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv) #8
  %99 = load double, ptr %98, align 8, !tbaa !9
  %100 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %indvars.iv) #8
  %101 = load double, ptr %100, align 8, !tbaa !9
  %102 = fsub double %99, %101
  br label %.sink.split

103:                                              ; preds = %105, %87, %82
  %104 = landingpad { ptr, i32 }
          cleanup
  br label %591

105:                                              ; preds = %86
  %106 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %indvars.iv) #8
  %107 = load double, ptr %106, align 8, !tbaa !9
  %108 = fneg double %107
  %109 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %108)
          to label %110 unwind label %103

110:                                              ; preds = %105
  %111 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %indvars.iv) #8
  br i1 %109, label %115, label %112

112:                                              ; preds = %110
  store i32 3, ptr %111, align 4, !tbaa !5
  %113 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %11, i64 noundef %indvars.iv) #8
  %114 = load double, ptr %113, align 8, !tbaa !9
  br label %.sink.split

115:                                              ; preds = %110
  store i32 0, ptr %111, align 4, !tbaa !5
  br label %.sink.split

.sink.split:                                      ; preds = %97, %115, %112, %78
  %.sink568 = phi ptr [ %28, %78 ], [ %28, %112 ], [ %28, %115 ], [ %29, %97 ]
  %.sink = phi double [ %81, %78 ], [ %114, %112 ], [ 0.000000e+00, %115 ], [ %102, %97 ]
  %116 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %.sink568, i64 noundef %indvars.iv) #8
  store double %.sink, ptr %116, align 8, !tbaa !9
  br label %117

117:                                              ; preds = %.sink.split, %96
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %118 = load i32, ptr %3, align 4, !tbaa !5
  %119 = sext i32 %118 to i64
  %120 = icmp slt i64 %indvars.iv.next, %119
  br i1 %120, label %.lr.ph, label %.preheader444, !llvm.loop !11

.lr.ph454:                                        ; preds = %.preheader444, %.lr.ph454
  %indvars.iv524 = phi i64 [ %indvars.iv.next525, %.lr.ph454 ], [ 0, %.preheader444 ]
  %121 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %indvars.iv524) #8
  %122 = load double, ptr %121, align 8, !tbaa !9
  %123 = fcmp une double %122, 0.000000e+00
  %.pre.pre = load i32, ptr %3, align 4, !tbaa !5
  %indvars.iv.next525 = add nuw nsw i64 %indvars.iv524, 1
  %124 = sext i32 %.pre.pre to i64
  %125 = icmp sge i64 %indvars.iv.next525, %124
  %or.cond576.not = select i1 %123, i1 true, i1 %125
  br i1 %or.cond576.not, label %._crit_edge, label %.lr.ph454, !llvm.loop !13

._crit_edge.thread:                               ; preds = %.preheader444, %63
  %126 = load double, ptr %7, align 8, !tbaa !9
  %127 = fcmp une double %126, 0.000000e+00
  br label %._crit_edge460

._crit_edge:                                      ; preds = %.lr.ph454
  %128 = load double, ptr %7, align 8, !tbaa !9
  %129 = fcmp une double %128, 0.000000e+00
  %.1375 = or i1 %123, %129
  %130 = icmp sgt i32 %.pre.pre, 0
  br i1 %130, label %.lr.ph459, label %._crit_edge460

131:                                              ; preds = %.lr.ph459
  %indvars.iv.next527 = add nuw nsw i64 %indvars.iv526, 1
  %132 = load i32, ptr %3, align 4, !tbaa !5
  %133 = sext i32 %132 to i64
  %134 = icmp slt i64 %indvars.iv.next527, %133
  br i1 %134, label %.lr.ph459, label %._crit_edge460, !llvm.loop !14

.lr.ph459:                                        ; preds = %._crit_edge, %131
  %indvars.iv526 = phi i64 [ %indvars.iv.next527, %131 ], [ 0, %._crit_edge ]
  %135 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %29, i64 noundef %indvars.iv526) #8
  %136 = load double, ptr %135, align 8, !tbaa !9
  %137 = fcmp une double %136, 0.000000e+00
  br i1 %137, label %._crit_edge460, label %131

._crit_edge460:                                   ; preds = %131, %.lr.ph459, %._crit_edge.thread, %._crit_edge
  %.1375559 = phi i1 [ %.1375, %._crit_edge ], [ %127, %._crit_edge.thread ], [ %.1375, %.lr.ph459 ], [ %.1375, %131 ]
  %.lcssa450 = phi i1 [ false, %._crit_edge ], [ false, %._crit_edge.thread ], [ %137, %.lr.ph459 ], [ %137, %131 ]
  %138 = call noundef i64 @_ZNKSt6vectorI12HighsVarTypeSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  %.not = icmp ne i64 %138, 0
  %139 = load i32, ptr %4, align 4
  %140 = icmp sgt i32 %139, 0
  %or.cond = select i1 %.not, i1 %140, i1 false
  br i1 %or.cond, label %.lr.ph465, label %.loopexit443

141:                                              ; preds = %152
  %indvars.iv.next529 = add nuw nsw i64 %indvars.iv528, 1
  %142 = load i32, ptr %4, align 4, !tbaa !5
  %143 = sext i32 %142 to i64
  %144 = icmp slt i64 %indvars.iv.next529, %143
  br i1 %144, label %.lr.ph465, label %.loopexit443.loopexit, !llvm.loop !15

.lr.ph465:                                        ; preds = %._crit_edge460, %141
  %indvars.iv528 = phi i64 [ %indvars.iv.next529, %141 ], [ 0, %._crit_edge460 ]
  %145 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv528) #8
  %146 = load i8, ptr %145, align 1, !tbaa !16
  %147 = icmp eq i8 %146, 1
  br i1 %147, label %.loopexit443.loopexit, label %148

148:                                              ; preds = %.lr.ph465
  %149 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv528) #8
  %150 = load i8, ptr %149, align 1, !tbaa !16
  %151 = icmp eq i8 %150, 2
  br i1 %151, label %.loopexit443.loopexit, label %152

152:                                              ; preds = %148
  %153 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv528) #8
  %154 = load i8, ptr %153, align 1, !tbaa !16
  %155 = icmp eq i8 %154, 3
  br i1 %155, label %.loopexit443.loopexit, label %141

.loopexit443.loopexit:                            ; preds = %141, %152, %148, %.lr.ph465
  %.1381.ph = phi i1 [ false, %141 ], [ true, %152 ], [ true, %148 ], [ true, %.lr.ph465 ]
  %.pre556 = load i32, ptr %4, align 4, !tbaa !5
  br label %.loopexit443

.loopexit443:                                     ; preds = %.loopexit443.loopexit, %._crit_edge460
  %156 = phi i32 [ %139, %._crit_edge460 ], [ %.pre556, %.loopexit443.loopexit ]
  %.1381 = phi i1 [ false, %._crit_edge460 ], [ %.1381.ph, %.loopexit443.loopexit ]
  %157 = icmp sgt i32 %156, 0
  br i1 %157, label %.lr.ph476, label %._crit_edge477

158:                                              ; preds = %182
  %indvars.iv.next532 = add nuw nsw i64 %indvars.iv531, 1
  %159 = load i32, ptr %4, align 4, !tbaa !5
  %160 = sext i32 %159 to i64
  %161 = icmp slt i64 %indvars.iv.next532, %160
  br i1 %161, label %.lr.ph476, label %._crit_edge477, !llvm.loop !18

.lr.ph476:                                        ; preds = %.loopexit443, %158
  %indvars.iv531 = phi i64 [ %indvars.iv.next532, %158 ], [ 0, %.loopexit443 ]
  %162 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %9, i64 noundef %indvars.iv531) #8
  %163 = load double, ptr %162, align 8, !tbaa !9
  %164 = fcmp une double %163, 0.000000e+00
  br i1 %164, label %._crit_edge477, label %165

165:                                              ; preds = %.lr.ph476
  br i1 %.1381, label %166, label %178

166:                                              ; preds = %165
  %167 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv531) #8
  %168 = load i8, ptr %167, align 1, !tbaa !16
  %169 = icmp eq i8 %168, 1
  br i1 %169, label %178, label %170

170:                                              ; preds = %166
  %171 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv531) #8
  %172 = load i8, ptr %171, align 1, !tbaa !16
  %173 = icmp eq i8 %172, 2
  br i1 %173, label %178, label %174

174:                                              ; preds = %170
  %175 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv531) #8
  %176 = load i8, ptr %175, align 1, !tbaa !16
  %177 = icmp eq i8 %176, 3
  br label %178

178:                                              ; preds = %166, %170, %174, %165
  %.0400 = phi i1 [ false, %165 ], [ true, %170 ], [ true, %166 ], [ %177, %174 ]
  %179 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv531) #8
  %180 = load double, ptr %179, align 8, !tbaa !9
  %181 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %180)
          to label %182 unwind label %183

182:                                              ; preds = %178
  %.not436 = xor i1 %181, true
  %brmerge = select i1 %.not436, i1 true, i1 %.0400
  br i1 %brmerge, label %._crit_edge477, label %158

183:                                              ; preds = %178
  %184 = landingpad { ptr, i32 }
          cleanup
  br label %591

._crit_edge477:                                   ; preds = %182, %158, %.lr.ph476, %.loopexit443
  %.2379 = phi i1 [ false, %.loopexit443 ], [ true, %.lr.ph476 ], [ false, %158 ], [ true, %182 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %32) #8
  invoke void @_Z17highsBoolToStringB5cxx11bi(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %32, i1 noundef zeroext %.1375559, i32 noundef 2)
          to label %185 unwind label %198

185:                                              ; preds = %._crit_edge477
  %186 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %32) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %33) #8
  invoke void @_Z17highsBoolToStringB5cxx11bi(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %33, i1 noundef zeroext %.lcssa450, i32 noundef 2)
          to label %187 unwind label %200

187:                                              ; preds = %185
  %188 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %33) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %34) #8
  invoke void @_Z17highsBoolToStringB5cxx11bi(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %34, i1 noundef zeroext %.2379, i32 noundef 2)
          to label %189 unwind label %202

189:                                              ; preds = %187
  %190 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %34) #8
  invoke void (ptr, i32, ptr, ...) @_Z11highsLogDevRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 1, ptr noundef nonnull @.str.91, ptr noundef %186, ptr noundef %188, ptr noundef %190)
          to label %191 unwind label %204

191:                                              ; preds = %189
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %32) #8
  %192 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %2) #8
  %193 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.92, ptr noundef %192) #8
  %194 = load i32, ptr %6, align 4, !tbaa !19
  %195 = icmp eq i32 %194, -1
  br i1 %195, label %196, label %209

196:                                              ; preds = %191
  %197 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.93) #8
  br label %209

198:                                              ; preds = %._crit_edge477
  %199 = landingpad { ptr, i32 }
          cleanup
  br label %208

200:                                              ; preds = %185
  %201 = landingpad { ptr, i32 }
          cleanup
  br label %207

202:                                              ; preds = %187
  %203 = landingpad { ptr, i32 }
          cleanup
  br label %206

204:                                              ; preds = %189
  %205 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #8
  br label %206

206:                                              ; preds = %204, %202
  %.pn = phi { ptr, i32 } [ %205, %204 ], [ %203, %202 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #8
  br label %207

207:                                              ; preds = %206, %200
  %.pn.pn = phi { ptr, i32 } [ %.pn, %206 ], [ %201, %200 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #8
  br label %208

208:                                              ; preds = %207, %198
  %.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn, %207 ], [ %199, %198 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %32) #8
  br label %591

209:                                              ; preds = %196, %191
  %210 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.94) #8
  %211 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  %212 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.95, ptr noundef %211) #8
  %213 = load i32, ptr %3, align 4, !tbaa !5
  %214 = icmp sgt i32 %213, 0
  br i1 %214, label %.lr.ph485, label %._crit_edge486

._crit_edge486:                                   ; preds = %243, %209
  %215 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.99) #8
  %216 = load i32, ptr %4, align 4, !tbaa !5
  %217 = icmp sgt i32 %216, 0
  br i1 %217, label %.lr.ph495, label %._crit_edge496.thread

.lr.ph485:                                        ; preds = %209, %243
  %indvars.iv533 = phi i64 [ %indvars.iv.next534, %243 ], [ 0, %209 ]
  %218 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %indvars.iv533) #8
  %219 = load i32, ptr %218, align 4, !tbaa !5
  %220 = icmp eq i32 %219, 1
  br i1 %220, label %221, label %225

221:                                              ; preds = %.lr.ph485
  %222 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %22, i64 noundef %indvars.iv533) #8
  %223 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %222) #8
  %224 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.96, ptr noundef %223) #8
  br label %243

225:                                              ; preds = %.lr.ph485
  %226 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %indvars.iv533) #8
  %227 = load i32, ptr %226, align 4, !tbaa !5
  %228 = icmp eq i32 %227, 3
  br i1 %228, label %229, label %233

229:                                              ; preds = %225
  %230 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %22, i64 noundef %indvars.iv533) #8
  %231 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %230) #8
  %232 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.97, ptr noundef %231) #8
  br label %243

233:                                              ; preds = %225
  %234 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %27, i64 noundef %indvars.iv533) #8
  %235 = load i32, ptr %234, align 4, !tbaa !5
  %236 = icmp eq i32 %235, 2
  %237 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %22, i64 noundef %indvars.iv533) #8
  %238 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %237) #8
  br i1 %236, label %239, label %241

239:                                              ; preds = %233
  %240 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.98, ptr noundef %238) #8
  br label %243

241:                                              ; preds = %233
  %242 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.95, ptr noundef %238) #8
  br label %243

243:                                              ; preds = %221, %239, %241, %229
  %indvars.iv.next534 = add nuw nsw i64 %indvars.iv533, 1
  %244 = load i32, ptr %3, align 4, !tbaa !5
  %245 = sext i32 %244 to i64
  %246 = icmp slt i64 %indvars.iv.next534, %245
  br i1 %246, label %.lr.ph485, label %._crit_edge486, !llvm.loop !21

._crit_edge496:                                   ; preds = %.loopexit442
  %247 = trunc nuw i8 %.2404 to i1
  br i1 %247, label %313, label %._crit_edge496.thread

.lr.ph495:                                        ; preds = %._crit_edge486, %.loopexit442
  %indvars.iv539 = phi i64 [ %indvars.iv.next540.pre-phi, %.loopexit442 ], [ 0, %._crit_edge486 ]
  %.0369493 = phi i32 [ %.1370, %.loopexit442 ], [ 0, %._crit_edge486 ]
  %.0402492 = phi i8 [ %.2404, %.loopexit442 ], [ 0, %._crit_edge486 ]
  %.0406491 = phi i32 [ %.2408, %.loopexit442 ], [ 0, %._crit_edge486 ]
  %248 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %indvars.iv539) #8
  %249 = load double, ptr %248, align 8, !tbaa !9
  %250 = fcmp une double %249, 0.000000e+00
  br i1 %250, label %.critedge, label %251

251:                                              ; preds = %.lr.ph495
  %252 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %indvars.iv539) #8
  %253 = load i32, ptr %252, align 4, !tbaa !5
  %254 = add nuw nsw i64 %indvars.iv539, 1
  %255 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %254) #8
  %256 = load i32, ptr %255, align 4, !tbaa !5
  %257 = icmp eq i32 %253, %256
  br i1 %257, label %258, label %.critedge

258:                                              ; preds = %251
  %259 = add nsw i32 %.0369493, 1
  %260 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv539) #8
  %261 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %260) #8
  %262 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  %263 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.100, ptr noundef %261, ptr noundef %262, double noundef 0.000000e+00) #8
  br label %.loopexit442

.critedge:                                        ; preds = %.lr.ph495, %251
  br i1 %.1381, label %264, label %277

264:                                              ; preds = %.critedge
  %265 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv539) #8
  %266 = load i8, ptr %265, align 1, !tbaa !16
  %267 = icmp eq i8 %266, 1
  br i1 %267, label %268, label %270

268:                                              ; preds = %264
  %269 = trunc nuw i8 %.0402492 to i1
  br i1 %269, label %270, label %.sink.split569

270:                                              ; preds = %268, %264
  %271 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv539) #8
  %272 = load i8, ptr %271, align 1, !tbaa !16
  %.not433 = icmp eq i8 %272, 1
  br i1 %.not433, label %277, label %273

273:                                              ; preds = %270
  %274 = trunc nuw i8 %.0402492 to i1
  br i1 %274, label %.sink.split569, label %277

.sink.split569:                                   ; preds = %273, %268
  %.str.101.sink = phi ptr [ @.str.101, %268 ], [ @.str.102, %273 ]
  %.1403.ph = phi i8 [ 1, %268 ], [ 0, %273 ]
  %275 = add nsw i32 %.0406491, 1
  %276 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull %.str.101.sink, i32 noundef %.0406491) #8
  br label %277

277:                                              ; preds = %.sink.split569, %273, %270, %.critedge
  %.1407 = phi i32 [ %.0406491, %273 ], [ %.0406491, %270 ], [ %.0406491, %.critedge ], [ %275, %.sink.split569 ]
  %.1403 = phi i8 [ %.0402492, %273 ], [ %.0402492, %270 ], [ %.0402492, %.critedge ], [ %.1403.ph, %.sink.split569 ]
  %278 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %indvars.iv539) #8
  %279 = load double, ptr %278, align 8, !tbaa !9
  %280 = fcmp une double %279, 0.000000e+00
  br i1 %280, label %281, label %288

281:                                              ; preds = %277
  %282 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %indvars.iv539) #8
  %283 = load double, ptr %282, align 8, !tbaa !9
  %284 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv539) #8
  %285 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %284) #8
  %286 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  %287 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.100, ptr noundef %285, ptr noundef %286, double noundef %283) #8
  br label %288

288:                                              ; preds = %281, %277
  %289 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %indvars.iv539) #8
  %290 = load i32, ptr %289, align 4, !tbaa !5
  %291 = add nuw nsw i64 %indvars.iv539, 1
  %292 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %291) #8
  %293 = load i32, ptr %292, align 4, !tbaa !5
  %294 = icmp slt i32 %290, %293
  br i1 %294, label %.lr.ph489.preheader, label %.loopexit442

.lr.ph489.preheader:                              ; preds = %288
  %295 = sext i32 %290 to i64
  br label %.lr.ph489

.lr.ph489:                                        ; preds = %.lr.ph489.preheader, %.lr.ph489
  %indvars.iv536 = phi i64 [ %295, %.lr.ph489.preheader ], [ %indvars.iv.next537, %.lr.ph489 ]
  %296 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %15, i64 noundef %indvars.iv536) #8
  %297 = load double, ptr %296, align 8, !tbaa !9
  %298 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %indvars.iv536) #8
  %299 = load i32, ptr %298, align 4, !tbaa !5
  %300 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv539) #8
  %301 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %300) #8
  %302 = sext i32 %299 to i64
  %303 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %22, i64 noundef %302) #8
  %304 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %303) #8
  %305 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.100, ptr noundef %301, ptr noundef %304, double noundef %297) #8
  %indvars.iv.next537 = add nsw i64 %indvars.iv536, 1
  %306 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %291) #8
  %307 = load i32, ptr %306, align 4, !tbaa !5
  %308 = sext i32 %307 to i64
  %309 = icmp slt i64 %indvars.iv.next537, %308
  br i1 %309, label %.lr.ph489, label %.loopexit442, !llvm.loop !22

.loopexit442:                                     ; preds = %.lr.ph489, %288, %258
  %indvars.iv.next540.pre-phi = phi i64 [ %291, %288 ], [ %254, %258 ], [ %291, %.lr.ph489 ]
  %.2408 = phi i32 [ %.1407, %288 ], [ %.0406491, %258 ], [ %.1407, %.lr.ph489 ]
  %.2404 = phi i8 [ %.1403, %288 ], [ %.0402492, %258 ], [ %.1403, %.lr.ph489 ]
  %.1370 = phi i32 [ %.0369493, %288 ], [ %259, %258 ], [ %.0369493, %.lr.ph489 ]
  %310 = load i32, ptr %4, align 4, !tbaa !5
  %311 = sext i32 %310 to i64
  %312 = icmp slt i64 %indvars.iv.next540.pre-phi, %311
  br i1 %312, label %.lr.ph495, label %._crit_edge496, !llvm.loop !23

313:                                              ; preds = %._crit_edge496
  %314 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.102, i32 noundef %.2408) #8
  br label %._crit_edge496.thread

._crit_edge496.thread:                            ; preds = %._crit_edge486, %._crit_edge496, %313
  %.0369.lcssa563 = phi i32 [ %.1370, %._crit_edge496 ], [ %.1370, %313 ], [ 0, %._crit_edge486 ]
  %315 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.103) #8
  %316 = load double, ptr %7, align 8, !tbaa !9
  %317 = fcmp une double %316, 0.000000e+00
  br i1 %317, label %318, label %322

318:                                              ; preds = %._crit_edge496.thread
  %319 = fneg double %316
  %320 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  %321 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.104, ptr noundef %320, double noundef %319) #8
  br label %322

322:                                              ; preds = %318, %._crit_edge496.thread
  %323 = load i32, ptr %3, align 4, !tbaa !5
  %324 = icmp sgt i32 %323, 0
  br i1 %324, label %.lr.ph502, label %._crit_edge503

.lr.ph502:                                        ; preds = %322, %332
  %indvars.iv541 = phi i64 [ %indvars.iv.next542, %332 ], [ 0, %322 ]
  %325 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %indvars.iv541) #8
  %326 = load double, ptr %325, align 8, !tbaa !9
  %327 = fcmp une double %326, 0.000000e+00
  br i1 %327, label %328, label %332

328:                                              ; preds = %.lr.ph502
  %329 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %22, i64 noundef %indvars.iv541) #8
  %330 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %329) #8
  %331 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.104, ptr noundef %330, double noundef %326) #8
  br label %332

332:                                              ; preds = %328, %.lr.ph502
  %indvars.iv.next542 = add nuw nsw i64 %indvars.iv541, 1
  %333 = load i32, ptr %3, align 4, !tbaa !5
  %334 = sext i32 %333 to i64
  %335 = icmp slt i64 %indvars.iv.next542, %334
  br i1 %335, label %.lr.ph502, label %._crit_edge503, !llvm.loop !24

._crit_edge503:                                   ; preds = %332, %322
  br i1 %.lcssa450, label %336, label %.loopexit441

336:                                              ; preds = %._crit_edge503
  %337 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.105) #8
  %338 = load i32, ptr %3, align 4, !tbaa !5
  %339 = icmp sgt i32 %338, 0
  br i1 %339, label %.lr.ph506, label %.loopexit441

.lr.ph506:                                        ; preds = %336, %347
  %indvars.iv544 = phi i64 [ %indvars.iv.next545, %347 ], [ 0, %336 ]
  %340 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %29, i64 noundef %indvars.iv544) #8
  %341 = load double, ptr %340, align 8, !tbaa !9
  %342 = fcmp une double %341, 0.000000e+00
  br i1 %342, label %343, label %347

343:                                              ; preds = %.lr.ph506
  %344 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %22, i64 noundef %indvars.iv544) #8
  %345 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %344) #8
  %346 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.106, ptr noundef %345, double noundef %341) #8
  br label %347

347:                                              ; preds = %343, %.lr.ph506
  %indvars.iv.next545 = add nuw nsw i64 %indvars.iv544, 1
  %348 = load i32, ptr %3, align 4, !tbaa !5
  %349 = sext i32 %348 to i64
  %350 = icmp slt i64 %indvars.iv.next545, %349
  br i1 %350, label %.lr.ph506, label %.loopexit441, !llvm.loop !25

.loopexit441:                                     ; preds = %347, %336, %._crit_edge503
  br i1 %.2379, label %351, label %.loopexit440

351:                                              ; preds = %.loopexit441
  %352 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.107) #8
  %353 = load i32, ptr %4, align 4, !tbaa !5
  %354 = icmp sgt i32 %353, 0
  br i1 %354, label %.lr.ph510, label %.loopexit440

.lr.ph510:                                        ; preds = %351, %525
  %indvars.iv547 = phi i64 [ %indvars.iv.next548, %525 ], [ 0, %351 ]
  %.0371508 = phi i32 [ %.1372, %525 ], [ 0, %351 ]
  %355 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %9, i64 noundef %indvars.iv547) #8
  %356 = load double, ptr %355, align 8, !tbaa !9
  %357 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %10, i64 noundef %indvars.iv547) #8
  %358 = load double, ptr %357, align 8, !tbaa !9
  br i1 %.1381, label %359, label %371

359:                                              ; preds = %.lr.ph510
  %360 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %361 = load i8, ptr %360, align 1, !tbaa !16
  %362 = icmp eq i8 %361, 1
  br i1 %362, label %371, label %363

363:                                              ; preds = %359
  %364 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %365 = load i8, ptr %364, align 1, !tbaa !16
  %366 = icmp eq i8 %365, 2
  br i1 %366, label %371, label %367

367:                                              ; preds = %363
  %368 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %369 = load i8, ptr %368, align 1, !tbaa !16
  %370 = icmp eq i8 %369, 3
  br label %371

371:                                              ; preds = %359, %363, %367, %.lr.ph510
  %.0392 = phi i1 [ false, %.lr.ph510 ], [ true, %363 ], [ true, %359 ], [ %370, %367 ]
  %372 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %indvars.iv547) #8
  %373 = load double, ptr %372, align 8, !tbaa !9
  %374 = fcmp une double %373, 0.000000e+00
  br i1 %374, label %.critedge438, label %375

375:                                              ; preds = %371
  %376 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %indvars.iv547) #8
  %377 = load i32, ptr %376, align 4, !tbaa !5
  %378 = add nuw nsw i64 %indvars.iv547, 1
  %379 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %13, i64 noundef %378) #8
  %380 = load i32, ptr %379, align 4, !tbaa !5
  %381 = icmp eq i32 %377, %380
  br i1 %381, label %382, label %.critedge438

382:                                              ; preds = %375
  %383 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %358)
          to label %384 unwind label %387

384:                                              ; preds = %382
  %385 = fcmp une double %356, 0.000000e+00
  %not. = xor i1 %383, true
  %or.cond4.not = select i1 %not., i1 true, i1 %385
  %386 = zext i1 %or.cond4.not to i32
  %spec.select = add nsw i32 %.0371508, %386
  br label %.critedge438

387:                                              ; preds = %518, %505, %463, %452, %447, %398, %394, %382
  %388 = landingpad { ptr, i32 }
          cleanup
  br label %591

.critedge438:                                     ; preds = %384, %371, %375
  %.1372 = phi i32 [ %.0371508, %375 ], [ %spec.select, %384 ], [ %.0371508, %371 ]
  %389 = fcmp oeq double %356, %358
  br i1 %389, label %390, label %394

390:                                              ; preds = %.critedge438
  %391 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %392 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %391) #8
  %393 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.108, ptr noundef %392, double noundef %356) #8
  br label %525

394:                                              ; preds = %.critedge438
  %395 = fneg double %356
  %396 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %395)
          to label %397 unwind label %387

397:                                              ; preds = %394
  br i1 %396, label %398, label %405

398:                                              ; preds = %397
  %399 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %358)
          to label %400 unwind label %387

400:                                              ; preds = %398
  br i1 %399, label %401, label %405

401:                                              ; preds = %400
  %402 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %403 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %402) #8
  %404 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.109, ptr noundef %403) #8
  br label %525

405:                                              ; preds = %400, %397
  br i1 %.0392, label %406, label %505

406:                                              ; preds = %405
  %407 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %408 = load i8, ptr %407, align 1, !tbaa !16
  %409 = icmp eq i8 %408, 1
  br i1 %409, label %414, label %410

410:                                              ; preds = %406
  %411 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %412 = load i8, ptr %411, align 1, !tbaa !16
  %413 = icmp eq i8 %412, 3
  br i1 %413, label %414, label %436

414:                                              ; preds = %410, %406
  %415 = fcmp ueq double %356, 0xFFF0000000000000
  br i1 %415, label %425, label %416

416:                                              ; preds = %414
  %417 = fptosi double %356 to i32
  %418 = sitofp i32 %417 to double
  %419 = fcmp une double %356, %418
  br i1 %419, label %420, label %425

420:                                              ; preds = %416
  %421 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %422 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %421) #8
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 4, ptr noundef nonnull @.str.110, ptr noundef %422, double noundef %356)
          to label %425 unwind label %423

423:                                              ; preds = %420
  %424 = landingpad { ptr, i32 }
          cleanup
  br label %591

425:                                              ; preds = %416, %420, %414
  %426 = fcmp ueq double %358, 0x7FF0000000000000
  br i1 %426, label %436, label %427

427:                                              ; preds = %425
  %428 = fptosi double %358 to i32
  %429 = sitofp i32 %428 to double
  %430 = fcmp une double %358, %429
  br i1 %430, label %431, label %436

431:                                              ; preds = %427
  %432 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %433 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %432) #8
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 4, ptr noundef nonnull @.str.111, ptr noundef %433, double noundef %358)
          to label %436 unwind label %434

434:                                              ; preds = %431
  %435 = landingpad { ptr, i32 }
          cleanup
  br label %591

436:                                              ; preds = %427, %431, %425, %410
  %437 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %438 = load i8, ptr %437, align 1, !tbaa !16
  %439 = icmp eq i8 %438, 1
  br i1 %439, label %440, label %470

440:                                              ; preds = %436
  %441 = fcmp oeq double %356, 0.000000e+00
  %442 = fcmp oeq double %358, 1.000000e+00
  %or.cond6 = select i1 %441, i1 %442, i1 false
  br i1 %or.cond6, label %443, label %447

443:                                              ; preds = %440
  %444 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %445 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %444) #8
  %446 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.112, ptr noundef %445) #8
  br label %525

447:                                              ; preds = %440
  %448 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %395)
          to label %449 unwind label %387

449:                                              ; preds = %447
  br i1 %448, label %459, label %450

450:                                              ; preds = %449
  %451 = fcmp une double %356, 0.000000e+00
  br i1 %451, label %455, label %452

452:                                              ; preds = %450
  %453 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %358)
          to label %454 unwind label %387

454:                                              ; preds = %452
  br i1 %453, label %455, label %463

455:                                              ; preds = %454, %450
  %456 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %457 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %456) #8
  %458 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.113, ptr noundef %457, double noundef %356) #8
  br label %463

459:                                              ; preds = %449
  %460 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %461 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %460) #8
  %462 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.114, ptr noundef %461) #8
  br label %463

463:                                              ; preds = %454, %455, %459
  %464 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %358)
          to label %465 unwind label %387

465:                                              ; preds = %463
  br i1 %464, label %525, label %466

466:                                              ; preds = %465
  %467 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %468 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %467) #8
  %469 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.115, ptr noundef %468, double noundef %358) #8
  br label %525

470:                                              ; preds = %436
  %471 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %472 = load i8, ptr %471, align 1, !tbaa !16
  %473 = icmp eq i8 %472, 3
  br i1 %473, label %478, label %474

474:                                              ; preds = %470
  %475 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %476 = load i8, ptr %475, align 1, !tbaa !16
  %477 = icmp eq i8 %476, 2
  br i1 %477, label %478, label %525

478:                                              ; preds = %474, %470
  %479 = fcmp oeq double %356, 0xFFF0000000000000
  %480 = select i1 %479, double -1.000000e+30, double %356
  %481 = fcmp oeq double %358, 0x7FF0000000000000
  %482 = select i1 %481, double 1.000000e+30, double %358
  br i1 %479, label %483, label %488

483:                                              ; preds = %478
  %484 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %485 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %484) #8
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 4, ptr noundef nonnull @.str.116, ptr noundef %485, double noundef 0xFFF0000000000000, double noundef -1.000000e+30)
          to label %488 unwind label %486

486:                                              ; preds = %489, %483
  %487 = landingpad { ptr, i32 }
          cleanup
  br label %591

488:                                              ; preds = %483, %478
  br i1 %481, label %489, label %492

489:                                              ; preds = %488
  %490 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %491 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %490) #8
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 4, ptr noundef nonnull @.str.117, ptr noundef %491, double noundef 0x7FF0000000000000, double noundef 1.000000e+30)
          to label %492 unwind label %486

492:                                              ; preds = %489, %488
  %493 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %494 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %493) #8
  %495 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.118, ptr noundef %494, double noundef %480) #8
  %496 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %19, i64 noundef %indvars.iv547) #8
  %497 = load i8, ptr %496, align 1, !tbaa !16
  %498 = icmp eq i8 %497, 3
  %499 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %500 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %499) #8
  br i1 %498, label %501, label %503

501:                                              ; preds = %492
  %502 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.119, ptr noundef %500, double noundef %482) #8
  br label %525

503:                                              ; preds = %492
  %504 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.120, ptr noundef %500, double noundef %482) #8
  br label %525

505:                                              ; preds = %405
  %506 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %395)
          to label %507 unwind label %387

507:                                              ; preds = %505
  br i1 %506, label %514, label %508

508:                                              ; preds = %507
  %509 = fcmp une double %356, 0.000000e+00
  br i1 %509, label %510, label %518

510:                                              ; preds = %508
  %511 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %512 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %511) #8
  %513 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.118, ptr noundef %512, double noundef %356) #8
  br label %518

514:                                              ; preds = %507
  %515 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %516 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %515) #8
  %517 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.114, ptr noundef %516) #8
  br label %518

518:                                              ; preds = %508, %510, %514
  %519 = invoke noundef zeroext i1 @_Z16highs_isInfinityd(double noundef %358)
          to label %520 unwind label %387

520:                                              ; preds = %518
  br i1 %519, label %525, label %521

521:                                              ; preds = %520
  %522 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv547) #8
  %523 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %522) #8
  %524 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.121, ptr noundef %523, double noundef %358) #8
  br label %525

525:                                              ; preds = %501, %503, %401, %520, %521, %465, %466, %443, %474, %390
  %indvars.iv.next548 = add nuw nsw i64 %indvars.iv547, 1
  %526 = load i32, ptr %4, align 4, !tbaa !5
  %527 = sext i32 %526 to i64
  %528 = icmp slt i64 %indvars.iv.next548, %527
  br i1 %528, label %.lr.ph510, label %.loopexit440, !llvm.loop !26

.loopexit440:                                     ; preds = %525, %351, %.loopexit441
  %.2 = phi i32 [ 0, %.loopexit441 ], [ 0, %351 ], [ %.1372, %525 ]
  %529 = load i32, ptr %5, align 4, !tbaa !5
  %.not423 = icmp eq i32 %529, 0
  br i1 %.not423, label %.loopexit439, label %530

530:                                              ; preds = %.loopexit440
  %531 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  %532 = trunc i64 %531 to i32
  %533 = load i32, ptr %5, align 4, !tbaa !5
  %.not424.not = icmp slt i32 %533, %532
  br i1 %.not424.not, label %535, label %534

534:                                              ; preds = %530
  call void @__assert_fail(ptr noundef nonnull @.str.122, ptr noundef nonnull @.str.74, i32 noundef 995, ptr noundef nonnull @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

535:                                              ; preds = %530
  %536 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %17) #8
  %537 = trunc i64 %536 to i32
  %538 = load i32, ptr %5, align 4, !tbaa !5
  %539 = sext i32 %538 to i64
  %540 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %539) #8
  %541 = load i32, ptr %540, align 4, !tbaa !5
  %.not425 = icmp sgt i32 %541, %537
  br i1 %.not425, label %542, label %543

542:                                              ; preds = %535
  call void @__assert_fail(ptr noundef nonnull @.str.123, ptr noundef nonnull @.str.74, i32 noundef 996, ptr noundef nonnull @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

543:                                              ; preds = %535
  %544 = call noundef i64 @_ZNKSt6vectorIdSaIdEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %18) #8
  %545 = trunc i64 %544 to i32
  %546 = load i32, ptr %5, align 4, !tbaa !5
  %547 = sext i32 %546 to i64
  %548 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %547) #8
  %549 = load i32, ptr %548, align 4, !tbaa !5
  %.not426 = icmp sgt i32 %549, %545
  br i1 %.not426, label %550, label %551

550:                                              ; preds = %543
  call void @__assert_fail(ptr noundef nonnull @.str.124, ptr noundef nonnull @.str.74, i32 noundef 997, ptr noundef nonnull @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

551:                                              ; preds = %543
  %552 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.125) #8
  %553 = load i32, ptr %5, align 4, !tbaa !5
  %554 = icmp sgt i32 %553, 0
  br i1 %554, label %.lr.ph518, label %.loopexit439

.loopexit:                                        ; preds = %580, %.lr.ph518
  %555 = load i32, ptr %5, align 4, !tbaa !5
  %556 = sext i32 %555 to i64
  %557 = icmp slt i64 %indvars.iv.next554, %556
  br i1 %557, label %.lr.ph518, label %.loopexit439, !llvm.loop !27

.lr.ph518:                                        ; preds = %551, %.loopexit
  %indvars.iv553 = phi i64 [ %indvars.iv.next554, %.loopexit ], [ 0, %551 ]
  %558 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %indvars.iv553) #8
  %559 = load i32, ptr %558, align 4, !tbaa !5
  %indvars.iv.next554 = add nuw nsw i64 %indvars.iv553, 1
  %560 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %indvars.iv.next554) #8
  %561 = load i32, ptr %560, align 4, !tbaa !5
  %562 = icmp slt i32 %559, %561
  br i1 %562, label %.lr.ph514.preheader, label %.loopexit

.lr.ph514.preheader:                              ; preds = %.lr.ph518
  %563 = sext i32 %559 to i64
  br label %.lr.ph514

.lr.ph514:                                        ; preds = %.lr.ph514.preheader, %580
  %indvars.iv550 = phi i64 [ %563, %.lr.ph514.preheader ], [ %indvars.iv.next551, %580 ]
  %564 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %17, i64 noundef %indvars.iv550) #8
  %565 = load i32, ptr %564, align 4, !tbaa !5
  %566 = sext i32 %565 to i64
  %.not428 = icmp sgt i64 %indvars.iv553, %566
  br i1 %.not428, label %567, label %568

567:                                              ; preds = %.lr.ph514
  call void @__assert_fail(ptr noundef nonnull @.str.126, ptr noundef nonnull @.str.74, i32 noundef 1004, ptr noundef nonnull @__PRETTY_FUNCTION__._Z8writeMpsRK15HighsLogOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_RKiS9_S9_RK8ObjSenseRKdRKSt6vectorIdSaIdEESJ_SJ_SJ_SJ_RKSF_IiSaIiEESN_SJ_SN_SN_SJ_RKSF_I12HighsVarTypeSaISO_EES7_RKSF_IS7_SaIS7_EESW_b) #9
  unreachable

568:                                              ; preds = %.lr.ph514
  %569 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %indvars.iv550) #8
  %570 = load double, ptr %569, align 8, !tbaa !9
  %571 = fcmp une double %570, 0.000000e+00
  br i1 %571, label %572, label %580

572:                                              ; preds = %568
  %573 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %indvars.iv553) #8
  %574 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %573) #8
  %575 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %566) #8
  %576 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %575) #8
  %577 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %indvars.iv550) #8
  %578 = load double, ptr %577, align 8, !tbaa !9
  %579 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.100, ptr noundef %574, ptr noundef %576, double noundef %578) #8
  br label %580

580:                                              ; preds = %572, %568
  %indvars.iv.next551 = add nsw i64 %indvars.iv550, 1
  %581 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %indvars.iv.next554) #8
  %582 = load i32, ptr %581, align 4, !tbaa !5
  %583 = sext i32 %582 to i64
  %584 = icmp slt i64 %indvars.iv.next551, %583
  br i1 %584, label %.lr.ph514, label %.loopexit, !llvm.loop !28

.loopexit439:                                     ; preds = %.loopexit, %551, %.loopexit440
  %585 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef nonnull @.str.127) #8
  %.not427 = icmp eq i32 %.0369.lcssa563, 0
  br i1 %.not427, label %589, label %586

586:                                              ; preds = %.loopexit439
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %0, i32 noundef 1, ptr noundef nonnull @.str.128, i32 noundef %.0369.lcssa563, i32 noundef %.2, ptr noundef nonnull @.str.10)
          to label %589 unwind label %587

587:                                              ; preds = %586
  %588 = landingpad { ptr, i32 }
          cleanup
  br label %591

589:                                              ; preds = %586, %.loopexit439
  %590 = call i32 @fclose(ptr noundef %37)
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %29) #8
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %28) #8
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %27) #8
  br label %592

591:                                              ; preds = %587, %486, %434, %423, %387, %208, %183, %103, %71, %69, %67
  %.pn434 = phi { ptr, i32 } [ %104, %103 ], [ %.pn.pn.pn, %208 ], [ %184, %183 ], [ %72, %71 ], [ %70, %69 ], [ %68, %67 ], [ %588, %587 ], [ %388, %387 ], [ %487, %486 ], [ %435, %434 ], [ %424, %423 ]
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %29) #8
  call void @_ZNSt6vectorIdSaIdEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %28) #8
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %27) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %26) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %25) #8
  resume { ptr, i32 } %.pn434

592:                                              ; preds = %589, %49
  %.0 = phi i32 [ -1, %49 ], [ 0, %589 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %26) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %25) #8
  br label %593

593:                                              ; preds = %592, %39
  %.1 = phi i32 [ -1, %39 ], [ %.0, %592 ]
  ret i32 %.1
}

; Function Attrs: nofree nounwind
declare noalias noundef ptr @fopen(ptr nocapture noundef readonly, ptr nocapture noundef readonly) local_unnamed_addr #6

declare noundef i32 @_Z13maxNameLengthiRKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE(i32 noundef, ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @fclose(ptr nocapture noundef) local_unnamed_addr #6

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

declare noundef zeroext i1 @_Z16highs_isInfinityd(double noundef) local_unnamed_addr #2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorI12HighsVarTypeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

declare void @_Z17highsBoolToStringB5cxx11bi(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, i1 noundef zeroext, i32 noundef) local_unnamed_addr #2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

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

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


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