// Testfile dumped by Ultimate at 2020/03/07 10:49:42 // // 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 p522 p523 p524 p525 p526 p527 p528 p529 p530 p531 p532 p533 p534 p535 p536 p537 p538 p539 p540 p541 p542 p543 p544 p545 p546 p547 p548 p549 p550 p551 p552 p553 p554 p555 p556 p557 p558 p559 p560 p561 p562 p563 p564 p565 p566 p567 p568 p569 p570 p571 p572 p573 p574 p575 p576 p577 p578 p579 p580 p581 p582 p583 p584 p585 p586 p587 p588 p589 p590 p591 p592 p593 p594 p595 p596 p597 p598 p599 p600 p601 p602 p603 p604 p605 p606 p607 p608 p609 p610 p611 p612 p613 p614 p615 p616 p617 p618 p619 p620 p621 p622 }, transitions = { ({p118 p576 p180 p577 p225 p334 p64 p425 p10 p580 p12 p341 p442 p465 p402 p468 p298 p156 p97 p107 p265 p620 } a31 {p118 p576 p180 p577 p334 p64 p425 p580 p16 p341 p20 p442 p465 p402 p290 p468 p298 p156 p97 p474 p107 p265 p54 }) ({p331 p182 p231 p513 p606 p278 p191 p601 p553 p344 p21 p461 p445 p85 p558 p487 p386 p411 p304 p108 p109 p267 } a20 {p269 p61 p164 p308 p511 p340 p190 p601 p607 p543 p280 p236 p24 p444 p463 p557 p530 p490 p387 p410 p302 p101 p434 p113 }) ({p378 p64 p35 p216 p265 p56 p240 } a51 {p62 p218 p259 p447 p22 p544 }) ({p560 p231 p188 p21 p178 } a20 {p61 p97 p236 p452 p434 p195 }) ({p378 p327 p361 p180 p12 p480 p515 p397 p315 p399 p347 p562 p90 p256 p258 p159 p322 p107 } a31 {p574 p361 p180 p426 p427 p381 p346 p79 p245 p489 p316 p154 p98 p263 p107 p325 p501 p54 }) ({p511 p35 p97 p457 p236 p559 } a51 {p560 p503 p487 p22 p112 }) ({p378 p327 p423 p180 p12 p480 p208 p515 p397 p590 p315 p399 p347 p562 p90 p213 p256 p258 p159 p322 p107 p264 p392 p175 } a31 {p574 p361 p180 p426 p427 p381 p589 p209 p346 p79 p245 p489 p316 p154 p98 p263 p107 p264 p325 p394 p177 p501 p54 }) ({p576 p180 p577 p425 p187 p580 p143 p233 p21 p402 p156 p450 p107 p265 p559 } a20 {p576 p180 p577 p61 p425 p580 p192 p402 p156 p451 p432 p107 p265 p112 }) ({p524 p120 p576 p180 p577 p64 p425 p528 p580 p339 p188 p15 p442 p21 p402 p292 p94 p156 p97 p617 p414 p107 p265 p178 } a20 {p576 p577 p425 p527 p337 p580 p13 p292 p538 p452 p370 p180 p61 p64 p442 p195 p402 p317 p156 p97 p414 p619 p107 p265 p110 }) ({p576 p577 p425 p527 p337 p580 p13 p12 p128 p220 p176 p180 p227 p608 p195 p402 p407 p373 p156 p615 p97 p413 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p580 p128 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p402 p94 p156 p97 p617 p413 p107 p265 p572 }) ({p6 p103 } a39 {p8 p105 p75 }) ({p61 } a22 {p36 }) ({p118 p576 p180 p453 p577 p334 p64 p425 p9 p580 p12 p341 p442 p402 p156 p97 p46 p107 p265 p416 p572 } a31 {p118 p576 p180 p577 p334 p64 p425 p9 p580 p341 p442 p464 p402 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p575 p118 p576 p120 p577 p379 p334 p380 p425 p335 p580 p12 p339 p341 p16 p290 p298 p303 p180 p59 p64 p66 p231 p187 p188 p233 p442 p464 p465 p402 p405 p468 p470 p154 p156 p158 p97 p199 p107 p265 p416 p572 p376 } a31 {p575 p118 p576 p120 p577 p379 p334 p380 p425 p335 p580 p339 p341 p16 p290 p298 p303 p54 p180 p59 p64 p66 p231 p187 p188 p233 p442 p464 p465 p402 p405 p468 p470 p154 p156 p158 p97 p199 p107 p265 p416 p572 p376 }) ({p370 p576 p180 p577 p64 p5 p425 p580 p12 p188 p277 p442 p402 p296 p317 p156 p97 p538 p107 p265 p416 p202 } a31 {p120 p576 p180 p577 p123 p64 p5 p425 p528 p580 p339 p188 p279 p442 p368 p402 p293 p156 p97 p107 p265 p416 p54 }) ({p421 p576 p180 p120 p577 p64 p425 p527 p580 p339 p442 p21 p195 p402 p94 p156 p97 p414 p107 p265 } a20 {p421 p576 p180 p577 p61 p64 p425 p527 p337 p580 p442 p195 p402 p317 p156 p97 p538 p414 p107 p265 p110 }) ({p117 p576 p577 p270 p425 p9 p580 p128 p21 p283 p282 p291 p294 p300 p435 p180 p64 p439 p464 p402 p156 p97 p414 p107 p265 p550 p621 p572 } a20 {p576 p577 p272 p425 p125 p580 p18 p287 p491 p305 p42 p46 p306 p180 p453 p61 p227 p64 p438 p462 p402 p407 p156 p97 p414 p522 p107 p265 p570 p550 }) ({p88 p580 p299 p301 p303 } a12 {p580 p299 p301 p303 p44 }) ({p378 p327 p574 p180 p576 p577 p578 p425 p580 p12 p515 p427 p315 p399 p90 p256 p159 p107 } a31 {p574 p180 p576 p577 p578 p425 p580 p427 p381 p79 p245 p489 p316 p154 p98 p107 p54 }) ({p576 p180 p577 p425 p438 p580 p12 p462 p402 p156 p97 p305 p107 p265 p570 p109 p452 p434 } a31 {p435 p576 p180 p577 p579 p425 p580 p231 p188 p283 p402 p156 p97 p107 p265 p109 p54 }) ({p244 p181 p405 p250 p489 p169 p199 p474 p381 p21 p516 } a20 {p421 p61 p10 p515 p484 p399 p385 p246 p252 p352 p495 p584 p174 p201 }) ({p576 p577 p272 p425 p527 p337 p580 p12 p367 p292 p491 p42 p535 p46 p180 p453 p227 p64 p402 p407 p156 p97 p522 p107 p265 p416 p110 } a31 {p524 p576 p577 p425 p9 p274 p362 p580 p128 p291 p294 p300 p307 p54 p180 p64 p439 p464 p402 p94 p156 p97 p107 p265 p416 p572 p551 }) ({p524 p120 p576 p180 p577 p5 p64 p425 p274 p528 p362 p580 p339 p21 p368 p402 p250 p293 p613 p94 p156 p97 p107 p265 } a20 {p421 p370 p576 p180 p577 p61 p64 p425 p527 p337 p580 p277 p367 p402 p292 p614 p317 p156 p97 p538 p107 p265 p110 p202 }) ({p576 p531 p156 p514 p21 } a20 {p576 p530 p61 p156 p514 p540 }) ({p519 p592 p248 p35 p199 p415 p239 p53 } a51 {p246 p252 p22 p484 p499 p517 p585 }) ({p576 p180 p577 p425 p580 p231 p188 p15 p340 p278 p553 p21 p445 p402 p558 p85 p156 p304 p617 p108 p107 p265 p109 p178 } a20 {p576 p577 p425 p580 p13 p340 p280 p24 p557 p302 p452 p434 p180 p61 p543 p236 p444 p195 p402 p156 p101 p619 p107 p265 p113 }) ({p118 p576 p180 p577 p334 p64 p425 p10 p580 p12 p341 p442 p465 p402 p290 p468 p298 p156 p97 p107 p265 p620 } a31 {p118 p576 p180 p577 p334 p64 p425 p580 p16 p341 p442 p465 p402 p290 p468 p298 p156 p97 p474 p107 p265 p54 }) ({p578 p563 p154 p142 p312 p21 p485 } a20 {p429 p329 p576 p61 p90 p509 p156 p315 }) ({p59 p379 p542 p338 p599 p21 p194 p242 p591 p245 p532 p98 p38 p218 p160 p263 p262 p325 p177 } a20 {p328 p378 p61 p273 p599 p581 p608 p590 p240 p347 p217 p615 p256 p159 p104 p220 p266 p176 p55 p541 }) ({p576 p577 p272 p425 p527 p337 p580 p12 p292 p491 p42 p46 p180 p453 p227 p64 p402 p407 p156 p97 p522 p107 p265 p416 p110 p551 } a31 {p524 p576 p577 p425 p9 p274 p580 p128 p291 p294 p300 p307 p54 p180 p64 p439 p464 p402 p94 p156 p97 p107 p265 p416 p572 p551 }) ({p23 } a46 {p26 }) ({p331 p231 p513 p190 p278 p553 p344 p21 p445 p85 p558 p487 p386 p304 p108 p109 p267 } a20 {p269 p61 p308 p511 p340 p190 p543 p280 p236 p24 p444 p557 p530 p490 p387 p302 p101 p434 p113 }) ({p118 p576 p478 p180 p453 p577 p334 p64 p425 p580 p12 p341 p442 p402 p290 p491 p156 p97 p46 p107 p265 p416 p572 } a31 {p118 p576 p478 p180 p577 p334 p64 p425 p9 p580 p341 p442 p464 p402 p290 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p576 p154 p142 p312 p21 } a20 {p329 p576 p61 p90 p156 p315 }) ({p29 p577 p505 p158 p457 p21 p372 } a20 {p503 p61 p508 p261 p20 p45 p382 p238 p573 }) ({p246 p408 p511 p275 p12 p101 p236 p484 } a31 {p379 p85 p487 p408 p297 p54 }) ({p576 p180 p577 p425 p273 p580 p12 p608 p236 p195 p557 p402 p217 p156 p302 p101 p160 p220 p107 p176 } a31 {p59 p576 p180 p379 p577 p66 p425 p580 p278 p553 p194 p242 p402 p85 p156 p160 p262 p107 p178 p54 }) ({p378 p576 p256 p142 p12 p515 p427 p312 p399 } a31 {p329 p576 p245 p489 p156 p427 p381 p79 p54 }) ({p32 } a49 {p11 }) ({p116 p21 } a20 {p116 p61 }) ({p204 p597 p12 p588 p145 p252 p352 p134 p257 p107 p584 p571 p604 } a31 {p181 p479 p207 p247 p255 p353 p157 p199 p319 p390 p172 p107 p417 p54 }) ({p21 p415 } a20 {p61 p408 p517 }) ({p12 p144 p237 p174 p201 p351 } a31 {p244 p169 p155 p136 p130 p111 p149 p54 }) ({p256 p12 p447 p343 p399 } a31 {p402 p245 p381 p265 p54 }) ({p576 p180 p577 p227 p425 p527 p337 p580 p13 p12 p608 p195 p402 p407 p156 p615 p97 p220 p522 p107 p265 p176 p110 p393 } a31 {p524 p576 p59 p180 p577 p542 p425 p66 p580 p439 p194 p242 p402 p294 p94 p156 p97 p617 p107 p265 p572 p178 p54 p393 }) ({p64 p35 p216 p442 p570 p552 p240 } a51 {p62 p309 p441 p218 p22 p544 }) ({p244 p250 p489 p199 p474 p343 p21 p516 p166 } a20 {p421 p180 p402 p246 p61 p252 p10 p515 p495 p584 p484 p201 }) ({p574 p487 p154 p255 p513 p319 p588 p21 p346 } a20 {p562 p530 p61 p90 p490 p511 p258 p588 p322 p571 }) ({p327 p429 p116 p12 p515 p237 p315 p174 p399 p201 p604 } a31 {p244 p489 p316 p169 p427 p390 p381 p107 p79 p54 }) ({p244 p181 p169 p157 p199 p138 p21 p111 p149 } a20 {p61 p204 p252 p352 p145 p107 p584 p174 p201 p604 p140 }) ({p81 p12 p173 p219 p192 p77 p112 } a31 {p66 p450 p143 p232 p193 p559 p376 p54 }) ({p454 p470 p529 p21 } a20 {p465 p61 p529 p313 }) ({p576 p180 p577 p542 p425 p527 p337 p580 p12 p608 p195 p402 p407 p156 p97 p522 p220 p107 p265 p110 p176 } a31 {p524 p576 p59 p180 p577 p542 p66 p425 p580 p439 p194 p242 p402 p94 p156 p97 p107 p265 p572 p178 p54 }) ({p12 p457 } a31 {p457 p54 }) ({p575 p576 p180 p577 p64 p425 p580 p21 p402 p468 p156 p97 p107 p265 p433 p552 } a20 {p576 p180 p577 p61 p64 p425 p580 p311 p441 p402 p295 p156 p97 p107 p265 p369 }) ({p576 p180 p577 p334 p64 p425 p580 p187 p143 p442 p21 p402 p156 p450 p97 p534 p107 p265 } a20 {p576 p180 p577 p61 p64 p425 p580 p442 p192 p402 p131 p156 p97 p451 p107 p265 p114 }) ({p43 p442 p21 p464 } a20 {p453 p61 p298 p442 p462 }) ({p576 p180 p577 p425 p438 p580 p12 p24 p240 p402 p530 p490 p156 p304 p107 p265 p570 p434 p55 p541 } a31 {p435 p576 p180 p577 p380 p425 p231 p580 p513 p402 p532 p156 p38 p218 p304 p107 p265 p109 p54 }) ({p179 p424 p380 p231 p517 p401 p35 p261 p259 p432 p540 p498 p112 } a51 {p179 p401 p424 p380 p531 p233 p259 p22 p517 p434 p498 p112 }) ({p206 p21 p603 p585 } a20 {p592 p61 p204 p584 p358 p604 }) ({p576 p180 p577 p64 p334 p425 p580 p12 p233 p442 p402 p295 p156 p97 p451 p107 p265 } a31 {p576 p180 p577 p579 p64 p334 p425 p580 p187 p233 p442 p402 p156 p97 p107 p265 p433 p54 }) ({p560 p487 p231 p513 p21 } a20 {p530 p61 p490 p511 p97 p236 p434 }) ({p576 p180 p577 p425 p231 p580 p188 p278 p553 p21 p444 p402 p85 p558 p156 p304 p107 p265 p109 p178 } a20 {p576 p180 p577 p61 p425 p580 p543 p280 p236 p24 p444 p195 p557 p402 p156 p302 p101 p107 p265 p452 p434 }) ({p378 p180 p425 p598 p12 p590 p240 p347 p562 p530 p90 p490 p256 p258 p159 p322 p107 p175 p55 p541 } a31 {p574 p180 p380 p425 p598 p513 p589 p346 p245 p154 p532 p98 p38 p218 p263 p107 p325 p177 p501 p54 }) ({p59 p379 p542 p338 p600 p21 p194 p242 p591 p245 p532 p410 p98 p38 p388 p218 p160 p263 p357 p262 p325 p393 p177 } a20 {p328 p378 p395 p61 p273 p599 p581 p608 p590 p240 p347 p373 p217 p410 p615 p256 p159 p104 p220 p266 p176 p359 p55 p541 }) ({p421 p252 p10 p206 p12 p603 p571 p585 p140 } a31 {p592 p250 p255 p479 p199 p474 p319 p417 p358 p54 }) ({p378 p563 p256 p142 p12 p515 p312 p399 p485 } a31 {p329 p576 p245 p489 p156 p427 p381 p79 p501 p54 }) ({p216 p232 p21 p193 p56 p376 } a20 {p81 p62 p61 p259 p173 p219 p77 }) ({p465 p66 p337 p12 p110 p194 p523 } a31 {p465 p66 p94 p529 p194 p572 p54 }) ({p80 } a29 {p12 }) ({p380 p35 p298 p158 p233 p442 p433 p570 p462 p552 p376 } a51 {p380 p295 p309 p158 p43 p441 p233 p22 p376 }) ({p380 p35 p450 p143 p97 p158 p236 p195 p559 p376 } a51 {p560 p380 p158 p192 p22 p112 p178 p376 }) ({p378 p327 p180 p425 p426 p12 p480 p515 p315 p399 p562 p90 p256 p159 p107 } a31 {p574 p180 p425 p426 p427 p381 p79 p245 p489 p316 p154 p98 p107 p501 p54 }) ({p275 p12 p101 p236 p176 p221 p195 } a31 {p243 p379 p85 p66 p297 p194 p178 p54 }) ({p179 p401 p424 p35 p156 p261 p45 p238 p517 p540 p498 p501 } a51 {p179 p401 p424 p531 p142 p158 p22 p517 p498 p501 }) ({p576 p577 p425 p527 p337 p580 p13 p12 p291 p42 p220 p176 p180 p227 p608 p195 p402 p407 p373 p156 p615 p97 p413 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p580 p128 p291 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p402 p94 p156 p97 p617 p413 p107 p265 p572 }) ({p577 p21 p382 } a20 {p577 p505 p61 p380 }) ({p75 } a14 {p34 }) ({p576 p180 p577 p425 p231 p580 p188 p21 p402 p85 p156 p302 p107 p265 p109 p178 } a20 {p576 p180 p577 p61 p425 p580 p236 p24 p195 p402 p156 p101 p302 p107 p265 p452 p434 }) ({p180 p576 p577 p425 p580 p12 p427 p238 p401 p259 p45 p107 p377 } a31 {p180 p576 p577 p425 p580 p471 p158 p427 p107 p56 p54 }) ({p378 p180 p425 p509 p12 p240 p383 p530 p90 p256 p159 p107 p55 p541 } a31 {p180 p578 p507 p380 p425 p245 p154 p532 p98 p38 p218 p107 p501 p54 }) ({p242 p309 p218 p21 p194 p572 p544 } a20 {p61 p64 p442 p522 p220 p176 p570 p240 }) ({p242 p379 p218 p447 p21 p194 p544 } a20 {p378 p61 p64 p273 p220 p265 p176 p240 }) ({p231 p513 p340 p278 p553 p21 p445 p85 p558 p487 p386 p304 p108 p109 } a20 {p61 p511 p340 p543 p280 p236 p24 p444 p557 p530 p490 p387 p302 p101 p434 p113 }) ({p12 p459 } a31 {p459 p54 }) ({p118 p576 p180 p453 p577 p225 p334 p64 p7 p425 p580 p12 p341 p442 p402 p491 p614 p156 p97 p46 p107 p265 p349 } a31 {p118 p478 p576 p577 p5 p334 p425 p9 p580 p341 p20 p290 p300 p307 p54 p180 p64 p442 p464 p402 p156 p97 p616 p107 p265 }) ({p30 } a48 {p33 }) ({p327 p180 p379 p245 p405 p489 p381 p262 p21 p516 } a20 {p378 p327 p180 p61 p273 p515 p484 p399 p385 p246 p217 p256 p495 }) ({p269 p576 p577 p425 p125 p580 p12 p280 p24 p287 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p308 p191 p543 p240 p402 p156 p107 p265 p570 p113 } a31 {p117 p576 p577 p270 p380 p425 p580 p344 p282 p558 p532 p38 p388 p304 p218 p54 p435 p180 p231 p513 p191 p445 p402 p156 p107 p265 p109 }) ({p95 p26 } a37 {p28 p67 p99 }) ({p576 p180 p577 p425 p438 p580 p12 p462 p24 p402 p156 p305 p304 p107 p265 p570 p452 p434 } a31 {p435 p576 p180 p577 p579 p425 p231 p580 p188 p283 p402 p156 p304 p107 p265 p109 p54 }) ({p28 } a47 {p35 }) ({p246 p252 p408 p511 p12 p484 p571 p585 } a31 {p487 p592 p408 p255 p199 p319 p54 }) ({p81 p12 p173 p192 p114 p369 } a31 {p575 p66 p450 p143 p232 p534 p193 p54 }) ({p269 p576 p577 p596 p164 p425 p125 p580 p12 p280 p24 p287 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p308 p607 p543 p463 p240 p402 p156 p412 p107 p265 p570 p113 } a31 {p117 p576 p577 p270 p596 p380 p425 p580 p344 p282 p558 p532 p38 p388 p304 p218 p54 p435 p180 p231 p513 p191 p609 p445 p466 p402 p156 p411 p107 p265 p109 }) ({p328 p576 p577 p425 p273 p580 p13 p12 p340 p601 p581 p557 p217 p302 p220 p176 p180 p190 p608 p236 p444 p195 p402 p373 p615 p411 p101 p104 p107 p266 p359 } a31 {p576 p331 p379 p577 p425 p580 p338 p600 p278 p553 p178 p393 p54 p59 p180 p542 p182 p66 p194 p242 p591 p402 p85 p411 p617 p160 p262 p108 p107 p267 p360 }) ({p378 p180 p425 p12 p589 p240 p347 p562 p530 p90 p490 p256 p258 p159 p322 p107 p55 p541 } a31 {p574 p180 p380 p425 p513 p589 p346 p245 p154 p532 p98 p38 p218 p263 p107 p325 p501 p54 }) ({p421 p118 p576 p577 p334 p424 p425 p580 p341 p21 p298 p305 p174 p55 p179 p180 p64 p511 p438 p514 p442 p399 p195 p401 p465 p519 p402 p243 p468 p156 p256 p97 p101 p474 p414 p107 p265 p110 p571 p573 } a20 {p421 p118 p576 p577 p334 p424 p425 p10 p580 p341 p298 p305 p174 p55 p179 p180 p61 p64 p511 p438 p514 p442 p399 p195 p401 p465 p519 p402 p243 p468 p156 p256 p97 p101 p414 p107 p265 p110 p571 p573 }) ({p118 p575 p579 p380 p35 p337 p158 p534 p233 p376 } a51 {p575 p579 p380 p158 p233 p536 p22 p114 p376 }) ({p54 } a33 {p73 }) ({p508 p21 p382 } a20 {p577 p505 p61 p380 p501 }) ({p64 p12 p218 p265 } a31 {p64 p218 p265 p54 }) ({p524 p120 p576 p577 p425 p274 p528 p580 p339 p15 p21 p367 p293 p178 p180 p64 p188 p611 p402 p469 p94 p156 p97 p617 p416 p107 p265 } a20 {p576 p577 p425 p527 p337 p580 p13 p277 p367 p292 p538 p452 p370 p180 p61 p64 p195 p402 p612 p472 p317 p156 p97 p414 p619 p107 p265 p110 }) ({p576 p180 p577 p425 p580 p12 p441 p402 p295 p156 p97 p451 p432 p107 p265 } a31 {p576 p180 p577 p579 p425 p187 p580 p233 p402 p156 p97 p107 p265 p433 p552 p54 }) ({p454 p470 p21 p523 } a20 {p465 p61 p313 p529 p522 }) ({p250 p471 p474 p21 p517 p241 p27 } a20 {p421 p401 p179 p248 p61 p10 p415 p239 p53 }) ({p576 p180 p577 p64 p425 p66 p580 p12 p442 p192 p402 p156 p97 p173 p107 p265 p114 p369 } a31 {p575 p576 p180 p577 p64 p425 p66 p580 p143 p442 p193 p402 p156 p450 p97 p534 p107 p265 p54 }) ({p487 p12 p97 p342 } a31 {p487 p97 p342 p54 }) ({p327 p162 p12 p515 p107 p237 p315 p174 p399 p201 p604 } a31 {p244 p489 p316 p169 p390 p381 p107 p79 p54 }) ({p576 p180 p577 p425 p273 p580 p12 p236 p195 p83 p402 p156 p302 p101 p107 p265 p176 } a31 {p576 p180 p379 p577 p66 p425 p580 p278 p234 p194 p402 p85 p156 p107 p265 p178 p54 }) ({p118 p576 p180 p577 p64 p425 p580 p12 p188 p442 p402 p132 p156 p97 p107 p265 } a31 {p118 p576 p180 p577 p123 p64 p335 p425 p580 p188 p442 p402 p156 p97 p107 p265 p54 }) ({p244 p181 p405 p332 p489 p316 p169 p199 p381 p390 p21 p516 } a20 {p327 p61 p515 p484 p399 p385 p246 p252 p352 p495 p392 p584 p174 p201 p214 }) ({p576 p577 p425 p527 p337 p580 p12 p291 p491 p42 p46 p180 p453 p227 p64 p402 p407 p156 p97 p522 p107 p265 p416 p110 p551 } a31 {p524 p576 p577 p425 p9 p580 p128 p291 p294 p300 p307 p54 p180 p64 p439 p464 p402 p94 p156 p97 p107 p265 p416 p572 p551 }) ({p131 p295 p12 p451 } a31 {p579 p123 p334 p187 p433 p54 }) ({p117 p576 p577 p270 p425 p9 p580 p128 p21 p283 p282 p291 p294 p300 p435 p180 p64 p439 p464 p611 p402 p547 p156 p97 p416 p107 p265 p621 p572 p551 } a20 {p576 p577 p272 p425 p125 p580 p18 p287 p491 p305 p42 p535 p46 p306 p180 p453 p61 p227 p64 p438 p462 p402 p612 p407 p156 p97 p414 p522 p107 p265 p570 p550 }) ({p328 p576 p577 p425 p273 p580 p12 p340 p600 p581 p484 p385 p557 p217 p302 p495 p214 p180 p511 p605 p190 p236 p444 p246 p410 p96 p101 p104 p107 p266 } a31 {p576 p331 p379 p577 p332 p425 p580 p338 p600 p278 p553 p487 p212 p386 p54 p180 p182 p606 p461 p516 p591 p85 p405 p408 p409 p160 p262 p108 p107 p267 }) ({p117 p576 p577 p425 p9 p580 p128 p21 p283 p282 p287 p294 p300 p435 p180 p64 p439 p464 p402 p156 p97 p414 p107 p265 p550 p621 p572 } a20 {p576 p577 p425 p125 p580 p18 p287 p491 p305 p42 p46 p306 p180 p453 p61 p227 p64 p438 p462 p402 p407 p156 p97 p414 p522 p107 p265 p570 p550 }) ({p378 p395 p180 p425 p599 p12 p590 p240 p347 p562 p530 p490 p90 p409 p387 p256 p258 p355 p159 p322 p107 p175 p55 p541 } a31 {p574 p180 p380 p425 p598 p513 p589 p346 p245 p154 p409 p532 p98 p38 p388 p218 p263 p357 p107 p325 p177 p501 p54 }) ({p179 p62 p424 p334 p188 p232 p233 p441 p517 p401 p35 p259 p451 p498 p112 } a51 {p179 p62 p424 p334 p187 p232 p233 p441 p22 p517 p401 p259 p452 p498 p112 }) ({p576 p329 p577 p334 p7 p10 p580 p341 p529 p21 p174 p540 p55 p179 p180 p62 p64 p232 p192 p399 p195 p401 p465 p402 p243 p592 p468 p256 p97 p101 p259 p414 p107 p265 p110 p112 p114 p421 p118 p424 p425 p295 p296 p297 p298 p299 p305 p498 p503 p505 p511 p438 p514 p441 p442 p517 p519 p156 p571 p573 } a20 {p576 p329 p577 p334 p7 p10 p580 p341 p529 p174 p540 p55 p179 p180 p61 p62 p64 p232 p192 p399 p195 p401 p465 p402 p243 p592 p468 p256 p97 p101 p259 p414 p107 p265 p110 p112 p114 p421 p118 p424 p425 p295 p296 p297 p298 p299 p305 p498 p503 p505 p511 p438 p514 p441 p442 p517 p519 p156 p571 p573 }) ({p118 p576 p180 p577 p453 p334 p64 p425 p580 p12 p341 p442 p402 p298 p156 p300 p97 p107 p265 p416 p572 } a31 {p118 p576 p180 p577 p334 p64 p425 p580 p341 p442 p464 p402 p298 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p438 p309 p12 p544 p55 } a31 {p435 p64 p38 p442 p54 }) ({p576 p531 p154 p142 p21 } a20 {p576 p530 p61 p90 p156 p540 }) ({p378 p180 p425 p12 p240 p346 p562 p530 p90 p490 p256 p159 p107 p55 p541 } a31 {p574 p180 p380 p425 p513 p346 p245 p154 p532 p98 p38 p218 p107 p501 p54 }) ({p204 p597 p12 p588 p145 p252 p352 p257 p107 p584 p571 p604 p140 } a31 {p181 p479 p207 p247 p255 p353 p157 p199 p319 p390 p172 p107 p417 p54 }) ({p328 p576 p577 p425 p273 p580 p12 p340 p484 p385 p557 p212 p217 p302 p495 p214 p180 p511 p236 p444 p246 p101 p104 p107 p266 } a31 {p576 p180 p331 p379 p577 p332 p425 p580 p338 p278 p553 p516 p487 p85 p212 p405 p386 p408 p160 p262 p108 p107 p267 p54 }) ({p435 p59 p542 p125 p439 p21 p194 p282 p242 p294 p532 p38 p388 p412 p218 p265 p572 p393 } a20 {p395 p61 p227 p438 p125 p608 p240 p407 p373 p615 p412 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p576 p577 p425 p125 p580 p12 p280 p344 p24 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p543 p240 p402 p156 p107 p265 p570 p113 } a31 {p117 p576 p577 p380 p425 p580 p344 p282 p558 p532 p38 p388 p304 p218 p54 p435 p180 p231 p513 p445 p402 p156 p107 p265 p109 }) ({p378 p425 p599 p12 p347 p530 p490 p387 p175 p55 p541 p395 p180 p605 p590 p240 p562 p90 p410 p256 p258 p355 p159 p322 p107 } a31 {p574 p180 p380 p425 p598 p513 p606 p589 p346 p245 p409 p154 p532 p38 p98 p388 p218 p263 p357 p107 p325 p177 p501 p54 }) ({p180 p246 p252 p511 p12 p588 p107 p584 p418 p484 p571 } a31 {p180 p487 p408 p255 p199 p319 p172 p107 p518 p54 }) ({p11 } a42 {p84 }) ({p179 p379 p424 p232 p194 p77 p517 p401 p35 p297 p259 p173 p219 p498 } a51 {p179 p401 p424 p275 p232 p259 p193 p22 p176 p517 p498 p376 }) ({p131 p187 p12 } a31 {p123 p334 p187 p54 }) ({p576 p180 p577 p425 p231 p580 p188 p278 p21 p557 p402 p85 p156 p304 p107 p265 p109 p178 } a20 {p576 p180 p577 p61 p425 p580 p280 p236 p24 p195 p557 p402 p156 p302 p101 p107 p265 p452 p434 }) ({p454 p337 p12 p110 p523 } a31 {p465 p94 p307 p529 p572 p54 }) ({p269 p576 p577 p164 p425 p125 p580 p12 p18 p280 p24 p287 p305 p306 p452 p434 p180 p438 p308 p543 p462 p402 p546 p156 p413 p619 p107 p265 p570 p550 p113 } a31 {p117 p576 p577 p270 p579 p596 p425 p580 p15 p344 p283 p282 p558 p304 p54 p435 p180 p231 p188 p191 p445 p402 p547 p156 p413 p107 p265 p109 p621 }) ({p12 p256 p447 p544 p55 } a31 {p245 p64 p38 p265 p54 }) ({p81 p21 } a20 {p61 p66 p232 }) ({p524 p421 p120 p576 p180 p577 p64 p425 p274 p528 p580 p339 p442 p21 p367 p195 p402 p293 p94 p156 p97 p414 p107 p265 } a20 {p421 p576 p577 p425 p527 p337 p580 p277 p367 p292 p538 p180 p370 p61 p64 p442 p195 p402 p317 p156 p97 p414 p107 p265 p110 }) ({p435 p117 p59 p542 p270 p439 p128 p21 p194 p282 p242 p291 p294 p532 p38 p388 p412 p218 p265 p572 p393 } a20 {p395 p61 p227 p272 p438 p125 p608 p240 p287 p407 p373 p615 p412 p42 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p74 } a8 {p70 }) ({p76 } a30 {p37 }) ({p519 p243 p275 p21 } a20 {p519 p243 p61 p273 p297 }) ({p402 p180 p35 p471 p515 p201 p241 p27 } a51 {p401 p179 p244 p489 p343 p22 p166 }) ({p576 p180 p577 p425 p527 p337 p580 p13 p12 p608 p195 p402 p407 p294 p156 p615 p97 p220 p522 p107 p265 p176 p110 p393 } a31 {p524 p576 p59 p180 p577 p542 p425 p66 p580 p439 p194 p242 p402 p294 p94 p156 p97 p617 p107 p265 p572 p178 p54 p393 }) ({p179 p575 p579 p62 p424 p334 p380 p232 p233 p441 p517 p401 p468 p35 p295 p158 p259 p498 p112 p114 p376 } a51 {p179 p575 p579 p62 p424 p334 p380 p232 p233 p441 p22 p517 p401 p468 p295 p158 p259 p498 p112 p114 p376 }) ({p576 p180 p59 p577 p64 p425 p66 p527 p337 p580 p12 p442 p194 p402 p156 p97 p307 p522 p107 p265 p416 p110 } a31 {p524 p576 p180 p59 p577 p64 p425 p66 p580 p442 p194 p402 p94 p156 p97 p307 p107 p265 p416 p572 p54 }) ({p576 p180 p577 p64 p425 p527 p337 p580 p12 p313 p442 p402 p156 p97 p522 p107 p265 p110 } a31 {p524 p576 p180 p577 p64 p425 p580 p442 p402 p470 p94 p156 p97 p307 p107 p265 p572 p54 }) ({p576 p180 p120 p577 p123 p64 p425 p580 p231 p12 p442 p462 p402 p156 p97 p305 p107 p265 p416 p452 } a31 {p576 p180 p120 p577 p579 p123 p64 p425 p580 p231 p188 p442 p283 p402 p156 p97 p107 p265 p416 p54 }) ({p12 p343 p174 p399 p166 } a31 {p402 p180 p169 p381 p54 }) ({p87 } a11 {p47 }) ({p576 p180 p577 p425 p438 p580 p12 p280 p462 p24 p402 p558 p156 p305 p306 p107 p265 p570 p452 p434 } a31 {p435 p576 p180 p577 p579 p425 p231 p580 p188 p283 p282 p402 p558 p156 p304 p107 p265 p109 p54 }) ({p576 p329 p577 p334 p7 p10 p580 p341 p529 p21 p174 p540 p55 p179 p180 p62 p64 p232 p192 p399 p195 p401 p465 p402 p243 p592 p468 p256 p97 p101 p259 p414 p107 p265 p110 p112 p114 p421 p118 p424 p425 p279 p290 p295 p297 p298 p305 p498 p503 p505 p511 p438 p514 p441 p442 p517 p519 p156 p571 p573 } a20 {p576 p329 p577 p334 p7 p10 p580 p341 p529 p174 p540 p55 p179 p180 p225 p61 p62 p64 p232 p192 p399 p195 p401 p465 p402 p243 p592 p468 p256 p97 p101 p259 p414 p107 p265 p110 p112 p114 p421 p118 p424 p425 p296 p295 p297 p298 p305 p498 p503 p505 p511 p438 p514 p441 p442 p517 p519 p156 p571 p573 }) ({p421 p162 p10 p12 p515 p312 p237 p603 p174 p399 p201 } a31 {p244 p329 p250 p489 p169 p474 p381 p79 p54 }) ({p12 p43 p305 p442 } a31 {p298 p442 p283 p54 }) ({p50 } a0 {p6 }) ({p332 p597 p511 p12 p588 p484 p385 p246 p252 p352 p495 p107 p584 p571 } a31 {p181 p332 p516 p487 p405 p386 p408 p255 p353 p199 p319 p172 p107 p54 }) ({p503 p180 p248 p12 p107 p239 p53 p517 p573 } a31 {p29 p180 p457 p107 p517 p372 p54 }) ({p524 p421 p120 p576 p180 p577 p64 p425 p528 p580 p339 p442 p21 p367 p195 p402 p292 p94 p156 p97 p414 p107 p265 } a20 {p421 p576 p180 p370 p577 p61 p64 p425 p527 p337 p580 p442 p367 p195 p402 p292 p317 p156 p97 p538 p414 p107 p265 p110 }) ({p503 p12 p219 p415 p239 p77 p112 } a31 {p408 p457 p517 p559 p376 p54 }) ({p576 p180 p577 p425 p438 p580 p12 p240 p383 p402 p530 p156 p107 p265 p570 p434 p55 p541 } a31 {p435 p576 p180 p577 p507 p380 p425 p231 p580 p402 p532 p156 p38 p218 p107 p265 p54 }) ({p179 p579 p123 p66 p380 p408 p68 p427 p20 p307 p107 p501 } a5 {p71 p25 p111 }) ({p180 p35 p155 p136 p201 p241 p27 p477 } a51 {p179 p244 p144 p138 p22 p166 }) ({p331 p182 p596 p231 p513 p606 p278 p191 p553 p344 p21 p461 p445 p85 p558 p487 p386 p411 p304 p108 p109 p267 p360 } a20 {p269 p164 p340 p601 p280 p24 p557 p530 p490 p387 p302 p434 p61 p308 p511 p190 p607 p543 p236 p444 p463 p546 p410 p101 p113 }) ({p471 p21 p517 p56 p376 } a20 {p401 p61 p259 p219 p415 p239 p77 }) ({p576 p180 p577 p425 p438 p580 p12 p280 p24 p240 p402 p558 p530 p490 p156 p306 p107 p265 p570 p434 p55 p541 } a31 {p435 p576 p180 p577 p380 p425 p231 p580 p513 p282 p402 p558 p532 p156 p38 p304 p218 p107 p265 p109 p54 }) ({p576 p180 p453 p577 p227 p64 p425 p527 p337 p580 p12 p128 p402 p407 p156 p97 p46 p522 p107 p265 p416 p110 } a31 {p524 p576 p180 p577 p64 p425 p580 p439 p128 p464 p402 p294 p94 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p81 p243 p35 p529 p173 p369 p194 p572 } a51 {p575 p232 p176 p193 p22 p523 p221 }) ({p59 p379 p542 p338 p600 p606 p21 p194 p242 p591 p245 p532 p38 p98 p411 p388 p218 p160 p263 p357 p262 p325 p393 p177 } a20 {p328 p378 p273 p599 p581 p347 p217 p220 p176 p55 p541 p395 p61 p607 p608 p590 p240 p373 p410 p615 p256 p159 p104 p266 p359 }) ({p576 p577 p425 p580 p12 p280 p24 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p543 p240 p445 p402 p156 p107 p265 p570 } a31 {p435 p576 p180 p577 p380 p425 p580 p231 p513 p282 p445 p402 p558 p532 p156 p38 p388 p304 p218 p107 p265 p109 p54 }) ({p71 p25 p111 } a7 {p179 p235 p115 p78 }) ({p574 p361 p598 p479 p426 p207 p589 p21 p346 p79 p247 p154 p255 p353 p319 p390 p172 p264 p417 } a20 {p61 p597 p230 p480 p208 p588 p397 p315 p562 p90 p258 p355 p257 p322 p392 p175 p571 }) ({p269 p576 p577 p596 p164 p425 p125 p580 p12 p18 p280 p24 p287 p305 p306 p452 p434 p180 p438 p308 p543 p462 p402 p156 p619 p107 p265 p570 p113 } a31 {p117 p576 p577 p270 p579 p596 p425 p580 p15 p344 p283 p282 p558 p304 p54 p435 p180 p231 p188 p191 p445 p402 p156 p107 p265 p109 p621 }) ({p576 p331 p577 p596 p425 p580 p15 p278 p553 p344 p21 p558 p304 p178 p180 p182 p231 p188 p191 p445 p402 p85 p156 p412 p617 p108 p107 p265 p109 p267 p360 } a20 {p269 p576 p577 p164 p425 p580 p13 p340 p601 p280 p24 p557 p302 p452 p434 p180 p61 p308 p190 p543 p236 p444 p195 p402 p546 p156 p101 p412 p619 p107 p265 p113 }) ({p576 p531 p438 p493 p156 p12 p570 p434 p240 p55 } a31 {p435 p576 p380 p231 p156 p514 p38 p218 p540 p54 }) ({p519 p379 p35 p297 p219 p415 p239 p77 } a51 {p246 p275 p22 p484 p499 p517 p376 }) ({p329 p576 p508 p35 p156 p45 p238 p377 p79 p428 } a51 {p577 p563 p142 p158 p312 p22 p498 p485 }) ({p575 p216 p232 p21 p193 p552 } a20 {p81 p62 p61 p441 p173 p369 }) ({p574 p423 p598 p513 p589 p21 p346 p487 p386 p154 p255 p353 p319 p172 } a20 {p423 p61 p597 p511 p588 p562 p530 p90 p490 p387 p258 p355 p322 p175 p571 }) ({p519 p21 p358 p585 } a20 {p519 p592 p61 p584 p358 }) ({p180 p379 p332 p381 p21 p516 p347 p245 p405 p489 p316 p98 p160 p262 } a20 {p378 p327 p180 p61 p273 p515 p484 p399 p347 p385 p246 p217 p256 p159 p104 p495 p214 }) ({p85 p558 p487 p386 p231 p513 p278 p304 p553 p21 p109 p444 } a20 {p61 p511 p543 p280 p236 p24 p444 p557 p530 p490 p387 p302 p101 p434 }) ({p328 p576 p577 p425 p273 p580 p13 p12 p340 p600 p581 p557 p217 p302 p220 p176 p180 p190 p608 p236 p444 p195 p402 p615 p101 p104 p107 p266 } a31 {p576 p331 p379 p577 p425 p580 p338 p600 p278 p553 p178 p54 p59 p180 p542 p182 p66 p194 p242 p591 p402 p85 p617 p160 p262 p108 p107 p267 }) ({p78 } a9 {p74 }) ({p328 p576 p577 p425 p273 p580 p13 p12 p340 p601 p581 p557 p217 p302 p220 p176 p180 p190 p607 p608 p236 p444 p195 p402 p373 p615 p412 p101 p104 p107 p266 p359 } a31 {p576 p331 p379 p577 p425 p580 p338 p600 p278 p553 p178 p393 p54 p59 p180 p542 p182 p66 p609 p194 p242 p591 p402 p85 p411 p617 p160 p262 p108 p107 p267 p360 }) ({p131 p35 p188 p341 p451 } a51 {p334 p187 p318 p22 p452 }) ({p66 p337 p12 p110 p176 p523 p195 } a31 {p66 p94 p529 p194 p572 p178 p54 }) ({p84 } a10 {p68 }) ({p575 p118 p576 p120 p577 p379 p334 p380 p425 p335 p580 p12 p339 p341 p16 p298 p180 p59 p225 p64 p66 p231 p187 p188 p233 p442 p464 p465 p402 p405 p468 p470 p154 p156 p158 p97 p199 p107 p265 p416 p572 p376 } a31 {p575 p118 p576 p120 p577 p379 p334 p380 p425 p335 p580 p339 p341 p16 p20 p290 p298 p54 p180 p59 p64 p66 p231 p187 p188 p233 p442 p464 p465 p402 p405 p468 p470 p154 p156 p158 p97 p199 p107 p265 p416 p572 p376 }) ({p378 p576 p531 p256 p142 p12 p240 p55 } a31 {p576 p245 p156 p38 p218 p540 p54 }) ({p435 p576 p180 p577 p64 p425 p580 p439 p21 p283 p464 p402 p156 p300 p97 p306 p414 p107 p265 p572 } a20 {p576 p180 p453 p577 p61 p64 p425 p438 p580 p462 p402 p407 p156 p97 p305 p46 p306 p414 p522 p107 p265 p570 }) ({p576 p180 p453 p577 p64 p425 p527 p337 p580 p12 p439 p442 p402 p156 p97 p522 p107 p265 p416 p110 } a31 {p524 p576 p180 p577 p64 p425 p580 p439 p442 p464 p402 p94 p156 p97 p307 p107 p265 p416 p572 p54 }) ({p378 p327 p423 p599 p12 p480 p208 p347 p213 p392 p175 p180 p230 p515 p397 p590 p315 p399 p562 p90 p256 p258 p355 p159 p322 p107 } a31 {p574 p361 p598 p426 p427 p381 p209 p346 p489 p394 p177 p501 p54 p180 p589 p79 p245 p316 p154 p98 p263 p357 p264 p107 p325 }) ({p478 p576 p180 p577 p5 p64 p425 p9 p580 p279 p21 p283 p464 p402 p290 p250 p613 p156 p300 p97 p473 p107 p265 p621 } a20 {p421 p576 p180 p453 p577 p225 p61 p64 p425 p580 p18 p462 p402 p491 p296 p614 p156 p97 p305 p46 p107 p265 p349 }) ({p120 p576 p180 p577 p64 p425 p527 p580 p339 p188 p442 p21 p402 p94 p156 p97 p414 p107 p265 p178 } a20 {p576 p180 p577 p61 p64 p425 p527 p337 p580 p442 p195 p402 p317 p156 p97 p538 p414 p107 p265 p110 p452 }) ({p576 p180 p577 p425 p273 p511 p580 p12 p236 p484 p402 p246 p405 p408 p156 p302 p101 p262 p107 p265 } a31 {p576 p180 p379 p577 p425 p580 p278 p402 p85 p487 p405 p408 p156 p262 p107 p265 p54 }) ({p31 p487 p196 p12 } a31 {p487 p255 p319 p342 p54 }) ({p216 p12 } a31 {p216 p54 }) ({p73 } a34 {p69 }) ({p21 p499 p585 p518 } a20 {p519 p592 p61 p584 p418 }) ({p435 p117 p59 p542 p439 p128 p21 p194 p282 p242 p287 p294 p532 p38 p388 p412 p218 p265 p572 p393 } a20 {p395 p61 p227 p438 p125 p608 p240 p287 p407 p373 p615 p412 p42 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p560 p380 p12 p101 } a31 {p85 p380 p97 p54 }) ({p524 p120 p576 p577 p425 p274 p528 p362 p580 p339 p15 p21 p368 p293 p178 p180 p64 p188 p611 p402 p469 p94 p156 p97 p617 p416 p107 p265 } a20 {p576 p577 p425 p527 p337 p580 p13 p277 p367 p292 p538 p452 p370 p180 p61 p64 p195 p402 p612 p472 p317 p156 p97 p414 p619 p107 p265 p110 p202 }) ({p592 p248 p134 p35 p199 p446 p358 p53 } a51 {p252 p206 p603 p22 p585 p140 }) ({p560 p487 p12 p101 } a31 {p85 p487 p97 p54 }) ({p335 p318 p21 } a20 {p61 p132 p341 }) ({p578 p507 p563 p531 p493 p154 p142 p21 } a20 {p576 p530 p61 p90 p509 p156 p514 p540 p383 }) ({p179 p401 p379 p424 p35 p297 p259 p219 p239 p77 p517 p498 } a51 {p179 p401 p246 p424 p275 p259 p22 p484 p517 p498 p376 }) ({p180 p379 p332 p338 p599 p381 p209 p21 p516 p591 p245 p405 p212 p489 p316 p409 p98 p160 p263 p262 p325 p394 p177 } a20 {p328 p378 p327 p423 p273 p599 p581 p484 p347 p385 p213 p217 p495 p214 p180 p61 p605 p515 p590 p399 p246 p256 p96 p159 p104 p266 }) ({p67 } a25 {p93 }) ({p180 p576 p577 p62 p425 p580 p12 p238 p402 p261 p259 p45 p107 } a31 {p180 p576 p402 p577 p425 p216 p580 p158 p107 p56 p54 }) ({p576 p180 p577 p64 p425 p527 p337 p580 p12 p195 p83 p402 p156 p97 p522 p107 p265 p110 p176 } a31 {p524 p576 p180 p577 p64 p425 p66 p580 p234 p194 p402 p94 p156 p97 p107 p265 p572 p178 p54 }) ({p69 } a35 {p80 }) ({p155 p12 p111 } a31 {p155 p111 p54 }) ({p577 p62 p12 p261 p441 p432 p382 } a31 {p577 p505 p380 p216 p233 p552 p54 }) ({p576 p507 p531 p493 p156 p21 } a20 {p576 p530 p61 p156 p514 p540 p383 }) ({p435 p395 p59 p542 p439 p21 p194 p242 p532 p38 p218 p306 p265 p572 } a20 {p395 p61 p438 p608 p240 p407 p615 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p576 p180 p577 p425 p273 p580 p12 p236 p195 p402 p156 p302 p101 p262 p220 p107 p265 p176 } a31 {p576 p180 p379 p577 p66 p425 p580 p278 p194 p242 p402 p85 p156 p262 p107 p265 p178 p54 }) ({p179 p401 p424 p35 p231 p188 p259 p451 p432 p517 p498 p112 } a51 {p179 p401 p424 p187 p233 p259 p22 p517 p452 p434 p498 p112 }) ({p62 p508 p12 p261 p259 p45 p382 p238 } a31 {p577 p505 p380 p216 p158 p56 p501 p54 }) ({p576 p180 p577 p425 p580 p12 p232 p192 p77 p402 p156 p173 p219 p107 p265 p112 } a31 {p576 p180 p577 p425 p580 p143 p232 p193 p402 p156 p450 p107 p265 p559 p376 p54 }) ({p421 p118 p576 p180 p577 p334 p64 p425 p438 p580 p341 p18 p442 p21 p283 p464 p402 p156 p300 p97 p414 p107 p265 } a20 {p421 p118 p576 p180 p577 p453 p61 p334 p64 p425 p438 p580 p341 p18 p442 p462 p402 p156 p97 p305 p46 p414 p107 p265 }) ({p576 p180 p577 p64 p425 p580 p12 p442 p462 p402 p132 p156 p97 p305 p107 p265 p452 } a31 {p576 p180 p577 p579 p123 p64 p335 p425 p580 p188 p442 p283 p402 p156 p97 p107 p265 p54 }) ({p524 p421 p120 p576 p577 p425 p274 p528 p580 p362 p339 p21 p368 p293 p180 p64 p442 p195 p402 p94 p156 p97 p414 p107 p265 } a20 {p421 p576 p577 p425 p527 p337 p580 p277 p367 p292 p538 p370 p180 p61 p64 p442 p195 p402 p317 p156 p97 p414 p107 p265 p110 p202 }) ({p180 p181 p246 p252 p511 p12 p495 p588 p107 p584 p484 p571 } a31 {p180 p181 p487 p408 p255 p199 p319 p172 p107 p516 p54 }) ({p503 p576 p180 p577 p425 p580 p12 p239 p77 p402 p408 p156 p219 p107 p265 p112 } a31 {p576 p180 p577 p425 p580 p457 p402 p408 p156 p107 p265 p559 p376 p54 }) ({p12 p144 p174 p166 p111 } a31 {p180 p169 p155 p111 p149 p54 }) ({p575 p334 p380 p35 p298 p158 p233 p441 p433 p462 p376 } a51 {p575 p334 p380 p295 p158 p233 p441 p43 p22 p376 }) ({p3 } a21 {p91 }) ({p574 p598 p513 p589 p21 p346 p487 p386 p409 p154 p255 p353 p319 p172 p394 } a20 {p423 p61 p597 p511 p605 p588 p562 p530 p90 p490 p387 p258 p355 p322 p175 p571 }) ({p144 p21 p79 p351 } a20 {p429 p116 p61 p155 p315 p130 p604 }) ({p246 p511 p275 p12 p101 p236 p484 p499 } a31 {p519 p85 p487 p379 p408 p297 p54 }) ({p576 p180 p59 p577 p64 p425 p66 p527 p337 p580 p12 p439 p442 p195 p402 p156 p97 p522 p107 p265 p110 p176 } a31 {p524 p576 p180 p59 p577 p64 p425 p66 p580 p439 p442 p194 p402 p94 p156 p97 p107 p265 p572 p178 p54 }) ({p118 p576 p180 p577 p334 p64 p425 p580 p341 p441 p442 p21 p402 p468 p156 p97 p107 p265 p433 } a20 {p118 p576 p180 p577 p61 p334 p64 p425 p580 p341 p311 p441 p442 p402 p295 p156 p97 p107 p265 }) ({p180 p576 p577 p425 p273 p511 p580 p12 p236 p484 p402 p246 p405 p302 p101 p495 p107 } a31 {p180 p576 p379 p577 p425 p580 p278 p516 p402 p85 p487 p405 p408 p107 p54 }) ({p118 p576 p180 p577 p334 p64 p425 p580 p16 p341 p442 p21 p465 p402 p468 p296 p298 p156 p97 p616 p107 p265 } a20 {p118 p576 p180 p577 p61 p334 p64 p7 p425 p580 p341 p442 p465 p402 p468 p296 p298 p156 p97 p107 p265 p620 }) ({p118 p576 p180 p577 p334 p64 p425 p580 p12 p341 p313 p442 p402 p298 p156 p97 p107 p265 p572 } a31 {p118 p576 p180 p577 p334 p64 p425 p580 p341 p442 p402 p470 p298 p156 p97 p307 p107 p265 p572 p54 }) ({p59 p542 p379 p338 p21 p590 p194 p242 p245 p532 p98 p38 p218 p160 p263 p262 p325 } a20 {p328 p378 p61 p273 p608 p590 p240 p347 p217 p615 p256 p159 p104 p220 p266 p176 p55 p541 }) ({p471 p12 } a31 {p471 p54 }) ({p576 p331 p577 p596 p425 p580 p15 p278 p553 p344 p21 p558 p304 p178 p180 p182 p231 p188 p191 p609 p445 p402 p85 p156 p617 p413 p108 p107 p265 p109 p267 p360 } a20 {p269 p576 p577 p164 p425 p580 p13 p340 p601 p280 p24 p557 p302 p452 p434 p180 p61 p308 p190 p543 p236 p444 p610 p195 p402 p546 p156 p412 p101 p619 p107 p265 p113 }) ({p328 p576 p577 p425 p273 p580 p12 p340 p601 p581 p484 p385 p557 p217 p302 p495 p214 p180 p511 p605 p190 p236 p444 p246 p410 p96 p101 p104 p107 p266 p359 } a31 {p576 p331 p379 p577 p332 p425 p580 p338 p600 p278 p553 p487 p212 p386 p54 p180 p182 p606 p461 p516 p591 p85 p405 p408 p409 p160 p262 p108 p107 p267 p360 }) ({p57 } a19 {p3 }) ({p575 p465 p35 p311 } a51 {p575 p468 p454 p22 }) ({p370 p576 p180 p577 p64 p425 p580 p12 p15 p442 p462 p402 p317 p156 p97 p305 p538 p107 p265 p416 p452 } a31 {p120 p576 p180 p577 p579 p123 p64 p425 p528 p580 p339 p188 p15 p442 p283 p402 p156 p97 p107 p265 p416 p54 }) ({p179 p592 p248 p35 p199 p239 p53 p517 } a51 {p179 p246 p252 p22 p484 p517 p585 }) ({p576 p180 p577 p425 p273 p580 p13 p12 p338 p608 p236 p444 p195 p557 p402 p217 p615 p302 p101 p104 p220 p107 p176 } a31 {p576 p59 p180 p379 p577 p542 p425 p66 p580 p338 p278 p553 p194 p242 p402 p85 p617 p160 p262 p108 p107 p178 p54 }) ({p118 p575 p380 p35 p337 p143 p450 p158 p534 p233 p195 p376 } a51 {p575 p380 p158 p536 p233 p192 p22 p114 p178 p376 }) ({p204 p252 p12 p157 p588 p107 p584 p571 p604 p140 } a31 {p255 p479 p207 p157 p199 p319 p390 p172 p107 p417 p54 }) ({p576 p180 p577 p380 p425 p438 p580 p12 p240 p402 p530 p156 p97 p107 p265 p570 p109 p434 p55 p541 } a31 {p435 p576 p180 p577 p380 p425 p580 p231 p402 p532 p156 p38 p97 p218 p107 p265 p109 p54 }) ({p117 p270 p128 p21 p282 p291 p294 p532 p38 p388 p218 p393 p435 p59 p542 p439 p609 p194 p242 p466 p547 p413 p265 p572 p551 } a20 {p272 p125 p287 p42 p535 p306 p220 p176 p55 p541 p395 p61 p227 p438 p608 p610 p240 p467 p407 p373 p615 p412 p522 p265 p570 p550 }) ({p12 p311 p114 p369 } a31 {p575 p468 p534 p307 p54 }) ({p31 p196 p363 p12 } a31 {p425 p255 p319 p342 p417 p54 }) ({p180 p576 p577 p425 p273 p511 p580 p12 p338 p236 p444 p484 p385 p557 p246 p217 p302 p101 p104 p495 p107 p214 } a31 {p180 p576 p379 p577 p332 p425 p580 p338 p278 p553 p516 p85 p487 p405 p386 p408 p160 p262 p108 p107 p54 }) ({p118 p576 p120 p180 p577 p64 p425 p580 p12 p188 p442 p402 p317 p156 p97 p107 p265 p416 } a31 {p118 p576 p120 p180 p577 p123 p64 p425 p580 p339 p188 p442 p402 p156 p97 p107 p265 p416 p54 }) ({p574 p361 p479 p426 p207 p589 p21 p346 p79 p154 p255 p257 p319 p390 p172 p417 } a20 {p61 p480 p208 p588 p397 p315 p562 p90 p258 p257 p322 p392 p175 p571 }) ({p435 p576 p180 p577 p64 p425 p125 p580 p439 p21 p283 p282 p464 p402 p294 p156 p300 p97 p414 p107 p265 p572 } a20 {p576 p180 p577 p453 p61 p227 p64 p425 p125 p438 p580 p462 p402 p407 p156 p97 p305 p46 p306 p414 p522 p107 p265 p570 }) ({p81 p243 p379 p35 p297 p173 p219 p194 p77 } a51 {p275 p232 p176 p193 p22 p221 p376 }) ({p47 } a54 {p50 }) ({p576 p331 p577 p425 p580 p15 p278 p601 p553 p344 p21 p558 p304 p178 p180 p182 p231 p188 p191 p445 p402 p85 p156 p617 p108 p107 p265 p109 p267 } a20 {p269 p576 p577 p164 p425 p580 p13 p340 p601 p280 p24 p557 p302 p452 p434 p180 p61 p308 p190 p543 p236 p444 p195 p402 p156 p101 p619 p107 p265 p113 }) ({p576 p180 p577 p334 p64 p425 p580 p442 p21 p192 p402 p156 p97 p534 p107 p265 } a20 {p576 p180 p577 p61 p64 p425 p580 p442 p192 p402 p131 p156 p97 p107 p265 p114 }) ({p180 p576 p577 p425 p273 p511 p580 p12 p236 p484 p402 p246 p302 p101 p107 p418 } a31 {p180 p576 p379 p577 p425 p580 p278 p518 p402 p85 p487 p408 p107 p54 }) ({p66 p275 p12 p101 p236 p176 p195 } a31 {p379 p85 p66 p297 p194 p178 p54 }) ({p421 p118 p576 p577 p334 p425 p9 p580 p341 p21 p283 p296 p300 p180 p64 p438 p442 p464 p402 p156 p97 p414 p107 p265 p621 } a20 {p421 p118 p576 p577 p334 p425 p580 p341 p18 p491 p296 p305 p46 p180 p453 p61 p64 p438 p442 p462 p402 p156 p97 p414 p107 p265 }) ({p80 } a28 {p76 }) ({p312 p21 p603 } a20 {p329 p61 p315 p604 }) ({p438 p12 p309 p43 p305 } a31 {p435 p298 p442 p283 p54 }) ({p421 p401 p179 p10 p12 p235 p107 p377 p167 } a31 {p250 p471 p474 p107 p241 p27 p54 }) ({p435 p242 p59 p439 p38 p218 p21 p265 p194 p572 p541 } a20 {p61 p407 p438 p608 p522 p220 p265 p176 p570 p240 p55 p541 }) ({p34 } a15 {p52 }) ({p52 } a18 {p21 }) ({p269 p576 p577 p164 p425 p125 p580 p12 p18 p280 p24 p287 p305 p306 p452 p434 p180 p438 p308 p543 p462 p610 p402 p546 p156 p414 p619 p107 p265 p570 p550 p113 } a31 {p117 p576 p577 p270 p579 p596 p425 p580 p15 p344 p283 p282 p558 p304 p54 p435 p180 p231 p188 p191 p445 p611 p402 p547 p156 p413 p107 p265 p109 p621 }) ({p454 p12 p572 } a31 {p465 p307 p572 p54 }) ({p275 p234 p21 p221 } a20 {p83 p243 p61 p273 p297 }) ({p33 } a50 {p87 }) ({p12 p318 p305 p452 p462 } a31 {p579 p123 p188 p341 p283 p54 }) ({p269 p576 p577 p425 p125 p580 p12 p18 p280 p24 p287 p305 p306 p452 p434 p180 p438 p308 p191 p543 p462 p402 p156 p619 p107 p265 p570 p113 } a31 {p117 p576 p577 p270 p579 p425 p580 p15 p344 p283 p282 p558 p304 p54 p435 p180 p231 p188 p191 p445 p402 p156 p107 p265 p109 p621 }) ({p242 p59 p379 p245 p38 p159 p218 p262 p21 p194 } a20 {p378 p61 p273 p217 p256 p159 p608 p220 p176 p240 p55 }) ({p85 p487 p231 p513 p302 p21 p109 } a20 {p530 p61 p490 p511 p101 p302 p236 p434 p24 }) ({p36 } a23 {p39 }) ({p576 p180 p453 p577 p64 p425 p527 p337 p580 p12 p402 p407 p294 p156 p97 p46 p522 p107 p265 p416 p110 } a31 {p524 p576 p180 p577 p64 p425 p580 p439 p464 p402 p294 p94 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p35 p231 p514 p261 p432 p540 p382 } a51 {p505 p531 p493 p233 p22 p434 }) ({p180 p576 p577 p332 p425 p273 p511 p580 p12 p236 p484 p385 p557 p246 p217 p302 p101 p495 p107 } a31 {p180 p576 p379 p577 p332 p425 p580 p278 p553 p516 p85 p487 p405 p386 p408 p262 p107 p54 }) ({p401 p508 p12 p259 p45 p238 p377 p428 } a31 {p577 p471 p158 p427 p498 p56 p501 p54 }) ({p179 p12 p235 p115 } a31 {p136 p111 p241 p27 p477 p54 }) ({p508 p21 p428 } a20 {p577 p61 p427 p498 p501 }) ({p136 p21 p111 p241 p27 p477 } a20 {p179 p248 p61 p134 p446 p107 p53 }) ({p505 p233 p457 p21 p559 } a20 {p503 p61 p261 p432 p112 p382 }) ({p576 p180 p577 p425 p438 p580 p12 p543 p280 p462 p24 p445 p402 p156 p305 p306 p107 p265 p570 p452 p434 } a31 {p435 p576 p180 p577 p579 p425 p231 p580 p188 p283 p282 p445 p402 p558 p156 p304 p107 p265 p109 p54 }) ({p576 p180 p577 p64 p425 p580 p528 p12 p442 p462 p402 p317 p156 p97 p305 p538 p107 p265 p416 p452 } a31 {p120 p576 p180 p577 p579 p123 p64 p425 p580 p528 p339 p188 p442 p283 p402 p156 p97 p107 p265 p416 p54 }) ({p117 p576 p577 p270 p425 p9 p580 p128 p21 p283 p282 p291 p294 p300 p435 p180 p64 p439 p464 p402 p547 p156 p97 p414 p107 p265 p621 p572 p551 } a20 {p576 p577 p272 p425 p125 p580 p18 p287 p491 p305 p42 p535 p46 p306 p180 p453 p61 p227 p64 p438 p462 p402 p407 p156 p97 p414 p522 p107 p265 p570 p550 }) ({p576 p331 p577 p425 p580 p15 p278 p553 p344 p21 p558 p304 p178 p180 p231 p188 p190 p445 p402 p85 p156 p617 p108 p107 p265 p109 p267 } a20 {p269 p576 p577 p425 p580 p13 p340 p280 p24 p557 p302 p452 p434 p180 p61 p308 p190 p543 p236 p444 p195 p402 p156 p101 p619 p107 p265 p113 }) ({p370 p576 p180 p577 p64 p425 p580 p12 p18 p442 p462 p402 p293 p317 p156 p97 p305 p538 p619 p107 p265 p416 p452 } a31 {p120 p576 p180 p577 p579 p123 p64 p425 p528 p580 p339 p188 p15 p442 p283 p402 p293 p156 p97 p107 p265 p416 p621 p54 }) ({p234 p21 p523 p221 } a20 {p83 p243 p61 p529 p522 }) ({p180 p379 p332 p338 p381 p21 p516 p245 p405 p489 p316 p213 p98 p160 p263 p262 p325 } a20 {p328 p378 p327 p180 p61 p273 p515 p484 p399 p347 p385 p246 p213 p217 p256 p159 p104 p495 p266 p214 }) ({p8 } a41 {p23 }) ({p59 p542 p379 p21 p194 p242 p347 p245 p532 p98 p38 p218 p160 p262 } a20 {p378 p61 p273 p608 p240 p347 p217 p615 p256 p159 p104 p220 p176 p55 p541 }) ({p576 p180 p577 p425 p438 p580 p12 p240 p402 p530 p490 p156 p107 p265 p570 p109 p434 p55 p541 } a31 {p435 p576 p180 p577 p380 p425 p231 p580 p513 p402 p532 p156 p38 p218 p107 p265 p109 p54 }) ({p557 p85 p487 p231 p513 p278 p304 p21 p109 } a20 {p557 p61 p530 p490 p511 p302 p101 p280 p236 p24 p434 }) ({p246 p252 p511 p12 p484 p499 p571 p585 } a31 {p519 p487 p592 p408 p255 p199 p319 p54 }) ({p378 p327 p180 p425 p509 p12 p515 p315 p399 p429 p90 p256 p159 p107 } a31 {p180 p578 p425 p427 p381 p79 p245 p489 p316 p154 p98 p107 p501 p54 }) ({p421 p576 p577 p425 p580 p12 p277 p18 p368 p296 p305 p538 p452 p370 p180 p64 p462 p402 p612 p472 p317 p156 p97 p619 p107 p265 } a31 {p120 p576 p577 p579 p123 p425 p528 p580 p339 p15 p279 p283 p368 p293 p54 p180 p64 p188 p402 p250 p613 p156 p97 p473 p416 p107 p265 p621 }) ({p379 p489 p447 p343 p21 p516 } a20 {p378 p402 p246 p61 p273 p495 p515 p265 p484 }) ({p370 p576 p180 p577 p64 p425 p580 p12 p277 p18 p442 p462 p402 p296 p317 p156 p97 p305 p538 p619 p107 p265 p416 p452 } a31 {p120 p576 p577 p579 p123 p425 p528 p580 p339 p15 p279 p283 p293 p54 p180 p64 p188 p442 p402 p156 p97 p107 p265 p416 p621 }) ({p12 p536 p110 } a31 {p118 p94 p54 }) ({p37 } a32 {p40 }) ({p329 p35 p235 p377 p167 p79 } a51 {p162 p312 p237 p603 p22 }) ({p576 p180 p59 p577 p64 p425 p527 p337 p580 p12 p195 p402 p156 p97 p522 p220 p107 p265 p110 p176 } a31 {p524 p576 p180 p59 p577 p64 p425 p66 p580 p194 p242 p402 p94 p156 p97 p107 p265 p572 p178 p54 }) ({p576 p180 p577 p66 p425 p273 p580 p12 p236 p195 p402 p156 p302 p101 p107 p265 p176 } a31 {p576 p180 p379 p577 p66 p425 p580 p278 p194 p402 p85 p156 p107 p265 p178 p54 }) ({p421 p576 p577 p425 p580 p12 p277 p18 p296 p305 p538 p452 p370 p180 p64 p462 p402 p612 p472 p317 p156 p97 p619 p107 p265 p202 } a31 {p120 p576 p577 p579 p123 p425 p528 p580 p339 p15 p279 p283 p368 p293 p54 p180 p64 p188 p402 p250 p613 p156 p97 p473 p416 p107 p265 p621 }) ({p576 p577 p272 p425 p527 p337 p580 p13 p12 p292 p42 p220 p176 p180 p227 p608 p610 p195 p402 p467 p407 p373 p156 p615 p97 p414 p522 p107 p265 p110 p551 } a31 {p524 p576 p577 p425 p274 p580 p128 p291 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p611 p402 p469 p94 p156 p97 p617 p413 p107 p265 p572 p551 }) ({p576 p577 p272 p425 p527 p337 p580 p13 p12 p367 p292 p42 p535 p220 p176 p180 p227 p608 p610 p195 p402 p467 p407 p373 p156 p615 p97 p414 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p274 p362 p580 p128 p291 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p611 p402 p469 p94 p156 p97 p617 p413 p107 p265 p572 p551 }) ({p574 p31 p250 p196 p154 p479 p363 p474 p21 p79 } a20 {p421 p562 p61 p90 p425 p10 p480 p342 p20 p315 p571 }) ({p378 p574 p180 p576 p577 p578 p425 p580 p12 p240 p402 p530 p90 p256 p159 p107 p55 p541 } a31 {p574 p180 p576 p577 p578 p425 p580 p402 p245 p154 p532 p98 p38 p218 p107 p54 }) ({p269 p576 p577 p164 p425 p125 p580 p12 p280 p24 p287 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p308 p607 p543 p463 p240 p402 p546 p156 p412 p107 p265 p570 p550 p113 } a31 {p117 p576 p577 p270 p596 p380 p425 p580 p344 p282 p558 p532 p38 p388 p304 p218 p54 p435 p180 p231 p513 p191 p609 p445 p466 p402 p547 p156 p411 p107 p265 p109 }) ({p180 p246 p252 p408 p511 p12 p588 p107 p584 p484 p571 } a31 {p180 p487 p408 p255 p199 p319 p172 p107 p54 }) ({p378 p402 p35 p471 p515 p265 p56 } a51 {p401 p489 p259 p447 p343 p22 }) ({p574 p31 p487 p196 p154 p513 p21 } a20 {p562 p530 p61 p90 p490 p511 p342 p20 p571 }) ({p574 p250 p154 p255 p479 p426 p474 p319 p21 p417 p346 p79 } a20 {p421 p562 p61 p90 p10 p258 p480 p397 p322 p315 p571 }) ({p39 } a24 {p52 }) ({p275 p21 p499 p518 } a20 {p519 p61 p273 p297 p418 }) ({p339 p188 p536 p21 p178 } a20 {p118 p61 p337 p317 p452 p195 }) ({p244 p199 p144 p138 p21 p166 p111 } a20 {p180 p61 p204 p252 p155 p107 p584 p201 p604 p140 }) ({p575 p12 p311 } a31 {p575 p468 p307 p54 }) ({p93 } a26 {p80 }) ({p29 p425 p35 p342 p459 p571 p372 } a51 {p31 p196 p424 p479 p363 p22 p573 }) ({p421 p576 p577 p272 p425 p527 p337 p580 p12 p367 p292 p491 p42 p535 p46 p180 p453 p227 p64 p402 p612 p407 p156 p97 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p9 p274 p362 p580 p128 p291 p294 p300 p307 p54 p180 p64 p439 p464 p402 p250 p613 p94 p156 p97 p416 p107 p265 p572 p551 }) ({p339 p536 p21 p195 } a20 {p118 p61 p337 p317 p195 }) ({p131 p21 } a20 {p61 p334 p123 }) ({p179 p62 p424 p232 p441 p529 p193 p517 p401 p468 p35 p259 p369 p572 p498 p112 } a51 {p575 p179 p62 p424 p232 p441 p22 p193 p517 p401 p468 p259 p523 p498 p112 }) ({p465 p243 p21 p523 } a20 {p465 p243 p61 p529 p522 }) ({p118 p576 p180 p577 p334 p64 p425 p580 p16 p341 p279 p442 p21 p465 p402 p290 p468 p298 p156 p97 p616 p107 p265 } a20 {p118 p576 p180 p577 p225 p61 p334 p64 p7 p425 p580 p341 p442 p465 p402 p468 p296 p298 p156 p97 p107 p265 p620 }) ({p29 p577 p250 p158 p474 p459 p21 p498 p372 } a20 {p421 p61 p424 p508 p10 p20 p45 p238 p377 p573 p428 }) ({p179 p329 p424 p35 p156 p45 p238 p498 p79 p377 p501 } a51 {p179 p424 p142 p158 p312 p22 p498 p501 }) ({p118 p576 p478 p180 p453 p577 p225 p334 p64 p425 p580 p12 p341 p442 p402 p491 p156 p97 p46 p107 p265 p416 p572 } a31 {p118 p576 p478 p577 p334 p425 p9 p580 p341 p20 p290 p300 p307 p54 p180 p64 p442 p464 p402 p156 p97 p107 p265 p416 p572 }) ({p44 } a52 {p82 }) ({p309 p43 p21 p572 p464 } a20 {p453 p61 p298 p442 p522 p570 p462 }) ({p12 p188 p318 } a31 {p123 p188 p341 p54 }) ({p378 p563 p531 p493 p256 p142 p12 p240 p55 } a31 {p576 p245 p380 p156 p514 p38 p218 p540 p501 p54 }) ({p35 p155 p235 p130 p115 } a51 {p144 p237 p22 p351 }) ({p574 p487 p597 p154 p255 p513 p319 p172 p589 p21 p346 } a20 {p562 p61 p530 p90 p490 p597 p511 p258 p588 p322 p175 p571 }) ({p576 p180 p577 p64 p425 p66 p580 p12 p442 p193 p402 p468 p156 p97 p107 p265 p114 p369 } a31 {p575 p576 p180 p577 p64 p425 p66 p580 p442 p193 p402 p468 p156 p97 p534 p107 p265 p54 }) ({p180 p379 p332 p338 p600 p381 p209 p21 p516 p591 p245 p212 p405 p489 p316 p409 p98 p160 p263 p357 p262 p325 p394 p177 } a20 {p328 p378 p327 p423 p273 p599 p581 p484 p347 p385 p213 p217 p495 p214 p180 p61 p605 p515 p590 p399 p246 p256 p96 p159 p104 p266 p359 }) ({p131 p579 p35 p341 } a51 {p579 p334 p318 p22 }) ({p576 p370 p180 p577 p64 p425 p580 p12 p188 p277 p442 p368 p402 p296 p317 p156 p97 p538 p107 p265 p416 } a31 {p120 p576 p180 p577 p123 p64 p425 p528 p580 p339 p188 p279 p442 p368 p402 p293 p156 p97 p107 p265 p416 p54 }) ({p370 p576 p180 p577 p64 p7 p425 p580 p12 p277 p442 p402 p296 p614 p317 p156 p97 p538 p107 p265 p202 } a31 {p120 p576 p180 p577 p5 p123 p64 p425 p528 p580 p339 p279 p442 p368 p402 p293 p156 p97 p616 p107 p265 p54 }) ({p70 } a6 {p30 }) ({p244 p181 p169 p157 p199 p136 p21 p111 p149 } a20 {p61 p204 p252 p352 p134 p145 p107 p584 p174 p201 p604 }) ({p337 p12 p110 p176 p523 p221 p195 } a31 {p243 p66 p94 p529 p194 p572 p178 p54 }) ({p378 p576 p379 p335 p7 p337 p339 p341 p16 p22 p174 p55 p59 p231 p188 p234 p236 p399 p462 p79 p240 p195 p464 p242 p465 p243 p405 p470 p256 p199 p101 p414 p416 p110 p201 p120 p130 p290 p296 p305 p507 p511 p438 p513 p514 p515 p516 p518 p519 p154 p156 p570 p571 p572 } a45 {p378 p576 p379 p335 p7 p337 p339 p341 p16 p174 p55 p59 p231 p188 p234 p236 p399 p462 p79 p240 p195 p464 p242 p465 p243 p405 p88 p470 p256 p199 p101 p414 p416 p110 p201 p120 p130 p290 p296 p305 p507 p511 p438 p513 p514 p515 p516 p518 p519 p154 p156 p570 p571 p572 }) ({p576 p577 p425 p125 p580 p12 p18 p280 p344 p24 p305 p306 p452 p434 p180 p438 p543 p462 p402 p156 p619 p107 p265 p570 p113 } a31 {p117 p435 p576 p180 p577 p579 p425 p580 p231 p188 p15 p344 p283 p282 p445 p402 p558 p156 p304 p107 p265 p109 p621 p54 }) ({p328 p576 p577 p425 p273 p580 p13 p12 p340 p557 p217 p302 p220 p176 p180 p608 p236 p444 p195 p591 p402 p615 p101 p104 p107 p266 } a31 {p576 p331 p379 p577 p425 p580 p338 p278 p553 p178 p54 p59 p180 p542 p66 p194 p242 p591 p402 p85 p617 p160 p262 p108 p107 p267 }) ({p576 p577 p272 p425 p527 p337 p580 p13 p12 p292 p42 p220 p176 p180 p227 p608 p195 p402 p407 p373 p156 p615 p97 p413 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p274 p580 p128 p291 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p402 p94 p156 p97 p617 p413 p107 p265 p572 }) ({p21 p115 } a20 {p61 p427 p107 p377 p167 }) ({p179 p62 p424 p232 p441 p529 p194 p517 p401 p35 p259 p173 p369 p572 p498 p112 } a51 {p575 p179 p62 p424 p232 p441 p193 p22 p517 p401 p259 p176 p523 p498 p112 }) ({p576 p370 p180 p577 p64 p425 p580 p12 p188 p442 p368 p402 p293 p317 p156 p97 p538 p107 p265 p416 } a31 {p120 p576 p180 p577 p123 p64 p425 p528 p580 p339 p188 p442 p368 p402 p293 p156 p97 p107 p265 p416 p54 }) ({p524 p120 p576 p577 p425 p274 p528 p580 p339 p15 p21 p293 p178 p180 p64 p188 p442 p402 p94 p156 p97 p617 p414 p107 p265 } a20 {p576 p577 p425 p527 p337 p580 p13 p277 p292 p538 p452 p370 p180 p61 p64 p442 p195 p402 p317 p156 p97 p414 p619 p107 p265 p110 }) ({p425 p479 p12 } a31 {p425 p479 p54 }) ({p524 p120 p576 p180 p577 p64 p425 p528 p580 p339 p188 p13 p442 p21 p402 p94 p156 p97 p414 p107 p265 p178 } a20 {p576 p370 p180 p577 p61 p64 p425 p527 p337 p580 p13 p442 p195 p402 p317 p156 p97 p538 p414 p107 p265 p110 p452 }) ({p423 p597 p511 p12 p588 p484 p385 p246 p252 p352 p495 p107 p392 p584 p571 p214 } a31 {p181 p332 p516 p487 p405 p386 p408 p255 p353 p199 p319 p172 p107 p394 p54 }) ({p311 p21 } a20 {p61 p468 p307 }) ({p180 p402 p489 p12 } a31 {p180 p402 p489 p54 }) ({p576 p180 p577 p62 p380 p425 p580 p12 p441 p402 p156 p97 p261 p432 p107 p265 } a31 {p576 p180 p577 p380 p425 p216 p580 p233 p402 p156 p97 p107 p265 p552 p54 }) ({p503 p248 p12 p415 p239 p53 p573 } a31 {p29 p408 p457 p517 p372 p54 }) ({p52 } a17 {p57 }) ({p421 p118 p576 p577 p334 p425 p9 p580 p341 p279 p21 p283 p290 p300 p180 p64 p438 p442 p464 p402 p156 p97 p414 p107 p265 p621 } a20 {p421 p118 p576 p577 p334 p425 p580 p341 p18 p491 p296 p305 p46 p180 p453 p225 p61 p64 p438 p442 p462 p402 p156 p97 p414 p107 p265 }) ({p29 p511 p35 p342 p457 p571 p372 } a51 {p31 p503 p487 p196 p22 p573 }) ({p421 p248 p424 p134 p10 p12 p446 p107 p53 p573 } a31 {p29 p250 p474 p459 p107 p372 p54 }) ({p435 p117 p59 p542 p270 p439 p128 p21 p609 p194 p282 p242 p466 p291 p294 p532 p38 p388 p413 p218 p265 p550 p572 p393 } a20 {p272 p125 p287 p42 p306 p220 p176 p55 p541 p395 p61 p227 p438 p608 p610 p240 p467 p407 p373 p615 p412 p522 p265 p570 p550 }) ({p576 p508 p35 p156 p514 p261 p45 p540 p382 p238 } a51 {p577 p505 p563 p531 p493 p142 p158 p22 }) ({p435 p395 p59 p542 p439 p21 p194 p282 p242 p294 p532 p38 p218 p265 p572 } a20 {p395 p61 p227 p438 p608 p240 p407 p615 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p576 p380 p531 p438 p156 p12 p570 p434 p240 p55 } a31 {p435 p576 p380 p231 p156 p38 p218 p540 p54 }) ({p576 p180 p120 p577 p64 p425 p580 p12 p442 p462 p402 p317 p156 p97 p305 p107 p265 p416 p452 } a31 {p576 p180 p120 p577 p579 p123 p64 p425 p580 p339 p188 p442 p283 p402 p156 p97 p107 p265 p416 p54 }) ({p576 p180 p577 p64 p425 p580 p528 p12 p188 p442 p402 p317 p156 p97 p538 p107 p265 p416 } a31 {p120 p576 p180 p577 p123 p64 p425 p580 p528 p339 p188 p442 p402 p156 p97 p107 p265 p416 p54 }) ({p465 p35 p311 p529 p369 p572 } a51 {p575 p468 p454 p22 p523 }) }, initialMarking = {p378 p379 p5 p7 p380 p9 p10 p527 p528 p13 p15 p16 p18 p529 p20 p32 p540 p55 p393 p541 p395 p59 p542 p62 p64 p66 p231 p232 p233 p234 p236 p399 p79 p240 p242 p401 p243 p402 p405 p408 p409 p410 p95 p97 p256 p411 p101 p257 p412 p103 p259 p413 p262 p414 p107 p264 p265 p416 p109 p110 p550 p112 p114 p551 p118 p421 p120 p423 p123 p424 p425 p125 p426 p128 p427 p130 p557 p287 p558 p290 p291 p292 p293 p294 p295 p296 p297 p298 p299 p300 p301 p302 p303 p304 p305 p306 p307 p438 p439 p441 p442 p444 p445 p154 p155 p156 p157 p158 p159 p160 p570 p571 p572 p573 p327 p574 p575 p329 p576 p577 p578 p579 p332 p334 p335 p337 p580 p338 p339 p340 p341 p342 p344 p346 p347 p174 p179 p180 p181 p187 p188 p190 p191 p588 p192 p589 p193 p590 p194 p462 p195 p464 p465 p591 p592 p468 p470 p199 p358 p201 p361 p478 p596 p597 p598 p599 p600 p601 p367 p368 p212 p213 p498 p501 p503 p505 p507 p511 p513 p514 p515 p516 p517 p518 p519 p376 }, acceptingPlaces = {p82 } ); 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 p522 p523 p524 p525 p526 p527 p528 p529 p530 p531 p532 p533 p534 p535 p536 p537 p538 p539 p540 p541 p542 p543 p544 p545 p546 p547 p548 p549 p550 p551 p552 p553 p554 p555 p556 p557 p558 p559 p560 p561 p562 p563 p564 p565 p566 p567 p568 p569 p570 p571 p572 p573 p574 p575 p576 p577 p578 p579 p580 p581 p582 p583 p584 p585 p586 p587 p588 p589 p590 p591 p592 p593 p594 p595 p596 p597 p598 p599 p600 p601 p602 p603 p604 p605 p606 p607 p608 p609 p610 p611 p612 p613 p614 p615 p616 p617 p618 p619 p620 p621 p622 }, transitions = { ({p118 p576 p180 p577 p225 p334 p64 p425 p10 p580 p12 p341 p442 p465 p402 p468 p298 p156 p97 p107 p265 p620 } a31 {p118 p576 p180 p577 p334 p64 p425 p580 p16 p341 p20 p442 p465 p402 p290 p468 p298 p156 p97 p474 p107 p265 p54 }) ({p331 p182 p231 p513 p606 p278 p191 p601 p553 p344 p21 p461 p445 p85 p558 p487 p386 p411 p304 p108 p109 p267 } a20 {p269 p61 p164 p308 p511 p340 p190 p601 p607 p543 p280 p236 p24 p444 p463 p557 p530 p490 p387 p410 p302 p101 p434 p113 }) ({p378 p64 p35 p216 p265 p56 p240 } a51 {p62 p218 p259 p447 p22 p544 }) ({p560 p231 p188 p21 p178 } a20 {p61 p97 p236 p452 p434 p195 }) ({p378 p327 p361 p180 p12 p480 p515 p397 p315 p399 p347 p562 p90 p256 p258 p159 p322 p107 } a31 {p574 p361 p180 p426 p427 p381 p346 p79 p245 p489 p316 p154 p98 p263 p107 p325 p501 p54 }) ({p511 p35 p97 p457 p236 p559 } a51 {p560 p503 p487 p22 p112 }) ({p378 p327 p423 p180 p12 p480 p208 p515 p397 p590 p315 p399 p347 p562 p90 p213 p256 p258 p159 p322 p107 p264 p392 p175 } a31 {p574 p361 p180 p426 p427 p381 p589 p209 p346 p79 p245 p489 p316 p154 p98 p263 p107 p264 p325 p394 p177 p501 p54 }) ({p576 p180 p577 p425 p187 p580 p143 p233 p21 p402 p156 p450 p107 p265 p559 } a20 {p576 p180 p577 p61 p425 p580 p192 p402 p156 p451 p432 p107 p265 p112 }) ({p524 p120 p576 p180 p577 p64 p425 p528 p580 p339 p188 p15 p442 p21 p402 p292 p94 p156 p97 p617 p414 p107 p265 p178 } a20 {p576 p577 p425 p527 p337 p580 p13 p292 p538 p452 p370 p180 p61 p64 p442 p195 p402 p317 p156 p97 p414 p619 p107 p265 p110 }) ({p576 p577 p425 p527 p337 p580 p13 p12 p128 p220 p176 p180 p227 p608 p195 p402 p407 p373 p156 p615 p97 p413 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p580 p128 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p402 p94 p156 p97 p617 p413 p107 p265 p572 }) ({p6 p103 } a39 {p8 p105 p75 }) ({p61 } a22 {p36 }) ({p118 p576 p180 p453 p577 p334 p64 p425 p9 p580 p12 p341 p442 p402 p156 p97 p46 p107 p265 p416 p572 } a31 {p118 p576 p180 p577 p334 p64 p425 p9 p580 p341 p442 p464 p402 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p575 p118 p576 p120 p577 p379 p334 p380 p425 p335 p580 p12 p339 p341 p16 p290 p298 p303 p180 p59 p64 p66 p231 p187 p188 p233 p442 p464 p465 p402 p405 p468 p470 p154 p156 p158 p97 p199 p107 p265 p416 p572 p376 } a31 {p575 p118 p576 p120 p577 p379 p334 p380 p425 p335 p580 p339 p341 p16 p290 p298 p303 p54 p180 p59 p64 p66 p231 p187 p188 p233 p442 p464 p465 p402 p405 p468 p470 p154 p156 p158 p97 p199 p107 p265 p416 p572 p376 }) ({p370 p576 p180 p577 p64 p5 p425 p580 p12 p188 p277 p442 p402 p296 p317 p156 p97 p538 p107 p265 p416 p202 } a31 {p120 p576 p180 p577 p123 p64 p5 p425 p528 p580 p339 p188 p279 p442 p368 p402 p293 p156 p97 p107 p265 p416 p54 }) ({p421 p576 p180 p120 p577 p64 p425 p527 p580 p339 p442 p21 p195 p402 p94 p156 p97 p414 p107 p265 } a20 {p421 p576 p180 p577 p61 p64 p425 p527 p337 p580 p442 p195 p402 p317 p156 p97 p538 p414 p107 p265 p110 }) ({p117 p576 p577 p270 p425 p9 p580 p128 p21 p283 p282 p291 p294 p300 p435 p180 p64 p439 p464 p402 p156 p97 p414 p107 p265 p550 p621 p572 } a20 {p576 p577 p272 p425 p125 p580 p18 p287 p491 p305 p42 p46 p306 p180 p453 p61 p227 p64 p438 p462 p402 p407 p156 p97 p414 p522 p107 p265 p570 p550 }) ({p88 p580 p299 p301 p303 } a12 {p580 p299 p301 p303 p44 }) ({p378 p327 p574 p180 p576 p577 p578 p425 p580 p12 p515 p427 p315 p399 p90 p256 p159 p107 } a31 {p574 p180 p576 p577 p578 p425 p580 p427 p381 p79 p245 p489 p316 p154 p98 p107 p54 }) ({p576 p180 p577 p425 p438 p580 p12 p462 p402 p156 p97 p305 p107 p265 p570 p109 p452 p434 } a31 {p435 p576 p180 p577 p579 p425 p580 p231 p188 p283 p402 p156 p97 p107 p265 p109 p54 }) ({p244 p181 p405 p250 p489 p169 p199 p474 p381 p21 p516 } a20 {p421 p61 p10 p515 p484 p399 p385 p246 p252 p352 p495 p584 p174 p201 }) ({p576 p577 p272 p425 p527 p337 p580 p12 p367 p292 p491 p42 p535 p46 p180 p453 p227 p64 p402 p407 p156 p97 p522 p107 p265 p416 p110 } a31 {p524 p576 p577 p425 p9 p274 p362 p580 p128 p291 p294 p300 p307 p54 p180 p64 p439 p464 p402 p94 p156 p97 p107 p265 p416 p572 p551 }) ({p524 p120 p576 p180 p577 p5 p64 p425 p274 p528 p362 p580 p339 p21 p368 p402 p250 p293 p613 p94 p156 p97 p107 p265 } a20 {p421 p370 p576 p180 p577 p61 p64 p425 p527 p337 p580 p277 p367 p402 p292 p614 p317 p156 p97 p538 p107 p265 p110 p202 }) ({p576 p531 p156 p514 p21 } a20 {p576 p530 p61 p156 p514 p540 }) ({p519 p592 p248 p35 p199 p415 p239 p53 } a51 {p246 p252 p22 p484 p499 p517 p585 }) ({p576 p180 p577 p425 p580 p231 p188 p15 p340 p278 p553 p21 p445 p402 p558 p85 p156 p304 p617 p108 p107 p265 p109 p178 } a20 {p576 p577 p425 p580 p13 p340 p280 p24 p557 p302 p452 p434 p180 p61 p543 p236 p444 p195 p402 p156 p101 p619 p107 p265 p113 }) ({p118 p576 p180 p577 p334 p64 p425 p10 p580 p12 p341 p442 p465 p402 p290 p468 p298 p156 p97 p107 p265 p620 } a31 {p118 p576 p180 p577 p334 p64 p425 p580 p16 p341 p442 p465 p402 p290 p468 p298 p156 p97 p474 p107 p265 p54 }) ({p578 p563 p154 p142 p312 p21 p485 } a20 {p429 p329 p576 p61 p90 p509 p156 p315 }) ({p59 p379 p542 p338 p599 p21 p194 p242 p591 p245 p532 p98 p38 p218 p160 p263 p262 p325 p177 } a20 {p328 p378 p61 p273 p599 p581 p608 p590 p240 p347 p217 p615 p256 p159 p104 p220 p266 p176 p55 p541 }) ({p576 p577 p272 p425 p527 p337 p580 p12 p292 p491 p42 p46 p180 p453 p227 p64 p402 p407 p156 p97 p522 p107 p265 p416 p110 p551 } a31 {p524 p576 p577 p425 p9 p274 p580 p128 p291 p294 p300 p307 p54 p180 p64 p439 p464 p402 p94 p156 p97 p107 p265 p416 p572 p551 }) ({p23 } a46 {p26 }) ({p331 p231 p513 p190 p278 p553 p344 p21 p445 p85 p558 p487 p386 p304 p108 p109 p267 } a20 {p269 p61 p308 p511 p340 p190 p543 p280 p236 p24 p444 p557 p530 p490 p387 p302 p101 p434 p113 }) ({p118 p576 p478 p180 p453 p577 p334 p64 p425 p580 p12 p341 p442 p402 p290 p491 p156 p97 p46 p107 p265 p416 p572 } a31 {p118 p576 p478 p180 p577 p334 p64 p425 p9 p580 p341 p442 p464 p402 p290 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p576 p154 p142 p312 p21 } a20 {p329 p576 p61 p90 p156 p315 }) ({p29 p577 p505 p158 p457 p21 p372 } a20 {p503 p61 p508 p261 p20 p45 p382 p238 p573 }) ({p246 p408 p511 p275 p12 p101 p236 p484 } a31 {p379 p85 p487 p408 p297 p54 }) ({p576 p180 p577 p425 p273 p580 p12 p608 p236 p195 p557 p402 p217 p156 p302 p101 p160 p220 p107 p176 } a31 {p59 p576 p180 p379 p577 p66 p425 p580 p278 p553 p194 p242 p402 p85 p156 p160 p262 p107 p178 p54 }) ({p378 p576 p256 p142 p12 p515 p427 p312 p399 } a31 {p329 p576 p245 p489 p156 p427 p381 p79 p54 }) ({p32 } a49 {p11 }) ({p116 p21 } a20 {p116 p61 }) ({p204 p597 p12 p588 p145 p252 p352 p134 p257 p107 p584 p571 p604 } a31 {p181 p479 p207 p247 p255 p353 p157 p199 p319 p390 p172 p107 p417 p54 }) ({p21 p415 } a20 {p61 p408 p517 }) ({p12 p144 p237 p174 p201 p351 } a31 {p244 p169 p155 p136 p130 p111 p149 p54 }) ({p256 p12 p447 p343 p399 } a31 {p402 p245 p381 p265 p54 }) ({p576 p180 p577 p227 p425 p527 p337 p580 p13 p12 p608 p195 p402 p407 p156 p615 p97 p220 p522 p107 p265 p176 p110 p393 } a31 {p524 p576 p59 p180 p577 p542 p425 p66 p580 p439 p194 p242 p402 p294 p94 p156 p97 p617 p107 p265 p572 p178 p54 p393 }) ({p64 p35 p216 p442 p570 p552 p240 } a51 {p62 p309 p441 p218 p22 p544 }) ({p244 p250 p489 p199 p474 p343 p21 p516 p166 } a20 {p421 p180 p402 p246 p61 p252 p10 p515 p495 p584 p484 p201 }) ({p574 p487 p154 p255 p513 p319 p588 p21 p346 } a20 {p562 p530 p61 p90 p490 p511 p258 p588 p322 p571 }) ({p327 p429 p116 p12 p515 p237 p315 p174 p399 p201 p604 } a31 {p244 p489 p316 p169 p427 p390 p381 p107 p79 p54 }) ({p244 p181 p169 p157 p199 p138 p21 p111 p149 } a20 {p61 p204 p252 p352 p145 p107 p584 p174 p201 p604 p140 }) ({p81 p12 p173 p219 p192 p77 p112 } a31 {p66 p450 p143 p232 p193 p559 p376 p54 }) ({p454 p470 p529 p21 } a20 {p465 p61 p529 p313 }) ({p576 p180 p577 p542 p425 p527 p337 p580 p12 p608 p195 p402 p407 p156 p97 p522 p220 p107 p265 p110 p176 } a31 {p524 p576 p59 p180 p577 p542 p66 p425 p580 p439 p194 p242 p402 p94 p156 p97 p107 p265 p572 p178 p54 }) ({p12 p457 } a31 {p457 p54 }) ({p575 p576 p180 p577 p64 p425 p580 p21 p402 p468 p156 p97 p107 p265 p433 p552 } a20 {p576 p180 p577 p61 p64 p425 p580 p311 p441 p402 p295 p156 p97 p107 p265 p369 }) ({p576 p180 p577 p334 p64 p425 p580 p187 p143 p442 p21 p402 p156 p450 p97 p534 p107 p265 } a20 {p576 p180 p577 p61 p64 p425 p580 p442 p192 p402 p131 p156 p97 p451 p107 p265 p114 }) ({p43 p442 p21 p464 } a20 {p453 p61 p298 p442 p462 }) ({p576 p180 p577 p425 p438 p580 p12 p24 p240 p402 p530 p490 p156 p304 p107 p265 p570 p434 p55 p541 } a31 {p435 p576 p180 p577 p380 p425 p231 p580 p513 p402 p532 p156 p38 p218 p304 p107 p265 p109 p54 }) ({p179 p424 p380 p231 p517 p401 p35 p261 p259 p432 p540 p498 p112 } a51 {p179 p401 p424 p380 p531 p233 p259 p22 p517 p434 p498 p112 }) ({p206 p21 p603 p585 } a20 {p592 p61 p204 p584 p358 p604 }) ({p576 p180 p577 p64 p334 p425 p580 p12 p233 p442 p402 p295 p156 p97 p451 p107 p265 } a31 {p576 p180 p577 p579 p64 p334 p425 p580 p187 p233 p442 p402 p156 p97 p107 p265 p433 p54 }) ({p560 p487 p231 p513 p21 } a20 {p530 p61 p490 p511 p97 p236 p434 }) ({p576 p180 p577 p425 p231 p580 p188 p278 p553 p21 p444 p402 p85 p558 p156 p304 p107 p265 p109 p178 } a20 {p576 p180 p577 p61 p425 p580 p543 p280 p236 p24 p444 p195 p557 p402 p156 p302 p101 p107 p265 p452 p434 }) ({p378 p180 p425 p598 p12 p590 p240 p347 p562 p530 p90 p490 p256 p258 p159 p322 p107 p175 p55 p541 } a31 {p574 p180 p380 p425 p598 p513 p589 p346 p245 p154 p532 p98 p38 p218 p263 p107 p325 p177 p501 p54 }) ({p59 p379 p542 p338 p600 p21 p194 p242 p591 p245 p532 p410 p98 p38 p388 p218 p160 p263 p357 p262 p325 p393 p177 } a20 {p328 p378 p395 p61 p273 p599 p581 p608 p590 p240 p347 p373 p217 p410 p615 p256 p159 p104 p220 p266 p176 p359 p55 p541 }) ({p421 p252 p10 p206 p12 p603 p571 p585 p140 } a31 {p592 p250 p255 p479 p199 p474 p319 p417 p358 p54 }) ({p378 p563 p256 p142 p12 p515 p312 p399 p485 } a31 {p329 p576 p245 p489 p156 p427 p381 p79 p501 p54 }) ({p216 p232 p21 p193 p56 p376 } a20 {p81 p62 p61 p259 p173 p219 p77 }) ({p465 p66 p337 p12 p110 p194 p523 } a31 {p465 p66 p94 p529 p194 p572 p54 }) ({p80 } a29 {p12 }) ({p380 p35 p298 p158 p233 p442 p433 p570 p462 p552 p376 } a51 {p380 p295 p309 p158 p43 p441 p233 p22 p376 }) ({p380 p35 p450 p143 p97 p158 p236 p195 p559 p376 } a51 {p560 p380 p158 p192 p22 p112 p178 p376 }) ({p378 p327 p180 p425 p426 p12 p480 p515 p315 p399 p562 p90 p256 p159 p107 } a31 {p574 p180 p425 p426 p427 p381 p79 p245 p489 p316 p154 p98 p107 p501 p54 }) ({p275 p12 p101 p236 p176 p221 p195 } a31 {p243 p379 p85 p66 p297 p194 p178 p54 }) ({p179 p401 p424 p35 p156 p261 p45 p238 p517 p540 p498 p501 } a51 {p179 p401 p424 p531 p142 p158 p22 p517 p498 p501 }) ({p576 p577 p425 p527 p337 p580 p13 p12 p291 p42 p220 p176 p180 p227 p608 p195 p402 p407 p373 p156 p615 p97 p413 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p580 p128 p291 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p402 p94 p156 p97 p617 p413 p107 p265 p572 }) ({p577 p21 p382 } a20 {p577 p505 p61 p380 }) ({p75 } a14 {p34 }) ({p576 p180 p577 p425 p231 p580 p188 p21 p402 p85 p156 p302 p107 p265 p109 p178 } a20 {p576 p180 p577 p61 p425 p580 p236 p24 p195 p402 p156 p101 p302 p107 p265 p452 p434 }) ({p180 p576 p577 p425 p580 p12 p427 p238 p401 p259 p45 p107 p377 } a31 {p180 p576 p577 p425 p580 p471 p158 p427 p107 p56 p54 }) ({p378 p180 p425 p509 p12 p240 p383 p530 p90 p256 p159 p107 p55 p541 } a31 {p180 p578 p507 p380 p425 p245 p154 p532 p98 p38 p218 p107 p501 p54 }) ({p242 p309 p218 p21 p194 p572 p544 } a20 {p61 p64 p442 p522 p220 p176 p570 p240 }) ({p242 p379 p218 p447 p21 p194 p544 } a20 {p378 p61 p64 p273 p220 p265 p176 p240 }) ({p231 p513 p340 p278 p553 p21 p445 p85 p558 p487 p386 p304 p108 p109 } a20 {p61 p511 p340 p543 p280 p236 p24 p444 p557 p530 p490 p387 p302 p101 p434 p113 }) ({p12 p459 } a31 {p459 p54 }) ({p118 p576 p180 p453 p577 p225 p334 p64 p7 p425 p580 p12 p341 p442 p402 p491 p614 p156 p97 p46 p107 p265 p349 } a31 {p118 p478 p576 p577 p5 p334 p425 p9 p580 p341 p20 p290 p300 p307 p54 p180 p64 p442 p464 p402 p156 p97 p616 p107 p265 }) ({p30 } a48 {p33 }) ({p327 p180 p379 p245 p405 p489 p381 p262 p21 p516 } a20 {p378 p327 p180 p61 p273 p515 p484 p399 p385 p246 p217 p256 p495 }) ({p269 p576 p577 p425 p125 p580 p12 p280 p24 p287 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p308 p191 p543 p240 p402 p156 p107 p265 p570 p113 } a31 {p117 p576 p577 p270 p380 p425 p580 p344 p282 p558 p532 p38 p388 p304 p218 p54 p435 p180 p231 p513 p191 p445 p402 p156 p107 p265 p109 }) ({p95 p26 } a37 {p28 p67 p99 }) ({p576 p180 p577 p425 p438 p580 p12 p462 p24 p402 p156 p305 p304 p107 p265 p570 p452 p434 } a31 {p435 p576 p180 p577 p579 p425 p231 p580 p188 p283 p402 p156 p304 p107 p265 p109 p54 }) ({p28 } a47 {p35 }) ({p246 p252 p408 p511 p12 p484 p571 p585 } a31 {p487 p592 p408 p255 p199 p319 p54 }) ({p81 p12 p173 p192 p114 p369 } a31 {p575 p66 p450 p143 p232 p534 p193 p54 }) ({p269 p576 p577 p596 p164 p425 p125 p580 p12 p280 p24 p287 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p308 p607 p543 p463 p240 p402 p156 p412 p107 p265 p570 p113 } a31 {p117 p576 p577 p270 p596 p380 p425 p580 p344 p282 p558 p532 p38 p388 p304 p218 p54 p435 p180 p231 p513 p191 p609 p445 p466 p402 p156 p411 p107 p265 p109 }) ({p328 p576 p577 p425 p273 p580 p13 p12 p340 p601 p581 p557 p217 p302 p220 p176 p180 p190 p608 p236 p444 p195 p402 p373 p615 p411 p101 p104 p107 p266 p359 } a31 {p576 p331 p379 p577 p425 p580 p338 p600 p278 p553 p178 p393 p54 p59 p180 p542 p182 p66 p194 p242 p591 p402 p85 p411 p617 p160 p262 p108 p107 p267 p360 }) ({p378 p180 p425 p12 p589 p240 p347 p562 p530 p90 p490 p256 p258 p159 p322 p107 p55 p541 } a31 {p574 p180 p380 p425 p513 p589 p346 p245 p154 p532 p98 p38 p218 p263 p107 p325 p501 p54 }) ({p421 p118 p576 p577 p334 p424 p425 p580 p341 p21 p298 p305 p174 p55 p179 p180 p64 p511 p438 p514 p442 p399 p195 p401 p465 p519 p402 p243 p468 p156 p256 p97 p101 p474 p414 p107 p265 p110 p571 p573 } a20 {p421 p118 p576 p577 p334 p424 p425 p10 p580 p341 p298 p305 p174 p55 p179 p180 p61 p64 p511 p438 p514 p442 p399 p195 p401 p465 p519 p402 p243 p468 p156 p256 p97 p101 p414 p107 p265 p110 p571 p573 }) ({p118 p575 p579 p380 p35 p337 p158 p534 p233 p376 } a51 {p575 p579 p380 p158 p233 p536 p22 p114 p376 }) ({p54 } a33 {p73 }) ({p508 p21 p382 } a20 {p577 p505 p61 p380 p501 }) ({p64 p12 p218 p265 } a31 {p64 p218 p265 p54 }) ({p524 p120 p576 p577 p425 p274 p528 p580 p339 p15 p21 p367 p293 p178 p180 p64 p188 p611 p402 p469 p94 p156 p97 p617 p416 p107 p265 } a20 {p576 p577 p425 p527 p337 p580 p13 p277 p367 p292 p538 p452 p370 p180 p61 p64 p195 p402 p612 p472 p317 p156 p97 p414 p619 p107 p265 p110 }) ({p576 p180 p577 p425 p580 p12 p441 p402 p295 p156 p97 p451 p432 p107 p265 } a31 {p576 p180 p577 p579 p425 p187 p580 p233 p402 p156 p97 p107 p265 p433 p552 p54 }) ({p454 p470 p21 p523 } a20 {p465 p61 p313 p529 p522 }) ({p250 p471 p474 p21 p517 p241 p27 } a20 {p421 p401 p179 p248 p61 p10 p415 p239 p53 }) ({p576 p180 p577 p64 p425 p66 p580 p12 p442 p192 p402 p156 p97 p173 p107 p265 p114 p369 } a31 {p575 p576 p180 p577 p64 p425 p66 p580 p143 p442 p193 p402 p156 p450 p97 p534 p107 p265 p54 }) ({p487 p12 p97 p342 } a31 {p487 p97 p342 p54 }) ({p327 p162 p12 p515 p107 p237 p315 p174 p399 p201 p604 } a31 {p244 p489 p316 p169 p390 p381 p107 p79 p54 }) ({p576 p180 p577 p425 p273 p580 p12 p236 p195 p83 p402 p156 p302 p101 p107 p265 p176 } a31 {p576 p180 p379 p577 p66 p425 p580 p278 p234 p194 p402 p85 p156 p107 p265 p178 p54 }) ({p118 p576 p180 p577 p64 p425 p580 p12 p188 p442 p402 p132 p156 p97 p107 p265 } a31 {p118 p576 p180 p577 p123 p64 p335 p425 p580 p188 p442 p402 p156 p97 p107 p265 p54 }) ({p244 p181 p405 p332 p489 p316 p169 p199 p381 p390 p21 p516 } a20 {p327 p61 p515 p484 p399 p385 p246 p252 p352 p495 p392 p584 p174 p201 p214 }) ({p576 p577 p425 p527 p337 p580 p12 p291 p491 p42 p46 p180 p453 p227 p64 p402 p407 p156 p97 p522 p107 p265 p416 p110 p551 } a31 {p524 p576 p577 p425 p9 p580 p128 p291 p294 p300 p307 p54 p180 p64 p439 p464 p402 p94 p156 p97 p107 p265 p416 p572 p551 }) ({p131 p295 p12 p451 } a31 {p579 p123 p334 p187 p433 p54 }) ({p117 p576 p577 p270 p425 p9 p580 p128 p21 p283 p282 p291 p294 p300 p435 p180 p64 p439 p464 p611 p402 p547 p156 p97 p416 p107 p265 p621 p572 p551 } a20 {p576 p577 p272 p425 p125 p580 p18 p287 p491 p305 p42 p535 p46 p306 p180 p453 p61 p227 p64 p438 p462 p402 p612 p407 p156 p97 p414 p522 p107 p265 p570 p550 }) ({p328 p576 p577 p425 p273 p580 p12 p340 p600 p581 p484 p385 p557 p217 p302 p495 p214 p180 p511 p605 p190 p236 p444 p246 p410 p96 p101 p104 p107 p266 } a31 {p576 p331 p379 p577 p332 p425 p580 p338 p600 p278 p553 p487 p212 p386 p54 p180 p182 p606 p461 p516 p591 p85 p405 p408 p409 p160 p262 p108 p107 p267 }) ({p117 p576 p577 p425 p9 p580 p128 p21 p283 p282 p287 p294 p300 p435 p180 p64 p439 p464 p402 p156 p97 p414 p107 p265 p550 p621 p572 } a20 {p576 p577 p425 p125 p580 p18 p287 p491 p305 p42 p46 p306 p180 p453 p61 p227 p64 p438 p462 p402 p407 p156 p97 p414 p522 p107 p265 p570 p550 }) ({p378 p395 p180 p425 p599 p12 p590 p240 p347 p562 p530 p490 p90 p409 p387 p256 p258 p355 p159 p322 p107 p175 p55 p541 } a31 {p574 p180 p380 p425 p598 p513 p589 p346 p245 p154 p409 p532 p98 p38 p388 p218 p263 p357 p107 p325 p177 p501 p54 }) ({p179 p62 p424 p334 p188 p232 p233 p441 p517 p401 p35 p259 p451 p498 p112 } a51 {p179 p62 p424 p334 p187 p232 p233 p441 p22 p517 p401 p259 p452 p498 p112 }) ({p576 p329 p577 p334 p7 p10 p580 p341 p529 p21 p174 p540 p55 p179 p180 p62 p64 p232 p192 p399 p195 p401 p465 p402 p243 p592 p468 p256 p97 p101 p259 p414 p107 p265 p110 p112 p114 p421 p118 p424 p425 p295 p296 p297 p298 p299 p305 p498 p503 p505 p511 p438 p514 p441 p442 p517 p519 p156 p571 p573 } a20 {p576 p329 p577 p334 p7 p10 p580 p341 p529 p174 p540 p55 p179 p180 p61 p62 p64 p232 p192 p399 p195 p401 p465 p402 p243 p592 p468 p256 p97 p101 p259 p414 p107 p265 p110 p112 p114 p421 p118 p424 p425 p295 p296 p297 p298 p299 p305 p498 p503 p505 p511 p438 p514 p441 p442 p517 p519 p156 p571 p573 }) ({p118 p576 p180 p577 p453 p334 p64 p425 p580 p12 p341 p442 p402 p298 p156 p300 p97 p107 p265 p416 p572 } a31 {p118 p576 p180 p577 p334 p64 p425 p580 p341 p442 p464 p402 p298 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p438 p309 p12 p544 p55 } a31 {p435 p64 p38 p442 p54 }) ({p576 p531 p154 p142 p21 } a20 {p576 p530 p61 p90 p156 p540 }) ({p378 p180 p425 p12 p240 p346 p562 p530 p90 p490 p256 p159 p107 p55 p541 } a31 {p574 p180 p380 p425 p513 p346 p245 p154 p532 p98 p38 p218 p107 p501 p54 }) ({p204 p597 p12 p588 p145 p252 p352 p257 p107 p584 p571 p604 p140 } a31 {p181 p479 p207 p247 p255 p353 p157 p199 p319 p390 p172 p107 p417 p54 }) ({p328 p576 p577 p425 p273 p580 p12 p340 p484 p385 p557 p212 p217 p302 p495 p214 p180 p511 p236 p444 p246 p101 p104 p107 p266 } a31 {p576 p180 p331 p379 p577 p332 p425 p580 p338 p278 p553 p516 p487 p85 p212 p405 p386 p408 p160 p262 p108 p107 p267 p54 }) ({p435 p59 p542 p125 p439 p21 p194 p282 p242 p294 p532 p38 p388 p412 p218 p265 p572 p393 } a20 {p395 p61 p227 p438 p125 p608 p240 p407 p373 p615 p412 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p576 p577 p425 p125 p580 p12 p280 p344 p24 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p543 p240 p402 p156 p107 p265 p570 p113 } a31 {p117 p576 p577 p380 p425 p580 p344 p282 p558 p532 p38 p388 p304 p218 p54 p435 p180 p231 p513 p445 p402 p156 p107 p265 p109 }) ({p378 p425 p599 p12 p347 p530 p490 p387 p175 p55 p541 p395 p180 p605 p590 p240 p562 p90 p410 p256 p258 p355 p159 p322 p107 } a31 {p574 p180 p380 p425 p598 p513 p606 p589 p346 p245 p409 p154 p532 p38 p98 p388 p218 p263 p357 p107 p325 p177 p501 p54 }) ({p180 p246 p252 p511 p12 p588 p107 p584 p418 p484 p571 } a31 {p180 p487 p408 p255 p199 p319 p172 p107 p518 p54 }) ({p11 } a42 {p84 }) ({p179 p379 p424 p232 p194 p77 p517 p401 p35 p297 p259 p173 p219 p498 } a51 {p179 p401 p424 p275 p232 p259 p193 p22 p176 p517 p498 p376 }) ({p131 p187 p12 } a31 {p123 p334 p187 p54 }) ({p576 p180 p577 p425 p231 p580 p188 p278 p21 p557 p402 p85 p156 p304 p107 p265 p109 p178 } a20 {p576 p180 p577 p61 p425 p580 p280 p236 p24 p195 p557 p402 p156 p302 p101 p107 p265 p452 p434 }) ({p454 p337 p12 p110 p523 } a31 {p465 p94 p307 p529 p572 p54 }) ({p269 p576 p577 p164 p425 p125 p580 p12 p18 p280 p24 p287 p305 p306 p452 p434 p180 p438 p308 p543 p462 p402 p546 p156 p413 p619 p107 p265 p570 p550 p113 } a31 {p117 p576 p577 p270 p579 p596 p425 p580 p15 p344 p283 p282 p558 p304 p54 p435 p180 p231 p188 p191 p445 p402 p547 p156 p413 p107 p265 p109 p621 }) ({p12 p256 p447 p544 p55 } a31 {p245 p64 p38 p265 p54 }) ({p81 p21 } a20 {p61 p66 p232 }) ({p524 p421 p120 p576 p180 p577 p64 p425 p274 p528 p580 p339 p442 p21 p367 p195 p402 p293 p94 p156 p97 p414 p107 p265 } a20 {p421 p576 p577 p425 p527 p337 p580 p277 p367 p292 p538 p180 p370 p61 p64 p442 p195 p402 p317 p156 p97 p414 p107 p265 p110 }) ({p435 p117 p59 p542 p270 p439 p128 p21 p194 p282 p242 p291 p294 p532 p38 p388 p412 p218 p265 p572 p393 } a20 {p395 p61 p227 p272 p438 p125 p608 p240 p287 p407 p373 p615 p412 p42 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p74 } a8 {p70 }) ({p76 } a30 {p37 }) ({p519 p243 p275 p21 } a20 {p519 p243 p61 p273 p297 }) ({p402 p180 p35 p471 p515 p201 p241 p27 } a51 {p401 p179 p244 p489 p343 p22 p166 }) ({p576 p180 p577 p425 p527 p337 p580 p13 p12 p608 p195 p402 p407 p294 p156 p615 p97 p220 p522 p107 p265 p176 p110 p393 } a31 {p524 p576 p59 p180 p577 p542 p425 p66 p580 p439 p194 p242 p402 p294 p94 p156 p97 p617 p107 p265 p572 p178 p54 p393 }) ({p179 p575 p579 p62 p424 p334 p380 p232 p233 p441 p517 p401 p468 p35 p295 p158 p259 p498 p112 p114 p376 } a51 {p179 p575 p579 p62 p424 p334 p380 p232 p233 p441 p22 p517 p401 p468 p295 p158 p259 p498 p112 p114 p376 }) ({p576 p180 p59 p577 p64 p425 p66 p527 p337 p580 p12 p442 p194 p402 p156 p97 p307 p522 p107 p265 p416 p110 } a31 {p524 p576 p180 p59 p577 p64 p425 p66 p580 p442 p194 p402 p94 p156 p97 p307 p107 p265 p416 p572 p54 }) ({p576 p180 p577 p64 p425 p527 p337 p580 p12 p313 p442 p402 p156 p97 p522 p107 p265 p110 } a31 {p524 p576 p180 p577 p64 p425 p580 p442 p402 p470 p94 p156 p97 p307 p107 p265 p572 p54 }) ({p576 p180 p120 p577 p123 p64 p425 p580 p231 p12 p442 p462 p402 p156 p97 p305 p107 p265 p416 p452 } a31 {p576 p180 p120 p577 p579 p123 p64 p425 p580 p231 p188 p442 p283 p402 p156 p97 p107 p265 p416 p54 }) ({p12 p343 p174 p399 p166 } a31 {p402 p180 p169 p381 p54 }) ({p87 } a11 {p47 }) ({p576 p180 p577 p425 p438 p580 p12 p280 p462 p24 p402 p558 p156 p305 p306 p107 p265 p570 p452 p434 } a31 {p435 p576 p180 p577 p579 p425 p231 p580 p188 p283 p282 p402 p558 p156 p304 p107 p265 p109 p54 }) ({p576 p329 p577 p334 p7 p10 p580 p341 p529 p21 p174 p540 p55 p179 p180 p62 p64 p232 p192 p399 p195 p401 p465 p402 p243 p592 p468 p256 p97 p101 p259 p414 p107 p265 p110 p112 p114 p421 p118 p424 p425 p279 p290 p295 p297 p298 p305 p498 p503 p505 p511 p438 p514 p441 p442 p517 p519 p156 p571 p573 } a20 {p576 p329 p577 p334 p7 p10 p580 p341 p529 p174 p540 p55 p179 p180 p225 p61 p62 p64 p232 p192 p399 p195 p401 p465 p402 p243 p592 p468 p256 p97 p101 p259 p414 p107 p265 p110 p112 p114 p421 p118 p424 p425 p296 p295 p297 p298 p305 p498 p503 p505 p511 p438 p514 p441 p442 p517 p519 p156 p571 p573 }) ({p421 p162 p10 p12 p515 p312 p237 p603 p174 p399 p201 } a31 {p244 p329 p250 p489 p169 p474 p381 p79 p54 }) ({p12 p43 p305 p442 } a31 {p298 p442 p283 p54 }) ({p50 } a0 {p6 }) ({p332 p597 p511 p12 p588 p484 p385 p246 p252 p352 p495 p107 p584 p571 } a31 {p181 p332 p516 p487 p405 p386 p408 p255 p353 p199 p319 p172 p107 p54 }) ({p503 p180 p248 p12 p107 p239 p53 p517 p573 } a31 {p29 p180 p457 p107 p517 p372 p54 }) ({p524 p421 p120 p576 p180 p577 p64 p425 p528 p580 p339 p442 p21 p367 p195 p402 p292 p94 p156 p97 p414 p107 p265 } a20 {p421 p576 p180 p370 p577 p61 p64 p425 p527 p337 p580 p442 p367 p195 p402 p292 p317 p156 p97 p538 p414 p107 p265 p110 }) ({p503 p12 p219 p415 p239 p77 p112 } a31 {p408 p457 p517 p559 p376 p54 }) ({p576 p180 p577 p425 p438 p580 p12 p240 p383 p402 p530 p156 p107 p265 p570 p434 p55 p541 } a31 {p435 p576 p180 p577 p507 p380 p425 p231 p580 p402 p532 p156 p38 p218 p107 p265 p54 }) ({p179 p579 p123 p66 p380 p408 p68 p427 p20 p307 p107 p501 } a5 {p71 p25 p111 }) ({p180 p35 p155 p136 p201 p241 p27 p477 } a51 {p179 p244 p144 p138 p22 p166 }) ({p331 p182 p596 p231 p513 p606 p278 p191 p553 p344 p21 p461 p445 p85 p558 p487 p386 p411 p304 p108 p109 p267 p360 } a20 {p269 p164 p340 p601 p280 p24 p557 p530 p490 p387 p302 p434 p61 p308 p511 p190 p607 p543 p236 p444 p463 p546 p410 p101 p113 }) ({p471 p21 p517 p56 p376 } a20 {p401 p61 p259 p219 p415 p239 p77 }) ({p576 p180 p577 p425 p438 p580 p12 p280 p24 p240 p402 p558 p530 p490 p156 p306 p107 p265 p570 p434 p55 p541 } a31 {p435 p576 p180 p577 p380 p425 p231 p580 p513 p282 p402 p558 p532 p156 p38 p304 p218 p107 p265 p109 p54 }) ({p576 p180 p453 p577 p227 p64 p425 p527 p337 p580 p12 p128 p402 p407 p156 p97 p46 p522 p107 p265 p416 p110 } a31 {p524 p576 p180 p577 p64 p425 p580 p439 p128 p464 p402 p294 p94 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p81 p243 p35 p529 p173 p369 p194 p572 } a51 {p575 p232 p176 p193 p22 p523 p221 }) ({p59 p379 p542 p338 p600 p606 p21 p194 p242 p591 p245 p532 p38 p98 p411 p388 p218 p160 p263 p357 p262 p325 p393 p177 } a20 {p328 p378 p273 p599 p581 p347 p217 p220 p176 p55 p541 p395 p61 p607 p608 p590 p240 p373 p410 p615 p256 p159 p104 p266 p359 }) ({p576 p577 p425 p580 p12 p280 p24 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p543 p240 p445 p402 p156 p107 p265 p570 } a31 {p435 p576 p180 p577 p380 p425 p580 p231 p513 p282 p445 p402 p558 p532 p156 p38 p388 p304 p218 p107 p265 p109 p54 }) ({p71 p25 p111 } a7 {p179 p235 p115 p78 }) ({p574 p361 p598 p479 p426 p207 p589 p21 p346 p79 p247 p154 p255 p353 p319 p390 p172 p264 p417 } a20 {p61 p597 p230 p480 p208 p588 p397 p315 p562 p90 p258 p355 p257 p322 p392 p175 p571 }) ({p269 p576 p577 p596 p164 p425 p125 p580 p12 p18 p280 p24 p287 p305 p306 p452 p434 p180 p438 p308 p543 p462 p402 p156 p619 p107 p265 p570 p113 } a31 {p117 p576 p577 p270 p579 p596 p425 p580 p15 p344 p283 p282 p558 p304 p54 p435 p180 p231 p188 p191 p445 p402 p156 p107 p265 p109 p621 }) ({p576 p331 p577 p596 p425 p580 p15 p278 p553 p344 p21 p558 p304 p178 p180 p182 p231 p188 p191 p445 p402 p85 p156 p412 p617 p108 p107 p265 p109 p267 p360 } a20 {p269 p576 p577 p164 p425 p580 p13 p340 p601 p280 p24 p557 p302 p452 p434 p180 p61 p308 p190 p543 p236 p444 p195 p402 p546 p156 p101 p412 p619 p107 p265 p113 }) ({p576 p531 p438 p493 p156 p12 p570 p434 p240 p55 } a31 {p435 p576 p380 p231 p156 p514 p38 p218 p540 p54 }) ({p519 p379 p35 p297 p219 p415 p239 p77 } a51 {p246 p275 p22 p484 p499 p517 p376 }) ({p329 p576 p508 p35 p156 p45 p238 p377 p79 p428 } a51 {p577 p563 p142 p158 p312 p22 p498 p485 }) ({p575 p216 p232 p21 p193 p552 } a20 {p81 p62 p61 p441 p173 p369 }) ({p574 p423 p598 p513 p589 p21 p346 p487 p386 p154 p255 p353 p319 p172 } a20 {p423 p61 p597 p511 p588 p562 p530 p90 p490 p387 p258 p355 p322 p175 p571 }) ({p519 p21 p358 p585 } a20 {p519 p592 p61 p584 p358 }) ({p180 p379 p332 p381 p21 p516 p347 p245 p405 p489 p316 p98 p160 p262 } a20 {p378 p327 p180 p61 p273 p515 p484 p399 p347 p385 p246 p217 p256 p159 p104 p495 p214 }) ({p85 p558 p487 p386 p231 p513 p278 p304 p553 p21 p109 p444 } a20 {p61 p511 p543 p280 p236 p24 p444 p557 p530 p490 p387 p302 p101 p434 }) ({p328 p576 p577 p425 p273 p580 p13 p12 p340 p600 p581 p557 p217 p302 p220 p176 p180 p190 p608 p236 p444 p195 p402 p615 p101 p104 p107 p266 } a31 {p576 p331 p379 p577 p425 p580 p338 p600 p278 p553 p178 p54 p59 p180 p542 p182 p66 p194 p242 p591 p402 p85 p617 p160 p262 p108 p107 p267 }) ({p78 } a9 {p74 }) ({p328 p576 p577 p425 p273 p580 p13 p12 p340 p601 p581 p557 p217 p302 p220 p176 p180 p190 p607 p608 p236 p444 p195 p402 p373 p615 p412 p101 p104 p107 p266 p359 } a31 {p576 p331 p379 p577 p425 p580 p338 p600 p278 p553 p178 p393 p54 p59 p180 p542 p182 p66 p609 p194 p242 p591 p402 p85 p411 p617 p160 p262 p108 p107 p267 p360 }) ({p131 p35 p188 p341 p451 } a51 {p334 p187 p318 p22 p452 }) ({p66 p337 p12 p110 p176 p523 p195 } a31 {p66 p94 p529 p194 p572 p178 p54 }) ({p84 } a10 {p68 }) ({p575 p118 p576 p120 p577 p379 p334 p380 p425 p335 p580 p12 p339 p341 p16 p298 p180 p59 p225 p64 p66 p231 p187 p188 p233 p442 p464 p465 p402 p405 p468 p470 p154 p156 p158 p97 p199 p107 p265 p416 p572 p376 } a31 {p575 p118 p576 p120 p577 p379 p334 p380 p425 p335 p580 p339 p341 p16 p20 p290 p298 p54 p180 p59 p64 p66 p231 p187 p188 p233 p442 p464 p465 p402 p405 p468 p470 p154 p156 p158 p97 p199 p107 p265 p416 p572 p376 }) ({p378 p576 p531 p256 p142 p12 p240 p55 } a31 {p576 p245 p156 p38 p218 p540 p54 }) ({p435 p576 p180 p577 p64 p425 p580 p439 p21 p283 p464 p402 p156 p300 p97 p306 p414 p107 p265 p572 } a20 {p576 p180 p453 p577 p61 p64 p425 p438 p580 p462 p402 p407 p156 p97 p305 p46 p306 p414 p522 p107 p265 p570 }) ({p576 p180 p453 p577 p64 p425 p527 p337 p580 p12 p439 p442 p402 p156 p97 p522 p107 p265 p416 p110 } a31 {p524 p576 p180 p577 p64 p425 p580 p439 p442 p464 p402 p94 p156 p97 p307 p107 p265 p416 p572 p54 }) ({p378 p327 p423 p599 p12 p480 p208 p347 p213 p392 p175 p180 p230 p515 p397 p590 p315 p399 p562 p90 p256 p258 p355 p159 p322 p107 } a31 {p574 p361 p598 p426 p427 p381 p209 p346 p489 p394 p177 p501 p54 p180 p589 p79 p245 p316 p154 p98 p263 p357 p264 p107 p325 }) ({p478 p576 p180 p577 p5 p64 p425 p9 p580 p279 p21 p283 p464 p402 p290 p250 p613 p156 p300 p97 p473 p107 p265 p621 } a20 {p421 p576 p180 p453 p577 p225 p61 p64 p425 p580 p18 p462 p402 p491 p296 p614 p156 p97 p305 p46 p107 p265 p349 }) ({p120 p576 p180 p577 p64 p425 p527 p580 p339 p188 p442 p21 p402 p94 p156 p97 p414 p107 p265 p178 } a20 {p576 p180 p577 p61 p64 p425 p527 p337 p580 p442 p195 p402 p317 p156 p97 p538 p414 p107 p265 p110 p452 }) ({p576 p180 p577 p425 p273 p511 p580 p12 p236 p484 p402 p246 p405 p408 p156 p302 p101 p262 p107 p265 } a31 {p576 p180 p379 p577 p425 p580 p278 p402 p85 p487 p405 p408 p156 p262 p107 p265 p54 }) ({p31 p487 p196 p12 } a31 {p487 p255 p319 p342 p54 }) ({p216 p12 } a31 {p216 p54 }) ({p73 } a34 {p69 }) ({p21 p499 p585 p518 } a20 {p519 p592 p61 p584 p418 }) ({p435 p117 p59 p542 p439 p128 p21 p194 p282 p242 p287 p294 p532 p38 p388 p412 p218 p265 p572 p393 } a20 {p395 p61 p227 p438 p125 p608 p240 p287 p407 p373 p615 p412 p42 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p560 p380 p12 p101 } a31 {p85 p380 p97 p54 }) ({p524 p120 p576 p577 p425 p274 p528 p362 p580 p339 p15 p21 p368 p293 p178 p180 p64 p188 p611 p402 p469 p94 p156 p97 p617 p416 p107 p265 } a20 {p576 p577 p425 p527 p337 p580 p13 p277 p367 p292 p538 p452 p370 p180 p61 p64 p195 p402 p612 p472 p317 p156 p97 p414 p619 p107 p265 p110 p202 }) ({p592 p248 p134 p35 p199 p446 p358 p53 } a51 {p252 p206 p603 p22 p585 p140 }) ({p560 p487 p12 p101 } a31 {p85 p487 p97 p54 }) ({p335 p318 p21 } a20 {p61 p132 p341 }) ({p578 p507 p563 p531 p493 p154 p142 p21 } a20 {p576 p530 p61 p90 p509 p156 p514 p540 p383 }) ({p179 p401 p379 p424 p35 p297 p259 p219 p239 p77 p517 p498 } a51 {p179 p401 p246 p424 p275 p259 p22 p484 p517 p498 p376 }) ({p180 p379 p332 p338 p599 p381 p209 p21 p516 p591 p245 p405 p212 p489 p316 p409 p98 p160 p263 p262 p325 p394 p177 } a20 {p328 p378 p327 p423 p273 p599 p581 p484 p347 p385 p213 p217 p495 p214 p180 p61 p605 p515 p590 p399 p246 p256 p96 p159 p104 p266 }) ({p67 } a25 {p93 }) ({p180 p576 p577 p62 p425 p580 p12 p238 p402 p261 p259 p45 p107 } a31 {p180 p576 p402 p577 p425 p216 p580 p158 p107 p56 p54 }) ({p576 p180 p577 p64 p425 p527 p337 p580 p12 p195 p83 p402 p156 p97 p522 p107 p265 p110 p176 } a31 {p524 p576 p180 p577 p64 p425 p66 p580 p234 p194 p402 p94 p156 p97 p107 p265 p572 p178 p54 }) ({p69 } a35 {p80 }) ({p155 p12 p111 } a31 {p155 p111 p54 }) ({p577 p62 p12 p261 p441 p432 p382 } a31 {p577 p505 p380 p216 p233 p552 p54 }) ({p576 p507 p531 p493 p156 p21 } a20 {p576 p530 p61 p156 p514 p540 p383 }) ({p435 p395 p59 p542 p439 p21 p194 p242 p532 p38 p218 p306 p265 p572 } a20 {p395 p61 p438 p608 p240 p407 p615 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p576 p180 p577 p425 p273 p580 p12 p236 p195 p402 p156 p302 p101 p262 p220 p107 p265 p176 } a31 {p576 p180 p379 p577 p66 p425 p580 p278 p194 p242 p402 p85 p156 p262 p107 p265 p178 p54 }) ({p179 p401 p424 p35 p231 p188 p259 p451 p432 p517 p498 p112 } a51 {p179 p401 p424 p187 p233 p259 p22 p517 p452 p434 p498 p112 }) ({p62 p508 p12 p261 p259 p45 p382 p238 } a31 {p577 p505 p380 p216 p158 p56 p501 p54 }) ({p576 p180 p577 p425 p580 p12 p232 p192 p77 p402 p156 p173 p219 p107 p265 p112 } a31 {p576 p180 p577 p425 p580 p143 p232 p193 p402 p156 p450 p107 p265 p559 p376 p54 }) ({p421 p118 p576 p180 p577 p334 p64 p425 p438 p580 p341 p18 p442 p21 p283 p464 p402 p156 p300 p97 p414 p107 p265 } a20 {p421 p118 p576 p180 p577 p453 p61 p334 p64 p425 p438 p580 p341 p18 p442 p462 p402 p156 p97 p305 p46 p414 p107 p265 }) ({p576 p180 p577 p64 p425 p580 p12 p442 p462 p402 p132 p156 p97 p305 p107 p265 p452 } a31 {p576 p180 p577 p579 p123 p64 p335 p425 p580 p188 p442 p283 p402 p156 p97 p107 p265 p54 }) ({p524 p421 p120 p576 p577 p425 p274 p528 p580 p362 p339 p21 p368 p293 p180 p64 p442 p195 p402 p94 p156 p97 p414 p107 p265 } a20 {p421 p576 p577 p425 p527 p337 p580 p277 p367 p292 p538 p370 p180 p61 p64 p442 p195 p402 p317 p156 p97 p414 p107 p265 p110 p202 }) ({p180 p181 p246 p252 p511 p12 p495 p588 p107 p584 p484 p571 } a31 {p180 p181 p487 p408 p255 p199 p319 p172 p107 p516 p54 }) ({p503 p576 p180 p577 p425 p580 p12 p239 p77 p402 p408 p156 p219 p107 p265 p112 } a31 {p576 p180 p577 p425 p580 p457 p402 p408 p156 p107 p265 p559 p376 p54 }) ({p12 p144 p174 p166 p111 } a31 {p180 p169 p155 p111 p149 p54 }) ({p575 p334 p380 p35 p298 p158 p233 p441 p433 p462 p376 } a51 {p575 p334 p380 p295 p158 p233 p441 p43 p22 p376 }) ({p3 } a21 {p91 }) ({p574 p598 p513 p589 p21 p346 p487 p386 p409 p154 p255 p353 p319 p172 p394 } a20 {p423 p61 p597 p511 p605 p588 p562 p530 p90 p490 p387 p258 p355 p322 p175 p571 }) ({p144 p21 p79 p351 } a20 {p429 p116 p61 p155 p315 p130 p604 }) ({p246 p511 p275 p12 p101 p236 p484 p499 } a31 {p519 p85 p487 p379 p408 p297 p54 }) ({p576 p180 p59 p577 p64 p425 p66 p527 p337 p580 p12 p439 p442 p195 p402 p156 p97 p522 p107 p265 p110 p176 } a31 {p524 p576 p180 p59 p577 p64 p425 p66 p580 p439 p442 p194 p402 p94 p156 p97 p107 p265 p572 p178 p54 }) ({p118 p576 p180 p577 p334 p64 p425 p580 p341 p441 p442 p21 p402 p468 p156 p97 p107 p265 p433 } a20 {p118 p576 p180 p577 p61 p334 p64 p425 p580 p341 p311 p441 p442 p402 p295 p156 p97 p107 p265 }) ({p180 p576 p577 p425 p273 p511 p580 p12 p236 p484 p402 p246 p405 p302 p101 p495 p107 } a31 {p180 p576 p379 p577 p425 p580 p278 p516 p402 p85 p487 p405 p408 p107 p54 }) ({p118 p576 p180 p577 p334 p64 p425 p580 p16 p341 p442 p21 p465 p402 p468 p296 p298 p156 p97 p616 p107 p265 } a20 {p118 p576 p180 p577 p61 p334 p64 p7 p425 p580 p341 p442 p465 p402 p468 p296 p298 p156 p97 p107 p265 p620 }) ({p118 p576 p180 p577 p334 p64 p425 p580 p12 p341 p313 p442 p402 p298 p156 p97 p107 p265 p572 } a31 {p118 p576 p180 p577 p334 p64 p425 p580 p341 p442 p402 p470 p298 p156 p97 p307 p107 p265 p572 p54 }) ({p59 p542 p379 p338 p21 p590 p194 p242 p245 p532 p98 p38 p218 p160 p263 p262 p325 } a20 {p328 p378 p61 p273 p608 p590 p240 p347 p217 p615 p256 p159 p104 p220 p266 p176 p55 p541 }) ({p471 p12 } a31 {p471 p54 }) ({p576 p331 p577 p596 p425 p580 p15 p278 p553 p344 p21 p558 p304 p178 p180 p182 p231 p188 p191 p609 p445 p402 p85 p156 p617 p413 p108 p107 p265 p109 p267 p360 } a20 {p269 p576 p577 p164 p425 p580 p13 p340 p601 p280 p24 p557 p302 p452 p434 p180 p61 p308 p190 p543 p236 p444 p610 p195 p402 p546 p156 p412 p101 p619 p107 p265 p113 }) ({p328 p576 p577 p425 p273 p580 p12 p340 p601 p581 p484 p385 p557 p217 p302 p495 p214 p180 p511 p605 p190 p236 p444 p246 p410 p96 p101 p104 p107 p266 p359 } a31 {p576 p331 p379 p577 p332 p425 p580 p338 p600 p278 p553 p487 p212 p386 p54 p180 p182 p606 p461 p516 p591 p85 p405 p408 p409 p160 p262 p108 p107 p267 p360 }) ({p57 } a19 {p3 }) ({p575 p465 p35 p311 } a51 {p575 p468 p454 p22 }) ({p370 p576 p180 p577 p64 p425 p580 p12 p15 p442 p462 p402 p317 p156 p97 p305 p538 p107 p265 p416 p452 } a31 {p120 p576 p180 p577 p579 p123 p64 p425 p528 p580 p339 p188 p15 p442 p283 p402 p156 p97 p107 p265 p416 p54 }) ({p179 p592 p248 p35 p199 p239 p53 p517 } a51 {p179 p246 p252 p22 p484 p517 p585 }) ({p576 p180 p577 p425 p273 p580 p13 p12 p338 p608 p236 p444 p195 p557 p402 p217 p615 p302 p101 p104 p220 p107 p176 } a31 {p576 p59 p180 p379 p577 p542 p425 p66 p580 p338 p278 p553 p194 p242 p402 p85 p617 p160 p262 p108 p107 p178 p54 }) ({p118 p575 p380 p35 p337 p143 p450 p158 p534 p233 p195 p376 } a51 {p575 p380 p158 p536 p233 p192 p22 p114 p178 p376 }) ({p204 p252 p12 p157 p588 p107 p584 p571 p604 p140 } a31 {p255 p479 p207 p157 p199 p319 p390 p172 p107 p417 p54 }) ({p576 p180 p577 p380 p425 p438 p580 p12 p240 p402 p530 p156 p97 p107 p265 p570 p109 p434 p55 p541 } a31 {p435 p576 p180 p577 p380 p425 p580 p231 p402 p532 p156 p38 p97 p218 p107 p265 p109 p54 }) ({p117 p270 p128 p21 p282 p291 p294 p532 p38 p388 p218 p393 p435 p59 p542 p439 p609 p194 p242 p466 p547 p413 p265 p572 p551 } a20 {p272 p125 p287 p42 p535 p306 p220 p176 p55 p541 p395 p61 p227 p438 p608 p610 p240 p467 p407 p373 p615 p412 p522 p265 p570 p550 }) ({p12 p311 p114 p369 } a31 {p575 p468 p534 p307 p54 }) ({p31 p196 p363 p12 } a31 {p425 p255 p319 p342 p417 p54 }) ({p180 p576 p577 p425 p273 p511 p580 p12 p338 p236 p444 p484 p385 p557 p246 p217 p302 p101 p104 p495 p107 p214 } a31 {p180 p576 p379 p577 p332 p425 p580 p338 p278 p553 p516 p85 p487 p405 p386 p408 p160 p262 p108 p107 p54 }) ({p118 p576 p120 p180 p577 p64 p425 p580 p12 p188 p442 p402 p317 p156 p97 p107 p265 p416 } a31 {p118 p576 p120 p180 p577 p123 p64 p425 p580 p339 p188 p442 p402 p156 p97 p107 p265 p416 p54 }) ({p574 p361 p479 p426 p207 p589 p21 p346 p79 p154 p255 p257 p319 p390 p172 p417 } a20 {p61 p480 p208 p588 p397 p315 p562 p90 p258 p257 p322 p392 p175 p571 }) ({p435 p576 p180 p577 p64 p425 p125 p580 p439 p21 p283 p282 p464 p402 p294 p156 p300 p97 p414 p107 p265 p572 } a20 {p576 p180 p577 p453 p61 p227 p64 p425 p125 p438 p580 p462 p402 p407 p156 p97 p305 p46 p306 p414 p522 p107 p265 p570 }) ({p81 p243 p379 p35 p297 p173 p219 p194 p77 } a51 {p275 p232 p176 p193 p22 p221 p376 }) ({p47 } a54 {p50 }) ({p576 p331 p577 p425 p580 p15 p278 p601 p553 p344 p21 p558 p304 p178 p180 p182 p231 p188 p191 p445 p402 p85 p156 p617 p108 p107 p265 p109 p267 } a20 {p269 p576 p577 p164 p425 p580 p13 p340 p601 p280 p24 p557 p302 p452 p434 p180 p61 p308 p190 p543 p236 p444 p195 p402 p156 p101 p619 p107 p265 p113 }) ({p576 p180 p577 p334 p64 p425 p580 p442 p21 p192 p402 p156 p97 p534 p107 p265 } a20 {p576 p180 p577 p61 p64 p425 p580 p442 p192 p402 p131 p156 p97 p107 p265 p114 }) ({p180 p576 p577 p425 p273 p511 p580 p12 p236 p484 p402 p246 p302 p101 p107 p418 } a31 {p180 p576 p379 p577 p425 p580 p278 p518 p402 p85 p487 p408 p107 p54 }) ({p66 p275 p12 p101 p236 p176 p195 } a31 {p379 p85 p66 p297 p194 p178 p54 }) ({p421 p118 p576 p577 p334 p425 p9 p580 p341 p21 p283 p296 p300 p180 p64 p438 p442 p464 p402 p156 p97 p414 p107 p265 p621 } a20 {p421 p118 p576 p577 p334 p425 p580 p341 p18 p491 p296 p305 p46 p180 p453 p61 p64 p438 p442 p462 p402 p156 p97 p414 p107 p265 }) ({p80 } a28 {p76 }) ({p312 p21 p603 } a20 {p329 p61 p315 p604 }) ({p438 p12 p309 p43 p305 } a31 {p435 p298 p442 p283 p54 }) ({p421 p401 p179 p10 p12 p235 p107 p377 p167 } a31 {p250 p471 p474 p107 p241 p27 p54 }) ({p435 p242 p59 p439 p38 p218 p21 p265 p194 p572 p541 } a20 {p61 p407 p438 p608 p522 p220 p265 p176 p570 p240 p55 p541 }) ({p34 } a15 {p52 }) ({p52 } a18 {p21 }) ({p269 p576 p577 p164 p425 p125 p580 p12 p18 p280 p24 p287 p305 p306 p452 p434 p180 p438 p308 p543 p462 p610 p402 p546 p156 p414 p619 p107 p265 p570 p550 p113 } a31 {p117 p576 p577 p270 p579 p596 p425 p580 p15 p344 p283 p282 p558 p304 p54 p435 p180 p231 p188 p191 p445 p611 p402 p547 p156 p413 p107 p265 p109 p621 }) ({p454 p12 p572 } a31 {p465 p307 p572 p54 }) ({p275 p234 p21 p221 } a20 {p83 p243 p61 p273 p297 }) ({p33 } a50 {p87 }) ({p12 p318 p305 p452 p462 } a31 {p579 p123 p188 p341 p283 p54 }) ({p269 p576 p577 p425 p125 p580 p12 p18 p280 p24 p287 p305 p306 p452 p434 p180 p438 p308 p191 p543 p462 p402 p156 p619 p107 p265 p570 p113 } a31 {p117 p576 p577 p270 p579 p425 p580 p15 p344 p283 p282 p558 p304 p54 p435 p180 p231 p188 p191 p445 p402 p156 p107 p265 p109 p621 }) ({p242 p59 p379 p245 p38 p159 p218 p262 p21 p194 } a20 {p378 p61 p273 p217 p256 p159 p608 p220 p176 p240 p55 }) ({p85 p487 p231 p513 p302 p21 p109 } a20 {p530 p61 p490 p511 p101 p302 p236 p434 p24 }) ({p36 } a23 {p39 }) ({p576 p180 p453 p577 p64 p425 p527 p337 p580 p12 p402 p407 p294 p156 p97 p46 p522 p107 p265 p416 p110 } a31 {p524 p576 p180 p577 p64 p425 p580 p439 p464 p402 p294 p94 p156 p300 p97 p307 p107 p265 p416 p572 p54 }) ({p35 p231 p514 p261 p432 p540 p382 } a51 {p505 p531 p493 p233 p22 p434 }) ({p180 p576 p577 p332 p425 p273 p511 p580 p12 p236 p484 p385 p557 p246 p217 p302 p101 p495 p107 } a31 {p180 p576 p379 p577 p332 p425 p580 p278 p553 p516 p85 p487 p405 p386 p408 p262 p107 p54 }) ({p401 p508 p12 p259 p45 p238 p377 p428 } a31 {p577 p471 p158 p427 p498 p56 p501 p54 }) ({p179 p12 p235 p115 } a31 {p136 p111 p241 p27 p477 p54 }) ({p508 p21 p428 } a20 {p577 p61 p427 p498 p501 }) ({p136 p21 p111 p241 p27 p477 } a20 {p179 p248 p61 p134 p446 p107 p53 }) ({p505 p233 p457 p21 p559 } a20 {p503 p61 p261 p432 p112 p382 }) ({p576 p180 p577 p425 p438 p580 p12 p543 p280 p462 p24 p445 p402 p156 p305 p306 p107 p265 p570 p452 p434 } a31 {p435 p576 p180 p577 p579 p425 p231 p580 p188 p283 p282 p445 p402 p558 p156 p304 p107 p265 p109 p54 }) ({p576 p180 p577 p64 p425 p580 p528 p12 p442 p462 p402 p317 p156 p97 p305 p538 p107 p265 p416 p452 } a31 {p120 p576 p180 p577 p579 p123 p64 p425 p580 p528 p339 p188 p442 p283 p402 p156 p97 p107 p265 p416 p54 }) ({p117 p576 p577 p270 p425 p9 p580 p128 p21 p283 p282 p291 p294 p300 p435 p180 p64 p439 p464 p402 p547 p156 p97 p414 p107 p265 p621 p572 p551 } a20 {p576 p577 p272 p425 p125 p580 p18 p287 p491 p305 p42 p535 p46 p306 p180 p453 p61 p227 p64 p438 p462 p402 p407 p156 p97 p414 p522 p107 p265 p570 p550 }) ({p576 p331 p577 p425 p580 p15 p278 p553 p344 p21 p558 p304 p178 p180 p231 p188 p190 p445 p402 p85 p156 p617 p108 p107 p265 p109 p267 } a20 {p269 p576 p577 p425 p580 p13 p340 p280 p24 p557 p302 p452 p434 p180 p61 p308 p190 p543 p236 p444 p195 p402 p156 p101 p619 p107 p265 p113 }) ({p370 p576 p180 p577 p64 p425 p580 p12 p18 p442 p462 p402 p293 p317 p156 p97 p305 p538 p619 p107 p265 p416 p452 } a31 {p120 p576 p180 p577 p579 p123 p64 p425 p528 p580 p339 p188 p15 p442 p283 p402 p293 p156 p97 p107 p265 p416 p621 p54 }) ({p234 p21 p523 p221 } a20 {p83 p243 p61 p529 p522 }) ({p180 p379 p332 p338 p381 p21 p516 p245 p405 p489 p316 p213 p98 p160 p263 p262 p325 } a20 {p328 p378 p327 p180 p61 p273 p515 p484 p399 p347 p385 p246 p213 p217 p256 p159 p104 p495 p266 p214 }) ({p8 } a41 {p23 }) ({p59 p542 p379 p21 p194 p242 p347 p245 p532 p98 p38 p218 p160 p262 } a20 {p378 p61 p273 p608 p240 p347 p217 p615 p256 p159 p104 p220 p176 p55 p541 }) ({p576 p180 p577 p425 p438 p580 p12 p240 p402 p530 p490 p156 p107 p265 p570 p109 p434 p55 p541 } a31 {p435 p576 p180 p577 p380 p425 p231 p580 p513 p402 p532 p156 p38 p218 p107 p265 p109 p54 }) ({p557 p85 p487 p231 p513 p278 p304 p21 p109 } a20 {p557 p61 p530 p490 p511 p302 p101 p280 p236 p24 p434 }) ({p246 p252 p511 p12 p484 p499 p571 p585 } a31 {p519 p487 p592 p408 p255 p199 p319 p54 }) ({p378 p327 p180 p425 p509 p12 p515 p315 p399 p429 p90 p256 p159 p107 } a31 {p180 p578 p425 p427 p381 p79 p245 p489 p316 p154 p98 p107 p501 p54 }) ({p421 p576 p577 p425 p580 p12 p277 p18 p368 p296 p305 p538 p452 p370 p180 p64 p462 p402 p612 p472 p317 p156 p97 p619 p107 p265 } a31 {p120 p576 p577 p579 p123 p425 p528 p580 p339 p15 p279 p283 p368 p293 p54 p180 p64 p188 p402 p250 p613 p156 p97 p473 p416 p107 p265 p621 }) ({p379 p489 p447 p343 p21 p516 } a20 {p378 p402 p246 p61 p273 p495 p515 p265 p484 }) ({p370 p576 p180 p577 p64 p425 p580 p12 p277 p18 p442 p462 p402 p296 p317 p156 p97 p305 p538 p619 p107 p265 p416 p452 } a31 {p120 p576 p577 p579 p123 p425 p528 p580 p339 p15 p279 p283 p293 p54 p180 p64 p188 p442 p402 p156 p97 p107 p265 p416 p621 }) ({p12 p536 p110 } a31 {p118 p94 p54 }) ({p37 } a32 {p40 }) ({p329 p35 p235 p377 p167 p79 } a51 {p162 p312 p237 p603 p22 }) ({p576 p180 p59 p577 p64 p425 p527 p337 p580 p12 p195 p402 p156 p97 p522 p220 p107 p265 p110 p176 } a31 {p524 p576 p180 p59 p577 p64 p425 p66 p580 p194 p242 p402 p94 p156 p97 p107 p265 p572 p178 p54 }) ({p576 p180 p577 p66 p425 p273 p580 p12 p236 p195 p402 p156 p302 p101 p107 p265 p176 } a31 {p576 p180 p379 p577 p66 p425 p580 p278 p194 p402 p85 p156 p107 p265 p178 p54 }) ({p421 p576 p577 p425 p580 p12 p277 p18 p296 p305 p538 p452 p370 p180 p64 p462 p402 p612 p472 p317 p156 p97 p619 p107 p265 p202 } a31 {p120 p576 p577 p579 p123 p425 p528 p580 p339 p15 p279 p283 p368 p293 p54 p180 p64 p188 p402 p250 p613 p156 p97 p473 p416 p107 p265 p621 }) ({p576 p577 p272 p425 p527 p337 p580 p13 p12 p292 p42 p220 p176 p180 p227 p608 p610 p195 p402 p467 p407 p373 p156 p615 p97 p414 p522 p107 p265 p110 p551 } a31 {p524 p576 p577 p425 p274 p580 p128 p291 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p611 p402 p469 p94 p156 p97 p617 p413 p107 p265 p572 p551 }) ({p576 p577 p272 p425 p527 p337 p580 p13 p12 p367 p292 p42 p535 p220 p176 p180 p227 p608 p610 p195 p402 p467 p407 p373 p156 p615 p97 p414 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p274 p362 p580 p128 p291 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p611 p402 p469 p94 p156 p97 p617 p413 p107 p265 p572 p551 }) ({p574 p31 p250 p196 p154 p479 p363 p474 p21 p79 } a20 {p421 p562 p61 p90 p425 p10 p480 p342 p20 p315 p571 }) ({p378 p574 p180 p576 p577 p578 p425 p580 p12 p240 p402 p530 p90 p256 p159 p107 p55 p541 } a31 {p574 p180 p576 p577 p578 p425 p580 p402 p245 p154 p532 p98 p38 p218 p107 p54 }) ({p269 p576 p577 p164 p425 p125 p580 p12 p280 p24 p287 p530 p490 p387 p306 p434 p55 p541 p395 p180 p438 p308 p607 p543 p463 p240 p402 p546 p156 p412 p107 p265 p570 p550 p113 } a31 {p117 p576 p577 p270 p596 p380 p425 p580 p344 p282 p558 p532 p38 p388 p304 p218 p54 p435 p180 p231 p513 p191 p609 p445 p466 p402 p547 p156 p411 p107 p265 p109 }) ({p180 p246 p252 p408 p511 p12 p588 p107 p584 p484 p571 } a31 {p180 p487 p408 p255 p199 p319 p172 p107 p54 }) ({p378 p402 p35 p471 p515 p265 p56 } a51 {p401 p489 p259 p447 p343 p22 }) ({p574 p31 p487 p196 p154 p513 p21 } a20 {p562 p530 p61 p90 p490 p511 p342 p20 p571 }) ({p574 p250 p154 p255 p479 p426 p474 p319 p21 p417 p346 p79 } a20 {p421 p562 p61 p90 p10 p258 p480 p397 p322 p315 p571 }) ({p39 } a24 {p52 }) ({p275 p21 p499 p518 } a20 {p519 p61 p273 p297 p418 }) ({p339 p188 p536 p21 p178 } a20 {p118 p61 p337 p317 p452 p195 }) ({p244 p199 p144 p138 p21 p166 p111 } a20 {p180 p61 p204 p252 p155 p107 p584 p201 p604 p140 }) ({p575 p12 p311 } a31 {p575 p468 p307 p54 }) ({p93 } a26 {p80 }) ({p29 p425 p35 p342 p459 p571 p372 } a51 {p31 p196 p424 p479 p363 p22 p573 }) ({p421 p576 p577 p272 p425 p527 p337 p580 p12 p367 p292 p491 p42 p535 p46 p180 p453 p227 p64 p402 p612 p407 p156 p97 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p9 p274 p362 p580 p128 p291 p294 p300 p307 p54 p180 p64 p439 p464 p402 p250 p613 p94 p156 p97 p416 p107 p265 p572 p551 }) ({p339 p536 p21 p195 } a20 {p118 p61 p337 p317 p195 }) ({p131 p21 } a20 {p61 p334 p123 }) ({p179 p62 p424 p232 p441 p529 p193 p517 p401 p468 p35 p259 p369 p572 p498 p112 } a51 {p575 p179 p62 p424 p232 p441 p22 p193 p517 p401 p468 p259 p523 p498 p112 }) ({p465 p243 p21 p523 } a20 {p465 p243 p61 p529 p522 }) ({p118 p576 p180 p577 p334 p64 p425 p580 p16 p341 p279 p442 p21 p465 p402 p290 p468 p298 p156 p97 p616 p107 p265 } a20 {p118 p576 p180 p577 p225 p61 p334 p64 p7 p425 p580 p341 p442 p465 p402 p468 p296 p298 p156 p97 p107 p265 p620 }) ({p29 p577 p250 p158 p474 p459 p21 p498 p372 } a20 {p421 p61 p424 p508 p10 p20 p45 p238 p377 p573 p428 }) ({p179 p329 p424 p35 p156 p45 p238 p498 p79 p377 p501 } a51 {p179 p424 p142 p158 p312 p22 p498 p501 }) ({p118 p576 p478 p180 p453 p577 p225 p334 p64 p425 p580 p12 p341 p442 p402 p491 p156 p97 p46 p107 p265 p416 p572 } a31 {p118 p576 p478 p577 p334 p425 p9 p580 p341 p20 p290 p300 p307 p54 p180 p64 p442 p464 p402 p156 p97 p107 p265 p416 p572 }) ({p44 } a52 {p82 }) ({p309 p43 p21 p572 p464 } a20 {p453 p61 p298 p442 p522 p570 p462 }) ({p12 p188 p318 } a31 {p123 p188 p341 p54 }) ({p378 p563 p531 p493 p256 p142 p12 p240 p55 } a31 {p576 p245 p380 p156 p514 p38 p218 p540 p501 p54 }) ({p35 p155 p235 p130 p115 } a51 {p144 p237 p22 p351 }) ({p574 p487 p597 p154 p255 p513 p319 p172 p589 p21 p346 } a20 {p562 p61 p530 p90 p490 p597 p511 p258 p588 p322 p175 p571 }) ({p576 p180 p577 p64 p425 p66 p580 p12 p442 p193 p402 p468 p156 p97 p107 p265 p114 p369 } a31 {p575 p576 p180 p577 p64 p425 p66 p580 p442 p193 p402 p468 p156 p97 p534 p107 p265 p54 }) ({p180 p379 p332 p338 p600 p381 p209 p21 p516 p591 p245 p212 p405 p489 p316 p409 p98 p160 p263 p357 p262 p325 p394 p177 } a20 {p328 p378 p327 p423 p273 p599 p581 p484 p347 p385 p213 p217 p495 p214 p180 p61 p605 p515 p590 p399 p246 p256 p96 p159 p104 p266 p359 }) ({p131 p579 p35 p341 } a51 {p579 p334 p318 p22 }) ({p576 p370 p180 p577 p64 p425 p580 p12 p188 p277 p442 p368 p402 p296 p317 p156 p97 p538 p107 p265 p416 } a31 {p120 p576 p180 p577 p123 p64 p425 p528 p580 p339 p188 p279 p442 p368 p402 p293 p156 p97 p107 p265 p416 p54 }) ({p370 p576 p180 p577 p64 p7 p425 p580 p12 p277 p442 p402 p296 p614 p317 p156 p97 p538 p107 p265 p202 } a31 {p120 p576 p180 p577 p5 p123 p64 p425 p528 p580 p339 p279 p442 p368 p402 p293 p156 p97 p616 p107 p265 p54 }) ({p70 } a6 {p30 }) ({p244 p181 p169 p157 p199 p136 p21 p111 p149 } a20 {p61 p204 p252 p352 p134 p145 p107 p584 p174 p201 p604 }) ({p337 p12 p110 p176 p523 p221 p195 } a31 {p243 p66 p94 p529 p194 p572 p178 p54 }) ({p378 p576 p379 p335 p7 p337 p339 p341 p16 p22 p174 p55 p59 p231 p188 p234 p236 p399 p462 p79 p240 p195 p464 p242 p465 p243 p405 p470 p256 p199 p101 p414 p416 p110 p201 p120 p130 p290 p296 p305 p507 p511 p438 p513 p514 p515 p516 p518 p519 p154 p156 p570 p571 p572 } a45 {p378 p576 p379 p335 p7 p337 p339 p341 p16 p174 p55 p59 p231 p188 p234 p236 p399 p462 p79 p240 p195 p464 p242 p465 p243 p405 p88 p470 p256 p199 p101 p414 p416 p110 p201 p120 p130 p290 p296 p305 p507 p511 p438 p513 p514 p515 p516 p518 p519 p154 p156 p570 p571 p572 }) ({p576 p577 p425 p125 p580 p12 p18 p280 p344 p24 p305 p306 p452 p434 p180 p438 p543 p462 p402 p156 p619 p107 p265 p570 p113 } a31 {p117 p435 p576 p180 p577 p579 p425 p580 p231 p188 p15 p344 p283 p282 p445 p402 p558 p156 p304 p107 p265 p109 p621 p54 }) ({p328 p576 p577 p425 p273 p580 p13 p12 p340 p557 p217 p302 p220 p176 p180 p608 p236 p444 p195 p591 p402 p615 p101 p104 p107 p266 } a31 {p576 p331 p379 p577 p425 p580 p338 p278 p553 p178 p54 p59 p180 p542 p66 p194 p242 p591 p402 p85 p617 p160 p262 p108 p107 p267 }) ({p576 p577 p272 p425 p527 p337 p580 p13 p12 p292 p42 p220 p176 p180 p227 p608 p195 p402 p407 p373 p156 p615 p97 p413 p522 p107 p265 p110 } a31 {p524 p576 p577 p425 p274 p580 p128 p291 p294 p178 p393 p54 p59 p180 p542 p66 p439 p194 p242 p402 p94 p156 p97 p617 p413 p107 p265 p572 }) ({p21 p115 } a20 {p61 p427 p107 p377 p167 }) ({p179 p62 p424 p232 p441 p529 p194 p517 p401 p35 p259 p173 p369 p572 p498 p112 } a51 {p575 p179 p62 p424 p232 p441 p193 p22 p517 p401 p259 p176 p523 p498 p112 }) ({p576 p370 p180 p577 p64 p425 p580 p12 p188 p442 p368 p402 p293 p317 p156 p97 p538 p107 p265 p416 } a31 {p120 p576 p180 p577 p123 p64 p425 p528 p580 p339 p188 p442 p368 p402 p293 p156 p97 p107 p265 p416 p54 }) ({p524 p120 p576 p577 p425 p274 p528 p580 p339 p15 p21 p293 p178 p180 p64 p188 p442 p402 p94 p156 p97 p617 p414 p107 p265 } a20 {p576 p577 p425 p527 p337 p580 p13 p277 p292 p538 p452 p370 p180 p61 p64 p442 p195 p402 p317 p156 p97 p414 p619 p107 p265 p110 }) ({p425 p479 p12 } a31 {p425 p479 p54 }) ({p524 p120 p576 p180 p577 p64 p425 p528 p580 p339 p188 p13 p442 p21 p402 p94 p156 p97 p414 p107 p265 p178 } a20 {p576 p370 p180 p577 p61 p64 p425 p527 p337 p580 p13 p442 p195 p402 p317 p156 p97 p538 p414 p107 p265 p110 p452 }) ({p423 p597 p511 p12 p588 p484 p385 p246 p252 p352 p495 p107 p392 p584 p571 p214 } a31 {p181 p332 p516 p487 p405 p386 p408 p255 p353 p199 p319 p172 p107 p394 p54 }) ({p311 p21 } a20 {p61 p468 p307 }) ({p180 p402 p489 p12 } a31 {p180 p402 p489 p54 }) ({p576 p180 p577 p62 p380 p425 p580 p12 p441 p402 p156 p97 p261 p432 p107 p265 } a31 {p576 p180 p577 p380 p425 p216 p580 p233 p402 p156 p97 p107 p265 p552 p54 }) ({p503 p248 p12 p415 p239 p53 p573 } a31 {p29 p408 p457 p517 p372 p54 }) ({p52 } a17 {p57 }) ({p421 p118 p576 p577 p334 p425 p9 p580 p341 p279 p21 p283 p290 p300 p180 p64 p438 p442 p464 p402 p156 p97 p414 p107 p265 p621 } a20 {p421 p118 p576 p577 p334 p425 p580 p341 p18 p491 p296 p305 p46 p180 p453 p225 p61 p64 p438 p442 p462 p402 p156 p97 p414 p107 p265 }) ({p29 p511 p35 p342 p457 p571 p372 } a51 {p31 p503 p487 p196 p22 p573 }) ({p421 p248 p424 p134 p10 p12 p446 p107 p53 p573 } a31 {p29 p250 p474 p459 p107 p372 p54 }) ({p435 p117 p59 p542 p270 p439 p128 p21 p609 p194 p282 p242 p466 p291 p294 p532 p38 p388 p413 p218 p265 p550 p572 p393 } a20 {p272 p125 p287 p42 p306 p220 p176 p55 p541 p395 p61 p227 p438 p608 p610 p240 p467 p407 p373 p615 p412 p522 p265 p570 p550 }) ({p576 p508 p35 p156 p514 p261 p45 p540 p382 p238 } a51 {p577 p505 p563 p531 p493 p142 p158 p22 }) ({p435 p395 p59 p542 p439 p21 p194 p282 p242 p294 p532 p38 p218 p265 p572 } a20 {p395 p61 p227 p438 p608 p240 p407 p615 p306 p522 p220 p265 p176 p570 p55 p541 }) ({p576 p380 p531 p438 p156 p12 p570 p434 p240 p55 } a31 {p435 p576 p380 p231 p156 p38 p218 p540 p54 }) ({p576 p180 p120 p577 p64 p425 p580 p12 p442 p462 p402 p317 p156 p97 p305 p107 p265 p416 p452 } a31 {p576 p180 p120 p577 p579 p123 p64 p425 p580 p339 p188 p442 p283 p402 p156 p97 p107 p265 p416 p54 }) ({p576 p180 p577 p64 p425 p580 p528 p12 p188 p442 p402 p317 p156 p97 p538 p107 p265 p416 } a31 {p120 p576 p180 p577 p123 p64 p425 p580 p528 p339 p188 p442 p402 p156 p97 p107 p265 p416 p54 }) ({p465 p35 p311 p529 p369 p572 } a51 {p575 p468 p454 p22 p523 }) }, initialMarking = {p378 p379 p5 p7 p380 p9 p10 p527 p528 p13 p15 p16 p18 p529 p20 p32 p540 p55 p393 p541 p395 p59 p542 p62 p64 p66 p231 p232 p233 p234 p236 p399 p79 p240 p242 p401 p243 p402 p405 p408 p409 p410 p95 p97 p256 p411 p101 p257 p412 p103 p259 p413 p262 p414 p107 p264 p265 p416 p109 p110 p550 p112 p114 p551 p118 p421 p120 p423 p123 p424 p425 p125 p426 p128 p427 p130 p557 p287 p558 p290 p291 p292 p293 p294 p295 p296 p297 p298 p299 p300 p301 p302 p303 p304 p305 p306 p307 p438 p439 p441 p442 p444 p445 p154 p155 p156 p157 p158 p159 p160 p570 p571 p572 p573 p327 p574 p575 p329 p576 p577 p578 p579 p332 p334 p335 p337 p580 p338 p339 p340 p341 p342 p344 p346 p347 p174 p179 p180 p181 p187 p188 p190 p191 p588 p192 p589 p193 p590 p194 p462 p195 p464 p465 p591 p592 p468 p470 p199 p358 p201 p361 p478 p596 p597 p598 p599 p600 p601 p367 p368 p212 p213 p498 p501 p503 p505 p507 p511 p513 p514 p515 p516 p517 p518 p519 p376 }, acceptingPlaces = {p82 } );