// Testfile dumped by Ultimate at 2020/03/07 10:49:49 // // PetriNet net = ( alphabet = {a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 }, places = {p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 p251 p252 p253 p254 p255 p256 p257 p258 p259 p260 p261 p262 p263 p264 p265 p266 p267 p268 p269 p270 p271 p272 p273 p274 p275 p276 p277 p278 p279 p280 p281 p282 p283 p284 p285 p286 p287 p288 p289 p290 p291 p292 p293 p294 p295 p296 p297 p298 p299 p300 p301 p302 p303 p304 p305 p306 p307 p308 p309 p310 p311 p312 p313 p314 p315 p316 p317 p318 p319 p320 p321 p322 p323 p324 p325 p326 p327 p328 p329 p330 p331 p332 p333 p334 p335 p336 p337 p338 p339 p340 p341 p342 p343 p344 p345 p346 p347 p348 p349 p350 p351 p352 p353 p354 p355 p356 p357 p358 p359 p360 p361 p362 p363 p364 p365 p366 p367 p368 p369 p370 p371 p372 p373 p374 p375 p376 p377 p378 p379 p380 p381 p382 p383 p384 p385 p386 p387 p388 p389 p390 p391 p392 p393 p394 p395 p396 p397 p398 p399 p400 p401 p402 p403 p404 p405 p406 p407 p408 p409 p410 p411 p412 p413 p414 p415 p416 p417 p418 p419 p420 p421 p422 p423 p424 p425 p426 p427 p428 p429 p430 p431 p432 p433 p434 p435 p436 p437 p438 p439 p440 p441 p442 p443 p444 p445 p446 p447 p448 p449 p450 p451 p452 p453 p454 p455 p456 p457 p458 p459 p460 p461 p462 p463 p464 p465 p466 p467 p468 p469 p470 p471 p472 p473 p474 p475 p476 p477 p478 p479 p480 p481 p482 p483 p484 p485 p486 p487 p488 p489 p490 p491 p492 p493 p494 p495 p496 p497 p498 p499 p500 p501 p502 p503 p504 p505 p506 p507 p508 p509 p510 p511 p512 p513 p514 p515 p516 p517 p518 p519 p520 p521 p522 p523 p524 p525 p526 p527 p528 p529 p530 p531 p532 p533 p534 p535 p536 p537 p538 p539 p540 p541 p542 p543 p544 p545 p546 p547 p548 p549 p550 p551 p552 p553 p554 p555 p556 p557 p558 p559 p560 p561 p562 p563 p564 p565 p566 p567 p568 p569 p570 p571 p572 p573 p574 p575 p576 p577 p578 p579 p580 p581 p582 p583 p584 p585 p586 p587 p588 p589 p590 p591 p592 p593 p594 p595 p596 p597 p598 p599 p600 p601 p602 p603 p604 p605 p606 p607 p608 p609 p610 p611 p612 p613 p614 p615 p616 p617 p618 p619 p620 p621 p622 p623 p624 p625 p626 p627 p628 p629 p630 p631 p632 p633 p634 p635 p636 p637 p638 p639 p640 }, transitions = { ({p364 p176 p411 p12 p234 p331 p448 p580 p548 p86 p508 p245 p155 p103 p51 p559 } a31 {p592 p176 p366 p411 p531 p331 p237 p449 p150 p550 p94 p34 p214 p103 p519 p50 }) ({p578 p227 p184 p20 p174 } a20 {p57 p93 p231 p457 p420 p191 }) ({p529 p31 p93 p468 p231 p577 } a51 {p578 p521 p505 p21 p108 }) ({p496 p594 p595 p5 p411 p9 p598 p265 p20 p269 p276 p285 p176 p60 p463 p473 p479 p388 p241 p631 p152 p93 p491 p103 p252 p639 } a20 {p407 p594 p595 p411 p598 p18 p509 p282 p288 p42 p334 p176 p460 p221 p57 p60 p477 p476 p388 p432 p632 p152 p93 p103 p252 }) ({p594 p176 p595 p411 p183 p598 p139 p229 p20 p388 p152 p452 p103 p252 p577 } a20 {p594 p176 p595 p57 p411 p598 p188 p388 p152 p455 p418 p103 p252 p108 }) ({p6 p99 } a39 {p8 p101 p71 }) ({p57 } a22 {p32 }) ({p114 p594 p176 p460 p595 p319 p60 p411 p9 p598 p12 p326 p428 p388 p152 p93 p42 p103 p252 p402 p590 } a31 {p114 p594 p176 p595 p319 p60 p411 p9 p598 p326 p428 p479 p388 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p407 p594 p176 p116 p595 p60 p411 p545 p598 p324 p428 p20 p191 p388 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p176 p595 p57 p60 p411 p545 p322 p598 p428 p191 p388 p304 p152 p93 p556 p400 p103 p252 p106 }) ({p314 p176 p365 p237 p449 p391 p507 p367 p250 p20 p534 } a20 {p364 p314 p176 p57 p259 p533 p502 p385 p371 p238 p450 p213 p245 p513 }) ({p592 p616 p531 p607 p20 p446 p331 p505 p372 p395 p150 p338 p306 p168 p380 } a20 {p409 p57 p615 p529 p623 p606 p448 p580 p548 p86 p508 p373 p340 p309 p171 p589 }) ({p176 p365 p317 p323 p617 p367 p205 p20 p534 p609 p237 p449 p391 p208 p507 p303 p395 p94 p156 p250 p312 p380 p173 } a20 {p364 p314 p409 p259 p617 p599 p502 p332 p371 p450 p209 p213 p513 p210 p176 p57 p623 p533 p608 p385 p238 p245 p92 p155 p100 p253 }) ({p176 p594 p595 p58 p411 p598 p12 p232 p447 p388 p249 p247 p41 p103 } a31 {p176 p594 p388 p595 p358 p411 p212 p598 p154 p103 p52 p50 }) ({p594 p176 p595 p411 p424 p598 p12 p476 p388 p152 p93 p288 p103 p252 p588 p105 p457 p420 } a31 {p421 p594 p176 p595 p597 p411 p598 p227 p184 p269 p388 p152 p93 p103 p252 p105 p50 }) ({p542 p116 p594 p595 p411 p546 p598 p324 p15 p20 p278 p174 p459 p176 p60 p184 p428 p475 p388 p90 p152 p93 p635 p400 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p278 p556 p457 p355 p176 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p637 p103 p252 p106 }) ({p594 p595 p411 p121 p598 p12 p266 p23 p273 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p294 p187 p561 p234 p388 p152 p103 p252 p588 p109 } a31 {p113 p594 p595 p256 p366 p411 p598 p329 p268 p576 p550 p34 p374 p287 p214 p456 p50 p421 p176 p227 p531 p187 p431 p388 p152 p103 p252 p105 }) ({p542 p407 p116 p594 p176 p595 p60 p411 p546 p598 p324 p428 p470 p20 p191 p388 p278 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p176 p355 p595 p57 p60 p411 p545 p322 p598 p428 p470 p191 p388 p278 p304 p152 p93 p556 p400 p103 p252 p106 }) ({p113 p256 p124 p20 p268 p277 p280 p550 p34 p374 p214 p456 p379 p421 p55 p560 p425 p627 p190 p235 p483 p399 p252 p568 p590 } a20 {p258 p121 p273 p38 p290 p216 p172 p458 p51 p559 p381 p57 p223 p424 p626 p628 p234 p485 p393 p359 p633 p398 p540 p252 p588 p568 }) ({p594 p549 p152 p532 p20 } a20 {p594 p548 p57 p152 p532 p558 }) ({p594 p595 p411 p598 p15 p325 p264 p571 p20 p576 p453 p287 p174 p176 p227 p184 p431 p388 p81 p152 p635 p104 p103 p252 p105 } a20 {p594 p595 p411 p598 p13 p325 p266 p23 p575 p286 p454 p457 p420 p176 p57 p561 p231 p430 p191 p388 p152 p97 p637 p103 p252 p109 }) ({p315 p31 p437 p363 p163 p75 } a51 {p440 p158 p298 p621 p21 }) ({p114 p594 p176 p595 p319 p60 p411 p10 p598 p12 p326 p428 p481 p388 p276 p486 p284 p152 p93 p103 p252 p638 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p16 p326 p428 p481 p388 p276 p486 p284 p152 p93 p492 p103 p252 p50 }) ({p596 p581 p150 p138 p298 p20 p503 } a20 {p415 p315 p594 p57 p86 p527 p152 p302 }) ({p594 p595 p614 p160 p411 p121 p598 p12 p266 p23 p273 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p294 p625 p561 p478 p234 p388 p152 p398 p103 p252 p588 p109 } a31 {p113 p594 p595 p256 p614 p366 p411 p598 p329 p268 p576 p550 p34 p374 p287 p214 p456 p50 p421 p176 p227 p531 p187 p627 p431 p483 p388 p152 p397 p103 p252 p105 }) ({p594 p595 p411 p259 p598 p12 p325 p618 p599 p502 p371 p575 p450 p213 p286 p513 p210 p176 p529 p623 p186 p231 p430 p238 p396 p92 p97 p100 p103 p253 } a31 {p594 p365 p595 p317 p411 p598 p323 p618 p264 p571 p505 p208 p372 p453 p50 p176 p178 p624 p474 p534 p609 p81 p391 p394 p395 p156 p250 p104 p103 p254 }) ({p592 p346 p497 p412 p203 p607 p20 p446 p331 p75 p150 p246 p306 p376 p168 p403 } a20 {p57 p498 p204 p606 p383 p302 p448 p580 p86 p246 p309 p378 p171 p589 }) ({p22 } a46 {p24 }) ({p58 p526 p12 p249 p247 p41 p368 p232 p447 } a31 {p595 p523 p358 p366 p212 p154 p52 p519 p50 }) ({p441 p132 p20 p107 p25 p495 } a20 {p175 p57 p130 p443 p433 p103 p49 }) ({p594 p150 p138 p298 p20 } a20 {p315 p594 p57 p86 p152 p302 }) ({p421 p381 p55 p560 p425 p20 p190 p268 p235 p280 p550 p34 p214 p252 p456 p590 } a20 {p381 p57 p223 p424 p626 p234 p393 p633 p290 p540 p216 p252 p172 p588 p458 p51 p559 }) ({p31 p151 p436 p126 p111 } a51 {p140 p21 p439 p336 }) ({p315 p594 p526 p31 p152 p41 p232 p447 p363 p75 p414 } a51 {p448 p595 p581 p138 p154 p298 p21 p516 p503 }) ({p28 } a49 {p11 }) ({p112 p20 } a20 {p112 p57 }) ({p20 p401 } a20 {p57 p394 p535 }) ({p245 p12 p434 p328 p385 } a31 {p388 p237 p367 p252 p50 }) ({p113 p594 p595 p256 p411 p9 p598 p124 p20 p269 p268 p277 p280 p285 p456 p421 p176 p60 p425 p479 p388 p565 p152 p93 p400 p103 p252 p639 p590 p569 } a20 {p594 p595 p258 p411 p121 p598 p18 p273 p509 p288 p38 p553 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p393 p152 p93 p400 p540 p103 p252 p588 p568 }) ({p238 p529 p12 p444 p502 p517 p589 p603 } a31 {p537 p505 p610 p394 p195 p306 p446 p50 }) ({p60 p31 p212 p428 p588 p570 p234 } a51 {p58 p295 p427 p214 p21 p562 }) ({p594 p595 p411 p259 p598 p13 p12 p325 p619 p599 p575 p450 p213 p286 p216 p172 p176 p186 p626 p231 p430 p191 p388 p359 p633 p397 p97 p100 p103 p253 p344 } a31 {p594 p365 p595 p411 p598 p323 p618 p264 p571 p453 p174 p379 p50 p55 p176 p560 p178 p62 p190 p235 p609 p388 p81 p397 p635 p156 p250 p104 p103 p254 p345 }) ({p594 p355 p176 p595 p461 p60 p411 p598 p12 p184 p263 p428 p477 p353 p388 p282 p304 p152 p93 p556 p103 p252 p402 } a31 {p116 p594 p176 p595 p119 p60 p463 p411 p546 p598 p324 p184 p265 p428 p475 p353 p388 p279 p152 p93 p103 p252 p402 p50 }) ({p594 p595 p411 p598 p12 p18 p279 p288 p556 p457 p355 p176 p461 p60 p428 p477 p476 p388 p304 p152 p93 p637 p103 p252 p402 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p269 p279 p50 p176 p60 p463 p184 p428 p475 p388 p152 p93 p103 p252 p402 p639 }) ({p355 p594 p176 p595 p461 p60 p7 p411 p598 p12 p263 p428 p477 p388 p282 p632 p304 p152 p93 p556 p103 p252 p198 } a31 {p116 p594 p176 p595 p5 p119 p60 p463 p411 p546 p598 p324 p265 p428 p475 p353 p388 p279 p152 p93 p634 p103 p252 p50 }) ({p114 p594 p176 p460 p595 p319 p60 p411 p598 p12 p326 p428 p473 p388 p276 p509 p152 p93 p42 p103 p252 p402 p590 } a31 {p114 p594 p176 p595 p319 p60 p411 p9 p598 p326 p428 p473 p479 p388 p276 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p462 p488 p547 p20 } a20 {p481 p57 p547 p299 }) ({p594 p176 p595 p560 p411 p545 p322 p598 p12 p626 p191 p388 p393 p152 p93 p540 p216 p103 p252 p106 p172 } a31 {p542 p594 p55 p176 p595 p560 p62 p411 p598 p425 p190 p235 p388 p90 p152 p93 p103 p252 p590 p174 p50 }) ({p113 p594 p595 p256 p411 p9 p598 p124 p20 p269 p268 p277 p280 p285 p456 p421 p176 p60 p425 p479 p388 p152 p93 p400 p103 p252 p568 p639 p590 } a20 {p594 p595 p258 p411 p121 p598 p18 p273 p509 p288 p38 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p393 p152 p93 p400 p540 p103 p252 p588 p568 }) ({p12 p468 } a31 {p468 p50 }) ({p39 p428 p20 p479 } a20 {p460 p57 p284 p428 p476 }) ({p594 p176 p595 p319 p60 p411 p598 p183 p139 p428 p20 p388 p152 p452 p93 p552 p103 p252 } a20 {p594 p176 p595 p57 p60 p411 p598 p428 p188 p388 p127 p152 p93 p455 p103 p252 p110 }) ({p593 p594 p176 p595 p60 p411 p598 p20 p388 p486 p152 p93 p103 p252 p419 p570 } a20 {p594 p176 p595 p57 p60 p411 p598 p297 p427 p388 p281 p152 p93 p103 p252 p354 }) ({p594 p176 p595 p411 p424 p598 p12 p23 p234 p388 p548 p508 p152 p287 p103 p252 p588 p420 p51 p559 } a31 {p421 p594 p176 p595 p366 p411 p227 p598 p531 p388 p550 p152 p34 p214 p287 p103 p252 p105 p50 }) ({p175 p410 p366 p227 p535 p387 p31 p249 p247 p418 p558 p516 p108 } a51 {p175 p387 p410 p366 p549 p229 p247 p21 p535 p420 p516 p108 }) ({p594 p595 p614 p411 p598 p15 p264 p571 p329 p20 p576 p453 p287 p174 p176 p178 p227 p184 p187 p431 p388 p81 p152 p398 p635 p104 p103 p252 p105 p254 p345 } a20 {p594 p595 p160 p411 p598 p13 p325 p619 p266 p23 p575 p286 p454 p457 p420 p176 p57 p294 p186 p561 p231 p430 p191 p388 p564 p152 p97 p398 p637 p103 p252 p109 }) ({p202 p20 p621 p603 } a20 {p610 p57 p200 p602 p343 p622 }) ({p521 p293 p12 p215 p401 p233 p73 p108 } a31 {p394 p289 p468 p535 p577 p362 p50 }) ({p594 p176 p595 p60 p319 p411 p598 p12 p229 p428 p388 p281 p152 p93 p455 p103 p252 } a31 {p594 p176 p595 p597 p60 p319 p411 p598 p183 p229 p428 p388 p152 p93 p103 p252 p419 p50 }) ({p578 p505 p227 p531 p20 } a20 {p548 p57 p508 p529 p93 p231 p420 }) ({p594 p176 p595 p411 p227 p598 p184 p264 p571 p20 p430 p388 p81 p576 p152 p453 p287 p103 p252 p105 p174 } a20 {p594 p176 p595 p57 p411 p598 p561 p266 p231 p23 p430 p191 p575 p388 p152 p286 p97 p454 p103 p252 p457 p420 }) ({p594 p176 p595 p411 p259 p598 p12 p231 p191 p79 p388 p450 p152 p286 p97 p103 p252 p172 } a31 {p594 p176 p365 p595 p62 p411 p598 p264 p230 p190 p388 p81 p152 p453 p103 p252 p174 p50 }) ({p442 p195 p140 p134 p20 p162 p107 } a20 {p176 p57 p200 p151 p444 p103 p602 p197 p622 p136 }) ({p594 p595 p160 p411 p121 p598 p12 p18 p266 p23 p273 p288 p454 p290 p457 p420 p176 p424 p294 p561 p476 p388 p564 p152 p399 p637 p103 p252 p588 p568 p109 } a31 {p113 p594 p595 p256 p597 p614 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p187 p431 p388 p565 p152 p399 p103 p252 p105 p639 }) ({p176 p238 p394 p529 p12 p444 p606 p103 p602 p502 p589 } a31 {p176 p505 p394 p195 p306 p168 p103 p446 p50 }) ({p481 p62 p322 p12 p106 p190 p541 } a31 {p481 p62 p90 p547 p190 p590 p50 }) ({p76 } a29 {p12 }) ({p366 p31 p284 p154 p229 p428 p419 p588 p476 p570 p362 } a51 {p366 p281 p295 p154 p39 p427 p229 p21 p362 }) ({p366 p31 p452 p139 p93 p154 p231 p191 p577 p362 } a51 {p578 p366 p154 p188 p21 p108 p174 p362 }) ({p176 p365 p317 p367 p20 p534 p332 p237 p449 p391 p507 p303 p94 p156 p250 } a20 {p364 p314 p176 p57 p259 p533 p502 p385 p332 p371 p238 p450 p213 p245 p155 p100 p513 p210 }) ({p113 p594 p595 p411 p9 p598 p124 p20 p269 p268 p273 p280 p285 p456 p421 p176 p60 p425 p479 p388 p152 p93 p400 p103 p252 p639 p590 } a20 {p594 p595 p411 p121 p598 p18 p273 p509 p288 p38 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p393 p152 p93 p400 p540 p103 p252 p588 }) ({p238 p529 p451 p261 p12 p97 p231 p502 p517 } a31 {p537 p81 p505 p365 p394 p283 p289 p50 }) ({p595 p20 p368 } a20 {p595 p523 p57 p366 }) ({p364 p448 p594 p549 p245 p138 p12 p234 p51 } a31 {p594 p237 p449 p152 p34 p214 p558 p50 }) ({p542 p116 p594 p595 p5 p411 p260 p546 p347 p598 p324 p20 p353 p279 p459 p176 p60 p475 p388 p241 p631 p90 p152 p93 p103 p252 } a20 {p407 p594 p595 p411 p545 p322 p598 p263 p352 p278 p556 p355 p176 p461 p57 p60 p470 p388 p632 p304 p152 p93 p103 p252 p106 p198 }) ({p71 } a14 {p30 }) ({p594 p176 p595 p411 p227 p598 p184 p20 p388 p81 p152 p286 p103 p252 p105 p174 } a20 {p594 p176 p595 p57 p411 p598 p231 p23 p191 p388 p152 p97 p286 p103 p252 p457 p420 }) ({p407 p114 p594 p595 p319 p411 p9 p598 p326 p20 p269 p282 p285 p176 p60 p463 p424 p428 p473 p479 p388 p152 p93 p400 p103 p252 p639 } a20 {p407 p114 p594 p595 p319 p411 p598 p326 p18 p509 p282 p288 p42 p176 p460 p57 p60 p424 p428 p477 p476 p388 p432 p152 p93 p400 p103 p252 }) ({p235 p295 p214 p20 p190 p590 p562 } a20 {p57 p60 p428 p540 p216 p172 p588 p234 }) ({p12 p471 } a31 {p471 p50 }) ({p407 p114 p594 p595 p319 p411 p9 p598 p326 p265 p20 p269 p276 p285 p176 p60 p463 p428 p473 p479 p388 p152 p93 p103 p252 p639 } a20 {p407 p114 p594 p595 p319 p411 p598 p326 p18 p509 p282 p288 p42 p176 p460 p221 p57 p60 p428 p477 p476 p388 p432 p152 p93 p103 p252 }) ({p177 p442 p165 p153 p195 p132 p20 p107 p145 } a20 {p57 p200 p337 p130 p444 p141 p103 p602 p170 p197 p622 }) ({p27 } a48 {p29 }) ({p55 p560 p365 p323 p20 p608 p190 p235 p237 p449 p550 p94 p34 p214 p156 p250 p312 } a20 {p364 p57 p259 p626 p608 p234 p332 p450 p213 p633 p245 p155 p100 p216 p253 p172 p51 p559 }) ({p91 p24 } a37 {p26 p63 p95 }) ({p26 } a47 {p31 }) ({p594 p176 p595 p411 p424 p598 p12 p476 p23 p388 p152 p288 p287 p103 p252 p588 p457 p420 } a31 {p421 p594 p176 p595 p597 p411 p227 p598 p184 p269 p388 p152 p287 p103 p252 p105 p50 }) ({p387 p526 p12 p247 p41 p232 p447 p363 p414 } a31 {p595 p358 p489 p154 p413 p516 p52 p519 p50 }) ({p592 p241 p150 p497 p412 p492 p306 p20 p446 p403 p331 p75 } a20 {p407 p448 p580 p57 p86 p10 p498 p383 p309 p302 p589 }) ({p77 p12 p169 p188 p110 p354 } a31 {p593 p62 p452 p139 p228 p552 p189 p50 }) ({p537 p236 p451 p261 p20 } a20 {p537 p236 p57 p450 p259 p283 }) ({p407 p114 p594 p595 p319 p410 p411 p598 p326 p20 p284 p288 p170 p51 p175 p176 p60 p529 p424 p532 p428 p385 p191 p387 p481 p537 p388 p236 p486 p152 p245 p93 p97 p492 p400 p103 p252 p106 p589 p591 } a20 {p407 p114 p594 p595 p319 p410 p411 p10 p598 p326 p284 p288 p170 p51 p175 p176 p57 p60 p529 p424 p532 p428 p385 p191 p387 p481 p537 p388 p236 p486 p152 p245 p93 p97 p400 p103 p252 p106 p589 p591 }) ({p594 p595 p411 p259 p598 p12 p325 p502 p371 p575 p208 p450 p213 p286 p513 p210 p176 p529 p231 p430 p238 p97 p100 p103 p253 } a31 {p594 p176 p365 p595 p317 p411 p598 p323 p264 p571 p534 p505 p81 p208 p391 p372 p394 p453 p156 p250 p104 p103 p50 p254 }) ({p594 p176 p293 p595 p411 p598 p12 p228 p188 p73 p388 p152 p169 p215 p103 p252 p108 } a31 {p594 p176 p595 p411 p598 p139 p228 p189 p388 p152 p452 p289 p103 p252 p577 p362 p50 }) ({p114 p593 p597 p366 p31 p322 p154 p552 p229 p362 } a51 {p593 p597 p366 p154 p229 p554 p21 p110 p362 }) ({p50 } a33 {p69 }) ({p62 p451 p261 p12 p97 p231 p172 p191 } a31 {p365 p81 p62 p283 p289 p190 p174 p50 }) ({p526 p20 p368 } a20 {p595 p523 p57 p366 p519 }) ({p594 p595 p614 p160 p411 p121 p598 p12 p18 p266 p23 p273 p288 p454 p290 p457 p420 p176 p424 p294 p561 p476 p388 p152 p637 p103 p252 p588 p109 } a31 {p113 p594 p595 p256 p597 p614 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p187 p431 p388 p152 p103 p252 p105 p639 }) ({p60 p12 p214 p252 } a31 {p60 p214 p252 p50 }) ({p542 p407 p116 p594 p595 p411 p260 p546 p598 p324 p20 p352 p279 p459 p176 p60 p428 p475 p191 p388 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p595 p411 p545 p322 p598 p263 p352 p278 p556 p176 p355 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p103 p252 p106 }) ({p542 p116 p594 p595 p411 p260 p546 p598 p324 p15 p20 p352 p279 p174 p459 p176 p60 p184 p475 p629 p388 p487 p90 p152 p93 p635 p402 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p263 p352 p278 p556 p457 p355 p176 p461 p57 p60 p470 p191 p388 p630 p490 p304 p152 p93 p400 p637 p103 p252 p106 }) ({p594 p176 p595 p411 p598 p12 p427 p388 p281 p152 p93 p455 p418 p103 p252 } a31 {p594 p176 p595 p597 p411 p183 p598 p229 p388 p152 p93 p103 p252 p419 p570 p50 }) ({p462 p488 p20 p541 } a20 {p481 p57 p299 p547 p540 }) ({p594 p176 p595 p60 p411 p62 p598 p12 p428 p188 p388 p152 p93 p169 p103 p252 p110 p354 } a31 {p593 p594 p176 p595 p60 p411 p62 p598 p139 p428 p189 p388 p152 p452 p93 p552 p103 p252 p50 }) ({p409 p615 p529 p12 p444 p606 p502 p371 p238 p337 p513 p103 p378 p602 p589 p210 } a31 {p177 p317 p446 p534 p505 p391 p372 p394 p338 p195 p306 p168 p103 p380 p50 }) ({p505 p12 p93 p327 } a31 {p505 p93 p327 p50 }) ({p114 p594 p176 p595 p60 p411 p598 p12 p184 p428 p388 p128 p152 p93 p103 p252 } a31 {p114 p594 p176 p595 p119 p60 p320 p411 p598 p184 p428 p388 p152 p93 p103 p252 p50 }) ({p127 p281 p12 p455 } a31 {p597 p119 p319 p183 p419 p50 }) ({p227 p531 p325 p264 p571 p20 p431 p81 p576 p505 p372 p453 p287 p104 p105 } a20 {p57 p529 p325 p561 p266 p231 p23 p430 p575 p548 p508 p373 p286 p97 p454 p420 p109 }) ({p594 p595 p258 p411 p545 p322 p598 p13 p12 p352 p278 p38 p553 p216 p172 p458 p176 p223 p470 p626 p628 p191 p388 p485 p393 p359 p152 p633 p93 p400 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p260 p347 p598 p124 p277 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p629 p388 p487 p90 p152 p93 p635 p399 p103 p252 p590 p569 }) ({p175 p58 p410 p319 p184 p228 p229 p427 p535 p387 p31 p247 p455 p516 p108 } a51 {p175 p58 p410 p319 p183 p228 p229 p427 p21 p535 p387 p247 p457 p516 p108 }) ({p407 p410 p130 p10 p443 p12 p433 p103 p49 p591 } a31 {p241 p492 p445 p471 p103 p357 p50 }) ({p521 p443 p12 p401 p233 p49 p591 } a31 {p394 p468 p445 p535 p357 p50 }) ({p114 p594 p176 p595 p460 p319 p60 p411 p598 p12 p326 p428 p388 p284 p152 p285 p93 p103 p252 p402 p590 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p326 p428 p479 p388 p284 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p114 p594 p176 p595 p221 p319 p60 p411 p598 p12 p326 p16 p428 p479 p481 p388 p432 p486 p284 p152 p93 p103 p252 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p326 p16 p428 p473 p479 p481 p388 p276 p486 p284 p152 p93 p289 p103 p252 p50 }) ({p424 p295 p12 p562 p51 } a31 {p421 p60 p34 p428 p50 }) ({p592 p505 p615 p150 p531 p306 p168 p607 p20 p446 p331 } a20 {p448 p580 p57 p548 p86 p508 p615 p529 p606 p309 p171 p589 }) ({p594 p595 p258 p411 p545 p322 p598 p13 p12 p278 p38 p216 p172 p458 p176 p223 p470 p626 p628 p191 p388 p485 p393 p359 p152 p633 p93 p400 p540 p103 p252 p106 p569 } a31 {p542 p594 p595 p411 p260 p598 p124 p277 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p629 p388 p487 p90 p152 p93 p635 p399 p103 p252 p590 p569 }) ({p594 p549 p150 p138 p20 } a20 {p594 p548 p57 p86 p152 p558 }) ({p177 p391 p241 p507 p442 p165 p195 p492 p367 p20 p534 } a20 {p407 p57 p10 p444 p533 p502 p385 p371 p238 p337 p513 p602 p170 p197 }) ({p355 p594 p176 p595 p461 p60 p5 p411 p598 p12 p184 p263 p428 p477 p388 p282 p304 p152 p93 p556 p103 p252 p402 p198 } a31 {p116 p594 p595 p119 p5 p411 p546 p598 p324 p265 p353 p279 p50 p176 p60 p463 p184 p428 p475 p388 p152 p93 p103 p252 p402 }) ({p594 p595 p411 p259 p598 p13 p12 p325 p618 p599 p575 p450 p213 p286 p216 p172 p176 p186 p626 p231 p430 p191 p388 p633 p97 p100 p103 p253 } a31 {p594 p365 p595 p411 p598 p323 p618 p264 p571 p453 p174 p50 p55 p176 p560 p178 p62 p190 p235 p609 p388 p81 p635 p156 p250 p104 p103 p254 }) ({p12 p140 p170 p197 p439 p336 } a31 {p442 p165 p151 p132 p126 p107 p145 p50 }) ({p537 p610 p31 p443 p195 p401 p233 p49 } a51 {p238 p444 p21 p502 p517 p535 p603 }) ({p176 p365 p317 p323 p367 p20 p534 p237 p449 p391 p507 p303 p209 p94 p156 p250 p312 } a20 {p364 p314 p176 p57 p259 p533 p502 p385 p332 p371 p238 p450 p209 p213 p245 p155 p100 p513 p253 p210 }) ({p594 p595 p411 p259 p598 p13 p12 p325 p619 p599 p575 p450 p213 p286 p216 p172 p176 p186 p625 p626 p231 p430 p191 p388 p359 p633 p398 p97 p100 p103 p253 p344 } a31 {p594 p365 p595 p411 p598 p323 p618 p264 p571 p453 p174 p379 p50 p55 p176 p560 p178 p62 p627 p190 p235 p609 p388 p81 p397 p635 p156 p250 p104 p103 p254 p345 }) ({p521 p594 p176 p293 p595 p411 p598 p12 p233 p73 p388 p394 p152 p215 p103 p252 p108 } a31 {p594 p176 p595 p411 p598 p468 p388 p394 p152 p289 p103 p252 p577 p362 p50 }) ({p11 } a42 {p80 }) ({p175 p293 p365 p410 p228 p190 p73 p535 p387 p31 p283 p247 p169 p215 p516 } a51 {p175 p410 p261 p228 p189 p21 p535 p387 p451 p247 p172 p516 p362 }) ({p482 p484 p84 p598 p480 } a12 {p482 p484 p598 p40 p480 }) ({p127 p183 p12 } a31 {p119 p319 p183 p50 }) ({p178 p614 p227 p531 p624 p264 p187 p571 p329 p20 p474 p431 p81 p576 p505 p372 p397 p453 p287 p104 p105 p254 p345 } a20 {p160 p325 p619 p266 p23 p575 p548 p508 p373 p286 p454 p420 p57 p294 p529 p186 p625 p561 p231 p430 p478 p564 p396 p97 p109 }) ({p594 p176 p595 p411 p227 p598 p184 p264 p20 p575 p388 p81 p152 p453 p287 p103 p252 p105 p174 } a20 {p594 p176 p595 p57 p411 p598 p266 p231 p23 p191 p575 p388 p152 p286 p97 p454 p103 p252 p457 p420 }) ({p462 p322 p12 p106 p541 } a31 {p481 p90 p291 p547 p590 p50 }) ({p12 p245 p434 p562 p51 } a31 {p237 p60 p34 p252 p50 }) ({p77 p20 } a20 {p57 p62 p228 }) ({p70 } a8 {p66 }) ({p72 } a30 {p33 }) ({p594 p176 p595 p411 p545 p322 p598 p13 p12 p626 p191 p388 p393 p280 p152 p633 p93 p216 p540 p103 p252 p172 p106 p379 } a31 {p542 p594 p55 p176 p595 p560 p411 p62 p598 p425 p190 p235 p388 p280 p90 p152 p93 p635 p103 p252 p590 p174 p50 p379 }) ({p594 p176 p55 p595 p60 p411 p62 p545 p322 p598 p12 p428 p190 p388 p152 p93 p291 p540 p103 p252 p402 p106 } a31 {p542 p594 p176 p55 p595 p60 p411 p62 p598 p428 p190 p388 p90 p152 p93 p291 p103 p252 p402 p590 p50 }) ({p175 p593 p597 p58 p410 p319 p366 p228 p229 p427 p535 p387 p486 p31 p281 p154 p247 p516 p108 p110 p362 } a51 {p175 p593 p597 p58 p410 p319 p366 p228 p229 p427 p21 p535 p387 p486 p281 p154 p247 p516 p108 p110 p362 }) ({p594 p176 p595 p60 p411 p545 p322 p598 p12 p299 p428 p388 p152 p93 p540 p103 p252 p106 } a31 {p542 p594 p176 p595 p60 p411 p598 p428 p388 p488 p90 p152 p93 p291 p103 p252 p590 p50 }) ({p594 p176 p116 p595 p119 p60 p411 p598 p227 p12 p428 p476 p388 p152 p93 p288 p103 p252 p402 p457 } a31 {p594 p176 p116 p595 p597 p119 p60 p411 p598 p227 p184 p428 p269 p388 p152 p93 p103 p252 p402 p50 }) ({p12 p328 p170 p385 p162 } a31 {p388 p176 p165 p367 p50 }) ({p83 } a11 {p43 }) ({p594 p595 p258 p411 p545 p322 p598 p13 p12 p278 p38 p216 p172 p458 p176 p223 p470 p626 p191 p388 p393 p359 p152 p633 p93 p399 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p260 p598 p124 p277 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p388 p90 p152 p93 p635 p399 p103 p252 p590 }) ({p113 p594 p595 p256 p411 p9 p598 p124 p20 p269 p268 p277 p280 p285 p456 p421 p176 p60 p425 p479 p629 p388 p565 p152 p93 p402 p103 p252 p639 p590 p569 } a20 {p594 p595 p258 p411 p121 p598 p18 p273 p509 p288 p38 p553 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p630 p393 p152 p93 p400 p540 p103 p252 p588 p568 }) ({p12 p39 p288 p428 } a31 {p284 p428 p269 p50 }) ({p421 p113 p55 p560 p256 p425 p124 p20 p190 p268 p235 p277 p280 p550 p34 p374 p398 p214 p252 p456 p590 p379 } a20 {p381 p57 p223 p258 p424 p121 p626 p234 p273 p393 p359 p633 p398 p38 p290 p540 p216 p252 p172 p588 p458 p51 p559 }) ({p46 } a0 {p6 }) ({p542 p407 p459 p116 p594 p176 p595 p60 p411 p546 p598 p324 p428 p20 p475 p191 p388 p278 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p595 p411 p545 p322 p598 p278 p556 p176 p355 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p103 p252 p106 }) ({p176 p365 p317 p323 p618 p367 p205 p20 p534 p609 p237 p449 p208 p391 p507 p303 p395 p94 p156 p342 p250 p312 p380 p173 } a20 {p364 p314 p409 p259 p617 p599 p502 p332 p371 p450 p209 p213 p513 p210 p176 p57 p623 p533 p608 p385 p238 p245 p92 p155 p100 p253 p344 }) ({p241 p507 p442 p195 p492 p328 p20 p534 p162 } a20 {p407 p176 p388 p238 p57 p10 p444 p533 p513 p602 p502 p197 }) ({p314 p415 p112 p440 p12 p533 p302 p170 p385 p197 p622 } a31 {p507 p442 p303 p165 p413 p376 p367 p103 p75 p50 }) ({p593 p114 p594 p116 p595 p365 p319 p366 p411 p320 p598 p12 p324 p326 p16 p276 p284 p176 p55 p60 p62 p227 p183 p184 p229 p428 p473 p479 p481 p482 p388 p391 p486 p488 p150 p152 p154 p93 p195 p103 p252 p402 p590 p362 } a31 {p593 p114 p594 p116 p595 p365 p319 p366 p411 p320 p598 p324 p326 p16 p276 p284 p50 p176 p55 p60 p62 p227 p183 p184 p229 p428 p473 p479 p481 p482 p388 p391 p486 p488 p150 p152 p154 p93 p195 p103 p252 p402 p590 p362 }) ({p200 p615 p12 p444 p606 p141 p337 p130 p246 p103 p602 p589 p622 } a31 {p177 p497 p203 p446 p239 p338 p153 p195 p306 p376 p168 p103 p403 p50 }) ({p177 p442 p165 p153 p195 p134 p20 p107 p145 } a20 {p57 p200 p337 p444 p141 p103 p602 p170 p197 p622 p136 }) ({p594 p176 p595 p411 p424 p598 p12 p234 p369 p388 p548 p152 p103 p252 p588 p420 p51 p559 } a31 {p421 p594 p176 p595 p525 p366 p411 p227 p598 p388 p550 p152 p34 p214 p103 p252 p50 }) ({p114 p594 p595 p319 p411 p598 p16 p326 p265 p20 p276 p284 p176 p60 p463 p428 p473 p481 p388 p486 p152 p93 p634 p103 p252 } a20 {p114 p594 p595 p319 p7 p411 p598 p326 p282 p284 p176 p221 p57 p60 p428 p477 p481 p388 p432 p486 p152 p93 p103 p252 p638 }) ({p114 p594 p176 p460 p595 p319 p60 p411 p598 p12 p326 p428 p388 p276 p432 p509 p152 p93 p42 p103 p252 p402 p590 } a31 {p114 p594 p595 p319 p411 p9 p598 p326 p276 p285 p289 p291 p50 p176 p60 p428 p473 p479 p388 p152 p93 p103 p252 p402 p590 }) ({p594 p176 p595 p411 p259 p529 p598 p12 p231 p502 p388 p238 p391 p450 p394 p152 p286 p97 p250 p103 p252 } a31 {p594 p176 p365 p595 p411 p598 p264 p388 p81 p505 p391 p394 p152 p453 p250 p103 p252 p50 }) ({p594 p595 p411 p545 p322 p598 p12 p277 p509 p38 p42 p458 p176 p460 p223 p60 p470 p388 p393 p152 p93 p540 p103 p252 p402 p106 } a31 {p542 p594 p595 p411 p9 p598 p124 p277 p280 p285 p291 p50 p459 p176 p60 p425 p479 p388 p90 p152 p93 p103 p252 p402 p590 }) ({p77 p236 p31 p547 p169 p354 p190 p590 } a51 {p593 p228 p172 p189 p21 p541 p217 }) ({p594 p176 p595 p411 p424 p598 p12 p266 p23 p234 p388 p576 p548 p508 p152 p454 p290 p103 p252 p588 p420 p51 p559 } a31 {p421 p594 p176 p595 p366 p411 p227 p598 p531 p268 p388 p576 p550 p152 p34 p287 p214 p103 p252 p456 p105 p50 }) ({p364 p594 p365 p320 p7 p322 p324 p326 p16 p21 p170 p51 p55 p227 p184 p230 p231 p473 p385 p476 p477 p75 p234 p191 p479 p235 p481 p236 p391 p488 p245 p195 p97 p400 p402 p106 p197 p116 p126 p276 p282 p288 p525 p529 p424 p531 p532 p533 p534 p536 p537 p150 p152 p588 p589 p590 } a45 {p364 p594 p365 p320 p7 p322 p324 p326 p16 p170 p51 p55 p227 p184 p230 p231 p473 p385 p476 p477 p75 p234 p191 p479 p235 p481 p236 p391 p84 p488 p245 p195 p97 p400 p402 p106 p197 p116 p126 p276 p282 p288 p525 p529 p424 p531 p532 p533 p534 p536 p537 p150 p152 p588 p589 p590 }) ({p364 p314 p346 p176 p12 p498 p533 p383 p302 p385 p332 p448 p580 p86 p245 p155 p309 p103 } a31 {p592 p346 p176 p412 p413 p367 p331 p75 p237 p449 p507 p303 p150 p94 p103 p312 p519 p50 }) ({p594 p176 p595 p411 p424 p598 p12 p266 p476 p23 p388 p576 p152 p288 p454 p290 p103 p252 p588 p457 p420 } a31 {p421 p594 p176 p595 p597 p411 p227 p598 p184 p269 p268 p388 p576 p152 p287 p103 p252 p456 p105 p50 }) ({p364 p314 p409 p176 p12 p498 p204 p533 p383 p608 p302 p385 p332 p448 p580 p86 p209 p245 p155 p309 p103 p251 p378 p171 } a31 {p592 p346 p176 p412 p413 p367 p607 p205 p331 p75 p237 p449 p507 p303 p150 p94 p103 p251 p312 p380 p173 p519 p50 }) ({p594 p176 p595 p411 p259 p598 p12 p231 p191 p388 p450 p152 p286 p97 p250 p216 p103 p252 p172 } a31 {p594 p176 p365 p595 p62 p411 p598 p264 p190 p235 p388 p81 p152 p453 p250 p103 p252 p174 p50 }) ({p594 p549 p424 p511 p152 p12 p588 p420 p234 p51 } a31 {p421 p594 p366 p227 p152 p532 p34 p214 p558 p50 }) ({p593 p212 p228 p20 p189 p570 } a20 {p77 p58 p57 p427 p169 p354 }) ({p537 p20 p343 p603 } a20 {p537 p610 p57 p602 p343 }) ({p407 p10 p202 p12 p444 p621 p589 p603 p136 } a31 {p610 p241 p497 p195 p492 p306 p446 p403 p343 p50 }) ({p407 p114 p594 p595 p319 p411 p9 p598 p326 p20 p269 p282 p285 p176 p60 p424 p428 p477 p479 p388 p152 p93 p400 p103 p252 p639 } a20 {p407 p114 p594 p595 p319 p411 p598 p326 p18 p509 p282 p288 p42 p176 p460 p57 p60 p424 p428 p476 p477 p388 p152 p93 p400 p103 p252 }) ({p592 p505 p150 p531 p306 p606 p20 p446 p331 } a20 {p448 p580 p548 p57 p86 p508 p529 p606 p309 p589 }) ({p537 p293 p365 p31 p283 p215 p401 p233 p73 } a51 {p238 p451 p261 p21 p502 p517 p535 p362 }) ({p235 p55 p365 p237 p449 p34 p155 p214 p250 p20 p190 } a20 {p364 p57 p450 p259 p213 p245 p155 p626 p216 p172 p234 p51 }) ({p74 } a9 {p70 }) ({p594 p595 p411 p121 p598 p12 p266 p329 p23 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p561 p234 p388 p152 p103 p252 p588 p109 } a31 {p113 p594 p595 p366 p411 p598 p329 p268 p576 p550 p34 p374 p287 p214 p456 p50 p421 p176 p227 p531 p431 p388 p152 p103 p252 p105 }) ({p127 p31 p184 p326 p455 } a51 {p319 p183 p305 p21 p457 }) ({p62 p322 p12 p106 p172 p541 p191 } a31 {p62 p90 p547 p190 p590 p174 p50 }) ({p80 } a10 {p64 }) ({p176 p594 p595 p411 p259 p529 p598 p12 p231 p502 p388 p238 p391 p450 p286 p97 p513 p103 } a31 {p176 p594 p365 p595 p411 p598 p264 p534 p388 p81 p505 p391 p394 p453 p103 p50 }) ({p421 p594 p176 p595 p60 p411 p598 p425 p20 p269 p479 p388 p152 p285 p93 p290 p400 p103 p252 p590 } a20 {p594 p176 p460 p595 p57 p60 p411 p424 p598 p476 p388 p393 p152 p93 p288 p42 p290 p400 p540 p103 p252 p588 }) ({p594 p176 p460 p595 p60 p411 p545 p322 p598 p12 p425 p428 p388 p152 p93 p540 p103 p252 p402 p106 } a31 {p542 p594 p176 p595 p60 p411 p598 p425 p428 p479 p388 p90 p152 p93 p291 p103 p252 p402 p590 p50 }) ({p175 p597 p119 p62 p366 p394 p64 p289 p413 p291 p103 p519 } a5 {p67 p292 p107 }) ({p542 p407 p116 p594 p595 p411 p260 p546 p598 p347 p324 p20 p353 p279 p459 p176 p60 p428 p475 p191 p388 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p595 p411 p545 p322 p598 p263 p352 p278 p556 p355 p176 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p103 p252 p106 p198 }) ({p116 p594 p176 p595 p60 p411 p545 p598 p324 p184 p428 p20 p388 p90 p152 p93 p400 p103 p252 p174 } a20 {p594 p176 p595 p57 p60 p411 p545 p322 p598 p428 p191 p388 p304 p152 p93 p556 p400 p103 p252 p106 p457 }) ({p212 p12 } a31 {p212 p50 }) ({p55 p365 p560 p323 p617 p20 p190 p235 p609 p237 p449 p550 p94 p34 p214 p156 p250 p312 p173 } a20 {p364 p57 p259 p617 p599 p626 p608 p234 p332 p450 p213 p633 p245 p155 p100 p216 p253 p172 p51 p559 }) ({p69 } a34 {p65 }) ({p542 p116 p594 p595 p411 p260 p546 p347 p598 p324 p15 p20 p353 p279 p174 p459 p176 p60 p184 p475 p629 p388 p487 p90 p152 p93 p635 p402 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p263 p352 p278 p556 p457 p355 p176 p461 p57 p60 p470 p191 p388 p630 p490 p304 p152 p93 p400 p637 p103 p252 p106 p198 }) ({p594 p595 p160 p411 p121 p598 p12 p18 p266 p23 p273 p288 p454 p290 p457 p420 p176 p424 p294 p561 p476 p628 p388 p564 p152 p400 p637 p103 p252 p588 p568 p109 } a31 {p113 p594 p595 p256 p597 p614 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p187 p431 p629 p388 p565 p152 p399 p103 p252 p105 p639 }) ({p20 p517 p603 p536 } a20 {p537 p610 p57 p602 p404 }) ({p578 p366 p12 p97 } a31 {p81 p366 p93 p50 }) ({p407 p114 p594 p595 p319 p7 p411 p598 p326 p265 p20 p276 p284 p288 p176 p60 p463 p428 p473 p481 p388 p486 p152 p93 p103 p252 } a20 {p407 p114 p594 p595 p319 p7 p411 p598 p326 p282 p284 p288 p176 p221 p57 p60 p428 p477 p481 p388 p432 p486 p152 p93 p103 p252 }) ({p238 p394 p529 p12 p444 p502 p589 p603 } a31 {p505 p610 p394 p195 p306 p446 p50 }) ({p364 p592 p176 p594 p595 p596 p411 p598 p12 p234 p448 p388 p548 p86 p245 p155 p103 p51 p559 } a31 {p592 p176 p594 p595 p596 p411 p598 p388 p237 p449 p150 p550 p94 p34 p214 p103 p50 }) ({p227 p531 p264 p571 p20 p430 p81 p576 p505 p372 p453 p287 p105 } a20 {p57 p529 p561 p266 p231 p23 p430 p575 p548 p508 p373 p286 p97 p454 p420 }) ({p594 p315 p595 p319 p7 p10 p598 p326 p547 p20 p170 p558 p51 p175 p176 p58 p60 p228 p188 p385 p477 p191 p480 p387 p481 p388 p236 p610 p486 p245 p93 p97 p247 p400 p103 p252 p106 p108 p110 p407 p114 p410 p411 p281 p282 p283 p284 p288 p516 p521 p523 p529 p424 p532 p427 p428 p535 p537 p152 p589 p591 } a20 {p594 p315 p595 p319 p7 p10 p598 p326 p547 p170 p558 p51 p175 p176 p57 p58 p60 p228 p188 p385 p477 p191 p480 p387 p481 p388 p236 p610 p486 p245 p93 p97 p247 p400 p103 p252 p106 p108 p110 p407 p114 p410 p411 p281 p282 p283 p284 p288 p516 p521 p523 p529 p424 p532 p427 p428 p535 p537 p152 p589 p591 }) ({p578 p505 p12 p97 } a31 {p81 p505 p93 p50 }) ({p320 p305 p20 } a20 {p57 p128 p326 }) ({p596 p525 p581 p549 p511 p150 p138 p20 } a20 {p594 p548 p57 p86 p527 p152 p532 p558 p369 }) ({p594 p595 p411 p121 p598 p12 p18 p266 p23 p273 p288 p454 p290 p457 p420 p176 p424 p294 p187 p561 p476 p388 p152 p637 p103 p252 p588 p109 } a31 {p113 p594 p595 p256 p597 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p187 p431 p388 p152 p103 p252 p105 p639 }) ({p594 p176 p595 p411 p259 p598 p13 p12 p323 p626 p231 p430 p191 p575 p388 p450 p213 p633 p286 p97 p100 p216 p103 p172 } a31 {p594 p55 p176 p365 p595 p560 p411 p62 p598 p323 p264 p571 p190 p235 p388 p81 p453 p635 p156 p250 p104 p103 p174 p50 }) ({p63 } a25 {p89 }) ({p175 p315 p410 p31 p152 p41 p232 p516 p447 p75 p363 p519 } a51 {p175 p448 p410 p138 p154 p298 p21 p516 p519 }) ({p67 p292 p107 } a7 {p175 p436 p111 p74 }) ({p364 p314 p176 p411 p527 p12 p533 p302 p385 p415 p448 p86 p245 p155 p103 } a31 {p176 p596 p411 p413 p367 p75 p237 p449 p507 p303 p150 p94 p103 p519 p50 }) ({p441 p241 p489 p492 p20 p535 p25 } a20 {p407 p387 p175 p57 p10 p443 p401 p233 p49 }) ({p314 p440 p158 p12 p533 p103 p302 p170 p385 p197 p622 } a31 {p507 p442 p303 p165 p376 p367 p103 p75 p50 }) ({p594 p176 p595 p60 p411 p545 p322 p598 p12 p191 p79 p388 p152 p93 p540 p103 p252 p106 p172 } a31 {p542 p594 p176 p595 p60 p411 p62 p598 p230 p190 p388 p90 p152 p93 p103 p252 p590 p174 p50 }) ({p594 p595 p411 p545 p322 p598 p13 p12 p216 p172 p458 p379 p176 p223 p470 p626 p191 p388 p393 p152 p633 p93 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p598 p280 p174 p50 p379 p459 p55 p176 p560 p62 p425 p190 p235 p388 p90 p152 p93 p635 p103 p252 p590 }) ({p177 p391 p317 p507 p442 p303 p165 p195 p367 p376 p20 p534 } a20 {p314 p57 p444 p533 p502 p385 p371 p238 p337 p513 p378 p602 p170 p197 p210 }) ({p593 p114 p594 p116 p595 p365 p319 p366 p411 p320 p598 p12 p324 p326 p16 p276 p284 p176 p55 p60 p62 p227 p183 p184 p229 p428 p479 p481 p388 p432 p391 p486 p488 p150 p152 p154 p93 p195 p103 p252 p402 p590 p362 } a31 {p593 p114 p594 p116 p595 p365 p319 p366 p411 p320 p598 p324 p326 p16 p276 p284 p289 p50 p176 p55 p60 p62 p227 p183 p184 p229 p428 p473 p479 p481 p388 p391 p486 p488 p150 p152 p154 p93 p195 p103 p252 p402 p590 p362 }) ({p176 p594 p595 p411 p259 p529 p598 p12 p323 p231 p430 p502 p371 p575 p238 p450 p213 p286 p97 p100 p513 p103 p210 } a31 {p176 p594 p365 p595 p317 p411 p598 p323 p264 p571 p534 p81 p505 p391 p372 p394 p453 p156 p250 p104 p103 p50 }) ({p65 } a35 {p76 }) ({p364 p388 p358 p31 p489 p533 p252 p52 } a51 {p387 p449 p507 p247 p434 p328 p21 }) ({p151 p12 p107 } a31 {p151 p107 p50 }) ({p595 p58 p12 p249 p427 p418 p368 } a31 {p595 p523 p366 p212 p229 p570 p50 }) ({p594 p525 p549 p511 p152 p20 } a20 {p594 p548 p57 p152 p532 p558 p369 }) ({p421 p381 p55 p560 p425 p20 p190 p235 p550 p34 p214 p290 p252 p590 } a20 {p381 p57 p424 p626 p234 p393 p633 p290 p540 p216 p252 p172 p588 p51 p559 }) ({p175 p387 p410 p31 p227 p184 p247 p455 p418 p535 p516 p108 } a51 {p175 p387 p410 p183 p229 p247 p21 p535 p457 p420 p516 p108 }) ({p176 p594 p595 p411 p259 p529 p598 p12 p231 p502 p388 p238 p450 p286 p97 p103 p404 } a31 {p176 p594 p365 p595 p411 p598 p264 p536 p388 p81 p505 p394 p453 p103 p50 }) ({p594 p526 p31 p152 p532 p249 p41 p558 p368 p232 p447 } a51 {p448 p595 p523 p581 p549 p511 p138 p154 p21 }) ({p55 p560 p365 p20 p190 p235 p332 p237 p449 p550 p94 p34 p214 p156 p250 } a20 {p364 p57 p259 p626 p234 p332 p450 p213 p633 p245 p155 p100 p216 p172 p51 p559 }) ({p421 p55 p560 p121 p425 p20 p190 p268 p235 p280 p550 p34 p374 p398 p214 p252 p456 p590 p379 } a20 {p381 p57 p223 p424 p121 p626 p234 p393 p359 p633 p398 p290 p540 p216 p252 p172 p588 p458 p51 p559 }) ({p407 p114 p594 p176 p595 p319 p60 p411 p424 p598 p326 p18 p428 p20 p269 p479 p388 p152 p285 p93 p400 p103 p252 } a20 {p407 p114 p594 p176 p595 p460 p57 p319 p60 p411 p424 p598 p326 p18 p428 p476 p388 p152 p93 p288 p42 p400 p103 p252 }) ({p594 p595 p614 p411 p598 p15 p264 p571 p329 p20 p576 p453 p287 p174 p176 p178 p227 p184 p187 p627 p431 p388 p81 p152 p635 p399 p104 p103 p252 p105 p254 p345 } a20 {p594 p595 p160 p411 p598 p13 p325 p619 p266 p23 p575 p286 p454 p457 p420 p176 p57 p294 p186 p561 p231 p430 p628 p191 p388 p564 p152 p398 p97 p637 p103 p252 p109 }) ({p594 p176 p595 p60 p411 p598 p12 p428 p476 p388 p128 p152 p93 p288 p103 p252 p457 } a31 {p594 p176 p595 p597 p119 p60 p320 p411 p598 p184 p428 p269 p388 p152 p93 p103 p252 p50 }) ({p365 p449 p507 p434 p328 p20 p534 } a20 {p364 p388 p238 p57 p450 p259 p513 p533 p252 p502 }) ({p364 p176 p411 p616 p12 p608 p234 p332 p448 p580 p548 p86 p508 p245 p155 p309 p103 p171 p51 p559 } a31 {p592 p176 p366 p411 p616 p531 p607 p331 p237 p449 p150 p550 p94 p34 p214 p103 p312 p173 p519 p50 }) ({p594 p595 p411 p259 p598 p12 p325 p619 p599 p502 p371 p575 p450 p213 p286 p513 p210 p176 p529 p623 p186 p231 p430 p238 p396 p92 p97 p100 p103 p253 p344 } a31 {p594 p365 p595 p317 p411 p598 p323 p618 p264 p571 p505 p208 p372 p453 p50 p176 p178 p624 p474 p534 p609 p81 p391 p394 p395 p156 p250 p104 p103 p254 p345 }) ({p364 p448 p581 p549 p511 p245 p138 p12 p234 p51 } a31 {p594 p237 p449 p366 p152 p532 p34 p214 p558 p519 p50 }) ({p175 p293 p365 p410 p233 p73 p535 p387 p31 p283 p247 p215 p516 } a51 {p175 p387 p238 p410 p451 p261 p247 p21 p502 p535 p516 p362 }) ({p451 p261 p230 p20 p217 } a20 {p79 p236 p57 p450 p259 p283 }) ({p594 p595 p411 p598 p15 p264 p619 p571 p329 p20 p576 p453 p287 p174 p176 p178 p227 p184 p187 p431 p388 p81 p152 p635 p104 p103 p252 p105 p254 } a20 {p594 p595 p160 p411 p598 p13 p325 p619 p266 p23 p575 p286 p454 p457 p420 p176 p57 p294 p186 p561 p231 p430 p191 p388 p152 p97 p637 p103 p252 p109 }) ({p407 p594 p595 p258 p411 p545 p322 p598 p12 p352 p278 p509 p38 p553 p42 p458 p176 p460 p223 p60 p470 p388 p630 p393 p152 p93 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p9 p260 p347 p598 p124 p277 p280 p285 p291 p50 p459 p176 p60 p425 p479 p388 p241 p631 p90 p152 p93 p402 p103 p252 p590 p569 }) ({p12 p140 p170 p162 p107 } a31 {p176 p165 p151 p107 p145 p50 }) ({p594 p355 p176 p595 p60 p411 p598 p12 p184 p428 p475 p388 p279 p304 p152 p93 p556 p103 p252 p402 } a31 {p116 p594 p176 p595 p119 p60 p411 p546 p598 p324 p184 p428 p475 p388 p279 p152 p93 p103 p252 p402 p50 }) ({p594 p595 p411 p598 p12 p266 p23 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p561 p234 p431 p388 p152 p103 p252 p588 } a31 {p421 p594 p176 p595 p366 p411 p598 p227 p531 p268 p431 p388 p576 p550 p152 p34 p374 p287 p214 p103 p252 p456 p105 p50 }) ({p114 p594 p496 p176 p460 p595 p221 p319 p60 p411 p598 p12 p326 p428 p388 p432 p509 p152 p93 p42 p103 p252 } a31 {p114 p594 p496 p176 p595 p319 p60 p411 p9 p598 p326 p428 p473 p479 p388 p276 p152 p285 p93 p289 p291 p103 p252 p50 }) ({p593 p319 p366 p31 p284 p154 p229 p427 p419 p476 p362 } a51 {p593 p319 p366 p281 p154 p229 p427 p39 p21 p362 }) ({p3 } a21 {p87 }) ({p140 p20 p439 p75 p336 } a20 {p415 p112 p440 p57 p151 p302 p126 p622 }) ({p594 p595 p411 p545 p322 p598 p13 p12 p277 p38 p216 p172 p458 p176 p223 p470 p626 p191 p388 p393 p359 p152 p633 p93 p399 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p598 p124 p277 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p388 p90 p152 p93 p635 p399 p103 p252 p590 }) ({p114 p594 p176 p595 p319 p60 p411 p598 p326 p427 p428 p20 p388 p486 p152 p93 p103 p252 p419 } a20 {p114 p594 p176 p595 p57 p319 p60 p411 p598 p326 p297 p427 p428 p388 p281 p152 p93 p103 p252 }) ({p594 p176 p55 p595 p60 p411 p62 p545 p322 p598 p12 p425 p428 p191 p388 p152 p93 p540 p103 p252 p106 p172 } a31 {p542 p594 p176 p55 p595 p60 p411 p62 p598 p425 p428 p190 p388 p90 p152 p93 p103 p252 p590 p174 p50 }) ({p114 p594 p176 p595 p319 p60 p411 p598 p16 p326 p428 p20 p481 p388 p486 p282 p284 p152 p93 p634 p103 p252 } a20 {p114 p594 p176 p595 p57 p319 p60 p7 p411 p598 p326 p428 p481 p388 p486 p282 p284 p152 p93 p103 p252 p638 }) ({p114 p594 p176 p595 p319 p60 p411 p598 p12 p326 p299 p428 p388 p284 p152 p93 p103 p252 p590 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p326 p428 p388 p488 p284 p152 p93 p291 p103 p252 p590 p50 }) ({p388 p176 p441 p31 p489 p533 p197 p25 } a51 {p387 p175 p507 p442 p328 p21 p162 }) ({p489 p12 } a31 {p489 p50 }) ({p176 p238 p529 p12 p444 p606 p103 p602 p404 p502 p589 } a31 {p176 p505 p394 p195 p306 p168 p103 p446 p536 p50 }) ({p200 p615 p12 p444 p606 p141 p337 p246 p103 p602 p589 p622 p136 } a31 {p177 p497 p203 p446 p239 p338 p153 p195 p306 p376 p168 p103 p403 p50 }) ({p53 } a19 {p3 }) ({p593 p481 p31 p297 } a51 {p593 p486 p462 p21 }) ({p238 p394 p529 p451 p261 p12 p97 p231 p502 } a31 {p365 p81 p505 p394 p283 p289 p50 }) ({p355 p594 p176 p595 p60 p411 p598 p12 p15 p428 p476 p388 p304 p152 p93 p288 p556 p103 p252 p402 p457 } a31 {p116 p594 p176 p595 p597 p119 p60 p411 p546 p598 p324 p184 p15 p428 p269 p388 p152 p93 p103 p252 p402 p50 }) ({p114 p593 p366 p31 p322 p139 p452 p154 p552 p229 p191 p362 } a51 {p593 p366 p154 p554 p229 p188 p21 p110 p174 p362 }) ({p317 p615 p529 p12 p444 p606 p502 p371 p238 p337 p513 p103 p602 p589 } a31 {p177 p317 p446 p534 p505 p391 p372 p394 p338 p195 p306 p168 p103 p50 }) ({p594 p315 p595 p319 p7 p10 p598 p326 p547 p20 p170 p558 p51 p175 p176 p58 p60 p463 p228 p473 p188 p385 p191 p387 p481 p388 p236 p610 p486 p245 p93 p97 p247 p400 p103 p252 p106 p108 p110 p407 p114 p410 p411 p281 p282 p283 p284 p288 p516 p521 p523 p529 p424 p532 p427 p428 p535 p537 p152 p589 p591 } a20 {p594 p315 p595 p319 p7 p10 p598 p326 p547 p170 p558 p51 p175 p176 p57 p58 p60 p228 p188 p477 p385 p191 p387 p481 p388 p236 p610 p486 p245 p93 p97 p247 p400 p103 p252 p106 p108 p110 p407 p114 p410 p411 p281 p282 p283 p284 p288 p516 p521 p523 p529 p424 p532 p427 p428 p535 p537 p432 p152 p589 p591 }) ({p594 p176 p595 p366 p411 p424 p598 p12 p234 p388 p548 p152 p93 p103 p252 p588 p105 p420 p51 p559 } a31 {p421 p594 p176 p595 p366 p411 p598 p227 p388 p550 p152 p34 p93 p214 p103 p252 p105 p50 }) ({p594 p595 p258 p411 p545 p322 p598 p12 p352 p278 p509 p38 p553 p42 p458 p176 p460 p223 p60 p470 p388 p393 p152 p93 p540 p103 p252 p402 p106 } a31 {p542 p594 p595 p411 p9 p260 p347 p598 p124 p277 p280 p285 p291 p50 p459 p176 p60 p425 p479 p388 p90 p152 p93 p103 p252 p402 p590 p569 }) ({p12 p297 p110 p354 } a31 {p593 p486 p552 p291 p50 }) ({p407 p440 p158 p10 p12 p533 p298 p621 p170 p385 p197 } a31 {p315 p241 p507 p442 p165 p492 p367 p75 p50 }) ({p542 p116 p594 p595 p411 p546 p598 p324 p15 p20 p278 p174 p176 p60 p184 p428 p470 p388 p90 p152 p93 p635 p400 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p278 p556 p457 p355 p176 p57 p60 p428 p470 p191 p388 p304 p152 p93 p400 p637 p103 p252 p106 }) ({p421 p113 p55 p560 p425 p124 p20 p190 p268 p235 p273 p280 p550 p34 p374 p398 p214 p252 p456 p590 p379 } a20 {p381 p57 p223 p424 p121 p626 p234 p273 p393 p359 p633 p398 p38 p290 p540 p216 p252 p172 p588 p458 p51 p559 }) ({p114 p594 p116 p176 p595 p60 p411 p598 p12 p184 p428 p388 p304 p152 p93 p103 p252 p402 } a31 {p114 p594 p116 p176 p595 p119 p60 p411 p598 p324 p184 p428 p388 p152 p93 p103 p252 p402 p50 }) ({p176 p594 p595 p317 p411 p259 p529 p598 p12 p231 p502 p371 p575 p238 p450 p213 p286 p97 p513 p103 } a31 {p176 p594 p365 p595 p317 p411 p598 p264 p571 p534 p81 p505 p391 p372 p394 p453 p250 p103 p50 }) ({p364 p176 p411 p12 p607 p234 p332 p448 p580 p548 p86 p508 p245 p155 p309 p103 p51 p559 } a31 {p592 p176 p366 p411 p531 p607 p331 p237 p449 p150 p550 p94 p34 p214 p103 p312 p519 p50 }) ({p176 p594 p595 p411 p598 p12 p413 p232 p447 p387 p247 p41 p103 p363 } a31 {p176 p594 p595 p358 p411 p598 p489 p154 p413 p103 p52 p50 }) ({p43 } a54 {p46 }) ({p594 p595 p160 p411 p121 p598 p12 p266 p23 p273 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p294 p625 p561 p478 p234 p388 p564 p152 p398 p103 p252 p588 p568 p109 } a31 {p113 p594 p595 p256 p614 p366 p411 p598 p329 p268 p576 p550 p34 p374 p287 p214 p456 p50 p421 p176 p227 p531 p187 p627 p431 p483 p388 p565 p152 p397 p103 p252 p105 }) ({p594 p176 p595 p319 p60 p411 p598 p428 p20 p188 p388 p152 p93 p552 p103 p252 } a20 {p594 p176 p595 p57 p60 p411 p598 p428 p188 p388 p127 p152 p93 p103 p252 p110 }) ({p55 p365 p560 p323 p618 p20 p190 p235 p609 p237 p449 p550 p396 p94 p34 p374 p214 p156 p342 p250 p312 p379 p173 } a20 {p364 p381 p57 p259 p617 p599 p626 p608 p234 p332 p450 p359 p213 p396 p633 p245 p155 p100 p216 p172 p253 p344 p51 p559 }) ({p364 p314 p592 p176 p594 p595 p596 p411 p598 p12 p533 p413 p302 p385 p448 p86 p245 p155 p103 } a31 {p592 p176 p594 p595 p596 p411 p598 p413 p367 p75 p237 p449 p507 p303 p150 p94 p103 p50 }) ({p77 p236 p293 p365 p31 p283 p169 p215 p190 p73 } a51 {p451 p261 p228 p172 p189 p21 p217 p362 }) ({p76 } a28 {p72 }) ({p355 p594 p176 p595 p60 p411 p598 p12 p18 p428 p475 p476 p388 p279 p304 p152 p93 p288 p556 p637 p103 p252 p402 p457 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p269 p279 p50 p176 p60 p184 p428 p475 p388 p152 p93 p103 p252 p402 p639 }) ({p176 p441 p31 p151 p132 p197 p25 p495 } a51 {p175 p442 p140 p134 p21 p162 }) ({p411 p31 p327 p445 p471 p589 p357 } a51 {p192 p410 p497 p348 p446 p21 p591 }) ({p358 p212 p228 p20 p189 p52 p362 } a20 {p77 p293 p58 p57 p247 p169 p215 p73 }) ({p521 p176 p443 p12 p103 p233 p49 p535 p591 } a31 {p176 p468 p445 p103 p535 p357 p50 }) ({p298 p20 p621 } a20 {p315 p57 p302 p622 }) ({p424 p12 p295 p39 p288 } a31 {p421 p284 p428 p269 p50 }) ({p421 p235 p55 p425 p34 p214 p20 p252 p190 p590 p559 } a20 {p57 p393 p424 p626 p540 p216 p252 p172 p588 p234 p51 p559 }) ({p30 } a15 {p48 }) ({p48 } a18 {p20 }) ({p594 p176 p595 p62 p411 p259 p598 p12 p231 p191 p388 p450 p152 p286 p97 p103 p252 p172 } a31 {p594 p176 p365 p595 p62 p411 p598 p264 p190 p388 p81 p152 p453 p103 p252 p174 p50 }) ({p462 p12 p590 } a31 {p481 p291 p590 p50 }) ({p29 } a50 {p83 }) ({p12 p305 p288 p457 p476 } a31 {p597 p119 p184 p326 p269 p50 }) ({p594 p595 p258 p411 p545 p322 p598 p12 p278 p509 p38 p42 p458 p176 p460 p223 p60 p470 p388 p393 p152 p93 p540 p103 p252 p402 p106 p569 } a31 {p542 p594 p595 p411 p9 p260 p598 p124 p277 p280 p285 p291 p50 p459 p176 p60 p425 p479 p388 p90 p152 p93 p103 p252 p402 p590 p569 }) ({p364 p381 p176 p411 p617 p12 p608 p234 p332 p448 p580 p548 p508 p86 p395 p373 p245 p340 p155 p309 p103 p171 p51 p559 } a31 {p592 p176 p366 p411 p616 p531 p607 p331 p237 p449 p150 p395 p550 p94 p34 p374 p214 p342 p103 p312 p173 p519 p50 }) ({p594 p595 p411 p598 p15 p264 p571 p329 p20 p576 p453 p287 p174 p176 p227 p184 p186 p431 p388 p81 p152 p635 p104 p103 p252 p105 p254 } a20 {p594 p595 p411 p598 p13 p325 p266 p23 p575 p286 p454 p457 p420 p176 p57 p294 p186 p561 p231 p430 p191 p388 p152 p97 p637 p103 p252 p109 }) ({p594 p595 p411 p545 p322 p598 p13 p12 p124 p216 p172 p458 p176 p223 p470 p626 p191 p388 p393 p359 p152 p633 p93 p399 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p598 p124 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p388 p90 p152 p93 p635 p399 p103 p252 p590 }) ({p81 p505 p227 p531 p286 p20 p105 } a20 {p548 p57 p508 p529 p97 p286 p231 p420 p23 }) ({p32 } a23 {p35 }) ({p364 p358 p60 p31 p212 p252 p52 p234 } a51 {p449 p58 p214 p247 p434 p21 p562 }) ({p31 p227 p532 p249 p418 p558 p368 } a51 {p523 p549 p511 p229 p21 p420 }) ({p594 p176 p460 p595 p60 p411 p545 p322 p598 p12 p388 p393 p280 p152 p93 p42 p540 p103 p252 p402 p106 } a31 {p542 p594 p176 p595 p60 p411 p598 p425 p479 p388 p280 p90 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p451 p261 p12 p97 p231 p172 p217 p191 } a31 {p236 p365 p81 p62 p283 p289 p190 p174 p50 }) ({p113 p256 p124 p20 p268 p277 p280 p550 p34 p374 p214 p456 p379 p421 p55 p560 p425 p627 p190 p235 p483 p565 p399 p252 p590 p569 } a20 {p258 p121 p273 p38 p553 p290 p216 p172 p458 p51 p559 p381 p57 p223 p424 p626 p628 p234 p485 p393 p359 p633 p398 p540 p252 p588 p568 }) ({p451 p261 p20 p517 p536 } a20 {p537 p57 p450 p259 p283 p404 }) ({p364 p411 p617 p12 p332 p448 p548 p508 p373 p171 p51 p559 p381 p176 p623 p608 p234 p580 p86 p396 p245 p340 p155 p309 p103 } a31 {p592 p176 p366 p411 p616 p531 p624 p607 p331 p237 p449 p395 p150 p550 p34 p94 p374 p214 p342 p103 p312 p173 p519 p50 }) ({p594 p595 p411 p259 p598 p13 p12 p325 p575 p450 p213 p286 p216 p172 p176 p626 p231 p430 p191 p609 p388 p633 p97 p100 p103 p253 } a31 {p594 p365 p595 p411 p598 p323 p264 p571 p453 p174 p50 p55 p176 p560 p62 p190 p235 p609 p388 p81 p635 p156 p250 p104 p103 p254 }) ({p364 p448 p594 p245 p138 p12 p533 p413 p298 p385 } a31 {p315 p594 p237 p449 p507 p152 p413 p367 p75 p50 }) ({p526 p20 p414 } a20 {p595 p57 p413 p516 p519 }) ({p436 p20 p111 } a20 {p57 p413 p103 p437 p363 p163 }) ({p523 p229 p468 p20 p577 } a20 {p521 p57 p249 p418 p108 p368 }) ({p594 p176 p595 p60 p411 p598 p546 p12 p428 p476 p388 p304 p152 p93 p288 p556 p103 p252 p402 p457 } a31 {p116 p594 p176 p595 p597 p119 p60 p411 p598 p546 p324 p184 p428 p269 p388 p152 p93 p103 p252 p402 p50 }) ({p230 p20 p541 p217 } a20 {p79 p236 p57 p547 p540 }) ({p8 } a41 {p22 }) ({p575 p81 p505 p227 p531 p453 p264 p287 p20 p105 } a20 {p575 p57 p548 p508 p529 p286 p97 p454 p266 p231 p23 p420 }) ({p529 p31 p327 p468 p445 p589 p357 } a51 {p521 p505 p192 p446 p21 p591 }) ({p594 p176 p595 p411 p424 p598 p12 p234 p388 p548 p508 p152 p103 p252 p588 p105 p420 p51 p559 } a31 {p421 p594 p176 p595 p366 p411 p227 p598 p531 p388 p550 p152 p34 p214 p103 p252 p105 p50 }) ({p505 p192 p12 } a31 {p505 p306 p327 p50 }) ({p610 p130 p31 p443 p195 p433 p343 p49 } a51 {p202 p444 p621 p21 p603 p136 }) ({p12 p554 p106 } a31 {p114 p90 p50 }) ({p33 } a32 {p36 }) ({p175 p410 p232 p535 p447 p387 p31 p152 p249 p41 p558 p516 p519 } a51 {p175 p387 p448 p410 p549 p138 p154 p21 p535 p516 p519 }) ({p594 p176 p55 p595 p60 p411 p545 p322 p598 p12 p191 p388 p152 p93 p540 p216 p103 p252 p106 p172 } a31 {p542 p594 p176 p55 p595 p60 p411 p62 p598 p190 p235 p388 p90 p152 p93 p103 p252 p590 p174 p50 }) ({p594 p176 p595 p411 p424 p598 p12 p561 p266 p476 p23 p431 p388 p152 p288 p454 p290 p103 p252 p588 p457 p420 } a31 {p421 p594 p176 p595 p597 p411 p227 p598 p184 p269 p268 p431 p388 p576 p152 p287 p103 p252 p456 p105 p50 }) ({p77 p293 p12 p169 p215 p188 p73 p108 } a31 {p62 p452 p139 p228 p289 p189 p577 p362 p50 }) ({p421 p594 p176 p595 p60 p411 p121 p598 p425 p20 p269 p268 p479 p388 p280 p152 p285 p93 p400 p103 p252 p456 p590 } a20 {p594 p595 p411 p121 p598 p288 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p393 p152 p93 p400 p540 p103 p252 p588 }) ({p592 p241 p192 p150 p497 p348 p492 p20 p446 p75 } a20 {p407 p448 p580 p57 p86 p411 p10 p498 p327 p302 p589 }) ({p592 p505 p192 p150 p531 p20 p446 } a20 {p448 p580 p548 p57 p86 p508 p529 p327 p589 }) ({p364 p448 p581 p245 p138 p12 p533 p298 p385 p503 } a31 {p315 p594 p237 p449 p507 p152 p413 p367 p75 p519 p50 }) ({p35 } a24 {p48 }) ({p592 p346 p616 p497 p412 p203 p607 p20 p446 p331 p75 p239 p150 p338 p306 p376 p168 p251 p403 } a20 {p57 p615 p226 p498 p204 p606 p383 p302 p448 p580 p86 p340 p246 p309 p378 p171 p589 }) ({p595 p241 p154 p492 p445 p471 p20 p516 p357 } a20 {p407 p57 p410 p526 p10 p41 p232 p447 p363 p591 p414 }) ({p227 p531 p186 p264 p571 p329 p20 p431 p81 p576 p505 p372 p453 p287 p104 p105 p254 } a20 {p57 p294 p529 p325 p186 p561 p266 p231 p23 p430 p575 p548 p508 p373 p286 p97 p454 p420 p109 }) ({p364 p314 p176 p411 p412 p12 p498 p533 p302 p385 p448 p580 p86 p245 p155 p103 } a31 {p592 p176 p411 p412 p413 p367 p75 p237 p449 p507 p303 p150 p94 p103 p519 p50 }) ({p324 p184 p554 p20 p174 } a20 {p114 p57 p322 p304 p457 p191 }) ({p593 p12 p297 } a31 {p593 p486 p291 p50 }) ({p89 } a26 {p76 }) ({p364 p176 p411 p527 p12 p234 p369 p448 p548 p86 p245 p155 p103 p51 p559 } a31 {p176 p596 p525 p366 p411 p237 p449 p150 p550 p94 p34 p214 p103 p519 p50 }) ({p594 p595 p411 p598 p12 p263 p18 p282 p288 p556 p457 p355 p176 p461 p60 p428 p477 p476 p388 p304 p152 p93 p637 p103 p252 p402 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p265 p269 p279 p50 p176 p60 p463 p184 p428 p475 p388 p152 p93 p103 p252 p402 p639 }) ({p407 p594 p595 p411 p598 p12 p263 p18 p282 p288 p556 p457 p355 p176 p461 p60 p477 p476 p388 p630 p490 p304 p152 p93 p637 p103 p252 p198 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p265 p269 p353 p279 p50 p176 p60 p463 p184 p475 p388 p241 p631 p152 p93 p491 p402 p103 p252 p639 }) ({p594 p595 p411 p121 p598 p12 p18 p266 p329 p23 p288 p454 p290 p457 p420 p176 p424 p561 p476 p388 p152 p637 p103 p252 p588 p109 } a31 {p113 p594 p595 p597 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p431 p388 p152 p103 p252 p105 p639 }) ({p324 p554 p20 p191 } a20 {p114 p57 p322 p304 p191 }) ({p542 p116 p594 p595 p411 p260 p546 p598 p324 p15 p20 p279 p174 p459 p176 p60 p184 p428 p475 p388 p90 p152 p93 p635 p400 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p263 p278 p556 p457 p355 p176 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p637 p103 p252 p106 }) ({p127 p20 } a20 {p57 p319 p119 }) ({p594 p176 p460 p595 p223 p60 p411 p545 p322 p598 p12 p124 p470 p388 p393 p152 p93 p42 p540 p103 p252 p402 p106 p458 } a31 {p542 p459 p594 p176 p595 p60 p411 p598 p425 p124 p479 p388 p280 p90 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p481 p236 p20 p541 } a20 {p481 p236 p57 p547 p540 }) ({p175 p58 p410 p228 p427 p547 p189 p535 p387 p486 p31 p247 p354 p590 p516 p108 } a51 {p593 p175 p58 p410 p228 p427 p21 p189 p535 p387 p486 p247 p541 p516 p108 }) ({p407 p387 p175 p10 p12 p103 p437 p363 p163 } a31 {p441 p241 p489 p492 p103 p25 p50 }) ({p407 p594 p595 p411 p598 p12 p263 p18 p353 p282 p288 p556 p457 p355 p176 p461 p60 p477 p476 p388 p630 p490 p304 p152 p93 p637 p103 p252 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p265 p269 p353 p279 p50 p176 p60 p463 p184 p475 p388 p241 p631 p152 p93 p491 p402 p103 p252 p639 }) ({p592 p409 p616 p531 p607 p20 p446 p331 p505 p372 p150 p338 p306 p168 } a20 {p409 p57 p615 p529 p606 p448 p580 p548 p86 p508 p373 p340 p309 p171 p589 }) ({p40 } a52 {p78 }) ({p114 p594 p176 p460 p595 p221 p319 p60 p7 p411 p598 p12 p326 p428 p388 p432 p509 p632 p152 p93 p42 p103 p252 p334 } a31 {p114 p496 p594 p595 p5 p319 p411 p9 p598 p326 p276 p285 p289 p291 p50 p176 p60 p428 p473 p479 p388 p152 p93 p634 p103 p252 }) ({p295 p39 p20 p590 p479 } a20 {p460 p57 p284 p428 p540 p588 p476 }) ({p12 p184 p305 } a31 {p119 p184 p326 p50 }) ({p594 p176 p595 p60 p411 p62 p598 p12 p428 p189 p388 p486 p152 p93 p103 p252 p110 p354 } a31 {p593 p594 p176 p595 p60 p411 p62 p598 p428 p189 p388 p486 p152 p93 p552 p103 p252 p50 }) ({p176 p177 p238 p529 p12 p444 p513 p606 p103 p602 p502 p589 } a31 {p176 p177 p505 p394 p195 p306 p168 p103 p446 p534 p50 }) ({p127 p597 p31 p326 } a51 {p597 p319 p305 p21 }) ({p66 } a6 {p27 }) ({p235 p365 p449 p214 p434 p20 p190 p562 } a20 {p364 p57 p60 p450 p259 p216 p252 p172 p234 }) ({p322 p12 p106 p172 p541 p217 p191 } a31 {p236 p62 p90 p547 p190 p590 p174 p50 }) ({p175 p610 p31 p443 p195 p233 p49 p535 } a51 {p175 p238 p444 p21 p502 p535 p603 }) ({p175 p12 p436 p111 } a31 {p441 p132 p107 p25 p495 p50 }) ({p364 p314 p409 p617 p12 p498 p204 p332 p448 p209 p378 p171 p176 p226 p533 p383 p608 p302 p385 p580 p86 p245 p340 p155 p309 p103 } a31 {p592 p346 p616 p412 p413 p367 p205 p331 p449 p507 p380 p173 p519 p50 p176 p607 p75 p237 p303 p150 p94 p342 p251 p103 p312 }) ({p594 p355 p176 p595 p461 p60 p411 p598 p12 p184 p428 p477 p388 p279 p304 p152 p93 p556 p103 p252 p402 } a31 {p116 p594 p176 p595 p119 p60 p463 p411 p546 p598 p324 p184 p428 p475 p388 p279 p152 p93 p103 p252 p402 p50 }) ({p178 p227 p531 p624 p264 p187 p619 p571 p329 p20 p474 p431 p81 p576 p505 p372 p397 p453 p287 p104 p105 p254 } a20 {p57 p160 p294 p529 p325 p186 p619 p625 p561 p266 p231 p23 p430 p478 p575 p548 p508 p373 p396 p286 p97 p454 p420 p109 }) ({p55 p365 p560 p323 p618 p624 p20 p190 p235 p609 p237 p449 p550 p34 p94 p397 p374 p214 p156 p342 p250 p312 p379 p173 } a20 {p364 p259 p617 p599 p332 p450 p213 p216 p172 p51 p559 p381 p57 p625 p626 p608 p234 p359 p396 p633 p245 p155 p100 p253 p344 }) ({p175 p58 p410 p228 p427 p547 p190 p535 p387 p31 p247 p169 p354 p590 p516 p108 } a51 {p593 p175 p58 p410 p228 p427 p189 p21 p535 p387 p247 p172 p541 p516 p108 }) ({p411 p497 p12 } a31 {p411 p497 p50 }) ({p542 p116 p594 p176 p595 p60 p411 p546 p598 p324 p184 p13 p428 p20 p388 p90 p152 p93 p400 p103 p252 p174 } a20 {p594 p355 p176 p595 p57 p60 p411 p545 p322 p598 p13 p428 p191 p388 p304 p152 p93 p556 p400 p103 p252 p106 p457 }) ({p594 p176 p595 p411 p259 p598 p12 p626 p231 p191 p575 p388 p450 p213 p152 p286 p97 p156 p216 p103 p172 } a31 {p55 p594 p176 p365 p595 p62 p411 p598 p264 p571 p190 p235 p388 p81 p152 p453 p156 p250 p103 p174 p50 }) ({p200 p12 p153 p444 p606 p103 p602 p589 p622 p136 } a31 {p497 p203 p153 p195 p306 p376 p168 p103 p446 p403 p50 }) ({p114 p594 p176 p595 p221 p319 p60 p411 p10 p598 p12 p326 p428 p481 p388 p432 p486 p284 p152 p93 p103 p252 p638 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p16 p326 p428 p473 p481 p388 p276 p486 p284 p152 p93 p289 p492 p103 p252 p50 }) ({p192 p348 p12 } a31 {p411 p306 p327 p403 p50 }) ({p297 p20 } a20 {p57 p486 p291 }) ({p595 p523 p154 p468 p445 p20 p357 } a20 {p521 p57 p526 p249 p41 p368 p232 p447 p591 }) ({p176 p388 p507 p12 } a31 {p176 p388 p507 p50 }) ({p594 p176 p595 p58 p366 p411 p598 p12 p427 p388 p152 p93 p249 p418 p103 p252 } a31 {p594 p176 p595 p366 p411 p212 p598 p229 p388 p152 p93 p103 p252 p570 p50 }) ({p358 p489 p20 p535 p52 p362 } a20 {p387 p293 p57 p247 p215 p401 p233 p73 }) ({p48 } a17 {p53 }) ({p594 p366 p549 p424 p152 p12 p588 p420 p234 p51 } a31 {p421 p594 p366 p227 p152 p34 p214 p558 p50 }) ({p594 p176 p595 p60 p411 p598 p546 p12 p184 p428 p388 p304 p152 p93 p556 p103 p252 p402 } a31 {p116 p594 p176 p595 p119 p60 p411 p598 p546 p324 p184 p428 p388 p152 p93 p103 p252 p402 p50 }) ({p594 p176 p116 p595 p60 p411 p598 p12 p428 p476 p388 p304 p152 p93 p288 p103 p252 p402 p457 } a31 {p594 p176 p116 p595 p597 p119 p60 p411 p598 p324 p184 p428 p269 p388 p152 p93 p103 p252 p402 p50 }) ({p481 p31 p297 p547 p354 p590 } a51 {p593 p486 p462 p21 p541 }) }, initialMarking = {p364 p365 p5 p7 p366 p9 p10 p545 p546 p13 p15 p16 p18 p547 p28 p558 p51 p379 p559 p381 p55 p560 p58 p60 p62 p227 p228 p229 p230 p231 p385 p75 p234 p235 p387 p236 p388 p391 p394 p395 p396 p91 p93 p245 p397 p97 p246 p398 p99 p247 p399 p250 p400 p103 p251 p252 p402 p105 p106 p568 p108 p110 p569 p114 p407 p116 p409 p119 p410 p411 p121 p412 p124 p413 p126 p273 p575 p276 p576 p277 p278 p279 p280 p281 p282 p283 p284 p285 p286 p287 p288 p289 p290 p291 p424 p425 p427 p428 p430 p431 p150 p151 p152 p153 p154 p155 p156 p588 p589 p590 p591 p314 p592 p593 p315 p594 p595 p596 p597 p317 p319 p320 p322 p598 p323 p324 p325 p326 p327 p329 p331 p332 p170 p175 p176 p177 p183 p184 p186 p187 p606 p470 p188 p607 p473 p189 p608 p475 p190 p476 p477 p191 p479 p480 p481 p609 p482 p484 p610 p486 p488 p195 p343 p197 p346 p496 p614 p615 p616 p617 p618 p619 p352 p353 p208 p209 p516 p519 p521 p523 p525 p529 p531 p532 p533 p534 p535 p536 p537 p362 }, acceptingPlaces = {p78 } ); PetriNet net0 = ( alphabet = {a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 }, places = {p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 p251 p252 p253 p254 p255 p256 p257 p258 p259 p260 p261 p262 p263 p264 p265 p266 p267 p268 p269 p270 p271 p272 p273 p274 p275 p276 p277 p278 p279 p280 p281 p282 p283 p284 p285 p286 p287 p288 p289 p290 p291 p292 p293 p294 p295 p296 p297 p298 p299 p300 p301 p302 p303 p304 p305 p306 p307 p308 p309 p310 p311 p312 p313 p314 p315 p316 p317 p318 p319 p320 p321 p322 p323 p324 p325 p326 p327 p328 p329 p330 p331 p332 p333 p334 p335 p336 p337 p338 p339 p340 p341 p342 p343 p344 p345 p346 p347 p348 p349 p350 p351 p352 p353 p354 p355 p356 p357 p358 p359 p360 p361 p362 p363 p364 p365 p366 p367 p368 p369 p370 p371 p372 p373 p374 p375 p376 p377 p378 p379 p380 p381 p382 p383 p384 p385 p386 p387 p388 p389 p390 p391 p392 p393 p394 p395 p396 p397 p398 p399 p400 p401 p402 p403 p404 p405 p406 p407 p408 p409 p410 p411 p412 p413 p414 p415 p416 p417 p418 p419 p420 p421 p422 p423 p424 p425 p426 p427 p428 p429 p430 p431 p432 p433 p434 p435 p436 p437 p438 p439 p440 p441 p442 p443 p444 p445 p446 p447 p448 p449 p450 p451 p452 p453 p454 p455 p456 p457 p458 p459 p460 p461 p462 p463 p464 p465 p466 p467 p468 p469 p470 p471 p472 p473 p474 p475 p476 p477 p478 p479 p480 p481 p482 p483 p484 p485 p486 p487 p488 p489 p490 p491 p492 p493 p494 p495 p496 p497 p498 p499 p500 p501 p502 p503 p504 p505 p506 p507 p508 p509 p510 p511 p512 p513 p514 p515 p516 p517 p518 p519 p520 p521 p522 p523 p524 p525 p526 p527 p528 p529 p530 p531 p532 p533 p534 p535 p536 p537 p538 p539 p540 p541 p542 p543 p544 p545 p546 p547 p548 p549 p550 p551 p552 p553 p554 p555 p556 p557 p558 p559 p560 p561 p562 p563 p564 p565 p566 p567 p568 p569 p570 p571 p572 p573 p574 p575 p576 p577 p578 p579 p580 p581 p582 p583 p584 p585 p586 p587 p588 p589 p590 p591 p592 p593 p594 p595 p596 p597 p598 p599 p600 p601 p602 p603 p604 p605 p606 p607 p608 p609 p610 p611 p612 p613 p614 p615 p616 p617 p618 p619 p620 p621 p622 p623 p624 p625 p626 p627 p628 p629 p630 p631 p632 p633 p634 p635 p636 p637 p638 p639 p640 }, transitions = { ({p364 p176 p411 p12 p234 p331 p448 p580 p548 p86 p508 p245 p155 p103 p51 p559 } a31 {p592 p176 p366 p411 p531 p331 p237 p449 p150 p550 p94 p34 p214 p103 p519 p50 }) ({p578 p227 p184 p20 p174 } a20 {p57 p93 p231 p457 p420 p191 }) ({p529 p31 p93 p468 p231 p577 } a51 {p578 p521 p505 p21 p108 }) ({p496 p594 p595 p5 p411 p9 p598 p265 p20 p269 p276 p285 p176 p60 p463 p473 p479 p388 p241 p631 p152 p93 p491 p103 p252 p639 } a20 {p407 p594 p595 p411 p598 p18 p509 p282 p288 p42 p334 p176 p460 p221 p57 p60 p477 p476 p388 p432 p632 p152 p93 p103 p252 }) ({p594 p176 p595 p411 p183 p598 p139 p229 p20 p388 p152 p452 p103 p252 p577 } a20 {p594 p176 p595 p57 p411 p598 p188 p388 p152 p455 p418 p103 p252 p108 }) ({p6 p99 } a39 {p8 p101 p71 }) ({p57 } a22 {p32 }) ({p114 p594 p176 p460 p595 p319 p60 p411 p9 p598 p12 p326 p428 p388 p152 p93 p42 p103 p252 p402 p590 } a31 {p114 p594 p176 p595 p319 p60 p411 p9 p598 p326 p428 p479 p388 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p407 p594 p176 p116 p595 p60 p411 p545 p598 p324 p428 p20 p191 p388 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p176 p595 p57 p60 p411 p545 p322 p598 p428 p191 p388 p304 p152 p93 p556 p400 p103 p252 p106 }) ({p314 p176 p365 p237 p449 p391 p507 p367 p250 p20 p534 } a20 {p364 p314 p176 p57 p259 p533 p502 p385 p371 p238 p450 p213 p245 p513 }) ({p592 p616 p531 p607 p20 p446 p331 p505 p372 p395 p150 p338 p306 p168 p380 } a20 {p409 p57 p615 p529 p623 p606 p448 p580 p548 p86 p508 p373 p340 p309 p171 p589 }) ({p176 p365 p317 p323 p617 p367 p205 p20 p534 p609 p237 p449 p391 p208 p507 p303 p395 p94 p156 p250 p312 p380 p173 } a20 {p364 p314 p409 p259 p617 p599 p502 p332 p371 p450 p209 p213 p513 p210 p176 p57 p623 p533 p608 p385 p238 p245 p92 p155 p100 p253 }) ({p176 p594 p595 p58 p411 p598 p12 p232 p447 p388 p249 p247 p41 p103 } a31 {p176 p594 p388 p595 p358 p411 p212 p598 p154 p103 p52 p50 }) ({p594 p176 p595 p411 p424 p598 p12 p476 p388 p152 p93 p288 p103 p252 p588 p105 p457 p420 } a31 {p421 p594 p176 p595 p597 p411 p598 p227 p184 p269 p388 p152 p93 p103 p252 p105 p50 }) ({p542 p116 p594 p595 p411 p546 p598 p324 p15 p20 p278 p174 p459 p176 p60 p184 p428 p475 p388 p90 p152 p93 p635 p400 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p278 p556 p457 p355 p176 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p637 p103 p252 p106 }) ({p594 p595 p411 p121 p598 p12 p266 p23 p273 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p294 p187 p561 p234 p388 p152 p103 p252 p588 p109 } a31 {p113 p594 p595 p256 p366 p411 p598 p329 p268 p576 p550 p34 p374 p287 p214 p456 p50 p421 p176 p227 p531 p187 p431 p388 p152 p103 p252 p105 }) ({p542 p407 p116 p594 p176 p595 p60 p411 p546 p598 p324 p428 p470 p20 p191 p388 p278 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p176 p355 p595 p57 p60 p411 p545 p322 p598 p428 p470 p191 p388 p278 p304 p152 p93 p556 p400 p103 p252 p106 }) ({p113 p256 p124 p20 p268 p277 p280 p550 p34 p374 p214 p456 p379 p421 p55 p560 p425 p627 p190 p235 p483 p399 p252 p568 p590 } a20 {p258 p121 p273 p38 p290 p216 p172 p458 p51 p559 p381 p57 p223 p424 p626 p628 p234 p485 p393 p359 p633 p398 p540 p252 p588 p568 }) ({p594 p549 p152 p532 p20 } a20 {p594 p548 p57 p152 p532 p558 }) ({p594 p595 p411 p598 p15 p325 p264 p571 p20 p576 p453 p287 p174 p176 p227 p184 p431 p388 p81 p152 p635 p104 p103 p252 p105 } a20 {p594 p595 p411 p598 p13 p325 p266 p23 p575 p286 p454 p457 p420 p176 p57 p561 p231 p430 p191 p388 p152 p97 p637 p103 p252 p109 }) ({p315 p31 p437 p363 p163 p75 } a51 {p440 p158 p298 p621 p21 }) ({p114 p594 p176 p595 p319 p60 p411 p10 p598 p12 p326 p428 p481 p388 p276 p486 p284 p152 p93 p103 p252 p638 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p16 p326 p428 p481 p388 p276 p486 p284 p152 p93 p492 p103 p252 p50 }) ({p596 p581 p150 p138 p298 p20 p503 } a20 {p415 p315 p594 p57 p86 p527 p152 p302 }) ({p594 p595 p614 p160 p411 p121 p598 p12 p266 p23 p273 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p294 p625 p561 p478 p234 p388 p152 p398 p103 p252 p588 p109 } a31 {p113 p594 p595 p256 p614 p366 p411 p598 p329 p268 p576 p550 p34 p374 p287 p214 p456 p50 p421 p176 p227 p531 p187 p627 p431 p483 p388 p152 p397 p103 p252 p105 }) ({p594 p595 p411 p259 p598 p12 p325 p618 p599 p502 p371 p575 p450 p213 p286 p513 p210 p176 p529 p623 p186 p231 p430 p238 p396 p92 p97 p100 p103 p253 } a31 {p594 p365 p595 p317 p411 p598 p323 p618 p264 p571 p505 p208 p372 p453 p50 p176 p178 p624 p474 p534 p609 p81 p391 p394 p395 p156 p250 p104 p103 p254 }) ({p592 p346 p497 p412 p203 p607 p20 p446 p331 p75 p150 p246 p306 p376 p168 p403 } a20 {p57 p498 p204 p606 p383 p302 p448 p580 p86 p246 p309 p378 p171 p589 }) ({p22 } a46 {p24 }) ({p58 p526 p12 p249 p247 p41 p368 p232 p447 } a31 {p595 p523 p358 p366 p212 p154 p52 p519 p50 }) ({p441 p132 p20 p107 p25 p495 } a20 {p175 p57 p130 p443 p433 p103 p49 }) ({p594 p150 p138 p298 p20 } a20 {p315 p594 p57 p86 p152 p302 }) ({p421 p381 p55 p560 p425 p20 p190 p268 p235 p280 p550 p34 p214 p252 p456 p590 } a20 {p381 p57 p223 p424 p626 p234 p393 p633 p290 p540 p216 p252 p172 p588 p458 p51 p559 }) ({p31 p151 p436 p126 p111 } a51 {p140 p21 p439 p336 }) ({p315 p594 p526 p31 p152 p41 p232 p447 p363 p75 p414 } a51 {p448 p595 p581 p138 p154 p298 p21 p516 p503 }) ({p28 } a49 {p11 }) ({p112 p20 } a20 {p112 p57 }) ({p20 p401 } a20 {p57 p394 p535 }) ({p245 p12 p434 p328 p385 } a31 {p388 p237 p367 p252 p50 }) ({p113 p594 p595 p256 p411 p9 p598 p124 p20 p269 p268 p277 p280 p285 p456 p421 p176 p60 p425 p479 p388 p565 p152 p93 p400 p103 p252 p639 p590 p569 } a20 {p594 p595 p258 p411 p121 p598 p18 p273 p509 p288 p38 p553 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p393 p152 p93 p400 p540 p103 p252 p588 p568 }) ({p238 p529 p12 p444 p502 p517 p589 p603 } a31 {p537 p505 p610 p394 p195 p306 p446 p50 }) ({p60 p31 p212 p428 p588 p570 p234 } a51 {p58 p295 p427 p214 p21 p562 }) ({p594 p595 p411 p259 p598 p13 p12 p325 p619 p599 p575 p450 p213 p286 p216 p172 p176 p186 p626 p231 p430 p191 p388 p359 p633 p397 p97 p100 p103 p253 p344 } a31 {p594 p365 p595 p411 p598 p323 p618 p264 p571 p453 p174 p379 p50 p55 p176 p560 p178 p62 p190 p235 p609 p388 p81 p397 p635 p156 p250 p104 p103 p254 p345 }) ({p594 p355 p176 p595 p461 p60 p411 p598 p12 p184 p263 p428 p477 p353 p388 p282 p304 p152 p93 p556 p103 p252 p402 } a31 {p116 p594 p176 p595 p119 p60 p463 p411 p546 p598 p324 p184 p265 p428 p475 p353 p388 p279 p152 p93 p103 p252 p402 p50 }) ({p594 p595 p411 p598 p12 p18 p279 p288 p556 p457 p355 p176 p461 p60 p428 p477 p476 p388 p304 p152 p93 p637 p103 p252 p402 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p269 p279 p50 p176 p60 p463 p184 p428 p475 p388 p152 p93 p103 p252 p402 p639 }) ({p355 p594 p176 p595 p461 p60 p7 p411 p598 p12 p263 p428 p477 p388 p282 p632 p304 p152 p93 p556 p103 p252 p198 } a31 {p116 p594 p176 p595 p5 p119 p60 p463 p411 p546 p598 p324 p265 p428 p475 p353 p388 p279 p152 p93 p634 p103 p252 p50 }) ({p114 p594 p176 p460 p595 p319 p60 p411 p598 p12 p326 p428 p473 p388 p276 p509 p152 p93 p42 p103 p252 p402 p590 } a31 {p114 p594 p176 p595 p319 p60 p411 p9 p598 p326 p428 p473 p479 p388 p276 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p462 p488 p547 p20 } a20 {p481 p57 p547 p299 }) ({p594 p176 p595 p560 p411 p545 p322 p598 p12 p626 p191 p388 p393 p152 p93 p540 p216 p103 p252 p106 p172 } a31 {p542 p594 p55 p176 p595 p560 p62 p411 p598 p425 p190 p235 p388 p90 p152 p93 p103 p252 p590 p174 p50 }) ({p113 p594 p595 p256 p411 p9 p598 p124 p20 p269 p268 p277 p280 p285 p456 p421 p176 p60 p425 p479 p388 p152 p93 p400 p103 p252 p568 p639 p590 } a20 {p594 p595 p258 p411 p121 p598 p18 p273 p509 p288 p38 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p393 p152 p93 p400 p540 p103 p252 p588 p568 }) ({p12 p468 } a31 {p468 p50 }) ({p39 p428 p20 p479 } a20 {p460 p57 p284 p428 p476 }) ({p594 p176 p595 p319 p60 p411 p598 p183 p139 p428 p20 p388 p152 p452 p93 p552 p103 p252 } a20 {p594 p176 p595 p57 p60 p411 p598 p428 p188 p388 p127 p152 p93 p455 p103 p252 p110 }) ({p593 p594 p176 p595 p60 p411 p598 p20 p388 p486 p152 p93 p103 p252 p419 p570 } a20 {p594 p176 p595 p57 p60 p411 p598 p297 p427 p388 p281 p152 p93 p103 p252 p354 }) ({p594 p176 p595 p411 p424 p598 p12 p23 p234 p388 p548 p508 p152 p287 p103 p252 p588 p420 p51 p559 } a31 {p421 p594 p176 p595 p366 p411 p227 p598 p531 p388 p550 p152 p34 p214 p287 p103 p252 p105 p50 }) ({p175 p410 p366 p227 p535 p387 p31 p249 p247 p418 p558 p516 p108 } a51 {p175 p387 p410 p366 p549 p229 p247 p21 p535 p420 p516 p108 }) ({p594 p595 p614 p411 p598 p15 p264 p571 p329 p20 p576 p453 p287 p174 p176 p178 p227 p184 p187 p431 p388 p81 p152 p398 p635 p104 p103 p252 p105 p254 p345 } a20 {p594 p595 p160 p411 p598 p13 p325 p619 p266 p23 p575 p286 p454 p457 p420 p176 p57 p294 p186 p561 p231 p430 p191 p388 p564 p152 p97 p398 p637 p103 p252 p109 }) ({p202 p20 p621 p603 } a20 {p610 p57 p200 p602 p343 p622 }) ({p521 p293 p12 p215 p401 p233 p73 p108 } a31 {p394 p289 p468 p535 p577 p362 p50 }) ({p594 p176 p595 p60 p319 p411 p598 p12 p229 p428 p388 p281 p152 p93 p455 p103 p252 } a31 {p594 p176 p595 p597 p60 p319 p411 p598 p183 p229 p428 p388 p152 p93 p103 p252 p419 p50 }) ({p578 p505 p227 p531 p20 } a20 {p548 p57 p508 p529 p93 p231 p420 }) ({p594 p176 p595 p411 p227 p598 p184 p264 p571 p20 p430 p388 p81 p576 p152 p453 p287 p103 p252 p105 p174 } a20 {p594 p176 p595 p57 p411 p598 p561 p266 p231 p23 p430 p191 p575 p388 p152 p286 p97 p454 p103 p252 p457 p420 }) ({p594 p176 p595 p411 p259 p598 p12 p231 p191 p79 p388 p450 p152 p286 p97 p103 p252 p172 } a31 {p594 p176 p365 p595 p62 p411 p598 p264 p230 p190 p388 p81 p152 p453 p103 p252 p174 p50 }) ({p442 p195 p140 p134 p20 p162 p107 } a20 {p176 p57 p200 p151 p444 p103 p602 p197 p622 p136 }) ({p594 p595 p160 p411 p121 p598 p12 p18 p266 p23 p273 p288 p454 p290 p457 p420 p176 p424 p294 p561 p476 p388 p564 p152 p399 p637 p103 p252 p588 p568 p109 } a31 {p113 p594 p595 p256 p597 p614 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p187 p431 p388 p565 p152 p399 p103 p252 p105 p639 }) ({p176 p238 p394 p529 p12 p444 p606 p103 p602 p502 p589 } a31 {p176 p505 p394 p195 p306 p168 p103 p446 p50 }) ({p481 p62 p322 p12 p106 p190 p541 } a31 {p481 p62 p90 p547 p190 p590 p50 }) ({p76 } a29 {p12 }) ({p366 p31 p284 p154 p229 p428 p419 p588 p476 p570 p362 } a51 {p366 p281 p295 p154 p39 p427 p229 p21 p362 }) ({p366 p31 p452 p139 p93 p154 p231 p191 p577 p362 } a51 {p578 p366 p154 p188 p21 p108 p174 p362 }) ({p176 p365 p317 p367 p20 p534 p332 p237 p449 p391 p507 p303 p94 p156 p250 } a20 {p364 p314 p176 p57 p259 p533 p502 p385 p332 p371 p238 p450 p213 p245 p155 p100 p513 p210 }) ({p113 p594 p595 p411 p9 p598 p124 p20 p269 p268 p273 p280 p285 p456 p421 p176 p60 p425 p479 p388 p152 p93 p400 p103 p252 p639 p590 } a20 {p594 p595 p411 p121 p598 p18 p273 p509 p288 p38 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p393 p152 p93 p400 p540 p103 p252 p588 }) ({p238 p529 p451 p261 p12 p97 p231 p502 p517 } a31 {p537 p81 p505 p365 p394 p283 p289 p50 }) ({p595 p20 p368 } a20 {p595 p523 p57 p366 }) ({p364 p448 p594 p549 p245 p138 p12 p234 p51 } a31 {p594 p237 p449 p152 p34 p214 p558 p50 }) ({p542 p116 p594 p595 p5 p411 p260 p546 p347 p598 p324 p20 p353 p279 p459 p176 p60 p475 p388 p241 p631 p90 p152 p93 p103 p252 } a20 {p407 p594 p595 p411 p545 p322 p598 p263 p352 p278 p556 p355 p176 p461 p57 p60 p470 p388 p632 p304 p152 p93 p103 p252 p106 p198 }) ({p71 } a14 {p30 }) ({p594 p176 p595 p411 p227 p598 p184 p20 p388 p81 p152 p286 p103 p252 p105 p174 } a20 {p594 p176 p595 p57 p411 p598 p231 p23 p191 p388 p152 p97 p286 p103 p252 p457 p420 }) ({p407 p114 p594 p595 p319 p411 p9 p598 p326 p20 p269 p282 p285 p176 p60 p463 p424 p428 p473 p479 p388 p152 p93 p400 p103 p252 p639 } a20 {p407 p114 p594 p595 p319 p411 p598 p326 p18 p509 p282 p288 p42 p176 p460 p57 p60 p424 p428 p477 p476 p388 p432 p152 p93 p400 p103 p252 }) ({p235 p295 p214 p20 p190 p590 p562 } a20 {p57 p60 p428 p540 p216 p172 p588 p234 }) ({p12 p471 } a31 {p471 p50 }) ({p407 p114 p594 p595 p319 p411 p9 p598 p326 p265 p20 p269 p276 p285 p176 p60 p463 p428 p473 p479 p388 p152 p93 p103 p252 p639 } a20 {p407 p114 p594 p595 p319 p411 p598 p326 p18 p509 p282 p288 p42 p176 p460 p221 p57 p60 p428 p477 p476 p388 p432 p152 p93 p103 p252 }) ({p177 p442 p165 p153 p195 p132 p20 p107 p145 } a20 {p57 p200 p337 p130 p444 p141 p103 p602 p170 p197 p622 }) ({p27 } a48 {p29 }) ({p55 p560 p365 p323 p20 p608 p190 p235 p237 p449 p550 p94 p34 p214 p156 p250 p312 } a20 {p364 p57 p259 p626 p608 p234 p332 p450 p213 p633 p245 p155 p100 p216 p253 p172 p51 p559 }) ({p91 p24 } a37 {p26 p63 p95 }) ({p26 } a47 {p31 }) ({p594 p176 p595 p411 p424 p598 p12 p476 p23 p388 p152 p288 p287 p103 p252 p588 p457 p420 } a31 {p421 p594 p176 p595 p597 p411 p227 p598 p184 p269 p388 p152 p287 p103 p252 p105 p50 }) ({p387 p526 p12 p247 p41 p232 p447 p363 p414 } a31 {p595 p358 p489 p154 p413 p516 p52 p519 p50 }) ({p592 p241 p150 p497 p412 p492 p306 p20 p446 p403 p331 p75 } a20 {p407 p448 p580 p57 p86 p10 p498 p383 p309 p302 p589 }) ({p77 p12 p169 p188 p110 p354 } a31 {p593 p62 p452 p139 p228 p552 p189 p50 }) ({p537 p236 p451 p261 p20 } a20 {p537 p236 p57 p450 p259 p283 }) ({p407 p114 p594 p595 p319 p410 p411 p598 p326 p20 p284 p288 p170 p51 p175 p176 p60 p529 p424 p532 p428 p385 p191 p387 p481 p537 p388 p236 p486 p152 p245 p93 p97 p492 p400 p103 p252 p106 p589 p591 } a20 {p407 p114 p594 p595 p319 p410 p411 p10 p598 p326 p284 p288 p170 p51 p175 p176 p57 p60 p529 p424 p532 p428 p385 p191 p387 p481 p537 p388 p236 p486 p152 p245 p93 p97 p400 p103 p252 p106 p589 p591 }) ({p594 p595 p411 p259 p598 p12 p325 p502 p371 p575 p208 p450 p213 p286 p513 p210 p176 p529 p231 p430 p238 p97 p100 p103 p253 } a31 {p594 p176 p365 p595 p317 p411 p598 p323 p264 p571 p534 p505 p81 p208 p391 p372 p394 p453 p156 p250 p104 p103 p50 p254 }) ({p594 p176 p293 p595 p411 p598 p12 p228 p188 p73 p388 p152 p169 p215 p103 p252 p108 } a31 {p594 p176 p595 p411 p598 p139 p228 p189 p388 p152 p452 p289 p103 p252 p577 p362 p50 }) ({p114 p593 p597 p366 p31 p322 p154 p552 p229 p362 } a51 {p593 p597 p366 p154 p229 p554 p21 p110 p362 }) ({p50 } a33 {p69 }) ({p62 p451 p261 p12 p97 p231 p172 p191 } a31 {p365 p81 p62 p283 p289 p190 p174 p50 }) ({p526 p20 p368 } a20 {p595 p523 p57 p366 p519 }) ({p594 p595 p614 p160 p411 p121 p598 p12 p18 p266 p23 p273 p288 p454 p290 p457 p420 p176 p424 p294 p561 p476 p388 p152 p637 p103 p252 p588 p109 } a31 {p113 p594 p595 p256 p597 p614 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p187 p431 p388 p152 p103 p252 p105 p639 }) ({p60 p12 p214 p252 } a31 {p60 p214 p252 p50 }) ({p542 p407 p116 p594 p595 p411 p260 p546 p598 p324 p20 p352 p279 p459 p176 p60 p428 p475 p191 p388 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p595 p411 p545 p322 p598 p263 p352 p278 p556 p176 p355 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p103 p252 p106 }) ({p542 p116 p594 p595 p411 p260 p546 p598 p324 p15 p20 p352 p279 p174 p459 p176 p60 p184 p475 p629 p388 p487 p90 p152 p93 p635 p402 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p263 p352 p278 p556 p457 p355 p176 p461 p57 p60 p470 p191 p388 p630 p490 p304 p152 p93 p400 p637 p103 p252 p106 }) ({p594 p176 p595 p411 p598 p12 p427 p388 p281 p152 p93 p455 p418 p103 p252 } a31 {p594 p176 p595 p597 p411 p183 p598 p229 p388 p152 p93 p103 p252 p419 p570 p50 }) ({p462 p488 p20 p541 } a20 {p481 p57 p299 p547 p540 }) ({p594 p176 p595 p60 p411 p62 p598 p12 p428 p188 p388 p152 p93 p169 p103 p252 p110 p354 } a31 {p593 p594 p176 p595 p60 p411 p62 p598 p139 p428 p189 p388 p152 p452 p93 p552 p103 p252 p50 }) ({p409 p615 p529 p12 p444 p606 p502 p371 p238 p337 p513 p103 p378 p602 p589 p210 } a31 {p177 p317 p446 p534 p505 p391 p372 p394 p338 p195 p306 p168 p103 p380 p50 }) ({p505 p12 p93 p327 } a31 {p505 p93 p327 p50 }) ({p114 p594 p176 p595 p60 p411 p598 p12 p184 p428 p388 p128 p152 p93 p103 p252 } a31 {p114 p594 p176 p595 p119 p60 p320 p411 p598 p184 p428 p388 p152 p93 p103 p252 p50 }) ({p127 p281 p12 p455 } a31 {p597 p119 p319 p183 p419 p50 }) ({p227 p531 p325 p264 p571 p20 p431 p81 p576 p505 p372 p453 p287 p104 p105 } a20 {p57 p529 p325 p561 p266 p231 p23 p430 p575 p548 p508 p373 p286 p97 p454 p420 p109 }) ({p594 p595 p258 p411 p545 p322 p598 p13 p12 p352 p278 p38 p553 p216 p172 p458 p176 p223 p470 p626 p628 p191 p388 p485 p393 p359 p152 p633 p93 p400 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p260 p347 p598 p124 p277 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p629 p388 p487 p90 p152 p93 p635 p399 p103 p252 p590 p569 }) ({p175 p58 p410 p319 p184 p228 p229 p427 p535 p387 p31 p247 p455 p516 p108 } a51 {p175 p58 p410 p319 p183 p228 p229 p427 p21 p535 p387 p247 p457 p516 p108 }) ({p407 p410 p130 p10 p443 p12 p433 p103 p49 p591 } a31 {p241 p492 p445 p471 p103 p357 p50 }) ({p521 p443 p12 p401 p233 p49 p591 } a31 {p394 p468 p445 p535 p357 p50 }) ({p114 p594 p176 p595 p460 p319 p60 p411 p598 p12 p326 p428 p388 p284 p152 p285 p93 p103 p252 p402 p590 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p326 p428 p479 p388 p284 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p114 p594 p176 p595 p221 p319 p60 p411 p598 p12 p326 p16 p428 p479 p481 p388 p432 p486 p284 p152 p93 p103 p252 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p326 p16 p428 p473 p479 p481 p388 p276 p486 p284 p152 p93 p289 p103 p252 p50 }) ({p424 p295 p12 p562 p51 } a31 {p421 p60 p34 p428 p50 }) ({p592 p505 p615 p150 p531 p306 p168 p607 p20 p446 p331 } a20 {p448 p580 p57 p548 p86 p508 p615 p529 p606 p309 p171 p589 }) ({p594 p595 p258 p411 p545 p322 p598 p13 p12 p278 p38 p216 p172 p458 p176 p223 p470 p626 p628 p191 p388 p485 p393 p359 p152 p633 p93 p400 p540 p103 p252 p106 p569 } a31 {p542 p594 p595 p411 p260 p598 p124 p277 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p629 p388 p487 p90 p152 p93 p635 p399 p103 p252 p590 p569 }) ({p594 p549 p150 p138 p20 } a20 {p594 p548 p57 p86 p152 p558 }) ({p177 p391 p241 p507 p442 p165 p195 p492 p367 p20 p534 } a20 {p407 p57 p10 p444 p533 p502 p385 p371 p238 p337 p513 p602 p170 p197 }) ({p355 p594 p176 p595 p461 p60 p5 p411 p598 p12 p184 p263 p428 p477 p388 p282 p304 p152 p93 p556 p103 p252 p402 p198 } a31 {p116 p594 p595 p119 p5 p411 p546 p598 p324 p265 p353 p279 p50 p176 p60 p463 p184 p428 p475 p388 p152 p93 p103 p252 p402 }) ({p594 p595 p411 p259 p598 p13 p12 p325 p618 p599 p575 p450 p213 p286 p216 p172 p176 p186 p626 p231 p430 p191 p388 p633 p97 p100 p103 p253 } a31 {p594 p365 p595 p411 p598 p323 p618 p264 p571 p453 p174 p50 p55 p176 p560 p178 p62 p190 p235 p609 p388 p81 p635 p156 p250 p104 p103 p254 }) ({p12 p140 p170 p197 p439 p336 } a31 {p442 p165 p151 p132 p126 p107 p145 p50 }) ({p537 p610 p31 p443 p195 p401 p233 p49 } a51 {p238 p444 p21 p502 p517 p535 p603 }) ({p176 p365 p317 p323 p367 p20 p534 p237 p449 p391 p507 p303 p209 p94 p156 p250 p312 } a20 {p364 p314 p176 p57 p259 p533 p502 p385 p332 p371 p238 p450 p209 p213 p245 p155 p100 p513 p253 p210 }) ({p594 p595 p411 p259 p598 p13 p12 p325 p619 p599 p575 p450 p213 p286 p216 p172 p176 p186 p625 p626 p231 p430 p191 p388 p359 p633 p398 p97 p100 p103 p253 p344 } a31 {p594 p365 p595 p411 p598 p323 p618 p264 p571 p453 p174 p379 p50 p55 p176 p560 p178 p62 p627 p190 p235 p609 p388 p81 p397 p635 p156 p250 p104 p103 p254 p345 }) ({p521 p594 p176 p293 p595 p411 p598 p12 p233 p73 p388 p394 p152 p215 p103 p252 p108 } a31 {p594 p176 p595 p411 p598 p468 p388 p394 p152 p289 p103 p252 p577 p362 p50 }) ({p11 } a42 {p80 }) ({p175 p293 p365 p410 p228 p190 p73 p535 p387 p31 p283 p247 p169 p215 p516 } a51 {p175 p410 p261 p228 p189 p21 p535 p387 p451 p247 p172 p516 p362 }) ({p482 p484 p84 p598 p480 } a12 {p482 p484 p598 p40 p480 }) ({p127 p183 p12 } a31 {p119 p319 p183 p50 }) ({p178 p614 p227 p531 p624 p264 p187 p571 p329 p20 p474 p431 p81 p576 p505 p372 p397 p453 p287 p104 p105 p254 p345 } a20 {p160 p325 p619 p266 p23 p575 p548 p508 p373 p286 p454 p420 p57 p294 p529 p186 p625 p561 p231 p430 p478 p564 p396 p97 p109 }) ({p594 p176 p595 p411 p227 p598 p184 p264 p20 p575 p388 p81 p152 p453 p287 p103 p252 p105 p174 } a20 {p594 p176 p595 p57 p411 p598 p266 p231 p23 p191 p575 p388 p152 p286 p97 p454 p103 p252 p457 p420 }) ({p462 p322 p12 p106 p541 } a31 {p481 p90 p291 p547 p590 p50 }) ({p12 p245 p434 p562 p51 } a31 {p237 p60 p34 p252 p50 }) ({p77 p20 } a20 {p57 p62 p228 }) ({p70 } a8 {p66 }) ({p72 } a30 {p33 }) ({p594 p176 p595 p411 p545 p322 p598 p13 p12 p626 p191 p388 p393 p280 p152 p633 p93 p216 p540 p103 p252 p172 p106 p379 } a31 {p542 p594 p55 p176 p595 p560 p411 p62 p598 p425 p190 p235 p388 p280 p90 p152 p93 p635 p103 p252 p590 p174 p50 p379 }) ({p594 p176 p55 p595 p60 p411 p62 p545 p322 p598 p12 p428 p190 p388 p152 p93 p291 p540 p103 p252 p402 p106 } a31 {p542 p594 p176 p55 p595 p60 p411 p62 p598 p428 p190 p388 p90 p152 p93 p291 p103 p252 p402 p590 p50 }) ({p175 p593 p597 p58 p410 p319 p366 p228 p229 p427 p535 p387 p486 p31 p281 p154 p247 p516 p108 p110 p362 } a51 {p175 p593 p597 p58 p410 p319 p366 p228 p229 p427 p21 p535 p387 p486 p281 p154 p247 p516 p108 p110 p362 }) ({p594 p176 p595 p60 p411 p545 p322 p598 p12 p299 p428 p388 p152 p93 p540 p103 p252 p106 } a31 {p542 p594 p176 p595 p60 p411 p598 p428 p388 p488 p90 p152 p93 p291 p103 p252 p590 p50 }) ({p594 p176 p116 p595 p119 p60 p411 p598 p227 p12 p428 p476 p388 p152 p93 p288 p103 p252 p402 p457 } a31 {p594 p176 p116 p595 p597 p119 p60 p411 p598 p227 p184 p428 p269 p388 p152 p93 p103 p252 p402 p50 }) ({p12 p328 p170 p385 p162 } a31 {p388 p176 p165 p367 p50 }) ({p83 } a11 {p43 }) ({p594 p595 p258 p411 p545 p322 p598 p13 p12 p278 p38 p216 p172 p458 p176 p223 p470 p626 p191 p388 p393 p359 p152 p633 p93 p399 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p260 p598 p124 p277 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p388 p90 p152 p93 p635 p399 p103 p252 p590 }) ({p113 p594 p595 p256 p411 p9 p598 p124 p20 p269 p268 p277 p280 p285 p456 p421 p176 p60 p425 p479 p629 p388 p565 p152 p93 p402 p103 p252 p639 p590 p569 } a20 {p594 p595 p258 p411 p121 p598 p18 p273 p509 p288 p38 p553 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p630 p393 p152 p93 p400 p540 p103 p252 p588 p568 }) ({p12 p39 p288 p428 } a31 {p284 p428 p269 p50 }) ({p421 p113 p55 p560 p256 p425 p124 p20 p190 p268 p235 p277 p280 p550 p34 p374 p398 p214 p252 p456 p590 p379 } a20 {p381 p57 p223 p258 p424 p121 p626 p234 p273 p393 p359 p633 p398 p38 p290 p540 p216 p252 p172 p588 p458 p51 p559 }) ({p46 } a0 {p6 }) ({p542 p407 p459 p116 p594 p176 p595 p60 p411 p546 p598 p324 p428 p20 p475 p191 p388 p278 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p595 p411 p545 p322 p598 p278 p556 p176 p355 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p103 p252 p106 }) ({p176 p365 p317 p323 p618 p367 p205 p20 p534 p609 p237 p449 p208 p391 p507 p303 p395 p94 p156 p342 p250 p312 p380 p173 } a20 {p364 p314 p409 p259 p617 p599 p502 p332 p371 p450 p209 p213 p513 p210 p176 p57 p623 p533 p608 p385 p238 p245 p92 p155 p100 p253 p344 }) ({p241 p507 p442 p195 p492 p328 p20 p534 p162 } a20 {p407 p176 p388 p238 p57 p10 p444 p533 p513 p602 p502 p197 }) ({p314 p415 p112 p440 p12 p533 p302 p170 p385 p197 p622 } a31 {p507 p442 p303 p165 p413 p376 p367 p103 p75 p50 }) ({p593 p114 p594 p116 p595 p365 p319 p366 p411 p320 p598 p12 p324 p326 p16 p276 p284 p176 p55 p60 p62 p227 p183 p184 p229 p428 p473 p479 p481 p482 p388 p391 p486 p488 p150 p152 p154 p93 p195 p103 p252 p402 p590 p362 } a31 {p593 p114 p594 p116 p595 p365 p319 p366 p411 p320 p598 p324 p326 p16 p276 p284 p50 p176 p55 p60 p62 p227 p183 p184 p229 p428 p473 p479 p481 p482 p388 p391 p486 p488 p150 p152 p154 p93 p195 p103 p252 p402 p590 p362 }) ({p200 p615 p12 p444 p606 p141 p337 p130 p246 p103 p602 p589 p622 } a31 {p177 p497 p203 p446 p239 p338 p153 p195 p306 p376 p168 p103 p403 p50 }) ({p177 p442 p165 p153 p195 p134 p20 p107 p145 } a20 {p57 p200 p337 p444 p141 p103 p602 p170 p197 p622 p136 }) ({p594 p176 p595 p411 p424 p598 p12 p234 p369 p388 p548 p152 p103 p252 p588 p420 p51 p559 } a31 {p421 p594 p176 p595 p525 p366 p411 p227 p598 p388 p550 p152 p34 p214 p103 p252 p50 }) ({p114 p594 p595 p319 p411 p598 p16 p326 p265 p20 p276 p284 p176 p60 p463 p428 p473 p481 p388 p486 p152 p93 p634 p103 p252 } a20 {p114 p594 p595 p319 p7 p411 p598 p326 p282 p284 p176 p221 p57 p60 p428 p477 p481 p388 p432 p486 p152 p93 p103 p252 p638 }) ({p114 p594 p176 p460 p595 p319 p60 p411 p598 p12 p326 p428 p388 p276 p432 p509 p152 p93 p42 p103 p252 p402 p590 } a31 {p114 p594 p595 p319 p411 p9 p598 p326 p276 p285 p289 p291 p50 p176 p60 p428 p473 p479 p388 p152 p93 p103 p252 p402 p590 }) ({p594 p176 p595 p411 p259 p529 p598 p12 p231 p502 p388 p238 p391 p450 p394 p152 p286 p97 p250 p103 p252 } a31 {p594 p176 p365 p595 p411 p598 p264 p388 p81 p505 p391 p394 p152 p453 p250 p103 p252 p50 }) ({p594 p595 p411 p545 p322 p598 p12 p277 p509 p38 p42 p458 p176 p460 p223 p60 p470 p388 p393 p152 p93 p540 p103 p252 p402 p106 } a31 {p542 p594 p595 p411 p9 p598 p124 p277 p280 p285 p291 p50 p459 p176 p60 p425 p479 p388 p90 p152 p93 p103 p252 p402 p590 }) ({p77 p236 p31 p547 p169 p354 p190 p590 } a51 {p593 p228 p172 p189 p21 p541 p217 }) ({p594 p176 p595 p411 p424 p598 p12 p266 p23 p234 p388 p576 p548 p508 p152 p454 p290 p103 p252 p588 p420 p51 p559 } a31 {p421 p594 p176 p595 p366 p411 p227 p598 p531 p268 p388 p576 p550 p152 p34 p287 p214 p103 p252 p456 p105 p50 }) ({p364 p594 p365 p320 p7 p322 p324 p326 p16 p21 p170 p51 p55 p227 p184 p230 p231 p473 p385 p476 p477 p75 p234 p191 p479 p235 p481 p236 p391 p488 p245 p195 p97 p400 p402 p106 p197 p116 p126 p276 p282 p288 p525 p529 p424 p531 p532 p533 p534 p536 p537 p150 p152 p588 p589 p590 } a45 {p364 p594 p365 p320 p7 p322 p324 p326 p16 p170 p51 p55 p227 p184 p230 p231 p473 p385 p476 p477 p75 p234 p191 p479 p235 p481 p236 p391 p84 p488 p245 p195 p97 p400 p402 p106 p197 p116 p126 p276 p282 p288 p525 p529 p424 p531 p532 p533 p534 p536 p537 p150 p152 p588 p589 p590 }) ({p364 p314 p346 p176 p12 p498 p533 p383 p302 p385 p332 p448 p580 p86 p245 p155 p309 p103 } a31 {p592 p346 p176 p412 p413 p367 p331 p75 p237 p449 p507 p303 p150 p94 p103 p312 p519 p50 }) ({p594 p176 p595 p411 p424 p598 p12 p266 p476 p23 p388 p576 p152 p288 p454 p290 p103 p252 p588 p457 p420 } a31 {p421 p594 p176 p595 p597 p411 p227 p598 p184 p269 p268 p388 p576 p152 p287 p103 p252 p456 p105 p50 }) ({p364 p314 p409 p176 p12 p498 p204 p533 p383 p608 p302 p385 p332 p448 p580 p86 p209 p245 p155 p309 p103 p251 p378 p171 } a31 {p592 p346 p176 p412 p413 p367 p607 p205 p331 p75 p237 p449 p507 p303 p150 p94 p103 p251 p312 p380 p173 p519 p50 }) ({p594 p176 p595 p411 p259 p598 p12 p231 p191 p388 p450 p152 p286 p97 p250 p216 p103 p252 p172 } a31 {p594 p176 p365 p595 p62 p411 p598 p264 p190 p235 p388 p81 p152 p453 p250 p103 p252 p174 p50 }) ({p594 p549 p424 p511 p152 p12 p588 p420 p234 p51 } a31 {p421 p594 p366 p227 p152 p532 p34 p214 p558 p50 }) ({p593 p212 p228 p20 p189 p570 } a20 {p77 p58 p57 p427 p169 p354 }) ({p537 p20 p343 p603 } a20 {p537 p610 p57 p602 p343 }) ({p407 p10 p202 p12 p444 p621 p589 p603 p136 } a31 {p610 p241 p497 p195 p492 p306 p446 p403 p343 p50 }) ({p407 p114 p594 p595 p319 p411 p9 p598 p326 p20 p269 p282 p285 p176 p60 p424 p428 p477 p479 p388 p152 p93 p400 p103 p252 p639 } a20 {p407 p114 p594 p595 p319 p411 p598 p326 p18 p509 p282 p288 p42 p176 p460 p57 p60 p424 p428 p476 p477 p388 p152 p93 p400 p103 p252 }) ({p592 p505 p150 p531 p306 p606 p20 p446 p331 } a20 {p448 p580 p548 p57 p86 p508 p529 p606 p309 p589 }) ({p537 p293 p365 p31 p283 p215 p401 p233 p73 } a51 {p238 p451 p261 p21 p502 p517 p535 p362 }) ({p235 p55 p365 p237 p449 p34 p155 p214 p250 p20 p190 } a20 {p364 p57 p450 p259 p213 p245 p155 p626 p216 p172 p234 p51 }) ({p74 } a9 {p70 }) ({p594 p595 p411 p121 p598 p12 p266 p329 p23 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p561 p234 p388 p152 p103 p252 p588 p109 } a31 {p113 p594 p595 p366 p411 p598 p329 p268 p576 p550 p34 p374 p287 p214 p456 p50 p421 p176 p227 p531 p431 p388 p152 p103 p252 p105 }) ({p127 p31 p184 p326 p455 } a51 {p319 p183 p305 p21 p457 }) ({p62 p322 p12 p106 p172 p541 p191 } a31 {p62 p90 p547 p190 p590 p174 p50 }) ({p80 } a10 {p64 }) ({p176 p594 p595 p411 p259 p529 p598 p12 p231 p502 p388 p238 p391 p450 p286 p97 p513 p103 } a31 {p176 p594 p365 p595 p411 p598 p264 p534 p388 p81 p505 p391 p394 p453 p103 p50 }) ({p421 p594 p176 p595 p60 p411 p598 p425 p20 p269 p479 p388 p152 p285 p93 p290 p400 p103 p252 p590 } a20 {p594 p176 p460 p595 p57 p60 p411 p424 p598 p476 p388 p393 p152 p93 p288 p42 p290 p400 p540 p103 p252 p588 }) ({p594 p176 p460 p595 p60 p411 p545 p322 p598 p12 p425 p428 p388 p152 p93 p540 p103 p252 p402 p106 } a31 {p542 p594 p176 p595 p60 p411 p598 p425 p428 p479 p388 p90 p152 p93 p291 p103 p252 p402 p590 p50 }) ({p175 p597 p119 p62 p366 p394 p64 p289 p413 p291 p103 p519 } a5 {p67 p292 p107 }) ({p542 p407 p116 p594 p595 p411 p260 p546 p598 p347 p324 p20 p353 p279 p459 p176 p60 p428 p475 p191 p388 p90 p152 p93 p400 p103 p252 } a20 {p407 p594 p595 p411 p545 p322 p598 p263 p352 p278 p556 p355 p176 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p103 p252 p106 p198 }) ({p116 p594 p176 p595 p60 p411 p545 p598 p324 p184 p428 p20 p388 p90 p152 p93 p400 p103 p252 p174 } a20 {p594 p176 p595 p57 p60 p411 p545 p322 p598 p428 p191 p388 p304 p152 p93 p556 p400 p103 p252 p106 p457 }) ({p212 p12 } a31 {p212 p50 }) ({p55 p365 p560 p323 p617 p20 p190 p235 p609 p237 p449 p550 p94 p34 p214 p156 p250 p312 p173 } a20 {p364 p57 p259 p617 p599 p626 p608 p234 p332 p450 p213 p633 p245 p155 p100 p216 p253 p172 p51 p559 }) ({p69 } a34 {p65 }) ({p542 p116 p594 p595 p411 p260 p546 p347 p598 p324 p15 p20 p353 p279 p174 p459 p176 p60 p184 p475 p629 p388 p487 p90 p152 p93 p635 p402 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p263 p352 p278 p556 p457 p355 p176 p461 p57 p60 p470 p191 p388 p630 p490 p304 p152 p93 p400 p637 p103 p252 p106 p198 }) ({p594 p595 p160 p411 p121 p598 p12 p18 p266 p23 p273 p288 p454 p290 p457 p420 p176 p424 p294 p561 p476 p628 p388 p564 p152 p400 p637 p103 p252 p588 p568 p109 } a31 {p113 p594 p595 p256 p597 p614 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p187 p431 p629 p388 p565 p152 p399 p103 p252 p105 p639 }) ({p20 p517 p603 p536 } a20 {p537 p610 p57 p602 p404 }) ({p578 p366 p12 p97 } a31 {p81 p366 p93 p50 }) ({p407 p114 p594 p595 p319 p7 p411 p598 p326 p265 p20 p276 p284 p288 p176 p60 p463 p428 p473 p481 p388 p486 p152 p93 p103 p252 } a20 {p407 p114 p594 p595 p319 p7 p411 p598 p326 p282 p284 p288 p176 p221 p57 p60 p428 p477 p481 p388 p432 p486 p152 p93 p103 p252 }) ({p238 p394 p529 p12 p444 p502 p589 p603 } a31 {p505 p610 p394 p195 p306 p446 p50 }) ({p364 p592 p176 p594 p595 p596 p411 p598 p12 p234 p448 p388 p548 p86 p245 p155 p103 p51 p559 } a31 {p592 p176 p594 p595 p596 p411 p598 p388 p237 p449 p150 p550 p94 p34 p214 p103 p50 }) ({p227 p531 p264 p571 p20 p430 p81 p576 p505 p372 p453 p287 p105 } a20 {p57 p529 p561 p266 p231 p23 p430 p575 p548 p508 p373 p286 p97 p454 p420 }) ({p594 p315 p595 p319 p7 p10 p598 p326 p547 p20 p170 p558 p51 p175 p176 p58 p60 p228 p188 p385 p477 p191 p480 p387 p481 p388 p236 p610 p486 p245 p93 p97 p247 p400 p103 p252 p106 p108 p110 p407 p114 p410 p411 p281 p282 p283 p284 p288 p516 p521 p523 p529 p424 p532 p427 p428 p535 p537 p152 p589 p591 } a20 {p594 p315 p595 p319 p7 p10 p598 p326 p547 p170 p558 p51 p175 p176 p57 p58 p60 p228 p188 p385 p477 p191 p480 p387 p481 p388 p236 p610 p486 p245 p93 p97 p247 p400 p103 p252 p106 p108 p110 p407 p114 p410 p411 p281 p282 p283 p284 p288 p516 p521 p523 p529 p424 p532 p427 p428 p535 p537 p152 p589 p591 }) ({p578 p505 p12 p97 } a31 {p81 p505 p93 p50 }) ({p320 p305 p20 } a20 {p57 p128 p326 }) ({p596 p525 p581 p549 p511 p150 p138 p20 } a20 {p594 p548 p57 p86 p527 p152 p532 p558 p369 }) ({p594 p595 p411 p121 p598 p12 p18 p266 p23 p273 p288 p454 p290 p457 p420 p176 p424 p294 p187 p561 p476 p388 p152 p637 p103 p252 p588 p109 } a31 {p113 p594 p595 p256 p597 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p187 p431 p388 p152 p103 p252 p105 p639 }) ({p594 p176 p595 p411 p259 p598 p13 p12 p323 p626 p231 p430 p191 p575 p388 p450 p213 p633 p286 p97 p100 p216 p103 p172 } a31 {p594 p55 p176 p365 p595 p560 p411 p62 p598 p323 p264 p571 p190 p235 p388 p81 p453 p635 p156 p250 p104 p103 p174 p50 }) ({p63 } a25 {p89 }) ({p175 p315 p410 p31 p152 p41 p232 p516 p447 p75 p363 p519 } a51 {p175 p448 p410 p138 p154 p298 p21 p516 p519 }) ({p67 p292 p107 } a7 {p175 p436 p111 p74 }) ({p364 p314 p176 p411 p527 p12 p533 p302 p385 p415 p448 p86 p245 p155 p103 } a31 {p176 p596 p411 p413 p367 p75 p237 p449 p507 p303 p150 p94 p103 p519 p50 }) ({p441 p241 p489 p492 p20 p535 p25 } a20 {p407 p387 p175 p57 p10 p443 p401 p233 p49 }) ({p314 p440 p158 p12 p533 p103 p302 p170 p385 p197 p622 } a31 {p507 p442 p303 p165 p376 p367 p103 p75 p50 }) ({p594 p176 p595 p60 p411 p545 p322 p598 p12 p191 p79 p388 p152 p93 p540 p103 p252 p106 p172 } a31 {p542 p594 p176 p595 p60 p411 p62 p598 p230 p190 p388 p90 p152 p93 p103 p252 p590 p174 p50 }) ({p594 p595 p411 p545 p322 p598 p13 p12 p216 p172 p458 p379 p176 p223 p470 p626 p191 p388 p393 p152 p633 p93 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p598 p280 p174 p50 p379 p459 p55 p176 p560 p62 p425 p190 p235 p388 p90 p152 p93 p635 p103 p252 p590 }) ({p177 p391 p317 p507 p442 p303 p165 p195 p367 p376 p20 p534 } a20 {p314 p57 p444 p533 p502 p385 p371 p238 p337 p513 p378 p602 p170 p197 p210 }) ({p593 p114 p594 p116 p595 p365 p319 p366 p411 p320 p598 p12 p324 p326 p16 p276 p284 p176 p55 p60 p62 p227 p183 p184 p229 p428 p479 p481 p388 p432 p391 p486 p488 p150 p152 p154 p93 p195 p103 p252 p402 p590 p362 } a31 {p593 p114 p594 p116 p595 p365 p319 p366 p411 p320 p598 p324 p326 p16 p276 p284 p289 p50 p176 p55 p60 p62 p227 p183 p184 p229 p428 p473 p479 p481 p388 p391 p486 p488 p150 p152 p154 p93 p195 p103 p252 p402 p590 p362 }) ({p176 p594 p595 p411 p259 p529 p598 p12 p323 p231 p430 p502 p371 p575 p238 p450 p213 p286 p97 p100 p513 p103 p210 } a31 {p176 p594 p365 p595 p317 p411 p598 p323 p264 p571 p534 p81 p505 p391 p372 p394 p453 p156 p250 p104 p103 p50 }) ({p65 } a35 {p76 }) ({p364 p388 p358 p31 p489 p533 p252 p52 } a51 {p387 p449 p507 p247 p434 p328 p21 }) ({p151 p12 p107 } a31 {p151 p107 p50 }) ({p595 p58 p12 p249 p427 p418 p368 } a31 {p595 p523 p366 p212 p229 p570 p50 }) ({p594 p525 p549 p511 p152 p20 } a20 {p594 p548 p57 p152 p532 p558 p369 }) ({p421 p381 p55 p560 p425 p20 p190 p235 p550 p34 p214 p290 p252 p590 } a20 {p381 p57 p424 p626 p234 p393 p633 p290 p540 p216 p252 p172 p588 p51 p559 }) ({p175 p387 p410 p31 p227 p184 p247 p455 p418 p535 p516 p108 } a51 {p175 p387 p410 p183 p229 p247 p21 p535 p457 p420 p516 p108 }) ({p176 p594 p595 p411 p259 p529 p598 p12 p231 p502 p388 p238 p450 p286 p97 p103 p404 } a31 {p176 p594 p365 p595 p411 p598 p264 p536 p388 p81 p505 p394 p453 p103 p50 }) ({p594 p526 p31 p152 p532 p249 p41 p558 p368 p232 p447 } a51 {p448 p595 p523 p581 p549 p511 p138 p154 p21 }) ({p55 p560 p365 p20 p190 p235 p332 p237 p449 p550 p94 p34 p214 p156 p250 } a20 {p364 p57 p259 p626 p234 p332 p450 p213 p633 p245 p155 p100 p216 p172 p51 p559 }) ({p421 p55 p560 p121 p425 p20 p190 p268 p235 p280 p550 p34 p374 p398 p214 p252 p456 p590 p379 } a20 {p381 p57 p223 p424 p121 p626 p234 p393 p359 p633 p398 p290 p540 p216 p252 p172 p588 p458 p51 p559 }) ({p407 p114 p594 p176 p595 p319 p60 p411 p424 p598 p326 p18 p428 p20 p269 p479 p388 p152 p285 p93 p400 p103 p252 } a20 {p407 p114 p594 p176 p595 p460 p57 p319 p60 p411 p424 p598 p326 p18 p428 p476 p388 p152 p93 p288 p42 p400 p103 p252 }) ({p594 p595 p614 p411 p598 p15 p264 p571 p329 p20 p576 p453 p287 p174 p176 p178 p227 p184 p187 p627 p431 p388 p81 p152 p635 p399 p104 p103 p252 p105 p254 p345 } a20 {p594 p595 p160 p411 p598 p13 p325 p619 p266 p23 p575 p286 p454 p457 p420 p176 p57 p294 p186 p561 p231 p430 p628 p191 p388 p564 p152 p398 p97 p637 p103 p252 p109 }) ({p594 p176 p595 p60 p411 p598 p12 p428 p476 p388 p128 p152 p93 p288 p103 p252 p457 } a31 {p594 p176 p595 p597 p119 p60 p320 p411 p598 p184 p428 p269 p388 p152 p93 p103 p252 p50 }) ({p365 p449 p507 p434 p328 p20 p534 } a20 {p364 p388 p238 p57 p450 p259 p513 p533 p252 p502 }) ({p364 p176 p411 p616 p12 p608 p234 p332 p448 p580 p548 p86 p508 p245 p155 p309 p103 p171 p51 p559 } a31 {p592 p176 p366 p411 p616 p531 p607 p331 p237 p449 p150 p550 p94 p34 p214 p103 p312 p173 p519 p50 }) ({p594 p595 p411 p259 p598 p12 p325 p619 p599 p502 p371 p575 p450 p213 p286 p513 p210 p176 p529 p623 p186 p231 p430 p238 p396 p92 p97 p100 p103 p253 p344 } a31 {p594 p365 p595 p317 p411 p598 p323 p618 p264 p571 p505 p208 p372 p453 p50 p176 p178 p624 p474 p534 p609 p81 p391 p394 p395 p156 p250 p104 p103 p254 p345 }) ({p364 p448 p581 p549 p511 p245 p138 p12 p234 p51 } a31 {p594 p237 p449 p366 p152 p532 p34 p214 p558 p519 p50 }) ({p175 p293 p365 p410 p233 p73 p535 p387 p31 p283 p247 p215 p516 } a51 {p175 p387 p238 p410 p451 p261 p247 p21 p502 p535 p516 p362 }) ({p451 p261 p230 p20 p217 } a20 {p79 p236 p57 p450 p259 p283 }) ({p594 p595 p411 p598 p15 p264 p619 p571 p329 p20 p576 p453 p287 p174 p176 p178 p227 p184 p187 p431 p388 p81 p152 p635 p104 p103 p252 p105 p254 } a20 {p594 p595 p160 p411 p598 p13 p325 p619 p266 p23 p575 p286 p454 p457 p420 p176 p57 p294 p186 p561 p231 p430 p191 p388 p152 p97 p637 p103 p252 p109 }) ({p407 p594 p595 p258 p411 p545 p322 p598 p12 p352 p278 p509 p38 p553 p42 p458 p176 p460 p223 p60 p470 p388 p630 p393 p152 p93 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p9 p260 p347 p598 p124 p277 p280 p285 p291 p50 p459 p176 p60 p425 p479 p388 p241 p631 p90 p152 p93 p402 p103 p252 p590 p569 }) ({p12 p140 p170 p162 p107 } a31 {p176 p165 p151 p107 p145 p50 }) ({p594 p355 p176 p595 p60 p411 p598 p12 p184 p428 p475 p388 p279 p304 p152 p93 p556 p103 p252 p402 } a31 {p116 p594 p176 p595 p119 p60 p411 p546 p598 p324 p184 p428 p475 p388 p279 p152 p93 p103 p252 p402 p50 }) ({p594 p595 p411 p598 p12 p266 p23 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p561 p234 p431 p388 p152 p103 p252 p588 } a31 {p421 p594 p176 p595 p366 p411 p598 p227 p531 p268 p431 p388 p576 p550 p152 p34 p374 p287 p214 p103 p252 p456 p105 p50 }) ({p114 p594 p496 p176 p460 p595 p221 p319 p60 p411 p598 p12 p326 p428 p388 p432 p509 p152 p93 p42 p103 p252 } a31 {p114 p594 p496 p176 p595 p319 p60 p411 p9 p598 p326 p428 p473 p479 p388 p276 p152 p285 p93 p289 p291 p103 p252 p50 }) ({p593 p319 p366 p31 p284 p154 p229 p427 p419 p476 p362 } a51 {p593 p319 p366 p281 p154 p229 p427 p39 p21 p362 }) ({p3 } a21 {p87 }) ({p140 p20 p439 p75 p336 } a20 {p415 p112 p440 p57 p151 p302 p126 p622 }) ({p594 p595 p411 p545 p322 p598 p13 p12 p277 p38 p216 p172 p458 p176 p223 p470 p626 p191 p388 p393 p359 p152 p633 p93 p399 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p598 p124 p277 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p388 p90 p152 p93 p635 p399 p103 p252 p590 }) ({p114 p594 p176 p595 p319 p60 p411 p598 p326 p427 p428 p20 p388 p486 p152 p93 p103 p252 p419 } a20 {p114 p594 p176 p595 p57 p319 p60 p411 p598 p326 p297 p427 p428 p388 p281 p152 p93 p103 p252 }) ({p594 p176 p55 p595 p60 p411 p62 p545 p322 p598 p12 p425 p428 p191 p388 p152 p93 p540 p103 p252 p106 p172 } a31 {p542 p594 p176 p55 p595 p60 p411 p62 p598 p425 p428 p190 p388 p90 p152 p93 p103 p252 p590 p174 p50 }) ({p114 p594 p176 p595 p319 p60 p411 p598 p16 p326 p428 p20 p481 p388 p486 p282 p284 p152 p93 p634 p103 p252 } a20 {p114 p594 p176 p595 p57 p319 p60 p7 p411 p598 p326 p428 p481 p388 p486 p282 p284 p152 p93 p103 p252 p638 }) ({p114 p594 p176 p595 p319 p60 p411 p598 p12 p326 p299 p428 p388 p284 p152 p93 p103 p252 p590 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p326 p428 p388 p488 p284 p152 p93 p291 p103 p252 p590 p50 }) ({p388 p176 p441 p31 p489 p533 p197 p25 } a51 {p387 p175 p507 p442 p328 p21 p162 }) ({p489 p12 } a31 {p489 p50 }) ({p176 p238 p529 p12 p444 p606 p103 p602 p404 p502 p589 } a31 {p176 p505 p394 p195 p306 p168 p103 p446 p536 p50 }) ({p200 p615 p12 p444 p606 p141 p337 p246 p103 p602 p589 p622 p136 } a31 {p177 p497 p203 p446 p239 p338 p153 p195 p306 p376 p168 p103 p403 p50 }) ({p53 } a19 {p3 }) ({p593 p481 p31 p297 } a51 {p593 p486 p462 p21 }) ({p238 p394 p529 p451 p261 p12 p97 p231 p502 } a31 {p365 p81 p505 p394 p283 p289 p50 }) ({p355 p594 p176 p595 p60 p411 p598 p12 p15 p428 p476 p388 p304 p152 p93 p288 p556 p103 p252 p402 p457 } a31 {p116 p594 p176 p595 p597 p119 p60 p411 p546 p598 p324 p184 p15 p428 p269 p388 p152 p93 p103 p252 p402 p50 }) ({p114 p593 p366 p31 p322 p139 p452 p154 p552 p229 p191 p362 } a51 {p593 p366 p154 p554 p229 p188 p21 p110 p174 p362 }) ({p317 p615 p529 p12 p444 p606 p502 p371 p238 p337 p513 p103 p602 p589 } a31 {p177 p317 p446 p534 p505 p391 p372 p394 p338 p195 p306 p168 p103 p50 }) ({p594 p315 p595 p319 p7 p10 p598 p326 p547 p20 p170 p558 p51 p175 p176 p58 p60 p463 p228 p473 p188 p385 p191 p387 p481 p388 p236 p610 p486 p245 p93 p97 p247 p400 p103 p252 p106 p108 p110 p407 p114 p410 p411 p281 p282 p283 p284 p288 p516 p521 p523 p529 p424 p532 p427 p428 p535 p537 p152 p589 p591 } a20 {p594 p315 p595 p319 p7 p10 p598 p326 p547 p170 p558 p51 p175 p176 p57 p58 p60 p228 p188 p477 p385 p191 p387 p481 p388 p236 p610 p486 p245 p93 p97 p247 p400 p103 p252 p106 p108 p110 p407 p114 p410 p411 p281 p282 p283 p284 p288 p516 p521 p523 p529 p424 p532 p427 p428 p535 p537 p432 p152 p589 p591 }) ({p594 p176 p595 p366 p411 p424 p598 p12 p234 p388 p548 p152 p93 p103 p252 p588 p105 p420 p51 p559 } a31 {p421 p594 p176 p595 p366 p411 p598 p227 p388 p550 p152 p34 p93 p214 p103 p252 p105 p50 }) ({p594 p595 p258 p411 p545 p322 p598 p12 p352 p278 p509 p38 p553 p42 p458 p176 p460 p223 p60 p470 p388 p393 p152 p93 p540 p103 p252 p402 p106 } a31 {p542 p594 p595 p411 p9 p260 p347 p598 p124 p277 p280 p285 p291 p50 p459 p176 p60 p425 p479 p388 p90 p152 p93 p103 p252 p402 p590 p569 }) ({p12 p297 p110 p354 } a31 {p593 p486 p552 p291 p50 }) ({p407 p440 p158 p10 p12 p533 p298 p621 p170 p385 p197 } a31 {p315 p241 p507 p442 p165 p492 p367 p75 p50 }) ({p542 p116 p594 p595 p411 p546 p598 p324 p15 p20 p278 p174 p176 p60 p184 p428 p470 p388 p90 p152 p93 p635 p400 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p278 p556 p457 p355 p176 p57 p60 p428 p470 p191 p388 p304 p152 p93 p400 p637 p103 p252 p106 }) ({p421 p113 p55 p560 p425 p124 p20 p190 p268 p235 p273 p280 p550 p34 p374 p398 p214 p252 p456 p590 p379 } a20 {p381 p57 p223 p424 p121 p626 p234 p273 p393 p359 p633 p398 p38 p290 p540 p216 p252 p172 p588 p458 p51 p559 }) ({p114 p594 p116 p176 p595 p60 p411 p598 p12 p184 p428 p388 p304 p152 p93 p103 p252 p402 } a31 {p114 p594 p116 p176 p595 p119 p60 p411 p598 p324 p184 p428 p388 p152 p93 p103 p252 p402 p50 }) ({p176 p594 p595 p317 p411 p259 p529 p598 p12 p231 p502 p371 p575 p238 p450 p213 p286 p97 p513 p103 } a31 {p176 p594 p365 p595 p317 p411 p598 p264 p571 p534 p81 p505 p391 p372 p394 p453 p250 p103 p50 }) ({p364 p176 p411 p12 p607 p234 p332 p448 p580 p548 p86 p508 p245 p155 p309 p103 p51 p559 } a31 {p592 p176 p366 p411 p531 p607 p331 p237 p449 p150 p550 p94 p34 p214 p103 p312 p519 p50 }) ({p176 p594 p595 p411 p598 p12 p413 p232 p447 p387 p247 p41 p103 p363 } a31 {p176 p594 p595 p358 p411 p598 p489 p154 p413 p103 p52 p50 }) ({p43 } a54 {p46 }) ({p594 p595 p160 p411 p121 p598 p12 p266 p23 p273 p548 p508 p373 p454 p290 p420 p51 p559 p381 p176 p424 p294 p625 p561 p478 p234 p388 p564 p152 p398 p103 p252 p588 p568 p109 } a31 {p113 p594 p595 p256 p614 p366 p411 p598 p329 p268 p576 p550 p34 p374 p287 p214 p456 p50 p421 p176 p227 p531 p187 p627 p431 p483 p388 p565 p152 p397 p103 p252 p105 }) ({p594 p176 p595 p319 p60 p411 p598 p428 p20 p188 p388 p152 p93 p552 p103 p252 } a20 {p594 p176 p595 p57 p60 p411 p598 p428 p188 p388 p127 p152 p93 p103 p252 p110 }) ({p55 p365 p560 p323 p618 p20 p190 p235 p609 p237 p449 p550 p396 p94 p34 p374 p214 p156 p342 p250 p312 p379 p173 } a20 {p364 p381 p57 p259 p617 p599 p626 p608 p234 p332 p450 p359 p213 p396 p633 p245 p155 p100 p216 p172 p253 p344 p51 p559 }) ({p364 p314 p592 p176 p594 p595 p596 p411 p598 p12 p533 p413 p302 p385 p448 p86 p245 p155 p103 } a31 {p592 p176 p594 p595 p596 p411 p598 p413 p367 p75 p237 p449 p507 p303 p150 p94 p103 p50 }) ({p77 p236 p293 p365 p31 p283 p169 p215 p190 p73 } a51 {p451 p261 p228 p172 p189 p21 p217 p362 }) ({p76 } a28 {p72 }) ({p355 p594 p176 p595 p60 p411 p598 p12 p18 p428 p475 p476 p388 p279 p304 p152 p93 p288 p556 p637 p103 p252 p402 p457 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p269 p279 p50 p176 p60 p184 p428 p475 p388 p152 p93 p103 p252 p402 p639 }) ({p176 p441 p31 p151 p132 p197 p25 p495 } a51 {p175 p442 p140 p134 p21 p162 }) ({p411 p31 p327 p445 p471 p589 p357 } a51 {p192 p410 p497 p348 p446 p21 p591 }) ({p358 p212 p228 p20 p189 p52 p362 } a20 {p77 p293 p58 p57 p247 p169 p215 p73 }) ({p521 p176 p443 p12 p103 p233 p49 p535 p591 } a31 {p176 p468 p445 p103 p535 p357 p50 }) ({p298 p20 p621 } a20 {p315 p57 p302 p622 }) ({p424 p12 p295 p39 p288 } a31 {p421 p284 p428 p269 p50 }) ({p421 p235 p55 p425 p34 p214 p20 p252 p190 p590 p559 } a20 {p57 p393 p424 p626 p540 p216 p252 p172 p588 p234 p51 p559 }) ({p30 } a15 {p48 }) ({p48 } a18 {p20 }) ({p594 p176 p595 p62 p411 p259 p598 p12 p231 p191 p388 p450 p152 p286 p97 p103 p252 p172 } a31 {p594 p176 p365 p595 p62 p411 p598 p264 p190 p388 p81 p152 p453 p103 p252 p174 p50 }) ({p462 p12 p590 } a31 {p481 p291 p590 p50 }) ({p29 } a50 {p83 }) ({p12 p305 p288 p457 p476 } a31 {p597 p119 p184 p326 p269 p50 }) ({p594 p595 p258 p411 p545 p322 p598 p12 p278 p509 p38 p42 p458 p176 p460 p223 p60 p470 p388 p393 p152 p93 p540 p103 p252 p402 p106 p569 } a31 {p542 p594 p595 p411 p9 p260 p598 p124 p277 p280 p285 p291 p50 p459 p176 p60 p425 p479 p388 p90 p152 p93 p103 p252 p402 p590 p569 }) ({p364 p381 p176 p411 p617 p12 p608 p234 p332 p448 p580 p548 p508 p86 p395 p373 p245 p340 p155 p309 p103 p171 p51 p559 } a31 {p592 p176 p366 p411 p616 p531 p607 p331 p237 p449 p150 p395 p550 p94 p34 p374 p214 p342 p103 p312 p173 p519 p50 }) ({p594 p595 p411 p598 p15 p264 p571 p329 p20 p576 p453 p287 p174 p176 p227 p184 p186 p431 p388 p81 p152 p635 p104 p103 p252 p105 p254 } a20 {p594 p595 p411 p598 p13 p325 p266 p23 p575 p286 p454 p457 p420 p176 p57 p294 p186 p561 p231 p430 p191 p388 p152 p97 p637 p103 p252 p109 }) ({p594 p595 p411 p545 p322 p598 p13 p12 p124 p216 p172 p458 p176 p223 p470 p626 p191 p388 p393 p359 p152 p633 p93 p399 p540 p103 p252 p106 } a31 {p542 p594 p595 p411 p598 p124 p280 p174 p379 p50 p459 p55 p176 p560 p62 p425 p190 p235 p388 p90 p152 p93 p635 p399 p103 p252 p590 }) ({p81 p505 p227 p531 p286 p20 p105 } a20 {p548 p57 p508 p529 p97 p286 p231 p420 p23 }) ({p32 } a23 {p35 }) ({p364 p358 p60 p31 p212 p252 p52 p234 } a51 {p449 p58 p214 p247 p434 p21 p562 }) ({p31 p227 p532 p249 p418 p558 p368 } a51 {p523 p549 p511 p229 p21 p420 }) ({p594 p176 p460 p595 p60 p411 p545 p322 p598 p12 p388 p393 p280 p152 p93 p42 p540 p103 p252 p402 p106 } a31 {p542 p594 p176 p595 p60 p411 p598 p425 p479 p388 p280 p90 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p451 p261 p12 p97 p231 p172 p217 p191 } a31 {p236 p365 p81 p62 p283 p289 p190 p174 p50 }) ({p113 p256 p124 p20 p268 p277 p280 p550 p34 p374 p214 p456 p379 p421 p55 p560 p425 p627 p190 p235 p483 p565 p399 p252 p590 p569 } a20 {p258 p121 p273 p38 p553 p290 p216 p172 p458 p51 p559 p381 p57 p223 p424 p626 p628 p234 p485 p393 p359 p633 p398 p540 p252 p588 p568 }) ({p451 p261 p20 p517 p536 } a20 {p537 p57 p450 p259 p283 p404 }) ({p364 p411 p617 p12 p332 p448 p548 p508 p373 p171 p51 p559 p381 p176 p623 p608 p234 p580 p86 p396 p245 p340 p155 p309 p103 } a31 {p592 p176 p366 p411 p616 p531 p624 p607 p331 p237 p449 p395 p150 p550 p34 p94 p374 p214 p342 p103 p312 p173 p519 p50 }) ({p594 p595 p411 p259 p598 p13 p12 p325 p575 p450 p213 p286 p216 p172 p176 p626 p231 p430 p191 p609 p388 p633 p97 p100 p103 p253 } a31 {p594 p365 p595 p411 p598 p323 p264 p571 p453 p174 p50 p55 p176 p560 p62 p190 p235 p609 p388 p81 p635 p156 p250 p104 p103 p254 }) ({p364 p448 p594 p245 p138 p12 p533 p413 p298 p385 } a31 {p315 p594 p237 p449 p507 p152 p413 p367 p75 p50 }) ({p526 p20 p414 } a20 {p595 p57 p413 p516 p519 }) ({p436 p20 p111 } a20 {p57 p413 p103 p437 p363 p163 }) ({p523 p229 p468 p20 p577 } a20 {p521 p57 p249 p418 p108 p368 }) ({p594 p176 p595 p60 p411 p598 p546 p12 p428 p476 p388 p304 p152 p93 p288 p556 p103 p252 p402 p457 } a31 {p116 p594 p176 p595 p597 p119 p60 p411 p598 p546 p324 p184 p428 p269 p388 p152 p93 p103 p252 p402 p50 }) ({p230 p20 p541 p217 } a20 {p79 p236 p57 p547 p540 }) ({p8 } a41 {p22 }) ({p575 p81 p505 p227 p531 p453 p264 p287 p20 p105 } a20 {p575 p57 p548 p508 p529 p286 p97 p454 p266 p231 p23 p420 }) ({p529 p31 p327 p468 p445 p589 p357 } a51 {p521 p505 p192 p446 p21 p591 }) ({p594 p176 p595 p411 p424 p598 p12 p234 p388 p548 p508 p152 p103 p252 p588 p105 p420 p51 p559 } a31 {p421 p594 p176 p595 p366 p411 p227 p598 p531 p388 p550 p152 p34 p214 p103 p252 p105 p50 }) ({p505 p192 p12 } a31 {p505 p306 p327 p50 }) ({p610 p130 p31 p443 p195 p433 p343 p49 } a51 {p202 p444 p621 p21 p603 p136 }) ({p12 p554 p106 } a31 {p114 p90 p50 }) ({p33 } a32 {p36 }) ({p175 p410 p232 p535 p447 p387 p31 p152 p249 p41 p558 p516 p519 } a51 {p175 p387 p448 p410 p549 p138 p154 p21 p535 p516 p519 }) ({p594 p176 p55 p595 p60 p411 p545 p322 p598 p12 p191 p388 p152 p93 p540 p216 p103 p252 p106 p172 } a31 {p542 p594 p176 p55 p595 p60 p411 p62 p598 p190 p235 p388 p90 p152 p93 p103 p252 p590 p174 p50 }) ({p594 p176 p595 p411 p424 p598 p12 p561 p266 p476 p23 p431 p388 p152 p288 p454 p290 p103 p252 p588 p457 p420 } a31 {p421 p594 p176 p595 p597 p411 p227 p598 p184 p269 p268 p431 p388 p576 p152 p287 p103 p252 p456 p105 p50 }) ({p77 p293 p12 p169 p215 p188 p73 p108 } a31 {p62 p452 p139 p228 p289 p189 p577 p362 p50 }) ({p421 p594 p176 p595 p60 p411 p121 p598 p425 p20 p269 p268 p479 p388 p280 p152 p285 p93 p400 p103 p252 p456 p590 } a20 {p594 p595 p411 p121 p598 p288 p42 p290 p458 p176 p460 p57 p223 p60 p424 p476 p388 p393 p152 p93 p400 p540 p103 p252 p588 }) ({p592 p241 p192 p150 p497 p348 p492 p20 p446 p75 } a20 {p407 p448 p580 p57 p86 p411 p10 p498 p327 p302 p589 }) ({p592 p505 p192 p150 p531 p20 p446 } a20 {p448 p580 p548 p57 p86 p508 p529 p327 p589 }) ({p364 p448 p581 p245 p138 p12 p533 p298 p385 p503 } a31 {p315 p594 p237 p449 p507 p152 p413 p367 p75 p519 p50 }) ({p35 } a24 {p48 }) ({p592 p346 p616 p497 p412 p203 p607 p20 p446 p331 p75 p239 p150 p338 p306 p376 p168 p251 p403 } a20 {p57 p615 p226 p498 p204 p606 p383 p302 p448 p580 p86 p340 p246 p309 p378 p171 p589 }) ({p595 p241 p154 p492 p445 p471 p20 p516 p357 } a20 {p407 p57 p410 p526 p10 p41 p232 p447 p363 p591 p414 }) ({p227 p531 p186 p264 p571 p329 p20 p431 p81 p576 p505 p372 p453 p287 p104 p105 p254 } a20 {p57 p294 p529 p325 p186 p561 p266 p231 p23 p430 p575 p548 p508 p373 p286 p97 p454 p420 p109 }) ({p364 p314 p176 p411 p412 p12 p498 p533 p302 p385 p448 p580 p86 p245 p155 p103 } a31 {p592 p176 p411 p412 p413 p367 p75 p237 p449 p507 p303 p150 p94 p103 p519 p50 }) ({p324 p184 p554 p20 p174 } a20 {p114 p57 p322 p304 p457 p191 }) ({p593 p12 p297 } a31 {p593 p486 p291 p50 }) ({p89 } a26 {p76 }) ({p364 p176 p411 p527 p12 p234 p369 p448 p548 p86 p245 p155 p103 p51 p559 } a31 {p176 p596 p525 p366 p411 p237 p449 p150 p550 p94 p34 p214 p103 p519 p50 }) ({p594 p595 p411 p598 p12 p263 p18 p282 p288 p556 p457 p355 p176 p461 p60 p428 p477 p476 p388 p304 p152 p93 p637 p103 p252 p402 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p265 p269 p279 p50 p176 p60 p463 p184 p428 p475 p388 p152 p93 p103 p252 p402 p639 }) ({p407 p594 p595 p411 p598 p12 p263 p18 p282 p288 p556 p457 p355 p176 p461 p60 p477 p476 p388 p630 p490 p304 p152 p93 p637 p103 p252 p198 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p265 p269 p353 p279 p50 p176 p60 p463 p184 p475 p388 p241 p631 p152 p93 p491 p402 p103 p252 p639 }) ({p594 p595 p411 p121 p598 p12 p18 p266 p329 p23 p288 p454 p290 p457 p420 p176 p424 p561 p476 p388 p152 p637 p103 p252 p588 p109 } a31 {p113 p594 p595 p597 p411 p598 p15 p329 p269 p268 p576 p287 p456 p50 p421 p176 p227 p184 p431 p388 p152 p103 p252 p105 p639 }) ({p324 p554 p20 p191 } a20 {p114 p57 p322 p304 p191 }) ({p542 p116 p594 p595 p411 p260 p546 p598 p324 p15 p20 p279 p174 p459 p176 p60 p184 p428 p475 p388 p90 p152 p93 p635 p400 p103 p252 } a20 {p594 p595 p411 p545 p322 p598 p13 p263 p278 p556 p457 p355 p176 p461 p57 p60 p470 p428 p191 p388 p304 p152 p93 p400 p637 p103 p252 p106 }) ({p127 p20 } a20 {p57 p319 p119 }) ({p594 p176 p460 p595 p223 p60 p411 p545 p322 p598 p12 p124 p470 p388 p393 p152 p93 p42 p540 p103 p252 p402 p106 p458 } a31 {p542 p459 p594 p176 p595 p60 p411 p598 p425 p124 p479 p388 p280 p90 p152 p285 p93 p291 p103 p252 p402 p590 p50 }) ({p481 p236 p20 p541 } a20 {p481 p236 p57 p547 p540 }) ({p175 p58 p410 p228 p427 p547 p189 p535 p387 p486 p31 p247 p354 p590 p516 p108 } a51 {p593 p175 p58 p410 p228 p427 p21 p189 p535 p387 p486 p247 p541 p516 p108 }) ({p407 p387 p175 p10 p12 p103 p437 p363 p163 } a31 {p441 p241 p489 p492 p103 p25 p50 }) ({p407 p594 p595 p411 p598 p12 p263 p18 p353 p282 p288 p556 p457 p355 p176 p461 p60 p477 p476 p388 p630 p490 p304 p152 p93 p637 p103 p252 } a31 {p116 p594 p595 p597 p119 p411 p546 p598 p324 p15 p265 p269 p353 p279 p50 p176 p60 p463 p184 p475 p388 p241 p631 p152 p93 p491 p402 p103 p252 p639 }) ({p592 p409 p616 p531 p607 p20 p446 p331 p505 p372 p150 p338 p306 p168 } a20 {p409 p57 p615 p529 p606 p448 p580 p548 p86 p508 p373 p340 p309 p171 p589 }) ({p40 } a52 {p78 }) ({p114 p594 p176 p460 p595 p221 p319 p60 p7 p411 p598 p12 p326 p428 p388 p432 p509 p632 p152 p93 p42 p103 p252 p334 } a31 {p114 p496 p594 p595 p5 p319 p411 p9 p598 p326 p276 p285 p289 p291 p50 p176 p60 p428 p473 p479 p388 p152 p93 p634 p103 p252 }) ({p295 p39 p20 p590 p479 } a20 {p460 p57 p284 p428 p540 p588 p476 }) ({p12 p184 p305 } a31 {p119 p184 p326 p50 }) ({p594 p176 p595 p60 p411 p62 p598 p12 p428 p189 p388 p486 p152 p93 p103 p252 p110 p354 } a31 {p593 p594 p176 p595 p60 p411 p62 p598 p428 p189 p388 p486 p152 p93 p552 p103 p252 p50 }) ({p176 p177 p238 p529 p12 p444 p513 p606 p103 p602 p502 p589 } a31 {p176 p177 p505 p394 p195 p306 p168 p103 p446 p534 p50 }) ({p127 p597 p31 p326 } a51 {p597 p319 p305 p21 }) ({p66 } a6 {p27 }) ({p235 p365 p449 p214 p434 p20 p190 p562 } a20 {p364 p57 p60 p450 p259 p216 p252 p172 p234 }) ({p322 p12 p106 p172 p541 p217 p191 } a31 {p236 p62 p90 p547 p190 p590 p174 p50 }) ({p175 p610 p31 p443 p195 p233 p49 p535 } a51 {p175 p238 p444 p21 p502 p535 p603 }) ({p175 p12 p436 p111 } a31 {p441 p132 p107 p25 p495 p50 }) ({p364 p314 p409 p617 p12 p498 p204 p332 p448 p209 p378 p171 p176 p226 p533 p383 p608 p302 p385 p580 p86 p245 p340 p155 p309 p103 } a31 {p592 p346 p616 p412 p413 p367 p205 p331 p449 p507 p380 p173 p519 p50 p176 p607 p75 p237 p303 p150 p94 p342 p251 p103 p312 }) ({p594 p355 p176 p595 p461 p60 p411 p598 p12 p184 p428 p477 p388 p279 p304 p152 p93 p556 p103 p252 p402 } a31 {p116 p594 p176 p595 p119 p60 p463 p411 p546 p598 p324 p184 p428 p475 p388 p279 p152 p93 p103 p252 p402 p50 }) ({p178 p227 p531 p624 p264 p187 p619 p571 p329 p20 p474 p431 p81 p576 p505 p372 p397 p453 p287 p104 p105 p254 } a20 {p57 p160 p294 p529 p325 p186 p619 p625 p561 p266 p231 p23 p430 p478 p575 p548 p508 p373 p396 p286 p97 p454 p420 p109 }) ({p55 p365 p560 p323 p618 p624 p20 p190 p235 p609 p237 p449 p550 p34 p94 p397 p374 p214 p156 p342 p250 p312 p379 p173 } a20 {p364 p259 p617 p599 p332 p450 p213 p216 p172 p51 p559 p381 p57 p625 p626 p608 p234 p359 p396 p633 p245 p155 p100 p253 p344 }) ({p175 p58 p410 p228 p427 p547 p190 p535 p387 p31 p247 p169 p354 p590 p516 p108 } a51 {p593 p175 p58 p410 p228 p427 p189 p21 p535 p387 p247 p172 p541 p516 p108 }) ({p411 p497 p12 } a31 {p411 p497 p50 }) ({p542 p116 p594 p176 p595 p60 p411 p546 p598 p324 p184 p13 p428 p20 p388 p90 p152 p93 p400 p103 p252 p174 } a20 {p594 p355 p176 p595 p57 p60 p411 p545 p322 p598 p13 p428 p191 p388 p304 p152 p93 p556 p400 p103 p252 p106 p457 }) ({p594 p176 p595 p411 p259 p598 p12 p626 p231 p191 p575 p388 p450 p213 p152 p286 p97 p156 p216 p103 p172 } a31 {p55 p594 p176 p365 p595 p62 p411 p598 p264 p571 p190 p235 p388 p81 p152 p453 p156 p250 p103 p174 p50 }) ({p200 p12 p153 p444 p606 p103 p602 p589 p622 p136 } a31 {p497 p203 p153 p195 p306 p376 p168 p103 p446 p403 p50 }) ({p114 p594 p176 p595 p221 p319 p60 p411 p10 p598 p12 p326 p428 p481 p388 p432 p486 p284 p152 p93 p103 p252 p638 } a31 {p114 p594 p176 p595 p319 p60 p411 p598 p16 p326 p428 p473 p481 p388 p276 p486 p284 p152 p93 p289 p492 p103 p252 p50 }) ({p192 p348 p12 } a31 {p411 p306 p327 p403 p50 }) ({p297 p20 } a20 {p57 p486 p291 }) ({p595 p523 p154 p468 p445 p20 p357 } a20 {p521 p57 p526 p249 p41 p368 p232 p447 p591 }) ({p176 p388 p507 p12 } a31 {p176 p388 p507 p50 }) ({p594 p176 p595 p58 p366 p411 p598 p12 p427 p388 p152 p93 p249 p418 p103 p252 } a31 {p594 p176 p595 p366 p411 p212 p598 p229 p388 p152 p93 p103 p252 p570 p50 }) ({p358 p489 p20 p535 p52 p362 } a20 {p387 p293 p57 p247 p215 p401 p233 p73 }) ({p48 } a17 {p53 }) ({p594 p366 p549 p424 p152 p12 p588 p420 p234 p51 } a31 {p421 p594 p366 p227 p152 p34 p214 p558 p50 }) ({p594 p176 p595 p60 p411 p598 p546 p12 p184 p428 p388 p304 p152 p93 p556 p103 p252 p402 } a31 {p116 p594 p176 p595 p119 p60 p411 p598 p546 p324 p184 p428 p388 p152 p93 p103 p252 p402 p50 }) ({p594 p176 p116 p595 p60 p411 p598 p12 p428 p476 p388 p304 p152 p93 p288 p103 p252 p402 p457 } a31 {p594 p176 p116 p595 p597 p119 p60 p411 p598 p324 p184 p428 p269 p388 p152 p93 p103 p252 p402 p50 }) ({p481 p31 p297 p547 p354 p590 } a51 {p593 p486 p462 p21 p541 }) }, initialMarking = {p364 p365 p5 p7 p366 p9 p10 p545 p546 p13 p15 p16 p18 p547 p28 p558 p51 p379 p559 p381 p55 p560 p58 p60 p62 p227 p228 p229 p230 p231 p385 p75 p234 p235 p387 p236 p388 p391 p394 p395 p396 p91 p93 p245 p397 p97 p246 p398 p99 p247 p399 p250 p400 p103 p251 p252 p402 p105 p106 p568 p108 p110 p569 p114 p407 p116 p409 p119 p410 p411 p121 p412 p124 p413 p126 p273 p575 p276 p576 p277 p278 p279 p280 p281 p282 p283 p284 p285 p286 p287 p288 p289 p290 p291 p424 p425 p427 p428 p430 p431 p150 p151 p152 p153 p154 p155 p156 p588 p589 p590 p591 p314 p592 p593 p315 p594 p595 p596 p597 p317 p319 p320 p322 p598 p323 p324 p325 p326 p327 p329 p331 p332 p170 p175 p176 p177 p183 p184 p186 p187 p606 p470 p188 p607 p473 p189 p608 p475 p190 p476 p477 p191 p479 p480 p481 p609 p482 p484 p610 p486 p488 p195 p343 p197 p346 p496 p614 p615 p616 p617 p618 p619 p352 p353 p208 p209 p516 p519 p521 p523 p525 p529 p531 p532 p533 p534 p535 p536 p537 p362 }, acceptingPlaces = {p78 } );