15#{{3,500},{5,722},{3,944},{6,1166},{6,1610},{8,1832},{7,2054},{6,2498},{5,2720},{5,2942},{2,3386},{3,3830},{5,4274},{3,4496},{2,4718},{1,5384},{5,5606},{2,6050},{3,6494},{3,7604},{5,7826},{3,8048},{6,8270},{6,8714},{8,8936},{7,9158},{6,9602},{7,9824},{8,10046},{12,10490},{10,10934},{12,11378},{10,11600},{9,11822},{8,12488},{9,12710},{7,13154},{8,13376},{7,13487},{6,13598},{6,14930},{7,15152},{8,15374},{6,15818},{10,16040},{9,16262},{8,16706},{9,16928},{10,17150},{7,17594},{6,18038},{6,18482},{5,18704},{6,18926},{6,19370},{10,19592},{9,19814},{8,20258},{9,20480},{10,20702},{10,21146},{12,21368},{10,21590},{10,22034},{12,22256},{13,22478},{12,22922},{10,23144},{9,23366},{8,23810},{9,24032},{12,24254},{10,24476},{10,24698},{9,24920},{6,25142},{6,25586},{5,25808},{6,26030},{10,26696},{9,26918},{7,27362},{8,27584},{7,27695},{6,27806},{6,29138},{7,29360},{8,29582},{8,29804},{8,30026},{6,30248},{9,30470},{8,30692},{9,30803},{8,31136},{9,31247},{10,31358},{10,31580},{10,31802},{12,32024},{10,32246},{9,32468},{10,32579},{6,32912},{7,33023},{8,33134},{8,33356},{8,33578},{6,33800},{9,34022},{8,34244},{9,34355},{8,34688},{9,34799},{10,34910},{10,35132},{10,35354},{12,35576},{10,35798},{9,36020},{10,36131},{10,36464},{12,36575},{13,36686},{13,36908},{13,37130},{12,37352},{12,37574},{10,37796},{9,37907},{8,38240},{9,38351},{12,38462},{12,38684},{12,38906},{8,39128},{6,39350},{5,39572},{6,39683},{5,40016},{6,40238},{10,40571},{10,40904},{10,41126},{9,41459},{8,41792},{6,42014},{3,43124},{5,43346},{3,43568},{6,43790},{6,44234},{8,44456},{7,44678},{6,45122},{5,45344},{5,45566},{2,46010},{3,46454},{5,46898},{3,47120},{2,47342},{1,48008},{5,48230},{2,48674},{3,49118},{3,50228},{5,50450},{3,50672},{6,50894},{6,51338},{8,51560},{7,51782},{6,52226},{7,52448},{8,52670},{12,53114},{10,53558},{12,54002},{10,54224},{9,54446},{8,55112},{9,55334},{7,55778},{8,56000},{7,56111},{6,56222}}