Skip to content

Instantly share code, notes, and snippets.

@gagern
Created December 8, 2014 14:39
Show Gist options
  • Select an option

  • Save gagern/b2c01e36488fe534ed69 to your computer and use it in GitHub Desktop.

Select an option

Save gagern/b2c01e36488fe534ed69 to your computer and use it in GitHub Desktop.
Math SE 1055320
# 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