15#{{1,500},{3,500},{6,500},{6,741},{6,982},{6,1223},{1,1464},{3,1464},{6,1464},{8,1464},{6,1705},{9,1705},{6,1946},{8,1946},{6,2187},{9,2187},{1,2428},{3,2428},{6,2428},{6,2669},{8,2669},{6,2910},{6,3151},{8,3151},{1,3392},{3,3392},{6,3392},{6,3633},{6,3874},{6,4115},{1,4356},{3,4356},{4,4356},{6,4356},{4,4597},{4,4838},{6,4838},{4,5079},{6,5079},{1,5320},{3,5320},{4,5320},{8,5320},{4,5561},{9,5561},{4,5802},{8,5802},{4,6043},{9,6043},{1,6284},{3,6284},{4,6284},{4,6525},{8,6525},{4,6766},{4,7007},{8,7007},{1,7248},{3,7248},{4,7248},{4,7489},{5,7489},{4,7730},{4,7971},{10,7971},{1,8212},{3,8212},{5,8212},{1,8453},{3,8453},{5,8453},{1,8694},{9,8694},{1,8935},{8,8935},{1,9176},{8,9176},{1,9417},{3,9417},{5,9417},{1,9658},{5,9658},{1,9899},{10,10140},{1,10381},{3,10381},{5,10381},{1,10622},{9,10622},{1,10863},{8,10863},{1,11104},{8,11104},{1,11345},{3,11345},{5,11345},{1,11586},{5,11586},{1,11827},{1,12068},{10,12068},{2,12309},{3,12309},{5,12309},{3,12550},{9,12550},{3,12791},{8,12791},{3,13032},{9,13032},{2,13273},{3,13273},{3,13514},{3,13755},{3,13996},{2,14237},{3,14237},{4,14237},{3,14478},{3,14719},{3,14960},{2,15201},{3,15201},{1,15442},{1,15683},{3,15924},{1,16165},{3,16165},{6,16165},{6,16406},{6,16647},{6,16888},{1,17129},{3,17129},{6,17129},{8,17129},{6,17370},{9,17370},{6,17611},{8,17611},{6,17852},{9,17852},{1,18093},{3,18093},{6,18093},{6,18334},{8,18334},{6,18575},{6,18816},{8,18816},{1,19057},{3,19057},{6,19057},{6,19298},{6,19539},{6,19780},{1,20021},{3,20021},{4,20021},{6,20021},{4,20262},{4,20503},{6,20503},{4,20744},{6,20744},{1,20985},{3,20985},{4,20985},{8,20985},{4,21226},{9,21226},{4,21467},{8,21467},{4,21708},{9,21708},{1,21949},{3,21949},{4,21949},{4,22190},{8,22190},{4,22431},{4,22672},{8,22672},{1,22913},{3,22913},{4,22913},{4,23154},{5,23154},{4,23395},{4,23636},{10,23636},{1,23877},{3,23877},{5,23877},{1,24118},{9,24118},{1,24359},{8,24359},{1,24600},{8,24600},{1,24841},{3,24841},{5,24841},{1,25082},{5,25082},{1,25323},{1,25564},{10,25564},{1,25805},{3,25805},{5,25805},{1,26046},{9,26046},{1,26287},{8,26287},{1,26528},{8,26528},{1,26769},{3,26769},{5,26769},{1,27010},{5,27010},{1,27251},{1,27492},{10,27492},{1,27733},{3,27733},{2,27974},{3,27974},{5,27974},{3,28215},{9,28215},{3,28456},{8,28456},{3,28697},{9,28697},{2,28938},{3,28938},{3,29179},{3,29420},{3,29661},{2,29902},{3,29902},{3,30143},{3,30384},{3,30625},{2,30866},{3,30866},{3,31107},{3,31348},{3,31589},{1,31830},{3,31830},{4,31830},{6,31830},{4,32071},{1,32312},{3,32312},{4,32553},{4,32794},{7,32794},{1,33035},{3,33035},{4,33518},{8,33759},{4,34000},{1,34241},{3,34241},{4,34482},{4,34723},{10,34723},{1,34964},{3,34964},{4,35447},{1,35688},{3,35688},{6,35688},{6,35929},{1,36170},{3,36170},{6,36411},{6,36652},{7,36652},{1,36893},{3,36893},{6,37376},{3,37617},{5,37617},{12,37617},{5,37858},{3,38099},{5,38340},{5,38581},{7,38581},{3,38822},{7,39305},{1,39546},{3,39546},{6,39546},{4,39787},{1,40028},{3,40028},{4,40269},{4,40510},{7,40510},{1,40751},{3,40751},{4,41234},{4,41475},{8,41475},{4,41716},{1,41957},{3,41957},{4,42198},{4,42439},{10,42439},{1,42680},{3,42680},{4,43163},{1,43404},{2,43404},{5,43404},{9,43404},{5,43645},{1,43886},{5,44127},{1,44368},{2,44368},{5,44609},{5,44850},{10,44850},{1,45091},{2,45091},{5,45574},{12,45815},{5,46056},{1,46297},{2,46297},{5,46297},{5,46538},{5,46779},{13,46779},{1,47020},{2,47020},{5,47020},{5,47261},{13,47502},{8,47743},{10,47743},{13,47743},{3,48226},{6,48226},{8,48226},{10,48226},{1,48467},{1,48708},{1,48949},{3,48949},{6,48949},{8,48949},{10,48949},{6,49674},{15,49674},{4,49915},{6,50156},{14,50156},{6,50397},{8,50397},{10,50397},{6,50638},{13,50638},{6,50879},{1,51120},{3,51120},{6,51120},{8,51120},{10,51120},{12,51120},{6,51603},{6,52086},{10,52086},{1,52327},{5,52327},{8,52327},{10,52327},{1,52810},{5,52810},{8,52810},{10,52810},{5,53293},{1,53534},{3,53534},{8,53534},{5,54017},{15,54017},{1,54258},{3,54499},{7,54499},{9,54499},{10,54499},{12,54499},{14,54499},{5,54740},{7,54981},{13,54981},{1,55222},{5,55463},{12,55463},{3,55704},{5,55945},{6,56186},{8,56186},{10,56186},{13,56186},{4,56427},{1,56910},{3,56910},{6,56910},{8,56910},{10,56910},{1,57151},{1,57392},{1,57633},{3,57633},{6,57633},{8,57633},{10,57633},{6,58116},{15,58116},{4,58357},{6,58598},{14,58598},{1,58839},{3,58839},{1,59080},{3,59080},{6,59080},{8,59080},{10,59080},{13,59080},{6,59321},{1,59562},{3,59562},{6,59562},{8,59562},{10,59562},{1,59803},{3,59803},{6,59803},{8,59803},{10,59803},{12,59803},{10,60286},{6,60527},{8,60527},{8,61010},{10,61010},{13,61010},{1,61493},{3,61493},{6,61493},{8,61493},{10,61493},{6,61734},{6,61975},{1,62216},{3,62216},{6,62216},{8,62216},{10,62216},{12,62216},{5,62699},{7,62699},{9,62699},{5,62940},{7,63181},{3,63422},{5,63422},{10,63422},{5,63663},{2,63904},{12,63904},{2,64145},{5,64386},{6,64386},{8,64386},{10,64386},{13,64386},{6,64627},{1,64868},{3,64868},{6,64868},{8,64868},{10,64868},{6,65351},{15,65351},{4,65592},{6,65833},{14,65833},{1,66074},{3,66074},{6,66074},{8,66074},{10,66074},{6,66315},{13,66315},{6,66556},{1,66797},{3,66797},{6,66797},{8,66797},{10,66797},{12,66797},{6,67280},{15,67280},{1,67521},{5,67521},{8,67521},{10,67521},{12,67762},{1,68245},{3,68245},{5,68245},{8,68245},{12,68245},{5,68486},{5,68727},{1,68968},{3,68968},{5,68968},{8,68968},{10,68968},{5,69451},{12,69451},{3,69692},{3,69933},{7,69933},{9,69933},{10,69933},{7,70416},{9,70416},{5,70657},{3,70898},{3,71139},{10,71139},{5,71622},{7,71622},{9,71622},{10,71622},{4,71863},{6,71863},{8,71863},{8,72104},{1,72104},{4,72104},{6,72104},{6,72587},{4,72828},{10,72828},{4,73069},{6,73069},{10,73069},{3,73310},{5,73310},{9,73310},{3,73551},{5,73792},{7,73792},{3,74033},{3,74274},{5,74274},{10,74274},{3,74515},{5,74515},{10,74515},{3,74756},{5,74756},{10,74756},{3,74997},{5,74997},{10,74997},{10,75238},{13,75238},{15,75238},{10,75721},{6,76204},{10,76204},{5,76445},{9,76445},{4,76928},{8,76928},{10,76928},{1,77169},{8,77169},{8,78136},{10,78136},{15,78136},{7,78861},{14,78861},{8,79344},{11,79344},{15,79344},{8,80069},{15,80069},{8,80552},{11,80552},{15,80552},{7,80793},{14,80793},{8,81276},{11,81276},{15,81276},{8,82001},{15,82001},{3,82726},{9,82726},{14,82726},{1,83451},{3,83451},{6,83451},{6,83692},{6,83933},{6,84174},{1,84415},{3,84415},{6,84415},{8,84415},{6,84656},{9,84656},{6,84897},{8,84897},{6,85138},{9,85138},{1,85379},{3,85379},{6,85379},{6,85620},{8,85620},{6,85861},{6,86102},{8,86102},{1,86343},{3,86343},{6,86343},{6,86584},{6,86825},{6,87066},{1,87307},{3,87307},{4,87307},{6,87307},{4,87548},{4,87789},{6,87789},{4,88030},{6,88030},{1,88271},{3,88271},{4,88271},{8,88271},{4,88512},{9,88512},{4,88753},{8,88753},{4,88994},{9,88994},{1,89235},{3,89235},{4,89235},{4,89476},{8,89476},{4,89717},{4,89958},{8,89958},{1,90199},{3,90199},{4,90199},{4,90440},{5,90440},{4,90681},{4,90922},{10,90922},{1,91163},{3,91163},{5,91163},{1,91404},{9,91404},{1,91645},{8,91645},{1,91886},{8,91886},{1,92127},{3,92127},{5,92127},{1,92368},{5,92368},{1,92609},{1,92850},{10,92850},{1,93091},{3,93091},{5,93091},{1,93332},{9,93332},{1,93573},{8,93573},{1,93814},{8,93814},{3,94055},{5,94055},{1,94296},{5,94296},{1,94537},{1,94778},{10,94778},{2,95019},{3,95019},{5,95019},{3,95260},{9,95260},{3,95501},{8,95501},{3,95742},{9,95742},{2,95983},{3,95983},{3,96224},{3,96465},{3,96706},{2,96947},{3,96947},{4,96947},{3,97188},{3,97429},{3,97670},{2,97911},{3,97911},{1,98152},{1,98393},{3,98634},{1,98875},{3,98875},{6,98875},{6,99116},{6,99357},{6,99598},{1,99839},{3,99839},{6,99839},{8,99839},{6,100080},{9,100080},{6,100321},{8,100321},{6,100562},{9,100562},{1,100803},{3,100803},{6,100803},{6,101044},{8,101044},{6,101285},{6,101526},{8,101526},{1,101767},{3,101767},{6,101767},{6,102008},{6,102249},{6,102490},{1,102731},{3,102731},{4,102731},{6,102731},{4,102972},{4,103213},{6,103213},{4,103454},{6,103454},{1,103695},{3,103695},{4,103695},{8,103695},{4,103936},{9,103936},{8,104177},{4,104418},{9,104418},{1,104659},{3,104659},{4,104659},{4,104900},{8,104900},{4,105141},{4,105382},{8,105382},{1,105623},{3,105623},{4,105623},{4,105864},{5,105864},{4,106105},{4,106346},{10,106346},{1,106587},{3,106587},{5,106587},{1,106828},{9,106828},{1,107069},{8,107069},{1,107310},{8,107310},{1,107551},{3,107551},{5,107551},{1,107792},{5,107792},{1,108033},{1,108274},{10,108274},{1,108515},{3,108515},{5,108515},{1,108756},{9,108756},{1,108997},{8,108997},{1,109238},{8,109238},{1,109479},{3,109479},{5,109479},{5,109720},{1,109961},{1,110202},{10,110202},{2,110443},{3,110443},{5,110443},{10,110443},{3,110684},{9,110684},{3,110925},{8,110925},{3,111166},{9,111166},{2,111407},{3,111407},{3,111648},{3,111889},{3,112130},{2,112371},{3,112371},{3,112612},{3,112853},{3,113094},{2,113335},{3,113335},{3,113576},{1,113817},{3,114058},{1,114299},{3,114299},{6,114299},{4,114540},{1,114781},{3,114781},{4,115022},{4,115263},{7,115263},{1,115504},{3,115504},{1,116229},{8,116229},{4,116470},{1,116711},{3,116711},{4,116952},{4,117193},{10,117193},{1,117434},{3,117434},{4,117434},{1,118159},{3,118159},{6,118159},{6,118400},{1,118641},{3,118641},{6,118882},{6,119123},{7,119123},{1,119364},{3,119364},{3,120089},{5,120089},{12,120089},{5,120330},{3,120571},{5,120812},{5,121053},{7,121053},{3,121294},{1,122019},{3,122019},{6,122019},{4,122260},{1,122501},{3,122501},{4,122742},{4,122983},{7,122983},{1,123224},{3,123224},{4,123224},{1,123949},{8,123949},{4,124190},{1,124431},{3,124431},{4,124672},{4,124913},{10,124913},{1,125154},{3,125154},{1,125879},{2,125879},{5,125879},{9,125879},{5,126120},{1,126361},{2,126361},{5,126602},{5,126843},{10,126843},{1,127084},{2,127084},{1,127809},{12,127809},{1,128050},{2,128050},{5,128050},{5,128291},{1,128532},{2,128532},{5,128532},{5,128773},{5,129014},{13,129014},{1,129255},{2,129255},{5,129255},{5,129496},{6,129737},{13,129737},{6,129978},{8,129978},{10,129978},{13,129978},{1,130461},{3,130461},{6,130461},{8,130461},{10,130461},{6,130702},{6,130943},{1,131184},{3,131184},{6,131184},{8,131184},{10,131184},{6,131667},{15,131667}}
5
7
3