var PS={};(function(exports){"use strict";var Semigroupoid=function(compose){this.compose=compose};var semigroupoidFn=new Semigroupoid(function(f){return function(g){return function(x){return f(g(x))}}});var compose=function(dict){return dict.compose};exports["compose"]=compose;exports["Semigroupoid"]=Semigroupoid;exports["semigroupoidFn"]=semigroupoidFn})(PS["Control.Semigroupoid"]=PS["Control.Semigroupoid"]||{});(function(exports){"use strict";var Control_Semigroupoid=PS["Control.Semigroupoid"];var Category=function(Semigroupoid0,identity){this.Semigroupoid0=Semigroupoid0;this.identity=identity};var identity=function(dict){return dict.identity};var categoryFn=new Category(function(){return Control_Semigroupoid.semigroupoidFn},function(x){return x});exports["Category"]=Category;exports["identity"]=identity;exports["categoryFn"]=categoryFn})(PS["Control.Category"]=PS["Control.Category"]||{});(function(exports){"use strict";exports.arrayMap=function(f){return function(arr){var l=arr.length;var result=new Array(l);for(var i=0;i<l;i++){result[i]=f(arr[i])}return result}}})(PS["Data.Functor"]=PS["Data.Functor"]||{});(function(exports){"use strict";var $foreign=PS["Data.Functor"];var Control_Semigroupoid=PS["Control.Semigroupoid"];var Data_Function=PS["Data.Function"];var Data_Unit=PS["Data.Unit"];var Functor=function(map){this.map=map};var map=function(dict){return dict.map};var functorArray=new Functor($foreign.arrayMap);exports["Functor"]=Functor;exports["map"]=map;exports["functorArray"]=functorArray})(PS["Data.Functor"]=PS["Data.Functor"]||{});(function(exports){"use strict";var $foreign=PS["Control.Apply"];var Control_Category=PS["Control.Category"];var Data_Function=PS["Data.Function"];var Data_Functor=PS["Data.Functor"];var Apply=function(Functor0,apply){this.Functor0=Functor0;this.apply=apply};var apply=function(dict){return dict.apply};exports["Apply"]=Apply;exports["apply"]=apply})(PS["Control.Apply"]=PS["Control.Apply"]||{});(function(exports){"use strict";var Control_Apply=PS["Control.Apply"];var Data_Functor=PS["Data.Functor"];var Data_Unit=PS["Data.Unit"];var Applicative=function(Apply0,pure){this.Apply0=Apply0;this.pure=pure};var pure=function(dict){return dict.pure};exports["Applicative"]=Applicative;exports["pure"]=pure})(PS["Control.Applicative"]=PS["Control.Applicative"]||{});(function(exports){"use strict";var $foreign=PS["Control.Bind"];var Control_Applicative=PS["Control.Applicative"];var Control_Apply=PS["Control.Apply"];var Control_Category=PS["Control.Category"];var Data_Function=PS["Data.Function"];var Data_Functor=PS["Data.Functor"];var Data_Unit=PS["Data.Unit"];var Bind=function(Apply0,bind){this.Apply0=Apply0;this.bind=bind};var bind=function(dict){return dict.bind};exports["Bind"]=Bind;exports["bind"]=bind})(PS["Control.Bind"]=PS["Control.Bind"]||{});(function(exports){"use strict";exports.foldrArray=function(f){return function(init){return function(xs){var acc=init;var len=xs.length;for(var i=len-1;i>=0;i--){acc=f(xs[i])(acc)}return acc}}};exports.foldlArray=function(f){return function(init){return function(xs){var acc=init;var len=xs.length;for(var i=0;i<len;i++){acc=f(acc)(xs[i])}return acc}}}})(PS["Data.Foldable"]=PS["Data.Foldable"]||{});(function(exports){"use strict";var $foreign=PS["Data.Semigroup"];var Data_Symbol=PS["Data.Symbol"];var Data_Unit=PS["Data.Unit"];var Data_Void=PS["Data.Void"];var Record_Unsafe=PS["Record.Unsafe"];var Type_Data_RowList=PS["Type.Data.RowList"];var append=function(dict){return dict.append};exports["append"]=append})(PS["Data.Semigroup"]=PS["Data.Semigroup"]||{});(function(exports){"use strict";var Data_Boolean=PS["Data.Boolean"];var Data_Eq=PS["Data.Eq"];var Data_EuclideanRing=PS["Data.EuclideanRing"];var Data_Ord=PS["Data.Ord"];var Data_Ordering=PS["Data.Ordering"];var Data_Semigroup=PS["Data.Semigroup"];var Data_Symbol=PS["Data.Symbol"];var Data_Unit=PS["Data.Unit"];var Record_Unsafe=PS["Record.Unsafe"];var Type_Data_RowList=PS["Type.Data.RowList"];var mempty=function(dict){return dict.mempty};exports["mempty"]=mempty})(PS["Data.Monoid"]=PS["Data.Monoid"]||{});(function(exports){"use strict";exports.showIntImpl=function(n){return n.toString()}})(PS["Data.Show"]=PS["Data.Show"]||{});(function(exports){"use strict";var $foreign=PS["Data.Show"];var Data_Symbol=PS["Data.Symbol"];var Record_Unsafe=PS["Record.Unsafe"];var Type_Data_RowList=PS["Type.Data.RowList"];var Show=function(show){this.show=show};var showInt=new Show($foreign.showIntImpl);var show=function(dict){return dict.show};exports["Show"]=Show;exports["show"]=show;exports["showInt"]=showInt})(PS["Data.Show"]=PS["Data.Show"]||{});(function(exports){"use strict";var Control_Alt=PS["Control.Alt"];var Control_Alternative=PS["Control.Alternative"];var Control_Applicative=PS["Control.Applicative"];var Control_Apply=PS["Control.Apply"];var Control_Bind=PS["Control.Bind"];var Control_Category=PS["Control.Category"];var Control_Extend=PS["Control.Extend"];var Control_Monad=PS["Control.Monad"];var Control_MonadZero=PS["Control.MonadZero"];var Control_Plus=PS["Control.Plus"];var Data_Bounded=PS["Data.Bounded"];var Data_Eq=PS["Data.Eq"];var Data_Function=PS["Data.Function"];var Data_Functor=PS["Data.Functor"];var Data_Functor_Invariant=PS["Data.Functor.Invariant"];var Data_Monoid=PS["Data.Monoid"];var Data_Ord=PS["Data.Ord"];var Data_Ordering=PS["Data.Ordering"];var Data_Semigroup=PS["Data.Semigroup"];var Data_Show=PS["Data.Show"];var Data_Unit=PS["Data.Unit"];var Prelude=PS["Prelude"];var Nothing=function(){function Nothing(){}Nothing.value=new Nothing;return Nothing}();var Just=function(){function Just(value0){this.value0=value0}Just.create=function(value0){return new Just(value0)};return Just}();var maybe=function(v){return function(v1){return function(v2){if(v2 instanceof Nothing){return v}if(v2 instanceof Just){return v1(v2.value0)}throw new Error("Failed pattern match at Data.Maybe (line 217, column 1 - line 217, column 51): "+[v.constructor.name,v1.constructor.name,v2.constructor.name])}}};exports["Nothing"]=Nothing;exports["Just"]=Just;exports["maybe"]=maybe})(PS["Data.Maybe"]=PS["Data.Maybe"]||{});(function(exports){"use strict";var $foreign=PS["Data.Foldable"];var Control_Alt=PS["Control.Alt"];var Control_Applicative=PS["Control.Applicative"];var Control_Apply=PS["Control.Apply"];var Control_Bind=PS["Control.Bind"];var Control_Category=PS["Control.Category"];var Control_Plus=PS["Control.Plus"];var Control_Semigroupoid=PS["Control.Semigroupoid"];var Data_Eq=PS["Data.Eq"];var Data_Function=PS["Data.Function"];var Data_Functor=PS["Data.Functor"];var Data_HeytingAlgebra=PS["Data.HeytingAlgebra"];var Data_Maybe=PS["Data.Maybe"];var Data_Maybe_First=PS["Data.Maybe.First"];var Data_Maybe_Last=PS["Data.Maybe.Last"];var Data_Monoid=PS["Data.Monoid"];var Data_Monoid_Additive=PS["Data.Monoid.Additive"];var Data_Monoid_Conj=PS["Data.Monoid.Conj"];var Data_Monoid_Disj=PS["Data.Monoid.Disj"];var Data_Monoid_Dual=PS["Data.Monoid.Dual"];var Data_Monoid_Endo=PS["Data.Monoid.Endo"];var Data_Monoid_Multiplicative=PS["Data.Monoid.Multiplicative"];var Data_Newtype=PS["Data.Newtype"];var Data_Ord=PS["Data.Ord"];var Data_Ordering=PS["Data.Ordering"];var Data_Semigroup=PS["Data.Semigroup"];var Data_Semiring=PS["Data.Semiring"];var Data_Unit=PS["Data.Unit"];var Prelude=PS["Prelude"];var Foldable=function(foldMap,foldl,foldr){this.foldMap=foldMap;this.foldl=foldl;this.foldr=foldr};var foldr=function(dict){return dict.foldr};var foldl=function(dict){return dict.foldl};var foldMapDefaultR=function(dictFoldable){return function(dictMonoid){return function(f){return foldr(dictFoldable)(function(x){return function(acc){return Data_Semigroup.append(dictMonoid.Semigroup0())(f(x))(acc)}})(Data_Monoid.mempty(dictMonoid))}}};var foldableArray=new Foldable(function(dictMonoid){return foldMapDefaultR(foldableArray)(dictMonoid)},$foreign.foldlArray,$foreign.foldrArray);var foldMap=function(dict){return dict.foldMap};exports["Foldable"]=Foldable;exports["foldr"]=foldr;exports["foldl"]=foldl;exports["foldMap"]=foldMap;exports["foldMapDefaultR"]=foldMapDefaultR;exports["foldableArray"]=foldableArray})(PS["Data.Foldable"]=PS["Data.Foldable"]||{});(function(exports){"use strict";exports.traverseArrayImpl=function(){function array1(a){return[a]}function array2(a){return function(b){return[a,b]}}function array3(a){return function(b){return function(c){return[a,b,c]}}}function concat2(xs){return function(ys){return xs.concat(ys)}}return function(apply){return function(map){return function(pure){return function(f){return function(array){function go(bot,top){switch(top-bot){case 0:return pure([]);case 1:return map(array1)(f(array[bot]));case 2:return apply(map(array2)(f(array[bot])))(f(array[bot+1]));case 3:return apply(apply(map(array3)(f(array[bot])))(f(array[bot+1])))(f(array[bot+2]));default:var pivot=bot+Math.floor((top-bot)/4)*2;return apply(map(concat2)(go(bot,pivot)))(go(pivot,top))}}return go(0,array.length)}}}}}}()})(PS["Data.Traversable"]=PS["Data.Traversable"]||{});(function(exports){"use strict";var $foreign=PS["Data.Traversable"];var Control_Applicative=PS["Control.Applicative"];var Control_Apply=PS["Control.Apply"];var Control_Category=PS["Control.Category"];var Data_Foldable=PS["Data.Foldable"];var Data_Functor=PS["Data.Functor"];var Data_Maybe=PS["Data.Maybe"];var Data_Maybe_First=PS["Data.Maybe.First"];var Data_Maybe_Last=PS["Data.Maybe.Last"];var Data_Monoid_Additive=PS["Data.Monoid.Additive"];var Data_Monoid_Conj=PS["Data.Monoid.Conj"];var Data_Monoid_Disj=PS["Data.Monoid.Disj"];var Data_Monoid_Dual=PS["Data.Monoid.Dual"];var Data_Monoid_Multiplicative=PS["Data.Monoid.Multiplicative"];var Data_Traversable_Accum=PS["Data.Traversable.Accum"];var Data_Traversable_Accum_Internal=PS["Data.Traversable.Accum.Internal"];var Prelude=PS["Prelude"];var Traversable=function(Foldable1,Functor0,sequence,traverse){this.Foldable1=Foldable1;this.Functor0=Functor0;this.sequence=sequence;this.traverse=traverse};var traverse=function(dict){return dict.traverse};var sequenceDefault=function(dictTraversable){return function(dictApplicative){return traverse(dictTraversable)(dictApplicative)(Control_Category.identity(Control_Category.categoryFn))}};var traversableArray=new Traversable(function(){return Data_Foldable.foldableArray},function(){return Data_Functor.functorArray},function(dictApplicative){return sequenceDefault(traversableArray)(dictApplicative)},function(dictApplicative){return $foreign.traverseArrayImpl(Control_Apply.apply(dictApplicative.Apply0()))(Data_Functor.map(dictApplicative.Apply0().Functor0()))(Control_Applicative.pure(dictApplicative))});var sequence=function(dict){return dict.sequence};exports["Traversable"]=Traversable;exports["traverse"]=traverse;exports["sequence"]=sequence;exports["sequenceDefault"]=sequenceDefault;exports["traversableArray"]=traversableArray})(PS["Data.Traversable"]=PS["Data.Traversable"]||{});(function(exports){"use strict";var Control_Alt=PS["Control.Alt"];var Control_Applicative=PS["Control.Applicative"];var Control_Apply=PS["Control.Apply"];var Control_Bind=PS["Control.Bind"];var Control_Extend=PS["Control.Extend"];var Control_Monad=PS["Control.Monad"];var Control_Semigroupoid=PS["Control.Semigroupoid"];var Data_Bifoldable=PS["Data.Bifoldable"];var Data_Bifunctor=PS["Data.Bifunctor"];var Data_Bitraversable=PS["Data.Bitraversable"];var Data_Bounded=PS["Data.Bounded"];var Data_Eq=PS["Data.Eq"];var Data_Foldable=PS["Data.Foldable"];var Data_FoldableWithIndex=PS["Data.FoldableWithIndex"];var Data_Function=PS["Data.Function"];var Data_Functor=PS["Data.Functor"];var Data_Functor_Invariant=PS["Data.Functor.Invariant"];var Data_FunctorWithIndex=PS["Data.FunctorWithIndex"];var Data_Maybe=PS["Data.Maybe"];var Data_Monoid=PS["Data.Monoid"];var Data_Ord=PS["Data.Ord"];var Data_Ordering=PS["Data.Ordering"];var Data_Semigroup=PS["Data.Semigroup"];var Data_Show=PS["Data.Show"];var Data_Traversable=PS["Data.Traversable"];var Data_TraversableWithIndex=PS["Data.TraversableWithIndex"];var Data_Unit=PS["Data.Unit"];var Prelude=PS["Prelude"];var Left=function(){function Left(value0){this.value0=value0}Left.create=function(value0){return new Left(value0)};return Left}();var Right=function(){function Right(value0){this.value0=value0}Right.create=function(value0){return new Right(value0)};return Right}();var note=function(a){return Data_Maybe.maybe(new Left(a))(Right.create)};var functorEither=new Data_Functor.Functor(function(f){return function(m){if(m instanceof Left){return new Left(m.value0)}if(m instanceof Right){return new Right(f(m.value0))}throw new Error("Failed pattern match at Data.Either (line 38, column 8 - line 38, column 52): "+[m.constructor.name])}});var fromRight=function(dictPartial){return function(v){if(v instanceof Right){return v.value0}throw new Error("Failed pattern match at Data.Either (line 261, column 1 - line 261, column 52): "+[v.constructor.name])}};var either=function(v){return function(v1){return function(v2){if(v2 instanceof Left){return v(v2.value0)}if(v2 instanceof Right){return v1(v2.value0)}throw new Error("Failed pattern match at Data.Either (line 238, column 1 - line 238, column 64): "+[v.constructor.name,v1.constructor.name,v2.constructor.name])}}};var applyEither=new Control_Apply.Apply(function(){return functorEither},function(v){return function(v1){if(v instanceof Left){return new Left(v.value0)}if(v instanceof Right){return Data_Functor.map(functorEither)(v.value0)(v1)}throw new Error("Failed pattern match at Data.Either (line 82, column 1 - line 82, column 41): "+[v.constructor.name,v1.constructor.name])}});var bindEither=new Control_Bind.Bind(function(){return applyEither},either(function(e){return function(v){return new Left(e)}})(function(a){return function(f){return f(a)}}));var applicativeEither=new Control_Applicative.Applicative(function(){return applyEither},Right.create);exports["Left"]=Left;exports["Right"]=Right;exports["either"]=either;exports["fromRight"]=fromRight;exports["note"]=note;exports["functorEither"]=functorEither;exports["applyEither"]=applyEither;exports["applicativeEither"]=applicativeEither;exports["bindEither"]=bindEither})(PS["Data.Either"]=PS["Data.Either"]||{});(function(exports){"use strict";exports.fromStringAsImpl=function(just){return function(nothing){return function(radix){var digits;if(radix<11){digits="[0-"+(radix-1).toString()+"]"}else if(radix===11){digits="[0-9a]"}else{digits="[0-9a-"+String.fromCharCode(86+radix)+"]"}var pattern=new RegExp("^[\\+\\-]?"+digits+"+$","i");return function(s){if(pattern.test(s)){var i=parseInt(s,radix);return(i|0)===i?just(i):nothing}else{return nothing}}}}}})(PS["Data.Int"]=PS["Data.Int"]||{});(function(exports){"use strict";var $foreign=PS["Data.Int"];var Control_Category=PS["Control.Category"];var Control_Semigroupoid=PS["Control.Semigroupoid"];var Data_Boolean=PS["Data.Boolean"];var Data_Bounded=PS["Data.Bounded"];var Data_CommutativeRing=PS["Data.CommutativeRing"];var Data_DivisionRing=PS["Data.DivisionRing"];var Data_Eq=PS["Data.Eq"];var Data_EuclideanRing=PS["Data.EuclideanRing"];var Data_HeytingAlgebra=PS["Data.HeytingAlgebra"];var Data_Int_Bits=PS["Data.Int.Bits"];var Data_Maybe=PS["Data.Maybe"];var Data_Ord=PS["Data.Ord"];var Data_Ordering=PS["Data.Ordering"];var Data_Ring=PS["Data.Ring"];var Data_Semiring=PS["Data.Semiring"];var Data_Show=PS["Data.Show"];var Global=PS["Global"];var $$Math=PS["Math"];var Prelude=PS["Prelude"];var fromStringAs=$foreign.fromStringAsImpl(Data_Maybe.Just.create)(Data_Maybe.Nothing.value);var fromString=fromStringAs(10);exports["fromString"]=fromString;exports["fromStringAs"]=fromStringAs})(PS["Data.Int"]=PS["Data.Int"]||{});(function(exports){"use strict";exports.split=function(sep){return function(s){return s.split(sep)}};exports.trim=function(s){return s.trim()}})(PS["Data.String.Common"]=PS["Data.String.Common"]||{});(function(exports){"use strict";var $foreign=PS["Data.String.Common"];var Data_Eq=PS["Data.Eq"];var Data_Ordering=PS["Data.Ordering"];var Data_String_Pattern=PS["Data.String.Pattern"];var Prelude=PS["Prelude"];exports["split"]=$foreign.split;exports["trim"]=$foreign.trim})(PS["Data.String.Common"]=PS["Data.String.Common"]||{});(function(exports){"use strict";var Control_Applicative=PS["Control.Applicative"];var Control_Bind=PS["Control.Bind"];var Data_Either=PS["Data.Either"];var Data_Int=PS["Data.Int"];var Data_Ring=PS["Data.Ring"];var Data_Semiring=PS["Data.Semiring"];var Data_Show=PS["Data.Show"];var Data_String=PS["Data.String"];var Data_String_Common=PS["Data.String.Common"];var Data_String_Pattern=PS["Data.String.Pattern"];var Data_Traversable=PS["Data.Traversable"];var Partial_Unsafe=PS["Partial.Unsafe"];var Prelude=PS["Prelude"];var solve$prime$prime=function(v){return function(v1){return(v.h-v1.h|0)*(v.w-v1.w|0)|0}};var solve$prime=function(input){return Control_Bind.bind(Data_Either.bindEither)(Data_Traversable.traverse(Data_Traversable.traversableArray)(Data_Either.applicativeEither)(function(line){var v=Data_String_Common.split(" ")(line);if(v.length===2){return Control_Bind.bind(Data_Either.bindEither)(Data_Either.note("h")(Data_Int.fromString(v[0])))(function(v1){return Control_Bind.bind(Data_Either.bindEither)(Data_Either.note("w")(Data_Int.fromString(v[1])))(function(v2){return Control_Applicative.pure(Data_Either.applicativeEither)({h:v1,w:v2})})})}return new Data_Either.Left("invalid line")})(Data_String_Common.split("\n")(Data_String_Common.trim(input))))(function(v){return Control_Bind.bind(Data_Either.bindEither)(function(){if(v.length===2){return new Data_Either.Right({hw:v[0],"hw'":v[1]})}return new Data_Either.Left("invalid lines")}())(function(v1){return Control_Applicative.pure(Data_Either.applicativeEither)(Data_Show.show(Data_Show.showInt)(solve$prime$prime(v1.hw)(v1["hw'"])))})})};var solve=function(input){return Data_Either.fromRight()(solve$prime(input))};exports["solve"]=solve})(PS["AtCoder.ABC121.A"]=PS["AtCoder.ABC121.A"]||{});(function(exports){"use strict";exports.log=function(s){return function(){console.log(s);return{}}}})(PS["Effect.Console"]=PS["Effect.Console"]||{});(function(exports){"use strict";var $foreign=PS["Effect.Console"];var Data_Show=PS["Data.Show"];var Data_Unit=PS["Data.Unit"];var Effect=PS["Effect"];exports["log"]=$foreign.log})(PS["Effect.Console"]=PS["Effect.Console"]||{});(function(exports){"use strict";var $foreign=PS["Node.Encoding"];var Data_Show=PS["Data.Show"];var Prelude=PS["Prelude"];var ASCII=function(){function ASCII(){}ASCII.value=new ASCII;return ASCII}();var UTF8=function(){function UTF8(){}UTF8.value=new UTF8;return UTF8}();var UTF16LE=function(){function UTF16LE(){}UTF16LE.value=new UTF16LE;return UTF16LE}();var UCS2=function(){function UCS2(){}UCS2.value=new UCS2;return UCS2}();var Base64=function(){function Base64(){}Base64.value=new Base64;return Base64}();var Latin1=function(){function Latin1(){}Latin1.value=new Latin1;return Latin1}();var Binary=function(){function Binary(){}Binary.value=new Binary;return Binary}();var Hex=function(){function Hex(){}Hex.value=new Hex;return Hex}();var showEncoding=new Data_Show.Show(function(v){if(v instanceof ASCII){return"ASCII"}if(v instanceof UTF8){return"UTF8"}if(v instanceof UTF16LE){return"UTF16LE"}if(v instanceof UCS2){return"UCS2"}if(v instanceof Base64){return"Base64"}if(v instanceof Latin1){return"Latin1"}if(v instanceof Binary){return"Binary"}if(v instanceof Hex){return"Hex"}throw new Error("Failed pattern match at Node.Encoding (line 19, column 1 - line 19, column 39): "+[v.constructor.name])});exports["ASCII"]=ASCII;exports["UTF8"]=UTF8;exports["UTF16LE"]=UTF16LE;exports["UCS2"]=UCS2;exports["Base64"]=Base64;exports["Latin1"]=Latin1;exports["Binary"]=Binary;exports["Hex"]=Hex;exports["showEncoding"]=showEncoding})(PS["Node.Encoding"]=PS["Node.Encoding"]||{});(function(exports){"use strict";exports.unsafeRequireFS=require("fs")})(PS["Node.FS.Internal"]=PS["Node.FS.Internal"]||{});(function(exports){"use strict";exports.unsafeCoerce=function(x){return x}})(PS["Unsafe.Coerce"]=PS["Unsafe.Coerce"]||{});(function(exports){"use strict";var $foreign=PS["Unsafe.Coerce"];exports["unsafeCoerce"]=$foreign.unsafeCoerce})(PS["Unsafe.Coerce"]=PS["Unsafe.Coerce"]||{});(function(exports){"use strict";var $foreign=PS["Node.FS.Internal"];var Effect=PS["Effect"];var Prelude=PS["Prelude"];var Unsafe_Coerce=PS["Unsafe.Coerce"];var mkEffect=Unsafe_Coerce.unsafeCoerce;exports["mkEffect"]=mkEffect;exports["unsafeRequireFS"]=$foreign.unsafeRequireFS})(PS["Node.FS.Internal"]=PS["Node.FS.Internal"]||{});(function(exports){"use strict";var Control_Bind=PS["Control.Bind"];var Control_Semigroupoid=PS["Control.Semigroupoid"];var Data_DateTime=PS["Data.DateTime"];var Data_DateTime_Instant=PS["Data.DateTime.Instant"];var Data_EuclideanRing=PS["Data.EuclideanRing"];var Data_Function=PS["Data.Function"];var Data_Function_Uncurried=PS["Data.Function.Uncurried"];var Data_Functor=PS["Data.Functor"];var Data_Int=PS["Data.Int"];var Data_Maybe=PS["Data.Maybe"];var Data_Nullable=PS["Data.Nullable"];var Data_Show=PS["Data.Show"];var Data_Time_Duration=PS["Data.Time.Duration"];var Effect=PS["Effect"];var Node_Buffer=PS["Node.Buffer"];var Node_Encoding=PS["Node.Encoding"];var Node_FS=PS["Node.FS"];var Node_FS_Internal=PS["Node.FS.Internal"];var Node_FS_Perms=PS["Node.FS.Perms"];var Node_FS_Stats=PS["Node.FS.Stats"];var Node_Path=PS["Node.Path"];var Prelude=PS["Prelude"];var fs=Node_FS_Internal.unsafeRequireFS;var readTextFile=function(encoding){return function(file){return Node_FS_Internal.mkEffect(function(v){return fs.readFileSync(file,{encoding:Data_Show.show(Node_Encoding.showEncoding)(encoding)})})}};exports["readTextFile"]=readTextFile})(PS["Node.FS.Sync"]=PS["Node.FS.Sync"]||{});(function(exports){"use strict";var AtCoder_ABC121_A=PS["AtCoder.ABC121.A"];var Control_Applicative=PS["Control.Applicative"];var Control_Bind=PS["Control.Bind"];var Effect=PS["Effect"];var Effect_Console=PS["Effect.Console"];var Node_Encoding=PS["Node.Encoding"];var Node_FS_Sync=PS["Node.FS.Sync"];var Prelude=PS["Prelude"];var solve=AtCoder_ABC121_A.solve;var main=function __do(){var v=Node_FS_Sync.readTextFile(Node_Encoding.UTF8.value)("/dev/stdin")();var v1=solve(v);return Effect_Console.log(v1)()};exports["main"]=main})(PS["Main"]=PS["Main"]||{});PS["Main"].main();