15#{{6,2891},{10,2891},{15,2892},{10,3403},{3,3932},{6,3932},{15,3933},{7,4295},{10,4295},{14,4312},{12,4824},{3,5353},{10,5353},{4,5699},{8,5699},{13,5700},{8,6238},{13,6749},{5,7095},{8,7096},{12,7096},{10,7607},{1,8137},{8,8137},{6,8507},{9,8507},{11,8507},{6,8998},{11,9524},{5,9870},{8,9871},{10,9871},{9,10400},{8,10929},{6,11275},{9,11276},{9,11622},{9,11969},{6,12316},{10,12317},{7,12663},{10,12680},{15,12681},{15,13027},{14,13374},{3,13721},{7,13903},{6,14101},{10,14101},{15,14101},{10,14630},{3,15145},{6,15159},{13,15159},{15,15159},{7,15506},{10,15506},{14,15506},{12,16035},{3,16547},{10,16547},{4,16894},{8,16894},{13,16895},{8,17423},{13,17952},{5,18284},{8,18299},{12,18300},{10,18829},{1,19341},{8,19341},{6,19688},{9,19688},{11,19688},{6,20216},{11,20729},{5,21093},{8,21093},{10,21093},{9,21440},{8,21638},{7,22167},{2,22497},{7,22497},{8,23026}}