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