15#{{1,1000},{8,1000},{10,1000},{5,1403},{8,1403},{10,1403},{5,1805},{8,1805},{10,1805},{1,2208},{3,2208},{8,2208},{10,2208},{8,2409},{10,2409},{12,2409},{4,2611},{8,2611},{11,2611},{4,3013},{6,3013},{8,3013},{11,3013},{4,3416},{8,3416},{11,3416},{3,3819},{5,3919},{8,3919},{11,3919},{8,4121},{11,4121},{4,4221},{1,4322},{8,4322},{10,4322},{5,4725},{8,4725},{10,4725},{5,5128},{8,5128},{10,5128},{1,5530},{3,5530},{8,5530},{10,5530},{8,5732},{10,5732},{12,5732},{4,5933},{8,5933},{11,5933},{1,6336},{6,6336},{8,6336},{11,6336},{1,6738},{4,6738},{8,6738},{11,6738},{3,7040},{4,7141},{8,7141},{11,7141},{8,7242},{11,7242},{5,7342},{1,7443},{8,7443},{12,7443},{1,7846},{3,7846},{8,7846},{12,7846},{5,8248},{8,8248},{12,8248},{3,8651},{5,8651},{8,8651},{10,8651},{12,8651},{8,8852},{12,8852},{4,9054},{8,9054},{11,9054},{4,9456},{6,9456},{8,9456},{11,9456},{4,9859},{8,9859},{11,9859},{3,10161},{5,10262},{8,10262},{11,10262},{8,10463},{11,10463},{4,10564},{1,10664},{8,10664},{10,10664},{1,11067},{5,11067},{8,11067},{10,11067},{5,11470},{8,11470},{10,11470},{3,11872},{5,11872},{8,11872},{10,11872},{8,12577},{10,12577},{7,12678},{9,12678},{8,12980},{10,12980},{7,13081},{9,13081},{6,13383},{8,13383},{4,13483},{6,13483},{2,13785},{5,13785},{1,13886},{5,13886},{8,13886},{1,14289},{3,14289},{5,14289},{8,14289},{1,14691},{5,14691},{10,14691},{1,15094},{3,15094},{5,15094},{10,15094},{1,15497},{5,15497},{9,15497},{8,15698},{1,15899},{3,15899},{6,16101},{1,16302},{1,16705},{3,16705},{5,16705},{5,17007},{1,17107},{5,17107},{8,17107},{1,17510},{3,17510},{5,17510},{8,17510},{1,17913},{5,17913},{10,17913},{5,18114},{10,18114},{1,18315},{3,18315},{5,18517},{9,18517},{5,18718},{2,19121},{5,19121},{10,19121},{9,19221},{11,19221},{5,19423},{10,19423},{4,19523},{9,19523},{11,19523},{5,19826},{12,19826},{3,19926},{7,19926},{10,19926},{2,20228},{9,20228},{1,20329},{5,20329},{8,20329},{1,20732},{3,20732},{5,20732},{8,20732},{5,21034},{8,21034},{5,21134},{10,21134},{5,21336},{10,21336},{1,21537},{3,21537},{5,21738},{10,21738},{4,21940},{6,21940},{9,21940},{8,22141},{1,22342},{4,22342},{6,22544},{1,22745},{5,23047},{1,23148},{4,23148},{6,23148},{1,23450},{8,23450},{2,23550},{5,23550},{9,23550},{8,23852},{2,23953},{5,23953},{9,23953},{8,24255},{5,24356},{6,24356},{10,24356},{5,24557},{10,24557},{7,24758},{5,24960},{8,24960},{1,25161},{1,25564},{3,25564},{10,25564},{8,25664},{11,25664},{5,25866},{10,25866},{5,25966},{8,25966},{11,25966},{5,26268},{12,26268},{6,26369},{8,26369},{10,26369},{5,26671},{8,26671},{1,26772},{5,26772},{8,26772},{1,27174},{3,27174},{5,27174},{8,27174},{1,27577},{5,27577},{10,27577},{1,27980},{3,27980},{5,27980},{10,27980},{5,28282},{10,28282},{1,28383},{5,28383},{9,28383},{5,28584},{8,28584},{1,28785},{3,28785},{6,28987},{1,29188},{1,29591},{3,29591},{5,29591},{1,29993},{5,29993},{8,29993},{1,30396},{3,30396},{5,30396},{8,30396},{5,30698},{8,30698},{1,30799},{5,30799},{10,30799},{5,31000},{10,31000},{1,31201},{3,31201},{5,31403},{9,31403},{5,31604},{3,31906},{4,32007},{10,32007},{9,32107},{11,32107},{5,32309},{10,32309},{4,32409},{9,32409},{11,32409},{5,32711},{12,32711},{3,32812},{7,32812},{10,32812},{2,33114},{9,33114},{1,33215},{5,33215},{8,33215},{1,33617},{3,33617},{5,33617},{8,33617},{5,33919},{8,33919},{5,34020},{10,34020},{5,34221},{10,34221},{1,34423},{3,34423},{5,34624},{10,34624},{4,34826},{6,34826},{9,34826},{8,35027},{1,35228},{4,35228},{6,35430},{1,35631},{5,35933},{1,36034},{4,36034},{6,36034},{4,36336},{8,36336},{2,36436},{5,36436},{9,36436},{8,36738},{2,36839},{5,36839},{9,36839},{8,37141},{5,37242},{6,37242},{10,37242},{5,37443},{10,37443},{7,37644},{5,37846},{8,37846},{8,38047},{10,38349},{9,38450},{10,38752},{9,38852},{15,38852},{14,38953},{13,39054},{8,39154},{12,39154},{6,39255},{11,39255},{10,39356},{9,39456},{5,39557},{8,39557},{1,39658},{8,39658},{10,39658},{8,39859},{12,39859},{1,40060},{3,40060},{8,40262},{10,40262},{15,40262},{1,40463},{8,40765},{8,40866},{10,40866},{12,40866},{8,41168},{10,41168},{4,41268},{8,41268},{11,41268},{10,41470},{1,41671},{4,41671},{4,41872},{8,41872},{4,42074},{4,42376},{4,42477},{8,42477},{10,42477},{4,42779},{8,42779},{1,42879},{8,42879},{10,42879},{8,43081},{12,43081},{1,43282},{3,43282},{8,43483},{10,43483},{15,43483},{1,43685},{1,43987},{1,44087},{3,44087},{8,44087},{10,44087},{15,44087},{1,44389},{5,44490},{7,44490},{11,44490},{8,44691},{13,44691},{5,44893},{7,44893},{7,45094},{9,45094},{12,45094},{5,45295},{4,45597},{3,45698},{8,45698},{2,46000},{5,46000},{7,46000},{1,46101},{8,46101},{10,46101},{8,46302},{12,46302},{1,46503},{3,46503},{8,46705},{10,46705},{15,46705},{1,46906},{8,47208},{8,47309},{10,47309},{12,47309},{8,47611},{10,47611},{4,47711},{8,47711},{11,47711},{10,47913},{1,48114},{4,48114},{4,48315},{8,48315},{4,48517},{4,48819},{4,48919},{8,48919},{10,48919},{4,49221},{8,49221},{1,49322},{8,49322},{10,49322},{8,49523},{12,49523},{1,49725},{3,49725},{8,49926},{12,49926},{1,50128},{8,50329},{12,50329},{1,50530},{3,50530},{8,50530},{12,50530},{10,50732},{5,50933},{7,50933},{13,50933},{12,51134},{2,51336},{5,51336},{8,51336},{5,51638},{9,51638},{5,51738},{7,51738},{4,52040},{8,52040},{3,52141},{5,52141},{9,52141},{2,52443},{7,52443},{1,52544},{8,52544},{10,52544},{8,52745},{12,52745},{1,52946},{3,52946},{8,53148},{10,53148},{15,53148},{1,53349},{8,53651},{8,53752},{10,53752},{12,53752},{8,54054},{10,54054},{4,54154},{8,54154},{11,54154},{10,54356},{1,54557},{4,54557},{4,54758},{8,54758},{4,54960},{4,55262},{4,55362},{8,55362},{10,55362},{4,55664},{8,55664},{1,55765},{8,55765},{10,55765},{8,55966},{12,55966},{1,56168},{3,56168},{8,56369},{10,56369},{15,56369},{1,56570},{1,56872},{1,56973},{3,56973},{8,56973},{10,56973},{15,56973},{1,57275},{5,57376},{9,57376},{14,57376},{13,57577},{5,57779},{7,57779},{9,57980},{12,57980},{5,58181},{4,58483},{3,58584},{8,58584},{2,58886},{5,58886},{7,58886},{1,58987},{8,58987},{10,58987},{8,59188},{12,59188},{1,59389},{3,59389},{8,59591},{10,59591},{15,59591},{1,59792},{8,60094},{8,60195},{10,60195},{12,60195},{8,60497},{10,60497},{4,60597},{8,60597},{11,60597},{10,60799},{1,61000},{4,61000},{4,61201},{8,61201},{4,61403},{4,61705},{4,61805},{8,61805},{10,61805},{4,62107},{8,62107},{5,62208},{9,62208},{8,62409},{2,62611},{5,62611},{9,62611},{8,62812},{5,63013},{9,63013},{4,63315},{3,63416},{5,63416},{10,63416},{2,63718},{4,63819},{6,63819},{8,63819},{11,63819},{4,64221},{4,64523},{6,64624},{10,64624},{6,64926},{1,65027},{3,65027},{6,65027},{9,65027},{1,65430},{3,65430},{5,65430},{8,65430},{1,65732},{1,65832},{3,65832},{5,65832},{1,66134},{3,66134},{1,66235},{8,66235},{12,66235},{1,66537},{1,66638},{8,66638},{10,66638},{15,66638},{6,66940},{8,66940},{4,67040},{6,67040},{8,67040},{11,67040},{4,67342},{1,67443},{4,67443},{6,67443},{10,67443},{4,67745},{4,67846},{6,67846},{9,67846},{4,68148},{1,68248},{4,68248},{6,68248},{8,68248},{4,68450},{4,68550},{1,68651},{8,68651},{10,68651},{1,68953},{1,69054},{3,69054},{1,69356},{1,69456},{8,69456},{12,69456},{1,69758},{1,69859},{3,69859},{8,69859}}
