// Copyright 2023-2024 Vincent Jacques

#include "testing.hpp"


TEST_CASE("Bug") {
  test([](auto& linear_program) -> std::optional<float> {
    {
      std::vector<typename std::remove_reference_t<decltype(linear_program)>::variable_type> v;
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      v.push_back(linear_program.create_variable());
      linear_program.mark_all_variables_created();
      linear_program.set_objective_coefficient(v[8], 1);
      linear_program.set_objective_coefficient(v[10], 1);
      linear_program.set_objective_coefficient(v[12], 1);
      linear_program.set_objective_coefficient(v[14], 1);
      linear_program.set_objective_coefficient(v[16], 1);
      linear_program.set_objective_coefficient(v[18], 1);
      linear_program.set_objective_coefficient(v[20], 1);
      linear_program.set_objective_coefficient(v[22], 1);
      linear_program.set_objective_coefficient(v[24], 1);
      linear_program.set_objective_coefficient(v[26], 1);
      linear_program.set_objective_coefficient(v[28], 1);
      linear_program.set_objective_coefficient(v[30], 1);
      linear_program.set_objective_coefficient(v[32], 1);
      linear_program.set_objective_coefficient(v[34], 1);
      linear_program.set_objective_coefficient(v[36], 1);
      linear_program.set_objective_coefficient(v[38], 1);
      linear_program.set_objective_coefficient(v[40], 1);
      linear_program.set_objective_coefficient(v[42], 1);
      linear_program.set_objective_coefficient(v[44], 1);
      linear_program.set_objective_coefficient(v[46], 1);
      linear_program.set_objective_coefficient(v[48], 1);
      linear_program.set_objective_coefficient(v[50], 1);
      linear_program.set_objective_coefficient(v[52], 1);
      linear_program.set_objective_coefficient(v[54], 1);
      linear_program.set_objective_coefficient(v[56], 1);
      linear_program.set_objective_coefficient(v[58], 1);
      linear_program.set_objective_coefficient(v[60], 1);
      linear_program.set_objective_coefficient(v[62], 1);
      linear_program.set_objective_coefficient(v[64], 1);
      linear_program.set_objective_coefficient(v[66], 1);
      linear_program.set_objective_coefficient(v[68], 1);
      linear_program.set_objective_coefficient(v[70], 1);
      linear_program.set_objective_coefficient(v[72], 1);
      linear_program.set_objective_coefficient(v[74], 1);
      linear_program.set_objective_coefficient(v[76], 1);
      linear_program.set_objective_coefficient(v[78], 1);
      linear_program.set_objective_coefficient(v[80], 1);
      linear_program.set_objective_coefficient(v[82], 1);
      linear_program.set_objective_coefficient(v[84], 1);
      linear_program.set_objective_coefficient(v[86], 1);
      linear_program.set_objective_coefficient(v[88], 1);
      linear_program.set_objective_coefficient(v[90], 1);
      linear_program.set_objective_coefficient(v[92], 1);
      linear_program.set_objective_coefficient(v[94], 1);
      linear_program.set_objective_coefficient(v[96], 1);
      linear_program.set_objective_coefficient(v[98], 1);
      linear_program.set_objective_coefficient(v[100], 1);
      linear_program.set_objective_coefficient(v[102], 1);
      linear_program.set_objective_coefficient(v[104], 1);
      linear_program.set_objective_coefficient(v[106], 1);
      linear_program.set_objective_coefficient(v[108], 1);
      linear_program.set_objective_coefficient(v[110], 1);
      linear_program.set_objective_coefficient(v[112], 1);
      linear_program.set_objective_coefficient(v[114], 1);
      linear_program.set_objective_coefficient(v[116], 1);
      linear_program.set_objective_coefficient(v[118], 1);
      linear_program.set_objective_coefficient(v[120], 1);
      linear_program.set_objective_coefficient(v[122], 1);
      linear_program.set_objective_coefficient(v[124], 1);
      linear_program.set_objective_coefficient(v[126], 1);
      linear_program.set_objective_coefficient(v[128], 1);
      linear_program.set_objective_coefficient(v[130], 1);
      linear_program.set_objective_coefficient(v[132], 1);
      linear_program.set_objective_coefficient(v[134], 1);
      linear_program.set_objective_coefficient(v[136], 1);
      linear_program.set_objective_coefficient(v[138], 1);
      linear_program.set_objective_coefficient(v[140], 1);
      linear_program.set_objective_coefficient(v[142], 1);
      linear_program.set_objective_coefficient(v[144], 1);
      linear_program.set_objective_coefficient(v[146], 1);
      linear_program.set_objective_coefficient(v[148], 1);
      linear_program.set_objective_coefficient(v[150], 1);
      linear_program.set_objective_coefficient(v[152], 1);
      linear_program.set_objective_coefficient(v[154], 1);
      linear_program.set_objective_coefficient(v[156], 1);
      linear_program.set_objective_coefficient(v[158], 1);
      linear_program.set_objective_coefficient(v[160], 1);
      linear_program.set_objective_coefficient(v[162], 1);
      linear_program.set_objective_coefficient(v[164], 1);
      linear_program.set_objective_coefficient(v[166], 1);
      linear_program.set_objective_coefficient(v[168], 1);
      linear_program.set_objective_coefficient(v[170], 1);
      linear_program.set_objective_coefficient(v[172], 1);
      linear_program.set_objective_coefficient(v[174], 1);
      linear_program.set_objective_coefficient(v[176], 1);
      linear_program.set_objective_coefficient(v[178], 1);
      linear_program.set_objective_coefficient(v[180], 1);
      linear_program.set_objective_coefficient(v[182], 1);
      linear_program.set_objective_coefficient(v[184], 1);
      linear_program.set_objective_coefficient(v[186], 1);
      linear_program.set_objective_coefficient(v[188], 1);
      linear_program.set_objective_coefficient(v[190], 1);
      linear_program.set_objective_coefficient(v[192], 1);
      linear_program.set_objective_coefficient(v[194], 1);
      linear_program.set_objective_coefficient(v[196], 1);
      linear_program.set_objective_coefficient(v[198], 1);
      linear_program.set_objective_coefficient(v[200], 1);
      linear_program.set_objective_coefficient(v[202], 1);
      linear_program.set_objective_coefficient(v[204], 1);
      linear_program.set_objective_coefficient(v[206], 1);
      linear_program.set_objective_coefficient(v[208], 1);
      linear_program.set_objective_coefficient(v[210], 1);
      linear_program.set_objective_coefficient(v[212], 1);
      linear_program.set_objective_coefficient(v[214], 1);
      linear_program.set_objective_coefficient(v[216], 1);
      linear_program.set_objective_coefficient(v[218], 1);
      linear_program.set_objective_coefficient(v[220], 1);
      linear_program.set_objective_coefficient(v[222], 1);
      linear_program.set_objective_coefficient(v[224], 1);
      linear_program.set_objective_coefficient(v[226], 1);
      linear_program.set_objective_coefficient(v[228], 1);
      linear_program.set_objective_coefficient(v[230], 1);
      linear_program.set_objective_coefficient(v[232], 1);
      linear_program.set_objective_coefficient(v[234], 1);
      linear_program.set_objective_coefficient(v[236], 1);
      linear_program.set_objective_coefficient(v[238], 1);
      linear_program.set_objective_coefficient(v[240], 1);
      linear_program.set_objective_coefficient(v[242], 1);
      linear_program.set_objective_coefficient(v[244], 1);
      linear_program.set_objective_coefficient(v[246], 1);
      linear_program.set_objective_coefficient(v[248], 1);
      linear_program.set_objective_coefficient(v[250], 1);
      linear_program.set_objective_coefficient(v[252], 1);
      linear_program.set_objective_coefficient(v[254], 1);
      linear_program.set_objective_coefficient(v[256], 1);
      linear_program.set_objective_coefficient(v[258], 1);
      linear_program.set_objective_coefficient(v[260], 1);
      linear_program.set_objective_coefficient(v[262], 1);
      linear_program.set_objective_coefficient(v[264], 1);
      linear_program.set_objective_coefficient(v[266], 1);
      linear_program.set_objective_coefficient(v[268], 1);
      linear_program.set_objective_coefficient(v[270], 1);
      linear_program.set_objective_coefficient(v[272], 1);
      linear_program.set_objective_coefficient(v[274], 1);
      linear_program.set_objective_coefficient(v[276], 1);
      linear_program.set_objective_coefficient(v[278], 1);
      linear_program.set_objective_coefficient(v[280], 1);
      linear_program.set_objective_coefficient(v[282], 1);
      linear_program.set_objective_coefficient(v[284], 1);
      linear_program.set_objective_coefficient(v[286], 1);
      linear_program.set_objective_coefficient(v[288], 1);
      linear_program.set_objective_coefficient(v[290], 1);
      linear_program.set_objective_coefficient(v[292], 1);
      linear_program.set_objective_coefficient(v[294], 1);
      linear_program.set_objective_coefficient(v[296], 1);
      linear_program.set_objective_coefficient(v[298], 1);
      linear_program.set_objective_coefficient(v[300], 1);
      linear_program.set_objective_coefficient(v[302], 1);
      linear_program.set_objective_coefficient(v[304], 1);
      linear_program.set_objective_coefficient(v[306], 1);
      linear_program.set_objective_coefficient(v[308], 1);
      linear_program.set_objective_coefficient(v[310], 1);
      linear_program.set_objective_coefficient(v[312], 1);
      linear_program.set_objective_coefficient(v[314], 1);
      linear_program.set_objective_coefficient(v[316], 1);
      linear_program.set_objective_coefficient(v[318], 1);
      linear_program.set_objective_coefficient(v[320], 1);
      linear_program.set_objective_coefficient(v[322], 1);
      linear_program.set_objective_coefficient(v[324], 1);
      linear_program.set_objective_coefficient(v[326], 1);
      linear_program.set_objective_coefficient(v[328], 1);
      linear_program.set_objective_coefficient(v[330], 1);
      linear_program.set_objective_coefficient(v[332], 1);
      linear_program.set_objective_coefficient(v[334], 1);
      linear_program.set_objective_coefficient(v[336], 1);
      linear_program.set_objective_coefficient(v[338], 1);
      linear_program.set_objective_coefficient(v[340], 1);
      linear_program.set_objective_coefficient(v[342], 1);
      linear_program.set_objective_coefficient(v[344], 1);
      linear_program.set_objective_coefficient(v[346], 1);
      linear_program.set_objective_coefficient(v[348], 1);
      linear_program.set_objective_coefficient(v[350], 1);
      linear_program.set_objective_coefficient(v[352], 1);
      linear_program.set_objective_coefficient(v[354], 1);
      linear_program.set_objective_coefficient(v[356], 1);
      linear_program.set_objective_coefficient(v[358], 1);
      linear_program.set_objective_coefficient(v[360], 1);
      linear_program.set_objective_coefficient(v[362], 1);
      linear_program.set_objective_coefficient(v[364], 1);
      linear_program.set_objective_coefficient(v[366], 1);
      linear_program.set_objective_coefficient(v[368], 1);
      linear_program.set_objective_coefficient(v[370], 1);
      linear_program.set_objective_coefficient(v[372], 1);
      linear_program.set_objective_coefficient(v[374], 1);
      linear_program.set_objective_coefficient(v[376], 1);
      linear_program.set_objective_coefficient(v[378], 1);
      linear_program.set_objective_coefficient(v[380], 1);
      linear_program.set_objective_coefficient(v[382], 1);
      linear_program.set_objective_coefficient(v[384], 1);
      linear_program.set_objective_coefficient(v[386], 1);
      linear_program.set_objective_coefficient(v[388], 1);
      linear_program.set_objective_coefficient(v[390], 1);
      linear_program.set_objective_coefficient(v[392], 1);
      linear_program.set_objective_coefficient(v[394], 1);
      linear_program.set_objective_coefficient(v[396], 1);
      linear_program.set_objective_coefficient(v[398], 1);
      linear_program.set_objective_coefficient(v[400], 1);
      linear_program.set_objective_coefficient(v[402], 1);
      linear_program.set_objective_coefficient(v[404], 1);
      linear_program.set_objective_coefficient(v[406], 1);
      linear_program.set_objective_coefficient(v[408], 1);
      linear_program.set_objective_coefficient(v[410], 1);
      linear_program.set_objective_coefficient(v[412], 1);
      linear_program.set_objective_coefficient(v[414], 1);
      linear_program.set_objective_coefficient(v[416], 1);
      linear_program.set_objective_coefficient(v[418], 1);
      linear_program.set_objective_coefficient(v[420], 1);
      linear_program.set_objective_coefficient(v[422], 1);
      linear_program.set_objective_coefficient(v[424], 1);
      linear_program.set_objective_coefficient(v[426], 1);
      linear_program.set_objective_coefficient(v[428], 1);
      linear_program.set_objective_coefficient(v[430], 1);
      linear_program.set_objective_coefficient(v[432], 1);
      linear_program.set_objective_coefficient(v[434], 1);
      linear_program.set_objective_coefficient(v[436], 1);
      linear_program.set_objective_coefficient(v[438], 1);
      linear_program.set_objective_coefficient(v[440], 1);
      linear_program.set_objective_coefficient(v[442], 1);
      linear_program.set_objective_coefficient(v[444], 1);
      linear_program.set_objective_coefficient(v[446], 1);
      linear_program.set_objective_coefficient(v[448], 1);
      linear_program.set_objective_coefficient(v[450], 1);
      linear_program.set_objective_coefficient(v[452], 1);
      linear_program.set_objective_coefficient(v[454], 1);
      linear_program.set_objective_coefficient(v[456], 1);
      linear_program.set_objective_coefficient(v[458], 1);
      linear_program.set_objective_coefficient(v[460], 1);
      linear_program.set_objective_coefficient(v[462], 1);
      linear_program.set_objective_coefficient(v[464], 1);
      linear_program.set_objective_coefficient(v[466], 1);
      linear_program.set_objective_coefficient(v[468], 1);
      linear_program.set_objective_coefficient(v[470], 1);
      linear_program.set_objective_coefficient(v[472], 1);
      linear_program.set_objective_coefficient(v[474], 1);
      linear_program.set_objective_coefficient(v[476], 1);
      linear_program.set_objective_coefficient(v[478], 1);
      linear_program.set_objective_coefficient(v[480], 1);
      linear_program.set_objective_coefficient(v[482], 1);
      linear_program.set_objective_coefficient(v[484], 1);
      linear_program.set_objective_coefficient(v[486], 1);
      linear_program.set_objective_coefficient(v[488], 1);
      linear_program.set_objective_coefficient(v[490], 1);
      linear_program.set_objective_coefficient(v[492], 1);
      linear_program.set_objective_coefficient(v[494], 1);
      linear_program.set_objective_coefficient(v[496], 1);
      linear_program.set_objective_coefficient(v[498], 1);
      linear_program.set_objective_coefficient(v[500], 1);
      linear_program.set_objective_coefficient(v[502], 1);
      linear_program.set_objective_coefficient(v[504], 1);
      linear_program.set_objective_coefficient(v[506], 1);
      linear_program.set_objective_coefficient(v[508], 1);
      linear_program.set_objective_coefficient(v[510], 1);
      linear_program.set_objective_coefficient(v[512], 1);
      linear_program.set_objective_coefficient(v[514], 1);
      linear_program.set_objective_coefficient(v[516], 1);
      linear_program.set_objective_coefficient(v[518], 1);
      linear_program.set_objective_coefficient(v[520], 1);
      linear_program.set_objective_coefficient(v[522], 1);
      linear_program.set_objective_coefficient(v[524], 1);
      linear_program.set_objective_coefficient(v[526], 1);
      linear_program.set_objective_coefficient(v[528], 1);
      linear_program.set_objective_coefficient(v[530], 1);
      linear_program.set_objective_coefficient(v[532], 1);
      linear_program.set_objective_coefficient(v[534], 1);
      linear_program.set_objective_coefficient(v[536], 1);
      linear_program.set_objective_coefficient(v[538], 1);
      linear_program.set_objective_coefficient(v[540], 1);
      linear_program.set_objective_coefficient(v[542], 1);
      linear_program.set_objective_coefficient(v[544], 1);
      linear_program.set_objective_coefficient(v[546], 1);
      linear_program.set_objective_coefficient(v[548], 1);
      linear_program.set_objective_coefficient(v[550], 1);
      linear_program.set_objective_coefficient(v[552], 1);
      linear_program.set_objective_coefficient(v[554], 1);
      linear_program.set_objective_coefficient(v[556], 1);
      linear_program.set_objective_coefficient(v[558], 1);
      linear_program.set_objective_coefficient(v[560], 1);
      linear_program.set_objective_coefficient(v[562], 1);
      linear_program.set_objective_coefficient(v[564], 1);
      linear_program.set_objective_coefficient(v[566], 1);
      linear_program.set_objective_coefficient(v[568], 1);
      linear_program.set_objective_coefficient(v[570], 1);
      linear_program.set_objective_coefficient(v[572], 1);
      linear_program.set_objective_coefficient(v[574], 1);
      linear_program.set_objective_coefficient(v[576], 1);
      linear_program.set_objective_coefficient(v[578], 1);
      linear_program.set_objective_coefficient(v[580], 1);
      linear_program.set_objective_coefficient(v[582], 1);
      linear_program.set_objective_coefficient(v[584], 1);
      linear_program.set_objective_coefficient(v[586], 1);
      linear_program.set_objective_coefficient(v[588], 1);
      linear_program.set_objective_coefficient(v[590], 1);
      linear_program.set_objective_coefficient(v[592], 1);
      linear_program.set_objective_coefficient(v[594], 1);
      linear_program.set_objective_coefficient(v[596], 1);
      linear_program.set_objective_coefficient(v[598], 1);
      linear_program.set_objective_coefficient(v[600], 1);
      linear_program.set_objective_coefficient(v[602], 1);
      linear_program.set_objective_coefficient(v[604], 1);
      linear_program.set_objective_coefficient(v[606], 1);
      linear_program.set_objective_coefficient(v[608], 1);
      linear_program.set_objective_coefficient(v[610], 1);
      linear_program.set_objective_coefficient(v[612], 1);
      linear_program.set_objective_coefficient(v[614], 1);
      linear_program.set_objective_coefficient(v[616], 1);
      linear_program.set_objective_coefficient(v[618], 1);
      linear_program.set_objective_coefficient(v[620], 1);
      linear_program.set_objective_coefficient(v[622], 1);
      linear_program.set_objective_coefficient(v[624], 1);
      linear_program.set_objective_coefficient(v[626], 1);
      linear_program.set_objective_coefficient(v[628], 1);
      linear_program.set_objective_coefficient(v[630], 1);
      linear_program.set_objective_coefficient(v[632], 1);
      linear_program.set_objective_coefficient(v[634], 1);
      linear_program.set_objective_coefficient(v[636], 1);
      linear_program.set_objective_coefficient(v[638], 1);
      linear_program.set_objective_coefficient(v[640], 1);
      linear_program.set_objective_coefficient(v[642], 1);
      linear_program.set_objective_coefficient(v[644], 1);
      linear_program.set_objective_coefficient(v[646], 1);
      linear_program.set_objective_coefficient(v[648], 1);
      linear_program.set_objective_coefficient(v[650], 1);
      linear_program.set_objective_coefficient(v[652], 1);
      linear_program.set_objective_coefficient(v[654], 1);
      linear_program.set_objective_coefficient(v[656], 1);
      linear_program.set_objective_coefficient(v[658], 1);
      linear_program.set_objective_coefficient(v[660], 1);
      linear_program.set_objective_coefficient(v[662], 1);
      linear_program.set_objective_coefficient(v[664], 1);
      linear_program.set_objective_coefficient(v[666], 1);
      linear_program.set_objective_coefficient(v[668], 1);
      linear_program.set_objective_coefficient(v[670], 1);
      linear_program.set_objective_coefficient(v[672], 1);
      linear_program.set_objective_coefficient(v[674], 1);
      linear_program.set_objective_coefficient(v[676], 1);
      linear_program.set_objective_coefficient(v[678], 1);
      linear_program.set_objective_coefficient(v[680], 1);
      linear_program.set_objective_coefficient(v[682], 1);
      linear_program.set_objective_coefficient(v[684], 1);
      linear_program.set_objective_coefficient(v[686], 1);
      linear_program.set_objective_coefficient(v[688], 1);
      linear_program.set_objective_coefficient(v[690], 1);
      linear_program.set_objective_coefficient(v[692], 1);
      linear_program.set_objective_coefficient(v[694], 1);
      linear_program.set_objective_coefficient(v[696], 1);
      linear_program.set_objective_coefficient(v[698], 1);
      linear_program.set_objective_coefficient(v[700], 1);
      linear_program.set_objective_coefficient(v[702], 1);
      linear_program.set_objective_coefficient(v[704], 1);
      linear_program.set_objective_coefficient(v[706], 1);
      linear_program.set_objective_coefficient(v[708], 1);
      linear_program.set_objective_coefficient(v[710], 1);
      linear_program.set_objective_coefficient(v[712], 1);
      linear_program.set_objective_coefficient(v[714], 1);
      linear_program.set_objective_coefficient(v[716], 1);
      linear_program.set_objective_coefficient(v[718], 1);
      linear_program.set_objective_coefficient(v[720], 1);
      linear_program.set_objective_coefficient(v[722], 1);
      linear_program.set_objective_coefficient(v[724], 1);
      linear_program.set_objective_coefficient(v[726], 1);
      linear_program.set_objective_coefficient(v[728], 1);
      linear_program.set_objective_coefficient(v[730], 1);
      linear_program.set_objective_coefficient(v[732], 1);
      linear_program.set_objective_coefficient(v[734], 1);
      linear_program.set_objective_coefficient(v[736], 1);
      linear_program.set_objective_coefficient(v[738], 1);
      linear_program.set_objective_coefficient(v[740], 1);
      linear_program.set_objective_coefficient(v[742], 1);
      linear_program.set_objective_coefficient(v[744], 1);
      linear_program.set_objective_coefficient(v[746], 1);
      linear_program.set_objective_coefficient(v[748], 1);
      linear_program.set_objective_coefficient(v[750], 1);
      linear_program.set_objective_coefficient(v[752], 1);
      linear_program.set_objective_coefficient(v[754], 1);
      linear_program.set_objective_coefficient(v[756], 1);
      linear_program.set_objective_coefficient(v[758], 1);
      linear_program.set_objective_coefficient(v[760], 1);
      linear_program.set_objective_coefficient(v[762], 1);
      linear_program.set_objective_coefficient(v[764], 1);
      linear_program.set_objective_coefficient(v[766], 1);
      linear_program.set_objective_coefficient(v[768], 1);
      linear_program.set_objective_coefficient(v[770], 1);
      linear_program.set_objective_coefficient(v[772], 1);
      linear_program.set_objective_coefficient(v[774], 1);
      linear_program.set_objective_coefficient(v[776], 1);
      linear_program.set_objective_coefficient(v[778], 1);
      linear_program.set_objective_coefficient(v[780], 1);
      linear_program.set_objective_coefficient(v[782], 1);
      linear_program.set_objective_coefficient(v[784], 1);
      linear_program.set_objective_coefficient(v[786], 1);
      linear_program.set_objective_coefficient(v[788], 1);
      linear_program.set_objective_coefficient(v[790], 1);
      linear_program.set_objective_coefficient(v[792], 1);
      linear_program.set_objective_coefficient(v[794], 1);
      linear_program.set_objective_coefficient(v[796], 1);
      linear_program.set_objective_coefficient(v[798], 1);
      linear_program.set_objective_coefficient(v[800], 1);
      linear_program.set_objective_coefficient(v[802], 1);
      linear_program.set_objective_coefficient(v[804], 1);
      linear_program.set_objective_coefficient(v[806], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[7], -1).set_coefficient(v[8], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[11], -1).set_coefficient(v[12], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[15], -1).set_coefficient(v[16], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[19], -1).set_coefficient(v[20], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[25], 1).set_coefficient(v[26], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[27], -1).set_coefficient(v[28], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[31], -1).set_coefficient(v[32], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[35], -1).set_coefficient(v[36], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[6], 1).set_coefficient(v[41], 1).set_coefficient(v[42], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[43], -1).set_coefficient(v[44], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[47], -1).set_coefficient(v[48], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[51], -1).set_coefficient(v[52], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[55], -1).set_coefficient(v[56], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[61], 1).set_coefficient(v[62], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[65], 1).set_coefficient(v[66], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[6], 1).set_coefficient(v[67], -1).set_coefficient(v[68], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[71], -1).set_coefficient(v[72], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[75], -1).set_coefficient(v[76], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[79], -1).set_coefficient(v[80], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[6], 1).set_coefficient(v[85], 1).set_coefficient(v[86], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[87], -1).set_coefficient(v[88], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[93], 1).set_coefficient(v[94], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[5], 1).set_coefficient(v[97], 1).set_coefficient(v[98], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[99], -1).set_coefficient(v[100], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[103], -1).set_coefficient(v[104], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[107], -1).set_coefficient(v[108], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[111], -1).set_coefficient(v[112], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[117], 1).set_coefficient(v[118], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[119], -1).set_coefficient(v[120], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[6], 1).set_coefficient(v[123], -1).set_coefficient(v[124], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[127], -1).set_coefficient(v[128], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[131], -1).set_coefficient(v[132], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[135], -1).set_coefficient(v[136], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[139], -1).set_coefficient(v[140], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[143], -1).set_coefficient(v[144], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[149], 1).set_coefficient(v[150], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[153], 1).set_coefficient(v[154], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[157], 1).set_coefficient(v[158], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[161], 1).set_coefficient(v[162], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[165], 1).set_coefficient(v[166], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[167], -1).set_coefficient(v[168], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[173], 1).set_coefficient(v[174], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[175], -1).set_coefficient(v[176], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[179], -1).set_coefficient(v[180], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[183], -1).set_coefficient(v[184], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[189], 1).set_coefficient(v[190], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[193], 1).set_coefficient(v[194], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[197], 1).set_coefficient(v[198], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[199], -1).set_coefficient(v[200], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[5], 1).set_coefficient(v[205], 1).set_coefficient(v[206], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[207], -1).set_coefficient(v[208], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[211], -1).set_coefficient(v[212], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[215], -1).set_coefficient(v[216], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[219], -1).set_coefficient(v[220], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[225], 1).set_coefficient(v[226], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[229], 1).set_coefficient(v[230], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[233], 1).set_coefficient(v[234], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[237], 1).set_coefficient(v[238], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[239], -1).set_coefficient(v[240], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[243], -1).set_coefficient(v[244], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[247], -1).set_coefficient(v[248], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[253], 1).set_coefficient(v[254], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[257], 1).set_coefficient(v[258], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[261], 1).set_coefficient(v[262], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[265], 1).set_coefficient(v[266], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[267], -1).set_coefficient(v[268], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[273], 1).set_coefficient(v[274], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[277], 1).set_coefficient(v[278], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[281], 1).set_coefficient(v[282], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[283], -1).set_coefficient(v[284], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[289], 1).set_coefficient(v[290], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[293], 1).set_coefficient(v[294], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[295], -1).set_coefficient(v[296], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[299], -1).set_coefficient(v[300], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[305], 1).set_coefficient(v[306], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[307], -1).set_coefficient(v[308], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[313], 1).set_coefficient(v[314], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[315], -1).set_coefficient(v[316], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[319], -1).set_coefficient(v[320], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[323], -1).set_coefficient(v[324], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[329], 1).set_coefficient(v[330], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[331], -1).set_coefficient(v[332], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[337], 1).set_coefficient(v[338], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[341], 1).set_coefficient(v[342], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[343], -1).set_coefficient(v[344], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[347], -1).set_coefficient(v[348], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[351], -1).set_coefficient(v[352], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[6], 1).set_coefficient(v[355], -1).set_coefficient(v[356], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[359], -1).set_coefficient(v[360], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[363], -1).set_coefficient(v[364], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[369], 1).set_coefficient(v[370], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[373], 1).set_coefficient(v[374], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[377], 1).set_coefficient(v[378], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[381], 1).set_coefficient(v[382], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[385], 1).set_coefficient(v[386], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[387], -1).set_coefficient(v[388], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[393], 1).set_coefficient(v[394], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[395], -1).set_coefficient(v[396], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[401], 1).set_coefficient(v[402], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[403], -1).set_coefficient(v[404], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[407], -1).set_coefficient(v[408], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[413], 1).set_coefficient(v[414], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[417], 1).set_coefficient(v[418], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[421], 1).set_coefficient(v[422], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[423], -1).set_coefficient(v[424], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[429], 1).set_coefficient(v[430], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[433], 1).set_coefficient(v[434], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[5], 1).set_coefficient(v[435], -1).set_coefficient(v[436], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[441], 1).set_coefficient(v[442], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[445], 1).set_coefficient(v[446], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[447], -1).set_coefficient(v[448], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[451], -1).set_coefficient(v[452], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[457], 1).set_coefficient(v[458], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[461], 1).set_coefficient(v[462], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[465], 1).set_coefficient(v[466], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[467], -1).set_coefficient(v[468], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[5], 1).set_coefficient(v[473], 1).set_coefficient(v[474], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[477], 1).set_coefficient(v[478], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[5], 1).set_coefficient(v[481], 1).set_coefficient(v[482], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[485], 1).set_coefficient(v[486], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[487], -1).set_coefficient(v[488], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[491], -1).set_coefficient(v[492], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[497], 1).set_coefficient(v[498], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[499], -1).set_coefficient(v[500], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[505], 1).set_coefficient(v[506], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[507], -1).set_coefficient(v[508], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[511], -1).set_coefficient(v[512], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[517], 1).set_coefficient(v[518], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[6], 1).set_coefficient(v[519], -1).set_coefficient(v[520], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[523], -1).set_coefficient(v[524], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[527], -1).set_coefficient(v[528], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[533], 1).set_coefficient(v[534], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[537], 1).set_coefficient(v[538], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[541], 1).set_coefficient(v[542], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[545], 1).set_coefficient(v[546], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[549], 1).set_coefficient(v[550], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[551], -1).set_coefficient(v[552], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[555], -1).set_coefficient(v[556], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[561], 1).set_coefficient(v[562], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[563], -1).set_coefficient(v[564], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[569], 1).set_coefficient(v[570], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[571], -1).set_coefficient(v[572], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[577], 1).set_coefficient(v[578], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[581], 1).set_coefficient(v[582], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[585], 1).set_coefficient(v[586], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[587], -1).set_coefficient(v[588], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[593], 1).set_coefficient(v[594], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[595], -1).set_coefficient(v[596], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[599], -1).set_coefficient(v[600], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[603], -1).set_coefficient(v[604], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[609], 1).set_coefficient(v[610], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[613], 1).set_coefficient(v[614], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[615], -1).set_coefficient(v[616], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[621], 1).set_coefficient(v[622], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[623], -1).set_coefficient(v[624], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[6], 1).set_coefficient(v[627], -1).set_coefficient(v[628], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[631], -1).set_coefficient(v[632], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[637], 1).set_coefficient(v[638], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[641], 1).set_coefficient(v[642], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[643], -1).set_coefficient(v[644], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[647], -1).set_coefficient(v[648], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[651], -1).set_coefficient(v[652], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[6], 1).set_coefficient(v[655], -1).set_coefficient(v[656], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[5], 1).set_coefficient(v[661], 1).set_coefficient(v[662], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[663], -1).set_coefficient(v[664], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[3], 1).set_coefficient(v[667], -1).set_coefficient(v[668], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[671], -1).set_coefficient(v[672], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[675], -1).set_coefficient(v[676], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[681], 1).set_coefficient(v[682], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[685], 1).set_coefficient(v[686], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[687], -1).set_coefficient(v[688], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[693], 1).set_coefficient(v[694], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[3], 1).set_coefficient(v[5], 1).set_coefficient(v[695], -1).set_coefficient(v[696], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[701], 1).set_coefficient(v[702], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[705], 1).set_coefficient(v[706], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[707], -1).set_coefficient(v[708], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[6], 1).set_coefficient(v[711], -1).set_coefficient(v[712], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[715], -1).set_coefficient(v[716], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[719], -1).set_coefficient(v[720], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[6], 1).set_coefficient(v[725], 1).set_coefficient(v[726], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[729], 1).set_coefficient(v[730], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[3], 1).set_coefficient(v[731], -1).set_coefficient(v[732], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[735], -1).set_coefficient(v[736], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[739], -1).set_coefficient(v[740], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[4], 1).set_coefficient(v[6], 1).set_coefficient(v[745], 1).set_coefficient(v[746], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[1], 1).set_coefficient(v[5], 1).set_coefficient(v[747], -1).set_coefficient(v[748], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[751], -1).set_coefficient(v[752], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[0], 1).set_coefficient(v[755], -1).set_coefficient(v[756], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[3], 1).set_coefficient(v[6], 1).set_coefficient(v[759], -1).set_coefficient(v[760], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[765], 1).set_coefficient(v[766], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[769], 1).set_coefficient(v[770], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[773], 1).set_coefficient(v[774], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[775], -1).set_coefficient(v[776], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[6], 1).set_coefficient(v[779], -1).set_coefficient(v[780], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[785], 1).set_coefficient(v[786], -1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[787], -1).set_coefficient(v[788], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[791], -1).set_coefficient(v[792], 1);
      linear_program.create_constraint().set_bounds(1, 1).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[795], -1).set_coefficient(v[796], 1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[1], 1).set_coefficient(v[2], 1).set_coefficient(v[5], 1).set_coefficient(v[801], 1).set_coefficient(v[802], -1);
      linear_program.create_constraint().set_bounds(0.999999, 0.999999).set_coefficient(v[2], 1).set_coefficient(v[4], 1).set_coefficient(v[5], 1).set_coefficient(v[6], 1).set_coefficient(v[805], 1).set_coefficient(v[806], -1);
    }
    const auto solution = linear_program.solve();
    if (solution) {
      return solution->cost;
    } else {
      return std::nullopt;
    }
  });
}
