files / problems / hilbert16-degree-8 / compute / census_schemes.txt

39 KB · on GitHub

<1 u 1<1 u 1<10>>>
<1 u 1<1 u 1<11>>>
<1 u 1<1 u 1<12>>>
<1 u 1<1 u 1<13>>>
<1 u 1<1 u 1<14>>>
<1 u 1<1 u 1<15>>>
<1 u 1<1 u 1<1>>>
<1 u 1<1 u 1<2>>>
<1 u 1<1 u 1<3>>>
<1 u 1<1 u 1<4>>>
<1 u 1<1 u 1<5>>>
<1 u 1<1 u 1<6>>>
<1 u 1<1 u 1<7>>>
<1 u 1<1 u 1<8>>>
<1 u 1<1 u 1<9>>>
<1 u 1<10 u 1<1>>>
<1 u 1<10 u 1<2>>>
<1 u 1<10 u 1<3>>>
<1 u 1<10 u 1<4>>>
<1 u 1<10 u 1<5>>>
<1 u 1<10 u 1<6>>>
<1 u 1<10 u 1<7>>>
<1 u 1<10>>
<1 u 1<11 u 1<1>>>
<1 u 1<11 u 1<2>>>
<1 u 1<11 u 1<3>>>
<1 u 1<11 u 1<4>>>
<1 u 1<11 u 1<5>>>
<1 u 1<11 u 1<6>>>
<1 u 1<11>>
<1 u 1<12 u 1<1>>>
<1 u 1<12 u 1<2>>>
<1 u 1<12 u 1<3>>>
<1 u 1<12 u 1<4>>>
<1 u 1<12 u 1<5>>>
<1 u 1<12>>
<1 u 1<13 u 1<1>>>
<1 u 1<13 u 1<2>>>
<1 u 1<13 u 1<3>>>
<1 u 1<13 u 1<4>>>
<1 u 1<13>>
<1 u 1<14 u 1<1>>>
<1 u 1<14 u 1<2>>>
<1 u 1<14>>
<1 u 1<15 u 1<1>>>
<1 u 1<15 u 1<2>>>
<1 u 1<15>>
<1 u 1<16 u 1<1>>>
<1 u 1<16>>
<1 u 1<17>>
<1 u 1<18>>
<1 u 1<1<10>>>
<1 u 1<1<11>>>
<1 u 1<1<12>>>
<1 u 1<1<13>>>
<1 u 1<1<14>>>
<1 u 1<1<15>>>
<1 u 1<1<1>>>
<1 u 1<1<2>>>
<1 u 1<1<3>>>
<1 u 1<1<4>>>
<1 u 1<1<5>>>
<1 u 1<1<6>>>
<1 u 1<1<7>>>
<1 u 1<1<8>>>
<1 u 1<1<9>>>
<1 u 1<1> u 1<10>>
<1 u 1<1> u 1<11>>
<1 u 1<1> u 1<12>>
<1 u 1<1> u 1<13>>
<1 u 1<1> u 1<14>>
<1 u 1<1> u 1<15>>
<1 u 1<1> u 1<16>>
<1 u 1<1> u 1<2> u 1<3>>
<1 u 1<1> u 1<2> u 1<4>>
<1 u 1<1> u 1<2> u 1<5>>
<1 u 1<1> u 1<2> u 1<6>>
<1 u 1<1> u 1<2> u 1<7>>
<1 u 1<1> u 1<2> u 1<8>>
<1 u 1<1> u 1<2> u 1<9>>
<1 u 1<1> u 1<2>>
<1 u 1<1> u 1<3> u 1<4>>
<1 u 1<1> u 1<3> u 1<5>>
<1 u 1<1> u 1<3> u 1<6>>
<1 u 1<1> u 1<3> u 1<7>>
<1 u 1<1> u 1<3> u 1<8>>
<1 u 1<1> u 1<3>>
<1 u 1<1> u 1<4> u 1<5>>
<1 u 1<1> u 1<4> u 1<6>>
<1 u 1<1> u 1<4> u 1<7>>
<1 u 1<1> u 1<4> u 1<8>>
<1 u 1<1> u 1<4>>
<1 u 1<1> u 1<5> u 1<6>>
<1 u 1<1> u 1<5> u 1<7>>
<1 u 1<1> u 1<5> u 1<8>>
<1 u 1<1> u 1<5>>
<1 u 1<1> u 1<6> u 1<7>>
<1 u 1<1> u 1<6> u 1<8>>
<1 u 1<1> u 1<6>>
<1 u 1<1> u 1<7>>
<1 u 1<1> u 1<8>>
<1 u 1<1> u 1<9>>
<1 u 1<1> u 2<2>>
<1 u 1<1> u 2<3>>
<1 u 1<1> u 2<4>>
<1 u 1<1> u 2<5>>
<1 u 1<1> u 2<6>>
<1 u 1<1>>
<1 u 1<2 u 1<10>>>
<1 u 1<2 u 1<11>>>
<1 u 1<2 u 1<12>>>
<1 u 1<2 u 1<13>>>
<1 u 1<2 u 1<14>>>
<1 u 1<2 u 1<15>>>
<1 u 1<2 u 1<1>>>
<1 u 1<2 u 1<2>>>
<1 u 1<2 u 1<3>>>
<1 u 1<2 u 1<4>>>
<1 u 1<2 u 1<5>>>
<1 u 1<2 u 1<6>>>
<1 u 1<2 u 1<7>>>
<1 u 1<2 u 1<8>>>
<1 u 1<2 u 1<9>>>
<1 u 1<2> u 1<10>>
<1 u 1<2> u 1<11>>
<1 u 1<2> u 1<12>>
<1 u 1<2> u 1<13>>
<1 u 1<2> u 1<14>>
<1 u 1<2> u 1<15>>
<1 u 1<2> u 1<3> u 1<4>>
<1 u 1<2> u 1<3> u 1<5>>
<1 u 1<2> u 1<3> u 1<6>>
<1 u 1<2> u 1<3> u 1<7>>
<1 u 1<2> u 1<3>>
<1 u 1<2> u 1<4> u 1<5>>
<1 u 1<2> u 1<4> u 1<6>>
<1 u 1<2> u 1<4> u 1<7>>
<1 u 1<2> u 1<4>>
<1 u 1<2> u 1<5> u 1<6>>
<1 u 1<2> u 1<5> u 1<7>>
<1 u 1<2> u 1<5>>
<1 u 1<2> u 1<6> u 1<7>>
<1 u 1<2> u 1<6>>
<1 u 1<2> u 1<7>>
<1 u 1<2> u 1<8>>
<1 u 1<2> u 1<9>>
<1 u 1<2> u 2<3>>
<1 u 1<2> u 2<4>>
<1 u 1<2> u 2<5>>
<1 u 1<2> u 2<6>>
<1 u 1<2>>
<1 u 1<3 u 1<10>>>
<1 u 1<3 u 1<11>>>
<1 u 1<3 u 1<12>>>
<1 u 1<3 u 1<13>>>
<1 u 1<3 u 1<14>>>
<1 u 1<3 u 1<1>>>
<1 u 1<3 u 1<2>>>
<1 u 1<3 u 1<3>>>
<1 u 1<3 u 1<4>>>
<1 u 1<3 u 1<5>>>
<1 u 1<3 u 1<6>>>
<1 u 1<3 u 1<7>>>
<1 u 1<3 u 1<8>>>
<1 u 1<3 u 1<9>>>
<1 u 1<3> u 1<10>>
<1 u 1<3> u 1<11>>
<1 u 1<3> u 1<12>>
<1 u 1<3> u 1<13>>
<1 u 1<3> u 1<14>>
<1 u 1<3> u 1<4> u 1<5>>
<1 u 1<3> u 1<4> u 1<6>>
<1 u 1<3> u 1<4>>
<1 u 1<3> u 1<5> u 1<6>>
<1 u 1<3> u 1<5>>
<1 u 1<3> u 1<6>>
<1 u 1<3> u 1<7>>
<1 u 1<3> u 1<8>>
<1 u 1<3> u 1<9>>
<1 u 1<3> u 2<4>>
<1 u 1<3> u 2<5>>
<1 u 1<3>>
<1 u 1<4 u 1<10>>>
<1 u 1<4 u 1<11>>>
<1 u 1<4 u 1<12>>>
<1 u 1<4 u 1<1>>>
<1 u 1<4 u 1<2>>>
<1 u 1<4 u 1<3>>>
<1 u 1<4 u 1<4>>>
<1 u 1<4 u 1<5>>>
<1 u 1<4 u 1<6>>>
<1 u 1<4 u 1<7>>>
<1 u 1<4 u 1<8>>>
<1 u 1<4 u 1<9>>>
<1 u 1<4> u 1<10>>
<1 u 1<4> u 1<11>>
<1 u 1<4> u 1<12>>
<1 u 1<4> u 1<13>>
<1 u 1<4> u 1<5>>
<1 u 1<4> u 1<6>>
<1 u 1<4> u 1<7>>
<1 u 1<4> u 1<8>>
<1 u 1<4> u 1<9>>
<1 u 1<4>>
<1 u 1<5 u 1<10>>>
<1 u 1<5 u 1<11>>>
<1 u 1<5 u 1<12>>>
<1 u 1<5 u 1<1>>>
<1 u 1<5 u 1<2>>>
<1 u 1<5 u 1<3>>>
<1 u 1<5 u 1<4>>>
<1 u 1<5 u 1<5>>>
<1 u 1<5 u 1<6>>>
<1 u 1<5 u 1<7>>>
<1 u 1<5 u 1<8>>>
<1 u 1<5 u 1<9>>>
<1 u 1<5> u 1<10>>
<1 u 1<5> u 1<11>>
<1 u 1<5> u 1<12>>
<1 u 1<5> u 1<6>>
<1 u 1<5> u 1<7>>
<1 u 1<5> u 1<8>>
<1 u 1<5> u 1<9>>
<1 u 1<5>>
<1 u 1<6 u 1<10>>>
<1 u 1<6 u 1<11>>>
<1 u 1<6 u 1<1>>>
<1 u 1<6 u 1<2>>>
<1 u 1<6 u 1<3>>>
<1 u 1<6 u 1<4>>>
<1 u 1<6 u 1<5>>>
<1 u 1<6 u 1<6>>>
<1 u 1<6 u 1<7>>>
<1 u 1<6 u 1<8>>>
<1 u 1<6 u 1<9>>>
<1 u 1<6> u 1<10>>
<1 u 1<6> u 1<11>>
<1 u 1<6> u 1<7>>
<1 u 1<6> u 1<8>>
<1 u 1<6> u 1<9>>
<1 u 1<6>>
<1 u 1<7 u 1<10>>>
<1 u 1<7 u 1<1>>>
<1 u 1<7 u 1<2>>>
<1 u 1<7 u 1<3>>>
<1 u 1<7 u 1<4>>>
<1 u 1<7 u 1<5>>>
<1 u 1<7 u 1<6>>>
<1 u 1<7 u 1<7>>>
<1 u 1<7 u 1<8>>>
<1 u 1<7 u 1<9>>>
<1 u 1<7> u 1<10>>
<1 u 1<7> u 1<8>>
<1 u 1<7> u 1<9>>
<1 u 1<7>>
<1 u 1<8 u 1<1>>>
<1 u 1<8 u 1<2>>>
<1 u 1<8 u 1<3>>>
<1 u 1<8 u 1<4>>>
<1 u 1<8 u 1<5>>>
<1 u 1<8 u 1<6>>>
<1 u 1<8 u 1<7>>>
<1 u 1<8 u 1<8>>>
<1 u 1<8> u 1<9>>
<1 u 1<8>>
<1 u 1<9 u 1<1>>>
<1 u 1<9 u 1<2>>>
<1 u 1<9 u 1<3>>>
<1 u 1<9 u 1<4>>>
<1 u 1<9 u 1<5>>>
<1 u 1<9 u 1<6>>>
<1 u 1<9 u 1<7>>>
<1 u 1<9 u 1<8>>>
<1 u 1<9>>
<1 u 2<1> u 1<2>>
<1 u 2<1> u 1<3>>
<1 u 2<1> u 1<4>>
<1 u 2<1> u 1<5>>
<1 u 2<1> u 1<6>>
<1 u 2<1> u 1<7>>
<1 u 2<1> u 1<8>>
<1 u 2<1> u 1<9>>
<1 u 2<1>>
<1 u 2<2> u 1<3>>
<1 u 2<2> u 1<4>>
<1 u 2<2> u 1<5>>
<1 u 2<2> u 1<6>>
<1 u 2<2> u 1<7>>
<1 u 2<2>>
<1 u 2<3> u 1<4>>
<1 u 2<3> u 1<5>>
<1 u 2<3> u 1<6>>
<1 u 2<3>>
<1 u 2<4>>
<1 u 2<5>>
<1 u 2<6>>
<1 u 2<7>>
<1 u 2<8>>
<1 u 3<1>>
<1 u 3<2>>
<1 u 3<3>>
<10 u 1<1 u 1<1>>>
<10 u 1<1 u 1<2>>>
<10 u 1<1 u 1<3>>>
<10 u 1<1 u 1<4>>>
<10 u 1<1 u 1<5>>>
<10 u 1<1 u 1<6>>>
<10 u 1<1 u 1<7>>>
<10 u 1<1 u 1<8>>>
<10 u 1<10>>
<10 u 1<11>>
<10 u 1<1<1>>>
<10 u 1<1<2>>>
<10 u 1<1<3>>>
<10 u 1<1<4>>>
<10 u 1<1<5>>>
<10 u 1<1<6>>>
<10 u 1<1<7>>>
<10 u 1<1> u 1<2> u 1<3>>
<10 u 1<1> u 1<2> u 1<4>>
<10 u 1<1> u 1<2>>
<10 u 1<1> u 1<3>>
<10 u 1<1> u 1<4>>
<10 u 1<1> u 1<5>>
<10 u 1<1> u 1<6>>
<10 u 1<1> u 1<7>>
<10 u 1<1> u 2<2>>
<10 u 1<1> u 2<3>>
<10 u 1<1>>
<10 u 1<2 u 1<1>>>
<10 u 1<2 u 1<2>>>
<10 u 1<2 u 1<3>>>
<10 u 1<2 u 1<4>>>
<10 u 1<2 u 1<5>>>
<10 u 1<2 u 1<6>>>
<10 u 1<2 u 1<7>>>
<10 u 1<2 u 1<8>>>
<10 u 1<2> u 1<3>>
<10 u 1<2> u 1<4>>
<10 u 1<2> u 1<5>>
<10 u 1<2> u 1<6>>
<10 u 1<2>>
<10 u 1<3 u 1<1>>>
<10 u 1<3 u 1<2>>>
<10 u 1<3 u 1<3>>>
<10 u 1<3 u 1<4>>>
<10 u 1<3 u 1<5>>>
<10 u 1<3> u 1<4>>
<10 u 1<3> u 1<5>>
<10 u 1<3>>
<10 u 1<4 u 1<1>>>
<10 u 1<4 u 1<2>>>
<10 u 1<4 u 1<3>>>
<10 u 1<4 u 1<4>>>
<10 u 1<4>>
<10 u 1<5 u 1<1>>>
<10 u 1<5 u 1<2>>>
<10 u 1<5 u 1<3>>>
<10 u 1<5 u 1<4>>>
<10 u 1<5>>
<10 u 1<6 u 1<1>>>
<10 u 1<6 u 1<2>>>
<10 u 1<6 u 1<3>>>
<10 u 1<6 u 1<4>>>
<10 u 1<6>>
<10 u 1<7 u 1<1>>>
<10 u 1<7>>
<10 u 1<8>>
<10 u 1<9>>
<10 u 2<1> u 1<2>>
<10 u 2<1> u 1<3>>
<10 u 2<1> u 1<4>>
<10 u 2<1> u 1<5>>
<10 u 2<1>>
<10 u 2<2>>
<10 u 2<3>>
<10 u 2<4>>
<10 u 3<1>>
<10>
<11 u 1<1 u 1<1>>>
<11 u 1<1 u 1<2>>>
<11 u 1<1 u 1<3>>>
<11 u 1<1 u 1<4>>>
<11 u 1<1 u 1<5>>>
<11 u 1<1<1>>>
<11 u 1<1<2>>>
<11 u 1<1<3>>>
<11 u 1<1<4>>>
<11 u 1<1<5>>>
<11 u 1<1> u 1<2> u 1<3>>
<11 u 1<1> u 1<2>>
<11 u 1<1> u 1<3>>
<11 u 1<1> u 1<4>>
<11 u 1<1> u 1<5>>
<11 u 1<1> u 1<6>>
<11 u 1<1> u 2<2>>
<11 u 1<1> u 2<3>>
<11 u 1<1>>
<11 u 1<2 u 1<1>>>
<11 u 1<2 u 1<2>>>
<11 u 1<2 u 1<3>>>
<11 u 1<2 u 1<4>>>
<11 u 1<2 u 1<5>>>
<11 u 1<2> u 1<3>>
<11 u 1<2> u 1<4>>
<11 u 1<2> u 1<5>>
<11 u 1<2>>
<11 u 1<3 u 1<1>>>
<11 u 1<3 u 1<2>>>
<11 u 1<3 u 1<3>>>
<11 u 1<3 u 1<4>>>
<11 u 1<3> u 1<4>>
<11 u 1<3>>
<11 u 1<4 u 1<1>>>
<11 u 1<4 u 1<2>>>
<11 u 1<4 u 1<3>>>
<11 u 1<4>>
<11 u 1<5 u 1<1>>>
<11 u 1<5 u 1<2>>>
<11 u 1<5 u 1<3>>>
<11 u 1<5>>
<11 u 1<6 u 1<1>>>
<11 u 1<6 u 1<2>>>
<11 u 1<6 u 1<3>>>
<11 u 1<6>>
<11 u 1<7>>
<11 u 1<8>>
<11 u 2<1> u 1<2>>
<11 u 2<1> u 1<3>>
<11 u 2<1> u 1<4>>
<11 u 2<1> u 1<5>>
<11 u 2<1>>
<11 u 2<2>>
<11 u 2<3>>
<11 u 3<1>>
<11>
<12 u 1<1 u 1<1>>>
<12 u 1<1 u 1<2>>>
<12 u 1<1 u 1<3>>>
<12 u 1<1 u 1<4>>>
<12 u 1<1 u 1<5>>>
<12 u 1<1<1>>>
<12 u 1<1<2>>>
<12 u 1<1<3>>>
<12 u 1<1<4>>>
<12 u 1<1<5>>>
<12 u 1<1> u 1<2> u 1<3>>
<12 u 1<1> u 1<2>>
<12 u 1<1> u 1<3>>
<12 u 1<1> u 1<4>>
<12 u 1<1> u 1<5>>
<12 u 1<1> u 1<6>>
<12 u 1<1> u 2<2>>
<12 u 1<1> u 2<3>>
<12 u 1<1>>
<12 u 1<2 u 1<1>>>
<12 u 1<2 u 1<2>>>
<12 u 1<2 u 1<3>>>
<12 u 1<2 u 1<4>>>
<12 u 1<2> u 1<3>>
<12 u 1<2> u 1<4>>
<12 u 1<2> u 1<5>>
<12 u 1<2>>
<12 u 1<3 u 1<1>>>
<12 u 1<3 u 1<2>>>
<12 u 1<3> u 1<4>>
<12 u 1<3>>
<12 u 1<4 u 1<1>>>
<12 u 1<4>>
<12 u 1<5 u 1<1>>>
<12 u 1<5>>
<12 u 1<6 u 1<1>>>
<12 u 1<6>>
<12 u 1<7>>
<12 u 2<1> u 1<2>>
<12 u 2<1> u 1<3>>
<12 u 2<1> u 1<4>>
<12 u 2<1> u 1<5>>
<12 u 2<1>>
<12 u 2<2>>
<12 u 2<3>>
<12 u 3<1>>
<12>
<13 u 1<1 u 1<1>>>
<13 u 1<1 u 1<2>>>
<13 u 1<1 u 1<3>>>
<13 u 1<1<1>>>
<13 u 1<1<2>>>
<13 u 1<1<3>>>
<13 u 1<1> u 1<2>>
<13 u 1<1> u 1<3>>
<13 u 1<1> u 1<4>>
<13 u 1<1> u 1<5>>
<13 u 1<1> u 1<6>>
<13 u 1<1>>
<13 u 1<2 u 1<1>>>
<13 u 1<2 u 1<2>>>
<13 u 1<2> u 1<3>>
<13 u 1<2> u 1<4>>
<13 u 1<2> u 1<5>>
<13 u 1<2>>
<13 u 1<3 u 1<1>>>
<13 u 1<3> u 1<4>>
<13 u 1<3>>
<13 u 1<4 u 1<1>>>
<13 u 1<4>>
<13 u 1<5 u 1<1>>>
<13 u 1<5>>
<13 u 1<6 u 1<1>>>
<13 u 1<6>>
<13 u 1<7>>
<13 u 2<1> u 1<2>>
<13 u 2<1>>
<13 u 2<2>>
<13 u 2<3>>
<13 u 3<1>>
<13>
<14 u 1<1 u 1<1>>>
<14 u 1<1 u 1<2>>>
<14 u 1<1 u 1<3>>>
<14 u 1<1<1>>>
<14 u 1<1<2>>>
<14 u 1<1<3>>>
<14 u 1<1> u 1<2>>
<14 u 1<1> u 1<3>>
<14 u 1<1>>
<14 u 1<2 u 1<1>>>
<14 u 1<2 u 1<2>>>
<14 u 1<2>>
<14 u 1<3 u 1<1>>>
<14 u 1<3>>
<14 u 1<4>>
<14 u 1<5>>
<14 u 1<6>>
<14 u 1<7>>
<14 u 2<1>>
<14 u 2<2>>
<14 u 3<1>>
<14>
<15 u 1<1 u 1<1>>>
<15 u 1<1 u 1<2>>>
<15 u 1<1<1>>>
<15 u 1<1<2>>>
<15 u 1<1<3>>>
<15 u 1<1> u 1<2>>
<15 u 1<1>>
<15 u 1<2 u 1<1>>>
<15 u 1<2 u 1<2>>>
<15 u 1<2>>
<15 u 1<3>>
<15 u 1<4>>
<15 u 2<1>>
<15 u 3<1>>
<15>
<16 u 1<1 u 1<1>>>
<16 u 1<1<1>>>
<16 u 1<1> u 1<2>>
<16 u 1<1>>
<16 u 1<2 u 1<1>>>
<16 u 1<2>>
<16 u 1<3>>
<16 u 2<1>>
<16 u 3<1>>
<16>
<17 u 1<1 u 1<1>>>
<17 u 1<1<1>>>
<17 u 1<1> u 1<2>>
<17 u 1<1>>
<17 u 1<2 u 1<1>>>
<17 u 1<2>>
<17 u 1<3>>
<17 u 2<1>>
<17>
<18 u 1<1>>
<18 u 1<2>>
<18 u 1<3>>
<18>
<19>
<1<1 u 1<10>>>
<1<1 u 1<11>>>
<1<1 u 1<12>>>
<1<1 u 1<13>>>
<1<1 u 1<14>>>
<1<1 u 1<15>>>
<1<1 u 1<16>>>
<1<1 u 1<17>>>
<1<1 u 1<1>>>
<1<1 u 1<2>>>
<1<1 u 1<3>>>
<1<1 u 1<4>>>
<1<1 u 1<5>>>
<1<1 u 1<6>>>
<1<1 u 1<7>>>
<1<1 u 1<8>>>
<1<1 u 1<9>>>
<1<10 u 1<1>>>
<1<10 u 1<2>>>
<1<10 u 1<3>>>
<1<10 u 1<4>>>
<1<10 u 1<5>>>
<1<10 u 1<6>>>
<1<10 u 1<7>>>
<1<10>>
<1<11 u 1<1>>>
<1<11 u 1<2>>>
<1<11 u 1<3>>>
<1<11 u 1<4>>>
<1<11 u 1<5>>>
<1<11 u 1<6>>>
<1<11 u 1<7>>>
<1<11>>
<1<12 u 1<1>>>
<1<12 u 1<2>>>
<1<12 u 1<3>>>
<1<12 u 1<4>>>
<1<12 u 1<5>>>
<1<12 u 1<6>>>
<1<12>>
<1<13 u 1<1>>>
<1<13 u 1<2>>>
<1<13 u 1<3>>>
<1<13 u 1<4>>>
<1<13 u 1<5>>>
<1<13>>
<1<14 u 1<1>>>
<1<14 u 1<2>>>
<1<14 u 1<3>>>
<1<14>>
<1<15 u 1<1>>>
<1<15 u 1<2>>>
<1<15 u 1<3>>>
<1<15>>
<1<16 u 1<1>>>
<1<16 u 1<2>>>
<1<16>>
<1<17 u 1<1>>>
<1<17>>
<1<18>>
<1<1<10>>>
<1<1<11>>>
<1<1<12>>>
<1<1<13>>>
<1<1<14>>>
<1<1<15>>>
<1<1<16>>>
<1<1<17>>>
<1<1<1<1>>>>
<1<1<1>>>
<1<1<2>>>
<1<1<3>>>
<1<1<4>>>
<1<1<5>>>
<1<1<6>>>
<1<1<7>>>
<1<1<8>>>
<1<1<9>>>
<1<1> u 1<10>>
<1<1> u 1<11>>
<1<1> u 1<12>>
<1<1> u 1<13>>
<1<1> u 1<14>>
<1<1> u 1<15>>
<1<1> u 1<16>>
<1<1> u 1<17>>
<1<1> u 1<2> u 1<3>>
<1<1> u 1<2> u 1<4>>
<1<1> u 1<2> u 1<5>>
<1<1> u 1<2> u 1<6>>
<1<1> u 1<2> u 1<7>>
<1<1> u 1<2> u 1<8>>
<1<1> u 1<2>>
<1<1> u 1<3> u 1<4>>
<1<1> u 1<3> u 1<5>>
<1<1> u 1<3> u 1<6>>
<1<1> u 1<3> u 1<7>>
<1<1> u 1<3> u 1<8>>
<1<1> u 1<3>>
<1<1> u 1<4> u 1<5>>
<1<1> u 1<4> u 1<6>>
<1<1> u 1<4> u 1<7>>
<1<1> u 1<4> u 1<8>>
<1<1> u 1<4>>
<1<1> u 1<5> u 1<6>>
<1<1> u 1<5> u 1<7>>
<1<1> u 1<5> u 1<8>>
<1<1> u 1<5>>
<1<1> u 1<6> u 1<7>>
<1<1> u 1<6> u 1<8>>
<1<1> u 1<6>>
<1<1> u 1<7>>
<1<1> u 1<8>>
<1<1> u 1<9>>
<1<1> u 2<2>>
<1<1> u 2<3>>
<1<1> u 2<4>>
<1<1> u 2<5>>
<1<1> u 2<6>>
<1<1>>
<1<2 u 1<10>>>
<1<2 u 1<11>>>
<1<2 u 1<12>>>
<1<2 u 1<13>>>
<1<2 u 1<14>>>
<1<2 u 1<15>>>
<1<2 u 1<1>>>
<1<2 u 1<2>>>
<1<2 u 1<3>>>
<1<2 u 1<4>>>
<1<2 u 1<5>>>
<1<2 u 1<6>>>
<1<2 u 1<7>>>
<1<2 u 1<8>>>
<1<2 u 1<9>>>
<1<2> u 1<10>>
<1<2> u 1<11>>
<1<2> u 1<12>>
<1<2> u 1<13>>
<1<2> u 1<14>>
<1<2> u 1<15>>
<1<2> u 1<3> u 1<4>>
<1<2> u 1<3> u 1<5>>
<1<2> u 1<3> u 1<6>>
<1<2> u 1<3> u 1<7>>
<1<2> u 1<3>>
<1<2> u 1<4> u 1<5>>
<1<2> u 1<4> u 1<6>>
<1<2> u 1<4> u 1<7>>
<1<2> u 1<4>>
<1<2> u 1<5> u 1<6>>
<1<2> u 1<5> u 1<7>>
<1<2> u 1<5>>
<1<2> u 1<6> u 1<7>>
<1<2> u 1<6>>
<1<2> u 1<7>>
<1<2> u 1<8>>
<1<2> u 1<9>>
<1<2> u 2<3>>
<1<2> u 2<4>>
<1<2> u 2<5>>
<1<2> u 2<6>>
<1<2>>
<1<3 u 1<10>>>
<1<3 u 1<11>>>
<1<3 u 1<12>>>
<1<3 u 1<13>>>
<1<3 u 1<14>>>
<1<3 u 1<15>>>
<1<3 u 1<1>>>
<1<3 u 1<2>>>
<1<3 u 1<3>>>
<1<3 u 1<4>>>
<1<3 u 1<5>>>
<1<3 u 1<6>>>
<1<3 u 1<7>>>
<1<3 u 1<8>>>
<1<3 u 1<9>>>
<1<3> u 1<10>>
<1<3> u 1<11>>
<1<3> u 1<12>>
<1<3> u 1<13>>
<1<3> u 1<14>>
<1<3> u 1<15>>
<1<3> u 1<4> u 1<5>>
<1<3> u 1<4> u 1<6>>
<1<3> u 1<4>>
<1<3> u 1<5> u 1<6>>
<1<3> u 1<5>>
<1<3> u 1<6>>
<1<3> u 1<7>>
<1<3> u 1<8>>
<1<3> u 1<9>>
<1<3> u 2<4>>
<1<3> u 2<5>>
<1<3>>
<1<4 u 1<10>>>
<1<4 u 1<11>>>
<1<4 u 1<12>>>
<1<4 u 1<13>>>
<1<4 u 1<1>>>
<1<4 u 1<2>>>
<1<4 u 1<3>>>
<1<4 u 1<4>>>
<1<4 u 1<5>>>
<1<4 u 1<6>>>
<1<4 u 1<7>>>
<1<4 u 1<8>>>
<1<4 u 1<9>>>
<1<4> u 1<10>>
<1<4> u 1<11>>
<1<4> u 1<12>>
<1<4> u 1<13>>
<1<4> u 1<5>>
<1<4> u 1<6>>
<1<4> u 1<7>>
<1<4> u 1<8>>
<1<4> u 1<9>>
<1<4>>
<1<5 u 1<10>>>
<1<5 u 1<11>>>
<1<5 u 1<12>>>
<1<5 u 1<13>>>
<1<5 u 1<1>>>
<1<5 u 1<2>>>
<1<5 u 1<3>>>
<1<5 u 1<4>>>
<1<5 u 1<5>>>
<1<5 u 1<6>>>
<1<5 u 1<7>>>
<1<5 u 1<8>>>
<1<5 u 1<9>>>
<1<5> u 1<10>>
<1<5> u 1<11>>
<1<5> u 1<12>>
<1<5> u 1<6>>
<1<5> u 1<7>>
<1<5> u 1<8>>
<1<5> u 1<9>>
<1<5>>
<1<6 u 1<10>>>
<1<6 u 1<11>>>
<1<6 u 1<1>>>
<1<6 u 1<2>>>
<1<6 u 1<3>>>
<1<6 u 1<4>>>
<1<6 u 1<5>>>
<1<6 u 1<6>>>
<1<6 u 1<7>>>
<1<6 u 1<8>>>
<1<6 u 1<9>>>
<1<6> u 1<10>>
<1<6> u 1<11>>
<1<6> u 1<7>>
<1<6> u 1<8>>
<1<6> u 1<9>>
<1<6>>
<1<7 u 1<10>>>
<1<7 u 1<11>>>
<1<7 u 1<1>>>
<1<7 u 1<2>>>
<1<7 u 1<3>>>
<1<7 u 1<4>>>
<1<7 u 1<5>>>
<1<7 u 1<6>>>
<1<7 u 1<7>>>
<1<7 u 1<8>>>
<1<7 u 1<9>>>
<1<7> u 1<10>>
<1<7> u 1<11>>
<1<7> u 1<8>>
<1<7> u 1<9>>
<1<7>>
<1<8 u 1<10>>>
<1<8 u 1<1>>>
<1<8 u 1<2>>>
<1<8 u 1<3>>>
<1<8 u 1<4>>>
<1<8 u 1<5>>>
<1<8 u 1<6>>>
<1<8 u 1<7>>>
<1<8 u 1<8>>>
<1<8 u 1<9>>>
<1<8> u 1<9>>
<1<8>>
<1<9 u 1<1>>>
<1<9 u 1<2>>>
<1<9 u 1<3>>>
<1<9 u 1<4>>>
<1<9 u 1<5>>>
<1<9 u 1<6>>>
<1<9 u 1<7>>>
<1<9 u 1<8>>>
<1<9 u 1<9>>>
<1<9>>
<1>
<2 u 1<1 u 1<10>>>
<2 u 1<1 u 1<11>>>
<2 u 1<1 u 1<12>>>
<2 u 1<1 u 1<13>>>
<2 u 1<1 u 1<14>>>
<2 u 1<1 u 1<15>>>
<2 u 1<1 u 1<1>>>
<2 u 1<1 u 1<2>>>
<2 u 1<1 u 1<3>>>
<2 u 1<1 u 1<4>>>
<2 u 1<1 u 1<5>>>
<2 u 1<1 u 1<6>>>
<2 u 1<1 u 1<7>>>
<2 u 1<1 u 1<8>>>
<2 u 1<1 u 1<9>>>
<2 u 1<10 u 1<1>>>
<2 u 1<10 u 1<2>>>
<2 u 1<10 u 1<3>>>
<2 u 1<10 u 1<4>>>
<2 u 1<10 u 1<5>>>
<2 u 1<10>>
<2 u 1<11 u 1<1>>>
<2 u 1<11 u 1<2>>>
<2 u 1<11 u 1<3>>>
<2 u 1<11 u 1<4>>>
<2 u 1<11 u 1<5>>>
<2 u 1<11>>
<2 u 1<12 u 1<1>>>
<2 u 1<12 u 1<2>>>
<2 u 1<12 u 1<3>>>
<2 u 1<12 u 1<4>>>
<2 u 1<12>>
<2 u 1<13 u 1<1>>>
<2 u 1<13 u 1<2>>>
<2 u 1<13 u 1<3>>>
<2 u 1<13>>
<2 u 1<14 u 1<1>>>
<2 u 1<14>>
<2 u 1<15 u 1<1>>>
<2 u 1<15>>
<2 u 1<16>>
<2 u 1<17>>
<2 u 1<18>>
<2 u 1<1<10>>>
<2 u 1<1<11>>>
<2 u 1<1<12>>>
<2 u 1<1<13>>>
<2 u 1<1<14>>>
<2 u 1<1<15>>>
<2 u 1<1<1>>>
<2 u 1<1<2>>>
<2 u 1<1<3>>>
<2 u 1<1<4>>>
<2 u 1<1<5>>>
<2 u 1<1<6>>>
<2 u 1<1<7>>>
<2 u 1<1<8>>>
<2 u 1<1<9>>>
<2 u 1<1> u 1<10>>
<2 u 1<1> u 1<11>>
<2 u 1<1> u 1<12>>
<2 u 1<1> u 1<13>>
<2 u 1<1> u 1<14>>
<2 u 1<1> u 1<15>>
<2 u 1<1> u 1<2> u 1<3>>
<2 u 1<1> u 1<2> u 1<4>>
<2 u 1<1> u 1<2> u 1<5>>
<2 u 1<1> u 1<2> u 1<6>>
<2 u 1<1> u 1<2> u 1<7>>
<2 u 1<1> u 1<2> u 1<8>>
<2 u 1<1> u 1<2>>
<2 u 1<1> u 1<3> u 1<4>>
<2 u 1<1> u 1<3> u 1<5>>
<2 u 1<1> u 1<3> u 1<6>>
<2 u 1<1> u 1<3> u 1<7>>
<2 u 1<1> u 1<3> u 1<8>>
<2 u 1<1> u 1<3>>
<2 u 1<1> u 1<4> u 1<5>>
<2 u 1<1> u 1<4> u 1<6>>
<2 u 1<1> u 1<4> u 1<7>>
<2 u 1<1> u 1<4> u 1<8>>
<2 u 1<1> u 1<4>>
<2 u 1<1> u 1<5> u 1<6>>
<2 u 1<1> u 1<5> u 1<7>>
<2 u 1<1> u 1<5> u 1<8>>
<2 u 1<1> u 1<5>>
<2 u 1<1> u 1<6>>
<2 u 1<1> u 1<7>>
<2 u 1<1> u 1<8>>
<2 u 1<1> u 1<9>>
<2 u 1<1> u 2<2>>
<2 u 1<1> u 2<3>>
<2 u 1<1> u 2<4>>
<2 u 1<1> u 2<5>>
<2 u 1<1> u 2<6>>
<2 u 1<1>>
<2 u 1<2 u 1<10>>>
<2 u 1<2 u 1<11>>>
<2 u 1<2 u 1<12>>>
<2 u 1<2 u 1<1>>>
<2 u 1<2 u 1<2>>>
<2 u 1<2 u 1<3>>>
<2 u 1<2 u 1<4>>>
<2 u 1<2 u 1<5>>>
<2 u 1<2 u 1<6>>>
<2 u 1<2 u 1<7>>>
<2 u 1<2 u 1<8>>>
<2 u 1<2 u 1<9>>>
<2 u 1<2> u 1<10>>
<2 u 1<2> u 1<11>>
<2 u 1<2> u 1<12>>
<2 u 1<2> u 1<13>>
<2 u 1<2> u 1<14>>
<2 u 1<2> u 1<3> u 1<4>>
<2 u 1<2> u 1<3> u 1<5>>
<2 u 1<2> u 1<3> u 1<6>>
<2 u 1<2> u 1<3> u 1<7>>
<2 u 1<2> u 1<3>>
<2 u 1<2> u 1<4> u 1<5>>
<2 u 1<2> u 1<4> u 1<6>>
<2 u 1<2> u 1<4> u 1<7>>
<2 u 1<2> u 1<4>>
<2 u 1<2> u 1<5> u 1<6>>
<2 u 1<2> u 1<5> u 1<7>>
<2 u 1<2> u 1<5>>
<2 u 1<2> u 1<6>>
<2 u 1<2> u 1<7>>
<2 u 1<2> u 1<8>>
<2 u 1<2> u 1<9>>
<2 u 1<2> u 2<3>>
<2 u 1<2> u 2<4>>
<2 u 1<2> u 2<5>>
<2 u 1<2>>
<2 u 1<3 u 1<10>>>
<2 u 1<3 u 1<11>>>
<2 u 1<3 u 1<1>>>
<2 u 1<3 u 1<2>>>
<2 u 1<3 u 1<3>>>
<2 u 1<3 u 1<4>>>
<2 u 1<3 u 1<5>>>
<2 u 1<3 u 1<6>>>
<2 u 1<3 u 1<7>>>
<2 u 1<3 u 1<8>>>
<2 u 1<3 u 1<9>>>
<2 u 1<3> u 1<10>>
<2 u 1<3> u 1<11>>
<2 u 1<3> u 1<12>>
<2 u 1<3> u 1<4> u 1<5>>
<2 u 1<3> u 1<4> u 1<6>>
<2 u 1<3> u 1<4>>
<2 u 1<3> u 1<5> u 1<6>>
<2 u 1<3> u 1<5>>
<2 u 1<3> u 1<6>>
<2 u 1<3> u 1<7>>
<2 u 1<3> u 1<8>>
<2 u 1<3> u 1<9>>
<2 u 1<3> u 2<4>>
<2 u 1<3> u 2<5>>
<2 u 1<3>>
<2 u 1<4 u 1<10>>>
<2 u 1<4 u 1<11>>>
<2 u 1<4 u 1<1>>>
<2 u 1<4 u 1<2>>>
<2 u 1<4 u 1<3>>>
<2 u 1<4 u 1<4>>>
<2 u 1<4 u 1<5>>>
<2 u 1<4 u 1<6>>>
<2 u 1<4 u 1<7>>>
<2 u 1<4 u 1<8>>>
<2 u 1<4 u 1<9>>>
<2 u 1<4> u 1<10>>
<2 u 1<4> u 1<11>>
<2 u 1<4> u 1<5>>
<2 u 1<4> u 1<6>>
<2 u 1<4> u 1<7>>
<2 u 1<4> u 1<8>>
<2 u 1<4> u 1<9>>
<2 u 1<4>>
<2 u 1<5 u 1<10>>>
<2 u 1<5 u 1<11>>>
<2 u 1<5 u 1<1>>>
<2 u 1<5 u 1<2>>>
<2 u 1<5 u 1<3>>>
<2 u 1<5 u 1<4>>>
<2 u 1<5 u 1<5>>>
<2 u 1<5 u 1<6>>>
<2 u 1<5 u 1<7>>>
<2 u 1<5 u 1<8>>>
<2 u 1<5 u 1<9>>>
<2 u 1<5> u 1<10>>
<2 u 1<5> u 1<6>>
<2 u 1<5> u 1<7>>
<2 u 1<5> u 1<8>>
<2 u 1<5> u 1<9>>
<2 u 1<5>>
<2 u 1<6 u 1<1>>>
<2 u 1<6 u 1<2>>>
<2 u 1<6 u 1<3>>>
<2 u 1<6 u 1<4>>>
<2 u 1<6 u 1<5>>>
<2 u 1<6 u 1<6>>>
<2 u 1<6 u 1<7>>>
<2 u 1<6 u 1<8>>>
<2 u 1<6> u 1<7>>
<2 u 1<6> u 1<8>>
<2 u 1<6> u 1<9>>
<2 u 1<6>>
<2 u 1<7 u 1<1>>>
<2 u 1<7 u 1<2>>>
<2 u 1<7 u 1<3>>>
<2 u 1<7 u 1<4>>>
<2 u 1<7 u 1<5>>>
<2 u 1<7 u 1<6>>>
<2 u 1<7 u 1<7>>>
<2 u 1<7 u 1<8>>>
<2 u 1<7> u 1<8>>
<2 u 1<7>>
<2 u 1<8 u 1<1>>>
<2 u 1<8 u 1<2>>>
<2 u 1<8 u 1<3>>>
<2 u 1<8 u 1<4>>>
<2 u 1<8 u 1<5>>>
<2 u 1<8 u 1<6>>>
<2 u 1<8 u 1<7>>>
<2 u 1<8 u 1<8>>>
<2 u 1<8>>
<2 u 1<9 u 1<1>>>
<2 u 1<9 u 1<2>>>
<2 u 1<9 u 1<3>>>
<2 u 1<9 u 1<4>>>
<2 u 1<9 u 1<5>>>
<2 u 1<9 u 1<6>>>
<2 u 1<9 u 1<7>>>
<2 u 1<9>>
<2 u 2<1> u 1<2>>
<2 u 2<1> u 1<3>>
<2 u 2<1> u 1<4>>
<2 u 2<1> u 1<5>>
<2 u 2<1> u 1<6>>
<2 u 2<1> u 1<7>>
<2 u 2<1> u 1<8>>
<2 u 2<1> u 1<9>>
<2 u 2<1>>
<2 u 2<2> u 1<3>>
<2 u 2<2> u 1<4>>
<2 u 2<2> u 1<5>>
<2 u 2<2> u 1<6>>
<2 u 2<2> u 1<7>>
<2 u 2<2>>
<2 u 2<3> u 1<4>>
<2 u 2<3> u 1<5>>
<2 u 2<3> u 1<6>>
<2 u 2<3>>
<2 u 2<4>>
<2 u 2<5>>
<2 u 2<6>>
<2 u 2<7>>
<2 u 2<8>>
<2 u 3<1>>
<2 u 3<2>>
<2 u 3<3>>
<2<1> u 1<10>>
<2<1> u 1<11>>
<2<1> u 1<12>>
<2<1> u 1<2>>
<2<1> u 1<3>>
<2<1> u 1<4>>
<2<1> u 1<5>>
<2<1> u 1<6>>
<2<1> u 1<7>>
<2<1> u 1<8>>
<2<1> u 1<9>>
<2<1>>
<2<2> u 1<3>>
<2<2> u 1<4>>
<2<2> u 1<5>>
<2<2> u 1<6>>
<2<2> u 1<7>>
<2<2>>
<2<3> u 1<4>>
<2<3> u 1<5>>
<2<3> u 1<6>>
<2<3>>
<2<4>>
<2<5>>
<2<6>>
<2<7>>
<2<8>>
<2<9>>
<2>
<3 u 1<1 u 1<10>>>
<3 u 1<1 u 1<11>>>
<3 u 1<1 u 1<12>>>
<3 u 1<1 u 1<13>>>
<3 u 1<1 u 1<14>>>
<3 u 1<1 u 1<1>>>
<3 u 1<1 u 1<2>>>
<3 u 1<1 u 1<3>>>
<3 u 1<1 u 1<4>>>
<3 u 1<1 u 1<5>>>
<3 u 1<1 u 1<6>>>
<3 u 1<1 u 1<7>>>
<3 u 1<1 u 1<8>>>
<3 u 1<1 u 1<9>>>
<3 u 1<10 u 1<1>>>
<3 u 1<10 u 1<2>>>
<3 u 1<10 u 1<3>>>
<3 u 1<10 u 1<4>>>
<3 u 1<10 u 1<5>>>
<3 u 1<10>>
<3 u 1<11 u 1<1>>>
<3 u 1<11 u 1<2>>>
<3 u 1<11 u 1<3>>>
<3 u 1<11 u 1<4>>>
<3 u 1<11>>
<3 u 1<12 u 1<1>>>
<3 u 1<12 u 1<2>>>
<3 u 1<12>>
<3 u 1<13 u 1<1>>>
<3 u 1<13 u 1<2>>>
<3 u 1<13>>
<3 u 1<14 u 1<1>>>
<3 u 1<14>>
<3 u 1<15>>
<3 u 1<16>>
<3 u 1<1<10>>>
<3 u 1<1<11>>>
<3 u 1<1<12>>>
<3 u 1<1<13>>>
<3 u 1<1<14>>>
<3 u 1<1<15>>>
<3 u 1<1<1>>>
<3 u 1<1<2>>>
<3 u 1<1<3>>>
<3 u 1<1<4>>>
<3 u 1<1<5>>>
<3 u 1<1<6>>>
<3 u 1<1<7>>>
<3 u 1<1<8>>>
<3 u 1<1<9>>>
<3 u 1<1> u 1<10>>
<3 u 1<1> u 1<11>>
<3 u 1<1> u 1<12>>
<3 u 1<1> u 1<13>>
<3 u 1<1> u 1<14>>
<3 u 1<1> u 1<2> u 1<3>>
<3 u 1<1> u 1<2> u 1<4>>
<3 u 1<1> u 1<2> u 1<5>>
<3 u 1<1> u 1<2> u 1<6>>
<3 u 1<1> u 1<2> u 1<7>>
<3 u 1<1> u 1<2> u 1<8>>
<3 u 1<1> u 1<2>>
<3 u 1<1> u 1<3> u 1<4>>
<3 u 1<1> u 1<3> u 1<5>>
<3 u 1<1> u 1<3> u 1<6>>
<3 u 1<1> u 1<3> u 1<7>>
<3 u 1<1> u 1<3> u 1<8>>
<3 u 1<1> u 1<3>>
<3 u 1<1> u 1<4> u 1<5>>
<3 u 1<1> u 1<4> u 1<6>>
<3 u 1<1> u 1<4> u 1<7>>
<3 u 1<1> u 1<4> u 1<8>>
<3 u 1<1> u 1<4>>
<3 u 1<1> u 1<5> u 1<6>>
<3 u 1<1> u 1<5> u 1<7>>
<3 u 1<1> u 1<5> u 1<8>>
<3 u 1<1> u 1<5>>
<3 u 1<1> u 1<6>>
<3 u 1<1> u 1<7>>
<3 u 1<1> u 1<8>>
<3 u 1<1> u 1<9>>
<3 u 1<1> u 2<2>>
<3 u 1<1> u 2<3>>
<3 u 1<1> u 2<4>>
<3 u 1<1> u 2<5>>
<3 u 1<1>>
<3 u 1<2 u 1<10>>>
<3 u 1<2 u 1<11>>>
<3 u 1<2 u 1<1>>>
<3 u 1<2 u 1<2>>>
<3 u 1<2 u 1<3>>>
<3 u 1<2 u 1<4>>>
<3 u 1<2 u 1<5>>>
<3 u 1<2 u 1<6>>>
<3 u 1<2 u 1<7>>>
<3 u 1<2 u 1<8>>>
<3 u 1<2 u 1<9>>>
<3 u 1<2> u 1<10>>
<3 u 1<2> u 1<11>>
<3 u 1<2> u 1<12>>
<3 u 1<2> u 1<13>>
<3 u 1<2> u 1<3> u 1<4>>
<3 u 1<2> u 1<3> u 1<5>>
<3 u 1<2> u 1<3> u 1<6>>
<3 u 1<2> u 1<3> u 1<7>>
<3 u 1<2> u 1<3>>
<3 u 1<2> u 1<4> u 1<5>>
<3 u 1<2> u 1<4> u 1<6>>
<3 u 1<2> u 1<4> u 1<7>>
<3 u 1<2> u 1<4>>
<3 u 1<2> u 1<5> u 1<6>>
<3 u 1<2> u 1<5> u 1<7>>
<3 u 1<2> u 1<5>>
<3 u 1<2> u 1<6>>
<3 u 1<2> u 1<7>>
<3 u 1<2> u 1<8>>
<3 u 1<2> u 1<9>>
<3 u 1<2> u 2<3>>
<3 u 1<2> u 2<4>>
<3 u 1<2> u 2<5>>
<3 u 1<2>>
<3 u 1<3 u 1<10>>>
<3 u 1<3 u 1<11>>>
<3 u 1<3 u 1<1>>>
<3 u 1<3 u 1<2>>>
<3 u 1<3 u 1<3>>>
<3 u 1<3 u 1<4>>>
<3 u 1<3 u 1<5>>>
<3 u 1<3 u 1<6>>>
<3 u 1<3 u 1<7>>>
<3 u 1<3 u 1<8>>>
<3 u 1<3 u 1<9>>>
<3 u 1<3> u 1<10>>
<3 u 1<3> u 1<11>>
<3 u 1<3> u 1<4> u 1<5>>
<3 u 1<3> u 1<4> u 1<6>>
<3 u 1<3> u 1<4>>
<3 u 1<3> u 1<5> u 1<6>>
<3 u 1<3> u 1<5>>
<3 u 1<3> u 1<6>>
<3 u 1<3> u 1<7>>
<3 u 1<3> u 1<8>>
<3 u 1<3> u 1<9>>
<3 u 1<3> u 2<4>>
<3 u 1<3> u 2<5>>
<3 u 1<3>>
<3 u 1<4 u 1<10>>>
<3 u 1<4 u 1<11>>>
<3 u 1<4 u 1<1>>>
<3 u 1<4 u 1<2>>>
<3 u 1<4 u 1<3>>>
<3 u 1<4 u 1<4>>>
<3 u 1<4 u 1<5>>>
<3 u 1<4 u 1<6>>>
<3 u 1<4 u 1<7>>>
<3 u 1<4 u 1<8>>>
<3 u 1<4 u 1<9>>>
<3 u 1<4> u 1<10>>
<3 u 1<4> u 1<5>>
<3 u 1<4> u 1<6>>
<3 u 1<4> u 1<7>>
<3 u 1<4> u 1<8>>
<3 u 1<4> u 1<9>>
<3 u 1<4>>
<3 u 1<5 u 1<10>>>
<3 u 1<5 u 1<1>>>
<3 u 1<5 u 1<2>>>
<3 u 1<5 u 1<3>>>
<3 u 1<5 u 1<4>>>
<3 u 1<5 u 1<5>>>
<3 u 1<5 u 1<6>>>
<3 u 1<5 u 1<7>>>
<3 u 1<5 u 1<8>>>
<3 u 1<5 u 1<9>>>
<3 u 1<5> u 1<6>>
<3 u 1<5> u 1<7>>
<3 u 1<5> u 1<8>>
<3 u 1<5> u 1<9>>
<3 u 1<5>>
<3 u 1<6 u 1<1>>>
<3 u 1<6 u 1<2>>>
<3 u 1<6 u 1<3>>>
<3 u 1<6 u 1<4>>>
<3 u 1<6 u 1<5>>>
<3 u 1<6 u 1<6>>>
<3 u 1<6 u 1<7>>>
<3 u 1<6 u 1<8>>>
<3 u 1<6> u 1<7>>
<3 u 1<6> u 1<8>>
<3 u 1<6>>
<3 u 1<7 u 1<1>>>
<3 u 1<7 u 1<2>>>
<3 u 1<7 u 1<3>>>
<3 u 1<7 u 1<4>>>
<3 u 1<7 u 1<5>>>
<3 u 1<7 u 1<6>>>
<3 u 1<7 u 1<7>>>
<3 u 1<7 u 1<8>>>
<3 u 1<7> u 1<8>>
<3 u 1<7>>
<3 u 1<8 u 1<1>>>
<3 u 1<8 u 1<2>>>
<3 u 1<8 u 1<3>>>
<3 u 1<8 u 1<4>>>
<3 u 1<8 u 1<5>>>
<3 u 1<8 u 1<6>>>
<3 u 1<8 u 1<7>>>
<3 u 1<8>>
<3 u 1<9 u 1<1>>>
<3 u 1<9 u 1<2>>>
<3 u 1<9 u 1<3>>>
<3 u 1<9 u 1<4>>>
<3 u 1<9 u 1<5>>>
<3 u 1<9 u 1<6>>>
<3 u 1<9>>
<3 u 2<1> u 1<2>>
<3 u 2<1> u 1<3>>
<3 u 2<1> u 1<4>>
<3 u 2<1> u 1<5>>
<3 u 2<1> u 1<6>>
<3 u 2<1> u 1<7>>
<3 u 2<1> u 1<8>>
<3 u 2<1> u 1<9>>
<3 u 2<1>>
<3 u 2<2> u 1<3>>
<3 u 2<2> u 1<4>>
<3 u 2<2> u 1<5>>
<3 u 2<2> u 1<6>>
<3 u 2<2> u 1<7>>
<3 u 2<2>>
<3 u 2<3> u 1<4>>
<3 u 2<3> u 1<5>>
<3 u 2<3> u 1<6>>
<3 u 2<3>>
<3 u 2<4>>
<3 u 2<5>>
<3 u 2<6>>
<3 u 2<7>>
<3 u 3<1>>
<3 u 3<2>>
<3 u 3<3>>
<3<1>>
<3<2>>
<3<3>>
<3>
<4 u 1<1 u 1<10>>>
<4 u 1<1 u 1<11>>>
<4 u 1<1 u 1<1>>>
<4 u 1<1 u 1<2>>>
<4 u 1<1 u 1<3>>>
<4 u 1<1 u 1<4>>>
<4 u 1<1 u 1<5>>>
<4 u 1<1 u 1<6>>>
<4 u 1<1 u 1<7>>>
<4 u 1<1 u 1<8>>>
<4 u 1<1 u 1<9>>>
<4 u 1<10 u 1<1>>>
<4 u 1<10 u 1<2>>>
<4 u 1<10 u 1<3>>>
<4 u 1<10 u 1<4>>>
<4 u 1<10 u 1<5>>>
<4 u 1<10>>
<4 u 1<11 u 1<1>>>
<4 u 1<11 u 1<2>>>
<4 u 1<11 u 1<3>>>
<4 u 1<11>>
<4 u 1<12 u 1<1>>>
<4 u 1<12>>
<4 u 1<13 u 1<1>>>
<4 u 1<13>>
<4 u 1<14 u 1<1>>>
<4 u 1<14>>
<4 u 1<15>>
<4 u 1<1<10>>>
<4 u 1<1<11>>>
<4 u 1<1<1>>>
<4 u 1<1<2>>>
<4 u 1<1<3>>>
<4 u 1<1<4>>>
<4 u 1<1<5>>>
<4 u 1<1<6>>>
<4 u 1<1<7>>>
<4 u 1<1<8>>>
<4 u 1<1<9>>>
<4 u 1<1> u 1<10>>
<4 u 1<1> u 1<11>>
<4 u 1<1> u 1<12>>
<4 u 1<1> u 1<13>>
<4 u 1<1> u 1<14>>
<4 u 1<1> u 1<2> u 1<3>>
<4 u 1<1> u 1<2> u 1<4>>
<4 u 1<1> u 1<2> u 1<5>>
<4 u 1<1> u 1<2> u 1<6>>
<4 u 1<1> u 1<2> u 1<7>>
<4 u 1<1> u 1<2> u 1<8>>
<4 u 1<1> u 1<2>>
<4 u 1<1> u 1<3> u 1<4>>
<4 u 1<1> u 1<3> u 1<5>>
<4 u 1<1> u 1<3> u 1<6>>
<4 u 1<1> u 1<3> u 1<7>>
<4 u 1<1> u 1<3> u 1<8>>
<4 u 1<1> u 1<3>>
<4 u 1<1> u 1<4> u 1<5>>
<4 u 1<1> u 1<4> u 1<6>>
<4 u 1<1> u 1<4> u 1<7>>
<4 u 1<1> u 1<4> u 1<8>>
<4 u 1<1> u 1<4>>
<4 u 1<1> u 1<5> u 1<6>>
<4 u 1<1> u 1<5> u 1<7>>
<4 u 1<1> u 1<5> u 1<8>>
<4 u 1<1> u 1<5>>
<4 u 1<1> u 1<6>>
<4 u 1<1> u 1<7>>
<4 u 1<1> u 1<8>>
<4 u 1<1> u 1<9>>
<4 u 1<1> u 2<2>>
<4 u 1<1> u 2<3>>
<4 u 1<1> u 2<4>>
<4 u 1<1> u 2<5>>
<4 u 1<1>>
<4 u 1<2 u 1<1>>>
<4 u 1<2 u 1<2>>>
<4 u 1<2 u 1<3>>>
<4 u 1<2 u 1<4>>>
<4 u 1<2 u 1<5>>>
<4 u 1<2 u 1<6>>>
<4 u 1<2 u 1<7>>>
<4 u 1<2 u 1<8>>>
<4 u 1<2 u 1<9>>>
<4 u 1<2> u 1<10>>
<4 u 1<2> u 1<11>>
<4 u 1<2> u 1<12>>
<4 u 1<2> u 1<3> u 1<4>>
<4 u 1<2> u 1<3> u 1<5>>
<4 u 1<2> u 1<3> u 1<6>>
<4 u 1<2> u 1<3> u 1<7>>
<4 u 1<2> u 1<3>>
<4 u 1<2> u 1<4> u 1<5>>
<4 u 1<2> u 1<4> u 1<6>>
<4 u 1<2> u 1<4> u 1<7>>
<4 u 1<2> u 1<4>>
<4 u 1<2> u 1<5> u 1<6>>
<4 u 1<2> u 1<5> u 1<7>>
<4 u 1<2> u 1<5>>
<4 u 1<2> u 1<6>>
<4 u 1<2> u 1<7>>
<4 u 1<2> u 1<8>>
<4 u 1<2> u 1<9>>
<4 u 1<2> u 2<3>>
<4 u 1<2> u 2<4>>
<4 u 1<2> u 2<5>>
<4 u 1<2>>
<4 u 1<3 u 1<1>>>
<4 u 1<3 u 1<2>>>
<4 u 1<3 u 1<3>>>
<4 u 1<3 u 1<4>>>
<4 u 1<3 u 1<5>>>
<4 u 1<3 u 1<6>>>
<4 u 1<3 u 1<7>>>
<4 u 1<3 u 1<8>>>
<4 u 1<3 u 1<9>>>
<4 u 1<3> u 1<10>>
<4 u 1<3> u 1<11>>
<4 u 1<3> u 1<4> u 1<5>>
<4 u 1<3> u 1<4> u 1<6>>
<4 u 1<3> u 1<4>>
<4 u 1<3> u 1<5> u 1<6>>
<4 u 1<3> u 1<5>>
<4 u 1<3> u 1<6>>
<4 u 1<3> u 1<7>>
<4 u 1<3> u 1<8>>
<4 u 1<3> u 1<9>>
<4 u 1<3> u 2<4>>
<4 u 1<3> u 2<5>>
<4 u 1<3>>
<4 u 1<4 u 1<1>>>
<4 u 1<4 u 1<2>>>
<4 u 1<4 u 1<3>>>
<4 u 1<4 u 1<4>>>
<4 u 1<4 u 1<5>>>
<4 u 1<4 u 1<6>>>
<4 u 1<4 u 1<7>>>
<4 u 1<4 u 1<8>>>
<4 u 1<4 u 1<9>>>
<4 u 1<4> u 1<10>>
<4 u 1<4> u 1<5>>
<4 u 1<4> u 1<6>>
<4 u 1<4> u 1<7>>
<4 u 1<4> u 1<8>>
<4 u 1<4> u 1<9>>
<4 u 1<4>>
<4 u 1<5 u 1<1>>>
<4 u 1<5 u 1<2>>>
<4 u 1<5 u 1<3>>>
<4 u 1<5 u 1<4>>>
<4 u 1<5 u 1<5>>>
<4 u 1<5 u 1<6>>>
<4 u 1<5 u 1<7>>>
<4 u 1<5 u 1<8>>>
<4 u 1<5 u 1<9>>>
<4 u 1<5> u 1<6>>
<4 u 1<5> u 1<7>>
<4 u 1<5> u 1<8>>
<4 u 1<5> u 1<9>>
<4 u 1<5>>
<4 u 1<6 u 1<1>>>
<4 u 1<6 u 1<2>>>
<4 u 1<6 u 1<3>>>
<4 u 1<6 u 1<4>>>
<4 u 1<6 u 1<5>>>
<4 u 1<6 u 1<6>>>
<4 u 1<6 u 1<7>>>
<4 u 1<6 u 1<8>>>
<4 u 1<6> u 1<7>>
<4 u 1<6> u 1<8>>
<4 u 1<6>>
<4 u 1<7 u 1<1>>>
<4 u 1<7 u 1<2>>>
<4 u 1<7 u 1<3>>>
<4 u 1<7 u 1<4>>>
<4 u 1<7 u 1<5>>>
<4 u 1<7 u 1<6>>>
<4 u 1<7 u 1<7>>>
<4 u 1<7> u 1<8>>
<4 u 1<7>>
<4 u 1<8 u 1<1>>>
<4 u 1<8 u 1<2>>>
<4 u 1<8 u 1<3>>>
<4 u 1<8 u 1<4>>>
<4 u 1<8 u 1<5>>>
<4 u 1<8>>
<4 u 1<9 u 1<1>>>
<4 u 1<9 u 1<2>>>
<4 u 1<9 u 1<3>>>
<4 u 1<9 u 1<4>>>
<4 u 1<9 u 1<5>>>
<4 u 1<9>>
<4 u 2<1> u 1<2>>
<4 u 2<1> u 1<3>>
<4 u 2<1> u 1<4>>
<4 u 2<1> u 1<5>>
<4 u 2<1> u 1<6>>
<4 u 2<1> u 1<7>>
<4 u 2<1> u 1<8>>
<4 u 2<1> u 1<9>>
<4 u 2<1>>
<4 u 2<2> u 1<3>>
<4 u 2<2> u 1<4>>
<4 u 2<2> u 1<5>>
<4 u 2<2> u 1<6>>
<4 u 2<2> u 1<7>>
<4 u 2<2>>
<4 u 2<3> u 1<4>>
<4 u 2<3> u 1<5>>
<4 u 2<3> u 1<6>>
<4 u 2<3>>
<4 u 2<4>>
<4 u 2<5>>
<4 u 2<6>>
<4 u 2<7>>
<4 u 3<1>>
<4 u 3<2>>
<4 u 3<3>>
<4<1>>
<4>
<5 u 1<1 u 1<10>>>
<5 u 1<1 u 1<11>>>
<5 u 1<1 u 1<1>>>
<5 u 1<1 u 1<2>>>
<5 u 1<1 u 1<3>>>
<5 u 1<1 u 1<4>>>
<5 u 1<1 u 1<5>>>
<5 u 1<1 u 1<6>>>
<5 u 1<1 u 1<7>>>
<5 u 1<1 u 1<8>>>
<5 u 1<1 u 1<9>>>
<5 u 1<10 u 1<1>>>
<5 u 1<10 u 1<2>>>
<5 u 1<10 u 1<3>>>
<5 u 1<10 u 1<4>>>
<5 u 1<10 u 1<5>>>
<5 u 1<10>>
<5 u 1<11 u 1<1>>>
<5 u 1<11 u 1<2>>>
<5 u 1<11>>
<5 u 1<12 u 1<1>>>
<5 u 1<12>>
<5 u 1<13 u 1<1>>>
<5 u 1<13>>
<5 u 1<14 u 1<1>>>
<5 u 1<14>>
<5 u 1<15>>
<5 u 1<1<10>>>
<5 u 1<1<11>>>
<5 u 1<1<1>>>
<5 u 1<1<2>>>
<5 u 1<1<3>>>
<5 u 1<1<4>>>
<5 u 1<1<5>>>
<5 u 1<1<6>>>
<5 u 1<1<7>>>
<5 u 1<1<8>>>
<5 u 1<1<9>>>
<5 u 1<1> u 1<10>>
<5 u 1<1> u 1<11>>
<5 u 1<1> u 1<12>>
<5 u 1<1> u 1<13>>
<5 u 1<1> u 1<14>>
<5 u 1<1> u 1<2> u 1<3>>
<5 u 1<1> u 1<2> u 1<4>>
<5 u 1<1> u 1<2> u 1<5>>
<5 u 1<1> u 1<2> u 1<6>>
<5 u 1<1> u 1<2> u 1<7>>
<5 u 1<1> u 1<2> u 1<8>>
<5 u 1<1> u 1<2>>
<5 u 1<1> u 1<3> u 1<4>>
<5 u 1<1> u 1<3> u 1<5>>
<5 u 1<1> u 1<3> u 1<6>>
<5 u 1<1> u 1<3>>
<5 u 1<1> u 1<4> u 1<5>>
<5 u 1<1> u 1<4> u 1<6>>
<5 u 1<1> u 1<4>>
<5 u 1<1> u 1<5> u 1<6>>
<5 u 1<1> u 1<5>>
<5 u 1<1> u 1<6>>
<5 u 1<1> u 1<7>>
<5 u 1<1> u 1<8>>
<5 u 1<1> u 1<9>>
<5 u 1<1> u 2<2>>
<5 u 1<1> u 2<3>>
<5 u 1<1> u 2<4>>
<5 u 1<1> u 2<5>>
<5 u 1<1>>
<5 u 1<2 u 1<1>>>
<5 u 1<2 u 1<2>>>
<5 u 1<2 u 1<3>>>
<5 u 1<2 u 1<4>>>
<5 u 1<2 u 1<5>>>
<5 u 1<2 u 1<6>>>
<5 u 1<2 u 1<7>>>
<5 u 1<2 u 1<8>>>
<5 u 1<2 u 1<9>>>
<5 u 1<2> u 1<10>>
<5 u 1<2> u 1<11>>
<5 u 1<2> u 1<12>>
<5 u 1<2> u 1<13>>
<5 u 1<2> u 1<3> u 1<4>>
<5 u 1<2> u 1<3> u 1<5>>
<5 u 1<2> u 1<3> u 1<6>>
<5 u 1<2> u 1<3>>
<5 u 1<2> u 1<4> u 1<5>>
<5 u 1<2> u 1<4>>
<5 u 1<2> u 1<5>>
<5 u 1<2> u 1<6>>
<5 u 1<2> u 1<7>>
<5 u 1<2> u 1<8>>
<5 u 1<2> u 1<9>>
<5 u 1<2> u 2<3>>
<5 u 1<2> u 2<4>>
<5 u 1<2> u 2<5>>
<5 u 1<2>>
<5 u 1<3 u 1<1>>>
<5 u 1<3 u 1<2>>>
<5 u 1<3 u 1<3>>>
<5 u 1<3 u 1<4>>>
<5 u 1<3 u 1<5>>>
<5 u 1<3 u 1<6>>>
<5 u 1<3 u 1<7>>>
<5 u 1<3 u 1<8>>>
<5 u 1<3 u 1<9>>>
<5 u 1<3> u 1<10>>
<5 u 1<3> u 1<11>>
<5 u 1<3> u 1<12>>
<5 u 1<3> u 1<4> u 1<5>>
<5 u 1<3> u 1<4>>
<5 u 1<3> u 1<5>>
<5 u 1<3> u 1<6>>
<5 u 1<3> u 1<7>>
<5 u 1<3> u 1<8>>
<5 u 1<3> u 1<9>>
<5 u 1<3> u 2<4>>
<5 u 1<3>>
<5 u 1<4 u 1<1>>>
<5 u 1<4 u 1<2>>>
<5 u 1<4 u 1<3>>>
<5 u 1<4 u 1<4>>>
<5 u 1<4 u 1<5>>>
<5 u 1<4 u 1<6>>>
<5 u 1<4 u 1<7>>>
<5 u 1<4 u 1<8>>>
<5 u 1<4 u 1<9>>>
<5 u 1<4> u 1<10>>
<5 u 1<4> u 1<11>>
<5 u 1<4> u 1<5>>
<5 u 1<4> u 1<6>>
<5 u 1<4> u 1<7>>
<5 u 1<4> u 1<8>>
<5 u 1<4> u 1<9>>
<5 u 1<4>>
<5 u 1<5 u 1<1>>>
<5 u 1<5 u 1<2>>>
<5 u 1<5 u 1<3>>>
<5 u 1<5 u 1<4>>>
<5 u 1<5 u 1<5>>>
<5 u 1<5 u 1<6>>>
<5 u 1<5 u 1<7>>>
<5 u 1<5 u 1<8>>>
<5 u 1<5> u 1<10>>
<5 u 1<5> u 1<6>>
<5 u 1<5> u 1<7>>
<5 u 1<5> u 1<8>>
<5 u 1<5> u 1<9>>
<5 u 1<5>>
<5 u 1<6 u 1<1>>>
<5 u 1<6 u 1<2>>>
<5 u 1<6 u 1<3>>>
<5 u 1<6 u 1<4>>>
<5 u 1<6 u 1<5>>>
<5 u 1<6 u 1<6>>>
<5 u 1<6> u 1<7>>
<5 u 1<6> u 1<8>>
<5 u 1<6>>
<5 u 1<7 u 1<1>>>
<5 u 1<7 u 1<2>>>
<5 u 1<7 u 1<3>>>
<5 u 1<7 u 1<4>>>
<5 u 1<7 u 1<5>>>
<5 u 1<7 u 1<6>>>
<5 u 1<7> u 1<8>>
<5 u 1<7>>
<5 u 1<8 u 1<1>>>
<5 u 1<8 u 1<2>>>
<5 u 1<8 u 1<3>>>
<5 u 1<8 u 1<4>>>
<5 u 1<8 u 1<5>>>
<5 u 1<8>>
<5 u 1<9 u 1<1>>>
<5 u 1<9 u 1<2>>>
<5 u 1<9 u 1<3>>>
<5 u 1<9 u 1<4>>>
<5 u 1<9 u 1<5>>>
<5 u 1<9>>
<5 u 2<1> u 1<2>>
<5 u 2<1> u 1<3>>
<5 u 2<1> u 1<4>>
<5 u 2<1> u 1<5>>
<5 u 2<1> u 1<6>>
<5 u 2<1> u 1<7>>
<5 u 2<1> u 1<8>>
<5 u 2<1> u 1<9>>
<5 u 2<1>>
<5 u 2<2> u 1<3>>
<5 u 2<2> u 1<4>>
<5 u 2<2> u 1<5>>
<5 u 2<2> u 1<6>>
<5 u 2<2> u 1<7>>
<5 u 2<2>>
<5 u 2<3> u 1<4>>
<5 u 2<3> u 1<5>>
<5 u 2<3>>
<5 u 2<4>>
<5 u 2<5>>
<5 u 2<6>>
<5 u 2<7>>
<5 u 3<1>>
<5 u 3<2>>
<5 u 3<3>>
<5>
<6 u 1<1 u 1<10>>>
<6 u 1<1 u 1<11>>>
<6 u 1<1 u 1<1>>>
<6 u 1<1 u 1<2>>>
<6 u 1<1 u 1<3>>>
<6 u 1<1 u 1<4>>>
<6 u 1<1 u 1<5>>>
<6 u 1<1 u 1<6>>>
<6 u 1<1 u 1<7>>>
<6 u 1<1 u 1<8>>>
<6 u 1<1 u 1<9>>>
<6 u 1<10 u 1<1>>>
<6 u 1<10 u 1<2>>>
<6 u 1<10 u 1<3>>>
<6 u 1<10 u 1<4>>>
<6 u 1<10>>
<6 u 1<11 u 1<1>>>
<6 u 1<11>>
<6 u 1<12>>
<6 u 1<13>>
<6 u 1<14>>
<6 u 1<15>>
<6 u 1<1<10>>>
<6 u 1<1<11>>>
<6 u 1<1<1>>>
<6 u 1<1<2>>>
<6 u 1<1<3>>>
<6 u 1<1<4>>>
<6 u 1<1<5>>>
<6 u 1<1<6>>>
<6 u 1<1<7>>>
<6 u 1<1<8>>>
<6 u 1<1<9>>>
<6 u 1<1> u 1<10>>
<6 u 1<1> u 1<11>>
<6 u 1<1> u 1<2> u 1<3>>
<6 u 1<1> u 1<2> u 1<4>>
<6 u 1<1> u 1<2> u 1<5>>
<6 u 1<1> u 1<2> u 1<6>>
<6 u 1<1> u 1<2> u 1<7>>
<6 u 1<1> u 1<2>>
<6 u 1<1> u 1<3> u 1<4>>
<6 u 1<1> u 1<3> u 1<5>>
<6 u 1<1> u 1<3> u 1<6>>
<6 u 1<1> u 1<3>>
<6 u 1<1> u 1<4> u 1<5>>
<6 u 1<1> u 1<4>>
<6 u 1<1> u 1<5>>
<6 u 1<1> u 1<6>>
<6 u 1<1> u 1<7>>
<6 u 1<1> u 1<8>>
<6 u 1<1> u 1<9>>
<6 u 1<1> u 2<2>>
<6 u 1<1> u 2<3>>
<6 u 1<1> u 2<4>>
<6 u 1<1> u 2<5>>
<6 u 1<1>>
<6 u 1<2 u 1<1>>>
<6 u 1<2 u 1<2>>>
<6 u 1<2 u 1<3>>>
<6 u 1<2 u 1<4>>>
<6 u 1<2 u 1<5>>>
<6 u 1<2 u 1<6>>>
<6 u 1<2 u 1<7>>>
<6 u 1<2 u 1<8>>>
<6 u 1<2> u 1<10>>
<6 u 1<2> u 1<3> u 1<4>>
<6 u 1<2> u 1<3> u 1<5>>
<6 u 1<2> u 1<3>>
<6 u 1<2> u 1<4>>
<6 u 1<2> u 1<5>>
<6 u 1<2> u 1<6>>
<6 u 1<2> u 1<7>>
<6 u 1<2> u 1<8>>
<6 u 1<2> u 1<9>>
<6 u 1<2> u 2<3>>
<6 u 1<2> u 2<4>>
<6 u 1<2>>
<6 u 1<3 u 1<1>>>
<6 u 1<3 u 1<2>>>
<6 u 1<3 u 1<3>>>
<6 u 1<3 u 1<4>>>
<6 u 1<3 u 1<5>>>
<6 u 1<3 u 1<6>>>
<6 u 1<3 u 1<7>>>
<6 u 1<3 u 1<8>>>
<6 u 1<3> u 1<4>>
<6 u 1<3> u 1<5>>
<6 u 1<3> u 1<6>>
<6 u 1<3> u 1<7>>
<6 u 1<3> u 1<8>>
<6 u 1<3> u 1<9>>
<6 u 1<3>>
<6 u 1<4 u 1<1>>>
<6 u 1<4 u 1<2>>>
<6 u 1<4 u 1<3>>>
<6 u 1<4 u 1<4>>>
<6 u 1<4 u 1<5>>>
<6 u 1<4 u 1<6>>>
<6 u 1<4 u 1<7>>>
<6 u 1<4> u 1<5>>
<6 u 1<4> u 1<6>>
<6 u 1<4> u 1<7>>
<6 u 1<4> u 1<8>>
<6 u 1<4>>
<6 u 1<5 u 1<1>>>
<6 u 1<5 u 1<2>>>
<6 u 1<5 u 1<3>>>
<6 u 1<5 u 1<4>>>
<6 u 1<5 u 1<5>>>
<6 u 1<5 u 1<6>>>
<6 u 1<5 u 1<7>>>
<6 u 1<5> u 1<6>>
<6 u 1<5> u 1<7>>
<6 u 1<5>>
<6 u 1<6 u 1<1>>>
<6 u 1<6 u 1<2>>>
<6 u 1<6 u 1<3>>>
<6 u 1<6 u 1<4>>>
<6 u 1<6 u 1<5>>>
<6 u 1<6 u 1<8>>>
<6 u 1<6>>
<6 u 1<7 u 1<1>>>
<6 u 1<7 u 1<2>>>
<6 u 1<7 u 1<3>>>
<6 u 1<7 u 1<4>>>
<6 u 1<7 u 1<5>>>
<6 u 1<7>>
<6 u 1<8 u 1<1>>>
<6 u 1<8 u 1<2>>>
<6 u 1<8 u 1<3>>>
<6 u 1<8>>
<6 u 1<9 u 1<1>>>
<6 u 1<9 u 1<2>>>
<6 u 1<9 u 1<3>>>
<6 u 1<9>>
<6 u 2<1> u 1<2>>
<6 u 2<1> u 1<3>>
<6 u 2<1> u 1<4>>
<6 u 2<1> u 1<5>>
<6 u 2<1> u 1<6>>
<6 u 2<1> u 1<7>>
<6 u 2<1> u 1<8>>
<6 u 2<1> u 1<9>>
<6 u 2<1>>
<6 u 2<2> u 1<3>>
<6 u 2<2> u 1<4>>
<6 u 2<2> u 1<5>>
<6 u 2<2>>
<6 u 2<3> u 1<4>>
<6 u 2<3> u 1<5>>
<6 u 2<3>>
<6 u 2<4>>
<6 u 2<5>>
<6 u 2<6>>
<6 u 3<1>>
<6 u 3<2>>
<6 u 3<3>>
<6>
<7 u 1<1 u 1<1>>>
<7 u 1<1 u 1<2>>>
<7 u 1<1 u 1<3>>>
<7 u 1<1 u 1<4>>>
<7 u 1<1 u 1<5>>>
<7 u 1<1 u 1<6>>>
<7 u 1<1 u 1<7>>>
<7 u 1<1 u 1<8>>>
<7 u 1<1 u 1<9>>>
<7 u 1<10 u 1<1>>>
<7 u 1<10 u 1<2>>>
<7 u 1<10 u 1<3>>>
<7 u 1<10>>
<7 u 1<11>>
<7 u 1<12>>
<7 u 1<1<1>>>
<7 u 1<1<2>>>
<7 u 1<1<3>>>
<7 u 1<1<4>>>
<7 u 1<1<5>>>
<7 u 1<1<6>>>
<7 u 1<1<7>>>
<7 u 1<1<8>>>
<7 u 1<1<9>>>
<7 u 1<1> u 1<10>>
<7 u 1<1> u 1<2> u 1<3>>
<7 u 1<1> u 1<2> u 1<4>>
<7 u 1<1> u 1<2> u 1<5>>
<7 u 1<1> u 1<2> u 1<6>>
<7 u 1<1> u 1<2> u 1<7>>
<7 u 1<1> u 1<2>>
<7 u 1<1> u 1<3> u 1<4>>
<7 u 1<1> u 1<3> u 1<5>>
<7 u 1<1> u 1<3> u 1<6>>
<7 u 1<1> u 1<3>>
<7 u 1<1> u 1<4> u 1<5>>
<7 u 1<1> u 1<4>>
<7 u 1<1> u 1<5>>
<7 u 1<1> u 1<6>>
<7 u 1<1> u 1<7>>
<7 u 1<1> u 1<8>>
<7 u 1<1> u 1<9>>
<7 u 1<1> u 2<2>>
<7 u 1<1> u 2<3>>
<7 u 1<1> u 2<4>>
<7 u 1<1> u 2<5>>
<7 u 1<1>>
<7 u 1<2 u 1<1>>>
<7 u 1<2 u 1<2>>>
<7 u 1<2 u 1<3>>>
<7 u 1<2 u 1<4>>>
<7 u 1<2 u 1<5>>>
<7 u 1<2 u 1<6>>>
<7 u 1<2 u 1<7>>>
<7 u 1<2 u 1<8>>>
<7 u 1<2> u 1<3> u 1<4>>
<7 u 1<2> u 1<3> u 1<5>>
<7 u 1<2> u 1<3>>
<7 u 1<2> u 1<4>>
<7 u 1<2> u 1<5>>
<7 u 1<2> u 1<6>>
<7 u 1<2> u 1<7>>
<7 u 1<2> u 1<8>>
<7 u 1<2> u 1<9>>
<7 u 1<2> u 2<3>>
<7 u 1<2>>
<7 u 1<3 u 1<1>>>
<7 u 1<3 u 1<2>>>
<7 u 1<3 u 1<3>>>
<7 u 1<3 u 1<4>>>
<7 u 1<3 u 1<5>>>
<7 u 1<3 u 1<6>>>
<7 u 1<3 u 1<7>>>
<7 u 1<3 u 1<8>>>
<7 u 1<3> u 1<4>>
<7 u 1<3> u 1<5>>
<7 u 1<3> u 1<6>>
<7 u 1<3> u 1<7>>
<7 u 1<3> u 1<8>>
<7 u 1<3>>
<7 u 1<4 u 1<1>>>
<7 u 1<4 u 1<2>>>
<7 u 1<4 u 1<3>>>
<7 u 1<4 u 1<4>>>
<7 u 1<4 u 1<5>>>
<7 u 1<4 u 1<6>>>
<7 u 1<4> u 1<5>>
<7 u 1<4> u 1<6>>
<7 u 1<4> u 1<7>>
<7 u 1<4>>
<7 u 1<5 u 1<1>>>
<7 u 1<5 u 1<2>>>
<7 u 1<5 u 1<3>>>
<7 u 1<5 u 1<4>>>
<7 u 1<5 u 1<5>>>
<7 u 1<5 u 1<6>>>
<7 u 1<5> u 1<6>>
<7 u 1<5>>
<7 u 1<6 u 1<1>>>
<7 u 1<6 u 1<2>>>
<7 u 1<6 u 1<3>>>
<7 u 1<6 u 1<4>>>
<7 u 1<6 u 1<5>>>
<7 u 1<6>>
<7 u 1<7 u 1<1>>>
<7 u 1<7 u 1<2>>>
<7 u 1<7 u 1<3>>>
<7 u 1<7 u 1<4>>>
<7 u 1<7>>
<7 u 1<8 u 1<1>>>
<7 u 1<8 u 1<2>>>
<7 u 1<8 u 1<3>>>
<7 u 1<8>>
<7 u 1<9 u 1<1>>>
<7 u 1<9 u 1<2>>>
<7 u 1<9 u 1<3>>>
<7 u 1<9>>
<7 u 2<1> u 1<2>>
<7 u 2<1> u 1<3>>
<7 u 2<1> u 1<4>>
<7 u 2<1> u 1<5>>
<7 u 2<1> u 1<6>>
<7 u 2<1> u 1<7>>
<7 u 2<1> u 1<8>>
<7 u 2<1> u 1<9>>
<7 u 2<1>>
<7 u 2<2> u 1<3>>
<7 u 2<2> u 1<4>>
<7 u 2<2> u 1<5>>
<7 u 2<2>>
<7 u 2<3> u 1<4>>
<7 u 2<3> u 1<5>>
<7 u 2<3>>
<7 u 2<4>>
<7 u 2<5>>
<7 u 3<1>>
<7 u 3<2>>
<7 u 3<3>>
<7>
<8 u 1<1 u 1<1>>>
<8 u 1<1 u 1<2>>>
<8 u 1<1 u 1<3>>>
<8 u 1<1 u 1<4>>>
<8 u 1<1 u 1<5>>>
<8 u 1<1 u 1<6>>>
<8 u 1<1 u 1<7>>>
<8 u 1<1 u 1<8>>>
<8 u 1<1 u 1<9>>>
<8 u 1<10 u 1<1>>>
<8 u 1<10>>
<8 u 1<11>>
<8 u 1<1<1>>>
<8 u 1<1<2>>>
<8 u 1<1<3>>>
<8 u 1<1<4>>>
<8 u 1<1<5>>>
<8 u 1<1<6>>>
<8 u 1<1<7>>>
<8 u 1<1<8>>>
<8 u 1<1<9>>>
<8 u 1<1> u 1<10>>
<8 u 1<1> u 1<2> u 1<3>>
<8 u 1<1> u 1<2> u 1<4>>
<8 u 1<1> u 1<2> u 1<5>>
<8 u 1<1> u 1<2> u 1<6>>
<8 u 1<1> u 1<2> u 1<7>>
<8 u 1<1> u 1<2>>
<8 u 1<1> u 1<3> u 1<4>>
<8 u 1<1> u 1<3> u 1<5>>
<8 u 1<1> u 1<3> u 1<6>>
<8 u 1<1> u 1<3> u 1<7>>
<8 u 1<1> u 1<3>>
<8 u 1<1> u 1<4> u 1<5>>
<8 u 1<1> u 1<4>>
<8 u 1<1> u 1<5>>
<8 u 1<1> u 1<6>>
<8 u 1<1> u 1<7>>
<8 u 1<1> u 1<8>>
<8 u 1<1> u 1<9>>
<8 u 1<1> u 2<2>>
<8 u 1<1> u 2<3>>
<8 u 1<1> u 2<4>>
<8 u 1<1> u 2<5>>
<8 u 1<1>>
<8 u 1<2 u 1<1>>>
<8 u 1<2 u 1<2>>>
<8 u 1<2 u 1<3>>>
<8 u 1<2 u 1<4>>>
<8 u 1<2 u 1<5>>>
<8 u 1<2 u 1<6>>>
<8 u 1<2 u 1<7>>>
<8 u 1<2 u 1<8>>>
<8 u 1<2> u 1<3> u 1<4>>
<8 u 1<2> u 1<3> u 1<5>>
<8 u 1<2> u 1<3>>
<8 u 1<2> u 1<4>>
<8 u 1<2> u 1<5>>
<8 u 1<2> u 1<6>>
<8 u 1<2> u 1<7>>
<8 u 1<2> u 1<8>>
<8 u 1<2> u 1<9>>
<8 u 1<2> u 2<3>>
<8 u 1<2>>
<8 u 1<3 u 1<1>>>
<8 u 1<3 u 1<2>>>
<8 u 1<3 u 1<3>>>
<8 u 1<3 u 1<4>>>
<8 u 1<3 u 1<5>>>
<8 u 1<3 u 1<6>>>
<8 u 1<3 u 1<7>>>
<8 u 1<3> u 1<4>>
<8 u 1<3> u 1<5>>
<8 u 1<3> u 1<6>>
<8 u 1<3> u 1<7>>
<8 u 1<3> u 1<8>>
<8 u 1<3>>
<8 u 1<4 u 1<1>>>
<8 u 1<4 u 1<2>>>
<8 u 1<4 u 1<3>>>
<8 u 1<4 u 1<4>>>
<8 u 1<4 u 1<5>>>
<8 u 1<4> u 1<5>>
<8 u 1<4> u 1<6>>
<8 u 1<4> u 1<7>>
<8 u 1<4>>
<8 u 1<5 u 1<1>>>
<8 u 1<5 u 1<2>>>
<8 u 1<5 u 1<3>>>
<8 u 1<5 u 1<4>>>
<8 u 1<5 u 1<5>>>
<8 u 1<5> u 1<6>>
<8 u 1<5>>
<8 u 1<6 u 1<1>>>
<8 u 1<6 u 1<2>>>
<8 u 1<6 u 1<3>>>
<8 u 1<6 u 1<4>>>
<8 u 1<6 u 1<5>>>
<8 u 1<6>>
<8 u 1<7 u 1<1>>>
<8 u 1<7 u 1<2>>>
<8 u 1<7 u 1<3>>>
<8 u 1<7>>
<8 u 1<8 u 1<1>>>
<8 u 1<8 u 1<2>>>
<8 u 1<8>>
<8 u 1<9 u 1<1>>>
<8 u 1<9>>
<8 u 2<1> u 1<2>>
<8 u 2<1> u 1<3>>
<8 u 2<1> u 1<4>>
<8 u 2<1> u 1<5>>
<8 u 2<1> u 1<6>>
<8 u 2<1> u 1<7>>
<8 u 2<1> u 1<8>>
<8 u 2<1> u 1<9>>
<8 u 2<1>>
<8 u 2<2> u 1<3>>
<8 u 2<2> u 1<4>>
<8 u 2<2> u 1<5>>
<8 u 2<2>>
<8 u 2<3> u 1<4>>
<8 u 2<3> u 1<5>>
<8 u 2<3>>
<8 u 2<4>>
<8 u 2<5>>
<8 u 3<1>>
<8 u 3<2>>
<8 u 3<3>>
<8>
<9 u 1<1 u 1<1>>>
<9 u 1<1 u 1<2>>>
<9 u 1<1 u 1<3>>>
<9 u 1<1 u 1<4>>>
<9 u 1<1 u 1<5>>>
<9 u 1<1 u 1<6>>>
<9 u 1<1 u 1<7>>>
<9 u 1<1 u 1<8>>>
<9 u 1<10 u 1<1>>>
<9 u 1<10>>
<9 u 1<11>>
<9 u 1<1<1>>>
<9 u 1<1<2>>>
<9 u 1<1<3>>>
<9 u 1<1<4>>>
<9 u 1<1<5>>>
<9 u 1<1<6>>>
<9 u 1<1<7>>>
<9 u 1<1<8>>>
<9 u 1<1<9>>>
<9 u 1<1> u 1<10>>
<9 u 1<1> u 1<2> u 1<3>>
<9 u 1<1> u 1<2> u 1<4>>
<9 u 1<1> u 1<2> u 1<5>>
<9 u 1<1> u 1<2>>
<9 u 1<1> u 1<3> u 1<4>>
<9 u 1<1> u 1<3>>
<9 u 1<1> u 1<4>>
<9 u 1<1> u 1<5>>
<9 u 1<1> u 1<6>>
<9 u 1<1> u 1<7>>
<9 u 1<1> u 1<8>>
<9 u 1<1> u 1<9>>
<9 u 1<1> u 2<2>>
<9 u 1<1> u 2<3>>
<9 u 1<1>>
<9 u 1<2 u 1<1>>>
<9 u 1<2 u 1<2>>>
<9 u 1<2 u 1<3>>>
<9 u 1<2 u 1<4>>>
<9 u 1<2 u 1<5>>>
<9 u 1<2 u 1<6>>>
<9 u 1<2 u 1<7>>>
<9 u 1<2 u 1<8>>>
<9 u 1<2> u 1<3>>
<9 u 1<2> u 1<4>>
<9 u 1<2> u 1<5>>
<9 u 1<2> u 1<6>>
<9 u 1<2> u 1<7>>
<9 u 1<2> u 1<8>>
<9 u 1<2> u 1<9>>
<9 u 1<2> u 2<3>>
<9 u 1<2>>
<9 u 1<3 u 1<1>>>
<9 u 1<3 u 1<2>>>
<9 u 1<3 u 1<3>>>
<9 u 1<3 u 1<4>>>
<9 u 1<3 u 1<5>>>
<9 u 1<3> u 1<4>>
<9 u 1<3> u 1<5>>
<9 u 1<3> u 1<6>>
<9 u 1<3> u 1<7>>
<9 u 1<3> u 1<8>>
<9 u 1<3>>
<9 u 1<4 u 1<1>>>
<9 u 1<4 u 1<2>>>
<9 u 1<4 u 1<3>>>
<9 u 1<4 u 1<4>>>
<9 u 1<4 u 1<5>>>
<9 u 1<4> u 1<5>>
<9 u 1<4> u 1<6>>
<9 u 1<4> u 1<7>>
<9 u 1<4>>
<9 u 1<5 u 1<1>>>
<9 u 1<5 u 1<2>>>
<9 u 1<5 u 1<3>>>
<9 u 1<5 u 1<4>>>
<9 u 1<5 u 1<5>>>
<9 u 1<5> u 1<6>>
<9 u 1<5>>
<9 u 1<6 u 1<1>>>
<9 u 1<6 u 1<2>>>
<9 u 1<6 u 1<3>>>
<9 u 1<6 u 1<4>>>
<9 u 1<6 u 1<5>>>
<9 u 1<6>>
<9 u 1<7 u 1<1>>>
<9 u 1<7 u 1<2>>>
<9 u 1<7>>
<9 u 1<8 u 1<1>>>
<9 u 1<8>>
<9 u 1<9 u 1<1>>>
<9 u 1<9>>
<9 u 2<1> u 1<2>>
<9 u 2<1> u 1<3>>
<9 u 2<1> u 1<4>>
<9 u 2<1> u 1<5>>
<9 u 2<1> u 1<6>>
<9 u 2<1>>
<9 u 2<2> u 1<3>>
<9 u 2<2>>
<9 u 2<3>>
<9 u 2<4>>
<9 u 2<5>>
<9 u 3<1>>
<9 u 3<2>>
<9>