P

Initializing...

Size-8 EML band, left size $6$, right size $1$ (second block): no such tree evaluates to $2$ · Prove2Me