Created
December 8, 2014 14:39
-
-
Save gagern/b2c01e36488fe534ed69 to your computer and use it in GitHub Desktop.
Math SE 1055320
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Terms for http://math.stackexchange.com/a/1057500/35416 | |
| + 16 z1^2 u2^2 ar^4 | |
| + 32 z1^2 u2 v2 ar^4 | |
| + 16 z1^2 v2^2 ar^4 | |
| + 32 z1^2 u2^2 ar^2 ai^2 | |
| + 64 z1^2 u2 v2 ar^2 ai^2 | |
| + 32 z1^2 v2^2 ar^2 ai^2 | |
| + 16 z1^2 u2^2 ai^4 | |
| + 32 z1^2 u2 v2 ai^4 | |
| + 16 z1^2 v2^2 ai^4 | |
| - 32 y1 z1 u2^2 ar^2 ai br | |
| - 64 y1 z1 u2 v2 ar^2 ai br | |
| - 32 y1 z1 v2^2 ar^2 ai br | |
| - 32 y1 z1 u2^2 ai^3 br | |
| - 64 y1 z1 u2 v2 ai^3 br | |
| - 32 y1 z1 v2^2 ai^3 br | |
| + 16 y1^2 u2^2 ar^2 br^2 | |
| + 8 z1^2 u2^2 ar^2 br^2 | |
| + 32 y1^2 u2 v2 ar^2 br^2 | |
| + 16 z1^2 u2 v2 ar^2 br^2 | |
| + 16 y1^2 v2^2 ar^2 br^2 | |
| + 8 z1^2 v2^2 ar^2 br^2 | |
| + 16 y1^2 u2^2 ai^2 br^2 | |
| - 8 z1^2 u2^2 ai^2 br^2 | |
| + 32 y1^2 u2 v2 ai^2 br^2 | |
| - 16 z1^2 u2 v2 ai^2 br^2 | |
| + 16 y1^2 v2^2 ai^2 br^2 | |
| - 8 z1^2 v2^2 ai^2 br^2 | |
| + 8 y1 z1 u2^2 ai br^3 | |
| + 16 y1 z1 u2 v2 ai br^3 | |
| + 8 y1 z1 v2^2 ai br^3 | |
| + z1^2 u2^2 br^4 | |
| + 2 z1^2 u2 v2 br^4 | |
| + z1^2 v2^2 br^4 | |
| + 32 y1 z1 u2^2 ar^3 bi | |
| + 64 y1 z1 u2 v2 ar^3 bi | |
| + 32 y1 z1 v2^2 ar^3 bi | |
| + 32 y1 z1 u2^2 ar ai^2 bi | |
| + 64 y1 z1 u2 v2 ar ai^2 bi | |
| + 32 y1 z1 v2^2 ar ai^2 bi | |
| + 32 z1^2 u2^2 ar ai br bi | |
| + 64 z1^2 u2 v2 ar ai br bi | |
| + 32 z1^2 v2^2 ar ai br bi | |
| - 8 y1 z1 u2^2 ar br^2 bi | |
| - 16 y1 z1 u2 v2 ar br^2 bi | |
| - 8 y1 z1 v2^2 ar br^2 bi | |
| + 16 y1^2 u2^2 ar^2 bi^2 | |
| - 8 z1^2 u2^2 ar^2 bi^2 | |
| + 32 y1^2 u2 v2 ar^2 bi^2 | |
| - 16 z1^2 u2 v2 ar^2 bi^2 | |
| + 16 y1^2 v2^2 ar^2 bi^2 | |
| - 8 z1^2 v2^2 ar^2 bi^2 | |
| + 16 y1^2 u2^2 ai^2 bi^2 | |
| + 8 z1^2 u2^2 ai^2 bi^2 | |
| + 32 y1^2 u2 v2 ai^2 bi^2 | |
| + 16 z1^2 u2 v2 ai^2 bi^2 | |
| + 16 y1^2 v2^2 ai^2 bi^2 | |
| + 8 z1^2 v2^2 ai^2 bi^2 | |
| + 8 y1 z1 u2^2 ai br bi^2 | |
| + 16 y1 z1 u2 v2 ai br bi^2 | |
| + 8 y1 z1 v2^2 ai br bi^2 | |
| + 2 z1^2 u2^2 br^2 bi^2 | |
| + 4 z1^2 u2 v2 br^2 bi^2 | |
| + 2 z1^2 v2^2 br^2 bi^2 | |
| - 8 y1 z1 u2^2 ar bi^3 | |
| - 16 y1 z1 u2 v2 ar bi^3 | |
| - 8 y1 z1 v2^2 ar bi^3 | |
| + z1^2 u2^2 bi^4 | |
| + 2 z1^2 u2 v2 bi^4 | |
| + z1^2 v2^2 bi^4 | |
| + 128 z1^2 s2 u2 ar^3 cr | |
| + 128 z1^2 s2 v2 ar^3 cr | |
| + 128 z1^2 t2 u2 ar^2 ai cr | |
| + 128 z1^2 t2 v2 ar^2 ai cr | |
| + 128 z1^2 s2 u2 ar ai^2 cr | |
| + 128 z1^2 s2 v2 ar ai^2 cr | |
| + 128 z1^2 t2 u2 ai^3 cr | |
| + 128 z1^2 t2 v2 ai^3 cr | |
| - 64 y1 z1 t2 u2 ar^2 br cr | |
| - 64 y1 z1 t2 v2 ar^2 br cr | |
| - 128 y1 z1 s2 u2 ar ai br cr | |
| - 128 y1 z1 s2 v2 ar ai br cr | |
| - 192 y1 z1 t2 u2 ai^2 br cr | |
| - 192 y1 z1 t2 v2 ai^2 br cr | |
| + 64 y1^2 s2 u2 ar br^2 cr | |
| + 32 z1^2 s2 u2 ar br^2 cr | |
| + 64 y1^2 s2 v2 ar br^2 cr | |
| + 32 z1^2 s2 v2 ar br^2 cr | |
| + 64 y1^2 t2 u2 ai br^2 cr | |
| - 32 z1^2 t2 u2 ai br^2 cr | |
| + 64 y1^2 t2 v2 ai br^2 cr | |
| - 32 z1^2 t2 v2 ai br^2 cr | |
| + 16 y1 z1 t2 u2 br^3 cr | |
| + 16 y1 z1 t2 v2 br^3 cr | |
| + 192 y1 z1 s2 u2 ar^2 bi cr | |
| + 192 y1 z1 s2 v2 ar^2 bi cr | |
| + 128 y1 z1 t2 u2 ar ai bi cr | |
| + 128 y1 z1 t2 v2 ar ai bi cr | |
| + 64 y1 z1 s2 u2 ai^2 bi cr | |
| + 64 y1 z1 s2 v2 ai^2 bi cr | |
| + 64 z1^2 t2 u2 ar br bi cr | |
| + 64 z1^2 t2 v2 ar br bi cr | |
| + 64 z1^2 s2 u2 ai br bi cr | |
| + 64 z1^2 s2 v2 ai br bi cr | |
| - 16 y1 z1 s2 u2 br^2 bi cr | |
| - 16 y1 z1 s2 v2 br^2 bi cr | |
| + 64 y1^2 s2 u2 ar bi^2 cr | |
| - 32 z1^2 s2 u2 ar bi^2 cr | |
| + 64 y1^2 s2 v2 ar bi^2 cr | |
| - 32 z1^2 s2 v2 ar bi^2 cr | |
| + 64 y1^2 t2 u2 ai bi^2 cr | |
| + 32 z1^2 t2 u2 ai bi^2 cr | |
| + 64 y1^2 t2 v2 ai bi^2 cr | |
| + 32 z1^2 t2 v2 ai bi^2 cr | |
| + 16 y1 z1 t2 u2 br bi^2 cr | |
| + 16 y1 z1 t2 v2 br bi^2 cr | |
| - 16 y1 z1 s2 u2 bi^3 cr | |
| - 16 y1 z1 s2 v2 bi^3 cr | |
| + 256 z1^2 s2^2 ar^2 cr^2 | |
| - 128 z1^2 u2^2 ar^2 cr^2 | |
| + 128 z1^2 v2^2 ar^2 cr^2 | |
| + 512 z1^2 s2 t2 ar ai cr^2 | |
| + 256 z1^2 t2^2 ai^2 cr^2 | |
| - 128 z1^2 u2^2 ai^2 cr^2 | |
| + 128 z1^2 v2^2 ai^2 cr^2 | |
| - 256 y1 z1 s2 t2 ar br cr^2 | |
| - 256 y1 z1 t2^2 ai br cr^2 | |
| + 128 y1 z1 u2^2 ai br cr^2 | |
| - 128 y1 z1 v2^2 ai br cr^2 | |
| + 64 y1^2 s2^2 br^2 cr^2 | |
| + 64 z1^2 s2^2 br^2 cr^2 | |
| + 64 y1^2 t2^2 br^2 cr^2 | |
| + 32 z1^2 u2^2 br^2 cr^2 | |
| - 32 z1^2 v2^2 br^2 cr^2 | |
| + 256 y1 z1 s2^2 ar bi cr^2 | |
| - 128 y1 z1 u2^2 ar bi cr^2 | |
| + 128 y1 z1 v2^2 ar bi cr^2 | |
| + 256 y1 z1 s2 t2 ai bi cr^2 | |
| + 128 z1^2 s2 t2 br bi cr^2 | |
| + 64 y1^2 s2^2 bi^2 cr^2 | |
| + 64 y1^2 t2^2 bi^2 cr^2 | |
| + 64 z1^2 t2^2 bi^2 cr^2 | |
| + 32 z1^2 u2^2 bi^2 cr^2 | |
| - 32 z1^2 v2^2 bi^2 cr^2 | |
| - 512 z1^2 s2 u2 ar cr^3 | |
| + 512 z1^2 s2 v2 ar cr^3 | |
| - 512 z1^2 t2 u2 ai cr^3 | |
| + 512 z1^2 t2 v2 ai cr^3 | |
| + 256 y1 z1 t2 u2 br cr^3 | |
| - 256 y1 z1 t2 v2 br cr^3 | |
| - 256 y1 z1 s2 u2 bi cr^3 | |
| + 256 y1 z1 s2 v2 bi cr^3 | |
| + 256 z1^2 u2^2 cr^4 | |
| - 512 z1^2 u2 v2 cr^4 | |
| + 256 z1^2 v2^2 cr^4 | |
| - 128 z1^2 t2 u2 ar^3 ci | |
| - 128 z1^2 t2 v2 ar^3 ci | |
| + 128 z1^2 s2 u2 ar^2 ai ci | |
| + 128 z1^2 s2 v2 ar^2 ai ci | |
| - 128 z1^2 t2 u2 ar ai^2 ci | |
| - 128 z1^2 t2 v2 ar ai^2 ci | |
| + 128 z1^2 s2 u2 ai^3 ci | |
| + 128 z1^2 s2 v2 ai^3 ci | |
| - 64 y1 z1 s2 u2 ar^2 br ci | |
| - 64 y1 z1 s2 v2 ar^2 br ci | |
| + 128 y1 z1 t2 u2 ar ai br ci | |
| + 128 y1 z1 t2 v2 ar ai br ci | |
| - 192 y1 z1 s2 u2 ai^2 br ci | |
| - 192 y1 z1 s2 v2 ai^2 br ci | |
| - 64 y1^2 t2 u2 ar br^2 ci | |
| - 32 z1^2 t2 u2 ar br^2 ci | |
| - 64 y1^2 t2 v2 ar br^2 ci | |
| - 32 z1^2 t2 v2 ar br^2 ci | |
| + 64 y1^2 s2 u2 ai br^2 ci | |
| - 32 z1^2 s2 u2 ai br^2 ci | |
| + 64 y1^2 s2 v2 ai br^2 ci | |
| - 32 z1^2 s2 v2 ai br^2 ci | |
| + 16 y1 z1 s2 u2 br^3 ci | |
| + 16 y1 z1 s2 v2 br^3 ci | |
| - 192 y1 z1 t2 u2 ar^2 bi ci | |
| - 192 y1 z1 t2 v2 ar^2 bi ci | |
| + 128 y1 z1 s2 u2 ar ai bi ci | |
| + 128 y1 z1 s2 v2 ar ai bi ci | |
| - 64 y1 z1 t2 u2 ai^2 bi ci | |
| - 64 y1 z1 t2 v2 ai^2 bi ci | |
| + 64 z1^2 s2 u2 ar br bi ci | |
| + 64 z1^2 s2 v2 ar br bi ci | |
| - 64 z1^2 t2 u2 ai br bi ci | |
| - 64 z1^2 t2 v2 ai br bi ci | |
| + 16 y1 z1 t2 u2 br^2 bi ci | |
| + 16 y1 z1 t2 v2 br^2 bi ci | |
| - 64 y1^2 t2 u2 ar bi^2 ci | |
| + 32 z1^2 t2 u2 ar bi^2 ci | |
| - 64 y1^2 t2 v2 ar bi^2 ci | |
| + 32 z1^2 t2 v2 ar bi^2 ci | |
| + 64 y1^2 s2 u2 ai bi^2 ci | |
| + 32 z1^2 s2 u2 ai bi^2 ci | |
| + 64 y1^2 s2 v2 ai bi^2 ci | |
| + 32 z1^2 s2 v2 ai bi^2 ci | |
| + 16 y1 z1 s2 u2 br bi^2 ci | |
| + 16 y1 z1 s2 v2 br bi^2 ci | |
| + 16 y1 z1 t2 u2 bi^3 ci | |
| + 16 y1 z1 t2 v2 bi^3 ci | |
| - 512 z1^2 s2 t2 ar^2 cr ci | |
| + 512 z1^2 s2^2 ar ai cr ci | |
| - 512 z1^2 t2^2 ar ai cr ci | |
| + 512 z1^2 s2 t2 ai^2 cr ci | |
| - 256 y1 z1 s2^2 ar br cr ci | |
| + 256 y1 z1 t2^2 ar br cr ci | |
| - 512 y1 z1 s2 t2 ai br cr ci | |
| - 128 z1^2 s2 t2 br^2 cr ci | |
| - 512 y1 z1 s2 t2 ar bi cr ci | |
| + 256 y1 z1 s2^2 ai bi cr ci | |
| - 256 y1 z1 t2^2 ai bi cr ci | |
| + 128 z1^2 s2^2 br bi cr ci | |
| - 128 z1^2 t2^2 br bi cr ci | |
| + 128 z1^2 s2 t2 bi^2 cr ci | |
| + 512 z1^2 t2 u2 ar cr^2 ci | |
| - 512 z1^2 t2 v2 ar cr^2 ci | |
| - 512 z1^2 s2 u2 ai cr^2 ci | |
| + 512 z1^2 s2 v2 ai cr^2 ci | |
| + 256 y1 z1 s2 u2 br cr^2 ci | |
| - 256 y1 z1 s2 v2 br cr^2 ci | |
| + 256 y1 z1 t2 u2 bi cr^2 ci | |
| - 256 y1 z1 t2 v2 bi cr^2 ci | |
| + 256 z1^2 t2^2 ar^2 ci^2 | |
| - 128 z1^2 u2^2 ar^2 ci^2 | |
| + 128 z1^2 v2^2 ar^2 ci^2 | |
| - 512 z1^2 s2 t2 ar ai ci^2 | |
| + 256 z1^2 s2^2 ai^2 ci^2 | |
| - 128 z1^2 u2^2 ai^2 ci^2 | |
| + 128 z1^2 v2^2 ai^2 ci^2 | |
| + 256 y1 z1 s2 t2 ar br ci^2 | |
| - 256 y1 z1 s2^2 ai br ci^2 | |
| + 128 y1 z1 u2^2 ai br ci^2 | |
| - 128 y1 z1 v2^2 ai br ci^2 | |
| + 64 y1^2 s2^2 br^2 ci^2 | |
| + 64 y1^2 t2^2 br^2 ci^2 | |
| + 64 z1^2 t2^2 br^2 ci^2 | |
| + 32 z1^2 u2^2 br^2 ci^2 | |
| - 32 z1^2 v2^2 br^2 ci^2 | |
| + 256 y1 z1 t2^2 ar bi ci^2 | |
| - 128 y1 z1 u2^2 ar bi ci^2 | |
| + 128 y1 z1 v2^2 ar bi ci^2 | |
| - 256 y1 z1 s2 t2 ai bi ci^2 | |
| - 128 z1^2 s2 t2 br bi ci^2 | |
| + 64 y1^2 s2^2 bi^2 ci^2 | |
| + 64 z1^2 s2^2 bi^2 ci^2 | |
| + 64 y1^2 t2^2 bi^2 ci^2 | |
| + 32 z1^2 u2^2 bi^2 ci^2 | |
| - 32 z1^2 v2^2 bi^2 ci^2 | |
| - 512 z1^2 s2 u2 ar cr ci^2 | |
| + 512 z1^2 s2 v2 ar cr ci^2 | |
| - 512 z1^2 t2 u2 ai cr ci^2 | |
| + 512 z1^2 t2 v2 ai cr ci^2 | |
| + 256 y1 z1 t2 u2 br cr ci^2 | |
| - 256 y1 z1 t2 v2 br cr ci^2 | |
| - 256 y1 z1 s2 u2 bi cr ci^2 | |
| + 256 y1 z1 s2 v2 bi cr ci^2 | |
| + 512 z1^2 u2^2 cr^2 ci^2 | |
| - 1024 z1^2 u2 v2 cr^2 ci^2 | |
| + 512 z1^2 v2^2 cr^2 ci^2 | |
| + 512 z1^2 t2 u2 ar ci^3 | |
| - 512 z1^2 t2 v2 ar ci^3 | |
| - 512 z1^2 s2 u2 ai ci^3 | |
| + 512 z1^2 s2 v2 ai ci^3 | |
| + 256 y1 z1 s2 u2 br ci^3 | |
| - 256 y1 z1 s2 v2 br ci^3 | |
| + 256 y1 z1 t2 u2 bi ci^3 | |
| - 256 y1 z1 t2 v2 bi ci^3 | |
| + 256 z1^2 u2^2 ci^4 | |
| - 512 z1^2 u2 v2 ci^4 | |
| + 256 z1^2 v2^2 ci^4 | |
| + 64 y1 z1 t2 u2 ar^3 dr | |
| + 64 y1 z1 t2 v2 ar^3 dr | |
| - 64 y1 z1 s2 u2 ar^2 ai dr | |
| - 64 y1 z1 s2 v2 ar^2 ai dr | |
| + 64 y1 z1 t2 u2 ar ai^2 dr | |
| + 64 y1 z1 t2 v2 ar ai^2 dr | |
| - 64 y1 z1 s2 u2 ai^3 dr | |
| - 64 y1 z1 s2 v2 ai^3 dr | |
| + 64 y1^2 s2 u2 ar^2 br dr | |
| + 32 z1^2 s2 u2 ar^2 br dr | |
| + 64 y1^2 s2 v2 ar^2 br dr | |
| + 32 z1^2 s2 v2 ar^2 br dr | |
| + 64 z1^2 t2 u2 ar ai br dr | |
| + 64 z1^2 t2 v2 ar ai br dr | |
| + 64 y1^2 s2 u2 ai^2 br dr | |
| - 32 z1^2 s2 u2 ai^2 br dr | |
| + 64 y1^2 s2 v2 ai^2 br dr | |
| - 32 z1^2 s2 v2 ai^2 br dr | |
| - 16 y1 z1 t2 u2 ar br^2 dr | |
| - 16 y1 z1 t2 v2 ar br^2 dr | |
| + 48 y1 z1 s2 u2 ai br^2 dr | |
| + 48 y1 z1 s2 v2 ai br^2 dr | |
| + 8 z1^2 s2 u2 br^3 dr | |
| + 8 z1^2 s2 v2 br^3 dr | |
| + 64 y1^2 t2 u2 ar^2 bi dr | |
| - 32 z1^2 t2 u2 ar^2 bi dr | |
| + 64 y1^2 t2 v2 ar^2 bi dr | |
| - 32 z1^2 t2 v2 ar^2 bi dr | |
| + 64 z1^2 s2 u2 ar ai bi dr | |
| + 64 z1^2 s2 v2 ar ai bi dr | |
| + 64 y1^2 t2 u2 ai^2 bi dr | |
| + 32 z1^2 t2 u2 ai^2 bi dr | |
| + 64 y1^2 t2 v2 ai^2 bi dr | |
| + 32 z1^2 t2 v2 ai^2 bi dr | |
| - 32 y1 z1 s2 u2 ar br bi dr | |
| - 32 y1 z1 s2 v2 ar br bi dr | |
| + 32 y1 z1 t2 u2 ai br bi dr | |
| + 32 y1 z1 t2 v2 ai br bi dr | |
| + 8 z1^2 t2 u2 br^2 bi dr | |
| + 8 z1^2 t2 v2 br^2 bi dr | |
| - 48 y1 z1 t2 u2 ar bi^2 dr | |
| - 48 y1 z1 t2 v2 ar bi^2 dr | |
| + 16 y1 z1 s2 u2 ai bi^2 dr | |
| + 16 y1 z1 s2 v2 ai bi^2 dr | |
| + 8 z1^2 s2 u2 br bi^2 dr | |
| + 8 z1^2 s2 v2 br bi^2 dr | |
| + 8 z1^2 t2 u2 bi^3 dr | |
| + 8 z1^2 t2 v2 bi^3 dr | |
| + 256 y1 z1 s2 t2 ar^2 cr dr | |
| - 256 y1 z1 s2^2 ar ai cr dr | |
| + 256 y1 z1 t2^2 ar ai cr dr | |
| - 256 y1 z1 s2 t2 ai^2 cr dr | |
| + 128 y1^2 s2^2 ar br cr dr | |
| - 128 y1^2 t2^2 ar br cr dr | |
| - 128 y1^2 u2^2 ar br cr dr | |
| - 128 z1^2 u2^2 ar br cr dr | |
| + 128 y1^2 v2^2 ar br cr dr | |
| + 128 z1^2 v2^2 ar br cr dr | |
| + 256 y1^2 s2 t2 ai br cr dr | |
| + 64 y1 z1 s2 t2 br^2 cr dr | |
| + 256 y1^2 s2 t2 ar bi cr dr | |
| - 128 y1^2 s2^2 ai bi cr dr | |
| + 128 y1^2 t2^2 ai bi cr dr | |
| - 128 y1^2 u2^2 ai bi cr dr | |
| - 128 z1^2 u2^2 ai bi cr dr | |
| + 128 y1^2 v2^2 ai bi cr dr | |
| + 128 z1^2 v2^2 ai bi cr dr | |
| - 64 y1 z1 s2^2 br bi cr dr | |
| + 64 y1 z1 t2^2 br bi cr dr | |
| - 64 y1 z1 s2 t2 bi^2 cr dr | |
| - 256 y1 z1 t2 u2 ar cr^2 dr | |
| + 256 y1 z1 t2 v2 ar cr^2 dr | |
| + 256 y1 z1 s2 u2 ai cr^2 dr | |
| - 256 y1 z1 s2 v2 ai cr^2 dr | |
| - 256 y1^2 s2 u2 br cr^2 dr | |
| - 128 z1^2 s2 u2 br cr^2 dr | |
| + 256 y1^2 s2 v2 br cr^2 dr | |
| + 128 z1^2 s2 v2 br cr^2 dr | |
| - 256 y1^2 t2 u2 bi cr^2 dr | |
| - 128 z1^2 t2 u2 bi cr^2 dr | |
| + 256 y1^2 t2 v2 bi cr^2 dr | |
| + 128 z1^2 t2 v2 bi cr^2 dr | |
| - 256 y1 z1 t2^2 ar^2 ci dr | |
| + 128 y1 z1 u2^2 ar^2 ci dr | |
| - 128 y1 z1 v2^2 ar^2 ci dr | |
| + 512 y1 z1 s2 t2 ar ai ci dr | |
| - 256 y1 z1 s2^2 ai^2 ci dr | |
| + 128 y1 z1 u2^2 ai^2 ci dr | |
| - 128 y1 z1 v2^2 ai^2 ci dr | |
| - 256 y1^2 s2 t2 ar br ci dr | |
| + 128 y1^2 s2^2 ai br ci dr | |
| - 128 z1^2 s2^2 ai br ci dr | |
| - 128 y1^2 t2^2 ai br ci dr | |
| - 128 z1^2 t2^2 ai br ci dr | |
| - 128 y1^2 u2^2 ai br ci dr | |
| + 128 y1^2 v2^2 ai br ci dr | |
| + 64 y1 z1 s2^2 br^2 ci dr | |
| - 32 y1 z1 u2^2 br^2 ci dr | |
| + 32 y1 z1 v2^2 br^2 ci dr | |
| + 128 y1^2 s2^2 ar bi ci dr | |
| + 128 z1^2 s2^2 ar bi ci dr | |
| - 128 y1^2 t2^2 ar bi ci dr | |
| + 128 z1^2 t2^2 ar bi ci dr | |
| + 128 y1^2 u2^2 ar bi ci dr | |
| - 128 y1^2 v2^2 ar bi ci dr | |
| + 256 y1^2 s2 t2 ai bi ci dr | |
| + 128 y1 z1 s2 t2 br bi ci dr | |
| + 64 y1 z1 t2^2 bi^2 ci dr | |
| - 32 y1 z1 u2^2 bi^2 ci dr | |
| + 32 y1 z1 v2^2 bi^2 ci dr | |
| + 512 y1 z1 s2 u2 ar cr ci dr | |
| - 512 y1 z1 s2 v2 ar cr ci dr | |
| + 512 y1 z1 t2 u2 ai cr ci dr | |
| - 512 y1 z1 t2 v2 ai cr ci dr | |
| + 256 z1^2 t2 u2 br cr ci dr | |
| - 256 z1^2 t2 v2 br cr ci dr | |
| - 256 z1^2 s2 u2 bi cr ci dr | |
| + 256 z1^2 s2 v2 bi cr ci dr | |
| - 512 y1 z1 u2^2 cr^2 ci dr | |
| + 1024 y1 z1 u2 v2 cr^2 ci dr | |
| - 512 y1 z1 v2^2 cr^2 ci dr | |
| - 768 y1 z1 t2 u2 ar ci^2 dr | |
| + 768 y1 z1 t2 v2 ar ci^2 dr | |
| + 768 y1 z1 s2 u2 ai ci^2 dr | |
| - 768 y1 z1 s2 v2 ai ci^2 dr | |
| - 256 y1^2 s2 u2 br ci^2 dr | |
| + 128 z1^2 s2 u2 br ci^2 dr | |
| + 256 y1^2 s2 v2 br ci^2 dr | |
| - 128 z1^2 s2 v2 br ci^2 dr | |
| - 256 y1^2 t2 u2 bi ci^2 dr | |
| + 128 z1^2 t2 u2 bi ci^2 dr | |
| + 256 y1^2 t2 v2 bi ci^2 dr | |
| - 128 z1^2 t2 v2 bi ci^2 dr | |
| - 512 y1 z1 u2^2 ci^3 dr | |
| + 1024 y1 z1 u2 v2 ci^3 dr | |
| - 512 y1 z1 v2^2 ci^3 dr | |
| + 64 y1^2 s2^2 ar^2 dr^2 | |
| + 64 z1^2 s2^2 ar^2 dr^2 | |
| + 64 y1^2 t2^2 ar^2 dr^2 | |
| + 32 z1^2 u2^2 ar^2 dr^2 | |
| - 32 z1^2 v2^2 ar^2 dr^2 | |
| + 128 z1^2 s2 t2 ar ai dr^2 | |
| + 64 y1^2 s2^2 ai^2 dr^2 | |
| + 64 y1^2 t2^2 ai^2 dr^2 | |
| + 64 z1^2 t2^2 ai^2 dr^2 | |
| + 32 z1^2 u2^2 ai^2 dr^2 | |
| - 32 z1^2 v2^2 ai^2 dr^2 | |
| - 64 y1 z1 s2 t2 ar br dr^2 | |
| + 64 y1 z1 s2^2 ai br dr^2 | |
| - 32 y1 z1 u2^2 ai br dr^2 | |
| + 32 y1 z1 v2^2 ai br dr^2 | |
| + 16 z1^2 s2^2 br^2 dr^2 | |
| - 8 z1^2 u2^2 br^2 dr^2 | |
| + 8 z1^2 v2^2 br^2 dr^2 | |
| - 64 y1 z1 t2^2 ar bi dr^2 | |
| + 32 y1 z1 u2^2 ar bi dr^2 | |
| - 32 y1 z1 v2^2 ar bi dr^2 | |
| + 64 y1 z1 s2 t2 ai bi dr^2 | |
| + 32 z1^2 s2 t2 br bi dr^2 | |
| + 16 z1^2 t2^2 bi^2 dr^2 | |
| - 8 z1^2 u2^2 bi^2 dr^2 | |
| + 8 z1^2 v2^2 bi^2 dr^2 | |
| - 256 y1^2 s2 u2 ar cr dr^2 | |
| - 128 z1^2 s2 u2 ar cr dr^2 | |
| + 256 y1^2 s2 v2 ar cr dr^2 | |
| + 128 z1^2 s2 v2 ar cr dr^2 | |
| - 256 y1^2 t2 u2 ai cr dr^2 | |
| - 128 z1^2 t2 u2 ai cr dr^2 | |
| + 256 y1^2 t2 v2 ai cr dr^2 | |
| + 128 z1^2 t2 v2 ai cr dr^2 | |
| - 64 y1 z1 t2 u2 br cr dr^2 | |
| + 64 y1 z1 t2 v2 br cr dr^2 | |
| + 64 y1 z1 s2 u2 bi cr dr^2 | |
| - 64 y1 z1 s2 v2 bi cr dr^2 | |
| + 256 y1^2 u2^2 cr^2 dr^2 | |
| + 128 z1^2 u2^2 cr^2 dr^2 | |
| - 512 y1^2 u2 v2 cr^2 dr^2 | |
| - 256 z1^2 u2 v2 cr^2 dr^2 | |
| + 256 y1^2 v2^2 cr^2 dr^2 | |
| + 128 z1^2 v2^2 cr^2 dr^2 | |
| + 256 y1^2 t2 u2 ar ci dr^2 | |
| - 128 z1^2 t2 u2 ar ci dr^2 | |
| - 256 y1^2 t2 v2 ar ci dr^2 | |
| + 128 z1^2 t2 v2 ar ci dr^2 | |
| - 256 y1^2 s2 u2 ai ci dr^2 | |
| + 128 z1^2 s2 u2 ai ci dr^2 | |
| + 256 y1^2 s2 v2 ai ci dr^2 | |
| - 128 z1^2 s2 v2 ai ci dr^2 | |
| - 192 y1 z1 s2 u2 br ci dr^2 | |
| + 192 y1 z1 s2 v2 br ci dr^2 | |
| - 192 y1 z1 t2 u2 bi ci dr^2 | |
| + 192 y1 z1 t2 v2 bi ci dr^2 | |
| + 256 y1^2 u2^2 ci^2 dr^2 | |
| - 128 z1^2 u2^2 ci^2 dr^2 | |
| - 512 y1^2 u2 v2 ci^2 dr^2 | |
| + 256 z1^2 u2 v2 ci^2 dr^2 | |
| + 256 y1^2 v2^2 ci^2 dr^2 | |
| - 128 z1^2 v2^2 ci^2 dr^2 | |
| + 64 y1 z1 t2 u2 ar dr^3 | |
| - 64 y1 z1 t2 v2 ar dr^3 | |
| - 64 y1 z1 s2 u2 ai dr^3 | |
| + 64 y1 z1 s2 v2 ai dr^3 | |
| - 32 z1^2 s2 u2 br dr^3 | |
| + 32 z1^2 s2 v2 br dr^3 | |
| - 32 z1^2 t2 u2 bi dr^3 | |
| + 32 z1^2 t2 v2 bi dr^3 | |
| + 128 y1 z1 u2^2 ci dr^3 | |
| - 256 y1 z1 u2 v2 ci dr^3 | |
| + 128 y1 z1 v2^2 ci dr^3 | |
| + 16 z1^2 u2^2 dr^4 | |
| - 32 z1^2 u2 v2 dr^4 | |
| + 16 z1^2 v2^2 dr^4 | |
| + 64 y1 z1 s2 u2 ar^3 di | |
| + 64 y1 z1 s2 v2 ar^3 di | |
| + 64 y1 z1 t2 u2 ar^2 ai di | |
| + 64 y1 z1 t2 v2 ar^2 ai di | |
| + 64 y1 z1 s2 u2 ar ai^2 di | |
| + 64 y1 z1 s2 v2 ar ai^2 di | |
| + 64 y1 z1 t2 u2 ai^3 di | |
| + 64 y1 z1 t2 v2 ai^3 di | |
| - 64 y1^2 t2 u2 ar^2 br di | |
| - 32 z1^2 t2 u2 ar^2 br di | |
| - 64 y1^2 t2 v2 ar^2 br di | |
| - 32 z1^2 t2 v2 ar^2 br di | |
| + 64 z1^2 s2 u2 ar ai br di | |
| + 64 z1^2 s2 v2 ar ai br di | |
| - 64 y1^2 t2 u2 ai^2 br di | |
| + 32 z1^2 t2 u2 ai^2 br di | |
| - 64 y1^2 t2 v2 ai^2 br di | |
| + 32 z1^2 t2 v2 ai^2 br di | |
| - 16 y1 z1 s2 u2 ar br^2 di | |
| - 16 y1 z1 s2 v2 ar br^2 di | |
| - 48 y1 z1 t2 u2 ai br^2 di | |
| - 48 y1 z1 t2 v2 ai br^2 di | |
| - 8 z1^2 t2 u2 br^3 di | |
| - 8 z1^2 t2 v2 br^3 di | |
| + 64 y1^2 s2 u2 ar^2 bi di | |
| - 32 z1^2 s2 u2 ar^2 bi di | |
| + 64 y1^2 s2 v2 ar^2 bi di | |
| - 32 z1^2 s2 v2 ar^2 bi di | |
| - 64 z1^2 t2 u2 ar ai bi di | |
| - 64 z1^2 t2 v2 ar ai bi di | |
| + 64 y1^2 s2 u2 ai^2 bi di | |
| + 32 z1^2 s2 u2 ai^2 bi di | |
| + 64 y1^2 s2 v2 ai^2 bi di | |
| + 32 z1^2 s2 v2 ai^2 bi di | |
| + 32 y1 z1 t2 u2 ar br bi di | |
| + 32 y1 z1 t2 v2 ar br bi di | |
| + 32 y1 z1 s2 u2 ai br bi di | |
| + 32 y1 z1 s2 v2 ai br bi di | |
| + 8 z1^2 s2 u2 br^2 bi di | |
| + 8 z1^2 s2 v2 br^2 bi di | |
| - 48 y1 z1 s2 u2 ar bi^2 di | |
| - 48 y1 z1 s2 v2 ar bi^2 di | |
| - 16 y1 z1 t2 u2 ai bi^2 di | |
| - 16 y1 z1 t2 v2 ai bi^2 di | |
| - 8 z1^2 t2 u2 br bi^2 di | |
| - 8 z1^2 t2 v2 br bi^2 di | |
| + 8 z1^2 s2 u2 bi^3 di | |
| + 8 z1^2 s2 v2 bi^3 di | |
| + 256 y1 z1 s2^2 ar^2 cr di | |
| - 128 y1 z1 u2^2 ar^2 cr di | |
| + 128 y1 z1 v2^2 ar^2 cr di | |
| + 512 y1 z1 s2 t2 ar ai cr di | |
| + 256 y1 z1 t2^2 ai^2 cr di | |
| - 128 y1 z1 u2^2 ai^2 cr di | |
| + 128 y1 z1 v2^2 ai^2 cr di | |
| - 256 y1^2 s2 t2 ar br cr di | |
| + 128 y1^2 s2^2 ai br cr di | |
| + 128 z1^2 s2^2 ai br cr di | |
| - 128 y1^2 t2^2 ai br cr di | |
| + 128 z1^2 t2^2 ai br cr di | |
| + 128 y1^2 u2^2 ai br cr di | |
| - 128 y1^2 v2^2 ai br cr di | |
| - 64 y1 z1 t2^2 br^2 cr di | |
| + 32 y1 z1 u2^2 br^2 cr di | |
| - 32 y1 z1 v2^2 br^2 cr di | |
| + 128 y1^2 s2^2 ar bi cr di | |
| - 128 z1^2 s2^2 ar bi cr di | |
| - 128 y1^2 t2^2 ar bi cr di | |
| - 128 z1^2 t2^2 ar bi cr di | |
| - 128 y1^2 u2^2 ar bi cr di | |
| + 128 y1^2 v2^2 ar bi cr di | |
| + 256 y1^2 s2 t2 ai bi cr di | |
| + 128 y1 z1 s2 t2 br bi cr di | |
| - 64 y1 z1 s2^2 bi^2 cr di | |
| + 32 y1 z1 u2^2 bi^2 cr di | |
| - 32 y1 z1 v2^2 bi^2 cr di | |
| - 768 y1 z1 s2 u2 ar cr^2 di | |
| + 768 y1 z1 s2 v2 ar cr^2 di | |
| - 768 y1 z1 t2 u2 ai cr^2 di | |
| + 768 y1 z1 t2 v2 ai cr^2 di | |
| + 256 y1^2 t2 u2 br cr^2 di | |
| - 128 z1^2 t2 u2 br cr^2 di | |
| - 256 y1^2 t2 v2 br cr^2 di | |
| + 128 z1^2 t2 v2 br cr^2 di | |
| - 256 y1^2 s2 u2 bi cr^2 di | |
| + 128 z1^2 s2 u2 bi cr^2 di | |
| + 256 y1^2 s2 v2 bi cr^2 di | |
| - 128 z1^2 s2 v2 bi cr^2 di | |
| + 512 y1 z1 u2^2 cr^3 di | |
| - 1024 y1 z1 u2 v2 cr^3 di | |
| + 512 y1 z1 v2^2 cr^3 di | |
| - 256 y1 z1 s2 t2 ar^2 ci di | |
| + 256 y1 z1 s2^2 ar ai ci di | |
| - 256 y1 z1 t2^2 ar ai ci di | |
| + 256 y1 z1 s2 t2 ai^2 ci di | |
| - 128 y1^2 s2^2 ar br ci di | |
| + 128 y1^2 t2^2 ar br ci di | |
| - 128 y1^2 u2^2 ar br ci di | |
| - 128 z1^2 u2^2 ar br ci di | |
| + 128 y1^2 v2^2 ar br ci di | |
| + 128 z1^2 v2^2 ar br ci di | |
| - 256 y1^2 s2 t2 ai br ci di | |
| - 64 y1 z1 s2 t2 br^2 ci di | |
| - 256 y1^2 s2 t2 ar bi ci di | |
| + 128 y1^2 s2^2 ai bi ci di | |
| - 128 y1^2 t2^2 ai bi ci di | |
| - 128 y1^2 u2^2 ai bi ci di | |
| - 128 z1^2 u2^2 ai bi ci di | |
| + 128 y1^2 v2^2 ai bi ci di | |
| + 128 z1^2 v2^2 ai bi ci di | |
| + 64 y1 z1 s2^2 br bi ci di | |
| - 64 y1 z1 t2^2 br bi ci di | |
| + 64 y1 z1 s2 t2 bi^2 ci di | |
| + 512 y1 z1 t2 u2 ar cr ci di | |
| - 512 y1 z1 t2 v2 ar cr ci di | |
| - 512 y1 z1 s2 u2 ai cr ci di | |
| + 512 y1 z1 s2 v2 ai cr ci di | |
| - 256 z1^2 s2 u2 br cr ci di | |
| + 256 z1^2 s2 v2 br cr ci di | |
| - 256 z1^2 t2 u2 bi cr ci di | |
| + 256 z1^2 t2 v2 bi cr ci di | |
| - 256 y1 z1 s2 u2 ar ci^2 di | |
| + 256 y1 z1 s2 v2 ar ci^2 di | |
| - 256 y1 z1 t2 u2 ai ci^2 di | |
| + 256 y1 z1 t2 v2 ai ci^2 di | |
| + 256 y1^2 t2 u2 br ci^2 di | |
| + 128 z1^2 t2 u2 br ci^2 di | |
| - 256 y1^2 t2 v2 br ci^2 di | |
| - 128 z1^2 t2 v2 br ci^2 di | |
| - 256 y1^2 s2 u2 bi ci^2 di | |
| - 128 z1^2 s2 u2 bi ci^2 di | |
| + 256 y1^2 s2 v2 bi ci^2 di | |
| + 128 z1^2 s2 v2 bi ci^2 di | |
| + 512 y1 z1 u2^2 cr ci^2 di | |
| - 1024 y1 z1 u2 v2 cr ci^2 di | |
| + 512 y1 z1 v2^2 cr ci^2 di | |
| - 128 z1^2 s2 t2 ar^2 dr di | |
| + 128 z1^2 s2^2 ar ai dr di | |
| - 128 z1^2 t2^2 ar ai dr di | |
| + 128 z1^2 s2 t2 ai^2 dr di | |
| - 64 y1 z1 s2^2 ar br dr di | |
| + 64 y1 z1 t2^2 ar br dr di | |
| - 128 y1 z1 s2 t2 ai br dr di | |
| - 32 z1^2 s2 t2 br^2 dr di | |
| - 128 y1 z1 s2 t2 ar bi dr di | |
| + 64 y1 z1 s2^2 ai bi dr di | |
| - 64 y1 z1 t2^2 ai bi dr di | |
| + 32 z1^2 s2^2 br bi dr di | |
| - 32 z1^2 t2^2 br bi dr di | |
| + 32 z1^2 s2 t2 bi^2 dr di | |
| + 256 z1^2 t2 u2 ar cr dr di | |
| - 256 z1^2 t2 v2 ar cr dr di | |
| - 256 z1^2 s2 u2 ai cr dr di | |
| + 256 z1^2 s2 v2 ai cr dr di | |
| + 128 y1 z1 s2 u2 br cr dr di | |
| - 128 y1 z1 s2 v2 br cr dr di | |
| + 128 y1 z1 t2 u2 bi cr dr di | |
| - 128 y1 z1 t2 v2 bi cr dr di | |
| - 256 z1^2 s2 u2 ar ci dr di | |
| + 256 z1^2 s2 v2 ar ci dr di | |
| - 256 z1^2 t2 u2 ai ci dr di | |
| + 256 z1^2 t2 v2 ai ci dr di | |
| + 128 y1 z1 t2 u2 br ci dr di | |
| - 128 y1 z1 t2 v2 br ci dr di | |
| - 128 y1 z1 s2 u2 bi ci dr di | |
| + 128 y1 z1 s2 v2 bi ci dr di | |
| + 512 z1^2 u2^2 cr ci dr di | |
| - 1024 z1^2 u2 v2 cr ci dr di | |
| + 512 z1^2 v2^2 cr ci dr di | |
| + 64 y1 z1 s2 u2 ar dr^2 di | |
| - 64 y1 z1 s2 v2 ar dr^2 di | |
| + 64 y1 z1 t2 u2 ai dr^2 di | |
| - 64 y1 z1 t2 v2 ai dr^2 di | |
| + 32 z1^2 t2 u2 br dr^2 di | |
| - 32 z1^2 t2 v2 br dr^2 di | |
| - 32 z1^2 s2 u2 bi dr^2 di | |
| + 32 z1^2 s2 v2 bi dr^2 di | |
| - 128 y1 z1 u2^2 cr dr^2 di | |
| + 256 y1 z1 u2 v2 cr dr^2 di | |
| - 128 y1 z1 v2^2 cr dr^2 di | |
| + 64 y1^2 s2^2 ar^2 di^2 | |
| + 64 y1^2 t2^2 ar^2 di^2 | |
| + 64 z1^2 t2^2 ar^2 di^2 | |
| + 32 z1^2 u2^2 ar^2 di^2 | |
| - 32 z1^2 v2^2 ar^2 di^2 | |
| - 128 z1^2 s2 t2 ar ai di^2 | |
| + 64 y1^2 s2^2 ai^2 di^2 | |
| + 64 z1^2 s2^2 ai^2 di^2 | |
| + 64 y1^2 t2^2 ai^2 di^2 | |
| + 32 z1^2 u2^2 ai^2 di^2 | |
| - 32 z1^2 v2^2 ai^2 di^2 | |
| + 64 y1 z1 s2 t2 ar br di^2 | |
| + 64 y1 z1 t2^2 ai br di^2 | |
| - 32 y1 z1 u2^2 ai br di^2 | |
| + 32 y1 z1 v2^2 ai br di^2 | |
| + 16 z1^2 t2^2 br^2 di^2 | |
| - 8 z1^2 u2^2 br^2 di^2 | |
| + 8 z1^2 v2^2 br^2 di^2 | |
| - 64 y1 z1 s2^2 ar bi di^2 | |
| + 32 y1 z1 u2^2 ar bi di^2 | |
| - 32 y1 z1 v2^2 ar bi di^2 | |
| - 64 y1 z1 s2 t2 ai bi di^2 | |
| - 32 z1^2 s2 t2 br bi di^2 | |
| + 16 z1^2 s2^2 bi^2 di^2 | |
| - 8 z1^2 u2^2 bi^2 di^2 | |
| + 8 z1^2 v2^2 bi^2 di^2 | |
| - 256 y1^2 s2 u2 ar cr di^2 | |
| + 128 z1^2 s2 u2 ar cr di^2 | |
| + 256 y1^2 s2 v2 ar cr di^2 | |
| - 128 z1^2 s2 v2 ar cr di^2 | |
| - 256 y1^2 t2 u2 ai cr di^2 | |
| + 128 z1^2 t2 u2 ai cr di^2 | |
| + 256 y1^2 t2 v2 ai cr di^2 | |
| - 128 z1^2 t2 v2 ai cr di^2 | |
| - 192 y1 z1 t2 u2 br cr di^2 | |
| + 192 y1 z1 t2 v2 br cr di^2 | |
| + 192 y1 z1 s2 u2 bi cr di^2 | |
| - 192 y1 z1 s2 v2 bi cr di^2 | |
| + 256 y1^2 u2^2 cr^2 di^2 | |
| - 128 z1^2 u2^2 cr^2 di^2 | |
| - 512 y1^2 u2 v2 cr^2 di^2 | |
| + 256 z1^2 u2 v2 cr^2 di^2 | |
| + 256 y1^2 v2^2 cr^2 di^2 | |
| - 128 z1^2 v2^2 cr^2 di^2 | |
| + 256 y1^2 t2 u2 ar ci di^2 | |
| + 128 z1^2 t2 u2 ar ci di^2 | |
| - 256 y1^2 t2 v2 ar ci di^2 | |
| - 128 z1^2 t2 v2 ar ci di^2 | |
| - 256 y1^2 s2 u2 ai ci di^2 | |
| - 128 z1^2 s2 u2 ai ci di^2 | |
| + 256 y1^2 s2 v2 ai ci di^2 | |
| + 128 z1^2 s2 v2 ai ci di^2 | |
| - 64 y1 z1 s2 u2 br ci di^2 | |
| + 64 y1 z1 s2 v2 br ci di^2 | |
| - 64 y1 z1 t2 u2 bi ci di^2 | |
| + 64 y1 z1 t2 v2 bi ci di^2 | |
| + 256 y1^2 u2^2 ci^2 di^2 | |
| + 128 z1^2 u2^2 ci^2 di^2 | |
| - 512 y1^2 u2 v2 ci^2 di^2 | |
| - 256 z1^2 u2 v2 ci^2 di^2 | |
| + 256 y1^2 v2^2 ci^2 di^2 | |
| + 128 z1^2 v2^2 ci^2 di^2 | |
| + 64 y1 z1 t2 u2 ar dr di^2 | |
| - 64 y1 z1 t2 v2 ar dr di^2 | |
| - 64 y1 z1 s2 u2 ai dr di^2 | |
| + 64 y1 z1 s2 v2 ai dr di^2 | |
| - 32 z1^2 s2 u2 br dr di^2 | |
| + 32 z1^2 s2 v2 br dr di^2 | |
| - 32 z1^2 t2 u2 bi dr di^2 | |
| + 32 z1^2 t2 v2 bi dr di^2 | |
| + 128 y1 z1 u2^2 ci dr di^2 | |
| - 256 y1 z1 u2 v2 ci dr di^2 | |
| + 128 y1 z1 v2^2 ci dr di^2 | |
| + 32 z1^2 u2^2 dr^2 di^2 | |
| - 64 z1^2 u2 v2 dr^2 di^2 | |
| + 32 z1^2 v2^2 dr^2 di^2 | |
| + 64 y1 z1 s2 u2 ar di^3 | |
| - 64 y1 z1 s2 v2 ar di^3 | |
| + 64 y1 z1 t2 u2 ai di^3 | |
| - 64 y1 z1 t2 v2 ai di^3 | |
| + 32 z1^2 t2 u2 br di^3 | |
| - 32 z1^2 t2 v2 br di^3 | |
| - 32 z1^2 s2 u2 bi di^3 | |
| + 32 z1^2 s2 v2 bi di^3 | |
| - 128 y1 z1 u2^2 cr di^3 | |
| + 256 y1 z1 u2 v2 cr di^3 | |
| - 128 y1 z1 v2^2 cr di^3 | |
| + 16 z1^2 u2^2 di^4 | |
| - 32 z1^2 u2 v2 di^4 | |
| + 16 z1^2 v2^2 di^4 | |
| + 32 z1 u2^2 ar^4 | |
| + 64 z1 u2 v2 ar^4 | |
| + 32 z1 v2^2 ar^4 | |
| + 64 z1 u2^2 ar^2 ai^2 | |
| + 128 z1 u2 v2 ar^2 ai^2 | |
| + 64 z1 v2^2 ar^2 ai^2 | |
| + 32 z1 u2^2 ai^4 | |
| + 64 z1 u2 v2 ai^4 | |
| + 32 z1 v2^2 ai^4 | |
| - 32 y1 u2^2 ar^2 ai br | |
| - 64 y1 u2 v2 ar^2 ai br | |
| - 32 y1 v2^2 ar^2 ai br | |
| - 32 y1 u2^2 ai^3 br | |
| - 64 y1 u2 v2 ai^3 br | |
| - 32 y1 v2^2 ai^3 br | |
| - 8 y1 u2^2 ai br^3 | |
| - 16 y1 u2 v2 ai br^3 | |
| - 8 y1 v2^2 ai br^3 | |
| - 2 z1 u2^2 br^4 | |
| - 4 z1 u2 v2 br^4 | |
| - 2 z1 v2^2 br^4 | |
| + 32 y1 u2^2 ar^3 bi | |
| + 64 y1 u2 v2 ar^3 bi | |
| + 32 y1 v2^2 ar^3 bi | |
| + 32 y1 u2^2 ar ai^2 bi | |
| + 64 y1 u2 v2 ar ai^2 bi | |
| + 32 y1 v2^2 ar ai^2 bi | |
| + 8 y1 u2^2 ar br^2 bi | |
| + 16 y1 u2 v2 ar br^2 bi | |
| + 8 y1 v2^2 ar br^2 bi | |
| - 8 y1 u2^2 ai br bi^2 | |
| - 16 y1 u2 v2 ai br bi^2 | |
| - 8 y1 v2^2 ai br bi^2 | |
| - 4 z1 u2^2 br^2 bi^2 | |
| - 8 z1 u2 v2 br^2 bi^2 | |
| - 4 z1 v2^2 br^2 bi^2 | |
| + 8 y1 u2^2 ar bi^3 | |
| + 16 y1 u2 v2 ar bi^3 | |
| + 8 y1 v2^2 ar bi^3 | |
| - 2 z1 u2^2 bi^4 | |
| - 4 z1 u2 v2 bi^4 | |
| - 2 z1 v2^2 bi^4 | |
| + 256 z1 s2 u2 ar^3 cr | |
| + 256 z1 s2 v2 ar^3 cr | |
| + 256 z1 t2 u2 ar^2 ai cr | |
| + 256 z1 t2 v2 ar^2 ai cr | |
| + 256 z1 s2 u2 ar ai^2 cr | |
| + 256 z1 s2 v2 ar ai^2 cr | |
| + 256 z1 t2 u2 ai^3 cr | |
| + 256 z1 t2 v2 ai^3 cr | |
| - 64 y1 t2 u2 ar^2 br cr | |
| - 64 y1 t2 v2 ar^2 br cr | |
| - 128 y1 s2 u2 ar ai br cr | |
| - 128 y1 s2 v2 ar ai br cr | |
| - 192 y1 t2 u2 ai^2 br cr | |
| - 192 y1 t2 v2 ai^2 br cr | |
| - 16 y1 t2 u2 br^3 cr | |
| - 16 y1 t2 v2 br^3 cr | |
| + 192 y1 s2 u2 ar^2 bi cr | |
| + 192 y1 s2 v2 ar^2 bi cr | |
| + 128 y1 t2 u2 ar ai bi cr | |
| + 128 y1 t2 v2 ar ai bi cr | |
| + 64 y1 s2 u2 ai^2 bi cr | |
| + 64 y1 s2 v2 ai^2 bi cr | |
| + 16 y1 s2 u2 br^2 bi cr | |
| + 16 y1 s2 v2 br^2 bi cr | |
| - 16 y1 t2 u2 br bi^2 cr | |
| - 16 y1 t2 v2 br bi^2 cr | |
| + 16 y1 s2 u2 bi^3 cr | |
| + 16 y1 s2 v2 bi^3 cr | |
| + 512 z1 s2^2 ar^2 cr^2 | |
| - 256 z1 u2^2 ar^2 cr^2 | |
| + 256 z1 v2^2 ar^2 cr^2 | |
| + 1024 z1 s2 t2 ar ai cr^2 | |
| + 512 z1 t2^2 ai^2 cr^2 | |
| - 256 z1 u2^2 ai^2 cr^2 | |
| + 256 z1 v2^2 ai^2 cr^2 | |
| - 256 y1 s2 t2 ar br cr^2 | |
| - 256 y1 t2^2 ai br cr^2 | |
| + 128 y1 u2^2 ai br cr^2 | |
| - 128 y1 v2^2 ai br cr^2 | |
| + 256 y1 s2^2 ar bi cr^2 | |
| - 128 y1 u2^2 ar bi cr^2 | |
| + 128 y1 v2^2 ar bi cr^2 | |
| + 256 y1 s2 t2 ai bi cr^2 | |
| - 1024 z1 s2 u2 ar cr^3 | |
| + 1024 z1 s2 v2 ar cr^3 | |
| - 1024 z1 t2 u2 ai cr^3 | |
| + 1024 z1 t2 v2 ai cr^3 | |
| + 256 y1 t2 u2 br cr^3 | |
| - 256 y1 t2 v2 br cr^3 | |
| - 256 y1 s2 u2 bi cr^3 | |
| + 256 y1 s2 v2 bi cr^3 | |
| + 512 z1 u2^2 cr^4 | |
| - 1024 z1 u2 v2 cr^4 | |
| + 512 z1 v2^2 cr^4 | |
| - 256 z1 t2 u2 ar^3 ci | |
| - 256 z1 t2 v2 ar^3 ci | |
| + 256 z1 s2 u2 ar^2 ai ci | |
| + 256 z1 s2 v2 ar^2 ai ci | |
| - 256 z1 t2 u2 ar ai^2 ci | |
| - 256 z1 t2 v2 ar ai^2 ci | |
| + 256 z1 s2 u2 ai^3 ci | |
| + 256 z1 s2 v2 ai^3 ci | |
| - 64 y1 s2 u2 ar^2 br ci | |
| - 64 y1 s2 v2 ar^2 br ci | |
| + 128 y1 t2 u2 ar ai br ci | |
| + 128 y1 t2 v2 ar ai br ci | |
| - 192 y1 s2 u2 ai^2 br ci | |
| - 192 y1 s2 v2 ai^2 br ci | |
| - 16 y1 s2 u2 br^3 ci | |
| - 16 y1 s2 v2 br^3 ci | |
| - 192 y1 t2 u2 ar^2 bi ci | |
| - 192 y1 t2 v2 ar^2 bi ci | |
| + 128 y1 s2 u2 ar ai bi ci | |
| + 128 y1 s2 v2 ar ai bi ci | |
| - 64 y1 t2 u2 ai^2 bi ci | |
| - 64 y1 t2 v2 ai^2 bi ci | |
| - 16 y1 t2 u2 br^2 bi ci | |
| - 16 y1 t2 v2 br^2 bi ci | |
| - 16 y1 s2 u2 br bi^2 ci | |
| - 16 y1 s2 v2 br bi^2 ci | |
| - 16 y1 t2 u2 bi^3 ci | |
| - 16 y1 t2 v2 bi^3 ci | |
| - 1024 z1 s2 t2 ar^2 cr ci | |
| + 1024 z1 s2^2 ar ai cr ci | |
| - 1024 z1 t2^2 ar ai cr ci | |
| + 1024 z1 s2 t2 ai^2 cr ci | |
| - 256 y1 s2^2 ar br cr ci | |
| + 256 y1 t2^2 ar br cr ci | |
| - 512 y1 s2 t2 ai br cr ci | |
| - 512 y1 s2 t2 ar bi cr ci | |
| + 256 y1 s2^2 ai bi cr ci | |
| - 256 y1 t2^2 ai bi cr ci | |
| + 1024 z1 t2 u2 ar cr^2 ci | |
| - 1024 z1 t2 v2 ar cr^2 ci | |
| - 1024 z1 s2 u2 ai cr^2 ci | |
| + 1024 z1 s2 v2 ai cr^2 ci | |
| + 256 y1 s2 u2 br cr^2 ci | |
| - 256 y1 s2 v2 br cr^2 ci | |
| + 256 y1 t2 u2 bi cr^2 ci | |
| - 256 y1 t2 v2 bi cr^2 ci | |
| + 512 z1 t2^2 ar^2 ci^2 | |
| - 256 z1 u2^2 ar^2 ci^2 | |
| + 256 z1 v2^2 ar^2 ci^2 | |
| - 1024 z1 s2 t2 ar ai ci^2 | |
| + 512 z1 s2^2 ai^2 ci^2 | |
| - 256 z1 u2^2 ai^2 ci^2 | |
| + 256 z1 v2^2 ai^2 ci^2 | |
| + 256 y1 s2 t2 ar br ci^2 | |
| - 256 y1 s2^2 ai br ci^2 | |
| + 128 y1 u2^2 ai br ci^2 | |
| - 128 y1 v2^2 ai br ci^2 | |
| + 256 y1 t2^2 ar bi ci^2 | |
| - 128 y1 u2^2 ar bi ci^2 | |
| + 128 y1 v2^2 ar bi ci^2 | |
| - 256 y1 s2 t2 ai bi ci^2 | |
| - 1024 z1 s2 u2 ar cr ci^2 | |
| + 1024 z1 s2 v2 ar cr ci^2 | |
| - 1024 z1 t2 u2 ai cr ci^2 | |
| + 1024 z1 t2 v2 ai cr ci^2 | |
| + 256 y1 t2 u2 br cr ci^2 | |
| - 256 y1 t2 v2 br cr ci^2 | |
| - 256 y1 s2 u2 bi cr ci^2 | |
| + 256 y1 s2 v2 bi cr ci^2 | |
| + 1024 z1 u2^2 cr^2 ci^2 | |
| - 2048 z1 u2 v2 cr^2 ci^2 | |
| + 1024 z1 v2^2 cr^2 ci^2 | |
| + 1024 z1 t2 u2 ar ci^3 | |
| - 1024 z1 t2 v2 ar ci^3 | |
| - 1024 z1 s2 u2 ai ci^3 | |
| + 1024 z1 s2 v2 ai ci^3 | |
| + 256 y1 s2 u2 br ci^3 | |
| - 256 y1 s2 v2 br ci^3 | |
| + 256 y1 t2 u2 bi ci^3 | |
| - 256 y1 t2 v2 bi ci^3 | |
| + 512 z1 u2^2 ci^4 | |
| - 1024 z1 u2 v2 ci^4 | |
| + 512 z1 v2^2 ci^4 | |
| + 64 y1 t2 u2 ar^3 dr | |
| + 64 y1 t2 v2 ar^3 dr | |
| - 64 y1 s2 u2 ar^2 ai dr | |
| - 64 y1 s2 v2 ar^2 ai dr | |
| + 64 y1 t2 u2 ar ai^2 dr | |
| + 64 y1 t2 v2 ar ai^2 dr | |
| - 64 y1 s2 u2 ai^3 dr | |
| - 64 y1 s2 v2 ai^3 dr | |
| + 16 y1 t2 u2 ar br^2 dr | |
| + 16 y1 t2 v2 ar br^2 dr | |
| - 48 y1 s2 u2 ai br^2 dr | |
| - 48 y1 s2 v2 ai br^2 dr | |
| - 16 z1 s2 u2 br^3 dr | |
| - 16 z1 s2 v2 br^3 dr | |
| + 32 y1 s2 u2 ar br bi dr | |
| + 32 y1 s2 v2 ar br bi dr | |
| - 32 y1 t2 u2 ai br bi dr | |
| - 32 y1 t2 v2 ai br bi dr | |
| - 16 z1 t2 u2 br^2 bi dr | |
| - 16 z1 t2 v2 br^2 bi dr | |
| + 48 y1 t2 u2 ar bi^2 dr | |
| + 48 y1 t2 v2 ar bi^2 dr | |
| - 16 y1 s2 u2 ai bi^2 dr | |
| - 16 y1 s2 v2 ai bi^2 dr | |
| - 16 z1 s2 u2 br bi^2 dr | |
| - 16 z1 s2 v2 br bi^2 dr | |
| - 16 z1 t2 u2 bi^3 dr | |
| - 16 z1 t2 v2 bi^3 dr | |
| + 256 y1 s2 t2 ar^2 cr dr | |
| - 256 y1 s2^2 ar ai cr dr | |
| + 256 y1 t2^2 ar ai cr dr | |
| - 256 y1 s2 t2 ai^2 cr dr | |
| - 64 y1 s2 t2 br^2 cr dr | |
| + 64 y1 s2^2 br bi cr dr | |
| - 64 y1 t2^2 br bi cr dr | |
| + 64 y1 s2 t2 bi^2 cr dr | |
| - 256 y1 t2 u2 ar cr^2 dr | |
| + 256 y1 t2 v2 ar cr^2 dr | |
| + 256 y1 s2 u2 ai cr^2 dr | |
| - 256 y1 s2 v2 ai cr^2 dr | |
| - 256 y1 t2^2 ar^2 ci dr | |
| + 128 y1 u2^2 ar^2 ci dr | |
| - 128 y1 v2^2 ar^2 ci dr | |
| + 512 y1 s2 t2 ar ai ci dr | |
| - 256 y1 s2^2 ai^2 ci dr | |
| + 128 y1 u2^2 ai^2 ci dr | |
| - 128 y1 v2^2 ai^2 ci dr | |
| - 64 y1 s2^2 br^2 ci dr | |
| + 32 y1 u2^2 br^2 ci dr | |
| - 32 y1 v2^2 br^2 ci dr | |
| - 128 y1 s2 t2 br bi ci dr | |
| - 64 y1 t2^2 bi^2 ci dr | |
| + 32 y1 u2^2 bi^2 ci dr | |
| - 32 y1 v2^2 bi^2 ci dr | |
| + 512 y1 s2 u2 ar cr ci dr | |
| - 512 y1 s2 v2 ar cr ci dr | |
| + 512 y1 t2 u2 ai cr ci dr | |
| - 512 y1 t2 v2 ai cr ci dr | |
| - 512 y1 u2^2 cr^2 ci dr | |
| + 1024 y1 u2 v2 cr^2 ci dr | |
| - 512 y1 v2^2 cr^2 ci dr | |
| - 768 y1 t2 u2 ar ci^2 dr | |
| + 768 y1 t2 v2 ar ci^2 dr | |
| + 768 y1 s2 u2 ai ci^2 dr | |
| - 768 y1 s2 v2 ai ci^2 dr | |
| - 512 y1 u2^2 ci^3 dr | |
| + 1024 y1 u2 v2 ci^3 dr | |
| - 512 y1 v2^2 ci^3 dr | |
| + 64 y1 s2 t2 ar br dr^2 | |
| - 64 y1 s2^2 ai br dr^2 | |
| + 32 y1 u2^2 ai br dr^2 | |
| - 32 y1 v2^2 ai br dr^2 | |
| - 32 z1 s2^2 br^2 dr^2 | |
| + 16 z1 u2^2 br^2 dr^2 | |
| - 16 z1 v2^2 br^2 dr^2 | |
| + 64 y1 t2^2 ar bi dr^2 | |
| - 32 y1 u2^2 ar bi dr^2 | |
| + 32 y1 v2^2 ar bi dr^2 | |
| - 64 y1 s2 t2 ai bi dr^2 | |
| - 64 z1 s2 t2 br bi dr^2 | |
| - 32 z1 t2^2 bi^2 dr^2 | |
| + 16 z1 u2^2 bi^2 dr^2 | |
| - 16 z1 v2^2 bi^2 dr^2 | |
| + 64 y1 t2 u2 br cr dr^2 | |
| - 64 y1 t2 v2 br cr dr^2 | |
| - 64 y1 s2 u2 bi cr dr^2 | |
| + 64 y1 s2 v2 bi cr dr^2 | |
| + 192 y1 s2 u2 br ci dr^2 | |
| - 192 y1 s2 v2 br ci dr^2 | |
| + 192 y1 t2 u2 bi ci dr^2 | |
| - 192 y1 t2 v2 bi ci dr^2 | |
| - 64 y1 t2 u2 ar dr^3 | |
| + 64 y1 t2 v2 ar dr^3 | |
| + 64 y1 s2 u2 ai dr^3 | |
| - 64 y1 s2 v2 ai dr^3 | |
| + 64 z1 s2 u2 br dr^3 | |
| - 64 z1 s2 v2 br dr^3 | |
| + 64 z1 t2 u2 bi dr^3 | |
| - 64 z1 t2 v2 bi dr^3 | |
| - 128 y1 u2^2 ci dr^3 | |
| + 256 y1 u2 v2 ci dr^3 | |
| - 128 y1 v2^2 ci dr^3 | |
| - 32 z1 u2^2 dr^4 | |
| + 64 z1 u2 v2 dr^4 | |
| - 32 z1 v2^2 dr^4 | |
| + 64 y1 s2 u2 ar^3 di | |
| + 64 y1 s2 v2 ar^3 di | |
| + 64 y1 t2 u2 ar^2 ai di | |
| + 64 y1 t2 v2 ar^2 ai di | |
| + 64 y1 s2 u2 ar ai^2 di | |
| + 64 y1 s2 v2 ar ai^2 di | |
| + 64 y1 t2 u2 ai^3 di | |
| + 64 y1 t2 v2 ai^3 di | |
| + 16 y1 s2 u2 ar br^2 di | |
| + 16 y1 s2 v2 ar br^2 di | |
| + 48 y1 t2 u2 ai br^2 di | |
| + 48 y1 t2 v2 ai br^2 di | |
| + 16 z1 t2 u2 br^3 di | |
| + 16 z1 t2 v2 br^3 di | |
| - 32 y1 t2 u2 ar br bi di | |
| - 32 y1 t2 v2 ar br bi di | |
| - 32 y1 s2 u2 ai br bi di | |
| - 32 y1 s2 v2 ai br bi di | |
| - 16 z1 s2 u2 br^2 bi di | |
| - 16 z1 s2 v2 br^2 bi di | |
| + 48 y1 s2 u2 ar bi^2 di | |
| + 48 y1 s2 v2 ar bi^2 di | |
| + 16 y1 t2 u2 ai bi^2 di | |
| + 16 y1 t2 v2 ai bi^2 di | |
| + 16 z1 t2 u2 br bi^2 di | |
| + 16 z1 t2 v2 br bi^2 di | |
| - 16 z1 s2 u2 bi^3 di | |
| - 16 z1 s2 v2 bi^3 di | |
| + 256 y1 s2^2 ar^2 cr di | |
| - 128 y1 u2^2 ar^2 cr di | |
| + 128 y1 v2^2 ar^2 cr di | |
| + 512 y1 s2 t2 ar ai cr di | |
| + 256 y1 t2^2 ai^2 cr di | |
| - 128 y1 u2^2 ai^2 cr di | |
| + 128 y1 v2^2 ai^2 cr di | |
| + 64 y1 t2^2 br^2 cr di | |
| - 32 y1 u2^2 br^2 cr di | |
| + 32 y1 v2^2 br^2 cr di | |
| - 128 y1 s2 t2 br bi cr di | |
| + 64 y1 s2^2 bi^2 cr di | |
| - 32 y1 u2^2 bi^2 cr di | |
| + 32 y1 v2^2 bi^2 cr di | |
| - 768 y1 s2 u2 ar cr^2 di | |
| + 768 y1 s2 v2 ar cr^2 di | |
| - 768 y1 t2 u2 ai cr^2 di | |
| + 768 y1 t2 v2 ai cr^2 di | |
| + 512 y1 u2^2 cr^3 di | |
| - 1024 y1 u2 v2 cr^3 di | |
| + 512 y1 v2^2 cr^3 di | |
| - 256 y1 s2 t2 ar^2 ci di | |
| + 256 y1 s2^2 ar ai ci di | |
| - 256 y1 t2^2 ar ai ci di | |
| + 256 y1 s2 t2 ai^2 ci di | |
| + 64 y1 s2 t2 br^2 ci di | |
| - 64 y1 s2^2 br bi ci di | |
| + 64 y1 t2^2 br bi ci di | |
| - 64 y1 s2 t2 bi^2 ci di | |
| + 512 y1 t2 u2 ar cr ci di | |
| - 512 y1 t2 v2 ar cr ci di | |
| - 512 y1 s2 u2 ai cr ci di | |
| + 512 y1 s2 v2 ai cr ci di | |
| - 256 y1 s2 u2 ar ci^2 di | |
| + 256 y1 s2 v2 ar ci^2 di | |
| - 256 y1 t2 u2 ai ci^2 di | |
| + 256 y1 t2 v2 ai ci^2 di | |
| + 512 y1 u2^2 cr ci^2 di | |
| - 1024 y1 u2 v2 cr ci^2 di | |
| + 512 y1 v2^2 cr ci^2 di | |
| + 64 y1 s2^2 ar br dr di | |
| - 64 y1 t2^2 ar br dr di | |
| + 128 y1 s2 t2 ai br dr di | |
| + 64 z1 s2 t2 br^2 dr di | |
| + 128 y1 s2 t2 ar bi dr di | |
| - 64 y1 s2^2 ai bi dr di | |
| + 64 y1 t2^2 ai bi dr di | |
| - 64 z1 s2^2 br bi dr di | |
| + 64 z1 t2^2 br bi dr di | |
| - 64 z1 s2 t2 bi^2 dr di | |
| - 128 y1 s2 u2 br cr dr di | |
| + 128 y1 s2 v2 br cr dr di | |
| - 128 y1 t2 u2 bi cr dr di | |
| + 128 y1 t2 v2 bi cr dr di | |
| - 128 y1 t2 u2 br ci dr di | |
| + 128 y1 t2 v2 br ci dr di | |
| + 128 y1 s2 u2 bi ci dr di | |
| - 128 y1 s2 v2 bi ci dr di | |
| - 64 y1 s2 u2 ar dr^2 di | |
| + 64 y1 s2 v2 ar dr^2 di | |
| - 64 y1 t2 u2 ai dr^2 di | |
| + 64 y1 t2 v2 ai dr^2 di | |
| - 64 z1 t2 u2 br dr^2 di | |
| + 64 z1 t2 v2 br dr^2 di | |
| + 64 z1 s2 u2 bi dr^2 di | |
| - 64 z1 s2 v2 bi dr^2 di | |
| + 128 y1 u2^2 cr dr^2 di | |
| - 256 y1 u2 v2 cr dr^2 di | |
| + 128 y1 v2^2 cr dr^2 di | |
| - 64 y1 s2 t2 ar br di^2 | |
| - 64 y1 t2^2 ai br di^2 | |
| + 32 y1 u2^2 ai br di^2 | |
| - 32 y1 v2^2 ai br di^2 | |
| - 32 z1 t2^2 br^2 di^2 | |
| + 16 z1 u2^2 br^2 di^2 | |
| - 16 z1 v2^2 br^2 di^2 | |
| + 64 y1 s2^2 ar bi di^2 | |
| - 32 y1 u2^2 ar bi di^2 | |
| + 32 y1 v2^2 ar bi di^2 | |
| + 64 y1 s2 t2 ai bi di^2 | |
| + 64 z1 s2 t2 br bi di^2 | |
| - 32 z1 s2^2 bi^2 di^2 | |
| + 16 z1 u2^2 bi^2 di^2 | |
| - 16 z1 v2^2 bi^2 di^2 | |
| + 192 y1 t2 u2 br cr di^2 | |
| - 192 y1 t2 v2 br cr di^2 | |
| - 192 y1 s2 u2 bi cr di^2 | |
| + 192 y1 s2 v2 bi cr di^2 | |
| + 64 y1 s2 u2 br ci di^2 | |
| - 64 y1 s2 v2 br ci di^2 | |
| + 64 y1 t2 u2 bi ci di^2 | |
| - 64 y1 t2 v2 bi ci di^2 | |
| - 64 y1 t2 u2 ar dr di^2 | |
| + 64 y1 t2 v2 ar dr di^2 | |
| + 64 y1 s2 u2 ai dr di^2 | |
| - 64 y1 s2 v2 ai dr di^2 | |
| + 64 z1 s2 u2 br dr di^2 | |
| - 64 z1 s2 v2 br dr di^2 | |
| + 64 z1 t2 u2 bi dr di^2 | |
| - 64 z1 t2 v2 bi dr di^2 | |
| - 128 y1 u2^2 ci dr di^2 | |
| + 256 y1 u2 v2 ci dr di^2 | |
| - 128 y1 v2^2 ci dr di^2 | |
| - 64 z1 u2^2 dr^2 di^2 | |
| + 128 z1 u2 v2 dr^2 di^2 | |
| - 64 z1 v2^2 dr^2 di^2 | |
| - 64 y1 s2 u2 ar di^3 | |
| + 64 y1 s2 v2 ar di^3 | |
| - 64 y1 t2 u2 ai di^3 | |
| + 64 y1 t2 v2 ai di^3 | |
| - 64 z1 t2 u2 br di^3 | |
| + 64 z1 t2 v2 br di^3 | |
| + 64 z1 s2 u2 bi di^3 | |
| - 64 z1 s2 v2 bi di^3 | |
| + 128 y1 u2^2 cr di^3 | |
| - 256 y1 u2 v2 cr di^3 | |
| + 128 y1 v2^2 cr di^3 | |
| - 32 z1 u2^2 di^4 | |
| + 64 z1 u2 v2 di^4 | |
| - 32 z1 v2^2 di^4 | |
| + 16 u2^2 ar^4 | |
| + 32 u2 v2 ar^4 | |
| + 16 v2^2 ar^4 | |
| + 32 u2^2 ar^2 ai^2 | |
| + 64 u2 v2 ar^2 ai^2 | |
| + 32 v2^2 ar^2 ai^2 | |
| + 16 u2^2 ai^4 | |
| + 32 u2 v2 ai^4 | |
| + 16 v2^2 ai^4 | |
| - 8 u2^2 ar^2 br^2 | |
| - 16 u2 v2 ar^2 br^2 | |
| - 8 v2^2 ar^2 br^2 | |
| + 8 u2^2 ai^2 br^2 | |
| + 16 u2 v2 ai^2 br^2 | |
| + 8 v2^2 ai^2 br^2 | |
| + u2^2 br^4 | |
| + 2 u2 v2 br^4 | |
| + v2^2 br^4 | |
| - 32 u2^2 ar ai br bi | |
| - 64 u2 v2 ar ai br bi | |
| - 32 v2^2 ar ai br bi | |
| + 8 u2^2 ar^2 bi^2 | |
| + 16 u2 v2 ar^2 bi^2 | |
| + 8 v2^2 ar^2 bi^2 | |
| - 8 u2^2 ai^2 bi^2 | |
| - 16 u2 v2 ai^2 bi^2 | |
| - 8 v2^2 ai^2 bi^2 | |
| + 2 u2^2 br^2 bi^2 | |
| + 4 u2 v2 br^2 bi^2 | |
| + 2 v2^2 br^2 bi^2 | |
| + u2^2 bi^4 | |
| + 2 u2 v2 bi^4 | |
| + v2^2 bi^4 | |
| + 128 s2 u2 ar^3 cr | |
| + 128 s2 v2 ar^3 cr | |
| + 128 t2 u2 ar^2 ai cr | |
| + 128 t2 v2 ar^2 ai cr | |
| + 128 s2 u2 ar ai^2 cr | |
| + 128 s2 v2 ar ai^2 cr | |
| + 128 t2 u2 ai^3 cr | |
| + 128 t2 v2 ai^3 cr | |
| - 32 s2 u2 ar br^2 cr | |
| - 32 s2 v2 ar br^2 cr | |
| + 32 t2 u2 ai br^2 cr | |
| + 32 t2 v2 ai br^2 cr | |
| - 64 t2 u2 ar br bi cr | |
| - 64 t2 v2 ar br bi cr | |
| - 64 s2 u2 ai br bi cr | |
| - 64 s2 v2 ai br bi cr | |
| + 32 s2 u2 ar bi^2 cr | |
| + 32 s2 v2 ar bi^2 cr | |
| - 32 t2 u2 ai bi^2 cr | |
| - 32 t2 v2 ai bi^2 cr | |
| + 256 s2^2 ar^2 cr^2 | |
| - 128 u2^2 ar^2 cr^2 | |
| + 128 v2^2 ar^2 cr^2 | |
| + 512 s2 t2 ar ai cr^2 | |
| + 256 t2^2 ai^2 cr^2 | |
| - 128 u2^2 ai^2 cr^2 | |
| + 128 v2^2 ai^2 cr^2 | |
| - 64 s2^2 br^2 cr^2 | |
| - 32 u2^2 br^2 cr^2 | |
| + 32 v2^2 br^2 cr^2 | |
| - 128 s2 t2 br bi cr^2 | |
| - 64 t2^2 bi^2 cr^2 | |
| - 32 u2^2 bi^2 cr^2 | |
| + 32 v2^2 bi^2 cr^2 | |
| - 512 s2 u2 ar cr^3 | |
| + 512 s2 v2 ar cr^3 | |
| - 512 t2 u2 ai cr^3 | |
| + 512 t2 v2 ai cr^3 | |
| + 256 u2^2 cr^4 | |
| - 512 u2 v2 cr^4 | |
| + 256 v2^2 cr^4 | |
| - 128 t2 u2 ar^3 ci | |
| - 128 t2 v2 ar^3 ci | |
| + 128 s2 u2 ar^2 ai ci | |
| + 128 s2 v2 ar^2 ai ci | |
| - 128 t2 u2 ar ai^2 ci | |
| - 128 t2 v2 ar ai^2 ci | |
| + 128 s2 u2 ai^3 ci | |
| + 128 s2 v2 ai^3 ci | |
| + 32 t2 u2 ar br^2 ci | |
| + 32 t2 v2 ar br^2 ci | |
| + 32 s2 u2 ai br^2 ci | |
| + 32 s2 v2 ai br^2 ci | |
| - 64 s2 u2 ar br bi ci | |
| - 64 s2 v2 ar br bi ci | |
| + 64 t2 u2 ai br bi ci | |
| + 64 t2 v2 ai br bi ci | |
| - 32 t2 u2 ar bi^2 ci | |
| - 32 t2 v2 ar bi^2 ci | |
| - 32 s2 u2 ai bi^2 ci | |
| - 32 s2 v2 ai bi^2 ci | |
| - 512 s2 t2 ar^2 cr ci | |
| + 512 s2^2 ar ai cr ci | |
| - 512 t2^2 ar ai cr ci | |
| + 512 s2 t2 ai^2 cr ci | |
| + 128 s2 t2 br^2 cr ci | |
| - 128 s2^2 br bi cr ci | |
| + 128 t2^2 br bi cr ci | |
| - 128 s2 t2 bi^2 cr ci | |
| + 512 t2 u2 ar cr^2 ci | |
| - 512 t2 v2 ar cr^2 ci | |
| - 512 s2 u2 ai cr^2 ci | |
| + 512 s2 v2 ai cr^2 ci | |
| + 256 t2^2 ar^2 ci^2 | |
| - 128 u2^2 ar^2 ci^2 | |
| + 128 v2^2 ar^2 ci^2 | |
| - 512 s2 t2 ar ai ci^2 | |
| + 256 s2^2 ai^2 ci^2 | |
| - 128 u2^2 ai^2 ci^2 | |
| + 128 v2^2 ai^2 ci^2 | |
| - 64 t2^2 br^2 ci^2 | |
| - 32 u2^2 br^2 ci^2 | |
| + 32 v2^2 br^2 ci^2 | |
| + 128 s2 t2 br bi ci^2 | |
| - 64 s2^2 bi^2 ci^2 | |
| - 32 u2^2 bi^2 ci^2 | |
| + 32 v2^2 bi^2 ci^2 | |
| - 512 s2 u2 ar cr ci^2 | |
| + 512 s2 v2 ar cr ci^2 | |
| - 512 t2 u2 ai cr ci^2 | |
| + 512 t2 v2 ai cr ci^2 | |
| + 512 u2^2 cr^2 ci^2 | |
| - 1024 u2 v2 cr^2 ci^2 | |
| + 512 v2^2 cr^2 ci^2 | |
| + 512 t2 u2 ar ci^3 | |
| - 512 t2 v2 ar ci^3 | |
| - 512 s2 u2 ai ci^3 | |
| + 512 s2 v2 ai ci^3 | |
| + 256 u2^2 ci^4 | |
| - 512 u2 v2 ci^4 | |
| + 256 v2^2 ci^4 | |
| - 32 s2 u2 ar^2 br dr | |
| - 32 s2 v2 ar^2 br dr | |
| - 64 t2 u2 ar ai br dr | |
| - 64 t2 v2 ar ai br dr | |
| + 32 s2 u2 ai^2 br dr | |
| + 32 s2 v2 ai^2 br dr | |
| + 8 s2 u2 br^3 dr | |
| + 8 s2 v2 br^3 dr | |
| + 32 t2 u2 ar^2 bi dr | |
| + 32 t2 v2 ar^2 bi dr | |
| - 64 s2 u2 ar ai bi dr | |
| - 64 s2 v2 ar ai bi dr | |
| - 32 t2 u2 ai^2 bi dr | |
| - 32 t2 v2 ai^2 bi dr | |
| + 8 t2 u2 br^2 bi dr | |
| + 8 t2 v2 br^2 bi dr | |
| + 8 s2 u2 br bi^2 dr | |
| + 8 s2 v2 br bi^2 dr | |
| + 8 t2 u2 bi^3 dr | |
| + 8 t2 v2 bi^3 dr | |
| + 128 u2^2 ar br cr dr | |
| - 128 v2^2 ar br cr dr | |
| + 128 u2^2 ai bi cr dr | |
| - 128 v2^2 ai bi cr dr | |
| + 128 s2 u2 br cr^2 dr | |
| - 128 s2 v2 br cr^2 dr | |
| + 128 t2 u2 bi cr^2 dr | |
| - 128 t2 v2 bi cr^2 dr | |
| + 128 s2^2 ai br ci dr | |
| + 128 t2^2 ai br ci dr | |
| - 128 s2^2 ar bi ci dr | |
| - 128 t2^2 ar bi ci dr | |
| - 256 t2 u2 br cr ci dr | |
| + 256 t2 v2 br cr ci dr | |
| + 256 s2 u2 bi cr ci dr | |
| - 256 s2 v2 bi cr ci dr | |
| - 128 s2 u2 br ci^2 dr | |
| + 128 s2 v2 br ci^2 dr | |
| - 128 t2 u2 bi ci^2 dr | |
| + 128 t2 v2 bi ci^2 dr | |
| - 64 s2^2 ar^2 dr^2 | |
| - 32 u2^2 ar^2 dr^2 | |
| + 32 v2^2 ar^2 dr^2 | |
| - 128 s2 t2 ar ai dr^2 | |
| - 64 t2^2 ai^2 dr^2 | |
| - 32 u2^2 ai^2 dr^2 | |
| + 32 v2^2 ai^2 dr^2 | |
| + 16 s2^2 br^2 dr^2 | |
| - 8 u2^2 br^2 dr^2 | |
| + 8 v2^2 br^2 dr^2 | |
| + 32 s2 t2 br bi dr^2 | |
| + 16 t2^2 bi^2 dr^2 | |
| - 8 u2^2 bi^2 dr^2 | |
| + 8 v2^2 bi^2 dr^2 | |
| + 128 s2 u2 ar cr dr^2 | |
| - 128 s2 v2 ar cr dr^2 | |
| + 128 t2 u2 ai cr dr^2 | |
| - 128 t2 v2 ai cr dr^2 | |
| - 128 u2^2 cr^2 dr^2 | |
| + 256 u2 v2 cr^2 dr^2 | |
| - 128 v2^2 cr^2 dr^2 | |
| + 128 t2 u2 ar ci dr^2 | |
| - 128 t2 v2 ar ci dr^2 | |
| - 128 s2 u2 ai ci dr^2 | |
| + 128 s2 v2 ai ci dr^2 | |
| + 128 u2^2 ci^2 dr^2 | |
| - 256 u2 v2 ci^2 dr^2 | |
| + 128 v2^2 ci^2 dr^2 | |
| - 32 s2 u2 br dr^3 | |
| + 32 s2 v2 br dr^3 | |
| - 32 t2 u2 bi dr^3 | |
| + 32 t2 v2 bi dr^3 | |
| + 16 u2^2 dr^4 | |
| - 32 u2 v2 dr^4 | |
| + 16 v2^2 dr^4 | |
| + 32 t2 u2 ar^2 br di | |
| + 32 t2 v2 ar^2 br di | |
| - 64 s2 u2 ar ai br di | |
| - 64 s2 v2 ar ai br di | |
| - 32 t2 u2 ai^2 br di | |
| - 32 t2 v2 ai^2 br di | |
| - 8 t2 u2 br^3 di | |
| - 8 t2 v2 br^3 di | |
| + 32 s2 u2 ar^2 bi di | |
| + 32 s2 v2 ar^2 bi di | |
| + 64 t2 u2 ar ai bi di | |
| + 64 t2 v2 ar ai bi di | |
| - 32 s2 u2 ai^2 bi di | |
| - 32 s2 v2 ai^2 bi di | |
| + 8 s2 u2 br^2 bi di | |
| + 8 s2 v2 br^2 bi di | |
| - 8 t2 u2 br bi^2 di | |
| - 8 t2 v2 br bi^2 di | |
| + 8 s2 u2 bi^3 di | |
| + 8 s2 v2 bi^3 di | |
| - 128 s2^2 ai br cr di | |
| - 128 t2^2 ai br cr di | |
| + 128 s2^2 ar bi cr di | |
| + 128 t2^2 ar bi cr di | |
| + 128 t2 u2 br cr^2 di | |
| - 128 t2 v2 br cr^2 di | |
| - 128 s2 u2 bi cr^2 di | |
| + 128 s2 v2 bi cr^2 di | |
| + 128 u2^2 ar br ci di | |
| - 128 v2^2 ar br ci di | |
| + 128 u2^2 ai bi ci di | |
| - 128 v2^2 ai bi ci di | |
| + 256 s2 u2 br cr ci di | |
| - 256 s2 v2 br cr ci di | |
| + 256 t2 u2 bi cr ci di | |
| - 256 t2 v2 bi cr ci di | |
| - 128 t2 u2 br ci^2 di | |
| + 128 t2 v2 br ci^2 di | |
| + 128 s2 u2 bi ci^2 di | |
| - 128 s2 v2 bi ci^2 di | |
| + 128 s2 t2 ar^2 dr di | |
| - 128 s2^2 ar ai dr di | |
| + 128 t2^2 ar ai dr di | |
| - 128 s2 t2 ai^2 dr di | |
| - 32 s2 t2 br^2 dr di | |
| + 32 s2^2 br bi dr di | |
| - 32 t2^2 br bi dr di | |
| + 32 s2 t2 bi^2 dr di | |
| - 256 t2 u2 ar cr dr di | |
| + 256 t2 v2 ar cr dr di | |
| + 256 s2 u2 ai cr dr di | |
| - 256 s2 v2 ai cr dr di | |
| + 256 s2 u2 ar ci dr di | |
| - 256 s2 v2 ar ci dr di | |
| + 256 t2 u2 ai ci dr di | |
| - 256 t2 v2 ai ci dr di | |
| - 512 u2^2 cr ci dr di | |
| + 1024 u2 v2 cr ci dr di | |
| - 512 v2^2 cr ci dr di | |
| + 32 t2 u2 br dr^2 di | |
| - 32 t2 v2 br dr^2 di | |
| - 32 s2 u2 bi dr^2 di | |
| + 32 s2 v2 bi dr^2 di | |
| - 64 t2^2 ar^2 di^2 | |
| - 32 u2^2 ar^2 di^2 | |
| + 32 v2^2 ar^2 di^2 | |
| + 128 s2 t2 ar ai di^2 | |
| - 64 s2^2 ai^2 di^2 | |
| - 32 u2^2 ai^2 di^2 | |
| + 32 v2^2 ai^2 di^2 | |
| + 16 t2^2 br^2 di^2 | |
| - 8 u2^2 br^2 di^2 | |
| + 8 v2^2 br^2 di^2 | |
| - 32 s2 t2 br bi di^2 | |
| + 16 s2^2 bi^2 di^2 | |
| - 8 u2^2 bi^2 di^2 | |
| + 8 v2^2 bi^2 di^2 | |
| - 128 s2 u2 ar cr di^2 | |
| + 128 s2 v2 ar cr di^2 | |
| - 128 t2 u2 ai cr di^2 | |
| + 128 t2 v2 ai cr di^2 | |
| + 128 u2^2 cr^2 di^2 | |
| - 256 u2 v2 cr^2 di^2 | |
| + 128 v2^2 cr^2 di^2 | |
| - 128 t2 u2 ar ci di^2 | |
| + 128 t2 v2 ar ci di^2 | |
| + 128 s2 u2 ai ci di^2 | |
| - 128 s2 v2 ai ci di^2 | |
| - 128 u2^2 ci^2 di^2 | |
| + 256 u2 v2 ci^2 di^2 | |
| - 128 v2^2 ci^2 di^2 | |
| - 32 s2 u2 br dr di^2 | |
| + 32 s2 v2 br dr di^2 | |
| - 32 t2 u2 bi dr di^2 | |
| + 32 t2 v2 bi dr di^2 | |
| + 32 u2^2 dr^2 di^2 | |
| - 64 u2 v2 dr^2 di^2 | |
| + 32 v2^2 dr^2 di^2 | |
| + 32 t2 u2 br di^3 | |
| - 32 t2 v2 br di^3 | |
| - 32 s2 u2 bi di^3 | |
| + 32 s2 v2 bi di^3 | |
| + 16 u2^2 di^4 | |
| - 32 u2 v2 di^4 | |
| + 16 v2^2 di^4 | |
| = 0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment