15#{{10,869},{8,870},{6,870},{3,871},{9,1201},{8,1335},{7,1669},{6,1835},{9,2138},{7,2138},{5,2139},{2,2139},{8,2469},{7,2604},{6,2935},{5,3070},{8,3404},{6,3405},{4,3406},{1,3406},{7,3736},{6,3902},{5,4203},{4,4370},{7,4537},{7,4703},{5,4703},{3,4703},{8,4871},{7,5037},{10,5205},{9,5505},{10,5904},{8,5905},{6,5937},{3,5938},{9,6238},{8,6404},{7,6704},{6,6871},{9,7173},{7,7205},{5,7205},{2,7206},{8,7507},{7,7673},{6,8004},{5,8139},{8,8472},{6,8472},{4,8473},{1,8473},{7,8805},{6,8972},{5,9272},{4,9438},{7,9605},{7,9739},{5,9740},{3,9772},{8,9906},{7,10073},{10,10239},{8,10639},{7,10774},{6,10940},{3,10973},{10,11274},{3,11574},{8,11907},{6,12041},{7,12209},{5,12209},{2,12209},{10,12458},{11,12557},{10,12857},{9,12993},{5,13157},{8,13459},{1,13491},{9,13625},{8,13792},{9,13958},{10,14125},{5,14126},{8,14458},{7,14593},{6,14759},{4,14759},{1,14760},{8,14994},{9,15093},{8,15393},{7,15559},{3,15693},{6,15860},{7,15959},{8,16026},{6,16027},{3,16028},{6,16327},{10,16661},{3,16662},{8,16961},{9,17262},{2,17294},{13,17594},{12,17900},{5,17900},{11,18228},{10,18361},{9,18461},{10,18528},{1,18561},{5,18862},{11,19161},{10,19495},{7,19797},{4,19797},{10,20129},{3,20429},{8,20730},{7,20897},{6,21062},{3,21063},{10,21363},{3,21696},{8,21997},{6,22164},{7,22333},{5,22333},{2,22334},{10,22564},{11,22664},{10,22964},{9,23132},{5,23298},{8,23598},{1,23599},{9,23765},{8,23933},{9,24099},{10,24266},{8,24598},{7,24732},{6,24899},{4,24900},{1,24900},{8,25134},{9,25232},{8,25533},{7,25700},{3,25866},{6,26033},{7,26100},{8,26200},{6,26200},{3,26201},{6,26501},{10,26834},{3,26836},{8,27135},{9,27467},{2,27468},{13,27800},{12,28100},{7,28269},{11,28436},{10,28601},{9,28669},{10,28768},{1,28769},{5,29069},{11,29235},{13,29401},{5,29701},{14,29836},{13,29936},{12,30002},{1,30002},{13,30336},{14,30637},{7,30638},{14,30969},{15,31270},{6,31270},{13,31573},{3,31903},{12,32071},{13,32203},{15,32371},{14,32537},{5,32538},{13,32703},{12,33004},{5,33172},{11,33571},{12,33638},{13,33738},{4,33739},{8,34040},{9,34204},{1,34371},{8,34505},{9,34675},{10,34838},{10,35005},{5,35006},{5,35339},{5,35476},{8,35973},{9,36106},{10,36273},{11,36440},{2,36440},{10,36740},{9,36907},{2,37073},{9,37308},{10,37374},{11,37473},{12,37541},{13,37640},{4,37641},{12,37941},{11,38107},{12,38275},{13,38441},{14,38742},{14,38908},{3,38909},{14,39075},{7,39107},{14,39241},{7,39242},{14,39408},{7,39442},{14,39608},{7,39609},{14,39742},{7,39742},{14,39909},{7,39910},{14,40075},{7,40076},{14,40244},{5,40244},{14,40408},{5,40409},{14,40576},{5,40577},{14,40743},{5,40743},{8,41210},{7,41376},{6,41510},{3,41543},{1,41543},{10,41844},{3,42144},{8,42477},{6,42611},{7,42778},{5,42779},{2,42779},{10,43044},{11,43111},{10,43444},{9,43577},{5,43744},{8,44045},{1,44078},{9,44245},{8,44378},{9,44546},{10,44711},{10,44878},{11,45045},{12,45179},{13,45347},{4,45348},{8,45513},{15,45680},{14,46012},{7,46012},{5,46013},{3,46013},{12,46179},{13,46480},{13,46646}}