15#{{13,3687},{13,3874},{14,4061},{14,4248},{15,4435},{15,4622},{14,4809},{14,4996},{13,5183},{13,5370},{10,5557},{10,5744},{8,5931},{8,6118},{6,6305},{6,6492},{12,6679},{12,6866},{11,7053},{11,7240},{10,7427},{11,7614},{12,7801},{11,7988},{11,9300},{11,9487},{12,9674},{12,9861},{13,10048},{13,10235},{14,10422},{14,10609},{12,10796},{12,10983},{9,11170},{9,11357},{11,11544},{11,11731},{10,11918},{10,12105},{9,12292},{10,12479},{11,12666},{10,12853},{10,13603},{10,14728},{6,15103},{8,15290},{10,15477},{9,15664},{10,15851},{6,16226},{8,16413},{10,16600},{9,16787},{10,16974},{6,17349},{8,17536},{11,17723},{10,17910},{11,18097},{6,18472},{8,18659},{11,18846},{10,19033},{11,19220},{11,19595},{10,19782},{11,19969},{11,20156},{12,20343},{12,20718},{13,20905},{12,21092},{13,21279},{10,21466},{10,22591},{6,22966},{8,23153},{10,23340},{9,23527},{10,23714},{6,24089},{8,24276},{10,24463},{9,24650},{10,24837},{6,25212},{8,25399},{11,25586},{10,25773},{11,25960},{6,26335},{8,26522},{11,26709},{10,26896},{11,27083},{11,27458},{10,27645},{11,27832},{11,28019},{12,28206},{12,28581},{13,28768},{12,28955},{13,29142},{10,29329},{15,30454},{10,31016},{10,31203},{11,31390},{11,31577},{9,32139},{14,32326},{13,32513},{14,32700},{9,33262},{9,33449},{10,33636},{10,33823},{8,34198},{8,34385},{13,34572},{12,34759},{13,34946},{8,35508},{8,35695},{9,35882},{9,36069},{7,36631},{10,36818},{9,37005},{10,37192},{15,38317},{15,38879},{15,39066},{9,39253},{9,39440},{15,40002},{14,40189},{13,40376},{12,40563},{12,41125},{13,41312},{12,41499},{10,41686},{15,42811},{15,43186},{15,43373},{15,43560},{9,43747},{9,43934},{15,44496},{14,44683},{13,44870},{12,45057},{12,45619},{13,45806},{12,45993},{13,46180},{8,47305},{15,47305},{8,47680},{15,47680},{8,47867},{15,47867},{8,48054},{15,48054},{9,48241},{9,48428},{8,48990},{15,48990},{7,49177},{14,49177},{6,49364},{13,49364},{5,49551},{12,49551},{5,50113},{12,50113},{6,50300},{13,50300},{5,50487},{12,50487},{3,50674},{10,50674},{8,51799},{15,51799},{8,52174},{15,52174},{8,52361},{15,52361},{8,52548},{15,52548},{9,52735},{9,52922},{8,53484},{15,53484},{7,53671},{14,53671},{6,53858},{13,53858},{5,54045},{12,54045},{5,54607},{12,54607},{6,54794},{13,54794},{5,54981},{12,54981},{6,55168},{13,55168},{10,57418},{6,57793},{8,57980},{10,58167},{9,58354},{10,58541},{6,58916},{8,59103},{10,59290},{9,59477},{10,59664},{6,60039},{8,60226},{11,60413},{10,60600},{11,60787},{6,61162},{8,61349},{11,61536},{10,61723},{11,61910},{11,62285},{10,62472},{11,62659},{11,62846},{12,63033},{12,63408},{13,63595},{12,63782},{13,63969},{10,64156},{10,65281},{6,65656},{8,65843},{10,66030},{9,66217},{10,66404},{6,66779},{8,66966},{10,67153},{9,67340},{10,67527},{6,67902},{8,68089},{11,68276},{10,68463},{11,68650},{6,69025},{8,69212},{11,69399},{10,69586},{11,69773},{11,70148},{10,70335},{11,70522},{11,70709},{12,70896},{12,71271},{13,71458},{12,71645},{13,71832},{10,72019},{15,73144},{15,73706},{15,73893},{9,74080},{9,74267},{15,74829},{14,75016},{13,75203},{12,75390},{12,75952},{13,76139},{12,76326},{10,76513},{15,77638},{15,78013},{15,78200},{15,78387},{9,78574},{9,78761},{15,79323},{14,79510},{13,79697},{12,79884},{12,80446},{13,80633},{12,80820},{13,81007},{8,82132},{15,82132},{8,82507},{15,82507},{8,82694},{15,82694},{8,82881},{15,82881},{9,83068},{9,83255},{8,83817},{15,83817},{7,84004},{14,84004},{6,84191},{13,84191},{5,84378},{12,84378},{5,84940},{12,84940},{6,85127},{13,85127},{5,85314},{12,85314},{3,85501},{10,85501},{8,86626},{15,86626},{8,87001},{15,87001},{8,87188},{15,87188},{8,87375},{15,87375},{9,87562},{9,87749},{8,88311},{15,88311},{7,88498},{14,88498},{6,88685},{13,88685},{5,88872},{12,88872},{5,89247},{12,89247},{6,89434},{13,89434},{5,89621},{12,89621},{6,89808},{13,89808},{13,91870},{8,92057},{15,92057},{8,92432},{15,92432},{8,92619},{15,92619},{8,92806},{15,92806},{9,92993},{9,93180},{8,93742},{15,93742},{7,93929},{14,93929},{6,94116},{13,94116},{5,94303},{12,94303},{5,94865},{12,94865},{6,95052},{13,95052},{5,95239},{12,95239},{6,95426},{13,95426},{8,96551},{15,96551},{8,96926},{15,96926},{8,97113},{15,97113},{8,97300},{15,97300},{9,97487},{9,97674},{8,98236},{15,98236},{7,98423},{14,98423},{6,98610},{13,98610},{5,98797},{12,98797},{5,99359},{12,99359},{6,99546},{13,99546},{5,99733},{12,99733},{10,99920},{8,101045},{15,101045},{8,101420},{15,101420},{8,101607},{15,101607},{8,101794},{15,101794},{9,101981},{9,102168},{8,102730},{15,102730},{7,102917},{14,102917},{6,103104},{13,103104},{5,103291},{12,103291},{5,103853},{12,103853},{6,104040},{13,104040},{5,104227},{12,104227},{6,104414},{13,104414},{13,106664}}