#line 1 "other-workspace\\y.cc" #if defined(ONLINE_JUDGE) // && 0 #pragma GCC optimize("Ofast,unroll-loops") #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,mmx,avx,avx2") #endif // #undef _GLIBCXX_DEBUG #include #line 2 "Library\\lib\\alias" /** * @file alias * @brief Alias */ #line 10 "Library\\lib\\alias" // #include "bit" #line 2 "Library\\lib\\limits" #line 4 "Library\\lib\\limits" namespace workspace { template struct numeric_limits : std::numeric_limits<_Tp> {}; #ifdef __SIZEOF_INT128__ template <> struct numeric_limits<__uint128_t> { constexpr static __uint128_t max() { return ~__uint128_t(0); } constexpr static __uint128_t min() { return 0; } }; template <> struct numeric_limits<__int128_t> { constexpr static __int128_t max() { return numeric_limits<__uint128_t>::max() >> 1; } constexpr static __int128_t min() { return -max() - 1; } }; #endif } // namespace workspace #line 13 "Library\\lib\\alias" namespace workspace { constexpr static char eol = '\n'; using namespace std; using i32 = int_least32_t; using u32 = uint_least32_t; using i64 = int_least64_t; using u64 = uint_least64_t; #ifdef __SIZEOF_INT128__ using i128 = __int128_t; using u128 = __uint128_t; #else #warning 128-bit integer is not available. #endif template () < std::declval())> constexpr typename std::conditional::value, const _T1 &, typename std::common_type<_T1, _T2>::type>::type min(const _T1 &__x, const _T2 &__y) noexcept { return __y < __x ? __y : __x; } template ()( std::declval(), std::declval()))> constexpr typename std::conditional::value, const _T1 &, typename std::common_type<_T1, _T2>::type>::type min(const _T1 &__x, const _T2 &__y, _Compare __comp) noexcept { return __comp(__y, __x) ? __y : __x; } template () < std::declval())> constexpr _Tp min(std::initializer_list<_Tp> __x) noexcept { return *std::min_element(__x.begin(), __x.end()); } template ()( std::declval(), std::declval()))> constexpr _Tp min(std::initializer_list<_Tp> __x, _Compare __comp) noexcept { return *std::min_element(__x.begin(), __x.end(), __comp); } template () < std::declval())> constexpr typename std::conditional::value, const _T1 &, typename std::common_type<_T1, _T2>::type>::type max(const _T1 &__x, const _T2 &__y) noexcept { return __x < __y ? __y : __x; } template ()( std::declval(), std::declval()))> constexpr typename std::conditional::value, const _T1 &, typename std::common_type<_T1, _T2>::type>::type max(const _T1 &__x, const _T2 &__y, _Compare __comp) noexcept { return __comp(__x, __y) ? __y : __x; } template () < std::declval())> constexpr _Tp max(std::initializer_list<_Tp> __x) noexcept { return *std::max_element(__x.begin(), __x.end()); } template ()( std::declval(), std::declval()))> constexpr _Tp max(std::initializer_list<_Tp> __x, _Compare __comp) noexcept { return *std::max_element(__x.begin(), __x.end(), __comp); } } // namespace workspace #line 10 "other-workspace\\y.cc" // #include "lib/cxx20" #line 2 "Library\\src\\sys\\call_once.hpp" /** * @file call_once.hpp * @brief Call Once */ #line 9 "Library\\src\\sys\\call_once.hpp" namespace workspace { /** * @brief Call once. */ template void call_once(_F &&__f) { static std::unordered_set __called; if (__called.count(std::addressof(__f))) return; __called.emplace(std::addressof(__f)); __f(); } } // namespace workspace #line 2 "Library\\src\\sys\\clock.hpp" /** * @file clock.hpp * @brief Clock */ #line 9 "Library\\src\\sys\\clock.hpp" namespace workspace { using namespace std::chrono; namespace internal { // The start time of the program. const auto start_time{system_clock::now()}; } // namespace internal /** * @return Elapsed time of the program. */ decltype(auto) elapsed() noexcept { const auto end_time{system_clock::now()}; return duration_cast(end_time - internal::start_time).count(); } } // namespace workspace #line 2 "Library\\src\\sys\\ejection.hpp" /** * @file ejection.hpp * @brief Ejection */ #line 9 "Library\\src\\sys\\ejection.hpp" namespace workspace { namespace internal { struct ejection { bool exit = 0; }; } // namespace internal /** * @brief eject from a try block, throw nullptr * @param arg output */ template void eject(Tp const &arg) { std::cout << arg << "\n"; throw internal::ejection{}; } void exit() { throw internal::ejection{true}; } } // namespace workspace #line 2 "Library\\src\\sys\\iteration.hpp" /** * @file iteration.hpp * @brief Case Iteration */ #line 9 "Library\\src\\sys\\iteration.hpp" #line 11 "Library\\src\\sys\\iteration.hpp" namespace workspace { void main(); struct { // 1-indexed unsigned current{0}; unsigned total{1}; void read() { (std::cin >> total).ignore(); } int iterate() { static bool once = false; assert(!once); once = true; while (current++ < total) { try { main(); } catch (internal::ejection const& status) { if (status.exit) break; } } return 0; } } case_info; } // namespace workspace #line 1 "Library\\lib\\utils" // #include "src/utils/cached.hpp" // #include "src/utils/cat.hpp" #line 2 "Library\\src\\utils\\chval.hpp" /** * @file chval.hpp * @brief Change Less/Greater */ #line 9 "Library\\src\\utils\\chval.hpp" namespace workspace { /** * @brief Substitute __y for __x if __y < __x. * @param __x Reference * @param __y Comparison target * @return Whether or not __x is updated. */ template () < std::declval<_T1 &>())> typename std::enable_if::value, bool>::type chle( _T1 &__x, _T2 &&__y) noexcept { return __y < __x ? __x = std::forward<_T2>(__y), true : false; } /** * @brief Substitute __y for __x if __x < __y. * @param __x Reference * @param __y Comparison target * @return Whether or not __x is updated. */ template () < std::declval<_T2>())> typename std::enable_if::value, bool>::type chgr( _T1 &__x, _T2 &&__y) noexcept { return __x < __y ? __x = std::forward<_T2>(__y), true : false; } /** * @brief Substitute __y for __x if __comp(__y, __x) is true. * @param __x Reference * @param __y Comparison target * @param __comp Compare function object * @return Whether or not __x is updated. */ template ()(std::declval<_T2>(), std::declval<_T1 &>()))> typename std::enable_if::value, bool>::type chle( _T1 &__x, _T2 &&__y, _Compare __comp) noexcept { return __comp(__y, __x) ? __x = std::forward<_T2>(__y), true : false; } /** * @brief Substitute __y for __x if __comp(__x, __y) is true. * @param __x Reference * @param __y Comparison target * @param __comp Compare function object * @return Whether or not __x is updated. */ template ()(std::declval<_T1 &>(), std::declval<_T2>()))> typename std::enable_if::value, bool>::type chgr( _T1 &__x, _T2 &&__y, _Compare __comp) noexcept { return __comp(__x, __y) ? __x = std::forward<_T2>(__y), true : false; } } // namespace workspace #line 4 "Library\\lib\\utils" // #include "src/utils/fixed_point.hpp" // #include "src/utils/hash.hpp" // #include "src/utils/io/istream.hpp" // #include "src/utils/io/ostream.hpp" // #include "src/utils/io/read.hpp" // #include "src/utils/grid/motion.hpp" #line 2 "Library\\src\\utils\\io\\setup.hpp" /** * @file setup.hpp * @brief I/O Setup */ #line 10 "Library\\src\\utils\\io\\setup.hpp" namespace workspace { /** * @brief Setup I/O. * @param __n Standard output precision */ void io_setup(int __n) { std::cin.tie(0)->sync_with_stdio(0); std::cout << std::fixed << std::setprecision(__n); #ifdef _buffer_check atexit([] { char bufc; if (std::cin >> bufc) std::cerr << "\n\033[43m\033[30mwarning: buffer not empty.\033[0m\n\n"; }); #endif } } // namespace workspace #line 11 "Library\\lib\\utils" // #include "src/utils/iterator/category.hpp" // #include "src/utils/iterator/reverse.hpp" // #include "src/utils/make_vector.hpp" // #include "src/utils/py-like/enumerate.hpp" #line 2 "Library\\src\\utils\\py-like\\range.hpp" /** * @file range.hpp * @brief Range */ #line 2 "Library\\src\\utils\\py-like\\reversed.hpp" /** * @file reversed.hpp * @brief Reversed */ #line 9 "Library\\src\\utils\\py-like\\reversed.hpp" #line 2 "Library\\lib\\cxx17" #line 2 "Library\\lib\\cxx14" #ifndef _CXX14_CONSTEXPR #if __cplusplus >= 201402L #define _CXX14_CONSTEXPR constexpr #else #define _CXX14_CONSTEXPR #endif #endif #line 4 "Library\\lib\\cxx17" #ifndef _CXX17_CONSTEXPR #if __cplusplus >= 201703L #define _CXX17_CONSTEXPR constexpr #else #define _CXX17_CONSTEXPR #endif #endif #ifndef _CXX17_STATIC_ASSERT #if __cplusplus >= 201703L #define _CXX17_STATIC_ASSERT static_assert #else #define _CXX17_STATIC_ASSERT assert #endif #endif #line 22 "Library\\lib\\cxx17" #if __cplusplus < 201703L namespace std { /** * @brief Return the size of a container. * @param __cont Container. */ template constexpr auto size(const _Container& __cont) noexcept(noexcept(__cont.size())) -> decltype(__cont.size()) { return __cont.size(); } /** * @brief Return the size of an array. */ template constexpr size_t size(const _Tp (&)[_Nm]) noexcept { return _Nm; } /** * @brief Return whether a container is empty. * @param __cont Container. */ template [[nodiscard]] constexpr auto empty(const _Container& __cont) noexcept( noexcept(__cont.empty())) -> decltype(__cont.empty()) { return __cont.empty(); } /** * @brief Return whether an array is empty (always false). */ template [[nodiscard]] constexpr bool empty(const _Tp (&)[_Nm]) noexcept { return false; } /** * @brief Return whether an initializer_list is empty. * @param __il Initializer list. */ template [[nodiscard]] constexpr bool empty(initializer_list<_Tp> __il) noexcept { return __il.size() == 0; } struct monostate {}; } // namespace std #else #include #endif #line 11 "Library\\src\\utils\\py-like\\reversed.hpp" namespace workspace { // Reversed container. template class reversed { _Container __c; public: template constexpr reversed(_Tp &&__x) noexcept : __c(std::forward<_Container>(__x)) {} template constexpr reversed(std::initializer_list<_Tp> __x) noexcept : __c(__x) {} constexpr decltype(auto) begin() noexcept { return std::rbegin(__c); } constexpr decltype(auto) begin() const noexcept { return std::rbegin(__c); } constexpr decltype(auto) end() noexcept { return std::rend(__c); } constexpr decltype(auto) end() const noexcept { return std::rend(__c); } constexpr bool empty() const noexcept { return std::empty(__c); } constexpr decltype(auto) size() const noexcept { return std::size(__c); } using iterator = decltype(std::rbegin(__c)); using const_iterator = decltype(std::crbegin(__c)); using size_type = decltype(std::size(__c)); using difference_type = typename std::iterator_traits::difference_type; using value_type = typename std::iterator_traits::value_type; using reference = typename std::iterator_traits::reference; using const_reference = typename std::iterator_traits::reference; }; #if __cpp_deduction_guides >= 201606L template reversed(_Tp &&) -> reversed<_Tp>; template reversed(std::initializer_list<_Tp>) -> reversed>; #endif } // namespace workspace #line 9 "Library\\src\\utils\\py-like\\range.hpp" namespace workspace { template class range { _Index __first, __last; public: class iterator { _Index __i; public: using difference_type = std::ptrdiff_t; using value_type = _Index; using pointer = void; using reference = value_type; using iterator_category = std::random_access_iterator_tag; constexpr iterator() = default; constexpr iterator(const _Index &__x) noexcept : __i(__x) {} constexpr bool operator==(const iterator &__x) const noexcept { return __i == __x.__i; } constexpr bool operator!=(const iterator &__x) const noexcept { return __i != __x.__i; } constexpr bool operator<(const iterator &__x) const noexcept { return __i < __x.__i; } constexpr bool operator<=(const iterator &__x) const noexcept { return __i <= __x.__i; } constexpr bool operator>(const iterator &__x) const noexcept { return __i > __x.__i; } constexpr bool operator>=(const iterator &__x) const noexcept { return __i >= __x.__i; } constexpr iterator &operator++() noexcept { ++__i; return *this; } constexpr iterator operator++(int) noexcept { auto __tmp = *this; ++__i; return __tmp; } constexpr iterator &operator--() noexcept { --__i; return *this; } constexpr iterator operator--(int) noexcept { auto __tmp = *this; --__i; return __tmp; } constexpr difference_type operator-(const iterator &__x) const noexcept { return __i - __x.__i; } constexpr iterator &operator+=(difference_type __x) noexcept { __i += __x; return *this; } constexpr iterator operator+(difference_type __x) const noexcept { return iterator(*this) += __x; } constexpr iterator &operator-=(difference_type __x) noexcept { __i -= __x; return *this; } constexpr iterator operator-(difference_type __x) const noexcept { return iterator(*this) -= __x; } constexpr reference operator*() const noexcept { return __i; } }; using value_type = _Index; using reference = value_type; using difference_type = std::ptrdiff_t; using size_type = std::size_t; using const_iterator = iterator; using reverse_iterator = std::reverse_iterator; using const_reverse_iterator = reverse_iterator; template constexpr range(const _Tp1 &__first, const _Tp2 &__last) noexcept : __first(__first), __last(__last) {} template constexpr range(const _Tp &__last) noexcept : __first(), __last(__last) {} constexpr iterator begin() const noexcept { return {__first}; } constexpr const_iterator cbegin() const noexcept { return begin(); } constexpr iterator end() const noexcept { return {__last}; } constexpr const_iterator cend() const noexcept { return end(); } constexpr reverse_iterator rbegin() const noexcept { return reverse_iterator{end()}; } constexpr const_reverse_iterator crbegin() const noexcept { return rbegin(); } constexpr reverse_iterator rend() const noexcept { return reverse_iterator{begin()}; } constexpr const_reverse_iterator crend() const noexcept { return rend(); } constexpr size_type size() const noexcept { return std::distance(__first, __last); } }; #if __cpp_deduction_guides >= 201606L template range(const _Tp1 &, const _Tp2 &) -> range())>>; template range(const _Tp &) -> range())>>; template constexpr decltype(auto) rrange(_Args &&...__args) noexcept { return reversed(range(std::forward<_Args>(__args)...)); } #endif } // namespace workspace #line 16 "Library\\lib\\utils" // #include "src/utils/py-like/reversed.hpp" // #include "src/utils/py-like/zip.hpp" // #include "src/utils/rand/rng.hpp" // #include "src/utils/rand/shuffle.hpp" #line 2 "Library\\src\\utils\\round_div.hpp" /* * @file round_div.hpp * @brief Round Integer Division */ #line 9 "Library\\src\\utils\\round_div.hpp" #line 2 "Library\\src\\utils\\sfinae.hpp" /** * @file sfinae.hpp * @brief SFINAE */ #line 10 "Library\\src\\utils\\sfinae.hpp" #include #ifndef __INT128_DEFINED__ #ifdef __SIZEOF_INT128__ #define __INT128_DEFINED__ 1 #else #define __INT128_DEFINED__ 0 #endif #endif namespace std { #if __INT128_DEFINED__ template <> struct make_signed<__uint128_t> { using type = __int128_t; }; template <> struct make_signed<__int128_t> { using type = __int128_t; }; template <> struct make_unsigned<__uint128_t> { using type = __uint128_t; }; template <> struct make_unsigned<__int128_t> { using type = __uint128_t; }; template <> struct is_signed<__uint128_t> : std::false_type {}; template <> struct is_signed<__int128_t> : std::true_type {}; template <> struct is_unsigned<__uint128_t> : std::true_type {}; template <> struct is_unsigned<__int128_t> : std::false_type {}; #endif } // namespace std namespace workspace { template struct variadic_front { using type = Tp; }; template struct variadic_back; template struct variadic_back { using type = Tp; }; template struct variadic_back { using type = typename variadic_back::type; }; template class trait> using enable_if_trait_type = typename std::enable_if::value>::type; /** * @brief Return type of subscripting ( @c [] ) access. */ template using subscripted_type = typename std::decay()[0])>::type; template using element_type = typename std::decay()))>::type; template struct has_begin : std::false_type {}; template struct has_begin< _Tp, std::__void_t()))>> : std::true_type { using type = decltype(std::begin(std::declval())); }; template struct has_size : std::false_type {}; template struct has_size<_Tp, std::__void_t()))>> : std::true_type {}; template struct has_resize : std::false_type {}; template struct has_resize<_Tp, std::__void_t().resize( std::declval()))>> : std::true_type {}; template struct has_mod : std::false_type {}; template struct has_mod<_Tp, std::__void_t> : std::true_type {}; template struct is_integral_ext : std::false_type {}; template struct is_integral_ext< _Tp, typename std::enable_if::value>::type> : std::true_type {}; #if __INT128_DEFINED__ template <> struct is_integral_ext<__int128_t> : std::true_type {}; template <> struct is_integral_ext<__uint128_t> : std::true_type {}; #endif #if __cplusplus >= 201402 template constexpr static bool is_integral_ext_v = is_integral_ext<_Tp>::value; #endif template struct multiplicable_uint { using type = uint_least32_t; }; template struct multiplicable_uint< _Tp, typename std::enable_if<(2 < sizeof(_Tp)) && (!__INT128_DEFINED__ || sizeof(_Tp) <= 4)>::type> { using type = uint_least64_t; }; #if __INT128_DEFINED__ template struct multiplicable_uint<_Tp, typename std::enable_if<(4 < sizeof(_Tp))>::type> { using type = __uint128_t; }; #endif template struct multiplicable_int { using type = typename std::make_signed::type>::type; }; template struct multiplicable { using type = std::conditional_t< is_integral_ext<_Tp>::value, std::conditional_t::value, typename multiplicable_int<_Tp>::type, typename multiplicable_uint<_Tp>::type>, _Tp>; }; template struct first_arg { using type = void; }; template struct first_arg<_R(_Tp, _Args...)> { using type = _Tp; }; template struct first_arg<_R (*)(_Tp, _Args...)> { using type = _Tp; }; template struct first_arg<_R (_G::*)(_Tp, _Args...)> { using type = _Tp; }; template struct first_arg<_R (_G::*)(_Tp, _Args...) const> { using type = _Tp; }; template struct parse_compare : first_arg<_Tp> {}; template struct parse_compare<_Tp, std::__void_t> : first_arg {}; template struct get_dimension { static constexpr size_t value = 0; }; template struct get_dimension<_Container, std::enable_if_t::value>> { static constexpr size_t value = 1 + get_dimension::type>::value_type>::value; }; } // namespace workspace #line 11 "Library\\src\\utils\\round_div.hpp" namespace workspace { /* * @fn floor_div * @brief floor of fraction. * @param x the numerator * @param y the denominator * @return maximum integer z s.t. z <= x / y * @note y must be nonzero. */ template constexpr typename std::enable_if<(is_integral_ext::value && is_integral_ext::value), typename std::common_type::type>::type floor_div(T1 x, T2 y) { assert(y != 0); if (y < 0) x = -x, y = -y; return x < 0 ? (x - y + 1) / y : x / y; } /* * @fn ceil_div * @brief ceil of fraction. * @param x the numerator * @param y the denominator * @return minimum integer z s.t. z >= x / y * @note y must be nonzero. */ template constexpr typename std::enable_if<(is_integral_ext::value && is_integral_ext::value), typename std::common_type::type>::type ceil_div(T1 x, T2 y) { assert(y != 0); if (y < 0) x = -x, y = -y; return x < 0 ? x / y : (x + y - 1) / y; } } // namespace workspace #line 21 "Library\\lib\\utils" // #include "src\utils\rand\tree.hpp" // #include "src\utils\reference_list.hpp" #line 2 "Library\\src\\utils\\io\\input.hpp" /** * @file input.hpp * @brief Input */ #line 2 "Library\\src\\utils\\io\\istream.hpp" /** * @file istream.hpp * @brief Input Stream */ #include #line 13 "Library\\src\\utils\\io\\istream.hpp" #line 16 "Library\\src\\utils\\io\\istream.hpp" namespace workspace { namespace _istream_impl { template struct helper { helper(std::istream &__is, _Tp &__x) { if _CXX17_CONSTEXPR (has_begin<_Tp &>::value) for (auto &&__e : __x) helper>(__is, __e); else static_assert(has_begin<_Tp>::value, "istream unsupported type."); } }; template struct helper<_Tp, std::__void_t() >> std::declval<_Tp &>())>> { helper(std::istream &__is, _Tp &__x) { __is >> __x; } }; #ifdef __SIZEOF_INT128__ template <> struct helper<__uint128_t, void> { helper(std::istream &__is, __uint128_t &__x) { std::string __s; __is >> __s; bool __neg = false; if (__s.front() == '-') __neg = true, __s.erase(__s.begin()); __x = 0; for (char __d : __s) { __x *= 10; __d -= '0'; if (__neg) __x -= __d; else __x += __d; } } }; template <> struct helper<__int128_t, void> { helper(std::istream &__is, __int128_t &__x) { std::string __s; __is >> __s; bool __neg = false; if (__s.front() == '-') __neg = true, __s.erase(__s.begin()); __x = 0; for (char __d : __s) { __x *= 10; __d -= '0'; if (__neg) __x -= __d; else __x += __d; } } }; #endif // INT128 template struct helper> { helper(std::istream &__is, std::pair<_T1, _T2> &__x) { helper<_T1>(__is, __x.first), helper<_T2>(__is, __x.second); } }; template struct helper> { helper(std::istream &__is, std::tuple<_Tp...> &__x) { iterate(__is, __x); } private: template void iterate(std::istream &__is, _Tuple &__x) { if _CXX17_CONSTEXPR (_Nm != std::tuple_size<_Tuple>::value) { helper::type>( __is, std::get<_Nm>(__x)), iterate<_Tuple, _Nm + 1>(__is, __x); } } }; } // namespace _istream_impl /** * @brief A wrapper class for std::istream. */ class istream : public std::istream { public: /** * @brief Wrapped operator. */ template istream &operator>>(_Tp &__x) { _istream_impl::helper<_Tp>(*this, __x); if (std::istream::fail()) { static auto once = atexit([] { std::cerr << "\n\033[43m\033[30mwarning: failed to read \'" << abi::__cxa_demangle(typeid(_Tp).name(), 0, 0, 0) << "\'.\033[0m\n\n"; }); assert(!once); } return *this; } }; decltype(auto) cin = static_cast(std::cin); } // namespace workspace #line 10 "Library\\src\\utils\\io\\input.hpp" namespace workspace { namespace _input_impl { template class input { _Tp __value; template struct is_convertible : std::false_type {}; template struct is_convertible<_Arg> : std::is_convertible<_Arg, _Tp> {}; public: operator _Tp &() noexcept { return __value; } operator const _Tp &() const noexcept { return __value; } template input(_Args &&...__args) noexcept : __value(std::forward<_Args>(__args)...) { if _CXX17_CONSTEXPR (not is_convertible<_Args...>::value) cin >> __value; } }; template class input<_Tp, true> : public _Tp { template struct is_convertible : std::false_type {}; template struct is_convertible<_Arg> : std::is_convertible<_Arg, _Tp> {}; public: operator _Tp &() noexcept { return *this; } operator const _Tp &() const noexcept { return *this; } template input(_Args &&...__args) noexcept : _Tp(std::forward<_Args>(__args)...) { if _CXX17_CONSTEXPR (not is_convertible<_Args...>::value) cin >> *this; } template input(std::initializer_list<_E> __l) noexcept : _Tp(__l) {} }; } // namespace _input_impl // Standard input. template class input : public _input_impl::input<_Tp, std::is_class<_Tp>::value> { public: using _input_impl::input<_Tp, std::is_class<_Tp>::value>::input; }; // Integrality. template struct is_integral_ext> : is_integral_ext<_Tp> {}; } // namespace workspace #line 2 "Library\\src\\utils\\io\\print.hpp" /** * @file print.hpp * @brief Print */ #line 2 "Library\\src\\utils\\io\\ostream.hpp" /** * @file ostream.hpp * @brief Output Stream */ #line 9 "Library\\src\\utils\\io\\ostream.hpp" #line 11 "Library\\src\\utils\\io\\ostream.hpp" namespace workspace { template struct is_ostream { template static std::true_type __test(std::basic_ostream<_Args...> *); static std::false_type __test(void *); constexpr static bool value = decltype(__test(std::declval<_Os *>()))::value; }; template using ostream_ref = typename std::enable_if::value, _Os &>::type; /** * @brief Stream insertion operator for C-style array. * * @param __os Output stream * @param __a Array * @return Reference to __os. */ template typename std::enable_if 2), ostream_ref<_Os>>::type operator<<(_Os &__os, const _Tp (&__a)[_Nm]) { if _CXX17_CONSTEXPR (_Nm) { __os << *__a; for (auto __i = __a + 1, __e = __a + _Nm; __i != __e; ++__i) __os << ' ' << *__i; } return __os; } /** * @brief Stream insertion operator for std::array. * * @param __os Output stream * @param __a Array * @return Reference to __os. */ template ostream_ref<_Os> operator<<(_Os &__os, const std::array<_Tp, _Nm> &__a) { if _CXX17_CONSTEXPR (_Nm) { __os << __a[0]; for (size_t __i = 1; __i != _Nm; ++__i) __os << ' ' << __a[__i]; } return __os; } /** * @brief Stream insertion operator for std::pair. * * @param __os Output stream * @param __p Pair * @return Reference to __os. */ template ostream_ref<_Os> operator<<(_Os &__os, const std::pair<_T1, _T2> &__p) { return __os << __p.first << ' ' << __p.second; } /** * @brief Stream insertion operator for std::tuple. * * @param __os Output stream * @param __t Tuple * @return Reference to __os. */ template typename std::enable_if::value + 1), ostream_ref<_Os>>::type operator<<(_Os &__os, const _Tp &__t) { if _CXX17_CONSTEXPR (_Nm != std::tuple_size<_Tp>::value) { if _CXX17_CONSTEXPR (_Nm) __os << ' '; __os << std::get<_Nm>(__t); operator<<<_Os, _Tp, _Nm + 1>(__os, __t); } return __os; } template ()))> typename std::enable_if< !std::is_convertible, std::string>::value && !std::is_convertible, char *>::value, ostream_ref<_Os>>::type operator<<(_Os &__os, const _Container &__cont) { bool __h = true; for (auto &&__e : __cont) __h ? __h = 0 : (__os << ' ', 0), __os << __e; return __os; } #ifdef __SIZEOF_INT128__ /** * @brief Stream insertion operator for __int128_t. * * @param __os Output Stream * @param __x 128-bit integer * @return Reference to __os. */ template ostream_ref<_Os> operator<<(_Os &__os, __int128_t __x) { if (!__x) return __os << '0'; if (__x < 0) __os << '-'; char __s[40], *__p = __s; while (__x) { auto __d = __x % 10; *__p++ = '0' + (__x < 0 ? -__d : __d); __x /= 10; } *__p = 0; for (char *__t = __s; __t < --__p; ++__t) *__t ^= *__p ^= *__t ^= *__p; return __os << __s; } /** * @brief Stream insertion operator for __uint128_t. * * @param __os Output Stream * @param __x 128-bit unsigned integer * @return Reference to __os. */ template ostream_ref<_Os> operator<<(_Os &__os, __uint128_t __x) { if (!__x) return __os << '0'; char __s[40], *__p = __s; while (__x) *__p++ = '0' + __x % 10, __x /= 10; *__p = 0; for (char *__t = __s; __t < --__p; ++__t) *__t ^= *__p ^= *__t ^= *__p; return __os << __s; } #endif } // namespace workspace #line 9 "Library\\src\\utils\\io\\print.hpp" namespace workspace { /** * @brief Print * @tparam _Sep * @tparam _End */ template void print(_Tp &&__x, _Args &&...__args) noexcept { if _CXX17_CONSTEXPR (sizeof...(_Args)) cout << __x << _Sep, print(std::forward<_Args>(__args)...); else cout << __x << _End; } void flush() noexcept { cout << std::flush; } } // namespace workspace #line 13 "other-workspace\\y.cc" signed main() { using namespace workspace; io_setup(15); /* given case_info.read(); //*/ /* unspecified case_info.total = -1; //*/ return case_info.iterate(); } #line 2 "Library\\src\\algebra\\linear\\matrix.hpp" /** * @file matrix.hpp * @brief Matrix * @date 2021-02-15 * * */ #line 13 "Library\\src\\algebra\\linear\\matrix.hpp" namespace workspace { /** * @brief Fixed size matrix. * * @tparam _Scalar * @tparam _Rows Number of rows * @tparam _Cols Number of columns */ template class matrix { public: _Scalar __data[_Rows][_Cols] = {}; using value_type = _Scalar; using size_type = std::size_t; constexpr static matrix eye() { static_assert(_Rows == _Cols); matrix __e; for (size_type __d = 0; __d != _Rows; ++__d) __e.__data[__d][__d] = 1; return __e; } constexpr operator decltype((__data))() { return __data; } constexpr operator decltype(std::declval().__data) const&() const { return __data; } constexpr auto begin() { return __data; } constexpr auto begin() const { return __data; } constexpr auto end() { return __data + _Rows; } constexpr auto end() const { return __data + _Rows; } constexpr size_type rows() const { return _Rows; } constexpr size_type cols() const { return _Cols; } constexpr auto transpose() const { matrix<_Scalar, _Cols, _Rows> __t; for (size_type __r = 0; __r != _Rows; ++__r) for (size_type __c = 0; __c != _Cols; ++__c) __t.__data[__c][__r] = __data[__r][__c]; return __t; } constexpr matrix operator+() const { return *this; } constexpr matrix operator-() const { matrix __cp = *this; for (auto& __v : __cp.__data) for (auto& __e : __v) __e = -__e; return __cp; } template constexpr matrix& operator+=(const _Matrix& __x) { auto __m = std::min(_Rows, __x.rows()); auto __n = std::min(_Cols, __x.cols()); for (size_type __r = 0; __r != __m; ++__r) for (size_type __c = 0; __c != __n; ++__c) __data[__r][__c] += __x[__r][__c]; return *this; } template constexpr matrix operator+(const _Matrix& __x) const { return matrix(*this) += __x; } template constexpr matrix& operator-=(const _Matrix& __x) { auto __m = std::min(_Rows, __x.rows()); auto __n = std::min(_Cols, __x.cols()); for (size_type __r = 0; __r != __m; ++__r) for (size_type __c = 0; __c != __n; ++__c) __data[__r][__c] -= __x[__r][__c]; return *this; } template constexpr matrix operator-(const _Matrix& __x) const { return matrix(*this) -= __x; } template constexpr matrix& operator*=(const matrix<_Scalar2, _Cols, _Cols>& __x) { if (this == &__x) return operator=(operator*(__x)); for (auto& __r : __data) { _Scalar __tmp[_Cols] = {}; auto __v = *__x.__data; for (auto& __w : __tmp) { auto __i = __v++; for (const auto& __e : __r) __w += __e * *__i, __i += _Cols; } auto __w = __tmp; for (auto& __e : __r) __e = std::move(*__w++); } return *this; } template constexpr auto operator*(const matrix<_Scalar2, _Rows2, _Cols2>& __x) const { matrix::type, _Rows, _Cols2> __m; auto __w = *__m.__data; for (const auto& __r : __data) for (auto __v = *__x.__data, __v_end = __v + _Cols2; __v != __v_end; ++__w) { auto __i = __v++; for (auto __e = __r; __e != __r + std::min(_Cols, _Rows2); ++__e) *__w += *__e * *__i, __i += _Cols2; } return __m; } template constexpr typename std::enable_if::value, matrix<_Scalar>>::type operator*(const _Matrix& __x) const { matrix<_Scalar> __m(_Rows, __x.cols()); for (size_type __r = 0; __r != _Rows; ++__r) for (size_type __i = 0; __i != __x.cols(); ++__i) for (size_type __c = 0; __c != std::min(_Cols, __x.rows()); ++__c) __m[__r][__i] += __data[__r][__c] * __x[__c][__i]; return __m; } constexpr matrix& operator*=(const value_type& __x) { for (auto& __v : __data) for (auto& __e : __v) __e *= __x; return *this; } constexpr matrix operator*(const value_type& __x) const { return matrix(*this) *= __x; } constexpr matrix& operator/=(const value_type& __x) { assert(__x != value_type(0)); for (auto& __v : __data) for (auto& __e : __v) __e /= __x; return *this; } constexpr matrix operator/(const value_type& __x) const { return matrix(*this) /= __x; } template constexpr matrix pow(_Int __e) const { assert(0 <= __e); matrix __m = eye(); for (matrix __cp = *this; __e; __cp *= __cp, __e >>= 1) if (__e & 1) __m *= __cp; return __m; } template constexpr friend _Os& operator<<(_Os& __os, const matrix& __x) { for (auto __i = __x.begin(); __i != __x.end(); ++__i, __os << '\n') for (size_type __c = 0; __c != _Cols; ++__c) __c ? void(__os << ' ') : (void)0, __os << *(*__i + __c); return __os; } }; // namespace workspace /** * @brief Dynamic matrix. * * @tparam _Scalar * @tparam _Rows Number of rows * @tparam _Cols Number of columns */ template class matrix<_Scalar, 0, 0> : public std::valarray> { using base = std::valarray>; using row_type = typename base::value_type; public: using value_type = _Scalar; using size_type = std::size_t; using base::operator[]; static matrix eye(size_type __n) { matrix __e(__n, __n); for (size_type __d = 0; __d != __n; ++__d) __e[__d][__d] = 1; return __e; } matrix() = default; matrix(size_type __n) : matrix(__n, __n) {} matrix(size_type __m, size_type __n) : base(row_type(__n), __m) {} template ::value && !std::is_constructible::value>::type> matrix(_Tp&& __x) : base(__x) {} matrix(std::initializer_list __x) : base(__x) {} size_type rows() const { return base::size(); } size_type cols() const { return rows() ? operator[](0).size() : 0; } matrix transpose() const { matrix __t(cols(), rows()); for (size_type __r = 0; __r != rows(); ++__r) for (size_type __c = 0; __c != cols(); ++__c) __t[__c][__r] = operator[](__r)[__c]; return __t; } void resize(size_type __m, size_type __n) { matrix __t(__m, __n); if (rows() < __m) __m = rows(); if (cols() < __n) __n = cols(); for (size_type __r = 0; __r != __m; ++__r) for (size_type __c = 0; __c != __n; ++__c) __t[__r][__c] = std::move(operator[](__r)[__c]); base::swap(__t); } // binary operators {{ template struct is_valarray_based : std::false_type {}; template struct is_valarray_based< _Matrix, typename std::enable_if()[0])>::type>::value>::type> : std::true_type {}; template typename std::enable_if::value, matrix&>::type operator*=(_Matrix&& __x) { return *this = operator*(std::forward<_Matrix>(__x)); } template typename std::enable_if::value, matrix>::type operator*(const _Matrix& __x) const { matrix __m(rows(), __x.cols()); if constexpr (is_valarray_based<_Matrix>::value) for (size_type __r = 0; __r != rows(); ++__r) for (size_type __c = 0; __c != std::min(cols(), __x.rows()); ++__c) __m[__r] += operator[](__r)[__c] * __x[__c]; else for (size_type __r = 0; __r != rows(); ++__r) for (size_type __i = 0; __i != __x.cols(); ++__i) for (size_type __c = 0; __c != std::min(cols(), __x.rows()); ++__c) __m[__r][__i] += operator[](__r)[__c] * __x[__c][__i]; return __m; } matrix& operator*=(const value_type& __x) { for (size_type __r = 0; __r != rows(); ++__r) operator[](__r).operator*=(__x); return *this; } matrix operator*(const value_type& __x) const { return matrix(*this) *= __x; } friend matrix operator*(const value_type& __x, matrix __i) { for (size_type __r = 0; __r != __i.rows(); ++__r) __i.operator[](__r) = __x * __i.operator[](__r); return __i; } matrix& operator/=(const value_type& __x) { assert(__x != value_type(0)); for (size_type __r = 0; __r != rows(); ++__r) operator[](__r).operator/=(__x); return *this; } matrix operator/(const value_type& __x) const { return matrix(*this) /= __x; } // }} binary operators template matrix pow(_Int __e) const { assert(0 <= __e); matrix __m = eye(rows()); for (matrix __cp = *this; __e; __cp *= __cp, __e >>= 1) if (__e & 1) __m *= __cp; return __m; } // template friend _Is& operator>>(_Is& __is, matrix& __x) { // for (size_type __r = 0; __r != __x.rows(); ++__r) // for (size_type __c = 0; __c != __x.cols(); ++__c) // __is >> __x.operator[](__r).operator[](__c); // return __is; // } template friend _Os& operator<<(_Os& __os, const matrix& __x) { for (size_type __r = 0; __r != __x.rows(); ++__r, __os << '\n') for (size_type __c = 0; __c != __x.cols(); ++__c) __c ? void(__os << ' ') : (void)0, __os << __x.operator[](__r).operator[](__c); return __os; } }; } // namespace workspace #line 2 "Library\\src\\algebra\\modint.hpp" /** * @file modint.hpp * * @brief Modular Arithmetic */ #line 12 "Library\\src\\algebra\\modint.hpp" #line 2 "Library\\src\\number_theory\\sqrt_mod.hpp" /** * @file sqrt_mod.hpp * @brief Tonelli-Shanks Algorithm */ #line 2 "Library\\src\\number_theory\\pow_mod.hpp" /** * @file mod_pow.hpp * @brief Modular Exponentiation */ #line 9 "Library\\src\\number_theory\\pow_mod.hpp" #line 11 "Library\\src\\number_theory\\pow_mod.hpp" namespace workspace { /** * @brief Compile time modular exponentiation. * * @param __x * @param __n Exponent * @param __mod Modulus * @return */ template constexpr std::enable_if_t<(is_integral_ext<_Tp>::value), _Tp> pow_mod( _Tp __x, _Tp __n, _Tp __mod) noexcept { assert(__mod > 0); using mul_type = typename multiplicable_uint<_Tp>::type; if ((__x %= __mod) < 0) __x += __mod; mul_type __y{1}; while (__n) { if (__n & 1) (__y *= __x) %= __mod; __x = (mul_type)__x * __x % __mod; __n >>= 1; } return __y; }; } // namespace workspace #line 10 "Library\\src\\number_theory\\sqrt_mod.hpp" namespace workspace { /** * @brief Compile time modular square root. * * @param __x * @param __mod Modulus * @return One if it exists. Otherwise -1. */ template constexpr std::enable_if_t<(is_integral_ext<_Tp>::value), _Tp> sqrt_mod( _Tp __x, _Tp __mod) noexcept { assert(__mod > 0); using mul_type = typename multiplicable_uint<_Tp>::type; if ((__x %= __mod) < 0) __x += __mod; if (!__x) return 0; if (__mod == 2) return __x; if (pow_mod(__x, __mod >> 1, __mod) != 1) return -1; _Tp __z = __builtin_ctz(__mod - 1), __q = __mod >> __z; mul_type __a = pow_mod(__x, (__q + 1) >> 1, __mod), __b = 2; while (pow_mod<_Tp>(__b, __mod >> 1, __mod) == 1) ++__b; __b = pow_mod<_Tp>(__b, __q, __mod); _Tp __shift = 0; for (auto __r = __a * __a % __mod * pow_mod(__x, __mod - 2, __mod) % __mod; __r != 1; (__r *= (__b *= __b) %= __mod) %= __mod) { auto __bsf = __z; for (auto __e = __r; __e != 1; --__bsf) (__e *= __e) %= __mod; while (++__shift != __bsf) (__b *= __b) %= __mod; (__a *= __b) %= __mod; } return __a; }; } // namespace workspace #line 15 "Library\\src\\algebra\\modint.hpp" namespace workspace { namespace _modint_impl { template struct modint { static_assert(is_integral_ext::value, "_Mod must be integral type."); using mod_type = std::make_signed_t, decltype(_Mod)>::type>; using value_type = std::decay_t; using reference = value_type &; using const_reference = value_type const &; using mul_type = typename multiplicable_uint::type; static mod_type mod; // Modulus. static unsigned storage; private: template using modint_if = std::enable_if_t::value, modint>; value_type value = 0; // within [0, mod). struct direct_ctor_t {}; constexpr static direct_ctor_t direct_ctor_tag{}; // Direct constructor template constexpr modint(_Tp __n, direct_ctor_t) noexcept : value(__n) {} public: constexpr modint() noexcept = default; template ::value>> constexpr modint(_Tp __n) noexcept : value((__n %= mod) < 0 ? value_type(__n + mod) : value_type(__n)) {} constexpr modint(bool __n) noexcept : value(__n) {} constexpr operator reference() noexcept { return value; } constexpr operator const_reference() const noexcept { return value; } // unary operators {{ constexpr modint operator++(int) noexcept { modint __t{*this}; operator++(); return __t; } constexpr modint operator--(int) noexcept { modint __t{*this}; operator--(); return __t; } constexpr modint &operator++() noexcept { if (++value == mod) value = 0; return *this; } constexpr modint &operator--() noexcept { if (!value) value = mod - 1; else --value; return *this; } constexpr modint operator+() const noexcept { return *this; } constexpr modint operator-() const noexcept { return {value ? mod - value : 0, direct_ctor_tag}; } // }} unary operators // operator+= {{ constexpr modint &operator+=(const modint &__x) noexcept { if ((value += __x.value) >= mod) value -= mod; return *this; } template constexpr modint_if<_Tp> &operator+=(_Tp __x) noexcept { __x %= mod, value += __x; if (value < 0) value += mod; else if (value >= mod) value -= mod; return *this; } // }} operator+= // operator+ {{ template constexpr modint_if<_Tp> operator+(_Tp const &__x) const noexcept { return modint{*this} += __x; } constexpr modint operator+(modint __x) const noexcept { return __x += *this; } template constexpr friend modint_if<_Tp> operator+(_Tp const &__x, modint __y) noexcept { return __y += __x; } // }} operator+ // operator-= {{ constexpr modint &operator-=(const modint &__x) noexcept { if ((value -= __x.value) < 0) value += mod; return *this; } template constexpr modint_if<_Tp> &operator-=(_Tp __x) noexcept { __x %= mod, value -= __x; if (value < 0) value += mod; else if (value >= mod) value -= mod; return *this; } // }} operator-= // operator- {{ template constexpr modint_if<_Tp> operator-(_Tp const &__x) const noexcept { return modint{*this} -= __x; } constexpr modint operator-(const modint &__x) const noexcept { return modint{*this} -= __x; } template constexpr friend modint_if<_Tp> operator-(_Tp __x, const modint &__y) noexcept { if (((__x -= __y.value) %= mod) < 0) __x += mod; return {__x, direct_ctor_tag}; } // }} operator- // operator*= {{ constexpr modint &operator*=(const modint &__x) noexcept { value = static_cast(value * static_cast(__x.value) % mod); return *this; } template constexpr modint_if<_Tp> &operator*=(_Tp __x) noexcept { value = static_cast( value * ((__x %= mod) < 0 ? mul_type(__x + mod) : mul_type(__x)) % mod); return *this; } // }} operator*= // operator* {{ constexpr modint operator*(const modint &__x) const noexcept { return {static_cast(value) * __x.value % mod, direct_ctor_tag}; } template constexpr modint_if<_Tp> operator*(_Tp __x) const noexcept { __x %= mod; if (__x < 0) __x += mod; return {static_cast(value) * __x % mod, direct_ctor_tag}; } template constexpr friend modint_if<_Tp> operator*(_Tp __x, const modint &__y) noexcept { __x %= mod; if (__x < 0) __x += mod; return {static_cast(__x) * __y.value % mod, direct_ctor_tag}; } // }} operator* protected: static value_type _mem(value_type __x) { static std::vector __m{0, 1}; static value_type __i = (__m.reserve(storage), 1); while (__i < __x) { ++__i; __m.emplace_back(mod - mul_type(mod / __i) * __m[mod % __i] % mod); } return __m[__x]; } static value_type _div(mul_type __r, value_type __x) noexcept { assert(__x != value_type(0)); if (!__r) return 0; std::make_signed_t __v{}; bool __neg = __x < 0 ? __x = -__x, true : false; if (static_cast(__x) < storage) __v = _mem(__x); else { value_type __y{mod}, __u{1}, __t; while (__x) __t = __y / __x, __y ^= __x ^= (__y -= __t * __x) ^= __x, __v ^= __u ^= (__v -= __t * __u) ^= __u; if (__y < 0) __neg ^= 1; } if (__neg) __v = 0 < __v ? mod - __v : -__v; else if (__v < 0) __v += mod; return __r == mul_type(1) ? static_cast(__v) : static_cast(__r * __v % mod); } public: static void reserve(unsigned __n) noexcept { if (storage < __n) storage = __n; } // operator/= {{ constexpr modint &operator/=(const modint &__x) noexcept { if (value) value = _div(value, __x.value); return *this; } template constexpr modint_if<_Tp> &operator/=(_Tp __x) noexcept { if (value) value = _div(value, __x %= mod); return *this; } // }} operator/= // operator/ {{ constexpr modint operator/(const modint &__x) const noexcept { if (!value) return {}; return {_div(value, __x.value), direct_ctor_tag}; } template constexpr modint_if<_Tp> operator/(_Tp __x) const noexcept { if (!value) return {}; return {_div(value, __x %= mod), direct_ctor_tag}; } template constexpr friend modint_if<_Tp> operator/(_Tp __x, const modint &__y) noexcept { if (!__x) return {}; if ((__x %= mod) < 0) __x += mod; return {_div(__x, __y.value), direct_ctor_tag}; } // }} operator/ constexpr modint inv() const noexcept { return _div(1, value); } template constexpr modint_if<_Tp> pow(_Tp __e) const noexcept { modint __r{mod != 1, direct_ctor_tag}; for (modint __b{__e < 0 ? __e = -__e, _div(1, value) : value, direct_ctor_tag}; __e; __e >>= 1, __b *= __b) if (__e & 1) __r *= __b; return __r; } template constexpr friend modint_if<_Tp> pow(modint __b, _Tp __e) noexcept { if (__e < 0) { __e = -__e; __b.value = _div(1, __b.value); } modint __r{mod != 1, direct_ctor_tag}; for (; __e; __e >>= 1, __b *= __b) if (__e & 1) __r *= __b; return __r; } constexpr modint sqrt() const noexcept { return {sqrt_mod(value, mod), direct_ctor_tag}; } friend constexpr modint sqrt(const modint &__x) noexcept { return {sqrt_mod(__x.value, mod), direct_ctor_tag}; } friend std::istream &operator>>(std::istream &__is, modint &__x) noexcept { std::string __s; __is >> __s; bool __neg = false; if (__s.front() == '-') { __neg = true; __s.erase(__s.begin()); } __x = 0; for (char __c : __s) __x = __x * 10 + (__c - '0'); if (__neg) __x = -__x; return __is; } }; template typename modint<_Mod, _Storage>::mod_type modint<_Mod, _Storage>::mod = _Mod > 0 ? _Mod : 0; template unsigned modint<_Mod, _Storage>::storage = _Storage; } // namespace _modint_impl template 0)>> using modint = _modint_impl::modint<_Mod, _Storage>; template using runtime_modint = _modint_impl::modint<-(signed)_Id, 0>; template using runtime_modint64 = _modint_impl::modint<-(int_least64_t)_Id, 0>; } // namespace workspace #line 30 "other-workspace\\y.cc" namespace workspace { using mint = modint<1000000007>; void main() { // start here! input(); input m; set> freq; input> cnt(m); for (auto t : range(m)) { freq.emplace(cnt[t], t); } for (input q; q--;) { input t, x, y; --x; switch (t) { case 1: { freq.erase({cnt[x], x}); cnt[x] += y; freq.emplace(cnt[x], x); } break; case 2: { freq.erase({cnt[x], x}); cnt[x] -= y; freq.emplace(cnt[x], x); } break; case 3: { print(freq.rbegin()->second + 1); } break; } } } } // namespace workspace