P
Initializing...
Size-8 EML band, left size $5$, right size $2$ (second block): no such tree evaluates to $2$ · Prove2Me