#include <bits/stdc++.h>
#include <iostream>
using namespace std;
#define int long long int 
#define ull unsigned long long int 

signed main() {
    int n,m,c;
    cin>>n>>m>>c;
    int a[n];
    int b[m];
    set<int> aa,bb;
    for(int i=0;i<n;i++){
        cin>>a[i];
        aa.insert(a[i]);
    }
    for(int j=0;j<m;j++) 
        {
        cin>>b[j];
        bb.insert(b[j]);
    }
    vector<int> A,B;
    for(auto& i:aa){
        A.push_back(i);
    }
     for(auto& i:bb){
        B.push_back(i);
    }      
    int cc=0;
    int nn=A.size();
    for(int i=0;i<nn;i++){
        for(int j=0;j<B.size();j++){
            if(A[i]*B[j]>=c) cc++;
        }
    }
    cout<<cc<<endl;
    double gg=(1.0/cc);
    cout<<fixed<<setprecision(6)<<(gg)<<endl;
}