15#{{2,500},{6,687},{6,874},{6,1061},{6,1248},{5,1435},{5,1622},{9,1809},{8,2183},{5,3495},{5,3682},{5,3869},{5,4056},{5,4243},{4,4430},{5,4617},{6,4804},{6,5178},{2,6490},{6,6677},{6,6864},{6,7051},{6,7238},{5,7613},{9,7800},{8,8174},{8,8548},{8,8735},{6,9109},{5,9296},{2,9670},{2,10982},{6,11169},{6,11356},{6,11543},{6,11730},{6,11917},{6,12104},{6,12291},{9,12478},{9,12665},{9,12852},{8,13039},{8,13226},{6,13600},{2,13974},{6,14161},{6,14348},{6,14535},{6,14722},{6,14909},{6,15096},{6,15283},{2,15470},{6,15657},{6,15844},{6,16031},{6,16218},{6,16405},{6,16592},{6,16779},{9,16966},{9,17153},{9,17340},{8,17527},{8,17714},{6,18088},{11,18462},{9,18649},{11,18836},{9,19023},{11,19210},{12,19584},{9,19958},{11,20520},{11,20707},{10,21081},{9,21455},{9,21642},{9,21829},{9,22016},{9,22203},{15,22390},{15,22577},{15,22951},{13,23138},{13,23325},{12,23512},{12,23699},{11,24073},{9,24447},{9,24634},{9,24821},{9,25008},{9,25195},{8,25382},{8,25569},{6,25756},{6,25943},{8,26693},{8,27068},{9,27443},{9,27630},{9,27817},{9,28004},{9,28191},{15,28378},{15,28565},{15,28940},{13,29127},{13,29314},{13,29501},{13,29688},{12,30062},{12,30436},{12,30623},{12,30810},{11,30997},{12,31184},{15,31558},{13,31932},{11,32494},{10,32681},{9,33055},{12,33429},{13,33616},{13,33803},{8,33990},{13,34177},{9,34551},{11,34738},{12,35112},{12,35486},{12,35673},{11,35860},{10,36047},{11,36234},{10,36421},{11,36795},{10,36982},{15,37544},{13,37919},{11,38669},{10,39044},{9,39419},{13,39606},{13,39793},{13,39980},{13,40167},{13,40541},{12,40915},{11,41477},{10,41664},{11,42038},{11,42225},{10,42412},{11,42786},{10,42973},{8,43535},{9,43722},{9,43909}}