// Testfile dumped by Ultimate at 2020/03/07 10:43:10 // // 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 }, 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 p259 p260 p261 p262 p263 p264 p265 p266 p267 p268 p269 p270 p271 p272 p273 p274 p275 p276 p277 p278 p279 p280 p281 p282 p283 p284 p285 p286 p287 p288 p289 p290 p291 p292 p293 p294 p295 p296 p297 p298 p299 p300 p301 p302 p303 p304 p305 p306 p307 p308 p309 p310 p311 p312 p313 p314 p315 p316 p317 p318 p319 p320 p321 p322 p323 p324 p325 p326 p327 p328 p329 p330 p331 p332 p333 p334 p335 p336 p337 p338 p339 p340 p341 p342 p343 p344 p345 p346 p347 p348 p349 p350 p351 p352 p353 p354 p355 p356 p357 p358 p359 p360 p361 p362 p363 p364 p365 p366 p367 p368 p369 p370 p371 p372 p373 p374 p375 p376 p377 p378 p379 p380 p381 p382 p383 p384 p385 p386 p387 p388 p389 p390 p391 p392 p393 p394 p395 p396 p397 p398 p399 p400 p401 p402 p403 p404 p405 p406 p407 p408 p409 p410 p411 p412 p413 p414 p415 p416 p417 p418 p419 p420 p421 p422 p423 p424 p425 p426 p427 p428 p429 p430 p431 p432 p433 p434 p435 p436 p437 p438 p439 p440 p441 p442 p443 p444 p445 p446 p447 p448 p449 p450 p451 p452 p453 p454 p455 p456 p457 p458 p459 p460 p461 p462 p463 p464 p465 p466 p467 p468 p469 p470 p471 p472 p473 p474 p475 p476 p477 p478 p479 p480 p481 p482 p483 p484 p485 p486 p487 p488 p489 p490 p491 p492 p493 p494 p495 p496 p497 p498 p499 p500 p501 p502 p503 p504 p505 p506 p507 p508 p509 p510 p511 p512 p513 p514 p515 p516 p517 p518 p519 p520 p521 }, transitions = { ({p235 p329 p250 p21 p333 p213 p376 p405 p77 p439 p460 p80 p222 p463 p464 p88 } a20 {p52 p393 p210 p334 p374 p333 p216 p405 p437 p291 p77 p460 p80 p463 p464 p365 p88 p232 }) ({p437 p325 p12 p86 p116 p333 p421 p88 p387 p513 } a31 {p169 p326 p415 p329 p465 p229 p88 p213 p42 p46 }) ({p0 p17 p21 p24 p403 p405 p222 p131 p505 p426 p235 p511 p137 p241 p376 p383 p77 p460 p80 p174 p495 p341 p463 p464 p88 } a20 {p3 p17 p20 p407 p405 p291 p365 p232 p425 p136 p428 p512 p52 p241 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p437 p325 p129 p12 p455 p374 p232 p388 } a31 {p169 p415 p163 p222 p329 p463 p332 p213 p135 p46 }) ({p323 p169 p443 p163 p462 p21 p156 } a20 {p128 p52 p325 p461 p454 p17 p166 p387 p405 }) ({p427 p240 p174 p341 p21 } a20 {p510 p52 p240 p178 p345 p197 }) ({p238 p14 p451 p354 p404 p380 p382 p304 p34 p464 p207 p478 p509 } a51 {p348 p445 p238 p450 p14 p23 p404 p380 p382 p359 p464 p478 p509 }) ({p502 p325 p279 p454 p12 p249 p333 p513 p437 p386 p258 p86 p295 p475 p116 p177 p88 p387 p150 } a31 {p326 p278 p329 p213 p141 p169 p408 p191 p415 p259 p462 p261 p309 p229 p88 p477 p42 p501 p46 }) ({p426 p0 p511 p240 p241 p17 p21 p24 p403 p378 p405 p380 p383 p77 p460 p80 p174 p341 p463 p497 p505 p464 p88 p232 } a20 {p3 p17 p20 p407 p405 p232 p425 p428 p512 p52 p240 p241 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p445 p154 p275 p394 p12 p283 p17 p20 p400 p405 p413 p218 p425 p241 p512 p289 p167 p77 p339 p460 p80 p145 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p379 p77 p460 p80 p341 p146 p463 p464 p179 p88 p269 }) ({p5 p85 } a39 {p8 p87 p66 }) ({p52 } a22 {p35 }) ({p347 p445 p370 p240 p289 p96 p12 p17 p187 p487 p378 p405 p380 p211 p383 p77 p460 p80 p463 p506 p464 p88 p499 } a31 {p451 p17 p203 p353 p205 p405 p29 p418 p297 p46 p237 p240 p301 p378 p380 p383 p385 p77 p460 p80 p114 p463 p498 p464 p179 p88 }) ({p152 p393 p313 p449 p280 p12 p284 p216 p406 p405 p291 p365 p422 p234 p300 p480 p483 p210 p334 p108 p142 p384 p77 p460 p80 p495 p262 p463 p464 p263 p88 } a31 {p442 p151 p392 p397 p282 p405 p217 p293 p46 p235 p137 p243 p484 p250 p251 p376 p335 p337 p77 p144 p439 p460 p494 p80 p463 p464 p264 p266 p88 p519 }) ({p169 p324 p34 p463 p332 p419 p229 p389 p290 } a51 {p171 p325 p464 p455 p116 p513 p230 p23 p388 }) ({p325 p454 p12 p374 p333 p405 p408 p437 p128 p88 p387 p232 p136 } a31 {p326 p163 p329 p213 p405 p169 p408 p415 p222 p131 p462 p88 p46 }) ({p238 p301 p14 p164 p404 p380 p382 p171 p363 p34 p175 p464 p478 p311 p509 } a51 {p238 p301 p14 p164 p23 p404 p380 p382 p171 p364 p175 p464 p346 p478 p509 }) ({p292 p395 p372 p21 p366 } a20 {p254 p291 p52 p393 p420 p298 p378 }) ({p206 p105 p62 p89 } a7 {p314 p90 p69 }) ({p436 p73 p324 p12 p464 p88 p389 p290 } a31 {p171 p327 p464 p88 p230 p159 p470 p515 p46 }) ({p327 p21 p138 p470 p380 p405 p438 p77 p460 p80 p440 p463 p464 p88 p159 p299 } a20 {p238 p52 p331 p194 p252 p405 p436 p77 p460 p80 p463 p342 p464 p441 p88 }) ({p363 p292 p449 p12 p345 p378 p198 } a31 {p442 p174 p204 p179 p346 p298 p378 p46 }) ({p502 p53 p276 p12 p166 p22 p302 p256 p412 p461 p308 p475 p321 p88 p520 } a31 {p323 p2 p274 p125 p75 p257 p88 p477 p101 p466 p501 p233 p46 }) ({p512 p339 p129 p12 p463 p196 p178 p167 p374 p232 } a31 {p481 p163 p222 p341 p463 p505 p135 p46 }) ({p25 } a46 {p27 }) ({p442 p481 p397 p451 p17 p21 p405 p379 p406 p337 p77 p460 p80 p293 p463 p464 p88 p519 p297 p424 p234 } a20 {p300 p480 p445 p52 p289 p449 p17 p400 p167 p405 p406 p384 p77 p339 p460 p80 p463 p196 p464 p422 p88 p521 p234 }) ({p480 p53 p393 p12 p166 p334 p22 p335 p216 p405 p384 p460 p463 p464 p422 p88 p234 p520 } a31 {p2 p397 p250 p335 p405 p337 p217 p75 p439 p460 p463 p464 p88 p519 p466 p46 }) ({p151 p503 p326 p329 p250 p282 p251 p21 p213 p335 p405 p141 p75 p439 p460 p259 p261 p463 p464 p88 p477 p42 } a20 {p502 p53 p52 p393 p313 p279 p249 p334 p333 p216 p405 p142 p437 p460 p262 p463 p464 p263 p86 p88 p150 p479 p520 }) ({p170 p103 p130 p319 p21 p125 p89 p212 } a20 {p272 p52 p104 p98 p472 p321 p302 p88 p124 p189 p47 }) ({p0 p277 p155 p396 p17 p21 p24 p403 p405 p410 p220 p222 p131 p505 p426 p235 p511 p137 p244 p484 p376 p383 p77 p460 p80 p174 p496 p341 p146 p463 p464 p88 p269 } a20 {p3 p154 p283 p17 p20 p407 p405 p413 p291 p157 p223 p286 p365 p232 p425 p136 p241 p428 p512 p52 p485 p210 p107 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p0 p277 p155 p396 p17 p21 p24 p403 p405 p410 p220 p505 p426 p511 p240 p244 p486 p378 p380 p383 p77 p460 p80 p174 p341 p146 p463 p498 p464 p88 p269 } a20 {p3 p154 p283 p17 p20 p407 p405 p413 p157 p223 p286 p425 p241 p428 p512 p52 p240 p487 p107 p378 p380 p383 p77 p460 p80 p497 p463 p464 p178 p345 p88 p197 }) ({p199 p7 p449 p17 p203 p353 p21 p405 p29 p411 p418 p226 p510 p237 p240 p110 p378 p380 p383 p77 p460 p80 p114 p463 p497 p464 p88 p499 p346 } a20 {p347 p202 p96 p449 p17 p187 p26 p405 p363 p417 p506 p510 p370 p52 p240 p246 p378 p380 p211 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 }) ({p103 p316 p130 p229 p21 p381 } a20 {p91 p52 p317 p104 p98 p472 p116 p513 p189 }) ({p3 p202 p12 p17 p26 p407 p405 p157 p363 p417 p223 p286 p428 p240 p246 p487 p107 p378 p380 p383 p77 p460 p80 p115 p463 p464 p345 p88 p197 p499 } a31 {p199 p7 p277 p155 p17 p24 p405 p411 p410 p226 p46 p426 p511 p240 p244 p110 p378 p380 p383 p385 p77 p460 p80 p174 p463 p498 p464 p88 p346 }) ({p31 } a49 {p9 }) ({p91 p21 } a20 {p91 p52 }) ({p238 p301 p14 p164 p354 p404 p380 p382 p171 p34 p175 p464 p207 p478 p509 } a51 {p348 p238 p301 p14 p164 p23 p404 p380 p382 p171 p359 p175 p464 p478 p509 }) ({p439 p34 p342 p464 p331 p420 p517 p466 p404 p194 } a51 {p438 p395 p464 p334 p23 p466 p404 p520 }) ({p467 p12 p14 p320 p517 p404 p193 } a31 {p127 p77 p143 p514 p322 p466 p215 p46 }) ({p235 p428 p240 p202 p12 p17 p376 p24 p378 p405 p380 p383 p77 p460 p363 p80 p463 p464 p498 p345 p88 p197 } a31 {p235 p199 p511 p240 p17 p376 p24 p378 p405 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 p46 }) ({p119 p12 p139 p232 } a31 {p236 p240 p222 p213 p46 }) ({p323 p278 p183 p21 p126 p169 p408 p191 p257 p462 p473 p309 p229 p88 p101 p501 p233 } a20 {p52 p325 p276 p454 p513 p190 p412 p386 p258 p461 p308 p224 p295 p475 p116 p177 p88 p387 }) ({p323 p21 p126 p190 p169 p408 p462 p473 p309 p229 p88 p101 p501 p233 } a20 {p52 p325 p454 p513 p190 p412 p386 p461 p308 p224 p295 p475 p116 p88 p387 }) ({p238 p12 p165 p17 p488 p405 p338 p77 p460 p362 p80 p195 p463 p464 p88 p509 } a31 {p164 p17 p138 p405 p77 p460 p80 p340 p440 p147 p463 p464 p88 p478 p46 }) ({p471 p21 p303 } a20 {p52 p472 p310 p302 p500 }) ({p171 p385 p464 p88 p21 p514 p518 p230 p322 } a20 {p324 p52 p419 p88 p499 p404 p389 p290 }) ({p170 p130 p12 p89 } a31 {p253 p272 p181 p189 p89 p46 }) ({p510 p240 p12 p17 p378 p405 p380 p383 p77 p460 p80 p364 p463 p464 p343 p88 p45 p299 } a31 {p510 p240 p17 p378 p405 p380 p383 p77 p460 p80 p175 p463 p464 p88 p311 p46 p299 }) ({p480 p503 p53 p393 p313 p280 p12 p282 p166 p334 p22 p216 p406 p405 p384 p460 p262 p463 p464 p422 p88 p234 p520 } a31 {p503 p2 p392 p397 p250 p282 p251 p335 p405 p337 p217 p75 p439 p460 p463 p464 p264 p88 p519 p466 p46 }) ({p129 p463 p21 p388 } a20 {p128 p52 p463 p332 p387 p135 }) ({p510 p240 p12 p17 p378 p405 p380 p304 p383 p359 p77 p460 p80 p463 p464 p88 p478 } a31 {p510 p240 p301 p450 p17 p378 p405 p380 p383 p359 p77 p460 p80 p463 p464 p88 p478 p46 }) ({p300 p480 p393 p449 p12 p334 p405 p254 p384 p291 p77 p460 p80 p463 p464 p422 p88 } a31 {p442 p243 p372 p397 p405 p337 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p461 p34 p224 p514 p518 p322 p405 } a51 {p323 p156 p23 p404 p126 }) ({p12 p165 p17 p405 p304 p383 p338 p77 p460 p80 p195 p463 p464 p88 p509 } a31 {p301 p450 p17 p405 p383 p77 p460 p80 p340 p147 p463 p464 p88 p478 p46 }) ({p347 p510 p237 p445 p370 p240 p289 p12 p17 p187 p378 p405 p380 p383 p77 p460 p80 p463 p506 p464 p498 p88 } a31 {p451 p17 p203 p353 p205 p405 p29 p418 p297 p46 p510 p237 p240 p301 p378 p380 p383 p77 p460 p80 p463 p464 p498 p179 p88 }) ({p467 p80 p34 p320 p517 p310 p125 p193 } a51 {p127 p77 p58 p321 p23 p303 p520 }) ({p481 p239 p2 p392 p163 p280 p397 p19 p21 p379 p405 p337 p409 p217 p77 p460 p493 p80 p463 p464 p88 p519 p424 } a20 {p444 p394 p280 p400 p22 p406 p405 p218 p128 p422 p234 p480 p52 p166 p167 p384 p77 p339 p460 p493 p80 p463 p196 p464 p88 p521 }) ({p382 p171 p363 p433 p34 p175 p449 p164 p464 p478 p311 p380 } a51 {p442 p382 p171 p364 p175 p164 p464 p23 p346 p452 p478 p380 }) ({p442 p153 p392 p397 p281 p451 p17 p284 p21 p405 p409 p217 p293 p297 p424 p481 p239 p379 p337 p77 p144 p460 p80 p463 p464 p264 p88 p519 } a20 {p152 p445 p394 p449 p280 p17 p400 p284 p406 p405 p218 p422 p234 p300 p480 p52 p289 p167 p384 p77 p339 p460 p80 p145 p463 p196 p464 p267 p88 p521 }) ({p236 p437 p327 p34 p464 p86 p159 p470 p515 } a51 {p119 p436 p73 p329 p464 p42 p23 }) ({p3 p202 p449 p12 p17 p26 p405 p291 p363 p365 p300 p426 p428 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p235 p426 p199 p511 p137 p243 p7 p17 p24 p376 p405 p383 p77 p460 p80 p174 p293 p496 p463 p464 p88 p346 p46 }) ({p443 p412 p12 p22 p156 } a31 {p2 p17 p233 p405 p46 }) ({p442 p300 p481 p451 p17 p21 p405 p379 p406 p337 p77 p460 p80 p463 p464 p88 p519 } a20 {p480 p300 p445 p52 p449 p17 p167 p405 p406 p384 p77 p339 p460 p80 p463 p196 p464 p88 p521 }) ({p347 p510 p370 p240 p12 p17 p451 p187 p378 p405 p380 p211 p383 p77 p460 p80 p114 p463 p506 p464 p498 p88 } a31 {p510 p237 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p114 p418 p463 p464 p498 p88 p46 }) ({p0 p17 p21 p24 p403 p405 p413 p220 p505 p232 p426 p511 p240 p244 p378 p380 p383 p77 p460 p80 p174 p341 p463 p497 p464 p88 } a20 {p3 p17 p20 p407 p405 p413 p223 p232 p425 p241 p428 p512 p52 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p235 p510 p511 p240 p202 p372 p12 p17 p376 p378 p405 p380 p383 p77 p460 p363 p80 p463 p464 p498 p345 p179 p88 p197 } a31 {p235 p510 p199 p511 p240 p372 p17 p376 p378 p405 p380 p383 p77 p460 p80 p174 p463 p464 p498 p179 p88 p346 p46 }) ({p71 } a29 {p12 }) ({p357 p358 p78 p460 p361 p355 p356 } a12 {p357 p358 p460 p361 p39 p355 p356 }) ({p442 p152 p392 p397 p281 p451 p17 p284 p21 p405 p409 p217 p293 p297 p424 p481 p239 p379 p337 p77 p460 p80 p463 p464 p264 p88 p519 } a20 {p152 p445 p394 p449 p280 p17 p400 p284 p406 p405 p218 p422 p234 p300 p480 p52 p289 p167 p384 p77 p339 p460 p80 p463 p196 p464 p267 p88 p521 }) ({p66 } a14 {p33 }) ({p0 p17 p21 p24 p403 p405 p413 p220 p222 p131 p505 p426 p235 p511 p137 p244 p376 p383 p77 p460 p80 p174 p495 p341 p463 p464 p88 } a20 {p3 p17 p20 p407 p405 p413 p291 p223 p365 p232 p425 p136 p241 p428 p512 p52 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p323 p169 p408 p2 p163 p308 p462 p19 p88 p21 p233 } a20 {p444 p52 p325 p454 p166 p22 p412 p128 p386 p461 p308 p88 p387 }) ({p127 p318 p21 p89 p118 p160 } a20 {p52 p320 p123 p88 p214 p193 }) ({p235 p137 p326 p329 p279 p250 p21 p251 p213 p376 p335 p405 p77 p439 p460 p80 p259 p222 p131 p463 p464 p88 p150 } a20 {p393 p313 p279 p216 p405 p291 p365 p232 p136 p52 p249 p210 p334 p374 p333 p108 p437 p77 p460 p80 p262 p463 p464 p88 p150 }) ({p419 p21 } a20 {p52 p415 p464 }) ({p12 p14 p331 p194 p405 p382 p77 p460 p80 p463 p342 p464 p517 p88 } a31 {p430 p336 p215 p405 p438 p77 p143 p460 p80 p285 p463 p464 p88 p46 }) ({p347 p510 p445 p240 p289 p12 p17 p187 p378 p405 p380 p383 p77 p460 p80 p463 p418 p506 p464 p498 p88 } a31 {p510 p240 p301 p451 p17 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p463 p418 p464 p498 p179 p88 p297 p46 }) ({p34 p320 p310 p500 p214 p125 p193 } a51 {p127 p471 p321 p23 p303 p47 }) ({p300 p428 p202 p449 p12 p17 p210 p108 p24 p405 p383 p291 p77 p460 p363 p80 p496 p463 p464 p365 p345 p88 p197 } a31 {p442 p235 p199 p511 p137 p243 p17 p376 p24 p405 p383 p77 p460 p80 p174 p293 p496 p463 p464 p88 p346 p46 }) ({p30 } a48 {p32 }) ({p347 p510 p445 p240 p289 p12 p17 p187 p378 p405 p380 p29 p383 p77 p460 p80 p463 p464 p498 p88 } a31 {p510 p240 p301 p451 p17 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p463 p464 p498 p179 p88 p297 p46 }) ({p83 p27 } a37 {p28 p56 p84 }) ({p28 } a47 {p34 }) ({p151 p235 p137 p326 p329 p279 p250 p21 p251 p213 p376 p335 p405 p141 p77 p439 p460 p80 p259 p222 p131 p463 p464 p88 } a20 {p393 p313 p279 p216 p405 p291 p365 p232 p136 p52 p249 p210 p334 p374 p333 p108 p142 p437 p77 p460 p80 p262 p463 p464 p88 p150 }) ({p481 p338 p362 p163 p34 p195 p14 p464 p165 p488 p404 p135 } a51 {p339 p129 p196 p164 p464 p14 p167 p23 p478 p404 }) ({p316 p130 p12 p124 p381 } a31 {p253 p181 p105 p319 p189 p89 p212 p46 }) ({p442 p199 p7 p451 p17 p203 p353 p21 p405 p29 p411 p293 p418 p226 p297 p510 p237 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 p346 } a20 {p347 p445 p202 p449 p17 p187 p26 p405 p363 p417 p506 p300 p510 p370 p52 p240 p246 p289 p378 p380 p211 p383 p77 p460 p80 p463 p497 p464 p88 }) ({p442 p153 p392 p275 p397 p281 p451 p17 p21 p405 p409 p217 p293 p297 p424 p481 p239 p379 p337 p77 p144 p460 p80 p495 p463 p464 p264 p266 p88 p519 } a20 {p152 p445 p394 p449 p280 p17 p400 p284 p406 p405 p218 p422 p234 p300 p480 p52 p242 p289 p167 p384 p77 p339 p460 p80 p145 p495 p463 p196 p464 p267 p88 p521 }) ({p510 p481 p445 p240 p12 p17 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p208 p88 p297 } a31 {p510 p481 p240 p301 p451 p17 p205 p378 p405 p380 p383 p360 p77 p460 p80 p463 p464 p498 p88 p297 p46 }) ({p169 p324 p362 p163 p34 p464 p332 p488 p404 p135 p389 } a51 {p171 p325 p129 p164 p464 p23 p404 p388 }) ({p238 p240 p17 p21 p378 p405 p380 p383 p77 p460 p80 p340 p175 p147 p463 p464 p88 } a20 {p238 p52 p240 p17 p378 p405 p380 p383 p77 p460 p80 p463 p464 p343 p88 p45 p509 }) ({p46 } a33 {p63 }) ({p119 p240 p12 } a31 {p236 p240 p213 p46 }) ({p202 p449 p14 p17 p21 p123 p22 p204 p124 p404 p452 p26 p405 p359 p412 p224 p420 p135 p232 p298 p509 p510 p238 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 p311 } a20 {p202 p449 p14 p17 p123 p22 p204 p124 p404 p452 p26 p405 p412 p364 p224 p207 p420 p135 p232 p298 p509 p510 p238 p52 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 }) ({p480 p384 p292 p395 p449 p12 p334 p366 } a31 {p337 p442 p243 p439 p420 p179 p519 p298 p378 p46 }) ({p502 p326 p329 p279 p250 p251 p21 p213 p335 p405 p75 p439 p460 p259 p463 p464 p88 p42 } a20 {p502 p53 p52 p393 p313 p279 p249 p334 p333 p216 p405 p437 p460 p262 p463 p464 p86 p88 p520 }) ({p510 p240 p433 p450 p17 p21 p378 p405 p380 p382 p383 p359 p77 p460 p80 p463 p464 p88 p311 } a20 {p510 p52 p240 p17 p452 p378 p405 p380 p382 p304 p383 p77 p460 p80 p364 p463 p464 p207 p88 }) ({p325 p12 p374 p333 p405 p408 p437 p128 p77 p460 p80 p462 p463 p464 p465 p88 p387 p232 p136 } a31 {p326 p163 p329 p213 p405 p169 p408 p77 p460 p80 p222 p131 p462 p463 p464 p465 p88 p46 }) ({p292 p372 p21 p366 p198 } a20 {p254 p291 p52 p204 p197 p298 p378 }) ({p164 p430 p21 p336 p215 p405 p77 p143 p460 p80 p285 p463 p464 p88 p478 } a20 {p52 p14 p165 p488 p405 p382 p338 p77 p460 p362 p80 p195 p463 p464 p88 }) ({p3 p202 p12 p17 p26 p407 p405 p363 p417 p235 p428 p240 p244 p376 p378 p380 p383 p77 p460 p80 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p17 p24 p405 p411 p46 p426 p235 p511 p240 p244 p376 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p433 p450 p430 p17 p21 p336 p405 p77 p460 p80 p285 p463 p464 p88 p478 } a20 {p52 p165 p17 p452 p405 p382 p304 p338 p77 p460 p80 p195 p463 p464 p88 }) ({p151 p393 p313 p449 p280 p12 p282 p216 p406 p405 p291 p365 p422 p234 p300 p480 p210 p334 p108 p384 p77 p460 p80 p262 p463 p464 p88 } a31 {p442 p151 p392 p397 p282 p405 p217 p293 p46 p235 p137 p243 p250 p251 p376 p335 p337 p77 p439 p460 p80 p463 p464 p264 p88 p519 }) ({p152 p393 p313 p449 p280 p12 p282 p216 p406 p405 p291 p365 p422 p234 p300 p480 p210 p334 p108 p142 p384 p77 p460 p80 p262 p463 p464 p88 } a31 {p442 p151 p392 p397 p282 p405 p217 p293 p46 p235 p137 p243 p250 p251 p376 p335 p337 p77 p144 p439 p460 p80 p463 p464 p264 p88 p519 }) ({p438 p77 p460 p327 p463 p464 p21 p88 p470 p159 p515 p405 } a20 {p52 p467 p331 p194 p405 p436 p73 p460 p463 p342 p464 p517 p88 }) ({p324 p238 p12 p488 p405 p436 p77 p460 p362 p80 p463 p464 p88 p389 } a31 {p327 p164 p138 p470 p405 p171 p77 p460 p80 p440 p463 p464 p88 p159 p46 }) ({p143 p461 p34 p17 p166 p514 p322 p215 p405 } a51 {p323 p443 p14 p156 p23 p404 }) ({p272 p12 p450 p17 p451 p203 p353 p354 p125 p405 p356 p127 p357 p358 p359 p360 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p353 p354 p125 p405 p356 p127 p357 p358 p359 p360 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p480 p384 p395 p58 p12 p166 p334 p22 p520 } a31 {p337 p2 p439 p80 p420 p519 p466 p46 }) ({p445 p394 p12 p281 p17 p20 p400 p405 p413 p218 p425 p241 p512 p289 p167 p77 p339 p460 p80 p463 p196 p464 p178 p88 p521 } a31 {p0 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p379 p77 p460 p80 p341 p463 p464 p179 p88 }) ({p300 p480 p393 p449 p12 p210 p334 p335 p216 p405 p384 p291 p77 p460 p80 p463 p464 p365 p422 p88 p234 } a31 {p442 p235 p243 p397 p250 p376 p335 p405 p337 p217 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p238 p14 p204 p404 p380 p382 p174 p34 p464 p343 p45 p509 p299 } a51 {p382 p238 p175 p14 p464 p345 p23 p404 p380 p198 p509 p299 }) ({p292 p395 p21 p378 } a20 {p291 p52 p393 p420 p298 p378 }) ({p14 p17 p21 p123 p22 p124 p354 p26 p355 p357 p359 p363 p364 p224 p135 p232 p298 p238 p240 p378 p380 p382 p73 p436 p383 p437 p384 p77 p80 p497 p86 p310 p88 p499 p500 p202 p449 p204 p404 p452 p405 p412 p420 p509 p510 p512 p332 p460 p115 p463 p464 } a20 {p14 p17 p123 p22 p124 p354 p26 p355 p357 p359 p363 p364 p224 p135 p232 p298 p238 p52 p240 p378 p380 p382 p73 p436 p383 p437 p384 p77 p80 p497 p86 p310 p88 p499 p500 p202 p449 p204 p404 p452 p405 p412 p420 p509 p510 p512 p332 p460 p115 p463 p464 }) ({p315 p34 p229 p377 p500 p290 } a51 {p317 p471 p116 p513 p230 p23 p109 }) ({p199 p7 p449 p17 p203 p353 p21 p405 p29 p411 p418 p226 p510 p237 p240 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 p346 } a20 {p347 p202 p449 p17 p187 p26 p405 p363 p417 p506 p510 p370 p52 p240 p246 p378 p380 p211 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 }) ({p153 p2 p392 p275 p397 p281 p19 p21 p405 p409 p217 p424 p482 p481 p239 p163 p379 p337 p77 p144 p460 p494 p80 p463 p464 p264 p266 p88 p519 } a20 {p152 p444 p394 p280 p400 p284 p22 p406 p405 p218 p128 p422 p234 p480 p483 p52 p242 p166 p167 p384 p77 p339 p493 p460 p80 p145 p463 p196 p464 p267 p88 p521 }) ({p480 p393 p12 p166 p334 p22 p335 p405 p384 p75 p77 p460 p79 p80 p463 p464 p422 p88 p520 } a31 {p2 p397 p335 p405 p337 p75 p77 p439 p460 p79 p80 p463 p464 p88 p519 p46 }) ({p480 p383 p171 p433 p285 p34 p449 p464 p164 p430 p336 } a51 {p337 p442 p382 p171 p464 p164 p431 p23 p452 }) ({p9 } a42 {p74 }) ({p463 p21 p135 p388 } a20 {p52 p463 p332 p387 p135 }) ({p444 p394 p12 p281 p20 p400 p405 p413 p218 p128 p232 p425 p136 p241 p512 p167 p374 p77 p339 p460 p80 p494 p463 p196 p464 p178 p88 p521 } a31 {p0 p396 p281 p19 p403 p405 p409 p220 p222 p131 p505 p424 p46 p481 p239 p163 p379 p77 p460 p80 p494 p341 p463 p464 p88 }) ({p0 p154 p277 p396 p17 p21 p24 p403 p405 p410 p220 p505 p232 p426 p511 p240 p244 p378 p380 p383 p77 p460 p80 p174 p341 p463 p497 p464 p88 p269 } a20 {p3 p154 p283 p17 p20 p407 p405 p413 p157 p223 p286 p232 p425 p241 p428 p512 p52 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p17 p21 p138 p380 p405 p383 p77 p460 p80 p340 p175 p440 p147 p463 p464 p88 p299 } a20 {p238 p52 p17 p252 p405 p383 p77 p460 p80 p463 p464 p343 p441 p88 p45 p509 }) ({p442 p481 p239 p392 p280 p397 p451 p17 p21 p405 p379 p337 p409 p217 p77 p460 p80 p293 p463 p464 p88 p297 p519 p424 } a20 {p445 p394 p449 p280 p17 p400 p406 p405 p218 p422 p234 p300 p480 p52 p289 p167 p384 p77 p339 p460 p80 p463 p196 p464 p88 p521 }) ({p510 p171 p238 p340 p34 p147 p164 p464 p178 p478 p380 } a51 {p171 p427 p238 p341 p164 p464 p23 p478 p380 p509 }) ({p437 p128 p325 p12 p374 p333 p421 p88 p387 p232 p405 p136 } a31 {p169 p326 p415 p163 p222 p131 p329 p465 p88 p213 p405 p46 }) ({p65 } a8 {p60 }) ({p68 } a30 {p36 }) ({p129 p455 p465 p21 p388 } a20 {p128 p52 p463 p332 p421 p387 p135 }) ({p80 p395 p21 p298 p378 } a20 {p52 p393 p80 p420 p298 p378 }) ({p363 p292 p449 p12 p345 p366 p198 } a31 {p442 p243 p174 p204 p179 p346 p298 p378 p46 }) ({p444 p275 p394 p12 p283 p20 p400 p405 p413 p218 p128 p232 p425 p136 p241 p512 p167 p374 p77 p339 p460 p80 p494 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p275 p396 p281 p19 p403 p405 p409 p220 p222 p131 p505 p424 p46 p481 p239 p163 p379 p77 p460 p80 p494 p341 p463 p464 p88 p269 }) ({p76 } a11 {p40 }) ({p3 p202 p449 p12 p17 p26 p407 p405 p291 p363 p417 p365 p300 p428 p244 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p17 p24 p405 p411 p293 p46 p426 p235 p511 p137 p243 p244 p376 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p467 p21 } a20 {p52 p77 p466 }) ({p2 p392 p397 p281 p19 p284 p21 p405 p409 p217 p424 p481 p239 p163 p379 p337 p77 p460 p493 p80 p463 p464 p264 p88 p519 } a20 {p444 p394 p280 p400 p284 p22 p406 p405 p218 p128 p422 p234 p480 p52 p166 p167 p384 p77 p339 p460 p493 p80 p463 p196 p464 p267 p88 p521 }) ({p272 p12 p450 p17 p451 p203 p125 p405 p127 p208 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p205 p125 p405 p127 p360 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p41 } a0 {p5 }) ({p323 p502 p2 p163 p278 p19 p21 p169 p408 p257 p462 p309 p88 p101 p233 } a20 {p502 p444 p52 p325 p276 p454 p166 p22 p412 p128 p386 p258 p461 p308 p295 p88 p387 }) ({p323 p169 p385 p462 p229 p21 p156 p126 } a20 {p52 p325 p461 p454 p224 p116 p387 p499 p513 p405 }) ({p480 p384 p80 p395 p12 p166 p334 p22 p520 } a31 {p337 p2 p439 p80 p420 p519 p46 }) ({p129 p463 p332 p21 } a20 {p128 p52 p463 p332 p135 }) ({p442 p199 p7 p451 p17 p203 p353 p21 p405 p29 p411 p293 p418 p226 p297 p237 p240 p486 p110 p378 p380 p383 p77 p460 p80 p114 p463 p498 p464 p88 p346 } a20 {p347 p445 p202 p96 p449 p17 p187 p26 p405 p363 p417 p506 p300 p370 p52 p240 p246 p289 p487 p378 p380 p211 p383 p77 p460 p80 p115 p497 p463 p464 p88 }) ({p153 p2 p392 p397 p281 p19 p284 p21 p405 p409 p217 p424 p482 p481 p239 p163 p379 p337 p77 p144 p460 p494 p80 p463 p464 p264 p88 p519 } a20 {p152 p444 p394 p280 p400 p284 p22 p406 p405 p218 p128 p422 p234 p480 p483 p52 p166 p167 p384 p77 p339 p493 p460 p80 p145 p463 p196 p464 p267 p88 p521 }) ({p364 p12 p343 p441 p45 p452 p252 } a31 {p243 p433 p175 p179 p311 p299 p46 p380 }) ({p444 p325 p279 p454 p12 p249 p374 p333 p437 p128 p493 p386 p258 p295 p88 p387 p150 p232 p479 p136 } a31 {p482 p503 p326 p163 p278 p329 p19 p213 p141 p169 p408 p415 p259 p222 p131 p462 p261 p309 p88 p46 }) ({p202 p449 p12 p17 p405 p291 p363 p300 p235 p510 p511 p240 p372 p376 p378 p380 p383 p77 p460 p80 p463 p464 p345 p88 p197 } a31 {p442 p235 p510 p199 p511 p240 p372 p17 p376 p378 p405 p380 p383 p77 p460 p80 p174 p293 p463 p464 p88 p346 p46 }) ({p442 p510 p300 p240 p451 p17 p353 p21 p378 p405 p380 p383 p384 p77 p460 p80 p463 p497 p464 p88 p346 } a20 {p347 p510 p300 p445 p52 p240 p449 p17 p378 p405 p380 p383 p384 p77 p460 p363 p80 p463 p497 p464 p88 }) ({p315 p73 p12 p123 p88 p377 p499 p290 } a31 {p385 p318 p105 p88 p230 p515 p160 p46 }) ({p199 p7 p17 p203 p353 p21 p405 p29 p411 p418 p226 p237 p240 p110 p378 p380 p383 p385 p77 p460 p80 p114 p463 p464 p88 p346 } a20 {p347 p202 p96 p17 p187 p26 p405 p363 p417 p506 p370 p52 p240 p246 p378 p380 p211 p383 p77 p460 p80 p115 p463 p464 p88 p499 }) ({p12 p320 p88 p499 p404 p214 p193 } a31 {p127 p385 p88 p514 p518 p322 p46 }) ({p412 p53 p274 p461 p308 p12 p166 p321 p22 p302 p88 p520 } a31 {p323 p75 p2 p274 p88 p101 p466 p125 p233 p46 }) ({p437 p325 p129 p12 p463 p374 p232 p388 } a31 {p169 p163 p222 p329 p463 p332 p213 p135 p46 }) ({p272 p104 p318 p34 p124 p189 p118 p160 } a51 {p170 p130 p319 p123 p23 p212 }) ({p151 p282 p21 p213 p405 p222 p131 p235 p137 p326 p329 p250 p251 p376 p335 p141 p77 p439 p460 p493 p80 p259 p261 p463 p464 p88 } a20 {p393 p313 p279 p216 p405 p291 p365 p232 p136 p52 p249 p210 p334 p374 p333 p108 p142 p437 p77 p460 p493 p80 p262 p463 p464 p263 p88 p150 }) ({p3 p202 p449 p12 p17 p26 p407 p405 p291 p157 p363 p417 p223 p286 p365 p300 p428 p246 p485 p210 p107 p108 p383 p77 p460 p80 p115 p497 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p277 p155 p17 p24 p405 p411 p410 p293 p226 p46 p426 p235 p511 p137 p244 p243 p486 p376 p110 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p3 p155 p202 p12 p17 p26 p407 p405 p157 p363 p417 p223 p286 p235 p428 p240 p246 p376 p378 p380 p383 p77 p460 p80 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p277 p155 p17 p24 p405 p411 p410 p226 p46 p426 p235 p511 p240 p244 p376 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p12 p89 p189 } a31 {p89 p189 p46 }) ({p445 p154 p394 p12 p283 p17 p20 p400 p405 p413 p218 p425 p241 p512 p242 p289 p167 p77 p339 p460 p80 p145 p496 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p379 p77 p460 p80 p496 p341 p146 p463 p464 p179 p88 p269 }) ({p3 p202 p12 p17 p26 p407 p405 p410 p363 p417 p223 p235 p428 p240 p246 p376 p378 p380 p383 p77 p460 p80 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p17 p24 p405 p411 p410 p226 p46 p426 p235 p511 p240 p244 p376 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p272 p12 p450 p17 p451 p203 p125 p405 p127 p207 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p205 p125 p405 p127 p359 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p69 } a9 {p65 }) ({p503 p444 p325 p279 p454 p12 p249 p374 p333 p437 p128 p386 p258 p295 p88 p387 p150 p232 p136 } a31 {p503 p326 p163 p278 p329 p19 p213 p141 p169 p408 p415 p259 p222 p131 p462 p261 p309 p88 p46 }) ({p436 p324 p238 p362 p12 p419 p488 p389 } a31 {p171 p415 p327 p440 p164 p464 p138 p159 p470 p46 }) ({p74 } a10 {p57 }) ({p347 p510 p481 p445 p240 p12 p17 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 } a31 {p510 p481 p240 p301 p451 p17 p353 p205 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 p46 }) ({p444 p512 p12 p20 p167 p374 p405 p409 p128 p77 p339 p460 p80 p494 p463 p196 p464 p178 p88 p232 p424 p521 p136 } a31 {p0 p481 p163 p19 p379 p405 p409 p77 p460 p80 p494 p222 p131 p341 p463 p505 p464 p88 p424 p46 }) ({p445 p241 p512 p289 p12 p17 p20 p400 p167 p405 p409 p218 p77 p339 p460 p80 p463 p196 p464 p178 p88 p521 p425 } a31 {p0 p481 p239 p301 p451 p17 p403 p405 p379 p409 p77 p460 p220 p80 p341 p463 p505 p464 p179 p88 p297 p424 p46 }) ({p202 p449 p14 p17 p21 p123 p22 p204 p124 p404 p452 p26 p405 p412 p224 p207 p420 p135 p232 p298 p509 p510 p238 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 } a20 {p202 p449 p14 p17 p123 p22 p204 p205 p124 p404 p452 p26 p405 p359 p412 p224 p420 p135 p232 p298 p509 p510 p238 p52 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 }) ({p21 p298 p378 p198 } a20 {p52 p204 p197 p298 p378 }) ({p63 } a34 {p59 }) ({p512 p12 p17 p19 p167 p374 p405 p128 p77 p339 p460 p80 p463 p196 p464 p178 p88 p232 p136 } a31 {p481 p163 p17 p19 p405 p77 p460 p80 p222 p131 p341 p463 p505 p464 p88 p46 }) ({p79 p58 p21 p303 } a20 {p52 p80 p468 p310 p302 }) ({p103 p412 p461 p308 p472 p12 p224 p321 p302 p88 p47 } a31 {p323 p103 p473 p88 p101 p125 p126 p233 p46 }) ({p382 p304 p238 p359 p34 p14 p464 p451 p404 p478 p380 p509 } a51 {p382 p445 p238 p359 p450 p14 p464 p23 p404 p478 p380 p509 }) ({p323 p503 p2 p163 p278 p19 p21 p169 p408 p257 p462 p309 p88 p477 p101 p233 } a20 {p502 p444 p52 p325 p276 p454 p166 p22 p412 p128 p386 p258 p461 p308 p295 p88 p387 p479 }) ({p337 p481 p443 p163 p431 p21 } a20 {p480 p383 p128 p52 p339 p196 p17 p166 p167 }) ({p169 p324 p34 p464 p332 p229 p389 p290 } a51 {p171 p325 p464 p116 p513 p230 p23 p388 }) ({p444 p154 p275 p394 p12 p283 p20 p400 p405 p413 p218 p128 p232 p425 p136 p241 p512 p483 p167 p374 p77 p339 p460 p80 p145 p495 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p19 p403 p405 p409 p220 p222 p131 p505 p424 p46 p481 p239 p484 p163 p379 p77 p460 p494 p80 p341 p146 p463 p464 p88 p269 }) ({p382 p467 p12 p14 p342 p331 p517 p194 } a31 {p438 p77 p143 p285 p430 p336 p466 p215 p46 }) ({p292 p21 p378 p198 } a20 {p291 p52 p204 p197 p298 p378 }) ({p56 } a25 {p82 }) ({p152 p393 p313 p280 p12 p282 p22 p216 p406 p405 p422 p234 p479 p480 p53 p166 p334 p142 p384 p493 p460 p262 p463 p464 p88 p520 } a31 {p151 p503 p482 p2 p392 p397 p250 p282 p251 p335 p405 p337 p217 p75 p144 p439 p460 p463 p464 p264 p88 p519 p466 p46 }) ({p17 p21 p123 p22 p124 p404 p405 p412 p224 p232 p240 p378 p380 p73 p383 p437 p384 p385 p77 p460 p80 p115 p463 p464 p86 p88 } a20 {p17 p123 p22 p124 p404 p405 p412 p224 p232 p52 p240 p378 p380 p73 p383 p437 p384 p77 p460 p80 p115 p463 p464 p86 p88 p499 }) ({p253 p75 p274 p319 p473 p88 p21 p42 p125 p501 } a20 {p256 p53 p52 p86 p475 p321 p302 p88 p124 p520 }) ({p59 } a35 {p71 }) ({p510 p481 p348 p445 p240 p12 p17 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 } a31 {p510 p481 p240 p301 p451 p17 p205 p354 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 p46 }) ({p329 p250 p21 p333 p213 p405 p75 p439 p460 p463 p464 p88 p42 } a20 {p53 p52 p393 p334 p333 p216 p405 p437 p460 p463 p464 p86 p88 p520 }) ({p445 p512 p12 p17 p167 p405 p379 p383 p77 p339 p460 p80 p463 p196 p464 p178 p88 } a31 {p481 p301 p451 p17 p405 p379 p383 p77 p460 p80 p341 p463 p505 p464 p88 p46 }) ({p444 p325 p454 p12 p249 p374 p333 p437 p128 p386 p309 p88 p387 p232 p136 } a31 {p326 p163 p329 p19 p213 p169 p408 p415 p259 p222 p131 p462 p309 p88 p46 }) ({p480 p384 p243 p292 p395 p449 p12 p334 } a31 {p337 p442 p243 p439 p420 p179 p519 p298 p46 }) ({p455 p465 p21 p135 p388 } a20 {p52 p463 p332 p421 p387 p135 }) ({p0 p277 p155 p396 p17 p21 p24 p403 p405 p410 p220 p505 p232 p426 p511 p240 p244 p378 p380 p383 p77 p460 p80 p174 p341 p146 p463 p497 p464 p88 p269 } a20 {p3 p154 p283 p17 p20 p407 p405 p413 p157 p223 p286 p232 p425 p241 p428 p512 p52 p240 p107 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p510 p240 p164 p374 p138 p171 p340 p34 p440 p147 p464 p178 p478 } a51 {p171 p427 p238 p341 p464 p164 p23 p139 p478 p509 }) ({p436 p73 p324 p12 p419 p389 p290 } a31 {p171 p415 p327 p464 p230 p159 p470 p515 p46 }) ({p3 p202 p449 p12 p17 p26 p407 p405 p410 p291 p363 p417 p223 p365 p300 p428 p246 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p17 p24 p405 p411 p410 p293 p226 p46 p426 p235 p511 p137 p244 p243 p376 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p0 p396 p17 p283 p21 p24 p403 p405 p410 p220 p222 p131 p505 p426 p235 p511 p137 p244 p376 p383 p77 p460 p80 p174 p495 p341 p463 p464 p88 } a20 {p3 p17 p283 p20 p407 p405 p413 p291 p223 p286 p365 p232 p425 p136 p241 p428 p512 p52 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p0 p396 p17 p283 p21 p24 p403 p405 p410 p220 p505 p232 p426 p511 p240 p244 p378 p380 p383 p77 p460 p80 p174 p341 p463 p497 p464 p88 } a20 {p3 p17 p283 p20 p407 p405 p413 p223 p286 p232 p425 p241 p428 p512 p52 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p1 } a21 {p81 }) ({p202 p449 p451 p203 p22 p353 p23 p124 p354 p125 p26 p412 p360 p363 p224 p229 p232 p480 p235 p103 p481 p512 p104 p163 p372 p166 p374 p376 p378 p169 p75 p437 p384 p79 p439 p80 p461 p174 p115 p463 p497 p498 p86 p178 } a45 {p202 p449 p451 p203 p22 p353 p124 p354 p125 p26 p412 p360 p363 p224 p229 p232 p480 p235 p103 p481 p512 p104 p163 p372 p166 p374 p376 p378 p169 p75 p437 p384 p78 p79 p439 p80 p461 p174 p115 p463 p497 p498 p86 p178 }) ({p300 p480 p235 p393 p449 p12 p334 p335 p405 p384 p291 p77 p460 p80 p463 p464 p365 p422 p88 } a31 {p442 p235 p243 p397 p376 p335 p405 p337 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p437 p325 p12 p86 p455 p116 p513 p388 } a31 {p169 p415 p329 p463 p332 p229 p213 p42 p46 }) ({p174 p34 p343 p204 p441 p45 p298 p378 p252 } a51 {p292 p175 p345 p23 p366 p198 p299 p380 }) ({p300 p240 p202 p449 p12 p17 p405 p254 p383 p291 p77 p460 p363 p80 p463 p464 p345 p88 p197 } a31 {p442 p199 p240 p243 p372 p17 p405 p383 p77 p460 p80 p174 p293 p463 p464 p88 p346 p46 }) ({p119 p75 p439 p329 p21 p42 } a20 {p236 p437 p53 p52 p393 p86 p334 p520 }) ({p152 p393 p313 p449 p280 p12 p284 p216 p406 p405 p291 p365 p422 p234 p300 p480 p210 p334 p108 p142 p384 p77 p460 p80 p494 p262 p463 p464 p263 p88 } a31 {p442 p151 p392 p397 p282 p405 p217 p293 p46 p235 p137 p243 p250 p251 p376 p335 p337 p77 p144 p439 p460 p80 p494 p463 p464 p264 p266 p88 p519 }) ({p77 p12 p14 p320 p517 p88 p404 p193 } a31 {p127 p77 p143 p88 p514 p322 p215 p46 }) ({p439 p34 p342 p464 p331 p420 p441 p298 p404 p194 p380 } a51 {p438 p292 p395 p464 p334 p23 p404 p299 p380 }) ({p119 p439 p329 p21 p376 p139 } a20 {p236 p437 p291 p240 p52 p393 p365 p334 p374 }) ({p408 p437 p325 p454 p12 p86 p116 p333 p88 p387 p513 } a31 {p169 p408 p326 p415 p462 p329 p229 p88 p213 p42 p46 }) ({p48 } a19 {p1 }) ({p272 p318 p34 p86 p124 p515 p160 } a51 {p170 p73 p319 p123 p42 p23 }) ({p80 p21 p303 p500 } a20 {p52 p80 p310 p302 p500 }) ({p238 p14 p204 p404 p380 p382 p174 p34 p464 p343 p441 p45 p298 p509 } a51 {p238 p14 p23 p404 p380 p382 p292 p175 p464 p345 p198 p299 p509 }) ({p77 p34 p320 p517 p310 p125 p193 } a51 {p127 p77 p321 p23 p303 p520 }) ({p444 p12 p20 p400 p405 p409 p218 p128 p232 p425 p136 p241 p512 p167 p374 p77 p339 p460 p80 p494 p463 p196 p464 p178 p88 p521 } a31 {p0 p481 p239 p163 p19 p403 p379 p405 p409 p77 p460 p220 p80 p494 p222 p131 p341 p463 p505 p464 p88 p424 p46 }) ({p480 p53 p393 p12 p250 p166 p334 p22 p335 p405 p384 p460 p463 p464 p422 p88 p520 } a31 {p2 p397 p250 p335 p405 p337 p75 p439 p460 p463 p464 p88 p519 p466 p46 }) ({p21 p252 } a20 {p52 p243 p380 }) ({p0 p511 p240 p17 p21 p24 p378 p405 p380 p383 p77 p460 p80 p174 p341 p463 p497 p505 p464 p88 p232 p425 } a20 {p3 p428 p512 p52 p240 p17 p20 p378 p405 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 p232 p425 }) ({p481 p239 p2 p163 p397 p19 p21 p379 p405 p406 p337 p217 p77 p460 p493 p80 p463 p464 p88 p519 p424 } a20 {p480 p444 p52 p400 p166 p22 p167 p405 p406 p384 p218 p128 p77 p339 p460 p493 p80 p463 p196 p464 p422 p88 p234 p521 }) ({p253 p103 p181 p274 p319 p21 p188 p125 p89 p212 } a20 {p256 p52 p104 p182 p98 p472 p321 p302 p88 p124 p47 }) ({p502 p325 p454 p12 p249 p333 p513 p437 p191 p386 p86 p295 p475 p116 p88 p387 p150 } a31 {p326 p329 p213 p141 p169 p408 p191 p415 p259 p462 p309 p229 p88 p477 p42 p501 p46 }) ({p40 } a54 {p41 }) ({p235 p0 p511 p137 p17 p21 p24 p376 p405 p383 p77 p460 p80 p174 p495 p222 p131 p341 p463 p505 p464 p88 p425 } a20 {p3 p17 p20 p405 p291 p365 p232 p136 p425 p428 p512 p52 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p169 p324 p362 p163 p34 p463 p332 p419 p488 p135 p389 } a51 {p171 p325 p129 p164 p464 p455 p23 p388 }) ({p79 p395 p58 p21 } a20 {p52 p393 p80 p468 p420 }) ({p170 p75 p385 p319 p88 p21 p42 p125 } a20 {p272 p53 p52 p86 p321 p302 p88 p499 p124 p520 }) ({p21 p230 p314 p90 } a20 {p315 p52 p88 p377 p290 }) ({p71 } a28 {p68 }) ({p301 p243 p415 p57 p179 p88 p205 p466 } a5 {p206 p62 p89 }) ({p480 p53 p393 p313 p12 p166 p334 p22 p251 p216 p406 p405 p384 p460 p463 p464 p422 p88 p234 p520 } a31 {p2 p392 p397 p250 p251 p335 p405 p337 p217 p75 p439 p460 p463 p464 p88 p519 p466 p46 }) ({p3 p202 p12 p17 p26 p407 p405 p157 p363 p417 p223 p286 p235 p428 p240 p246 p107 p376 p378 p380 p383 p77 p460 p80 p115 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p277 p155 p17 p24 p405 p411 p410 p226 p46 p426 p235 p511 p240 p244 p376 p110 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p437 p325 p415 p12 p86 p116 p513 p388 } a31 {p169 p415 p329 p332 p229 p213 p42 p46 }) ({p347 p510 p237 p370 p240 p12 p17 p451 p187 p378 p405 p380 p383 p77 p460 p80 p463 p506 p464 p498 p88 } a31 {p510 p237 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p418 p463 p464 p498 p88 p46 }) ({p33 } a15 {p44 }) ({p44 } a18 {p21 }) ({p480 p383 p171 p143 p285 p34 p464 p430 p17 p166 p336 p215 } a51 {p337 p382 p443 p171 p14 p464 p431 p23 }) ({p32 } a50 {p76 }) ({p326 p329 p250 p249 p21 p213 p335 p405 p75 p439 p460 p463 p464 p88 p42 } a20 {p53 p52 p393 p313 p249 p334 p333 p216 p405 p437 p460 p463 p464 p86 p88 p520 }) ({p442 p153 p392 p275 p397 p281 p451 p17 p21 p405 p409 p217 p293 p297 p424 p481 p239 p484 p379 p337 p77 p144 p460 p80 p496 p463 p464 p264 p266 p88 p519 } a20 {p152 p445 p394 p449 p280 p17 p400 p284 p406 p405 p218 p422 p234 p300 p480 p52 p242 p289 p485 p167 p384 p77 p339 p460 p80 p145 p495 p463 p196 p464 p267 p88 p521 }) ({p0 p277 p396 p17 p21 p24 p403 p405 p410 p220 p222 p131 p505 p426 p235 p511 p137 p244 p376 p383 p77 p460 p80 p174 p495 p341 p463 p464 p88 p269 } a20 {p3 p283 p17 p20 p407 p405 p413 p291 p157 p223 p286 p365 p232 p425 p136 p241 p428 p512 p52 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p91 p317 p98 p472 p12 p86 p116 p513 p124 } a31 {p253 p103 p105 p319 p473 p229 p88 p42 p46 }) ({p427 p512 p12 p139 p232 } a31 {p510 p240 p222 p505 p46 }) ({p35 } a23 {p37 }) ({p182 p276 p12 p302 p190 p256 p412 p461 p308 p98 p472 p224 p321 p88 p47 } a31 {p323 p103 p274 p183 p188 p125 p126 p257 p473 p88 p101 p233 p46 }) ({p481 p2 p163 p19 p21 p379 p405 p406 p337 p77 p460 p493 p80 p463 p464 p88 p422 p519 } a20 {p480 p444 p52 p166 p167 p22 p405 p406 p384 p128 p77 p339 p460 p493 p80 p463 p196 p464 p88 p422 p521 }) ({p347 p510 p240 p12 p17 p451 p187 p378 p405 p380 p383 p77 p460 p80 p418 p463 p506 p464 p498 p88 } a31 {p510 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p418 p463 p464 p498 p88 p46 }) ({p3 p277 p202 p12 p17 p26 p407 p405 p363 p417 p223 p286 p235 p428 p240 p246 p376 p378 p380 p383 p77 p460 p80 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p277 p17 p24 p405 p411 p410 p226 p46 p426 p235 p511 p240 p244 p376 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p3 p202 p449 p12 p17 p26 p407 p405 p291 p157 p363 p417 p223 p286 p365 p300 p428 p246 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p277 p17 p24 p405 p411 p410 p293 p226 p46 p426 p235 p511 p137 p244 p243 p376 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p444 p325 p278 p454 p12 p249 p374 p333 p437 p128 p386 p295 p88 p387 p150 p232 p136 } a31 {p326 p163 p278 p329 p19 p213 p141 p169 p408 p415 p259 p222 p131 p462 p309 p88 p46 }) ({p384 p12 p17 p431 } a31 {p383 p17 p519 p46 }) ({p382 p12 p342 p331 p441 p452 p194 p252 } a31 {p438 p243 p433 p285 p430 p179 p336 p299 p380 p46 }) ({p442 p510 p199 p240 p451 p17 p203 p353 p21 p378 p26 p405 p380 p383 p77 p460 p80 p293 p463 p497 p464 p88 p297 p346 } a20 {p347 p300 p510 p445 p52 p240 p289 p202 p449 p17 p187 p378 p26 p405 p380 p383 p77 p460 p363 p80 p463 p497 p464 p88 }) ({p511 p240 p17 p20 p21 p378 p405 p380 p383 p77 p460 p80 p174 p341 p463 p497 p505 p464 p88 p232 } a20 {p428 p512 p52 p240 p17 p20 p378 p405 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 p232 }) ({p235 p511 p137 p17 p20 p21 p376 p405 p383 p77 p460 p80 p174 p495 p222 p131 p341 p463 p505 p464 p88 } a20 {p428 p512 p52 p17 p20 p210 p374 p108 p405 p383 p291 p77 p460 p80 p495 p463 p464 p365 p178 p345 p88 p197 p232 p136 }) ({p412 p461 p308 p98 p472 p12 p224 p321 p302 p88 p188 p47 } a31 {p323 p103 p473 p88 p188 p101 p125 p126 p233 p46 }) ({p235 p137 p326 p329 p250 p249 p21 p213 p376 p335 p405 p77 p439 p460 p80 p222 p131 p463 p464 p88 } a20 {p52 p393 p313 p249 p210 p334 p374 p333 p108 p216 p405 p437 p291 p77 p460 p80 p463 p464 p365 p88 p232 p136 }) ({p348 p272 p12 p450 p17 p451 p203 p125 p405 p127 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p205 p354 p125 p405 p127 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p510 p240 p12 p17 p378 p405 p380 p304 p383 p77 p460 p80 p463 p464 p207 p88 p478 } a31 {p510 p240 p301 p450 p17 p205 p378 p405 p380 p383 p359 p77 p460 p80 p463 p464 p88 p478 p46 }) ({p347 p510 p240 p12 p17 p451 p187 p378 p405 p380 p29 p383 p77 p460 p80 p463 p464 p498 p88 } a31 {p510 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p463 p464 p498 p88 p46 }) ({p445 p512 p12 p17 p20 p167 p405 p409 p77 p339 p460 p80 p463 p196 p464 p178 p88 p297 p521 } a31 {p0 p481 p301 p451 p17 p405 p379 p409 p77 p460 p80 p341 p463 p505 p464 p88 p297 p46 }) ({p442 p199 p7 p451 p17 p203 p353 p21 p405 p29 p411 p293 p418 p297 p510 p240 p246 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 p346 } a20 {p347 p445 p202 p449 p17 p187 p26 p405 p363 p417 p506 p300 p510 p370 p52 p240 p289 p246 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 }) ({p442 p199 p7 p451 p17 p203 p353 p21 p405 p29 p293 p417 p297 p510 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 p346 } a20 {p347 p445 p202 p449 p17 p187 p26 p405 p363 p417 p506 p300 p510 p52 p240 p289 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 }) ({p442 p481 p239 p397 p451 p17 p21 p405 p379 p406 p337 p217 p77 p460 p80 p293 p463 p464 p88 p519 p297 p424 } a20 {p300 p480 p445 p52 p289 p449 p17 p400 p167 p405 p406 p384 p218 p77 p339 p460 p80 p463 p196 p464 p422 p88 p234 p521 }) ({p317 p471 p12 p86 p116 p499 p513 p124 p109 } a31 {p253 p385 p105 p319 p229 p42 p500 p46 }) ({p408 p437 p325 p415 p12 p86 p116 p333 p88 p387 p513 } a31 {p169 p408 p326 p415 p329 p229 p88 p213 p42 p46 }) ({p412 p461 p58 p12 p166 p321 p22 p303 p520 } a31 {p323 p2 p80 p310 p466 p125 p233 p46 }) ({p300 p480 p235 p243 p393 p449 p12 p334 p405 p384 p291 p77 p460 p80 p463 p464 p422 p88 } a31 {p442 p235 p243 p397 p405 p337 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p445 p239 p512 p289 p12 p17 p20 p400 p167 p405 p409 p77 p339 p460 p80 p463 p196 p464 p178 p88 p521 p425 } a31 {p0 p481 p239 p301 p451 p17 p403 p405 p379 p409 p77 p460 p80 p341 p463 p505 p464 p179 p88 p297 p424 p46 }) ({p363 p12 p345 p179 p378 p198 } a31 {p174 p204 p179 p346 p378 p46 }) ({p323 p2 p163 p276 p19 p21 p169 p408 p462 p309 p88 p101 p233 } a20 {p444 p52 p325 p276 p454 p166 p22 p412 p128 p386 p461 p308 p295 p88 p387 }) ({p510 p240 p12 p17 p452 p378 p405 p380 p383 p77 p460 p80 p364 p463 p464 p343 p441 p88 p45 } a31 {p510 p240 p433 p17 p378 p405 p380 p383 p77 p460 p80 p175 p463 p464 p179 p88 p311 p299 p46 }) ({p444 p154 p394 p12 p283 p20 p400 p405 p413 p218 p128 p232 p425 p136 p241 p512 p483 p242 p167 p374 p77 p339 p460 p80 p145 p495 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p19 p403 p405 p409 p220 p222 p131 p505 p424 p46 p481 p239 p484 p163 p379 p77 p460 p494 p80 p341 p146 p463 p464 p88 p269 }) ({p8 } a41 {p25 }) ({p412 p468 p461 p308 p12 p166 p321 p22 p302 p88 p520 } a31 {p323 p2 p79 p88 p101 p466 p125 p233 p46 }) ({p439 p467 p80 p34 p342 p331 p420 p517 p194 } a51 {p438 p77 p395 p58 p334 p23 p520 }) ({p481 p2 p163 p397 p19 p21 p379 p405 p406 p337 p77 p460 p493 p80 p463 p464 p88 p519 p424 p234 } a20 {p480 p444 p52 p400 p166 p167 p22 p405 p406 p384 p128 p77 p339 p460 p493 p80 p463 p196 p464 p422 p88 p521 p234 }) ({p202 p449 p14 p17 p353 p21 p123 p22 p204 p124 p404 p452 p26 p405 p412 p224 p420 p135 p232 p298 p509 p510 p238 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p346 p500 } a20 {p347 p202 p449 p14 p17 p123 p22 p204 p124 p404 p452 p26 p405 p412 p363 p224 p420 p135 p232 p298 p509 p510 p238 p52 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 }) ({p104 p34 p314 p189 p90 } a51 {p316 p130 p23 p381 }) ({p510 p199 p240 p449 p17 p203 p353 p21 p26 p378 p405 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 p346 } a20 {p347 p510 p52 p240 p202 p449 p17 p187 p26 p378 p405 p380 p383 p77 p460 p363 p80 p115 p463 p497 p464 p88 p499 }) ({p412 p471 p461 p12 p224 p321 p499 p303 p47 } a31 {p323 p385 p310 p500 p125 p126 p233 p46 }) ({p444 p12 p20 p400 p405 p409 p128 p232 p425 p136 p239 p512 p167 p374 p77 p339 p460 p80 p494 p463 p196 p464 p178 p88 p521 } a31 {p0 p481 p239 p163 p19 p403 p379 p405 p409 p77 p460 p80 p494 p222 p131 p341 p463 p505 p464 p88 p424 p46 }) ({p235 p511 p17 p21 p376 p405 p383 p77 p460 p80 p174 p222 p341 p463 p505 p464 p88 p136 } a20 {p428 p512 p52 p17 p210 p374 p405 p383 p291 p77 p460 p80 p463 p464 p178 p365 p345 p88 p197 p232 p136 }) ({p347 p272 p12 p450 p17 p451 p203 p125 p405 p127 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p353 p205 p125 p405 p127 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p253 p75 p385 p274 p319 p88 p21 p42 p125 } a20 {p256 p53 p52 p86 p321 p302 p88 p499 p124 p520 }) ({p471 p310 p21 } a20 {p52 p472 p310 p500 }) ({p36 } a32 {p38 }) ({p236 p171 p437 p240 p327 p34 p440 p464 p374 p138 p470 p159 } a51 {p119 p436 p171 p238 p329 p464 p23 p139 }) ({p323 p169 p408 p385 p462 p229 p88 p21 p126 p233 } a20 {p412 p52 p325 p386 p461 p454 p224 p116 p88 p513 p387 p499 }) ({p12 p123 p314 p90 } a31 {p318 p105 p89 p118 p160 p46 }) ({p151 p282 p21 p213 p405 p222 p131 p235 p482 p137 p326 p329 p250 p251 p376 p335 p141 p77 p439 p460 p494 p80 p259 p261 p463 p464 p88 } a20 {p393 p313 p279 p216 p405 p291 p365 p232 p136 p483 p52 p249 p210 p334 p374 p333 p108 p142 p437 p77 p493 p460 p80 p262 p463 p464 p263 p88 p150 }) ({p510 p481 p445 p240 p12 p17 p205 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 } a31 {p510 p481 p240 p301 p451 p17 p205 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 p46 }) ({p151 p503 p326 p329 p279 p250 p251 p21 p213 p335 p405 p141 p75 p439 p460 p259 p463 p464 p88 p477 p42 } a20 {p502 p53 p52 p393 p313 p279 p249 p334 p333 p216 p405 p142 p437 p460 p262 p463 p464 p86 p88 p150 p479 p520 }) ({p152 p393 p313 p280 p12 p284 p22 p216 p406 p405 p422 p234 p479 p480 p53 p166 p334 p142 p384 p493 p460 p262 p463 p464 p263 p88 p520 } a31 {p151 p503 p2 p392 p397 p282 p405 p217 p46 p482 p250 p251 p335 p337 p75 p144 p439 p460 p463 p464 p264 p266 p88 p519 p466 }) ({p37 } a24 {p44 }) ({p480 p393 p468 p12 p166 p334 p22 p405 p384 p460 p463 p464 p422 p88 p520 } a31 {p2 p397 p405 p337 p439 p79 p460 p463 p464 p88 p519 p466 p46 }) ({p348 p202 p449 p14 p17 p21 p123 p22 p204 p124 p404 p452 p26 p405 p412 p360 p224 p420 p135 p232 p298 p509 p510 p238 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 } a20 {p202 p449 p14 p17 p123 p22 p204 p354 p124 p404 p452 p26 p405 p412 p224 p420 p208 p135 p232 p298 p509 p510 p238 p52 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 }) ({p382 p304 p481 p338 p34 p195 p464 p14 p451 p165 p404 } a51 {p382 p445 p339 p196 p450 p464 p14 p167 p23 p478 p404 }) ({p82 } a26 {p71 }) ({p199 p7 p449 p17 p203 p353 p21 p405 p29 p417 p510 p240 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 p346 } a20 {p347 p202 p449 p17 p187 p26 p405 p363 p417 p506 p510 p52 p240 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 }) ({p300 p137 p428 p202 p449 p12 p17 p210 p405 p383 p291 p77 p460 p363 p80 p463 p464 p365 p345 p88 p197 } a31 {p442 p235 p199 p511 p137 p243 p17 p376 p405 p383 p77 p460 p80 p174 p293 p463 p464 p88 p346 p46 }) ({p427 p512 p240 p12 } a31 {p510 p240 p505 p46 }) ({p412 p80 p461 p12 p166 p321 p22 p303 p520 } a31 {p323 p2 p80 p310 p125 p233 p46 }) ({p3 p277 p202 p449 p12 p17 p26 p407 p405 p291 p363 p417 p223 p286 p365 p300 p428 p246 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p277 p17 p24 p405 p411 p410 p293 p226 p46 p426 p235 p511 p137 p244 p243 p376 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p445 p154 p394 p12 p283 p17 p20 p400 p405 p413 p218 p425 p241 p512 p242 p289 p485 p167 p77 p339 p460 p80 p145 p497 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p486 p379 p77 p460 p80 p496 p341 p146 p463 p464 p179 p88 p269 }) ({p412 p461 p308 p12 p166 p321 p22 p302 p88 p466 p520 } a31 {p323 p2 p88 p101 p466 p125 p233 p46 }) ({p53 p276 p12 p166 p22 p302 p256 p412 p461 p308 p321 p88 p520 p501 } a31 {p323 p75 p2 p274 p257 p88 p125 p101 p466 p233 p46 p501 }) ({p127 p385 p77 p318 p88 p21 p515 p160 } a20 {p73 p52 p467 p320 p517 p123 p88 p499 p193 }) ({p39 } a52 {p72 }) ({p317 p472 p12 p86 p116 p88 p513 p124 p109 } a31 {p253 p105 p319 p473 p229 p88 p42 p46 }) ({p439 p34 p342 p331 p420 p441 p298 p378 p194 p252 } a51 {p438 p292 p395 p334 p366 p23 p299 p380 }) ({p427 p174 p341 p21 p376 p139 } a20 {p510 p291 p240 p52 p178 p365 p345 p374 p197 }) ({p171 p143 p164 p464 p88 p21 p514 p322 p215 } a20 {p324 p52 p362 p14 p419 p88 p488 p404 p389 }) ({p412 p12 p17 p156 } a31 {p17 p233 p405 p46 }) ({p238 p301 p14 p164 p205 p404 p380 p382 p171 p34 p175 p464 p478 p509 } a51 {p238 p301 p14 p164 p205 p23 p404 p380 p382 p171 p175 p464 p478 p509 }) ({p60 } a6 {p30 }) ({p235 p426 p3 p428 p240 p202 p12 p17 p376 p26 p378 p405 p380 p383 p77 p460 p363 p80 p463 p464 p498 p345 p88 p197 } a31 {p235 p426 p199 p511 p240 p7 p17 p24 p376 p378 p405 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 p46 }) ({p337 p442 p481 p451 p17 p431 p21 } a20 {p480 p383 p445 p52 p339 p449 p196 p17 p167 }) ({p325 p454 p12 p249 p333 p513 p437 p386 p86 p309 p116 p88 p387 } a31 {p326 p329 p213 p169 p408 p415 p259 p462 p309 p229 p88 p42 p46 }) ({p347 p510 p370 p240 p96 p12 p17 p451 p187 p378 p405 p380 p211 p383 p77 p460 p80 p463 p506 p464 p498 p88 } a31 {p510 p237 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p114 p418 p463 p464 p498 p88 p46 }) ({p300 p480 p393 p313 p449 p12 p210 p334 p251 p108 p216 p406 p405 p384 p291 p77 p460 p80 p463 p464 p365 p422 p88 p234 } a31 {p442 p235 p137 p243 p392 p397 p250 p251 p376 p335 p405 p337 p217 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p347 p510 p445 p370 p240 p289 p12 p17 p187 p378 p405 p380 p211 p383 p77 p460 p80 p463 p506 p464 p498 p88 } a31 {p451 p17 p203 p353 p205 p405 p29 p418 p297 p46 p510 p237 p240 p301 p378 p380 p383 p77 p460 p80 p463 p464 p498 p179 p88 }) ({p443 p384 p12 p431 p22 } a31 {p383 p2 p17 p519 p46 }) ({p44 } a17 {p48 }) ({p199 p7 p449 p17 p203 p353 p21 p405 p29 p411 p418 p510 p240 p246 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 p346 } a20 {p347 p202 p449 p17 p187 p26 p405 p363 p417 p506 p510 p370 p52 p240 p246 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 }) ({p170 p12 p88 } a31 {p253 p272 p88 p46 }) ({p445 p153 p275 p394 p12 p283 p17 p20 p400 p405 p413 p218 p425 p241 p512 p289 p167 p77 p339 p460 p80 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p379 p77 p460 p80 p341 p463 p464 p179 p88 p269 }) ({p300 p235 p240 p202 p449 p12 p17 p405 p383 p291 p77 p460 p363 p80 p463 p464 p365 p345 p88 p197 } a31 {p442 p235 p199 p240 p243 p17 p376 p405 p383 p77 p460 p80 p174 p293 p463 p464 p88 p346 p46 }) ({p12 p331 p452 p194 p405 p380 p382 p77 p460 p80 p463 p342 p464 p441 p88 } a31 {p433 p430 p336 p405 p380 p438 p77 p460 p80 p285 p463 p464 p179 p88 p299 p46 }) }, initialMarking = {p14 p17 p19 p20 p22 p24 p188 p26 p189 p190 p29 p31 p191 p297 p298 p299 p300 p301 p73 p436 p75 p437 p77 p438 p79 p439 p80 p308 p83 p85 p86 p309 p310 p88 p202 p449 p450 p451 p203 p204 p205 p452 p103 p104 p105 p332 p333 p335 p460 p114 p461 p115 p462 p463 p464 p465 p466 p123 p353 p124 p354 p125 p355 p356 p127 p357 p358 p359 p360 p361 p363 p364 p224 p229 p230 p135 p232 p478 p136 p234 p235 p236 p480 p237 p481 p137 p238 p239 p240 p241 p243 p244 p246 p372 p249 p250 p251 p374 p376 p378 p379 p380 p382 p383 p384 p493 p494 p495 p496 p497 p498 p499 p150 p500 p501 p151 p502 p152 p503 p153 p272 p154 p274 p275 p155 p276 p277 p278 p279 p280 p281 p282 p283 p284 p404 p405 p406 p408 p409 p410 p412 p413 p415 p417 p418 p420 p422 p424 p425 p509 p426 p510 p511 p512 p163 p164 p166 p169 p171 p174 p175 p178 p179 }, acceptingPlaces = {p72 } ); 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 }, 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 p259 p260 p261 p262 p263 p264 p265 p266 p267 p268 p269 p270 p271 p272 p273 p274 p275 p276 p277 p278 p279 p280 p281 p282 p283 p284 p285 p286 p287 p288 p289 p290 p291 p292 p293 p294 p295 p296 p297 p298 p299 p300 p301 p302 p303 p304 p305 p306 p307 p308 p309 p310 p311 p312 p313 p314 p315 p316 p317 p318 p319 p320 p321 p322 p323 p324 p325 p326 p327 p328 p329 p330 p331 p332 p333 p334 p335 p336 p337 p338 p339 p340 p341 p342 p343 p344 p345 p346 p347 p348 p349 p350 p351 p352 p353 p354 p355 p356 p357 p358 p359 p360 p361 p362 p363 p364 p365 p366 p367 p368 p369 p370 p371 p372 p373 p374 p375 p376 p377 p378 p379 p380 p381 p382 p383 p384 p385 p386 p387 p388 p389 p390 p391 p392 p393 p394 p395 p396 p397 p398 p399 p400 p401 p402 p403 p404 p405 p406 p407 p408 p409 p410 p411 p412 p413 p414 p415 p416 p417 p418 p419 p420 p421 p422 p423 p424 p425 p426 p427 p428 p429 p430 p431 p432 p433 p434 p435 p436 p437 p438 p439 p440 p441 p442 p443 p444 p445 p446 p447 p448 p449 p450 p451 p452 p453 p454 p455 p456 p457 p458 p459 p460 p461 p462 p463 p464 p465 p466 p467 p468 p469 p470 p471 p472 p473 p474 p475 p476 p477 p478 p479 p480 p481 p482 p483 p484 p485 p486 p487 p488 p489 p490 p491 p492 p493 p494 p495 p496 p497 p498 p499 p500 p501 p502 p503 p504 p505 p506 p507 p508 p509 p510 p511 p512 p513 p514 p515 p516 p517 p518 p519 p520 p521 }, transitions = { ({p235 p329 p250 p21 p333 p213 p376 p405 p77 p439 p460 p80 p222 p463 p464 p88 } a20 {p52 p393 p210 p334 p374 p333 p216 p405 p437 p291 p77 p460 p80 p463 p464 p365 p88 p232 }) ({p437 p325 p12 p86 p116 p333 p421 p88 p387 p513 } a31 {p169 p326 p415 p329 p465 p229 p88 p213 p42 p46 }) ({p0 p17 p21 p24 p403 p405 p222 p131 p505 p426 p235 p511 p137 p241 p376 p383 p77 p460 p80 p174 p495 p341 p463 p464 p88 } a20 {p3 p17 p20 p407 p405 p291 p365 p232 p425 p136 p428 p512 p52 p241 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p437 p325 p129 p12 p455 p374 p232 p388 } a31 {p169 p415 p163 p222 p329 p463 p332 p213 p135 p46 }) ({p323 p169 p443 p163 p462 p21 p156 } a20 {p128 p52 p325 p461 p454 p17 p166 p387 p405 }) ({p427 p240 p174 p341 p21 } a20 {p510 p52 p240 p178 p345 p197 }) ({p238 p14 p451 p354 p404 p380 p382 p304 p34 p464 p207 p478 p509 } a51 {p348 p445 p238 p450 p14 p23 p404 p380 p382 p359 p464 p478 p509 }) ({p502 p325 p279 p454 p12 p249 p333 p513 p437 p386 p258 p86 p295 p475 p116 p177 p88 p387 p150 } a31 {p326 p278 p329 p213 p141 p169 p408 p191 p415 p259 p462 p261 p309 p229 p88 p477 p42 p501 p46 }) ({p426 p0 p511 p240 p241 p17 p21 p24 p403 p378 p405 p380 p383 p77 p460 p80 p174 p341 p463 p497 p505 p464 p88 p232 } a20 {p3 p17 p20 p407 p405 p232 p425 p428 p512 p52 p240 p241 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p445 p154 p275 p394 p12 p283 p17 p20 p400 p405 p413 p218 p425 p241 p512 p289 p167 p77 p339 p460 p80 p145 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p379 p77 p460 p80 p341 p146 p463 p464 p179 p88 p269 }) ({p5 p85 } a39 {p8 p87 p66 }) ({p52 } a22 {p35 }) ({p347 p445 p370 p240 p289 p96 p12 p17 p187 p487 p378 p405 p380 p211 p383 p77 p460 p80 p463 p506 p464 p88 p499 } a31 {p451 p17 p203 p353 p205 p405 p29 p418 p297 p46 p237 p240 p301 p378 p380 p383 p385 p77 p460 p80 p114 p463 p498 p464 p179 p88 }) ({p152 p393 p313 p449 p280 p12 p284 p216 p406 p405 p291 p365 p422 p234 p300 p480 p483 p210 p334 p108 p142 p384 p77 p460 p80 p495 p262 p463 p464 p263 p88 } a31 {p442 p151 p392 p397 p282 p405 p217 p293 p46 p235 p137 p243 p484 p250 p251 p376 p335 p337 p77 p144 p439 p460 p494 p80 p463 p464 p264 p266 p88 p519 }) ({p169 p324 p34 p463 p332 p419 p229 p389 p290 } a51 {p171 p325 p464 p455 p116 p513 p230 p23 p388 }) ({p325 p454 p12 p374 p333 p405 p408 p437 p128 p88 p387 p232 p136 } a31 {p326 p163 p329 p213 p405 p169 p408 p415 p222 p131 p462 p88 p46 }) ({p238 p301 p14 p164 p404 p380 p382 p171 p363 p34 p175 p464 p478 p311 p509 } a51 {p238 p301 p14 p164 p23 p404 p380 p382 p171 p364 p175 p464 p346 p478 p509 }) ({p292 p395 p372 p21 p366 } a20 {p254 p291 p52 p393 p420 p298 p378 }) ({p206 p105 p62 p89 } a7 {p314 p90 p69 }) ({p436 p73 p324 p12 p464 p88 p389 p290 } a31 {p171 p327 p464 p88 p230 p159 p470 p515 p46 }) ({p327 p21 p138 p470 p380 p405 p438 p77 p460 p80 p440 p463 p464 p88 p159 p299 } a20 {p238 p52 p331 p194 p252 p405 p436 p77 p460 p80 p463 p342 p464 p441 p88 }) ({p363 p292 p449 p12 p345 p378 p198 } a31 {p442 p174 p204 p179 p346 p298 p378 p46 }) ({p502 p53 p276 p12 p166 p22 p302 p256 p412 p461 p308 p475 p321 p88 p520 } a31 {p323 p2 p274 p125 p75 p257 p88 p477 p101 p466 p501 p233 p46 }) ({p512 p339 p129 p12 p463 p196 p178 p167 p374 p232 } a31 {p481 p163 p222 p341 p463 p505 p135 p46 }) ({p25 } a46 {p27 }) ({p442 p481 p397 p451 p17 p21 p405 p379 p406 p337 p77 p460 p80 p293 p463 p464 p88 p519 p297 p424 p234 } a20 {p300 p480 p445 p52 p289 p449 p17 p400 p167 p405 p406 p384 p77 p339 p460 p80 p463 p196 p464 p422 p88 p521 p234 }) ({p480 p53 p393 p12 p166 p334 p22 p335 p216 p405 p384 p460 p463 p464 p422 p88 p234 p520 } a31 {p2 p397 p250 p335 p405 p337 p217 p75 p439 p460 p463 p464 p88 p519 p466 p46 }) ({p151 p503 p326 p329 p250 p282 p251 p21 p213 p335 p405 p141 p75 p439 p460 p259 p261 p463 p464 p88 p477 p42 } a20 {p502 p53 p52 p393 p313 p279 p249 p334 p333 p216 p405 p142 p437 p460 p262 p463 p464 p263 p86 p88 p150 p479 p520 }) ({p170 p103 p130 p319 p21 p125 p89 p212 } a20 {p272 p52 p104 p98 p472 p321 p302 p88 p124 p189 p47 }) ({p0 p277 p155 p396 p17 p21 p24 p403 p405 p410 p220 p222 p131 p505 p426 p235 p511 p137 p244 p484 p376 p383 p77 p460 p80 p174 p496 p341 p146 p463 p464 p88 p269 } a20 {p3 p154 p283 p17 p20 p407 p405 p413 p291 p157 p223 p286 p365 p232 p425 p136 p241 p428 p512 p52 p485 p210 p107 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p0 p277 p155 p396 p17 p21 p24 p403 p405 p410 p220 p505 p426 p511 p240 p244 p486 p378 p380 p383 p77 p460 p80 p174 p341 p146 p463 p498 p464 p88 p269 } a20 {p3 p154 p283 p17 p20 p407 p405 p413 p157 p223 p286 p425 p241 p428 p512 p52 p240 p487 p107 p378 p380 p383 p77 p460 p80 p497 p463 p464 p178 p345 p88 p197 }) ({p199 p7 p449 p17 p203 p353 p21 p405 p29 p411 p418 p226 p510 p237 p240 p110 p378 p380 p383 p77 p460 p80 p114 p463 p497 p464 p88 p499 p346 } a20 {p347 p202 p96 p449 p17 p187 p26 p405 p363 p417 p506 p510 p370 p52 p240 p246 p378 p380 p211 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 }) ({p103 p316 p130 p229 p21 p381 } a20 {p91 p52 p317 p104 p98 p472 p116 p513 p189 }) ({p3 p202 p12 p17 p26 p407 p405 p157 p363 p417 p223 p286 p428 p240 p246 p487 p107 p378 p380 p383 p77 p460 p80 p115 p463 p464 p345 p88 p197 p499 } a31 {p199 p7 p277 p155 p17 p24 p405 p411 p410 p226 p46 p426 p511 p240 p244 p110 p378 p380 p383 p385 p77 p460 p80 p174 p463 p498 p464 p88 p346 }) ({p31 } a49 {p9 }) ({p91 p21 } a20 {p91 p52 }) ({p238 p301 p14 p164 p354 p404 p380 p382 p171 p34 p175 p464 p207 p478 p509 } a51 {p348 p238 p301 p14 p164 p23 p404 p380 p382 p171 p359 p175 p464 p478 p509 }) ({p439 p34 p342 p464 p331 p420 p517 p466 p404 p194 } a51 {p438 p395 p464 p334 p23 p466 p404 p520 }) ({p467 p12 p14 p320 p517 p404 p193 } a31 {p127 p77 p143 p514 p322 p466 p215 p46 }) ({p235 p428 p240 p202 p12 p17 p376 p24 p378 p405 p380 p383 p77 p460 p363 p80 p463 p464 p498 p345 p88 p197 } a31 {p235 p199 p511 p240 p17 p376 p24 p378 p405 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 p46 }) ({p119 p12 p139 p232 } a31 {p236 p240 p222 p213 p46 }) ({p323 p278 p183 p21 p126 p169 p408 p191 p257 p462 p473 p309 p229 p88 p101 p501 p233 } a20 {p52 p325 p276 p454 p513 p190 p412 p386 p258 p461 p308 p224 p295 p475 p116 p177 p88 p387 }) ({p323 p21 p126 p190 p169 p408 p462 p473 p309 p229 p88 p101 p501 p233 } a20 {p52 p325 p454 p513 p190 p412 p386 p461 p308 p224 p295 p475 p116 p88 p387 }) ({p238 p12 p165 p17 p488 p405 p338 p77 p460 p362 p80 p195 p463 p464 p88 p509 } a31 {p164 p17 p138 p405 p77 p460 p80 p340 p440 p147 p463 p464 p88 p478 p46 }) ({p471 p21 p303 } a20 {p52 p472 p310 p302 p500 }) ({p171 p385 p464 p88 p21 p514 p518 p230 p322 } a20 {p324 p52 p419 p88 p499 p404 p389 p290 }) ({p170 p130 p12 p89 } a31 {p253 p272 p181 p189 p89 p46 }) ({p510 p240 p12 p17 p378 p405 p380 p383 p77 p460 p80 p364 p463 p464 p343 p88 p45 p299 } a31 {p510 p240 p17 p378 p405 p380 p383 p77 p460 p80 p175 p463 p464 p88 p311 p46 p299 }) ({p480 p503 p53 p393 p313 p280 p12 p282 p166 p334 p22 p216 p406 p405 p384 p460 p262 p463 p464 p422 p88 p234 p520 } a31 {p503 p2 p392 p397 p250 p282 p251 p335 p405 p337 p217 p75 p439 p460 p463 p464 p264 p88 p519 p466 p46 }) ({p129 p463 p21 p388 } a20 {p128 p52 p463 p332 p387 p135 }) ({p510 p240 p12 p17 p378 p405 p380 p304 p383 p359 p77 p460 p80 p463 p464 p88 p478 } a31 {p510 p240 p301 p450 p17 p378 p405 p380 p383 p359 p77 p460 p80 p463 p464 p88 p478 p46 }) ({p300 p480 p393 p449 p12 p334 p405 p254 p384 p291 p77 p460 p80 p463 p464 p422 p88 } a31 {p442 p243 p372 p397 p405 p337 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p461 p34 p224 p514 p518 p322 p405 } a51 {p323 p156 p23 p404 p126 }) ({p12 p165 p17 p405 p304 p383 p338 p77 p460 p80 p195 p463 p464 p88 p509 } a31 {p301 p450 p17 p405 p383 p77 p460 p80 p340 p147 p463 p464 p88 p478 p46 }) ({p347 p510 p237 p445 p370 p240 p289 p12 p17 p187 p378 p405 p380 p383 p77 p460 p80 p463 p506 p464 p498 p88 } a31 {p451 p17 p203 p353 p205 p405 p29 p418 p297 p46 p510 p237 p240 p301 p378 p380 p383 p77 p460 p80 p463 p464 p498 p179 p88 }) ({p467 p80 p34 p320 p517 p310 p125 p193 } a51 {p127 p77 p58 p321 p23 p303 p520 }) ({p481 p239 p2 p392 p163 p280 p397 p19 p21 p379 p405 p337 p409 p217 p77 p460 p493 p80 p463 p464 p88 p519 p424 } a20 {p444 p394 p280 p400 p22 p406 p405 p218 p128 p422 p234 p480 p52 p166 p167 p384 p77 p339 p460 p493 p80 p463 p196 p464 p88 p521 }) ({p382 p171 p363 p433 p34 p175 p449 p164 p464 p478 p311 p380 } a51 {p442 p382 p171 p364 p175 p164 p464 p23 p346 p452 p478 p380 }) ({p442 p153 p392 p397 p281 p451 p17 p284 p21 p405 p409 p217 p293 p297 p424 p481 p239 p379 p337 p77 p144 p460 p80 p463 p464 p264 p88 p519 } a20 {p152 p445 p394 p449 p280 p17 p400 p284 p406 p405 p218 p422 p234 p300 p480 p52 p289 p167 p384 p77 p339 p460 p80 p145 p463 p196 p464 p267 p88 p521 }) ({p236 p437 p327 p34 p464 p86 p159 p470 p515 } a51 {p119 p436 p73 p329 p464 p42 p23 }) ({p3 p202 p449 p12 p17 p26 p405 p291 p363 p365 p300 p426 p428 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p235 p426 p199 p511 p137 p243 p7 p17 p24 p376 p405 p383 p77 p460 p80 p174 p293 p496 p463 p464 p88 p346 p46 }) ({p443 p412 p12 p22 p156 } a31 {p2 p17 p233 p405 p46 }) ({p442 p300 p481 p451 p17 p21 p405 p379 p406 p337 p77 p460 p80 p463 p464 p88 p519 } a20 {p480 p300 p445 p52 p449 p17 p167 p405 p406 p384 p77 p339 p460 p80 p463 p196 p464 p88 p521 }) ({p347 p510 p370 p240 p12 p17 p451 p187 p378 p405 p380 p211 p383 p77 p460 p80 p114 p463 p506 p464 p498 p88 } a31 {p510 p237 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p114 p418 p463 p464 p498 p88 p46 }) ({p0 p17 p21 p24 p403 p405 p413 p220 p505 p232 p426 p511 p240 p244 p378 p380 p383 p77 p460 p80 p174 p341 p463 p497 p464 p88 } a20 {p3 p17 p20 p407 p405 p413 p223 p232 p425 p241 p428 p512 p52 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p235 p510 p511 p240 p202 p372 p12 p17 p376 p378 p405 p380 p383 p77 p460 p363 p80 p463 p464 p498 p345 p179 p88 p197 } a31 {p235 p510 p199 p511 p240 p372 p17 p376 p378 p405 p380 p383 p77 p460 p80 p174 p463 p464 p498 p179 p88 p346 p46 }) ({p71 } a29 {p12 }) ({p357 p358 p78 p460 p361 p355 p356 } a12 {p357 p358 p460 p361 p39 p355 p356 }) ({p442 p152 p392 p397 p281 p451 p17 p284 p21 p405 p409 p217 p293 p297 p424 p481 p239 p379 p337 p77 p460 p80 p463 p464 p264 p88 p519 } a20 {p152 p445 p394 p449 p280 p17 p400 p284 p406 p405 p218 p422 p234 p300 p480 p52 p289 p167 p384 p77 p339 p460 p80 p463 p196 p464 p267 p88 p521 }) ({p66 } a14 {p33 }) ({p0 p17 p21 p24 p403 p405 p413 p220 p222 p131 p505 p426 p235 p511 p137 p244 p376 p383 p77 p460 p80 p174 p495 p341 p463 p464 p88 } a20 {p3 p17 p20 p407 p405 p413 p291 p223 p365 p232 p425 p136 p241 p428 p512 p52 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p323 p169 p408 p2 p163 p308 p462 p19 p88 p21 p233 } a20 {p444 p52 p325 p454 p166 p22 p412 p128 p386 p461 p308 p88 p387 }) ({p127 p318 p21 p89 p118 p160 } a20 {p52 p320 p123 p88 p214 p193 }) ({p235 p137 p326 p329 p279 p250 p21 p251 p213 p376 p335 p405 p77 p439 p460 p80 p259 p222 p131 p463 p464 p88 p150 } a20 {p393 p313 p279 p216 p405 p291 p365 p232 p136 p52 p249 p210 p334 p374 p333 p108 p437 p77 p460 p80 p262 p463 p464 p88 p150 }) ({p419 p21 } a20 {p52 p415 p464 }) ({p12 p14 p331 p194 p405 p382 p77 p460 p80 p463 p342 p464 p517 p88 } a31 {p430 p336 p215 p405 p438 p77 p143 p460 p80 p285 p463 p464 p88 p46 }) ({p347 p510 p445 p240 p289 p12 p17 p187 p378 p405 p380 p383 p77 p460 p80 p463 p418 p506 p464 p498 p88 } a31 {p510 p240 p301 p451 p17 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p463 p418 p464 p498 p179 p88 p297 p46 }) ({p34 p320 p310 p500 p214 p125 p193 } a51 {p127 p471 p321 p23 p303 p47 }) ({p300 p428 p202 p449 p12 p17 p210 p108 p24 p405 p383 p291 p77 p460 p363 p80 p496 p463 p464 p365 p345 p88 p197 } a31 {p442 p235 p199 p511 p137 p243 p17 p376 p24 p405 p383 p77 p460 p80 p174 p293 p496 p463 p464 p88 p346 p46 }) ({p30 } a48 {p32 }) ({p347 p510 p445 p240 p289 p12 p17 p187 p378 p405 p380 p29 p383 p77 p460 p80 p463 p464 p498 p88 } a31 {p510 p240 p301 p451 p17 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p463 p464 p498 p179 p88 p297 p46 }) ({p83 p27 } a37 {p28 p56 p84 }) ({p28 } a47 {p34 }) ({p151 p235 p137 p326 p329 p279 p250 p21 p251 p213 p376 p335 p405 p141 p77 p439 p460 p80 p259 p222 p131 p463 p464 p88 } a20 {p393 p313 p279 p216 p405 p291 p365 p232 p136 p52 p249 p210 p334 p374 p333 p108 p142 p437 p77 p460 p80 p262 p463 p464 p88 p150 }) ({p481 p338 p362 p163 p34 p195 p14 p464 p165 p488 p404 p135 } a51 {p339 p129 p196 p164 p464 p14 p167 p23 p478 p404 }) ({p316 p130 p12 p124 p381 } a31 {p253 p181 p105 p319 p189 p89 p212 p46 }) ({p442 p199 p7 p451 p17 p203 p353 p21 p405 p29 p411 p293 p418 p226 p297 p510 p237 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 p346 } a20 {p347 p445 p202 p449 p17 p187 p26 p405 p363 p417 p506 p300 p510 p370 p52 p240 p246 p289 p378 p380 p211 p383 p77 p460 p80 p463 p497 p464 p88 }) ({p442 p153 p392 p275 p397 p281 p451 p17 p21 p405 p409 p217 p293 p297 p424 p481 p239 p379 p337 p77 p144 p460 p80 p495 p463 p464 p264 p266 p88 p519 } a20 {p152 p445 p394 p449 p280 p17 p400 p284 p406 p405 p218 p422 p234 p300 p480 p52 p242 p289 p167 p384 p77 p339 p460 p80 p145 p495 p463 p196 p464 p267 p88 p521 }) ({p510 p481 p445 p240 p12 p17 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p208 p88 p297 } a31 {p510 p481 p240 p301 p451 p17 p205 p378 p405 p380 p383 p360 p77 p460 p80 p463 p464 p498 p88 p297 p46 }) ({p169 p324 p362 p163 p34 p464 p332 p488 p404 p135 p389 } a51 {p171 p325 p129 p164 p464 p23 p404 p388 }) ({p238 p240 p17 p21 p378 p405 p380 p383 p77 p460 p80 p340 p175 p147 p463 p464 p88 } a20 {p238 p52 p240 p17 p378 p405 p380 p383 p77 p460 p80 p463 p464 p343 p88 p45 p509 }) ({p46 } a33 {p63 }) ({p119 p240 p12 } a31 {p236 p240 p213 p46 }) ({p202 p449 p14 p17 p21 p123 p22 p204 p124 p404 p452 p26 p405 p359 p412 p224 p420 p135 p232 p298 p509 p510 p238 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 p311 } a20 {p202 p449 p14 p17 p123 p22 p204 p124 p404 p452 p26 p405 p412 p364 p224 p207 p420 p135 p232 p298 p509 p510 p238 p52 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 }) ({p480 p384 p292 p395 p449 p12 p334 p366 } a31 {p337 p442 p243 p439 p420 p179 p519 p298 p378 p46 }) ({p502 p326 p329 p279 p250 p251 p21 p213 p335 p405 p75 p439 p460 p259 p463 p464 p88 p42 } a20 {p502 p53 p52 p393 p313 p279 p249 p334 p333 p216 p405 p437 p460 p262 p463 p464 p86 p88 p520 }) ({p510 p240 p433 p450 p17 p21 p378 p405 p380 p382 p383 p359 p77 p460 p80 p463 p464 p88 p311 } a20 {p510 p52 p240 p17 p452 p378 p405 p380 p382 p304 p383 p77 p460 p80 p364 p463 p464 p207 p88 }) ({p325 p12 p374 p333 p405 p408 p437 p128 p77 p460 p80 p462 p463 p464 p465 p88 p387 p232 p136 } a31 {p326 p163 p329 p213 p405 p169 p408 p77 p460 p80 p222 p131 p462 p463 p464 p465 p88 p46 }) ({p292 p372 p21 p366 p198 } a20 {p254 p291 p52 p204 p197 p298 p378 }) ({p164 p430 p21 p336 p215 p405 p77 p143 p460 p80 p285 p463 p464 p88 p478 } a20 {p52 p14 p165 p488 p405 p382 p338 p77 p460 p362 p80 p195 p463 p464 p88 }) ({p3 p202 p12 p17 p26 p407 p405 p363 p417 p235 p428 p240 p244 p376 p378 p380 p383 p77 p460 p80 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p17 p24 p405 p411 p46 p426 p235 p511 p240 p244 p376 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p433 p450 p430 p17 p21 p336 p405 p77 p460 p80 p285 p463 p464 p88 p478 } a20 {p52 p165 p17 p452 p405 p382 p304 p338 p77 p460 p80 p195 p463 p464 p88 }) ({p151 p393 p313 p449 p280 p12 p282 p216 p406 p405 p291 p365 p422 p234 p300 p480 p210 p334 p108 p384 p77 p460 p80 p262 p463 p464 p88 } a31 {p442 p151 p392 p397 p282 p405 p217 p293 p46 p235 p137 p243 p250 p251 p376 p335 p337 p77 p439 p460 p80 p463 p464 p264 p88 p519 }) ({p152 p393 p313 p449 p280 p12 p282 p216 p406 p405 p291 p365 p422 p234 p300 p480 p210 p334 p108 p142 p384 p77 p460 p80 p262 p463 p464 p88 } a31 {p442 p151 p392 p397 p282 p405 p217 p293 p46 p235 p137 p243 p250 p251 p376 p335 p337 p77 p144 p439 p460 p80 p463 p464 p264 p88 p519 }) ({p438 p77 p460 p327 p463 p464 p21 p88 p470 p159 p515 p405 } a20 {p52 p467 p331 p194 p405 p436 p73 p460 p463 p342 p464 p517 p88 }) ({p324 p238 p12 p488 p405 p436 p77 p460 p362 p80 p463 p464 p88 p389 } a31 {p327 p164 p138 p470 p405 p171 p77 p460 p80 p440 p463 p464 p88 p159 p46 }) ({p143 p461 p34 p17 p166 p514 p322 p215 p405 } a51 {p323 p443 p14 p156 p23 p404 }) ({p272 p12 p450 p17 p451 p203 p353 p354 p125 p405 p356 p127 p357 p358 p359 p360 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p353 p354 p125 p405 p356 p127 p357 p358 p359 p360 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p480 p384 p395 p58 p12 p166 p334 p22 p520 } a31 {p337 p2 p439 p80 p420 p519 p466 p46 }) ({p445 p394 p12 p281 p17 p20 p400 p405 p413 p218 p425 p241 p512 p289 p167 p77 p339 p460 p80 p463 p196 p464 p178 p88 p521 } a31 {p0 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p379 p77 p460 p80 p341 p463 p464 p179 p88 }) ({p300 p480 p393 p449 p12 p210 p334 p335 p216 p405 p384 p291 p77 p460 p80 p463 p464 p365 p422 p88 p234 } a31 {p442 p235 p243 p397 p250 p376 p335 p405 p337 p217 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p238 p14 p204 p404 p380 p382 p174 p34 p464 p343 p45 p509 p299 } a51 {p382 p238 p175 p14 p464 p345 p23 p404 p380 p198 p509 p299 }) ({p292 p395 p21 p378 } a20 {p291 p52 p393 p420 p298 p378 }) ({p14 p17 p21 p123 p22 p124 p354 p26 p355 p357 p359 p363 p364 p224 p135 p232 p298 p238 p240 p378 p380 p382 p73 p436 p383 p437 p384 p77 p80 p497 p86 p310 p88 p499 p500 p202 p449 p204 p404 p452 p405 p412 p420 p509 p510 p512 p332 p460 p115 p463 p464 } a20 {p14 p17 p123 p22 p124 p354 p26 p355 p357 p359 p363 p364 p224 p135 p232 p298 p238 p52 p240 p378 p380 p382 p73 p436 p383 p437 p384 p77 p80 p497 p86 p310 p88 p499 p500 p202 p449 p204 p404 p452 p405 p412 p420 p509 p510 p512 p332 p460 p115 p463 p464 }) ({p315 p34 p229 p377 p500 p290 } a51 {p317 p471 p116 p513 p230 p23 p109 }) ({p199 p7 p449 p17 p203 p353 p21 p405 p29 p411 p418 p226 p510 p237 p240 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 p346 } a20 {p347 p202 p449 p17 p187 p26 p405 p363 p417 p506 p510 p370 p52 p240 p246 p378 p380 p211 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 }) ({p153 p2 p392 p275 p397 p281 p19 p21 p405 p409 p217 p424 p482 p481 p239 p163 p379 p337 p77 p144 p460 p494 p80 p463 p464 p264 p266 p88 p519 } a20 {p152 p444 p394 p280 p400 p284 p22 p406 p405 p218 p128 p422 p234 p480 p483 p52 p242 p166 p167 p384 p77 p339 p493 p460 p80 p145 p463 p196 p464 p267 p88 p521 }) ({p480 p393 p12 p166 p334 p22 p335 p405 p384 p75 p77 p460 p79 p80 p463 p464 p422 p88 p520 } a31 {p2 p397 p335 p405 p337 p75 p77 p439 p460 p79 p80 p463 p464 p88 p519 p46 }) ({p480 p383 p171 p433 p285 p34 p449 p464 p164 p430 p336 } a51 {p337 p442 p382 p171 p464 p164 p431 p23 p452 }) ({p9 } a42 {p74 }) ({p463 p21 p135 p388 } a20 {p52 p463 p332 p387 p135 }) ({p444 p394 p12 p281 p20 p400 p405 p413 p218 p128 p232 p425 p136 p241 p512 p167 p374 p77 p339 p460 p80 p494 p463 p196 p464 p178 p88 p521 } a31 {p0 p396 p281 p19 p403 p405 p409 p220 p222 p131 p505 p424 p46 p481 p239 p163 p379 p77 p460 p80 p494 p341 p463 p464 p88 }) ({p0 p154 p277 p396 p17 p21 p24 p403 p405 p410 p220 p505 p232 p426 p511 p240 p244 p378 p380 p383 p77 p460 p80 p174 p341 p463 p497 p464 p88 p269 } a20 {p3 p154 p283 p17 p20 p407 p405 p413 p157 p223 p286 p232 p425 p241 p428 p512 p52 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p17 p21 p138 p380 p405 p383 p77 p460 p80 p340 p175 p440 p147 p463 p464 p88 p299 } a20 {p238 p52 p17 p252 p405 p383 p77 p460 p80 p463 p464 p343 p441 p88 p45 p509 }) ({p442 p481 p239 p392 p280 p397 p451 p17 p21 p405 p379 p337 p409 p217 p77 p460 p80 p293 p463 p464 p88 p297 p519 p424 } a20 {p445 p394 p449 p280 p17 p400 p406 p405 p218 p422 p234 p300 p480 p52 p289 p167 p384 p77 p339 p460 p80 p463 p196 p464 p88 p521 }) ({p510 p171 p238 p340 p34 p147 p164 p464 p178 p478 p380 } a51 {p171 p427 p238 p341 p164 p464 p23 p478 p380 p509 }) ({p437 p128 p325 p12 p374 p333 p421 p88 p387 p232 p405 p136 } a31 {p169 p326 p415 p163 p222 p131 p329 p465 p88 p213 p405 p46 }) ({p65 } a8 {p60 }) ({p68 } a30 {p36 }) ({p129 p455 p465 p21 p388 } a20 {p128 p52 p463 p332 p421 p387 p135 }) ({p80 p395 p21 p298 p378 } a20 {p52 p393 p80 p420 p298 p378 }) ({p363 p292 p449 p12 p345 p366 p198 } a31 {p442 p243 p174 p204 p179 p346 p298 p378 p46 }) ({p444 p275 p394 p12 p283 p20 p400 p405 p413 p218 p128 p232 p425 p136 p241 p512 p167 p374 p77 p339 p460 p80 p494 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p275 p396 p281 p19 p403 p405 p409 p220 p222 p131 p505 p424 p46 p481 p239 p163 p379 p77 p460 p80 p494 p341 p463 p464 p88 p269 }) ({p76 } a11 {p40 }) ({p3 p202 p449 p12 p17 p26 p407 p405 p291 p363 p417 p365 p300 p428 p244 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p17 p24 p405 p411 p293 p46 p426 p235 p511 p137 p243 p244 p376 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p467 p21 } a20 {p52 p77 p466 }) ({p2 p392 p397 p281 p19 p284 p21 p405 p409 p217 p424 p481 p239 p163 p379 p337 p77 p460 p493 p80 p463 p464 p264 p88 p519 } a20 {p444 p394 p280 p400 p284 p22 p406 p405 p218 p128 p422 p234 p480 p52 p166 p167 p384 p77 p339 p460 p493 p80 p463 p196 p464 p267 p88 p521 }) ({p272 p12 p450 p17 p451 p203 p125 p405 p127 p208 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p205 p125 p405 p127 p360 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p41 } a0 {p5 }) ({p323 p502 p2 p163 p278 p19 p21 p169 p408 p257 p462 p309 p88 p101 p233 } a20 {p502 p444 p52 p325 p276 p454 p166 p22 p412 p128 p386 p258 p461 p308 p295 p88 p387 }) ({p323 p169 p385 p462 p229 p21 p156 p126 } a20 {p52 p325 p461 p454 p224 p116 p387 p499 p513 p405 }) ({p480 p384 p80 p395 p12 p166 p334 p22 p520 } a31 {p337 p2 p439 p80 p420 p519 p46 }) ({p129 p463 p332 p21 } a20 {p128 p52 p463 p332 p135 }) ({p442 p199 p7 p451 p17 p203 p353 p21 p405 p29 p411 p293 p418 p226 p297 p237 p240 p486 p110 p378 p380 p383 p77 p460 p80 p114 p463 p498 p464 p88 p346 } a20 {p347 p445 p202 p96 p449 p17 p187 p26 p405 p363 p417 p506 p300 p370 p52 p240 p246 p289 p487 p378 p380 p211 p383 p77 p460 p80 p115 p497 p463 p464 p88 }) ({p153 p2 p392 p397 p281 p19 p284 p21 p405 p409 p217 p424 p482 p481 p239 p163 p379 p337 p77 p144 p460 p494 p80 p463 p464 p264 p88 p519 } a20 {p152 p444 p394 p280 p400 p284 p22 p406 p405 p218 p128 p422 p234 p480 p483 p52 p166 p167 p384 p77 p339 p493 p460 p80 p145 p463 p196 p464 p267 p88 p521 }) ({p364 p12 p343 p441 p45 p452 p252 } a31 {p243 p433 p175 p179 p311 p299 p46 p380 }) ({p444 p325 p279 p454 p12 p249 p374 p333 p437 p128 p493 p386 p258 p295 p88 p387 p150 p232 p479 p136 } a31 {p482 p503 p326 p163 p278 p329 p19 p213 p141 p169 p408 p415 p259 p222 p131 p462 p261 p309 p88 p46 }) ({p202 p449 p12 p17 p405 p291 p363 p300 p235 p510 p511 p240 p372 p376 p378 p380 p383 p77 p460 p80 p463 p464 p345 p88 p197 } a31 {p442 p235 p510 p199 p511 p240 p372 p17 p376 p378 p405 p380 p383 p77 p460 p80 p174 p293 p463 p464 p88 p346 p46 }) ({p442 p510 p300 p240 p451 p17 p353 p21 p378 p405 p380 p383 p384 p77 p460 p80 p463 p497 p464 p88 p346 } a20 {p347 p510 p300 p445 p52 p240 p449 p17 p378 p405 p380 p383 p384 p77 p460 p363 p80 p463 p497 p464 p88 }) ({p315 p73 p12 p123 p88 p377 p499 p290 } a31 {p385 p318 p105 p88 p230 p515 p160 p46 }) ({p199 p7 p17 p203 p353 p21 p405 p29 p411 p418 p226 p237 p240 p110 p378 p380 p383 p385 p77 p460 p80 p114 p463 p464 p88 p346 } a20 {p347 p202 p96 p17 p187 p26 p405 p363 p417 p506 p370 p52 p240 p246 p378 p380 p211 p383 p77 p460 p80 p115 p463 p464 p88 p499 }) ({p12 p320 p88 p499 p404 p214 p193 } a31 {p127 p385 p88 p514 p518 p322 p46 }) ({p412 p53 p274 p461 p308 p12 p166 p321 p22 p302 p88 p520 } a31 {p323 p75 p2 p274 p88 p101 p466 p125 p233 p46 }) ({p437 p325 p129 p12 p463 p374 p232 p388 } a31 {p169 p163 p222 p329 p463 p332 p213 p135 p46 }) ({p272 p104 p318 p34 p124 p189 p118 p160 } a51 {p170 p130 p319 p123 p23 p212 }) ({p151 p282 p21 p213 p405 p222 p131 p235 p137 p326 p329 p250 p251 p376 p335 p141 p77 p439 p460 p493 p80 p259 p261 p463 p464 p88 } a20 {p393 p313 p279 p216 p405 p291 p365 p232 p136 p52 p249 p210 p334 p374 p333 p108 p142 p437 p77 p460 p493 p80 p262 p463 p464 p263 p88 p150 }) ({p3 p202 p449 p12 p17 p26 p407 p405 p291 p157 p363 p417 p223 p286 p365 p300 p428 p246 p485 p210 p107 p108 p383 p77 p460 p80 p115 p497 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p277 p155 p17 p24 p405 p411 p410 p293 p226 p46 p426 p235 p511 p137 p244 p243 p486 p376 p110 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p3 p155 p202 p12 p17 p26 p407 p405 p157 p363 p417 p223 p286 p235 p428 p240 p246 p376 p378 p380 p383 p77 p460 p80 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p277 p155 p17 p24 p405 p411 p410 p226 p46 p426 p235 p511 p240 p244 p376 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p12 p89 p189 } a31 {p89 p189 p46 }) ({p445 p154 p394 p12 p283 p17 p20 p400 p405 p413 p218 p425 p241 p512 p242 p289 p167 p77 p339 p460 p80 p145 p496 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p379 p77 p460 p80 p496 p341 p146 p463 p464 p179 p88 p269 }) ({p3 p202 p12 p17 p26 p407 p405 p410 p363 p417 p223 p235 p428 p240 p246 p376 p378 p380 p383 p77 p460 p80 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p17 p24 p405 p411 p410 p226 p46 p426 p235 p511 p240 p244 p376 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p272 p12 p450 p17 p451 p203 p125 p405 p127 p207 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p205 p125 p405 p127 p359 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p69 } a9 {p65 }) ({p503 p444 p325 p279 p454 p12 p249 p374 p333 p437 p128 p386 p258 p295 p88 p387 p150 p232 p136 } a31 {p503 p326 p163 p278 p329 p19 p213 p141 p169 p408 p415 p259 p222 p131 p462 p261 p309 p88 p46 }) ({p436 p324 p238 p362 p12 p419 p488 p389 } a31 {p171 p415 p327 p440 p164 p464 p138 p159 p470 p46 }) ({p74 } a10 {p57 }) ({p347 p510 p481 p445 p240 p12 p17 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 } a31 {p510 p481 p240 p301 p451 p17 p353 p205 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 p46 }) ({p444 p512 p12 p20 p167 p374 p405 p409 p128 p77 p339 p460 p80 p494 p463 p196 p464 p178 p88 p232 p424 p521 p136 } a31 {p0 p481 p163 p19 p379 p405 p409 p77 p460 p80 p494 p222 p131 p341 p463 p505 p464 p88 p424 p46 }) ({p445 p241 p512 p289 p12 p17 p20 p400 p167 p405 p409 p218 p77 p339 p460 p80 p463 p196 p464 p178 p88 p521 p425 } a31 {p0 p481 p239 p301 p451 p17 p403 p405 p379 p409 p77 p460 p220 p80 p341 p463 p505 p464 p179 p88 p297 p424 p46 }) ({p202 p449 p14 p17 p21 p123 p22 p204 p124 p404 p452 p26 p405 p412 p224 p207 p420 p135 p232 p298 p509 p510 p238 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 } a20 {p202 p449 p14 p17 p123 p22 p204 p205 p124 p404 p452 p26 p405 p359 p412 p224 p420 p135 p232 p298 p509 p510 p238 p52 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 }) ({p21 p298 p378 p198 } a20 {p52 p204 p197 p298 p378 }) ({p63 } a34 {p59 }) ({p512 p12 p17 p19 p167 p374 p405 p128 p77 p339 p460 p80 p463 p196 p464 p178 p88 p232 p136 } a31 {p481 p163 p17 p19 p405 p77 p460 p80 p222 p131 p341 p463 p505 p464 p88 p46 }) ({p79 p58 p21 p303 } a20 {p52 p80 p468 p310 p302 }) ({p103 p412 p461 p308 p472 p12 p224 p321 p302 p88 p47 } a31 {p323 p103 p473 p88 p101 p125 p126 p233 p46 }) ({p382 p304 p238 p359 p34 p14 p464 p451 p404 p478 p380 p509 } a51 {p382 p445 p238 p359 p450 p14 p464 p23 p404 p478 p380 p509 }) ({p323 p503 p2 p163 p278 p19 p21 p169 p408 p257 p462 p309 p88 p477 p101 p233 } a20 {p502 p444 p52 p325 p276 p454 p166 p22 p412 p128 p386 p258 p461 p308 p295 p88 p387 p479 }) ({p337 p481 p443 p163 p431 p21 } a20 {p480 p383 p128 p52 p339 p196 p17 p166 p167 }) ({p169 p324 p34 p464 p332 p229 p389 p290 } a51 {p171 p325 p464 p116 p513 p230 p23 p388 }) ({p444 p154 p275 p394 p12 p283 p20 p400 p405 p413 p218 p128 p232 p425 p136 p241 p512 p483 p167 p374 p77 p339 p460 p80 p145 p495 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p19 p403 p405 p409 p220 p222 p131 p505 p424 p46 p481 p239 p484 p163 p379 p77 p460 p494 p80 p341 p146 p463 p464 p88 p269 }) ({p382 p467 p12 p14 p342 p331 p517 p194 } a31 {p438 p77 p143 p285 p430 p336 p466 p215 p46 }) ({p292 p21 p378 p198 } a20 {p291 p52 p204 p197 p298 p378 }) ({p56 } a25 {p82 }) ({p152 p393 p313 p280 p12 p282 p22 p216 p406 p405 p422 p234 p479 p480 p53 p166 p334 p142 p384 p493 p460 p262 p463 p464 p88 p520 } a31 {p151 p503 p482 p2 p392 p397 p250 p282 p251 p335 p405 p337 p217 p75 p144 p439 p460 p463 p464 p264 p88 p519 p466 p46 }) ({p17 p21 p123 p22 p124 p404 p405 p412 p224 p232 p240 p378 p380 p73 p383 p437 p384 p385 p77 p460 p80 p115 p463 p464 p86 p88 } a20 {p17 p123 p22 p124 p404 p405 p412 p224 p232 p52 p240 p378 p380 p73 p383 p437 p384 p77 p460 p80 p115 p463 p464 p86 p88 p499 }) ({p253 p75 p274 p319 p473 p88 p21 p42 p125 p501 } a20 {p256 p53 p52 p86 p475 p321 p302 p88 p124 p520 }) ({p59 } a35 {p71 }) ({p510 p481 p348 p445 p240 p12 p17 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 } a31 {p510 p481 p240 p301 p451 p17 p205 p354 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 p46 }) ({p329 p250 p21 p333 p213 p405 p75 p439 p460 p463 p464 p88 p42 } a20 {p53 p52 p393 p334 p333 p216 p405 p437 p460 p463 p464 p86 p88 p520 }) ({p445 p512 p12 p17 p167 p405 p379 p383 p77 p339 p460 p80 p463 p196 p464 p178 p88 } a31 {p481 p301 p451 p17 p405 p379 p383 p77 p460 p80 p341 p463 p505 p464 p88 p46 }) ({p444 p325 p454 p12 p249 p374 p333 p437 p128 p386 p309 p88 p387 p232 p136 } a31 {p326 p163 p329 p19 p213 p169 p408 p415 p259 p222 p131 p462 p309 p88 p46 }) ({p480 p384 p243 p292 p395 p449 p12 p334 } a31 {p337 p442 p243 p439 p420 p179 p519 p298 p46 }) ({p455 p465 p21 p135 p388 } a20 {p52 p463 p332 p421 p387 p135 }) ({p0 p277 p155 p396 p17 p21 p24 p403 p405 p410 p220 p505 p232 p426 p511 p240 p244 p378 p380 p383 p77 p460 p80 p174 p341 p146 p463 p497 p464 p88 p269 } a20 {p3 p154 p283 p17 p20 p407 p405 p413 p157 p223 p286 p232 p425 p241 p428 p512 p52 p240 p107 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p510 p240 p164 p374 p138 p171 p340 p34 p440 p147 p464 p178 p478 } a51 {p171 p427 p238 p341 p464 p164 p23 p139 p478 p509 }) ({p436 p73 p324 p12 p419 p389 p290 } a31 {p171 p415 p327 p464 p230 p159 p470 p515 p46 }) ({p3 p202 p449 p12 p17 p26 p407 p405 p410 p291 p363 p417 p223 p365 p300 p428 p246 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p17 p24 p405 p411 p410 p293 p226 p46 p426 p235 p511 p137 p244 p243 p376 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p0 p396 p17 p283 p21 p24 p403 p405 p410 p220 p222 p131 p505 p426 p235 p511 p137 p244 p376 p383 p77 p460 p80 p174 p495 p341 p463 p464 p88 } a20 {p3 p17 p283 p20 p407 p405 p413 p291 p223 p286 p365 p232 p425 p136 p241 p428 p512 p52 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p0 p396 p17 p283 p21 p24 p403 p405 p410 p220 p505 p232 p426 p511 p240 p244 p378 p380 p383 p77 p460 p80 p174 p341 p463 p497 p464 p88 } a20 {p3 p17 p283 p20 p407 p405 p413 p223 p286 p232 p425 p241 p428 p512 p52 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 }) ({p1 } a21 {p81 }) ({p202 p449 p451 p203 p22 p353 p23 p124 p354 p125 p26 p412 p360 p363 p224 p229 p232 p480 p235 p103 p481 p512 p104 p163 p372 p166 p374 p376 p378 p169 p75 p437 p384 p79 p439 p80 p461 p174 p115 p463 p497 p498 p86 p178 } a45 {p202 p449 p451 p203 p22 p353 p124 p354 p125 p26 p412 p360 p363 p224 p229 p232 p480 p235 p103 p481 p512 p104 p163 p372 p166 p374 p376 p378 p169 p75 p437 p384 p78 p79 p439 p80 p461 p174 p115 p463 p497 p498 p86 p178 }) ({p300 p480 p235 p393 p449 p12 p334 p335 p405 p384 p291 p77 p460 p80 p463 p464 p365 p422 p88 } a31 {p442 p235 p243 p397 p376 p335 p405 p337 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p437 p325 p12 p86 p455 p116 p513 p388 } a31 {p169 p415 p329 p463 p332 p229 p213 p42 p46 }) ({p174 p34 p343 p204 p441 p45 p298 p378 p252 } a51 {p292 p175 p345 p23 p366 p198 p299 p380 }) ({p300 p240 p202 p449 p12 p17 p405 p254 p383 p291 p77 p460 p363 p80 p463 p464 p345 p88 p197 } a31 {p442 p199 p240 p243 p372 p17 p405 p383 p77 p460 p80 p174 p293 p463 p464 p88 p346 p46 }) ({p119 p75 p439 p329 p21 p42 } a20 {p236 p437 p53 p52 p393 p86 p334 p520 }) ({p152 p393 p313 p449 p280 p12 p284 p216 p406 p405 p291 p365 p422 p234 p300 p480 p210 p334 p108 p142 p384 p77 p460 p80 p494 p262 p463 p464 p263 p88 } a31 {p442 p151 p392 p397 p282 p405 p217 p293 p46 p235 p137 p243 p250 p251 p376 p335 p337 p77 p144 p439 p460 p80 p494 p463 p464 p264 p266 p88 p519 }) ({p77 p12 p14 p320 p517 p88 p404 p193 } a31 {p127 p77 p143 p88 p514 p322 p215 p46 }) ({p439 p34 p342 p464 p331 p420 p441 p298 p404 p194 p380 } a51 {p438 p292 p395 p464 p334 p23 p404 p299 p380 }) ({p119 p439 p329 p21 p376 p139 } a20 {p236 p437 p291 p240 p52 p393 p365 p334 p374 }) ({p408 p437 p325 p454 p12 p86 p116 p333 p88 p387 p513 } a31 {p169 p408 p326 p415 p462 p329 p229 p88 p213 p42 p46 }) ({p48 } a19 {p1 }) ({p272 p318 p34 p86 p124 p515 p160 } a51 {p170 p73 p319 p123 p42 p23 }) ({p80 p21 p303 p500 } a20 {p52 p80 p310 p302 p500 }) ({p238 p14 p204 p404 p380 p382 p174 p34 p464 p343 p441 p45 p298 p509 } a51 {p238 p14 p23 p404 p380 p382 p292 p175 p464 p345 p198 p299 p509 }) ({p77 p34 p320 p517 p310 p125 p193 } a51 {p127 p77 p321 p23 p303 p520 }) ({p444 p12 p20 p400 p405 p409 p218 p128 p232 p425 p136 p241 p512 p167 p374 p77 p339 p460 p80 p494 p463 p196 p464 p178 p88 p521 } a31 {p0 p481 p239 p163 p19 p403 p379 p405 p409 p77 p460 p220 p80 p494 p222 p131 p341 p463 p505 p464 p88 p424 p46 }) ({p480 p53 p393 p12 p250 p166 p334 p22 p335 p405 p384 p460 p463 p464 p422 p88 p520 } a31 {p2 p397 p250 p335 p405 p337 p75 p439 p460 p463 p464 p88 p519 p466 p46 }) ({p21 p252 } a20 {p52 p243 p380 }) ({p0 p511 p240 p17 p21 p24 p378 p405 p380 p383 p77 p460 p80 p174 p341 p463 p497 p505 p464 p88 p232 p425 } a20 {p3 p428 p512 p52 p240 p17 p20 p378 p405 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 p232 p425 }) ({p481 p239 p2 p163 p397 p19 p21 p379 p405 p406 p337 p217 p77 p460 p493 p80 p463 p464 p88 p519 p424 } a20 {p480 p444 p52 p400 p166 p22 p167 p405 p406 p384 p218 p128 p77 p339 p460 p493 p80 p463 p196 p464 p422 p88 p234 p521 }) ({p253 p103 p181 p274 p319 p21 p188 p125 p89 p212 } a20 {p256 p52 p104 p182 p98 p472 p321 p302 p88 p124 p47 }) ({p502 p325 p454 p12 p249 p333 p513 p437 p191 p386 p86 p295 p475 p116 p88 p387 p150 } a31 {p326 p329 p213 p141 p169 p408 p191 p415 p259 p462 p309 p229 p88 p477 p42 p501 p46 }) ({p40 } a54 {p41 }) ({p235 p0 p511 p137 p17 p21 p24 p376 p405 p383 p77 p460 p80 p174 p495 p222 p131 p341 p463 p505 p464 p88 p425 } a20 {p3 p17 p20 p405 p291 p365 p232 p136 p425 p428 p512 p52 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p169 p324 p362 p163 p34 p463 p332 p419 p488 p135 p389 } a51 {p171 p325 p129 p164 p464 p455 p23 p388 }) ({p79 p395 p58 p21 } a20 {p52 p393 p80 p468 p420 }) ({p170 p75 p385 p319 p88 p21 p42 p125 } a20 {p272 p53 p52 p86 p321 p302 p88 p499 p124 p520 }) ({p21 p230 p314 p90 } a20 {p315 p52 p88 p377 p290 }) ({p71 } a28 {p68 }) ({p301 p243 p415 p57 p179 p88 p205 p466 } a5 {p206 p62 p89 }) ({p480 p53 p393 p313 p12 p166 p334 p22 p251 p216 p406 p405 p384 p460 p463 p464 p422 p88 p234 p520 } a31 {p2 p392 p397 p250 p251 p335 p405 p337 p217 p75 p439 p460 p463 p464 p88 p519 p466 p46 }) ({p3 p202 p12 p17 p26 p407 p405 p157 p363 p417 p223 p286 p235 p428 p240 p246 p107 p376 p378 p380 p383 p77 p460 p80 p115 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p277 p155 p17 p24 p405 p411 p410 p226 p46 p426 p235 p511 p240 p244 p376 p110 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p437 p325 p415 p12 p86 p116 p513 p388 } a31 {p169 p415 p329 p332 p229 p213 p42 p46 }) ({p347 p510 p237 p370 p240 p12 p17 p451 p187 p378 p405 p380 p383 p77 p460 p80 p463 p506 p464 p498 p88 } a31 {p510 p237 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p418 p463 p464 p498 p88 p46 }) ({p33 } a15 {p44 }) ({p44 } a18 {p21 }) ({p480 p383 p171 p143 p285 p34 p464 p430 p17 p166 p336 p215 } a51 {p337 p382 p443 p171 p14 p464 p431 p23 }) ({p32 } a50 {p76 }) ({p326 p329 p250 p249 p21 p213 p335 p405 p75 p439 p460 p463 p464 p88 p42 } a20 {p53 p52 p393 p313 p249 p334 p333 p216 p405 p437 p460 p463 p464 p86 p88 p520 }) ({p442 p153 p392 p275 p397 p281 p451 p17 p21 p405 p409 p217 p293 p297 p424 p481 p239 p484 p379 p337 p77 p144 p460 p80 p496 p463 p464 p264 p266 p88 p519 } a20 {p152 p445 p394 p449 p280 p17 p400 p284 p406 p405 p218 p422 p234 p300 p480 p52 p242 p289 p485 p167 p384 p77 p339 p460 p80 p145 p495 p463 p196 p464 p267 p88 p521 }) ({p0 p277 p396 p17 p21 p24 p403 p405 p410 p220 p222 p131 p505 p426 p235 p511 p137 p244 p376 p383 p77 p460 p80 p174 p495 p341 p463 p464 p88 p269 } a20 {p3 p283 p17 p20 p407 p405 p413 p291 p157 p223 p286 p365 p232 p425 p136 p241 p428 p512 p52 p210 p374 p108 p383 p77 p460 p80 p495 p463 p464 p178 p345 p88 p197 }) ({p91 p317 p98 p472 p12 p86 p116 p513 p124 } a31 {p253 p103 p105 p319 p473 p229 p88 p42 p46 }) ({p427 p512 p12 p139 p232 } a31 {p510 p240 p222 p505 p46 }) ({p35 } a23 {p37 }) ({p182 p276 p12 p302 p190 p256 p412 p461 p308 p98 p472 p224 p321 p88 p47 } a31 {p323 p103 p274 p183 p188 p125 p126 p257 p473 p88 p101 p233 p46 }) ({p481 p2 p163 p19 p21 p379 p405 p406 p337 p77 p460 p493 p80 p463 p464 p88 p422 p519 } a20 {p480 p444 p52 p166 p167 p22 p405 p406 p384 p128 p77 p339 p460 p493 p80 p463 p196 p464 p88 p422 p521 }) ({p347 p510 p240 p12 p17 p451 p187 p378 p405 p380 p383 p77 p460 p80 p418 p463 p506 p464 p498 p88 } a31 {p510 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p418 p463 p464 p498 p88 p46 }) ({p3 p277 p202 p12 p17 p26 p407 p405 p363 p417 p223 p286 p235 p428 p240 p246 p376 p378 p380 p383 p77 p460 p80 p463 p464 p498 p345 p88 p197 } a31 {p199 p7 p277 p17 p24 p405 p411 p410 p226 p46 p426 p235 p511 p240 p244 p376 p378 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 }) ({p3 p202 p449 p12 p17 p26 p407 p405 p291 p157 p363 p417 p223 p286 p365 p300 p428 p246 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p277 p17 p24 p405 p411 p410 p293 p226 p46 p426 p235 p511 p137 p244 p243 p376 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p444 p325 p278 p454 p12 p249 p374 p333 p437 p128 p386 p295 p88 p387 p150 p232 p136 } a31 {p326 p163 p278 p329 p19 p213 p141 p169 p408 p415 p259 p222 p131 p462 p309 p88 p46 }) ({p384 p12 p17 p431 } a31 {p383 p17 p519 p46 }) ({p382 p12 p342 p331 p441 p452 p194 p252 } a31 {p438 p243 p433 p285 p430 p179 p336 p299 p380 p46 }) ({p442 p510 p199 p240 p451 p17 p203 p353 p21 p378 p26 p405 p380 p383 p77 p460 p80 p293 p463 p497 p464 p88 p297 p346 } a20 {p347 p300 p510 p445 p52 p240 p289 p202 p449 p17 p187 p378 p26 p405 p380 p383 p77 p460 p363 p80 p463 p497 p464 p88 }) ({p511 p240 p17 p20 p21 p378 p405 p380 p383 p77 p460 p80 p174 p341 p463 p497 p505 p464 p88 p232 } a20 {p428 p512 p52 p240 p17 p20 p378 p405 p380 p383 p77 p460 p80 p463 p497 p464 p178 p345 p88 p197 p232 }) ({p235 p511 p137 p17 p20 p21 p376 p405 p383 p77 p460 p80 p174 p495 p222 p131 p341 p463 p505 p464 p88 } a20 {p428 p512 p52 p17 p20 p210 p374 p108 p405 p383 p291 p77 p460 p80 p495 p463 p464 p365 p178 p345 p88 p197 p232 p136 }) ({p412 p461 p308 p98 p472 p12 p224 p321 p302 p88 p188 p47 } a31 {p323 p103 p473 p88 p188 p101 p125 p126 p233 p46 }) ({p235 p137 p326 p329 p250 p249 p21 p213 p376 p335 p405 p77 p439 p460 p80 p222 p131 p463 p464 p88 } a20 {p52 p393 p313 p249 p210 p334 p374 p333 p108 p216 p405 p437 p291 p77 p460 p80 p463 p464 p365 p88 p232 p136 }) ({p348 p272 p12 p450 p17 p451 p203 p125 p405 p127 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p205 p354 p125 p405 p127 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p510 p240 p12 p17 p378 p405 p380 p304 p383 p77 p460 p80 p463 p464 p207 p88 p478 } a31 {p510 p240 p301 p450 p17 p205 p378 p405 p380 p383 p359 p77 p460 p80 p463 p464 p88 p478 p46 }) ({p347 p510 p240 p12 p17 p451 p187 p378 p405 p380 p29 p383 p77 p460 p80 p463 p464 p498 p88 } a31 {p510 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p463 p464 p498 p88 p46 }) ({p445 p512 p12 p17 p20 p167 p405 p409 p77 p339 p460 p80 p463 p196 p464 p178 p88 p297 p521 } a31 {p0 p481 p301 p451 p17 p405 p379 p409 p77 p460 p80 p341 p463 p505 p464 p88 p297 p46 }) ({p442 p199 p7 p451 p17 p203 p353 p21 p405 p29 p411 p293 p418 p297 p510 p240 p246 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 p346 } a20 {p347 p445 p202 p449 p17 p187 p26 p405 p363 p417 p506 p300 p510 p370 p52 p240 p289 p246 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 }) ({p442 p199 p7 p451 p17 p203 p353 p21 p405 p29 p293 p417 p297 p510 p240 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 p346 } a20 {p347 p445 p202 p449 p17 p187 p26 p405 p363 p417 p506 p300 p510 p52 p240 p289 p378 p380 p383 p77 p460 p80 p463 p497 p464 p88 }) ({p442 p481 p239 p397 p451 p17 p21 p405 p379 p406 p337 p217 p77 p460 p80 p293 p463 p464 p88 p519 p297 p424 } a20 {p300 p480 p445 p52 p289 p449 p17 p400 p167 p405 p406 p384 p218 p77 p339 p460 p80 p463 p196 p464 p422 p88 p234 p521 }) ({p317 p471 p12 p86 p116 p499 p513 p124 p109 } a31 {p253 p385 p105 p319 p229 p42 p500 p46 }) ({p408 p437 p325 p415 p12 p86 p116 p333 p88 p387 p513 } a31 {p169 p408 p326 p415 p329 p229 p88 p213 p42 p46 }) ({p412 p461 p58 p12 p166 p321 p22 p303 p520 } a31 {p323 p2 p80 p310 p466 p125 p233 p46 }) ({p300 p480 p235 p243 p393 p449 p12 p334 p405 p384 p291 p77 p460 p80 p463 p464 p422 p88 } a31 {p442 p235 p243 p397 p405 p337 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p445 p239 p512 p289 p12 p17 p20 p400 p167 p405 p409 p77 p339 p460 p80 p463 p196 p464 p178 p88 p521 p425 } a31 {p0 p481 p239 p301 p451 p17 p403 p405 p379 p409 p77 p460 p80 p341 p463 p505 p464 p179 p88 p297 p424 p46 }) ({p363 p12 p345 p179 p378 p198 } a31 {p174 p204 p179 p346 p378 p46 }) ({p323 p2 p163 p276 p19 p21 p169 p408 p462 p309 p88 p101 p233 } a20 {p444 p52 p325 p276 p454 p166 p22 p412 p128 p386 p461 p308 p295 p88 p387 }) ({p510 p240 p12 p17 p452 p378 p405 p380 p383 p77 p460 p80 p364 p463 p464 p343 p441 p88 p45 } a31 {p510 p240 p433 p17 p378 p405 p380 p383 p77 p460 p80 p175 p463 p464 p179 p88 p311 p299 p46 }) ({p444 p154 p394 p12 p283 p20 p400 p405 p413 p218 p128 p232 p425 p136 p241 p512 p483 p242 p167 p374 p77 p339 p460 p80 p145 p495 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p19 p403 p405 p409 p220 p222 p131 p505 p424 p46 p481 p239 p484 p163 p379 p77 p460 p494 p80 p341 p146 p463 p464 p88 p269 }) ({p8 } a41 {p25 }) ({p412 p468 p461 p308 p12 p166 p321 p22 p302 p88 p520 } a31 {p323 p2 p79 p88 p101 p466 p125 p233 p46 }) ({p439 p467 p80 p34 p342 p331 p420 p517 p194 } a51 {p438 p77 p395 p58 p334 p23 p520 }) ({p481 p2 p163 p397 p19 p21 p379 p405 p406 p337 p77 p460 p493 p80 p463 p464 p88 p519 p424 p234 } a20 {p480 p444 p52 p400 p166 p167 p22 p405 p406 p384 p128 p77 p339 p460 p493 p80 p463 p196 p464 p422 p88 p521 p234 }) ({p202 p449 p14 p17 p353 p21 p123 p22 p204 p124 p404 p452 p26 p405 p412 p224 p420 p135 p232 p298 p509 p510 p238 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p346 p500 } a20 {p347 p202 p449 p14 p17 p123 p22 p204 p124 p404 p452 p26 p405 p412 p363 p224 p420 p135 p232 p298 p509 p510 p238 p52 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 }) ({p104 p34 p314 p189 p90 } a51 {p316 p130 p23 p381 }) ({p510 p199 p240 p449 p17 p203 p353 p21 p26 p378 p405 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 p346 } a20 {p347 p510 p52 p240 p202 p449 p17 p187 p26 p378 p405 p380 p383 p77 p460 p363 p80 p115 p463 p497 p464 p88 p499 }) ({p412 p471 p461 p12 p224 p321 p499 p303 p47 } a31 {p323 p385 p310 p500 p125 p126 p233 p46 }) ({p444 p12 p20 p400 p405 p409 p128 p232 p425 p136 p239 p512 p167 p374 p77 p339 p460 p80 p494 p463 p196 p464 p178 p88 p521 } a31 {p0 p481 p239 p163 p19 p403 p379 p405 p409 p77 p460 p80 p494 p222 p131 p341 p463 p505 p464 p88 p424 p46 }) ({p235 p511 p17 p21 p376 p405 p383 p77 p460 p80 p174 p222 p341 p463 p505 p464 p88 p136 } a20 {p428 p512 p52 p17 p210 p374 p405 p383 p291 p77 p460 p80 p463 p464 p178 p365 p345 p88 p197 p232 p136 }) ({p347 p272 p12 p450 p17 p451 p203 p125 p405 p127 p229 p230 p478 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 } a31 {p272 p450 p17 p451 p203 p353 p205 p125 p405 p127 p229 p230 p478 p46 p235 p510 p236 p103 p481 p240 p163 p105 p372 p164 p376 p378 p380 p169 p171 p383 p75 p77 p438 p460 p79 p439 p80 p174 p175 p463 p464 p498 p88 }) ({p253 p75 p385 p274 p319 p88 p21 p42 p125 } a20 {p256 p53 p52 p86 p321 p302 p88 p499 p124 p520 }) ({p471 p310 p21 } a20 {p52 p472 p310 p500 }) ({p36 } a32 {p38 }) ({p236 p171 p437 p240 p327 p34 p440 p464 p374 p138 p470 p159 } a51 {p119 p436 p171 p238 p329 p464 p23 p139 }) ({p323 p169 p408 p385 p462 p229 p88 p21 p126 p233 } a20 {p412 p52 p325 p386 p461 p454 p224 p116 p88 p513 p387 p499 }) ({p12 p123 p314 p90 } a31 {p318 p105 p89 p118 p160 p46 }) ({p151 p282 p21 p213 p405 p222 p131 p235 p482 p137 p326 p329 p250 p251 p376 p335 p141 p77 p439 p460 p494 p80 p259 p261 p463 p464 p88 } a20 {p393 p313 p279 p216 p405 p291 p365 p232 p136 p483 p52 p249 p210 p334 p374 p333 p108 p142 p437 p77 p493 p460 p80 p262 p463 p464 p263 p88 p150 }) ({p510 p481 p445 p240 p12 p17 p205 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 } a31 {p510 p481 p240 p301 p451 p17 p205 p378 p405 p380 p383 p77 p460 p80 p463 p464 p498 p88 p297 p46 }) ({p151 p503 p326 p329 p279 p250 p251 p21 p213 p335 p405 p141 p75 p439 p460 p259 p463 p464 p88 p477 p42 } a20 {p502 p53 p52 p393 p313 p279 p249 p334 p333 p216 p405 p142 p437 p460 p262 p463 p464 p86 p88 p150 p479 p520 }) ({p152 p393 p313 p280 p12 p284 p22 p216 p406 p405 p422 p234 p479 p480 p53 p166 p334 p142 p384 p493 p460 p262 p463 p464 p263 p88 p520 } a31 {p151 p503 p2 p392 p397 p282 p405 p217 p46 p482 p250 p251 p335 p337 p75 p144 p439 p460 p463 p464 p264 p266 p88 p519 p466 }) ({p37 } a24 {p44 }) ({p480 p393 p468 p12 p166 p334 p22 p405 p384 p460 p463 p464 p422 p88 p520 } a31 {p2 p397 p405 p337 p439 p79 p460 p463 p464 p88 p519 p466 p46 }) ({p348 p202 p449 p14 p17 p21 p123 p22 p204 p124 p404 p452 p26 p405 p412 p360 p224 p420 p135 p232 p298 p509 p510 p238 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 } a20 {p202 p449 p14 p17 p123 p22 p204 p354 p124 p404 p452 p26 p405 p412 p224 p420 p208 p135 p232 p298 p509 p510 p238 p52 p240 p512 p332 p378 p380 p382 p73 p436 p383 p437 p384 p77 p460 p80 p115 p463 p497 p464 p86 p310 p88 p499 p500 }) ({p382 p304 p481 p338 p34 p195 p464 p14 p451 p165 p404 } a51 {p382 p445 p339 p196 p450 p464 p14 p167 p23 p478 p404 }) ({p82 } a26 {p71 }) ({p199 p7 p449 p17 p203 p353 p21 p405 p29 p417 p510 p240 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 p346 } a20 {p347 p202 p449 p17 p187 p26 p405 p363 p417 p506 p510 p52 p240 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 }) ({p300 p137 p428 p202 p449 p12 p17 p210 p405 p383 p291 p77 p460 p363 p80 p463 p464 p365 p345 p88 p197 } a31 {p442 p235 p199 p511 p137 p243 p17 p376 p405 p383 p77 p460 p80 p174 p293 p463 p464 p88 p346 p46 }) ({p427 p512 p240 p12 } a31 {p510 p240 p505 p46 }) ({p412 p80 p461 p12 p166 p321 p22 p303 p520 } a31 {p323 p2 p80 p310 p125 p233 p46 }) ({p3 p277 p202 p449 p12 p17 p26 p407 p405 p291 p363 p417 p223 p286 p365 p300 p428 p246 p210 p108 p383 p77 p460 p80 p496 p463 p464 p345 p88 p197 } a31 {p442 p199 p7 p277 p17 p24 p405 p411 p410 p293 p226 p46 p426 p235 p511 p137 p244 p243 p376 p383 p77 p460 p80 p174 p496 p463 p464 p88 p346 }) ({p445 p154 p394 p12 p283 p17 p20 p400 p405 p413 p218 p425 p241 p512 p242 p289 p485 p167 p77 p339 p460 p80 p145 p497 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p486 p379 p77 p460 p80 p496 p341 p146 p463 p464 p179 p88 p269 }) ({p412 p461 p308 p12 p166 p321 p22 p302 p88 p466 p520 } a31 {p323 p2 p88 p101 p466 p125 p233 p46 }) ({p53 p276 p12 p166 p22 p302 p256 p412 p461 p308 p321 p88 p520 p501 } a31 {p323 p75 p2 p274 p257 p88 p125 p101 p466 p233 p46 p501 }) ({p127 p385 p77 p318 p88 p21 p515 p160 } a20 {p73 p52 p467 p320 p517 p123 p88 p499 p193 }) ({p39 } a52 {p72 }) ({p317 p472 p12 p86 p116 p88 p513 p124 p109 } a31 {p253 p105 p319 p473 p229 p88 p42 p46 }) ({p439 p34 p342 p331 p420 p441 p298 p378 p194 p252 } a51 {p438 p292 p395 p334 p366 p23 p299 p380 }) ({p427 p174 p341 p21 p376 p139 } a20 {p510 p291 p240 p52 p178 p365 p345 p374 p197 }) ({p171 p143 p164 p464 p88 p21 p514 p322 p215 } a20 {p324 p52 p362 p14 p419 p88 p488 p404 p389 }) ({p412 p12 p17 p156 } a31 {p17 p233 p405 p46 }) ({p238 p301 p14 p164 p205 p404 p380 p382 p171 p34 p175 p464 p478 p509 } a51 {p238 p301 p14 p164 p205 p23 p404 p380 p382 p171 p175 p464 p478 p509 }) ({p60 } a6 {p30 }) ({p235 p426 p3 p428 p240 p202 p12 p17 p376 p26 p378 p405 p380 p383 p77 p460 p363 p80 p463 p464 p498 p345 p88 p197 } a31 {p235 p426 p199 p511 p240 p7 p17 p24 p376 p378 p405 p380 p383 p77 p460 p80 p174 p463 p464 p498 p88 p346 p46 }) ({p337 p442 p481 p451 p17 p431 p21 } a20 {p480 p383 p445 p52 p339 p449 p196 p17 p167 }) ({p325 p454 p12 p249 p333 p513 p437 p386 p86 p309 p116 p88 p387 } a31 {p326 p329 p213 p169 p408 p415 p259 p462 p309 p229 p88 p42 p46 }) ({p347 p510 p370 p240 p96 p12 p17 p451 p187 p378 p405 p380 p211 p383 p77 p460 p80 p463 p506 p464 p498 p88 } a31 {p510 p237 p240 p17 p451 p203 p353 p205 p378 p405 p380 p29 p383 p77 p460 p80 p114 p418 p463 p464 p498 p88 p46 }) ({p300 p480 p393 p313 p449 p12 p210 p334 p251 p108 p216 p406 p405 p384 p291 p77 p460 p80 p463 p464 p365 p422 p88 p234 } a31 {p442 p235 p137 p243 p392 p397 p250 p251 p376 p335 p405 p337 p217 p77 p439 p460 p80 p293 p463 p464 p88 p519 p46 }) ({p347 p510 p445 p370 p240 p289 p12 p17 p187 p378 p405 p380 p211 p383 p77 p460 p80 p463 p506 p464 p498 p88 } a31 {p451 p17 p203 p353 p205 p405 p29 p418 p297 p46 p510 p237 p240 p301 p378 p380 p383 p77 p460 p80 p463 p464 p498 p179 p88 }) ({p443 p384 p12 p431 p22 } a31 {p383 p2 p17 p519 p46 }) ({p44 } a17 {p48 }) ({p199 p7 p449 p17 p203 p353 p21 p405 p29 p411 p418 p510 p240 p246 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 p346 } a20 {p347 p202 p449 p17 p187 p26 p405 p363 p417 p506 p510 p370 p52 p240 p246 p378 p380 p383 p77 p460 p80 p115 p463 p497 p464 p88 p499 }) ({p170 p12 p88 } a31 {p253 p272 p88 p46 }) ({p445 p153 p275 p394 p12 p283 p17 p20 p400 p405 p413 p218 p425 p241 p512 p289 p167 p77 p339 p460 p80 p463 p196 p464 p178 p267 p88 p521 } a31 {p0 p153 p275 p396 p281 p451 p17 p403 p405 p409 p220 p505 p297 p424 p46 p481 p239 p301 p379 p77 p460 p80 p341 p463 p464 p179 p88 p269 }) ({p300 p235 p240 p202 p449 p12 p17 p405 p383 p291 p77 p460 p363 p80 p463 p464 p365 p345 p88 p197 } a31 {p442 p235 p199 p240 p243 p17 p376 p405 p383 p77 p460 p80 p174 p293 p463 p464 p88 p346 p46 }) ({p12 p331 p452 p194 p405 p380 p382 p77 p460 p80 p463 p342 p464 p441 p88 } a31 {p433 p430 p336 p405 p380 p438 p77 p460 p80 p285 p463 p464 p179 p88 p299 p46 }) }, initialMarking = {p14 p17 p19 p20 p22 p24 p188 p26 p189 p190 p29 p31 p191 p297 p298 p299 p300 p301 p73 p436 p75 p437 p77 p438 p79 p439 p80 p308 p83 p85 p86 p309 p310 p88 p202 p449 p450 p451 p203 p204 p205 p452 p103 p104 p105 p332 p333 p335 p460 p114 p461 p115 p462 p463 p464 p465 p466 p123 p353 p124 p354 p125 p355 p356 p127 p357 p358 p359 p360 p361 p363 p364 p224 p229 p230 p135 p232 p478 p136 p234 p235 p236 p480 p237 p481 p137 p238 p239 p240 p241 p243 p244 p246 p372 p249 p250 p251 p374 p376 p378 p379 p380 p382 p383 p384 p493 p494 p495 p496 p497 p498 p499 p150 p500 p501 p151 p502 p152 p503 p153 p272 p154 p274 p275 p155 p276 p277 p278 p279 p280 p281 p282 p283 p284 p404 p405 p406 p408 p409 p410 p412 p413 p415 p417 p418 p420 p422 p424 p425 p509 p426 p510 p511 p512 p163 p164 p166 p169 p171 p174 p175 p178 p179 }, acceptingPlaces = {p72 } );