maxcsp-ehi-85-297-7107132026601500939418318530936611842302314951531548969716811260271272123155310321159818102103169211041052618612615916026127329106131170134174321101112022323728441112205236471131256133116341672502874084719871021195319627738193673851361137754658659114761508543587531901970198119982009658722160316232005201617221747205415921613176017755495941515156516601695195619664024631491150415371556136413814114752061405467139614544154785316185406261087114010041039191819245729118961906976101110911121105310674194816447081178119914731494151915681974198412591335115812031704173016061627117512101162118817881798138177189919101781179142348460193129313181949195919913713886947561232124920824017181744427487655718148314981879189021224333134915411559141014626419616381675668733204120502026682747983101868295136713856727361235125353458211011128110411471262133915451562178417951297132143049155259821624677682311811214139914581480151112281246104610601938194517081733711163753913343537668151533155387195543349579484379884611101155537622436499439503201944250769075378082670276210491064203320441487150116641698181218263793941893190269875922024912661342907964166817011402143476984013011324640705164216781679180918221428145020362048204922325314131440191419219109681712173615961616742995716309019411421611610163099110245566015756336617261830184116001619904945686750528614264277886931559605152315711582158914161444109411257838301269134618541864676739200120136487113383561074113213701389127313491184121834235910771114802849165716911276135389096122725666473078199180218152068314324193519419941028446510197719888949347878333463624495148759241883864952157815866527141081111714061437453517137413927908378068521286131115301549152715749139721057107011071151187217531768164716801172119519285636081651168317261750879927809856267281176417781834184418511860142014473823988230214311469997103212791357457520916949812860980101418571868128913156797438979381305132712821308108411365786371221123918061818116912061424146610071043100010361098114386892016541687317328145165882958566612613175717711715174086305116511928912014918018371848460524122512421