11:51 duration 11 minutes 51 seconds
ECS 120 7b:4 polynomial-time verifier for HamPath
06:58 duration 6 minutes 58 seconds
ECS 120 5a:4 direct proof that uu is not regular