#include <iostream>
#include <vector>
#include <functional>

long long modinv(long long n, long long MOD) {
	long long a = MOD, u = 1, v = 0;
	while (a) {
		long long t = n / a;
		n -= t * a; std::swap(n, a);
		u -= t * v; std::swap(u, v);
	}
	u %= MOD;
	if (u < 0) u += MOD;
	return u;
}

template<long long MOD> struct modint {
	long long value = 0;
	inline void f() {
		value %= MOD;
		if (value < 0) value += MOD;
	}
	modint(long long n) : value(n) {f();}
	modint() : value(0) {}
	inline bool operator==(const modint<MOD>& right)const{return ((this -> value) == right.value);}
	inline bool operator!=(const modint<MOD>& right)const{return ((this -> value) != right.value);}
	inline bool operator<(const modint<MOD>& right)const{return ((this -> value) < right.value);}
	inline bool operator>(const modint<MOD>& right)const{return ((this -> value) > right.value);}
	inline bool operator<=(const modint<MOD>& right)const{return ((this -> value) <= right.value);}
	inline bool operator>=(const modint<MOD>& right)const{return ((this -> value) >= right.value);}
	modint<MOD> operator+(const modint<MOD>& right)const{modint<MOD> ret = (this -> value) + right.value; return ret;}
	modint<MOD> operator-(const modint<MOD>& right)const{modint<MOD> ret = (this -> value) - right.value; return ret;}
	modint<MOD> operator*(const modint<MOD>& right)const{modint<MOD> ret = (this -> value) * right.value; return ret;}
	modint<MOD> operator/(const modint<MOD>& right)const{modint<MOD> ret = (this -> value) * modinv(right.value, MOD); return ret;}
	inline modint<MOD>& operator+=(modint<MOD>& right) {return *this = *this + right;}
	inline modint<MOD>& operator-=(modint<MOD>& right) {return *this = *this - right;}
	inline modint<MOD>& operator*=(modint<MOD>& right) {return *this = *this * right;}
	inline modint<MOD>& operator/=(modint<MOD>& right) {return *this = *this / right;}
	inline modint<MOD> operator-()const{return (*this) * -1;}
	inline modint<MOD>& operator++() {return (*this) += 1;}
	inline modint<MOD> operator++(int) {return ++(*this) - 1;}
	inline modint<MOD>& operator--() {return (*this) -= 1;}
	inline modint<MOD> operator--(int) {return --(*this) + 1;}
};
template<long long MOD> inline modint<MOD> operator+(const long long& left, const modint<MOD>& right) {
	return right + left;
}
template<long long MOD> inline modint<MOD> operator-(const long long& left, const modint<MOD>& right) {
	return right * -1 + left;
}
template<long long MOD> inline modint<MOD> operator*(const long long& left, const modint<MOD>& right) {
	return right * left;
}
template<long long MOD> inline modint<MOD> operator/(const long long& left, const modint<MOD>& right) {
	return modinv(right.value, MOD) * (left % MOD);
}

template<long long MOD> modint<MOD> modpow(modint<MOD> a, long long n) {
	if (n == 0) return 1;
	if (a == 0) return 0;
	modint<MOD> ret = a;
	long long cnt = 1;
	while (cnt * 2 <= n) {
		ret *= ret;
		cnt *= 2;
	}
	return ret * modpow<MOD>(a, n - cnt);
}

long long modpow(long long a, long long n, long long MOD) {
	if (n == 0) return 1;
	if (a == 0) return 0;
	long long ret = a % MOD, cnt = 1;
	while (cnt * 2 <= n) {
		ret *= ret; ret %= MOD;
		cnt *= 2;
	}
	return ret * modpow(a, n - cnt, MOD) % MOD;
}

std::vector<long long> factorial;
std::vector<long long> factorial_inv;

template<long long P> void make_table(int n) {
	factorial.resize(n + 1, 1);
	factorial_inv.resize(n + 1, 1);
	for (int i = 1; i <= n; i++) factorial[i] = factorial[i - 1] * i % P;
	factorial_inv[n] = modinv(factorial[n], P);
	for (int i = n - 1; i >= 0; i--) factorial_inv[i] = factorial_inv[i + 1] * (i + 1) % P;
}

template<long long P> modint<P> permutation(int n, int r) {
	if (n <= factorial.size()) return factorial[n] * factorial_inv[n - r];
	std::cerr << "attention : factorial table is not constructed" << std::endl;
	r = std::min(r, n - r);
	modint<P> ret = 1;
	for (int i = 0; i < r; i++) ret *= n - i;
	return ret;
}

template<long long P> modint<P> combination(int n, int r) {
	if (n <= factorial.size()) return permutation<P>(n, r) * factorial_inv[r];
	std::cerr << "attention : factorial table is not constructed" << std::endl;
	r = std::min(r, n - r);
	modint<P> ret = 1;
	for (int i = 0; i < r; i++) {
		ret *= n - i;
		ret /= i + 1;
	}
	return ret;
}

template<long long MOD> inline std::istream& operator>>(std::istream& is, modint<MOD>& target) {
	is >> target.value; target.f();
	return is;
}
template<long long MOD> inline std::ostream& operator<<(std::ostream& os, const modint<MOD>& target) {
	os << target.value;
	return os;
}

template<typename T, typename E> struct lazy_segment_tree {
	#define F std::function
	int N, M;
	std::vector<T> value;
	std::vector<E> lazy;
	std::vector<bool> flag;
	F<T(T, T)> op_val;
	F<E(E, E)> op_lz;
	F<T(T, E, int)> lz_to_val;
	T id_val;
	E id_lz;

	lazy_segment_tree(std::vector<T>& a, F<T(T, T)> f, F<E(E, E)> g, F<T(T, E, int)> h, T t, E e) {
		op_val = f; op_lz = g; lz_to_val = h; id_val = t; id_lz = e;
		int m = a.size(), x = 1;
		while (x < m) x *= 2;
		N = (M = x) * 2;
		value.resize(N, id_val);
		lazy.resize(N, id_lz);
		flag.resize(N, false);
		for (int i = 0; i < m; i++) value[M + i] = a[i];
		for (int i = M - 1; i > 0; i--) value[i] = op_val(value[i * 2], value[i * 2 + 1]);
	}

	lazy_segment_tree(int m, F<T(T, T)> f, F<E(E, E)> g, F<T(T, E, int)> h, T t, E e) {
		op_val = f; op_lz = g; lz_to_val = h; id_val = t; id_lz = e;
		int x = 1;
		while (x < m) x *= 2;
		N = (M = x) * 2;
		value.resize(N, id_val);
		lazy.resize(N, id_lz);
		flag.resize(N, false);
	}

	void lazy_eval(int i, int l, int r) {
		if (lazy[i] == id_lz) return;
		value[i] = lz_to_val(value[i], lazy[i], r - l);
		if (r - l > 1) {
			lazy[i * 2] = op_lz(lazy[i * 2], lazy[i]);
			lazy[i * 2 + 1] = op_lz(lazy[i * 2 + 1], lazy[i]);
		}
		lazy[i] = id_lz;
	}

	void range_update(int L, int R, E e, int i = 1, int l = 0, int r = -1) {
		if (r == -1) r = M;
		if (r <= L || R <= l) return;
		if (L <= l && r <= R) {
			lazy[i] = op_lz(lazy[i], e);
			return;
		}
		lazy_eval(i, l, r);
		flag[i] = true;
		range_update(L, R, e, i * 2, l, (l + r) / 2);
		range_update(L, R, e, i * 2 + 1, (l + r) / 2, r);
	}

	T range_fold(int L, int R, int i = 1, int l = 0, int r = -1) {
		if (r == -1) r = M;
		if (r <= L || R <= l) return id_val;
		lazy_eval(i, l, r);
		if (L <= l && r <= R && !flag[i]) return value[i];
		if (L <= l && r <= R) flag[i] = false;
		T ret = op_val(
			range_fold(L, R, i * 2, l, (l + r) / 2),
			range_fold(L, R, i * 2 + 1, (l + r) / 2, r)
		);
		if (L <= l && r <= R) value[i] = ret;
		return ret;
	}
	#undef F
};

int main() {
	constexpr int P = 998244353;

	int n, q;
	std::cin >> n >> q;
	std::vector<modint<P>> a(n);
	for (int i = 0; i < n; i++) std::cin >> a[i];

	lazy_segment_tree<modint<P>, std::pair<modint<P>, modint<P>>> sg(
		a,
		[](modint<P> a, modint<P> b){return a + b;},
		[](std::pair<modint<P>, modint<P>> a, std::pair<modint<P>, modint<P>> b){
			return (std::pair<modint<P>, modint<P>>){
				a.first * b.first,
				a.second * b.first + b.second
			};
		},
		[](modint<P> a, std::pair<modint<P>, modint<P>> b, int w) {return a * b.first + b.second * w;},
		0,
		{1, 0}
	);

	while (q--) {
		int op, l, r;
		std::cin >> op >> l >> r;
		if (op == 0) {
			modint<P> b, c;
			std::cin >> b >> c;
			sg.range_update(l, r, {b, c});
		} else std::cout << sg.range_fold(l, r) << '\n';
	}

	return 0;
}

Measured memory_bytes: 31900