Background

对于中考失利的牛牛来说，与“奇葩”一点的同学在一起生活是不可避免的，但同时也是很痛苦的。
这一天，体重高达100kg的YW同学又缠着牛牛，要和他一起吃饭。向来想着快点吃完去机房的牛牛也没有办法。

Description

紫金港的食堂有三个窗口，对于每个同学来说，每个窗口里都有他们自己会选择的一套菜。由于菜不同，去每个窗口打菜的时间自然是不同的。并且，一般来说，同学们吃饭都有一个顺序，先把菜都吃光再去空口吃饭谁都不喜欢。
YW令牛牛最讨厌的地方有两个，一个是他每次的饭量都极大，相对的，吃的速度也不会快。第二个则是他吃饭用的工具特别的多，除了勺子、一双筷子之外，还可以是吸管、单只筷子、竹签，甚至是手抓，最多可以有10种。在他吃饭时，他会出于好玩来把这些工具换来换去的，直接导致了无人愿意和他一起吃。不过，每次他不可能带那么多东西来吃饭，一般只会有至多三种吃饭方式。
所幸得是，牛牛还是凭借自己的能力赢得了对方的尊重，这样牛牛就可以通过决定打饭的地方以及他吃饭时它使用的餐具来尽可能加快他的吃饭速度。现在，牛牛想知道在对方听自己的情况之下，他最快吃完需要多少时间。

Format

Input

第一行两个数n1,n2,n3,m，表示这一天三个窗口分别有多少样菜，以及YW准备了多少餐具（n1,n2,n3<=15000,m<=10）
第二行是三个数t1,t2,t3，代表这一天三个窗口打到饭的时间。
接下来是一个mm的矩阵，第(I,j)位置的数表示YW从第i样餐具切换到第j样餐具需要的时间。数据保证主对角线上的数=0并且矩阵关于它对称。
接下来n1行，每行m个整数，代表每一样菜用1-m种餐具吃需要的时间。默认在吃的时候是按顺序的。
接下来n2行，每行m个整数，意义如前。
接下来n3行，每行m个整数，意义如前。

Output

输出两行，第一行至多3个数，代表牛牛需要让YW选择的3样餐具；第二行代表最短时间。请注意,如果YW只需要两样餐具就能解决问题,请不要让他带3样,否则他发现问题以后你的肉体将会粉碎.

Sample 1

Input

2 2 2 2
4 5 8
0 1
1 0
1 99
99 1
2 2
2 2
10 4
4 10

Output

1 2
7

Limitation

2s, 32MB for each test case.
对于30%的数据，n1,n2,n3<=10;
对于另外10%的数据，满足m=2;
对于另外10%的数据，满足m=3;
对于100%的数据，n1,n2,n3<=15000,m<=10,题目中涉及到的整数以及中间运算均在int范围以内

Hint

不要问我YW的胃口为什么这么大以及食堂的饭菜品种为什么这么多

Source

WHN Orz