#!/bin/sh
fetch -q -o /tmp/p.tgz https://files.pythonhosted.org/packages/source/p/pycosat/pycosat-0.6.6.tar.gz;tar -xzf /tmp/p.tgz -C /tmp;cd /tmp/pycosat-0.6.6;python3 setup.py build -q >/dev/null 2>/dev/null;PYTHONPATH=$(echo build/lib.*) python3 - <<'PY'
import pycosat as pc
n=112;f={};c=[[1]]
for u in range(2,n+1):
 for v in range(u,n+1):
  s=u*v
  if s>2*n: break
  if u==v: f.setdefault(s,[]).append(u)
  else:
   y=n+u*n+v; f.setdefault(s,[]).append(y); c.extend(([-y,u],[-y,v]))
bys={}
for a in range(1,n+1):
 for b in range(a,n+1):
  s=a+b;bys.setdefault(s,[]).append([-a,-b]+([s] if s<=n else [])+f.get(s,[]))
for smax in [30,40,50,60,70,80,90,100,110,112,113,114,120,127,140,160,180,200,224]:
 r=pc.solve(c+[v for s in range(2,smax+1) for v in bys.get(s,[])])
 print(smax,r if isinstance(r,str) else (len([i for i in r if 0<i<=n]),max(i for i in r if 0<i<=n)),flush=True)
PY