// Testfile dumped by Ultimate at 2020/03/07 08:28:59 // // PetriNet net = ( alphabet = {a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a60 a61 a62 a63 a64 a65 a66 a67 a68 a69 a70 a71 a72 a73 a74 a75 a76 a77 a78 a79 a80 a81 a82 a83 a84 a85 a86 a87 a88 a89 a90 a91 a92 a93 a94 a95 a96 a97 a98 a99 a100 }, places = {p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 p251 p252 p253 p254 p255 p256 p257 p258 }, transitions = { ({p233 p57 p128 p172 p147 p36 p254 p89 p193 } a43 {p148 p142 p216 p25 p175 p92 p152 p47 }) ({p19 } a90 {p87 }) ({p232 p126 p37 p36 p224 p185 p110 p189 } a43 {p124 p223 p184 p113 p190 p47 }) ({p208 p0 p126 p36 p110 p188 p181 } a43 {p124 p195 p183 p217 p113 p227 p47 }) ({p132 p135 p137 p70 p138 } a95 {p55 p82 p132 p135 p137 p139 }) ({p194 p195 p148 p149 p150 p218 p164 p98 p172 p190 p191 p119 p231 p76 } a53 {p194 p195 p125 p235 p148 p149 p133 p150 p164 p172 p105 p210 p190 p191 }) ({p126 p222 p142 p151 p240 p175 p92 p189 p29 } a87 {p222 p128 p147 p184 p19 p113 p144 p154 p193 }) ({p61 p247 } a47 {p2 p58 p117 }) ({p123 p148 p40 p149 p150 p168 p169 p170 p104 p173 p62 p188 p189 p117 p193 } a48 {p148 p149 p150 p14 p50 p168 p169 p170 p173 p108 p24 p188 p189 p116 p193 }) ({p194 p195 p148 p149 p150 p198 p152 p98 p54 p169 p18 p191 p119 p76 } a53 {p194 p195 p125 p148 p245 p149 p133 p150 p172 p105 p201 p155 p191 }) ({p123 p194 p195 p234 p148 p236 p149 p237 p150 p168 p52 p53 p169 p170 p104 p173 p60 p62 p64 p190 p191 p231 } a38 {p194 p195 p234 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p108 p64 p111 p116 p190 p191 p231 }) ({p83 p109 } a42 {p101 p36 p121 }) ({p126 p36 p185 p110 p212 p189 p14 p229 p50 } a43 {p124 p222 p184 p40 p62 p113 p190 p47 }) ({p53 p2 p235 p210 p66 p156 p164 } a38 {p170 p159 p111 p218 p30 p231 }) ({p126 p142 p197 p151 p240 p175 p92 p189 p29 } a87 {p128 p147 p184 p19 p113 p144 p219 p154 p193 }) ({p53 p147 p131 p89 p250 p193 } a38 {p171 p148 p142 p197 p151 p240 p175 p111 p74 }) ({p36 p131 p179 p212 p14 p229 p50 p193 } a43 {p222 p40 p62 p131 p175 p191 p47 }) ({p170 p204 p252 p36 p173 p131 p179 p150 p193 } a43 {p170 p173 p131 p150 p197 p240 p175 p228 p191 p47 }) ({p93 } a15 {p6 }) ({p123 p148 p149 p150 p42 p168 p169 p170 p104 p60 p223 p184 p173 p190 p117 } a48 {p232 p148 p149 p150 p45 p168 p169 p56 p170 p173 p108 p224 p185 p24 p189 p116 }) ({p57 p128 p172 p36 p201 p150 p155 p256 p74 } a43 {p169 p131 p150 p25 p198 p92 p152 p47 }) ({p123 p124 p36 p131 p212 p188 p14 p229 p50 p181 } a43 {p123 p195 p124 p222 p183 p40 p62 p131 p47 }) ({p196 p38 p149 p89 p163 p241 } a83 {p34 p171 p148 p95 p192 p242 }) ({p53 p169 p170 p235 p210 } a38 {p169 p170 p111 p218 p231 }) ({p128 p2 p36 p66 p202 p156 p164 p74 } a43 {p170 p159 p131 p211 p92 p30 p47 }) ({p123 p194 p195 p148 p149 p150 p198 p152 p54 p169 p104 p18 p191 p76 } a53 {p194 p195 p125 p148 p245 p149 p150 p172 p108 p201 p155 p116 p191 }) ({p3 } a1 {p5 }) ({p126 p40 p174 p142 p198 p92 p152 p29 p167 } a87 {p128 p172 p147 p40 p19 p161 p113 p144 p177 }) ({p233 p57 p128 p172 p36 p150 p155 p256 p74 p207 } a43 {p169 p131 p237 p216 p150 p25 p92 p152 p47 }) ({p251 p150 p95 p165 p31 } a85 {p101 p149 p255 p163 p29 }) ({p26 } a88 {p84 }) ({p123 p195 p104 p160 p173 p148 p149 p150 p67 p27 p76 } a53 {p195 p125 p148 p149 p108 p150 p116 p203 p249 p166 p157 }) ({p251 p36 p133 p186 p95 } a43 {p182 p215 p149 p9 p143 p163 p153 p47 p98 }) ({p124 p160 p174 p142 p74 p29 } a87 {p147 p160 p131 p19 p110 p144 p177 }) ({p124 p183 p142 p151 p74 p29 } a87 {p183 p147 p131 p19 p110 p144 p154 }) ({p36 p105 p205 p253 p133 p186 p180 } a43 {p182 p194 p215 p9 p47 p98 p119 p230 }) ({p82 } a35 {p15 }) ({p203 p249 p166 p117 p157 } a48 {p160 p173 p67 p24 p27 }) ({p194 p232 p195 p233 p126 p235 p128 p148 p149 p150 p133 p164 p166 p167 p172 p190 p116 p191 p229 p76 } a53 {p194 p232 p195 p233 p125 p126 p235 p128 p148 p149 p150 p133 p164 p166 p167 p172 p190 p116 p191 p229 }) ({p128 p36 p12 p213 p74 p229 p166 p50 p157 } a43 {p222 p236 p160 p173 p131 p40 p92 p47 }) ({p53 p243 p146 p83 } a38 {p158 p145 p214 p178 p20 p86 p150 p187 p111 p165 p121 }) ({p221 p37 p185 p189 p76 } a53 {p125 p184 p226 p219 p190 }) ({p232 p53 p225 p168 } a38 {p234 p223 p111 p168 }) ({p194 p128 p36 p4 p66 p74 p191 } a43 {p194 p131 p92 p47 p30 p191 p52 }) ({p194 p232 p124 p195 p233 p235 p148 p149 p150 p164 p166 p167 p172 p113 p190 p191 p229 p76 } a53 {p194 p232 p195 p233 p126 p125 p235 p148 p149 p150 p164 p166 p167 p172 p110 p190 p191 p229 }) ({p172 p64 p150 p155 p175 p256 p191 p117 p207 } a48 {p169 p237 p179 p150 p24 p152 p206 p257 p193 }) ({p60 p142 p108 p179 p152 p206 p190 p257 p29 p167 } a87 {p172 p147 p19 p108 p64 p224 p185 p161 p144 p45 p191 }) ({p56 p174 p142 p108 p25 p198 p152 p29 p167 } a87 {p57 p172 p147 p19 p108 p161 p42 p144 p177 }) ({p0 p126 p36 p110 p212 p188 p229 p181 } a43 {p124 p195 p222 p183 p113 p47 }) ({p170 p58 p246 p95 p119 p76 } a53 {p196 p125 p105 p149 p202 p247 p143 p156 p176 }) ({p68 } a4 {p70 }) ({p129 p109 p118 p121 } a42 {p36 p129 p118 p121 }) ({p182 p146 p9 p143 p218 p188 p229 p153 p31 p77 } a85 {p158 p145 p222 p183 p235 p86 p186 p29 }) ({p126 p36 p110 p203 p249 p166 p157 } a43 {p124 p160 p173 p67 p113 p27 p47 }) ({p53 p172 p155 p12 p213 p229 p50 } a38 {p169 p222 p236 p40 p111 p152 }) ({p101 p123 p146 p173 p67 p248 p76 } a53 {p145 p178 p125 p108 p150 p187 p203 p249 p157 }) ({p194 p195 p148 p131 p237 p149 p216 p150 p92 p152 p169 p25 p191 p76 } a53 {p194 p233 p195 p125 p128 p148 p149 p150 p207 p57 p172 p155 p256 p74 p191 }) ({p169 p38 p148 p237 p133 p64 p92 p191 } a83 {p169 p34 p128 p148 p237 p64 p191 p98 }) ({p53 p81 p242 } a38 {p196 p149 p143 p111 p163 p199 p176 p118 p153 p77 }) ({p123 p182 p146 p2 p105 p210 p236 p173 p143 p188 p156 p31 } a85 {p145 p170 p183 p108 p186 p12 p213 p29 p119 p157 p231 }) ({p6 } a3 {p8 }) ({p159 p146 p4 p62 p211 p143 p176 p166 p31 p77 } a85 {p145 p178 p160 p86 p164 p14 p29 p52 }) ({p221 p33 } a52 {p224 p226 p76 }) ({p2 p235 p36 p105 p210 p133 p66 p156 p164 } a43 {p170 p159 p218 p30 p47 p98 p119 p231 }) ({p232 p56 p124 p36 p224 p185 p45 p189 } a43 {p124 p60 p223 p184 p42 p190 p47 }) ({p101 p123 p195 p146 p62 p7 p166 p117 } a48 {p145 p160 p108 p150 p24 p212 p14 p181 }) ({p208 p123 p0 p124 p36 p131 p188 p181 } a43 {p123 p195 p124 p183 p131 p217 p227 p47 }) ({p234 p142 p108 p151 p240 p175 p189 p29 p207 } a87 {p147 p184 p237 p19 p108 p225 p144 p154 p193 }) ({p208 p0 p188 p181 p76 } a53 {p195 p183 p125 p217 p227 }) ({p33 p255 } a52 {p7 p165 p76 }) ({p209 p128 p235 p36 p4 p179 p66 p74 p193 } a43 {p131 p175 p92 p218 p30 p191 p47 p52 }) ({p53 p209 p235 p253 p186 p180 } a38 {p182 p194 p9 p111 p218 }) ({p194 p81 p164 p117 p258 p52 } a48 {p209 p159 p4 p149 p143 p24 p180 p118 p77 }) ({p0 p236 p212 p188 p181 p76 } a53 {p195 p183 p125 p213 }) ({p169 p170 p235 p36 p105 p210 p133 } a43 {p169 p170 p218 p47 p98 p119 p231 }) ({p123 p195 p148 p149 p150 p217 p168 p169 p170 p104 p183 p173 p227 p117 } a48 {p0 p148 p149 p150 p181 p168 p208 p169 p170 p173 p108 p24 p188 p116 }) ({p170 p38 p201 p155 p256 } a83 {p169 p34 p2 p202 p156 }) ({p101 p123 p53 p146 p248 p166 } a38 {p145 p178 p160 p108 p150 p187 p111 p27 }) ({p53 p244 p172 p147 p131 p89 } a38 {p18 p148 p174 p142 p198 p111 p152 p74 p192 }) ({p232 p126 p142 p216 p151 p240 p175 p92 p189 p29 } a87 {p233 p128 p147 p223 p184 p19 p113 p144 p154 p193 }) ({p123 p146 p105 p173 p67 p202 p247 p143 p156 p176 p31 } a85 {p145 p170 p178 p58 p108 p203 p249 p29 p119 p157 }) ({p1 p174 p142 p238 p151 p69 } a0 {p147 p90 p71 }) ({p194 p148 p149 p150 p218 p98 p52 p168 p182 p169 p170 p173 p30 p117 p119 } a48 {p235 p148 p4 p149 p133 p150 p180 p168 p169 p170 p209 p105 p173 p66 p186 p24 }) ({p8 } a5 {p10 }) ({p174 p142 p108 p201 p155 p256 p29 p168 } a87 {p169 p147 p19 p108 p162 p43 p144 p177 p220 }) ({p173 p142 p67 p202 p247 p156 p31 } a85 {p170 p58 p142 p203 p249 p29 p157 }) ({p53 p246 p164 p95 p119 } a38 {p196 p159 p105 p149 p22 p211 p143 p111 p176 }) ({p172 p36 p245 p131 p201 p150 p155 } a43 {p54 p169 p18 p131 p150 p198 p152 p47 }) ({p104 p142 p197 p151 p240 p175 p189 p29 } a87 {p104 p147 p184 p19 p144 p219 p154 p193 }) ({p101 p123 p53 p146 p7 p188 p229 p166 p50 } a38 {p145 p222 p183 p160 p40 p108 p150 p111 }) ({p195 p222 p126 p236 p148 p40 p149 p161 p150 p190 p168 p76 } a53 {p195 p125 p126 p148 p149 p150 p162 p12 p50 p167 p213 p190 p229 }) ({p194 p124 p195 p234 p148 p149 p150 p167 p223 p113 p190 p191 p76 } a53 {p232 p194 p195 p126 p125 p148 p149 p150 p167 p110 p225 p190 p191 }) ({p61 p249 } a47 {p67 p12 p117 }) ({p194 p195 p128 p236 p148 p40 p149 p150 p152 p169 p222 p191 p76 } a53 {p194 p195 p125 p128 p148 p149 p150 p12 p50 p172 p155 p213 p229 p191 }) ({p2 p202 p156 p164 p117 p52 } a48 {p170 p159 p4 p211 p24 }) ({p23 p140 } a97 {p39 p28 p141 }) ({p53 p146 p83 p255 p188 } a38 {p158 p145 p183 p86 p150 p217 p111 p165 p121 }) ({p170 p81 p186 p258 p231 p76 } a53 {p182 p125 p2 p210 p149 p143 p156 p118 p77 }) ({p124 p195 p148 p149 p161 p150 p113 p190 p48 p32 p168 p76 } a53 {p35 p195 p126 p125 p148 p149 p150 p110 p162 p190 p220 p167 }) ({p234 p37 p224 p185 p189 p76 } a53 {p125 p184 p225 p190 }) ({p101 p123 p146 p236 p173 p7 p188 p76 } a53 {p145 p183 p125 p108 p150 p12 p213 p157 }) ({p123 p195 p234 p148 p149 p161 p150 p42 p168 p104 p223 p190 p76 } a53 {p232 p195 p125 p148 p149 p150 p162 p43 p167 p56 p108 p225 p116 p190 }) ({p194 p204 p252 p38 p179 p230 } a83 {p34 p205 p253 p180 p228 p191 }) ({p233 p170 p57 p36 p173 p131 p179 p150 p206 p257 p193 } a43 {p170 p173 p131 p64 p216 p150 p25 p175 p191 p47 }) ({p123 p0 p124 p36 p131 p212 p188 p229 p181 } a43 {p123 p195 p124 p222 p183 p131 p47 }) ({p194 p195 p234 p126 p128 p148 p236 p149 p237 p150 p133 p168 p52 p53 p169 p170 p173 p60 p62 p64 p190 p116 p191 p231 } a38 {p194 p195 p234 p126 p128 p148 p236 p149 p237 p150 p133 p168 p52 p169 p170 p173 p60 p62 p64 p111 p190 p116 p191 p231 }) ({p56 p124 p36 p162 p43 p220 p167 } a43 {p124 p161 p42 p47 p168 }) ({p126 p128 p148 p40 p149 p150 p168 p169 p170 p173 p62 p188 p189 p116 p117 p193 } a48 {p126 p128 p148 p149 p150 p14 p50 p168 p169 p170 p173 p24 p188 p189 p116 p193 }) ({p124 p148 p40 p149 p150 p168 p169 p170 p173 p62 p113 p188 p189 p117 p193 } a48 {p126 p148 p149 p150 p14 p50 p168 p169 p170 p173 p110 p24 p188 p189 p193 }) ({p245 p174 p142 p201 p155 p69 p48 p29 p168 } a87 {p79 p54 p169 p35 p147 p19 p162 p144 p177 p220 }) ({p194 p124 p195 p234 p148 p236 p149 p237 p150 p168 p52 p53 p169 p170 p173 p60 p62 p64 p113 p190 p191 p231 } a38 {p194 p195 p126 p234 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p64 p110 p111 p190 p191 p231 }) ({p123 p124 p36 p131 p203 p249 p166 p157 } a43 {p123 p124 p160 p173 p131 p67 p27 p47 }) ({p204 p252 p142 p108 p179 p151 p226 p190 p29 } a87 {p221 p37 p147 p19 p108 p185 p144 p228 p191 p154 }) ({p124 p148 p149 p150 p42 p168 p169 p170 p60 p223 p184 p173 p113 p190 p117 } a48 {p232 p126 p148 p149 p150 p45 p168 p169 p56 p170 p173 p224 p185 p110 p24 p189 }) ({p38 p257 p191 p52 } a83 {p34 p4 p64 p191 }) ({p53 p147 p72 p241 } a38 {p171 p129 p148 p174 p142 p238 p151 p69 p111 p192 }) ({p209 p159 p4 p62 p142 p166 p31 } a85 {p160 p142 p212 p164 p14 p29 p52 }) ({p194 p252 p38 p179 p206 } a83 {p34 p209 p253 p180 p191 }) ({p209 p235 p36 p105 p253 p133 p186 p180 } a43 {p182 p194 p9 p218 p47 p98 p119 }) ({p232 p56 p142 p216 p69 p25 p175 p189 p152 p29 p167 } a87 {p79 p233 p57 p172 p147 p223 p184 p19 p161 p42 p144 p193 }) ({p16 } a10 {p3 }) ({p194 p195 p170 p57 p36 p236 p173 p131 p150 p257 p191 p231 } a43 {p194 p195 p170 p236 p173 p131 p150 p64 p25 p47 p191 p231 }) ({p252 p142 p108 p179 p151 p206 p190 p29 } a87 {p37 p147 p19 p108 p224 p185 p144 p191 p154 }) ({p78 } a9 {p75 }) ({p209 p253 p186 p180 p231 p76 } a53 {p182 p194 p125 p210 p9 }) ({p221 p124 p37 p36 p185 p189 } a43 {p124 p184 p226 p219 p190 p47 }) ({p62 p175 p12 p213 p191 p166 p117 p157 } a48 {p236 p160 p173 p179 p24 p212 p14 p193 }) ({p194 p195 p148 p131 p237 p149 p216 p150 p92 p164 p166 p172 p190 p191 p76 } a53 {p194 p233 p195 p125 p128 p148 p149 p150 p164 p166 p207 p172 p190 p74 p191 }) ({p194 p195 p234 p126 p148 p149 p150 p167 p223 p190 p116 p191 p76 } a53 {p232 p194 p195 p125 p126 p148 p149 p150 p167 p225 p190 p116 p191 }) ({p182 p146 p9 p143 p218 p188 p116 p229 p153 p98 p31 } a85 {p158 p145 p104 p222 p183 p235 p133 p186 p29 }) ({p142 p108 p197 p151 p240 p175 p189 p29 } a87 {p147 p184 p19 p108 p144 p219 p154 p193 }) ({p172 p147 p131 p64 p254 p89 p191 p117 } a48 {p148 p142 p179 p24 p152 p206 p74 p257 }) ({p44 } a18 {p122 }) ({p232 p53 p56 p225 p162 p43 p167 } a38 {p234 p223 p161 p42 p111 p168 }) ({p195 p126 p148 p149 p161 p150 p190 p116 p48 p32 p168 p76 } a53 {p35 p195 p125 p126 p148 p149 p150 p162 p190 p116 p220 p167 }) ({p126 p160 p174 p142 p92 p29 } a87 {p128 p147 p160 p19 p113 p144 p177 }) ({p126 p183 p142 p151 p92 p29 } a87 {p183 p128 p147 p19 p113 p144 p154 }) ({p182 p170 p210 p236 p142 p9 p188 p31 } a85 {p170 p183 p142 p186 p213 p29 p231 }) ({p194 p195 p148 p237 p149 p216 p150 p152 p98 p169 p25 p191 p119 p76 } a53 {p194 p233 p195 p125 p148 p149 p133 p150 p207 p57 p172 p105 p155 p256 p191 }) ({p53 p147 p72 p250 p193 } a38 {p171 p129 p148 p142 p197 p151 p69 p240 p175 p111 }) ({p55 } a31 {p99 }) ({p33 p204 } a52 {p206 p228 p76 }) ({p170 p81 p58 p246 p76 } a53 {p196 p125 p149 p202 p247 p143 p156 p176 p118 p77 }) ({p114 } a29 {p1 }) ({p53 p57 p172 p201 p150 p155 p256 } a38 {p169 p150 p25 p198 p111 p152 }) ({p53 p235 p66 p186 p164 p95 p119 p258 } a38 {p182 p159 p105 p149 p143 p111 p218 p30 }) ({p209 p128 p235 p36 p4 p66 p186 p180 p74 } a43 {p182 p194 p131 p92 p218 p30 p47 p52 }) ({p232 p126 p36 p110 p225 p168 } a43 {p124 p234 p223 p113 p47 p168 }) ({p232 p104 p142 p216 p151 p240 p175 p189 p29 } a87 {p233 p104 p147 p223 p184 p19 p144 p154 p193 }) ({p123 p194 p195 p148 p237 p149 p216 p150 p152 p169 p104 p25 p191 p76 } a53 {p194 p233 p195 p125 p148 p149 p150 p207 p57 p172 p108 p155 p256 p116 p191 }) ({p174 p142 p69 p198 p152 p14 p29 p167 } a87 {p79 p172 p147 p19 p161 p144 p177 p14 }) ({p53 p2 p66 p202 p156 p164 } a38 {p170 p159 p211 p111 p30 }) ({p146 p83 p173 p67 p248 p76 } a53 {p145 p178 p125 p86 p150 p187 p203 p249 p157 p121 }) ({p126 p148 p149 p150 p42 p168 p169 p170 p60 p223 p184 p173 p190 p116 p117 } a48 {p232 p126 p148 p149 p150 p45 p168 p169 p56 p170 p173 p224 p185 p24 p189 p116 }) ({p232 p124 p37 p36 p224 p185 p189 } a43 {p124 p223 p184 p190 p47 }) ({p53 p35 p162 p220 p167 } a38 {p161 p111 p48 p32 p168 }) ({p194 p195 p148 p131 p149 p150 p92 p218 p152 p169 p30 p191 p231 p76 } a53 {p194 p195 p125 p128 p2 p235 p148 p149 p150 p172 p210 p66 p155 p74 p191 }) ({p205 p253 p186 p180 p76 } a53 {p182 p194 p125 p215 p9 p230 }) ({p142 p151 p69 p240 p175 p189 p213 p29 } a87 {p79 p147 p184 p19 p144 p213 p154 p193 }) ({p53 p233 p57 p172 p150 p155 p256 p207 } a38 {p169 p237 p216 p150 p25 p111 p152 }) ({p172 p64 p201 p150 p155 p256 p117 } a48 {p169 p150 p198 p24 p152 p257 }) ({p124 p36 p185 p212 p189 p14 p229 p50 } a43 {p124 p222 p184 p40 p62 p190 p47 }) ({p128 p36 p179 p212 p74 p14 p229 p50 p193 } a43 {p222 p131 p40 p62 p175 p92 p191 p47 }) ({p195 p146 p83 p62 p7 p166 p117 } a48 {p145 p160 p86 p150 p24 p212 p14 p181 p121 }) ({p170 p204 p128 p252 p36 p173 p179 p150 p74 p193 } a43 {p170 p173 p131 p150 p197 p240 p175 p92 p228 p191 p47 }) ({p194 p195 p128 p148 p149 p150 p133 p198 p152 p54 p169 p18 p116 p191 p76 } a53 {p194 p195 p125 p128 p148 p245 p149 p150 p133 p172 p201 p155 p116 p191 }) ({p169 p147 p131 p237 p254 p89 p193 p76 } a53 {p125 p148 p142 p155 p175 p256 p74 p207 }) ({p53 p12 p213 p229 p166 p50 p157 } a38 {p222 p236 p160 p173 p40 p111 }) ({p60 p174 p142 p69 p198 p152 p257 p29 p167 } a87 {p79 p172 p147 p19 p64 p161 p144 p45 p177 }) ({p194 p53 p4 p66 p191 } a38 {p194 p111 p30 p191 p52 }) ({p194 p170 p159 p58 p148 p149 p150 p22 p211 p98 p119 p76 } a53 {p194 p125 p105 p148 p149 p133 p150 p202 p247 p156 p164 }) ({p53 p146 p83 p248 p166 } a38 {p145 p178 p160 p86 p150 p187 p111 p27 p121 }) ({p128 p148 p149 p150 p218 p52 p168 p169 p170 p173 p175 p30 p191 p117 } a48 {p235 p128 p148 p4 p149 p179 p150 p168 p169 p170 p209 p173 p66 p24 p193 }) ({p36 p108 p12 p116 p213 p229 p166 p50 p157 } a43 {p123 p104 p222 p236 p160 p173 p40 p47 }) ({p5 } a2 {p44 }) ({p53 p146 p83 p7 p188 p229 p166 p50 } a38 {p145 p222 p183 p160 p40 p86 p150 p111 p121 }) ({p128 p36 p202 p247 p156 p164 p74 } a43 {p170 p159 p58 p131 p22 p211 p92 p47 }) ({p147 p29 } a87 {p147 p19 }) ({p53 p81 p246 p164 } a38 {p196 p159 p149 p22 p211 p143 p111 p176 p118 p77 }) ({p194 p195 p234 p128 p36 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p64 p190 p74 p191 p231 } a43 {p194 p195 p234 p148 p236 p131 p149 p237 p150 p92 p47 p168 p52 p169 p170 p173 p60 p62 p64 p190 p191 p231 }) ({p142 p69 p175 p189 p29 p157 } a87 {p79 p147 p184 p19 p144 p157 p193 }) ({p123 p182 p146 p105 p9 p143 p218 p188 p229 p153 p31 } a85 {p158 p145 p222 p183 p235 p108 p186 p29 p119 }) ({p124 p245 p174 p142 p201 p155 p74 p48 p29 p168 } a87 {p54 p169 p35 p147 p131 p19 p110 p162 p144 p177 p220 }) ({p128 p36 p12 p203 p74 p166 p50 p157 } a43 {p160 p173 p131 p40 p92 p47 }) ({p33 p205 } a52 {p209 p230 p76 }) ({p36 p205 p253 p131 p186 p180 p119 } a43 {p182 p194 p215 p131 p9 p47 p230 p119 }) ({p54 p196 p58 p61 p67 p187 p48 p192 } a47 {p54 p196 p58 p67 p187 p117 p48 p192 }) ({p232 p142 p108 p216 p151 p240 p175 p189 p29 } a87 {p233 p147 p223 p184 p19 p108 p144 p154 p193 }) ({p159 p142 p218 p30 p229 p166 p50 p31 } a85 {p222 p235 p160 p40 p142 p66 p164 p29 }) ({p146 p83 p236 p173 p7 p188 p76 } a53 {p145 p183 p125 p86 p150 p12 p213 p157 p121 }) ({p96 } a51 {p33 }) ({p53 p209 p235 p4 p179 p66 p193 } a38 {p175 p111 p218 p30 p191 p52 }) ({p236 p160 p173 p212 p188 p14 p181 p76 } a53 {p195 p183 p125 p62 p12 p213 p166 p157 }) ({p124 p195 p234 p148 p149 p161 p150 p42 p168 p223 p113 p190 p76 } a53 {p232 p195 p126 p125 p148 p149 p150 p162 p43 p167 p56 p110 p225 p190 }) ({p123 p159 p146 p105 p4 p62 p211 p143 p176 p166 p31 } a85 {p145 p178 p160 p108 p164 p14 p29 p119 p52 }) ({p234 p142 p108 p155 p175 p256 p189 p29 p207 p168 } a87 {p169 p147 p184 p237 p19 p108 p225 p162 p43 p144 p193 }) ({p232 p124 p56 p142 p216 p25 p175 p189 p152 p74 p29 p167 } a87 {p233 p147 p131 p161 p42 p57 p172 p223 p184 p19 p110 p144 p193 }) ({p2 p36 p105 p133 p66 p202 p156 p164 } a43 {p170 p159 p211 p30 p47 p98 p119 }) ({p159 p4 p62 p142 p211 p166 p31 } a85 {p160 p142 p164 p14 p29 p52 }) ({p194 p251 p95 p117 p119 p230 } a48 {p105 p205 p253 p149 p143 p24 p180 p163 p153 }) ({p53 p244 p172 p147 p72 } a38 {p18 p129 p148 p174 p142 p69 p198 p111 p152 p192 }) ({p146 p143 p199 p176 p153 p31 p77 } a85 {p158 p145 p214 p178 p20 p86 p29 }) ({p195 p209 p4 p62 p142 p180 p164 p31 } a85 {p194 p142 p212 p164 p14 p29 p181 p52 }) ({p54 p169 p244 p147 p131 p89 p76 } a53 {p125 p148 p245 p174 p142 p201 p155 p74 p192 }) ({p194 p195 p148 p237 p149 p216 p150 p164 p166 p98 p172 p190 p191 p119 p76 } a53 {p194 p233 p195 p125 p148 p149 p133 p150 p164 p166 p207 p172 p105 p190 p191 }) ({p65 } a50 {p96 }) ({p101 p243 p146 p36 p116 } a43 {p158 p145 p104 p214 p178 p20 p150 p187 p165 p47 }) ({p59 } a41 {p109 }) ({p148 p131 p149 p150 p92 p52 p168 p169 p170 p173 p186 p30 p117 p193 } a48 {p128 p148 p4 p149 p150 p168 p169 p170 p173 p66 p186 p24 p74 p193 }) ({p148 p131 p149 p150 p197 p240 p92 p168 p169 p170 p173 p175 p228 p191 p117 } a48 {p204 p128 p148 p149 p179 p150 p168 p169 p170 p252 p173 p24 p74 p193 }) ({p194 p169 p233 p195 p170 p36 p173 p131 p150 p207 } a43 {p194 p169 p195 p170 p173 p237 p131 p216 p150 p47 }) ({p146 p2 p173 p202 p143 p156 p176 p31 p77 } a85 {p145 p170 p178 p86 p12 p203 p29 p157 }) ({p195 p160 p173 p148 p149 p150 p67 p27 p116 p76 } a53 {p195 p125 p148 p149 p150 p203 p116 p249 p166 p157 }) ({p236 p161 p212 p188 p14 p181 p168 p76 } a53 {p195 p183 p125 p62 p162 p12 p213 p167 }) ({p123 p195 p104 p222 p236 p160 p173 p148 p40 p149 p150 p76 } a53 {p195 p125 p148 p149 p150 p12 p166 p50 p108 p116 p213 p229 p157 }) ({p2 p235 p36 p210 p131 p66 p156 p164 p119 } a43 {p170 p159 p131 p218 p30 p47 p119 p231 }) ({p194 p36 p105 p4 p133 p66 p191 } a43 {p194 p47 p30 p191 p98 p119 p52 }) ({p123 p194 p195 p148 p237 p149 p216 p150 p164 p166 p104 p172 p190 p191 p76 } a53 {p194 p233 p195 p125 p148 p149 p150 p164 p166 p207 p172 p108 p116 p190 p191 }) ({p94 } a37 {p53 }) ({p53 p233 p57 p172 p147 p131 p254 p89 p193 } a38 {p148 p142 p216 p25 p175 p111 p152 p74 }) ({p169 p170 p235 p36 p210 p131 p119 } a43 {p169 p170 p131 p218 p47 p119 p231 }) ({p61 p241 } a47 {p117 p192 p250 }) ({p124 p174 p142 p198 p152 p74 p14 p29 p167 } a87 {p172 p147 p131 p19 p161 p110 p144 p177 p14 }) ({p128 p172 p36 p245 p201 p150 p155 p74 } a43 {p54 p169 p18 p131 p150 p198 p92 p152 p47 }) ({p194 p38 p179 p206 p257 p52 } a83 {p34 p209 p4 p64 p180 p191 }) ({p169 p128 p36 p173 p213 p74 p229 p168 } a43 {p169 p222 p236 p173 p131 p92 p47 p168 }) ({p124 p142 p151 p240 p175 p189 p213 p74 p29 } a87 {p147 p184 p131 p19 p110 p144 p213 p154 p193 }) ({p53 p162 p12 p213 p229 p50 p167 } a38 {p222 p236 p40 p161 p111 p168 }) ({p53 p56 p45 p190 } a38 {p60 p42 p111 p190 }) ({p195 p234 p126 p148 p149 p161 p150 p42 p168 p223 p190 p116 p76 } a53 {p232 p195 p125 p126 p148 p149 p150 p162 p43 p167 p56 p225 p190 p116 }) ({p13 } a45 {p17 }) ({p81 p150 p246 p187 p31 p121 } a85 {p196 p83 p149 p248 p118 p29 }) ({p232 p56 p126 p36 p110 p225 p162 p43 p167 } a43 {p124 p234 p223 p161 p42 p113 p47 p168 }) ({p53 p81 p235 p66 p186 p164 p258 } a38 {p182 p159 p149 p143 p111 p218 p118 p30 p77 }) ({p124 p60 p174 p142 p198 p152 p74 p257 p29 p167 } a87 {p172 p147 p131 p19 p64 p161 p110 p144 p45 p177 }) ({p35 p162 p117 p220 p167 } a48 {p161 p24 p48 p32 p168 }) ({p233 p170 p57 p128 p36 p173 p179 p150 p206 p74 p257 p193 } a43 {p170 p173 p131 p64 p216 p150 p25 p175 p92 p191 p47 }) ({p196 p244 p38 p149 p72 p118 } a83 {p34 p81 p129 p148 p246 p192 }) ({p159 p146 p22 p211 p143 p176 p166 p31 p77 } a85 {p145 p178 p160 p86 p27 p164 p29 }) ({p148 p131 p149 p150 p92 p50 p168 p169 p170 p56 p57 p173 p66 p186 p188 p189 p117 p193 } a48 {p128 p148 p149 p150 p50 p168 p169 p170 p56 p57 p173 p66 p186 p24 p188 p189 p74 p193 }) ({p160 p142 p69 p175 p189 p29 } a87 {p79 p147 p184 p160 p19 p144 p193 }) ({p194 p170 p235 p142 p66 p186 p164 p116 p98 p31 p231 p52 } a85 {p194 p170 p104 p235 p142 p133 p66 p186 p164 p29 p231 p52 }) ({p174 p142 p238 p151 p69 p29 } a87 {p79 p147 p19 p144 p200 p177 p154 p239 }) ({p195 p148 p149 p150 p217 p168 p169 p170 p183 p173 p227 p116 p117 } a48 {p0 p148 p149 p150 p181 p168 p208 p169 p170 p173 p24 p188 p116 }) ({p53 p251 p186 p95 p119 } a38 {p182 p105 p215 p149 p9 p143 p111 p163 p153 }) ({p21 } a11 {p23 }) ({p132 p134 p70 } a93 {p55 p132 p135 p13 }) ({p172 p147 p64 p254 p72 p191 p117 } a48 {p129 p148 p142 p179 p69 p24 p152 p206 p257 }) ({p35 p126 p36 p110 p162 p220 p167 } a43 {p124 p161 p113 p48 p47 p32 p168 }) ({p2 p235 p172 p36 p210 p131 p66 p155 } a43 {p169 p131 p218 p152 p30 p47 p231 }) ({p106 } a25 {p49 }) ({p97 } a16 {p78 }) ({p169 p209 p4 p186 p180 p152 p231 p76 } a53 {p182 p194 p125 p2 p172 p210 p155 p52 }) ({p124 p142 p175 p189 p74 p29 p157 } a87 {p147 p184 p131 p19 p110 p144 p157 p193 }) ({p18 p174 p142 p69 p198 p152 p29 p167 } a87 {p79 p172 p147 p19 p161 p144 p177 p32 }) ({p61 p242 } a47 {p251 p196 p117 }) ({p101 p146 p36 p255 p188 p116 } a43 {p158 p145 p104 p183 p150 p217 p165 p47 }) ({p194 p215 p148 p149 p150 p9 p98 p168 p182 p169 p170 p173 p117 p119 p230 } a48 {p205 p148 p149 p133 p150 p180 p168 p169 p170 p105 p173 p253 p186 p24 }) ({p38 p149 p254 p72 p118 } a83 {p34 p81 p129 p148 p258 }) ({p194 p195 p128 p36 p236 p150 p170 p57 p173 p74 p257 p191 p231 } a43 {p194 p195 p236 p131 p150 p92 p47 p170 p173 p64 p25 p191 p231 }) ({p195 p128 p36 p190 p74 p14 p191 p50 } a43 {p195 p131 p40 p62 p92 p190 p47 p191 }) ({p209 p235 p36 p253 p131 p186 p180 p119 } a43 {p182 p194 p131 p9 p218 p47 p119 }) ({p126 p36 p110 p12 p213 p229 p166 p50 p157 } a43 {p124 p222 p236 p160 p173 p40 p113 p47 }) ({p53 p209 p235 p4 p66 p186 p180 } a38 {p182 p194 p111 p218 p30 p52 }) ({p243 p61 } a47 {p255 p187 p117 }) ({p194 p195 p128 p148 p149 p150 p133 p218 p164 p172 p190 p191 p231 p76 } a53 {p194 p195 p125 p235 p128 p148 p149 p150 p133 p164 p172 p210 p190 p191 }) ({p103 } a23 {p68 }) ({p2 p210 p236 p173 p142 p156 p31 } a85 {p170 p142 p12 p213 p29 p157 p231 }) ({p194 p195 p236 p148 p131 p149 p150 p92 p166 p167 p222 p172 p190 p191 p76 } a53 {p194 p195 p125 p128 p148 p149 p150 p166 p167 p172 p213 p190 p74 p229 p191 }) ({p142 p69 p152 p29 p181 p167 } a87 {p79 p172 p147 p19 p161 p144 p181 }) ({p146 p143 p199 p176 p116 p153 p98 p31 } a85 {p158 p145 p104 p214 p178 p20 p133 p29 }) ({p194 p170 p159 p148 p149 p150 p133 p218 p30 p231 p76 } a53 {p194 p125 p2 p235 p210 p148 p149 p150 p133 p66 p156 p164 }) ({p233 p170 p252 p36 p173 p131 p179 p150 p206 p193 } a43 {p170 p173 p131 p216 p150 p240 p175 p191 p47 }) ({p53 p179 p212 p14 p229 p50 p193 } a38 {p222 p40 p62 p175 p111 p191 }) ({p53 p170 p204 p252 p173 p179 p150 p193 } a38 {p170 p173 p150 p197 p240 p175 p111 p228 p191 }) ({p194 p195 p128 p148 p237 p149 p216 p150 p133 p152 p169 p25 p116 p191 p76 } a53 {p194 p233 p195 p125 p128 p148 p149 p150 p133 p207 p57 p172 p155 p256 p116 p191 }) ({p169 p147 p237 p254 p72 p193 p76 } a53 {p125 p129 p148 p142 p155 p69 p175 p256 p207 }) ({p148 p149 p150 p98 p52 p168 p169 p170 p173 p186 p30 p117 p119 p193 } a48 {p148 p4 p149 p133 p150 p168 p169 p170 p105 p173 p66 p186 p24 p193 }) ({p232 p124 p36 p225 p168 } a43 {p124 p234 p223 p47 p168 }) ({p128 p36 p212 p188 p74 p14 p229 p50 p181 } a43 {p195 p222 p183 p131 p40 p62 p92 p47 }) ({p148 p149 p150 p197 p240 p98 p168 p169 p170 p173 p175 p228 p191 p117 p119 } a48 {p204 p148 p149 p133 p179 p150 p168 p169 p170 p252 p105 p173 p24 p193 }) ({p208 p33 } a52 {p212 p227 p76 }) ({p170 p210 p236 p142 p186 p31 } a85 {p170 p142 p186 p213 p29 p231 }) ({p194 p251 p81 p117 p230 } a48 {p205 p253 p149 p143 p24 p180 p163 p118 p153 p77 }) ({p232 p56 p126 p142 p216 p25 p175 p92 p189 p152 p29 p167 } a87 {p233 p128 p147 p161 p42 p57 p172 p223 p184 p19 p113 p144 p193 }) ({p244 p61 } a47 {p254 p117 p192 }) ({p123 p195 p148 p40 p149 p150 p168 p169 p170 p104 p222 p183 p173 p62 p117 } a48 {p148 p149 p150 p14 p50 p181 p168 p169 p170 p173 p108 p24 p212 p188 p116 p229 }) ({p148 p131 p149 p216 p150 p92 p168 p169 p170 p173 p64 p25 p175 p191 p117 } a48 {p233 p128 p148 p149 p179 p150 p206 p168 p169 p170 p57 p173 p24 p74 p257 p193 }) ({p123 p148 p149 p150 p197 p240 p168 p169 p170 p104 p173 p175 p228 p191 p117 } a48 {p204 p148 p149 p179 p150 p168 p169 p170 p252 p173 p108 p24 p116 p193 }) ({p36 p133 p95 p242 } a43 {p196 p149 p143 p163 p199 p176 p153 p47 p98 }) ({p159 p146 p211 p143 p176 p30 p166 p50 p31 p77 } a85 {p145 p178 p160 p40 p86 p66 p164 p29 }) ({p194 p195 p236 p148 p131 p40 p149 p150 p92 p152 p169 p222 p191 p76 } a53 {p194 p195 p125 p128 p148 p149 p150 p12 p50 p172 p155 p213 p74 p229 p191 }) ({p53 p202 p247 p156 p164 } a38 {p170 p159 p58 p22 p211 p111 }) ({p123 p194 p170 p235 p105 p142 p66 p186 p164 p31 p231 p52 } a85 {p194 p170 p235 p142 p108 p66 p186 p164 p29 p119 p231 p52 }) ({p204 p252 p179 p150 p164 p166 p193 p76 } a53 {p125 p150 p197 p240 p175 p164 p228 p191 p166 }) ({p53 p12 p203 p166 p50 p157 } a38 {p160 p173 p40 p111 }) ({p33 p242 } a52 {p246 p163 p76 }) ({p60 p142 p179 p69 p152 p206 p190 p257 p29 p167 } a87 {p79 p172 p147 p19 p64 p224 p185 p161 p144 p45 p191 }) ({p33 p241 } a52 {p171 p244 p76 }) ({p56 p174 p142 p69 p25 p198 p152 p29 p167 } a87 {p79 p57 p172 p147 p19 p161 p42 p144 p177 }) ({p101 p123 p195 p146 p255 p227 p117 } a48 {p208 p158 p145 p0 p108 p150 p24 p165 p181 }) ({p209 p235 p36 p105 p4 p133 p66 p186 p180 } a43 {p182 p194 p218 p30 p47 p98 p119 p52 }) ({p90 } a14 {p112 }) ({p182 p170 p215 p142 p9 p188 p164 p31 } a85 {p170 p183 p142 p217 p186 p164 p29 }) ({p183 p142 p69 p152 p29 p167 } a87 {p79 p183 p172 p147 p19 p161 p144 }) ({p194 p195 p234 p36 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p108 p64 p116 p190 p191 p231 } a43 {p123 p194 p195 p234 p148 p236 p149 p237 p150 p47 p168 p52 p169 p170 p104 p173 p60 p62 p64 p190 p191 p231 }) ({p234 p224 p185 p161 p45 p189 p168 p76 } a53 {p125 p60 p184 p225 p162 p43 p190 p167 }) ({p159 p146 p22 p211 p143 p176 p116 p166 p98 p31 } a85 {p145 p104 p178 p160 p133 p27 p164 p29 }) ({p36 p108 p12 p116 p203 p166 p50 p157 } a43 {p123 p104 p160 p173 p40 p47 }) ({p148 p131 p149 p150 p92 p168 p169 p170 p173 p64 p186 p25 p188 p117 p193 } a48 {p128 p148 p149 p150 p168 p169 p170 p57 p173 p186 p24 p188 p74 p257 p193 }) ({p148 p149 p150 p98 p50 p168 p169 p170 p56 p57 p173 p66 p186 p188 p189 p117 p119 p193 } a48 {p148 p149 p133 p150 p50 p168 p169 p170 p56 p57 p105 p173 p66 p186 p24 p188 p189 p193 }) ({p124 p160 p142 p175 p189 p74 p29 } a87 {p147 p184 p160 p131 p19 p110 p144 p193 }) ({p123 p124 p36 p131 p12 p213 p229 p166 p50 p157 } a43 {p123 p124 p222 p236 p160 p173 p40 p131 p47 }) ({p124 p174 p142 p238 p151 p74 p29 } a87 {p147 p131 p19 p110 p144 p200 p177 p154 p239 }) ({p54 p169 p244 p147 p72 p76 } a53 {p125 p129 p148 p245 p174 p142 p201 p155 p69 p192 }) ({p99 } a17 {p100 }) ({p169 p128 p38 p148 p237 p64 p191 } a83 {p169 p34 p128 p148 p237 p64 p191 }) ({p81 p150 p187 p165 p31 p121 p242 } a85 {p243 p196 p83 p149 p163 p118 p29 }) ({p123 p146 p105 p143 p199 p176 p153 p31 } a85 {p158 p145 p214 p178 p20 p108 p29 p119 }) ({p128 p147 p36 p89 p241 } a43 {p171 p148 p174 p142 p238 p151 p92 p47 p192 }) ({p234 p142 p151 p69 p240 p175 p189 p29 p207 } a87 {p79 p147 p184 p237 p19 p225 p144 p154 p193 }) ({p128 p148 p40 p149 p150 p168 p169 p170 p222 p173 p62 p175 p191 p117 } a48 {p128 p148 p149 p179 p150 p14 p50 p168 p169 p170 p173 p24 p212 p229 p193 }) ({p126 p36 p110 p162 p12 p213 p229 p50 p167 } a43 {p124 p222 p236 p40 p161 p113 p47 p168 }) ({p208 p0 p128 p36 p188 p74 p181 } a43 {p195 p183 p131 p217 p92 p227 p47 }) ({p56 p126 p36 p110 p45 p190 } a43 {p124 p60 p42 p113 p190 p47 }) ({p124 p18 p174 p142 p198 p152 p74 p29 p167 } a87 {p172 p147 p131 p19 p161 p110 p144 p177 p32 }) ({p123 p148 p149 p150 p50 p168 p169 p170 p56 p104 p57 p173 p66 p186 p188 p189 p117 p193 } a48 {p148 p149 p150 p50 p168 p169 p170 p56 p57 p173 p108 p66 p186 p24 p188 p189 p116 p193 }) ({p101 p146 p36 p248 p116 p166 } a43 {p145 p104 p178 p160 p150 p187 p27 p47 }) ({p194 p170 p142 p186 p218 p164 p229 p31 } a85 {p194 p170 p222 p235 p142 p186 p164 p29 }) ({p195 p146 p205 p253 p143 p180 p227 p153 p31 p77 } a85 {p208 p194 p158 p145 p0 p86 p29 p230 p181 }) ({p111 } a39 {p63 }) ({p103 } a22 {p93 }) ({p195 p183 p62 p12 p213 p166 p117 p157 } a48 {p236 p160 p173 p24 p212 p188 p14 p181 }) ({p81 p150 p31 p121 p258 } a85 {p83 p149 p7 p118 p29 }) ({p172 p36 p131 p155 p12 p213 p229 p50 } a43 {p169 p222 p236 p40 p131 p152 p47 }) ({p123 p146 p2 p105 p173 p202 p143 p156 p176 p31 } a85 {p145 p170 p178 p108 p12 p203 p29 p119 p157 }) ({p100 } a19 {p102 }) ({p194 p170 p235 p142 p186 p164 p30 p50 p31 p231 } a85 {p194 p170 p235 p40 p142 p66 p186 p164 p29 p231 }) ({p53 p233 p57 p172 p147 p254 p72 p193 } a38 {p129 p148 p142 p216 p69 p25 p175 p111 p152 }) ({p195 p209 p159 p146 p4 p62 p143 p180 p166 p31 p77 } a85 {p194 p145 p160 p86 p212 p164 p14 p29 p181 p52 }) ({p123 p195 p146 p236 p150 p166 p50 p173 p62 p188 p116 p29 p229 } a86 {p123 p195 p146 p236 p150 p166 p50 p173 p62 p26 p188 p116 p229 }) ({p101 p146 p36 p7 p188 p116 p229 p166 p50 } a43 {p145 p104 p222 p183 p160 p40 p150 p47 }) ({p160 p142 p179 p69 p190 p29 } a87 {p79 p147 p160 p19 p185 p144 p191 }) ({p53 p251 p81 p186 } a38 {p182 p215 p149 p9 p143 p111 p163 p118 p153 p77 }) ({p2 p36 p131 p66 p202 p156 p164 p119 } a43 {p170 p159 p131 p211 p30 p47 p119 }) ({p33 p243 } a52 {p248 p165 p76 }) ({p2 p173 p142 p202 p156 p31 } a85 {p170 p142 p12 p203 p29 p157 }) ({p53 p172 p245 p201 p150 p155 } a38 {p54 p169 p18 p150 p198 p111 p152 }) ({p174 p142 p201 p155 p69 p256 p29 p168 } a87 {p79 p169 p147 p19 p162 p43 p144 p177 p220 }) ({p36 p105 p133 p202 p247 p156 p164 } a43 {p170 p159 p58 p22 p211 p47 p98 p119 }) ({p124 p142 p152 p74 p29 p181 p167 } a87 {p172 p147 p131 p19 p161 p110 p144 p181 }) ({p194 p195 p234 p36 p148 p236 p149 p237 p133 p150 p168 p52 p169 p170 p105 p173 p60 p62 p64 p190 p191 p231 } a43 {p194 p195 p234 p148 p236 p149 p237 p150 p47 p98 p168 p52 p169 p170 p173 p60 p62 p64 p190 p191 p119 p231 }) ({p53 p169 p173 p213 p229 p168 } a38 {p169 p222 p236 p173 p111 p168 }) ({p194 p169 p233 p195 p170 p128 p36 p173 p150 p74 p207 } a43 {p194 p169 p195 p170 p173 p131 p237 p216 p150 p92 p47 }) ({p194 p195 p128 p148 p237 p149 p216 p150 p133 p164 p166 p172 p190 p116 p191 p76 } a53 {p194 p233 p195 p125 p128 p148 p149 p150 p133 p164 p166 p207 p172 p190 p116 p191 }) ({p184 p62 p12 p213 p190 p166 p117 p157 } a48 {p236 p160 p173 p185 p24 p212 p189 p14 }) ({p128 p147 p36 p89 p250 p193 } a43 {p171 p148 p142 p197 p151 p240 p175 p92 p47 }) ({p102 } a20 {p103 }) ({p62 p12 p203 p166 p117 p157 } a48 {p160 p173 p24 p14 }) ({p123 p148 p149 p150 p219 p168 p169 p170 p104 p184 p173 p226 p190 p117 } a48 {p37 p148 p149 p150 p168 p221 p169 p170 p173 p108 p185 p24 p189 p116 }) ({p38 p149 p163 p72 p118 p250 } a83 {p251 p34 p81 p171 p129 p148 }) ({p123 p148 p149 p150 p42 p168 p169 p170 p104 p60 p173 p189 p117 } a48 {p148 p149 p150 p45 p168 p169 p56 p170 p173 p108 p24 p189 p116 }) ({p170 p58 p38 p245 p201 p155 } a83 {p54 p169 p34 p202 p247 p156 }) ({p123 p194 p195 p236 p148 p149 p150 p166 p167 p104 p222 p172 p190 p191 p76 } a53 {p194 p195 p125 p148 p149 p150 p166 p167 p172 p108 p116 p213 p190 p229 p191 }) ({p194 p36 p4 p131 p66 p191 p119 } a43 {p194 p131 p47 p30 p191 p119 p52 }) ({p232 p56 p104 p142 p216 p25 p175 p189 p152 p29 p167 } a87 {p233 p104 p57 p172 p147 p223 p184 p19 p161 p42 p144 p193 }) ({p169 p36 p173 p108 p116 p213 p229 p168 } a43 {p123 p169 p104 p222 p236 p173 p47 p168 }) ({p53 p233 p170 p57 p173 p179 p150 p206 p257 p193 } a38 {p170 p173 p64 p216 p150 p25 p175 p111 p191 }) ({p61 p246 } a47 {p196 p117 p258 }) ({p0 p128 p36 p212 p188 p74 p229 p181 } a43 {p195 p222 p183 p131 p92 p47 }) ({p232 p53 p56 p224 p185 p45 p189 } a38 {p60 p223 p184 p42 p111 p190 }) ({p195 p205 p253 p142 p180 p227 p31 } a85 {p208 p194 p0 p142 p29 p230 p181 }) ({p123 p159 p146 p105 p22 p211 p143 p176 p166 p31 } a85 {p145 p178 p160 p108 p27 p164 p29 p119 }) ({p194 p123 p195 p124 p234 p36 p148 p236 p149 p237 p131 p150 p168 p52 p169 p170 p173 p60 p62 p64 p190 p191 p119 p231 } a43 {p194 p123 p195 p124 p234 p148 p236 p149 p237 p131 p150 p47 p168 p52 p169 p170 p173 p60 p62 p64 p190 p191 p119 p231 }) ({p204 p252 p142 p179 p151 p69 p226 p190 p29 } a87 {p79 p221 p37 p147 p19 p185 p144 p228 p191 p154 }) ({p159 p146 p211 p143 p176 p116 p30 p166 p98 p50 p31 } a85 {p145 p104 p178 p160 p40 p133 p66 p164 p29 }) ({p148 p149 p216 p150 p98 p168 p169 p170 p173 p64 p25 p175 p191 p117 p119 } a48 {p233 p148 p149 p133 p179 p150 p206 p168 p169 p170 p57 p105 p173 p24 p257 p193 }) ({p232 p56 p124 p36 p225 p162 p43 p167 } a43 {p124 p234 p223 p161 p42 p47 p168 }) ({p128 p36 p203 p74 p249 p166 p157 } a43 {p160 p173 p131 p67 p92 p27 p47 }) ({p196 p38 p149 p163 p72 p118 p241 } a83 {p34 p81 p171 p129 p148 p192 p242 }) ({p194 p148 p149 p150 p133 p218 p52 p168 p182 p169 p170 p173 p30 p117 } a48 {p235 p148 p4 p149 p150 p133 p180 p168 p169 p170 p209 p173 p66 p186 p24 }) ({p195 p209 p146 p253 p143 p180 p153 p31 p77 } a85 {p194 p158 p145 p0 p86 p212 p29 p181 }) ({p159 p142 p22 p211 p166 p31 } a85 {p160 p142 p27 p164 p29 }) ({p251 p81 p150 p165 p31 p121 } a85 {p83 p149 p255 p163 p118 p29 }) ({p2 p210 p175 p156 p164 p191 p117 p52 } a48 {p170 p209 p159 p4 p179 p24 p231 p193 }) ({p124 p60 p142 p179 p152 p206 p190 p74 p257 p29 p167 } a87 {p172 p147 p131 p19 p64 p224 p185 p161 p110 p144 p45 p191 }) ({p148 p131 p149 p150 p92 p218 p52 p168 p169 p170 p173 p175 p30 p191 p117 } a48 {p128 p235 p148 p4 p149 p179 p150 p168 p169 p170 p209 p173 p66 p24 p74 p193 }) ({p132 p135 p136 p70 } a94 {p55 p41 p132 p135 p137 }) ({p194 p53 p195 p170 p57 p236 p173 p150 p257 p191 p231 } a38 {p194 p195 p170 p236 p173 p150 p64 p25 p111 p191 p231 }) ({p124 p56 p174 p142 p25 p198 p152 p74 p29 p167 } a87 {p57 p172 p147 p131 p19 p161 p42 p110 p144 p177 }) ({p53 p195 p190 p14 p191 p50 } a38 {p195 p40 p62 p111 p190 p191 }) ({p252 p142 p179 p151 p69 p206 p190 p29 } a87 {p79 p37 p147 p19 p224 p185 p144 p191 p154 }) ({p195 p222 p236 p160 p173 p148 p40 p149 p150 p116 p76 } a53 {p195 p125 p148 p149 p150 p12 p213 p116 p229 p166 p50 p157 }) ({p123 p148 p149 p216 p150 p168 p169 p170 p104 p173 p64 p25 p175 p191 p117 } a48 {p233 p148 p149 p179 p150 p206 p168 p169 p170 p57 p173 p108 p24 p116 p257 p193 }) ({p222 p142 p151 p69 p240 p175 p189 p29 } a87 {p79 p222 p147 p184 p19 p144 p154 p193 }) ({p130 p70 } a92 {p55 p132 p65 }) ({p132 p135 p137 p70 p139 } a91 {p132 p135 p88 p137 p139 }) ({p61 p248 } a47 {p7 p187 p117 }) ({p202 p247 p156 p164 p117 } a48 {p170 p159 p58 p22 p211 p24 }) ({p124 p183 p142 p152 p74 p29 p167 } a87 {p183 p172 p147 p131 p19 p161 p110 p144 }) ({p142 p197 p151 p69 p240 p175 p189 p29 } a87 {p79 p147 p184 p19 p144 p219 p154 p193 }) ({p245 p174 p142 p108 p201 p155 p48 p29 p168 } a87 {p54 p169 p35 p147 p19 p108 p162 p144 p177 p220 }) ({p182 p146 p215 p9 p143 p188 p153 p31 p77 } a85 {p158 p145 p183 p86 p217 p186 p29 }) ({p35 p124 p36 p162 p220 p167 } a43 {p124 p161 p48 p47 p32 p168 }) ({p128 p2 p235 p172 p36 p210 p66 p155 p74 } a43 {p169 p131 p92 p218 p152 p30 p47 p231 }) ({p182 p159 p146 p143 p218 p188 p30 p229 p166 p50 p31 p77 } a85 {p145 p222 p183 p235 p160 p40 p86 p66 p186 p164 p29 }) ({p17 } a46 {p61 }) ({p148 p149 p150 p98 p168 p169 p170 p173 p64 p186 p25 p188 p117 p119 p193 } a48 {p148 p149 p133 p150 p168 p169 p170 p57 p105 p173 p186 p24 p188 p257 p193 }) ({p182 p146 p210 p236 p9 p143 p188 p153 p31 p77 } a85 {p158 p145 p183 p86 p186 p213 p29 p231 }) ({p195 p36 p108 p116 p190 p14 p191 p50 } a43 {p123 p195 p104 p40 p62 p190 p47 p191 }) ({p124 p148 p40 p149 p150 p168 p169 p170 p222 p184 p173 p62 p113 p190 p117 } a48 {p126 p148 p149 p150 p14 p50 p168 p169 p170 p173 p185 p110 p24 p212 p189 p229 }) ({p170 p209 p159 p4 p186 p180 p231 p76 } a53 {p182 p194 p125 p2 p210 p156 p164 p52 }) ({p195 p146 p83 p255 p227 p117 } a48 {p208 p158 p145 p0 p86 p150 p24 p165 p181 p121 }) ({p40 p174 p142 p69 p198 p152 p29 p167 } a87 {p79 p172 p147 p40 p19 p161 p144 p177 }) ({p11 } a7 {p114 }) ({p124 p234 p142 p151 p240 p175 p189 p74 p29 p207 } a87 {p147 p184 p131 p237 p19 p110 p225 p144 p154 p193 }) ({p232 p56 p142 p108 p216 p25 p175 p189 p152 p29 p167 } a87 {p233 p57 p172 p147 p223 p184 p19 p108 p161 p42 p144 p193 }) ({p147 p131 p89 p228 p191 p117 p250 } a48 {p204 p171 p252 p148 p142 p179 p151 p24 p74 }) ({p194 p195 p126 p234 p36 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p64 p110 p190 p191 p231 } a43 {p194 p124 p195 p234 p148 p236 p149 p237 p150 p47 p168 p52 p169 p170 p173 p60 p62 p64 p113 p190 p191 p231 }) ({p182 p170 p2 p210 p236 p142 p188 p31 } a85 {p170 p183 p142 p186 p12 p213 p29 p231 }) ({p53 p56 p162 p43 p220 p167 } a38 {p161 p42 p111 p168 }) ({p53 p212 p188 p14 p229 p50 p181 } a38 {p195 p222 p183 p40 p62 p111 }) ({p183 p142 p155 p69 p29 p168 } a87 {p79 p169 p183 p147 p19 p162 p144 }) ({p126 p36 p110 p12 p203 p166 p50 p157 } a43 {p124 p160 p173 p40 p113 p47 }) ({p195 p209 p253 p142 p180 p31 } a85 {p194 p0 p142 p212 p29 p181 }) ({p123 p148 p149 p150 p168 p169 p170 p104 p173 p64 p186 p25 p188 p117 p193 } a48 {p148 p149 p150 p168 p169 p170 p57 p173 p108 p186 p24 p188 p116 p257 p193 }) ({p194 p232 p195 p233 p235 p148 p131 p149 p150 p92 p164 p166 p167 p172 p190 p191 p229 p76 } a53 {p194 p232 p195 p233 p125 p128 p235 p148 p149 p150 p164 p166 p167 p172 p190 p74 p191 p229 }) ({p107 } a27 {p106 }) ({p10 } a6 {p120 }) ({p128 p244 p172 p147 p36 p89 } a43 {p18 p148 p174 p142 p198 p92 p152 p47 p192 }) ({p128 p36 p205 p253 p186 p180 p74 } a43 {p182 p194 p215 p131 p9 p92 p47 p230 }) ({p233 p170 p128 p252 p36 p173 p179 p150 p206 p74 p193 } a43 {p170 p173 p131 p216 p150 p240 p175 p92 p191 p47 }) ({p126 p160 p142 p175 p92 p189 p29 } a87 {p128 p147 p184 p160 p19 p113 p144 p193 }) ({p124 p160 p142 p179 p190 p74 p29 } a87 {p147 p160 p131 p19 p185 p110 p144 p191 }) ({p36 p133 p246 p164 p95 } a43 {p196 p159 p149 p22 p211 p143 p176 p47 p98 }) ({p126 p128 p148 p149 p150 p133 p50 p168 p169 p170 p56 p57 p173 p66 p186 p188 p189 p116 p117 p193 } a48 {p126 p128 p148 p149 p150 p133 p50 p168 p169 p170 p56 p57 p173 p66 p186 p24 p188 p189 p116 p193 }) ({p126 p174 p142 p238 p151 p92 p29 } a87 {p128 p147 p19 p113 p144 p200 p177 p154 p239 }) ({p124 p174 p142 p201 p155 p256 p74 p29 p168 } a87 {p169 p147 p131 p19 p110 p162 p43 p144 p177 p220 }) ({p36 p108 p212 p188 p116 p14 p229 p50 p181 } a43 {p123 p195 p104 p222 p183 p40 p62 p47 }) ({p124 p148 p149 p150 p50 p168 p169 p170 p56 p57 p173 p66 p186 p113 p188 p189 p117 p193 } a48 {p126 p148 p149 p150 p50 p168 p169 p170 p56 p57 p173 p66 p110 p186 p24 p188 p189 p193 }) ({p127 } a34 {p73 }) ({p51 } a26 {p16 }) ({p221 p53 p37 p185 p189 } a38 {p184 p111 p226 p219 p190 }) ({p57 p172 p36 p131 p201 p150 p155 p256 } a43 {p169 p131 p150 p25 p198 p152 p47 }) ({p123 p159 p146 p105 p211 p143 p176 p30 p166 p50 p31 } a85 {p145 p178 p160 p40 p108 p66 p164 p29 p119 }) ({p126 p18 p174 p142 p198 p92 p152 p29 p167 } a87 {p128 p172 p147 p19 p161 p113 p144 p177 p32 }) ({p150 p246 p187 p95 p31 } a85 {p101 p196 p149 p248 p29 }) ({p128 p148 p149 p150 p133 p197 p240 p168 p169 p170 p173 p175 p228 p116 p191 p117 } a48 {p204 p128 p148 p149 p179 p150 p133 p168 p169 p170 p252 p173 p24 p116 p193 }) ({p159 p142 p211 p30 p166 p50 p31 } a85 {p160 p40 p142 p66 p164 p29 }) ({p169 p237 p179 p150 p152 p206 p257 p193 p76 } a53 {p125 p172 p64 p150 p155 p175 p256 p191 p207 }) ({p172 p245 p201 p150 p155 p117 } a48 {p54 p169 p18 p150 p198 p24 p152 }) ({p196 p244 p38 p149 p89 } a83 {p34 p148 p246 p95 p192 }) ({p233 p57 p172 p36 p131 p150 p155 p256 p207 } a43 {p169 p237 p131 p216 p150 p25 p152 p47 }) ({p128 p2 p235 p36 p210 p66 p156 p164 p74 } a43 {p170 p159 p131 p92 p218 p30 p47 p231 }) ({p112 } a28 {p107 }) ({p174 p142 p69 p29 p157 } a87 {p79 p147 p19 p144 p177 p157 }) ({p33 p171 p163 p226 p227 p165 p228 p230 } a52 {p171 p163 p226 p227 p165 p228 p230 p76 }) ({p124 p148 p149 p150 p219 p168 p169 p170 p184 p173 p113 p226 p190 p117 } a48 {p126 p37 p148 p149 p150 p168 p221 p169 p170 p173 p185 p110 p24 p189 }) ({p15 } a36 {p94 }) ({p115 } a30 {p103 }) ({p124 p204 p252 p142 p179 p151 p226 p190 p74 p29 } a87 {p221 p37 p147 p131 p19 p185 p110 p144 p228 p191 p154 }) ({p60 p174 p142 p108 p198 p152 p257 p29 p167 } a87 {p172 p147 p19 p108 p64 p161 p144 p45 p177 }) ({p124 p148 p149 p150 p42 p168 p169 p170 p60 p173 p113 p189 p117 } a48 {p126 p148 p149 p150 p45 p168 p169 p56 p170 p173 p110 p24 p189 }) ({p169 p170 p128 p235 p36 p210 p74 } a43 {p169 p170 p131 p92 p218 p47 p231 }) ({p194 p195 p126 p128 p236 p148 p149 p150 p166 p167 p222 p172 p190 p116 p191 p76 } a53 {p194 p195 p125 p126 p128 p148 p149 p150 p166 p167 p172 p213 p190 p116 p229 p191 }) ({p169 p126 p36 p173 p110 p213 p229 p168 } a43 {p169 p124 p222 p236 p173 p113 p47 p168 }) ({p232 p142 p216 p151 p69 p240 p175 p189 p29 } a87 {p79 p233 p147 p223 p184 p19 p144 p154 p193 }) ({p194 p124 p195 p236 p148 p149 p150 p166 p167 p222 p172 p113 p190 p191 p76 } a53 {p194 p195 p126 p125 p148 p149 p150 p166 p167 p172 p110 p213 p190 p229 p191 }) ({p232 p53 p37 p224 p185 p189 } a38 {p223 p184 p111 p190 }) ({p208 p53 p0 p188 p181 } a38 {p195 p183 p217 p111 p227 }) ({p38 p149 p254 p89 } a83 {p34 p148 p95 p258 }) ({p120 } a32 {p97 }) ({p234 p142 p155 p69 p175 p256 p189 p29 p207 p168 } a87 {p79 p169 p147 p184 p237 p19 p225 p162 p43 p144 p193 }) ({p124 p252 p142 p179 p151 p206 p190 p74 p29 } a87 {p37 p147 p131 p19 p224 p185 p110 p144 p191 p154 }) ({p53 p185 p212 p189 p14 p229 p50 } a38 {p222 p184 p40 p62 p111 p190 }) ({p194 p170 p159 p58 p148 p149 p150 p133 p22 p211 p76 } a53 {p194 p125 p148 p149 p150 p133 p202 p247 p156 p164 }) ({p209 p235 p36 p4 p131 p66 p186 p180 p119 } a43 {p182 p194 p131 p218 p30 p47 p119 p52 }) ({p124 p222 p142 p151 p240 p175 p189 p74 p29 } a87 {p222 p147 p184 p131 p19 p110 p144 p154 p193 }) ({p123 p195 p146 p105 p205 p253 p143 p180 p227 p153 p31 } a85 {p208 p194 p158 p145 p0 p108 p29 p119 p230 p181 }) ({p123 p124 p36 p131 p12 p203 p166 p50 p157 } a43 {p123 p124 p160 p173 p40 p131 p47 }) ({p142 p151 p69 p29 p181 } a87 {p79 p147 p19 p144 p181 p154 }) ({p171 p129 p148 p71 p73 p192 } a8 {p21 p72 p241 }) ({p124 p142 p197 p151 p240 p175 p189 p74 p29 } a87 {p147 p184 p131 p19 p110 p144 p219 p154 p193 }) ({p125 } a54 {p80 }) ({p208 p0 p36 p108 p188 p116 p181 } a43 {p123 p195 p104 p183 p217 p227 p47 }) ({p182 p146 p215 p9 p143 p188 p116 p153 p98 p31 } a85 {p158 p145 p104 p183 p133 p217 p186 p29 }) ({p195 p148 p40 p149 p150 p168 p169 p170 p222 p183 p173 p62 p116 p117 } a48 {p148 p149 p150 p14 p50 p181 p168 p169 p170 p173 p24 p212 p188 p116 p229 }) ({p159 p146 p218 p166 p98 p50 p182 p143 p188 p116 p30 p229 p31 } a85 {p145 p104 p222 p183 p235 p160 p40 p133 p66 p186 p164 p29 }) ({p124 p36 p162 p12 p213 p229 p50 p167 } a43 {p124 p222 p236 p40 p161 p47 p168 }) ({p56 p124 p36 p45 p190 } a43 {p124 p60 p42 p190 p47 }) ({p194 p53 p169 p233 p195 p170 p173 p150 p207 } a38 {p194 p169 p195 p170 p173 p237 p216 p150 p111 }) ({p232 p56 p126 p36 p224 p185 p110 p45 p189 } a43 {p124 p60 p223 p184 p42 p113 p190 p47 }) ({p123 p195 p209 p159 p146 p105 p4 p62 p143 p180 p166 p31 } a85 {p194 p145 p160 p108 p212 p164 p14 p29 p119 p181 p52 }) ({p194 p170 p235 p142 p133 p66 p186 p164 p31 p119 p231 p52 } a85 {p194 p170 p235 p142 p133 p66 p186 p164 p29 p119 p231 p52 }) ({p194 p195 p234 p148 p236 p131 p149 p237 p150 p92 p168 p52 p53 p169 p170 p173 p60 p62 p64 p190 p191 p231 } a38 {p194 p195 p234 p128 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p64 p111 p190 p74 p191 p231 }) ({p60 p184 p225 p162 p43 p190 p117 p167 } a48 {p234 p224 p185 p161 p24 p45 p189 p168 }) ({p148 p131 p40 p149 p150 p92 p168 p169 p170 p173 p62 p188 p189 p117 p193 } a48 {p128 p148 p149 p150 p14 p50 p168 p169 p170 p173 p24 p188 p189 p74 p193 }) ({p209 p235 p36 p4 p131 p179 p66 p193 } a43 {p131 p175 p218 p30 p191 p47 p52 }) ({p34 } a84 {p31 }) ({p235 p36 p133 p66 p186 p164 p95 p258 } a43 {p182 p159 p149 p143 p218 p30 p47 p98 }) ({p182 p146 p2 p210 p236 p173 p143 p188 p156 p31 p77 } a85 {p145 p170 p183 p86 p186 p12 p213 p29 p157 p231 }) ({p128 p172 p36 p155 p12 p213 p74 p229 p50 } a43 {p169 p222 p236 p131 p40 p92 p152 p47 }) ({p124 p40 p174 p142 p198 p152 p74 p29 p167 } a87 {p172 p147 p131 p40 p19 p161 p110 p144 p177 }) ({p56 p126 p174 p142 p25 p198 p92 p152 p29 p167 } a87 {p57 p128 p172 p147 p19 p161 p42 p113 p144 p177 }) ({p194 p195 p148 p131 p149 p150 p92 p218 p164 p172 p190 p191 p231 p76 } a53 {p194 p195 p125 p128 p235 p148 p149 p150 p164 p172 p210 p190 p74 p191 }) ({p126 p148 p149 p150 p219 p168 p169 p170 p184 p173 p226 p190 p116 p117 } a48 {p126 p37 p148 p149 p150 p168 p221 p169 p170 p173 p185 p24 p189 p116 }) ({p124 p183 p142 p155 p74 p29 p168 } a87 {p169 p183 p147 p131 p19 p110 p162 p144 }) ({p126 p148 p149 p150 p42 p168 p169 p170 p60 p173 p189 p116 p117 } a48 {p126 p148 p149 p150 p45 p168 p169 p56 p170 p173 p24 p189 p116 }) ({p124 p195 p236 p148 p40 p149 p161 p150 p168 p222 p113 p190 p76 } a53 {p195 p126 p125 p148 p149 p150 p162 p12 p50 p167 p110 p213 p190 p229 }) ({p194 p195 p148 p131 p149 p150 p198 p92 p152 p54 p169 p18 p191 p76 } a53 {p194 p195 p125 p128 p148 p245 p149 p150 p172 p201 p155 p74 p191 }) ({p195 p126 p36 p110 p190 p14 p191 p50 } a43 {p124 p195 p40 p62 p113 p190 p47 p191 }) ({p194 p232 p195 p233 p235 p148 p149 p150 p164 p166 p98 p167 p172 p190 p191 p229 p119 p76 } a53 {p194 p232 p195 p233 p125 p235 p148 p149 p133 p150 p164 p166 p167 p172 p105 p190 p191 p229 }) ({p126 p183 p142 p92 p152 p29 p167 } a87 {p183 p128 p172 p147 p19 p161 p113 p144 }) ({p194 p195 p128 p148 p149 p150 p218 p152 p169 p30 p191 p231 p76 } a53 {p194 p195 p125 p2 p235 p128 p148 p149 p150 p172 p210 p66 p155 p191 }) ({p104 p174 p142 p238 p151 p29 } a87 {p104 p147 p19 p144 p200 p177 p154 p239 }) ({p53 p0 p212 p188 p229 p181 } a38 {p195 p222 p183 p111 }) ({p245 p61 } a47 {p54 p256 p117 }) ({p170 p38 p155 p256 p207 p231 } a83 {p169 p34 p2 p210 p237 p156 }) ({p209 p128 p235 p36 p253 p186 p180 p74 } a43 {p182 p194 p131 p9 p92 p218 p47 }) ({p101 p123 p53 p243 p146 } a38 {p158 p145 p214 p178 p20 p108 p150 p187 p111 p165 }) ({p109 p72 } a42 {p36 p129 p89 }) ({p36 p131 p202 p247 p156 p164 p119 } a43 {p170 p159 p58 p131 p22 p211 p47 p119 }) ({p146 p173 p67 p202 p247 p143 p156 p176 p31 p77 } a85 {p145 p170 p178 p58 p86 p203 p249 p29 p157 }) ({p53 p203 p249 p166 p157 } a38 {p160 p173 p67 p111 p27 }) ({p104 p18 p174 p142 p198 p152 p29 p167 } a87 {p104 p172 p147 p19 p161 p144 p177 p32 }) ({p123 p194 p232 p195 p233 p235 p148 p149 p150 p164 p166 p167 p104 p172 p190 p191 p229 p76 } a53 {p194 p232 p195 p233 p125 p235 p148 p149 p150 p164 p166 p167 p172 p108 p116 p190 p191 p229 }) ({p252 p237 p179 p150 p164 p206 p166 p193 p76 } a53 {p125 p150 p240 p175 p164 p191 p166 p207 }) ({p182 p170 p142 p218 p188 p164 p30 p229 p50 p31 } a85 {p170 p222 p183 p235 p40 p142 p66 p186 p164 p29 }) ({p0 p36 p108 p212 p188 p116 p229 p181 } a43 {p123 p195 p104 p222 p183 p47 }) ({p123 p195 p209 p146 p105 p253 p143 p180 p153 p31 } a85 {p194 p158 p145 p0 p108 p212 p29 p119 p181 }) ({p169 p123 p124 p36 p173 p131 p213 p229 p168 } a43 {p169 p123 p124 p222 p236 p173 p131 p47 p168 }) ({p160 p174 p142 p69 p29 } a87 {p79 p147 p160 p19 p144 p177 }) ({p183 p142 p151 p69 p29 } a87 {p79 p183 p147 p19 p144 p154 }) ({p33 p250 } a52 {p171 p254 p76 }) ({p56 p126 p36 p110 p162 p43 p220 p167 } a43 {p124 p161 p42 p113 p47 p168 }) ({p126 p36 p110 p212 p188 p14 p229 p50 p181 } a43 {p124 p195 p222 p183 p40 p62 p113 p47 }) ({p36 p108 p116 p203 p249 p166 p157 } a43 {p123 p104 p160 p173 p67 p27 p47 }) ({p53 p95 p119 p242 } a38 {p196 p105 p149 p143 p111 p163 p199 p176 p153 }) ({p53 p2 p235 p172 p210 p66 p155 } a38 {p169 p111 p218 p152 p30 p231 }) ({p124 p174 p142 p74 p29 p157 } a87 {p147 p131 p19 p110 p144 p177 p157 }) ({p169 p38 p207 p231 } a83 {p169 p34 p210 p237 }) ({p128 p148 p149 p216 p150 p133 p168 p169 p170 p173 p64 p25 p175 p116 p191 p117 } a48 {p233 p128 p148 p149 p179 p150 p133 p206 p168 p169 p170 p57 p173 p24 p116 p257 p193 }) ({p182 p170 p142 p9 p218 p188 p164 p229 p31 } a85 {p170 p222 p183 p235 p142 p186 p164 p29 }) ({p35 p61 } a47 {p43 p48 p117 }) ({p123 p182 p146 p105 p215 p9 p143 p188 p153 p31 } a85 {p158 p145 p183 p108 p217 p186 p29 p119 }) ({p33 p251 } a52 {p163 p258 p76 }) ({p194 p164 p95 p117 p119 p258 p52 } a48 {p209 p159 p105 p4 p149 p143 p24 p180 }) ({p41 } a40 {p59 }) ({p39 } a82 {p38 }) ({p123 p159 p146 p218 p166 p50 p182 p105 p143 p188 p30 p229 p31 } a85 {p145 p222 p183 p235 p160 p40 p108 p66 p186 p164 p29 p119 }) ({p81 p109 } a42 {p36 p95 p118 }) ({p147 p72 p228 p191 p117 p250 } a48 {p204 p171 p252 p129 p148 p142 p179 p151 p69 p24 }) ({p232 p124 p142 p216 p151 p240 p175 p189 p74 p29 } a87 {p233 p147 p223 p184 p131 p19 p110 p144 p154 p193 }) ({p123 p182 p146 p105 p210 p236 p9 p143 p188 p153 p31 } a85 {p158 p145 p183 p108 p186 p213 p29 p119 p231 }) ({p194 p170 p159 p148 p149 p150 p218 p30 p98 p119 p231 p76 } a53 {p194 p125 p2 p235 p148 p149 p133 p150 p164 p105 p210 p66 p156 }) ({p150 p187 p95 p165 p31 p242 } a85 {p101 p243 p196 p149 p163 p29 }) ({p24 } a49 {p91 }) ({p221 p126 p37 p36 p185 p110 p189 } a43 {p124 p184 p113 p226 p219 p190 p47 }) ({p124 p234 p142 p155 p175 p256 p189 p74 p29 p207 p168 } a87 {p169 p147 p184 p131 p237 p19 p110 p225 p162 p43 p144 p193 }) ({p174 p142 p108 p238 p151 p29 } a87 {p147 p19 p108 p144 p200 p177 p154 p239 }) ({p49 } a24 {p51 }) ({p60 p162 p43 p117 p220 p167 } a48 {p161 p24 p45 p168 }) ({p194 p4 p62 p142 p164 p31 } a85 {p194 p142 p164 p14 p29 p52 }) ({p85 } a12 {p11 }) ({p169 p236 p212 p188 p152 p14 p181 p76 } a53 {p195 p183 p125 p172 p62 p155 p12 p213 }) ({p53 p205 p253 p186 p180 } a38 {p182 p194 p215 p9 p111 p230 }) ({p150 p95 p31 p258 } a85 {p101 p149 p7 p29 }) ({p53 p233 p170 p252 p173 p179 p150 p206 p193 } a38 {p170 p173 p216 p150 p240 p175 p111 p191 }) ({p53 p147 p131 p89 p241 } a38 {p171 p148 p174 p142 p238 p151 p111 p74 p192 }) ({p148 p131 p40 p149 p150 p92 p168 p169 p170 p222 p173 p62 p175 p191 p117 } a48 {p128 p148 p149 p179 p150 p14 p50 p168 p169 p170 p173 p24 p212 p74 p229 p193 }) ({p124 p142 p151 p74 p29 p181 } a87 {p147 p131 p19 p110 p144 p181 p154 }) ({p18 p174 p142 p108 p198 p152 p29 p167 } a87 {p172 p147 p19 p108 p161 p144 p177 p32 }) ({p128 p148 p149 p150 p133 p52 p168 p169 p170 p173 p186 p30 p117 p193 } a48 {p128 p148 p4 p149 p150 p133 p168 p169 p170 p173 p66 p186 p24 p193 }) ({p122 } a33 {p127 }) ({p123 p195 p124 p36 p131 p190 p14 p191 p50 } a43 {p123 p195 p124 p40 p62 p131 p190 p47 p191 }) ({p128 p148 p149 p150 p133 p168 p169 p170 p173 p64 p186 p25 p188 p116 p117 p193 } a48 {p128 p148 p149 p150 p133 p168 p169 p170 p57 p173 p186 p24 p188 p116 p257 p193 }) ({p123 p194 p195 p234 p148 p149 p150 p167 p104 p223 p190 p191 p76 } a53 {p232 p194 p195 p125 p148 p149 p150 p167 p108 p225 p116 p190 p191 }) ({p126 p148 p40 p149 p150 p168 p169 p170 p222 p184 p173 p62 p190 p117 } a48 {p126 p148 p149 p150 p14 p50 p168 p169 p170 p173 p185 p24 p212 p189 p229 }) ({p101 p123 p53 p146 p255 p188 } a38 {p158 p145 p183 p108 p150 p217 p111 p165 }) ({p47 } a44 {p46 }) ({p170 p186 p95 p119 p258 p231 p76 } a53 {p182 p125 p2 p105 p210 p149 p143 p156 }) ({p56 p104 p174 p142 p25 p198 p152 p29 p167 } a87 {p104 p57 p172 p147 p19 p161 p42 p144 p177 }) ({p182 p194 p2 p210 p156 p164 p117 p52 } a48 {p170 p209 p159 p4 p186 p24 p180 p231 }) ({p38 p149 p89 p163 p250 } a83 {p251 p34 p171 p148 p95 }) ({p194 p215 p148 p149 p150 p133 p9 p168 p182 p169 p170 p173 p117 p230 } a48 {p205 p148 p149 p150 p133 p180 p168 p169 p170 p173 p253 p186 p24 }) ({p28 } a13 {p115 }) ({p123 p195 p104 p148 p149 p161 p150 p190 p48 p32 p168 p76 } a53 {p35 p195 p125 p148 p149 p108 p150 p162 p116 p190 p220 p167 }) ({p194 p195 p234 p148 p236 p149 p237 p150 p98 p168 p52 p53 p169 p170 p173 p60 p62 p64 p190 p191 p119 p231 } a38 {p194 p195 p234 p148 p236 p149 p237 p133 p150 p168 p52 p169 p170 p105 p173 p60 p62 p64 p111 p190 p191 p231 }) }, initialMarking = {p146 p148 p149 p150 p151 p163 p164 p165 p48 p166 p50 p167 p52 p168 p54 p169 p56 p170 p57 p171 p58 p172 p60 p173 p62 p174 p64 p66 p67 p69 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p85 p238 p186 p187 p188 p189 p190 p116 p191 p118 p192 p119 p193 p121 p194 p123 p195 p124 p196 p126 p128 p129 p130 p131 p133 p134 p136 p138 p140 p142 }, acceptingPlaces = {p84 p88 } ); PetriNet net0 = ( alphabet = {a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a60 a61 a62 a63 a64 a65 a66 a67 a68 a69 a70 a71 a72 a73 a74 a75 a76 a77 a78 a79 a80 a81 a82 a83 a84 a85 a86 a87 a88 a89 a90 a91 a92 a93 a94 a95 a96 a97 a98 a99 a100 }, places = {p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 p251 p252 p253 p254 p255 p256 p257 p258 }, transitions = { ({p233 p57 p128 p172 p147 p36 p254 p89 p193 } a43 {p148 p142 p216 p25 p175 p92 p152 p47 }) ({p19 } a90 {p87 }) ({p232 p126 p37 p36 p224 p185 p110 p189 } a43 {p124 p223 p184 p113 p190 p47 }) ({p208 p0 p126 p36 p110 p188 p181 } a43 {p124 p195 p183 p217 p113 p227 p47 }) ({p132 p135 p137 p70 p138 } a95 {p55 p82 p132 p135 p137 p139 }) ({p194 p195 p148 p149 p150 p218 p164 p98 p172 p190 p191 p119 p231 p76 } a53 {p194 p195 p125 p235 p148 p149 p133 p150 p164 p172 p105 p210 p190 p191 }) ({p126 p222 p142 p151 p240 p175 p92 p189 p29 } a87 {p222 p128 p147 p184 p19 p113 p144 p154 p193 }) ({p61 p247 } a47 {p2 p58 p117 }) ({p123 p148 p40 p149 p150 p168 p169 p170 p104 p173 p62 p188 p189 p117 p193 } a48 {p148 p149 p150 p14 p50 p168 p169 p170 p173 p108 p24 p188 p189 p116 p193 }) ({p194 p195 p148 p149 p150 p198 p152 p98 p54 p169 p18 p191 p119 p76 } a53 {p194 p195 p125 p148 p245 p149 p133 p150 p172 p105 p201 p155 p191 }) ({p123 p194 p195 p234 p148 p236 p149 p237 p150 p168 p52 p53 p169 p170 p104 p173 p60 p62 p64 p190 p191 p231 } a38 {p194 p195 p234 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p108 p64 p111 p116 p190 p191 p231 }) ({p83 p109 } a42 {p101 p36 p121 }) ({p126 p36 p185 p110 p212 p189 p14 p229 p50 } a43 {p124 p222 p184 p40 p62 p113 p190 p47 }) ({p53 p2 p235 p210 p66 p156 p164 } a38 {p170 p159 p111 p218 p30 p231 }) ({p126 p142 p197 p151 p240 p175 p92 p189 p29 } a87 {p128 p147 p184 p19 p113 p144 p219 p154 p193 }) ({p53 p147 p131 p89 p250 p193 } a38 {p171 p148 p142 p197 p151 p240 p175 p111 p74 }) ({p36 p131 p179 p212 p14 p229 p50 p193 } a43 {p222 p40 p62 p131 p175 p191 p47 }) ({p170 p204 p252 p36 p173 p131 p179 p150 p193 } a43 {p170 p173 p131 p150 p197 p240 p175 p228 p191 p47 }) ({p93 } a15 {p6 }) ({p123 p148 p149 p150 p42 p168 p169 p170 p104 p60 p223 p184 p173 p190 p117 } a48 {p232 p148 p149 p150 p45 p168 p169 p56 p170 p173 p108 p224 p185 p24 p189 p116 }) ({p57 p128 p172 p36 p201 p150 p155 p256 p74 } a43 {p169 p131 p150 p25 p198 p92 p152 p47 }) ({p123 p124 p36 p131 p212 p188 p14 p229 p50 p181 } a43 {p123 p195 p124 p222 p183 p40 p62 p131 p47 }) ({p196 p38 p149 p89 p163 p241 } a83 {p34 p171 p148 p95 p192 p242 }) ({p53 p169 p170 p235 p210 } a38 {p169 p170 p111 p218 p231 }) ({p128 p2 p36 p66 p202 p156 p164 p74 } a43 {p170 p159 p131 p211 p92 p30 p47 }) ({p123 p194 p195 p148 p149 p150 p198 p152 p54 p169 p104 p18 p191 p76 } a53 {p194 p195 p125 p148 p245 p149 p150 p172 p108 p201 p155 p116 p191 }) ({p3 } a1 {p5 }) ({p126 p40 p174 p142 p198 p92 p152 p29 p167 } a87 {p128 p172 p147 p40 p19 p161 p113 p144 p177 }) ({p233 p57 p128 p172 p36 p150 p155 p256 p74 p207 } a43 {p169 p131 p237 p216 p150 p25 p92 p152 p47 }) ({p251 p150 p95 p165 p31 } a85 {p101 p149 p255 p163 p29 }) ({p26 } a88 {p84 }) ({p123 p195 p104 p160 p173 p148 p149 p150 p67 p27 p76 } a53 {p195 p125 p148 p149 p108 p150 p116 p203 p249 p166 p157 }) ({p251 p36 p133 p186 p95 } a43 {p182 p215 p149 p9 p143 p163 p153 p47 p98 }) ({p124 p160 p174 p142 p74 p29 } a87 {p147 p160 p131 p19 p110 p144 p177 }) ({p124 p183 p142 p151 p74 p29 } a87 {p183 p147 p131 p19 p110 p144 p154 }) ({p36 p105 p205 p253 p133 p186 p180 } a43 {p182 p194 p215 p9 p47 p98 p119 p230 }) ({p82 } a35 {p15 }) ({p203 p249 p166 p117 p157 } a48 {p160 p173 p67 p24 p27 }) ({p194 p232 p195 p233 p126 p235 p128 p148 p149 p150 p133 p164 p166 p167 p172 p190 p116 p191 p229 p76 } a53 {p194 p232 p195 p233 p125 p126 p235 p128 p148 p149 p150 p133 p164 p166 p167 p172 p190 p116 p191 p229 }) ({p128 p36 p12 p213 p74 p229 p166 p50 p157 } a43 {p222 p236 p160 p173 p131 p40 p92 p47 }) ({p53 p243 p146 p83 } a38 {p158 p145 p214 p178 p20 p86 p150 p187 p111 p165 p121 }) ({p221 p37 p185 p189 p76 } a53 {p125 p184 p226 p219 p190 }) ({p232 p53 p225 p168 } a38 {p234 p223 p111 p168 }) ({p194 p128 p36 p4 p66 p74 p191 } a43 {p194 p131 p92 p47 p30 p191 p52 }) ({p194 p232 p124 p195 p233 p235 p148 p149 p150 p164 p166 p167 p172 p113 p190 p191 p229 p76 } a53 {p194 p232 p195 p233 p126 p125 p235 p148 p149 p150 p164 p166 p167 p172 p110 p190 p191 p229 }) ({p172 p64 p150 p155 p175 p256 p191 p117 p207 } a48 {p169 p237 p179 p150 p24 p152 p206 p257 p193 }) ({p60 p142 p108 p179 p152 p206 p190 p257 p29 p167 } a87 {p172 p147 p19 p108 p64 p224 p185 p161 p144 p45 p191 }) ({p56 p174 p142 p108 p25 p198 p152 p29 p167 } a87 {p57 p172 p147 p19 p108 p161 p42 p144 p177 }) ({p0 p126 p36 p110 p212 p188 p229 p181 } a43 {p124 p195 p222 p183 p113 p47 }) ({p170 p58 p246 p95 p119 p76 } a53 {p196 p125 p105 p149 p202 p247 p143 p156 p176 }) ({p68 } a4 {p70 }) ({p129 p109 p118 p121 } a42 {p36 p129 p118 p121 }) ({p182 p146 p9 p143 p218 p188 p229 p153 p31 p77 } a85 {p158 p145 p222 p183 p235 p86 p186 p29 }) ({p126 p36 p110 p203 p249 p166 p157 } a43 {p124 p160 p173 p67 p113 p27 p47 }) ({p53 p172 p155 p12 p213 p229 p50 } a38 {p169 p222 p236 p40 p111 p152 }) ({p101 p123 p146 p173 p67 p248 p76 } a53 {p145 p178 p125 p108 p150 p187 p203 p249 p157 }) ({p194 p195 p148 p131 p237 p149 p216 p150 p92 p152 p169 p25 p191 p76 } a53 {p194 p233 p195 p125 p128 p148 p149 p150 p207 p57 p172 p155 p256 p74 p191 }) ({p169 p38 p148 p237 p133 p64 p92 p191 } a83 {p169 p34 p128 p148 p237 p64 p191 p98 }) ({p53 p81 p242 } a38 {p196 p149 p143 p111 p163 p199 p176 p118 p153 p77 }) ({p123 p182 p146 p2 p105 p210 p236 p173 p143 p188 p156 p31 } a85 {p145 p170 p183 p108 p186 p12 p213 p29 p119 p157 p231 }) ({p6 } a3 {p8 }) ({p159 p146 p4 p62 p211 p143 p176 p166 p31 p77 } a85 {p145 p178 p160 p86 p164 p14 p29 p52 }) ({p221 p33 } a52 {p224 p226 p76 }) ({p2 p235 p36 p105 p210 p133 p66 p156 p164 } a43 {p170 p159 p218 p30 p47 p98 p119 p231 }) ({p232 p56 p124 p36 p224 p185 p45 p189 } a43 {p124 p60 p223 p184 p42 p190 p47 }) ({p101 p123 p195 p146 p62 p7 p166 p117 } a48 {p145 p160 p108 p150 p24 p212 p14 p181 }) ({p208 p123 p0 p124 p36 p131 p188 p181 } a43 {p123 p195 p124 p183 p131 p217 p227 p47 }) ({p234 p142 p108 p151 p240 p175 p189 p29 p207 } a87 {p147 p184 p237 p19 p108 p225 p144 p154 p193 }) ({p208 p0 p188 p181 p76 } a53 {p195 p183 p125 p217 p227 }) ({p33 p255 } a52 {p7 p165 p76 }) ({p209 p128 p235 p36 p4 p179 p66 p74 p193 } a43 {p131 p175 p92 p218 p30 p191 p47 p52 }) ({p53 p209 p235 p253 p186 p180 } a38 {p182 p194 p9 p111 p218 }) ({p194 p81 p164 p117 p258 p52 } a48 {p209 p159 p4 p149 p143 p24 p180 p118 p77 }) ({p0 p236 p212 p188 p181 p76 } a53 {p195 p183 p125 p213 }) ({p169 p170 p235 p36 p105 p210 p133 } a43 {p169 p170 p218 p47 p98 p119 p231 }) ({p123 p195 p148 p149 p150 p217 p168 p169 p170 p104 p183 p173 p227 p117 } a48 {p0 p148 p149 p150 p181 p168 p208 p169 p170 p173 p108 p24 p188 p116 }) ({p170 p38 p201 p155 p256 } a83 {p169 p34 p2 p202 p156 }) ({p101 p123 p53 p146 p248 p166 } a38 {p145 p178 p160 p108 p150 p187 p111 p27 }) ({p53 p244 p172 p147 p131 p89 } a38 {p18 p148 p174 p142 p198 p111 p152 p74 p192 }) ({p232 p126 p142 p216 p151 p240 p175 p92 p189 p29 } a87 {p233 p128 p147 p223 p184 p19 p113 p144 p154 p193 }) ({p123 p146 p105 p173 p67 p202 p247 p143 p156 p176 p31 } a85 {p145 p170 p178 p58 p108 p203 p249 p29 p119 p157 }) ({p1 p174 p142 p238 p151 p69 } a0 {p147 p90 p71 }) ({p194 p148 p149 p150 p218 p98 p52 p168 p182 p169 p170 p173 p30 p117 p119 } a48 {p235 p148 p4 p149 p133 p150 p180 p168 p169 p170 p209 p105 p173 p66 p186 p24 }) ({p8 } a5 {p10 }) ({p174 p142 p108 p201 p155 p256 p29 p168 } a87 {p169 p147 p19 p108 p162 p43 p144 p177 p220 }) ({p173 p142 p67 p202 p247 p156 p31 } a85 {p170 p58 p142 p203 p249 p29 p157 }) ({p53 p246 p164 p95 p119 } a38 {p196 p159 p105 p149 p22 p211 p143 p111 p176 }) ({p172 p36 p245 p131 p201 p150 p155 } a43 {p54 p169 p18 p131 p150 p198 p152 p47 }) ({p104 p142 p197 p151 p240 p175 p189 p29 } a87 {p104 p147 p184 p19 p144 p219 p154 p193 }) ({p101 p123 p53 p146 p7 p188 p229 p166 p50 } a38 {p145 p222 p183 p160 p40 p108 p150 p111 }) ({p195 p222 p126 p236 p148 p40 p149 p161 p150 p190 p168 p76 } a53 {p195 p125 p126 p148 p149 p150 p162 p12 p50 p167 p213 p190 p229 }) ({p194 p124 p195 p234 p148 p149 p150 p167 p223 p113 p190 p191 p76 } a53 {p232 p194 p195 p126 p125 p148 p149 p150 p167 p110 p225 p190 p191 }) ({p61 p249 } a47 {p67 p12 p117 }) ({p194 p195 p128 p236 p148 p40 p149 p150 p152 p169 p222 p191 p76 } a53 {p194 p195 p125 p128 p148 p149 p150 p12 p50 p172 p155 p213 p229 p191 }) ({p2 p202 p156 p164 p117 p52 } a48 {p170 p159 p4 p211 p24 }) ({p23 p140 } a97 {p39 p28 p141 }) ({p53 p146 p83 p255 p188 } a38 {p158 p145 p183 p86 p150 p217 p111 p165 p121 }) ({p170 p81 p186 p258 p231 p76 } a53 {p182 p125 p2 p210 p149 p143 p156 p118 p77 }) ({p124 p195 p148 p149 p161 p150 p113 p190 p48 p32 p168 p76 } a53 {p35 p195 p126 p125 p148 p149 p150 p110 p162 p190 p220 p167 }) ({p234 p37 p224 p185 p189 p76 } a53 {p125 p184 p225 p190 }) ({p101 p123 p146 p236 p173 p7 p188 p76 } a53 {p145 p183 p125 p108 p150 p12 p213 p157 }) ({p123 p195 p234 p148 p149 p161 p150 p42 p168 p104 p223 p190 p76 } a53 {p232 p195 p125 p148 p149 p150 p162 p43 p167 p56 p108 p225 p116 p190 }) ({p194 p204 p252 p38 p179 p230 } a83 {p34 p205 p253 p180 p228 p191 }) ({p233 p170 p57 p36 p173 p131 p179 p150 p206 p257 p193 } a43 {p170 p173 p131 p64 p216 p150 p25 p175 p191 p47 }) ({p123 p0 p124 p36 p131 p212 p188 p229 p181 } a43 {p123 p195 p124 p222 p183 p131 p47 }) ({p194 p195 p234 p126 p128 p148 p236 p149 p237 p150 p133 p168 p52 p53 p169 p170 p173 p60 p62 p64 p190 p116 p191 p231 } a38 {p194 p195 p234 p126 p128 p148 p236 p149 p237 p150 p133 p168 p52 p169 p170 p173 p60 p62 p64 p111 p190 p116 p191 p231 }) ({p56 p124 p36 p162 p43 p220 p167 } a43 {p124 p161 p42 p47 p168 }) ({p126 p128 p148 p40 p149 p150 p168 p169 p170 p173 p62 p188 p189 p116 p117 p193 } a48 {p126 p128 p148 p149 p150 p14 p50 p168 p169 p170 p173 p24 p188 p189 p116 p193 }) ({p124 p148 p40 p149 p150 p168 p169 p170 p173 p62 p113 p188 p189 p117 p193 } a48 {p126 p148 p149 p150 p14 p50 p168 p169 p170 p173 p110 p24 p188 p189 p193 }) ({p245 p174 p142 p201 p155 p69 p48 p29 p168 } a87 {p79 p54 p169 p35 p147 p19 p162 p144 p177 p220 }) ({p194 p124 p195 p234 p148 p236 p149 p237 p150 p168 p52 p53 p169 p170 p173 p60 p62 p64 p113 p190 p191 p231 } a38 {p194 p195 p126 p234 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p64 p110 p111 p190 p191 p231 }) ({p123 p124 p36 p131 p203 p249 p166 p157 } a43 {p123 p124 p160 p173 p131 p67 p27 p47 }) ({p204 p252 p142 p108 p179 p151 p226 p190 p29 } a87 {p221 p37 p147 p19 p108 p185 p144 p228 p191 p154 }) ({p124 p148 p149 p150 p42 p168 p169 p170 p60 p223 p184 p173 p113 p190 p117 } a48 {p232 p126 p148 p149 p150 p45 p168 p169 p56 p170 p173 p224 p185 p110 p24 p189 }) ({p38 p257 p191 p52 } a83 {p34 p4 p64 p191 }) ({p53 p147 p72 p241 } a38 {p171 p129 p148 p174 p142 p238 p151 p69 p111 p192 }) ({p209 p159 p4 p62 p142 p166 p31 } a85 {p160 p142 p212 p164 p14 p29 p52 }) ({p194 p252 p38 p179 p206 } a83 {p34 p209 p253 p180 p191 }) ({p209 p235 p36 p105 p253 p133 p186 p180 } a43 {p182 p194 p9 p218 p47 p98 p119 }) ({p232 p56 p142 p216 p69 p25 p175 p189 p152 p29 p167 } a87 {p79 p233 p57 p172 p147 p223 p184 p19 p161 p42 p144 p193 }) ({p16 } a10 {p3 }) ({p194 p195 p170 p57 p36 p236 p173 p131 p150 p257 p191 p231 } a43 {p194 p195 p170 p236 p173 p131 p150 p64 p25 p47 p191 p231 }) ({p252 p142 p108 p179 p151 p206 p190 p29 } a87 {p37 p147 p19 p108 p224 p185 p144 p191 p154 }) ({p78 } a9 {p75 }) ({p209 p253 p186 p180 p231 p76 } a53 {p182 p194 p125 p210 p9 }) ({p221 p124 p37 p36 p185 p189 } a43 {p124 p184 p226 p219 p190 p47 }) ({p62 p175 p12 p213 p191 p166 p117 p157 } a48 {p236 p160 p173 p179 p24 p212 p14 p193 }) ({p194 p195 p148 p131 p237 p149 p216 p150 p92 p164 p166 p172 p190 p191 p76 } a53 {p194 p233 p195 p125 p128 p148 p149 p150 p164 p166 p207 p172 p190 p74 p191 }) ({p194 p195 p234 p126 p148 p149 p150 p167 p223 p190 p116 p191 p76 } a53 {p232 p194 p195 p125 p126 p148 p149 p150 p167 p225 p190 p116 p191 }) ({p182 p146 p9 p143 p218 p188 p116 p229 p153 p98 p31 } a85 {p158 p145 p104 p222 p183 p235 p133 p186 p29 }) ({p142 p108 p197 p151 p240 p175 p189 p29 } a87 {p147 p184 p19 p108 p144 p219 p154 p193 }) ({p172 p147 p131 p64 p254 p89 p191 p117 } a48 {p148 p142 p179 p24 p152 p206 p74 p257 }) ({p44 } a18 {p122 }) ({p232 p53 p56 p225 p162 p43 p167 } a38 {p234 p223 p161 p42 p111 p168 }) ({p195 p126 p148 p149 p161 p150 p190 p116 p48 p32 p168 p76 } a53 {p35 p195 p125 p126 p148 p149 p150 p162 p190 p116 p220 p167 }) ({p126 p160 p174 p142 p92 p29 } a87 {p128 p147 p160 p19 p113 p144 p177 }) ({p126 p183 p142 p151 p92 p29 } a87 {p183 p128 p147 p19 p113 p144 p154 }) ({p182 p170 p210 p236 p142 p9 p188 p31 } a85 {p170 p183 p142 p186 p213 p29 p231 }) ({p194 p195 p148 p237 p149 p216 p150 p152 p98 p169 p25 p191 p119 p76 } a53 {p194 p233 p195 p125 p148 p149 p133 p150 p207 p57 p172 p105 p155 p256 p191 }) ({p53 p147 p72 p250 p193 } a38 {p171 p129 p148 p142 p197 p151 p69 p240 p175 p111 }) ({p55 } a31 {p99 }) ({p33 p204 } a52 {p206 p228 p76 }) ({p170 p81 p58 p246 p76 } a53 {p196 p125 p149 p202 p247 p143 p156 p176 p118 p77 }) ({p114 } a29 {p1 }) ({p53 p57 p172 p201 p150 p155 p256 } a38 {p169 p150 p25 p198 p111 p152 }) ({p53 p235 p66 p186 p164 p95 p119 p258 } a38 {p182 p159 p105 p149 p143 p111 p218 p30 }) ({p209 p128 p235 p36 p4 p66 p186 p180 p74 } a43 {p182 p194 p131 p92 p218 p30 p47 p52 }) ({p232 p126 p36 p110 p225 p168 } a43 {p124 p234 p223 p113 p47 p168 }) ({p232 p104 p142 p216 p151 p240 p175 p189 p29 } a87 {p233 p104 p147 p223 p184 p19 p144 p154 p193 }) ({p123 p194 p195 p148 p237 p149 p216 p150 p152 p169 p104 p25 p191 p76 } a53 {p194 p233 p195 p125 p148 p149 p150 p207 p57 p172 p108 p155 p256 p116 p191 }) ({p174 p142 p69 p198 p152 p14 p29 p167 } a87 {p79 p172 p147 p19 p161 p144 p177 p14 }) ({p53 p2 p66 p202 p156 p164 } a38 {p170 p159 p211 p111 p30 }) ({p146 p83 p173 p67 p248 p76 } a53 {p145 p178 p125 p86 p150 p187 p203 p249 p157 p121 }) ({p126 p148 p149 p150 p42 p168 p169 p170 p60 p223 p184 p173 p190 p116 p117 } a48 {p232 p126 p148 p149 p150 p45 p168 p169 p56 p170 p173 p224 p185 p24 p189 p116 }) ({p232 p124 p37 p36 p224 p185 p189 } a43 {p124 p223 p184 p190 p47 }) ({p53 p35 p162 p220 p167 } a38 {p161 p111 p48 p32 p168 }) ({p194 p195 p148 p131 p149 p150 p92 p218 p152 p169 p30 p191 p231 p76 } a53 {p194 p195 p125 p128 p2 p235 p148 p149 p150 p172 p210 p66 p155 p74 p191 }) ({p205 p253 p186 p180 p76 } a53 {p182 p194 p125 p215 p9 p230 }) ({p142 p151 p69 p240 p175 p189 p213 p29 } a87 {p79 p147 p184 p19 p144 p213 p154 p193 }) ({p53 p233 p57 p172 p150 p155 p256 p207 } a38 {p169 p237 p216 p150 p25 p111 p152 }) ({p172 p64 p201 p150 p155 p256 p117 } a48 {p169 p150 p198 p24 p152 p257 }) ({p124 p36 p185 p212 p189 p14 p229 p50 } a43 {p124 p222 p184 p40 p62 p190 p47 }) ({p128 p36 p179 p212 p74 p14 p229 p50 p193 } a43 {p222 p131 p40 p62 p175 p92 p191 p47 }) ({p195 p146 p83 p62 p7 p166 p117 } a48 {p145 p160 p86 p150 p24 p212 p14 p181 p121 }) ({p170 p204 p128 p252 p36 p173 p179 p150 p74 p193 } a43 {p170 p173 p131 p150 p197 p240 p175 p92 p228 p191 p47 }) ({p194 p195 p128 p148 p149 p150 p133 p198 p152 p54 p169 p18 p116 p191 p76 } a53 {p194 p195 p125 p128 p148 p245 p149 p150 p133 p172 p201 p155 p116 p191 }) ({p169 p147 p131 p237 p254 p89 p193 p76 } a53 {p125 p148 p142 p155 p175 p256 p74 p207 }) ({p53 p12 p213 p229 p166 p50 p157 } a38 {p222 p236 p160 p173 p40 p111 }) ({p60 p174 p142 p69 p198 p152 p257 p29 p167 } a87 {p79 p172 p147 p19 p64 p161 p144 p45 p177 }) ({p194 p53 p4 p66 p191 } a38 {p194 p111 p30 p191 p52 }) ({p194 p170 p159 p58 p148 p149 p150 p22 p211 p98 p119 p76 } a53 {p194 p125 p105 p148 p149 p133 p150 p202 p247 p156 p164 }) ({p53 p146 p83 p248 p166 } a38 {p145 p178 p160 p86 p150 p187 p111 p27 p121 }) ({p128 p148 p149 p150 p218 p52 p168 p169 p170 p173 p175 p30 p191 p117 } a48 {p235 p128 p148 p4 p149 p179 p150 p168 p169 p170 p209 p173 p66 p24 p193 }) ({p36 p108 p12 p116 p213 p229 p166 p50 p157 } a43 {p123 p104 p222 p236 p160 p173 p40 p47 }) ({p5 } a2 {p44 }) ({p53 p146 p83 p7 p188 p229 p166 p50 } a38 {p145 p222 p183 p160 p40 p86 p150 p111 p121 }) ({p128 p36 p202 p247 p156 p164 p74 } a43 {p170 p159 p58 p131 p22 p211 p92 p47 }) ({p147 p29 } a87 {p147 p19 }) ({p53 p81 p246 p164 } a38 {p196 p159 p149 p22 p211 p143 p111 p176 p118 p77 }) ({p194 p195 p234 p128 p36 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p64 p190 p74 p191 p231 } a43 {p194 p195 p234 p148 p236 p131 p149 p237 p150 p92 p47 p168 p52 p169 p170 p173 p60 p62 p64 p190 p191 p231 }) ({p142 p69 p175 p189 p29 p157 } a87 {p79 p147 p184 p19 p144 p157 p193 }) ({p123 p182 p146 p105 p9 p143 p218 p188 p229 p153 p31 } a85 {p158 p145 p222 p183 p235 p108 p186 p29 p119 }) ({p124 p245 p174 p142 p201 p155 p74 p48 p29 p168 } a87 {p54 p169 p35 p147 p131 p19 p110 p162 p144 p177 p220 }) ({p128 p36 p12 p203 p74 p166 p50 p157 } a43 {p160 p173 p131 p40 p92 p47 }) ({p33 p205 } a52 {p209 p230 p76 }) ({p36 p205 p253 p131 p186 p180 p119 } a43 {p182 p194 p215 p131 p9 p47 p230 p119 }) ({p54 p196 p58 p61 p67 p187 p48 p192 } a47 {p54 p196 p58 p67 p187 p117 p48 p192 }) ({p232 p142 p108 p216 p151 p240 p175 p189 p29 } a87 {p233 p147 p223 p184 p19 p108 p144 p154 p193 }) ({p159 p142 p218 p30 p229 p166 p50 p31 } a85 {p222 p235 p160 p40 p142 p66 p164 p29 }) ({p146 p83 p236 p173 p7 p188 p76 } a53 {p145 p183 p125 p86 p150 p12 p213 p157 p121 }) ({p96 } a51 {p33 }) ({p53 p209 p235 p4 p179 p66 p193 } a38 {p175 p111 p218 p30 p191 p52 }) ({p236 p160 p173 p212 p188 p14 p181 p76 } a53 {p195 p183 p125 p62 p12 p213 p166 p157 }) ({p124 p195 p234 p148 p149 p161 p150 p42 p168 p223 p113 p190 p76 } a53 {p232 p195 p126 p125 p148 p149 p150 p162 p43 p167 p56 p110 p225 p190 }) ({p123 p159 p146 p105 p4 p62 p211 p143 p176 p166 p31 } a85 {p145 p178 p160 p108 p164 p14 p29 p119 p52 }) ({p234 p142 p108 p155 p175 p256 p189 p29 p207 p168 } a87 {p169 p147 p184 p237 p19 p108 p225 p162 p43 p144 p193 }) ({p232 p124 p56 p142 p216 p25 p175 p189 p152 p74 p29 p167 } a87 {p233 p147 p131 p161 p42 p57 p172 p223 p184 p19 p110 p144 p193 }) ({p2 p36 p105 p133 p66 p202 p156 p164 } a43 {p170 p159 p211 p30 p47 p98 p119 }) ({p159 p4 p62 p142 p211 p166 p31 } a85 {p160 p142 p164 p14 p29 p52 }) ({p194 p251 p95 p117 p119 p230 } a48 {p105 p205 p253 p149 p143 p24 p180 p163 p153 }) ({p53 p244 p172 p147 p72 } a38 {p18 p129 p148 p174 p142 p69 p198 p111 p152 p192 }) ({p146 p143 p199 p176 p153 p31 p77 } a85 {p158 p145 p214 p178 p20 p86 p29 }) ({p195 p209 p4 p62 p142 p180 p164 p31 } a85 {p194 p142 p212 p164 p14 p29 p181 p52 }) ({p54 p169 p244 p147 p131 p89 p76 } a53 {p125 p148 p245 p174 p142 p201 p155 p74 p192 }) ({p194 p195 p148 p237 p149 p216 p150 p164 p166 p98 p172 p190 p191 p119 p76 } a53 {p194 p233 p195 p125 p148 p149 p133 p150 p164 p166 p207 p172 p105 p190 p191 }) ({p65 } a50 {p96 }) ({p101 p243 p146 p36 p116 } a43 {p158 p145 p104 p214 p178 p20 p150 p187 p165 p47 }) ({p59 } a41 {p109 }) ({p148 p131 p149 p150 p92 p52 p168 p169 p170 p173 p186 p30 p117 p193 } a48 {p128 p148 p4 p149 p150 p168 p169 p170 p173 p66 p186 p24 p74 p193 }) ({p148 p131 p149 p150 p197 p240 p92 p168 p169 p170 p173 p175 p228 p191 p117 } a48 {p204 p128 p148 p149 p179 p150 p168 p169 p170 p252 p173 p24 p74 p193 }) ({p194 p169 p233 p195 p170 p36 p173 p131 p150 p207 } a43 {p194 p169 p195 p170 p173 p237 p131 p216 p150 p47 }) ({p146 p2 p173 p202 p143 p156 p176 p31 p77 } a85 {p145 p170 p178 p86 p12 p203 p29 p157 }) ({p195 p160 p173 p148 p149 p150 p67 p27 p116 p76 } a53 {p195 p125 p148 p149 p150 p203 p116 p249 p166 p157 }) ({p236 p161 p212 p188 p14 p181 p168 p76 } a53 {p195 p183 p125 p62 p162 p12 p213 p167 }) ({p123 p195 p104 p222 p236 p160 p173 p148 p40 p149 p150 p76 } a53 {p195 p125 p148 p149 p150 p12 p166 p50 p108 p116 p213 p229 p157 }) ({p2 p235 p36 p210 p131 p66 p156 p164 p119 } a43 {p170 p159 p131 p218 p30 p47 p119 p231 }) ({p194 p36 p105 p4 p133 p66 p191 } a43 {p194 p47 p30 p191 p98 p119 p52 }) ({p123 p194 p195 p148 p237 p149 p216 p150 p164 p166 p104 p172 p190 p191 p76 } a53 {p194 p233 p195 p125 p148 p149 p150 p164 p166 p207 p172 p108 p116 p190 p191 }) ({p94 } a37 {p53 }) ({p53 p233 p57 p172 p147 p131 p254 p89 p193 } a38 {p148 p142 p216 p25 p175 p111 p152 p74 }) ({p169 p170 p235 p36 p210 p131 p119 } a43 {p169 p170 p131 p218 p47 p119 p231 }) ({p61 p241 } a47 {p117 p192 p250 }) ({p124 p174 p142 p198 p152 p74 p14 p29 p167 } a87 {p172 p147 p131 p19 p161 p110 p144 p177 p14 }) ({p128 p172 p36 p245 p201 p150 p155 p74 } a43 {p54 p169 p18 p131 p150 p198 p92 p152 p47 }) ({p194 p38 p179 p206 p257 p52 } a83 {p34 p209 p4 p64 p180 p191 }) ({p169 p128 p36 p173 p213 p74 p229 p168 } a43 {p169 p222 p236 p173 p131 p92 p47 p168 }) ({p124 p142 p151 p240 p175 p189 p213 p74 p29 } a87 {p147 p184 p131 p19 p110 p144 p213 p154 p193 }) ({p53 p162 p12 p213 p229 p50 p167 } a38 {p222 p236 p40 p161 p111 p168 }) ({p53 p56 p45 p190 } a38 {p60 p42 p111 p190 }) ({p195 p234 p126 p148 p149 p161 p150 p42 p168 p223 p190 p116 p76 } a53 {p232 p195 p125 p126 p148 p149 p150 p162 p43 p167 p56 p225 p190 p116 }) ({p13 } a45 {p17 }) ({p81 p150 p246 p187 p31 p121 } a85 {p196 p83 p149 p248 p118 p29 }) ({p232 p56 p126 p36 p110 p225 p162 p43 p167 } a43 {p124 p234 p223 p161 p42 p113 p47 p168 }) ({p53 p81 p235 p66 p186 p164 p258 } a38 {p182 p159 p149 p143 p111 p218 p118 p30 p77 }) ({p124 p60 p174 p142 p198 p152 p74 p257 p29 p167 } a87 {p172 p147 p131 p19 p64 p161 p110 p144 p45 p177 }) ({p35 p162 p117 p220 p167 } a48 {p161 p24 p48 p32 p168 }) ({p233 p170 p57 p128 p36 p173 p179 p150 p206 p74 p257 p193 } a43 {p170 p173 p131 p64 p216 p150 p25 p175 p92 p191 p47 }) ({p196 p244 p38 p149 p72 p118 } a83 {p34 p81 p129 p148 p246 p192 }) ({p159 p146 p22 p211 p143 p176 p166 p31 p77 } a85 {p145 p178 p160 p86 p27 p164 p29 }) ({p148 p131 p149 p150 p92 p50 p168 p169 p170 p56 p57 p173 p66 p186 p188 p189 p117 p193 } a48 {p128 p148 p149 p150 p50 p168 p169 p170 p56 p57 p173 p66 p186 p24 p188 p189 p74 p193 }) ({p160 p142 p69 p175 p189 p29 } a87 {p79 p147 p184 p160 p19 p144 p193 }) ({p194 p170 p235 p142 p66 p186 p164 p116 p98 p31 p231 p52 } a85 {p194 p170 p104 p235 p142 p133 p66 p186 p164 p29 p231 p52 }) ({p174 p142 p238 p151 p69 p29 } a87 {p79 p147 p19 p144 p200 p177 p154 p239 }) ({p195 p148 p149 p150 p217 p168 p169 p170 p183 p173 p227 p116 p117 } a48 {p0 p148 p149 p150 p181 p168 p208 p169 p170 p173 p24 p188 p116 }) ({p53 p251 p186 p95 p119 } a38 {p182 p105 p215 p149 p9 p143 p111 p163 p153 }) ({p21 } a11 {p23 }) ({p132 p134 p70 } a93 {p55 p132 p135 p13 }) ({p172 p147 p64 p254 p72 p191 p117 } a48 {p129 p148 p142 p179 p69 p24 p152 p206 p257 }) ({p35 p126 p36 p110 p162 p220 p167 } a43 {p124 p161 p113 p48 p47 p32 p168 }) ({p2 p235 p172 p36 p210 p131 p66 p155 } a43 {p169 p131 p218 p152 p30 p47 p231 }) ({p106 } a25 {p49 }) ({p97 } a16 {p78 }) ({p169 p209 p4 p186 p180 p152 p231 p76 } a53 {p182 p194 p125 p2 p172 p210 p155 p52 }) ({p124 p142 p175 p189 p74 p29 p157 } a87 {p147 p184 p131 p19 p110 p144 p157 p193 }) ({p18 p174 p142 p69 p198 p152 p29 p167 } a87 {p79 p172 p147 p19 p161 p144 p177 p32 }) ({p61 p242 } a47 {p251 p196 p117 }) ({p101 p146 p36 p255 p188 p116 } a43 {p158 p145 p104 p183 p150 p217 p165 p47 }) ({p194 p215 p148 p149 p150 p9 p98 p168 p182 p169 p170 p173 p117 p119 p230 } a48 {p205 p148 p149 p133 p150 p180 p168 p169 p170 p105 p173 p253 p186 p24 }) ({p38 p149 p254 p72 p118 } a83 {p34 p81 p129 p148 p258 }) ({p194 p195 p128 p36 p236 p150 p170 p57 p173 p74 p257 p191 p231 } a43 {p194 p195 p236 p131 p150 p92 p47 p170 p173 p64 p25 p191 p231 }) ({p195 p128 p36 p190 p74 p14 p191 p50 } a43 {p195 p131 p40 p62 p92 p190 p47 p191 }) ({p209 p235 p36 p253 p131 p186 p180 p119 } a43 {p182 p194 p131 p9 p218 p47 p119 }) ({p126 p36 p110 p12 p213 p229 p166 p50 p157 } a43 {p124 p222 p236 p160 p173 p40 p113 p47 }) ({p53 p209 p235 p4 p66 p186 p180 } a38 {p182 p194 p111 p218 p30 p52 }) ({p243 p61 } a47 {p255 p187 p117 }) ({p194 p195 p128 p148 p149 p150 p133 p218 p164 p172 p190 p191 p231 p76 } a53 {p194 p195 p125 p235 p128 p148 p149 p150 p133 p164 p172 p210 p190 p191 }) ({p103 } a23 {p68 }) ({p2 p210 p236 p173 p142 p156 p31 } a85 {p170 p142 p12 p213 p29 p157 p231 }) ({p194 p195 p236 p148 p131 p149 p150 p92 p166 p167 p222 p172 p190 p191 p76 } a53 {p194 p195 p125 p128 p148 p149 p150 p166 p167 p172 p213 p190 p74 p229 p191 }) ({p142 p69 p152 p29 p181 p167 } a87 {p79 p172 p147 p19 p161 p144 p181 }) ({p146 p143 p199 p176 p116 p153 p98 p31 } a85 {p158 p145 p104 p214 p178 p20 p133 p29 }) ({p194 p170 p159 p148 p149 p150 p133 p218 p30 p231 p76 } a53 {p194 p125 p2 p235 p210 p148 p149 p150 p133 p66 p156 p164 }) ({p233 p170 p252 p36 p173 p131 p179 p150 p206 p193 } a43 {p170 p173 p131 p216 p150 p240 p175 p191 p47 }) ({p53 p179 p212 p14 p229 p50 p193 } a38 {p222 p40 p62 p175 p111 p191 }) ({p53 p170 p204 p252 p173 p179 p150 p193 } a38 {p170 p173 p150 p197 p240 p175 p111 p228 p191 }) ({p194 p195 p128 p148 p237 p149 p216 p150 p133 p152 p169 p25 p116 p191 p76 } a53 {p194 p233 p195 p125 p128 p148 p149 p150 p133 p207 p57 p172 p155 p256 p116 p191 }) ({p169 p147 p237 p254 p72 p193 p76 } a53 {p125 p129 p148 p142 p155 p69 p175 p256 p207 }) ({p148 p149 p150 p98 p52 p168 p169 p170 p173 p186 p30 p117 p119 p193 } a48 {p148 p4 p149 p133 p150 p168 p169 p170 p105 p173 p66 p186 p24 p193 }) ({p232 p124 p36 p225 p168 } a43 {p124 p234 p223 p47 p168 }) ({p128 p36 p212 p188 p74 p14 p229 p50 p181 } a43 {p195 p222 p183 p131 p40 p62 p92 p47 }) ({p148 p149 p150 p197 p240 p98 p168 p169 p170 p173 p175 p228 p191 p117 p119 } a48 {p204 p148 p149 p133 p179 p150 p168 p169 p170 p252 p105 p173 p24 p193 }) ({p208 p33 } a52 {p212 p227 p76 }) ({p170 p210 p236 p142 p186 p31 } a85 {p170 p142 p186 p213 p29 p231 }) ({p194 p251 p81 p117 p230 } a48 {p205 p253 p149 p143 p24 p180 p163 p118 p153 p77 }) ({p232 p56 p126 p142 p216 p25 p175 p92 p189 p152 p29 p167 } a87 {p233 p128 p147 p161 p42 p57 p172 p223 p184 p19 p113 p144 p193 }) ({p244 p61 } a47 {p254 p117 p192 }) ({p123 p195 p148 p40 p149 p150 p168 p169 p170 p104 p222 p183 p173 p62 p117 } a48 {p148 p149 p150 p14 p50 p181 p168 p169 p170 p173 p108 p24 p212 p188 p116 p229 }) ({p148 p131 p149 p216 p150 p92 p168 p169 p170 p173 p64 p25 p175 p191 p117 } a48 {p233 p128 p148 p149 p179 p150 p206 p168 p169 p170 p57 p173 p24 p74 p257 p193 }) ({p123 p148 p149 p150 p197 p240 p168 p169 p170 p104 p173 p175 p228 p191 p117 } a48 {p204 p148 p149 p179 p150 p168 p169 p170 p252 p173 p108 p24 p116 p193 }) ({p36 p133 p95 p242 } a43 {p196 p149 p143 p163 p199 p176 p153 p47 p98 }) ({p159 p146 p211 p143 p176 p30 p166 p50 p31 p77 } a85 {p145 p178 p160 p40 p86 p66 p164 p29 }) ({p194 p195 p236 p148 p131 p40 p149 p150 p92 p152 p169 p222 p191 p76 } a53 {p194 p195 p125 p128 p148 p149 p150 p12 p50 p172 p155 p213 p74 p229 p191 }) ({p53 p202 p247 p156 p164 } a38 {p170 p159 p58 p22 p211 p111 }) ({p123 p194 p170 p235 p105 p142 p66 p186 p164 p31 p231 p52 } a85 {p194 p170 p235 p142 p108 p66 p186 p164 p29 p119 p231 p52 }) ({p204 p252 p179 p150 p164 p166 p193 p76 } a53 {p125 p150 p197 p240 p175 p164 p228 p191 p166 }) ({p53 p12 p203 p166 p50 p157 } a38 {p160 p173 p40 p111 }) ({p33 p242 } a52 {p246 p163 p76 }) ({p60 p142 p179 p69 p152 p206 p190 p257 p29 p167 } a87 {p79 p172 p147 p19 p64 p224 p185 p161 p144 p45 p191 }) ({p33 p241 } a52 {p171 p244 p76 }) ({p56 p174 p142 p69 p25 p198 p152 p29 p167 } a87 {p79 p57 p172 p147 p19 p161 p42 p144 p177 }) ({p101 p123 p195 p146 p255 p227 p117 } a48 {p208 p158 p145 p0 p108 p150 p24 p165 p181 }) ({p209 p235 p36 p105 p4 p133 p66 p186 p180 } a43 {p182 p194 p218 p30 p47 p98 p119 p52 }) ({p90 } a14 {p112 }) ({p182 p170 p215 p142 p9 p188 p164 p31 } a85 {p170 p183 p142 p217 p186 p164 p29 }) ({p183 p142 p69 p152 p29 p167 } a87 {p79 p183 p172 p147 p19 p161 p144 }) ({p194 p195 p234 p36 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p108 p64 p116 p190 p191 p231 } a43 {p123 p194 p195 p234 p148 p236 p149 p237 p150 p47 p168 p52 p169 p170 p104 p173 p60 p62 p64 p190 p191 p231 }) ({p234 p224 p185 p161 p45 p189 p168 p76 } a53 {p125 p60 p184 p225 p162 p43 p190 p167 }) ({p159 p146 p22 p211 p143 p176 p116 p166 p98 p31 } a85 {p145 p104 p178 p160 p133 p27 p164 p29 }) ({p36 p108 p12 p116 p203 p166 p50 p157 } a43 {p123 p104 p160 p173 p40 p47 }) ({p148 p131 p149 p150 p92 p168 p169 p170 p173 p64 p186 p25 p188 p117 p193 } a48 {p128 p148 p149 p150 p168 p169 p170 p57 p173 p186 p24 p188 p74 p257 p193 }) ({p148 p149 p150 p98 p50 p168 p169 p170 p56 p57 p173 p66 p186 p188 p189 p117 p119 p193 } a48 {p148 p149 p133 p150 p50 p168 p169 p170 p56 p57 p105 p173 p66 p186 p24 p188 p189 p193 }) ({p124 p160 p142 p175 p189 p74 p29 } a87 {p147 p184 p160 p131 p19 p110 p144 p193 }) ({p123 p124 p36 p131 p12 p213 p229 p166 p50 p157 } a43 {p123 p124 p222 p236 p160 p173 p40 p131 p47 }) ({p124 p174 p142 p238 p151 p74 p29 } a87 {p147 p131 p19 p110 p144 p200 p177 p154 p239 }) ({p54 p169 p244 p147 p72 p76 } a53 {p125 p129 p148 p245 p174 p142 p201 p155 p69 p192 }) ({p99 } a17 {p100 }) ({p169 p128 p38 p148 p237 p64 p191 } a83 {p169 p34 p128 p148 p237 p64 p191 }) ({p81 p150 p187 p165 p31 p121 p242 } a85 {p243 p196 p83 p149 p163 p118 p29 }) ({p123 p146 p105 p143 p199 p176 p153 p31 } a85 {p158 p145 p214 p178 p20 p108 p29 p119 }) ({p128 p147 p36 p89 p241 } a43 {p171 p148 p174 p142 p238 p151 p92 p47 p192 }) ({p234 p142 p151 p69 p240 p175 p189 p29 p207 } a87 {p79 p147 p184 p237 p19 p225 p144 p154 p193 }) ({p128 p148 p40 p149 p150 p168 p169 p170 p222 p173 p62 p175 p191 p117 } a48 {p128 p148 p149 p179 p150 p14 p50 p168 p169 p170 p173 p24 p212 p229 p193 }) ({p126 p36 p110 p162 p12 p213 p229 p50 p167 } a43 {p124 p222 p236 p40 p161 p113 p47 p168 }) ({p208 p0 p128 p36 p188 p74 p181 } a43 {p195 p183 p131 p217 p92 p227 p47 }) ({p56 p126 p36 p110 p45 p190 } a43 {p124 p60 p42 p113 p190 p47 }) ({p124 p18 p174 p142 p198 p152 p74 p29 p167 } a87 {p172 p147 p131 p19 p161 p110 p144 p177 p32 }) ({p123 p148 p149 p150 p50 p168 p169 p170 p56 p104 p57 p173 p66 p186 p188 p189 p117 p193 } a48 {p148 p149 p150 p50 p168 p169 p170 p56 p57 p173 p108 p66 p186 p24 p188 p189 p116 p193 }) ({p101 p146 p36 p248 p116 p166 } a43 {p145 p104 p178 p160 p150 p187 p27 p47 }) ({p194 p170 p142 p186 p218 p164 p229 p31 } a85 {p194 p170 p222 p235 p142 p186 p164 p29 }) ({p195 p146 p205 p253 p143 p180 p227 p153 p31 p77 } a85 {p208 p194 p158 p145 p0 p86 p29 p230 p181 }) ({p111 } a39 {p63 }) ({p103 } a22 {p93 }) ({p195 p183 p62 p12 p213 p166 p117 p157 } a48 {p236 p160 p173 p24 p212 p188 p14 p181 }) ({p81 p150 p31 p121 p258 } a85 {p83 p149 p7 p118 p29 }) ({p172 p36 p131 p155 p12 p213 p229 p50 } a43 {p169 p222 p236 p40 p131 p152 p47 }) ({p123 p146 p2 p105 p173 p202 p143 p156 p176 p31 } a85 {p145 p170 p178 p108 p12 p203 p29 p119 p157 }) ({p100 } a19 {p102 }) ({p194 p170 p235 p142 p186 p164 p30 p50 p31 p231 } a85 {p194 p170 p235 p40 p142 p66 p186 p164 p29 p231 }) ({p53 p233 p57 p172 p147 p254 p72 p193 } a38 {p129 p148 p142 p216 p69 p25 p175 p111 p152 }) ({p195 p209 p159 p146 p4 p62 p143 p180 p166 p31 p77 } a85 {p194 p145 p160 p86 p212 p164 p14 p29 p181 p52 }) ({p123 p195 p146 p236 p150 p166 p50 p173 p62 p188 p116 p29 p229 } a86 {p123 p195 p146 p236 p150 p166 p50 p173 p62 p26 p188 p116 p229 }) ({p101 p146 p36 p7 p188 p116 p229 p166 p50 } a43 {p145 p104 p222 p183 p160 p40 p150 p47 }) ({p160 p142 p179 p69 p190 p29 } a87 {p79 p147 p160 p19 p185 p144 p191 }) ({p53 p251 p81 p186 } a38 {p182 p215 p149 p9 p143 p111 p163 p118 p153 p77 }) ({p2 p36 p131 p66 p202 p156 p164 p119 } a43 {p170 p159 p131 p211 p30 p47 p119 }) ({p33 p243 } a52 {p248 p165 p76 }) ({p2 p173 p142 p202 p156 p31 } a85 {p170 p142 p12 p203 p29 p157 }) ({p53 p172 p245 p201 p150 p155 } a38 {p54 p169 p18 p150 p198 p111 p152 }) ({p174 p142 p201 p155 p69 p256 p29 p168 } a87 {p79 p169 p147 p19 p162 p43 p144 p177 p220 }) ({p36 p105 p133 p202 p247 p156 p164 } a43 {p170 p159 p58 p22 p211 p47 p98 p119 }) ({p124 p142 p152 p74 p29 p181 p167 } a87 {p172 p147 p131 p19 p161 p110 p144 p181 }) ({p194 p195 p234 p36 p148 p236 p149 p237 p133 p150 p168 p52 p169 p170 p105 p173 p60 p62 p64 p190 p191 p231 } a43 {p194 p195 p234 p148 p236 p149 p237 p150 p47 p98 p168 p52 p169 p170 p173 p60 p62 p64 p190 p191 p119 p231 }) ({p53 p169 p173 p213 p229 p168 } a38 {p169 p222 p236 p173 p111 p168 }) ({p194 p169 p233 p195 p170 p128 p36 p173 p150 p74 p207 } a43 {p194 p169 p195 p170 p173 p131 p237 p216 p150 p92 p47 }) ({p194 p195 p128 p148 p237 p149 p216 p150 p133 p164 p166 p172 p190 p116 p191 p76 } a53 {p194 p233 p195 p125 p128 p148 p149 p150 p133 p164 p166 p207 p172 p190 p116 p191 }) ({p184 p62 p12 p213 p190 p166 p117 p157 } a48 {p236 p160 p173 p185 p24 p212 p189 p14 }) ({p128 p147 p36 p89 p250 p193 } a43 {p171 p148 p142 p197 p151 p240 p175 p92 p47 }) ({p102 } a20 {p103 }) ({p62 p12 p203 p166 p117 p157 } a48 {p160 p173 p24 p14 }) ({p123 p148 p149 p150 p219 p168 p169 p170 p104 p184 p173 p226 p190 p117 } a48 {p37 p148 p149 p150 p168 p221 p169 p170 p173 p108 p185 p24 p189 p116 }) ({p38 p149 p163 p72 p118 p250 } a83 {p251 p34 p81 p171 p129 p148 }) ({p123 p148 p149 p150 p42 p168 p169 p170 p104 p60 p173 p189 p117 } a48 {p148 p149 p150 p45 p168 p169 p56 p170 p173 p108 p24 p189 p116 }) ({p170 p58 p38 p245 p201 p155 } a83 {p54 p169 p34 p202 p247 p156 }) ({p123 p194 p195 p236 p148 p149 p150 p166 p167 p104 p222 p172 p190 p191 p76 } a53 {p194 p195 p125 p148 p149 p150 p166 p167 p172 p108 p116 p213 p190 p229 p191 }) ({p194 p36 p4 p131 p66 p191 p119 } a43 {p194 p131 p47 p30 p191 p119 p52 }) ({p232 p56 p104 p142 p216 p25 p175 p189 p152 p29 p167 } a87 {p233 p104 p57 p172 p147 p223 p184 p19 p161 p42 p144 p193 }) ({p169 p36 p173 p108 p116 p213 p229 p168 } a43 {p123 p169 p104 p222 p236 p173 p47 p168 }) ({p53 p233 p170 p57 p173 p179 p150 p206 p257 p193 } a38 {p170 p173 p64 p216 p150 p25 p175 p111 p191 }) ({p61 p246 } a47 {p196 p117 p258 }) ({p0 p128 p36 p212 p188 p74 p229 p181 } a43 {p195 p222 p183 p131 p92 p47 }) ({p232 p53 p56 p224 p185 p45 p189 } a38 {p60 p223 p184 p42 p111 p190 }) ({p195 p205 p253 p142 p180 p227 p31 } a85 {p208 p194 p0 p142 p29 p230 p181 }) ({p123 p159 p146 p105 p22 p211 p143 p176 p166 p31 } a85 {p145 p178 p160 p108 p27 p164 p29 p119 }) ({p194 p123 p195 p124 p234 p36 p148 p236 p149 p237 p131 p150 p168 p52 p169 p170 p173 p60 p62 p64 p190 p191 p119 p231 } a43 {p194 p123 p195 p124 p234 p148 p236 p149 p237 p131 p150 p47 p168 p52 p169 p170 p173 p60 p62 p64 p190 p191 p119 p231 }) ({p204 p252 p142 p179 p151 p69 p226 p190 p29 } a87 {p79 p221 p37 p147 p19 p185 p144 p228 p191 p154 }) ({p159 p146 p211 p143 p176 p116 p30 p166 p98 p50 p31 } a85 {p145 p104 p178 p160 p40 p133 p66 p164 p29 }) ({p148 p149 p216 p150 p98 p168 p169 p170 p173 p64 p25 p175 p191 p117 p119 } a48 {p233 p148 p149 p133 p179 p150 p206 p168 p169 p170 p57 p105 p173 p24 p257 p193 }) ({p232 p56 p124 p36 p225 p162 p43 p167 } a43 {p124 p234 p223 p161 p42 p47 p168 }) ({p128 p36 p203 p74 p249 p166 p157 } a43 {p160 p173 p131 p67 p92 p27 p47 }) ({p196 p38 p149 p163 p72 p118 p241 } a83 {p34 p81 p171 p129 p148 p192 p242 }) ({p194 p148 p149 p150 p133 p218 p52 p168 p182 p169 p170 p173 p30 p117 } a48 {p235 p148 p4 p149 p150 p133 p180 p168 p169 p170 p209 p173 p66 p186 p24 }) ({p195 p209 p146 p253 p143 p180 p153 p31 p77 } a85 {p194 p158 p145 p0 p86 p212 p29 p181 }) ({p159 p142 p22 p211 p166 p31 } a85 {p160 p142 p27 p164 p29 }) ({p251 p81 p150 p165 p31 p121 } a85 {p83 p149 p255 p163 p118 p29 }) ({p2 p210 p175 p156 p164 p191 p117 p52 } a48 {p170 p209 p159 p4 p179 p24 p231 p193 }) ({p124 p60 p142 p179 p152 p206 p190 p74 p257 p29 p167 } a87 {p172 p147 p131 p19 p64 p224 p185 p161 p110 p144 p45 p191 }) ({p148 p131 p149 p150 p92 p218 p52 p168 p169 p170 p173 p175 p30 p191 p117 } a48 {p128 p235 p148 p4 p149 p179 p150 p168 p169 p170 p209 p173 p66 p24 p74 p193 }) ({p132 p135 p136 p70 } a94 {p55 p41 p132 p135 p137 }) ({p194 p53 p195 p170 p57 p236 p173 p150 p257 p191 p231 } a38 {p194 p195 p170 p236 p173 p150 p64 p25 p111 p191 p231 }) ({p124 p56 p174 p142 p25 p198 p152 p74 p29 p167 } a87 {p57 p172 p147 p131 p19 p161 p42 p110 p144 p177 }) ({p53 p195 p190 p14 p191 p50 } a38 {p195 p40 p62 p111 p190 p191 }) ({p252 p142 p179 p151 p69 p206 p190 p29 } a87 {p79 p37 p147 p19 p224 p185 p144 p191 p154 }) ({p195 p222 p236 p160 p173 p148 p40 p149 p150 p116 p76 } a53 {p195 p125 p148 p149 p150 p12 p213 p116 p229 p166 p50 p157 }) ({p123 p148 p149 p216 p150 p168 p169 p170 p104 p173 p64 p25 p175 p191 p117 } a48 {p233 p148 p149 p179 p150 p206 p168 p169 p170 p57 p173 p108 p24 p116 p257 p193 }) ({p222 p142 p151 p69 p240 p175 p189 p29 } a87 {p79 p222 p147 p184 p19 p144 p154 p193 }) ({p130 p70 } a92 {p55 p132 p65 }) ({p132 p135 p137 p70 p139 } a91 {p132 p135 p88 p137 p139 }) ({p61 p248 } a47 {p7 p187 p117 }) ({p202 p247 p156 p164 p117 } a48 {p170 p159 p58 p22 p211 p24 }) ({p124 p183 p142 p152 p74 p29 p167 } a87 {p183 p172 p147 p131 p19 p161 p110 p144 }) ({p142 p197 p151 p69 p240 p175 p189 p29 } a87 {p79 p147 p184 p19 p144 p219 p154 p193 }) ({p245 p174 p142 p108 p201 p155 p48 p29 p168 } a87 {p54 p169 p35 p147 p19 p108 p162 p144 p177 p220 }) ({p182 p146 p215 p9 p143 p188 p153 p31 p77 } a85 {p158 p145 p183 p86 p217 p186 p29 }) ({p35 p124 p36 p162 p220 p167 } a43 {p124 p161 p48 p47 p32 p168 }) ({p128 p2 p235 p172 p36 p210 p66 p155 p74 } a43 {p169 p131 p92 p218 p152 p30 p47 p231 }) ({p182 p159 p146 p143 p218 p188 p30 p229 p166 p50 p31 p77 } a85 {p145 p222 p183 p235 p160 p40 p86 p66 p186 p164 p29 }) ({p17 } a46 {p61 }) ({p148 p149 p150 p98 p168 p169 p170 p173 p64 p186 p25 p188 p117 p119 p193 } a48 {p148 p149 p133 p150 p168 p169 p170 p57 p105 p173 p186 p24 p188 p257 p193 }) ({p182 p146 p210 p236 p9 p143 p188 p153 p31 p77 } a85 {p158 p145 p183 p86 p186 p213 p29 p231 }) ({p195 p36 p108 p116 p190 p14 p191 p50 } a43 {p123 p195 p104 p40 p62 p190 p47 p191 }) ({p124 p148 p40 p149 p150 p168 p169 p170 p222 p184 p173 p62 p113 p190 p117 } a48 {p126 p148 p149 p150 p14 p50 p168 p169 p170 p173 p185 p110 p24 p212 p189 p229 }) ({p170 p209 p159 p4 p186 p180 p231 p76 } a53 {p182 p194 p125 p2 p210 p156 p164 p52 }) ({p195 p146 p83 p255 p227 p117 } a48 {p208 p158 p145 p0 p86 p150 p24 p165 p181 p121 }) ({p40 p174 p142 p69 p198 p152 p29 p167 } a87 {p79 p172 p147 p40 p19 p161 p144 p177 }) ({p11 } a7 {p114 }) ({p124 p234 p142 p151 p240 p175 p189 p74 p29 p207 } a87 {p147 p184 p131 p237 p19 p110 p225 p144 p154 p193 }) ({p232 p56 p142 p108 p216 p25 p175 p189 p152 p29 p167 } a87 {p233 p57 p172 p147 p223 p184 p19 p108 p161 p42 p144 p193 }) ({p147 p131 p89 p228 p191 p117 p250 } a48 {p204 p171 p252 p148 p142 p179 p151 p24 p74 }) ({p194 p195 p126 p234 p36 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p64 p110 p190 p191 p231 } a43 {p194 p124 p195 p234 p148 p236 p149 p237 p150 p47 p168 p52 p169 p170 p173 p60 p62 p64 p113 p190 p191 p231 }) ({p182 p170 p2 p210 p236 p142 p188 p31 } a85 {p170 p183 p142 p186 p12 p213 p29 p231 }) ({p53 p56 p162 p43 p220 p167 } a38 {p161 p42 p111 p168 }) ({p53 p212 p188 p14 p229 p50 p181 } a38 {p195 p222 p183 p40 p62 p111 }) ({p183 p142 p155 p69 p29 p168 } a87 {p79 p169 p183 p147 p19 p162 p144 }) ({p126 p36 p110 p12 p203 p166 p50 p157 } a43 {p124 p160 p173 p40 p113 p47 }) ({p195 p209 p253 p142 p180 p31 } a85 {p194 p0 p142 p212 p29 p181 }) ({p123 p148 p149 p150 p168 p169 p170 p104 p173 p64 p186 p25 p188 p117 p193 } a48 {p148 p149 p150 p168 p169 p170 p57 p173 p108 p186 p24 p188 p116 p257 p193 }) ({p194 p232 p195 p233 p235 p148 p131 p149 p150 p92 p164 p166 p167 p172 p190 p191 p229 p76 } a53 {p194 p232 p195 p233 p125 p128 p235 p148 p149 p150 p164 p166 p167 p172 p190 p74 p191 p229 }) ({p107 } a27 {p106 }) ({p10 } a6 {p120 }) ({p128 p244 p172 p147 p36 p89 } a43 {p18 p148 p174 p142 p198 p92 p152 p47 p192 }) ({p128 p36 p205 p253 p186 p180 p74 } a43 {p182 p194 p215 p131 p9 p92 p47 p230 }) ({p233 p170 p128 p252 p36 p173 p179 p150 p206 p74 p193 } a43 {p170 p173 p131 p216 p150 p240 p175 p92 p191 p47 }) ({p126 p160 p142 p175 p92 p189 p29 } a87 {p128 p147 p184 p160 p19 p113 p144 p193 }) ({p124 p160 p142 p179 p190 p74 p29 } a87 {p147 p160 p131 p19 p185 p110 p144 p191 }) ({p36 p133 p246 p164 p95 } a43 {p196 p159 p149 p22 p211 p143 p176 p47 p98 }) ({p126 p128 p148 p149 p150 p133 p50 p168 p169 p170 p56 p57 p173 p66 p186 p188 p189 p116 p117 p193 } a48 {p126 p128 p148 p149 p150 p133 p50 p168 p169 p170 p56 p57 p173 p66 p186 p24 p188 p189 p116 p193 }) ({p126 p174 p142 p238 p151 p92 p29 } a87 {p128 p147 p19 p113 p144 p200 p177 p154 p239 }) ({p124 p174 p142 p201 p155 p256 p74 p29 p168 } a87 {p169 p147 p131 p19 p110 p162 p43 p144 p177 p220 }) ({p36 p108 p212 p188 p116 p14 p229 p50 p181 } a43 {p123 p195 p104 p222 p183 p40 p62 p47 }) ({p124 p148 p149 p150 p50 p168 p169 p170 p56 p57 p173 p66 p186 p113 p188 p189 p117 p193 } a48 {p126 p148 p149 p150 p50 p168 p169 p170 p56 p57 p173 p66 p110 p186 p24 p188 p189 p193 }) ({p127 } a34 {p73 }) ({p51 } a26 {p16 }) ({p221 p53 p37 p185 p189 } a38 {p184 p111 p226 p219 p190 }) ({p57 p172 p36 p131 p201 p150 p155 p256 } a43 {p169 p131 p150 p25 p198 p152 p47 }) ({p123 p159 p146 p105 p211 p143 p176 p30 p166 p50 p31 } a85 {p145 p178 p160 p40 p108 p66 p164 p29 p119 }) ({p126 p18 p174 p142 p198 p92 p152 p29 p167 } a87 {p128 p172 p147 p19 p161 p113 p144 p177 p32 }) ({p150 p246 p187 p95 p31 } a85 {p101 p196 p149 p248 p29 }) ({p128 p148 p149 p150 p133 p197 p240 p168 p169 p170 p173 p175 p228 p116 p191 p117 } a48 {p204 p128 p148 p149 p179 p150 p133 p168 p169 p170 p252 p173 p24 p116 p193 }) ({p159 p142 p211 p30 p166 p50 p31 } a85 {p160 p40 p142 p66 p164 p29 }) ({p169 p237 p179 p150 p152 p206 p257 p193 p76 } a53 {p125 p172 p64 p150 p155 p175 p256 p191 p207 }) ({p172 p245 p201 p150 p155 p117 } a48 {p54 p169 p18 p150 p198 p24 p152 }) ({p196 p244 p38 p149 p89 } a83 {p34 p148 p246 p95 p192 }) ({p233 p57 p172 p36 p131 p150 p155 p256 p207 } a43 {p169 p237 p131 p216 p150 p25 p152 p47 }) ({p128 p2 p235 p36 p210 p66 p156 p164 p74 } a43 {p170 p159 p131 p92 p218 p30 p47 p231 }) ({p112 } a28 {p107 }) ({p174 p142 p69 p29 p157 } a87 {p79 p147 p19 p144 p177 p157 }) ({p33 p171 p163 p226 p227 p165 p228 p230 } a52 {p171 p163 p226 p227 p165 p228 p230 p76 }) ({p124 p148 p149 p150 p219 p168 p169 p170 p184 p173 p113 p226 p190 p117 } a48 {p126 p37 p148 p149 p150 p168 p221 p169 p170 p173 p185 p110 p24 p189 }) ({p15 } a36 {p94 }) ({p115 } a30 {p103 }) ({p124 p204 p252 p142 p179 p151 p226 p190 p74 p29 } a87 {p221 p37 p147 p131 p19 p185 p110 p144 p228 p191 p154 }) ({p60 p174 p142 p108 p198 p152 p257 p29 p167 } a87 {p172 p147 p19 p108 p64 p161 p144 p45 p177 }) ({p124 p148 p149 p150 p42 p168 p169 p170 p60 p173 p113 p189 p117 } a48 {p126 p148 p149 p150 p45 p168 p169 p56 p170 p173 p110 p24 p189 }) ({p169 p170 p128 p235 p36 p210 p74 } a43 {p169 p170 p131 p92 p218 p47 p231 }) ({p194 p195 p126 p128 p236 p148 p149 p150 p166 p167 p222 p172 p190 p116 p191 p76 } a53 {p194 p195 p125 p126 p128 p148 p149 p150 p166 p167 p172 p213 p190 p116 p229 p191 }) ({p169 p126 p36 p173 p110 p213 p229 p168 } a43 {p169 p124 p222 p236 p173 p113 p47 p168 }) ({p232 p142 p216 p151 p69 p240 p175 p189 p29 } a87 {p79 p233 p147 p223 p184 p19 p144 p154 p193 }) ({p194 p124 p195 p236 p148 p149 p150 p166 p167 p222 p172 p113 p190 p191 p76 } a53 {p194 p195 p126 p125 p148 p149 p150 p166 p167 p172 p110 p213 p190 p229 p191 }) ({p232 p53 p37 p224 p185 p189 } a38 {p223 p184 p111 p190 }) ({p208 p53 p0 p188 p181 } a38 {p195 p183 p217 p111 p227 }) ({p38 p149 p254 p89 } a83 {p34 p148 p95 p258 }) ({p120 } a32 {p97 }) ({p234 p142 p155 p69 p175 p256 p189 p29 p207 p168 } a87 {p79 p169 p147 p184 p237 p19 p225 p162 p43 p144 p193 }) ({p124 p252 p142 p179 p151 p206 p190 p74 p29 } a87 {p37 p147 p131 p19 p224 p185 p110 p144 p191 p154 }) ({p53 p185 p212 p189 p14 p229 p50 } a38 {p222 p184 p40 p62 p111 p190 }) ({p194 p170 p159 p58 p148 p149 p150 p133 p22 p211 p76 } a53 {p194 p125 p148 p149 p150 p133 p202 p247 p156 p164 }) ({p209 p235 p36 p4 p131 p66 p186 p180 p119 } a43 {p182 p194 p131 p218 p30 p47 p119 p52 }) ({p124 p222 p142 p151 p240 p175 p189 p74 p29 } a87 {p222 p147 p184 p131 p19 p110 p144 p154 p193 }) ({p123 p195 p146 p105 p205 p253 p143 p180 p227 p153 p31 } a85 {p208 p194 p158 p145 p0 p108 p29 p119 p230 p181 }) ({p123 p124 p36 p131 p12 p203 p166 p50 p157 } a43 {p123 p124 p160 p173 p40 p131 p47 }) ({p142 p151 p69 p29 p181 } a87 {p79 p147 p19 p144 p181 p154 }) ({p171 p129 p148 p71 p73 p192 } a8 {p21 p72 p241 }) ({p124 p142 p197 p151 p240 p175 p189 p74 p29 } a87 {p147 p184 p131 p19 p110 p144 p219 p154 p193 }) ({p125 } a54 {p80 }) ({p208 p0 p36 p108 p188 p116 p181 } a43 {p123 p195 p104 p183 p217 p227 p47 }) ({p182 p146 p215 p9 p143 p188 p116 p153 p98 p31 } a85 {p158 p145 p104 p183 p133 p217 p186 p29 }) ({p195 p148 p40 p149 p150 p168 p169 p170 p222 p183 p173 p62 p116 p117 } a48 {p148 p149 p150 p14 p50 p181 p168 p169 p170 p173 p24 p212 p188 p116 p229 }) ({p159 p146 p218 p166 p98 p50 p182 p143 p188 p116 p30 p229 p31 } a85 {p145 p104 p222 p183 p235 p160 p40 p133 p66 p186 p164 p29 }) ({p124 p36 p162 p12 p213 p229 p50 p167 } a43 {p124 p222 p236 p40 p161 p47 p168 }) ({p56 p124 p36 p45 p190 } a43 {p124 p60 p42 p190 p47 }) ({p194 p53 p169 p233 p195 p170 p173 p150 p207 } a38 {p194 p169 p195 p170 p173 p237 p216 p150 p111 }) ({p232 p56 p126 p36 p224 p185 p110 p45 p189 } a43 {p124 p60 p223 p184 p42 p113 p190 p47 }) ({p123 p195 p209 p159 p146 p105 p4 p62 p143 p180 p166 p31 } a85 {p194 p145 p160 p108 p212 p164 p14 p29 p119 p181 p52 }) ({p194 p170 p235 p142 p133 p66 p186 p164 p31 p119 p231 p52 } a85 {p194 p170 p235 p142 p133 p66 p186 p164 p29 p119 p231 p52 }) ({p194 p195 p234 p148 p236 p131 p149 p237 p150 p92 p168 p52 p53 p169 p170 p173 p60 p62 p64 p190 p191 p231 } a38 {p194 p195 p234 p128 p148 p236 p149 p237 p150 p168 p52 p169 p170 p173 p60 p62 p64 p111 p190 p74 p191 p231 }) ({p60 p184 p225 p162 p43 p190 p117 p167 } a48 {p234 p224 p185 p161 p24 p45 p189 p168 }) ({p148 p131 p40 p149 p150 p92 p168 p169 p170 p173 p62 p188 p189 p117 p193 } a48 {p128 p148 p149 p150 p14 p50 p168 p169 p170 p173 p24 p188 p189 p74 p193 }) ({p209 p235 p36 p4 p131 p179 p66 p193 } a43 {p131 p175 p218 p30 p191 p47 p52 }) ({p34 } a84 {p31 }) ({p235 p36 p133 p66 p186 p164 p95 p258 } a43 {p182 p159 p149 p143 p218 p30 p47 p98 }) ({p182 p146 p2 p210 p236 p173 p143 p188 p156 p31 p77 } a85 {p145 p170 p183 p86 p186 p12 p213 p29 p157 p231 }) ({p128 p172 p36 p155 p12 p213 p74 p229 p50 } a43 {p169 p222 p236 p131 p40 p92 p152 p47 }) ({p124 p40 p174 p142 p198 p152 p74 p29 p167 } a87 {p172 p147 p131 p40 p19 p161 p110 p144 p177 }) ({p56 p126 p174 p142 p25 p198 p92 p152 p29 p167 } a87 {p57 p128 p172 p147 p19 p161 p42 p113 p144 p177 }) ({p194 p195 p148 p131 p149 p150 p92 p218 p164 p172 p190 p191 p231 p76 } a53 {p194 p195 p125 p128 p235 p148 p149 p150 p164 p172 p210 p190 p74 p191 }) ({p126 p148 p149 p150 p219 p168 p169 p170 p184 p173 p226 p190 p116 p117 } a48 {p126 p37 p148 p149 p150 p168 p221 p169 p170 p173 p185 p24 p189 p116 }) ({p124 p183 p142 p155 p74 p29 p168 } a87 {p169 p183 p147 p131 p19 p110 p162 p144 }) ({p126 p148 p149 p150 p42 p168 p169 p170 p60 p173 p189 p116 p117 } a48 {p126 p148 p149 p150 p45 p168 p169 p56 p170 p173 p24 p189 p116 }) ({p124 p195 p236 p148 p40 p149 p161 p150 p168 p222 p113 p190 p76 } a53 {p195 p126 p125 p148 p149 p150 p162 p12 p50 p167 p110 p213 p190 p229 }) ({p194 p195 p148 p131 p149 p150 p198 p92 p152 p54 p169 p18 p191 p76 } a53 {p194 p195 p125 p128 p148 p245 p149 p150 p172 p201 p155 p74 p191 }) ({p195 p126 p36 p110 p190 p14 p191 p50 } a43 {p124 p195 p40 p62 p113 p190 p47 p191 }) ({p194 p232 p195 p233 p235 p148 p149 p150 p164 p166 p98 p167 p172 p190 p191 p229 p119 p76 } a53 {p194 p232 p195 p233 p125 p235 p148 p149 p133 p150 p164 p166 p167 p172 p105 p190 p191 p229 }) ({p126 p183 p142 p92 p152 p29 p167 } a87 {p183 p128 p172 p147 p19 p161 p113 p144 }) ({p194 p195 p128 p148 p149 p150 p218 p152 p169 p30 p191 p231 p76 } a53 {p194 p195 p125 p2 p235 p128 p148 p149 p150 p172 p210 p66 p155 p191 }) ({p104 p174 p142 p238 p151 p29 } a87 {p104 p147 p19 p144 p200 p177 p154 p239 }) ({p53 p0 p212 p188 p229 p181 } a38 {p195 p222 p183 p111 }) ({p245 p61 } a47 {p54 p256 p117 }) ({p170 p38 p155 p256 p207 p231 } a83 {p169 p34 p2 p210 p237 p156 }) ({p209 p128 p235 p36 p253 p186 p180 p74 } a43 {p182 p194 p131 p9 p92 p218 p47 }) ({p101 p123 p53 p243 p146 } a38 {p158 p145 p214 p178 p20 p108 p150 p187 p111 p165 }) ({p109 p72 } a42 {p36 p129 p89 }) ({p36 p131 p202 p247 p156 p164 p119 } a43 {p170 p159 p58 p131 p22 p211 p47 p119 }) ({p146 p173 p67 p202 p247 p143 p156 p176 p31 p77 } a85 {p145 p170 p178 p58 p86 p203 p249 p29 p157 }) ({p53 p203 p249 p166 p157 } a38 {p160 p173 p67 p111 p27 }) ({p104 p18 p174 p142 p198 p152 p29 p167 } a87 {p104 p172 p147 p19 p161 p144 p177 p32 }) ({p123 p194 p232 p195 p233 p235 p148 p149 p150 p164 p166 p167 p104 p172 p190 p191 p229 p76 } a53 {p194 p232 p195 p233 p125 p235 p148 p149 p150 p164 p166 p167 p172 p108 p116 p190 p191 p229 }) ({p252 p237 p179 p150 p164 p206 p166 p193 p76 } a53 {p125 p150 p240 p175 p164 p191 p166 p207 }) ({p182 p170 p142 p218 p188 p164 p30 p229 p50 p31 } a85 {p170 p222 p183 p235 p40 p142 p66 p186 p164 p29 }) ({p0 p36 p108 p212 p188 p116 p229 p181 } a43 {p123 p195 p104 p222 p183 p47 }) ({p123 p195 p209 p146 p105 p253 p143 p180 p153 p31 } a85 {p194 p158 p145 p0 p108 p212 p29 p119 p181 }) ({p169 p123 p124 p36 p173 p131 p213 p229 p168 } a43 {p169 p123 p124 p222 p236 p173 p131 p47 p168 }) ({p160 p174 p142 p69 p29 } a87 {p79 p147 p160 p19 p144 p177 }) ({p183 p142 p151 p69 p29 } a87 {p79 p183 p147 p19 p144 p154 }) ({p33 p250 } a52 {p171 p254 p76 }) ({p56 p126 p36 p110 p162 p43 p220 p167 } a43 {p124 p161 p42 p113 p47 p168 }) ({p126 p36 p110 p212 p188 p14 p229 p50 p181 } a43 {p124 p195 p222 p183 p40 p62 p113 p47 }) ({p36 p108 p116 p203 p249 p166 p157 } a43 {p123 p104 p160 p173 p67 p27 p47 }) ({p53 p95 p119 p242 } a38 {p196 p105 p149 p143 p111 p163 p199 p176 p153 }) ({p53 p2 p235 p172 p210 p66 p155 } a38 {p169 p111 p218 p152 p30 p231 }) ({p124 p174 p142 p74 p29 p157 } a87 {p147 p131 p19 p110 p144 p177 p157 }) ({p169 p38 p207 p231 } a83 {p169 p34 p210 p237 }) ({p128 p148 p149 p216 p150 p133 p168 p169 p170 p173 p64 p25 p175 p116 p191 p117 } a48 {p233 p128 p148 p149 p179 p150 p133 p206 p168 p169 p170 p57 p173 p24 p116 p257 p193 }) ({p182 p170 p142 p9 p218 p188 p164 p229 p31 } a85 {p170 p222 p183 p235 p142 p186 p164 p29 }) ({p35 p61 } a47 {p43 p48 p117 }) ({p123 p182 p146 p105 p215 p9 p143 p188 p153 p31 } a85 {p158 p145 p183 p108 p217 p186 p29 p119 }) ({p33 p251 } a52 {p163 p258 p76 }) ({p194 p164 p95 p117 p119 p258 p52 } a48 {p209 p159 p105 p4 p149 p143 p24 p180 }) ({p41 } a40 {p59 }) ({p39 } a82 {p38 }) ({p123 p159 p146 p218 p166 p50 p182 p105 p143 p188 p30 p229 p31 } a85 {p145 p222 p183 p235 p160 p40 p108 p66 p186 p164 p29 p119 }) ({p81 p109 } a42 {p36 p95 p118 }) ({p147 p72 p228 p191 p117 p250 } a48 {p204 p171 p252 p129 p148 p142 p179 p151 p69 p24 }) ({p232 p124 p142 p216 p151 p240 p175 p189 p74 p29 } a87 {p233 p147 p223 p184 p131 p19 p110 p144 p154 p193 }) ({p123 p182 p146 p105 p210 p236 p9 p143 p188 p153 p31 } a85 {p158 p145 p183 p108 p186 p213 p29 p119 p231 }) ({p194 p170 p159 p148 p149 p150 p218 p30 p98 p119 p231 p76 } a53 {p194 p125 p2 p235 p148 p149 p133 p150 p164 p105 p210 p66 p156 }) ({p150 p187 p95 p165 p31 p242 } a85 {p101 p243 p196 p149 p163 p29 }) ({p24 } a49 {p91 }) ({p221 p126 p37 p36 p185 p110 p189 } a43 {p124 p184 p113 p226 p219 p190 p47 }) ({p124 p234 p142 p155 p175 p256 p189 p74 p29 p207 p168 } a87 {p169 p147 p184 p131 p237 p19 p110 p225 p162 p43 p144 p193 }) ({p174 p142 p108 p238 p151 p29 } a87 {p147 p19 p108 p144 p200 p177 p154 p239 }) ({p49 } a24 {p51 }) ({p60 p162 p43 p117 p220 p167 } a48 {p161 p24 p45 p168 }) ({p194 p4 p62 p142 p164 p31 } a85 {p194 p142 p164 p14 p29 p52 }) ({p85 } a12 {p11 }) ({p169 p236 p212 p188 p152 p14 p181 p76 } a53 {p195 p183 p125 p172 p62 p155 p12 p213 }) ({p53 p205 p253 p186 p180 } a38 {p182 p194 p215 p9 p111 p230 }) ({p150 p95 p31 p258 } a85 {p101 p149 p7 p29 }) ({p53 p233 p170 p252 p173 p179 p150 p206 p193 } a38 {p170 p173 p216 p150 p240 p175 p111 p191 }) ({p53 p147 p131 p89 p241 } a38 {p171 p148 p174 p142 p238 p151 p111 p74 p192 }) ({p148 p131 p40 p149 p150 p92 p168 p169 p170 p222 p173 p62 p175 p191 p117 } a48 {p128 p148 p149 p179 p150 p14 p50 p168 p169 p170 p173 p24 p212 p74 p229 p193 }) ({p124 p142 p151 p74 p29 p181 } a87 {p147 p131 p19 p110 p144 p181 p154 }) ({p18 p174 p142 p108 p198 p152 p29 p167 } a87 {p172 p147 p19 p108 p161 p144 p177 p32 }) ({p128 p148 p149 p150 p133 p52 p168 p169 p170 p173 p186 p30 p117 p193 } a48 {p128 p148 p4 p149 p150 p133 p168 p169 p170 p173 p66 p186 p24 p193 }) ({p122 } a33 {p127 }) ({p123 p195 p124 p36 p131 p190 p14 p191 p50 } a43 {p123 p195 p124 p40 p62 p131 p190 p47 p191 }) ({p128 p148 p149 p150 p133 p168 p169 p170 p173 p64 p186 p25 p188 p116 p117 p193 } a48 {p128 p148 p149 p150 p133 p168 p169 p170 p57 p173 p186 p24 p188 p116 p257 p193 }) ({p123 p194 p195 p234 p148 p149 p150 p167 p104 p223 p190 p191 p76 } a53 {p232 p194 p195 p125 p148 p149 p150 p167 p108 p225 p116 p190 p191 }) ({p126 p148 p40 p149 p150 p168 p169 p170 p222 p184 p173 p62 p190 p117 } a48 {p126 p148 p149 p150 p14 p50 p168 p169 p170 p173 p185 p24 p212 p189 p229 }) ({p101 p123 p53 p146 p255 p188 } a38 {p158 p145 p183 p108 p150 p217 p111 p165 }) ({p47 } a44 {p46 }) ({p170 p186 p95 p119 p258 p231 p76 } a53 {p182 p125 p2 p105 p210 p149 p143 p156 }) ({p56 p104 p174 p142 p25 p198 p152 p29 p167 } a87 {p104 p57 p172 p147 p19 p161 p42 p144 p177 }) ({p182 p194 p2 p210 p156 p164 p117 p52 } a48 {p170 p209 p159 p4 p186 p24 p180 p231 }) ({p38 p149 p89 p163 p250 } a83 {p251 p34 p171 p148 p95 }) ({p194 p215 p148 p149 p150 p133 p9 p168 p182 p169 p170 p173 p117 p230 } a48 {p205 p148 p149 p150 p133 p180 p168 p169 p170 p173 p253 p186 p24 }) ({p28 } a13 {p115 }) ({p123 p195 p104 p148 p149 p161 p150 p190 p48 p32 p168 p76 } a53 {p35 p195 p125 p148 p149 p108 p150 p162 p116 p190 p220 p167 }) ({p194 p195 p234 p148 p236 p149 p237 p150 p98 p168 p52 p53 p169 p170 p173 p60 p62 p64 p190 p191 p119 p231 } a38 {p194 p195 p234 p148 p236 p149 p237 p133 p150 p168 p52 p169 p170 p105 p173 p60 p62 p64 p111 p190 p191 p231 }) }, initialMarking = {p146 p148 p149 p150 p151 p163 p164 p165 p48 p166 p50 p167 p52 p168 p54 p169 p56 p170 p57 p171 p58 p172 p60 p173 p62 p174 p64 p66 p67 p69 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p85 p238 p186 p187 p188 p189 p190 p116 p191 p118 p192 p119 p193 p121 p194 p123 p195 p124 p196 p126 p128 p129 p130 p131 p133 p134 p136 p138 p140 p142 }, acceptingPlaces = {p84 p88 } );