15#{{10,2284},{6,2617},{9,2966},{10,2967},{6,3299},{8,3649},{10,3650},{6,4000},{10,4350},{4,4683},{12,4683},{9,5033},{4,5383},{8,5733},{10,5733},{4,6066},{6,6416},{10,6766},{1,7083},{9,7433},{10,7433},{1,7766},{8,8116},{10,8116},{1,8466},{6,8799},{1,9149},{9,9499},{5,9833},{8,10183},{5,10532},{7,10883},{1,11232},{5,11582},{6,11932},{3,12282},{6,12615},{10,12815},{3,12998},{10,13015},{10,13199},{1,13382},{9,13383},{3,13732},{9,13733},{10,13915},{6,14099},{10,14099},{3,14298},{12,14299},{3,14482},{10,14483},{4,14833},{1,15165},{4,15516},{10,15715},{1,15915},{10,15915},{10,16098},{6,16282},{9,16282},{1,16632},{9,16632},{10,16815},{4,16998},{10,17015},{12,17198},{1,17398},{10,17399},{1,17732},{5,18082},{1,18415},{10,18615},{5,18798},{10,18815},{10,18998},{3,19181},{9,19182},{5,19515},{9,19532},{10,19715},{1,19914},{9,19915},{7,20098},{5,20282},{7,20282},{5,20632},{2,20982},{5,21298},{7,21482},{2,21682},{7,21683},{8,21864},{8,21881},{1,22064},{7,22064},{2,22381},{7,22382},{8,22547},{5,22748},{7,22748},{6,22931},{2,23131},{6,23132},{1,23464},{6,23465},{3,23814},{6,24164},{10,24348},{3,24531},{10,24548},{10,24731},{1,24914},{9,24914},{3,25264},{9,25265},{6,25464},{10,25464},{12,25647},{3,25847},{10,25847},{1,26197},{4,26198},{1,26531},{4,26881},{10,27081},{1,27281},{10,27282},{10,27464},{6,27664},{9,27664},{1,28014},{9,28014},{10,28214},{4,28397},{10,28398},{12,28597},{1,28797},{10,28798},{1,29131},{8,29131},{5,29464},{1,29798},{10,29997},{5,30197},{10,30198},{10,30380},{3,30581},{9,30581},{5,30914},{9,30930},{10,31113},{1,31297},{9,31297},{7,31498},{5,31681},{7,31681},{1,32030},{5,32030},{2,32364},{5,32730},{7,32913},{2,33100},{7,33100},{8,33280},{1,33463},{7,33463},{2,33830},{7,33830},{5,34230},{7,34230},{6,34413},{2,34613},{6,34613},{1,34996},{4,34997},{6,34997},{7,35730},{8,36313},{1,37396},{1,38163},{5,38164},{8,38164},{9,38913},{10,39663},{1,40779},{8,41162},{1,41563},{3,41563},{5,41579},{8,41580},{13,41963},{12,42162},{8,43462},{1,43846},{3,43846},{2,44612},{5,44612},{10,45896},{2,46296},{9,46296},{8,46512},{6,46729},{1,47129},{6,47129},{1,47528},{7,47746},{4,47962},{1,48362},{8,48362},{4,48761},{1,49145},{1,49545},{8,49546},{5,49945},{9,50162},{2,50361},{5,50761},{10,50762},{3,51195},{1,51561},{8,51961},{6,52361},{8,52362},{3,52562},{6,52795},{13,52796},{3,53011},{1,53411},{12,53412},{3,53795},{1,54195},{8,54595},{1,54995},{3,54995},{14,55211},{1,55761},{14,55762},{2,56161},{5,56561},{2,56961},{7,57345},{10,57744},{2,58163},{12,58164},{10,58361},{13,58544},{1,58911},{3,59127},{6,59345},{15,59361},{1,59761},{13,59761},{3,60161},{6,60510},{15,60511},{3,60911},{13,60911},{15,61127},{6,61527},{10,61744},{3,61960},{13,61977},{4,62360},{1,62594},{4,62794},{15,62794},{6,63194},{13,63195},{1,63594},{4,63977},{15,63994},{1,64377},{13,64394},{15,64610},{4,64960},{10,65160},{1,65394},{13,65394},{1,65794},{12,65794},{5,66164},{10,66165},{10,66360},{1,66760},{10,66761},{5,67160},{3,67560},{5,67944},{9,67960},{15,68177},{1,68560},{5,68959},{14,68960},{1,69326},{12,69327},{5,69744},{9,69744},{9,69944},{2,70159},{5,70560},{7,70959},{9,70960},{5,71359},{15,71360},{14,71560},{2,71793},{15,71993},{5,72226},{13,72226},{1,72626},{6,72626},{3,72843},{6,73064},{8,73064},{15,73065},{1,73459},{6,73460},{13,73460},{3,73859},{6,74260},{8,74260},{3,74659},{6,74660},{13,74660},{8,74876},{15,74877},{6,75260},{3,75493},{10,75494},{3,75659},{6,75660},{13,75660},{1,76059},{4,76060},{1,76276},{4,76493},{8,76509},{15,76510},{1,76908},{6,76909},{13,76909},{1,77293},{4,77693},{8,77693},{15,77709},{1,78093},{6,78109},{13,78109},{8,78309},{15,78325},{4,78725},{10,78925},{1,79158},{6,79159},{13,79159},{1,79559},{5,79559},{8,79559},{12,79560},{1,79959},{3,79959},{10,79960},{3,80192},{10,80193},{1,80392},{5,80793},{3,81159},{1,81558},{2,81559},{9,81559},{8,81775},{15,81776},{1,81992},{1,82375},{7,82392},{14,82392},{1,82775},{5,82775},{7,82776},{12,82776},{1,83175},{2,83175},{9,83176},{2,83375},{9,83375},{2,83608},{5,84008},{1,84392},{2,84392},{9,84393},{5,84792},{8,84792},{15,84793},{7,85008},{14,85009},{2,85225},{8,85442},{15,85442},{5,85658},{6,85659},{13,85659},{6,86058},{13,86059},{1,86808},{1,87042}}