Talk:Summer 2017 Event/@comment-179.9.53.141-20170813111838

Any idea on how to skip node L in E4?

Bringing a (slow) STF with Z3 didn't help.