15#{{9,500},{10,702},{9,904},{10,1106},{10,1308},{8,1713},{8,1915},{9,2117},{10,2319},{9,2521},{10,2723},{10,2925},{9,3330},{8,3735},{9,3937},{9,4139},{8,4544},{10,4746},{10,4948},{10,5353},{11,5555},{10,5757},{9,5959},{8,6161},{8,6363},{12,6768},{12,6970},{12,7172},{12,7374},{8,7576},{8,7778},{11,7980},{11,8182},{10,8587},{9,9397},{8,9599},{7,9801},{7,10206},{7,10408},{7,10610},{7,10812},{7,11014},{8,11216},{8,11418},{9,12228},{10,12430},{9,12632},{10,12834},{10,13036},{8,13238},{8,13440},{13,13642},{13,13844},{12,14046},{12,14451},{12,14653},{10,14855},{9,15665},{8,15867},{9,16069},{8,16271},{9,16473},{5,16878},{11,17080},{11,17282},{12,17484},{10,17686},{10,18091},{8,18901},{7,19103},{8,19305},{7,19507},{8,19709},{11,20519},{11,20721},{12,20923},{10,21125},{10,21530},{7,22340},{7,22745},{7,22947},{7,23149},{7,23554},{8,23756},{8,23958},{5,24768},{6,25375},{8,25577},{8,25982},{8,26792},{8,26994},{8,27196},{8,27398},{7,27600},{7,27802},{7,28004},{6,28206},{7,28408},{8,28813},{8,29218},{5,29623},{6,29825},{8,30027},{8,30837},{8,31039},{5,31241},{5,31443},{8,31645},{8,31847},{5,32049},{5,32251},{8,32453},{8,32655},{10,33060},{10,33465},{8,33870},{8,34275},{7,34680},{8,35085},{7,36300},{8,36705},{7,36907},{6,37109},{6,37514},{5,38324},{6,38931},{8,39133},{8,39538},{8,40348},{8,40955},{8,41157},{8,41359},{7,41561},{7,42168},{7,42370},{6,42572},{7,42774},{8,43179},{8,43584},{8,43989},{5,44191},{8,44393},{5,44798},{10,45405},{10,45607},{9,45809},{9,46011},{8,46213},{8,46415},{10,46617},{10,46819},{8,47629},{9,47831},{10,48033},{10,48438},{8,48843},{8,49248},{9,49450},{10,49652},{10,50057},{8,50462},{8,50867},{8,51272},{7,51474},{7,51676},{8,52081},{8,52486},{7,53296},{7,53701},{7,53903},{7,54105},{7,54510},{8,54712},{8,54914},{9,55724},{8,56129},{9,56331},{8,56533},{5,56735},{6,56836},{8,56937},{9,57139},{9,57341},{8,57543},{9,57948},{8,58150},{10,58555},{10,58757},{9,58959},{8,59161},{8,59363},{9,59565},{8,59666},{6,59767},{5,60172},{6,60374},{8,60576},{6,60778},{9,60980},{9,61385},{9,62195},{8,62397},{9,62802},{8,63004},{5,63206},{6,63307},{8,63408},{9,63610},{9,63812},{8,64014},{9,64419},{8,64621},{10,65026},{10,65228},{9,65430},{8,65632},{8,65834},{9,66036},{8,66137},{6,66238},{5,66643},{6,66744},{8,66845},{8,67047},{6,67249},{9,67856},{9,68261},{5,71501},{6,71703},{8,71905},{10,72310},{8,72715},{8,73120},{8,73525},{7,73727},{7,73929},{8,74334},{8,74739},{6,77169},{7,77574},{8,77979},{9,78384},{6,78789},{5,79599},{6,82029},{7,82434},{8,82839},{9,83244},{10,83649},{9,84459},{12,85269},{11,86484},{7,86889},{7,88104},{7,88306},{7,88508},{7,88913},{8,89115},{8,89317}}