Cho bảng kích thước ~n \times n~ (~3 \le n \le 10~), các hàng của bảng được đánh số từ ~1~ đến ~n~ từ trên xuống dưới, các cột được đánh số từ ~1~ đến ~n~ từ trái sang phải. Ban đầu, mỗi ô của bảng sẽ được đặt một quân bài, ô giao giữa hàng ~i~ (~1 \le i \le n~) và cột ~j~ (~1 \le j \le n~) đặt quân bài có số hiệu là ~(i-1) \times n + j~. Người quản trò sẽ thống nhất hai dãy số nguyên ~r_1, r_2, \dots, r_5~ và ~c_1, c_2, \dots, c_5~, rồi lấy ngẫu nhiên ~n^2 - 5~ quân bài khỏi bảng, như vậy trên bảng sẽ chỉ còn ~5~ quân bài. Trong ~5~ quân bài, người quản trò sẽ tiếp tục lấy ~m~ quân bất kì (~0 < m \le n^2 - 5~) và tráo ngẫu nhiên, sau đó xếp thành một dãy bài cho người chơi xem các lá bài này. Người chơi sẽ thực hiện ~m~ lượt chơi, mỗi lượt diễn ra như sau:

• Người chơi chọn một quân bài trên bảng rồi bỏ đi (trên bảng sẽ còn lại ~5-k~ quân bài);
• Người quản trò lấy quân bài ở đầu dãy bài, xếp quân bài này vào lại vị trí ban đầu trên bảng, khi đó, trên bảng sẽ có ~5-k+1~ quân bài, dãy bài giảm đi một quân bài. Người quản trò sẽ tính điểm cho người chơi tại lượt này như sau: Gọi ~r~ là số quân bài nhiều nhất cùng hàng, ~c~ là số quân bài nhiều nhất cùng cột, khi đó điểm được tính bằng ~r + c~.

Yêu cầu: Hãy giúp người chơi đạt được tổng điểm nhiều nhất.

Input

• Dòng đầu tiên chứa hai số nguyên dương ~n~ và ~m~ (~m \le 50~);
• Dòng thứ hai chứa 10 số nguyên ~r_1, r_2, \dots, r_5, c_1, c_2, \dots, c_5~, các số là số nguyên không âm và không vượt quá ~10^6~;
• Dòng thứ ba chứa 5 số nguyên mô tả 5 quân bài còn lại trên bảng sau khi người quản trò lấy bài ra khỏi bảng;
• Dòng thứ tư gồm ~m~ số mô tả dãy bài sau khi người quản trò tráo và xếp thành dãy.

Output

• Một số nguyên duy nhất là tổng điểm nhiều nhất.