[= [&& v0 [| v1 v3]] [!!!! [|| [<= [< [* v5 v7] [<< v9 v11]] [>> [<<< [+ v13 v15] v17] v19]] [^ v21 [& v23 [>= [// v25 v27] [- v29 v31]]]]] [> [!= [== [=== [% v33 v35] [/ [** [. v37 v39] v41] v43]] v45] v47] [>>> v49 [-> [=> [@ v51 v53] v55] v57]]]]]
[= [!!!! [=== v0 [- v1 v3]] [| [== [<= v5 v7] v9] [& [>= [< v11 v13] [** v15 v17]] [!= v19 v21]]]] [|| [// v23 v25] [&& [=> v27 v29] [^ [> [>> v31 [+ [% [* v33 [@ v35 v37]] v39] v41]] [>>> [<<< [<< v43 v45] [-> v47 v49]] [/ v51 v53]]] [. v55 v57]]]]]
[= [|| [- v0 v1] [| v3 v5]] [!!!! [<< [>>> [/ v7 v9] v11] v13] [&& [< [=== [>> v15 [-> v17 v19]] [@ v21 v23]] [+ v25 v27]] [^ [& [> v29 v31] [== [>= [!= [<= v33 [<<< [. [=> v35 v37] v39] [* [// v41 v43] v45]]] [** v47 v49]] [% v51 v53]] v55]] v57]]]]
[= [!!!! [|| [^ [& [< [** v0 v1] [<< v3 [% v5 v7]]] [<= [> [=== [+ v9 [-> v11 v13]] v15] v17] v19]] v21] [| [== [>= v23 v25] [/ v27 v29]] [!= v31 [>>> [// [=> v33 v35] [. v37 v39]] v41]]]] v43] [&& [>> [<<< [- v45 v47] [@ v49 v51]] [* v53 v55]] v57]]
[= [!!!! [>= [=== [< [!= [<= [== [** v0 v1] v3] v5] [% v7 v9]] v11] v13] [+ v15 v17]] [| [^ [>> [<< v19 v21] [@ v23 v25]] [& [=> v27 v29] [<<< v31 v33]]] [>>> [- v35 [/ v37 v39]] [. v41 v43]]]] [|| [&& [// v45 v47] v49] [> [* [-> v51 v53] v55] v57]]]
[= [< [>= [=== v0 v1] v3] [>> [* [/ v5 v7] v9] v11]] [!!!! [|| [-> v13 v15] [&& [>>> [@ v17 v19] v21] [+ v23 v25]]] [^ [| [% [. v27 v29] v31] [<< v33 v35]] [& [- v37 v39] [<= [> [!= [== [=> v41 v43] v45] [// v47 [** v49 v51]]] [<<< v53 v55]] v57]]]]]
[= [!!!! [^ [!= v0 [<< v1 v3]] [// v5 v7]] v9] [|| [>>> v11 v13] [&& [| [>= v15 [** v17 v19]] [& [== [<= v21 v23] v25] [/ [* v27 v29] v31]]] [< [=== [> [@ v33 v35] [<<< v37 [+ v39 [-> [=> v41 v43] v45]]]] [>> v47 [. v49 v51]]] [- [% v53 v55] v57]]]]]
[= [|| [& v0 [> v1 [<< v3 v5]]] v7] [!!!! [== [-> [@ v9 v11] v13] [>> [* [. v15 v17] v19] v21]] [&& [| [^ [>= v23 v25] v27] [<<< [- v29 v31] [% [/ v33 v35] v37]]] [< [=== [<= [!= [// v39 [=> v41 v43]] [** v45 v47]] v49] [+ v51 v53]] [>>> v55 v57]]]]]
[= [^ [<= [> [== [!= v0 v1] v3] v5] [>> [<<< [// v7 v9] [- [+ v11 v13] v15]] v17]] [=== v19 [>>> v21 [/ [-> v23 [. v25 v27]] [=> v29 v31]]]]] [!!!! [** v33 v35] [|| [&& [& v37 [>= v39 v41]] v43] [| [< [* v45 v47] [<< v49 [% v51 [@ v53 v55]]]] v57]]]]
[= [&& [^ [+ v0 [/ [=> v1 v3] v5]] v7] [| [& [< [=== [>= [<= v9 v11] [>>> [>> v13 v15] [// v17 [. v19 v21]]]] v23] v25] [> [<< v27 v29] v31]] [* v33 v35]]] [!!!! v37 [|| [- v39 [-> v41 v43]] [!= [== [<<< [% [@ v45 v47] v49] v51] v53] [** v55 v57]]]]]
[= [!!!! [|| [== [< [>= [+ v0 [=> v1 v3]] [** v5 v7]] v9] v11] [&& [| v13 [& [=== v15 [<< v17 v19]] [!= [> [>>> v21 v23] v25] [- [* v27 [-> v29 v31]] [/ v33 v35]]]]] [@ v37 v39]]] [^ [<= [// v41 v43] [>> [<<< v45 v47] [% v49 v51]]] v53]] [. v55 v57]]
[= [!!!! [|| [&& [^ [>= [<< [-> v0 v1] [+ [* v3 v5] v7]] [>> v9 [// v11 [** v13 v15]]]] [< [=== [> [@ v17 v19] v21] v23] [% [. v25 v27] v29]]] [| [!= v31 [<<< [/ v33 v35] [=> v37 v39]]] v41]] v43] [& [>>> v45 v47] [== [- v49 v51] v53]]] [<= v55 v57]]
[= [!!!! [+ v0 [=> v1 v3]] [<= [<<< [% v5 v7] v9] [// v11 v13]]] [|| [>> v15 [* v17 [** v19 v21]]] [&& [^ [> [< [- v23 v25] v27] [@ v29 v31]] [& v33 [== [<< v35 v37] v39]]] [| [!= [>>> v41 [-> [. v43 v45] v47]] [/ v49 v51]] [>= [=== v53 v55] v57]]]]]
[= [^ [< [>= [/ v0 v1] v3] [% v5 v7]] [& [> v9 [@ v11 v13]] [=== [>>> [** v15 [-> v17 v19]] v21] [+ v23 [. v25 v27]]]]] [!!!! [|| [<< v29 v31] [// v33 v35]] [&& [| [<= [!= [== [<<< v37 [- v39 [=> v41 v43]]] [* v45 v47]] v49] v51] [>> v53 v55]] v57]]]
[= [&& v0 [<< v1 v3]] [!!!! [< v5 v7] [|| [<=> v9 v11] [| [<= [== [+ v13 [@ v15 v17]] v19] [>> v21 [/ [% [// [* v23 v25] v27] [** v29 v31]] v33]]] [& [!= [> [=== [>= [- v35 v37] v39] [>>> [<<< v41 [-> v43 v45]] [=> v47 v49]]] v51] [. v53 v55]] v57]]]]]
[= [^ [& [== v0 [>> v1 v3]] [<= [>>> [<< [* [. v5 v7] v9] v11] v13] [** v15 v17]]] [< [!= [>= [- [/ [// v19 v21] v23] [=> v25 v27]] v29] v31] [+ v33 v35]]] [!!!! v37 [|| [&& [| v39 v41] [> [=== [% [-> v43 v45] v47] [@ v49 v51]] [<<< v53 v55]]] v57]]]
[= [!!!! [| [& [<<< v0 v1] [> [>> [-> v3 v5] v7] [% [. v9 v11] v13]]] [<= v15 v17]] [|| [&& [=== v19 v21] [>>> v23 v25]] [^ [// v27 [** [@ v29 v31] v33]] [< [<< [- v35 [/ v37 v39]] [* v41 v43]] [+ v45 v47]]]]] [>= [== [!= [=> v49 v51] v53] v55] v57]]
[= [!!!! [| [% v0 v1] [<= v3 [>> v5 v7]]] [^ [< [>= [> v9 v11] v13] [-> v15 v17]] [=> v19 v21]]] [|| [&& [=== [== [!= v23 v25] v27] [<<< [<< v29 [// v31 v33]] v35]] [>>> [+ [- [/ v37 [. v39 v41]] v43] [* v45 v47]] v49]] [& [** v51 v53] [@ v55 v57]]]]
[= [<< [>>> v0 v1] v3] [!!!! [|| [// v5 v7] [&& [& v9 [. v11 v13]] [| [^ [< [<= [=== [>= [== [> v15 v17] v19] v21] v23] [-> v25 v27]] v29] [>> [% v31 v33] v35]] [<<< [- v37 [* [@ v39 v41] v43]] [=> v45 v47]]]]] [!= [+ [** v49 v51] v53] [/ v55 v57]]]]
[= [!!!! [| [^ [>= [> [<<< v0 [- [/ v1 v3] [. v5 v7]]] v9] v11] v13] [<= v15 v17]] [% v19 [-> v21 v23]]] [|| [& [<=> [!= v25 [* v27 [** v29 v31]]] [>>> [@ v33 v35] v37]] v39] [&& [== [< [=== v41 [=> v43 v45]] [>> v47 v49]] [<< v51 [// v53 v55]]] v57]]]
[= [!!!! [<= [>= [=== [/ v0 v1] [- [+ v3 v5] v7]] v9] [// v11 v13]] [== [> [!= v15 [<< v17 [% v19 v21]]] v23] [@ v25 v27]]] [|| [&& [^ [=> v29 v31] [< v33 [>>> [>> [** v35 [. v37 v39]] v41] [-> v43 v45]]]] v47] [| [& [<<< [* v49 v51] v53] v55] v57]]]
[= [!!!! v0 [|| [| [^ [** v1 v3] [=== [> [!= [== [<= [< v5 [>> [- [=> v7 v9] v11] v13]] [<< [* v15 v17] v19]] v21] v23] v25] [+ v27 v29]]] [>>> [<<< v31 [/ [// v33 v35] v37]] v39]] [-> v41 [@ v43 v45]]]] [&& v47 [& [% v49 v51] [>= v53 [. v55 v57]]]]]
[= v0 [!!!! [|| [^ [- v1 v3] [% [* v5 v7] v9]] [| [<= v11 [** v13 v15]] [>= [== [// [=> [. v17 v19] v21] v23] [<< [<<< v25 [+ [/ [-> v27 v29] v31] v33]] v35]] v37]]] [&& [< v39 [>> [>>> v41 v43] v45]] [& [!= [=== [> v47 v49] [@ v51 v53]] v55] v57]]]]
[= [!!!! [&& [| [!= v0 v1] [+ [- v3 v5] v7]] [% v9 v11]] [|| [=== [* v13 v15] [>> v17 v19]] [^ [>= [** v21 v23] v25] [<= v27 [>>> [<< v29 v31] [/ v33 v35]]]]]] [& v37 [== [> [< v39 [// [-> [. v41 v43] v45] [@ [=> v47 v49] v51]]] [<<< v53 v55]] v57]]]
[= [== v0 v1] [!!!! [&& [| [> v3 v5] [!= [- v7 v9] [// v11 v13]]] [^ [=== [>> v15 v17] [* v19 v21]] [< v23 [@ v25 v27]]]] [|| [>= v29 v31] [& [<<< [/ v33 v35] v37] [<= [<< v39 [+ v41 [** [-> v43 v45] [. v47 v49]]]] [>>> v51 [% [=> v53 v55] v57]]]]]]]
[= [^ [=== [>> v0 [+ v1 [// v3 v5]]] [>>> [- v7 v9] v11]] [<= [== [< [>= [* v13 v15] v17] v19] [** v21 v23]] v25]] [!!!! [|| v27 [&& [@ v29 v31] [/ v33 [. [=> v35 v37] v39]]]] [| [!= [<< v41 v43] [<<< v45 [-> v47 v49]]] [& [> v51 [% v53 v55]] v57]]]]
[= [|| [| [& v0 v1] [> [!= [>= [>> v3 v5] v7] [@ [=> v9 v11] v13]] [+ v15 v17]]] [== [<= [// v19 v21] v23] [-> v25 v27]]] [!!!! v29 [&& [^ [- [. v31 v33] [% v35 v37]] [<<< [/ [* v39 v41] v43] v45]] [< [=== v47 [>>> [<< v49 v51] [** v53 v55]]] v57]]]]
[= [|| [^ [< [- v0 v1] [>>> [<< v3 v5] v7]] v9] [&& [| [** v11 [. v13 v15]] v17] [& [-> v19 v21] [>= [<<< [* v23 v25] [@ v27 v29]] [>> [// v31 v33] v35]]]]] [!!!! [=== v37 v39] [> [<= [== [!= v41 [% v43 v45]] [+ v47 v49]] v51] [/ [=> v53 v55] v57]]]]
[= [!!!! [^ v0 [== v1 [* v3 v5]]] [& [+ [% [@ v7 v9] v11] [. v13 v15]] [=== [<< v17 v19] [=> v21 v23]]]] [|| [&& [!= [<= [- v25 v27] v29] [/ v31 v33]] [>= [<<< v35 v37] v39]] [| [** v41 v43] [< [> [-> v45 v47] [>> [>>> v49 [// v51 v53]] v55]] v57]]]]
[= [!!!! v0 [|| [+ v1 v3] [&& [!= [> [=== [== [>= v5 v7] [- v9 v11]] v13] [<<< [=> [@ v15 v17] v19] v21]] [/ v23 v25]] [| [^ [& [% [. v27 v29] v31] [>> [// v33 v35] v37]] [** v39 v41]] [>>> v43 [* v45 [-> v47 v49]]]]]]] [<= [< [<< v51 v53] v55] v57]]
