Roll the Dice

Η Diana παίζει ένα παιχνίδι με δύο ζάρια. Ένα ζάρι έχει ~m~ πλευρές με ονομασίες ~1, 2, 3, \cdots, m~. Το άλλο ζάρι έχει ~n~ πλευρές με ονομασίες ~1, 2, 3, \cdots, n~. Γράψτε ένα πρόγραμμα για να προσδιορίσετε με πόσους τρόπους μπορεί να ρίξει τα ζάρια για να πάρει το άθροισμα ~10~.

Για παράδειγμα, όταν το πρώτο ζάρι έχει ~6~ πλευρές και το δεύτερο ζάρι έχει ~8~ πλευρές, υπάρχουν ~5~ τρόποι για να πάρετε το άθροισμα ~10~:

~2 + 8 = 10~
~3 + 7 = 10~
~6 + 4 = 10~
~5 + 5 = 10~
~6 + 4 = 10~

Είσοδος

Στην είσοδο δίνονται δύο ακέραιοι αριθμοί. Αρχικά, δίνεται ο αριθμός ~m (1 \le m \le 1000)~ και έπειτα ο αριθμός ~n (1 \le n \le 1000)~

Έξοδος

Το πρόγραμμα εκτυπώνει τον αριθμό των τρόπων που μπορούν να δώσουν άθροισμα ~10~ και τα δύο ζάρια. Σημειώστε ότι στην έξοδο, η λέξη "way" ("τρόπος") πρέπει να χρησιμοποιείται εάν υπάρχει μόνο ~1~ τρόπος για να επιτευχθεί το άθροισμα ~10~. Διαφορετικά, η λέξη "ways" ("τρόποι") θα πρέπει να χρησιμοποιείται στην έξοδο. Δηλαδή, εάν υπάρχει μόνο ένας τρόπος για να ληφθεί το άθροισμα ~10~, η έξοδος θα πρέπει να είναι:
"There is 1 way to get the sum 10."

Παραδείγματα

input

6
8

output

There are 5 ways to form the sum 10.

input

12
4

output

There are 4 ways to form the sum 10.