15# {{6,1000},{7,1100},{8,1200},{9,1300},{3,1400},{5,1400},{10,1400},{3,1800},{6,2000},{3,2200},{3,2600},{6,2600},{10,2800},{3,3000},{6,3200},{3,3400},{10,3600},{3,3800},{6,4000},{3,4200},{5,4200},{7,4300},{8,4400},{9,4500},{2,4600},{5,4600},{10,4600},{2,5000},{6,5200},{2,5400},{2,5800},{6,5800},{10,6000},{2,6200},{6,6400},{2,6600},{10,6800},{2,7000},{6,7200},{2,7400},{6,7400},{7,7500},{8,7600},{10,7700},{2,7800},{4,7800},{9,7800},{2,8200},{6,8400},{2,8600},{2,9000},{6,9000},{9,9200},{2,9400},{6,9600},{2,9800},{9,10000},{2,10200},{6,10400},{2,10600},{6,10600},{7,10700},{8,10800},{9,10900},{1,11000},{4,11000},{10,11000},{1,11400},{6,11600},{1,11800},{1,12200},{6,12200},{10,12400},{2,12600},{5,12600},{6,12800},{2,13000},{12,13200},{2,13400},{6,13600},{2,13800},{6,13800},{7,13900},{8,14000},{9,14100},{3,14200},{6,14200},{10,14200},{3,14400},{3,14600},{3,14800},{6,14800},{3,15000},{3,15200},{3,15400},{6,15400},{3,15600},{10,15600},{3,15800},{3,16000},{6,16000},{3,16200},{3,16400},{10,16400},{3,16600},{3,16800},{6,16800},{3,17000},{6,17000},{7,17100},{3,17200},{8,17200},{9,17300},{2,17400},{5,17400},{10,17400},{2,17600},{2,17800},{2,18000},{6,18000},{2,18200},{2,18400},{2,18600},{6,18600},{2,18800},{10,18800},{2,19000},{2,19200},{6,19200},{2,19400},{2,19600},{10,19600},{2,19800},{2,20000},{6,20000},{2,20200},{6,20200},{2,20400},{6,20400},{7,20500},{2,20600},{8,20600},{10,20700},{2,20800},{4,20800},{9,20800},{2,21000},{2,21200},{2,21400},{6,21400},{2,21600},{2,21800},{2,22000},{6,22000},{2,22200},{9,22200},{2,22400},{2,22600},{6,22600},{2,22800},{2,23000},{9,23000},{2,23200},{2,23400},{6,23400},{2,23600},{6,23600},{7,23700},{2,23800},{8,23800},{9,23900},{1,24000},{4,24000},{10,24000},{1,24200},{1,24400},{1,24600},{6,24600},{1,24800},{1,25000},{1,25200},{6,25200},{1,25400},{10,25400},{1,25600},{2,25600},{5,25600},{6,26000},{12,26400},{6,26800},{2,27000},{9,27000},{3,27100},{10,27100},{4,27200},{11,27200},{5,27300},{12,27300},{3,27400},{6,27400},{13,27400},{3,27600},{3,27800},{3,28000},{6,28000},{3,28200},{3,28400},{3,28600},{6,28600},{3,28800},{3,29000},{6,29000},{3,29200},{3,29400},{3,29600},{6,29600},{8,29600},{3,29800},{3,30000},{3,30200},{6,30200},{9,30200},{3,30400},{1,30600},{5,30600},{10,30600},{1,30800},{1,31000},{1,31200},{5,31200},{1,31400},{1,31600},{1,31800},{5,31800},{1,32000},{1,32200},{5,32200},{1,32400},{1,32600},{1,32800},{5,32800},{1,33000},{6,33000},{1,33200},{1,33400},{5,33400},{10,33400},{1,33600},{2,33800},{4,33800},{9,33800},{2,34000},{2,34200},{2,34400},{4,34400},{2,34600},{6,34600},{2,34800},{2,35000},{4,35000},{2,35200},{2,35400},{4,35400},{2,35600},{2,35800},{2,36000},{4,36000},{2,36200},{6,36200},{13,36200},{2,36400},{2,36600},{4,36600},{7,36600},{14,36600},{2,36800},{1,37000},{5,37000},{8,37000},{15,37000},{1,37200},{1,37400},{1,37600},{4,37600},{1,37800},{1,38000},{1,38200},{4,38200},{1,38400},{7,38400},{14,38400},{6,38500},{13,38500},{2,38600},{5,38600},{12,38600},{2,38800},{2,39000},{2,39200},{4,39200},{2,39400},{3,39400},{10,39400},{2,39600},{2,39800},{5,39800},{2,40000},{2,40200},{6,40200},{13,40200},{3,40400},{3,40600},{3,40800},{6,40800},{3,41000},{3,41200},{3,41400},{6,41400},{3,41600},{3,41800},{6,41800},{3,42000},{3,42200},{3,42400},{6,42400},{8,42400},{3,42600},{3,42800},{3,43000},{6,43000},{9,43000},{3,43200},{1,43400},{5,43400},{10,43400},{1,43600},{1,43800},{1,44000},{5,44000},{1,44200},{1,44400},{1,44600},{5,44600},{1,44800},{1,45000},{5,45000},{1,45200},{1,45400},{1,45600},{5,45600},{1,45800},{6,45800},{1,46000},{1,46200},{5,46200},{10,46200},{1,46400},{2,46600},{4,46600},{9,46600},{2,46800},{2,47000},{2,47200},{4,47200},{2,47400},{6,47400},{2,47600},{2,47800},{4,47800},{2,48000},{2,48200},{4,48200},{2,48400},{2,48600},{2,48800},{4,48800},{2,49000},{6,49000},{2,49200},{2,49400},{4,49400},{7,49400},{2,49600},{1,49800},{4,49800},{8,49800},{1,50000},{6,50100},{1,50200},{1,50400},{4,50400},{8,50400},{1,50600},{10,50600},{1,50800},{8,50900},{1,51000},{4,51000},{1,51200},{10,51200},{2,51400},{5,51400},{13,51400},{2,51600},{10,51700},{2,51800},{2,52000},{5,52000},{13,52000},{2,52200},{14,52200},{2,52400},{2,52600},{5,52600},{2,52800},{3,53000},{6,53000},{10,53000},{13,53000}}