exec(__import__('zlib').decompress(__import__('base64').b85decode('c-p9?Stf?o$j5OjlQ$75ogvgG|H+%C^CQfB#@4K_~Qv3{`C(V{QQTlXJL=m5iiyIGNYP5u^~9Y2CF1o_uL{{DvlG4%GgXXGcYv416Q4B7C%JfT06*Ufc|IEh><`0s|{U;V@|{&su)`LBQM|C^h+HuU@PAAe~W(4YBl5B`Mz=D2nk+#)xQ|Cipq6}ve4>)(^u--kFZ^rv0FBJbG;&`3N?mCTQHdQL|5m(%CyXi9;v=BPHPfxIp1S_Kjs+nJdNwss4`?@)7omgGHm#!Ga4%1Bs+H14nJ3s>Av+ej=A*B@yLO@aZV^d|6o52OpLUUDY#li!GqqlPtmY!*mEQbvXdBr13VMwgDt)YYob%$6U}{7V{;G?^!3>arCRCez2(yu&`53qs1=Swgw;nQ6a!-DP4kMHFgc6h_p@b;tmtT-n|d786)-I>%hI~^~T_JmHW!&B?n#h(e`CG!U`_2YW6=^$@)v>&q5^j6k(9Whgzs}+@sj8>x`(?-%&HS)9?eF%-(^2NSNpkkXJy`0InnIyGNQotnAv{TDzEd$+--{wlB(aSKC&V*&3LyYB^0v68DK{Ww$RK7>%9`I*%%~eYxgzk1=LnR0d}RKSO-K7;LcPeFRK*P5|yjNSYC?QH3?{Uc98ggZ6c;Jy0M0)>m8|ACIVF)i+E0xp{l8k00$~Y3s1L9)^Ka%C<&mtb@0I`2-zQ>vOlVyz5MsOx^{_iWN6WbQLrn=#)=ATSBY$6PY}k%LAz4D+xF!sXKc?#W@cVd~1-K-rTbaVsr3W|7w%RchXCSv*CxWL>D=b4v30#NH(_T;FqGQ+mmes(PEPPt)*`eH;M(XaaCjt%fQtHq^R={O>R5~q)%<075}ih04sdwaax^KqvNS(MH1>~NC@=kUaLf*|~|)Aiv6%((Y3?MPuo4OGpYJ|?T{qFEhb$i{m&DscOJeZ97in$`!&&ncYopf`K>EBRsZ&O7@d5VszWapqGnRhdbStMJ80Mj-%F|l-UO6rr4*{Zc6H`o!MT;b(((5pmOy}9qkll$)BiT9~dEw!Pb0Q2_=IY}E!N-@isrOZr^%e!_WbyvSd0~o?V+p;jGhc12)_uz2Z;ZbBp&Q=xP%{NqOYFhZ5^B)_dlS3PL`Cjq(NTIT`6ZP85Zx4%6qVf$N@1fb>81`sf^(%;_EL6c>>MKY-aTZ^%*r^__-tLRlPiO!)b_-)!lbwv-dUbUt3S5Juy4?5@b;u}95}+}_YF};$Y(DMvQGO5m5w=u<7*D7cpOWasK35K-KvPC_qXQa?Ngwel=ynXdZqU2!7HD}x2QGhJ4+cEd4nV%l@=UBX;rcrl%VWZCPeO!^k7U&xz6wH?{LsmUKPxhH6Dq7iT~QD7;vgqh#`L6!B2{B11JmnLoJ*?wattp|mD&a^g?t~T*w^hZ~B>zrucv3m?CM|U0D*DDYAD?mu%TvseCLz?g#^EtxUmlnIZ0Hd<4msEuHNPiLRPSnN_VT?LSDyV&Z*0iTMRMAV#IXt9cV_(>t$gXadpNz}@!TKSffqVi@s;t$0~(z44FKB_#HG@2_kFWAFs?hdf?5wV_}Y0E@aQe;DN-IV;S8C>yKOR>iF{(-U}PvyqNNQmhH*-tyNE|-5K!r8+mOd!{V4*;-xL`q&!ovhv9f!&4fgMA?kWC;C`XeT_gEyc9rYv&@6N7WjFkUfN2+q@*w+G`6Ds~LAx$^o4qA5Q~59Ad8BbCLkSj3&L*YJViz0?{Ug2mFy9#`F6_39(M_jZN@^WGdp6Y}+_s6|UC++v)M5RF}vhZPjG`R}Mmo!5&ZhOK(fxLxLgVz6enF&WFX(zn49tBY?Rfn&0}J)x@K{D4=2Oly<{oJ?_9dk!?{$)I~zb9h2p-`U0E#CX+yZ@BMZLr!|0@R^`z9S0Du{9({X*7N%_%^_}8?Z)M4QElCVO{L9)y*FdJ~8hfV1Wx4tmg7K)K9~L}#^~z4}ujdzRDEIHu5~Rcg0R&jABoUBZ6?&~e*!D71(>+JJK`QO0)JpvyFI&XKw5(Wx-^Dt_jcs)zAN>V|nPR?>(^O7yX?h6FnX1^DgPy>AJSgd*Mj}r0xJaz*S3^N4YX31-RnCpU<+gp1D%o@Hn6MUgI4J(iKflP+Oo`#;N{blQ1J^r;jwui>t?ExgSsXx>rdE94puv$5(8=-(kP=m)ZN;rVFYAllJZXMD=_C?Dp`~t?C(GhcqbKle@suo@9?2Is#R#A<1K4ivPRz}vZt{_}{?bFFbJ-;T=uxdb{t(iiT0^N71s^8El>)sL~T8^gc=?!S$a;XC3IKU`?pV=wZNuSAJHV(mOWf(H>GsL}J^%~F}g-7(KW^9PWEEajQMv@PsHF)d+x4&7Z)SzROia{kbS4DsJFcp5Nkrwb_HOo;ca{815LDY9xrF4rsW-H!26WHev~-xB1=u;=#`g-k|~kS!|gw>2$EwE#OWsaDgln@HDb0O!Vj`64E#!8z6JXjB4k_g7)>WQZ@5vLLfg5=2XUQnX61SF-LTDB`?*L~P*pTOM=aMl6LxL3u?nAa$l2MNyuE1s+2pYTZ#+_8|yYg&pxGXQ_inl#J$0&=K2$FhQjw;+Ksh6E#l%+@5RBu@nN=p@h3r%?knA?P9XjAtX>DLjwNNKbS#tE8?lYfd?=Eml)w6w@ZM5dX*oec;=XP$4D?Op8c2}HMVI!+JknvCR8;fu0fTvM&E60_M_0Rk=a1-l49P!UT|BL>=xBgmB4PW(2b1YFPIlfi*9>ch9QrFQc_R2RL5%>5s!|JBLtxeZ>+Pfn6K`KodVHwVBMm6?B_!!{q!d!*w9hzK;>i0Fq)9r5OPV?LsI#&-^OBLlUQ)3cH-BfI7RXc2PR)2E|y}G^k(K4$WcmlWXr;_`9O!@ur#g{Q76Z!luyX$n>g=5<5L(_zfC1m*h&P<4Y+@ZYW0ZL_5so&_sqzAQXrNQB2)BBQo?5^Q;e{(po`#XY=Oxtb62kb6$4{q$QullL6v-dn(&8+KbrvKQ}YIPb=`a`xwuZ%x0r^99*v!b#2j#hJFXEMfU98@PWy=lNXX4~6Y=e(MAN7Ug(!FRgBHdc4#5f6^#b^)AvQj}>~6&SwX=@(#vb(djZQBi+ac=*D;*t2A9qofaog1Pz@?wf90Un4W?;h#-sx*5di@`@w?uZ?cQQj7;PO}q7Tv6<9~ZnV#s8tlL5d?D%ke29U-;1RqGeV^v<=-69$JKbyEzX_jXI2wLx^Ib5%*aC=%l@}ZCA&4l4rt6Df*Dfvcwr1DPihgX(dhx)VS=%J9VqE|v)JTKA>Oh^ff@TKH$`^K1Fn<6kQ;gPZI>sSf_2YNOXFZDn`leTAb6L1r9MAxq(Ti=pR@rQ9`kM!7+MYL>A}AwBzKn+wDB;WfS!%(Pd^8{Mh3nB1BJuf!>aa-^g%X;mbFR^3}q&XHTQZvoi`Yl24nF#{6+Pbdxe`f5yKpJ$$xT*S7<^Xl&GG9Wm=?MuWspo!&vcg#ED4v)as^7VspR9Ki|;Io4*gTi`k+i7W8-_9Q*#wCO)@q`|5i7BEF1HYi@Hj&TjL#@m`LyKh$+jT)k>{Qp$1&uQuO@1~MEzb+u%d#w!c(%=6|DG_AP2eeLV(>OVVI|0gaKk*nsAKjPOakXGJoXJ2pl$82+1bPt4(Q1S4!?m)GrU+%Jab)^lkdiA{;44Gom5+TA(saB`EWt=%Nde-cSK?)mPnV!l$*S0C8OUYFqY*@jTbIApRQe~`7A+BvjD$&qR;q8MrDAMx#HN0#k6uji+CI-&z@WJ}idXMHkmtwKyX?T@snS#$B`MUe|Z)gr8KqTxXfFo$`8%)-L_d#P#2U+m=JK9@l?p+#P-^@r)i^%~m2T(l;Y5{!0yb|8jyj|b_EnFn$9M(+LdBy!V9`a@x>cUZ_Z1<_^aQQF@BRMwv9L@Unoq%qDernRx~z6g`o^0~deBZu1$ruj1Nkn`a3xV-6u^Si$e=ejMC{R`weBy;Meq6Sm*OQPYmTrYh><<~dUu0RF6-%o%9S>TUFJsAp$&QEALkVujHpf-KJ{RC8-%TB9^UrPt)*y&4I&-Bxv4vCt1#^D#En(EPZ-NbxB2R%dfADr+FssU=HYHJ{a|*2C8Ae355*3CFf3e`8<$vRcc2~}!D_zNqE_-=^rH#kPDj?E>>xh**ryo@zvR+G#5r4f@%C}s^Lte!?T?nw(U;rP8Y)U@B69*3KAjQs>fga`M$KBm%E!*=R1mG@w?38N0ZkRK^acDm7D$|@vB7wq!T@+>kvwAMW8jZX3Tcj;Kp>t4ff#O%$+;p@rWvjz;gFEXv_=wf_&SiS+)uHaqhXqCY3^qrmKljUo%=XT1=*C;7Q_JI_@}Rw}3NA&tb+emFqu2T|%R2waF55Bf&orP<8@e)`^-C1{KDrIP!uxGi3Jro#AD!F&A=wvOX$P-;=*(n;uYH>bXYuFf_if2_ktEtRs(b6@xLCmP%Qu>Eaw{oMEWm&~8Y-nBQl%?@OzX`(8IV&~mIG2;L6WmtRrFHW|8!0DEsn6`dzy5Y9s8v6T|zc$@ECG~r}2W*a+nkw$2FQ#vDV@B_%@VIr)YdvUAxeX@v8E)CUeh-&Yp|6@3q05-tA$rQ(g}m+?ucP1p{*bq-$MQ3uIhK%j`LC)H3#S?AeRm{<=5t^qGJ&otr#pbphN9E*(s8QaQV{&fI$M07Xji%dBD-tYD^>JB-=iN#JFJaWK(4tvst~5?LZo3=g&&E-p_GkZ%qKS{loU}e7k(d9$s$=&x~Q~)dhr%IptEGPUgVap~3~2rvsuNdnesILmv0;IOl@kF51Hui0w%03*tzh!{bY96K_yOpZ7};QQwpym4?N!vm2qHo+9v5+^gobei>it495I&K#zuM=5lk_6%{I3^~nb*@axDrw-7h{;AIeeYWkt;@|}Za$3<2fF@`}5=%$cFU^uVTfavmlgj^KvX7hQ-)PrJfcFY@HCqSWCS^dZ01Vf8jHNAjBQ;VL)2y2kLT)%C!I_rMM8)9qAC3QV&$Cu%$e8pbLz^shNpUF%-7N^6&&0OH!lOGmDQ7mlXE@yRS$>$x5oC*@o1kn|GycUu*gtgR13|z0%6GYR-o`#rFa}!;Q1t2GMlIEhlluCl!eh}#;2ut-e8Y?bo67ymQs$3#nws=OfW}($~8-&hQC!02XSs)8jV(ox%%^CEBqbg3YyJ)89~`qv(eB(YUJ;MN(-%YCY!Tf2+bE26D2DzXPtys`_h-6s4^dP&*);%M^W8AWf*FKuD&(rPOj4tYDi*|n?3*8@X36t-<(BGVNnlZ$35XCOoG!{(skPx~$DOCfL#?^}nOznQm=HGH4ClL>4~n{V$GDCg0rO6-h#6g_fZFGVGCoe!y|0JI%PAL_G8j|*mZOD0wo;$WBN>RUpT>Z^OLdyCpEz2hc!u+OK`v3K&;GPeg2xa-y!S@}ioo+{j6XD3@7eIw11B{BnB<|;`;or=%4<1GnyAAUl7v=9x%oFwWy>4I_N6ZGg?X+*z{I|u50#)Aja^D6JajbH1_5hzu~8y5op&$$BjTz_n);PcWOV$#LPcV(=Xl&_s-GH$zNcKzuOs-r;a^lO)*c~QWXg^|tvO5BZ02pVb*cToJJ0&CW@7K#qOV9B>NdF^A(BR5uyA#b3`yA%cYd%I?7UYw``#jb-8YBg|D(Zz-XS#~zx+iJ0|O?4LX$(*q!(UI5e#$~`bD=4`SULSI`zlRt2y|1RNiB6vz?w}l5m*uL_)TF8~=g47%<;#1&)ZL{fImkxrl`~nPF9x4Nnmm%AOhO`}O|JnfBh7JoougnWtjte9&0#1E5`!Ix99kTJt?xV(^ti|`P3xUzFgm@#w0zt7mA+?ek;Nfz*>W_=>BQwSDln>96{j8!(c#>jA0oLHzc((mels0UQ7GKw1XcS-$RT??dQ}t;jP=ZW<31fD)mNM)*k{l`*zWNzX=FR^tg;Ms(U%|Wo><%zz>tV9Il4^x=kd5ZFhpiQwen~u$(T%WVQ(wuJ+kBck6cIR|l1cv);WiP($08*e0*T{p>=74Qi%hcvse=$2#7Zxu?HWZiL&SM-w}g=0-w#wUg1Z-=MJT{g8%o?Re?syUOjjU-XaIPp+Qvh1PMK&KmXBVnKm&Y2v5ciEut-X_Xww*%&2)?Sbe0arqZY+Kp}>W|4`Fv~=18x3}^Pd$%SRdcIo&mhG2IjkJ?%2@W&l^%f0zErr=fqS%9QCG!<%@>8JBK$*JI)}0#Pa?&^XjGpzTV2(UIUa_nK@MS&dVa6RPU)cr9VjV@^yCje_NIsyvU2xZ8RkrVeAkubM!M*=uXC`zJNGlL8D5P<^rOj0At{c9;#g>dm(w=7r5pdlSqBG9v6pR~_S{#$3@MwRXMXFUZ$!D*Yp?r#FdWb9;i~ev!mYw?4zLf+)i0IqBD85vnw0;cpDXm%V=yolx_-nC8y!n@&`<+2@&93K(S$^hQu~V(0K%@{um|mmAhU-m+sCbwJvmX21f>nuYsyoJ8@3G|$ybfN^kkz|jG4A(Z|DIJ(Ww#{vx>>+NPzkZ}V;TzzbG=U+3WOXr6esnkc`l9Cug$t}&S-kBcNhtqhXZ=)OeVa?;0JHJQIQ9L^Y>$NyB|fSa_p|1DLHT6fuV9vzmL>x2mKp&7}%wIr;zNIPJfuGt9w(WG+2ltK3zPr8NGp>1-q!`#qsz7KL!b`Z*Rlci_OdR4CWesirq5|VO?cW0iH|}f2x1`B-W=BZo~N#sJxL)QVJB+M2gEEKml{Jyk>iiSzwSrSw17Bw4o1>1FPu%$0EKFafc#_e>9yxHjXG3W+Q~i+oGUTC86b-$!0*{snTa4dW%r=EFCS`mZqpkcnB+#!1Qse3tmC!T8vR{7Ogm@k9vk9e$R52WsUMN7UVXh=!5$frmrL)xeYPxzjWbPhN@(S}bD6wy&8AEdDO=9jMN7k*r2R!a*h(@KJ5uM2@aK7C2jxNSTB$k2;nHsxt<*l413{k5dWNbsrZ=gfh86;~<=TAQQ1!iX868X?!Ma>MjgmuOMUK1|Jy-Luw1dv4U5h>*b}|jLd^_u`>2{V~)&BD05BXof1wP2NToK&S`C_QF1!*vmTNJ!$SJax!^9_Zxd_~5X<+5GsOVv)p#<)bl2W?F&SB9tNm3*FJ~Wvo>GTAphWz<3l=Q&g1tA#&i<=}GREz5d$rnEUOMag}|m)jE-~`P1Tx*Q-tN>9KEvk`j`oMQiaFW{k^4`wtJIBRKfL~DcJ+@+Gs8GMl1Jnk#(x%@S=Vcr{Nsu1_}{PV;bJ+NOMi6#__Ogh1VR4R`19Yd{^2+6Y6X9v)cy7RXT{Q=|Mu_Kf0Uj@{xyOAW9r{`($o#gUL}bwe$(9tMnc2$6&Mjqw;6Z8dZ80xzyY>fKjikFGOBe2jmh0c4=MAq6eWRn>pc>(rS$&Sw0RdeW%hHAcORM42_fDlr=y!RtXR`>gNDiLRPxH#A)bff;V$AAdK18nc`VGfdAgwH-yKzT;4FTRbQ8c|9<`kSkBT&=OrGA2er(y5!zCVW8yzI-i5$kAS0)U0ju>TS@=k7!8^YGKAf<{iAHos`I!P_>}p^(9l*LhWRM;-E8P~cl%E4!PNAsz`03+9Gh?E3)*tI|AGdcSn{}FFWi(|Tv*96EJI0QO@#)7s(CT;d5&S3)hB+`*>s?cxVo?JRj|893_~RX%c9=}Pp`@Tu0`My;Mr&&V2ke|A5$TrRdR&a4R1K^5?2G(r~&ama{W)=ChZPIl7pQ|_F6e(05)jVuH;o&8%3}O+7bs_MU1^k--10pC%6#j(I4U5(CaNEuxJM6Uy`i-y@x$@LpKg3b&9~&<4A)N_H@J4&&iA!!R2+)^X|t;C!+A|q;a6#=c2|=HKkD-wv8Xh-X*?(HGlP)^Tkjk^^j$@skBGDVKXvc_cHx6%|J>Jd{J-{Y#kF$+wSY|U7naE7dGDqN!t7NS;dYz`Ej%q)WFU$VbGNg>v=pq3WB0*YxB0E5G1$g+Af@9}2G`fEb8a>UtIiu0Ht@YAC%123A+M(?7o-m;2X@b2JX%)m-b?LH31?Vk2s70nclxonqIdg4Z_!0Nmn8IO$y<<6N5YGpCw*RspgAAY$0fweg3m#4nx8MiZVsCE0Zw|QL6tf^_yoGG6-ib)GwQB(@s^@Y>A`0R%)^`%J0xhOg4E5clvv{xJ=DFyBFp=C|E8}4eqiGemE7FL1AWh}D9JDL%<>!_61+AfGaOD8uzO2OA4fWaXK!9_j}Gms&(I3k`{>G)AV=}qR-3VTU4S!cNxo6=W1bV@}!KYo{E29lhPB)w(u6|Hk3+m~xfoV5^Scr6UHH8&I_RJ&$;_Lb@Zao-09sstC$Agsy0|<%e6Syxw+{oyy%h_13@5iFs>}__dCmpyJYwGAxLiQmzi>f@(WMN)Tsl}-^%m&AnM0YDmyFbDKA;F9bU$5g^eF{FSQjco|Z+VD-^r#DJISo1+(qlwTV!X+aDr6`l`-gw)Z*@W##nR>=u&@T5aWd)T9RX^1cW!C!}VC)Goc7mpX{4J2Fg3(JnU)t`0?`ZG&DNjQgwsR}UIl7`yS+NQ(Jzdqo0&GE`e}?P49UDg7;q2ES)v1zmB$vp@xNm0jCV`LN)jqoH8SXA&isn?Ay5!SbkGyO$vdZ}b^Fpe{bK^0U&mysUnv?f>9W3pRZ~WCE*U55%ws4ZWOw>tCYFoDJB#urKF+0er8*m>m6XcDfs{W}UD#eSDg#s9*R{(+dr?=$$TpZWdLp#C8kOcO`Z_2>W}vTLpygI-7z2j_MlXQSEnG!N6fK6B_E&4?&t?p5U=TaOL0z4YCmd%jE6Jkg*n}N9XPx*OxK&|%pLSbZr<%V{%c@1_a!$A_JfE&#>Abekm|gbzr_G8rEfK+@S+hI3XNGmmtzTW?${i?M->~F{uOQ8Eo~E&ek@FKxfb4j|kLAIZ6GD!S%;PEI@1JZ(tU5|TrH93hJp(2wDcItH_liry#KSb1|o@|fMrE0J7Yx<=)ItiLmppA+(p`97a8YV#q86?12%+b+F@S_5kK;6oPVX8iivIylqg06S*YABrX&VB6hVXi^xj6<<>@+5onX3vs)qOJa{h{8_@LzFstD<}65x%Y&W9&0ioptKJx(@J`cRhKyj;)PdO8gP+y309vR07B=K5f0-qd#gIE3E|12^ULdb~WV{f0;Z#sAJXDvpd(W?(uRqZ3E6e+!%AS?(Xj&n@+3B%zeQ#}!;a6XMxGHXb=Go$P`gY$6KJ-gcR;{QWG-40(V^6#f(g)e{yM6{7PimdGzE;l6V1az14Cc^sn9lTIvvEOIht>^GeR2n@<7cptr-McN=aqNZ@bCA-FSoZ_%ERg;6)Np})3JA#mJF`*ty*>AmwNN?Qa|GMG2Jn}(nRO?;MTy5lzk10^8_AaGBL+?l4^%bwW$Tf^wxi5xb$xQ(vTrGWSr!Gn9~0RXWc;V'))) from typed_stream import * from examples.factoradic import * from typed_stream.functions import * print(Stream(int_to_factoradic(127974441335720091837592620)).map(int).sum(), end="") print(Stream.counting().filter(is_even).chunk(19).map(Stream).nth(11).nth(1))