M_{12}.2

\begin{matrix}M_{8}.(A_{4} × 2) \\ ≤ M_{8}.(S_{4} ×2) \end{matrix} 990 1a^{+} + 11ab + 45a^{−} + 54a^{±} + 55a^{+} + 66a^{±}

+ 99a^{−} + 120a^{±} + 144a^{±}

13

Character Numbers: [ 1, 3, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 19 ]

S_{1} S_{2}  S_{3}  S_{4}  S_{5}  S_{6}  S_{7}  S_{8}  S_{9}  S_{10}  S_{11} S_{12}  S_{13}
χ_{1} 1 1  12  16  16  48  64  64  96  96  192 192  192
χ_{2} 1 1  −6  −8  −8  12  16  16  24  24  −24 −24  −24
χ_{3} 1 −1  0  8  −8  0  16  −16  8  −8  16  0  −16
χ_{4} 1 1 4 − 2r5 2 + 2r5 2 + 2r5 2 − 6r5 6 + 2r5 6 + 2r5 −6 + 2r5 −6 + 2r5 −14 − 2r5 16 −14 − 2r5
χ_{5} 1 1 4 + 2r5  −4b5 −4b5 2 + 6r5 6 − 2r5 6 − 2r5 −6 − 2r5 −6 − 2r5 −14 + 2r5 16 −14 + 2r5
χ_{6} 1 1  −6  4  4  12  4  4  −12  −12  12 −24  12
χ_{7} 1 1  6  4  4  0  −8  −8  12  12  0 −24  0
χ_{8} 1 −1  0  4  −4  0  −8  8  12  −12  −24  0  2
χ_{9} 1 1  2  −4  −4  −12  4  4  −4  −4  12 −8  12
χ_{10} 1 −1  0 −2 − 2r3 2 + 2r3  0 4 + 2r3 −4 − 2r3 −6 + 6r3 6 − 6r3  −6  0  6
χ_{11} 1 −1  0 −2 + 2r3 2 − 2r3  0 4 − 2r3 −4 + 2r3 −6 − 6r3 6 + 6r3  −6  0  6
χ_{12} 1 1  −4  −1  −1  0  −8  −8  2  2  0 16  0
χ_{13} 1 −1  0  −1  1  0  −8  8  2  −2  16  0  −16

Ramanujan Graphs: [ 2, 3, 4, 5, 6 ], [ 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 11 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 11, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 10, 11 ], [ 2, 3, 4, 5, 6, 7, 8, 10, 11, 12 ] , [ 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 10, 11, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 10, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 10, 12, 13 ] , [ 2, 3, 4, 5, 6, 7, 8, 10, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 11 ], [ 2, 3, 4, 5, 6, 7, 8, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 11, 12, 13 ] , [ 2, 3, 4, 5, 6, 7, 8, 11, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 8, 13 ], [ 2, 3, 4, 5, 6, 7, 9 ], [ 2, 3, 4, 5, 6, 7, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 7, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 9, 10, 11, 13 ], [ 2, 3, 4, 5, 6, 7, 9, 10, 12 ], [ 2, 3, 4, 5, 6, 7, 9, 10, 12, 13 ] , [ 2, 3, 4, 5, 6, 7, 9, 10, 13 ], [ 2, 3, 4, 5, 6, 7, 9, 11 ], [ 2, 3, 4, 5, 6, 7, 9, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 9, 11, 12, 13 ] , [ 2, 3, 4, 5, 6, 7, 9, 11, 13 ], [ 2, 3, 4, 5, 6, 7, 9, 12 ], [ 2, 3, 4, 5, 6, 7, 9, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 9, 13 ], [ 2, 3, 4, 5, 6, 7, 10 ], [ 2, 3, 4, 5, 6, 7, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 10, 11, 13 ], [ 2, 3, 4, 5, 6, 7, 10, 12 ], [ 2, 3, 4, 5, 6, 7, 10, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 10, 13 ], [ 2, 3, 4, 5, 6, 7, 11 ], [ 2, 3, 4, 5, 6, 7, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 11, 13 ], [ 2, 3, 4, 5, 6, 7, 12 ], [ 2, 3, 4, 5, 6, 7, 12, 13 ], [ 2, 3, 4, 5, 6, 7, 13 ], [ 2, 3, 4, 5, 6, 8 ], [ 2, 3, 4, 5, 6, 8, 9 ], [ 2, 3, 4, 5, 6, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 8, 9, 10, 11, 12 ] , [ 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 8, 9, 10, 11, 13 ], [ 2, 3, 4, 5, 6, 8, 9, 10, 12 ], [ 2, 3, 4, 5, 6, 8, 9, 10, 12, 13 ] , [ 2, 3, 4, 5, 6, 8, 9, 10, 13 ], [ 2, 3, 4, 5, 6, 8, 9, 11 ], [ 2, 3, 4, 5, 6, 8, 9, 11, 12 ], [ 2, 3, 4, 5, 6, 8, 9, 11, 12, 13 ] , [ 2, 3, 4, 5, 6, 8, 9, 11, 13 ], [ 2, 3, 4, 5, 6, 8, 9, 12 ], [ 2, 3, 4, 5, 6, 8, 9, 12, 13 ], [ 2, 3, 4, 5, 6, 8, 10 ], [ 2, 3, 4, 5, 6, 8, 10, 11 ], [ 2, 3, 4, 5, 6, 8, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 8, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 8, 10, 11, 13 ], [ 2, 3, 4, 5, 6, 8, 10, 12 ], [ 2, 3, 4, 5, 6, 8, 10, 12, 13 ], [ 2, 3, 4, 5, 6, 8, 10, 13 ], [ 2, 3, 4, 5, 6, 8, 11 ], [ 2, 3, 4, 5, 6, 8, 11, 12 ], [ 2, 3, 4, 5, 6, 8, 11, 13 ], [ 2, 3, 4, 5, 6, 8, 12 ], [ 2, 3, 4, 5, 6, 8, 12, 13 ], [ 2, 3, 4, 5, 6, 8, 13 ], [ 2, 3, 4, 5, 6, 9 ], [ 2, 3, 4, 5, 6, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 6, 9, 10, 11, 13 ], [ 2, 3, 4, 5, 6, 9, 10, 12 ], [ 2, 3, 4, 5, 6, 9, 10, 12, 13 ], [ 2, 3, 4, 5, 6, 9, 10, 13 ], [ 2, 3, 4, 5, 6, 9, 11 ], [ 2, 3, 4, 5, 6, 9, 11, 12 ], [ 2, 3, 4, 5, 6, 9, 11, 13 ], [ 2, 3, 4, 5, 6, 9, 12 ], [ 2, 3, 4, 5, 6, 9, 12, 13 ], [ 2, 3, 4, 5, 6, 9, 13 ], [ 2, 3, 4, 5, 6, 10 ], [ 2, 3, 4, 5, 6, 10, 11 ], [ 2, 3, 4, 5, 6, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 10, 11, 13 ], [ 2, 3, 4, 5, 6, 10, 12 ], [ 2, 3, 4, 5, 6, 10, 12, 13 ], [ 2, 3, 4, 5, 6, 10, 13 ], [ 2, 3, 4, 5, 6, 11 ], [ 2, 3, 4, 5, 6, 12 ], [ 2, 3, 4, 5, 6, 13 ], [ 2, 3, 4, 5, 7 ], [ 2, 3, 4, 5, 7, 8 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 11, 13 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 12 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 12, 13 ] , [ 2, 3, 4, 5, 7, 8, 9, 10, 13 ], [ 2, 3, 4, 5, 7, 8, 9, 11 ], [ 2, 3, 4, 5, 7, 8, 9, 11, 12 ], [ 2, 3, 4, 5, 7, 8, 9, 11, 12, 13 ] , [ 2, 3, 4, 5, 7, 8, 9, 11, 13 ], [ 2, 3, 4, 5, 7, 8, 9, 12 ], [ 2, 3, 4, 5, 7, 8, 9, 12, 13 ], [ 2, 3, 4, 5, 7, 8, 9, 13 ], [ 2, 3, 4, 5, 7, 8, 10, 11 ], [ 2, 3, 4, 5, 7, 8, 10, 11, 12 ], [ 2, 3, 4, 5, 7, 8, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 7, 8, 10, 11, 13 ], [ 2, 3, 4, 5, 7, 8, 10, 12 ], [ 2, 3, 4, 5, 7, 8, 10, 12, 13 ], [ 2, 3, 4, 5, 7, 8, 10, 13 ], [ 2, 3, 4, 5, 7, 8, 11 ], [ 2, 3, 4, 5, 7, 8, 11, 12 ], [ 2, 3, 4, 5, 7, 8, 11, 13 ], [ 2, 3, 4, 5, 7, 8, 12 ], [ 2, 3, 4, 5, 7, 8, 12, 13 ], [ 2, 3, 4, 5, 7, 8, 13 ], [ 2, 3, 4, 5, 7, 9 ], [ 2, 3, 4, 5, 7, 9, 10, 11 ], [ 2, 3, 4, 5, 7, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 7, 9, 10, 11, 13 ], [ 2, 3, 4, 5, 7, 9, 10, 12 ], [ 2, 3, 4, 5, 7, 9, 10, 12, 13 ], [ 2, 3, 4, 5, 7, 9, 10, 13 ], [ 2, 3, 4, 5, 7, 9, 11 ], [ 2, 3, 4, 5, 7, 9, 11, 12 ], [ 2, 3, 4, 5, 7, 9, 11, 12, 13 ], [ 2, 3, 4, 5, 7, 9, 11, 13 ], [ 2, 3, 4, 5, 7, 9, 12 ], [ 2, 3, 4, 5, 7, 9, 12, 13 ], [ 2, 3, 4, 5, 7, 9, 13 ], [ 2, 3, 4, 5, 7, 10 ], [ 2, 3, 4, 5, 7, 10, 11, 12 ], [ 2, 3, 4, 5, 7, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 7, 10, 11, 13 ], [ 2, 3, 4, 5, 7, 10, 12 ], [ 2, 3, 4, 5, 7, 10, 12, 13 ], [ 2, 3, 4, 5, 7, 10, 13 ], [ 2, 3, 4, 5, 7, 11 ], [ 2, 3, 4, 5, 7, 12 ], [ 2, 3, 4, 5, 7, 13 ], [ 2, 3, 4, 5, 8 ], [ 2, 3, 4, 5, 8, 9 ], [ 2, 3, 4, 5, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 8, 9, 10, 11, 13 ], [ 2, 3, 4, 5, 8, 9, 10, 12 ], [ 2, 3, 4, 5, 8, 9, 10, 12, 13 ], [ 2, 3, 4, 5, 8, 9, 10, 13 ], [ 2, 3, 4, 5, 8, 9, 11 ], [ 2, 3, 4, 5, 8, 9, 11, 12 ], [ 2, 3, 4, 5, 8, 9, 11, 12, 13 ], [ 2, 3, 4, 5, 8, 9, 11, 13 ], [ 2, 3, 4, 5, 8, 9, 12 ], [ 2, 3, 4, 5, 8, 9, 12, 13 ], [ 2, 3, 4, 5, 8, 10 ], [ 2, 3, 4, 5, 8, 10, 11 ], [ 2, 3, 4, 5, 8, 10, 11, 12 ], [ 2, 3, 4, 5, 8, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 8, 10, 11, 13 ], [ 2, 3, 4, 5, 8, 10, 12 ], [ 2, 3, 4, 5, 8, 10, 12, 13 ], [ 2, 3, 4, 5, 8, 11 ], [ 2, 3, 4, 5, 8, 12 ], [ 2, 3, 4, 5, 8, 13 ], [ 2, 3, 4, 5, 9, 10, 11 ], [ 2, 3, 4, 5, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 5, 9, 10, 11, 13 ], [ 2, 3, 4, 5, 9, 10, 12, 13 ], [ 2, 3, 4, 5, 9, 10, 13 ], [ 2, 3, 4, 5, 9, 11 ], [ 2, 3, 4, 5, 9, 11, 12 ], [ 2, 3, 4, 5, 9, 11, 13 ], [ 2, 3, 4, 5, 9, 12 ], [ 2, 3, 4, 5, 9, 12, 13 ], [ 2, 3, 4, 5, 9, 13 ], [ 2, 3, 4, 5, 10, 11, 12 ], [ 2, 3, 4, 5, 10, 11, 13 ], [ 2, 3, 4, 5, 10, 12 ], [ 2, 3, 4, 5, 10, 12, 13 ], [ 2, 3, 4, 5, 10, 13 ], [ 2, 3, 4, 6 ], [ 2, 3, 4, 6, 7 ], [ 2, 3, 4, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 6, 7, 8, 9, 10, 11, 13 ], [ 2, 3, 4, 6, 7, 8, 9, 10, 12, 13 ], [ 2, 3, 4, 6, 7, 8, 9, 11 ], [ 2, 3, 4, 6, 7, 8, 9, 11, 12 ], [ 2, 3, 4, 6, 7, 8, 9, 11, 12, 13 ] , [ 2, 3, 4, 6, 7, 8, 9, 11, 13 ], [ 2, 3, 4, 6, 7, 8, 9, 12 ], [ 2, 3, 4, 6, 7, 8, 9, 12, 13 ], [ 2, 3, 4, 6, 7, 8, 9, 13 ], [ 2, 3, 4, 6, 7, 8, 10, 11 ], [ 2, 3, 4, 6, 7, 8, 10, 11, 12 ], [ 2, 3, 4, 6, 7, 8, 10, 11, 12, 13 ], [ 2, 3, 4, 6, 7, 8, 10, 11, 13 ], [ 2, 3, 4, 6, 7, 8, 10, 12 ], [ 2, 3, 4, 6, 7, 8, 10, 12, 13 ], [ 2, 3, 4, 6, 7, 8, 10, 13 ], [ 2, 3, 4, 6, 7, 8, 11 ], [ 2, 3, 4, 6, 7, 8, 11, 12 ], [ 2, 3, 4, 6, 7, 8, 11, 12, 13 ], [ 2, 3, 4, 6, 7, 8, 11, 13 ], [ 2, 3, 4, 6, 7, 8, 12 ], [ 2, 3, 4, 6, 7, 8, 12, 13 ], [ 2, 3, 4, 6, 7, 8, 13 ], [ 2, 3, 4, 6, 7, 9, 10, 11 ], [ 2, 3, 4, 6, 7, 9, 10, 11, 12 ], [ 2, 3, 4, 6, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 6, 7, 9, 10, 11, 13 ], [ 2, 3, 4, 6, 7, 9, 10, 12 ], [ 2, 3, 4, 6, 7, 9, 10, 12, 13 ], [ 2, 3, 4, 6, 7, 9, 10, 13 ], [ 2, 3, 4, 6, 7, 9, 11, 12 ], [ 2, 3, 4, 6, 7, 9, 11, 12, 13 ], [ 2, 3, 4, 6, 7, 9, 11, 13 ], [ 2, 3, 4, 6, 7, 9, 12 ], [ 2, 3, 4, 6, 7, 9, 12, 13 ], [ 2, 3, 4, 6, 7, 9, 13 ], [ 2, 3, 4, 6, 7, 10, 11 ], [ 2, 3, 4, 6, 7, 10, 11, 12 ], [ 2, 3, 4, 6, 7, 10, 11, 12, 13 ], [ 2, 3, 4, 6, 7, 10, 11, 13 ], [ 2, 3, 4, 6, 7, 10, 12 ], [ 2, 3, 4, 6, 7, 10, 12, 13 ], [ 2, 3, 4, 6, 7, 10, 13 ], [ 2, 3, 4, 6, 7, 11, 12 ], [ 2, 3, 4, 6, 7, 11, 13 ], [ 2, 3, 4, 6, 7, 12 ], [ 2, 3, 4, 6, 7, 12, 13 ], [ 2, 3, 4, 6, 7, 13 ], [ 2, 3, 4, 6, 8 ], [ 2, 3, 4, 6, 8, 9, 10, 11 ], [ 2, 3, 4, 6, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 6, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 6, 8, 9, 10, 11, 13 ], [ 2, 3, 4, 6, 8, 9, 10, 12 ], [ 2, 3, 4, 6, 8, 9, 10, 12, 13 ], [ 2, 3, 4, 6, 8, 9, 10, 13 ], [ 2, 3, 4, 6, 8, 9, 11 ], [ 2, 3, 4, 6, 8, 9, 11, 12 ], [ 2, 3, 4, 6, 8, 9, 11, 12, 13 ], [ 2, 3, 4, 6, 8, 9, 11, 13 ], [ 2, 3, 4, 6, 8, 9, 12 ], [ 2, 3, 4, 6, 8, 9, 12, 13 ], [ 2, 3, 4, 6, 8, 10, 11 ], [ 2, 3, 4, 6, 8, 10, 11, 12 ], [ 2, 3, 4, 6, 8, 10, 11, 12, 13 ], [ 2, 3, 4, 6, 8, 10, 11, 13 ], [ 2, 3, 4, 6, 8, 10, 12 ], [ 2, 3, 4, 6, 8, 10, 12, 13 ], [ 2, 3, 4, 6, 8, 10, 13 ], [ 2, 3, 4, 6, 8, 11 ], [ 2, 3, 4, 6, 8, 11, 12 ], [ 2, 3, 4, 6, 8, 11, 13 ], [ 2, 3, 4, 6, 8, 12 ], [ 2, 3, 4, 6, 8, 12, 13 ], [ 2, 3, 4, 6, 8, 13 ], [ 2, 3, 4, 6, 9 ], [ 2, 3, 4, 6, 9, 10, 11 ], [ 2, 3, 4, 6, 9, 10, 11, 12 ], [ 2, 3, 4, 6, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 6, 9, 10, 11, 13 ], [ 2, 3, 4, 6, 9, 10, 12 ], [ 2, 3, 4, 6, 9, 10, 12, 13 ], [ 2, 3, 4, 6, 9, 10, 13 ], [ 2, 3, 4, 6, 9, 11 ], [ 2, 3, 4, 6, 9, 11, 12 ], [ 2, 3, 4, 6, 9, 11, 12, 13 ], [ 2, 3, 4, 6, 9, 11, 13 ], [ 2, 3, 4, 6, 9, 12 ], [ 2, 3, 4, 6, 9, 12, 13 ], [ 2, 3, 4, 6, 10 ], [ 2, 3, 4, 6, 10, 11 ], [ 2, 3, 4, 6, 10, 11, 12 ], [ 2, 3, 4, 6, 10, 11, 12, 13 ], [ 2, 3, 4, 6, 10, 11, 13 ], [ 2, 3, 4, 6, 10, 12 ], [ 2, 3, 4, 6, 10, 12, 13 ], [ 2, 3, 4, 6, 10, 13 ], [ 2, 3, 4, 6, 11 ], [ 2, 3, 4, 6, 12 ], [ 2, 3, 4, 6, 13 ], [ 2, 3, 4, 7, 8 ], [ 2, 3, 4, 7, 8, 9, 10, 11 ], [ 2, 3, 4, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 7, 8, 9, 10, 11, 13 ], [ 2, 3, 4, 7, 8, 9, 10, 12 ], [ 2, 3, 4, 7, 8, 9, 10, 12, 13 ], [ 2, 3, 4, 7, 8, 9, 10, 13 ], [ 2, 3, 4, 7, 8, 9, 11 ], [ 2, 3, 4, 7, 8, 9, 11, 12 ], [ 2, 3, 4, 7, 8, 9, 11, 12, 13 ], [ 2, 3, 4, 7, 8, 9, 11, 13 ], [ 2, 3, 4, 7, 8, 9, 12 ], [ 2, 3, 4, 7, 8, 9, 12, 13 ], [ 2, 3, 4, 7, 8, 9, 13 ], [ 2, 3, 4, 7, 8, 10, 11 ], [ 2, 3, 4, 7, 8, 10, 11, 12 ], [ 2, 3, 4, 7, 8, 10, 11, 12, 13 ], [ 2, 3, 4, 7, 8, 10, 11, 13 ], [ 2, 3, 4, 7, 8, 10, 12 ], [ 2, 3, 4, 7, 8, 10, 12, 13 ], [ 2, 3, 4, 7, 8, 10, 13 ], [ 2, 3, 4, 7, 8, 11 ], [ 2, 3, 4, 7, 8, 11, 12 ], [ 2, 3, 4, 7, 8, 11, 12, 13 ], [ 2, 3, 4, 7, 8, 11, 13 ], [ 2, 3, 4, 7, 8, 12 ], [ 2, 3, 4, 7, 8, 12, 13 ], [ 2, 3, 4, 7, 8, 13 ], [ 2, 3, 4, 7, 9, 10, 11 ], [ 2, 3, 4, 7, 9, 10, 11, 12 ], [ 2, 3, 4, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 7, 9, 10, 11, 13 ], [ 2, 3, 4, 7, 9, 10, 12, 13 ], [ 2, 3, 4, 7, 9, 10, 13 ], [ 2, 3, 4, 7, 9, 11, 12 ], [ 2, 3, 4, 7, 9, 11, 12, 13 ], [ 2, 3, 4, 7, 9, 11, 13 ], [ 2, 3, 4, 7, 9, 12 ], [ 2, 3, 4, 7, 9, 12, 13 ], [ 2, 3, 4, 7, 9, 13 ], [ 2, 3, 4, 7, 10 ], [ 2, 3, 4, 7, 10, 11, 12 ], [ 2, 3, 4, 7, 10, 11, 12, 13 ], [ 2, 3, 4, 7, 10, 11, 13 ], [ 2, 3, 4, 7, 10, 12 ], [ 2, 3, 4, 7, 10, 12, 13 ], [ 2, 3, 4, 7, 10, 13 ], [ 2, 3, 4, 7, 12 ], [ 2, 3, 4, 7, 13 ], [ 2, 3, 4, 8 ], [ 2, 3, 4, 8, 9 ], [ 2, 3, 4, 8, 9, 10, 11 ], [ 2, 3, 4, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 8, 9, 10, 11, 13 ], [ 2, 3, 4, 8, 9, 10, 12, 13 ], [ 2, 3, 4, 8, 9, 10, 13 ], [ 2, 3, 4, 8, 9, 11 ], [ 2, 3, 4, 8, 9, 11, 12 ], [ 2, 3, 4, 8, 9, 11, 12, 13 ], [ 2, 3, 4, 8, 9, 11, 13 ], [ 2, 3, 4, 8, 9, 12 ], [ 2, 3, 4, 8, 9, 12, 13 ], [ 2, 3, 4, 8, 10 ], [ 2, 3, 4, 8, 10, 11 ], [ 2, 3, 4, 8, 10, 11, 12 ], [ 2, 3, 4, 8, 10, 11, 12, 13 ], [ 2, 3, 4, 8, 10, 11, 13 ], [ 2, 3, 4, 8, 10, 12 ], [ 2, 3, 4, 8, 10, 12, 13 ], [ 2, 3, 4, 8, 10, 13 ], [ 2, 3, 4, 8, 11 ], [ 2, 3, 4, 8, 12 ], [ 2, 3, 4, 9, 10, 11 ], [ 2, 3, 4, 9, 10, 11, 12 ], [ 2, 3, 4, 9, 10, 11, 12, 13 ], [ 2, 3, 4, 9, 10, 11, 13 ], [ 2, 3, 4, 9, 10, 12, 13 ], [ 2, 3, 4, 9, 10, 13 ], [ 2, 3, 4, 9, 11 ], [ 2, 3, 4, 9, 11, 12 ], [ 2, 3, 4, 9, 11, 13 ], [ 2, 3, 4, 9, 12, 13 ], [ 2, 3, 4, 10, 11 ], [ 2, 3, 4, 10, 11, 12 ], [ 2, 3, 4, 10, 11, 13 ], [ 2, 3, 4, 10, 12, 13 ], [ 2, 3, 4, 10, 13 ], [ 2, 3, 5, 6 ], [ 2, 3, 5, 6, 7 ], [ 2, 3, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 5, 6, 7, 8, 9, 10, 11, 13 ], [ 2, 3, 5, 6, 7, 8, 9, 10, 12, 13 ], [ 2, 3, 5, 6, 7, 8, 9, 11 ], [ 2, 3, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 3, 5, 6, 7, 8, 9, 11, 12, 13 ] , [ 2, 3, 5, 6, 7, 8, 9, 11, 13 ], [ 2, 3, 5, 6, 7, 8, 9, 12 ], [ 2, 3, 5, 6, 7, 8, 9, 12, 13 ], [ 2, 3, 5, 6, 7, 8, 9, 13 ], [ 2, 3, 5, 6, 7, 8, 10, 11 ], [ 2, 3, 5, 6, 7, 8, 10, 11, 12 ], [ 2, 3, 5, 6, 7, 8, 10, 11, 12, 13 ], [ 2, 3, 5, 6, 7, 8, 10, 11, 13 ], [ 2, 3, 5, 6, 7, 8, 10, 12 ], [ 2, 3, 5, 6, 7, 8, 10, 12, 13 ], [ 2, 3, 5, 6, 7, 8, 10, 13 ], [ 2, 3, 5, 6, 7, 8, 11 ], [ 2, 3, 5, 6, 7, 8, 11, 12 ], [ 2, 3, 5, 6, 7, 8, 11, 12, 13 ], [ 2, 3, 5, 6, 7, 8, 11, 13 ], [ 2, 3, 5, 6, 7, 8, 12 ], [ 2, 3, 5, 6, 7, 8, 12, 13 ], [ 2, 3, 5, 6, 7, 8, 13 ], [ 2, 3, 5, 6, 7, 9, 10, 11 ], [ 2, 3, 5, 6, 7, 9, 10, 11, 12 ], [ 2, 3, 5, 6, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 5, 6, 7, 9, 10, 11, 13 ], [ 2, 3, 5, 6, 7, 9, 10, 12 ], [ 2, 3, 5, 6, 7, 9, 10, 12, 13 ], [ 2, 3, 5, 6, 7, 9, 10, 13 ], [ 2, 3, 5, 6, 7, 9, 11 ], [ 2, 3, 5, 6, 7, 9, 11, 12 ], [ 2, 3, 5, 6, 7, 9, 11, 12, 13 ], [ 2, 3, 5, 6, 7, 9, 11, 13 ], [ 2, 3, 5, 6, 7, 9, 12 ], [ 2, 3, 5, 6, 7, 9, 12, 13 ], [ 2, 3, 5, 6, 7, 9, 13 ], [ 2, 3, 5, 6, 7, 10, 11, 12 ], [ 2, 3, 5, 6, 7, 10, 11, 12, 13 ], [ 2, 3, 5, 6, 7, 10, 11, 13 ], [ 2, 3, 5, 6, 7, 10, 12 ], [ 2, 3, 5, 6, 7, 10, 12, 13 ], [ 2, 3, 5, 6, 7, 10, 13 ], [ 2, 3, 5, 6, 7, 11, 12 ], [ 2, 3, 5, 6, 7, 11, 13 ], [ 2, 3, 5, 6, 7, 12 ], [ 2, 3, 5, 6, 7, 12, 13 ], [ 2, 3, 5, 6, 7, 13 ], [ 2, 3, 5, 6, 8, 9, 10, 11 ], [ 2, 3, 5, 6, 8, 9, 10, 11, 12 ], [ 2, 3, 5, 6, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 5, 6, 8, 9, 10, 11, 13 ], [ 2, 3, 5, 6, 8, 9, 10, 12 ], [ 2, 3, 5, 6, 8, 9, 10, 12, 13 ], [ 2, 3, 5, 6, 8, 9, 10, 13 ], [ 2, 3, 5, 6, 8, 9, 11 ], [ 2, 3, 5, 6, 8, 9, 11, 12 ], [ 2, 3, 5, 6, 8, 9, 11, 12, 13 ], [ 2, 3, 5, 6, 8, 9, 11, 13 ], [ 2, 3, 5, 6, 8, 9, 12 ], [ 2, 3, 5, 6, 8, 9, 12, 13 ], [ 2, 3, 5, 6, 8, 9, 13 ], [ 2, 3, 5, 6, 8, 10, 11 ], [ 2, 3, 5, 6, 8, 10, 11, 12 ], [ 2, 3, 5, 6, 8, 10, 11, 12, 13 ], [ 2, 3, 5, 6, 8, 10, 11, 13 ], [ 2, 3, 5, 6, 8, 10, 12 ], [ 2, 3, 5, 6, 8, 10, 12, 13 ], [ 2, 3, 5, 6, 8, 11 ], [ 2, 3, 5, 6, 8, 11, 12 ], [ 2, 3, 5, 6, 8, 11, 13 ], [ 2, 3, 5, 6, 8, 12 ], [ 2, 3, 5, 6, 8, 12, 13 ], [ 2, 3, 5, 6, 9 ], [ 2, 3, 5, 6, 9, 10, 11 ], [ 2, 3, 5, 6, 9, 10, 11, 12 ], [ 2, 3, 5, 6, 9, 10, 11, 12, 13 ], [ 2, 3, 5, 6, 9, 10, 11, 13 ], [ 2, 3, 5, 6, 9, 10, 12 ], [ 2, 3, 5, 6, 9, 10, 12, 13 ], [ 2, 3, 5, 6, 9, 10, 13 ], [ 2, 3, 5, 6, 9, 11 ], [ 2, 3, 5, 6, 9, 11, 12 ], [ 2, 3, 5, 6, 9, 11, 12, 13 ], [ 2, 3, 5, 6, 9, 11, 13 ], [ 2, 3, 5, 6, 9, 12 ], [ 2, 3, 5, 6, 9, 12, 13 ], [ 2, 3, 5, 6, 9, 13 ], [ 2, 3, 5, 6, 10 ], [ 2, 3, 5, 6, 10, 11, 12 ], [ 2, 3, 5, 6, 10, 11, 12, 13 ], [ 2, 3, 5, 6, 10, 11, 13 ], [ 2, 3, 5, 6, 10, 12 ], [ 2, 3, 5, 6, 10, 12, 13 ], [ 2, 3, 5, 6, 10, 13 ], [ 2, 3, 5, 6, 11 ], [ 2, 3, 5, 6, 12 ], [ 2, 3, 5, 6, 13 ], [ 2, 3, 5, 7 ], [ 2, 3, 5, 7, 8 ], [ 2, 3, 5, 7, 8, 9, 10, 11 ], [ 2, 3, 5, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 5, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 5, 7, 8, 9, 10, 11, 13 ], [ 2, 3, 5, 7, 8, 9, 10, 12 ], [ 2, 3, 5, 7, 8, 9, 10, 12, 13 ], [ 2, 3, 5, 7, 8, 9, 10, 13 ], [ 2, 3, 5, 7, 8, 9, 11 ], [ 2, 3, 5, 7, 8, 9, 11, 12 ], [ 2, 3, 5, 7, 8, 9, 11, 12, 13 ], [ 2, 3, 5, 7, 8, 9, 11, 13 ], [ 2, 3, 5, 7, 8, 9, 12 ], [ 2, 3, 5, 7, 8, 9, 12, 13 ], [ 2, 3, 5, 7, 8, 9, 13 ], [ 2, 3, 5, 7, 8, 10, 11 ], [ 2, 3, 5, 7, 8, 10, 11, 12 ], [ 2, 3, 5, 7, 8, 10, 11, 12, 13 ], [ 2, 3, 5, 7, 8, 10, 11, 13 ], [ 2, 3, 5, 7, 8, 10, 12 ], [ 2, 3, 5, 7, 8, 10, 12, 13 ], [ 2, 3, 5, 7, 8, 10, 13 ], [ 2, 3, 5, 7, 8, 11 ], [ 2, 3, 5, 7, 8, 11, 12 ], [ 2, 3, 5, 7, 8, 11, 12, 13 ], [ 2, 3, 5, 7, 8, 11, 13 ], [ 2, 3, 5, 7, 8, 12 ], [ 2, 3, 5, 7, 8, 12, 13 ], [ 2, 3, 5, 7, 8, 13 ], [ 2, 3, 5, 7, 9 ], [ 2, 3, 5, 7, 9, 10, 11 ], [ 2, 3, 5, 7, 9, 10, 11, 12 ], [ 2, 3, 5, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 5, 7, 9, 10, 11, 13 ], [ 2, 3, 5, 7, 9, 10, 12, 13 ], [ 2, 3, 5, 7, 9, 10, 13 ], [ 2, 3, 5, 7, 9, 11 ], [ 2, 3, 5, 7, 9, 11, 12 ], [ 2, 3, 5, 7, 9, 11, 12, 13 ], [ 2, 3, 5, 7, 9, 11, 13 ], [ 2, 3, 5, 7, 9, 12 ], [ 2, 3, 5, 7, 9, 12, 13 ], [ 2, 3, 5, 7, 9, 13 ], [ 2, 3, 5, 7, 10 ], [ 2, 3, 5, 7, 10, 11, 12, 13 ], [ 2, 3, 5, 7, 10, 11, 13 ], [ 2, 3, 5, 7, 10, 12 ], [ 2, 3, 5, 7, 10, 12, 13 ], [ 2, 3, 5, 7, 10, 13 ], [ 2, 3, 5, 7, 12 ], [ 2, 3, 5, 7, 13 ], [ 2, 3, 5, 8, 9 ], [ 2, 3, 5, 8, 9, 10, 11 ], [ 2, 3, 5, 8, 9, 10, 11, 12 ], [ 2, 3, 5, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 5, 8, 9, 10, 11, 13 ], [ 2, 3, 5, 8, 9, 10, 12, 13 ], [ 2, 3, 5, 8, 9, 10, 13 ], [ 2, 3, 5, 8, 9, 11 ], [ 2, 3, 5, 8, 9, 11, 12 ], [ 2, 3, 5, 8, 9, 11, 12, 13 ], [ 2, 3, 5, 8, 9, 11, 13 ], [ 2, 3, 5, 8, 9, 12 ], [ 2, 3, 5, 8, 9, 12, 13 ], [ 2, 3, 5, 8, 10, 11 ], [ 2, 3, 5, 8, 10, 11, 12 ], [ 2, 3, 5, 8, 10, 11, 12, 13 ], [ 2, 3, 5, 8, 10, 11, 13 ], [ 2, 3, 5, 8, 10, 12 ], [ 2, 3, 5, 8, 11 ], [ 2, 3, 5, 8, 12 ], [ 2, 3, 5, 9, 10, 11 ], [ 2, 3, 5, 9, 10, 11, 12 ], [ 2, 3, 5, 9, 10, 11, 12, 13 ], [ 2, 3, 5, 9, 10, 11, 13 ], [ 2, 3, 5, 9, 10, 12, 13 ], [ 2, 3, 5, 9, 10, 13 ], [ 2, 3, 5, 9, 11 ], [ 2, 3, 5, 9, 11, 12 ], [ 2, 3, 5, 9, 11, 13 ], [ 2, 3, 5, 9, 12, 13 ], [ 2, 3, 5, 9, 13 ], [ 2, 3, 5, 10, 11, 12 ], [ 2, 3, 5, 10, 11, 13 ], [ 2, 3, 5, 10, 12, 13 ], [ 2, 3, 5, 10, 13 ], [ 2, 3, 6 ], [ 2, 3, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 6, 7, 8, 9, 10, 11, 13 ], [ 2, 3, 6, 7, 8, 9, 10, 12, 13 ], [ 2, 3, 6, 7, 8, 9, 11 ], [ 2, 3, 6, 7, 8, 9, 11, 12 ], [ 2, 3, 6, 7, 8, 9, 11, 12, 13 ], [ 2, 3, 6, 7, 8, 9, 11, 13 ], [ 2, 3, 6, 7, 8, 9, 12 ], [ 2, 3, 6, 7, 8, 9, 12, 13 ], [ 2, 3, 6, 7, 8, 9, 13 ], [ 2, 3, 6, 7, 8, 10, 11 ], [ 2, 3, 6, 7, 8, 10, 11, 12 ], [ 2, 3, 6, 7, 8, 10, 11, 12, 13 ], [ 2, 3, 6, 7, 8, 10, 11, 13 ], [ 2, 3, 6, 7, 8, 10, 12 ], [ 2, 3, 6, 7, 8, 10, 12, 13 ], [ 2, 3, 6, 7, 8, 10, 13 ], [ 2, 3, 6, 7, 8, 11 ], [ 2, 3, 6, 7, 8, 11, 12 ], [ 2, 3, 6, 7, 8, 11, 12, 13 ], [ 2, 3, 6, 7, 8, 11, 13 ], [ 2, 3, 6, 7, 8, 12 ], [ 2, 3, 6, 7, 8, 12, 13 ], [ 2, 3, 6, 7, 8, 13 ], [ 2, 3, 6, 7, 9, 10, 11, 12 ], [ 2, 3, 6, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 6, 7, 9, 10, 11, 13 ], [ 2, 3, 6, 7, 9, 10, 12, 13 ], [ 2, 3, 6, 7, 9, 11 ], [ 2, 3, 6, 7, 9, 11, 12 ], [ 2, 3, 6, 7, 9, 11, 12, 13 ], [ 2, 3, 6, 7, 9, 11, 13 ], [ 2, 3, 6, 7, 9, 12 ], [ 2, 3, 6, 7, 9, 12, 13 ], [ 2, 3, 6, 7, 9, 13 ], [ 2, 3, 6, 7, 10, 11, 12 ], [ 2, 3, 6, 7, 10, 11, 12, 13 ], [ 2, 3, 6, 7, 10, 11, 13 ], [ 2, 3, 6, 7, 10, 12 ], [ 2, 3, 6, 7, 10, 12, 13 ], [ 2, 3, 6, 7, 10, 13 ], [ 2, 3, 6, 7, 11 ], [ 2, 3, 6, 7, 11, 12 ], [ 2, 3, 6, 7, 11, 12, 13 ], [ 2, 3, 6, 7, 11, 13 ], [ 2, 3, 6, 7, 12 ], [ 2, 3, 6, 7, 12, 13 ], [ 2, 3, 6, 7, 13 ], [ 2, 3, 6, 8, 9, 10, 11, 12 ], [ 2, 3, 6, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 6, 8, 9, 10, 11, 13 ], [ 2, 3, 6, 8, 9, 10, 12, 13 ], [ 2, 3, 6, 8, 9, 11 ], [ 2, 3, 6, 8, 9, 11, 12 ], [ 2, 3, 6, 8, 9, 11, 12, 13 ], [ 2, 3, 6, 8, 9, 11, 13 ], [ 2, 3, 6, 8, 9, 12 ], [ 2, 3, 6, 8, 9, 12, 13 ], [ 2, 3, 6, 8, 10, 11 ], [ 2, 3, 6, 8, 10, 11, 12 ], [ 2, 3, 6, 8, 10, 11, 12, 13 ], [ 2, 3, 6, 8, 10, 11, 13 ], [ 2, 3, 6, 8, 10, 12 ], [ 2, 3, 6, 8, 10, 12, 13 ], [ 2, 3, 6, 8, 11 ], [ 2, 3, 6, 8, 11, 12 ], [ 2, 3, 6, 8, 11, 12, 13 ], [ 2, 3, 6, 8, 11, 13 ], [ 2, 3, 6, 8, 12 ], [ 2, 3, 6, 8, 12, 13 ], [ 2, 3, 6, 8, 13 ], [ 2, 3, 6, 9, 10, 11 ], [ 2, 3, 6, 9, 10, 11, 12 ], [ 2, 3, 6, 9, 10, 11, 12, 13 ], [ 2, 3, 6, 9, 10, 11, 13 ], [ 2, 3, 6, 9, 10, 12 ], [ 2, 3, 6, 9, 10, 12, 13 ], [ 2, 3, 6, 9, 10, 13 ], [ 2, 3, 6, 9, 11 ], [ 2, 3, 6, 9, 11, 12 ], [ 2, 3, 6, 9, 11, 12, 13 ], [ 2, 3, 6, 9, 11, 13 ], [ 2, 3, 6, 9, 12 ], [ 2, 3, 6, 9, 12, 13 ], [ 2, 3, 6, 9, 13 ], [ 2, 3, 6, 10, 11 ], [ 2, 3, 6, 10, 11, 12 ], [ 2, 3, 6, 10, 11, 12, 13 ], [ 2, 3, 6, 10, 11, 13 ], [ 2, 3, 6, 10, 12 ], [ 2, 3, 6, 10, 12, 13 ], [ 2, 3, 6, 10, 13 ], [ 2, 3, 6, 11 ], [ 2, 3, 6, 11, 12 ], [ 2, 3, 6, 11, 13 ], [ 2, 3, 6, 12 ], [ 2, 3, 6, 12, 13 ], [ 2, 3, 6, 13 ], [ 2, 3, 7 ], [ 2, 3, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 7, 8, 9, 10, 11, 13 ], [ 2, 3, 7, 8, 9, 10, 12, 13 ], [ 2, 3, 7, 8, 9, 11 ], [ 2, 3, 7, 8, 9, 11, 12 ], [ 2, 3, 7, 8, 9, 11, 12, 13 ], [ 2, 3, 7, 8, 9, 11, 13 ], [ 2, 3, 7, 8, 9, 12 ], [ 2, 3, 7, 8, 9, 12, 13 ], [ 2, 3, 7, 8, 9, 13 ], [ 2, 3, 7, 8, 10, 11 ], [ 2, 3, 7, 8, 10, 11, 12 ], [ 2, 3, 7, 8, 10, 11, 12, 13 ], [ 2, 3, 7, 8, 10, 11, 13 ], [ 2, 3, 7, 8, 10, 12 ], [ 2, 3, 7, 8, 10, 12, 13 ], [ 2, 3, 7, 8, 10, 13 ], [ 2, 3, 7, 8, 11 ], [ 2, 3, 7, 8, 11, 12 ], [ 2, 3, 7, 8, 11, 12, 13 ], [ 2, 3, 7, 8, 11, 13 ], [ 2, 3, 7, 8, 12 ], [ 2, 3, 7, 8, 12, 13 ], [ 2, 3, 7, 8, 13 ], [ 2, 3, 7, 9, 10, 11 ], [ 2, 3, 7, 9, 10, 11, 12 ], [ 2, 3, 7, 9, 10, 11, 12, 13 ], [ 2, 3, 7, 9, 10, 11, 13 ], [ 2, 3, 7, 9, 10, 12, 13 ], [ 2, 3, 7, 9, 10, 13 ], [ 2, 3, 7, 9, 11, 12 ], [ 2, 3, 7, 9, 11, 12, 13 ], [ 2, 3, 7, 9, 11, 13 ], [ 2, 3, 7, 9, 12 ], [ 2, 3, 7, 9, 12, 13 ], [ 2, 3, 7, 9, 13 ], [ 2, 3, 7, 10, 11, 12 ], [ 2, 3, 7, 10, 11, 12, 13 ], [ 2, 3, 7, 10, 11, 13 ], [ 2, 3, 7, 10, 12 ], [ 2, 3, 7, 10, 12, 13 ], [ 2, 3, 7, 10, 13 ], [ 2, 3, 7, 11, 12 ], [ 2, 3, 7, 11, 13 ], [ 2, 3, 7, 12 ], [ 2, 3, 7, 12, 13 ], [ 2, 3, 7, 13 ], [ 2, 3, 8 ], [ 2, 3, 8, 9, 10, 11 ], [ 2, 3, 8, 9, 10, 11, 12 ], [ 2, 3, 8, 9, 10, 11, 12, 13 ], [ 2, 3, 8, 9, 10, 11, 13 ], [ 2, 3, 8, 9, 10, 12, 13 ], [ 2, 3, 8, 9, 10, 13 ], [ 2, 3, 8, 9, 11 ], [ 2, 3, 8, 9, 11, 12 ], [ 2, 3, 8, 9, 11, 12, 13 ], [ 2, 3, 8, 9, 11, 13 ], [ 2, 3, 8, 9, 12 ], [ 2, 3, 8, 9, 12, 13 ], [ 2, 3, 8, 10, 11 ], [ 2, 3, 8, 10, 11, 12 ], [ 2, 3, 8, 10, 11, 12, 13 ], [ 2, 3, 8, 10, 11, 13 ], [ 2, 3, 8, 10, 12 ], [ 2, 3, 8, 10, 12, 13 ], [ 2, 3, 8, 11 ], [ 2, 3, 8, 11, 12 ], [ 2, 3, 8, 11, 13 ], [ 2, 3, 8, 12 ], [ 2, 3, 8, 12, 13 ], [ 2, 3, 9 ], [ 2, 3, 9, 10, 11 ], [ 2, 3, 9, 10, 11, 12 ], [ 2, 3, 9, 10, 11, 12, 13 ], [ 2, 3, 9, 10, 11, 13 ], [ 2, 3, 9, 10, 12, 13 ], [ 2, 3, 9, 10, 13 ], [ 2, 3, 9, 11 ], [ 2, 3, 9, 11, 12 ], [ 2, 3, 9, 11, 13 ], [ 2, 3, 9, 12, 13 ], [ 2, 3, 10 ], [ 2, 3, 10, 11, 12 ], [ 2, 3, 10, 11, 13 ], [ 2, 3, 10, 12, 13 ], [ 2, 3, 10, 13 ], [ 2, 4 ], [ 2, 4, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 4, 5, 6, 7, 8, 9, 10, 11, 13 ], [ 2, 4, 5, 6, 7, 8, 9, 10, 12, 13 ], [ 2, 4, 5, 6, 7, 8, 9, 11 ], [ 2, 4, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 4, 5, 6, 7, 8, 9, 11, 12, 13 ] , [ 2, 4, 5, 6, 7, 8, 9, 11, 13 ], [ 2, 4, 5, 6, 7, 8, 9, 12 ], [ 2, 4, 5, 6, 7, 8, 9, 12, 13 ], [ 2, 4, 5, 6, 7, 8, 9, 13 ], [ 2, 4, 5, 6, 7, 8, 10, 11 ], [ 2, 4, 5, 6, 7, 8, 10, 11, 12 ], [ 2, 4, 5, 6, 7, 8, 10, 11, 12, 13 ], [ 2, 4, 5, 6, 7, 8, 10, 11, 13 ], [ 2, 4, 5, 6, 7, 8, 10, 12 ], [ 2, 4, 5, 6, 7, 8, 10, 12, 13 ], [ 2, 4, 5, 6, 7, 8, 10, 13 ], [ 2, 4, 5, 6, 7, 8, 11, 12 ], [ 2, 4, 5, 6, 7, 8, 11, 12, 13 ], [ 2, 4, 5, 6, 7, 8, 12 ], [ 2, 4, 5, 6, 7, 8, 12, 13 ], [ 2, 4, 5, 6, 7, 9, 10, 11 ], [ 2, 4, 5, 6, 7, 9, 10, 11, 12 ], [ 2, 4, 5, 6, 7, 9, 10, 11, 12, 13 ], [ 2, 4, 5, 6, 7, 9, 10, 11, 13 ], [ 2, 4, 5, 6, 7, 9, 10, 12 ], [ 2, 4, 5, 6, 7, 9, 10, 12, 13 ], [ 2, 4, 5, 6, 7, 9, 10, 13 ], [ 2, 4, 5, 6, 7, 9, 11 ], [ 2, 4, 5, 6, 7, 9, 11, 12 ], [ 2, 4, 5, 6, 7, 9, 11, 12, 13 ], [ 2, 4, 5, 6, 7, 9, 11, 13 ], [ 2, 4, 5, 6, 7, 9, 12 ], [ 2, 4, 5, 6, 7, 9, 12, 13 ], [ 2, 4, 5, 6, 7, 9, 13 ], [ 2, 4, 5, 6, 7, 10, 11, 12 ], [ 2, 4, 5, 6, 7, 10, 11, 12, 13 ], [ 2, 4, 5, 6, 7, 10, 11, 13 ], [ 2, 4, 5, 6, 7, 10, 12 ], [ 2, 4, 5, 6, 7, 10, 12, 13 ], [ 2, 4, 5, 6, 7, 10, 13 ], [ 2, 4, 5, 6, 7, 11, 12 ], [ 2, 4, 5, 6, 7, 12 ], [ 2, 4, 5, 6, 7, 12, 13 ], [ 2, 4, 5, 6, 8, 9, 10, 11 ], [ 2, 4, 5, 6, 8, 9, 10, 11, 12 ], [ 2, 4, 5, 6, 8, 9, 10, 11, 12, 13 ], [ 2, 4, 5, 6, 8, 9, 10, 11, 13 ], [ 2, 4, 5, 6, 8, 9, 10, 12 ], [ 2, 4, 5, 6, 8, 9, 10, 12, 13 ], [ 2, 4, 5, 6, 8, 9, 10, 13 ], [ 2, 4, 5, 6, 8, 9, 11 ], [ 2, 4, 5, 6, 8, 9, 11, 12 ], [ 2, 4, 5, 6, 8, 9, 11, 12, 13 ], [ 2, 4, 5, 6, 8, 9, 11, 13 ], [ 2, 4, 5, 6, 8, 9, 12 ], [ 2, 4, 5, 6, 8, 9, 12, 13 ], [ 2, 4, 5, 6, 8, 10, 11 ], [ 2, 4, 5, 6, 8, 10, 11, 12 ], [ 2, 4, 5, 6, 8, 10, 11, 12, 13 ], [ 2, 4, 5, 6, 8, 10, 11, 13 ], [ 2, 4, 5, 6, 8, 10, 12 ], [ 2, 4, 5, 6, 8, 10, 12, 13 ], [ 2, 4, 5, 6, 8, 10, 13 ], [ 2, 4, 5, 6, 8, 11, 12 ], [ 2, 4, 5, 6, 8, 12 ], [ 2, 4, 5, 6, 8, 12, 13 ], [ 2, 4, 5, 6, 9 ], [ 2, 4, 5, 6, 9, 10, 11 ], [ 2, 4, 5, 6, 9, 10, 11, 12 ], [ 2, 4, 5, 6, 9, 10, 11, 12, 13 ], [ 2, 4, 5, 6, 9, 10, 11, 13 ], [ 2, 4, 5, 6, 9, 10, 12 ], [ 2, 4, 5, 6, 9, 10, 12, 13 ], [ 2, 4, 5, 6, 9, 10, 13 ], [ 2, 4, 5, 6, 9, 11 ], [ 2, 4, 5, 6, 9, 11, 12 ], [ 2, 4, 5, 6, 9, 11, 12, 13 ], [ 2, 4, 5, 6, 9, 11, 13 ], [ 2, 4, 5, 6, 9, 12 ], [ 2, 4, 5, 6, 9, 12, 13 ], [ 2, 4, 5, 6, 9, 13 ], [ 2, 4, 5, 6, 10 ], [ 2, 4, 5, 6, 10, 11 ], [ 2, 4, 5, 6, 10, 11, 12 ], [ 2, 4, 5, 6, 10, 11, 12, 13 ], [ 2, 4, 5, 6, 10, 11, 13 ], [ 2, 4, 5, 6, 10, 12 ], [ 2, 4, 5, 6, 10, 12, 13 ], [ 2, 4, 5, 6, 10, 13 ], [ 2, 4, 5, 6, 12 ], [ 2, 4, 5, 7 ], [ 2, 4, 5, 7, 8 ], [ 2, 4, 5, 7, 8, 9, 10, 11 ], [ 2, 4, 5, 7, 8, 9, 10, 11, 12 ], [ 2, 4, 5, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 4, 5, 7, 8, 9, 10, 11, 13 ], [ 2, 4, 5, 7, 8, 9, 10, 12 ], [ 2, 4, 5, 7, 8, 9, 10, 12, 13 ], [ 2, 4, 5, 7, 8, 9, 10, 13 ], [ 2, 4, 5, 7, 8, 9, 11 ], [ 2, 4, 5, 7, 8, 9, 11, 12 ], [ 2, 4, 5, 7, 8, 9, 11, 12, 13 ], [ 2, 4, 5, 7, 8, 9, 11, 13 ], [ 2, 4, 5, 7, 8, 9, 12 ], [ 2, 4, 5, 7, 8, 9, 12, 13 ], [ 2, 4, 5, 7, 8, 9, 13 ], [ 2, 4, 5, 7, 8, 10, 11 ], [ 2, 4, 5, 7, 8, 10, 11, 12 ], [ 2, 4, 5, 7, 8, 10, 11, 12, 13 ], [ 2, 4, 5, 7, 8, 10, 11, 13 ], [ 2, 4, 5, 7, 8, 10, 12 ], [ 2, 4, 5, 7, 8, 10, 12, 13 ], [ 2, 4, 5, 7, 8, 10, 13 ], [ 2, 4, 5, 7, 8, 11 ], [ 2, 4, 5, 7, 8, 11, 12 ], [ 2, 4, 5, 7, 8, 11, 13 ], [ 2, 4, 5, 7, 8, 12 ], [ 2, 4, 5, 7, 8, 12, 13 ], [ 2, 4, 5, 7, 8, 13 ], [ 2, 4, 5, 7, 9 ], [ 2, 4, 5, 7, 9, 10, 11 ], [ 2, 4, 5, 7, 9, 10, 11, 12 ], [ 2, 4, 5, 7, 9, 10, 11, 12, 13 ], [ 2, 4, 5, 7, 9, 10, 11, 13 ], [ 2, 4, 5, 7, 9, 10, 12 ], [ 2, 4, 5, 7, 9, 10, 12, 13 ], [ 2, 4, 5, 7, 9, 10, 13 ], [ 2, 4, 5, 7, 9, 11 ], [ 2, 4, 5, 7, 9, 11, 12 ], [ 2, 4, 5, 7, 9, 11, 12, 13 ], [ 2, 4, 5, 7, 9, 11, 13 ], [ 2, 4, 5, 7, 9, 12 ], [ 2, 4, 5, 7, 9, 12, 13 ], [ 2, 4, 5, 7, 9, 13 ], [ 2, 4, 5, 7, 10 ], [ 2, 4, 5, 7, 10, 11, 12 ], [ 2, 4, 5, 7, 10, 11, 12, 13 ], [ 2, 4, 5, 7, 10, 11, 13 ], [ 2, 4, 5, 7, 10, 12 ], [ 2, 4, 5, 7, 10, 12, 13 ], [ 2, 4, 5, 7, 10, 13 ], [ 2, 4, 5, 7, 11 ], [ 2, 4, 5, 7, 12 ], [ 2, 4, 5, 7, 13 ], [ 2, 4, 5, 8 ], [ 2, 4, 5, 8, 9 ], [ 2, 4, 5, 8, 9, 10, 11 ], [ 2, 4, 5, 8, 9, 10, 11, 12 ], [ 2, 4, 5, 8, 9, 10, 11, 12, 13 ], [ 2, 4, 5, 8, 9, 10, 11, 13 ], [ 2, 4, 5, 8, 9, 10, 12 ], [ 2, 4, 5, 8, 9, 10, 12, 13 ], [ 2, 4, 5, 8, 9, 10, 13 ], [ 2, 4, 5, 8, 9, 11 ], [ 2, 4, 5, 8, 9, 11, 12 ], [ 2, 4, 5, 8, 9, 11, 12, 13 ], [ 2, 4, 5, 8, 9, 11, 13 ], [ 2, 4, 5, 8, 9, 12 ], [ 2, 4, 5, 8, 9, 12, 13 ], [ 2, 4, 5, 8, 10 ], [ 2, 4, 5, 8, 10, 11 ], [ 2, 4, 5, 8, 10, 11, 12 ], [ 2, 4, 5, 8, 10, 11, 12, 13 ], [ 2, 4, 5, 8, 10, 11, 13 ], [ 2, 4, 5, 8, 10, 12 ], [ 2, 4, 5, 8, 10, 12, 13 ], [ 2, 4, 5, 8, 11 ], [ 2, 4, 5, 8, 12 ], [ 2, 4, 5, 8, 13 ], [ 2, 4, 5, 9 ], [ 2, 4, 5, 9, 10, 11 ], [ 2, 4, 5, 9, 10, 11, 12 ], [ 2, 4, 5, 9, 10, 11, 12, 13 ], [ 2, 4, 5, 9, 10, 11, 13 ], [ 2, 4, 5, 9, 10, 12 ], [ 2, 4, 5, 9, 10, 12, 13 ], [ 2, 4, 5, 9, 10, 13 ], [ 2, 4, 5, 9, 11 ], [ 2, 4, 5, 9, 11, 12 ], [ 2, 4, 5, 9, 11, 13 ], [ 2, 4, 5, 9, 12 ], [ 2, 4, 5, 9, 12, 13 ], [ 2, 4, 5, 9, 13 ], [ 2, 4, 5, 10 ], [ 2, 4, 5, 10, 11, 12 ], [ 2, 4, 5, 10, 11, 13 ], [ 2, 4, 5, 10, 12 ], [ 2, 4, 5, 10, 12, 13 ], [ 2, 4, 5, 10, 13 ], [ 2, 4, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 4, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 4, 6, 7, 8, 9, 10, 11, 13 ], [ 2, 4, 6, 7, 8, 9, 10, 12, 13 ], [ 2, 4, 6, 7, 8, 9, 11 ], [ 2, 4, 6, 7, 8, 9, 11, 12 ], [ 2, 4, 6, 7, 8, 9, 11, 12, 13 ], [ 2, 4, 6, 7, 8, 9, 11, 13 ], [ 2, 4, 6, 7, 8, 9, 12 ], [ 2, 4, 6, 7, 8, 9, 12, 13 ], [ 2, 4, 6, 7, 8, 9, 13 ], [ 2, 4, 6, 7, 8, 10, 11 ], [ 2, 4, 6, 7, 8, 10, 11, 12 ], [ 2, 4, 6, 7, 8, 10, 11, 12, 13 ], [ 2, 4, 6, 7, 8, 10, 11, 13 ], [ 2, 4, 6, 7, 8, 10, 12 ], [ 2, 4, 6, 7, 8, 10, 12, 13 ], [ 2, 4, 6, 7, 8, 10, 13 ], [ 2, 4, 6, 7, 8, 11 ], [ 2, 4, 6, 7, 8, 11, 12 ], [ 2, 4, 6, 7, 8, 11, 12, 13 ], [ 2, 4, 6, 7, 8, 12 ], [ 2, 4, 6, 7, 8, 12, 13 ], [ 2, 4, 6, 7, 8, 13 ], [ 2, 4, 6, 7, 9, 10, 11 ], [ 2, 4, 6, 7, 9, 10, 11, 12 ], [ 2, 4, 6, 7, 9, 10, 11, 12, 13 ], [ 2, 4, 6, 7, 9, 10, 11, 13 ], [ 2, 4, 6, 7, 9, 10, 12 ], [ 2, 4, 6, 7, 9, 10, 12, 13 ], [ 2, 4, 6, 7, 9, 10, 13 ], [ 2, 4, 6, 7, 9, 11, 12 ], [ 2, 4, 6, 7, 9, 11, 12, 13 ], [ 2, 4, 6, 7, 9, 11, 13 ], [ 2, 4, 6, 7, 9, 12 ], [ 2, 4, 6, 7, 9, 12, 13 ], [ 2, 4, 6, 7, 9, 13 ], [ 2, 4, 6, 7, 10, 11, 12 ], [ 2, 4, 6, 7, 10, 11, 12, 13 ], [ 2, 4, 6, 7, 10, 11, 13 ], [ 2, 4, 6, 7, 10, 12 ], [ 2, 4, 6, 7, 10, 12, 13 ], [ 2, 4, 6, 7, 10, 13 ], [ 2, 4, 6, 7, 11, 12 ], [ 2, 4, 6, 7, 11, 12, 13 ], [ 2, 4, 6, 7, 11, 13 ], [ 2, 4, 6, 7, 12 ], [ 2, 4, 6, 7, 12, 13 ], [ 2, 4, 6, 7, 13 ], [ 2, 4, 6, 8 ], [ 2, 4, 6, 8, 9, 10, 11 ], [ 2, 4, 6, 8, 9, 10, 11, 12 ], [ 2, 4, 6, 8, 9, 10, 11, 12, 13 ], [ 2, 4, 6, 8, 9, 10, 11, 13 ], [ 2, 4, 6, 8, 9, 10, 12 ], [ 2, 4, 6, 8, 9, 10, 12, 13 ], [ 2, 4, 6, 8, 9, 10, 13 ], [ 2, 4, 6, 8, 9, 11 ], [ 2, 4, 6, 8, 9, 11, 12 ], [ 2, 4, 6, 8, 9, 11, 12, 13 ], [ 2, 4, 6, 8, 9, 11, 13 ], [ 2, 4, 6, 8, 9, 12 ], [ 2, 4, 6, 8, 9, 12, 13 ], [ 2, 4, 6, 8, 10, 11 ], [ 2, 4, 6, 8, 10, 11, 12 ], [ 2, 4, 6, 8, 10, 11, 12, 13 ], [ 2, 4, 6, 8, 10, 11, 13 ], [ 2, 4, 6, 8, 10, 12 ], [ 2, 4, 6, 8, 10, 12, 13 ], [ 2, 4, 6, 8, 10, 13 ], [ 2, 4, 6, 8, 11 ], [ 2, 4, 6, 8, 11, 12 ], [ 2, 4, 6, 8, 11, 12, 13 ], [ 2, 4, 6, 8, 11, 13 ], [ 2, 4, 6, 8, 12 ], [ 2, 4, 6, 8, 12, 13 ], [ 2, 4, 6, 8, 13 ], [ 2, 4, 6, 9, 10, 11 ], [ 2, 4, 6, 9, 10, 11, 12 ], [ 2, 4, 6, 9, 10, 11, 12, 13 ], [ 2, 4, 6, 9, 10, 11, 13 ], [ 2, 4, 6, 9, 10, 12 ], [ 2, 4, 6, 9, 10, 12, 13 ], [ 2, 4, 6, 9, 10, 13 ], [ 2, 4, 6, 9, 11 ], [ 2, 4, 6, 9, 11, 12 ], [ 2, 4, 6, 9, 11, 12, 13 ], [ 2, 4, 6, 9, 11, 13 ], [ 2, 4, 6, 9, 12 ], [ 2, 4, 6, 9, 12, 13 ], [ 2, 4, 6, 10, 11 ], [ 2, 4, 6, 10, 11, 12 ], [ 2, 4, 6, 10, 11, 12, 13 ], [ 2, 4, 6, 10, 11, 13 ], [ 2, 4, 6, 10, 12 ], [ 2, 4, 6, 10, 12, 13 ], [ 2, 4, 6, 10, 13 ], [ 2, 4, 6, 11 ], [ 2, 4, 6, 12 ], [ 2, 4, 6, 13 ], [ 2, 4, 7, 8, 9, 10, 11, 12 ], [ 2, 4, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 4, 7, 8, 9, 10, 11, 13 ], [ 2, 4, 7, 8, 9, 10, 12, 13 ], [ 2, 4, 7, 8, 9, 11 ], [ 2, 4, 7, 8, 9, 11, 12 ], [ 2, 4, 7, 8, 9, 11, 12, 13 ], [ 2, 4, 7, 8, 9, 11, 13 ], [ 2, 4, 7, 8, 9, 12 ], [ 2, 4, 7, 8, 9, 12, 13 ], [ 2, 4, 7, 8, 9, 13 ], [ 2, 4, 7, 8, 10, 11 ], [ 2, 4, 7, 8, 10, 11, 12 ], [ 2, 4, 7, 8, 10, 11, 12, 13 ], [ 2, 4, 7, 8, 10, 11, 13 ], [ 2, 4, 7, 8, 10, 12 ], [ 2, 4, 7, 8, 10, 12, 13 ], [ 2, 4, 7, 8, 10, 13 ], [ 2, 4, 7, 8, 11 ], [ 2, 4, 7, 8, 11, 12 ], [ 2, 4, 7, 8, 11, 12, 13 ], [ 2, 4, 7, 8, 11, 13 ], [ 2, 4, 7, 8, 12 ], [ 2, 4, 7, 8, 12, 13 ], [ 2, 4, 7, 8, 13 ], [ 2, 4, 7, 9, 10, 11 ], [ 2, 4, 7, 9, 10, 11, 12 ], [ 2, 4, 7, 9, 10, 11, 12, 13 ], [ 2, 4, 7, 9, 10, 11, 13 ], [ 2, 4, 7, 9, 10, 12 ], [ 2, 4, 7, 9, 10, 12, 13 ], [ 2, 4, 7, 9, 10, 13 ], [ 2, 4, 7, 9, 11, 12 ], [ 2, 4, 7, 9, 11, 12, 13 ], [ 2, 4, 7, 9, 11, 13 ], [ 2, 4, 7, 9, 12 ], [ 2, 4, 7, 9, 12, 13 ], [ 2, 4, 7, 9, 13 ], [ 2, 4, 7, 10, 11, 12 ], [ 2, 4, 7, 10, 11, 12, 13 ], [ 2, 4, 7, 10, 11, 13 ], [ 2, 4, 7, 10, 12 ], [ 2, 4, 7, 10, 12, 13 ], [ 2, 4, 7, 10, 13 ], [ 2, 4, 7, 11, 12 ], [ 2, 4, 7, 11, 13 ], [ 2, 4, 7, 12 ], [ 2, 4, 7, 12, 13 ], [ 2, 4, 7, 13 ], [ 2, 4, 8 ], [ 2, 4, 8, 9, 10, 11 ], [ 2, 4, 8, 9, 10, 11, 12 ], [ 2, 4, 8, 9, 10, 11, 12, 13 ], [ 2, 4, 8, 9, 10, 11, 13 ], [ 2, 4, 8, 9, 10, 12 ], [ 2, 4, 8, 9, 10, 12, 13 ], [ 2, 4, 8, 9, 10, 13 ], [ 2, 4, 8, 9, 11 ], [ 2, 4, 8, 9, 11, 12 ], [ 2, 4, 8, 9, 11, 12, 13 ], [ 2, 4, 8, 9, 11, 13 ], [ 2, 4, 8, 9, 12 ], [ 2, 4, 8, 9, 12, 13 ], [ 2, 4, 8, 10, 11 ], [ 2, 4, 8, 10, 11, 12 ], [ 2, 4, 8, 10, 11, 12, 13 ], [ 2, 4, 8, 10, 11, 13 ], [ 2, 4, 8, 10, 12 ], [ 2, 4, 8, 10, 12, 13 ], [ 2, 4, 8, 10, 13 ], [ 2, 4, 8, 11 ], [ 2, 4, 8, 11, 12 ], [ 2, 4, 8, 11, 13 ], [ 2, 4, 8, 12 ], [ 2, 4, 8, 12, 13 ], [ 2, 4, 9 ], [ 2, 4, 9, 10, 11 ], [ 2, 4, 9, 10, 11, 12 ], [ 2, 4, 9, 10, 11, 12, 13 ], [ 2, 4, 9, 10, 11, 13 ], [ 2, 4, 9, 10, 12, 13 ], [ 2, 4, 9, 10, 13 ], [ 2, 4, 9, 11 ], [ 2, 4, 9, 11, 12 ], [ 2, 4, 9, 11, 13 ], [ 2, 4, 9, 12 ], [ 2, 4, 9, 12, 13 ], [ 2, 4, 10 ], [ 2, 4, 10, 11 ], [ 2, 4, 10, 11, 12 ], [ 2, 4, 10, 11, 13 ], [ 2, 4, 10, 12 ], [ 2, 4, 10, 12, 13 ], [ 2, 4, 10, 13 ], [ 2, 5, 6, 7 ], [ 2, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 5, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 5, 6, 7, 8, 9, 10, 11, 13 ], [ 2, 5, 6, 7, 8, 9, 10, 12, 13 ], [ 2, 5, 6, 7, 8, 9, 11 ], [ 2, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 5, 6, 7, 8, 9, 11, 12, 13 ], [ 2, 5, 6, 7, 8, 9, 11, 13 ], [ 2, 5, 6, 7, 8, 9, 12 ], [ 2, 5, 6, 7, 8, 9, 12, 13 ], [ 2, 5, 6, 7, 8, 9, 13 ], [ 2, 5, 6, 7, 8, 10, 11 ], [ 2, 5, 6, 7, 8, 10, 11, 12 ], [ 2, 5, 6, 7, 8, 10, 11, 12, 13 ], [ 2, 5, 6, 7, 8, 10, 11, 13 ], [ 2, 5, 6, 7, 8, 10, 12 ], [ 2, 5, 6, 7, 8, 10, 12, 13 ], [ 2, 5, 6, 7, 8, 10, 13 ], [ 2, 5, 6, 7, 8, 11 ], [ 2, 5, 6, 7, 8, 11, 12 ], [ 2, 5, 6, 7, 8, 11, 12, 13 ], [ 2, 5, 6, 7, 8, 12 ], [ 2, 5, 6, 7, 8, 12, 13 ], [ 2, 5, 6, 7, 8, 13 ], [ 2, 5, 6, 7, 9, 10, 11 ], [ 2, 5, 6, 7, 9, 10, 11, 12 ], [ 2, 5, 6, 7, 9, 10, 11, 12, 13 ], [ 2, 5, 6, 7, 9, 10, 11, 13 ], [ 2, 5, 6, 7, 9, 10, 12 ], [ 2, 5, 6, 7, 9, 10, 12, 13 ], [ 2, 5, 6, 7, 9, 10, 13 ], [ 2, 5, 6, 7, 9, 11 ], [ 2, 5, 6, 7, 9, 11, 12 ], [ 2, 5, 6, 7, 9, 11, 12, 13 ], [ 2, 5, 6, 7, 9, 11, 13 ], [ 2, 5, 6, 7, 9, 12 ], [ 2, 5, 6, 7, 9, 12, 13 ], [ 2, 5, 6, 7, 9, 13 ], [ 2, 5, 6, 7, 10, 11, 12 ], [ 2, 5, 6, 7, 10, 11, 12, 13 ], [ 2, 5, 6, 7, 10, 11, 13 ], [ 2, 5, 6, 7, 10, 12 ], [ 2, 5, 6, 7, 10, 12, 13 ], [ 2, 5, 6, 7, 10, 13 ], [ 2, 5, 6, 7, 11, 12 ], [ 2, 5, 6, 7, 11, 12, 13 ], [ 2, 5, 6, 7, 11, 13 ], [ 2, 5, 6, 7, 12 ], [ 2, 5, 6, 7, 12, 13 ], [ 2, 5, 6, 7, 13 ], [ 2, 5, 6, 8, 9, 10, 11 ], [ 2, 5, 6, 8, 9, 10, 11, 12 ], [ 2, 5, 6, 8, 9, 10, 11, 12, 13 ], [ 2, 5, 6, 8, 9, 10, 11, 13 ], [ 2, 5, 6, 8, 9, 10, 12 ], [ 2, 5, 6, 8, 9, 10, 12, 13 ], [ 2, 5, 6, 8, 9, 10, 13 ], [ 2, 5, 6, 8, 9, 11 ], [ 2, 5, 6, 8, 9, 11, 12 ], [ 2, 5, 6, 8, 9, 11, 12, 13 ], [ 2, 5, 6, 8, 9, 11, 13 ], [ 2, 5, 6, 8, 9, 12 ], [ 2, 5, 6, 8, 9, 12, 13 ], [ 2, 5, 6, 8, 9, 13 ], [ 2, 5, 6, 8, 10, 11 ], [ 2, 5, 6, 8, 10, 11, 12 ], [ 2, 5, 6, 8, 10, 11, 12, 13 ], [ 2, 5, 6, 8, 10, 11, 13 ], [ 2, 5, 6, 8, 10, 12 ], [ 2, 5, 6, 8, 10, 12, 13 ], [ 2, 5, 6, 8, 11 ], [ 2, 5, 6, 8, 11, 12 ], [ 2, 5, 6, 8, 11, 12, 13 ], [ 2, 5, 6, 8, 11, 13 ], [ 2, 5, 6, 8, 12 ], [ 2, 5, 6, 8, 12, 13 ], [ 2, 5, 6, 9, 10, 11 ], [ 2, 5, 6, 9, 10, 11, 12 ], [ 2, 5, 6, 9, 10, 11, 12, 13 ], [ 2, 5, 6, 9, 10, 11, 13 ], [ 2, 5, 6, 9, 10, 12 ], [ 2, 5, 6, 9, 10, 12, 13 ], [ 2, 5, 6, 9, 10, 13 ], [ 2, 5, 6, 9, 11 ], [ 2, 5, 6, 9, 11, 12 ], [ 2, 5, 6, 9, 11, 12, 13 ], [ 2, 5, 6, 9, 11, 13 ], [ 2, 5, 6, 9, 12 ], [ 2, 5, 6, 9, 12, 13 ], [ 2, 5, 6, 9, 13 ], [ 2, 5, 6, 10, 11, 12 ], [ 2, 5, 6, 10, 11, 12, 13 ], [ 2, 5, 6, 10, 11, 13 ], [ 2, 5, 6, 10, 12 ], [ 2, 5, 6, 10, 12, 13 ], [ 2, 5, 6, 10, 13 ], [ 2, 5, 6, 11 ], [ 2, 5, 6, 12 ], [ 2, 5, 6, 13 ], [ 2, 5, 7 ], [ 2, 5, 7, 8, 9, 10, 11, 12 ], [ 2, 5, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 5, 7, 8, 9, 10, 11, 13 ], [ 2, 5, 7, 8, 9, 10, 12, 13 ], [ 2, 5, 7, 8, 9, 11 ], [ 2, 5, 7, 8, 9, 11, 12 ], [ 2, 5, 7, 8, 9, 11, 12, 13 ], [ 2, 5, 7, 8, 9, 11, 13 ], [ 2, 5, 7, 8, 9, 12 ], [ 2, 5, 7, 8, 9, 12, 13 ], [ 2, 5, 7, 8, 9, 13 ], [ 2, 5, 7, 8, 10, 11 ], [ 2, 5, 7, 8, 10, 11, 12 ], [ 2, 5, 7, 8, 10, 11, 12, 13 ], [ 2, 5, 7, 8, 10, 11, 13 ], [ 2, 5, 7, 8, 10, 12 ], [ 2, 5, 7, 8, 10, 12, 13 ], [ 2, 5, 7, 8, 10, 13 ], [ 2, 5, 7, 8, 11 ], [ 2, 5, 7, 8, 11, 12 ], [ 2, 5, 7, 8, 11, 12, 13 ], [ 2, 5, 7, 8, 11, 13 ], [ 2, 5, 7, 8, 12 ], [ 2, 5, 7, 8, 12, 13 ], [ 2, 5, 7, 8, 13 ], [ 2, 5, 7, 9, 10, 11 ], [ 2, 5, 7, 9, 10, 11, 12 ], [ 2, 5, 7, 9, 10, 11, 12, 13 ], [ 2, 5, 7, 9, 10, 11, 13 ], [ 2, 5, 7, 9, 10, 12 ], [ 2, 5, 7, 9, 10, 12, 13 ], [ 2, 5, 7, 9, 10, 13 ], [ 2, 5, 7, 9, 11 ], [ 2, 5, 7, 9, 11, 12 ], [ 2, 5, 7, 9, 11, 12, 13 ], [ 2, 5, 7, 9, 11, 13 ], [ 2, 5, 7, 9, 12 ], [ 2, 5, 7, 9, 12, 13 ], [ 2, 5, 7, 9, 13 ], [ 2, 5, 7, 10, 11, 12, 13 ], [ 2, 5, 7, 10, 11, 13 ], [ 2, 5, 7, 10, 12 ], [ 2, 5, 7, 10, 12, 13 ], [ 2, 5, 7, 10, 13 ], [ 2, 5, 7, 11, 12 ], [ 2, 5, 7, 11, 13 ], [ 2, 5, 7, 12 ], [ 2, 5, 7, 12, 13 ], [ 2, 5, 7, 13 ], [ 2, 5, 8, 9, 10, 11 ], [ 2, 5, 8, 9, 10, 11, 12 ], [ 2, 5, 8, 9, 10, 11, 12, 13 ], [ 2, 5, 8, 9, 10, 11, 13 ], [ 2, 5, 8, 9, 10, 12 ], [ 2, 5, 8, 9, 10, 12, 13 ], [ 2, 5, 8, 9, 10, 13 ], [ 2, 5, 8, 9, 11 ], [ 2, 5, 8, 9, 11, 12 ], [ 2, 5, 8, 9, 11, 12, 13 ], [ 2, 5, 8, 9, 11, 13 ], [ 2, 5, 8, 9, 12 ], [ 2, 5, 8, 9, 12, 13 ], [ 2, 5, 8, 10, 11 ], [ 2, 5, 8, 10, 11, 12 ], [ 2, 5, 8, 10, 11, 12, 13 ], [ 2, 5, 8, 10, 11, 13 ], [ 2, 5, 8, 10, 12 ], [ 2, 5, 8, 11 ], [ 2, 5, 8, 11, 12 ], [ 2, 5, 8, 11, 13 ], [ 2, 5, 8, 12 ], [ 2, 5, 8, 12, 13 ], [ 2, 5, 9 ], [ 2, 5, 9, 10, 11 ], [ 2, 5, 9, 10, 11, 12 ], [ 2, 5, 9, 10, 11, 12, 13 ], [ 2, 5, 9, 10, 11, 13 ], [ 2, 5, 9, 10, 12, 13 ], [ 2, 5, 9, 10, 13 ], [ 2, 5, 9, 11 ], [ 2, 5, 9, 11, 12 ], [ 2, 5, 9, 11, 13 ], [ 2, 5, 9, 12 ], [ 2, 5, 9, 12, 13 ], [ 2, 5, 9, 13 ], [ 2, 5, 10 ], [ 2, 5, 10, 11, 12 ], [ 2, 5, 10, 11, 13 ], [ 2, 5, 10, 12 ], [ 2, 5, 10, 12, 13 ], [ 2, 5, 10, 13 ], [ 2, 6 ], [ 2, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 6, 7, 8, 9, 10, 11, 13 ], [ 2, 6, 7, 8, 9, 10, 12, 13 ], [ 2, 6, 7, 8, 9, 11, 12 ], [ 2, 6, 7, 8, 9, 11, 12, 13 ], [ 2, 6, 7, 8, 9, 11, 13 ], [ 2, 6, 7, 8, 9, 12, 13 ], [ 2, 6, 7, 8, 10, 11, 12 ], [ 2, 6, 7, 8, 10, 11, 12, 13 ], [ 2, 6, 7, 8, 10, 11, 13 ], [ 2, 6, 7, 8, 10, 12, 13 ], [ 2, 6, 7, 8, 11 ], [ 2, 6, 7, 8, 11, 12 ], [ 2, 6, 7, 8, 11, 12, 13 ], [ 2, 6, 7, 8, 11, 13 ], [ 2, 6, 7, 8, 12, 13 ], [ 2, 6, 7, 8, 13 ], [ 2, 6, 7, 9, 10, 11, 12 ], [ 2, 6, 7, 9, 10, 11, 12, 13 ], [ 2, 6, 7, 9, 10, 11, 13 ], [ 2, 6, 7, 9, 10, 12, 13 ], [ 2, 6, 7, 9, 11 ], [ 2, 6, 7, 9, 11, 12 ], [ 2, 6, 7, 9, 11, 12, 13 ], [ 2, 6, 7, 9, 11, 13 ], [ 2, 6, 7, 9, 12 ], [ 2, 6, 7, 9, 12, 13 ], [ 2, 6, 7, 9, 13 ], [ 2, 6, 7, 10, 11, 12 ], [ 2, 6, 7, 10, 11, 12, 13 ], [ 2, 6, 7, 10, 11, 13 ], [ 2, 6, 7, 10, 12 ], [ 2, 6, 7, 10, 12, 13 ], [ 2, 6, 7, 10, 13 ], [ 2, 6, 7, 11 ], [ 2, 6, 7, 11, 12 ], [ 2, 6, 7, 11, 12, 13 ], [ 2, 6, 7, 11, 13 ], [ 2, 6, 7, 12 ], [ 2, 6, 7, 12, 13 ], [ 2, 6, 7, 13 ], [ 2, 6, 8, 9, 10, 11, 12 ], [ 2, 6, 8, 9, 10, 11, 12, 13 ], [ 2, 6, 8, 9, 10, 11, 13 ], [ 2, 6, 8, 9, 10, 12, 13 ], [ 2, 6, 8, 9, 11 ], [ 2, 6, 8, 9, 11, 12 ], [ 2, 6, 8, 9, 11, 12, 13 ], [ 2, 6, 8, 9, 11, 13 ], [ 2, 6, 8, 9, 12 ], [ 2, 6, 8, 9, 12, 13 ], [ 2, 6, 8, 10, 11 ], [ 2, 6, 8, 10, 11, 12 ], [ 2, 6, 8, 10, 11, 12, 13 ], [ 2, 6, 8, 10, 11, 13 ], [ 2, 6, 8, 10, 12 ], [ 2, 6, 8, 10, 12, 13 ], [ 2, 6, 8, 11 ], [ 2, 6, 8, 11, 12 ], [ 2, 6, 8, 11, 12, 13 ], [ 2, 6, 8, 11, 13 ], [ 2, 6, 8, 12 ], [ 2, 6, 8, 12, 13 ], [ 2, 6, 8, 13 ], [ 2, 6, 9, 10, 11 ], [ 2, 6, 9, 10, 11, 12 ], [ 2, 6, 9, 10, 11, 12, 13 ], [ 2, 6, 9, 10, 11, 13 ], [ 2, 6, 9, 10, 12 ], [ 2, 6, 9, 10, 12, 13 ], [ 2, 6, 9, 10, 13 ], [ 2, 6, 9, 11 ], [ 2, 6, 9, 11, 12 ], [ 2, 6, 9, 11, 12, 13 ], [ 2, 6, 9, 11, 13 ], [ 2, 6, 9, 12 ], [ 2, 6, 9, 12, 13 ], [ 2, 6, 9, 13 ], [ 2, 6, 10, 11, 12 ], [ 2, 6, 10, 11, 12, 13 ], [ 2, 6, 10, 11, 13 ], [ 2, 6, 10, 12 ], [ 2, 6, 10, 12, 13 ], [ 2, 6, 10, 13 ], [ 2, 6, 11 ], [ 2, 6, 11, 12 ], [ 2, 6, 11, 13 ], [ 2, 6, 12 ], [ 2, 6, 12, 13 ], [ 2, 6, 13 ], [ 2, 7, 8, 9, 10, 11, 12 ], [ 2, 7, 8, 9, 10, 11, 12, 13 ], [ 2, 7, 8, 9, 10, 11, 13 ], [ 2, 7, 8, 9, 10, 12, 13 ], [ 2, 7, 8, 9, 11 ], [ 2, 7, 8, 9, 11, 12 ], [ 2, 7, 8, 9, 11, 12, 13 ], [ 2, 7, 8, 9, 11, 13 ], [ 2, 7, 8, 9, 12 ], [ 2, 7, 8, 9, 12, 13 ], [ 2, 7, 8, 9, 13 ], [ 2, 7, 8, 10, 11 ], [ 2, 7, 8, 10, 11, 12 ], [ 2, 7, 8, 10, 11, 12, 13 ], [ 2, 7, 8, 10, 11, 13 ], [ 2, 7, 8, 10, 12 ], [ 2, 7, 8, 10, 12, 13 ], [ 2, 7, 8, 10, 13 ], [ 2, 7, 8, 11 ], [ 2, 7, 8, 11, 12 ], [ 2, 7, 8, 11, 12, 13 ], [ 2, 7, 8, 11, 13 ], [ 2, 7, 8, 12, 13 ], [ 2, 7, 8, 13 ], [ 2, 7, 9, 10, 11 ], [ 2, 7, 9, 10, 11, 12 ], [ 2, 7, 9, 10, 11, 12, 13 ], [ 2, 7, 9, 10, 11, 13 ], [ 2, 7, 9, 10, 12, 13 ], [ 2, 7, 9, 10, 13 ], [ 2, 7, 9, 11, 12 ], [ 2, 7, 9, 11, 12, 13 ], [ 2, 7, 9, 11, 13 ], [ 2, 7, 9, 12 ], [ 2, 7, 9, 12, 13 ], [ 2, 7, 9, 13 ], [ 2, 7, 10, 11, 12 ], [ 2, 7, 10, 11, 12, 13 ], [ 2, 7, 10, 11, 13 ], [ 2, 7, 10, 12 ], [ 2, 7, 10, 12, 13 ], [ 2, 7, 10, 13 ], [ 2, 7, 11, 12 ], [ 2, 7, 11, 13 ], [ 2, 7, 12 ], [ 2, 7, 12, 13 ], [ 2, 7, 13 ], [ 2, 8, 9, 10, 11 ], [ 2, 8, 9, 10, 11, 12 ], [ 2, 8, 9, 10, 11, 12, 13 ], [ 2, 8, 9, 10, 11, 13 ], [ 2, 8, 9, 10, 12, 13 ], [ 2, 8, 9, 10, 13 ], [ 2, 8, 9, 11 ], [ 2, 8, 9, 11, 12 ], [ 2, 8, 9, 11, 12, 13 ], [ 2, 8, 9, 11, 13 ], [ 2, 8, 9, 12 ], [ 2, 8, 9, 12, 13 ], [ 2, 8, 10, 11 ], [ 2, 8, 10, 11, 12 ], [ 2, 8, 10, 11, 12, 13 ], [ 2, 8, 10, 11, 13 ], [ 2, 8, 10, 12 ], [ 2, 8, 10, 12, 13 ], [ 2, 8, 11 ], [ 2, 8, 11, 12 ], [ 2, 8, 11, 13 ], [ 2, 8, 12 ], [ 2, 8, 12, 13 ], [ 2, 9, 10, 11 ], [ 2, 9, 10, 11, 12 ], [ 2, 9, 10, 11, 12, 13 ], [ 2, 9, 10, 11, 13 ], [ 2, 9, 10, 12, 13 ], [ 2, 9, 10, 13 ], [ 2, 9, 11 ], [ 2, 9, 11, 12 ], [ 2, 9, 11, 12, 13 ], [ 2, 9, 11, 13 ], [ 2, 9, 12, 13 ], [ 2, 10, 11, 12 ], [ 2, 10, 11, 12, 13 ], [ 2, 10, 11, 13 ], [ 2, 10, 12, 13 ], [ 2, 10, 13 ], [ 2, 11 ], [ 2, 12 ], [ 2, 13 ], [ 3 ], [ 3, 4, 5, 6 ], [ 3, 4, 5, 6, 7 ], [ 3, 4, 5, 6, 7, 8 ], [ 3, 4, 5, 6, 7, 8, 9, 10, 11 ], [ 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 3, 4, 5, 6, 7, 8, 9, 10, 11, 13 ], [ 3, 4, 5, 6, 7, 8, 9, 10, 12 ], [ 3, 4, 5, 6, 7, 8, 9, 10, 12, 13 ] , [ 3, 4, 5, 6, 7, 8, 9, 10, 13 ], [ 3, 4, 5, 6, 7, 8, 9, 11 ], [ 3, 4, 5, 6, 7, 8, 9, 11, 12 ], [ 3, 4, 5, 6, 7, 8, 9, 11, 12, 13 ] , [ 3, 4, 5, 6, 7, 8, 9, 11, 13 ], [ 3, 4, 5, 6, 7, 8, 9, 12 ], [ 3, 4, 5, 6, 7, 8, 9, 12, 13 ], [ 3, 4, 5, 6, 7, 8, 9, 13 ], [ 3, 4, 5, 6, 7, 8, 10, 11 ], [ 3, 4, 5, 6, 7, 8, 10, 11, 12 ], [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13 ], [ 3, 4, 5, 6, 7, 8, 10, 11, 13 ], [ 3, 4, 5, 6, 7, 8, 10, 12 ], [ 3, 4, 5, 6, 7, 8, 10, 12, 13 ], [ 3, 4, 5, 6, 7, 8, 10, 13 ], [ 3, 4, 5, 6, 7, 8, 11 ], [ 3, 4, 5, 6, 7, 8, 11, 12 ], [ 3, 4, 5, 6, 7, 8, 11, 12, 13 ], [ 3, 4, 5, 6, 7, 8, 11, 13 ], [ 3, 4, 5, 6, 7, 8, 12 ], [ 3, 4, 5, 6, 7, 8, 12, 13 ], [ 3, 4, 5, 6, 7, 8, 13 ], [ 3, 4, 5, 6, 7, 9 ], [ 3, 4, 5, 6, 7, 9, 10, 11 ], [ 3, 4, 5, 6, 7, 9, 10, 11, 12 ], [ 3, 4, 5, 6, 7, 9, 10, 11, 12, 13 ], [ 3, 4, 5, 6, 7, 9, 10, 11, 13 ], [ 3, 4, 5, 6, 7, 9, 10, 12 ], [ 3, 4, 5, 6, 7, 9, 10, 12, 13 ], [ 3, 4, 5, 6, 7, 9, 10, 13 ], [ 3, 4, 5, 6, 7, 9, 11 ], [ 3, 4, 5, 6, 7, 9, 11, 12 ], [ 3, 4, 5, 6, 7, 9, 11, 12, 13 ], [ 3, 4, 5, 6, 7, 9, 11, 13 ], [ 3, 4, 5, 6, 7, 9, 12 ], [ 3, 4, 5, 6, 7, 9, 12, 13 ], [ 3, 4, 5, 6, 7, 9, 13 ], [ 3, 4, 5, 6, 7, 10 ], [ 3, 4, 5, 6, 7, 10, 11, 12 ], [ 3, 4, 5, 6, 7, 10, 11, 12, 13 ], [ 3, 4, 5, 6, 7, 10, 11, 13 ], [ 3, 4, 5, 6, 7, 10, 12 ], [ 3, 4, 5, 6, 7, 10, 12, 13 ], [ 3, 4, 5, 6, 7, 10, 13 ], [ 3, 4, 5, 6, 7, 11 ], [ 3, 4, 5, 6, 7, 11, 12 ], [ 3, 4, 5, 6, 7, 11, 13 ], [ 3, 4, 5, 6, 7, 12 ], [ 3, 4, 5, 6, 7, 12, 13 ], [ 3, 4, 5, 6, 7, 13 ], [ 3, 4, 5, 6, 8 ], [ 3, 4, 5, 6, 8, 9 ], [ 3, 4, 5, 6, 8, 9, 10, 11 ], [ 3, 4, 5, 6, 8, 9, 10, 11, 12 ], [ 3, 4, 5, 6, 8, 9, 10, 11, 12, 13 ], [ 3, 4, 5, 6, 8, 9, 10, 11, 13 ], [ 3, 4, 5, 6, 8, 9, 10, 12 ], [ 3, 4, 5, 6, 8, 9, 10, 12, 13 ], [ 3, 4, 5, 6, 8, 9, 10, 13 ], [ 3, 4, 5, 6, 8, 9, 11 ], [ 3, 4, 5, 6, 8, 9, 11, 12 ], [ 3, 4, 5, 6, 8, 9, 11, 12, 13 ], [ 3, 4, 5, 6, 8, 9, 11, 13 ], [ 3, 4, 5, 6, 8, 9, 12 ], [ 3, 4, 5, 6, 8, 9, 12, 13 ], [ 3, 4, 5, 6, 8, 10 ], [ 3, 4, 5, 6, 8, 10, 11 ], [ 3, 4, 5, 6, 8, 10, 11, 12 ], [ 3, 4, 5, 6, 8, 10, 11, 12, 13 ], [ 3, 4, 5, 6, 8, 10, 11, 13 ], [ 3, 4, 5, 6, 8, 10, 12 ], [ 3, 4, 5, 6, 8, 10, 12, 13 ], [ 3, 4, 5, 6, 8, 10, 13 ], [ 3, 4, 5, 6, 8, 11 ], [ 3, 4, 5, 6, 8, 11, 12 ], [ 3, 4, 5, 6, 8, 11, 13 ], [ 3, 4, 5, 6, 8, 12 ], [ 3, 4, 5, 6, 8, 12, 13 ], [ 3, 4, 5, 6, 8, 13 ], [ 3, 4, 5, 6, 9 ], [ 3, 4, 5, 6, 9, 10, 11 ], [ 3, 4, 5, 6, 9, 10, 11, 12 ], [ 3, 4, 5, 6, 9, 10, 11, 12, 13 ], [ 3, 4, 5, 6, 9, 10, 11, 13 ], [ 3, 4, 5, 6, 9, 10, 12 ], [ 3, 4, 5, 6, 9, 10, 12, 13 ], [ 3, 4, 5, 6, 9, 10, 13 ], [ 3, 4, 5, 6, 9, 11 ], [ 3, 4, 5, 6, 9, 11, 12 ], [ 3, 4, 5, 6, 9, 11, 13 ], [ 3, 4, 5, 6, 9, 12 ], [ 3, 4, 5, 6, 9, 12, 13 ], [ 3, 4, 5, 6, 9, 13 ], [ 3, 4, 5, 6, 10 ], [ 3, 4, 5, 6, 10, 11 ], [ 3, 4, 5, 6, 10, 11, 12 ], [ 3, 4, 5, 6, 10, 11, 13 ], [ 3, 4, 5, 6, 10, 12 ], [ 3, 4, 5, 6, 10, 12, 13 ], [ 3, 4, 5, 6, 10, 13 ], [ 3, 4, 5, 7 ], [ 3, 4, 5, 7, 8 ], [ 3, 4, 5, 7, 8, 9, 10, 11 ], [ 3, 4, 5, 7, 8, 9, 10, 11, 12 ], [ 3, 4, 5, 7, 8, 9, 10, 11, 12, 13 ], [ 3, 4, 5, 7, 8, 9, 10, 11, 13 ], [ 3, 4, 5, 7, 8, 9, 10, 12 ], [ 3, 4, 5, 7, 8, 9, 10, 12, 13 ], [ 3, 4, 5, 7, 8, 9, 10, 13 ], [ 3, 4, 5, 7, 8, 9, 11 ], [ 3, 4, 5, 7, 8, 9, 11, 12 ], [ 3, 4, 5, 7, 8, 9, 11, 12, 13 ], [ 3, 4, 5, 7, 8, 9, 11, 13 ], [ 3, 4, 5, 7, 8, 9, 12 ], [ 3, 4, 5, 7, 8, 9, 12, 13 ], [ 3, 4, 5, 7, 8, 9, 13 ], [ 3, 4, 5, 7, 8, 10, 11 ], [ 3, 4, 5, 7, 8, 10, 11, 12 ], [ 3, 4, 5, 7, 8, 10, 11, 12, 13 ], [ 3, 4, 5, 7, 8, 10, 11, 13 ], [ 3, 4, 5, 7, 8, 10, 12 ], [ 3, 4, 5, 7, 8, 10, 12, 13 ], [ 3, 4, 5, 7, 8, 10, 13 ], [ 3, 4, 5, 7, 8, 11 ], [ 3, 4, 5, 7, 8, 11, 12 ], [ 3, 4, 5, 7, 8, 11, 13 ], [ 3, 4, 5, 7, 8, 12 ], [ 3, 4, 5, 7, 8, 12, 13 ], [ 3, 4, 5, 7, 8, 13 ], [ 3, 4, 5, 7, 9 ], [ 3, 4, 5, 7, 9, 10, 11 ], [ 3, 4, 5, 7, 9, 10, 11, 12 ], [ 3, 4, 5, 7, 9, 10, 11, 12, 13 ], [ 3, 4, 5, 7, 9, 10, 11, 13 ], [ 3, 4, 5, 7, 9, 10, 12 ], [ 3, 4, 5, 7, 9, 10, 12, 13 ], [ 3, 4, 5, 7, 9, 10, 13 ], [ 3, 4, 5, 7, 9, 11, 12 ], [ 3, 4, 5, 7, 9, 11, 12, 13 ], [ 3, 4, 5, 7, 9, 11, 13 ], [ 3, 4, 5, 7, 9, 12 ], [ 3, 4, 5, 7, 9, 12, 13 ], [ 3, 4, 5, 7, 9, 13 ], [ 3, 4, 5, 7, 10 ], [ 3, 4, 5, 7, 10, 11, 12 ], [ 3, 4, 5, 7, 10, 11, 12, 13 ], [ 3, 4, 5, 7, 10, 11, 13 ], [ 3, 4, 5, 7, 10, 12 ], [ 3, 4, 5, 7, 10, 12, 13 ], [ 3, 4, 5, 7, 10, 13 ], [ 3, 4, 5, 7, 11 ], [ 3, 4, 5, 7, 12 ], [ 3, 4, 5, 7, 13 ], [ 3, 4, 5, 8 ], [ 3, 4, 5, 8, 9 ], [ 3, 4, 5, 8, 9, 10, 11 ], [ 3, 4, 5, 8, 9, 10, 11, 12 ], [ 3, 4, 5, 8, 9, 10, 11, 12, 13 ], [ 3, 4, 5, 8, 9, 10, 11, 13 ], [ 3, 4, 5, 8, 9, 10, 12 ], [ 3, 4, 5, 8, 9, 10, 12, 13 ], [ 3, 4, 5, 8, 9, 10, 13 ], [ 3, 4, 5, 8, 9, 11 ], [ 3, 4, 5, 8, 9, 11, 12 ], [ 3, 4, 5, 8, 9, 11, 12, 13 ], [ 3, 4, 5, 8, 9, 11, 13 ], [ 3, 4, 5, 8, 9, 12 ], [ 3, 4, 5, 8, 9, 12, 13 ], [ 3, 4, 5, 8, 10 ], [ 3, 4, 5, 8, 10, 11 ], [ 3, 4, 5, 8, 10, 11, 12 ], [ 3, 4, 5, 8, 10, 11, 12, 13 ], [ 3, 4, 5, 8, 10, 11, 13 ], [ 3, 4, 5, 8, 10, 12 ], [ 3, 4, 5, 8, 10, 12, 13 ], [ 3, 4, 5, 8, 11 ], [ 3, 4, 5, 8, 12 ], [ 3, 4, 5, 8, 13 ], [ 3, 4, 5, 9, 10, 11 ], [ 3, 4, 5, 9, 10, 11, 12 ], [ 3, 4, 5, 9, 10, 11, 12, 13 ], [ 3, 4, 5, 9, 10, 11, 13 ], [ 3, 4, 5, 9, 10, 12, 13 ], [ 3, 4, 5, 9, 10, 13 ], [ 3, 4, 5, 9, 11 ], [ 3, 4, 5, 9, 12 ], [ 3, 4, 5, 9, 13 ], [ 3, 4, 5, 10, 11 ], [ 3, 4, 5, 10, 12 ], [ 3, 4, 5, 10, 13 ], [ 3, 4, 6 ], [ 3, 4, 6, 7, 8, 9, 10, 11, 12 ], [ 3, 4, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 3, 4, 6, 7, 8, 9, 10, 11, 13 ], [ 3, 4, 6, 7, 8, 9, 10, 12, 13 ], [ 3, 4, 6, 7, 8, 9, 11 ], [ 3, 4, 6, 7, 8, 9, 11, 12 ], [ 3, 4, 6, 7, 8, 9, 11, 12, 13 ], [ 3, 4, 6, 7, 8, 9, 11, 13 ], [ 3, 4, 6, 7, 8, 9, 12 ], [ 3, 4, 6, 7, 8, 9, 12, 13 ], [ 3, 4, 6, 7, 8, 9, 13 ], [ 3, 4, 6, 7, 8, 10, 11 ], [ 3, 4, 6, 7, 8, 10, 11, 12 ], [ 3, 4, 6, 7, 8, 10, 11, 12, 13 ], [ 3, 4, 6, 7, 8, 10, 11, 13 ], [ 3, 4, 6, 7, 8, 10, 12 ], [ 3, 4, 6, 7, 8, 10, 12, 13 ], [ 3, 4, 6, 7, 8, 10, 13 ], [ 3, 4, 6, 7, 8, 11 ], [ 3, 4, 6, 7, 8, 11, 12 ], [ 3, 4, 6, 7, 8, 11, 12, 13 ], [ 3, 4, 6, 7, 8, 11, 13 ], [ 3, 4, 6, 7, 8, 12 ], [ 3, 4, 6, 7, 8, 12, 13 ], [ 3, 4, 6, 7, 8, 13 ], [ 3, 4, 6, 7, 9, 10, 11 ], [ 3, 4, 6, 7, 9, 10, 11, 12 ], [ 3, 4, 6, 7, 9, 10, 11, 12, 13 ], [ 3, 4, 6, 7, 9, 10, 11, 13 ], [ 3, 4, 6, 7, 9, 10, 12 ], [ 3, 4, 6, 7, 9, 10, 12, 13 ], [ 3, 4, 6, 7, 9, 10, 13 ], [ 3, 4, 6, 7, 9, 11, 12 ], [ 3, 4, 6, 7, 9, 11, 12, 13 ], [ 3, 4, 6, 7, 9, 11, 13 ], [ 3, 4, 6, 7, 9, 12 ], [ 3, 4, 6, 7, 9, 12, 13 ], [ 3, 4, 6, 7, 9, 13 ], [ 3, 4, 6, 7, 10, 11 ], [ 3, 4, 6, 7, 10, 11, 12 ], [ 3, 4, 6, 7, 10, 11, 12, 13 ], [ 3, 4, 6, 7, 10, 11, 13 ], [ 3, 4, 6, 7, 10, 12 ], [ 3, 4, 6, 7, 10, 12, 13 ], [ 3, 4, 6, 7, 10, 13 ], [ 3, 4, 6, 7, 11, 12 ], [ 3, 4, 6, 7, 11, 13 ], [ 3, 4, 6, 7, 12 ], [ 3, 4, 6, 7, 12, 13 ], [ 3, 4, 6, 7, 13 ], [ 3, 4, 6, 8 ], [ 3, 4, 6, 8, 9, 10, 11 ], [ 3, 4, 6, 8, 9, 10, 11, 12 ], [ 3, 4, 6, 8, 9, 10, 11, 12, 13 ], [ 3, 4, 6, 8, 9, 10, 11, 13 ], [ 3, 4, 6, 8, 9, 10, 12 ], [ 3, 4, 6, 8, 9, 10, 12, 13 ], [ 3, 4, 6, 8, 9, 10, 13 ], [ 3, 4, 6, 8, 9, 11 ], [ 3, 4, 6, 8, 9, 11, 12 ], [ 3, 4, 6, 8, 9, 11, 12, 13 ], [ 3, 4, 6, 8, 9, 11, 13 ], [ 3, 4, 6, 8, 9, 12 ], [ 3, 4, 6, 8, 9, 12, 13 ], [ 3, 4, 6, 8, 10, 11 ], [ 3, 4, 6, 8, 10, 11, 12 ], [ 3, 4, 6, 8, 10, 11, 12, 13 ], [ 3, 4, 6, 8, 10, 11, 13 ], [ 3, 4, 6, 8, 10, 12 ], [ 3, 4, 6, 8, 10, 12, 13 ], [ 3, 4, 6, 8, 10, 13 ], [ 3, 4, 6, 8, 11 ], [ 3, 4, 6, 8, 11, 12 ], [ 3, 4, 6, 8, 11, 13 ], [ 3, 4, 6, 8, 12 ], [ 3, 4, 6, 8, 12, 13 ], [ 3, 4, 6, 8, 13 ], [ 3, 4, 6, 9 ], [ 3, 4, 6, 9, 10, 11 ], [ 3, 4, 6, 9, 10, 11, 12 ], [ 3, 4, 6, 9, 10, 11, 12, 13 ], [ 3, 4, 6, 9, 10, 11, 13 ], [ 3, 4, 6, 9, 10, 12 ], [ 3, 4, 6, 9, 10, 12, 13 ], [ 3, 4, 6, 9, 10, 13 ], [ 3, 4, 6, 9, 11 ], [ 3, 4, 6, 9, 11, 12 ], [ 3, 4, 6, 9, 11, 12, 13 ], [ 3, 4, 6, 9, 11, 13 ], [ 3, 4, 6, 9, 12 ], [ 3, 4, 6, 9, 12, 13 ], [ 3, 4, 6, 10 ], [ 3, 4, 6, 10, 11 ], [ 3, 4, 6, 10, 11, 12 ], [ 3, 4, 6, 10, 11, 12, 13 ], [ 3, 4, 6, 10, 11, 13 ], [ 3, 4, 6, 10, 12 ], [ 3, 4, 6, 10, 12, 13 ], [ 3, 4, 6, 10, 13 ], [ 3, 4, 6, 11 ], [ 3, 4, 6, 12 ], [ 3, 4, 6, 13 ], [ 3, 4, 7, 8 ], [ 3, 4, 7, 8, 9, 10, 11 ], [ 3, 4, 7, 8, 9, 10, 11, 12 ], [ 3, 4, 7, 8, 9, 10, 11, 12, 13 ], [ 3, 4, 7, 8, 9, 10, 11, 13 ], [ 3, 4, 7, 8, 9, 10, 12 ], [ 3, 4, 7, 8, 9, 10, 12, 13 ], [ 3, 4, 7, 8, 9, 10, 13 ], [ 3, 4, 7, 8, 9, 11 ], [ 3, 4, 7, 8, 9, 11, 12 ], [ 3, 4, 7, 8, 9, 11, 12, 13 ], [ 3, 4, 7, 8, 9, 11, 13 ], [ 3, 4, 7, 8, 9, 12 ], [ 3, 4, 7, 8, 9, 12, 13 ], [ 3, 4, 7, 8, 9, 13 ], [ 3, 4, 7, 8, 10, 11 ], [ 3, 4, 7, 8, 10, 11, 12 ], [ 3, 4, 7, 8, 10, 11, 12, 13 ], [ 3, 4, 7, 8, 10, 11, 13 ], [ 3, 4, 7, 8, 10, 12 ], [ 3, 4, 7, 8, 10, 12, 13 ], [ 3, 4, 7, 8, 10, 13 ], [ 3, 4, 7, 8, 11 ], [ 3, 4, 7, 8, 11, 12 ], [ 3, 4, 7, 8, 11, 12, 13 ], [ 3, 4, 7, 8, 11, 13 ], [ 3, 4, 7, 8, 12 ], [ 3, 4, 7, 8, 12, 13 ], [ 3, 4, 7, 8, 13 ], [ 3, 4, 7, 9, 10, 11 ], [ 3, 4, 7, 9, 10, 11, 12 ], [ 3, 4, 7, 9, 10, 11, 12, 13 ], [ 3, 4, 7, 9, 10, 11, 13 ], [ 3, 4, 7, 9, 10, 12, 13 ], [ 3, 4, 7, 9, 10, 13 ], [ 3, 4, 7, 9, 11, 12, 13 ], [ 3, 4, 7, 9, 11, 13 ], [ 3, 4, 7, 9, 12 ], [ 3, 4, 7, 9, 12, 13 ], [ 3, 4, 7, 9, 13 ], [ 3, 4, 7, 10 ], [ 3, 4, 7, 10, 11, 12 ], [ 3, 4, 7, 10, 11, 12, 13 ], [ 3, 4, 7, 10, 11, 13 ], [ 3, 4, 7, 10, 12 ], [ 3, 4, 7, 10, 12, 13 ], [ 3, 4, 7, 10, 13 ], [ 3, 4, 7, 12 ], [ 3, 4, 7, 13 ], [ 3, 4, 8 ], [ 3, 4, 8, 9 ], [ 3, 4, 8, 9, 10, 11 ], [ 3, 4, 8, 9, 10, 11, 12 ], [ 3, 4, 8, 9, 10, 11, 12, 13 ], [ 3, 4, 8, 9, 10, 11, 13 ], [ 3, 4, 8, 9, 10, 12, 13 ], [ 3, 4, 8, 9, 10, 13 ], [ 3, 4, 8, 9, 11 ], [ 3, 4, 8, 9, 11, 12 ], [ 3, 4, 8, 9, 11, 12, 13 ], [ 3, 4, 8, 9, 11, 13 ], [ 3, 4, 8, 9, 12 ], [ 3, 4, 8, 10 ], [ 3, 4, 8, 10, 11 ], [ 3, 4, 8, 10, 11, 12 ], [ 3, 4, 8, 10, 11, 12, 13 ], [ 3, 4, 8, 10, 11, 13 ], [ 3, 4, 8, 10, 12 ], [ 3, 4, 8, 10, 12, 13 ], [ 3, 4, 8, 10, 13 ], [ 3, 4, 8, 11 ], [ 3, 4, 8, 12 ], [ 3, 4, 9 ], [ 3, 4, 9, 10, 11 ], [ 3, 4, 9, 10, 11, 12 ], [ 3, 4, 9, 10, 11, 12, 13 ], [ 3, 4, 9, 10, 11, 13 ], [ 3, 4, 9, 10, 12, 13 ], [ 3, 4, 9, 10, 13 ], [ 3, 4, 9, 11 ], [ 3, 4, 9, 11, 12 ], [ 3, 4, 9, 11, 13 ], [ 3, 4, 9, 12, 13 ], [ 3, 4, 10 ], [ 3, 4, 10, 11 ], [ 3, 4, 10, 11, 12 ], [ 3, 4, 10, 11, 13 ], [ 3, 4, 10, 12, 13 ], [ 3, 4, 10, 13 ], [ 3, 5, 6 ], [ 3, 5, 6, 7 ], [ 3, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 3, 5, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 3, 5, 6, 7, 8, 9, 10, 11, 13 ], [ 3, 5, 6, 7, 8, 9, 10, 12, 13 ], [ 3, 5, 6, 7, 8, 9, 11 ], [ 3, 5, 6, 7, 8, 9, 11, 12 ], [ 3, 5, 6, 7, 8, 9, 11, 12, 13 ], [ 3, 5, 6, 7, 8, 9, 11, 13 ], [ 3, 5, 6, 7, 8, 9, 12 ], [ 3, 5, 6, 7, 8, 9, 12, 13 ], [ 3, 5, 6, 7, 8, 9, 13 ], [ 3, 5, 6, 7, 8, 10, 11 ], [ 3, 5, 6, 7, 8, 10, 11, 12 ], [ 3, 5, 6, 7, 8, 10, 11, 12, 13 ], [ 3, 5, 6, 7, 8, 10, 11, 13 ], [ 3, 5, 6, 7, 8, 10, 12 ], [ 3, 5, 6, 7, 8, 10, 12, 13 ], [ 3, 5, 6, 7, 8, 10, 13 ], [ 3, 5, 6, 7, 8, 11 ], [ 3, 5, 6, 7, 8, 11, 12 ], [ 3, 5, 6, 7, 8, 11, 12, 13 ], [ 3, 5, 6, 7, 8, 11, 13 ], [ 3, 5, 6, 7, 8, 12 ], [ 3, 5, 6, 7, 8, 12, 13 ], [ 3, 5, 6, 7, 8, 13 ], [ 3, 5, 6, 7, 9, 10, 11 ], [ 3, 5, 6, 7, 9, 10, 11, 12 ], [ 3, 5, 6, 7, 9, 10, 11, 12, 13 ], [ 3, 5, 6, 7, 9, 10, 11, 13 ], [ 3, 5, 6, 7, 9, 10, 12 ], [ 3, 5, 6, 7, 9, 10, 12, 13 ], [ 3, 5, 6, 7, 9, 10, 13 ], [ 3, 5, 6, 7, 9, 11 ], [ 3, 5, 6, 7, 9, 11, 12 ], [ 3, 5, 6, 7, 9, 11, 12, 13 ], [ 3, 5, 6, 7, 9, 11, 13 ], [ 3, 5, 6, 7, 9, 12 ], [ 3, 5, 6, 7, 9, 12, 13 ], [ 3, 5, 6, 7, 9, 13 ], [ 3, 5, 6, 7, 10, 11, 12 ], [ 3, 5, 6, 7, 10, 11, 12, 13 ], [ 3, 5, 6, 7, 10, 11, 13 ], [ 3, 5, 6, 7, 10, 12 ], [ 3, 5, 6, 7, 10, 12, 13 ], [ 3, 5, 6, 7, 10, 13 ], [ 3, 5, 6, 7, 11 ], [ 3, 5, 6, 7, 11, 12 ], [ 3, 5, 6, 7, 11, 13 ], [ 3, 5, 6, 7, 12 ], [ 3, 5, 6, 7, 12, 13 ], [ 3, 5, 6, 7, 13 ], [ 3, 5, 6, 8, 9, 10, 11 ], [ 3, 5, 6, 8, 9, 10, 11, 12 ], [ 3, 5, 6, 8, 9, 10, 11, 12, 13 ], [ 3, 5, 6, 8, 9, 10, 11, 13 ], [ 3, 5, 6, 8, 9, 10, 12 ], [ 3, 5, 6, 8, 9, 10, 12, 13 ], [ 3, 5, 6, 8, 9, 10, 13 ], [ 3, 5, 6, 8, 9, 11 ], [ 3, 5, 6, 8, 9, 11, 12 ], [ 3, 5, 6, 8, 9, 11, 12, 13 ], [ 3, 5, 6, 8, 9, 11, 13 ], [ 3, 5, 6, 8, 9, 12 ], [ 3, 5, 6, 8, 9, 12, 13 ], [ 3, 5, 6, 8, 9, 13 ], [ 3, 5, 6, 8, 10, 11 ], [ 3, 5, 6, 8, 10, 11, 12 ], [ 3, 5, 6, 8, 10, 11, 12, 13 ], [ 3, 5, 6, 8, 10, 11, 13 ], [ 3, 5, 6, 8, 10, 12 ], [ 3, 5, 6, 8, 10, 12, 13 ], [ 3, 5, 6, 8, 11 ], [ 3, 5, 6, 8, 11, 12 ], [ 3, 5, 6, 8, 11, 13 ], [ 3, 5, 6, 8, 12 ], [ 3, 5, 6, 8, 12, 13 ], [ 3, 5, 6, 9 ], [ 3, 5, 6, 9, 10, 11 ], [ 3, 5, 6, 9, 10, 11, 12 ], [ 3, 5, 6, 9, 10, 11, 12, 13 ], [ 3, 5, 6, 9, 10, 11, 13 ], [ 3, 5, 6, 9, 10, 12 ], [ 3, 5, 6, 9, 10, 12, 13 ], [ 3, 5, 6, 9, 10, 13 ], [ 3, 5, 6, 9, 11 ], [ 3, 5, 6, 9, 11, 12 ], [ 3, 5, 6, 9, 11, 12, 13 ], [ 3, 5, 6, 9, 11, 13 ], [ 3, 5, 6, 9, 12 ], [ 3, 5, 6, 9, 12, 13 ], [ 3, 5, 6, 9, 13 ], [ 3, 5, 6, 10 ], [ 3, 5, 6, 10, 11, 12 ], [ 3, 5, 6, 10, 11, 12, 13 ], [ 3, 5, 6, 10, 11, 13 ], [ 3, 5, 6, 10, 12 ], [ 3, 5, 6, 10, 12, 13 ], [ 3, 5, 6, 10, 13 ], [ 3, 5, 6, 11 ], [ 3, 5, 6, 12 ], [ 3, 5, 6, 13 ], [ 3, 5, 7 ], [ 3, 5, 7, 8 ], [ 3, 5, 7, 8, 9, 10, 11 ], [ 3, 5, 7, 8, 9, 10, 11, 12 ], [ 3, 5, 7, 8, 9, 10, 11, 12, 13 ], [ 3, 5, 7, 8, 9, 10, 11, 13 ], [ 3, 5, 7, 8, 9, 10, 12 ], [ 3, 5, 7, 8, 9, 10, 12, 13 ], [ 3, 5, 7, 8, 9, 10, 13 ], [ 3, 5, 7, 8, 9, 11 ], [ 3, 5, 7, 8, 9, 11, 12 ], [ 3, 5, 7, 8, 9, 11, 12, 13 ], [ 3, 5, 7, 8, 9, 11, 13 ], [ 3, 5, 7, 8, 9, 12 ], [ 3, 5, 7, 8, 9, 12, 13 ], [ 3, 5, 7, 8, 9, 13 ], [ 3, 5, 7, 8, 10, 11 ], [ 3, 5, 7, 8, 10, 11, 12 ], [ 3, 5, 7, 8, 10, 11, 12, 13 ], [ 3, 5, 7, 8, 10, 11, 13 ], [ 3, 5, 7, 8, 10, 12 ], [ 3, 5, 7, 8, 10, 12, 13 ], [ 3, 5, 7, 8, 10, 13 ], [ 3, 5, 7, 8, 11 ], [ 3, 5, 7, 8, 11, 12 ], [ 3, 5, 7, 8, 11, 12, 13 ], [ 3, 5, 7, 8, 11, 13 ], [ 3, 5, 7, 8, 12 ], [ 3, 5, 7, 8, 12, 13 ], [ 3, 5, 7, 8, 13 ], [ 3, 5, 7, 9 ], [ 3, 5, 7, 9, 10, 11 ], [ 3, 5, 7, 9, 10, 11, 12 ], [ 3, 5, 7, 9, 10, 11, 12, 13 ], [ 3, 5, 7, 9, 10, 11, 13 ], [ 3, 5, 7, 9, 10, 12, 13 ], [ 3, 5, 7, 9, 10, 13 ], [ 3, 5, 7, 9, 11 ], [ 3, 5, 7, 9, 11, 12 ], [ 3, 5, 7, 9, 11, 12, 13 ], [ 3, 5, 7, 9, 11, 13 ], [ 3, 5, 7, 9, 12 ], [ 3, 5, 7, 9, 12, 13 ], [ 3, 5, 7, 9, 13 ], [ 3, 5, 7, 10 ], [ 3, 5, 7, 10, 11, 12, 13 ], [ 3, 5, 7, 10, 11, 13 ], [ 3, 5, 7, 10, 12 ], [ 3, 5, 7, 10, 12, 13 ], [ 3, 5, 7, 10, 13 ], [ 3, 5, 7, 12 ], [ 3, 5, 7, 13 ], [ 3, 5, 8, 9 ], [ 3, 5, 8, 9, 10, 11 ], [ 3, 5, 8, 9, 10, 11, 12 ], [ 3, 5, 8, 9, 10, 11, 12, 13 ], [ 3, 5, 8, 9, 10, 11, 13 ], [ 3, 5, 8, 9, 10, 12, 13 ], [ 3, 5, 8, 9, 10, 13 ], [ 3, 5, 8, 9, 11 ], [ 3, 5, 8, 9, 11, 12 ], [ 3, 5, 8, 9, 11, 12, 13 ], [ 3, 5, 8, 9, 11, 13 ], [ 3, 5, 8, 9, 12 ], [ 3, 5, 8, 9, 12, 13 ], [ 3, 5, 8, 10, 11 ], [ 3, 5, 8, 10, 11, 12 ], [ 3, 5, 8, 10, 11, 12, 13 ], [ 3, 5, 8, 10, 11, 13 ], [ 3, 5, 8, 10, 12 ], [ 3, 5, 8, 11 ], [ 3, 5, 8, 12 ], [ 3, 5, 9 ], [ 3, 5, 9, 10, 11 ], [ 3, 5, 9, 10, 11, 12 ], [ 3, 5, 9, 10, 11, 12, 13 ], [ 3, 5, 9, 10, 11, 13 ], [ 3, 5, 9, 10, 12, 13 ], [ 3, 5, 9, 10, 13 ], [ 3, 5, 9, 11 ], [ 3, 5, 9, 11, 12 ], [ 3, 5, 9, 11, 13 ], [ 3, 5, 9, 12, 13 ], [ 3, 5, 9, 13 ], [ 3, 5, 10 ], [ 3, 5, 10, 11, 12 ], [ 3, 5, 10, 11, 13 ], [ 3, 5, 10, 12, 13 ], [ 3, 5, 10, 13 ], [ 3, 6 ], [ 3, 6, 7 ], [ 3, 6, 7, 8, 9, 10, 11, 12 ], [ 3, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 3, 6, 7, 8, 9, 10, 11, 13 ], [ 3, 6, 7, 8, 9, 10, 12, 13 ], [ 3, 6, 7, 8, 9, 11 ], [ 3, 6, 7, 8, 9, 11, 12 ], [ 3, 6, 7, 8, 9, 11, 12, 13 ], [ 3, 6, 7, 8, 9, 11, 13 ], [ 3, 6, 7, 8, 9, 12 ], [ 3, 6, 7, 8, 9, 12, 13 ], [ 3, 6, 7, 8, 9, 13 ], [ 3, 6, 7, 8, 10, 11 ], [ 3, 6, 7, 8, 10, 11, 12 ], [ 3, 6, 7, 8, 10, 11, 12, 13 ], [ 3, 6, 7, 8, 10, 11, 13 ], [ 3, 6, 7, 8, 10, 12 ], [ 3, 6, 7, 8, 10, 12, 13 ], [ 3, 6, 7, 8, 10, 13 ], [ 3, 6, 7, 8, 11 ], [ 3, 6, 7, 8, 11, 12 ], [ 3, 6, 7, 8, 11, 12, 13 ], [ 3, 6, 7, 8, 11, 13 ], [ 3, 6, 7, 8, 12 ], [ 3, 6, 7, 8, 12, 13 ], [ 3, 6, 7, 8, 13 ], [ 3, 6, 7, 9, 10, 11, 12 ], [ 3, 6, 7, 9, 10, 11, 12, 13 ], [ 3, 6, 7, 9, 10, 11, 13 ], [ 3, 6, 7, 9, 10, 12, 13 ], [ 3, 6, 7, 9, 11 ], [ 3, 6, 7, 9, 11, 12 ], [ 3, 6, 7, 9, 11, 12, 13 ], [ 3, 6, 7, 9, 11, 13 ], [ 3, 6, 7, 9, 12 ], [ 3, 6, 7, 9, 12, 13 ], [ 3, 6, 7, 9, 13 ], [ 3, 6, 7, 10, 11, 12 ], [ 3, 6, 7, 10, 11, 12, 13 ], [ 3, 6, 7, 10, 11, 13 ], [ 3, 6, 7, 10, 12 ], [ 3, 6, 7, 10, 12, 13 ], [ 3, 6, 7, 10, 13 ], [ 3, 6, 7, 11 ], [ 3, 6, 7, 11, 12 ], [ 3, 6, 7, 11, 12, 13 ], [ 3, 6, 7, 11, 13 ], [ 3, 6, 7, 12 ], [ 3, 6, 7, 12, 13 ], [ 3, 6, 7, 13 ], [ 3, 6, 8 ], [ 3, 6, 8, 9, 10, 11, 12 ], [ 3, 6, 8, 9, 10, 11, 12, 13 ], [ 3, 6, 8, 9, 10, 11, 13 ], [ 3, 6, 8, 9, 10, 12, 13 ], [ 3, 6, 8, 9, 11 ], [ 3, 6, 8, 9, 11, 12 ], [ 3, 6, 8, 9, 11, 12, 13 ], [ 3, 6, 8, 9, 11, 13 ], [ 3, 6, 8, 9, 12 ], [ 3, 6, 8, 9, 12, 13 ], [ 3, 6, 8, 10, 11 ], [ 3, 6, 8, 10, 11, 12 ], [ 3, 6, 8, 10, 11, 12, 13 ], [ 3, 6, 8, 10, 11, 13 ], [ 3, 6, 8, 10, 12 ], [ 3, 6, 8, 10, 12, 13 ], [ 3, 6, 8, 10, 13 ], [ 3, 6, 8, 11 ], [ 3, 6, 8, 11, 12 ], [ 3, 6, 8, 11, 12, 13 ], [ 3, 6, 8, 11, 13 ], [ 3, 6, 8, 12 ], [ 3, 6, 8, 12, 13 ], [ 3, 6, 8, 13 ], [ 3, 6, 9, 10, 11 ], [ 3, 6, 9, 10, 11, 12 ], [ 3, 6, 9, 10, 11, 12, 13 ], [ 3, 6, 9, 10, 11, 13 ], [ 3, 6, 9, 10, 12 ], [ 3, 6, 9, 10, 12, 13 ], [ 3, 6, 9, 10, 13 ], [ 3, 6, 9, 11 ], [ 3, 6, 9, 11, 12 ], [ 3, 6, 9, 11, 12, 13 ], [ 3, 6, 9, 11, 13 ], [ 3, 6, 9, 12 ], [ 3, 6, 9, 12, 13 ], [ 3, 6, 9, 13 ], [ 3, 6, 10, 11 ], [ 3, 6, 10, 11, 12 ], [ 3, 6, 10, 11, 12, 13 ], [ 3, 6, 10, 11, 13 ], [ 3, 6, 10, 12 ], [ 3, 6, 10, 12, 13 ], [ 3, 6, 10, 13 ], [ 3, 6, 11 ], [ 3, 6, 11, 12 ], [ 3, 6, 11, 13 ], [ 3, 6, 12 ], [ 3, 6, 12, 13 ], [ 3, 6, 13 ], [ 3, 7 ], [ 3, 7, 8, 9, 10, 11, 12 ], [ 3, 7, 8, 9, 10, 11, 12, 13 ], [ 3, 7, 8, 9, 10, 11, 13 ], [ 3, 7, 8, 9, 10, 12, 13 ], [ 3, 7, 8, 9, 11 ], [ 3, 7, 8, 9, 11, 12 ], [ 3, 7, 8, 9, 11, 12, 13 ], [ 3, 7, 8, 9, 11, 13 ], [ 3, 7, 8, 9, 12 ], [ 3, 7, 8, 9, 12, 13 ], [ 3, 7, 8, 9, 13 ], [ 3, 7, 8, 10, 11 ], [ 3, 7, 8, 10, 11, 12 ], [ 3, 7, 8, 10, 11, 12, 13 ], [ 3, 7, 8, 10, 11, 13 ], [ 3, 7, 8, 10, 12 ], [ 3, 7, 8, 10, 12, 13 ], [ 3, 7, 8, 10, 13 ], [ 3, 7, 8, 11 ], [ 3, 7, 8, 11, 12 ], [ 3, 7, 8, 11, 12, 13 ], [ 3, 7, 8, 11, 13 ], [ 3, 7, 8, 12 ], [ 3, 7, 8, 12, 13 ], [ 3, 7, 8, 13 ], [ 3, 7, 9, 10, 11 ], [ 3, 7, 9, 10, 11, 12 ], [ 3, 7, 9, 10, 11, 12, 13 ], [ 3, 7, 9, 10, 11, 13 ], [ 3, 7, 9, 10, 12, 13 ], [ 3, 7, 9, 10, 13 ], [ 3, 7, 9, 11, 12 ], [ 3, 7, 9, 11, 12, 13 ], [ 3, 7, 9, 11, 13 ], [ 3, 7, 9, 12 ], [ 3, 7, 9, 12, 13 ], [ 3, 7, 9, 13 ], [ 3, 7, 10, 11, 12 ], [ 3, 7, 10, 11, 12, 13 ], [ 3, 7, 10, 11, 13 ], [ 3, 7, 10, 12 ], [ 3, 7, 10, 12, 13 ], [ 3, 7, 10, 13 ], [ 3, 7, 11 ], [ 3, 7, 11, 12 ], [ 3, 7, 11, 13 ], [ 3, 7, 12 ], [ 3, 7, 12, 13 ], [ 3, 7, 13 ], [ 3, 8 ], [ 3, 8, 9, 10, 11 ], [ 3, 8, 9, 10, 11, 12 ], [ 3, 8, 9, 10, 11, 12, 13 ], [ 3, 8, 9, 10, 11, 13 ], [ 3, 8, 9, 10, 12, 13 ], [ 3, 8, 9, 10, 13 ], [ 3, 8, 9, 11 ], [ 3, 8, 9, 11, 12 ], [ 3, 8, 9, 11, 12, 13 ], [ 3, 8, 9, 11, 13 ], [ 3, 8, 9, 12 ], [ 3, 8, 9, 12, 13 ], [ 3, 8, 10, 11 ], [ 3, 8, 10, 11, 12 ], [ 3, 8, 10, 11, 12, 13 ], [ 3, 8, 10, 11, 13 ], [ 3, 8, 10, 12 ], [ 3, 8, 10, 12, 13 ], [ 3, 8, 11 ], [ 3, 8, 11, 12 ], [ 3, 8, 11, 13 ], [ 3, 8, 12 ], [ 3, 8, 12, 13 ], [ 3, 8, 13 ], [ 3, 9 ], [ 3, 9, 10, 11 ], [ 3, 9, 10, 11, 12 ], [ 3, 9, 10, 11, 12, 13 ], [ 3, 9, 10, 11, 13 ], [ 3, 9, 10, 12, 13 ], [ 3, 9, 10, 13 ], [ 3, 9, 11 ], [ 3, 9, 11, 12 ], [ 3, 9, 11, 13 ], [ 3, 9, 12, 13 ], [ 3, 10 ], [ 3, 10, 11, 12 ], [ 3, 10, 11, 13 ], [ 3, 10, 12, 13 ], [ 3, 10, 13 ], [ 4, 5, 6, 7, 8 ], [ 4, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 4, 5, 6, 7, 8, 9, 10, 11, 13 ], [ 4, 5, 6, 7, 8, 9, 10, 12, 13 ], [ 4, 5, 6, 7, 8, 9, 11 ], [ 4, 5, 6, 7, 8, 9, 11, 12 ], [ 4, 5, 6, 7, 8, 9, 11, 12, 13 ], [ 4, 5, 6, 7, 8, 9, 11, 13 ], [ 4, 5, 6, 7, 8, 9, 12 ], [ 4, 5, 6, 7, 8, 9, 12, 13 ], [ 4, 5, 6, 7, 8, 9, 13 ], [ 4, 5, 6, 7, 8, 10, 11 ], [ 4, 5, 6, 7, 8, 10, 11, 12 ], [ 4, 5, 6, 7, 8, 10, 11, 12, 13 ], [ 4, 5, 6, 7, 8, 10, 11, 13 ], [ 4, 5, 6, 7, 8, 10, 12 ], [ 4, 5, 6, 7, 8, 10, 12, 13 ], [ 4, 5, 6, 7, 8, 10, 13 ], [ 4, 5, 6, 7, 8, 11, 12 ], [ 4, 5, 6, 7, 8, 11, 12, 13 ], [ 4, 5, 6, 7, 8, 12 ], [ 4, 5, 6, 7, 8, 12, 13 ], [ 4, 5, 6, 7, 9, 10, 11 ], [ 4, 5, 6, 7, 9, 10, 11, 12 ], [ 4, 5, 6, 7, 9, 10, 11, 12, 13 ], [ 4, 5, 6, 7, 9, 10, 11, 13 ], [ 4, 5, 6, 7, 9, 10, 12 ], [ 4, 5, 6, 7, 9, 10, 12, 13 ], [ 4, 5, 6, 7, 9, 10, 13 ], [ 4, 5, 6, 7, 9, 11 ], [ 4, 5, 6, 7, 9, 11, 12 ], [ 4, 5, 6, 7, 9, 11, 12, 13 ], [ 4, 5, 6, 7, 9, 11, 13 ], [ 4, 5, 6, 7, 9, 12 ], [ 4, 5, 6, 7, 9, 12, 13 ], [ 4, 5, 6, 7, 9, 13 ], [ 4, 5, 6, 7, 10, 11, 12 ], [ 4, 5, 6, 7, 10, 11, 12, 13 ], [ 4, 5, 6, 7, 10, 11, 13 ], [ 4, 5, 6, 7, 10, 12 ], [ 4, 5, 6, 7, 10, 12, 13 ], [ 4, 5, 6, 7, 10, 13 ], [ 4, 5, 6, 7, 11 ], [ 4, 5, 6, 7, 11, 12 ], [ 4, 5, 6, 7, 12 ], [ 4, 5, 6, 7, 12, 13 ], [ 4, 5, 6, 7, 13 ], [ 4, 5, 6, 8, 9, 10, 11 ], [ 4, 5, 6, 8, 9, 10, 11, 12 ], [ 4, 5, 6, 8, 9, 10, 11, 12, 13 ], [ 4, 5, 6, 8, 9, 10, 11, 13 ], [ 4, 5, 6, 8, 9, 10, 12 ], [ 4, 5, 6, 8, 9, 10, 12, 13 ], [ 4, 5, 6, 8, 9, 10, 13 ], [ 4, 5, 6, 8, 9, 11 ], [ 4, 5, 6, 8, 9, 11, 12 ], [ 4, 5, 6, 8, 9, 11, 12, 13 ], [ 4, 5, 6, 8, 9, 11, 13 ], [ 4, 5, 6, 8, 9, 12 ], [ 4, 5, 6, 8, 9, 12, 13 ], [ 4, 5, 6, 8, 10, 11 ], [ 4, 5, 6, 8, 10, 11, 12 ], [ 4, 5, 6, 8, 10, 11, 12, 13 ], [ 4, 5, 6, 8, 10, 11, 13 ], [ 4, 5, 6, 8, 10, 12 ], [ 4, 5, 6, 8, 10, 12, 13 ], [ 4, 5, 6, 8, 10, 13 ], [ 4, 5, 6, 8, 11 ], [ 4, 5, 6, 8, 11, 12 ], [ 4, 5, 6, 8, 12 ], [ 4, 5, 6, 8, 12, 13 ], [ 4, 5, 6, 8, 13 ], [ 4, 5, 6, 9 ], [ 4, 5, 6, 9, 10, 11 ], [ 4, 5, 6, 9, 10, 11, 12 ], [ 4, 5, 6, 9, 10, 11, 12, 13 ], [ 4, 5, 6, 9, 10, 11, 13 ], [ 4, 5, 6, 9, 10, 12 ], [ 4, 5, 6, 9, 10, 12, 13 ], [ 4, 5, 6, 9, 10, 13 ], [ 4, 5, 6, 9, 11 ], [ 4, 5, 6, 9, 11, 12 ], [ 4, 5, 6, 9, 11, 12, 13 ], [ 4, 5, 6, 9, 11, 13 ], [ 4, 5, 6, 9, 12 ], [ 4, 5, 6, 9, 12, 13 ], [ 4, 5, 6, 9, 13 ], [ 4, 5, 6, 10 ], [ 4, 5, 6, 10, 11 ], [ 4, 5, 6, 10, 11, 12 ], [ 4, 5, 6, 10, 11, 12, 13 ], [ 4, 5, 6, 10, 11, 13 ], [ 4, 5, 6, 10, 12 ], [ 4, 5, 6, 10, 12, 13 ], [ 4, 5, 6, 10, 13 ], [ 4, 5, 6, 11 ], [ 4, 5, 6, 12 ], [ 4, 5, 6, 13 ], [ 4, 5, 7 ], [ 4, 5, 7, 8 ], [ 4, 5, 7, 8, 9, 10, 11 ], [ 4, 5, 7, 8, 9, 10, 11, 12 ], [ 4, 5, 7, 8, 9, 10, 11, 12, 13 ], [ 4, 5, 7, 8, 9, 10, 11, 13 ], [ 4, 5, 7, 8, 9, 10, 12 ], [ 4, 5, 7, 8, 9, 10, 12, 13 ], [ 4, 5, 7, 8, 9, 10, 13 ], [ 4, 5, 7, 8, 9, 11 ], [ 4, 5, 7, 8, 9, 11, 12 ], [ 4, 5, 7, 8, 9, 11, 12, 13 ], [ 4, 5, 7, 8, 9, 11, 13 ], [ 4, 5, 7, 8, 9, 12 ], [ 4, 5, 7, 8, 9, 12, 13 ], [ 4, 5, 7, 8, 9, 13 ], [ 4, 5, 7, 8, 10, 11 ], [ 4, 5, 7, 8, 10, 11, 12 ], [ 4, 5, 7, 8, 10, 11, 12, 13 ], [ 4, 5, 7, 8, 10, 11, 13 ], [ 4, 5, 7, 8, 10, 12 ], [ 4, 5, 7, 8, 10, 12, 13 ], [ 4, 5, 7, 8, 10, 13 ], [ 4, 5, 7, 8, 11 ], [ 4, 5, 7, 8, 11, 12 ], [ 4, 5, 7, 8, 11, 13 ], [ 4, 5, 7, 8, 12 ], [ 4, 5, 7, 8, 12, 13 ], [ 4, 5, 7, 8, 13 ], [ 4, 5, 7, 9 ], [ 4, 5, 7, 9, 10, 11 ], [ 4, 5, 7, 9, 10, 11, 12 ], [ 4, 5, 7, 9, 10, 11, 12, 13 ], [ 4, 5, 7, 9, 10, 11, 13 ], [ 4, 5, 7, 9, 10, 12 ], [ 4, 5, 7, 9, 10, 12, 13 ], [ 4, 5, 7, 9, 10, 13 ], [ 4, 5, 7, 9, 11, 12 ], [ 4, 5, 7, 9, 11, 12, 13 ], [ 4, 5, 7, 9, 11, 13 ], [ 4, 5, 7, 9, 12 ], [ 4, 5, 7, 9, 12, 13 ], [ 4, 5, 7, 9, 13 ], [ 4, 5, 7, 10 ], [ 4, 5, 7, 10, 11, 12 ], [ 4, 5, 7, 10, 11, 12, 13 ], [ 4, 5, 7, 10, 11, 13 ], [ 4, 5, 7, 10, 12 ], [ 4, 5, 7, 10, 12, 13 ], [ 4, 5, 7, 10, 13 ], [ 4, 5, 7, 11 ], [ 4, 5, 7, 12 ], [ 4, 5, 7, 13 ], [ 4, 5, 8 ], [ 4, 5, 8, 9 ], [ 4, 5, 8, 9, 10, 11 ], [ 4, 5, 8, 9, 10, 11, 12 ], [ 4, 5, 8, 9, 10, 11, 12, 13 ], [ 4, 5, 8, 9, 10, 11, 13 ], [ 4, 5, 8, 9, 10, 12 ], [ 4, 5, 8, 9, 10, 12, 13 ], [ 4, 5, 8, 9, 10, 13 ], [ 4, 5, 8, 9, 11 ], [ 4, 5, 8, 9, 11, 12 ], [ 4, 5, 8, 9, 11, 12, 13 ], [ 4, 5, 8, 9, 11, 13 ], [ 4, 5, 8, 9, 12 ], [ 4, 5, 8, 9, 12, 13 ], [ 4, 5, 8, 10 ], [ 4, 5, 8, 10, 11 ], [ 4, 5, 8, 10, 11, 12 ], [ 4, 5, 8, 10, 11, 12, 13 ], [ 4, 5, 8, 10, 11, 13 ], [ 4, 5, 8, 10, 12 ], [ 4, 5, 8, 10, 12, 13 ], [ 4, 5, 8, 11 ], [ 4, 5, 8, 12 ], [ 4, 5, 8, 13 ], [ 4, 5, 9 ], [ 4, 5, 9, 10, 11 ], [ 4, 5, 9, 10, 11, 12 ], [ 4, 5, 9, 10, 11, 12, 13 ], [ 4, 5, 9, 10, 11, 13 ], [ 4, 5, 9, 10, 12 ], [ 4, 5, 9, 10, 12, 13 ], [ 4, 5, 9, 10, 13 ], [ 4, 5, 9, 11 ], [ 4, 5, 9, 11, 12 ], [ 4, 5, 9, 11, 13 ], [ 4, 5, 9, 12 ], [ 4, 5, 9, 12, 13 ], [ 4, 5, 10 ], [ 4, 5, 10, 11, 12 ], [ 4, 5, 10, 11, 13 ], [ 4, 5, 10, 12 ], [ 4, 5, 10, 12, 13 ], [ 4, 5, 10, 13 ], [ 4, 6, 7, 8, 9, 10, 11, 12 ], [ 4, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 4, 6, 7, 8, 9, 10, 11, 13 ], [ 4, 6, 7, 8, 9, 10, 12, 13 ], [ 4, 6, 7, 8, 9, 11 ], [ 4, 6, 7, 8, 9, 11, 12 ], [ 4, 6, 7, 8, 9, 11, 12, 13 ], [ 4, 6, 7, 8, 9, 11, 13 ], [ 4, 6, 7, 8, 9, 12 ], [ 4, 6, 7, 8, 9, 12, 13 ], [ 4, 6, 7, 8, 9, 13 ], [ 4, 6, 7, 8, 10, 11 ], [ 4, 6, 7, 8, 10, 11, 12 ], [ 4, 6, 7, 8, 10, 11, 12, 13 ], [ 4, 6, 7, 8, 10, 11, 13 ], [ 4, 6, 7, 8, 10, 12 ], [ 4, 6, 7, 8, 10, 12, 13 ], [ 4, 6, 7, 8, 10, 13 ], [ 4, 6, 7, 8, 11 ], [ 4, 6, 7, 8, 11, 12 ], [ 4, 6, 7, 8, 11, 12, 13 ], [ 4, 6, 7, 8, 12 ], [ 4, 6, 7, 8, 12, 13 ], [ 4, 6, 7, 8, 13 ], [ 4, 6, 7, 9, 10, 11 ], [ 4, 6, 7, 9, 10, 11, 12 ], [ 4, 6, 7, 9, 10, 11, 12, 13 ], [ 4, 6, 7, 9, 10, 11, 13 ], [ 4, 6, 7, 9, 10, 12 ], [ 4, 6, 7, 9, 10, 12, 13 ], [ 4, 6, 7, 9, 10, 13 ], [ 4, 6, 7, 9, 11, 12 ], [ 4, 6, 7, 9, 11, 12, 13 ], [ 4, 6, 7, 9, 11, 13 ], [ 4, 6, 7, 9, 12 ], [ 4, 6, 7, 9, 12, 13 ], [ 4, 6, 7, 9, 13 ], [ 4, 6, 7, 10, 11 ], [ 4, 6, 7, 10, 11, 12 ], [ 4, 6, 7, 10, 11, 12, 13 ], [ 4, 6, 7, 10, 11, 13 ], [ 4, 6, 7, 10, 12 ], [ 4, 6, 7, 10, 12, 13 ], [ 4, 6, 7, 10, 13 ], [ 4, 6, 7, 11, 12 ], [ 4, 6, 7, 11, 12, 13 ], [ 4, 6, 7, 11, 13 ], [ 4, 6, 7, 12 ], [ 4, 6, 7, 12, 13 ], [ 4, 6, 7, 13 ], [ 4, 6, 8 ], [ 4, 6, 8, 9, 10, 11 ], [ 4, 6, 8, 9, 10, 11, 12 ], [ 4, 6, 8, 9, 10, 11, 12, 13 ], [ 4, 6, 8, 9, 10, 11, 13 ], [ 4, 6, 8, 9, 10, 12 ], [ 4, 6, 8, 9, 10, 12, 13 ], [ 4, 6, 8, 9, 10, 13 ], [ 4, 6, 8, 9, 11 ], [ 4, 6, 8, 9, 11, 12 ], [ 4, 6, 8, 9, 11, 12, 13 ], [ 4, 6, 8, 9, 11, 13 ], [ 4, 6, 8, 9, 12 ], [ 4, 6, 8, 9, 12, 13 ], [ 4, 6, 8, 10, 11 ], [ 4, 6, 8, 10, 11, 12 ], [ 4, 6, 8, 10, 11, 12, 13 ], [ 4, 6, 8, 10, 11, 13 ], [ 4, 6, 8, 10, 12 ], [ 4, 6, 8, 10, 12, 13 ], [ 4, 6, 8, 10, 13 ], [ 4, 6, 8, 11 ], [ 4, 6, 8, 11, 12 ], [ 4, 6, 8, 11, 12, 13 ], [ 4, 6, 8, 11, 13 ], [ 4, 6, 8, 12 ], [ 4, 6, 8, 12, 13 ], [ 4, 6, 9, 10, 11 ], [ 4, 6, 9, 10, 11, 12 ], [ 4, 6, 9, 10, 11, 12, 13 ], [ 4, 6, 9, 10, 11, 13 ], [ 4, 6, 9, 10, 12 ], [ 4, 6, 9, 10, 12, 13 ], [ 4, 6, 9, 10, 13 ], [ 4, 6, 9, 11 ], [ 4, 6, 9, 11, 12 ], [ 4, 6, 9, 11, 12, 13 ], [ 4, 6, 9, 11, 13 ], [ 4, 6, 9, 12 ], [ 4, 6, 9, 12, 13 ], [ 4, 6, 10, 11 ], [ 4, 6, 10, 11, 12 ], [ 4, 6, 10, 11, 12, 13 ], [ 4, 6, 10, 11, 13 ], [ 4, 6, 10, 12 ], [ 4, 6, 10, 12, 13 ], [ 4, 6, 10, 13 ], [ 4, 6, 11 ], [ 4, 6, 12 ], [ 4, 6, 13 ], [ 4, 7, 8, 9, 10, 11, 12 ], [ 4, 7, 8, 9, 10, 11, 12, 13 ], [ 4, 7, 8, 9, 10, 11, 13 ], [ 4, 7, 8, 9, 10, 12, 13 ], [ 4, 7, 8, 9, 11 ], [ 4, 7, 8, 9, 11, 12 ], [ 4, 7, 8, 9, 11, 12, 13 ], [ 4, 7, 8, 9, 11, 13 ], [ 4, 7, 8, 9, 12 ], [ 4, 7, 8, 9, 12, 13 ], [ 4, 7, 8, 9, 13 ], [ 4, 7, 8, 10, 11 ], [ 4, 7, 8, 10, 11, 12 ], [ 4, 7, 8, 10, 11, 12, 13 ], [ 4, 7, 8, 10, 11, 13 ], [ 4, 7, 8, 10, 12 ], [ 4, 7, 8, 10, 12, 13 ], [ 4, 7, 8, 10, 13 ], [ 4, 7, 8, 11 ], [ 4, 7, 8, 11, 12 ], [ 4, 7, 8, 11, 12, 13 ], [ 4, 7, 8, 11, 13 ], [ 4, 7, 8, 12 ], [ 4, 7, 8, 12, 13 ], [ 4, 7, 8, 13 ], [ 4, 7, 9, 10, 11 ], [ 4, 7, 9, 10, 11, 12 ], [ 4, 7, 9, 10, 11, 12, 13 ], [ 4, 7, 9, 10, 11, 13 ], [ 4, 7, 9, 10, 12 ], [ 4, 7, 9, 10, 12, 13 ], [ 4, 7, 9, 10, 13 ], [ 4, 7, 9, 11, 12, 13 ], [ 4, 7, 9, 11, 13 ], [ 4, 7, 9, 12 ], [ 4, 7, 9, 12, 13 ], [ 4, 7, 9, 13 ], [ 4, 7, 10, 11, 12 ], [ 4, 7, 10, 11, 12, 13 ], [ 4, 7, 10, 11, 13 ], [ 4, 7, 10, 12 ], [ 4, 7, 10, 12, 13 ], [ 4, 7, 10, 13 ], [ 4, 7, 11, 12 ], [ 4, 7, 11, 13 ], [ 4, 7, 12 ], [ 4, 7, 12, 13 ], [ 4, 7, 13 ], [ 4, 8 ], [ 4, 8, 9, 10, 11 ], [ 4, 8, 9, 10, 11, 12 ], [ 4, 8, 9, 10, 11, 12, 13 ], [ 4, 8, 9, 10, 11, 13 ], [ 4, 8, 9, 10, 12 ], [ 4, 8, 9, 10, 12, 13 ], [ 4, 8, 9, 10, 13 ], [ 4, 8, 9, 11 ], [ 4, 8, 9, 11, 12 ], [ 4, 8, 9, 11, 12, 13 ], [ 4, 8, 9, 11, 13 ], [ 4, 8, 9, 12 ], [ 4, 8, 10, 11 ], [ 4, 8, 10, 11, 12 ], [ 4, 8, 10, 11, 12, 13 ], [ 4, 8, 10, 11, 13 ], [ 4, 8, 10, 12 ], [ 4, 8, 10, 12, 13 ], [ 4, 8, 10, 13 ], [ 4, 8, 11 ], [ 4, 8, 11, 12 ], [ 4, 8, 11, 13 ], [ 4, 8, 12 ], [ 4, 8, 12, 13 ], [ 4, 9 ], [ 4, 9, 10, 11 ], [ 4, 9, 10, 11, 12 ], [ 4, 9, 10, 11, 12, 13 ], [ 4, 9, 10, 11, 13 ], [ 4, 9, 10, 12, 13 ], [ 4, 9, 10, 13 ], [ 4, 9, 11 ], [ 4, 9, 11, 12 ], [ 4, 9, 11, 13 ], [ 4, 9, 12 ], [ 4, 9, 12, 13 ], [ 4, 10 ], [ 4, 10, 11 ], [ 4, 10, 11, 12 ], [ 4, 10, 11, 13 ], [ 4, 10, 12 ], [ 4, 10, 12, 13 ], [ 4, 10, 13 ], [ 5, 6, 7 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 5, 6, 7, 8, 9, 10, 11, 12, 13 ], [ 5, 6, 7, 8, 9, 10, 11, 13 ], [ 5, 6, 7, 8, 9, 10, 12, 13 ], [ 5, 6, 7, 8, 9, 11 ], [ 5, 6, 7, 8, 9, 11, 12 ], [ 5, 6, 7, 8, 9, 11, 12, 13 ], [ 5, 6, 7, 8, 9, 11, 13 ], [ 5, 6, 7, 8, 9, 12 ], [ 5, 6, 7, 8, 9, 12, 13 ], [ 5, 6, 7, 8, 9, 13 ], [ 5, 6, 7, 8, 10, 11 ], [ 5, 6, 7, 8, 10, 11, 12 ], [ 5, 6, 7, 8, 10, 11, 12, 13 ], [ 5, 6, 7, 8, 10, 11, 13 ], [ 5, 6, 7, 8, 10, 12 ], [ 5, 6, 7, 8, 10, 12, 13 ], [ 5, 6, 7, 8, 10, 13 ], [ 5, 6, 7, 8, 11 ], [ 5, 6, 7, 8, 11, 12 ], [ 5, 6, 7, 8, 11, 12, 13 ], [ 5, 6, 7, 8, 12 ], [ 5, 6, 7, 8, 12, 13 ], [ 5, 6, 7, 8, 13 ], [ 5, 6, 7, 9, 10, 11 ], [ 5, 6, 7, 9, 10, 11, 12 ], [ 5, 6, 7, 9, 10, 11, 12, 13 ], [ 5, 6, 7, 9, 10, 11, 13 ], [ 5, 6, 7, 9, 10, 12 ], [ 5, 6, 7, 9, 10, 12, 13 ], [ 5, 6, 7, 9, 10, 13 ], [ 5, 6, 7, 9, 11 ], [ 5, 6, 7, 9, 11, 12 ], [ 5, 6, 7, 9, 11, 12, 13 ], [ 5, 6, 7, 9, 11, 13 ], [ 5, 6, 7, 9, 12 ], [ 5, 6, 7, 9, 12, 13 ], [ 5, 6, 7, 9, 13 ], [ 5, 6, 7, 10, 11, 12 ], [ 5, 6, 7, 10, 11, 12, 13 ], [ 5, 6, 7, 10, 11, 13 ], [ 5, 6, 7, 10, 12 ], [ 5, 6, 7, 10, 12, 13 ], [ 5, 6, 7, 10, 13 ], [ 5, 6, 7, 11, 12 ], [ 5, 6, 7, 11, 12, 13 ], [ 5, 6, 7, 11, 13 ], [ 5, 6, 7, 12 ], [ 5, 6, 7, 12, 13 ], [ 5, 6, 7, 13 ], [ 5, 6, 8, 9, 10, 11 ], [ 5, 6, 8, 9, 10, 11, 12 ], [ 5, 6, 8, 9, 10, 11, 12, 13 ], [ 5, 6, 8, 9, 10, 11, 13 ], [ 5, 6, 8, 9, 10, 12 ], [ 5, 6, 8, 9, 10, 12, 13 ], [ 5, 6, 8, 9, 10, 13 ], [ 5, 6, 8, 9, 11 ], [ 5, 6, 8, 9, 11, 12 ], [ 5, 6, 8, 9, 11, 12, 13 ], [ 5, 6, 8, 9, 11, 13 ], [ 5, 6, 8, 9, 12 ], [ 5, 6, 8, 9, 12, 13 ], [ 5, 6, 8, 9, 13 ], [ 5, 6, 8, 10, 11 ], [ 5, 6, 8, 10, 11, 12 ], [ 5, 6, 8, 10, 11, 12, 13 ], [ 5, 6, 8, 10, 11, 13 ], [ 5, 6, 8, 10, 12 ], [ 5, 6, 8, 10, 12, 13 ], [ 5, 6, 8, 11 ], [ 5, 6, 8, 11, 12 ], [ 5, 6, 8, 11, 12, 13 ], [ 5, 6, 8, 11, 13 ], [ 5, 6, 8, 12 ], [ 5, 6, 8, 12, 13 ], [ 5, 6, 9, 10, 11 ], [ 5, 6, 9, 10, 11, 12 ], [ 5, 6, 9, 10, 11, 12, 13 ], [ 5, 6, 9, 10, 11, 13 ], [ 5, 6, 9, 10, 12 ], [ 5, 6, 9, 10, 12, 13 ], [ 5, 6, 9, 10, 13 ], [ 5, 6, 9, 11 ], [ 5, 6, 9, 11, 12 ], [ 5, 6, 9, 11, 12, 13 ], [ 5, 6, 9, 11, 13 ], [ 5, 6, 9, 12 ], [ 5, 6, 9, 12, 13 ], [ 5, 6, 9, 13 ], [ 5, 6, 10, 11, 12 ], [ 5, 6, 10, 11, 12, 13 ], [ 5, 6, 10, 11, 13 ], [ 5, 6, 10, 12 ], [ 5, 6, 10, 12, 13 ], [ 5, 6, 10, 13 ], [ 5, 6, 11 ], [ 5, 6, 12 ], [ 5, 6, 13 ], [ 5, 7 ], [ 5, 7, 8, 9, 10, 11, 12 ], [ 5, 7, 8, 9, 10, 11, 12, 13 ], [ 5, 7, 8, 9, 10, 11, 13 ], [ 5, 7, 8, 9, 10, 12, 13 ], [ 5, 7, 8, 9, 11 ], [ 5, 7, 8, 9, 11, 12 ], [ 5, 7, 8, 9, 11, 12, 13 ], [ 5, 7, 8, 9, 11, 13 ], [ 5, 7, 8, 9, 12 ], [ 5, 7, 8, 9, 12, 13 ], [ 5, 7, 8, 9, 13 ], [ 5, 7, 8, 10, 11 ], [ 5, 7, 8, 10, 11, 12 ], [ 5, 7, 8, 10, 11, 12, 13 ], [ 5, 7, 8, 10, 11, 13 ], [ 5, 7, 8, 10, 12 ], [ 5, 7, 8, 10, 12, 13 ], [ 5, 7, 8, 10, 13 ], [ 5, 7, 8, 11 ], [ 5, 7, 8, 11, 12 ], [ 5, 7, 8, 11, 12, 13 ], [ 5, 7, 8, 11, 13 ], [ 5, 7, 8, 12 ], [ 5, 7, 8, 12, 13 ], [ 5, 7, 8, 13 ], [ 5, 7, 9, 10, 11 ], [ 5, 7, 9, 10, 11, 12 ], [ 5, 7, 9, 10, 11, 12, 13 ], [ 5, 7, 9, 10, 11, 13 ], [ 5, 7, 9, 10, 12 ], [ 5, 7, 9, 10, 12, 13 ], [ 5, 7, 9, 10, 13 ], [ 5, 7, 9, 11 ], [ 5, 7, 9, 11, 12 ], [ 5, 7, 9, 11, 12, 13 ], [ 5, 7, 9, 11, 13 ], [ 5, 7, 9, 12 ], [ 5, 7, 9, 12, 13 ], [ 5, 7, 9, 13 ], [ 5, 7, 10, 11, 12, 13 ], [ 5, 7, 10, 11, 13 ], [ 5, 7, 10, 12 ], [ 5, 7, 10, 12, 13 ], [ 5, 7, 10, 13 ], [ 5, 7, 11, 12 ], [ 5, 7, 11, 13 ], [ 5, 7, 12 ], [ 5, 7, 12, 13 ], [ 5, 7, 13 ], [ 5, 8, 9, 10, 11 ], [ 5, 8, 9, 10, 11, 12 ], [ 5, 8, 9, 10, 11, 12, 13 ], [ 5, 8, 9, 10, 11, 13 ], [ 5, 8, 9, 10, 12 ], [ 5, 8, 9, 10, 12, 13 ], [ 5, 8, 9, 10, 13 ], [ 5, 8, 9, 11 ], [ 5, 8, 9, 11, 12 ], [ 5, 8, 9, 11, 12, 13 ], [ 5, 8, 9, 11, 13 ], [ 5, 8, 9, 12 ], [ 5, 8, 9, 12, 13 ], [ 5, 8, 10, 11 ], [ 5, 8, 10, 11, 12 ], [ 5, 8, 10, 11, 12, 13 ], [ 5, 8, 10, 11, 13 ], [ 5, 8, 10, 12 ], [ 5, 8, 11 ], [ 5, 8, 11, 12 ], [ 5, 8, 11, 13 ], [ 5, 8, 12 ], [ 5, 8, 12, 13 ], [ 5, 9 ], [ 5, 9, 10, 11 ], [ 5, 9, 10, 11, 12 ], [ 5, 9, 10, 11, 12, 13 ], [ 5, 9, 10, 11, 13 ], [ 5, 9, 10, 12, 13 ], [ 5, 9, 10, 13 ], [ 5, 9, 11 ], [ 5, 9, 11, 12 ], [ 5, 9, 11, 13 ], [ 5, 9, 12 ], [ 5, 9, 12, 13 ], [ 5, 9, 13 ], [ 5, 10 ], [ 5, 10, 11, 12 ], [ 5, 10, 11, 13 ], [ 5, 10, 12 ], [ 5, 10, 12, 13 ], [ 5, 10, 13 ], [ 6 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 6, 7, 8, 9, 10, 11, 12, 13 ], [ 6, 7, 8, 9, 10, 11, 13 ], [ 6, 7, 8, 9, 10, 12, 13 ], [ 6, 7, 8, 9, 11, 12 ], [ 6, 7, 8, 9, 11, 12, 13 ], [ 6, 7, 8, 9, 11, 13 ], [ 6, 7, 8, 9, 12, 13 ], [ 6, 7, 8, 10, 11, 12 ], [ 6, 7, 8, 10, 11, 12, 13 ], [ 6, 7, 8, 10, 11, 13 ], [ 6, 7, 8, 10, 12, 13 ], [ 6, 7, 8, 11 ], [ 6, 7, 8, 11, 12 ], [ 6, 7, 8, 11, 12, 13 ], [ 6, 7, 8, 11, 13 ], [ 6, 7, 8, 12, 13 ], [ 6, 7, 8, 13 ], [ 6, 7, 9, 10, 11, 12 ], [ 6, 7, 9, 10, 11, 12, 13 ], [ 6, 7, 9, 10, 11, 13 ], [ 6, 7, 9, 10, 12, 13 ], [ 6, 7, 9, 11, 12 ], [ 6, 7, 9, 11, 12, 13 ], [ 6, 7, 9, 11, 13 ], [ 6, 7, 9, 12 ], [ 6, 7, 9, 12, 13 ], [ 6, 7, 9, 13 ], [ 6, 7, 10, 11, 12 ], [ 6, 7, 10, 11, 12, 13 ], [ 6, 7, 10, 11, 13 ], [ 6, 7, 10, 12 ], [ 6, 7, 10, 12, 13 ], [ 6, 7, 10, 13 ], [ 6, 7, 11 ], [ 6, 7, 11, 12 ], [ 6, 7, 11, 12, 13 ], [ 6, 7, 11, 13 ], [ 6, 7, 12 ], [ 6, 7, 12, 13 ], [ 6, 7, 13 ], [ 6, 8, 9, 10, 11, 12 ], [ 6, 8, 9, 10, 11, 12, 13 ], [ 6, 8, 9, 10, 11, 13 ], [ 6, 8, 9, 10, 12, 13 ], [ 6, 8, 9, 11 ], [ 6, 8, 9, 11, 12 ], [ 6, 8, 9, 11, 12, 13 ], [ 6, 8, 9, 11, 13 ], [ 6, 8, 9, 12 ], [ 6, 8, 9, 12, 13 ], [ 6, 8, 10, 11 ], [ 6, 8, 10, 11, 12 ], [ 6, 8, 10, 11, 12, 13 ], [ 6, 8, 10, 11, 13 ], [ 6, 8, 10, 12 ], [ 6, 8, 10, 12, 13 ], [ 6, 8, 11 ], [ 6, 8, 11, 12 ], [ 6, 8, 11, 12, 13 ], [ 6, 8, 11, 13 ], [ 6, 8, 12 ], [ 6, 8, 12, 13 ], [ 6, 8, 13 ], [ 6, 9, 10, 11 ], [ 6, 9, 10, 11, 12 ], [ 6, 9, 10, 11, 12, 13 ], [ 6, 9, 10, 11, 13 ], [ 6, 9, 10, 12 ], [ 6, 9, 10, 12, 13 ], [ 6, 9, 10, 13 ], [ 6, 9, 11 ], [ 6, 9, 11, 12 ], [ 6, 9, 11, 12, 13 ], [ 6, 9, 11, 13 ], [ 6, 9, 12 ], [ 6, 9, 12, 13 ], [ 6, 9, 13 ], [ 6, 10, 11 ], [ 6, 10, 11, 12 ], [ 6, 10, 11, 12, 13 ], [ 6, 10, 11, 13 ], [ 6, 10, 12 ], [ 6, 10, 12, 13 ], [ 6, 10, 13 ], [ 6, 11 ], [ 6, 11, 12 ], [ 6, 11, 13 ], [ 6, 12 ], [ 6, 12, 13 ], [ 6, 13 ], [ 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 11, 12, 13 ], [ 7, 8, 9, 10, 11, 13 ], [ 7, 8, 9, 10, 12, 13 ], [ 7, 8, 9, 11 ], [ 7, 8, 9, 11, 12 ], [ 7, 8, 9, 11, 12, 13 ], [ 7, 8, 9, 11, 13 ], [ 7, 8, 9, 12 ], [ 7, 8, 9, 12, 13 ], [ 7, 8, 9, 13 ], [ 7, 8, 10, 11 ], [ 7, 8, 10, 11, 12 ], [ 7, 8, 10, 11, 12, 13 ], [ 7, 8, 10, 11, 13 ], [ 7, 8, 10, 12 ], [ 7, 8, 10, 12, 13 ], [ 7, 8, 10, 13 ], [ 7, 8, 11 ], [ 7, 8, 11, 12 ], [ 7, 8, 11, 12, 13 ], [ 7, 8, 11, 13 ], [ 7, 8, 12, 13 ], [ 7, 8, 13 ], [ 7, 9, 10, 11 ], [ 7, 9, 10, 11, 12 ], [ 7, 9, 10, 11, 12, 13 ], [ 7, 9, 10, 11, 13 ], [ 7, 9, 10, 12, 13 ], [ 7, 9, 10, 13 ], [ 7, 9, 11, 12 ], [ 7, 9, 11, 12, 13 ], [ 7, 9, 11, 13 ], [ 7, 9, 12 ], [ 7, 9, 12, 13 ], [ 7, 9, 13 ], [ 7, 10, 11, 12 ], [ 7, 10, 11, 12, 13 ], [ 7, 10, 11, 13 ], [ 7, 10, 12 ], [ 7, 10, 12, 13 ], [ 7, 10, 13 ], [ 7, 11, 12 ], [ 7, 11, 13 ], [ 7, 12, 13 ], [ 7, 13 ], [ 8, 9, 10, 11 ], [ 8, 9, 10, 11, 12 ], [ 8, 9, 10, 11, 12, 13 ], [ 8, 9, 10, 11, 13 ], [ 8, 9, 10, 12, 13 ], [ 8, 9, 10, 13 ], [ 8, 9, 11 ], [ 8, 9, 11, 12 ], [ 8, 9, 11, 12, 13 ], [ 8, 9, 11, 13 ], [ 8, 9, 12 ], [ 8, 9, 12, 13 ], [ 8, 10, 11 ], [ 8, 10, 11, 12 ], [ 8, 10, 11, 12, 13 ], [ 8, 10, 11, 13 ], [ 8, 10, 12 ], [ 8, 10, 12, 13 ], [ 8, 11 ], [ 8, 11, 12 ], [ 8, 11, 13 ], [ 8, 12, 13 ], [ 9, 10, 11 ], [ 9, 10, 11, 12 ], [ 9, 10, 11, 12, 13 ], [ 9, 10, 11, 13 ], [ 9, 10, 12, 13 ], [ 9, 10, 13 ], [ 9, 11 ], [ 9, 11, 12 ], [ 9, 11, 12, 13 ], [ 9, 11, 13 ], [ 9, 12, 13 ], [ 10, 11, 12 ], [ 10, 11,

12, 13 ], [ 10, 11, 13 ], [ 10, 12, 13 ], [ 10, 13 ], [ 11 ], [ 12 ], [ 13 ]

27