// Testfile dumped by Ultimate at 2020/03/07 10:47:41 // // 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 }, transitions = { ({p504 p221 p376 p86 p11 p120 p554 p396 p247 } a31 {p335 p135 p104 p296 p112 p314 p214 p413 p46 }) ({p491 p279 p195 p511 p379 p496 p17 p187 p93 p514 p597 } a20 {p53 p279 p419 p260 p510 p495 p185 p379 p93 p316 p499 p597 }) ({p5 p89 } a39 {p7 p91 p70 }) ({p53 } a22 {p33 }) ({p502 p221 p105 p306 p404 p309 p405 p376 p11 p408 p412 p413 p247 p563 p564 p82 p120 p554 p93 } a31 {p135 p505 p306 p404 p309 p405 p408 p112 p412 p413 p563 p564 p296 p90 p214 p93 p46 }) ({p406 p608 p17 p365 } a20 {p416 p53 p403 p363 }) ({p279 p105 p222 p377 p511 p214 p17 p496 p93 p597 } a20 {p53 p221 p279 p105 p376 p510 p93 p597 p499 p248 p211 }) ({p220 p545 p404 p308 p140 p405 p309 p11 p313 p413 p149 p289 p563 p265 p93 p452 } a31 {p220 p545 p404 p308 p405 p309 p313 p315 p285 p413 p149 p473 p563 p121 p93 p270 p46 }) ({p588 p451 p605 p223 p527 p348 p498 p17 p595 p582 } a20 {p53 p590 p604 p485 p64 p348 p359 p227 p239 }) ({p405 p345 p17 p581 p398 p386 } a20 {p317 p53 p307 p345 p603 p339 p515 p440 }) ({p102 p273 p570 p544 p585 p505 p222 p373 p430 p377 p511 p17 p577 p258 p90 p214 p532 p496 p427 } a20 {p53 p221 p105 p547 p242 p279 p546 p571 p506 p373 p376 p510 p575 p597 p248 p211 p24 p436 p323 p453 p499 }) ({p220 p545 p404 p140 p405 p309 p11 p313 p413 p149 p289 p563 p321 p265 p93 } a31 {p220 p545 p404 p405 p309 p313 p315 p285 p413 p149 p468 p563 p121 p93 p270 p46 }) ({p273 p102 p134 p542 p546 p11 p145 p248 p211 p565 p208 p355 p93 p499 } a31 {p273 p102 p252 p222 p377 p558 p511 p528 p204 p531 p93 p46 }) ({p101 p17 } a20 {p101 p53 }) ({p307 p493 p603 p345 p11 p93 p488 p394 } a31 {p243 p186 p93 p581 p398 p386 p46 }) ({p220 p545 p404 p58 p140 p405 p309 p11 p246 p413 p289 p563 p474 p294 p477 p265 p93 p452 } a31 {p220 p545 p404 p308 p58 p405 p309 p315 p285 p333 p413 p335 p473 p563 p474 p121 p534 p93 p270 p46 }) ({p279 p592 p195 p511 p380 p17 p514 p597 p388 p491 p361 p607 p496 p187 p93 } a20 {p53 p279 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p93 p499 }) ({p135 p420 p412 p438 p17 p500 } a20 {p502 p134 p563 p53 p82 p309 p120 p395 p410 p247 }) ({p561 p307 p493 p11 p96 p93 p394 } a31 {p508 p186 p93 p287 p398 p386 p46 }) ({p337 p11 p196 p93 } a31 {p337 p196 p93 p46 }) ({p604 p406 p312 p11 p421 p495 p410 p348 } a31 {p416 p347 p187 p340 p432 p500 p569 p582 p46 }) ({p490 p603 p345 p64 p11 p93 p488 p290 } a31 {p243 p451 p494 p93 p581 p212 p46 }) ({p162 p608 p357 p17 } a20 {p164 p53 p359 p382 p171 }) ({p276 p306 p409 p348 p412 p17 p199 p595 p415 p435 p173 p253 p424 p266 p500 p569 p582 } a20 {p502 p275 p53 p312 p410 p348 p198 p434 p417 p349 p173 p82 p255 p604 p395 p259 p426 p239 p272 }) ({p219 p405 p507 p11 p339 p93 p515 p440 p598 } a31 {p335 p543 p405 p93 p209 p115 p46 }) ({p80 p404 p524 p525 p526 } a12 {p404 p524 p525 p526 p40 }) ({p134 p3 p242 p546 p372 p312 p11 p410 p594 p198 p383 p316 p434 p390 p565 p419 p362 p260 p495 p609 p93 p499 } a31 {p273 p6 p375 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p561 p219 p541 p292 p450 p307 p405 p32 p142 p311 p38 p467 } a51 {p561 p219 p541 p139 p307 p405 p311 p443 p124 p18 p467 p446 }) ({p502 p240 p221 p105 p306 p376 p11 p510 p597 p415 p82 p395 p93 p239 } a31 {p240 p585 p505 p306 p314 p412 p595 p415 p90 p214 p496 p93 p46 }) ({p135 p306 p6 p375 p558 p412 p17 p199 p596 p385 p384 p435 p564 p602 p424 p364 p93 p266 p500 p569 } a20 {p502 p134 p53 p10 p224 p312 p410 p198 p383 p247 p434 p390 p579 p565 p82 p120 p395 p259 p422 p609 p93 p426 p366 p272 }) ({p166 p347 p195 p380 p17 p514 p180 p249 p491 p172 p361 p338 p187 p93 p271 } a20 {p53 p403 p168 p379 p178 p316 p251 p419 p362 p260 p495 p185 p174 p93 }) ({p563 p404 p374 p405 p309 p17 p413 p497 p556 p93 p209 } a20 {p557 p219 p563 p53 p404 p405 p309 p297 p113 p413 p93 p131 }) ({p74 } a29 {p11 }) ({p540 p135 p404 p309 p405 p572 p509 p558 p204 p17 p413 p286 p149 p433 p564 p252 p580 p207 p353 p528 p530 p324 p93 } a20 {p542 p404 p482 p405 p413 p286 p578 p120 p355 p422 p567 p134 p53 p138 p309 p512 p431 p145 p247 p565 p254 p208 p529 p188 p93 p325 }) ({p585 p377 p511 p496 p17 p584 } a20 {p220 p53 p546 p376 p510 p499 p597 p248 }) ({p70 } a14 {p30 }) ({p492 p604 p406 p64 p11 p608 p348 p365 } a31 {p416 p588 p451 p223 p347 p498 p340 p582 p46 }) ({p601 p243 p32 p604 p494 p348 p581 p212 } a51 {p517 p603 p345 p223 p498 p340 p18 p582 }) ({p565 p312 p11 p420 p438 } a31 {p563 p309 p558 p569 p46 }) ({p102 p570 p544 p505 p404 p222 p405 p373 p309 p430 p377 p112 p17 p413 p577 p563 p296 p90 p555 p214 p532 p93 p427 } a20 {p221 p105 p547 p571 p404 p405 p373 p376 p413 p114 p575 p211 p24 p554 p298 p453 p53 p506 p309 p248 p436 p563 p256 p323 p93 }) ({p85 p21 } a37 {p23 p59 p88 }) ({p561 p219 p541 p277 p307 p405 p32 p311 p285 p148 p467 p216 } a51 {p561 p219 p541 p277 p307 p405 p311 p148 p265 p288 p18 p467 }) ({p220 p545 p328 p404 p405 p309 p310 p60 p463 p313 p283 p333 p17 p413 p467 p289 p518 p474 p563 p475 p534 p93 } a20 {p220 p545 p53 p404 p405 p309 p310 p60 p313 p283 p413 p334 p467 p289 p472 p563 p294 p475 p523 p437 p477 p93 }) ({p240 p418 p309 p11 p196 p582 } a31 {p240 p418 p309 p196 p582 p46 }) ({p138 p404 p482 p309 p405 p11 p512 p331 p413 p247 p291 p448 p254 p87 p120 p554 p422 p567 p188 p93 p535 p267 p325 } a31 {p326 p540 p135 p404 p442 p309 p405 p112 p513 p413 p149 p72 p433 p291 p564 p580 p207 p257 p296 p353 p530 p93 p46 }) ({p345 p11 p212 } a31 {p345 p212 p46 }) ({p237 p357 p17 p171 } a20 {p53 p237 p382 p359 p171 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p512 p413 p289 p448 p563 p580 p254 p87 p265 p188 p93 p535 p267 p452 } a31 {p540 p220 p308 p404 p442 p405 p309 p315 p285 p513 p413 p149 p72 p473 p563 p580 p207 p257 p353 p121 p530 p93 p270 p46 }) ({p502 p221 p105 p306 p376 p11 p510 p314 p597 p415 p82 p93 p239 } a31 {p585 p505 p306 p90 p314 p214 p496 p93 p595 p46 p415 }) ({p404 p309 p405 p148 p17 p413 p93 p287 p439 p130 } a20 {p561 p541 p53 p550 p404 p309 p405 p413 p93 p447 }) ({p46 } a33 {p67 }) ({p557 p219 p317 p11 p339 p515 p447 } a31 {p335 p405 p314 p497 p209 p130 p46 }) ({p276 p590 p244 p485 p11 p510 p379 p359 p227 p597 p388 p349 p606 p185 p123 p93 p239 } a31 {p0 p240 p276 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p127 p46 }) ({p134 p565 p312 p11 p421 p495 p410 p531 p499 } a31 {p558 p511 p187 p531 p432 p500 p569 p46 }) ({p542 p220 p404 p310 p405 p222 p309 p11 p145 p413 p114 p248 p471 p563 p256 p355 p298 p93 } a31 {p220 p404 p405 p222 p309 p377 p413 p563 p252 p528 p555 p93 p299 p46 }) ({p102 p542 p404 p310 p405 p309 p11 p145 p413 p114 p248 p211 p471 p563 p208 p256 p355 p298 p93 } a31 {p102 p404 p222 p405 p309 p377 p204 p413 p563 p252 p528 p555 p93 p299 p46 }) ({p219 p317 p507 p11 p339 p515 p440 p598 } a31 {p335 p543 p405 p314 p209 p115 p46 }) ({p102 p505 p404 p222 p405 p309 p377 p112 p17 p413 p575 p563 p296 p90 p555 p214 p93 } a20 {p53 p221 p105 p404 p506 p405 p309 p376 p413 p114 p575 p248 p211 p24 p563 p256 p554 p298 p93 }) ({p220 p545 p404 p140 p405 p309 p11 p313 p413 p149 p467 p289 p468 p563 p473 p475 p265 p93 } a31 {p220 p545 p404 p405 p309 p313 p285 p413 p149 p467 p468 p563 p473 p475 p121 p93 p270 p46 }) ({p336 p156 p66 p98 } a7 {p478 p173 p100 p73 }) ({p151 p162 p173 p485 p64 p11 p608 p357 p185 p178 } a31 {p249 p491 p418 p451 p338 p527 p156 p382 p514 p171 p46 }) ({p327 p220 p479 p54 p461 p404 p310 p405 p309 p443 p11 p109 p413 p334 p516 p114 p472 p471 p563 p523 p256 p298 p93 } a31 {p277 p220 p54 p328 p404 p405 p309 p463 p332 p413 p470 p518 p563 p450 p83 p555 p93 p299 p538 p269 p46 }) ({p326 p220 p52 p404 p442 p405 p309 p112 p332 p513 p17 p413 p72 p469 p563 p450 p83 p257 p296 p555 p93 p538 p269 } a20 {p327 p220 p52 p479 p53 p404 p405 p309 p443 p109 p331 p413 p516 p114 p469 p448 p563 p256 p87 p554 p298 p93 p535 p267 }) ({p200 p17 } a20 {p53 p238 p196 }) ({p347 p195 p17 p514 p180 p249 p491 p451 p338 p156 p187 p93 p271 } a20 {p53 p403 p64 p178 p316 p251 p173 p419 p260 p495 p185 p174 p93 }) ({p220 p585 p11 p197 } a31 {p220 p197 p531 p597 p46 }) ({p502 p240 p3 p221 p105 p547 p279 p373 p376 p11 p510 p575 p597 p436 p349 p82 p255 p395 p259 p93 p426 p239 p366 p272 } a31 {p367 p240 p276 p570 p585 p505 p306 p6 p314 p412 p199 p595 p385 p415 p435 p258 p90 p214 p532 p496 p93 p427 p46 }) ({p134 p563 p309 p32 p410 p531 p287 p398 p386 } a51 {p561 p307 p420 p438 p531 p18 p500 }) ({p473 p285 p358 p17 p149 p161 } a20 {p471 p545 p53 p138 p313 p145 p265 p452 }) ({p220 p479 p54 p404 p310 p405 p309 p443 p11 p109 p332 p413 p516 p114 p471 p563 p523 p256 p298 p93 } a31 {p277 p220 p54 p404 p405 p309 p332 p413 p518 p563 p450 p83 p555 p93 p299 p538 p269 p46 }) ({p326 p459 p58 p442 p142 p284 p332 p513 p17 p72 p470 p26 p450 p83 p257 p121 p538 p270 p269 } a20 {p327 p479 p53 p56 p461 p140 p443 p109 p331 p516 p469 p289 p448 p29 p87 p124 p95 p535 p267 }) ({p540 p404 p405 p572 p17 p413 p291 p580 p353 p455 p48 p135 p309 p509 p558 p204 p149 p433 p564 p252 p207 p528 p530 p324 p93 } a20 {p542 p404 p482 p405 p286 p413 p578 p120 p355 p422 p567 p48 p457 p134 p53 p138 p309 p512 p431 p145 p247 p565 p254 p208 p529 p188 p93 p325 }) ({p68 } a8 {p65 }) ({p71 } a30 {p35 }) ({p275 p588 p223 p409 p348 p17 p595 p415 p605 p527 p498 p217 p582 } a20 {p275 p417 p53 p349 p590 p604 p485 p348 p359 p227 p123 p239 }) ({p403 p312 p11 p410 p348 p316 p434 p417 p419 p604 p495 p174 p93 p271 } a31 {p409 p347 p424 p187 p340 p93 p500 p180 p569 p582 p46 p271 }) ({p79 } a11 {p42 }) ({p220 p545 p404 p405 p309 p62 p11 p313 p413 p467 p563 p450 p475 p124 p95 p93 } a31 {p220 p545 p404 p405 p309 p142 p62 p313 p284 p413 p69 p467 p563 p450 p475 p476 p93 p46 }) ({p417 p173 p306 p346 p412 p17 p340 p595 p500 p569 p582 } a20 {p502 p53 p244 p312 p410 p348 p417 p173 p82 p604 p395 p259 p239 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p413 p289 p448 p563 p580 p254 p87 p530 p265 p188 p93 p267 p452 } a31 {p540 p220 p308 p404 p442 p405 p309 p315 p285 p413 p149 p72 p473 p563 p580 p207 p257 p353 p121 p530 p93 p270 p46 }) ({p220 p404 p442 p405 p309 p112 p17 p413 p563 p450 p257 p296 p87 p555 p93 p269 } a20 {p220 p53 p404 p405 p309 p443 p109 p413 p114 p448 p563 p256 p87 p554 p298 p93 p267 }) ({p138 p404 p309 p405 p11 p413 p247 p448 p563 p564 p120 p554 p93 } a31 {p135 p404 p442 p309 p405 p112 p413 p149 p563 p564 p296 p93 p46 }) ({p220 p32 p405 p376 p554 p497 p531 p209 p130 } a51 {p557 p219 p405 p296 p112 p531 p18 p584 p130 }) ({p345 p451 p238 p494 p17 p581 p212 } a20 {p200 p53 p481 p603 p345 p64 p179 p440 }) ({p543 p32 p510 p486 p185 p197 p597 p568 p115 } a51 {p491 p585 p507 p184 p157 p496 p18 p598 }) ({p162 p133 p483 p527 p17 p399 } a20 {p101 p201 p164 p53 p136 p117 p485 p359 p171 }) ({p220 p545 p404 p405 p309 p11 p313 p283 p413 p467 p446 p289 p563 p475 p38 p93 } a31 {p220 p545 p404 p139 p405 p309 p313 p283 p413 p467 p446 p289 p563 p475 p476 p93 p46 }) ({p416 p421 p17 } a20 {p416 p53 p419 p432 p316 }) ({p201 p485 p11 p510 p379 p185 p359 p93 p239 p597 } a31 {p491 p585 p361 p418 p527 p196 p496 p93 p595 p514 p46 }) ({p220 p545 p404 p58 p140 p405 p309 p11 p246 p413 p333 p149 p289 p563 p477 p265 p93 p452 } a31 {p220 p545 p404 p308 p58 p405 p309 p315 p285 p413 p333 p149 p335 p473 p563 p121 p534 p93 p270 p46 }) ({p220 p404 p310 p405 p309 p443 p11 p413 p114 p471 p563 p256 p298 p93 p269 } a31 {p277 p220 p404 p405 p309 p413 p563 p450 p555 p93 p299 p269 p46 }) ({p102 p570 p505 p547 p404 p222 p405 p309 p430 p377 p112 p17 p413 p577 p563 p296 p90 p555 p214 p93 p427 } a20 {p53 p221 p105 p547 p571 p404 p506 p405 p309 p376 p413 p114 p575 p248 p211 p24 p436 p563 p256 p323 p554 p298 p93 }) ({p590 p244 p485 p11 p510 p379 p359 p227 p597 p415 p606 p185 p93 p239 } a31 {p240 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p46 }) ({p220 p545 p404 p405 p309 p62 p11 p313 p283 p285 p413 p467 p289 p563 p294 p475 p437 p477 p93 } a31 {p220 p545 p404 p405 p309 p62 p313 p283 p285 p333 p413 p467 p289 p335 p474 p563 p475 p534 p93 p46 }) ({p138 p404 p482 p309 p405 p11 p413 p247 p448 p353 p120 p554 p422 p93 } a31 {p540 p135 p404 p442 p309 p405 p112 p413 p149 p564 p296 p353 p93 p46 }) ({p73 } a9 {p68 }) ({p77 } a10 {p61 }) ({p0 p279 p592 p195 p511 p380 p17 p514 p597 p389 p491 p361 p607 p496 p187 p93 p127 } a20 {p3 p53 p279 p372 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p93 p499 }) ({p601 p32 p345 p604 p494 p581 p212 } a51 {p517 p603 p345 p223 p498 p18 p582 }) ({p220 p542 p545 p56 p404 p308 p405 p309 p285 p17 p413 p334 p473 p563 p523 p93 p299 } a20 {p220 p542 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p471 p563 p523 p265 p93 p452 }) ({p327 p220 p479 p545 p461 p404 p58 p405 p309 p443 p11 p313 p109 p284 p413 p334 p467 p516 p472 p563 p475 p523 p124 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p46 p58 p309 p142 p463 p313 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p543 p508 p486 p186 p17 p568 p115 } a20 {p53 p493 p507 p184 p96 p531 p394 p598 }) ({p67 } a34 {p63 }) ({p540 p220 p308 p404 p405 p309 p285 p17 p413 p149 p473 p563 p355 p528 p93 p299 } a20 {p542 p220 p53 p138 p404 p310 p482 p405 p309 p246 p145 p413 p471 p563 p355 p265 p93 p452 }) ({p220 p545 p404 p58 p140 p405 p309 p11 p246 p413 p289 p563 p294 p437 p477 p265 p93 p452 } a31 {p220 p545 p404 p308 p58 p405 p309 p315 p285 p333 p413 p335 p474 p473 p563 p121 p534 p93 p270 p46 }) ({p312 p11 p438 p340 } a31 {p240 p309 p348 p569 p46 }) ({p135 p306 p558 p412 p17 p199 p383 p435 p564 p424 p93 p266 p500 p569 } a20 {p502 p134 p53 p312 p410 p198 p383 p247 p434 p565 p82 p120 p395 p259 p422 p93 p426 p272 }) ({p471 p250 p542 p256 p310 p11 p298 p145 p114 } a31 {p377 p354 p528 p555 p299 p46 }) ({p296 p377 p112 p555 p17 p584 } a20 {p220 p53 p256 p376 p554 p298 p114 p248 }) ({p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p284 p332 p413 p467 p516 p563 p475 p523 p124 p93 } a31 {p277 p220 p545 p404 p58 p405 p309 p142 p313 p284 p332 p413 p467 p518 p563 p450 p475 p476 p83 p93 p538 p269 p46 }) ({p326 p56 p442 p142 p284 p332 p513 p17 p72 p469 p450 p83 p257 p121 p538 p270 p269 } a20 {p327 p479 p53 p56 p140 p443 p109 p331 p516 p289 p469 p448 p87 p124 p95 p535 p267 }) ({p102 p570 p585 p505 p279 p222 p377 p511 p17 p577 p436 p90 p214 p496 } a20 {p53 p221 p105 p546 p279 p571 p506 p376 p510 p575 p597 p248 p211 p24 p436 p499 }) ({p59 } a25 {p84 }) ({p346 p412 p438 p17 p340 p595 p500 p582 } a20 {p502 p53 p82 p309 p604 p244 p395 p410 p348 p239 }) ({p448 p138 p140 p11 p265 p289 p454 } a31 {p475 p442 p121 p315 p285 p149 p270 p46 }) ({p135 p564 p306 p558 p412 p17 p93 p500 p569 p434 } a20 {p502 p134 p53 p312 p410 p247 p434 p565 p82 p120 p395 p259 p422 p93 }) ({p63 } a35 {p74 }) ({p102 p367 p273 p570 p544 p585 p505 p6 p222 p430 p377 p511 p17 p577 p387 p258 p90 p214 p532 p496 p427 } a20 {p53 p221 p105 p547 p242 p279 p546 p571 p506 p373 p10 p376 p510 p575 p597 p248 p211 p24 p436 p323 p453 p356 p499 }) ({p542 p571 p404 p405 p11 p286 p413 p114 p211 p387 p578 p24 p355 p298 p453 p506 p310 p309 p431 p145 p248 p471 p563 p208 p256 p529 p323 p93 } a31 {p102 p544 p404 p222 p405 p309 p572 p509 p377 p430 p413 p204 p577 p387 p563 p252 p528 p555 p324 p93 p299 p455 p46 }) ({p542 p571 p404 p405 p11 p286 p413 p114 p211 p578 p24 p234 p355 p298 p453 p356 p506 p310 p309 p431 p145 p248 p471 p563 p208 p256 p529 p323 p93 } a31 {p102 p544 p404 p222 p405 p309 p572 p509 p377 p430 p413 p204 p577 p387 p563 p234 p252 p528 p555 p324 p93 p299 p455 p46 }) ({p374 p508 p17 p93 p209 p115 p598 } a20 {p219 p53 p507 p96 p93 p131 p598 }) ({p478 p17 p100 } a20 {p53 p481 p196 p93 p179 p576 }) ({p491 p585 p279 p361 p606 p195 p511 p380 p17 p496 p187 p514 } a20 {p53 p546 p279 p510 p379 p316 p597 p419 p362 p606 p260 p495 p185 p499 }) ({p435 p135 p564 p306 p558 p412 p424 p17 p198 p93 p500 p569 } a20 {p502 p134 p53 p312 p410 p198 p247 p434 p565 p82 p120 p395 p259 p422 p93 p426 }) ({p540 p220 p308 p404 p405 p309 p285 p17 p413 p149 p473 p563 p252 p208 p353 p528 p93 p299 } a20 {p542 p220 p53 p138 p404 p310 p482 p405 p309 p246 p145 p413 p471 p563 p254 p208 p355 p265 p93 p452 }) ({p471 p545 p405 p374 p32 p313 p145 p531 p439 p159 p130 } a51 {p541 p405 p374 p311 p358 p531 p18 p161 p130 }) ({p491 p511 p157 p496 p17 p187 p597 } a20 {p53 p419 p510 p495 p185 p197 p316 p499 p597 }) ({p102 p570 p505 p279 p222 p430 p377 p511 p17 p597 p577 p90 p214 p496 p93 p427 } a20 {p53 p221 p105 p279 p571 p506 p376 p510 p575 p597 p248 p211 p24 p436 p323 p93 p499 }) ({p173 p481 p64 p184 p11 p93 p179 p576 } a31 {p418 p337 p451 p486 p156 p93 p568 p46 }) ({p327 p220 p479 p545 p461 p404 p58 p405 p309 p443 p11 p313 p109 p413 p334 p467 p516 p472 p563 p475 p523 p124 p95 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p46 p58 p309 p142 p463 p313 p69 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p471 p541 p405 p374 p32 p313 p148 p531 p159 p130 } a51 {p541 p405 p374 p311 p148 p531 p18 p161 p130 }) ({p32 p510 p486 p185 p197 p531 p568 p115 } a51 {p491 p507 p184 p157 p496 p531 p18 }) ({p220 p545 p328 p58 p404 p308 p405 p309 p463 p285 p333 p17 p413 p518 p474 p26 p473 p563 p534 p93 p299 } a20 {p220 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p472 p471 p563 p294 p29 p523 p437 p477 p265 p93 p452 }) ({p326 p220 p545 p404 p442 p405 p332 p17 p413 p289 p450 p121 p459 p56 p309 p142 p313 p513 p467 p72 p470 p563 p475 p83 p257 p93 p538 p269 } a20 {p327 p220 p479 p545 p404 p405 p443 p109 p331 p413 p289 p448 p124 p53 p56 p461 p140 p309 p313 p467 p516 p469 p563 p475 p87 p93 p535 p267 }) ({p450 p442 p142 p257 p87 p121 p284 p17 p270 p269 } a20 {p448 p53 p140 p443 p87 p109 p124 p95 p267 p289 }) ({p504 p221 p376 p11 p86 p120 p554 p413 p247 } a31 {p335 p135 p104 p296 p112 p214 p413 p46 }) ({p220 p545 p404 p405 p309 p11 p64 p313 p284 p413 p467 p563 p475 p34 p124 p93 } a31 {p220 p545 p404 p405 p309 p142 p62 p313 p284 p413 p467 p563 p475 p476 p451 p93 p46 }) ({p220 p545 p404 p405 p309 p142 p62 p313 p17 p413 p467 p289 p563 p475 p31 p121 p93 } a20 {p220 p545 p53 p404 p140 p405 p60 p309 p313 p413 p467 p289 p563 p475 p34 p124 p93 }) ({p273 p134 p3 p372 p312 p11 p410 p594 p198 p383 p316 p434 p390 p565 p419 p362 p260 p495 p609 p531 p93 p499 } a31 {p273 p6 p375 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p540 p404 p405 p572 p13 p17 p413 p291 p580 p353 p455 p50 p135 p309 p509 p558 p204 p149 p433 p564 p252 p207 p528 p530 p324 p93 } a20 {p542 p404 p482 p405 p16 p286 p413 p578 p120 p355 p422 p567 p48 p457 p134 p53 p138 p309 p512 p431 p145 p247 p565 p254 p208 p529 p188 p93 p325 }) ({p220 p545 p404 p405 p309 p11 p64 p313 p413 p467 p563 p294 p475 p437 p34 p477 p93 } a31 {p220 p545 p404 p405 p309 p62 p313 p333 p413 p467 p335 p474 p563 p475 p451 p534 p93 p46 }) ({p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p332 p413 p467 p516 p563 p475 p523 p124 p95 p93 } a31 {p277 p220 p545 p404 p58 p405 p309 p142 p313 p284 p332 p69 p413 p467 p518 p563 p450 p475 p476 p83 p93 p538 p269 p46 }) ({p138 p404 p482 p309 p405 p11 p413 p247 p448 p207 p254 p120 p554 p422 p93 p267 } a31 {p540 p135 p404 p442 p309 p405 p112 p413 p149 p564 p207 p257 p296 p353 p93 p46 }) ({p220 p545 p404 p405 p309 p11 p313 p413 p467 p292 p563 p475 p38 p93 } a31 {p277 p220 p545 p139 p404 p405 p309 p313 p413 p467 p446 p563 p475 p476 p93 p46 }) ({p220 p404 p310 p405 p309 p443 p11 p109 p413 p114 p471 p563 p256 p83 p298 p93 } a31 {p277 p220 p404 p405 p309 p413 p563 p450 p83 p555 p93 p299 p269 p46 }) ({p135 p306 p558 p412 p17 p199 p385 p435 p564 p609 p424 p364 p93 p266 p500 p569 } a20 {p502 p134 p53 p312 p410 p198 p383 p247 p434 p565 p82 p120 p395 p259 p422 p609 p93 p426 p366 p272 }) ({p74 } a28 {p71 }) ({p276 p590 p346 p485 p11 p510 p379 p359 p227 p597 p388 p349 p606 p185 p123 p93 p239 } a31 {p0 p276 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p127 p46 }) ({p219 p541 p307 p405 p374 p311 p148 p467 p561 p476 p32 p531 p130 } a51 {p219 p541 p307 p405 p374 p311 p148 p18 p467 p561 p476 p531 p130 }) ({p104 p317 p32 p339 p413 p595 p515 p440 } a51 {p504 p405 p86 p396 p18 p239 }) ({p220 p545 p404 p405 p309 p443 p11 p313 p284 p413 p467 p563 p475 p124 p93 p269 } a31 {p277 p220 p545 p404 p405 p309 p142 p313 p284 p413 p467 p563 p450 p475 p476 p93 p269 p46 }) ({p275 p306 p409 p348 p412 p17 p595 p415 p435 p173 p424 p500 p569 p582 } a20 {p502 p275 p53 p312 p410 p348 p434 p417 p349 p173 p82 p604 p395 p259 p426 p239 }) ({p135 p306 p558 p412 p17 p199 p596 p385 p435 p564 p390 p602 p424 p364 p93 p266 p500 p569 } a20 {p502 p134 p53 p312 p410 p198 p383 p247 p434 p390 p565 p579 p82 p120 p395 p259 p422 p609 p93 p426 p366 p272 }) ({p220 p479 p54 p404 p310 p405 p309 p443 p11 p109 p332 p413 p114 p471 p563 p256 p298 p93 p538 } a31 {p277 p220 p54 p404 p405 p309 p332 p413 p563 p450 p83 p555 p93 p299 p269 p538 p46 }) ({p140 p11 p265 p149 p289 p454 } a31 {p475 p121 p315 p285 p149 p270 p46 }) ({p220 p545 p404 p138 p140 p405 p309 p11 p315 p413 p289 p448 p563 p265 p93 } a31 {p220 p545 p404 p442 p405 p309 p315 p285 p413 p149 p563 p121 p93 p270 p46 }) ({p448 p60 p142 p121 p284 p17 p270 } a20 {p448 p53 p140 p60 p124 p95 p289 }) ({p542 p565 p11 p420 p358 } a31 {p563 p545 p528 p558 p46 }) ({p135 p104 p317 p32 p339 p413 p515 p447 } a51 {p504 p405 p86 p120 p396 p18 p247 p130 }) ({p220 p545 p404 p405 p309 p11 p64 p313 p413 p467 p563 p475 p34 p124 p95 p93 } a31 {p220 p545 p404 p405 p309 p142 p62 p313 p284 p69 p413 p467 p563 p475 p476 p451 p93 p46 }) ({p220 p545 p404 p139 p405 p309 p313 p283 p17 p413 p467 p289 p449 p563 p475 p119 p93 } a20 {p220 p53 p545 p137 p404 p405 p309 p313 p283 p413 p467 p289 p449 p563 p475 p38 p93 }) ({p104 p32 p405 p339 p595 p515 p440 } a51 {p504 p405 p86 p18 p239 }) ({p517 p11 p348 } a31 {p601 p588 p348 p46 }) ({p502 p221 p105 p547 p279 p244 p376 p11 p510 p575 p597 p385 p436 p349 p82 p255 p395 p259 p93 p426 p239 p272 } a31 {p240 p276 p570 p585 p505 p306 p346 p314 p412 p199 p595 p385 p415 p435 p258 p90 p214 p532 p496 p93 p427 p46 }) ({p200 p481 p237 p32 p527 p382 p595 p179 p440 } a51 {p231 p238 p485 p357 p18 p239 }) ({p517 p451 p346 p223 p527 p498 p340 p17 p595 p582 } a20 {p601 p53 p604 p244 p485 p64 p348 p359 p227 p239 }) ({p7 } a41 {p20 }) ({p273 p0 p592 p195 p511 p380 p17 p514 p597 p389 p491 p361 p258 p607 p496 p187 p93 p127 } a20 {p3 p53 p242 p279 p372 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p93 p499 }) ({p540 p220 p404 p405 p572 p285 p17 p413 p19 p291 p580 p353 p299 p455 p54 p308 p309 p509 p144 p204 p149 p433 p473 p563 p155 p252 p207 p528 p530 p324 p93 } a20 {p542 p220 p404 p482 p405 p110 p286 p413 p22 p578 p355 p567 p452 p457 p52 p53 p138 p310 p309 p246 p512 p431 p145 p471 p152 p563 p254 p208 p529 p265 p188 p93 p325 }) ({p320 p17 } a20 {p53 p315 p467 }) ({p102 p570 p505 p404 p222 p405 p309 p377 p112 p17 p413 p577 p563 p436 p296 p90 p555 p214 p93 } a20 {p53 p221 p105 p571 p404 p506 p405 p309 p376 p413 p114 p575 p248 p211 p24 p563 p436 p256 p554 p298 p93 }) ({p541 p220 p404 p405 p309 p311 p11 p113 p413 p563 p297 p93 p131 } a31 {p563 p220 p404 p374 p405 p309 p413 p556 p93 p439 p159 p46 }) ({p491 p585 p279 p195 p511 p379 p496 p187 p17 p514 } a20 {p53 p546 p279 p419 p260 p510 p495 p185 p379 p316 p499 p597 }) ({p475 p32 p320 p285 p148 p216 } a51 {p265 p148 p288 p467 p18 p454 }) ({p540 p135 p404 p309 p405 p558 p17 p413 p149 p564 p252 p208 p353 p528 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p145 p413 p247 p565 p254 p208 p120 p355 p422 p93 }) ({p220 p545 p404 p405 p309 p443 p11 p313 p413 p467 p563 p475 p124 p95 p93 p269 } a31 {p277 p220 p545 p404 p405 p309 p142 p313 p284 p69 p413 p467 p563 p450 p475 p476 p93 p269 p46 }) ({p11 p98 p268 } a31 {p98 p268 p46 }) ({p561 p135 p550 p307 p32 p405 p149 p447 } a51 {p561 p138 p307 p405 p120 p148 p18 p247 p130 }) ({p585 p279 p105 p222 p377 p511 p214 p496 p17 } a20 {p53 p221 p546 p279 p105 p376 p510 p597 p499 p248 p211 }) ({p309 p243 p32 p604 p410 p348 p196 p581 p398 p386 } a51 {p307 p603 p345 p196 p438 p340 p18 p500 p582 }) ({p540 p135 p404 p309 p405 p558 p17 p413 p149 p564 p528 p355 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p145 p413 p247 p565 p120 p422 p355 p93 }) ({p220 p404 p482 p405 p11 p331 p413 p289 p291 p448 p567 p452 p138 p140 p309 p246 p512 p563 p254 p87 p265 p188 p93 p535 p267 p325 } a31 {p326 p540 p220 p404 p442 p405 p285 p413 p291 p580 p353 p121 p46 p308 p309 p315 p513 p149 p72 p433 p473 p563 p207 p257 p530 p93 p270 }) ({p273 p134 p3 p546 p372 p312 p11 p410 p594 p198 p383 p316 p434 p390 p565 p419 p362 p260 p495 p609 p93 p499 } a31 {p273 p6 p375 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p542 p310 p11 p358 p161 } a31 {p545 p313 p528 p299 p46 }) ({p585 p279 p592 p195 p511 p380 p17 p514 p388 p491 p361 p607 p496 p187 } a20 {p53 p546 p279 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p499 }) ({p585 p11 p157 } a31 {p197 p531 p514 p597 p46 }) ({p84 } a26 {p74 }) ({p11 p157 p531 } a31 {p197 p531 p514 p46 }) ({p337 p156 p17 p489 p98 p583 } a20 {p490 p173 p53 p93 p488 p290 }) ({p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p284 p332 p413 p467 p563 p475 p124 p93 p538 } a31 {p277 p220 p545 p404 p58 p405 p309 p142 p313 p284 p332 p413 p467 p563 p450 p475 p476 p83 p93 p269 p538 p46 }) ({p337 p32 p486 p185 p197 p178 p268 p568 } a51 {p190 p491 p184 p338 p157 p18 }) ({p220 p404 p482 p405 p11 p331 p413 p289 p448 p567 p452 p457 p138 p140 p309 p246 p512 p469 p563 p155 p254 p87 p265 p188 p93 p535 p267 p325 } a31 {p326 p540 p220 p404 p442 p405 p285 p413 p291 p580 p353 p121 p46 p459 p308 p309 p315 p513 p149 p72 p433 p473 p563 p155 p207 p257 p530 p93 p270 }) ({p590 p346 p485 p11 p510 p379 p359 p227 p597 p415 p606 p185 p93 p239 } a31 {p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p46 }) ({p541 p220 p545 p404 p405 p309 p17 p413 p288 p467 p563 p93 p159 } a20 {p541 p220 p545 p53 p404 p405 p309 p311 p413 p563 p320 p93 p216 }) ({p273 p134 p542 p571 p506 p11 p431 p145 p248 p211 p578 p24 p565 p208 p529 p323 p355 p531 p93 p499 } a31 {p102 p273 p222 p572 p509 p430 p377 p558 p511 p204 p577 p252 p528 p324 p531 p93 p46 }) ({p220 p545 p404 p442 p405 p331 p17 p413 p289 p450 p121 p56 p309 p142 p313 p513 p467 p72 p563 p475 p83 p257 p93 p538 p269 } a20 {p220 p479 p545 p404 p405 p443 p109 p331 p413 p289 p448 p124 p53 p56 p140 p309 p313 p467 p516 p563 p475 p87 p93 p535 p267 }) ({p601 p223 p11 p348 } a31 {p601 p223 p348 p46 }) ({p276 p588 p223 p409 p348 p17 p595 p415 p253 p605 p527 p498 p217 p582 } a20 {p275 p53 p590 p485 p348 p359 p227 p417 p349 p255 p604 p123 p239 }) ({p327 p220 p479 p56 p461 p404 p310 p405 p309 p443 p11 p109 p413 p334 p516 p114 p22 p472 p471 p563 p523 p256 p298 p93 } a31 {p277 p220 p54 p328 p404 p405 p309 p463 p332 p413 p470 p518 p26 p563 p450 p83 p555 p93 p299 p538 p269 p46 }) ({p279 p590 p244 p485 p11 p510 p379 p359 p227 p597 p388 p349 p255 p606 p185 p123 p93 p239 } a31 {p0 p240 p276 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p258 p527 p496 p93 p127 p46 }) ({p137 p11 p320 p283 p148 p216 } a31 {p119 p315 p92 p148 p288 p467 p46 }) ({p220 p545 p404 p405 p309 p443 p11 p313 p109 p284 p413 p467 p563 p475 p83 p124 p93 } a31 {p277 p220 p545 p404 p405 p309 p142 p313 p284 p413 p467 p563 p450 p475 p476 p83 p93 p269 p46 }) ({p190 p491 p451 p338 p347 p156 p157 p187 p17 p180 } a20 {p173 p53 p419 p403 p64 p495 p185 p197 p174 p178 p316 p268 }) ({p11 p92 } a31 {p283 p69 p46 }) ({p337 p451 p486 p156 p186 p93 p17 p568 } a20 {p173 p53 p493 p64 p184 p93 p488 p394 }) ({p449 p137 p550 p11 p320 p283 p216 } a31 {p407 p119 p315 p92 p148 p288 p467 p46 }) ({p138 p404 p482 p309 p405 p11 p512 p413 p247 p433 p448 p254 p87 p120 p554 p422 p567 p188 p93 p535 p267 } a31 {p540 p135 p404 p442 p309 p405 p112 p513 p413 p149 p72 p433 p564 p580 p207 p257 p296 p353 p530 p93 p46 }) ({p481 p32 p527 p382 p179 p576 p171 } a51 {p151 p162 p485 p608 p357 p18 }) ({p406 p421 p17 } a20 {p416 p53 p419 p403 p432 p316 }) ({p588 p451 p605 p346 p223 p527 p498 p340 p17 p595 p582 } a20 {p53 p590 p604 p244 p485 p64 p348 p359 p227 p239 }) ({p502 p221 p105 p306 p244 p376 p11 p510 p597 p415 p82 p395 p93 p239 } a31 {p240 p585 p505 p306 p346 p314 p412 p595 p415 p90 p214 p496 p93 p46 }) ({p502 p240 p221 p105 p376 p11 p510 p575 p597 p415 p82 p395 p259 p93 p239 } a31 {p240 p570 p585 p505 p306 p314 p412 p595 p415 p90 p214 p496 p93 p46 }) ({p292 p563 p220 p404 p405 p309 p311 p11 p297 p113 p413 p93 } a31 {p563 p277 p220 p404 p405 p309 p413 p556 p93 p446 p159 p46 }) ({p220 p545 p139 p404 p405 p309 p407 p313 p283 p17 p413 p467 p446 p563 p475 p119 p93 } a20 {p220 p545 p53 p137 p404 p405 p309 p313 p283 p413 p467 p292 p449 p563 p475 p38 p93 }) ({p151 p164 p485 p11 p379 p185 p359 p178 p93 } a31 {p249 p491 p361 p418 p166 p338 p527 p93 p514 p46 }) ({p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p332 p413 p467 p563 p475 p124 p95 p93 p538 } a31 {p277 p220 p545 p404 p58 p405 p309 p142 p313 p284 p332 p69 p413 p467 p563 p450 p475 p476 p83 p93 p269 p538 p46 }) ({p277 p140 p405 p374 p32 p119 p69 p148 p531 p467 p130 } a51 {p277 p137 p405 p374 p121 p69 p148 p531 p18 p467 p130 }) ({p220 p542 p545 p221 p404 p405 p17 p413 p448 p173 p237 p451 p554 p309 p310 p312 p313 p510 p467 p563 p475 p565 p603 p604 p184 p185 p93 } a20 {p220 p542 p545 p221 p404 p405 p413 p448 p173 p237 p554 p53 p309 p310 p64 p312 p313 p510 p467 p563 p475 p565 p603 p604 p184 p185 p93 }) ({p540 p220 p308 p404 p405 p309 p509 p285 p17 p413 p204 p149 p578 p473 p563 p252 p207 p353 p528 p530 p93 p299 } a20 {p542 p220 p53 p138 p404 p310 p482 p405 p309 p246 p512 p145 p413 p471 p578 p563 p254 p208 p529 p355 p265 p188 p93 p452 }) ({p220 p545 p404 p442 p405 p309 p142 p313 p17 p413 p467 p289 p563 p450 p475 p121 p93 p267 } a20 {p220 p545 p53 p404 p140 p405 p309 p443 p313 p413 p467 p289 p448 p563 p475 p124 p93 p267 }) ({p0 p276 p306 p409 p348 p412 p17 p199 p595 p385 p415 p435 p253 p156 p424 p364 p266 p500 p569 p582 } a20 {p502 p275 p3 p53 p312 p410 p348 p198 p383 p434 p417 p349 p173 p82 p255 p604 p395 p259 p426 p239 p366 p272 }) ({p20 } a46 {p21 }) ({p377 p511 p17 p496 p597 p584 } a20 {p220 p53 p376 p510 p597 p499 p248 }) ({p276 p306 p346 p409 p412 p17 p199 p595 p415 p435 p173 p253 p424 p340 p266 p500 p569 p582 } a20 {p502 p275 p53 p244 p312 p410 p348 p198 p434 p417 p349 p173 p82 p255 p604 p395 p259 p426 p239 p272 }) ({p190 p11 p98 } a31 {p249 p268 p98 p46 }) ({p220 p545 p404 p405 p309 p443 p11 p313 p109 p413 p467 p563 p475 p83 p124 p95 p93 } a31 {p277 p220 p545 p404 p405 p309 p142 p313 p284 p69 p413 p467 p563 p450 p475 p476 p83 p93 p269 p46 }) ({p540 p220 p308 p404 p405 p309 p572 p509 p431 p285 p204 p17 p413 p149 p473 p563 p252 p580 p207 p353 p528 p530 p93 p299 } a20 {p542 p220 p404 p482 p405 p413 p578 p355 p567 p452 p53 p138 p310 p309 p246 p512 p431 p145 p471 p563 p254 p208 p529 p265 p188 p93 }) ({p27 } a49 {p8 }) ({p102 p505 p279 p222 p377 p511 p17 p597 p575 p90 p214 p496 p93 } a20 {p53 p221 p105 p279 p506 p376 p510 p597 p575 p248 p211 p24 p93 p499 }) ({p273 p134 p542 p546 p571 p506 p11 p431 p145 p248 p211 p578 p24 p565 p208 p529 p323 p355 p93 p499 } a31 {p102 p273 p222 p572 p509 p430 p377 p558 p511 p204 p577 p252 p528 p324 p531 p93 p46 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p413 p289 p448 p563 p353 p265 p93 p452 } a31 {p540 p220 p308 p404 p442 p405 p309 p315 p285 p413 p149 p473 p563 p353 p121 p93 p270 p46 }) ({p338 p11 p196 p93 p268 } a31 {p338 p196 p93 p268 p46 }) ({p240 p485 p11 p510 p357 p185 p196 p239 p597 } a31 {p240 p491 p585 p418 p527 p196 p382 p496 p595 p514 p46 }) ({p542 p221 p408 p376 p377 p410 p412 p285 p413 p333 p18 p334 p289 p415 p448 p450 p237 p554 p555 p133 p134 p135 p306 p136 p310 p60 p140 p62 p142 p312 p510 p347 p511 p145 p178 p595 p149 p180 p471 p475 p565 p523 p604 p527 p185 p187 p534 } a45 {p542 p221 p408 p376 p377 p410 p412 p285 p413 p333 p334 p289 p415 p448 p450 p237 p554 p555 p133 p134 p135 p306 p136 p310 p60 p140 p62 p142 p312 p510 p347 p511 p145 p178 p595 p149 p180 p471 p475 p565 p80 p523 p604 p527 p185 p187 p534 }) ({p561 p219 p541 p277 p307 p405 p32 p142 p311 p38 p467 } a51 {p561 p219 p541 p277 p139 p307 p405 p311 p124 p18 p467 }) ({p220 p545 p404 p405 p309 p62 p11 p313 p283 p284 p413 p467 p289 p563 p450 p475 p124 p93 } a31 {p220 p545 p404 p405 p309 p142 p62 p313 p283 p284 p413 p467 p289 p563 p450 p475 p476 p93 p46 }) ({p502 p3 p221 p105 p547 p279 p373 p244 p376 p11 p510 p575 p597 p436 p349 p82 p255 p395 p259 p93 p426 p239 p366 p272 } a31 {p367 p240 p276 p570 p585 p505 p306 p6 p346 p314 p412 p199 p595 p385 p415 p435 p258 p90 p214 p496 p532 p93 p427 p46 }) ({p448 p140 p32 p407 p119 p92 p289 } a51 {p449 p137 p442 p283 p121 p18 p270 }) ({p220 p545 p328 p404 p405 p309 p463 p62 p313 p333 p17 p413 p467 p289 p518 p474 p563 p475 p31 p534 p93 } a20 {p220 p545 p53 p404 p405 p60 p309 p313 p413 p334 p467 p289 p472 p563 p294 p475 p523 p437 p34 p477 p93 }) ({p502 p240 p276 p221 p105 p376 p11 p510 p575 p597 p436 p349 p82 p395 p259 p93 p426 p239 } a31 {p240 p276 p570 p585 p505 p306 p314 p412 p595 p415 p435 p90 p214 p496 p93 p427 p46 }) ({p326 p220 p52 p459 p404 p442 p405 p309 p112 p332 p513 p17 p413 p72 p470 p563 p450 p83 p257 p296 p555 p93 p538 p269 } a20 {p327 p220 p479 p404 p405 p443 p109 p331 p413 p114 p448 p554 p298 p52 p53 p461 p309 p516 p469 p563 p256 p87 p93 p535 p267 }) ({p405 p17 p93 p287 p398 p130 p386 } a20 {p561 p317 p53 p307 p339 p93 p515 p447 }) ({p273 p134 p542 p506 p11 p145 p248 p211 p577 p24 p565 p208 p529 p355 p531 p93 p499 } a31 {p102 p273 p222 p509 p377 p558 p511 p204 p577 p252 p528 p531 p93 p46 }) ({p543 p374 p508 p17 p209 p115 } a20 {p219 p53 p507 p96 p531 p131 p598 }) ({p136 p337 p32 p178 p489 p268 p583 } a51 {p190 p338 p487 p18 p189 }) ({p540 p220 p404 p405 p572 p285 p17 p413 p291 p580 p353 p299 p455 p308 p309 p509 p204 p149 p433 p473 p563 p152 p252 p207 p528 p530 p324 p93 } a20 {p542 p220 p404 p482 p405 p286 p413 p578 p355 p567 p452 p457 p53 p138 p310 p309 p246 p512 p431 p145 p471 p563 p152 p254 p208 p529 p265 p188 p93 p325 }) ({p404 p482 p405 p11 p331 p413 p448 p120 p554 p422 p567 p457 p50 p138 p309 p512 p469 p247 p254 p87 p188 p93 p535 p267 p325 } a31 {p326 p540 p404 p442 p405 p112 p413 p291 p580 p296 p353 p46 p50 p135 p459 p309 p513 p149 p72 p433 p564 p207 p257 p530 p93 }) ({p220 p545 p56 p404 p442 p405 p309 p142 p313 p331 p17 p413 p467 p289 p72 p563 p450 p475 p83 p257 p121 p93 p535 p269 } a20 {p220 p479 p545 p53 p56 p404 p405 p140 p309 p443 p313 p109 p331 p413 p467 p289 p448 p563 p475 p87 p124 p93 p267 p535 }) ({p25 } a48 {p28 }) ({p23 } a47 {p32 }) ({p105 p404 p222 p405 p309 p377 p112 p17 p413 p563 p296 p555 p214 p93 } a20 {p53 p221 p105 p404 p405 p309 p376 p413 p114 p248 p211 p563 p256 p554 p298 p93 }) ({p11 p270 } a31 {p69 p289 p46 }) ({p404 p405 p283 p17 p413 p289 p171 p416 p173 p354 p307 p309 p310 p60 p507 p311 p312 p313 p64 p510 p432 p518 p184 p185 p534 p93 p219 p541 p220 p542 p104 p545 p221 p382 p334 p448 p449 p237 p238 p554 p557 p137 p140 p467 p561 p563 p475 p565 p603 p604 } a20 {p404 p405 p283 p413 p289 p171 p416 p173 p354 p53 p307 p309 p310 p60 p507 p311 p312 p313 p64 p510 p432 p523 p184 p185 p93 p219 p541 p220 p542 p104 p545 p221 p382 p334 p448 p449 p237 p238 p554 p557 p137 p140 p467 p561 p563 p475 p565 p603 p604 p477 }) ({p32 p354 p377 p511 p96 p131 } a51 {p250 p374 p508 p18 p499 }) ({p540 p220 p545 p404 p138 p140 p405 p309 p11 p413 p289 p448 p563 p265 p93 p452 } a31 {p540 p220 p545 p404 p442 p405 p309 p315 p285 p413 p149 p473 p563 p121 p93 p270 p46 }) ({p273 p134 p312 p11 p410 p380 p198 p316 p434 p565 p419 p260 p495 p531 p93 p499 } a31 {p273 p558 p195 p511 p380 p424 p187 p531 p93 p266 p500 p569 p46 }) ({p133 p417 p492 p403 p604 p11 p348 p363 p93 p180 } a31 {p133 p588 p223 p409 p347 p498 p340 p93 p217 p180 p582 p46 }) ({p102 p273 p570 p544 p505 p222 p373 p430 p377 p511 p17 p597 p577 p258 p90 p214 p532 p496 p93 p427 } a20 {p53 p221 p105 p547 p242 p279 p571 p506 p373 p376 p510 p575 p597 p248 p211 p24 p436 p323 p93 p453 p499 }) ({p557 p449 p563 p550 p404 p309 p405 p11 p413 p93 p447 } a31 {p563 p404 p309 p405 p407 p148 p413 p497 p93 p130 p46 }) ({p221 p105 p547 p373 p10 p376 p224 p11 p575 p232 p579 p120 p554 p422 p426 p502 p48 p247 p436 p82 p395 p259 p93 p366 p272 } a31 {p367 p135 p570 p505 p306 p13 p112 p226 p314 p412 p199 p385 p384 p435 p564 p602 p296 p90 p214 p532 p93 p427 p46 }) ({p517 p11 p340 } a31 {p240 p601 p588 p348 p46 }) ({p273 p134 p312 p11 p410 p198 p383 p316 p434 p565 p419 p362 p260 p607 p495 p531 p93 p499 } a31 {p273 p558 p195 p511 p380 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p220 p545 p404 p405 p374 p11 p408 p377 p283 p197 p412 p285 p413 p333 p288 p446 p289 p415 p450 p555 p556 p130 p133 p135 p306 p139 p309 p62 p142 p508 p313 p511 p148 p149 p467 p180 p563 p475 p525 p186 p531 p93 p187 p534 } a31 {p220 p545 p404 p405 p374 p408 p377 p283 p197 p412 p285 p413 p333 p288 p446 p289 p415 p450 p555 p556 p46 p130 p133 p135 p306 p139 p309 p62 p142 p508 p313 p511 p148 p149 p467 p180 p563 p475 p525 p186 p531 p93 p187 p534 }) ({p317 p17 } a20 {p53 p405 p314 }) ({p275 p403 p312 p11 p410 p348 p198 p316 p434 p251 p417 p172 p419 p604 p260 p495 p174 p93 } a31 {p409 p347 p195 p180 p172 p253 p424 p187 p340 p93 p266 p500 p569 p271 p582 p46 }) ({p220 p543 p32 p376 p510 p597 p209 p115 } a51 {p219 p585 p507 p496 p18 p584 p598 }) ({p275 p588 p346 p223 p409 p17 p595 p415 p605 p527 p498 p340 p217 p582 } a20 {p275 p53 p590 p244 p485 p348 p359 p227 p417 p349 p604 p123 p239 }) ({p561 p541 p11 p96 p93 p131 } a31 {p374 p508 p93 p287 p439 p46 }) ({p542 p571 p10 p11 p286 p211 p578 p24 p355 p453 p356 p499 p48 p134 p242 p506 p431 p145 p248 p565 p208 p529 p323 p531 p93 } a31 {p102 p273 p544 p222 p572 p509 p13 p430 p377 p558 p511 p204 p577 p387 p252 p528 p324 p531 p93 p455 p46 }) ({p250 p17 } a20 {p53 p354 p248 }) ({p220 p545 p137 p404 p405 p309 p11 p283 p413 p467 p449 p563 p550 p93 p216 } a31 {p220 p545 p404 p405 p309 p407 p413 p148 p288 p467 p563 p119 p92 p93 p46 }) ({p220 p545 p404 p405 p309 p60 p142 p313 p283 p17 p413 p467 p289 p448 p563 p475 p121 p93 } a20 {p220 p53 p545 p404 p405 p309 p60 p140 p313 p283 p413 p467 p289 p448 p563 p475 p93 p124 }) ({p326 p220 p545 p404 p442 p405 p332 p17 p413 p289 p26 p450 p121 p459 p58 p309 p142 p313 p513 p467 p72 p470 p563 p475 p83 p257 p93 p538 p269 } a20 {p327 p220 p479 p545 p404 p405 p443 p109 p331 p413 p289 p448 p29 p124 p53 p56 p461 p140 p309 p313 p467 p516 p469 p563 p475 p87 p93 p535 p267 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p413 p289 p448 p563 p207 p254 p265 p93 p267 p452 } a31 {p540 p220 p308 p404 p442 p405 p309 p315 p285 p413 p149 p473 p563 p207 p257 p353 p121 p93 p270 p46 }) ({p327 p220 p479 p54 p404 p310 p405 p309 p443 p11 p109 p413 p334 p516 p114 p470 p471 p563 p523 p256 p298 p93 } a31 {p277 p220 p54 p328 p404 p405 p309 p332 p413 p470 p518 p563 p450 p83 p555 p93 p299 p538 p269 p46 }) ({p220 p545 p404 p138 p140 p405 p309 p11 p413 p289 p448 p563 p321 p265 p93 } a31 {p220 p545 p404 p442 p405 p309 p315 p285 p413 p149 p468 p563 p121 p93 p270 p46 }) ({p8 } a42 {p77 }) ({p273 p134 p542 p565 p222 p11 p355 p145 p531 p93 p499 p248 } a31 {p273 p252 p222 p377 p528 p558 p511 p531 p93 p46 }) ({p231 p357 p17 } a20 {p201 p53 p237 p359 p382 }) ({p540 p135 p404 p309 p405 p572 p509 p558 p431 p204 p17 p413 p149 p564 p252 p580 p207 p353 p528 p530 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p512 p431 p145 p413 p247 p578 p565 p254 p208 p120 p529 p355 p422 p567 p188 p93 }) ({p502 p221 p105 p318 p82 p376 p11 p510 p93 p239 p597 } a31 {p585 p505 p408 p90 p314 p214 p496 p93 p595 p46 }) ({p502 p221 p105 p306 p309 p376 p11 p247 p82 p120 p395 p554 p93 } a31 {p135 p505 p306 p309 p296 p112 p90 p314 p214 p412 p93 p46 }) ({p0 p585 p279 p592 p195 p511 p380 p17 p514 p389 p491 p361 p607 p496 p187 p127 } a20 {p3 p53 p546 p279 p372 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p499 }) ({p220 p404 p405 p309 p148 p17 p413 p288 p467 p563 p93 p439 p159 } a20 {p541 p220 p53 p404 p405 p309 p311 p413 p563 p550 p320 p93 p216 }) ({p220 p545 p137 p404 p405 p309 p11 p313 p283 p413 p148 p467 p563 p475 p93 p216 } a31 {p220 p545 p404 p405 p309 p313 p413 p148 p288 p467 p563 p475 p119 p92 p93 p46 }) ({p542 p546 p571 p10 p11 p286 p211 p578 p24 p355 p453 p356 p499 p48 p134 p242 p506 p431 p145 p248 p565 p208 p529 p323 p93 } a31 {p102 p273 p544 p222 p572 p509 p13 p430 p377 p558 p511 p204 p577 p387 p252 p528 p324 p531 p93 p455 p46 }) ({p43 } a0 {p5 }) ({p279 p590 p346 p485 p11 p510 p379 p359 p227 p597 p388 p349 p255 p606 p185 p123 p93 p239 } a31 {p0 p276 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p258 p527 p496 p93 p127 p46 }) ({p220 p52 p404 p442 p405 p309 p112 p331 p513 p17 p413 p72 p563 p450 p83 p257 p296 p555 p93 p538 p269 } a20 {p220 p52 p479 p53 p404 p405 p309 p443 p109 p331 p413 p516 p114 p448 p563 p256 p87 p554 p298 p93 p535 p267 }) ({p273 p134 p542 p546 p506 p11 p145 p248 p211 p577 p24 p565 p208 p529 p355 p93 p499 } a31 {p102 p273 p222 p509 p377 p558 p511 p204 p577 p252 p528 p531 p93 p46 }) ({p540 p135 p404 p309 p405 p509 p558 p204 p17 p413 p149 p578 p564 p252 p207 p353 p528 p530 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p512 p145 p413 p247 p578 p565 p254 p208 p120 p529 p355 p422 p188 p93 }) ({p504 p86 p408 p396 p17 } a20 {p502 p104 p53 p318 p82 p413 }) ({p601 p223 p11 p340 } a31 {p240 p601 p223 p348 p46 }) ({p240 p312 p11 p438 p582 } a31 {p240 p309 p569 p582 p46 }) ({p504 p86 p17 p413 } a20 {p502 p104 p53 p82 p413 }) ({p231 p485 p11 p510 p357 p185 p239 p597 } a31 {p491 p585 p418 p237 p527 p196 p382 p496 p595 p514 p46 }) ({p244 p485 p11 p510 p379 p359 p227 p597 p415 p605 p185 p93 p239 } a31 {p240 p585 p346 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p46 }) ({p481 p507 p184 p11 p196 p93 p179 p440 p598 } a31 {p543 p418 p486 p196 p93 p568 p115 p46 }) ({p102 p570 p585 p505 p279 p222 p430 p377 p511 p17 p577 p90 p214 p496 p427 } a20 {p53 p221 p105 p546 p279 p571 p506 p376 p510 p575 p597 p248 p211 p24 p436 p323 p499 }) ({p220 p545 p404 p140 p60 p405 p309 p11 p246 p413 p289 p563 p294 p29 p437 p477 p265 p93 p452 } a31 {p220 p545 p58 p404 p308 p405 p309 p315 p285 p333 p413 p335 p474 p473 p563 p31 p121 p534 p93 p270 p46 }) ({p417 p492 p403 p117 p604 p11 p348 p363 p174 p93 p271 } a31 {p133 p588 p223 p409 p347 p180 p498 p340 p93 p217 p582 p46 p271 }) ({p134 p542 p242 p571 p506 p11 p431 p145 p286 p248 p211 p387 p578 p24 p565 p208 p529 p323 p355 p531 p93 p453 p499 } a31 {p102 p273 p544 p222 p572 p509 p430 p377 p558 p511 p204 p577 p387 p252 p528 p324 p531 p93 p455 p46 }) ({p273 p134 p546 p312 p11 p410 p380 p198 p316 p434 p565 p419 p260 p495 p93 p499 } a31 {p273 p558 p195 p511 p380 p424 p187 p531 p93 p266 p500 p569 p46 }) ({p417 p173 p306 p348 p412 p17 p595 p500 p569 p582 } a20 {p502 p417 p53 p173 p82 p604 p312 p395 p259 p410 p348 p239 }) ({p481 p32 p527 p196 p382 p595 p179 p440 } a51 {p485 p357 p196 p18 p239 }) ({p545 p310 p11 p161 } a31 {p545 p313 p299 p46 }) ({p327 p220 p479 p545 p404 p405 p443 p11 p109 p284 p413 p334 p29 p124 p461 p60 p309 p313 p467 p516 p472 p563 p475 p523 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p31 p46 p58 p309 p142 p463 p313 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p31 p142 p62 p121 p284 p17 p270 } a20 {p53 p140 p60 p34 p124 p95 p289 }) ({p561 p219 p307 p32 p405 p297 p354 p377 p555 p113 p131 } a51 {p561 p250 p219 p307 p256 p374 p405 p298 p556 p18 p114 }) ({p273 p134 p312 p11 p410 p195 p316 p434 p565 p419 p495 p531 p93 p499 } a31 {p273 p558 p511 p195 p424 p187 p531 p93 p500 p569 p46 }) ({p102 p367 p570 p544 p404 p222 p405 p377 p112 p17 p413 p577 p387 p232 p296 p555 p427 p505 p309 p430 p563 p90 p214 p532 p93 } a20 {p221 p105 p547 p571 p404 p373 p405 p376 p413 p114 p575 p211 p24 p232 p554 p298 p453 p356 p53 p506 p309 p248 p436 p563 p256 p323 p93 }) ({p220 p32 p376 p510 p531 p209 p115 } a51 {p219 p507 p496 p531 p18 p584 }) ({p327 p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p284 p413 p334 p467 p516 p470 p563 p475 p523 p124 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p46 p58 p309 p142 p313 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p273 p134 p542 p565 p546 p222 p11 p355 p145 p93 p499 p248 } a31 {p273 p252 p222 p377 p528 p558 p511 p531 p93 p46 }) ({p309 p11 p196 p340 } a31 {p240 p309 p348 p196 p46 }) ({p220 p545 p328 p56 p404 p308 p405 p309 p285 p333 p17 p413 p518 p472 p473 p563 p534 p93 p299 } a20 {p220 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p471 p472 p563 p294 p523 p477 p265 p93 p452 }) ({p134 p542 p242 p546 p571 p506 p11 p431 p145 p286 p248 p211 p387 p578 p24 p565 p208 p529 p323 p355 p93 p453 p499 } a31 {p102 p273 p544 p222 p572 p509 p430 p377 p558 p511 p204 p577 p387 p252 p528 p324 p531 p93 p455 p46 }) ({p502 p221 p105 p376 p11 p247 p575 p435 p82 p120 p395 p259 p554 p422 p93 } a31 {p135 p570 p505 p306 p112 p314 p412 p435 p564 p296 p90 p214 p93 p46 }) ({p250 p134 p542 p565 p11 p145 p499 } a31 {p354 p377 p528 p558 p511 p46 }) ({p273 p134 p546 p312 p11 p410 p198 p383 p316 p434 p565 p419 p362 p260 p607 p495 p93 p499 } a31 {p273 p558 p195 p511 p380 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p542 p404 p506 p310 p405 p309 p11 p145 p413 p114 p248 p211 p577 p471 p24 p563 p208 p256 p529 p355 p298 p93 } a31 {p102 p404 p222 p405 p309 p509 p377 p204 p413 p577 p563 p252 p528 p555 p93 p299 p46 }) ({p478 p173 p11 p100 } a31 {p337 p156 p489 p98 p583 p46 }) ({p540 p220 p308 p404 p405 p309 p285 p17 p413 p204 p149 p578 p473 p563 p252 p207 p353 p528 p529 p93 p299 } a20 {p542 p220 p53 p138 p404 p310 p482 p405 p309 p246 p145 p413 p471 p578 p563 p254 p208 p355 p529 p265 p188 p93 p452 }) ({p326 p459 p56 p442 p142 p284 p332 p513 p17 p72 p470 p450 p83 p257 p121 p538 p270 p269 } a20 {p327 p479 p53 p56 p461 p140 p443 p109 p331 p516 p469 p289 p448 p87 p124 p95 p535 p267 }) ({p502 p221 p105 p547 p373 p376 p11 p247 p575 p436 p602 p82 p120 p395 p259 p554 p422 p93 p426 p366 p272 } a31 {p367 p135 p570 p505 p306 p112 p314 p412 p199 p385 p435 p564 p602 p296 p90 p214 p532 p93 p427 p46 }) ({p139 p407 p119 p92 p17 p446 } a20 {p292 p449 p53 p137 p38 p283 p69 }) ({p327 p220 p479 p545 p404 p405 p443 p11 p109 p413 p334 p29 p124 p461 p60 p309 p313 p467 p516 p472 p563 p475 p523 p95 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p31 p46 p58 p309 p142 p463 p313 p69 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p275 p306 p346 p409 p412 p17 p595 p415 p435 p173 p424 p340 p500 p569 p582 } a20 {p502 p275 p53 p244 p312 p410 p348 p434 p417 p349 p173 p82 p604 p395 p259 p426 p239 }) ({p348 p412 p438 p17 p595 p500 p582 } a20 {p502 p53 p82 p309 p604 p395 p410 p348 p239 }) ({p138 p404 p482 p309 p405 p11 p512 p413 p247 p448 p580 p254 p87 p120 p554 p422 p188 p93 p535 p267 } a31 {p540 p135 p404 p442 p309 p405 p112 p513 p413 p149 p72 p564 p580 p207 p257 p296 p353 p530 p93 p46 }) ({p134 p563 p545 p32 p405 p145 p531 p287 p439 } a51 {p561 p541 p405 p420 p358 p531 p18 }) ({p190 p133 p338 p347 p156 p487 p17 p98 p189 p180 } a20 {p173 p53 p492 p136 p403 p117 p363 p174 p178 p93 p268 }) ({p273 p134 p542 p571 p506 p11 p430 p145 p248 p211 p578 p24 p565 p208 p529 p355 p531 p93 p499 } a31 {p102 p273 p222 p572 p509 p377 p430 p558 p511 p204 p577 p252 p528 p531 p93 p46 }) ({p249 p133 p338 p347 p156 p487 p17 p98 p271 p189 p180 } a20 {p251 p173 p53 p492 p136 p403 p117 p363 p174 p178 p93 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p512 p413 p289 p433 p448 p563 p254 p87 p567 p265 p188 p93 p535 p267 p452 } a31 {p540 p220 p404 p442 p405 p285 p413 p580 p353 p121 p46 p308 p309 p315 p513 p149 p72 p433 p473 p563 p207 p257 p530 p93 p270 }) ({p2 } a21 {p81 }) ({p327 p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p413 p334 p467 p516 p470 p563 p475 p523 p124 p95 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p46 p58 p309 p142 p313 p69 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p416 p493 p32 p347 p187 p432 p488 p394 } a51 {p406 p421 p495 p186 p18 }) ({p220 p545 p404 p58 p140 p405 p309 p11 p246 p413 p333 p149 p289 p563 p265 p93 p534 p452 } a31 {p220 p545 p404 p308 p58 p405 p309 p315 p285 p413 p333 p149 p473 p563 p121 p93 p534 p270 p46 }) ({p17 p468 p454 } a20 {p475 p53 p321 }) ({p405 p243 p17 p581 p398 p386 } a20 {p240 p317 p53 p307 p603 p345 p339 p515 p440 }) ({p490 p416 p32 p347 p488 p290 } a51 {p492 p406 p608 p18 p365 }) ({p47 } a19 {p2 }) ({p220 p404 p442 p405 p309 p112 p17 p413 p563 p450 p296 p555 p93 p267 } a20 {p220 p53 p404 p405 p309 p443 p413 p114 p448 p563 p256 p554 p298 p93 p267 }) ({p561 p292 p219 p450 p307 p32 p405 p297 p555 p113 } a51 {p561 p219 p307 p256 p405 p443 p298 p556 p18 p114 p446 }) ({p240 p485 p11 p510 p379 p185 p196 p359 p93 p597 p239 p415 } a31 {p240 p585 p196 p595 p514 p415 p491 p361 p418 p527 p496 p93 p46 }) ({p561 p219 p541 p550 p307 p405 p32 p285 p149 p467 p216 } a51 {p561 p219 p541 p138 p307 p405 p148 p265 p288 p18 p467 }) ({p240 p418 p11 p196 p581 } a31 {p240 p418 p196 p581 p46 }) ({p273 p0 p585 p592 p195 p511 p380 p17 p514 p389 p491 p361 p258 p607 p496 p187 p127 } a20 {p3 p53 p242 p279 p546 p372 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p499 }) ({p42 } a54 {p43 }) ({p135 p420 p358 p17 p149 } a20 {p134 p563 p545 p53 p138 p120 p145 p247 }) ({p478 p136 p32 p171 p100 } a51 {p162 p483 p18 p399 }) ({p190 p11 p157 } a31 {p249 p197 p514 p268 p46 }) ({p404 p482 p405 p11 p331 p16 p413 p448 p120 p554 p422 p567 p457 p52 p138 p309 p512 p469 p247 p254 p87 p188 p93 p535 p267 p325 } a31 {p326 p540 p404 p442 p405 p112 p413 p19 p291 p580 p296 p353 p46 p50 p135 p459 p309 p513 p149 p72 p433 p564 p207 p257 p530 p93 }) ({p557 p219 p563 p404 p309 p405 p11 p339 p413 p93 p515 p447 } a31 {p335 p563 p404 p309 p405 p413 p497 p93 p209 p130 p46 }) ({p30 } a15 {p45 }) ({p45 } a18 {p17 }) ({p28 } a50 {p79 }) ({p220 p52 p404 p442 p405 p309 p112 p331 p17 p413 p72 p563 p450 p83 p257 p296 p555 p93 p535 p269 } a20 {p220 p52 p479 p53 p404 p405 p309 p443 p109 p331 p413 p114 p448 p563 p256 p87 p554 p298 p93 p267 p535 }) ({p502 p221 p105 p376 p11 p199 p247 p575 p436 p82 p120 p395 p259 p554 p422 p93 p426 } a31 {p135 p570 p505 p306 p112 p314 p412 p199 p435 p564 p296 p90 p214 p93 p427 p46 }) ({p561 p135 p104 p307 p32 p405 p339 p515 p447 } a51 {p561 p504 p307 p405 p86 p120 p18 p247 p130 }) ({p102 p570 p505 p279 p222 p377 p511 p17 p597 p577 p436 p90 p214 p496 p93 } a20 {p53 p221 p105 p279 p571 p506 p376 p510 p575 p597 p248 p211 p24 p436 p93 p499 }) ({p273 p134 p546 p312 p11 p410 p195 p316 p434 p565 p419 p495 p93 p499 } a31 {p273 p558 p511 p195 p424 p187 p531 p93 p500 p569 p46 }) ({p449 p139 p119 p92 p17 } a20 {p449 p53 p137 p38 p283 p69 }) ({p273 p134 p312 p11 p410 p594 p198 p383 p316 p434 p389 p565 p419 p362 p260 p495 p609 p531 p93 p499 } a31 {p273 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p542 p571 p404 p405 p11 p16 p286 p413 p114 p211 p578 p24 p355 p298 p453 p356 p52 p506 p310 p309 p431 p145 p213 p248 p471 p152 p563 p208 p256 p529 p323 p93 } a31 {p102 p544 p404 p222 p405 p572 p377 p413 p19 p577 p387 p234 p555 p299 p455 p46 p50 p309 p509 p430 p144 p204 p563 p252 p528 p324 p93 }) ({p33 } a23 {p36 }) ({p275 p403 p312 p11 p168 p410 p348 p198 p383 p316 p434 p251 p417 p173 p419 p604 p362 p260 p495 p174 p93 } a31 {p0 p409 p347 p195 p380 p180 p172 p253 p156 p424 p364 p187 p340 p93 p266 p500 p569 p271 p582 p46 }) ({p502 p221 p105 p547 p376 p11 p247 p575 p385 p436 p82 p120 p395 p259 p554 p422 p93 p426 p272 } a31 {p135 p570 p505 p306 p112 p314 p412 p199 p385 p435 p564 p296 p90 p214 p532 p93 p427 p46 }) ({p502 p221 p105 p547 p373 p376 p11 p247 p575 p384 p436 p579 p82 p120 p395 p259 p554 p422 p93 p426 p366 p272 } a31 {p367 p135 p570 p505 p306 p112 p314 p412 p199 p385 p384 p435 p564 p602 p296 p90 p214 p532 p93 p427 p46 }) ({p491 p585 p511 p157 p496 p187 p17 } a20 {p53 p546 p419 p510 p495 p185 p197 p316 p499 p597 }) ({p102 p367 p273 p570 p544 p505 p6 p222 p430 p377 p511 p17 p597 p577 p387 p258 p90 p214 p532 p496 p93 p427 } a20 {p53 p221 p105 p547 p242 p279 p571 p506 p373 p10 p376 p510 p575 p597 p248 p211 p24 p436 p323 p93 p453 p356 p499 }) ({p504 p221 p376 p86 p11 p510 p314 p239 p597 } a31 {p335 p104 p585 p314 p214 p496 p595 p46 }) ({p220 p542 p545 p56 p404 p308 p405 p309 p285 p17 p413 p334 p518 p473 p563 p534 p93 p299 } a20 {p220 p542 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p471 p563 p523 p477 p265 p93 p452 }) ({p540 p135 p404 p309 p405 p558 p204 p17 p413 p149 p578 p564 p252 p207 p353 p528 p529 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p145 p413 p247 p578 p565 p254 p208 p120 p355 p422 p529 p188 p93 }) ({p220 p545 p404 p405 p374 p11 p408 p377 p283 p197 p412 p285 p413 p333 p288 p446 p289 p415 p450 p555 p556 p130 p133 p135 p306 p139 p309 p62 p142 p508 p313 p511 p148 p149 p467 p180 p563 p475 p477 p186 p531 p93 p187 } a31 {p220 p545 p404 p405 p374 p408 p377 p283 p197 p412 p285 p413 p333 p288 p446 p289 p415 p335 p450 p555 p556 p46 p130 p133 p135 p306 p139 p309 p62 p142 p508 p313 p511 p148 p149 p467 p180 p563 p475 p186 p534 p531 p93 p187 }) ({p543 p11 } a31 {p531 p598 p46 }) ({p273 p134 p542 p546 p571 p506 p11 p430 p145 p248 p211 p578 p24 p565 p208 p529 p355 p93 p499 } a31 {p102 p273 p222 p572 p509 p377 p430 p558 p511 p204 p577 p252 p528 p531 p93 p46 }) ({p220 p545 p404 p442 p405 p309 p142 p313 p17 p413 p467 p289 p563 p450 p475 p257 p87 p121 p93 p269 } a20 {p220 p545 p53 p404 p140 p405 p309 p443 p313 p109 p413 p467 p289 p448 p563 p475 p87 p124 p93 p267 }) ({p563 p220 p404 p405 p309 p407 p17 p413 p497 p556 p93 p446 } a20 {p557 p220 p53 p404 p405 p309 p113 p413 p292 p449 p563 p297 p93 }) ({p502 p221 p105 p244 p376 p11 p510 p575 p597 p415 p82 p395 p259 p93 p239 } a31 {p240 p570 p585 p505 p306 p346 p314 p412 p595 p415 p90 p214 p496 p93 p46 }) ({p56 p442 p142 p284 p331 p513 p17 p72 p450 p83 p257 p121 p538 p270 p269 } a20 {p479 p53 p56 p140 p443 p109 p331 p516 p289 p448 p87 p124 p95 p535 p267 }) ({p243 p11 p212 } a31 {p240 p345 p212 p46 }) ({p404 p405 p283 p17 p413 p289 p171 p416 p173 p354 p307 p309 p310 p60 p507 p311 p312 p313 p64 p510 p432 p523 p524 p184 p185 p93 p219 p541 p220 p542 p104 p545 p221 p382 p334 p448 p449 p237 p238 p554 p557 p137 p140 p467 p561 p563 p475 p565 p603 p604 } a20 {p404 p405 p283 p413 p289 p171 p416 p173 p354 p53 p307 p309 p310 p60 p507 p311 p312 p313 p64 p510 p432 p523 p524 p184 p185 p93 p219 p541 p220 p542 p104 p545 p221 p382 p334 p448 p449 p237 p238 p554 p557 p137 p140 p467 p561 p563 p475 p565 p603 p604 }) ({p240 p277 p61 p315 p314 p196 p69 p335 p173 p476 p418 p531 p93 } a5 {p336 p156 p66 p98 }) ({p346 p485 p11 p510 p379 p359 p227 p597 p415 p605 p185 p93 p239 } a31 {p585 p346 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p46 }) ({p326 p220 p545 p404 p442 p405 p332 p17 p413 p289 p450 p121 p56 p309 p142 p313 p513 p467 p72 p469 p563 p475 p83 p257 p93 p538 p269 } a20 {p327 p220 p479 p545 p404 p405 p443 p109 p331 p413 p289 p448 p124 p53 p56 p140 p309 p313 p467 p516 p469 p563 p475 p87 p93 p535 p267 }) ({p220 p404 p482 p405 p11 p331 p110 p413 p289 p22 p448 p567 p452 p457 p56 p138 p140 p309 p246 p512 p469 p563 p254 p87 p265 p188 p93 p535 p267 p325 } a31 {p326 p540 p220 p404 p442 p405 p285 p413 p291 p26 p580 p353 p121 p46 p459 p54 p308 p309 p315 p513 p149 p72 p433 p473 p563 p155 p207 p257 p530 p93 p270 }) ({p35 } a32 {p39 }) ({p279 p195 p511 p380 p17 p514 p597 p491 p361 p606 p496 p187 p93 } a20 {p53 p279 p510 p379 p316 p597 p419 p362 p606 p260 p495 p185 p93 p499 }) ({p273 p102 p134 p542 p11 p145 p248 p211 p565 p208 p355 p531 p93 p499 } a31 {p273 p102 p252 p222 p377 p558 p511 p528 p204 p531 p93 p46 }) ({p473 p545 p285 p17 p161 } a20 {p471 p545 p53 p313 p265 p452 }) ({p403 p312 p11 p410 p348 p316 p434 p180 p417 p419 p604 p495 p93 } a31 {p409 p347 p424 p187 p340 p93 p500 p569 p582 p46 p180 }) ({p102 p367 p570 p544 p404 p222 p405 p13 p377 p112 p226 p17 p413 p577 p387 p234 p296 p555 p427 p50 p505 p309 p430 p563 p90 p214 p532 p93 } a20 {p221 p105 p547 p571 p404 p373 p405 p376 p16 p413 p114 p575 p211 p24 p232 p554 p298 p453 p356 p48 p53 p506 p309 p213 p248 p436 p563 p256 p323 p93 }) ({p138 p404 p482 p309 p405 p11 p413 p247 p448 p580 p254 p87 p120 p554 p422 p530 p188 p93 p267 } a31 {p540 p135 p404 p442 p309 p405 p112 p413 p149 p72 p564 p580 p207 p257 p296 p353 p530 p93 p46 }) ({p475 p550 p32 p320 p285 p216 p149 } a51 {p138 p265 p148 p288 p467 p18 p454 }) ({p101 p201 p164 p117 p485 p11 p379 p185 p359 p178 } a31 {p249 p133 p491 p361 p166 p418 p338 p527 p196 p93 p514 p46 }) ({p326 p220 p404 p442 p405 p112 p332 p17 p413 p19 p450 p296 p555 p459 p54 p309 p513 p72 p470 p563 p83 p257 p93 p538 p269 } a20 {p327 p220 p479 p404 p405 p443 p109 p331 p413 p114 p22 p448 p554 p298 p52 p53 p461 p309 p516 p469 p563 p256 p87 p93 p535 p267 }) ({p448 p140 p405 p374 p32 p407 p119 p283 p148 p531 p467 p130 } a51 {p449 p137 p442 p405 p374 p283 p121 p148 p531 p18 p467 p130 }) ({p36 } a24 {p45 }) ({p220 p545 p328 p404 p405 p309 p310 p60 p313 p283 p17 p413 p333 p467 p289 p518 p472 p563 p475 p534 p93 } a20 {p220 p53 p545 p404 p405 p309 p310 p60 p313 p283 p413 p334 p467 p289 p472 p563 p294 p475 p523 p477 p93 }) ({p273 p134 p546 p312 p11 p410 p594 p198 p383 p316 p434 p389 p565 p419 p362 p260 p495 p609 p93 p499 } a31 {p273 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p517 p451 p223 p527 p348 p498 p17 p595 p582 } a20 {p601 p53 p604 p485 p64 p348 p359 p227 p239 }) ({p502 p221 p105 p318 p309 p82 p376 p11 p120 p554 p93 p247 } a31 {p135 p505 p309 p296 p408 p112 p90 p314 p214 p93 p46 }) ({p276 p588 p346 p223 p409 p17 p595 p415 p253 p605 p527 p498 p340 p217 p582 } a20 {p275 p53 p590 p244 p485 p348 p359 p227 p417 p349 p255 p604 p123 p239 }) ({p200 p481 p507 p184 p11 p179 p440 p598 } a31 {p543 p418 p238 p486 p196 p568 p115 p46 }) ({p0 p276 p306 p346 p409 p412 p17 p199 p595 p385 p415 p435 p253 p156 p424 p364 p340 p266 p500 p569 p582 } a20 {p502 p275 p3 p53 p244 p312 p410 p348 p198 p383 p434 p417 p349 p173 p82 p255 p604 p395 p259 p426 p239 p366 p272 }) ({p542 p571 p404 p506 p310 p405 p309 p11 p430 p145 p413 p114 p248 p211 p471 p578 p24 p563 p208 p256 p529 p355 p298 p93 } a31 {p102 p404 p222 p405 p309 p572 p509 p377 p430 p204 p413 p577 p563 p252 p528 p555 p93 p299 p46 }) ({p493 p32 p511 p96 p187 p432 p394 } a51 {p508 p421 p495 p186 p18 p499 }) ({p450 p442 p142 p121 p284 p17 p267 p270 } a20 {p448 p53 p140 p443 p124 p95 p267 p289 }) ({p134 p3 p242 p372 p312 p11 p410 p594 p198 p383 p316 p434 p390 p565 p419 p362 p260 p495 p609 p531 p93 p499 } a31 {p273 p6 p375 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p508 p486 p186 p17 p93 p568 p115 p598 } a20 {p53 p493 p507 p184 p96 p93 p394 p598 }) ({p102 p585 p505 p279 p222 p377 p511 p90 p214 p17 p496 p575 } a20 {p53 p221 p105 p546 p279 p506 p376 p510 p597 p575 p248 p211 p24 p499 }) ({p40 } a52 {p76 }) ({p56 p442 p142 p284 p331 p17 p72 p450 p83 p257 p121 p535 p270 p269 } a20 {p479 p53 p56 p140 p443 p109 p331 p289 p448 p87 p124 p95 p267 p535 }) ({p540 p220 p404 p405 p572 p285 p17 p413 p286 p580 p353 p299 p308 p309 p509 p204 p149 p433 p473 p563 p252 p207 p528 p530 p324 p93 } a20 {p542 p220 p404 p482 p405 p413 p286 p578 p355 p567 p452 p53 p138 p310 p309 p246 p512 p431 p145 p471 p563 p254 p208 p529 p265 p188 p93 p325 }) ({p220 p545 p328 p56 p404 p308 p405 p309 p463 p285 p333 p17 p413 p518 p474 p473 p563 p534 p93 p299 } a20 {p220 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p472 p471 p563 p294 p523 p437 p477 p265 p93 p452 }) ({p221 p11 p531 p584 } a31 {p220 p214 p531 p46 }) ({p65 } a6 {p25 }) ({p585 p221 p11 p584 } a31 {p220 p214 p531 p597 p46 }) ({p542 p544 p571 p404 p405 p11 p413 p114 p211 p578 p24 p355 p298 p506 p310 p309 p431 p145 p248 p471 p563 p208 p256 p529 p323 p93 } a31 {p102 p544 p404 p222 p405 p309 p572 p509 p430 p377 p204 p413 p577 p563 p252 p528 p555 p324 p93 p299 p46 }) ({p240 p309 p32 p604 p410 p196 p581 p398 p386 } a51 {p240 p307 p603 p196 p438 p18 p500 p582 }) ({p220 p545 p404 p405 p309 p62 p11 p313 p283 p285 p413 p467 p289 p563 p474 p294 p475 p477 p93 } a31 {p220 p545 p404 p405 p309 p62 p313 p283 p285 p333 p413 p467 p289 p335 p563 p474 p475 p534 p93 p46 }) ({p275 p251 p417 p492 p403 p117 p604 p11 p348 p363 p174 p93 } a31 {p133 p588 p223 p409 p347 p180 p253 p498 p340 p93 p217 p271 p582 p46 }) ({p243 p451 p238 p494 p17 p581 p212 } a20 {p200 p240 p53 p481 p603 p345 p64 p179 p440 }) ({p162 p173 p483 p11 p178 p399 } a31 {p249 p338 p156 p487 p98 p189 p171 p46 }) ({p277 p140 p32 p119 p92 p289 } a51 {p277 p137 p283 p121 p18 p270 }) ({p504 p221 p376 p86 p11 p510 p396 p239 p597 } a31 {p335 p104 p585 p314 p214 p413 p496 p595 p46 }) ({p243 p11 p196 } a31 {p240 p345 p196 p46 }) ({p45 } a17 {p47 }) ({p502 p240 p221 p105 p547 p279 p376 p11 p510 p575 p597 p385 p436 p349 p82 p255 p395 p259 p93 p426 p239 p272 } a31 {p240 p276 p570 p585 p505 p306 p314 p412 p199 p595 p385 p415 p435 p258 p90 p214 p532 p496 p93 p427 p46 }) ({p448 p32 p405 p374 p407 p554 p497 p531 p130 } a51 {p557 p449 p442 p405 p374 p296 p112 p531 p18 p130 }) ({p502 p276 p221 p105 p244 p376 p11 p510 p575 p597 p436 p349 p82 p395 p259 p93 p426 p239 } a31 {p240 p276 p570 p585 p505 p306 p346 p314 p412 p595 p415 p435 p90 p214 p496 p93 p427 p46 }) }, initialMarking = {p27 p353 p354 p355 p48 p50 p52 p54 p56 p58 p60 p62 p507 p64 p508 p510 p511 p69 p83 p523 p524 p85 p87 p525 p526 p89 p527 p529 p530 p93 p531 p534 p535 p538 p102 p540 p219 p541 p220 p542 p104 p544 p545 p105 p221 p547 p222 p373 p374 p376 p377 p379 p380 p382 p383 p384 p385 p387 p388 p232 p389 p390 p234 p237 p238 p554 p555 p556 p130 p557 p133 p134 p240 p135 p136 p137 p139 p140 p142 p145 p148 p149 p561 p152 p563 p155 p564 p565 p267 p268 p269 p271 p273 p275 p276 p277 p279 p404 p405 p408 p283 p284 p410 p285 p412 p286 p413 p288 p289 p171 p291 p415 p416 p172 p417 p173 p418 p306 p307 p308 p309 p310 p311 p312 p313 p430 p314 p315 p431 p178 p432 p433 p180 p434 p435 p436 p184 p185 p186 p187 p195 p331 p196 p197 p332 p198 p333 p199 p334 p446 p575 p577 p448 p578 p449 p335 p450 p580 p345 p346 p347 p348 p467 p595 p468 p469 p597 p470 p598 p471 p472 p473 p474 p475 p601 p207 p476 p208 p602 p603 p604 p605 p606 p607 p609 }, 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 }, transitions = { ({p504 p221 p376 p86 p11 p120 p554 p396 p247 } a31 {p335 p135 p104 p296 p112 p314 p214 p413 p46 }) ({p491 p279 p195 p511 p379 p496 p17 p187 p93 p514 p597 } a20 {p53 p279 p419 p260 p510 p495 p185 p379 p93 p316 p499 p597 }) ({p5 p89 } a39 {p7 p91 p70 }) ({p53 } a22 {p33 }) ({p502 p221 p105 p306 p404 p309 p405 p376 p11 p408 p412 p413 p247 p563 p564 p82 p120 p554 p93 } a31 {p135 p505 p306 p404 p309 p405 p408 p112 p412 p413 p563 p564 p296 p90 p214 p93 p46 }) ({p406 p608 p17 p365 } a20 {p416 p53 p403 p363 }) ({p279 p105 p222 p377 p511 p214 p17 p496 p93 p597 } a20 {p53 p221 p279 p105 p376 p510 p93 p597 p499 p248 p211 }) ({p220 p545 p404 p308 p140 p405 p309 p11 p313 p413 p149 p289 p563 p265 p93 p452 } a31 {p220 p545 p404 p308 p405 p309 p313 p315 p285 p413 p149 p473 p563 p121 p93 p270 p46 }) ({p588 p451 p605 p223 p527 p348 p498 p17 p595 p582 } a20 {p53 p590 p604 p485 p64 p348 p359 p227 p239 }) ({p405 p345 p17 p581 p398 p386 } a20 {p317 p53 p307 p345 p603 p339 p515 p440 }) ({p102 p273 p570 p544 p585 p505 p222 p373 p430 p377 p511 p17 p577 p258 p90 p214 p532 p496 p427 } a20 {p53 p221 p105 p547 p242 p279 p546 p571 p506 p373 p376 p510 p575 p597 p248 p211 p24 p436 p323 p453 p499 }) ({p220 p545 p404 p140 p405 p309 p11 p313 p413 p149 p289 p563 p321 p265 p93 } a31 {p220 p545 p404 p405 p309 p313 p315 p285 p413 p149 p468 p563 p121 p93 p270 p46 }) ({p273 p102 p134 p542 p546 p11 p145 p248 p211 p565 p208 p355 p93 p499 } a31 {p273 p102 p252 p222 p377 p558 p511 p528 p204 p531 p93 p46 }) ({p101 p17 } a20 {p101 p53 }) ({p307 p493 p603 p345 p11 p93 p488 p394 } a31 {p243 p186 p93 p581 p398 p386 p46 }) ({p220 p545 p404 p58 p140 p405 p309 p11 p246 p413 p289 p563 p474 p294 p477 p265 p93 p452 } a31 {p220 p545 p404 p308 p58 p405 p309 p315 p285 p333 p413 p335 p473 p563 p474 p121 p534 p93 p270 p46 }) ({p279 p592 p195 p511 p380 p17 p514 p597 p388 p491 p361 p607 p496 p187 p93 } a20 {p53 p279 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p93 p499 }) ({p135 p420 p412 p438 p17 p500 } a20 {p502 p134 p563 p53 p82 p309 p120 p395 p410 p247 }) ({p561 p307 p493 p11 p96 p93 p394 } a31 {p508 p186 p93 p287 p398 p386 p46 }) ({p337 p11 p196 p93 } a31 {p337 p196 p93 p46 }) ({p604 p406 p312 p11 p421 p495 p410 p348 } a31 {p416 p347 p187 p340 p432 p500 p569 p582 p46 }) ({p490 p603 p345 p64 p11 p93 p488 p290 } a31 {p243 p451 p494 p93 p581 p212 p46 }) ({p162 p608 p357 p17 } a20 {p164 p53 p359 p382 p171 }) ({p276 p306 p409 p348 p412 p17 p199 p595 p415 p435 p173 p253 p424 p266 p500 p569 p582 } a20 {p502 p275 p53 p312 p410 p348 p198 p434 p417 p349 p173 p82 p255 p604 p395 p259 p426 p239 p272 }) ({p219 p405 p507 p11 p339 p93 p515 p440 p598 } a31 {p335 p543 p405 p93 p209 p115 p46 }) ({p80 p404 p524 p525 p526 } a12 {p404 p524 p525 p526 p40 }) ({p134 p3 p242 p546 p372 p312 p11 p410 p594 p198 p383 p316 p434 p390 p565 p419 p362 p260 p495 p609 p93 p499 } a31 {p273 p6 p375 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p561 p219 p541 p292 p450 p307 p405 p32 p142 p311 p38 p467 } a51 {p561 p219 p541 p139 p307 p405 p311 p443 p124 p18 p467 p446 }) ({p502 p240 p221 p105 p306 p376 p11 p510 p597 p415 p82 p395 p93 p239 } a31 {p240 p585 p505 p306 p314 p412 p595 p415 p90 p214 p496 p93 p46 }) ({p135 p306 p6 p375 p558 p412 p17 p199 p596 p385 p384 p435 p564 p602 p424 p364 p93 p266 p500 p569 } a20 {p502 p134 p53 p10 p224 p312 p410 p198 p383 p247 p434 p390 p579 p565 p82 p120 p395 p259 p422 p609 p93 p426 p366 p272 }) ({p166 p347 p195 p380 p17 p514 p180 p249 p491 p172 p361 p338 p187 p93 p271 } a20 {p53 p403 p168 p379 p178 p316 p251 p419 p362 p260 p495 p185 p174 p93 }) ({p563 p404 p374 p405 p309 p17 p413 p497 p556 p93 p209 } a20 {p557 p219 p563 p53 p404 p405 p309 p297 p113 p413 p93 p131 }) ({p74 } a29 {p11 }) ({p540 p135 p404 p309 p405 p572 p509 p558 p204 p17 p413 p286 p149 p433 p564 p252 p580 p207 p353 p528 p530 p324 p93 } a20 {p542 p404 p482 p405 p413 p286 p578 p120 p355 p422 p567 p134 p53 p138 p309 p512 p431 p145 p247 p565 p254 p208 p529 p188 p93 p325 }) ({p585 p377 p511 p496 p17 p584 } a20 {p220 p53 p546 p376 p510 p499 p597 p248 }) ({p70 } a14 {p30 }) ({p492 p604 p406 p64 p11 p608 p348 p365 } a31 {p416 p588 p451 p223 p347 p498 p340 p582 p46 }) ({p601 p243 p32 p604 p494 p348 p581 p212 } a51 {p517 p603 p345 p223 p498 p340 p18 p582 }) ({p565 p312 p11 p420 p438 } a31 {p563 p309 p558 p569 p46 }) ({p102 p570 p544 p505 p404 p222 p405 p373 p309 p430 p377 p112 p17 p413 p577 p563 p296 p90 p555 p214 p532 p93 p427 } a20 {p221 p105 p547 p571 p404 p405 p373 p376 p413 p114 p575 p211 p24 p554 p298 p453 p53 p506 p309 p248 p436 p563 p256 p323 p93 }) ({p85 p21 } a37 {p23 p59 p88 }) ({p561 p219 p541 p277 p307 p405 p32 p311 p285 p148 p467 p216 } a51 {p561 p219 p541 p277 p307 p405 p311 p148 p265 p288 p18 p467 }) ({p220 p545 p328 p404 p405 p309 p310 p60 p463 p313 p283 p333 p17 p413 p467 p289 p518 p474 p563 p475 p534 p93 } a20 {p220 p545 p53 p404 p405 p309 p310 p60 p313 p283 p413 p334 p467 p289 p472 p563 p294 p475 p523 p437 p477 p93 }) ({p240 p418 p309 p11 p196 p582 } a31 {p240 p418 p309 p196 p582 p46 }) ({p138 p404 p482 p309 p405 p11 p512 p331 p413 p247 p291 p448 p254 p87 p120 p554 p422 p567 p188 p93 p535 p267 p325 } a31 {p326 p540 p135 p404 p442 p309 p405 p112 p513 p413 p149 p72 p433 p291 p564 p580 p207 p257 p296 p353 p530 p93 p46 }) ({p345 p11 p212 } a31 {p345 p212 p46 }) ({p237 p357 p17 p171 } a20 {p53 p237 p382 p359 p171 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p512 p413 p289 p448 p563 p580 p254 p87 p265 p188 p93 p535 p267 p452 } a31 {p540 p220 p308 p404 p442 p405 p309 p315 p285 p513 p413 p149 p72 p473 p563 p580 p207 p257 p353 p121 p530 p93 p270 p46 }) ({p502 p221 p105 p306 p376 p11 p510 p314 p597 p415 p82 p93 p239 } a31 {p585 p505 p306 p90 p314 p214 p496 p93 p595 p46 p415 }) ({p404 p309 p405 p148 p17 p413 p93 p287 p439 p130 } a20 {p561 p541 p53 p550 p404 p309 p405 p413 p93 p447 }) ({p46 } a33 {p67 }) ({p557 p219 p317 p11 p339 p515 p447 } a31 {p335 p405 p314 p497 p209 p130 p46 }) ({p276 p590 p244 p485 p11 p510 p379 p359 p227 p597 p388 p349 p606 p185 p123 p93 p239 } a31 {p0 p240 p276 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p127 p46 }) ({p134 p565 p312 p11 p421 p495 p410 p531 p499 } a31 {p558 p511 p187 p531 p432 p500 p569 p46 }) ({p542 p220 p404 p310 p405 p222 p309 p11 p145 p413 p114 p248 p471 p563 p256 p355 p298 p93 } a31 {p220 p404 p405 p222 p309 p377 p413 p563 p252 p528 p555 p93 p299 p46 }) ({p102 p542 p404 p310 p405 p309 p11 p145 p413 p114 p248 p211 p471 p563 p208 p256 p355 p298 p93 } a31 {p102 p404 p222 p405 p309 p377 p204 p413 p563 p252 p528 p555 p93 p299 p46 }) ({p219 p317 p507 p11 p339 p515 p440 p598 } a31 {p335 p543 p405 p314 p209 p115 p46 }) ({p102 p505 p404 p222 p405 p309 p377 p112 p17 p413 p575 p563 p296 p90 p555 p214 p93 } a20 {p53 p221 p105 p404 p506 p405 p309 p376 p413 p114 p575 p248 p211 p24 p563 p256 p554 p298 p93 }) ({p220 p545 p404 p140 p405 p309 p11 p313 p413 p149 p467 p289 p468 p563 p473 p475 p265 p93 } a31 {p220 p545 p404 p405 p309 p313 p285 p413 p149 p467 p468 p563 p473 p475 p121 p93 p270 p46 }) ({p336 p156 p66 p98 } a7 {p478 p173 p100 p73 }) ({p151 p162 p173 p485 p64 p11 p608 p357 p185 p178 } a31 {p249 p491 p418 p451 p338 p527 p156 p382 p514 p171 p46 }) ({p327 p220 p479 p54 p461 p404 p310 p405 p309 p443 p11 p109 p413 p334 p516 p114 p472 p471 p563 p523 p256 p298 p93 } a31 {p277 p220 p54 p328 p404 p405 p309 p463 p332 p413 p470 p518 p563 p450 p83 p555 p93 p299 p538 p269 p46 }) ({p326 p220 p52 p404 p442 p405 p309 p112 p332 p513 p17 p413 p72 p469 p563 p450 p83 p257 p296 p555 p93 p538 p269 } a20 {p327 p220 p52 p479 p53 p404 p405 p309 p443 p109 p331 p413 p516 p114 p469 p448 p563 p256 p87 p554 p298 p93 p535 p267 }) ({p200 p17 } a20 {p53 p238 p196 }) ({p347 p195 p17 p514 p180 p249 p491 p451 p338 p156 p187 p93 p271 } a20 {p53 p403 p64 p178 p316 p251 p173 p419 p260 p495 p185 p174 p93 }) ({p220 p585 p11 p197 } a31 {p220 p197 p531 p597 p46 }) ({p502 p240 p3 p221 p105 p547 p279 p373 p376 p11 p510 p575 p597 p436 p349 p82 p255 p395 p259 p93 p426 p239 p366 p272 } a31 {p367 p240 p276 p570 p585 p505 p306 p6 p314 p412 p199 p595 p385 p415 p435 p258 p90 p214 p532 p496 p93 p427 p46 }) ({p134 p563 p309 p32 p410 p531 p287 p398 p386 } a51 {p561 p307 p420 p438 p531 p18 p500 }) ({p473 p285 p358 p17 p149 p161 } a20 {p471 p545 p53 p138 p313 p145 p265 p452 }) ({p220 p479 p54 p404 p310 p405 p309 p443 p11 p109 p332 p413 p516 p114 p471 p563 p523 p256 p298 p93 } a31 {p277 p220 p54 p404 p405 p309 p332 p413 p518 p563 p450 p83 p555 p93 p299 p538 p269 p46 }) ({p326 p459 p58 p442 p142 p284 p332 p513 p17 p72 p470 p26 p450 p83 p257 p121 p538 p270 p269 } a20 {p327 p479 p53 p56 p461 p140 p443 p109 p331 p516 p469 p289 p448 p29 p87 p124 p95 p535 p267 }) ({p540 p404 p405 p572 p17 p413 p291 p580 p353 p455 p48 p135 p309 p509 p558 p204 p149 p433 p564 p252 p207 p528 p530 p324 p93 } a20 {p542 p404 p482 p405 p286 p413 p578 p120 p355 p422 p567 p48 p457 p134 p53 p138 p309 p512 p431 p145 p247 p565 p254 p208 p529 p188 p93 p325 }) ({p68 } a8 {p65 }) ({p71 } a30 {p35 }) ({p275 p588 p223 p409 p348 p17 p595 p415 p605 p527 p498 p217 p582 } a20 {p275 p417 p53 p349 p590 p604 p485 p348 p359 p227 p123 p239 }) ({p403 p312 p11 p410 p348 p316 p434 p417 p419 p604 p495 p174 p93 p271 } a31 {p409 p347 p424 p187 p340 p93 p500 p180 p569 p582 p46 p271 }) ({p79 } a11 {p42 }) ({p220 p545 p404 p405 p309 p62 p11 p313 p413 p467 p563 p450 p475 p124 p95 p93 } a31 {p220 p545 p404 p405 p309 p142 p62 p313 p284 p413 p69 p467 p563 p450 p475 p476 p93 p46 }) ({p417 p173 p306 p346 p412 p17 p340 p595 p500 p569 p582 } a20 {p502 p53 p244 p312 p410 p348 p417 p173 p82 p604 p395 p259 p239 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p413 p289 p448 p563 p580 p254 p87 p530 p265 p188 p93 p267 p452 } a31 {p540 p220 p308 p404 p442 p405 p309 p315 p285 p413 p149 p72 p473 p563 p580 p207 p257 p353 p121 p530 p93 p270 p46 }) ({p220 p404 p442 p405 p309 p112 p17 p413 p563 p450 p257 p296 p87 p555 p93 p269 } a20 {p220 p53 p404 p405 p309 p443 p109 p413 p114 p448 p563 p256 p87 p554 p298 p93 p267 }) ({p138 p404 p309 p405 p11 p413 p247 p448 p563 p564 p120 p554 p93 } a31 {p135 p404 p442 p309 p405 p112 p413 p149 p563 p564 p296 p93 p46 }) ({p220 p32 p405 p376 p554 p497 p531 p209 p130 } a51 {p557 p219 p405 p296 p112 p531 p18 p584 p130 }) ({p345 p451 p238 p494 p17 p581 p212 } a20 {p200 p53 p481 p603 p345 p64 p179 p440 }) ({p543 p32 p510 p486 p185 p197 p597 p568 p115 } a51 {p491 p585 p507 p184 p157 p496 p18 p598 }) ({p162 p133 p483 p527 p17 p399 } a20 {p101 p201 p164 p53 p136 p117 p485 p359 p171 }) ({p220 p545 p404 p405 p309 p11 p313 p283 p413 p467 p446 p289 p563 p475 p38 p93 } a31 {p220 p545 p404 p139 p405 p309 p313 p283 p413 p467 p446 p289 p563 p475 p476 p93 p46 }) ({p416 p421 p17 } a20 {p416 p53 p419 p432 p316 }) ({p201 p485 p11 p510 p379 p185 p359 p93 p239 p597 } a31 {p491 p585 p361 p418 p527 p196 p496 p93 p595 p514 p46 }) ({p220 p545 p404 p58 p140 p405 p309 p11 p246 p413 p333 p149 p289 p563 p477 p265 p93 p452 } a31 {p220 p545 p404 p308 p58 p405 p309 p315 p285 p413 p333 p149 p335 p473 p563 p121 p534 p93 p270 p46 }) ({p220 p404 p310 p405 p309 p443 p11 p413 p114 p471 p563 p256 p298 p93 p269 } a31 {p277 p220 p404 p405 p309 p413 p563 p450 p555 p93 p299 p269 p46 }) ({p102 p570 p505 p547 p404 p222 p405 p309 p430 p377 p112 p17 p413 p577 p563 p296 p90 p555 p214 p93 p427 } a20 {p53 p221 p105 p547 p571 p404 p506 p405 p309 p376 p413 p114 p575 p248 p211 p24 p436 p563 p256 p323 p554 p298 p93 }) ({p590 p244 p485 p11 p510 p379 p359 p227 p597 p415 p606 p185 p93 p239 } a31 {p240 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p46 }) ({p220 p545 p404 p405 p309 p62 p11 p313 p283 p285 p413 p467 p289 p563 p294 p475 p437 p477 p93 } a31 {p220 p545 p404 p405 p309 p62 p313 p283 p285 p333 p413 p467 p289 p335 p474 p563 p475 p534 p93 p46 }) ({p138 p404 p482 p309 p405 p11 p413 p247 p448 p353 p120 p554 p422 p93 } a31 {p540 p135 p404 p442 p309 p405 p112 p413 p149 p564 p296 p353 p93 p46 }) ({p73 } a9 {p68 }) ({p77 } a10 {p61 }) ({p0 p279 p592 p195 p511 p380 p17 p514 p597 p389 p491 p361 p607 p496 p187 p93 p127 } a20 {p3 p53 p279 p372 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p93 p499 }) ({p601 p32 p345 p604 p494 p581 p212 } a51 {p517 p603 p345 p223 p498 p18 p582 }) ({p220 p542 p545 p56 p404 p308 p405 p309 p285 p17 p413 p334 p473 p563 p523 p93 p299 } a20 {p220 p542 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p471 p563 p523 p265 p93 p452 }) ({p327 p220 p479 p545 p461 p404 p58 p405 p309 p443 p11 p313 p109 p284 p413 p334 p467 p516 p472 p563 p475 p523 p124 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p46 p58 p309 p142 p463 p313 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p543 p508 p486 p186 p17 p568 p115 } a20 {p53 p493 p507 p184 p96 p531 p394 p598 }) ({p67 } a34 {p63 }) ({p540 p220 p308 p404 p405 p309 p285 p17 p413 p149 p473 p563 p355 p528 p93 p299 } a20 {p542 p220 p53 p138 p404 p310 p482 p405 p309 p246 p145 p413 p471 p563 p355 p265 p93 p452 }) ({p220 p545 p404 p58 p140 p405 p309 p11 p246 p413 p289 p563 p294 p437 p477 p265 p93 p452 } a31 {p220 p545 p404 p308 p58 p405 p309 p315 p285 p333 p413 p335 p474 p473 p563 p121 p534 p93 p270 p46 }) ({p312 p11 p438 p340 } a31 {p240 p309 p348 p569 p46 }) ({p135 p306 p558 p412 p17 p199 p383 p435 p564 p424 p93 p266 p500 p569 } a20 {p502 p134 p53 p312 p410 p198 p383 p247 p434 p565 p82 p120 p395 p259 p422 p93 p426 p272 }) ({p471 p250 p542 p256 p310 p11 p298 p145 p114 } a31 {p377 p354 p528 p555 p299 p46 }) ({p296 p377 p112 p555 p17 p584 } a20 {p220 p53 p256 p376 p554 p298 p114 p248 }) ({p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p284 p332 p413 p467 p516 p563 p475 p523 p124 p93 } a31 {p277 p220 p545 p404 p58 p405 p309 p142 p313 p284 p332 p413 p467 p518 p563 p450 p475 p476 p83 p93 p538 p269 p46 }) ({p326 p56 p442 p142 p284 p332 p513 p17 p72 p469 p450 p83 p257 p121 p538 p270 p269 } a20 {p327 p479 p53 p56 p140 p443 p109 p331 p516 p289 p469 p448 p87 p124 p95 p535 p267 }) ({p102 p570 p585 p505 p279 p222 p377 p511 p17 p577 p436 p90 p214 p496 } a20 {p53 p221 p105 p546 p279 p571 p506 p376 p510 p575 p597 p248 p211 p24 p436 p499 }) ({p59 } a25 {p84 }) ({p346 p412 p438 p17 p340 p595 p500 p582 } a20 {p502 p53 p82 p309 p604 p244 p395 p410 p348 p239 }) ({p448 p138 p140 p11 p265 p289 p454 } a31 {p475 p442 p121 p315 p285 p149 p270 p46 }) ({p135 p564 p306 p558 p412 p17 p93 p500 p569 p434 } a20 {p502 p134 p53 p312 p410 p247 p434 p565 p82 p120 p395 p259 p422 p93 }) ({p63 } a35 {p74 }) ({p102 p367 p273 p570 p544 p585 p505 p6 p222 p430 p377 p511 p17 p577 p387 p258 p90 p214 p532 p496 p427 } a20 {p53 p221 p105 p547 p242 p279 p546 p571 p506 p373 p10 p376 p510 p575 p597 p248 p211 p24 p436 p323 p453 p356 p499 }) ({p542 p571 p404 p405 p11 p286 p413 p114 p211 p387 p578 p24 p355 p298 p453 p506 p310 p309 p431 p145 p248 p471 p563 p208 p256 p529 p323 p93 } a31 {p102 p544 p404 p222 p405 p309 p572 p509 p377 p430 p413 p204 p577 p387 p563 p252 p528 p555 p324 p93 p299 p455 p46 }) ({p542 p571 p404 p405 p11 p286 p413 p114 p211 p578 p24 p234 p355 p298 p453 p356 p506 p310 p309 p431 p145 p248 p471 p563 p208 p256 p529 p323 p93 } a31 {p102 p544 p404 p222 p405 p309 p572 p509 p377 p430 p413 p204 p577 p387 p563 p234 p252 p528 p555 p324 p93 p299 p455 p46 }) ({p374 p508 p17 p93 p209 p115 p598 } a20 {p219 p53 p507 p96 p93 p131 p598 }) ({p478 p17 p100 } a20 {p53 p481 p196 p93 p179 p576 }) ({p491 p585 p279 p361 p606 p195 p511 p380 p17 p496 p187 p514 } a20 {p53 p546 p279 p510 p379 p316 p597 p419 p362 p606 p260 p495 p185 p499 }) ({p435 p135 p564 p306 p558 p412 p424 p17 p198 p93 p500 p569 } a20 {p502 p134 p53 p312 p410 p198 p247 p434 p565 p82 p120 p395 p259 p422 p93 p426 }) ({p540 p220 p308 p404 p405 p309 p285 p17 p413 p149 p473 p563 p252 p208 p353 p528 p93 p299 } a20 {p542 p220 p53 p138 p404 p310 p482 p405 p309 p246 p145 p413 p471 p563 p254 p208 p355 p265 p93 p452 }) ({p471 p545 p405 p374 p32 p313 p145 p531 p439 p159 p130 } a51 {p541 p405 p374 p311 p358 p531 p18 p161 p130 }) ({p491 p511 p157 p496 p17 p187 p597 } a20 {p53 p419 p510 p495 p185 p197 p316 p499 p597 }) ({p102 p570 p505 p279 p222 p430 p377 p511 p17 p597 p577 p90 p214 p496 p93 p427 } a20 {p53 p221 p105 p279 p571 p506 p376 p510 p575 p597 p248 p211 p24 p436 p323 p93 p499 }) ({p173 p481 p64 p184 p11 p93 p179 p576 } a31 {p418 p337 p451 p486 p156 p93 p568 p46 }) ({p327 p220 p479 p545 p461 p404 p58 p405 p309 p443 p11 p313 p109 p413 p334 p467 p516 p472 p563 p475 p523 p124 p95 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p46 p58 p309 p142 p463 p313 p69 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p471 p541 p405 p374 p32 p313 p148 p531 p159 p130 } a51 {p541 p405 p374 p311 p148 p531 p18 p161 p130 }) ({p32 p510 p486 p185 p197 p531 p568 p115 } a51 {p491 p507 p184 p157 p496 p531 p18 }) ({p220 p545 p328 p58 p404 p308 p405 p309 p463 p285 p333 p17 p413 p518 p474 p26 p473 p563 p534 p93 p299 } a20 {p220 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p472 p471 p563 p294 p29 p523 p437 p477 p265 p93 p452 }) ({p326 p220 p545 p404 p442 p405 p332 p17 p413 p289 p450 p121 p459 p56 p309 p142 p313 p513 p467 p72 p470 p563 p475 p83 p257 p93 p538 p269 } a20 {p327 p220 p479 p545 p404 p405 p443 p109 p331 p413 p289 p448 p124 p53 p56 p461 p140 p309 p313 p467 p516 p469 p563 p475 p87 p93 p535 p267 }) ({p450 p442 p142 p257 p87 p121 p284 p17 p270 p269 } a20 {p448 p53 p140 p443 p87 p109 p124 p95 p267 p289 }) ({p504 p221 p376 p11 p86 p120 p554 p413 p247 } a31 {p335 p135 p104 p296 p112 p214 p413 p46 }) ({p220 p545 p404 p405 p309 p11 p64 p313 p284 p413 p467 p563 p475 p34 p124 p93 } a31 {p220 p545 p404 p405 p309 p142 p62 p313 p284 p413 p467 p563 p475 p476 p451 p93 p46 }) ({p220 p545 p404 p405 p309 p142 p62 p313 p17 p413 p467 p289 p563 p475 p31 p121 p93 } a20 {p220 p545 p53 p404 p140 p405 p60 p309 p313 p413 p467 p289 p563 p475 p34 p124 p93 }) ({p273 p134 p3 p372 p312 p11 p410 p594 p198 p383 p316 p434 p390 p565 p419 p362 p260 p495 p609 p531 p93 p499 } a31 {p273 p6 p375 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p540 p404 p405 p572 p13 p17 p413 p291 p580 p353 p455 p50 p135 p309 p509 p558 p204 p149 p433 p564 p252 p207 p528 p530 p324 p93 } a20 {p542 p404 p482 p405 p16 p286 p413 p578 p120 p355 p422 p567 p48 p457 p134 p53 p138 p309 p512 p431 p145 p247 p565 p254 p208 p529 p188 p93 p325 }) ({p220 p545 p404 p405 p309 p11 p64 p313 p413 p467 p563 p294 p475 p437 p34 p477 p93 } a31 {p220 p545 p404 p405 p309 p62 p313 p333 p413 p467 p335 p474 p563 p475 p451 p534 p93 p46 }) ({p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p332 p413 p467 p516 p563 p475 p523 p124 p95 p93 } a31 {p277 p220 p545 p404 p58 p405 p309 p142 p313 p284 p332 p69 p413 p467 p518 p563 p450 p475 p476 p83 p93 p538 p269 p46 }) ({p138 p404 p482 p309 p405 p11 p413 p247 p448 p207 p254 p120 p554 p422 p93 p267 } a31 {p540 p135 p404 p442 p309 p405 p112 p413 p149 p564 p207 p257 p296 p353 p93 p46 }) ({p220 p545 p404 p405 p309 p11 p313 p413 p467 p292 p563 p475 p38 p93 } a31 {p277 p220 p545 p139 p404 p405 p309 p313 p413 p467 p446 p563 p475 p476 p93 p46 }) ({p220 p404 p310 p405 p309 p443 p11 p109 p413 p114 p471 p563 p256 p83 p298 p93 } a31 {p277 p220 p404 p405 p309 p413 p563 p450 p83 p555 p93 p299 p269 p46 }) ({p135 p306 p558 p412 p17 p199 p385 p435 p564 p609 p424 p364 p93 p266 p500 p569 } a20 {p502 p134 p53 p312 p410 p198 p383 p247 p434 p565 p82 p120 p395 p259 p422 p609 p93 p426 p366 p272 }) ({p74 } a28 {p71 }) ({p276 p590 p346 p485 p11 p510 p379 p359 p227 p597 p388 p349 p606 p185 p123 p93 p239 } a31 {p0 p276 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p127 p46 }) ({p219 p541 p307 p405 p374 p311 p148 p467 p561 p476 p32 p531 p130 } a51 {p219 p541 p307 p405 p374 p311 p148 p18 p467 p561 p476 p531 p130 }) ({p104 p317 p32 p339 p413 p595 p515 p440 } a51 {p504 p405 p86 p396 p18 p239 }) ({p220 p545 p404 p405 p309 p443 p11 p313 p284 p413 p467 p563 p475 p124 p93 p269 } a31 {p277 p220 p545 p404 p405 p309 p142 p313 p284 p413 p467 p563 p450 p475 p476 p93 p269 p46 }) ({p275 p306 p409 p348 p412 p17 p595 p415 p435 p173 p424 p500 p569 p582 } a20 {p502 p275 p53 p312 p410 p348 p434 p417 p349 p173 p82 p604 p395 p259 p426 p239 }) ({p135 p306 p558 p412 p17 p199 p596 p385 p435 p564 p390 p602 p424 p364 p93 p266 p500 p569 } a20 {p502 p134 p53 p312 p410 p198 p383 p247 p434 p390 p565 p579 p82 p120 p395 p259 p422 p609 p93 p426 p366 p272 }) ({p220 p479 p54 p404 p310 p405 p309 p443 p11 p109 p332 p413 p114 p471 p563 p256 p298 p93 p538 } a31 {p277 p220 p54 p404 p405 p309 p332 p413 p563 p450 p83 p555 p93 p299 p269 p538 p46 }) ({p140 p11 p265 p149 p289 p454 } a31 {p475 p121 p315 p285 p149 p270 p46 }) ({p220 p545 p404 p138 p140 p405 p309 p11 p315 p413 p289 p448 p563 p265 p93 } a31 {p220 p545 p404 p442 p405 p309 p315 p285 p413 p149 p563 p121 p93 p270 p46 }) ({p448 p60 p142 p121 p284 p17 p270 } a20 {p448 p53 p140 p60 p124 p95 p289 }) ({p542 p565 p11 p420 p358 } a31 {p563 p545 p528 p558 p46 }) ({p135 p104 p317 p32 p339 p413 p515 p447 } a51 {p504 p405 p86 p120 p396 p18 p247 p130 }) ({p220 p545 p404 p405 p309 p11 p64 p313 p413 p467 p563 p475 p34 p124 p95 p93 } a31 {p220 p545 p404 p405 p309 p142 p62 p313 p284 p69 p413 p467 p563 p475 p476 p451 p93 p46 }) ({p220 p545 p404 p139 p405 p309 p313 p283 p17 p413 p467 p289 p449 p563 p475 p119 p93 } a20 {p220 p53 p545 p137 p404 p405 p309 p313 p283 p413 p467 p289 p449 p563 p475 p38 p93 }) ({p104 p32 p405 p339 p595 p515 p440 } a51 {p504 p405 p86 p18 p239 }) ({p517 p11 p348 } a31 {p601 p588 p348 p46 }) ({p502 p221 p105 p547 p279 p244 p376 p11 p510 p575 p597 p385 p436 p349 p82 p255 p395 p259 p93 p426 p239 p272 } a31 {p240 p276 p570 p585 p505 p306 p346 p314 p412 p199 p595 p385 p415 p435 p258 p90 p214 p532 p496 p93 p427 p46 }) ({p200 p481 p237 p32 p527 p382 p595 p179 p440 } a51 {p231 p238 p485 p357 p18 p239 }) ({p517 p451 p346 p223 p527 p498 p340 p17 p595 p582 } a20 {p601 p53 p604 p244 p485 p64 p348 p359 p227 p239 }) ({p7 } a41 {p20 }) ({p273 p0 p592 p195 p511 p380 p17 p514 p597 p389 p491 p361 p258 p607 p496 p187 p93 p127 } a20 {p3 p53 p242 p279 p372 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p93 p499 }) ({p540 p220 p404 p405 p572 p285 p17 p413 p19 p291 p580 p353 p299 p455 p54 p308 p309 p509 p144 p204 p149 p433 p473 p563 p155 p252 p207 p528 p530 p324 p93 } a20 {p542 p220 p404 p482 p405 p110 p286 p413 p22 p578 p355 p567 p452 p457 p52 p53 p138 p310 p309 p246 p512 p431 p145 p471 p152 p563 p254 p208 p529 p265 p188 p93 p325 }) ({p320 p17 } a20 {p53 p315 p467 }) ({p102 p570 p505 p404 p222 p405 p309 p377 p112 p17 p413 p577 p563 p436 p296 p90 p555 p214 p93 } a20 {p53 p221 p105 p571 p404 p506 p405 p309 p376 p413 p114 p575 p248 p211 p24 p563 p436 p256 p554 p298 p93 }) ({p541 p220 p404 p405 p309 p311 p11 p113 p413 p563 p297 p93 p131 } a31 {p563 p220 p404 p374 p405 p309 p413 p556 p93 p439 p159 p46 }) ({p491 p585 p279 p195 p511 p379 p496 p187 p17 p514 } a20 {p53 p546 p279 p419 p260 p510 p495 p185 p379 p316 p499 p597 }) ({p475 p32 p320 p285 p148 p216 } a51 {p265 p148 p288 p467 p18 p454 }) ({p540 p135 p404 p309 p405 p558 p17 p413 p149 p564 p252 p208 p353 p528 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p145 p413 p247 p565 p254 p208 p120 p355 p422 p93 }) ({p220 p545 p404 p405 p309 p443 p11 p313 p413 p467 p563 p475 p124 p95 p93 p269 } a31 {p277 p220 p545 p404 p405 p309 p142 p313 p284 p69 p413 p467 p563 p450 p475 p476 p93 p269 p46 }) ({p11 p98 p268 } a31 {p98 p268 p46 }) ({p561 p135 p550 p307 p32 p405 p149 p447 } a51 {p561 p138 p307 p405 p120 p148 p18 p247 p130 }) ({p585 p279 p105 p222 p377 p511 p214 p496 p17 } a20 {p53 p221 p546 p279 p105 p376 p510 p597 p499 p248 p211 }) ({p309 p243 p32 p604 p410 p348 p196 p581 p398 p386 } a51 {p307 p603 p345 p196 p438 p340 p18 p500 p582 }) ({p540 p135 p404 p309 p405 p558 p17 p413 p149 p564 p528 p355 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p145 p413 p247 p565 p120 p422 p355 p93 }) ({p220 p404 p482 p405 p11 p331 p413 p289 p291 p448 p567 p452 p138 p140 p309 p246 p512 p563 p254 p87 p265 p188 p93 p535 p267 p325 } a31 {p326 p540 p220 p404 p442 p405 p285 p413 p291 p580 p353 p121 p46 p308 p309 p315 p513 p149 p72 p433 p473 p563 p207 p257 p530 p93 p270 }) ({p273 p134 p3 p546 p372 p312 p11 p410 p594 p198 p383 p316 p434 p390 p565 p419 p362 p260 p495 p609 p93 p499 } a31 {p273 p6 p375 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p542 p310 p11 p358 p161 } a31 {p545 p313 p528 p299 p46 }) ({p585 p279 p592 p195 p511 p380 p17 p514 p388 p491 p361 p607 p496 p187 } a20 {p53 p546 p279 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p499 }) ({p585 p11 p157 } a31 {p197 p531 p514 p597 p46 }) ({p84 } a26 {p74 }) ({p11 p157 p531 } a31 {p197 p531 p514 p46 }) ({p337 p156 p17 p489 p98 p583 } a20 {p490 p173 p53 p93 p488 p290 }) ({p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p284 p332 p413 p467 p563 p475 p124 p93 p538 } a31 {p277 p220 p545 p404 p58 p405 p309 p142 p313 p284 p332 p413 p467 p563 p450 p475 p476 p83 p93 p269 p538 p46 }) ({p337 p32 p486 p185 p197 p178 p268 p568 } a51 {p190 p491 p184 p338 p157 p18 }) ({p220 p404 p482 p405 p11 p331 p413 p289 p448 p567 p452 p457 p138 p140 p309 p246 p512 p469 p563 p155 p254 p87 p265 p188 p93 p535 p267 p325 } a31 {p326 p540 p220 p404 p442 p405 p285 p413 p291 p580 p353 p121 p46 p459 p308 p309 p315 p513 p149 p72 p433 p473 p563 p155 p207 p257 p530 p93 p270 }) ({p590 p346 p485 p11 p510 p379 p359 p227 p597 p415 p606 p185 p93 p239 } a31 {p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p46 }) ({p541 p220 p545 p404 p405 p309 p17 p413 p288 p467 p563 p93 p159 } a20 {p541 p220 p545 p53 p404 p405 p309 p311 p413 p563 p320 p93 p216 }) ({p273 p134 p542 p571 p506 p11 p431 p145 p248 p211 p578 p24 p565 p208 p529 p323 p355 p531 p93 p499 } a31 {p102 p273 p222 p572 p509 p430 p377 p558 p511 p204 p577 p252 p528 p324 p531 p93 p46 }) ({p220 p545 p404 p442 p405 p331 p17 p413 p289 p450 p121 p56 p309 p142 p313 p513 p467 p72 p563 p475 p83 p257 p93 p538 p269 } a20 {p220 p479 p545 p404 p405 p443 p109 p331 p413 p289 p448 p124 p53 p56 p140 p309 p313 p467 p516 p563 p475 p87 p93 p535 p267 }) ({p601 p223 p11 p348 } a31 {p601 p223 p348 p46 }) ({p276 p588 p223 p409 p348 p17 p595 p415 p253 p605 p527 p498 p217 p582 } a20 {p275 p53 p590 p485 p348 p359 p227 p417 p349 p255 p604 p123 p239 }) ({p327 p220 p479 p56 p461 p404 p310 p405 p309 p443 p11 p109 p413 p334 p516 p114 p22 p472 p471 p563 p523 p256 p298 p93 } a31 {p277 p220 p54 p328 p404 p405 p309 p463 p332 p413 p470 p518 p26 p563 p450 p83 p555 p93 p299 p538 p269 p46 }) ({p279 p590 p244 p485 p11 p510 p379 p359 p227 p597 p388 p349 p255 p606 p185 p123 p93 p239 } a31 {p0 p240 p276 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p258 p527 p496 p93 p127 p46 }) ({p137 p11 p320 p283 p148 p216 } a31 {p119 p315 p92 p148 p288 p467 p46 }) ({p220 p545 p404 p405 p309 p443 p11 p313 p109 p284 p413 p467 p563 p475 p83 p124 p93 } a31 {p277 p220 p545 p404 p405 p309 p142 p313 p284 p413 p467 p563 p450 p475 p476 p83 p93 p269 p46 }) ({p190 p491 p451 p338 p347 p156 p157 p187 p17 p180 } a20 {p173 p53 p419 p403 p64 p495 p185 p197 p174 p178 p316 p268 }) ({p11 p92 } a31 {p283 p69 p46 }) ({p337 p451 p486 p156 p186 p93 p17 p568 } a20 {p173 p53 p493 p64 p184 p93 p488 p394 }) ({p449 p137 p550 p11 p320 p283 p216 } a31 {p407 p119 p315 p92 p148 p288 p467 p46 }) ({p138 p404 p482 p309 p405 p11 p512 p413 p247 p433 p448 p254 p87 p120 p554 p422 p567 p188 p93 p535 p267 } a31 {p540 p135 p404 p442 p309 p405 p112 p513 p413 p149 p72 p433 p564 p580 p207 p257 p296 p353 p530 p93 p46 }) ({p481 p32 p527 p382 p179 p576 p171 } a51 {p151 p162 p485 p608 p357 p18 }) ({p406 p421 p17 } a20 {p416 p53 p419 p403 p432 p316 }) ({p588 p451 p605 p346 p223 p527 p498 p340 p17 p595 p582 } a20 {p53 p590 p604 p244 p485 p64 p348 p359 p227 p239 }) ({p502 p221 p105 p306 p244 p376 p11 p510 p597 p415 p82 p395 p93 p239 } a31 {p240 p585 p505 p306 p346 p314 p412 p595 p415 p90 p214 p496 p93 p46 }) ({p502 p240 p221 p105 p376 p11 p510 p575 p597 p415 p82 p395 p259 p93 p239 } a31 {p240 p570 p585 p505 p306 p314 p412 p595 p415 p90 p214 p496 p93 p46 }) ({p292 p563 p220 p404 p405 p309 p311 p11 p297 p113 p413 p93 } a31 {p563 p277 p220 p404 p405 p309 p413 p556 p93 p446 p159 p46 }) ({p220 p545 p139 p404 p405 p309 p407 p313 p283 p17 p413 p467 p446 p563 p475 p119 p93 } a20 {p220 p545 p53 p137 p404 p405 p309 p313 p283 p413 p467 p292 p449 p563 p475 p38 p93 }) ({p151 p164 p485 p11 p379 p185 p359 p178 p93 } a31 {p249 p491 p361 p418 p166 p338 p527 p93 p514 p46 }) ({p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p332 p413 p467 p563 p475 p124 p95 p93 p538 } a31 {p277 p220 p545 p404 p58 p405 p309 p142 p313 p284 p332 p69 p413 p467 p563 p450 p475 p476 p83 p93 p269 p538 p46 }) ({p277 p140 p405 p374 p32 p119 p69 p148 p531 p467 p130 } a51 {p277 p137 p405 p374 p121 p69 p148 p531 p18 p467 p130 }) ({p220 p542 p545 p221 p404 p405 p17 p413 p448 p173 p237 p451 p554 p309 p310 p312 p313 p510 p467 p563 p475 p565 p603 p604 p184 p185 p93 } a20 {p220 p542 p545 p221 p404 p405 p413 p448 p173 p237 p554 p53 p309 p310 p64 p312 p313 p510 p467 p563 p475 p565 p603 p604 p184 p185 p93 }) ({p540 p220 p308 p404 p405 p309 p509 p285 p17 p413 p204 p149 p578 p473 p563 p252 p207 p353 p528 p530 p93 p299 } a20 {p542 p220 p53 p138 p404 p310 p482 p405 p309 p246 p512 p145 p413 p471 p578 p563 p254 p208 p529 p355 p265 p188 p93 p452 }) ({p220 p545 p404 p442 p405 p309 p142 p313 p17 p413 p467 p289 p563 p450 p475 p121 p93 p267 } a20 {p220 p545 p53 p404 p140 p405 p309 p443 p313 p413 p467 p289 p448 p563 p475 p124 p93 p267 }) ({p0 p276 p306 p409 p348 p412 p17 p199 p595 p385 p415 p435 p253 p156 p424 p364 p266 p500 p569 p582 } a20 {p502 p275 p3 p53 p312 p410 p348 p198 p383 p434 p417 p349 p173 p82 p255 p604 p395 p259 p426 p239 p366 p272 }) ({p20 } a46 {p21 }) ({p377 p511 p17 p496 p597 p584 } a20 {p220 p53 p376 p510 p597 p499 p248 }) ({p276 p306 p346 p409 p412 p17 p199 p595 p415 p435 p173 p253 p424 p340 p266 p500 p569 p582 } a20 {p502 p275 p53 p244 p312 p410 p348 p198 p434 p417 p349 p173 p82 p255 p604 p395 p259 p426 p239 p272 }) ({p190 p11 p98 } a31 {p249 p268 p98 p46 }) ({p220 p545 p404 p405 p309 p443 p11 p313 p109 p413 p467 p563 p475 p83 p124 p95 p93 } a31 {p277 p220 p545 p404 p405 p309 p142 p313 p284 p69 p413 p467 p563 p450 p475 p476 p83 p93 p269 p46 }) ({p540 p220 p308 p404 p405 p309 p572 p509 p431 p285 p204 p17 p413 p149 p473 p563 p252 p580 p207 p353 p528 p530 p93 p299 } a20 {p542 p220 p404 p482 p405 p413 p578 p355 p567 p452 p53 p138 p310 p309 p246 p512 p431 p145 p471 p563 p254 p208 p529 p265 p188 p93 }) ({p27 } a49 {p8 }) ({p102 p505 p279 p222 p377 p511 p17 p597 p575 p90 p214 p496 p93 } a20 {p53 p221 p105 p279 p506 p376 p510 p597 p575 p248 p211 p24 p93 p499 }) ({p273 p134 p542 p546 p571 p506 p11 p431 p145 p248 p211 p578 p24 p565 p208 p529 p323 p355 p93 p499 } a31 {p102 p273 p222 p572 p509 p430 p377 p558 p511 p204 p577 p252 p528 p324 p531 p93 p46 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p413 p289 p448 p563 p353 p265 p93 p452 } a31 {p540 p220 p308 p404 p442 p405 p309 p315 p285 p413 p149 p473 p563 p353 p121 p93 p270 p46 }) ({p338 p11 p196 p93 p268 } a31 {p338 p196 p93 p268 p46 }) ({p240 p485 p11 p510 p357 p185 p196 p239 p597 } a31 {p240 p491 p585 p418 p527 p196 p382 p496 p595 p514 p46 }) ({p542 p221 p408 p376 p377 p410 p412 p285 p413 p333 p18 p334 p289 p415 p448 p450 p237 p554 p555 p133 p134 p135 p306 p136 p310 p60 p140 p62 p142 p312 p510 p347 p511 p145 p178 p595 p149 p180 p471 p475 p565 p523 p604 p527 p185 p187 p534 } a45 {p542 p221 p408 p376 p377 p410 p412 p285 p413 p333 p334 p289 p415 p448 p450 p237 p554 p555 p133 p134 p135 p306 p136 p310 p60 p140 p62 p142 p312 p510 p347 p511 p145 p178 p595 p149 p180 p471 p475 p565 p80 p523 p604 p527 p185 p187 p534 }) ({p561 p219 p541 p277 p307 p405 p32 p142 p311 p38 p467 } a51 {p561 p219 p541 p277 p139 p307 p405 p311 p124 p18 p467 }) ({p220 p545 p404 p405 p309 p62 p11 p313 p283 p284 p413 p467 p289 p563 p450 p475 p124 p93 } a31 {p220 p545 p404 p405 p309 p142 p62 p313 p283 p284 p413 p467 p289 p563 p450 p475 p476 p93 p46 }) ({p502 p3 p221 p105 p547 p279 p373 p244 p376 p11 p510 p575 p597 p436 p349 p82 p255 p395 p259 p93 p426 p239 p366 p272 } a31 {p367 p240 p276 p570 p585 p505 p306 p6 p346 p314 p412 p199 p595 p385 p415 p435 p258 p90 p214 p496 p532 p93 p427 p46 }) ({p448 p140 p32 p407 p119 p92 p289 } a51 {p449 p137 p442 p283 p121 p18 p270 }) ({p220 p545 p328 p404 p405 p309 p463 p62 p313 p333 p17 p413 p467 p289 p518 p474 p563 p475 p31 p534 p93 } a20 {p220 p545 p53 p404 p405 p60 p309 p313 p413 p334 p467 p289 p472 p563 p294 p475 p523 p437 p34 p477 p93 }) ({p502 p240 p276 p221 p105 p376 p11 p510 p575 p597 p436 p349 p82 p395 p259 p93 p426 p239 } a31 {p240 p276 p570 p585 p505 p306 p314 p412 p595 p415 p435 p90 p214 p496 p93 p427 p46 }) ({p326 p220 p52 p459 p404 p442 p405 p309 p112 p332 p513 p17 p413 p72 p470 p563 p450 p83 p257 p296 p555 p93 p538 p269 } a20 {p327 p220 p479 p404 p405 p443 p109 p331 p413 p114 p448 p554 p298 p52 p53 p461 p309 p516 p469 p563 p256 p87 p93 p535 p267 }) ({p405 p17 p93 p287 p398 p130 p386 } a20 {p561 p317 p53 p307 p339 p93 p515 p447 }) ({p273 p134 p542 p506 p11 p145 p248 p211 p577 p24 p565 p208 p529 p355 p531 p93 p499 } a31 {p102 p273 p222 p509 p377 p558 p511 p204 p577 p252 p528 p531 p93 p46 }) ({p543 p374 p508 p17 p209 p115 } a20 {p219 p53 p507 p96 p531 p131 p598 }) ({p136 p337 p32 p178 p489 p268 p583 } a51 {p190 p338 p487 p18 p189 }) ({p540 p220 p404 p405 p572 p285 p17 p413 p291 p580 p353 p299 p455 p308 p309 p509 p204 p149 p433 p473 p563 p152 p252 p207 p528 p530 p324 p93 } a20 {p542 p220 p404 p482 p405 p286 p413 p578 p355 p567 p452 p457 p53 p138 p310 p309 p246 p512 p431 p145 p471 p563 p152 p254 p208 p529 p265 p188 p93 p325 }) ({p404 p482 p405 p11 p331 p413 p448 p120 p554 p422 p567 p457 p50 p138 p309 p512 p469 p247 p254 p87 p188 p93 p535 p267 p325 } a31 {p326 p540 p404 p442 p405 p112 p413 p291 p580 p296 p353 p46 p50 p135 p459 p309 p513 p149 p72 p433 p564 p207 p257 p530 p93 }) ({p220 p545 p56 p404 p442 p405 p309 p142 p313 p331 p17 p413 p467 p289 p72 p563 p450 p475 p83 p257 p121 p93 p535 p269 } a20 {p220 p479 p545 p53 p56 p404 p405 p140 p309 p443 p313 p109 p331 p413 p467 p289 p448 p563 p475 p87 p124 p93 p267 p535 }) ({p25 } a48 {p28 }) ({p23 } a47 {p32 }) ({p105 p404 p222 p405 p309 p377 p112 p17 p413 p563 p296 p555 p214 p93 } a20 {p53 p221 p105 p404 p405 p309 p376 p413 p114 p248 p211 p563 p256 p554 p298 p93 }) ({p11 p270 } a31 {p69 p289 p46 }) ({p404 p405 p283 p17 p413 p289 p171 p416 p173 p354 p307 p309 p310 p60 p507 p311 p312 p313 p64 p510 p432 p518 p184 p185 p534 p93 p219 p541 p220 p542 p104 p545 p221 p382 p334 p448 p449 p237 p238 p554 p557 p137 p140 p467 p561 p563 p475 p565 p603 p604 } a20 {p404 p405 p283 p413 p289 p171 p416 p173 p354 p53 p307 p309 p310 p60 p507 p311 p312 p313 p64 p510 p432 p523 p184 p185 p93 p219 p541 p220 p542 p104 p545 p221 p382 p334 p448 p449 p237 p238 p554 p557 p137 p140 p467 p561 p563 p475 p565 p603 p604 p477 }) ({p32 p354 p377 p511 p96 p131 } a51 {p250 p374 p508 p18 p499 }) ({p540 p220 p545 p404 p138 p140 p405 p309 p11 p413 p289 p448 p563 p265 p93 p452 } a31 {p540 p220 p545 p404 p442 p405 p309 p315 p285 p413 p149 p473 p563 p121 p93 p270 p46 }) ({p273 p134 p312 p11 p410 p380 p198 p316 p434 p565 p419 p260 p495 p531 p93 p499 } a31 {p273 p558 p195 p511 p380 p424 p187 p531 p93 p266 p500 p569 p46 }) ({p133 p417 p492 p403 p604 p11 p348 p363 p93 p180 } a31 {p133 p588 p223 p409 p347 p498 p340 p93 p217 p180 p582 p46 }) ({p102 p273 p570 p544 p505 p222 p373 p430 p377 p511 p17 p597 p577 p258 p90 p214 p532 p496 p93 p427 } a20 {p53 p221 p105 p547 p242 p279 p571 p506 p373 p376 p510 p575 p597 p248 p211 p24 p436 p323 p93 p453 p499 }) ({p557 p449 p563 p550 p404 p309 p405 p11 p413 p93 p447 } a31 {p563 p404 p309 p405 p407 p148 p413 p497 p93 p130 p46 }) ({p221 p105 p547 p373 p10 p376 p224 p11 p575 p232 p579 p120 p554 p422 p426 p502 p48 p247 p436 p82 p395 p259 p93 p366 p272 } a31 {p367 p135 p570 p505 p306 p13 p112 p226 p314 p412 p199 p385 p384 p435 p564 p602 p296 p90 p214 p532 p93 p427 p46 }) ({p517 p11 p340 } a31 {p240 p601 p588 p348 p46 }) ({p273 p134 p312 p11 p410 p198 p383 p316 p434 p565 p419 p362 p260 p607 p495 p531 p93 p499 } a31 {p273 p558 p195 p511 p380 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p220 p545 p404 p405 p374 p11 p408 p377 p283 p197 p412 p285 p413 p333 p288 p446 p289 p415 p450 p555 p556 p130 p133 p135 p306 p139 p309 p62 p142 p508 p313 p511 p148 p149 p467 p180 p563 p475 p525 p186 p531 p93 p187 p534 } a31 {p220 p545 p404 p405 p374 p408 p377 p283 p197 p412 p285 p413 p333 p288 p446 p289 p415 p450 p555 p556 p46 p130 p133 p135 p306 p139 p309 p62 p142 p508 p313 p511 p148 p149 p467 p180 p563 p475 p525 p186 p531 p93 p187 p534 }) ({p317 p17 } a20 {p53 p405 p314 }) ({p275 p403 p312 p11 p410 p348 p198 p316 p434 p251 p417 p172 p419 p604 p260 p495 p174 p93 } a31 {p409 p347 p195 p180 p172 p253 p424 p187 p340 p93 p266 p500 p569 p271 p582 p46 }) ({p220 p543 p32 p376 p510 p597 p209 p115 } a51 {p219 p585 p507 p496 p18 p584 p598 }) ({p275 p588 p346 p223 p409 p17 p595 p415 p605 p527 p498 p340 p217 p582 } a20 {p275 p53 p590 p244 p485 p348 p359 p227 p417 p349 p604 p123 p239 }) ({p561 p541 p11 p96 p93 p131 } a31 {p374 p508 p93 p287 p439 p46 }) ({p542 p571 p10 p11 p286 p211 p578 p24 p355 p453 p356 p499 p48 p134 p242 p506 p431 p145 p248 p565 p208 p529 p323 p531 p93 } a31 {p102 p273 p544 p222 p572 p509 p13 p430 p377 p558 p511 p204 p577 p387 p252 p528 p324 p531 p93 p455 p46 }) ({p250 p17 } a20 {p53 p354 p248 }) ({p220 p545 p137 p404 p405 p309 p11 p283 p413 p467 p449 p563 p550 p93 p216 } a31 {p220 p545 p404 p405 p309 p407 p413 p148 p288 p467 p563 p119 p92 p93 p46 }) ({p220 p545 p404 p405 p309 p60 p142 p313 p283 p17 p413 p467 p289 p448 p563 p475 p121 p93 } a20 {p220 p53 p545 p404 p405 p309 p60 p140 p313 p283 p413 p467 p289 p448 p563 p475 p93 p124 }) ({p326 p220 p545 p404 p442 p405 p332 p17 p413 p289 p26 p450 p121 p459 p58 p309 p142 p313 p513 p467 p72 p470 p563 p475 p83 p257 p93 p538 p269 } a20 {p327 p220 p479 p545 p404 p405 p443 p109 p331 p413 p289 p448 p29 p124 p53 p56 p461 p140 p309 p313 p467 p516 p469 p563 p475 p87 p93 p535 p267 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p413 p289 p448 p563 p207 p254 p265 p93 p267 p452 } a31 {p540 p220 p308 p404 p442 p405 p309 p315 p285 p413 p149 p473 p563 p207 p257 p353 p121 p93 p270 p46 }) ({p327 p220 p479 p54 p404 p310 p405 p309 p443 p11 p109 p413 p334 p516 p114 p470 p471 p563 p523 p256 p298 p93 } a31 {p277 p220 p54 p328 p404 p405 p309 p332 p413 p470 p518 p563 p450 p83 p555 p93 p299 p538 p269 p46 }) ({p220 p545 p404 p138 p140 p405 p309 p11 p413 p289 p448 p563 p321 p265 p93 } a31 {p220 p545 p404 p442 p405 p309 p315 p285 p413 p149 p468 p563 p121 p93 p270 p46 }) ({p8 } a42 {p77 }) ({p273 p134 p542 p565 p222 p11 p355 p145 p531 p93 p499 p248 } a31 {p273 p252 p222 p377 p528 p558 p511 p531 p93 p46 }) ({p231 p357 p17 } a20 {p201 p53 p237 p359 p382 }) ({p540 p135 p404 p309 p405 p572 p509 p558 p431 p204 p17 p413 p149 p564 p252 p580 p207 p353 p528 p530 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p512 p431 p145 p413 p247 p578 p565 p254 p208 p120 p529 p355 p422 p567 p188 p93 }) ({p502 p221 p105 p318 p82 p376 p11 p510 p93 p239 p597 } a31 {p585 p505 p408 p90 p314 p214 p496 p93 p595 p46 }) ({p502 p221 p105 p306 p309 p376 p11 p247 p82 p120 p395 p554 p93 } a31 {p135 p505 p306 p309 p296 p112 p90 p314 p214 p412 p93 p46 }) ({p0 p585 p279 p592 p195 p511 p380 p17 p514 p389 p491 p361 p607 p496 p187 p127 } a20 {p3 p53 p546 p279 p372 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p499 }) ({p220 p404 p405 p309 p148 p17 p413 p288 p467 p563 p93 p439 p159 } a20 {p541 p220 p53 p404 p405 p309 p311 p413 p563 p550 p320 p93 p216 }) ({p220 p545 p137 p404 p405 p309 p11 p313 p283 p413 p148 p467 p563 p475 p93 p216 } a31 {p220 p545 p404 p405 p309 p313 p413 p148 p288 p467 p563 p475 p119 p92 p93 p46 }) ({p542 p546 p571 p10 p11 p286 p211 p578 p24 p355 p453 p356 p499 p48 p134 p242 p506 p431 p145 p248 p565 p208 p529 p323 p93 } a31 {p102 p273 p544 p222 p572 p509 p13 p430 p377 p558 p511 p204 p577 p387 p252 p528 p324 p531 p93 p455 p46 }) ({p43 } a0 {p5 }) ({p279 p590 p346 p485 p11 p510 p379 p359 p227 p597 p388 p349 p255 p606 p185 p123 p93 p239 } a31 {p0 p276 p585 p346 p592 p196 p595 p514 p415 p491 p361 p418 p605 p258 p527 p496 p93 p127 p46 }) ({p220 p52 p404 p442 p405 p309 p112 p331 p513 p17 p413 p72 p563 p450 p83 p257 p296 p555 p93 p538 p269 } a20 {p220 p52 p479 p53 p404 p405 p309 p443 p109 p331 p413 p516 p114 p448 p563 p256 p87 p554 p298 p93 p535 p267 }) ({p273 p134 p542 p546 p506 p11 p145 p248 p211 p577 p24 p565 p208 p529 p355 p93 p499 } a31 {p102 p273 p222 p509 p377 p558 p511 p204 p577 p252 p528 p531 p93 p46 }) ({p540 p135 p404 p309 p405 p509 p558 p204 p17 p413 p149 p578 p564 p252 p207 p353 p528 p530 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p512 p145 p413 p247 p578 p565 p254 p208 p120 p529 p355 p422 p188 p93 }) ({p504 p86 p408 p396 p17 } a20 {p502 p104 p53 p318 p82 p413 }) ({p601 p223 p11 p340 } a31 {p240 p601 p223 p348 p46 }) ({p240 p312 p11 p438 p582 } a31 {p240 p309 p569 p582 p46 }) ({p504 p86 p17 p413 } a20 {p502 p104 p53 p82 p413 }) ({p231 p485 p11 p510 p357 p185 p239 p597 } a31 {p491 p585 p418 p237 p527 p196 p382 p496 p595 p514 p46 }) ({p244 p485 p11 p510 p379 p359 p227 p597 p415 p605 p185 p93 p239 } a31 {p240 p585 p346 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p46 }) ({p481 p507 p184 p11 p196 p93 p179 p440 p598 } a31 {p543 p418 p486 p196 p93 p568 p115 p46 }) ({p102 p570 p585 p505 p279 p222 p430 p377 p511 p17 p577 p90 p214 p496 p427 } a20 {p53 p221 p105 p546 p279 p571 p506 p376 p510 p575 p597 p248 p211 p24 p436 p323 p499 }) ({p220 p545 p404 p140 p60 p405 p309 p11 p246 p413 p289 p563 p294 p29 p437 p477 p265 p93 p452 } a31 {p220 p545 p58 p404 p308 p405 p309 p315 p285 p333 p413 p335 p474 p473 p563 p31 p121 p534 p93 p270 p46 }) ({p417 p492 p403 p117 p604 p11 p348 p363 p174 p93 p271 } a31 {p133 p588 p223 p409 p347 p180 p498 p340 p93 p217 p582 p46 p271 }) ({p134 p542 p242 p571 p506 p11 p431 p145 p286 p248 p211 p387 p578 p24 p565 p208 p529 p323 p355 p531 p93 p453 p499 } a31 {p102 p273 p544 p222 p572 p509 p430 p377 p558 p511 p204 p577 p387 p252 p528 p324 p531 p93 p455 p46 }) ({p273 p134 p546 p312 p11 p410 p380 p198 p316 p434 p565 p419 p260 p495 p93 p499 } a31 {p273 p558 p195 p511 p380 p424 p187 p531 p93 p266 p500 p569 p46 }) ({p417 p173 p306 p348 p412 p17 p595 p500 p569 p582 } a20 {p502 p417 p53 p173 p82 p604 p312 p395 p259 p410 p348 p239 }) ({p481 p32 p527 p196 p382 p595 p179 p440 } a51 {p485 p357 p196 p18 p239 }) ({p545 p310 p11 p161 } a31 {p545 p313 p299 p46 }) ({p327 p220 p479 p545 p404 p405 p443 p11 p109 p284 p413 p334 p29 p124 p461 p60 p309 p313 p467 p516 p472 p563 p475 p523 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p31 p46 p58 p309 p142 p463 p313 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p31 p142 p62 p121 p284 p17 p270 } a20 {p53 p140 p60 p34 p124 p95 p289 }) ({p561 p219 p307 p32 p405 p297 p354 p377 p555 p113 p131 } a51 {p561 p250 p219 p307 p256 p374 p405 p298 p556 p18 p114 }) ({p273 p134 p312 p11 p410 p195 p316 p434 p565 p419 p495 p531 p93 p499 } a31 {p273 p558 p511 p195 p424 p187 p531 p93 p500 p569 p46 }) ({p102 p367 p570 p544 p404 p222 p405 p377 p112 p17 p413 p577 p387 p232 p296 p555 p427 p505 p309 p430 p563 p90 p214 p532 p93 } a20 {p221 p105 p547 p571 p404 p373 p405 p376 p413 p114 p575 p211 p24 p232 p554 p298 p453 p356 p53 p506 p309 p248 p436 p563 p256 p323 p93 }) ({p220 p32 p376 p510 p531 p209 p115 } a51 {p219 p507 p496 p531 p18 p584 }) ({p327 p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p284 p413 p334 p467 p516 p470 p563 p475 p523 p124 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p46 p58 p309 p142 p313 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p273 p134 p542 p565 p546 p222 p11 p355 p145 p93 p499 p248 } a31 {p273 p252 p222 p377 p528 p558 p511 p531 p93 p46 }) ({p309 p11 p196 p340 } a31 {p240 p309 p348 p196 p46 }) ({p220 p545 p328 p56 p404 p308 p405 p309 p285 p333 p17 p413 p518 p472 p473 p563 p534 p93 p299 } a20 {p220 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p471 p472 p563 p294 p523 p477 p265 p93 p452 }) ({p134 p542 p242 p546 p571 p506 p11 p431 p145 p286 p248 p211 p387 p578 p24 p565 p208 p529 p323 p355 p93 p453 p499 } a31 {p102 p273 p544 p222 p572 p509 p430 p377 p558 p511 p204 p577 p387 p252 p528 p324 p531 p93 p455 p46 }) ({p502 p221 p105 p376 p11 p247 p575 p435 p82 p120 p395 p259 p554 p422 p93 } a31 {p135 p570 p505 p306 p112 p314 p412 p435 p564 p296 p90 p214 p93 p46 }) ({p250 p134 p542 p565 p11 p145 p499 } a31 {p354 p377 p528 p558 p511 p46 }) ({p273 p134 p546 p312 p11 p410 p198 p383 p316 p434 p565 p419 p362 p260 p607 p495 p93 p499 } a31 {p273 p558 p195 p511 p380 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p542 p404 p506 p310 p405 p309 p11 p145 p413 p114 p248 p211 p577 p471 p24 p563 p208 p256 p529 p355 p298 p93 } a31 {p102 p404 p222 p405 p309 p509 p377 p204 p413 p577 p563 p252 p528 p555 p93 p299 p46 }) ({p478 p173 p11 p100 } a31 {p337 p156 p489 p98 p583 p46 }) ({p540 p220 p308 p404 p405 p309 p285 p17 p413 p204 p149 p578 p473 p563 p252 p207 p353 p528 p529 p93 p299 } a20 {p542 p220 p53 p138 p404 p310 p482 p405 p309 p246 p145 p413 p471 p578 p563 p254 p208 p355 p529 p265 p188 p93 p452 }) ({p326 p459 p56 p442 p142 p284 p332 p513 p17 p72 p470 p450 p83 p257 p121 p538 p270 p269 } a20 {p327 p479 p53 p56 p461 p140 p443 p109 p331 p516 p469 p289 p448 p87 p124 p95 p535 p267 }) ({p502 p221 p105 p547 p373 p376 p11 p247 p575 p436 p602 p82 p120 p395 p259 p554 p422 p93 p426 p366 p272 } a31 {p367 p135 p570 p505 p306 p112 p314 p412 p199 p385 p435 p564 p602 p296 p90 p214 p532 p93 p427 p46 }) ({p139 p407 p119 p92 p17 p446 } a20 {p292 p449 p53 p137 p38 p283 p69 }) ({p327 p220 p479 p545 p404 p405 p443 p11 p109 p413 p334 p29 p124 p461 p60 p309 p313 p467 p516 p472 p563 p475 p523 p95 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p31 p46 p58 p309 p142 p463 p313 p69 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p275 p306 p346 p409 p412 p17 p595 p415 p435 p173 p424 p340 p500 p569 p582 } a20 {p502 p275 p53 p244 p312 p410 p348 p434 p417 p349 p173 p82 p604 p395 p259 p426 p239 }) ({p348 p412 p438 p17 p595 p500 p582 } a20 {p502 p53 p82 p309 p604 p395 p410 p348 p239 }) ({p138 p404 p482 p309 p405 p11 p512 p413 p247 p448 p580 p254 p87 p120 p554 p422 p188 p93 p535 p267 } a31 {p540 p135 p404 p442 p309 p405 p112 p513 p413 p149 p72 p564 p580 p207 p257 p296 p353 p530 p93 p46 }) ({p134 p563 p545 p32 p405 p145 p531 p287 p439 } a51 {p561 p541 p405 p420 p358 p531 p18 }) ({p190 p133 p338 p347 p156 p487 p17 p98 p189 p180 } a20 {p173 p53 p492 p136 p403 p117 p363 p174 p178 p93 p268 }) ({p273 p134 p542 p571 p506 p11 p430 p145 p248 p211 p578 p24 p565 p208 p529 p355 p531 p93 p499 } a31 {p102 p273 p222 p572 p509 p377 p430 p558 p511 p204 p577 p252 p528 p531 p93 p46 }) ({p249 p133 p338 p347 p156 p487 p17 p98 p271 p189 p180 } a20 {p251 p173 p53 p492 p136 p403 p117 p363 p174 p178 p93 }) ({p220 p138 p404 p140 p482 p405 p309 p11 p246 p512 p413 p289 p433 p448 p563 p254 p87 p567 p265 p188 p93 p535 p267 p452 } a31 {p540 p220 p404 p442 p405 p285 p413 p580 p353 p121 p46 p308 p309 p315 p513 p149 p72 p433 p473 p563 p207 p257 p530 p93 p270 }) ({p2 } a21 {p81 }) ({p327 p220 p479 p545 p404 p58 p405 p309 p443 p11 p313 p109 p413 p334 p467 p516 p470 p563 p475 p523 p124 p95 p93 } a31 {p277 p220 p545 p328 p404 p405 p284 p332 p413 p450 p46 p58 p309 p142 p313 p69 p467 p470 p518 p563 p475 p476 p83 p93 p538 p269 }) ({p416 p493 p32 p347 p187 p432 p488 p394 } a51 {p406 p421 p495 p186 p18 }) ({p220 p545 p404 p58 p140 p405 p309 p11 p246 p413 p333 p149 p289 p563 p265 p93 p534 p452 } a31 {p220 p545 p404 p308 p58 p405 p309 p315 p285 p413 p333 p149 p473 p563 p121 p93 p534 p270 p46 }) ({p17 p468 p454 } a20 {p475 p53 p321 }) ({p405 p243 p17 p581 p398 p386 } a20 {p240 p317 p53 p307 p603 p345 p339 p515 p440 }) ({p490 p416 p32 p347 p488 p290 } a51 {p492 p406 p608 p18 p365 }) ({p47 } a19 {p2 }) ({p220 p404 p442 p405 p309 p112 p17 p413 p563 p450 p296 p555 p93 p267 } a20 {p220 p53 p404 p405 p309 p443 p413 p114 p448 p563 p256 p554 p298 p93 p267 }) ({p561 p292 p219 p450 p307 p32 p405 p297 p555 p113 } a51 {p561 p219 p307 p256 p405 p443 p298 p556 p18 p114 p446 }) ({p240 p485 p11 p510 p379 p185 p196 p359 p93 p597 p239 p415 } a31 {p240 p585 p196 p595 p514 p415 p491 p361 p418 p527 p496 p93 p46 }) ({p561 p219 p541 p550 p307 p405 p32 p285 p149 p467 p216 } a51 {p561 p219 p541 p138 p307 p405 p148 p265 p288 p18 p467 }) ({p240 p418 p11 p196 p581 } a31 {p240 p418 p196 p581 p46 }) ({p273 p0 p585 p592 p195 p511 p380 p17 p514 p389 p491 p361 p258 p607 p496 p187 p127 } a20 {p3 p53 p242 p279 p546 p372 p510 p379 p594 p316 p597 p388 p419 p362 p606 p260 p495 p185 p499 }) ({p42 } a54 {p43 }) ({p135 p420 p358 p17 p149 } a20 {p134 p563 p545 p53 p138 p120 p145 p247 }) ({p478 p136 p32 p171 p100 } a51 {p162 p483 p18 p399 }) ({p190 p11 p157 } a31 {p249 p197 p514 p268 p46 }) ({p404 p482 p405 p11 p331 p16 p413 p448 p120 p554 p422 p567 p457 p52 p138 p309 p512 p469 p247 p254 p87 p188 p93 p535 p267 p325 } a31 {p326 p540 p404 p442 p405 p112 p413 p19 p291 p580 p296 p353 p46 p50 p135 p459 p309 p513 p149 p72 p433 p564 p207 p257 p530 p93 }) ({p557 p219 p563 p404 p309 p405 p11 p339 p413 p93 p515 p447 } a31 {p335 p563 p404 p309 p405 p413 p497 p93 p209 p130 p46 }) ({p30 } a15 {p45 }) ({p45 } a18 {p17 }) ({p28 } a50 {p79 }) ({p220 p52 p404 p442 p405 p309 p112 p331 p17 p413 p72 p563 p450 p83 p257 p296 p555 p93 p535 p269 } a20 {p220 p52 p479 p53 p404 p405 p309 p443 p109 p331 p413 p114 p448 p563 p256 p87 p554 p298 p93 p267 p535 }) ({p502 p221 p105 p376 p11 p199 p247 p575 p436 p82 p120 p395 p259 p554 p422 p93 p426 } a31 {p135 p570 p505 p306 p112 p314 p412 p199 p435 p564 p296 p90 p214 p93 p427 p46 }) ({p561 p135 p104 p307 p32 p405 p339 p515 p447 } a51 {p561 p504 p307 p405 p86 p120 p18 p247 p130 }) ({p102 p570 p505 p279 p222 p377 p511 p17 p597 p577 p436 p90 p214 p496 p93 } a20 {p53 p221 p105 p279 p571 p506 p376 p510 p575 p597 p248 p211 p24 p436 p93 p499 }) ({p273 p134 p546 p312 p11 p410 p195 p316 p434 p565 p419 p495 p93 p499 } a31 {p273 p558 p511 p195 p424 p187 p531 p93 p500 p569 p46 }) ({p449 p139 p119 p92 p17 } a20 {p449 p53 p137 p38 p283 p69 }) ({p273 p134 p312 p11 p410 p594 p198 p383 p316 p434 p389 p565 p419 p362 p260 p495 p609 p531 p93 p499 } a31 {p273 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p542 p571 p404 p405 p11 p16 p286 p413 p114 p211 p578 p24 p355 p298 p453 p356 p52 p506 p310 p309 p431 p145 p213 p248 p471 p152 p563 p208 p256 p529 p323 p93 } a31 {p102 p544 p404 p222 p405 p572 p377 p413 p19 p577 p387 p234 p555 p299 p455 p46 p50 p309 p509 p430 p144 p204 p563 p252 p528 p324 p93 }) ({p33 } a23 {p36 }) ({p275 p403 p312 p11 p168 p410 p348 p198 p383 p316 p434 p251 p417 p173 p419 p604 p362 p260 p495 p174 p93 } a31 {p0 p409 p347 p195 p380 p180 p172 p253 p156 p424 p364 p187 p340 p93 p266 p500 p569 p271 p582 p46 }) ({p502 p221 p105 p547 p376 p11 p247 p575 p385 p436 p82 p120 p395 p259 p554 p422 p93 p426 p272 } a31 {p135 p570 p505 p306 p112 p314 p412 p199 p385 p435 p564 p296 p90 p214 p532 p93 p427 p46 }) ({p502 p221 p105 p547 p373 p376 p11 p247 p575 p384 p436 p579 p82 p120 p395 p259 p554 p422 p93 p426 p366 p272 } a31 {p367 p135 p570 p505 p306 p112 p314 p412 p199 p385 p384 p435 p564 p602 p296 p90 p214 p532 p93 p427 p46 }) ({p491 p585 p511 p157 p496 p187 p17 } a20 {p53 p546 p419 p510 p495 p185 p197 p316 p499 p597 }) ({p102 p367 p273 p570 p544 p505 p6 p222 p430 p377 p511 p17 p597 p577 p387 p258 p90 p214 p532 p496 p93 p427 } a20 {p53 p221 p105 p547 p242 p279 p571 p506 p373 p10 p376 p510 p575 p597 p248 p211 p24 p436 p323 p93 p453 p356 p499 }) ({p504 p221 p376 p86 p11 p510 p314 p239 p597 } a31 {p335 p104 p585 p314 p214 p496 p595 p46 }) ({p220 p542 p545 p56 p404 p308 p405 p309 p285 p17 p413 p334 p518 p473 p563 p534 p93 p299 } a20 {p220 p542 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p471 p563 p523 p477 p265 p93 p452 }) ({p540 p135 p404 p309 p405 p558 p204 p17 p413 p149 p578 p564 p252 p207 p353 p528 p529 p93 } a20 {p134 p542 p53 p138 p404 p482 p309 p405 p145 p413 p247 p578 p565 p254 p208 p120 p355 p422 p529 p188 p93 }) ({p220 p545 p404 p405 p374 p11 p408 p377 p283 p197 p412 p285 p413 p333 p288 p446 p289 p415 p450 p555 p556 p130 p133 p135 p306 p139 p309 p62 p142 p508 p313 p511 p148 p149 p467 p180 p563 p475 p477 p186 p531 p93 p187 } a31 {p220 p545 p404 p405 p374 p408 p377 p283 p197 p412 p285 p413 p333 p288 p446 p289 p415 p335 p450 p555 p556 p46 p130 p133 p135 p306 p139 p309 p62 p142 p508 p313 p511 p148 p149 p467 p180 p563 p475 p186 p534 p531 p93 p187 }) ({p543 p11 } a31 {p531 p598 p46 }) ({p273 p134 p542 p546 p571 p506 p11 p430 p145 p248 p211 p578 p24 p565 p208 p529 p355 p93 p499 } a31 {p102 p273 p222 p572 p509 p377 p430 p558 p511 p204 p577 p252 p528 p531 p93 p46 }) ({p220 p545 p404 p442 p405 p309 p142 p313 p17 p413 p467 p289 p563 p450 p475 p257 p87 p121 p93 p269 } a20 {p220 p545 p53 p404 p140 p405 p309 p443 p313 p109 p413 p467 p289 p448 p563 p475 p87 p124 p93 p267 }) ({p563 p220 p404 p405 p309 p407 p17 p413 p497 p556 p93 p446 } a20 {p557 p220 p53 p404 p405 p309 p113 p413 p292 p449 p563 p297 p93 }) ({p502 p221 p105 p244 p376 p11 p510 p575 p597 p415 p82 p395 p259 p93 p239 } a31 {p240 p570 p585 p505 p306 p346 p314 p412 p595 p415 p90 p214 p496 p93 p46 }) ({p56 p442 p142 p284 p331 p513 p17 p72 p450 p83 p257 p121 p538 p270 p269 } a20 {p479 p53 p56 p140 p443 p109 p331 p516 p289 p448 p87 p124 p95 p535 p267 }) ({p243 p11 p212 } a31 {p240 p345 p212 p46 }) ({p404 p405 p283 p17 p413 p289 p171 p416 p173 p354 p307 p309 p310 p60 p507 p311 p312 p313 p64 p510 p432 p523 p524 p184 p185 p93 p219 p541 p220 p542 p104 p545 p221 p382 p334 p448 p449 p237 p238 p554 p557 p137 p140 p467 p561 p563 p475 p565 p603 p604 } a20 {p404 p405 p283 p413 p289 p171 p416 p173 p354 p53 p307 p309 p310 p60 p507 p311 p312 p313 p64 p510 p432 p523 p524 p184 p185 p93 p219 p541 p220 p542 p104 p545 p221 p382 p334 p448 p449 p237 p238 p554 p557 p137 p140 p467 p561 p563 p475 p565 p603 p604 }) ({p240 p277 p61 p315 p314 p196 p69 p335 p173 p476 p418 p531 p93 } a5 {p336 p156 p66 p98 }) ({p346 p485 p11 p510 p379 p359 p227 p597 p415 p605 p185 p93 p239 } a31 {p585 p346 p196 p595 p514 p415 p491 p361 p418 p605 p527 p496 p93 p46 }) ({p326 p220 p545 p404 p442 p405 p332 p17 p413 p289 p450 p121 p56 p309 p142 p313 p513 p467 p72 p469 p563 p475 p83 p257 p93 p538 p269 } a20 {p327 p220 p479 p545 p404 p405 p443 p109 p331 p413 p289 p448 p124 p53 p56 p140 p309 p313 p467 p516 p469 p563 p475 p87 p93 p535 p267 }) ({p220 p404 p482 p405 p11 p331 p110 p413 p289 p22 p448 p567 p452 p457 p56 p138 p140 p309 p246 p512 p469 p563 p254 p87 p265 p188 p93 p535 p267 p325 } a31 {p326 p540 p220 p404 p442 p405 p285 p413 p291 p26 p580 p353 p121 p46 p459 p54 p308 p309 p315 p513 p149 p72 p433 p473 p563 p155 p207 p257 p530 p93 p270 }) ({p35 } a32 {p39 }) ({p279 p195 p511 p380 p17 p514 p597 p491 p361 p606 p496 p187 p93 } a20 {p53 p279 p510 p379 p316 p597 p419 p362 p606 p260 p495 p185 p93 p499 }) ({p273 p102 p134 p542 p11 p145 p248 p211 p565 p208 p355 p531 p93 p499 } a31 {p273 p102 p252 p222 p377 p558 p511 p528 p204 p531 p93 p46 }) ({p473 p545 p285 p17 p161 } a20 {p471 p545 p53 p313 p265 p452 }) ({p403 p312 p11 p410 p348 p316 p434 p180 p417 p419 p604 p495 p93 } a31 {p409 p347 p424 p187 p340 p93 p500 p569 p582 p46 p180 }) ({p102 p367 p570 p544 p404 p222 p405 p13 p377 p112 p226 p17 p413 p577 p387 p234 p296 p555 p427 p50 p505 p309 p430 p563 p90 p214 p532 p93 } a20 {p221 p105 p547 p571 p404 p373 p405 p376 p16 p413 p114 p575 p211 p24 p232 p554 p298 p453 p356 p48 p53 p506 p309 p213 p248 p436 p563 p256 p323 p93 }) ({p138 p404 p482 p309 p405 p11 p413 p247 p448 p580 p254 p87 p120 p554 p422 p530 p188 p93 p267 } a31 {p540 p135 p404 p442 p309 p405 p112 p413 p149 p72 p564 p580 p207 p257 p296 p353 p530 p93 p46 }) ({p475 p550 p32 p320 p285 p216 p149 } a51 {p138 p265 p148 p288 p467 p18 p454 }) ({p101 p201 p164 p117 p485 p11 p379 p185 p359 p178 } a31 {p249 p133 p491 p361 p166 p418 p338 p527 p196 p93 p514 p46 }) ({p326 p220 p404 p442 p405 p112 p332 p17 p413 p19 p450 p296 p555 p459 p54 p309 p513 p72 p470 p563 p83 p257 p93 p538 p269 } a20 {p327 p220 p479 p404 p405 p443 p109 p331 p413 p114 p22 p448 p554 p298 p52 p53 p461 p309 p516 p469 p563 p256 p87 p93 p535 p267 }) ({p448 p140 p405 p374 p32 p407 p119 p283 p148 p531 p467 p130 } a51 {p449 p137 p442 p405 p374 p283 p121 p148 p531 p18 p467 p130 }) ({p36 } a24 {p45 }) ({p220 p545 p328 p404 p405 p309 p310 p60 p313 p283 p17 p413 p333 p467 p289 p518 p472 p563 p475 p534 p93 } a20 {p220 p53 p545 p404 p405 p309 p310 p60 p313 p283 p413 p334 p467 p289 p472 p563 p294 p475 p523 p477 p93 }) ({p273 p134 p546 p312 p11 p410 p594 p198 p383 p316 p434 p389 p565 p419 p362 p260 p495 p609 p93 p499 } a31 {p273 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p517 p451 p223 p527 p348 p498 p17 p595 p582 } a20 {p601 p53 p604 p485 p64 p348 p359 p227 p239 }) ({p502 p221 p105 p318 p309 p82 p376 p11 p120 p554 p93 p247 } a31 {p135 p505 p309 p296 p408 p112 p90 p314 p214 p93 p46 }) ({p276 p588 p346 p223 p409 p17 p595 p415 p253 p605 p527 p498 p340 p217 p582 } a20 {p275 p53 p590 p244 p485 p348 p359 p227 p417 p349 p255 p604 p123 p239 }) ({p200 p481 p507 p184 p11 p179 p440 p598 } a31 {p543 p418 p238 p486 p196 p568 p115 p46 }) ({p0 p276 p306 p346 p409 p412 p17 p199 p595 p385 p415 p435 p253 p156 p424 p364 p340 p266 p500 p569 p582 } a20 {p502 p275 p3 p53 p244 p312 p410 p348 p198 p383 p434 p417 p349 p173 p82 p255 p604 p395 p259 p426 p239 p366 p272 }) ({p542 p571 p404 p506 p310 p405 p309 p11 p430 p145 p413 p114 p248 p211 p471 p578 p24 p563 p208 p256 p529 p355 p298 p93 } a31 {p102 p404 p222 p405 p309 p572 p509 p377 p430 p204 p413 p577 p563 p252 p528 p555 p93 p299 p46 }) ({p493 p32 p511 p96 p187 p432 p394 } a51 {p508 p421 p495 p186 p18 p499 }) ({p450 p442 p142 p121 p284 p17 p267 p270 } a20 {p448 p53 p140 p443 p124 p95 p267 p289 }) ({p134 p3 p242 p372 p312 p11 p410 p594 p198 p383 p316 p434 p390 p565 p419 p362 p260 p495 p609 p531 p93 p499 } a31 {p273 p6 p375 p558 p195 p511 p380 p596 p389 p607 p424 p364 p187 p531 p93 p266 p500 p569 p46 }) ({p508 p486 p186 p17 p93 p568 p115 p598 } a20 {p53 p493 p507 p184 p96 p93 p394 p598 }) ({p102 p585 p505 p279 p222 p377 p511 p90 p214 p17 p496 p575 } a20 {p53 p221 p105 p546 p279 p506 p376 p510 p597 p575 p248 p211 p24 p499 }) ({p40 } a52 {p76 }) ({p56 p442 p142 p284 p331 p17 p72 p450 p83 p257 p121 p535 p270 p269 } a20 {p479 p53 p56 p140 p443 p109 p331 p289 p448 p87 p124 p95 p267 p535 }) ({p540 p220 p404 p405 p572 p285 p17 p413 p286 p580 p353 p299 p308 p309 p509 p204 p149 p433 p473 p563 p252 p207 p528 p530 p324 p93 } a20 {p542 p220 p404 p482 p405 p413 p286 p578 p355 p567 p452 p53 p138 p310 p309 p246 p512 p431 p145 p471 p563 p254 p208 p529 p265 p188 p93 p325 }) ({p220 p545 p328 p56 p404 p308 p405 p309 p463 p285 p333 p17 p413 p518 p474 p473 p563 p534 p93 p299 } a20 {p220 p545 p53 p56 p404 p405 p310 p309 p246 p413 p334 p472 p471 p563 p294 p523 p437 p477 p265 p93 p452 }) ({p221 p11 p531 p584 } a31 {p220 p214 p531 p46 }) ({p65 } a6 {p25 }) ({p585 p221 p11 p584 } a31 {p220 p214 p531 p597 p46 }) ({p542 p544 p571 p404 p405 p11 p413 p114 p211 p578 p24 p355 p298 p506 p310 p309 p431 p145 p248 p471 p563 p208 p256 p529 p323 p93 } a31 {p102 p544 p404 p222 p405 p309 p572 p509 p430 p377 p204 p413 p577 p563 p252 p528 p555 p324 p93 p299 p46 }) ({p240 p309 p32 p604 p410 p196 p581 p398 p386 } a51 {p240 p307 p603 p196 p438 p18 p500 p582 }) ({p220 p545 p404 p405 p309 p62 p11 p313 p283 p285 p413 p467 p289 p563 p474 p294 p475 p477 p93 } a31 {p220 p545 p404 p405 p309 p62 p313 p283 p285 p333 p413 p467 p289 p335 p563 p474 p475 p534 p93 p46 }) ({p275 p251 p417 p492 p403 p117 p604 p11 p348 p363 p174 p93 } a31 {p133 p588 p223 p409 p347 p180 p253 p498 p340 p93 p217 p271 p582 p46 }) ({p243 p451 p238 p494 p17 p581 p212 } a20 {p200 p240 p53 p481 p603 p345 p64 p179 p440 }) ({p162 p173 p483 p11 p178 p399 } a31 {p249 p338 p156 p487 p98 p189 p171 p46 }) ({p277 p140 p32 p119 p92 p289 } a51 {p277 p137 p283 p121 p18 p270 }) ({p504 p221 p376 p86 p11 p510 p396 p239 p597 } a31 {p335 p104 p585 p314 p214 p413 p496 p595 p46 }) ({p243 p11 p196 } a31 {p240 p345 p196 p46 }) ({p45 } a17 {p47 }) ({p502 p240 p221 p105 p547 p279 p376 p11 p510 p575 p597 p385 p436 p349 p82 p255 p395 p259 p93 p426 p239 p272 } a31 {p240 p276 p570 p585 p505 p306 p314 p412 p199 p595 p385 p415 p435 p258 p90 p214 p532 p496 p93 p427 p46 }) ({p448 p32 p405 p374 p407 p554 p497 p531 p130 } a51 {p557 p449 p442 p405 p374 p296 p112 p531 p18 p130 }) ({p502 p276 p221 p105 p244 p376 p11 p510 p575 p597 p436 p349 p82 p395 p259 p93 p426 p239 } a31 {p240 p276 p570 p585 p505 p306 p346 p314 p412 p595 p415 p435 p90 p214 p496 p93 p427 p46 }) }, initialMarking = {p27 p353 p354 p355 p48 p50 p52 p54 p56 p58 p60 p62 p507 p64 p508 p510 p511 p69 p83 p523 p524 p85 p87 p525 p526 p89 p527 p529 p530 p93 p531 p534 p535 p538 p102 p540 p219 p541 p220 p542 p104 p544 p545 p105 p221 p547 p222 p373 p374 p376 p377 p379 p380 p382 p383 p384 p385 p387 p388 p232 p389 p390 p234 p237 p238 p554 p555 p556 p130 p557 p133 p134 p240 p135 p136 p137 p139 p140 p142 p145 p148 p149 p561 p152 p563 p155 p564 p565 p267 p268 p269 p271 p273 p275 p276 p277 p279 p404 p405 p408 p283 p284 p410 p285 p412 p286 p413 p288 p289 p171 p291 p415 p416 p172 p417 p173 p418 p306 p307 p308 p309 p310 p311 p312 p313 p430 p314 p315 p431 p178 p432 p433 p180 p434 p435 p436 p184 p185 p186 p187 p195 p331 p196 p197 p332 p198 p333 p199 p334 p446 p575 p577 p448 p578 p449 p335 p450 p580 p345 p346 p347 p348 p467 p595 p468 p469 p597 p470 p598 p471 p472 p473 p474 p475 p601 p207 p476 p208 p602 p603 p604 p605 p606 p607 p609 }, acceptingPlaces = {p76 } );