P

Initializing...

Size-8 EML band, left size $3$, right size $4$ (first block): no such tree evaluates to $2$ · Prove2Me