15# {{1,1552},{6,1571},{8,1800},{9,2048},{10,2296},{6,2789},{8,3098},{9,3926},{10,4250},{6,4527},{8,4774},{9,5030},{10,5272},{6,5518},{8,5749},{9,6002},{10,6253},{5,6506},{6,6523},{8,6792},{9,7118},{10,7396},{6,7641},{8,7905},{9,8211},{10,8472},{6,8734},{8,9034},{9,9301},{10,9581},{6,9872},{8,10087},{9,10365},{10,10657},{4,11642},{6,11642},{8,11901},{9,12170},{10,12432},{6,12680},{8,12904},{9,13154},{10,13386},{6,13614},{8,13854},{9,14074},{10,14311},{6,14565},{8,14838},{9,15058},{10,15316},{5,15566},{6,15568},{8,15815},{9,16070},{10,16307},{6,16549},{8,16786},{9,17025},{10,17267},{6,17484},{8,17720},{9,17962},{10,18198},{6,18420},{13,18421},{12,19096},{1,19332},{3,19332},{6,19348},{10,19364},{9,19781},{1,20195},{8,20195},{1,21005},{3,21033},{5,21033},{6,21845},{10,21846},{9,22518},{1,22783},{3,22801},{6,22801},{8,22802},{6,23232},{3,23661},{5,23662},{2,24469},{5,24486},{7,24486},{1,25313},{5,25313},{6,25941},{1,26172},{3,26172},{5,26173},{6,26600},{1,27015},{8,27015},{9,27658},{1,27873},{3,27890},{5,27890},{10,27906},{12,28333},{1,28747},{13,28747},{12,29373},{1,29606},{3,29606},{6,29623},{10,29623},{9,29852},{8,30083},{5,30500},{9,30500},{2,31312},{5,31327},{7,31328},{6,32136},{13,32152},{13,32581},{12,32813},{1,33044},{3,33061},{6,33062},{10,33062},{9,33510},{1,33906},{8,33921},{1,34730},{3,34731},{5,34746},{6,35576},{10,35601},{9,36235},{1,36448},{3,36466},{6,36466},{8,36467},{6,36894},{3,37363},{5,37364},{2,38178},{5,38179},{7,38196},{1,39010},{5,39010},{6,39651},{1,39880},{3,39880},{5,39898},{6,40334},{1,40747},{8,40747},{9,41388},{1,41637},{3,41637},{5,41653},{10,41653},{12,42083},{6,42513},{13,42529},{12,44088},{1,44326},{3,44345},{6,44346},{10,44346},{9,44574},{8,44806},{5,45234},{9,45235},{2,46045},{5,46062},{7,46062},{6,46873},