2026-09-03 17:08.34: New job: build gappa.1.4.0 (d570bfbf2f33)
2026-09-03 17:08.34: Waiting for resource in pool day11-builds
2026-09-03 17:10.48: Got resource from pool day11-builds
2026-09-03 17:10.48: [profile full] build gappa.1.4.0
2026-09-03 17:10.48: build gappa.1.4.0 (d570bfbf2f33)
=== DEPENDENCIES (9 transitive) ===
  conf-autoconf.1                                    788c5c60b51c
  conf-automake.1                                    cf3295566b8d
  conf-bison.2                                       e2667ef9f494
  conf-boost.1                                       9ab2aded4b50
  conf-flex.2                                        96cae4229735
  conf-g++.1.0                                       333ef6cbb063
  conf-gmp.5                                         eac5259e412f
  conf-mpfr.3                                        55ccbb8ded3f
  conf-pkg-config.5                                  74f50f3cfe72
=== STDOUT ===
Processing: [default: loading data]
[gappa.1.4.0: dl]
[gappa.1.4.0: extract]
[gappa.1.4.0/0001-Added-configure-for-c-11.patch: dl]
-> retrieved gappa.1.4.0  (https://opam.ocaml.org/cache)
[gappa: patch] applying 0001-Added-configure-for-c-11.patch
[gappa: autoreconf]
+ /usr/bin/autoreconf  (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.0)
- autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in'
- aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
- configure.in:8: warning: AC_PROG_LEX without either yywrap or noyywrap is obsolete
- ./lib/autoconf/programs.m4:743: _AC_PROG_LEX is expanded from...
- ./lib/autoconf/programs.m4:736: AC_PROG_LEX is expanded from...
- configure.in:8: the top level
- configure.in:23: warning: The macro 'AC_TRY_COMPILE' is obsolete.
- configure.in:23: You should run autoupdate.
- ./lib/autoconf/general.m4:2845: AC_TRY_COMPILE is expanded from...
- configure.in:23: the top level
- configure.in:31: warning: The macro 'AC_TRY_COMPILE' is obsolete.
- configure.in:31: You should run autoupdate.
- ./lib/autoconf/general.m4:2845: AC_TRY_COMPILE is expanded from...
- configure.in:31: the top level
- autoheader: warning: autoconf input should be named 'configure.ac', not 'configure.in'
[gappa: touch stamp-config_h.in]
+ /usr/bin/touch "stamp-config_h.in" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.0)
[gappa: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.4.0/./configure "--prefix=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.0)
- checking for g++... g++
- checking whether the C++ compiler works... yes
- checking for C++ compiler default output file name... a.out
- checking for suffix of executables... 
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether the compiler supports GNU C++... yes
- checking whether g++ accepts -g... yes
- checking for g++ option to enable C++11 features... 
- none needed
- checking for gcc... gcc
- checking whether the compiler supports GNU C... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... none needed
- checking for flex... flex
- checking for lex output file root... lex.yy
- checking for lex library... 
- none needed
- checking for library containing yywrap... -ll
- checking whether yytext is a pointer... yes
- checking for bison... bison -y
- checking how to run the C preprocessor... gcc -E
- checking for gcc... gcc
- checking whether the compiler supports GNU C... (cached) yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... (cached) none needed
- checking how to run the C preprocessor... gcc -E
- checking how to run the C++ preprocessor... g++ -E
- checking for g++... g++
- checking whether the compiler supports GNU C++... (cached) yes
- checking whether g++ accepts -g... yes
- checking for g++ option to enable C++11 features... (cached) none needed
- checking how to run the C++ preprocessor... g++ -E
- checking whether g++ supports C++11 features with -std=gnu++11... yes
- checking for __gmpz_init in -lgmp... yes
- checking for mpfr_snprintf in -lmpfr... yes
- checking for Boost (>=1.32)... 
- yes
- checking for tr1/unordered_map... yes
- configure: building remake...
- /usr/bin/ld: /tmp/cc3ZFWgL.o: in function `main':
- remake.cpp:(.text.startup+0xed7): warning: the use of `tempnam' is dangerous, better use `mkstemp'
- configure: creating ./config.status
- config.status: creating stamp-config_h
- config.status: creating Remakefile
- config.status: creating config.h
[gappa: ./remake]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.4.0/./remake "--jobs=39" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.0)
- Building src/parser/parser.cpp src/parser/parser.hpp
- Building src/parser/lexer.cpp
- src/parser/parser.ypp:89.1-7: warning: POSIX Yacc does not support %define [-Wyacc]
-    89 | %define parse.error verbose
-       | ^~~~~~~
- src/parser/parser.ypp:90.1-7: warning: POSIX Yacc does not support %define [-Wyacc]
-    90 | %define api.pure
-       | ^~~~~~~
- Finished src/parser/lexer.cpp
- Finished src/parser/parser.cpp src/parser/parser.hpp
- Building src/arithmetic/fixed.o
- Building src/arithmetic/float.o
- Building src/arithmetic/homogen.o
- Building src/arithmetic/relative.o
- Building src/backends/backend.o
- Building src/backends/coq.o
- Building src/backends/coq_common.o
- Building src/backends/coq_lambda.o
- Building src/backends/holl.o
- Building src/backends/latex.o
- Building src/numbers/interval.o
- Building src/numbers/io.o
- Building src/numbers/real.o
- Building src/numbers/round.o
- Building src/parser/ast.o
- Building src/parser/lexer.o
- Building src/parser/parser_aux.o
- Building src/parser/parser.o
- Building src/parser/pattern.o
- Building src/parser/ring.o
- Building src/proofs/basic_proof.o
- Building src/proofs/dichotomy.o
- Building src/proofs/proof_graph.o
- Building src/proofs/property.o
- Building src/proofs/rewriting.o
- Building src/proofs/schemes.o
- Building src/proofs/updater.o
- Building src/main.o
- Building src/parameters.o
- Finished src/backends/backend.o
- Finished src/numbers/real.o
- Finished src/parameters.o
- Finished src/backends/coq_lambda.o
- Finished src/main.o
- Finished src/numbers/io.o
- Finished src/arithmetic/homogen.o
- Finished src/arithmetic/relative.o
- Finished src/numbers/round.o
- Finished src/proofs/updater.o
- Finished src/proofs/property.o
- In file included from /usr/include/c++/14/string:51,
-                  from /usr/include/c++/14/bits/locale_classes.h:40,
-                  from /usr/include/c++/14/bits/ios_base.h:41,
-                  from /usr/include/c++/14/ios:44,
-                  from /usr/include/c++/14/ostream:40,
-                  from /usr/include/c++/14/iostream:41,
-                  from src/parser/parser.ypp:15:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
-     inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
-     inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
-     inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
-     inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
-     inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
-     inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
-     inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'const ast_real* rnd_normalize(const ast_real&)' at src/parser/parser.ypp:66:54:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
-   452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
-       |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/x86_64-linux-gnu/c++/14/bits/c++allocator.h:33,
-                  from /usr/include/c++/14/bits/allocator.h:46,
-                  from /usr/include/c++/14/string:43:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
-     inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
-     inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'const ast_real* rnd_normalize(const ast_real&)' at src/parser/parser.ypp:66:54:
- /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
-   151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
-       |                                                       ^
- In file included from /usr/include/c++/14/bits/stl_tree.h:63,
-                  from /usr/include/c++/14/map:62,
-                  from src/parser/pattern.cpp:12:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
-     inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
-     inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
-     inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
-     inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
-     inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
-     inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
-     inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'pattern pattern::operator-() const' at src/parser/pattern.cpp:261:75:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
-   452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
-       |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/x86_64-linux-gnu/c++/14/bits/c++allocator.h:33,
-                  from /usr/include/c++/14/bits/allocator.h:46,
-                  from /usr/include/c++/14/bits/stl_tree.h:64:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
-     inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
-     inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'pattern pattern::operator-() const' at src/parser/pattern.cpp:261:75:
- /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
-   151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
-       |                                                       ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
-     inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
-     inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
-     inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
-     inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
-     inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
-     inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
-     inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'static pattern pattern::abs(const pattern&)' at src/parser/pattern.cpp:262:81:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
-   452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
-       |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
-     inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
-     inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'static pattern pattern::abs(const pattern&)' at src/parser/pattern.cpp:262:81:
- /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
-   151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
-       |                                                       ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
-     inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
-     inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
-     inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
-     inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
-     inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
-     inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
-     inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'static pattern pattern::sqrt(const pattern&)' at src/parser/pattern.cpp:263:83:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
-   452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
-       |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
-     inlined from 'static _Tp* std::allocator_traits<std::allocator<_Tp1> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
-     inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'static pattern pattern::sqrt(const pattern&)' at src/parser/pattern.cpp:263:83:
- /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
-   151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
-       |                                                       ^
- Finished src/parser/lexer.o
- Finished src/parser/parser_aux.o
- Finished src/numbers/interval.o
- Finished src/backends/coq.o
- Finished src/backends/latex.o
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
-     inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
-     inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
-     inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
-     inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
-     inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
-     inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
-     inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'int yyparse()' at src/parser/parser.ypp:290:95:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
-   452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
-       |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
-     inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
-     inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'int yyparse()' at src/parser/parser.ypp:290:95:
- /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
-   151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
-       |                                                       ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
-     inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
-     inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
-     inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
-     inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
-     inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
-     inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
-     inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'int yyparse()' at src/parser/parser.ypp:291:100:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
-   452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
-       |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
-     inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
-     inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'int yyparse()' at src/parser/parser.ypp:291:100:
- /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
-   151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
-       |                                                       ^
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
-     inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
-     inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
-     inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
-     inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
-     inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
-     inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
-     inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'int yyparse()' at src/parser/parser.ypp:301:94:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
-   452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
-       |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
-     inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
-     inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'int yyparse()' at src/parser/parser.ypp:301:94:
- /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
-   151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
-       |                                                       ^
- Finished src/parser/pattern.o
- Finished src/arithmetic/fixed.o
- Finished src/arithmetic/float.o
- Finished src/parser/ring.o
- Finished src/proofs/dichotomy.o
- Finished src/proofs/proof_graph.o
- Finished src/parser/parser.o
- Finished src/backends/holl.o
- Finished src/parser/ast.o
- Finished src/proofs/schemes.o
- In file included from /usr/include/c++/14/algorithm:60,
-                  from src/numbers/interval_utility.hpp:15,
-                  from src/proofs/basic_proof.cpp:13:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]',
-     inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
-     inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
-     inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
-     inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _OI = const ast_real**]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
-     inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, std::vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
-     inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
-     inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const ast_real* const*, vector<const ast_real*> >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'static proof_scheme* abs_of_uabs_scheme::factory(const predicated_real&, const ast_real_vect&)' at src/proofs/basic_proof.cpp:643:62:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' writing between 9 and 9223372036854775807 bytes into a region of size 8 overflows the destination [-Wstringop-overflow=]
-   452 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
-       |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/x86_64-linux-gnu/c++/14/bits/c++allocator.h:33,
-                  from /usr/include/c++/14/bits/allocator.h:46,
-                  from /usr/include/c++/14/string:43,
-                  from src/numbers/round.hpp:18,
-                  from src/proofs/basic_proof.cpp:15:
- In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = const ast_real*]',
-     inlined from 'static _Tp* std::allocator_traits<std::allocator<_CharT> >::allocate(allocator_type&, size_type) [with _Tp = const ast_real*]' at /usr/include/c++/14/bits/alloc_traits.h:515:28,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:380:33,
-     inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:398:44,
-     inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:334:26,
-     inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator<const ast_real*>]' at /usr/include/c++/14/bits/stl_vector.h:603:61,
-     inlined from 'real_op::real_op(const real_op&)' at src/parser/ast_real.hpp:71:8,
-     inlined from 'static int boost::detail::variant::make_initializer_node::apply<BaseIndexPair, Iterator>::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<const ast_number*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> >]' at /usr/include/boost/variant/detail/initializer.hpp:110:17,
-     inlined from 'void boost::variant<T0, TN>::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1556:23,
-     inlined from 'boost::variant<T0, TN>::variant(const T&, typename boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<T, boost::variant<T0, TN> > >, boost::detail::variant::is_variant_constructible_from<const T&, typename boost::mpl::transform<typename boost::mpl::eval_if<is_recursive_, boost::mpl::transform<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type, boost::mpl::protect<boost::detail::variant::quoted_enable_recursive<boost::variant<T0, TN> > > >, boost::mpl::identity<typename boost::mpl::eval_if<is_sequence_based_, typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, boost::detail::variant::make_variant_list<typename boost::mpl::eval_if<is_recursive_, T0_, boost::mpl::identity<T> >::type, TN ...> >::type> >::type, boost::mpl::protect<boost::detail::make_reference_content<boost::detail::void_type> > >::type> >, boost::is_same<T, boost::recursive_variant_> >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]' at /usr/include/boost/variant/variant.hpp:1720:26,
-     inlined from 'ast_real::ast_real(const real_op&)' at src/parser/ast_real.hpp:129:52,
-     inlined from 'static proof_scheme* abs_of_uabs_scheme::factory(const predicated_real&, const ast_real_vect&)' at src/proofs/basic_proof.cpp:643:62:
- /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 8 allocated by 'operator new'
-   151 |         return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp)));
-       |                                                       ^
- Finished src/proofs/basic_proof.o
- Finished src/proofs/rewriting.o
- Finished src/backends/coq_common.o
- Building src/gappa
- Finished src/gappa
- Building all
- Finished all
-> compiled  gappa.1.4.0
[gappa: ./remake install]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.4.0/./remake "-d" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.0)
- Building install
- prefix=/home/opam/.opam/default
- exec_prefix=${prefix}
- mkdir -p ${DESTDIR}${exec_prefix}/bin
- cp src/gappa ${DESTDIR}${exec_prefix}/bin
- 
- Finished install
-> installed gappa.1.4.0
[WARNING] Opam packages conf-bison.2, conf-boost.1, conf-flex.2, conf-gmp.5, conf-mpfr.3 and conf-pkg-config.5 depend on the following system packages that are no longer installed: bison flex libboost-dev libgmp-dev libmpfr-dev pkg-config
  - conf-bison.2: depends on bison
  - conf-boost.1: depends on libboost-dev
  - conf-flex.2: depends on flex
  - conf-gmp.5: depends on libgmp-dev
  - conf-mpfr.3: depends on libmpfr-dev
  - conf-pkg-config.5: depends on pkg-config

=== STDERR ===

2026-09-03 17:12.25: OK: build gappa.1.4.0 (runc: 62.2s, disk: 91KB)
2026-09-03 17:12.25: Job succeeded