15#{{8,2266},{8,2601},{8,2901},{7,3201},{8,3533},{7,4134},{8,4435},{8,5035},{8,5369},{7,5669},{8,5969},{9,6604},{7,6902},{7,7502},{7,7802},{6,8135},{7,8435},{6,9070},{7,9368},{7,9970},{7,10304},{6,10605},{7,10905},{8,11238},{7,11537},{5,11838},{6,12172},{6,12772},{5,13071},{3,13406},{5,13705},{2,14005},{3,14306},{8,14905},{8,15238},{8,15538},{7,15873},{8,16173},{7,16773},{8,17074},{8,17708},{8,18008},{7,18308},{8,18640},{9,19240},{7,19541},{7,20175},{7,20475},{6,20775},{7,21110},{6,21709},{7,22009},{7,22310},{7,22642},{7,22942},{6,23243},{7,23576},{8,24175},{7,24511},{5,24810},{6,25109},{6,25711},{10,26044},{9,26344},{10,26644},{6,27279},{10,27578},{10,27879},{9,28213},{10,28513},{12,28814},{10,29146},{9,29445},{10,29746},{6,30079},{7,30679},{7,30980},{7,31313},{8,31613},{7,31946},{3,32246},{5,32546},{6,32880},{6,33781},{10,34115},{10,34415},{9,34716},{10,35015},{9,35349},{10,35649},{12,35949},{10,36282},{9,36882},{10,37181},{12,37482},{13,37817},{13,38417},{12,39018},{13,39317}}