def Binary_Search_Small_Count(A,x,equal=False,sort=False): """2分探索によって,x未満の要素の個数を調べる. A:リスト x:調べる要素 sort:ソートをする必要があるかどうか(Trueで必要) equal:Trueのときはx"未満"がx"以下"になる """ if sort: A.sort() if A[0]>x or ((not equal) and A[0]==x): return 0 L,R=0,len(A) while R-L>1: C=L+(R-L)//2 if A[C]1: C=L+(R-L)//2 if A[C]>x or (equal and A[C]==x): R=C else: L=C return len(A)-R def General_Binary_Increase_Search(L,R,cond,Integer=True,ep=1/(1<<20)): """条件式が単調増加であるとき,一般的な二部探索を行う. L:解の下限 R:解の上限 cond:条件(1変数関数,広義単調減少 or 広義単調減少を満たす) Integer:解を整数に制限するか? ep:Integer=Falseのとき,解の許容する誤差 """ if not(cond(R)): return False if Integer: R+=1 while R-L>1: C=L+(R-L)//2 if cond(C): R=C else: L=C return R else: while (R-L)>=ep: C=L+(R-L)/2 if cond(C): R=C else: L=C return R #================================================= def g(x): S=0 for u in U: if u>0: S+=Binary_Search_Small_Count(V,x//u,True) elif u<0: S+=Binary_Search_Big_Count(V,(-x-u-1)//(-u),True) else: if x>=0: S+=len(V) return S def h(A,B,x): G=set(B) b=B[0] for a in A: if a==0: if x==0: return (0,b) elif (x%a==0) and (x//a in G): return (a,x//a) return None #================================================= K,L,M,N,P=map(int,input().split()) A=list(map(int,input().split())) B=list(map(int,input().split())) C=list(map(int,input().split())) D=list(map(int,input().split())) U=[a*b for a in A for b in B] V=[c*d for c in C for d in D] V.sort() E_abs_max=max(U,key=lambda u:abs(u))*max(V,key=lambda v:abs(v)) E_abs_max=abs(E_abs_max)+1 J=General_Binary_Increase_Search(-E_abs_max,E_abs_max,lambda x:g(x)>=P,True) p,q=h(U,V,J) a,b=h(A,B,p) c,d=h(C,D,q) print(J) print(a,b,c,d)