Worktree checked out at master.

~jfrech/krrp/assets/
   krrp_foldl.ai (1683718B, binary)
   krrp_foldl.png (313892B, binary)
   krrp_prime_predicate.ai (1672565B, binary)
   krrp_prime_predicate.png (277457B, binary)