15#{{3,0},{4,438},{3,876},{6,876},{8,1314},{8,1606},{6,1679},{4,1752},{10,1752},{1,3796},{11,3796},{4,4745},{7,4745},{9,4745},{4,6716},{12,6716},{5,7300},{10,7300},{9,7884},{7,8176},{5,8249},{3,8322},{10,8322},{3,10220},{12,10220},{7,10804},{10,10804},{3,11388},{9,11388},{1,11826},{5,11826},{6,11826},{3,14162},{6,14600},{7,15038},{4,15476},{6,15476},{8,15476},{4,15914},{8,15914},{5,16352},{8,16352},{4,16790},{9,16790},{8,17593},{1,18907},{4,18907},{7,18907},{2,19345},{7,19345},{2,19783},{7,19783},{2,20221},{6,20221},{3,20659},{5,20732},{3,22046},{1,22557},{4,22557},{6,22557},{1,23214},{6,23214},{1,23798},{5,23798},{7,23798},{1,24236},{5,24236},{6,24236},{8,24236},{4,24820},{8,24820},{1,25404},{4,25404},{9,25404},{5,25769},{3,25842},{2,25915},{10,25915},{3,27448},{4,27886},{2,28324},{6,28324},{3,28397},{4,28470},{5,28543},{6,28616},{7,28689},{8,28762},{8,29054},{6,29127},{4,29200},{10,29200},{1,31244},{11,31244},{4,32193},{7,32193},{9,32193},{4,34164},{12,34164},{5,34748},{10,34748},{9,35332},{7,35624},{5,35697},{3,35770},{10,35770},{3,37668},{12,37668},{7,38252},{10,38252},{5,38836},{9,38836},{1,39274},{5,39274},{6,39274},{3,41318},{6,41756},{7,42194},{1,42632},{4,42632},{8,42632},{4,43070},{8,43070},{4,43508},{8,43508},{4,43946},{9,43946},{4,44749},{8,44749},{2,46063},{7,46063},{2,46501},{7,46501},{2,46939},{7,46939},{2,47377},{6,47377},{3,47815},{5,47888},{3,49202},{4,49640},{3,50078},{3,50516},{1,51173},{5,51173},{7,51173},{1,51976},{6,51976},{3,52414},{1,54020},{5,54020},{7,54020},{1,54823},{6,54823},{3,55261},{1,56867},{5,56867},{7,56867},{1,57670},{6,57670},{4,58108},{7,58108},{1,59714},{5,59714},{7,59714},{1,60517},{6,60517},{3,60955},{1,62561},{5,62561},{7,62561},{1,63364},{6,63364},{4,63802},{9,63802},{1,65335},{5,65335},{7,65335},{1,66138},{6,66138},{3,66649},{1,68182},{5,68182},{7,68182},{8,68985},{8,69423},{8,69496}}