15#{{1,3623},{8,3639},{5,3640},{10,3968},{8,4298},{11,4646},{10,4976},{8,5141},{9,5306},{10,5488},{9,5670},{3,6001},{6,6001},{8,6016},{10,6660},{8,6991},{11,7321},{10,7651},{8,7817},{9,7982},{10,8147},{9,8329},{4,8659},{8,8660},{5,8989},{10,9320},{8,9650},{11,9964},{10,10294},{8,10459},{9,10641},{10,10806},{9,10988},{2,11318},{5,11334},{8,11335},{5,11665},{10,11979},{8,12309},{11,12639},{10,12969},{8,13151},{9,13333},{10,13499},{9,13680},{1,14010},{5,14010},{1,14076},{9,14671},{9,15298},{8,15628},{10,15942},{1,16594},{3,16611},{5,16611},{9,17255},{9,17887},{8,18213},{10,18544},{1,19180},{4,19196},{6,19197},{10,19840},{10,20468},{9,20815},{11,21139},{1,21781},{4,21782},{5,21782},{10,22426},{11,22921},{10,23086},{8,23746},{6,24077},{1,24407},{5,24424},{9,25051},{9,25696},{8,26027},{10,26340},{3,27000},{5,27000},{9,27645},{9,28289},{8,28604},{10,28933},{1,29578},{4,29593},{6,29593},{10,30221},{10,30866},{9,31213},{11,31528},{1,32171},{4,32172},{5,32187},{10,32815},{11,33310},{10,33476},{9,33806},{8,34136},{6,34467},{1,34781},{4,34781},{13,34798},{1,34847},{10,35128},{10,35458},{8,35790},{8,36120},{6,36449},{8,36781},{12,37110},{3,37440},{5,37441},{7,37441},{12,37458},{9,37772},{9,38102},{7,38432},{7,38779},{5,39109},{7,39439},{9,39770},{2,40100},{4,40116},{6,40117},{6,40431},{8,40778},{6,41091},{8,41325},{6,41737},{8,41917},{9,42247},{10,42413},{11,42578},{2,42743},{5,42760},{7,42760},{9,42760},{10,44651},{11,44982},{5,45312},{8,45329},{12,45329},{11,45547},{10,45758},{5,45989},{8,45990},{10,46006},{11,46221},{12,46436},{5,46667},{8,46667},{12,46667},{11,46898},{10,47113},{5,47328},{8,47344},{10,47345},{15,47675},{3,47989},{6,48005},{12,48006},{11,48220},{10,48435},{3,48666},{6,48666},{10,48667},{11,48898},{12,49112},{3,49344},{6,49344},{12,49345},{11,49558},{10,49777},{3,50006},{6,50021},{10,50021},{8,50335},{9,50517},{1,50681},{4,50682},{10,50682},{12,51013},{4,51342},{12,51359},{8,51673},{9,51854},{1,52020},{4,52020},{10,52020},{12,52352},{1,52681},{4,52681},{12,52681},{1,52747},{8,53028},{9,53192},{2,53358},{5,53374},{8,53688},{9,53870},{2,54035},{5,54052},{8,54365},{9,54547},{2,54714},{5,54714},{10,54730},{9,54945},{10,55175},{2,55390},{5,55407},{11,55407},{10,55622},{11,55836},{5,56051},{8,56067},{12,56067},{11,56299},{10,56513},{5,56729},{8,56729},{10,56745},{11,56960},{12,57175},{5,57406},{8,57406},{12,57406},{11,57637},{10,57851},{5,58083},{8,58084},{10,58084},{15,58413},{3,58760},{6,58760},{12,58760},{11,58992},{10,59206},{3,59421},{6,59437},{10,59438},{11,59655},{12,59868},{3,60098},{6,60115},{12,60115},{11,60331},{10,60561},{3,60776},{6,60792},{10,60793},{9,61304},{4,61469},{10,61470},{12,61800},{1,62131},{4,62131},{12,62131},{9,62642},{1,62807},{4,62824},{10,62824},{1,62874},{12,63154},{1,63486},{4,63486},{12,63501},{1,63551},{8,63833},{9,63997},{2,64179},{5,64179},{8,64509},{9,64674},{2,64856},{5,64856},{8,65186},{2,65517},{5,65533},{10,65533},{11,65864},{2,66194},{12,66194},{15,66524},{5,66854},{8,66871},{5,67185},{5,67515},{8,67515},{10,67516},{8,67846},{5,68177},{8,68193},{11,68193},{10,68523},{8,68688},{5,68853},{8,68870},{9,68871},{10,69035},{9,69200},{3,69531},{6,69547},{8,69547},{5,69877},{3,70208},{6,70208},{10,70208},{8,70538},{3,70868},{6,70885},{11,70885},{10,71215},{8,71380},{3,71545},{6,71579},{9,71579},{10,71743},{9,71908},{4,72239},{8,72256},{5,72578},{1,72908},{4,72908},{10,72908},{8,73238},{1,73568},{4,73569},{11,73585},{1,73635},{10,73915},{8,74081},{4,74262},{9,74279},{1,74328},{10,74444},{9,74625},{2,74955},{5,74956},{8,74956},{5,75286},{2,75616},{5,75633},{10,75633},{8,75947},{2,76277},{5,76293},{11,76293},{10,76652},{8,76812},{2,76945},{5,76962},{9,76962},{10,77144},{9,77309},{5,77639},{8,77639},{5,77970},{5,78300},{8,78301},{10,78316},{8,78646},{5,78961},{8,78977},{11,78978},{10,79307},{8,79473},{5,79637},{8,79654},{9,79655},{10,79819},{9,79984},{3,80315},{6,80331},{8,80348},{5,80661},{3,80992},{6,81008},{10,81009},{8,81323},{3,81653},{6,81669},{11,81669},{10,81999},{8,82164},{3,82330},{6,82346},{9,82346},{10,82511},{9,82693},{1,83023},{4,83024},{8,83024},{5,83354},{1,83684},{4,83700},{10,83701},{8,84031},{2,84361},{5,84362},{8,84378},{5,84693},{2,85022},{5,85038},{10,85038},{8,85352},{1,85690},{5,85691},{8,85691},{9,85707},{10,85707}}