#include "bits/stdc++.h" using namespace std; #define all(x) begin(x),end(x) template ostream& operator<<(ostream &os, const pair &p) { return os << '(' << p.first << ", " << p.second << ')'; } template::value, typename T_container::value_type>::type> ostream& operator<<(ostream &os, const T_container &v) { string sep; for (const T &x : v) os << sep << x, sep = " "; return os; } #define debug(a) cerr << "(" << #a << ": " << a << ")\n"; typedef long long ll; typedef vector vi; typedef vector vvi; typedef pair pi; const int mxN = 1e5+1, oo = 1e9; int main() { // ok, what can I not do? // some integer such that // prime you cannot make at least... // 1e4 + something to be prime, it's impossible to make // so can just brute force check 1e4 candidates. // for each candidate, factorize int n,m; cin >> n >> m; vi a(n),b(m); for(auto& i : a) cin >> i; for(auto& i : b) cin >> i; // can make a lot more numbers than I thought // some prime such that it's not within those and not within those? // actually a bit like convolution. // but multiplicative. // answer not bigger than 1e9+7. // if you just constantly do the least thing not being able // ok, a prime number has to be made by 1 p, or p 1. // so if there's some gap, than immediately smaller than the gap you win // everything up to that can be made vi cnt(max(*max_element(all(a)), *max_element(all(b))) + 100); for(int i : a) cnt[i]++; for(int j : b) cnt[j]++; int i=1; if(cnt[1]==2) { while(cnt[i]) ++i; } // now restrict to here // need to test ~1e4 candidates for(int c=i*i;;c++) { bool gd=0; auto check = [&](int i, int j) { i = sqrtl(i+0.5), j =sqrtl(j+0.5); cnt[i]--; cnt[j]--; if(cnt[i]>=0 and cnt[j]>=0) gd=1; cnt[i]++,cnt[j]++; }; for(int i=1;i*i<=c;++i) { if(c%i==0) { check(i,c/i); check(c/i,i); } } if(!gd) { cout << c << '\n'; break; } } }