1*5971e316Smrg for (int c1 = 0; c1 <= 7; c1 += 1) 2*5971e316Smrg s0(1, c1); 3*5971e316Smrg for (int c0 = 2; c0 <= 6; c0 += 1) { 4*5971e316Smrg for (int c1 = 0; c1 < c0 - 1; c1 += 1) 5*5971e316Smrg s1(c0, c1); 6*5971e316Smrg for (int c1 = c0 - 1; c1 <= 4; c1 += 1) { 7*5971e316Smrg s1(c0, c1); 8*5971e316Smrg s0(c0, c1); 9*5971e316Smrg } 10*5971e316Smrg for (int c1 = 5; c1 <= 7; c1 += 1) 11*5971e316Smrg s0(c0, c1); 12*5971e316Smrg } 13*5971e316Smrg for (int c0 = 7; c0 <= 8; c0 += 1) 14*5971e316Smrg for (int c1 = c0 - 1; c1 <= 7; c1 += 1) 15*5971e316Smrg s0(c0, c1); 16