15# {{3,1502},{6,1503},{10,1504},{6,1800},{6,1932},{10,2065},{6,2361},{10,2494},{3,2659},{6,2660},{6,2791},{10,2957},{7,3223},{8,3519},{3,3783},{7,3783},{10,3783},{6,4126},{6,4212},{10,4378},{6,4642},{10,4808},{3,4947},{7,4948},{6,5072},{10,5237},{7,5502},{8,5799},{2,6096},{4,6096},{10,6097},{6,6361},{6,6526},{10,6658},{6,6956},{10,7088},{2,7253},{4,7254},{6,7385},{10,7518},{7,7816},{8,8113},{3,8373},{7,8373},{12,8374},{6,8690},{6,8824},{10,8957},{6,9253},{10,9385},{3,9553},{7,9553},{6,9682},{10,9848},{7,10113},{8,10381},{3,10709},{6,10709},{10,10709},{6,10972},{6,11137},{10,11269},{6,11534},{10,11700},{3,11865},{6,11865},{6,11996},{10,12163},{7,12427},{8,12724},{3,12988},{7,12988},{10,13021},{6,13285},{6,13451},{10,13583},{6,13881},{10,14013},{3,14145},{7,14179},{6,14311},{10,14442},{7,14740},{8,15005},{2,15302},{4,15303},{10,15303},{6,15570},{6,15731},{10,15896},{6,16161},{10,16326},{2,16459},{4,16459},{6,16591},{10,16756},{7,17054},{8,17319},{3,17615},{7,17616},{12,17616},{6,17881},{6,18008},{12,18193},{6,18459},{12,18624},{3,18756},{7,18757},{6,18921},{12,19053},{7,19351},{8,19616},{3,19913},{6,19913},{10,19914},{6,20178},{6,20342},{10,20476},{6,20772},{10,20904},{3,21070},{6,21070},{6,21202},{10,21333},{7,21632},{8,21896},{3,22193},{7,22193},{10,22194},{6,22475},{6,22639},{10,22772},{6,23060},{10,23187},{3,23333},{7,23367},{6,23499},{10,23631},{7,23929},{8,24192},{2,24490},{4,24491},{10,24491},{6,24787},{6,24920},{10,25085},{6,25350},{10,25481},{2,25647},{4,25647},{6,25813},{10,25944},{7,26242},{8,26507},{3,26804},{7,26805},{12,26805},{6,27102},{6,27233},{10,27399},{6,27664},{10,27795},{3,27961},{7,27962},{6,28368},{10,28369},{7,28524},{8,28820},{3,29094},{6,29094},{10,29095},{6,29382},{6,29548},{10,29680},{6,29978},{10,30110},{3,30243},{6,30244},{6,30408},{10,30539},{7,30907},{8,31134},{3,31399},{7,31399},{10,31399},{6,31696},{6,31829},{10,31993},{6,32258},{10,32424},{3,32556},{7,32556},{6,32721},{10,32854},{7,33151},{8,33416},{2,33714},{4,33714},{10,33714},{6,34011},{6,34142},{10,34308},{6,34573},{10,34737},{2,34870},{4,34870},{6,35003},{10,35168},{7,35432},{8,35730},{3,36027},{7,36027},{12,36027},{6,36293},{6,36457},{12,36588},{6,36886},{12,37019},{3,37183},{7,37184},{6,37317},{12,37449},{7,37746},{8,38011},{3,38308},{6,38308}}