// Testfile dumped by Ultimate at 2020/03/07 10:43:53 // // 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 }, transitions = { ({p568 p277 p12 p17 p405 p432 p407 p410 p77 p484 p528 p80 p388 p487 p488 p88 p45 p336 } a31 {p568 p277 p17 p405 p432 p407 p410 p77 p484 p528 p80 p187 p487 p488 p88 p348 p46 p336 }) ({p202 p14 p17 p21 p123 p22 p124 p383 p384 p387 p388 p261 p134 p269 p335 p275 p277 p405 p407 p409 p73 p461 p410 p462 p411 p77 p528 p80 p533 p535 p86 p536 p347 p88 p539 p540 p542 p472 p242 p431 p475 p432 p439 p447 p359 p567 p568 p570 p366 p484 p487 p488 p193 } a20 {p209 p14 p17 p123 p22 p124 p383 p384 p387 p388 p261 p134 p269 p335 p275 p52 p277 p405 p407 p409 p73 p461 p410 p462 p411 p77 p528 p80 p533 p535 p86 p536 p347 p88 p539 p540 p542 p472 p242 p431 p475 p432 p439 p158 p447 p359 p567 p568 p570 p366 p484 p487 p488 }) ({p0 p199 p314 p154 p423 p17 p21 p556 p24 p430 p222 p432 p437 p354 p561 p257 p226 p563 p361 p453 p569 p277 p281 p512 p405 p407 p410 p77 p484 p80 p186 p145 p487 p533 p488 p538 p88 p306 } a20 {p199 p3 p153 p320 p17 p20 p434 p432 p440 p156 p562 p260 p323 p227 p359 p452 p278 p455 p570 p52 p277 p398 p514 p571 p230 p107 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p568 p277 p202 p398 p514 p571 p12 p230 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p487 p534 p488 p88 } a31 {p568 p362 p277 p202 p17 p383 p405 p432 p407 p410 p384 p77 p561 p484 p80 p186 p226 p487 p534 p488 p538 p88 p361 p46 }) ({p5 p85 } a39 {p8 p87 p66 }) ({p52 } a22 {p35 }) ({p21 p137 p494 p407 p432 p463 p77 p484 p80 p465 p487 p488 p88 p159 p336 } a20 {p275 p52 p232 p289 p432 p461 p77 p484 p80 p487 p373 p488 p466 p88 }) ({p73 p12 p123 p88 p404 p540 p161 p327 } a31 {p549 p412 p105 p88 p267 p574 p160 p46 }) ({p290 p75 p164 p311 p497 p88 p21 p42 p125 p543 } a20 {p293 p53 p52 p166 p86 p537 p499 p339 p88 p124 }) ({p180 p477 p34 p187 p169 p535 p488 p243 p502 p407 p567 } a51 {p180 p512 p187 p169 p488 p536 p243 p23 p502 p407 p567 }) ({p3 p205 p240 p12 p17 p26 p434 p432 p156 p387 p444 p260 p323 p455 p277 p283 p398 p514 p571 p230 p107 p405 p407 p410 p77 p484 p185 p80 p115 p487 p488 p534 p88 p235 } a31 {p237 p201 p7 p314 p154 p17 p24 p432 p438 p437 p561 p226 p263 p361 p46 p453 p362 p569 p277 p281 p110 p405 p407 p410 p77 p484 p80 p186 p188 p487 p488 p534 p538 p88 p375 }) ({p462 p413 p478 p12 p286 p86 p346 p116 p367 p88 p573 p414 } a31 {p178 p435 p363 p442 p296 p486 p346 p266 p88 p250 p42 p46 }) ({p329 p422 p397 p21 p390 } a20 {p291 p328 p52 p420 p447 p335 p405 }) ({p454 p277 p512 p186 p538 p21 } a20 {p568 p52 p277 p514 p535 p192 p235 }) ({p568 p277 p398 p514 p571 p12 p230 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p158 p487 p534 p488 p88 } a31 {p202 p17 p383 p432 p384 p561 p226 p361 p46 p568 p362 p277 p405 p407 p410 p77 p484 p80 p186 p487 p534 p488 p538 p88 p545 }) ({p467 p337 p506 p474 p17 p21 p432 p406 p433 p77 p484 p80 p487 p488 p88 p577 } a20 {p505 p337 p52 p510 p472 p17 p174 p432 p433 p411 p77 p484 p80 p487 p234 p488 p88 p578 }) ({p376 p206 p96 p12 p17 p555 p216 p219 p432 p353 p562 p227 p564 p359 p395 p277 p510 p326 p517 p405 p407 p248 p410 p77 p484 p80 p487 p535 p488 p88 p540 } a31 {p206 p474 p17 p241 p382 p556 p243 p222 p432 p29 p354 p445 p358 p334 p46 p274 p277 p338 p512 p405 p407 p410 p412 p77 p484 p80 p114 p487 p534 p488 p194 p88 }) ({p568 p277 p510 p12 p17 p405 p432 p407 p410 p77 p484 p80 p487 p535 p488 p245 p88 } a31 {p568 p277 p338 p512 p474 p17 p243 p405 p432 p407 p410 p385 p77 p484 p80 p487 p488 p88 p46 }) ({p462 p12 p86 p116 p367 p448 p88 p414 p573 } a31 {p178 p363 p442 p489 p266 p88 p250 p42 p46 }) ({p435 p462 p128 p478 p12 p401 p367 p88 p414 p269 p432 p135 } a31 {p178 p435 p363 p442 p167 p259 p130 p486 p88 p250 p432 p46 }) ({p25 } a46 {p27 }) ({p180 p142 p169 p488 p88 p21 p360 p252 } a20 {p52 p386 p14 p446 p88 p519 p431 p416 }) ({p150 p552 p208 p316 p21 p250 p432 p259 p130 p272 p136 p363 p287 p288 p403 p368 p140 p77 p464 p484 p80 p296 p487 p488 p88 } a20 {p420 p553 p350 p316 p212 p253 p432 p328 p389 p269 p135 p52 p286 p247 p401 p367 p108 p141 p462 p77 p484 p80 p299 p487 p488 p88 p149 }) ({p568 p277 p570 p512 p17 p21 p383 p405 p407 p432 p410 p384 p77 p484 p80 p533 p487 p488 p538 p88 p359 p540 } a20 {p568 p52 p277 p570 p514 p17 p383 p405 p407 p432 p410 p384 p77 p484 p80 p533 p487 p535 p488 p88 p359 p540 }) ({p362 p338 p280 p442 p57 p194 p88 p243 p490 p545 } a5 {p549 p62 p89 }) ({p0 p17 p21 p24 p430 p432 p440 p257 p563 p453 p569 p277 p281 p512 p405 p407 p410 p77 p484 p80 p186 p487 p533 p488 p538 p88 } a20 {p3 p17 p20 p434 p432 p440 p260 p452 p278 p455 p570 p52 p277 p514 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p376 p12 p17 p555 p216 p219 p432 p353 p562 p227 p564 p359 p568 p274 p395 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p535 p488 p534 p88 } a31 {p474 p17 p241 p382 p556 p243 p222 p432 p29 p354 p445 p358 p334 p46 p568 p274 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p467 p237 p7 p205 p554 p474 p17 p217 p241 p382 p21 p432 p352 p29 p438 p330 p445 p263 p358 p334 p274 p277 p515 p110 p405 p407 p410 p77 p484 p80 p114 p487 p534 p488 p88 p375 } a20 {p376 p205 p240 p96 p472 p17 p555 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p395 p52 p277 p510 p283 p326 p517 p405 p407 p248 p410 p77 p484 p80 p115 p533 p487 p488 p88 }) ({p91 p21 } a20 {p91 p52 }) ({p31 } a49 {p9 }) ({p290 p103 p164 p200 p311 p21 p218 p125 p89 p249 } a20 {p293 p52 p104 p166 p203 p98 p496 p339 p88 p124 p47 }) ({p506 p468 p167 p457 p21 } a20 {p505 p410 p128 p52 p234 p17 p172 p174 }) ({p531 p516 p21 p242 } a20 {p371 p52 p539 p242 }) ({p531 p516 p21 p236 } a20 {p371 p52 p539 p242 p235 }) ({p180 p387 p34 p187 p472 p169 p488 p503 p502 p407 p348 } a51 {p467 p180 p388 p187 p169 p488 p23 p475 p375 p502 p407 }) ({p272 p569 p136 p17 p20 p21 p403 p432 p410 p77 p484 p80 p186 p530 p259 p130 p487 p563 p488 p88 } a20 {p455 p570 p52 p17 p20 p247 p401 p108 p432 p410 p328 p77 p484 p80 p530 p487 p488 p389 p192 p88 p235 p269 p135 }) ({p272 p569 p17 p21 p403 p432 p410 p77 p484 p80 p186 p259 p487 p563 p488 p88 p135 } a20 {p455 p570 p52 p17 p247 p401 p432 p410 p328 p77 p484 p80 p487 p488 p192 p389 p88 p235 p269 p135 }) ({p119 p12 p138 p269 } a31 {p273 p277 p259 p250 p46 }) ({p79 p422 p58 p21 p544 } a20 {p52 p420 p80 p492 p537 p447 }) ({p455 p277 p240 p514 p12 p17 p24 p405 p432 p407 p410 p77 p484 p387 p80 p487 p488 p534 p88 p235 } a31 {p362 p237 p569 p277 p17 p24 p405 p432 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 p46 }) ({p495 p21 p340 } a20 {p52 p496 p347 p339 p542 }) ({p337 p505 p420 p350 p472 p12 p247 p288 p108 p253 p433 p432 p411 p328 p77 p484 p80 p487 p488 p357 p389 p449 p88 p271 } a31 {p467 p272 p136 p280 p419 p424 p287 p288 p403 p368 p432 p352 p254 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p166 p203 p313 p12 p339 p221 p293 p439 p485 p345 p98 p496 p261 p88 p47 } a31 {p103 p311 p168 p207 p218 p125 p126 p294 p497 p88 p541 p101 p270 p46 }) ({p467 p151 p419 p424 p318 p474 p17 p217 p321 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p406 p77 p484 p80 p487 p488 p301 p88 p577 } a20 {p151 p421 p472 p317 p17 p427 p321 p219 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p326 p174 p411 p77 p484 p80 p487 p234 p488 p304 p88 p578 }) ({p273 p462 p34 p488 p86 p159 p494 p574 } a51 {p119 p461 p73 p488 p42 p23 }) ({p548 p506 p2 p167 p424 p19 p21 p406 p432 p433 p77 p484 p527 p80 p487 p488 p88 p577 p451 p271 } a20 {p505 p550 p52 p204 p427 p172 p22 p174 p432 p433 p411 p128 p77 p484 p527 p80 p487 p234 p488 p449 p88 p271 p578 }) ({p237 p7 p205 p472 p17 p241 p382 p21 p432 p29 p438 p445 p263 p568 p274 p277 p110 p405 p407 p410 p77 p484 p80 p114 p487 p533 p488 p88 p540 p375 } a20 {p376 p205 p240 p96 p472 p17 p216 p26 p432 p387 p444 p564 p568 p395 p52 p277 p283 p405 p407 p248 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 }) ({p179 p103 p551 p129 p21 p125 p89 p249 } a20 {p309 p52 p104 p98 p496 p339 p88 p124 p220 p545 p47 }) ({p464 p34 p373 p488 p447 p391 p490 p431 p232 } a51 {p463 p422 p488 p23 p490 p431 p544 }) ({p377 p12 p474 } a31 {p474 p243 p383 p46 }) ({p454 p186 p21 p403 p138 } a20 {p568 p328 p277 p52 p192 p389 p401 p235 }) ({p3 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p156 p387 p444 p260 p323 p357 p389 p337 p455 p283 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p314 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p199 p153 p421 p12 p320 p17 p555 p20 p427 p219 p432 p353 p440 p255 p562 p227 p359 p452 p278 p570 p510 p279 p326 p513 p174 p181 p77 p484 p80 p144 p533 p487 p535 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p312 p423 p318 p474 p17 p556 p430 p222 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p515 p406 p183 p77 p484 p80 p532 p145 p487 p488 p194 p88 p306 }) ({p461 p73 p12 p488 p88 p416 p327 } a31 {p180 p488 p88 p267 p159 p494 p574 p46 }) ({p468 p439 p12 p22 p155 } a31 {p2 p17 p270 p432 p46 }) ({p17 p21 p383 p222 p432 p384 p354 p562 p226 p361 p568 p277 p570 p512 p405 p407 p410 p77 p484 p80 p533 p487 p488 p538 p88 p540 } a20 {p17 p383 p432 p384 p562 p227 p359 p568 p52 p277 p570 p514 p571 p230 p405 p407 p410 p77 p484 p80 p533 p487 p535 p488 p88 p540 }) ({p462 p12 p351 p479 p401 p269 p415 } a31 {p178 p442 p167 p259 p487 p366 p250 p134 p46 }) ({p178 p34 p487 p366 p446 p266 p416 p327 } a51 {p180 p488 p479 p116 p573 p267 p23 p415 }) ({p376 p568 p395 p277 p12 p17 p474 p216 p405 p432 p407 p248 p410 p77 p484 p80 p114 p487 p564 p488 p534 p88 } a31 {p568 p274 p277 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p114 p445 p487 p488 p534 p88 p46 }) ({p568 p506 p277 p510 p12 p17 p243 p405 p432 p407 p410 p77 p484 p80 p487 p535 p488 p534 p88 } a31 {p568 p506 p277 p338 p512 p474 p17 p243 p405 p432 p407 p410 p77 p484 p80 p487 p488 p534 p88 p46 }) ({p12 p475 p232 p432 p407 p409 p77 p484 p80 p487 p373 p488 p466 p88 } a31 {p369 p432 p407 p463 p77 p484 p80 p322 p487 p488 p194 p88 p503 p336 p46 }) ({p505 p53 p420 p12 p172 p22 p368 p253 p432 p411 p484 p487 p488 p537 p449 p88 p271 } a31 {p548 p2 p424 p287 p368 p432 p254 p75 p464 p484 p487 p488 p88 p577 p490 p46 }) ({p209 p210 p14 p17 p21 p123 p22 p124 p383 p384 p387 p388 p261 p134 p269 p335 p275 p277 p405 p407 p409 p73 p461 p410 p462 p411 p77 p528 p80 p533 p535 p86 p536 p347 p88 p539 p540 p542 p472 p242 p431 p475 p432 p439 p447 p359 p567 p568 p570 p366 p484 p487 p488 } a20 {p209 p210 p14 p17 p123 p22 p124 p383 p384 p387 p388 p261 p134 p269 p335 p275 p52 p277 p405 p407 p409 p73 p461 p410 p462 p411 p77 p528 p80 p533 p535 p86 p536 p347 p88 p539 p540 p542 p472 p242 p431 p475 p432 p439 p447 p359 p567 p568 p570 p366 p484 p487 p488 }) ({p467 p237 p7 p554 p474 p17 p217 p241 p382 p21 p432 p352 p29 p438 p330 p445 p358 p334 p568 p277 p283 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p555 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p568 p395 p52 p277 p510 p326 p283 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p151 p420 p553 p350 p472 p317 p12 p212 p321 p253 p433 p432 p328 p357 p389 p449 p271 p337 p505 p247 p176 p108 p141 p411 p77 p484 p80 p529 p299 p487 p488 p300 p88 } a31 {p467 p150 p419 p554 p424 p319 p217 p432 p352 p254 p330 p46 p272 p136 p280 p287 p288 p403 p368 p177 p77 p143 p464 p484 p80 p529 p487 p488 p301 p303 p88 p577 }) ({p71 } a29 {p12 }) ({p505 p547 p53 p420 p350 p317 p12 p319 p172 p22 p253 p433 p432 p411 p484 p299 p487 p488 p537 p449 p88 p271 } a31 {p548 p547 p2 p419 p424 p287 p319 p288 p368 p432 p254 p75 p464 p484 p487 p488 p301 p88 p577 p490 p46 }) ({p151 p420 p350 p317 p12 p321 p22 p253 p433 p432 p449 p271 p504 p505 p53 p172 p176 p141 p411 p527 p484 p299 p487 p488 p300 p537 p88 } a31 {p150 p548 p547 p2 p419 p424 p319 p432 p254 p46 p507 p287 p288 p368 p177 p75 p143 p464 p484 p487 p488 p301 p303 p88 p577 p490 }) ({p568 p237 p277 p472 p17 p241 p382 p21 p26 p405 p432 p407 p410 p77 p484 p80 p487 p533 p488 p88 p540 p375 } a20 {p376 p568 p52 p277 p240 p472 p17 p216 p26 p405 p432 p407 p410 p77 p484 p387 p80 p487 p533 p488 p88 p540 }) ({p66 } a14 {p33 }) ({p387 p12 p516 p236 } a31 {p362 p186 p539 p242 p375 p46 }) ({p467 p152 p419 p554 p424 p318 p474 p17 p217 p321 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p406 p77 p143 p484 p80 p487 p488 p301 p88 p577 } a20 {p151 p421 p472 p317 p17 p555 p427 p321 p219 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p326 p174 p411 p77 p484 p80 p144 p487 p234 p488 p304 p88 p578 }) ({p178 p468 p167 p486 p21 p155 } a20 {p128 p52 p485 p478 p17 p172 p414 p432 }) ({p550 p204 p316 p478 p12 p170 p286 p401 p367 p462 p128 p527 p413 p295 p332 p88 p414 p149 p269 p504 p135 } a31 {p507 p547 p552 p363 p167 p208 p315 p173 p19 p250 p140 p178 p435 p442 p296 p259 p130 p486 p298 p346 p88 p46 }) ({p546 p316 p478 p12 p170 p286 p367 p573 p462 p413 p295 p86 p332 p499 p116 p191 p88 p414 p149 } a31 {p363 p315 p173 p250 p140 p178 p435 p224 p442 p296 p486 p298 p346 p266 p88 p501 p42 p543 p46 }) ({p337 p272 p568 p569 p277 p240 p397 p472 p12 p17 p403 p405 p432 p407 p410 p328 p77 p484 p387 p80 p487 p488 p88 p235 } a31 {p467 p272 p568 p237 p569 p277 p397 p17 p403 p405 p432 p407 p410 p77 p484 p80 p186 p330 p487 p488 p88 p375 p46 }) ({p446 p21 } a20 {p52 p442 p488 }) ({p387 p329 p472 p12 p390 p236 } a31 {p467 p280 p186 p242 p194 p375 p335 p405 p46 }) ({p12 p17 p382 p383 p125 p127 p384 p385 p266 p267 p502 p272 p273 p506 p277 p397 p403 p405 p407 p410 p75 p77 p463 p79 p464 p528 p80 p531 p534 p538 p88 p539 p309 p473 p474 p432 p158 p361 p568 p103 p167 p105 p169 p178 p180 p484 p186 p187 p487 p488 } a31 {p202 p17 p382 p383 p125 p127 p384 p385 p266 p267 p502 p46 p272 p273 p506 p277 p397 p403 p405 p407 p410 p75 p77 p463 p79 p464 p528 p80 p531 p534 p538 p88 p539 p545 p309 p473 p474 p432 p361 p568 p103 p167 p105 p169 p178 p180 p484 p186 p187 p487 p488 }) ({p439 p53 p311 p485 p345 p12 p172 p537 p22 p339 p88 } a31 {p548 p75 p2 p311 p88 p101 p490 p125 p270 p46 }) ({p439 p485 p345 p98 p496 p12 p261 p339 p88 p218 p47 } a31 {p103 p497 p88 p541 p218 p101 p125 p126 p270 p46 }) ({p30 } a48 {p32 }) ({p91 p162 p98 p496 p12 p86 p116 p573 p124 } a31 {p290 p103 p164 p105 p497 p266 p88 p42 p46 }) ({p83 p27 } a37 {p28 p56 p84 }) ({p376 p568 p277 p510 p326 p12 p17 p216 p405 p432 p407 p29 p410 p77 p484 p80 p487 p535 p488 p534 p358 p88 } a31 {p474 p17 p241 p382 p243 p432 p29 p358 p334 p46 p568 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p28 } a47 {p34 }) ({p17 p21 p383 p556 p222 p432 p384 p354 p561 p226 p361 p568 p277 p570 p512 p405 p407 p410 p77 p484 p80 p533 p487 p488 p538 p88 p540 } a20 {p17 p383 p432 p384 p562 p227 p359 p568 p52 p277 p570 p398 p514 p571 p230 p405 p407 p410 p77 p484 p80 p533 p487 p535 p488 p88 p540 }) ({p487 p351 p21 p415 } a20 {p128 p52 p487 p366 p414 p134 }) ({p491 p12 p14 p391 p431 p229 } a31 {p127 p77 p142 p360 p490 p252 p46 }) ({p546 p363 p316 p287 p288 p21 p250 p368 p432 p75 p464 p484 p296 p487 p488 p88 p42 } a20 {p546 p53 p52 p420 p350 p316 p286 p367 p253 p432 p462 p484 p299 p487 p488 p86 p537 p88 }) ({p376 p568 p395 p277 p206 p96 p12 p17 p474 p216 p405 p432 p407 p248 p410 p77 p484 p80 p487 p564 p488 p534 p88 } a31 {p568 p274 p277 p206 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p114 p445 p487 p488 p534 p88 p46 }) ({p568 p277 p17 p21 p475 p405 p432 p407 p410 p384 p77 p484 p80 p487 p488 p88 p348 } a20 {p568 p52 p277 p17 p475 p405 p432 p407 p410 p77 p484 p80 p388 p487 p488 p244 p88 }) ({p272 p0 p569 p136 p208 p17 p21 p24 p403 p432 p410 p77 p484 p80 p186 p530 p259 p130 p487 p563 p488 p88 p452 } a20 {p3 p212 p17 p20 p432 p328 p389 p269 p135 p452 p455 p570 p52 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p180 p412 p488 p88 p21 p576 p267 p360 } a20 {p52 p446 p88 p540 p431 p416 p327 }) ({p376 p12 p17 p216 p219 p432 p353 p445 p227 p564 p359 p568 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p535 p488 p534 p88 } a31 {p474 p17 p241 p382 p243 p222 p432 p29 p354 p445 p358 p334 p46 p568 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p568 p277 p12 p17 p474 p405 p432 p407 p410 p77 p484 p80 p487 p488 p245 p88 } a31 {p568 p277 p17 p474 p243 p405 p432 p407 p410 p385 p77 p484 p80 p487 p488 p88 p46 }) ({p505 p410 p180 p142 p322 p34 p488 p17 p172 p369 p252 } a51 {p409 p468 p180 p14 p488 p457 p23 }) ({p127 p549 p412 p77 p88 p21 p574 p160 } a20 {p73 p52 p491 p123 p88 p540 p391 p545 p229 }) ({p46 } a33 {p63 }) ({p119 p277 p12 } a31 {p273 p277 p250 p46 }) ({p439 p495 p485 p12 p261 p540 p340 p47 } a31 {p412 p347 p541 p542 p125 p126 p270 p46 }) ({p467 p237 p7 p474 p17 p217 p241 p382 p21 p432 p352 p29 p330 p444 p358 p334 p568 p277 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p568 p52 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p370 p187 p12 } a31 {p362 p528 p187 p46 }) ({p329 p397 p21 p390 p236 } a20 {p291 p328 p52 p242 p235 p335 p405 }) ({p162 p495 p12 p86 p116 p540 p573 p124 p109 } a31 {p290 p164 p412 p105 p266 p42 p542 p46 }) ({p3 p455 p277 p281 p240 p12 p514 p17 p26 p405 p434 p432 p407 p410 p77 p484 p387 p80 p444 p487 p488 p534 p88 p235 } a31 {p237 p7 p17 p24 p432 p438 p46 p453 p362 p569 p277 p281 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p153 p312 p421 p12 p320 p17 p555 p20 p427 p219 p432 p353 p440 p255 p562 p227 p359 p452 p278 p570 p510 p326 p174 p77 p484 p80 p144 p487 p535 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p312 p423 p318 p474 p17 p556 p430 p222 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p406 p77 p484 p80 p145 p487 p488 p194 p88 p306 }) ({p150 p547 p363 p287 p319 p173 p288 p21 p250 p368 p432 p140 p75 p464 p484 p296 p298 p487 p488 p88 p501 p42 } a20 {p546 p53 p52 p420 p350 p316 p286 p367 p176 p253 p432 p141 p462 p484 p299 p487 p488 p300 p86 p537 p88 p149 p504 }) ({p377 p385 p21 } a20 {p52 p245 p383 }) ({p0 p201 p314 p154 p423 p17 p21 p556 p24 p430 p222 p432 p437 p354 p561 p257 p226 p563 p361 p453 p569 p277 p281 p512 p515 p405 p407 p410 p183 p77 p484 p80 p186 p145 p487 p534 p488 p538 p88 p306 } a20 {p199 p3 p153 p320 p17 p20 p434 p432 p440 p156 p562 p260 p323 p227 p359 p452 p278 p455 p570 p52 p277 p398 p514 p571 p230 p517 p107 p405 p407 p410 p77 p484 p185 p80 p533 p487 p535 p488 p192 p88 p235 }) ({p505 p411 p280 p329 p422 p472 p12 } a31 {p467 p280 p464 p447 p194 p577 p335 p46 }) ({p290 p75 p164 p412 p311 p88 p21 p42 p125 } a20 {p293 p53 p52 p166 p86 p537 p339 p88 p540 p124 }) ({p12 p401 p367 p432 p435 p462 p128 p77 p484 p80 p486 p487 p488 p489 p88 p414 p269 p135 } a31 {p363 p167 p250 p432 p178 p435 p77 p484 p80 p259 p130 p486 p487 p488 p489 p88 p46 }) ({p152 p312 p421 p12 p320 p17 p20 p427 p219 p432 p353 p440 p255 p227 p359 p452 p278 p570 p510 p326 p174 p77 p484 p80 p487 p535 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p312 p423 p318 p474 p17 p430 p222 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p406 p77 p484 p80 p487 p488 p194 p88 p306 }) ({p329 p422 p21 p405 } a20 {p328 p52 p420 p447 p335 p405 }) ({p568 p277 p570 p512 p17 p21 p383 p405 p432 p407 p410 p384 p77 p354 p484 p80 p533 p487 p227 p488 p538 p88 p540 p361 } a20 {p568 p52 p277 p570 p514 p17 p230 p383 p405 p432 p407 p410 p384 p77 p484 p80 p533 p487 p227 p535 p488 p359 p88 p540 }) ({p237 p7 p472 p17 p241 p382 p21 p432 p29 p438 p445 p263 p568 p274 p277 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p387 p444 p564 p568 p395 p52 p277 p283 p405 p407 p248 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 }) ({p186 p12 p516 } a31 {p362 p186 p539 p46 }) ({p127 p549 p21 p89 p118 p160 } a20 {p52 p123 p88 p251 p545 p229 }) ({p473 p17 p21 p369 p432 p77 p484 p80 p322 p487 p488 p88 p503 p502 } a20 {p508 p52 p171 p17 p475 p432 p409 p341 p77 p484 p80 p233 p487 p488 p88 }) ({p9 } a42 {p74 }) ({p487 p21 p134 p415 } a20 {p52 p487 p366 p414 p134 }) ({p0 p552 p208 p17 p21 p24 p430 p432 p259 p130 p563 p453 p272 p569 p136 p278 p403 p410 p77 p484 p80 p186 p530 p487 p488 p88 } a20 {p3 p553 p212 p17 p20 p434 p432 p328 p389 p269 p452 p135 p455 p570 p52 p278 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p370 p186 p34 p242 p539 p45 } a51 {p528 p187 p516 p23 p236 }) ({p178 p386 p167 p34 p488 p366 p519 p431 p134 p416 } a51 {p180 p169 p488 p351 p23 p431 p415 }) ({p0 p423 p17 p320 p21 p24 p430 p432 p437 p354 p257 p563 p361 p453 p569 p277 p281 p512 p405 p407 p410 p77 p484 p80 p186 p487 p533 p488 p538 p88 } a20 {p3 p17 p320 p20 p434 p432 p440 p260 p323 p359 p452 p278 p455 p570 p52 p277 p514 p230 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p65 } a8 {p60 }) ({p68 } a30 {p36 }) ({p178 p435 p412 p486 p266 p88 p21 p541 p126 p270 } a20 {p439 p52 p413 p485 p478 p261 p116 p88 p573 p414 p540 }) ({p547 p550 p204 p316 p478 p12 p170 p286 p401 p367 p462 p128 p413 p295 p332 p88 p414 p149 p269 p135 } a31 {p547 p552 p363 p167 p208 p315 p173 p19 p250 p140 p178 p435 p442 p296 p259 p130 p486 p298 p346 p88 p46 }) ({p409 p341 p506 p508 p34 p233 p488 p14 p474 p171 p431 } a51 {p409 p510 p234 p473 p488 p14 p174 p23 p502 p431 }) ({p546 p548 p2 p167 p168 p315 p19 p21 p178 p435 p294 p486 p346 p88 p101 p270 } a20 {p546 p550 p52 p204 p313 p478 p170 p172 p22 p439 p128 p413 p295 p485 p345 p332 p88 p414 }) ({p76 } a11 {p40 }) ({p491 p21 } a20 {p52 p77 p490 }) ({p550 p204 p421 p12 p318 p20 p427 p432 p440 p255 p128 p269 p452 p135 p278 p570 p174 p401 p77 p484 p80 p529 p487 p234 p488 p192 p88 p578 } a31 {p0 p552 p208 p423 p318 p19 p430 p432 p436 p257 p259 p130 p563 p451 p46 p506 p276 p167 p406 p77 p484 p80 p529 p487 p488 p88 }) ({p3 p154 p240 p12 p17 p26 p434 p432 p156 p387 p444 p260 p323 p455 p277 p283 p514 p571 p230 p405 p407 p410 p77 p484 p80 p487 p488 p534 p88 p235 } a31 {p237 p7 p314 p154 p17 p24 p432 p438 p437 p226 p263 p361 p46 p453 p362 p569 p277 p281 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p272 p136 p363 p208 p316 p287 p21 p288 p250 p403 p368 p432 p77 p464 p484 p80 p296 p259 p130 p487 p488 p88 p149 } a20 {p420 p350 p316 p212 p253 p432 p328 p389 p269 p135 p52 p286 p247 p401 p367 p108 p462 p77 p484 p80 p299 p487 p488 p88 p149 }) ({p41 } a0 {p5 }) ({p275 p12 p519 p432 p461 p77 p484 p386 p80 p487 p488 p88 p416 } a31 {p169 p137 p494 p432 p180 p77 p484 p80 p465 p487 p488 p88 p159 p46 }) ({p278 p570 p510 p326 p12 p17 p20 p427 p174 p432 p436 p255 p77 p484 p80 p487 p535 p234 p488 p192 p88 p452 p578 } a31 {p0 p506 p276 p338 p512 p474 p17 p430 p432 p406 p436 p77 p484 p257 p80 p487 p563 p488 p194 p88 p334 p451 p46 }) ({p337 p505 p272 p420 p472 p12 p368 p432 p411 p328 p77 p484 p80 p487 p488 p389 p449 p88 } a31 {p467 p272 p280 p424 p403 p368 p432 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p77 p34 p347 p391 p125 p229 } a51 {p127 p77 p23 p340 p544 }) ({p485 p34 p261 p576 p360 p432 } a51 {p541 p155 p23 p431 p126 }) ({p505 p411 p422 p58 p12 p172 p22 p544 } a31 {p2 p464 p80 p447 p577 p490 p46 }) ({p508 p12 p171 p17 p432 p341 p410 p77 p484 p80 p233 p487 p488 p536 p88 p567 } a31 {p338 p477 p473 p17 p432 p410 p77 p484 p80 p146 p487 p488 p88 p502 p46 }) ({p12 p88 p540 p431 p251 p229 } a31 {p127 p412 p88 p576 p360 p46 }) ({p462 p128 p12 p401 p367 p448 p88 p414 p269 p432 p135 } a31 {p178 p363 p442 p167 p259 p130 p489 p88 p250 p432 p46 }) ({p467 p152 p419 p312 p554 p424 p318 p474 p17 p217 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p177 p406 p77 p143 p484 p80 p530 p487 p488 p301 p303 p88 p577 } a20 {p151 p421 p472 p317 p17 p555 p427 p321 p219 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p279 p326 p174 p181 p411 p77 p484 p80 p144 p530 p487 p234 p488 p304 p88 p578 }) ({p370 p388 p12 p45 } a31 {p362 p528 p187 p348 p46 }) ({p162 p496 p12 p86 p116 p88 p573 p124 p109 } a31 {p290 p164 p105 p497 p266 p88 p42 p46 }) ({p3 p201 p240 p12 p17 p26 p434 p432 p156 p387 p444 p260 p323 p455 p277 p283 p398 p514 p571 p230 p107 p405 p407 p410 p77 p484 p80 p115 p487 p488 p534 p88 p235 } a31 {p237 p201 p7 p314 p154 p17 p24 p432 p438 p437 p561 p226 p263 p361 p46 p453 p362 p569 p277 p281 p110 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p388 p12 p466 p45 p475 p289 } a31 {p280 p187 p194 p503 p348 p336 p46 p407 }) ({p548 p506 p276 p2 p419 p167 p317 p424 p19 p21 p432 p406 p436 p254 p77 p484 p527 p80 p487 p488 p88 p577 p451 } a20 {p550 p204 p421 p317 p427 p22 p433 p432 p255 p128 p449 p271 p505 p52 p172 p174 p411 p77 p484 p527 p80 p487 p234 p488 p88 p578 }) ({p12 p14 p232 p432 p409 p77 p484 p80 p487 p373 p488 p88 p391 } a31 {p369 p252 p432 p463 p77 p142 p484 p80 p322 p487 p488 p88 p46 }) ({p464 p34 p373 p488 p447 p466 p335 p431 p232 p407 } a51 {p463 p329 p422 p488 p23 p431 p336 p407 }) ({p506 p2 p167 p19 p21 p406 p432 p433 p77 p484 p527 p80 p487 p488 p88 p449 p577 } a20 {p505 p52 p204 p172 p174 p22 p432 p433 p411 p128 p77 p484 p527 p80 p487 p234 p488 p88 p449 p578 }) ({p505 p420 p12 p172 p22 p368 p432 p411 p75 p77 p484 p79 p80 p487 p488 p537 p449 p88 } a31 {p548 p2 p424 p368 p432 p75 p77 p464 p484 p79 p80 p487 p488 p88 p577 p46 }) ({p570 p510 p12 p17 p174 p432 p406 p410 p77 p484 p80 p487 p535 p234 p488 p192 p88 } a31 {p506 p338 p512 p474 p17 p432 p406 p410 p77 p484 p80 p487 p563 p488 p88 p46 }) ({p3 p314 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p387 p444 p260 p323 p357 p389 p337 p455 p283 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p314 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p3 p240 p12 p17 p26 p434 p432 p437 p387 p444 p260 p455 p277 p283 p514 p405 p407 p410 p77 p484 p80 p487 p488 p534 p88 p235 } a31 {p237 p7 p17 p24 p432 p438 p437 p263 p46 p453 p362 p569 p277 p281 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p0 p199 p552 p314 p154 p208 p423 p17 p21 p24 p430 p432 p437 p257 p259 p130 p563 p453 p272 p569 p136 p281 p511 p403 p410 p77 p484 p80 p186 p532 p145 p487 p488 p88 p306 } a20 {p199 p3 p153 p553 p212 p320 p17 p20 p434 p432 p440 p328 p156 p260 p323 p389 p269 p452 p135 p278 p455 p570 p52 p513 p247 p107 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p237 p7 p206 p17 p241 p382 p21 p432 p29 p438 p445 p263 p274 p277 p110 p405 p407 p410 p412 p77 p484 p80 p114 p188 p487 p488 p88 p375 } a20 {p376 p205 p240 p96 p17 p216 p26 p432 p387 p444 p564 p395 p52 p277 p283 p405 p407 p248 p410 p77 p484 p80 p115 p487 p190 p488 p88 p540 }) ({p12 p89 p220 } a31 {p89 p220 p46 }) ({p104 p34 p220 p161 p90 } a51 {p162 p129 p23 p408 }) ({p142 p485 p34 p17 p172 p360 p252 p432 } a51 {p468 p14 p155 p23 p431 }) ({p463 p77 p484 p487 p488 p21 p88 p494 p159 p574 p432 } a20 {p461 p73 p52 p484 p491 p487 p373 p488 p88 p391 p232 p432 }) ({p376 p568 p277 p510 p326 p12 p17 p216 p405 p432 p407 p29 p410 p353 p77 p484 p80 p487 p535 p488 p534 p359 p88 } a31 {p474 p17 p241 p382 p243 p432 p29 p354 p358 p334 p46 p568 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p337 p455 p240 p472 p12 p17 p247 p24 p108 p432 p410 p328 p77 p484 p387 p80 p532 p487 p488 p357 p389 p88 p235 } a31 {p467 p272 p237 p569 p136 p280 p17 p24 p403 p432 p352 p410 p77 p484 p80 p186 p330 p532 p487 p488 p88 p375 p46 }) ({p351 p479 p489 p21 p415 } a20 {p128 p52 p487 p366 p448 p414 p134 }) ({p337 p505 p272 p280 p420 p472 p12 p432 p411 p328 p77 p484 p80 p487 p488 p449 p88 } a31 {p467 p272 p280 p424 p432 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p0 p552 p208 p17 p21 p24 p430 p432 p440 p257 p259 p130 p563 p453 p272 p569 p136 p281 p403 p410 p77 p484 p80 p186 p530 p487 p488 p88 } a20 {p3 p553 p212 p17 p20 p434 p432 p440 p328 p260 p389 p269 p452 p135 p278 p455 p570 p52 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p69 } a9 {p65 }) ({p74 } a10 {p57 }) ({p12 p123 p161 p90 } a31 {p549 p105 p89 p118 p160 p46 }) ({p487 p351 p366 p21 } a20 {p128 p52 p487 p366 p134 }) ({p151 p420 p553 p350 p472 p317 p12 p212 p319 p253 p433 p432 p328 p357 p389 p449 p271 p337 p505 p247 p108 p141 p411 p77 p484 p80 p299 p487 p488 p88 } a31 {p467 p150 p419 p554 p424 p319 p217 p432 p352 p254 p330 p46 p272 p136 p280 p287 p288 p403 p368 p77 p143 p464 p484 p80 p487 p488 p301 p88 p577 }) ({p439 p485 p58 p12 p172 p22 p340 p544 } a31 {p2 p80 p347 p490 p125 p270 p46 }) ({p568 p180 p477 p34 p146 p169 p535 p488 p192 p502 p407 } a51 {p180 p454 p512 p169 p488 p536 p23 p502 p407 p567 }) ({p508 p275 p14 p474 p431 p407 p409 p341 p384 p34 p488 p502 p567 } a51 {p409 p275 p384 p510 p473 p14 p488 p23 p431 p502 p407 p567 }) ({p568 p277 p514 p12 p571 p230 p17 p383 p405 p432 p407 p410 p384 p77 p561 p484 p80 p186 p487 p534 p488 p88 } a31 {p568 p362 p277 p17 p383 p405 p432 p407 p410 p384 p77 p561 p484 p80 p186 p226 p487 p534 p488 p538 p88 p361 p46 }) ({p505 p411 p80 p422 p12 p172 p22 p544 } a31 {p2 p464 p80 p447 p577 p46 }) ({p550 p204 p315 p478 p12 p286 p401 p367 p462 p128 p413 p332 p88 p414 p149 p269 p135 } a31 {p552 p363 p167 p208 p315 p19 p250 p140 p178 p435 p442 p296 p259 p130 p486 p346 p88 p46 }) ({p63 } a34 {p59 }) ({p119 p464 p21 p403 p138 } a20 {p273 p462 p328 p277 p52 p420 p389 p401 }) ({p570 p12 p487 p234 p351 p192 p174 p401 p269 } a31 {p506 p167 p259 p487 p563 p134 p46 }) ({p75 p464 p484 p487 p287 p488 p21 p367 p88 p250 p42 p432 } a20 {p53 p52 p420 p367 p253 p432 p462 p484 p487 p488 p86 p537 p88 }) ({p179 p551 p12 p88 } a31 {p290 p309 p164 p88 p46 }) ({p329 p21 p405 p236 } a20 {p328 p52 p242 p235 p335 p405 }) ({p56 } a25 {p82 }) ({p548 p547 p2 p167 p168 p315 p19 p21 p178 p435 p294 p486 p346 p88 p501 p101 p270 } a20 {p546 p550 p52 p204 p313 p478 p170 p172 p22 p439 p128 p413 p295 p485 p345 p332 p88 p414 p504 }) ({p0 p569 p277 p512 p17 p21 p24 p405 p432 p407 p410 p77 p484 p80 p186 p487 p533 p563 p488 p538 p88 p452 } a20 {p3 p455 p570 p52 p277 p514 p17 p20 p405 p432 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 p452 }) ({p337 p277 p240 p472 p12 p17 p432 p291 p410 p328 p77 p484 p387 p80 p487 p488 p88 p235 } a31 {p467 p237 p277 p280 p397 p17 p432 p410 p77 p484 p80 p186 p330 p487 p488 p88 p375 p46 }) ({p59 } a35 {p71 }) ({p178 p435 p2 p167 p345 p486 p19 p88 p21 p270 } a20 {p439 p52 p128 p413 p204 p485 p345 p478 p172 p22 p88 p414 }) ({p202 p12 p213 p17 p382 p383 p125 p127 p384 p385 p266 p267 p502 p272 p273 p506 p277 p397 p403 p405 p407 p410 p75 p77 p463 p79 p464 p528 p80 p531 p534 p538 p88 p539 p309 p473 p474 p432 p361 p568 p103 p167 p105 p169 p178 p180 p484 p186 p187 p487 p488 } a31 {p202 p213 p17 p382 p383 p125 p127 p384 p385 p266 p267 p502 p46 p272 p273 p506 p277 p397 p403 p405 p407 p410 p75 p77 p463 p79 p464 p528 p80 p531 p534 p538 p88 p539 p309 p473 p474 p432 p361 p568 p103 p167 p105 p169 p178 p180 p484 p186 p187 p487 p488 }) ({p150 p552 p208 p319 p21 p250 p432 p259 p130 p272 p136 p363 p287 p173 p288 p403 p368 p140 p77 p464 p484 p527 p80 p296 p298 p487 p488 p88 } a20 {p420 p553 p350 p316 p212 p253 p432 p328 p389 p269 p135 p52 p286 p247 p401 p367 p176 p108 p141 p462 p77 p484 p527 p80 p299 p487 p488 p300 p88 p149 }) ({p275 p14 p242 p431 p407 p409 p528 p186 p34 p488 p45 p567 p336 } a51 {p409 p275 p528 p187 p14 p488 p23 p431 p407 p236 p567 p336 }) ({p570 p510 p12 p17 p20 p174 p432 p436 p77 p484 p80 p487 p535 p234 p488 p192 p88 p334 p578 } a31 {p0 p506 p338 p512 p474 p17 p432 p406 p436 p77 p484 p80 p487 p563 p488 p88 p334 p46 }) ({p461 p275 p386 p12 p446 p519 p416 } a31 {p180 p442 p465 p169 p488 p137 p159 p494 p46 }) ({p202 p209 p472 p474 p22 p382 p23 p124 p383 p125 p439 p385 p387 p261 p266 p359 p269 p361 p505 p272 p103 p506 p570 p104 p167 p397 p172 p401 p403 p405 p178 p75 p462 p411 p79 p464 p80 p485 p186 p531 p487 p533 p534 p535 p86 p192 p538 p539 } a45 {p202 p209 p472 p474 p22 p382 p124 p383 p125 p439 p385 p387 p261 p266 p359 p269 p361 p505 p272 p103 p506 p570 p104 p167 p397 p172 p401 p403 p405 p178 p75 p462 p411 p78 p79 p464 p80 p485 p186 p531 p487 p533 p534 p535 p86 p192 p538 p539 }) ({p439 p492 p485 p345 p12 p537 p172 p22 p339 p88 } a31 {p548 p2 p79 p88 p101 p490 p125 p270 p46 }) ({p479 p489 p21 p134 p415 } a20 {p52 p487 p366 p448 p414 p134 }) ({p119 p75 p464 p21 p42 } a20 {p273 p462 p53 p52 p420 p86 p537 }) ({p467 p237 p7 p554 p474 p17 p217 p241 p382 p21 p432 p352 p29 p438 p330 p445 p263 p358 p334 p568 p274 p277 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p555 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p568 p395 p52 p277 p510 p283 p326 p405 p407 p248 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p3 p205 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p156 p387 p444 p260 p323 p357 p389 p337 p455 p283 p513 p247 p107 p108 p410 p77 p484 p185 p80 p115 p533 p487 p488 p88 p235 } a31 {p467 p237 p201 p7 p314 p154 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p515 p403 p110 p410 p77 p484 p80 p186 p188 p532 p487 p488 p88 p375 }) ({p21 p126 p221 p178 p435 p486 p497 p346 p266 p88 p541 p101 p543 p270 } a20 {p52 p478 p573 p221 p439 p413 p485 p345 p261 p332 p499 p116 p88 p414 }) ({p3 p205 p240 p12 p17 p26 p434 p432 p156 p387 p444 p260 p323 p455 p277 p283 p398 p514 p571 p230 p517 p107 p405 p407 p410 p77 p484 p185 p80 p115 p487 p488 p88 p235 p540 } a31 {p237 p201 p7 p314 p154 p17 p24 p432 p438 p437 p561 p226 p263 p361 p46 p453 p362 p569 p277 p281 p110 p405 p407 p410 p412 p77 p484 p80 p186 p188 p487 p534 p488 p538 p88 p375 }) ({p550 p204 p312 p421 p12 p320 p20 p427 p432 p440 p255 p128 p269 p452 p135 p278 p570 p174 p401 p77 p484 p80 p529 p487 p234 p488 p192 p304 p88 p578 } a31 {p0 p552 p312 p208 p423 p318 p19 p430 p432 p436 p257 p259 p130 p563 p451 p46 p506 p276 p167 p406 p77 p484 p80 p529 p487 p488 p88 p306 }) ({p462 p12 p487 p351 p401 p269 p415 } a31 {p178 p167 p259 p487 p366 p250 p134 p46 }) ({p0 p153 p314 p423 p17 p21 p24 p430 p222 p432 p437 p354 p257 p226 p563 p361 p453 p569 p277 p281 p512 p405 p407 p410 p77 p484 p80 p186 p487 p533 p488 p538 p88 p306 } a20 {p3 p153 p320 p17 p20 p434 p432 p440 p156 p260 p323 p227 p359 p452 p278 p455 p570 p52 p277 p514 p571 p230 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p275 p12 p171 p17 p519 p432 p77 p484 p386 p80 p233 p487 p488 p88 p567 } a31 {p169 p17 p137 p432 p77 p484 p80 p465 p146 p487 p488 p88 p502 p46 }) ({p1 } a21 {p81 }) ({p21 p267 p90 } a20 {p52 p88 p404 p327 }) ({p80 p21 p340 p544 } a20 {p52 p80 p537 p347 p339 }) ({p277 p512 p209 p17 p21 p556 p405 p222 p432 p407 p410 p412 p77 p354 p561 p484 p80 p226 p487 p488 p538 p88 p361 } a20 {p52 p277 p398 p209 p514 p571 p230 p17 p405 p432 p407 p410 p77 p484 p80 p562 p487 p535 p227 p488 p359 p88 p540 }) ({p548 p152 p2 p419 p424 p318 p19 p321 p21 p432 p436 p254 p451 p507 p506 p276 p167 p406 p77 p143 p484 p529 p80 p487 p488 p301 p88 p577 } a20 {p151 p550 p204 p421 p317 p427 p321 p22 p433 p432 p255 p128 p449 p271 p505 p509 p52 p172 p174 p411 p77 p527 p484 p80 p144 p487 p234 p488 p304 p88 p578 }) ({p549 p309 p104 p34 p124 p220 p118 p160 } a51 {p179 p551 p129 p123 p23 p249 }) ({p439 p80 p485 p12 p172 p22 p340 p544 } a31 {p2 p80 p347 p125 p270 p46 }) ({p467 p237 p474 p17 p241 p382 p21 p26 p432 p330 p357 p334 p568 p277 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p387 p357 p337 p568 p52 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p48 } a19 {p1 }) ({p569 p277 p512 p17 p20 p21 p405 p432 p407 p410 p77 p484 p80 p186 p487 p533 p563 p488 p538 p88 } a20 {p455 p570 p52 p277 p514 p17 p20 p405 p432 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p550 p153 p204 p312 p421 p12 p320 p20 p427 p432 p440 p255 p128 p269 p452 p135 p278 p570 p509 p174 p401 p77 p484 p80 p144 p530 p487 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p552 p312 p208 p423 p318 p19 p430 p432 p436 p257 p259 p130 p563 p451 p46 p506 p276 p511 p167 p406 p77 p484 p529 p80 p145 p487 p488 p88 p306 }) ({p272 p136 p363 p287 p286 p21 p250 p403 p368 p432 p77 p464 p484 p80 p259 p130 p487 p488 p88 } a20 {p52 p420 p350 p286 p247 p401 p367 p108 p253 p432 p462 p328 p77 p484 p80 p487 p488 p389 p88 p269 p135 }) ({p151 p420 p350 p317 p12 p319 p22 p253 p433 p432 p449 p271 p504 p505 p53 p172 p141 p411 p527 p484 p299 p487 p488 p537 p88 } a31 {p150 p548 p547 p507 p2 p419 p424 p287 p319 p288 p368 p432 p254 p75 p143 p464 p484 p487 p488 p301 p88 p577 p490 p46 }) ({p204 p478 p12 p286 p401 p367 p462 p128 p413 p346 p88 p414 p269 p135 } a31 {p363 p167 p208 p19 p250 p178 p435 p442 p296 p259 p130 p486 p346 p88 p46 }) ({p21 p289 } a20 {p52 p280 p407 }) ({p34 p347 p542 p251 p125 p229 } a51 {p127 p495 p23 p340 p47 }) ({p179 p551 p129 p12 p89 } a31 {p290 p309 p164 p200 p220 p89 p46 }) ({p168 p315 p207 p21 p126 p178 p435 p224 p294 p486 p497 p346 p266 p88 p541 p101 p543 p270 } a20 {p52 p313 p478 p170 p573 p221 p439 p413 p295 p485 p345 p261 p332 p499 p116 p191 p88 p414 }) ({p276 p570 p510 p326 p12 p17 p20 p427 p174 p432 p436 p77 p484 p80 p487 p535 p234 p488 p192 p88 p578 p452 } a31 {p0 p506 p276 p338 p512 p474 p17 p430 p432 p406 p436 p77 p484 p80 p487 p563 p488 p194 p88 p334 p451 p46 }) ({p435 p462 p478 p12 p86 p116 p367 p88 p414 p573 } a31 {p178 p435 p363 p442 p486 p266 p88 p250 p42 p46 }) ({p198 p78 p484 p210 p213 } a12 {p198 p484 p210 p213 p39 }) ({p462 p12 p86 p479 p116 p573 p415 } a31 {p178 p442 p487 p366 p266 p250 p42 p46 }) ({p53 p166 p313 p12 p172 p22 p339 p293 p439 p485 p345 p537 p88 p543 } a31 {p548 p2 p311 p168 p125 p75 p294 p88 p101 p490 p270 p46 p543 }) ({p40 } a54 {p41 }) ({p178 p34 p488 p366 p266 p416 p327 } a51 {p180 p488 p116 p573 p267 p23 p415 }) ({p439 p485 p345 p12 p537 p172 p22 p339 p88 p490 } a31 {p548 p2 p88 p101 p490 p125 p270 p46 }) ({p550 p204 p12 p20 p427 p432 p436 p255 p128 p269 p452 p135 p278 p570 p174 p401 p77 p484 p80 p529 p487 p234 p488 p192 p88 p578 } a31 {p0 p506 p276 p552 p167 p208 p19 p430 p432 p406 p436 p77 p484 p257 p80 p529 p259 p130 p487 p563 p488 p88 p451 p46 }) ({p546 p478 p12 p286 p367 p573 p462 p224 p413 p86 p332 p499 p116 p88 p414 p149 } a31 {p363 p250 p140 p178 p435 p224 p442 p296 p486 p346 p266 p88 p501 p42 p543 p46 }) ({p17 p21 p137 p407 p432 p410 p77 p484 p80 p187 p465 p146 p487 p488 p88 p336 } a20 {p275 p52 p17 p289 p432 p410 p77 p484 p80 p487 p488 p466 p88 p45 p567 }) ({p505 p410 p180 p322 p34 p472 p488 p169 p503 p369 } a51 {p467 p409 p180 p488 p169 p457 p23 p475 }) ({p71 } a28 {p68 }) ({p548 p2 p419 p424 p318 p19 p321 p21 p432 p436 p254 p451 p506 p276 p167 p406 p77 p484 p527 p80 p487 p488 p301 p88 p577 } a20 {p550 p204 p421 p317 p427 p321 p22 p433 p432 p255 p128 p449 p271 p505 p52 p172 p174 p411 p77 p484 p527 p80 p487 p234 p488 p304 p88 p578 }) ({p461 p73 p12 p446 p416 p327 } a31 {p180 p442 p488 p267 p159 p494 p574 p46 }) ({p0 p201 p314 p154 p423 p17 p21 p556 p24 p430 p222 p432 p437 p354 p561 p257 p226 p563 p361 p453 p569 p277 p281 p512 p405 p407 p410 p183 p77 p484 p80 p186 p145 p487 p533 p488 p538 p88 p306 } a20 {p199 p3 p153 p320 p17 p20 p434 p432 p440 p156 p562 p260 p323 p227 p359 p452 p278 p455 p570 p52 p277 p398 p514 p571 p230 p107 p405 p407 p410 p77 p484 p185 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p568 p277 p477 p17 p21 p383 p405 p407 p432 p410 p384 p77 p528 p484 p80 p487 p488 p88 p567 } a20 {p568 p52 p277 p17 p383 p405 p407 p432 p370 p410 p384 p77 p484 p80 p487 p488 p536 p88 p567 }) ({p370 p21 } a20 {p362 p52 p528 }) ({p12 p473 p244 } a31 {p384 p473 p243 p46 }) ({p363 p287 p286 p21 p250 p368 p432 p75 p464 p484 p487 p488 p88 p42 } a20 {p53 p52 p420 p350 p286 p367 p253 p432 p462 p484 p487 p488 p86 p537 p88 }) ({p376 p568 p274 p395 p277 p12 p17 p474 p216 p405 p432 p407 p410 p77 p484 p80 p487 p564 p488 p534 p88 } a31 {p568 p274 p277 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p445 p487 p488 p534 p88 p46 }) ({p33 } a15 {p44 }) ({p44 } a18 {p21 }) ({p32 } a50 {p76 }) ({p376 p568 p277 p510 p12 p17 p405 p432 p407 p410 p77 p484 p80 p487 p535 p488 p534 p88 p334 } a31 {p568 p277 p338 p512 p474 p17 p382 p243 p405 p432 p407 p410 p77 p484 p80 p487 p488 p534 p88 p334 p46 }) ({p180 p338 p387 p34 p187 p169 p488 p502 p407 p348 } a51 {p180 p338 p388 p187 p169 p488 p23 p375 p502 p407 }) ({p464 p34 p373 p447 p466 p335 p405 p232 p289 } a51 {p463 p329 p422 p390 p23 p336 p407 }) ({p362 p275 p338 p14 p169 p243 p431 p407 p409 p180 p34 p187 p488 p502 p567 } a51 {p362 p275 p338 p14 p169 p243 p23 p431 p407 p409 p180 p187 p488 p502 p567 }) ({p151 p420 p553 p350 p472 p317 p12 p212 p321 p253 p433 p432 p328 p357 p389 p449 p271 p337 p505 p509 p247 p176 p108 p141 p411 p77 p484 p80 p530 p299 p487 p488 p300 p88 } a31 {p467 p150 p419 p554 p424 p319 p217 p432 p352 p254 p330 p46 p272 p136 p280 p511 p287 p288 p403 p368 p177 p77 p143 p464 p484 p529 p80 p487 p488 p301 p303 p88 p577 }) ({p548 p2 p167 p313 p19 p21 p178 p435 p486 p346 p88 p101 p270 } a20 {p550 p52 p204 p313 p478 p172 p22 p439 p128 p413 p485 p345 p332 p88 p414 }) ({p467 p506 p276 p424 p474 p17 p21 p432 p406 p433 p254 p77 p484 p80 p330 p487 p488 p88 p577 p334 p451 } a20 {p337 p505 p52 p510 p326 p472 p17 p427 p174 p432 p433 p411 p255 p77 p484 p80 p487 p234 p488 p449 p88 p271 p578 }) ({p199 p153 p421 p12 p320 p17 p555 p20 p427 p219 p432 p353 p440 p255 p562 p227 p359 p452 p278 p570 p510 p279 p326 p174 p181 p77 p484 p80 p144 p532 p487 p535 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p312 p423 p318 p474 p17 p556 p430 p222 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p406 p183 p77 p484 p80 p532 p145 p487 p488 p194 p88 p306 }) ({p454 p570 p12 p138 p269 } a31 {p568 p277 p259 p563 p46 }) ({p462 p442 p12 p86 p116 p573 p415 } a31 {p178 p442 p366 p266 p250 p42 p46 }) ({p506 p386 p167 p34 p233 p14 p488 p171 p519 p431 p134 } a51 {p234 p169 p488 p14 p351 p174 p23 p502 p431 }) ({p3 p314 p240 p12 p17 p26 p434 p432 p387 p444 p260 p323 p455 p277 p283 p514 p230 p405 p407 p410 p77 p484 p80 p487 p488 p534 p88 p235 } a31 {p237 p7 p314 p17 p24 p432 p438 p437 p263 p361 p46 p453 p362 p569 p277 p281 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p35 } a23 {p37 }) ({p467 p568 p337 p277 p474 p17 p382 p21 p405 p432 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p568 p337 p52 p277 p510 p472 p17 p405 p432 p407 p410 p77 p484 p387 p80 p487 p533 p488 p88 }) ({p77 p12 p14 p88 p391 p431 p229 } a31 {p127 p77 p142 p88 p360 p252 p46 }) ({p376 p568 p277 p12 p17 p474 p216 p405 p432 p407 p410 p77 p484 p80 p445 p487 p564 p488 p534 p88 } a31 {p568 p277 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p445 p487 p488 p534 p88 p46 }) ({p546 p53 p166 p313 p12 p172 p22 p339 p293 p439 p485 p345 p537 p499 p88 } a31 {p548 p2 p311 p168 p125 p75 p294 p88 p501 p101 p490 p543 p270 p46 }) ({p411 p12 p17 p457 } a31 {p410 p17 p577 p46 }) ({p0 p552 p208 p423 p17 p320 p21 p24 p430 p432 p437 p257 p259 p130 p563 p453 p272 p569 p136 p281 p403 p410 p77 p484 p80 p186 p530 p487 p488 p88 } a20 {p3 p553 p212 p17 p320 p20 p434 p432 p440 p328 p260 p323 p389 p269 p452 p135 p278 p455 p570 p52 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p162 p129 p12 p124 p408 } a31 {p290 p164 p200 p105 p220 p89 p249 p46 }) ({p169 p21 p369 p252 p432 p77 p142 p484 p80 p322 p487 p488 p88 p502 } a20 {p52 p14 p171 p519 p432 p409 p77 p484 p386 p80 p233 p487 p488 p88 }) ({p467 p237 p474 p17 p241 p382 p21 p26 p432 p352 p330 p358 p334 p568 p277 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p353 p387 p357 p337 p568 p52 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p568 p569 p277 p240 p12 p514 p17 p405 p432 p407 p410 p77 p484 p387 p80 p487 p488 p534 p88 p235 } a31 {p568 p237 p362 p569 p277 p17 p405 p432 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 p46 }) ({p376 p568 p277 p12 p17 p474 p241 p405 p432 p407 p410 p77 p484 p80 p487 p488 p534 p88 } a31 {p568 p277 p17 p474 p241 p382 p243 p405 p432 p407 p410 p77 p484 p80 p487 p488 p534 p88 p46 }) ({p505 p53 p420 p12 p287 p172 p22 p368 p432 p411 p484 p487 p488 p537 p449 p88 } a31 {p548 p2 p424 p287 p368 p432 p75 p464 p484 p487 p488 p88 p577 p490 p46 }) ({p3 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p387 p444 p357 p389 p337 p455 p281 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p554 p17 p217 p24 p432 p352 p438 p330 p46 p453 p272 p569 p136 p280 p281 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p178 p386 p167 p34 p487 p366 p446 p519 p134 p416 } a51 {p180 p169 p488 p351 p479 p23 p415 }) ({p376 p568 p277 p12 p17 p474 p216 p405 p432 p407 p29 p410 p77 p484 p80 p487 p488 p534 p88 } a31 {p568 p277 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p487 p488 p534 p88 p46 }) ({p409 p491 p12 p14 p373 p391 p232 } a31 {p463 p77 p142 p322 p369 p490 p252 p46 }) ({p150 p420 p350 p472 p317 p12 p212 p319 p253 p433 p432 p328 p357 p389 p449 p271 p337 p505 p247 p108 p411 p77 p484 p80 p299 p487 p488 p88 } a31 {p467 p150 p419 p424 p319 p217 p432 p352 p254 p330 p46 p272 p136 p280 p287 p288 p403 p368 p77 p464 p484 p80 p487 p488 p301 p88 p577 }) ({p199 p550 p153 p204 p421 p12 p320 p20 p427 p432 p440 p255 p128 p269 p452 p135 p278 p570 p509 p279 p174 p401 p181 p77 p484 p80 p144 p530 p487 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p552 p312 p208 p423 p318 p19 p430 p432 p436 p257 p259 p130 p563 p451 p46 p506 p276 p511 p167 p406 p183 p77 p484 p529 p80 p145 p487 p488 p88 p306 }) ({p568 p277 p240 p12 p17 p405 p432 p407 p371 p410 p77 p484 p387 p80 p487 p488 p88 p235 } a31 {p568 p237 p362 p277 p17 p405 p432 p407 p410 p77 p484 p80 p531 p186 p487 p488 p88 p375 p46 }) ({p150 p547 p363 p316 p287 p288 p21 p250 p368 p432 p140 p75 p464 p484 p296 p487 p488 p88 p501 p42 } a20 {p546 p53 p52 p420 p350 p316 p286 p367 p253 p432 p141 p462 p484 p299 p487 p488 p86 p537 p88 p149 p504 }) ({p568 p277 p240 p472 p17 p382 p21 p405 p432 p407 p410 p77 p484 p80 p487 p533 p488 p88 p540 p375 } a20 {p376 p568 p52 p277 p240 p472 p17 p405 p432 p407 p410 p77 p484 p387 p80 p487 p533 p488 p88 p540 }) ({p80 p422 p21 p544 } a20 {p52 p420 p80 p537 p447 }) ({p337 p136 p455 p240 p472 p12 p17 p247 p432 p410 p328 p77 p484 p387 p80 p487 p488 p389 p88 p235 } a31 {p467 p272 p237 p569 p136 p280 p17 p403 p432 p410 p77 p484 p80 p186 p330 p487 p488 p88 p375 p46 }) ({p8 } a41 {p25 }) ({p435 p462 p442 p12 p86 p116 p367 p88 p414 p573 } a31 {p178 p435 p363 p442 p266 p88 p250 p42 p46 }) ({p275 p14 p242 p431 p407 p409 p186 p34 p488 p466 p45 p335 p567 } a51 {p409 p275 p329 p187 p14 p488 p23 p431 p407 p236 p336 p567 }) ({p3 p240 p472 p12 p212 p17 p26 p432 p328 p387 p357 p389 p337 p453 p455 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p17 p217 p24 p432 p352 p330 p46 p272 p453 p569 p136 p280 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p341 p508 p12 p536 p244 } a31 {p384 p338 p477 p473 p243 p46 }) ({p179 p75 p551 p412 p88 p21 p42 p125 } a20 {p309 p53 p52 p86 p537 p339 p88 p540 p124 p545 }) ({p337 p505 p420 p472 p12 p432 p291 p411 p328 p77 p484 p80 p487 p488 p449 p88 } a31 {p467 p280 p397 p424 p432 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p495 p347 p21 } a20 {p52 p496 p347 p542 }) ({p36 } a32 {p38 }) ({p505 p53 p420 p350 p12 p172 p22 p288 p253 p433 p432 p411 p484 p487 p488 p537 p449 p88 p271 } a31 {p548 p2 p419 p424 p287 p288 p368 p432 p254 p75 p464 p484 p487 p488 p88 p577 p490 p46 }) ({p491 p80 p34 p347 p391 p125 p229 } a51 {p127 p77 p58 p23 p340 p544 }) ({p337 p272 p277 p240 p472 p12 p17 p432 p410 p328 p77 p484 p387 p80 p487 p488 p389 p88 p235 } a31 {p467 p272 p237 p277 p280 p17 p403 p432 p410 p77 p484 p80 p186 p330 p487 p488 p88 p375 p46 }) ({p338 p34 p244 p383 } a51 {p377 p384 p338 p23 }) ({p186 p34 p242 p466 p45 p335 p405 p289 } a51 {p329 p187 p23 p390 p236 p336 p407 }) ({p568 p508 p277 p12 p17 p405 p432 p407 p341 p410 p384 p77 p484 p80 p487 p488 p536 p88 p502 } a31 {p568 p277 p338 p477 p473 p17 p405 p432 p407 p410 p384 p77 p484 p80 p487 p488 p88 p502 p46 }) ({p103 p129 p266 p21 p408 } a20 {p91 p52 p104 p98 p496 p116 p573 p220 }) ({p21 p539 p335 p405 p236 } a20 {p52 p242 p539 p235 p335 p405 }) ({p549 p309 p34 p86 p124 p574 p160 } a51 {p179 p73 p551 p123 p42 p23 }) ({p568 p277 p12 p17 p475 p405 p432 p407 p410 p77 p484 p80 p388 p487 p488 p466 p88 p45 } a31 {p568 p277 p17 p405 p432 p407 p410 p77 p484 p80 p187 p487 p488 p194 p88 p503 p348 p336 p46 }) ({p370 p34 p187 p539 p243 } a51 {p528 p187 p516 p243 p23 }) ({p467 p237 p7 p206 p554 p474 p17 p217 p241 p382 p21 p432 p352 p29 p438 p330 p445 p263 p358 p334 p274 p277 p515 p110 p405 p407 p410 p77 p484 p80 p114 p188 p487 p534 p488 p88 p375 } a20 {p376 p205 p240 p96 p472 p17 p555 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p395 p52 p277 p510 p283 p326 p517 p405 p407 p248 p410 p77 p484 p80 p115 p533 p487 p190 p488 p88 }) ({p376 p12 p17 p555 p216 p219 p432 p353 p562 p227 p564 p359 p568 p395 p277 p510 p326 p405 p407 p248 p410 p77 p484 p80 p487 p535 p488 p534 p88 } a31 {p474 p17 p241 p382 p556 p243 p222 p432 p29 p354 p445 p358 p334 p46 p568 p274 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p273 p180 p462 p277 p34 p465 p488 p401 p137 p494 p159 } a51 {p119 p461 p180 p275 p488 p23 p138 }) ({p37 } a24 {p44 }) ({p453 p0 p569 p277 p278 p512 p17 p21 p24 p430 p405 p432 p407 p410 p77 p484 p80 p186 p487 p533 p563 p488 p538 p88 } a20 {p3 p17 p20 p434 p432 p452 p455 p570 p52 p277 p278 p514 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p178 p412 p486 p266 p21 p541 p155 p126 } a20 {p52 p485 p478 p261 p116 p414 p540 p573 p432 }) ({p387 p329 p472 p12 p405 p236 } a31 {p467 p186 p242 p194 p375 p335 p405 p46 }) ({p467 p419 p317 p424 p474 p17 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p406 p77 p484 p80 p487 p488 p88 p577 } a20 {p421 p472 p317 p17 p427 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p326 p174 p411 p77 p484 p80 p487 p234 p488 p88 p578 }) ({p34 p266 p404 p542 p161 p327 } a51 {p162 p495 p116 p573 p267 p23 p109 }) ({p467 p152 p419 p312 p554 p424 p318 p474 p17 p217 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p511 p177 p406 p77 p143 p484 p80 p532 p487 p488 p301 p303 p88 p577 } a20 {p151 p421 p472 p317 p17 p555 p427 p321 p219 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p279 p326 p513 p174 p181 p411 p77 p484 p80 p144 p530 p487 p234 p488 p304 p88 p578 }) ({p467 p506 p474 p17 p457 p21 } a20 {p505 p410 p52 p510 p472 p234 p17 p174 }) ({p82 } a26 {p71 }) ({p0 p552 p314 p208 p423 p17 p21 p24 p430 p432 p437 p257 p259 p130 p563 p453 p272 p569 p136 p281 p403 p410 p77 p484 p80 p186 p530 p487 p488 p88 p306 } a20 {p3 p553 p212 p320 p17 p20 p434 p432 p440 p328 p156 p260 p323 p389 p269 p452 p135 p278 p455 p570 p52 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p237 p7 p472 p17 p241 p382 p21 p432 p29 p444 p568 p277 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p387 p444 p564 p568 p52 p277 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 }) ({p548 p506 p276 p2 p167 p424 p19 p21 p406 p432 p433 p254 p77 p484 p527 p80 p487 p488 p88 p577 p451 } a20 {p505 p550 p52 p204 p427 p172 p22 p174 p432 p433 p411 p255 p128 p77 p484 p527 p80 p487 p234 p488 p449 p88 p271 p578 }) ({p454 p570 p277 p12 } a31 {p568 p277 p563 p46 }) ({p467 p506 p424 p474 p17 p21 p432 p406 p433 p77 p484 p80 p330 p487 p488 p88 p577 p334 p451 p271 } a20 {p337 p505 p52 p510 p326 p472 p17 p427 p174 p432 p433 p411 p77 p484 p80 p487 p234 p488 p449 p88 p578 p271 }) ({p341 p508 p34 p474 p244 p383 } a51 {p377 p384 p510 p473 p23 }) ({p549 p105 p62 p89 } a7 {p161 p90 p69 }) ({p39 } a52 {p72 }) ({p272 p287 p21 p367 p250 p403 p432 p77 p464 p484 p80 p259 p487 p488 p88 } a20 {p52 p420 p247 p401 p367 p253 p432 p462 p328 p77 p484 p80 p487 p488 p389 p88 p269 }) ({p570 p12 p17 p19 p174 p401 p432 p128 p77 p484 p80 p487 p234 p488 p192 p88 p269 p135 } a31 {p506 p167 p17 p19 p432 p77 p484 p80 p259 p130 p487 p563 p488 p88 p46 }) ({p3 p553 p240 p472 p12 p212 p17 p26 p434 p432 p437 p328 p387 p444 p260 p357 p389 p337 p455 p283 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p377 p510 p12 p535 } a31 {p338 p512 p474 p243 p383 p46 }) ({p439 p12 p17 p155 } a31 {p17 p270 p432 p46 }) ({p464 p491 p80 p34 p373 p447 p391 p232 } a51 {p463 p77 p422 p58 p23 p544 }) ({p79 p58 p21 p340 p544 } a20 {p52 p80 p492 p537 p347 p339 }) ({p568 p277 p12 p514 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p487 p534 p488 p88 p361 } a31 {p568 p362 p277 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p487 p534 p488 p538 p88 p46 p361 }) ({p60 } a6 {p30 }) ({p453 p3 p455 p277 p240 p12 p514 p17 p26 p405 p432 p407 p410 p77 p484 p387 p80 p487 p488 p534 p88 p235 } a31 {p453 p237 p362 p569 p277 p7 p17 p24 p405 p432 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 p46 }) ({p277 p477 p17 p21 p405 p432 p407 p410 p77 p528 p484 p80 p187 p146 p487 p488 p88 } a20 {p52 p277 p17 p405 p432 p407 p370 p410 p77 p484 p80 p487 p488 p536 p88 p45 p567 }) ({p409 p12 p373 p466 p475 p232 p289 } a31 {p463 p280 p322 p194 p503 p369 p336 p407 p46 }) ({p237 p7 p206 p472 p17 p241 p382 p21 p432 p29 p438 p445 p263 p568 p274 p277 p110 p405 p407 p410 p77 p484 p80 p114 p188 p487 p533 p488 p88 p540 p375 } a20 {p376 p205 p240 p96 p472 p17 p216 p26 p432 p387 p444 p564 p568 p395 p52 p277 p283 p405 p407 p248 p410 p77 p484 p80 p115 p487 p533 p190 p488 p88 p540 }) ({p244 p21 } a20 {p384 p52 p243 }) ({p0 p201 p552 p314 p154 p208 p423 p17 p21 p24 p430 p432 p437 p257 p259 p130 p563 p453 p272 p569 p136 p281 p511 p403 p410 p183 p77 p484 p80 p186 p532 p145 p487 p488 p88 p306 } a20 {p199 p3 p153 p553 p212 p320 p17 p20 p434 p432 p440 p328 p156 p260 p323 p389 p269 p452 p135 p278 p455 p570 p52 p513 p247 p107 p401 p108 p410 p77 p484 p185 p80 p530 p487 p488 p192 p88 p235 }) ({p570 p204 p12 p20 p174 p401 p432 p436 p128 p77 p484 p80 p529 p487 p234 p488 p192 p88 p269 p451 p135 p578 } a31 {p0 p506 p167 p208 p19 p406 p432 p436 p77 p484 p80 p529 p259 p130 p487 p563 p488 p88 p451 p46 }) ({p568 p277 p12 p17 p383 p405 p432 p407 p371 p410 p384 p77 p484 p80 p186 p487 p488 p88 } a31 {p568 p362 p277 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p531 p186 p487 p488 p88 p46 }) ({p337 p505 p420 p472 p12 p247 p368 p253 p432 p411 p328 p77 p484 p80 p487 p488 p389 p449 p88 p271 } a31 {p467 p272 p280 p424 p287 p403 p368 p432 p254 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p568 p277 p473 p17 p21 p405 p432 p407 p410 p384 p77 p484 p80 p487 p488 p88 p503 p348 } a20 {p568 p508 p52 p277 p17 p475 p405 p432 p407 p341 p410 p77 p484 p80 p388 p487 p488 p244 p88 }) ({p272 p568 p362 p277 p240 p397 p12 p17 p403 p405 p432 p407 p410 p77 p484 p387 p80 p487 p488 p534 p194 p88 p235 } a31 {p272 p568 p237 p362 p277 p397 p17 p403 p405 p432 p407 p410 p77 p484 p80 p186 p487 p488 p534 p194 p88 p375 p46 }) ({p376 p568 p395 p277 p209 p96 p12 p17 p474 p216 p405 p432 p407 p248 p410 p77 p484 p80 p487 p190 p564 p488 p534 p88 } a31 {p206 p17 p474 p241 p382 p243 p432 p29 p445 p46 p568 p274 p277 p405 p407 p410 p77 p484 p80 p114 p487 p488 p534 p193 p88 }) ({p103 p439 p485 p345 p496 p12 p261 p339 p88 p47 } a31 {p103 p497 p88 p541 p101 p125 p126 p270 p46 }) ({p277 p202 p512 p17 p21 p556 p405 p222 p432 p407 p410 p412 p77 p354 p561 p484 p80 p226 p487 p488 p193 p538 p88 p361 } a20 {p52 p277 p209 p398 p514 p571 p230 p17 p405 p432 p407 p410 p77 p484 p80 p562 p158 p487 p535 p227 p488 p359 p88 p540 }) ({p387 p12 p194 p539 p405 p236 } a31 {p186 p242 p194 p539 p375 p405 p46 }) ({p568 p180 p277 p34 p465 p146 p169 p488 p192 p401 p137 p502 } a51 {p180 p454 p275 p488 p169 p23 p138 p502 p567 }) ({p550 p204 p12 p20 p427 p432 p436 p128 p269 p452 p135 p276 p570 p174 p401 p77 p484 p80 p529 p487 p234 p488 p192 p88 p578 } a31 {p0 p506 p276 p552 p167 p208 p19 p430 p432 p406 p436 p77 p484 p80 p529 p259 p130 p487 p563 p488 p88 p451 p46 }) ({p505 p411 p329 p422 p472 p12 p390 } a31 {p467 p280 p464 p447 p194 p577 p335 p405 p46 }) ({p376 p209 p96 p12 p17 p555 p216 p219 p432 p353 p562 p227 p564 p359 p395 p277 p510 p326 p517 p405 p407 p248 p410 p77 p484 p80 p487 p190 p535 p488 p88 p540 } a31 {p206 p474 p17 p241 p382 p556 p243 p222 p432 p29 p354 p445 p358 p334 p46 p274 p277 p338 p512 p405 p407 p410 p412 p77 p484 p80 p114 p487 p534 p488 p193 p194 p88 }) ({p505 p420 p492 p12 p172 p22 p432 p411 p484 p487 p488 p537 p449 p88 } a31 {p548 p2 p424 p432 p464 p79 p484 p487 p488 p88 p577 p490 p46 }) ({p548 p152 p2 p419 p312 p424 p318 p19 p21 p432 p436 p254 p451 p507 p506 p276 p167 p177 p406 p77 p143 p484 p529 p80 p487 p488 p301 p303 p88 p577 } a20 {p151 p550 p204 p421 p317 p427 p321 p22 p433 p432 p255 p128 p449 p271 p505 p509 p52 p279 p172 p174 p181 p411 p77 p527 p484 p80 p144 p487 p234 p488 p304 p88 p578 }) ({p468 p411 p12 p457 p22 } a31 {p410 p2 p17 p577 p46 }) ({p44 } a17 {p48 }) ({p150 p552 p208 p319 p21 p250 p432 p259 p130 p272 p507 p136 p363 p287 p173 p288 p403 p368 p140 p77 p464 p484 p529 p80 p296 p298 p487 p488 p88 } a20 {p420 p553 p350 p316 p212 p253 p432 p328 p389 p269 p135 p509 p52 p286 p247 p401 p367 p176 p108 p141 p462 p77 p527 p484 p80 p299 p487 p488 p300 p88 p149 }) ({p237 p7 p472 p17 p241 p382 p21 p432 p29 p438 p445 p568 p277 p283 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p387 p444 p564 p568 p395 p52 p277 p283 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 }) ({p421 p12 p318 p17 p20 p427 p432 p353 p440 p255 p359 p452 p278 p570 p510 p326 p174 p77 p484 p80 p487 p535 p234 p488 p192 p88 p578 } a31 {p0 p423 p318 p474 p17 p430 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p406 p77 p484 p80 p487 p488 p194 p88 }) ({p3 p201 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p156 p387 p444 p260 p323 p357 p389 p337 p455 p283 p513 p247 p107 p108 p410 p77 p484 p80 p115 p533 p487 p488 p88 p235 } a31 {p467 p237 p201 p7 p314 p154 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p515 p403 p110 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p568 p277 p514 p12 p17 p230 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p226 p487 p534 p488 p88 } a31 {p568 p362 p277 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p226 p487 p534 p488 p538 p88 p361 p46 }) }, initialMarking = {p198 p199 p201 p202 p205 p206 p209 p210 p14 p213 p17 p19 p20 p22 p24 p218 p26 p220 p221 p29 p31 p224 p226 p227 p334 p335 p336 p337 p338 p73 p461 p75 p462 p77 p463 p79 p464 p80 p345 p83 p85 p86 p346 p347 p88 p240 p472 p473 p474 p241 p242 p243 p475 p357 p358 p359 p361 p103 p362 p104 p105 p366 p367 p368 p484 p114 p485 p115 p486 p487 p488 p489 p490 p123 p382 p124 p383 p125 p127 p384 p385 p387 p388 p261 p266 p267 p134 p269 p502 p135 p271 p272 p273 p505 p274 p506 p136 p275 p276 p277 p278 p280 p281 p283 p397 p286 p287 p288 p401 p403 p405 p406 p407 p409 p410 p411 p527 p528 p529 p530 p531 p532 p533 p534 p535 p536 p538 p539 p540 p149 p542 p543 p545 p150 p546 p151 p547 p152 p309 p153 p311 p312 p154 p313 p314 p315 p316 p317 p318 p319 p320 p321 p431 p432 p433 p435 p436 p437 p439 p440 p561 p442 p562 p444 p445 p447 p449 p451 p452 p567 p453 p568 p569 p570 p167 p169 p172 p178 p180 p186 p187 p192 p194 }, acceptingPlaces = {p72 } ); 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 }, transitions = { ({p568 p277 p12 p17 p405 p432 p407 p410 p77 p484 p528 p80 p388 p487 p488 p88 p45 p336 } a31 {p568 p277 p17 p405 p432 p407 p410 p77 p484 p528 p80 p187 p487 p488 p88 p348 p46 p336 }) ({p202 p14 p17 p21 p123 p22 p124 p383 p384 p387 p388 p261 p134 p269 p335 p275 p277 p405 p407 p409 p73 p461 p410 p462 p411 p77 p528 p80 p533 p535 p86 p536 p347 p88 p539 p540 p542 p472 p242 p431 p475 p432 p439 p447 p359 p567 p568 p570 p366 p484 p487 p488 p193 } a20 {p209 p14 p17 p123 p22 p124 p383 p384 p387 p388 p261 p134 p269 p335 p275 p52 p277 p405 p407 p409 p73 p461 p410 p462 p411 p77 p528 p80 p533 p535 p86 p536 p347 p88 p539 p540 p542 p472 p242 p431 p475 p432 p439 p158 p447 p359 p567 p568 p570 p366 p484 p487 p488 }) ({p0 p199 p314 p154 p423 p17 p21 p556 p24 p430 p222 p432 p437 p354 p561 p257 p226 p563 p361 p453 p569 p277 p281 p512 p405 p407 p410 p77 p484 p80 p186 p145 p487 p533 p488 p538 p88 p306 } a20 {p199 p3 p153 p320 p17 p20 p434 p432 p440 p156 p562 p260 p323 p227 p359 p452 p278 p455 p570 p52 p277 p398 p514 p571 p230 p107 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p568 p277 p202 p398 p514 p571 p12 p230 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p487 p534 p488 p88 } a31 {p568 p362 p277 p202 p17 p383 p405 p432 p407 p410 p384 p77 p561 p484 p80 p186 p226 p487 p534 p488 p538 p88 p361 p46 }) ({p5 p85 } a39 {p8 p87 p66 }) ({p52 } a22 {p35 }) ({p21 p137 p494 p407 p432 p463 p77 p484 p80 p465 p487 p488 p88 p159 p336 } a20 {p275 p52 p232 p289 p432 p461 p77 p484 p80 p487 p373 p488 p466 p88 }) ({p73 p12 p123 p88 p404 p540 p161 p327 } a31 {p549 p412 p105 p88 p267 p574 p160 p46 }) ({p290 p75 p164 p311 p497 p88 p21 p42 p125 p543 } a20 {p293 p53 p52 p166 p86 p537 p499 p339 p88 p124 }) ({p180 p477 p34 p187 p169 p535 p488 p243 p502 p407 p567 } a51 {p180 p512 p187 p169 p488 p536 p243 p23 p502 p407 p567 }) ({p3 p205 p240 p12 p17 p26 p434 p432 p156 p387 p444 p260 p323 p455 p277 p283 p398 p514 p571 p230 p107 p405 p407 p410 p77 p484 p185 p80 p115 p487 p488 p534 p88 p235 } a31 {p237 p201 p7 p314 p154 p17 p24 p432 p438 p437 p561 p226 p263 p361 p46 p453 p362 p569 p277 p281 p110 p405 p407 p410 p77 p484 p80 p186 p188 p487 p488 p534 p538 p88 p375 }) ({p462 p413 p478 p12 p286 p86 p346 p116 p367 p88 p573 p414 } a31 {p178 p435 p363 p442 p296 p486 p346 p266 p88 p250 p42 p46 }) ({p329 p422 p397 p21 p390 } a20 {p291 p328 p52 p420 p447 p335 p405 }) ({p454 p277 p512 p186 p538 p21 } a20 {p568 p52 p277 p514 p535 p192 p235 }) ({p568 p277 p398 p514 p571 p12 p230 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p158 p487 p534 p488 p88 } a31 {p202 p17 p383 p432 p384 p561 p226 p361 p46 p568 p362 p277 p405 p407 p410 p77 p484 p80 p186 p487 p534 p488 p538 p88 p545 }) ({p467 p337 p506 p474 p17 p21 p432 p406 p433 p77 p484 p80 p487 p488 p88 p577 } a20 {p505 p337 p52 p510 p472 p17 p174 p432 p433 p411 p77 p484 p80 p487 p234 p488 p88 p578 }) ({p376 p206 p96 p12 p17 p555 p216 p219 p432 p353 p562 p227 p564 p359 p395 p277 p510 p326 p517 p405 p407 p248 p410 p77 p484 p80 p487 p535 p488 p88 p540 } a31 {p206 p474 p17 p241 p382 p556 p243 p222 p432 p29 p354 p445 p358 p334 p46 p274 p277 p338 p512 p405 p407 p410 p412 p77 p484 p80 p114 p487 p534 p488 p194 p88 }) ({p568 p277 p510 p12 p17 p405 p432 p407 p410 p77 p484 p80 p487 p535 p488 p245 p88 } a31 {p568 p277 p338 p512 p474 p17 p243 p405 p432 p407 p410 p385 p77 p484 p80 p487 p488 p88 p46 }) ({p462 p12 p86 p116 p367 p448 p88 p414 p573 } a31 {p178 p363 p442 p489 p266 p88 p250 p42 p46 }) ({p435 p462 p128 p478 p12 p401 p367 p88 p414 p269 p432 p135 } a31 {p178 p435 p363 p442 p167 p259 p130 p486 p88 p250 p432 p46 }) ({p25 } a46 {p27 }) ({p180 p142 p169 p488 p88 p21 p360 p252 } a20 {p52 p386 p14 p446 p88 p519 p431 p416 }) ({p150 p552 p208 p316 p21 p250 p432 p259 p130 p272 p136 p363 p287 p288 p403 p368 p140 p77 p464 p484 p80 p296 p487 p488 p88 } a20 {p420 p553 p350 p316 p212 p253 p432 p328 p389 p269 p135 p52 p286 p247 p401 p367 p108 p141 p462 p77 p484 p80 p299 p487 p488 p88 p149 }) ({p568 p277 p570 p512 p17 p21 p383 p405 p407 p432 p410 p384 p77 p484 p80 p533 p487 p488 p538 p88 p359 p540 } a20 {p568 p52 p277 p570 p514 p17 p383 p405 p407 p432 p410 p384 p77 p484 p80 p533 p487 p535 p488 p88 p359 p540 }) ({p362 p338 p280 p442 p57 p194 p88 p243 p490 p545 } a5 {p549 p62 p89 }) ({p0 p17 p21 p24 p430 p432 p440 p257 p563 p453 p569 p277 p281 p512 p405 p407 p410 p77 p484 p80 p186 p487 p533 p488 p538 p88 } a20 {p3 p17 p20 p434 p432 p440 p260 p452 p278 p455 p570 p52 p277 p514 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p376 p12 p17 p555 p216 p219 p432 p353 p562 p227 p564 p359 p568 p274 p395 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p535 p488 p534 p88 } a31 {p474 p17 p241 p382 p556 p243 p222 p432 p29 p354 p445 p358 p334 p46 p568 p274 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p467 p237 p7 p205 p554 p474 p17 p217 p241 p382 p21 p432 p352 p29 p438 p330 p445 p263 p358 p334 p274 p277 p515 p110 p405 p407 p410 p77 p484 p80 p114 p487 p534 p488 p88 p375 } a20 {p376 p205 p240 p96 p472 p17 p555 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p395 p52 p277 p510 p283 p326 p517 p405 p407 p248 p410 p77 p484 p80 p115 p533 p487 p488 p88 }) ({p91 p21 } a20 {p91 p52 }) ({p31 } a49 {p9 }) ({p290 p103 p164 p200 p311 p21 p218 p125 p89 p249 } a20 {p293 p52 p104 p166 p203 p98 p496 p339 p88 p124 p47 }) ({p506 p468 p167 p457 p21 } a20 {p505 p410 p128 p52 p234 p17 p172 p174 }) ({p531 p516 p21 p242 } a20 {p371 p52 p539 p242 }) ({p531 p516 p21 p236 } a20 {p371 p52 p539 p242 p235 }) ({p180 p387 p34 p187 p472 p169 p488 p503 p502 p407 p348 } a51 {p467 p180 p388 p187 p169 p488 p23 p475 p375 p502 p407 }) ({p272 p569 p136 p17 p20 p21 p403 p432 p410 p77 p484 p80 p186 p530 p259 p130 p487 p563 p488 p88 } a20 {p455 p570 p52 p17 p20 p247 p401 p108 p432 p410 p328 p77 p484 p80 p530 p487 p488 p389 p192 p88 p235 p269 p135 }) ({p272 p569 p17 p21 p403 p432 p410 p77 p484 p80 p186 p259 p487 p563 p488 p88 p135 } a20 {p455 p570 p52 p17 p247 p401 p432 p410 p328 p77 p484 p80 p487 p488 p192 p389 p88 p235 p269 p135 }) ({p119 p12 p138 p269 } a31 {p273 p277 p259 p250 p46 }) ({p79 p422 p58 p21 p544 } a20 {p52 p420 p80 p492 p537 p447 }) ({p455 p277 p240 p514 p12 p17 p24 p405 p432 p407 p410 p77 p484 p387 p80 p487 p488 p534 p88 p235 } a31 {p362 p237 p569 p277 p17 p24 p405 p432 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 p46 }) ({p495 p21 p340 } a20 {p52 p496 p347 p339 p542 }) ({p337 p505 p420 p350 p472 p12 p247 p288 p108 p253 p433 p432 p411 p328 p77 p484 p80 p487 p488 p357 p389 p449 p88 p271 } a31 {p467 p272 p136 p280 p419 p424 p287 p288 p403 p368 p432 p352 p254 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p166 p203 p313 p12 p339 p221 p293 p439 p485 p345 p98 p496 p261 p88 p47 } a31 {p103 p311 p168 p207 p218 p125 p126 p294 p497 p88 p541 p101 p270 p46 }) ({p467 p151 p419 p424 p318 p474 p17 p217 p321 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p406 p77 p484 p80 p487 p488 p301 p88 p577 } a20 {p151 p421 p472 p317 p17 p427 p321 p219 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p326 p174 p411 p77 p484 p80 p487 p234 p488 p304 p88 p578 }) ({p273 p462 p34 p488 p86 p159 p494 p574 } a51 {p119 p461 p73 p488 p42 p23 }) ({p548 p506 p2 p167 p424 p19 p21 p406 p432 p433 p77 p484 p527 p80 p487 p488 p88 p577 p451 p271 } a20 {p505 p550 p52 p204 p427 p172 p22 p174 p432 p433 p411 p128 p77 p484 p527 p80 p487 p234 p488 p449 p88 p271 p578 }) ({p237 p7 p205 p472 p17 p241 p382 p21 p432 p29 p438 p445 p263 p568 p274 p277 p110 p405 p407 p410 p77 p484 p80 p114 p487 p533 p488 p88 p540 p375 } a20 {p376 p205 p240 p96 p472 p17 p216 p26 p432 p387 p444 p564 p568 p395 p52 p277 p283 p405 p407 p248 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 }) ({p179 p103 p551 p129 p21 p125 p89 p249 } a20 {p309 p52 p104 p98 p496 p339 p88 p124 p220 p545 p47 }) ({p464 p34 p373 p488 p447 p391 p490 p431 p232 } a51 {p463 p422 p488 p23 p490 p431 p544 }) ({p377 p12 p474 } a31 {p474 p243 p383 p46 }) ({p454 p186 p21 p403 p138 } a20 {p568 p328 p277 p52 p192 p389 p401 p235 }) ({p3 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p156 p387 p444 p260 p323 p357 p389 p337 p455 p283 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p314 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p199 p153 p421 p12 p320 p17 p555 p20 p427 p219 p432 p353 p440 p255 p562 p227 p359 p452 p278 p570 p510 p279 p326 p513 p174 p181 p77 p484 p80 p144 p533 p487 p535 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p312 p423 p318 p474 p17 p556 p430 p222 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p515 p406 p183 p77 p484 p80 p532 p145 p487 p488 p194 p88 p306 }) ({p461 p73 p12 p488 p88 p416 p327 } a31 {p180 p488 p88 p267 p159 p494 p574 p46 }) ({p468 p439 p12 p22 p155 } a31 {p2 p17 p270 p432 p46 }) ({p17 p21 p383 p222 p432 p384 p354 p562 p226 p361 p568 p277 p570 p512 p405 p407 p410 p77 p484 p80 p533 p487 p488 p538 p88 p540 } a20 {p17 p383 p432 p384 p562 p227 p359 p568 p52 p277 p570 p514 p571 p230 p405 p407 p410 p77 p484 p80 p533 p487 p535 p488 p88 p540 }) ({p462 p12 p351 p479 p401 p269 p415 } a31 {p178 p442 p167 p259 p487 p366 p250 p134 p46 }) ({p178 p34 p487 p366 p446 p266 p416 p327 } a51 {p180 p488 p479 p116 p573 p267 p23 p415 }) ({p376 p568 p395 p277 p12 p17 p474 p216 p405 p432 p407 p248 p410 p77 p484 p80 p114 p487 p564 p488 p534 p88 } a31 {p568 p274 p277 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p114 p445 p487 p488 p534 p88 p46 }) ({p568 p506 p277 p510 p12 p17 p243 p405 p432 p407 p410 p77 p484 p80 p487 p535 p488 p534 p88 } a31 {p568 p506 p277 p338 p512 p474 p17 p243 p405 p432 p407 p410 p77 p484 p80 p487 p488 p534 p88 p46 }) ({p12 p475 p232 p432 p407 p409 p77 p484 p80 p487 p373 p488 p466 p88 } a31 {p369 p432 p407 p463 p77 p484 p80 p322 p487 p488 p194 p88 p503 p336 p46 }) ({p505 p53 p420 p12 p172 p22 p368 p253 p432 p411 p484 p487 p488 p537 p449 p88 p271 } a31 {p548 p2 p424 p287 p368 p432 p254 p75 p464 p484 p487 p488 p88 p577 p490 p46 }) ({p209 p210 p14 p17 p21 p123 p22 p124 p383 p384 p387 p388 p261 p134 p269 p335 p275 p277 p405 p407 p409 p73 p461 p410 p462 p411 p77 p528 p80 p533 p535 p86 p536 p347 p88 p539 p540 p542 p472 p242 p431 p475 p432 p439 p447 p359 p567 p568 p570 p366 p484 p487 p488 } a20 {p209 p210 p14 p17 p123 p22 p124 p383 p384 p387 p388 p261 p134 p269 p335 p275 p52 p277 p405 p407 p409 p73 p461 p410 p462 p411 p77 p528 p80 p533 p535 p86 p536 p347 p88 p539 p540 p542 p472 p242 p431 p475 p432 p439 p447 p359 p567 p568 p570 p366 p484 p487 p488 }) ({p467 p237 p7 p554 p474 p17 p217 p241 p382 p21 p432 p352 p29 p438 p330 p445 p358 p334 p568 p277 p283 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p555 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p568 p395 p52 p277 p510 p326 p283 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p151 p420 p553 p350 p472 p317 p12 p212 p321 p253 p433 p432 p328 p357 p389 p449 p271 p337 p505 p247 p176 p108 p141 p411 p77 p484 p80 p529 p299 p487 p488 p300 p88 } a31 {p467 p150 p419 p554 p424 p319 p217 p432 p352 p254 p330 p46 p272 p136 p280 p287 p288 p403 p368 p177 p77 p143 p464 p484 p80 p529 p487 p488 p301 p303 p88 p577 }) ({p71 } a29 {p12 }) ({p505 p547 p53 p420 p350 p317 p12 p319 p172 p22 p253 p433 p432 p411 p484 p299 p487 p488 p537 p449 p88 p271 } a31 {p548 p547 p2 p419 p424 p287 p319 p288 p368 p432 p254 p75 p464 p484 p487 p488 p301 p88 p577 p490 p46 }) ({p151 p420 p350 p317 p12 p321 p22 p253 p433 p432 p449 p271 p504 p505 p53 p172 p176 p141 p411 p527 p484 p299 p487 p488 p300 p537 p88 } a31 {p150 p548 p547 p2 p419 p424 p319 p432 p254 p46 p507 p287 p288 p368 p177 p75 p143 p464 p484 p487 p488 p301 p303 p88 p577 p490 }) ({p568 p237 p277 p472 p17 p241 p382 p21 p26 p405 p432 p407 p410 p77 p484 p80 p487 p533 p488 p88 p540 p375 } a20 {p376 p568 p52 p277 p240 p472 p17 p216 p26 p405 p432 p407 p410 p77 p484 p387 p80 p487 p533 p488 p88 p540 }) ({p66 } a14 {p33 }) ({p387 p12 p516 p236 } a31 {p362 p186 p539 p242 p375 p46 }) ({p467 p152 p419 p554 p424 p318 p474 p17 p217 p321 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p406 p77 p143 p484 p80 p487 p488 p301 p88 p577 } a20 {p151 p421 p472 p317 p17 p555 p427 p321 p219 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p326 p174 p411 p77 p484 p80 p144 p487 p234 p488 p304 p88 p578 }) ({p178 p468 p167 p486 p21 p155 } a20 {p128 p52 p485 p478 p17 p172 p414 p432 }) ({p550 p204 p316 p478 p12 p170 p286 p401 p367 p462 p128 p527 p413 p295 p332 p88 p414 p149 p269 p504 p135 } a31 {p507 p547 p552 p363 p167 p208 p315 p173 p19 p250 p140 p178 p435 p442 p296 p259 p130 p486 p298 p346 p88 p46 }) ({p546 p316 p478 p12 p170 p286 p367 p573 p462 p413 p295 p86 p332 p499 p116 p191 p88 p414 p149 } a31 {p363 p315 p173 p250 p140 p178 p435 p224 p442 p296 p486 p298 p346 p266 p88 p501 p42 p543 p46 }) ({p337 p272 p568 p569 p277 p240 p397 p472 p12 p17 p403 p405 p432 p407 p410 p328 p77 p484 p387 p80 p487 p488 p88 p235 } a31 {p467 p272 p568 p237 p569 p277 p397 p17 p403 p405 p432 p407 p410 p77 p484 p80 p186 p330 p487 p488 p88 p375 p46 }) ({p446 p21 } a20 {p52 p442 p488 }) ({p387 p329 p472 p12 p390 p236 } a31 {p467 p280 p186 p242 p194 p375 p335 p405 p46 }) ({p12 p17 p382 p383 p125 p127 p384 p385 p266 p267 p502 p272 p273 p506 p277 p397 p403 p405 p407 p410 p75 p77 p463 p79 p464 p528 p80 p531 p534 p538 p88 p539 p309 p473 p474 p432 p158 p361 p568 p103 p167 p105 p169 p178 p180 p484 p186 p187 p487 p488 } a31 {p202 p17 p382 p383 p125 p127 p384 p385 p266 p267 p502 p46 p272 p273 p506 p277 p397 p403 p405 p407 p410 p75 p77 p463 p79 p464 p528 p80 p531 p534 p538 p88 p539 p545 p309 p473 p474 p432 p361 p568 p103 p167 p105 p169 p178 p180 p484 p186 p187 p487 p488 }) ({p439 p53 p311 p485 p345 p12 p172 p537 p22 p339 p88 } a31 {p548 p75 p2 p311 p88 p101 p490 p125 p270 p46 }) ({p439 p485 p345 p98 p496 p12 p261 p339 p88 p218 p47 } a31 {p103 p497 p88 p541 p218 p101 p125 p126 p270 p46 }) ({p30 } a48 {p32 }) ({p91 p162 p98 p496 p12 p86 p116 p573 p124 } a31 {p290 p103 p164 p105 p497 p266 p88 p42 p46 }) ({p83 p27 } a37 {p28 p56 p84 }) ({p376 p568 p277 p510 p326 p12 p17 p216 p405 p432 p407 p29 p410 p77 p484 p80 p487 p535 p488 p534 p358 p88 } a31 {p474 p17 p241 p382 p243 p432 p29 p358 p334 p46 p568 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p28 } a47 {p34 }) ({p17 p21 p383 p556 p222 p432 p384 p354 p561 p226 p361 p568 p277 p570 p512 p405 p407 p410 p77 p484 p80 p533 p487 p488 p538 p88 p540 } a20 {p17 p383 p432 p384 p562 p227 p359 p568 p52 p277 p570 p398 p514 p571 p230 p405 p407 p410 p77 p484 p80 p533 p487 p535 p488 p88 p540 }) ({p487 p351 p21 p415 } a20 {p128 p52 p487 p366 p414 p134 }) ({p491 p12 p14 p391 p431 p229 } a31 {p127 p77 p142 p360 p490 p252 p46 }) ({p546 p363 p316 p287 p288 p21 p250 p368 p432 p75 p464 p484 p296 p487 p488 p88 p42 } a20 {p546 p53 p52 p420 p350 p316 p286 p367 p253 p432 p462 p484 p299 p487 p488 p86 p537 p88 }) ({p376 p568 p395 p277 p206 p96 p12 p17 p474 p216 p405 p432 p407 p248 p410 p77 p484 p80 p487 p564 p488 p534 p88 } a31 {p568 p274 p277 p206 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p114 p445 p487 p488 p534 p88 p46 }) ({p568 p277 p17 p21 p475 p405 p432 p407 p410 p384 p77 p484 p80 p487 p488 p88 p348 } a20 {p568 p52 p277 p17 p475 p405 p432 p407 p410 p77 p484 p80 p388 p487 p488 p244 p88 }) ({p272 p0 p569 p136 p208 p17 p21 p24 p403 p432 p410 p77 p484 p80 p186 p530 p259 p130 p487 p563 p488 p88 p452 } a20 {p3 p212 p17 p20 p432 p328 p389 p269 p135 p452 p455 p570 p52 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p180 p412 p488 p88 p21 p576 p267 p360 } a20 {p52 p446 p88 p540 p431 p416 p327 }) ({p376 p12 p17 p216 p219 p432 p353 p445 p227 p564 p359 p568 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p535 p488 p534 p88 } a31 {p474 p17 p241 p382 p243 p222 p432 p29 p354 p445 p358 p334 p46 p568 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p568 p277 p12 p17 p474 p405 p432 p407 p410 p77 p484 p80 p487 p488 p245 p88 } a31 {p568 p277 p17 p474 p243 p405 p432 p407 p410 p385 p77 p484 p80 p487 p488 p88 p46 }) ({p505 p410 p180 p142 p322 p34 p488 p17 p172 p369 p252 } a51 {p409 p468 p180 p14 p488 p457 p23 }) ({p127 p549 p412 p77 p88 p21 p574 p160 } a20 {p73 p52 p491 p123 p88 p540 p391 p545 p229 }) ({p46 } a33 {p63 }) ({p119 p277 p12 } a31 {p273 p277 p250 p46 }) ({p439 p495 p485 p12 p261 p540 p340 p47 } a31 {p412 p347 p541 p542 p125 p126 p270 p46 }) ({p467 p237 p7 p474 p17 p217 p241 p382 p21 p432 p352 p29 p330 p444 p358 p334 p568 p277 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p568 p52 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p370 p187 p12 } a31 {p362 p528 p187 p46 }) ({p329 p397 p21 p390 p236 } a20 {p291 p328 p52 p242 p235 p335 p405 }) ({p162 p495 p12 p86 p116 p540 p573 p124 p109 } a31 {p290 p164 p412 p105 p266 p42 p542 p46 }) ({p3 p455 p277 p281 p240 p12 p514 p17 p26 p405 p434 p432 p407 p410 p77 p484 p387 p80 p444 p487 p488 p534 p88 p235 } a31 {p237 p7 p17 p24 p432 p438 p46 p453 p362 p569 p277 p281 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p153 p312 p421 p12 p320 p17 p555 p20 p427 p219 p432 p353 p440 p255 p562 p227 p359 p452 p278 p570 p510 p326 p174 p77 p484 p80 p144 p487 p535 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p312 p423 p318 p474 p17 p556 p430 p222 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p406 p77 p484 p80 p145 p487 p488 p194 p88 p306 }) ({p150 p547 p363 p287 p319 p173 p288 p21 p250 p368 p432 p140 p75 p464 p484 p296 p298 p487 p488 p88 p501 p42 } a20 {p546 p53 p52 p420 p350 p316 p286 p367 p176 p253 p432 p141 p462 p484 p299 p487 p488 p300 p86 p537 p88 p149 p504 }) ({p377 p385 p21 } a20 {p52 p245 p383 }) ({p0 p201 p314 p154 p423 p17 p21 p556 p24 p430 p222 p432 p437 p354 p561 p257 p226 p563 p361 p453 p569 p277 p281 p512 p515 p405 p407 p410 p183 p77 p484 p80 p186 p145 p487 p534 p488 p538 p88 p306 } a20 {p199 p3 p153 p320 p17 p20 p434 p432 p440 p156 p562 p260 p323 p227 p359 p452 p278 p455 p570 p52 p277 p398 p514 p571 p230 p517 p107 p405 p407 p410 p77 p484 p185 p80 p533 p487 p535 p488 p192 p88 p235 }) ({p505 p411 p280 p329 p422 p472 p12 } a31 {p467 p280 p464 p447 p194 p577 p335 p46 }) ({p290 p75 p164 p412 p311 p88 p21 p42 p125 } a20 {p293 p53 p52 p166 p86 p537 p339 p88 p540 p124 }) ({p12 p401 p367 p432 p435 p462 p128 p77 p484 p80 p486 p487 p488 p489 p88 p414 p269 p135 } a31 {p363 p167 p250 p432 p178 p435 p77 p484 p80 p259 p130 p486 p487 p488 p489 p88 p46 }) ({p152 p312 p421 p12 p320 p17 p20 p427 p219 p432 p353 p440 p255 p227 p359 p452 p278 p570 p510 p326 p174 p77 p484 p80 p487 p535 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p312 p423 p318 p474 p17 p430 p222 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p406 p77 p484 p80 p487 p488 p194 p88 p306 }) ({p329 p422 p21 p405 } a20 {p328 p52 p420 p447 p335 p405 }) ({p568 p277 p570 p512 p17 p21 p383 p405 p432 p407 p410 p384 p77 p354 p484 p80 p533 p487 p227 p488 p538 p88 p540 p361 } a20 {p568 p52 p277 p570 p514 p17 p230 p383 p405 p432 p407 p410 p384 p77 p484 p80 p533 p487 p227 p535 p488 p359 p88 p540 }) ({p237 p7 p472 p17 p241 p382 p21 p432 p29 p438 p445 p263 p568 p274 p277 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p387 p444 p564 p568 p395 p52 p277 p283 p405 p407 p248 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 }) ({p186 p12 p516 } a31 {p362 p186 p539 p46 }) ({p127 p549 p21 p89 p118 p160 } a20 {p52 p123 p88 p251 p545 p229 }) ({p473 p17 p21 p369 p432 p77 p484 p80 p322 p487 p488 p88 p503 p502 } a20 {p508 p52 p171 p17 p475 p432 p409 p341 p77 p484 p80 p233 p487 p488 p88 }) ({p9 } a42 {p74 }) ({p487 p21 p134 p415 } a20 {p52 p487 p366 p414 p134 }) ({p0 p552 p208 p17 p21 p24 p430 p432 p259 p130 p563 p453 p272 p569 p136 p278 p403 p410 p77 p484 p80 p186 p530 p487 p488 p88 } a20 {p3 p553 p212 p17 p20 p434 p432 p328 p389 p269 p452 p135 p455 p570 p52 p278 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p370 p186 p34 p242 p539 p45 } a51 {p528 p187 p516 p23 p236 }) ({p178 p386 p167 p34 p488 p366 p519 p431 p134 p416 } a51 {p180 p169 p488 p351 p23 p431 p415 }) ({p0 p423 p17 p320 p21 p24 p430 p432 p437 p354 p257 p563 p361 p453 p569 p277 p281 p512 p405 p407 p410 p77 p484 p80 p186 p487 p533 p488 p538 p88 } a20 {p3 p17 p320 p20 p434 p432 p440 p260 p323 p359 p452 p278 p455 p570 p52 p277 p514 p230 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p65 } a8 {p60 }) ({p68 } a30 {p36 }) ({p178 p435 p412 p486 p266 p88 p21 p541 p126 p270 } a20 {p439 p52 p413 p485 p478 p261 p116 p88 p573 p414 p540 }) ({p547 p550 p204 p316 p478 p12 p170 p286 p401 p367 p462 p128 p413 p295 p332 p88 p414 p149 p269 p135 } a31 {p547 p552 p363 p167 p208 p315 p173 p19 p250 p140 p178 p435 p442 p296 p259 p130 p486 p298 p346 p88 p46 }) ({p409 p341 p506 p508 p34 p233 p488 p14 p474 p171 p431 } a51 {p409 p510 p234 p473 p488 p14 p174 p23 p502 p431 }) ({p546 p548 p2 p167 p168 p315 p19 p21 p178 p435 p294 p486 p346 p88 p101 p270 } a20 {p546 p550 p52 p204 p313 p478 p170 p172 p22 p439 p128 p413 p295 p485 p345 p332 p88 p414 }) ({p76 } a11 {p40 }) ({p491 p21 } a20 {p52 p77 p490 }) ({p550 p204 p421 p12 p318 p20 p427 p432 p440 p255 p128 p269 p452 p135 p278 p570 p174 p401 p77 p484 p80 p529 p487 p234 p488 p192 p88 p578 } a31 {p0 p552 p208 p423 p318 p19 p430 p432 p436 p257 p259 p130 p563 p451 p46 p506 p276 p167 p406 p77 p484 p80 p529 p487 p488 p88 }) ({p3 p154 p240 p12 p17 p26 p434 p432 p156 p387 p444 p260 p323 p455 p277 p283 p514 p571 p230 p405 p407 p410 p77 p484 p80 p487 p488 p534 p88 p235 } a31 {p237 p7 p314 p154 p17 p24 p432 p438 p437 p226 p263 p361 p46 p453 p362 p569 p277 p281 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p272 p136 p363 p208 p316 p287 p21 p288 p250 p403 p368 p432 p77 p464 p484 p80 p296 p259 p130 p487 p488 p88 p149 } a20 {p420 p350 p316 p212 p253 p432 p328 p389 p269 p135 p52 p286 p247 p401 p367 p108 p462 p77 p484 p80 p299 p487 p488 p88 p149 }) ({p41 } a0 {p5 }) ({p275 p12 p519 p432 p461 p77 p484 p386 p80 p487 p488 p88 p416 } a31 {p169 p137 p494 p432 p180 p77 p484 p80 p465 p487 p488 p88 p159 p46 }) ({p278 p570 p510 p326 p12 p17 p20 p427 p174 p432 p436 p255 p77 p484 p80 p487 p535 p234 p488 p192 p88 p452 p578 } a31 {p0 p506 p276 p338 p512 p474 p17 p430 p432 p406 p436 p77 p484 p257 p80 p487 p563 p488 p194 p88 p334 p451 p46 }) ({p337 p505 p272 p420 p472 p12 p368 p432 p411 p328 p77 p484 p80 p487 p488 p389 p449 p88 } a31 {p467 p272 p280 p424 p403 p368 p432 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p77 p34 p347 p391 p125 p229 } a51 {p127 p77 p23 p340 p544 }) ({p485 p34 p261 p576 p360 p432 } a51 {p541 p155 p23 p431 p126 }) ({p505 p411 p422 p58 p12 p172 p22 p544 } a31 {p2 p464 p80 p447 p577 p490 p46 }) ({p508 p12 p171 p17 p432 p341 p410 p77 p484 p80 p233 p487 p488 p536 p88 p567 } a31 {p338 p477 p473 p17 p432 p410 p77 p484 p80 p146 p487 p488 p88 p502 p46 }) ({p12 p88 p540 p431 p251 p229 } a31 {p127 p412 p88 p576 p360 p46 }) ({p462 p128 p12 p401 p367 p448 p88 p414 p269 p432 p135 } a31 {p178 p363 p442 p167 p259 p130 p489 p88 p250 p432 p46 }) ({p467 p152 p419 p312 p554 p424 p318 p474 p17 p217 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p177 p406 p77 p143 p484 p80 p530 p487 p488 p301 p303 p88 p577 } a20 {p151 p421 p472 p317 p17 p555 p427 p321 p219 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p279 p326 p174 p181 p411 p77 p484 p80 p144 p530 p487 p234 p488 p304 p88 p578 }) ({p370 p388 p12 p45 } a31 {p362 p528 p187 p348 p46 }) ({p162 p496 p12 p86 p116 p88 p573 p124 p109 } a31 {p290 p164 p105 p497 p266 p88 p42 p46 }) ({p3 p201 p240 p12 p17 p26 p434 p432 p156 p387 p444 p260 p323 p455 p277 p283 p398 p514 p571 p230 p107 p405 p407 p410 p77 p484 p80 p115 p487 p488 p534 p88 p235 } a31 {p237 p201 p7 p314 p154 p17 p24 p432 p438 p437 p561 p226 p263 p361 p46 p453 p362 p569 p277 p281 p110 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p388 p12 p466 p45 p475 p289 } a31 {p280 p187 p194 p503 p348 p336 p46 p407 }) ({p548 p506 p276 p2 p419 p167 p317 p424 p19 p21 p432 p406 p436 p254 p77 p484 p527 p80 p487 p488 p88 p577 p451 } a20 {p550 p204 p421 p317 p427 p22 p433 p432 p255 p128 p449 p271 p505 p52 p172 p174 p411 p77 p484 p527 p80 p487 p234 p488 p88 p578 }) ({p12 p14 p232 p432 p409 p77 p484 p80 p487 p373 p488 p88 p391 } a31 {p369 p252 p432 p463 p77 p142 p484 p80 p322 p487 p488 p88 p46 }) ({p464 p34 p373 p488 p447 p466 p335 p431 p232 p407 } a51 {p463 p329 p422 p488 p23 p431 p336 p407 }) ({p506 p2 p167 p19 p21 p406 p432 p433 p77 p484 p527 p80 p487 p488 p88 p449 p577 } a20 {p505 p52 p204 p172 p174 p22 p432 p433 p411 p128 p77 p484 p527 p80 p487 p234 p488 p88 p449 p578 }) ({p505 p420 p12 p172 p22 p368 p432 p411 p75 p77 p484 p79 p80 p487 p488 p537 p449 p88 } a31 {p548 p2 p424 p368 p432 p75 p77 p464 p484 p79 p80 p487 p488 p88 p577 p46 }) ({p570 p510 p12 p17 p174 p432 p406 p410 p77 p484 p80 p487 p535 p234 p488 p192 p88 } a31 {p506 p338 p512 p474 p17 p432 p406 p410 p77 p484 p80 p487 p563 p488 p88 p46 }) ({p3 p314 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p387 p444 p260 p323 p357 p389 p337 p455 p283 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p314 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p3 p240 p12 p17 p26 p434 p432 p437 p387 p444 p260 p455 p277 p283 p514 p405 p407 p410 p77 p484 p80 p487 p488 p534 p88 p235 } a31 {p237 p7 p17 p24 p432 p438 p437 p263 p46 p453 p362 p569 p277 p281 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p0 p199 p552 p314 p154 p208 p423 p17 p21 p24 p430 p432 p437 p257 p259 p130 p563 p453 p272 p569 p136 p281 p511 p403 p410 p77 p484 p80 p186 p532 p145 p487 p488 p88 p306 } a20 {p199 p3 p153 p553 p212 p320 p17 p20 p434 p432 p440 p328 p156 p260 p323 p389 p269 p452 p135 p278 p455 p570 p52 p513 p247 p107 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p237 p7 p206 p17 p241 p382 p21 p432 p29 p438 p445 p263 p274 p277 p110 p405 p407 p410 p412 p77 p484 p80 p114 p188 p487 p488 p88 p375 } a20 {p376 p205 p240 p96 p17 p216 p26 p432 p387 p444 p564 p395 p52 p277 p283 p405 p407 p248 p410 p77 p484 p80 p115 p487 p190 p488 p88 p540 }) ({p12 p89 p220 } a31 {p89 p220 p46 }) ({p104 p34 p220 p161 p90 } a51 {p162 p129 p23 p408 }) ({p142 p485 p34 p17 p172 p360 p252 p432 } a51 {p468 p14 p155 p23 p431 }) ({p463 p77 p484 p487 p488 p21 p88 p494 p159 p574 p432 } a20 {p461 p73 p52 p484 p491 p487 p373 p488 p88 p391 p232 p432 }) ({p376 p568 p277 p510 p326 p12 p17 p216 p405 p432 p407 p29 p410 p353 p77 p484 p80 p487 p535 p488 p534 p359 p88 } a31 {p474 p17 p241 p382 p243 p432 p29 p354 p358 p334 p46 p568 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p337 p455 p240 p472 p12 p17 p247 p24 p108 p432 p410 p328 p77 p484 p387 p80 p532 p487 p488 p357 p389 p88 p235 } a31 {p467 p272 p237 p569 p136 p280 p17 p24 p403 p432 p352 p410 p77 p484 p80 p186 p330 p532 p487 p488 p88 p375 p46 }) ({p351 p479 p489 p21 p415 } a20 {p128 p52 p487 p366 p448 p414 p134 }) ({p337 p505 p272 p280 p420 p472 p12 p432 p411 p328 p77 p484 p80 p487 p488 p449 p88 } a31 {p467 p272 p280 p424 p432 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p0 p552 p208 p17 p21 p24 p430 p432 p440 p257 p259 p130 p563 p453 p272 p569 p136 p281 p403 p410 p77 p484 p80 p186 p530 p487 p488 p88 } a20 {p3 p553 p212 p17 p20 p434 p432 p440 p328 p260 p389 p269 p452 p135 p278 p455 p570 p52 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p69 } a9 {p65 }) ({p74 } a10 {p57 }) ({p12 p123 p161 p90 } a31 {p549 p105 p89 p118 p160 p46 }) ({p487 p351 p366 p21 } a20 {p128 p52 p487 p366 p134 }) ({p151 p420 p553 p350 p472 p317 p12 p212 p319 p253 p433 p432 p328 p357 p389 p449 p271 p337 p505 p247 p108 p141 p411 p77 p484 p80 p299 p487 p488 p88 } a31 {p467 p150 p419 p554 p424 p319 p217 p432 p352 p254 p330 p46 p272 p136 p280 p287 p288 p403 p368 p77 p143 p464 p484 p80 p487 p488 p301 p88 p577 }) ({p439 p485 p58 p12 p172 p22 p340 p544 } a31 {p2 p80 p347 p490 p125 p270 p46 }) ({p568 p180 p477 p34 p146 p169 p535 p488 p192 p502 p407 } a51 {p180 p454 p512 p169 p488 p536 p23 p502 p407 p567 }) ({p508 p275 p14 p474 p431 p407 p409 p341 p384 p34 p488 p502 p567 } a51 {p409 p275 p384 p510 p473 p14 p488 p23 p431 p502 p407 p567 }) ({p568 p277 p514 p12 p571 p230 p17 p383 p405 p432 p407 p410 p384 p77 p561 p484 p80 p186 p487 p534 p488 p88 } a31 {p568 p362 p277 p17 p383 p405 p432 p407 p410 p384 p77 p561 p484 p80 p186 p226 p487 p534 p488 p538 p88 p361 p46 }) ({p505 p411 p80 p422 p12 p172 p22 p544 } a31 {p2 p464 p80 p447 p577 p46 }) ({p550 p204 p315 p478 p12 p286 p401 p367 p462 p128 p413 p332 p88 p414 p149 p269 p135 } a31 {p552 p363 p167 p208 p315 p19 p250 p140 p178 p435 p442 p296 p259 p130 p486 p346 p88 p46 }) ({p63 } a34 {p59 }) ({p119 p464 p21 p403 p138 } a20 {p273 p462 p328 p277 p52 p420 p389 p401 }) ({p570 p12 p487 p234 p351 p192 p174 p401 p269 } a31 {p506 p167 p259 p487 p563 p134 p46 }) ({p75 p464 p484 p487 p287 p488 p21 p367 p88 p250 p42 p432 } a20 {p53 p52 p420 p367 p253 p432 p462 p484 p487 p488 p86 p537 p88 }) ({p179 p551 p12 p88 } a31 {p290 p309 p164 p88 p46 }) ({p329 p21 p405 p236 } a20 {p328 p52 p242 p235 p335 p405 }) ({p56 } a25 {p82 }) ({p548 p547 p2 p167 p168 p315 p19 p21 p178 p435 p294 p486 p346 p88 p501 p101 p270 } a20 {p546 p550 p52 p204 p313 p478 p170 p172 p22 p439 p128 p413 p295 p485 p345 p332 p88 p414 p504 }) ({p0 p569 p277 p512 p17 p21 p24 p405 p432 p407 p410 p77 p484 p80 p186 p487 p533 p563 p488 p538 p88 p452 } a20 {p3 p455 p570 p52 p277 p514 p17 p20 p405 p432 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 p452 }) ({p337 p277 p240 p472 p12 p17 p432 p291 p410 p328 p77 p484 p387 p80 p487 p488 p88 p235 } a31 {p467 p237 p277 p280 p397 p17 p432 p410 p77 p484 p80 p186 p330 p487 p488 p88 p375 p46 }) ({p59 } a35 {p71 }) ({p178 p435 p2 p167 p345 p486 p19 p88 p21 p270 } a20 {p439 p52 p128 p413 p204 p485 p345 p478 p172 p22 p88 p414 }) ({p202 p12 p213 p17 p382 p383 p125 p127 p384 p385 p266 p267 p502 p272 p273 p506 p277 p397 p403 p405 p407 p410 p75 p77 p463 p79 p464 p528 p80 p531 p534 p538 p88 p539 p309 p473 p474 p432 p361 p568 p103 p167 p105 p169 p178 p180 p484 p186 p187 p487 p488 } a31 {p202 p213 p17 p382 p383 p125 p127 p384 p385 p266 p267 p502 p46 p272 p273 p506 p277 p397 p403 p405 p407 p410 p75 p77 p463 p79 p464 p528 p80 p531 p534 p538 p88 p539 p309 p473 p474 p432 p361 p568 p103 p167 p105 p169 p178 p180 p484 p186 p187 p487 p488 }) ({p150 p552 p208 p319 p21 p250 p432 p259 p130 p272 p136 p363 p287 p173 p288 p403 p368 p140 p77 p464 p484 p527 p80 p296 p298 p487 p488 p88 } a20 {p420 p553 p350 p316 p212 p253 p432 p328 p389 p269 p135 p52 p286 p247 p401 p367 p176 p108 p141 p462 p77 p484 p527 p80 p299 p487 p488 p300 p88 p149 }) ({p275 p14 p242 p431 p407 p409 p528 p186 p34 p488 p45 p567 p336 } a51 {p409 p275 p528 p187 p14 p488 p23 p431 p407 p236 p567 p336 }) ({p570 p510 p12 p17 p20 p174 p432 p436 p77 p484 p80 p487 p535 p234 p488 p192 p88 p334 p578 } a31 {p0 p506 p338 p512 p474 p17 p432 p406 p436 p77 p484 p80 p487 p563 p488 p88 p334 p46 }) ({p461 p275 p386 p12 p446 p519 p416 } a31 {p180 p442 p465 p169 p488 p137 p159 p494 p46 }) ({p202 p209 p472 p474 p22 p382 p23 p124 p383 p125 p439 p385 p387 p261 p266 p359 p269 p361 p505 p272 p103 p506 p570 p104 p167 p397 p172 p401 p403 p405 p178 p75 p462 p411 p79 p464 p80 p485 p186 p531 p487 p533 p534 p535 p86 p192 p538 p539 } a45 {p202 p209 p472 p474 p22 p382 p124 p383 p125 p439 p385 p387 p261 p266 p359 p269 p361 p505 p272 p103 p506 p570 p104 p167 p397 p172 p401 p403 p405 p178 p75 p462 p411 p78 p79 p464 p80 p485 p186 p531 p487 p533 p534 p535 p86 p192 p538 p539 }) ({p439 p492 p485 p345 p12 p537 p172 p22 p339 p88 } a31 {p548 p2 p79 p88 p101 p490 p125 p270 p46 }) ({p479 p489 p21 p134 p415 } a20 {p52 p487 p366 p448 p414 p134 }) ({p119 p75 p464 p21 p42 } a20 {p273 p462 p53 p52 p420 p86 p537 }) ({p467 p237 p7 p554 p474 p17 p217 p241 p382 p21 p432 p352 p29 p438 p330 p445 p263 p358 p334 p568 p274 p277 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p555 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p568 p395 p52 p277 p510 p283 p326 p405 p407 p248 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p3 p205 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p156 p387 p444 p260 p323 p357 p389 p337 p455 p283 p513 p247 p107 p108 p410 p77 p484 p185 p80 p115 p533 p487 p488 p88 p235 } a31 {p467 p237 p201 p7 p314 p154 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p515 p403 p110 p410 p77 p484 p80 p186 p188 p532 p487 p488 p88 p375 }) ({p21 p126 p221 p178 p435 p486 p497 p346 p266 p88 p541 p101 p543 p270 } a20 {p52 p478 p573 p221 p439 p413 p485 p345 p261 p332 p499 p116 p88 p414 }) ({p3 p205 p240 p12 p17 p26 p434 p432 p156 p387 p444 p260 p323 p455 p277 p283 p398 p514 p571 p230 p517 p107 p405 p407 p410 p77 p484 p185 p80 p115 p487 p488 p88 p235 p540 } a31 {p237 p201 p7 p314 p154 p17 p24 p432 p438 p437 p561 p226 p263 p361 p46 p453 p362 p569 p277 p281 p110 p405 p407 p410 p412 p77 p484 p80 p186 p188 p487 p534 p488 p538 p88 p375 }) ({p550 p204 p312 p421 p12 p320 p20 p427 p432 p440 p255 p128 p269 p452 p135 p278 p570 p174 p401 p77 p484 p80 p529 p487 p234 p488 p192 p304 p88 p578 } a31 {p0 p552 p312 p208 p423 p318 p19 p430 p432 p436 p257 p259 p130 p563 p451 p46 p506 p276 p167 p406 p77 p484 p80 p529 p487 p488 p88 p306 }) ({p462 p12 p487 p351 p401 p269 p415 } a31 {p178 p167 p259 p487 p366 p250 p134 p46 }) ({p0 p153 p314 p423 p17 p21 p24 p430 p222 p432 p437 p354 p257 p226 p563 p361 p453 p569 p277 p281 p512 p405 p407 p410 p77 p484 p80 p186 p487 p533 p488 p538 p88 p306 } a20 {p3 p153 p320 p17 p20 p434 p432 p440 p156 p260 p323 p227 p359 p452 p278 p455 p570 p52 p277 p514 p571 p230 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p275 p12 p171 p17 p519 p432 p77 p484 p386 p80 p233 p487 p488 p88 p567 } a31 {p169 p17 p137 p432 p77 p484 p80 p465 p146 p487 p488 p88 p502 p46 }) ({p1 } a21 {p81 }) ({p21 p267 p90 } a20 {p52 p88 p404 p327 }) ({p80 p21 p340 p544 } a20 {p52 p80 p537 p347 p339 }) ({p277 p512 p209 p17 p21 p556 p405 p222 p432 p407 p410 p412 p77 p354 p561 p484 p80 p226 p487 p488 p538 p88 p361 } a20 {p52 p277 p398 p209 p514 p571 p230 p17 p405 p432 p407 p410 p77 p484 p80 p562 p487 p535 p227 p488 p359 p88 p540 }) ({p548 p152 p2 p419 p424 p318 p19 p321 p21 p432 p436 p254 p451 p507 p506 p276 p167 p406 p77 p143 p484 p529 p80 p487 p488 p301 p88 p577 } a20 {p151 p550 p204 p421 p317 p427 p321 p22 p433 p432 p255 p128 p449 p271 p505 p509 p52 p172 p174 p411 p77 p527 p484 p80 p144 p487 p234 p488 p304 p88 p578 }) ({p549 p309 p104 p34 p124 p220 p118 p160 } a51 {p179 p551 p129 p123 p23 p249 }) ({p439 p80 p485 p12 p172 p22 p340 p544 } a31 {p2 p80 p347 p125 p270 p46 }) ({p467 p237 p474 p17 p241 p382 p21 p26 p432 p330 p357 p334 p568 p277 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p387 p357 p337 p568 p52 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p48 } a19 {p1 }) ({p569 p277 p512 p17 p20 p21 p405 p432 p407 p410 p77 p484 p80 p186 p487 p533 p563 p488 p538 p88 } a20 {p455 p570 p52 p277 p514 p17 p20 p405 p432 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p550 p153 p204 p312 p421 p12 p320 p20 p427 p432 p440 p255 p128 p269 p452 p135 p278 p570 p509 p174 p401 p77 p484 p80 p144 p530 p487 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p552 p312 p208 p423 p318 p19 p430 p432 p436 p257 p259 p130 p563 p451 p46 p506 p276 p511 p167 p406 p77 p484 p529 p80 p145 p487 p488 p88 p306 }) ({p272 p136 p363 p287 p286 p21 p250 p403 p368 p432 p77 p464 p484 p80 p259 p130 p487 p488 p88 } a20 {p52 p420 p350 p286 p247 p401 p367 p108 p253 p432 p462 p328 p77 p484 p80 p487 p488 p389 p88 p269 p135 }) ({p151 p420 p350 p317 p12 p319 p22 p253 p433 p432 p449 p271 p504 p505 p53 p172 p141 p411 p527 p484 p299 p487 p488 p537 p88 } a31 {p150 p548 p547 p507 p2 p419 p424 p287 p319 p288 p368 p432 p254 p75 p143 p464 p484 p487 p488 p301 p88 p577 p490 p46 }) ({p204 p478 p12 p286 p401 p367 p462 p128 p413 p346 p88 p414 p269 p135 } a31 {p363 p167 p208 p19 p250 p178 p435 p442 p296 p259 p130 p486 p346 p88 p46 }) ({p21 p289 } a20 {p52 p280 p407 }) ({p34 p347 p542 p251 p125 p229 } a51 {p127 p495 p23 p340 p47 }) ({p179 p551 p129 p12 p89 } a31 {p290 p309 p164 p200 p220 p89 p46 }) ({p168 p315 p207 p21 p126 p178 p435 p224 p294 p486 p497 p346 p266 p88 p541 p101 p543 p270 } a20 {p52 p313 p478 p170 p573 p221 p439 p413 p295 p485 p345 p261 p332 p499 p116 p191 p88 p414 }) ({p276 p570 p510 p326 p12 p17 p20 p427 p174 p432 p436 p77 p484 p80 p487 p535 p234 p488 p192 p88 p578 p452 } a31 {p0 p506 p276 p338 p512 p474 p17 p430 p432 p406 p436 p77 p484 p80 p487 p563 p488 p194 p88 p334 p451 p46 }) ({p435 p462 p478 p12 p86 p116 p367 p88 p414 p573 } a31 {p178 p435 p363 p442 p486 p266 p88 p250 p42 p46 }) ({p198 p78 p484 p210 p213 } a12 {p198 p484 p210 p213 p39 }) ({p462 p12 p86 p479 p116 p573 p415 } a31 {p178 p442 p487 p366 p266 p250 p42 p46 }) ({p53 p166 p313 p12 p172 p22 p339 p293 p439 p485 p345 p537 p88 p543 } a31 {p548 p2 p311 p168 p125 p75 p294 p88 p101 p490 p270 p46 p543 }) ({p40 } a54 {p41 }) ({p178 p34 p488 p366 p266 p416 p327 } a51 {p180 p488 p116 p573 p267 p23 p415 }) ({p439 p485 p345 p12 p537 p172 p22 p339 p88 p490 } a31 {p548 p2 p88 p101 p490 p125 p270 p46 }) ({p550 p204 p12 p20 p427 p432 p436 p255 p128 p269 p452 p135 p278 p570 p174 p401 p77 p484 p80 p529 p487 p234 p488 p192 p88 p578 } a31 {p0 p506 p276 p552 p167 p208 p19 p430 p432 p406 p436 p77 p484 p257 p80 p529 p259 p130 p487 p563 p488 p88 p451 p46 }) ({p546 p478 p12 p286 p367 p573 p462 p224 p413 p86 p332 p499 p116 p88 p414 p149 } a31 {p363 p250 p140 p178 p435 p224 p442 p296 p486 p346 p266 p88 p501 p42 p543 p46 }) ({p17 p21 p137 p407 p432 p410 p77 p484 p80 p187 p465 p146 p487 p488 p88 p336 } a20 {p275 p52 p17 p289 p432 p410 p77 p484 p80 p487 p488 p466 p88 p45 p567 }) ({p505 p410 p180 p322 p34 p472 p488 p169 p503 p369 } a51 {p467 p409 p180 p488 p169 p457 p23 p475 }) ({p71 } a28 {p68 }) ({p548 p2 p419 p424 p318 p19 p321 p21 p432 p436 p254 p451 p506 p276 p167 p406 p77 p484 p527 p80 p487 p488 p301 p88 p577 } a20 {p550 p204 p421 p317 p427 p321 p22 p433 p432 p255 p128 p449 p271 p505 p52 p172 p174 p411 p77 p484 p527 p80 p487 p234 p488 p304 p88 p578 }) ({p461 p73 p12 p446 p416 p327 } a31 {p180 p442 p488 p267 p159 p494 p574 p46 }) ({p0 p201 p314 p154 p423 p17 p21 p556 p24 p430 p222 p432 p437 p354 p561 p257 p226 p563 p361 p453 p569 p277 p281 p512 p405 p407 p410 p183 p77 p484 p80 p186 p145 p487 p533 p488 p538 p88 p306 } a20 {p199 p3 p153 p320 p17 p20 p434 p432 p440 p156 p562 p260 p323 p227 p359 p452 p278 p455 p570 p52 p277 p398 p514 p571 p230 p107 p405 p407 p410 p77 p484 p185 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p568 p277 p477 p17 p21 p383 p405 p407 p432 p410 p384 p77 p528 p484 p80 p487 p488 p88 p567 } a20 {p568 p52 p277 p17 p383 p405 p407 p432 p370 p410 p384 p77 p484 p80 p487 p488 p536 p88 p567 }) ({p370 p21 } a20 {p362 p52 p528 }) ({p12 p473 p244 } a31 {p384 p473 p243 p46 }) ({p363 p287 p286 p21 p250 p368 p432 p75 p464 p484 p487 p488 p88 p42 } a20 {p53 p52 p420 p350 p286 p367 p253 p432 p462 p484 p487 p488 p86 p537 p88 }) ({p376 p568 p274 p395 p277 p12 p17 p474 p216 p405 p432 p407 p410 p77 p484 p80 p487 p564 p488 p534 p88 } a31 {p568 p274 p277 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p445 p487 p488 p534 p88 p46 }) ({p33 } a15 {p44 }) ({p44 } a18 {p21 }) ({p32 } a50 {p76 }) ({p376 p568 p277 p510 p12 p17 p405 p432 p407 p410 p77 p484 p80 p487 p535 p488 p534 p88 p334 } a31 {p568 p277 p338 p512 p474 p17 p382 p243 p405 p432 p407 p410 p77 p484 p80 p487 p488 p534 p88 p334 p46 }) ({p180 p338 p387 p34 p187 p169 p488 p502 p407 p348 } a51 {p180 p338 p388 p187 p169 p488 p23 p375 p502 p407 }) ({p464 p34 p373 p447 p466 p335 p405 p232 p289 } a51 {p463 p329 p422 p390 p23 p336 p407 }) ({p362 p275 p338 p14 p169 p243 p431 p407 p409 p180 p34 p187 p488 p502 p567 } a51 {p362 p275 p338 p14 p169 p243 p23 p431 p407 p409 p180 p187 p488 p502 p567 }) ({p151 p420 p553 p350 p472 p317 p12 p212 p321 p253 p433 p432 p328 p357 p389 p449 p271 p337 p505 p509 p247 p176 p108 p141 p411 p77 p484 p80 p530 p299 p487 p488 p300 p88 } a31 {p467 p150 p419 p554 p424 p319 p217 p432 p352 p254 p330 p46 p272 p136 p280 p511 p287 p288 p403 p368 p177 p77 p143 p464 p484 p529 p80 p487 p488 p301 p303 p88 p577 }) ({p548 p2 p167 p313 p19 p21 p178 p435 p486 p346 p88 p101 p270 } a20 {p550 p52 p204 p313 p478 p172 p22 p439 p128 p413 p485 p345 p332 p88 p414 }) ({p467 p506 p276 p424 p474 p17 p21 p432 p406 p433 p254 p77 p484 p80 p330 p487 p488 p88 p577 p334 p451 } a20 {p337 p505 p52 p510 p326 p472 p17 p427 p174 p432 p433 p411 p255 p77 p484 p80 p487 p234 p488 p449 p88 p271 p578 }) ({p199 p153 p421 p12 p320 p17 p555 p20 p427 p219 p432 p353 p440 p255 p562 p227 p359 p452 p278 p570 p510 p279 p326 p174 p181 p77 p484 p80 p144 p532 p487 p535 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p312 p423 p318 p474 p17 p556 p430 p222 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p406 p183 p77 p484 p80 p532 p145 p487 p488 p194 p88 p306 }) ({p454 p570 p12 p138 p269 } a31 {p568 p277 p259 p563 p46 }) ({p462 p442 p12 p86 p116 p573 p415 } a31 {p178 p442 p366 p266 p250 p42 p46 }) ({p506 p386 p167 p34 p233 p14 p488 p171 p519 p431 p134 } a51 {p234 p169 p488 p14 p351 p174 p23 p502 p431 }) ({p3 p314 p240 p12 p17 p26 p434 p432 p387 p444 p260 p323 p455 p277 p283 p514 p230 p405 p407 p410 p77 p484 p80 p487 p488 p534 p88 p235 } a31 {p237 p7 p314 p17 p24 p432 p438 p437 p263 p361 p46 p453 p362 p569 p277 p281 p405 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 }) ({p35 } a23 {p37 }) ({p467 p568 p337 p277 p474 p17 p382 p21 p405 p432 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p568 p337 p52 p277 p510 p472 p17 p405 p432 p407 p410 p77 p484 p387 p80 p487 p533 p488 p88 }) ({p77 p12 p14 p88 p391 p431 p229 } a31 {p127 p77 p142 p88 p360 p252 p46 }) ({p376 p568 p277 p12 p17 p474 p216 p405 p432 p407 p410 p77 p484 p80 p445 p487 p564 p488 p534 p88 } a31 {p568 p277 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p445 p487 p488 p534 p88 p46 }) ({p546 p53 p166 p313 p12 p172 p22 p339 p293 p439 p485 p345 p537 p499 p88 } a31 {p548 p2 p311 p168 p125 p75 p294 p88 p501 p101 p490 p543 p270 p46 }) ({p411 p12 p17 p457 } a31 {p410 p17 p577 p46 }) ({p0 p552 p208 p423 p17 p320 p21 p24 p430 p432 p437 p257 p259 p130 p563 p453 p272 p569 p136 p281 p403 p410 p77 p484 p80 p186 p530 p487 p488 p88 } a20 {p3 p553 p212 p17 p320 p20 p434 p432 p440 p328 p260 p323 p389 p269 p452 p135 p278 p455 p570 p52 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p162 p129 p12 p124 p408 } a31 {p290 p164 p200 p105 p220 p89 p249 p46 }) ({p169 p21 p369 p252 p432 p77 p142 p484 p80 p322 p487 p488 p88 p502 } a20 {p52 p14 p171 p519 p432 p409 p77 p484 p386 p80 p233 p487 p488 p88 }) ({p467 p237 p474 p17 p241 p382 p21 p26 p432 p352 p330 p358 p334 p568 p277 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p353 p387 p357 p337 p568 p52 p277 p510 p326 p405 p407 p410 p77 p484 p80 p487 p533 p488 p88 }) ({p568 p569 p277 p240 p12 p514 p17 p405 p432 p407 p410 p77 p484 p387 p80 p487 p488 p534 p88 p235 } a31 {p568 p237 p362 p569 p277 p17 p405 p432 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 p46 }) ({p376 p568 p277 p12 p17 p474 p241 p405 p432 p407 p410 p77 p484 p80 p487 p488 p534 p88 } a31 {p568 p277 p17 p474 p241 p382 p243 p405 p432 p407 p410 p77 p484 p80 p487 p488 p534 p88 p46 }) ({p505 p53 p420 p12 p287 p172 p22 p368 p432 p411 p484 p487 p488 p537 p449 p88 } a31 {p548 p2 p424 p287 p368 p432 p75 p464 p484 p487 p488 p88 p577 p490 p46 }) ({p3 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p387 p444 p357 p389 p337 p455 p281 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p554 p17 p217 p24 p432 p352 p438 p330 p46 p453 p272 p569 p136 p280 p281 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p178 p386 p167 p34 p487 p366 p446 p519 p134 p416 } a51 {p180 p169 p488 p351 p479 p23 p415 }) ({p376 p568 p277 p12 p17 p474 p216 p405 p432 p407 p29 p410 p77 p484 p80 p487 p488 p534 p88 } a31 {p568 p277 p17 p474 p241 p382 p243 p405 p432 p407 p29 p410 p77 p484 p80 p487 p488 p534 p88 p46 }) ({p409 p491 p12 p14 p373 p391 p232 } a31 {p463 p77 p142 p322 p369 p490 p252 p46 }) ({p150 p420 p350 p472 p317 p12 p212 p319 p253 p433 p432 p328 p357 p389 p449 p271 p337 p505 p247 p108 p411 p77 p484 p80 p299 p487 p488 p88 } a31 {p467 p150 p419 p424 p319 p217 p432 p352 p254 p330 p46 p272 p136 p280 p287 p288 p403 p368 p77 p464 p484 p80 p487 p488 p301 p88 p577 }) ({p199 p550 p153 p204 p421 p12 p320 p20 p427 p432 p440 p255 p128 p269 p452 p135 p278 p570 p509 p279 p174 p401 p181 p77 p484 p80 p144 p530 p487 p234 p488 p192 p304 p88 p578 } a31 {p0 p152 p552 p312 p208 p423 p318 p19 p430 p432 p436 p257 p259 p130 p563 p451 p46 p506 p276 p511 p167 p406 p183 p77 p484 p529 p80 p145 p487 p488 p88 p306 }) ({p568 p277 p240 p12 p17 p405 p432 p407 p371 p410 p77 p484 p387 p80 p487 p488 p88 p235 } a31 {p568 p237 p362 p277 p17 p405 p432 p407 p410 p77 p484 p80 p531 p186 p487 p488 p88 p375 p46 }) ({p150 p547 p363 p316 p287 p288 p21 p250 p368 p432 p140 p75 p464 p484 p296 p487 p488 p88 p501 p42 } a20 {p546 p53 p52 p420 p350 p316 p286 p367 p253 p432 p141 p462 p484 p299 p487 p488 p86 p537 p88 p149 p504 }) ({p568 p277 p240 p472 p17 p382 p21 p405 p432 p407 p410 p77 p484 p80 p487 p533 p488 p88 p540 p375 } a20 {p376 p568 p52 p277 p240 p472 p17 p405 p432 p407 p410 p77 p484 p387 p80 p487 p533 p488 p88 p540 }) ({p80 p422 p21 p544 } a20 {p52 p420 p80 p537 p447 }) ({p337 p136 p455 p240 p472 p12 p17 p247 p432 p410 p328 p77 p484 p387 p80 p487 p488 p389 p88 p235 } a31 {p467 p272 p237 p569 p136 p280 p17 p403 p432 p410 p77 p484 p80 p186 p330 p487 p488 p88 p375 p46 }) ({p8 } a41 {p25 }) ({p435 p462 p442 p12 p86 p116 p367 p88 p414 p573 } a31 {p178 p435 p363 p442 p266 p88 p250 p42 p46 }) ({p275 p14 p242 p431 p407 p409 p186 p34 p488 p466 p45 p335 p567 } a51 {p409 p275 p329 p187 p14 p488 p23 p431 p407 p236 p336 p567 }) ({p3 p240 p472 p12 p212 p17 p26 p432 p328 p387 p357 p389 p337 p453 p455 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p17 p217 p24 p432 p352 p330 p46 p272 p453 p569 p136 p280 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p341 p508 p12 p536 p244 } a31 {p384 p338 p477 p473 p243 p46 }) ({p179 p75 p551 p412 p88 p21 p42 p125 } a20 {p309 p53 p52 p86 p537 p339 p88 p540 p124 p545 }) ({p337 p505 p420 p472 p12 p432 p291 p411 p328 p77 p484 p80 p487 p488 p449 p88 } a31 {p467 p280 p397 p424 p432 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p495 p347 p21 } a20 {p52 p496 p347 p542 }) ({p36 } a32 {p38 }) ({p505 p53 p420 p350 p12 p172 p22 p288 p253 p433 p432 p411 p484 p487 p488 p537 p449 p88 p271 } a31 {p548 p2 p419 p424 p287 p288 p368 p432 p254 p75 p464 p484 p487 p488 p88 p577 p490 p46 }) ({p491 p80 p34 p347 p391 p125 p229 } a51 {p127 p77 p58 p23 p340 p544 }) ({p337 p272 p277 p240 p472 p12 p17 p432 p410 p328 p77 p484 p387 p80 p487 p488 p389 p88 p235 } a31 {p467 p272 p237 p277 p280 p17 p403 p432 p410 p77 p484 p80 p186 p330 p487 p488 p88 p375 p46 }) ({p338 p34 p244 p383 } a51 {p377 p384 p338 p23 }) ({p186 p34 p242 p466 p45 p335 p405 p289 } a51 {p329 p187 p23 p390 p236 p336 p407 }) ({p568 p508 p277 p12 p17 p405 p432 p407 p341 p410 p384 p77 p484 p80 p487 p488 p536 p88 p502 } a31 {p568 p277 p338 p477 p473 p17 p405 p432 p407 p410 p384 p77 p484 p80 p487 p488 p88 p502 p46 }) ({p103 p129 p266 p21 p408 } a20 {p91 p52 p104 p98 p496 p116 p573 p220 }) ({p21 p539 p335 p405 p236 } a20 {p52 p242 p539 p235 p335 p405 }) ({p549 p309 p34 p86 p124 p574 p160 } a51 {p179 p73 p551 p123 p42 p23 }) ({p568 p277 p12 p17 p475 p405 p432 p407 p410 p77 p484 p80 p388 p487 p488 p466 p88 p45 } a31 {p568 p277 p17 p405 p432 p407 p410 p77 p484 p80 p187 p487 p488 p194 p88 p503 p348 p336 p46 }) ({p370 p34 p187 p539 p243 } a51 {p528 p187 p516 p243 p23 }) ({p467 p237 p7 p206 p554 p474 p17 p217 p241 p382 p21 p432 p352 p29 p438 p330 p445 p263 p358 p334 p274 p277 p515 p110 p405 p407 p410 p77 p484 p80 p114 p188 p487 p534 p488 p88 p375 } a20 {p376 p205 p240 p96 p472 p17 p555 p216 p219 p26 p432 p353 p387 p444 p564 p357 p337 p395 p52 p277 p510 p283 p326 p517 p405 p407 p248 p410 p77 p484 p80 p115 p533 p487 p190 p488 p88 }) ({p376 p12 p17 p555 p216 p219 p432 p353 p562 p227 p564 p359 p568 p395 p277 p510 p326 p405 p407 p248 p410 p77 p484 p80 p487 p535 p488 p534 p88 } a31 {p474 p17 p241 p382 p556 p243 p222 p432 p29 p354 p445 p358 p334 p46 p568 p274 p277 p338 p512 p405 p407 p410 p77 p484 p80 p487 p488 p534 p194 p88 }) ({p273 p180 p462 p277 p34 p465 p488 p401 p137 p494 p159 } a51 {p119 p461 p180 p275 p488 p23 p138 }) ({p37 } a24 {p44 }) ({p453 p0 p569 p277 p278 p512 p17 p21 p24 p430 p405 p432 p407 p410 p77 p484 p80 p186 p487 p533 p563 p488 p538 p88 } a20 {p3 p17 p20 p434 p432 p452 p455 p570 p52 p277 p278 p514 p405 p407 p410 p77 p484 p80 p487 p533 p535 p488 p192 p88 p235 }) ({p178 p412 p486 p266 p21 p541 p155 p126 } a20 {p52 p485 p478 p261 p116 p414 p540 p573 p432 }) ({p387 p329 p472 p12 p405 p236 } a31 {p467 p186 p242 p194 p375 p335 p405 p46 }) ({p467 p419 p317 p424 p474 p17 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p406 p77 p484 p80 p487 p488 p88 p577 } a20 {p421 p472 p317 p17 p427 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p326 p174 p411 p77 p484 p80 p487 p234 p488 p88 p578 }) ({p34 p266 p404 p542 p161 p327 } a51 {p162 p495 p116 p573 p267 p23 p109 }) ({p467 p152 p419 p312 p554 p424 p318 p474 p17 p217 p21 p432 p352 p436 p254 p330 p358 p334 p451 p506 p276 p511 p177 p406 p77 p143 p484 p80 p532 p487 p488 p301 p303 p88 p577 } a20 {p151 p421 p472 p317 p17 p555 p427 p321 p219 p433 p432 p353 p255 p357 p449 p271 p337 p505 p52 p510 p279 p326 p513 p174 p181 p411 p77 p484 p80 p144 p530 p487 p234 p488 p304 p88 p578 }) ({p467 p506 p474 p17 p457 p21 } a20 {p505 p410 p52 p510 p472 p234 p17 p174 }) ({p82 } a26 {p71 }) ({p0 p552 p314 p208 p423 p17 p21 p24 p430 p432 p437 p257 p259 p130 p563 p453 p272 p569 p136 p281 p403 p410 p77 p484 p80 p186 p530 p487 p488 p88 p306 } a20 {p3 p553 p212 p320 p17 p20 p434 p432 p440 p328 p156 p260 p323 p389 p269 p452 p135 p278 p455 p570 p52 p247 p401 p108 p410 p77 p484 p80 p530 p487 p488 p192 p88 p235 }) ({p237 p7 p472 p17 p241 p382 p21 p432 p29 p444 p568 p277 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p387 p444 p564 p568 p52 p277 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 }) ({p548 p506 p276 p2 p167 p424 p19 p21 p406 p432 p433 p254 p77 p484 p527 p80 p487 p488 p88 p577 p451 } a20 {p505 p550 p52 p204 p427 p172 p22 p174 p432 p433 p411 p255 p128 p77 p484 p527 p80 p487 p234 p488 p449 p88 p271 p578 }) ({p454 p570 p277 p12 } a31 {p568 p277 p563 p46 }) ({p467 p506 p424 p474 p17 p21 p432 p406 p433 p77 p484 p80 p330 p487 p488 p88 p577 p334 p451 p271 } a20 {p337 p505 p52 p510 p326 p472 p17 p427 p174 p432 p433 p411 p77 p484 p80 p487 p234 p488 p449 p88 p578 p271 }) ({p341 p508 p34 p474 p244 p383 } a51 {p377 p384 p510 p473 p23 }) ({p549 p105 p62 p89 } a7 {p161 p90 p69 }) ({p39 } a52 {p72 }) ({p272 p287 p21 p367 p250 p403 p432 p77 p464 p484 p80 p259 p487 p488 p88 } a20 {p52 p420 p247 p401 p367 p253 p432 p462 p328 p77 p484 p80 p487 p488 p389 p88 p269 }) ({p570 p12 p17 p19 p174 p401 p432 p128 p77 p484 p80 p487 p234 p488 p192 p88 p269 p135 } a31 {p506 p167 p17 p19 p432 p77 p484 p80 p259 p130 p487 p563 p488 p88 p46 }) ({p3 p553 p240 p472 p12 p212 p17 p26 p434 p432 p437 p328 p387 p444 p260 p357 p389 p337 p455 p283 p247 p108 p410 p77 p484 p80 p532 p487 p488 p88 p235 } a31 {p467 p237 p7 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p403 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p377 p510 p12 p535 } a31 {p338 p512 p474 p243 p383 p46 }) ({p439 p12 p17 p155 } a31 {p17 p270 p432 p46 }) ({p464 p491 p80 p34 p373 p447 p391 p232 } a51 {p463 p77 p422 p58 p23 p544 }) ({p79 p58 p21 p340 p544 } a20 {p52 p80 p492 p537 p347 p339 }) ({p568 p277 p12 p514 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p487 p534 p488 p88 p361 } a31 {p568 p362 p277 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p487 p534 p488 p538 p88 p46 p361 }) ({p60 } a6 {p30 }) ({p453 p3 p455 p277 p240 p12 p514 p17 p26 p405 p432 p407 p410 p77 p484 p387 p80 p487 p488 p534 p88 p235 } a31 {p453 p237 p362 p569 p277 p7 p17 p24 p405 p432 p407 p410 p77 p484 p80 p186 p487 p488 p534 p538 p88 p375 p46 }) ({p277 p477 p17 p21 p405 p432 p407 p410 p77 p528 p484 p80 p187 p146 p487 p488 p88 } a20 {p52 p277 p17 p405 p432 p407 p370 p410 p77 p484 p80 p487 p488 p536 p88 p45 p567 }) ({p409 p12 p373 p466 p475 p232 p289 } a31 {p463 p280 p322 p194 p503 p369 p336 p407 p46 }) ({p237 p7 p206 p472 p17 p241 p382 p21 p432 p29 p438 p445 p263 p568 p274 p277 p110 p405 p407 p410 p77 p484 p80 p114 p188 p487 p533 p488 p88 p540 p375 } a20 {p376 p205 p240 p96 p472 p17 p216 p26 p432 p387 p444 p564 p568 p395 p52 p277 p283 p405 p407 p248 p410 p77 p484 p80 p115 p487 p533 p190 p488 p88 p540 }) ({p244 p21 } a20 {p384 p52 p243 }) ({p0 p201 p552 p314 p154 p208 p423 p17 p21 p24 p430 p432 p437 p257 p259 p130 p563 p453 p272 p569 p136 p281 p511 p403 p410 p183 p77 p484 p80 p186 p532 p145 p487 p488 p88 p306 } a20 {p199 p3 p153 p553 p212 p320 p17 p20 p434 p432 p440 p328 p156 p260 p323 p389 p269 p452 p135 p278 p455 p570 p52 p513 p247 p107 p401 p108 p410 p77 p484 p185 p80 p530 p487 p488 p192 p88 p235 }) ({p570 p204 p12 p20 p174 p401 p432 p436 p128 p77 p484 p80 p529 p487 p234 p488 p192 p88 p269 p451 p135 p578 } a31 {p0 p506 p167 p208 p19 p406 p432 p436 p77 p484 p80 p529 p259 p130 p487 p563 p488 p88 p451 p46 }) ({p568 p277 p12 p17 p383 p405 p432 p407 p371 p410 p384 p77 p484 p80 p186 p487 p488 p88 } a31 {p568 p362 p277 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p531 p186 p487 p488 p88 p46 }) ({p337 p505 p420 p472 p12 p247 p368 p253 p432 p411 p328 p77 p484 p80 p487 p488 p389 p449 p88 p271 } a31 {p467 p272 p280 p424 p287 p403 p368 p432 p254 p77 p464 p484 p80 p330 p487 p488 p88 p577 p46 }) ({p568 p277 p473 p17 p21 p405 p432 p407 p410 p384 p77 p484 p80 p487 p488 p88 p503 p348 } a20 {p568 p508 p52 p277 p17 p475 p405 p432 p407 p341 p410 p77 p484 p80 p388 p487 p488 p244 p88 }) ({p272 p568 p362 p277 p240 p397 p12 p17 p403 p405 p432 p407 p410 p77 p484 p387 p80 p487 p488 p534 p194 p88 p235 } a31 {p272 p568 p237 p362 p277 p397 p17 p403 p405 p432 p407 p410 p77 p484 p80 p186 p487 p488 p534 p194 p88 p375 p46 }) ({p376 p568 p395 p277 p209 p96 p12 p17 p474 p216 p405 p432 p407 p248 p410 p77 p484 p80 p487 p190 p564 p488 p534 p88 } a31 {p206 p17 p474 p241 p382 p243 p432 p29 p445 p46 p568 p274 p277 p405 p407 p410 p77 p484 p80 p114 p487 p488 p534 p193 p88 }) ({p103 p439 p485 p345 p496 p12 p261 p339 p88 p47 } a31 {p103 p497 p88 p541 p101 p125 p126 p270 p46 }) ({p277 p202 p512 p17 p21 p556 p405 p222 p432 p407 p410 p412 p77 p354 p561 p484 p80 p226 p487 p488 p193 p538 p88 p361 } a20 {p52 p277 p209 p398 p514 p571 p230 p17 p405 p432 p407 p410 p77 p484 p80 p562 p158 p487 p535 p227 p488 p359 p88 p540 }) ({p387 p12 p194 p539 p405 p236 } a31 {p186 p242 p194 p539 p375 p405 p46 }) ({p568 p180 p277 p34 p465 p146 p169 p488 p192 p401 p137 p502 } a51 {p180 p454 p275 p488 p169 p23 p138 p502 p567 }) ({p550 p204 p12 p20 p427 p432 p436 p128 p269 p452 p135 p276 p570 p174 p401 p77 p484 p80 p529 p487 p234 p488 p192 p88 p578 } a31 {p0 p506 p276 p552 p167 p208 p19 p430 p432 p406 p436 p77 p484 p80 p529 p259 p130 p487 p563 p488 p88 p451 p46 }) ({p505 p411 p329 p422 p472 p12 p390 } a31 {p467 p280 p464 p447 p194 p577 p335 p405 p46 }) ({p376 p209 p96 p12 p17 p555 p216 p219 p432 p353 p562 p227 p564 p359 p395 p277 p510 p326 p517 p405 p407 p248 p410 p77 p484 p80 p487 p190 p535 p488 p88 p540 } a31 {p206 p474 p17 p241 p382 p556 p243 p222 p432 p29 p354 p445 p358 p334 p46 p274 p277 p338 p512 p405 p407 p410 p412 p77 p484 p80 p114 p487 p534 p488 p193 p194 p88 }) ({p505 p420 p492 p12 p172 p22 p432 p411 p484 p487 p488 p537 p449 p88 } a31 {p548 p2 p424 p432 p464 p79 p484 p487 p488 p88 p577 p490 p46 }) ({p548 p152 p2 p419 p312 p424 p318 p19 p21 p432 p436 p254 p451 p507 p506 p276 p167 p177 p406 p77 p143 p484 p529 p80 p487 p488 p301 p303 p88 p577 } a20 {p151 p550 p204 p421 p317 p427 p321 p22 p433 p432 p255 p128 p449 p271 p505 p509 p52 p279 p172 p174 p181 p411 p77 p527 p484 p80 p144 p487 p234 p488 p304 p88 p578 }) ({p468 p411 p12 p457 p22 } a31 {p410 p2 p17 p577 p46 }) ({p44 } a17 {p48 }) ({p150 p552 p208 p319 p21 p250 p432 p259 p130 p272 p507 p136 p363 p287 p173 p288 p403 p368 p140 p77 p464 p484 p529 p80 p296 p298 p487 p488 p88 } a20 {p420 p553 p350 p316 p212 p253 p432 p328 p389 p269 p135 p509 p52 p286 p247 p401 p367 p176 p108 p141 p462 p77 p527 p484 p80 p299 p487 p488 p300 p88 p149 }) ({p237 p7 p472 p17 p241 p382 p21 p432 p29 p438 p445 p568 p277 p283 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 p375 } a20 {p376 p240 p472 p17 p216 p26 p432 p387 p444 p564 p568 p395 p52 p277 p283 p405 p407 p410 p77 p484 p80 p115 p487 p533 p488 p88 p540 }) ({p421 p12 p318 p17 p20 p427 p432 p353 p440 p255 p359 p452 p278 p570 p510 p326 p174 p77 p484 p80 p487 p535 p234 p488 p192 p88 p578 } a31 {p0 p423 p318 p474 p17 p430 p432 p436 p354 p257 p563 p358 p334 p451 p46 p506 p276 p338 p512 p406 p77 p484 p80 p487 p488 p194 p88 }) ({p3 p201 p553 p240 p472 p12 p212 p17 p26 p434 p432 p328 p156 p387 p444 p260 p323 p357 p389 p337 p455 p283 p513 p247 p107 p108 p410 p77 p484 p80 p115 p533 p487 p488 p88 p235 } a31 {p467 p237 p201 p7 p314 p154 p554 p17 p217 p24 p432 p352 p438 p437 p330 p263 p46 p453 p272 p569 p136 p281 p280 p515 p403 p110 p410 p77 p484 p80 p186 p532 p487 p488 p88 p375 }) ({p568 p277 p514 p12 p17 p230 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p226 p487 p534 p488 p88 } a31 {p568 p362 p277 p17 p383 p405 p432 p407 p410 p384 p77 p484 p80 p186 p226 p487 p534 p488 p538 p88 p361 p46 }) }, initialMarking = {p198 p199 p201 p202 p205 p206 p209 p210 p14 p213 p17 p19 p20 p22 p24 p218 p26 p220 p221 p29 p31 p224 p226 p227 p334 p335 p336 p337 p338 p73 p461 p75 p462 p77 p463 p79 p464 p80 p345 p83 p85 p86 p346 p347 p88 p240 p472 p473 p474 p241 p242 p243 p475 p357 p358 p359 p361 p103 p362 p104 p105 p366 p367 p368 p484 p114 p485 p115 p486 p487 p488 p489 p490 p123 p382 p124 p383 p125 p127 p384 p385 p387 p388 p261 p266 p267 p134 p269 p502 p135 p271 p272 p273 p505 p274 p506 p136 p275 p276 p277 p278 p280 p281 p283 p397 p286 p287 p288 p401 p403 p405 p406 p407 p409 p410 p411 p527 p528 p529 p530 p531 p532 p533 p534 p535 p536 p538 p539 p540 p149 p542 p543 p545 p150 p546 p151 p547 p152 p309 p153 p311 p312 p154 p313 p314 p315 p316 p317 p318 p319 p320 p321 p431 p432 p433 p435 p436 p437 p439 p440 p561 p442 p562 p444 p445 p447 p449 p451 p452 p567 p453 p568 p569 p570 p167 p169 p172 p178 p180 p186 p187 p192 p194 }, acceptingPlaces = {p72 } );