This is all automated and done by the computer. Sit back and watch how it's done
Automated solver, goes insanely far
