Problem:
Score : 300 points

Problem Statement

You have N bamboos. The lengths (in centimeters) of these are l_1, l_2, ..., l_N, respectively.

Your objective is to use some of these bamboos (possibly all) to obtain three bamboos of length A, B, C. For that, you can use the following three kinds of magics any number:

Extension Magic: Consumes 1 MP (magic point). Choose one bamboo and increase its length by 1.

Shortening Magic: Consumes 1 MP. Choose one bamboo of length at least 2 and decrease its length by 1.

Composition Magic: Consumes 10 MP. Choose two bamboos and combine them into one bamboo. The length of this new bamboo is equal to the sum of the lengths of the two bamboos combined. (Afterwards, further magics can be used on this bamboo.)

At least how much MP is needed to achieve the objective?

Constraints

3 \leq N \leq 8

1 \leq C < B < A \leq 1000

1 \leq l_i \leq 1000

All values in input are integers.

Input

Input is given from Standard Input in the following format:

N A B C
l_1
l_2
:
l_N

Output

Print the minimum amount of MP needed to achieve the objective.

Sample Input 1

5 100 90 80
98
40
30
21
80

Sample Output 1

23

We are obtaining three bamboos of lengths 100, 90, 80 from five bamboos 98, 40, 30, 21, 80. We already have a bamboo of length 80, and we can obtain bamboos of lengths 100, 90 by using the magics as follows at the total cost of 23 MP, which is optimal.

Use Extension Magic twice on the bamboo of length 98 to obtain a bamboo of length 100. (MP consumed: 2)

Use Composition Magic on the bamboos of lengths 40, 30 to obtain a bamboo of length 70. (MP consumed: 10)

Use Shortening Magic once on the bamboo of length 21 to obtain a bamboo of length 20. (MP consumed: 1)

Use Composition Magic on the bamboo of length 70 obtained in step 2 and the bamboo of length 20 obtained in step 3 to obtain a bamboo of length 90. (MP consumed: 10)

Sample Input 2

8 100 90 80
100
100
90
90
90
80
80
80

Sample Output 2

0

If we already have all bamboos of the desired lengths, the amount of MP needed is 0. As seen here, we do not necessarily need to use all the bamboos.

Sample Input 3

8 1000 800 100
300
333
400
444
500
555
600
666

Sample Output 3

243

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["Data.Functor"]=n["Data.Functor"]||{}).arrayMap=function(n){return function(t){for(var a=t.length,r=new Array(a),e=0;e<a;e++)r[e]=n(t[e]);return r}}}(),function(t){"use strict";(n["Data.Eq"]=n["Data.Eq"]||{}).refEq=function(n){return function(t){return n===t}}}(),function(t){"use strict";(n["Data.Unit"]=n["Data.Unit"]||{}).unit={}}(),function(t){"use strict";(n["Data.Show"]=n["Data.Show"]||{}).showIntImpl=function(n){return n.toString()}}(),function(t){"use strict";var a=n["Data.Show"],r=(n["Data.Symbol"],n["Record.Unsafe"],n["Type.Data.RowList"],function(n){this.show=n}),e=new r(a.showIntImpl);t.Show=r,t.show=function(n){return n.show},t.showInt=e}(n["Data.Show"]=n["Data.Show"]||{}),function(t){"use strict";var a=n["Data.Unit"];n["Data.Show"];t.unit=a.unit}(n["Data.Unit"]=n["Data.Unit"]||{}),function(t){"use strict";var a=n["Data.Eq"],r=(n["Data.HeytingAlgebra"],n["Data.Symbol"],n["Data.Unit"],n["Data.Void"],n["Record.Unsafe"],n["Type.Data.RowList"],function(n){this.eq=n}),e=new r(a.refEq);t.Eq=r,t.eq=function(n){return n.eq},t.eqInt=e}(n["Data.Eq"]=n["Data.Eq"]||{}),function(t){"use strict";(n["Data.Ord.Unsafe"]=n["Data.Ord.Unsafe"]||{}).unsafeCompareImpl=function(n){return function(t){return function(a){return function(r){return function(e){return r<e?n:r===e?t:a}}}}}}(),function(t){"use strict";n["Data.Semigroup"],n["Data.Symbol"],n["Data.Unit"],n["Data.Void"],n["Record.Unsafe"],n["Type.Data.RowList"];t.append=function(n){return n.append}}(n["Data.Semigroup"]=n["Data.Semigroup"]||{}),function(t){"use strict";n["Data.Eq"],n["Data.Semigroup"],n["Data.Show"];var a=function(){function n(){}return n.value=new n,n}(),r=function(){function n(){}return n.value=new n,n}(),e=function(){function n(){}return n.value=new n,n}();t.LT=a,t.GT=r,t.EQ=e}(n["Data.Ordering"]=n["Data.Ordering"]||{}),function(t){"use strict";var a=n["Data.Ord.Unsafe"],r=n["Data.Ordering"],e=a.unsafeCompareImpl(r.LT.value)(r.EQ.value)(r.GT.value);t.unsafeCompare=e}(n["Data.Ord.Unsafe"]=n["Data.Ord.Unsafe"]||{}),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(t){"use strict";var a=n["Data.Semiring"],r=(n["Data.Symbol"],n["Data.Unit"],n["Record.Unsafe"],n["Type.Data.Row"],n["Type.Data.RowList"],function(n,t,a,r){this.add=n,this.mul=t,this.one=a,this.zero=r}),e=new r(a.intAdd,a.intMul,1,0);t.Semiring=r,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=e}(n["Data.Semiring"]=n["Data.Semiring"]||{}),function(t){"use strict";var a=n["Data.Ring"],r=n["Data.Semiring"],e=(n["Data.Symbol"],n["Data.Unit"],n["Record.Unsafe"],n["Type.Data.RowList"],function(n,t){this.Semiring0=n,this.sub=t}),o=function(n){return n.sub},i=new e(function(){return r.semiringInt},a.intSub);t.Ring=e,t.sub=o,t.negate=function(n){return function(t){return o(n)(r.zero(n.Semiring0()))(t)}},t.ringInt=i}(n["Data.Ring"]=n["Data.Ring"]||{}),function(t){"use strict";n["Data.Ord"];var a=n["Data.Eq"],r=n["Data.Ord.Unsafe"],e=n["Data.Ordering"],o=n["Data.Ring"],i=n["Data.Semiring"],u=(n["Data.Symbol"],n["Data.Unit"],n["Data.Void"],n["Record.Unsafe"],n["Type.Data.RowList"],function(n,t){this.Eq0=n,this.compare=t}),c=new u(function(){return a.eqInt},r.unsafeCompare),f=function(n){return n.compare},l=function(n){return function(t){return function(a){return!(f(n)(t)(a)instanceof e.LT)}}};t.Ord=u,t.compare=f,t.greaterThanOrEq=l,t.min=function(n){return function(t){return function(a){var r=f(n)(t)(a);if(r instanceof e.LT)return t;if(r instanceof e.EQ)return t;if(r instanceof e.GT)return a;throw new Error("Failed pattern match at Data.Ord (line 119, column 3 - line 122, column 12): "+[r.constructor.name])}}},t.abs=function(n){return function(t){return function(a){return l(n)(a)(i.zero(t.Semiring0()))?a:o.negate(t)(a)}}},t.ordInt=c}(n["Data.Ord"]=n["Data.Ord"]||{}),function(t){"use strict";n["Control.Category"],n["Data.Boolean"],n["Data.Ord"],n["Data.Ring"];t.flip=function(n){return function(t){return function(a){return n(a)(t)}}}}(n["Data.Function"]=n["Data.Function"]||{}),function(t){"use strict";var a=n["Data.Functor"],r=(n["Control.Semigroupoid"],n["Data.Function"],n["Data.Unit"],function(n){this.map=n}),e=new r(a.arrayMap);t.Functor=r,t.map=function(n){return n.map},t.functorArray=e}(n["Data.Functor"]=n["Data.Functor"]||{}),function(t){"use strict";n["Data.Functor"],n["Data.Semigroup"];t.Alt=function(n,t){this.Functor0=n,this.alt=t},t.alt=function(n){return n.alt}}(n["Control.Alt"]=n["Control.Alt"]||{}),function(t){"use strict";(n["Control.Apply"]=n["Control.Apply"]||{}).arrayApply=function(n){return function(t){for(var a=n.length,r=t.length,e=new Array(a*r),o=0,i=0;i<a;i++)for(var u=n[i],c=0;c<r;c++)e[o++]=u(t[c]);return e}}}(),function(t){"use strict";var a=n["Control.Apply"],r=(n["Control.Category"],n["Data.Function"],n["Data.Functor"]),e=function(n,t){this.Functor0=n,this.apply=t},o=new e(function(){return r.functorArray},a.arrayApply);t.Apply=e,t.apply=function(n){return n.apply},t.applyArray=o}(n["Control.Apply"]=n["Control.Apply"]||{}),function(t){"use strict";n["Control.Apply"],n["Data.Functor"],n["Data.Unit"];t.Applicative=function(n,t){this.Apply0=n,this.pure=t},t.pure=function(n){return n.pure}}(n["Control.Applicative"]=n["Control.Applicative"]||{}),function(t){"use strict";(n["Control.Bind"]=n["Control.Bind"]||{}).arrayBind=function(n){return function(t){for(var a=[],r=0,e=n.length;r<e;r++)Array.prototype.push.apply(a,t(n[r]));return a}}}(),function(t){"use strict";var a=n["Control.Bind"],r=(n["Control.Applicative"],n["Control.Apply"]),e=(n["Control.Category"],n["Data.Function"],n["Data.Functor"],n["Data.Unit"],function(n,t){this.Apply0=n,this.bind=t}),o=function(n){this.discard=n},i=new e(function(){return r.applyArray},a.arrayBind),u=function(n){return n.bind},c=new o(function(n){return u(n)});t.Bind=e,t.bind=u,t.Discard=o,t.discard=function(n){return n.discard},t.bindArray=i,t.discardUnit=c}(n["Control.Bind"]=n["Control.Bind"]||{}),function(n){"use strict";n.length=function(n){return n.length},n.indexImpl=function(n){return function(t){return function(a){return function(r){return r<0||r>=a.length?t:n(a[r])}}}},n.slice=function(n){return function(t){return function(a){return a.slice(n,t)}}},n.drop=function(n){return function(t){return n<1?t:t.slice(n)}}}(n["Data.Array"]=n["Data.Array"]||{}),function(n){"use strict";n.foldrArray=function(n){return function(t){return function(a){for(var r=t,e=a.length-1;e>=0;e--)r=n(a[e])(r);return r}}},n.foldlArray=function(n){return function(t){return function(a){for(var r=t,e=a.length,o=0;o<e;o++)r=n(r)(a[o]);return r}}}}(n["Data.Foldable"]=n["Data.Foldable"]||{}),function(t){"use strict";n["Data.Boolean"],n["Data.Eq"],n["Data.EuclideanRing"],n["Data.Ord"],n["Data.Ordering"],n["Data.Semigroup"],n["Data.Symbol"],n["Data.Unit"],n["Record.Unsafe"],n["Type.Data.RowList"];t.mempty=function(n){return n.mempty}}(n["Data.Monoid"]=n["Data.Monoid"]||{}),function(t){"use strict";var a=n["Control.Alt"],r=(n["Control.Alternative"],n["Control.Applicative"],n["Control.Apply"]),e=(n["Control.Bind"],n["Control.Category"],n["Control.Extend"],n["Control.Monad"],n["Control.MonadZero"],n["Control.Plus"],n["Data.Bounded"],n["Data.Eq"],n["Data.Function"],n["Data.Functor"]),o=(n["Data.Functor.Invariant"],n["Data.Monoid"],n["Data.Ord"],n["Data.Ordering"],n["Data.Semigroup"],n["Data.Show"],n["Data.Unit"],n.Prelude,function(){function n(){}return n.value=new n,n}()),i=function(){function n(n){this.value0=n}return n.create=function(t){return new n(t)},n}(),u=new e.Functor(function(n){return function(t){return t instanceof i?new i(n(t.value0)):o.value}}),c=new r.Apply(function(){return u},function(n){return function(t){if(n instanceof i)return e.map(u)(n.value0)(t);if(n instanceof o)return o.value;throw new Error("Failed pattern match at Data.Maybe (line 67, column 1 - line 67, column 35): "+[n.constructor.name,t.constructor.name])}}),f=new a.Alt(function(){return u},function(n){return function(t){return n instanceof o?t:n}});t.Nothing=o,t.Just=i,t.maybe=function(n){return function(t){return function(a){if(a instanceof o)return n;if(a instanceof i)return t(a.value0);throw new Error("Failed pattern match at Data.Maybe (line 217, column 1 - line 217, column 51): "+[n.constructor.name,t.constructor.name,a.constructor.name])}}},t.functorMaybe=u,t.applyMaybe=c,t.altMaybe=f}(n["Data.Maybe"]=n["Data.Maybe"]||{}),function(t){"use strict";var a=n["Data.Foldable"],r=(n["Control.Alt"],n["Control.Applicative"],n["Control.Apply"],n["Control.Bind"],n["Control.Category"],n["Control.Plus"],n["Control.Semigroupoid"],n["Data.Eq"],n["Data.Function"],n["Data.Functor"],n["Data.HeytingAlgebra"],n["Data.Maybe"],n["Data.Maybe.First"],n["Data.Maybe.Last"],n["Data.Monoid"]),e=(n["Data.Monoid.Additive"],n["Data.Monoid.Conj"],n["Data.Monoid.Disj"],n["Data.Monoid.Dual"],n["Data.Monoid.Endo"],n["Data.Monoid.Multiplicative"],n["Data.Newtype"],n["Data.Ord"],n["Data.Ordering"],n["Data.Semigroup"]),o=(n["Data.Semiring"],n["Data.Unit"],n.Prelude,function(n,t,a){this.foldMap=n,this.foldl=t,this.foldr=a}),i=function(n){return n.foldr},u=function(n){return function(t){return function(a){return i(n)(function(n){return function(r){return e.append(t.Semigroup0())(a(n))(r)}})(r.mempty(t))}}},c=new o(function(n){return u(c)(n)},a.foldlArray,a.foldrArray);t.Foldable=o,t.foldr=i,t.foldl=function(n){return n.foldl},t.foldMap=function(n){return n.foldMap},t.foldMapDefaultR=u,t.foldableArray=c}(n["Data.Foldable"]=n["Data.Foldable"]||{}),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(t){"use strict";var a=n.Partial;t.crashWith=a.crashWith}(n.Partial=n.Partial||{}),function(t){"use strict";var a=n["Partial.Unsafe"],r=n.Partial;t.unsafeCrashWith=function(n){return a.unsafePartial(function(t){return r.crashWith(t)(n)})}}(n["Partial.Unsafe"]=n["Partial.Unsafe"]||{}),function(t){"use strict";(n["Unsafe.Coerce"]=n["Unsafe.Coerce"]||{}).unsafeCoerce=function(n){return n}}(),function(t){"use strict";var a=n["Unsafe.Coerce"];t.unsafeCoerce=a.unsafeCoerce}(n["Unsafe.Coerce"]=n["Unsafe.Coerce"]||{}),function(t){"use strict";var a=n["Data.Array"],r=(n["Control.Alt"],n["Control.Alternative"],n["Control.Applicative"],n["Control.Apply"],n["Control.Bind"]),e=(n["Control.Category"],n["Control.Lazy"],n["Control.Monad.Rec.Class"],n["Control.Monad.ST"],n["Control.Monad.ST.Internal"],n["Control.Semigroupoid"],n["Data.Array.NonEmpty.Internal"],n["Data.Array.ST"],n["Data.Array.ST.Iterator"],n["Data.Boolean"],n["Data.Eq"],n["Data.Foldable"],n["Data.Function"]),o=(n["Data.Functor"],n["Data.HeytingAlgebra"],n["Data.Maybe"]),i=(n["Data.Ord"],n["Data.Ordering"],n["Data.Ring"],n["Data.Semigroup"],n["Data.Semiring"],n["Data.Traversable"],n["Data.Tuple"],n["Data.Unfoldable"],n["Partial.Unsafe"],n.Prelude,n["Unsafe.Coerce"],function(n){return[n]}),u=a.indexImpl(o.Just.create)(o.Nothing.value),c=e.flip(r.bind(r.bindArray));t.singleton=i,t.head=function(n){return u(n)(0)},t.index=u,t.concatMap=c,t.mapMaybe=function(n){return c(function(t){return o.maybe([])(i)(n(t))})},t.length=a.length,t.drop=a.drop}(n["Data.Array"]=n["Data.Array"]||{}),function(t){"use strict";n["Control.Alt"];var a=n["Control.Applicative"],r=n["Control.Apply"],e=n["Control.Bind"],o=(n["Control.Extend"],n["Control.Monad"],n["Control.Semigroupoid"],n["Data.Bifoldable"],n["Data.Bifunctor"],n["Data.Bitraversable"],n["Data.Bounded"],n["Data.Eq"],n["Data.Foldable"],n["Data.FoldableWithIndex"],n["Data.Function"],n["Data.Functor"]),i=(n["Data.Functor.Invariant"],n["Data.FunctorWithIndex"],n["Data.Maybe"]),u=(n["Data.Monoid"],n["Data.Ord"],n["Data.Ordering"],n["Data.Semigroup"],n["Data.Show"],n["Data.Traversable"],n["Data.TraversableWithIndex"],n["Data.Unit"],n.Prelude,function(){function n(n){this.value0=n}return n.create=function(t){return new n(t)},n}()),c=function(){function n(n){this.value0=n}return n.create=function(t){return new n(t)},n}(),f=new o.Functor(function(n){return function(t){if(t instanceof u)return new u(t.value0);if(t instanceof c)return new c(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(a){if(a instanceof u)return n(a.value0);if(a instanceof c)return t(a.value0);throw new Error("Failed pattern match at Data.Either (line 238, column 1 - line 238, column 64): "+[n.constructor.name,t.constructor.name,a.constructor.name])}}},s=new r.Apply(function(){return f},function(n){return function(t){if(n instanceof u)return new u(n.value0);if(n instanceof c)return o.map(f)(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])}}),D=new e.Bind(function(){return s},l(function(n){return function(t){return new u(n)}})(function(n){return function(t){return t(n)}})),d=new a.Applicative(function(){return s},c.create);t.Left=u,t.Right=c,t.either=l,t.note=function(n){return i.maybe(new u(n))(c.create)},t.functorEither=f,t.applyEither=s,t.applicativeEither=d,t.bindEither=D}(n["Data.Either"]=n["Data.Either"]||{}),function(t){"use strict";(n["Data.Int"]=n["Data.Int"]||{}).fromStringAsImpl=function(n){return function(t){return function(a){var r;r=a<11?"[0-"+(a-1).toString()+"]":11===a?"[0-9a]":"[0-9a-"+String.fromCharCode(86+a)+"]";var e=new RegExp("^[\\+\\-]?"+r+"+$","i");return function(r){if(e.test(r)){var o=parseInt(r,a);return(0|o)===o?n(o):t}return t}}}}}(),function(t){"use strict";var a=n["Data.Int"],r=(n["Control.Category"],n["Control.Semigroupoid"],n["Data.Boolean"],n["Data.Bounded"],n["Data.CommutativeRing"],n["Data.DivisionRing"],n["Data.Eq"],n["Data.EuclideanRing"],n["Data.HeytingAlgebra"],n["Data.Int.Bits"],n["Data.Maybe"]),e=(n["Data.Ord"],n["Data.Ordering"],n["Data.Ring"],n["Data.Semiring"],n["Data.Show"],n.Global,n.Math,n.Prelude,a.fromStringAsImpl(r.Just.create)(r.Nothing.value)),o=e(10);t.fromString=o,t.fromStringAs=e}(n["Data.Int"]=n["Data.Int"]||{}),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(t){"use strict";var a=n["Data.String.Common"];n["Data.Eq"],n["Data.Ordering"],n["Data.String.Pattern"],n.Prelude;t.split=a.split,t.trim=a.trim}(n["Data.String.Common"]=n["Data.String.Common"]||{}),function(t){"use strict";var a=n["Control.Alt"],r=n["Control.Applicative"],e=n["Control.Apply"],o=n["Control.Bind"],i=n["Data.Array"],u=n["Data.Either"],c=(n["Data.Eq"],n["Data.Foldable"]),f=n["Data.Functor"],l=(n["Data.HeytingAlgebra"],n["Data.Int"]),s=n["Data.Maybe"],D=n["Data.Ord"],d=n["Data.Ring"],p=n["Data.Semiring"],m=n["Data.Show"],g=(n["Data.String"],n["Data.String.Common"]),h=(n["Data.String.Pattern"],n["Data.Unit"]),C=n["Partial.Unsafe"],y=(n.Prelude,function(n){var t=g.split("\n")(g.trim(n));return o.bind(u.bindEither)(u.note("n a b c line")(i.head(t)))(function(n){return o.bind(u.bindEither)(4===(y=i.mapMaybe(l.fromString)(g.split(" ")(n))).length?new u.Right({n:y[0],a:y[1],b:y[2],c:y[3]}):new u.Left("n a b c"))(function(n){var g=i.mapMaybe(l.fromString)(i.drop(1)(t));return o.discard(o.discardUnit)(u.bindEither)(i.length(g)===n.n?r.pure(u.applicativeEither)(h.unit):new u.Left("l lines"))(function(){return r.pure(u.applicativeEither)(m.show(m.showInt)((t=n.a,function(n){return function(r){return function(o){var u=function(l){return function(m){return function(g){return function(h){var C=i.index(o)(l);if(C instanceof s.Nothing)return 0===m||0===g||0===h?s.Nothing.value:new s.Just(((D.abs(D.ordInt)(d.ringInt)(m-t|0)+D.abs(D.ordInt)(d.ringInt)(g-n|0)|0)+D.abs(D.ordInt)(d.ringInt)(h-r|0)|0)-30|0);if(C instanceof s.Just)return c.foldl(c.foldableArray)(function(n){return function(t){return e.apply(s.applyMaybe)(f.map(s.functorMaybe)(D.min(D.ordInt))(a.alt(s.altMaybe)(n)(t)))(a.alt(s.altMaybe)(t)(n))}})(s.Nothing.value)([u(l+1|0)(m)(g)(h),f.map(s.functorMaybe)(p.add(p.semiringInt)(10))(u(l+1|0)(m+C.value0|0)(g)(h)),f.map(s.functorMaybe)(p.add(p.semiringInt)(10))(u(l+1|0)(m)(g+C.value0|0)(h)),f.map(s.functorMaybe)(p.add(p.semiringInt)(10))(u(l+1|0)(m)(g)(h+C.value0|0))]);throw new Error("Failed pattern match at AtCoder.ABC119.C (line 46, column 7 - line 64, column 13): "+[C.constructor.name])}}}},l=u(0)(0)(0)(0);if(l instanceof s.Nothing)return C.unsafeCrashWith("go");if(l instanceof s.Just)return l.value0;throw new Error("Failed pattern match at AtCoder.ABC119.C (line 40, column 3 - line 42, column 16): "+[l.constructor.name])}}})(n.b)(n.c)(g)));var t})});var y})});t.solve=function(n){var t=y(n);if(t instanceof u.Left)return C.unsafeCrashWith(t.value0);if(t instanceof u.Right)return t.value0;throw new Error("Failed pattern match at AtCoder.ABC119.C (line 19, column 3 - line 21, column 17): "+[t.constructor.name])}}(n["AtCoder.ABC119.C"]=n["AtCoder.ABC119.C"]||{}),function(t){"use strict";(n["Effect.Console"]=n["Effect.Console"]||{}).log=function(n){return function(){return console.log(n),{}}}}(),function(t){"use strict";var a=n["Effect.Console"];n["Data.Show"],n["Data.Unit"],n.Effect;t.log=a.log}(n["Effect.Console"]=n["Effect.Console"]||{}),function(t){"use strict";n["Node.Encoding"];var a=n["Data.Show"],r=(n.Prelude,function(){function n(){}return n.value=new n,n}()),e=function(){function n(){}return n.value=new n,n}(),o=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}(),c=function(){function n(){}return n.value=new n,n}(),f=function(){function n(){}return n.value=new n,n}(),l=function(){function n(){}return n.value=new n,n}(),s=new a.Show(function(n){if(n instanceof r)return"ASCII";if(n instanceof e)return"UTF8";if(n instanceof o)return"UTF16LE";if(n instanceof i)return"UCS2";if(n instanceof u)return"Base64";if(n instanceof c)return"Latin1";if(n instanceof f)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=r,t.UTF8=e,t.UTF16LE=o,t.UCS2=i,t.Base64=u,t.Latin1=c,t.Binary=f,t.Hex=l,t.showEncoding=s}(n["Node.Encoding"]=n["Node.Encoding"]||{}),function(t){"use strict";(n["Node.FS.Internal"]=n["Node.FS.Internal"]||{}).unsafeRequireFS=require("fs")}(),function(t){"use strict";var a=n["Node.FS.Internal"],r=(n.Effect,n.Prelude,n["Unsafe.Coerce"].unsafeCoerce);t.mkEffect=r,t.unsafeRequireFS=a.unsafeRequireFS}(n["Node.FS.Internal"]=n["Node.FS.Internal"]||{}),function(t){"use strict";n["Control.Bind"],n["Control.Semigroupoid"],n["Data.DateTime"],n["Data.DateTime.Instant"],n["Data.EuclideanRing"],n["Data.Function"],n["Data.Function.Uncurried"],n["Data.Functor"],n["Data.Int"],n["Data.Maybe"],n["Data.Nullable"];var a=n["Data.Show"],r=(n["Data.Time.Duration"],n.Effect,n["Node.Buffer"],n["Node.Encoding"]),e=(n["Node.FS"],n["Node.FS.Internal"]),o=(n["Node.FS.Perms"],n["Node.FS.Stats"],n["Node.Path"],n.Prelude,e.unsafeRequireFS);t.readTextFile=function(n){return function(t){return e.mkEffect(function(e){return o.readFileSync(t,{encoding:a.show(r.showEncoding)(n)})})}}}(n["Node.FS.Sync"]=n["Node.FS.Sync"]||{}),function(t){"use strict";var a=n["AtCoder.ABC119.C"],r=(n["Control.Applicative"],n["Control.Bind"],n.Effect,n["Effect.Console"]),e=n["Node.Encoding"],o=n["Node.FS.Sync"];n.Prelude;t.main=function(){var n=o.readTextFile(e.UTF8.value)("/dev/stdin")(),t=a.solve(n);return r.log(t)()}}(n.Main=n.Main||{}),n.Main.main();
},{}]},{},["Focm"], null)