#include #include #define all(a) begin(a),end(a) #define eb emplace_back #define ep emplace #define ef(...) else if(__VA_ARGS__) #define wh(...) while(__VA_ARGS__) #define fin(...) rr pp(__VA_ARGS__) #define RD(T,...) T __VA_ARGS__;li(__VA_ARGS__) #define LL(...) RD(ll,__VA_ARGS__) #define ST(...) RD(str,__VA_ARGS__) #define UL(n,...) u1 __VA_ARGS__;resize({n},__VA_ARGS__);li(__VA_ARGS__) #define UV(n,...) u1 __VA_ARGS__;resize({n},__VA_ARGS__);vi(__VA_ARGS__) #define SS(n,...) strs __VA_ARGS__;resize({n},__VA_ARGS__);li(__VA_ARGS__) #define U2(n,m,...) u2 __VA_ARGS__;resize({n,m},__VA_ARGS__);li(__VA_ARGS__) #define fe(v,e,...) for(auto&&__VA_OPT__([)e __VA_OPT__(,__VA_ARGS__)__VA_OPT__(]):v) #define fo(i,...) for(auto[i,i##stop,i##step]=rng_fo(__VA_ARGS__);i=i##stop;i-=i##step) #define debug(...) pp(#__VA_ARGS__,__VA_ARGS__) #define I(...) template<__VA_ARGS__> #define J typename #define O operator #define ce constexpr #define cs const #define rr return #define uu using namespace my{uu vo=void;vo main();vo solve();}int main(){my::main();}namespace my{uu namespace std;uu namespace atcoder; uu is=istream;uu os=ostream;uu bo=bool;uu dd=long double;uu ll=long long;uu i128=__int128_t;uu ul=unsigned long long;uu u128=__uint128_t; I(J T)uu v1=vector;I(J T)uu v2=v1>;uu u1=v1;uu u2=v2;uu str=string;uu strs=v1;str sp=" ",nc="",nl="\n"; uu ml=modint998244353;is&O>>(is&i,ml&x){ll t;i>>t;x=t;rr i;}os&O<<(os&o,cs ml&x){rr o<;uu m2=v2; I(J A,J B=A)struct cp{A a={};B b={};cp(){}cp(A a,B b):a(a),b(b){}cp(pairp):a(p.first),b(p.second){} cp&O+=(cs cp&c){a+=c.a,b+=c.b;rr*this;}cp O+(cs cp&c)cs{rr cp{*this}+=c;}bo O==(cs cp&c)cs{rr a==c.a&&b==c.b;} cp&O-=(cs cp&c){a-=c.a,b-=c.b;rr*this;}cp O-(cs cp&c)cs{rr cp{*this}-=c;}bo O!=(cs cp&c)cs{rr a!=c.a||b!=c.b;}cp O-()cs{rr cp(-a,-b);} bo O<(cs cp&c)cs{rr a!=c.a?a(cs cp&c)cs{rr a!=c.a?a>c.a:b>c.b;}friend os&O<<(os&o,cs cp&c){rr o<;uu cls=v1;I(J T)uu qmax=priority_queue;I(J T)uu qmin=priority_queue,greater>; I(J T)struct mset:multiset{uu multiset::multiset;vo erase(cs T&x){if(auto p=this->find(x);p!=this->end())multiset::erase(p);}}; I(J T)uu set=std::set;I(J T)uu uset=unordered_set;I(J T,J U=T)uu map=std::map;I(J T,J U=T)uu umap=unordered_map; ce ll oo=3e18;dd ee=1e-12,pi=acosl(-1);str Yes(bo y=1){rr y?"Yes":"No";}str No(){rr"No";}ll ppc(ll x){rr __builtin_popcountll(x);} ll rnd(ll l,ll r=oo){static ul x=76,y=53,z=20,w=41;ul t=x^(x<<11);x=y,y=z,z=w,w=(w^(w>>19))^(t^(t>>8));if(r==oo)r=l,l=0;rr w%(r-l)+l;} ll l2(u128 x){x|=1;ll r=0;wh(x)x>>=1,++r;rr r;}bo odd(ll x){rr x&1;}bo eve(ll x){rr~x&1;}ll pwm1(ll x){rr 1-2*(x&1);}ll pw2(ll n){rr 1LL<>i&1;}I(J T,J U,J V)bo in(T l,U m,V r){rr l<=m&&m=0?x/y:(x+1)/y-1;}arrayrng_fo(ll a,ll b=oo,ll c=1){if(b==oo)b=a,a=0;rr{a,b,c};} I(J T)T cei(T x,T y){rr y<0?x=-x,y=-y:x<=0?x/y:(x-1)/y+1;}arrayrng_of(ll a,ll b=0,ll c=1){rr{a-1,b,c};}I(J T)T abs(T x){rr x<0?-x:x;} I(J T)auto&O++(v1&v,int){fe(v,e)++e;rr v;}I(J T)auto&O^=(v1&v,cs v1&u){copy(all(u),back_inserter(v));rr v;} I(J T)auto&O--(v1&v,int){fe(v,e)--e;rr v;}I(J T)auto O^(v1v,cs v1&u){rr v^=u;}I(J T)ll len(cs T&a){rr a.size();} I(J T)T&srt(T&a){sort(all(a));rr a;}I(J T)T&rv(T&a){reverse(all(a));rr a;}I(J T)T slice(cs T&a,ll l,ll r){rr T(begin(a)+l,begin(a)+r);} I(J T)T&rsr(T&a){srt(a),rv(a);rr a;}I(J T)T&uq(T&a){srt(a),a.erase(unique(all(a)),end(a));rr a;} I(J T)decltype(auto)bg(T&a){assert(len(a));rr*begin(a);}I(J T)T pof(deque&q){T r=bg(q);q.pop_front();rr r;}I(J T)ce bo is_vec=0; I(J T)decltype(auto)rb(T&a){assert(len(a));rr*rbegin(a);}I(J T)T pob(deque&q){T r=rb(q);q.pop_back();rr r;}I(J T)ce bo is_vec> =1; I(J T)auto pop(T&a){if ce(is_vec||is_same_v){auto r=rb(a);a.pop_back();rr r;}else{auto r=a.top();a.pop();rr r;}} I(J...A)auto max(cs A&...a){rr max(initializer_list>{a...});}I(J T,J U=T)vo af(v1&a,U e={}){a.ep(begin(a),e);} I(J...A)auto min(cs A&...a){rr min(initializer_list>{a...});}I(J T)vo df(T&a){a.erase(begin(a));} I(J T,J U)ll arglb(cs v1&a,cs U&b){rr lower_bound(all(a),b)-begin(a);}I(J T,J U)bo amax(T&a,cs U&b){rr a&a,cs U&b){rr upper_bound(all(a),b)-begin(a);}I(J T,J U)bo amin(T&a,cs U&b){rr a>b?a=b,1:0;} I(J V)auto defval(cs V&){if ce(is_vec)rr defval(J V::value_type());else rr V();}I(J T)bo add(T&a,cs T&b){rr a+=b,0;} I(J S,bo f(S&,cs S&),J V)cpscan(cs v1&v){//semigroup S r{};bo b=0;if ce(is_same_v)fe(v,x)b?f(r,x):(r=x,b=1);else fe(v,x)if(auto[y,c]=scan(x);c)b?f(r,y):(r=y,b=1);rr{r,b};} I(J V,J T=decltype(defval(V())))T max(cs v1&v){rr scan>(v).a;} I(J V,J T=decltype(defval(V())))T min(cs v1&v){rr scan>(v).a;}u1 io(ll n,ll x=0){u1 a(n);fo(i,n)a[i]=i+x;rr a;} I(J V,J T=decltype(defval(V())))T sum(cs v1&v){rr scan>(v).a;} I(J T=ll,ll n,ll i=0)auto vec(cs ll(&l)[n],T x={}){if ce(i==n-1)rr vector(l[i],x);else rr vector(l[i],vec(l,x));} I(ll n,J...A)vo resize(cs ll(&l)[n],A&...a){((a=vec(l,defval(a))),...);} I(J V,J T=decltype(defval(V())))vo fill(v1&v,T x={}){if ce(is_vec)fe(v,e)fill(e,x);else fe(v,e)e=x;} struct fio{fio(){cin.tie(0);ios::sync_with_stdio(0);cout<&v){str s=nl;if ce(is_vec){if ce(is_vec)s+=nl;}else s=sp;fe(v,e)o<&v){fe(v,e)o<&m){fe(m,e)o<&v){fe(v,e)o<>(is&i,v1&v){fe(v,e)i>>e;rr i;} I(J...A)vo li(A&...a){(cin>>...>>a);}I(J...A)vo vi(A&...a){fo(i,(len(a)&...))(cin>>...>>a[i]);} I(J...A)vo pp(cs A&...a){ll i=0;((cout<; graph tog(cs u2&a){graph g;fe(a,e){g.eb();fe(e,v)rb(g).eb(v);}rr g;}u2 tou(cs graph&g){u2 a;fe(g,e){a.eb();fe(e,v,w)rb(a).eb(v);}rr a;} I(J G)auto ygi(G&g,ll m,bo f=1){if ce(is_same_v){UV(m,a,b,c);if(f)a--,b--;fo(i,m)g[a[i]].eb(b[i],c[i]);rr tuple{a,b,c};} else{UV(m,a,b);if(f)a--,b--;fo(i,m)g[a[i]].eb(b[i]);rr tuple{a,b};}} I(J G)auto mgi(G&g,ll m,bo f=1){if ce(is_same_v){auto[a,b,c]=ygi(g,m,f);fo(i,m)g[b[i]].eb(a[i],c[i]);rr tuple{a,b,c};} else{auto[a,b]=ygi(g,m,f);fo(i,m)g[b[i]].eb(a[i]);rr tuple{a,b};}}I(J G)auto ti(G&g,bo f=1){rr mgi(g,len(g)-1,f);} u1 en(cs str&s,cs str&b="a"){ll n=len(s);u1 r(n,-1);fo(i,n)if(len(b)==1)r[i]=s[i]-b[0];else fo(j,len(b))if(s[i]==b[j])r[i]=j;rr r;} str de(cs u1&a,cs str&b="a"){ll n=len(a);str r(n,'|');fo(i,n)if(len(b)==1)r[i]=a[i]+b[0];else fo(j,len(b))if(a[i]==j)r[i]=b[j];rr r;} u2 en(cs strs&s,cs str&b="a"){u2 r;fe(s,e)r.eb(en(e,b));rr r;}str ins(){ST(s);rr s;}strs inss(ll n){SS(n,s);rr s;} strs de(cs u2&a,cs str&b="a"){strs r;fe(a,e)r.eb(de(e,b));rr r;}u1 abc(){rr en(ins());}u2 abcs(ll n){rr en(inss(n));} I(J...A)u1 zp(A&...a){u1 v=(a^...);uq(v);([&](u1&u){fe(u,e)e=arglb(v,e);}(a),...);rr v;}I(J...A)vo dec(A&...a){((a--),...);} I(J F,J...A)u1 vs(cs F&f,A&...a){u1 o=io((len(a)&...));sort(all(o),f);([&](auto&e){auto c=e;fo(i,len(e))e[i]=c[o[i]];}(a),...);rr o;} I(J F)ll bsl(cs F&f,ll o,ll n){wh(abs(o-n)>1)(f((o+n)/2)?o:n)=(o+n)/2;rr o;}ll sqr(ll x){ll r=max(sqrtl(x)-1,0.);wh(r+1<=x/(r+1))++r;rr r;} I(J F)dd bsd(cs F&f,dd o,dd n){fo(t,l2(abs(o-n)/ee)+1)(f((o+n)/2)?o:n)=(o+n)/2;rr o;}I(J T)auto zt(v1a){fo(i,1,len(a))a[i]+=a[i-1];rr a;} cls rle(cs u1&a){cls r;fe(a,e)len(r)&&e==rb(r).a?++rb(r).b:r.eb(e,1).b;rr r;}cls rce(u1 a){rr rle(srt(a));} i128 pow(i128 x,u128 n,u128 m=0){i128 r=1;wh(n){if(n&1)r*=x;x*=x;if(m)r%=m,x%=m;n>>=1;}rr r;} u1 divs(ll n){u1 r;for(ll i=1;i*i<=n;i++)if(n%i==0)r.eb(i),r.eb(n/i);rr uq(r);} cls fact(ll n){umapm;for(ll i=2;i*i<=n;i++)wh(n%i==0)++m[i],n/=i;if(n>1)++m[n];cls r;fe(m,e)r.eb(e);rr srt(r);} I(J A,J B=A,J C=A,J D=A)struct qu{ A a;B b;C c;D d;qu():a(),b(),c(),d(){}qu(A a,B b,C c,D d):a(a),b(b),c(c),d(d){} bo O==(cs qu&q)cs{rr a==q.a&&b==q.b&&c==q.c&&d==q.d;} bo O<(cs qu&q)cs{rr a!=q.a?a(cs qu&q)cs{rr a!=q.a?a>q.a:b!=q.b?b>q.b:c!=q.c?c>q.c:d>q.d;} friend os&O<<(os&o,cs qu&q){rr o<;uu qls=v1; u1 dx{-1,0,1,0,-1,1,1,-1},dy{0,-1,0,1,-1,-1,1,1}; vo main(){ll T=1;fo(t,T)solve();} vo solve(){ LL(H,W,K,T);amin(T,H*W); UV(K,a,b,c,d);dec(a,b); auto m=vec({H,W},cl{1,0}); fo(i,K)m[a[i]][b[i]]={c[i],d[i]}; auto dp=vec({H,W,T*3+1},oo); dp[0][0][T]=0; qminq;q.ep(0,0,0,T); ll ans=oo; wh(len(q)){ auto[cost,x,y,t]=pop(q); if(dp[x][y][t]=H||ny>=W)continue; ll ncost=cost+m[nx][ny].b; ll nt=t+1-m[nx][ny].a+1; if(nt<0){ amin(ans,ncost); }ef(nt<=T*3){ if(amin(dp[nx][ny][nt],ncost))q.ep(ncost,nx,ny,nt); } } } fo(i,T*2+1)amin(ans,dp[H-1][W-1][i]); pp(ans!=oo?ans:-1); }}