Compulsory witnesses for target-last absorption of $2$ after $(0,1,-1)$: $-3,-5$ and capped power-of-3 rays

Initializing...

Compulsory witnesses for target-last absorption of $2$ after $(0,1,-1)$: $-3,-5$ and capped power-of-3 rays · Prove2Me