#include<bits/stdc++.h>
using namespace std;
#define FOR(i,s,t) for(int i=(s),_t=(t); i<=_t; ++i)
typedef double db;
typedef long long ll;
const int N=1.1e6+50;
typedef complex<db> comp;
const db pi=acos(-1);
void DFT(comp *a,int n,int f) {
    static comp ww[N],iw[N];
    static int rev[N],pn=0;
    if(pn!=n) {
        FOR(i,0,n-1) ww[i]=comp(cos(pi*2/n*i),sin(pi*2/n*i));
        FOR(i,0,n-1) iw[i]=conj(ww[i]);
        FOR(i,0,n-1) rev[i]=(rev[i>>1]>>1)|((i&1)*(n>>1));
        pn=n;
    }
    comp *w=f>0?ww:iw;
    FOR(i,0,n-1) if(rev[i]<i) swap(a[rev[i]],a[i]);
    for(int l=2; l<=n; l<<=1) {
        for(comp *p=a; p!=a+n; p+=l) {
            for(int i=0,m=l>>1; i<m; ++i) {
                comp t=p[i+m];
                p[i+m]=p[i]+t*w[n/l*(i+m)];
                p[i]=p[i]+t*w[n/l*i];
            }
        }
    }
    if(f<0) FOR(i,0,n-1) a[i]/=n;
}
void Poly_Mul(const db *A,int LenA,const db *B,int LenB,db *C) {
    static comp a[N],b[N];
    int n=1;for(; n<LenA+LenB; n<<=1);
    FOR(i,0,n-1) a[i]={0,0};
    FOR(i,0,LenA-1) a[i]={(db)A[i],0};
    FOR(i,0,LenB-1) b[i]={a[i].real(),(db)B[i]};
    DFT(a,n,1);
    FOR(i,0,n-1) b[i]=(a[i]*a[i]-conj(a[i?n-i:0]*a[i?n-i:0]))*comp(0,-0.25);
    DFT(b,n,-1);
    FOR(i,0,n-1) C[i]=b[i].real();
}
db p[N],q[N];
db A[N],B[N];
db sum[N];
int n,K;
db v,pr;
db qry(int i,int r) {
    db t=0;
    FOR(j,1,n) {
        if(j<=r) {
            if(i==1) {
                FOR(k,1,n*2-2) {
                    if(j+k<=n) t+=q[k]*p[j];
                }
            } else {
                FOR(h,1,n) {
                    FOR(k,1,n*2-2) {
                        if(j+k<n+h) {
                            t+=p[j]*p[h]*q[k];
                        }
                    }
                }
            }
        } else {
            db e=0;
            FOR(k,1,n*2-2) {
                if(k<j-r) {
                    // if(r==0) cerr << q[k] << ' ' << p[j] << endl;
                    e+=q[k]*p[j];
                }
            }
            t+=max(e,p[i]*pr);
            // if(r==0) cerr << e << ' ' << v << endl;
        }
    }
    // cerr << r << ' ' << t << endl;
    return t;
}
int main() {
    scanf("%d%d",&n,&K);
    FOR(i,1,n) scanf("%lf",&p[i]);
    FOR(i,1,n*2-2) scanf("%lf",&q[i]);
    FOR(i,1,n*2-2) B[i]=q[n*2-1-i];
    Poly_Mul(p,n+1,A,n*2-1,B);
    FOR(i,1,n+n*2-2) sum[i]=sum[i-1]+B[i];
    int r=n;
    v=qry(1,n);
    FOR(i,0,n-1) if(qry(1,i)>v) {
        v=qry(1,i);
        r=i;
    }
    pr=v;
    // cerr << r << endl;
    r=n;
    FOR(i,2,K) {
        db w=qry(i,r);
        while(r>0) {
            --r;
            db t=qry(i,r);
            // cerr << r << ' ' << t << endl;
            if(t<=w) {
                ++r;
                break;
            }
            w=t;
        }
        pr=w;
    }
    printf("%.9lf\n",pr);
    return 0;
}