// Testfile dumped by Ultimate at 2020/03/07 10:47:51 // // 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 }, transitions = { ({p102 p581 p312 p255 p406 p520 p17 p608 p588 p464 p193 p90 p247 p511 p93 } a20 {p53 p254 p105 p312 p582 p405 p519 p586 p608 p281 p244 p24 p464 p194 p93 p513 }) ({p5 p89 } a39 {p7 p91 p70 }) ({p53 } a22 {p33 }) ({p433 p185 p17 p93 p320 p130 p415 } a20 {p572 p349 p53 p340 p93 p524 p189 p475 }) ({p434 p619 p17 p394 } a20 {p444 p53 p431 p392 }) ({p306 p134 p3 p401 p181 p345 p11 p438 p605 p231 p412 p462 p419 p576 p447 p391 p293 p620 p537 p93 p513 } a31 {p306 p6 p404 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p253 p553 p432 p341 p140 p433 p342 p11 p346 p441 p150 p322 p574 p298 p93 p480 } a31 {p253 p553 p432 p341 p433 p342 p346 p348 p318 p441 p150 p501 p574 p121 p93 p303 p46 }) ({p102 p396 p581 p552 p432 p255 p433 p13 p406 p112 p259 p17 p441 p588 p416 p193 p267 p329 p566 p455 p50 p342 p458 p574 p90 p247 p538 p93 } a20 {p254 p105 p555 p582 p432 p402 p433 p405 p16 p441 p114 p586 p244 p24 p265 p194 p565 p331 p481 p385 p48 p53 p342 p246 p281 p464 p574 p289 p355 p93 }) ({p254 p105 p555 p402 p405 p11 p280 p586 p190 p464 p613 p82 p120 p424 p292 p565 p450 p93 p454 p395 p305 } a31 {p396 p135 p581 p339 p112 p347 p440 p232 p414 p463 p575 p193 p613 p329 p90 p247 p538 p93 p455 p46 }) ({p306 p0 p596 p603 p228 p520 p409 p17 p523 p418 p390 p291 p618 p511 p220 p127 p171 } a20 {p3 p53 p275 p312 p554 p401 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p513 }) ({p253 p553 p432 p58 p140 p433 p342 p143 p11 p279 p441 p150 p322 p574 p298 p93 p540 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p441 p150 p501 p574 p121 p93 p540 p303 p545 p46 }) ({p102 p550 p432 p343 p433 p342 p11 p146 p441 p114 p281 p244 p499 p574 p194 p241 p289 p384 p331 p93 } a31 {p102 p432 p255 p433 p342 p406 p237 p441 p574 p285 p195 p534 p566 p93 p332 p46 }) ({p550 p254 p436 p405 p406 p438 p440 p318 p441 p18 p322 p443 p476 p478 p270 p565 p566 p133 p134 p135 p339 p136 p343 p60 p140 p62 p142 p345 p208 p519 p376 p210 p520 p146 p211 p606 p150 p213 p499 p503 p576 p532 p615 p533 p218 p220 p540 } a45 {p550 p254 p436 p405 p406 p438 p440 p318 p441 p322 p443 p476 p478 p270 p565 p566 p133 p134 p135 p339 p136 p343 p60 p140 p62 p142 p345 p208 p519 p376 p210 p520 p146 p211 p606 p150 p213 p499 p503 p576 p80 p532 p615 p533 p218 p220 p540 }) ({p253 p553 p432 p140 p433 p342 p11 p346 p441 p150 p322 p574 p353 p298 p93 } a31 {p253 p553 p432 p433 p342 p346 p348 p318 p441 p150 p496 p574 p121 p93 p303 p46 }) ({p101 p17 } a20 {p101 p53 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p317 p441 p366 p124 p200 p58 p342 p346 p210 p495 p525 p498 p574 p503 p532 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p346 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p253 p553 p432 p58 p140 p433 p342 p143 p11 p279 p441 p365 p322 p574 p505 p298 p93 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p441 p365 p501 p574 p121 p540 p93 p303 p545 p46 }) ({p86 p436 p425 p17 } a20 {p104 p53 p350 p82 p441 }) ({p101 p234 p175 p160 p117 p11 p408 p218 p388 p211 } a31 {p282 p133 p390 p178 p446 p368 p533 p229 p93 p523 p171 p46 }) ({p375 p11 p519 p408 p388 p260 p608 p443 p160 p616 p218 p93 p272 } a31 {p596 p375 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p171 p46 }) ({p254 p105 p405 p11 p232 p280 p586 p190 p464 p82 p120 p424 p292 p565 p450 p93 p454 } a31 {p135 p581 p339 p112 p347 p440 p232 p463 p575 p193 p329 p90 p247 p93 p455 p46 }) ({p367 p11 p229 p93 } a31 {p367 p229 p93 p46 }) ({p86 p17 p441 } a20 {p104 p53 p82 p441 }) ({p253 p551 p32 p405 p557 p519 p608 p242 p115 } a51 {p252 p596 p516 p558 p511 p18 p595 p609 }) ({p547 p432 p433 p583 p17 p441 p324 p591 p195 p382 p483 p48 p135 p342 p518 p569 p237 p150 p461 p575 p285 p240 p534 p536 p356 p93 } a20 {p550 p432 p508 p433 p319 p441 p589 p196 p120 p384 p450 p578 p48 p485 p134 p53 p138 p342 p521 p459 p146 p280 p576 p287 p241 p535 p221 p93 p357 }) ({p172 p619 p386 p17 } a20 {p175 p53 p388 p411 p188 }) ({p596 p520 p165 p511 p220 p17 p171 } a20 {p53 p554 p447 p181 p519 p218 p230 p513 p608 }) ({p253 p138 p432 p140 p508 p433 p342 p11 p279 p441 p322 p476 p574 p287 p87 p196 p536 p298 p221 p93 p300 p480 } a31 {p547 p253 p341 p432 p470 p433 p342 p348 p318 p441 p150 p72 p501 p574 p240 p290 p382 p121 p197 p536 p93 p303 p46 }) ({p526 p479 p256 p183 p533 p377 p17 p606 p593 } a20 {p612 p53 p160 p615 p64 p377 p388 p260 p272 }) ({p273 p310 p61 p348 p347 p229 p69 p192 p504 p446 p537 p93 p545 } a5 {p549 p163 p66 p98 }) ({p309 p599 p375 p256 p183 p437 p17 p606 p443 p286 p616 p533 p369 p250 p593 } a20 {p308 p53 p601 p277 p377 p388 p260 p445 p378 p160 p288 p615 p123 p272 }) ({p176 p32 p520 p96 p220 p460 p423 } a51 {p181 p517 p449 p219 p18 p513 }) ({p233 p155 p516 p217 p11 p212 p468 p609 } a31 {p551 p446 p161 p271 p229 p579 p115 p46 }) ({p254 p105 p277 p405 p11 p519 p586 p608 p443 p190 p82 p424 p292 p93 p272 } a31 {p273 p581 p596 p339 p375 p347 p440 p606 p443 p193 p90 p247 p511 p93 p46 }) ({p572 p252 p548 p325 p478 p340 p433 p32 p142 p344 p38 p495 } a51 {p572 p252 p548 p139 p340 p433 p344 p471 p124 p18 p495 p474 }) ({p161 p517 p219 p17 p93 p579 p115 p609 } a20 {p176 p53 p516 p217 p96 p93 p423 p609 }) ({p253 p553 p360 p432 p433 p342 p343 p60 p491 p208 p346 p316 p365 p17 p441 p495 p322 p527 p502 p574 p503 p540 p93 p201 } a20 {p253 p553 p53 p432 p433 p342 p343 p60 p143 p346 p210 p316 p441 p366 p495 p322 p500 p574 p327 p503 p532 p465 p505 p93 }) ({p74 } a29 {p11 }) ({p102 p396 p306 p581 p552 p6 p255 p458 p406 p520 p17 p608 p588 p416 p193 p291 p90 p247 p538 p511 p93 p455 } a20 {p53 p254 p105 p555 p275 p312 p582 p402 p10 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p93 p481 p385 p513 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p441 p366 p124 p200 p58 p342 p346 p210 p495 p525 p498 p574 p503 p532 p95 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p346 p69 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p253 p138 p432 p140 p508 p433 p342 p11 p279 p521 p441 p322 p476 p574 p591 p287 p87 p196 p298 p221 p93 p541 p300 p480 } a31 {p547 p253 p432 p470 p433 p318 p441 p591 p382 p121 p197 p46 p341 p342 p348 p522 p150 p72 p501 p574 p240 p290 p536 p93 p303 }) ({p70 } a14 {p30 }) ({p576 p345 p11 p448 p466 } a31 {p574 p342 p569 p580 p46 }) ({p312 p228 p520 p409 p17 p523 p608 p390 p617 p511 p220 p93 p171 } a20 {p53 p312 p181 p519 p408 p608 p447 p391 p617 p293 p218 p93 p513 }) ({p85 p21 } a37 {p23 p59 p88 }) ({p572 p252 p548 p310 p340 p433 p32 p344 p318 p149 p495 p249 } a51 {p572 p252 p548 p310 p340 p433 p344 p149 p298 p321 p18 p495 }) ({p273 p446 p342 p11 p229 p593 } a31 {p273 p446 p342 p229 p593 p46 }) ({p254 p105 p555 p402 p405 p11 p280 p586 p413 p190 p464 p590 p82 p120 p424 p292 p565 p450 p93 p454 p395 p305 } a31 {p396 p135 p581 p339 p112 p347 p440 p232 p414 p413 p463 p575 p193 p613 p329 p90 p247 p538 p93 p455 p46 }) ({p374 p11 p245 } a31 {p374 p245 p46 }) ({p56 p470 p142 p317 p17 p72 p478 p83 p290 p121 p197 p541 p303 p302 } a20 {p506 p53 p56 p140 p471 p109 p322 p476 p87 p124 p95 p200 p300 p541 }) ({p547 p135 p432 p342 p433 p583 p518 p569 p237 p17 p441 p319 p150 p461 p575 p285 p591 p240 p195 p382 p534 p536 p356 p93 } a20 {p550 p432 p508 p433 p441 p319 p589 p196 p120 p384 p450 p578 p134 p53 p138 p342 p521 p459 p146 p280 p576 p287 p241 p535 p221 p93 p357 }) ({p138 p432 p508 p342 p433 p11 p521 p363 p441 p280 p324 p476 p287 p87 p196 p120 p565 p450 p578 p221 p93 p541 p300 p357 } a31 {p358 p547 p135 p432 p470 p342 p433 p112 p522 p441 p150 p72 p461 p324 p575 p591 p240 p290 p329 p382 p197 p536 p93 p46 }) ({p254 p105 p555 p405 p11 p280 p586 p414 p190 p464 p82 p120 p424 p292 p565 p450 p93 p454 p305 } a31 {p135 p581 p339 p112 p347 p440 p232 p414 p463 p575 p193 p329 p90 p247 p538 p93 p455 p46 }) ({p270 p386 p17 p188 } a20 {p53 p270 p411 p388 p188 }) ({p172 p159 p192 p11 p211 p427 } a31 {p282 p368 p162 p163 p98 p222 p188 p46 }) ({p306 p134 p3 p554 p401 p181 p345 p11 p438 p605 p231 p412 p462 p419 p576 p447 p391 p293 p620 p93 p513 } a31 {p306 p6 p404 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p174 p308 p284 p445 p431 p117 p615 p11 p377 p392 p198 p93 } a31 {p133 p599 p256 p183 p437 p376 p213 p286 p369 p93 p250 p304 p593 p46 }) ({p179 p276 p479 p271 p17 p592 p245 } a20 {p233 p155 p273 p53 p614 p374 p64 p212 p468 }) ({p432 p342 p433 p149 p17 p441 p93 p320 p467 p130 } a20 {p572 p548 p53 p561 p432 p342 p433 p441 p93 p475 }) ({p46 } a33 {p67 }) ({p253 p553 p432 p433 p342 p143 p62 p11 p346 p316 p318 p441 p495 p322 p574 p327 p503 p465 p505 p93 } a31 {p253 p553 p432 p433 p342 p62 p208 p346 p316 p318 p365 p441 p495 p322 p502 p574 p503 p540 p93 p545 p46 }) ({p190 p254 p105 p350 p342 p82 p405 p11 p120 p565 p93 p280 } a31 {p135 p193 p342 p329 p436 p112 p90 p347 p247 p93 p46 }) ({p102 p193 p596 p312 p255 p406 p520 p90 p247 p17 p511 p586 } a20 {p53 p254 p105 p554 p312 p405 p519 p608 p586 p281 p244 p24 p194 p513 }) ({p358 p253 p52 p432 p470 p433 p342 p112 p364 p522 p17 p441 p72 p497 p574 p478 p83 p290 p329 p197 p566 p93 p544 p302 } a20 {p359 p253 p506 p432 p433 p471 p109 p363 p441 p114 p476 p565 p331 p200 p52 p53 p342 p525 p497 p574 p289 p87 p93 p541 p300 }) ({p0 p309 p339 p375 p437 p440 p17 p187 p232 p606 p414 p443 p463 p286 p163 p452 p393 p369 p299 p580 p593 } a20 {p308 p3 p53 p277 p345 p438 p377 p231 p412 p462 p190 p445 p378 p192 p82 p288 p615 p424 p292 p454 p272 p395 p305 }) ({p550 p253 p432 p343 p433 p255 p342 p11 p146 p441 p114 p281 p499 p574 p289 p384 p331 p93 } a31 {p253 p432 p433 p255 p342 p406 p441 p574 p285 p534 p566 p93 p332 p46 }) ({p358 p487 p58 p470 p142 p317 p364 p522 p17 p72 p498 p26 p478 p83 p290 p121 p197 p544 p303 p302 } a20 {p359 p506 p53 p56 p489 p140 p471 p109 p363 p525 p497 p322 p476 p29 p87 p124 p95 p200 p541 p300 }) ({p253 p553 p432 p140 p433 p342 p11 p346 p441 p150 p495 p322 p496 p574 p501 p503 p298 p93 } a31 {p253 p553 p432 p433 p342 p346 p318 p441 p150 p495 p496 p574 p501 p503 p121 p93 p303 p46 }) ({p306 p134 p550 p582 p11 p459 p146 p281 p244 p589 p24 p576 p194 p241 p535 p355 p384 p537 p93 p513 } a31 {p102 p306 p255 p583 p518 p458 p406 p569 p520 p237 p588 p285 p195 p534 p356 p537 p93 p46 }) ({p273 p342 p32 p615 p438 p185 p229 p592 p415 } a51 {p273 p340 p614 p229 p466 p187 p18 p593 }) ({p309 p254 p105 p277 p405 p11 p519 p586 p608 p190 p464 p378 p82 p424 p292 p93 p454 p272 } a31 {p273 p309 p581 p596 p339 p375 p347 p440 p606 p443 p463 p193 p90 p247 p511 p93 p455 p46 }) ({p273 p254 p105 p555 p312 p405 p11 p519 p586 p608 p414 p190 p464 p378 p82 p288 p424 p292 p93 p454 p272 p305 } a31 {p273 p309 p581 p596 p339 p347 p440 p232 p606 p414 p443 p463 p193 p291 p90 p247 p538 p511 p93 p455 p46 }) ({p599 p479 p616 p256 p183 p533 p377 p17 p606 p593 } a20 {p53 p160 p601 p615 p64 p377 p388 p260 p272 }) ({p233 p17 } a20 {p53 p271 p229 }) ({p253 p596 p11 p230 } a31 {p253 p230 p537 p608 p46 }) ({p501 p318 p387 p17 p150 p170 } a20 {p499 p553 p53 p138 p346 p146 p298 p480 }) ({p253 p553 p432 p58 p140 p433 p342 p11 p208 p279 p441 p150 p322 p574 p298 p93 p540 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p441 p150 p501 p574 p121 p93 p540 p303 p46 }) ({p68 } a8 {p65 }) ({p71 } a30 {p35 }) ({p572 p135 p104 p340 p32 p433 p524 p189 p475 } a51 {p572 p190 p340 p433 p86 p120 p18 p280 p130 }) ({p614 p374 p64 p11 p93 p167 p510 p323 } a31 {p179 p276 p479 p93 p592 p245 p46 }) ({p312 p228 p520 p408 p511 p17 p220 p93 p523 p608 p171 } a20 {p53 p312 p447 p181 p519 p293 p408 p218 p93 p608 p513 }) ({p79 } a11 {p42 }) ({p253 p553 p432 p433 p342 p62 p11 p346 p441 p495 p574 p478 p503 p124 p95 p93 } a31 {p253 p553 p432 p433 p342 p142 p62 p346 p317 p441 p69 p495 p574 p478 p503 p504 p93 p46 }) ({p253 p432 p470 p433 p342 p112 p17 p441 p574 p478 p290 p329 p87 p566 p93 p302 } a20 {p253 p53 p432 p433 p342 p471 p109 p441 p114 p476 p574 p289 p87 p565 p331 p93 p300 }) ({p253 p32 p405 p557 p519 p537 p242 p115 } a51 {p252 p516 p558 p511 p537 p18 p595 }) ({p138 p432 p342 p433 p11 p441 p280 p476 p574 p575 p120 p565 p93 } a31 {p135 p432 p470 p342 p433 p112 p441 p150 p574 p575 p329 p93 p46 }) ({p254 p105 p339 p432 p342 p433 p405 p11 p436 p440 p441 p280 p190 p574 p575 p82 p120 p565 p93 } a31 {p135 p339 p432 p342 p433 p436 p112 p440 p441 p574 p575 p193 p329 p90 p247 p93 p46 }) ({p181 p615 p434 p345 p11 p449 p438 p377 } a31 {p444 p376 p220 p369 p187 p460 p580 p593 p46 }) ({p253 p553 p432 p433 p342 p11 p346 p316 p441 p495 p474 p322 p574 p503 p38 p93 } a31 {p253 p553 p432 p139 p433 p342 p346 p316 p441 p495 p474 p322 p574 p503 p504 p93 p46 }) ({p102 p581 p552 p432 p255 p433 p402 p342 p458 p406 p112 p17 p441 p588 p574 p193 p329 p90 p566 p247 p538 p93 p455 } a20 {p254 p105 p555 p582 p432 p433 p402 p405 p441 p114 p586 p244 p24 p194 p565 p331 p481 p53 p342 p281 p464 p574 p289 p355 p93 }) ({p135 p339 p6 p404 p569 p440 p17 p187 p232 p607 p414 p413 p463 p575 p613 p452 p393 p93 p299 p580 } a20 {p134 p53 p10 p257 p345 p438 p231 p412 p280 p462 p190 p419 p590 p576 p82 p120 p424 p292 p450 p620 p93 p454 p395 p305 }) ({p253 p432 p343 p433 p342 p471 p11 p441 p114 p499 p574 p289 p331 p93 p302 } a31 {p310 p253 p432 p433 p342 p441 p574 p478 p566 p93 p332 p302 p46 }) ({p135 p448 p440 p466 p17 p187 } a20 {p190 p134 p574 p53 p82 p342 p120 p424 p438 p280 }) ({p306 p134 p550 p554 p582 p11 p459 p146 p281 p244 p589 p24 p576 p194 p241 p535 p355 p384 p93 p513 } a31 {p102 p306 p255 p583 p518 p458 p406 p569 p520 p237 p588 p285 p195 p534 p356 p537 p93 p46 }) ({p433 p276 p185 p17 p592 p415 } a20 {p273 p349 p53 p340 p614 p374 p524 p189 p468 }) ({p568 p252 p574 p432 p342 p433 p11 p441 p93 p524 p189 p475 } a31 {p574 p432 p342 p433 p557 p441 p512 p93 p242 p130 p46 }) ({p253 p553 p432 p433 p403 p11 p436 p406 p316 p230 p440 p318 p441 p321 p474 p322 p443 p478 p566 p567 p130 p133 p135 p339 p139 p342 p62 p142 p207 p517 p346 p208 p520 p149 p150 p495 p213 p574 p503 p219 p537 p93 p220 p540 } a31 {p253 p553 p432 p433 p403 p436 p406 p316 p230 p440 p318 p441 p321 p474 p322 p443 p478 p566 p567 p46 p130 p133 p135 p339 p139 p342 p62 p142 p207 p517 p346 p208 p520 p149 p150 p495 p213 p574 p503 p219 p537 p93 p220 p540 }) ({p138 p432 p508 p342 p433 p11 p441 p280 p476 p382 p120 p565 p450 p93 } a31 {p547 p135 p432 p470 p342 p433 p112 p441 p150 p575 p329 p382 p93 p46 }) ({p612 p179 p276 p32 p615 p377 p592 p245 } a51 {p526 p614 p374 p256 p183 p369 p18 p593 }) ({p73 } a9 {p68 }) ({p174 p615 p434 p64 p11 p619 p377 p394 } a31 {p444 p599 p479 p256 p183 p376 p369 p593 p46 }) ({p102 p306 p581 p552 p596 p255 p402 p458 p406 p520 p17 p588 p193 p291 p90 p247 p538 p511 p455 } a20 {p53 p254 p105 p555 p275 p312 p554 p582 p402 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p481 p513 }) ({p312 p603 p228 p520 p409 p17 p523 p608 p417 p390 p618 p511 p220 p93 p171 } a20 {p53 p312 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p93 p513 }) ({p77 } a10 {p61 }) ({p253 p550 p553 p56 p432 p341 p433 p342 p208 p318 p17 p441 p501 p574 p532 p93 p332 p201 } a20 {p253 p550 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p499 p574 p532 p298 p93 p480 }) ({p309 p601 p277 p11 p519 p408 p388 p260 p608 p417 p378 p160 p617 p218 p123 p93 p272 } a31 {p0 p273 p309 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p127 p171 p46 }) ({p309 p339 p437 p377 p440 p17 p187 p232 p606 p443 p463 p192 p286 p452 p299 p580 p593 } a20 {p308 p53 p345 p438 p377 p231 p462 p190 p445 p378 p192 p82 p288 p615 p424 p292 p454 p272 p305 }) ({p67 } a34 {p63 }) ({p547 p253 p341 p432 p433 p342 p318 p17 p441 p150 p501 p574 p384 p534 p93 p332 } a20 {p550 p253 p53 p138 p432 p343 p508 p433 p342 p279 p146 p441 p499 p574 p384 p298 p93 p480 }) ({p345 p11 p466 p369 } a31 {p273 p342 p377 p580 p46 }) ({p499 p283 p550 p289 p343 p11 p331 p146 p114 } a31 {p406 p383 p534 p566 p332 p46 }) ({p444 p449 p17 } a20 {p444 p53 p447 p460 }) ({p273 p254 p105 p339 p405 p11 p519 p608 p443 p190 p82 p424 p93 p272 } a31 {p273 p596 p339 p347 p440 p606 p443 p193 p90 p247 p511 p93 p46 }) ({p572 p176 p340 p11 p96 p93 p423 } a31 {p517 p185 p219 p93 p320 p415 p46 }) ({p59 } a25 {p84 }) ({p178 p376 p228 p409 p17 p523 p213 p282 p191 p390 p368 p220 p93 p171 p304 } a20 {p53 p431 p181 p182 p408 p211 p284 p447 p391 p293 p218 p198 p93 }) ({p476 p138 p140 p11 p298 p322 p482 } a31 {p503 p470 p121 p348 p318 p150 p303 p46 }) ({p63 } a35 {p74 }) ({p253 p553 p432 p58 p140 p433 p342 p143 p11 p279 p441 p322 p574 p327 p465 p505 p298 p93 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p365 p441 p502 p501 p574 p121 p540 p93 p303 p545 p46 }) ({p153 p172 p192 p160 p64 p11 p619 p386 p218 p211 } a31 {p282 p446 p479 p368 p533 p163 p411 p523 p171 p188 p46 }) ({p176 p340 p614 p374 p11 p93 p510 p423 } a31 {p276 p185 p219 p93 p592 p415 p46 }) ({p134 p576 p181 p345 p11 p449 p438 p537 p513 } a31 {p569 p520 p220 p537 p187 p460 p580 p46 }) ({p306 p134 p550 p11 p146 p281 p244 p588 p24 p576 p194 p241 p535 p384 p537 p93 p513 } a31 {p102 p306 p255 p518 p406 p569 p520 p237 p588 p285 p195 p534 p537 p93 p46 }) ({p102 p432 p255 p433 p342 p406 p112 p17 p441 p586 p574 p193 p329 p90 p566 p247 p93 } a20 {p53 p254 p105 p432 p433 p342 p405 p441 p114 p586 p281 p244 p24 p574 p194 p289 p565 p331 p93 }) ({p547 p253 p432 p433 p583 p318 p17 p441 p19 p324 p591 p195 p382 p332 p483 p54 p341 p342 p518 p145 p237 p150 p461 p501 p574 p158 p285 p240 p534 p536 p356 p93 } a20 {p550 p253 p432 p508 p433 p110 p319 p441 p22 p589 p196 p384 p578 p480 p485 p52 p53 p138 p343 p342 p279 p521 p459 p146 p499 p154 p574 p287 p241 p535 p298 p221 p93 p357 }) ({p549 p163 p66 p98 } a7 {p192 p152 p100 p73 }) ({p254 p105 p339 p405 p11 p519 p347 p608 p443 p190 p82 p93 p272 } a31 {p193 p596 p339 p90 p347 p247 p511 p93 p606 p46 p443 }) ({p547 p253 p341 p432 p433 p342 p318 p17 p441 p150 p501 p574 p285 p241 p382 p534 p93 p332 } a20 {p550 p253 p53 p138 p432 p343 p508 p433 p342 p279 p146 p441 p499 p574 p287 p241 p384 p298 p93 p480 }) ({p499 p553 p433 p403 p32 p346 p146 p537 p467 p168 p130 } a51 {p548 p433 p403 p344 p387 p537 p18 p170 p130 }) ({p253 p553 p432 p433 p342 p143 p11 p64 p346 p441 p495 p574 p327 p503 p465 p34 p505 p93 } a31 {p253 p553 p432 p433 p342 p62 p208 p346 p365 p441 p495 p502 p574 p503 p479 p540 p93 p545 p46 }) ({p359 p253 p506 p432 p433 p471 p11 p109 p441 p366 p114 p331 p200 p54 p489 p343 p342 p210 p525 p500 p499 p574 p532 p289 p93 } a31 {p310 p253 p54 p360 p432 p433 p342 p491 p364 p441 p498 p527 p574 p478 p83 p566 p93 p332 p544 p302 p201 p46 }) ({p306 p134 p181 p345 p11 p438 p409 p231 p462 p576 p447 p293 p537 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p452 p220 p537 p93 p299 p580 p46 }) ({p499 p548 p433 p403 p32 p346 p149 p537 p168 p130 } a51 {p548 p433 p403 p344 p149 p537 p18 p170 p130 }) ({p551 p32 p161 p519 p218 p230 p608 p579 p115 } a51 {p596 p516 p217 p165 p511 p18 p171 p609 }) ({p478 p470 p142 p290 p87 p121 p317 p17 p303 p302 } a20 {p476 p53 p140 p471 p87 p109 p124 p95 p300 p322 }) ({p193 p596 p312 p105 p255 p406 p520 p247 p511 p17 } a20 {p53 p254 p554 p312 p105 p194 p405 p519 p608 p513 p281 p244 }) ({p306 p134 p181 p345 p11 p438 p231 p412 p462 p576 p447 p391 p293 p618 p537 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p308 p599 p256 p183 p437 p377 p17 p606 p443 p616 p533 p250 p593 } a20 {p308 p445 p53 p378 p160 p601 p615 p377 p388 p260 p123 p272 }) ({p172 p133 p159 p533 p17 p427 } a20 {p101 p234 p175 p53 p136 p160 p117 p388 p188 }) ({p253 p553 p432 p433 p342 p11 p64 p346 p317 p441 p495 p574 p503 p34 p124 p93 } a31 {p253 p553 p432 p433 p342 p142 p62 p346 p317 p441 p495 p574 p503 p504 p479 p93 p46 }) ({p134 p574 p342 p32 p438 p185 p537 p320 p415 } a51 {p572 p340 p448 p466 p537 p187 p18 }) ({p253 p553 p432 p433 p342 p142 p62 p346 p17 p441 p495 p322 p574 p503 p31 p121 p93 } a20 {p253 p553 p53 p432 p140 p433 p60 p342 p346 p441 p495 p322 p574 p503 p34 p124 p93 }) ({p102 p581 p555 p432 p255 p433 p342 p458 p406 p112 p17 p441 p588 p574 p193 p329 p90 p566 p247 p93 p455 } a20 {p53 p254 p105 p555 p582 p432 p433 p342 p405 p441 p114 p586 p281 p244 p24 p464 p574 p194 p289 p355 p565 p331 p93 }) ({p308 p431 p181 p345 p11 p438 p377 p231 p462 p284 p445 p191 p447 p615 p293 p198 p93 } a31 {p437 p376 p228 p187 p213 p191 p286 p452 p220 p369 p93 p299 p580 p304 p593 p46 }) ({p179 p374 p479 p271 p17 p592 p245 } a20 {p233 p155 p53 p614 p374 p64 p212 p468 }) ({p358 p56 p470 p142 p317 p364 p522 p17 p72 p497 p478 p83 p290 p121 p197 p544 p303 p302 } a20 {p359 p506 p53 p56 p140 p471 p109 p363 p525 p322 p497 p476 p87 p124 p95 p200 p541 p300 }) ({p253 p553 p360 p58 p432 p341 p433 p342 p491 p208 p318 p365 p17 p441 p527 p502 p26 p501 p574 p540 p93 p332 p201 } a20 {p253 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p366 p500 p499 p574 p327 p29 p532 p465 p505 p298 p93 p480 }) ({p253 p506 p54 p432 p343 p433 p342 p471 p11 p210 p109 p364 p441 p525 p114 p499 p574 p532 p289 p331 p93 p200 } a31 {p310 p253 p54 p432 p433 p342 p364 p441 p527 p574 p478 p83 p566 p93 p332 p544 p302 p201 p46 }) ({p138 p432 p508 p342 p433 p11 p441 p280 p476 p240 p287 p120 p565 p450 p93 p300 } a31 {p547 p135 p432 p470 p342 p433 p112 p441 p150 p575 p240 p290 p329 p382 p93 p46 }) ({p253 p553 p432 p433 p342 p11 p346 p441 p495 p325 p574 p503 p38 p93 } a31 {p310 p253 p553 p139 p432 p433 p342 p346 p441 p495 p474 p574 p503 p504 p93 p46 }) ({p273 p3 p254 p105 p555 p312 p402 p405 p11 p519 p586 p608 p190 p464 p378 p82 p288 p424 p292 p93 p454 p272 p395 p305 } a31 {p396 p273 p309 p581 p596 p339 p6 p347 p440 p232 p606 p414 p443 p463 p193 p291 p90 p247 p538 p511 p93 p455 p46 }) ({p253 p432 p343 p433 p342 p471 p11 p109 p441 p114 p499 p574 p289 p83 p331 p93 } a31 {p310 p253 p432 p433 p342 p441 p574 p478 p83 p566 p93 p332 p302 p46 }) ({p550 p582 p10 p11 p319 p244 p589 p24 p194 p384 p481 p385 p513 p48 p134 p275 p459 p146 p281 p576 p241 p535 p355 p537 p93 } a31 {p102 p306 p552 p255 p583 p518 p13 p458 p406 p569 p520 p237 p588 p416 p285 p195 p534 p356 p537 p93 p483 p46 }) ({p234 p160 p11 p519 p408 p218 p388 p93 p272 p608 } a31 {p596 p390 p446 p533 p229 p511 p93 p606 p523 p171 p46 }) ({p74 } a28 {p71 }) ({p376 p228 p17 p523 p213 p282 p479 p368 p163 p220 p93 p171 p304 } a20 {p284 p53 p192 p431 p447 p181 p64 p293 p218 p211 p198 p93 }) ({p252 p548 p340 p433 p403 p344 p149 p495 p572 p504 p32 p537 p130 } a51 {p252 p548 p340 p433 p403 p344 p149 p18 p495 p572 p504 p537 p130 }) ({p253 p553 p432 p433 p342 p471 p11 p346 p317 p441 p495 p574 p503 p124 p93 p302 } a31 {p310 p253 p553 p432 p433 p342 p142 p346 p317 p441 p495 p574 p478 p503 p504 p93 p302 p46 }) ({p140 p11 p298 p150 p322 p482 } a31 {p503 p121 p348 p318 p150 p303 p46 }) ({p601 p277 p11 p519 p408 p388 p260 p608 p443 p160 p617 p218 p93 p272 } a31 {p273 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p171 p46 }) ({p547 p432 p433 p583 p13 p17 p441 p324 p591 p195 p382 p483 p50 p135 p342 p518 p569 p237 p150 p461 p575 p285 p240 p534 p536 p356 p93 } a20 {p550 p432 p508 p433 p16 p319 p441 p589 p196 p120 p384 p450 p578 p48 p485 p134 p53 p138 p342 p521 p459 p146 p280 p576 p287 p241 p535 p221 p93 p357 }) ({p190 p254 p405 p86 p11 p519 p347 p272 p608 } a31 {p193 p104 p596 p347 p247 p511 p606 p46 }) ({p253 p553 p432 p138 p140 p433 p342 p11 p348 p441 p322 p476 p574 p298 p93 } a31 {p253 p553 p432 p470 p433 p342 p348 p318 p441 p150 p574 p121 p93 p303 p46 }) ({p476 p60 p142 p121 p317 p17 p303 } a20 {p476 p53 p140 p60 p124 p95 p322 }) ({p445 p192 p339 p375 p440 p17 p369 p187 p606 p580 p593 } a20 {p53 p277 p345 p438 p377 p190 p445 p192 p82 p615 p424 p292 p272 }) ({p306 p134 p550 p554 p11 p146 p281 p244 p588 p24 p576 p194 p241 p535 p384 p93 p513 } a31 {p102 p306 p255 p518 p406 p569 p520 p237 p588 p285 p195 p534 p537 p93 p46 }) ({p612 p179 p32 p374 p615 p592 p245 } a51 {p526 p614 p374 p256 p183 p18 p593 }) ({p550 p576 p11 p448 p387 } a31 {p574 p553 p534 p569 p46 }) ({p551 p161 p517 p219 p17 p579 p115 } a20 {p176 p53 p516 p217 p96 p537 p423 p609 }) ({p253 p553 p432 p139 p433 p342 p346 p316 p17 p441 p495 p322 p477 p574 p503 p119 p93 } a20 {p253 p53 p553 p137 p432 p433 p342 p346 p316 p441 p495 p322 p477 p574 p503 p38 p93 }) ({p253 p553 p432 p433 p342 p11 p64 p346 p441 p495 p574 p503 p34 p124 p95 p93 } a31 {p253 p553 p432 p433 p342 p142 p62 p346 p317 p69 p441 p495 p574 p503 p504 p479 p93 p46 }) ({p550 p554 p582 p10 p11 p319 p244 p589 p24 p194 p384 p481 p385 p513 p48 p134 p275 p459 p146 p281 p576 p241 p535 p355 p93 } a31 {p102 p306 p552 p255 p583 p518 p13 p458 p406 p569 p520 p237 p588 p416 p285 p195 p534 p356 p537 p93 p483 p46 }) ({p526 p11 p377 } a31 {p612 p599 p377 p46 }) ({p7 } a41 {p20 }) ({p102 p581 p596 p312 p255 p406 p520 p17 p588 p464 p193 p90 p247 p511 } a20 {p53 p254 p105 p554 p312 p582 p405 p519 p586 p608 p281 p244 p24 p464 p194 p513 }) ({p352 p17 } a20 {p53 p348 p495 }) ({p253 p432 p508 p433 p11 p363 p441 p322 p324 p476 p196 p578 p480 p138 p140 p342 p279 p521 p574 p287 p87 p298 p221 p93 p541 p300 p357 } a31 {p358 p547 p253 p432 p470 p433 p318 p441 p324 p591 p382 p121 p197 p46 p341 p342 p348 p522 p150 p72 p461 p501 p574 p240 p290 p536 p93 p303 }) ({p134 p550 p275 p582 p11 p459 p146 p319 p281 p244 p416 p589 p24 p576 p194 p241 p535 p355 p384 p537 p93 p481 p513 } a31 {p102 p306 p552 p255 p583 p518 p458 p406 p569 p520 p237 p588 p416 p285 p195 p534 p356 p537 p93 p483 p46 }) ({p548 p253 p432 p433 p342 p344 p11 p113 p441 p574 p330 p93 p131 } a31 {p574 p253 p432 p403 p433 p342 p441 p567 p93 p467 p168 p46 }) ({p503 p32 p352 p318 p149 p249 } a51 {p298 p149 p321 p495 p18 p482 }) ({p547 p135 p432 p342 p433 p569 p17 p441 p150 p575 p285 p241 p382 p534 p93 } a20 {p134 p550 p53 p138 p432 p508 p342 p433 p146 p441 p280 p576 p287 p241 p120 p384 p450 p93 }) ({p253 p553 p432 p433 p342 p471 p11 p346 p441 p495 p574 p503 p124 p95 p93 p302 } a31 {p310 p253 p553 p432 p433 p342 p142 p346 p317 p69 p441 p495 p574 p478 p503 p504 p93 p302 p46 }) ({p11 p98 p301 } a31 {p98 p301 p46 }) ({p572 p135 p561 p340 p32 p433 p150 p475 } a51 {p572 p138 p340 p433 p120 p149 p18 p280 p130 }) ({p574 p432 p403 p433 p342 p557 p17 p441 p512 p567 p93 p242 } a20 {p568 p252 p53 p432 p433 p342 p113 p441 p574 p330 p93 p545 p131 }) ({p547 p135 p432 p342 p433 p569 p17 p441 p150 p575 p534 p384 p93 } a20 {p134 p550 p53 p138 p432 p508 p342 p433 p146 p441 p280 p576 p120 p450 p384 p93 }) ({p17 p152 p100 } a20 {p155 p53 p229 p93 p212 p587 }) ({p306 p134 p554 p181 p345 p11 p438 p409 p231 p462 p576 p447 p293 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p452 p220 p537 p93 p299 p580 p46 }) ({p550 p343 p11 p387 p170 } a31 {p553 p346 p534 p332 p46 }) ({p135 p575 p339 p569 p440 p17 p93 p187 p580 p462 } a20 {p134 p53 p345 p438 p280 p462 p190 p576 p82 p120 p424 p292 p450 p93 }) ({p102 p396 p306 p581 p552 p596 p6 p255 p458 p406 p520 p17 p588 p416 p193 p291 p90 p247 p538 p511 p455 } a20 {p53 p254 p105 p555 p275 p312 p554 p582 p402 p10 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p481 p385 p513 }) ({p306 p134 p181 p345 p11 p438 p228 p462 p576 p447 p537 p93 p513 } a31 {p306 p569 p520 p228 p452 p220 p537 p93 p187 p580 p46 }) ({p0 p312 p603 p228 p520 p409 p17 p523 p608 p418 p390 p618 p511 p220 p93 p127 p171 } a20 {p3 p53 p312 p401 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p93 p513 }) ({p32 p161 p519 p218 p230 p537 p579 p115 } a51 {p516 p217 p165 p511 p537 p18 p171 }) ({p102 p581 p312 p255 p458 p406 p520 p17 p608 p588 p193 p90 p247 p511 p93 p455 } a20 {p53 p254 p105 p312 p582 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p93 p513 }) ({p433 p374 p185 p17 p592 p415 } a20 {p349 p53 p340 p374 p614 p524 p189 p468 }) ({p375 p440 p466 p17 p369 p187 p606 p593 } a20 {p190 p53 p82 p342 p615 p277 p424 p438 p377 p272 }) ({p135 p339 p569 p440 p17 p187 p232 p412 p463 p575 p452 p93 p299 p580 } a20 {p134 p53 p345 p438 p231 p412 p280 p462 p190 p576 p82 p120 p424 p292 p450 p93 p454 p305 }) ({p596 p11 p165 } a31 {p230 p537 p523 p608 p46 }) ({p84 } a26 {p74 }) ({p11 p165 p537 } a31 {p230 p537 p523 p46 }) ({p155 p192 p64 p217 p11 p93 p212 p587 } a31 {p446 p367 p161 p479 p163 p93 p579 p46 }) ({p547 p253 p432 p433 p583 p318 p17 p441 p591 p195 p382 p332 p341 p342 p518 p459 p237 p150 p501 p574 p285 p240 p534 p536 p93 } a20 {p550 p253 p432 p508 p433 p441 p589 p196 p384 p578 p480 p53 p138 p343 p342 p279 p521 p459 p146 p499 p574 p287 p241 p535 p298 p221 p93 }) ({p306 p134 p554 p181 p345 p11 p438 p231 p412 p462 p576 p447 p391 p293 p618 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p134 p550 p275 p554 p582 p11 p459 p146 p319 p281 p244 p416 p589 p24 p576 p194 p241 p535 p355 p384 p93 p481 p513 } a31 {p102 p306 p552 p255 p583 p518 p458 p406 p569 p520 p237 p588 p416 p285 p195 p534 p356 p537 p93 p483 p46 }) ({p253 p432 p508 p433 p11 p363 p441 p322 p476 p196 p578 p480 p485 p138 p140 p342 p279 p521 p497 p574 p158 p287 p87 p298 p221 p93 p541 p300 p357 } a31 {p358 p547 p253 p432 p470 p433 p318 p441 p324 p591 p382 p121 p197 p46 p487 p341 p342 p348 p522 p150 p72 p461 p501 p574 p158 p240 p290 p536 p93 p303 }) ({p252 p433 p516 p11 p93 p524 p189 p468 p609 } a31 {p551 p433 p557 p93 p242 p115 p46 }) ({p548 p253 p553 p432 p433 p342 p17 p441 p321 p495 p574 p93 p168 } a20 {p548 p253 p553 p53 p432 p433 p342 p344 p441 p574 p352 p93 p249 }) ({p358 p253 p553 p432 p470 p433 p364 p17 p441 p322 p478 p121 p197 p487 p56 p342 p142 p346 p522 p495 p72 p498 p574 p503 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p553 p432 p433 p471 p109 p363 p441 p322 p476 p124 p200 p53 p56 p489 p140 p342 p346 p495 p525 p497 p574 p503 p87 p93 p541 p300 }) ({p612 p256 p11 p377 } a31 {p612 p256 p377 p46 }) ({p105 p432 p255 p433 p342 p406 p112 p17 p441 p574 p193 p329 p566 p247 p93 } a20 {p53 p254 p105 p432 p433 p342 p405 p441 p114 p281 p244 p574 p194 p289 p565 p331 p93 }) ({p309 p601 p375 p11 p519 p408 p388 p260 p608 p417 p378 p160 p617 p218 p123 p93 p272 } a31 {p0 p309 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p127 p171 p46 }) ({p137 p11 p352 p316 p149 p249 } a31 {p119 p348 p92 p149 p321 p495 p46 }) ({p253 p553 p432 p433 p342 p471 p11 p346 p109 p317 p441 p495 p574 p503 p83 p124 p93 } a31 {p310 p253 p553 p432 p433 p342 p142 p346 p317 p441 p495 p574 p478 p503 p504 p83 p93 p302 p46 }) ({p190 p254 p405 p86 p11 p519 p425 p272 p608 } a31 {p193 p104 p596 p347 p247 p441 p511 p606 p46 }) ({p596 p406 p558 p520 p511 p17 p595 } a20 {p253 p53 p554 p405 p519 p513 p608 p545 p281 }) ({p11 p92 } a31 {p316 p69 p46 }) ({p477 p137 p561 p11 p352 p316 p249 } a31 {p435 p119 p348 p92 p149 p321 p495 p46 }) ({p520 p165 p511 p17 p220 p608 p171 } a20 {p53 p447 p181 p519 p218 p230 p513 p608 }) ({p306 p134 p550 p582 p11 p458 p146 p281 p244 p589 p24 p576 p194 p241 p535 p384 p537 p93 p513 } a31 {p102 p306 p255 p583 p518 p406 p458 p569 p520 p237 p588 p285 p195 p534 p537 p93 p46 }) ({p463 p135 p575 p339 p569 p440 p452 p17 p231 p93 p187 p580 } a20 {p134 p53 p345 p438 p231 p280 p462 p190 p576 p82 p120 p424 p292 p450 p93 p454 }) ({p432 p433 p316 p17 p441 p322 p188 p444 p192 p383 p340 p204 p342 p343 p60 p516 p344 p345 p346 p64 p519 p210 p460 p532 p217 p218 p93 p252 p548 p253 p550 p104 p553 p254 p411 p476 p477 p270 p271 p565 p568 p137 p140 p495 p572 p574 p503 p576 p614 p615 } a20 {p432 p433 p316 p441 p322 p188 p444 p192 p383 p53 p340 p204 p342 p343 p60 p516 p344 p345 p346 p64 p519 p210 p460 p532 p217 p218 p93 p252 p548 p253 p550 p104 p553 p254 p411 p476 p477 p270 p271 p565 p568 p137 p140 p495 p572 p574 p503 p576 p614 p615 }) ({p138 p432 p508 p342 p433 p11 p521 p441 p280 p461 p476 p287 p87 p196 p120 p565 p450 p578 p221 p93 p541 p300 } a31 {p547 p135 p432 p470 p342 p433 p112 p522 p441 p150 p72 p461 p575 p591 p240 p290 p329 p382 p197 p536 p93 p46 }) ({p325 p574 p253 p432 p433 p342 p344 p11 p330 p113 p441 p93 } a31 {p574 p310 p253 p432 p433 p342 p441 p567 p93 p474 p168 p46 }) ({p253 p553 p139 p432 p433 p342 p435 p346 p316 p17 p441 p495 p474 p574 p503 p119 p93 } a20 {p253 p553 p53 p137 p432 p433 p342 p346 p316 p441 p495 p325 p477 p574 p503 p38 p93 }) ({p568 p252 p349 p11 p524 p189 p475 } a31 {p433 p557 p347 p512 p242 p130 p46 }) ({p135 p339 p569 p440 p17 p187 p232 p607 p414 p463 p575 p419 p613 p452 p393 p93 p299 p580 } a20 {p134 p53 p345 p438 p231 p412 p280 p462 p190 p419 p576 p590 p82 p120 p424 p292 p450 p620 p93 p454 p395 p305 }) ({p596 p312 p390 p617 p228 p520 p409 p17 p511 p220 p523 p171 } a20 {p53 p554 p312 p181 p519 p408 p608 p447 p391 p617 p293 p218 p513 }) ({p190 p254 p405 p86 p11 p120 p565 p425 p280 } a31 {p135 p193 p104 p329 p112 p347 p247 p441 p46 }) ({p547 p253 p432 p433 p583 p318 p17 p441 p324 p591 p195 p382 p332 p483 p341 p342 p518 p237 p150 p461 p501 p574 p154 p285 p240 p534 p536 p356 p93 } a20 {p550 p253 p432 p508 p433 p319 p441 p589 p196 p384 p578 p480 p485 p53 p138 p343 p342 p279 p521 p459 p146 p499 p574 p154 p287 p241 p535 p298 p221 p93 p357 }) ({p253 p550 p553 p254 p432 p433 p17 p441 p476 p192 p270 p479 p565 p342 p343 p345 p346 p519 p495 p574 p503 p576 p614 p615 p217 p218 p93 } a20 {p253 p550 p553 p254 p432 p433 p441 p476 p192 p270 p565 p53 p342 p343 p64 p345 p346 p519 p495 p574 p503 p576 p614 p615 p217 p218 p93 }) ({p310 p140 p433 p403 p32 p119 p69 p149 p537 p495 p130 } a51 {p310 p137 p433 p403 p121 p69 p149 p537 p18 p495 p130 }) ({p308 p339 p437 p377 p440 p17 p187 p606 p443 p463 p192 p452 p580 p593 } a20 {p308 p53 p345 p438 p377 p462 p190 p445 p378 p192 p82 p615 p424 p292 p454 p272 }) ({p233 p155 p270 p32 p533 p411 p606 p212 p468 } a51 {p264 p160 p271 p386 p18 p272 }) ({p526 p479 p375 p256 p183 p533 p369 p17 p606 p593 } a20 {p612 p53 p160 p615 p277 p64 p377 p388 p260 p272 }) ({p253 p553 p432 p470 p433 p342 p142 p346 p17 p441 p495 p322 p574 p478 p503 p121 p93 p300 } a20 {p253 p553 p53 p432 p140 p433 p342 p471 p346 p441 p495 p322 p476 p574 p503 p124 p93 p300 }) ({p252 p349 p516 p11 p524 p189 p468 p609 } a31 {p551 p433 p557 p347 p242 p115 p46 }) ({p20 } a46 {p21 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p317 p441 p366 p124 p200 p489 p58 p342 p346 p210 p495 p525 p500 p574 p503 p532 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p491 p346 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p253 p553 p432 p470 p433 p363 p17 p441 p322 p478 p121 p197 p56 p342 p142 p346 p522 p495 p72 p574 p503 p83 p290 p93 p544 p302 } a20 {p253 p506 p553 p432 p433 p471 p109 p363 p441 p322 p476 p124 p200 p53 p56 p140 p342 p346 p495 p525 p574 p503 p87 p93 p541 p300 }) ({p550 p432 p343 p433 p342 p11 p146 p441 p114 p281 p244 p588 p499 p24 p574 p194 p241 p289 p535 p384 p331 p93 } a31 {p102 p432 p255 p433 p342 p518 p406 p237 p441 p588 p574 p285 p195 p534 p566 p93 p332 p46 }) ({p223 p11 p98 } a31 {p282 p301 p98 p46 }) ({p308 p431 p181 p345 p11 p182 p438 p377 p231 p412 p462 p284 p445 p192 p447 p615 p391 p293 p198 p93 } a31 {p0 p437 p376 p228 p409 p187 p213 p191 p286 p163 p452 p393 p220 p369 p93 p299 p580 p304 p593 p46 }) ({p253 p553 p432 p433 p342 p471 p11 p346 p109 p441 p495 p574 p503 p83 p124 p95 p93 } a31 {p310 p253 p553 p432 p433 p342 p142 p346 p317 p69 p441 p495 p574 p478 p503 p504 p83 p93 p302 p46 }) ({p550 p582 p432 p433 p11 p16 p319 p441 p114 p244 p589 p24 p194 p384 p331 p481 p385 p52 p343 p342 p459 p146 p246 p281 p499 p154 p574 p241 p289 p535 p355 p93 } a31 {p102 p552 p432 p255 p433 p583 p406 p441 p19 p588 p416 p267 p195 p566 p332 p483 p46 p50 p342 p518 p458 p145 p237 p574 p285 p534 p356 p93 }) ({p27 } a49 {p8 }) ({p80 p432 p204 p205 p207 } a12 {p432 p204 p205 p207 p40 }) ({p253 p506 p553 p432 p58 p433 p342 p471 p11 p346 p210 p109 p317 p364 p441 p495 p525 p574 p503 p532 p124 p93 p200 } a31 {p310 p253 p553 p432 p58 p433 p342 p142 p346 p317 p364 p441 p495 p527 p574 p478 p503 p504 p83 p93 p544 p302 p201 p46 }) ({p547 p253 p341 p432 p433 p342 p518 p318 p17 p441 p237 p150 p589 p501 p574 p285 p240 p195 p382 p534 p536 p93 p332 } a20 {p550 p253 p432 p508 p433 p441 p589 p196 p384 p480 p53 p138 p343 p342 p279 p521 p146 p499 p574 p287 p241 p535 p298 p221 p93 }) ({p306 p134 p181 p345 p11 p438 p605 p231 p412 p462 p418 p576 p447 p391 p293 p620 p537 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p434 p449 p17 } a20 {p444 p53 p447 p431 p460 }) ({p253 p138 p432 p140 p508 p433 p342 p11 p279 p441 p322 p476 p574 p382 p298 p93 p480 } a31 {p547 p253 p341 p432 p470 p433 p342 p348 p318 p441 p150 p501 p574 p382 p121 p93 p303 p46 }) ({p306 p134 p554 p181 p345 p11 p438 p228 p462 p576 p447 p93 p513 } a31 {p306 p569 p520 p228 p452 p220 p537 p93 p187 p580 p46 }) ({p135 p339 p569 p440 p17 p187 p232 p414 p463 p575 p620 p452 p393 p93 p299 p580 } a20 {p134 p53 p345 p438 p231 p412 p280 p462 p190 p576 p82 p120 p424 p292 p450 p620 p93 p454 p395 p305 }) ({p368 p11 p229 p93 p301 } a31 {p368 p229 p93 p301 p46 }) ({p572 p252 p548 p310 p340 p433 p32 p142 p344 p38 p495 } a51 {p572 p252 p548 p310 p139 p340 p433 p344 p124 p18 p495 }) ({p253 p553 p432 p433 p342 p62 p11 p346 p316 p317 p441 p495 p322 p574 p478 p503 p124 p93 } a31 {p253 p553 p432 p433 p342 p142 p62 p346 p316 p317 p441 p495 p322 p574 p478 p503 p504 p93 p46 }) ({p254 p105 p555 p312 p277 p405 p11 p519 p586 p608 p414 p190 p464 p378 p82 p288 p424 p292 p93 p454 p272 p305 } a31 {p273 p309 p581 p596 p339 p375 p347 p440 p232 p606 p414 p443 p463 p193 p291 p90 p247 p538 p511 p93 p455 p46 }) ({p547 p135 p432 p342 p433 p583 p518 p569 p459 p237 p17 p441 p150 p575 p285 p591 p240 p195 p382 p534 p536 p93 } a20 {p550 p432 p508 p433 p441 p589 p196 p120 p384 p450 p578 p134 p53 p138 p342 p521 p459 p146 p280 p576 p287 p241 p535 p221 p93 }) ({p306 p134 p550 p554 p582 p11 p458 p146 p281 p244 p589 p24 p576 p194 p241 p535 p384 p93 p513 } a31 {p102 p306 p255 p583 p518 p406 p458 p569 p520 p237 p588 p285 p195 p534 p537 p93 p46 }) ({p476 p140 p32 p435 p119 p92 p322 } a51 {p477 p137 p470 p316 p121 p18 p303 }) ({p253 p553 p360 p432 p433 p342 p491 p62 p208 p346 p365 p17 p441 p495 p322 p527 p502 p574 p503 p31 p540 p93 p201 } a20 {p253 p553 p53 p432 p433 p60 p342 p143 p346 p210 p441 p366 p495 p322 p500 p574 p327 p503 p532 p465 p34 p505 p93 }) ({p367 p32 p161 p218 p230 p211 p301 p579 } a51 {p223 p217 p368 p165 p18 p171 }) ({p253 p550 p553 p56 p432 p341 p433 p342 p210 p318 p17 p441 p501 p574 p532 p93 p332 } a20 {p253 p550 p553 p53 p56 p432 p433 p343 p342 p279 p210 p441 p499 p574 p532 p298 p93 p480 }) ({p367 p163 p164 p17 p98 p594 } a20 {p192 p53 p93 p167 p510 p323 }) ({p601 p375 p11 p519 p408 p388 p260 p608 p443 p160 p617 p218 p93 p272 } a31 {p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p171 p46 }) ({p596 p312 p228 p520 p408 p511 p220 p17 p523 p171 } a20 {p53 p554 p312 p447 p181 p519 p293 p408 p218 p608 p513 }) ({p367 p161 p479 p163 p219 p93 p17 p579 } a20 {p176 p192 p53 p64 p217 p93 p510 p423 }) ({p312 p601 p277 p11 p519 p408 p388 p260 p608 p417 p378 p160 p288 p617 p218 p123 p93 p272 } a31 {p0 p273 p309 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p291 p533 p511 p93 p127 p171 p46 }) ({p306 p0 p603 p228 p520 p409 p17 p523 p608 p418 p390 p291 p618 p511 p220 p93 p127 p171 } a20 {p3 p53 p275 p312 p401 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p93 p513 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p441 p366 p124 p200 p489 p58 p342 p346 p210 p495 p525 p500 p574 p503 p532 p95 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p491 p346 p69 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p309 p599 p256 p183 p437 p377 p17 p606 p443 p286 p616 p533 p250 p593 } a20 {p308 p53 p601 p377 p388 p260 p445 p378 p160 p288 p615 p123 p272 }) ({p432 p508 p433 p11 p363 p441 p476 p196 p120 p565 p450 p578 p485 p50 p138 p342 p521 p497 p280 p287 p87 p221 p93 p541 p300 p357 } a31 {p358 p547 p432 p470 p433 p112 p441 p324 p591 p329 p382 p197 p46 p50 p135 p487 p342 p522 p150 p72 p461 p575 p240 p290 p536 p93 }) ({p342 p276 p32 p615 p438 p377 p185 p229 p592 p415 } a51 {p340 p614 p374 p229 p466 p369 p187 p18 p593 }) ({p253 p506 p553 p432 p58 p433 p342 p471 p11 p346 p210 p109 p364 p441 p495 p525 p574 p503 p532 p124 p95 p93 p200 } a31 {p310 p253 p553 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p346 p69 p495 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p25 } a48 {p28 }) ({p253 p32 p433 p405 p557 p565 p512 p537 p242 p130 } a51 {p568 p252 p433 p329 p558 p112 p537 p18 p595 p130 }) ({p23 } a47 {p32 }) ({p445 p431 p447 p181 p615 p345 p11 p438 p377 p93 p462 p213 } a31 {p437 p376 p452 p220 p369 p93 p187 p580 p593 p46 p213 }) ({p11 p303 } a31 {p69 p322 p46 }) ({p253 p506 p54 p432 p343 p433 p342 p471 p11 p210 p109 p441 p114 p499 p574 p289 p331 p93 p200 p544 } a31 {p310 p253 p54 p432 p433 p342 p441 p574 p478 p83 p566 p93 p332 p302 p544 p201 p46 }) ({p32 p383 p406 p520 p96 p131 } a51 {p283 p403 p517 p18 p513 }) ({p102 p581 p432 p255 p433 p342 p406 p112 p17 p441 p588 p574 p464 p193 p329 p90 p566 p247 p93 } a20 {p53 p254 p105 p582 p432 p433 p342 p405 p441 p114 p586 p281 p244 p24 p574 p464 p194 p289 p565 p331 p93 }) ({p155 p32 p533 p411 p212 p587 p188 } a51 {p153 p172 p160 p619 p386 p18 }) ({p547 p253 p553 p432 p138 p140 p433 p342 p11 p441 p322 p476 p574 p298 p93 p480 } a31 {p547 p253 p553 p432 p470 p433 p342 p348 p318 p441 p150 p501 p574 p121 p93 p303 p46 }) ({p134 p3 p275 p401 p181 p345 p11 p438 p605 p231 p412 p462 p419 p576 p447 p391 p293 p620 p537 p93 p513 } a31 {p306 p6 p404 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p568 p477 p574 p561 p432 p342 p433 p11 p441 p93 p475 } a31 {p574 p432 p342 p433 p435 p149 p441 p512 p93 p130 p46 }) ({p599 p479 p616 p375 p256 p183 p533 p369 p17 p606 p593 } a20 {p53 p160 p601 p615 p277 p64 p377 p388 p260 p272 }) ({p153 p175 p160 p11 p408 p218 p388 p211 p93 } a31 {p282 p390 p446 p178 p368 p533 p93 p523 p171 p46 }) ({p547 p135 p432 p342 p433 p518 p569 p237 p17 p441 p150 p589 p575 p285 p240 p195 p382 p534 p536 p93 } a20 {p134 p550 p53 p138 p432 p508 p342 p433 p521 p146 p441 p280 p589 p576 p287 p241 p196 p120 p535 p384 p450 p221 p93 }) ({p526 p11 p369 } a31 {p273 p612 p599 p377 p46 }) ({p359 p253 p506 p432 p433 p471 p11 p109 p441 p366 p114 p22 p331 p200 p56 p489 p343 p342 p210 p525 p500 p499 p574 p532 p289 p93 } a31 {p310 p253 p54 p360 p432 p433 p342 p491 p364 p441 p498 p527 p26 p574 p478 p83 p566 p93 p332 p544 p302 p201 p46 }) ({p104 p349 p32 p441 p606 p524 p189 p468 } a51 {p190 p433 p86 p425 p18 p272 }) ({p349 p17 } a20 {p53 p433 p347 }) ({p550 p582 p432 p433 p343 p342 p11 p458 p146 p441 p114 p244 p281 p589 p24 p499 p574 p194 p241 p289 p384 p535 p331 p93 } a31 {p102 p432 p255 p433 p342 p583 p518 p406 p458 p237 p441 p588 p574 p285 p195 p534 p566 p93 p332 p46 }) ({p329 p406 p558 p112 p566 p17 p595 } a20 {p253 p53 p289 p405 p565 p331 p114 p545 p281 }) ({p596 p312 p603 p228 p520 p409 p17 p523 p417 p390 p618 p511 p220 p171 } a20 {p53 p554 p312 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p513 }) ({p306 p134 p554 p181 p345 p11 p438 p605 p231 p412 p462 p418 p576 p447 p391 p293 p620 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p403 p517 p557 p17 p93 p242 p115 p609 } a20 {p252 p53 p516 p96 p93 p545 p131 p609 }) ({p572 p548 p11 p96 p93 p131 } a31 {p403 p517 p93 p320 p467 p46 }) ({p358 p253 p432 p470 p433 p112 p364 p17 p441 p478 p329 p197 p566 p52 p487 p342 p522 p72 p498 p574 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p432 p433 p471 p109 p363 p441 p114 p476 p565 p331 p200 p52 p53 p489 p342 p525 p497 p574 p289 p87 p93 p541 p300 }) ({p254 p11 p558 p537 p595 } a31 {p253 p193 p247 p537 p46 }) ({p283 p17 } a20 {p53 p383 p281 }) ({p253 p553 p137 p432 p433 p342 p11 p316 p441 p495 p477 p574 p561 p93 p249 } a31 {p253 p553 p432 p433 p342 p435 p441 p149 p321 p495 p574 p119 p92 p93 p46 }) ({p253 p553 p432 p433 p342 p60 p142 p346 p316 p17 p441 p495 p322 p476 p574 p503 p121 p93 } a20 {p253 p53 p553 p432 p433 p342 p60 p140 p346 p316 p441 p495 p322 p476 p574 p503 p93 p124 }) ({p253 p138 p432 p140 p508 p433 p342 p11 p279 p441 p322 p476 p574 p240 p287 p298 p93 p300 p480 } a31 {p547 p253 p341 p432 p470 p433 p342 p348 p318 p441 p150 p501 p574 p240 p290 p382 p121 p93 p303 p46 }) ({p596 p254 p11 p558 p595 } a31 {p253 p193 p247 p537 p608 p46 }) ({p253 p553 p432 p138 p140 p433 p342 p11 p441 p322 p476 p574 p353 p298 p93 } a31 {p253 p553 p432 p470 p433 p342 p348 p318 p441 p150 p496 p574 p121 p93 p303 p46 }) ({p223 p479 p368 p376 p163 p165 p220 p17 p171 p213 } a20 {p53 p192 p431 p447 p181 p64 p218 p230 p211 p198 p301 }) ({p8 } a42 {p77 }) ({p306 p134 p550 p576 p255 p11 p384 p146 p537 p93 p513 p281 } a31 {p306 p285 p255 p406 p534 p569 p520 p537 p93 p46 }) ({p254 p105 p339 p277 p405 p11 p519 p608 p443 p190 p82 p424 p93 p272 } a31 {p273 p596 p339 p375 p347 p440 p606 p443 p193 p90 p247 p511 p93 p46 }) ({p253 p553 p432 p140 p60 p433 p342 p143 p11 p279 p441 p322 p574 p327 p29 p465 p505 p298 p93 p480 } a31 {p253 p553 p58 p432 p341 p433 p342 p208 p348 p318 p365 p441 p502 p501 p574 p31 p121 p540 p93 p303 p545 p46 }) ({p264 p386 p17 } a20 {p234 p53 p270 p388 p411 }) ({p253 p553 p56 p432 p341 p433 p342 p208 p318 p17 p441 p366 p527 p501 p574 p540 p93 p332 p201 } a20 {p253 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p366 p499 p574 p532 p505 p298 p93 p480 }) ({p273 p254 p105 p405 p11 p519 p586 p608 p443 p190 p82 p424 p292 p93 p272 } a31 {p273 p581 p596 p339 p347 p440 p606 p443 p193 p90 p247 p511 p93 p46 }) ({p547 p253 p341 p432 p433 p342 p318 p17 p441 p237 p150 p501 p574 p285 p240 p195 p382 p534 p535 p93 p332 } a20 {p550 p253 p53 p138 p432 p343 p508 p433 p342 p279 p146 p441 p499 p574 p287 p241 p196 p384 p535 p298 p221 p93 p480 }) ({p550 p552 p582 p432 p433 p11 p441 p114 p244 p589 p24 p194 p384 p331 p343 p342 p459 p146 p281 p499 p574 p241 p289 p535 p355 p93 } a31 {p102 p552 p432 p255 p433 p342 p583 p518 p458 p406 p237 p441 p588 p574 p285 p195 p534 p566 p356 p93 p332 p46 }) ({p253 p432 p433 p342 p149 p17 p441 p321 p495 p574 p93 p467 p168 } a20 {p548 p253 p53 p432 p433 p342 p344 p441 p574 p561 p352 p93 p249 }) ({p253 p553 p137 p432 p433 p342 p11 p346 p316 p441 p149 p495 p574 p503 p93 p249 } a31 {p253 p553 p432 p433 p342 p346 p441 p149 p321 p495 p574 p503 p119 p92 p93 p46 }) ({p273 p160 p11 p519 p386 p218 p229 p272 p608 } a31 {p273 p596 p446 p533 p229 p411 p511 p606 p523 p171 p46 }) ({p43 } a0 {p5 }) ({p253 p553 p432 p433 p342 p343 p60 p208 p346 p316 p17 p441 p366 p495 p322 p527 p574 p503 p540 p93 p201 } a20 {p253 p53 p553 p432 p433 p342 p343 p60 p143 p346 p210 p316 p441 p366 p495 p322 p574 p503 p532 p505 p93 }) ({p104 p32 p433 p606 p524 p189 p468 } a51 {p190 p433 p86 p18 p272 }) ({p612 p256 p11 p369 } a31 {p273 p612 p256 p377 p46 }) ({p273 p345 p11 p466 p593 } a31 {p273 p342 p580 p593 p46 }) ({p0 p309 p339 p437 p377 p440 p17 p187 p232 p606 p414 p443 p463 p286 p163 p452 p393 p299 p580 p593 } a20 {p308 p3 p53 p345 p438 p377 p231 p412 p462 p190 p445 p378 p192 p82 p288 p615 p424 p292 p454 p272 p395 p305 }) ({p135 p104 p349 p32 p441 p524 p189 p475 } a51 {p190 p433 p86 p120 p425 p18 p280 p130 }) ({p102 p312 p255 p406 p520 p17 p608 p586 p193 p90 p247 p511 p93 } a20 {p53 p254 p105 p312 p405 p519 p608 p586 p281 p244 p24 p194 p93 p513 }) ({p134 p3 p275 p554 p401 p181 p345 p11 p438 p605 p231 p412 p462 p419 p576 p447 p391 p293 p620 p93 p513 } a31 {p306 p6 p404 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p253 p553 p56 p432 p470 p433 p342 p142 p346 p17 p441 p495 p322 p72 p574 p478 p503 p83 p290 p121 p197 p93 p541 p302 } a20 {p253 p506 p553 p53 p56 p432 p433 p140 p342 p471 p346 p109 p441 p495 p322 p476 p574 p503 p87 p124 p93 p200 p300 p541 }) ({p136 p367 p32 p164 p211 p301 p594 } a51 {p223 p368 p162 p18 p222 }) ({p553 p343 p11 p170 } a31 {p553 p346 p332 p46 }) ({p31 p142 p62 p121 p317 p17 p303 } a20 {p53 p140 p60 p34 p124 p95 p322 }) ({p309 p339 p375 p437 p440 p17 p187 p232 p606 p443 p463 p192 p286 p452 p369 p299 p580 p593 } a20 {p308 p53 p277 p345 p438 p377 p231 p462 p190 p445 p378 p192 p82 p288 p615 p424 p292 p454 p272 p305 }) ({p572 p252 p340 p32 p433 p330 p383 p406 p566 p113 p131 } a51 {p572 p283 p252 p340 p289 p403 p433 p331 p567 p18 p114 }) ({p174 p133 p445 p431 p615 p11 p377 p392 p93 p213 } a31 {p133 p599 p256 p183 p437 p376 p369 p93 p250 p213 p593 p46 }) ({p3 p254 p105 p555 p312 p402 p277 p405 p11 p519 p586 p608 p190 p464 p378 p82 p288 p424 p292 p93 p454 p272 p395 p305 } a31 {p396 p273 p309 p581 p596 p339 p6 p375 p347 p440 p232 p606 p414 p443 p463 p193 p291 p90 p247 p511 p538 p93 p455 p46 }) ({p273 p309 p254 p105 p405 p11 p519 p586 p608 p190 p464 p378 p82 p424 p292 p93 p454 p272 } a31 {p273 p309 p581 p596 p339 p347 p440 p606 p443 p463 p193 p90 p247 p511 p93 p455 p46 }) ({p306 p134 p550 p576 p554 p255 p11 p384 p146 p93 p513 p281 } a31 {p306 p285 p255 p406 p534 p569 p520 p537 p93 p46 }) ({p358 p487 p56 p470 p142 p317 p364 p522 p17 p72 p498 p478 p83 p290 p121 p197 p544 p303 p302 } a20 {p359 p506 p53 p56 p489 p140 p471 p109 p363 p525 p497 p322 p476 p87 p124 p95 p200 p541 p300 }) ({p342 p11 p229 p369 } a31 {p273 p342 p377 p229 p46 }) ({p138 p432 p508 p342 p433 p11 p441 p280 p476 p287 p87 p196 p120 p565 p450 p536 p221 p93 p300 } a31 {p547 p135 p432 p470 p342 p433 p112 p441 p150 p72 p575 p240 p290 p329 p382 p197 p536 p93 p46 }) ({p308 p599 p375 p256 p183 p437 p17 p606 p443 p616 p533 p369 p250 p593 } a20 {p308 p53 p601 p277 p377 p388 p260 p445 p378 p160 p615 p123 p272 }) ({p283 p134 p550 p576 p11 p146 p513 } a31 {p383 p406 p534 p569 p520 p46 }) ({p253 p553 p360 p56 p432 p341 p433 p342 p208 p318 p365 p17 p441 p527 p500 p501 p574 p540 p93 p332 p201 } a20 {p253 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p366 p499 p500 p574 p327 p532 p505 p298 p93 p480 }) ({p253 p52 p432 p470 p433 p342 p112 p363 p522 p17 p441 p72 p574 p478 p83 p290 p329 p197 p566 p93 p544 p302 } a20 {p253 p52 p506 p53 p432 p433 p342 p471 p109 p363 p441 p525 p114 p476 p574 p289 p87 p565 p331 p93 p200 p541 p300 }) ({p253 p432 p508 p433 p11 p441 p322 p476 p196 p578 p480 p138 p140 p342 p279 p521 p461 p574 p287 p87 p298 p221 p93 p541 p300 } a31 {p547 p253 p432 p470 p433 p318 p441 p591 p382 p121 p197 p46 p341 p342 p348 p522 p150 p72 p461 p501 p574 p240 p290 p536 p93 p303 }) ({p139 p435 p119 p92 p17 p474 } a20 {p325 p477 p53 p137 p38 p316 p69 }) ({p253 p506 p553 p432 p58 p433 p342 p471 p11 p346 p210 p109 p317 p441 p495 p574 p503 p124 p93 p200 p544 } a31 {p310 p253 p553 p432 p58 p433 p342 p142 p346 p317 p441 p495 p574 p478 p503 p504 p83 p93 p302 p544 p201 p46 }) ({p138 p432 p508 p342 p433 p11 p521 p441 p280 p476 p591 p287 p87 p196 p120 p565 p450 p221 p93 p541 p300 } a31 {p547 p135 p432 p470 p342 p433 p112 p522 p441 p150 p72 p575 p591 p240 p290 p329 p382 p197 p536 p93 p46 }) ({p547 p135 p432 p342 p433 p569 p237 p17 p441 p150 p575 p285 p240 p195 p382 p534 p535 p93 } a20 {p134 p550 p53 p138 p432 p508 p342 p433 p146 p441 p280 p576 p287 p241 p196 p120 p384 p450 p535 p221 p93 }) ({p134 p574 p553 p32 p433 p146 p537 p320 p467 } a51 {p572 p548 p433 p448 p387 p537 p18 }) ({p190 p254 p405 p11 p86 p120 p565 p441 p280 } a31 {p135 p193 p104 p329 p112 p247 p441 p46 }) ({p2 } a21 {p81 }) ({p359 p253 p506 p54 p432 p343 p433 p342 p471 p11 p210 p109 p441 p366 p525 p114 p498 p499 p574 p532 p289 p331 p93 p200 } a31 {p310 p253 p54 p360 p432 p433 p342 p364 p441 p498 p527 p574 p478 p83 p566 p93 p332 p544 p302 p201 p46 }) ({p312 p601 p375 p11 p519 p408 p388 p260 p608 p417 p378 p160 p288 p617 p218 p123 p93 p272 } a31 {p0 p309 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p291 p533 p511 p93 p127 p171 p46 }) ({p17 p496 p482 } a20 {p503 p53 p353 }) ({p358 p253 p553 p432 p470 p433 p364 p17 p441 p322 p26 p478 p121 p197 p487 p58 p342 p142 p346 p522 p495 p72 p498 p574 p503 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p553 p432 p433 p471 p109 p363 p441 p322 p476 p29 p124 p200 p53 p56 p489 p140 p342 p346 p495 p525 p497 p574 p503 p87 p93 p541 p300 }) ({p47 } a19 {p2 }) ({p253 p432 p470 p433 p342 p112 p17 p441 p574 p478 p329 p566 p93 p300 } a20 {p253 p53 p432 p433 p342 p471 p441 p114 p476 p574 p289 p565 p331 p93 p300 }) ({p572 p325 p252 p478 p340 p32 p433 p330 p566 p113 } a51 {p572 p252 p340 p289 p433 p471 p331 p567 p18 p114 p474 }) ({p102 p306 p581 p552 p255 p402 p458 p406 p520 p17 p608 p588 p193 p291 p90 p247 p538 p511 p93 p455 } a20 {p53 p254 p105 p555 p275 p312 p582 p402 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p93 p481 p513 }) ({p254 p105 p555 p402 p10 p405 p257 p11 p586 p190 p265 p590 p120 p565 p450 p454 p48 p280 p464 p82 p424 p292 p93 p395 p305 } a31 {p396 p135 p581 p339 p13 p112 p259 p347 p440 p232 p414 p413 p463 p575 p193 p613 p329 p90 p247 p538 p93 p455 p46 }) ({p253 p553 p432 p433 p403 p11 p436 p406 p316 p230 p440 p318 p441 p321 p474 p322 p443 p478 p566 p567 p130 p133 p135 p339 p139 p342 p143 p62 p142 p517 p346 p520 p149 p150 p495 p213 p574 p503 p219 p537 p93 p220 p540 } a31 {p253 p553 p432 p433 p403 p436 p406 p316 p230 p440 p318 p441 p321 p474 p322 p443 p478 p566 p567 p46 p130 p133 p135 p339 p139 p342 p62 p142 p208 p517 p346 p520 p149 p150 p495 p213 p574 p503 p219 p537 p93 p220 p540 p545 }) ({p572 p252 p548 p561 p340 p433 p32 p318 p150 p495 p249 } a51 {p572 p252 p548 p138 p340 p433 p149 p298 p321 p18 p495 }) ({p273 p446 p11 p229 p592 } a31 {p273 p446 p229 p592 p46 }) ({p277 p11 p519 p408 p388 p260 p608 p443 p160 p616 p218 p93 p272 } a31 {p273 p596 p375 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p171 p46 }) ({p42 } a54 {p43 }) ({p264 p160 p11 p519 p386 p218 p272 p608 } a31 {p596 p446 p270 p533 p229 p411 p511 p606 p523 p171 p46 }) ({p135 p448 p387 p17 p150 } a20 {p134 p574 p553 p53 p138 p120 p146 p280 }) ({p102 p581 p596 p312 p255 p458 p406 p520 p17 p588 p193 p90 p247 p511 p455 } a20 {p53 p254 p105 p554 p312 p582 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p513 }) ({p254 p105 p339 p342 p405 p11 p280 p190 p82 p120 p424 p565 p93 } a31 {p135 p193 p339 p342 p329 p112 p347 p90 p440 p247 p93 p46 }) ({p432 p508 p433 p11 p363 p16 p441 p476 p196 p120 p565 p450 p578 p485 p52 p138 p342 p521 p497 p280 p287 p87 p221 p93 p541 p300 p357 } a31 {p358 p547 p432 p470 p433 p112 p441 p19 p324 p591 p329 p382 p197 p46 p50 p135 p487 p342 p522 p150 p72 p461 p575 p240 p290 p536 p93 }) ({p223 p11 p165 } a31 {p282 p230 p523 p301 p46 }) ({p431 p181 p345 p11 p438 p377 p462 p445 p447 p615 p198 p93 p304 } a31 {p437 p376 p452 p220 p369 p93 p187 p213 p580 p593 p46 p304 }) ({p155 p516 p217 p11 p229 p93 p212 p468 p609 } a31 {p551 p446 p161 p229 p93 p579 p115 p46 }) ({p253 p506 p553 p432 p58 p433 p342 p471 p11 p346 p210 p109 p441 p495 p574 p503 p124 p95 p93 p200 p544 } a31 {p310 p253 p553 p432 p58 p433 p342 p142 p346 p317 p69 p441 p495 p574 p478 p503 p504 p83 p93 p302 p544 p201 p46 }) ({p174 p445 p431 p117 p615 p11 p377 p392 p198 p93 p304 } a31 {p133 p599 p256 p183 p437 p376 p213 p369 p93 p250 p593 p46 p304 }) ({p30 } a15 {p45 }) ({p45 } a18 {p17 }) ({p28 } a50 {p79 }) ({p477 p139 p119 p92 p17 } a20 {p477 p53 p137 p38 p316 p69 }) ({p190 p254 p105 p350 p82 p405 p11 p519 p93 p272 p608 } a31 {p193 p596 p436 p90 p347 p247 p511 p93 p606 p46 }) ({p306 p102 p134 p550 p11 p146 p281 p244 p576 p194 p241 p384 p537 p93 p513 } a31 {p306 p102 p255 p406 p569 p520 p237 p285 p195 p534 p537 p93 p46 }) ({p33 } a23 {p36 }) ({p0 p596 p312 p603 p228 p520 p409 p17 p523 p418 p390 p618 p511 p220 p127 p171 } a20 {p3 p53 p554 p312 p401 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p513 }) ({p155 p32 p533 p229 p411 p606 p212 p468 } a51 {p160 p386 p229 p18 p272 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p317 p441 p366 p29 p124 p200 p489 p60 p342 p346 p210 p495 p525 p500 p574 p503 p532 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p31 p201 p46 p58 p342 p142 p491 p346 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p358 p253 p432 p470 p433 p112 p364 p17 p441 p19 p478 p329 p197 p566 p487 p54 p342 p522 p72 p498 p574 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p432 p433 p471 p109 p363 p441 p114 p22 p476 p565 p331 p200 p52 p53 p489 p342 p525 p497 p574 p289 p87 p93 p541 p300 }) ({p551 p11 } a31 {p537 p609 p46 }) ({p253 p553 p360 p432 p433 p342 p343 p60 p208 p346 p316 p17 p441 p365 p495 p322 p527 p500 p574 p503 p540 p93 p201 } a20 {p253 p53 p553 p432 p433 p342 p343 p60 p143 p346 p210 p316 p441 p366 p495 p322 p500 p574 p327 p503 p532 p505 p93 }) ({p253 p553 p432 p470 p433 p342 p142 p346 p17 p441 p495 p322 p574 p478 p503 p290 p87 p121 p93 p302 } a20 {p253 p553 p53 p432 p140 p433 p342 p471 p346 p109 p441 p495 p322 p476 p574 p503 p87 p124 p93 p300 }) ({p574 p253 p432 p433 p342 p435 p17 p441 p512 p567 p93 p474 } a20 {p568 p253 p53 p432 p433 p342 p113 p441 p325 p477 p574 p330 p93 }) ({p406 p558 p520 p17 p511 p608 p595 } a20 {p253 p53 p405 p519 p608 p513 p545 p281 }) ({p253 p553 p432 p433 p342 p143 p62 p11 p346 p316 p318 p441 p365 p495 p322 p574 p503 p505 p93 } a31 {p253 p553 p432 p433 p342 p62 p208 p346 p316 p318 p441 p365 p495 p322 p574 p503 p540 p93 p545 p46 }) ({p56 p470 p142 p317 p363 p522 p17 p72 p478 p83 p290 p121 p197 p544 p303 p302 } a20 {p506 p53 p56 p140 p471 p109 p363 p525 p322 p476 p87 p124 p95 p200 p541 p300 }) ({p253 p52 p432 p470 p433 p342 p112 p17 p441 p72 p574 p478 p83 p290 p329 p197 p566 p93 p541 p302 } a20 {p253 p52 p506 p53 p432 p433 p342 p471 p109 p441 p114 p476 p574 p289 p87 p565 p331 p93 p200 p300 p541 }) ({p276 p11 p245 } a31 {p273 p374 p245 p46 }) ({p192 p11 p152 p100 } a31 {p367 p163 p164 p98 p594 p46 }) ({p253 p432 p508 p433 p11 p363 p110 p441 p322 p22 p476 p196 p578 p480 p485 p56 p138 p140 p342 p279 p521 p497 p574 p287 p87 p298 p221 p93 p541 p300 p357 } a31 {p358 p547 p253 p432 p470 p433 p318 p441 p324 p26 p591 p382 p121 p197 p46 p487 p54 p341 p342 p348 p522 p150 p72 p461 p501 p574 p158 p240 p290 p536 p93 p303 }) ({p35 } a32 {p39 }) ({p193 p312 p105 p255 p406 p520 p247 p17 p511 p93 p608 } a20 {p53 p254 p312 p105 p194 p405 p519 p93 p608 p513 p281 p244 }) ({p501 p553 p318 p17 p170 } a20 {p499 p553 p53 p346 p298 p480 }) ({p253 p553 p432 p433 p342 p143 p62 p11 p346 p316 p318 p441 p495 p322 p574 p502 p327 p503 p505 p93 } a31 {p253 p553 p432 p433 p342 p62 p208 p346 p316 p318 p365 p441 p495 p322 p574 p502 p503 p540 p93 p545 p46 }) ({p223 p133 p368 p162 p376 p163 p17 p98 p222 p213 } a20 {p174 p192 p53 p136 p431 p117 p392 p198 p211 p93 p301 }) ({p445 p192 p339 p377 p440 p17 p187 p606 p580 p593 } a20 {p190 p445 p53 p192 p82 p615 p345 p424 p292 p438 p377 p272 }) ({p282 p133 p368 p162 p376 p163 p17 p98 p304 p222 p213 } a20 {p174 p284 p192 p53 p136 p431 p117 p392 p198 p211 p93 }) ({p503 p561 p32 p352 p318 p249 p150 } a51 {p138 p298 p149 p321 p495 p18 p482 }) ({p476 p140 p433 p403 p32 p435 p119 p316 p149 p537 p495 p130 } a51 {p477 p137 p470 p433 p403 p316 p121 p149 p537 p18 p495 p130 }) ({p36 } a24 {p45 }) ({p306 p102 p134 p550 p554 p11 p146 p281 p244 p576 p194 p241 p384 p93 p513 } a31 {p306 p102 p255 p406 p569 p520 p237 p285 p195 p534 p537 p93 p46 }) ({p551 p403 p517 p557 p17 p242 p115 } a20 {p252 p53 p516 p96 p537 p545 p131 p609 }) ({p478 p470 p142 p121 p317 p17 p300 p303 } a20 {p476 p53 p140 p471 p124 p95 p300 p322 }) ({p444 p176 p32 p376 p220 p460 p510 p423 } a51 {p181 p434 p449 p219 p18 }) ({p253 p553 p360 p56 p432 p341 p433 p342 p491 p208 p318 p365 p17 p441 p527 p502 p501 p574 p540 p93 p332 p201 } a20 {p253 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p366 p500 p499 p574 p327 p532 p465 p505 p298 p93 p480 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p441 p366 p29 p124 p200 p489 p60 p342 p346 p210 p495 p525 p500 p574 p503 p532 p95 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p31 p201 p46 p58 p342 p142 p491 p346 p69 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p253 p553 p432 p58 p140 p433 p342 p143 p11 p279 p441 p322 p574 p502 p327 p505 p298 p93 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p365 p441 p501 p574 p502 p121 p540 p93 p303 p545 p46 }) ({p254 p105 p405 p11 p280 p586 p463 p190 p82 p120 p424 p292 p565 p450 p93 } a31 {p135 p581 p339 p112 p347 p440 p463 p575 p193 p329 p90 p247 p93 p46 }) ({p444 p32 p376 p167 p510 p323 } a51 {p174 p434 p619 p18 p394 }) ({p273 p160 p11 p519 p408 p218 p229 p388 p93 p608 p272 p443 } a31 {p273 p596 p229 p606 p523 p443 p390 p446 p533 p511 p93 p171 p46 }) ({p40 } a52 {p76 }) ({p65 } a6 {p25 }) ({p136 p32 p152 p188 p100 } a51 {p172 p159 p18 p427 }) ({p432 p433 p316 p17 p441 p322 p188 p444 p192 p383 p201 p340 p342 p343 p60 p516 p344 p208 p345 p346 p64 p519 p460 p532 p217 p218 p93 p252 p548 p253 p550 p104 p553 p254 p411 p476 p477 p270 p271 p565 p568 p137 p140 p495 p572 p574 p503 p576 p614 p615 } a20 {p432 p433 p316 p441 p322 p188 p444 p192 p383 p53 p340 p342 p343 p60 p516 p344 p345 p346 p64 p210 p519 p460 p532 p217 p218 p93 p252 p548 p253 p550 p104 p553 p254 p411 p476 p477 p270 p271 p565 p568 p137 p140 p143 p495 p572 p574 p503 p576 p614 p615 }) ({p550 p582 p432 p433 p11 p319 p441 p114 p244 p416 p589 p24 p194 p384 p331 p481 p343 p342 p459 p146 p281 p499 p574 p241 p289 p535 p355 p93 } a31 {p102 p552 p432 p255 p433 p342 p583 p518 p406 p458 p441 p237 p588 p416 p574 p285 p195 p534 p566 p356 p93 p332 p483 p46 }) ({p550 p582 p432 p433 p11 p319 p441 p114 p244 p589 p24 p267 p194 p384 p331 p481 p385 p343 p342 p459 p146 p281 p499 p574 p241 p289 p535 p355 p93 } a31 {p102 p552 p432 p255 p433 p583 p406 p441 p588 p416 p267 p195 p566 p332 p483 p46 p342 p518 p458 p237 p574 p285 p534 p356 p93 }) ({p102 p396 p581 p552 p432 p255 p433 p406 p112 p17 p441 p588 p416 p265 p193 p329 p566 p455 p342 p458 p574 p90 p247 p538 p93 } a20 {p254 p105 p555 p582 p432 p402 p433 p405 p441 p114 p586 p244 p24 p265 p194 p565 p331 p481 p385 p53 p342 p281 p464 p574 p289 p355 p93 }) ({p547 p253 p432 p433 p583 p318 p17 p441 p319 p591 p195 p382 p332 p341 p342 p518 p237 p150 p461 p501 p574 p285 p240 p534 p536 p356 p93 } a20 {p550 p253 p432 p508 p433 p441 p319 p589 p196 p384 p578 p480 p53 p138 p343 p342 p279 p521 p459 p146 p499 p574 p287 p241 p535 p298 p221 p93 p357 }) ({p310 p140 p32 p119 p92 p322 } a51 {p310 p137 p316 p121 p18 p303 }) ({p276 p11 p229 } a31 {p273 p374 p229 p46 }) ({p45 } a17 {p47 }) ({p358 p253 p553 p432 p470 p433 p364 p17 p441 p322 p478 p121 p197 p56 p342 p142 p346 p522 p495 p72 p497 p574 p503 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p553 p432 p433 p471 p109 p363 p441 p322 p476 p124 p200 p53 p56 p140 p342 p346 p495 p525 p497 p574 p503 p87 p93 p541 p300 }) ({p476 p32 p433 p403 p435 p565 p512 p537 p130 } a51 {p568 p477 p470 p433 p403 p329 p112 p537 p18 p130 }) ({p308 p339 p375 p437 p440 p17 p187 p606 p443 p463 p192 p452 p369 p580 p593 } a20 {p308 p53 p277 p345 p438 p377 p462 p190 p445 p378 p192 p82 p615 p424 p292 p454 p272 }) ({p377 p440 p466 p17 p187 p606 p593 } a20 {p190 p53 p82 p342 p615 p424 p438 p377 p272 }) }, initialMarking = {p27 p382 p383 p384 p48 p50 p52 p54 p56 p58 p60 p62 p516 p64 p517 p519 p520 p69 p83 p532 p85 p87 p89 p533 p535 p536 p93 p537 p540 p541 p544 p545 p102 p547 p252 p548 p253 p550 p104 p552 p553 p105 p254 p555 p255 p402 p403 p405 p406 p408 p409 p411 p412 p413 p414 p416 p417 p265 p418 p419 p267 p270 p271 p565 p566 p567 p130 p568 p133 p134 p273 p135 p136 p137 p139 p140 p142 p146 p149 p150 p572 p154 p574 p158 p575 p576 p300 p301 p302 p304 p306 p308 p309 p310 p312 p432 p433 p436 p316 p317 p438 p318 p440 p319 p441 p321 p322 p188 p324 p443 p444 p191 p445 p192 p446 p339 p340 p341 p204 p342 p343 p205 p344 p207 p345 p346 p208 p458 p210 p347 p348 p459 p211 p460 p461 p213 p462 p463 p464 p217 p218 p219 p220 p228 p363 p229 p230 p364 p231 p365 p232 p366 p474 p586 p588 p476 p589 p477 p478 p591 p374 p375 p376 p377 p495 p606 p496 p497 p608 p498 p609 p499 p500 p501 p502 p503 p612 p240 p504 p241 p613 p614 p615 p616 p617 p618 p620 }, acceptingPlaces = {p76 } ); 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 }, transitions = { ({p102 p581 p312 p255 p406 p520 p17 p608 p588 p464 p193 p90 p247 p511 p93 } a20 {p53 p254 p105 p312 p582 p405 p519 p586 p608 p281 p244 p24 p464 p194 p93 p513 }) ({p5 p89 } a39 {p7 p91 p70 }) ({p53 } a22 {p33 }) ({p433 p185 p17 p93 p320 p130 p415 } a20 {p572 p349 p53 p340 p93 p524 p189 p475 }) ({p434 p619 p17 p394 } a20 {p444 p53 p431 p392 }) ({p306 p134 p3 p401 p181 p345 p11 p438 p605 p231 p412 p462 p419 p576 p447 p391 p293 p620 p537 p93 p513 } a31 {p306 p6 p404 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p253 p553 p432 p341 p140 p433 p342 p11 p346 p441 p150 p322 p574 p298 p93 p480 } a31 {p253 p553 p432 p341 p433 p342 p346 p348 p318 p441 p150 p501 p574 p121 p93 p303 p46 }) ({p102 p396 p581 p552 p432 p255 p433 p13 p406 p112 p259 p17 p441 p588 p416 p193 p267 p329 p566 p455 p50 p342 p458 p574 p90 p247 p538 p93 } a20 {p254 p105 p555 p582 p432 p402 p433 p405 p16 p441 p114 p586 p244 p24 p265 p194 p565 p331 p481 p385 p48 p53 p342 p246 p281 p464 p574 p289 p355 p93 }) ({p254 p105 p555 p402 p405 p11 p280 p586 p190 p464 p613 p82 p120 p424 p292 p565 p450 p93 p454 p395 p305 } a31 {p396 p135 p581 p339 p112 p347 p440 p232 p414 p463 p575 p193 p613 p329 p90 p247 p538 p93 p455 p46 }) ({p306 p0 p596 p603 p228 p520 p409 p17 p523 p418 p390 p291 p618 p511 p220 p127 p171 } a20 {p3 p53 p275 p312 p554 p401 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p513 }) ({p253 p553 p432 p58 p140 p433 p342 p143 p11 p279 p441 p150 p322 p574 p298 p93 p540 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p441 p150 p501 p574 p121 p93 p540 p303 p545 p46 }) ({p102 p550 p432 p343 p433 p342 p11 p146 p441 p114 p281 p244 p499 p574 p194 p241 p289 p384 p331 p93 } a31 {p102 p432 p255 p433 p342 p406 p237 p441 p574 p285 p195 p534 p566 p93 p332 p46 }) ({p550 p254 p436 p405 p406 p438 p440 p318 p441 p18 p322 p443 p476 p478 p270 p565 p566 p133 p134 p135 p339 p136 p343 p60 p140 p62 p142 p345 p208 p519 p376 p210 p520 p146 p211 p606 p150 p213 p499 p503 p576 p532 p615 p533 p218 p220 p540 } a45 {p550 p254 p436 p405 p406 p438 p440 p318 p441 p322 p443 p476 p478 p270 p565 p566 p133 p134 p135 p339 p136 p343 p60 p140 p62 p142 p345 p208 p519 p376 p210 p520 p146 p211 p606 p150 p213 p499 p503 p576 p80 p532 p615 p533 p218 p220 p540 }) ({p253 p553 p432 p140 p433 p342 p11 p346 p441 p150 p322 p574 p353 p298 p93 } a31 {p253 p553 p432 p433 p342 p346 p348 p318 p441 p150 p496 p574 p121 p93 p303 p46 }) ({p101 p17 } a20 {p101 p53 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p317 p441 p366 p124 p200 p58 p342 p346 p210 p495 p525 p498 p574 p503 p532 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p346 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p253 p553 p432 p58 p140 p433 p342 p143 p11 p279 p441 p365 p322 p574 p505 p298 p93 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p441 p365 p501 p574 p121 p540 p93 p303 p545 p46 }) ({p86 p436 p425 p17 } a20 {p104 p53 p350 p82 p441 }) ({p101 p234 p175 p160 p117 p11 p408 p218 p388 p211 } a31 {p282 p133 p390 p178 p446 p368 p533 p229 p93 p523 p171 p46 }) ({p375 p11 p519 p408 p388 p260 p608 p443 p160 p616 p218 p93 p272 } a31 {p596 p375 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p171 p46 }) ({p254 p105 p405 p11 p232 p280 p586 p190 p464 p82 p120 p424 p292 p565 p450 p93 p454 } a31 {p135 p581 p339 p112 p347 p440 p232 p463 p575 p193 p329 p90 p247 p93 p455 p46 }) ({p367 p11 p229 p93 } a31 {p367 p229 p93 p46 }) ({p86 p17 p441 } a20 {p104 p53 p82 p441 }) ({p253 p551 p32 p405 p557 p519 p608 p242 p115 } a51 {p252 p596 p516 p558 p511 p18 p595 p609 }) ({p547 p432 p433 p583 p17 p441 p324 p591 p195 p382 p483 p48 p135 p342 p518 p569 p237 p150 p461 p575 p285 p240 p534 p536 p356 p93 } a20 {p550 p432 p508 p433 p319 p441 p589 p196 p120 p384 p450 p578 p48 p485 p134 p53 p138 p342 p521 p459 p146 p280 p576 p287 p241 p535 p221 p93 p357 }) ({p172 p619 p386 p17 } a20 {p175 p53 p388 p411 p188 }) ({p596 p520 p165 p511 p220 p17 p171 } a20 {p53 p554 p447 p181 p519 p218 p230 p513 p608 }) ({p253 p138 p432 p140 p508 p433 p342 p11 p279 p441 p322 p476 p574 p287 p87 p196 p536 p298 p221 p93 p300 p480 } a31 {p547 p253 p341 p432 p470 p433 p342 p348 p318 p441 p150 p72 p501 p574 p240 p290 p382 p121 p197 p536 p93 p303 p46 }) ({p526 p479 p256 p183 p533 p377 p17 p606 p593 } a20 {p612 p53 p160 p615 p64 p377 p388 p260 p272 }) ({p273 p310 p61 p348 p347 p229 p69 p192 p504 p446 p537 p93 p545 } a5 {p549 p163 p66 p98 }) ({p309 p599 p375 p256 p183 p437 p17 p606 p443 p286 p616 p533 p369 p250 p593 } a20 {p308 p53 p601 p277 p377 p388 p260 p445 p378 p160 p288 p615 p123 p272 }) ({p176 p32 p520 p96 p220 p460 p423 } a51 {p181 p517 p449 p219 p18 p513 }) ({p233 p155 p516 p217 p11 p212 p468 p609 } a31 {p551 p446 p161 p271 p229 p579 p115 p46 }) ({p254 p105 p277 p405 p11 p519 p586 p608 p443 p190 p82 p424 p292 p93 p272 } a31 {p273 p581 p596 p339 p375 p347 p440 p606 p443 p193 p90 p247 p511 p93 p46 }) ({p572 p252 p548 p325 p478 p340 p433 p32 p142 p344 p38 p495 } a51 {p572 p252 p548 p139 p340 p433 p344 p471 p124 p18 p495 p474 }) ({p161 p517 p219 p17 p93 p579 p115 p609 } a20 {p176 p53 p516 p217 p96 p93 p423 p609 }) ({p253 p553 p360 p432 p433 p342 p343 p60 p491 p208 p346 p316 p365 p17 p441 p495 p322 p527 p502 p574 p503 p540 p93 p201 } a20 {p253 p553 p53 p432 p433 p342 p343 p60 p143 p346 p210 p316 p441 p366 p495 p322 p500 p574 p327 p503 p532 p465 p505 p93 }) ({p74 } a29 {p11 }) ({p102 p396 p306 p581 p552 p6 p255 p458 p406 p520 p17 p608 p588 p416 p193 p291 p90 p247 p538 p511 p93 p455 } a20 {p53 p254 p105 p555 p275 p312 p582 p402 p10 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p93 p481 p385 p513 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p441 p366 p124 p200 p58 p342 p346 p210 p495 p525 p498 p574 p503 p532 p95 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p346 p69 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p253 p138 p432 p140 p508 p433 p342 p11 p279 p521 p441 p322 p476 p574 p591 p287 p87 p196 p298 p221 p93 p541 p300 p480 } a31 {p547 p253 p432 p470 p433 p318 p441 p591 p382 p121 p197 p46 p341 p342 p348 p522 p150 p72 p501 p574 p240 p290 p536 p93 p303 }) ({p70 } a14 {p30 }) ({p576 p345 p11 p448 p466 } a31 {p574 p342 p569 p580 p46 }) ({p312 p228 p520 p409 p17 p523 p608 p390 p617 p511 p220 p93 p171 } a20 {p53 p312 p181 p519 p408 p608 p447 p391 p617 p293 p218 p93 p513 }) ({p85 p21 } a37 {p23 p59 p88 }) ({p572 p252 p548 p310 p340 p433 p32 p344 p318 p149 p495 p249 } a51 {p572 p252 p548 p310 p340 p433 p344 p149 p298 p321 p18 p495 }) ({p273 p446 p342 p11 p229 p593 } a31 {p273 p446 p342 p229 p593 p46 }) ({p254 p105 p555 p402 p405 p11 p280 p586 p413 p190 p464 p590 p82 p120 p424 p292 p565 p450 p93 p454 p395 p305 } a31 {p396 p135 p581 p339 p112 p347 p440 p232 p414 p413 p463 p575 p193 p613 p329 p90 p247 p538 p93 p455 p46 }) ({p374 p11 p245 } a31 {p374 p245 p46 }) ({p56 p470 p142 p317 p17 p72 p478 p83 p290 p121 p197 p541 p303 p302 } a20 {p506 p53 p56 p140 p471 p109 p322 p476 p87 p124 p95 p200 p300 p541 }) ({p547 p135 p432 p342 p433 p583 p518 p569 p237 p17 p441 p319 p150 p461 p575 p285 p591 p240 p195 p382 p534 p536 p356 p93 } a20 {p550 p432 p508 p433 p441 p319 p589 p196 p120 p384 p450 p578 p134 p53 p138 p342 p521 p459 p146 p280 p576 p287 p241 p535 p221 p93 p357 }) ({p138 p432 p508 p342 p433 p11 p521 p363 p441 p280 p324 p476 p287 p87 p196 p120 p565 p450 p578 p221 p93 p541 p300 p357 } a31 {p358 p547 p135 p432 p470 p342 p433 p112 p522 p441 p150 p72 p461 p324 p575 p591 p240 p290 p329 p382 p197 p536 p93 p46 }) ({p254 p105 p555 p405 p11 p280 p586 p414 p190 p464 p82 p120 p424 p292 p565 p450 p93 p454 p305 } a31 {p135 p581 p339 p112 p347 p440 p232 p414 p463 p575 p193 p329 p90 p247 p538 p93 p455 p46 }) ({p270 p386 p17 p188 } a20 {p53 p270 p411 p388 p188 }) ({p172 p159 p192 p11 p211 p427 } a31 {p282 p368 p162 p163 p98 p222 p188 p46 }) ({p306 p134 p3 p554 p401 p181 p345 p11 p438 p605 p231 p412 p462 p419 p576 p447 p391 p293 p620 p93 p513 } a31 {p306 p6 p404 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p174 p308 p284 p445 p431 p117 p615 p11 p377 p392 p198 p93 } a31 {p133 p599 p256 p183 p437 p376 p213 p286 p369 p93 p250 p304 p593 p46 }) ({p179 p276 p479 p271 p17 p592 p245 } a20 {p233 p155 p273 p53 p614 p374 p64 p212 p468 }) ({p432 p342 p433 p149 p17 p441 p93 p320 p467 p130 } a20 {p572 p548 p53 p561 p432 p342 p433 p441 p93 p475 }) ({p46 } a33 {p67 }) ({p253 p553 p432 p433 p342 p143 p62 p11 p346 p316 p318 p441 p495 p322 p574 p327 p503 p465 p505 p93 } a31 {p253 p553 p432 p433 p342 p62 p208 p346 p316 p318 p365 p441 p495 p322 p502 p574 p503 p540 p93 p545 p46 }) ({p190 p254 p105 p350 p342 p82 p405 p11 p120 p565 p93 p280 } a31 {p135 p193 p342 p329 p436 p112 p90 p347 p247 p93 p46 }) ({p102 p193 p596 p312 p255 p406 p520 p90 p247 p17 p511 p586 } a20 {p53 p254 p105 p554 p312 p405 p519 p608 p586 p281 p244 p24 p194 p513 }) ({p358 p253 p52 p432 p470 p433 p342 p112 p364 p522 p17 p441 p72 p497 p574 p478 p83 p290 p329 p197 p566 p93 p544 p302 } a20 {p359 p253 p506 p432 p433 p471 p109 p363 p441 p114 p476 p565 p331 p200 p52 p53 p342 p525 p497 p574 p289 p87 p93 p541 p300 }) ({p0 p309 p339 p375 p437 p440 p17 p187 p232 p606 p414 p443 p463 p286 p163 p452 p393 p369 p299 p580 p593 } a20 {p308 p3 p53 p277 p345 p438 p377 p231 p412 p462 p190 p445 p378 p192 p82 p288 p615 p424 p292 p454 p272 p395 p305 }) ({p550 p253 p432 p343 p433 p255 p342 p11 p146 p441 p114 p281 p499 p574 p289 p384 p331 p93 } a31 {p253 p432 p433 p255 p342 p406 p441 p574 p285 p534 p566 p93 p332 p46 }) ({p358 p487 p58 p470 p142 p317 p364 p522 p17 p72 p498 p26 p478 p83 p290 p121 p197 p544 p303 p302 } a20 {p359 p506 p53 p56 p489 p140 p471 p109 p363 p525 p497 p322 p476 p29 p87 p124 p95 p200 p541 p300 }) ({p253 p553 p432 p140 p433 p342 p11 p346 p441 p150 p495 p322 p496 p574 p501 p503 p298 p93 } a31 {p253 p553 p432 p433 p342 p346 p318 p441 p150 p495 p496 p574 p501 p503 p121 p93 p303 p46 }) ({p306 p134 p550 p582 p11 p459 p146 p281 p244 p589 p24 p576 p194 p241 p535 p355 p384 p537 p93 p513 } a31 {p102 p306 p255 p583 p518 p458 p406 p569 p520 p237 p588 p285 p195 p534 p356 p537 p93 p46 }) ({p273 p342 p32 p615 p438 p185 p229 p592 p415 } a51 {p273 p340 p614 p229 p466 p187 p18 p593 }) ({p309 p254 p105 p277 p405 p11 p519 p586 p608 p190 p464 p378 p82 p424 p292 p93 p454 p272 } a31 {p273 p309 p581 p596 p339 p375 p347 p440 p606 p443 p463 p193 p90 p247 p511 p93 p455 p46 }) ({p273 p254 p105 p555 p312 p405 p11 p519 p586 p608 p414 p190 p464 p378 p82 p288 p424 p292 p93 p454 p272 p305 } a31 {p273 p309 p581 p596 p339 p347 p440 p232 p606 p414 p443 p463 p193 p291 p90 p247 p538 p511 p93 p455 p46 }) ({p599 p479 p616 p256 p183 p533 p377 p17 p606 p593 } a20 {p53 p160 p601 p615 p64 p377 p388 p260 p272 }) ({p233 p17 } a20 {p53 p271 p229 }) ({p253 p596 p11 p230 } a31 {p253 p230 p537 p608 p46 }) ({p501 p318 p387 p17 p150 p170 } a20 {p499 p553 p53 p138 p346 p146 p298 p480 }) ({p253 p553 p432 p58 p140 p433 p342 p11 p208 p279 p441 p150 p322 p574 p298 p93 p540 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p441 p150 p501 p574 p121 p93 p540 p303 p46 }) ({p68 } a8 {p65 }) ({p71 } a30 {p35 }) ({p572 p135 p104 p340 p32 p433 p524 p189 p475 } a51 {p572 p190 p340 p433 p86 p120 p18 p280 p130 }) ({p614 p374 p64 p11 p93 p167 p510 p323 } a31 {p179 p276 p479 p93 p592 p245 p46 }) ({p312 p228 p520 p408 p511 p17 p220 p93 p523 p608 p171 } a20 {p53 p312 p447 p181 p519 p293 p408 p218 p93 p608 p513 }) ({p79 } a11 {p42 }) ({p253 p553 p432 p433 p342 p62 p11 p346 p441 p495 p574 p478 p503 p124 p95 p93 } a31 {p253 p553 p432 p433 p342 p142 p62 p346 p317 p441 p69 p495 p574 p478 p503 p504 p93 p46 }) ({p253 p432 p470 p433 p342 p112 p17 p441 p574 p478 p290 p329 p87 p566 p93 p302 } a20 {p253 p53 p432 p433 p342 p471 p109 p441 p114 p476 p574 p289 p87 p565 p331 p93 p300 }) ({p253 p32 p405 p557 p519 p537 p242 p115 } a51 {p252 p516 p558 p511 p537 p18 p595 }) ({p138 p432 p342 p433 p11 p441 p280 p476 p574 p575 p120 p565 p93 } a31 {p135 p432 p470 p342 p433 p112 p441 p150 p574 p575 p329 p93 p46 }) ({p254 p105 p339 p432 p342 p433 p405 p11 p436 p440 p441 p280 p190 p574 p575 p82 p120 p565 p93 } a31 {p135 p339 p432 p342 p433 p436 p112 p440 p441 p574 p575 p193 p329 p90 p247 p93 p46 }) ({p181 p615 p434 p345 p11 p449 p438 p377 } a31 {p444 p376 p220 p369 p187 p460 p580 p593 p46 }) ({p253 p553 p432 p433 p342 p11 p346 p316 p441 p495 p474 p322 p574 p503 p38 p93 } a31 {p253 p553 p432 p139 p433 p342 p346 p316 p441 p495 p474 p322 p574 p503 p504 p93 p46 }) ({p102 p581 p552 p432 p255 p433 p402 p342 p458 p406 p112 p17 p441 p588 p574 p193 p329 p90 p566 p247 p538 p93 p455 } a20 {p254 p105 p555 p582 p432 p433 p402 p405 p441 p114 p586 p244 p24 p194 p565 p331 p481 p53 p342 p281 p464 p574 p289 p355 p93 }) ({p135 p339 p6 p404 p569 p440 p17 p187 p232 p607 p414 p413 p463 p575 p613 p452 p393 p93 p299 p580 } a20 {p134 p53 p10 p257 p345 p438 p231 p412 p280 p462 p190 p419 p590 p576 p82 p120 p424 p292 p450 p620 p93 p454 p395 p305 }) ({p253 p432 p343 p433 p342 p471 p11 p441 p114 p499 p574 p289 p331 p93 p302 } a31 {p310 p253 p432 p433 p342 p441 p574 p478 p566 p93 p332 p302 p46 }) ({p135 p448 p440 p466 p17 p187 } a20 {p190 p134 p574 p53 p82 p342 p120 p424 p438 p280 }) ({p306 p134 p550 p554 p582 p11 p459 p146 p281 p244 p589 p24 p576 p194 p241 p535 p355 p384 p93 p513 } a31 {p102 p306 p255 p583 p518 p458 p406 p569 p520 p237 p588 p285 p195 p534 p356 p537 p93 p46 }) ({p433 p276 p185 p17 p592 p415 } a20 {p273 p349 p53 p340 p614 p374 p524 p189 p468 }) ({p568 p252 p574 p432 p342 p433 p11 p441 p93 p524 p189 p475 } a31 {p574 p432 p342 p433 p557 p441 p512 p93 p242 p130 p46 }) ({p253 p553 p432 p433 p403 p11 p436 p406 p316 p230 p440 p318 p441 p321 p474 p322 p443 p478 p566 p567 p130 p133 p135 p339 p139 p342 p62 p142 p207 p517 p346 p208 p520 p149 p150 p495 p213 p574 p503 p219 p537 p93 p220 p540 } a31 {p253 p553 p432 p433 p403 p436 p406 p316 p230 p440 p318 p441 p321 p474 p322 p443 p478 p566 p567 p46 p130 p133 p135 p339 p139 p342 p62 p142 p207 p517 p346 p208 p520 p149 p150 p495 p213 p574 p503 p219 p537 p93 p220 p540 }) ({p138 p432 p508 p342 p433 p11 p441 p280 p476 p382 p120 p565 p450 p93 } a31 {p547 p135 p432 p470 p342 p433 p112 p441 p150 p575 p329 p382 p93 p46 }) ({p612 p179 p276 p32 p615 p377 p592 p245 } a51 {p526 p614 p374 p256 p183 p369 p18 p593 }) ({p73 } a9 {p68 }) ({p174 p615 p434 p64 p11 p619 p377 p394 } a31 {p444 p599 p479 p256 p183 p376 p369 p593 p46 }) ({p102 p306 p581 p552 p596 p255 p402 p458 p406 p520 p17 p588 p193 p291 p90 p247 p538 p511 p455 } a20 {p53 p254 p105 p555 p275 p312 p554 p582 p402 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p481 p513 }) ({p312 p603 p228 p520 p409 p17 p523 p608 p417 p390 p618 p511 p220 p93 p171 } a20 {p53 p312 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p93 p513 }) ({p77 } a10 {p61 }) ({p253 p550 p553 p56 p432 p341 p433 p342 p208 p318 p17 p441 p501 p574 p532 p93 p332 p201 } a20 {p253 p550 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p499 p574 p532 p298 p93 p480 }) ({p309 p601 p277 p11 p519 p408 p388 p260 p608 p417 p378 p160 p617 p218 p123 p93 p272 } a31 {p0 p273 p309 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p127 p171 p46 }) ({p309 p339 p437 p377 p440 p17 p187 p232 p606 p443 p463 p192 p286 p452 p299 p580 p593 } a20 {p308 p53 p345 p438 p377 p231 p462 p190 p445 p378 p192 p82 p288 p615 p424 p292 p454 p272 p305 }) ({p67 } a34 {p63 }) ({p547 p253 p341 p432 p433 p342 p318 p17 p441 p150 p501 p574 p384 p534 p93 p332 } a20 {p550 p253 p53 p138 p432 p343 p508 p433 p342 p279 p146 p441 p499 p574 p384 p298 p93 p480 }) ({p345 p11 p466 p369 } a31 {p273 p342 p377 p580 p46 }) ({p499 p283 p550 p289 p343 p11 p331 p146 p114 } a31 {p406 p383 p534 p566 p332 p46 }) ({p444 p449 p17 } a20 {p444 p53 p447 p460 }) ({p273 p254 p105 p339 p405 p11 p519 p608 p443 p190 p82 p424 p93 p272 } a31 {p273 p596 p339 p347 p440 p606 p443 p193 p90 p247 p511 p93 p46 }) ({p572 p176 p340 p11 p96 p93 p423 } a31 {p517 p185 p219 p93 p320 p415 p46 }) ({p59 } a25 {p84 }) ({p178 p376 p228 p409 p17 p523 p213 p282 p191 p390 p368 p220 p93 p171 p304 } a20 {p53 p431 p181 p182 p408 p211 p284 p447 p391 p293 p218 p198 p93 }) ({p476 p138 p140 p11 p298 p322 p482 } a31 {p503 p470 p121 p348 p318 p150 p303 p46 }) ({p63 } a35 {p74 }) ({p253 p553 p432 p58 p140 p433 p342 p143 p11 p279 p441 p322 p574 p327 p465 p505 p298 p93 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p365 p441 p502 p501 p574 p121 p540 p93 p303 p545 p46 }) ({p153 p172 p192 p160 p64 p11 p619 p386 p218 p211 } a31 {p282 p446 p479 p368 p533 p163 p411 p523 p171 p188 p46 }) ({p176 p340 p614 p374 p11 p93 p510 p423 } a31 {p276 p185 p219 p93 p592 p415 p46 }) ({p134 p576 p181 p345 p11 p449 p438 p537 p513 } a31 {p569 p520 p220 p537 p187 p460 p580 p46 }) ({p306 p134 p550 p11 p146 p281 p244 p588 p24 p576 p194 p241 p535 p384 p537 p93 p513 } a31 {p102 p306 p255 p518 p406 p569 p520 p237 p588 p285 p195 p534 p537 p93 p46 }) ({p102 p432 p255 p433 p342 p406 p112 p17 p441 p586 p574 p193 p329 p90 p566 p247 p93 } a20 {p53 p254 p105 p432 p433 p342 p405 p441 p114 p586 p281 p244 p24 p574 p194 p289 p565 p331 p93 }) ({p547 p253 p432 p433 p583 p318 p17 p441 p19 p324 p591 p195 p382 p332 p483 p54 p341 p342 p518 p145 p237 p150 p461 p501 p574 p158 p285 p240 p534 p536 p356 p93 } a20 {p550 p253 p432 p508 p433 p110 p319 p441 p22 p589 p196 p384 p578 p480 p485 p52 p53 p138 p343 p342 p279 p521 p459 p146 p499 p154 p574 p287 p241 p535 p298 p221 p93 p357 }) ({p549 p163 p66 p98 } a7 {p192 p152 p100 p73 }) ({p254 p105 p339 p405 p11 p519 p347 p608 p443 p190 p82 p93 p272 } a31 {p193 p596 p339 p90 p347 p247 p511 p93 p606 p46 p443 }) ({p547 p253 p341 p432 p433 p342 p318 p17 p441 p150 p501 p574 p285 p241 p382 p534 p93 p332 } a20 {p550 p253 p53 p138 p432 p343 p508 p433 p342 p279 p146 p441 p499 p574 p287 p241 p384 p298 p93 p480 }) ({p499 p553 p433 p403 p32 p346 p146 p537 p467 p168 p130 } a51 {p548 p433 p403 p344 p387 p537 p18 p170 p130 }) ({p253 p553 p432 p433 p342 p143 p11 p64 p346 p441 p495 p574 p327 p503 p465 p34 p505 p93 } a31 {p253 p553 p432 p433 p342 p62 p208 p346 p365 p441 p495 p502 p574 p503 p479 p540 p93 p545 p46 }) ({p359 p253 p506 p432 p433 p471 p11 p109 p441 p366 p114 p331 p200 p54 p489 p343 p342 p210 p525 p500 p499 p574 p532 p289 p93 } a31 {p310 p253 p54 p360 p432 p433 p342 p491 p364 p441 p498 p527 p574 p478 p83 p566 p93 p332 p544 p302 p201 p46 }) ({p306 p134 p181 p345 p11 p438 p409 p231 p462 p576 p447 p293 p537 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p452 p220 p537 p93 p299 p580 p46 }) ({p499 p548 p433 p403 p32 p346 p149 p537 p168 p130 } a51 {p548 p433 p403 p344 p149 p537 p18 p170 p130 }) ({p551 p32 p161 p519 p218 p230 p608 p579 p115 } a51 {p596 p516 p217 p165 p511 p18 p171 p609 }) ({p478 p470 p142 p290 p87 p121 p317 p17 p303 p302 } a20 {p476 p53 p140 p471 p87 p109 p124 p95 p300 p322 }) ({p193 p596 p312 p105 p255 p406 p520 p247 p511 p17 } a20 {p53 p254 p554 p312 p105 p194 p405 p519 p608 p513 p281 p244 }) ({p306 p134 p181 p345 p11 p438 p231 p412 p462 p576 p447 p391 p293 p618 p537 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p308 p599 p256 p183 p437 p377 p17 p606 p443 p616 p533 p250 p593 } a20 {p308 p445 p53 p378 p160 p601 p615 p377 p388 p260 p123 p272 }) ({p172 p133 p159 p533 p17 p427 } a20 {p101 p234 p175 p53 p136 p160 p117 p388 p188 }) ({p253 p553 p432 p433 p342 p11 p64 p346 p317 p441 p495 p574 p503 p34 p124 p93 } a31 {p253 p553 p432 p433 p342 p142 p62 p346 p317 p441 p495 p574 p503 p504 p479 p93 p46 }) ({p134 p574 p342 p32 p438 p185 p537 p320 p415 } a51 {p572 p340 p448 p466 p537 p187 p18 }) ({p253 p553 p432 p433 p342 p142 p62 p346 p17 p441 p495 p322 p574 p503 p31 p121 p93 } a20 {p253 p553 p53 p432 p140 p433 p60 p342 p346 p441 p495 p322 p574 p503 p34 p124 p93 }) ({p102 p581 p555 p432 p255 p433 p342 p458 p406 p112 p17 p441 p588 p574 p193 p329 p90 p566 p247 p93 p455 } a20 {p53 p254 p105 p555 p582 p432 p433 p342 p405 p441 p114 p586 p281 p244 p24 p464 p574 p194 p289 p355 p565 p331 p93 }) ({p308 p431 p181 p345 p11 p438 p377 p231 p462 p284 p445 p191 p447 p615 p293 p198 p93 } a31 {p437 p376 p228 p187 p213 p191 p286 p452 p220 p369 p93 p299 p580 p304 p593 p46 }) ({p179 p374 p479 p271 p17 p592 p245 } a20 {p233 p155 p53 p614 p374 p64 p212 p468 }) ({p358 p56 p470 p142 p317 p364 p522 p17 p72 p497 p478 p83 p290 p121 p197 p544 p303 p302 } a20 {p359 p506 p53 p56 p140 p471 p109 p363 p525 p322 p497 p476 p87 p124 p95 p200 p541 p300 }) ({p253 p553 p360 p58 p432 p341 p433 p342 p491 p208 p318 p365 p17 p441 p527 p502 p26 p501 p574 p540 p93 p332 p201 } a20 {p253 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p366 p500 p499 p574 p327 p29 p532 p465 p505 p298 p93 p480 }) ({p253 p506 p54 p432 p343 p433 p342 p471 p11 p210 p109 p364 p441 p525 p114 p499 p574 p532 p289 p331 p93 p200 } a31 {p310 p253 p54 p432 p433 p342 p364 p441 p527 p574 p478 p83 p566 p93 p332 p544 p302 p201 p46 }) ({p138 p432 p508 p342 p433 p11 p441 p280 p476 p240 p287 p120 p565 p450 p93 p300 } a31 {p547 p135 p432 p470 p342 p433 p112 p441 p150 p575 p240 p290 p329 p382 p93 p46 }) ({p253 p553 p432 p433 p342 p11 p346 p441 p495 p325 p574 p503 p38 p93 } a31 {p310 p253 p553 p139 p432 p433 p342 p346 p441 p495 p474 p574 p503 p504 p93 p46 }) ({p273 p3 p254 p105 p555 p312 p402 p405 p11 p519 p586 p608 p190 p464 p378 p82 p288 p424 p292 p93 p454 p272 p395 p305 } a31 {p396 p273 p309 p581 p596 p339 p6 p347 p440 p232 p606 p414 p443 p463 p193 p291 p90 p247 p538 p511 p93 p455 p46 }) ({p253 p432 p343 p433 p342 p471 p11 p109 p441 p114 p499 p574 p289 p83 p331 p93 } a31 {p310 p253 p432 p433 p342 p441 p574 p478 p83 p566 p93 p332 p302 p46 }) ({p550 p582 p10 p11 p319 p244 p589 p24 p194 p384 p481 p385 p513 p48 p134 p275 p459 p146 p281 p576 p241 p535 p355 p537 p93 } a31 {p102 p306 p552 p255 p583 p518 p13 p458 p406 p569 p520 p237 p588 p416 p285 p195 p534 p356 p537 p93 p483 p46 }) ({p234 p160 p11 p519 p408 p218 p388 p93 p272 p608 } a31 {p596 p390 p446 p533 p229 p511 p93 p606 p523 p171 p46 }) ({p74 } a28 {p71 }) ({p376 p228 p17 p523 p213 p282 p479 p368 p163 p220 p93 p171 p304 } a20 {p284 p53 p192 p431 p447 p181 p64 p293 p218 p211 p198 p93 }) ({p252 p548 p340 p433 p403 p344 p149 p495 p572 p504 p32 p537 p130 } a51 {p252 p548 p340 p433 p403 p344 p149 p18 p495 p572 p504 p537 p130 }) ({p253 p553 p432 p433 p342 p471 p11 p346 p317 p441 p495 p574 p503 p124 p93 p302 } a31 {p310 p253 p553 p432 p433 p342 p142 p346 p317 p441 p495 p574 p478 p503 p504 p93 p302 p46 }) ({p140 p11 p298 p150 p322 p482 } a31 {p503 p121 p348 p318 p150 p303 p46 }) ({p601 p277 p11 p519 p408 p388 p260 p608 p443 p160 p617 p218 p93 p272 } a31 {p273 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p171 p46 }) ({p547 p432 p433 p583 p13 p17 p441 p324 p591 p195 p382 p483 p50 p135 p342 p518 p569 p237 p150 p461 p575 p285 p240 p534 p536 p356 p93 } a20 {p550 p432 p508 p433 p16 p319 p441 p589 p196 p120 p384 p450 p578 p48 p485 p134 p53 p138 p342 p521 p459 p146 p280 p576 p287 p241 p535 p221 p93 p357 }) ({p190 p254 p405 p86 p11 p519 p347 p272 p608 } a31 {p193 p104 p596 p347 p247 p511 p606 p46 }) ({p253 p553 p432 p138 p140 p433 p342 p11 p348 p441 p322 p476 p574 p298 p93 } a31 {p253 p553 p432 p470 p433 p342 p348 p318 p441 p150 p574 p121 p93 p303 p46 }) ({p476 p60 p142 p121 p317 p17 p303 } a20 {p476 p53 p140 p60 p124 p95 p322 }) ({p445 p192 p339 p375 p440 p17 p369 p187 p606 p580 p593 } a20 {p53 p277 p345 p438 p377 p190 p445 p192 p82 p615 p424 p292 p272 }) ({p306 p134 p550 p554 p11 p146 p281 p244 p588 p24 p576 p194 p241 p535 p384 p93 p513 } a31 {p102 p306 p255 p518 p406 p569 p520 p237 p588 p285 p195 p534 p537 p93 p46 }) ({p612 p179 p32 p374 p615 p592 p245 } a51 {p526 p614 p374 p256 p183 p18 p593 }) ({p550 p576 p11 p448 p387 } a31 {p574 p553 p534 p569 p46 }) ({p551 p161 p517 p219 p17 p579 p115 } a20 {p176 p53 p516 p217 p96 p537 p423 p609 }) ({p253 p553 p432 p139 p433 p342 p346 p316 p17 p441 p495 p322 p477 p574 p503 p119 p93 } a20 {p253 p53 p553 p137 p432 p433 p342 p346 p316 p441 p495 p322 p477 p574 p503 p38 p93 }) ({p253 p553 p432 p433 p342 p11 p64 p346 p441 p495 p574 p503 p34 p124 p95 p93 } a31 {p253 p553 p432 p433 p342 p142 p62 p346 p317 p69 p441 p495 p574 p503 p504 p479 p93 p46 }) ({p550 p554 p582 p10 p11 p319 p244 p589 p24 p194 p384 p481 p385 p513 p48 p134 p275 p459 p146 p281 p576 p241 p535 p355 p93 } a31 {p102 p306 p552 p255 p583 p518 p13 p458 p406 p569 p520 p237 p588 p416 p285 p195 p534 p356 p537 p93 p483 p46 }) ({p526 p11 p377 } a31 {p612 p599 p377 p46 }) ({p7 } a41 {p20 }) ({p102 p581 p596 p312 p255 p406 p520 p17 p588 p464 p193 p90 p247 p511 } a20 {p53 p254 p105 p554 p312 p582 p405 p519 p586 p608 p281 p244 p24 p464 p194 p513 }) ({p352 p17 } a20 {p53 p348 p495 }) ({p253 p432 p508 p433 p11 p363 p441 p322 p324 p476 p196 p578 p480 p138 p140 p342 p279 p521 p574 p287 p87 p298 p221 p93 p541 p300 p357 } a31 {p358 p547 p253 p432 p470 p433 p318 p441 p324 p591 p382 p121 p197 p46 p341 p342 p348 p522 p150 p72 p461 p501 p574 p240 p290 p536 p93 p303 }) ({p134 p550 p275 p582 p11 p459 p146 p319 p281 p244 p416 p589 p24 p576 p194 p241 p535 p355 p384 p537 p93 p481 p513 } a31 {p102 p306 p552 p255 p583 p518 p458 p406 p569 p520 p237 p588 p416 p285 p195 p534 p356 p537 p93 p483 p46 }) ({p548 p253 p432 p433 p342 p344 p11 p113 p441 p574 p330 p93 p131 } a31 {p574 p253 p432 p403 p433 p342 p441 p567 p93 p467 p168 p46 }) ({p503 p32 p352 p318 p149 p249 } a51 {p298 p149 p321 p495 p18 p482 }) ({p547 p135 p432 p342 p433 p569 p17 p441 p150 p575 p285 p241 p382 p534 p93 } a20 {p134 p550 p53 p138 p432 p508 p342 p433 p146 p441 p280 p576 p287 p241 p120 p384 p450 p93 }) ({p253 p553 p432 p433 p342 p471 p11 p346 p441 p495 p574 p503 p124 p95 p93 p302 } a31 {p310 p253 p553 p432 p433 p342 p142 p346 p317 p69 p441 p495 p574 p478 p503 p504 p93 p302 p46 }) ({p11 p98 p301 } a31 {p98 p301 p46 }) ({p572 p135 p561 p340 p32 p433 p150 p475 } a51 {p572 p138 p340 p433 p120 p149 p18 p280 p130 }) ({p574 p432 p403 p433 p342 p557 p17 p441 p512 p567 p93 p242 } a20 {p568 p252 p53 p432 p433 p342 p113 p441 p574 p330 p93 p545 p131 }) ({p547 p135 p432 p342 p433 p569 p17 p441 p150 p575 p534 p384 p93 } a20 {p134 p550 p53 p138 p432 p508 p342 p433 p146 p441 p280 p576 p120 p450 p384 p93 }) ({p17 p152 p100 } a20 {p155 p53 p229 p93 p212 p587 }) ({p306 p134 p554 p181 p345 p11 p438 p409 p231 p462 p576 p447 p293 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p452 p220 p537 p93 p299 p580 p46 }) ({p550 p343 p11 p387 p170 } a31 {p553 p346 p534 p332 p46 }) ({p135 p575 p339 p569 p440 p17 p93 p187 p580 p462 } a20 {p134 p53 p345 p438 p280 p462 p190 p576 p82 p120 p424 p292 p450 p93 }) ({p102 p396 p306 p581 p552 p596 p6 p255 p458 p406 p520 p17 p588 p416 p193 p291 p90 p247 p538 p511 p455 } a20 {p53 p254 p105 p555 p275 p312 p554 p582 p402 p10 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p481 p385 p513 }) ({p306 p134 p181 p345 p11 p438 p228 p462 p576 p447 p537 p93 p513 } a31 {p306 p569 p520 p228 p452 p220 p537 p93 p187 p580 p46 }) ({p0 p312 p603 p228 p520 p409 p17 p523 p608 p418 p390 p618 p511 p220 p93 p127 p171 } a20 {p3 p53 p312 p401 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p93 p513 }) ({p32 p161 p519 p218 p230 p537 p579 p115 } a51 {p516 p217 p165 p511 p537 p18 p171 }) ({p102 p581 p312 p255 p458 p406 p520 p17 p608 p588 p193 p90 p247 p511 p93 p455 } a20 {p53 p254 p105 p312 p582 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p93 p513 }) ({p433 p374 p185 p17 p592 p415 } a20 {p349 p53 p340 p374 p614 p524 p189 p468 }) ({p375 p440 p466 p17 p369 p187 p606 p593 } a20 {p190 p53 p82 p342 p615 p277 p424 p438 p377 p272 }) ({p135 p339 p569 p440 p17 p187 p232 p412 p463 p575 p452 p93 p299 p580 } a20 {p134 p53 p345 p438 p231 p412 p280 p462 p190 p576 p82 p120 p424 p292 p450 p93 p454 p305 }) ({p596 p11 p165 } a31 {p230 p537 p523 p608 p46 }) ({p84 } a26 {p74 }) ({p11 p165 p537 } a31 {p230 p537 p523 p46 }) ({p155 p192 p64 p217 p11 p93 p212 p587 } a31 {p446 p367 p161 p479 p163 p93 p579 p46 }) ({p547 p253 p432 p433 p583 p318 p17 p441 p591 p195 p382 p332 p341 p342 p518 p459 p237 p150 p501 p574 p285 p240 p534 p536 p93 } a20 {p550 p253 p432 p508 p433 p441 p589 p196 p384 p578 p480 p53 p138 p343 p342 p279 p521 p459 p146 p499 p574 p287 p241 p535 p298 p221 p93 }) ({p306 p134 p554 p181 p345 p11 p438 p231 p412 p462 p576 p447 p391 p293 p618 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p134 p550 p275 p554 p582 p11 p459 p146 p319 p281 p244 p416 p589 p24 p576 p194 p241 p535 p355 p384 p93 p481 p513 } a31 {p102 p306 p552 p255 p583 p518 p458 p406 p569 p520 p237 p588 p416 p285 p195 p534 p356 p537 p93 p483 p46 }) ({p253 p432 p508 p433 p11 p363 p441 p322 p476 p196 p578 p480 p485 p138 p140 p342 p279 p521 p497 p574 p158 p287 p87 p298 p221 p93 p541 p300 p357 } a31 {p358 p547 p253 p432 p470 p433 p318 p441 p324 p591 p382 p121 p197 p46 p487 p341 p342 p348 p522 p150 p72 p461 p501 p574 p158 p240 p290 p536 p93 p303 }) ({p252 p433 p516 p11 p93 p524 p189 p468 p609 } a31 {p551 p433 p557 p93 p242 p115 p46 }) ({p548 p253 p553 p432 p433 p342 p17 p441 p321 p495 p574 p93 p168 } a20 {p548 p253 p553 p53 p432 p433 p342 p344 p441 p574 p352 p93 p249 }) ({p358 p253 p553 p432 p470 p433 p364 p17 p441 p322 p478 p121 p197 p487 p56 p342 p142 p346 p522 p495 p72 p498 p574 p503 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p553 p432 p433 p471 p109 p363 p441 p322 p476 p124 p200 p53 p56 p489 p140 p342 p346 p495 p525 p497 p574 p503 p87 p93 p541 p300 }) ({p612 p256 p11 p377 } a31 {p612 p256 p377 p46 }) ({p105 p432 p255 p433 p342 p406 p112 p17 p441 p574 p193 p329 p566 p247 p93 } a20 {p53 p254 p105 p432 p433 p342 p405 p441 p114 p281 p244 p574 p194 p289 p565 p331 p93 }) ({p309 p601 p375 p11 p519 p408 p388 p260 p608 p417 p378 p160 p617 p218 p123 p93 p272 } a31 {p0 p309 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p127 p171 p46 }) ({p137 p11 p352 p316 p149 p249 } a31 {p119 p348 p92 p149 p321 p495 p46 }) ({p253 p553 p432 p433 p342 p471 p11 p346 p109 p317 p441 p495 p574 p503 p83 p124 p93 } a31 {p310 p253 p553 p432 p433 p342 p142 p346 p317 p441 p495 p574 p478 p503 p504 p83 p93 p302 p46 }) ({p190 p254 p405 p86 p11 p519 p425 p272 p608 } a31 {p193 p104 p596 p347 p247 p441 p511 p606 p46 }) ({p596 p406 p558 p520 p511 p17 p595 } a20 {p253 p53 p554 p405 p519 p513 p608 p545 p281 }) ({p11 p92 } a31 {p316 p69 p46 }) ({p477 p137 p561 p11 p352 p316 p249 } a31 {p435 p119 p348 p92 p149 p321 p495 p46 }) ({p520 p165 p511 p17 p220 p608 p171 } a20 {p53 p447 p181 p519 p218 p230 p513 p608 }) ({p306 p134 p550 p582 p11 p458 p146 p281 p244 p589 p24 p576 p194 p241 p535 p384 p537 p93 p513 } a31 {p102 p306 p255 p583 p518 p406 p458 p569 p520 p237 p588 p285 p195 p534 p537 p93 p46 }) ({p463 p135 p575 p339 p569 p440 p452 p17 p231 p93 p187 p580 } a20 {p134 p53 p345 p438 p231 p280 p462 p190 p576 p82 p120 p424 p292 p450 p93 p454 }) ({p432 p433 p316 p17 p441 p322 p188 p444 p192 p383 p340 p204 p342 p343 p60 p516 p344 p345 p346 p64 p519 p210 p460 p532 p217 p218 p93 p252 p548 p253 p550 p104 p553 p254 p411 p476 p477 p270 p271 p565 p568 p137 p140 p495 p572 p574 p503 p576 p614 p615 } a20 {p432 p433 p316 p441 p322 p188 p444 p192 p383 p53 p340 p204 p342 p343 p60 p516 p344 p345 p346 p64 p519 p210 p460 p532 p217 p218 p93 p252 p548 p253 p550 p104 p553 p254 p411 p476 p477 p270 p271 p565 p568 p137 p140 p495 p572 p574 p503 p576 p614 p615 }) ({p138 p432 p508 p342 p433 p11 p521 p441 p280 p461 p476 p287 p87 p196 p120 p565 p450 p578 p221 p93 p541 p300 } a31 {p547 p135 p432 p470 p342 p433 p112 p522 p441 p150 p72 p461 p575 p591 p240 p290 p329 p382 p197 p536 p93 p46 }) ({p325 p574 p253 p432 p433 p342 p344 p11 p330 p113 p441 p93 } a31 {p574 p310 p253 p432 p433 p342 p441 p567 p93 p474 p168 p46 }) ({p253 p553 p139 p432 p433 p342 p435 p346 p316 p17 p441 p495 p474 p574 p503 p119 p93 } a20 {p253 p553 p53 p137 p432 p433 p342 p346 p316 p441 p495 p325 p477 p574 p503 p38 p93 }) ({p568 p252 p349 p11 p524 p189 p475 } a31 {p433 p557 p347 p512 p242 p130 p46 }) ({p135 p339 p569 p440 p17 p187 p232 p607 p414 p463 p575 p419 p613 p452 p393 p93 p299 p580 } a20 {p134 p53 p345 p438 p231 p412 p280 p462 p190 p419 p576 p590 p82 p120 p424 p292 p450 p620 p93 p454 p395 p305 }) ({p596 p312 p390 p617 p228 p520 p409 p17 p511 p220 p523 p171 } a20 {p53 p554 p312 p181 p519 p408 p608 p447 p391 p617 p293 p218 p513 }) ({p190 p254 p405 p86 p11 p120 p565 p425 p280 } a31 {p135 p193 p104 p329 p112 p347 p247 p441 p46 }) ({p547 p253 p432 p433 p583 p318 p17 p441 p324 p591 p195 p382 p332 p483 p341 p342 p518 p237 p150 p461 p501 p574 p154 p285 p240 p534 p536 p356 p93 } a20 {p550 p253 p432 p508 p433 p319 p441 p589 p196 p384 p578 p480 p485 p53 p138 p343 p342 p279 p521 p459 p146 p499 p574 p154 p287 p241 p535 p298 p221 p93 p357 }) ({p253 p550 p553 p254 p432 p433 p17 p441 p476 p192 p270 p479 p565 p342 p343 p345 p346 p519 p495 p574 p503 p576 p614 p615 p217 p218 p93 } a20 {p253 p550 p553 p254 p432 p433 p441 p476 p192 p270 p565 p53 p342 p343 p64 p345 p346 p519 p495 p574 p503 p576 p614 p615 p217 p218 p93 }) ({p310 p140 p433 p403 p32 p119 p69 p149 p537 p495 p130 } a51 {p310 p137 p433 p403 p121 p69 p149 p537 p18 p495 p130 }) ({p308 p339 p437 p377 p440 p17 p187 p606 p443 p463 p192 p452 p580 p593 } a20 {p308 p53 p345 p438 p377 p462 p190 p445 p378 p192 p82 p615 p424 p292 p454 p272 }) ({p233 p155 p270 p32 p533 p411 p606 p212 p468 } a51 {p264 p160 p271 p386 p18 p272 }) ({p526 p479 p375 p256 p183 p533 p369 p17 p606 p593 } a20 {p612 p53 p160 p615 p277 p64 p377 p388 p260 p272 }) ({p253 p553 p432 p470 p433 p342 p142 p346 p17 p441 p495 p322 p574 p478 p503 p121 p93 p300 } a20 {p253 p553 p53 p432 p140 p433 p342 p471 p346 p441 p495 p322 p476 p574 p503 p124 p93 p300 }) ({p252 p349 p516 p11 p524 p189 p468 p609 } a31 {p551 p433 p557 p347 p242 p115 p46 }) ({p20 } a46 {p21 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p317 p441 p366 p124 p200 p489 p58 p342 p346 p210 p495 p525 p500 p574 p503 p532 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p491 p346 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p253 p553 p432 p470 p433 p363 p17 p441 p322 p478 p121 p197 p56 p342 p142 p346 p522 p495 p72 p574 p503 p83 p290 p93 p544 p302 } a20 {p253 p506 p553 p432 p433 p471 p109 p363 p441 p322 p476 p124 p200 p53 p56 p140 p342 p346 p495 p525 p574 p503 p87 p93 p541 p300 }) ({p550 p432 p343 p433 p342 p11 p146 p441 p114 p281 p244 p588 p499 p24 p574 p194 p241 p289 p535 p384 p331 p93 } a31 {p102 p432 p255 p433 p342 p518 p406 p237 p441 p588 p574 p285 p195 p534 p566 p93 p332 p46 }) ({p223 p11 p98 } a31 {p282 p301 p98 p46 }) ({p308 p431 p181 p345 p11 p182 p438 p377 p231 p412 p462 p284 p445 p192 p447 p615 p391 p293 p198 p93 } a31 {p0 p437 p376 p228 p409 p187 p213 p191 p286 p163 p452 p393 p220 p369 p93 p299 p580 p304 p593 p46 }) ({p253 p553 p432 p433 p342 p471 p11 p346 p109 p441 p495 p574 p503 p83 p124 p95 p93 } a31 {p310 p253 p553 p432 p433 p342 p142 p346 p317 p69 p441 p495 p574 p478 p503 p504 p83 p93 p302 p46 }) ({p550 p582 p432 p433 p11 p16 p319 p441 p114 p244 p589 p24 p194 p384 p331 p481 p385 p52 p343 p342 p459 p146 p246 p281 p499 p154 p574 p241 p289 p535 p355 p93 } a31 {p102 p552 p432 p255 p433 p583 p406 p441 p19 p588 p416 p267 p195 p566 p332 p483 p46 p50 p342 p518 p458 p145 p237 p574 p285 p534 p356 p93 }) ({p27 } a49 {p8 }) ({p80 p432 p204 p205 p207 } a12 {p432 p204 p205 p207 p40 }) ({p253 p506 p553 p432 p58 p433 p342 p471 p11 p346 p210 p109 p317 p364 p441 p495 p525 p574 p503 p532 p124 p93 p200 } a31 {p310 p253 p553 p432 p58 p433 p342 p142 p346 p317 p364 p441 p495 p527 p574 p478 p503 p504 p83 p93 p544 p302 p201 p46 }) ({p547 p253 p341 p432 p433 p342 p518 p318 p17 p441 p237 p150 p589 p501 p574 p285 p240 p195 p382 p534 p536 p93 p332 } a20 {p550 p253 p432 p508 p433 p441 p589 p196 p384 p480 p53 p138 p343 p342 p279 p521 p146 p499 p574 p287 p241 p535 p298 p221 p93 }) ({p306 p134 p181 p345 p11 p438 p605 p231 p412 p462 p418 p576 p447 p391 p293 p620 p537 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p434 p449 p17 } a20 {p444 p53 p447 p431 p460 }) ({p253 p138 p432 p140 p508 p433 p342 p11 p279 p441 p322 p476 p574 p382 p298 p93 p480 } a31 {p547 p253 p341 p432 p470 p433 p342 p348 p318 p441 p150 p501 p574 p382 p121 p93 p303 p46 }) ({p306 p134 p554 p181 p345 p11 p438 p228 p462 p576 p447 p93 p513 } a31 {p306 p569 p520 p228 p452 p220 p537 p93 p187 p580 p46 }) ({p135 p339 p569 p440 p17 p187 p232 p414 p463 p575 p620 p452 p393 p93 p299 p580 } a20 {p134 p53 p345 p438 p231 p412 p280 p462 p190 p576 p82 p120 p424 p292 p450 p620 p93 p454 p395 p305 }) ({p368 p11 p229 p93 p301 } a31 {p368 p229 p93 p301 p46 }) ({p572 p252 p548 p310 p340 p433 p32 p142 p344 p38 p495 } a51 {p572 p252 p548 p310 p139 p340 p433 p344 p124 p18 p495 }) ({p253 p553 p432 p433 p342 p62 p11 p346 p316 p317 p441 p495 p322 p574 p478 p503 p124 p93 } a31 {p253 p553 p432 p433 p342 p142 p62 p346 p316 p317 p441 p495 p322 p574 p478 p503 p504 p93 p46 }) ({p254 p105 p555 p312 p277 p405 p11 p519 p586 p608 p414 p190 p464 p378 p82 p288 p424 p292 p93 p454 p272 p305 } a31 {p273 p309 p581 p596 p339 p375 p347 p440 p232 p606 p414 p443 p463 p193 p291 p90 p247 p538 p511 p93 p455 p46 }) ({p547 p135 p432 p342 p433 p583 p518 p569 p459 p237 p17 p441 p150 p575 p285 p591 p240 p195 p382 p534 p536 p93 } a20 {p550 p432 p508 p433 p441 p589 p196 p120 p384 p450 p578 p134 p53 p138 p342 p521 p459 p146 p280 p576 p287 p241 p535 p221 p93 }) ({p306 p134 p550 p554 p582 p11 p458 p146 p281 p244 p589 p24 p576 p194 p241 p535 p384 p93 p513 } a31 {p102 p306 p255 p583 p518 p406 p458 p569 p520 p237 p588 p285 p195 p534 p537 p93 p46 }) ({p476 p140 p32 p435 p119 p92 p322 } a51 {p477 p137 p470 p316 p121 p18 p303 }) ({p253 p553 p360 p432 p433 p342 p491 p62 p208 p346 p365 p17 p441 p495 p322 p527 p502 p574 p503 p31 p540 p93 p201 } a20 {p253 p553 p53 p432 p433 p60 p342 p143 p346 p210 p441 p366 p495 p322 p500 p574 p327 p503 p532 p465 p34 p505 p93 }) ({p367 p32 p161 p218 p230 p211 p301 p579 } a51 {p223 p217 p368 p165 p18 p171 }) ({p253 p550 p553 p56 p432 p341 p433 p342 p210 p318 p17 p441 p501 p574 p532 p93 p332 } a20 {p253 p550 p553 p53 p56 p432 p433 p343 p342 p279 p210 p441 p499 p574 p532 p298 p93 p480 }) ({p367 p163 p164 p17 p98 p594 } a20 {p192 p53 p93 p167 p510 p323 }) ({p601 p375 p11 p519 p408 p388 p260 p608 p443 p160 p617 p218 p93 p272 } a31 {p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p171 p46 }) ({p596 p312 p228 p520 p408 p511 p220 p17 p523 p171 } a20 {p53 p554 p312 p447 p181 p519 p293 p408 p218 p608 p513 }) ({p367 p161 p479 p163 p219 p93 p17 p579 } a20 {p176 p192 p53 p64 p217 p93 p510 p423 }) ({p312 p601 p277 p11 p519 p408 p388 p260 p608 p417 p378 p160 p288 p617 p218 p123 p93 p272 } a31 {p0 p273 p309 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p291 p533 p511 p93 p127 p171 p46 }) ({p306 p0 p603 p228 p520 p409 p17 p523 p608 p418 p390 p291 p618 p511 p220 p93 p127 p171 } a20 {p3 p53 p275 p312 p401 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p93 p513 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p441 p366 p124 p200 p489 p58 p342 p346 p210 p495 p525 p500 p574 p503 p532 p95 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p491 p346 p69 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p309 p599 p256 p183 p437 p377 p17 p606 p443 p286 p616 p533 p250 p593 } a20 {p308 p53 p601 p377 p388 p260 p445 p378 p160 p288 p615 p123 p272 }) ({p432 p508 p433 p11 p363 p441 p476 p196 p120 p565 p450 p578 p485 p50 p138 p342 p521 p497 p280 p287 p87 p221 p93 p541 p300 p357 } a31 {p358 p547 p432 p470 p433 p112 p441 p324 p591 p329 p382 p197 p46 p50 p135 p487 p342 p522 p150 p72 p461 p575 p240 p290 p536 p93 }) ({p342 p276 p32 p615 p438 p377 p185 p229 p592 p415 } a51 {p340 p614 p374 p229 p466 p369 p187 p18 p593 }) ({p253 p506 p553 p432 p58 p433 p342 p471 p11 p346 p210 p109 p364 p441 p495 p525 p574 p503 p532 p124 p95 p93 p200 } a31 {p310 p253 p553 p432 p433 p317 p364 p441 p478 p201 p46 p58 p342 p142 p346 p69 p495 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p25 } a48 {p28 }) ({p253 p32 p433 p405 p557 p565 p512 p537 p242 p130 } a51 {p568 p252 p433 p329 p558 p112 p537 p18 p595 p130 }) ({p23 } a47 {p32 }) ({p445 p431 p447 p181 p615 p345 p11 p438 p377 p93 p462 p213 } a31 {p437 p376 p452 p220 p369 p93 p187 p580 p593 p46 p213 }) ({p11 p303 } a31 {p69 p322 p46 }) ({p253 p506 p54 p432 p343 p433 p342 p471 p11 p210 p109 p441 p114 p499 p574 p289 p331 p93 p200 p544 } a31 {p310 p253 p54 p432 p433 p342 p441 p574 p478 p83 p566 p93 p332 p302 p544 p201 p46 }) ({p32 p383 p406 p520 p96 p131 } a51 {p283 p403 p517 p18 p513 }) ({p102 p581 p432 p255 p433 p342 p406 p112 p17 p441 p588 p574 p464 p193 p329 p90 p566 p247 p93 } a20 {p53 p254 p105 p582 p432 p433 p342 p405 p441 p114 p586 p281 p244 p24 p574 p464 p194 p289 p565 p331 p93 }) ({p155 p32 p533 p411 p212 p587 p188 } a51 {p153 p172 p160 p619 p386 p18 }) ({p547 p253 p553 p432 p138 p140 p433 p342 p11 p441 p322 p476 p574 p298 p93 p480 } a31 {p547 p253 p553 p432 p470 p433 p342 p348 p318 p441 p150 p501 p574 p121 p93 p303 p46 }) ({p134 p3 p275 p401 p181 p345 p11 p438 p605 p231 p412 p462 p419 p576 p447 p391 p293 p620 p537 p93 p513 } a31 {p306 p6 p404 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p568 p477 p574 p561 p432 p342 p433 p11 p441 p93 p475 } a31 {p574 p432 p342 p433 p435 p149 p441 p512 p93 p130 p46 }) ({p599 p479 p616 p375 p256 p183 p533 p369 p17 p606 p593 } a20 {p53 p160 p601 p615 p277 p64 p377 p388 p260 p272 }) ({p153 p175 p160 p11 p408 p218 p388 p211 p93 } a31 {p282 p390 p446 p178 p368 p533 p93 p523 p171 p46 }) ({p547 p135 p432 p342 p433 p518 p569 p237 p17 p441 p150 p589 p575 p285 p240 p195 p382 p534 p536 p93 } a20 {p134 p550 p53 p138 p432 p508 p342 p433 p521 p146 p441 p280 p589 p576 p287 p241 p196 p120 p535 p384 p450 p221 p93 }) ({p526 p11 p369 } a31 {p273 p612 p599 p377 p46 }) ({p359 p253 p506 p432 p433 p471 p11 p109 p441 p366 p114 p22 p331 p200 p56 p489 p343 p342 p210 p525 p500 p499 p574 p532 p289 p93 } a31 {p310 p253 p54 p360 p432 p433 p342 p491 p364 p441 p498 p527 p26 p574 p478 p83 p566 p93 p332 p544 p302 p201 p46 }) ({p104 p349 p32 p441 p606 p524 p189 p468 } a51 {p190 p433 p86 p425 p18 p272 }) ({p349 p17 } a20 {p53 p433 p347 }) ({p550 p582 p432 p433 p343 p342 p11 p458 p146 p441 p114 p244 p281 p589 p24 p499 p574 p194 p241 p289 p384 p535 p331 p93 } a31 {p102 p432 p255 p433 p342 p583 p518 p406 p458 p237 p441 p588 p574 p285 p195 p534 p566 p93 p332 p46 }) ({p329 p406 p558 p112 p566 p17 p595 } a20 {p253 p53 p289 p405 p565 p331 p114 p545 p281 }) ({p596 p312 p603 p228 p520 p409 p17 p523 p417 p390 p618 p511 p220 p171 } a20 {p53 p554 p312 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p513 }) ({p306 p134 p554 p181 p345 p11 p438 p605 p231 p412 p462 p418 p576 p447 p391 p293 p620 p93 p513 } a31 {p306 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p403 p517 p557 p17 p93 p242 p115 p609 } a20 {p252 p53 p516 p96 p93 p545 p131 p609 }) ({p572 p548 p11 p96 p93 p131 } a31 {p403 p517 p93 p320 p467 p46 }) ({p358 p253 p432 p470 p433 p112 p364 p17 p441 p478 p329 p197 p566 p52 p487 p342 p522 p72 p498 p574 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p432 p433 p471 p109 p363 p441 p114 p476 p565 p331 p200 p52 p53 p489 p342 p525 p497 p574 p289 p87 p93 p541 p300 }) ({p254 p11 p558 p537 p595 } a31 {p253 p193 p247 p537 p46 }) ({p283 p17 } a20 {p53 p383 p281 }) ({p253 p553 p137 p432 p433 p342 p11 p316 p441 p495 p477 p574 p561 p93 p249 } a31 {p253 p553 p432 p433 p342 p435 p441 p149 p321 p495 p574 p119 p92 p93 p46 }) ({p253 p553 p432 p433 p342 p60 p142 p346 p316 p17 p441 p495 p322 p476 p574 p503 p121 p93 } a20 {p253 p53 p553 p432 p433 p342 p60 p140 p346 p316 p441 p495 p322 p476 p574 p503 p93 p124 }) ({p253 p138 p432 p140 p508 p433 p342 p11 p279 p441 p322 p476 p574 p240 p287 p298 p93 p300 p480 } a31 {p547 p253 p341 p432 p470 p433 p342 p348 p318 p441 p150 p501 p574 p240 p290 p382 p121 p93 p303 p46 }) ({p596 p254 p11 p558 p595 } a31 {p253 p193 p247 p537 p608 p46 }) ({p253 p553 p432 p138 p140 p433 p342 p11 p441 p322 p476 p574 p353 p298 p93 } a31 {p253 p553 p432 p470 p433 p342 p348 p318 p441 p150 p496 p574 p121 p93 p303 p46 }) ({p223 p479 p368 p376 p163 p165 p220 p17 p171 p213 } a20 {p53 p192 p431 p447 p181 p64 p218 p230 p211 p198 p301 }) ({p8 } a42 {p77 }) ({p306 p134 p550 p576 p255 p11 p384 p146 p537 p93 p513 p281 } a31 {p306 p285 p255 p406 p534 p569 p520 p537 p93 p46 }) ({p254 p105 p339 p277 p405 p11 p519 p608 p443 p190 p82 p424 p93 p272 } a31 {p273 p596 p339 p375 p347 p440 p606 p443 p193 p90 p247 p511 p93 p46 }) ({p253 p553 p432 p140 p60 p433 p342 p143 p11 p279 p441 p322 p574 p327 p29 p465 p505 p298 p93 p480 } a31 {p253 p553 p58 p432 p341 p433 p342 p208 p348 p318 p365 p441 p502 p501 p574 p31 p121 p540 p93 p303 p545 p46 }) ({p264 p386 p17 } a20 {p234 p53 p270 p388 p411 }) ({p253 p553 p56 p432 p341 p433 p342 p208 p318 p17 p441 p366 p527 p501 p574 p540 p93 p332 p201 } a20 {p253 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p366 p499 p574 p532 p505 p298 p93 p480 }) ({p273 p254 p105 p405 p11 p519 p586 p608 p443 p190 p82 p424 p292 p93 p272 } a31 {p273 p581 p596 p339 p347 p440 p606 p443 p193 p90 p247 p511 p93 p46 }) ({p547 p253 p341 p432 p433 p342 p318 p17 p441 p237 p150 p501 p574 p285 p240 p195 p382 p534 p535 p93 p332 } a20 {p550 p253 p53 p138 p432 p343 p508 p433 p342 p279 p146 p441 p499 p574 p287 p241 p196 p384 p535 p298 p221 p93 p480 }) ({p550 p552 p582 p432 p433 p11 p441 p114 p244 p589 p24 p194 p384 p331 p343 p342 p459 p146 p281 p499 p574 p241 p289 p535 p355 p93 } a31 {p102 p552 p432 p255 p433 p342 p583 p518 p458 p406 p237 p441 p588 p574 p285 p195 p534 p566 p356 p93 p332 p46 }) ({p253 p432 p433 p342 p149 p17 p441 p321 p495 p574 p93 p467 p168 } a20 {p548 p253 p53 p432 p433 p342 p344 p441 p574 p561 p352 p93 p249 }) ({p253 p553 p137 p432 p433 p342 p11 p346 p316 p441 p149 p495 p574 p503 p93 p249 } a31 {p253 p553 p432 p433 p342 p346 p441 p149 p321 p495 p574 p503 p119 p92 p93 p46 }) ({p273 p160 p11 p519 p386 p218 p229 p272 p608 } a31 {p273 p596 p446 p533 p229 p411 p511 p606 p523 p171 p46 }) ({p43 } a0 {p5 }) ({p253 p553 p432 p433 p342 p343 p60 p208 p346 p316 p17 p441 p366 p495 p322 p527 p574 p503 p540 p93 p201 } a20 {p253 p53 p553 p432 p433 p342 p343 p60 p143 p346 p210 p316 p441 p366 p495 p322 p574 p503 p532 p505 p93 }) ({p104 p32 p433 p606 p524 p189 p468 } a51 {p190 p433 p86 p18 p272 }) ({p612 p256 p11 p369 } a31 {p273 p612 p256 p377 p46 }) ({p273 p345 p11 p466 p593 } a31 {p273 p342 p580 p593 p46 }) ({p0 p309 p339 p437 p377 p440 p17 p187 p232 p606 p414 p443 p463 p286 p163 p452 p393 p299 p580 p593 } a20 {p308 p3 p53 p345 p438 p377 p231 p412 p462 p190 p445 p378 p192 p82 p288 p615 p424 p292 p454 p272 p395 p305 }) ({p135 p104 p349 p32 p441 p524 p189 p475 } a51 {p190 p433 p86 p120 p425 p18 p280 p130 }) ({p102 p312 p255 p406 p520 p17 p608 p586 p193 p90 p247 p511 p93 } a20 {p53 p254 p105 p312 p405 p519 p608 p586 p281 p244 p24 p194 p93 p513 }) ({p134 p3 p275 p554 p401 p181 p345 p11 p438 p605 p231 p412 p462 p419 p576 p447 p391 p293 p620 p93 p513 } a31 {p306 p6 p404 p569 p228 p520 p409 p187 p607 p418 p618 p452 p393 p220 p537 p93 p299 p580 p46 }) ({p253 p553 p56 p432 p470 p433 p342 p142 p346 p17 p441 p495 p322 p72 p574 p478 p503 p83 p290 p121 p197 p93 p541 p302 } a20 {p253 p506 p553 p53 p56 p432 p433 p140 p342 p471 p346 p109 p441 p495 p322 p476 p574 p503 p87 p124 p93 p200 p300 p541 }) ({p136 p367 p32 p164 p211 p301 p594 } a51 {p223 p368 p162 p18 p222 }) ({p553 p343 p11 p170 } a31 {p553 p346 p332 p46 }) ({p31 p142 p62 p121 p317 p17 p303 } a20 {p53 p140 p60 p34 p124 p95 p322 }) ({p309 p339 p375 p437 p440 p17 p187 p232 p606 p443 p463 p192 p286 p452 p369 p299 p580 p593 } a20 {p308 p53 p277 p345 p438 p377 p231 p462 p190 p445 p378 p192 p82 p288 p615 p424 p292 p454 p272 p305 }) ({p572 p252 p340 p32 p433 p330 p383 p406 p566 p113 p131 } a51 {p572 p283 p252 p340 p289 p403 p433 p331 p567 p18 p114 }) ({p174 p133 p445 p431 p615 p11 p377 p392 p93 p213 } a31 {p133 p599 p256 p183 p437 p376 p369 p93 p250 p213 p593 p46 }) ({p3 p254 p105 p555 p312 p402 p277 p405 p11 p519 p586 p608 p190 p464 p378 p82 p288 p424 p292 p93 p454 p272 p395 p305 } a31 {p396 p273 p309 p581 p596 p339 p6 p375 p347 p440 p232 p606 p414 p443 p463 p193 p291 p90 p247 p511 p538 p93 p455 p46 }) ({p273 p309 p254 p105 p405 p11 p519 p586 p608 p190 p464 p378 p82 p424 p292 p93 p454 p272 } a31 {p273 p309 p581 p596 p339 p347 p440 p606 p443 p463 p193 p90 p247 p511 p93 p455 p46 }) ({p306 p134 p550 p576 p554 p255 p11 p384 p146 p93 p513 p281 } a31 {p306 p285 p255 p406 p534 p569 p520 p537 p93 p46 }) ({p358 p487 p56 p470 p142 p317 p364 p522 p17 p72 p498 p478 p83 p290 p121 p197 p544 p303 p302 } a20 {p359 p506 p53 p56 p489 p140 p471 p109 p363 p525 p497 p322 p476 p87 p124 p95 p200 p541 p300 }) ({p342 p11 p229 p369 } a31 {p273 p342 p377 p229 p46 }) ({p138 p432 p508 p342 p433 p11 p441 p280 p476 p287 p87 p196 p120 p565 p450 p536 p221 p93 p300 } a31 {p547 p135 p432 p470 p342 p433 p112 p441 p150 p72 p575 p240 p290 p329 p382 p197 p536 p93 p46 }) ({p308 p599 p375 p256 p183 p437 p17 p606 p443 p616 p533 p369 p250 p593 } a20 {p308 p53 p601 p277 p377 p388 p260 p445 p378 p160 p615 p123 p272 }) ({p283 p134 p550 p576 p11 p146 p513 } a31 {p383 p406 p534 p569 p520 p46 }) ({p253 p553 p360 p56 p432 p341 p433 p342 p208 p318 p365 p17 p441 p527 p500 p501 p574 p540 p93 p332 p201 } a20 {p253 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p366 p499 p500 p574 p327 p532 p505 p298 p93 p480 }) ({p253 p52 p432 p470 p433 p342 p112 p363 p522 p17 p441 p72 p574 p478 p83 p290 p329 p197 p566 p93 p544 p302 } a20 {p253 p52 p506 p53 p432 p433 p342 p471 p109 p363 p441 p525 p114 p476 p574 p289 p87 p565 p331 p93 p200 p541 p300 }) ({p253 p432 p508 p433 p11 p441 p322 p476 p196 p578 p480 p138 p140 p342 p279 p521 p461 p574 p287 p87 p298 p221 p93 p541 p300 } a31 {p547 p253 p432 p470 p433 p318 p441 p591 p382 p121 p197 p46 p341 p342 p348 p522 p150 p72 p461 p501 p574 p240 p290 p536 p93 p303 }) ({p139 p435 p119 p92 p17 p474 } a20 {p325 p477 p53 p137 p38 p316 p69 }) ({p253 p506 p553 p432 p58 p433 p342 p471 p11 p346 p210 p109 p317 p441 p495 p574 p503 p124 p93 p200 p544 } a31 {p310 p253 p553 p432 p58 p433 p342 p142 p346 p317 p441 p495 p574 p478 p503 p504 p83 p93 p302 p544 p201 p46 }) ({p138 p432 p508 p342 p433 p11 p521 p441 p280 p476 p591 p287 p87 p196 p120 p565 p450 p221 p93 p541 p300 } a31 {p547 p135 p432 p470 p342 p433 p112 p522 p441 p150 p72 p575 p591 p240 p290 p329 p382 p197 p536 p93 p46 }) ({p547 p135 p432 p342 p433 p569 p237 p17 p441 p150 p575 p285 p240 p195 p382 p534 p535 p93 } a20 {p134 p550 p53 p138 p432 p508 p342 p433 p146 p441 p280 p576 p287 p241 p196 p120 p384 p450 p535 p221 p93 }) ({p134 p574 p553 p32 p433 p146 p537 p320 p467 } a51 {p572 p548 p433 p448 p387 p537 p18 }) ({p190 p254 p405 p11 p86 p120 p565 p441 p280 } a31 {p135 p193 p104 p329 p112 p247 p441 p46 }) ({p2 } a21 {p81 }) ({p359 p253 p506 p54 p432 p343 p433 p342 p471 p11 p210 p109 p441 p366 p525 p114 p498 p499 p574 p532 p289 p331 p93 p200 } a31 {p310 p253 p54 p360 p432 p433 p342 p364 p441 p498 p527 p574 p478 p83 p566 p93 p332 p544 p302 p201 p46 }) ({p312 p601 p375 p11 p519 p408 p388 p260 p608 p417 p378 p160 p288 p617 p218 p123 p93 p272 } a31 {p0 p309 p596 p375 p603 p229 p606 p523 p443 p390 p446 p616 p291 p533 p511 p93 p127 p171 p46 }) ({p17 p496 p482 } a20 {p503 p53 p353 }) ({p358 p253 p553 p432 p470 p433 p364 p17 p441 p322 p26 p478 p121 p197 p487 p58 p342 p142 p346 p522 p495 p72 p498 p574 p503 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p553 p432 p433 p471 p109 p363 p441 p322 p476 p29 p124 p200 p53 p56 p489 p140 p342 p346 p495 p525 p497 p574 p503 p87 p93 p541 p300 }) ({p47 } a19 {p2 }) ({p253 p432 p470 p433 p342 p112 p17 p441 p574 p478 p329 p566 p93 p300 } a20 {p253 p53 p432 p433 p342 p471 p441 p114 p476 p574 p289 p565 p331 p93 p300 }) ({p572 p325 p252 p478 p340 p32 p433 p330 p566 p113 } a51 {p572 p252 p340 p289 p433 p471 p331 p567 p18 p114 p474 }) ({p102 p306 p581 p552 p255 p402 p458 p406 p520 p17 p608 p588 p193 p291 p90 p247 p538 p511 p93 p455 } a20 {p53 p254 p105 p555 p275 p312 p582 p402 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p93 p481 p513 }) ({p254 p105 p555 p402 p10 p405 p257 p11 p586 p190 p265 p590 p120 p565 p450 p454 p48 p280 p464 p82 p424 p292 p93 p395 p305 } a31 {p396 p135 p581 p339 p13 p112 p259 p347 p440 p232 p414 p413 p463 p575 p193 p613 p329 p90 p247 p538 p93 p455 p46 }) ({p253 p553 p432 p433 p403 p11 p436 p406 p316 p230 p440 p318 p441 p321 p474 p322 p443 p478 p566 p567 p130 p133 p135 p339 p139 p342 p143 p62 p142 p517 p346 p520 p149 p150 p495 p213 p574 p503 p219 p537 p93 p220 p540 } a31 {p253 p553 p432 p433 p403 p436 p406 p316 p230 p440 p318 p441 p321 p474 p322 p443 p478 p566 p567 p46 p130 p133 p135 p339 p139 p342 p62 p142 p208 p517 p346 p520 p149 p150 p495 p213 p574 p503 p219 p537 p93 p220 p540 p545 }) ({p572 p252 p548 p561 p340 p433 p32 p318 p150 p495 p249 } a51 {p572 p252 p548 p138 p340 p433 p149 p298 p321 p18 p495 }) ({p273 p446 p11 p229 p592 } a31 {p273 p446 p229 p592 p46 }) ({p277 p11 p519 p408 p388 p260 p608 p443 p160 p616 p218 p93 p272 } a31 {p273 p596 p375 p229 p606 p523 p443 p390 p446 p616 p533 p511 p93 p171 p46 }) ({p42 } a54 {p43 }) ({p264 p160 p11 p519 p386 p218 p272 p608 } a31 {p596 p446 p270 p533 p229 p411 p511 p606 p523 p171 p46 }) ({p135 p448 p387 p17 p150 } a20 {p134 p574 p553 p53 p138 p120 p146 p280 }) ({p102 p581 p596 p312 p255 p458 p406 p520 p17 p588 p193 p90 p247 p511 p455 } a20 {p53 p254 p105 p554 p312 p582 p405 p519 p586 p608 p281 p244 p24 p464 p194 p355 p513 }) ({p254 p105 p339 p342 p405 p11 p280 p190 p82 p120 p424 p565 p93 } a31 {p135 p193 p339 p342 p329 p112 p347 p90 p440 p247 p93 p46 }) ({p432 p508 p433 p11 p363 p16 p441 p476 p196 p120 p565 p450 p578 p485 p52 p138 p342 p521 p497 p280 p287 p87 p221 p93 p541 p300 p357 } a31 {p358 p547 p432 p470 p433 p112 p441 p19 p324 p591 p329 p382 p197 p46 p50 p135 p487 p342 p522 p150 p72 p461 p575 p240 p290 p536 p93 }) ({p223 p11 p165 } a31 {p282 p230 p523 p301 p46 }) ({p431 p181 p345 p11 p438 p377 p462 p445 p447 p615 p198 p93 p304 } a31 {p437 p376 p452 p220 p369 p93 p187 p213 p580 p593 p46 p304 }) ({p155 p516 p217 p11 p229 p93 p212 p468 p609 } a31 {p551 p446 p161 p229 p93 p579 p115 p46 }) ({p253 p506 p553 p432 p58 p433 p342 p471 p11 p346 p210 p109 p441 p495 p574 p503 p124 p95 p93 p200 p544 } a31 {p310 p253 p553 p432 p58 p433 p342 p142 p346 p317 p69 p441 p495 p574 p478 p503 p504 p83 p93 p302 p544 p201 p46 }) ({p174 p445 p431 p117 p615 p11 p377 p392 p198 p93 p304 } a31 {p133 p599 p256 p183 p437 p376 p213 p369 p93 p250 p593 p46 p304 }) ({p30 } a15 {p45 }) ({p45 } a18 {p17 }) ({p28 } a50 {p79 }) ({p477 p139 p119 p92 p17 } a20 {p477 p53 p137 p38 p316 p69 }) ({p190 p254 p105 p350 p82 p405 p11 p519 p93 p272 p608 } a31 {p193 p596 p436 p90 p347 p247 p511 p93 p606 p46 }) ({p306 p102 p134 p550 p11 p146 p281 p244 p576 p194 p241 p384 p537 p93 p513 } a31 {p306 p102 p255 p406 p569 p520 p237 p285 p195 p534 p537 p93 p46 }) ({p33 } a23 {p36 }) ({p0 p596 p312 p603 p228 p520 p409 p17 p523 p418 p390 p618 p511 p220 p127 p171 } a20 {p3 p53 p554 p312 p401 p181 p519 p408 p605 p608 p417 p447 p391 p617 p293 p218 p513 }) ({p155 p32 p533 p229 p411 p606 p212 p468 } a51 {p160 p386 p229 p18 p272 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p317 p441 p366 p29 p124 p200 p489 p60 p342 p346 p210 p495 p525 p500 p574 p503 p532 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p31 p201 p46 p58 p342 p142 p491 p346 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p358 p253 p432 p470 p433 p112 p364 p17 p441 p19 p478 p329 p197 p566 p487 p54 p342 p522 p72 p498 p574 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p432 p433 p471 p109 p363 p441 p114 p22 p476 p565 p331 p200 p52 p53 p489 p342 p525 p497 p574 p289 p87 p93 p541 p300 }) ({p551 p11 } a31 {p537 p609 p46 }) ({p253 p553 p360 p432 p433 p342 p343 p60 p208 p346 p316 p17 p441 p365 p495 p322 p527 p500 p574 p503 p540 p93 p201 } a20 {p253 p53 p553 p432 p433 p342 p343 p60 p143 p346 p210 p316 p441 p366 p495 p322 p500 p574 p327 p503 p532 p505 p93 }) ({p253 p553 p432 p470 p433 p342 p142 p346 p17 p441 p495 p322 p574 p478 p503 p290 p87 p121 p93 p302 } a20 {p253 p553 p53 p432 p140 p433 p342 p471 p346 p109 p441 p495 p322 p476 p574 p503 p87 p124 p93 p300 }) ({p574 p253 p432 p433 p342 p435 p17 p441 p512 p567 p93 p474 } a20 {p568 p253 p53 p432 p433 p342 p113 p441 p325 p477 p574 p330 p93 }) ({p406 p558 p520 p17 p511 p608 p595 } a20 {p253 p53 p405 p519 p608 p513 p545 p281 }) ({p253 p553 p432 p433 p342 p143 p62 p11 p346 p316 p318 p441 p365 p495 p322 p574 p503 p505 p93 } a31 {p253 p553 p432 p433 p342 p62 p208 p346 p316 p318 p441 p365 p495 p322 p574 p503 p540 p93 p545 p46 }) ({p56 p470 p142 p317 p363 p522 p17 p72 p478 p83 p290 p121 p197 p544 p303 p302 } a20 {p506 p53 p56 p140 p471 p109 p363 p525 p322 p476 p87 p124 p95 p200 p541 p300 }) ({p253 p52 p432 p470 p433 p342 p112 p17 p441 p72 p574 p478 p83 p290 p329 p197 p566 p93 p541 p302 } a20 {p253 p52 p506 p53 p432 p433 p342 p471 p109 p441 p114 p476 p574 p289 p87 p565 p331 p93 p200 p300 p541 }) ({p276 p11 p245 } a31 {p273 p374 p245 p46 }) ({p192 p11 p152 p100 } a31 {p367 p163 p164 p98 p594 p46 }) ({p253 p432 p508 p433 p11 p363 p110 p441 p322 p22 p476 p196 p578 p480 p485 p56 p138 p140 p342 p279 p521 p497 p574 p287 p87 p298 p221 p93 p541 p300 p357 } a31 {p358 p547 p253 p432 p470 p433 p318 p441 p324 p26 p591 p382 p121 p197 p46 p487 p54 p341 p342 p348 p522 p150 p72 p461 p501 p574 p158 p240 p290 p536 p93 p303 }) ({p35 } a32 {p39 }) ({p193 p312 p105 p255 p406 p520 p247 p17 p511 p93 p608 } a20 {p53 p254 p312 p105 p194 p405 p519 p93 p608 p513 p281 p244 }) ({p501 p553 p318 p17 p170 } a20 {p499 p553 p53 p346 p298 p480 }) ({p253 p553 p432 p433 p342 p143 p62 p11 p346 p316 p318 p441 p495 p322 p574 p502 p327 p503 p505 p93 } a31 {p253 p553 p432 p433 p342 p62 p208 p346 p316 p318 p365 p441 p495 p322 p574 p502 p503 p540 p93 p545 p46 }) ({p223 p133 p368 p162 p376 p163 p17 p98 p222 p213 } a20 {p174 p192 p53 p136 p431 p117 p392 p198 p211 p93 p301 }) ({p445 p192 p339 p377 p440 p17 p187 p606 p580 p593 } a20 {p190 p445 p53 p192 p82 p615 p345 p424 p292 p438 p377 p272 }) ({p282 p133 p368 p162 p376 p163 p17 p98 p304 p222 p213 } a20 {p174 p284 p192 p53 p136 p431 p117 p392 p198 p211 p93 }) ({p503 p561 p32 p352 p318 p249 p150 } a51 {p138 p298 p149 p321 p495 p18 p482 }) ({p476 p140 p433 p403 p32 p435 p119 p316 p149 p537 p495 p130 } a51 {p477 p137 p470 p433 p403 p316 p121 p149 p537 p18 p495 p130 }) ({p36 } a24 {p45 }) ({p306 p102 p134 p550 p554 p11 p146 p281 p244 p576 p194 p241 p384 p93 p513 } a31 {p306 p102 p255 p406 p569 p520 p237 p285 p195 p534 p537 p93 p46 }) ({p551 p403 p517 p557 p17 p242 p115 } a20 {p252 p53 p516 p96 p537 p545 p131 p609 }) ({p478 p470 p142 p121 p317 p17 p300 p303 } a20 {p476 p53 p140 p471 p124 p95 p300 p322 }) ({p444 p176 p32 p376 p220 p460 p510 p423 } a51 {p181 p434 p449 p219 p18 }) ({p253 p553 p360 p56 p432 p341 p433 p342 p491 p208 p318 p365 p17 p441 p527 p502 p501 p574 p540 p93 p332 p201 } a20 {p253 p553 p53 p56 p432 p433 p343 p342 p143 p210 p279 p441 p366 p500 p499 p574 p327 p532 p465 p505 p298 p93 p480 }) ({p359 p253 p506 p553 p432 p433 p471 p11 p109 p441 p366 p29 p124 p200 p489 p60 p342 p346 p210 p495 p525 p500 p574 p503 p532 p95 p93 } a31 {p310 p253 p553 p360 p432 p433 p317 p364 p441 p478 p31 p201 p46 p58 p342 p142 p491 p346 p69 p495 p498 p527 p574 p503 p504 p83 p93 p544 p302 }) ({p253 p553 p432 p58 p140 p433 p342 p143 p11 p279 p441 p322 p574 p502 p327 p505 p298 p93 p480 } a31 {p253 p553 p432 p341 p58 p433 p342 p208 p348 p318 p365 p441 p501 p574 p502 p121 p540 p93 p303 p545 p46 }) ({p254 p105 p405 p11 p280 p586 p463 p190 p82 p120 p424 p292 p565 p450 p93 } a31 {p135 p581 p339 p112 p347 p440 p463 p575 p193 p329 p90 p247 p93 p46 }) ({p444 p32 p376 p167 p510 p323 } a51 {p174 p434 p619 p18 p394 }) ({p273 p160 p11 p519 p408 p218 p229 p388 p93 p608 p272 p443 } a31 {p273 p596 p229 p606 p523 p443 p390 p446 p533 p511 p93 p171 p46 }) ({p40 } a52 {p76 }) ({p65 } a6 {p25 }) ({p136 p32 p152 p188 p100 } a51 {p172 p159 p18 p427 }) ({p432 p433 p316 p17 p441 p322 p188 p444 p192 p383 p201 p340 p342 p343 p60 p516 p344 p208 p345 p346 p64 p519 p460 p532 p217 p218 p93 p252 p548 p253 p550 p104 p553 p254 p411 p476 p477 p270 p271 p565 p568 p137 p140 p495 p572 p574 p503 p576 p614 p615 } a20 {p432 p433 p316 p441 p322 p188 p444 p192 p383 p53 p340 p342 p343 p60 p516 p344 p345 p346 p64 p210 p519 p460 p532 p217 p218 p93 p252 p548 p253 p550 p104 p553 p254 p411 p476 p477 p270 p271 p565 p568 p137 p140 p143 p495 p572 p574 p503 p576 p614 p615 }) ({p550 p582 p432 p433 p11 p319 p441 p114 p244 p416 p589 p24 p194 p384 p331 p481 p343 p342 p459 p146 p281 p499 p574 p241 p289 p535 p355 p93 } a31 {p102 p552 p432 p255 p433 p342 p583 p518 p406 p458 p441 p237 p588 p416 p574 p285 p195 p534 p566 p356 p93 p332 p483 p46 }) ({p550 p582 p432 p433 p11 p319 p441 p114 p244 p589 p24 p267 p194 p384 p331 p481 p385 p343 p342 p459 p146 p281 p499 p574 p241 p289 p535 p355 p93 } a31 {p102 p552 p432 p255 p433 p583 p406 p441 p588 p416 p267 p195 p566 p332 p483 p46 p342 p518 p458 p237 p574 p285 p534 p356 p93 }) ({p102 p396 p581 p552 p432 p255 p433 p406 p112 p17 p441 p588 p416 p265 p193 p329 p566 p455 p342 p458 p574 p90 p247 p538 p93 } a20 {p254 p105 p555 p582 p432 p402 p433 p405 p441 p114 p586 p244 p24 p265 p194 p565 p331 p481 p385 p53 p342 p281 p464 p574 p289 p355 p93 }) ({p547 p253 p432 p433 p583 p318 p17 p441 p319 p591 p195 p382 p332 p341 p342 p518 p237 p150 p461 p501 p574 p285 p240 p534 p536 p356 p93 } a20 {p550 p253 p432 p508 p433 p441 p319 p589 p196 p384 p578 p480 p53 p138 p343 p342 p279 p521 p459 p146 p499 p574 p287 p241 p535 p298 p221 p93 p357 }) ({p310 p140 p32 p119 p92 p322 } a51 {p310 p137 p316 p121 p18 p303 }) ({p276 p11 p229 } a31 {p273 p374 p229 p46 }) ({p45 } a17 {p47 }) ({p358 p253 p553 p432 p470 p433 p364 p17 p441 p322 p478 p121 p197 p56 p342 p142 p346 p522 p495 p72 p497 p574 p503 p83 p290 p93 p544 p302 } a20 {p359 p253 p506 p553 p432 p433 p471 p109 p363 p441 p322 p476 p124 p200 p53 p56 p140 p342 p346 p495 p525 p497 p574 p503 p87 p93 p541 p300 }) ({p476 p32 p433 p403 p435 p565 p512 p537 p130 } a51 {p568 p477 p470 p433 p403 p329 p112 p537 p18 p130 }) ({p308 p339 p375 p437 p440 p17 p187 p606 p443 p463 p192 p452 p369 p580 p593 } a20 {p308 p53 p277 p345 p438 p377 p462 p190 p445 p378 p192 p82 p615 p424 p292 p454 p272 }) ({p377 p440 p466 p17 p187 p606 p593 } a20 {p190 p53 p82 p342 p615 p424 p438 p377 p272 }) }, initialMarking = {p27 p382 p383 p384 p48 p50 p52 p54 p56 p58 p60 p62 p516 p64 p517 p519 p520 p69 p83 p532 p85 p87 p89 p533 p535 p536 p93 p537 p540 p541 p544 p545 p102 p547 p252 p548 p253 p550 p104 p552 p553 p105 p254 p555 p255 p402 p403 p405 p406 p408 p409 p411 p412 p413 p414 p416 p417 p265 p418 p419 p267 p270 p271 p565 p566 p567 p130 p568 p133 p134 p273 p135 p136 p137 p139 p140 p142 p146 p149 p150 p572 p154 p574 p158 p575 p576 p300 p301 p302 p304 p306 p308 p309 p310 p312 p432 p433 p436 p316 p317 p438 p318 p440 p319 p441 p321 p322 p188 p324 p443 p444 p191 p445 p192 p446 p339 p340 p341 p204 p342 p343 p205 p344 p207 p345 p346 p208 p458 p210 p347 p348 p459 p211 p460 p461 p213 p462 p463 p464 p217 p218 p219 p220 p228 p363 p229 p230 p364 p231 p365 p232 p366 p474 p586 p588 p476 p589 p477 p478 p591 p374 p375 p376 p377 p495 p606 p496 p497 p608 p498 p609 p499 p500 p501 p502 p503 p612 p240 p504 p241 p613 p614 p615 p616 p617 p618 p620 }, acceptingPlaces = {p76 } );