15#{{10,4367},{10,4534},{10,4700},{10,4834},{9,5035},{7,5336},{8,5968},{8,6604},{6,6936},{8,7268},{10,8204},{10,8370},{10,8536},{10,8704},{9,8870},{12,9208},{7,9838},{8,10470},{5,10805},{7,11105},{8,11738},{6,12407},{10,13340},{9,13506},{8,13673},{9,13839},{9,14009},{5,14340},{5,14973},{10,15909},{9,16086},{8,16241},{9,16574},{7,16894},{6,17541},{6,18792},{10,19125},{9,19428},{12,20061},{12,21029},{10,21361},{8,21662},{6,21997},{12,22630},{9,22985},{7,23580},{7,23913},{8,24213},{12,25155},{10,25497},{8,25814},{13,26149},{12,26765},{13,27101},{12,27733},{10,28067},{8,28702},{12,29033},{12,29367},{10,29667},{8,30002},{8,30302},{12,30935},{9,31268},{7,31905},{7,32237},{8,32869},{6,33838},{8,33970},{9,34169},{10,34337},{10,34637},{9,34971},{6,35304},{8,35606},{9,36271},{8,36572},{9,36907},{10,37839},{12,38175},{12,38506},{10,38813},{8,39140},{6,39474},{12,40089},{9,40441},{7,41074},{7,41375},{8,42041},{12,42975},{10,43275},{8,43609},{13,43942},{12,44575},{13,44909},{12,45543},{10,45845},{8,46811},{12,47145},{12,47445},{10,47779},{8,48111},{8,48412},{12,49046},{9,49379},{9,50013},{7,50348},{8,50986},{8,52098},{5,52264},{10,52598},{10,52764},{9,53098},{8,53498},{10,54767},{9,55102},{5,56039},{6,56368},{8,56702},{5,57036},{7,57336},{6,57668},{6,58003},{7,58636},{7,59270},{8,59937},{8,60537},{7,61206},{8,61506},{7,61973},{8,62139},{6,62471},{6,63106},{7,63741},{7,64374},{8,65040}}