vout |
---|
PrCit../17445.. 2.65 barsTMR65../2cf22.. ownership of c978c.. as prop with payaddr Pr4zB.. rights free controlledby Pr4zB.. upto 0TMLp5../55262.. ownership of 59db2.. as prop with payaddr Pr4zB.. rights free controlledby Pr4zB.. upto 0PUZCC../4eccb.. doc published by Pr4zB..Param 4402e.. : ι → (ι → ι → ο) → οParam cf2df.. : ι → (ι → ι → ο) → οParam SubqSubq : ι → ι → οParam setminussetminus : ι → ι → ιParam SingSing : ι → ιParam atleastpatleastp : ι → ι → οParam u10 : ιParam a0244.. : ι → (ι → ι → ο) → οParam 62379.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 2e38c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0897f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 306f8.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 9ed6a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam fee51.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam bae07.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam cd4ee.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 22563.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam bdc7f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam dfb78.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f8ada.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d3342.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0f762.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 55451.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f380c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 42e23.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 8bcec.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 1c6c9.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 754da.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam a4ce7.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 60a51.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ea33e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 9fce6.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0aaf4.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ce3b4.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 27e6e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam a89de.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f5fe1.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam fd185.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam b7bfe.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 86078.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d29be.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 5cc7a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 49015.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 9dea4.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f0075.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0a362.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6b1e6.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam e9c43.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam a3d78.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 11982.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam fe4dd.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam b5215.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f982a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f1135.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 5c669.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 8faa8.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 458ae.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 22989.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 83885.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam b7bbc.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 9f4c9.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam be274.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 14707.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 4f588.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 218e4.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0e6a7.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0809e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6f746.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6e201.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 311f0.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f9cba.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3cb02.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6d791.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam fa7d9.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam fc088.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam e974a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 33f3e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 87bb9.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d0a24.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3ad6c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 77953.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam fcbed.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ff800.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f98b7.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6f07c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 60dbb.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f1c88.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 97406.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0d539.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 4b1cb.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 72942.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 47362.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d8b5d.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 55171.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 1465e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ce338.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6dee7.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ea964.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d1a27.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 60a50.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c059e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam e9db0.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 77203.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 133c1.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam bc7ef.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 9e253.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 68ab4.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 81575.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 86385.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 7c588.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam b019a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3d346.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 69895.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 1a764.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 51ac7.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f78c3.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 39cca.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 34ea6.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6caea.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam e5411.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 948b4.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 58295.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 4a04b.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 68a6f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 5d868.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 8629d.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ea11f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 2005f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam de50b.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3369f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f9d60.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ff926.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 71397.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 2560b.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 48a66.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 289d9.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 37c80.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 5a5ea.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam dd8d8.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c6a41.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c2a1e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 15aa1.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ccc6b.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0446d.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 7683c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 96c77.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 07f55.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 93e63.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c222a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c61bd.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 02f40.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam b1def.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam e68b8.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 5bc1a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 8befb.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 8fb7c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 9bc89.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3d118.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 33b5a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam a2f4a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 79b37.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d833d.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 23d0b.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c1005.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 61f8f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ab383.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 856bc.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 788a1.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3906f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c9658.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam b72b8.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam cf898.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f5373.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 48106.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d4ea7.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c1146.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ca8ce.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3f609.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3656c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 9eb9c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 33102.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 48a69.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d9cea.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam a56d9.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 5f015.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 903bc.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 4a22a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 74e48.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 20d20.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 43c4e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f8fdb.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 66dda.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3429e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 28e6a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d9823.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 1b9db.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam b6bd6.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 26830.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 03c1b.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 0d1ce.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 11d3d.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 53762.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 1ccbe.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 73f56.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam e5a83.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 7861e.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 94275.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 2ad4c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam e5b49.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6b6c2.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam a0b66.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 6d19b.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 08d9f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 99903.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 8a782.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 47dfa.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 22755.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3f29d.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 518d7.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 99ac9.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 99fe6.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 2427f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam d09b6.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 2997a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 5904d.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 3c675.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 79a0f.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam a79f5.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam c3712.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam f0b8a.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ff600.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 87daf.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam b4530.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 66bd0.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 558af.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 52ac0.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 4c6fc.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 4a27c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam bde2c.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 89b0b.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam cc2aa.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam 34b68.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οParam ed7e5.. : (ι → ι → ο) → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → οKnown 87262.. : ∀ x0 . ∀ x1 : ι → ι → ο . (∀ x2 . x2 ∈ x0 ⟶ ∀ x3 . x3 ∈ x0 ⟶ x1 x2 x3 ⟶ x1 x3 x2) ⟶ 4402e.. x0 x1 ⟶ cf2df.. x0 x1 ⟶ ∀ x2 . x2 ∈ x0 ⟶ ∀ x3 . x3 ⊆ setminus x0 (Sing x2) ⟶ (∀ x4 . x4 ∈ x3 ⟶ ∀ x5 . x5 ∈ x3 ⟶ x1 x4 x5 ⟶ x1 x5 x4) ⟶ atleastp u10 x3 ⟶ 4402e.. x3 x1 ⟶ cf2df.. x3 x1 ⟶ ∀ x4 : ο . (a0244.. x0 x1 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 62379.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 2e38c.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0897f.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 306f8.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 9ed6a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ fee51.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ bae07.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ cd4ee.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 22563.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ bdc7f.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ dfb78.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f8ada.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d3342.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0f762.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 55451.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f380c.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 42e23.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 8bcec.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 1c6c9.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 754da.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ a4ce7.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 60a51.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ea33e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 9fce6.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0aaf4.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ce3b4.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 27e6e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ a89de.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f5fe1.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ fd185.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ b7bfe.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 86078.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d29be.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 5cc7a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 49015.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 9dea4.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f0075.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0a362.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 6b1e6.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ e9c43.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ a3d78.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 11982.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ fe4dd.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ b5215.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f982a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f1135.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 5c669.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 8faa8.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 458ae.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 22989.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 83885.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ b7bbc.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 9f4c9.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ be274.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 14707.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 4f588.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 218e4.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0e6a7.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0809e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 6f746.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 6e201.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 311f0.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f9cba.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3cb02.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 6d791.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ fa7d9.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ fc088.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ e974a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 33f3e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 87bb9.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d0a24.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3ad6c.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 77953.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ fcbed.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ff800.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f98b7.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 6f07c.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 60dbb.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f1c88.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 97406.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0d539.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 4b1cb.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 72942.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 47362.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d8b5d.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 55171.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 1465e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ce338.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 6dee7.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ea964.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d1a27.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 60a50.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ c059e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ e9db0.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 77203.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 133c1.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ bc7ef.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 9e253.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 68ab4.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 81575.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 86385.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 7c588.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ b019a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3d346.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 69895.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 1a764.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 51ac7.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f78c3.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 39cca.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 34ea6.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 6caea.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ e5411.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 948b4.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 58295.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 4a04b.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 68a6f.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 5d868.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 8629d.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ea11f.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 2005f.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ de50b.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3369f.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f9d60.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ff926.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 71397.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 2560b.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 48a66.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 289d9.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 37c80.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 5a5ea.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ dd8d8.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ c6a41.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ c2a1e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 15aa1.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ccc6b.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0446d.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 7683c.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 96c77.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 07f55.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 93e63.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ c222a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ c61bd.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 02f40.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ b1def.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ e68b8.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 5bc1a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 8befb.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 8fb7c.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 9bc89.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3d118.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 33b5a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ a2f4a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 79b37.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d833d.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 23d0b.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ c1005.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 61f8f.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ab383.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 856bc.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 788a1.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3906f.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ c9658.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ b72b8.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ cf898.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f5373.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 48106.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d4ea7.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ c1146.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ ca8ce.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3f609.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3656c.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 9eb9c.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 33102.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 48a69.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d9cea.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ a56d9.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 5f015.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 903bc.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 4a22a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 74e48.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 20d20.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 43c4e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ f8fdb.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 66dda.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 3429e.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 28e6a.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ d9823.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 1b9db.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ b6bd6.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 26830.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 03c1b.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 0d1ce.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 11d3d.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 53762.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 1ccbe.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ 73f56.. x1 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 ⟶ x4) ⟶ (∀ x5 . x5 ∈ x3 ⟶ ∀ x6 . x6 ∈ x3 ⟶ ∀ x7 . x7 ∈ x3 ⟶ ∀ x8 . x8 ∈ x3 ⟶ ∀ x9 . x9 ∈ x3 ⟶ ∀ x10 . x10 ∈ x3 ⟶ ∀ x11 . x11 ∈ x3 ⟶ ∀ x12 . x12 ∈ x3 ⟶ ∀ x13 . x13 ∈ x3 ⟶ ∀ x14 . x14 ∈ x3 ⟶ |
|