-
Notifications
You must be signed in to change notification settings - Fork 0
/
tort.patt
196 lines (192 loc) · 12.2 KB
/
tort.patt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
197 223 234 242 243 241 241 240 243 240 231 229 230 229 230 219
192 199 219 236 241 245 231 218 210 215 211 217 218 216 211 213
188 193 191 197 215 228 223 212 197 204 218 223 218 213 206 204
174 176 182 190 195 194 203 192 189 200 212 213 215 200 195 183
163 167 175 182 181 181 183 184 188 190 190 188 191 187 180 168
161 163 159 162 169 173 176 182 190 182 170 171 176 169 163 157
158 156 154 155 156 158 163 166 167 163 160 161 160 157 158 155
155 152 152 153 152 153 149 174 154 134 155 154 154 154 154 153
153 151 152 152 151 151 149 158 88 110 131 148 150 151 150 149
151 149 150 150 149 148 151 84 85 101 106 130 148 150 148 147
150 148 147 151 160 168 142 85 88 88 146 174 158 146 153 146
147 145 150 123 117 91 115 85 57 69 92 78 83 134 153 145
156 167 142 126 136 85 82 90 65 69 67 69 69 87 148 145
164 148 136 141 143 131 100 80 82 76 80 84 109 61 130 143
140 140 140 140 141 142 140 131 79 132 130 124 102 67 100 138
140 140 139 139 139 139 139 139 74 138 139 139 130 71 87 136
105 161 191 217 220 211 212 211 217 208 184 176 178 174 180 152
97 106 150 196 212 222 181 145 128 135 127 142 144 138 128 133
90 96 94 102 140 173 158 131 103 114 144 154 142 133 119 115
76 80 85 94 100 97 110 97 92 106 127 131 135 108 100 85
66 71 78 85 84 84 86 86 90 93 92 89 95 91 84 71
64 67 63 66 73 76 79 85 91 83 73 74 81 74 68 60
61 60 57 58 60 63 67 70 70 67 62 65 65 62 63 55
55 54 54 55 55 56 69 163 126 63 58 57 57 58 58 55
51 51 51 52 53 53 106 169 85 107 100 53 56 56 52 51
47 47 47 49 50 73 150 94 91 107 116 103 51 53 49 46
45 44 45 60 103 157 149 95 100 99 158 192 123 49 60 46
42 42 65 123 105 105 124 92 64 78 105 90 99 85 67 48
76 120 139 52 51 89 91 104 78 82 77 79 80 79 63 56
165 126 45 38 38 53 81 89 94 89 94 94 114 71 65 58
39 36 36 36 36 36 36 49 88 52 52 44 90 74 68 53
37 36 35 34 35 35 35 34 78 36 35 35 39 64 68 47
3 76 132 177 184 170 168 168 179 162 114 100 107 98 111 54
1 4 61 139 169 187 112 44 23 27 15 39 40 26 9 20
0 0 0 0 42 93 60 27 0 6 39 59 42 23 4 2
0 0 0 0 0 0 1 0 0 0 11 29 33 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0
0 0 0 0 0 0 17 143 98 36 0 0 0 0 1 1
0 0 0 0 0 0 72 172 58 123 93 3 0 0 0 0
0 0 0 0 0 32 140 99 76 99 117 86 0 0 0 0
0 0 0 17 73 143 140 86 95 95 154 192 102 0 3 0
0 0 27 119 93 103 113 73 53 67 102 92 103 50 1 0
39 97 133 18 13 70 79 104 79 83 75 74 80 67 1 0
163 114 7 0 0 17 62 89 94 89 94 88 100 72 20 1
1 0 0 0 0 0 0 13 73 17 17 13 68 66 44 0
0 0 0 0 0 0 0 0 70 2 0 0 5 48 52 0
219 213 204 183 168 157 155 153 149 147 146 145 145 143 138 136
230 211 206 195 180 163 158 154 150 148 153 153 148 130 100 87
229 216 213 200 187 169 157 154 151 150 146 134 87 61 67 71
230 218 218 215 191 176 160 154 150 148 158 83 69 109 102 130
229 217 223 213 188 171 161 154 148 130 174 78 69 84 124 139
231 211 218 212 190 170 160 155 131 106 146 92 67 80 130 139
240 215 204 200 190 182 163 134 110 101 88 69 69 76 132 138
243 210 197 189 188 190 167 154 88 85 88 57 65 82 79 74
240 218 212 192 184 182 166 174 158 84 85 85 90 80 131 139
241 231 223 203 183 176 163 149 149 151 142 115 82 100 140 139
241 245 228 194 181 173 158 153 151 148 168 91 85 131 142 139
243 241 215 195 181 169 156 152 151 149 160 117 136 143 141 139
242 236 197 190 182 162 155 153 152 150 151 123 126 141 140 139
234 219 191 182 175 159 154 152 152 150 147 150 142 136 140 139
223 199 193 176 167 163 156 152 151 149 148 145 167 148 140 140
197 192 188 174 163 161 158 155 153 151 150 147 156 164 140 140
152 133 115 85 71 60 55 55 51 46 46 48 56 58 53 47
180 128 119 100 84 68 63 58 52 49 60 67 63 65 68 68
174 138 133 108 91 74 62 58 56 53 49 85 79 71 74 64
178 144 142 135 95 81 65 57 56 51 123 99 80 114 90 39
176 142 154 131 89 74 65 57 53 103 192 90 79 94 44 35
184 127 144 127 92 73 62 58 100 116 158 105 77 94 52 35
208 135 114 106 93 83 67 63 107 107 99 78 82 89 52 36
217 128 103 92 90 91 70 126 85 91 100 64 78 94 88 78
211 145 131 97 86 85 70 163 169 94 95 92 104 89 49 34
212 181 158 110 86 79 67 69 106 150 149 124 91 81 36 35
211 222 173 97 84 76 63 56 53 73 157 105 89 53 36 35
220 212 140 100 84 73 60 55 53 50 103 105 51 38 36 35
217 196 102 94 85 66 58 55 52 49 60 123 52 38 36 34
191 150 94 85 78 63 57 54 51 47 45 65 139 45 36 35
161 106 96 80 71 67 60 54 51 47 44 42 120 126 36 36
105 97 90 76 66 64 61 55 51 47 45 42 76 165 39 37
54 20 2 0 0 0 0 1 0 0 0 0 0 1 0 0
111 9 4 0 0 0 3 1 0 0 3 1 1 20 44 52
98 26 23 0 0 0 0 0 0 0 0 50 67 72 66 48
107 40 42 33 0 0 0 0 0 0 102 103 80 100 68 5
100 39 59 29 0 0 0 0 3 86 192 92 74 88 13 0
114 15 39 11 0 0 0 0 93 117 154 102 75 94 17 0
162 27 6 0 0 0 0 36 123 99 95 67 83 89 17 2
179 23 0 0 0 0 0 98 58 76 95 53 79 94 73 70
168 44 27 0 0 0 0 143 172 99 86 73 104 89 13 0
168 112 60 1 0 0 0 17 72 140 140 113 79 62 0 0
170 187 93 0 0 0 0 0 0 32 143 103 70 17 0 0
184 169 42 0 0 0 0 0 0 0 73 93 13 0 0 0
177 139 0 0 0 0 0 0 0 0 17 119 18 0 0 0
132 61 0 0 0 0 0 0 0 0 0 27 133 7 0 0
76 4 0 0 0 0 0 0 0 0 0 0 97 114 0 0
3 1 0 0 0 0 0 0 0 0 0 0 39 163 1 0
136 87 71 130 139 139 138 74 139 139 139 139 139 139 140 140
138 100 67 102 124 130 132 79 131 140 142 141 140 140 140 140
143 130 61 109 84 80 76 82 80 100 131 143 141 136 148 164
145 148 87 69 69 67 69 65 90 82 85 136 126 142 167 156
145 153 134 83 78 92 69 57 85 115 91 117 123 150 145 147
146 153 146 158 174 146 88 88 85 142 168 160 151 147 148 150
147 148 150 148 130 106 101 85 84 151 148 149 150 150 149 151
149 150 151 150 148 131 110 88 158 149 151 151 152 152 151 153
153 154 154 154 154 155 134 154 174 149 153 152 153 152 152 155
155 158 157 160 161 160 163 167 166 163 158 156 155 154 156 158
157 163 169 176 171 170 182 190 182 176 173 169 162 159 163 161
168 180 187 191 188 190 190 188 184 183 181 181 182 175 167 163
183 195 200 215 213 212 200 189 192 203 194 195 190 182 176 174
204 206 213 218 223 218 204 197 212 223 228 215 197 191 193 188
213 211 216 218 217 211 215 210 218 231 245 241 236 219 199 192
219 230 229 230 229 231 240 243 240 241 241 243 242 234 223 197
47 68 64 39 35 35 36 78 34 35 35 35 34 35 36 37
53 68 74 90 44 52 52 88 49 36 36 36 36 36 36 39
58 65 71 114 94 94 89 94 89 81 53 38 38 45 126 165
56 63 79 80 79 77 82 78 104 91 89 51 52 139 120 76
48 67 85 99 90 105 78 64 92 124 105 105 123 65 42 42
46 60 49 123 192 158 99 100 95 149 157 103 60 45 44 45
46 49 53 51 103 116 107 91 94 150 73 50 49 47 47 47
51 52 56 56 53 100 107 85 169 106 53 53 52 51 51 51
55 58 58 57 57 58 63 126 163 69 56 55 55 54 54 55
55 63 62 65 65 62 67 70 70 67 63 60 58 57 60 61
60 68 74 81 74 73 83 91 85 79 76 73 66 63 67 64
71 84 91 95 89 92 93 90 86 86 84 84 85 78 71 66
85 100 108 135 131 127 106 92 97 110 97 100 94 85 80 76
115 119 133 142 154 144 114 103 131 158 173 140 102 94 96 90
133 128 138 144 142 127 135 128 145 181 222 212 196 150 106 97
152 180 174 178 176 184 208 217 211 212 211 220 217 191 161 105
0 52 48 5 0 0 2 70 0 0 0 0 0 0 0 0
0 44 66 68 13 17 17 73 13 0 0 0 0 0 0 1
1 20 72 100 88 94 89 94 89 62 17 0 0 7 114 163
0 1 67 80 74 75 83 79 104 79 70 13 18 133 97 39
0 1 50 103 92 102 67 53 73 113 103 93 119 27 0 0
0 3 0 102 192 154 95 95 86 140 143 73 17 0 0 0
0 0 0 0 86 117 99 76 99 140 32 0 0 0 0 0
0 0 0 0 3 93 123 58 172 72 0 0 0 0 0 0
1 1 0 0 0 0 36 98 143 17 0 0 0 0 0 0
0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 33 29 11 0 0 0 1 0 0 0 0 0 0
2 4 23 42 59 39 6 0 27 60 93 42 0 0 0 0
20 9 26 40 39 15 27 23 44 112 187 169 139 61 4 1
54 111 98 107 100 114 162 179 168 168 170 184 177 132 76 3
140 140 164 156 147 150 151 153 155 158 161 163 174 188 192 197
140 140 148 167 145 148 149 151 152 156 163 167 176 193 199 223
139 140 136 142 150 147 150 152 152 154 159 175 182 191 219 234
139 140 141 126 123 151 150 152 153 155 162 182 190 197 236 242
139 141 143 136 117 160 149 151 152 156 169 181 195 215 241 243
139 142 131 85 91 168 148 151 153 158 173 181 194 228 245 241
139 140 100 82 115 142 151 149 149 163 176 183 203 223 231 241
139 131 80 90 85 85 84 158 174 166 182 184 192 212 218 240
74 79 82 65 57 88 85 88 154 167 190 188 189 197 210 243
138 132 76 69 69 88 101 110 134 163 182 190 200 204 215 240
139 130 80 67 92 146 106 131 155 160 170 190 212 218 211 231
139 124 84 69 78 174 130 148 154 161 171 188 213 223 217 229
130 102 109 69 83 158 148 150 154 160 176 191 215 218 218 230
71 67 61 87 134 146 150 151 154 157 169 187 200 213 216 229
87 100 130 148 153 153 148 150 154 158 163 180 195 206 211 230
136 138 143 145 145 146 147 149 153 155 157 168 183 204 213 219
37 39 165 76 42 45 47 51 55 61 64 66 76 90 97 105
36 36 126 120 42 44 47 51 54 60 67 71 80 96 106 161
35 36 45 139 65 45 47 51 54 57 63 78 85 94 150 191
34 36 38 52 123 60 49 52 55 58 66 85 94 102 196 217
35 36 38 51 105 103 50 53 55 60 73 84 100 140 212 220
35 36 53 89 105 157 73 53 56 63 76 84 97 173 222 211
35 36 81 91 124 149 150 106 69 67 79 86 110 158 181 212
34 49 89 104 92 95 94 169 163 70 85 86 97 131 145 211
78 88 94 78 64 100 91 85 126 70 91 90 92 103 128 217
36 52 89 82 78 99 107 107 63 67 83 93 106 114 135 208
35 52 94 77 105 158 116 100 58 62 73 92 127 144 127 184
35 44 94 79 90 192 103 53 57 65 74 89 131 154 142 176
39 90 114 80 99 123 51 56 57 65 81 95 135 142 144 178
64 74 71 79 85 49 53 56 58 62 74 91 108 133 138 174
68 68 65 63 67 60 49 52 58 63 68 84 100 119 128 180
47 53 58 56 48 46 46 51 55 55 60 71 85 115 133 152
0 1 163 39 0 0 0 0 0 0 0 0 0 0 1 3
0 0 114 97 0 0 0 0 0 0 0 0 0 0 4 76
0 0 7 133 27 0 0 0 0 0 0 0 0 0 61 132
0 0 0 18 119 17 0 0 0 0 0 0 0 0 139 177
0 0 0 13 93 73 0 0 0 0 0 0 0 42 169 184
0 0 17 70 103 143 32 0 0 0 0 0 0 93 187 170
0 0 62 79 113 140 140 72 17 0 0 0 1 60 112 168
0 13 89 104 73 86 99 172 143 0 0 0 0 27 44 168
70 73 94 79 53 95 76 58 98 0 0 0 0 0 23 179
2 17 89 83 67 95 99 123 36 0 0 0 0 6 27 162
0 17 94 75 102 154 117 93 0 0 0 0 11 39 15 114
0 13 88 74 92 192 86 3 0 0 0 0 29 59 39 100
5 68 100 80 103 102 0 0 0 0 0 0 33 42 40 107
48 66 72 67 50 0 0 0 0 0 0 0 0 23 26 98
52 44 20 1 1 3 0 0 1 3 0 0 0 4 9 111
0 0 1 0 0 0 0 0 1 0 0 0 0 2 20 54