; LLVM IR from ERGO-Code/HiGHS :: src/mip (HighsCliqueTable)

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

%"struct.HighsDomain::Reason" = type { i32, i32 }
%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%"struct.std::_Rb_tree_const_iterator.378" = type { ptr }
%"struct.std::pair.379" = type { double, i64 }
%"struct.std::pair.381" = type <{ double, i32, [4 x i8] }>
%class.anon.384 = type { ptr }
%class.HighsMipSolver = type { ptr, ptr, ptr, ptr, i32, %"class.std::vector.87", double, double, double, double, double, double, double, i64, i64, double, ptr, %"class.std::vector.142", i8, i32, i32, ptr, ptr, ptr, ptr, %"class.std::unique_ptr.147", %class.HighsMipAnalysis, %class.HighsTimer }
%"class.std::vector.87" = type { %"struct.std::_Vector_base.88" }
%"struct.std::_Vector_base.88" = 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::vector.142" = type { %"struct.std::_Vector_base.143" }
%"struct.std::_Vector_base.143" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.147" = type { %"struct.std::__uniq_ptr_data.148" }
%"struct.std::__uniq_ptr_data.148" = type { %"class.std::__uniq_ptr_impl.149" }
%"class.std::__uniq_ptr_impl.149" = type { %"class.std::tuple.150" }
%"class.std::tuple.150" = type { %"struct.std::_Tuple_impl.151" }
%"struct.std::_Tuple_impl.151" = type { %"struct.std::_Head_base.154" }
%"struct.std::_Head_base.154" = type { ptr }
%class.HighsMipAnalysis = type { ptr, %"class.std::__cxx11::basic_string", %struct.HighsTimerClock, i8, %"class.std::vector.87", %"class.std::vector.87" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%struct.HighsTimerClock = type { ptr, %"class.std::vector.26" }
%"class.std::vector.26" = type { %"struct.std::_Vector_base.27" }
%"struct.std::_Vector_base.27" = 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.HighsTimer = type <{ ptr, double, i32, [4 x i8], %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.155", i32, i32, i32, [4 x i8] }>
%"class.std::vector.155" = type { %"struct.std::_Vector_base.156" }
%"struct.std::_Vector_base.156" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsMipSolverData = type <{ ptr, %class.HighsCutPool, %class.HighsConflictPool, %class.HighsDomain, %class.HighsLpRelaxation, %class.HighsPseudocost, %class.HighsCliqueTable, %class.HighsImplications, %class.HighsPrimalHeuristics, %class.HighsRedcostFixing, %class.HighsObjectiveFunction, %"class.presolve::HighsPostsolveStack", i32, [4 x i8], %class.HighsLp, i8, i8, i8, i8, i32, i8, [3 x i8], i32, i32, i32, i32, [4 x i8], %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.46", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %struct.HighsSymmetries, %"class.std::shared_ptr.346", double, double, double, i64, %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", double, %struct.HighsBasis, double, i32, i32, %class.HighsCDouble, double, double, double, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i32, [4 x i8], double, double, double, double, %"class.std::vector.87", %class.HighsNodeQueue, %struct.HighsPrimaDualIntegral, [8 x i8] }>
%class.HighsCutPool = type { %class.HighsDynamicRowMatrix, %"class.std::vector.87", %"class.std::vector.160", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.46", %"class.std::unordered_multimap", %"class.std::vector.170", %"class.std::set", double, double, double, i32, i32, i32, i32, i32, %"class.std::vector.26", %"class.std::vector.175" }
%class.HighsDynamicRowMatrix = type { %"class.std::vector.62", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.46", %"class.std::set", %"class.std::vector.26" }
%"class.std::vector.62" = type { %"struct.std::_Vector_base.63" }
%"struct.std::_Vector_base.63" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.160" = type { %"struct.std::_Vector_base.161" }
%"struct.std::_Vector_base.161" = type { %"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl" }
%"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl" = type { %"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl_data" }
%"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unordered_multimap" = type { %"class.std::_Hashtable" }
%"class.std::_Hashtable" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"struct.std::__detail::_Hash_node_base" = type { ptr }
%"struct.std::__detail::_Prime_rehash_policy" = type { float, i64 }
%"class.std::vector.170" = type { %"struct.std::_Vector_base.171" }
%"struct.std::_Vector_base.171" = type { %"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<std::pair<int, int>, std::pair<int, int>, std::_Identity<std::pair<int, int>>, std::less<std::pair<int, int>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::pair<int, int>, std::pair<int, int>, std::_Identity<std::pair<int, int>>, std::less<std::pair<int, int>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::vector.175" = type { %"struct.std::_Vector_base.176" }
%"struct.std::_Vector_base.176" = type { %"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsConflictPool = type { i32, i32, %"class.std::vector.26", %"class.std::vector.160", %"class.std::vector.51", %"class.std::vector.67", %"class.std::vector.62", %"class.std::set", %"class.std::vector.26", %"class.std::vector.180" }
%"class.std::vector.51" = type { %"struct.std::_Vector_base.52" }
%"struct.std::_Vector_base.52" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.67" = type { %"struct.std::_Vector_base.68" }
%"struct.std::_Vector_base.68" = type { %"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.180" = type { %"struct.std::_Vector_base.181" }
%"struct.std::_Vector_base.181" = type { %"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsDomain = type { %"class.std::vector.46", %"class.std::vector.26", %"class.std::vector.62", %"class.std::vector.67", %"class.std::vector.72", %"class.std::vector.77", %"class.std::vector.82", %"class.std::vector.82", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.46", %"class.std::vector.26", %"struct.HighsDomain::ObjectivePropagation", ptr, %"class.std::deque", %"class.std::deque.105", i8, %"struct.HighsDomain::Reason", i32, %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %class.HighsHashTable.111, i8, %"class.std::vector.87", %"class.std::vector.87" }
%"class.std::vector.72" = type { %"struct.std::_Vector_base.73" }
%"struct.std::_Vector_base.73" = type { %"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.77" = type { %"struct.std::_Vector_base.78" }
%"struct.std::_Vector_base.78" = type { %"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.82" = type { %"struct.std::_Vector_base.83" }
%"struct.std::_Vector_base.83" = type { %"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HighsDomain::ObjectivePropagation" = type { ptr, ptr, ptr, %class.HighsCDouble, i32, double, i8, %"class.std::vector.92", %"class.std::vector.62", %"class.std::vector.87", %"class.std::vector.97" }
%"class.std::vector.92" = type { %"struct.std::_Vector_base.93" }
%"struct.std::_Vector_base.93" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.97" = type { %"struct.std::_Vector_base.98" }
%"struct.std::_Vector_base.98" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::deque" = type { %"class.std::_Deque_base" }
%"class.std::_Deque_base" = type { %"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl" }
%"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl" = type { %"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl_data" }
%"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator", %"struct.std::_Deque_iterator" }
%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }
%"class.std::deque.105" = type { %"class.std::_Deque_base.106" }
%"class.std::_Deque_base.106" = type { %"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl" }
%"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl" = type { %"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl_data" }
%"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator.110", %"struct.std::_Deque_iterator.110" }
%"struct.std::_Deque_iterator.110" = type { ptr, ptr, ptr, ptr }
%class.HighsHashTable.111 = type { %"class.std::unique_ptr.112", %"class.std::unique_ptr.15", i64, i64, i64 }
%"class.std::unique_ptr.112" = type { %"struct.std::__uniq_ptr_data.113" }
%"struct.std::__uniq_ptr_data.113" = type { %"class.std::__uniq_ptr_impl.114" }
%"class.std::__uniq_ptr_impl.114" = type { %"class.std::tuple.115" }
%"class.std::tuple.115" = type { %"struct.std::_Tuple_impl.116" }
%"struct.std::_Tuple_impl.116" = type { %"struct.std::_Head_base.119" }
%"struct.std::_Head_base.119" = type { ptr }
%"class.std::unique_ptr.15" = type { %"struct.std::__uniq_ptr_data.16" }
%"struct.std::__uniq_ptr_data.16" = type { %"class.std::__uniq_ptr_impl.17" }
%"class.std::__uniq_ptr_impl.17" = type { %"class.std::tuple.18" }
%"class.std::tuple.18" = type { %"struct.std::_Tuple_impl.19" }
%"struct.std::_Tuple_impl.19" = type { %"struct.std::_Head_base.22" }
%"struct.std::_Head_base.22" = type { ptr }
%class.HighsLpRelaxation = type <{ ptr, %class.Highs, %"class.std::vector.305", %"class.std::vector.175", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %class.HVectorBase, %class.HighsSparseVectorSum, double, i8, [7 x i8], double, %"class.std::shared_ptr", i8, [7 x i8], i64, i64, double, i64, i64, i32, i32, i8, [7 x i8] }>
%class.Highs = type { ptr, %struct.HighsSolution, %struct.HighsBasis, %struct.ICrashInfo, %class.HighsModel, %"class.std::vector.219", %class.HighsModel, %class.HighsTimer, %struct.HighsCallback, %class.HighsOptions, %class.HighsInfo, %struct.HighsRanging, %class.HighsIis, %"class.std::vector.142", i32, i32, i8, double, %"class.std::vector.87", %"class.std::vector.87", %class.HighsSparseMatrix, %class.HEkk, %struct.HighsPresolveLog, i32, i8, i32, i8, %class.PresolveComponent }
%struct.HighsSolution = type { i8, i8, %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87" }
%struct.ICrashInfo = type { i32, double, double, double, double, double, %"class.std::vector.190", %"class.std::vector.87", double }
%"class.std::vector.190" = type { %"struct.std::_Vector_base.191" }
%"struct.std::_Vector_base.191" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.219" = type { %"struct.std::_Vector_base.220" }
%"struct.std::_Vector_base.220" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsModel = type { %class.HighsLp, %class.HighsHessian }
%class.HighsHessian = type { i32, i32, %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87" }
%struct.HighsCallback = type { %"class.std::function", ptr, ptr, %"class.std::vector.224", %struct.HighsCallbackDataOut, %struct.HighsCallbackDataIn }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%"class.std::vector.224" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%struct.HighsCallbackDataOut = type { i32, double, i32, i32, i32, double, i64, i64, double, double, double, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32 }
%struct.HighsCallbackDataIn = type { i32, ptr }
%class.HighsOptions = type <{ %struct.HighsOptionsStruct, %"class.std::vector.228", i32, [4 x i8] }>
%struct.HighsOptionsStruct = type { ptr, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i8, i8, i32, i32, double, i32, i32, i32, i8, i32, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8, i8, i8, i8, double, double, double, double, double, double, double, double, double, double, double, i8, i8, i8, i8, i32, double, i8, i8, %"class.std::__cxx11::basic_string", double, i32, i32, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, i8, i8, %"class.std::__cxx11::basic_string", i8, i32, %struct.HighsLogOptions }
%struct.HighsLogOptions = type <{ ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::function", ptr, i8, [7 x i8] }>
%"class.std::vector.228" = type { %"struct.std::_Vector_base.229" }
%"struct.std::_Vector_base.229" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsInfo = type { ptr, %struct.HighsInfoStruct, %"class.std::vector.233" }
%struct.HighsInfoStruct = type { i8, i64, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, double, double, i32, double, double, double, double, double }
%"class.std::vector.233" = type { %"struct.std::_Vector_base.234" }
%"struct.std::_Vector_base.234" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsRanging = type { i8, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord }
%struct.HighsRangingRecord = type { %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26" }
%class.HighsIis = type { i8, i32, %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.238" }
%"class.std::vector.238" = type { %"struct.std::_Vector_base.239" }
%"struct.std::_Vector_base.239" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87" }
%class.HEkk = type { ptr, ptr, ptr, %class.HighsSimplexAnalysis, %class.HighsLp, %"class.std::__cxx11::basic_string", %struct.HighsSimplexStatus, [3 x i8], %struct.HighsSimplexInfo, i32, %struct.SimplexBasis, %class.HighsHashTable.266, %class.HighsRandom, %"class.std::vector.87", %"class.std::vector.87", i8, %class.HighsSparseMatrix, %class.HighsSparseMatrix, %class.HSimplexNla, %struct.HotStart, double, double, double, i32, i32, i32, i32, i8, i8, i32, i32, i32, %"class.std::vector.26", %"class.std::vector.87", %struct.HighsRayRecord, %struct.HighsRayRecord, i32, i32, i32, double, %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", double, double, double, i32, i32, i8, i32, i8, i8, i8, i8, double, %"class.std::vector.285", %"class.std::vector.87", %struct.HighsSimplexStats }
%class.HighsSimplexAnalysis = type { ptr, %"class.std::vector.243", %"class.std::vector.243", ptr, i32, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %struct.HighsLogOptions, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, double, i32, i32, double, double, i32, double, double, i32, double, double, double, double, double, double, double, double, double, double, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, [4 x i8], %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, double, double, i32, double, double, i32, i32, double, double, %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.248", %"class.std::unique_ptr.253", i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, double, i32, i32, double, double, double, i8, double, double, i32, i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, i32, i32, [10 x %"struct.HighsSimplexAnalysis::AnIterOpRec"], i32, i32, [22 x %"struct.HighsSimplexAnalysis::AnIterTraceRec"], [12 x i32], [3 x i32], [4 x i8], %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution }
%"class.std::vector.243" = type { %"struct.std::_Vector_base.244" }
%"struct.std::_Vector_base.244" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.248" = type { %"struct.std::_Vector_base.249" }
%"struct.std::_Vector_base.249" = type { %"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl" }
%"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl" = type { %"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl_data" }
%"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.253" = type { %"struct.std::__uniq_ptr_data.254" }
%"struct.std::__uniq_ptr_data.254" = type { %"class.std::__uniq_ptr_impl.255" }
%"class.std::__uniq_ptr_impl.255" = type { %"class.std::tuple.256" }
%"class.std::tuple.256" = type { %"struct.std::_Tuple_impl.257" }
%"struct.std::_Tuple_impl.257" = type { %"struct.std::_Head_base.260" }
%"struct.std::_Head_base.260" = type { ptr }
%"struct.HighsSimplexAnalysis::AnIterOpRec" = type { double, double, i32, i32, i32, i32, double, i32, %"class.std::__cxx11::basic_string", %struct.HighsValueDistribution }
%"struct.HighsSimplexAnalysis::AnIterTraceRec" = type { double, double, [10 x double], double, i32, i32, i32 }
%struct.HighsValueDistribution = type <{ %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, i32, [4 x i8], double, double, %"class.std::vector.87", %"class.std::vector.26", i32, [4 x i8] }>
%struct.HighsSimplexStatus = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
%struct.HighsSimplexInfo = type <{ %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", i32, i32, i8, i8, [6 x i8], %struct.SimplexBasis, i32, i32, i32, [4 x i8], %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", i32, i32, i32, i32, double, double, double, double, i32, i32, double, double, double, double, double, double, double, double, double, double, i8, [7 x i8], double, double, i32, [4 x i8], double, double, double, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, [4 x i8], double, double, i32, [4 x i8], double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, [4 x i8] }>
%struct.SimplexBasis = type { %"class.std::vector.26", %"class.std::vector.261", %"class.std::vector.261", i64, i32, i32, %"class.std::__cxx11::basic_string" }
%"class.std::vector.261" = type { %"struct.std::_Vector_base.262" }
%"struct.std::_Vector_base.262" = type { %"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl" }
%"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl" = type { %"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable.266 = type { %"class.std::unique_ptr.267", %"class.std::unique_ptr.15", i64, i64, i64 }
%"class.std::unique_ptr.267" = type { %"struct.std::__uniq_ptr_data.268" }
%"struct.std::__uniq_ptr_data.268" = type { %"class.std::__uniq_ptr_impl.269" }
%"class.std::__uniq_ptr_impl.269" = type { %"class.std::tuple.270" }
%"class.std::tuple.270" = type { %"struct.std::_Tuple_impl.271" }
%"struct.std::_Tuple_impl.271" = type { %"struct.std::_Head_base.274" }
%"struct.std::_Head_base.274" = type { ptr }
%class.HighsRandom = type { i64 }
%class.HSimplexNla = type { ptr, ptr, ptr, ptr, ptr, ptr, %class.HFactor, i8, double, %struct.ProductFormUpdate, %struct.SimplexIterate }
%class.HFactor = type { double, double, i32, %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %struct.RefactorInfo, i32, i32, i32, i32, i32, i32, i32, double, i8, ptr, ptr, ptr, ptr, double, double, i32, double, %"class.std::unique_ptr.275", %struct.HighsLogOptions, i8, i8, i32, i32, ptr, i32, %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.283", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", i32, i32, %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %class.HVectorBase }
%struct.RefactorInfo = type { i8, %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.261", double }
%"class.std::unique_ptr.275" = type { %"struct.std::__uniq_ptr_data.276" }
%"struct.std::__uniq_ptr_data.276" = type { %"class.std::__uniq_ptr_impl.277" }
%"class.std::__uniq_ptr_impl.277" = type { %"class.std::tuple.278" }
%"class.std::tuple.278" = type { %"struct.std::_Tuple_impl.279" }
%"struct.std::_Tuple_impl.279" = type { %"struct.std::_Head_base.282" }
%"struct.std::_Head_base.282" = type { ptr }
%"class.std::vector.283" = type { %"struct.std::_Vector_base.284" }
%"struct.std::_Vector_base.284" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.ProductFormUpdate = type { i8, i32, i32, %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87" }
%struct.SimplexIterate = type { i8, %struct.SimplexBasis, %struct.InvertibleRepresentation, %"class.std::vector.87" }
%struct.InvertibleRepresentation = type { %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.87" }
%struct.HotStart = type { i8, %struct.RefactorInfo, %"class.std::vector.261" }
%struct.HighsRayRecord = type { i32, i32, %"class.std::vector.87" }
%"class.std::vector.285" = type { %"struct.std::_Vector_base.286" }
%"struct.std::_Vector_base.286" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsSimplexStats = type { i8, i32, i32, i32, i32, double, double, double, double }
%struct.HighsPresolveLog = type { %"class.std::vector.290" }
%"class.std::vector.290" = type { %"struct.std::_Vector_base.291" }
%"struct.std::_Vector_base.291" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.PresolveComponent = type { %class.HighsComponent.base, %struct.PresolveComponentInfo, %struct.PresolveComponentData, ptr, ptr, i32, i32 }
%class.HighsComponent.base = type <{ ptr, %struct.HighsComponentInfo, %struct.HighsComponentData, %struct.HighsComponentOptions }>
%struct.HighsComponentInfo = type { i8 }
%struct.HighsComponentData = type { i8 }
%struct.HighsComponentOptions = type { i8 }
%struct.PresolveComponentInfo = type { ptr, %struct.HighsComponentInfo, i32, i32, i32, double, double }
%struct.PresolveComponentData = type { ptr, %struct.HighsComponentData, %class.HighsLp, %"class.presolve::HighsPostsolveStack", %struct.HighsSolution, %struct.HighsBasis, %struct.HighsPresolveLog }
%"class.std::vector.305" = type { %"struct.std::_Vector_base.306" }
%"struct.std::_Vector_base.306" = type { %"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HVectorBase = type { i32, i32, %"class.std::vector.26", %"class.std::vector.87", double, %"class.std::vector.283", %"class.std::vector.26", ptr, i8, i32, %"class.std::vector.26", %"class.std::vector.87" }
%class.HighsSparseVectorSum = type { %"class.std::vector.82", %"class.std::vector.26" }
%"class.std::shared_ptr" = type { %"class.std::__shared_ptr" }
%"class.std::__shared_ptr" = type { ptr, %"class.std::__shared_count" }
%"class.std::__shared_count" = type { ptr }
%class.HighsPseudocost = type { %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", double, double, double, double, i64, i64, i64, i32, double }
%class.HighsCliqueTable = type { %"class.std::vector", %"class.std::vector.3", %"class.std::vector.8", %class.HighsHashTable, %"class.std::set", %"class.std::vector.26", %"class.std::vector.31", %"class.std::vector.26", %"class.std::vector", %"class.std::vector.26", %"class.std::vector.36", %"class.std::vector.26", %"class.std::vector.41", %"class.std::vector.46", %"class.std::vector.46", %"class.std::vector.51", %"class.std::vector.26", %class.HighsRandom, i32, i32, i32, i32, i8, i64 }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable = type { %"class.std::unique_ptr", %"class.std::unique_ptr.15", i64, i64, i64 }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.14" }
%"struct.std::_Head_base.14" = type { ptr }
%"class.std::vector.31" = type { %"struct.std::_Vector_base.32" }
%"struct.std::_Vector_base.32" = type { %"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.36" = type { %"struct.std::_Vector_base.37" }
%"struct.std::_Vector_base.37" = type { %"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.41" = type { %"struct.std::_Vector_base.42" }
%"struct.std::_Vector_base.42" = type { %"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsImplications = type { i32, %"class.std::vector.310", i64, %"class.std::vector.315", %"class.std::vector.315", ptr, %"class.std::vector.320", %"class.std::vector.46", %"class.std::function.325" }
%"class.std::vector.310" = type { %"struct.std::_Vector_base.311" }
%"struct.std::_Vector_base.311" = type { %"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.315" = type { %"struct.std::_Vector_base.316" }
%"struct.std::_Vector_base.316" = type { %"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.320" = type { %"struct.std::_Vector_base.321" }
%"struct.std::_Vector_base.321" = type { %"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::function.325" = type { %"class.std::_Function_base", ptr }
%class.HighsPrimalHeuristics = type { ptr, i64, i64, i64, i64, double, i32, double, i32, %class.HighsRandom, %"class.std::vector.26" }
%class.HighsRedcostFixing = type { %"class.std::vector.327", %"class.std::vector.327" }
%"class.std::vector.327" = type { %"struct.std::_Vector_base.328" }
%"struct.std::_Vector_base.328" = type { %"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsObjectiveFunction = type { ptr, double, i32, i32, %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.26" }
%"class.presolve::HighsPostsolveStack" = type { i64, double, double, double, double, %class.HighsDataStack, %"class.std::vector.295", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.46", %"class.std::vector.300", %"class.std::vector.300", i32, i32 }
%class.HighsDataStack = type { %"class.std::vector.283", i64 }
%"class.std::vector.295" = type { %"struct.std::_Vector_base.296" }
%"struct.std::_Vector_base.296" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.300" = type { %"struct.std::_Vector_base.301" }
%"struct.std::_Vector_base.301" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsLp = type { i32, i32, %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87", %class.HighsSparseMatrix, i32, double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, %"class.std::vector.155", %"class.std::vector.155", %"class.std::vector.195", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%"class.std::vector.195" = type { %"struct.std::_Vector_base.196" }
%"struct.std::_Vector_base.196" = type { %"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsNameHash = type { %"class.std::unordered_map" }
%"class.std::unordered_map" = type { %"class.std::_Hashtable.200" }
%"class.std::_Hashtable.200" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%struct.HighsScale = type { i32, i8, i32, i32, double, %"class.std::vector.87", %"class.std::vector.87" }
%struct.HighsLpMods = type { %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.195", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.26", %"class.std::vector.87", %"class.std::vector.87", %"class.std::vector.87" }
%"class.std::vector.46" = type { %"struct.std::_Vector_base.47" }
%"struct.std::_Vector_base.47" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsSymmetries = type { %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.26", %"class.std::vector.332", %class.HighsHashTable.337, i32, i32 }
%"class.std::vector.332" = type { %"struct.std::_Vector_base.333" }
%"struct.std::_Vector_base.333" = type { %"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable.337 = type { %"class.std::unique_ptr.338", %"class.std::unique_ptr.15", i64, i64, i64 }
%"class.std::unique_ptr.338" = type { %"struct.std::__uniq_ptr_data.339" }
%"struct.std::__uniq_ptr_data.339" = type { %"class.std::__uniq_ptr_impl.340" }
%"class.std::__uniq_ptr_impl.340" = type { %"class.std::tuple.341" }
%"class.std::tuple.341" = type { %"struct.std::_Tuple_impl.342" }
%"struct.std::_Tuple_impl.342" = type { %"struct.std::_Head_base.345" }
%"struct.std::_Head_base.345" = type { ptr }
%"class.std::shared_ptr.346" = type { %"class.std::__shared_ptr.347" }
%"class.std::__shared_ptr.347" = type { ptr, %"class.std::__shared_count" }
%struct.HighsBasis = type { i8, i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::vector.185", %"class.std::vector.185" }
%"class.std::vector.185" = type { %"struct.std::_Vector_base.186" }
%"struct.std::_Vector_base.186" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsCDouble = type { double, double }
%class.HighsNodeQueue = type <{ %"class.std::unique_ptr.349", %"class.std::vector.357", %"class.std::priority_queue", %"class.std::unique_ptr.367", %"class.std::unique_ptr.367", i64, i64, i64, i64, i64, i64, i64, double, i32, [4 x i8] }>
%"class.std::unique_ptr.349" = type { %"struct.std::__uniq_ptr_data.350" }
%"struct.std::__uniq_ptr_data.350" = type { %"class.std::__uniq_ptr_impl.351" }
%"class.std::__uniq_ptr_impl.351" = type { %"class.std::tuple.352" }
%"class.std::tuple.352" = type { %"struct.std::_Tuple_impl.353" }
%"struct.std::_Tuple_impl.353" = type { %"struct.std::_Head_base.356" }
%"struct.std::_Head_base.356" = type { ptr }
%"class.std::vector.357" = type { %"struct.std::_Vector_base.358" }
%"struct.std::_Vector_base.358" = type { %"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::priority_queue" = type <{ %"class.std::vector.362", [8 x i8] }>
%"class.std::vector.362" = type { %"struct.std::_Vector_base.363" }
%"struct.std::_Vector_base.363" = type { %"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl" }
%"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl" = type { %"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl_data" }
%"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.367" = type { %"struct.std::__uniq_ptr_data.368" }
%"struct.std::__uniq_ptr_data.368" = type { %"class.std::__uniq_ptr_impl.369" }
%"class.std::__uniq_ptr_impl.369" = type { %"class.std::tuple.370" }
%"class.std::tuple.370" = type { %"struct.std::_Tuple_impl.371" }
%"struct.std::_Tuple_impl.371" = type { %"struct.std::_Head_base.374" }
%"struct.std::_Head_base.374" = type { ptr }
%struct.HighsPrimaDualIntegral = type { double, double, double, double, double }

@_ZL10kHighsIInf = external hidden constant i32, align 4

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK16HighsCliqueTable19resolveSubstitutionERNS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 4 dereferenceable(4)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4)) #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef, i32 noundef, i1 noundef zeroext, i32 noundef) #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(824), i32, i32) #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef, double noundef, i64) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason11unspecifiedEv() #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(824)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488), i32, i32) #2 align 2

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HighsCliqueTable9addCliqueERK14HighsMipSolverPNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(496) %1, ptr noundef %2, i32 noundef %3, i1 noundef zeroext %4, i32 noundef %5) #2 align 2 {
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i8, align 1
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i8, align 1
  %18 = alloca %"struct.HighsDomain::Reason", align 4
  %19 = alloca i8, align 1
  %20 = alloca %"struct.HighsDomain::Reason", align 4
  %21 = alloca i8, align 1
  %22 = alloca i32, align 4
  %23 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %24 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %25 = alloca i32, align 4
  %26 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %27 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %28 = alloca i8, align 1
  %29 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %30 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %34 = alloca %"struct.std::pair.379", align 8
  %35 = alloca %"struct.std::pair.381", align 8
  %36 = alloca double, align 8
  %37 = alloca { double, i32 }, align 8
  %38 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %39 = alloca %"struct.std::pair.379", align 8
  %40 = alloca %"struct.std::pair.381", align 8
  %41 = alloca double, align 8
  %42 = alloca { double, i32 }, align 8
  %43 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %44 = alloca %"struct.std::pair.379", align 8
  %45 = alloca %"struct.std::pair.381", align 8
  %46 = alloca double, align 8
  %47 = alloca { double, i32 }, align 8
  %48 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %49 = alloca %"struct.std::pair.379", align 8
  %50 = alloca %"struct.std::pair.381", align 8
  %51 = alloca double, align 8
  %52 = alloca { double, i32 }, align 8
  %53 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %54 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %55 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %56 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %57 = alloca i32, align 4
  %58 = alloca i32, align 4
  %59 = alloca i8, align 1
  %60 = alloca %"struct.HighsDomain::Reason", align 4
  %61 = alloca ptr, align 8
  %62 = alloca %class.anon.384, align 8
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store i32 %3, ptr %10, align 4, !tbaa !9
  %63 = zext i1 %4 to i8
  store i8 %63, ptr %11, align 1, !tbaa !11
  store i32 %5, ptr %12, align 4, !tbaa !9
  %64 = load ptr, ptr %7, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #6
  %65 = load ptr, ptr %8, align 8, !tbaa !5
  %66 = getelementptr inbounds %class.HighsMipSolver, ptr %65, i32 0, i32 25
  %67 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %66) #6
  %68 = getelementptr inbounds %struct.HighsMipSolverData, ptr %67, i32 0, i32 3
  store ptr %68, ptr %13, align 8, !tbaa !5
  %69 = load ptr, ptr %8, align 8, !tbaa !5
  %70 = getelementptr inbounds %class.HighsMipSolver, ptr %69, i32 0, i32 25
  %71 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %70) #6
  %72 = getelementptr inbounds i8, ptr %71, i64 26800
  %73 = load ptr, ptr %9, align 8, !tbaa !5
  %74 = load i32, ptr %10, align 4, !tbaa !9
  call void @_ZNK13HighsDebugSol11checkCliqueEPKN16HighsCliqueTable9CliqueVarEi(ptr noundef nonnull align 1 dereferenceable(1) %72, ptr noundef %73, i32 noundef %74)
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  store i32 0, ptr %14, align 4, !tbaa !9
  br label %75

75:                                               ; preds = %228, %6
  %76 = load i32, ptr %14, align 4, !tbaa !9
  %77 = load i32, ptr %10, align 4, !tbaa !9
  %78 = icmp ne i32 %76, %77
  br i1 %78, label %80, label %79

79:                                               ; preds = %75
  store i32 2, ptr %15, align 4
  br label %231

80:                                               ; preds = %75
  %81 = load ptr, ptr %9, align 8, !tbaa !5
  %82 = load i32, ptr %14, align 4, !tbaa !9
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %81, i64 %83
  call void @_ZNK16HighsCliqueTable19resolveSubstitutionERNS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %64, ptr noundef nonnull align 4 dereferenceable(4) %84)
  %85 = load ptr, ptr %13, align 8, !tbaa !5
  %86 = load ptr, ptr %9, align 8, !tbaa !5
  %87 = load i32, ptr %14, align 4, !tbaa !9
  %88 = sext i32 %87 to i64
  %89 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %86, i64 %88
  %90 = load i32, ptr %89, align 4
  %91 = and i32 %90, 2147483647
  %92 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %85, i32 noundef %91)
  br i1 %92, label %93, label %227

93:                                               ; preds = %80
  %94 = load ptr, ptr %9, align 8, !tbaa !5
  %95 = load i32, ptr %14, align 4, !tbaa !9
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %94, i64 %96
  %98 = load i32, ptr %97, align 4
  %99 = lshr i32 %98, 31
  %100 = sitofp i32 %99 to double
  %101 = load ptr, ptr %13, align 8, !tbaa !5
  %102 = getelementptr inbounds %class.HighsDomain, ptr %101, i32 0, i32 25
  %103 = load ptr, ptr %9, align 8, !tbaa !5
  %104 = load i32, ptr %14, align 4, !tbaa !9
  %105 = sext i32 %104 to i64
  %106 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %103, i64 %105
  %107 = load i32, ptr %106, align 4
  %108 = and i32 %107, 2147483647
  %109 = zext i32 %108 to i64
  %110 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %102, i64 noundef %109) #6
  %111 = load double, ptr %110, align 8, !tbaa !13
  %112 = fcmp oeq double %100, %111
  br i1 %112, label %113, label %226

113:                                              ; preds = %93
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  store i32 0, ptr %16, align 4, !tbaa !9
  br label %114

114:                                              ; preds = %164, %113
  %115 = load i32, ptr %16, align 4, !tbaa !9
  %116 = load i32, ptr %14, align 4, !tbaa !9
  %117 = icmp slt i32 %115, %116
  br i1 %117, label %118, label %167

118:                                              ; preds = %114
  call void @llvm.lifetime.start.p0(i64 1, ptr %17) #6
  %119 = load ptr, ptr %13, align 8, !tbaa !5
  %120 = load ptr, ptr %9, align 8, !tbaa !5
  %121 = load i32, ptr %16, align 4, !tbaa !9
  %122 = sext i32 %121 to i64
  %123 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %120, i64 %122
  %124 = load i32, ptr %123, align 4
  %125 = and i32 %124, 2147483647
  %126 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %119, i32 noundef %125)
  %127 = zext i1 %126 to i8
  store i8 %127, ptr %17, align 1, !tbaa !11
  %128 = load ptr, ptr %13, align 8, !tbaa !5
  %129 = load ptr, ptr %9, align 8, !tbaa !5
  %130 = load i32, ptr %16, align 4, !tbaa !9
  %131 = sext i32 %130 to i64
  %132 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %129, i64 %131
  %133 = load i32, ptr %132, align 4
  %134 = and i32 %133, 2147483647
  %135 = load ptr, ptr %9, align 8, !tbaa !5
  %136 = load i32, ptr %16, align 4, !tbaa !9
  %137 = sext i32 %136 to i64
  %138 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %135, i64 %137
  %139 = load i32, ptr %138, align 4
  %140 = lshr i32 %139, 31
  %141 = sub nsw i32 1, %140
  %142 = sitofp i32 %141 to double
  %143 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %143, ptr %18, align 4
  %144 = load i64, ptr %18, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %128, i32 noundef %134, double noundef %142, i64 %144)
  %145 = load ptr, ptr %13, align 8, !tbaa !5
  %146 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %145)
  br i1 %146, label %147, label %148

147:                                              ; preds = %118
  store i32 1, ptr %15, align 4
  br label %161

148:                                              ; preds = %118
  %149 = load i8, ptr %17, align 1, !tbaa !11, !range !15, !noundef !16
  %150 = trunc i8 %149 to i1
  br i1 %150, label %160, label %151

151:                                              ; preds = %148
  %152 = getelementptr inbounds %class.HighsCliqueTable, ptr %64, i32 0, i32 18
  %153 = load i32, ptr %152, align 8, !tbaa !17
  %154 = add nsw i32 %153, 1
  store i32 %154, ptr %152, align 8, !tbaa !17
  %155 = getelementptr inbounds %class.HighsCliqueTable, ptr %64, i32 0, i32 8
  %156 = load ptr, ptr %9, align 8, !tbaa !5
  %157 = load i32, ptr %16, align 4, !tbaa !9
  %158 = sext i32 %157 to i64
  %159 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %156, i64 %158
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %155, ptr noundef nonnull align 4 dereferenceable(4) %159)
  br label %160

160:                                              ; preds = %151, %148
  store i32 0, ptr %15, align 4
  br label %161

161:                                              ; preds = %160, %147
  call void @llvm.lifetime.end.p0(i64 1, ptr %17) #6
  %162 = load i32, ptr %15, align 4
  switch i32 %162, label %225 [
    i32 0, label %163
  ]

163:                                              ; preds = %161
  br label %164

164:                                              ; preds = %163
  %165 = load i32, ptr %16, align 4, !tbaa !9
  %166 = add nsw i32 %165, 1
  store i32 %166, ptr %16, align 4, !tbaa !9
  br label %114, !llvm.loop !78

167:                                              ; preds = %114
  %168 = load i32, ptr %14, align 4, !tbaa !9
  %169 = add nsw i32 %168, 1
  store i32 %169, ptr %16, align 4, !tbaa !9
  br label %170

170:                                              ; preds = %220, %167
  %171 = load i32, ptr %16, align 4, !tbaa !9
  %172 = load i32, ptr %10, align 4, !tbaa !9
  %173 = icmp slt i32 %171, %172
  br i1 %173, label %174, label %223

174:                                              ; preds = %170
  call void @llvm.lifetime.start.p0(i64 1, ptr %19) #6
  %175 = load ptr, ptr %13, align 8, !tbaa !5
  %176 = load ptr, ptr %9, align 8, !tbaa !5
  %177 = load i32, ptr %16, align 4, !tbaa !9
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %176, i64 %178
  %180 = load i32, ptr %179, align 4
  %181 = and i32 %180, 2147483647
  %182 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %175, i32 noundef %181)
  %183 = zext i1 %182 to i8
  store i8 %183, ptr %19, align 1, !tbaa !11
  %184 = load ptr, ptr %13, align 8, !tbaa !5
  %185 = load ptr, ptr %9, align 8, !tbaa !5
  %186 = load i32, ptr %16, align 4, !tbaa !9
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %185, i64 %187
  %189 = load i32, ptr %188, align 4
  %190 = and i32 %189, 2147483647
  %191 = load ptr, ptr %9, align 8, !tbaa !5
  %192 = load i32, ptr %16, align 4, !tbaa !9
  %193 = sext i32 %192 to i64
  %194 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %191, i64 %193
  %195 = load i32, ptr %194, align 4
  %196 = lshr i32 %195, 31
  %197 = sub nsw i32 1, %196
  %198 = sitofp i32 %197 to double
  %199 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %199, ptr %20, align 4
  %200 = load i64, ptr %20, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %184, i32 noundef %190, double noundef %198, i64 %200)
  %201 = load ptr, ptr %13, align 8, !tbaa !5
  %202 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %201)
  br i1 %202, label %203, label %204

203:                                              ; preds = %174
  store i32 1, ptr %15, align 4
  br label %217

204:                                              ; preds = %174
  %205 = load i8, ptr %19, align 1, !tbaa !11, !range !15, !noundef !16
  %206 = trunc i8 %205 to i1
  br i1 %206, label %216, label %207

207:                                              ; preds = %204
  %208 = getelementptr inbounds %class.HighsCliqueTable, ptr %64, i32 0, i32 18
  %209 = load i32, ptr %208, align 8, !tbaa !17
  %210 = add nsw i32 %209, 1
  store i32 %210, ptr %208, align 8, !tbaa !17
  %211 = getelementptr inbounds %class.HighsCliqueTable, ptr %64, i32 0, i32 8
  %212 = load ptr, ptr %9, align 8, !tbaa !5
  %213 = load i32, ptr %16, align 4, !tbaa !9
  %214 = sext i32 %213 to i64
  %215 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %212, i64 %214
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %211, ptr noundef nonnull align 4 dereferenceable(4) %215)
  br label %216

216:                                              ; preds = %207, %204
  store i32 0, ptr %15, align 4
  br label %217

217:                                              ; preds = %216, %203
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #6
  %218 = load i32, ptr %15, align 4
  switch i32 %218, label %225 [
    i32 0, label %219
  ]

219:                                              ; preds = %217
  br label %220

220:                                              ; preds = %219
  %221 = load i32, ptr %16, align 4, !tbaa !9
  %222 = add nsw i32 %221, 1
  store i32 %222, ptr %16, align 4, !tbaa !9
  br label %170, !llvm.loop !80

223:                                              ; preds = %170
  %224 = load ptr, ptr %13, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %64, ptr noundef nonnull align 8 dereferenceable(824) %224)
  store i32 1, ptr %15, align 4
  br label %225

225:                                              ; preds = %223, %217, %161
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  br label %231

226:                                              ; preds = %93
  br label %227

227:                                              ; preds = %226, %80
  br label %228

228:                                              ; preds = %227
  %229 = load i32, ptr %14, align 4, !tbaa !9
  %230 = add nsw i32 %229, 1
  store i32 %230, ptr %14, align 4, !tbaa !9
  br label %75, !llvm.loop !81

231:                                              ; preds = %225, %79
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  %232 = load i32, ptr %15, align 4
  switch i32 %232, label %657 [
    i32 2, label %233
  ]

233:                                              ; preds = %231
  %234 = load i32, ptr %10, align 4, !tbaa !9
  %235 = icmp sle i32 %234, 100
  br i1 %235, label %236, label %628

236:                                              ; preds = %233
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #6
  store i8 0, ptr %21, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #6
  store i32 0, ptr %22, align 4, !tbaa !9
  br label %237

237:                                              ; preds = %612, %236
  %238 = load i32, ptr %22, align 4, !tbaa !9
  %239 = load i32, ptr %10, align 4, !tbaa !9
  %240 = sub nsw i32 %239, 1
  %241 = icmp slt i32 %238, %240
  br i1 %241, label %243, label %242

242:                                              ; preds = %237
  store i32 11, ptr %15, align 4
  br label %615

243:                                              ; preds = %237
  %244 = load ptr, ptr %13, align 8, !tbaa !5
  %245 = load ptr, ptr %9, align 8, !tbaa !5
  %246 = load i32, ptr %22, align 4, !tbaa !9
  %247 = sext i32 %246 to i64
  %248 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %245, i64 %247
  %249 = load i32, ptr %248, align 4
  %250 = and i32 %249, 2147483647
  %251 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %244, i32 noundef %250)
  br i1 %251, label %252, label %253

252:                                              ; preds = %243
  br label %612

253:                                              ; preds = %243
  %254 = load ptr, ptr %9, align 8, !tbaa !5
  %255 = load i32, ptr %22, align 4, !tbaa !9
  %256 = sext i32 %255 to i64
  %257 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %254, i64 %256
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %23, ptr align 4 %257, i64 4, i1 false), !tbaa.struct !82
  %258 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %23, i32 0, i32 0
  %259 = load i32, ptr %258, align 4
  %260 = call noundef i32 @_ZNK16HighsCliqueTable10numCliquesENS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %64, i32 %259)
  %261 = icmp eq i32 %260, 0
  br i1 %261, label %262, label %274

262:                                              ; preds = %253
  %263 = load ptr, ptr %9, align 8, !tbaa !5
  %264 = load i32, ptr %22, align 4, !tbaa !9
  %265 = sext i32 %264 to i64
  %266 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %263, i64 %265
  %267 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %266)
  %268 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %24, i32 0, i32 0
  store i32 %267, ptr %268, align 4
  %269 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %24, i32 0, i32 0
  %270 = load i32, ptr %269, align 4
  %271 = call noundef i32 @_ZNK16HighsCliqueTable10numCliquesENS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %64, i32 %270)
  %272 = icmp eq i32 %271, 0
  br i1 %272, label %273, label %274

273:                                              ; preds = %262
  store i8 1, ptr %21, align 1, !tbaa !11
  br label %612

274:                                              ; preds = %262, %253
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #6
  %275 = load i32, ptr %22, align 4, !tbaa !9
  %276 = add nsw i32 %275, 1
  store i32 %276, ptr %25, align 4, !tbaa !9
  br label %277

277:                                              ; preds = %606, %274
  %278 = load i32, ptr %25, align 4, !tbaa !9
  %279 = load i32, ptr %10, align 4, !tbaa !9
  %280 = icmp slt i32 %278, %279
  br i1 %280, label %282, label %281

281:                                              ; preds = %277
  store i32 14, ptr %15, align 4
  br label %609

282:                                              ; preds = %277
  %283 = load ptr, ptr %13, align 8, !tbaa !5
  %284 = load ptr, ptr %9, align 8, !tbaa !5
  %285 = load i32, ptr %25, align 4, !tbaa !9
  %286 = sext i32 %285 to i64
  %287 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %284, i64 %286
  %288 = load i32, ptr %287, align 4
  %289 = and i32 %288, 2147483647
  %290 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %283, i32 noundef %289)
  br i1 %290, label %291, label %292

291:                                              ; preds = %282
  br label %606

292:                                              ; preds = %282
  %293 = load ptr, ptr %9, align 8, !tbaa !5
  %294 = load i32, ptr %22, align 4, !tbaa !9
  %295 = sext i32 %294 to i64
  %296 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %293, i64 %295
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %26, ptr align 4 %296, i64 4, i1 false), !tbaa.struct !82
  %297 = load ptr, ptr %9, align 8, !tbaa !5
  %298 = load i32, ptr %25, align 4, !tbaa !9
  %299 = sext i32 %298 to i64
  %300 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %297, i64 %299
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %27, ptr align 4 %300, i64 4, i1 false), !tbaa.struct !82
  %301 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %26, i32 0, i32 0
  %302 = load i32, ptr %301, align 4
  %303 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %27, i32 0, i32 0
  %304 = load i32, ptr %303, align 4
  %305 = call noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %64, i32 %302, i32 %304)
  br i1 %305, label %306, label %307

306:                                              ; preds = %292
  br label %606

307:                                              ; preds = %292
  store i8 1, ptr %21, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %28) #6
  %308 = load ptr, ptr %13, align 8, !tbaa !5
  %309 = load ptr, ptr %9, align 8, !tbaa !5
  %310 = load i32, ptr %22, align 4, !tbaa !9
  %311 = sext i32 %310 to i64
  %312 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %309, i64 %311
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %29, ptr align 4 %312, i64 4, i1 false), !tbaa.struct !82
  %313 = load ptr, ptr %9, align 8, !tbaa !5
  %314 = load i32, ptr %25, align 4, !tbaa !9
  %315 = sext i32 %314 to i64
  %316 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %313, i64 %315
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %30, ptr align 4 %316, i64 4, i1 false), !tbaa.struct !82
  %317 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %29, i32 0, i32 0
  %318 = load i32, ptr %317, align 4
  %319 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %30, i32 0, i32 0
  %320 = load i32, ptr %319, align 4
  %321 = call noundef zeroext i1 @_ZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_(ptr noundef nonnull align 8 dereferenceable(488) %64, ptr noundef nonnull align 8 dereferenceable(824) %308, i32 %318, i32 %320)
  %322 = zext i1 %321 to i8
  store i8 %322, ptr %28, align 1, !tbaa !11
  %323 = load ptr, ptr %13, align 8, !tbaa !5
  %324 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %323)
  br i1 %324, label %325, label %326

325:                                              ; preds = %307
  store i32 1, ptr %15, align 4
  br label %603

326:                                              ; preds = %307
  %327 = load ptr, ptr %8, align 8, !tbaa !5
  %328 = getelementptr inbounds %class.HighsMipSolver, ptr %327, i32 0, i32 25
  %329 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %328) #6
  %330 = getelementptr inbounds %struct.HighsMipSolverData, ptr %329, i32 0, i32 80
  %331 = call noundef zeroext i1 @_ZNK14HighsNodeQueue5emptyEv(ptr noundef nonnull align 8 dereferenceable(148) %330)
  br i1 %331, label %531, label %332

332:                                              ; preds = %326
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #6
  %333 = load ptr, ptr %9, align 8, !tbaa !5
  %334 = load i32, ptr %22, align 4, !tbaa !9
  %335 = sext i32 %334 to i64
  %336 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %333, i64 %335
  %337 = load i32, ptr %336, align 4
  %338 = lshr i32 %337, 31
  %339 = icmp eq i32 %338, 1
  br i1 %339, label %340, label %352

340:                                              ; preds = %332
  %341 = load ptr, ptr %8, align 8, !tbaa !5
  %342 = getelementptr inbounds %class.HighsMipSolver, ptr %341, i32 0, i32 25
  %343 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %342) #6
  %344 = getelementptr inbounds %struct.HighsMipSolverData, ptr %343, i32 0, i32 80
  %345 = load ptr, ptr %9, align 8, !tbaa !5
  %346 = load i32, ptr %22, align 4, !tbaa !9
  %347 = sext i32 %346 to i64
  %348 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %345, i64 %347
  %349 = load i32, ptr %348, align 4
  %350 = and i32 %349, 2147483647
  %351 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK14HighsNodeQueue10getUpNodesEi(ptr noundef nonnull align 8 dereferenceable(148) %344, i32 noundef %350)
  br label %364

352:                                              ; preds = %332
  %353 = load ptr, ptr %8, align 8, !tbaa !5
  %354 = getelementptr inbounds %class.HighsMipSolver, ptr %353, i32 0, i32 25
  %355 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %354) #6
  %356 = getelementptr inbounds %struct.HighsMipSolverData, ptr %355, i32 0, i32 80
  %357 = load ptr, ptr %9, align 8, !tbaa !5
  %358 = load i32, ptr %22, align 4, !tbaa !9
  %359 = sext i32 %358 to i64
  %360 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %357, i64 %359
  %361 = load i32, ptr %360, align 4
  %362 = and i32 %361, 2147483647
  %363 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK14HighsNodeQueue12getDownNodesEi(ptr noundef nonnull align 8 dereferenceable(148) %356, i32 noundef %362)
  br label %364

364:                                              ; preds = %352, %340
  %365 = phi ptr [ %351, %340 ], [ %363, %352 ]
  store ptr %365, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #6
  %366 = load ptr, ptr %9, align 8, !tbaa !5
  %367 = load i32, ptr %25, align 4, !tbaa !9
  %368 = sext i32 %367 to i64
  %369 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %366, i64 %368
  %370 = load i32, ptr %369, align 4
  %371 = lshr i32 %370, 31
  %372 = icmp eq i32 %371, 1
  br i1 %372, label %373, label %385

373:                                              ; preds = %364
  %374 = load ptr, ptr %8, align 8, !tbaa !5
  %375 = getelementptr inbounds %class.HighsMipSolver, ptr %374, i32 0, i32 25
  %376 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %375) #6
  %377 = getelementptr inbounds %struct.HighsMipSolverData, ptr %376, i32 0, i32 80
  %378 = load ptr, ptr %9, align 8, !tbaa !5
  %379 = load i32, ptr %25, align 4, !tbaa !9
  %380 = sext i32 %379 to i64
  %381 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %378, i64 %380
  %382 = load i32, ptr %381, align 4
  %383 = and i32 %382, 2147483647
  %384 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK14HighsNodeQueue10getUpNodesEi(ptr noundef nonnull align 8 dereferenceable(148) %377, i32 noundef %383)
  br label %397

385:                                              ; preds = %364
  %386 = load ptr, ptr %8, align 8, !tbaa !5
  %387 = getelementptr inbounds %class.HighsMipSolver, ptr %386, i32 0, i32 25
  %388 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %387) #6
  %389 = getelementptr inbounds %struct.HighsMipSolverData, ptr %388, i32 0, i32 80
  %390 = load ptr, ptr %9, align 8, !tbaa !5
  %391 = load i32, ptr %25, align 4, !tbaa !9
  %392 = sext i32 %391 to i64
  %393 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %390, i64 %392
  %394 = load i32, ptr %393, align 4
  %395 = and i32 %394, 2147483647
  %396 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK14HighsNodeQueue12getDownNodesEi(ptr noundef nonnull align 8 dereferenceable(148) %389, i32 noundef %395)
  br label %397

397:                                              ; preds = %385, %373
  %398 = phi ptr [ %384, %373 ], [ %396, %385 ]
  store ptr %398, ptr %32, align 8, !tbaa !5
  %399 = load ptr, ptr %31, align 8, !tbaa !5
  %400 = call noundef zeroext i1 @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(56) %399) #6
  br i1 %400, label %530, label %401

401:                                              ; preds = %397
  %402 = load ptr, ptr %32, align 8, !tbaa !5
  %403 = call noundef zeroext i1 @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(56) %402) #6
  br i1 %403, label %530, label %404

404:                                              ; preds = %401
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #6
  %405 = load ptr, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %34) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %35) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #6
  %406 = load ptr, ptr %9, align 8, !tbaa !5
  %407 = load i32, ptr %22, align 4, !tbaa !9
  %408 = sext i32 %407 to i64
  %409 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %406, i64 %408
  %410 = load i32, ptr %409, align 4
  %411 = lshr i32 %410, 31
  %412 = uitofp i32 %411 to double
  store double %412, ptr %36, align 8, !tbaa !13
  %413 = call { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8) %36, ptr noundef nonnull align 4 dereferenceable(4) @_ZL10kHighsIInf)
  store { double, i32 } %413, ptr %37, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %35, ptr align 8 %37, i64 12, i1 false)
  call void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16) %34, ptr noundef nonnull align 8 dereferenceable(12) %35)
  %414 = call ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %405, ptr noundef nonnull align 8 dereferenceable(16) %34)
  %415 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator.378", ptr %33, i32 0, i32 0
  store ptr %414, ptr %415, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %35) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %34) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #6
  %416 = load ptr, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %39) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %40) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #6
  %417 = load ptr, ptr %9, align 8, !tbaa !5
  %418 = load i32, ptr %22, align 4, !tbaa !9
  %419 = sext i32 %418 to i64
  %420 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %417, i64 %419
  %421 = load i32, ptr %420, align 4
  %422 = lshr i32 %421, 31
  %423 = uitofp i32 %422 to double
  store double %423, ptr %41, align 8, !tbaa !13
  %424 = call { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull align 4 dereferenceable(4) @_ZL10kHighsIInf)
  store { double, i32 } %424, ptr %42, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %40, ptr align 8 %42, i64 12, i1 false)
  call void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16) %39, ptr noundef nonnull align 8 dereferenceable(12) %40)
  %425 = call ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11upper_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %416, ptr noundef nonnull align 8 dereferenceable(16) %39)
  %426 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator.378", ptr %38, i32 0, i32 0
  store ptr %425, ptr %426, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #6
  %427 = load ptr, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %44) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %45) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #6
  %428 = load ptr, ptr %9, align 8, !tbaa !5
  %429 = load i32, ptr %25, align 4, !tbaa !9
  %430 = sext i32 %429 to i64
  %431 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %428, i64 %430
  %432 = load i32, ptr %431, align 4
  %433 = lshr i32 %432, 31
  %434 = uitofp i32 %433 to double
  store double %434, ptr %46, align 8, !tbaa !13
  %435 = call { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8) %46, ptr noundef nonnull align 4 dereferenceable(4) @_ZL10kHighsIInf)
  store { double, i32 } %435, ptr %47, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %45, ptr align 8 %47, i64 12, i1 false)
  call void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16) %44, ptr noundef nonnull align 8 dereferenceable(12) %45)
  %436 = call ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %427, ptr noundef nonnull align 8 dereferenceable(16) %44)
  %437 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator.378", ptr %43, i32 0, i32 0
  store ptr %436, ptr %437, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %45) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %44) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #6
  %438 = load ptr, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %49) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %50) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #6
  %439 = load ptr, ptr %9, align 8, !tbaa !5
  %440 = load i32, ptr %25, align 4, !tbaa !9
  %441 = sext i32 %440 to i64
  %442 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %439, i64 %441
  %443 = load i32, ptr %442, align 4
  %444 = lshr i32 %443, 31
  %445 = uitofp i32 %444 to double
  store double %445, ptr %51, align 8, !tbaa !13
  %446 = call { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8) %51, ptr noundef nonnull align 4 dereferenceable(4) @_ZL10kHighsIInf)
  store { double, i32 } %446, ptr %52, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %50, ptr align 8 %52, i64 12, i1 false)
  call void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16) %49, ptr noundef nonnull align 8 dereferenceable(12) %50)
  %447 = call ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11upper_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %438, ptr noundef nonnull align 8 dereferenceable(16) %49)
  %448 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator.378", ptr %48, i32 0, i32 0
  store ptr %447, ptr %448, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %49) #6
  %449 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull align 8 dereferenceable(8) %38) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #6
  br i1 %449, label %450, label %478

450:                                              ; preds = %404
  %451 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %43, ptr noundef nonnull align 8 dereferenceable(8) %48) #6
  br i1 %451, label %452, label %478

452:                                              ; preds = %450
  %453 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  %454 = getelementptr inbounds %"struct.std::pair.379", ptr %453, i32 0, i32 1
  %455 = load i64, ptr %454, align 8, !tbaa !84
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %54, ptr align 8 %48, i64 8, i1 false), !tbaa.struct !86
  %456 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator.378", ptr %54, i32 0, i32 0
  %457 = load ptr, ptr %456, align 8
  %458 = call ptr @_ZSt4prevISt23_Rb_tree_const_iteratorISt4pairIdlEEET_S4_NSt15iterator_traitsIS4_E15difference_typeE(ptr %457, i64 noundef 1)
  %459 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator.378", ptr %53, i32 0, i32 0
  store ptr %458, ptr %459, align 8
  %460 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %53) #6
  %461 = getelementptr inbounds %"struct.std::pair.379", ptr %460, i32 0, i32 1
  %462 = load i64, ptr %461, align 8, !tbaa !84
  %463 = icmp sle i64 %455, %462
  br i1 %463, label %476, label %464

464:                                              ; preds = %452
  %465 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %43) #6
  %466 = getelementptr inbounds %"struct.std::pair.379", ptr %465, i32 0, i32 1
  %467 = load i64, ptr %466, align 8, !tbaa !84
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %56, ptr align 8 %38, i64 8, i1 false), !tbaa.struct !86
  %468 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator.378", ptr %56, i32 0, i32 0
  %469 = load ptr, ptr %468, align 8
  %470 = call ptr @_ZSt4prevISt23_Rb_tree_const_iteratorISt4pairIdlEEET_S4_NSt15iterator_traitsIS4_E15difference_typeE(ptr %469, i64 noundef 1)
  %471 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator.378", ptr %55, i32 0, i32 0
  store ptr %470, ptr %471, align 8
  %472 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %55) #6
  %473 = getelementptr inbounds %"struct.std::pair.379", ptr %472, i32 0, i32 1
  %474 = load i64, ptr %473, align 8, !tbaa !84
  %475 = icmp sle i64 %467, %474
  br label %476

476:                                              ; preds = %464, %452
  %477 = phi i1 [ true, %452 ], [ %475, %464 ]
  br label %478

478:                                              ; preds = %476, %450, %404
  %479 = phi i1 [ false, %450 ], [ false, %404 ], [ %477, %476 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #6
  br i1 %479, label %480, label %529

480:                                              ; preds = %478
  br label %481

481:                                              ; preds = %527, %480
  %482 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull align 8 dereferenceable(8) %38) #6
  br i1 %482, label %483, label %485

483:                                              ; preds = %481
  %484 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %43, ptr noundef nonnull align 8 dereferenceable(8) %48) #6
  br label %485

485:                                              ; preds = %483, %481
  %486 = phi i1 [ false, %481 ], [ %484, %483 ]
  br i1 %486, label %487, label %528

487:                                              ; preds = %485
  %488 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  %489 = getelementptr inbounds %"struct.std::pair.379", ptr %488, i32 0, i32 1
  %490 = load i64, ptr %489, align 8, !tbaa !84
  %491 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %43) #6
  %492 = getelementptr inbounds %"struct.std::pair.379", ptr %491, i32 0, i32 1
  %493 = load i64, ptr %492, align 8, !tbaa !84
  %494 = icmp slt i64 %490, %493
  br i1 %494, label %495, label %497

495:                                              ; preds = %487
  %496 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIdlEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  br label %527

497:                                              ; preds = %487
  %498 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %43) #6
  %499 = getelementptr inbounds %"struct.std::pair.379", ptr %498, i32 0, i32 1
  %500 = load i64, ptr %499, align 8, !tbaa !84
  %501 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  %502 = getelementptr inbounds %"struct.std::pair.379", ptr %501, i32 0, i32 1
  %503 = load i64, ptr %502, align 8, !tbaa !84
  %504 = icmp slt i64 %500, %503
  br i1 %504, label %505, label %507

505:                                              ; preds = %497
  %506 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIdlEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %43) #6
  br label %526

507:                                              ; preds = %497
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #6
  %508 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %43) #6
  %509 = getelementptr inbounds %"struct.std::pair.379", ptr %508, i32 0, i32 1
  %510 = load i64, ptr %509, align 8, !tbaa !84
  %511 = trunc i64 %510 to i32
  store i32 %511, ptr %57, align 4, !tbaa !9
  %512 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIdlEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  %513 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIdlEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %43) #6
  %514 = load ptr, ptr %8, align 8, !tbaa !5
  %515 = getelementptr inbounds %class.HighsMipSolver, ptr %514, i32 0, i32 25
  %516 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %515) #6
  %517 = getelementptr inbounds %struct.HighsMipSolverData, ptr %516, i32 0, i32 80
  %518 = load i32, ptr %57, align 4, !tbaa !9
  %519 = sext i32 %518 to i64
  %520 = call noundef double @_ZN14HighsNodeQueue9pruneNodeEl(ptr noundef nonnull align 8 dereferenceable(148) %517, i64 noundef %519)
  %521 = load ptr, ptr %8, align 8, !tbaa !5
  %522 = getelementptr inbounds %class.HighsMipSolver, ptr %521, i32 0, i32 25
  %523 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %522) #6
  %524 = getelementptr inbounds %struct.HighsMipSolverData, ptr %523, i32 0, i32 52
  %525 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN12HighsCDoublepLEd(ptr noundef nonnull align 8 dereferenceable(16) %524, double noundef %520)
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #6
  br label %526

526:                                              ; preds = %507, %505
  br label %527

527:                                              ; preds = %526, %495
  br label %481, !llvm.loop !87

528:                                              ; preds = %485
  br label %529

529:                                              ; preds = %528, %478
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #6
  br label %530

530:                                              ; preds = %529, %401, %397
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #6
  br label %531

531:                                              ; preds = %530, %326
  %532 = load i8, ptr %28, align 1, !tbaa !11, !range !15, !noundef !16
  %533 = trunc i8 %532 to i1
  br i1 %533, label %534, label %602

534:                                              ; preds = %531
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #6
  store i32 0, ptr %58, align 4, !tbaa !9
  br label %535

535:                                              ; preds = %595, %534
  %536 = load i32, ptr %58, align 4, !tbaa !9
  %537 = load i32, ptr %10, align 4, !tbaa !9
  %538 = icmp ne i32 %536, %537
  br i1 %538, label %540, label %539

539:                                              ; preds = %535
  store i32 19, ptr %15, align 4
  br label %598

540:                                              ; preds = %535
  %541 = load i32, ptr %58, align 4, !tbaa !9
  %542 = load i32, ptr %22, align 4, !tbaa !9
  %543 = icmp eq i32 %541, %542
  br i1 %543, label %548, label %544

544:                                              ; preds = %540
  %545 = load i32, ptr %58, align 4, !tbaa !9
  %546 = load i32, ptr %25, align 4, !tbaa !9
  %547 = icmp eq i32 %545, %546
  br i1 %547, label %548, label %549

548:                                              ; preds = %544, %540
  br label %595

549:                                              ; preds = %544
  call void @llvm.lifetime.start.p0(i64 1, ptr %59) #6
  %550 = load ptr, ptr %13, align 8, !tbaa !5
  %551 = load ptr, ptr %9, align 8, !tbaa !5
  %552 = load i32, ptr %58, align 4, !tbaa !9
  %553 = sext i32 %552 to i64
  %554 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %551, i64 %553
  %555 = load i32, ptr %554, align 4
  %556 = and i32 %555, 2147483647
  %557 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %550, i32 noundef %556)
  %558 = zext i1 %557 to i8
  store i8 %558, ptr %59, align 1, !tbaa !11
  %559 = load ptr, ptr %13, align 8, !tbaa !5
  %560 = load ptr, ptr %9, align 8, !tbaa !5
  %561 = load i32, ptr %58, align 4, !tbaa !9
  %562 = sext i32 %561 to i64
  %563 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %560, i64 %562
  %564 = load i32, ptr %563, align 4
  %565 = and i32 %564, 2147483647
  %566 = load ptr, ptr %9, align 8, !tbaa !5
  %567 = load i32, ptr %58, align 4, !tbaa !9
  %568 = sext i32 %567 to i64
  %569 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %566, i64 %568
  %570 = load i32, ptr %569, align 4
  %571 = lshr i32 %570, 31
  %572 = sub nsw i32 1, %571
  %573 = sitofp i32 %572 to double
  %574 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %574, ptr %60, align 4
  %575 = load i64, ptr %60, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %559, i32 noundef %565, double noundef %573, i64 %575)
  %576 = load ptr, ptr %13, align 8, !tbaa !5
  %577 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %576)
  br i1 %577, label %578, label %579

578:                                              ; preds = %549
  store i32 1, ptr %15, align 4
  br label %592

579:                                              ; preds = %549
  %580 = load i8, ptr %59, align 1, !tbaa !11, !range !15, !noundef !16
  %581 = trunc i8 %580 to i1
  br i1 %581, label %591, label %582

582:                                              ; preds = %579
  %583 = getelementptr inbounds %class.HighsCliqueTable, ptr %64, i32 0, i32 18
  %584 = load i32, ptr %583, align 8, !tbaa !17
  %585 = add nsw i32 %584, 1
  store i32 %585, ptr %583, align 8, !tbaa !17
  %586 = getelementptr inbounds %class.HighsCliqueTable, ptr %64, i32 0, i32 8
  %587 = load ptr, ptr %9, align 8, !tbaa !5
  %588 = load i32, ptr %58, align 4, !tbaa !9
  %589 = sext i32 %588 to i64
  %590 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %587, i64 %589
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %586, ptr noundef nonnull align 4 dereferenceable(4) %590)
  br label %591

591:                                              ; preds = %582, %579
  store i32 0, ptr %15, align 4
  br label %592

592:                                              ; preds = %591, %578
  call void @llvm.lifetime.end.p0(i64 1, ptr %59) #6
  %593 = load i32, ptr %15, align 4
  switch i32 %593, label %598 [
    i32 0, label %594
  ]

594:                                              ; preds = %592
  br label %595

595:                                              ; preds = %594, %548
  %596 = load i32, ptr %58, align 4, !tbaa !9
  %597 = add nsw i32 %596, 1
  store i32 %597, ptr %58, align 4, !tbaa !9
  br label %535, !llvm.loop !88

598:                                              ; preds = %592, %539
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #6
  %599 = load i32, ptr %15, align 4
  switch i32 %599, label %603 [
    i32 19, label %600
  ]

600:                                              ; preds = %598
  %601 = load ptr, ptr %13, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %64, ptr noundef nonnull align 8 dereferenceable(824) %601)
  store i32 1, ptr %15, align 4
  br label %603

602:                                              ; preds = %531
  store i32 0, ptr %15, align 4
  br label %603

603:                                              ; preds = %602, %600, %598, %325
  call void @llvm.lifetime.end.p0(i64 1, ptr %28) #6
  %604 = load i32, ptr %15, align 4
  switch i32 %604, label %609 [
    i32 0, label %605
  ]

605:                                              ; preds = %603
  br label %606

606:                                              ; preds = %605, %306, %291
  %607 = load i32, ptr %25, align 4, !tbaa !9
  %608 = add nsw i32 %607, 1
  store i32 %608, ptr %25, align 4, !tbaa !9
  br label %277, !llvm.loop !89

609:                                              ; preds = %603, %281
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #6
  %610 = load i32, ptr %15, align 4
  switch i32 %610, label %615 [
    i32 14, label %611
  ]

611:                                              ; preds = %609
  br label %612

612:                                              ; preds = %611, %273, %252
  %613 = load i32, ptr %22, align 4, !tbaa !9
  %614 = add nsw i32 %613, 1
  store i32 %614, ptr %22, align 4, !tbaa !9
  br label %237, !llvm.loop !90

615:                                              ; preds = %609, %242
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  %616 = load i32, ptr %15, align 4
  switch i32 %616, label %625 [
    i32 11, label %617
  ]

617:                                              ; preds = %615
  %618 = load i8, ptr %21, align 1, !tbaa !11, !range !15, !noundef !16
  %619 = trunc i8 %618 to i1
  br i1 %619, label %624, label %620

620:                                              ; preds = %617
  %621 = load i32, ptr %12, align 4, !tbaa !9
  %622 = icmp eq i32 %621, 2147483647
  br i1 %622, label %623, label %624

623:                                              ; preds = %620
  store i32 1, ptr %15, align 4
  br label %625

624:                                              ; preds = %620, %617
  store i32 0, ptr %15, align 4
  br label %625

625:                                              ; preds = %624, %623, %615
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #6
  %626 = load i32, ptr %15, align 4
  switch i32 %626, label %657 [
    i32 0, label %627
  ]

627:                                              ; preds = %625
  br label %628

628:                                              ; preds = %627, %233
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #6
  %629 = load ptr, ptr %9, align 8, !tbaa !5
  %630 = load ptr, ptr %9, align 8, !tbaa !5
  %631 = load i32, ptr %10, align 4, !tbaa !9
  %632 = sext i32 %631 to i64
  %633 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %630, i64 %632
  %634 = getelementptr inbounds %class.anon.384, ptr %62, i32 0, i32 0
  %635 = load ptr, ptr %13, align 8, !tbaa !5
  store ptr %635, ptr %634, align 8, !tbaa !5
  %636 = getelementptr inbounds %class.anon.384, ptr %62, i32 0, i32 0
  %637 = load ptr, ptr %636, align 8
  %638 = call noundef ptr @"_ZSt9remove_ifIPN16HighsCliqueTable9CliqueVarEZNS0_9addCliqueERK14HighsMipSolverS2_ibiE3$_0ET_S7_S7_T0_"(ptr noundef %629, ptr noundef %633, ptr %637)
  store ptr %638, ptr %61, align 8, !tbaa !5
  %639 = load ptr, ptr %61, align 8, !tbaa !5
  %640 = load ptr, ptr %9, align 8, !tbaa !5
  %641 = ptrtoint ptr %639 to i64
  %642 = ptrtoint ptr %640 to i64
  %643 = sub i64 %641, %642
  %644 = sdiv exact i64 %643, 4
  %645 = trunc i64 %644 to i32
  store i32 %645, ptr %10, align 4, !tbaa !9
  %646 = load i32, ptr %10, align 4, !tbaa !9
  %647 = icmp slt i32 %646, 2
  br i1 %647, label %648, label %649

648:                                              ; preds = %628
  store i32 1, ptr %15, align 4
  br label %656

649:                                              ; preds = %628
  %650 = load ptr, ptr %9, align 8, !tbaa !5
  %651 = load i32, ptr %10, align 4, !tbaa !9
  %652 = load i8, ptr %11, align 1, !tbaa !11, !range !15, !noundef !16
  %653 = trunc i8 %652 to i1
  %654 = load i32, ptr %12, align 4, !tbaa !9
  call void @_ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488) %64, ptr noundef %650, i32 noundef %651, i1 noundef zeroext %653, i32 noundef %654)
  %655 = load ptr, ptr %13, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %64, ptr noundef nonnull align 8 dereferenceable(824) %655)
  store i32 0, ptr %15, align 4
  br label %656

656:                                              ; preds = %649, %648
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #6
  br label %657

657:                                              ; preds = %656, %625, %231
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #6
  %658 = load i32, ptr %15, align 4
  switch i32 %658, label %660 [
    i32 0, label %659
    i32 1, label %659
  ]

659:                                              ; preds = %657, %657
  ret void

660:                                              ; preds = %657
  unreachable
}

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNK13HighsDebugSol11checkCliqueEPKN16HighsCliqueTable9CliqueVarEi(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef, i32 noundef) #3 align 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) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK14HighsNodeQueue5emptyEv(ptr noundef nonnull align 8 dereferenceable(148)) #2 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(12)) unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11upper_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local ptr @_ZSt4prevISt23_Rb_tree_const_iteratorISt4pairIdlEEET_S4_NSt15iterator_traitsIS4_E15difference_typeE(ptr, i64 noundef) #4

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

declare noundef double @_ZN14HighsNodeQueue9pruneNodeEl(ptr noundef nonnull align 8 dereferenceable(148), i64 noundef) #5

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN12HighsCDoublepLEd(ptr noundef nonnull align 8 dereferenceable(16), double noundef) #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef ptr @"_ZSt9remove_ifIPN16HighsCliqueTable9CliqueVarEZNS0_9addCliqueERK14HighsMipSolverS2_ibiE3$_0ET_S7_S7_T0_"(ptr noundef, ptr noundef, ptr) #4

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { "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 = { 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 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"double", !7, i64 0}
!15 = !{i8 0, i8 2}
!16 = !{}
!17 = !{!18, !10, i64 456}
!18 = !{!"_ZTS16HighsCliqueTable", !19, i64 0, !23, i64 24, !27, i64 48, !31, i64 72, !45, i64 112, !53, i64 160, !57, i64 184, !53, i64 208, !19, i64 232, !53, i64 256, !61, i64 280, !53, i64 304, !65, i64 328, !69, i64 352, !69, i64 376, !73, i64 400, !53, i64 424, !77, i64 448, !10, i64 456, !10, i64 460, !10, i64 464, !10, i64 468, !12, i64 472, !44, i64 480}
!19 = !{!"_ZTSSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE", !20, i64 0}
!20 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE12_Vector_implE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!23 = !{!"_ZTSSt6vectorI13HighsHashTreeIiiESaIS1_EE", !24, i64 0}
!24 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE12_Vector_implE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!27 = !{!"_ZTSSt6vectorI13HighsHashTreeIivESaIS1_EE", !28, i64 0}
!28 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE12_Vector_implE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!31 = !{!"_ZTS14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE", !32, i64 0, !38, i64 8, !44, i64 16, !44, i64 24, !44, i64 32}
!32 = !{!"_ZTSSt10unique_ptrI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !33, i64 0}
!33 = !{!"_ZTSSt15__uniq_ptr_dataI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterELb1ELb1EE", !34, i64 0}
!34 = !{!"_ZTSSt15__uniq_ptr_implI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !35, i64 0}
!35 = !{!"_ZTSSt5tupleIJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !36, i64 0}
!36 = !{!"_ZTSSt11_Tuple_implILm0EJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !37, i64 0}
!37 = !{!"_ZTSSt10_Head_baseILm0EP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiELb0EE", !6, i64 0}
!38 = !{!"_ZTSSt10unique_ptrIA_hSt14default_deleteIS0_EE", !39, i64 0}
!39 = !{!"_ZTSSt15__uniq_ptr_dataIhSt14default_deleteIA_hELb1ELb1EE", !40, i64 0}
!40 = !{!"_ZTSSt15__uniq_ptr_implIhSt14default_deleteIA_hEE", !41, i64 0}
!41 = !{!"_ZTSSt5tupleIJPhSt14default_deleteIA_hEEE", !42, i64 0}
!42 = !{!"_ZTSSt11_Tuple_implILm0EJPhSt14default_deleteIA_hEEE", !43, i64 0}
!43 = !{!"_ZTSSt10_Head_baseILm0EPhLb0EE", !6, i64 0}
!44 = !{!"long", !7, i64 0}
!45 = !{!"_ZTSSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE", !46, i64 0}
!46 = !{!"_ZTSSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE", !47, i64 0}
!47 = !{!"_ZTSNSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE13_Rb_tree_implIS5_Lb1EEE", !48, i64 0, !50, i64 8}
!48 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessISt4pairIiiEEE", !49, i64 0}
!49 = !{!"_ZTSSt4lessISt4pairIiiEE"}
!50 = !{!"_ZTSSt15_Rb_tree_header", !51, i64 0, !44, i64 32}
!51 = !{!"_ZTSSt18_Rb_tree_node_base", !52, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!52 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!53 = !{!"_ZTSSt6vectorIiSaIiEE", !54, i64 0}
!54 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !55, i64 0}
!55 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!57 = !{!"_ZTSSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE", !58, i64 0}
!58 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE", !59, i64 0}
!59 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE12_Vector_implE", !60, i64 0}
!60 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!61 = !{!"_ZTSSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE", !62, i64 0}
!62 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE", !63, i64 0}
!63 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE12_Vector_implE", !64, i64 0}
!64 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!65 = !{!"_ZTSSt6vectorISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !66, i64 0}
!66 = !{!"_ZTSSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !67, i64 0}
!67 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE12_Vector_implE", !68, i64 0}
!68 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!69 = !{!"_ZTSSt6vectorIhSaIhEE", !70, i64 0}
!70 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !71, i64 0}
!71 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !72, i64 0}
!72 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!73 = !{!"_ZTSSt6vectorIjSaIjEE", !74, i64 0}
!74 = !{!"_ZTSSt12_Vector_baseIjSaIjEE", !75, i64 0}
!75 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE12_Vector_implE", !76, i64 0}
!76 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!77 = !{!"_ZTS11HighsRandom", !44, i64 0}
!78 = distinct !{!78, !79}
!79 = !{!"llvm.loop.mustprogress"}
!80 = distinct !{!80, !79}
!81 = distinct !{!81, !79}
!82 = !{i64 0, i64 4, !83}
!83 = !{!7, !7, i64 0}
!84 = !{!85, !44, i64 8}
!85 = !{!"_ZTSSt4pairIdlE", !14, i64 0, !44, i64 8}
!86 = !{i64 0, i64 8, !5}
!87 = distinct !{!87, !79}
!88 = distinct !{!88, !79}
!89 = distinct !{!89, !79}
!90 = distinct !{!90, !79}


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

%"struct.std::_Rb_tree_const_iterator.378" = type { ptr }
%"struct.std::pair.379" = type { double, i64 }
%"struct.std::pair.381" = type <{ double, i32, [4 x i8] }>
%"struct.HighsCliqueTable::CliqueVar" = type { i32 }

@_ZL10kHighsIInf = external hidden constant i32, align 4

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK16HighsCliqueTable19resolveSubstitutionERNS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef, i32 noundef, i1 noundef zeroext, i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK16HighsCliqueTable10numCliquesENS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488), i32) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(824), i32, i32) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef, double noundef, i64) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason11unspecifiedEv() local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(824)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488), i32, i32) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HighsCliqueTable9addCliqueERK14HighsMipSolverPNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(496) %1, ptr noundef %2, i32 noundef %3, i1 noundef zeroext %4, i32 noundef %5) local_unnamed_addr #1 align 2 {
  %7 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %8 = alloca %"struct.std::pair.379", align 8
  %9 = alloca %"struct.std::pair.381", align 8
  %10 = alloca double, align 8
  %11 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %12 = alloca %"struct.std::pair.379", align 8
  %13 = alloca %"struct.std::pair.381", align 8
  %14 = alloca double, align 8
  %15 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %16 = alloca %"struct.std::pair.379", align 8
  %17 = alloca %"struct.std::pair.381", align 8
  %18 = alloca double, align 8
  %19 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %20 = alloca %"struct.std::pair.379", align 8
  %21 = alloca %"struct.std::pair.381", align 8
  %22 = alloca double, align 8
  %23 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %24 = alloca %"struct.std::_Rb_tree_const_iterator.378", align 8
  %25 = getelementptr inbounds i8, ptr %1, i64 224
  %26 = tail call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #5
  %27 = getelementptr inbounds i8, ptr %26, i64 912
  %28 = tail call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #5
  %29 = getelementptr inbounds i8, ptr %28, i64 26800
  tail call void @_ZNK13HighsDebugSol11checkCliqueEPKN16HighsCliqueTable9CliqueVarEi(ptr noundef nonnull align 1 dereferenceable(1) %29, ptr noundef %2, i32 noundef %3)
  %.not207249 = icmp eq i32 %3, 0
  br i1 %.not207249, label %._crit_edge272, label %.lr.ph

.lr.ph:                                           ; preds = %6
  %30 = getelementptr inbounds i8, ptr %26, i64 1688
  %31 = zext i32 %3 to i64
  br label %32

32:                                               ; preds = %.lr.ph, %82
  %indvars.iv290 = phi i64 [ 1, %.lr.ph ], [ %indvars.iv.next291, %82 ]
  %indvars.iv287 = phi i32 [ 0, %.lr.ph ], [ %indvars.iv.next288, %82 ]
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %82 ]
  %33 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %2, i64 %indvars.iv
  tail call void @_ZNK16HighsCliqueTable19resolveSubstitutionERNS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 4 dereferenceable(4) %33)
  %34 = load i32, ptr %33, align 4
  %35 = and i32 %34, 2147483647
  %36 = tail call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %35)
  br i1 %36, label %37, label %82

37:                                               ; preds = %32
  %38 = load i32, ptr %33, align 4
  %39 = lshr i32 %38, 31
  %40 = uitofp nneg i32 %39 to double
  %41 = and i32 %38, 2147483647
  %42 = zext nneg i32 %41 to i64
  %43 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %30, i64 noundef %42) #5
  %44 = load double, ptr %43, align 8, !tbaa !5
  %45 = fcmp oeq double %44, %40
  br i1 %45, label %.preheader240, label %82

.preheader240:                                    ; preds = %37
  %46 = trunc nuw nsw i64 %indvars.iv to i32
  %.not274 = icmp eq i64 %indvars.iv, 0
  br i1 %.not274, label %.preheader239, label %.lr.ph252

.lr.ph252:                                        ; preds = %.preheader240
  %47 = getelementptr inbounds i8, ptr %0, i64 456
  %48 = getelementptr inbounds i8, ptr %0, i64 232
  %wide.trip.count = zext i32 %indvars.iv287 to i64
  br label %52

.preheader239:                                    ; preds = %66, %.preheader240
  %.1194253 = add nuw nsw i32 %46, 1
  %49 = icmp slt i32 %.1194253, %3
  br i1 %49, label %.lr.ph255, label %._crit_edge

.lr.ph255:                                        ; preds = %.preheader239
  %50 = getelementptr inbounds i8, ptr %0, i64 456
  %51 = getelementptr inbounds i8, ptr %0, i64 232
  br label %67

52:                                               ; preds = %.lr.ph252, %66
  %indvars.iv284 = phi i64 [ 0, %.lr.ph252 ], [ %indvars.iv.next285, %66 ]
  %53 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %2, i64 %indvars.iv284
  %54 = load i32, ptr %53, align 4
  %55 = and i32 %54, 2147483647
  %56 = tail call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %55)
  %57 = load i32, ptr %53, align 4
  %58 = and i32 %57, 2147483647
  %isnotneg208 = icmp sgt i32 %57, -1
  %59 = uitofp i1 %isnotneg208 to double
  %60 = tail call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  tail call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %58, double noundef %59, i64 %60)
  %61 = tail call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %27)
  br i1 %61, label %.critedge228, label %62

62:                                               ; preds = %52
  br i1 %56, label %66, label %63

63:                                               ; preds = %62
  %64 = load i32, ptr %47, align 8, !tbaa !9
  %65 = add nsw i32 %64, 1
  store i32 %65, ptr %47, align 8, !tbaa !9
  tail call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %48, ptr noundef nonnull align 4 dereferenceable(4) %53)
  br label %66

66:                                               ; preds = %63, %62
  %indvars.iv.next285 = add nuw nsw i64 %indvars.iv284, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next285, %wide.trip.count
  br i1 %exitcond.not, label %.preheader239, label %52, !llvm.loop !73

67:                                               ; preds = %.lr.ph255, %81
  %indvars.iv293 = phi i64 [ %indvars.iv290, %.lr.ph255 ], [ %indvars.iv.next294, %81 ]
  %68 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %2, i64 %indvars.iv293
  %69 = load i32, ptr %68, align 4
  %70 = and i32 %69, 2147483647
  %71 = tail call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %70)
  %72 = load i32, ptr %68, align 4
  %73 = and i32 %72, 2147483647
  %isnotneg = icmp sgt i32 %72, -1
  %74 = uitofp i1 %isnotneg to double
  %75 = tail call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  tail call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %73, double noundef %74, i64 %75)
  %76 = tail call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %27)
  br i1 %76, label %.critedge228, label %77

77:                                               ; preds = %67
  br i1 %71, label %81, label %78

78:                                               ; preds = %77
  %79 = load i32, ptr %50, align 8, !tbaa !9
  %80 = add nsw i32 %79, 1
  store i32 %80, ptr %50, align 8, !tbaa !9
  tail call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %51, ptr noundef nonnull align 4 dereferenceable(4) %68)
  br label %81

81:                                               ; preds = %77, %78
  %indvars.iv.next294 = add nuw nsw i64 %indvars.iv293, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next294 to i32
  %exitcond296.not = icmp eq i32 %lftr.wideiv, %3
  br i1 %exitcond296.not, label %._crit_edge, label %67

._crit_edge:                                      ; preds = %81, %.preheader239
  tail call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %27)
  br label %.critedge228

82:                                               ; preds = %32, %37
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %.not207 = icmp eq i64 %indvars.iv.next, %31
  %indvars.iv.next288 = add nuw i32 %indvars.iv287, 1
  %indvars.iv.next291 = add nuw nsw i64 %indvars.iv290, 1
  br i1 %.not207, label %.critedge221, label %32, !llvm.loop !75

.critedge221:                                     ; preds = %82
  %83 = icmp slt i32 %3, 101
  br i1 %83, label %.preheader237, label %.thread234

.preheader237:                                    ; preds = %.critedge221
  %.not268 = icmp sgt i32 %3, 1
  br i1 %.not268, label %.lr.ph271, label %._crit_edge272

.lr.ph271:                                        ; preds = %.preheader237
  %84 = add nsw i32 %3, -1
  %.sroa.238.0..sroa_idx = getelementptr inbounds i8, ptr %9, i64 8
  %.sroa.234.0..sroa_idx = getelementptr inbounds i8, ptr %13, i64 8
  %.sroa.230.0..sroa_idx = getelementptr inbounds i8, ptr %17, i64 8
  %.sroa.2.0..sroa_idx = getelementptr inbounds i8, ptr %21, i64 8
  %85 = getelementptr inbounds i8, ptr %0, i64 456
  %86 = getelementptr inbounds i8, ptr %0, i64 232
  %wide.trip.count306 = zext nneg i32 %84 to i64
  %wide.trip.count301 = zext nneg i32 %3 to i64
  br label %87

87:                                               ; preds = %.lr.ph271, %.critedge226.thread230
  %indvars.iv303 = phi i64 [ 0, %.lr.ph271 ], [ %indvars.iv.next304, %.critedge226.thread230 ]
  %indvars.iv297 = phi i64 [ 1, %.lr.ph271 ], [ %indvars.iv.next298, %.critedge226.thread230 ]
  %.0196270 = phi i1 [ false, %.lr.ph271 ], [ %.4200, %.critedge226.thread230 ]
  %88 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %2, i64 %indvars.iv303
  %89 = load i32, ptr %88, align 4
  %90 = and i32 %89, 2147483647
  %91 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %90)
  br i1 %91, label %.critedge226.thread230, label %92

92:                                               ; preds = %87
  %.sroa.062.0.copyload = load i32, ptr %88, align 4, !tbaa !76
  %93 = call noundef i32 @_ZNK16HighsCliqueTable10numCliquesENS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %.sroa.062.0.copyload)
  %94 = icmp eq i32 %93, 0
  br i1 %94, label %95, label %.lr.ph264.preheader

95:                                               ; preds = %92
  %96 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %88)
  %97 = call noundef i32 @_ZNK16HighsCliqueTable10numCliquesENS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %96)
  %98 = icmp eq i32 %97, 0
  br i1 %98, label %.critedge226.thread230, label %.lr.ph264.preheader

.lr.ph264.preheader:                              ; preds = %92, %95
  br label %.lr.ph264

.lr.ph264:                                        ; preds = %.lr.ph264.preheader, %236
  %indvars.iv299 = phi i64 [ %indvars.iv.next300, %236 ], [ %indvars.iv297, %.lr.ph264.preheader ]
  %.1197261 = phi i1 [ %.2198, %236 ], [ %.0196270, %.lr.ph264.preheader ]
  %99 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %2, i64 %indvars.iv299
  %100 = load i32, ptr %99, align 4
  %101 = and i32 %100, 2147483647
  %102 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %101)
  br i1 %102, label %236, label %103

103:                                              ; preds = %.lr.ph264
  %.sroa.049.0.copyload = load i32, ptr %88, align 4, !tbaa !76
  %.sroa.048.0.copyload = load i32, ptr %99, align 4, !tbaa !76
  %104 = call noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %.sroa.049.0.copyload, i32 %.sroa.048.0.copyload)
  br i1 %104, label %236, label %105

105:                                              ; preds = %103
  %.sroa.046.0.copyload = load i32, ptr %88, align 4, !tbaa !76
  %.sroa.045.0.copyload = load i32, ptr %99, align 4, !tbaa !76
  %106 = call noundef zeroext i1 @_ZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %27, i32 %.sroa.046.0.copyload, i32 %.sroa.045.0.copyload)
  %107 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %27)
  br i1 %107, label %.critedge228, label %108

108:                                              ; preds = %105
  %109 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #5
  %110 = getelementptr inbounds i8, ptr %109, i64 26608
  %111 = call noundef zeroext i1 @_ZNK14HighsNodeQueue5emptyEv(ptr noundef nonnull align 8 dereferenceable(148) %110)
  br i1 %111, label %216, label %112

112:                                              ; preds = %108
  %113 = load i32, ptr %88, align 4
  %.not209 = icmp sgt i32 %113, -1
  %114 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #5
  %115 = getelementptr inbounds i8, ptr %114, i64 26608
  %116 = load i32, ptr %88, align 4
  %117 = and i32 %116, 2147483647
  br i1 %.not209, label %120, label %118

118:                                              ; preds = %112
  %119 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK14HighsNodeQueue10getUpNodesEi(ptr noundef nonnull align 8 dereferenceable(148) %115, i32 noundef %117)
  br label %122

120:                                              ; preds = %112
  %121 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK14HighsNodeQueue12getDownNodesEi(ptr noundef nonnull align 8 dereferenceable(148) %115, i32 noundef %117)
  br label %122

122:                                              ; preds = %120, %118
  %123 = phi ptr [ %119, %118 ], [ %121, %120 ]
  %124 = load i32, ptr %99, align 4
  %.not210 = icmp sgt i32 %124, -1
  %125 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #5
  %126 = getelementptr inbounds i8, ptr %125, i64 26608
  %127 = load i32, ptr %99, align 4
  %128 = and i32 %127, 2147483647
  br i1 %.not210, label %131, label %129

129:                                              ; preds = %122
  %130 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK14HighsNodeQueue10getUpNodesEi(ptr noundef nonnull align 8 dereferenceable(148) %126, i32 noundef %128)
  br label %133

131:                                              ; preds = %122
  %132 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK14HighsNodeQueue12getDownNodesEi(ptr noundef nonnull align 8 dereferenceable(148) %126, i32 noundef %128)
  br label %133

133:                                              ; preds = %131, %129
  %134 = phi ptr [ %130, %129 ], [ %132, %131 ]
  %135 = call noundef zeroext i1 @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(56) %123) #5
  br i1 %135, label %216, label %136

136:                                              ; preds = %133
  %137 = call noundef zeroext i1 @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(56) %134) #5
  br i1 %137, label %216, label %138

138:                                              ; preds = %136
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %9) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #5
  %139 = load i32, ptr %88, align 4
  %140 = lshr i32 %139, 31
  %141 = uitofp nneg i32 %140 to double
  store double %141, ptr %10, align 8, !tbaa !5
  %142 = call { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 4 dereferenceable(4) @_ZL10kHighsIInf)
  %.fca.0.extract35 = extractvalue { double, i32 } %142, 0
  %.fca.1.extract36 = extractvalue { double, i32 } %142, 1
  store double %.fca.0.extract35, ptr %9, align 8
  store i32 %.fca.1.extract36, ptr %.sroa.238.0..sroa_idx, align 8
  call void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull align 8 dereferenceable(12) %9)
  %143 = call ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %123, ptr noundef nonnull align 8 dereferenceable(16) %8)
  store ptr %143, ptr %7, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %12) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %13) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #5
  %144 = load i32, ptr %88, align 4
  %145 = lshr i32 %144, 31
  %146 = uitofp nneg i32 %145 to double
  store double %146, ptr %14, align 8, !tbaa !5
  %147 = call { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 4 dereferenceable(4) @_ZL10kHighsIInf)
  %.fca.0.extract31 = extractvalue { double, i32 } %147, 0
  %.fca.1.extract32 = extractvalue { double, i32 } %147, 1
  store double %.fca.0.extract31, ptr %13, align 8
  store i32 %.fca.1.extract32, ptr %.sroa.234.0..sroa_idx, align 8
  call void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16) %12, ptr noundef nonnull align 8 dereferenceable(12) %13)
  %148 = call ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11upper_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %123, ptr noundef nonnull align 8 dereferenceable(16) %12)
  store ptr %148, ptr %11, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %16) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %17) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #5
  %149 = load i32, ptr %99, align 4
  %150 = lshr i32 %149, 31
  %151 = uitofp nneg i32 %150 to double
  store double %151, ptr %18, align 8, !tbaa !5
  %152 = call { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 4 dereferenceable(4) @_ZL10kHighsIInf)
  %.fca.0.extract27 = extractvalue { double, i32 } %152, 0
  %.fca.1.extract28 = extractvalue { double, i32 } %152, 1
  store double %.fca.0.extract27, ptr %17, align 8
  store i32 %.fca.1.extract28, ptr %.sroa.230.0..sroa_idx, align 8
  call void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16) %16, ptr noundef nonnull align 8 dereferenceable(12) %17)
  %153 = call ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %134, ptr noundef nonnull align 8 dereferenceable(16) %16)
  store ptr %153, ptr %15, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %21) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #5
  %154 = load i32, ptr %99, align 4
  %155 = lshr i32 %154, 31
  %156 = uitofp nneg i32 %155 to double
  store double %156, ptr %22, align 8, !tbaa !5
  %157 = call { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 4 dereferenceable(4) @_ZL10kHighsIInf)
  %.fca.0.extract = extractvalue { double, i32 } %157, 0
  %.fca.1.extract = extractvalue { double, i32 } %157, 1
  store double %.fca.0.extract, ptr %21, align 8
  store i32 %.fca.1.extract, ptr %.sroa.2.0..sroa_idx, align 8
  call void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull align 8 dereferenceable(12) %21)
  %158 = call ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11upper_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %134, ptr noundef nonnull align 8 dereferenceable(16) %20)
  store ptr %158, ptr %19, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #5
  %159 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %11) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #5
  br i1 %159, label %160, label %.critedge

160:                                              ; preds = %138
  %161 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef nonnull align 8 dereferenceable(8) %19) #5
  br i1 %161, label %162, label %.critedge

162:                                              ; preds = %160
  %163 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #5
  %164 = getelementptr inbounds i8, ptr %163, i64 8
  %165 = load i64, ptr %164, align 8, !tbaa !77
  %.sroa.025.0.copyload = load ptr, ptr %19, align 8, !tbaa !79
  %166 = call ptr @_ZSt4prevISt23_Rb_tree_const_iteratorISt4pairIdlEEET_S4_NSt15iterator_traitsIS4_E15difference_typeE(ptr %.sroa.025.0.copyload, i64 noundef 1)
  store ptr %166, ptr %23, align 8
  %167 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %23) #5
  %168 = getelementptr inbounds i8, ptr %167, i64 8
  %169 = load i64, ptr %168, align 8, !tbaa !77
  %.not211 = icmp sgt i64 %165, %169
  br i1 %.not211, label %170, label %.critedge10

170:                                              ; preds = %162
  %171 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #5
  %172 = getelementptr inbounds i8, ptr %171, i64 8
  %173 = load i64, ptr %172, align 8, !tbaa !77
  %.sroa.024.0.copyload = load ptr, ptr %11, align 8, !tbaa !79
  %174 = call ptr @_ZSt4prevISt23_Rb_tree_const_iteratorISt4pairIdlEEET_S4_NSt15iterator_traitsIS4_E15difference_typeE(ptr %.sroa.024.0.copyload, i64 noundef 1)
  store ptr %174, ptr %24, align 8
  %175 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #5
  %176 = getelementptr inbounds i8, ptr %175, i64 8
  %177 = load i64, ptr %176, align 8, !tbaa !77
  %.not212 = icmp sgt i64 %173, %177
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #5
  br i1 %.not212, label %.critedge12, label %178

.critedge10:                                      ; preds = %162
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #5
  br label %178

178:                                              ; preds = %.critedge10, %170
  %179 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %11) #5
  br i1 %179, label %.lr.ph257, label %.critedge12

.lr.ph257:                                        ; preds = %178, %214
  %180 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef nonnull align 8 dereferenceable(8) %19) #5
  br i1 %180, label %181, label %.critedge12

181:                                              ; preds = %.lr.ph257
  %182 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #5
  %183 = getelementptr inbounds i8, ptr %182, i64 8
  %184 = load i64, ptr %183, align 8, !tbaa !77
  %185 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #5
  %186 = getelementptr inbounds i8, ptr %185, i64 8
  %187 = load i64, ptr %186, align 8, !tbaa !77
  %188 = icmp slt i64 %184, %187
  br i1 %188, label %189, label %191

189:                                              ; preds = %181
  %190 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIdlEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #5
  br label %214

191:                                              ; preds = %181
  %192 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #5
  %193 = getelementptr inbounds i8, ptr %192, i64 8
  %194 = load i64, ptr %193, align 8, !tbaa !77
  %195 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #5
  %196 = getelementptr inbounds i8, ptr %195, i64 8
  %197 = load i64, ptr %196, align 8, !tbaa !77
  %198 = icmp slt i64 %194, %197
  br i1 %198, label %199, label %201

199:                                              ; preds = %191
  %200 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIdlEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #5
  br label %214

201:                                              ; preds = %191
  %202 = call noundef ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIdlEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #5
  %203 = getelementptr inbounds i8, ptr %202, i64 8
  %204 = load i64, ptr %203, align 8, !tbaa !77
  %205 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIdlEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #5
  %206 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIdlEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #5
  %207 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #5
  %208 = getelementptr inbounds i8, ptr %207, i64 26608
  %sext = shl i64 %204, 32
  %209 = ashr exact i64 %sext, 32
  %210 = call noundef double @_ZN14HighsNodeQueue9pruneNodeEl(ptr noundef nonnull align 8 dereferenceable(148) %208, i64 noundef %209)
  %211 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #5
  %212 = getelementptr inbounds i8, ptr %211, i64 26368
  %213 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN12HighsCDoublepLEd(ptr noundef nonnull align 8 dereferenceable(16) %212, double noundef %210)
  br label %214

214:                                              ; preds = %199, %201, %189
  %215 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIdlEES4_(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %11) #5
  br i1 %215, label %.lr.ph257, label %.critedge12, !llvm.loop !80

.critedge:                                        ; preds = %138, %160
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #5
  br label %.critedge12

.critedge12:                                      ; preds = %214, %.lr.ph257, %178, %.critedge, %170
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #5
  br label %216

216:                                              ; preds = %133, %136, %.critedge12, %108
  br i1 %106, label %.lr.ph267.preheader, label %236

.lr.ph267.preheader:                              ; preds = %216
  %217 = and i64 %indvars.iv299, 4294967295
  %218 = and i64 %indvars.iv303, 4294967295
  br label %.lr.ph267

.lr.ph267:                                        ; preds = %.lr.ph267.preheader, %235
  %indvars.iv308 = phi i64 [ 0, %.lr.ph267.preheader ], [ %indvars.iv.next309, %235 ]
  %219 = icmp eq i64 %indvars.iv308, %218
  %220 = icmp eq i64 %indvars.iv308, %217
  %or.cond = or i1 %219, %220
  br i1 %or.cond, label %235, label %221

221:                                              ; preds = %.lr.ph267
  %222 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %2, i64 %indvars.iv308
  %223 = load i32, ptr %222, align 4
  %224 = and i32 %223, 2147483647
  %225 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %224)
  %226 = load i32, ptr %222, align 4
  %227 = and i32 %226, 2147483647
  %isnotneg214 = icmp sgt i32 %226, -1
  %228 = uitofp i1 %isnotneg214 to double
  %229 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %27, i32 noundef %227, double noundef %228, i64 %229)
  %230 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %27)
  br i1 %230, label %.critedge228, label %231

231:                                              ; preds = %221
  br i1 %225, label %235, label %232

232:                                              ; preds = %231
  %233 = load i32, ptr %85, align 8, !tbaa !9
  %234 = add nsw i32 %233, 1
  store i32 %234, ptr %85, align 8, !tbaa !9
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %86, ptr noundef nonnull align 4 dereferenceable(4) %222)
  br label %235

235:                                              ; preds = %232, %231, %.lr.ph267
  %indvars.iv.next309 = add nuw nsw i64 %indvars.iv308, 1
  %.not213 = icmp eq i64 %indvars.iv.next309, %wide.trip.count301
  br i1 %.not213, label %.critedge224, label %.lr.ph267, !llvm.loop !81

.critedge224:                                     ; preds = %235
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %27)
  br label %.critedge228

236:                                              ; preds = %216, %103, %.lr.ph264
  %.2198 = phi i1 [ %.1197261, %.lr.ph264 ], [ %.1197261, %103 ], [ true, %216 ]
  %indvars.iv.next300 = add nuw nsw i64 %indvars.iv299, 1
  %exitcond302.not = icmp eq i64 %indvars.iv.next300, %wide.trip.count301
  br i1 %exitcond302.not, label %.critedge226.thread230, label %.lr.ph264, !llvm.loop !82

.critedge226.thread230:                           ; preds = %236, %95, %87
  %.4200 = phi i1 [ %.0196270, %87 ], [ true, %95 ], [ %.2198, %236 ]
  %indvars.iv.next304 = add nuw nsw i64 %indvars.iv303, 1
  %indvars.iv.next298 = add nuw nsw i64 %indvars.iv297, 1
  %exitcond307.not = icmp eq i64 %indvars.iv.next304, %wide.trip.count306
  br i1 %exitcond307.not, label %._crit_edge272, label %87, !llvm.loop !83

._crit_edge272:                                   ; preds = %.critedge226.thread230, %6, %.preheader237
  %.0196.lcssa = phi i1 [ false, %.preheader237 ], [ false, %6 ], [ %.4200, %.critedge226.thread230 ]
  %237 = icmp ne i32 %5, 2147483647
  %or.cond.not = or i1 %237, %.0196.lcssa
  br i1 %or.cond.not, label %.thread234, label %.critedge228

.thread234:                                       ; preds = %._crit_edge272, %.critedge221
  %238 = sext i32 %3 to i64
  %239 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %2, i64 %238
  %240 = call noundef ptr @"_ZSt9remove_ifIPN16HighsCliqueTable9CliqueVarEZNS0_9addCliqueERK14HighsMipSolverS2_ibiE3$_0ET_S7_S7_T0_"(ptr noundef %2, ptr noundef %239, ptr nonnull %27)
  %241 = ptrtoint ptr %240 to i64
  %242 = ptrtoint ptr %2 to i64
  %243 = sub i64 %241, %242
  %244 = lshr exact i64 %243, 2
  %245 = trunc i64 %244 to i32
  %246 = icmp slt i32 %245, 2
  br i1 %246, label %.critedge228, label %247

247:                                              ; preds = %.thread234
  call void @_ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef %2, i32 noundef %245, i1 noundef zeroext %4, i32 noundef %5)
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %27)
  br label %.critedge228

.critedge228:                                     ; preds = %105, %221, %52, %67, %.critedge224, %._crit_edge, %247, %.thread234, %._crit_edge272
  ret void
}

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNK13HighsDebugSol11checkCliqueEPKN16HighsCliqueTable9CliqueVarEi(ptr noundef nonnull align 1 dereferenceable(1), ptr noundef, i32 noundef) local_unnamed_addr #2 align 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 #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK14HighsNodeQueue5emptyEv(ptr noundef nonnull align 8 dereferenceable(148)) local_unnamed_addr #1 align 2

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { double, i32 } @_ZSt9make_pairIdRKiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS3_INS4_IT0_E4typeEE6__typeEEOS5_OSA_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt4pairIdlEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(12)) unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local ptr @_ZNKSt3setISt4pairIdlESt4lessIS1_EN14HighsNodeQueue16NodesetAllocatorIS1_EEE11upper_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local ptr @_ZSt4prevISt23_Rb_tree_const_iteratorISt4pairIdlEEET_S4_NSt15iterator_traitsIS4_E15difference_typeE(ptr, i64 noundef) local_unnamed_addr #3

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

declare noundef double @_ZN14HighsNodeQueue9pruneNodeEl(ptr noundef nonnull align 8 dereferenceable(148), i64 noundef) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN12HighsCDoublepLEd(ptr noundef nonnull align 8 dereferenceable(16), double noundef) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef ptr @"_ZSt9remove_ifIPN16HighsCliqueTable9CliqueVarEZNS0_9addCliqueERK14HighsMipSolverS2_ibiE3$_0ET_S7_S7_T0_"(ptr noundef, ptr noundef, ptr) local_unnamed_addr #3

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 #4 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { 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 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !71, i64 456}
!10 = !{!"_ZTS16HighsCliqueTable", !11, i64 0, !16, i64 24, !20, i64 48, !24, i64 72, !38, i64 112, !46, i64 160, !50, i64 184, !46, i64 208, !11, i64 232, !46, i64 256, !54, i64 280, !46, i64 304, !58, i64 328, !62, i64 352, !62, i64 376, !66, i64 400, !46, i64 424, !70, i64 448, !71, i64 456, !71, i64 460, !71, i64 464, !71, i64 468, !72, i64 472, !37, i64 480}
!11 = !{!"_ZTSSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE", !12, i64 0}
!12 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE", !13, i64 0}
!13 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE12_Vector_implE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!15 = !{!"any pointer", !7, i64 0}
!16 = !{!"_ZTSSt6vectorI13HighsHashTreeIiiESaIS1_EE", !17, i64 0}
!17 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE12_Vector_implE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!20 = !{!"_ZTSSt6vectorI13HighsHashTreeIivESaIS1_EE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!24 = !{!"_ZTS14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE", !25, i64 0, !31, i64 8, !37, i64 16, !37, i64 24, !37, i64 32}
!25 = !{!"_ZTSSt10unique_ptrI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !26, i64 0}
!26 = !{!"_ZTSSt15__uniq_ptr_dataI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterELb1ELb1EE", !27, i64 0}
!27 = !{!"_ZTSSt15__uniq_ptr_implI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !28, i64 0}
!28 = !{!"_ZTSSt5tupleIJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !29, i64 0}
!29 = !{!"_ZTSSt11_Tuple_implILm0EJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !30, i64 0}
!30 = !{!"_ZTSSt10_Head_baseILm0EP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiELb0EE", !15, i64 0}
!31 = !{!"_ZTSSt10unique_ptrIA_hSt14default_deleteIS0_EE", !32, i64 0}
!32 = !{!"_ZTSSt15__uniq_ptr_dataIhSt14default_deleteIA_hELb1ELb1EE", !33, i64 0}
!33 = !{!"_ZTSSt15__uniq_ptr_implIhSt14default_deleteIA_hEE", !34, i64 0}
!34 = !{!"_ZTSSt5tupleIJPhSt14default_deleteIA_hEEE", !35, i64 0}
!35 = !{!"_ZTSSt11_Tuple_implILm0EJPhSt14default_deleteIA_hEEE", !36, i64 0}
!36 = !{!"_ZTSSt10_Head_baseILm0EPhLb0EE", !15, i64 0}
!37 = !{!"long", !7, i64 0}
!38 = !{!"_ZTSSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE", !39, i64 0}
!39 = !{!"_ZTSSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE", !40, i64 0}
!40 = !{!"_ZTSNSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE13_Rb_tree_implIS5_Lb1EEE", !41, i64 0, !43, i64 8}
!41 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessISt4pairIiiEEE", !42, i64 0}
!42 = !{!"_ZTSSt4lessISt4pairIiiEE"}
!43 = !{!"_ZTSSt15_Rb_tree_header", !44, i64 0, !37, i64 32}
!44 = !{!"_ZTSSt18_Rb_tree_node_base", !45, i64 0, !15, i64 8, !15, i64 16, !15, i64 24}
!45 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!46 = !{!"_ZTSSt6vectorIiSaIiEE", !47, i64 0}
!47 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !48, i64 0}
!48 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !49, i64 0}
!49 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!50 = !{!"_ZTSSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE", !51, i64 0}
!51 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE", !52, i64 0}
!52 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE12_Vector_implE", !53, i64 0}
!53 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!54 = !{!"_ZTSSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE", !55, i64 0}
!55 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE12_Vector_implE", !57, i64 0}
!57 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!58 = !{!"_ZTSSt6vectorISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !59, i64 0}
!59 = !{!"_ZTSSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !60, i64 0}
!60 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE12_Vector_implE", !61, i64 0}
!61 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!62 = !{!"_ZTSSt6vectorIhSaIhEE", !63, i64 0}
!63 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !64, i64 0}
!64 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !65, i64 0}
!65 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!66 = !{!"_ZTSSt6vectorIjSaIjEE", !67, i64 0}
!67 = !{!"_ZTSSt12_Vector_baseIjSaIjEE", !68, i64 0}
!68 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE12_Vector_implE", !69, i64 0}
!69 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!70 = !{!"_ZTS11HighsRandom", !37, i64 0}
!71 = !{!"int", !7, i64 0}
!72 = !{!"bool", !7, i64 0}
!73 = distinct !{!73, !74}
!74 = !{!"llvm.loop.mustprogress"}
!75 = distinct !{!75, !74}
!76 = !{!7, !7, i64 0}
!77 = !{!78, !37, i64 8}
!78 = !{!"_ZTSSt4pairIdlE", !6, i64 0, !37, i64 8}
!79 = !{!15, !15, i64 0}
!80 = distinct !{!80, !74}
!81 = distinct !{!81, !74}
!82 = distinct !{!82, !74}
!83 = distinct !{!83, !74}


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