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