Bài toán:

Vừa bước chân vào trường THCS, Bé Bi đã đăng ký học tiếp môn toán. Bé rất xúc động với bài toán cơ bản là bài toán tìm xâu con chung dài nhất. Bài toán được phát biểu như sau:

Xâu ký tự T gọi là xâu con của xâu ký tự S nếu ta có thể xóa bỏ một số ký tự trong xâu S để được xâu T (giữ nguyên thứ tự xuất hiện trong xâu S). Xâu ký tự C được gọi là xâu con chung dài nhất của xâu ký tự A và B nếu thỏa mãn:

• C là xâu con của xâu A.
• C là xâu con của xâu B.
• C có độ dài lớn nhất.

Sau khi làm xong bài toán trên, Bé Bi mới đặt một câu hỏi để mở rộng bài toán này, đó là có bao nhiêu xâu khác nhau là xâu con chung dài nhất của xâu ký tự A và B? Biết rằng xâu X được gọi là khác xâu Y nếu tồn tại vị trí i sao cho X[i] ≠ Y[i].

Dữ liệu vào:

• Dòng đầu chứa xâu ký tự A.
• Dòng thứ hai chứa xâu ký tự B.

Hai xâu chỉ chứa ký tự số. Độ dài mỗi xâu không quá 500 ký tự và chỉ chứa chữ cái tiếng anh in thường.

Dữ liệu ra:

• Đưa ra hai số nguyên tương ứng là độ dài xâu con chung dài nhất và số lượng xâu con chung dài nhất khác nhau theo modul 666013.

Chú ý:

• Bài này chấm theo từng ý, trình chấm sẽ đọc hai số nguyên tương ứng với hai ý, mỗi ý đúng được $50\%$ số điểm một test. (Bạn chỉ trả lời một ý cũng phải ghi ra hai số nguyên).

Ví dụ:

Input:

banana
oana

Output:

3 1