A = [1, 2, 3, 4, 5, 6], K = 4: 15 K-subsets, dissociated ones: []
   (1, 2, 3, 4): 3=1+2; 4=1+3; 1+4=2+3
   (1, 2, 3, 5): 3=1+2; 5=2+3
   (1, 2, 3, 6): 6=1+2+3; 3=1+2
   (1, 2, 4, 5): 5=1+4; 1+5=2+4
   (1, 2, 4, 6): 6=2+4
   (1, 2, 5, 6): 6=1+5; 1+6=2+5
   (1, 3, 4, 5): 4=1+3; 5=1+4
   (1, 3, 4, 6): 4=1+3; 1+6=3+4
   (1, 3, 5, 6): 6=1+5
   (1, 4, 5, 6): 5=1+4; 6=1+5
   (2, 3, 4, 5): 5=2+3; 2+5=3+4
   (2, 3, 4, 6): 6=2+4
   (2, 3, 5, 6): 5=2+3; 2+6=3+5
   (2, 4, 5, 6): 6=2+4
   (3, 4, 5, 6): 3+6=4+5
   d([1, 2, 3, 4, 5, 6]) = 3
A = [1, 2, 3, 4, 5, 6, 7], K = 4: 35 K-subsets, dissociated ones: [(3, 5, 6, 7)]
   d([1, 2, 3, 4, 5, 6, 7]) = 4
A = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15], K = 5: 1287 K-subsets, dissociated ones: []
   (1, 2, 3, 4, 5): 3=1+2; 4=1+3; 5=1+4
   (1, 2, 3, 4, 6): 6=1+2+3; 3=1+2; 4=1+3
   (1, 2, 3, 4, 7): 7=1+2+4; 3=1+2; 4=1+3
   (1, 2, 3, 4, 8): 3=1+2; 8=1+3+4; 4=1+3
   (1, 2, 3, 4, 9): 3=1+2; 4=1+3; 9=2+3+4
   (1, 2, 3, 4, 10): 10=1+2+3+4; 3=1+2; 4=1+3
   (1, 2, 3, 4, 12): 3=1+2; 4=1+3; 1+4=2+3
   (1, 2, 3, 4, 13): 3=1+2; 4=1+3; 1+4=2+3
   (1, 2, 3, 4, 15): 3=1+2; 4=1+3; 1+4=2+3
   (1, 2, 3, 5, 6): 6=1+2+3; 3=1+2; 6=1+5
   (1, 2, 3, 5, 7): 3=1+2; 2+7=1+3+5; 5=2+3
   (1, 2, 3, 5, 8): 8=1+2+5; 3=1+2; 5=2+3
   (1, 2, 3, 5, 9): 3=1+2; 9=1+3+5; 5=2+3
   (1, 2, 3, 5, 10): 3=1+2; 10=2+3+5; 5=2+3
   (1, 2, 3, 5, 12): 3=1+2; 5=2+3
   (1, 2, 3, 5, 13): 3=1+2; 5=2+3
   (1, 2, 3, 5, 15): 3=1+2; 5=2+3
   (1, 2, 3, 6, 7): 6=1+2+3; 3=1+2; 7=1+6
   (1, 2, 3, 6, 8): 6=1+2+3; 3=1+2; 2+8=1+3+6
   (1, 2, 3, 6, 9): 6=1+2+3; 9=1+2+6; 3=1+2
   (1, 2, 3, 6, 10): 6=1+2+3; 3=1+2; 10=1+3+6
   (1, 2, 3, 6, 12): 12=1+2+3+6; 6=1+2+3; 3=1+2
   (1, 2, 3, 6, 13): 6=1+2+3; 3=1+2
   (1, 2, 3, 6, 15): 6=1+2+3; 3=1+2
   (1, 2, 3, 7, 8): 3=1+2; 8=1+7; 2+8=3+7
   (1, 2, 3, 7, 9): 3=1+2; 2+9=1+3+7; 9=2+7
   (1, 2, 3, 7, 10): 10=1+2+7; 3=1+2; 10=3+7
   (1, 2, 3, 7, 12): 3=1+2; 12=2+3+7
   (1, 2, 3, 7, 13): 13=1+2+3+7; 3=1+2
   (1, 2, 3, 7, 15): 3=1+2
   (1, 2, 3, 8, 9): 3=1+2; 9=1+8; 2+9=3+8
   (1, 2, 3, 8, 10): 3=1+2; 2+10=1+3+8; 10=2+8
   (1, 2, 3, 8, 12): 3=1+2; 12=1+3+8; 1+12=2+3+8
   (1, 2, 3, 8, 13): 3=1+2; 13=2+3+8
   (1, 2, 3, 8, 15): 3=1+2
   (1, 2, 3, 9, 10): 3=1+2; 10=1+9; 2+10=3+9
   (1, 2, 3, 9, 12): 12=1+2+9; 3=1+2; 12=3+9
   (1, 2, 3, 9, 13): 3=1+2; 13=1+3+9; 1+13=2+3+9
   (1, 2, 3, 9, 15): 15=1+2+3+9; 3=1+2
   (1, 2, 3, 10, 12): 3=1+2; 2+12=1+3+10; 12=2+10
   (1, 2, 3, 10, 13): 13=1+2+10; 3=1+2; 13=3+10
   (1, 2, 3, 10, 15): 3=1+2; 15=2+3+10
   (1, 2, 3, 12, 13): 3=1+2; 13=1+12; 2+13=3+12
   (1, 2, 3, 12, 15): 15=1+2+12; 3=1+2; 15=3+12
   (1, 2, 3, 13, 15): 3=1+2; 2+15=1+3+13; 15=2+13
   (1, 2, 4, 5, 6): 5=1+4; 6=1+5; 6=2+4
   (1, 2, 4, 5, 7): 7=1+2+4; 5=1+4; 7=2+5
   (1, 2, 4, 5, 8): 8=1+2+5; 5=1+4; 2+8=1+4+5
   (1, 2, 4, 5, 9): 5=1+4; 9=4+5; 1+5=2+4
   (1, 2, 4, 5, 10): 10=1+4+5; 5=1+4; 1+10=2+4+5
   (1, 2, 4, 5, 12): 12=1+2+4+5; 5=1+4; 1+5=2+4
   (1, 2, 4, 5, 13): 5=1+4; 1+5=2+4
   (1, 2, 4, 5, 15): 5=1+4; 1+5=2+4
   (1, 2, 4, 6, 7): 7=1+2+4; 7=1+6; 6=2+4
   (1, 2, 4, 6, 8): 6=2+4; 8=2+6; 2+8=4+6
   (1, 2, 4, 6, 9): 9=1+2+6; 2+9=1+4+6; 6=2+4
   (1, 2, 4, 6, 10): 6=2+4; 10=4+6
   (1, 2, 4, 6, 12): 12=2+4+6; 6=2+4
   (1, 2, 4, 6, 13): 13=1+2+4+6; 6=2+4
   (1, 2, 4, 6, 15): 6=2+4
   (1, 2, 4, 7, 8): 7=1+2+4; 8=1+7; 1+8=2+7
   (1, 2, 4, 7, 9): 7=1+2+4; 9=2+7; 2+9=4+7
   (1, 2, 4, 7, 10): 7=1+2+4; 10=1+2+7; 2+10=1+4+7
   (1, 2, 4, 7, 12): 7=1+2+4; 12=1+4+7; 1+12=2+4+7
   (1, 2, 4, 7, 13): 7=1+2+4; 13=2+4+7
   (1, 2, 4, 7, 15): 7=1+2+4
   (1, 2, 4, 8, 9): 9=1+8; 1+9=2+8; 1+2+9=4+8
   (1, 2, 4, 8, 10): 10=2+8; 2+10=4+8
   (1, 2, 4, 8, 12): 12=4+8
   (1, 2, 4, 8, 13): 13=1+4+8; 1+13=2+4+8
   (1, 2, 4, 8, 15): 15=1+2+4+8
   (1, 2, 4, 9, 10): 10=1+9; 1+10=2+9; 1+2+10=4+9
   (1, 2, 4, 9, 12): 12=1+2+9; 2+12=1+4+9; 1+12=4+9
   (1, 2, 4, 9, 13): 13=4+9
   (1, 2, 4, 9, 15): 15=2+4+9
   (1, 2, 4, 10, 12): 12=2+10; 2+12=4+10
   (1, 2, 4, 10, 13): 13=1+2+10; 2+13=1+4+10; 1+13=4+10
   (1, 2, 4, 10, 15): 15=1+4+10; 1+15=2+4+10
   (1, 2, 4, 12, 13): 13=1+12; 1+13=2+12; 1+2+13=4+12
   (1, 2, 4, 12, 15): 15=1+2+12; 2+15=1+4+12; 1+15=4+12
   (1, 2, 4, 13, 15): 15=2+13; 2+15=4+13
   (1, 2, 5, 6, 7): 6=1+5; 7=1+6; 7=2+5
   (1, 2, 5, 6, 8): 8=1+2+5; 6=1+5; 8=2+6
   (1, 2, 5, 6, 9): 9=1+2+6; 6=1+5; 2+9=5+6
   (1, 2, 5, 6, 10): 6=1+5; 2+10=1+5+6; 1+6=2+5
   (1, 2, 5, 6, 12): 12=1+5+6; 6=1+5; 1+12=2+5+6
   (1, 2, 5, 6, 13): 6=1+5; 13=2+5+6; 1+6=2+5
   (1, 2, 5, 6, 15): 6=1+5; 1+6=2+5
   (1, 2, 5, 7, 8): 8=1+2+5; 8=1+7; 7=2+5
   (1, 2, 5, 7, 9): 7=2+5; 9=2+7; 1+2+9=5+7
   (1, 2, 5, 7, 10): 10=1+2+7; 7=2+5; 2+10=5+7
   (1, 2, 5, 7, 12): 7=2+5; 12=5+7
   (1, 2, 5, 7, 13): 13=1+5+7; 7=2+5; 1+13=2+5+7
   (1, 2, 5, 7, 15): 15=1+2+5+7; 7=2+5
   (1, 2, 5, 8, 9): 8=1+2+5; 9=1+8; 1+9=2+8
   (1, 2, 5, 8, 10): 8=1+2+5; 10=2+8; 1+2+10=5+8
   (1, 2, 5, 8, 12): 8=1+2+5; 2+12=1+5+8; 1+12=5+8
   (1, 2, 5, 8, 13): 8=1+2+5; 13=5+8
   (1, 2, 5, 8, 15): 8=1+2+5; 15=2+5+8
   (1, 2, 5, 9, 10): 10=1+9; 1+10=2+9
   (1, 2, 5, 9, 12): 12=1+2+9; 2+12=5+9
   (1, 2, 5, 9, 13): 2+13=1+5+9; 1+13=5+9
   (1, 2, 5, 9, 15): 15=1+5+9; 1+15=2+5+9
   (1, 2, 5, 10, 12): 12=2+10; 1+2+12=5+10
   (1, 2, 5, 10, 13): 13=1+2+10; 2+13=5+10
   (1, 2, 5, 10, 15): 15=5+10
   (1, 2, 5, 12, 13): 13=1+12; 1+13=2+12
   (1, 2, 5, 12, 15): 15=1+2+12; 2+15=5+12
   (1, 2, 5, 13, 15): 15=2+13; 1+2+15=5+13
   (1, 2, 6, 7, 8): 7=1+6; 8=1+7; 8=2+6
   (1, 2, 6, 7, 9): 9=1+2+6; 7=1+6; 9=2+7
   (1, 2, 6, 7, 10): 10=1+2+7; 7=1+6; 1+7=2+6
   (1, 2, 6, 7, 12): 7=1+6; 2+12=1+6+7; 1+7=2+6
   (1, 2, 6, 7, 13): 7=1+6; 13=6+7; 1+7=2+6
   (1, 2, 6, 7, 15): 7=1+6; 15=2+6+7; 1+7=2+6
   (1, 2, 6, 8, 9): 9=1+2+6; 9=1+8; 8=2+6
   (1, 2, 6, 8, 10): 8=2+6; 10=2+8
   (1, 2, 6, 8, 12): 8=2+6; 2+12=6+8
   (1, 2, 6, 8, 13): 2+13=1+6+8; 8=2+6; 1+13=6+8
   (1, 2, 6, 8, 15): 15=1+6+8; 8=2+6; 1+15=2+6+8
   (1, 2, 6, 9, 10): 9=1+2+6; 10=1+9; 1+10=2+9
   (1, 2, 6, 9, 12): 9=1+2+6; 12=1+2+9; 1+2+12=6+9
   (1, 2, 6, 9, 13): 9=1+2+6; 2+13=6+9
   (1, 2, 6, 9, 15): 9=1+2+6; 15=6+9
   (1, 2, 6, 10, 12): 12=2+10
   (1, 2, 6, 10, 13): 13=1+2+10; 1+2+13=6+10
   (1, 2, 6, 10, 15): 2+15=1+6+10; 1+15=6+10
   (1, 2, 6, 12, 13): 13=1+12; 1+13=2+12
   (1, 2, 6, 12, 15): 15=1+2+12; 1+2+15=6+12
   (1, 2, 6, 13, 15): 15=2+13
   (1, 2, 7, 8, 9): 8=1+7; 9=1+8; 9=2+7
   (1, 2, 7, 8, 10): 10=1+2+7; 8=1+7; 10=2+8
   (1, 2, 7, 8, 12): 8=1+7; 1+8=2+7; 1+2+12=7+8
   (1, 2, 7, 8, 13): 8=1+7; 2+13=7+8; 1+8=2+7
   (1, 2, 7, 8, 15): 8=1+7; 15=7+8; 1+8=2+7
   (1, 2, 7, 9, 10): 10=1+2+7; 10=1+9; 9=2+7
   (1, 2, 7, 9, 12): 12=1+2+9; 9=2+7
   (1, 2, 7, 9, 13): 9=2+7; 1+2+13=7+9
   (1, 2, 7, 9, 15): 2+15=1+7+9; 9=2+7; 1+15=7+9
   (1, 2, 7, 10, 12): 10=1+2+7; 12=2+10
   (1, 2, 7, 10, 13): 10=1+2+7; 13=1+2+10
   (1, 2, 7, 10, 15): 10=1+2+7; 2+15=7+10
   (1, 2, 7, 12, 13): 13=1+12; 1+13=2+12
   (1, 2, 7, 12, 15): 15=1+2+12
   (1, 2, 7, 13, 15): 15=2+13
   (1, 2, 8, 9, 10): 9=1+8; 10=1+9; 10=2+8
   (1, 2, 8, 9, 12): 12=1+2+9; 9=1+8; 1+9=2+8
   (1, 2, 8, 9, 13): 9=1+8; 1+9=2+8
   (1, 2, 8, 9, 15): 9=1+8; 2+15=8+9; 1+9=2+8
   (1, 2, 8, 10, 12): 10=2+8; 12=2+10
   (1, 2, 8, 10, 13): 13=1+2+10; 10=2+8
   (1, 2, 8, 10, 15): 10=2+8; 1+2+15=8+10
   (1, 2, 8, 12, 13): 13=1+12; 1+13=2+12
   (1, 2, 8, 12, 15): 15=1+2+12
   (1, 2, 8, 13, 15): 15=2+13
   (1, 2, 9, 10, 12): 12=1+2+9; 10=1+9; 12=2+10
   (1, 2, 9, 10, 13): 13=1+2+10; 10=1+9; 1+10=2+9
   (1, 2, 9, 10, 15): 10=1+9; 1+10=2+9
   (1, 2, 9, 12, 13): 12=1+2+9; 13=1+12; 1+13=2+12
   (1, 2, 9, 12, 15): 12=1+2+9; 15=1+2+12
   (1, 2, 9, 13, 15): 15=2+13
   (1, 2, 10, 12, 13): 13=1+2+10; 13=1+12; 12=2+10
   (1, 2, 10, 12, 15): 15=1+2+12; 12=2+10
   (1, 2, 10, 13, 15): 13=1+2+10; 15=2+13
   (1, 2, 12, 13, 15): 15=1+2+12; 13=1+12; 15=2+13
   (1, 3, 4, 5, 6): 4=1+3; 5=1+4; 6=1+5
   (1, 3, 4, 5, 7): 4=1+3; 5=1+4; 3+7=1+4+5
   (1, 3, 4, 5, 8): 8=1+3+4; 4=1+3; 5=1+4
   (1, 3, 4, 5, 9): 9=1+3+5; 4=1+3; 5=1+4
   (1, 3, 4, 5, 10): 4=1+3; 10=1+4+5; 5=1+4
   (1, 3, 4, 5, 12): 4=1+3; 5=1+4; 12=3+4+5
   (1, 3, 4, 5, 13): 13=1+3+4+5; 4=1+3; 5=1+4
   (1, 3, 4, 5, 15): 4=1+3; 5=1+4
   (1, 3, 4, 6, 7): 4=1+3; 7=1+6; 7=3+4
   (1, 3, 4, 6, 8): 8=1+3+4; 4=1+3; 3+8=1+4+6
   (1, 3, 4, 6, 9): 4=1+3; 9=3+6; 1+6=3+4
   (1, 3, 4, 6, 10): 10=1+3+6; 4=1+3; 10=4+6
   (1, 3, 4, 6, 12): 4=1+3; 1+12=3+4+6; 1+6=3+4
   (1, 3, 4, 6, 13): 4=1+3; 13=3+4+6; 1+6=3+4
   (1, 3, 4, 6, 15): 4=1+3; 1+6=3+4
   (1, 3, 4, 7, 8): 8=1+3+4; 4=1+3; 8=1+7
   (1, 3, 4, 7, 9): 4=1+3; 3+9=1+4+7; 7=3+4
   (1, 3, 4, 7, 10): 4=1+3; 7=3+4; 10=3+7
   (1, 3, 4, 7, 12): 4=1+3; 12=1+4+7; 7=3+4
   (1, 3, 4, 7, 13): 4=1+3; 7=3+4; 1+13=3+4+7
   (1, 3, 4, 7, 15): 15=1+3+4+7; 4=1+3; 7=3+4
   (1, 3, 4, 8, 9): 8=1+3+4; 4=1+3; 9=1+8
   (1, 3, 4, 8, 10): 8=1+3+4; 4=1+3; 3+10=1+4+8
   (1, 3, 4, 8, 12): 8=1+3+4; 12=1+3+8; 4=1+3
   (1, 3, 4, 8, 13): 8=1+3+4; 4=1+3; 13=1+4+8
   (1, 3, 4, 8, 15): 8=1+3+4; 4=1+3; 15=3+4+8
   (1, 3, 4, 9, 10): 4=1+3; 10=1+9; 3+10=4+9
   (1, 3, 4, 9, 12): 4=1+3; 12=3+9; 1+12=4+9
   (1, 3, 4, 9, 13): 13=1+3+9; 4=1+3; 13=4+9
   (1, 3, 4, 9, 15): 4=1+3; 1+15=3+4+9
   (1, 3, 4, 10, 12): 4=1+3; 3+12=1+4+10; 1+12=3+10
   (1, 3, 4, 10, 13): 4=1+3; 13=3+10; 1+13=4+10
   (1, 3, 4, 10, 15): 4=1+3; 15=1+4+10
   (1, 3, 4, 12, 13): 4=1+3; 13=1+12; 3+13=4+12
   (1, 3, 4, 12, 15): 4=1+3; 15=3+12; 1+15=4+12
   (1, 3, 4, 13, 15): 4=1+3; 3+15=1+4+13; 1+15=3+13
   (1, 3, 5, 6, 7): 6=1+5; 7=1+6; 1+7=3+5
   (1, 3, 5, 6, 8): 6=1+5; 8=3+5; 3+8=5+6
   (1, 3, 5, 6, 9): 9=1+3+5; 6=1+5; 3+9=1+5+6
   (1, 3, 5, 6, 10): 10=1+3+6; 6=1+5; 1+10=5+6
   (1, 3, 5, 6, 12): 12=1+5+6; 6=1+5
   (1, 3, 5, 6, 13): 6=1+5; 1+13=3+5+6
   (1, 3, 5, 6, 15): 15=1+3+5+6; 6=1+5
   (1, 3, 5, 7, 8): 8=1+7; 8=3+5; 1+7=3+5
   (1, 3, 5, 7, 9): 9=1+3+5; 3+9=5+7; 1+7=3+5
   (1, 3, 5, 7, 10): 3+10=1+5+7; 10=3+7; 1+7=3+5
   (1, 3, 5, 7, 12): 12=5+7; 1+7=3+5
   (1, 3, 5, 7, 13): 13=1+5+7; 1+7=3+5
   (1, 3, 5, 7, 15): 15=3+5+7; 1+7=3+5
   (1, 3, 5, 8, 9): 9=1+3+5; 9=1+8; 8=3+5
   (1, 3, 5, 8, 10): 8=3+5; 3+10=5+8; 1+10=3+8
   (1, 3, 5, 8, 12): 12=1+3+8; 8=3+5; 1+12=5+8
   (1, 3, 5, 8, 13): 8=3+5; 13=5+8
   (1, 3, 5, 8, 15): 8=3+5; 1+15=3+5+8
   (1, 3, 5, 9, 10): 9=1+3+5; 10=1+9; 1+3+10=5+9
   (1, 3, 5, 9, 12): 9=1+3+5; 3+12=1+5+9; 12=3+9
   (1, 3, 5, 9, 13): 9=1+3+5; 13=1+3+9; 1+13=5+9
   (1, 3, 5, 9, 15): 9=1+3+5; 15=1+5+9
   (1, 3, 5, 10, 12): 3+12=5+10; 1+12=3+10
   (1, 3, 5, 10, 13): 3+13=1+5+10; 13=3+10
   (1, 3, 5, 10, 15): 15=5+10
   (1, 3, 5, 12, 13): 13=1+12; 1+3+13=5+12
   (1, 3, 5, 12, 15): 3+15=1+5+12; 15=3+12
   (1, 3, 5, 13, 15): 3+15=5+13; 1+15=3+13
   (1, 3, 6, 7, 8): 7=1+6; 8=1+7; 1+8=3+6
   (1, 3, 6, 7, 9): 7=1+6; 9=3+6; 1+9=3+7
   (1, 3, 6, 7, 10): 10=1+3+6; 7=1+6; 10=3+7
   (1, 3, 6, 7, 12): 7=1+6; 1+12=6+7
   (1, 3, 6, 7, 13): 7=1+6; 13=6+7
   (1, 3, 6, 7, 15): 7=1+6; 1+15=3+6+7
   (1, 3, 6, 8, 9): 9=1+8; 9=3+6; 1+8=3+6
   (1, 3, 6, 8, 10): 10=1+3+6; 1+8=3+6; 1+10=3+8
   (1, 3, 6, 8, 12): 12=1+3+8; 3+12=1+6+8; 1+8=3+6
   (1, 3, 6, 8, 13): 1+8=3+6; 1+13=6+8
   (1, 3, 6, 8, 15): 15=1+6+8; 1+8=3+6
   (1, 3, 6, 9, 10): 10=1+3+6; 10=1+9; 9=3+6
   (1, 3, 6, 9, 12): 9=3+6; 12=3+9; 3+12=6+9
   (1, 3, 6, 9, 13): 13=1+3+9; 3+13=1+6+9; 9=3+6
   (1, 3, 6, 9, 15): 9=3+6; 15=6+9
   (1, 3, 6, 10, 12): 10=1+3+6; 1+12=3+10; 1+3+12=6+10
   (1, 3, 6, 10, 13): 10=1+3+6; 13=3+10; 3+13=6+10
   (1, 3, 6, 10, 15): 10=1+3+6; 1+15=6+10
   (1, 3, 6, 12, 13): 13=1+12
   (1, 3, 6, 12, 15): 15=3+12; 3+15=6+12
   (1, 3, 6, 13, 15): 1+15=3+13; 1+3+15=6+13
   (1, 3, 7, 8, 9): 8=1+7; 9=1+8; 1+9=3+7
   (1, 3, 7, 8, 10): 8=1+7; 10=3+7; 1+10=3+8
   (1, 3, 7, 8, 12): 12=1+3+8; 8=1+7; 3+12=7+8
   (1, 3, 7, 8, 13): 8=1+7; 3+13=1+7+8
   (1, 3, 7, 8, 15): 8=1+7; 15=7+8
   (1, 3, 7, 9, 10): 10=1+9; 10=3+7; 1+9=3+7
   (1, 3, 7, 9, 12): 12=3+9; 1+9=3+7; 1+3+12=7+9
   (1, 3, 7, 9, 13): 13=1+3+9; 3+13=7+9; 1+9=3+7
   (1, 3, 7, 9, 15): 1+9=3+7; 1+15=7+9
   (1, 3, 7, 10, 12): 10=3+7; 1+12=3+10
   (1, 3, 7, 10, 13): 10=3+7; 13=3+10; 1+3+13=7+10
   (1, 3, 7, 10, 15): 3+15=1+7+10; 10=3+7
   (1, 3, 7, 12, 13): 13=1+12
   (1, 3, 7, 12, 15): 15=3+12; 1+3+15=7+12
   (1, 3, 7, 13, 15): 1+15=3+13
   (1, 3, 8, 9, 10): 9=1+8; 10=1+9; 1+10=3+8
   (1, 3, 8, 9, 12): 12=1+3+8; 9=1+8; 12=3+9
   (1, 3, 8, 9, 13): 13=1+3+9; 9=1+8; 1+3+13=8+9
   (1, 3, 8, 9, 15): 9=1+8; 3+15=1+8+9
   (1, 3, 8, 10, 12): 12=1+3+8; 1+10=3+8; 1+12=3+10
   (1, 3, 8, 10, 13): 13=3+10; 1+10=3+8
   (1, 3, 8, 10, 15): 3+15=8+10; 1+10=3+8
   (1, 3, 8, 12, 13): 12=1+3+8; 13=1+12
   (1, 3, 8, 12, 15): 12=1+3+8; 15=3+12
   (1, 3, 8, 13, 15): 1+15=3+13
   (1, 3, 9, 10, 12): 10=1+9; 12=3+9; 1+12=3+10
   (1, 3, 9, 10, 13): 13=1+3+9; 10=1+9; 13=3+10
   (1, 3, 9, 10, 15): 10=1+9; 1+3+15=9+10
   (1, 3, 9, 12, 13): 13=1+3+9; 13=1+12; 12=3+9
   (1, 3, 9, 12, 15): 12=3+9; 15=3+12
   (1, 3, 9, 13, 15): 13=1+3+9; 1+15=3+13
   (1, 3, 10, 12, 13): 13=1+12; 13=3+10; 1+12=3+10
   (1, 3, 10, 12, 15): 15=3+12; 1+12=3+10
   (1, 3, 10, 13, 15): 13=3+10; 1+15=3+13
   (1, 3, 12, 13, 15): 13=1+12; 15=3+12; 1+15=3+13
   (1, 4, 5, 6, 7): 5=1+4; 6=1+5; 7=1+6
   (1, 4, 5, 6, 8): 5=1+4; 6=1+5; 4+8=1+5+6
   (1, 4, 5, 6, 9): 5=1+4; 6=1+5; 9=4+5
   (1, 4, 5, 6, 10): 10=1+4+5; 5=1+4; 6=1+5
   (1, 4, 5, 6, 12): 5=1+4; 12=1+5+6; 6=1+5
   (1, 4, 5, 6, 13): 5=1+4; 6=1+5
   (1, 4, 5, 6, 15): 5=1+4; 6=1+5; 15=4+5+6
   (1, 4, 5, 7, 8): 5=1+4; 8=1+7; 4+8=5+7
   (1, 4, 5, 7, 9): 5=1+4; 4+9=1+5+7; 9=4+5
   (1, 4, 5, 7, 10): 10=1+4+5; 5=1+4; 1+10=4+7
   (1, 4, 5, 7, 12): 12=1+4+7; 5=1+4; 12=5+7
   (1, 4, 5, 7, 13): 5=1+4; 13=1+5+7
   (1, 4, 5, 7, 15): 5=1+4; 1+15=4+5+7
   (1, 4, 5, 8, 9): 5=1+4; 9=1+8; 9=4+5
   (1, 4, 5, 8, 10): 10=1+4+5; 5=1+4; 4+10=1+5+8
   (1, 4, 5, 8, 12): 5=1+4; 12=4+8; 1+8=4+5
   (1, 4, 5, 8, 13): 13=1+4+8; 5=1+4; 13=5+8
   (1, 4, 5, 8, 15): 5=1+4; 1+8=4+5
   (1, 4, 5, 9, 10): 10=1+4+5; 5=1+4; 10=1+9
   (1, 4, 5, 9, 12): 5=1+4; 9=4+5; 1+12=4+9
   (1, 4, 5, 9, 13): 5=1+4; 9=4+5; 13=4+9
   (1, 4, 5, 9, 15): 5=1+4; 15=1+5+9; 9=4+5
   (1, 4, 5, 10, 12): 10=1+4+5; 5=1+4; 4+12=1+5+10
   (1, 4, 5, 10, 13): 10=1+4+5; 5=1+4; 1+13=4+10
   (1, 4, 5, 10, 15): 10=1+4+5; 15=1+4+10; 5=1+4
   (1, 4, 5, 12, 13): 5=1+4; 13=1+12; 4+13=5+12
   (1, 4, 5, 12, 15): 5=1+4; 1+15=4+12
   (1, 4, 5, 13, 15): 5=1+4; 4+15=1+5+13
   (1, 4, 6, 7, 8): 7=1+6; 8=1+7; 1+4+8=6+7
   (1, 4, 6, 7, 9): 7=1+6; 4+9=6+7; 1+9=4+6
   (1, 4, 6, 7, 10): 7=1+6; 4+10=1+6+7; 10=4+6
   (1, 4, 6, 7, 12): 12=1+4+7; 7=1+6; 1+12=6+7
   (1, 4, 6, 7, 13): 7=1+6; 13=6+7
   (1, 4, 6, 7, 15): 7=1+6
   (1, 4, 6, 8, 9): 9=1+8; 1+9=4+6; 1+4+9=6+8
   (1, 4, 6, 8, 10): 10=4+6; 4+10=6+8
   (1, 4, 6, 8, 12): 12=4+8
   (1, 4, 6, 8, 13): 13=1+4+8; 1+13=6+8
   (1, 4, 6, 8, 15): 15=1+6+8
   (1, 4, 6, 9, 10): 10=1+9; 10=4+6; 1+9=4+6
   (1, 4, 6, 9, 12): 4+12=1+6+9; 1+9=4+6; 1+12=4+9
   (1, 4, 6, 9, 13): 13=4+9; 1+9=4+6
   (1, 4, 6, 9, 15): 15=6+9; 1+9=4+6
   (1, 4, 6, 10, 12): 10=4+6; 4+12=6+10
   (1, 4, 6, 10, 13): 4+13=1+6+10; 10=4+6; 1+13=4+10
   (1, 4, 6, 10, 15): 15=1+4+10; 10=4+6; 1+15=6+10
   (1, 4, 6, 12, 13): 13=1+12; 1+4+13=6+12
   (1, 4, 6, 12, 15): 4+15=1+6+12; 1+15=4+12
   (1, 4, 6, 13, 15): 4+15=6+13
   (1, 4, 7, 8, 9): 8=1+7; 9=1+8
   (1, 4, 7, 8, 10): 8=1+7; 1+10=4+7; 1+4+10=7+8
   (1, 4, 7, 8, 12): 12=1+4+7; 8=1+7; 4+12=1+7+8
   (1, 4, 7, 8, 13): 13=1+4+8; 8=1+7
   (1, 4, 7, 8, 15): 8=1+7; 15=7+8
   (1, 4, 7, 9, 10): 10=1+9; 1+10=4+7
   (1, 4, 7, 9, 12): 12=1+4+7; 4+12=7+9; 1+12=4+9
   (1, 4, 7, 9, 13): 4+13=1+7+9; 13=4+9
   (1, 4, 7, 9, 15): 1+15=7+9
   (1, 4, 7, 10, 12): 12=1+4+7; 1+10=4+7; 1+4+12=7+10
   (1, 4, 7, 10, 13): 4+13=7+10; 1+10=4+7; 1+13=4+10
   (1, 4, 7, 10, 15): 15=1+4+10; 1+10=4+7
   (1, 4, 7, 12, 13): 12=1+4+7; 13=1+12
   (1, 4, 7, 12, 15): 12=1+4+7; 4+15=7+12; 1+15=4+12
   (1, 4, 7, 13, 15): 1+4+15=7+13
   (1, 4, 8, 9, 10): 9=1+8; 10=1+9
   (1, 4, 8, 9, 12): 9=1+8; 12=4+8; 1+12=4+9
   (1, 4, 8, 9, 13): 13=1+4+8; 9=1+8; 13=4+9
   (1, 4, 8, 9, 15): 9=1+8
   (1, 4, 8, 10, 12): 12=4+8
   (1, 4, 8, 10, 13): 13=1+4+8; 1+13=4+10; 1+4+13=8+10
   (1, 4, 8, 10, 15): 15=1+4+10; 4+15=1+8+10
   (1, 4, 8, 12, 13): 13=1+4+8; 13=1+12; 12=4+8
   (1, 4, 8, 12, 15): 12=4+8; 1+15=4+12; 1+4+15=8+12
   (1, 4, 8, 13, 15): 13=1+4+8
   (1, 4, 9, 10, 12): 10=1+9; 1+12=4+9
   (1, 4, 9, 10, 13): 10=1+9; 13=4+9; 1+13=4+10
   (1, 4, 9, 10, 15): 15=1+4+10; 10=1+9; 4+15=9+10
   (1, 4, 9, 12, 13): 13=1+12; 13=4+9; 1+12=4+9
   (1, 4, 9, 12, 15): 1+12=4+9; 1+15=4+12
   (1, 4, 9, 13, 15): 13=4+9
   (1, 4, 10, 12, 13): 13=1+12; 1+13=4+10
   (1, 4, 10, 12, 15): 15=1+4+10; 1+15=4+12
   (1, 4, 10, 13, 15): 15=1+4+10; 1+13=4+10
   (1, 4, 12, 13, 15): 13=1+12; 1+15=4+12
   (1, 5, 6, 7, 8): 6=1+5; 7=1+6; 8=1+7
   (1, 5, 6, 7, 9): 6=1+5; 7=1+6; 5+9=1+6+7
   (1, 5, 6, 7, 10): 6=1+5; 7=1+6; 1+10=5+6
   (1, 5, 6, 7, 12): 12=1+5+6; 6=1+5; 7=1+6
   (1, 5, 6, 7, 13): 13=1+5+7; 6=1+5; 7=1+6
   (1, 5, 6, 7, 15): 6=1+5; 7=1+6
   (1, 5, 6, 8, 9): 6=1+5; 9=1+8; 5+9=6+8
   (1, 5, 6, 8, 10): 6=1+5; 5+10=1+6+8; 1+10=5+6
   (1, 5, 6, 8, 12): 12=1+5+6; 6=1+5; 1+12=5+8
   (1, 5, 6, 8, 13): 6=1+5; 13=5+8; 1+13=6+8
   (1, 5, 6, 8, 15): 6=1+5; 15=1+6+8
   (1, 5, 6, 9, 10): 6=1+5; 10=1+9; 5+10=6+9
   (1, 5, 6, 9, 12): 12=1+5+6; 6=1+5
   (1, 5, 6, 9, 13): 6=1+5; 1+13=5+9
   (1, 5, 6, 9, 15): 15=1+5+9; 6=1+5; 15=6+9
   (1, 5, 6, 10, 12): 12=1+5+6; 6=1+5; 5+12=1+6+10
   (1, 5, 6, 10, 13): 6=1+5; 1+10=5+6
   (1, 5, 6, 10, 15): 6=1+5; 15=5+10; 1+10=5+6
   (1, 5, 6, 12, 13): 12=1+5+6; 6=1+5; 13=1+12
   (1, 5, 6, 12, 15): 12=1+5+6; 6=1+5
   (1, 5, 6, 13, 15): 6=1+5; 5+15=1+6+13
   (1, 5, 7, 8, 9): 8=1+7; 9=1+8; 1+5+9=7+8
   (1, 5, 7, 8, 10): 8=1+7; 5+10=7+8
   (1, 5, 7, 8, 12): 8=1+7; 12=5+7; 1+12=5+8
   (1, 5, 7, 8, 13): 13=1+5+7; 8=1+7; 13=5+8
   (1, 5, 7, 8, 15): 8=1+7; 15=7+8
   (1, 5, 7, 9, 10): 10=1+9; 1+5+10=7+9
   (1, 5, 7, 9, 12): 5+12=1+7+9; 12=5+7
   (1, 5, 7, 9, 13): 13=1+5+7; 1+13=5+9
   (1, 5, 7, 9, 15): 15=1+5+9; 1+15=7+9
   (1, 5, 7, 10, 12): 12=5+7; 5+12=7+10
   (1, 5, 7, 10, 13): 13=1+5+7; 5+13=1+7+10
   (1, 5, 7, 10, 15): 15=5+10
   (1, 5, 7, 12, 13): 13=1+5+7; 13=1+12; 12=5+7
   (1, 5, 7, 12, 15): 5+15=1+7+12; 12=5+7
   (1, 5, 7, 13, 15): 13=1+5+7; 5+15=7+13
   (1, 5, 8, 9, 10): 9=1+8; 10=1+9
   (1, 5, 8, 9, 12): 9=1+8; 5+12=8+9; 1+12=5+8
   (1, 5, 8, 9, 13): 9=1+8; 5+13=1+8+9; 13=5+8
   (1, 5, 8, 9, 15): 15=1+5+9; 9=1+8
   (1, 5, 8, 10, 12): 1+12=5+8; 1+5+12=8+10
   (1, 5, 8, 10, 13): 13=5+8; 5+13=8+10
   (1, 5, 8, 10, 15): 15=5+10
   (1, 5, 8, 12, 13): 13=1+12; 13=5+8; 1+12=5+8
   (1, 5, 8, 12, 15): 5+15=8+12; 1+12=5+8
   (1, 5, 8, 13, 15): 13=5+8; 1+5+15=8+13
   (1, 5, 9, 10, 12): 10=1+9
   (1, 5, 9, 10, 13): 10=1+9; 1+13=5+9; 1+5+13=9+10
   (1, 5, 9, 10, 15): 15=1+5+9; 10=1+9; 5+15=1+9+10
   (1, 5, 9, 12, 13): 13=1+12; 1+13=5+9
   (1, 5, 9, 12, 15): 15=1+5+9; 1+5+15=9+12
   (1, 5, 9, 13, 15): 15=1+5+9; 1+13=5+9
   (1, 5, 10, 12, 13): 13=1+12
   (1, 5, 10, 12, 15): 15=5+10
   (1, 5, 10, 13, 15): 15=5+10
   (1, 5, 12, 13, 15): 13=1+12
   (1, 6, 7, 8, 9): 7=1+6; 8=1+7; 9=1+8
   (1, 6, 7, 8, 10): 7=1+6; 8=1+7; 6+10=1+7+8
   (1, 6, 7, 8, 12): 7=1+6; 8=1+7; 1+12=6+7
   (1, 6, 7, 8, 13): 7=1+6; 8=1+7; 13=6+7
   (1, 6, 7, 8, 15): 15=1+6+8; 7=1+6; 8=1+7
   (1, 6, 7, 9, 10): 7=1+6; 10=1+9; 6+10=7+9
   (1, 6, 7, 9, 12): 7=1+6; 1+12=6+7
   (1, 6, 7, 9, 13): 7=1+6; 13=6+7
   (1, 6, 7, 9, 15): 7=1+6; 15=6+9; 1+15=7+9
   (1, 6, 7, 10, 12): 7=1+6; 6+12=1+7+10; 1+12=6+7
   (1, 6, 7, 10, 13): 7=1+6; 13=6+7
   (1, 6, 7, 10, 15): 7=1+6; 1+15=6+10
   (1, 6, 7, 12, 13): 7=1+6; 13=1+12; 13=6+7
   (1, 6, 7, 12, 15): 7=1+6; 1+12=6+7
   (1, 6, 7, 13, 15): 7=1+6; 6+15=1+7+13; 13=6+7
   (1, 6, 8, 9, 10): 9=1+8; 10=1+9; 1+6+10=8+9
   (1, 6, 8, 9, 12): 9=1+8; 6+12=1+8+9
   (1, 6, 8, 9, 13): 9=1+8; 1+13=6+8
   (1, 6, 8, 9, 15): 15=1+6+8; 9=1+8; 15=6+9
   (1, 6, 8, 10, 12): 6+12=8+10
   (1, 6, 8, 10, 13): 6+13=1+8+10; 1+13=6+8
   (1, 6, 8, 10, 15): 15=1+6+8; 1+15=6+10
   (1, 6, 8, 12, 13): 13=1+12; 1+13=6+8; 1+6+13=8+12
   (1, 6, 8, 12, 15): 15=1+6+8; 6+15=1+8+12
   (1, 6, 8, 13, 15): 15=1+6+8; 6+15=8+13; 1+13=6+8
   (1, 6, 9, 10, 12): 10=1+9; 1+6+12=9+10
   (1, 6, 9, 10, 13): 10=1+9; 6+13=9+10
   (1, 6, 9, 10, 15): 10=1+9; 15=6+9; 1+15=6+10
   (1, 6, 9, 12, 13): 13=1+12
   (1, 6, 9, 12, 15): 15=6+9; 6+15=9+12
   (1, 6, 9, 13, 15): 15=6+9; 1+6+15=9+13
   (1, 6, 10, 12, 13): 13=1+12
   (1, 6, 10, 12, 15): 1+15=6+10; 1+6+15=10+12
   (1, 6, 10, 13, 15): 1+15=6+10
   (1, 6, 12, 13, 15): 13=1+12
   (1, 7, 8, 9, 10): 8=1+7; 9=1+8; 10=1+9
   (1, 7, 8, 9, 12): 8=1+7; 9=1+8
   (1, 7, 8, 9, 13): 8=1+7; 9=1+8
   (1, 7, 8, 9, 15): 8=1+7; 9=1+8; 15=7+8
   (1, 7, 8, 10, 12): 8=1+7; 7+12=1+8+10
   (1, 7, 8, 10, 13): 8=1+7
   (1, 7, 8, 10, 15): 8=1+7; 15=7+8
   (1, 7, 8, 12, 13): 8=1+7; 13=1+12; 7+13=8+12
   (1, 7, 8, 12, 15): 8=1+7; 15=7+8
   (1, 7, 8, 13, 15): 8=1+7; 7+15=1+8+13; 15=7+8
   (1, 7, 9, 10, 12): 10=1+9; 7+12=9+10
   (1, 7, 9, 10, 13): 10=1+9; 7+13=1+9+10
   (1, 7, 9, 10, 15): 10=1+9; 1+15=7+9
   (1, 7, 9, 12, 13): 13=1+12; 1+7+13=9+12
   (1, 7, 9, 12, 15): 7+15=1+9+12; 1+15=7+9
   (1, 7, 9, 13, 15): 7+15=9+13; 1+15=7+9
   (1, 7, 10, 12, 13): 13=1+12
   (1, 7, 10, 12, 15): 7+15=10+12
   (1, 7, 10, 13, 15): 1+7+15=10+13
   (1, 7, 12, 13, 15): 13=1+12
   (1, 8, 9, 10, 12): 9=1+8; 10=1+9; 8+12=1+9+10
   (1, 8, 9, 10, 13): 9=1+8; 10=1+9
   (1, 8, 9, 10, 15): 9=1+8; 10=1+9
   (1, 8, 9, 12, 13): 9=1+8; 13=1+12; 8+13=9+12
   (1, 8, 9, 12, 15): 9=1+8
   (1, 8, 9, 13, 15): 9=1+8; 8+15=1+9+13
   (1, 8, 10, 12, 13): 13=1+12; 1+8+13=10+12
   (1, 8, 10, 12, 15): 8+15=1+10+12
   (1, 8, 10, 13, 15): 8+15=10+13
   (1, 8, 12, 13, 15): 13=1+12
   (1, 9, 10, 12, 13): 10=1+9; 13=1+12; 9+13=10+12
   (1, 9, 10, 12, 15): 10=1+9
   (1, 9, 10, 13, 15): 10=1+9; 9+15=1+10+13
   (1, 9, 12, 13, 15): 13=1+12; 1+9+15=12+13
   (1, 10, 12, 13, 15): 13=1+12; 10+15=12+13
   (2, 3, 4, 5, 6): 5=2+3; 4+6=2+3+5; 6=2+4
   (2, 3, 4, 5, 7): 5=2+3; 7=2+5; 7=3+4
   (2, 3, 4, 5, 8): 5=2+3; 3+8=2+4+5; 8=3+5
   (2, 3, 4, 5, 9): 9=2+3+4; 5=2+3; 9=4+5
   (2, 3, 4, 5, 10): 10=2+3+5; 5=2+3; 2+10=3+4+5
   (2, 3, 4, 5, 12): 5=2+3; 12=3+4+5; 2+5=3+4
   (2, 3, 4, 5, 13): 5=2+3; 2+5=3+4
   (2, 3, 4, 5, 15): 5=2+3; 2+5=3+4
   (2, 3, 4, 6, 7): 4+7=2+3+6; 6=2+4; 7=3+4
   (2, 3, 4, 6, 8): 6=2+4; 8=2+6; 2+8=4+6
   (2, 3, 4, 6, 9): 9=2+3+4; 6=2+4; 3+9=2+4+6
   (2, 3, 4, 6, 10): 6=2+4; 10=4+6
   (2, 3, 4, 6, 12): 12=2+4+6; 6=2+4
   (2, 3, 4, 6, 13): 6=2+4; 13=3+4+6
   (2, 3, 4, 6, 15): 15=2+3+4+6; 6=2+4
   (2, 3, 4, 7, 8): 4+8=2+3+7; 7=3+4; 3+8=4+7
   (2, 3, 4, 7, 9): 9=2+3+4; 9=2+7; 7=3+4
   (2, 3, 4, 7, 10): 3+10=2+4+7; 7=3+4; 10=3+7
   (2, 3, 4, 7, 12): 12=2+3+7; 7=3+4; 2+12=3+4+7
   (2, 3, 4, 7, 13): 13=2+4+7; 7=3+4
   (2, 3, 4, 7, 15): 7=3+4
   (2, 3, 4, 8, 9): 9=2+3+4; 4+9=2+3+8; 3+9=4+8
   (2, 3, 4, 8, 10): 10=2+8; 2+10=4+8
   (2, 3, 4, 8, 12): 12=4+8
   (2, 3, 4, 8, 13): 13=2+3+8; 2+13=3+4+8
   (2, 3, 4, 8, 15): 15=3+4+8
   (2, 3, 4, 9, 10): 9=2+3+4; 4+10=2+3+9; 3+10=4+9
   (2, 3, 4, 9, 12): 9=2+3+4; 3+12=2+4+9; 12=3+9
   (2, 3, 4, 9, 13): 9=2+3+4; 13=4+9
   (2, 3, 4, 9, 15): 9=2+3+4; 15=2+4+9
   (2, 3, 4, 10, 12): 12=2+10; 2+12=4+10
   (2, 3, 4, 10, 13): 3+13=2+4+10; 13=3+10
   (2, 3, 4, 10, 15): 15=2+3+10; 2+15=3+4+10
   (2, 3, 4, 12, 13): 4+13=2+3+12; 3+13=4+12; 2+13=3+12
   (2, 3, 4, 12, 15): 3+15=2+4+12; 15=3+12
   (2, 3, 4, 13, 15): 15=2+13; 2+15=4+13
   (2, 3, 5, 6, 7): 5=2+3; 7=2+5; 2+6=3+5
   (2, 3, 5, 6, 8): 5=2+3; 8=2+6; 8=3+5
   (2, 3, 5, 6, 9): 5=2+3; 9=3+6; 2+6=3+5
   (2, 3, 5, 6, 10): 10=2+3+5; 5=2+3; 3+10=2+5+6
   (2, 3, 5, 6, 12): 5=2+3; 2+12=3+5+6; 2+6=3+5
   (2, 3, 5, 6, 13): 5=2+3; 13=2+5+6; 2+6=3+5
   (2, 3, 5, 6, 15): 5=2+3; 2+6=3+5
   (2, 3, 5, 7, 8): 5=2+3; 7=2+5; 8=3+5
   (2, 3, 5, 7, 9): 5=2+3; 7=2+5; 9=2+7
   (2, 3, 5, 7, 10): 10=2+3+5; 5=2+3; 7=2+5
   (2, 3, 5, 7, 12): 12=2+3+7; 5=2+3; 7=2+5
   (2, 3, 5, 7, 13): 5=2+3; 7=2+5; 2+13=3+5+7
   (2, 3, 5, 7, 15): 5=2+3; 7=2+5; 15=3+5+7
   (2, 3, 5, 8, 9): 5=2+3; 8=3+5; 2+9=3+8
   (2, 3, 5, 8, 10): 10=2+3+5; 5=2+3; 10=2+8
   (2, 3, 5, 8, 12): 5=2+3; 3+12=2+5+8; 8=3+5
   (2, 3, 5, 8, 13): 13=2+3+8; 5=2+3; 8=3+5
   (2, 3, 5, 8, 15): 5=2+3; 15=2+5+8; 8=3+5
   (2, 3, 5, 9, 10): 10=2+3+5; 5=2+3; 2+10=3+9
   (2, 3, 5, 9, 12): 5=2+3; 12=3+9; 2+12=5+9
   (2, 3, 5, 9, 13): 5=2+3; 3+13=2+5+9
   (2, 3, 5, 9, 15): 5=2+3; 2+15=3+5+9
   (2, 3, 5, 10, 12): 10=2+3+5; 5=2+3; 12=2+10
   (2, 3, 5, 10, 13): 10=2+3+5; 5=2+3; 13=3+10
   (2, 3, 5, 10, 15): 10=2+3+5; 15=2+3+10; 5=2+3
   (2, 3, 5, 12, 13): 5=2+3; 2+13=3+12
   (2, 3, 5, 12, 15): 5=2+3; 15=3+12; 2+15=5+12
   (2, 3, 5, 13, 15): 5=2+3; 15=2+13; 3+15=5+13
   (2, 3, 6, 7, 8): 8=2+6; 2+7=3+6; 2+8=3+7
   (2, 3, 6, 7, 9): 9=2+7; 9=3+6; 2+7=3+6
   (2, 3, 6, 7, 10): 10=3+7; 3+10=6+7; 2+7=3+6
   (2, 3, 6, 7, 12): 12=2+3+7; 3+12=2+6+7; 2+7=3+6
   (2, 3, 6, 7, 13): 13=6+7; 2+7=3+6
   (2, 3, 6, 7, 15): 15=2+6+7; 2+7=3+6
   (2, 3, 6, 8, 9): 8=2+6; 9=3+6; 2+9=3+8
   (2, 3, 6, 8, 10): 8=2+6; 10=2+8
   (2, 3, 6, 8, 12): 8=2+6; 2+12=6+8
   (2, 3, 6, 8, 13): 13=2+3+8; 8=2+6; 3+13=2+6+8
   (2, 3, 6, 8, 15): 8=2+6; 2+15=3+6+8
   (2, 3, 6, 9, 10): 9=3+6; 2+10=3+9; 2+3+10=6+9
   (2, 3, 6, 9, 12): 9=3+6; 12=3+9; 3+12=6+9
   (2, 3, 6, 9, 13): 9=3+6; 2+13=6+9
   (2, 3, 6, 9, 15): 9=3+6; 15=6+9
   (2, 3, 6, 10, 12): 12=2+10
   (2, 3, 6, 10, 13): 13=3+10; 3+13=6+10
   (2, 3, 6, 10, 15): 15=2+3+10; 3+15=2+6+10
   (2, 3, 6, 12, 13): 2+13=3+12; 2+3+13=6+12
   (2, 3, 6, 12, 15): 15=3+12; 3+15=6+12
   (2, 3, 6, 13, 15): 15=2+13
   (2, 3, 7, 8, 9): 9=2+7; 2+8=3+7; 2+9=3+8
   (2, 3, 7, 8, 10): 10=2+8; 10=3+7; 2+8=3+7
   (2, 3, 7, 8, 12): 12=2+3+7; 3+12=7+8; 2+8=3+7
   (2, 3, 7, 8, 13): 13=2+3+8; 2+8=3+7; 2+13=7+8
   (2, 3, 7, 8, 15): 15=7+8; 2+8=3+7
   (2, 3, 7, 9, 10): 9=2+7; 10=3+7; 2+10=3+9
   (2, 3, 7, 9, 12): 12=2+3+7; 9=2+7; 12=3+9
   (2, 3, 7, 9, 13): 9=2+7; 3+13=7+9
   (2, 3, 7, 9, 15): 9=2+7; 3+15=2+7+9
   (2, 3, 7, 10, 12): 12=2+3+7; 12=2+10; 10=3+7
   (2, 3, 7, 10, 13): 10=3+7; 13=3+10
   (2, 3, 7, 10, 15): 15=2+3+10; 10=3+7; 2+15=7+10
   (2, 3, 7, 12, 13): 12=2+3+7; 2+13=3+12
   (2, 3, 7, 12, 15): 12=2+3+7; 15=3+12
   (2, 3, 7, 13, 15): 15=2+13; 2+3+15=7+13
   (2, 3, 8, 9, 10): 10=2+8; 2+9=3+8; 2+10=3+9
   (2, 3, 8, 9, 12): 12=3+9; 2+9=3+8; 2+3+12=8+9
   (2, 3, 8, 9, 13): 13=2+3+8; 2+9=3+8
   (2, 3, 8, 9, 15): 2+9=3+8; 2+15=8+9
   (2, 3, 8, 10, 12): 10=2+8; 12=2+10
   (2, 3, 8, 10, 13): 13=2+3+8; 10=2+8; 13=3+10
   (2, 3, 8, 10, 15): 15=2+3+10; 10=2+8; 3+15=8+10
   (2, 3, 8, 12, 13): 13=2+3+8; 2+13=3+12
   (2, 3, 8, 12, 15): 15=3+12; 2+3+15=8+12
   (2, 3, 8, 13, 15): 13=2+3+8; 15=2+13
   (2, 3, 9, 10, 12): 12=2+10; 12=3+9; 2+10=3+9
   (2, 3, 9, 10, 13): 13=3+10; 2+10=3+9
   (2, 3, 9, 10, 15): 15=2+3+10; 2+10=3+9
   (2, 3, 9, 12, 13): 12=3+9; 2+13=3+12
   (2, 3, 9, 12, 15): 12=3+9; 15=3+12
   (2, 3, 9, 13, 15): 15=2+13
   (2, 3, 10, 12, 13): 12=2+10; 13=3+10; 2+13=3+12
   (2, 3, 10, 12, 15): 15=2+3+10; 12=2+10; 15=3+12
   (2, 3, 10, 13, 15): 15=2+3+10; 15=2+13; 13=3+10
   (2, 3, 12, 13, 15): 15=2+13; 15=3+12; 2+13=3+12
   (2, 4, 5, 6, 7): 6=2+4; 5+7=2+4+6; 7=2+5
   (2, 4, 5, 6, 8): 6=2+4; 8=2+6; 2+8=4+6
   (2, 4, 5, 6, 9): 6=2+4; 4+9=2+5+6; 9=4+5
   (2, 4, 5, 6, 10): 6=2+4; 10=4+6
   (2, 4, 5, 6, 12): 12=2+4+6; 6=2+4
   (2, 4, 5, 6, 13): 6=2+4; 13=2+5+6; 2+13=4+5+6
   (2, 4, 5, 6, 15): 6=2+4; 15=4+5+6
   (2, 4, 5, 7, 8): 5+8=2+4+7; 7=2+5; 4+8=5+7
   (2, 4, 5, 7, 9): 7=2+5; 9=2+7; 9=4+5
   (2, 4, 5, 7, 10): 7=2+5; 4+10=2+5+7; 2+7=4+5
   (2, 4, 5, 7, 12): 7=2+5; 12=5+7; 2+7=4+5
   (2, 4, 5, 7, 13): 13=2+4+7; 7=2+5; 2+7=4+5
   (2, 4, 5, 7, 15): 7=2+5; 2+7=4+5
   (2, 4, 5, 8, 9): 5+9=2+4+8; 9=4+5; 4+9=5+8
   (2, 4, 5, 8, 10): 10=2+8; 2+10=4+8
   (2, 4, 5, 8, 12): 12=4+8
   (2, 4, 5, 8, 13): 13=5+8
   (2, 4, 5, 8, 15): 15=2+5+8; 2+15=4+5+8
   (2, 4, 5, 9, 10): 5+10=2+4+9; 9=4+5; 4+10=5+9
   (2, 4, 5, 9, 12): 4+12=2+5+9; 9=4+5; 2+12=5+9
   (2, 4, 5, 9, 13): 9=4+5; 13=4+9
   (2, 4, 5, 9, 15): 15=2+4+9; 9=4+5
   (2, 4, 5, 10, 12): 12=2+10; 2+12=4+10
   (2, 4, 5, 10, 13): 4+13=2+5+10; 2+13=5+10
   (2, 4, 5, 10, 15): 15=5+10
   (2, 4, 5, 12, 13): 5+13=2+4+12; 4+13=5+12
   (2, 4, 5, 12, 15): 4+15=2+5+12; 2+15=5+12
   (2, 4, 5, 13, 15): 15=2+13; 2+15=4+13
   (2, 4, 6, 7, 8): 6=2+4; 8=2+6; 2+8=4+6
   (2, 4, 6, 7, 9): 6=2+4; 9=2+7; 4+9=6+7
   (2, 4, 6, 7, 10): 6=2+4; 10=4+6
   (2, 4, 6, 7, 12): 12=2+4+6; 6=2+4
   (2, 4, 6, 7, 13): 13=2+4+7; 6=2+4; 13=6+7
   (2, 4, 6, 7, 15): 6=2+4; 15=2+6+7; 2+15=4+6+7
   (2, 4, 6, 8, 9): 6=2+4; 8=2+6; 2+8=4+6
   (2, 4, 6, 8, 10): 6=2+4; 8=2+6; 10=2+8
   (2, 4, 6, 8, 12): 12=2+4+6; 6=2+4; 8=2+6
   (2, 4, 6, 8, 13): 6=2+4; 8=2+6; 2+8=4+6
   (2, 4, 6, 8, 15): 6=2+4; 8=2+6; 2+8=4+6
   (2, 4, 6, 9, 10): 6=2+4; 10=4+6
   (2, 4, 6, 9, 12): 12=2+4+6; 6=2+4
   (2, 4, 6, 9, 13): 6=2+4; 4+13=2+6+9; 13=4+9
   (2, 4, 6, 9, 15): 15=2+4+9; 6=2+4; 15=6+9
   (2, 4, 6, 10, 12): 12=2+4+6; 6=2+4; 12=2+10
   (2, 4, 6, 10, 13): 6=2+4; 10=4+6
   (2, 4, 6, 10, 15): 6=2+4; 10=4+6
   (2, 4, 6, 12, 13): 12=2+4+6; 6=2+4
   (2, 4, 6, 12, 15): 12=2+4+6; 6=2+4
   (2, 4, 6, 13, 15): 6=2+4; 15=2+13; 4+15=6+13
   (2, 4, 7, 8, 9): 9=2+7; 2+9=4+7; 2+4+9=7+8
   (2, 4, 7, 8, 10): 10=2+8; 2+10=4+8
   (2, 4, 7, 8, 12): 12=4+8
   (2, 4, 7, 8, 13): 13=2+4+7; 4+13=2+7+8; 2+13=7+8
   (2, 4, 7, 8, 15): 15=7+8
   (2, 4, 7, 9, 10): 9=2+7; 2+9=4+7; 2+4+10=7+9
   (2, 4, 7, 9, 12): 9=2+7; 4+12=7+9; 2+9=4+7
   (2, 4, 7, 9, 13): 13=2+4+7; 9=2+7; 13=4+9
   (2, 4, 7, 9, 15): 15=2+4+9; 9=2+7; 2+9=4+7
   (2, 4, 7, 10, 12): 12=2+10; 2+12=4+10
   (2, 4, 7, 10, 13): 13=2+4+7; 4+13=7+10
   (2, 4, 7, 10, 15): 4+15=2+7+10; 2+15=7+10
   (2, 4, 7, 12, 13): 13=2+4+7; 2+4+13=7+12
   (2, 4, 7, 12, 15): 4+15=7+12
   (2, 4, 7, 13, 15): 13=2+4+7; 15=2+13; 2+15=4+13
   (2, 4, 8, 9, 10): 10=2+8; 2+10=4+8
   (2, 4, 8, 9, 12): 12=4+8
   (2, 4, 8, 9, 13): 13=4+9; 4+13=8+9
   (2, 4, 8, 9, 15): 15=2+4+9; 4+15=2+8+9; 2+15=8+9
   (2, 4, 8, 10, 12): 10=2+8; 12=2+10; 12=4+8
   (2, 4, 8, 10, 13): 10=2+8; 2+10=4+8
   (2, 4, 8, 10, 15): 10=2+8; 2+10=4+8
   (2, 4, 8, 12, 13): 12=4+8
   (2, 4, 8, 12, 15): 12=4+8
   (2, 4, 8, 13, 15): 15=2+13; 2+15=4+13; 2+4+15=8+13
   (2, 4, 9, 10, 12): 12=2+10; 2+12=4+10
   (2, 4, 9, 10, 13): 13=4+9; 2+4+13=9+10
   (2, 4, 9, 10, 15): 15=2+4+9; 4+15=9+10
   (2, 4, 9, 12, 13): 13=4+9
   (2, 4, 9, 12, 15): 15=2+4+9; 2+4+15=9+12
   (2, 4, 9, 13, 15): 15=2+4+9; 15=2+13; 13=4+9
   (2, 4, 10, 12, 13): 12=2+10; 2+12=4+10
   (2, 4, 10, 12, 15): 12=2+10; 2+12=4+10
   (2, 4, 10, 13, 15): 15=2+13; 2+15=4+13
   (2, 4, 12, 13, 15): 15=2+13; 2+15=4+13
   (2, 5, 6, 7, 8): 7=2+5; 6+8=2+5+7; 8=2+6
   (2, 5, 6, 7, 9): 7=2+5; 9=2+7; 2+9=5+6
   (2, 5, 6, 7, 10): 7=2+5; 5+10=2+6+7; 2+10=5+7
   (2, 5, 6, 7, 12): 7=2+5; 12=5+7
   (2, 5, 6, 7, 13): 13=2+5+6; 7=2+5; 13=6+7
   (2, 5, 6, 7, 15): 7=2+5; 15=2+6+7
   (2, 5, 6, 8, 9): 6+9=2+5+8; 8=2+6; 5+9=6+8
   (2, 5, 6, 8, 10): 8=2+6; 10=2+8
   (2, 5, 6, 8, 12): 8=2+6; 2+12=6+8
   (2, 5, 6, 8, 13): 13=2+5+6; 8=2+6; 13=5+8
   (2, 5, 6, 8, 15): 15=2+5+8; 8=2+6
   (2, 5, 6, 9, 10): 6+10=2+5+9; 5+10=6+9; 2+9=5+6
   (2, 5, 6, 9, 12): 5+12=2+6+9; 2+9=5+6; 2+12=5+9
   (2, 5, 6, 9, 13): 13=2+5+6; 2+9=5+6; 2+13=6+9
   (2, 5, 6, 9, 15): 15=6+9; 2+9=5+6
   (2, 5, 6, 10, 12): 12=2+10
   (2, 5, 6, 10, 13): 13=2+5+6; 5+13=2+6+10; 2+13=5+10
   (2, 5, 6, 10, 15): 15=5+10
   (2, 5, 6, 12, 13): 13=2+5+6; 6+13=2+5+12; 5+13=6+12
   (2, 5, 6, 12, 15): 5+15=2+6+12; 2+15=5+12
   (2, 5, 6, 13, 15): 13=2+5+6; 15=2+13
   (2, 5, 7, 8, 9): 7=2+5; 9=2+7
   (2, 5, 7, 8, 10): 7=2+5; 10=2+8; 5+10=7+8
   (2, 5, 7, 8, 12): 7=2+5; 5+12=2+7+8; 12=5+7
   (2, 5, 7, 8, 13): 7=2+5; 13=5+8; 2+13=7+8
   (2, 5, 7, 8, 15): 15=2+5+8; 7=2+5; 15=7+8
   (2, 5, 7, 9, 10): 7=2+5; 9=2+7; 2+10=5+7
   (2, 5, 7, 9, 12): 7=2+5; 9=2+7; 12=5+7
   (2, 5, 7, 9, 13): 7=2+5; 9=2+7; 5+13=2+7+9
   (2, 5, 7, 9, 15): 7=2+5; 9=2+7
   (2, 5, 7, 10, 12): 7=2+5; 12=2+10; 12=5+7
   (2, 5, 7, 10, 13): 7=2+5; 2+10=5+7; 2+13=5+10
   (2, 5, 7, 10, 15): 7=2+5; 15=5+10; 2+10=5+7
   (2, 5, 7, 12, 13): 7=2+5; 12=5+7
   (2, 5, 7, 12, 15): 7=2+5; 12=5+7; 2+15=5+12
   (2, 5, 7, 13, 15): 7=2+5; 15=2+13; 5+15=7+13
   (2, 5, 8, 9, 10): 10=2+8; 2+5+10=8+9
   (2, 5, 8, 9, 12): 5+12=8+9; 2+12=5+9
   (2, 5, 8, 9, 13): 13=5+8
   (2, 5, 8, 9, 15): 15=2+5+8; 2+15=8+9
   (2, 5, 8, 10, 12): 10=2+8; 12=2+10
   (2, 5, 8, 10, 13): 10=2+8; 13=5+8; 5+13=8+10
   (2, 5, 8, 10, 15): 15=2+5+8; 10=2+8; 5+15=2+8+10
   (2, 5, 8, 12, 13): 13=5+8; 2+5+13=8+12
   (2, 5, 8, 12, 15): 15=2+5+8; 5+15=8+12; 2+15=5+12
   (2, 5, 8, 13, 15): 15=2+5+8; 15=2+13; 13=5+8
   (2, 5, 9, 10, 12): 12=2+10; 2+12=5+9; 2+5+12=9+10
   (2, 5, 9, 10, 13): 2+13=5+10
   (2, 5, 9, 10, 15): 15=5+10
   (2, 5, 9, 12, 13): 2+12=5+9
   (2, 5, 9, 12, 15): 2+12=5+9; 2+15=5+12
   (2, 5, 9, 13, 15): 15=2+13; 2+5+15=9+13
   (2, 5, 10, 12, 13): 12=2+10; 2+13=5+10
   (2, 5, 10, 12, 15): 12=2+10; 15=5+10; 2+15=5+12
   (2, 5, 10, 13, 15): 15=2+13; 15=5+10; 2+13=5+10
   (2, 5, 12, 13, 15): 15=2+13; 2+15=5+12
   (2, 6, 7, 8, 9): 8=2+6; 7+9=2+6+8; 9=2+7
   (2, 6, 7, 8, 10): 8=2+6; 10=2+8
   (2, 6, 7, 8, 12): 8=2+6; 2+12=6+8
   (2, 6, 7, 8, 13): 8=2+6; 13=6+7; 2+13=7+8
   (2, 6, 7, 8, 15): 15=2+6+7; 8=2+6; 15=7+8
   (2, 6, 7, 9, 10): 7+10=2+6+9; 9=2+7; 6+10=7+9
   (2, 6, 7, 9, 12): 9=2+7; 6+12=2+7+9
   (2, 6, 7, 9, 13): 9=2+7; 13=6+7; 2+13=6+9
   (2, 6, 7, 9, 15): 15=2+6+7; 9=2+7; 15=6+9
   (2, 6, 7, 10, 12): 12=2+10
   (2, 6, 7, 10, 13): 6+13=2+7+10; 13=6+7
   (2, 6, 7, 10, 15): 15=2+6+7; 2+15=7+10
   (2, 6, 7, 12, 13): 7+13=2+6+12; 13=6+7; 6+13=7+12
   (2, 6, 7, 12, 15): 15=2+6+7; 6+15=2+7+12
   (2, 6, 7, 13, 15): 15=2+6+7; 15=2+13; 13=6+7
   (2, 6, 8, 9, 10): 8=2+6; 10=2+8
   (2, 6, 8, 9, 12): 8=2+6; 2+12=6+8
   (2, 6, 8, 9, 13): 8=2+6; 6+13=2+8+9; 2+13=6+9
   (2, 6, 8, 9, 15): 8=2+6; 15=6+9; 2+15=8+9
   (2, 6, 8, 10, 12): 8=2+6; 10=2+8; 12=2+10
   (2, 6, 8, 10, 13): 8=2+6; 10=2+8
   (2, 6, 8, 10, 15): 8=2+6; 10=2+8
   (2, 6, 8, 12, 13): 8=2+6; 2+12=6+8
   (2, 6, 8, 12, 15): 8=2+6; 2+12=6+8
   (2, 6, 8, 13, 15): 8=2+6; 15=2+13; 6+15=8+13
   (2, 6, 9, 10, 12): 12=2+10
   (2, 6, 9, 10, 13): 6+13=9+10; 2+13=6+9
   (2, 6, 9, 10, 15): 6+15=2+9+10; 15=6+9
   (2, 6, 9, 12, 13): 2+13=6+9; 2+6+13=9+12
   (2, 6, 9, 12, 15): 15=6+9; 6+15=9+12
   (2, 6, 9, 13, 15): 15=2+13; 15=6+9; 2+13=6+9
   (2, 6, 10, 12, 13): 12=2+10
   (2, 6, 10, 12, 15): 12=2+10
   (2, 6, 10, 13, 15): 15=2+13; 2+6+15=10+13
   (2, 6, 12, 13, 15): 15=2+13
   (2, 7, 8, 9, 10): 9=2+7; 8+10=2+7+9; 10=2+8
   (2, 7, 8, 9, 12): 9=2+7; 7+12=2+8+9
   (2, 7, 8, 9, 13): 9=2+7; 2+13=7+8
   (2, 7, 8, 9, 15): 9=2+7; 15=7+8; 2+15=8+9
   (2, 7, 8, 10, 12): 10=2+8; 12=2+10
   (2, 7, 8, 10, 13): 10=2+8; 7+13=2+8+10; 2+13=7+8
   (2, 7, 8, 10, 15): 10=2+8; 15=7+8; 2+15=7+10
   (2, 7, 8, 12, 13): 8+13=2+7+12; 7+13=8+12; 2+13=7+8
   (2, 7, 8, 12, 15): 7+15=2+8+12; 15=7+8
   (2, 7, 8, 13, 15): 15=2+13; 15=7+8; 2+13=7+8
   (2, 7, 9, 10, 12): 9=2+7; 12=2+10; 7+12=9+10
   (2, 7, 9, 10, 13): 9=2+7
   (2, 7, 9, 10, 15): 9=2+7; 2+15=7+10
   (2, 7, 9, 12, 13): 9=2+7
   (2, 7, 9, 12, 15): 9=2+7
   (2, 7, 9, 13, 15): 9=2+7; 15=2+13; 7+15=9+13
   (2, 7, 10, 12, 13): 12=2+10; 2+7+13=10+12
   (2, 7, 10, 12, 15): 12=2+10; 7+15=10+12; 2+15=7+10
   (2, 7, 10, 13, 15): 15=2+13; 2+15=7+10
   (2, 7, 12, 13, 15): 15=2+13
   (2, 8, 9, 10, 12): 10=2+8; 12=2+10
   (2, 8, 9, 10, 13): 10=2+8; 8+13=2+9+10
   (2, 8, 9, 10, 15): 10=2+8; 2+15=8+9
   (2, 8, 9, 12, 13): 9+13=2+8+12; 8+13=9+12
   (2, 8, 9, 12, 15): 8+15=2+9+12; 2+15=8+9
   (2, 8, 9, 13, 15): 15=2+13; 2+15=8+9
   (2, 8, 10, 12, 13): 10=2+8; 12=2+10
   (2, 8, 10, 12, 15): 10=2+8; 12=2+10
   (2, 8, 10, 13, 15): 10=2+8; 15=2+13; 8+15=10+13
   (2, 8, 12, 13, 15): 15=2+13; 2+8+15=12+13
   (2, 9, 10, 12, 13): 10+13=2+9+12; 12=2+10; 9+13=10+12
   (2, 9, 10, 12, 15): 12=2+10; 9+15=2+10+12
   (2, 9, 10, 13, 15): 15=2+13
   (2, 9, 12, 13, 15): 15=2+13
   (2, 10, 12, 13, 15): 12=2+10; 15=2+13; 10+15=12+13
   (3, 4, 5, 6, 7): 7=3+4; 4+7=5+6; 3+6=4+5
   (3, 4, 5, 6, 8): 5+8=3+4+6; 8=3+5; 3+6=4+5
   (3, 4, 5, 6, 9): 9=3+6; 9=4+5; 3+6=4+5
   (3, 4, 5, 6, 10): 4+10=3+5+6; 10=4+6; 3+6=4+5
   (3, 4, 5, 6, 12): 12=3+4+5; 3+12=4+5+6; 3+6=4+5
   (3, 4, 5, 6, 13): 13=3+4+6; 3+6=4+5
   (3, 4, 5, 6, 15): 15=4+5+6; 3+6=4+5
   (3, 4, 5, 7, 8): 7=3+4; 8=3+5; 4+8=5+7
   (3, 4, 5, 7, 9): 7=3+4; 5+9=3+4+7; 9=4+5
   (3, 4, 5, 7, 10): 7=3+4; 10=3+7
   (3, 4, 5, 7, 12): 12=3+4+5; 7=3+4; 12=5+7
   (3, 4, 5, 7, 13): 7=3+4; 3+13=4+5+7
   (3, 4, 5, 7, 15): 7=3+4; 15=3+5+7
   (3, 4, 5, 8, 9): 8=3+5; 9=4+5; 4+9=5+8
   (3, 4, 5, 8, 10): 5+10=3+4+8; 8=3+5; 3+10=5+8
   (3, 4, 5, 8, 12): 12=3+4+5; 8=3+5; 4+12=3+5+8
   (3, 4, 5, 8, 13): 8=3+5; 13=5+8
   (3, 4, 5, 8, 15): 15=3+4+8; 8=3+5
   (3, 4, 5, 9, 10): 9=4+5; 4+10=5+9; 3+10=4+9
   (3, 4, 5, 9, 12): 12=3+4+5; 12=3+9; 9=4+5
   (3, 4, 5, 9, 13): 4+13=3+5+9; 9=4+5; 13=4+9
   (3, 4, 5, 9, 15): 9=4+5; 3+15=4+5+9
   (3, 4, 5, 10, 12): 12=3+4+5; 5+12=3+4+10; 3+12=5+10
   (3, 4, 5, 10, 13): 13=3+10
   (3, 4, 5, 10, 15): 15=5+10
   (3, 4, 5, 12, 13): 12=3+4+5; 4+13=5+12; 3+13=4+12
   (3, 4, 5, 12, 15): 12=3+4+5; 15=3+12
   (3, 4, 5, 13, 15): 5+15=3+4+13; 3+15=5+13
   (3, 4, 6, 7, 8): 7=3+4; 6+8=3+4+7; 3+7=4+6
   (3, 4, 6, 7, 9): 7=3+4; 9=3+6; 4+9=6+7
   (3, 4, 6, 7, 10): 7=3+4; 10=3+7; 10=4+6
   (3, 4, 6, 7, 12): 7=3+4; 4+12=3+6+7; 3+7=4+6
   (3, 4, 6, 7, 13): 13=3+4+6; 7=3+4; 13=6+7
   (3, 4, 6, 7, 15): 7=3+4; 3+7=4+6
   (3, 4, 6, 8, 9): 6+9=3+4+8; 9=3+6; 3+9=4+8
   (3, 4, 6, 8, 10): 10=4+6; 4+10=6+8
   (3, 4, 6, 8, 12): 12=4+8
   (3, 4, 6, 8, 13): 13=3+4+6; 4+13=3+6+8
   (3, 4, 6, 8, 15): 15=3+4+8; 3+15=4+6+8
   (3, 4, 6, 9, 10): 6+10=3+4+9; 9=3+6; 10=4+6
   (3, 4, 6, 9, 12): 9=3+6; 12=3+9; 3+12=6+9
   (3, 4, 6, 9, 13): 13=3+4+6; 9=3+6; 13=4+9
   (3, 4, 6, 9, 15): 9=3+6; 15=6+9
   (3, 4, 6, 10, 12): 10=4+6; 4+12=6+10
   (3, 4, 6, 10, 13): 13=3+4+6; 13=3+10; 10=4+6
   (3, 4, 6, 10, 15): 4+15=3+6+10; 10=4+6
   (3, 4, 6, 12, 13): 13=3+4+6; 6+13=3+4+12; 3+13=4+12
   (3, 4, 6, 12, 15): 15=3+12; 3+15=6+12
   (3, 4, 6, 13, 15): 13=3+4+6; 4+15=6+13
   (3, 4, 7, 8, 9): 7=3+4; 3+8=4+7; 3+9=4+8
   (3, 4, 7, 8, 10): 7=3+4; 10=3+7; 3+8=4+7
   (3, 4, 7, 8, 12): 7=3+4; 12=4+8; 3+8=4+7
   (3, 4, 7, 8, 13): 7=3+4; 3+8=4+7
   (3, 4, 7, 8, 15): 15=3+4+8; 7=3+4; 15=7+8
   (3, 4, 7, 9, 10): 7=3+4; 10=3+7; 3+10=4+9
   (3, 4, 7, 9, 12): 7=3+4; 12=3+9; 4+12=7+9
   (3, 4, 7, 9, 13): 7=3+4; 13=4+9; 3+13=7+9
   (3, 4, 7, 9, 15): 7=3+4; 4+15=3+7+9
   (3, 4, 7, 10, 12): 7=3+4; 10=3+7
   (3, 4, 7, 10, 13): 7=3+4; 10=3+7; 13=3+10
   (3, 4, 7, 10, 15): 7=3+4; 10=3+7
   (3, 4, 7, 12, 13): 7=3+4; 3+13=4+12
   (3, 4, 7, 12, 15): 7=3+4; 15=3+12; 4+15=7+12
   (3, 4, 7, 13, 15): 7=3+4
   (3, 4, 8, 9, 10): 3+9=4+8; 3+10=4+9; 3+4+10=8+9
   (3, 4, 8, 9, 12): 12=3+9; 12=4+8; 3+9=4+8
   (3, 4, 8, 9, 13): 13=4+9; 4+13=8+9; 3+9=4+8
   (3, 4, 8, 9, 15): 15=3+4+8; 3+9=4+8
   (3, 4, 8, 10, 12): 12=4+8
   (3, 4, 8, 10, 13): 13=3+10
   (3, 4, 8, 10, 15): 15=3+4+8; 3+15=8+10
   (3, 4, 8, 12, 13): 12=4+8; 3+13=4+12; 3+4+13=8+12
   (3, 4, 8, 12, 15): 15=3+4+8; 15=3+12; 12=4+8
   (3, 4, 8, 13, 15): 15=3+4+8
   (3, 4, 9, 10, 12): 12=3+9; 3+10=4+9; 3+4+12=9+10
   (3, 4, 9, 10, 13): 13=3+10; 13=4+9; 3+10=4+9
   (3, 4, 9, 10, 15): 4+15=9+10; 3+10=4+9
   (3, 4, 9, 12, 13): 12=3+9; 13=4+9; 3+13=4+12
   (3, 4, 9, 12, 15): 12=3+9; 15=3+12
   (3, 4, 9, 13, 15): 13=4+9; 3+4+15=9+13
   (3, 4, 10, 12, 13): 13=3+10; 3+13=4+12
   (3, 4, 10, 12, 15): 15=3+12; 3+4+15=10+12
   (3, 4, 10, 13, 15): 13=3+10
   (3, 4, 12, 13, 15): 15=3+12; 3+13=4+12
   (3, 5, 6, 7, 8): 8=3+5; 5+8=6+7; 3+8=5+6
   (3, 5, 6, 7, 9): 6+9=3+5+7; 9=3+6; 3+9=5+7
   (3, 5, 6, 7, 10): 10=3+7; 3+10=6+7
   (3, 5, 6, 7, 12): 12=5+7
   (3, 5, 6, 7, 13): 13=6+7
   (3, 5, 6, 7, 15): 15=3+5+7; 3+15=5+6+7
   (3, 5, 6, 8, 9): 8=3+5; 9=3+6; 5+9=6+8
   (3, 5, 6, 8, 10): 8=3+5; 6+10=3+5+8; 3+8=5+6
   (3, 5, 6, 8, 12): 8=3+5; 5+12=3+6+8; 3+8=5+6
   (3, 5, 6, 8, 13): 8=3+5; 13=5+8; 3+8=5+6
   (3, 5, 6, 8, 15): 8=3+5; 3+8=5+6
   (3, 5, 6, 9, 10): 9=3+6; 5+10=6+9
   (3, 5, 6, 9, 12): 9=3+6; 12=3+9; 3+12=6+9
   (3, 5, 6, 9, 13): 9=3+6; 5+13=3+6+9
   (3, 5, 6, 9, 15): 9=3+6; 15=6+9
   (3, 5, 6, 10, 12): 6+12=3+5+10; 3+12=5+10
   (3, 5, 6, 10, 13): 13=3+10; 3+13=6+10
   (3, 5, 6, 10, 15): 15=5+10
   (3, 5, 6, 12, 13): 5+13=6+12
   (3, 5, 6, 12, 15): 15=3+12; 3+15=6+12
   (3, 5, 6, 13, 15): 6+15=3+5+13; 3+15=5+13
   (3, 5, 7, 8, 9): 8=3+5; 7+9=3+5+8; 3+9=5+7
   (3, 5, 7, 8, 10): 8=3+5; 10=3+7; 5+10=7+8
   (3, 5, 7, 8, 12): 8=3+5; 12=5+7; 3+12=7+8
   (3, 5, 7, 8, 13): 8=3+5; 5+13=3+7+8; 13=5+8
   (3, 5, 7, 8, 15): 15=3+5+7; 8=3+5; 15=7+8
   (3, 5, 7, 9, 10): 7+10=3+5+9; 10=3+7; 3+9=5+7
   (3, 5, 7, 9, 12): 12=3+9; 12=5+7; 3+9=5+7
   (3, 5, 7, 9, 13): 3+9=5+7; 3+13=7+9
   (3, 5, 7, 9, 15): 15=3+5+7; 3+9=5+7
   (3, 5, 7, 10, 12): 10=3+7; 12=5+7; 5+12=7+10
   (3, 5, 7, 10, 13): 10=3+7; 13=3+10
   (3, 5, 7, 10, 15): 15=3+5+7; 10=3+7; 5+15=3+7+10
   (3, 5, 7, 12, 13): 7+13=3+5+12; 12=5+7
   (3, 5, 7, 12, 15): 15=3+5+7; 15=3+12; 12=5+7
   (3, 5, 7, 13, 15): 15=3+5+7; 5+15=7+13; 3+15=5+13
   (3, 5, 8, 9, 10): 8=3+5; 3+10=5+8
   (3, 5, 8, 9, 12): 8=3+5; 12=3+9; 5+12=8+9
   (3, 5, 8, 9, 13): 8=3+5; 13=5+8
   (3, 5, 8, 9, 15): 8=3+5; 5+15=3+8+9
   (3, 5, 8, 10, 12): 8=3+5; 3+10=5+8; 3+12=5+10
   (3, 5, 8, 10, 13): 8=3+5; 13=3+10; 13=5+8
   (3, 5, 8, 10, 15): 8=3+5; 15=5+10; 3+10=5+8
   (3, 5, 8, 12, 13): 8=3+5; 13=5+8
   (3, 5, 8, 12, 15): 8=3+5; 15=3+12; 5+15=8+12
   (3, 5, 8, 13, 15): 8=3+5; 13=5+8; 3+15=5+13
   (3, 5, 9, 10, 12): 12=3+9; 3+12=5+10
   (3, 5, 9, 10, 13): 13=3+10
   (3, 5, 9, 10, 15): 15=5+10
   (3, 5, 9, 12, 13): 12=3+9; 3+5+13=9+12
   (3, 5, 9, 12, 15): 12=3+9; 15=3+12
   (3, 5, 9, 13, 15): 3+15=5+13
   (3, 5, 10, 12, 13): 13=3+10; 3+12=5+10
   (3, 5, 10, 12, 15): 15=3+12; 15=5+10; 3+12=5+10
   (3, 5, 10, 13, 15): 13=3+10; 15=5+10; 3+15=5+13
   (3, 5, 12, 13, 15): 15=3+12; 3+15=5+13
   (3, 6, 7, 8, 9): 9=3+6; 6+9=7+8
   (3, 6, 7, 8, 10): 7+10=3+6+8; 10=3+7; 3+10=6+7
   (3, 6, 7, 8, 12): 6+12=3+7+8; 3+12=7+8
   (3, 6, 7, 8, 13): 13=6+7
   (3, 6, 7, 8, 15): 15=7+8
   (3, 6, 7, 9, 10): 9=3+6; 10=3+7; 6+10=7+9
   (3, 6, 7, 9, 12): 9=3+6; 12=3+9; 3+12=6+9
   (3, 6, 7, 9, 13): 9=3+6; 6+13=3+7+9; 13=6+7
   (3, 6, 7, 9, 15): 9=3+6; 15=6+9
   (3, 6, 7, 10, 12): 7+12=3+6+10; 10=3+7; 3+10=6+7
   (3, 6, 7, 10, 13): 10=3+7; 13=3+10; 13=6+7
   (3, 6, 7, 10, 15): 10=3+7; 3+10=6+7
   (3, 6, 7, 12, 13): 13=6+7; 6+13=7+12
   (3, 6, 7, 12, 15): 15=3+12; 3+15=6+12
   (3, 6, 7, 13, 15): 7+15=3+6+13; 13=6+7
   (3, 6, 8, 9, 10): 9=3+6; 8+10=3+6+9
   (3, 6, 8, 9, 12): 9=3+6; 12=3+9; 3+12=6+9
   (3, 6, 8, 9, 13): 9=3+6
   (3, 6, 8, 9, 15): 9=3+6; 15=6+9
   (3, 6, 8, 10, 12): 6+12=8+10
   (3, 6, 8, 10, 13): 13=3+10; 3+13=6+10
   (3, 6, 8, 10, 15): 6+15=3+8+10; 3+15=8+10
   (3, 6, 8, 12, 13): 8+13=3+6+12
   (3, 6, 8, 12, 15): 15=3+12; 3+15=6+12
   (3, 6, 8, 13, 15): 6+15=8+13
   (3, 6, 9, 10, 12): 9=3+6; 12=3+9; 3+12=6+9
   (3, 6, 9, 10, 13): 9=3+6; 13=3+10; 6+13=9+10
   (3, 6, 9, 10, 15): 9=3+6; 15=6+9
   (3, 6, 9, 12, 13): 9=3+6; 12=3+9; 3+12=6+9
   (3, 6, 9, 12, 15): 9=3+6; 12=3+9; 15=3+12
   (3, 6, 9, 13, 15): 9=3+6; 15=6+9
   (3, 6, 10, 12, 13): 13=3+10; 3+13=6+10; 3+6+13=10+12
   (3, 6, 10, 12, 15): 15=3+12; 3+15=6+12
   (3, 6, 10, 13, 15): 13=3+10; 3+13=6+10
   (3, 6, 12, 13, 15): 15=3+12; 3+15=6+12
   (3, 7, 8, 9, 10): 10=3+7; 7+10=8+9
   (3, 7, 8, 9, 12): 12=3+9; 3+12=7+8
   (3, 7, 8, 9, 13): 7+13=3+8+9; 3+13=7+9
   (3, 7, 8, 9, 15): 15=7+8
   (3, 7, 8, 10, 12): 10=3+7; 8+12=3+7+10; 3+12=7+8
   (3, 7, 8, 10, 13): 10=3+7; 13=3+10
   (3, 7, 8, 10, 15): 10=3+7; 15=7+8; 3+15=8+10
   (3, 7, 8, 12, 13): 7+13=8+12; 3+12=7+8
   (3, 7, 8, 12, 15): 15=3+12; 15=7+8; 3+12=7+8
   (3, 7, 8, 13, 15): 8+15=3+7+13; 15=7+8
   (3, 7, 9, 10, 12): 10=3+7; 12=3+9; 7+12=9+10
   (3, 7, 9, 10, 13): 10=3+7; 13=3+10; 3+13=7+9
   (3, 7, 9, 10, 15): 10=3+7; 7+15=3+9+10
   (3, 7, 9, 12, 13): 9+13=3+7+12; 12=3+9; 3+13=7+9
   (3, 7, 9, 12, 15): 12=3+9; 15=3+12
   (3, 7, 9, 13, 15): 7+15=9+13; 3+13=7+9
   (3, 7, 10, 12, 13): 10=3+7; 13=3+10
   (3, 7, 10, 12, 15): 10=3+7; 15=3+12; 7+15=10+12
   (3, 7, 10, 13, 15): 10=3+7; 13=3+10
   (3, 7, 12, 13, 15): 15=3+12; 3+7+15=12+13
   (3, 8, 9, 10, 12): 9+12=3+8+10; 12=3+9
   (3, 8, 9, 10, 13): 13=3+10
   (3, 8, 9, 10, 15): 3+15=8+10
   (3, 8, 9, 12, 13): 12=3+9; 8+13=9+12
   (3, 8, 9, 12, 15): 12=3+9; 15=3+12
   (3, 8, 9, 13, 15): 9+15=3+8+13
   (3, 8, 10, 12, 13): 10+13=3+8+12; 13=3+10
   (3, 8, 10, 12, 15): 15=3+12; 3+15=8+10
   (3, 8, 10, 13, 15): 13=3+10; 8+15=10+13; 3+15=8+10
   (3, 8, 12, 13, 15): 15=3+12
   (3, 9, 10, 12, 13): 12=3+9; 13=3+10; 9+13=10+12
   (3, 9, 10, 12, 15): 12=3+9; 15=3+12
   (3, 9, 10, 13, 15): 10+15=3+9+13; 13=3+10
   (3, 9, 12, 13, 15): 12=3+9; 15=3+12
   (3, 10, 12, 13, 15): 13=3+10; 15=3+12; 10+15=12+13
   (4, 5, 6, 7, 8): 7+8=4+5+6; 5+8=6+7; 4+7=5+6
   (4, 5, 6, 7, 9): 9=4+5; 4+7=5+6; 4+9=6+7
   (4, 5, 6, 7, 10): 6+10=4+5+7; 10=4+6; 4+7=5+6
   (4, 5, 6, 7, 12): 5+12=4+6+7; 12=5+7; 4+7=5+6
   (4, 5, 6, 7, 13): 13=6+7; 4+7=5+6
   (4, 5, 6, 7, 15): 15=4+5+6; 4+7=5+6
   (4, 5, 6, 8, 9): 9=4+5; 5+9=6+8; 4+9=5+8
   (4, 5, 6, 8, 10): 10=4+6; 4+10=6+8
   (4, 5, 6, 8, 12): 12=4+8
   (4, 5, 6, 8, 13): 5+13=4+6+8; 13=5+8
   (4, 5, 6, 8, 15): 15=4+5+6; 4+15=5+6+8
   (4, 5, 6, 9, 10): 9=4+5; 10=4+6; 5+10=6+9
   (4, 5, 6, 9, 12): 9=4+5; 6+12=4+5+9
   (4, 5, 6, 9, 13): 9=4+5; 13=4+9
   (4, 5, 6, 9, 15): 15=4+5+6; 9=4+5; 15=6+9
   (4, 5, 6, 10, 12): 10=4+6; 4+12=6+10
   (4, 5, 6, 10, 13): 6+13=4+5+10; 10=4+6
   (4, 5, 6, 10, 15): 15=4+5+6; 10=4+6; 5+15=4+6+10
   (4, 5, 6, 12, 13): 5+13=6+12; 4+13=5+12
   (4, 5, 6, 12, 15): 15=4+5+6; 6+15=4+5+12
   (4, 5, 6, 13, 15): 15=4+5+6; 4+15=6+13
   (4, 5, 7, 8, 9): 9=4+5; 4+8=5+7; 4+9=5+8
   (4, 5, 7, 8, 10): 7+10=4+5+8; 5+10=7+8; 4+8=5+7
   (4, 5, 7, 8, 12): 12=4+8; 12=5+7; 4+8=5+7
   (4, 5, 7, 8, 13): 13=5+8; 4+8=5+7
   (4, 5, 7, 8, 15): 15=7+8; 4+8=5+7
   (4, 5, 7, 9, 10): 9=4+5; 4+10=5+9
   (4, 5, 7, 9, 12): 9=4+5; 12=5+7; 4+12=7+9
   (4, 5, 7, 9, 13): 9=4+5; 13=4+9
   (4, 5, 7, 9, 15): 9=4+5; 5+15=4+7+9
   (4, 5, 7, 10, 12): 7+12=4+5+10; 12=5+7; 5+12=7+10
   (4, 5, 7, 10, 13): 4+13=7+10
   (4, 5, 7, 10, 15): 15=5+10
   (4, 5, 7, 12, 13): 12=5+7; 4+13=5+12
   (4, 5, 7, 12, 15): 12=5+7; 4+15=7+12
   (4, 5, 7, 13, 15): 7+15=4+5+13; 5+15=7+13
   (4, 5, 8, 9, 10): 9=4+5; 8+10=4+5+9; 4+9=5+8
   (4, 5, 8, 9, 12): 9=4+5; 12=4+8; 5+12=8+9
   (4, 5, 8, 9, 13): 9=4+5; 13=4+9; 13=5+8
   (4, 5, 8, 9, 15): 9=4+5; 4+9=5+8
   (4, 5, 8, 10, 12): 12=4+8
   (4, 5, 8, 10, 13): 13=5+8; 5+13=8+10
   (4, 5, 8, 10, 15): 15=5+10
   (4, 5, 8, 12, 13): 8+13=4+5+12; 12=4+8; 13=5+8
   (4, 5, 8, 12, 15): 12=4+8; 5+15=8+12
   (4, 5, 8, 13, 15): 13=5+8
   (4, 5, 9, 10, 12): 9=4+5; 4+10=5+9
   (4, 5, 9, 10, 13): 9=4+5; 13=4+9; 4+10=5+9
   (4, 5, 9, 10, 15): 9=4+5; 15=5+10; 4+10=5+9
   (4, 5, 9, 12, 13): 9=4+5; 13=4+9; 4+13=5+12
   (4, 5, 9, 12, 15): 9=4+5
   (4, 5, 9, 13, 15): 9=4+5; 13=4+9
   (4, 5, 10, 12, 13): 4+13=5+12; 4+5+13=10+12
   (4, 5, 10, 12, 15): 15=5+10
   (4, 5, 10, 13, 15): 15=5+10
   (4, 5, 12, 13, 15): 4+13=5+12
   (4, 6, 7, 8, 9): 8+9=4+6+7; 6+9=7+8; 4+9=6+7
   (4, 6, 7, 8, 10): 10=4+6; 4+10=6+8
   (4, 6, 7, 8, 12): 12=4+8
   (4, 6, 7, 8, 13): 6+13=4+7+8; 13=6+7
   (4, 6, 7, 8, 15): 15=7+8
   (4, 6, 7, 9, 10): 10=4+6; 6+10=7+9; 4+9=6+7
   (4, 6, 7, 9, 12): 7+12=4+6+9; 4+9=6+7; 4+12=7+9
   (4, 6, 7, 9, 13): 13=4+9; 13=6+7; 4+9=6+7
   (4, 6, 7, 9, 15): 15=6+9; 4+9=6+7
   (4, 6, 7, 10, 12): 10=4+6; 4+12=6+10
   (4, 6, 7, 10, 13): 10=4+6; 7+13=4+6+10; 13=6+7
   (4, 6, 7, 10, 15): 10=4+6; 6+15=4+7+10
   (4, 6, 7, 12, 13): 13=6+7; 6+13=7+12
   (4, 6, 7, 12, 15): 7+15=4+6+12; 4+15=7+12
   (4, 6, 7, 13, 15): 13=6+7; 4+15=6+13
   (4, 6, 8, 9, 10): 10=4+6; 4+10=6+8
   (4, 6, 8, 9, 12): 12=4+8
   (4, 6, 8, 9, 13): 13=4+9; 4+13=8+9
   (4, 6, 8, 9, 15): 6+15=4+8+9; 15=6+9
   (4, 6, 8, 10, 12): 10=4+6; 8+12=4+6+10; 12=4+8
   (4, 6, 8, 10, 13): 10=4+6; 4+10=6+8
   (4, 6, 8, 10, 15): 10=4+6; 4+10=6+8
   (4, 6, 8, 12, 13): 12=4+8
   (4, 6, 8, 12, 15): 12=4+8
   (4, 6, 8, 13, 15): 8+15=4+6+13; 6+15=8+13; 4+15=6+13
   (4, 6, 9, 10, 12): 10=4+6; 4+12=6+10
   (4, 6, 9, 10, 13): 10=4+6; 13=4+9; 6+13=9+10
   (4, 6, 9, 10, 15): 10=4+6; 15=6+9; 4+15=9+10
   (4, 6, 9, 12, 13): 9+13=4+6+12; 13=4+9
   (4, 6, 9, 12, 15): 15=6+9; 6+15=9+12
   (4, 6, 9, 13, 15): 13=4+9; 15=6+9; 4+15=6+13
   (4, 6, 10, 12, 13): 10=4+6; 4+12=6+10
   (4, 6, 10, 12, 15): 10=4+6; 4+12=6+10
   (4, 6, 10, 13, 15): 10=4+6; 4+15=6+13
   (4, 6, 12, 13, 15): 4+15=6+13; 4+6+15=12+13
   (4, 7, 8, 9, 10): 9+10=4+7+8; 7+10=8+9
   (4, 7, 8, 9, 12): 8+12=4+7+9; 12=4+8; 4+12=7+9
   (4, 7, 8, 9, 13): 13=4+9; 4+13=8+9
   (4, 7, 8, 9, 15): 15=7+8
   (4, 7, 8, 10, 12): 12=4+8
   (4, 7, 8, 10, 13): 8+13=4+7+10; 4+13=7+10
   (4, 7, 8, 10, 15): 7+15=4+8+10; 15=7+8
   (4, 7, 8, 12, 13): 12=4+8; 7+13=8+12
   (4, 7, 8, 12, 15): 8+15=4+7+12; 12=4+8; 15=7+8
   (4, 7, 8, 13, 15): 15=7+8
   (4, 7, 9, 10, 12): 9+12=4+7+10; 7+12=9+10; 4+12=7+9
   (4, 7, 9, 10, 13): 13=4+9; 4+13=7+10
   (4, 7, 9, 10, 15): 4+15=9+10
   (4, 7, 9, 12, 13): 13=4+9; 4+12=7+9
   (4, 7, 9, 12, 15): 4+12=7+9; 4+15=7+12
   (4, 7, 9, 13, 15): 9+15=4+7+13; 13=4+9; 7+15=9+13
   (4, 7, 10, 12, 13): 10+13=4+7+12; 4+13=7+10
   (4, 7, 10, 12, 15): 7+15=10+12; 4+15=7+12
   (4, 7, 10, 13, 15): 4+13=7+10
   (4, 7, 12, 13, 15): 4+15=7+12
   (4, 8, 9, 10, 12): 12=4+8
   (4, 8, 9, 10, 13): 9+13=4+8+10; 13=4+9; 4+13=8+9
   (4, 8, 9, 10, 15): 8+15=4+9+10; 4+15=9+10
   (4, 8, 9, 12, 13): 12=4+8; 13=4+9; 8+13=9+12
   (4, 8, 9, 12, 15): 12=4+8; 9+15=4+8+12
   (4, 8, 9, 13, 15): 13=4+9; 4+13=8+9
   (4, 8, 10, 12, 13): 12=4+8
   (4, 8, 10, 12, 15): 12=4+8
   (4, 8, 10, 13, 15): 10+15=4+8+13; 8+15=10+13
   (4, 8, 12, 13, 15): 12=4+8
   (4, 9, 10, 12, 13): 13=4+9; 9+13=10+12
   (4, 9, 10, 12, 15): 10+15=4+9+12; 4+15=9+10
   (4, 9, 10, 13, 15): 13=4+9; 4+15=9+10
   (4, 9, 12, 13, 15): 13=4+9
   (4, 10, 12, 13, 15): 12+15=4+10+13; 10+15=12+13
   (5, 6, 7, 8, 9): 6+9=7+8; 5+8=6+7; 5+9=6+8
   (5, 6, 7, 8, 10): 8+10=5+6+7; 5+8=6+7; 5+10=7+8
   (5, 6, 7, 8, 12): 7+12=5+6+8; 12=5+7; 5+8=6+7
   (5, 6, 7, 8, 13): 13=5+8; 13=6+7; 5+8=6+7
   (5, 6, 7, 8, 15): 15=7+8; 5+8=6+7
   (5, 6, 7, 9, 10): 6+10=7+9; 5+10=6+9
   (5, 6, 7, 9, 12): 12=5+7
   (5, 6, 7, 9, 13): 7+13=5+6+9; 13=6+7
   (5, 6, 7, 9, 15): 6+15=5+7+9; 15=6+9
   (5, 6, 7, 10, 12): 12=5+7; 5+12=7+10
   (5, 6, 7, 10, 13): 13=6+7
   (5, 6, 7, 10, 15): 15=5+10
   (5, 6, 7, 12, 13): 12=5+7; 13=6+7; 6+13=7+12
   (5, 6, 7, 12, 15): 12=5+7
   (5, 6, 7, 13, 15): 13=6+7; 5+15=7+13
   (5, 6, 8, 9, 10): 9+10=5+6+8; 5+9=6+8; 5+10=6+9
   (5, 6, 8, 9, 12): 8+12=5+6+9; 5+9=6+8; 5+12=8+9
   (5, 6, 8, 9, 13): 13=5+8; 5+9=6+8
   (5, 6, 8, 9, 15): 15=6+9; 5+9=6+8
   (5, 6, 8, 10, 12): 6+12=8+10
   (5, 6, 8, 10, 13): 8+13=5+6+10; 13=5+8; 5+13=8+10
   (5, 6, 8, 10, 15): 15=5+10
   (5, 6, 8, 12, 13): 13=5+8; 5+13=6+12
   (5, 6, 8, 12, 15): 8+15=5+6+12; 5+15=8+12
   (5, 6, 8, 13, 15): 13=5+8; 6+15=8+13
   (5, 6, 9, 10, 12): 9+12=5+6+10; 5+10=6+9
   (5, 6, 9, 10, 13): 6+13=9+10; 5+10=6+9
   (5, 6, 9, 10, 15): 15=5+10; 15=6+9; 5+10=6+9
   (5, 6, 9, 12, 13): 5+13=6+12
   (5, 6, 9, 12, 15): 15=6+9; 6+15=9+12
   (5, 6, 9, 13, 15): 9+15=5+6+13; 15=6+9
   (5, 6, 10, 12, 13): 10+13=5+6+12; 5+13=6+12
   (5, 6, 10, 12, 15): 15=5+10
   (5, 6, 10, 13, 15): 15=5+10
   (5, 6, 12, 13, 15): 5+13=6+12
   (5, 7, 8, 9, 10): 7+10=8+9; 5+10=7+8
   (5, 7, 8, 9, 12): 12=5+7; 5+12=8+9
   (5, 7, 8, 9, 13): 8+13=5+7+9; 13=5+8
   (5, 7, 8, 9, 15): 7+15=5+8+9; 15=7+8
   (5, 7, 8, 10, 12): 12=5+7; 5+10=7+8; 5+12=7+10
   (5, 7, 8, 10, 13): 13=5+8; 5+10=7+8; 5+13=8+10
   (5, 7, 8, 10, 15): 15=5+10; 15=7+8; 5+10=7+8
   (5, 7, 8, 12, 13): 12=5+7; 13=5+8; 7+13=8+12
   (5, 7, 8, 12, 15): 12=5+7; 15=7+8; 5+15=8+12
   (5, 7, 8, 13, 15): 13=5+8; 15=7+8; 5+15=7+13
   (5, 7, 9, 10, 12): 12=5+7; 7+12=9+10; 5+12=7+10
   (5, 7, 9, 10, 13): 9+13=5+7+10
   (5, 7, 9, 10, 15): 15=5+10
   (5, 7, 9, 12, 13): 12=5+7
   (5, 7, 9, 12, 15): 12=5+7; 9+15=5+7+12
   (5, 7, 9, 13, 15): 7+15=9+13; 5+15=7+13
   (5, 7, 10, 12, 13): 12=5+7; 5+12=7+10
   (5, 7, 10, 12, 15): 12=5+7; 15=5+10; 7+15=10+12
   (5, 7, 10, 13, 15): 10+15=5+7+13; 15=5+10; 5+15=7+13
   (5, 7, 12, 13, 15): 12=5+7; 5+15=7+13
   (5, 8, 9, 10, 12): 10+12=5+8+9; 5+12=8+9
   (5, 8, 9, 10, 13): 13=5+8; 5+13=8+10
   (5, 8, 9, 10, 15): 15=5+10
   (5, 8, 9, 12, 13): 13=5+8; 8+13=9+12; 5+12=8+9
   (5, 8, 9, 12, 15): 5+12=8+9; 5+15=8+12
   (5, 8, 9, 13, 15): 13=5+8
   (5, 8, 10, 12, 13): 13=5+8; 5+13=8+10
   (5, 8, 10, 12, 15): 10+15=5+8+12; 15=5+10; 5+15=8+12
   (5, 8, 10, 13, 15): 13=5+8; 15=5+10; 8+15=10+13
   (5, 8, 12, 13, 15): 13=5+8; 5+15=8+12
   (5, 9, 10, 12, 13): 9+13=10+12
   (5, 9, 10, 12, 15): 15=5+10
   (5, 9, 10, 13, 15): 15=5+10
   (5, 9, 12, 13, 15): 12+15=5+9+13
   (5, 10, 12, 13, 15): 15=5+10; 10+15=12+13
   (6, 7, 8, 9, 10): 7+10=8+9; 6+9=7+8; 6+10=7+9
   (6, 7, 8, 9, 12): 9+12=6+7+8; 6+9=7+8
   (6, 7, 8, 9, 13): 13=6+7; 6+9=7+8
   (6, 7, 8, 9, 15): 15=6+9; 15=7+8; 6+9=7+8
   (6, 7, 8, 10, 12): 6+12=8+10
   (6, 7, 8, 10, 13): 13=6+7
   (6, 7, 8, 10, 15): 8+15=6+7+10; 15=7+8
   (6, 7, 8, 12, 13): 13=6+7; 7+13=8+12; 6+13=7+12
   (6, 7, 8, 12, 15): 15=7+8
   (6, 7, 8, 13, 15): 13=6+7; 15=7+8; 6+15=8+13
   (6, 7, 9, 10, 12): 10+12=6+7+9; 7+12=9+10; 6+10=7+9
   (6, 7, 9, 10, 13): 13=6+7; 6+10=7+9; 6+13=9+10
   (6, 7, 9, 10, 15): 15=6+9; 6+10=7+9
   (6, 7, 9, 12, 13): 13=6+7; 6+13=7+12
   (6, 7, 9, 12, 15): 15=6+9; 6+15=9+12
   (6, 7, 9, 13, 15): 13=6+7; 15=6+9; 7+15=9+13
   (6, 7, 10, 12, 13): 13=6+7; 6+13=7+12
   (6, 7, 10, 12, 15): 10+15=6+7+12; 7+15=10+12
   (6, 7, 10, 13, 15): 13=6+7
   (6, 7, 12, 13, 15): 13=6+7; 6+13=7+12
   (6, 8, 9, 10, 12): 6+12=8+10
   (6, 8, 9, 10, 13): 10+13=6+8+9; 6+13=9+10
   (6, 8, 9, 10, 15): 9+15=6+8+10; 15=6+9
   (6, 8, 9, 12, 13): 8+13=9+12
   (6, 8, 9, 12, 15): 15=6+9; 6+15=9+12
   (6, 8, 9, 13, 15): 15=6+9; 6+15=8+13
   (6, 8, 10, 12, 13): 6+12=8+10
   (6, 8, 10, 12, 15): 6+12=8+10
   (6, 8, 10, 13, 15): 8+15=10+13; 6+15=8+13
   (6, 8, 12, 13, 15): 12+15=6+8+13; 6+15=8+13
   (6, 9, 10, 12, 13): 12+13=6+9+10; 9+13=10+12; 6+13=9+10
   (6, 9, 10, 12, 15): 15=6+9; 6+15=9+12
   (6, 9, 10, 13, 15): 15=6+9; 6+13=9+10
   (6, 9, 12, 13, 15): 15=6+9; 6+15=9+12
   (6, 10, 12, 13, 15): 13+15=6+10+12; 10+15=12+13
   (7, 8, 9, 10, 12): 7+10=8+9; 7+12=9+10
   (7, 8, 9, 10, 13): 7+10=8+9
   (7, 8, 9, 10, 15): 15=7+8; 7+10=8+9
   (7, 8, 9, 12, 13): 8+13=9+12; 7+13=8+12
   (7, 8, 9, 12, 15): 15=7+8
   (7, 8, 9, 13, 15): 15=7+8; 7+15=9+13
   (7, 8, 10, 12, 13): 12+13=7+8+10; 7+13=8+12
   (7, 8, 10, 12, 15): 15=7+8; 7+15=10+12
   (7, 8, 10, 13, 15): 15=7+8; 8+15=10+13
   (7, 8, 12, 13, 15): 15=7+8; 7+13=8+12
   (7, 9, 10, 12, 13): 9+13=10+12; 7+12=9+10
   (7, 9, 10, 12, 15): 7+12=9+10; 7+15=10+12
   (7, 9, 10, 13, 15): 7+15=9+13
   (7, 9, 12, 13, 15): 13+15=7+9+12; 7+15=9+13
   (7, 10, 12, 13, 15): 10+15=12+13; 7+15=10+12
   (8, 9, 10, 12, 13): 9+13=10+12; 8+13=9+12
   (8, 9, 10, 12, 15): 12+15=8+9+10
   (8, 9, 10, 13, 15): 8+15=10+13
   (8, 9, 12, 13, 15): 8+13=9+12
   (8, 10, 12, 13, 15): 10+15=12+13; 8+15=10+13
   (9, 10, 12, 13, 15): 10+15=12+13; 9+13=10+12
   d([1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15]) = 4
d(A*) = 4 (largest dissociated subset size; 4 expected)
d({1..12}) = 4  d({1..13}) = 5  {6,9,11,12,13} dissociated: True

g+(K): {1: 0, 2: 1, 3: 3, 4: 6}  g(K): {1: 1, 2: 3, 3: 7, 4: 13}  g(5) >= 27 from A*
 n : f(n) [floor(log2 n)]   (f(n) = max K with g(K) <= n-1; for 14<=n<=27, f(n)=4 since g(5)>=27)
  1 : 0  [0]
  2 : 1  [1]
  3 : 1  [1]
  4 : 2  [2]
  5 : 2  [2]
  6 : 2  [2]
  7 : 2  [2]
  8 : 3  [3]
  9 : 3  [3]
 10 : 3  [3]
 11 : 3  [3]
 12 : 3  [3]
 13 : 3  [3]
 14 : 4  [3]
 15 : 4  [3]
 16 : 4  [4]
 17 : 4  [4]
 18 : 4  [4]
 19 : 4  [4]
 20 : 4  [4]
 21 : 4  [4]
 22 : 4  [4]
 23 : 4  [4]
 24 : 4  [4]
 25 : 4  [4]
 26 : 4  [4]
 27 : 4  [4]
 28 : >=4  [4]
 29 : >=4  [4]
 30 : >=4  [4]
 31 : >=4  [4]
