a=4, b=2, c=5, s=5
a=5, b=3, c=6, s=6
a=5, b=2, c=7, s=7
a=6, b=4, c=7, s=7
a=6, b=3, c=8, s=8
a=6, b=4, c=7, s=8
a=7, b=4, c=8, s=8
a=7, b=5, c=8, s=8
a=6, b=2, c=9, s=9
a=6, b=3, c=8, s=9
a=7, b=3, c=9, s=9
a=7, b=4, c=9, s=9
a=7, b=5, c=8, s=9
a=8, b=5, c=9, s=9
a=8, b=6, c=9, s=9
a=7, b=3, c=10, s=10
a=7, b=4, c=9, s=10
a=8, b=4, c=10, s=10
a=8, b=5, c=10, s=10
a=8, b=6, c=9, s=10
a=9, b=6, c=10, s=10
a=9, b=7, c=10, s=10
a=7, b=2, c=11, s=11
a=7, b=3, c=10, s=11
a=8, b=3, c=11, s=11
a=8, b=4, c=11, s=11
a=8, b=5, c=10, s=11
a=8, b=6, c=9, s=11
a=9, b=5, c=11, s=11
a=9, b=6, c=11, s=11
a=9, b=7, c=10, s=11
a=10, b=7, c=11, s=11
a=10, b=8, c=11, s=11
a=8, b=3, c=12, s=12
a=8, b=4, c=11, s=12
a=8, b=5, c=10, s=12
a=9, b=4, c=12, s=12
a=9, b=5, c=11, s=12
a=9, b=5, c=12, s=12
a=9, b=6, c=11, s=12
a=9, b=7, c=10, s=12
a=10, b=6, c=12, s=12
a=10, b=7, c=11, s=12
a=10, b=7, c=12, s=12
a=10, b=8, c=11, s=12
a=11, b=8, c=12, s=12
a=11, b=9, c=12, s=12
a=8, b=2, c=13, s=13
a=8, b=3, c=12, s=13
a=8, b=4, c=11, s=13
a=9, b=3, c=13, s=13
a=9, b=4, c=13, s=13
a=9, b=5, c=12, s=13
a=9, b=6, c=11, s=13
a=10, b=5, c=13, s=13
a=10, b=6, c=12, s=13
a=10, b=6, c=13, s=13
a=10, b=7, c=12, s=13
a=10, b=8, c=11, s=13
a=11, b=6, c=13, s=13
a=11, b=7, c=13, s=13
a=11, b=8, c=12, s=13
a=11, b=8, c=13, s=13
a=11, b=9, c=12, s=13
a=12, b=8, c=13, s=13
a=12, b=9, c=13, s=13
a=12, b=10, c=13, s=13
a=9, b=3, c=14, s=14
a=9, b=4, c=13, s=14
a=9, b=5, c=12, s=14
a=9, b=6, c=11, s=14
a=10, b=4, c=14, s=14
a=10, b=5, c=13, s=14
a=10, b=5, c=14, s=14
a=10, b=6, c=13, s=14
a=10, b=7, c=12, s=14
a=10, b=8, c=11, s=14
a=11, b=5, c=14, s=14
a=11, b=6, c=14, s=14
a=11, b=7, c=13, s=14
a=11, b=7, c=14, s=14
a=11, b=8, c=13, s=14
a=11, b=9, c=12, s=14
a=12, b=7, c=14, s=14
a=12, b=8, c=14, s=14
a=12, b=9, c=13, s=14
a=12, b=9, c=14, s=14
a=12, b=10, c=13, s=14
a=13, b=9, c=14, s=14
a=13, b=10, c=14, s=14
a=13, b=11, c=14, s=14
a=9, b=2, c=15, s=15
a=9, b=3, c=14, s=15
a=9, b=4, c=13, s=15
a=10, b=3, c=15, s=15
a=10, b=4, c=14, s=15
a=10, b=4, c=15, s=15
a=10, b=5, c=14, s=15
a=10, b=6, c=13, s=15
a=10, b=7, c=12, s=15
a=11, b=5, c=15, s=15
a=11, b=6, c=14, s=15
a=11, b=6, c=15, s=15
a=11, b=7, c=13, s=15
a=11, b=7, c=14, s=15
a=11, b=8, c=13, s=15
a=11, b=9, c=12, s=15
a=12, b=6, c=15, s=15
a=12, b=7, c=15, s=15
a=12, b=8, c=14, s=15
a=12, b=8, c=15, s=15
a=12, b=9, c=14, s=15
a=12, b=10, c=13, s=15
a=13, b=8, c=15, s=15
a=13, b=9, c=15, s=15
a=13, b=10, c=14, s=15
a=13, b=10, c=15, s=15
a=13, b=11, c=14, s=15
a=14, b=10, c=15, s=15
a=14, b=11, c=15, s=15
a=14, b=12, c=15, s=15
a=10, b=3, c=16, s=16
a=10, b=4, c=15, s=16
a=10, b=5, c=14, s=16
a=10, b=6, c=13, s=16
a=11, b=4, c=16, s=16
a=11, b=5, c=15, s=16
a=11, b=5, c=16, s=16
a=11, b=6, c=14, s=16
a=11, b=6, c=15, s=16
a=11, b=7, c=14, s=16
a=11, b=8, c=13, s=16
a=12, b=5, c=16, s=16
a=12, b=6, c=16, s=16
a=12, b=7, c=15, s=16
a=12, b=7, c=16, s=16
a=12, b=8, c=14, s=16
a=12, b=8, c=15, s=16
a=12, b=9, c=14, s=16
a=12, b=10, c=13, s=16
a=13, b=7, c=16, s=16
a=13, b=8, c=15, s=16
a=13, b=8, c=16, s=16
a=13, b=9, c=15, s=16
a=13, b=9, c=16, s=16
a=13, b=10, c=14, s=16
a=13, b=10, c=15, s=16
a=13, b=11, c=14, s=16
a=14, b=8, c=16, s=16
a=14, b=9, c=16, s=16
a=14, b=10, c=16, s=16
a=14, b=11, c=15, s=16
a=14, b=11, c=16, s=16
a=14, b=12, c=15, s=16
a=15, b=11, c=16, s=16
a=15, b=12, c=16, s=16
a=15, b=13, c=16, s=16
a=10, b=2, c=17, s=17
a=10, b=3, c=16, s=17
a=10, b=4, c=15, s=17
a=10, b=5, c=14, s=17
a=11, b=3, c=17, s=17
a=11, b=4, c=16, s=17
a=11, b=4, c=17, s=17
a=11, b=5, c=16, s=17
a=11, b=6, c=15, s=17
a=11, b=7, c=14, s=17
a=11, b=8, c=13, s=17
a=12, b=4, c=17, s=17
a=12, b=5, c=17, s=17
a=12, b=6, c=16, s=17
a=12, b=6, c=17, s=17
a=12, b=7, c=15, s=17
a=12, b=7, c=16, s=17
a=12, b=8, c=15, s=17
a=12, b=9, c=14, s=17
a=12, b=10, c=13, s=17
a=13, b=6, c=17, s=17
a=13, b=7, c=16, s=17
a=13, b=7, c=17, s=17
a=13, b=8, c=16, s=17
a=13, b=8, c=17, s=17
a=13, b=9, c=15, s=17
a=13, b=9, c=16, s=17
a=13, b=10, c=15, s=17
a=13, b=11, c=14, s=17
a=14, b=7, c=17, s=17
a=14, b=8, c=17, s=17
a=14, b=9, c=16, s=17
a=14, b=9, c=17, s=17
a=14, b=10, c=16, s=17
a=14, b=10, c=17, s=17
a=14, b=11, c=15, s=17
a=14, b=11, c=16, s=17
a=14, b=12, c=15, s=17
a=15, b=9, c=17, s=17
a=15, b=10, c=17, s=17
a=15, b=11, c=17, s=17
a=15, b=12, c=16, s=17
a=15, b=12, c=17, s=17
a=15, b=13, c=16, s=17
a=16, b=12, c=17, s=17
a=16, b=13, c=17, s=17
a=16, b=14, c=17, s=17
a=11, b=3, c=18, s=18
a=11, b=4, c=17, s=18
a=11, b=5, c=16, s=18
a=11, b=6, c=15, s=18
a=11, b=7, c=14, s=18
a=12, b=4, c=18, s=18
a=12, b=5, c=17, s=18
a=12, b=5, c=18, s=18
a=12, b=6, c=16, s=18
a=12, b=6, c=17, s=18
a=12, b=7, c=16, s=18
a=12, b=8, c=15, s=18
a=12, b=9, c=14, s=18
a=13, b=5, c=18, s=18
a=13, b=6, c=17, s=18
a=13, b=6, c=18, s=18
a=13, b=7, c=17, s=18
a=13, b=7, c=18, s=18
a=13, b=8, c=16, s=18
a=13, b=8, c=17, s=18
a=13, b=9, c=15, s=18
a=13, b=9, c=16, s=18
a=13, b=10, c=15, s=18
a=13, b=11, c=14, s=18
a=14, b=6, c=18, s=18
a=14, b=7, c=18, s=18
a=14, b=8, c=17, s=18
a=14, b=8, c=18, s=18
a=14, b=9, c=17, s=18
a=14, b=9, c=18, s=18
a=14, b=10, c=16, s=18
a=14, b=10, c=17, s=18
a=14, b=11, c=16, s=18
a=14, b=12, c=15, s=18
a=15, b=8, c=18, s=18
a=15, b=9, c=18, s=18
a=15, b=10, c=17, s=18
a=15, b=10, c=18, s=18
a=15, b=11, c=17, s=18
a=15, b=11, c=18, s=18
a=15, b=12, c=16, s=18
a=15, b=12, c=17, s=18
a=15, b=13, c=16, s=18
a=16, b=10, c=18, s=18
a=16, b=11, c=18, s=18
a=16, b=12, c=17, s=18
a=16, b=12, c=18, s=18
a=16, b=13, c=17, s=18
a=16, b=13, c=18, s=18
a=16, b=14, c=17, s=18
a=17, b=12, c=18, s=18
a=17, b=13, c=18, s=18
a=17, b=14, c=18, s=18
a=17, b=15, c=18, s=18
a=11, b=2, c=19, s=19
a=11, b=3, c=18, s=19
a=11, b=4, c=17, s=19
a=11, b=5, c=16, s=19
a=12, b=3, c=19, s=19
a=12, b=4, c=18, s=19
a=12, b=4, c=19, s=19
a=12, b=5, c=18, s=19
a=12, b=6, c=17, s=19
a=12, b=7, c=16, s=19
a=12, b=8, c=15, s=19
a=12, b=9, c=14, s=19
a=13, b=4, c=19, s=19
a=13, b=5, c=19, s=19
a=13, b=6, c=18, s=19
a=13, b=6, c=19, s=19
a=13, b=7, c=17, s=19
a=13, b=7, c=18, s=19
a=13, b=8, c=16, s=19
a=13, b=8, c=17, s=19
a=13, b=9, c=16, s=19
a=13, b=10, c=15, s=19
a=14, b=6, c=19, s=19
a=14, b=7, c=18, s=19
a=14, b=7, c=19, s=19
a=14, b=8, c=18, s=19
a=14, b=8, c=19, s=19
a=14, b=9, c=17, s=19
a=14, b=9, c=18, s=19
a=14, b=10, c=16, s=19
a=14, b=10, c=17, s=19
a=14, b=11, c=16, s=19
a=14, b=12, c=15, s=19
a=15, b=7, c=19, s=19
a=15, b=8, c=19, s=19
a=15, b=9, c=18, s=19
a=15, b=9, c=19, s=19
a=15, b=10, c=18, s=19
a=15, b=10, c=19, s=19
a=15, b=11, c=17, s=19
a=15, b=11, c=18, s=19
a=15, b=12, c=17, s=19
a=15, b=13, c=16, s=19
a=16, b=9, c=19, s=19
a=16, b=10, c=19, s=19
a=16, b=11, c=18, s=19
a=16, b=11, c=19, s=19
a=16, b=12, c=18, s=19
a=16, b=12, c=19, s=19
a=16, b=13, c=17, s=19
a=16, b=13, c=18, s=19
a=16, b=14, c=17, s=19
a=17, b=11, c=19, s=19
a=17, b=12, c=19, s=19
a=17, b=13, c=18, s=19
a=17, b=13, c=19, s=19
a=17, b=14, c=18, s=19
a=17, b=14, c=19, s=19
a=17, b=15, c=18, s=19
a=18, b=13, c=19, s=19
a=18, b=14, c=19, s=19
a=18, b=15, c=19, s=19
a=18, b=16, c=19, s=19