1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 4 5 6 7 8      21
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 4 5 6 7 8      21
 2 4 5 6 7 8      27
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 4 6 7 8      14
 1 3 5 6 7 8      20
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 4 6 7 8      14
 1 3 5 6 7 8      20
 2 3 5 6 7 8      26
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 5 6 7 8      15
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 5 6 7 8      15
 1 3 4 6 7 8      19
 2 3 5 6 7 8      26
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 5 7      2
 1 2 3 4 5 8      3
 1 2 5 6 7 8      15
 1 3 5 6 7 8      20
 1 4 5 6 7 8      21
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 4 5 6 7 8      21
 2 4 5 6 7 8      27
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 4 5 7 8      13
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 4 5 7 8      13
 1 3 5 6 7 8      20
 2 3 5 6 7 8      26
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 2 3 5 6 7 8      26
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 6 7      4
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 5 6 7 8      20
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 2 4 6 7 8      14
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 3 4 5 7 8      18
 1 3 4 6 7 8      19
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 4 5 6 7 8      21
 2 4 5 6 7 8      27
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 4 5 6 7 8      21
 2 4 5 6 7 8      27
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 4 5 7 8      18
 1 3 4 6 7 8      19
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 5 6 7 8      20
 2 3 5 6 7 8      26
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 4 5 7 8      13
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 4 5 7 8      13
 1 2 4 6 7 8      14
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 4 5 7 8      13
 1 2 4 6 7 8      14
 1 3 5 6 7 8      20
 2 3 5 6 7 8      26
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 4 5 7 8      24
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 5 6 7 8      26
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 1 3 4 6 7 8      19
 2 3 5 6 7 8      26
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 5 6 7 8      20
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 5 6 7 8      20
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 6      1
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 6      1
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 5 6 7      7
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 4 6 7 8      19
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 4 5 7 8      18
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 2 4 5 6 8      12
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 5 6 8      17
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 2 3 4 5 6 7      22
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 6      1
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 4 5 6 7 8      21
 2 4 5 6 7 8      27
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 4 5 6 8      12
 1 3 4 5 6 8      17
 1 4 5 6 7 8      21
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 4 5 6 8      12
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 4 5 6 8      12
 1 3 5 6 7 8      20
 2 3 5 6 7 8      26
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 2 3 4 5 6 8      23
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 2 3 5 6 7 8      26
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 7      4
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 5 6 7 8      20
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 4 5 6 7 8      21
 2 4 5 6 7 8      27
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 4 5 6 7 8      21
 2 4 5 6 7 8      27
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 5 6 7 8      20
 2 3 5 6 7 8      26
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 5 6 7 8      20
 2 3 5 6 7 8      26
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 5 6 7 8      26
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 5 6 7 8      26
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 5 6 7 8      20
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 4 6 8      5
 1 2 5 6 7 8      15
 1 3 5 6 7 8      20
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 5 6 8      17
 1 4 5 6 7 8      21
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 6 7 8      19
 2 3 4 5 6 8      23
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 2 3 4 5 6 8      23
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 7      7
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 5 6 8      8
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 2 3 4 5 6 8      23
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 4 5 6 8      23
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 6 8      17
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 6 8      17
 1 4 5 6 7 8      21
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 5 7 8      18
 2 3 4 5 6 8      23
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 2 3 4 5 6 7      22
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 7      2
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 2 3 4 5 6 8      23
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 3 5 6 7      7
 1 2 4 5 6 7      11
 1 2 5 6 7 8      15
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 3 5 6 7      7
 1 3 4 5 6 7      16
 1 3 5 6 7 8      20
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 3 5 6 7      7
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 3 5 6 7      7
 1 4 5 6 7 8      21
 2 4 5 6 7 8      27
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 4 5 6 7      11
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 4 5 6 7      11
 1 3 5 6 7 8      20
 2 3 5 6 7 8      26
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 2 3 5 6 7 8      26
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 4 6 8      5
 1 2 3 4 7 8      6
 1 2 5 6 7 8      15
 1 3 5 6 7 8      20
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 5 6 7      11
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 1 3 4 5 7 8      18
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 5 6 7      11
 1 2 5 6 7 8      15
 1 3 4 6 7 8      19
 2 3 4 5 6 8      23
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 5 6 7      11
 1 2 5 6 7 8      15
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 5 6 8      12
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 1 3 5 6 7 8      20
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 5 6 8      12
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 5 6 8      12
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 5 6 7 8      20
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 1 3 4 5 7 8      18
 2 3 4 5 6 7      22
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 1 3 4 5 7 8      18
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 7      7
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 8      8
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 6 7 8      25
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 8      8
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 8      8
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 6 7 8      19
 2 3 4 6 7 8      25
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 8      8
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 8      8
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 2 3 4 6 7 8      25
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 5 6 8      8
 1 2 3 5 7 8      9
 1 2 4 6 7 8      14
 1 3 4 6 7 8      19
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 6 8      17
 1 3 4 5 7 8      18
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 6 8      17
 1 3 4 5 7 8      18
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 2 3 4 6 7 8      25
 2 3 5 6 7 8      26
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 2 4 5 7 8      13
 1 3 4 6 7 8      19
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 2 3 4 5 6 8      23
 2 3 4 5 7 8      24
************************
 1 2 3 4 5 8      3
 1 2 3 6 7 8      10
 1 2 4 6 7 8      14
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 1 3 4 5 7 8      18
 2 3 4 5 6 7      22
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 7      7
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 6 8      17
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 7      7
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 7 8      18
 2 3 4 5 6 8      23
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 7      7
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 7      7
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 2 3 4 5 6 8      23
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 7      7
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 7      7
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 6 7 8      19
 2 3 4 5 7 8      24
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 2 3 4 5 6 7      22
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 1 3 4 6 7 8      19
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 1 3 4 6 7 8      19
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 7      4
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 2 3 4 5 6 8      23
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 5 6 7      16
 1 3 4 6 7 8      19
 2 3 4 5 6 8      23
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 5 6 7      16
 1 3 4 6 7 8      19
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 5 6 8      17
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 5 6 8      17
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 1 3 4 6 7 8      19
 2 3 4 5 6 8      23
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 2 3 4 5 6 7      22
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 7      4
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 2 3 4 5 6 8      23
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 6 7      11
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 4 5 7 8      24
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 6 7      11
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 6 7      11
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 2 3 4 5 6 7      22
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 7 8      13
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 7      7
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 7 8      18
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 7 8      18
 2 3 4 5 7 8      24
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 6 7      16
 2 3 4 5 7 8      24
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 8      5
 1 2 3 5 6 8      8
 1 2 3 6 7 8      10
 1 2 4 5 7 8      13
 1 3 4 5 7 8      18
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 7      11
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 2 3 4 5 7 8      24
 2 3 5 6 7 8      26
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 6 8      12
 1 2 4 6 7 8      14
 1 3 4 5 7 8      18
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 2 3 4 5 6 8      23
 2 3 4 6 7 8      25
************************
 1 2 3 4 6 8      5
 1 2 3 5 7 8      9
 1 2 4 5 7 8      13
 1 2 5 6 7 8      15
 1 3 4 5 6 8      17
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 5 7 8      24
 2 3 4 6 7 8      25
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 5 7 8      24
 2 3 4 6 7 8      25
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 3 4 5 7 8      18
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 7      11
 1 3 4 5 7 8      18
 1 3 4 6 7 8      19
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 5 6 7      16
 2 3 4 5 7 8      24
 2 3 4 6 7 8      25
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 6 8      12
 1 2 5 6 7 8      15
 1 3 4 5 7 8      18
 1 3 4 6 7 8      19
 2 3 4 5 6 7      22
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 2 4 6 7 8      14
 1 3 4 5 6 7      16
 2 3 4 5 6 8      23
 2 3 5 6 7 8      26
************************
 1 2 3 4 7 8      6
 1 2 3 5 6 8      8
 1 2 4 5 7 8      13
 1 2 4 6 7 8      14
 1 3 4 5 6 8      17
 1 3 5 6 7 8      20
 2 3 4 5 6 7      22
************************
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 6 7      16
 1 4 5 6 7 8      21
 2 3 4 5 6 8      23
************************
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 6 8      17
 2 3 4 5 6 7      22
 2 4 5 6 7 8      27
************************
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 2 4 5 6 7      11
 1 3 4 5 6 8      17
 2 3 4 5 6 8      23
 3 4 5 6 7 8      28
************************
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 6 7      16
 2 3 4 5 6 7      22
 3 4 5 6 7 8      28
************************
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 6 7      16
 2 3 4 5 6 8      23
 2 4 5 6 7 8      27
************************
 1 2 3 4 7 8      6
 1 2 3 5 7 8      9
 1 2 3 6 7 8      10
 1 2 4 5 6 8      12
 1 3 4 5 6 8      17
 1 4 5 6 7 8      21
 2 3 4 5 6 7      22
************************