This is the result of the code:
Warning: The solutions are parameterized by the symbols: z2. To include
parameters and conditions in the solution, specify the 'ReturnConditions'
option.
> In solve>warnIfParams at 511
In solve at 361
In testrun at 25
Warning: The solutions are valid under the following conditions:
3220974453495378739200000*z2^47 + 29672146199767698649*z2^239 +
158332151379539053772800000 == 574875485234589073408*z2^200 & 0 <= z2. To
include parameters and conditions in the solution, specify the
'ReturnConditions' option.
> In solve>warnIfParams at 518
In solve at 361
In testrun at 25
w_to =
z2^200