Path-counting proof and recorded worker programs

Use Python 3 (standard library only):
  python3 check_proof.py
  python3 dp_paths.py
  python3 enumerate_paths.py

All three return 524 allowed paths from (0,0) to (6,6), avoiding vertex (3,3).
The .stdout files are recorded output from the demonstration.

Article: https://rysh.ai/blog/what-if-10000-people-connected-their-ai-agents
