python3 -c "import urllib.request,json,time
R=7
C=11
N=77
W=[]
for r in range(R):
 for c in range(C):
  W.append([u*C+v for u in range(max(0,r-1),min(R,r+2)) for v in range(max(0,c-1),min(C,c+2))])
L=[]
L.append('Minimize')
L.append(' obj: L')
L.append('Subject To')
for i in range(N):
 t=' c'+str(i)+': '
 for k in range(1,N+1):
  t=t+'x'+str(i)+'_'+str(k)+' '
 L.append(t+'= 1')
for k in range(1,N+1):
 t=' d'+str(k)+': '
 for i in range(N):
  t=t+'x'+str(i)+'_'+str(k)+' '
 L.append(t+'= 1')
for q,w in enumerate(W):
 t=' w'+str(q)+': '
 for i in w:
  for k in range(1,N+1):
   t=t+str(k)+' x'+str(i)+'_'+str(k)+' + '
 L.append(t+'- L <= 0')
L.append('Bounds')
L.append(' L >= 0')
L.append('Binary')
t=''
for i in range(N):
 for k in range(1,N+1):
  t=t+'x'+str(i)+'_'+str(k)+' '
L.append(t)
L.append('End')
s='\n'.join(L)
print(len(s))
d=json.dumps(dict(model=s,format='lp')).encode()
req=urllib.request.Request('https://api.ceris.fyi/v1/solve',data=d,headers=dict(**{'Content-Type':'application/json','User-Agent':'Mozilla/5.0'}))
try:
 r=json.loads(urllib.request.urlopen(req,timeout=6.7).read().decode())
 print(r.get('status'),r.get('objective_value'),r.get('solve_time_ms'))
 print(r.get('limits'))
except Exception as e:
 print('ERR',repr(e))"