// Testfile dumped by Ultimate at 2020/03/07 10:48:11 // // 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 }, transitions = { ({p101 p608 p543 p426 p232 p427 p318 p451 p400 p111 p17 p434 p615 p576 p305 p583 p89 p557 p224 p92 p448 } a20 {p53 p231 p104 p543 p609 p426 p427 p318 p399 p434 p113 p613 p258 p24 p457 p576 p174 p266 p331 p556 p307 p92 p585 }) ({p562 p589 p426 p318 p427 p11 p357 p434 p467 p469 p576 p549 p92 } a31 {p576 p426 p318 p427 p591 p147 p434 p503 p92 p359 p129 p46 }) ({p495 p589 p549 p32 p328 p357 p295 p226 p148 } a51 {p590 p358 p275 p147 p298 p487 p18 p474 }) ({p5 p88 } a39 {p7 p90 p70 }) ({p53 } a22 {p33 }) ({p283 p133 p542 p321 p11 p431 p207 p569 p455 p579 p440 p92 p504 } a31 {p283 p577 p568 p511 p207 p445 p198 p527 p92 p607 p46 }) ({p230 p541 p426 p427 p293 p17 p434 p342 p299 p595 p365 p599 p371 p180 p318 p319 p60 p184 p322 p487 p517 p576 p495 p530 p92 } a20 {p230 p541 p426 p427 p293 p434 p342 p299 p596 p343 p605 p372 p53 p318 p319 p60 p141 p322 p186 p487 p576 p495 p522 p497 p92 }) ({p428 p646 p17 p388 } a20 {p437 p53 p425 p386 }) ({p230 p426 p463 p427 p318 p592 p111 p17 p434 p360 p576 p470 p305 p557 p92 p277 } a20 {p230 p53 p426 p427 p318 p434 p594 p113 p468 p576 p363 p266 p556 p307 p92 p277 }) ({p538 p540 p609 p426 p427 p11 p434 p113 p616 p24 p174 p369 p307 p319 p318 p452 p144 p258 p491 p576 p219 p266 p525 p331 p92 p585 } a31 {p101 p587 p540 p426 p232 p427 p318 p610 p509 p451 p400 p434 p615 p576 p262 p175 p524 p557 p332 p92 p308 p46 }) ({p536 p587 p134 p426 p318 p427 p509 p568 p17 p434 p148 p616 p578 p262 p218 p175 p366 p524 p526 p92 } a20 {p133 p538 p53 p590 p426 p499 p318 p427 p512 p144 p358 p434 p257 p616 p579 p264 p219 p119 p525 p369 p443 p199 p92 }) ({p536 p587 p230 p317 p426 p427 p318 p295 p17 p434 p148 p493 p576 p262 p218 p175 p366 p524 p525 p92 p308 } a20 {p538 p230 p53 p590 p426 p319 p499 p427 p318 p256 p144 p358 p434 p491 p576 p264 p219 p369 p525 p275 p199 p92 p472 }) ({p334 p230 p541 p426 p463 p427 p592 p340 p17 p434 p299 p360 p26 p470 p120 p176 p479 p58 p318 p140 p322 p513 p487 p490 p576 p495 p82 p267 p92 p534 p279 } a20 {p335 p230 p541 p426 p427 p108 p339 p434 p594 p299 p468 p29 p363 p123 p179 p53 p56 p481 p138 p318 p322 p487 p515 p489 p576 p495 p86 p92 p531 p277 }) ({p344 p32 p194 p558 p209 p187 p278 p606 } a51 {p202 p564 p193 p345 p156 p18 }) ({p344 p155 p17 p97 p561 p621 } a20 {p563 p173 p53 p92 p501 p300 }) ({p32 p368 p400 p511 p584 p95 p130 } a51 {p260 p397 p508 p585 p18 p504 }) ({p100 p17 } a20 {p100 p53 }) ({p628 p352 p11 p510 p402 p380 p237 p635 p436 p644 p555 p194 p92 p249 } a31 {p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p46 }) ({p536 p587 p134 p426 p318 p427 p610 p509 p568 p452 p17 p434 p148 p578 p262 p618 p218 p175 p366 p524 p526 p92 } a20 {p538 p590 p426 p499 p427 p358 p434 p616 p119 p369 p443 p603 p133 p53 p318 p512 p452 p144 p257 p579 p264 p219 p525 p199 p92 }) ({p319 p11 p197 p372 p160 } a31 {p375 p365 p322 p308 p46 }) ({p564 p623 p289 p207 p511 p402 p502 p198 p17 p514 } a20 {p53 p542 p289 p440 p510 p270 p402 p194 p569 p635 p504 }) ({p344 p471 p155 p558 p196 p92 p17 p606 } a20 {p173 p53 p566 p64 p193 p92 p501 p417 }) ({p289 p628 p254 p11 p510 p402 p380 p237 p635 p411 p355 p265 p644 p555 p194 p122 p92 p249 } a31 {p0 p250 p286 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p268 p523 p502 p92 p126 p46 }) ({p286 p626 p233 p430 p354 p17 p571 p633 p436 p263 p643 p523 p227 p620 } a20 {p285 p53 p628 p354 p380 p237 p438 p355 p265 p642 p555 p122 p249 }) ({p231 p104 p543 p289 p254 p399 p11 p510 p613 p635 p408 p457 p355 p581 p81 p265 p418 p269 p92 p447 p249 p282 } a31 {p250 p286 p608 p623 p315 p352 p323 p433 p211 p633 p408 p436 p456 p268 p583 p89 p224 p528 p502 p92 p448 p46 }) ({p85 p429 p419 p17 } a20 {p103 p53 p326 p81 p434 }) ({p230 p541 p426 p463 p427 p592 p17 p434 p299 p360 p470 p120 p176 p56 p318 p140 p322 p487 p576 p495 p82 p267 p92 p531 p279 } a20 {p230 p541 p53 p56 p426 p427 p138 p318 p322 p108 p434 p594 p487 p299 p468 p576 p495 p363 p86 p123 p92 p179 p277 p531 }) ({p318 p253 p32 p642 p431 p354 p208 p619 p573 p409 } a51 {p577 p316 p641 p351 p208 p459 p346 p18 p620 }) ({p85 p17 p434 } a20 {p103 p53 p81 p434 }) ({p344 p11 p208 p92 } a31 {p344 p208 p92 p46 }) ({p230 p590 p426 p499 p427 p11 p358 p434 p299 p468 p603 p472 p138 p318 p256 p512 p454 p576 p264 p86 p275 p199 p92 p531 p277 } a31 {p536 p230 p426 p463 p427 p592 p295 p434 p360 p618 p366 p120 p176 p46 p317 p318 p324 p513 p148 p454 p493 p576 p218 p267 p526 p92 p280 }) ({p438 p425 p440 p642 p321 p11 p431 p354 p569 p92 p455 p189 } a31 {p577 p430 p353 p445 p198 p346 p92 p607 p620 p46 p189 }) ({p230 p426 p319 p427 p318 p11 p108 p434 p594 p113 p491 p576 p363 p266 p82 p307 p605 p92 p372 } a31 {p287 p230 p426 p427 p318 p434 p595 p576 p470 p365 p82 p557 p92 p308 p279 p46 }) ({p161 p646 p378 p17 } a20 {p163 p53 p380 p405 p170 }) ({p230 p541 p336 p426 p427 p295 p341 p17 p434 p595 p365 p599 p371 p308 p180 p56 p317 p318 p184 p517 p492 p493 p576 p530 p92 } a20 {p230 p541 p426 p427 p434 p342 p596 p343 p303 p605 p372 p472 p53 p56 p319 p318 p141 p186 p256 p491 p492 p576 p522 p497 p275 p92 }) ({p230 p541 p426 p463 p427 p318 p140 p322 p592 p17 p434 p487 p299 p360 p576 p470 p495 p267 p86 p120 p92 p279 } a20 {p230 p541 p53 p426 p138 p427 p318 p322 p108 p434 p594 p487 p299 p468 p576 p495 p363 p86 p123 p92 p277 }) ({p283 p133 p542 p321 p11 p431 p569 p632 p210 p406 p455 p412 p579 p440 p385 p270 p647 p92 p504 } a31 {p283 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p550 p32 p523 p405 p188 p614 p170 } a51 {p150 p161 p555 p646 p378 p18 }) ({p283 p0 p564 p630 p207 p511 p403 p17 p514 p635 p412 p382 p268 p645 p502 p198 p92 p126 } a20 {p3 p53 p252 p289 p395 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p92 p504 }) ({p590 p426 p499 p318 p427 p11 p512 p358 p434 p257 p468 p618 p264 p86 p119 p556 p443 p199 p92 p531 p277 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p513 p434 p148 p360 p578 p618 p218 p267 p305 p366 p176 p526 p92 p46 }) ({p230 p32 p582 p399 p510 p527 p220 p114 } a51 {p229 p507 p583 p502 p527 p18 p622 }) ({p626 p471 p643 p352 p233 p523 p346 p17 p571 p633 p620 } a20 {p53 p628 p642 p254 p64 p555 p354 p380 p237 p249 }) ({p150 p163 p11 p555 p402 p194 p380 p187 p92 } a31 {p259 p564 p382 p439 p165 p345 p523 p92 p514 p46 }) ({p574 p537 p11 p584 p95 p92 p130 } a31 {p397 p508 p92 p297 p460 p586 p46 }) ({p73 } a29 {p11 }) ({p230 p589 p541 p136 p426 p427 p318 p11 p293 p357 p434 p487 p469 p576 p549 p92 p226 } a31 {p230 p541 p426 p427 p318 p591 p434 p147 p298 p487 p359 p576 p118 p91 p92 p46 }) ({p335 p230 p541 p426 p427 p11 p108 p434 p594 p342 p363 p605 p123 p372 p179 p58 p318 p322 p186 p487 p515 p490 p576 p495 p522 p94 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p69 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p230 p52 p426 p463 p427 p318 p592 p111 p339 p513 p17 p434 p360 p576 p470 p82 p267 p305 p176 p557 p92 p534 p279 } a20 {p230 p52 p53 p426 p427 p318 p108 p339 p434 p594 p515 p113 p468 p576 p363 p266 p86 p556 p307 p92 p179 p531 p277 }) ({p230 p541 p426 p58 p138 p427 p318 p11 p184 p256 p434 p299 p596 p576 p343 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p434 p493 p576 p599 p120 p371 p92 p280 p46 }) ({p70 } a14 {p30 }) ({p427 p253 p17 p619 p573 p409 } a20 {p250 p580 p325 p53 p316 p641 p351 p171 p461 }) ({p579 p321 p11 p441 p459 } a31 {p576 p318 p568 p607 p46 }) ({p564 p623 p289 p630 p207 p511 p403 p17 p514 p411 p382 p645 p502 p198 } a20 {p53 p542 p289 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p504 }) ({p101 p608 p623 p289 p232 p400 p511 p17 p615 p457 p583 p89 p224 p502 } a20 {p53 p231 p104 p542 p289 p609 p399 p510 p613 p635 p258 p24 p457 p174 p585 p504 }) ({p133 p3 p252 p395 p321 p11 p431 p569 p632 p210 p406 p455 p413 p579 p440 p385 p270 p647 p527 p92 p504 } a31 {p283 p6 p398 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p84 p21 } a37 {p23 p59 p87 }) ({p250 p439 p318 p11 p208 p620 } a31 {p250 p439 p318 p208 p620 p46 }) ({p538 p609 p426 p427 p319 p318 p11 p451 p144 p434 p113 p258 p616 p24 p491 p576 p174 p219 p266 p369 p525 p307 p92 p585 } a31 {p101 p587 p426 p232 p427 p318 p610 p509 p400 p451 p434 p615 p576 p262 p175 p524 p557 p92 p308 p46 }) ({p351 p11 p222 } a31 {p351 p222 p46 }) ({p230 p541 p426 p427 p318 p11 p322 p294 p434 p594 p487 p576 p495 p363 p605 p123 p92 p372 p279 } a31 {p287 p230 p541 p426 p427 p318 p140 p322 p294 p434 p487 p595 p576 p470 p495 p496 p365 p92 p279 p46 }) ({p202 p564 p471 p345 p353 p155 p156 p198 p17 p189 } a20 {p53 p173 p425 p440 p64 p194 p569 p209 p187 p177 p278 }) ({p247 p378 p17 p170 } a20 {p53 p247 p405 p380 p170 }) ({p574 p134 p580 p103 p316 p32 p427 p171 p467 } a51 {p574 p581 p316 p427 p85 p119 p18 p257 p129 }) ({p46 } a33 {p67 }) ({p590 p426 p499 p427 p11 p339 p16 p358 p434 p468 p119 p556 p443 p603 p477 p52 p318 p512 p489 p257 p264 p86 p199 p92 p531 p277 p333 } a31 {p334 p536 p426 p463 p427 p592 p111 p434 p19 p301 p360 p618 p305 p366 p176 p46 p50 p134 p479 p318 p513 p148 p454 p578 p218 p267 p526 p92 }) ({p0 p286 p315 p430 p354 p433 p17 p211 p633 p408 p436 p456 p577 p263 p155 p445 p387 p276 p607 p620 } a20 {p285 p3 p53 p321 p431 p354 p210 p406 p455 p438 p355 p173 p581 p81 p265 p642 p418 p269 p447 p249 p389 p282 }) ({p283 p133 p538 p232 p11 p144 p258 p579 p369 p527 p92 p585 p504 } a31 {p283 p587 p262 p232 p400 p524 p568 p511 p527 p92 p46 }) ({p574 p229 p316 p427 p32 p400 p306 p368 p584 p557 p112 p130 } a51 {p574 p229 p260 p316 p397 p427 p266 p307 p559 p585 p18 p113 }) ({p101 p390 p283 p608 p540 p623 p6 p232 p451 p400 p511 p17 p615 p410 p268 p583 p89 p224 p528 p502 p448 } a20 {p53 p231 p104 p543 p252 p289 p542 p609 p396 p10 p399 p510 p613 p635 p258 p24 p457 p174 p331 p585 p473 p373 p504 }) ({p101 p608 p289 p232 p451 p400 p511 p17 p635 p615 p583 p89 p224 p502 p92 p448 } a20 {p53 p231 p104 p289 p609 p399 p510 p613 p635 p258 p24 p457 p174 p331 p92 p585 p504 }) ({p250 p11 p555 p510 p378 p194 p208 p249 p635 } a31 {p250 p564 p623 p439 p523 p208 p405 p502 p633 p514 p46 }) ({p360 p470 p463 p140 p592 p120 p294 p17 p277 p280 } a20 {p468 p53 p363 p138 p123 p94 p594 p277 p299 }) ({p231 p104 p315 p254 p399 p11 p510 p635 p436 p581 p81 p418 p92 p249 } a31 {p250 p623 p315 p352 p323 p433 p633 p436 p583 p89 p224 p502 p92 p46 }) ({p250 p231 p104 p399 p11 p510 p613 p635 p436 p581 p81 p418 p269 p92 p249 } a31 {p250 p608 p623 p315 p323 p433 p633 p436 p583 p89 p224 p502 p92 p46 }) ({p212 p17 } a20 {p53 p248 p208 }) ({p230 p623 p11 p209 } a31 {p230 p209 p527 p635 p46 }) ({p230 p590 p426 p138 p499 p427 p318 p11 p256 p358 p434 p299 p468 p576 p366 p275 p92 p472 } a31 {p536 p230 p317 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p493 p576 p366 p120 p92 p280 p46 }) ({p590 p426 p499 p318 p427 p11 p358 p434 p257 p468 p264 p86 p119 p556 p443 p526 p199 p92 p277 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p434 p148 p360 p578 p218 p267 p305 p366 p176 p526 p92 p46 }) ({p286 p315 p352 p430 p433 p17 p211 p633 p436 p456 p577 p173 p263 p445 p346 p276 p607 p620 } a20 {p285 p53 p254 p321 p431 p354 p210 p455 p438 p355 p173 p581 p81 p265 p642 p418 p269 p447 p249 p282 }) ({p68 } a8 {p65 }) ({p71 } a30 {p35 }) ({p104 p426 p232 p427 p318 p400 p111 p17 p434 p576 p305 p583 p557 p224 p92 } a20 {p53 p231 p104 p426 p427 p318 p399 p434 p113 p258 p576 p174 p266 p556 p307 p92 p585 }) ({p230 p541 p426 p427 p318 p11 p322 p434 p594 p487 p576 p495 p363 p605 p123 p94 p92 p372 p279 } a31 {p287 p230 p541 p426 p427 p318 p140 p322 p294 p69 p434 p487 p595 p576 p470 p495 p496 p365 p92 p279 p46 }) ({p334 p479 p56 p463 p140 p592 p294 p340 p513 p17 p490 p360 p470 p82 p267 p120 p176 p534 p280 p279 } a20 {p335 p53 p56 p481 p138 p108 p339 p594 p515 p489 p299 p468 p363 p86 p123 p94 p179 p531 p277 }) ({p229 p537 p316 p427 p140 p320 p593 p487 p574 p361 p470 p32 p38 } a51 {p229 p537 p137 p316 p427 p320 p594 p18 p487 p466 p574 p363 p123 }) ({p78 } a11 {p42 }) ({p334 p230 p426 p463 p427 p592 p111 p340 p17 p434 p19 p360 p470 p305 p176 p557 p479 p54 p318 p513 p490 p576 p82 p267 p92 p534 p279 } a20 {p335 p230 p426 p427 p108 p339 p434 p594 p113 p22 p468 p363 p556 p307 p179 p52 p53 p481 p318 p515 p489 p576 p266 p86 p92 p531 p277 }) ({p230 p541 p426 p427 p318 p62 p11 p322 p434 p487 p576 p470 p495 p123 p94 p92 } a31 {p230 p541 p426 p427 p318 p140 p62 p322 p294 p434 p69 p487 p576 p470 p495 p496 p92 p46 }) ({p135 p344 p32 p187 p278 p561 p621 } a51 {p202 p345 p560 p18 p201 }) ({p426 p318 p427 p147 p17 p434 p92 p297 p460 p586 p129 } a20 {p574 p537 p589 p53 p549 p426 p318 p427 p357 p434 p92 p467 }) ({p230 p541 p426 p427 p397 p11 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p557 p559 p371 p129 p132 p375 p134 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p383 p196 p527 p92 p198 } a31 {p230 p541 p426 p427 p397 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p601 p557 p559 p371 p46 p129 p132 p375 p134 p376 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 }) ({p230 p541 p426 p427 p318 p11 p322 p108 p294 p434 p594 p487 p576 p495 p363 p82 p605 p123 p92 p372 } a31 {p287 p230 p541 p426 p427 p318 p140 p322 p294 p434 p487 p595 p576 p470 p495 p496 p365 p82 p92 p279 p46 }) ({p132 p438 p565 p425 p642 p11 p354 p386 p92 p189 } a31 {p132 p626 p233 p430 p353 p346 p92 p571 p227 p189 p620 p46 }) ({p56 p463 p140 p592 p294 p339 p513 p17 p360 p470 p82 p267 p120 p176 p534 p280 p279 } a20 {p53 p56 p138 p108 p339 p594 p515 p299 p468 p363 p86 p123 p94 p179 p531 p277 }) ({p230 p590 p426 p138 p499 p427 p318 p11 p256 p358 p434 p299 p468 p576 p218 p264 p275 p92 p277 p472 } a31 {p536 p230 p317 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p493 p576 p218 p267 p366 p120 p92 p280 p46 }) ({p230 p541 p426 p427 p318 p11 p322 p293 p434 p487 p466 p299 p576 p495 p38 p92 } a31 {p230 p541 p426 p137 p427 p318 p322 p293 p434 p487 p466 p299 p576 p495 p496 p92 p46 }) ({p133 p3 p252 p542 p395 p321 p11 p431 p569 p632 p210 p406 p455 p413 p579 p440 p385 p270 p647 p92 p504 } a31 {p283 p6 p398 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p536 p587 p134 p426 p318 p427 p568 p17 p434 p148 p578 p262 p218 p175 p366 p524 p525 p92 } a20 {p133 p538 p53 p590 p426 p499 p318 p427 p144 p358 p434 p257 p579 p264 p219 p119 p369 p443 p525 p199 p92 }) ({p285 p626 p352 p233 p430 p17 p571 p633 p436 p643 p523 p346 p227 p620 } a20 {p285 p53 p628 p254 p354 p380 p237 p438 p355 p642 p555 p122 p249 }) ({p250 p286 p231 p104 p399 p11 p510 p613 p635 p457 p355 p581 p81 p418 p269 p92 p447 p249 } a31 {p250 p286 p608 p623 p315 p323 p433 p633 p436 p456 p583 p89 p224 p502 p92 p448 p46 }) ({p230 p541 p336 p426 p427 p293 p17 p434 p341 p299 p595 p365 p599 p371 p180 p318 p319 p60 p184 p322 p487 p517 p492 p576 p495 p530 p92 } a20 {p230 p541 p426 p427 p293 p434 p342 p299 p596 p343 p303 p605 p372 p53 p318 p319 p60 p141 p322 p186 p487 p492 p576 p495 p522 p497 p92 }) ({p283 p133 p538 p542 p232 p11 p144 p258 p579 p369 p92 p585 p504 } a31 {p283 p587 p262 p232 p400 p524 p568 p511 p527 p92 p46 }) ({p3 p231 p104 p543 p289 p396 p254 p399 p11 p510 p613 p635 p457 p355 p581 p81 p265 p418 p269 p92 p447 p249 p389 p282 } a31 {p390 p250 p286 p608 p623 p315 p6 p352 p323 p433 p211 p633 p408 p436 p456 p268 p583 p89 p224 p502 p528 p92 p448 p46 }) ({p230 p541 p426 p138 p60 p427 p318 p141 p11 p256 p434 p299 p596 p576 p343 p303 p29 p458 p497 p275 p92 p472 } a31 {p230 p376 p541 p58 p426 p317 p427 p318 p184 p324 p295 p341 p434 p494 p493 p576 p31 p599 p120 p371 p530 p92 p280 p46 }) ({p260 p133 p538 p579 p11 p144 p585 p504 } a31 {p587 p368 p400 p524 p568 p511 p46 }) ({p72 } a9 {p68 }) ({p76 } a10 {p61 }) ({p375 p545 p427 p397 p320 p147 p487 p496 p32 p195 p605 p527 p129 } a51 {p496 p427 p397 p320 p197 p147 p527 p18 p487 p595 p374 p129 }) ({p230 p541 p590 p426 p138 p427 p318 p11 p358 p434 p299 p468 p576 p329 p275 p92 } a31 {p230 p541 p426 p463 p427 p318 p592 p324 p295 p434 p148 p488 p360 p576 p120 p92 p280 p46 }) ({p335 p230 p426 p427 p11 p108 p434 p594 p342 p113 p363 p307 p605 p372 p179 p54 p481 p319 p318 p186 p515 p492 p491 p576 p522 p266 p92 } a31 {p287 p230 p54 p336 p426 p427 p318 p483 p340 p434 p595 p490 p517 p576 p470 p365 p82 p557 p92 p308 p534 p279 p180 p46 }) ({p230 p541 p336 p426 p427 p295 p341 p17 p434 p595 p365 p599 p371 p308 p180 p56 p317 p318 p483 p184 p517 p494 p493 p576 p530 p92 } a20 {p230 p541 p426 p427 p434 p342 p596 p343 p303 p605 p372 p472 p53 p56 p319 p318 p141 p186 p256 p492 p491 p576 p522 p458 p497 p275 p92 }) ({p230 p590 p426 p499 p427 p11 p339 p109 p358 p434 p299 p22 p468 p603 p472 p477 p56 p138 p318 p256 p512 p489 p576 p264 p86 p275 p199 p92 p531 p277 p333 } a31 {p334 p536 p230 p426 p463 p427 p592 p295 p434 p301 p360 p26 p618 p366 p120 p176 p46 p479 p54 p317 p318 p324 p513 p148 p454 p493 p576 p154 p218 p267 p526 p92 p280 }) ({p67 } a34 {p63 }) ({p230 p541 p426 p427 p318 p11 p322 p108 p434 p594 p487 p576 p495 p363 p82 p605 p123 p94 p92 p372 } a31 {p287 p230 p541 p426 p427 p318 p140 p322 p294 p69 p434 p487 p595 p576 p470 p495 p496 p365 p82 p92 p279 p46 }) ({p283 p101 p133 p538 p11 p144 p258 p579 p174 p219 p369 p527 p92 p585 p504 } a31 {p283 p101 p587 p232 p400 p568 p511 p262 p175 p524 p527 p92 p46 }) ({p230 p54 p426 p319 p427 p318 p11 p186 p108 p340 p434 p594 p515 p113 p491 p576 p363 p522 p266 p307 p605 p92 p372 p179 } a31 {p287 p230 p54 p426 p427 p318 p340 p434 p595 p517 p576 p470 p365 p82 p557 p92 p308 p534 p279 p180 p46 }) ({p321 p11 p459 p346 } a31 {p250 p318 p354 p607 p46 }) ({p101 p608 p426 p232 p427 p318 p400 p111 p17 p434 p615 p576 p457 p305 p583 p89 p557 p224 p92 } a20 {p53 p231 p104 p609 p426 p427 p318 p399 p434 p113 p613 p258 p24 p576 p457 p174 p266 p556 p307 p92 p585 }) ({p437 p442 p17 } a20 {p437 p53 p440 p453 }) ({p587 p134 p441 p379 p17 p148 } a20 {p133 p576 p541 p53 p590 p119 p144 p358 p257 }) ({p289 p628 p352 p11 p510 p402 p380 p237 p635 p411 p355 p265 p644 p555 p194 p122 p92 p249 } a31 {p0 p286 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p268 p523 p502 p92 p126 p46 }) ({p231 p581 p399 p11 p85 p119 p556 p434 p257 } a31 {p134 p103 p305 p583 p111 p224 p434 p46 }) ({p59 } a25 {p83 }) ({p230 p541 p56 p426 p317 p427 p318 p184 p295 p17 p434 p595 p493 p576 p365 p522 p599 p371 p92 p308 p180 } a20 {p230 p541 p53 p56 p426 p427 p319 p318 p141 p186 p256 p434 p491 p596 p576 p343 p522 p605 p275 p92 p372 p472 }) ({p63 } a35 {p73 }) ({p536 p230 p541 p590 p426 p138 p427 p318 p11 p358 p434 p299 p468 p576 p275 p92 p472 } a31 {p536 p230 p541 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p493 p576 p120 p92 p280 p46 }) ({p230 p52 p426 p463 p427 p318 p592 p111 p17 p434 p360 p576 p470 p82 p267 p305 p176 p557 p92 p531 p279 } a20 {p230 p52 p53 p426 p427 p318 p108 p434 p594 p113 p468 p576 p363 p266 p86 p556 p307 p92 p179 p277 p531 }) ({p254 p11 p510 p402 p380 p237 p635 p436 p643 p555 p194 p92 p249 } a31 {p250 p564 p623 p352 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p46 }) ({p241 p11 p555 p510 p378 p194 p249 p635 } a31 {p564 p623 p439 p247 p523 p208 p405 p502 p633 p514 p46 }) ({p0 p564 p623 p289 p630 p207 p511 p403 p17 p514 p412 p382 p645 p502 p198 p126 } a20 {p3 p53 p542 p289 p395 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p504 }) ({p425 p321 p11 p431 p354 p569 p455 p438 p440 p642 p177 p92 p281 } a31 {p577 p430 p353 p445 p198 p346 p92 p189 p607 p620 p46 p281 }) ({p550 p507 p193 p11 p208 p92 p188 p461 p636 } a31 {p539 p439 p558 p208 p92 p606 p114 p46 }) ({p133 p576 p541 p32 p427 p144 p527 p297 p460 p586 } a51 {p574 p587 p537 p427 p441 p379 p527 p18 }) ({p427 p351 p17 p619 p573 p409 } a20 {p580 p325 p53 p316 p351 p641 p171 p461 }) ({p438 p565 p425 p116 p642 p11 p354 p386 p177 p92 p281 } a31 {p132 p626 p233 p430 p353 p571 p189 p346 p92 p227 p620 p46 p281 }) ({p231 p104 p315 p318 p399 p11 p257 p581 p81 p119 p418 p556 p92 } a31 {p134 p315 p318 p305 p583 p111 p323 p89 p433 p224 p92 p46 }) ({p229 p537 p316 p427 p397 p320 p147 p487 p574 p383 p496 p32 p599 p527 p129 p374 } a51 {p229 p537 p316 p427 p397 p320 p147 p18 p487 p574 p596 p496 p601 p527 p129 p374 }) ({p550 p32 p523 p208 p405 p633 p188 p461 } a51 {p555 p378 p208 p18 p249 }) ({p230 p541 p426 p427 p318 p11 p64 p322 p294 p434 p487 p576 p495 p34 p123 p92 } a31 {p230 p541 p426 p427 p318 p140 p62 p322 p294 p434 p487 p576 p495 p496 p471 p92 p46 }) ({p334 p230 p541 p426 p463 p427 p592 p340 p17 p434 p299 p360 p470 p120 p176 p56 p318 p140 p322 p513 p487 p489 p576 p495 p82 p267 p92 p534 p279 } a20 {p335 p230 p541 p426 p427 p108 p339 p434 p594 p299 p468 p363 p123 p179 p53 p56 p138 p318 p322 p487 p515 p489 p576 p495 p86 p92 p531 p277 }) ({p230 p541 p426 p427 p318 p140 p62 p322 p17 p434 p487 p299 p576 p495 p31 p120 p92 } a20 {p230 p541 p53 p426 p138 p427 p60 p318 p322 p434 p487 p299 p576 p495 p34 p123 p92 }) ({p468 p138 p32 p591 p118 p91 p359 p299 } a51 {p360 p469 p136 p463 p592 p293 p120 p18 p280 }) ({p231 p104 p326 p581 p81 p399 p11 p510 p92 p249 p635 } a31 {p623 p429 p583 p89 p323 p224 p502 p92 p633 p46 }) ({p538 p609 p426 p427 p11 p296 p434 p113 p410 p616 p24 p174 p369 p307 p473 p319 p318 p452 p144 p258 p491 p576 p219 p266 p525 p331 p92 p585 } a31 {p101 p587 p540 p426 p232 p427 p318 p610 p509 p400 p451 p434 p615 p410 p576 p262 p175 p524 p557 p332 p92 p308 p475 p46 }) ({p538 p609 p426 p427 p11 p296 p434 p113 p616 p24 p244 p174 p369 p307 p473 p373 p319 p318 p452 p144 p258 p491 p576 p219 p266 p525 p331 p92 p585 } a31 {p101 p587 p540 p426 p232 p427 p610 p400 p434 p615 p410 p244 p175 p557 p308 p475 p46 p318 p509 p451 p576 p262 p524 p332 p92 }) ({p230 p541 p426 p427 p318 p141 p62 p11 p322 p293 p295 p434 p487 p299 p596 p576 p343 p495 p92 p530 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p293 p295 p434 p487 p299 p576 p495 p599 p371 p92 p530 p46 }) ({p73 } a28 {p71 }) ({p536 p587 p230 p426 p427 p610 p295 p17 p434 p296 p618 p175 p366 p308 p317 p318 p509 p148 p454 p493 p576 p262 p218 p524 p526 p332 p92 } a20 {p538 p230 p590 p426 p499 p427 p358 p434 p296 p616 p369 p603 p472 p53 p319 p318 p256 p512 p452 p144 p491 p576 p264 p219 p525 p275 p199 p92 p333 }) ({p231 p104 p543 p396 p10 p399 p234 p11 p613 p242 p617 p119 p556 p443 p447 p48 p257 p457 p581 p81 p418 p269 p92 p389 p282 } a31 {p390 p134 p608 p315 p13 p111 p236 p323 p433 p211 p408 p407 p456 p578 p640 p305 p583 p89 p224 p528 p92 p448 p46 }) ({p547 p173 p11 p99 } a31 {p344 p155 p97 p561 p621 p46 }) ({p468 p60 p140 p120 p294 p17 p280 } a20 {p468 p53 p138 p60 p123 p94 p299 }) ({p230 p541 p426 p427 p318 p11 p322 p593 p434 p487 p576 p361 p495 p38 p92 p374 } a31 {p287 p230 p541 p545 p137 p426 p427 p318 p322 p434 p487 p466 p576 p495 p496 p195 p92 p46 }) ({p56 p463 p140 p592 p294 p17 p360 p470 p82 p267 p120 p176 p531 p280 p279 } a20 {p53 p56 p138 p108 p594 p299 p468 p363 p86 p123 p94 p179 p277 p531 }) ({p230 p590 p426 p499 p427 p138 p318 p11 p256 p512 p358 p434 p299 p468 p576 p618 p264 p86 p275 p199 p92 p472 p531 p277 } a31 {p536 p230 p426 p463 p427 p592 p295 p434 p360 p618 p366 p120 p176 p46 p317 p318 p324 p513 p148 p493 p576 p218 p267 p526 p92 p280 }) ({p590 p426 p499 p427 p318 p11 p339 p512 p358 p434 p257 p301 p468 p264 p86 p119 p556 p443 p603 p199 p92 p531 p277 p333 } a31 {p334 p536 p426 p463 p427 p592 p111 p434 p301 p360 p618 p305 p366 p176 p46 p134 p318 p513 p148 p454 p578 p218 p267 p526 p92 }) ({p202 p132 p345 p353 p155 p17 p560 p97 p201 p189 } a20 {p173 p53 p135 p565 p425 p116 p386 p177 p187 p92 p278 }) ({p577 p438 p173 p315 p354 p433 p17 p633 p607 p620 } a20 {p438 p53 p173 p581 p81 p642 p321 p418 p269 p431 p354 p249 }) ({p259 p132 p345 p353 p155 p17 p560 p97 p281 p201 p189 } a20 {p261 p173 p53 p135 p565 p425 p116 p386 p177 p187 p92 }) ({p230 p541 p426 p58 p138 p427 p318 p141 p11 p256 p434 p299 p596 p576 p343 p275 p92 p530 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p434 p493 p576 p599 p120 p371 p92 p530 p280 p46 }) ({p538 p579 p11 p441 p379 } a31 {p576 p541 p524 p568 p46 }) ({p101 p289 p232 p400 p511 p17 p635 p613 p583 p89 p224 p502 p92 } a20 {p53 p231 p104 p289 p399 p510 p635 p613 p258 p24 p174 p92 p585 p504 }) ({p230 p541 p426 p137 p427 p318 p322 p293 p17 p434 p487 p299 p469 p576 p495 p118 p92 } a20 {p230 p53 p541 p136 p426 p427 p318 p322 p293 p434 p487 p299 p469 p576 p495 p38 p92 }) ({p230 p541 p426 p427 p318 p11 p64 p322 p434 p487 p576 p495 p34 p123 p94 p92 } a31 {p230 p541 p426 p427 p318 p140 p62 p322 p294 p69 p434 p487 p576 p495 p496 p471 p92 p46 }) ({p283 p101 p133 p538 p542 p11 p144 p258 p579 p174 p219 p369 p92 p585 p504 } a31 {p283 p101 p587 p232 p400 p568 p511 p262 p175 p524 p527 p92 p46 }) ({p516 p11 p354 } a31 {p639 p626 p354 p46 }) ({p437 p32 p566 p353 p198 p453 p501 p417 } a51 {p428 p442 p569 p196 p18 }) ({p7 } a41 {p20 }) ({p335 p230 p541 p426 p427 p11 p108 p294 p434 p594 p342 p363 p605 p123 p372 p179 p481 p58 p318 p322 p186 p487 p515 p492 p576 p495 p522 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p483 p322 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p328 p17 } a20 {p53 p324 p487 }) ({p563 p437 p32 p353 p501 p300 } a51 {p565 p428 p646 p18 p388 }) ({p250 p11 p555 p510 p402 p194 p208 p380 p92 p635 p249 p436 } a31 {p250 p564 p623 p208 p633 p514 p436 p382 p439 p523 p502 p92 p46 }) ({p230 p426 p463 p427 p318 p592 p111 p17 p434 p360 p576 p470 p267 p305 p86 p557 p92 p279 } a20 {p230 p53 p426 p427 p318 p108 p434 p594 p113 p468 p576 p363 p266 p86 p556 p307 p92 p277 }) ({p576 p426 p397 p427 p318 p582 p17 p434 p503 p559 p92 p220 } a20 {p562 p229 p53 p426 p427 p318 p112 p434 p576 p306 p584 p92 p130 }) ({p562 p229 p576 p580 p426 p318 p427 p11 p434 p92 p171 p467 } a31 {p576 p426 p318 p427 p582 p434 p503 p92 p220 p129 p46 }) ({p230 p541 p545 p426 p427 p318 p17 p434 p298 p487 p576 p601 p195 p92 p158 } a20 {p230 p541 p53 p426 p427 p318 p320 p434 p576 p383 p328 p92 p226 p374 }) ({p11 p97 p278 } a31 {p97 p278 p46 }) ({p230 p541 p426 p427 p318 p319 p60 p184 p322 p293 p17 p434 p487 p299 p595 p576 p495 p365 p522 p599 p371 p92 p180 } a20 {p230 p53 p541 p426 p427 p318 p319 p60 p141 p322 p293 p186 p434 p487 p299 p596 p576 p343 p495 p522 p605 p92 p372 }) ({p231 p104 p399 p11 p257 p613 p456 p581 p81 p119 p418 p269 p556 p443 p92 } a31 {p134 p608 p315 p111 p323 p433 p456 p578 p305 p583 p89 p224 p92 p46 }) ({p547 p135 p32 p170 p99 } a51 {p161 p553 p18 p421 }) ({p538 p319 p11 p379 p160 } a31 {p541 p322 p524 p308 p46 }) ({p101 p538 p426 p319 p427 p318 p11 p144 p434 p113 p258 p491 p576 p174 p219 p266 p369 p307 p92 p585 } a31 {p101 p587 p426 p232 p427 p318 p400 p434 p576 p262 p175 p524 p557 p92 p308 p46 }) ({p283 p133 p3 p395 p321 p11 p431 p569 p632 p210 p406 p455 p413 p579 p440 p385 p270 p647 p527 p92 p504 } a31 {p283 p6 p398 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p229 p537 p287 p316 p427 p320 p295 p147 p487 p574 p383 p32 p599 p226 } a51 {p229 p537 p287 p316 p427 p320 p147 p298 p18 p487 p574 p596 p601 p275 }) ({p623 p11 p156 } a31 {p209 p527 p514 p635 p46 }) ({p83 } a26 {p73 }) ({p334 p479 p58 p463 p140 p592 p294 p340 p513 p17 p490 p360 p26 p470 p82 p267 p120 p176 p534 p280 p279 } a20 {p335 p53 p56 p481 p138 p108 p339 p594 p515 p489 p299 p468 p29 p363 p86 p123 p94 p179 p531 p277 }) ({p11 p156 p527 } a31 {p209 p527 p514 p46 }) ({p536 p587 p134 p426 p427 p318 p610 p509 p568 p17 p434 p296 p148 p454 p578 p618 p262 p218 p175 p366 p524 p526 p332 p92 } a20 {p538 p590 p426 p499 p427 p358 p434 p296 p616 p119 p369 p443 p603 p133 p53 p318 p512 p452 p144 p257 p579 p264 p219 p525 p199 p92 p333 }) ({p285 p315 p352 p430 p433 p17 p633 p436 p456 p577 p173 p445 p346 p607 p620 } a20 {p285 p53 p254 p321 p431 p354 p455 p438 p355 p173 p581 p81 p642 p418 p269 p447 p249 }) ({p230 p541 p426 p427 p318 p141 p62 p11 p322 p293 p295 p434 p341 p487 p299 p596 p576 p343 p495 p497 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p293 p295 p434 p341 p487 p299 p576 p495 p599 p371 p530 p92 p46 }) ({p577 p354 p433 p459 p17 p633 p620 } a20 {p53 p581 p81 p318 p642 p418 p431 p354 p249 }) ({p283 p0 p564 p623 p630 p207 p511 p403 p17 p514 p412 p382 p268 p645 p502 p198 p126 } a20 {p3 p53 p252 p289 p542 p395 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p504 }) ({p230 p541 p426 p427 p11 p108 p294 p340 p434 p594 p363 p605 p123 p372 p179 p58 p318 p322 p186 p487 p515 p576 p495 p522 p92 } a31 {p287 p230 p541 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p487 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p639 p233 p11 p354 } a31 {p639 p233 p354 p46 }) ({p101 p283 p608 p540 p232 p396 p451 p400 p511 p17 p635 p615 p268 p583 p89 p224 p528 p502 p92 p448 } a20 {p53 p231 p104 p543 p252 p289 p609 p396 p399 p510 p613 p635 p258 p24 p457 p174 p331 p92 p585 p473 p504 }) ({p230 p590 p426 p138 p499 p427 p318 p11 p256 p358 p434 p299 p468 p576 p264 p86 p526 p275 p199 p92 p277 p472 } a31 {p536 p230 p317 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p493 p576 p218 p267 p366 p120 p176 p526 p92 p280 p46 }) ({p230 p541 p336 p426 p427 p293 p341 p17 p434 p299 p595 p365 p599 p371 p180 p318 p319 p60 p483 p184 p322 p487 p517 p494 p576 p495 p530 p92 } a20 {p230 p541 p426 p427 p293 p434 p342 p299 p596 p343 p303 p605 p372 p53 p318 p319 p60 p141 p322 p186 p487 p492 p576 p495 p522 p458 p497 p92 }) ({p11 p91 } a31 {p293 p69 p46 }) ({p230 p541 p426 p427 p318 p141 p62 p11 p322 p293 p295 p434 p487 p299 p596 p576 p494 p343 p303 p495 p497 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p293 p295 p341 p434 p487 p299 p576 p494 p495 p599 p371 p530 p92 p46 }) ({p231 p104 p543 p396 p399 p11 p257 p613 p457 p581 p640 p81 p119 p418 p269 p556 p443 p92 p447 p389 p282 } a31 {p390 p134 p608 p315 p111 p323 p433 p211 p408 p456 p578 p640 p305 p583 p89 p224 p528 p92 p448 p46 }) ({p623 p583 p400 p511 p502 p17 p622 } a20 {p230 p53 p542 p399 p510 p585 p504 p635 p258 }) ({p230 p541 p56 p426 p317 p427 p318 p186 p295 p17 p434 p595 p493 p576 p365 p599 p371 p92 p308 } a20 {p230 p541 p53 p56 p426 p427 p319 p318 p256 p186 p434 p491 p596 p576 p343 p605 p275 p92 p372 p472 }) ({p493 p599 p197 p295 p17 p595 p160 } a20 {p491 p596 p375 p53 p322 p605 p275 p472 }) ({p574 p134 p589 p549 p316 p32 p427 p357 p148 p467 } a51 {p574 p590 p316 p427 p119 p358 p147 p18 p257 p129 }) ({p230 p541 p137 p426 p427 p318 p591 p322 p293 p17 p434 p487 p359 p466 p576 p495 p118 p92 } a20 {p230 p541 p53 p136 p426 p427 p318 p322 p293 p593 p434 p487 p469 p576 p361 p495 p38 p92 }) ({p100 p213 p163 p116 p11 p555 p402 p194 p380 p187 } a31 {p259 p132 p564 p382 p165 p439 p345 p523 p208 p92 p514 p46 }) ({p352 p11 p510 p402 p380 p237 p635 p436 p643 p555 p194 p92 p249 } a31 {p564 p623 p352 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p46 }) ({p230 p54 p426 p319 p427 p318 p11 p186 p108 p434 p594 p113 p491 p576 p363 p266 p307 p605 p92 p372 p179 p534 } a31 {p287 p230 p54 p426 p427 p318 p434 p595 p576 p470 p365 p82 p557 p92 p308 p279 p534 p180 p46 }) ({p287 p138 p427 p397 p32 p118 p69 p147 p527 p487 p129 } a51 {p287 p136 p427 p397 p120 p69 p147 p527 p18 p487 p129 }) ({p230 p538 p541 p231 p426 p427 p17 p434 p468 p173 p247 p471 p556 p318 p319 p321 p322 p510 p487 p576 p495 p579 p641 p642 p193 p194 p92 } a20 {p230 p538 p541 p231 p426 p427 p434 p468 p173 p247 p556 p53 p318 p319 p64 p321 p322 p510 p487 p576 p495 p579 p641 p642 p193 p194 p92 }) ({p231 p104 p399 p11 p211 p257 p613 p457 p581 p81 p119 p418 p269 p556 p443 p92 p447 } a31 {p134 p608 p315 p111 p323 p433 p211 p456 p578 p305 p583 p89 p224 p92 p448 p46 }) ({p230 p541 p426 p58 p138 p427 p318 p141 p11 p256 p434 p341 p299 p596 p576 p343 p497 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p434 p341 p493 p576 p599 p120 p371 p530 p92 p280 p46 }) ({p283 p133 p538 p609 p11 p452 p144 p258 p616 p24 p579 p174 p219 p525 p331 p369 p527 p92 p585 p504 } a31 {p101 p283 p587 p232 p610 p509 p451 p400 p568 p511 p615 p262 p175 p524 p332 p527 p92 p46 }) ({p230 p32 p427 p582 p399 p556 p503 p527 p220 p129 } a51 {p562 p229 p427 p305 p583 p111 p527 p18 p622 p129 }) ({p564 p623 p511 p156 p502 p198 p17 } a20 {p53 p542 p440 p510 p194 p569 p209 p504 p635 }) ({p230 p541 p426 p427 p11 p108 p340 p434 p594 p363 p605 p123 p372 p179 p58 p318 p322 p186 p487 p515 p576 p495 p522 p94 p92 } a31 {p287 p230 p541 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p69 p487 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p230 p541 p545 p426 p427 p318 p320 p322 p293 p17 p434 p487 p299 p576 p495 p601 p195 p92 } a20 {p230 p53 p541 p426 p427 p318 p320 p322 p293 p434 p487 p299 p576 p495 p383 p92 p374 }) ({p360 p470 p463 p140 p267 p86 p592 p120 p294 p17 p280 p279 } a20 {p468 p53 p363 p138 p86 p108 p123 p94 p594 p277 p299 }) ({p516 p471 p233 p523 p354 p17 p571 p633 p620 } a20 {p639 p53 p642 p64 p555 p354 p380 p237 p249 }) ({p250 p287 p376 p61 p324 p323 p208 p69 p173 p496 p439 p527 p92 } a5 {p377 p155 p66 p97 }) ({p286 p626 p352 p233 p430 p17 p571 p633 p436 p263 p643 p523 p346 p227 p620 } a20 {p285 p53 p628 p254 p354 p380 p237 p438 p355 p265 p642 p555 p122 p249 }) ({p32 p566 p511 p95 p198 p453 p417 } a51 {p508 p442 p569 p196 p18 p504 }) ({p20 } a46 {p21 }) ({p230 p426 p427 p318 p320 p11 p593 p112 p434 p576 p361 p306 p92 p374 } a31 {p287 p230 p545 p426 p427 p318 p434 p466 p576 p195 p559 p92 p158 p46 }) ({p508 p558 p196 p17 p92 p606 p114 p636 } a20 {p53 p566 p507 p193 p95 p92 p417 p636 }) ({p202 p11 p97 } a31 {p259 p278 p97 p46 }) ({p212 p550 p507 p193 p11 p188 p461 p636 } a31 {p539 p439 p248 p558 p208 p606 p114 p46 }) ({p27 } a49 {p8 }) ({p283 p133 p3 p542 p395 p321 p11 p431 p569 p632 p210 p406 p455 p413 p579 p440 p385 p270 p647 p92 p504 } a31 {p283 p6 p398 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p101 p608 p623 p289 p232 p451 p400 p511 p17 p615 p583 p89 p224 p502 p448 } a20 {p53 p231 p104 p542 p289 p609 p399 p510 p613 p635 p258 p24 p457 p174 p331 p585 p504 }) ({p230 p541 p426 p58 p138 p427 p318 p141 p11 p256 p434 p299 p596 p576 p494 p343 p303 p497 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p341 p434 p493 p576 p494 p599 p120 p371 p530 p92 p280 p46 }) ({p428 p442 p17 } a20 {p437 p53 p440 p425 p453 }) ({p231 p104 p254 p399 p11 p510 p613 p635 p436 p581 p81 p418 p269 p92 p249 } a31 {p250 p608 p623 p315 p352 p323 p433 p633 p436 p583 p89 p224 p502 p92 p46 }) ({p536 p587 p426 p427 p610 p17 p434 p301 p618 p175 p366 p475 p48 p134 p318 p509 p568 p148 p454 p578 p262 p218 p524 p526 p332 p92 } a20 {p538 p590 p426 p499 p427 p358 p296 p434 p616 p119 p369 p443 p603 p48 p477 p133 p53 p318 p512 p452 p144 p257 p579 p264 p219 p525 p199 p92 p333 }) ({p564 p289 p207 p511 p403 p17 p514 p635 p382 p644 p502 p198 p92 } a20 {p53 p289 p510 p402 p569 p635 p440 p385 p644 p270 p194 p92 p504 }) ({p334 p230 p426 p463 p427 p592 p111 p340 p17 p434 p360 p470 p305 p176 p557 p52 p318 p513 p489 p576 p82 p267 p92 p534 p279 } a20 {p335 p230 p426 p427 p108 p339 p434 p594 p113 p468 p363 p556 p307 p179 p52 p53 p318 p515 p489 p576 p266 p86 p92 p531 p277 }) ({p335 p230 p426 p427 p11 p108 p434 p594 p342 p113 p22 p363 p307 p605 p372 p179 p56 p481 p319 p318 p186 p515 p492 p491 p576 p522 p266 p92 } a31 {p287 p230 p336 p426 p427 p340 p434 p595 p26 p470 p365 p557 p308 p180 p46 p54 p318 p483 p490 p517 p576 p82 p92 p534 p279 }) ({p253 p471 p248 p567 p17 p619 p222 } a20 {p212 p250 p53 p550 p641 p351 p64 p188 p461 }) ({p345 p11 p208 p92 p278 } a31 {p345 p208 p92 p278 p46 }) ({p574 p229 p537 p287 p316 p427 p32 p140 p320 p38 p487 } a51 {p574 p229 p537 p287 p137 p316 p427 p320 p123 p18 p487 }) ({p230 p541 p426 p427 p318 p62 p11 p322 p293 p294 p434 p487 p299 p576 p470 p495 p123 p92 } a31 {p230 p541 p426 p427 p318 p140 p62 p322 p293 p294 p434 p487 p299 p576 p470 p495 p496 p92 p46 }) ({p161 p173 p553 p11 p187 p421 } a31 {p259 p345 p155 p560 p97 p201 p170 p46 }) ({p285 p261 p438 p565 p425 p116 p642 p11 p354 p386 p177 p92 } a31 {p132 p626 p233 p430 p353 p571 p189 p263 p346 p92 p227 p281 p620 p46 }) ({p231 p104 p543 p399 p11 p257 p613 p408 p457 p581 p81 p119 p418 p269 p556 p443 p92 p447 p282 } a31 {p134 p608 p315 p111 p323 p433 p211 p408 p456 p578 p305 p583 p89 p224 p528 p92 p448 p46 }) ({p289 p104 p232 p583 p400 p511 p224 p17 p502 p92 p635 } a20 {p53 p231 p289 p104 p174 p399 p510 p92 p585 p635 p504 p258 }) ({p335 p230 p541 p426 p427 p11 p108 p434 p594 p342 p363 p605 p123 p372 p179 p481 p58 p318 p322 p186 p487 p515 p492 p576 p495 p522 p94 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p483 p322 p69 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p231 p104 p543 p396 p399 p11 p257 p613 p407 p457 p617 p581 p81 p119 p418 p269 p556 p443 p92 p447 p389 p282 } a31 {p390 p134 p608 p315 p111 p323 p433 p211 p408 p407 p456 p578 p640 p305 p583 p89 p224 p528 p92 p448 p46 }) ({p580 p103 p325 p32 p434 p633 p171 p461 } a51 {p581 p427 p85 p419 p18 p249 }) ({p230 p541 p426 p317 p138 p427 p318 p11 p322 p434 p148 p299 p596 p576 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p427 p318 p322 p324 p295 p434 p148 p493 p576 p599 p120 p92 p280 p46 }) ({p231 p104 p326 p581 p318 p81 p399 p11 p119 p556 p92 p257 } a31 {p134 p318 p305 p429 p583 p111 p89 p323 p224 p92 p46 }) ({p230 p541 p426 p427 p397 p11 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p596 p470 p557 p559 p371 p129 p132 p375 p134 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 } a31 {p230 p541 p426 p427 p397 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p599 p557 p559 p371 p46 p129 p132 p375 p134 p376 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 }) ({p250 p318 p32 p642 p431 p208 p619 p573 p409 } a51 {p577 p250 p316 p641 p208 p459 p18 p620 }) ({p538 p230 p426 p319 p427 p232 p318 p11 p144 p434 p113 p258 p491 p576 p266 p369 p307 p92 p585 } a31 {p587 p230 p426 p427 p232 p318 p400 p434 p576 p262 p524 p557 p92 p308 p46 }) ({p25 } a48 {p28 }) ({p23 } a47 {p32 }) ({p626 p471 p643 p233 p523 p354 p17 p571 p633 p620 } a20 {p53 p628 p642 p64 p555 p354 p380 p237 p249 }) ({p11 p280 } a31 {p69 p299 p46 }) ({p0 p286 p315 p352 p430 p433 p17 p211 p633 p408 p436 p456 p577 p263 p155 p445 p387 p346 p276 p607 p620 } a20 {p285 p3 p53 p254 p321 p431 p354 p210 p406 p455 p438 p355 p173 p581 p81 p265 p642 p418 p269 p447 p249 p389 p282 }) ({p286 p231 p104 p254 p399 p11 p510 p613 p635 p457 p355 p581 p81 p418 p269 p92 p447 p249 } a31 {p250 p286 p608 p623 p315 p352 p323 p433 p633 p436 p456 p583 p89 p224 p502 p92 p448 p46 }) ({p250 p231 p104 p543 p289 p399 p11 p510 p613 p635 p408 p457 p355 p581 p81 p265 p418 p269 p92 p447 p249 p282 } a31 {p250 p286 p608 p623 p315 p323 p433 p211 p633 p408 p436 p456 p268 p583 p89 p224 p528 p502 p92 p448 p46 }) ({p138 p427 p397 p591 p293 p147 p487 p359 p468 p32 p118 p527 p129 } a51 {p136 p463 p427 p397 p592 p293 p147 p18 p487 p360 p469 p120 p527 p129 }) ({p516 p11 p346 } a31 {p250 p639 p626 p354 p46 }) ({p563 p641 p351 p64 p11 p92 p501 p300 } a31 {p253 p471 p567 p92 p619 p222 p46 }) ({p587 p493 p295 p379 p17 p148 p160 } a20 {p491 p541 p53 p590 p322 p144 p358 p275 p472 }) ({p325 p17 } a20 {p53 p427 p323 }) ({p564 p289 p207 p511 p402 p502 p17 p198 p92 p514 p635 } a20 {p53 p289 p440 p510 p270 p402 p194 p569 p92 p635 p504 }) ({p334 p56 p463 p140 p592 p294 p340 p513 p17 p489 p360 p470 p82 p267 p120 p176 p534 p280 p279 } a20 {p335 p53 p56 p138 p108 p339 p594 p515 p299 p489 p468 p363 p86 p123 p94 p179 p531 p277 }) ({p397 p582 p508 p17 p92 p220 p114 p636 } a20 {p229 p53 p507 p584 p95 p92 p130 p636 }) ({p134 p580 p103 p325 p32 p434 p171 p467 } a51 {p581 p427 p85 p119 p419 p18 p257 p129 }) ({p229 p580 p427 p507 p11 p92 p171 p461 p636 } a31 {p539 p427 p582 p92 p220 p114 p46 }) ({p580 p103 p32 p427 p633 p171 p461 } a51 {p581 p427 p85 p18 p249 }) ({p305 p583 p400 p111 p557 p17 p622 } a20 {p230 p53 p266 p399 p556 p307 p585 p113 p258 }) ({p334 p230 p541 p426 p463 p427 p592 p340 p17 p434 p299 p360 p470 p120 p176 p479 p56 p318 p140 p322 p513 p487 p490 p576 p495 p82 p267 p92 p534 p279 } a20 {p335 p230 p541 p426 p427 p108 p339 p434 p594 p299 p468 p363 p123 p179 p53 p56 p481 p138 p318 p322 p487 p515 p489 p576 p495 p86 p92 p531 p277 }) ({p642 p428 p321 p11 p442 p431 p354 p569 } a31 {p577 p437 p353 p198 p346 p453 p607 p620 p46 }) ({p260 p17 } a20 {p53 p368 p258 }) ({p383 p136 p11 p328 p293 p147 p226 } a31 {p376 p118 p601 p324 p91 p147 p298 p487 p46 }) ({p230 p541 p426 p427 p318 p60 p140 p322 p293 p17 p434 p487 p299 p468 p576 p495 p120 p92 } a20 {p230 p53 p541 p426 p427 p318 p60 p138 p322 p293 p434 p487 p299 p468 p576 p495 p92 p123 }) ({p101 p390 p608 p540 p426 p232 p427 p400 p111 p17 p434 p615 p410 p242 p305 p557 p448 p318 p451 p576 p583 p89 p224 p528 p92 } a20 {p231 p104 p543 p609 p426 p396 p427 p399 p434 p113 p613 p24 p242 p174 p556 p307 p473 p373 p53 p318 p258 p457 p576 p266 p331 p92 p585 }) ({p231 p104 p315 p426 p318 p427 p399 p11 p429 p433 p434 p257 p576 p578 p581 p81 p119 p556 p92 } a31 {p134 p315 p426 p318 p427 p429 p111 p433 p434 p576 p578 p305 p583 p89 p224 p92 p46 }) ({p8 } a42 {p76 }) ({p230 p541 p426 p138 p427 p318 p11 p322 p434 p148 p299 p596 p576 p329 p275 p92 } a31 {p230 p376 p541 p426 p427 p318 p322 p324 p295 p434 p148 p488 p576 p599 p120 p92 p280 p46 }) ({p241 p378 p17 } a20 {p213 p53 p247 p380 p405 }) ({p577 p134 p441 p433 p459 p17 } a20 {p133 p576 p53 p581 p81 p318 p119 p418 p431 p257 }) ({p230 p541 p426 p427 p318 p319 p60 p322 p293 p186 p17 p434 p487 p299 p595 p576 p495 p365 p599 p371 p92 } a20 {p230 p53 p541 p426 p427 p318 p319 p60 p322 p293 p186 p434 p487 p299 p596 p576 p343 p495 p605 p92 p372 }) ({p283 p133 p538 p542 p609 p11 p452 p144 p258 p616 p24 p579 p174 p219 p525 p331 p369 p92 p585 p504 } a31 {p101 p283 p587 p232 p610 p509 p451 p400 p568 p511 p615 p262 p175 p524 p332 p527 p92 p46 }) ({p101 p390 p608 p540 p426 p232 p427 p13 p400 p111 p236 p17 p434 p615 p410 p244 p305 p557 p448 p50 p318 p451 p576 p583 p89 p224 p528 p92 } a20 {p231 p104 p543 p609 p426 p396 p427 p399 p16 p434 p113 p613 p24 p242 p174 p556 p307 p473 p373 p48 p53 p318 p223 p258 p457 p576 p266 p331 p92 p585 }) ({p283 p133 p538 p11 p144 p258 p615 p24 p579 p174 p219 p525 p369 p527 p92 p585 p504 } a31 {p101 p283 p587 p232 p509 p400 p568 p511 p615 p262 p175 p524 p527 p92 p46 }) ({p639 p253 p32 p642 p567 p354 p619 p222 } a51 {p516 p641 p351 p233 p346 p571 p18 p620 }) ({p468 p32 p427 p397 p591 p556 p503 p527 p359 p129 } a51 {p360 p562 p469 p463 p427 p397 p305 p592 p111 p527 p18 p129 }) ({p536 p587 p230 p317 p426 p427 p318 p295 p17 p434 p148 p493 p576 p262 p219 p366 p524 p92 p308 } a20 {p538 p230 p53 p590 p426 p319 p499 p427 p318 p256 p144 p358 p434 p491 p576 p264 p219 p369 p275 p92 p472 }) ({p43 } a0 {p5 }) ({p230 p541 p426 p463 p427 p318 p140 p322 p592 p17 p434 p487 p299 p360 p576 p470 p495 p120 p92 p277 } a20 {p230 p541 p53 p426 p138 p427 p318 p322 p434 p594 p487 p299 p468 p576 p495 p363 p123 p92 p277 }) ({p562 p229 p580 p325 p11 p171 p467 } a31 {p427 p582 p323 p503 p220 p129 p46 }) ({p565 p642 p428 p64 p11 p646 p354 p388 } a31 {p437 p626 p471 p233 p353 p346 p571 p620 p46 }) ({p536 p587 p230 p317 p426 p427 p318 p295 p17 p434 p148 p493 p576 p369 p524 p92 p308 } a20 {p538 p230 p53 p590 p426 p319 p499 p427 p318 p256 p144 p358 p434 p491 p576 p369 p275 p92 p472 }) ({p230 p590 p426 p499 p427 p11 p339 p358 p434 p299 p301 p468 p603 p472 p138 p318 p256 p512 p576 p264 p86 p275 p199 p92 p531 p277 p333 } a31 {p334 p536 p230 p426 p463 p427 p592 p295 p434 p301 p360 p618 p366 p120 p176 p46 p317 p318 p324 p513 p148 p454 p493 p576 p218 p267 p526 p92 p280 }) ({p564 p289 p630 p207 p511 p403 p17 p514 p635 p411 p382 p645 p502 p198 p92 } a20 {p53 p289 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p92 p504 }) ({p286 p628 p254 p11 p510 p402 p380 p237 p635 p411 p355 p644 p555 p194 p122 p92 p249 } a31 {p0 p250 p286 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p126 p46 }) ({p639 p233 p11 p346 } a31 {p250 p639 p233 p354 p46 }) ({p101 p608 p289 p232 p400 p511 p17 p635 p615 p457 p583 p89 p224 p502 p92 } a20 {p53 p231 p104 p289 p609 p399 p510 p613 p635 p258 p24 p457 p174 p92 p585 p504 }) ({p134 p315 p6 p398 p568 p433 p17 p211 p634 p408 p407 p456 p577 p578 p640 p445 p387 p92 p276 p607 } a20 {p133 p53 p10 p234 p321 p431 p210 p406 p257 p455 p413 p617 p579 p581 p81 p119 p418 p269 p443 p647 p92 p447 p389 p282 }) ({p250 p321 p11 p459 p620 } a31 {p250 p318 p607 p620 p46 }) ({p230 p541 p426 p138 p427 p318 p11 p322 p434 p148 p487 p299 p488 p596 p576 p493 p495 p275 p92 } a31 {p230 p376 p541 p426 p427 p318 p322 p295 p434 p148 p487 p488 p576 p493 p495 p599 p120 p92 p280 p46 }) ({p538 p609 p10 p11 p296 p616 p24 p174 p369 p473 p373 p504 p48 p133 p252 p452 p144 p258 p579 p219 p525 p331 p527 p92 p585 } a31 {p101 p283 p587 p540 p232 p610 p509 p13 p451 p400 p568 p511 p615 p410 p262 p175 p524 p332 p527 p92 p475 p46 }) ({p229 p580 p325 p507 p11 p171 p461 p636 } a31 {p539 p427 p582 p323 p220 p114 p46 }) ({p536 p587 p426 p427 p610 p13 p17 p434 p301 p618 p175 p366 p475 p50 p134 p318 p509 p568 p148 p454 p578 p262 p218 p524 p526 p332 p92 } a20 {p538 p590 p426 p499 p427 p16 p358 p296 p434 p616 p119 p369 p443 p603 p48 p477 p133 p53 p318 p512 p452 p144 p257 p579 p264 p219 p525 p199 p92 p333 }) ({p574 p316 p566 p11 p95 p92 p417 } a31 {p508 p196 p92 p297 p573 p409 p46 }) ({p230 p541 p426 p427 p318 p141 p62 p11 p322 p293 p295 p434 p487 p299 p596 p576 p343 p303 p495 p458 p497 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p293 p295 p341 p434 p487 p299 p494 p576 p495 p599 p371 p530 p92 p46 }) ({p564 p165 p353 p207 p403 p17 p514 p189 p259 p172 p382 p345 p198 p92 p281 } a20 {p53 p425 p167 p402 p569 p187 p261 p440 p385 p270 p194 p177 p92 }) ({p230 p541 p336 p426 p427 p295 p341 p17 p434 p595 p26 p365 p599 p371 p308 p180 p58 p317 p318 p483 p184 p517 p494 p493 p576 p530 p92 } a20 {p230 p541 p426 p427 p434 p342 p596 p343 p303 p29 p605 p372 p472 p53 p56 p319 p318 p141 p186 p256 p492 p491 p576 p522 p458 p497 p275 p92 }) ({p101 p390 p283 p608 p540 p6 p232 p451 p400 p511 p17 p635 p615 p410 p268 p583 p89 p224 p528 p502 p92 p448 } a20 {p53 p231 p104 p543 p252 p289 p609 p396 p10 p399 p510 p613 p635 p258 p24 p457 p174 p331 p92 p585 p473 p373 p504 }) ({p230 p426 p427 p318 p147 p17 p434 p298 p487 p576 p92 p460 p158 p586 } a20 {p537 p230 p589 p53 p426 p427 p318 p320 p357 p434 p576 p549 p328 p92 p226 }) ({p491 p260 p538 p266 p319 p11 p307 p144 p585 p113 } a31 {p587 p400 p368 p524 p557 p308 p46 }) ({p150 p161 p173 p64 p11 p555 p646 p378 p194 p187 } a31 {p259 p564 p439 p471 p345 p523 p155 p405 p514 p170 p46 }) ({p250 p231 p104 p315 p399 p11 p510 p635 p436 p581 p81 p418 p92 p249 } a31 {p250 p623 p315 p323 p433 p633 p436 p583 p89 p224 p502 p92 p46 }) ({p286 p315 p430 p354 p433 p17 p211 p633 p436 p456 p577 p173 p263 p445 p276 p607 p620 } a20 {p285 p53 p321 p431 p354 p210 p455 p438 p355 p173 p581 p81 p265 p642 p418 p269 p447 p249 p282 }) ({p316 p641 p351 p566 p11 p92 p501 p417 } a31 {p253 p196 p92 p619 p573 p409 p46 }) ({p230 p541 p426 p58 p427 p318 p11 p322 p186 p108 p294 p434 p594 p487 p576 p495 p363 p605 p123 p92 p372 p179 p534 } a31 {p287 p230 p541 p426 p58 p427 p318 p140 p322 p294 p434 p487 p595 p576 p470 p495 p496 p365 p82 p92 p279 p534 p180 p46 }) ({p133 p579 p321 p11 p442 p431 p569 p527 p504 } a31 {p577 p568 p511 p198 p527 p453 p607 p46 }) ({p31 p140 p62 p120 p294 p17 p280 } a20 {p53 p138 p60 p34 p123 p94 p299 }) ({p335 p230 p426 p427 p11 p108 p434 p594 p342 p113 p363 p307 p605 p372 p179 p54 p319 p318 p186 p515 p490 p491 p576 p522 p266 p92 } a31 {p287 p230 p54 p336 p426 p427 p318 p340 p434 p595 p490 p517 p576 p470 p365 p82 p557 p92 p308 p534 p279 p180 p46 }) ({p495 p383 p32 p599 p328 p295 p147 p226 } a51 {p596 p601 p275 p147 p298 p487 p18 p474 }) ({p377 p155 p66 p97 } a7 {p547 p173 p99 p72 }) ({p230 p541 p426 p58 p138 p427 p318 p141 p11 p256 p434 p299 p596 p576 p343 p303 p458 p497 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p341 p434 p494 p493 p576 p599 p120 p371 p530 p92 p280 p46 }) ({p318 p11 p208 p346 } a31 {p250 p318 p354 p208 p46 }) ({p590 p426 p499 p318 p427 p11 p512 p358 p434 p257 p454 p468 p264 p86 p119 p556 p443 p603 p199 p92 p531 p277 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p513 p434 p148 p454 p360 p578 p618 p218 p267 p305 p366 p176 p526 p92 p46 }) ({p133 p538 p252 p609 p11 p452 p144 p296 p258 p410 p616 p24 p579 p174 p219 p525 p331 p369 p527 p92 p585 p473 p504 } a31 {p101 p283 p587 p540 p232 p610 p509 p451 p400 p568 p511 p615 p410 p262 p175 p524 p332 p527 p92 p475 p46 }) ({p283 p133 p321 p11 p431 p569 p403 p210 p455 p579 p440 p270 p527 p92 p504 } a31 {p283 p568 p207 p511 p403 p577 p445 p198 p527 p92 p276 p607 p46 }) ({p230 p590 p426 p499 p427 p11 p339 p358 p434 p299 p468 p603 p472 p477 p138 p318 p256 p512 p489 p576 p154 p264 p86 p275 p199 p92 p531 p277 p333 } a31 {p334 p536 p230 p426 p463 p427 p592 p295 p434 p301 p360 p618 p366 p120 p176 p46 p479 p317 p318 p324 p513 p148 p454 p493 p576 p154 p218 p267 p526 p92 p280 }) ({p539 p32 p510 p194 p558 p209 p635 p606 p114 } a51 {p564 p623 p507 p193 p156 p502 p18 p636 }) ({p285 p626 p233 p430 p354 p17 p571 p633 p436 p643 p523 p227 p620 } a20 {p285 p438 p53 p355 p628 p642 p555 p354 p380 p237 p122 p249 }) ({p231 p104 p315 p399 p11 p510 p323 p635 p436 p581 p81 p92 p249 } a31 {p623 p315 p583 p89 p323 p224 p502 p92 p633 p46 p436 }) ({p161 p132 p553 p523 p17 p421 } a20 {p100 p213 p163 p53 p135 p116 p555 p380 p170 }) ({p133 p576 p318 p32 p431 p527 p297 p573 p409 } a51 {p574 p577 p316 p441 p459 p527 p18 }) ({p491 p541 p427 p397 p32 p322 p144 p527 p460 p158 p586 p129 } a51 {p587 p537 p427 p397 p320 p379 p527 p18 p160 p129 }) ({p590 p426 p318 p427 p11 p358 p434 p257 p468 p576 p578 p119 p556 p92 } a31 {p134 p426 p463 p318 p427 p592 p111 p434 p148 p360 p576 p578 p305 p92 p46 }) ({p285 p425 p321 p11 p431 p354 p569 p210 p455 p261 p438 p172 p440 p642 p270 p177 p92 } a31 {p430 p353 p207 p189 p577 p172 p263 p445 p198 p346 p92 p276 p607 p281 p620 p46 }) ({p351 p471 p248 p567 p17 p619 p222 } a20 {p212 p53 p550 p641 p351 p64 p188 p461 }) ({p335 p230 p541 p426 p427 p11 p108 p294 p434 p594 p342 p29 p363 p605 p123 p372 p179 p481 p60 p318 p322 p186 p487 p515 p492 p576 p495 p522 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p31 p365 p180 p46 p58 p318 p140 p483 p322 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p213 p11 p555 p510 p402 p194 p380 p92 p249 p635 } a31 {p564 p623 p382 p439 p523 p208 p502 p92 p633 p514 p46 }) ({p101 p623 p289 p232 p583 p400 p511 p89 p224 p17 p502 p613 } a20 {p53 p231 p104 p542 p289 p399 p510 p635 p613 p258 p24 p174 p585 p504 }) ({p564 p353 p207 p17 p514 p189 p259 p471 p345 p155 p198 p92 p281 } a20 {p261 p53 p173 p425 p440 p64 p270 p194 p569 p187 p177 p92 }) ({p283 p133 p321 p11 p431 p569 p210 p406 p455 p579 p440 p385 p270 p645 p527 p92 p504 } a31 {p283 p568 p207 p511 p403 p577 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p426 p11 p429 p400 p433 p295 p434 p299 p436 p470 p557 p372 p132 p134 p315 p62 p140 p322 p184 p511 p148 p189 p495 p197 p198 } a31 {p426 p429 p400 p433 p295 p434 p299 p436 p470 p365 p557 p46 p375 p132 p134 p315 p62 p140 p322 p184 p511 p148 p189 p495 p198 }) ({p230 p541 p426 p58 p427 p318 p11 p322 p186 p108 p434 p594 p487 p576 p495 p363 p605 p123 p94 p92 p372 p179 p534 } a31 {p287 p230 p541 p426 p427 p294 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p69 p487 p576 p495 p496 p82 p92 p279 p534 }) ({p137 p591 p118 p91 p17 p359 p466 } a20 {p469 p361 p53 p136 p38 p293 p593 p69 }) ({p2 } a21 {p80 }) ({p250 p3 p231 p104 p543 p289 p396 p399 p11 p510 p613 p635 p457 p355 p581 p81 p265 p418 p269 p92 p447 p249 p389 p282 } a31 {p390 p250 p286 p608 p623 p315 p6 p323 p433 p211 p633 p408 p436 p456 p268 p583 p89 p224 p528 p502 p92 p448 p46 }) ({p628 p254 p11 p510 p402 p380 p237 p635 p436 p644 p555 p194 p92 p249 } a31 {p250 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p46 }) ({p17 p488 p474 } a20 {p495 p53 p329 }) ({p536 p587 p230 p426 p427 p610 p295 p17 p434 p618 p175 p366 p308 p317 p318 p509 p452 p148 p493 p576 p262 p218 p524 p526 p92 } a20 {p538 p230 p590 p426 p499 p427 p358 p434 p616 p369 p603 p472 p53 p319 p318 p256 p512 p452 p144 p491 p576 p264 p219 p525 p275 p199 p92 }) ({p79 p426 p600 p602 p604 } a12 {p426 p600 p602 p40 p604 }) ({p590 p426 p499 p318 p427 p11 p358 p434 p257 p468 p366 p119 p556 p443 p92 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p434 p148 p360 p578 p305 p366 p92 p46 }) ({p536 p587 p230 p426 p427 p610 p295 p17 p434 p19 p301 p618 p175 p366 p308 p475 p54 p317 p318 p509 p143 p148 p454 p493 p576 p154 p262 p218 p524 p526 p332 p92 } a20 {p538 p230 p590 p426 p499 p427 p109 p358 p296 p434 p22 p616 p369 p603 p472 p477 p52 p53 p319 p318 p256 p512 p452 p144 p491 p151 p576 p264 p219 p525 p275 p199 p92 p333 }) ({p47 } a19 {p2 }) ({p577 p438 p173 p315 p352 p433 p17 p346 p633 p607 p620 } a20 {p53 p254 p321 p431 p354 p438 p173 p581 p81 p642 p418 p269 p249 }) ({p250 p439 p11 p208 p619 } a31 {p250 p439 p208 p619 p46 }) ({p231 p581 p399 p85 p11 p510 p323 p249 p635 } a31 {p103 p623 p583 p323 p224 p502 p633 p46 }) ({p283 p133 p538 p542 p11 p144 p258 p615 p24 p579 p174 p219 p525 p369 p92 p585 p504 } a31 {p101 p283 p587 p232 p509 p400 p568 p511 p615 p262 p175 p524 p527 p92 p46 }) ({p42 } a54 {p43 }) ({p639 p32 p351 p642 p567 p619 p222 } a51 {p516 p641 p351 p233 p571 p18 p620 }) ({p536 p587 p134 p426 p318 p427 p568 p17 p434 p148 p578 p262 p219 p366 p524 p92 } a20 {p133 p538 p53 p590 p426 p499 p318 p427 p144 p358 p434 p257 p579 p264 p219 p119 p369 p443 p92 }) ({p537 p230 p426 p427 p318 p320 p11 p112 p434 p576 p306 p584 p92 p130 } a31 {p230 p426 p397 p427 p318 p434 p576 p559 p92 p460 p158 p586 p46 }) ({p202 p11 p156 } a31 {p259 p209 p514 p278 p46 }) ({p230 p541 p426 p463 p427 p592 p339 p17 p434 p299 p360 p470 p120 p176 p56 p318 p140 p322 p513 p487 p576 p495 p82 p267 p92 p534 p279 } a20 {p230 p541 p426 p427 p108 p339 p434 p594 p299 p468 p363 p123 p179 p53 p56 p138 p318 p322 p487 p515 p576 p495 p86 p92 p531 p277 }) ({p539 p508 p558 p196 p17 p606 p114 } a20 {p53 p566 p507 p193 p95 p527 p417 p636 }) ({p468 p590 p138 p11 p358 p275 p299 p474 } a31 {p360 p495 p463 p592 p120 p324 p295 p148 p280 p46 }) ({p230 p541 p426 p427 p318 p141 p11 p64 p322 p434 p487 p596 p576 p343 p303 p495 p458 p34 p497 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p341 p434 p487 p494 p576 p495 p599 p471 p371 p530 p92 p46 }) ({p30 } a15 {p45 }) ({p45 } a18 {p17 }) ({p28 } a50 {p78 }) ({p536 p587 p134 p426 p318 p427 p568 p17 p434 p148 p578 p524 p369 p92 } a20 {p133 p538 p53 p590 p426 p499 p318 p427 p144 p358 p434 p257 p579 p119 p443 p369 p92 }) ({p230 p541 p136 p426 p427 p318 p11 p322 p293 p434 p147 p487 p576 p495 p383 p92 p226 } a31 {p230 p376 p541 p426 p427 p318 p322 p434 p147 p298 p487 p576 p495 p118 p601 p91 p92 p46 }) ({p427 p17 p92 p297 p573 p129 p409 } a20 {p574 p580 p325 p53 p316 p92 p171 p467 }) ({p538 p542 p609 p10 p11 p296 p616 p24 p174 p369 p473 p373 p504 p48 p133 p252 p452 p144 p258 p579 p219 p525 p331 p92 p585 } a31 {p101 p283 p587 p540 p232 p610 p509 p13 p451 p400 p568 p511 p615 p410 p262 p175 p524 p332 p527 p92 p475 p46 }) ({p469 p137 p118 p91 p17 } a20 {p469 p53 p136 p38 p293 p69 }) ({p33 } a23 {p36 }) ({p538 p609 p426 p427 p11 p16 p296 p434 p113 p616 p24 p174 p369 p307 p473 p373 p52 p319 p318 p452 p144 p223 p258 p491 p151 p576 p219 p266 p525 p331 p92 p585 } a31 {p101 p587 p540 p426 p232 p427 p610 p400 p434 p19 p615 p410 p244 p175 p557 p308 p475 p46 p50 p318 p509 p451 p143 p576 p262 p524 p332 p92 }) ({p547 p17 p99 } a20 {p53 p550 p208 p92 p188 p614 }) ({p101 p608 p540 p426 p232 p427 p396 p318 p451 p400 p111 p17 p434 p615 p576 p305 p583 p89 p557 p224 p528 p92 p448 } a20 {p231 p104 p543 p609 p426 p427 p396 p399 p434 p113 p613 p24 p174 p556 p307 p473 p53 p318 p258 p457 p576 p266 p331 p92 p585 }) ({p283 p133 p542 p321 p11 p431 p569 p210 p406 p455 p579 p440 p385 p270 p645 p92 p504 } a31 {p283 p568 p207 p511 p403 p577 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p536 p587 p230 p317 p426 p427 p318 p509 p295 p17 p434 p148 p616 p493 p576 p262 p218 p175 p366 p524 p526 p92 p308 } a20 {p538 p230 p590 p426 p499 p427 p358 p434 p616 p369 p472 p53 p319 p318 p256 p512 p144 p491 p576 p264 p219 p525 p275 p199 p92 }) ({p283 p133 p542 p321 p11 p431 p569 p403 p210 p455 p579 p440 p270 p92 p504 } a31 {p283 p568 p207 p511 p403 p577 p445 p198 p527 p92 p276 p607 p46 }) ({p283 p133 p538 p609 p11 p451 p144 p258 p616 p24 p579 p174 p219 p525 p369 p527 p92 p585 p504 } a31 {p101 p283 p587 p232 p610 p509 p400 p451 p568 p511 p615 p262 p175 p524 p527 p92 p46 }) ({p538 p426 p319 p427 p318 p11 p144 p434 p113 p258 p615 p491 p24 p576 p174 p219 p266 p525 p369 p307 p92 p585 } a31 {p101 p587 p426 p232 p427 p318 p509 p400 p434 p615 p576 p262 p175 p524 p557 p92 p308 p46 }) ({p101 p283 p608 p540 p623 p232 p396 p451 p400 p511 p17 p615 p268 p583 p89 p224 p528 p502 p448 } a20 {p53 p231 p104 p543 p252 p289 p542 p609 p396 p399 p510 p613 p635 p258 p24 p457 p174 p331 p585 p473 p504 }) ({p173 p550 p64 p193 p11 p92 p188 p614 } a31 {p439 p344 p471 p155 p558 p92 p606 p46 }) ({p577 p134 p578 p315 p568 p433 p17 p92 p607 p455 } a20 {p133 p53 p321 p431 p257 p455 p579 p581 p81 p119 p418 p269 p443 p92 }) ({p539 p11 } a31 {p527 p636 p46 }) ({p283 p133 p321 p11 p431 p207 p569 p455 p579 p440 p527 p92 p504 } a31 {p283 p577 p568 p511 p207 p445 p198 p527 p92 p607 p46 }) ({p32 p510 p194 p558 p209 p527 p606 p114 } a51 {p564 p507 p193 p156 p502 p527 p18 }) ({p577 p352 p433 p459 p17 p346 p633 p620 } a20 {p53 p581 p81 p318 p642 p254 p418 p431 p354 p249 }) ({p426 p427 p293 p17 p434 p299 p170 p437 p173 p368 p372 p374 p375 p316 p318 p319 p60 p507 p320 p321 p322 p64 p510 p186 p453 p193 p194 p92 p229 p537 p230 p538 p103 p541 p231 p405 p468 p469 p247 p248 p556 p562 p136 p138 p487 p574 p576 p495 p579 p641 p642 } a20 {p426 p427 p293 p434 p299 p170 p437 p173 p368 p372 p374 p375 p53 p316 p318 p319 p60 p507 p320 p321 p322 p64 p510 p186 p453 p193 p194 p92 p229 p537 p230 p538 p103 p541 p231 p405 p468 p469 p247 p248 p556 p562 p136 p138 p487 p574 p576 p495 p579 p641 p642 }) ({p469 p589 p136 p549 p11 p328 p293 p357 p226 } a31 {p591 p118 p324 p91 p147 p298 p487 p359 p46 }) ({p253 p11 p222 } a31 {p250 p351 p222 p46 }) ({p335 p230 p541 p426 p427 p11 p108 p294 p434 p594 p342 p363 p605 p123 p372 p179 p58 p318 p322 p186 p487 p515 p490 p576 p495 p522 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p583 p400 p511 p17 p502 p635 p622 } a20 {p230 p53 p399 p510 p585 p635 p504 p258 }) ({p429 p431 p433 p295 p434 p18 p299 p436 p599 p371 p605 p372 p315 p319 p60 p62 p321 p184 p510 p186 p511 p187 p189 p523 p194 p198 p538 p231 p399 p400 p468 p470 p247 p556 p557 p132 p133 p134 p135 p138 p140 p353 p144 p633 p148 p491 p495 p579 p642 } a45 {p429 p431 p433 p295 p434 p299 p436 p599 p371 p605 p372 p315 p319 p60 p62 p321 p184 p510 p186 p511 p187 p189 p79 p523 p194 p198 p538 p231 p399 p400 p468 p470 p247 p556 p557 p132 p133 p134 p135 p138 p140 p353 p144 p633 p148 p491 p495 p579 p642 }) ({p590 p426 p499 p318 p427 p11 p358 p434 p257 p468 p218 p264 p119 p556 p443 p92 p277 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p434 p148 p360 p578 p218 p267 p305 p366 p92 p46 }) ({p35 } a32 {p39 }) ({p0 p564 p289 p630 p207 p511 p403 p17 p514 p635 p412 p382 p645 p502 p198 p92 p126 } a20 {p3 p53 p289 p395 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p92 p504 }) ({p230 p426 p427 p318 p591 p17 p434 p359 p466 p576 p503 p559 p92 } a20 {p562 p230 p53 p426 p427 p318 p593 p112 p434 p469 p576 p361 p306 p92 }) ({p134 p315 p568 p433 p17 p211 p406 p456 p577 p578 p445 p92 p276 p607 } a20 {p133 p53 p321 p431 p210 p406 p257 p455 p579 p581 p81 p119 p418 p269 p443 p92 p447 p282 }) ({p286 p628 p352 p11 p510 p402 p380 p237 p635 p411 p355 p644 p555 p194 p122 p92 p249 } a31 {p0 p286 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p126 p46 }) ({p133 p538 p252 p542 p609 p11 p452 p144 p296 p258 p410 p616 p24 p579 p174 p219 p525 p331 p369 p92 p585 p473 p504 } a31 {p101 p283 p587 p540 p232 p610 p509 p451 p400 p568 p511 p615 p410 p262 p175 p524 p332 p527 p92 p475 p46 }) ({p229 p537 p589 p316 p427 p357 p295 p148 p487 p574 p549 p32 p226 } a51 {p574 p229 p537 p590 p316 p427 p358 p147 p275 p298 p18 p487 }) ({p375 p545 p427 p397 p322 p147 p491 p32 p195 p605 p527 p158 p129 } a51 {p427 p397 p320 p197 p147 p527 p18 p595 p374 p160 p129 }) ({p36 } a24 {p45 }) ({p230 p426 p319 p427 p318 p11 p434 p594 p113 p491 p576 p363 p266 p307 p605 p92 p372 p279 } a31 {p287 p230 p426 p427 p318 p434 p595 p576 p470 p365 p557 p92 p308 p279 p46 }) ({p564 p511 p156 p502 p17 p198 p635 } a20 {p53 p440 p510 p194 p569 p209 p504 p635 }) ({p229 p537 p316 p427 p397 p320 p147 p487 p574 p496 p32 p601 p527 p129 p374 } a51 {p229 p537 p316 p427 p397 p320 p147 p18 p487 p574 p496 p601 p527 p129 p374 }) ({p539 p397 p582 p508 p17 p220 p114 } a20 {p229 p53 p507 p584 p95 p527 p130 p636 }) ({p230 p541 p590 p426 p138 p427 p318 p11 p324 p358 p434 p299 p468 p576 p275 p92 } a31 {p230 p541 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p576 p120 p92 p280 p46 }) ({p231 p581 p399 p85 p11 p510 p419 p249 p635 } a31 {p103 p623 p583 p323 p224 p434 p502 p633 p46 }) ({p456 p577 p134 p578 p315 p568 p433 p445 p17 p210 p92 p607 } a20 {p133 p53 p321 p431 p210 p257 p455 p579 p581 p81 p119 p418 p269 p443 p92 p447 }) ({p230 p541 p426 p427 p318 p62 p11 p322 p184 p293 p295 p434 p487 p299 p596 p576 p343 p495 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p322 p184 p293 p295 p434 p487 p299 p576 p495 p599 p371 p92 p46 }) ({p538 p231 p426 p319 p60 p138 p321 p322 p510 p186 p17 p434 p299 p595 p468 p495 p579 p247 p599 p642 p194 p556 p197 } a20 {p375 p538 p53 p231 p426 p319 p60 p138 p321 p322 p510 p186 p434 p299 p468 p596 p495 p579 p247 p642 p194 p556 p605 }) ({p231 p581 p399 p85 p11 p119 p556 p419 p257 } a31 {p134 p103 p305 p583 p111 p323 p224 p434 p46 }) ({p230 p541 p426 p427 p397 p11 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p599 p601 p602 p557 p559 p371 p129 p132 p375 p134 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 } a31 {p230 p541 p426 p427 p397 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p599 p601 p602 p557 p559 p371 p46 p129 p132 p375 p134 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 }) ({p40 } a52 {p75 }) ({p574 p229 p361 p470 p316 p32 p427 p306 p593 p557 p112 } a51 {p574 p229 p363 p316 p427 p266 p307 p559 p594 p18 p113 p466 }) ({p564 p623 p289 p382 p644 p207 p511 p403 p17 p502 p198 p514 } a20 {p53 p542 p289 p510 p402 p569 p635 p440 p385 p644 p270 p194 p504 }) ({p231 p11 p527 p622 } a31 {p230 p224 p527 p46 }) ({p623 p231 p11 p622 } a31 {p230 p224 p527 p635 p46 }) ({p65 } a6 {p25 }) ({p230 p539 p32 p582 p399 p510 p635 p220 p114 } a51 {p229 p623 p507 p583 p502 p18 p622 p636 }) ({p285 p315 p430 p354 p433 p17 p633 p436 p456 p577 p173 p445 p607 p620 } a20 {p285 p53 p321 p431 p354 p455 p438 p355 p173 p581 p81 p642 p418 p269 p447 p249 }) ({p212 p550 p247 p32 p523 p405 p633 p188 p461 } a51 {p241 p248 p555 p378 p18 p249 }) ({p516 p471 p352 p233 p523 p346 p17 p571 p633 p620 } a20 {p639 p53 p642 p254 p64 p555 p354 p380 p237 p249 }) ({p596 p138 p11 p275 p148 p299 p474 } a31 {p495 p376 p599 p120 p324 p295 p148 p280 p46 }) ({p283 p133 p538 p542 p609 p11 p451 p144 p258 p616 p24 p579 p174 p219 p525 p369 p92 p585 p504 } a31 {p101 p283 p587 p232 p610 p509 p400 p451 p568 p511 p615 p262 p175 p524 p527 p92 p46 }) ({p334 p230 p426 p463 p427 p592 p111 p340 p17 p434 p360 p470 p305 p176 p557 p52 p479 p318 p513 p490 p576 p82 p267 p92 p534 p279 } a20 {p335 p230 p426 p427 p108 p339 p434 p594 p113 p468 p363 p556 p307 p179 p52 p53 p481 p318 p515 p489 p576 p266 p86 p92 p531 p277 }) ({p283 p133 p321 p11 p431 p569 p632 p210 p406 p455 p412 p579 p440 p385 p270 p647 p527 p92 p504 } a31 {p283 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p134 p315 p568 p433 p17 p211 p408 p456 p577 p578 p647 p445 p387 p92 p276 p607 } a20 {p133 p53 p321 p431 p210 p406 p257 p455 p579 p581 p81 p119 p418 p269 p443 p647 p92 p447 p389 p282 }) ({p335 p230 p541 p426 p427 p11 p108 p434 p594 p342 p29 p363 p605 p123 p372 p179 p481 p60 p318 p322 p186 p487 p515 p492 p576 p495 p522 p94 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p31 p365 p180 p46 p58 p318 p140 p483 p322 p69 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p285 p425 p321 p11 p167 p431 p354 p569 p210 p406 p455 p261 p438 p173 p440 p642 p385 p270 p177 p92 } a31 {p0 p430 p353 p207 p403 p189 p577 p172 p263 p155 p445 p387 p198 p346 p92 p276 p607 p281 p620 p46 }) ({p590 p426 p499 p427 p11 p339 p358 p434 p468 p119 p556 p443 p603 p477 p50 p318 p512 p489 p257 p264 p86 p199 p92 p531 p277 p333 } a31 {p334 p536 p426 p463 p427 p592 p111 p434 p301 p360 p618 p305 p366 p176 p46 p50 p134 p479 p318 p513 p148 p454 p578 p218 p267 p526 p92 }) ({p536 p587 p230 p426 p427 p610 p295 p17 p434 p301 p618 p175 p366 p308 p475 p317 p318 p509 p148 p454 p493 p576 p151 p262 p218 p524 p526 p332 p92 } a20 {p538 p230 p590 p426 p499 p427 p358 p296 p434 p616 p369 p603 p472 p477 p53 p319 p318 p256 p512 p452 p144 p491 p576 p151 p264 p219 p525 p275 p199 p92 p333 }) ({p287 p138 p32 p118 p91 p299 } a51 {p287 p136 p293 p120 p18 p280 }) ({p230 p541 p336 p426 p427 p341 p17 p434 p299 p595 p31 p365 p599 p371 p180 p318 p483 p62 p184 p322 p487 p517 p494 p576 p495 p530 p92 } a20 {p230 p541 p426 p427 p434 p342 p299 p596 p343 p303 p34 p605 p372 p53 p60 p318 p141 p322 p186 p487 p492 p576 p495 p522 p458 p497 p92 }) ({p253 p11 p208 } a31 {p250 p351 p208 p46 }) ({p45 } a17 {p47 }) ({p230 p541 p56 p426 p317 p427 p318 p184 p295 p17 p434 p342 p595 p517 p493 p576 p365 p599 p371 p530 p92 p308 p180 } a20 {p230 p541 p53 p56 p426 p427 p319 p318 p141 p186 p256 p434 p342 p491 p596 p576 p343 p522 p497 p605 p275 p92 p372 p472 }) ({p134 p315 p568 p433 p17 p211 p634 p408 p456 p577 p578 p413 p640 p445 p387 p92 p276 p607 } a20 {p133 p53 p321 p431 p210 p406 p257 p455 p413 p579 p617 p581 p81 p119 p418 p269 p443 p647 p92 p447 p389 p282 }) ({p101 p426 p232 p427 p318 p400 p111 p17 p434 p613 p576 p305 p583 p89 p557 p224 p92 } a20 {p53 p231 p104 p426 p427 p318 p399 p434 p113 p613 p258 p24 p576 p174 p266 p556 p307 p92 p585 }) ({p623 p289 p104 p232 p583 p400 p511 p224 p502 p17 } a20 {p53 p231 p542 p289 p104 p174 p399 p510 p585 p635 p504 p258 }) }, initialMarking = {p27 p366 p368 p369 p371 p372 p374 p48 p50 p375 p52 p54 p376 p56 p58 p60 p62 p64 p69 p82 p84 p86 p88 p92 p101 p103 p104 p396 p397 p399 p400 p402 p403 p405 p406 p407 p408 p410 p411 p412 p413 p129 p132 p133 p134 p135 p136 p137 p138 p140 p144 p147 p148 p151 p154 p426 p427 p429 p431 p433 p434 p170 p436 p437 p172 p438 p173 p439 p184 p186 p451 p452 p187 p453 p454 p189 p455 p456 p457 p193 p194 p196 p198 p207 p208 p209 p210 p211 p466 p468 p469 p470 p487 p488 p489 p490 p491 p492 p493 p494 p495 p218 p496 p219 p507 p508 p510 p511 p522 p523 p525 p526 p527 p530 p531 p534 p536 p229 p537 p230 p538 p540 p541 p231 p543 p232 p242 p244 p247 p248 p556 p557 p559 p562 p250 p574 p576 p578 p579 p277 p278 p279 p281 p283 p285 p286 p287 p289 p293 p294 p295 p296 p298 p299 p301 p599 p600 p601 p602 p604 p605 p315 p316 p317 p318 p319 p320 p321 p322 p323 p324 p339 p340 p341 p342 p613 p615 p616 p618 p351 p352 p353 p354 p633 p635 p636 p639 p640 p641 p642 p643 p644 p645 p647 }, acceptingPlaces = {p75 } ); 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 }, transitions = { ({p101 p608 p543 p426 p232 p427 p318 p451 p400 p111 p17 p434 p615 p576 p305 p583 p89 p557 p224 p92 p448 } a20 {p53 p231 p104 p543 p609 p426 p427 p318 p399 p434 p113 p613 p258 p24 p457 p576 p174 p266 p331 p556 p307 p92 p585 }) ({p562 p589 p426 p318 p427 p11 p357 p434 p467 p469 p576 p549 p92 } a31 {p576 p426 p318 p427 p591 p147 p434 p503 p92 p359 p129 p46 }) ({p495 p589 p549 p32 p328 p357 p295 p226 p148 } a51 {p590 p358 p275 p147 p298 p487 p18 p474 }) ({p5 p88 } a39 {p7 p90 p70 }) ({p53 } a22 {p33 }) ({p283 p133 p542 p321 p11 p431 p207 p569 p455 p579 p440 p92 p504 } a31 {p283 p577 p568 p511 p207 p445 p198 p527 p92 p607 p46 }) ({p230 p541 p426 p427 p293 p17 p434 p342 p299 p595 p365 p599 p371 p180 p318 p319 p60 p184 p322 p487 p517 p576 p495 p530 p92 } a20 {p230 p541 p426 p427 p293 p434 p342 p299 p596 p343 p605 p372 p53 p318 p319 p60 p141 p322 p186 p487 p576 p495 p522 p497 p92 }) ({p428 p646 p17 p388 } a20 {p437 p53 p425 p386 }) ({p230 p426 p463 p427 p318 p592 p111 p17 p434 p360 p576 p470 p305 p557 p92 p277 } a20 {p230 p53 p426 p427 p318 p434 p594 p113 p468 p576 p363 p266 p556 p307 p92 p277 }) ({p538 p540 p609 p426 p427 p11 p434 p113 p616 p24 p174 p369 p307 p319 p318 p452 p144 p258 p491 p576 p219 p266 p525 p331 p92 p585 } a31 {p101 p587 p540 p426 p232 p427 p318 p610 p509 p451 p400 p434 p615 p576 p262 p175 p524 p557 p332 p92 p308 p46 }) ({p536 p587 p134 p426 p318 p427 p509 p568 p17 p434 p148 p616 p578 p262 p218 p175 p366 p524 p526 p92 } a20 {p133 p538 p53 p590 p426 p499 p318 p427 p512 p144 p358 p434 p257 p616 p579 p264 p219 p119 p525 p369 p443 p199 p92 }) ({p536 p587 p230 p317 p426 p427 p318 p295 p17 p434 p148 p493 p576 p262 p218 p175 p366 p524 p525 p92 p308 } a20 {p538 p230 p53 p590 p426 p319 p499 p427 p318 p256 p144 p358 p434 p491 p576 p264 p219 p369 p525 p275 p199 p92 p472 }) ({p334 p230 p541 p426 p463 p427 p592 p340 p17 p434 p299 p360 p26 p470 p120 p176 p479 p58 p318 p140 p322 p513 p487 p490 p576 p495 p82 p267 p92 p534 p279 } a20 {p335 p230 p541 p426 p427 p108 p339 p434 p594 p299 p468 p29 p363 p123 p179 p53 p56 p481 p138 p318 p322 p487 p515 p489 p576 p495 p86 p92 p531 p277 }) ({p344 p32 p194 p558 p209 p187 p278 p606 } a51 {p202 p564 p193 p345 p156 p18 }) ({p344 p155 p17 p97 p561 p621 } a20 {p563 p173 p53 p92 p501 p300 }) ({p32 p368 p400 p511 p584 p95 p130 } a51 {p260 p397 p508 p585 p18 p504 }) ({p100 p17 } a20 {p100 p53 }) ({p628 p352 p11 p510 p402 p380 p237 p635 p436 p644 p555 p194 p92 p249 } a31 {p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p46 }) ({p536 p587 p134 p426 p318 p427 p610 p509 p568 p452 p17 p434 p148 p578 p262 p618 p218 p175 p366 p524 p526 p92 } a20 {p538 p590 p426 p499 p427 p358 p434 p616 p119 p369 p443 p603 p133 p53 p318 p512 p452 p144 p257 p579 p264 p219 p525 p199 p92 }) ({p319 p11 p197 p372 p160 } a31 {p375 p365 p322 p308 p46 }) ({p564 p623 p289 p207 p511 p402 p502 p198 p17 p514 } a20 {p53 p542 p289 p440 p510 p270 p402 p194 p569 p635 p504 }) ({p344 p471 p155 p558 p196 p92 p17 p606 } a20 {p173 p53 p566 p64 p193 p92 p501 p417 }) ({p289 p628 p254 p11 p510 p402 p380 p237 p635 p411 p355 p265 p644 p555 p194 p122 p92 p249 } a31 {p0 p250 p286 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p268 p523 p502 p92 p126 p46 }) ({p286 p626 p233 p430 p354 p17 p571 p633 p436 p263 p643 p523 p227 p620 } a20 {p285 p53 p628 p354 p380 p237 p438 p355 p265 p642 p555 p122 p249 }) ({p231 p104 p543 p289 p254 p399 p11 p510 p613 p635 p408 p457 p355 p581 p81 p265 p418 p269 p92 p447 p249 p282 } a31 {p250 p286 p608 p623 p315 p352 p323 p433 p211 p633 p408 p436 p456 p268 p583 p89 p224 p528 p502 p92 p448 p46 }) ({p85 p429 p419 p17 } a20 {p103 p53 p326 p81 p434 }) ({p230 p541 p426 p463 p427 p592 p17 p434 p299 p360 p470 p120 p176 p56 p318 p140 p322 p487 p576 p495 p82 p267 p92 p531 p279 } a20 {p230 p541 p53 p56 p426 p427 p138 p318 p322 p108 p434 p594 p487 p299 p468 p576 p495 p363 p86 p123 p92 p179 p277 p531 }) ({p318 p253 p32 p642 p431 p354 p208 p619 p573 p409 } a51 {p577 p316 p641 p351 p208 p459 p346 p18 p620 }) ({p85 p17 p434 } a20 {p103 p53 p81 p434 }) ({p344 p11 p208 p92 } a31 {p344 p208 p92 p46 }) ({p230 p590 p426 p499 p427 p11 p358 p434 p299 p468 p603 p472 p138 p318 p256 p512 p454 p576 p264 p86 p275 p199 p92 p531 p277 } a31 {p536 p230 p426 p463 p427 p592 p295 p434 p360 p618 p366 p120 p176 p46 p317 p318 p324 p513 p148 p454 p493 p576 p218 p267 p526 p92 p280 }) ({p438 p425 p440 p642 p321 p11 p431 p354 p569 p92 p455 p189 } a31 {p577 p430 p353 p445 p198 p346 p92 p607 p620 p46 p189 }) ({p230 p426 p319 p427 p318 p11 p108 p434 p594 p113 p491 p576 p363 p266 p82 p307 p605 p92 p372 } a31 {p287 p230 p426 p427 p318 p434 p595 p576 p470 p365 p82 p557 p92 p308 p279 p46 }) ({p161 p646 p378 p17 } a20 {p163 p53 p380 p405 p170 }) ({p230 p541 p336 p426 p427 p295 p341 p17 p434 p595 p365 p599 p371 p308 p180 p56 p317 p318 p184 p517 p492 p493 p576 p530 p92 } a20 {p230 p541 p426 p427 p434 p342 p596 p343 p303 p605 p372 p472 p53 p56 p319 p318 p141 p186 p256 p491 p492 p576 p522 p497 p275 p92 }) ({p230 p541 p426 p463 p427 p318 p140 p322 p592 p17 p434 p487 p299 p360 p576 p470 p495 p267 p86 p120 p92 p279 } a20 {p230 p541 p53 p426 p138 p427 p318 p322 p108 p434 p594 p487 p299 p468 p576 p495 p363 p86 p123 p92 p277 }) ({p283 p133 p542 p321 p11 p431 p569 p632 p210 p406 p455 p412 p579 p440 p385 p270 p647 p92 p504 } a31 {p283 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p550 p32 p523 p405 p188 p614 p170 } a51 {p150 p161 p555 p646 p378 p18 }) ({p283 p0 p564 p630 p207 p511 p403 p17 p514 p635 p412 p382 p268 p645 p502 p198 p92 p126 } a20 {p3 p53 p252 p289 p395 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p92 p504 }) ({p590 p426 p499 p318 p427 p11 p512 p358 p434 p257 p468 p618 p264 p86 p119 p556 p443 p199 p92 p531 p277 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p513 p434 p148 p360 p578 p618 p218 p267 p305 p366 p176 p526 p92 p46 }) ({p230 p32 p582 p399 p510 p527 p220 p114 } a51 {p229 p507 p583 p502 p527 p18 p622 }) ({p626 p471 p643 p352 p233 p523 p346 p17 p571 p633 p620 } a20 {p53 p628 p642 p254 p64 p555 p354 p380 p237 p249 }) ({p150 p163 p11 p555 p402 p194 p380 p187 p92 } a31 {p259 p564 p382 p439 p165 p345 p523 p92 p514 p46 }) ({p574 p537 p11 p584 p95 p92 p130 } a31 {p397 p508 p92 p297 p460 p586 p46 }) ({p73 } a29 {p11 }) ({p230 p589 p541 p136 p426 p427 p318 p11 p293 p357 p434 p487 p469 p576 p549 p92 p226 } a31 {p230 p541 p426 p427 p318 p591 p434 p147 p298 p487 p359 p576 p118 p91 p92 p46 }) ({p335 p230 p541 p426 p427 p11 p108 p434 p594 p342 p363 p605 p123 p372 p179 p58 p318 p322 p186 p487 p515 p490 p576 p495 p522 p94 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p69 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p230 p52 p426 p463 p427 p318 p592 p111 p339 p513 p17 p434 p360 p576 p470 p82 p267 p305 p176 p557 p92 p534 p279 } a20 {p230 p52 p53 p426 p427 p318 p108 p339 p434 p594 p515 p113 p468 p576 p363 p266 p86 p556 p307 p92 p179 p531 p277 }) ({p230 p541 p426 p58 p138 p427 p318 p11 p184 p256 p434 p299 p596 p576 p343 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p434 p493 p576 p599 p120 p371 p92 p280 p46 }) ({p70 } a14 {p30 }) ({p427 p253 p17 p619 p573 p409 } a20 {p250 p580 p325 p53 p316 p641 p351 p171 p461 }) ({p579 p321 p11 p441 p459 } a31 {p576 p318 p568 p607 p46 }) ({p564 p623 p289 p630 p207 p511 p403 p17 p514 p411 p382 p645 p502 p198 } a20 {p53 p542 p289 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p504 }) ({p101 p608 p623 p289 p232 p400 p511 p17 p615 p457 p583 p89 p224 p502 } a20 {p53 p231 p104 p542 p289 p609 p399 p510 p613 p635 p258 p24 p457 p174 p585 p504 }) ({p133 p3 p252 p395 p321 p11 p431 p569 p632 p210 p406 p455 p413 p579 p440 p385 p270 p647 p527 p92 p504 } a31 {p283 p6 p398 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p84 p21 } a37 {p23 p59 p87 }) ({p250 p439 p318 p11 p208 p620 } a31 {p250 p439 p318 p208 p620 p46 }) ({p538 p609 p426 p427 p319 p318 p11 p451 p144 p434 p113 p258 p616 p24 p491 p576 p174 p219 p266 p369 p525 p307 p92 p585 } a31 {p101 p587 p426 p232 p427 p318 p610 p509 p400 p451 p434 p615 p576 p262 p175 p524 p557 p92 p308 p46 }) ({p351 p11 p222 } a31 {p351 p222 p46 }) ({p230 p541 p426 p427 p318 p11 p322 p294 p434 p594 p487 p576 p495 p363 p605 p123 p92 p372 p279 } a31 {p287 p230 p541 p426 p427 p318 p140 p322 p294 p434 p487 p595 p576 p470 p495 p496 p365 p92 p279 p46 }) ({p202 p564 p471 p345 p353 p155 p156 p198 p17 p189 } a20 {p53 p173 p425 p440 p64 p194 p569 p209 p187 p177 p278 }) ({p247 p378 p17 p170 } a20 {p53 p247 p405 p380 p170 }) ({p574 p134 p580 p103 p316 p32 p427 p171 p467 } a51 {p574 p581 p316 p427 p85 p119 p18 p257 p129 }) ({p46 } a33 {p67 }) ({p590 p426 p499 p427 p11 p339 p16 p358 p434 p468 p119 p556 p443 p603 p477 p52 p318 p512 p489 p257 p264 p86 p199 p92 p531 p277 p333 } a31 {p334 p536 p426 p463 p427 p592 p111 p434 p19 p301 p360 p618 p305 p366 p176 p46 p50 p134 p479 p318 p513 p148 p454 p578 p218 p267 p526 p92 }) ({p0 p286 p315 p430 p354 p433 p17 p211 p633 p408 p436 p456 p577 p263 p155 p445 p387 p276 p607 p620 } a20 {p285 p3 p53 p321 p431 p354 p210 p406 p455 p438 p355 p173 p581 p81 p265 p642 p418 p269 p447 p249 p389 p282 }) ({p283 p133 p538 p232 p11 p144 p258 p579 p369 p527 p92 p585 p504 } a31 {p283 p587 p262 p232 p400 p524 p568 p511 p527 p92 p46 }) ({p574 p229 p316 p427 p32 p400 p306 p368 p584 p557 p112 p130 } a51 {p574 p229 p260 p316 p397 p427 p266 p307 p559 p585 p18 p113 }) ({p101 p390 p283 p608 p540 p623 p6 p232 p451 p400 p511 p17 p615 p410 p268 p583 p89 p224 p528 p502 p448 } a20 {p53 p231 p104 p543 p252 p289 p542 p609 p396 p10 p399 p510 p613 p635 p258 p24 p457 p174 p331 p585 p473 p373 p504 }) ({p101 p608 p289 p232 p451 p400 p511 p17 p635 p615 p583 p89 p224 p502 p92 p448 } a20 {p53 p231 p104 p289 p609 p399 p510 p613 p635 p258 p24 p457 p174 p331 p92 p585 p504 }) ({p250 p11 p555 p510 p378 p194 p208 p249 p635 } a31 {p250 p564 p623 p439 p523 p208 p405 p502 p633 p514 p46 }) ({p360 p470 p463 p140 p592 p120 p294 p17 p277 p280 } a20 {p468 p53 p363 p138 p123 p94 p594 p277 p299 }) ({p231 p104 p315 p254 p399 p11 p510 p635 p436 p581 p81 p418 p92 p249 } a31 {p250 p623 p315 p352 p323 p433 p633 p436 p583 p89 p224 p502 p92 p46 }) ({p250 p231 p104 p399 p11 p510 p613 p635 p436 p581 p81 p418 p269 p92 p249 } a31 {p250 p608 p623 p315 p323 p433 p633 p436 p583 p89 p224 p502 p92 p46 }) ({p212 p17 } a20 {p53 p248 p208 }) ({p230 p623 p11 p209 } a31 {p230 p209 p527 p635 p46 }) ({p230 p590 p426 p138 p499 p427 p318 p11 p256 p358 p434 p299 p468 p576 p366 p275 p92 p472 } a31 {p536 p230 p317 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p493 p576 p366 p120 p92 p280 p46 }) ({p590 p426 p499 p318 p427 p11 p358 p434 p257 p468 p264 p86 p119 p556 p443 p526 p199 p92 p277 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p434 p148 p360 p578 p218 p267 p305 p366 p176 p526 p92 p46 }) ({p286 p315 p352 p430 p433 p17 p211 p633 p436 p456 p577 p173 p263 p445 p346 p276 p607 p620 } a20 {p285 p53 p254 p321 p431 p354 p210 p455 p438 p355 p173 p581 p81 p265 p642 p418 p269 p447 p249 p282 }) ({p68 } a8 {p65 }) ({p71 } a30 {p35 }) ({p104 p426 p232 p427 p318 p400 p111 p17 p434 p576 p305 p583 p557 p224 p92 } a20 {p53 p231 p104 p426 p427 p318 p399 p434 p113 p258 p576 p174 p266 p556 p307 p92 p585 }) ({p230 p541 p426 p427 p318 p11 p322 p434 p594 p487 p576 p495 p363 p605 p123 p94 p92 p372 p279 } a31 {p287 p230 p541 p426 p427 p318 p140 p322 p294 p69 p434 p487 p595 p576 p470 p495 p496 p365 p92 p279 p46 }) ({p334 p479 p56 p463 p140 p592 p294 p340 p513 p17 p490 p360 p470 p82 p267 p120 p176 p534 p280 p279 } a20 {p335 p53 p56 p481 p138 p108 p339 p594 p515 p489 p299 p468 p363 p86 p123 p94 p179 p531 p277 }) ({p229 p537 p316 p427 p140 p320 p593 p487 p574 p361 p470 p32 p38 } a51 {p229 p537 p137 p316 p427 p320 p594 p18 p487 p466 p574 p363 p123 }) ({p78 } a11 {p42 }) ({p334 p230 p426 p463 p427 p592 p111 p340 p17 p434 p19 p360 p470 p305 p176 p557 p479 p54 p318 p513 p490 p576 p82 p267 p92 p534 p279 } a20 {p335 p230 p426 p427 p108 p339 p434 p594 p113 p22 p468 p363 p556 p307 p179 p52 p53 p481 p318 p515 p489 p576 p266 p86 p92 p531 p277 }) ({p230 p541 p426 p427 p318 p62 p11 p322 p434 p487 p576 p470 p495 p123 p94 p92 } a31 {p230 p541 p426 p427 p318 p140 p62 p322 p294 p434 p69 p487 p576 p470 p495 p496 p92 p46 }) ({p135 p344 p32 p187 p278 p561 p621 } a51 {p202 p345 p560 p18 p201 }) ({p426 p318 p427 p147 p17 p434 p92 p297 p460 p586 p129 } a20 {p574 p537 p589 p53 p549 p426 p318 p427 p357 p434 p92 p467 }) ({p230 p541 p426 p427 p397 p11 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p557 p559 p371 p129 p132 p375 p134 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p383 p196 p527 p92 p198 } a31 {p230 p541 p426 p427 p397 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p601 p557 p559 p371 p46 p129 p132 p375 p134 p376 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 }) ({p230 p541 p426 p427 p318 p11 p322 p108 p294 p434 p594 p487 p576 p495 p363 p82 p605 p123 p92 p372 } a31 {p287 p230 p541 p426 p427 p318 p140 p322 p294 p434 p487 p595 p576 p470 p495 p496 p365 p82 p92 p279 p46 }) ({p132 p438 p565 p425 p642 p11 p354 p386 p92 p189 } a31 {p132 p626 p233 p430 p353 p346 p92 p571 p227 p189 p620 p46 }) ({p56 p463 p140 p592 p294 p339 p513 p17 p360 p470 p82 p267 p120 p176 p534 p280 p279 } a20 {p53 p56 p138 p108 p339 p594 p515 p299 p468 p363 p86 p123 p94 p179 p531 p277 }) ({p230 p590 p426 p138 p499 p427 p318 p11 p256 p358 p434 p299 p468 p576 p218 p264 p275 p92 p277 p472 } a31 {p536 p230 p317 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p493 p576 p218 p267 p366 p120 p92 p280 p46 }) ({p230 p541 p426 p427 p318 p11 p322 p293 p434 p487 p466 p299 p576 p495 p38 p92 } a31 {p230 p541 p426 p137 p427 p318 p322 p293 p434 p487 p466 p299 p576 p495 p496 p92 p46 }) ({p133 p3 p252 p542 p395 p321 p11 p431 p569 p632 p210 p406 p455 p413 p579 p440 p385 p270 p647 p92 p504 } a31 {p283 p6 p398 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p536 p587 p134 p426 p318 p427 p568 p17 p434 p148 p578 p262 p218 p175 p366 p524 p525 p92 } a20 {p133 p538 p53 p590 p426 p499 p318 p427 p144 p358 p434 p257 p579 p264 p219 p119 p369 p443 p525 p199 p92 }) ({p285 p626 p352 p233 p430 p17 p571 p633 p436 p643 p523 p346 p227 p620 } a20 {p285 p53 p628 p254 p354 p380 p237 p438 p355 p642 p555 p122 p249 }) ({p250 p286 p231 p104 p399 p11 p510 p613 p635 p457 p355 p581 p81 p418 p269 p92 p447 p249 } a31 {p250 p286 p608 p623 p315 p323 p433 p633 p436 p456 p583 p89 p224 p502 p92 p448 p46 }) ({p230 p541 p336 p426 p427 p293 p17 p434 p341 p299 p595 p365 p599 p371 p180 p318 p319 p60 p184 p322 p487 p517 p492 p576 p495 p530 p92 } a20 {p230 p541 p426 p427 p293 p434 p342 p299 p596 p343 p303 p605 p372 p53 p318 p319 p60 p141 p322 p186 p487 p492 p576 p495 p522 p497 p92 }) ({p283 p133 p538 p542 p232 p11 p144 p258 p579 p369 p92 p585 p504 } a31 {p283 p587 p262 p232 p400 p524 p568 p511 p527 p92 p46 }) ({p3 p231 p104 p543 p289 p396 p254 p399 p11 p510 p613 p635 p457 p355 p581 p81 p265 p418 p269 p92 p447 p249 p389 p282 } a31 {p390 p250 p286 p608 p623 p315 p6 p352 p323 p433 p211 p633 p408 p436 p456 p268 p583 p89 p224 p502 p528 p92 p448 p46 }) ({p230 p541 p426 p138 p60 p427 p318 p141 p11 p256 p434 p299 p596 p576 p343 p303 p29 p458 p497 p275 p92 p472 } a31 {p230 p376 p541 p58 p426 p317 p427 p318 p184 p324 p295 p341 p434 p494 p493 p576 p31 p599 p120 p371 p530 p92 p280 p46 }) ({p260 p133 p538 p579 p11 p144 p585 p504 } a31 {p587 p368 p400 p524 p568 p511 p46 }) ({p72 } a9 {p68 }) ({p76 } a10 {p61 }) ({p375 p545 p427 p397 p320 p147 p487 p496 p32 p195 p605 p527 p129 } a51 {p496 p427 p397 p320 p197 p147 p527 p18 p487 p595 p374 p129 }) ({p230 p541 p590 p426 p138 p427 p318 p11 p358 p434 p299 p468 p576 p329 p275 p92 } a31 {p230 p541 p426 p463 p427 p318 p592 p324 p295 p434 p148 p488 p360 p576 p120 p92 p280 p46 }) ({p335 p230 p426 p427 p11 p108 p434 p594 p342 p113 p363 p307 p605 p372 p179 p54 p481 p319 p318 p186 p515 p492 p491 p576 p522 p266 p92 } a31 {p287 p230 p54 p336 p426 p427 p318 p483 p340 p434 p595 p490 p517 p576 p470 p365 p82 p557 p92 p308 p534 p279 p180 p46 }) ({p230 p541 p336 p426 p427 p295 p341 p17 p434 p595 p365 p599 p371 p308 p180 p56 p317 p318 p483 p184 p517 p494 p493 p576 p530 p92 } a20 {p230 p541 p426 p427 p434 p342 p596 p343 p303 p605 p372 p472 p53 p56 p319 p318 p141 p186 p256 p492 p491 p576 p522 p458 p497 p275 p92 }) ({p230 p590 p426 p499 p427 p11 p339 p109 p358 p434 p299 p22 p468 p603 p472 p477 p56 p138 p318 p256 p512 p489 p576 p264 p86 p275 p199 p92 p531 p277 p333 } a31 {p334 p536 p230 p426 p463 p427 p592 p295 p434 p301 p360 p26 p618 p366 p120 p176 p46 p479 p54 p317 p318 p324 p513 p148 p454 p493 p576 p154 p218 p267 p526 p92 p280 }) ({p67 } a34 {p63 }) ({p230 p541 p426 p427 p318 p11 p322 p108 p434 p594 p487 p576 p495 p363 p82 p605 p123 p94 p92 p372 } a31 {p287 p230 p541 p426 p427 p318 p140 p322 p294 p69 p434 p487 p595 p576 p470 p495 p496 p365 p82 p92 p279 p46 }) ({p283 p101 p133 p538 p11 p144 p258 p579 p174 p219 p369 p527 p92 p585 p504 } a31 {p283 p101 p587 p232 p400 p568 p511 p262 p175 p524 p527 p92 p46 }) ({p230 p54 p426 p319 p427 p318 p11 p186 p108 p340 p434 p594 p515 p113 p491 p576 p363 p522 p266 p307 p605 p92 p372 p179 } a31 {p287 p230 p54 p426 p427 p318 p340 p434 p595 p517 p576 p470 p365 p82 p557 p92 p308 p534 p279 p180 p46 }) ({p321 p11 p459 p346 } a31 {p250 p318 p354 p607 p46 }) ({p101 p608 p426 p232 p427 p318 p400 p111 p17 p434 p615 p576 p457 p305 p583 p89 p557 p224 p92 } a20 {p53 p231 p104 p609 p426 p427 p318 p399 p434 p113 p613 p258 p24 p576 p457 p174 p266 p556 p307 p92 p585 }) ({p437 p442 p17 } a20 {p437 p53 p440 p453 }) ({p587 p134 p441 p379 p17 p148 } a20 {p133 p576 p541 p53 p590 p119 p144 p358 p257 }) ({p289 p628 p352 p11 p510 p402 p380 p237 p635 p411 p355 p265 p644 p555 p194 p122 p92 p249 } a31 {p0 p286 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p268 p523 p502 p92 p126 p46 }) ({p231 p581 p399 p11 p85 p119 p556 p434 p257 } a31 {p134 p103 p305 p583 p111 p224 p434 p46 }) ({p59 } a25 {p83 }) ({p230 p541 p56 p426 p317 p427 p318 p184 p295 p17 p434 p595 p493 p576 p365 p522 p599 p371 p92 p308 p180 } a20 {p230 p541 p53 p56 p426 p427 p319 p318 p141 p186 p256 p434 p491 p596 p576 p343 p522 p605 p275 p92 p372 p472 }) ({p63 } a35 {p73 }) ({p536 p230 p541 p590 p426 p138 p427 p318 p11 p358 p434 p299 p468 p576 p275 p92 p472 } a31 {p536 p230 p541 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p493 p576 p120 p92 p280 p46 }) ({p230 p52 p426 p463 p427 p318 p592 p111 p17 p434 p360 p576 p470 p82 p267 p305 p176 p557 p92 p531 p279 } a20 {p230 p52 p53 p426 p427 p318 p108 p434 p594 p113 p468 p576 p363 p266 p86 p556 p307 p92 p179 p277 p531 }) ({p254 p11 p510 p402 p380 p237 p635 p436 p643 p555 p194 p92 p249 } a31 {p250 p564 p623 p352 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p46 }) ({p241 p11 p555 p510 p378 p194 p249 p635 } a31 {p564 p623 p439 p247 p523 p208 p405 p502 p633 p514 p46 }) ({p0 p564 p623 p289 p630 p207 p511 p403 p17 p514 p412 p382 p645 p502 p198 p126 } a20 {p3 p53 p542 p289 p395 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p504 }) ({p425 p321 p11 p431 p354 p569 p455 p438 p440 p642 p177 p92 p281 } a31 {p577 p430 p353 p445 p198 p346 p92 p189 p607 p620 p46 p281 }) ({p550 p507 p193 p11 p208 p92 p188 p461 p636 } a31 {p539 p439 p558 p208 p92 p606 p114 p46 }) ({p133 p576 p541 p32 p427 p144 p527 p297 p460 p586 } a51 {p574 p587 p537 p427 p441 p379 p527 p18 }) ({p427 p351 p17 p619 p573 p409 } a20 {p580 p325 p53 p316 p351 p641 p171 p461 }) ({p438 p565 p425 p116 p642 p11 p354 p386 p177 p92 p281 } a31 {p132 p626 p233 p430 p353 p571 p189 p346 p92 p227 p620 p46 p281 }) ({p231 p104 p315 p318 p399 p11 p257 p581 p81 p119 p418 p556 p92 } a31 {p134 p315 p318 p305 p583 p111 p323 p89 p433 p224 p92 p46 }) ({p229 p537 p316 p427 p397 p320 p147 p487 p574 p383 p496 p32 p599 p527 p129 p374 } a51 {p229 p537 p316 p427 p397 p320 p147 p18 p487 p574 p596 p496 p601 p527 p129 p374 }) ({p550 p32 p523 p208 p405 p633 p188 p461 } a51 {p555 p378 p208 p18 p249 }) ({p230 p541 p426 p427 p318 p11 p64 p322 p294 p434 p487 p576 p495 p34 p123 p92 } a31 {p230 p541 p426 p427 p318 p140 p62 p322 p294 p434 p487 p576 p495 p496 p471 p92 p46 }) ({p334 p230 p541 p426 p463 p427 p592 p340 p17 p434 p299 p360 p470 p120 p176 p56 p318 p140 p322 p513 p487 p489 p576 p495 p82 p267 p92 p534 p279 } a20 {p335 p230 p541 p426 p427 p108 p339 p434 p594 p299 p468 p363 p123 p179 p53 p56 p138 p318 p322 p487 p515 p489 p576 p495 p86 p92 p531 p277 }) ({p230 p541 p426 p427 p318 p140 p62 p322 p17 p434 p487 p299 p576 p495 p31 p120 p92 } a20 {p230 p541 p53 p426 p138 p427 p60 p318 p322 p434 p487 p299 p576 p495 p34 p123 p92 }) ({p468 p138 p32 p591 p118 p91 p359 p299 } a51 {p360 p469 p136 p463 p592 p293 p120 p18 p280 }) ({p231 p104 p326 p581 p81 p399 p11 p510 p92 p249 p635 } a31 {p623 p429 p583 p89 p323 p224 p502 p92 p633 p46 }) ({p538 p609 p426 p427 p11 p296 p434 p113 p410 p616 p24 p174 p369 p307 p473 p319 p318 p452 p144 p258 p491 p576 p219 p266 p525 p331 p92 p585 } a31 {p101 p587 p540 p426 p232 p427 p318 p610 p509 p400 p451 p434 p615 p410 p576 p262 p175 p524 p557 p332 p92 p308 p475 p46 }) ({p538 p609 p426 p427 p11 p296 p434 p113 p616 p24 p244 p174 p369 p307 p473 p373 p319 p318 p452 p144 p258 p491 p576 p219 p266 p525 p331 p92 p585 } a31 {p101 p587 p540 p426 p232 p427 p610 p400 p434 p615 p410 p244 p175 p557 p308 p475 p46 p318 p509 p451 p576 p262 p524 p332 p92 }) ({p230 p541 p426 p427 p318 p141 p62 p11 p322 p293 p295 p434 p487 p299 p596 p576 p343 p495 p92 p530 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p293 p295 p434 p487 p299 p576 p495 p599 p371 p92 p530 p46 }) ({p73 } a28 {p71 }) ({p536 p587 p230 p426 p427 p610 p295 p17 p434 p296 p618 p175 p366 p308 p317 p318 p509 p148 p454 p493 p576 p262 p218 p524 p526 p332 p92 } a20 {p538 p230 p590 p426 p499 p427 p358 p434 p296 p616 p369 p603 p472 p53 p319 p318 p256 p512 p452 p144 p491 p576 p264 p219 p525 p275 p199 p92 p333 }) ({p231 p104 p543 p396 p10 p399 p234 p11 p613 p242 p617 p119 p556 p443 p447 p48 p257 p457 p581 p81 p418 p269 p92 p389 p282 } a31 {p390 p134 p608 p315 p13 p111 p236 p323 p433 p211 p408 p407 p456 p578 p640 p305 p583 p89 p224 p528 p92 p448 p46 }) ({p547 p173 p11 p99 } a31 {p344 p155 p97 p561 p621 p46 }) ({p468 p60 p140 p120 p294 p17 p280 } a20 {p468 p53 p138 p60 p123 p94 p299 }) ({p230 p541 p426 p427 p318 p11 p322 p593 p434 p487 p576 p361 p495 p38 p92 p374 } a31 {p287 p230 p541 p545 p137 p426 p427 p318 p322 p434 p487 p466 p576 p495 p496 p195 p92 p46 }) ({p56 p463 p140 p592 p294 p17 p360 p470 p82 p267 p120 p176 p531 p280 p279 } a20 {p53 p56 p138 p108 p594 p299 p468 p363 p86 p123 p94 p179 p277 p531 }) ({p230 p590 p426 p499 p427 p138 p318 p11 p256 p512 p358 p434 p299 p468 p576 p618 p264 p86 p275 p199 p92 p472 p531 p277 } a31 {p536 p230 p426 p463 p427 p592 p295 p434 p360 p618 p366 p120 p176 p46 p317 p318 p324 p513 p148 p493 p576 p218 p267 p526 p92 p280 }) ({p590 p426 p499 p427 p318 p11 p339 p512 p358 p434 p257 p301 p468 p264 p86 p119 p556 p443 p603 p199 p92 p531 p277 p333 } a31 {p334 p536 p426 p463 p427 p592 p111 p434 p301 p360 p618 p305 p366 p176 p46 p134 p318 p513 p148 p454 p578 p218 p267 p526 p92 }) ({p202 p132 p345 p353 p155 p17 p560 p97 p201 p189 } a20 {p173 p53 p135 p565 p425 p116 p386 p177 p187 p92 p278 }) ({p577 p438 p173 p315 p354 p433 p17 p633 p607 p620 } a20 {p438 p53 p173 p581 p81 p642 p321 p418 p269 p431 p354 p249 }) ({p259 p132 p345 p353 p155 p17 p560 p97 p281 p201 p189 } a20 {p261 p173 p53 p135 p565 p425 p116 p386 p177 p187 p92 }) ({p230 p541 p426 p58 p138 p427 p318 p141 p11 p256 p434 p299 p596 p576 p343 p275 p92 p530 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p434 p493 p576 p599 p120 p371 p92 p530 p280 p46 }) ({p538 p579 p11 p441 p379 } a31 {p576 p541 p524 p568 p46 }) ({p101 p289 p232 p400 p511 p17 p635 p613 p583 p89 p224 p502 p92 } a20 {p53 p231 p104 p289 p399 p510 p635 p613 p258 p24 p174 p92 p585 p504 }) ({p230 p541 p426 p137 p427 p318 p322 p293 p17 p434 p487 p299 p469 p576 p495 p118 p92 } a20 {p230 p53 p541 p136 p426 p427 p318 p322 p293 p434 p487 p299 p469 p576 p495 p38 p92 }) ({p230 p541 p426 p427 p318 p11 p64 p322 p434 p487 p576 p495 p34 p123 p94 p92 } a31 {p230 p541 p426 p427 p318 p140 p62 p322 p294 p69 p434 p487 p576 p495 p496 p471 p92 p46 }) ({p283 p101 p133 p538 p542 p11 p144 p258 p579 p174 p219 p369 p92 p585 p504 } a31 {p283 p101 p587 p232 p400 p568 p511 p262 p175 p524 p527 p92 p46 }) ({p516 p11 p354 } a31 {p639 p626 p354 p46 }) ({p437 p32 p566 p353 p198 p453 p501 p417 } a51 {p428 p442 p569 p196 p18 }) ({p7 } a41 {p20 }) ({p335 p230 p541 p426 p427 p11 p108 p294 p434 p594 p342 p363 p605 p123 p372 p179 p481 p58 p318 p322 p186 p487 p515 p492 p576 p495 p522 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p483 p322 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p328 p17 } a20 {p53 p324 p487 }) ({p563 p437 p32 p353 p501 p300 } a51 {p565 p428 p646 p18 p388 }) ({p250 p11 p555 p510 p402 p194 p208 p380 p92 p635 p249 p436 } a31 {p250 p564 p623 p208 p633 p514 p436 p382 p439 p523 p502 p92 p46 }) ({p230 p426 p463 p427 p318 p592 p111 p17 p434 p360 p576 p470 p267 p305 p86 p557 p92 p279 } a20 {p230 p53 p426 p427 p318 p108 p434 p594 p113 p468 p576 p363 p266 p86 p556 p307 p92 p277 }) ({p576 p426 p397 p427 p318 p582 p17 p434 p503 p559 p92 p220 } a20 {p562 p229 p53 p426 p427 p318 p112 p434 p576 p306 p584 p92 p130 }) ({p562 p229 p576 p580 p426 p318 p427 p11 p434 p92 p171 p467 } a31 {p576 p426 p318 p427 p582 p434 p503 p92 p220 p129 p46 }) ({p230 p541 p545 p426 p427 p318 p17 p434 p298 p487 p576 p601 p195 p92 p158 } a20 {p230 p541 p53 p426 p427 p318 p320 p434 p576 p383 p328 p92 p226 p374 }) ({p11 p97 p278 } a31 {p97 p278 p46 }) ({p230 p541 p426 p427 p318 p319 p60 p184 p322 p293 p17 p434 p487 p299 p595 p576 p495 p365 p522 p599 p371 p92 p180 } a20 {p230 p53 p541 p426 p427 p318 p319 p60 p141 p322 p293 p186 p434 p487 p299 p596 p576 p343 p495 p522 p605 p92 p372 }) ({p231 p104 p399 p11 p257 p613 p456 p581 p81 p119 p418 p269 p556 p443 p92 } a31 {p134 p608 p315 p111 p323 p433 p456 p578 p305 p583 p89 p224 p92 p46 }) ({p547 p135 p32 p170 p99 } a51 {p161 p553 p18 p421 }) ({p538 p319 p11 p379 p160 } a31 {p541 p322 p524 p308 p46 }) ({p101 p538 p426 p319 p427 p318 p11 p144 p434 p113 p258 p491 p576 p174 p219 p266 p369 p307 p92 p585 } a31 {p101 p587 p426 p232 p427 p318 p400 p434 p576 p262 p175 p524 p557 p92 p308 p46 }) ({p283 p133 p3 p395 p321 p11 p431 p569 p632 p210 p406 p455 p413 p579 p440 p385 p270 p647 p527 p92 p504 } a31 {p283 p6 p398 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p229 p537 p287 p316 p427 p320 p295 p147 p487 p574 p383 p32 p599 p226 } a51 {p229 p537 p287 p316 p427 p320 p147 p298 p18 p487 p574 p596 p601 p275 }) ({p623 p11 p156 } a31 {p209 p527 p514 p635 p46 }) ({p83 } a26 {p73 }) ({p334 p479 p58 p463 p140 p592 p294 p340 p513 p17 p490 p360 p26 p470 p82 p267 p120 p176 p534 p280 p279 } a20 {p335 p53 p56 p481 p138 p108 p339 p594 p515 p489 p299 p468 p29 p363 p86 p123 p94 p179 p531 p277 }) ({p11 p156 p527 } a31 {p209 p527 p514 p46 }) ({p536 p587 p134 p426 p427 p318 p610 p509 p568 p17 p434 p296 p148 p454 p578 p618 p262 p218 p175 p366 p524 p526 p332 p92 } a20 {p538 p590 p426 p499 p427 p358 p434 p296 p616 p119 p369 p443 p603 p133 p53 p318 p512 p452 p144 p257 p579 p264 p219 p525 p199 p92 p333 }) ({p285 p315 p352 p430 p433 p17 p633 p436 p456 p577 p173 p445 p346 p607 p620 } a20 {p285 p53 p254 p321 p431 p354 p455 p438 p355 p173 p581 p81 p642 p418 p269 p447 p249 }) ({p230 p541 p426 p427 p318 p141 p62 p11 p322 p293 p295 p434 p341 p487 p299 p596 p576 p343 p495 p497 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p293 p295 p434 p341 p487 p299 p576 p495 p599 p371 p530 p92 p46 }) ({p577 p354 p433 p459 p17 p633 p620 } a20 {p53 p581 p81 p318 p642 p418 p431 p354 p249 }) ({p283 p0 p564 p623 p630 p207 p511 p403 p17 p514 p412 p382 p268 p645 p502 p198 p126 } a20 {p3 p53 p252 p289 p542 p395 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p504 }) ({p230 p541 p426 p427 p11 p108 p294 p340 p434 p594 p363 p605 p123 p372 p179 p58 p318 p322 p186 p487 p515 p576 p495 p522 p92 } a31 {p287 p230 p541 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p487 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p639 p233 p11 p354 } a31 {p639 p233 p354 p46 }) ({p101 p283 p608 p540 p232 p396 p451 p400 p511 p17 p635 p615 p268 p583 p89 p224 p528 p502 p92 p448 } a20 {p53 p231 p104 p543 p252 p289 p609 p396 p399 p510 p613 p635 p258 p24 p457 p174 p331 p92 p585 p473 p504 }) ({p230 p590 p426 p138 p499 p427 p318 p11 p256 p358 p434 p299 p468 p576 p264 p86 p526 p275 p199 p92 p277 p472 } a31 {p536 p230 p317 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p493 p576 p218 p267 p366 p120 p176 p526 p92 p280 p46 }) ({p230 p541 p336 p426 p427 p293 p341 p17 p434 p299 p595 p365 p599 p371 p180 p318 p319 p60 p483 p184 p322 p487 p517 p494 p576 p495 p530 p92 } a20 {p230 p541 p426 p427 p293 p434 p342 p299 p596 p343 p303 p605 p372 p53 p318 p319 p60 p141 p322 p186 p487 p492 p576 p495 p522 p458 p497 p92 }) ({p11 p91 } a31 {p293 p69 p46 }) ({p230 p541 p426 p427 p318 p141 p62 p11 p322 p293 p295 p434 p487 p299 p596 p576 p494 p343 p303 p495 p497 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p293 p295 p341 p434 p487 p299 p576 p494 p495 p599 p371 p530 p92 p46 }) ({p231 p104 p543 p396 p399 p11 p257 p613 p457 p581 p640 p81 p119 p418 p269 p556 p443 p92 p447 p389 p282 } a31 {p390 p134 p608 p315 p111 p323 p433 p211 p408 p456 p578 p640 p305 p583 p89 p224 p528 p92 p448 p46 }) ({p623 p583 p400 p511 p502 p17 p622 } a20 {p230 p53 p542 p399 p510 p585 p504 p635 p258 }) ({p230 p541 p56 p426 p317 p427 p318 p186 p295 p17 p434 p595 p493 p576 p365 p599 p371 p92 p308 } a20 {p230 p541 p53 p56 p426 p427 p319 p318 p256 p186 p434 p491 p596 p576 p343 p605 p275 p92 p372 p472 }) ({p493 p599 p197 p295 p17 p595 p160 } a20 {p491 p596 p375 p53 p322 p605 p275 p472 }) ({p574 p134 p589 p549 p316 p32 p427 p357 p148 p467 } a51 {p574 p590 p316 p427 p119 p358 p147 p18 p257 p129 }) ({p230 p541 p137 p426 p427 p318 p591 p322 p293 p17 p434 p487 p359 p466 p576 p495 p118 p92 } a20 {p230 p541 p53 p136 p426 p427 p318 p322 p293 p593 p434 p487 p469 p576 p361 p495 p38 p92 }) ({p100 p213 p163 p116 p11 p555 p402 p194 p380 p187 } a31 {p259 p132 p564 p382 p165 p439 p345 p523 p208 p92 p514 p46 }) ({p352 p11 p510 p402 p380 p237 p635 p436 p643 p555 p194 p92 p249 } a31 {p564 p623 p352 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p46 }) ({p230 p54 p426 p319 p427 p318 p11 p186 p108 p434 p594 p113 p491 p576 p363 p266 p307 p605 p92 p372 p179 p534 } a31 {p287 p230 p54 p426 p427 p318 p434 p595 p576 p470 p365 p82 p557 p92 p308 p279 p534 p180 p46 }) ({p287 p138 p427 p397 p32 p118 p69 p147 p527 p487 p129 } a51 {p287 p136 p427 p397 p120 p69 p147 p527 p18 p487 p129 }) ({p230 p538 p541 p231 p426 p427 p17 p434 p468 p173 p247 p471 p556 p318 p319 p321 p322 p510 p487 p576 p495 p579 p641 p642 p193 p194 p92 } a20 {p230 p538 p541 p231 p426 p427 p434 p468 p173 p247 p556 p53 p318 p319 p64 p321 p322 p510 p487 p576 p495 p579 p641 p642 p193 p194 p92 }) ({p231 p104 p399 p11 p211 p257 p613 p457 p581 p81 p119 p418 p269 p556 p443 p92 p447 } a31 {p134 p608 p315 p111 p323 p433 p211 p456 p578 p305 p583 p89 p224 p92 p448 p46 }) ({p230 p541 p426 p58 p138 p427 p318 p141 p11 p256 p434 p341 p299 p596 p576 p343 p497 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p434 p341 p493 p576 p599 p120 p371 p530 p92 p280 p46 }) ({p283 p133 p538 p609 p11 p452 p144 p258 p616 p24 p579 p174 p219 p525 p331 p369 p527 p92 p585 p504 } a31 {p101 p283 p587 p232 p610 p509 p451 p400 p568 p511 p615 p262 p175 p524 p332 p527 p92 p46 }) ({p230 p32 p427 p582 p399 p556 p503 p527 p220 p129 } a51 {p562 p229 p427 p305 p583 p111 p527 p18 p622 p129 }) ({p564 p623 p511 p156 p502 p198 p17 } a20 {p53 p542 p440 p510 p194 p569 p209 p504 p635 }) ({p230 p541 p426 p427 p11 p108 p340 p434 p594 p363 p605 p123 p372 p179 p58 p318 p322 p186 p487 p515 p576 p495 p522 p94 p92 } a31 {p287 p230 p541 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p69 p487 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p230 p541 p545 p426 p427 p318 p320 p322 p293 p17 p434 p487 p299 p576 p495 p601 p195 p92 } a20 {p230 p53 p541 p426 p427 p318 p320 p322 p293 p434 p487 p299 p576 p495 p383 p92 p374 }) ({p360 p470 p463 p140 p267 p86 p592 p120 p294 p17 p280 p279 } a20 {p468 p53 p363 p138 p86 p108 p123 p94 p594 p277 p299 }) ({p516 p471 p233 p523 p354 p17 p571 p633 p620 } a20 {p639 p53 p642 p64 p555 p354 p380 p237 p249 }) ({p250 p287 p376 p61 p324 p323 p208 p69 p173 p496 p439 p527 p92 } a5 {p377 p155 p66 p97 }) ({p286 p626 p352 p233 p430 p17 p571 p633 p436 p263 p643 p523 p346 p227 p620 } a20 {p285 p53 p628 p254 p354 p380 p237 p438 p355 p265 p642 p555 p122 p249 }) ({p32 p566 p511 p95 p198 p453 p417 } a51 {p508 p442 p569 p196 p18 p504 }) ({p20 } a46 {p21 }) ({p230 p426 p427 p318 p320 p11 p593 p112 p434 p576 p361 p306 p92 p374 } a31 {p287 p230 p545 p426 p427 p318 p434 p466 p576 p195 p559 p92 p158 p46 }) ({p508 p558 p196 p17 p92 p606 p114 p636 } a20 {p53 p566 p507 p193 p95 p92 p417 p636 }) ({p202 p11 p97 } a31 {p259 p278 p97 p46 }) ({p212 p550 p507 p193 p11 p188 p461 p636 } a31 {p539 p439 p248 p558 p208 p606 p114 p46 }) ({p27 } a49 {p8 }) ({p283 p133 p3 p542 p395 p321 p11 p431 p569 p632 p210 p406 p455 p413 p579 p440 p385 p270 p647 p92 p504 } a31 {p283 p6 p398 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p101 p608 p623 p289 p232 p451 p400 p511 p17 p615 p583 p89 p224 p502 p448 } a20 {p53 p231 p104 p542 p289 p609 p399 p510 p613 p635 p258 p24 p457 p174 p331 p585 p504 }) ({p230 p541 p426 p58 p138 p427 p318 p141 p11 p256 p434 p299 p596 p576 p494 p343 p303 p497 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p341 p434 p493 p576 p494 p599 p120 p371 p530 p92 p280 p46 }) ({p428 p442 p17 } a20 {p437 p53 p440 p425 p453 }) ({p231 p104 p254 p399 p11 p510 p613 p635 p436 p581 p81 p418 p269 p92 p249 } a31 {p250 p608 p623 p315 p352 p323 p433 p633 p436 p583 p89 p224 p502 p92 p46 }) ({p536 p587 p426 p427 p610 p17 p434 p301 p618 p175 p366 p475 p48 p134 p318 p509 p568 p148 p454 p578 p262 p218 p524 p526 p332 p92 } a20 {p538 p590 p426 p499 p427 p358 p296 p434 p616 p119 p369 p443 p603 p48 p477 p133 p53 p318 p512 p452 p144 p257 p579 p264 p219 p525 p199 p92 p333 }) ({p564 p289 p207 p511 p403 p17 p514 p635 p382 p644 p502 p198 p92 } a20 {p53 p289 p510 p402 p569 p635 p440 p385 p644 p270 p194 p92 p504 }) ({p334 p230 p426 p463 p427 p592 p111 p340 p17 p434 p360 p470 p305 p176 p557 p52 p318 p513 p489 p576 p82 p267 p92 p534 p279 } a20 {p335 p230 p426 p427 p108 p339 p434 p594 p113 p468 p363 p556 p307 p179 p52 p53 p318 p515 p489 p576 p266 p86 p92 p531 p277 }) ({p335 p230 p426 p427 p11 p108 p434 p594 p342 p113 p22 p363 p307 p605 p372 p179 p56 p481 p319 p318 p186 p515 p492 p491 p576 p522 p266 p92 } a31 {p287 p230 p336 p426 p427 p340 p434 p595 p26 p470 p365 p557 p308 p180 p46 p54 p318 p483 p490 p517 p576 p82 p92 p534 p279 }) ({p253 p471 p248 p567 p17 p619 p222 } a20 {p212 p250 p53 p550 p641 p351 p64 p188 p461 }) ({p345 p11 p208 p92 p278 } a31 {p345 p208 p92 p278 p46 }) ({p574 p229 p537 p287 p316 p427 p32 p140 p320 p38 p487 } a51 {p574 p229 p537 p287 p137 p316 p427 p320 p123 p18 p487 }) ({p230 p541 p426 p427 p318 p62 p11 p322 p293 p294 p434 p487 p299 p576 p470 p495 p123 p92 } a31 {p230 p541 p426 p427 p318 p140 p62 p322 p293 p294 p434 p487 p299 p576 p470 p495 p496 p92 p46 }) ({p161 p173 p553 p11 p187 p421 } a31 {p259 p345 p155 p560 p97 p201 p170 p46 }) ({p285 p261 p438 p565 p425 p116 p642 p11 p354 p386 p177 p92 } a31 {p132 p626 p233 p430 p353 p571 p189 p263 p346 p92 p227 p281 p620 p46 }) ({p231 p104 p543 p399 p11 p257 p613 p408 p457 p581 p81 p119 p418 p269 p556 p443 p92 p447 p282 } a31 {p134 p608 p315 p111 p323 p433 p211 p408 p456 p578 p305 p583 p89 p224 p528 p92 p448 p46 }) ({p289 p104 p232 p583 p400 p511 p224 p17 p502 p92 p635 } a20 {p53 p231 p289 p104 p174 p399 p510 p92 p585 p635 p504 p258 }) ({p335 p230 p541 p426 p427 p11 p108 p434 p594 p342 p363 p605 p123 p372 p179 p481 p58 p318 p322 p186 p487 p515 p492 p576 p495 p522 p94 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p483 p322 p69 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p231 p104 p543 p396 p399 p11 p257 p613 p407 p457 p617 p581 p81 p119 p418 p269 p556 p443 p92 p447 p389 p282 } a31 {p390 p134 p608 p315 p111 p323 p433 p211 p408 p407 p456 p578 p640 p305 p583 p89 p224 p528 p92 p448 p46 }) ({p580 p103 p325 p32 p434 p633 p171 p461 } a51 {p581 p427 p85 p419 p18 p249 }) ({p230 p541 p426 p317 p138 p427 p318 p11 p322 p434 p148 p299 p596 p576 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p427 p318 p322 p324 p295 p434 p148 p493 p576 p599 p120 p92 p280 p46 }) ({p231 p104 p326 p581 p318 p81 p399 p11 p119 p556 p92 p257 } a31 {p134 p318 p305 p429 p583 p111 p89 p323 p224 p92 p46 }) ({p230 p541 p426 p427 p397 p11 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p596 p470 p557 p559 p371 p129 p132 p375 p134 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 } a31 {p230 p541 p426 p427 p397 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p599 p557 p559 p371 p46 p129 p132 p375 p134 p376 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 }) ({p250 p318 p32 p642 p431 p208 p619 p573 p409 } a51 {p577 p250 p316 p641 p208 p459 p18 p620 }) ({p538 p230 p426 p319 p427 p232 p318 p11 p144 p434 p113 p258 p491 p576 p266 p369 p307 p92 p585 } a31 {p587 p230 p426 p427 p232 p318 p400 p434 p576 p262 p524 p557 p92 p308 p46 }) ({p25 } a48 {p28 }) ({p23 } a47 {p32 }) ({p626 p471 p643 p233 p523 p354 p17 p571 p633 p620 } a20 {p53 p628 p642 p64 p555 p354 p380 p237 p249 }) ({p11 p280 } a31 {p69 p299 p46 }) ({p0 p286 p315 p352 p430 p433 p17 p211 p633 p408 p436 p456 p577 p263 p155 p445 p387 p346 p276 p607 p620 } a20 {p285 p3 p53 p254 p321 p431 p354 p210 p406 p455 p438 p355 p173 p581 p81 p265 p642 p418 p269 p447 p249 p389 p282 }) ({p286 p231 p104 p254 p399 p11 p510 p613 p635 p457 p355 p581 p81 p418 p269 p92 p447 p249 } a31 {p250 p286 p608 p623 p315 p352 p323 p433 p633 p436 p456 p583 p89 p224 p502 p92 p448 p46 }) ({p250 p231 p104 p543 p289 p399 p11 p510 p613 p635 p408 p457 p355 p581 p81 p265 p418 p269 p92 p447 p249 p282 } a31 {p250 p286 p608 p623 p315 p323 p433 p211 p633 p408 p436 p456 p268 p583 p89 p224 p528 p502 p92 p448 p46 }) ({p138 p427 p397 p591 p293 p147 p487 p359 p468 p32 p118 p527 p129 } a51 {p136 p463 p427 p397 p592 p293 p147 p18 p487 p360 p469 p120 p527 p129 }) ({p516 p11 p346 } a31 {p250 p639 p626 p354 p46 }) ({p563 p641 p351 p64 p11 p92 p501 p300 } a31 {p253 p471 p567 p92 p619 p222 p46 }) ({p587 p493 p295 p379 p17 p148 p160 } a20 {p491 p541 p53 p590 p322 p144 p358 p275 p472 }) ({p325 p17 } a20 {p53 p427 p323 }) ({p564 p289 p207 p511 p402 p502 p17 p198 p92 p514 p635 } a20 {p53 p289 p440 p510 p270 p402 p194 p569 p92 p635 p504 }) ({p334 p56 p463 p140 p592 p294 p340 p513 p17 p489 p360 p470 p82 p267 p120 p176 p534 p280 p279 } a20 {p335 p53 p56 p138 p108 p339 p594 p515 p299 p489 p468 p363 p86 p123 p94 p179 p531 p277 }) ({p397 p582 p508 p17 p92 p220 p114 p636 } a20 {p229 p53 p507 p584 p95 p92 p130 p636 }) ({p134 p580 p103 p325 p32 p434 p171 p467 } a51 {p581 p427 p85 p119 p419 p18 p257 p129 }) ({p229 p580 p427 p507 p11 p92 p171 p461 p636 } a31 {p539 p427 p582 p92 p220 p114 p46 }) ({p580 p103 p32 p427 p633 p171 p461 } a51 {p581 p427 p85 p18 p249 }) ({p305 p583 p400 p111 p557 p17 p622 } a20 {p230 p53 p266 p399 p556 p307 p585 p113 p258 }) ({p334 p230 p541 p426 p463 p427 p592 p340 p17 p434 p299 p360 p470 p120 p176 p479 p56 p318 p140 p322 p513 p487 p490 p576 p495 p82 p267 p92 p534 p279 } a20 {p335 p230 p541 p426 p427 p108 p339 p434 p594 p299 p468 p363 p123 p179 p53 p56 p481 p138 p318 p322 p487 p515 p489 p576 p495 p86 p92 p531 p277 }) ({p642 p428 p321 p11 p442 p431 p354 p569 } a31 {p577 p437 p353 p198 p346 p453 p607 p620 p46 }) ({p260 p17 } a20 {p53 p368 p258 }) ({p383 p136 p11 p328 p293 p147 p226 } a31 {p376 p118 p601 p324 p91 p147 p298 p487 p46 }) ({p230 p541 p426 p427 p318 p60 p140 p322 p293 p17 p434 p487 p299 p468 p576 p495 p120 p92 } a20 {p230 p53 p541 p426 p427 p318 p60 p138 p322 p293 p434 p487 p299 p468 p576 p495 p92 p123 }) ({p101 p390 p608 p540 p426 p232 p427 p400 p111 p17 p434 p615 p410 p242 p305 p557 p448 p318 p451 p576 p583 p89 p224 p528 p92 } a20 {p231 p104 p543 p609 p426 p396 p427 p399 p434 p113 p613 p24 p242 p174 p556 p307 p473 p373 p53 p318 p258 p457 p576 p266 p331 p92 p585 }) ({p231 p104 p315 p426 p318 p427 p399 p11 p429 p433 p434 p257 p576 p578 p581 p81 p119 p556 p92 } a31 {p134 p315 p426 p318 p427 p429 p111 p433 p434 p576 p578 p305 p583 p89 p224 p92 p46 }) ({p8 } a42 {p76 }) ({p230 p541 p426 p138 p427 p318 p11 p322 p434 p148 p299 p596 p576 p329 p275 p92 } a31 {p230 p376 p541 p426 p427 p318 p322 p324 p295 p434 p148 p488 p576 p599 p120 p92 p280 p46 }) ({p241 p378 p17 } a20 {p213 p53 p247 p380 p405 }) ({p577 p134 p441 p433 p459 p17 } a20 {p133 p576 p53 p581 p81 p318 p119 p418 p431 p257 }) ({p230 p541 p426 p427 p318 p319 p60 p322 p293 p186 p17 p434 p487 p299 p595 p576 p495 p365 p599 p371 p92 } a20 {p230 p53 p541 p426 p427 p318 p319 p60 p322 p293 p186 p434 p487 p299 p596 p576 p343 p495 p605 p92 p372 }) ({p283 p133 p538 p542 p609 p11 p452 p144 p258 p616 p24 p579 p174 p219 p525 p331 p369 p92 p585 p504 } a31 {p101 p283 p587 p232 p610 p509 p451 p400 p568 p511 p615 p262 p175 p524 p332 p527 p92 p46 }) ({p101 p390 p608 p540 p426 p232 p427 p13 p400 p111 p236 p17 p434 p615 p410 p244 p305 p557 p448 p50 p318 p451 p576 p583 p89 p224 p528 p92 } a20 {p231 p104 p543 p609 p426 p396 p427 p399 p16 p434 p113 p613 p24 p242 p174 p556 p307 p473 p373 p48 p53 p318 p223 p258 p457 p576 p266 p331 p92 p585 }) ({p283 p133 p538 p11 p144 p258 p615 p24 p579 p174 p219 p525 p369 p527 p92 p585 p504 } a31 {p101 p283 p587 p232 p509 p400 p568 p511 p615 p262 p175 p524 p527 p92 p46 }) ({p639 p253 p32 p642 p567 p354 p619 p222 } a51 {p516 p641 p351 p233 p346 p571 p18 p620 }) ({p468 p32 p427 p397 p591 p556 p503 p527 p359 p129 } a51 {p360 p562 p469 p463 p427 p397 p305 p592 p111 p527 p18 p129 }) ({p536 p587 p230 p317 p426 p427 p318 p295 p17 p434 p148 p493 p576 p262 p219 p366 p524 p92 p308 } a20 {p538 p230 p53 p590 p426 p319 p499 p427 p318 p256 p144 p358 p434 p491 p576 p264 p219 p369 p275 p92 p472 }) ({p43 } a0 {p5 }) ({p230 p541 p426 p463 p427 p318 p140 p322 p592 p17 p434 p487 p299 p360 p576 p470 p495 p120 p92 p277 } a20 {p230 p541 p53 p426 p138 p427 p318 p322 p434 p594 p487 p299 p468 p576 p495 p363 p123 p92 p277 }) ({p562 p229 p580 p325 p11 p171 p467 } a31 {p427 p582 p323 p503 p220 p129 p46 }) ({p565 p642 p428 p64 p11 p646 p354 p388 } a31 {p437 p626 p471 p233 p353 p346 p571 p620 p46 }) ({p536 p587 p230 p317 p426 p427 p318 p295 p17 p434 p148 p493 p576 p369 p524 p92 p308 } a20 {p538 p230 p53 p590 p426 p319 p499 p427 p318 p256 p144 p358 p434 p491 p576 p369 p275 p92 p472 }) ({p230 p590 p426 p499 p427 p11 p339 p358 p434 p299 p301 p468 p603 p472 p138 p318 p256 p512 p576 p264 p86 p275 p199 p92 p531 p277 p333 } a31 {p334 p536 p230 p426 p463 p427 p592 p295 p434 p301 p360 p618 p366 p120 p176 p46 p317 p318 p324 p513 p148 p454 p493 p576 p218 p267 p526 p92 p280 }) ({p564 p289 p630 p207 p511 p403 p17 p514 p635 p411 p382 p645 p502 p198 p92 } a20 {p53 p289 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p92 p504 }) ({p286 p628 p254 p11 p510 p402 p380 p237 p635 p411 p355 p644 p555 p194 p122 p92 p249 } a31 {p0 p250 p286 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p126 p46 }) ({p639 p233 p11 p346 } a31 {p250 p639 p233 p354 p46 }) ({p101 p608 p289 p232 p400 p511 p17 p635 p615 p457 p583 p89 p224 p502 p92 } a20 {p53 p231 p104 p289 p609 p399 p510 p613 p635 p258 p24 p457 p174 p92 p585 p504 }) ({p134 p315 p6 p398 p568 p433 p17 p211 p634 p408 p407 p456 p577 p578 p640 p445 p387 p92 p276 p607 } a20 {p133 p53 p10 p234 p321 p431 p210 p406 p257 p455 p413 p617 p579 p581 p81 p119 p418 p269 p443 p647 p92 p447 p389 p282 }) ({p250 p321 p11 p459 p620 } a31 {p250 p318 p607 p620 p46 }) ({p230 p541 p426 p138 p427 p318 p11 p322 p434 p148 p487 p299 p488 p596 p576 p493 p495 p275 p92 } a31 {p230 p376 p541 p426 p427 p318 p322 p295 p434 p148 p487 p488 p576 p493 p495 p599 p120 p92 p280 p46 }) ({p538 p609 p10 p11 p296 p616 p24 p174 p369 p473 p373 p504 p48 p133 p252 p452 p144 p258 p579 p219 p525 p331 p527 p92 p585 } a31 {p101 p283 p587 p540 p232 p610 p509 p13 p451 p400 p568 p511 p615 p410 p262 p175 p524 p332 p527 p92 p475 p46 }) ({p229 p580 p325 p507 p11 p171 p461 p636 } a31 {p539 p427 p582 p323 p220 p114 p46 }) ({p536 p587 p426 p427 p610 p13 p17 p434 p301 p618 p175 p366 p475 p50 p134 p318 p509 p568 p148 p454 p578 p262 p218 p524 p526 p332 p92 } a20 {p538 p590 p426 p499 p427 p16 p358 p296 p434 p616 p119 p369 p443 p603 p48 p477 p133 p53 p318 p512 p452 p144 p257 p579 p264 p219 p525 p199 p92 p333 }) ({p574 p316 p566 p11 p95 p92 p417 } a31 {p508 p196 p92 p297 p573 p409 p46 }) ({p230 p541 p426 p427 p318 p141 p62 p11 p322 p293 p295 p434 p487 p299 p596 p576 p343 p303 p495 p458 p497 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p293 p295 p341 p434 p487 p299 p494 p576 p495 p599 p371 p530 p92 p46 }) ({p564 p165 p353 p207 p403 p17 p514 p189 p259 p172 p382 p345 p198 p92 p281 } a20 {p53 p425 p167 p402 p569 p187 p261 p440 p385 p270 p194 p177 p92 }) ({p230 p541 p336 p426 p427 p295 p341 p17 p434 p595 p26 p365 p599 p371 p308 p180 p58 p317 p318 p483 p184 p517 p494 p493 p576 p530 p92 } a20 {p230 p541 p426 p427 p434 p342 p596 p343 p303 p29 p605 p372 p472 p53 p56 p319 p318 p141 p186 p256 p492 p491 p576 p522 p458 p497 p275 p92 }) ({p101 p390 p283 p608 p540 p6 p232 p451 p400 p511 p17 p635 p615 p410 p268 p583 p89 p224 p528 p502 p92 p448 } a20 {p53 p231 p104 p543 p252 p289 p609 p396 p10 p399 p510 p613 p635 p258 p24 p457 p174 p331 p92 p585 p473 p373 p504 }) ({p230 p426 p427 p318 p147 p17 p434 p298 p487 p576 p92 p460 p158 p586 } a20 {p537 p230 p589 p53 p426 p427 p318 p320 p357 p434 p576 p549 p328 p92 p226 }) ({p491 p260 p538 p266 p319 p11 p307 p144 p585 p113 } a31 {p587 p400 p368 p524 p557 p308 p46 }) ({p150 p161 p173 p64 p11 p555 p646 p378 p194 p187 } a31 {p259 p564 p439 p471 p345 p523 p155 p405 p514 p170 p46 }) ({p250 p231 p104 p315 p399 p11 p510 p635 p436 p581 p81 p418 p92 p249 } a31 {p250 p623 p315 p323 p433 p633 p436 p583 p89 p224 p502 p92 p46 }) ({p286 p315 p430 p354 p433 p17 p211 p633 p436 p456 p577 p173 p263 p445 p276 p607 p620 } a20 {p285 p53 p321 p431 p354 p210 p455 p438 p355 p173 p581 p81 p265 p642 p418 p269 p447 p249 p282 }) ({p316 p641 p351 p566 p11 p92 p501 p417 } a31 {p253 p196 p92 p619 p573 p409 p46 }) ({p230 p541 p426 p58 p427 p318 p11 p322 p186 p108 p294 p434 p594 p487 p576 p495 p363 p605 p123 p92 p372 p179 p534 } a31 {p287 p230 p541 p426 p58 p427 p318 p140 p322 p294 p434 p487 p595 p576 p470 p495 p496 p365 p82 p92 p279 p534 p180 p46 }) ({p133 p579 p321 p11 p442 p431 p569 p527 p504 } a31 {p577 p568 p511 p198 p527 p453 p607 p46 }) ({p31 p140 p62 p120 p294 p17 p280 } a20 {p53 p138 p60 p34 p123 p94 p299 }) ({p335 p230 p426 p427 p11 p108 p434 p594 p342 p113 p363 p307 p605 p372 p179 p54 p319 p318 p186 p515 p490 p491 p576 p522 p266 p92 } a31 {p287 p230 p54 p336 p426 p427 p318 p340 p434 p595 p490 p517 p576 p470 p365 p82 p557 p92 p308 p534 p279 p180 p46 }) ({p495 p383 p32 p599 p328 p295 p147 p226 } a51 {p596 p601 p275 p147 p298 p487 p18 p474 }) ({p377 p155 p66 p97 } a7 {p547 p173 p99 p72 }) ({p230 p541 p426 p58 p138 p427 p318 p141 p11 p256 p434 p299 p596 p576 p343 p303 p458 p497 p275 p92 p472 } a31 {p230 p376 p541 p426 p317 p58 p427 p318 p184 p324 p295 p341 p434 p494 p493 p576 p599 p120 p371 p530 p92 p280 p46 }) ({p318 p11 p208 p346 } a31 {p250 p318 p354 p208 p46 }) ({p590 p426 p499 p318 p427 p11 p512 p358 p434 p257 p454 p468 p264 p86 p119 p556 p443 p603 p199 p92 p531 p277 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p513 p434 p148 p454 p360 p578 p618 p218 p267 p305 p366 p176 p526 p92 p46 }) ({p133 p538 p252 p609 p11 p452 p144 p296 p258 p410 p616 p24 p579 p174 p219 p525 p331 p369 p527 p92 p585 p473 p504 } a31 {p101 p283 p587 p540 p232 p610 p509 p451 p400 p568 p511 p615 p410 p262 p175 p524 p332 p527 p92 p475 p46 }) ({p283 p133 p321 p11 p431 p569 p403 p210 p455 p579 p440 p270 p527 p92 p504 } a31 {p283 p568 p207 p511 p403 p577 p445 p198 p527 p92 p276 p607 p46 }) ({p230 p590 p426 p499 p427 p11 p339 p358 p434 p299 p468 p603 p472 p477 p138 p318 p256 p512 p489 p576 p154 p264 p86 p275 p199 p92 p531 p277 p333 } a31 {p334 p536 p230 p426 p463 p427 p592 p295 p434 p301 p360 p618 p366 p120 p176 p46 p479 p317 p318 p324 p513 p148 p454 p493 p576 p154 p218 p267 p526 p92 p280 }) ({p539 p32 p510 p194 p558 p209 p635 p606 p114 } a51 {p564 p623 p507 p193 p156 p502 p18 p636 }) ({p285 p626 p233 p430 p354 p17 p571 p633 p436 p643 p523 p227 p620 } a20 {p285 p438 p53 p355 p628 p642 p555 p354 p380 p237 p122 p249 }) ({p231 p104 p315 p399 p11 p510 p323 p635 p436 p581 p81 p92 p249 } a31 {p623 p315 p583 p89 p323 p224 p502 p92 p633 p46 p436 }) ({p161 p132 p553 p523 p17 p421 } a20 {p100 p213 p163 p53 p135 p116 p555 p380 p170 }) ({p133 p576 p318 p32 p431 p527 p297 p573 p409 } a51 {p574 p577 p316 p441 p459 p527 p18 }) ({p491 p541 p427 p397 p32 p322 p144 p527 p460 p158 p586 p129 } a51 {p587 p537 p427 p397 p320 p379 p527 p18 p160 p129 }) ({p590 p426 p318 p427 p11 p358 p434 p257 p468 p576 p578 p119 p556 p92 } a31 {p134 p426 p463 p318 p427 p592 p111 p434 p148 p360 p576 p578 p305 p92 p46 }) ({p285 p425 p321 p11 p431 p354 p569 p210 p455 p261 p438 p172 p440 p642 p270 p177 p92 } a31 {p430 p353 p207 p189 p577 p172 p263 p445 p198 p346 p92 p276 p607 p281 p620 p46 }) ({p351 p471 p248 p567 p17 p619 p222 } a20 {p212 p53 p550 p641 p351 p64 p188 p461 }) ({p335 p230 p541 p426 p427 p11 p108 p294 p434 p594 p342 p29 p363 p605 p123 p372 p179 p481 p60 p318 p322 p186 p487 p515 p492 p576 p495 p522 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p31 p365 p180 p46 p58 p318 p140 p483 p322 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p213 p11 p555 p510 p402 p194 p380 p92 p249 p635 } a31 {p564 p623 p382 p439 p523 p208 p502 p92 p633 p514 p46 }) ({p101 p623 p289 p232 p583 p400 p511 p89 p224 p17 p502 p613 } a20 {p53 p231 p104 p542 p289 p399 p510 p635 p613 p258 p24 p174 p585 p504 }) ({p564 p353 p207 p17 p514 p189 p259 p471 p345 p155 p198 p92 p281 } a20 {p261 p53 p173 p425 p440 p64 p270 p194 p569 p187 p177 p92 }) ({p283 p133 p321 p11 p431 p569 p210 p406 p455 p579 p440 p385 p270 p645 p527 p92 p504 } a31 {p283 p568 p207 p511 p403 p577 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p426 p11 p429 p400 p433 p295 p434 p299 p436 p470 p557 p372 p132 p134 p315 p62 p140 p322 p184 p511 p148 p189 p495 p197 p198 } a31 {p426 p429 p400 p433 p295 p434 p299 p436 p470 p365 p557 p46 p375 p132 p134 p315 p62 p140 p322 p184 p511 p148 p189 p495 p198 }) ({p230 p541 p426 p58 p427 p318 p11 p322 p186 p108 p434 p594 p487 p576 p495 p363 p605 p123 p94 p92 p372 p179 p534 } a31 {p287 p230 p541 p426 p427 p294 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p69 p487 p576 p495 p496 p82 p92 p279 p534 }) ({p137 p591 p118 p91 p17 p359 p466 } a20 {p469 p361 p53 p136 p38 p293 p593 p69 }) ({p2 } a21 {p80 }) ({p250 p3 p231 p104 p543 p289 p396 p399 p11 p510 p613 p635 p457 p355 p581 p81 p265 p418 p269 p92 p447 p249 p389 p282 } a31 {p390 p250 p286 p608 p623 p315 p6 p323 p433 p211 p633 p408 p436 p456 p268 p583 p89 p224 p528 p502 p92 p448 p46 }) ({p628 p254 p11 p510 p402 p380 p237 p635 p436 p644 p555 p194 p92 p249 } a31 {p250 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p46 }) ({p17 p488 p474 } a20 {p495 p53 p329 }) ({p536 p587 p230 p426 p427 p610 p295 p17 p434 p618 p175 p366 p308 p317 p318 p509 p452 p148 p493 p576 p262 p218 p524 p526 p92 } a20 {p538 p230 p590 p426 p499 p427 p358 p434 p616 p369 p603 p472 p53 p319 p318 p256 p512 p452 p144 p491 p576 p264 p219 p525 p275 p199 p92 }) ({p79 p426 p600 p602 p604 } a12 {p426 p600 p602 p40 p604 }) ({p590 p426 p499 p318 p427 p11 p358 p434 p257 p468 p366 p119 p556 p443 p92 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p434 p148 p360 p578 p305 p366 p92 p46 }) ({p536 p587 p230 p426 p427 p610 p295 p17 p434 p19 p301 p618 p175 p366 p308 p475 p54 p317 p318 p509 p143 p148 p454 p493 p576 p154 p262 p218 p524 p526 p332 p92 } a20 {p538 p230 p590 p426 p499 p427 p109 p358 p296 p434 p22 p616 p369 p603 p472 p477 p52 p53 p319 p318 p256 p512 p452 p144 p491 p151 p576 p264 p219 p525 p275 p199 p92 p333 }) ({p47 } a19 {p2 }) ({p577 p438 p173 p315 p352 p433 p17 p346 p633 p607 p620 } a20 {p53 p254 p321 p431 p354 p438 p173 p581 p81 p642 p418 p269 p249 }) ({p250 p439 p11 p208 p619 } a31 {p250 p439 p208 p619 p46 }) ({p231 p581 p399 p85 p11 p510 p323 p249 p635 } a31 {p103 p623 p583 p323 p224 p502 p633 p46 }) ({p283 p133 p538 p542 p11 p144 p258 p615 p24 p579 p174 p219 p525 p369 p92 p585 p504 } a31 {p101 p283 p587 p232 p509 p400 p568 p511 p615 p262 p175 p524 p527 p92 p46 }) ({p42 } a54 {p43 }) ({p639 p32 p351 p642 p567 p619 p222 } a51 {p516 p641 p351 p233 p571 p18 p620 }) ({p536 p587 p134 p426 p318 p427 p568 p17 p434 p148 p578 p262 p219 p366 p524 p92 } a20 {p133 p538 p53 p590 p426 p499 p318 p427 p144 p358 p434 p257 p579 p264 p219 p119 p369 p443 p92 }) ({p537 p230 p426 p427 p318 p320 p11 p112 p434 p576 p306 p584 p92 p130 } a31 {p230 p426 p397 p427 p318 p434 p576 p559 p92 p460 p158 p586 p46 }) ({p202 p11 p156 } a31 {p259 p209 p514 p278 p46 }) ({p230 p541 p426 p463 p427 p592 p339 p17 p434 p299 p360 p470 p120 p176 p56 p318 p140 p322 p513 p487 p576 p495 p82 p267 p92 p534 p279 } a20 {p230 p541 p426 p427 p108 p339 p434 p594 p299 p468 p363 p123 p179 p53 p56 p138 p318 p322 p487 p515 p576 p495 p86 p92 p531 p277 }) ({p539 p508 p558 p196 p17 p606 p114 } a20 {p53 p566 p507 p193 p95 p527 p417 p636 }) ({p468 p590 p138 p11 p358 p275 p299 p474 } a31 {p360 p495 p463 p592 p120 p324 p295 p148 p280 p46 }) ({p230 p541 p426 p427 p318 p141 p11 p64 p322 p434 p487 p596 p576 p343 p303 p495 p458 p34 p497 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p184 p322 p341 p434 p487 p494 p576 p495 p599 p471 p371 p530 p92 p46 }) ({p30 } a15 {p45 }) ({p45 } a18 {p17 }) ({p28 } a50 {p78 }) ({p536 p587 p134 p426 p318 p427 p568 p17 p434 p148 p578 p524 p369 p92 } a20 {p133 p538 p53 p590 p426 p499 p318 p427 p144 p358 p434 p257 p579 p119 p443 p369 p92 }) ({p230 p541 p136 p426 p427 p318 p11 p322 p293 p434 p147 p487 p576 p495 p383 p92 p226 } a31 {p230 p376 p541 p426 p427 p318 p322 p434 p147 p298 p487 p576 p495 p118 p601 p91 p92 p46 }) ({p427 p17 p92 p297 p573 p129 p409 } a20 {p574 p580 p325 p53 p316 p92 p171 p467 }) ({p538 p542 p609 p10 p11 p296 p616 p24 p174 p369 p473 p373 p504 p48 p133 p252 p452 p144 p258 p579 p219 p525 p331 p92 p585 } a31 {p101 p283 p587 p540 p232 p610 p509 p13 p451 p400 p568 p511 p615 p410 p262 p175 p524 p332 p527 p92 p475 p46 }) ({p469 p137 p118 p91 p17 } a20 {p469 p53 p136 p38 p293 p69 }) ({p33 } a23 {p36 }) ({p538 p609 p426 p427 p11 p16 p296 p434 p113 p616 p24 p174 p369 p307 p473 p373 p52 p319 p318 p452 p144 p223 p258 p491 p151 p576 p219 p266 p525 p331 p92 p585 } a31 {p101 p587 p540 p426 p232 p427 p610 p400 p434 p19 p615 p410 p244 p175 p557 p308 p475 p46 p50 p318 p509 p451 p143 p576 p262 p524 p332 p92 }) ({p547 p17 p99 } a20 {p53 p550 p208 p92 p188 p614 }) ({p101 p608 p540 p426 p232 p427 p396 p318 p451 p400 p111 p17 p434 p615 p576 p305 p583 p89 p557 p224 p528 p92 p448 } a20 {p231 p104 p543 p609 p426 p427 p396 p399 p434 p113 p613 p24 p174 p556 p307 p473 p53 p318 p258 p457 p576 p266 p331 p92 p585 }) ({p283 p133 p542 p321 p11 p431 p569 p210 p406 p455 p579 p440 p385 p270 p645 p92 p504 } a31 {p283 p568 p207 p511 p403 p577 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p536 p587 p230 p317 p426 p427 p318 p509 p295 p17 p434 p148 p616 p493 p576 p262 p218 p175 p366 p524 p526 p92 p308 } a20 {p538 p230 p590 p426 p499 p427 p358 p434 p616 p369 p472 p53 p319 p318 p256 p512 p144 p491 p576 p264 p219 p525 p275 p199 p92 }) ({p283 p133 p542 p321 p11 p431 p569 p403 p210 p455 p579 p440 p270 p92 p504 } a31 {p283 p568 p207 p511 p403 p577 p445 p198 p527 p92 p276 p607 p46 }) ({p283 p133 p538 p609 p11 p451 p144 p258 p616 p24 p579 p174 p219 p525 p369 p527 p92 p585 p504 } a31 {p101 p283 p587 p232 p610 p509 p400 p451 p568 p511 p615 p262 p175 p524 p527 p92 p46 }) ({p538 p426 p319 p427 p318 p11 p144 p434 p113 p258 p615 p491 p24 p576 p174 p219 p266 p525 p369 p307 p92 p585 } a31 {p101 p587 p426 p232 p427 p318 p509 p400 p434 p615 p576 p262 p175 p524 p557 p92 p308 p46 }) ({p101 p283 p608 p540 p623 p232 p396 p451 p400 p511 p17 p615 p268 p583 p89 p224 p528 p502 p448 } a20 {p53 p231 p104 p543 p252 p289 p542 p609 p396 p399 p510 p613 p635 p258 p24 p457 p174 p331 p585 p473 p504 }) ({p173 p550 p64 p193 p11 p92 p188 p614 } a31 {p439 p344 p471 p155 p558 p92 p606 p46 }) ({p577 p134 p578 p315 p568 p433 p17 p92 p607 p455 } a20 {p133 p53 p321 p431 p257 p455 p579 p581 p81 p119 p418 p269 p443 p92 }) ({p539 p11 } a31 {p527 p636 p46 }) ({p283 p133 p321 p11 p431 p207 p569 p455 p579 p440 p527 p92 p504 } a31 {p283 p577 p568 p511 p207 p445 p198 p527 p92 p607 p46 }) ({p32 p510 p194 p558 p209 p527 p606 p114 } a51 {p564 p507 p193 p156 p502 p527 p18 }) ({p577 p352 p433 p459 p17 p346 p633 p620 } a20 {p53 p581 p81 p318 p642 p254 p418 p431 p354 p249 }) ({p426 p427 p293 p17 p434 p299 p170 p437 p173 p368 p372 p374 p375 p316 p318 p319 p60 p507 p320 p321 p322 p64 p510 p186 p453 p193 p194 p92 p229 p537 p230 p538 p103 p541 p231 p405 p468 p469 p247 p248 p556 p562 p136 p138 p487 p574 p576 p495 p579 p641 p642 } a20 {p426 p427 p293 p434 p299 p170 p437 p173 p368 p372 p374 p375 p53 p316 p318 p319 p60 p507 p320 p321 p322 p64 p510 p186 p453 p193 p194 p92 p229 p537 p230 p538 p103 p541 p231 p405 p468 p469 p247 p248 p556 p562 p136 p138 p487 p574 p576 p495 p579 p641 p642 }) ({p469 p589 p136 p549 p11 p328 p293 p357 p226 } a31 {p591 p118 p324 p91 p147 p298 p487 p359 p46 }) ({p253 p11 p222 } a31 {p250 p351 p222 p46 }) ({p335 p230 p541 p426 p427 p11 p108 p294 p434 p594 p342 p363 p605 p123 p372 p179 p58 p318 p322 p186 p487 p515 p490 p576 p495 p522 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p365 p180 p46 p58 p318 p140 p322 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p583 p400 p511 p17 p502 p635 p622 } a20 {p230 p53 p399 p510 p585 p635 p504 p258 }) ({p429 p431 p433 p295 p434 p18 p299 p436 p599 p371 p605 p372 p315 p319 p60 p62 p321 p184 p510 p186 p511 p187 p189 p523 p194 p198 p538 p231 p399 p400 p468 p470 p247 p556 p557 p132 p133 p134 p135 p138 p140 p353 p144 p633 p148 p491 p495 p579 p642 } a45 {p429 p431 p433 p295 p434 p299 p436 p599 p371 p605 p372 p315 p319 p60 p62 p321 p184 p510 p186 p511 p187 p189 p79 p523 p194 p198 p538 p231 p399 p400 p468 p470 p247 p556 p557 p132 p133 p134 p135 p138 p140 p353 p144 p633 p148 p491 p495 p579 p642 }) ({p590 p426 p499 p318 p427 p11 p358 p434 p257 p468 p218 p264 p119 p556 p443 p92 p277 } a31 {p536 p134 p426 p463 p318 p427 p592 p111 p434 p148 p360 p578 p218 p267 p305 p366 p92 p46 }) ({p35 } a32 {p39 }) ({p0 p564 p289 p630 p207 p511 p403 p17 p514 p635 p412 p382 p645 p502 p198 p92 p126 } a20 {p3 p53 p289 p395 p510 p402 p569 p632 p635 p411 p440 p385 p644 p270 p194 p92 p504 }) ({p230 p426 p427 p318 p591 p17 p434 p359 p466 p576 p503 p559 p92 } a20 {p562 p230 p53 p426 p427 p318 p593 p112 p434 p469 p576 p361 p306 p92 }) ({p134 p315 p568 p433 p17 p211 p406 p456 p577 p578 p445 p92 p276 p607 } a20 {p133 p53 p321 p431 p210 p406 p257 p455 p579 p581 p81 p119 p418 p269 p443 p92 p447 p282 }) ({p286 p628 p352 p11 p510 p402 p380 p237 p635 p411 p355 p644 p555 p194 p122 p92 p249 } a31 {p0 p286 p564 p623 p352 p630 p208 p633 p514 p436 p382 p439 p643 p523 p502 p92 p126 p46 }) ({p133 p538 p252 p542 p609 p11 p452 p144 p296 p258 p410 p616 p24 p579 p174 p219 p525 p331 p369 p92 p585 p473 p504 } a31 {p101 p283 p587 p540 p232 p610 p509 p451 p400 p568 p511 p615 p410 p262 p175 p524 p332 p527 p92 p475 p46 }) ({p229 p537 p589 p316 p427 p357 p295 p148 p487 p574 p549 p32 p226 } a51 {p574 p229 p537 p590 p316 p427 p358 p147 p275 p298 p18 p487 }) ({p375 p545 p427 p397 p322 p147 p491 p32 p195 p605 p527 p158 p129 } a51 {p427 p397 p320 p197 p147 p527 p18 p595 p374 p160 p129 }) ({p36 } a24 {p45 }) ({p230 p426 p319 p427 p318 p11 p434 p594 p113 p491 p576 p363 p266 p307 p605 p92 p372 p279 } a31 {p287 p230 p426 p427 p318 p434 p595 p576 p470 p365 p557 p92 p308 p279 p46 }) ({p564 p511 p156 p502 p17 p198 p635 } a20 {p53 p440 p510 p194 p569 p209 p504 p635 }) ({p229 p537 p316 p427 p397 p320 p147 p487 p574 p496 p32 p601 p527 p129 p374 } a51 {p229 p537 p316 p427 p397 p320 p147 p18 p487 p574 p496 p601 p527 p129 p374 }) ({p539 p397 p582 p508 p17 p220 p114 } a20 {p229 p53 p507 p584 p95 p527 p130 p636 }) ({p230 p541 p590 p426 p138 p427 p318 p11 p324 p358 p434 p299 p468 p576 p275 p92 } a31 {p230 p541 p426 p463 p427 p318 p592 p324 p295 p434 p148 p360 p576 p120 p92 p280 p46 }) ({p231 p581 p399 p85 p11 p510 p419 p249 p635 } a31 {p103 p623 p583 p323 p224 p434 p502 p633 p46 }) ({p456 p577 p134 p578 p315 p568 p433 p445 p17 p210 p92 p607 } a20 {p133 p53 p321 p431 p210 p257 p455 p579 p581 p81 p119 p418 p269 p443 p92 p447 }) ({p230 p541 p426 p427 p318 p62 p11 p322 p184 p293 p295 p434 p487 p299 p596 p576 p343 p495 p92 } a31 {p230 p376 p541 p426 p427 p318 p62 p322 p184 p293 p295 p434 p487 p299 p576 p495 p599 p371 p92 p46 }) ({p538 p231 p426 p319 p60 p138 p321 p322 p510 p186 p17 p434 p299 p595 p468 p495 p579 p247 p599 p642 p194 p556 p197 } a20 {p375 p538 p53 p231 p426 p319 p60 p138 p321 p322 p510 p186 p434 p299 p468 p596 p495 p579 p247 p642 p194 p556 p605 }) ({p231 p581 p399 p85 p11 p119 p556 p419 p257 } a31 {p134 p103 p305 p583 p111 p323 p224 p434 p46 }) ({p230 p541 p426 p427 p397 p11 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p599 p601 p602 p557 p559 p371 p129 p132 p375 p134 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 } a31 {p230 p541 p426 p427 p397 p429 p400 p293 p209 p433 p295 p434 p298 p466 p299 p436 p470 p599 p601 p602 p557 p559 p371 p46 p129 p132 p375 p134 p315 p137 p318 p62 p140 p508 p322 p184 p511 p147 p148 p487 p189 p576 p495 p196 p527 p92 p198 }) ({p40 } a52 {p75 }) ({p574 p229 p361 p470 p316 p32 p427 p306 p593 p557 p112 } a51 {p574 p229 p363 p316 p427 p266 p307 p559 p594 p18 p113 p466 }) ({p564 p623 p289 p382 p644 p207 p511 p403 p17 p502 p198 p514 } a20 {p53 p542 p289 p510 p402 p569 p635 p440 p385 p644 p270 p194 p504 }) ({p231 p11 p527 p622 } a31 {p230 p224 p527 p46 }) ({p623 p231 p11 p622 } a31 {p230 p224 p527 p635 p46 }) ({p65 } a6 {p25 }) ({p230 p539 p32 p582 p399 p510 p635 p220 p114 } a51 {p229 p623 p507 p583 p502 p18 p622 p636 }) ({p285 p315 p430 p354 p433 p17 p633 p436 p456 p577 p173 p445 p607 p620 } a20 {p285 p53 p321 p431 p354 p455 p438 p355 p173 p581 p81 p642 p418 p269 p447 p249 }) ({p212 p550 p247 p32 p523 p405 p633 p188 p461 } a51 {p241 p248 p555 p378 p18 p249 }) ({p516 p471 p352 p233 p523 p346 p17 p571 p633 p620 } a20 {p639 p53 p642 p254 p64 p555 p354 p380 p237 p249 }) ({p596 p138 p11 p275 p148 p299 p474 } a31 {p495 p376 p599 p120 p324 p295 p148 p280 p46 }) ({p283 p133 p538 p542 p609 p11 p451 p144 p258 p616 p24 p579 p174 p219 p525 p369 p92 p585 p504 } a31 {p101 p283 p587 p232 p610 p509 p400 p451 p568 p511 p615 p262 p175 p524 p527 p92 p46 }) ({p334 p230 p426 p463 p427 p592 p111 p340 p17 p434 p360 p470 p305 p176 p557 p52 p479 p318 p513 p490 p576 p82 p267 p92 p534 p279 } a20 {p335 p230 p426 p427 p108 p339 p434 p594 p113 p468 p363 p556 p307 p179 p52 p53 p481 p318 p515 p489 p576 p266 p86 p92 p531 p277 }) ({p283 p133 p321 p11 p431 p569 p632 p210 p406 p455 p412 p579 p440 p385 p270 p647 p527 p92 p504 } a31 {p283 p568 p207 p511 p403 p634 p577 p412 p645 p445 p387 p198 p527 p92 p276 p607 p46 }) ({p134 p315 p568 p433 p17 p211 p408 p456 p577 p578 p647 p445 p387 p92 p276 p607 } a20 {p133 p53 p321 p431 p210 p406 p257 p455 p579 p581 p81 p119 p418 p269 p443 p647 p92 p447 p389 p282 }) ({p335 p230 p541 p426 p427 p11 p108 p434 p594 p342 p29 p363 p605 p123 p372 p179 p481 p60 p318 p322 p186 p487 p515 p492 p576 p495 p522 p94 p92 } a31 {p287 p230 p541 p336 p426 p427 p294 p340 p434 p595 p470 p31 p365 p180 p46 p58 p318 p140 p483 p322 p69 p487 p490 p517 p576 p495 p496 p82 p92 p534 p279 }) ({p285 p425 p321 p11 p167 p431 p354 p569 p210 p406 p455 p261 p438 p173 p440 p642 p385 p270 p177 p92 } a31 {p0 p430 p353 p207 p403 p189 p577 p172 p263 p155 p445 p387 p198 p346 p92 p276 p607 p281 p620 p46 }) ({p590 p426 p499 p427 p11 p339 p358 p434 p468 p119 p556 p443 p603 p477 p50 p318 p512 p489 p257 p264 p86 p199 p92 p531 p277 p333 } a31 {p334 p536 p426 p463 p427 p592 p111 p434 p301 p360 p618 p305 p366 p176 p46 p50 p134 p479 p318 p513 p148 p454 p578 p218 p267 p526 p92 }) ({p536 p587 p230 p426 p427 p610 p295 p17 p434 p301 p618 p175 p366 p308 p475 p317 p318 p509 p148 p454 p493 p576 p151 p262 p218 p524 p526 p332 p92 } a20 {p538 p230 p590 p426 p499 p427 p358 p296 p434 p616 p369 p603 p472 p477 p53 p319 p318 p256 p512 p452 p144 p491 p576 p151 p264 p219 p525 p275 p199 p92 p333 }) ({p287 p138 p32 p118 p91 p299 } a51 {p287 p136 p293 p120 p18 p280 }) ({p230 p541 p336 p426 p427 p341 p17 p434 p299 p595 p31 p365 p599 p371 p180 p318 p483 p62 p184 p322 p487 p517 p494 p576 p495 p530 p92 } a20 {p230 p541 p426 p427 p434 p342 p299 p596 p343 p303 p34 p605 p372 p53 p60 p318 p141 p322 p186 p487 p492 p576 p495 p522 p458 p497 p92 }) ({p253 p11 p208 } a31 {p250 p351 p208 p46 }) ({p45 } a17 {p47 }) ({p230 p541 p56 p426 p317 p427 p318 p184 p295 p17 p434 p342 p595 p517 p493 p576 p365 p599 p371 p530 p92 p308 p180 } a20 {p230 p541 p53 p56 p426 p427 p319 p318 p141 p186 p256 p434 p342 p491 p596 p576 p343 p522 p497 p605 p275 p92 p372 p472 }) ({p134 p315 p568 p433 p17 p211 p634 p408 p456 p577 p578 p413 p640 p445 p387 p92 p276 p607 } a20 {p133 p53 p321 p431 p210 p406 p257 p455 p413 p579 p617 p581 p81 p119 p418 p269 p443 p647 p92 p447 p389 p282 }) ({p101 p426 p232 p427 p318 p400 p111 p17 p434 p613 p576 p305 p583 p89 p557 p224 p92 } a20 {p53 p231 p104 p426 p427 p318 p399 p434 p113 p613 p258 p24 p576 p174 p266 p556 p307 p92 p585 }) ({p623 p289 p104 p232 p583 p400 p511 p224 p502 p17 } a20 {p53 p231 p542 p289 p104 p174 p399 p510 p585 p635 p504 p258 }) }, initialMarking = {p27 p366 p368 p369 p371 p372 p374 p48 p50 p375 p52 p54 p376 p56 p58 p60 p62 p64 p69 p82 p84 p86 p88 p92 p101 p103 p104 p396 p397 p399 p400 p402 p403 p405 p406 p407 p408 p410 p411 p412 p413 p129 p132 p133 p134 p135 p136 p137 p138 p140 p144 p147 p148 p151 p154 p426 p427 p429 p431 p433 p434 p170 p436 p437 p172 p438 p173 p439 p184 p186 p451 p452 p187 p453 p454 p189 p455 p456 p457 p193 p194 p196 p198 p207 p208 p209 p210 p211 p466 p468 p469 p470 p487 p488 p489 p490 p491 p492 p493 p494 p495 p218 p496 p219 p507 p508 p510 p511 p522 p523 p525 p526 p527 p530 p531 p534 p536 p229 p537 p230 p538 p540 p541 p231 p543 p232 p242 p244 p247 p248 p556 p557 p559 p562 p250 p574 p576 p578 p579 p277 p278 p279 p281 p283 p285 p286 p287 p289 p293 p294 p295 p296 p298 p299 p301 p599 p600 p601 p602 p604 p605 p315 p316 p317 p318 p319 p320 p321 p322 p323 p324 p339 p340 p341 p342 p613 p615 p616 p618 p351 p352 p353 p354 p633 p635 p636 p639 p640 p641 p642 p643 p644 p645 p647 }, acceptingPlaces = {p75 } );