// Testfile dumped by Ultimate at 2019/12/26 08:13:24 // // BranchingProcess bp = finitePrefix(net); 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 a101 a102 a103 a104 a105 a106 a107 a108 a109 a110 a111 a112 a113 a114 a115 a116 a117 a118 a119 a120 a121 a122 a123 a124 a125 a126 a127 a128 a129 a130 a131 a132 a133 a134 a135 a136 a137 a138 a139 a140 a141 a142 a143 a144 a145 a146 a147 a148 a149 a150 a151 a152 a153 a154 a155 a156 a157 a158 a159 a160 a161 a162 a163 a164 a165 a166 a167 a168 a169 a170 a171 a172 a173 a174 a175 a176 a177 a178 a179 a180 a181 a182 a183 a184 a185 a186 a187 a188 a189 }, 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 }, transitions = { ({p193 p157 p107 p175 p129 p220 p110 p94 p168 p241 p44 p208 p98 p69 p119 } a104 {p47 p172 p194 p174 p103 p231 p30 p160 p89 p218 p108 p219 p133 p93 p167 p188 p95 p96 p144 p209 p243 p122 }) ({p228 p102 p232 p214 p106 p199 p184 p163 p166 p139 p65 p14 p95 p99 p171 p46 p150 } a134 {p173 p101 p229 p106 p215 p161 p200 p183 p203 p135 p186 p12 p95 p169 p68 p148 }) ({p103 p24 p26 p28 p30 p57 p40 p187 p188 p142 p144 p145 p227 p132 } a143 {p228 p103 p24 p26 p28 p30 p87 p62 p187 p188 p142 p144 p145 p46 p132 }) ({p177 p72 p230 p104 p232 p237 p111 p206 p95 p169 p96 p145 p192 p46 p116 } a134 {p177 p229 p104 p237 p60 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p76 p80 p82 p43 p120 } a94 {p36 p25 p76 p80 p84 p120 }) ({p121 p214 p106 p199 p182 p163 p10 p63 p166 p95 p96 p227 p171 p46 p150 } a134 {p71 p177 p173 p121 p77 p106 p215 p161 p200 p221 p203 p95 p169 p96 p18 p148 }) ({p109 p201 p62 p111 p202 p212 p164 p165 p5 p6 p132 } a158 {p109 p201 p111 p202 p10 p164 p165 p65 p214 p69 p132 }) ({p50 p122 } a161 {p35 p122 }) ({p61 p126 } a175 {p126 }) ({p61 p119 } a105 {p43 p119 }) ({p176 p151 p20 p104 p236 p115 p38 p222 p204 p167 p189 p95 p99 p114 } a135 {p176 p151 p104 p236 p115 p38 p222 p204 p167 p189 p95 p99 p114 }) ({p177 p229 p104 p215 p86 p217 p111 p95 p169 p96 p68 p145 p69 p192 p18 p116 } a104 {p177 p230 p213 p104 p232 p111 p11 p95 p66 p169 p96 p145 p192 p116 }) ({p23 p156 } a187 {p156 }) ({p212 p104 p197 p5 p57 p182 p35 p111 p95 p96 p145 p227 p171 p132 } a128 {p177 p173 p104 p237 p87 p37 p221 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p76 p80 p82 p43 p122 } a94 {p36 p25 p76 p80 p84 p122 }) ({p50 p123 } a161 {p35 p123 }) ({p177 p72 p230 p104 p237 p111 p206 p95 p169 p96 p145 p69 p192 p116 } a104 {p177 p72 p230 p104 p237 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p61 p128 } a175 {p128 }) ({p61 p120 } a105 {p43 p120 }) ({p47 p174 p198 p160 p108 p219 p35 p133 p167 p95 p96 p209 p243 p140 } a128 {p174 p121 p106 p219 p200 p238 p110 p39 p167 p207 p95 p96 p149 p154 }) ({p23 p158 } a187 {p158 }) ({p174 p121 p106 p161 p219 p35 p238 p39 p167 p207 p95 p96 p191 p148 } a128 {p174 p121 p106 p219 p238 p163 p39 p166 p167 p207 p95 p96 p191 p158 }) ({p47 p194 p174 p160 p108 p219 p35 p133 p167 p95 p96 p209 p243 p122 } a128 {p174 p121 p106 p219 p238 p110 p39 p167 p207 p95 p96 p191 p149 p112 }) ({p228 p151 p102 p104 p232 p214 p197 p115 p184 p65 p14 p95 p99 p171 p46 p138 } a134 {p173 p101 p229 p155 p104 p215 p127 p183 p186 p12 p95 p169 p68 p192 p134 }) ({p104 p214 p197 p182 p35 p111 p10 p63 p95 p96 p145 p227 p171 p132 } a128 {p71 p177 p173 p104 p77 p215 p221 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p71 p177 p121 p106 p215 p200 p221 p95 p169 p96 p18 p149 p46 p154 } a134 {p71 p177 p121 p106 p215 p200 p221 p95 p169 p96 p18 p149 p154 }) ({p177 p173 p20 p213 p77 p198 p160 p108 p133 p221 p203 p11 p64 p95 p169 p96 p140 } a135 {p121 p214 p106 p217 p199 p182 p110 p10 p63 p95 p96 p227 p171 p149 p143 }) ({p61 p112 } a175 {p112 }) ({p174 p121 p106 p199 p219 p238 p39 p167 p207 p95 p96 p149 p46 p143 } a134 {p174 p121 p106 p219 p200 p238 p203 p39 p167 p207 p95 p96 p149 p154 }) ({p109 p201 p111 p202 p204 p164 p165 p234 p6 p33 p92 } a158 {p109 p201 p111 p202 p204 p164 p165 p234 p69 p33 p92 }) ({p176 p151 p1 p20 p49 p104 p222 p204 p137 p167 p189 p95 p99 p114 } a135 {p176 p151 p104 p222 p204 p167 p139 p189 p141 p95 p17 p99 p70 p114 }) ({p0 p48 p101 p179 p106 p161 p35 p135 p167 p224 p207 p95 p191 p124 } a128 {p176 p102 p22 p106 p163 p222 p166 p167 p139 p207 p95 p191 p17 p99 p70 p156 }) ({p76 p80 p82 p43 p123 } a94 {p36 p25 p76 p80 p84 p123 }) ({p50 p124 } a161 {p35 p124 }) ({p40 p157 p4 p56 p180 p225 p98 p129 p130 } a143 {p100 p103 p28 p83 p159 p181 p58 p8 p131 p187 p144 p226 p46 p136 }) ({p177 p229 p121 p106 p215 p200 p35 p95 p169 p96 p68 p18 p149 p154 } a128 {p177 p121 p73 p230 p232 p106 p215 p200 p95 p169 p96 p18 p149 p154 }) ({p23 p116 } a187 {p116 }) ({p48 p101 p155 p104 p183 p35 p135 p204 p12 p167 p224 p189 p95 p134 } a128 {p151 p21 p102 p104 p222 p204 p185 p167 p139 p189 p95 p99 p70 p152 }) ({p61 p130 } a175 {p130 }) ({p0 p172 p25 p75 p231 p179 p233 p81 p216 p89 p218 p91 p189 p118 } a163 {p172 p20 p22 p75 p231 p233 p81 p216 p89 p218 p91 p183 p12 p189 p134 }) ({p210 p100 p153 p195 p3 p54 p105 p125 p181 p35 p94 p226 p170 p128 } a128 {p19 p151 p72 p230 p104 p115 p109 p201 p185 p164 p93 p206 p95 p169 p99 p192 p152 }) ({p61 p122 } a105 {p43 p122 }) ({p151 p104 p115 p35 p9 p184 p38 p222 p204 p167 p189 p95 p99 p138 } a128 {p19 p151 p104 p115 p38 p222 p204 p185 p186 p167 p189 p95 p99 p152 }) ({p228 p104 p214 p197 p182 p35 p111 p10 p65 p95 p96 p145 p171 p132 } a128 {p177 p173 p73 p230 p104 p215 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p103 p24 p26 p28 p30 p63 p40 p187 p188 p142 p144 p145 p227 p132 } a143 {p228 p103 p24 p77 p26 p28 p30 p187 p65 p188 p142 p144 p145 p46 p132 }) ({p19 p151 p72 p230 p104 p115 p185 p206 p95 p169 p99 p69 p192 p152 } a104 {p19 p151 p72 p230 p104 p115 p185 p206 p95 p169 p99 p192 p152 }) ({p100 p211 p173 p20 p196 p159 p181 p107 p58 p8 p131 p203 p186 p94 p226 p170 p136 } a135 {p228 p214 p106 p199 p184 p163 p93 p139 p65 p14 p95 p99 p171 p150 }) ({p101 p229 p155 p104 p215 p86 p127 p31 p217 p183 p12 p95 p169 p68 p69 p192 p134 } a104 {p151 p102 p230 p213 p104 p232 p115 p185 p95 p66 p169 p15 p99 p192 p152 }) ({p176 p106 p199 p35 p163 p222 p167 p139 p207 p95 p17 p99 p70 p150 } a128 {p176 p106 p200 p163 p203 p222 p167 p139 p207 p95 p17 p99 p70 p158 }) ({p76 p80 p82 p43 p124 } a94 {p36 p25 p76 p80 p84 p124 }) ({p48 p101 p20 p155 p104 p183 p135 p204 p186 p12 p167 p224 p189 p95 p134 } a135 {p151 p102 p104 p184 p222 p204 p167 p139 p14 p189 p95 p99 p70 p138 }) ({p50 p126 } a161 {p35 p126 }) ({p61 p132 } a175 {p132 }) ({p151 p173 p20 p230 p104 p185 p137 p186 p206 p95 p66 p169 p15 p99 p192 p152 } a135 {p228 p151 p212 p104 p197 p86 p31 p184 p139 p65 p14 p141 p95 p99 p171 p138 }) ({p101 p229 p155 p104 p127 p7 p60 p183 p35 p206 p95 p169 p192 p134 } a128 {p19 p151 p72 p102 p230 p104 p232 p115 p185 p206 p95 p169 p99 p192 p152 }) ({p61 p123 } a105 {p43 p123 }) ({p19 p151 p20 p104 p115 p38 p222 p204 p185 p186 p167 p189 p95 p99 p152 } a135 {p151 p104 p115 p9 p184 p38 p222 p204 p167 p189 p95 p99 p138 }) ({p193 p178 p25 p223 p168 p208 p242 p45 p120 } a163 {p172 p211 p20 p196 p233 p181 p32 p58 p91 p218 p8 p226 p170 p136 }) ({p228 p151 p104 p214 p197 p86 p31 p217 p115 p184 p65 p14 p95 p99 p69 p171 p138 } a104 {p151 p173 p230 p213 p104 p115 p185 p186 p95 p66 p169 p15 p99 p192 p152 }) ({p177 p230 p213 p198 p160 p108 p35 p133 p11 p95 p66 p169 p96 p140 } a128 {p177 p121 p73 p230 p106 p215 p86 p217 p200 p110 p95 p169 p96 p18 p149 p154 }) ({p176 p20 p106 p163 p222 p167 p139 p207 p95 p191 p17 p99 p70 p156 } a135 {p176 p106 p163 p222 p167 p139 p207 p95 p191 p17 p99 p70 p156 }) ({p48 p101 p155 p104 p31 p183 p135 p204 p12 p167 p224 p189 p141 p95 p69 p134 } a104 {p151 p49 p102 p104 p222 p204 p185 p137 p167 p189 p95 p15 p99 p152 }) ({p50 p128 } a161 {p35 p128 }) ({p173 p102 p23 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p152 } a180 {p173 p102 p51 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p152 }) ({p101 p20 p155 p104 p127 p7 p183 p204 p186 p167 p224 p189 p95 p42 p134 } a135 {p151 p102 p104 p115 p9 p184 p38 p222 p204 p167 p189 p95 p99 p138 }) ({p61 p134 } a175 {p134 }) ({p61 p124 } a105 {p43 p124 }) ({p174 p121 p106 p219 p200 p238 p163 p39 p166 p167 p207 p95 p96 p46 p158 } a134 {p174 p121 p106 p161 p219 p200 p238 p39 p167 p207 p95 p96 p148 }) ({p100 p211 p196 p159 p181 p107 p58 p8 p131 p35 p94 p226 p170 p136 } a128 {p21 p73 p230 p106 p215 p200 p163 p185 p93 p139 p95 p169 p99 p158 }) ({p177 p230 p213 p104 p232 p111 p11 p95 p66 p169 p96 p145 p192 p46 p116 } a134 {p177 p229 p104 p215 p86 p217 p111 p95 p169 p96 p68 p145 p192 p18 p116 }) ({p101 p155 p104 p127 p7 p183 p35 p204 p167 p224 p189 p95 p42 p134 } a128 {p19 p151 p102 p104 p115 p38 p222 p204 p185 p167 p189 p95 p99 p152 }) ({p177 p213 p104 p221 p111 p11 p64 p95 p169 p96 p145 p192 p46 p116 } a134 {p71 p177 p104 p215 p217 p221 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p177 p229 p104 p237 p60 p35 p111 p206 p95 p169 p96 p145 p192 p116 } a128 {p177 p72 p230 p104 p232 p237 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p71 p177 p121 p106 p215 p217 p200 p110 p221 p95 p169 p96 p69 p18 p149 p154 } a104 {p177 p213 p198 p160 p108 p133 p221 p11 p64 p95 p169 p96 p140 }) ({p177 p173 p20 p104 p237 p87 p37 p221 p111 p206 p95 p169 p96 p145 p192 p116 } a135 {p212 p104 p197 p5 p57 p182 p111 p95 p96 p145 p227 p171 p132 }) ({p50 p130 } a161 {p35 p130 }) ({p173 p102 p23 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p154 } a180 {p173 p102 p51 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p154 }) ({p23 p117 } a187 {p117 }) ({p210 p100 p153 p102 p195 p3 p54 p232 p105 p125 p181 p94 p226 p170 p46 p128 } a134 {p101 p229 p155 p104 p127 p7 p60 p183 p109 p201 p164 p93 p206 p95 p169 p192 p134 }) ({p176 p20 p106 p200 p163 p203 p222 p167 p139 p207 p95 p17 p99 p70 p158 } a135 {p176 p106 p199 p163 p222 p167 p139 p207 p95 p17 p99 p70 p150 }) ({p61 p136 } a175 {p136 }) ({p176 p1 p49 p102 p22 p198 p108 p162 p222 p137 p166 p167 p95 p99 p209 p46 p146 } a134 {p0 p48 p101 p179 p106 p161 p200 p110 p135 p167 p224 p207 p141 p95 p148 }) ({p61 p126 } a105 {p43 p126 }) ({p34 p220 p164 p235 p40 p27 p81 p233 p113 p98 p175 p147 p97 } a143 {p100 p153 p103 p75 p178 p26 p231 p125 p165 p239 p223 p41 p188 p142 p46 p117 }) ({p173 p101 p229 p20 p155 p104 p183 p135 p186 p12 p206 p95 p169 p68 p192 p134 } a135 {p228 p151 p212 p102 p104 p232 p197 p184 p139 p65 p14 p95 p99 p171 p138 }) ({p176 p151 p102 p104 p236 p29 p115 p38 p222 p204 p167 p189 p95 p99 p46 p114 } a134 {p101 p155 p104 p179 p127 p204 p167 p240 p224 p189 p95 p42 p118 }) ({p151 p104 p115 p35 p184 p38 p222 p204 p167 p14 p189 p95 p99 p138 } a128 {p151 p21 p104 p115 p38 p222 p204 p185 p186 p167 p189 p95 p99 p152 }) ({p176 p151 p1 p49 p104 p35 p222 p204 p137 p167 p189 p95 p99 p114 } a128 {p176 p151 p104 p222 p204 p167 p139 p189 p141 p95 p17 p99 p70 p114 }) ({p76 p80 p84 p43 p88 } a91 {p76 p80 p55 p84 p88 }) ({p0 p48 p101 p20 p155 p104 p179 p135 p204 p167 p224 p189 p95 p118 } a135 {p176 p151 p102 p22 p104 p222 p204 p167 p139 p189 p95 p17 p99 p70 p114 }) ({p61 p114 } a175 {p114 }) ({p61 p92 } a175 {p92 }) ({p0 p48 p101 p20 p179 p106 p161 p200 p203 p135 p167 p224 p207 p95 p148 } a135 {p176 p102 p22 p106 p199 p163 p222 p166 p167 p139 p207 p95 p17 p99 p70 p150 }) ({p50 p132 } a161 {p35 p132 }) ({p173 p102 p23 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p156 } a180 {p173 p102 p51 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p156 }) ({p212 p104 p197 p5 p57 p182 p111 p95 p96 p145 p227 p171 p46 p132 } a134 {p177 p173 p104 p237 p87 p37 p221 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p23 p118 } a187 {p118 }) ({p177 p73 p230 p104 p215 p86 p217 p111 p95 p169 p96 p145 p69 p192 p18 p116 } a104 {p177 p230 p213 p104 p111 p11 p95 p66 p169 p96 p145 p192 p116 }) ({p61 p138 } a175 {p138 }) ({p61 p128 } a105 {p43 p128 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p40 p187 p188 p142 p144 p149 p112 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p187 p188 p142 p144 p149 p46 p112 }) ({p0 p48 p101 p155 p104 p179 p135 p204 p167 p224 p189 p141 p95 p69 p118 } a104 {p176 p151 p1 p49 p102 p22 p104 p222 p204 p137 p167 p189 p95 p99 p114 }) ({p211 p196 p157 p4 p56 p180 p107 p217 p129 p110 p94 p225 p98 p170 p69 p130 } a104 {p177 p103 p213 p28 p83 p198 p160 p108 p133 p221 p11 p93 p64 p187 p95 p169 p96 p144 p140 }) ({p47 p174 p198 p160 p108 p219 p133 p167 p95 p96 p209 p243 p46 p140 } a134 {p174 p121 p106 p219 p200 p238 p110 p39 p167 p207 p95 p96 p149 p154 }) ({p177 p229 p121 p106 p215 p86 p217 p200 p110 p95 p169 p96 p68 p69 p18 p149 p154 } a104 {p177 p230 p213 p232 p198 p160 p108 p133 p11 p95 p66 p169 p96 p140 }) ({p61 p112 } a105 {p43 p112 }) ({p210 p153 p195 p3 p54 p105 p125 p6 p128 } a158 {p109 p201 p211 p164 p196 p159 p107 p69 p58 p8 p131 p136 }) ({p172 p174 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p191 p156 } a163 {p172 p174 p20 p22 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p191 p156 }) ({p50 p134 } a161 {p35 p134 }) ({p173 p102 p23 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p158 } a180 {p173 p102 p51 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p158 }) ({p176 p151 p20 p104 p222 p204 p167 p139 p189 p95 p17 p99 p70 p114 } a135 {p176 p151 p104 p222 p204 p167 p139 p189 p95 p17 p99 p70 p114 }) ({p47 p194 p174 p160 p108 p219 p133 p167 p95 p96 p209 p243 p46 p122 } a134 {p174 p121 p106 p219 p238 p110 p39 p167 p207 p95 p96 p191 p149 p112 }) ({p23 p119 } a187 {p119 }) ({p104 p214 p197 p182 p111 p10 p63 p95 p96 p145 p227 p171 p46 p132 } a134 {p71 p177 p173 p104 p77 p215 p221 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p174 p104 p234 p33 p219 p111 p204 p167 p189 p95 p96 p145 p46 p92 } a134 {p174 p104 p234 p33 p219 p111 p204 p167 p189 p95 p96 p145 p92 }) ({p61 p140 } a175 {p140 }) ({p109 p19 p201 p72 p202 p164 p165 p206 p6 p115 p152 } a158 {p109 p19 p201 p72 p202 p164 p165 p206 p69 p115 p152 }) ({p61 p130 } a105 {p43 p130 }) ({p121 p214 p106 p199 p182 p35 p10 p63 p95 p96 p227 p171 p149 p143 } a128 {p71 p177 p173 p121 p77 p106 p215 p200 p221 p203 p95 p169 p96 p18 p149 p154 }) ({p100 p211 p102 p196 p232 p159 p181 p107 p58 p8 p131 p166 p94 p226 p170 p46 p136 } a134 {p101 p229 p106 p215 p161 p200 p183 p135 p93 p12 p95 p169 p68 p148 }) ({p151 p21 p73 p102 p230 p104 p232 p215 p115 p185 p95 p169 p99 p192 p46 p152 } a134 {p101 p229 p155 p104 p215 p127 p183 p12 p95 p169 p68 p192 p134 }) ({p173 p102 p23 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p116 } a180 {p173 p102 p51 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p116 }) ({p176 p151 p104 p222 p204 p167 p139 p189 p141 p95 p17 p99 p69 p70 p114 } a104 {p176 p151 p1 p49 p104 p222 p204 p137 p167 p189 p95 p99 p114 }) ({p109 p19 p201 p202 p38 p204 p164 p165 p6 p115 p152 } a158 {p109 p19 p201 p202 p38 p204 p164 p165 p69 p115 p152 }) ({p50 p136 } a161 {p35 p136 }) ({p47 p174 p198 p108 p219 p162 p35 p133 p167 p95 p96 p209 p243 p146 } a128 {p174 p121 p106 p219 p200 p238 p110 p163 p39 p167 p207 p95 p96 p158 }) ({p23 p120 } a187 {p120 }) ({p228 p121 p214 p106 p199 p182 p35 p10 p65 p95 p96 p171 p149 p143 } a128 {p177 p173 p121 p73 p230 p106 p215 p200 p203 p95 p169 p96 p18 p149 p154 }) ({p48 p101 p106 p31 p161 p183 p110 p135 p12 p167 p224 p207 p141 p95 p191 p69 p148 } a104 {p194 p49 p102 p108 p162 p222 p185 p137 p166 p167 p95 p15 p99 p209 p146 }) ({p61 p143 } a175 {p143 }) ({p61 p132 } a105 {p43 p132 }) ({p194 p49 p108 p162 p35 p222 p185 p137 p167 p95 p15 p99 p209 p146 } a128 {p21 p106 p31 p110 p163 p222 p185 p167 p139 p207 p141 p95 p191 p99 p70 p158 }) ({p67 } a30 {p61 }) ({p228 p104 p214 p197 p86 p217 p182 p111 p10 p65 p95 p96 p145 p69 p171 p132 } a104 {p177 p173 p230 p213 p104 p111 p11 p95 p66 p169 p96 p145 p192 p116 }) ({p50 p114 } a161 {p35 p114 }) ({p109 p201 p202 p38 p204 p164 p165 p236 p6 p115 p114 } a158 {p109 p201 p202 p38 p204 p164 p165 p236 p69 p115 p114 }) ({p174 p121 p106 p199 p219 p35 p238 p163 p39 p167 p207 p95 p96 p150 } a128 {p174 p121 p106 p219 p200 p238 p163 p203 p39 p167 p207 p95 p96 p158 }) ({p177 p173 p20 p213 p77 p198 p108 p162 p133 p221 p203 p11 p64 p95 p169 p96 p146 } a135 {p121 p214 p106 p217 p199 p182 p110 p163 p10 p63 p95 p96 p227 p171 p150 }) ({p177 p229 p104 p237 p35 p111 p206 p95 p169 p96 p68 p145 p192 p116 } a128 {p177 p73 p230 p104 p232 p237 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p50 p138 } a161 {p35 p138 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p40 p187 p188 p142 p144 p145 p92 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p187 p188 p142 p144 p145 p46 p92 }) ({p23 p122 } a187 {p122 }) ({p103 p24 p26 p28 p30 p63 p40 p187 p188 p142 p144 p227 p149 p143 } a143 {p228 p103 p24 p77 p26 p28 p30 p187 p65 p188 p142 p144 p149 p46 p143 }) ({p0 p172 p25 p75 p231 p179 p233 p81 p216 p89 p218 p91 p191 p124 } a163 {p172 p20 p22 p75 p231 p233 p81 p216 p89 p218 p91 p183 p12 p191 p148 }) ({p228 p212 p104 p197 p5 p182 p35 p62 p111 p95 p96 p145 p171 p132 } a128 {p177 p72 p173 p230 p104 p237 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p61 p146 } a175 {p146 }) ({p174 p121 p20 p106 p219 p238 p163 p39 p167 p207 p95 p96 p191 p158 } a135 {p174 p121 p106 p219 p238 p163 p39 p167 p207 p95 p96 p191 p150 }) ({p61 p134 } a105 {p43 p134 }) ({p151 p21 p73 p230 p104 p215 p86 p31 p217 p115 p185 p95 p169 p99 p69 p192 p152 } a104 {p151 p230 p213 p104 p115 p185 p95 p66 p169 p15 p99 p192 p152 }) ({p0 p48 p101 p155 p104 p179 p35 p135 p204 p167 p224 p189 p95 p118 } a128 {p176 p151 p102 p22 p104 p222 p204 p167 p139 p189 p95 p17 p99 p70 p114 }) ({p76 p78 p43 p97 } a93 {p36 p76 p80 p6 p97 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p160 p87 p89 p219 p40 p187 p188 p142 p144 p122 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p162 p187 p188 p142 p144 p46 p123 }) ({p173 p20 p230 p213 p198 p108 p162 p203 p185 p137 p186 p95 p66 p169 p15 p99 p146 } a135 {p228 p214 p106 p86 p31 p217 p199 p110 p184 p163 p139 p65 p14 p141 p95 p99 p171 p150 }) ({p76 p80 p82 p43 p114 } a94 {p36 p25 p76 p80 p84 p114 }) ({p100 p193 p178 p159 p107 p131 p110 p223 p94 p168 p141 p208 p242 p69 p45 p120 } a104 {p176 p172 p1 p194 p49 p233 p32 p91 p218 p108 p162 p222 p137 p93 p167 p95 p99 p209 p123 }) ({p174 p121 p20 p106 p219 p238 p163 p39 p167 p207 p95 p96 p191 p156 } a135 {p174 p121 p106 p219 p238 p163 p39 p167 p207 p95 p96 p191 p156 }) ({p194 p20 p49 p108 p162 p222 p185 p137 p186 p167 p95 p15 p99 p209 p146 } a135 {p106 p31 p110 p184 p163 p222 p167 p139 p14 p207 p141 p95 p191 p99 p70 p150 }) ({p48 p101 p106 p161 p183 p35 p135 p12 p167 p224 p207 p95 p191 p148 } a128 {p21 p102 p106 p163 p222 p185 p166 p167 p139 p207 p95 p191 p99 p70 p158 }) ({p50 p140 } a161 {p35 p140 }) ({p176 p1 p49 p198 p108 p162 p35 p222 p137 p167 p95 p99 p209 p146 } a128 {p176 p106 p200 p110 p163 p222 p167 p139 p207 p141 p95 p17 p99 p70 p158 }) ({p23 p123 } a187 {p123 }) ({p21 p106 p31 p110 p163 p222 p185 p167 p139 p207 p141 p95 p191 p99 p69 p70 p158 } a104 {p194 p49 p108 p162 p222 p185 p137 p167 p95 p15 p99 p209 p146 }) ({p61 p148 } a175 {p148 }) ({p61 p136 } a105 {p43 p136 }) ({p210 p100 p173 p20 p153 p195 p3 p54 p105 p125 p181 p186 p94 p226 p170 p128 } a135 {p228 p151 p212 p104 p197 p115 p109 p9 p201 p62 p184 p164 p93 p95 p99 p171 p138 }) ({p176 p151 p104 p35 p222 p204 p167 p139 p189 p95 p17 p99 p70 p114 } a128 {p176 p151 p104 p222 p204 p167 p139 p189 p95 p17 p99 p70 p114 }) ({p177 p104 p237 p37 p221 p111 p206 p95 p169 p96 p145 p192 p46 p116 } a134 {p177 p104 p237 p37 p221 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p61 p114 } a105 {p43 p114 }) ({p210 p173 p20 p2 p195 p53 p105 p180 p87 p94 p225 p113 p98 p170 p147 p126 } a135 {p212 p103 p24 p104 p79 p197 p5 p57 p182 p109 p201 p111 p165 p93 p187 p95 p142 p96 p145 p227 p171 p132 }) ({p109 p201 p202 p204 p164 p22 p165 p240 p42 p127 p6 p118 } a158 {p109 p0 p201 p48 p202 p135 p204 p164 p165 p29 p69 p118 }) ({p61 p92 } a105 {p43 p92 }) ({p230 p213 p198 p108 p162 p35 p185 p137 p95 p66 p169 p15 p99 p146 } a128 {p21 p73 p230 p106 p215 p86 p31 p217 p200 p110 p163 p185 p139 p141 p95 p169 p99 p158 }) ({p228 p151 p212 p104 p197 p35 p184 p139 p65 p14 p95 p99 p171 p138 } a128 {p151 p173 p21 p73 p230 p104 p185 p186 p206 p139 p95 p169 p99 p192 p152 }) ({p174 p121 p20 p106 p219 p200 p238 p163 p203 p39 p167 p207 p95 p96 p158 } a135 {p174 p121 p106 p199 p219 p238 p163 p39 p167 p207 p95 p96 p150 }) ({p50 p143 } a161 {p35 p143 }) ({p23 p124 } a187 {p124 }) ({p71 p177 p173 p121 p20 p77 p106 p215 p161 p200 p221 p203 p95 p169 p96 p18 p148 } a135 {p121 p214 p106 p199 p182 p163 p10 p63 p166 p95 p96 p227 p171 p150 }) ({p174 p121 p106 p161 p219 p200 p35 p238 p39 p167 p207 p95 p96 p148 } a128 {p174 p121 p106 p219 p200 p238 p163 p39 p166 p167 p207 p95 p96 p158 }) ({p34 p235 p205 p105 p30 p190 p144 p113 p89 p6 p218 p147 p97 } a158 {p193 p75 p26 p157 p216 p107 p129 p109 p202 p165 p142 p241 p44 p208 p69 p119 }) ({p61 p150 } a175 {p150 }) ({p100 p193 p102 p22 p178 p159 p107 p131 p166 p223 p94 p168 p208 p242 p45 p46 p120 } a134 {p0 p172 p48 p101 p179 p233 p106 p32 p91 p218 p161 p135 p93 p167 p224 p207 p95 p191 p124 }) ({p61 p138 } a105 {p43 p138 }) ({p228 p151 p212 p104 p197 p115 p35 p9 p62 p184 p95 p99 p171 p138 } a128 {p19 p151 p72 p173 p230 p104 p115 p185 p186 p206 p95 p169 p99 p192 p152 }) ({p210 p2 p195 p53 p105 p180 p35 p94 p225 p113 p98 p170 p147 p126 } a128 {p177 p103 p24 p104 p79 p237 p109 p37 p201 p221 p111 p165 p93 p206 p187 p95 p169 p142 p96 p145 p192 p116 }) ({p104 p214 p197 p217 p182 p111 p10 p63 p95 p96 p145 p69 p227 p171 p132 } a104 {p177 p173 p213 p104 p77 p221 p111 p11 p64 p95 p169 p96 p145 p192 p116 }) ({p48 p101 p20 p106 p161 p183 p135 p186 p12 p167 p224 p207 p95 p191 p148 } a135 {p102 p106 p184 p163 p222 p166 p167 p139 p14 p207 p95 p191 p99 p70 p150 }) ({p176 p172 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p189 p114 } a163 {p176 p172 p20 p22 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p189 p114 }) ({p101 p155 p104 p179 p127 p204 p167 p240 p224 p189 p95 p42 p69 p118 } a104 {p176 p151 p102 p104 p236 p29 p115 p38 p222 p204 p167 p189 p95 p99 p114 }) ({p174 p121 p106 p219 p35 p238 p163 p39 p167 p207 p95 p96 p191 p150 } a128 {p174 p121 p106 p219 p238 p163 p39 p167 p207 p95 p96 p191 p158 }) ({p173 p101 p229 p20 p155 p104 p127 p7 p60 p183 p186 p206 p95 p169 p192 p134 } a135 {p228 p151 p212 p102 p104 p232 p197 p115 p9 p62 p184 p95 p99 p171 p138 }) ({p228 p151 p212 p104 p197 p86 p31 p184 p139 p65 p14 p141 p95 p99 p69 p171 p138 } a104 {p151 p173 p230 p104 p185 p137 p186 p206 p95 p66 p169 p15 p99 p192 p152 }) ({p177 p213 p198 p160 p108 p35 p133 p221 p11 p64 p95 p169 p96 p140 } a128 {p71 p177 p121 p106 p215 p217 p200 p110 p221 p95 p169 p96 p18 p149 p154 }) ({p61 p97 } a175 {p97 }) ({p109 p201 p202 p204 p164 p165 p42 p127 p7 p6 p134 } a158 {p109 p201 p48 p202 p135 p204 p164 p165 p12 p69 p134 }) ({p101 p229 p106 p215 p86 p31 p217 p161 p200 p183 p110 p135 p12 p141 p95 p169 p68 p69 p148 } a104 {p102 p230 p213 p232 p198 p108 p162 p185 p137 p166 p95 p66 p169 p15 p99 p146 }) ({p71 p177 p173 p121 p20 p77 p106 p215 p200 p221 p203 p95 p169 p96 p18 p149 p154 } a135 {p121 p214 p106 p199 p182 p10 p63 p95 p96 p227 p171 p149 p143 }) ({p50 p146 } a161 {p35 p146 }) ({p23 p126 } a187 {p126 }) ({p61 p152 } a175 {p152 }) ({p21 p73 p230 p106 p215 p86 p31 p217 p200 p110 p163 p185 p139 p141 p95 p169 p99 p69 p158 } a104 {p230 p213 p198 p108 p162 p185 p137 p95 p66 p169 p15 p99 p146 }) ({p106 p31 p110 p184 p163 p222 p167 p139 p14 p207 p141 p95 p191 p99 p69 p70 p150 } a104 {p194 p49 p108 p162 p222 p185 p137 p186 p167 p95 p15 p99 p209 p146 }) ({p100 p153 p178 p105 p125 p35 p205 p239 p223 p94 p41 p168 p190 p117 } a128 {p176 p172 p151 p104 p27 p81 p236 p233 p216 p115 p109 p202 p38 p222 p204 p164 p93 p167 p189 p95 p99 p114 }) ({p61 p140 } a105 {p43 p140 }) ({p174 p121 p106 p219 p200 p35 p238 p39 p167 p207 p95 p96 p149 p154 } a128 {p174 p121 p106 p219 p200 p238 p39 p167 p207 p95 p96 p149 p154 }) ({p172 p174 p103 p104 p52 p216 p219 p109 p111 p188 p189 p142 p145 p75 p26 p231 p234 p33 p202 p204 p165 p93 p167 p95 p96 p92 } a189 {p105 p175 p34 p220 p235 p205 p94 p13 p168 p190 p113 p98 p147 p97 }) ({p60 p109 p201 p111 p202 p164 p165 p206 p237 p6 p116 } a158 {p109 p201 p111 p202 p164 p165 p206 p237 p68 p69 p116 }) ({p177 p121 p73 p230 p106 p215 p86 p217 p200 p110 p95 p169 p96 p69 p18 p149 p154 } a104 {p177 p230 p213 p198 p160 p108 p133 p11 p95 p66 p169 p96 p140 }) ({p121 p214 p106 p199 p182 p10 p63 p95 p96 p227 p171 p149 p46 p143 } a134 {p71 p177 p173 p121 p77 p106 p215 p200 p221 p203 p95 p169 p96 p18 p149 p154 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p40 p187 p188 p142 p144 p149 p143 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p187 p188 p142 p144 p149 p46 p143 }) ({p228 p121 p214 p106 p86 p217 p199 p182 p110 p10 p65 p95 p96 p69 p171 p149 p143 } a104 {p177 p173 p230 p213 p198 p160 p108 p133 p203 p11 p95 p66 p169 p96 p140 }) ({p220 p40 p157 p233 p241 p44 p98 p32 p175 p129 p91 p119 } a143 {p100 p103 p178 p231 p159 p30 p89 p131 p223 p188 p144 p242 p45 p46 p120 }) ({p151 p21 p73 p230 p104 p86 p31 p185 p206 p139 p141 p95 p169 p99 p69 p192 p152 } a104 {p151 p230 p104 p185 p137 p206 p95 p66 p169 p15 p99 p192 p152 }) ({p50 p148 } a161 {p35 p148 }) ({p23 p128 } a187 {p128 }) ({p61 p154 } a175 {p154 }) ({p176 p102 p22 p106 p200 p163 p222 p166 p167 p139 p207 p95 p17 p99 p70 p46 p158 } a134 {p0 p48 p101 p179 p106 p161 p200 p135 p167 p224 p207 p95 p148 }) ({p16 } a13 {p67 }) ({p61 p143 } a105 {p43 p143 }) ({p174 p121 p20 p106 p219 p238 p39 p167 p207 p95 p96 p191 p149 p112 } a135 {p174 p121 p106 p219 p238 p39 p167 p207 p95 p96 p191 p149 p112 }) ({p151 p230 p213 p104 p115 p35 p185 p95 p66 p169 p15 p99 p192 p152 } a128 {p151 p21 p73 p230 p104 p215 p86 p31 p217 p115 p185 p95 p169 p99 p192 p152 }) ({p210 p2 p195 p53 p105 p28 p83 p144 p113 p6 p147 p126 } a158 {p211 p24 p196 p79 p157 p4 p56 p107 p129 p109 p201 p165 p142 p69 p130 }) ({p21 p20 p106 p163 p222 p185 p186 p167 p139 p207 p95 p191 p99 p70 p158 } a135 {p106 p184 p163 p222 p167 p139 p14 p207 p95 p191 p99 p70 p150 }) ({p76 p80 p84 p43 p85 } a95 {p36 p50 p76 p80 p84 p88 }) ({p177 p73 p230 p104 p232 p215 p111 p95 p169 p96 p145 p192 p18 p46 p116 } a134 {p177 p229 p104 p215 p111 p95 p169 p96 p68 p145 p192 p18 p116 }) ({p212 p104 p197 p5 p57 p182 p111 p95 p96 p145 p69 p227 p171 p132 } a104 {p177 p173 p104 p237 p87 p37 p221 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p100 p153 p102 p178 p105 p125 p29 p205 p239 p223 p94 p41 p168 p190 p46 p117 } a134 {p172 p101 p155 p104 p27 p179 p81 p233 p127 p216 p109 p202 p204 p164 p93 p167 p240 p224 p189 p95 p42 p118 }) ({p23 p112 } a187 {p112 }) ({p47 p174 p20 p198 p160 p108 p219 p133 p203 p167 p95 p96 p209 p243 p140 } a135 {p174 p121 p106 p199 p219 p238 p110 p39 p167 p207 p95 p96 p149 p143 }) ({p59 } a160 {p61 }) ({p211 p173 p20 p77 p196 p157 p4 p56 p180 p107 p129 p203 p94 p225 p98 p170 p130 } a135 {p121 p103 p214 p28 p106 p83 p199 p182 p10 p63 p93 p187 p95 p96 p144 p227 p171 p149 p143 }) ({p176 p1 p194 p49 p102 p22 p108 p162 p222 p137 p166 p167 p95 p99 p209 p46 p123 } a134 {p0 p48 p101 p179 p106 p161 p110 p135 p167 p224 p207 p141 p95 p191 p124 }) ({p71 p177 p121 p106 p215 p200 p221 p163 p166 p95 p169 p96 p18 p46 p158 } a134 {p71 p177 p121 p106 p215 p161 p200 p221 p95 p169 p96 p18 p148 }) ({p50 p150 } a161 {p35 p150 }) ({p106 p35 p184 p163 p222 p167 p139 p14 p207 p95 p191 p99 p70 p150 } a128 {p21 p106 p163 p222 p185 p186 p167 p139 p207 p95 p191 p99 p70 p158 }) ({p23 p130 } a187 {p130 }) ({p176 p172 p194 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p123 } a163 {p176 p172 p20 p22 p75 p231 p26 p27 p233 p81 p29 p198 p30 p216 p32 p89 p218 p91 p146 }) ({p102 p230 p213 p232 p198 p108 p162 p185 p137 p166 p95 p66 p169 p15 p99 p46 p146 } a134 {p101 p229 p106 p215 p86 p31 p217 p161 p200 p183 p110 p135 p12 p141 p95 p169 p68 p148 }) ({p47 p174 p198 p108 p219 p162 p133 p166 p167 p95 p96 p209 p243 p46 p146 } a134 {p174 p121 p106 p161 p219 p200 p238 p110 p39 p167 p207 p95 p96 p148 }) ({p34 p220 p201 p235 p24 p205 p25 p187 p79 p168 p190 p175 p97 } a163 {p210 p172 p20 p2 p195 p53 p75 p26 p231 p180 p216 p202 p188 p225 p170 p126 }) ({p61 p156 } a175 {p156 }) ({p71 p177 p104 p215 p35 p221 p111 p95 p169 p96 p145 p192 p18 p116 } a128 {p71 p177 p104 p215 p221 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p228 p151 p212 p102 p104 p232 p197 p115 p9 p62 p184 p95 p99 p171 p46 p138 } a134 {p173 p101 p229 p155 p104 p127 p7 p60 p183 p186 p206 p95 p169 p192 p134 }) ({p61 p146 } a105 {p43 p146 }) ({p174 p104 p234 p33 p219 p111 p204 p167 p189 p95 p96 p145 p69 p92 } a104 {p174 p104 p234 p33 p219 p111 p204 p167 p189 p95 p96 p145 p92 }) ({p50 p97 } a161 {p35 p97 }) ({p174 p121 p106 p199 p219 p238 p163 p39 p166 p167 p207 p95 p96 p46 p150 } a134 {p174 p121 p106 p161 p219 p200 p238 p203 p39 p167 p207 p95 p96 p148 }) ({p50 p152 } a161 {p35 p152 }) ({p23 p132 } a187 {p132 }) ({p61 p158 } a175 {p158 }) ({p61 p148 } a105 {p43 p148 }) ({p151 p104 p115 p9 p184 p38 p222 p204 p167 p189 p95 p99 p69 p138 } a104 {p19 p151 p104 p115 p38 p222 p204 p185 p186 p167 p189 p95 p99 p152 }) ({p173 p101 p229 p20 p106 p215 p161 p200 p183 p203 p135 p186 p12 p95 p169 p68 p148 } a135 {p228 p102 p232 p214 p106 p199 p184 p163 p166 p139 p65 p14 p95 p99 p171 p150 }) ({p76 p80 p82 p43 p97 } a94 {p36 p25 p76 p80 p84 p97 }) ({p121 p214 p106 p217 p199 p182 p110 p10 p63 p95 p96 p69 p227 p171 p149 p143 } a104 {p177 p173 p213 p77 p198 p160 p108 p133 p221 p203 p11 p64 p95 p169 p96 p140 }) ({p61 p116 } a175 {p116 }) ({p173 p21 p20 p73 p230 p106 p215 p200 p163 p203 p185 p186 p139 p95 p169 p99 p158 } a135 {p228 p214 p106 p199 p184 p163 p139 p65 p14 p95 p99 p171 p150 }) ({p74 p43 p97 } a92 {p36 p76 p40 p97 }) ({p174 p121 p106 p219 p238 p163 p39 p166 p167 p207 p95 p96 p191 p46 p156 } a134 {p174 p121 p106 p161 p219 p238 p39 p167 p207 p95 p96 p191 p124 }) ({p228 p104 p232 p214 p197 p182 p111 p10 p65 p95 p96 p145 p171 p46 p132 } a134 {p177 p173 p229 p104 p215 p111 p95 p169 p96 p68 p145 p192 p18 p116 }) ({p50 p154 } a161 {p35 p154 }) ({p174 p121 p20 p106 p161 p219 p238 p39 p167 p207 p95 p96 p191 p124 } a135 {p174 p121 p106 p219 p238 p163 p39 p166 p167 p207 p95 p96 p191 p156 }) ({p23 p134 } a187 {p134 }) ({p151 p49 p104 p35 p222 p204 p185 p137 p167 p189 p95 p15 p99 p152 } a128 {p151 p21 p104 p31 p222 p204 p185 p167 p139 p189 p141 p95 p99 p70 p152 }) ({p101 p229 p155 p104 p127 p7 p60 p183 p206 p95 p169 p69 p192 p134 } a104 {p19 p151 p72 p102 p230 p104 p232 p115 p185 p206 p95 p169 p99 p192 p152 }) ({p61 p150 } a105 {p43 p150 }) ({p76 p78 p43 p117 } a93 {p36 p76 p80 p6 p117 }) ({p177 p229 p104 p237 p86 p111 p206 p95 p169 p96 p68 p145 p69 p192 p116 } a104 {p177 p230 p104 p232 p237 p111 p206 p95 p66 p169 p96 p145 p192 p116 }) ({p19 p151 p104 p115 p38 p222 p204 p185 p167 p189 p95 p99 p69 p152 } a104 {p19 p151 p104 p115 p38 p222 p204 p185 p167 p189 p95 p99 p152 }) ({p177 p230 p213 p104 p35 p111 p11 p95 p66 p169 p96 p145 p192 p116 } a128 {p177 p73 p230 p104 p215 p86 p217 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p47 p194 p174 p20 p108 p219 p162 p133 p167 p95 p96 p209 p243 p123 } a135 {p174 p121 p106 p219 p238 p110 p163 p39 p167 p207 p95 p96 p191 p156 }) ({p176 p151 p104 p236 p115 p38 p222 p204 p167 p189 p95 p99 p69 p114 } a104 {p176 p151 p104 p236 p115 p38 p222 p204 p167 p189 p95 p99 p114 }) ({p220 p193 p25 p187 p28 p168 p83 p241 p44 p208 p175 p119 } a163 {p172 p211 p20 p231 p196 p4 p56 p180 p30 p89 p218 p188 p225 p170 p130 }) ({p61 p97 } a105 {p43 p97 }) ({p151 p20 p49 p104 p222 p204 p185 p137 p186 p167 p189 p95 p15 p99 p152 } a135 {p151 p104 p31 p184 p222 p204 p167 p139 p14 p189 p141 p95 p99 p70 p138 }) ({p101 p229 p106 p215 p161 p200 p183 p35 p135 p12 p95 p169 p68 p148 } a128 {p21 p73 p102 p230 p232 p106 p215 p200 p163 p185 p166 p139 p95 p169 p99 p158 }) ({p177 p230 p213 p232 p198 p160 p108 p133 p11 p95 p66 p169 p96 p46 p140 } a134 {p177 p229 p121 p106 p215 p86 p217 p200 p110 p95 p169 p96 p68 p18 p149 p154 }) ({p23 p136 } a187 {p136 }) ({p228 p214 p106 p86 p31 p217 p199 p110 p184 p163 p139 p65 p14 p141 p95 p99 p69 p171 p150 } a104 {p173 p230 p213 p198 p108 p162 p203 p185 p137 p186 p95 p66 p169 p15 p99 p146 }) ({p101 p155 p104 p127 p7 p183 p204 p167 p224 p189 p95 p42 p69 p134 } a104 {p19 p151 p102 p104 p115 p38 p222 p204 p185 p167 p189 p95 p99 p152 }) ({p177 p213 p198 p160 p108 p133 p221 p11 p64 p95 p169 p96 p46 p140 } a134 {p71 p177 p121 p106 p215 p217 p200 p110 p221 p95 p169 p96 p18 p149 p154 }) ({p61 p152 } a105 {p43 p152 }) ({p76 p78 p43 p118 } a93 {p36 p76 p80 p6 p118 }) ({p164 p2 p53 p40 p180 p225 p113 p98 p147 p126 } a143 {p100 p153 p103 p24 p3 p54 p79 p125 p181 p165 p187 p142 p226 p46 p128 }) ({p0 p48 p101 p179 p106 p161 p110 p135 p167 p224 p207 p141 p95 p191 p69 p124 } a104 {p176 p1 p194 p49 p102 p22 p108 p162 p222 p137 p166 p167 p95 p99 p209 p123 }) ({p177 p230 p104 p237 p35 p111 p206 p95 p66 p169 p96 p145 p192 p116 } a128 {p177 p73 p230 p104 p237 p86 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p151 p21 p104 p31 p115 p38 p222 p204 p185 p167 p189 p95 p99 p69 p152 } a104 {p151 p104 p115 p38 p222 p204 p185 p167 p189 p95 p15 p99 p152 }) ({p177 p229 p104 p237 p60 p111 p206 p95 p169 p96 p145 p69 p192 p116 } a104 {p177 p72 p230 p104 p232 p237 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p23 p114 } a187 {p114 }) ({p174 p121 p106 p219 p200 p238 p39 p167 p207 p95 p96 p149 p46 p154 } a134 {p174 p121 p106 p219 p200 p238 p39 p167 p207 p95 p96 p149 p154 }) ({p153 p205 p239 p41 p105 p125 p190 p32 p6 p91 p218 p117 } a158 {p193 p27 p81 p159 p216 p107 p131 p109 p202 p164 p208 p242 p69 p45 p120 }) ({p23 p92 } a187 {p92 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p40 p187 p188 p142 p144 p149 p154 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p187 p188 p142 p144 p149 p46 p154 }) ({p23 p138 } a187 {p138 }) ({p201 p205 p178 p25 p239 p223 p41 p168 p190 p117 } a163 {p210 p172 p20 p195 p3 p54 p27 p81 p233 p216 p181 p202 p226 p170 p128 }) ({p61 p154 } a105 {p43 p154 }) ({p177 p104 p237 p37 p221 p111 p206 p95 p169 p96 p145 p69 p192 p116 } a104 {p177 p104 p237 p37 p221 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p151 p104 p31 p115 p184 p38 p222 p204 p167 p14 p189 p95 p99 p69 p138 } a104 {p151 p104 p115 p38 p222 p204 p185 p186 p167 p189 p95 p15 p99 p152 }) ({p19 p151 p72 p102 p230 p104 p232 p115 p185 p206 p95 p169 p99 p192 p46 p152 } a134 {p101 p229 p155 p104 p127 p7 p60 p183 p206 p95 p169 p192 p134 }) ({p177 p213 p198 p108 p162 p35 p133 p221 p11 p64 p95 p169 p96 p146 } a128 {p71 p177 p121 p106 p215 p217 p200 p110 p221 p163 p95 p169 p96 p18 p158 }) ({p176 p1 p194 p20 p49 p108 p162 p222 p137 p167 p95 p99 p209 p123 } a135 {p176 p106 p110 p163 p222 p167 p139 p207 p141 p95 p191 p17 p99 p70 p156 }) ({p50 p116 } a161 {p35 p116 }) ({p151 p230 p104 p35 p185 p137 p206 p95 p66 p169 p15 p99 p192 p152 } a128 {p151 p21 p73 p230 p104 p86 p31 p185 p206 p139 p141 p95 p169 p99 p192 p152 }) ({p61 p117 } a175 {p117 }) ({p0 p48 p101 p179 p106 p161 p200 p35 p135 p167 p224 p207 p95 p148 } a128 {p176 p102 p22 p106 p200 p163 p222 p166 p167 p139 p207 p95 p17 p99 p70 p158 }) ({p23 p140 } a187 {p140 }) ({p173 p102 p23 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p112 } a180 {p173 p102 p51 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p112 }) ({p61 p156 } a105 {p43 p156 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p221 p40 p187 p188 p142 p144 p149 p154 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p221 p187 p188 p142 p144 p149 p46 p154 }) ({p36 } a31 {p59 }) ({p121 p214 p106 p199 p182 p35 p163 p10 p63 p95 p96 p227 p171 p150 } a128 {p71 p177 p173 p121 p77 p106 p215 p200 p221 p163 p203 p95 p169 p96 p18 p158 }) ({p151 p102 p230 p213 p104 p232 p115 p185 p95 p66 p169 p15 p99 p192 p46 p152 } a134 {p101 p229 p155 p104 p215 p86 p127 p31 p217 p183 p12 p95 p169 p68 p192 p134 }) ({p100 p193 p178 p159 p107 p131 p35 p223 p94 p168 p208 p242 p45 p120 } a128 {p176 p172 p233 p106 p32 p91 p218 p163 p222 p93 p167 p139 p207 p95 p191 p17 p99 p70 p156 }) ({p109 p201 p72 p111 p202 p164 p165 p206 p237 p6 p116 } a158 {p109 p201 p72 p111 p202 p164 p165 p206 p237 p69 p116 }) ({p71 p177 p104 p215 p221 p111 p95 p169 p96 p145 p192 p18 p46 p116 } a134 {p71 p177 p104 p215 p221 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p174 p121 p106 p219 p238 p110 p39 p167 p207 p95 p96 p191 p69 p149 p112 } a104 {p47 p194 p174 p160 p108 p219 p133 p167 p95 p96 p209 p243 p122 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p160 p87 p89 p219 p40 p187 p188 p142 p144 p140 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p219 p162 p187 p188 p142 p144 p46 p146 }) ({p174 p121 p106 p161 p219 p35 p238 p39 p167 p207 p95 p96 p191 p124 } a128 {p174 p121 p106 p219 p238 p163 p39 p166 p167 p207 p95 p96 p191 p156 }) ({p61 p118 } a175 {p118 }) ({p177 p229 p104 p215 p35 p111 p95 p169 p96 p68 p145 p192 p18 p116 } a128 {p177 p73 p230 p104 p232 p215 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p23 p143 } a187 {p143 }) ({p172 p174 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p191 p112 } a163 {p172 p174 p20 p22 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p191 p112 }) ({p47 p194 p174 p108 p219 p162 p35 p133 p167 p95 p96 p209 p243 p123 } a128 {p174 p121 p106 p219 p238 p110 p163 p39 p167 p207 p95 p96 p191 p156 }) ({p61 p158 } a105 {p43 p158 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p221 p40 p187 p188 p142 p144 p145 p116 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p221 p187 p188 p142 p144 p145 p46 p116 }) ({p21 p73 p102 p230 p232 p106 p215 p200 p163 p185 p166 p139 p95 p169 p99 p46 p158 } a134 {p101 p229 p106 p215 p161 p200 p183 p135 p12 p95 p169 p68 p148 }) ({p109 p9 p201 p62 p202 p212 p164 p165 p6 p115 p138 } a158 {p109 p201 p202 p164 p165 p65 p214 p14 p69 p115 p138 }) ({p101 p229 p155 p104 p215 p127 p183 p35 p12 p95 p169 p68 p192 p134 } a128 {p151 p21 p73 p102 p230 p104 p232 p215 p115 p185 p95 p169 p99 p192 p152 }) ({p109 p37 p201 p111 p202 p164 p165 p206 p237 p6 p116 } a158 {p109 p37 p201 p111 p202 p164 p165 p206 p237 p69 p116 }) ({p101 p229 p155 p104 p183 p35 p135 p12 p206 p95 p169 p68 p192 p134 } a128 {p151 p21 p73 p102 p230 p104 p232 p185 p206 p139 p95 p169 p99 p192 p152 }) ({p101 p20 p155 p104 p179 p127 p204 p167 p240 p224 p189 p95 p42 p118 } a135 {p176 p151 p102 p104 p236 p29 p115 p38 p222 p204 p167 p189 p95 p99 p114 }) ({p228 p212 p104 p232 p197 p5 p182 p62 p111 p95 p96 p145 p171 p46 p132 } a134 {p177 p173 p229 p104 p237 p60 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p61 p119 } a175 {p119 }) ({p71 p177 p121 p106 p215 p161 p200 p35 p221 p95 p169 p96 p18 p148 } a128 {p71 p177 p121 p106 p215 p200 p221 p163 p166 p95 p169 p96 p18 p158 }) ({p47 p174 p20 p198 p108 p219 p162 p133 p203 p167 p95 p96 p209 p243 p146 } a135 {p174 p121 p106 p199 p219 p238 p110 p163 p39 p167 p207 p95 p96 p150 }) ({p109 p9 p201 p202 p38 p204 p164 p165 p6 p115 p138 } a158 {p109 p201 p202 p38 p204 p164 p165 p14 p69 p115 p138 }) ({p61 p116 } a105 {p43 p116 }) ({p23 p146 } a187 {p146 }) ({p228 p151 p104 p214 p197 p115 p35 p184 p65 p14 p95 p99 p171 p138 } a128 {p151 p173 p21 p73 p230 p104 p215 p115 p185 p186 p95 p169 p99 p192 p152 }) ({p103 p24 p75 p26 p77 p79 p28 p83 p30 p160 p87 p89 p221 p40 p187 p188 p142 p144 p140 } a143 {p103 p24 p75 p26 p77 p79 p28 p83 p30 p87 p89 p162 p221 p187 p188 p142 p144 p46 p146 }) ({p172 p174 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p191 p124 } a163 {p172 p174 p20 p22 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p191 p148 }) ({p177 p121 p73 p230 p232 p106 p215 p200 p95 p169 p96 p18 p149 p46 p154 } a134 {p177 p229 p121 p106 p215 p200 p95 p169 p96 p68 p18 p149 p154 }) ({p151 p104 p35 p184 p222 p204 p167 p139 p14 p189 p95 p99 p70 p138 } a128 {p151 p21 p104 p222 p204 p185 p186 p167 p139 p189 p95 p99 p70 p152 }) ({p151 p21 p20 p104 p222 p204 p185 p186 p167 p139 p189 p95 p99 p70 p152 } a135 {p151 p104 p184 p222 p204 p167 p139 p14 p189 p95 p99 p70 p138 }) ({p176 p172 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p191 p156 } a163 {p176 p172 p20 p22 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p191 p156 }) ({p228 p121 p232 p214 p106 p199 p182 p10 p65 p95 p96 p171 p149 p46 p143 } a134 {p177 p173 p229 p121 p106 p215 p200 p203 p95 p169 p96 p68 p18 p149 p154 }) ({p50 p117 } a161 {p35 p117 }) ({p101 p229 p155 p104 p86 p31 p183 p135 p12 p206 p141 p95 p169 p68 p69 p192 p134 } a104 {p151 p102 p230 p104 p232 p185 p137 p206 p95 p66 p169 p15 p99 p192 p152 }) ({p61 p120 } a175 {p120 }) ({p228 p212 p104 p197 p5 p182 p62 p111 p95 p96 p145 p69 p171 p132 } a104 {p177 p72 p173 p230 p104 p237 p111 p206 p95 p169 p96 p145 p192 p116 }) ({p23 p148 } a187 {p148 }) ({p174 p121 p20 p106 p161 p219 p238 p39 p167 p207 p95 p96 p191 p148 } a135 {p174 p121 p106 p219 p238 p163 p39 p166 p167 p207 p95 p96 p191 p150 }) ({p151 p173 p21 p20 p73 p230 p104 p185 p186 p206 p139 p95 p169 p99 p192 p152 } a135 {p228 p151 p212 p104 p197 p184 p139 p65 p14 p95 p99 p171 p138 }) ({p105 p175 p34 p35 p220 p235 p205 p94 p168 p190 p113 p98 p147 p97 } a128 {p172 p174 p103 p104 p216 p219 p109 p111 p188 p189 p142 p145 p75 p26 p231 p234 p33 p202 p204 p165 p93 p167 p95 p96 p92 }) ({p174 p121 p106 p199 p219 p35 p238 p39 p167 p207 p95 p96 p149 p143 } a128 {p174 p121 p106 p219 p200 p238 p203 p39 p167 p207 p95 p96 p149 p154 }) ({p176 p1 p194 p49 p108 p162 p35 p222 p137 p167 p95 p99 p209 p123 } a128 {p176 p106 p110 p163 p222 p167 p139 p207 p141 p95 p191 p17 p99 p70 p156 }) ({p228 p214 p106 p199 p35 p184 p163 p139 p65 p14 p95 p99 p171 p150 } a128 {p173 p21 p73 p230 p106 p215 p200 p163 p203 p185 p186 p139 p95 p169 p99 p158 }) ({p151 p21 p104 p31 p222 p204 p185 p167 p139 p189 p141 p95 p99 p69 p70 p152 } a104 {p151 p49 p104 p222 p204 p185 p137 p167 p189 p95 p15 p99 p152 }) ({p177 p73 p230 p104 p237 p86 p111 p206 p95 p169 p96 p145 p69 p192 p116 } a104 {p177 p230 p104 p237 p111 p206 p95 p66 p169 p96 p145 p192 p116 }) ({p174 p121 p106 p219 p238 p39 p167 p207 p95 p96 p191 p149 p46 p112 } a134 {p174 p121 p106 p219 p238 p39 p167 p207 p95 p96 p191 p149 p112 }) ({p151 p104 p115 p35 p38 p222 p204 p185 p167 p189 p95 p15 p99 p152 } a128 {p151 p21 p104 p31 p115 p38 p222 p204 p185 p167 p189 p95 p99 p152 }) ({p76 p80 p82 p43 p117 } a94 {p36 p25 p76 p80 p84 p117 }) ({p50 p118 } a161 {p35 p118 }) ({p193 p157 p107 p175 p129 p35 p220 p94 p168 p241 p44 p208 p98 p119 } a128 {p172 p174 p121 p103 p231 p106 p30 p89 p218 p219 p238 p39 p93 p167 p188 p207 p95 p96 p144 p191 p149 p112 }) ({p47 p194 p174 p108 p219 p162 p133 p166 p167 p95 p96 p209 p243 p46 p123 } a134 {p174 p121 p106 p161 p219 p238 p110 p39 p167 p207 p95 p96 p191 p124 }) ({p176 p1 p20 p49 p198 p108 p162 p203 p222 p137 p167 p95 p99 p209 p146 } a135 {p176 p106 p199 p110 p163 p222 p167 p139 p207 p141 p95 p17 p99 p70 p150 }) ({p172 p174 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p189 p92 } a163 {p172 p174 p20 p22 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p189 p92 }) ({p61 p122 } a175 {p122 }) ({p23 p150 } a187 {p150 }) ({p151 p104 p31 p184 p222 p204 p167 p139 p14 p189 p141 p95 p99 p69 p70 p138 } a104 {p151 p49 p104 p222 p204 p185 p137 p186 p167 p189 p95 p15 p99 p152 }) ({p176 p106 p110 p163 p222 p167 p139 p207 p141 p95 p191 p17 p99 p69 p70 p156 } a104 {p176 p1 p194 p49 p108 p162 p222 p137 p167 p95 p99 p209 p123 }) ({p173 p102 p23 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p114 } a180 {p173 p102 p51 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p114 }) ({p173 p102 p23 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p92 } a180 {p173 p102 p51 p232 p86 p31 p217 p110 p203 p166 p186 p95 p141 p92 }) ({p76 p80 p82 p43 p118 } a94 {p36 p25 p76 p80 p84 p118 }) ({p47 p194 p174 p20 p160 p108 p219 p133 p167 p95 p96 p209 p243 p122 } a135 {p174 p121 p106 p219 p238 p110 p39 p167 p207 p95 p96 p191 p149 p112 }) ({p50 p119 } a161 {p35 p119 }) ({p13 p90 } a97 {p23 p16 }) ({p174 p20 p104 p234 p33 p219 p111 p204 p167 p189 p95 p96 p145 p92 } a135 {p174 p104 p234 p33 p219 p111 p204 p167 p189 p95 p96 p145 p92 }) ({p176 p102 p22 p106 p199 p163 p222 p166 p167 p139 p207 p95 p17 p99 p70 p46 p150 } a134 {p0 p48 p101 p179 p106 p161 p200 p203 p135 p167 p224 p207 p95 p148 }) ({p23 p97 } a187 {p97 }) ({p0 p48 p101 p20 p179 p106 p161 p135 p167 p224 p207 p95 p191 p124 } a135 {p176 p102 p22 p106 p163 p222 p166 p167 p139 p207 p95 p191 p17 p99 p70 p156 }) ({p61 p123 } a175 {p123 }) ({p71 p177 p173 p121 p20 p77 p106 p215 p200 p221 p163 p203 p95 p169 p96 p18 p158 } a135 {p121 p214 p106 p199 p182 p163 p10 p63 p95 p96 p227 p171 p150 }) ({p71 p177 p104 p215 p217 p221 p111 p95 p169 p96 p145 p69 p192 p18 p116 } a104 {p177 p213 p104 p221 p111 p11 p64 p95 p169 p96 p145 p192 p116 }) ({p61 p117 } a105 {p43 p117 }) ({p174 p121 p20 p106 p161 p219 p200 p238 p203 p39 p167 p207 p95 p96 p148 } a135 {p174 p121 p106 p199 p219 p238 p163 p39 p166 p167 p207 p95 p96 p150 }) ({p211 p196 p157 p4 p56 p180 p107 p129 p35 p94 p225 p98 p170 p130 } a128 {p71 p177 p121 p103 p28 p106 p83 p215 p200 p221 p93 p187 p95 p169 p96 p144 p18 p149 p154 }) ({p172 p194 p174 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p122 } a163 {p172 p174 p20 p22 p75 p231 p26 p27 p233 p81 p29 p198 p30 p216 p32 p89 p218 p91 p140 }) ({p19 p151 p72 p173 p20 p230 p104 p115 p185 p186 p206 p95 p169 p99 p192 p152 } a135 {p228 p151 p212 p104 p197 p115 p9 p62 p184 p95 p99 p171 p138 }) ({p23 p152 } a187 {p152 }) ({p228 p151 p212 p104 p197 p115 p9 p62 p184 p95 p99 p69 p171 p138 } a104 {p19 p151 p72 p173 p230 p104 p115 p185 p186 p206 p95 p169 p99 p192 p152 }) ({p109 p201 p111 p202 p212 p164 p165 p77 p5 p57 p6 p132 } a158 {p109 p201 p111 p202 p10 p63 p164 p165 p214 p87 p69 p132 }) ({p172 p25 p75 p231 p179 p233 p81 p216 p89 p218 p91 p240 p189 p118 } a163 {p172 p20 p75 p231 p233 p81 p29 p216 p7 p89 p218 p91 p183 p189 p134 }) ({p101 p155 p104 p179 p127 p35 p204 p167 p240 p224 p189 p95 p42 p118 } a128 {p176 p151 p102 p104 p236 p29 p115 p38 p222 p204 p167 p189 p95 p99 p114 }) ({p177 p213 p198 p108 p162 p133 p221 p11 p64 p166 p95 p169 p96 p46 p146 } a134 {p71 p177 p121 p106 p215 p217 p161 p200 p110 p221 p95 p169 p96 p18 p148 }) ({p76 p80 p82 p43 p119 } a94 {p36 p25 p76 p80 p84 p119 }) ({p50 p120 } a161 {p35 p120 }) ({p174 p121 p20 p106 p219 p200 p238 p203 p39 p167 p207 p95 p96 p149 p154 } a135 {p174 p121 p106 p199 p219 p238 p39 p167 p207 p95 p96 p149 p143 }) ({p177 p213 p104 p35 p221 p111 p11 p64 p95 p169 p96 p145 p192 p116 } a128 {p71 p177 p104 p215 p217 p221 p111 p95 p169 p96 p145 p192 p18 p116 }) ({p61 p124 } a175 {p124 }) ({p100 p211 p196 p159 p86 p31 p181 p107 p217 p58 p8 p131 p110 p94 p141 p226 p170 p69 p136 } a104 {p230 p213 p198 p108 p162 p185 p137 p93 p95 p66 p169 p15 p99 p146 }) ({p176 p102 p22 p106 p163 p222 p166 p167 p139 p207 p95 p191 p17 p99 p70 p46 p156 } a134 {p0 p48 p101 p179 p106 p161 p135 p167 p224 p207 p95 p191 p124 }) ({p61 p118 } a105 {p43 p118 }) ({p23 p154 } a187 {p154 }) ({p60 p109 p201 p202 p164 p165 p206 p127 p7 p6 p134 } a158 {p109 p201 p202 p135 p164 p165 p12 p206 p68 p69 p134 }) ({p172 p194 p174 p22 p25 p75 p231 p26 p27 p233 p81 p29 p30 p216 p32 p89 p218 p91 p123 } a163 {p172 p174 p20 p22 p75 p231 p26 p27 p233 p81 p29 p198 p30 p216 p32 p89 p218 p91 p146 }) }, initialMarking = {p172 p173 p174 p102 p103 p104 p216 p217 p218 p219 p109 p110 p111 p22 p24 p26 p231 p27 p232 p28 p233 p29 p234 p30 p31 p32 p33 p52 p186 p187 p188 p141 p189 p142 p144 p145 p74 p75 p77 p78 p79 p81 p82 p83 p85 p86 p87 p89 p90 p91 p92 p201 p202 p203 p164 p204 p93 p165 p166 p167 p95 p96 }, acceptingPlaces = {p51 p55 } );