// Testfile dumped by Ultimate at 2020/03/07 10:49:57 // // 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 p623 p624 p625 p626 p627 p628 p629 p630 p631 p632 p633 p634 p635 p636 p637 p638 p639 p640 p641 p642 p643 p644 p645 p646 p647 p648 p649 p650 p651 p652 p653 p654 p655 p656 p657 p658 }, transitions = { ({p535 p412 p129 p588 p589 p416 p271 p539 p592 p353 p330 p28 p39 p359 p288 p451 p189 p73 p433 p467 p204 p393 p103 p165 p106 p405 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p274 p358 p37 p287 p549 p361 p189 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p116 p264 p119 p658 p211 }) ({p588 p589 p270 p416 p538 p328 p592 p16 p358 p37 p287 p502 p51 p546 p55 p450 p189 p452 p236 p73 p462 p393 p398 p165 p106 p652 p533 p116 p264 p407 p119 } a31 {p535 p588 p589 p416 p12 p271 p353 p592 p137 p34 p286 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p103 p165 p106 p116 p264 p407 p655 p584 p562 }) ({p90 p248 p370 p44 p292 p182 p228 p203 p86 p638 } a51 {p640 p272 p241 p185 p202 p30 p230 p367 }) ({p8 p112 } a39 {p11 p114 p84 }) ({p70 } a22 {p45 }) ({p127 p588 p189 p452 p589 p325 p73 p416 p12 p592 p16 p332 p433 p393 p165 p106 p55 p116 p264 p407 p584 } a31 {p127 p588 p189 p589 p325 p73 p416 p12 p592 p332 p433 p471 p393 p165 p294 p106 p299 p116 p264 p407 p584 p63 }) ({p127 p588 p488 p189 p452 p589 p234 p325 p73 p416 p592 p16 p332 p614 p433 p393 p437 p502 p165 p106 p55 p116 p264 } a31 {p127 p588 p488 p589 p325 p416 p12 p592 p332 p31 p285 p294 p299 p63 p189 p73 p433 p465 p471 p393 p474 p165 p106 p116 p264 }) ({p412 p588 p189 p129 p589 p73 p416 p538 p592 p330 p433 p28 p204 p393 p103 p165 p106 p405 p116 p264 } a20 {p412 p588 p189 p589 p70 p73 p416 p538 p328 p592 p433 p204 p393 p310 p165 p106 p549 p405 p116 p264 p119 }) ({p426 p588 p189 p589 p73 p416 p592 p430 p28 p29 p278 p471 p393 p165 p294 p106 p298 p405 p116 p264 p584 } a20 {p588 p189 p452 p589 p70 p73 p416 p429 p592 p29 p468 p393 p398 p165 p106 p297 p55 p298 p405 p533 p116 p264 p582 }) ({p127 p588 p189 p589 p325 p73 p416 p13 p592 p16 p332 p433 p472 p393 p285 p476 p293 p165 p106 p116 p264 p654 } a31 {p127 p588 p189 p589 p325 p73 p416 p592 p21 p332 p433 p472 p393 p285 p476 p293 p165 p106 p483 p116 p264 p63 }) ({p640 p250 p522 p272 p16 p110 p244 p495 p510 } a31 {p530 p94 p498 p370 p642 p399 p292 p63 }) ({p588 p189 p589 p416 p240 p592 p197 p275 p564 p28 p435 p393 p94 p569 p642 p165 p445 p296 p116 p264 p118 p187 } a20 {p588 p189 p589 p70 p416 p592 p554 p244 p33 p435 p204 p568 p393 p644 p165 p295 p110 p446 p116 p264 p449 p425 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p468 p33 p393 p644 p165 p297 p296 p116 p264 p582 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p240 p592 p197 p278 p393 p165 p649 p296 p116 p264 p118 p63 }) ({p588 p163 p151 p304 p28 } a20 {p321 p588 p70 p99 p165 p308 }) ({p68 p370 p553 p329 p612 p630 p28 p636 p203 p247 p603 p249 p543 p47 p107 p402 p379 p227 p169 p348 p262 p318 p384 p186 } a20 {p369 p611 p593 p338 p443 p226 p229 p185 p64 p552 p386 p70 p632 p634 p602 p246 p640 p364 p401 p647 p257 p168 p113 p265 p350 }) ({p625 p189 p250 p522 p16 p600 p116 p596 p409 p495 p583 } a31 {p189 p498 p627 p399 p208 p312 p181 p116 p529 p63 }) ({p369 p574 p542 p504 p257 p151 p16 p631 p246 p64 } a31 {p588 p249 p371 p165 p525 p47 p227 p636 p551 p512 p63 }) ({p125 p28 } a20 {p125 p70 }) ({p28 p406 } a20 {p70 p399 p528 }) ({p73 p44 p225 p433 p582 p563 p246 } a51 {p71 p301 p432 p227 p30 p555 }) ({p514 p16 p228 p406 p245 p86 p121 p638 } a31 {p399 p576 p460 p528 p570 p367 p63 }) ({p588 p589 p608 p173 p416 p134 p592 p16 p29 p33 p282 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p300 p632 p554 p470 p246 p393 p644 p165 p403 p116 p264 p582 p122 } a31 {p126 p588 p589 p268 p608 p371 p416 p592 p335 p569 p543 p47 p379 p296 p227 p448 p63 p426 p189 p240 p524 p200 p635 p436 p473 p393 p165 p402 p649 p116 p264 p118 }) ({p588 p189 p589 p553 p416 p538 p328 p592 p16 p634 p204 p393 p398 p165 p106 p533 p229 p116 p264 p119 p185 } a31 {p535 p588 p68 p189 p589 p553 p75 p416 p592 p430 p203 p247 p393 p103 p165 p106 p116 p264 p584 p187 p63 }) ({p514 p189 p16 p116 p245 p62 p528 p624 p585 } a31 {p189 p626 p460 p116 p528 p363 p63 }) ({p16 p460 } a31 {p460 p63 }) ({p588 p189 p589 p325 p73 p416 p592 p196 p152 p433 p28 p393 p165 p444 p106 p545 p116 p264 } a20 {p588 p189 p589 p70 p73 p416 p592 p433 p201 p393 p140 p165 p106 p447 p116 p264 p123 }) ({p587 p588 p189 p589 p73 p416 p592 p28 p393 p476 p165 p106 p116 p264 p424 p563 } a20 {p588 p189 p589 p70 p73 p416 p592 p303 p432 p393 p290 p165 p106 p116 p264 p360 }) ({p626 p416 p44 p333 p463 p583 p363 } a51 {p205 p415 p627 p490 p354 p30 p585 }) ({p588 p189 p452 p589 p73 p416 p538 p328 p592 p16 p37 p393 p398 p289 p165 p106 p652 p55 p533 p116 p264 p407 p119 } a31 {p535 p588 p189 p589 p73 p416 p592 p430 p34 p471 p393 p289 p103 p165 p294 p106 p299 p116 p264 p407 p655 p584 p63 }) ({p588 p189 p589 p73 p325 p416 p592 p16 p242 p433 p393 p290 p165 p106 p447 p116 p264 } a31 {p588 p189 p589 p591 p73 p325 p416 p592 p196 p242 p433 p393 p165 p106 p116 p264 p424 p63 }) ({p588 p189 p589 p416 p592 p16 p634 p244 p204 p640 p568 p393 p443 p226 p165 p295 p110 p169 p229 p116 p185 } a31 {p68 p588 p189 p370 p589 p75 p416 p592 p275 p564 p203 p247 p393 p94 p642 p165 p445 p169 p262 p116 p187 p63 }) ({p89 } a29 {p16 }) ({p84 } a14 {p43 }) ({p16 p463 } a31 {p463 p63 }) ({p588 p189 p589 p416 p592 p16 p241 p201 p86 p638 p393 p165 p182 p228 p116 p264 p121 } a31 {p588 p189 p589 p416 p592 p152 p241 p202 p393 p576 p165 p444 p116 p264 p570 p367 p63 }) ({p104 p35 } a37 {p38 p76 p108 }) ({p588 p589 p608 p416 p592 p20 p275 p564 p335 p28 p569 p445 p296 p187 p189 p191 p240 p197 p200 p436 p393 p94 p642 p165 p403 p650 p117 p116 p264 p118 p266 p351 } a20 {p588 p589 p173 p416 p592 p17 p331 p613 p33 p568 p295 p446 p449 p425 p189 p70 p300 p199 p554 p244 p435 p204 p393 p557 p644 p165 p110 p403 p653 p116 p264 p122 }) ({p94 p498 p642 p240 p524 p295 p28 p118 } a20 {p541 p70 p501 p644 p522 p110 p295 p244 p425 p33 }) ({p412 p127 p588 p589 p325 p415 p416 p592 p332 p28 p293 p297 p183 p64 p188 p189 p73 p522 p429 p525 p433 p390 p204 p392 p472 p530 p393 p248 p476 p165 p257 p106 p110 p483 p405 p116 p264 p119 p583 p585 } a20 {p412 p127 p588 p589 p325 p415 p416 p13 p592 p332 p293 p297 p183 p64 p188 p189 p70 p73 p522 p429 p525 p433 p390 p204 p392 p472 p530 p393 p248 p476 p165 p257 p106 p110 p405 p116 p264 p119 p583 p585 }) ({p188 p415 p629 p528 p442 p392 p44 p165 p261 p54 p551 p509 p512 } a51 {p188 p392 p415 p542 p151 p167 p631 p30 p528 p509 p512 }) ({p189 p588 p589 p416 p629 p592 p16 p418 p442 p392 p259 p54 p116 p368 } a31 {p189 p588 p589 p416 p592 p480 p167 p418 p633 p116 p65 p63 }) ({p63 } a33 {p82 }) ({p626 p522 p44 p333 p460 p583 p363 } a51 {p514 p498 p205 p627 p30 p585 }) ({p73 p16 p227 p264 } a31 {p73 p227 p264 p63 }) ({p589 p626 p516 p167 p460 p28 p363 } a20 {p514 p70 p519 p629 p261 p54 p373 p442 p585 }) ({p588 p189 p589 p73 p416 p75 p592 p16 p433 p201 p393 p165 p106 p182 p116 p264 p123 p360 } a31 {p587 p588 p189 p589 p73 p416 p75 p592 p152 p433 p202 p393 p165 p444 p106 p545 p116 p264 p63 }) ({p127 p588 p189 p589 p73 p416 p592 p16 p197 p433 p393 p141 p165 p106 p116 p264 } a31 {p127 p588 p189 p589 p132 p73 p326 p416 p592 p197 p433 p393 p165 p106 p116 p264 p63 }) ({p140 p290 p16 p447 } a31 {p591 p132 p325 p196 p424 p63 }) ({p586 p253 p205 p627 p163 p490 p354 p483 p28 p88 } a20 {p412 p573 p70 p99 p416 p13 p631 p491 p333 p308 p583 }) ({p412 p588 p589 p416 p15 p592 p16 p274 p24 p359 p291 p297 p549 p449 p361 p189 p453 p73 p469 p468 p393 p641 p481 p310 p165 p106 p653 p116 p264 p658 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p276 p278 p39 p359 p288 p63 p189 p73 p455 p197 p467 p393 p253 p643 p165 p106 p482 p407 p116 p264 p656 }) ({p369 p416 p611 p16 p338 p541 p501 p378 p184 p64 p552 p386 p189 p628 p631 p602 p246 p573 p99 p401 p257 p346 p168 p315 p116 } a31 {p586 p189 p371 p416 p610 p524 p630 p601 p636 p337 p249 p400 p163 p543 p47 p107 p379 p227 p348 p116 p318 p186 p512 p63 }) ({p588 p542 p163 p151 p28 } a20 {p588 p541 p70 p99 p165 p551 }) ({p189 p370 p323 p372 p28 p636 p527 p338 p249 p396 p500 p309 p107 p169 p262 } a20 {p369 p320 p189 p70 p526 p495 p390 p338 p640 p376 p250 p443 p226 p257 p168 p113 p506 p223 }) ({p588 p589 p416 p592 p16 p331 p495 p376 p568 p221 p443 p226 p295 p506 p223 p189 p522 p244 p435 p640 p250 p110 p113 p116 p265 } a31 {p588 p370 p589 p323 p416 p592 p329 p275 p564 p498 p221 p377 p445 p63 p189 p527 p94 p642 p396 p399 p169 p262 p117 p116 p266 }) ({p588 p589 p608 p173 p416 p134 p592 p16 p24 p29 p33 p282 p297 p446 p298 p449 p425 p189 p429 p300 p554 p468 p393 p644 p165 p653 p116 p264 p582 p122 } a31 {p126 p588 p589 p268 p591 p608 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p200 p436 p393 p165 p649 p116 p264 p118 p656 }) ({p369 p574 p257 p151 p16 p631 p526 p304 p390 p496 } a31 {p321 p588 p249 p500 p165 p418 p372 p636 p88 p512 p63 }) ({p140 p196 p16 } a31 {p132 p325 p196 p63 }) ({p588 p189 p452 p589 p73 p416 p538 p328 p592 p16 p34 p393 p398 p289 p165 p106 p55 p533 p116 p264 p407 p119 } a31 {p535 p588 p189 p589 p73 p416 p592 p430 p34 p471 p393 p289 p103 p165 p294 p106 p299 p116 p264 p407 p584 p63 }) ({p126 p588 p589 p268 p416 p12 p592 p137 p28 p34 p278 p286 p289 p294 p448 p426 p189 p73 p430 p471 p639 p393 p558 p165 p106 p649 p407 p116 p264 p656 p584 p562 } a20 {p588 p589 p270 p416 p134 p592 p24 p29 p282 p502 p297 p51 p546 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p641 p398 p165 p106 p652 p405 p533 p116 p264 p582 p561 }) ({p16 p257 p439 p555 p64 } a31 {p249 p73 p47 p264 p63 }) ({p83 } a8 {p79 }) ({p85 } a30 {p46 }) ({p369 p320 p189 p416 p417 p16 p631 p491 p526 p308 p390 p573 p99 p257 p168 p116 } a31 {p586 p189 p416 p417 p418 p372 p636 p88 p249 p500 p309 p163 p107 p116 p512 p63 }) ({p588 p189 p68 p589 p73 p416 p75 p538 p328 p592 p16 p433 p203 p393 p165 p106 p299 p533 p116 p264 p407 p119 } a31 {p535 p588 p189 p68 p589 p73 p416 p75 p592 p433 p203 p393 p103 p165 p106 p299 p116 p264 p407 p584 p63 }) ({p188 p587 p591 p71 p415 p325 p371 p241 p242 p432 p528 p392 p476 p44 p290 p167 p259 p509 p121 p123 p367 } a51 {p188 p587 p591 p71 p415 p325 p371 p241 p242 p432 p30 p528 p392 p476 p290 p167 p259 p509 p121 p123 p367 }) ({p625 p189 p190 p250 p522 p16 p506 p600 p116 p596 p495 p583 } a31 {p189 p190 p498 p627 p399 p208 p312 p181 p116 p527 p63 }) ({p588 p371 p542 p429 p646 p165 p16 p582 p425 p246 p64 } a31 {p426 p588 p474 p371 p240 p165 p47 p227 p27 p551 p63 }) ({p588 p189 p589 p73 p416 p538 p328 p592 p16 p305 p433 p393 p165 p106 p533 p116 p264 p119 } a31 {p535 p588 p189 p589 p73 p416 p592 p433 p393 p478 p103 p165 p106 p299 p116 p264 p584 p63 }) ({p588 p189 p129 p589 p132 p73 p416 p592 p240 p16 p433 p468 p393 p165 p106 p297 p116 p264 p407 p449 } a31 {p588 p189 p129 p589 p591 p132 p73 p416 p592 p240 p197 p433 p278 p393 p165 p106 p116 p264 p407 p63 }) ({p127 p588 p189 p589 p234 p325 p73 p416 p13 p592 p16 p332 p614 p433 p472 p393 p437 p476 p293 p165 p106 p116 p264 p654 } a31 {p127 p588 p589 p325 p416 p592 p21 p332 p31 p285 p293 p63 p189 p73 p433 p465 p472 p393 p474 p476 p165 p106 p483 p116 p264 }) ({p225 p241 p633 p28 p202 p65 p367 } a20 {p90 p71 p70 p259 p182 p228 p86 p638 }) ({p127 p588 p189 p452 p589 p325 p73 p416 p592 p16 p332 p614 p433 p465 p393 p285 p502 p165 p106 p55 p116 p264 p407 p584 } a31 {p127 p588 p589 p325 p416 p12 p592 p332 p31 p285 p294 p299 p63 p189 p73 p433 p465 p471 p393 p474 p165 p106 p116 p264 p407 p584 }) ({p16 p334 p183 p390 p175 } a31 {p393 p189 p178 p372 p63 }) ({p96 } a11 {p56 }) ({p16 p52 p297 p433 } a31 {p293 p433 p278 p63 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p33 p246 p393 p569 p541 p501 p644 p165 p446 p298 p116 p264 p582 p425 p64 p552 } a31 {p426 p588 p189 p589 p371 p416 p240 p592 p524 p393 p569 p543 p165 p47 p649 p296 p227 p116 p264 p448 p118 p63 }) ({p535 p129 p588 p589 p416 p271 p539 p592 p330 p20 p28 p39 p288 p187 p451 p189 p73 p197 p433 p467 p393 p103 p165 p106 p650 p405 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p274 p37 p287 p549 p449 p361 p189 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p653 p116 p264 p119 p658 }) ({p90 p248 p44 p540 p182 p360 p203 p584 } a51 {p587 p241 p185 p202 p30 p534 p230 }) ({p588 p589 p416 p134 p592 p16 p29 p335 p33 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p554 p246 p393 p644 p165 p116 p264 p582 p122 } a31 {p126 p588 p589 p371 p416 p592 p335 p569 p543 p47 p379 p296 p227 p448 p63 p426 p189 p240 p524 p436 p393 p165 p649 p116 p264 p118 }) ({p588 p361 p189 p589 p453 p73 p416 p15 p592 p16 p197 p433 p469 p393 p288 p310 p165 p106 p549 p116 p264 p407 p658 } a31 {p2 p129 p588 p189 p589 p132 p73 p455 p416 p539 p592 p330 p197 p433 p467 p39 p393 p288 p165 p106 p116 p264 p407 p63 }) ({p189 p370 p323 p329 p372 p28 p636 p527 p249 p396 p500 p309 p222 p107 p169 p262 p318 } a20 {p369 p320 p189 p70 p526 p495 p390 p338 p640 p376 p250 p443 p222 p226 p257 p168 p113 p506 p265 p223 }) ({p586 p627 p610 p524 p601 p28 p337 p498 p377 p400 p163 p344 p312 p181 p385 } a20 {p414 p70 p609 p522 p628 p631 p600 p573 p541 p99 p501 p378 p346 p315 p184 p583 }) ({p588 p589 p416 p15 p592 p16 p24 p288 p297 p549 p449 p361 p189 p453 p73 p433 p469 p468 p393 p310 p165 p106 p653 p116 p264 p407 p658 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p278 p39 p288 p63 p189 p73 p455 p197 p433 p467 p393 p165 p106 p116 p264 p407 p656 }) ({p369 p320 p414 p611 p16 p491 p217 p338 p222 p383 p184 p189 p239 p631 p526 p388 p602 p308 p390 p573 p99 p257 p346 p168 p315 p116 } a31 {p586 p352 p610 p417 p418 p372 p218 p337 p500 p385 p186 p512 p63 p189 p601 p636 p88 p249 p309 p163 p107 p348 p263 p116 p318 }) ({p588 p589 p416 p592 p17 p16 p331 p613 p593 p568 p443 p226 p295 p229 p185 p189 p199 p632 p634 p244 p435 p204 p640 p393 p364 p647 p403 p110 p113 p116 p265 p350 } a31 {p588 p370 p589 p416 p592 p329 p612 p275 p564 p445 p187 p384 p63 p68 p189 p553 p191 p75 p635 p203 p247 p603 p393 p94 p642 p402 p650 p169 p262 p117 p116 p266 p351 }) ({p87 } a9 {p83 }) ({p586 p352 p627 p490 p417 p216 p601 p28 p337 p88 p163 p258 p312 p381 p181 p408 } a20 {p70 p631 p491 p217 p600 p388 p308 p573 p99 p258 p315 p383 p184 p583 }) ({p140 p44 p197 p332 p447 } a51 {p325 p196 p311 p30 p449 }) ({p75 p328 p16 p119 p185 p534 p204 } a31 {p75 p103 p540 p203 p584 p187 p63 }) ({p371 p576 p44 p444 p152 p106 p167 p244 p204 p570 p367 } a51 {p571 p642 p371 p167 p201 p30 p121 p187 p367 }) ({p93 } a10 {p77 }) ({p588 p189 p452 p589 p73 p416 p538 p328 p592 p16 p430 p433 p393 p165 p106 p533 p116 p264 p407 p119 } a31 {p535 p588 p189 p589 p73 p416 p592 p430 p433 p471 p393 p103 p165 p106 p299 p116 p264 p407 p584 p63 }) ({p129 p588 p189 p589 p73 p416 p538 p592 p330 p197 p433 p28 p393 p103 p165 p106 p405 p116 p264 p187 } a20 {p588 p189 p589 p70 p73 p416 p538 p328 p592 p433 p204 p393 p310 p165 p106 p549 p405 p116 p264 p119 p449 }) ({p225 p16 } a31 {p225 p63 }) ({p426 p588 p189 p589 p73 p416 p134 p592 p430 p28 p34 p278 p471 p393 p289 p165 p294 p106 p649 p405 p116 p264 p448 p584 } a20 {p588 p589 p416 p134 p592 p29 p297 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p398 p165 p106 p652 p405 p533 p116 p264 p582 }) ({p82 } a34 {p78 }) ({p28 p510 p597 p529 } a20 {p530 p604 p70 p596 p409 }) ({p571 p371 p16 p110 } a31 {p94 p371 p106 p63 }) ({p571 p498 p16 p110 } a31 {p94 p498 p106 p63 }) ({p188 p415 p240 p197 p27 p528 p392 p44 p259 p485 p447 p423 p509 p121 } a51 {p188 p415 p196 p242 p30 p528 p392 p646 p259 p449 p425 p509 p121 }) ({p189 p370 p323 p329 p612 p372 p218 p28 p636 p527 p603 p249 p221 p396 p500 p309 p400 p107 p169 p348 p262 p318 p385 p186 } a20 {p369 p320 p414 p611 p593 p495 p338 p376 p443 p222 p226 p506 p223 p189 p70 p628 p526 p602 p390 p640 p250 p257 p105 p168 p113 p265 p350 }) ({p625 p250 p522 p16 p495 p510 p583 p597 } a31 {p530 p498 p604 p627 p399 p208 p312 p63 }) ({p412 p127 p2 p588 p589 p325 p416 p12 p592 p332 p28 p31 p278 p291 p294 p189 p73 p455 p433 p465 p471 p393 p165 p106 p116 p264 p656 } a20 {p412 p127 p588 p589 p325 p416 p15 p592 p332 p24 p614 p502 p291 p297 p55 p189 p452 p70 p73 p433 p469 p468 p393 p437 p165 p106 p116 p264 }) ({p587 p127 p588 p129 p589 p370 p325 p371 p416 p326 p592 p16 p330 p332 p21 p614 p285 p293 p189 p68 p73 p75 p240 p196 p197 p242 p433 p465 p471 p472 p393 p396 p476 p478 p163 p165 p167 p106 p208 p116 p264 p407 p584 p367 } a31 {p587 p127 p588 p129 p589 p370 p325 p371 p416 p326 p592 p330 p332 p21 p31 p285 p293 p63 p189 p68 p73 p75 p240 p196 p197 p242 p433 p465 p471 p472 p393 p474 p396 p476 p478 p163 p165 p167 p106 p208 p116 p264 p407 p584 p367 }) ({p76 } a25 {p102 }) ({p588 p589 p416 p592 p16 p29 p33 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p554 p246 p436 p393 p644 p165 p116 p264 p582 } a31 {p426 p588 p189 p589 p371 p416 p592 p240 p524 p436 p393 p569 p543 p165 p47 p649 p379 p296 p227 p116 p264 p448 p118 p63 }) ({p78 } a35 {p89 }) ({p164 p16 p120 } a31 {p164 p120 p63 }) ({p189 p588 p589 p71 p416 p629 p592 p16 p442 p393 p261 p259 p54 p116 } a31 {p189 p588 p393 p589 p416 p225 p592 p167 p633 p116 p65 p63 }) ({p588 p589 p173 p416 p134 p592 p16 p24 p29 p33 p282 p297 p446 p298 p449 p425 p189 p429 p300 p554 p468 p637 p393 p557 p644 p165 p405 p653 p116 p264 p582 p561 p122 } a31 {p126 p588 p589 p268 p591 p608 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p200 p436 p639 p393 p558 p165 p649 p404 p116 p264 p118 p656 }) ({p208 p153 p147 p28 p622 p175 p120 } a20 {p625 p189 p70 p213 p164 p116 p596 p210 p623 p149 }) ({p426 p126 p68 p553 p430 p137 p28 p34 p203 p247 p282 p289 p543 p47 p649 p379 p403 p227 p264 p448 p584 p384 } a20 {p386 p70 p236 p429 p134 p29 p634 p246 p282 p398 p364 p647 p403 p51 p652 p298 p533 p229 p264 p185 p582 p450 p64 p552 }) ({p127 p588 p589 p325 p9 p416 p592 p16 p332 p614 p502 p55 p340 p189 p452 p234 p73 p433 p393 p437 p645 p165 p106 p116 p264 } a31 {p127 p488 p588 p589 p7 p325 p416 p12 p592 p332 p31 p285 p294 p299 p63 p189 p73 p433 p465 p471 p393 p474 p165 p106 p648 p116 p264 }) ({p587 p325 p371 p44 p293 p167 p242 p432 p424 p468 p367 } a51 {p587 p325 p371 p290 p167 p242 p432 p52 p30 p367 }) ({p588 p189 p589 p416 p592 p17 p16 p329 p634 p244 p435 p204 p640 p568 p393 p443 p226 p647 p295 p110 p113 p229 p116 p185 } a31 {p588 p370 p589 p416 p592 p329 p275 p564 p445 p187 p63 p68 p189 p553 p75 p203 p247 p393 p94 p642 p650 p169 p262 p117 p116 }) ({p127 p588 p189 p589 p325 p73 p416 p592 p332 p432 p433 p28 p393 p476 p165 p106 p116 p264 p424 } a20 {p127 p588 p189 p589 p70 p325 p73 p416 p592 p332 p303 p432 p433 p393 p290 p165 p106 p116 p264 }) ({p588 p189 p68 p589 p73 p416 p75 p538 p328 p592 p16 p430 p433 p204 p393 p165 p106 p533 p116 p264 p119 p185 } a31 {p535 p588 p189 p68 p589 p73 p416 p75 p592 p430 p433 p203 p393 p103 p165 p106 p116 p264 p584 p187 p63 }) ({p588 p589 p270 p416 p538 p328 p592 p17 p16 p37 p287 p51 p229 p185 p450 p189 p236 p462 p634 p637 p204 p393 p475 p398 p364 p165 p647 p106 p652 p405 p533 p116 p264 p119 p562 } a31 {p535 p588 p589 p416 p271 p592 p137 p34 p286 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p639 p393 p477 p103 p165 p106 p650 p404 p116 p264 p655 p584 p562 }) ({p127 p588 p189 p589 p325 p73 p416 p592 p21 p332 p433 p28 p472 p393 p476 p291 p293 p165 p106 p648 p116 p264 } a20 {p127 p588 p189 p589 p70 p325 p73 p9 p416 p592 p332 p433 p472 p393 p476 p291 p293 p165 p106 p116 p264 p654 }) ({p480 p16 } a31 {p480 p63 }) ({p588 p589 p416 p15 p592 p16 p24 p297 p549 p449 p361 p189 p73 p433 p467 p468 p393 p310 p165 p106 p653 p116 p264 p407 p658 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p278 p39 p63 p189 p73 p197 p433 p467 p393 p165 p106 p116 p264 p407 p656 }) ({p588 p589 p416 p538 p328 p592 p17 p16 p37 p289 p229 p185 p384 p189 p634 p204 p393 p398 p165 p647 p106 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p592 p34 p289 p187 p63 p384 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p116 p264 p655 p584 }) ({p127 p587 p371 p44 p328 p152 p444 p167 p545 p242 p204 p367 } a51 {p587 p371 p167 p547 p242 p201 p30 p123 p187 p367 }) ({p586 p253 p627 p163 p490 p417 p483 p312 p28 p408 p337 p88 } a20 {p412 p573 p70 p99 p13 p631 p491 p388 p315 p308 p583 }) ({p588 p589 p416 p592 p16 p331 p613 p593 p495 p376 p568 p443 p226 p295 p506 p223 p189 p522 p628 p199 p244 p435 p640 p250 p401 p105 p110 p113 p116 p265 p350 } a31 {p588 p370 p589 p323 p416 p592 p329 p612 p275 p564 p498 p221 p377 p445 p63 p189 p191 p630 p466 p527 p603 p94 p642 p396 p399 p400 p169 p262 p117 p116 p266 p351 }) ({p127 p588 p129 p189 p589 p73 p416 p592 p16 p197 p433 p393 p310 p165 p106 p116 p264 p407 } a31 {p127 p588 p129 p189 p589 p132 p73 p416 p592 p330 p197 p433 p393 p165 p106 p116 p264 p407 p63 }) ({p588 p361 p189 p589 p73 p416 p15 p592 p16 p197 p433 p467 p393 p310 p165 p106 p549 p116 p264 p407 p658 } a31 {p2 p129 p588 p189 p589 p132 p73 p416 p539 p592 p330 p197 p433 p467 p39 p393 p165 p106 p116 p264 p407 p63 }) ({p369 p588 p542 p257 p151 p16 p631 p246 p64 } a31 {p588 p249 p165 p47 p227 p636 p551 p63 }) ({p588 p589 p173 p416 p134 p592 p16 p29 p33 p282 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p300 p632 p554 p470 p246 p393 p557 p644 p165 p403 p116 p264 p582 p561 p122 } a31 {p126 p588 p589 p268 p608 p371 p416 p592 p335 p569 p543 p47 p379 p296 p227 p448 p63 p426 p189 p240 p524 p200 p635 p436 p473 p393 p558 p165 p402 p649 p116 p264 p118 }) ({p588 p589 p7 p416 p15 p592 p16 p274 p291 p549 p361 p189 p453 p73 p197 p433 p469 p393 p310 p165 p106 p116 p264 p407 p658 p211 } a31 {p2 p129 p588 p589 p132 p7 p416 p539 p592 p330 p276 p39 p359 p288 p63 p189 p73 p455 p197 p433 p467 p393 p165 p106 p116 p264 p407 }) ({p89 } a28 {p85 }) ({p189 p588 p589 p416 p522 p592 p16 p244 p495 p640 p393 p250 p443 p295 p110 p116 p409 } a31 {p189 p588 p370 p589 p416 p592 p275 p529 p393 p94 p498 p642 p399 p445 p116 p63 }) ({p68 p553 p370 p28 p636 p203 p247 p338 p249 p543 p107 p47 p227 p169 p262 } a20 {p369 p70 p634 p246 p338 p640 p443 p226 p647 p257 p168 p113 p229 p185 p64 p552 }) ({p625 p414 p609 p522 p16 p600 p495 p376 p250 p343 p506 p116 p383 p596 p583 p223 } a31 {p190 p323 p627 p527 p498 p396 p377 p399 p344 p208 p312 p181 p116 p385 p63 }) ({p426 p247 p68 p430 p47 p227 p28 p264 p203 p584 p552 } a20 {p70 p398 p429 p634 p533 p229 p264 p185 p582 p246 p64 p552 }) ({p189 p588 p589 p416 p522 p592 p16 p244 p495 p640 p393 p250 p396 p443 p295 p110 p506 p116 } a31 {p189 p588 p370 p589 p416 p592 p275 p527 p393 p94 p498 p642 p396 p399 p445 p116 p63 }) ({p514 p16 p406 p245 p62 p624 p585 } a31 {p626 p399 p460 p528 p363 p63 }) ({p586 p498 p627 p609 p163 p524 p312 p181 p601 p28 p337 } a20 {p573 p70 p541 p99 p501 p609 p522 p631 p600 p315 p184 p583 }) ({p412 p127 p2 p588 p589 p325 p416 p12 p592 p332 p276 p28 p31 p278 p285 p294 p189 p73 p455 p433 p465 p471 p393 p165 p106 p116 p264 p656 } a20 {p412 p127 p588 p589 p325 p416 p15 p592 p332 p24 p614 p502 p291 p297 p55 p189 p452 p234 p70 p73 p433 p469 p468 p393 p437 p165 p106 p116 p264 }) ({p617 p16 p153 p183 p210 p342 } a31 {p178 p164 p145 p622 p139 p120 p158 p63 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p246 p393 p541 p501 p644 p165 p116 p264 p582 p118 p425 p64 p552 } a31 {p426 p588 p189 p589 p371 p416 p240 p592 p524 p393 p543 p165 p47 p649 p227 p116 p264 p118 p63 }) ({p189 p588 p589 p323 p416 p522 p592 p16 p244 p495 p640 p376 p568 p250 p443 p226 p295 p110 p506 p116 } a31 {p189 p588 p370 p589 p323 p416 p592 p275 p564 p527 p94 p498 p642 p396 p377 p399 p445 p262 p116 p63 }) ({p97 p592 p18 p22 p25 } a12 {p592 p18 p22 p25 p53 }) ({p588 p189 p589 p416 p429 p592 p16 p554 p29 p468 p33 p436 p393 p644 p165 p297 p446 p298 p116 p264 p582 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p240 p592 p197 p278 p436 p393 p569 p165 p649 p296 p116 p264 p448 p118 p63 }) ({p589 p71 p16 p261 p432 p485 p423 p373 } a31 {p474 p589 p516 p371 p225 p242 p563 p63 }) ({p68 p370 p553 p329 p612 p28 p636 p203 p247 p603 p249 p543 p401 p107 p47 p379 p227 p169 p348 p262 p318 p384 p186 } a20 {p369 p386 p70 p611 p593 p634 p602 p246 p338 p640 p443 p364 p226 p401 p647 p257 p168 p113 p229 p185 p265 p350 p64 p552 }) ({p588 p189 p589 p73 p416 p592 p539 p16 p433 p468 p393 p310 p165 p106 p297 p549 p116 p264 p407 p449 } a31 {p129 p588 p189 p589 p591 p132 p73 p416 p592 p539 p330 p197 p433 p278 p393 p165 p106 p116 p264 p407 p63 }) ({p191 p240 p524 p630 p275 p200 p613 p564 p335 p28 p466 p436 p94 p569 p498 p642 p377 p402 p445 p296 p117 p118 p266 } a20 {p70 p173 p300 p522 p331 p199 p613 p632 p554 p244 p33 p435 p470 p568 p541 p501 p644 p378 p401 p295 p110 p446 p425 p122 }) ({p11 } a41 {p32 }) ({p126 p588 p589 p268 p416 p12 p592 p137 p28 p34 p278 p286 p289 p294 p448 p426 p189 p73 p430 p471 p393 p558 p165 p106 p649 p405 p116 p264 p656 p584 p562 } a20 {p588 p589 p270 p416 p134 p592 p24 p29 p282 p502 p297 p51 p546 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p398 p165 p106 p652 p405 p533 p116 p264 p582 p561 }) ({p90 p16 p182 p228 p201 p86 p121 p638 } a31 {p75 p576 p444 p152 p241 p202 p570 p367 p63 }) ({p498 p205 p16 } a31 {p498 p312 p333 p63 }) ({p392 p519 p629 p16 p259 p54 p442 p368 p419 } a31 {p589 p480 p167 p418 p633 p509 p65 p512 p63 }) ({p253 p500 p208 p483 p334 p28 p622 p527 p175 } a20 {p412 p625 p189 p393 p250 p70 p13 p526 p506 p596 p495 p210 }) ({p16 p547 p119 } a31 {p127 p103 p63 }) ({p625 p213 p609 p16 p600 p154 p343 p143 p258 p116 p596 p583 p623 } a31 {p190 p627 p490 p216 p251 p344 p166 p208 p312 p381 p181 p116 p408 p63 }) ({p588 p189 p68 p589 p73 p416 p538 p328 p592 p16 p204 p393 p165 p106 p533 p229 p116 p264 p119 p185 } a31 {p535 p588 p189 p68 p589 p73 p416 p75 p592 p203 p247 p393 p103 p165 p106 p116 p264 p584 p187 p63 }) ({p330 p197 p547 p28 p187 } a20 {p127 p70 p328 p310 p449 p204 }) ({p588 p189 p589 p75 p416 p592 p16 p244 p204 p640 p393 p443 p165 p295 p110 p116 p264 p185 } a31 {p588 p189 p370 p589 p75 p416 p592 p275 p203 p393 p94 p642 p165 p445 p116 p264 p187 p63 }) ({p102 } a26 {p89 }) ({p472 p248 p28 p534 } a20 {p472 p248 p70 p540 p533 }) ({p188 p71 p415 p241 p432 p540 p202 p528 p392 p476 p44 p259 p360 p584 p509 p121 } a51 {p587 p188 p71 p415 p241 p432 p30 p202 p528 p392 p476 p259 p534 p509 p121 }) ({p369 p320 p352 p189 p16 p631 p491 p526 p388 p308 p390 p338 p573 p99 p257 p168 p315 p116 } a31 {p586 p352 p189 p417 p418 p372 p636 p337 p88 p249 p500 p309 p163 p107 p116 p318 p512 p63 }) ({p535 p412 p129 p588 p589 p416 p539 p592 p330 p28 p39 p287 p451 p189 p73 p433 p467 p204 p393 p103 p165 p106 p405 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p37 p287 p549 p189 p361 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p116 p264 p119 p658 }) ({p240 p524 p199 p275 p564 p335 p28 p436 p94 p569 p498 p642 p377 p445 p296 p117 p118 p266 } a20 {p70 p300 p522 p331 p199 p554 p244 p33 p435 p568 p541 p501 p644 p378 p295 p110 p446 p425 p122 }) ({p586 p498 p627 p163 p524 p312 p600 p28 p337 } a20 {p573 p541 p70 p99 p501 p522 p631 p600 p315 p583 }) ({p188 p321 p415 p44 p629 p165 p54 p509 p442 p88 p368 p512 } a51 {p188 p415 p151 p167 p631 p304 p30 p509 p512 }) ({p530 p248 p272 p28 } a20 {p530 p248 p70 p443 p292 }) ({p588 p361 p189 p589 p73 p416 p592 p16 p197 p433 p467 p39 p393 p310 p165 p106 p549 p116 p264 p407 } a31 {p129 p588 p189 p589 p132 p73 p416 p539 p592 p330 p197 p433 p467 p39 p393 p165 p106 p116 p264 p407 p63 }) ({p188 p370 p415 p245 p86 p528 p638 p392 p44 p292 p259 p228 p509 } a51 {p188 p392 p640 p250 p415 p272 p259 p30 p495 p528 p509 p367 }) ({p588 p189 p589 p73 p416 p75 p592 p16 p433 p202 p393 p476 p165 p106 p116 p264 p123 p360 } a31 {p587 p588 p189 p589 p73 p416 p75 p592 p433 p202 p393 p476 p165 p106 p545 p116 p264 p63 }) ({p140 p591 p44 p332 } a51 {p591 p325 p311 p30 }) ({p328 p16 p119 p185 p534 p230 p204 } a31 {p248 p75 p103 p540 p203 p584 p187 p63 }) ({p188 p474 p591 p132 p75 p371 p399 p77 p418 p299 p116 p512 } a5 {p479 p80 p120 }) ({p588 p589 p416 p134 p592 p16 p24 p29 p335 p33 p297 p446 p298 p449 p425 p189 p429 p554 p468 p393 p644 p165 p653 p116 p264 p582 p122 } a31 {p126 p588 p589 p591 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p436 p393 p165 p649 p116 p264 p118 p656 }) ({p535 p129 p588 p189 p589 p73 p416 p539 p592 p330 p197 p17 p433 p28 p393 p103 p165 p106 p405 p116 p264 p187 } a20 {p588 p361 p189 p589 p70 p73 p416 p538 p328 p592 p17 p433 p204 p393 p310 p165 p106 p549 p405 p116 p264 p119 p449 }) ({p535 p129 p588 p589 p416 p271 p539 p592 p330 p20 p28 p358 p39 p288 p187 p451 p189 p73 p197 p467 p639 p393 p477 p103 p165 p106 p650 p407 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p274 p358 p37 p287 p549 p449 p361 p189 p453 p70 p73 p462 p204 p393 p641 p481 p310 p165 p106 p405 p653 p116 p264 p119 p658 }) ({p303 p28 } a20 {p70 p476 p299 }) ({p369 p320 p189 p416 p520 p16 p631 p526 p308 p390 p420 p99 p257 p168 p116 } a31 {p189 p590 p416 p418 p372 p636 p88 p249 p500 p309 p163 p107 p116 p512 p63 }) ({p588 p519 p44 p629 p165 p525 p261 p54 p551 p373 p442 } a51 {p589 p516 p574 p542 p504 p151 p167 p631 p30 }) ({p253 p480 p483 p620 p28 p528 p36 } a20 {p412 p392 p188 p70 p13 p406 p245 p62 p624 }) ({p588 p321 p589 p325 p9 p13 p592 p15 p18 p332 p540 p27 p28 p183 p551 p64 p188 p189 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p165 p583 p585 } a20 {p588 p321 p589 p325 p9 p13 p592 p15 p18 p332 p540 p27 p183 p551 p64 p188 p189 p70 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p165 p583 p585 }) ({p588 p189 p589 p73 p416 p592 p539 p16 p197 p433 p393 p310 p165 p106 p549 p116 p264 p407 } a31 {p129 p588 p189 p589 p132 p73 p416 p592 p539 p330 p197 p433 p393 p165 p106 p116 p264 p407 p63 }) ({p190 p396 p323 p500 p309 p178 p208 p372 p381 p28 p622 p527 } a20 {p320 p625 p70 p526 p495 p390 p376 p250 p343 p506 p383 p596 p183 p210 p223 }) ({p369 p586 p189 p588 p589 p590 p416 p592 p16 p631 p246 p393 p541 p99 p257 p168 p116 p64 p552 } a31 {p586 p189 p588 p589 p590 p416 p592 p636 p393 p249 p163 p543 p107 p47 p227 p116 p63 }) ({p188 p415 p371 p240 p27 p528 p392 p44 p261 p259 p485 p423 p551 p509 p121 } a51 {p188 p415 p371 p242 p30 p528 p392 p542 p646 p259 p425 p509 p121 }) ({p588 p589 p416 p538 p328 p592 p17 p16 p37 p286 p51 p229 p185 p450 p189 p236 p462 p634 p204 p393 p398 p364 p165 p647 p106 p404 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p592 p137 p34 p286 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p404 p116 p264 p655 p584 }) ({p412 p127 p2 p588 p589 p325 p9 p416 p592 p332 p28 p31 p291 p293 p297 p189 p73 p455 p433 p465 p472 p393 p476 p165 p106 p116 p264 } a20 {p412 p127 p588 p589 p325 p9 p416 p15 p592 p332 p614 p291 p293 p297 p189 p70 p73 p433 p469 p472 p393 p476 p437 p165 p106 p116 p264 }) ({p588 p589 p416 p538 p328 p592 p17 p16 p137 p37 p229 p185 p450 p189 p236 p462 p634 p204 p393 p398 p364 p165 p647 p106 p404 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p592 p137 p34 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p404 p116 p264 p655 p584 }) ({p588 p589 p270 p416 p538 p328 p592 p16 p37 p287 p502 p51 p55 p450 p189 p452 p236 p73 p462 p393 p398 p165 p106 p652 p533 p116 p264 p407 p119 p562 } a31 {p535 p588 p589 p416 p12 p271 p592 p137 p34 p286 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p103 p165 p106 p116 p264 p407 p655 p584 p562 }) ({p127 p588 p189 p589 p325 p73 p416 p592 p16 p332 p21 p614 p433 p471 p472 p393 p285 p437 p476 p293 p165 p106 p116 p264 } a31 {p127 p588 p589 p325 p416 p592 p332 p21 p31 p285 p293 p63 p189 p73 p433 p465 p471 p472 p393 p474 p476 p165 p106 p116 p264 }) ({p590 p574 p163 p151 p304 p28 p496 } a20 {p420 p321 p588 p70 p99 p520 p165 p308 }) ({p369 p189 p416 p610 p16 p631 p602 p246 p338 p573 p541 p99 p501 p257 p168 p315 p116 p184 p64 p552 } a31 {p586 p189 p371 p416 p610 p524 p601 p636 p337 p249 p163 p543 p107 p47 p227 p116 p318 p186 p512 p63 }) ({p32 } a46 {p35 }) ({p617 p153 p28 p88 p342 } a20 {p420 p125 p70 p164 p619 p308 p139 p623 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p33 p246 p393 p541 p501 p644 p165 p296 p116 p264 p582 p425 p64 p552 } a31 {p426 p588 p189 p589 p371 p416 p240 p592 p524 p393 p543 p165 p47 p649 p227 p296 p116 p264 p118 p63 }) ({p369 p393 p44 p480 p526 p633 p264 p65 } a51 {p392 p500 p259 p439 p334 p636 p30 }) ({p588 p189 p589 p416 p196 p592 p152 p242 p28 p393 p576 p165 p444 p116 p264 p570 } a20 {p588 p189 p589 p70 p416 p592 p201 p393 p165 p485 p447 p423 p116 p264 p121 }) ({p588 p589 p416 p538 p328 p592 p17 p16 p37 p229 p185 p450 p384 p189 p236 p462 p634 p204 p393 p398 p165 p647 p106 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p592 p34 p289 p187 p63 p384 p451 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p116 p264 p655 p584 }) ({p247 p370 p227 p439 p28 p636 p203 p555 } a20 {p369 p640 p70 p73 p443 p229 p264 p185 p246 }) ({p369 p189 p416 p16 p631 p601 p246 p338 p573 p541 p99 p501 p257 p168 p315 p116 p64 p552 } a31 {p586 p189 p371 p416 p524 p601 p636 p337 p249 p163 p543 p107 p47 p227 p116 p318 p512 p63 }) ({p588 p589 p416 p134 p592 p16 p29 p33 p282 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p300 p200 p554 p246 p393 p644 p165 p116 p264 p582 p122 } a31 {p126 p588 p589 p268 p371 p416 p592 p335 p569 p543 p47 p379 p296 p227 p448 p63 p426 p189 p240 p524 p200 p436 p393 p165 p649 p116 p264 p118 }) ({p369 p588 p370 p326 p9 p328 p15 p330 p332 p21 p30 p31 p183 p64 p68 p240 p197 p243 p244 p465 p390 p468 p469 p88 p246 p204 p471 p247 p472 p248 p396 p478 p257 p208 p110 p405 p407 p119 p210 p129 p139 p285 p291 p297 p518 p522 p429 p524 p525 p526 p527 p529 p530 p163 p165 p582 p583 p584 } a45 {p369 p588 p370 p326 p9 p328 p15 p330 p332 p21 p31 p183 p64 p68 p240 p197 p243 p244 p465 p390 p468 p469 p88 p246 p204 p471 p247 p472 p248 p396 p97 p478 p257 p208 p110 p405 p407 p119 p210 p129 p139 p285 p291 p297 p518 p522 p429 p524 p525 p526 p527 p529 p530 p163 p165 p582 p583 p584 }) ({p393 p189 p44 p480 p526 p620 p210 p36 } a51 {p392 p188 p500 p334 p622 p30 p175 }) ({p41 } a49 {p14 }) ({p625 p213 p609 p16 p600 p154 p343 p258 p116 p596 p583 p623 p149 } a31 {p190 p627 p490 p216 p251 p344 p166 p208 p312 p381 p181 p116 p408 p63 }) ({p257 p16 p439 p334 p390 } a31 {p393 p249 p372 p264 p63 }) ({p625 p323 p609 p522 p16 p600 p495 p376 p250 p343 p506 p116 p596 p583 } a31 {p190 p323 p627 p527 p498 p396 p377 p399 p344 p208 p312 p181 p116 p63 }) ({p412 p171 p13 p16 p619 p526 p304 p621 p183 p390 p210 } a31 {p321 p253 p500 p178 p483 p372 p622 p88 p63 }) ({p589 p626 p253 p167 p483 p463 p28 p509 p363 } a20 {p412 p70 p415 p519 p13 p629 p54 p442 p368 p585 p419 }) ({p126 p588 p589 p268 p416 p12 p592 p137 p28 p34 p278 p286 p289 p294 p448 p426 p189 p73 p430 p471 p393 p165 p106 p649 p405 p116 p264 p561 p656 p584 } a20 {p588 p589 p270 p416 p134 p592 p24 p29 p282 p502 p297 p51 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p398 p165 p106 p652 p405 p533 p116 p264 p582 p561 }) ({p189 p370 p323 p329 p611 p372 p218 p28 p636 p527 p603 p249 p396 p221 p500 p309 p400 p107 p169 p262 p318 p385 p186 } a20 {p369 p320 p414 p611 p593 p495 p338 p376 p443 p222 p226 p506 p223 p189 p70 p628 p526 p602 p390 p640 p250 p257 p105 p168 p113 p265 }) ({p454 p478 p540 p28 } a20 {p472 p70 p540 p305 }) ({p369 p386 p189 p416 p611 p16 p631 p602 p246 p338 p573 p541 p501 p99 p400 p378 p257 p346 p168 p315 p116 p184 p64 p552 } a31 {p586 p189 p371 p416 p610 p524 p601 p636 p337 p249 p163 p400 p543 p107 p47 p379 p227 p348 p116 p318 p186 p512 p63 }) ({p52 p433 p28 p471 } a20 {p452 p70 p293 p433 p468 }) ({p189 p44 p164 p145 p620 p210 p36 p487 } a51 {p188 p153 p147 p622 p30 p175 }) ({p215 p28 p621 p597 } a20 {p604 p70 p213 p596 p349 p623 }) ({p320 p189 p370 p249 p396 p500 p372 p262 p28 p636 p527 } a20 {p369 p320 p189 p70 p526 p495 p390 p640 p376 p250 p443 p226 p257 p506 }) ({p588 p589 p416 p592 p17 p16 p331 p613 p593 p568 p443 p226 p295 p229 p185 p189 p199 p634 p244 p435 p204 p640 p393 p364 p647 p402 p110 p113 p116 p265 p350 } a31 {p588 p370 p589 p416 p592 p329 p612 p275 p564 p445 p187 p384 p63 p68 p189 p553 p191 p75 p203 p247 p603 p393 p94 p642 p402 p650 p169 p262 p117 p116 p266 p351 }) ({p369 p320 p586 p189 p588 p589 p590 p416 p592 p16 p631 p526 p418 p308 p390 p99 p257 p168 p116 } a31 {p586 p189 p588 p589 p590 p416 p592 p418 p372 p636 p88 p249 p500 p309 p163 p107 p116 p63 }) ({p426 p126 p68 p553 p268 p430 p137 p28 p34 p203 p247 p286 p289 p543 p47 p649 p379 p403 p227 p264 p448 p584 p384 } a20 {p270 p134 p29 p282 p51 p298 p229 p185 p450 p64 p552 p386 p70 p236 p429 p634 p246 p398 p364 p647 p403 p652 p533 p264 p582 }) ({p472 p75 p328 p16 p119 p203 p534 } a31 {p472 p75 p103 p540 p203 p584 p63 }) ({p640 p75 p272 p16 p110 p244 p185 p204 } a31 {p370 p94 p642 p75 p292 p203 p187 p63 }) ({p371 p44 p293 p167 p242 p433 p424 p582 p468 p563 p367 } a51 {p371 p290 p301 p167 p52 p432 p242 p30 p367 }) ({p127 p2 p588 p589 p325 p416 p592 p21 p332 p276 p28 p31 p285 p293 p189 p73 p455 p433 p465 p472 p393 p476 p165 p106 p648 p116 p264 } a20 {p127 p588 p589 p325 p9 p416 p15 p592 p332 p614 p291 p293 p189 p234 p70 p73 p433 p469 p472 p393 p437 p476 p165 p106 p116 p264 p654 }) ({p588 p589 p173 p416 p134 p592 p16 p24 p29 p33 p282 p297 p446 p298 p449 p425 p189 p429 p300 p554 p468 p393 p557 p644 p165 p404 p653 p116 p264 p582 p561 p122 } a31 {p126 p588 p589 p268 p591 p608 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p200 p436 p393 p558 p165 p649 p404 p116 p264 p118 p656 }) ({p589 p28 p373 } a20 {p589 p516 p70 p371 }) ({p247 p301 p227 p28 p203 p584 p555 } a20 {p70 p73 p433 p533 p229 p185 p582 p246 }) ({p588 p189 p589 p71 p371 p416 p592 p16 p432 p393 p165 p106 p261 p485 p423 p116 p264 } a31 {p588 p189 p589 p371 p416 p225 p592 p242 p393 p474 p165 p106 p116 p264 p563 p63 }) ({p240 p524 p331 p275 p564 p28 p436 p94 p569 p498 p642 p377 p445 p296 p117 p118 } a20 {p70 p522 p331 p554 p244 p33 p435 p568 p541 p501 p644 p378 p295 p110 p446 p425 p122 }) ({p40 } a48 {p42 }) ({p615 p28 p124 } a20 {p70 p616 p418 p116 p368 p176 }) ({p38 } a47 {p44 }) ({p90 p16 p182 p201 p123 p360 } a31 {p587 p75 p444 p152 p241 p545 p202 p63 }) ({p535 p129 p588 p589 p416 p271 p539 p353 p592 p330 p20 p28 p39 p359 p288 p187 p451 p189 p73 p197 p467 p639 p393 p477 p103 p165 p106 p650 p407 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p274 p358 p37 p287 p549 p449 p361 p189 p453 p70 p73 p462 p204 p393 p641 p481 p310 p165 p106 p405 p653 p116 p264 p119 p658 p211 }) ({p412 p127 p2 p588 p589 p325 p416 p12 p592 p332 p28 p31 p278 p291 p294 p189 p73 p429 p433 p469 p471 p393 p165 p106 p405 p116 p264 p656 } a20 {p412 p127 p588 p589 p325 p416 p15 p592 p332 p24 p614 p502 p291 p297 p55 p189 p452 p70 p73 p429 p433 p468 p469 p393 p165 p106 p405 p116 p264 }) ({p369 p73 p44 p225 p633 p264 p65 p246 } a51 {p71 p227 p259 p439 p636 p30 p555 }) ({p369 p588 p257 p151 p16 p631 p526 p418 p304 p390 } a31 {p321 p588 p249 p500 p165 p418 p372 p636 p88 p63 }) ({p588 p189 p589 p416 p592 p16 p244 p204 p640 p92 p393 p443 p165 p295 p110 p116 p264 p185 } a31 {p588 p189 p370 p589 p75 p416 p592 p275 p243 p203 p393 p94 p642 p165 p445 p116 p264 p187 p63 }) ({p127 p587 p591 p371 p44 p328 p167 p545 p242 p367 } a51 {p587 p591 p371 p167 p242 p547 p30 p123 p367 }) ({p519 p28 p373 } a20 {p589 p516 p70 p371 p512 }) ({p426 p68 p553 p134 p430 p28 p34 p203 p247 p289 p543 p47 p649 p379 p403 p227 p264 p448 p584 p384 } a20 {p386 p70 p236 p429 p134 p29 p634 p246 p398 p364 p647 p403 p652 p298 p533 p229 p264 p185 p582 p450 p64 p552 }) ({p412 p127 p2 p588 p589 p325 p9 p416 p592 p332 p276 p28 p31 p285 p293 p297 p189 p73 p455 p433 p465 p472 p393 p476 p165 p106 p116 p264 } a20 {p412 p127 p588 p589 p325 p9 p416 p15 p592 p332 p614 p291 p293 p297 p189 p234 p70 p73 p433 p469 p472 p393 p437 p476 p165 p106 p116 p264 }) ({p412 p588 p589 p416 p15 p592 p16 p274 p24 p291 p297 p549 p449 p361 p189 p453 p73 p469 p468 p393 p641 p481 p310 p165 p106 p653 p116 p264 p658 p211 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p276 p278 p39 p359 p288 p63 p189 p73 p455 p197 p467 p393 p253 p643 p165 p106 p482 p407 p116 p264 p656 }) ({p535 p412 p129 p588 p189 p589 p73 p416 p539 p592 p330 p433 p462 p28 p204 p39 p393 p103 p165 p106 p405 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p37 p549 p189 p361 p70 p73 p433 p462 p204 p393 p310 p165 p106 p405 p116 p264 p119 p658 }) ({p454 p478 p28 p534 } a20 {p472 p70 p305 p540 p533 }) ({p604 p143 p44 p208 p438 p349 p62 p624 } a51 {p625 p215 p621 p30 p597 p149 }) ({p588 p189 p589 p416 p240 p592 p197 p275 p28 p568 p393 p94 p642 p165 p445 p296 p116 p264 p118 p187 } a20 {p588 p189 p589 p70 p416 p592 p244 p33 p204 p568 p393 p644 p165 p295 p110 p446 p116 p264 p449 p425 }) ({p498 p16 p106 p333 } a31 {p498 p106 p333 p63 }) ({p588 p589 p416 p538 p328 p592 p16 p137 p37 p55 p450 p189 p452 p236 p73 p462 p393 p398 p165 p106 p652 p533 p116 p264 p407 p119 } a31 {p535 p588 p589 p416 p592 p137 p34 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p103 p165 p106 p116 p264 p407 p655 p584 }) ({p188 p71 p415 p325 p197 p241 p242 p432 p528 p392 p44 p259 p447 p509 p121 } a51 {p188 p71 p415 p325 p196 p241 p242 p432 p30 p528 p392 p259 p449 p509 p121 }) ({p586 p498 p205 p627 p163 p524 p28 } a20 {p573 p541 p70 p99 p501 p522 p631 p333 p583 }) ({p272 p243 p28 p230 } a20 {p92 p248 p70 p443 p292 }) ({p514 p588 p189 p589 p416 p592 p16 p245 p86 p638 p393 p399 p165 p228 p116 p264 p121 } a31 {p588 p189 p589 p416 p592 p460 p393 p399 p576 p165 p116 p264 p570 p367 p63 }) ({p588 p589 p416 p15 p592 p16 p274 p24 p291 p297 p549 p449 p361 p189 p453 p73 p433 p469 p468 p393 p310 p165 p106 p653 p116 p264 p407 p658 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p276 p278 p39 p288 p63 p189 p73 p455 p197 p433 p467 p393 p165 p106 p116 p264 p407 p656 }) ({p127 p588 p189 p589 p452 p325 p73 p416 p592 p16 p332 p433 p393 p293 p165 p294 p106 p116 p264 p407 p584 } a31 {p127 p588 p189 p589 p325 p73 p416 p592 p332 p433 p471 p393 p293 p165 p294 p106 p299 p116 p264 p407 p584 p63 }) ({p429 p301 p16 p555 p64 } a31 {p426 p73 p47 p433 p63 }) ({p586 p352 p627 p610 p490 p417 p216 p601 p28 p337 p88 p251 p163 p344 p312 p381 p181 p263 p408 } a20 {p70 p609 p239 p631 p491 p217 p600 p388 p308 p573 p99 p346 p258 p315 p383 p184 p583 }) ({p576 p522 p44 p106 p460 p244 p570 } a51 {p571 p514 p498 p642 p30 p121 }) ({p14 } a42 {p93 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p246 p374 p393 p541 p644 p165 p116 p264 p582 p425 p64 p552 } a31 {p426 p588 p189 p589 p518 p371 p416 p240 p592 p393 p543 p165 p47 p649 p227 p116 p264 p63 }) ({p191 p608 p240 p524 p630 p275 p200 p564 p335 p28 p466 p436 p94 p569 p498 p642 p377 p402 p445 p296 p117 p118 p266 p351 } a20 {p173 p331 p613 p33 p568 p541 p501 p378 p295 p446 p425 p70 p300 p522 p199 p632 p554 p244 p435 p470 p557 p644 p401 p110 p122 }) ({p68 p553 p370 p329 p28 p636 p602 p203 p247 p249 p543 p107 p47 p227 p169 p262 p318 } a20 {p369 p70 p634 p602 p246 p338 p640 p443 p226 p647 p257 p168 p113 p229 p265 p185 p64 p552 }) ({p412 p392 p188 p616 p13 p16 p116 p368 p176 } a31 {p253 p480 p483 p620 p116 p36 p63 }) ({p588 p589 p416 p592 p16 p331 p612 p593 p495 p376 p568 p443 p226 p295 p506 p223 p189 p522 p628 p199 p244 p435 p640 p250 p401 p105 p110 p113 p116 p265 } a31 {p588 p370 p589 p323 p416 p592 p329 p612 p275 p564 p498 p221 p377 p445 p63 p189 p191 p630 p466 p527 p603 p94 p642 p396 p399 p400 p169 p262 p117 p116 p266 }) ({p586 p414 p627 p610 p524 p601 p28 p337 p498 p377 p163 p344 p312 p181 } a20 {p414 p70 p609 p522 p631 p600 p573 p541 p99 p501 p378 p346 p315 p184 p583 }) ({p454 p328 p16 p119 p534 } a31 {p472 p103 p299 p540 p584 p63 }) ({p90 p28 } a20 {p70 p75 p241 }) ({p588 p518 p542 p504 p646 p165 p28 } a20 {p588 p541 p70 p644 p165 p525 p27 p551 p374 }) ({p369 p189 p416 p520 p16 p631 p246 p374 p541 p99 p257 p168 p116 p64 p552 } a31 {p189 p590 p518 p371 p416 p636 p249 p163 p543 p107 p47 p227 p116 p512 p63 }) ({p188 p604 p44 p208 p245 p62 p528 p624 } a51 {p188 p625 p250 p30 p495 p528 p597 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p468 p33 p393 p569 p644 p165 p297 p446 p298 p116 p264 p582 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p240 p592 p197 p278 p393 p569 p165 p649 p296 p116 p264 p448 p118 p63 }) ({p188 p615 p16 p124 } a31 {p145 p620 p120 p36 p487 p63 }) ({p588 p189 p589 p416 p429 p592 p16 p468 p393 p646 p165 p106 p297 p116 p264 p582 p118 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p592 p240 p197 p27 p278 p393 p474 p165 p106 p116 p264 p118 p63 }) ({p59 } a0 {p8 }) ({p588 p589 p416 p15 p592 p16 p274 p359 p291 p549 p361 p189 p453 p73 p197 p433 p469 p393 p310 p165 p106 p116 p264 p407 p658 } a31 {p2 p129 p588 p589 p132 p416 p539 p592 p330 p276 p39 p359 p288 p63 p189 p73 p455 p197 p433 p467 p393 p165 p106 p116 p264 p407 }) ({p588 p589 p9 p416 p15 p592 p16 p274 p291 p549 p361 p189 p453 p73 p433 p469 p393 p645 p310 p165 p106 p116 p264 p658 p211 } a31 {p2 p129 p588 p589 p7 p132 p416 p539 p592 p330 p276 p39 p359 p288 p63 p189 p73 p455 p433 p467 p393 p165 p106 p648 p116 p264 }) ({p625 p213 p16 p166 p600 p116 p596 p583 p623 p149 } a31 {p627 p490 p216 p166 p208 p312 p381 p181 p116 p408 p63 }) ({p588 p589 p608 p416 p592 p20 p275 p564 p335 p28 p569 p445 p296 p187 p189 p191 p240 p197 p200 p635 p436 p393 p94 p642 p165 p650 p404 p117 p116 p264 p118 p266 p351 } a20 {p588 p589 p173 p416 p592 p17 p331 p613 p33 p568 p295 p446 p449 p425 p189 p70 p300 p199 p554 p244 p435 p637 p204 p393 p557 p644 p165 p403 p110 p653 p116 p264 p122 }) ({p587 p127 p588 p129 p589 p370 p325 p371 p416 p326 p592 p16 p330 p332 p21 p25 p31 p285 p293 p189 p68 p73 p75 p240 p196 p197 p242 p433 p465 p471 p472 p393 p396 p476 p478 p163 p165 p167 p106 p208 p116 p264 p407 p584 p367 } a31 {p587 p127 p588 p129 p589 p370 p325 p371 p416 p326 p592 p330 p332 p21 p25 p31 p285 p293 p63 p189 p68 p73 p75 p240 p196 p197 p242 p433 p465 p471 p472 p393 p396 p476 p478 p163 p165 p167 p106 p208 p116 p264 p407 p584 p367 }) ({p240 p524 p275 p564 p28 p435 p94 p569 p498 p642 p377 p445 p296 p118 } a20 {p70 p522 p554 p244 p33 p435 p568 p541 p501 p644 p378 p295 p110 p446 p425 }) ({p272 p28 p510 p529 } a20 {p530 p70 p443 p292 p409 }) ({p587 p225 p241 p28 p202 p563 } a20 {p90 p71 p70 p432 p182 p360 }) ({p530 p28 p349 p597 } a20 {p530 p604 p70 p596 p349 }) ({p535 p412 p129 p588 p189 p589 p73 p416 p539 p592 p330 p433 p462 p28 p204 p37 p393 p103 p165 p106 p405 p116 p264 } a20 {p412 p588 p189 p361 p589 p70 p73 p416 p538 p328 p592 p433 p462 p204 p37 p393 p310 p165 p106 p549 p405 p116 p264 p119 }) ({p369 p189 p416 p16 p631 p246 p337 p573 p541 p99 p501 p257 p168 p116 p64 p552 } a31 {p586 p189 p371 p416 p524 p636 p337 p249 p163 p543 p107 p47 p227 p116 p512 p63 }) ({p321 p616 p44 p368 p176 p88 } a51 {p171 p619 p304 p621 p30 }) ({p321 p588 p519 p44 p629 p165 p54 p442 p368 p88 p419 } a51 {p589 p574 p151 p167 p631 p304 p30 p509 p496 }) ({p588 p189 p589 p416 p592 p16 p432 p393 p290 p165 p106 p485 p447 p423 p116 p264 } a31 {p588 p189 p589 p591 p416 p196 p592 p242 p393 p474 p165 p106 p116 p264 p424 p563 p63 }) ({p588 p589 p416 p592 p17 p16 p331 p612 p593 p568 p443 p226 p295 p229 p185 p189 p199 p634 p244 p435 p204 p640 p393 p647 p110 p113 p116 p265 } a31 {p588 p370 p589 p416 p592 p329 p612 p275 p564 p445 p187 p63 p68 p189 p553 p191 p75 p203 p247 p603 p393 p94 p642 p650 p169 p262 p117 p116 p266 }) ({p145 p620 p28 p120 p36 p487 } a20 {p188 p70 p143 p438 p116 p62 p624 }) ({p588 p189 p589 p371 p416 p429 p592 p16 p29 p246 p393 p541 p644 p165 p106 p116 p264 p582 p118 p425 p64 p552 } a31 {p426 p588 p189 p589 p371 p416 p592 p240 p393 p543 p165 p47 p106 p649 p227 p116 p264 p118 p63 }) ({p615 p44 p164 p139 p124 } a51 {p617 p153 p30 p342 }) ({p588 p189 p589 p416 p522 p592 p16 p244 p495 p640 p393 p250 p396 p443 p399 p165 p295 p110 p262 p116 p264 } a31 {p588 p189 p370 p589 p416 p592 p275 p393 p94 p498 p642 p396 p399 p165 p445 p262 p116 p264 p63 }) ({p640 p250 p399 p522 p272 p16 p110 p244 p495 } a31 {p370 p94 p498 p642 p399 p292 p63 }) ({p326 p311 p28 } a20 {p70 p141 p332 }) ({p590 p518 p574 p542 p504 p163 p151 p28 } a20 {p588 p541 p70 p99 p520 p165 p525 p551 p374 }) ({p571 p642 p240 p197 p28 p187 } a20 {p70 p644 p106 p244 p449 p425 p204 }) ({p588 p189 p589 p73 p416 p538 p328 p592 p16 p204 p92 p393 p165 p106 p533 p116 p264 p119 p185 } a31 {p535 p588 p189 p589 p73 p416 p75 p592 p243 p203 p393 p103 p165 p106 p116 p264 p584 p187 p63 }) ({p247 p68 p370 p249 p47 p168 p227 p262 p28 p636 p203 } a20 {p369 p640 p70 p443 p226 p257 p168 p634 p229 p185 p246 p64 }) ({p412 p127 p588 p189 p589 p325 p73 p416 p429 p592 p332 p24 p433 p28 p278 p471 p393 p165 p294 p106 p405 p116 p264 } a20 {p412 p127 p588 p189 p589 p452 p70 p325 p73 p416 p429 p592 p332 p24 p433 p468 p393 p165 p106 p297 p55 p405 p116 p264 }) ({p588 p189 p589 p73 p416 p592 p16 p433 p468 p393 p141 p165 p106 p297 p116 p264 p449 } a31 {p588 p189 p589 p591 p132 p73 p326 p416 p592 p197 p433 p278 p393 p165 p106 p116 p264 p63 }) ({p588 p589 p416 p592 p20 p275 p613 p564 p335 p28 p569 p445 p296 p187 p189 p191 p240 p197 p200 p436 p393 p94 p642 p165 p650 p117 p116 p264 p118 p266 } a20 {p588 p589 p173 p416 p592 p17 p331 p613 p33 p568 p295 p446 p449 p425 p189 p70 p300 p199 p554 p244 p435 p204 p393 p644 p165 p110 p653 p116 p264 p122 }) ({p588 p589 p416 p134 p592 p16 p24 p29 p33 p282 p297 p446 p298 p449 p425 p189 p429 p300 p200 p554 p468 p393 p644 p165 p653 p116 p264 p582 p122 } a31 {p126 p588 p589 p268 p591 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p200 p436 p393 p165 p649 p116 p264 p118 p656 }) ({p71 p519 p629 p16 p261 p259 p54 p373 p442 } a31 {p589 p516 p371 p225 p167 p633 p65 p512 p63 }) ({p625 p189 p250 p399 p522 p16 p600 p116 p596 p495 p583 } a31 {p189 p498 p627 p399 p208 p312 p181 p116 p63 }) ({p588 p589 p270 p416 p538 p328 p592 p17 p16 p358 p37 p287 p51 p546 p229 p185 p450 p189 p236 p462 p634 p637 p204 p393 p475 p398 p364 p165 p647 p106 p652 p405 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p271 p353 p592 p137 p34 p286 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p639 p393 p477 p103 p165 p106 p650 p404 p116 p264 p655 p584 p562 }) ({p16 p153 p183 p175 p120 } a31 {p189 p178 p164 p120 p158 p63 }) ({p4 } a21 {p100 }) ({p640 p272 p16 p110 p244 p185 p230 p204 } a31 {p248 p370 p94 p642 p75 p292 p203 p187 p63 }) ({p189 p588 p589 p416 p522 p592 p16 p329 p244 p435 p495 p640 p376 p568 p250 p443 p226 p295 p110 p113 p506 p116 p223 } a31 {p189 p588 p370 p589 p323 p416 p592 p329 p275 p564 p527 p94 p498 p642 p396 p377 p399 p445 p169 p262 p117 p116 p63 }) ({p127 p588 p189 p589 p325 p73 p416 p592 p16 p332 p305 p433 p393 p293 p165 p106 p116 p264 p584 } a31 {p127 p588 p189 p589 p325 p73 p416 p592 p332 p433 p393 p478 p293 p165 p106 p299 p116 p264 p584 p63 }) ({p188 p370 p415 p241 p203 p86 p528 p638 p392 p44 p292 p259 p182 p228 p509 } a51 {p188 p415 p272 p241 p202 p30 p528 p392 p640 p259 p185 p509 p367 }) ({p66 } a19 {p4 }) ({p587 p472 p44 p303 } a51 {p587 p476 p454 p30 }) ({p190 p178 p166 p208 p145 p28 p622 p120 p158 } a20 {p625 p70 p213 p343 p143 p154 p116 p596 p183 p210 p623 }) ({p361 p588 p189 p589 p73 p416 p592 p16 p20 p433 p468 p393 p310 p165 p106 p297 p549 p116 p264 p407 p449 } a31 {p129 p588 p189 p589 p591 p132 p73 p416 p539 p592 p330 p197 p20 p433 p278 p393 p165 p106 p116 p264 p407 p63 }) ({p16 p303 p123 p360 } a31 {p587 p476 p545 p299 p63 }) ({p68 p370 p553 p329 p611 p28 p636 p203 p247 p603 p249 p543 p107 p47 p227 p169 p262 p318 p186 } a20 {p369 p70 p611 p593 p634 p602 p246 p338 p640 p443 p226 p647 p257 p168 p113 p229 p265 p185 p64 p552 }) ({p571 p498 p642 p240 p524 p28 } a20 {p541 p70 p501 p644 p522 p106 p244 p425 }) ({p2 p588 p321 p589 p325 p9 p13 p592 p332 p540 p28 p31 p183 p551 p64 p188 p189 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p165 p583 p585 } a20 {p588 p321 p589 p325 p9 p13 p15 p592 p332 p540 p183 p551 p64 p188 p189 p70 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p614 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p165 p583 p585 }) ({p127 p588 p189 p452 p589 p325 p73 p416 p592 p16 p332 p614 p433 p393 p285 p437 p502 p165 p106 p55 p116 p264 } a31 {p127 p588 p189 p589 p325 p73 p416 p12 p592 p332 p433 p465 p31 p471 p393 p474 p285 p165 p294 p106 p299 p116 p264 p63 }) ({p588 p189 p589 p416 p592 p16 p244 p204 p640 p393 p443 p165 p295 p110 p262 p229 p116 p264 p185 } a31 {p588 p189 p370 p589 p75 p416 p592 p275 p203 p247 p393 p94 p642 p165 p445 p262 p116 p264 p187 p63 }) ({p56 } a54 {p59 }) ({p480 p633 p28 p528 p65 p367 } a20 {p392 p70 p259 p228 p406 p245 p86 p638 }) ({p588 p189 p589 p325 p73 p416 p592 p433 p28 p201 p393 p165 p106 p545 p116 p264 } a20 {p588 p189 p589 p70 p73 p416 p592 p433 p201 p393 p140 p165 p106 p116 p264 p123 }) ({p588 p189 p589 p416 p240 p592 p197 p28 p393 p94 p642 p165 p295 p116 p264 p118 p187 } a20 {p588 p189 p589 p70 p416 p592 p244 p33 p204 p393 p644 p165 p110 p295 p116 p264 p449 p425 }) ({p44 p240 p525 p261 p27 p485 p423 p551 p373 } a51 {p516 p542 p504 p646 p242 p30 p425 }) ({p535 p129 p588 p589 p7 p416 p271 p539 p353 p592 p330 p28 p39 p359 p288 p451 p189 p73 p467 p393 p253 p643 p103 p165 p106 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p274 p358 p37 p287 p549 p361 p189 p453 p70 p73 p462 p393 p645 p310 p165 p106 p116 p264 p119 p658 p211 }) ({p304 p28 p621 } a20 {p321 p70 p308 p623 }) ({p429 p16 p301 p52 p297 } a31 {p426 p293 p433 p278 p63 }) ({p43 } a15 {p61 }) ({p61 } a18 {p28 }) ({p588 p589 p416 p592 p20 p275 p564 p335 p28 p569 p445 p296 p187 p189 p240 p197 p199 p436 p393 p94 p642 p165 p650 p117 p116 p264 p118 p266 } a20 {p588 p589 p416 p592 p17 p331 p33 p568 p295 p446 p449 p425 p189 p70 p300 p199 p554 p244 p435 p204 p393 p644 p165 p110 p653 p116 p264 p122 }) ({p454 p16 p584 } a31 {p472 p299 p584 p63 }) ({p42 } a50 {p96 }) ({p370 p500 p439 p334 p28 p636 p527 } a20 {p369 p640 p393 p250 p70 p443 p506 p526 p264 p495 }) ({p16 p311 p297 p449 p468 } a31 {p591 p132 p197 p332 p278 p63 }) ({p126 p268 p137 p28 p34 p286 p289 p543 p47 p379 p227 p448 p384 p426 p68 p553 p430 p635 p203 p247 p473 p558 p649 p404 p264 p584 p562 } a20 {p270 p134 p29 p282 p51 p546 p298 p229 p185 p450 p64 p552 p386 p70 p236 p429 p634 p637 p246 p475 p398 p364 p647 p403 p652 p533 p264 p582 p561 }) ({p535 p129 p588 p589 p416 p539 p592 p330 p20 p28 p39 p287 p187 p451 p189 p73 p197 p433 p467 p393 p103 p165 p106 p650 p405 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p37 p287 p549 p449 p361 p189 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p653 p116 p264 p119 p658 }) ({p412 p415 p143 p13 p16 p438 p116 p62 p624 p585 } a31 {p626 p253 p483 p463 p116 p363 p63 }) ({p588 p321 p589 p325 p9 p13 p592 p332 p540 p28 p183 p551 p64 p188 p189 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p646 p165 p583 p585 } a20 {p588 p321 p589 p325 p9 p13 p592 p332 p27 p540 p183 p551 p64 p188 p189 p70 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p644 p165 p583 p585 }) ({p45 } a23 {p48 }) ({p190 p396 p253 p500 p178 p208 p483 p372 p28 p622 p527 } a20 {p412 p625 p70 p13 p526 p495 p390 p376 p250 p343 p506 p596 p183 p210 }) ({p426 p588 p189 p589 p73 p416 p592 p430 p28 p34 p278 p471 p393 p165 p294 p106 p649 p298 p405 p116 p264 p584 } a20 {p588 p189 p452 p589 p70 p73 p416 p429 p592 p29 p468 p393 p398 p165 p106 p297 p652 p55 p298 p405 p533 p116 p264 p582 }) ({p530 p604 p44 p208 p406 p245 p62 p624 } a51 {p625 p250 p30 p495 p510 p528 p597 }) ({p535 p412 p129 p588 p589 p416 p271 p539 p592 p330 p28 p358 p39 p288 p451 p189 p73 p433 p467 p204 p393 p103 p165 p106 p405 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p274 p358 p37 p287 p549 p189 p361 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p116 p264 p119 p658 }) ({p126 p268 p137 p28 p34 p286 p289 p543 p47 p379 p227 p448 p384 p426 p68 p553 p430 p635 p203 p247 p473 p649 p404 p264 p561 p584 } a20 {p270 p134 p29 p282 p51 p298 p229 p185 p450 p64 p552 p386 p70 p236 p429 p634 p637 p246 p475 p398 p364 p647 p403 p652 p533 p264 p582 p561 }) ({p588 p589 p270 p416 p538 p328 p592 p17 p16 p37 p287 p51 p229 p185 p450 p189 p236 p462 p634 p204 p393 p398 p364 p165 p647 p106 p404 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p271 p592 p137 p34 p286 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p404 p116 p264 p655 p584 }) ({p519 p28 p419 } a20 {p589 p70 p418 p509 p512 }) ({p530 p370 p44 p292 p228 p406 p245 p86 p638 } a51 {p640 p250 p272 p30 p495 p510 p528 p367 }) ({p588 p542 p646 p165 p525 p28 } a20 {p588 p541 p70 p644 p165 p525 p27 p551 }) ({p243 p28 p534 p230 } a20 {p92 p248 p70 p540 p533 }) ({p426 p386 p68 p553 p430 p28 p34 p203 p247 p543 p47 p649 p227 p298 p264 p584 } a20 {p386 p70 p429 p29 p634 p246 p398 p647 p652 p298 p533 p229 p264 p185 p582 p64 p552 }) ({p2 p488 p588 p589 p7 p416 p12 p592 p276 p28 p31 p278 p285 p294 p189 p73 p455 p465 p471 p393 p253 p643 p165 p106 p482 p116 p264 p656 } a20 {p412 p588 p589 p416 p15 p592 p24 p614 p502 p291 p297 p55 p340 p189 p452 p234 p70 p73 p469 p468 p393 p437 p645 p165 p106 p116 p264 }) ({p46 } a32 {p49 }) ({p320 p420 p125 p16 p619 p526 p308 p183 p390 p210 p623 } a31 {p500 p309 p178 p418 p381 p372 p116 p622 p88 p63 }) ({p190 p178 p166 p208 p147 p28 p622 p120 p158 } a20 {p625 p70 p213 p343 p154 p116 p596 p183 p210 p623 p149 }) ({p588 p542 p429 p504 p646 p165 p16 p582 p425 p246 p64 } a31 {p426 p588 p474 p371 p240 p165 p525 p47 p227 p27 p551 p63 }) ({p568 p94 p498 p642 p240 p524 p445 p275 p296 p28 p118 } a20 {p568 p70 p541 p501 p644 p522 p295 p110 p446 p244 p33 p425 }) ({p48 } a24 {p61 }) ({p587 p16 p303 } a31 {p587 p476 p299 p63 }) ({p516 p576 p242 p460 p28 p570 } a20 {p514 p70 p261 p485 p423 p121 p373 }) ({p330 p547 p28 p204 } a20 {p127 p70 p328 p310 p204 }) ({p140 p28 } a20 {p70 p325 p132 }) ({p412 p625 p13 p215 p16 p621 p583 p597 p149 } a31 {p604 p253 p627 p490 p208 p483 p312 p408 p349 p63 }) ({p535 p129 p588 p589 p416 p539 p592 p330 p20 p28 p39 p187 p189 p73 p197 p433 p462 p393 p103 p165 p106 p650 p405 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p37 p549 p449 p361 p189 p70 p73 p433 p462 p204 p393 p310 p165 p106 p405 p653 p116 p264 p119 p658 }) ({p126 p588 p589 p416 p12 p592 p137 p28 p34 p278 p282 p289 p294 p448 p426 p189 p73 p430 p471 p393 p165 p106 p649 p405 p116 p264 p656 p584 } a20 {p588 p589 p416 p134 p592 p24 p29 p282 p502 p297 p51 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p398 p165 p106 p652 p405 p533 p116 p264 p582 }) ({p53 } a52 {p91 }) ({p301 p52 p28 p584 p471 } a20 {p452 p70 p293 p433 p533 p582 p468 }) ({p16 p197 p311 } a31 {p132 p197 p332 p63 }) ({p588 p589 p416 p592 p17 p16 p331 p568 p443 p226 p295 p229 p185 p189 p634 p244 p435 p204 p603 p640 p393 p647 p110 p113 p116 p265 } a31 {p588 p370 p589 p416 p592 p329 p275 p564 p445 p187 p63 p68 p189 p553 p75 p203 p247 p603 p393 p94 p642 p650 p169 p262 p117 p116 p266 }) ({p588 p589 p416 p592 p20 p331 p275 p564 p28 p569 p445 p296 p187 p189 p240 p197 p436 p393 p94 p642 p165 p650 p117 p116 p264 p118 } a20 {p588 p589 p416 p592 p17 p331 p33 p568 p295 p446 p449 p425 p189 p70 p554 p244 p435 p204 p393 p644 p165 p110 p653 p116 p264 p122 }) ({p79 } a6 {p40 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p468 p393 p644 p165 p106 p297 p116 p264 p582 p118 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p592 p240 p197 p278 p393 p165 p106 p649 p116 p264 p118 p63 }) ({p127 p588 p189 p589 p234 p325 p73 p416 p592 p16 p332 p21 p614 p433 p471 p472 p393 p437 p476 p293 p165 p106 p116 p264 } a31 {p127 p588 p589 p325 p416 p592 p332 p21 p31 p285 p293 p63 p189 p73 p433 p465 p471 p472 p393 p474 p476 p165 p106 p116 p264 }) ({p412 p588 p589 p270 p416 p538 p328 p592 p16 p358 p37 p287 p502 p51 p546 p55 p450 p189 p452 p236 p73 p462 p393 p641 p398 p165 p106 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p12 p271 p353 p592 p137 p34 p286 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p253 p643 p103 p165 p106 p407 p116 p264 p655 p584 p562 }) ({p188 p71 p415 p241 p432 p540 p203 p528 p392 p44 p259 p182 p360 p584 p509 p121 } a51 {p587 p188 p71 p415 p241 p432 p202 p30 p528 p392 p259 p185 p534 p509 p121 }) ({p588 p589 p416 p538 p328 p592 p16 p37 p286 p502 p51 p55 p450 p189 p452 p236 p73 p462 p393 p398 p165 p106 p652 p533 p116 p264 p407 p119 } a31 {p535 p588 p589 p416 p12 p592 p137 p34 p286 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p103 p165 p106 p116 p264 p407 p655 p584 }) ({p416 p490 p16 } a31 {p416 p490 p63 }) ({p426 p386 p68 p553 p430 p28 p34 p203 p247 p289 p543 p47 p649 p227 p264 p448 p584 } a20 {p386 p70 p236 p429 p29 p634 p246 p398 p647 p652 p298 p533 p229 p264 p185 p582 p450 p64 p552 }) ({p625 p250 p399 p522 p16 p495 p583 p597 } a31 {p498 p604 p627 p399 p208 p312 p63 }) ({p205 p354 p16 } a31 {p416 p312 p333 p408 p63 }) ({p369 p320 p414 p189 p16 p631 p491 p217 p526 p388 p602 p308 p390 p338 p573 p99 p222 p257 p168 p315 p116 p263 p383 p184 } a31 {p586 p352 p189 p417 p418 p372 p601 p218 p636 p337 p88 p249 p500 p309 p163 p107 p116 p263 p318 p385 p186 p512 p63 }) ({p189 p393 p500 p16 } a31 {p189 p393 p500 p63 }) ({p61 } a17 {p66 }) ({p479 p80 p120 } a7 {p188 p615 p124 p87 }) ({p320 p171 p16 p619 p526 p116 p308 p183 p390 p210 p623 } a31 {p500 p309 p178 p381 p372 p116 p622 p88 p63 }) ({p588 p189 p129 p589 p73 p416 p592 p16 p433 p468 p393 p310 p165 p106 p297 p116 p264 p407 p449 } a31 {p588 p189 p129 p589 p591 p132 p73 p416 p592 p330 p197 p433 p278 p393 p165 p106 p116 p264 p407 p63 }) ({p472 p44 p303 p540 p360 p584 } a51 {p587 p476 p454 p30 p534 }) }, initialMarking = {p369 p370 p7 p9 p371 p12 p13 p15 p17 p18 p20 p21 p22 p24 p25 p27 p29 p31 p34 p37 p39 p41 p64 p384 p386 p68 p71 p73 p75 p390 p88 p392 p393 p396 p399 p400 p401 p104 p106 p402 p110 p403 p112 p404 p405 p116 p407 p118 p119 p121 p123 p127 p412 p129 p414 p132 p415 p416 p134 p417 p137 p418 p139 p429 p430 p432 p433 p435 p436 p163 p164 p165 p166 p167 p168 p169 p183 p188 p189 p190 p196 p197 p199 p200 p462 p201 p465 p202 p467 p203 p468 p469 p204 p471 p472 p474 p476 p478 p208 p210 p488 p221 p222 p509 p512 p514 p516 p518 p522 p524 p525 p526 p527 p528 p529 p530 p538 p539 p540 p551 p552 p553 p240 p241 p242 p243 p244 p246 p247 p248 p257 p258 p259 p262 p263 p264 p561 p562 p282 p568 p285 p569 p286 p287 p288 p289 p290 p291 p292 p293 p294 p295 p296 p297 p298 p299 p582 p583 p584 p585 p320 p586 p587 p321 p588 p589 p590 p591 p323 p325 p326 p328 p592 p329 p330 p331 p332 p333 p335 p337 p338 p600 p601 p602 p603 p604 p349 p352 p608 p609 p610 p611 p612 p613 p358 p359 p367 }, acceptingPlaces = {p91 } ); 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 p623 p624 p625 p626 p627 p628 p629 p630 p631 p632 p633 p634 p635 p636 p637 p638 p639 p640 p641 p642 p643 p644 p645 p646 p647 p648 p649 p650 p651 p652 p653 p654 p655 p656 p657 p658 }, transitions = { ({p535 p412 p129 p588 p589 p416 p271 p539 p592 p353 p330 p28 p39 p359 p288 p451 p189 p73 p433 p467 p204 p393 p103 p165 p106 p405 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p274 p358 p37 p287 p549 p361 p189 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p116 p264 p119 p658 p211 }) ({p588 p589 p270 p416 p538 p328 p592 p16 p358 p37 p287 p502 p51 p546 p55 p450 p189 p452 p236 p73 p462 p393 p398 p165 p106 p652 p533 p116 p264 p407 p119 } a31 {p535 p588 p589 p416 p12 p271 p353 p592 p137 p34 p286 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p103 p165 p106 p116 p264 p407 p655 p584 p562 }) ({p90 p248 p370 p44 p292 p182 p228 p203 p86 p638 } a51 {p640 p272 p241 p185 p202 p30 p230 p367 }) ({p8 p112 } a39 {p11 p114 p84 }) ({p70 } a22 {p45 }) ({p127 p588 p189 p452 p589 p325 p73 p416 p12 p592 p16 p332 p433 p393 p165 p106 p55 p116 p264 p407 p584 } a31 {p127 p588 p189 p589 p325 p73 p416 p12 p592 p332 p433 p471 p393 p165 p294 p106 p299 p116 p264 p407 p584 p63 }) ({p127 p588 p488 p189 p452 p589 p234 p325 p73 p416 p592 p16 p332 p614 p433 p393 p437 p502 p165 p106 p55 p116 p264 } a31 {p127 p588 p488 p589 p325 p416 p12 p592 p332 p31 p285 p294 p299 p63 p189 p73 p433 p465 p471 p393 p474 p165 p106 p116 p264 }) ({p412 p588 p189 p129 p589 p73 p416 p538 p592 p330 p433 p28 p204 p393 p103 p165 p106 p405 p116 p264 } a20 {p412 p588 p189 p589 p70 p73 p416 p538 p328 p592 p433 p204 p393 p310 p165 p106 p549 p405 p116 p264 p119 }) ({p426 p588 p189 p589 p73 p416 p592 p430 p28 p29 p278 p471 p393 p165 p294 p106 p298 p405 p116 p264 p584 } a20 {p588 p189 p452 p589 p70 p73 p416 p429 p592 p29 p468 p393 p398 p165 p106 p297 p55 p298 p405 p533 p116 p264 p582 }) ({p127 p588 p189 p589 p325 p73 p416 p13 p592 p16 p332 p433 p472 p393 p285 p476 p293 p165 p106 p116 p264 p654 } a31 {p127 p588 p189 p589 p325 p73 p416 p592 p21 p332 p433 p472 p393 p285 p476 p293 p165 p106 p483 p116 p264 p63 }) ({p640 p250 p522 p272 p16 p110 p244 p495 p510 } a31 {p530 p94 p498 p370 p642 p399 p292 p63 }) ({p588 p189 p589 p416 p240 p592 p197 p275 p564 p28 p435 p393 p94 p569 p642 p165 p445 p296 p116 p264 p118 p187 } a20 {p588 p189 p589 p70 p416 p592 p554 p244 p33 p435 p204 p568 p393 p644 p165 p295 p110 p446 p116 p264 p449 p425 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p468 p33 p393 p644 p165 p297 p296 p116 p264 p582 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p240 p592 p197 p278 p393 p165 p649 p296 p116 p264 p118 p63 }) ({p588 p163 p151 p304 p28 } a20 {p321 p588 p70 p99 p165 p308 }) ({p68 p370 p553 p329 p612 p630 p28 p636 p203 p247 p603 p249 p543 p47 p107 p402 p379 p227 p169 p348 p262 p318 p384 p186 } a20 {p369 p611 p593 p338 p443 p226 p229 p185 p64 p552 p386 p70 p632 p634 p602 p246 p640 p364 p401 p647 p257 p168 p113 p265 p350 }) ({p625 p189 p250 p522 p16 p600 p116 p596 p409 p495 p583 } a31 {p189 p498 p627 p399 p208 p312 p181 p116 p529 p63 }) ({p369 p574 p542 p504 p257 p151 p16 p631 p246 p64 } a31 {p588 p249 p371 p165 p525 p47 p227 p636 p551 p512 p63 }) ({p125 p28 } a20 {p125 p70 }) ({p28 p406 } a20 {p70 p399 p528 }) ({p73 p44 p225 p433 p582 p563 p246 } a51 {p71 p301 p432 p227 p30 p555 }) ({p514 p16 p228 p406 p245 p86 p121 p638 } a31 {p399 p576 p460 p528 p570 p367 p63 }) ({p588 p589 p608 p173 p416 p134 p592 p16 p29 p33 p282 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p300 p632 p554 p470 p246 p393 p644 p165 p403 p116 p264 p582 p122 } a31 {p126 p588 p589 p268 p608 p371 p416 p592 p335 p569 p543 p47 p379 p296 p227 p448 p63 p426 p189 p240 p524 p200 p635 p436 p473 p393 p165 p402 p649 p116 p264 p118 }) ({p588 p189 p589 p553 p416 p538 p328 p592 p16 p634 p204 p393 p398 p165 p106 p533 p229 p116 p264 p119 p185 } a31 {p535 p588 p68 p189 p589 p553 p75 p416 p592 p430 p203 p247 p393 p103 p165 p106 p116 p264 p584 p187 p63 }) ({p514 p189 p16 p116 p245 p62 p528 p624 p585 } a31 {p189 p626 p460 p116 p528 p363 p63 }) ({p16 p460 } a31 {p460 p63 }) ({p588 p189 p589 p325 p73 p416 p592 p196 p152 p433 p28 p393 p165 p444 p106 p545 p116 p264 } a20 {p588 p189 p589 p70 p73 p416 p592 p433 p201 p393 p140 p165 p106 p447 p116 p264 p123 }) ({p587 p588 p189 p589 p73 p416 p592 p28 p393 p476 p165 p106 p116 p264 p424 p563 } a20 {p588 p189 p589 p70 p73 p416 p592 p303 p432 p393 p290 p165 p106 p116 p264 p360 }) ({p626 p416 p44 p333 p463 p583 p363 } a51 {p205 p415 p627 p490 p354 p30 p585 }) ({p588 p189 p452 p589 p73 p416 p538 p328 p592 p16 p37 p393 p398 p289 p165 p106 p652 p55 p533 p116 p264 p407 p119 } a31 {p535 p588 p189 p589 p73 p416 p592 p430 p34 p471 p393 p289 p103 p165 p294 p106 p299 p116 p264 p407 p655 p584 p63 }) ({p588 p189 p589 p73 p325 p416 p592 p16 p242 p433 p393 p290 p165 p106 p447 p116 p264 } a31 {p588 p189 p589 p591 p73 p325 p416 p592 p196 p242 p433 p393 p165 p106 p116 p264 p424 p63 }) ({p588 p189 p589 p416 p592 p16 p634 p244 p204 p640 p568 p393 p443 p226 p165 p295 p110 p169 p229 p116 p185 } a31 {p68 p588 p189 p370 p589 p75 p416 p592 p275 p564 p203 p247 p393 p94 p642 p165 p445 p169 p262 p116 p187 p63 }) ({p89 } a29 {p16 }) ({p84 } a14 {p43 }) ({p16 p463 } a31 {p463 p63 }) ({p588 p189 p589 p416 p592 p16 p241 p201 p86 p638 p393 p165 p182 p228 p116 p264 p121 } a31 {p588 p189 p589 p416 p592 p152 p241 p202 p393 p576 p165 p444 p116 p264 p570 p367 p63 }) ({p104 p35 } a37 {p38 p76 p108 }) ({p588 p589 p608 p416 p592 p20 p275 p564 p335 p28 p569 p445 p296 p187 p189 p191 p240 p197 p200 p436 p393 p94 p642 p165 p403 p650 p117 p116 p264 p118 p266 p351 } a20 {p588 p589 p173 p416 p592 p17 p331 p613 p33 p568 p295 p446 p449 p425 p189 p70 p300 p199 p554 p244 p435 p204 p393 p557 p644 p165 p110 p403 p653 p116 p264 p122 }) ({p94 p498 p642 p240 p524 p295 p28 p118 } a20 {p541 p70 p501 p644 p522 p110 p295 p244 p425 p33 }) ({p412 p127 p588 p589 p325 p415 p416 p592 p332 p28 p293 p297 p183 p64 p188 p189 p73 p522 p429 p525 p433 p390 p204 p392 p472 p530 p393 p248 p476 p165 p257 p106 p110 p483 p405 p116 p264 p119 p583 p585 } a20 {p412 p127 p588 p589 p325 p415 p416 p13 p592 p332 p293 p297 p183 p64 p188 p189 p70 p73 p522 p429 p525 p433 p390 p204 p392 p472 p530 p393 p248 p476 p165 p257 p106 p110 p405 p116 p264 p119 p583 p585 }) ({p188 p415 p629 p528 p442 p392 p44 p165 p261 p54 p551 p509 p512 } a51 {p188 p392 p415 p542 p151 p167 p631 p30 p528 p509 p512 }) ({p189 p588 p589 p416 p629 p592 p16 p418 p442 p392 p259 p54 p116 p368 } a31 {p189 p588 p589 p416 p592 p480 p167 p418 p633 p116 p65 p63 }) ({p63 } a33 {p82 }) ({p626 p522 p44 p333 p460 p583 p363 } a51 {p514 p498 p205 p627 p30 p585 }) ({p73 p16 p227 p264 } a31 {p73 p227 p264 p63 }) ({p589 p626 p516 p167 p460 p28 p363 } a20 {p514 p70 p519 p629 p261 p54 p373 p442 p585 }) ({p588 p189 p589 p73 p416 p75 p592 p16 p433 p201 p393 p165 p106 p182 p116 p264 p123 p360 } a31 {p587 p588 p189 p589 p73 p416 p75 p592 p152 p433 p202 p393 p165 p444 p106 p545 p116 p264 p63 }) ({p127 p588 p189 p589 p73 p416 p592 p16 p197 p433 p393 p141 p165 p106 p116 p264 } a31 {p127 p588 p189 p589 p132 p73 p326 p416 p592 p197 p433 p393 p165 p106 p116 p264 p63 }) ({p140 p290 p16 p447 } a31 {p591 p132 p325 p196 p424 p63 }) ({p586 p253 p205 p627 p163 p490 p354 p483 p28 p88 } a20 {p412 p573 p70 p99 p416 p13 p631 p491 p333 p308 p583 }) ({p412 p588 p589 p416 p15 p592 p16 p274 p24 p359 p291 p297 p549 p449 p361 p189 p453 p73 p469 p468 p393 p641 p481 p310 p165 p106 p653 p116 p264 p658 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p276 p278 p39 p359 p288 p63 p189 p73 p455 p197 p467 p393 p253 p643 p165 p106 p482 p407 p116 p264 p656 }) ({p369 p416 p611 p16 p338 p541 p501 p378 p184 p64 p552 p386 p189 p628 p631 p602 p246 p573 p99 p401 p257 p346 p168 p315 p116 } a31 {p586 p189 p371 p416 p610 p524 p630 p601 p636 p337 p249 p400 p163 p543 p47 p107 p379 p227 p348 p116 p318 p186 p512 p63 }) ({p588 p542 p163 p151 p28 } a20 {p588 p541 p70 p99 p165 p551 }) ({p189 p370 p323 p372 p28 p636 p527 p338 p249 p396 p500 p309 p107 p169 p262 } a20 {p369 p320 p189 p70 p526 p495 p390 p338 p640 p376 p250 p443 p226 p257 p168 p113 p506 p223 }) ({p588 p589 p416 p592 p16 p331 p495 p376 p568 p221 p443 p226 p295 p506 p223 p189 p522 p244 p435 p640 p250 p110 p113 p116 p265 } a31 {p588 p370 p589 p323 p416 p592 p329 p275 p564 p498 p221 p377 p445 p63 p189 p527 p94 p642 p396 p399 p169 p262 p117 p116 p266 }) ({p588 p589 p608 p173 p416 p134 p592 p16 p24 p29 p33 p282 p297 p446 p298 p449 p425 p189 p429 p300 p554 p468 p393 p644 p165 p653 p116 p264 p582 p122 } a31 {p126 p588 p589 p268 p591 p608 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p200 p436 p393 p165 p649 p116 p264 p118 p656 }) ({p369 p574 p257 p151 p16 p631 p526 p304 p390 p496 } a31 {p321 p588 p249 p500 p165 p418 p372 p636 p88 p512 p63 }) ({p140 p196 p16 } a31 {p132 p325 p196 p63 }) ({p588 p189 p452 p589 p73 p416 p538 p328 p592 p16 p34 p393 p398 p289 p165 p106 p55 p533 p116 p264 p407 p119 } a31 {p535 p588 p189 p589 p73 p416 p592 p430 p34 p471 p393 p289 p103 p165 p294 p106 p299 p116 p264 p407 p584 p63 }) ({p126 p588 p589 p268 p416 p12 p592 p137 p28 p34 p278 p286 p289 p294 p448 p426 p189 p73 p430 p471 p639 p393 p558 p165 p106 p649 p407 p116 p264 p656 p584 p562 } a20 {p588 p589 p270 p416 p134 p592 p24 p29 p282 p502 p297 p51 p546 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p641 p398 p165 p106 p652 p405 p533 p116 p264 p582 p561 }) ({p16 p257 p439 p555 p64 } a31 {p249 p73 p47 p264 p63 }) ({p83 } a8 {p79 }) ({p85 } a30 {p46 }) ({p369 p320 p189 p416 p417 p16 p631 p491 p526 p308 p390 p573 p99 p257 p168 p116 } a31 {p586 p189 p416 p417 p418 p372 p636 p88 p249 p500 p309 p163 p107 p116 p512 p63 }) ({p588 p189 p68 p589 p73 p416 p75 p538 p328 p592 p16 p433 p203 p393 p165 p106 p299 p533 p116 p264 p407 p119 } a31 {p535 p588 p189 p68 p589 p73 p416 p75 p592 p433 p203 p393 p103 p165 p106 p299 p116 p264 p407 p584 p63 }) ({p188 p587 p591 p71 p415 p325 p371 p241 p242 p432 p528 p392 p476 p44 p290 p167 p259 p509 p121 p123 p367 } a51 {p188 p587 p591 p71 p415 p325 p371 p241 p242 p432 p30 p528 p392 p476 p290 p167 p259 p509 p121 p123 p367 }) ({p625 p189 p190 p250 p522 p16 p506 p600 p116 p596 p495 p583 } a31 {p189 p190 p498 p627 p399 p208 p312 p181 p116 p527 p63 }) ({p588 p371 p542 p429 p646 p165 p16 p582 p425 p246 p64 } a31 {p426 p588 p474 p371 p240 p165 p47 p227 p27 p551 p63 }) ({p588 p189 p589 p73 p416 p538 p328 p592 p16 p305 p433 p393 p165 p106 p533 p116 p264 p119 } a31 {p535 p588 p189 p589 p73 p416 p592 p433 p393 p478 p103 p165 p106 p299 p116 p264 p584 p63 }) ({p588 p189 p129 p589 p132 p73 p416 p592 p240 p16 p433 p468 p393 p165 p106 p297 p116 p264 p407 p449 } a31 {p588 p189 p129 p589 p591 p132 p73 p416 p592 p240 p197 p433 p278 p393 p165 p106 p116 p264 p407 p63 }) ({p127 p588 p189 p589 p234 p325 p73 p416 p13 p592 p16 p332 p614 p433 p472 p393 p437 p476 p293 p165 p106 p116 p264 p654 } a31 {p127 p588 p589 p325 p416 p592 p21 p332 p31 p285 p293 p63 p189 p73 p433 p465 p472 p393 p474 p476 p165 p106 p483 p116 p264 }) ({p225 p241 p633 p28 p202 p65 p367 } a20 {p90 p71 p70 p259 p182 p228 p86 p638 }) ({p127 p588 p189 p452 p589 p325 p73 p416 p592 p16 p332 p614 p433 p465 p393 p285 p502 p165 p106 p55 p116 p264 p407 p584 } a31 {p127 p588 p589 p325 p416 p12 p592 p332 p31 p285 p294 p299 p63 p189 p73 p433 p465 p471 p393 p474 p165 p106 p116 p264 p407 p584 }) ({p16 p334 p183 p390 p175 } a31 {p393 p189 p178 p372 p63 }) ({p96 } a11 {p56 }) ({p16 p52 p297 p433 } a31 {p293 p433 p278 p63 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p33 p246 p393 p569 p541 p501 p644 p165 p446 p298 p116 p264 p582 p425 p64 p552 } a31 {p426 p588 p189 p589 p371 p416 p240 p592 p524 p393 p569 p543 p165 p47 p649 p296 p227 p116 p264 p448 p118 p63 }) ({p535 p129 p588 p589 p416 p271 p539 p592 p330 p20 p28 p39 p288 p187 p451 p189 p73 p197 p433 p467 p393 p103 p165 p106 p650 p405 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p274 p37 p287 p549 p449 p361 p189 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p653 p116 p264 p119 p658 }) ({p90 p248 p44 p540 p182 p360 p203 p584 } a51 {p587 p241 p185 p202 p30 p534 p230 }) ({p588 p589 p416 p134 p592 p16 p29 p335 p33 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p554 p246 p393 p644 p165 p116 p264 p582 p122 } a31 {p126 p588 p589 p371 p416 p592 p335 p569 p543 p47 p379 p296 p227 p448 p63 p426 p189 p240 p524 p436 p393 p165 p649 p116 p264 p118 }) ({p588 p361 p189 p589 p453 p73 p416 p15 p592 p16 p197 p433 p469 p393 p288 p310 p165 p106 p549 p116 p264 p407 p658 } a31 {p2 p129 p588 p189 p589 p132 p73 p455 p416 p539 p592 p330 p197 p433 p467 p39 p393 p288 p165 p106 p116 p264 p407 p63 }) ({p189 p370 p323 p329 p372 p28 p636 p527 p249 p396 p500 p309 p222 p107 p169 p262 p318 } a20 {p369 p320 p189 p70 p526 p495 p390 p338 p640 p376 p250 p443 p222 p226 p257 p168 p113 p506 p265 p223 }) ({p586 p627 p610 p524 p601 p28 p337 p498 p377 p400 p163 p344 p312 p181 p385 } a20 {p414 p70 p609 p522 p628 p631 p600 p573 p541 p99 p501 p378 p346 p315 p184 p583 }) ({p588 p589 p416 p15 p592 p16 p24 p288 p297 p549 p449 p361 p189 p453 p73 p433 p469 p468 p393 p310 p165 p106 p653 p116 p264 p407 p658 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p278 p39 p288 p63 p189 p73 p455 p197 p433 p467 p393 p165 p106 p116 p264 p407 p656 }) ({p369 p320 p414 p611 p16 p491 p217 p338 p222 p383 p184 p189 p239 p631 p526 p388 p602 p308 p390 p573 p99 p257 p346 p168 p315 p116 } a31 {p586 p352 p610 p417 p418 p372 p218 p337 p500 p385 p186 p512 p63 p189 p601 p636 p88 p249 p309 p163 p107 p348 p263 p116 p318 }) ({p588 p589 p416 p592 p17 p16 p331 p613 p593 p568 p443 p226 p295 p229 p185 p189 p199 p632 p634 p244 p435 p204 p640 p393 p364 p647 p403 p110 p113 p116 p265 p350 } a31 {p588 p370 p589 p416 p592 p329 p612 p275 p564 p445 p187 p384 p63 p68 p189 p553 p191 p75 p635 p203 p247 p603 p393 p94 p642 p402 p650 p169 p262 p117 p116 p266 p351 }) ({p87 } a9 {p83 }) ({p586 p352 p627 p490 p417 p216 p601 p28 p337 p88 p163 p258 p312 p381 p181 p408 } a20 {p70 p631 p491 p217 p600 p388 p308 p573 p99 p258 p315 p383 p184 p583 }) ({p140 p44 p197 p332 p447 } a51 {p325 p196 p311 p30 p449 }) ({p75 p328 p16 p119 p185 p534 p204 } a31 {p75 p103 p540 p203 p584 p187 p63 }) ({p371 p576 p44 p444 p152 p106 p167 p244 p204 p570 p367 } a51 {p571 p642 p371 p167 p201 p30 p121 p187 p367 }) ({p93 } a10 {p77 }) ({p588 p189 p452 p589 p73 p416 p538 p328 p592 p16 p430 p433 p393 p165 p106 p533 p116 p264 p407 p119 } a31 {p535 p588 p189 p589 p73 p416 p592 p430 p433 p471 p393 p103 p165 p106 p299 p116 p264 p407 p584 p63 }) ({p129 p588 p189 p589 p73 p416 p538 p592 p330 p197 p433 p28 p393 p103 p165 p106 p405 p116 p264 p187 } a20 {p588 p189 p589 p70 p73 p416 p538 p328 p592 p433 p204 p393 p310 p165 p106 p549 p405 p116 p264 p119 p449 }) ({p225 p16 } a31 {p225 p63 }) ({p426 p588 p189 p589 p73 p416 p134 p592 p430 p28 p34 p278 p471 p393 p289 p165 p294 p106 p649 p405 p116 p264 p448 p584 } a20 {p588 p589 p416 p134 p592 p29 p297 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p398 p165 p106 p652 p405 p533 p116 p264 p582 }) ({p82 } a34 {p78 }) ({p28 p510 p597 p529 } a20 {p530 p604 p70 p596 p409 }) ({p571 p371 p16 p110 } a31 {p94 p371 p106 p63 }) ({p571 p498 p16 p110 } a31 {p94 p498 p106 p63 }) ({p188 p415 p240 p197 p27 p528 p392 p44 p259 p485 p447 p423 p509 p121 } a51 {p188 p415 p196 p242 p30 p528 p392 p646 p259 p449 p425 p509 p121 }) ({p189 p370 p323 p329 p612 p372 p218 p28 p636 p527 p603 p249 p221 p396 p500 p309 p400 p107 p169 p348 p262 p318 p385 p186 } a20 {p369 p320 p414 p611 p593 p495 p338 p376 p443 p222 p226 p506 p223 p189 p70 p628 p526 p602 p390 p640 p250 p257 p105 p168 p113 p265 p350 }) ({p625 p250 p522 p16 p495 p510 p583 p597 } a31 {p530 p498 p604 p627 p399 p208 p312 p63 }) ({p412 p127 p2 p588 p589 p325 p416 p12 p592 p332 p28 p31 p278 p291 p294 p189 p73 p455 p433 p465 p471 p393 p165 p106 p116 p264 p656 } a20 {p412 p127 p588 p589 p325 p416 p15 p592 p332 p24 p614 p502 p291 p297 p55 p189 p452 p70 p73 p433 p469 p468 p393 p437 p165 p106 p116 p264 }) ({p587 p127 p588 p129 p589 p370 p325 p371 p416 p326 p592 p16 p330 p332 p21 p614 p285 p293 p189 p68 p73 p75 p240 p196 p197 p242 p433 p465 p471 p472 p393 p396 p476 p478 p163 p165 p167 p106 p208 p116 p264 p407 p584 p367 } a31 {p587 p127 p588 p129 p589 p370 p325 p371 p416 p326 p592 p330 p332 p21 p31 p285 p293 p63 p189 p68 p73 p75 p240 p196 p197 p242 p433 p465 p471 p472 p393 p474 p396 p476 p478 p163 p165 p167 p106 p208 p116 p264 p407 p584 p367 }) ({p76 } a25 {p102 }) ({p588 p589 p416 p592 p16 p29 p33 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p554 p246 p436 p393 p644 p165 p116 p264 p582 } a31 {p426 p588 p189 p589 p371 p416 p592 p240 p524 p436 p393 p569 p543 p165 p47 p649 p379 p296 p227 p116 p264 p448 p118 p63 }) ({p78 } a35 {p89 }) ({p164 p16 p120 } a31 {p164 p120 p63 }) ({p189 p588 p589 p71 p416 p629 p592 p16 p442 p393 p261 p259 p54 p116 } a31 {p189 p588 p393 p589 p416 p225 p592 p167 p633 p116 p65 p63 }) ({p588 p589 p173 p416 p134 p592 p16 p24 p29 p33 p282 p297 p446 p298 p449 p425 p189 p429 p300 p554 p468 p637 p393 p557 p644 p165 p405 p653 p116 p264 p582 p561 p122 } a31 {p126 p588 p589 p268 p591 p608 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p200 p436 p639 p393 p558 p165 p649 p404 p116 p264 p118 p656 }) ({p208 p153 p147 p28 p622 p175 p120 } a20 {p625 p189 p70 p213 p164 p116 p596 p210 p623 p149 }) ({p426 p126 p68 p553 p430 p137 p28 p34 p203 p247 p282 p289 p543 p47 p649 p379 p403 p227 p264 p448 p584 p384 } a20 {p386 p70 p236 p429 p134 p29 p634 p246 p282 p398 p364 p647 p403 p51 p652 p298 p533 p229 p264 p185 p582 p450 p64 p552 }) ({p127 p588 p589 p325 p9 p416 p592 p16 p332 p614 p502 p55 p340 p189 p452 p234 p73 p433 p393 p437 p645 p165 p106 p116 p264 } a31 {p127 p488 p588 p589 p7 p325 p416 p12 p592 p332 p31 p285 p294 p299 p63 p189 p73 p433 p465 p471 p393 p474 p165 p106 p648 p116 p264 }) ({p587 p325 p371 p44 p293 p167 p242 p432 p424 p468 p367 } a51 {p587 p325 p371 p290 p167 p242 p432 p52 p30 p367 }) ({p588 p189 p589 p416 p592 p17 p16 p329 p634 p244 p435 p204 p640 p568 p393 p443 p226 p647 p295 p110 p113 p229 p116 p185 } a31 {p588 p370 p589 p416 p592 p329 p275 p564 p445 p187 p63 p68 p189 p553 p75 p203 p247 p393 p94 p642 p650 p169 p262 p117 p116 }) ({p127 p588 p189 p589 p325 p73 p416 p592 p332 p432 p433 p28 p393 p476 p165 p106 p116 p264 p424 } a20 {p127 p588 p189 p589 p70 p325 p73 p416 p592 p332 p303 p432 p433 p393 p290 p165 p106 p116 p264 }) ({p588 p189 p68 p589 p73 p416 p75 p538 p328 p592 p16 p430 p433 p204 p393 p165 p106 p533 p116 p264 p119 p185 } a31 {p535 p588 p189 p68 p589 p73 p416 p75 p592 p430 p433 p203 p393 p103 p165 p106 p116 p264 p584 p187 p63 }) ({p588 p589 p270 p416 p538 p328 p592 p17 p16 p37 p287 p51 p229 p185 p450 p189 p236 p462 p634 p637 p204 p393 p475 p398 p364 p165 p647 p106 p652 p405 p533 p116 p264 p119 p562 } a31 {p535 p588 p589 p416 p271 p592 p137 p34 p286 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p639 p393 p477 p103 p165 p106 p650 p404 p116 p264 p655 p584 p562 }) ({p127 p588 p189 p589 p325 p73 p416 p592 p21 p332 p433 p28 p472 p393 p476 p291 p293 p165 p106 p648 p116 p264 } a20 {p127 p588 p189 p589 p70 p325 p73 p9 p416 p592 p332 p433 p472 p393 p476 p291 p293 p165 p106 p116 p264 p654 }) ({p480 p16 } a31 {p480 p63 }) ({p588 p589 p416 p15 p592 p16 p24 p297 p549 p449 p361 p189 p73 p433 p467 p468 p393 p310 p165 p106 p653 p116 p264 p407 p658 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p278 p39 p63 p189 p73 p197 p433 p467 p393 p165 p106 p116 p264 p407 p656 }) ({p588 p589 p416 p538 p328 p592 p17 p16 p37 p289 p229 p185 p384 p189 p634 p204 p393 p398 p165 p647 p106 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p592 p34 p289 p187 p63 p384 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p116 p264 p655 p584 }) ({p127 p587 p371 p44 p328 p152 p444 p167 p545 p242 p204 p367 } a51 {p587 p371 p167 p547 p242 p201 p30 p123 p187 p367 }) ({p586 p253 p627 p163 p490 p417 p483 p312 p28 p408 p337 p88 } a20 {p412 p573 p70 p99 p13 p631 p491 p388 p315 p308 p583 }) ({p588 p589 p416 p592 p16 p331 p613 p593 p495 p376 p568 p443 p226 p295 p506 p223 p189 p522 p628 p199 p244 p435 p640 p250 p401 p105 p110 p113 p116 p265 p350 } a31 {p588 p370 p589 p323 p416 p592 p329 p612 p275 p564 p498 p221 p377 p445 p63 p189 p191 p630 p466 p527 p603 p94 p642 p396 p399 p400 p169 p262 p117 p116 p266 p351 }) ({p127 p588 p129 p189 p589 p73 p416 p592 p16 p197 p433 p393 p310 p165 p106 p116 p264 p407 } a31 {p127 p588 p129 p189 p589 p132 p73 p416 p592 p330 p197 p433 p393 p165 p106 p116 p264 p407 p63 }) ({p588 p361 p189 p589 p73 p416 p15 p592 p16 p197 p433 p467 p393 p310 p165 p106 p549 p116 p264 p407 p658 } a31 {p2 p129 p588 p189 p589 p132 p73 p416 p539 p592 p330 p197 p433 p467 p39 p393 p165 p106 p116 p264 p407 p63 }) ({p369 p588 p542 p257 p151 p16 p631 p246 p64 } a31 {p588 p249 p165 p47 p227 p636 p551 p63 }) ({p588 p589 p173 p416 p134 p592 p16 p29 p33 p282 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p300 p632 p554 p470 p246 p393 p557 p644 p165 p403 p116 p264 p582 p561 p122 } a31 {p126 p588 p589 p268 p608 p371 p416 p592 p335 p569 p543 p47 p379 p296 p227 p448 p63 p426 p189 p240 p524 p200 p635 p436 p473 p393 p558 p165 p402 p649 p116 p264 p118 }) ({p588 p589 p7 p416 p15 p592 p16 p274 p291 p549 p361 p189 p453 p73 p197 p433 p469 p393 p310 p165 p106 p116 p264 p407 p658 p211 } a31 {p2 p129 p588 p589 p132 p7 p416 p539 p592 p330 p276 p39 p359 p288 p63 p189 p73 p455 p197 p433 p467 p393 p165 p106 p116 p264 p407 }) ({p89 } a28 {p85 }) ({p189 p588 p589 p416 p522 p592 p16 p244 p495 p640 p393 p250 p443 p295 p110 p116 p409 } a31 {p189 p588 p370 p589 p416 p592 p275 p529 p393 p94 p498 p642 p399 p445 p116 p63 }) ({p68 p553 p370 p28 p636 p203 p247 p338 p249 p543 p107 p47 p227 p169 p262 } a20 {p369 p70 p634 p246 p338 p640 p443 p226 p647 p257 p168 p113 p229 p185 p64 p552 }) ({p625 p414 p609 p522 p16 p600 p495 p376 p250 p343 p506 p116 p383 p596 p583 p223 } a31 {p190 p323 p627 p527 p498 p396 p377 p399 p344 p208 p312 p181 p116 p385 p63 }) ({p426 p247 p68 p430 p47 p227 p28 p264 p203 p584 p552 } a20 {p70 p398 p429 p634 p533 p229 p264 p185 p582 p246 p64 p552 }) ({p189 p588 p589 p416 p522 p592 p16 p244 p495 p640 p393 p250 p396 p443 p295 p110 p506 p116 } a31 {p189 p588 p370 p589 p416 p592 p275 p527 p393 p94 p498 p642 p396 p399 p445 p116 p63 }) ({p514 p16 p406 p245 p62 p624 p585 } a31 {p626 p399 p460 p528 p363 p63 }) ({p586 p498 p627 p609 p163 p524 p312 p181 p601 p28 p337 } a20 {p573 p70 p541 p99 p501 p609 p522 p631 p600 p315 p184 p583 }) ({p412 p127 p2 p588 p589 p325 p416 p12 p592 p332 p276 p28 p31 p278 p285 p294 p189 p73 p455 p433 p465 p471 p393 p165 p106 p116 p264 p656 } a20 {p412 p127 p588 p589 p325 p416 p15 p592 p332 p24 p614 p502 p291 p297 p55 p189 p452 p234 p70 p73 p433 p469 p468 p393 p437 p165 p106 p116 p264 }) ({p617 p16 p153 p183 p210 p342 } a31 {p178 p164 p145 p622 p139 p120 p158 p63 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p246 p393 p541 p501 p644 p165 p116 p264 p582 p118 p425 p64 p552 } a31 {p426 p588 p189 p589 p371 p416 p240 p592 p524 p393 p543 p165 p47 p649 p227 p116 p264 p118 p63 }) ({p189 p588 p589 p323 p416 p522 p592 p16 p244 p495 p640 p376 p568 p250 p443 p226 p295 p110 p506 p116 } a31 {p189 p588 p370 p589 p323 p416 p592 p275 p564 p527 p94 p498 p642 p396 p377 p399 p445 p262 p116 p63 }) ({p97 p592 p18 p22 p25 } a12 {p592 p18 p22 p25 p53 }) ({p588 p189 p589 p416 p429 p592 p16 p554 p29 p468 p33 p436 p393 p644 p165 p297 p446 p298 p116 p264 p582 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p240 p592 p197 p278 p436 p393 p569 p165 p649 p296 p116 p264 p448 p118 p63 }) ({p589 p71 p16 p261 p432 p485 p423 p373 } a31 {p474 p589 p516 p371 p225 p242 p563 p63 }) ({p68 p370 p553 p329 p612 p28 p636 p203 p247 p603 p249 p543 p401 p107 p47 p379 p227 p169 p348 p262 p318 p384 p186 } a20 {p369 p386 p70 p611 p593 p634 p602 p246 p338 p640 p443 p364 p226 p401 p647 p257 p168 p113 p229 p185 p265 p350 p64 p552 }) ({p588 p189 p589 p73 p416 p592 p539 p16 p433 p468 p393 p310 p165 p106 p297 p549 p116 p264 p407 p449 } a31 {p129 p588 p189 p589 p591 p132 p73 p416 p592 p539 p330 p197 p433 p278 p393 p165 p106 p116 p264 p407 p63 }) ({p191 p240 p524 p630 p275 p200 p613 p564 p335 p28 p466 p436 p94 p569 p498 p642 p377 p402 p445 p296 p117 p118 p266 } a20 {p70 p173 p300 p522 p331 p199 p613 p632 p554 p244 p33 p435 p470 p568 p541 p501 p644 p378 p401 p295 p110 p446 p425 p122 }) ({p11 } a41 {p32 }) ({p126 p588 p589 p268 p416 p12 p592 p137 p28 p34 p278 p286 p289 p294 p448 p426 p189 p73 p430 p471 p393 p558 p165 p106 p649 p405 p116 p264 p656 p584 p562 } a20 {p588 p589 p270 p416 p134 p592 p24 p29 p282 p502 p297 p51 p546 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p398 p165 p106 p652 p405 p533 p116 p264 p582 p561 }) ({p90 p16 p182 p228 p201 p86 p121 p638 } a31 {p75 p576 p444 p152 p241 p202 p570 p367 p63 }) ({p498 p205 p16 } a31 {p498 p312 p333 p63 }) ({p392 p519 p629 p16 p259 p54 p442 p368 p419 } a31 {p589 p480 p167 p418 p633 p509 p65 p512 p63 }) ({p253 p500 p208 p483 p334 p28 p622 p527 p175 } a20 {p412 p625 p189 p393 p250 p70 p13 p526 p506 p596 p495 p210 }) ({p16 p547 p119 } a31 {p127 p103 p63 }) ({p625 p213 p609 p16 p600 p154 p343 p143 p258 p116 p596 p583 p623 } a31 {p190 p627 p490 p216 p251 p344 p166 p208 p312 p381 p181 p116 p408 p63 }) ({p588 p189 p68 p589 p73 p416 p538 p328 p592 p16 p204 p393 p165 p106 p533 p229 p116 p264 p119 p185 } a31 {p535 p588 p189 p68 p589 p73 p416 p75 p592 p203 p247 p393 p103 p165 p106 p116 p264 p584 p187 p63 }) ({p330 p197 p547 p28 p187 } a20 {p127 p70 p328 p310 p449 p204 }) ({p588 p189 p589 p75 p416 p592 p16 p244 p204 p640 p393 p443 p165 p295 p110 p116 p264 p185 } a31 {p588 p189 p370 p589 p75 p416 p592 p275 p203 p393 p94 p642 p165 p445 p116 p264 p187 p63 }) ({p102 } a26 {p89 }) ({p472 p248 p28 p534 } a20 {p472 p248 p70 p540 p533 }) ({p188 p71 p415 p241 p432 p540 p202 p528 p392 p476 p44 p259 p360 p584 p509 p121 } a51 {p587 p188 p71 p415 p241 p432 p30 p202 p528 p392 p476 p259 p534 p509 p121 }) ({p369 p320 p352 p189 p16 p631 p491 p526 p388 p308 p390 p338 p573 p99 p257 p168 p315 p116 } a31 {p586 p352 p189 p417 p418 p372 p636 p337 p88 p249 p500 p309 p163 p107 p116 p318 p512 p63 }) ({p535 p412 p129 p588 p589 p416 p539 p592 p330 p28 p39 p287 p451 p189 p73 p433 p467 p204 p393 p103 p165 p106 p405 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p37 p287 p549 p189 p361 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p116 p264 p119 p658 }) ({p240 p524 p199 p275 p564 p335 p28 p436 p94 p569 p498 p642 p377 p445 p296 p117 p118 p266 } a20 {p70 p300 p522 p331 p199 p554 p244 p33 p435 p568 p541 p501 p644 p378 p295 p110 p446 p425 p122 }) ({p586 p498 p627 p163 p524 p312 p600 p28 p337 } a20 {p573 p541 p70 p99 p501 p522 p631 p600 p315 p583 }) ({p188 p321 p415 p44 p629 p165 p54 p509 p442 p88 p368 p512 } a51 {p188 p415 p151 p167 p631 p304 p30 p509 p512 }) ({p530 p248 p272 p28 } a20 {p530 p248 p70 p443 p292 }) ({p588 p361 p189 p589 p73 p416 p592 p16 p197 p433 p467 p39 p393 p310 p165 p106 p549 p116 p264 p407 } a31 {p129 p588 p189 p589 p132 p73 p416 p539 p592 p330 p197 p433 p467 p39 p393 p165 p106 p116 p264 p407 p63 }) ({p188 p370 p415 p245 p86 p528 p638 p392 p44 p292 p259 p228 p509 } a51 {p188 p392 p640 p250 p415 p272 p259 p30 p495 p528 p509 p367 }) ({p588 p189 p589 p73 p416 p75 p592 p16 p433 p202 p393 p476 p165 p106 p116 p264 p123 p360 } a31 {p587 p588 p189 p589 p73 p416 p75 p592 p433 p202 p393 p476 p165 p106 p545 p116 p264 p63 }) ({p140 p591 p44 p332 } a51 {p591 p325 p311 p30 }) ({p328 p16 p119 p185 p534 p230 p204 } a31 {p248 p75 p103 p540 p203 p584 p187 p63 }) ({p188 p474 p591 p132 p75 p371 p399 p77 p418 p299 p116 p512 } a5 {p479 p80 p120 }) ({p588 p589 p416 p134 p592 p16 p24 p29 p335 p33 p297 p446 p298 p449 p425 p189 p429 p554 p468 p393 p644 p165 p653 p116 p264 p582 p122 } a31 {p126 p588 p589 p591 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p436 p393 p165 p649 p116 p264 p118 p656 }) ({p535 p129 p588 p189 p589 p73 p416 p539 p592 p330 p197 p17 p433 p28 p393 p103 p165 p106 p405 p116 p264 p187 } a20 {p588 p361 p189 p589 p70 p73 p416 p538 p328 p592 p17 p433 p204 p393 p310 p165 p106 p549 p405 p116 p264 p119 p449 }) ({p535 p129 p588 p589 p416 p271 p539 p592 p330 p20 p28 p358 p39 p288 p187 p451 p189 p73 p197 p467 p639 p393 p477 p103 p165 p106 p650 p407 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p274 p358 p37 p287 p549 p449 p361 p189 p453 p70 p73 p462 p204 p393 p641 p481 p310 p165 p106 p405 p653 p116 p264 p119 p658 }) ({p303 p28 } a20 {p70 p476 p299 }) ({p369 p320 p189 p416 p520 p16 p631 p526 p308 p390 p420 p99 p257 p168 p116 } a31 {p189 p590 p416 p418 p372 p636 p88 p249 p500 p309 p163 p107 p116 p512 p63 }) ({p588 p519 p44 p629 p165 p525 p261 p54 p551 p373 p442 } a51 {p589 p516 p574 p542 p504 p151 p167 p631 p30 }) ({p253 p480 p483 p620 p28 p528 p36 } a20 {p412 p392 p188 p70 p13 p406 p245 p62 p624 }) ({p588 p321 p589 p325 p9 p13 p592 p15 p18 p332 p540 p27 p28 p183 p551 p64 p188 p189 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p165 p583 p585 } a20 {p588 p321 p589 p325 p9 p13 p592 p15 p18 p332 p540 p27 p183 p551 p64 p188 p189 p70 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p165 p583 p585 }) ({p588 p189 p589 p73 p416 p592 p539 p16 p197 p433 p393 p310 p165 p106 p549 p116 p264 p407 } a31 {p129 p588 p189 p589 p132 p73 p416 p592 p539 p330 p197 p433 p393 p165 p106 p116 p264 p407 p63 }) ({p190 p396 p323 p500 p309 p178 p208 p372 p381 p28 p622 p527 } a20 {p320 p625 p70 p526 p495 p390 p376 p250 p343 p506 p383 p596 p183 p210 p223 }) ({p369 p586 p189 p588 p589 p590 p416 p592 p16 p631 p246 p393 p541 p99 p257 p168 p116 p64 p552 } a31 {p586 p189 p588 p589 p590 p416 p592 p636 p393 p249 p163 p543 p107 p47 p227 p116 p63 }) ({p188 p415 p371 p240 p27 p528 p392 p44 p261 p259 p485 p423 p551 p509 p121 } a51 {p188 p415 p371 p242 p30 p528 p392 p542 p646 p259 p425 p509 p121 }) ({p588 p589 p416 p538 p328 p592 p17 p16 p37 p286 p51 p229 p185 p450 p189 p236 p462 p634 p204 p393 p398 p364 p165 p647 p106 p404 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p592 p137 p34 p286 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p404 p116 p264 p655 p584 }) ({p412 p127 p2 p588 p589 p325 p9 p416 p592 p332 p28 p31 p291 p293 p297 p189 p73 p455 p433 p465 p472 p393 p476 p165 p106 p116 p264 } a20 {p412 p127 p588 p589 p325 p9 p416 p15 p592 p332 p614 p291 p293 p297 p189 p70 p73 p433 p469 p472 p393 p476 p437 p165 p106 p116 p264 }) ({p588 p589 p416 p538 p328 p592 p17 p16 p137 p37 p229 p185 p450 p189 p236 p462 p634 p204 p393 p398 p364 p165 p647 p106 p404 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p592 p137 p34 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p404 p116 p264 p655 p584 }) ({p588 p589 p270 p416 p538 p328 p592 p16 p37 p287 p502 p51 p55 p450 p189 p452 p236 p73 p462 p393 p398 p165 p106 p652 p533 p116 p264 p407 p119 p562 } a31 {p535 p588 p589 p416 p12 p271 p592 p137 p34 p286 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p103 p165 p106 p116 p264 p407 p655 p584 p562 }) ({p127 p588 p189 p589 p325 p73 p416 p592 p16 p332 p21 p614 p433 p471 p472 p393 p285 p437 p476 p293 p165 p106 p116 p264 } a31 {p127 p588 p589 p325 p416 p592 p332 p21 p31 p285 p293 p63 p189 p73 p433 p465 p471 p472 p393 p474 p476 p165 p106 p116 p264 }) ({p590 p574 p163 p151 p304 p28 p496 } a20 {p420 p321 p588 p70 p99 p520 p165 p308 }) ({p369 p189 p416 p610 p16 p631 p602 p246 p338 p573 p541 p99 p501 p257 p168 p315 p116 p184 p64 p552 } a31 {p586 p189 p371 p416 p610 p524 p601 p636 p337 p249 p163 p543 p107 p47 p227 p116 p318 p186 p512 p63 }) ({p32 } a46 {p35 }) ({p617 p153 p28 p88 p342 } a20 {p420 p125 p70 p164 p619 p308 p139 p623 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p33 p246 p393 p541 p501 p644 p165 p296 p116 p264 p582 p425 p64 p552 } a31 {p426 p588 p189 p589 p371 p416 p240 p592 p524 p393 p543 p165 p47 p649 p227 p296 p116 p264 p118 p63 }) ({p369 p393 p44 p480 p526 p633 p264 p65 } a51 {p392 p500 p259 p439 p334 p636 p30 }) ({p588 p189 p589 p416 p196 p592 p152 p242 p28 p393 p576 p165 p444 p116 p264 p570 } a20 {p588 p189 p589 p70 p416 p592 p201 p393 p165 p485 p447 p423 p116 p264 p121 }) ({p588 p589 p416 p538 p328 p592 p17 p16 p37 p229 p185 p450 p384 p189 p236 p462 p634 p204 p393 p398 p165 p647 p106 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p592 p34 p289 p187 p63 p384 p451 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p116 p264 p655 p584 }) ({p247 p370 p227 p439 p28 p636 p203 p555 } a20 {p369 p640 p70 p73 p443 p229 p264 p185 p246 }) ({p369 p189 p416 p16 p631 p601 p246 p338 p573 p541 p99 p501 p257 p168 p315 p116 p64 p552 } a31 {p586 p189 p371 p416 p524 p601 p636 p337 p249 p163 p543 p107 p47 p227 p116 p318 p512 p63 }) ({p588 p589 p416 p134 p592 p16 p29 p33 p282 p541 p501 p378 p446 p298 p425 p64 p552 p386 p189 p429 p300 p200 p554 p246 p393 p644 p165 p116 p264 p582 p122 } a31 {p126 p588 p589 p268 p371 p416 p592 p335 p569 p543 p47 p379 p296 p227 p448 p63 p426 p189 p240 p524 p200 p436 p393 p165 p649 p116 p264 p118 }) ({p369 p588 p370 p326 p9 p328 p15 p330 p332 p21 p30 p31 p183 p64 p68 p240 p197 p243 p244 p465 p390 p468 p469 p88 p246 p204 p471 p247 p472 p248 p396 p478 p257 p208 p110 p405 p407 p119 p210 p129 p139 p285 p291 p297 p518 p522 p429 p524 p525 p526 p527 p529 p530 p163 p165 p582 p583 p584 } a45 {p369 p588 p370 p326 p9 p328 p15 p330 p332 p21 p31 p183 p64 p68 p240 p197 p243 p244 p465 p390 p468 p469 p88 p246 p204 p471 p247 p472 p248 p396 p97 p478 p257 p208 p110 p405 p407 p119 p210 p129 p139 p285 p291 p297 p518 p522 p429 p524 p525 p526 p527 p529 p530 p163 p165 p582 p583 p584 }) ({p393 p189 p44 p480 p526 p620 p210 p36 } a51 {p392 p188 p500 p334 p622 p30 p175 }) ({p41 } a49 {p14 }) ({p625 p213 p609 p16 p600 p154 p343 p258 p116 p596 p583 p623 p149 } a31 {p190 p627 p490 p216 p251 p344 p166 p208 p312 p381 p181 p116 p408 p63 }) ({p257 p16 p439 p334 p390 } a31 {p393 p249 p372 p264 p63 }) ({p625 p323 p609 p522 p16 p600 p495 p376 p250 p343 p506 p116 p596 p583 } a31 {p190 p323 p627 p527 p498 p396 p377 p399 p344 p208 p312 p181 p116 p63 }) ({p412 p171 p13 p16 p619 p526 p304 p621 p183 p390 p210 } a31 {p321 p253 p500 p178 p483 p372 p622 p88 p63 }) ({p589 p626 p253 p167 p483 p463 p28 p509 p363 } a20 {p412 p70 p415 p519 p13 p629 p54 p442 p368 p585 p419 }) ({p126 p588 p589 p268 p416 p12 p592 p137 p28 p34 p278 p286 p289 p294 p448 p426 p189 p73 p430 p471 p393 p165 p106 p649 p405 p116 p264 p561 p656 p584 } a20 {p588 p589 p270 p416 p134 p592 p24 p29 p282 p502 p297 p51 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p398 p165 p106 p652 p405 p533 p116 p264 p582 p561 }) ({p189 p370 p323 p329 p611 p372 p218 p28 p636 p527 p603 p249 p396 p221 p500 p309 p400 p107 p169 p262 p318 p385 p186 } a20 {p369 p320 p414 p611 p593 p495 p338 p376 p443 p222 p226 p506 p223 p189 p70 p628 p526 p602 p390 p640 p250 p257 p105 p168 p113 p265 }) ({p454 p478 p540 p28 } a20 {p472 p70 p540 p305 }) ({p369 p386 p189 p416 p611 p16 p631 p602 p246 p338 p573 p541 p501 p99 p400 p378 p257 p346 p168 p315 p116 p184 p64 p552 } a31 {p586 p189 p371 p416 p610 p524 p601 p636 p337 p249 p163 p400 p543 p107 p47 p379 p227 p348 p116 p318 p186 p512 p63 }) ({p52 p433 p28 p471 } a20 {p452 p70 p293 p433 p468 }) ({p189 p44 p164 p145 p620 p210 p36 p487 } a51 {p188 p153 p147 p622 p30 p175 }) ({p215 p28 p621 p597 } a20 {p604 p70 p213 p596 p349 p623 }) ({p320 p189 p370 p249 p396 p500 p372 p262 p28 p636 p527 } a20 {p369 p320 p189 p70 p526 p495 p390 p640 p376 p250 p443 p226 p257 p506 }) ({p588 p589 p416 p592 p17 p16 p331 p613 p593 p568 p443 p226 p295 p229 p185 p189 p199 p634 p244 p435 p204 p640 p393 p364 p647 p402 p110 p113 p116 p265 p350 } a31 {p588 p370 p589 p416 p592 p329 p612 p275 p564 p445 p187 p384 p63 p68 p189 p553 p191 p75 p203 p247 p603 p393 p94 p642 p402 p650 p169 p262 p117 p116 p266 p351 }) ({p369 p320 p586 p189 p588 p589 p590 p416 p592 p16 p631 p526 p418 p308 p390 p99 p257 p168 p116 } a31 {p586 p189 p588 p589 p590 p416 p592 p418 p372 p636 p88 p249 p500 p309 p163 p107 p116 p63 }) ({p426 p126 p68 p553 p268 p430 p137 p28 p34 p203 p247 p286 p289 p543 p47 p649 p379 p403 p227 p264 p448 p584 p384 } a20 {p270 p134 p29 p282 p51 p298 p229 p185 p450 p64 p552 p386 p70 p236 p429 p634 p246 p398 p364 p647 p403 p652 p533 p264 p582 }) ({p472 p75 p328 p16 p119 p203 p534 } a31 {p472 p75 p103 p540 p203 p584 p63 }) ({p640 p75 p272 p16 p110 p244 p185 p204 } a31 {p370 p94 p642 p75 p292 p203 p187 p63 }) ({p371 p44 p293 p167 p242 p433 p424 p582 p468 p563 p367 } a51 {p371 p290 p301 p167 p52 p432 p242 p30 p367 }) ({p127 p2 p588 p589 p325 p416 p592 p21 p332 p276 p28 p31 p285 p293 p189 p73 p455 p433 p465 p472 p393 p476 p165 p106 p648 p116 p264 } a20 {p127 p588 p589 p325 p9 p416 p15 p592 p332 p614 p291 p293 p189 p234 p70 p73 p433 p469 p472 p393 p437 p476 p165 p106 p116 p264 p654 }) ({p588 p589 p173 p416 p134 p592 p16 p24 p29 p33 p282 p297 p446 p298 p449 p425 p189 p429 p300 p554 p468 p393 p557 p644 p165 p404 p653 p116 p264 p582 p561 p122 } a31 {p126 p588 p589 p268 p591 p608 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p200 p436 p393 p558 p165 p649 p404 p116 p264 p118 p656 }) ({p589 p28 p373 } a20 {p589 p516 p70 p371 }) ({p247 p301 p227 p28 p203 p584 p555 } a20 {p70 p73 p433 p533 p229 p185 p582 p246 }) ({p588 p189 p589 p71 p371 p416 p592 p16 p432 p393 p165 p106 p261 p485 p423 p116 p264 } a31 {p588 p189 p589 p371 p416 p225 p592 p242 p393 p474 p165 p106 p116 p264 p563 p63 }) ({p240 p524 p331 p275 p564 p28 p436 p94 p569 p498 p642 p377 p445 p296 p117 p118 } a20 {p70 p522 p331 p554 p244 p33 p435 p568 p541 p501 p644 p378 p295 p110 p446 p425 p122 }) ({p40 } a48 {p42 }) ({p615 p28 p124 } a20 {p70 p616 p418 p116 p368 p176 }) ({p38 } a47 {p44 }) ({p90 p16 p182 p201 p123 p360 } a31 {p587 p75 p444 p152 p241 p545 p202 p63 }) ({p535 p129 p588 p589 p416 p271 p539 p353 p592 p330 p20 p28 p39 p359 p288 p187 p451 p189 p73 p197 p467 p639 p393 p477 p103 p165 p106 p650 p407 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p274 p358 p37 p287 p549 p449 p361 p189 p453 p70 p73 p462 p204 p393 p641 p481 p310 p165 p106 p405 p653 p116 p264 p119 p658 p211 }) ({p412 p127 p2 p588 p589 p325 p416 p12 p592 p332 p28 p31 p278 p291 p294 p189 p73 p429 p433 p469 p471 p393 p165 p106 p405 p116 p264 p656 } a20 {p412 p127 p588 p589 p325 p416 p15 p592 p332 p24 p614 p502 p291 p297 p55 p189 p452 p70 p73 p429 p433 p468 p469 p393 p165 p106 p405 p116 p264 }) ({p369 p73 p44 p225 p633 p264 p65 p246 } a51 {p71 p227 p259 p439 p636 p30 p555 }) ({p369 p588 p257 p151 p16 p631 p526 p418 p304 p390 } a31 {p321 p588 p249 p500 p165 p418 p372 p636 p88 p63 }) ({p588 p189 p589 p416 p592 p16 p244 p204 p640 p92 p393 p443 p165 p295 p110 p116 p264 p185 } a31 {p588 p189 p370 p589 p75 p416 p592 p275 p243 p203 p393 p94 p642 p165 p445 p116 p264 p187 p63 }) ({p127 p587 p591 p371 p44 p328 p167 p545 p242 p367 } a51 {p587 p591 p371 p167 p242 p547 p30 p123 p367 }) ({p519 p28 p373 } a20 {p589 p516 p70 p371 p512 }) ({p426 p68 p553 p134 p430 p28 p34 p203 p247 p289 p543 p47 p649 p379 p403 p227 p264 p448 p584 p384 } a20 {p386 p70 p236 p429 p134 p29 p634 p246 p398 p364 p647 p403 p652 p298 p533 p229 p264 p185 p582 p450 p64 p552 }) ({p412 p127 p2 p588 p589 p325 p9 p416 p592 p332 p276 p28 p31 p285 p293 p297 p189 p73 p455 p433 p465 p472 p393 p476 p165 p106 p116 p264 } a20 {p412 p127 p588 p589 p325 p9 p416 p15 p592 p332 p614 p291 p293 p297 p189 p234 p70 p73 p433 p469 p472 p393 p437 p476 p165 p106 p116 p264 }) ({p412 p588 p589 p416 p15 p592 p16 p274 p24 p291 p297 p549 p449 p361 p189 p453 p73 p469 p468 p393 p641 p481 p310 p165 p106 p653 p116 p264 p658 p211 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p276 p278 p39 p359 p288 p63 p189 p73 p455 p197 p467 p393 p253 p643 p165 p106 p482 p407 p116 p264 p656 }) ({p535 p412 p129 p588 p189 p589 p73 p416 p539 p592 p330 p433 p462 p28 p204 p39 p393 p103 p165 p106 p405 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p37 p549 p189 p361 p70 p73 p433 p462 p204 p393 p310 p165 p106 p405 p116 p264 p119 p658 }) ({p454 p478 p28 p534 } a20 {p472 p70 p305 p540 p533 }) ({p604 p143 p44 p208 p438 p349 p62 p624 } a51 {p625 p215 p621 p30 p597 p149 }) ({p588 p189 p589 p416 p240 p592 p197 p275 p28 p568 p393 p94 p642 p165 p445 p296 p116 p264 p118 p187 } a20 {p588 p189 p589 p70 p416 p592 p244 p33 p204 p568 p393 p644 p165 p295 p110 p446 p116 p264 p449 p425 }) ({p498 p16 p106 p333 } a31 {p498 p106 p333 p63 }) ({p588 p589 p416 p538 p328 p592 p16 p137 p37 p55 p450 p189 p452 p236 p73 p462 p393 p398 p165 p106 p652 p533 p116 p264 p407 p119 } a31 {p535 p588 p589 p416 p592 p137 p34 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p103 p165 p106 p116 p264 p407 p655 p584 }) ({p188 p71 p415 p325 p197 p241 p242 p432 p528 p392 p44 p259 p447 p509 p121 } a51 {p188 p71 p415 p325 p196 p241 p242 p432 p30 p528 p392 p259 p449 p509 p121 }) ({p586 p498 p205 p627 p163 p524 p28 } a20 {p573 p541 p70 p99 p501 p522 p631 p333 p583 }) ({p272 p243 p28 p230 } a20 {p92 p248 p70 p443 p292 }) ({p514 p588 p189 p589 p416 p592 p16 p245 p86 p638 p393 p399 p165 p228 p116 p264 p121 } a31 {p588 p189 p589 p416 p592 p460 p393 p399 p576 p165 p116 p264 p570 p367 p63 }) ({p588 p589 p416 p15 p592 p16 p274 p24 p291 p297 p549 p449 p361 p189 p453 p73 p433 p469 p468 p393 p310 p165 p106 p653 p116 p264 p407 p658 } a31 {p2 p129 p588 p589 p591 p132 p416 p539 p592 p330 p20 p276 p278 p39 p288 p63 p189 p73 p455 p197 p433 p467 p393 p165 p106 p116 p264 p407 p656 }) ({p127 p588 p189 p589 p452 p325 p73 p416 p592 p16 p332 p433 p393 p293 p165 p294 p106 p116 p264 p407 p584 } a31 {p127 p588 p189 p589 p325 p73 p416 p592 p332 p433 p471 p393 p293 p165 p294 p106 p299 p116 p264 p407 p584 p63 }) ({p429 p301 p16 p555 p64 } a31 {p426 p73 p47 p433 p63 }) ({p586 p352 p627 p610 p490 p417 p216 p601 p28 p337 p88 p251 p163 p344 p312 p381 p181 p263 p408 } a20 {p70 p609 p239 p631 p491 p217 p600 p388 p308 p573 p99 p346 p258 p315 p383 p184 p583 }) ({p576 p522 p44 p106 p460 p244 p570 } a51 {p571 p514 p498 p642 p30 p121 }) ({p14 } a42 {p93 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p246 p374 p393 p541 p644 p165 p116 p264 p582 p425 p64 p552 } a31 {p426 p588 p189 p589 p518 p371 p416 p240 p592 p393 p543 p165 p47 p649 p227 p116 p264 p63 }) ({p191 p608 p240 p524 p630 p275 p200 p564 p335 p28 p466 p436 p94 p569 p498 p642 p377 p402 p445 p296 p117 p118 p266 p351 } a20 {p173 p331 p613 p33 p568 p541 p501 p378 p295 p446 p425 p70 p300 p522 p199 p632 p554 p244 p435 p470 p557 p644 p401 p110 p122 }) ({p68 p553 p370 p329 p28 p636 p602 p203 p247 p249 p543 p107 p47 p227 p169 p262 p318 } a20 {p369 p70 p634 p602 p246 p338 p640 p443 p226 p647 p257 p168 p113 p229 p265 p185 p64 p552 }) ({p412 p392 p188 p616 p13 p16 p116 p368 p176 } a31 {p253 p480 p483 p620 p116 p36 p63 }) ({p588 p589 p416 p592 p16 p331 p612 p593 p495 p376 p568 p443 p226 p295 p506 p223 p189 p522 p628 p199 p244 p435 p640 p250 p401 p105 p110 p113 p116 p265 } a31 {p588 p370 p589 p323 p416 p592 p329 p612 p275 p564 p498 p221 p377 p445 p63 p189 p191 p630 p466 p527 p603 p94 p642 p396 p399 p400 p169 p262 p117 p116 p266 }) ({p586 p414 p627 p610 p524 p601 p28 p337 p498 p377 p163 p344 p312 p181 } a20 {p414 p70 p609 p522 p631 p600 p573 p541 p99 p501 p378 p346 p315 p184 p583 }) ({p454 p328 p16 p119 p534 } a31 {p472 p103 p299 p540 p584 p63 }) ({p90 p28 } a20 {p70 p75 p241 }) ({p588 p518 p542 p504 p646 p165 p28 } a20 {p588 p541 p70 p644 p165 p525 p27 p551 p374 }) ({p369 p189 p416 p520 p16 p631 p246 p374 p541 p99 p257 p168 p116 p64 p552 } a31 {p189 p590 p518 p371 p416 p636 p249 p163 p543 p107 p47 p227 p116 p512 p63 }) ({p188 p604 p44 p208 p245 p62 p528 p624 } a51 {p188 p625 p250 p30 p495 p528 p597 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p468 p33 p393 p569 p644 p165 p297 p446 p298 p116 p264 p582 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p240 p592 p197 p278 p393 p569 p165 p649 p296 p116 p264 p448 p118 p63 }) ({p188 p615 p16 p124 } a31 {p145 p620 p120 p36 p487 p63 }) ({p588 p189 p589 p416 p429 p592 p16 p468 p393 p646 p165 p106 p297 p116 p264 p582 p118 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p592 p240 p197 p27 p278 p393 p474 p165 p106 p116 p264 p118 p63 }) ({p59 } a0 {p8 }) ({p588 p589 p416 p15 p592 p16 p274 p359 p291 p549 p361 p189 p453 p73 p197 p433 p469 p393 p310 p165 p106 p116 p264 p407 p658 } a31 {p2 p129 p588 p589 p132 p416 p539 p592 p330 p276 p39 p359 p288 p63 p189 p73 p455 p197 p433 p467 p393 p165 p106 p116 p264 p407 }) ({p588 p589 p9 p416 p15 p592 p16 p274 p291 p549 p361 p189 p453 p73 p433 p469 p393 p645 p310 p165 p106 p116 p264 p658 p211 } a31 {p2 p129 p588 p589 p7 p132 p416 p539 p592 p330 p276 p39 p359 p288 p63 p189 p73 p455 p433 p467 p393 p165 p106 p648 p116 p264 }) ({p625 p213 p16 p166 p600 p116 p596 p583 p623 p149 } a31 {p627 p490 p216 p166 p208 p312 p381 p181 p116 p408 p63 }) ({p588 p589 p608 p416 p592 p20 p275 p564 p335 p28 p569 p445 p296 p187 p189 p191 p240 p197 p200 p635 p436 p393 p94 p642 p165 p650 p404 p117 p116 p264 p118 p266 p351 } a20 {p588 p589 p173 p416 p592 p17 p331 p613 p33 p568 p295 p446 p449 p425 p189 p70 p300 p199 p554 p244 p435 p637 p204 p393 p557 p644 p165 p403 p110 p653 p116 p264 p122 }) ({p587 p127 p588 p129 p589 p370 p325 p371 p416 p326 p592 p16 p330 p332 p21 p25 p31 p285 p293 p189 p68 p73 p75 p240 p196 p197 p242 p433 p465 p471 p472 p393 p396 p476 p478 p163 p165 p167 p106 p208 p116 p264 p407 p584 p367 } a31 {p587 p127 p588 p129 p589 p370 p325 p371 p416 p326 p592 p330 p332 p21 p25 p31 p285 p293 p63 p189 p68 p73 p75 p240 p196 p197 p242 p433 p465 p471 p472 p393 p396 p476 p478 p163 p165 p167 p106 p208 p116 p264 p407 p584 p367 }) ({p240 p524 p275 p564 p28 p435 p94 p569 p498 p642 p377 p445 p296 p118 } a20 {p70 p522 p554 p244 p33 p435 p568 p541 p501 p644 p378 p295 p110 p446 p425 }) ({p272 p28 p510 p529 } a20 {p530 p70 p443 p292 p409 }) ({p587 p225 p241 p28 p202 p563 } a20 {p90 p71 p70 p432 p182 p360 }) ({p530 p28 p349 p597 } a20 {p530 p604 p70 p596 p349 }) ({p535 p412 p129 p588 p189 p589 p73 p416 p539 p592 p330 p433 p462 p28 p204 p37 p393 p103 p165 p106 p405 p116 p264 } a20 {p412 p588 p189 p361 p589 p70 p73 p416 p538 p328 p592 p433 p462 p204 p37 p393 p310 p165 p106 p549 p405 p116 p264 p119 }) ({p369 p189 p416 p16 p631 p246 p337 p573 p541 p99 p501 p257 p168 p116 p64 p552 } a31 {p586 p189 p371 p416 p524 p636 p337 p249 p163 p543 p107 p47 p227 p116 p512 p63 }) ({p321 p616 p44 p368 p176 p88 } a51 {p171 p619 p304 p621 p30 }) ({p321 p588 p519 p44 p629 p165 p54 p442 p368 p88 p419 } a51 {p589 p574 p151 p167 p631 p304 p30 p509 p496 }) ({p588 p189 p589 p416 p592 p16 p432 p393 p290 p165 p106 p485 p447 p423 p116 p264 } a31 {p588 p189 p589 p591 p416 p196 p592 p242 p393 p474 p165 p106 p116 p264 p424 p563 p63 }) ({p588 p589 p416 p592 p17 p16 p331 p612 p593 p568 p443 p226 p295 p229 p185 p189 p199 p634 p244 p435 p204 p640 p393 p647 p110 p113 p116 p265 } a31 {p588 p370 p589 p416 p592 p329 p612 p275 p564 p445 p187 p63 p68 p189 p553 p191 p75 p203 p247 p603 p393 p94 p642 p650 p169 p262 p117 p116 p266 }) ({p145 p620 p28 p120 p36 p487 } a20 {p188 p70 p143 p438 p116 p62 p624 }) ({p588 p189 p589 p371 p416 p429 p592 p16 p29 p246 p393 p541 p644 p165 p106 p116 p264 p582 p118 p425 p64 p552 } a31 {p426 p588 p189 p589 p371 p416 p592 p240 p393 p543 p165 p47 p106 p649 p227 p116 p264 p118 p63 }) ({p615 p44 p164 p139 p124 } a51 {p617 p153 p30 p342 }) ({p588 p189 p589 p416 p522 p592 p16 p244 p495 p640 p393 p250 p396 p443 p399 p165 p295 p110 p262 p116 p264 } a31 {p588 p189 p370 p589 p416 p592 p275 p393 p94 p498 p642 p396 p399 p165 p445 p262 p116 p264 p63 }) ({p640 p250 p399 p522 p272 p16 p110 p244 p495 } a31 {p370 p94 p498 p642 p399 p292 p63 }) ({p326 p311 p28 } a20 {p70 p141 p332 }) ({p590 p518 p574 p542 p504 p163 p151 p28 } a20 {p588 p541 p70 p99 p520 p165 p525 p551 p374 }) ({p571 p642 p240 p197 p28 p187 } a20 {p70 p644 p106 p244 p449 p425 p204 }) ({p588 p189 p589 p73 p416 p538 p328 p592 p16 p204 p92 p393 p165 p106 p533 p116 p264 p119 p185 } a31 {p535 p588 p189 p589 p73 p416 p75 p592 p243 p203 p393 p103 p165 p106 p116 p264 p584 p187 p63 }) ({p247 p68 p370 p249 p47 p168 p227 p262 p28 p636 p203 } a20 {p369 p640 p70 p443 p226 p257 p168 p634 p229 p185 p246 p64 }) ({p412 p127 p588 p189 p589 p325 p73 p416 p429 p592 p332 p24 p433 p28 p278 p471 p393 p165 p294 p106 p405 p116 p264 } a20 {p412 p127 p588 p189 p589 p452 p70 p325 p73 p416 p429 p592 p332 p24 p433 p468 p393 p165 p106 p297 p55 p405 p116 p264 }) ({p588 p189 p589 p73 p416 p592 p16 p433 p468 p393 p141 p165 p106 p297 p116 p264 p449 } a31 {p588 p189 p589 p591 p132 p73 p326 p416 p592 p197 p433 p278 p393 p165 p106 p116 p264 p63 }) ({p588 p589 p416 p592 p20 p275 p613 p564 p335 p28 p569 p445 p296 p187 p189 p191 p240 p197 p200 p436 p393 p94 p642 p165 p650 p117 p116 p264 p118 p266 } a20 {p588 p589 p173 p416 p592 p17 p331 p613 p33 p568 p295 p446 p449 p425 p189 p70 p300 p199 p554 p244 p435 p204 p393 p644 p165 p110 p653 p116 p264 p122 }) ({p588 p589 p416 p134 p592 p16 p24 p29 p33 p282 p297 p446 p298 p449 p425 p189 p429 p300 p200 p554 p468 p393 p644 p165 p653 p116 p264 p582 p122 } a31 {p126 p588 p589 p268 p591 p416 p592 p20 p335 p278 p569 p296 p448 p63 p426 p189 p240 p197 p200 p436 p393 p165 p649 p116 p264 p118 p656 }) ({p71 p519 p629 p16 p261 p259 p54 p373 p442 } a31 {p589 p516 p371 p225 p167 p633 p65 p512 p63 }) ({p625 p189 p250 p399 p522 p16 p600 p116 p596 p495 p583 } a31 {p189 p498 p627 p399 p208 p312 p181 p116 p63 }) ({p588 p589 p270 p416 p538 p328 p592 p17 p16 p358 p37 p287 p51 p546 p229 p185 p450 p189 p236 p462 p634 p637 p204 p393 p475 p398 p364 p165 p647 p106 p652 p405 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p271 p353 p592 p137 p34 p286 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p639 p393 p477 p103 p165 p106 p650 p404 p116 p264 p655 p584 p562 }) ({p16 p153 p183 p175 p120 } a31 {p189 p178 p164 p120 p158 p63 }) ({p4 } a21 {p100 }) ({p640 p272 p16 p110 p244 p185 p230 p204 } a31 {p248 p370 p94 p642 p75 p292 p203 p187 p63 }) ({p189 p588 p589 p416 p522 p592 p16 p329 p244 p435 p495 p640 p376 p568 p250 p443 p226 p295 p110 p113 p506 p116 p223 } a31 {p189 p588 p370 p589 p323 p416 p592 p329 p275 p564 p527 p94 p498 p642 p396 p377 p399 p445 p169 p262 p117 p116 p63 }) ({p127 p588 p189 p589 p325 p73 p416 p592 p16 p332 p305 p433 p393 p293 p165 p106 p116 p264 p584 } a31 {p127 p588 p189 p589 p325 p73 p416 p592 p332 p433 p393 p478 p293 p165 p106 p299 p116 p264 p584 p63 }) ({p188 p370 p415 p241 p203 p86 p528 p638 p392 p44 p292 p259 p182 p228 p509 } a51 {p188 p415 p272 p241 p202 p30 p528 p392 p640 p259 p185 p509 p367 }) ({p66 } a19 {p4 }) ({p587 p472 p44 p303 } a51 {p587 p476 p454 p30 }) ({p190 p178 p166 p208 p145 p28 p622 p120 p158 } a20 {p625 p70 p213 p343 p143 p154 p116 p596 p183 p210 p623 }) ({p361 p588 p189 p589 p73 p416 p592 p16 p20 p433 p468 p393 p310 p165 p106 p297 p549 p116 p264 p407 p449 } a31 {p129 p588 p189 p589 p591 p132 p73 p416 p539 p592 p330 p197 p20 p433 p278 p393 p165 p106 p116 p264 p407 p63 }) ({p16 p303 p123 p360 } a31 {p587 p476 p545 p299 p63 }) ({p68 p370 p553 p329 p611 p28 p636 p203 p247 p603 p249 p543 p107 p47 p227 p169 p262 p318 p186 } a20 {p369 p70 p611 p593 p634 p602 p246 p338 p640 p443 p226 p647 p257 p168 p113 p229 p265 p185 p64 p552 }) ({p571 p498 p642 p240 p524 p28 } a20 {p541 p70 p501 p644 p522 p106 p244 p425 }) ({p2 p588 p321 p589 p325 p9 p13 p592 p332 p540 p28 p31 p183 p551 p64 p188 p189 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p165 p583 p585 } a20 {p588 p321 p589 p325 p9 p13 p15 p592 p332 p540 p183 p551 p64 p188 p189 p70 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p614 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p165 p583 p585 }) ({p127 p588 p189 p452 p589 p325 p73 p416 p592 p16 p332 p614 p433 p393 p285 p437 p502 p165 p106 p55 p116 p264 } a31 {p127 p588 p189 p589 p325 p73 p416 p12 p592 p332 p433 p465 p31 p471 p393 p474 p285 p165 p294 p106 p299 p116 p264 p63 }) ({p588 p189 p589 p416 p592 p16 p244 p204 p640 p393 p443 p165 p295 p110 p262 p229 p116 p264 p185 } a31 {p588 p189 p370 p589 p75 p416 p592 p275 p203 p247 p393 p94 p642 p165 p445 p262 p116 p264 p187 p63 }) ({p56 } a54 {p59 }) ({p480 p633 p28 p528 p65 p367 } a20 {p392 p70 p259 p228 p406 p245 p86 p638 }) ({p588 p189 p589 p325 p73 p416 p592 p433 p28 p201 p393 p165 p106 p545 p116 p264 } a20 {p588 p189 p589 p70 p73 p416 p592 p433 p201 p393 p140 p165 p106 p116 p264 p123 }) ({p588 p189 p589 p416 p240 p592 p197 p28 p393 p94 p642 p165 p295 p116 p264 p118 p187 } a20 {p588 p189 p589 p70 p416 p592 p244 p33 p204 p393 p644 p165 p110 p295 p116 p264 p449 p425 }) ({p44 p240 p525 p261 p27 p485 p423 p551 p373 } a51 {p516 p542 p504 p646 p242 p30 p425 }) ({p535 p129 p588 p589 p7 p416 p271 p539 p353 p592 p330 p28 p39 p359 p288 p451 p189 p73 p467 p393 p253 p643 p103 p165 p106 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p274 p358 p37 p287 p549 p361 p189 p453 p70 p73 p462 p393 p645 p310 p165 p106 p116 p264 p119 p658 p211 }) ({p304 p28 p621 } a20 {p321 p70 p308 p623 }) ({p429 p16 p301 p52 p297 } a31 {p426 p293 p433 p278 p63 }) ({p43 } a15 {p61 }) ({p61 } a18 {p28 }) ({p588 p589 p416 p592 p20 p275 p564 p335 p28 p569 p445 p296 p187 p189 p240 p197 p199 p436 p393 p94 p642 p165 p650 p117 p116 p264 p118 p266 } a20 {p588 p589 p416 p592 p17 p331 p33 p568 p295 p446 p449 p425 p189 p70 p300 p199 p554 p244 p435 p204 p393 p644 p165 p110 p653 p116 p264 p122 }) ({p454 p16 p584 } a31 {p472 p299 p584 p63 }) ({p42 } a50 {p96 }) ({p370 p500 p439 p334 p28 p636 p527 } a20 {p369 p640 p393 p250 p70 p443 p506 p526 p264 p495 }) ({p16 p311 p297 p449 p468 } a31 {p591 p132 p197 p332 p278 p63 }) ({p126 p268 p137 p28 p34 p286 p289 p543 p47 p379 p227 p448 p384 p426 p68 p553 p430 p635 p203 p247 p473 p558 p649 p404 p264 p584 p562 } a20 {p270 p134 p29 p282 p51 p546 p298 p229 p185 p450 p64 p552 p386 p70 p236 p429 p634 p637 p246 p475 p398 p364 p647 p403 p652 p533 p264 p582 p561 }) ({p535 p129 p588 p589 p416 p539 p592 p330 p20 p28 p39 p287 p187 p451 p189 p73 p197 p433 p467 p393 p103 p165 p106 p650 p405 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p37 p287 p549 p449 p361 p189 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p653 p116 p264 p119 p658 }) ({p412 p415 p143 p13 p16 p438 p116 p62 p624 p585 } a31 {p626 p253 p483 p463 p116 p363 p63 }) ({p588 p321 p589 p325 p9 p13 p592 p332 p540 p28 p183 p551 p64 p188 p189 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p646 p165 p583 p585 } a20 {p588 p321 p589 p325 p9 p13 p592 p332 p27 p540 p183 p551 p64 p188 p189 p70 p71 p73 p241 p201 p390 p469 p204 p392 p472 p393 p248 p604 p476 p257 p106 p110 p259 p405 p116 p264 p119 p121 p123 p412 p127 p415 p416 p290 p291 p292 p293 p297 p509 p514 p516 p522 p429 p525 p432 p433 p528 p530 p644 p165 p583 p585 }) ({p45 } a23 {p48 }) ({p190 p396 p253 p500 p178 p208 p483 p372 p28 p622 p527 } a20 {p412 p625 p70 p13 p526 p495 p390 p376 p250 p343 p506 p596 p183 p210 }) ({p426 p588 p189 p589 p73 p416 p592 p430 p28 p34 p278 p471 p393 p165 p294 p106 p649 p298 p405 p116 p264 p584 } a20 {p588 p189 p452 p589 p70 p73 p416 p429 p592 p29 p468 p393 p398 p165 p106 p297 p652 p55 p298 p405 p533 p116 p264 p582 }) ({p530 p604 p44 p208 p406 p245 p62 p624 } a51 {p625 p250 p30 p495 p510 p528 p597 }) ({p535 p412 p129 p588 p589 p416 p271 p539 p592 p330 p28 p358 p39 p288 p451 p189 p73 p433 p467 p204 p393 p103 p165 p106 p405 p116 p264 p655 } a20 {p412 p588 p589 p416 p538 p328 p592 p274 p358 p37 p287 p549 p189 p361 p453 p70 p73 p462 p433 p204 p393 p310 p165 p106 p405 p116 p264 p119 p658 }) ({p126 p268 p137 p28 p34 p286 p289 p543 p47 p379 p227 p448 p384 p426 p68 p553 p430 p635 p203 p247 p473 p649 p404 p264 p561 p584 } a20 {p270 p134 p29 p282 p51 p298 p229 p185 p450 p64 p552 p386 p70 p236 p429 p634 p637 p246 p475 p398 p364 p647 p403 p652 p533 p264 p582 p561 }) ({p588 p589 p270 p416 p538 p328 p592 p17 p16 p37 p287 p51 p229 p185 p450 p189 p236 p462 p634 p204 p393 p398 p364 p165 p647 p106 p404 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p271 p592 p137 p34 p286 p289 p187 p384 p63 p451 p68 p189 p553 p75 p430 p203 p247 p393 p103 p165 p106 p650 p404 p116 p264 p655 p584 }) ({p519 p28 p419 } a20 {p589 p70 p418 p509 p512 }) ({p530 p370 p44 p292 p228 p406 p245 p86 p638 } a51 {p640 p250 p272 p30 p495 p510 p528 p367 }) ({p588 p542 p646 p165 p525 p28 } a20 {p588 p541 p70 p644 p165 p525 p27 p551 }) ({p243 p28 p534 p230 } a20 {p92 p248 p70 p540 p533 }) ({p426 p386 p68 p553 p430 p28 p34 p203 p247 p543 p47 p649 p227 p298 p264 p584 } a20 {p386 p70 p429 p29 p634 p246 p398 p647 p652 p298 p533 p229 p264 p185 p582 p64 p552 }) ({p2 p488 p588 p589 p7 p416 p12 p592 p276 p28 p31 p278 p285 p294 p189 p73 p455 p465 p471 p393 p253 p643 p165 p106 p482 p116 p264 p656 } a20 {p412 p588 p589 p416 p15 p592 p24 p614 p502 p291 p297 p55 p340 p189 p452 p234 p70 p73 p469 p468 p393 p437 p645 p165 p106 p116 p264 }) ({p46 } a32 {p49 }) ({p320 p420 p125 p16 p619 p526 p308 p183 p390 p210 p623 } a31 {p500 p309 p178 p418 p381 p372 p116 p622 p88 p63 }) ({p190 p178 p166 p208 p147 p28 p622 p120 p158 } a20 {p625 p70 p213 p343 p154 p116 p596 p183 p210 p623 p149 }) ({p588 p542 p429 p504 p646 p165 p16 p582 p425 p246 p64 } a31 {p426 p588 p474 p371 p240 p165 p525 p47 p227 p27 p551 p63 }) ({p568 p94 p498 p642 p240 p524 p445 p275 p296 p28 p118 } a20 {p568 p70 p541 p501 p644 p522 p295 p110 p446 p244 p33 p425 }) ({p48 } a24 {p61 }) ({p587 p16 p303 } a31 {p587 p476 p299 p63 }) ({p516 p576 p242 p460 p28 p570 } a20 {p514 p70 p261 p485 p423 p121 p373 }) ({p330 p547 p28 p204 } a20 {p127 p70 p328 p310 p204 }) ({p140 p28 } a20 {p70 p325 p132 }) ({p412 p625 p13 p215 p16 p621 p583 p597 p149 } a31 {p604 p253 p627 p490 p208 p483 p312 p408 p349 p63 }) ({p535 p129 p588 p589 p416 p539 p592 p330 p20 p28 p39 p187 p189 p73 p197 p433 p462 p393 p103 p165 p106 p650 p405 p116 p264 p655 } a20 {p588 p589 p416 p538 p328 p592 p17 p37 p549 p449 p361 p189 p70 p73 p433 p462 p204 p393 p310 p165 p106 p405 p653 p116 p264 p119 p658 }) ({p126 p588 p589 p416 p12 p592 p137 p28 p34 p278 p282 p289 p294 p448 p426 p189 p73 p430 p471 p393 p165 p106 p649 p405 p116 p264 p656 p584 } a20 {p588 p589 p416 p134 p592 p24 p29 p282 p502 p297 p51 p55 p298 p450 p189 p452 p70 p236 p73 p429 p468 p393 p398 p165 p106 p652 p405 p533 p116 p264 p582 }) ({p53 } a52 {p91 }) ({p301 p52 p28 p584 p471 } a20 {p452 p70 p293 p433 p533 p582 p468 }) ({p16 p197 p311 } a31 {p132 p197 p332 p63 }) ({p588 p589 p416 p592 p17 p16 p331 p568 p443 p226 p295 p229 p185 p189 p634 p244 p435 p204 p603 p640 p393 p647 p110 p113 p116 p265 } a31 {p588 p370 p589 p416 p592 p329 p275 p564 p445 p187 p63 p68 p189 p553 p75 p203 p247 p603 p393 p94 p642 p650 p169 p262 p117 p116 p266 }) ({p588 p589 p416 p592 p20 p331 p275 p564 p28 p569 p445 p296 p187 p189 p240 p197 p436 p393 p94 p642 p165 p650 p117 p116 p264 p118 } a20 {p588 p589 p416 p592 p17 p331 p33 p568 p295 p446 p449 p425 p189 p70 p554 p244 p435 p204 p393 p644 p165 p110 p653 p116 p264 p122 }) ({p79 } a6 {p40 }) ({p588 p189 p589 p416 p429 p592 p16 p29 p468 p393 p644 p165 p106 p297 p116 p264 p582 p118 p449 p425 } a31 {p426 p588 p189 p589 p591 p416 p592 p240 p197 p278 p393 p165 p106 p649 p116 p264 p118 p63 }) ({p127 p588 p189 p589 p234 p325 p73 p416 p592 p16 p332 p21 p614 p433 p471 p472 p393 p437 p476 p293 p165 p106 p116 p264 } a31 {p127 p588 p589 p325 p416 p592 p332 p21 p31 p285 p293 p63 p189 p73 p433 p465 p471 p472 p393 p474 p476 p165 p106 p116 p264 }) ({p412 p588 p589 p270 p416 p538 p328 p592 p16 p358 p37 p287 p502 p51 p546 p55 p450 p189 p452 p236 p73 p462 p393 p641 p398 p165 p106 p652 p533 p116 p264 p119 } a31 {p535 p588 p589 p416 p12 p271 p353 p592 p137 p34 p286 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p253 p643 p103 p165 p106 p407 p116 p264 p655 p584 p562 }) ({p188 p71 p415 p241 p432 p540 p203 p528 p392 p44 p259 p182 p360 p584 p509 p121 } a51 {p587 p188 p71 p415 p241 p432 p202 p30 p528 p392 p259 p185 p534 p509 p121 }) ({p588 p589 p416 p538 p328 p592 p16 p37 p286 p502 p51 p55 p450 p189 p452 p236 p73 p462 p393 p398 p165 p106 p652 p533 p116 p264 p407 p119 } a31 {p535 p588 p589 p416 p12 p592 p137 p34 p286 p289 p294 p299 p63 p451 p189 p73 p430 p471 p393 p103 p165 p106 p116 p264 p407 p655 p584 }) ({p416 p490 p16 } a31 {p416 p490 p63 }) ({p426 p386 p68 p553 p430 p28 p34 p203 p247 p289 p543 p47 p649 p227 p264 p448 p584 } a20 {p386 p70 p236 p429 p29 p634 p246 p398 p647 p652 p298 p533 p229 p264 p185 p582 p450 p64 p552 }) ({p625 p250 p399 p522 p16 p495 p583 p597 } a31 {p498 p604 p627 p399 p208 p312 p63 }) ({p205 p354 p16 } a31 {p416 p312 p333 p408 p63 }) ({p369 p320 p414 p189 p16 p631 p491 p217 p526 p388 p602 p308 p390 p338 p573 p99 p222 p257 p168 p315 p116 p263 p383 p184 } a31 {p586 p352 p189 p417 p418 p372 p601 p218 p636 p337 p88 p249 p500 p309 p163 p107 p116 p263 p318 p385 p186 p512 p63 }) ({p189 p393 p500 p16 } a31 {p189 p393 p500 p63 }) ({p61 } a17 {p66 }) ({p479 p80 p120 } a7 {p188 p615 p124 p87 }) ({p320 p171 p16 p619 p526 p116 p308 p183 p390 p210 p623 } a31 {p500 p309 p178 p381 p372 p116 p622 p88 p63 }) ({p588 p189 p129 p589 p73 p416 p592 p16 p433 p468 p393 p310 p165 p106 p297 p116 p264 p407 p449 } a31 {p588 p189 p129 p589 p591 p132 p73 p416 p592 p330 p197 p433 p278 p393 p165 p106 p116 p264 p407 p63 }) ({p472 p44 p303 p540 p360 p584 } a51 {p587 p476 p454 p30 p534 }) }, initialMarking = {p369 p370 p7 p9 p371 p12 p13 p15 p17 p18 p20 p21 p22 p24 p25 p27 p29 p31 p34 p37 p39 p41 p64 p384 p386 p68 p71 p73 p75 p390 p88 p392 p393 p396 p399 p400 p401 p104 p106 p402 p110 p403 p112 p404 p405 p116 p407 p118 p119 p121 p123 p127 p412 p129 p414 p132 p415 p416 p134 p417 p137 p418 p139 p429 p430 p432 p433 p435 p436 p163 p164 p165 p166 p167 p168 p169 p183 p188 p189 p190 p196 p197 p199 p200 p462 p201 p465 p202 p467 p203 p468 p469 p204 p471 p472 p474 p476 p478 p208 p210 p488 p221 p222 p509 p512 p514 p516 p518 p522 p524 p525 p526 p527 p528 p529 p530 p538 p539 p540 p551 p552 p553 p240 p241 p242 p243 p244 p246 p247 p248 p257 p258 p259 p262 p263 p264 p561 p562 p282 p568 p285 p569 p286 p287 p288 p289 p290 p291 p292 p293 p294 p295 p296 p297 p298 p299 p582 p583 p584 p585 p320 p586 p587 p321 p588 p589 p590 p591 p323 p325 p326 p328 p592 p329 p330 p331 p332 p333 p335 p337 p338 p600 p601 p602 p603 p604 p349 p352 p608 p609 p610 p611 p612 p613 p358 p359 p367 }, acceptingPlaces = {p91 } );