15# {{1,2008},{5,2381},{8,2780},{12,3161},{3,3543},{5,3925},{8,4306},{12,4696},{4,5078},{5,5460},{8,5841},{12,6223},{1,7751},{5,8133},{8,8637},{12,8914},{3,9295},{5,9677},{8,10058},{12,10441},{4,10822},{5,11204},{8,11586},{12,11968},{1,12732},{5,13113},{3,13495},{5,13512},{5,13894},{1,14267},{5,14284},{4,14649},{1,15047},{3,15048},{4,15413},{1,15811},{9,16193},{1,16575},{4,16575},{9,16957},{1,17347},{4,17347},{1,18111},{4,18128},{6,18144},{2,18883},{5,18899},{2,19264},{1,19646},{2,19663},{2,20028},{1,20426},{2,20426},{3,20808},{2,21190},{4,21190},{3,21571},{1,21953},{9,22336},{1,22717},{8,23099},{9,23298},{3,23481},{8,23497},{3,23880},{8,24261},{5,24636},{1,25016},{4,25033},{6,25398},{4,25796},{6,25796},{6,26178},{1,26560},{4,26577},{6,26577},{7,26942},{4,27324},{6,27341},{8,27341},{7,27705},{3,28087},{9,28469},{3,28851},{5,29250},{1,29632},{8,30013},{3,30395},{5,30412},{8,30412},{12,30777},{1,31159},{4,31176},{13,31541},{4,31923},{8,31940},{10,31940},{9,32321},{1,32687},{4,32720},{8,33068},{1,33450},{4,33483},{8,33484},{12,33865},{2,34247},{5,34264},{13,34629},{2,35011},{5,35029},{10,35029},{9,35393},{2,35775},{5,35791},{7,36164},{2,36546},{5,36546},{9,36563},{12,36928},{1,37310},{5,37691},{3,38090},{5,38107},{5,38472},{1,38853},{5,38854},{4,39235},{1,39617},{3,39634},{4,39999},{1,40397},{9,40779},{1,41161},{4,41162},{9,41543},{1,41926},{4,41942},{1,42697},{4,42697},{8,43079},{3,43460},{7,43461},{7,43842},{5,44224},{7,44240},{7,44622},{7,45004},{9,45004},{3,45386},{5,45837},{7,45868},{8,46149},{3,46532},{6,46548},{8,46913},{3,47312},{5,47312},{8,47328},{5,47694},{5,48076},{8,48076},{9,48457},{8,48839},{10,48840},{6,49229},{1,49610},{4,49611},{1,50374},{4,50374},{1,51138},{4,51154},{10,51519},{1,51901},{4,51917},{10,51918},{9,52283},{2,52664},{4,52681},{8,53063},{2,53445},{4,53445},{8,53461},{6,53827},{1,54208},{4,54225},{10,54226},{1,54667},{1,54971},{4,54971},{8,54971},{9,55345},{2,55743},{5,55743},{2,56507},{5,56507},{2,57262},{5,57279},{2,58025},{5,58042},{6,58042},{8,58407},{3,58805},{7,58806},{10,58822},{9,59187},{3,59568},{7,59585},{8,59586},{9,59950},{3,60341},{7,60341},{10,60341},{3,61105},{7,61105},{8,61121},{8,61487},{3,61852},{6,61869},{3,62632},{6,62648},{3,63395},{6,63412},{8,63412},{7,63777},{6,64159},{8,64176},{9,64540},{1,64922},{4,65320},{8,65320},{6,65702},{4,66084},{7,66100},{1,66465},{4,66847},{6,67229},{9,67245},{4,67628},{9,67628},{2,67992},{5,68391},{7,68773},{5,69154},{2,69537},{8,69553},{5,69918},{7,69935},{2,70300},{8,70317},{5,70698},{10,70699},{3,71080},{5,71462},{9,71462},{3,71843},{5,72217},{3,72615},{5,72997},{10,72997},{3,73379},{5,73395},{10,73760},{3,74142},{3,74906},{6,74922},{8,75303},{3,75686},{5,75702},{8,75702},{9,76084},{5,76449},{8,76465},{10,76482},{12,76847},{4,77229},{8,77610},{1,77992},{4,78009},{8,78373},{1,78772},{4,78772},{8,78789},{9,79154},{4,79536},{8,79552},{10,79569},{12,79917},{3,80316},{5,80316},{8,80698},{3,81080},{5,81096},{8,81461},{3,81843},{5,81860},{8,81861},{6,82226},{3,82624},{5,82625},{10,82641},{9,83006},{1,83388},{4,83405},{1,84152},{4,84169},{6,84169},{8,84534},{2,84916},{5,84933},{7,84950},{2,85688},{5,85688},{5,86069},{1,86450},{5,86467},{9,86467},{8,86832},{3,87214},{5,87231},{9,87596},{1,87977},{8,88361},{1,88757},{3,88774},{5,89139},{3,89521},{5,89537},{9,89538},{9,89902},{5,90284},{8,90301},{10,90667},{3,91048},{5,91064},{3,91828},{5,91829},{3,92592},{6,92609},{9,92625},{8,92974},{3,93355},{5,93372},{9,93754},{3,94136},{5,94153},{8,94518},{3,94900},{5,95298},{3,95672},{5,95689},{9,95689},{9,96054},{5,96436},{8,96452},{10,96817},{1,97199},{8,97598},{5,97980},{8,97981},{10,97996},{12,98362},{4,98744},{8,98760},{13,98761},{1,99126},{4,99507},{8,99524},{10,99525},{1,99890},{4,100288},{6,100288},{9,100304},{1,100653},{4,101051},{6,101069},{8,101069},{1,101433},{3,101823},{5,101823},{7,101840},{3,102205},{8,102205},{5,102587},{9,102603},{6,102968},{8,102968},{3,103349},{6,103731},{6,104130},{8,104130},{12,104511},{1,104893},{4,104910},{11,105275},{1,105656},{4,105673},{10,105673},{9,106038},{1,106419},{4,106436},{6,106801},{6,107183},{8,107200},{12,107565},{2,107963},{5,107963},{11,108336},{7,108717},{10,108734},{9,109116},{2,109497},{5,109498},{2,110261},{5,110278},{5,110643}}