Language: C++

#ifdef DEBUG
#define _GLIBCXX_DEBUG
#endif
//#pragma GCC optimize("O3")
#include <bits/stdc++.h>
using namespace std;
typedef long double ld;
typedef long long ll;
const int maxN = 200000;
int a[maxN];
vector < pair < char, int >, pair < int, int > > op;
void sum(int i, int j, int k) {
    op.emplace_back(make_pair('+', i), make_pair(j, k));
//    CNT++;
//    cout << "+ " << i << " " << j << " " << k << endl;
}
void le(int i, int j, int k) {

    op.emplace_back(make_pair('<', i), make_pair(j, k));
//    cout << "< " <<  i << " " << j << " " << k << endl;
}
int ONE = 1000;
int ZERO = ONE - 1;
void solve() {
    int L1 = 3;
    int R1 = 15;
    int L2 = 16;
    int R2 = 26;
    sum(0, 1, 100);
    le(3, 100, ONE);
    for (int i = ONE + 1; i <= ONE + 100; i++) {
        sum(i - 1, ONE, i);
    }
    for (int i = L1; i <= R1; i++) {
        le(ONE - L1 + i - 1, 0, i);
    }
    for (int i = L2; i <= R2; i++) {
        le(ONE - L2 + i - 1, 1, i);
    }
    int DD = 3000;
    for (int i = L1; i <= R1; i++) {
        for (int j = L2; j <= R2; j++) {
            le(i, j, DD);
            le(j, i, DD + 1);
            sum(DD, DD + 1, DD + 2);
            // a = b v DD + 3
            le(DD + 2, ONE, DD + 3);
            le(i, ZERO, DD + 4);
            le(ZERO, i, DD + 5);
            sum(DD + 4, DD + 5, DD + 6);
            //a = 0 v DD + 7
            le(DD + 6, ONE, DD + 7);
            le(DD + 7, DD + 3, DD + 9);
            sum(2, DD + 9, 2);
            DD += 12;
        }
    }
    cout << op.size() << '\n';
    for (auto& it : op) {
        cout << it.first.first << " " << it.first.second << " " << it.second.first << " " << it.second.second << endl;
    }
}
int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    //freopen("input.txt", "r", stdin);
    int tst = 1;
    while (tst--) {
        solve();
    }
    return 0;
}

Compiler output:
In file included from /usr/include/c++/14/vector:66,
                 from /usr/include/c++/14/functional:64,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:53,
                 from a.cc:5:
/usr/include/c++/14/bits/stl_vector.h: In instantiation of 'struct std::_Vector_base<std::pair<char, int>, std::pair<int, int> >':
/usr/include/c++/14/bits/stl_vector.h:428:11:   required from 'class std::vector<std::pair<char, int>, std::pair<int, int> >'
  428 |     class vector : protected _Vector_base<_Tp, _Alloc>
      |           ^~~~~~
a.cc:11:50:   required from here
   11 | vector < pair < char, int >, pair < int, int > > op;
      |                                                  ^~
/usr/include/c++/14/bits/stl_vector.h:87:28: error: no type named 'value_type' in 'struct std::pair<int, int>'
   87 |         rebind<_Tp>::other _Tp_alloc_type;
      |                            ^~~~~~~~~~~~~~
/usr/include/c++/14/bits/stl_vector.h:89:9: error: no type named 'value_type' in 'struct std::pair<int, int>'
   89 |         pointer;
      |         ^~~~~~~
/usr/include/c++/14/bits/stl_vector.h: In instantiation of 'class std::vector<std::pair<char, int>, std::pair<int, int> >':
a.cc:11:50:   required from here
   11 | vector < pair < char, int >, pair < int, int > > op;
      |                                                  ^~
/usr/include/c++/14/bits/stl_vector.h:518:20: error: '_M_allocate' has not been declared in 'std::vector<std::pair<char, int>, std::pair<int, int> >::_Base'
  518 |       using _Base::_M_allocate;
      |                    ^~~~~~~~~~~
/usr/include/c++/14/bits/stl_vector.h:519:20: error: '_M_deallocate' has not been declared in 'std::vector<std::pair<char, int>, std::pair<int, int> >::_Base'
  519 |       using _Base::_M_deallocate;
      |                    ^~~~~~~~~~~~~
/usr/include/c++/14/bits/stl_vector.h:521:20: error: '_M_get_Tp_allocator' has not been declared in 'std::vector<std::pair<char, int>, std::pair<int, int> >::_Base'
  521 |       using _Base::_M_get_Tp_allocator;
      |                    ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/cassert:43,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:33:
/usr/include/c++/14/bits/stl_vector.h: In instantiation of 'std::_Vector_base<_Tp, _Alloc>::_Vector_impl::_Vector_impl() [with _Tp = std::pair<char, int>; _Alloc = std::pair<int, int>]':
a.cc:11:50:   required from here
   11 | vector < pair < char, int >, pair < int, int > > op;
      |                                                  ^~
/usr/include/c++/14/bits/stl_vector.h:136:24: error: no type named 'value_type' in 'struct std::pair<int, int>'
  136 |         _Vector_impl() _GLIBCXX_NOEXCEPT_IF(
      |                        ^~~~~~~~~~~~~~~~~~~~
a.cc: In function 'void sum(int, int, int)':
a.cc:13:8: error: 'class std::vector<std::pair<char, int>, std::pair<int, int> >' has no member named 'emplace_back'
   13 |     op.emplace_back(make_pair('+', i), make_pair(j, k));
      |        ^~~~~~~~~~~~
a.cc: In function 'void le(int, int, int)':
a.cc:19:8: error: 'class std::vector<std::pair<char, int>, std::pair<int, int> >' has no member named 'emplace_back'
   19 |     op.emplace_back(make_pair('<', i), make_pair(j, k));
      |        ^~~~~~~~~~~~
a.cc: In function 'void solve()':
a.cc:59:21: error: no matching function for call to 'begin(std::vector<std::pair<char, int>, std::pair<int, int> >&)'
   59 |     for (auto& it : op) {
      |                     ^~
In file included from /usr/include/c++/14/bits/algorithmfwd.h:39,
                 from /usr/include/c++/14/bits/stl_algo.h:59,
                 from /usr/include/c++/14/algorithm:61,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:51:
/usr/include/c++/14/initializer_list:88:5: note: candidate: 'template<class _Tp> constexpr const _Tp* std::begin(initializer_list<_Tp>)'
   88 |     begin(initializer_list<_Tp> __ils) noexcept
      |     ^~~~~
/usr/include/c++/14/initializer_list:88:5: note:   template argument deduction/substitution failed:
a.cc:59:21: note:   'std::vector<std::pair<char, int>, std::pair<int, int> >' is not derived from 'std::initializer_list<_Tp>'
   59 |     for (auto& it : op) {
      |                     ^~
In file included from /usr/include/c++/14/string:53,
                 from /usr/include/c++/14/bitset:52,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:52:
/usr/include/c++/14/bits/range_access.h:52:5: note: candidate: 'template<class _Container> constexpr decltype (__cont.begin()) std::begin(_Container&)'
   52 |     begin(_Container& __cont) -> decltype(__cont.begin())
      |     ^~~~~
/usr/include/c++/14/bits/range_access.h:52:5: note:   template argument deduction/substitution failed:
/usr/include/c++/14/bits/range_access.h: In substitution of 'template<class _Container> constexpr decltype (__cont.begin()) std::begin(_Container&) [with _Container = std::vector<std::pair<char, int>, std::pair<int, int> >]':
a.cc:59:21:   required from here
   59 |     for (auto& it : op) {
      |                     ^~
/usr/include/c++/14/bits/range_access.h:52:50: error: 'class std::vector<std::pair<char, int>, std::pair<int, int> >' has no member named 'begin'
   52 |     begin(_Container& __cont) -> decltype(__cont.begin())
      |                                           ~~~~~~~^~~~~
/usr/include/c++/14/bits/range_access.h:63:5: note: candidate: 'template<class _Container> constexpr decltype (__cont.begin()) std::begin(const _Container&)'
   63 |     begin(const _Container& __cont) -> decltype(__cont.begin())
      |     ^~~~~
/usr/include/c++/14/bits/range_access.h:63:5: note:   template argument deduction/substitution failed:
/usr/include/c++/14/bits/range_access.h: In substitution of 'template<class _Container> constexpr decltype (__cont.begin()) std::begin(const _Container&) [with _Container = std::vector<std::pair<char, int>, std::pair<int, int> >]':
a.cc:59:21:   required from here
   59 |     for (auto& it : op) {
      |                     ^~
/usr/include/c++/14/bits/range_access.h:63:56: error: 'const class std::vector<std::pair<char, int>, std::pair<int, int> >' has no member named 'begin'
   63 |     begin(const _Container& __cont) -> decltype(__cont.begin())
      |                                                 ~~~~~~~^~~~~
/usr/include/c++/14/bits/range_access.h:95:5: note: candidate: 'template<class _Tp, long unsigned int _Nm> constexpr _Tp* std::begin(_Tp (&)[_Nm])'
   95 |     begin(_Tp (&__arr)[_Nm]) noexcept
      |     ^~~~~
/usr/include/c++/14/bits/range_access.h:95:5: note:   template argument deduction/substitution failed:
a.cc:59:21: note:   mismatched types '_Tp [_Nm]' and 'std::vector<std::pair<char, int>, std::pair<int, int> >'
   59 |     for (auto& it : op) {
      |                     ^~
In file included from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:166:
/usr/include/c++/14/valarray:1227:5: note: candidate: 'template<class _Tp> _Tp* std::begin(valarray<_Tp>&)'
 1227 |     begin(valarray<_Tp>& __va) noexcept
      |     ^~~~~
/usr/include/c++/14/valarray:1227:5: note:   template argument deduction/substitution failed:
a.cc:59:21: note:   'std::vector<std::pair<char, int>, std::pair<int, int> >' is not derived from 'std::valarray<_Tp>'
   59 |     for (auto& it : op) {
      |                     ^~
/usr/include/c++/14/valarray:1238:5: note: candidate: 'template<class _Tp> const _Tp* std::begin(const valarray<_Tp>&)'
 1238 |     begin(const valarray<_Tp>& __va) noexcept
      |     ^~~~~
/usr/include/c++/14/valarray:1238:5: note:   template argument deduction/substitution failed:
a.cc:59:21: note:   'std::vector<std::pair<char, int>, std::pair<int, int> >' is not derived from 'const std::valarray<_Tp>'
   59 |     for (auto& it : op) {
      |                     ^~
a.cc:59:21: error: no matching function for call to 'end(std::vector<std::pair<char, int>, std::pair<int, int> >&)'
/usr/include/c++/14/initializer_list:99:5: note: candidate: 'template<class _Tp> constexpr const _Tp* std::end(initializer_list<_Tp>)'
   99 |     end(initializer_list<_Tp> __ils) noexcept
      |     ^~~
/usr/include/c++/14/initializer_list:99:5: note:   template argument deduction/substitution failed:
a.cc:59:21: note:   'std::vector<std::pair<char, int>, std::pair<int, int> >' is not derived from 'std::initializer_list<_Tp>'
   59 |     for (auto& it : op) {
      |                     ^~
/usr/include/c++/14/bits/range_access.h:74:5: note: candidate: 'template<class _Container> constexpr decltype (__cont.end()) std::end(_Container&)'
   74 |     end(_Container& __cont) -> decltype(__cont.end())
      |     ^~~
/usr/include/c++/14/bits/range_access.h:74:5: note:   template argument deduction/substitution failed:
/usr/include/c++/14/bits/range_access.h: In substitution of 'template<class _Container> constexpr decltype (__cont.end()) std::end(_Container&) [with _Container = std::vector<std::pair<char, int>, std::pair<int, int> >]':
a.cc:59:21:   required from here
   59 |     for (auto& it : op) {
      |                     ^~
/usr/include/c++/14/bits/range_access.h:74:48: error: 'class std::vector<std::pair<char, int>, std::pair<int, int> >' has no member named 'end'
   74 |     end(_Container& __cont) -> decltype(__cont.end())
      |                                         ~~~~~~~^~~
/usr/include/c++/14/bits/range_access.h:85:5: note: candidate: 'template<class _Container> constexpr decltype (__cont.end()) std::end(const _Container&)'
   85 |     end(const _Container& __cont) -> decltype(__cont.end())
      |     ^~~
/usr/include/c++/14/bits/range_access.h:85:5: note:   template argument deduction/substitution failed:
/usr/include/c++/14/bits/range_access.h: In substitution of 'template<class _Container> constexpr decltype (__cont.end()) std::end(const _Container&) [with _Container = std::vector<std::pair<char, int>, std::pair<int, int> >]':
a.cc:59:21:   required from here
   59 |     for (auto& it : op) {
      |                     ^~
/usr/include/c++/14/bits/range_access.h:85:54: error: 'const class std::vector<std::pair<char, int>, std::pair<int, int> >' has no member named 'end'
   85 |     end(const _