8#{{4,899},{4,1066},{4,1217},{4,1350},{4,1483},{4,1650},{4,1783},{4,1950},{4,2117},{4,2250},{4,2416},{4,2583},{4,2750},{4,2916},{4,3051},{4,3217},{4,3350},{4,3517},{4,3684},{4,3851},{4,4017},{4,4217},{4,4385},{4,4551},{4,4686},{4,4885},{4,5052},{4,5218},{4,5353},{4,5486},{4,5652},{4,5818},{4,5985},{4,6153},{4,6318},{4,6518},{4,6654},{4,6854},{4,7019},{4,7153},{4,7319},{4,7486},{4,7654},{4,7820},{4,7987},{4,8153},{4,8321},{4,8488},{4,8620},{4,8788},{4,8921},{4,9088},{4,9288},{4,9455},{4,9621},{4,9789},{4,9955},{4,10121},{4,10289},{4,10489},{4,10656},{4,10822},{4,10956},{4,11089},{4,11256},{4,11423},{4,11590},{4,11790},{4,11922},{4,12090},{4,12256},{4,12425},{4,12590},{4,12756},{4,12957},{4,13091},{4,13238},{4,13425},{4,13524},{4,13725},{4,13893},{4,14025},{4,14192},{4,14357},{4,14525},{4,14692},{4,14859},{4,15025},{4,15193},{4,15393},{4,15559},{4,15726},{4,15893},{4,16059},{4,16227},{4,16427},{4,16593},{4,16793},{4,16959},{4,17127},{4,17293},{4,17459},{4,17627},{4,17827},{4,17994},{4,18164},{4,18327},{4,18495},{4,18695},{4,18860},{4,19029},{4,19229},{4,19428},{4,19595},{4,19762},{4,19962},{4,20129},{4,20330},{4,20530},{4,20697},{4,20896},{4,21062},{4,21230},{4,21429},{4,21597},{4,21798},{4,21963},{4,22163},{4,22330},{4,22530},{4,22731},{4,22897},{4,23097},{4,23263},{4,23431},{4,23631},{4,23764},{4,23931},{4,24099},{4,24264},{4,24464},{4,24632},{4,24765},{4,24933},{4,25133},{4,25299},{4,25465},{4,25632},{4,25799},{4,25965},{4,26166},{4,26334},{4,26533},{4,26733},{4,26900},{4,27066},{4,27234},{4,27434},{4,27602},{4,27768},{4,27968},{4,28168},{4,28396},{4,28518},{4,28717},{4,28885},{4,29086},{4,29218},{4,29452},{4,29585},{4,29785},{4,29953},{4,30152},{4,30353},{4,30553},{4,30686},{4,30919},{4,31086},{4,31287},{4,31520},{4,31719},{4,31954},{4,32120},{4,32320},{4,32520},{4,32688},{4,32854},{1,32955},{5,34321},{1,35156},{1,36056},{1,36257},{1,36490},{1,36657},{1,36857},{1,37056},{1,37291},{1,37524},{1,37757},{1,37991},{1,38191},{1,38391},{1,38625},{1,38825},{1,39026},{1,39225},{1,39458},{1,39658},{1,39858},{1,40093},{1,40293},{1,40493},{1,40693},{1,40893},{1,41094},{1,41295},{1,41494},{1,41694},{1,41894},{1,42094},{1,42294},{4,42394},{4,42560},{4,42728},{4,42860},{4,43028},{4,43195},{4,43361},{4,43529},{4,43661},{4,43795},{4,43995},{4,44128},{4,44329},{4,44495},{4,44662},{4,44829},{4,44996},{4,45196},{4,45362},{4,45530},{4,45730},{4,45896},{4,46067},{4,46264},{4,46396},{4,46600},{4,46797},{4,46964},{4,47131},{4,47396},{4,47531},{4,47697},{4,47865},{4,48064},{2,48199},{4,48232},{4,48398},{4,48598},{4,48732},{4,48932},{4,49099},{4,49232},{4,49399},{4,49599},{4,49765},{4,49934},{4,50133},{4,50265},{4,50466},{4,50633},{4,50833},{4,51000},{4,51166},{4,51366},{4,51535},{4,51700},{4,51833},{4,52001},{4,52167},{4,52367},{4,52536},{4,52734},{4,52901},{4,53102},{4,53268},{4,53468},{4,53667},{4,53835},{4,53968},{4,54168},{4,54535},{4,54736},{4,54903},{4,55104},{4,55303},{4,55504},{4,55703},{4,55904},{4,56070}}