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