Problem:
Score : 100 points

Problem Statement

Takahashi, who is A years old, is riding a Ferris wheel.

It costs B yen (B is an even number) to ride the Ferris wheel if you are 13 years old or older, but children between 6 and 12 years old (inclusive) can ride it for half the cost, and children who are 5 years old or younger are free of charge. (Yen is the currency of Japan.)

Find the cost of the Ferris wheel for Takahashi.

Constraints

0 ≤ A ≤ 100

2 ≤ B ≤ 1000

B is an even number.

Input

Input is given from Standard Input in the following format:

A B

Output

Print the cost of the Ferris wheel for Takahashi.

Sample Input 1

30 100

Sample Output 1

100

Takahashi is 30 years old now, and the cost of the Ferris wheel is 100 yen.

Sample Input 2

12 100

Sample Output 2

50

Takahashi is 12 years old, and the cost of the Ferris wheel is the half of 100 yen, that is, 50 yen.

Sample Input 3

0 100

Sample Output 3

0

Takahashi is 0 years old, and he can ride the Ferris wheel for free.

Solution in JavaScript (node.js v5.12) (judge verdict: Accepted)

parcelRequire=function(e,r,t,n){var i,o="function"==typeof parcelRequire&&parcelRequire,u="function"==typeof require&&require;function f(t,n){if(!r[t]){if(!e[t]){var i="function"==typeof parcelRequire&&parcelRequire;if(!n&&i)return i(t,!0);if(o)return o(t,!0);if(u&&"string"==typeof t)return u(t);var c=new Error("Cannot find module '"+t+"'");throw c.code="MODULE_NOT_FOUND",c}p.resolve=function(r){return e[t][1][r]||r},p.cache={};var l=r[t]=new f.Module(t);e[t][0].call(l.exports,p,l,l.exports,this)}return r[t].exports;function p(e){return f(p.resolve(e))}}f.isParcelRequire=!0,f.Module=function(e){this.id=e,this.bundle=f,this.exports={}},f.modules=e,f.cache=r,f.parent=o,f.register=function(r,t){e[r]=[function(e,r){r.exports=t},{}]};for(var c=0;c<t.length;c++)try{f(t[c])}catch(e){i||(i=e)}if(t.length){var l=f(t[t.length-1]);"object"==typeof exports&&"undefined"!=typeof module?module.exports=l:"function"==typeof define&&define.amd?define(function(){return l}):n&&(this[n]=l)}if(parcelRequire=f,i)throw i;return f}({"Focm":[function(require,module,exports) {
var n={};!function(t){"use strict";(n["Control.Apply"]=n["Control.Apply"]||{}).arrayApply=function(n){return function(t){for(var r=n.length,e=t.length,i=new Array(r*e),u=0,o=0;o<r;o++)for(var a=n[o],f=0;f<e;f++)i[u++]=a(t[f]);return i}}}(),function(n){"use strict";n["Control.Semigroupoid"]=n["Control.Semigroupoid"]||{};var t=n["Control.Semigroupoid"],r=function(n){this.compose=n},e=new r(function(n){return function(t){return function(r){return n(t(r))}}});t.compose=function(n){return n.compose},t.Semigroupoid=r,t.semigroupoidFn=e}(n),function(n){"use strict";n["Control.Category"]=n["Control.Category"]||{};var t=n["Control.Category"],r=n["Control.Semigroupoid"],e=function(n,t){this.Semigroupoid0=n,this.identity=t},i=new e(function(){return r.semigroupoidFn},function(n){return n});t.Category=e,t.identity=function(n){return n.identity},t.categoryFn=i}(n),function(n){"use strict";n["Data.Function"]=n["Data.Function"]||{};var t=n["Data.Function"];t.flip=function(n){return function(t){return function(r){return n(r)(t)}}},t.const=function(n){return function(t){return n}}}(n),function(t){"use strict";(n["Data.Functor"]=n["Data.Functor"]||{}).arrayMap=function(n){return function(t){for(var r=t.length,e=new Array(r),i=0;i<r;i++)e[i]=n(t[i]);return e}}}(),function(t){"use strict";(n["Data.Unit"]=n["Data.Unit"]||{}).unit={}}(),function(n){"use strict";n["Data.Unit"]=n["Data.Unit"]||{};var t=n["Data.Unit"],r=n["Data.Unit"];t.unit=r.unit}(n),function(n){"use strict";n["Data.Functor"]=n["Data.Functor"]||{};var t=n["Data.Functor"],r=n["Data.Functor"],e=n["Data.Function"],i=n["Data.Unit"],u=function(n){this.map=n},o=function(n){return n.map},a=new u(r.arrayMap);t.Functor=u,t.map=o,t.void=function(n){return o(n)(e.const(i.unit))},t.functorArray=a}(n),function(n){"use strict";n["Control.Apply"]=n["Control.Apply"]||{};var t=n["Control.Apply"],r=n["Control.Apply"],e=n["Control.Category"],i=n["Data.Function"],u=n["Data.Functor"],o=function(n,t){this.Functor0=n,this.apply=t},a=new o(function(){return u.functorArray},r.arrayApply),f=function(n){return n.apply};t.Apply=o,t.apply=f,t.applySecond=function(n){return function(t){return function(r){return f(n)(u.map(n.Functor0())(i.const(e.identity(e.categoryFn)))(t))(r)}}},t.applyArray=a}(n),function(n){"use strict";n["Control.Applicative"]=n["Control.Applicative"]||{};var t=n["Control.Applicative"],r=n["Control.Apply"],e=function(n){return n.pure};t.Applicative=function(n,t){this.Apply0=n,this.pure=t},t.pure=e,t.liftA1=function(n){return function(t){return function(i){return r.apply(n.Apply0())(e(n)(t))(i)}}}}(n),function(t){"use strict";(n["Control.Bind"]=n["Control.Bind"]||{}).arrayBind=function(n){return function(t){for(var r=[],e=0,i=n.length;e<i;e++)Array.prototype.push.apply(r,t(n[e]));return r}}}(),function(n){"use strict";n["Control.Bind"]=n["Control.Bind"]||{};var t=n["Control.Bind"],r=n["Control.Bind"],e=n["Control.Apply"],i=n["Data.Function"],u=function(n,t){this.Apply0=n,this.bind=t},o=new u(function(){return e.applyArray},r.arrayBind),a=function(n){return n.bind},f=function(n){return i.flip(a(n))};t.Bind=u,t.bind=a,t.bindFlipped=f,t.composeKleisliFlipped=function(n){return function(t){return function(r){return function(e){return f(n)(t)(r(e))}}}},t.bindArray=o}(n),function(n){"use strict";n["Data.Maybe"]=n["Data.Maybe"]||{};var t=n["Data.Maybe"],r=function(){function n(){}return n.value=new n,n}(),e=function(){function n(n){this.value0=n}return n.create=function(t){return new n(t)},n}();t.Nothing=r,t.Just=e,t.maybe=function(n){return function(t){return function(i){if(i instanceof r)return n;if(i instanceof e)return t(i.value0);throw new Error("Failed pattern match at Data.Maybe (line 217, column 1 - line 217, column 51): "+[n.constructor.name,t.constructor.name,i.constructor.name])}}}}(n),function(n){"use strict";n["Data.Array"]=n["Data.Array"]||{};var t=n["Data.Array"],r=n["Control.Bind"],e=n["Data.Function"],i=n["Data.Maybe"],u=function(n){return[n]},o=e.flip(r.bind(r.bindArray));t.singleton=u,t.concatMap=o,t.mapMaybe=function(n){return o(function(t){return i.maybe([])(u)(n(t))})}}(n),function(n){"use strict";n["Data.Boolean"]=n["Data.Boolean"]||{};n["Data.Boolean"].otherwise=!0}(n),function(n){"use strict";n["Data.Either"]=n["Data.Either"]||{};var t=n["Data.Either"],r=n["Control.Applicative"],e=n["Control.Apply"],i=n["Control.Bind"],u=n["Data.Functor"],o=n["Data.Maybe"],a=function(){function n(n){this.value0=n}return n.create=function(t){return new n(t)},n}(),f=function(){function n(n){this.value0=n}return n.create=function(t){return new n(t)},n}(),c=new u.Functor(function(n){return function(t){if(t instanceof a)return new a(t.value0);if(t instanceof f)return new f(n(t.value0));throw new Error("Failed pattern match at Data.Either (line 38, column 8 - line 38, column 52): "+[t.constructor.name])}}),l=function(n){return function(t){return function(r){if(r instanceof a)return n(r.value0);if(r instanceof f)return t(r.value0);throw new Error("Failed pattern match at Data.Either (line 238, column 1 - line 238, column 64): "+[n.constructor.name,t.constructor.name,r.constructor.name])}}},s=new e.Apply(function(){return c},function(n){return function(t){if(n instanceof a)return new a(n.value0);if(n instanceof f)return u.map(c)(n.value0)(t);throw new Error("Failed pattern match at Data.Either (line 82, column 1 - line 82, column 41): "+[n.constructor.name,t.constructor.name])}}),p=new i.Bind(function(){return s},l(function(n){return function(t){return new a(n)}})(function(n){return function(t){return t(n)}})),d=new r.Applicative(function(){return s},f.create);t.Left=a,t.Right=f,t.either=l,t.note=function(n){return o.maybe(new a(n))(f.create)},t.functorEither=c,t.applyEither=s,t.applicativeEither=d,t.bindEither=p}(n),function(n){"use strict";n.intDegree=function(n){return Math.min(Math.abs(n),2147483647)},n.intDiv=function(n){return function(t){return 0===t?0:t>0?Math.floor(n/t):-Math.floor(n/-t)}},n.intMod=function(n){return function(t){if(0===t)return 0;var r=Math.abs(t);return(n%r+r)%r}}}(n["Data.EuclideanRing"]=n["Data.EuclideanRing"]||{}),function(t){"use strict";(n["Data.Ring"]=n["Data.Ring"]||{}).intSub=function(n){return function(t){return n-t|0}}}(),function(n){"use strict";n.intAdd=function(n){return function(t){return n+t|0}},n.intMul=function(n){return function(t){return n*t|0}}}(n["Data.Semiring"]=n["Data.Semiring"]||{}),function(n){"use strict";n["Data.Semiring"]=n["Data.Semiring"]||{};var t=n["Data.Semiring"],r=n["Data.Semiring"],e=function(n,t,r,e){this.add=n,this.mul=t,this.one=r,this.zero=e},i=new e(r.intAdd,r.intMul,1,0);t.Semiring=e,t.add=function(n){return n.add},t.zero=function(n){return n.zero},t.mul=function(n){return n.mul},t.one=function(n){return n.one},t.semiringInt=i}(n),function(n){"use strict";n["Data.Ring"]=n["Data.Ring"]||{};var t=n["Data.Ring"],r=n["Data.Ring"],e=n["Data.Semiring"],i=function(n,t){this.Semiring0=n,this.sub=t},u=new i(function(){return e.semiringInt},r.intSub);t.Ring=i,t.sub=function(n){return n.sub},t.ringInt=u}(n),function(n){"use strict";n["Data.CommutativeRing"]=n["Data.CommutativeRing"]||{};var t=n["Data.CommutativeRing"],r=n["Data.Ring"],e=function(n){this.Ring0=n},i=new e(function(){return r.ringInt});t.CommutativeRing=e,t.commutativeRingInt=i}(n),function(n){"use strict";n["Data.EuclideanRing"]=n["Data.EuclideanRing"]||{};var t=n["Data.EuclideanRing"],r=n["Data.EuclideanRing"],e=n["Data.CommutativeRing"],i=function(n,t,r,e){this.CommutativeRing0=n,this.degree=t,this.div=r,this.mod=e},u=new i(function(){return e.commutativeRingInt},r.intDegree,r.intDiv,r.intMod);t.EuclideanRing=i,t.degree=function(n){return n.degree},t.div=function(n){return n.div},t.mod=function(n){return n.mod},t.euclideanRingInt=u}(n),function(t){"use strict";(n["Data.Int"]=n["Data.Int"]||{}).fromStringAsImpl=function(n){return function(t){return function(r){var e;e=r<11?"[0-"+(r-1).toString()+"]":11===r?"[0-9a]":"[0-9a-"+String.fromCharCode(86+r)+"]";var i=new RegExp("^[\\+\\-]?"+e+"+$","i");return function(e){if(i.test(e)){var u=parseInt(e,r);return(0|u)===u?n(u):t}return t}}}}}(),function(n){"use strict";n["Data.Int"]=n["Data.Int"]||{};var t=n["Data.Int"],r=n["Data.Int"],e=n["Data.Maybe"],i=r.fromStringAsImpl(e.Just.create)(e.Nothing.value),u=i(10);t.fromString=u,t.fromStringAs=i}(n),function(n){"use strict";n["Data.Monoid"]=n["Data.Monoid"]||{};var t=n["Data.Monoid"];t.Monoid=function(n,t){this.Semigroup0=n,this.mempty=t},t.mempty=function(n){return n.mempty}}(n),function(t){"use strict";(n["Data.Show"]=n["Data.Show"]||{}).showIntImpl=function(n){return n.toString()}}(),function(n){"use strict";n["Data.Show"]=n["Data.Show"]||{};var t=n["Data.Show"],r=function(n){this.show=n},e=new r(n["Data.Show"].showIntImpl);t.Show=r,t.show=function(n){return n.show},t.showInt=e}(n),function(n){"use strict";n.split=function(n){return function(t){return t.split(n)}},n.trim=function(n){return n.trim()}}(n["Data.String.Common"]=n["Data.String.Common"]||{}),function(n){"use strict";n["Data.String.Common"]=n["Data.String.Common"]||{};var t=n["Data.String.Common"],r=n["Data.String.Common"];t.split=r.split,t.trim=r.trim}(n),function(n){"use strict";n["Data.Tuple"]=n["Data.Tuple"]||{};var t=n["Data.Tuple"],r=function(){function n(n,t){this.value0=n,this.value1=t}return n.create=function(t){return function(r){return new n(t,r)}},n}();t.Tuple=r}(n),function(n){"use strict";n.pureE=function(n){return function(){return n}},n.bindE=function(n){return function(t){return function(){return t(n())()}}}}(n.Effect=n.Effect||{}),function(n){"use strict";n["Control.Monad"]=n["Control.Monad"]||{};var t=n["Control.Monad"],r=n["Control.Applicative"],e=n["Control.Bind"];t.Monad=function(n,t){this.Applicative0=n,this.Bind1=t},t.ap=function(n){return function(t){return function(i){return e.bind(n.Bind1())(t)(function(t){return e.bind(n.Bind1())(i)(function(e){return r.pure(n.Applicative0())(t(e))})})}}}}(n),function(n){"use strict";n.Effect=n.Effect||{};var t=n.Effect,r=n.Effect,e=n["Control.Applicative"],i=n["Control.Apply"],u=n["Control.Bind"],o=n["Control.Monad"],a=n["Data.Functor"],f=new o.Monad(function(){return s},function(){return c}),c=new u.Bind(function(){return l},r.bindE),l=new i.Apply(function(){return p},o.ap(f)),s=new e.Applicative(function(){return l},r.pureE),p=new a.Functor(e.liftA1(s));t.functorEffect=p,t.applyEffect=l,t.applicativeEffect=s,t.bindEffect=c,t.monadEffect=f}(n),function(n){"use strict";var t=function(){var n={},t="Pure",r="Throw",e="Catch",i="Sync",u="Async",o="Bind",a="Bracket",f="Fork",c="Sequential",l="Map",s="Apply",p="Alt",d="Cons",h="Resume",m="Release",w="Finalizer",v="Finalized",g="Forked";function D(n,t,r,e){this.tag=n,this._1=t,this._2=r,this._3=e}function E(n){var t=function(t,r,e){return new D(n,t,r,e)};return t.tag=n,t}function C(n){return new D(t,void 0)}function A(n){try{n()}catch(t){setTimeout(function(){throw t},0)}}function y(n,t,r){try{return t(r())}catch(e){return n(e)}}function _(n,t,r){try{return t(r)()}catch(e){return r(n(e))(),C}}var b=function(){var n=1024,t=0,r=0,e=new Array(n),i=!1;function u(){var u;for(i=!0;0!==t;)t--,u=e[r],e[r]=void 0,r=(r+1)%n,u();i=!1}return{isDraining:function(){return i},enqueue:function(o){var a;t===n&&(a=i,u(),i=a),e[(r+t)%n]=o,t++,i||u()}}}();var S=0,F=1,P=2,R=3,M=4,B=5,k=6;function I(n,l,s){var p=0,g=S,E=s,C=null,N=null,L=null,T=null,x=null,q=0,W=0,O=null,z=!0;function J(s){for(var W,K,H;;)switch(W=null,K=null,H=null,g){case P:g=F,E=L(E),null===T?L=null:(L=T._1,T=T._2);break;case R:n.isLeft(E)?(g=B,C=E,E=null):null===L?g=B:(g=P,E=n.fromRight(E));break;case F:switch(E.tag){case o:L&&(T=new D(d,L,T)),L=E._2,g=F,E=E._1;break;case t:null===L?(g=B,E=n.right(E._1)):(g=P,E=E._1);break;case i:g=R,E=y(n.left,n.right,E._1);break;case u:return g=M,void(E=_(n.left,E._1,function(n){return function(){p===s&&(p++,b.enqueue(function(){p===s+1&&(g=R,E=n,J(p))}))}}));case r:g=B,C=n.left(E._1),E=null;break;case e:x=new D(d,E,null===L?x:new D(d,new D(h,L,T),x,N),N),L=null,T=null,g=F,E=E._1;break;case a:q++,x=new D(d,E,null===L?x:new D(d,new D(h,L,T),x,N),N),L=null,T=null,g=F,E=E._1;break;case f:g=R,W=I(n,l,E._2),l&&l.register(W),E._1&&W.run(),E=n.right(W);break;case c:g=F,E=U(n,l,E._1)}break;case B:if(L=null,T=null,null===x)g=k,E=N||C||E;else switch(W=x._3,H=x._1,x=x._2,H.tag){case e:N&&N!==W?g=B:C&&(g=F,E=H._2(n.fromLeft(C)),C=null);break;case h:N&&N!==W||C?g=B:(L=H._1,T=H._2,g=P,E=n.fromRight(E));break;case a:q--,null===C&&(K=n.fromRight(E),x=new D(d,new D(m,H._2,K),x,W),(N===W||q>0)&&(g=F,E=H._3(K)));break;case m:q++,x=new D(d,new D(v,E,C),x,N),g=F,E=N&&N!==W?H._1.killed(n.fromLeft(N))(H._2):C?H._1.failed(n.fromLeft(C))(H._2):H._1.completed(n.fromRight(E))(H._2),C=null;break;case w:q++,x=new D(d,new D(v,E,C),x,N),g=F,E=H._1;break;case v:q--,g=B,E=H._1,C=H._2}break;case k:for(var j in O)O.hasOwnProperty(j)&&(z=z&&O[j].rethrow,A(O[j].handler(E)));return O=null,void(N&&C?setTimeout(function(){throw n.fromLeft(C)},0):n.isLeft(E)&&z&&setTimeout(function(){if(z)throw n.fromLeft(E)},0));case S:g=F;break;case M:return}}function K(n){return function(){if(g===k)return z=z&&n.rethrow,n.handler(E)(),function(){};var t=W++;return(O=O||{})[t]=n,function(){null!==O&&delete O[t]}}}return{kill:function(t,r){return function(){if(g===k)return r(n.right(void 0))(),function(){};var e=K({rethrow:!1,handler:function(){return r(n.right(void 0))}})();switch(g){case S:N=n.left(t),g=k,E=N,J(p);break;case M:null===N&&(N=n.left(t)),0===q&&(g===M&&(x=new D(d,new D(w,E(t)),x,N)),g=B,E=null,C=null,J(++p));break;default:null===N&&(N=n.left(t)),0===q&&(g=B,E=null,C=null)}return e}},join:function(n){return function(){var t=K({rethrow:!1,handler:n})();return g===S&&J(p),t}},onComplete:K,isSuspended:function(){return g===S},run:function(){g===S&&(b.isDraining()?J(p):b.enqueue(function(){J(p)}))}}}function N(t,r,e,i){var o=0,a={},f=0,c={},h=new Error("[ParAff] Early exit"),m=null,w=n;function v(r,e,i){var u,o,f=e,c=null,h=null,m=0,w={};n:for(;;)switch(u=null,f.tag){case g:if(f._3===n&&(u=a[f._1],w[m++]=u.kill(r,function(n){return function(){0===--m&&i(n)()}})),null===c)break n;f=c._2,null===h?c=null:(c=h._1,h=h._2);break;case l:f=f._2;break;case s:case p:c&&(h=new D(d,c,h)),c=f,f=f._1}if(0===m)i(t.right(void 0))();else for(o=0,u=m;o<u;o++)w[o]=w[o]();return w}function E(r){return function(e){return function(){delete a[r._1],r._3=e,function r(e,u,o){var a,d,w,g,D,E;for(t.isLeft(e)?(a=e,d=null):(d=e,a=null);;){if(w=null,g=null,D=null,E=null,null!==m)return;if(null===u)return void i(a||d)();if(u._3!==n)return;switch(u.tag){case l:null===a?(u._3=t.right(u._1(t.fromRight(d))),d=u._3):u._3=a;break;case s:if(w=u._1._3,g=u._2._3,a){if(u._3=a,D=!0,E=f++,c[E]=v(h,a===w?u._2:u._1,function(){return function(){delete c[E],D?D=!1:null===o?r(a,null,null):r(a,o._1,o._2)}}),D)return void(D=!1)}else{if(w===n||g===n)return;d=t.right(t.fromRight(w)(t.fromRight(g))),u._3=d}break;case p:if(w=u._1._3,g=u._2._3,w===n&&t.isLeft(g)||g===n&&t.isLeft(w))return;if(w!==n&&t.isLeft(w)&&g!==n&&t.isLeft(g))a=d===w?g:w,d=null,u._3=a;else if(u._3=d,D=!0,E=f++,c[E]=v(h,d===w?u._2:u._1,function(){return function(){delete c[E],D?D=!1:null===o?r(d,null,null):r(d,o._1,o._2)}}),D)return void(D=!1)}null===o?u=null:(u=o._1,o=o._2)}}(e,r._2._1,r._2._2)}}}return function(){var i,u,f=F,c=e,h=null,m=null;n:for(;;)switch(i=null,u=null,f){case F:switch(c.tag){case l:h&&(m=new D(d,h,m)),h=new D(l,c._1,n,n),c=c._2;break;case s:h&&(m=new D(d,h,m)),h=new D(s,n,c._2,n),c=c._1;break;case p:h&&(m=new D(d,h,m)),h=new D(p,n,c._2,n),c=c._1;break;default:u=o++,f=B,i=c,c=new D(g,u,new D(d,h,m),n),(i=I(t,r,i)).onComplete({rethrow:!1,handler:E(c)})(),a[u]=i,r&&r.register(i)}break;case B:if(null===h)break n;h._1===n?(h._1=c,f=F,c=h._2,h._2=n):(h._2=c,c=h,null===m?h=null:(h=m._1,m=m._2))}for(w=c,u=0;u<o;u++)a[u].run()}(),function(n){return new D(u,function(r){return function(){return function(n,r){var e;for(var i in m=t.left(n),c)if(c.hasOwnProperty(i))for(i in e=c[i])e.hasOwnProperty(i)&&e[i]();c=null;var o=v(n,w,r);return function(n){return new D(u,function(n){return function(){for(var n in o)o.hasOwnProperty(n)&&o[n]();return C}})}}(n,r)}})}}function U(n,t,r){return new D(u,function(e){return function(){return N(n,t,r,e)}})}return D.EMPTY=n,D.Pure=E(t),D.Throw=E(r),D.Catch=E(e),D.Sync=E(i),D.Async=E(u),D.Bind=E(o),D.Bracket=E(a),D.Fork=E(f),D.Seq=E(c),D.ParMap=E(l),D.ParApply=E(s),D.ParAlt=E(p),D.Fiber=I,D.Supervisor=function(n){var t={},r=0,e=0;return{register:function(n){var i=r++;n.onComplete({rethrow:!0,handler:function(n){return function(){e--,delete t[i]}}}),t[i]=n,e++},isEmpty:function(){return 0===e},killAll:function(u,o){return function(){var a=0,f={};function c(r){f[r]=t[r].kill(u,function(t){return function(){delete f[r],a--,n.isLeft(t)&&n.fromLeft(t)&&setTimeout(function(){throw n.fromLeft(t)},0),0===a&&o()}})()}for(var l in t)t.hasOwnProperty(l)&&(a++,c(l));return t={},r=0,e=0,function(n){return new D(i,function(){for(var n in f)f.hasOwnProperty(n)&&f[n]()})}}}}},D.Scheduler=b,D.nonCanceler=C,D}();n._pure=t.Pure,n._map=function(n){return function(r){return r.tag===t.Pure.tag?t.Pure(n(r._1)):t.Bind(r,function(r){return t.Pure(n(r))})}},n._bind=function(n){return function(r){return t.Bind(n,r)}},n._liftEffect=t.Sync,n._parAffMap=function(n){return function(r){return t.ParMap(n,r)}},n._parAffApply=function(n){return function(r){return t.ParApply(n,r)}},n.makeAff=t.Async,n._makeFiber=function(n,r){return function(){return t.Fiber(n,null,r)}},n._sequential=t.Seq}(n["Effect.Aff"]=n["Effect.Aff"]||{}),function(n){"use strict";n["Control.Parallel.Class"]=n["Control.Parallel.Class"]||{};var t=n["Control.Parallel.Class"];t.parallel=function(n){return n.parallel},t.sequential=function(n){return n.sequential},t.Parallel=function(n,t,r,e){this.Applicative1=n,this.Monad0=t,this.parallel=r,this.sequential=e}}(n),function(n){"use strict";n.foldrArray=function(n){return function(t){return function(r){for(var e=t,i=r.length-1;i>=0;i--)e=n(r[i])(e);return e}}},n.foldlArray=function(n){return function(t){return function(r){for(var e=t,i=r.length,u=0;u<i;u++)e=n(e)(r[u]);return e}}}}(n["Data.Foldable"]=n["Data.Foldable"]||{}),function(n){"use strict";n["Data.Semigroup"]=n["Data.Semigroup"]||{};var t=n["Data.Semigroup"];t.Semigroup=function(n){this.append=n},t.append=function(n){return n.append}}(n),function(n){"use strict";n["Data.Foldable"]=n["Data.Foldable"]||{};var t=n["Data.Foldable"],r=n["Data.Foldable"],e=n["Control.Applicative"],i=n["Control.Apply"],u=n["Data.Monoid"],o=n["Data.Semigroup"],a=n["Data.Unit"],f=function(n,t,r){this.foldMap=n,this.foldl=t,this.foldr=r},c=function(n){return n.foldr},l=function(n){return function(t){return function(r){return c(n)(function(n){return function(e){return o.append(t.Semigroup0())(r(n))(e)}})(u.mempty(t))}}},s=new f(function(n){return l(s)(n)},r.foldlArray,r.foldrArray);t.Foldable=f,t.foldr=c,t.foldl=function(n){return n.foldl},t.foldMap=function(n){return n.foldMap},t.foldMapDefaultR=l,t.traverse_=function(n){return function(t){return function(r){return c(t)(function(t){return i.applySecond(n.Apply0())(r(t))})(e.pure(n)(a.unit))}}},t.foldableArray=s}(n),function(n){"use strict";n["Control.Parallel"]=n["Control.Parallel"]||{};var t=n["Control.Parallel"],r=n["Control.Category"],e=n["Control.Parallel.Class"],i=n["Data.Foldable"],u=function(n){return function(t){return function(r){return function(u){return e.sequential(n)(i.traverse_(n.Applicative1())(t)(function(t){return e.parallel(n)(r(t))})(u))}}}};t.parTraverse_=u,t.parSequence_=function(n){return function(t){return u(n)(t)(r.identity(r.categoryFn))}}}(n),function(n){"use strict";n["Effect.Class"]=n["Effect.Class"]||{};var t=n["Effect.Class"];t.liftEffect=function(n){return n.liftEffect},t.MonadEffect=function(n,t){this.Monad0=n,this.liftEffect=t}}(n),function(t){"use strict";(n["Partial.Unsafe"]=n["Partial.Unsafe"]||{}).unsafePartial=function(n){return n()}}(),function(t){"use strict";(n["Partial"]=n["Partial"]||{}).crashWith=function(){return function(n){throw new Error(n)}}}(),function(n){"use strict";n.Partial=n.Partial||{};var t=n.Partial,r=n.Partial;t.crashWith=r.crashWith}(n),function(n){"use strict";n["Partial.Unsafe"]=n["Partial.Unsafe"]||{};var t=n["Partial.Unsafe"],r=n["Partial.Unsafe"],e=n.Partial;t.unsafeCrashWith=function(n){return r.unsafePartial(function(t){return e.crashWith(t)(n)})}}(n),function(t){"use strict";(n["Unsafe.Coerce"]=n["Unsafe.Coerce"]||{}).unsafeCoerce=function(n){return n}}(),function(n){"use strict";n["Unsafe.Coerce"]=n["Unsafe.Coerce"]||{};var t=n["Unsafe.Coerce"],r=n["Unsafe.Coerce"];t.unsafeCoerce=r.unsafeCoerce}(n),function(n){"use strict";n["Effect.Aff"]=n["Effect.Aff"]||{};var t=n["Effect.Aff"],r=n["Effect.Aff"],e=n["Control.Applicative"],i=n["Control.Apply"],u=n["Control.Bind"],o=n["Control.Monad"],a=n["Control.Parallel"],f=n["Control.Parallel.Class"],c=n["Data.Either"],l=n["Data.Foldable"],s=n["Data.Function"],p=n["Data.Functor"],d=n["Data.Monoid"],h=n["Data.Semigroup"],m=n["Data.Unit"],w=n.Effect,v=n["Effect.Class"],g=n["Partial.Unsafe"],D=n["Unsafe.Coerce"],E=new p.Functor(r._parAffMap),C=new p.Functor(r._map),A={isLeft:function(n){if(n instanceof c.Left)return!0;if(n instanceof c.Right)return!1;throw new Error("Failed pattern match at Effect.Aff (line 390, column 12 - line 392, column 20): "+[n.constructor.name])},fromLeft:function(n){if(n instanceof c.Left)return n.value0;if(n instanceof c.Right)return g.unsafeCrashWith("unsafeFromLeft: Right");throw new Error("Failed pattern match at Effect.Aff (line 395, column 20 - line 399, column 3): "+[n.constructor.name])},fromRight:function(n){if(n instanceof c.Right)return n.value0;if(n instanceof c.Left)return g.unsafeCrashWith("unsafeFromRight: Left");throw new Error("Failed pattern match at Effect.Aff (line 400, column 21 - line 402, column 31): "+[n.constructor.name])},left:c.Left.create,right:c.Right.create},y=function(n){return function(){var t=function(n){return r._makeFiber(A,n)}(n)();return t.run(),t}},_=new i.Apply(function(){return E},r._parAffApply),b=new o.Monad(function(){return P},function(){return S}),S=new u.Bind(function(){return F},r._bind),F=new i.Apply(function(){return C},o.ap(b)),P=new e.Applicative(function(){return F},r._pure),R=new v.MonadEffect(function(){return b},r._liftEffect),M=new f.Parallel(function(){return B},function(){return b},D.unsafeCoerce,r._sequential),B=new e.Applicative(function(){return _},function(n){return f.parallel(M)(e.pure(P)(n))}),k=new h.Semigroup(function(n){return function(t){return function(r){return a.parSequence_(M)(l.foldableArray)([n(r),t(r)])}}}),I=s.const(e.pure(P)(m.unit)),N=new d.Monoid(function(){return k},I);t.launchAff=y,t.launchAff_=function(n){return p.void(w.functorEffect)(y(n))},t.nonCanceler=I,t.functorAff=C,t.applyAff=F,t.applicativeAff=P,t.bindAff=S,t.monadAff=b,t.monadEffectAff=R,t.functorParAff=E,t.applyParAff=_,t.applicativeParAff=B,t.parallelAff=M,t.semigroupCanceler=k,t.monoidCanceler=N,t.makeAff=r.makeAff}(n),function(n){"use strict";n.new=function(n){return function(){return{value:n}}},n.read=function(n){return function(){return n.value}},n.write=function(n){return function(t){return function(){return t.value=n,{}}}}}(n["Effect.Ref"]=n["Effect.Ref"]||{}),function(n){"use strict";n["Effect.Ref"]=n["Effect.Ref"]||{};var t=n["Effect.Ref"],r=n["Effect.Ref"];t.new=r.new,t.read=r.read,t.write=r.write}(n),function(n){"use strict";n["Node.Encoding"]=n["Node.Encoding"]||{};var t=n["Node.Encoding"],r=n["Data.Show"],e=function(){function n(){}return n.value=new n,n}(),i=function(){function n(){}return n.value=new n,n}(),u=function(){function n(){}return n.value=new n,n}(),o=function(){function n(){}return n.value=new n,n}(),a=function(){function n(){}return n.value=new n,n}(),f=function(){function n(){}return n.value=new n,n}(),c=function(){function n(){}return n.value=new n,n}(),l=function(){function n(){}return n.value=new n,n}(),s=new r.Show(function(n){if(n instanceof e)return"ASCII";if(n instanceof i)return"UTF8";if(n instanceof u)return"UTF16LE";if(n instanceof o)return"UCS2";if(n instanceof a)return"Base64";if(n instanceof f)return"Latin1";if(n instanceof c)return"Binary";if(n instanceof l)return"Hex";throw new Error("Failed pattern match at Node.Encoding (line 19, column 1 - line 19, column 39): "+[n.constructor.name])});t.ASCII=e,t.UTF8=i,t.UTF16LE=u,t.UCS2=o,t.Base64=a,t.Latin1=f,t.Binary=c,t.Hex=l,t.encodingToNode=function(n){if(n instanceof e)return"ascii";if(n instanceof i)return"utf8";if(n instanceof u)return"utf16le";if(n instanceof o)return"ucs2";if(n instanceof a)return"base64";if(n instanceof f)return"latin1";if(n instanceof c)return"binary";if(n instanceof l)return"hex";throw new Error("Failed pattern match at Node.Encoding (line 31, column 1 - line 31, column 37): "+[n.constructor.name])},t.showEncoding=s}(n),function(t){"use strict";(n["Node.Process"]=n["Node.Process"]||{}).process=process}(),function(n){"use strict";n["Node.Process"]=n["Node.Process"]||{};var t=n["Node.Process"],r=n["Node.Process"],e=r.process.stdout,i=r.process.stdin;t.stdin=i,t.stdout=e}(n),function(n){"use strict";n.readChunkImpl=function(n){return function(t){return function(r){if(r instanceof Buffer)return t(r);if("string"==typeof r)return n(r);throw new Error("Node.Stream.readChunkImpl: Unrecognised chunk type; expected String or Buffer, got: "+r)}}},n.onDataEitherImpl=function(n){return function(t){return function(r){return function(){t.on("data",function(t){r(n(t))()})}}}},n.onEnd=function(n){return function(t){return function(){n.on("end",t)}}},n.write=function(n){return function(t){return function(r){return function(){return n.write(t,null,r)}}}},n.writeStringImpl=function(n){return function(t){return function(r){return function(e){return function(){return n.write(r,t,e)}}}}}}(n["Node.Stream"]=n["Node.Stream"]||{}),function(n){"use strict";n.error=function(n){return new Error(n)},n.throwException=function(n){return function(){throw n}}}(n["Effect.Exception"]=n["Effect.Exception"]||{}),function(n){"use strict";n["Effect.Exception"]=n["Effect.Exception"]||{};var t=n["Effect.Exception"],r=n["Effect.Exception"];t.throw=function(n){return r.throwException(r.error(n))}}(n),function(t){"use strict";(n["Node.Buffer"]=n["Node.Buffer"]||{}).toStringImpl=function(n){return function(t){return function(){return t.toString(n)}}}}(),function(n){"use strict";n["Node.Buffer"]=n["Node.Buffer"]||{};var t=n["Node.Buffer"],r=n["Node.Buffer"],e=n["Node.Encoding"];t.toString=function(n){return r.toStringImpl(e.encodingToNode(n))}}(n),function(n){"use strict";n["Node.Stream"]=n["Node.Stream"]||{};var t=n["Node.Stream"],r=n["Node.Stream"],e=n["Control.Applicative"],i=n["Control.Bind"],u=n["Data.Either"],o=n["Data.Show"],a=n.Effect,f=n["Effect.Exception"],c=n["Node.Buffer"],l=n["Node.Encoding"],s=r.readChunkImpl(u.Left.create)(u.Right.create),p=function(n){return function(t){return r.onDataEitherImpl(s)(n)(t)}},d=function(n){return function(t){return p(n)(i.composeKleisliFlipped(a.bindEffect)(t)(function(n){if(n instanceof u.Left)return f.throw("Stream encoding should not be set");if(n instanceof u.Right)return e.pure(a.applicativeEffect)(n.value0);throw new Error("Failed pattern match at Node.Stream (line 94, column 5 - line 98, column 17): "+[n.constructor.name])}))}};t.onData=d,t.onDataString=function(n){return function(t){return function(r){return d(n)(i.composeKleisliFlipped(a.bindEffect)(r)(c.toString(t)))}}},t.onDataEither=p,t.writeString=function(n){return function(t){return r.writeStringImpl(n)(o.show(l.showEncoding)(t))}},t.onEnd=r.onEnd}(n),function(n){"use strict";n.ABC127A=n.ABC127A||{};var t=n.ABC127A,r=n["Control.Applicative"],e=n["Control.Bind"],i=n["Control.Category"],u=n["Data.Array"],o=n["Data.Boolean"],a=n["Data.Either"],f=n["Data.EuclideanRing"],c=n["Data.Functor"],l=n["Data.Int"],s=n["Data.Maybe"],p=n["Data.Monoid"],d=n["Data.Show"],h=n["Data.String.Common"],m=n["Data.Tuple"],w=n["Data.Unit"],v=n.Effect,g=n["Effect.Aff"],D=n["Effect.Class"],E=n["Effect.Ref"],C=n["Node.Encoding"],A=n["Node.Process"],y=n["Node.Stream"],_=n["Partial.Unsafe"],b=g.makeAff(function(n){return function(){var t=E.new("")();return y.onDataString(A.stdin)(C.UTF8.value)(function(n){return function(){var r=E.read(t)();return E.write(r+n)(t)()}})(),y.onEnd(A.stdin)(function(){var e=E.read(t)();return n(r.pure(a.applicativeEither)(e))()})(),p.mempty(g.monoidCanceler)}}),S=function(n){var t=u.mapMaybe(l.fromString)(function(n){return h.split(" ")(n)}(n));return 2===t.length?new s.Just(new m.Tuple(t[0],t[1])):s.Nothing.value},F=function(n){return a.either(function(n){return _.unsafeCrashWith(n)})(i.identity(i.categoryFn))(e.bind(a.bindEither)(a.note("a b")(S(h.trim(n))))(function(n){return r.pure(a.applicativeEither)(d.show(d.showInt)((t=n.value0,function(n){if(t>=13)return n;if(t>=6)return f.div(f.euclideanRingInt)(n)(2);if(o.otherwise)return 0;throw new Error("Failed pattern match at ABC127A (line 65, column 1 - line 65, column 28): "+[t.constructor.name,n.constructor.name])})(n.value1))+"\n");var t}))},P=g.launchAff_(e.bind(g.bindAff)(b)(function(n){return e.bind(g.bindAff)(r.pure(g.applicativeAff)(F(n)))(function(n){return D.liftEffect(g.monadEffectAff)((t=n,c.void(v.functorEffect)(y.writeString(A.stdout)(C.UTF8.value)(t)(r.pure(v.applicativeEffect)(w.unit)))));var t})}));t.main=P,t.solve=F}(n),n.ABC127A.main();
},{}]},{},["Focm"], null)