15#{{6,500},{6,1000},{6,1250},{5,1500},{5,1750},{5,2000},{7,2500},{7,3000},{8,3250},{7,3500},{6,3750},{6,4000},{6,4500},{6,5000},{6,5250},{5,5500},{5,5750},{5,6000},{7,6500},{7,7000},{8,7250},{7,7500},{6,7750},{6,8000},{6,8500},{3,10500},{5,12000},{6,13500},{6,15000},{6,15250},{6,15500},{6,15750},{8,15875},{10,16000},{10,16500},{13,17000},{12,17250},{10,17500},{10,17750},{12,17875},{10,18000},{10,18500},{10,19000},{10,19250},{10,19375},{10,19500},{12,19750},{9,20000},{9,20250},{9,20375},{9,20500},{8,20750},{7,21000},{6,21250},{5,21500},{3,21750},{6,22000},{6,22500},{6,23000},{6,23250},{6,23500},{6,23750},{6,24000},{6,24250},{5,24500},{7,25000},{7,25250},{7,25500},{8,25750},{7,26000},{6,26250},{6,26500},{6,27000},{6,27250},{6,27500},{6,27750},{6,28000},{6,28250},{5,28500},{7,29000},{7,29250},{7,29500},{8,29750},{7,30000},{6,30250},{6,30500},{6,31000},{6,31250},{6,31500},{6,31750},{6,32000},{6,32250},{5,32500},{7,33000},{7,33250},{7,33500},{8,33750},{7,34000},{6,34250},{6,34500},{6,35000},{6,35250},{6,35500},{6,35750},{6,36000},{6,36250},{12,36500},{7,37000},{7,37250},{7,37500},{8,37750},{7,38000},{6,38250},{6,38500},{6,39000},{6,39250},{6,39500},{6,39750},{6,40000},{6,40250},{5,40500},{7,41000},{7,41250},{7,41500},{8,41750},{7,42000},{6,42250},{6,42500},{8,43000},{8,43250},{8,43500},{10,43750},{12,44000},{10,44250},{10,44500},{9,44750},{7,45000},{7,45250},{7,45500},{7,45750},{8,45750},{6,46000},{6,46250},{6,46750},{6,47000},{6,47250},{6,47500},{6,47750},{6,48000},{5,48250},{7,48750},{7,49000},{7,49250},{8,49500},{7,49750},{6,50000},{6,50250},{6,50750},{6,51000},{6,51250},{6,51500},{6,51750},{6,52000},{5,52250},{7,52750},{7,53000},{7,53250},{8,53500},{7,53750},{6,54000},{6,54250},{8,54750},{8,55250},{9,55500},{7,55750},{7,56000},{7,56250},{6,56500},{5,56750},{5,57250},{6,57500},{7,57750},{6,58000},{6,58250},{8,58750},{8,59250},{10,59500},{12,59750},{10,60000},{10,60250},{9,60500},{7,60750},{7,61250},{8,61500},{7,61750},{6,62000},{6,62250},{8,62750},{8,63250},{9,63500},{7,63750},{7,64000},{7,64250},{6,64500},{5,64750},{5,65250},{6,65500},{7,65750},{6,66000},{6,66250},{8,66750},{8,67250},{10,67500},{12,67750},{10,68000},{10,68250},{9,68500},{7,68750},{7,69250},{8,69500},{7,69750},{6,70000},{6,70250},{6,70750},{6,71000},{6,71250},{8,71500},{10,71750},{10,72250},{13,72750},{12,73000},{10,73250},{12,73500},{10,73750},{10,74250},{10,74750},{10,75000},{10,75250},{12,75500},{9,75750},{9,76000},{9,76250},{8,76500},{7,76750},{6,77000},{5,77250},{3,77500},{6,77750},{6,78250},{6,78750},{6,79000},{6,79250},{8,79500},{10,79750},{10,80250},{13,80750},{12,81000},{10,81250},{12,81500},{10,81750},{10,82250},{10,82750},{10,83000},{10,83250},{12,83500},{9,83750},{9,84000},{9,84250},{8,84500},{7,84750},{6,85000},{5,85250},{3,85500},{6,85750},{6,86250},{7,86750},{6,87000},{5,87250},{3,87500},{6,87750},{6,88250}}