1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-24 18:10:29 +01:00
PropertyT.jl/constraints.SL(3,Z)

537 lines
35 KiB
Plaintext

[ [ [ 1, 1 ], [ 2, 2 ], [ 3, 3 ], [ 4, 4 ], [ 5, 5 ], [ 6, 6 ], [ 7, 7 ],
[ 8, 8 ], [ 9, 9 ], [ 10, 10 ], [ 11, 11 ], [ 12, 12 ], [ 13, 13 ],
[ 14, 14 ], [ 15, 15 ], [ 16, 16 ], [ 17, 17 ], [ 18, 18 ], [ 19, 19 ],
[ 20, 20 ], [ 21, 21 ], [ 22, 22 ], [ 23, 23 ], [ 24, 24 ], [ 25, 25 ],
[ 26, 26 ], [ 27, 27 ], [ 28, 28 ], [ 29, 29 ], [ 30, 30 ], [ 31, 31 ],
[ 32, 32 ], [ 33, 33 ], [ 34, 34 ], [ 35, 35 ], [ 36, 36 ], [ 37, 37 ],
[ 38, 38 ], [ 39, 39 ], [ 40, 40 ], [ 41, 41 ], [ 42, 42 ], [ 43, 43 ],
[ 44, 44 ], [ 45, 45 ], [ 46, 46 ], [ 47, 47 ], [ 48, 48 ], [ 49, 49 ],
[ 50, 50 ], [ 51, 51 ], [ 52, 52 ], [ 53, 53 ], [ 54, 54 ], [ 55, 55 ],
[ 56, 56 ], [ 57, 57 ], [ 58, 58 ], [ 59, 59 ], [ 60, 60 ], [ 61, 61 ],
[ 62, 62 ], [ 63, 63 ], [ 64, 64 ], [ 65, 65 ], [ 66, 66 ], [ 67, 67 ],
[ 68, 68 ], [ 69, 69 ], [ 70, 70 ], [ 71, 71 ], [ 72, 72 ], [ 73, 73 ],
[ 74, 74 ], [ 75, 75 ], [ 76, 76 ], [ 77, 77 ], [ 78, 78 ], [ 79, 79 ],
[ 80, 80 ], [ 81, 81 ], [ 82, 82 ], [ 83, 83 ], [ 84, 84 ], [ 85, 85 ],
[ 86, 86 ], [ 87, 87 ], [ 88, 88 ], [ 89, 89 ], [ 90, 90 ], [ 91, 91 ],
[ 92, 92 ], [ 93, 93 ], [ 94, 94 ], [ 95, 95 ], [ 96, 96 ], [ 97, 97 ],
[ 98, 98 ], [ 99, 99 ], [ 100, 100 ], [ 101, 101 ], [ 102, 102 ],
[ 103, 103 ], [ 104, 104 ], [ 105, 105 ], [ 106, 106 ], [ 107, 107 ],
[ 108, 108 ], [ 109, 109 ], [ 110, 110 ], [ 111, 111 ], [ 112, 112 ],
[ 113, 113 ], [ 114, 114 ], [ 115, 115 ], [ 116, 116 ], [ 117, 117 ],
[ 118, 118 ], [ 119, 119 ], [ 120, 120 ], [ 121, 121 ] ],
[ [ 1, 2 ], [ 2, 14 ], [ 3, 15 ], [ 4, 35 ], [ 5, 45 ], [ 6, 55 ],
[ 7, 19 ], [ 8, 1 ], [ 9, 20 ], [ 10, 91 ], [ 11, 99 ], [ 12, 107 ],
[ 13, 24 ], [ 26, 16 ], [ 30, 3 ], [ 34, 115 ], [ 40, 4 ], [ 50, 5 ],
[ 60, 6 ], [ 64, 18 ], [ 65, 29 ], [ 69, 7 ], [ 73, 23 ], [ 74, 41 ],
[ 76, 59 ], [ 77, 8 ], [ 78, 9 ], [ 79, 31 ], [ 81, 114 ], [ 82, 13 ],
[ 85, 70 ], [ 87, 21 ], [ 94, 10 ], [ 102, 11 ], [ 110, 12 ],
[ 118, 90 ] ],
[ [ 1, 3 ], [ 2, 15 ], [ 3, 25 ], [ 4, 26 ], [ 5, 46 ], [ 6, 56 ],
[ 7, 65 ], [ 8, 30 ], [ 9, 1 ], [ 10, 31 ], [ 11, 100 ], [ 12, 108 ],
[ 13, 115 ], [ 19, 29 ], [ 20, 2 ], [ 21, 91 ], [ 35, 16 ], [ 41, 4 ],
[ 42, 32 ], [ 51, 5 ], [ 52, 27 ], [ 61, 6 ], [ 70, 7 ], [ 74, 40 ],
[ 78, 8 ], [ 82, 34 ], [ 83, 37 ], [ 85, 69 ], [ 86, 9 ], [ 87, 10 ],
[ 88, 96 ], [ 90, 24 ], [ 94, 79 ], [ 103, 11 ], [ 111, 12 ],
[ 118, 13 ] ],
[ [ 1, 4 ], [ 2, 16 ], [ 3, 26 ], [ 4, 36 ], [ 5, 37 ], [ 6, 57 ],
[ 7, 66 ], [ 8, 74 ], [ 9, 41 ], [ 10, 1 ], [ 11, 42 ], [ 12, 109 ],
[ 13, 116 ], [ 20, 35 ], [ 21, 2 ], [ 27, 46 ], [ 30, 40 ], [ 31, 3 ],
[ 48, 38 ], [ 51, 83 ], [ 52, 5 ], [ 62, 6 ], [ 71, 7 ], [ 79, 8 ],
[ 87, 9 ], [ 88, 103 ], [ 91, 15 ], [ 92, 63 ], [ 94, 78 ], [ 95, 10 ],
[ 96, 11 ], [ 97, 53 ], [ 100, 32 ], [ 105, 43 ], [ 112, 12 ],
[ 119, 13 ] ],
[ [ 1, 5 ], [ 2, 17 ], [ 3, 27 ], [ 4, 37 ], [ 5, 47 ], [ 6, 48 ],
[ 7, 67 ], [ 8, 75 ], [ 9, 83 ], [ 10, 52 ], [ 11, 1 ], [ 12, 53 ],
[ 13, 117 ], [ 22, 2 ], [ 26, 46 ], [ 32, 3 ], [ 42, 4 ], [ 43, 109 ],
[ 57, 38 ], [ 63, 6 ], [ 64, 54 ], [ 72, 7 ], [ 73, 49 ], [ 80, 8 ],
[ 87, 51 ], [ 88, 9 ], [ 92, 62 ], [ 96, 10 ], [ 100, 31 ],
[ 101, 59 ], [ 103, 41 ], [ 104, 11 ], [ 105, 12 ], [ 106, 114 ],
[ 112, 97 ], [ 120, 13 ] ],
[ [ 1, 6 ], [ 2, 18 ], [ 3, 28 ], [ 4, 38 ], [ 5, 48 ], [ 6, 58 ],
[ 7, 59 ], [ 8, 76 ], [ 9, 84 ], [ 10, 92 ], [ 11, 63 ], [ 12, 1 ],
[ 13, 64 ], [ 19, 55 ], [ 23, 2 ], [ 33, 3 ], [ 42, 57 ], [ 43, 4 ],
[ 49, 67 ], [ 52, 62 ], [ 53, 5 ], [ 72, 101 ], [ 73, 7 ], [ 81, 8 ],
[ 82, 60 ], [ 89, 9 ], [ 97, 10 ], [ 105, 11 ], [ 106, 120 ],
[ 107, 24 ], [ 109, 37 ], [ 110, 69 ], [ 112, 96 ], [ 113, 12 ],
[ 114, 13 ], [ 117, 54 ] ],
[ [ 1, 7 ], [ 2, 19 ], [ 3, 29 ], [ 4, 39 ], [ 5, 49 ], [ 6, 59 ],
[ 7, 68 ], [ 8, 69 ], [ 9, 85 ], [ 10, 93 ], [ 11, 101 ], [ 12, 73 ],
[ 13, 1 ], [ 18, 55 ], [ 20, 70 ], [ 24, 2 ], [ 30, 65 ], [ 34, 3 ],
[ 44, 4 ], [ 48, 67 ], [ 54, 5 ], [ 60, 76 ], [ 64, 6 ], [ 81, 110 ],
[ 82, 8 ], [ 90, 9 ], [ 98, 10 ], [ 105, 72 ], [ 106, 11 ],
[ 107, 23 ], [ 114, 12 ], [ 115, 15 ], [ 117, 53 ], [ 118, 78 ],
[ 120, 63 ], [ 121, 13 ] ],
[ [ 1, 8 ], [ 2, 1 ], [ 3, 30 ], [ 4, 40 ], [ 5, 50 ], [ 6, 60 ],
[ 7, 69 ], [ 8, 77 ], [ 9, 78 ], [ 10, 94 ], [ 11, 102 ], [ 12, 110 ],
[ 13, 82 ], [ 14, 2 ], [ 15, 3 ], [ 16, 26 ], [ 18, 64 ], [ 19, 7 ],
[ 20, 9 ], [ 21, 87 ], [ 23, 73 ], [ 24, 13 ], [ 29, 65 ], [ 31, 79 ],
[ 35, 4 ], [ 41, 74 ], [ 45, 5 ], [ 55, 6 ], [ 59, 76 ], [ 70, 85 ],
[ 90, 118 ], [ 91, 10 ], [ 99, 11 ], [ 107, 12 ], [ 114, 81 ],
[ 115, 34 ] ],
[ [ 1, 9 ], [ 2, 20 ], [ 3, 1 ], [ 4, 41 ], [ 5, 51 ], [ 6, 61 ],
[ 7, 70 ], [ 8, 78 ], [ 9, 86 ], [ 10, 87 ], [ 11, 103 ], [ 12, 111 ],
[ 13, 118 ], [ 15, 2 ], [ 16, 35 ], [ 24, 90 ], [ 25, 3 ], [ 26, 4 ],
[ 27, 52 ], [ 29, 19 ], [ 30, 8 ], [ 31, 10 ], [ 32, 42 ], [ 34, 82 ],
[ 37, 83 ], [ 40, 74 ], [ 46, 5 ], [ 56, 6 ], [ 65, 7 ], [ 69, 85 ],
[ 79, 94 ], [ 91, 21 ], [ 96, 88 ], [ 100, 11 ], [ 108, 12 ],
[ 115, 13 ] ],
[ [ 1, 10 ], [ 2, 21 ], [ 3, 31 ], [ 4, 1 ], [ 5, 52 ], [ 6, 62 ],
[ 7, 71 ], [ 8, 79 ], [ 9, 87 ], [ 10, 95 ], [ 11, 96 ], [ 12, 112 ],
[ 13, 119 ], [ 15, 91 ], [ 16, 2 ], [ 26, 3 ], [ 32, 100 ], [ 35, 20 ],
[ 36, 4 ], [ 37, 5 ], [ 38, 48 ], [ 40, 30 ], [ 41, 9 ], [ 42, 11 ],
[ 43, 105 ], [ 46, 27 ], [ 53, 97 ], [ 57, 6 ], [ 63, 92 ], [ 66, 7 ],
[ 74, 8 ], [ 78, 94 ], [ 83, 51 ], [ 103, 88 ], [ 109, 12 ],
[ 116, 13 ] ],
[ [ 1, 11 ], [ 2, 22 ], [ 3, 32 ], [ 4, 42 ], [ 5, 1 ], [ 6, 63 ],
[ 7, 72 ], [ 8, 80 ], [ 9, 88 ], [ 10, 96 ], [ 11, 104 ], [ 12, 105 ],
[ 13, 120 ], [ 17, 2 ], [ 27, 3 ], [ 31, 100 ], [ 37, 4 ], [ 38, 57 ],
[ 41, 103 ], [ 46, 26 ], [ 47, 5 ], [ 48, 6 ], [ 49, 73 ], [ 51, 87 ],
[ 52, 10 ], [ 53, 12 ], [ 54, 64 ], [ 59, 101 ], [ 62, 92 ], [ 67, 7 ],
[ 75, 8 ], [ 83, 9 ], [ 97, 112 ], [ 109, 43 ], [ 114, 106 ],
[ 117, 13 ] ],
[ [ 1, 12 ], [ 2, 23 ], [ 3, 33 ], [ 4, 43 ], [ 5, 53 ], [ 6, 1 ],
[ 7, 73 ], [ 8, 81 ], [ 9, 89 ], [ 10, 97 ], [ 11, 105 ], [ 12, 113 ],
[ 13, 114 ], [ 18, 2 ], [ 24, 107 ], [ 28, 3 ], [ 37, 109 ], [ 38, 4 ],
[ 48, 5 ], [ 54, 117 ], [ 55, 19 ], [ 57, 42 ], [ 58, 6 ], [ 59, 7 ],
[ 60, 82 ], [ 62, 52 ], [ 63, 11 ], [ 64, 13 ], [ 67, 49 ],
[ 69, 110 ], [ 76, 8 ], [ 84, 9 ], [ 92, 10 ], [ 96, 112 ],
[ 101, 72 ], [ 120, 106 ] ],
[ [ 1, 13 ], [ 2, 24 ], [ 3, 34 ], [ 4, 44 ], [ 5, 54 ], [ 6, 64 ],
[ 7, 1 ], [ 8, 82 ], [ 9, 90 ], [ 10, 98 ], [ 11, 106 ], [ 12, 114 ],
[ 13, 121 ], [ 15, 115 ], [ 19, 2 ], [ 23, 107 ], [ 29, 3 ], [ 39, 4 ],
[ 49, 5 ], [ 53, 117 ], [ 55, 18 ], [ 59, 6 ], [ 63, 120 ], [ 65, 30 ],
[ 67, 48 ], [ 68, 7 ], [ 69, 8 ], [ 70, 20 ], [ 72, 105 ], [ 73, 12 ],
[ 76, 60 ], [ 78, 118 ], [ 85, 9 ], [ 93, 10 ], [ 101, 11 ],
[ 110, 81 ] ],
[ [ 1, 14 ], [ 8, 2 ], [ 30, 15 ], [ 40, 35 ], [ 50, 45 ], [ 60, 55 ],
[ 69, 19 ], [ 77, 1 ], [ 78, 20 ], [ 82, 24 ], [ 94, 91 ], [ 102, 99 ],
[ 110, 107 ] ],
[ [ 1, 15 ], [ 4, 16 ], [ 7, 29 ], [ 8, 3 ], [ 9, 2 ], [ 20, 14 ],
[ 30, 25 ], [ 40, 26 ], [ 41, 35 ], [ 50, 46 ], [ 51, 45 ], [ 60, 56 ],
[ 61, 55 ], [ 69, 65 ], [ 70, 19 ], [ 74, 4 ], [ 77, 30 ], [ 78, 1 ],
[ 82, 115 ], [ 85, 7 ], [ 86, 20 ], [ 87, 91 ], [ 94, 31 ],
[ 102, 100 ], [ 103, 99 ], [ 110, 108 ], [ 111, 107 ], [ 118, 24 ] ],
[ [ 1, 16 ], [ 8, 4 ], [ 9, 35 ], [ 10, 15 ], [ 30, 26 ], [ 40, 36 ],
[ 50, 37 ], [ 60, 57 ], [ 69, 66 ], [ 71, 29 ], [ 77, 74 ], [ 78, 41 ],
[ 79, 3 ], [ 82, 116 ], [ 87, 2 ], [ 88, 99 ], [ 94, 1 ], [ 102, 42 ],
[ 110, 109 ] ],
[ [ 1, 17 ], [ 8, 5 ], [ 22, 99 ], [ 30, 27 ], [ 40, 37 ], [ 50, 47 ],
[ 60, 48 ], [ 69, 67 ], [ 77, 75 ], [ 78, 83 ], [ 82, 117 ],
[ 94, 52 ], [ 102, 1 ], [ 110, 53 ] ],
[ [ 1, 18 ], [ 7, 55 ], [ 8, 6 ], [ 12, 24 ], [ 30, 28 ], [ 33, 115 ],
[ 40, 38 ], [ 50, 48 ], [ 60, 58 ], [ 69, 59 ], [ 72, 99 ], [ 73, 2 ],
[ 77, 76 ], [ 78, 84 ], [ 81, 13 ], [ 82, 64 ], [ 94, 92 ],
[ 102, 63 ], [ 110, 1 ] ],
[ [ 1, 19 ], [ 8, 7 ], [ 9, 70 ], [ 12, 23 ], [ 13, 2 ], [ 24, 14 ],
[ 30, 29 ], [ 34, 15 ], [ 40, 39 ], [ 44, 35 ], [ 50, 49 ], [ 54, 45 ],
[ 60, 59 ], [ 64, 55 ], [ 69, 68 ], [ 77, 69 ], [ 78, 85 ], [ 81, 12 ],
[ 82, 1 ], [ 90, 20 ], [ 94, 93 ], [ 98, 91 ], [ 102, 101 ],
[ 106, 99 ], [ 110, 73 ], [ 114, 107 ], [ 118, 9 ], [ 121, 24 ] ],
[ [ 1, 20 ], [ 3, 2 ], [ 8, 9 ], [ 10, 21 ], [ 13, 90 ], [ 15, 14 ],
[ 25, 15 ], [ 26, 35 ], [ 30, 1 ], [ 31, 91 ], [ 34, 13 ], [ 40, 41 ],
[ 46, 45 ], [ 50, 51 ], [ 56, 55 ], [ 60, 61 ], [ 65, 19 ], [ 69, 70 ],
[ 77, 78 ], [ 78, 86 ], [ 79, 10 ], [ 82, 118 ], [ 94, 87 ],
[ 100, 99 ], [ 102, 103 ], [ 108, 107 ], [ 110, 111 ], [ 115, 24 ] ],
[ [ 1, 21 ], [ 3, 91 ], [ 4, 20 ], [ 8, 10 ], [ 26, 2 ], [ 30, 31 ],
[ 32, 99 ], [ 40, 1 ], [ 50, 52 ], [ 60, 62 ], [ 69, 71 ], [ 74, 9 ],
[ 77, 79 ], [ 78, 87 ], [ 82, 119 ], [ 94, 95 ], [ 102, 96 ],
[ 110, 112 ], [ 116, 90 ] ],
[ [ 1, 22 ], [ 8, 11 ], [ 30, 32 ], [ 40, 42 ], [ 50, 1 ], [ 60, 63 ],
[ 69, 72 ], [ 74, 103 ], [ 75, 102 ], [ 76, 101 ], [ 77, 80 ],
[ 78, 88 ], [ 79, 100 ], [ 80, 99 ], [ 81, 106 ], [ 82, 120 ],
[ 94, 96 ], [ 102, 104 ], [ 110, 105 ] ],
[ [ 1, 23 ], [ 6, 19 ], [ 8, 12 ], [ 13, 107 ], [ 30, 33 ], [ 40, 43 ],
[ 50, 53 ], [ 60, 1 ], [ 64, 2 ], [ 69, 73 ], [ 76, 7 ], [ 77, 81 ],
[ 78, 89 ], [ 82, 114 ], [ 84, 70 ], [ 94, 97 ], [ 102, 105 ],
[ 110, 113 ], [ 120, 99 ] ],
[ [ 1, 24 ], [ 3, 115 ], [ 6, 18 ], [ 7, 2 ], [ 8, 13 ], [ 19, 14 ],
[ 29, 15 ], [ 30, 34 ], [ 39, 35 ], [ 40, 44 ], [ 49, 45 ], [ 50, 54 ],
[ 59, 55 ], [ 60, 64 ], [ 65, 3 ], [ 68, 19 ], [ 69, 1 ], [ 73, 107 ],
[ 76, 6 ], [ 77, 82 ], [ 78, 90 ], [ 82, 121 ], [ 85, 20 ], [ 93, 91 ],
[ 94, 98 ], [ 101, 99 ], [ 102, 106 ], [ 110, 114 ] ],
[ [ 1, 25 ], [ 9, 3 ], [ 20, 15 ], [ 41, 26 ], [ 51, 46 ], [ 61, 56 ],
[ 70, 65 ], [ 78, 30 ], [ 86, 1 ], [ 87, 31 ], [ 103, 100 ],
[ 111, 108 ], [ 118, 115 ] ],
[ [ 1, 26 ], [ 8, 40 ], [ 9, 4 ], [ 10, 3 ], [ 11, 32 ], [ 20, 16 ],
[ 21, 15 ], [ 31, 25 ], [ 41, 36 ], [ 51, 37 ], [ 52, 46 ], [ 61, 57 ],
[ 62, 56 ], [ 70, 66 ], [ 71, 65 ], [ 78, 74 ], [ 79, 30 ], [ 86, 41 ],
[ 87, 1 ], [ 88, 11 ], [ 94, 8 ], [ 95, 31 ], [ 96, 100 ], [ 103, 42 ],
[ 111, 109 ], [ 112, 108 ], [ 118, 116 ], [ 119, 115 ] ],
[ [ 1, 27 ], [ 4, 46 ], [ 9, 5 ], [ 11, 31 ], [ 20, 17 ], [ 22, 91 ],
[ 41, 37 ], [ 42, 3 ], [ 43, 108 ], [ 51, 47 ], [ 61, 48 ], [ 70, 67 ],
[ 78, 75 ], [ 86, 83 ], [ 87, 52 ], [ 88, 10 ], [ 103, 1 ],
[ 111, 53 ], [ 118, 117 ] ],
[ [ 1, 28 ], [ 9, 6 ], [ 20, 18 ], [ 33, 108 ], [ 41, 38 ], [ 51, 48 ],
[ 61, 58 ], [ 70, 59 ], [ 78, 76 ], [ 86, 84 ], [ 87, 92 ],
[ 103, 63 ], [ 111, 1 ], [ 118, 64 ] ],
[ [ 1, 29 ], [ 8, 65 ], [ 9, 7 ], [ 13, 15 ], [ 20, 19 ], [ 41, 39 ],
[ 44, 16 ], [ 51, 49 ], [ 61, 59 ], [ 70, 68 ], [ 78, 69 ],
[ 81, 108 ], [ 82, 3 ], [ 86, 85 ], [ 87, 93 ], [ 90, 2 ],
[ 103, 101 ], [ 111, 73 ], [ 118, 1 ] ],
[ [ 1, 30 ], [ 2, 3 ], [ 9, 8 ], [ 10, 79 ], [ 13, 34 ], [ 14, 15 ],
[ 15, 25 ], [ 19, 65 ], [ 20, 1 ], [ 21, 10 ], [ 24, 115 ], [ 35, 26 ],
[ 41, 40 ], [ 45, 46 ], [ 51, 50 ], [ 55, 56 ], [ 61, 60 ], [ 70, 69 ],
[ 78, 77 ], [ 86, 78 ], [ 87, 94 ], [ 90, 13 ], [ 91, 31 ],
[ 99, 100 ], [ 103, 102 ], [ 107, 108 ], [ 111, 110 ], [ 118, 82 ] ],
[ [ 1, 31 ], [ 2, 91 ], [ 4, 3 ], [ 5, 27 ], [ 9, 10 ], [ 16, 15 ],
[ 20, 21 ], [ 26, 25 ], [ 35, 2 ], [ 36, 26 ], [ 37, 46 ], [ 41, 1 ],
[ 42, 100 ], [ 51, 52 ], [ 57, 56 ], [ 61, 62 ], [ 66, 65 ],
[ 70, 71 ], [ 74, 30 ], [ 78, 79 ], [ 83, 5 ], [ 86, 87 ], [ 87, 95 ],
[ 103, 96 ], [ 109, 108 ], [ 111, 112 ], [ 116, 115 ], [ 118, 119 ] ],
[ [ 1, 32 ], [ 5, 26 ], [ 9, 11 ], [ 10, 100 ], [ 20, 22 ], [ 41, 42 ],
[ 51, 1 ], [ 52, 3 ], [ 61, 63 ], [ 70, 72 ], [ 75, 40 ], [ 78, 80 ],
[ 83, 4 ], [ 86, 88 ], [ 87, 96 ], [ 97, 108 ], [ 103, 104 ],
[ 111, 105 ], [ 118, 120 ] ],
[ [ 1, 33 ], [ 9, 12 ], [ 20, 23 ], [ 41, 43 ], [ 51, 53 ], [ 61, 1 ],
[ 70, 73 ], [ 78, 81 ], [ 83, 109 ], [ 84, 111 ], [ 85, 110 ],
[ 86, 89 ], [ 87, 97 ], [ 88, 112 ], [ 89, 108 ], [ 90, 107 ],
[ 103, 105 ], [ 111, 113 ], [ 118, 114 ] ],
[ [ 1, 34 ], [ 2, 115 ], [ 7, 30 ], [ 9, 13 ], [ 19, 3 ], [ 20, 24 ],
[ 23, 108 ], [ 41, 44 ], [ 51, 54 ], [ 61, 64 ], [ 70, 1 ], [ 78, 82 ],
[ 85, 8 ], [ 86, 90 ], [ 87, 98 ], [ 93, 79 ], [ 103, 106 ],
[ 111, 114 ], [ 118, 121 ] ],
[ [ 1, 35 ], [ 3, 16 ], [ 8, 41 ], [ 10, 2 ], [ 21, 14 ], [ 30, 4 ],
[ 31, 15 ], [ 34, 116 ], [ 50, 83 ], [ 52, 45 ], [ 62, 55 ],
[ 71, 19 ], [ 79, 1 ], [ 87, 20 ], [ 94, 9 ], [ 95, 91 ], [ 96, 99 ],
[ 112, 107 ], [ 119, 24 ] ],
[ [ 1, 36 ], [ 10, 4 ], [ 21, 16 ], [ 31, 26 ], [ 52, 37 ], [ 62, 57 ],
[ 71, 66 ], [ 79, 74 ], [ 87, 41 ], [ 95, 1 ], [ 96, 42 ],
[ 112, 109 ], [ 119, 116 ] ],
[ [ 1, 37 ], [ 3, 46 ], [ 6, 38 ], [ 10, 5 ], [ 11, 4 ], [ 21, 17 ],
[ 22, 16 ], [ 31, 27 ], [ 32, 26 ], [ 42, 36 ], [ 52, 47 ], [ 62, 48 ],
[ 63, 57 ], [ 71, 67 ], [ 72, 66 ], [ 79, 75 ], [ 80, 74 ], [ 87, 83 ],
[ 88, 41 ], [ 92, 6 ], [ 95, 52 ], [ 96, 1 ], [ 100, 3 ], [ 104, 42 ],
[ 105, 109 ], [ 112, 53 ], [ 119, 117 ], [ 120, 116 ] ],
[ [ 1, 38 ], [ 10, 6 ], [ 11, 57 ], [ 12, 37 ], [ 21, 18 ], [ 31, 28 ],
[ 33, 46 ], [ 52, 48 ], [ 62, 58 ], [ 71, 59 ], [ 79, 76 ], [ 87, 84 ],
[ 95, 92 ], [ 96, 63 ], [ 97, 5 ], [ 105, 4 ], [ 106, 116 ],
[ 112, 1 ], [ 119, 64 ] ],
[ [ 1, 39 ], [ 10, 7 ], [ 21, 19 ], [ 31, 29 ], [ 44, 116 ], [ 52, 49 ],
[ 62, 59 ], [ 71, 68 ], [ 79, 69 ], [ 87, 85 ], [ 95, 93 ],
[ 96, 101 ], [ 112, 73 ], [ 119, 1 ] ],
[ [ 1, 40 ], [ 2, 26 ], [ 9, 74 ], [ 10, 8 ], [ 20, 4 ], [ 21, 1 ],
[ 31, 30 ], [ 52, 50 ], [ 62, 60 ], [ 71, 69 ], [ 79, 77 ], [ 87, 78 ],
[ 90, 116 ], [ 91, 3 ], [ 95, 94 ], [ 96, 102 ], [ 99, 32 ],
[ 112, 110 ], [ 119, 82 ] ],
[ [ 1, 41 ], [ 2, 35 ], [ 3, 4 ], [ 5, 83 ], [ 10, 9 ], [ 15, 16 ],
[ 21, 20 ], [ 25, 26 ], [ 26, 36 ], [ 27, 5 ], [ 30, 74 ], [ 31, 1 ],
[ 46, 37 ], [ 52, 51 ], [ 56, 57 ], [ 62, 61 ], [ 65, 66 ], [ 71, 70 ],
[ 79, 78 ], [ 87, 86 ], [ 91, 2 ], [ 95, 87 ], [ 96, 103 ],
[ 100, 42 ], [ 108, 109 ], [ 112, 111 ], [ 115, 116 ], [ 119, 118 ] ],
[ [ 1, 42 ], [ 5, 4 ], [ 9, 103 ], [ 10, 11 ], [ 12, 43 ], [ 17, 16 ],
[ 21, 22 ], [ 27, 26 ], [ 31, 32 ], [ 37, 36 ], [ 47, 37 ], [ 48, 57 ],
[ 51, 9 ], [ 52, 1 ], [ 53, 109 ], [ 62, 63 ], [ 67, 66 ], [ 71, 72 ],
[ 75, 74 ], [ 79, 80 ], [ 83, 41 ], [ 87, 88 ], [ 95, 96 ],
[ 96, 104 ], [ 97, 12 ], [ 112, 105 ], [ 117, 116 ], [ 119, 120 ] ],
[ [ 1, 43 ], [ 5, 109 ], [ 6, 42 ], [ 10, 12 ], [ 21, 23 ], [ 31, 33 ],
[ 48, 4 ], [ 52, 53 ], [ 54, 116 ], [ 62, 1 ], [ 71, 73 ], [ 79, 81 ],
[ 84, 103 ], [ 87, 89 ], [ 92, 11 ], [ 95, 97 ], [ 96, 105 ],
[ 112, 113 ], [ 119, 114 ] ],
[ [ 1, 44 ], [ 10, 13 ], [ 21, 24 ], [ 31, 34 ], [ 52, 54 ], [ 62, 64 ],
[ 71, 1 ], [ 79, 82 ], [ 87, 90 ], [ 91, 115 ], [ 92, 120 ],
[ 93, 119 ], [ 94, 118 ], [ 95, 98 ], [ 96, 106 ], [ 97, 117 ],
[ 98, 116 ], [ 112, 114 ], [ 119, 121 ] ],
[ [ 1, 45 ], [ 11, 2 ], [ 22, 14 ], [ 32, 15 ], [ 42, 35 ], [ 50, 75 ],
[ 63, 55 ], [ 72, 19 ], [ 80, 1 ], [ 88, 20 ], [ 96, 91 ], [ 104, 99 ],
[ 105, 107 ], [ 120, 24 ] ],
[ [ 1, 46 ], [ 9, 37 ], [ 10, 27 ], [ 11, 3 ], [ 22, 15 ], [ 32, 25 ],
[ 42, 26 ], [ 61, 38 ], [ 63, 56 ], [ 72, 65 ], [ 80, 30 ], [ 87, 5 ],
[ 88, 1 ], [ 94, 75 ], [ 96, 31 ], [ 103, 4 ], [ 104, 100 ],
[ 105, 108 ], [ 120, 115 ] ],
[ [ 1, 47 ], [ 11, 5 ], [ 22, 17 ], [ 32, 27 ], [ 42, 37 ], [ 63, 48 ],
[ 72, 67 ], [ 80, 75 ], [ 88, 83 ], [ 96, 52 ], [ 104, 1 ],
[ 105, 53 ], [ 120, 117 ] ],
[ [ 1, 48 ], [ 10, 62 ], [ 11, 6 ], [ 12, 5 ], [ 13, 54 ], [ 22, 18 ],
[ 23, 17 ], [ 32, 28 ], [ 33, 27 ], [ 42, 38 ], [ 43, 37 ], [ 53, 47 ],
[ 63, 58 ], [ 72, 59 ], [ 73, 67 ], [ 80, 76 ], [ 81, 75 ], [ 88, 84 ],
[ 89, 83 ], [ 96, 92 ], [ 97, 52 ], [ 104, 63 ], [ 105, 1 ],
[ 106, 13 ], [ 112, 10 ], [ 113, 53 ], [ 114, 117 ], [ 120, 64 ] ],
[ [ 1, 49 ], [ 6, 67 ], [ 11, 7 ], [ 13, 53 ], [ 22, 19 ], [ 32, 29 ],
[ 42, 39 ], [ 44, 109 ], [ 60, 75 ], [ 63, 59 ], [ 64, 5 ], [ 72, 68 ],
[ 80, 69 ], [ 88, 85 ], [ 96, 93 ], [ 104, 101 ], [ 105, 73 ],
[ 106, 12 ], [ 120, 1 ] ],
[ [ 1, 50 ], [ 11, 8 ], [ 22, 1 ], [ 32, 30 ], [ 42, 40 ], [ 63, 60 ],
[ 72, 69 ], [ 80, 77 ], [ 88, 78 ], [ 96, 94 ], [ 99, 80 ],
[ 100, 79 ], [ 101, 76 ], [ 102, 75 ], [ 103, 74 ], [ 104, 102 ],
[ 105, 110 ], [ 106, 81 ], [ 120, 82 ] ],
[ [ 1, 51 ], [ 3, 52 ], [ 4, 83 ], [ 11, 9 ], [ 22, 20 ], [ 26, 5 ],
[ 32, 1 ], [ 40, 75 ], [ 42, 41 ], [ 63, 61 ], [ 72, 70 ], [ 80, 78 ],
[ 88, 86 ], [ 96, 87 ], [ 100, 10 ], [ 104, 103 ], [ 105, 111 ],
[ 108, 97 ], [ 120, 118 ] ],
[ [ 1, 52 ], [ 4, 5 ], [ 9, 51 ], [ 11, 10 ], [ 12, 97 ], [ 16, 17 ],
[ 22, 21 ], [ 26, 27 ], [ 32, 31 ], [ 36, 37 ], [ 37, 47 ], [ 41, 83 ],
[ 42, 1 ], [ 43, 12 ], [ 57, 48 ], [ 63, 62 ], [ 66, 67 ], [ 72, 71 ],
[ 74, 75 ], [ 80, 79 ], [ 88, 87 ], [ 96, 95 ], [ 103, 9 ],
[ 104, 96 ], [ 105, 112 ], [ 109, 53 ], [ 116, 117 ], [ 120, 119 ] ],
[ [ 1, 53 ], [ 4, 109 ], [ 6, 5 ], [ 7, 49 ], [ 11, 12 ], [ 18, 17 ],
[ 22, 23 ], [ 28, 27 ], [ 32, 33 ], [ 38, 37 ], [ 42, 43 ], [ 48, 47 ],
[ 57, 4 ], [ 58, 48 ], [ 59, 67 ], [ 63, 1 ], [ 64, 117 ], [ 72, 73 ],
[ 76, 75 ], [ 80, 81 ], [ 84, 83 ], [ 88, 89 ], [ 92, 52 ], [ 96, 97 ],
[ 101, 7 ], [ 104, 105 ], [ 105, 113 ], [ 120, 114 ] ],
[ [ 1, 54 ], [ 7, 48 ], [ 11, 13 ], [ 12, 117 ], [ 22, 24 ], [ 32, 34 ],
[ 42, 44 ], [ 63, 64 ], [ 72, 1 ], [ 73, 5 ], [ 80, 82 ], [ 88, 90 ],
[ 93, 62 ], [ 96, 98 ], [ 101, 6 ], [ 104, 106 ], [ 105, 114 ],
[ 110, 75 ], [ 120, 121 ] ],
[ [ 1, 55 ], [ 8, 59 ], [ 12, 2 ], [ 13, 18 ], [ 23, 14 ], [ 33, 15 ],
[ 43, 35 ], [ 50, 67 ], [ 53, 45 ], [ 73, 19 ], [ 81, 1 ], [ 82, 6 ],
[ 89, 20 ], [ 97, 91 ], [ 105, 99 ], [ 110, 7 ], [ 113, 107 ],
[ 114, 24 ], [ 118, 84 ] ],
[ [ 1, 56 ], [ 12, 3 ], [ 23, 15 ], [ 33, 25 ], [ 43, 26 ], [ 53, 46 ],
[ 61, 84 ], [ 73, 65 ], [ 81, 30 ], [ 89, 1 ], [ 97, 31 ],
[ 105, 100 ], [ 113, 108 ], [ 114, 115 ] ],
[ [ 1, 57 ], [ 5, 38 ], [ 10, 63 ], [ 12, 4 ], [ 23, 16 ], [ 33, 26 ],
[ 43, 36 ], [ 51, 84 ], [ 52, 6 ], [ 53, 37 ], [ 71, 101 ], [ 73, 66 ],
[ 81, 74 ], [ 89, 41 ], [ 97, 1 ], [ 105, 42 ], [ 112, 11 ],
[ 113, 109 ], [ 114, 116 ] ],
[ [ 1, 58 ], [ 12, 6 ], [ 23, 18 ], [ 33, 28 ], [ 43, 38 ], [ 53, 48 ],
[ 73, 59 ], [ 81, 76 ], [ 89, 84 ], [ 97, 92 ], [ 105, 63 ],
[ 113, 1 ], [ 114, 64 ] ],
[ [ 1, 59 ], [ 2, 55 ], [ 5, 67 ], [ 12, 7 ], [ 13, 6 ], [ 23, 19 ],
[ 24, 18 ], [ 33, 29 ], [ 34, 28 ], [ 43, 39 ], [ 44, 38 ], [ 53, 49 ],
[ 54, 48 ], [ 64, 58 ], [ 73, 68 ], [ 81, 69 ], [ 82, 76 ], [ 89, 85 ],
[ 90, 84 ], [ 97, 93 ], [ 98, 92 ], [ 105, 101 ], [ 106, 63 ],
[ 107, 2 ], [ 113, 73 ], [ 114, 1 ], [ 117, 5 ], [ 121, 64 ] ],
[ [ 1, 60 ], [ 2, 64 ], [ 7, 76 ], [ 12, 8 ], [ 19, 6 ], [ 23, 1 ],
[ 33, 30 ], [ 43, 40 ], [ 53, 50 ], [ 70, 84 ], [ 73, 69 ], [ 81, 77 ],
[ 89, 78 ], [ 97, 94 ], [ 99, 120 ], [ 105, 102 ], [ 107, 13 ],
[ 113, 110 ], [ 114, 82 ] ],
[ [ 1, 61 ], [ 12, 9 ], [ 23, 20 ], [ 33, 1 ], [ 43, 41 ], [ 53, 51 ],
[ 73, 70 ], [ 81, 78 ], [ 89, 86 ], [ 97, 87 ], [ 105, 103 ],
[ 107, 90 ], [ 108, 89 ], [ 109, 83 ], [ 110, 85 ], [ 111, 84 ],
[ 112, 88 ], [ 113, 111 ], [ 114, 118 ] ],
[ [ 1, 62 ], [ 4, 48 ], [ 11, 92 ], [ 12, 10 ], [ 23, 21 ], [ 33, 31 ],
[ 42, 6 ], [ 43, 1 ], [ 53, 52 ], [ 73, 71 ], [ 81, 79 ], [ 89, 87 ],
[ 97, 95 ], [ 103, 84 ], [ 105, 96 ], [ 109, 5 ], [ 113, 112 ],
[ 114, 119 ], [ 116, 54 ] ],
[ [ 1, 63 ], [ 4, 57 ], [ 5, 6 ], [ 7, 101 ], [ 12, 11 ], [ 17, 18 ],
[ 23, 22 ], [ 27, 28 ], [ 33, 32 ], [ 37, 38 ], [ 43, 42 ], [ 47, 48 ],
[ 48, 58 ], [ 49, 7 ], [ 52, 92 ], [ 53, 1 ], [ 67, 59 ], [ 73, 72 ],
[ 75, 76 ], [ 81, 80 ], [ 83, 84 ], [ 89, 88 ], [ 97, 96 ],
[ 105, 104 ], [ 109, 4 ], [ 113, 105 ], [ 114, 120 ], [ 117, 64 ] ],
[ [ 1, 64 ], [ 7, 6 ], [ 8, 60 ], [ 11, 120 ], [ 12, 13 ], [ 19, 18 ],
[ 23, 24 ], [ 29, 28 ], [ 33, 34 ], [ 39, 38 ], [ 43, 44 ], [ 49, 48 ],
[ 53, 54 ], [ 59, 58 ], [ 68, 59 ], [ 69, 76 ], [ 72, 11 ], [ 73, 1 ],
[ 81, 82 ], [ 85, 84 ], [ 89, 90 ], [ 93, 92 ], [ 97, 98 ],
[ 101, 63 ], [ 105, 106 ], [ 110, 8 ], [ 113, 114 ], [ 114, 121 ] ],
[ [ 1, 65 ], [ 2, 29 ], [ 9, 69 ], [ 13, 3 ], [ 20, 7 ], [ 21, 93 ],
[ 24, 15 ], [ 34, 25 ], [ 44, 26 ], [ 54, 46 ], [ 61, 76 ], [ 64, 56 ],
[ 82, 30 ], [ 90, 1 ], [ 98, 31 ], [ 106, 100 ], [ 114, 108 ],
[ 118, 8 ], [ 121, 115 ] ],
[ [ 1, 66 ], [ 13, 4 ], [ 24, 16 ], [ 34, 26 ], [ 44, 36 ], [ 54, 37 ],
[ 64, 57 ], [ 71, 93 ], [ 82, 74 ], [ 90, 41 ], [ 98, 1 ], [ 106, 42 ],
[ 114, 109 ], [ 121, 116 ] ],
[ [ 1, 67 ], [ 11, 59 ], [ 12, 49 ], [ 13, 5 ], [ 22, 55 ], [ 24, 17 ],
[ 34, 27 ], [ 44, 37 ], [ 54, 47 ], [ 64, 48 ], [ 82, 75 ], [ 90, 83 ],
[ 98, 52 ], [ 105, 7 ], [ 106, 1 ], [ 112, 93 ], [ 114, 53 ],
[ 120, 6 ], [ 121, 117 ] ],
[ [ 1, 68 ], [ 13, 7 ], [ 24, 19 ], [ 34, 29 ], [ 44, 39 ], [ 54, 49 ],
[ 64, 59 ], [ 82, 69 ], [ 90, 85 ], [ 98, 93 ], [ 106, 101 ],
[ 114, 73 ], [ 121, 1 ] ],
[ [ 1, 69 ], [ 2, 7 ], [ 3, 65 ], [ 6, 76 ], [ 13, 8 ], [ 14, 19 ],
[ 15, 29 ], [ 18, 6 ], [ 19, 68 ], [ 20, 85 ], [ 24, 1 ], [ 34, 30 ],
[ 35, 39 ], [ 44, 40 ], [ 45, 49 ], [ 54, 50 ], [ 55, 59 ], [ 64, 60 ],
[ 82, 77 ], [ 90, 78 ], [ 91, 93 ], [ 98, 94 ], [ 99, 101 ],
[ 106, 102 ], [ 107, 73 ], [ 114, 110 ], [ 115, 3 ], [ 121, 82 ] ],
[ [ 1, 70 ], [ 3, 19 ], [ 8, 85 ], [ 13, 9 ], [ 24, 20 ], [ 30, 7 ],
[ 34, 1 ], [ 44, 41 ], [ 54, 51 ], [ 64, 61 ], [ 79, 93 ], [ 82, 78 ],
[ 90, 86 ], [ 98, 87 ], [ 106, 103 ], [ 108, 23 ], [ 114, 111 ],
[ 115, 2 ], [ 121, 118 ] ],
[ [ 1, 71 ], [ 13, 10 ], [ 24, 21 ], [ 34, 31 ], [ 44, 1 ], [ 54, 52 ],
[ 64, 62 ], [ 82, 79 ], [ 90, 87 ], [ 98, 95 ], [ 106, 96 ],
[ 114, 112 ], [ 115, 91 ], [ 116, 98 ], [ 117, 97 ], [ 118, 94 ],
[ 119, 93 ], [ 120, 92 ], [ 121, 119 ] ],
[ [ 1, 72 ], [ 5, 73 ], [ 6, 101 ], [ 13, 11 ], [ 24, 22 ], [ 34, 32 ],
[ 44, 42 ], [ 48, 7 ], [ 54, 1 ], [ 62, 93 ], [ 64, 63 ], [ 75, 110 ],
[ 82, 80 ], [ 90, 88 ], [ 98, 96 ], [ 106, 104 ], [ 114, 105 ],
[ 117, 12 ], [ 121, 120 ] ],
[ [ 1, 73 ], [ 6, 7 ], [ 8, 110 ], [ 11, 72 ], [ 13, 12 ], [ 18, 19 ],
[ 24, 23 ], [ 28, 29 ], [ 34, 33 ], [ 38, 39 ], [ 44, 43 ], [ 48, 49 ],
[ 54, 53 ], [ 58, 59 ], [ 59, 68 ], [ 60, 8 ], [ 63, 101 ], [ 64, 1 ],
[ 76, 69 ], [ 82, 81 ], [ 84, 85 ], [ 90, 89 ], [ 92, 93 ], [ 98, 97 ],
[ 106, 105 ], [ 114, 113 ], [ 120, 11 ], [ 121, 114 ] ],
[ [ 1, 74 ], [ 2, 4 ], [ 3, 40 ], [ 10, 78 ], [ 14, 16 ], [ 15, 26 ],
[ 19, 66 ], [ 20, 41 ], [ 21, 9 ], [ 24, 116 ], [ 27, 50 ], [ 31, 8 ],
[ 35, 36 ], [ 45, 37 ], [ 55, 57 ], [ 71, 85 ], [ 91, 1 ], [ 99, 42 ],
[ 107, 109 ] ],
[ [ 1, 75 ], [ 2, 5 ], [ 14, 17 ], [ 15, 27 ], [ 16, 46 ], [ 17, 50 ],
[ 18, 54 ], [ 19, 67 ], [ 20, 83 ], [ 21, 51 ], [ 22, 45 ], [ 23, 49 ],
[ 24, 117 ], [ 35, 37 ], [ 45, 47 ], [ 55, 48 ], [ 91, 52 ], [ 99, 1 ],
[ 107, 53 ] ],
[ [ 1, 76 ], [ 2, 6 ], [ 12, 69 ], [ 13, 60 ], [ 14, 18 ], [ 15, 28 ],
[ 19, 59 ], [ 20, 84 ], [ 23, 7 ], [ 24, 64 ], [ 33, 65 ], [ 35, 38 ],
[ 45, 48 ], [ 55, 58 ], [ 91, 92 ], [ 99, 63 ], [ 107, 1 ], [ 114, 8 ],
[ 117, 50 ] ],
[ [ 1, 77 ], [ 2, 8 ], [ 14, 1 ], [ 15, 30 ], [ 19, 69 ], [ 20, 78 ],
[ 24, 82 ], [ 35, 40 ], [ 45, 50 ], [ 55, 60 ], [ 91, 94 ],
[ 99, 102 ], [ 107, 110 ] ],
[ [ 1, 78 ], [ 2, 9 ], [ 3, 8 ], [ 4, 74 ], [ 7, 85 ], [ 14, 20 ],
[ 15, 1 ], [ 16, 4 ], [ 19, 70 ], [ 20, 86 ], [ 24, 118 ], [ 25, 30 ],
[ 26, 40 ], [ 29, 7 ], [ 30, 77 ], [ 31, 94 ], [ 35, 41 ], [ 45, 51 ],
[ 46, 50 ], [ 55, 61 ], [ 56, 60 ], [ 65, 69 ], [ 91, 87 ],
[ 99, 103 ], [ 100, 102 ], [ 107, 111 ], [ 108, 110 ], [ 115, 82 ] ],
[ [ 1, 79 ], [ 2, 10 ], [ 4, 30 ], [ 9, 94 ], [ 14, 21 ], [ 15, 31 ],
[ 16, 3 ], [ 19, 71 ], [ 20, 87 ], [ 24, 119 ], [ 35, 1 ], [ 41, 8 ],
[ 45, 52 ], [ 55, 62 ], [ 83, 50 ], [ 91, 95 ], [ 99, 96 ],
[ 107, 112 ], [ 116, 34 ] ],
[ [ 1, 80 ], [ 2, 11 ], [ 14, 22 ], [ 15, 32 ], [ 19, 72 ], [ 20, 88 ],
[ 24, 120 ], [ 35, 42 ], [ 45, 1 ], [ 55, 63 ], [ 75, 50 ], [ 91, 96 ],
[ 99, 104 ], [ 107, 105 ] ],
[ [ 1, 81 ], [ 2, 12 ], [ 6, 82 ], [ 7, 110 ], [ 14, 23 ], [ 15, 33 ],
[ 18, 13 ], [ 19, 73 ], [ 20, 89 ], [ 24, 114 ], [ 35, 43 ],
[ 45, 53 ], [ 55, 1 ], [ 59, 8 ], [ 67, 50 ], [ 84, 118 ], [ 91, 97 ],
[ 99, 105 ], [ 107, 113 ] ],
[ [ 1, 82 ], [ 2, 13 ], [ 7, 8 ], [ 9, 118 ], [ 12, 81 ], [ 14, 24 ],
[ 15, 34 ], [ 19, 1 ], [ 20, 90 ], [ 23, 12 ], [ 24, 121 ], [ 29, 30 ],
[ 35, 44 ], [ 39, 40 ], [ 45, 54 ], [ 49, 50 ], [ 55, 64 ], [ 59, 60 ],
[ 68, 69 ], [ 69, 77 ], [ 70, 9 ], [ 73, 110 ], [ 85, 78 ], [ 91, 98 ],
[ 93, 94 ], [ 99, 106 ], [ 101, 102 ], [ 107, 114 ] ],
[ [ 1, 83 ], [ 3, 5 ], [ 10, 51 ], [ 11, 41 ], [ 15, 17 ], [ 22, 35 ],
[ 25, 27 ], [ 26, 37 ], [ 30, 75 ], [ 31, 52 ], [ 32, 4 ], [ 46, 47 ],
[ 56, 48 ], [ 65, 67 ], [ 92, 61 ], [ 96, 9 ], [ 100, 1 ], [ 108, 53 ],
[ 115, 117 ] ],
[ [ 1, 84 ], [ 3, 6 ], [ 15, 18 ], [ 25, 28 ], [ 26, 38 ], [ 27, 62 ],
[ 28, 61 ], [ 29, 55 ], [ 30, 76 ], [ 31, 92 ], [ 32, 57 ], [ 33, 56 ],
[ 34, 60 ], [ 46, 48 ], [ 56, 58 ], [ 65, 59 ], [ 100, 63 ],
[ 108, 1 ], [ 115, 64 ] ],
[ [ 1, 85 ], [ 2, 70 ], [ 3, 7 ], [ 13, 78 ], [ 15, 19 ], [ 18, 61 ],
[ 24, 9 ], [ 25, 29 ], [ 26, 39 ], [ 30, 69 ], [ 31, 93 ], [ 34, 8 ],
[ 44, 74 ], [ 46, 49 ], [ 56, 59 ], [ 65, 68 ], [ 100, 101 ],
[ 108, 73 ], [ 115, 1 ] ],
[ [ 1, 86 ], [ 3, 9 ], [ 15, 20 ], [ 25, 1 ], [ 26, 41 ], [ 30, 78 ],
[ 31, 87 ], [ 46, 51 ], [ 56, 61 ], [ 65, 70 ], [ 100, 103 ],
[ 108, 111 ], [ 115, 118 ] ],
[ [ 1, 87 ], [ 3, 10 ], [ 4, 9 ], [ 8, 94 ], [ 11, 88 ], [ 15, 21 ],
[ 16, 20 ], [ 25, 31 ], [ 26, 1 ], [ 30, 79 ], [ 31, 95 ], [ 32, 11 ],
[ 36, 41 ], [ 37, 51 ], [ 40, 8 ], [ 41, 86 ], [ 42, 103 ], [ 46, 52 ],
[ 56, 62 ], [ 57, 61 ], [ 65, 71 ], [ 66, 70 ], [ 74, 78 ],
[ 100, 96 ], [ 108, 112 ], [ 109, 111 ], [ 115, 119 ], [ 116, 118 ] ],
[ [ 1, 88 ], [ 3, 11 ], [ 4, 103 ], [ 5, 87 ], [ 15, 22 ], [ 25, 32 ],
[ 26, 42 ], [ 27, 10 ], [ 30, 80 ], [ 31, 96 ], [ 37, 9 ], [ 38, 61 ],
[ 46, 1 ], [ 56, 63 ], [ 65, 72 ], [ 75, 94 ], [ 100, 104 ],
[ 108, 105 ], [ 115, 120 ] ],
[ [ 1, 89 ], [ 3, 12 ], [ 15, 23 ], [ 25, 33 ], [ 26, 43 ], [ 30, 81 ],
[ 31, 97 ], [ 46, 53 ], [ 56, 1 ], [ 65, 73 ], [ 84, 61 ],
[ 100, 105 ], [ 108, 113 ], [ 115, 114 ] ],
[ [ 1, 90 ], [ 3, 13 ], [ 7, 20 ], [ 8, 118 ], [ 15, 24 ], [ 25, 34 ],
[ 26, 44 ], [ 29, 2 ], [ 30, 82 ], [ 31, 98 ], [ 46, 54 ], [ 56, 64 ],
[ 65, 1 ], [ 69, 9 ], [ 76, 61 ], [ 93, 21 ], [ 100, 106 ],
[ 108, 114 ], [ 115, 121 ] ],
[ [ 1, 91 ], [ 4, 2 ], [ 8, 31 ], [ 9, 21 ], [ 16, 14 ], [ 26, 15 ],
[ 36, 35 ], [ 37, 45 ], [ 40, 3 ], [ 41, 20 ], [ 42, 99 ], [ 50, 27 ],
[ 57, 55 ], [ 66, 19 ], [ 74, 1 ], [ 78, 10 ], [ 85, 71 ],
[ 109, 107 ], [ 116, 24 ] ],
[ [ 1, 92 ], [ 4, 6 ], [ 5, 62 ], [ 12, 96 ], [ 16, 18 ], [ 26, 28 ],
[ 33, 100 ], [ 36, 38 ], [ 37, 48 ], [ 41, 84 ], [ 42, 63 ],
[ 43, 11 ], [ 49, 71 ], [ 53, 10 ], [ 57, 58 ], [ 66, 59 ], [ 74, 76 ],
[ 109, 1 ], [ 116, 64 ] ],
[ [ 1, 93 ], [ 4, 7 ], [ 16, 19 ], [ 26, 29 ], [ 35, 70 ], [ 36, 39 ],
[ 37, 49 ], [ 38, 67 ], [ 39, 71 ], [ 40, 65 ], [ 41, 85 ],
[ 42, 101 ], [ 43, 72 ], [ 44, 66 ], [ 57, 59 ], [ 66, 68 ],
[ 74, 69 ], [ 109, 73 ], [ 116, 1 ] ],
[ [ 1, 94 ], [ 2, 87 ], [ 3, 79 ], [ 4, 8 ], [ 15, 10 ], [ 16, 1 ],
[ 26, 30 ], [ 29, 71 ], [ 35, 9 ], [ 36, 40 ], [ 37, 50 ], [ 41, 78 ],
[ 42, 102 ], [ 57, 60 ], [ 66, 69 ], [ 74, 77 ], [ 99, 88 ],
[ 109, 110 ], [ 116, 82 ] ],
[ [ 1, 95 ], [ 4, 10 ], [ 16, 21 ], [ 26, 31 ], [ 36, 1 ], [ 37, 52 ],
[ 41, 87 ], [ 42, 96 ], [ 57, 62 ], [ 66, 71 ], [ 74, 79 ],
[ 109, 112 ], [ 116, 119 ] ],
[ [ 1, 96 ], [ 3, 100 ], [ 4, 11 ], [ 5, 10 ], [ 6, 92 ], [ 16, 22 ],
[ 17, 21 ], [ 26, 32 ], [ 27, 31 ], [ 36, 42 ], [ 37, 1 ], [ 38, 6 ],
[ 41, 88 ], [ 42, 104 ], [ 46, 3 ], [ 47, 52 ], [ 48, 62 ], [ 52, 95 ],
[ 53, 112 ], [ 57, 63 ], [ 66, 72 ], [ 67, 71 ], [ 74, 80 ],
[ 75, 79 ], [ 83, 87 ], [ 109, 105 ], [ 116, 120 ], [ 117, 119 ] ],
[ [ 1, 97 ], [ 4, 12 ], [ 6, 52 ], [ 11, 112 ], [ 16, 23 ], [ 26, 33 ],
[ 36, 43 ], [ 37, 53 ], [ 38, 5 ], [ 41, 89 ], [ 42, 105 ], [ 57, 1 ],
[ 63, 10 ], [ 66, 73 ], [ 74, 81 ], [ 84, 51 ], [ 101, 71 ],
[ 109, 113 ], [ 116, 114 ] ],
[ [ 1, 98 ], [ 4, 13 ], [ 16, 24 ], [ 26, 34 ], [ 36, 44 ], [ 37, 54 ],
[ 41, 90 ], [ 42, 106 ], [ 57, 64 ], [ 66, 1 ], [ 74, 82 ], [ 93, 71 ],
[ 109, 114 ], [ 116, 121 ] ],
[ [ 1, 99 ], [ 5, 2 ], [ 17, 14 ], [ 27, 15 ], [ 37, 35 ], [ 45, 22 ],
[ 46, 16 ], [ 47, 45 ], [ 48, 55 ], [ 49, 23 ], [ 50, 17 ], [ 51, 21 ],
[ 52, 91 ], [ 53, 107 ], [ 54, 18 ], [ 67, 19 ], [ 75, 1 ], [ 83, 20 ],
[ 117, 24 ] ],
[ [ 1, 100 ], [ 4, 32 ], [ 5, 3 ], [ 9, 96 ], [ 17, 15 ], [ 27, 25 ],
[ 35, 22 ], [ 37, 26 ], [ 41, 11 ], [ 47, 46 ], [ 48, 56 ], [ 51, 10 ],
[ 52, 31 ], [ 53, 108 ], [ 61, 92 ], [ 67, 65 ], [ 75, 30 ], [ 83, 1 ],
[ 117, 115 ] ],
[ [ 1, 101 ], [ 5, 7 ], [ 12, 72 ], [ 13, 63 ], [ 17, 19 ], [ 27, 29 ],
[ 37, 39 ], [ 44, 57 ], [ 47, 49 ], [ 48, 59 ], [ 52, 93 ], [ 53, 73 ],
[ 54, 6 ], [ 67, 68 ], [ 75, 69 ], [ 83, 85 ], [ 107, 22 ],
[ 114, 11 ], [ 117, 1 ] ],
[ [ 1, 102 ], [ 5, 8 ], [ 17, 1 ], [ 27, 30 ], [ 37, 40 ], [ 47, 50 ],
[ 48, 60 ], [ 52, 94 ], [ 53, 110 ], [ 67, 69 ], [ 75, 77 ],
[ 83, 78 ], [ 99, 22 ], [ 117, 82 ] ],
[ [ 1, 103 ], [ 3, 42 ], [ 5, 9 ], [ 10, 88 ], [ 17, 20 ], [ 27, 1 ],
[ 31, 11 ], [ 37, 41 ], [ 46, 4 ], [ 47, 51 ], [ 48, 61 ], [ 52, 87 ],
[ 53, 111 ], [ 67, 70 ], [ 75, 78 ], [ 83, 86 ], [ 91, 22 ],
[ 108, 43 ], [ 117, 118 ] ],
[ [ 1, 104 ], [ 5, 11 ], [ 17, 22 ], [ 27, 32 ], [ 37, 42 ], [ 47, 1 ],
[ 48, 63 ], [ 52, 96 ], [ 53, 105 ], [ 67, 72 ], [ 75, 80 ],
[ 83, 88 ], [ 117, 120 ] ],
[ [ 1, 105 ], [ 5, 12 ], [ 6, 11 ], [ 10, 112 ], [ 13, 106 ], [ 17, 23 ],
[ 18, 22 ], [ 27, 33 ], [ 28, 32 ], [ 37, 43 ], [ 38, 42 ], [ 47, 53 ],
[ 48, 1 ], [ 52, 97 ], [ 53, 113 ], [ 54, 13 ], [ 58, 63 ], [ 59, 72 ],
[ 62, 10 ], [ 63, 104 ], [ 64, 120 ], [ 67, 73 ], [ 75, 81 ],
[ 76, 80 ], [ 83, 89 ], [ 84, 88 ], [ 92, 96 ], [ 117, 114 ] ],
[ [ 1, 106 ], [ 5, 13 ], [ 6, 120 ], [ 7, 105 ], [ 17, 24 ], [ 27, 34 ],
[ 37, 44 ], [ 47, 54 ], [ 48, 64 ], [ 49, 12 ], [ 52, 98 ],
[ 53, 114 ], [ 55, 22 ], [ 59, 11 ], [ 67, 1 ], [ 75, 82 ], [ 83, 90 ],
[ 93, 112 ], [ 117, 121 ] ],
[ [ 1, 107 ], [ 6, 2 ], [ 7, 23 ], [ 8, 114 ], [ 18, 14 ], [ 28, 15 ],
[ 38, 35 ], [ 48, 45 ], [ 50, 117 ], [ 58, 55 ], [ 59, 19 ],
[ 60, 13 ], [ 63, 99 ], [ 64, 24 ], [ 65, 33 ], [ 69, 12 ], [ 76, 1 ],
[ 84, 20 ], [ 92, 91 ] ],
[ [ 1, 108 ], [ 6, 3 ], [ 18, 15 ], [ 28, 25 ], [ 38, 26 ], [ 48, 46 ],
[ 55, 29 ], [ 56, 33 ], [ 57, 32 ], [ 58, 56 ], [ 59, 65 ], [ 60, 34 ],
[ 61, 28 ], [ 62, 27 ], [ 63, 100 ], [ 64, 115 ], [ 76, 30 ],
[ 84, 1 ], [ 92, 31 ] ],
[ [ 1, 109 ], [ 6, 4 ], [ 10, 53 ], [ 11, 43 ], [ 18, 16 ], [ 28, 26 ],
[ 38, 36 ], [ 48, 37 ], [ 58, 57 ], [ 59, 66 ], [ 62, 5 ], [ 63, 42 ],
[ 64, 116 ], [ 71, 49 ], [ 76, 74 ], [ 84, 41 ], [ 92, 1 ], [ 96, 12 ],
[ 100, 33 ] ],
[ [ 1, 110 ], [ 2, 73 ], [ 6, 8 ], [ 13, 81 ], [ 18, 1 ], [ 24, 12 ],
[ 28, 30 ], [ 38, 40 ], [ 48, 50 ], [ 55, 7 ], [ 58, 60 ], [ 59, 69 ],
[ 63, 102 ], [ 64, 82 ], [ 76, 77 ], [ 84, 78 ], [ 92, 94 ],
[ 99, 72 ], [ 115, 33 ] ],
[ [ 1, 111 ], [ 6, 9 ], [ 18, 20 ], [ 28, 1 ], [ 38, 41 ], [ 48, 51 ],
[ 58, 61 ], [ 59, 70 ], [ 63, 103 ], [ 64, 118 ], [ 76, 78 ],
[ 84, 86 ], [ 92, 87 ], [ 108, 33 ] ],
[ [ 1, 112 ], [ 4, 105 ], [ 5, 97 ], [ 6, 10 ], [ 18, 21 ], [ 28, 31 ],
[ 37, 12 ], [ 38, 1 ], [ 46, 33 ], [ 48, 52 ], [ 57, 11 ], [ 58, 62 ],
[ 59, 71 ], [ 63, 96 ], [ 64, 119 ], [ 76, 79 ], [ 84, 87 ],
[ 92, 95 ], [ 116, 106 ] ],
[ [ 1, 113 ], [ 6, 12 ], [ 18, 23 ], [ 28, 33 ], [ 38, 43 ], [ 48, 53 ],
[ 58, 1 ], [ 59, 73 ], [ 63, 105 ], [ 64, 114 ], [ 76, 81 ],
[ 84, 89 ], [ 92, 97 ] ],
[ [ 1, 114 ], [ 2, 107 ], [ 5, 117 ], [ 6, 13 ], [ 7, 12 ], [ 18, 24 ],
[ 19, 23 ], [ 28, 34 ], [ 29, 33 ], [ 38, 44 ], [ 39, 43 ], [ 48, 54 ],
[ 49, 53 ], [ 55, 2 ], [ 58, 64 ], [ 59, 1 ], [ 63, 106 ], [ 64, 121 ],
[ 67, 5 ], [ 68, 73 ], [ 69, 81 ], [ 73, 113 ], [ 76, 82 ], [ 84, 90 ],
[ 85, 89 ], [ 92, 98 ], [ 93, 97 ], [ 101, 105 ] ],
[ [ 1, 115 ], [ 7, 3 ], [ 8, 34 ], [ 9, 24 ], [ 19, 15 ], [ 29, 25 ],
[ 39, 26 ], [ 49, 46 ], [ 59, 56 ], [ 61, 18 ], [ 68, 65 ], [ 69, 30 ],
[ 70, 2 ], [ 73, 108 ], [ 74, 44 ], [ 78, 13 ], [ 85, 1 ], [ 93, 31 ],
[ 101, 100 ] ],
[ [ 1, 116 ], [ 7, 4 ], [ 19, 16 ], [ 29, 26 ], [ 39, 36 ], [ 49, 37 ],
[ 59, 57 ], [ 65, 40 ], [ 66, 44 ], [ 67, 38 ], [ 68, 66 ], [ 69, 74 ],
[ 70, 35 ], [ 71, 39 ], [ 72, 43 ], [ 73, 109 ], [ 85, 41 ], [ 93, 1 ],
[ 101, 42 ] ],
[ [ 1, 117 ], [ 6, 54 ], [ 7, 5 ], [ 11, 114 ], [ 19, 17 ], [ 22, 107 ],
[ 29, 27 ], [ 39, 37 ], [ 49, 47 ], [ 57, 44 ], [ 59, 48 ], [ 63, 13 ],
[ 68, 67 ], [ 69, 75 ], [ 72, 12 ], [ 73, 53 ], [ 85, 83 ], [ 93, 52 ],
[ 101, 1 ] ],
[ [ 1, 118 ], [ 2, 90 ], [ 3, 82 ], [ 7, 9 ], [ 15, 13 ], [ 16, 44 ],
[ 19, 20 ], [ 29, 1 ], [ 39, 41 ], [ 49, 51 ], [ 59, 61 ], [ 65, 8 ],
[ 68, 70 ], [ 69, 78 ], [ 73, 111 ], [ 85, 86 ], [ 93, 87 ],
[ 101, 103 ], [ 108, 81 ] ],
[ [ 1, 119 ], [ 7, 10 ], [ 19, 21 ], [ 29, 31 ], [ 39, 1 ], [ 49, 52 ],
[ 59, 62 ], [ 68, 71 ], [ 69, 79 ], [ 73, 112 ], [ 85, 87 ],
[ 93, 95 ], [ 101, 96 ], [ 116, 44 ] ],
[ [ 1, 120 ], [ 5, 64 ], [ 7, 11 ], [ 12, 106 ], [ 19, 22 ], [ 29, 32 ],
[ 39, 42 ], [ 49, 1 ], [ 53, 13 ], [ 59, 63 ], [ 67, 6 ], [ 68, 72 ],
[ 69, 80 ], [ 73, 105 ], [ 75, 60 ], [ 85, 88 ], [ 93, 96 ],
[ 101, 104 ], [ 109, 44 ] ],
[ [ 1, 121 ], [ 7, 13 ], [ 19, 24 ], [ 29, 34 ], [ 39, 44 ], [ 49, 54 ],
[ 59, 64 ], [ 68, 1 ], [ 69, 82 ], [ 73, 114 ], [ 85, 90 ], [ 93, 98 ],
[ 101, 106 ] ] ]