[[Def_{{{1}}}|*]] {{:Def_{{{1}}}}} [[{{{1}}}]]
[[Com {{{1}}}|¢]] {{:Com_{{{1}}}}}
roots
{{{1}
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{|*]] {{:Def_{}} [[{]] [[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{{|*]] {{:Def_{{}} [[{{]]
[[Def_{{|*]] {{:Def_{{}} [[{{]] [[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{{|*]] {{:Def_{{}} [[{{]] [[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{{{|*]] {{:Def_{{{}} [[{{{]]
[[Com {{{|¢]] {{:Com_{{{}}
{-{-{
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Com {-{-{|¢]] {{:Com_{-{-{}}
|
{-{{
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{{|*]] {{:Def_{{}} [[{{]]
[[Com {-{{|¢]] {{:Com_{-{{}}
|
{{-{
[[Def_{{|*]] {{:Def_{{}} [[{{]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Com {{-{|¢]] {{:Com_{{-{}}
|
{({){
[[Def_{{|*]] {{:Def_{{}} [[{{]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Com {({){|¢]] {{:Com_{({){}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_{{|*]] {{:Def_{{}} [[{{]] * Def 1 1
[[Def_{1|*]] {{:Def_{1}} [[{1]] [[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{{1|*]] {{:Def_{{1}} [[{{1]]
[[Com {{1|¢]] {{:Com_{{1}}
{-{-1
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
[[Com {-{-1|¢]] {{:Com_{-{-1}}
|
{-{1
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Com {-{1|¢]] {{:Com_{-{1}}
|
{{-1
[[Def_{{|*]] {{:Def_{{}} [[{{]]
* Def 1 1
[[Com {{-1|¢]] {{:Com_{{-1}}
|
{({)1
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Com {({)1|¢]] {{:Com_{({)1}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1 [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_1}|*]] {{:Def_1}}} [[1}]]
[[Def_{1|*]] {{:Def_{1}} [[{1]] [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{}|*]] {{:Def_{}}} [[{}]] * Def 1 1
[[Def_{1}|*]] {{:Def_{1}}} [[{1}]]
[[Com {1}|¢]] {{:Com_{1}}}
{-1-}
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {-1-}|¢]] {{:Com_{-1-}}}
|
{-1}
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_1}|*]] {{:Def_1}}} [[1}]]
[[Com {-1}|¢]] {{:Com_{-1}}}
|
{1-}
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {1-}|¢]] {{:Com_{1-}}}
|
{(1)}
[[Def_{}|*]] {{:Def_{}}} [[{}]]
* Def 1 1
[[Com {(1)}|¢]] {{:Com_{(1)}}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_{{|*]] {{:Def_{{}} [[{{]] * Def 1 1
[[Def_{1|*]] {{:Def_{1}} [[{1]] [[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{{1|*]] {{:Def_{{1}} [[{{1]]
[[Com {{1|¢]] {{:Com_{{1}}
{-{-1
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
[[Com {-{-1|¢]] {{:Com_{-{-1}}
|
{-{1
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Com {-{1|¢]] {{:Com_{-{1}}
|
{{-1
[[Def_{{|*]] {{:Def_{{}} [[{{]]
* Def 1 1
[[Com {{-1|¢]] {{:Com_{{-1}}
|
{({)1
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Com {({)1|¢]] {{:Com_{({)1}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1 [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_1}|*]] {{:Def_1}}} [[1}]]
[[Def_{1|*]] {{:Def_{1}} [[{1]] [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{}|*]] {{:Def_{}}} [[{}]] * Def 1 1
[[Def_{1}|*]] {{:Def_{1}}} [[{1}]]
[[Com {1}|¢]] {{:Com_{1}}}
{-1-}
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {-1-}|¢]] {{:Com_{-1-}}}
|
{-1}
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_1}|*]] {{:Def_1}}} [[1}]]
[[Com {-1}|¢]] {{:Com_{-1}}}
|
{1-}
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {1-}|¢]] {{:Com_{1-}}}
|
{(1)}
[[Def_{}|*]] {{:Def_{}}} [[{}]]
* Def 1 1
[[Com {(1)}|¢]] {{:Com_{(1)}}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1 [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_1}|*]] {{:Def_1}}} [[1}]]
[[Def_{1|*]] {{:Def_{1}} [[{1]] [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{}|*]] {{:Def_{}}} [[{}]] * Def 1 1
[[Def_{1}|*]] {{:Def_{1}}} [[{1}]]
[[Com {1}|¢]] {{:Com_{1}}}
{-1-}
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {-1-}|¢]] {{:Com_{-1-}}}
|
{-1}
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_1}|*]] {{:Def_1}}} [[1}]]
[[Com {-1}|¢]] {{:Com_{-1}}}
|
{1-}
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {1-}|¢]] {{:Com_{1-}}}
|
{(1)}
[[Def_{}|*]] {{:Def_{}}} [[{}]]
* Def 1 1
[[Com {(1)}|¢]] {{:Com_{(1)}}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_{{|*]] {{:Def_{{}} [[{{]] * Def 1 1
[[Def_{1|*]] {{:Def_{1}} [[{1]] [[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{{1|*]] {{:Def_{{1}} [[{{1]]
[[Com {{1|¢]] {{:Com_{{1}}
{-{-1
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
[[Com {-{-1|¢]] {{:Com_{-{-1}}
|
{-{1
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Com {-{1|¢]] {{:Com_{-{1}}
|
{{-1
[[Def_{{|*]] {{:Def_{{}} [[{{]]
* Def 1 1
[[Com {{-1|¢]] {{:Com_{{-1}}
|
{({)1
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Com {({)1|¢]] {{:Com_{({)1}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{|*]] {{:Def_{}} [[{]] [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_{}|*]] {{:Def_{}}} [[{}]]
[[Def_{{|*]] {{:Def_{{}} [[{{]] [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{}|*]] {{:Def_{}}} [[{}]] [[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{{}|*]] {{:Def_{{}}} [[{{}]]
[[Com {{}|¢]] {{:Com_{{}}}
{-{-}
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {-{-}|¢]] {{:Com_{-{-}}}
|
{-{}
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_{}|*]] {{:Def_{}}} [[{}]]
[[Com {-{}|¢]] {{:Com_{-{}}}
|
{{-}
[[Def_{{|*]] {{:Def_{{}} [[{{]]
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {{-}|¢]] {{:Com_{{-}}}
|
{({)}
[[Def_{}|*]] {{:Def_{}}} [[{}]]
[[Def_{|*]] {{:Def_{}} [[{]]
[[Com {({)}|¢]] {{:Com_{({)}}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1 * Def [[]]
[[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1
[[Def_{1|*]] {{:Def_{1}} [[{1]] * Def [[]]
[[Def_{|*]] {{:Def_{}} [[{]] * Def 1 1
[[Def_{1|*]] {{:Def_{1}} [[{1]]
[[Com {1|¢]] {{:Com_{1}}
{-1-
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
* Def [[]]
[[Com {-1-|¢]] {{:Com_{-1-}}
|
{-1
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
[[Com {-1|¢]] {{:Com_{-1}}
|
{1-
[[Def_{1|*]] {{:Def_{1}} [[{1]]
* Def [[]]
[[Com {1-|¢]] {{:Com_{1-}}
|
{(1)
[[Def_{|*]] {{:Def_{}} [[{]]
* Def 1 1
[[Com {(1)|¢]] {{:Com_{(1)}}
|
|
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_}|*]] {{:Def_}}} [[}]] * Def [[]]
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{}|*]] {{:Def_{}}} [[{}]] * Def [[]]
[[Def_{|*]] {{:Def_{}} [[{]] [[Def_}|*]] {{:Def_}}} [[}]]
[[Def_{}|*]] {{:Def_{}}} [[{}]]
[[Com {}|¢]] {{:Com_{}}}
{-}-
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_}|*]] {{:Def_}}} [[}]]
* Def [[]]
[[Com {-}-|¢]] {{:Com_{-}-}}
|
{-}
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {-}|¢]] {{:Com_{-}}}
|
{}-
[[Def_{}|*]] {{:Def_{}}} [[{}]]
* Def [[]]
[[Com {}-|¢]] {{:Com_{}-}}
|
{(})
[[Def_{|*]] {{:Def_{}} [[{]]
[[Def_}|*]] {{:Def_}}} [[}]]
[[Com {(})|¢]] {{:Com_{(})}}
|
|
gates