— t1 —

t1 :: a1 t1 :: a10 t1 :: a11 t1 :: a12 t1 :: a13 t1 :: a14 t1 :: a14a t1 :: a15 t1 :: a16 t1 :: a17 t1 :: a18 t1 :: a19 t1 :: a2 t1 :: a20 t1 :: a21 t1 :: a22 t1 :: a23 t1 :: a24 t1 :: a25 t1 :: a26 t1 :: a27 t1 :: a28 t1 :: a29 t1 :: a3 t1 :: a30 t1 :: a31 t1 :: a32 t1 :: a33 t1 :: a34 t1 :: a35 t1 :: a36 t1 :: a37 t1 :: a38 t1 :: a39 t1 :: a4 t1 :: a40 t1 :: a41 t1 :: a42 t1 :: a43 t1 :: a44 t1 :: a5 t1 :: a6 t1 :: a7 t1 :: a8 t1 :: a9 t1 :: b1 t1 :: b2 t1 :: b3 t1 :: b4 t1 :: b5 t1 :: c1 t1 :: c10 t1 :: c11 t1 :: c12 t1 :: c13 t1 :: c14 t1 :: c15 t1 :: c16 t1 :: c2 t1 :: c3 t1 :: c4 t1 :: c5 t1 :: c6 t1 :: c7 t1 :: c8 t1 :: c9 t1 :: d1 t1 :: d10 t1 :: d11 t1 :: d12 t1 :: d13 t1 :: d14 t1 :: d15 t1 :: d16 t1 :: d17 t1 :: d18 t1 :: d19 t1 :: d2 t1 :: d20 t1 :: d21 t1 :: d22 t1 :: d23 t1 :: d24 t1 :: d25 t1 :: d26 t1 :: d3 t1 :: d4 t1 :: d5 t1 :: d6 t1 :: d7 t1 :: d8 t1 :: d9 t1 :: e1 t1 :: e10 t1 :: e11 t1 :: e12 t1 :: e2 t1 :: e3 t1 :: e4 t1 :: e5 t1 :: e6 t1 :: e7 t1 :: e8 t1 :: e9 t1 :: f1 t1 :: f2 t1 :: f3