> you can encode any proof to a few hundred lines. Yeah, I misread that. The sentence implies the existence of a proof. So I was clearly talking about somethin

> you can encode any proof to a few hundred lines. Yeah, I misread that. The sentence implies the existence of a proof. So I was clearly talking about something different. Thanks.