OK: 1 * -20 + 0 == -20 OK: 1 * -19 + -1 == -20 OK: 1 * -18 + -2 == -20 OK: 1 * -17 + -3 == -20 OK: 1 * -16 + -4 == -20 OK: 1 * -15 + -5 == -20 OK: 1 * -14 + -6 == -20 OK: 1 * -13 + -7 == -20 OK: 1 * -12 + -8 == -20 OK: 1 * -11 + -9 == -20 OK: 2 * -10 + 0 == -20 OK: 2 * -9 + -2 == -20 OK: 2 * -8 + -4 == -20 OK: 2 * -7 + -6 == -20 OK: 3 * -6 + -2 == -20 OK: 4 * -5 + 0 == -20 OK: 5 * -4 + 0 == -20 OK: 6 * -3 + -2 == -20 OK: 10 * -2 + 0 == -20 OK: 20 * -1 + 0 == -20 OK: -20 * 1 + 0 == -20 OK: -10 * 2 + 0 == -20 OK: -6 * 3 + -2 == -20 OK: -5 * 4 + 0 == -20 OK: -4 * 5 + 0 == -20 OK: -3 * 6 + -2 == -20 OK: -2 * 7 + -6 == -20 OK: -2 * 8 + -4 == -20 OK: -2 * 9 + -2 == -20 OK: -2 * 10 + 0 == -20 OK: -1 * 11 + -9 == -20 OK: -1 * 12 + -8 == -20 OK: -1 * 13 + -7 == -20 OK: -1 * 14 + -6 == -20 OK: -1 * 15 + -5 == -20 OK: -1 * 16 + -4 == -20 OK: -1 * 17 + -3 == -20 OK: -1 * 18 + -2 == -20 OK: -1 * 19 + -1 == -20 OK: -1 * 20 + 0 == -20 OK: 1 * -19 + 0 == -19 OK: 1 * -18 + -1 == -19 OK: 1 * -17 + -2 == -19 OK: 1 * -16 + -3 == -19 OK: 1 * -15 + -4 == -19 OK: 1 * -14 + -5 == -19 OK: 1 * -13 + -6 == -19 OK: 1 * -12 + -7 == -19 OK: 1 * -11 + -8 == -19 OK: 1 * -10 + -9 == -19 OK: 2 * -9 + -1 == -19 OK: 2 * -8 + -3 == -19 OK: 2 * -7 + -5 == -19 OK: 3 * -6 + -1 == -19 OK: 3 * -5 + -4 == -19 OK: 4 * -4 + -3 == -19 OK: 6 * -3 + -1 == -19 OK: 9 * -2 + -1 == -19 OK: 19 * -1 + 0 == -19 OK: -19 * 1 + 0 == -19 OK: -9 * 2 + -1 == -19 OK: -6 * 3 + -1 == -19 OK: -4 * 4 + -3 == -19 OK: -3 * 5 + -4 == -19 OK: -3 * 6 + -1 == -19 OK: -2 * 7 + -5 == -19 OK: -2 * 8 + -3 == -19 OK: -2 * 9 + -1 == -19 OK: -1 * 10 + -9 == -19 OK: -1 * 11 + -8 == -19 OK: -1 * 12 + -7 == -19 OK: -1 * 13 + -6 == -19 OK: -1 * 14 + -5 == -19 OK: -1 * 15 + -4 == -19 OK: -1 * 16 + -3 == -19 OK: -1 * 17 + -2 == -19 OK: -1 * 18 + -1 == -19 OK: -1 * 19 + 0 == -19 OK: 1 * -18 + 0 == -18 OK: 1 * -17 + -1 == -18 OK: 1 * -16 + -2 == -18 OK: 1 * -15 + -3 == -18 OK: 1 * -14 + -4 == -18 OK: 1 * -13 + -5 == -18 OK: 1 * -12 + -6 == -18 OK: 1 * -11 + -7 == -18 OK: 1 * -10 + -8 == -18 OK: 2 * -9 + 0 == -18 OK: 2 * -8 + -2 == -18 OK: 2 * -7 + -4 == -18 OK: 3 * -6 + 0 == -18 OK: 3 * -5 + -3 == -18 OK: 4 * -4 + -2 == -18 OK: 6 * -3 + 0 == -18 OK: 9 * -2 + 0 == -18 OK: 18 * -1 + 0 == -18 OK: -18 * 1 + 0 == -18 OK: -9 * 2 + 0 == -18 OK: -6 * 3 + 0 == -18 OK: -4 * 4 + -2 == -18 OK: -3 * 5 + -3 == -18 OK: -3 * 6 + 0 == -18 OK: -2 * 7 + -4 == -18 OK: -2 * 8 + -2 == -18 OK: -2 * 9 + 0 == -18 OK: -1 * 10 + -8 == -18 OK: -1 * 11 + -7 == -18 OK: -1 * 12 + -6 == -18 OK: -1 * 13 + -5 == -18 OK: -1 * 14 + -4 == -18 OK: -1 * 15 + -3 == -18 OK: -1 * 16 + -2 == -18 OK: -1 * 17 + -1 == -18 OK: -1 * 18 + 0 == -18 OK: 1 * -17 + 0 == -17 OK: 1 * -16 + -1 == -17 OK: 1 * -15 + -2 == -17 OK: 1 * -14 + -3 == -17 OK: 1 * -13 + -4 == -17 OK: 1 * -12 + -5 == -17 OK: 1 * -11 + -6 == -17 OK: 1 * -10 + -7 == -17 OK: 1 * -9 + -8 == -17 OK: 2 * -8 + -1 == -17 OK: 2 * -7 + -3 == -17 OK: 2 * -6 + -5 == -17 OK: 3 * -5 + -2 == -17 OK: 4 * -4 + -1 == -17 OK: 5 * -3 + -2 == -17 OK: 8 * -2 + -1 == -17 OK: 17 * -1 + 0 == -17 OK: -17 * 1 + 0 == -17 OK: -8 * 2 + -1 == -17 OK: -5 * 3 + -2 == -17 OK: -4 * 4 + -1 == -17 OK: -3 * 5 + -2 == -17 OK: -2 * 6 + -5 == -17 OK: -2 * 7 + -3 == -17 OK: -2 * 8 + -1 == -17 OK: -1 * 9 + -8 == -17 OK: -1 * 10 + -7 == -17 OK: -1 * 11 + -6 == -17 OK: -1 * 12 + -5 == -17 OK: -1 * 13 + -4 == -17 OK: -1 * 14 + -3 == -17 OK: -1 * 15 + -2 == -17 OK: -1 * 16 + -1 == -17 OK: -1 * 17 + 0 == -17 OK: 1 * -16 + 0 == -16 OK: 1 * -15 + -1 == -16 OK: 1 * -14 + -2 == -16 OK: 1 * -13 + -3 == -16 OK: 1 * -12 + -4 == -16 OK: 1 * -11 + -5 == -16 OK: 1 * -10 + -6 == -16 OK: 1 * -9 + -7 == -16 OK: 2 * -8 + 0 == -16 OK: 2 * -7 + -2 == -16 OK: 2 * -6 + -4 == -16 OK: 3 * -5 + -1 == -16 OK: 4 * -4 + 0 == -16 OK: 5 * -3 + -1 == -16 OK: 8 * -2 + 0 == -16 OK: 16 * -1 + 0 == -16 OK: -16 * 1 + 0 == -16 OK: -8 * 2 + 0 == -16 OK: -5 * 3 + -1 == -16 OK: -4 * 4 + 0 == -16 OK: -3 * 5 + -1 == -16 OK: -2 * 6 + -4 == -16 OK: -2 * 7 + -2 == -16 OK: -2 * 8 + 0 == -16 OK: -1 * 9 + -7 == -16 OK: -1 * 10 + -6 == -16 OK: -1 * 11 + -5 == -16 OK: -1 * 12 + -4 == -16 OK: -1 * 13 + -3 == -16 OK: -1 * 14 + -2 == -16 OK: -1 * 15 + -1 == -16 OK: -1 * 16 + 0 == -16 OK: 1 * -15 + 0 == -15 OK: 1 * -14 + -1 == -15 OK: 1 * -13 + -2 == -15 OK: 1 * -12 + -3 == -15 OK: 1 * -11 + -4 == -15 OK: 1 * -10 + -5 == -15 OK: 1 * -9 + -6 == -15 OK: 1 * -8 + -7 == -15 OK: 2 * -7 + -1 == -15 OK: 2 * -6 + -3 == -15 OK: 3 * -5 + 0 == -15 OK: 3 * -4 + -3 == -15 OK: 5 * -3 + 0 == -15 OK: 7 * -2 + -1 == -15 OK: 15 * -1 + 0 == -15 OK: -15 * 1 + 0 == -15 OK: -7 * 2 + -1 == -15 OK: -5 * 3 + 0 == -15 OK: -3 * 4 + -3 == -15 OK: -3 * 5 + 0 == -15 OK: -2 * 6 + -3 == -15 OK: -2 * 7 + -1 == -15 OK: -1 * 8 + -7 == -15 OK: -1 * 9 + -6 == -15 OK: -1 * 10 + -5 == -15 OK: -1 * 11 + -4 == -15 OK: -1 * 12 + -3 == -15 OK: -1 * 13 + -2 == -15 OK: -1 * 14 + -1 == -15 OK: -1 * 15 + 0 == -15 OK: 1 * -14 + 0 == -14 OK: 1 * -13 + -1 == -14 OK: 1 * -12 + -2 == -14 OK: 1 * -11 + -3 == -14 OK: 1 * -10 + -4 == -14 OK: 1 * -9 + -5 == -14 OK: 1 * -8 + -6 == -14 OK: 2 * -7 + 0 == -14 OK: 2 * -6 + -2 == -14 OK: 2 * -5 + -4 == -14 OK: 3 * -4 + -2 == -14 OK: 4 * -3 + -2 == -14 OK: 7 * -2 + 0 == -14 OK: 14 * -1 + 0 == -14 OK: -14 * 1 + 0 == -14 OK: -7 * 2 + 0 == -14 OK: -4 * 3 + -2 == -14 OK: -3 * 4 + -2 == -14 OK: -2 * 5 + -4 == -14 OK: -2 * 6 + -2 == -14 OK: -2 * 7 + 0 == -14 OK: -1 * 8 + -6 == -14 OK: -1 * 9 + -5 == -14 OK: -1 * 10 + -4 == -14 OK: -1 * 11 + -3 == -14 OK: -1 * 12 + -2 == -14 OK: -1 * 13 + -1 == -14 OK: -1 * 14 + 0 == -14 OK: 1 * -13 + 0 == -13 OK: 1 * -12 + -1 == -13 OK: 1 * -11 + -2 == -13 OK: 1 * -10 + -3 == -13 OK: 1 * -9 + -4 == -13 OK: 1 * -8 + -5 == -13 OK: 1 * -7 + -6 == -13 OK: 2 * -6 + -1 == -13 OK: 2 * -5 + -3 == -13 OK: 3 * -4 + -1 == -13 OK: 4 * -3 + -1 == -13 OK: 6 * -2 + -1 == -13 OK: 13 * -1 + 0 == -13 OK: -13 * 1 + 0 == -13 OK: -6 * 2 + -1 == -13 OK: -4 * 3 + -1 == -13 OK: -3 * 4 + -1 == -13 OK: -2 * 5 + -3 == -13 OK: -2 * 6 + -1 == -13 OK: -1 * 7 + -6 == -13 OK: -1 * 8 + -5 == -13 OK: -1 * 9 + -4 == -13 OK: -1 * 10 + -3 == -13 OK: -1 * 11 + -2 == -13 OK: -1 * 12 + -1 == -13 OK: -1 * 13 + 0 == -13 OK: 1 * -12 + 0 == -12 OK: 1 * -11 + -1 == -12 OK: 1 * -10 + -2 == -12 OK: 1 * -9 + -3 == -12 OK: 1 * -8 + -4 == -12 OK: 1 * -7 + -5 == -12 OK: 2 * -6 + 0 == -12 OK: 2 * -5 + -2 == -12 OK: 3 * -4 + 0 == -12 OK: 4 * -3 + 0 == -12 OK: 6 * -2 + 0 == -12 OK: 12 * -1 + 0 == -12 OK: -12 * 1 + 0 == -12 OK: -6 * 2 + 0 == -12 OK: -4 * 3 + 0 == -12 OK: -3 * 4 + 0 == -12 OK: -2 * 5 + -2 == -12 OK: -2 * 6 + 0 == -12 OK: -1 * 7 + -5 == -12 OK: -1 * 8 + -4 == -12 OK: -1 * 9 + -3 == -12 OK: -1 * 10 + -2 == -12 OK: -1 * 11 + -1 == -12 OK: -1 * 12 + 0 == -12 OK: 1 * -11 + 0 == -11 OK: 1 * -10 + -1 == -11 OK: 1 * -9 + -2 == -11 OK: 1 * -8 + -3 == -11 OK: 1 * -7 + -4 == -11 OK: 1 * -6 + -5 == -11 OK: 2 * -5 + -1 == -11 OK: 2 * -4 + -3 == -11 OK: 3 * -3 + -2 == -11 OK: 5 * -2 + -1 == -11 OK: 11 * -1 + 0 == -11 OK: -11 * 1 + 0 == -11 OK: -5 * 2 + -1 == -11 OK: -3 * 3 + -2 == -11 OK: -2 * 4 + -3 == -11 OK: -2 * 5 + -1 == -11 OK: -1 * 6 + -5 == -11 OK: -1 * 7 + -4 == -11 OK: -1 * 8 + -3 == -11 OK: -1 * 9 + -2 == -11 OK: -1 * 10 + -1 == -11 OK: -1 * 11 + 0 == -11 OK: 1 * -10 + 0 == -10 OK: 1 * -9 + -1 == -10 OK: 1 * -8 + -2 == -10 OK: 1 * -7 + -3 == -10 OK: 1 * -6 + -4 == -10 OK: 2 * -5 + 0 == -10 OK: 2 * -4 + -2 == -10 OK: 3 * -3 + -1 == -10 OK: 5 * -2 + 0 == -10 OK: 10 * -1 + 0 == -10 OK: -10 * 1 + 0 == -10 OK: -5 * 2 + 0 == -10 OK: -3 * 3 + -1 == -10 OK: -2 * 4 + -2 == -10 OK: -2 * 5 + 0 == -10 OK: -1 * 6 + -4 == -10 OK: -1 * 7 + -3 == -10 OK: -1 * 8 + -2 == -10 OK: -1 * 9 + -1 == -10 OK: -1 * 10 + 0 == -10 OK: 1 * -9 + 0 == -9 OK: 1 * -8 + -1 == -9 OK: 1 * -7 + -2 == -9 OK: 1 * -6 + -3 == -9 OK: 1 * -5 + -4 == -9 OK: 2 * -4 + -1 == -9 OK: 3 * -3 + 0 == -9 OK: 4 * -2 + -1 == -9 OK: 9 * -1 + 0 == -9 OK: -9 * 1 + 0 == -9 OK: -4 * 2 + -1 == -9 OK: -3 * 3 + 0 == -9 OK: -2 * 4 + -1 == -9 OK: -1 * 5 + -4 == -9 OK: -1 * 6 + -3 == -9 OK: -1 * 7 + -2 == -9 OK: -1 * 8 + -1 == -9 OK: -1 * 9 + 0 == -9 OK: 1 * -8 + 0 == -8 OK: 1 * -7 + -1 == -8 OK: 1 * -6 + -2 == -8 OK: 1 * -5 + -3 == -8 OK: 2 * -4 + 0 == -8 OK: 2 * -3 + -2 == -8 OK: 4 * -2 + 0 == -8 OK: 8 * -1 + 0 == -8 OK: -8 * 1 + 0 == -8 OK: -4 * 2 + 0 == -8 OK: -2 * 3 + -2 == -8 OK: -2 * 4 + 0 == -8 OK: -1 * 5 + -3 == -8 OK: -1 * 6 + -2 == -8 OK: -1 * 7 + -1 == -8 OK: -1 * 8 + 0 == -8 OK: 1 * -7 + 0 == -7 OK: 1 * -6 + -1 == -7 OK: 1 * -5 + -2 == -7 OK: 1 * -4 + -3 == -7 OK: 2 * -3 + -1 == -7 OK: 3 * -2 + -1 == -7 OK: 7 * -1 + 0 == -7 OK: -7 * 1 + 0 == -7 OK: -3 * 2 + -1 == -7 OK: -2 * 3 + -1 == -7 OK: -1 * 4 + -3 == -7 OK: -1 * 5 + -2 == -7 OK: -1 * 6 + -1 == -7 OK: -1 * 7 + 0 == -7 OK: 1 * -6 + 0 == -6 OK: 1 * -5 + -1 == -6 OK: 1 * -4 + -2 == -6 OK: 2 * -3 + 0 == -6 OK: 3 * -2 + 0 == -6 OK: 6 * -1 + 0 == -6 OK: -6 * 1 + 0 == -6 OK: -3 * 2 + 0 == -6 OK: -2 * 3 + 0 == -6 OK: -1 * 4 + -2 == -6 OK: -1 * 5 + -1 == -6 OK: -1 * 6 + 0 == -6 OK: 1 * -5 + 0 == -5 OK: 1 * -4 + -1 == -5 OK: 1 * -3 + -2 == -5 OK: 2 * -2 + -1 == -5 OK: 5 * -1 + 0 == -5 OK: -5 * 1 + 0 == -5 OK: -2 * 2 + -1 == -5 OK: -1 * 3 + -2 == -5 OK: -1 * 4 + -1 == -5 OK: -1 * 5 + 0 == -5 OK: 1 * -4 + 0 == -4 OK: 1 * -3 + -1 == -4 OK: 2 * -2 + 0 == -4 OK: 4 * -1 + 0 == -4 OK: -4 * 1 + 0 == -4 OK: -2 * 2 + 0 == -4 OK: -1 * 3 + -1 == -4 OK: -1 * 4 + 0 == -4 OK: 1 * -3 + 0 == -3 OK: 1 * -2 + -1 == -3 OK: 3 * -1 + 0 == -3 OK: -3 * 1 + 0 == -3 OK: -1 * 2 + -1 == -3 OK: -1 * 3 + 0 == -3 OK: 1 * -2 + 0 == -2 OK: 2 * -1 + 0 == -2 OK: -2 * 1 + 0 == -2 OK: -1 * 2 + 0 == -2 OK: 1 * -1 + 0 == -1 OK: -1 * 1 + 0 == -1 OK: 0 * -1 + 0 == 0 OK: 0 * 1 + 0 == 0 OK: -1 * -1 + 0 == 1 OK: 1 * 1 + 0 == 1 OK: -1 * -2 + 0 == 2 OK: -2 * -1 + 0 == 2 OK: 2 * 1 + 0 == 2 OK: 1 * 2 + 0 == 2 OK: -1 * -3 + 0 == 3 OK: -1 * -2 + 1 == 3 OK: -3 * -1 + 0 == 3 OK: 3 * 1 + 0 == 3 OK: 1 * 2 + 1 == 3 OK: 1 * 3 + 0 == 3 OK: -1 * -4 + 0 == 4 OK: -1 * -3 + 1 == 4 OK: -2 * -2 + 0 == 4 OK: -4 * -1 + 0 == 4 OK: 4 * 1 + 0 == 4 OK: 2 * 2 + 0 == 4 OK: 1 * 3 + 1 == 4 OK: 1 * 4 + 0 == 4 OK: -1 * -5 + 0 == 5 OK: -1 * -4 + 1 == 5 OK: -1 * -3 + 2 == 5 OK: -2 * -2 + 1 == 5 OK: -5 * -1 + 0 == 5 OK: 5 * 1 + 0 == 5 OK: 2 * 2 + 1 == 5 OK: 1 * 3 + 2 == 5 OK: 1 * 4 + 1 == 5 OK: 1 * 5 + 0 == 5 OK: -1 * -6 + 0 == 6 OK: -1 * -5 + 1 == 6 OK: -1 * -4 + 2 == 6 OK: -2 * -3 + 0 == 6 OK: -3 * -2 + 0 == 6 OK: -6 * -1 + 0 == 6 OK: 6 * 1 + 0 == 6 OK: 3 * 2 + 0 == 6 OK: 2 * 3 + 0 == 6 OK: 1 * 4 + 2 == 6 OK: 1 * 5 + 1 == 6 OK: 1 * 6 + 0 == 6 OK: -1 * -7 + 0 == 7 OK: -1 * -6 + 1 == 7 OK: -1 * -5 + 2 == 7 OK: -1 * -4 + 3 == 7 OK: -2 * -3 + 1 == 7 OK: -3 * -2 + 1 == 7 OK: -7 * -1 + 0 == 7 OK: 7 * 1 + 0 == 7 OK: 3 * 2 + 1 == 7 OK: 2 * 3 + 1 == 7 OK: 1 * 4 + 3 == 7 OK: 1 * 5 + 2 == 7 OK: 1 * 6 + 1 == 7 OK: 1 * 7 + 0 == 7 OK: -1 * -8 + 0 == 8 OK: -1 * -7 + 1 == 8 OK: -1 * -6 + 2 == 8 OK: -1 * -5 + 3 == 8 OK: -2 * -4 + 0 == 8 OK: -2 * -3 + 2 == 8 OK: -4 * -2 + 0 == 8 OK: -8 * -1 + 0 == 8 OK: 8 * 1 + 0 == 8 OK: 4 * 2 + 0 == 8 OK: 2 * 3 + 2 == 8 OK: 2 * 4 + 0 == 8 OK: 1 * 5 + 3 == 8 OK: 1 * 6 + 2 == 8 OK: 1 * 7 + 1 == 8 OK: 1 * 8 + 0 == 8 OK: -1 * -9 + 0 == 9 OK: -1 * -8 + 1 == 9 OK: -1 * -7 + 2 == 9 OK: -1 * -6 + 3 == 9 OK: -1 * -5 + 4 == 9 OK: -2 * -4 + 1 == 9 OK: -3 * -3 + 0 == 9 OK: -4 * -2 + 1 == 9 OK: -9 * -1 + 0 == 9 OK: 9 * 1 + 0 == 9 OK: 4 * 2 + 1 == 9 OK: 3 * 3 + 0 == 9 OK: 2 * 4 + 1 == 9 OK: 1 * 5 + 4 == 9 OK: 1 * 6 + 3 == 9 OK: 1 * 7 + 2 == 9 OK: 1 * 8 + 1 == 9 OK: 1 * 9 + 0 == 9 OK: -1 * -10 + 0 == 10 OK: -1 * -9 + 1 == 10 OK: -1 * -8 + 2 == 10 OK: -1 * -7 + 3 == 10 OK: -1 * -6 + 4 == 10 OK: -2 * -5 + 0 == 10 OK: -2 * -4 + 2 == 10 OK: -3 * -3 + 1 == 10 OK: -5 * -2 + 0 == 10 OK: -10 * -1 + 0 == 10 OK: 10 * 1 + 0 == 10 OK: 5 * 2 + 0 == 10 OK: 3 * 3 + 1 == 10 OK: 2 * 4 + 2 == 10 OK: 2 * 5 + 0 == 10 OK: 1 * 6 + 4 == 10 OK: 1 * 7 + 3 == 10 OK: 1 * 8 + 2 == 10 OK: 1 * 9 + 1 == 10 OK: 1 * 10 + 0 == 10 OK: -1 * -11 + 0 == 11 OK: -1 * -10 + 1 == 11 OK: -1 * -9 + 2 == 11 OK: -1 * -8 + 3 == 11 OK: -1 * -7 + 4 == 11 OK: -1 * -6 + 5 == 11 OK: -2 * -5 + 1 == 11 OK: -2 * -4 + 3 == 11 OK: -3 * -3 + 2 == 11 OK: -5 * -2 + 1 == 11 OK: -11 * -1 + 0 == 11 OK: 11 * 1 + 0 == 11 OK: 5 * 2 + 1 == 11 OK: 3 * 3 + 2 == 11 OK: 2 * 4 + 3 == 11 OK: 2 * 5 + 1 == 11 OK: 1 * 6 + 5 == 11 OK: 1 * 7 + 4 == 11 OK: 1 * 8 + 3 == 11 OK: 1 * 9 + 2 == 11 OK: 1 * 10 + 1 == 11 OK: 1 * 11 + 0 == 11 OK: -1 * -12 + 0 == 12 OK: -1 * -11 + 1 == 12 OK: -1 * -10 + 2 == 12 OK: -1 * -9 + 3 == 12 OK: -1 * -8 + 4 == 12 OK: -1 * -7 + 5 == 12 OK: -2 * -6 + 0 == 12 OK: -2 * -5 + 2 == 12 OK: -3 * -4 + 0 == 12 OK: -4 * -3 + 0 == 12 OK: -6 * -2 + 0 == 12 OK: -12 * -1 + 0 == 12 OK: 12 * 1 + 0 == 12 OK: 6 * 2 + 0 == 12 OK: 4 * 3 + 0 == 12 OK: 3 * 4 + 0 == 12 OK: 2 * 5 + 2 == 12 OK: 2 * 6 + 0 == 12 OK: 1 * 7 + 5 == 12 OK: 1 * 8 + 4 == 12 OK: 1 * 9 + 3 == 12 OK: 1 * 10 + 2 == 12 OK: 1 * 11 + 1 == 12 OK: 1 * 12 + 0 == 12 OK: -1 * -13 + 0 == 13 OK: -1 * -12 + 1 == 13 OK: -1 * -11 + 2 == 13 OK: -1 * -10 + 3 == 13 OK: -1 * -9 + 4 == 13 OK: -1 * -8 + 5 == 13 OK: -1 * -7 + 6 == 13 OK: -2 * -6 + 1 == 13 OK: -2 * -5 + 3 == 13 OK: -3 * -4 + 1 == 13 OK: -4 * -3 + 1 == 13 OK: -6 * -2 + 1 == 13 OK: -13 * -1 + 0 == 13 OK: 13 * 1 + 0 == 13 OK: 6 * 2 + 1 == 13 OK: 4 * 3 + 1 == 13 OK: 3 * 4 + 1 == 13 OK: 2 * 5 + 3 == 13 OK: 2 * 6 + 1 == 13 OK: 1 * 7 + 6 == 13 OK: 1 * 8 + 5 == 13 OK: 1 * 9 + 4 == 13 OK: 1 * 10 + 3 == 13 OK: 1 * 11 + 2 == 13 OK: 1 * 12 + 1 == 13 OK: 1 * 13 + 0 == 13 OK: -1 * -14 + 0 == 14 OK: -1 * -13 + 1 == 14 OK: -1 * -12 + 2 == 14 OK: -1 * -11 + 3 == 14 OK: -1 * -10 + 4 == 14 OK: -1 * -9 + 5 == 14 OK: -1 * -8 + 6 == 14 OK: -2 * -7 + 0 == 14 OK: -2 * -6 + 2 == 14 OK: -2 * -5 + 4 == 14 OK: -3 * -4 + 2 == 14 OK: -4 * -3 + 2 == 14 OK: -7 * -2 + 0 == 14 OK: -14 * -1 + 0 == 14 OK: 14 * 1 + 0 == 14 OK: 7 * 2 + 0 == 14 OK: 4 * 3 + 2 == 14 OK: 3 * 4 + 2 == 14 OK: 2 * 5 + 4 == 14 OK: 2 * 6 + 2 == 14 OK: 2 * 7 + 0 == 14 OK: 1 * 8 + 6 == 14 OK: 1 * 9 + 5 == 14 OK: 1 * 10 + 4 == 14 OK: 1 * 11 + 3 == 14 OK: 1 * 12 + 2 == 14 OK: 1 * 13 + 1 == 14 OK: 1 * 14 + 0 == 14 OK: -1 * -15 + 0 == 15 OK: -1 * -14 + 1 == 15 OK: -1 * -13 + 2 == 15 OK: -1 * -12 + 3 == 15 OK: -1 * -11 + 4 == 15 OK: -1 * -10 + 5 == 15 OK: -1 * -9 + 6 == 15 OK: -1 * -8 + 7 == 15 OK: -2 * -7 + 1 == 15 OK: -2 * -6 + 3 == 15 OK: -3 * -5 + 0 == 15 OK: -3 * -4 + 3 == 15 OK: -5 * -3 + 0 == 15 OK: -7 * -2 + 1 == 15 OK: -15 * -1 + 0 == 15 OK: 15 * 1 + 0 == 15 OK: 7 * 2 + 1 == 15 OK: 5 * 3 + 0 == 15 OK: 3 * 4 + 3 == 15 OK: 3 * 5 + 0 == 15 OK: 2 * 6 + 3 == 15 OK: 2 * 7 + 1 == 15 OK: 1 * 8 + 7 == 15 OK: 1 * 9 + 6 == 15 OK: 1 * 10 + 5 == 15 OK: 1 * 11 + 4 == 15 OK: 1 * 12 + 3 == 15 OK: 1 * 13 + 2 == 15 OK: 1 * 14 + 1 == 15 OK: 1 * 15 + 0 == 15 OK: -1 * -16 + 0 == 16 OK: -1 * -15 + 1 == 16 OK: -1 * -14 + 2 == 16 OK: -1 * -13 + 3 == 16 OK: -1 * -12 + 4 == 16 OK: -1 * -11 + 5 == 16 OK: -1 * -10 + 6 == 16 OK: -1 * -9 + 7 == 16 OK: -2 * -8 + 0 == 16 OK: -2 * -7 + 2 == 16 OK: -2 * -6 + 4 == 16 OK: -3 * -5 + 1 == 16 OK: -4 * -4 + 0 == 16 OK: -5 * -3 + 1 == 16 OK: -8 * -2 + 0 == 16 OK: -16 * -1 + 0 == 16 OK: 16 * 1 + 0 == 16 OK: 8 * 2 + 0 == 16 OK: 5 * 3 + 1 == 16 OK: 4 * 4 + 0 == 16 OK: 3 * 5 + 1 == 16 OK: 2 * 6 + 4 == 16 OK: 2 * 7 + 2 == 16 OK: 2 * 8 + 0 == 16 OK: 1 * 9 + 7 == 16 OK: 1 * 10 + 6 == 16 OK: 1 * 11 + 5 == 16 OK: 1 * 12 + 4 == 16 OK: 1 * 13 + 3 == 16 OK: 1 * 14 + 2 == 16 OK: 1 * 15 + 1 == 16 OK: 1 * 16 + 0 == 16 OK: -1 * -17 + 0 == 17 OK: -1 * -16 + 1 == 17 OK: -1 * -15 + 2 == 17 OK: -1 * -14 + 3 == 17 OK: -1 * -13 + 4 == 17 OK: -1 * -12 + 5 == 17 OK: -1 * -11 + 6 == 17 OK: -1 * -10 + 7 == 17 OK: -1 * -9 + 8 == 17 OK: -2 * -8 + 1 == 17 OK: -2 * -7 + 3 == 17 OK: -2 * -6 + 5 == 17 OK: -3 * -5 + 2 == 17 OK: -4 * -4 + 1 == 17 OK: -5 * -3 + 2 == 17 OK: -8 * -2 + 1 == 17 OK: -17 * -1 + 0 == 17 OK: 17 * 1 + 0 == 17 OK: 8 * 2 + 1 == 17 OK: 5 * 3 + 2 == 17 OK: 4 * 4 + 1 == 17 OK: 3 * 5 + 2 == 17 OK: 2 * 6 + 5 == 17 OK: 2 * 7 + 3 == 17 OK: 2 * 8 + 1 == 17 OK: 1 * 9 + 8 == 17 OK: 1 * 10 + 7 == 17 OK: 1 * 11 + 6 == 17 OK: 1 * 12 + 5 == 17 OK: 1 * 13 + 4 == 17 OK: 1 * 14 + 3 == 17 OK: 1 * 15 + 2 == 17 OK: 1 * 16 + 1 == 17 OK: 1 * 17 + 0 == 17 OK: -1 * -18 + 0 == 18 OK: -1 * -17 + 1 == 18 OK: -1 * -16 + 2 == 18 OK: -1 * -15 + 3 == 18 OK: -1 * -14 + 4 == 18 OK: -1 * -13 + 5 == 18 OK: -1 * -12 + 6 == 18 OK: -1 * -11 + 7 == 18 OK: -1 * -10 + 8 == 18 OK: -2 * -9 + 0 == 18 OK: -2 * -8 + 2 == 18 OK: -2 * -7 + 4 == 18 OK: -3 * -6 + 0 == 18 OK: -3 * -5 + 3 == 18 OK: -4 * -4 + 2 == 18 OK: -6 * -3 + 0 == 18 OK: -9 * -2 + 0 == 18 OK: -18 * -1 + 0 == 18 OK: 18 * 1 + 0 == 18 OK: 9 * 2 + 0 == 18 OK: 6 * 3 + 0 == 18 OK: 4 * 4 + 2 == 18 OK: 3 * 5 + 3 == 18 OK: 3 * 6 + 0 == 18 OK: 2 * 7 + 4 == 18 OK: 2 * 8 + 2 == 18 OK: 2 * 9 + 0 == 18 OK: 1 * 10 + 8 == 18 OK: 1 * 11 + 7 == 18 OK: 1 * 12 + 6 == 18 OK: 1 * 13 + 5 == 18 OK: 1 * 14 + 4 == 18 OK: 1 * 15 + 3 == 18 OK: 1 * 16 + 2 == 18 OK: 1 * 17 + 1 == 18 OK: 1 * 18 + 0 == 18 OK: -1 * -19 + 0 == 19 OK: -1 * -18 + 1 == 19 OK: -1 * -17 + 2 == 19 OK: -1 * -16 + 3 == 19 OK: -1 * -15 + 4 == 19 OK: -1 * -14 + 5 == 19 OK: -1 * -13 + 6 == 19 OK: -1 * -12 + 7 == 19 OK: -1 * -11 + 8 == 19 OK: -1 * -10 + 9 == 19 OK: -2 * -9 + 1 == 19 OK: -2 * -8 + 3 == 19 OK: -2 * -7 + 5 == 19 OK: -3 * -6 + 1 == 19 OK: -3 * -5 + 4 == 19 OK: -4 * -4 + 3 == 19 OK: -6 * -3 + 1 == 19 OK: -9 * -2 + 1 == 19 OK: -19 * -1 + 0 == 19 OK: 19 * 1 + 0 == 19 OK: 9 * 2 + 1 == 19 OK: 6 * 3 + 1 == 19 OK: 4 * 4 + 3 == 19 OK: 3 * 5 + 4 == 19 OK: 3 * 6 + 1 == 19 OK: 2 * 7 + 5 == 19 OK: 2 * 8 + 3 == 19 OK: 2 * 9 + 1 == 19 OK: 1 * 10 + 9 == 19 OK: 1 * 11 + 8 == 19 OK: 1 * 12 + 7 == 19 OK: 1 * 13 + 6 == 19 OK: 1 * 14 + 5 == 19 OK: 1 * 15 + 4 == 19 OK: 1 * 16 + 3 == 19 OK: 1 * 17 + 2 == 19 OK: 1 * 18 + 1 == 19 OK: 1 * 19 + 0 == 19 OK: -1 * -20 + 0 == 20 OK: -1 * -19 + 1 == 20 OK: -1 * -18 + 2 == 20 OK: -1 * -17 + 3 == 20 OK: -1 * -16 + 4 == 20 OK: -1 * -15 + 5 == 20 OK: -1 * -14 + 6 == 20 OK: -1 * -13 + 7 == 20 OK: -1 * -12 + 8 == 20 OK: -1 * -11 + 9 == 20 OK: -2 * -10 + 0 == 20 OK: -2 * -9 + 2 == 20 OK: -2 * -8 + 4 == 20 OK: -2 * -7 + 6 == 20 OK: -3 * -6 + 2 == 20 OK: -4 * -5 + 0 == 20 OK: -5 * -4 + 0 == 20 OK: -6 * -3 + 2 == 20 OK: -10 * -2 + 0 == 20 OK: -20 * -1 + 0 == 20 OK: 20 * 1 + 0 == 20 OK: 10 * 2 + 0 == 20 OK: 6 * 3 + 2 == 20 OK: 5 * 4 + 0 == 20 OK: 4 * 5 + 0 == 20 OK: 3 * 6 + 2 == 20 OK: 2 * 7 + 6 == 20 OK: 2 * 8 + 4 == 20 OK: 2 * 9 + 2 == 20 OK: 2 * 10 + 0 == 20 OK: 1 * 11 + 9 == 20 OK: 1 * 12 + 8 == 20 OK: 1 * 13 + 7 == 20 OK: 1 * 14 + 6 == 20 OK: 1 * 15 + 5 == 20 OK: 1 * 16 + 4 == 20 OK: 1 * 17 + 3 == 20 OK: 1 * 18 + 2 == 20 OK: 1 * 19 + 1 == 20 OK: 1 * 20 + 0 == 20 PASSED