15#{{4,1982},{6,1984},{10,1985},{9,2249},{13,2482},{9,2682},{10,2917},{9,3150},{6,3382},{9,3618},{5,3849},{7,3851},{10,3852},{9,4117},{13,4316},{9,4549},{10,4783},{9,5017},{6,5251},{9,5452},{6,5683},{8,5684},{10,5685},{9,5918},{13,6151},{9,6385},{10,6618},{9,6852},{6,7051},{9,7285},{3,7518},{6,7551},{8,7552},{10,7553},{13,7553},{4,9320},{6,9352},{8,9353},{10,9354},{6,9586},{8,9819},{6,9918},{8,10052},{10,10186},{5,10287},{7,10288},{9,10319},{7,10553},{9,10786},{12,10788},{3,11219},{9,11219},{7,11453},{14,11585},{9,11686},{13,11687},{12,12020},{6,12154},{13,12155},{8,12386},{10,12620},{15,12621},{4,13086},{8,13087},{13,13087},{6,13320},{8,13553},{10,13555},{15,13555},{5,14020},{9,14020},{14,14021},{7,14254},{10,14255},{15,14256},{14,14387},{9,14388},{12,14522},{9,14523},{7,14524},{5,14754},{10,14754},{1,14988},{8,14989},{13,14990},{3,15221},{6,15456},{8,15689},{10,15922},{13,16156},{10,16389},{8,16622},{4,16856},{6,16857},{8,16858},{10,16858},{6,17089},{8,17323},{6,17422},{8,17557},{10,17664},{5,17791},{7,17792},{9,17792},{7,18024},{9,18257},{12,18258},{3,18723},{9,18724},{7,18958},{12,18958},{9,19190},{13,19191},{14,19422},{6,19656},{8,19658},{10,19658},{15,19790},{9,19889},{14,20023},{8,20158},{3,20159},{13,20257},{7,20390},{12,20490},{13,20624},{4,20625},{15,20723},{6,20862},{14,20890},{15,20990},{13,21124},{8,21125},{15,21225},{14,21358},{15,21462},{13,21591},{5,21592},{15,21724},{7,21825},{14,21858},{15,21959},{13,22091},{9,22092},{15,22225},{14,22324},{15,22459},{13,22558},{6,22558},{15,22658},{14,22792},{8,22793},{15,22941},{13,23058},{10,23059},{15,23171},{14,23292},{8,23292},{15,23400},{6,23492},{13,23525},{15,23625},{14,23758},{15,23859},{6,23993},{13,23995},{3,23996},{10,24225},{6,24459},{8,24460},{15,24460},{10,24592},{14,24694},{7,24695},{10,24826},{15,24959},{8,24960},{10,25093},{9,25196},{14,25226},{10,25326},{7,25459},{14,25460},{3,25461},{7,25596},{13,25693},{6,25694},{7,25826},{12,25960},{5,25962},{3,26195},{10,26196},{12,26293},{5,26294},{6,26426},{4,26427},{13,26428},{8,26561},{12,26695},{3,26696},{8,26794},{13,26926},{4,26927},{8,27060},{6,27161},{15,27194},{8,27292},{1,27396},{3,27426},{12,27427},{8,27526},{11,27661},{2,27662},{8,27795},{10,27925},{1,27926},{1,28161},{10,28162},{3,28264},{12,28293},{4,28394},{2,28394},{11,28395},{6,28527},{10,28662},{3,28663},{6,28761},{9,28895},{2,28896},{6,29010},{11,29145},{4,29146},{6,29245},{3,29377},{10,29378},{1,29378},{6,29511},{9,29645},{2,29646},{6,29746},{8,29877},{1,29878},{6,30012},{10,30111},{3,30112},{6,30250},{9,30377},{2,30379},{4,30478},{8,30612},{2,30613},{4,30745},{2,30846},{7,30878},{4,30978},{6,31112},{2,31113},{4,31212},{5,31346},{3,31346},{3,31579},{6,31579},{3,31812},{7,31813},{13,32045},{14,32148},{6,32279},{8,32280},{15,32313},{10,32413},{14,32546},{7,32547},{10,32646},{15,32779},{8,32780},{10,32880},{14,33013},{9,33014},{10,33146},{7,33247},{3,33247},{14,33279},{7,33379},{13,33513},{6,33514},{7,33614},{12,33747},{5,33748},{3,33981},{10,33983},{12,34115},{5,34116},{4,34203},{6,34204},{13,34204},{8,34330},{12,34463},{3,34464},{8,34603},{13,34729},{4,34730},{8,34831},{6,34930},{15,34964},{8,35065},{3,35198},{12,35199},{1,35199},{8,35330},{11,35432},{2,35432},{8,35564},{1,35665},{10,35698},{1,35908},{10,35909},{12,36032},{3,36032},{11,36165},{2,36166},{2,36401},{11,36402},{10,36532},{9,36669},{4,36670},{8,36798},{7,36898},{2,36899},{1,37130},{10,37131},{9,37265},{10,37399},{1,37400},{11,37499},{10,37630},{3,37631},{9,37731},{8,37865},{1,37866},{7,37999},{6,38099},{2,38100},{2,38333},{10,38365},{3,38599},{7,38599},{3,38832},{10,38833},{1,39038},{6,39066},{3,39298},{3,39532},{6,39532},{8,39533},{10,39533},{13,39534},{4,40000},{6,40000},{8,40000},{10,40001},{6,40232},{8,40467},{6,40567},{8,40700},{10,40833},{5,40967},{7,40968},{9,40968},{7,41167},{9,41405},{12,41406},{3,41867},{9,41868},{7,42101},{14,42201},{9,42334},{13,42334},{12,42760},{6,42784},{13,42784},{8,43018},{10,43251},{15,43252},{4,43718},{8,43719},{13,43719},{6,43953},{8,44186},{10,44187},{15,44187},{5,44652},{9,44652},{14,44653},{7,44885},{10,44886},{15,44917},{14,45017},{9,45018},{12,45151},{9,45152},{7,45152},{5,45385},{10,45386},{1,45621},{8,45622},{13,45655},{3,45776},{6,45888},{8,46016},{10,46119},{13,46252},{10,46354},{8,46486},{6,46587},{8,46719},{10,46819},{13,46953},{10,47086},{8,47187},{6,47319},{4,47552},{6,47553},{8,47554},{10,47555},{6,47786},{8,47986},{6,48120},{8,48252},{10,48354},{5,48455},{7,48487},{9,48488},{7,48721},{9,48954},{12,48955},{3,49387},{9,49389},{7,49622},{12,49623},{9,49854},{13,49887},{14,50121},{6,50324},{8,50355},{10,50355},{15,50456},{9,50587},{7,50588},{14,50688},{8,50821},{6,50822},{13,50955},{7,51055},{5,51056},{12,51189},{13,51288},{4,51289},{15,51421},{6,51421},{8,51521},{14,51555},{15,51656},{6,51656},{13,51789},{11,51790},{15,51888},{14,52002},{8,52003},{15,52123},{13,52255},{5,52256},{15,52392},{7,52393},{14,52489},{9,52489},{15,52622},{7,52623},{13,52756},{12,52757},{15,52890},{14,52990},{9,52991},{15,53122},{6,53222},{13,53257},{15,53357},{14,53489},{8,53490},{15,53622},{13,53722},{10,53722},{15,53858},{14,53957},{8,53958},{15,54089},{13,54222},{6,54223},{15,54337},{14,54462},{15,54556},{6,54709},{13,54710},{3,54711},{10,54909},{6,55140},{8,55141},{15,55173},{10,55273},{14,55407},{7,55409},{10,55541},{15,55640},{8,55641},{10,55774},{14,55875},{9,55876},{10,56007},{7,56141},{14,56141},{3,56142},{7,56275},{13,56375},{6,56375},{7,56508},{12,56641},{5,56642},{3,56875},{10,56875},{12,56974},{5,56975},{6,57108},{4,57109},{13,57110},{8,57241},{12,57375},{3,57376},{8,57475},{13,57608},{4,57609},{8,57741},{15,57841},{6,57842},{8,57974},{3,58075},{1,58076},{12,58108},{8,58209},{11,58344},{2,58345},{8,58442},{1,58543},{10,58575},{1,58808},{10,58809},{12,58909},{3,58909},{4,59042},{2,59042},{11,59046},{6,59175},{10,59309},{3,59310},{6,59443},{9,59542},{2,59543},{6,59676},{11,59775},{4,59776},{6,59910},{3,60009},{1,60010},{10,60042},{6,60143},{9,60276},{2,60277},{6,60375},{8,60510},{1,60511},{6,60643},{10,60744},{3,60745},{6,60876},{2,60976},{9,61010},{4,61110},{8,61247},{2,61248},{4,61343},{7,61481},{2,61482},{4,61611},{6,61744},{2,61745},{4,61843},{5,61978},{3,61979},{3,62210},{6,62211},{3,62443},{7,62477},{6,62676},{7,62810},{3,62911},{6,62912},{8,62944},{3,63043},{7,63177},{3,63277},{8,63411},{3,63510},{9,63645},{3,63745},{7,63877},{5,63877},{3,63978},{6,64111},{3,64245},{5,64345},{3,64578},{5,64712},{1,64812},{4,64812},{6,64813},{1,64945},{5,65078},{1,65178},{6,65312},{1,65412},{8,65545},{1,65645},{3,65779},{5,65780},{1,65780},{1,65878},{4,66012},{1,66146},{3,66246},{3,66478},{5,66582},{2,66712},{4,66713},{2,66946},{11,66947},{10,67079},{9,67179},{4,67179},{8,67314},{7,67447},{2,67447},{3,67647},{10,67679},{9,67779},{10,67914},{3,67915},{11,68046},{10,68147},{6,68148},{9,68283},{8,68379},{3,68380},{7,68514},{6,68614},{2,68615},{2,68847},{10,68879},{3,69115},{7,69116},{3,69346},{10,69347},{1,69547},{6,69581},{3,69782},{3,70016},{6,70047},{8,70048},{10,70048},{13,70048},{4,70487},{13,70488},{6,70615},{8,70748},{10,70848},{13,70980},{4,70981},{6,71115},{8,71216},{10,71347},{5,71447},{14,71482},{9,71580},{10,71714},{13,71814},{14,71948},{5,71948},{10,72048},{15,72180},{14,72281},{8,72415},{6,72416},{13,72416},{10,72549},{15,72648},{8,72649},{10,72781},{14,72880},{9,72881},{10,73015},{12,73148},{7,73149},{10,73249},{13,73381},{8,73382},{10,73515},{12,73615},{7,73616},{10,73749},{3,73848},{7,73881},{10,73981},{12,74116},{7,74117},{10,74215},{13,74349},{4,74350},{6,74482},{8,74583},{10,74716},{13,74818},{4,74819},{6,74950},{8,75083},{10,75183},{14,75317},{5,75318},{9,75417},{10,75549},{13,75649},{14,75783},{5,75784},{10,75917},{15,76017},{14,76151},{6,76250},{13,76284},{3,76383},{8,76519},{6,76520},{3,76618},{9,76750},{7,76751},{3,76885},{10,76983},{8,76984},{3,77118},{9,77251},{7,77252},{3,77351},{8,77483},{6,77484},{3,77618},{6,77717},{1,77718},{4,78185},{13,78186},{6,78318},{8,78417},{10,78551},{4,78655},{13,78685},{6,78787},{8,78917},{10,79053},{5,79151},{14,79185},{9,79284},{10,79418},{13,79518},{14,79652},{5,79653},{10,79752},{15,79884},{14,80019},{8,80118},{6,80118},{13,80151},{10,80251},{15,80384},{8,80385},{10,80486},{14,80618},{9,80619},{10,80751},{12,80852},{7,80853},{10,80986},{13,81084},{8,81085},{10,81218},{12,81352},{7,81353},{10,81452},{7,81584},{3,81585},{10,81717},{12,81818},{7,81818},{10,81952},{13,82052},{4,82053},{6,82185},{8,82318},{10,82417},{13,82558},{4,82559},{6,82653},{8,82786},{10,82885},{14,83019},{5,83019},{9,83120},{10,83252},{13,83353},{14,83486},{5,83487},{10,83585},{15,83719},{14,83853},{13,83953},{6,83954},{3,84086},{8,84186},{6,84187},{3,84319},{9,84453},{7,84455},{3,84553},{10,84686},{8,84687},{3,84820},{9,84920},{7,84922},{3,85053},{6,85154},{8,85186},{3,85289},{1,85386},{6,85420},{3,85620},{10,85621},{6,85886},{8,85887},{15,85888},{10,85988},{14,86122},{7,86123},{10,86220},{15,86355},{8,86355},{10,86488},{14,86587},{9,86587},{10,86720},{7,86825},{14,86826},{3,86826},{7,86956},{13,87088},{6,87089},{7,87189},{12,87322},{5,87322},{3,87554},{10,87555},{12,87687},{5,87688},{4,87788},{6,87821},{13,87822},{8,87920},{12,88054},{3,88055},{8,88189},{13,88288},{4,88289},{8,88421},{15,88555},{6,88556},{8,88656},{3,88789},{12,88790},{1,88790},{8,88893},{11,89021},{2,89022},{8,89155},{10,89289},{1,89290},{1,89489},{10,89491},{12,89622},{3,89622},{4,89755},{2,89755},{11,89756},{6,89889},{10,89989},{3,89990},{6,90121},{9,90222},{2,90222},{6,90356},{11,90461},{4,90462},{6,90588},{3,90721},{10,90722},{1,90722},{6,90822},{9,90957},{2,90958},{6,91089},{8,91189},{1,91190},{6,91291},{3,91421},{10,91457},{6,91557},{9,91690},{2,91691},{4,91789},{8,91921},{2,91922},{4,92056},{7,92157},{2,92158},{4,92290},{6,92389},{2,92390},{4,92522},{5,92657},{3,92658},{3,92864},{6,92890},{3,93123},{7,93123},{13,93358},{14,93459},{6,93590},{8,93592},{15,93593},{10,93690},{14,93823},{7,93824},{10,93922},{15,94058},{8,94059},{10,94191},{14,94292},{9,94293},{10,94423},{7,94525},{3,94526},{14,94557},{7,94690},{13,94790},{6,94791},{7,94890}}