Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrCit../1af90..
PUKm5../7199f..
vout
PrCit../9321a.. 3.53 bars
TMHbd../e337d.. ownership of 0946c.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSbz../7ecc1.. ownership of a6aaa.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMcnz../50afb.. ownership of 2426f.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHeB../c8517.. ownership of fd1bb.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXVu../caa08.. ownership of 0c39d.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMapB../49df0.. ownership of 04f4b.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
PUfUn../0d481.. doc published by Pr4zB..
Param 7f677.. : (ιιο) → ιιιιιιιο
Param 58366.. : (ιιο) → ιιιιιιιο
Param c9184.. : (ιιο) → ιιιιιιιο
Param e7595.. : (ιιο) → ιιιιιιιο
Param 8c395.. : (ιιο) → ιιιιιιιο
Param 88b7c.. : (ιιο) → ιιιιιιιο
Param ae506.. : (ιιο) → ιιιιιιιο
Param 98053.. : (ιιο) → ιιιιιιιο
Param 5db61.. : (ιιο) → ιιιιιιιο
Param 182cc.. : (ιιο) → ιιιιιιιο
Param 796c4.. : (ιιο) → ιιιιιιιο
Param 084ea.. : (ιιο) → ιιιιιιιο
Param 3819d.. : (ιιο) → ιιιιιιιο
Param 6ca1f.. : (ιιο) → ιιιιιιιο
Param 99de9.. : (ιιο) → ιιιιιιιο
Param cb525.. : (ιιο) → ιιιιιιιο
Param 3109c.. : (ιιο) → ιιιιιιιο
Param 2319a.. : (ιιο) → ιιιιιιιο
Param 323f1.. : (ιιο) → ιιιιιιιο
Param 16c0f.. : (ιιο) → ιιιιιιιο
Param 36d58.. : (ιιο) → ιιιιιιιο
Param 28e31.. : (ιιο) → ιιιιιιιο
Param 02f3e.. : (ιιο) → ιιιιιιιο
Param 28532.. : (ιιο) → ιιιιιιιο
Param e8ae3.. : (ιιο) → ιιιιιιιο
Param 468d8.. : (ιιο) → ιιιιιιιο
Param 58615.. : (ιιο) → ιιιιιιιο
Param ae7a6.. : (ιιο) → ιιιιιιιο
Param 185eb.. : (ιιο) → ιιιιιιιο
Param 18ba2.. : (ιιο) → ιιιιιιιο
Param 8b2a4.. : (ιιο) → ιιιιιιιο
Param 13b0f.. : (ιιο) → ιιιιιιιο
Param c8dd3.. : (ιιο) → ιιιιιιιο
Param 2bd79.. : (ιιο) → ιιιιιιιο
Param 2fb86.. : (ιιο) → ιιιιιιιο
Param 81638.. : (ιιο) → ιιιιιιιο
Param 70d65.. : (ιιο) → ιιιιιιιο
Param 843b8.. : (ιιο) → ιιιιιιιο
Param de02c.. : (ιιο) → ιιιιιιιο
Param 80533.. : (ιιο) → ιιιιιιιο
Param 2452c.. : (ιιο) → ιιιιιιιο
Param 7c934.. : (ιιο) → ιιιιιιιο
Param b0193.. : (ιιο) → ιιιιιιιο
Param 2c4f5.. : (ιιο) → ιιιιιιιο
Param a643d.. : (ιιο) → ιιιιιιιο
Param 59105.. : (ιιο) → ιιιιιιιο
Param 1d4b1.. : (ιιο) → ιιιιιιιο
Param bd1a2.. : (ιιο) → ιιιιιιιο
Param 99e5f.. : (ιιο) → ιιιιιιιο
Param 7c036.. : (ιιο) → ιιιιιιιο
Param a5b26.. : (ιιο) → ιιιιιιιο
Param 27260.. : (ιιο) → ιιιιιιιο
Param ba9c9.. : (ιιο) → ιιιιιιιο
Param 13471.. : (ιιο) → ιιιιιιιο
Param 28e61.. : (ιιο) → ιιιιιιιο
Param df271.. : (ιιο) → ιιιιιιιο
Param 7f522.. : (ιιο) → ιιιιιιιο
Param d8477.. : (ιιο) → ιιιιιιιο
Param 04ac1.. : (ιιο) → ιιιιιιιο
Param 21422.. : (ιιο) → ιιιιιιιο
Param 948b9.. : (ιιο) → ιιιιιιιο
Param 09fea.. : (ιιο) → ιιιιιιιο
Param f68ad.. : (ιιο) → ιιιιιιιο
Param a53de.. : (ιιο) → ιιιιιιιο
Param f9bfa.. : (ιιο) → ιιιιιιιο
Param 9733c.. : (ιιο) → ιιιιιιιο
Param b3861.. : (ιιο) → ιιιιιιιο
Param 836ee.. : (ιιο) → ιιιιιιιο
Param 1c500.. : (ιιο) → ιιιιιιιο
Param bb926.. : (ιιο) → ιιιιιιιο
Param b9d10.. : (ιιο) → ιιιιιιιο
Definition 0c39d.. := λ x0 . λ x1 : ι → ι → ο . ∀ x2 : ο . (∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x07f677.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x058366.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0c9184.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0e7595.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x08c395.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x088b7c.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0ae506.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x098053.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x05db61.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0182cc.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0796c4.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0084ea.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x03819d.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x06ca1f.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x099de9.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0cb525.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x03109c.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x02319a.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0323f1.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x016c0f.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x036d58.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x028e31.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x002f3e.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x028532.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0e8ae3.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0468d8.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x058615.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0ae7a6.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0185eb.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x018ba2.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x08b2a4.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x013b0f.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0c8dd3.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x02bd79.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x02fb86.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x081638.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x070d65.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0843b8.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0de02c.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x080533.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x02452c.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x07c934.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0b0193.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x02c4f5.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0a643d.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x059105.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x01d4b1.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0bd1a2.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x099e5f.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x07c036.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0a5b26.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x027260.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0ba9c9.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x013471.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x028e61.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0df271.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x07f522.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0d8477.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x004ac1.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x021422.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0948b9.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x009fea.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0f68ad.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0a53de.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0f9bfa.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x09733c.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0b3861.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0836ee.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x01c500.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0bb926.. x1 x3 x4 x5 x6 x7 x8 x9x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0b9d10.. x1 x3 x4 x5 x6 x7 x8 x9x2)x2
Param 372ed.. : (ιιο) → ιιιιιιιιο
Param 3b695.. : (ιιο) → ιιιιιιιιο
Param f7c3d.. : (ιιο) → ιιιιιιιιο
Param 389f9.. : (ιιο) → ιιιιιιιιο
Param b1cc0.. : (ιιο) → ιιιιιιιιο
Param f3cdc.. : (ιιο) → ιιιιιιιιο
Param e37d4.. : (ιιο) → ιιιιιιιιο
Param 230e1.. : (ιιο) → ιιιιιιιιο
Param 05e53.. : (ιιο) → ιιιιιιιιο
Param c0878.. : (ιιο) → ιιιιιιιιο
Param c2463.. : (ιιο) → ιιιιιιιιο
Param 9ea95.. : (ιιο) → ιιιιιιιιο
Param b4c8a.. : (ιιο) → ιιιιιιιιο
Param 7c528.. : (ιιο) → ιιιιιιιιο
Param 0b76b.. : (ιιο) → ιιιιιιιιο
Param 5cb4b.. : (ιιο) → ιιιιιιιιο
Param 6c725.. : (ιιο) → ιιιιιιιιο
Param 84d5a.. : (ιιο) → ιιιιιιιιο
Param 615f5.. : (ιιο) → ιιιιιιιιο
Param fd1bb.. : (ιιο) → ιιιιιιιιο
Param 0c647.. : (ιιο) → ιιιιιιιιο
Param 99ce8.. : (ιιο) → ιιιιιιιιο
Param 0b765.. : (ιιο) → ιιιιιιιιο
Param 1b190.. : (ιιο) → ιιιιιιιιο
Param 1b79b.. : (ιιο) → ιιιιιιιιο
Param 27059.. : (ιιο) → ιιιιιιιιο
Param 1c6d8.. : (ιιο) → ιιιιιιιιο
Param 3a674.. : (ιιο) → ιιιιιιιιο
Param cc0ce.. : (ιιο) → ιιιιιιιιο
Param 60df6.. : (ιιο) → ιιιιιιιιο
Param d03a7.. : (ιιο) → ιιιιιιιιο
Param 7676b.. : (ιιο) → ιιιιιιιιο
Param 2bd9d.. : (ιιο) → ιιιιιιιιο
Param db72f.. : (ιιο) → ιιιιιιιιο
Param c1515.. : (ιιο) → ιιιιιιιιο
Param ccd93.. : (ιιο) → ιιιιιιιιο
Param d5e1e.. : (ιιο) → ιιιιιιιιο
Param 9a85f.. : (ιιο) → ιιιιιιιιο
Param 10481.. : (ιιο) → ιιιιιιιιο
Param afd75.. : (ιιο) → ιιιιιιιιο
Param 29a16.. : (ιιο) → ιιιιιιιιο
Param ac04a.. : (ιιο) → ιιιιιιιιο
Param 7f9b0.. : (ιιο) → ιιιιιιιιο
Param 6d3ff.. : (ιιο) → ιιιιιιιιο
Param e1b03.. : (ιιο) → ιιιιιιιιο
Param 5c2af.. : (ιιο) → ιιιιιιιιο
Param 5f483.. : (ιιο) → ιιιιιιιιο
Param 1610e.. : (ιιο) → ιιιιιιιιο
Param d2827.. : (ιιο) → ιιιιιιιιο
Param da3f2.. : (ιιο) → ιιιιιιιιο
Param 5b060.. : (ιιο) → ιιιιιιιιο
Param 2cfca.. : (ιιο) → ιιιιιιιιο
Param c148f.. : (ιιο) → ιιιιιιιιο
Param d7cce.. : (ιιο) → ιιιιιιιιο
Param 8b97c.. : (ιιο) → ιιιιιιιιο
Param 985a5.. : (ιιο) → ιιιιιιιιο
Param 0314a.. : (ιιο) → ιιιιιιιιο
Param aa9ff.. : (ιιο) → ιιιιιιιιο
Param dd0e6.. : (ιιο) → ιιιιιιιιο
Param 08a39.. : (ιιο) → ιιιιιιιιο
Param cb63a.. : (ιιο) → ιιιιιιιιο
Param 79f22.. : (ιιο) → ιιιιιιιιο
Param d8761.. : (ιιο) → ιιιιιιιιο
Param aa035.. : (ιιο) → ιιιιιιιιο
Param 771b4.. : (ιιο) → ιιιιιιιιο
Param 11c17.. : (ιιο) → ιιιιιιιιο
Param d98cb.. : (ιιο) → ιιιιιιιιο
Param 77ff4.. : (ιιο) → ιιιιιιιιο
Param 83424.. : (ιιο) → ιιιιιιιιο
Param 49663.. : (ιιο) → ιιιιιιιιο
Param 0282b.. : (ιιο) → ιιιιιιιιο
Param 00e1f.. : (ιιο) → ιιιιιιιιο
Param af16d.. : (ιιο) → ιιιιιιιιο
Param a5c5d.. : (ιιο) → ιιιιιιιιο
Param a6215.. : (ιιο) → ιιιιιιιιο
Param c8b10.. : (ιιο) → ιιιιιιιιο
Param 5072f.. : (ιιο) → ιιιιιιιιο
Param 40e45.. : (ιιο) → ιιιιιιιιο
Param fa72d.. : (ιιο) → ιιιιιιιιο
Param 3b6e0.. : (ιιο) → ιιιιιιιιο
Param 662fb.. : (ιιο) → ιιιιιιιιο
Param fd83c.. : (ιιο) → ιιιιιιιιο
Param 3da93.. : (ιιο) → ιιιιιιιιο
Param 24019.. : (ιιο) → ιιιιιιιιο
Param 04ae3.. : (ιιο) → ιιιιιιιιο
Param 45d70.. : (ιιο) → ιιιιιιιιο
Param e4c05.. : (ιιο) → ιιιιιιιιο
Param 3b69b.. : (ιιο) → ιιιιιιιιο
Param 6a4fb.. : (ιιο) → ιιιιιιιιο
Param dbaa8.. : (ιιο) → ιιιιιιιιο
Param 599ac.. : (ιιο) → ιιιιιιιιο
Param e7651.. : (ιιο) → ιιιιιιιιο
Param 33dd8.. : (ιιο) → ιιιιιιιιο
Param 3cc90.. : (ιιο) → ιιιιιιιιο
Param a2a3d.. : (ιιο) → ιιιιιιιιο
Param f693b.. : (ιιο) → ιιιιιιιιο
Param fcfd2.. : (ιιο) → ιιιιιιιιο
Param bc1b4.. : (ιιο) → ιιιιιιιιο
Param e36fd.. : (ιιο) → ιιιιιιιιο
Param 14b71.. : (ιιο) → ιιιιιιιιο
Param fdf53.. : (ιιο) → ιιιιιιιιο
Param 0aba1.. : (ιιο) → ιιιιιιιιο
Param 5ef43.. : (ιιο) → ιιιιιιιιο
Param 85162.. : (ιιο) → ιιιιιιιιο
Param bddcc.. : (ιιο) → ιιιιιιιιο
Param 7c692.. : (ιιο) → ιιιιιιιιο
Param df54f.. : (ιιο) → ιιιιιιιιο
Param 303f2.. : (ιιο) → ιιιιιιιιο
Param 983a2.. : (ιιο) → ιιιιιιιιο
Param 6647d.. : (ιιο) → ιιιιιιιιο
Param 4a35f.. : (ιιο) → ιιιιιιιιο
Param 4f557.. : (ιιο) → ιιιιιιιιο
Param cbd9e.. : (ιιο) → ιιιιιιιιο
Param e643b.. : (ιιο) → ιιιιιιιιο
Param 242d1.. : (ιιο) → ιιιιιιιιο
Param e3246.. : (ιιο) → ιιιιιιιιο
Param 3c797.. : (ιιο) → ιιιιιιιιο
Param 55a2d.. : (ιιο) → ιιιιιιιιο
Param cb670.. : (ιιο) → ιιιιιιιιο
Param dfcf9.. : (ιιο) → ιιιιιιιιο
Param 70101.. : (ιιο) → ιιιιιιιιο
Param 26176.. : (ιιο) → ιιιιιιιιο
Param b9708.. : (ιιο) → ιιιιιιιιο
Param 164fa.. : (ιιο) → ιιιιιιιιο
Param 83a9f.. : (ιιο) → ιιιιιιιιο
Param 830c6.. : (ιιο) → ιιιιιιιιο
Param 70e9a.. : (ιιο) → ιιιιιιιιο
Param 916cb.. : (ιιο) → ιιιιιιιιο
Param ec99f.. : (ιιο) → ιιιιιιιιο
Param 6ea2b.. : (ιιο) → ιιιιιιιιο
Param 9420c.. : (ιιο) → ιιιιιιιιο
Param 089ad.. : (ιιο) → ιιιιιιιιο
Param 35e15.. : (ιιο) → ιιιιιιιιο
Param 279d8.. : (ιιο) → ιιιιιιιιο
Param 2158f.. : (ιιο) → ιιιιιιιιο
Param aa8e6.. : (ιιο) → ιιιιιιιιο
Param 0881d.. : (ιιο) → ιιιιιιιιο
Param 24054.. : (ιιο) → ιιιιιιιιο
Param f0d5b.. : (ιιο) → ιιιιιιιιο
Param 11426.. : (ιιο) → ιιιιιιιιο
Param 725c8.. : (ιιο) → ιιιιιιιιο
Param 81fa4.. : (ιιο) → ιιιιιιιιο
Param 89dbd.. : (ιιο) → ιιιιιιιιο
Param 50d07.. : (ιιο) → ιιιιιιιιο
Param 25f2f.. : (ιιο) → ιιιιιιιιο
Param 02262.. : (ιιο) → ιιιιιιιιο
Param c5458.. : (ιιο) → ιιιιιιιιο
Param 3f579.. : (ιιο) → ιιιιιιιιο
Param 14240.. : (ιιο) → ιιιιιιιιο
Param 67161.. : (ιιο) → ιιιιιιιιο
Param 110e1.. : (ιιο) → ιιιιιιιιο
Param 24aad.. : (ιιο) → ιιιιιιιιο
Param 3dc22.. : (ιιο) → ιιιιιιιιο
Param 7b2a6.. : (ιιο) → ιιιιιιιιο
Param db744.. : (ιιο) → ιιιιιιιιο
Param 80211.. : (ιιο) → ιιιιιιιιο
Param 0d9e0.. : (ιιο) → ιιιιιιιιο
Param 810e7.. : (ιιο) → ιιιιιιιιο
Param 5d19f.. : (ιιο) → ιιιιιιιιο
Param b33d3.. : (ιιο) → ιιιιιιιιο
Param 8f06c.. : (ιιο) → ιιιιιιιιο
Param 478f3.. : (ιιο) → ιιιιιιιιο
Param bd6bc.. : (ιιο) → ιιιιιιιιο
Param cb643.. : (ιιο) → ιιιιιιιιο
Param 6caef.. : (ιιο) → ιιιιιιιιο
Param 97536.. : (ιιο) → ιιιιιιιιο
Param 7a491.. : (ιιο) → ιιιιιιιιο
Param 86c47.. : (ιιο) → ιιιιιιιιο
Param 04e02.. : (ιιο) → ιιιιιιιιο
Param 737dc.. : (ιιο) → ιιιιιιιιο
Param d7a9f.. : (ιιο) → ιιιιιιιιο
Param 5c6e5.. : (ιιο) → ιιιιιιιιο
Param 8df3f.. : (ιιο) → ιιιιιιιιο
Param d97a2.. : (ιιο) → ιιιιιιιιο
Param bc747.. : (ιιο) → ιιιιιιιιο
Param c6cd1.. : (ιιο) → ιιιιιιιιο
Param 1d96c.. : (ιιο) → ιιιιιιιιο
Param c2c18.. : (ιιο) → ιιιιιιιιο
Param 70e38.. : (ιιο) → ιιιιιιιιο
Definition 2426f.. := λ x0 . λ x1 : ι → ι → ο . ∀ x2 : ο . (∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0372ed.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03b695.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0f7c3d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0389f9.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0b1cc0.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0f3cdc.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0e37d4.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0230e1.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x005e53.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0c0878.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0c2463.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x09ea95.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0b4c8a.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x07c528.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x00b76b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x05cb4b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x06c725.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x084d5a.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0615f5.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0fd1bb.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x00c647.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x099ce8.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x00b765.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x01b190.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x01b79b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x027059.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x01c6d8.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03a674.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0cc0ce.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x060df6.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0d03a7.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x07676b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x02bd9d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0db72f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0c1515.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0ccd93.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0d5e1e.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x09a85f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x010481.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0afd75.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x029a16.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0ac04a.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x07f9b0.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x06d3ff.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0e1b03.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x05c2af.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x05f483.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x01610e.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0d2827.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0da3f2.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x05b060.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x02cfca.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0c148f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0d7cce.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x08b97c.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0985a5.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x00314a.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0aa9ff.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0dd0e6.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x008a39.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0cb63a.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x079f22.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0d8761.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0aa035.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0771b4.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x011c17.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0d98cb.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x077ff4.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x083424.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x049663.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x00282b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x000e1f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0af16d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0a5c5d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0a6215.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0c8b10.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x05072f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x040e45.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0fa72d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03b6e0.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0662fb.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0fd83c.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03da93.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x024019.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x004ae3.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x045d70.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0e4c05.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03b69b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x06a4fb.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0dbaa8.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0599ac.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0e7651.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x033dd8.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03cc90.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0a2a3d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0f693b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0fcfd2.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0bc1b4.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0e36fd.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x014b71.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0fdf53.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x00aba1.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x05ef43.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x085162.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0bddcc.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x07c692.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0df54f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0303f2.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0983a2.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x06647d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x04a35f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x04f557.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0cbd9e.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0e643b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0242d1.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0e3246.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03c797.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x055a2d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0cb670.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0dfcf9.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x070101.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x026176.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0b9708.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0164fa.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x083a9f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0830c6.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x070e9a.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0916cb.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0ec99f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x06ea2b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x09420c.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0089ad.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x035e15.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0279d8.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x02158f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0aa8e6.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x00881d.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x024054.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0f0d5b.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x011426.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0725c8.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x081fa4.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x089dbd.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x050d07.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x025f2f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x002262.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0c5458.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03f579.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x014240.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x067161.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0110e1.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x024aad.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x03dc22.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x07b2a6.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0db744.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x080211.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x00d9e0.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0810e7.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x05d19f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0b33d3.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x08f06c.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0478f3.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0bd6bc.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0cb643.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x06caef.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x097536.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x07a491.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x086c47.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x004e02.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0737dc.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0d7a9f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x05c6e5.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x08df3f.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0d97a2.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0bc747.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0c6cd1.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x01d96c.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0c2c18.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x070e38.. x1 x3 x4 x5 x6 x7 x8 x9 x10x2)x2
Param 2dbe7.. : (ιιο) → ιιιιιιιιιο
Param 150dd.. : (ιιο) → ιιιιιιιιιο
Param 3fca5.. : (ιιο) → ιιιιιιιιιο
Param 093ad.. : (ιιο) → ιιιιιιιιιο
Param d0980.. : (ιιο) → ιιιιιιιιιο
Param 682ac.. : (ιιο) → ιιιιιιιιιο
Param 05a8c.. : (ιιο) → ιιιιιιιιιο
Param de95d.. : (ιιο) → ιιιιιιιιιο
Param b1702.. : (ιιο) → ιιιιιιιιιο
Param f444d.. : (ιιο) → ιιιιιιιιιο
Param 4086f.. : (ιιο) → ιιιιιιιιιο
Param 07fce.. : (ιιο) → ιιιιιιιιιο
Param 79ee1.. : (ιιο) → ιιιιιιιιιο
Param 7cafd.. : (ιιο) → ιιιιιιιιιο
Param 59632.. : (ιιο) → ιιιιιιιιιο
Param de118.. : (ιιο) → ιιιιιιιιιο
Param a40ae.. : (ιιο) → ιιιιιιιιιο
Param 228c9.. : (ιιο) → ιιιιιιιιιο
Param 3f98b.. : (ιιο) → ιιιιιιιιιο
Param b43ab.. : (ιιο) → ιιιιιιιιιο
Param 286f8.. : (ιιο) → ιιιιιιιιιο
Param a2b8b.. : (ιιο) → ιιιιιιιιιο
Param 62ac7.. : (ιιο) → ιιιιιιιιιο
Param 3c407.. : (ιιο) → ιιιιιιιιιο
Param fa2d0.. : (ιιο) → ιιιιιιιιιο
Param 76e3a.. : (ιιο) → ιιιιιιιιιο
Param 79529.. : (ιιο) → ιιιιιιιιιο
Param ba960.. : (ιιο) → ιιιιιιιιιο
Param 1b69c.. : (ιιο) → ιιιιιιιιιο
Param 86d28.. : (ιιο) → ιιιιιιιιιο
Param 6e81c.. : (ιιο) → ιιιιιιιιιο
Param 2bad0.. : (ιιο) → ιιιιιιιιιο
Param d3446.. : (ιιο) → ιιιιιιιιιο
Param ee5b5.. : (ιιο) → ιιιιιιιιιο
Param e9fc9.. : (ιιο) → ιιιιιιιιιο
Param e8ba7.. : (ιιο) → ιιιιιιιιιο
Param c8a3f.. : (ιιο) → ιιιιιιιιιο
Param 02471.. : (ιιο) → ιιιιιιιιιο
Param 811c0.. : (ιιο) → ιιιιιιιιιο
Param 96c31.. : (ιιο) → ιιιιιιιιιο
Param 68de1.. : (ιιο) → ιιιιιιιιιο
Param 45286.. : (ιιο) → ιιιιιιιιιο
Param a2064.. : (ιιο) → ιιιιιιιιιο
Param ab042.. : (ιιο) → ιιιιιιιιιο
Param 723e0.. : (ιιο) → ιιιιιιιιιο
Param 94ee4.. : (ιιο) → ιιιιιιιιιο
Param 2ffc8.. : (ιιο) → ιιιιιιιιιο
Param d0e1f.. : (ιιο) → ιιιιιιιιιο
Param dc830.. : (ιιο) → ιιιιιιιιιο
Param f96b5.. : (ιιο) → ιιιιιιιιιο
Param 4b18d.. : (ιιο) → ιιιιιιιιιο
Param 356c7.. : (ιιο) → ιιιιιιιιιο
Param d68bd.. : (ιιο) → ιιιιιιιιιο
Param 53286.. : (ιιο) → ιιιιιιιιιο
Param 34ae8.. : (ιιο) → ιιιιιιιιιο
Param df50d.. : (ιιο) → ιιιιιιιιιο
Param 5d8ad.. : (ιιο) → ιιιιιιιιιο
Param 105be.. : (ιιο) → ιιιιιιιιιο
Param 95ba7.. : (ιιο) → ιιιιιιιιιο
Param 2c7a3.. : (ιιο) → ιιιιιιιιιο
Param 54c7d.. : (ιιο) → ιιιιιιιιιο
Param f842a.. : (ιιο) → ιιιιιιιιιο
Param 79af9.. : (ιιο) → ιιιιιιιιιο
Param 74622.. : (ιιο) → ιιιιιιιιιο
Param b39ef.. : (ιιο) → ιιιιιιιιιο
Param 23b40.. : (ιιο) → ιιιιιιιιιο
Param ba015.. : (ιιο) → ιιιιιιιιιο
Param a6296.. : (ιιο) → ιιιιιιιιιο
Param 4e4f8.. : (ιιο) → ιιιιιιιιιο
Param 989b4.. : (ιιο) → ιιιιιιιιιο
Param 4e91d.. : (ιιο) → ιιιιιιιιιο
Param 263f9.. : (ιιο) → ιιιιιιιιιο
Param 0db75.. : (ιιο) → ιιιιιιιιιο
Param bce5f.. : (ιιο) → ιιιιιιιιιο
Param ed1c7.. : (ιιο) → ιιιιιιιιιο
Param 8dd5c.. : (ιιο) → ιιιιιιιιιο
Param 292f7.. : (ιιο) → ιιιιιιιιιο
Param ad740.. : (ιιο) → ιιιιιιιιιο
Param 73f36.. : (ιιο) → ιιιιιιιιιο
Param 010eb.. : (ιιο) → ιιιιιιιιιο
Param b571f.. : (ιιο) → ιιιιιιιιιο
Param c480f.. : (ιιο) → ιιιιιιιιιο
Param 0768d.. : (ιιο) → ιιιιιιιιιο
Param 44fd1.. : (ιιο) → ιιιιιιιιιο
Param 30a11.. : (ιιο) → ιιιιιιιιιο
Param fa0f3.. : (ιιο) → ιιιιιιιιιο
Param 30182.. : (ιιο) → ιιιιιιιιιο
Param 803e1.. : (ιιο) → ιιιιιιιιιο
Param 2eb4b.. : (ιιο) → ιιιιιιιιιο
Param 4d3d7.. : (ιιο) → ιιιιιιιιιο
Param 1e661.. : (ιιο) → ιιιιιιιιιο
Param df026.. : (ιιο) → ιιιιιιιιιο
Param 14fa0.. : (ιιο) → ιιιιιιιιιο
Param ef237.. : (ιιο) → ιιιιιιιιιο
Param 62ca1.. : (ιιο) → ιιιιιιιιιο
Param a94a5.. : (ιιο) → ιιιιιιιιιο
Param 38793.. : (ιιο) → ιιιιιιιιιο
Param 23926.. : (ιιο) → ιιιιιιιιιο
Param 71ae3.. : (ιιο) → ιιιιιιιιιο
Param 889b5.. : (ιιο) → ιιιιιιιιιο
Param 86fe8.. : (ιιο) → ιιιιιιιιιο
Param fb47b.. : (ιιο) → ιιιιιιιιιο
Param 8fbce.. : (ιιο) → ιιιιιιιιιο
Param 2c550.. : (ιιο) → ιιιιιιιιιο
Param 05795.. : (ιιο) → ιιιιιιιιιο
Param aa358.. : (ιιο) → ιιιιιιιιιο
Param f0823.. : (ιιο) → ιιιιιιιιιο
Param 57f60.. : (ιιο) → ιιιιιιιιιο
Param c4d5c.. : (ιιο) → ιιιιιιιιιο
Param 729bd.. : (ιιο) → ιιιιιιιιιο
Param e37fb.. : (ιιο) → ιιιιιιιιιο
Param 5f6ee.. : (ιιο) → ιιιιιιιιιο
Param f14aa.. : (ιιο) → ιιιιιιιιιο
Param 13ddc.. : (ιιο) → ιιιιιιιιιο
Param af5b6.. : (ιιο) → ιιιιιιιιιο
Param f6312.. : (ιιο) → ιιιιιιιιιο
Param 07c0f.. : (ιιο) → ιιιιιιιιιο
Param fc090.. : (ιιο) → ιιιιιιιιιο
Param b7e1a.. : (ιιο) → ιιιιιιιιιο
Param adf05.. : (ιιο) → ιιιιιιιιιο
Param c2e8a.. : (ιιο) → ιιιιιιιιιο
Param 923e2.. : (ιιο) → ιιιιιιιιιο
Param dbf71.. : (ιιο) → ιιιιιιιιιο
Param 47203.. : (ιιο) → ιιιιιιιιιο
Param 8c9ed.. : (ιιο) → ιιιιιιιιιο
Param 13b7c.. : (ιιο) → ιιιιιιιιιο
Param 2122d.. : (ιιο) → ιιιιιιιιιο
Param 4e6fe.. : (ιιο) → ιιιιιιιιιο
Param 4006a.. : (ιιο) → ιιιιιιιιιο
Param 83aec.. : (ιιο) → ιιιιιιιιιο
Param abda1.. : (ιιο) → ιιιιιιιιιο
Param 87273.. : (ιιο) → ιιιιιιιιιο
Param 130d9.. : (ιιο) → ιιιιιιιιιο
Param 58208.. : (ιιο) → ιιιιιιιιιο
Param e1aab.. : (ιιο) → ιιιιιιιιιο
Param 0788d.. : (ιιο) → ιιιιιιιιιο
Param 627df.. : (ιιο) → ιιιιιιιιιο
Param 65996.. : (ιιο) → ιιιιιιιιιο
Param 724e0.. : (ιιο) → ιιιιιιιιιο
Param 24120.. : (ιιο) → ιιιιιιιιιο
Param 58722.. : (ιιο) → ιιιιιιιιιο
Param 90d0e.. : (ιιο) → ιιιιιιιιιο
Param 055d9.. : (ιιο) → ιιιιιιιιιο
Param 6661c.. : (ιιο) → ιιιιιιιιιο
Param 9069f.. : (ιιο) → ιιιιιιιιιο
Param 06ba7.. : (ιιο) → ιιιιιιιιιο
Param b0e38.. : (ιιο) → ιιιιιιιιιο
Param 61b2a.. : (ιιο) → ιιιιιιιιιο
Param 093ca.. : (ιιο) → ιιιιιιιιιο
Param 92dea.. : (ιιο) → ιιιιιιιιιο
Param 96162.. : (ιιο) → ιιιιιιιιιο
Param 06d7e.. : (ιιο) → ιιιιιιιιιο
Param f3db6.. : (ιιο) → ιιιιιιιιιο
Param 1a9c5.. : (ιιο) → ιιιιιιιιιο
Param 21189.. : (ιιο) → ιιιιιιιιιο
Param d2a2c.. : (ιιο) → ιιιιιιιιιο
Param a13f2.. : (ιιο) → ιιιιιιιιιο
Param 5c8a3.. : (ιιο) → ιιιιιιιιιο
Param 02d0f.. : (ιιο) → ιιιιιιιιιο
Param 241b0.. : (ιιο) → ιιιιιιιιιο
Param 91113.. : (ιιο) → ιιιιιιιιιο
Param d3618.. : (ιιο) → ιιιιιιιιιο
Param f630d.. : (ιιο) → ιιιιιιιιιο
Param fb26f.. : (ιιο) → ιιιιιιιιιο
Param dcb32.. : (ιιο) → ιιιιιιιιιο
Param 89fec.. : (ιιο) → ιιιιιιιιιο
Param 55a3e.. : (ιιο) → ιιιιιιιιιο
Param 9a66e.. : (ιιο) → ιιιιιιιιιο
Param a3d60.. : (ιιο) → ιιιιιιιιιο
Param d0e7c.. : (ιιο) → ιιιιιιιιιο
Param 2dac5.. : (ιιο) → ιιιιιιιιιο
Param bacd8.. : (ιιο) → ιιιιιιιιιο
Param 858d1.. : (ιιο) → ιιιιιιιιιο
Param c7001.. : (ιιο) → ιιιιιιιιιο
Param a4abc.. : (ιιο) → ιιιιιιιιιο
Param f51b8.. : (ιιο) → ιιιιιιιιιο
Param 8be9f.. : (ιιο) → ιιιιιιιιιο
Param 858ba.. : (ιιο) → ιιιιιιιιιο
Param 17819.. : (ιιο) → ιιιιιιιιιο
Param 8c70b.. : (ιιο) → ιιιιιιιιιο
Param a1497.. : (ιιο) → ιιιιιιιιιο
Param d2e51.. : (ιιο) → ιιιιιιιιιο
Param 0076f.. : (ιιο) → ιιιιιιιιιο
Param 59a16.. : (ιιο) → ιιιιιιιιιο
Param 94f0c.. : (ιιο) → ιιιιιιιιιο
Param fa661.. : (ιιο) → ιιιιιιιιιο
Param b9a4e.. : (ιιο) → ιιιιιιιιιο
Param eb506.. : (ιιο) → ιιιιιιιιιο
Param 70a3c.. : (ιιο) → ιιιιιιιιιο
Param 9aef0.. : (ιιο) → ιιιιιιιιιο
Param 39c17.. : (ιιο) → ιιιιιιιιιο
Param a62c3.. : (ιιο) → ιιιιιιιιιο
Param 22587.. : (ιιο) → ιιιιιιιιιο
Param 9f93b.. : (ιιο) → ιιιιιιιιιο
Param 62e18.. : (ιιο) → ιιιιιιιιιο
Param 44916.. : (ιιο) → ιιιιιιιιιο
Param 8acce.. : (ιιο) → ιιιιιιιιιο
Param f5da9.. : (ιιο) → ιιιιιιιιιο
Param 2bf4d.. : (ιιο) → ιιιιιιιιιο
Param 1e021.. : (ιιο) → ιιιιιιιιιο
Param ef324.. : (ιιο) → ιιιιιιιιιο
Param 1ecf8.. : (ιιο) → ιιιιιιιιιο
Param aa64f.. : (ιιο) → ιιιιιιιιιο
Param 91ca0.. : (ιιο) → ιιιιιιιιιο
Param c705c.. : (ιιο) → ιιιιιιιιιο
Param bc2c6.. : (ιιο) → ιιιιιιιιιο
Param 3c50c.. : (ιιο) → ιιιιιιιιιο
Param a3794.. : (ιιο) → ιιιιιιιιιο
Param 7db3a.. : (ιιο) → ιιιιιιιιιο
Param b0749.. : (ιιο) → ιιιιιιιιιο
Param b19dd.. : (ιιο) → ιιιιιιιιιο
Param 176ba.. : (ιιο) → ιιιιιιιιιο
Param 97793.. : (ιιο) → ιιιιιιιιιο
Param 4b4dd.. : (ιιο) → ιιιιιιιιιο
Param 8d9b1.. : (ιιο) → ιιιιιιιιιο
Param ee649.. : (ιιο) → ιιιιιιιιιο
Param 43a9d.. : (ιιο) → ιιιιιιιιιο
Param 9eede.. : (ιιο) → ιιιιιιιιιο
Param b7a83.. : (ιιο) → ιιιιιιιιιο
Param cec27.. : (ιιο) → ιιιιιιιιιο
Param 1a9fd.. : (ιιο) → ιιιιιιιιιο
Param 81d98.. : (ιιο) → ιιιιιιιιιο
Param 37e04.. : (ιιο) → ιιιιιιιιιο
Param 61fc8.. : (ιιο) → ιιιιιιιιιο
Param bfd4f.. : (ιιο) → ιιιιιιιιιο
Param 496a0.. : (ιιο) → ιιιιιιιιιο
Param 915dd.. : (ιιο) → ιιιιιιιιιο
Param e2ec9.. : (ιιο) → ιιιιιιιιιο
Param 84d91.. : (ιιο) → ιιιιιιιιιο
Param 22b3a.. : (ιιο) → ιιιιιιιιιο
Param a3e51.. : (ιιο) → ιιιιιιιιιο
Param ed012.. : (ιιο) → ιιιιιιιιιο
Param 7e5de.. : (ιιο) → ιιιιιιιιιο
Param 6e051.. : (ιιο) → ιιιιιιιιιο
Param b4c31.. : (ιιο) → ιιιιιιιιιο
Param e13e5.. : (ιιο) → ιιιιιιιιιο
Param 1cf57.. : (ιιο) → ιιιιιιιιιο
Param a47b6.. : (ιιο) → ιιιιιιιιιο
Param 1668d.. : (ιιο) → ιιιιιιιιιο
Param b47d4.. : (ιιο) → ιιιιιιιιιο
Param dd43e.. : (ιιο) → ιιιιιιιιιο
Param a7e88.. : (ιιο) → ιιιιιιιιιο
Param 22bb5.. : (ιιο) → ιιιιιιιιιο
Param 53f52.. : (ιιο) → ιιιιιιιιιο
Param 6bc75.. : (ιιο) → ιιιιιιιιιο
Param 74a95.. : (ιιο) → ιιιιιιιιιο
Param 492fc.. : (ιιο) → ιιιιιιιιιο
Param 7f17b.. : (ιιο) → ιιιιιιιιιο
Param cc7e8.. : (ιιο) → ιιιιιιιιιο
Param 10d66.. : (ιιο) → ιιιιιιιιιο
Param ceccf.. : (ιιο) → ιιιιιιιιιο
Param cf078.. : (ιιο) → ιιιιιιιιιο
Param f4940.. : (ιιο) → ιιιιιιιιιο
Param 3a6bc.. : (ιιο) → ιιιιιιιιιο
Param 27706.. : (ιιο) → ιιιιιιιιιο
Param 0e6b2.. : (ιιο) → ιιιιιιιιιο
Param d5d69.. : (ιιο) → ιιιιιιιιιο
Param 255f4.. : (ιιο) → ιιιιιιιιιο
Param e2fd7.. : (ιιο) → ιιιιιιιιιο
Param 70755.. : (ιιο) → ιιιιιιιιιο
Param a0d70.. : (ιιο) → ιιιιιιιιιο
Param 2e1d5.. : (ιιο) → ιιιιιιιιιο
Param f9a67.. : (ιιο) → ιιιιιιιιιο
Param fef36.. : (ιιο) → ιιιιιιιιιο
Param b8d2a.. : (ιιο) → ιιιιιιιιιο
Param e5024.. : (ιιο) → ιιιιιιιιιο
Param a9907.. : (ιιο) → ιιιιιιιιιο
Param 8bd80.. : (ιιο) → ιιιιιιιιιο
Param 76a6c.. : (ιιο) → ιιιιιιιιιο
Param ee178.. : (ιιο) → ιιιιιιιιιο
Param 824ef.. : (ιιο) → ιιιιιιιιιο
Param 72d65.. : (ιιο) → ιιιιιιιιιο
Param 3d3e7.. : (ιιο) → ιιιιιιιιιο
Param 446f4.. : (ιιο) → ιιιιιιιιιο
Param 14be0.. : (ιιο) → ιιιιιιιιιο
Param f7902.. : (ιιο) → ιιιιιιιιιο
Param 076b3.. : (ιιο) → ιιιιιιιιιο
Param 654b9.. : (ιιο) → ιιιιιιιιιο
Param d92ce.. : (ιιο) → ιιιιιιιιιο
Param 72e0a.. : (ιιο) → ιιιιιιιιιο
Param 49901.. : (ιιο) → ιιιιιιιιιο
Param 6348c.. : (ιιο) → ιιιιιιιιιο
Param e5063.. : (ιιο) → ιιιιιιιιιο
Param 93f0f.. : (ιιο) → ιιιιιιιιιο
Param 2bb2a.. : (ιιο) → ιιιιιιιιιο
Param 78a44.. : (ιιο) → ιιιιιιιιιο
Param cdde4.. : (ιιο) → ιιιιιιιιιο
Param 8f55d.. : (ιιο) → ιιιιιιιιιο
Param 4818f.. : (ιιο) → ιιιιιιιιιο
Param 23b03.. : (ιιο) → ιιιιιιιιιο
Definition 0946c.. := λ x0 . λ x1 : ι → ι → ο . ∀ x2 : ο . (∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02dbe7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0150dd.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x03fca5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0093ad.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d0980.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0682ac.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x005a8c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0de95d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b1702.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f444d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04086f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x007fce.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x079ee1.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x07cafd.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x059632.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0de118.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a40ae.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0228c9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x03f98b.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b43ab.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0286f8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a2b8b.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x062ac7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x03c407.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0fa2d0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x076e3a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x079529.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ba960.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x01b69c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x086d28.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x06e81c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02bad0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d3446.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ee5b5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e9fc9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e8ba7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0c8a3f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x002471.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0811c0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x096c31.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x068de1.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x045286.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a2064.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ab042.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0723e0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x094ee4.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02ffc8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d0e1f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0dc830.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f96b5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04b18d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0356c7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d68bd.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x053286.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x034ae8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0df50d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x05d8ad.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0105be.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x095ba7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02c7a3.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x054c7d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f842a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x079af9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x074622.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b39ef.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x023b40.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ba015.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a6296.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04e4f8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0989b4.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04e91d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0263f9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x00db75.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0bce5f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ed1c7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08dd5c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0292f7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ad740.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x073f36.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0010eb.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b571f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0c480f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x00768d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x044fd1.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x030a11.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0fa0f3.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x030182.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0803e1.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02eb4b.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04d3d7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x01e661.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0df026.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x014fa0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ef237.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x062ca1.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a94a5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x038793.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x023926.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x071ae3.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0889b5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x086fe8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0fb47b.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08fbce.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02c550.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x005795.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0aa358.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f0823.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x057f60.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0c4d5c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0729bd.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e37fb.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x05f6ee.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f14aa.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x013ddc.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0af5b6.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f6312.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x007c0f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0fc090.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b7e1a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0adf05.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0c2e8a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0923e2.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0dbf71.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x047203.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08c9ed.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x013b7c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02122d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04e6fe.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04006a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x083aec.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0abda1.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x087273.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0130d9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x058208.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e1aab.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x00788d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0627df.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x065996.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0724e0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x024120.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x058722.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x090d0e.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0055d9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x06661c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x09069f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x006ba7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b0e38.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x061b2a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0093ca.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x092dea.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x096162.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x006d7e.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f3db6.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x01a9c5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x021189.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d2a2c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a13f2.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x05c8a3.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x002d0f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0241b0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x091113.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d3618.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f630d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0fb26f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0dcb32.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x089fec.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x055a3e.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x09a66e.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a3d60.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d0e7c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02dac5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0bacd8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0858d1.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0c7001.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a4abc.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f51b8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08be9f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0858ba.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x017819.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08c70b.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a1497.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d2e51.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x00076f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x059a16.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x094f0c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0fa661.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b9a4e.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0eb506.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x070a3c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x09aef0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x039c17.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a62c3.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x022587.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x09f93b.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x062e18.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x044916.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08acce.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f5da9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02bf4d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x01e021.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ef324.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x01ecf8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0aa64f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x091ca0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0c705c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0bc2c6.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x03c50c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a3794.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x07db3a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b0749.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b19dd.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0176ba.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x097793.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04b4dd.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08d9b1.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ee649.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x043a9d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x09eede.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b7a83.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0cec27.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x01a9fd.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x081d98.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x037e04.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x061fc8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0bfd4f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0496a0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0915dd.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e2ec9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x084d91.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x022b3a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a3e51.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ed012.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x07e5de.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x06e051.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b4c31.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e13e5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x01cf57.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a47b6.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x01668d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b47d4.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0dd43e.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a7e88.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x022bb5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x053f52.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x06bc75.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x074a95.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0492fc.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x07f17b.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0cc7e8.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x010d66.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ceccf.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0cf078.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f4940.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x03a6bc.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x027706.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x00e6b2.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d5d69.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0255f4.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e2fd7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x070755.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a0d70.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02e1d5.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f9a67.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0fef36.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0b8d2a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e5024.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0a9907.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08bd80.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x076a6c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0ee178.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0824ef.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x072d65.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x03d3e7.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0446f4.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x014be0.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0f7902.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0076b3.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0654b9.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0d92ce.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x072e0a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x049901.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x06348c.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0e5063.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x093f0f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x02bb2a.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x078a44.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0cdde4.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x08f55d.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x04818f.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)(∀ x3 . x3x0∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x023b03.. x1 x3 x4 x5 x6 x7 x8 x9 x10 x11x2)x2