using group [1000000 0100000 0010000 0001000 0000100 0000010 0000001]0000001 [1100000 0100000 0010000 0001000 0000100 0000010 0000001]0000000 [0000001 1000000 0100000 0010000 0001000 0000100 0000010]0000000 hdr=0 orb=1 hdr=123 orb=11811 hdr=137+237+147+247+157+267+467 orb=1763776 hdr=145+123 orb=2314956 hdr=123+456 orb=45354240 hdr=123+245+346 orb=59527440 hdr=123+145+246+356+456 orb=21165312 hdr=124+235+346+457+561+267+137 orb=238109760 hdr=712+724+134+234+135+745+146 orb=444471552 hdr=127+123+147+245+167 orb=2222357760 hdr=127+123+234+345+456+567+617 orb=13545799680 hdr=127+234+125+457+245+167+126 orb=17778862080