15#{{8,500},{7,840},{6,1180},{3,3223},{6,3393},{7,3563},{8,3733},{7,3903},{5,4584},{6,5265},{5,5605},{6,5945},{8,10371},{7,10711},{8,11051},{6,11391},{6,12072},{13,12412},{12,12752},{9,13092},{9,13432},{11,13772},{10,14112},{10,14452},{9,14792},{10,15132},{8,15472},{8,16153},{7,16493},{6,16833},{6,17514},{13,17854},{12,18194},{9,18534},{9,18874},{11,19214},{10,19554},{8,21256},{7,21596},{8,21936},{6,22276},{6,22957},{13,23297},{12,23637},{9,23977},{9,24317},{11,24657},{10,24997},{10,25337},{9,25677},{10,26017},{8,26357},{8,27038},{7,27378},{6,27718},{10,28399},{9,29080},{10,29420},{5,29760},{6,30100},{6,30440},{6,33164},{10,33504},{9,33844},{8,34184},{7,34524},{6,34864},{6,35034},{6,35204},{5,35544},{5,35884},{3,36224},{5,36564},{6,36904},{6,37244},{6,38606},{10,38946},{9,39286},{8,39626},{7,39966},{6,40306},{6,40476},{6,40646},{5,40986},{5,41326},{2,41666},{3,42006},{6,43368},{10,43708},{9,44048},{8,44388},{7,44728},{6,45068},{6,45238},{6,45408},{5,45748},{5,46088},{3,46428},{5,46768},{7,47108},{8,47448},{13,47788},{6,48809},{5,49149},{6,49489},{10,49829},{9,50169},{10,50509},{5,51190},{6,51530},{8,53232},{7,53572},{8,53912},{6,54252},{12,54933},{13,55273},{12,55613},{9,56294},{11,56634},{10,56974},{10,57314},{9,57654},{10,57994},{8,58334},{8,59015},{7,59355},{6,59695},{12,60376},{13,60716},{12,61056},{9,61396},{10,61736},{11,62076},{10,62416},{8,64118},{7,64458},{8,64798},{6,65138},{12,65819},{13,66159},{12,66499},{9,67180},{11,67520},{10,67860},{10,68200},{9,68540},{10,68880},{8,69220},{8,69901},{7,70241},{6,70581},{10,71262},{9,71943},{10,72283},{5,72623},{6,72963},{6,73303},{8,75005},{7,75345},{8,75685},{6,76025},{12,76706},{13,77046},{12,77386},{9,78067},{11,78407},{10,78747},{10,79087},{9,79427},{10,79767},{8,80107},{8,80788},{7,81128},{6,81468},{12,82149},{13,82489},{12,82829},{9,83169},{10,83509},{11,83849},{10,84189},{8,85891},{7,86231},{8,86571},{6,86911},{12,87592},{13,87932},{12,88272},{9,88953},{11,89293},{10,89633},{10,89973},{9,90313},{10,90653},{8,90993},{8,91674},{7,92014},{6,92354},{10,93035},{9,93716},{10,94056},{5,94396},{6,94736},{6,95076},{6,97800},{10,98140},{9,98480},{12,98820},{9,99501},{10,99841},{8,100181},{6,100521},{10,100861},{9,101201},{12,101541},{9,102222},{10,102562},{8,102902},{5,103242},{10,103582},{9,103922},{12,104262},{9,104943},{10,105283},{8,105623},{6,105963},{10,106303},{9,106643},{12,106983},{9,107664},{10,108004},{8,108344},{6,108684},{10,109024},{9,109364},{12,109704},{9,110385},{10,110725},{6,111406},{10,111746},{9,112086},{12,112426},{12,113107},{13,113447},{10,113787},{5,114127},{9,114467},{10,114807},{8,115147},{3,115828},{8,116168},{7,116508},{6,116848},{10,117188},{9,117869},{10,118209},{12,118549},{13,118889},{13,119229},{8,120931},{7,121271},{8,121611},{6,121951},{6,122632},{13,122972},{12,123312},{9,123993},{11,124333},{10,124673},{10,125013},{9,125353},{10,125693},{8,126033},{8,126714},{7,127054},{6,127394},{13,128075},{13,128415},{12,128755},{9,129095},{10,129435},{11,129945},{10,130115},{8,131817},{7,132157},{8,132497},{6,132837},{6,133518},{13,133858},{12,134198},{9,134879},{11,135219},{10,135559},{10,135899},{9,136239},{10,136579},{8,136919},{8,137600},{7,137940},{6,138280},{10,138961},{9,139642},{10,139982},{5,140322},{6,140662},{6,141002},{8,142704},{7,143044},{8,143384},{6,143724},{6,144405},{13,144745},{12,145085},{9,145766},{11,146106},{10,146446},{10,146786},{9,147126},{10,147466},{8,147806},{8,148487},{7,148827},{6,149167},{6,149848},{13,150188},{12,150528},{9,150868},{10,151208},{11,151548},{10,151888},{8,153590},{7,153930},{8,154270},{6,154610},{6,155291},{13,155631},{12,155971},{9,156652},{11,156992},{10,157332},{10,157672},{9,158012},{10,158352},{8,158692},{8,159373},{7,159713},{6,160053},{10,160734},{9,161415},{10,161755},{12,162095},{13,162435},{6,162775},{8,164477},{7,164817},{8,165157},{6,165497},{6,166178},{13,166518},{12,166858},{9,167198},{9,167538},{11,167878},{10,168218},{10,168558},{9,168898},{10,169238},{8,169578},{8,170259},{7,170599},{6,170939},{6,171620},{13,171960},{12,172300},{9,172640},{9,172980},{11,173320},{10,173660},{8,175362},{7,175702},{8,176042},{6,176382},{6,177063},{13,177403},{12,177743},{9,178083},{9,178423},{11,178763},{10,179103},{10,179443},{9,179783},{10,180123},{8,180463},{8,181144},{7,181484},{6,181824},{10,182505},{9,183186},{10,183526},{5,183866},{6,184206},{6,184546},{8,186589},{7,186929},{6,187269},{10,187950},{9,188631},{10,188971},{12,189311},{13,189651},{13,189991}}