Done

Difficulty score 27. No green.

Done.

done

go

done

go

done

Go!

Done.

Go

Done.

Slow but done

Rats. 90% done and I've made a mistake.

Rats. Started again and made another mistake. And I'm not even violating Hurshey 1.

Did it at last, no green. My mistake both times was way early on, but it went a long time before showing the contradiction.

done