Così come agli esseri umani piace giocare a campana, le vacche di Farmer John hanno ideato la propria versione di questo gioco. Poiché viene praticato da animali goffi che pesano quasi una tonnellata, il gioco della "Campana per vacche" si conclude quasi sempre in un disastro. Tuttavia, sorprendentemente, questo non impedisce alle vacche di giocarci quasi ogni pomeriggio.
Il gioco si svolge su una griglia di dimensioni r \times c, dove ogni cella è contrassegnata da un numero intero compreso nell'intervallo . Le vacche partono dalla cella nell'angolo in alto a sinistra e devono raggiungere la cella nell'angolo in basso a destra, eseguendo una sequenza di salti. Un salto è valido se e solo se:
La cella di destinazione ha un'etichetta diversa da quella della cella corrente.
La cella di destinazione si trova almeno una riga più in basso rispetto alla cella corrente.
La cella di destinazione si trova almeno una colonna più a destra rispetto alla cella corrente.
Aiuta le vacche a determinare il numero di sequenze distinte di salti validi che permettono di arrivare dalla cella nell'angolo in alto a sinistra alla cella nell'angolo in basso a destra.
La prima riga contiene tre numeri interi r, c~(2 \le r \le 750, 2 \le c \le 750) e k~(1 \le k \le r \cdot c). Le successive righe contengono numeri interi ciascuna, ognuno compreso nell'intervallo .
Stampa il numero di modi distinti per arrivare, tramite salti, dalla cella nell'angolo in alto a sinistra alla cella nell'angolo in basso a destra, modulo 10^9 + 7.
Esempio 1