// Testfile dumped by Ultimate at 2020/03/07 10:45:42 // // 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 }, transitions = { ({p85 p378 p142 p268 p92 p14 p183 p131 p73 p443 } a20 {p190 p46 p86 p81 p141 p269 p72 p173 p283 p114 }) ({p1 p338 p450 p490 p310 p14 p316 p407 p200 p388 p282 p545 p549 p456 p159 p416 p288 p327 p165 p72 p331 p481 } a20 {p293 p338 p46 p213 p489 p450 p545 p321 p284 p549 p202 p203 p456 p159 p417 p327 p165 p72 p331 p336 p305 p559 }) ({p548 p455 p27 p414 p494 p436 p426 p242 p470 p545 p402 } a51 {p550 p455 p414 p536 p494 p426 p242 p15 p470 p545 p402 }) ({p1 p10 p359 p396 p327 p428 p401 p403 p85 p338 p246 p490 p492 p142 p493 p495 p366 p543 p547 p548 p549 p251 p157 p159 p457 p503 p303 p304 p306 p374 } a31 {p1 p359 p396 p327 p428 p401 p40 p403 p85 p338 p246 p490 p492 p142 p493 p495 p366 p543 p547 p548 p549 p498 p251 p157 p159 p457 p303 p304 p508 p306 }) ({p339 p27 p195 p526 p514 } a51 {p197 p329 p15 p451 p351 }) ({p14 p406 } a20 {p405 p46 p494 }) ({p0 p307 p10 p219 p111 p321 p463 p230 p478 p180 p327 p125 p331 p471 p338 p531 p489 p193 p140 p270 p344 p545 p549 p348 p456 p161 p417 p208 p302 p72 } a31 {p310 p221 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p405 p531 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p554 p72 p210 p97 }) ({p7 p70 } a39 {p8 p71 p56 }) ({p46 } a22 {p28 }) ({p307 p10 p219 p111 p321 p463 p230 p478 p180 p327 p125 p331 p471 p338 p531 p489 p193 p140 p270 p344 p545 p549 p154 p348 p456 p159 p161 p417 p165 p208 p302 p72 } a31 {p310 p221 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p405 p531 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p159 p165 p72 p210 p97 }) ({p404 p338 p216 p10 p492 p536 p493 p494 p495 p545 p549 p456 p159 p415 p327 p165 p350 p398 p331 p428 p72 p429 } a31 {p509 p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p456 p159 p235 p415 p327 p165 p350 p331 p428 p72 p429 p40 }) ({p188 p457 p142 p92 p72 p14 p506 p131 p543 } a20 {p529 p46 p553 p141 p196 p279 p444 p458 p72 p173 p114 }) ({p338 p193 p490 p310 p108 p366 p14 p316 p407 p545 p549 p465 p456 p159 p416 p327 p165 p72 p331 p469 p304 p210 p97 } a20 {p212 p80 p111 p321 p327 p331 p336 p471 p338 p46 p449 p489 p193 p364 p294 p545 p497 p549 p203 p456 p159 p417 p165 p302 p72 p305 }) ({p1 p104 p216 p10 p395 p396 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p235 p395 p396 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p509 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p338 p488 p14 p367 p472 p545 p549 p456 p159 p301 p327 p165 p331 p72 p209 p528 } a20 {p211 p338 p46 p109 p421 p496 p545 p549 p414 p456 p159 p122 p327 p165 p370 p331 p72 }) ({p404 p43 p338 p104 p384 p493 p494 p111 p259 p14 p545 p549 p263 p456 p159 p415 p327 p165 p301 p331 p428 p72 p401 p306 } a20 {p404 p43 p338 p46 p104 p493 p385 p494 p111 p545 p549 p262 p456 p159 p415 p327 p165 p301 p398 p240 p331 p428 p72 p306 }) ({p293 p0 p529 p338 p134 p307 p489 p193 p450 p10 p196 p279 p321 p417 p444 p180 p327 p72 p331 p559 } a31 {p338 p134 p191 p310 p407 p543 p200 p388 p282 p359 p154 p554 p457 p327 p459 p182 p72 p331 p481 p445 p40 }) ({p339 p532 p10 p196 p281 p173 p559 } a31 {p549 p142 p459 p481 p290 p200 p388 p351 p40 }) ({p17 } a46 {p18 }) ({p191 p492 p144 p14 p359 p154 p158 p232 p456 p206 p178 p289 p399 } a20 {p0 p307 p46 p491 p344 p358 p463 p158 p159 p456 p478 p180 p208 p397 p289 }) ({p473 p415 p10 p111 } a31 {p104 p415 p40 p97 }) ({p256 p175 p135 p251 p155 p157 p27 p327 p419 p278 p476 } a51 {p320 p136 p252 p177 p162 p331 p15 p95 }) ({p509 p405 p50 p264 p554 p350 p459 p254 p113 p72 p114 } a5 {p510 p92 p53 p73 }) ({p404 p338 p10 p492 p536 p493 p494 p495 p545 p517 p549 p456 p159 p415 p327 p165 p350 p398 p331 p428 p72 p429 } a31 {p509 p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p227 p456 p159 p415 p327 p165 p350 p331 p428 p72 p429 p40 }) ({p464 p308 p479 p495 p14 } a20 {p463 p307 p46 p493 p468 p408 p319 }) ({p320 p358 p136 p159 p553 p177 p10 p458 p95 } a31 {p188 p135 p251 p155 p157 p178 p144 p327 p254 p506 p40 }) ({p379 p10 p73 } a31 {p379 p73 p40 }) ({p404 p488 p205 p27 p491 p328 p360 p428 p542 p59 p546 p545 } a51 {p488 p206 p330 p426 p15 p544 p402 p545 }) ({p293 p529 p339 p450 p10 p196 p279 p112 p173 p444 p123 p72 p94 p559 } a31 {p134 p142 p543 p200 p388 p282 p116 p115 p457 p459 p72 p481 p445 p351 p40 }) ({p338 p191 p492 p14 p545 p549 p359 p158 p232 p456 p159 p206 p178 p327 p165 p289 p72 p331 p399 } a20 {p338 p307 p46 p491 p344 p545 p358 p549 p463 p158 p456 p159 p478 p180 p327 p165 p208 p397 p289 p72 p331 }) ({p214 p14 p317 p422 p26 p235 p327 p331 p430 p429 p243 p527 p404 p338 p246 p493 p494 p440 p148 p545 p548 p549 p498 p456 p159 p415 p502 p164 p165 p72 } a20 {p376 p216 p314 p233 p29 p425 p327 p332 p331 p527 p431 p404 p338 p46 p248 p536 p493 p494 p438 p546 p545 p549 p551 p456 p159 p415 p166 p165 p503 p504 p72 }) ({p99 p176 p141 p10 p167 p475 p114 } a31 {p379 p87 p268 p92 p110 p183 p131 p73 p443 p40 }) ({p136 p327 p14 p95 } a20 {p98 p133 p135 p46 p155 p327 }) ({p357 p179 p14 p277 p199 p558 p545 } a20 {p460 p46 p192 p455 p554 p165 p255 p343 p540 p356 }) ({p404 p338 p10 p492 p218 p536 p493 p494 p495 p545 p549 p456 p159 p415 p327 p165 p350 p398 p331 p428 p72 p429 } a31 {p509 p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p456 p159 p415 p236 p327 p165 p350 p331 p428 p72 p429 p40 }) ({p530 p138 p191 p217 p492 p144 p14 p359 p154 p285 p232 p160 p456 p206 p178 p399 p129 p291 } a20 {p0 p530 p307 p46 p140 p491 p219 p270 p344 p358 p463 p158 p159 p456 p478 p180 p208 p397 p289 p129 }) ({p75 p14 } a20 {p75 p46 }) ({p22 } a49 {p9 }) ({p212 p10 p314 p80 p233 p425 p327 p331 p336 p338 p189 p449 p364 p294 p546 p545 p497 p549 p203 p456 p159 p165 p503 p72 p305 } a31 {p338 p189 p214 p490 p108 p366 p113 p316 p545 p549 p422 p498 p26 p456 p159 p416 p327 p165 p350 p331 p72 p469 p304 p40 }) ({p376 p43 p404 p338 p216 p10 p536 p493 p494 p440 p545 p549 p262 p456 p159 p29 p415 p327 p165 p398 p332 p331 p72 } a31 {p509 p404 p338 p384 p493 p494 p259 p317 p440 p545 p548 p549 p456 p159 p235 p415 p32 p502 p327 p165 p331 p72 p429 p40 }) ({p549 p308 p14 p281 } a20 {p549 p307 p46 p279 p290 p319 }) ({p489 p27 p415 p126 p198 p528 p477 p559 p545 } a51 {p3 p414 p481 p334 p15 p200 p388 p545 }) ({p310 p108 p221 p14 p316 p516 p465 p234 p327 p182 p331 p525 p469 p338 p189 p490 p143 p366 p407 p545 p345 p549 p456 p159 p349 p163 p416 p165 p72 p304 p210 p97 } a20 {p212 p80 p111 p321 p519 p230 p523 p327 p427 p241 p331 p185 p336 p471 p338 p46 p449 p489 p193 p364 p294 p146 p545 p497 p549 p203 p348 p456 p159 p161 p417 p165 p302 p72 p305 }) ({p338 p212 p364 p10 p314 p113 p546 p545 p497 p549 p233 p456 p159 p415 p425 p327 p165 p503 p331 p72 p305 } a31 {p338 p214 p490 p366 p113 p545 p549 p422 p498 p26 p456 p159 p415 p327 p165 p331 p72 p40 }) ({p532 p308 p489 p10 p196 p417 p281 p559 } a31 {p549 p359 p459 p481 p407 p319 p290 p200 p388 p40 }) ({p10 p144 p397 p16 p544 } a31 {p404 p232 p159 p194 p178 p554 p40 }) ({p548 p27 p207 p493 p93 p436 p468 p406 } a51 {p550 p464 p536 p494 p208 p479 p15 p470 }) ({p376 p404 p338 p104 p246 p216 p10 p493 p494 p545 p548 p549 p456 p159 p415 p395 p165 p301 p327 p72 p331 p428 p403 p306 } a31 {p509 p104 p235 p395 p327 p331 p428 p40 p403 p404 p338 p246 p493 p494 p545 p548 p549 p456 p159 p415 p502 p165 p301 p72 p306 }) ({p174 p379 p86 p27 p110 p74 } a51 {p99 p176 p15 p167 p475 }) ({p179 p92 p145 p72 p14 p199 p130 p545 } a20 {p460 p46 p192 p455 p343 p172 p540 p72 p114 }) ({p85 p142 p92 p14 p183 p167 p131 p73 p443 } a20 {p190 p46 p379 p86 p81 p141 p72 p173 p283 p114 }) ({p338 p3 p192 p10 p540 p545 p549 p414 p456 p159 p327 p165 p255 p343 p331 p72 } a31 {p338 p198 p477 p545 p357 p549 p456 p159 p327 p165 p126 p331 p72 p528 p40 }) ({p338 p530 p138 p191 p217 p492 p14 p545 p549 p359 p285 p232 p160 p456 p159 p206 p178 p327 p165 p331 p72 p399 p129 p291 } a20 {p307 p219 p358 p463 p478 p180 p327 p397 p289 p331 p129 p338 p530 p46 p140 p491 p270 p344 p545 p549 p158 p456 p159 p165 p208 p72 }) ({p464 p479 p14 p495 p319 } a20 {p463 p46 p493 p468 p319 p408 }) ({p384 p108 p259 p221 p14 p263 p465 p234 p32 p327 p331 p428 p469 p401 p41 p404 p338 p435 p493 p494 p366 p545 p345 p549 p456 p159 p349 p415 p165 p72 p304 p210 p97 } a20 {p212 p385 p80 p111 p262 p230 p327 p241 p398 p240 p331 p428 p185 p471 p43 p404 p338 p46 p449 p534 p364 p435 p493 p494 p294 p545 p497 p549 p348 p456 p159 p415 p165 p302 p72 }) ({p3 p104 p109 p110 p111 p14 p114 p236 p395 p397 p239 p398 p242 p400 p290 p402 p403 p404 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 } a20 {p3 p104 p109 p110 p111 p114 p236 p395 p397 p239 p398 p242 p400 p290 p402 p403 p404 p46 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 }) ({p548 p214 p235 p330 p14 p374 } a20 {p46 p233 p216 p536 p428 p508 p546 }) ({p384 p108 p14 p465 p327 p331 p428 p469 p401 p404 p338 p493 p494 p366 p545 p549 p456 p159 p348 p415 p165 p72 p304 p210 p97 } a20 {p212 p385 p80 p111 p327 p398 p331 p428 p471 p404 p338 p46 p449 p364 p493 p494 p294 p545 p497 p549 p456 p159 p348 p415 p165 p302 p72 }) ({p0 p338 p307 p191 p489 p10 p111 p545 p321 p549 p463 p456 p478 p417 p327 p208 p302 p72 p331 p471 } a31 {p338 p405 p191 p310 p492 p407 p545 p549 p359 p154 p465 p456 p554 p327 p72 p331 p210 p97 p40 }) ({p217 p512 p14 p359 p285 p232 p178 p327 p331 p399 p129 p291 p338 p531 p138 p191 p492 p545 p549 p160 p456 p159 p206 p165 p72 } a20 {p307 p219 p513 p358 p463 p478 p180 p327 p397 p289 p331 p129 p530 p338 p46 p140 p491 p270 p344 p545 p549 p158 p456 p159 p165 p208 p72 }) ({p376 p216 p10 p262 p29 p327 p398 p332 p331 p431 p43 p404 p338 p435 p536 p493 p494 p545 p411 p549 p551 p456 p159 p415 p165 p504 p72 } a31 {p509 p384 p259 p317 p235 p32 p327 p524 p331 p429 p40 p404 p432 p338 p246 p493 p494 p440 p545 p548 p549 p456 p159 p415 p502 p164 p165 p72 }) ({p338 p307 p191 p489 p10 p111 p545 p321 p549 p463 p154 p456 p159 p478 p417 p327 p165 p208 p302 p331 p72 p471 } a31 {p338 p405 p191 p310 p492 p407 p545 p549 p359 p154 p465 p456 p159 p327 p165 p331 p72 p210 p97 p40 }) ({p358 p553 p456 p27 p194 p179 p165 p277 p199 } a51 {p188 p455 p165 p16 p361 p15 p356 }) ({p98 p132 p75 p101 p553 p81 p177 p141 p10 p458 } a31 {p188 p85 p251 p103 p87 p106 p72 p506 p131 p40 }) ({p320 p136 p215 p14 p333 } a20 {p133 p257 p46 p213 p228 p155 p327 }) ({p1 p104 p10 p395 p396 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p515 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p395 p396 p242 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p509 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p549 p308 p489 p10 p196 p417 p281 p559 } a31 {p549 p359 p481 p290 p407 p319 p200 p388 p40 }) ({p549 p14 p281 p319 } a20 {p549 p46 p279 p319 p290 }) ({p338 p217 p492 p14 p317 p545 p548 p549 p422 p26 p232 p456 p159 p206 p415 p327 p165 p289 p331 p72 p429 p399 } a20 {p219 p314 p463 p29 p425 p478 p327 p397 p289 p332 p331 p338 p46 p491 p536 p344 p546 p545 p549 p456 p159 p415 p165 p208 p72 }) ({p359 p27 p207 p493 p93 p255 p468 p406 p319 } a51 {p357 p464 p308 p494 p208 p479 p15 p470 }) ({p175 p455 p10 p165 p72 p331 p419 p278 p476 p356 } a31 {p252 p162 p179 p72 p331 p277 p199 p558 p40 }) ({p464 p308 p493 p14 } a20 {p463 p307 p46 p493 p468 p319 }) ({p211 p265 p27 p122 p366 p496 p403 p306 } a51 {p497 p212 p364 p395 p301 p386 p295 p15 p367 }) ({p60 } a29 {p10 }) ({p531 p138 p191 p217 p492 p144 p512 p14 p359 p154 p285 p232 p160 p456 p206 p178 p399 p129 p291 } a20 {p0 p530 p307 p46 p140 p491 p219 p270 p513 p344 p358 p463 p158 p159 p456 p478 p180 p208 p397 p289 p129 }) ({p214 p14 p317 p422 p520 p26 p235 p327 p524 p331 p430 p429 p243 p404 p338 p246 p493 p494 p440 p148 p545 p548 p549 p498 p456 p159 p415 p502 p164 p165 p72 } a20 {p376 p216 p314 p233 p29 p425 p327 p332 p331 p527 p431 p404 p338 p46 p248 p536 p493 p494 p438 p546 p545 p411 p549 p551 p456 p159 p415 p166 p165 p503 p504 p72 }) ({p404 p338 p352 p493 p494 p14 p367 p472 p545 p549 p456 p159 p415 p395 p301 p327 p165 p331 p428 p72 p209 } a20 {p404 p211 p338 p46 p265 p493 p109 p494 p496 p545 p549 p456 p159 p415 p122 p327 p165 p331 p428 p72 p400 }) ({p362 p530 p133 p213 p491 p10 p511 p318 p284 p358 p117 p202 p158 p159 p397 p289 p72 p129 } a31 {p1 p448 p340 p138 p217 p144 p512 p285 p118 p157 p232 p206 p178 p288 p254 p128 p72 p40 }) ({p56 } a14 {p25 }) ({p338 p405 p307 p489 p10 p111 p545 p321 p549 p463 p456 p159 p417 p327 p165 p208 p302 p331 p72 p471 } a31 {p338 p405 p310 p407 p545 p549 p359 p465 p456 p159 p327 p165 p331 p72 p210 p97 p40 }) ({p404 p338 p104 p10 p493 p385 p494 p545 p549 p263 p456 p159 p415 p327 p165 p301 p331 p428 p72 p304 p306 } a31 {p404 p338 p104 p493 p494 p545 p549 p263 p456 p159 p264 p415 p327 p165 p301 p331 p428 p72 p401 p304 p40 p306 }) ({p357 p338 p179 p327 p165 p14 p72 p331 p277 p199 p545 } a20 {p338 p460 p46 p192 p540 p356 p455 p327 p165 p255 p343 p72 p331 }) ({p133 p448 p213 p491 p10 p318 p284 p358 p202 p158 p159 p397 p289 p72 } a31 {p1 p448 p340 p138 p217 p144 p285 p157 p232 p206 p178 p288 p254 p72 p40 }) ({p256 p175 p455 p10 p165 p419 p278 p476 p356 } a31 {p252 p162 p179 p254 p331 p277 p199 p558 p40 }) ({p20 } a48 {p23 }) ({p68 p18 } a37 {p19 p49 p69 }) ({p19 } a47 {p27 }) ({p1 p104 p10 p218 p395 p396 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p236 p395 p396 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p509 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p488 p494 p109 p515 p545 p367 p550 p455 p27 p414 p264 p236 p301 p426 p507 p402 } a51 {p488 p218 p494 p109 p15 p545 p367 p550 p455 p414 p264 p301 p426 p242 p507 p402 }) ({p338 p448 p213 p491 p10 p314 p316 p546 p545 p549 p202 p456 p159 p425 p327 p165 p397 p331 p72 p336 p305 } a31 {p1 p338 p448 p490 p217 p316 p545 p549 p422 p26 p232 p456 p159 p206 p416 p327 p165 p331 p72 p40 }) ({p0 p307 p10 p279 p112 p321 p444 p123 p180 p327 p331 p293 p529 p338 p489 p193 p450 p140 p196 p341 p161 p417 p72 p276 p559 } a31 {p310 p383 p388 p282 p116 p359 p327 p182 p331 p481 p445 p40 p338 p134 p191 p143 p407 p543 p200 p154 p160 p272 p554 p457 p459 p72 }) ({p464 p493 p14 p319 } a20 {p463 p46 p493 p468 p319 }) ({p1 p448 p340 p14 p200 p388 p282 p116 p157 p288 p128 p72 p481 p445 p351 } a20 {p293 p362 p133 p339 p46 p213 p450 p511 p318 p284 p117 p202 p123 p72 p559 }) ({p1 p104 p10 p395 p396 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p517 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p227 p395 p396 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p509 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p414 p10 p207 p109 p93 p255 p406 } a31 {p357 p405 p494 p350 p209 p470 p472 p528 p40 }) ({p549 p460 p192 p27 p142 p343 p172 p540 p290 } a51 {p532 p196 p145 p281 p15 p173 p545 }) ({p98 p132 p133 p358 p158 p159 p553 p177 p10 p458 p254 p72 } a31 {p188 p251 p138 p157 p106 p178 p144 p254 p72 p506 p40 }) ({p404 p338 p214 p493 p314 p494 p14 p545 p548 p549 p422 p498 p456 p159 p235 p415 p502 p327 p165 p331 p72 p429 } a20 {p376 p404 p338 p46 p216 p536 p493 p314 p494 p546 p545 p549 p233 p456 p159 p415 p425 p327 p165 p503 p332 p331 p72 }) ({p40 } a33 {p54 }) ({p211 p488 p494 p109 p366 p496 p545 p455 p27 p414 p264 p301 p426 p402 } a51 {p212 p488 p364 p494 p109 p15 p367 p545 p497 p455 p414 p264 p301 p426 p402 }) ({p293 p338 p307 p461 p489 p10 p196 p279 p321 p456 p417 p327 p72 p331 p559 } a31 {p338 p310 p407 p200 p388 p282 p547 p359 p456 p327 p459 p72 p331 p481 p40 }) ({p265 p122 p14 } a20 {p46 p264 p395 p301 p113 }) ({p212 p10 p314 p80 p233 p425 p327 p427 p241 p331 p525 p185 p336 p338 p449 p364 p248 p294 p146 p438 p546 p545 p497 p549 p203 p456 p159 p166 p165 p503 p72 p305 } a31 {p214 p108 p113 p316 p422 p26 p234 p327 p331 p430 p469 p525 p243 p40 p338 p189 p490 p366 p148 p545 p549 p498 p456 p159 p349 p163 p416 p165 p350 p72 p304 }) ({p464 p308 p489 p10 p417 p208 p302 p111 p479 } a31 {p405 p359 p493 p350 p468 p407 p319 p210 p97 p40 }) ({p1 p310 p14 p316 p388 p282 p288 p327 p123 p182 p331 p481 p445 p338 p189 p448 p490 p407 p200 p545 p549 p456 p159 p416 p165 p72 } a20 {p213 p511 p321 p284 p327 p123 p427 p331 p336 p293 p362 p338 p46 p489 p193 p450 p545 p549 p202 p203 p456 p159 p417 p165 p72 p305 p559 }) ({p213 p169 p10 p511 p314 p284 p117 p425 p327 p427 p397 p289 p331 p129 p336 p362 p530 p338 p491 p146 p438 p546 p545 p549 p202 p203 p456 p159 p166 p165 p72 p305 } a31 {p1 p217 p512 p316 p422 p285 p118 p26 p232 p288 p327 p128 p331 p430 p40 p338 p189 p448 p490 p148 p545 p549 p456 p159 p206 p163 p416 p165 p275 p72 }) ({p212 p10 p385 p80 p233 p327 p241 p240 p331 p428 p185 p404 p338 p449 p534 p364 p248 p493 p494 p294 p437 p545 p497 p549 p456 p159 p415 p165 p503 p72 } a31 {p214 p108 p113 p263 p264 p234 p327 p331 p428 p469 p243 p401 p41 p40 p404 p338 p493 p494 p437 p366 p545 p549 p498 p456 p159 p349 p415 p165 p350 p72 p304 }) ({p473 p490 p366 p14 p334 p304 p210 } a20 {p497 p212 p46 p104 p489 p415 p364 p294 p302 p305 }) ({p10 p144 p458 p16 p361 } a31 {p159 p456 p194 p178 p554 p506 p40 }) ({p376 p104 p216 p10 p395 p327 p331 p428 p403 p404 p338 p493 p494 p545 p548 p411 p549 p551 p456 p159 p415 p165 p301 p72 p306 } a31 {p509 p104 p235 p395 p327 p524 p331 p428 p40 p403 p404 p338 p246 p493 p494 p545 p548 p549 p456 p159 p415 p502 p165 p301 p72 p306 }) ({p548 p455 p27 p414 p236 p494 p436 p426 p470 p515 p545 p402 } a51 {p550 p455 p414 p218 p536 p494 p426 p242 p15 p470 p545 p402 }) ({p159 p194 p10 p458 p361 } a31 {p456 p159 p194 p506 p40 }) ({p10 p329 p172 p72 p186 p373 } a31 {p195 p145 p72 p526 p514 p40 }) ({p252 p195 p162 p331 p72 p14 p526 p514 } a20 {p256 p175 p46 p329 p72 p419 p278 p476 }) ({p456 p194 p10 p144 } a31 {p159 p456 p194 p554 p40 }) ({p0 p293 p529 p338 p307 p489 p193 p450 p140 p10 p383 p196 p279 p112 p321 p161 p444 p417 p123 p180 p327 p331 p72 p559 } a31 {p310 p383 p388 p282 p116 p359 p327 p182 p331 p481 p445 p40 p338 p134 p191 p143 p407 p543 p200 p154 p160 p554 p457 p459 p72 }) ({p404 p338 p104 p266 p10 p493 p494 p545 p549 p456 p159 p415 p327 p165 p301 p331 p428 p72 p303 p306 } a31 {p404 p338 p104 p493 p494 p545 p549 p456 p159 p264 p415 p396 p327 p165 p301 p331 p428 p72 p303 p40 p306 }) ({p379 p86 p27 p141 p181 p442 p130 } a51 {p183 p15 p167 p131 p443 }) ({p1 p293 p340 p157 p450 p72 p14 p481 p200 p388 p351 } a20 {p293 p133 p202 p339 p46 p213 p450 p72 p318 p559 }) ({p497 p212 p24 p233 p364 p425 p10 p503 p295 p546 } a31 {p422 p498 p214 p490 p313 p366 p113 p306 p40 }) ({p404 p338 p214 p493 p494 p14 p438 p317 p545 p548 p549 p422 p498 p26 p456 p159 p235 p415 p502 p327 p165 p331 p72 p429 } a20 {p376 p216 p314 p233 p29 p425 p327 p332 p331 p404 p338 p46 p536 p493 p494 p438 p546 p545 p549 p456 p159 p415 p165 p503 p72 }) ({p9 } a42 {p62 }) ({p320 p136 p14 p333 p95 } a20 {p98 p133 p257 p135 p46 p155 p327 }) ({p214 p104 p14 p235 p425 p395 p327 p331 p428 p243 p527 p403 p404 p338 p246 p493 p494 p545 p549 p498 p456 p159 p415 p502 p165 p301 p72 p306 } a20 {p376 p104 p216 p233 p425 p395 p327 p331 p428 p527 p403 p404 p338 p46 p248 p493 p494 p545 p549 p551 p456 p159 p415 p165 p301 p503 p72 p306 }) ({p217 p512 p14 p317 p422 p285 p118 p26 p232 p327 p125 p331 p430 p429 p399 p291 p338 p531 p492 p440 p148 p545 p548 p549 p456 p159 p206 p415 p164 p165 p72 } a20 {p219 p314 p513 p463 p29 p425 p478 p327 p397 p289 p332 p331 p129 p431 p530 p338 p46 p491 p536 p438 p270 p344 p546 p545 p549 p91 p456 p159 p415 p166 p165 p208 p504 p72 }) ({p92 p181 p145 p14 p442 p130 p73 } a20 {p46 p172 p72 p186 p373 p114 }) ({p212 p104 p10 p233 p395 p396 p327 p331 p428 p401 p403 p404 p338 p490 p364 p493 p494 p545 p497 p549 p456 p159 p415 p165 p301 p503 p72 p303 p304 p306 } a31 {p214 p104 p395 p396 p327 p331 p428 p401 p40 p403 p404 p338 p490 p493 p494 p366 p545 p549 p498 p456 p159 p415 p165 p301 p72 p303 p304 p306 }) ({p27 p142 p172 p186 p373 } a51 {p190 p145 p15 p173 p283 }) ({p104 p384 p111 p259 p14 p263 p32 p327 p331 p428 p401 p41 p404 p338 p435 p493 p494 p545 p549 p456 p159 p415 p165 p301 p72 p306 } a20 {p104 p385 p111 p262 p327 p398 p240 p331 p428 p43 p404 p338 p46 p534 p435 p493 p494 p545 p549 p456 p159 p415 p165 p301 p72 p306 }) ({p338 p307 p489 p10 p111 p408 p545 p321 p549 p463 p456 p159 p417 p327 p165 p208 p302 p331 p72 p471 } a31 {p338 p405 p310 p495 p407 p545 p549 p359 p465 p456 p159 p327 p165 p331 p72 p210 p97 p40 }) ({p404 p338 p212 p364 p10 p493 p385 p494 p294 p80 p545 p497 p549 p233 p456 p159 p415 p327 p165 p503 p331 p428 p72 p469 } a31 {p404 p338 p214 p108 p493 p494 p366 p113 p545 p549 p498 p456 p159 p264 p415 p327 p165 p331 p428 p72 p469 p401 p304 p40 }) ({p55 } a8 {p52 }) ({p57 } a30 {p30 }) ({p358 p159 p553 p456 p27 p194 p179 p277 p199 p558 } a51 {p188 p455 p144 p165 p16 p361 p15 p356 }) ({p217 p512 p14 p317 p422 p285 p26 p232 p327 p331 p430 p429 p399 p129 p291 p338 p531 p492 p440 p545 p548 p549 p456 p159 p206 p415 p165 p72 } a20 {p219 p314 p513 p463 p29 p425 p478 p327 p397 p289 p332 p331 p129 p431 p530 p338 p46 p491 p536 p438 p270 p344 p546 p545 p549 p456 p159 p415 p165 p208 p72 }) ({p190 p339 p378 p81 p10 p72 p173 p283 } a31 {p85 p378 p142 p197 p72 p451 p351 p40 }) ({p384 p108 p259 p221 p14 p516 p263 p465 p234 p32 p327 p331 p428 p525 p469 p401 p41 p404 p432 p338 p493 p494 p437 p366 p545 p345 p549 p456 p159 p349 p415 p165 p72 p304 p210 p97 } a20 {p212 p385 p80 p111 p519 p262 p230 p523 p327 p241 p398 p240 p331 p428 p185 p471 p43 p404 p338 p46 p449 p534 p364 p435 p493 p494 p294 p545 p497 p549 p348 p456 p159 p415 p418 p165 p302 p72 }) ({p10 p386 p306 } a31 {p264 p403 p40 p306 }) ({p404 p358 p205 p27 p491 p194 p554 p360 p542 p277 p545 } a51 {p206 p554 p16 p15 p544 p402 p356 p545 }) ({p293 p529 p338 p307 p489 p10 p196 p279 p321 p154 p456 p457 p417 p327 p72 p331 p559 } a31 {p338 p310 p407 p543 p200 p388 p282 p359 p154 p456 p457 p327 p459 p72 p331 p481 p40 }) ({p497 p212 p233 p364 p10 p503 p386 p295 } a31 {p498 p214 p264 p366 p113 p403 p40 p306 }) ({p115 p188 p134 p103 p106 p457 p142 p14 p72 p543 p506 p131 } a20 {p132 p529 p46 p141 p196 p279 p112 p173 p553 p444 p458 p72 p94 }) ({p10 p219 p111 p463 p262 p230 p29 p478 p327 p125 p398 p332 p331 p471 p43 p338 p536 p270 p440 p344 p545 p549 p348 p456 p159 p415 p165 p208 p302 p72 } a31 {p384 p259 p221 p317 p465 p32 p327 p125 p331 p429 p399 p291 p40 p338 p405 p492 p440 p545 p345 p548 p549 p456 p159 p415 p165 p72 p210 p97 }) ({p104 p10 p417 p334 } a31 {p104 p415 p407 p40 }) ({p0 p307 p10 p219 p111 p321 p463 p230 p478 p180 p327 p331 p471 p291 p338 p489 p193 p140 p344 p545 p549 p348 p456 p161 p417 p208 p302 p72 } a31 {p310 p221 p359 p465 p327 p182 p331 p399 p40 p291 p338 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p554 p72 p210 p97 }) ({p404 p338 p104 p384 p493 p494 p111 p14 p545 p549 p262 p456 p159 p415 p327 p165 p301 p331 p428 p72 p401 p306 } a20 {p404 p338 p46 p104 p493 p385 p494 p111 p545 p549 p262 p456 p159 p415 p327 p165 p301 p398 p331 p428 p72 p306 }) ({p1 p201 p228 p155 p157 p455 p27 p254 p419 p476 p545 p484 } a51 {p202 p136 p455 p215 p162 p254 p557 p15 p545 }) ({p63 } a11 {p36 }) ({p425 p10 p330 p397 p544 } a31 {p404 p422 p232 p428 p40 }) ({p548 p455 p27 p414 p207 p494 p436 p93 p426 p468 p545 p402 } a51 {p550 p464 p455 p414 p536 p494 p208 p426 p15 p470 p545 p402 }) ({p98 p132 p89 p101 p553 p177 p141 p10 p458 p72 } a31 {p188 p251 p103 p87 p106 p72 p506 p131 p40 }) ({p404 p338 p10 p536 p111 p408 p545 p549 p463 p456 p159 p415 p327 p165 p208 p302 p398 p331 p72 p471 } a31 {p404 p338 p405 p384 p495 p545 p548 p549 p465 p456 p159 p415 p327 p165 p331 p72 p210 p97 p40 }) ({p307 p10 p219 p111 p321 p463 p230 p478 p180 p327 p331 p471 p291 p338 p489 p193 p140 p344 p545 p549 p154 p348 p456 p159 p161 p417 p165 p208 p302 p72 } a31 {p310 p221 p359 p465 p327 p182 p331 p399 p40 p291 p338 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p159 p165 p72 p210 p97 }) ({p188 p359 p159 p14 p16 p361 p543 } a20 {p529 p358 p307 p46 p553 p456 p159 p194 p196 p279 }) ({p464 p308 p489 p10 p417 p493 p208 p302 p111 } a31 {p359 p493 p350 p468 p407 p319 p210 p97 p40 }) ({p37 } a0 {p7 }) ({p202 p24 p215 p491 p425 p10 p397 p546 } a31 {p1 p422 p228 p232 p206 p490 p313 p40 }) ({p531 p138 p191 p217 p492 p144 p512 p14 p359 p154 p285 p118 p232 p160 p456 p206 p178 p125 p399 p291 } a20 {p0 p530 p307 p46 p140 p491 p219 p270 p513 p344 p358 p463 p91 p158 p159 p456 p478 p180 p208 p397 p289 p129 }) ({p338 p448 p213 p491 p10 p314 p546 p545 p284 p549 p202 p203 p456 p159 p425 p327 p165 p397 p289 p331 p72 p336 p305 } a31 {p1 p338 p448 p490 p217 p316 p545 p549 p422 p285 p26 p232 p456 p159 p206 p416 p288 p327 p165 p331 p72 p40 }) ({p122 p395 p14 } a20 {p46 p395 p301 p113 }) ({p404 p211 p338 p488 p104 p10 p493 p494 p496 p545 p549 p456 p159 p415 p395 p327 p165 p301 p331 p428 p72 p507 p403 p306 } a31 {p404 p338 p168 p488 p104 p493 p494 p367 p545 p549 p456 p159 p415 p395 p165 p301 p327 p72 p331 p428 p372 p40 p403 p306 }) ({p162 p126 p331 p72 p14 p198 p557 p514 p477 } a20 {p201 p256 p3 p46 p329 p72 p419 p484 p476 }) ({p192 p27 p142 p343 p172 p540 p290 p545 } a51 {p196 p145 p281 p15 p173 p545 }) ({p212 p10 p314 p80 p233 p425 p327 p427 p241 p331 p336 p338 p449 p364 p248 p294 p438 p546 p545 p497 p549 p203 p456 p159 p163 p165 p503 p72 p305 } a31 {p214 p108 p113 p316 p422 p26 p327 p331 p430 p469 p243 p40 p338 p189 p490 p366 p545 p549 p498 p456 p159 p349 p416 p163 p165 p350 p72 p304 }) ({p404 p338 p104 p352 p493 p109 p494 p14 p545 p549 p456 p159 p415 p395 p327 p165 p301 p331 p428 p72 p306 } a20 {p404 p338 p46 p104 p265 p493 p109 p494 p545 p549 p456 p159 p415 p327 p165 p301 p331 p428 p72 p400 p306 }) ({p214 p104 p14 p520 p235 p425 p395 p327 p524 p331 p428 p243 p403 p404 p338 p246 p493 p494 p545 p549 p498 p456 p159 p415 p502 p165 p301 p72 p306 } a20 {p376 p104 p216 p233 p425 p395 p327 p331 p428 p527 p403 p404 p338 p46 p248 p493 p494 p545 p411 p549 p551 p456 p159 p415 p165 p301 p503 p72 p306 }) ({p24 p215 p14 } a20 {p46 p213 p228 p313 p305 }) ({p404 p338 p10 p493 p494 p436 p515 p545 p549 p456 p159 p415 p327 p165 p331 p428 p72 p400 p470 } a31 {p509 p404 p338 p352 p493 p494 p545 p550 p549 p456 p159 p415 p327 p165 p242 p331 p428 p72 p470 p40 }) ({p307 p10 p111 p321 p463 p478 p180 p327 p331 p471 p291 p338 p489 p193 p344 p545 p549 p154 p348 p456 p159 p160 p417 p165 p208 p302 p72 } a31 {p310 p359 p465 p327 p182 p331 p399 p40 p291 p338 p405 p191 p492 p407 p545 p345 p549 p154 p456 p159 p160 p165 p72 p210 p97 }) ({p213 p10 p511 p314 p284 p425 p327 p427 p397 p289 p331 p128 p336 p362 p530 p338 p491 p438 p546 p545 p549 p202 p203 p456 p159 p165 p72 p305 } a31 {p1 p217 p512 p316 p422 p285 p26 p232 p288 p327 p331 p128 p430 p40 p338 p189 p448 p490 p545 p549 p456 p159 p206 p416 p165 p72 }) ({p0 p307 p10 p111 p321 p463 p478 p180 p327 p331 p471 p291 p338 p489 p193 p344 p545 p549 p348 p456 p160 p417 p208 p302 p72 } a31 {p338 p405 p191 p310 p492 p407 p545 p345 p549 p359 p154 p465 p456 p160 p554 p327 p182 p331 p72 p399 p210 p40 p291 p97 }) ({p132 p188 p359 p154 p191 p178 p457 p144 p14 p543 p506 } a20 {p0 p529 p132 p307 p46 p196 p279 p358 p159 p553 p444 p180 p458 }) ({p211 p455 p27 p414 p490 p313 p301 p366 p370 p421 p496 p545 } a51 {p497 p212 p24 p488 p455 p414 p364 p301 p15 p367 p545 }) ({p362 p530 p133 p213 p491 p10 p511 p318 p284 p358 p202 p158 p159 p397 p289 p72 p128 } a31 {p1 p448 p340 p138 p217 p144 p512 p285 p157 p232 p206 p178 p288 p254 p72 p128 p40 }) ({p168 p488 p233 p27 p328 p494 p428 p372 p508 p59 p546 p545 } a51 {p488 p214 p494 p330 p426 p15 p507 p374 p545 }) ({p338 p212 p364 p10 p314 p546 p545 p497 p549 p233 p456 p159 p415 p425 p124 p327 p165 p503 p331 p72 p305 } a31 {p338 p214 p490 p366 p113 p545 p549 p422 p498 p26 p456 p159 p415 p327 p165 p303 p331 p72 p40 }) ({p404 p338 p104 p534 p10 p493 p385 p494 p545 p549 p456 p159 p415 p418 p327 p165 p301 p240 p331 p428 p72 p304 p306 } a31 {p404 p338 p104 p493 p494 p437 p545 p549 p263 p456 p159 p264 p415 p327 p165 p301 p331 p428 p72 p401 p304 p41 p40 p306 }) ({p132 p188 p338 p191 p14 p543 p359 p159 p178 p457 p327 p72 p331 p506 } a20 {p529 p132 p338 p307 p46 p196 p279 p358 p553 p159 p444 p180 p458 p327 p72 p331 }) ({p553 p456 p27 p141 p179 p199 p130 } a51 {p188 p455 p361 p15 p131 }) ({p404 p338 p212 p104 p364 p10 p108 p493 p385 p494 p294 p545 p497 p549 p233 p456 p159 p415 p327 p165 p503 p331 p428 p72 } a31 {p404 p338 p214 p104 p108 p493 p494 p366 p113 p545 p549 p498 p456 p159 p264 p415 p327 p165 p331 p428 p72 p401 p304 p40 }) ({p10 p219 p111 p463 p262 p230 p29 p478 p327 p398 p332 p331 p471 p291 p43 p338 p536 p344 p545 p549 p348 p456 p159 p415 p165 p208 p302 p72 } a31 {p384 p259 p221 p317 p465 p32 p327 p331 p429 p399 p40 p291 p338 p405 p492 p545 p345 p548 p549 p456 p159 p415 p165 p72 p210 p97 }) ({p10 p425 p503 p330 p374 } a31 {p422 p498 p428 p508 p40 }) ({p133 p358 p257 p202 p213 p158 p159 p491 p10 p397 p72 } a31 {p1 p138 p157 p232 p206 p217 p178 p144 p254 p72 p333 p40 }) ({p1 p338 p450 p490 p14 p407 p200 p388 p545 p321 p549 p456 p159 p416 p327 p165 p72 p331 p481 } a20 {p338 p46 p213 p489 p450 p545 p321 p549 p202 p456 p159 p417 p327 p165 p72 p331 p336 p305 p559 }) ({p358 p202 p136 p215 p159 p491 p10 p327 p397 } a31 {p1 p228 p155 p157 p232 p206 p178 p144 p327 p40 }) ({p404 p338 p10 p536 p111 p545 p549 p463 p456 p159 p415 p478 p327 p165 p208 p302 p398 p331 p72 p399 p471 } a31 {p404 p338 p405 p384 p492 p545 p548 p549 p465 p456 p159 p415 p327 p165 p331 p72 p399 p210 p97 p40 }) ({p58 } a9 {p55 }) ({p133 p448 p213 p491 p10 p318 p358 p202 p158 p159 p288 p397 p72 } a31 {p1 p448 p340 p138 p217 p144 p157 p232 p206 p178 p288 p254 p72 p40 }) ({p404 p338 p384 p108 p493 p494 p366 p14 p545 p549 p456 p159 p415 p327 p165 p331 p428 p72 p401 p304 p210 p471 p97 } a20 {p212 p385 p80 p111 p327 p398 p331 p428 p471 p404 p338 p46 p364 p493 p494 p294 p545 p497 p549 p456 p159 p415 p165 p302 p72 }) ({p10 p167 p73 } a31 {p379 p268 p73 p40 }) ({p217 p512 p14 p359 p285 p118 p232 p178 p327 p125 p331 p399 p291 p338 p531 p138 p191 p492 p545 p549 p160 p456 p159 p206 p165 p72 } a20 {p307 p219 p513 p358 p463 p478 p180 p327 p397 p289 p331 p129 p530 p338 p46 p140 p491 p270 p344 p545 p549 p91 p158 p456 p159 p165 p208 p72 }) ({p62 } a10 {p50 }) ({p214 p104 p14 p235 p425 p395 p327 p331 p428 p403 p404 p338 p248 p493 p494 p545 p549 p498 p456 p159 p415 p502 p165 p301 p72 p306 } a20 {p376 p104 p216 p233 p425 p395 p327 p331 p428 p403 p404 p338 p46 p248 p493 p494 p545 p549 p456 p159 p415 p165 p301 p503 p72 p306 }) ({p159 p10 p397 p16 p544 } a31 {p404 p232 p159 p194 p178 p40 }) ({p1 p448 p340 p14 p200 p388 p282 p157 p288 p123 p72 p481 p445 p351 } a20 {p293 p362 p133 p339 p46 p213 p450 p511 p318 p284 p202 p123 p72 p559 }) ({p212 p10 p314 p80 p519 p233 p425 p327 p427 p241 p331 p527 p185 p336 p338 p449 p364 p248 p294 p146 p438 p546 p545 p497 p549 p203 p456 p159 p166 p165 p503 p72 p305 } a31 {p214 p108 p113 p316 p422 p520 p26 p234 p327 p331 p525 p430 p469 p243 p40 p338 p189 p490 p366 p148 p545 p549 p498 p456 p159 p349 p163 p416 p165 p350 p72 p304 }) ({p396 p386 p14 p303 p295 } a20 {p46 p266 p124 p403 p306 }) ({p85 p190 p339 p10 p72 p173 p283 } a31 {p85 p142 p197 p72 p451 p351 p40 }) ({p357 p205 p494 p360 p14 p542 p277 p470 p558 } a20 {p46 p554 p207 p165 p93 p255 p406 p402 p356 }) ({p54 } a34 {p51 }) ({p550 p488 p27 p352 p494 p109 p301 p398 p545 } a51 {p550 p488 p384 p494 p109 p301 p15 p400 p545 }) ({p175 p135 p251 p27 p110 p278 p292 } a51 {p89 p99 p252 p177 p15 p95 }) ({p3 p460 p192 p10 p329 p343 p172 p540 } a31 {p126 p459 p145 p198 p514 p477 p545 p40 }) ({p464 p10 p536 p208 p302 p111 p479 p398 } a31 {p548 p405 p384 p493 p350 p468 p210 p97 p40 }) ({p404 p338 p168 p493 p494 p14 p59 p545 p550 p549 p456 p159 p415 p328 p327 p165 p242 p331 p72 p372 } a20 {p404 p338 p46 p493 p494 p436 p515 p545 p549 p456 p159 p415 p327 p165 p426 p331 p72 p507 }) ({p49 } a25 {p67 }) ({p256 p14 } a20 {p46 p254 p331 }) ({p320 p358 p202 p136 p215 p159 p491 p10 p397 } a31 {p1 p228 p155 p157 p232 p206 p178 p144 p327 p254 p40 }) ({p293 p461 p339 p10 p196 p279 p72 p173 p559 } a31 {p547 p142 p459 p72 p481 p200 p388 p282 p351 p40 }) ({p51 } a35 {p60 }) ({p188 p134 p138 p191 p106 p383 p144 p14 p543 p359 p154 p160 p178 p457 p369 p506 } a20 {p132 p0 p529 p307 p46 p140 p382 p196 p279 p112 p341 p358 p158 p159 p553 p444 p180 p458 }) ({p10 p219 p111 p513 p463 p262 p230 p29 p478 p523 p327 p398 p332 p331 p431 p471 p43 p338 p435 p536 p270 p344 p545 p549 p91 p348 p456 p159 p415 p165 p208 p302 p504 p72 } a31 {p384 p259 p221 p317 p516 p465 p32 p327 p125 p331 p429 p399 p291 p40 p432 p338 p531 p405 p492 p440 p545 p345 p548 p549 p456 p159 p415 p164 p165 p72 p210 p97 }) ({p338 p494 p14 p542 p545 p357 p549 p205 p456 p159 p327 p165 p360 p72 p331 p277 p470 } a20 {p338 p46 p406 p356 p545 p549 p456 p159 p207 p327 p165 p93 p255 p72 p331 p402 }) ({p396 p386 p14 p306 } a20 {p46 p266 p403 p306 }) ({p168 p488 p494 p545 p367 p550 p233 p27 p264 p301 p426 p372 p508 } a51 {p550 p488 p214 p264 p494 p301 p426 p15 p507 p545 p367 p374 }) ({p175 p455 p10 p72 p278 p292 p114 } a31 {p252 p87 p179 p92 p72 p199 p130 p40 }) ({p188 p338 p134 p138 p191 p106 p383 p14 p543 p359 p160 p159 p178 p457 p327 p369 p72 p331 p506 } a20 {p132 p529 p338 p307 p46 p140 p382 p196 p279 p112 p341 p358 p158 p553 p159 p444 p180 p458 p327 p72 p331 }) ({p265 p10 p301 } a31 {p264 p395 p301 p40 }) ({p339 p27 p126 p198 p514 p477 p559 } a51 {p3 p329 p481 p15 p200 p388 p351 }) ({p188 p359 p154 p144 p14 p16 p361 p543 } a20 {p0 p529 p358 p307 p46 p159 p553 p456 p194 p196 p279 }) ({p89 p99 p553 p177 p141 p10 p458 p95 p114 } a31 {p188 p135 p251 p87 p92 p110 p506 p131 p40 }) ({p473 p10 p417 p111 p334 } a31 {p104 p415 p407 p97 p40 }) ({p359 p455 p27 p207 p494 p93 p255 p468 p319 p545 } a51 {p357 p464 p308 p455 p494 p208 p15 p470 p545 }) ({p4 } a21 {p66 }) ({p10 p111 p463 p327 p398 p331 p428 p429 p471 p404 p338 p492 p536 p493 p494 p495 p545 p549 p456 p159 p415 p165 p208 p302 p72 } a31 {p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p465 p456 p159 p415 p327 p165 p331 p428 p72 p429 p210 p97 p40 }) ({p338 p494 p14 p542 p59 p545 p550 p549 p205 p456 p159 p415 p328 p327 p165 p360 p331 p72 p470 } a20 {p338 p46 p436 p406 p545 p549 p456 p159 p415 p207 p327 p165 p93 p426 p331 p72 p402 }) ({p550 p488 p104 p27 p352 p494 p302 p398 p209 p472 p545 } a51 {p473 p550 p488 p384 p109 p494 p400 p15 p210 p545 }) ({p98 p132 p133 p382 p10 p318 p358 p158 p159 p553 p177 p458 p368 p72 } a31 {p188 p340 p138 p381 p106 p144 p251 p157 p178 p254 p369 p72 p506 p40 }) ({p175 p135 p251 p155 p157 p27 p331 p419 p278 p476 } a51 {p136 p252 p177 p162 p331 p15 p95 }) ({p42 } a19 {p4 }) ({p24 p228 p14 p306 } a20 {p46 p228 p313 p305 p306 }) ({p190 p339 p380 p81 p10 p269 p72 p173 p283 } a31 {p85 p378 p142 p197 p72 p271 p451 p351 p40 }) ({p1 p310 p14 p316 p388 p282 p116 p288 p327 p128 p182 p331 p481 p445 p338 p189 p448 p490 p143 p407 p200 p545 p549 p456 p159 p163 p416 p165 p72 p276 } a20 {p213 p511 p321 p284 p117 p123 p327 p427 p331 p336 p293 p362 p338 p46 p489 p193 p450 p146 p545 p549 p202 p203 p456 p159 p161 p417 p165 p72 p276 p305 p559 }) ({p464 p10 p536 p493 p208 p302 p111 p398 } a31 {p548 p384 p493 p350 p468 p210 p97 p40 }) ({p265 p27 p301 p403 } a51 {p395 p301 p386 p15 }) ({p188 p134 p138 p191 p382 p106 p144 p14 p543 p359 p154 p160 p178 p457 p506 } a20 {p132 p0 p529 p307 p46 p140 p382 p196 p279 p112 p358 p158 p159 p553 p444 p180 p458 }) ({p99 p85 p251 p176 p14 p167 p475 } a20 {p98 p75 p101 p46 p379 p86 p81 p177 p110 }) ({p384 p108 p259 p14 p263 p230 p465 p327 p331 p428 p469 p401 p404 p338 p493 p494 p366 p545 p345 p549 p456 p159 p349 p415 p165 p72 p304 p210 p97 } a20 {p212 p385 p80 p111 p262 p230 p327 p241 p398 p240 p331 p428 p471 p404 p338 p46 p449 p364 p493 p494 p294 p545 p497 p549 p348 p456 p159 p415 p165 p302 p72 }) ({p36 } a54 {p37 }) ({p338 p212 p364 p10 p314 p294 p546 p545 p497 p549 p233 p456 p159 p415 p425 p416 p327 p165 p503 p331 p72 p305 } a31 {p338 p214 p490 p366 p113 p545 p549 p422 p498 p26 p456 p159 p415 p416 p327 p165 p331 p72 p304 p40 }) ({p293 p529 p338 p134 p307 p489 p193 p450 p10 p196 p279 p321 p154 p417 p444 p180 p327 p72 p331 p559 } a31 {p338 p134 p191 p310 p407 p543 p200 p388 p282 p359 p154 p457 p327 p459 p182 p72 p331 p481 p445 p40 }) ({p265 p301 p14 } a20 {p46 p264 p395 p301 }) ({p376 p216 p10 p262 p29 p327 p398 p332 p331 p431 p43 p404 p338 p435 p536 p493 p494 p545 p549 p551 p456 p159 p415 p164 p165 p72 } a31 {p509 p384 p259 p317 p235 p32 p327 p331 p429 p40 p404 p432 p338 p246 p493 p494 p440 p545 p548 p549 p456 p159 p415 p502 p164 p165 p72 }) ({p293 p529 p339 p10 p457 p196 p279 p72 p173 p559 } a31 {p457 p142 p459 p72 p481 p543 p200 p388 p282 p351 p40 }) ({p338 p212 p364 p10 p314 p294 p80 p316 p546 p545 p497 p549 p233 p456 p159 p425 p327 p165 p503 p331 p72 p336 p305 } a31 {p338 p214 p490 p108 p366 p113 p316 p545 p549 p422 p498 p26 p456 p159 p416 p327 p165 p331 p72 p304 p40 }) ({p404 p338 p104 p534 p10 p493 p385 p494 p437 p545 p549 p456 p159 p415 p327 p165 p301 p240 p331 p428 p72 p304 p306 } a31 {p404 p338 p104 p493 p494 p437 p545 p549 p263 p456 p159 p264 p415 p327 p165 p301 p331 p428 p72 p401 p304 p41 p40 p306 }) ({p3 p104 p109 p110 p111 p14 p114 p395 p397 p398 p400 p290 p402 p403 p404 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p515 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 } a20 {p3 p104 p109 p110 p111 p114 p395 p397 p242 p398 p400 p290 p402 p403 p404 p46 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p509 p313 p319 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 }) ({p1 p201 p256 p228 p155 p157 p27 p327 p419 p484 p476 } a51 {p320 p202 p136 p215 p162 p331 p557 p15 }) ({p60 } a28 {p57 }) ({p188 p338 p134 p138 p191 p382 p106 p14 p543 p359 p160 p159 p178 p457 p327 p72 p331 p506 } a20 {p132 p529 p338 p307 p46 p140 p382 p196 p279 p112 p358 p158 p553 p159 p444 p180 p458 p327 p72 p331 }) ({p338 p448 p213 p491 p10 p314 p546 p545 p549 p202 p456 p159 p425 p416 p327 p165 p397 p331 p72 p305 } a31 {p1 p338 p448 p490 p217 p545 p549 p422 p26 p232 p456 p159 p206 p416 p327 p165 p331 p72 p40 }) ({p404 p338 p168 p104 p493 p494 p14 p545 p549 p456 p159 p415 p395 p165 p301 p327 p426 p242 p72 p331 p428 p372 p403 p306 } a20 {p404 p338 p46 p104 p493 p494 p515 p545 p549 p456 p159 p415 p395 p165 p301 p327 p426 p72 p331 p428 p507 p403 p306 }) ({p159 p10 p458 p16 p361 } a31 {p456 p159 p194 p178 p506 p40 }) ({p104 p384 p111 p259 p14 p263 p32 p327 p331 p428 p401 p41 p404 p432 p338 p493 p494 p437 p545 p549 p456 p159 p415 p165 p301 p72 p306 } a20 {p104 p385 p111 p262 p327 p398 p240 p331 p428 p43 p404 p338 p46 p534 p435 p493 p494 p545 p549 p456 p159 p415 p418 p165 p301 p72 p306 }) ({p10 p207 p109 p93 p436 p400 p406 } a31 {p550 p405 p352 p494 p350 p209 p470 p472 p40 }) ({p25 } a15 {p39 }) ({p39 } a18 {p14 }) ({p359 p159 p206 p492 p14 p16 p544 } a20 {p404 p358 p463 p307 p46 p159 p491 p194 p478 p208 }) ({p23 } a50 {p63 }) ({p133 p338 p213 p340 p491 p10 p545 p358 p549 p202 p158 p159 p456 p327 p397 p72 p331 p333 } a31 {p1 p338 p340 p138 p217 p144 p545 p549 p157 p232 p456 p206 p178 p327 p72 p331 p333 p40 }) ({p473 p415 p384 p366 p14 p401 p304 p210 } a20 {p497 p212 p46 p104 p415 p364 p385 p294 p302 p398 }) ({p99 p14 p95 } a20 {p98 p135 p101 p46 p110 }) ({p404 p338 p212 p104 p266 p364 p10 p493 p494 p545 p497 p549 p233 p456 p159 p415 p124 p327 p165 p503 p331 p428 p72 } a31 {p404 p338 p214 p104 p493 p494 p366 p113 p545 p549 p498 p456 p159 p264 p415 p396 p327 p165 p331 p428 p303 p72 p40 }) ({p28 } a23 {p31 }) ({p293 p0 p529 p338 p307 p489 p10 p196 p279 p321 p456 p457 p417 p327 p72 p331 p559 } a31 {p338 p310 p407 p543 p200 p388 p282 p359 p154 p456 p554 p457 p327 p459 p72 p331 p481 p40 }) ({p404 p338 p10 p493 p494 p436 p545 p549 p456 p159 p415 p327 p165 p331 p428 p72 p242 p400 p470 } a31 {p404 p338 p352 p493 p494 p545 p550 p549 p456 p159 p415 p327 p165 p331 p428 p72 p242 p470 p40 }) ({p549 p359 p460 p192 p27 p255 p343 p540 p290 p319 } a51 {p357 p532 p308 p196 p281 p15 p545 }) ({p338 p10 p421 p545 p201 p549 p456 p159 p327 p165 p426 p370 p331 p72 p484 p402 } a31 {p338 p488 p542 p59 p545 p549 p205 p456 p159 p328 p327 p165 p360 p331 p72 p557 p40 }) ({p1 p340 p157 p450 p288 p14 p72 p481 p200 p388 p282 p351 } a20 {p293 p133 p284 p202 p339 p46 p213 p450 p72 p318 p559 }) ({p310 p108 p221 p14 p316 p465 p234 p327 p523 p182 p331 p469 p338 p189 p490 p143 p366 p407 p545 p345 p549 p456 p159 p349 p163 p416 p165 p72 p304 p210 p97 } a20 {p212 p80 p111 p321 p230 p327 p523 p427 p241 p331 p185 p336 p471 p338 p46 p449 p489 p193 p364 p294 p146 p545 p497 p549 p203 p348 p456 p159 p161 p417 p165 p302 p72 p305 }) ({p217 p14 p317 p422 p285 p26 p232 p327 p331 p429 p399 p129 p291 p338 p492 p438 p545 p548 p549 p456 p159 p206 p415 p165 p72 } a20 {p219 p314 p463 p29 p425 p478 p327 p397 p289 p332 p331 p129 p338 p46 p491 p536 p438 p270 p344 p546 p545 p549 p456 p159 p415 p165 p208 p72 }) ({p293 p339 p10 p457 p196 p279 p459 p72 p173 p559 } a31 {p457 p142 p459 p72 p481 p200 p388 p282 p351 p40 }) ({p1 p310 p14 p316 p388 p282 p116 p288 p327 p128 p182 p331 p481 p445 p338 p189 p448 p490 p143 p407 p200 p545 p549 p272 p456 p159 p163 p416 p165 p275 p72 } a20 {p213 p169 p511 p321 p284 p117 p123 p327 p427 p331 p336 p293 p362 p338 p46 p489 p193 p450 p146 p545 p549 p202 p203 p456 p159 p161 p417 p165 p72 p276 p305 p559 }) ({p510 p87 p92 p53 p73 } a7 {p174 p114 p74 p58 }) ({p547 p532 p308 p14 p281 } a20 {p549 p307 p461 p46 p279 p290 p319 }) ({p338 p339 p214 p248 p493 p111 p14 p358 p549 p159 p235 p425 p417 p458 p327 p397 p398 p428 p403 p306 p374 p559 } a20 {p338 p46 p339 p216 p248 p493 p111 p358 p549 p233 p159 p425 p417 p458 p327 p397 p398 p428 p403 p508 p306 p559 }) ({p174 p10 p114 p74 } a31 {p87 p92 p181 p442 p130 p73 p40 }) ({p212 p10 p385 p80 p233 p234 p327 p241 p240 p331 p428 p404 p338 p449 p364 p248 p493 p494 p294 p545 p497 p549 p456 p159 p415 p165 p503 p72 } a31 {p214 p108 p113 p263 p264 p234 p327 p331 p428 p469 p243 p401 p40 p404 p338 p493 p494 p366 p545 p549 p498 p456 p159 p349 p415 p165 p350 p72 p304 }) ({p404 p358 p205 p159 p27 p491 p194 p360 p542 p277 p558 } a51 {p206 p144 p165 p16 p15 p544 p402 p356 }) ({p24 p303 p14 p295 } a20 {p46 p313 p124 p306 p305 }) ({p211 p27 p490 p122 p313 p366 p370 p421 p496 p306 } a51 {p497 p212 p24 p488 p364 p301 p295 p15 p367 }) ({p358 p136 p159 p553 p177 p10 p458 p254 p95 } a31 {p188 p135 p251 p155 p157 p178 p144 p254 p506 p40 }) ({p0 p307 p10 p219 p111 p513 p321 p463 p230 p478 p523 p180 p327 p331 p471 p338 p489 p193 p140 p270 p344 p545 p549 p91 p348 p456 p161 p417 p208 p302 p72 } a31 {p310 p221 p516 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p531 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p554 p72 p210 p97 }) ({p8 } a41 {p17 }) ({p3 p104 p218 p109 p110 p111 p14 p114 p227 p395 p397 p398 p400 p290 p402 p403 p404 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 } a20 {p3 p104 p109 p110 p111 p114 p236 p395 p397 p398 p400 p290 p402 p403 p404 p46 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p356 p517 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 }) ({p376 p216 p10 p262 p29 p327 p524 p398 p332 p331 p431 p43 p404 p338 p435 p536 p493 p494 p545 p549 p551 p456 p159 p415 p165 p504 p72 } a31 {p509 p384 p259 p317 p235 p32 p327 p524 p331 p429 p40 p404 p432 p338 p246 p493 p494 p440 p545 p548 p549 p456 p159 p415 p502 p164 p165 p72 }) ({p10 p219 p111 p513 p463 p262 p230 p29 p478 p523 p327 p125 p398 p332 p331 p431 p471 p43 p338 p435 p536 p270 p344 p545 p549 p348 p456 p159 p415 p165 p208 p302 p72 } a31 {p384 p259 p221 p317 p516 p465 p32 p327 p125 p331 p429 p399 p291 p40 p432 p338 p531 p405 p492 p440 p545 p345 p548 p549 p456 p159 p415 p165 p72 p210 p97 }) ({p338 p492 p314 p14 p545 p548 p549 p422 p232 p456 p159 p206 p415 p327 p165 p289 p331 p72 p429 p399 } a20 {p338 p46 p491 p536 p314 p344 p546 p545 p549 p463 p456 p159 p415 p425 p478 p327 p165 p208 p397 p289 p332 p331 p72 }) ({p251 p340 p157 p381 p197 p72 p14 p271 p451 p351 } a20 {p98 p133 p339 p46 p380 p177 p368 p72 p318 }) ({p98 p132 p133 p381 p10 p318 p358 p158 p159 p553 p177 p458 p72 } a31 {p188 p340 p138 p381 p106 p144 p251 p157 p178 p254 p72 p506 p40 }) ({p460 p14 } a20 {p46 p459 p545 }) ({p547 p532 p14 p281 p319 } a20 {p549 p461 p46 p279 p290 p319 }) ({p30 } a32 {p33 }) ({p1 p104 p10 p227 p229 p235 p236 p395 p396 p238 p239 p242 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p227 p229 p235 p236 p395 p396 p238 p239 p242 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p212 p10 p385 p80 p233 p327 p331 p428 p404 p338 p449 p364 p493 p494 p294 p545 p497 p549 p456 p159 p415 p349 p165 p503 p72 } a31 {p214 p108 p113 p264 p327 p331 p428 p469 p401 p40 p404 p338 p493 p494 p366 p545 p549 p498 p456 p159 p415 p349 p165 p350 p72 p304 }) ({p211 p265 p10 p122 p507 p496 } a31 {p168 p264 p395 p301 p113 p372 p367 p40 }) ({p338 p64 p229 p231 p237 p238 p239 } a12 {p338 p229 p231 p237 p238 p34 p239 }) ({p1 p490 p14 p481 p334 p200 p388 } a20 {p202 p46 p213 p489 p415 p305 p559 }) ({p376 p404 p338 p216 p10 p536 p493 p494 p317 p545 p549 p262 p456 p159 p415 p327 p165 p398 p332 p331 p72 } a31 {p509 p404 p338 p384 p493 p494 p259 p317 p545 p548 p549 p456 p159 p235 p415 p502 p327 p165 p331 p72 p429 p40 }) ({p376 p104 p216 p10 p395 p327 p524 p331 p428 p403 p404 p338 p493 p494 p545 p548 p549 p551 p456 p159 p415 p165 p301 p72 p306 } a31 {p509 p104 p235 p395 p327 p524 p331 p428 p40 p403 p404 p338 p246 p493 p494 p545 p548 p549 p456 p159 p415 p502 p165 p301 p72 p306 }) ({p211 p10 p122 p426 p370 p507 p421 p496 } a31 {p168 p488 p301 p328 p113 p372 p367 p59 p40 }) ({p251 p340 p157 p380 p197 p72 p14 p451 p351 } a20 {p98 p133 p339 p46 p380 p177 p72 p318 }) ({p307 p10 p279 p112 p321 p444 p123 p180 p327 p331 p293 p529 p338 p489 p193 p450 p140 p196 p341 p154 p161 p417 p72 p276 p559 } a31 {p310 p383 p388 p282 p116 p359 p327 p182 p331 p481 p445 p40 p338 p134 p191 p143 p407 p543 p200 p154 p160 p272 p457 p459 p72 }) ({p31 } a24 {p39 }) ({p201 p256 p10 p165 p419 p484 p402 p476 p356 } a31 {p205 p162 p254 p360 p331 p542 p277 p557 p558 p40 }) ({p136 p215 p327 p14 } a20 {p133 p46 p213 p228 p155 p327 }) ({p338 p490 p108 p366 p14 p407 p545 p321 p549 p456 p159 p416 p327 p165 p331 p72 p304 p210 p97 } a20 {p338 p212 p46 p489 p364 p294 p80 p111 p545 p321 p497 p549 p456 p159 p417 p327 p165 p302 p331 p72 p336 p305 }) ({p548 p206 p492 p330 p14 p544 } a20 {p404 p463 p46 p491 p536 p478 p208 p428 p546 }) ({p338 p488 p14 p198 p477 p545 p549 p456 p159 p327 p165 p126 p72 p331 p557 p528 } a20 {p338 p3 p46 p421 p545 p201 p549 p414 p456 p159 p327 p165 p370 p72 p331 p484 }) ({p293 p529 p115 p339 p450 p10 p196 p279 p444 p72 p173 p559 } a31 {p142 p543 p200 p388 p282 p115 p457 p459 p72 p481 p445 p351 p40 }) ({p293 p338 p307 p489 p10 p196 p279 p543 p545 p321 p547 p549 p154 p456 p159 p457 p417 p327 p165 p331 p72 p559 } a31 {p338 p310 p407 p543 p200 p388 p282 p545 p547 p549 p359 p154 p456 p159 p457 p327 p165 p331 p72 p481 p40 }) ({p310 p108 p14 p316 p465 p327 p182 p331 p469 p338 p189 p490 p366 p407 p545 p345 p549 p456 p159 p349 p161 p416 p165 p72 p304 p210 p97 } a20 {p212 p80 p111 p321 p327 p427 p241 p331 p336 p471 p338 p46 p449 p489 p193 p364 p294 p545 p497 p549 p203 p348 p456 p159 p161 p417 p165 p302 p72 p305 }) ({p213 p10 p511 p314 p284 p117 p425 p327 p427 p397 p289 p331 p129 p336 p362 p530 p338 p491 p146 p438 p546 p545 p549 p202 p203 p456 p159 p166 p165 p72 p275 p305 } a31 {p1 p217 p512 p316 p422 p285 p118 p26 p232 p288 p327 p128 p331 p430 p40 p338 p189 p448 p490 p148 p545 p549 p456 p159 p206 p163 p416 p165 p72 p275 }) ({p338 p138 p191 p217 p492 p14 p545 p549 p359 p232 p160 p456 p159 p206 p178 p327 p165 p289 p72 p331 p399 } a20 {p338 p307 p46 p140 p491 p219 p344 p545 p358 p549 p463 p158 p456 p159 p478 p180 p327 p165 p208 p397 p289 p72 p331 }) ({p67 } a26 {p60 }) ({p488 p494 p109 p545 p367 p550 p455 p27 p414 p264 p301 p426 p242 p507 p402 } a51 {p488 p494 p109 p15 p545 p367 p550 p455 p414 p264 p301 p426 p242 p507 p402 }) ({p212 p10 p385 p80 p519 p233 p327 p241 p240 p331 p428 p527 p185 p404 p338 p449 p534 p364 p248 p493 p494 p294 p545 p497 p549 p456 p159 p415 p418 p165 p503 p72 } a31 {p214 p108 p113 p520 p263 p264 p234 p327 p331 p428 p525 p469 p243 p401 p41 p40 p404 p338 p493 p494 p437 p366 p545 p549 p498 p456 p159 p349 p415 p165 p350 p72 p304 }) ({p10 p111 p317 p463 p262 p478 p327 p398 p332 p331 p471 p291 p338 p536 p344 p545 p549 p348 p456 p159 p415 p165 p208 p302 p72 } a31 {p338 p405 p384 p492 p259 p317 p545 p345 p548 p549 p465 p456 p159 p415 p327 p165 p331 p72 p429 p399 p210 p40 p291 p97 }) ({p10 p558 } a31 {p554 p165 p40 }) ({p188 p142 p92 p14 p361 p131 p543 } a20 {p529 p46 p553 p456 p141 p196 p279 p173 p114 }) ({p138 p191 p217 p492 p144 p14 p359 p154 p232 p160 p456 p206 p178 p289 p399 } a20 {p0 p307 p46 p140 p491 p219 p344 p358 p463 p158 p159 p456 p478 p180 p208 p397 p289 }) ({p104 p489 p27 p415 p302 p209 p472 p528 p545 } a51 {p473 p414 p109 p334 p15 p210 p545 }) ({p211 p338 p10 p421 p496 p545 p549 p456 p159 p415 p327 p165 p301 p426 p370 p331 p72 p507 } a31 {p338 p168 p488 p367 p59 p545 p549 p456 p159 p415 p328 p327 p165 p301 p331 p72 p372 p40 }) ({p98 p132 p133 p358 p257 p158 p159 p553 p177 p10 p458 p72 } a31 {p188 p251 p138 p157 p106 p178 p144 p254 p72 p333 p506 p40 }) ({p1 p111 p15 p227 p233 p235 p236 p396 p397 p398 p401 p403 p489 p246 p490 p491 p141 p492 p248 p142 p493 p495 p251 p157 p159 p457 p417 p502 p458 p302 p503 p303 p304 p306 p358 p359 p425 p327 p85 p339 p86 p366 p543 p546 p547 p548 p549 p553 p559 } a45 {p1 p111 p227 p233 p235 p236 p396 p397 p398 p401 p403 p489 p246 p490 p491 p141 p492 p248 p142 p493 p495 p251 p64 p157 p159 p457 p417 p502 p458 p302 p503 p303 p304 p306 p358 p359 p425 p327 p85 p339 p86 p366 p543 p546 p547 p548 p549 p553 p559 }) ({p34 } a52 {p61 }) ({p338 p10 p109 p494 p545 p549 p414 p456 p159 p207 p327 p165 p93 p255 p331 p72 } a31 {p338 p494 p472 p545 p357 p549 p456 p159 p327 p165 p350 p331 p72 p209 p470 p528 p40 }) ({p497 p212 p24 p233 p364 p425 p10 p503 p546 p306 } a31 {p422 p498 p214 p490 p313 p366 p40 p306 }) ({p3 p460 p192 p414 p10 p255 p343 p540 } a31 {p357 p126 p459 p198 p528 p477 p545 p40 }) ({p174 p252 p14 p74 } a20 {p175 p46 p72 p278 p292 }) ({p52 } a6 {p20 }) ({p307 p10 p219 p111 p513 p321 p463 p230 p478 p523 p180 p327 p331 p471 p338 p489 p193 p140 p270 p344 p545 p549 p91 p154 p348 p456 p159 p161 p417 p165 p208 p302 p72 } a31 {p310 p221 p516 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p531 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p159 p165 p72 p210 p97 }) ({p404 p338 p10 p493 p109 p494 p436 p545 p549 p456 p159 p415 p207 p327 p165 p93 p331 p428 p72 p400 } a31 {p404 p338 p352 p493 p494 p472 p545 p550 p549 p456 p159 p415 p327 p165 p350 p331 p428 p72 p209 p470 p40 }) ({p359 p192 p455 p27 p255 p343 p540 p290 p319 p545 } a51 {p357 p308 p455 p196 p281 p15 p545 }) ({p293 p529 p338 p307 p489 p193 p450 p140 p10 p383 p196 p279 p112 p321 p154 p161 p444 p417 p123 p180 p327 p331 p72 p559 } a31 {p338 p134 p191 p310 p383 p143 p407 p543 p200 p388 p282 p116 p359 p154 p160 p457 p327 p459 p182 p331 p72 p481 p445 p40 }) ({p1 p201 p228 p455 p27 p490 p313 p370 p421 p484 p545 } a51 {p202 p24 p488 p455 p215 p557 p15 p545 }) ({p339 p10 p196 p459 p281 p173 p559 } a31 {p142 p459 p481 p290 p200 p388 p351 p40 }) ({p3 p192 p10 p329 p343 p172 p540 p72 p545 } a31 {p126 p145 p72 p198 p514 p477 p40 p545 }) ({p214 p14 p317 p422 p26 p235 p327 p331 p430 p429 p243 p404 p338 p246 p493 p494 p440 p545 p548 p549 p498 p456 p159 p415 p502 p165 p166 p72 } a20 {p376 p216 p314 p233 p29 p425 p327 p332 p331 p431 p404 p338 p46 p248 p536 p493 p494 p438 p546 p545 p549 p551 p456 p159 p415 p165 p166 p503 p72 }) ({p404 p338 p104 p10 p493 p385 p494 p545 p549 p456 p159 p415 p327 p165 p301 p240 p331 p428 p72 p304 p41 p306 } a31 {p404 p338 p104 p493 p494 p545 p549 p263 p456 p159 p264 p415 p327 p165 p301 p331 p428 p72 p401 p304 p40 p41 p306 }) ({p359 p154 p206 p492 p144 p14 p16 p544 } a20 {p404 p0 p358 p463 p307 p46 p159 p491 p194 p478 p208 }) ({p338 p10 p476 p356 p545 p201 p549 p456 p165 p327 p72 p331 p419 p484 p402 } a31 {p338 p542 p545 p549 p205 p456 p162 p327 p360 p72 p331 p277 p557 p558 p40 }) ({p0 p307 p10 p219 p111 p513 p321 p463 p230 p478 p523 p180 p327 p125 p331 p471 p338 p489 p193 p140 p270 p344 p545 p549 p348 p456 p161 p417 p208 p302 p72 } a31 {p310 p221 p516 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p531 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p554 p72 p210 p97 }) ({p307 p10 p219 p111 p513 p321 p463 p230 p478 p523 p180 p327 p125 p331 p471 p338 p489 p193 p140 p270 p344 p545 p549 p154 p348 p456 p159 p161 p417 p165 p208 p302 p72 } a31 {p310 p221 p516 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p531 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p159 p165 p72 p210 p97 }) ({p509 p404 p338 p10 p492 p536 p493 p494 p495 p545 p549 p456 p159 p415 p327 p165 p350 p398 p331 p428 p72 p429 } a31 {p509 p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p456 p159 p415 p327 p165 p350 p331 p428 p72 p429 p40 }) ({p39 } a17 {p42 }) }, initialMarking = {p1 p3 p22 p227 p228 p229 p230 p231 p233 p234 p235 p236 p237 p238 p239 p242 p41 p43 p448 p246 p450 p248 p251 p252 p455 p348 p456 p349 p68 p457 p70 p458 p254 p350 p459 p72 p356 p357 p358 p359 p262 p263 p264 p468 p469 p470 p471 p85 p86 p87 p366 p367 p275 p276 p378 p379 p104 p380 p381 p382 p383 p108 p109 p110 p111 p113 p114 p115 p395 p123 p288 p396 p125 p289 p397 p128 p398 p129 p399 p400 p290 p401 p291 p402 p403 p132 p293 p404 p134 p405 p135 p488 p489 p490 p491 p141 p492 p142 p493 p494 p145 p495 p154 p155 p157 p158 p159 p160 p414 p161 p415 p162 p163 p416 p164 p417 p502 p165 p166 p301 p302 p503 p303 p304 p507 p306 p508 p509 p313 p314 p316 p317 p319 p321 p425 p327 p523 p329 p426 p524 p331 p428 p333 p429 p525 p527 p338 p530 p531 p189 p339 p340 p191 p193 p194 p435 p437 p438 p440 p543 p545 p546 p547 p548 p549 p550 p553 p554 p557 p559 }, 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 }, transitions = { ({p85 p378 p142 p268 p92 p14 p183 p131 p73 p443 } a20 {p190 p46 p86 p81 p141 p269 p72 p173 p283 p114 }) ({p1 p338 p450 p490 p310 p14 p316 p407 p200 p388 p282 p545 p549 p456 p159 p416 p288 p327 p165 p72 p331 p481 } a20 {p293 p338 p46 p213 p489 p450 p545 p321 p284 p549 p202 p203 p456 p159 p417 p327 p165 p72 p331 p336 p305 p559 }) ({p548 p455 p27 p414 p494 p436 p426 p242 p470 p545 p402 } a51 {p550 p455 p414 p536 p494 p426 p242 p15 p470 p545 p402 }) ({p1 p10 p359 p396 p327 p428 p401 p403 p85 p338 p246 p490 p492 p142 p493 p495 p366 p543 p547 p548 p549 p251 p157 p159 p457 p503 p303 p304 p306 p374 } a31 {p1 p359 p396 p327 p428 p401 p40 p403 p85 p338 p246 p490 p492 p142 p493 p495 p366 p543 p547 p548 p549 p498 p251 p157 p159 p457 p303 p304 p508 p306 }) ({p339 p27 p195 p526 p514 } a51 {p197 p329 p15 p451 p351 }) ({p14 p406 } a20 {p405 p46 p494 }) ({p0 p307 p10 p219 p111 p321 p463 p230 p478 p180 p327 p125 p331 p471 p338 p531 p489 p193 p140 p270 p344 p545 p549 p348 p456 p161 p417 p208 p302 p72 } a31 {p310 p221 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p405 p531 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p554 p72 p210 p97 }) ({p7 p70 } a39 {p8 p71 p56 }) ({p46 } a22 {p28 }) ({p307 p10 p219 p111 p321 p463 p230 p478 p180 p327 p125 p331 p471 p338 p531 p489 p193 p140 p270 p344 p545 p549 p154 p348 p456 p159 p161 p417 p165 p208 p302 p72 } a31 {p310 p221 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p405 p531 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p159 p165 p72 p210 p97 }) ({p404 p338 p216 p10 p492 p536 p493 p494 p495 p545 p549 p456 p159 p415 p327 p165 p350 p398 p331 p428 p72 p429 } a31 {p509 p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p456 p159 p235 p415 p327 p165 p350 p331 p428 p72 p429 p40 }) ({p188 p457 p142 p92 p72 p14 p506 p131 p543 } a20 {p529 p46 p553 p141 p196 p279 p444 p458 p72 p173 p114 }) ({p338 p193 p490 p310 p108 p366 p14 p316 p407 p545 p549 p465 p456 p159 p416 p327 p165 p72 p331 p469 p304 p210 p97 } a20 {p212 p80 p111 p321 p327 p331 p336 p471 p338 p46 p449 p489 p193 p364 p294 p545 p497 p549 p203 p456 p159 p417 p165 p302 p72 p305 }) ({p1 p104 p216 p10 p395 p396 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p235 p395 p396 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p509 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p338 p488 p14 p367 p472 p545 p549 p456 p159 p301 p327 p165 p331 p72 p209 p528 } a20 {p211 p338 p46 p109 p421 p496 p545 p549 p414 p456 p159 p122 p327 p165 p370 p331 p72 }) ({p404 p43 p338 p104 p384 p493 p494 p111 p259 p14 p545 p549 p263 p456 p159 p415 p327 p165 p301 p331 p428 p72 p401 p306 } a20 {p404 p43 p338 p46 p104 p493 p385 p494 p111 p545 p549 p262 p456 p159 p415 p327 p165 p301 p398 p240 p331 p428 p72 p306 }) ({p293 p0 p529 p338 p134 p307 p489 p193 p450 p10 p196 p279 p321 p417 p444 p180 p327 p72 p331 p559 } a31 {p338 p134 p191 p310 p407 p543 p200 p388 p282 p359 p154 p554 p457 p327 p459 p182 p72 p331 p481 p445 p40 }) ({p339 p532 p10 p196 p281 p173 p559 } a31 {p549 p142 p459 p481 p290 p200 p388 p351 p40 }) ({p17 } a46 {p18 }) ({p191 p492 p144 p14 p359 p154 p158 p232 p456 p206 p178 p289 p399 } a20 {p0 p307 p46 p491 p344 p358 p463 p158 p159 p456 p478 p180 p208 p397 p289 }) ({p473 p415 p10 p111 } a31 {p104 p415 p40 p97 }) ({p256 p175 p135 p251 p155 p157 p27 p327 p419 p278 p476 } a51 {p320 p136 p252 p177 p162 p331 p15 p95 }) ({p509 p405 p50 p264 p554 p350 p459 p254 p113 p72 p114 } a5 {p510 p92 p53 p73 }) ({p404 p338 p10 p492 p536 p493 p494 p495 p545 p517 p549 p456 p159 p415 p327 p165 p350 p398 p331 p428 p72 p429 } a31 {p509 p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p227 p456 p159 p415 p327 p165 p350 p331 p428 p72 p429 p40 }) ({p464 p308 p479 p495 p14 } a20 {p463 p307 p46 p493 p468 p408 p319 }) ({p320 p358 p136 p159 p553 p177 p10 p458 p95 } a31 {p188 p135 p251 p155 p157 p178 p144 p327 p254 p506 p40 }) ({p379 p10 p73 } a31 {p379 p73 p40 }) ({p404 p488 p205 p27 p491 p328 p360 p428 p542 p59 p546 p545 } a51 {p488 p206 p330 p426 p15 p544 p402 p545 }) ({p293 p529 p339 p450 p10 p196 p279 p112 p173 p444 p123 p72 p94 p559 } a31 {p134 p142 p543 p200 p388 p282 p116 p115 p457 p459 p72 p481 p445 p351 p40 }) ({p338 p191 p492 p14 p545 p549 p359 p158 p232 p456 p159 p206 p178 p327 p165 p289 p72 p331 p399 } a20 {p338 p307 p46 p491 p344 p545 p358 p549 p463 p158 p456 p159 p478 p180 p327 p165 p208 p397 p289 p72 p331 }) ({p214 p14 p317 p422 p26 p235 p327 p331 p430 p429 p243 p527 p404 p338 p246 p493 p494 p440 p148 p545 p548 p549 p498 p456 p159 p415 p502 p164 p165 p72 } a20 {p376 p216 p314 p233 p29 p425 p327 p332 p331 p527 p431 p404 p338 p46 p248 p536 p493 p494 p438 p546 p545 p549 p551 p456 p159 p415 p166 p165 p503 p504 p72 }) ({p99 p176 p141 p10 p167 p475 p114 } a31 {p379 p87 p268 p92 p110 p183 p131 p73 p443 p40 }) ({p136 p327 p14 p95 } a20 {p98 p133 p135 p46 p155 p327 }) ({p357 p179 p14 p277 p199 p558 p545 } a20 {p460 p46 p192 p455 p554 p165 p255 p343 p540 p356 }) ({p404 p338 p10 p492 p218 p536 p493 p494 p495 p545 p549 p456 p159 p415 p327 p165 p350 p398 p331 p428 p72 p429 } a31 {p509 p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p456 p159 p415 p236 p327 p165 p350 p331 p428 p72 p429 p40 }) ({p530 p138 p191 p217 p492 p144 p14 p359 p154 p285 p232 p160 p456 p206 p178 p399 p129 p291 } a20 {p0 p530 p307 p46 p140 p491 p219 p270 p344 p358 p463 p158 p159 p456 p478 p180 p208 p397 p289 p129 }) ({p75 p14 } a20 {p75 p46 }) ({p22 } a49 {p9 }) ({p212 p10 p314 p80 p233 p425 p327 p331 p336 p338 p189 p449 p364 p294 p546 p545 p497 p549 p203 p456 p159 p165 p503 p72 p305 } a31 {p338 p189 p214 p490 p108 p366 p113 p316 p545 p549 p422 p498 p26 p456 p159 p416 p327 p165 p350 p331 p72 p469 p304 p40 }) ({p376 p43 p404 p338 p216 p10 p536 p493 p494 p440 p545 p549 p262 p456 p159 p29 p415 p327 p165 p398 p332 p331 p72 } a31 {p509 p404 p338 p384 p493 p494 p259 p317 p440 p545 p548 p549 p456 p159 p235 p415 p32 p502 p327 p165 p331 p72 p429 p40 }) ({p549 p308 p14 p281 } a20 {p549 p307 p46 p279 p290 p319 }) ({p489 p27 p415 p126 p198 p528 p477 p559 p545 } a51 {p3 p414 p481 p334 p15 p200 p388 p545 }) ({p310 p108 p221 p14 p316 p516 p465 p234 p327 p182 p331 p525 p469 p338 p189 p490 p143 p366 p407 p545 p345 p549 p456 p159 p349 p163 p416 p165 p72 p304 p210 p97 } a20 {p212 p80 p111 p321 p519 p230 p523 p327 p427 p241 p331 p185 p336 p471 p338 p46 p449 p489 p193 p364 p294 p146 p545 p497 p549 p203 p348 p456 p159 p161 p417 p165 p302 p72 p305 }) ({p338 p212 p364 p10 p314 p113 p546 p545 p497 p549 p233 p456 p159 p415 p425 p327 p165 p503 p331 p72 p305 } a31 {p338 p214 p490 p366 p113 p545 p549 p422 p498 p26 p456 p159 p415 p327 p165 p331 p72 p40 }) ({p532 p308 p489 p10 p196 p417 p281 p559 } a31 {p549 p359 p459 p481 p407 p319 p290 p200 p388 p40 }) ({p10 p144 p397 p16 p544 } a31 {p404 p232 p159 p194 p178 p554 p40 }) ({p548 p27 p207 p493 p93 p436 p468 p406 } a51 {p550 p464 p536 p494 p208 p479 p15 p470 }) ({p376 p404 p338 p104 p246 p216 p10 p493 p494 p545 p548 p549 p456 p159 p415 p395 p165 p301 p327 p72 p331 p428 p403 p306 } a31 {p509 p104 p235 p395 p327 p331 p428 p40 p403 p404 p338 p246 p493 p494 p545 p548 p549 p456 p159 p415 p502 p165 p301 p72 p306 }) ({p174 p379 p86 p27 p110 p74 } a51 {p99 p176 p15 p167 p475 }) ({p179 p92 p145 p72 p14 p199 p130 p545 } a20 {p460 p46 p192 p455 p343 p172 p540 p72 p114 }) ({p85 p142 p92 p14 p183 p167 p131 p73 p443 } a20 {p190 p46 p379 p86 p81 p141 p72 p173 p283 p114 }) ({p338 p3 p192 p10 p540 p545 p549 p414 p456 p159 p327 p165 p255 p343 p331 p72 } a31 {p338 p198 p477 p545 p357 p549 p456 p159 p327 p165 p126 p331 p72 p528 p40 }) ({p338 p530 p138 p191 p217 p492 p14 p545 p549 p359 p285 p232 p160 p456 p159 p206 p178 p327 p165 p331 p72 p399 p129 p291 } a20 {p307 p219 p358 p463 p478 p180 p327 p397 p289 p331 p129 p338 p530 p46 p140 p491 p270 p344 p545 p549 p158 p456 p159 p165 p208 p72 }) ({p464 p479 p14 p495 p319 } a20 {p463 p46 p493 p468 p319 p408 }) ({p384 p108 p259 p221 p14 p263 p465 p234 p32 p327 p331 p428 p469 p401 p41 p404 p338 p435 p493 p494 p366 p545 p345 p549 p456 p159 p349 p415 p165 p72 p304 p210 p97 } a20 {p212 p385 p80 p111 p262 p230 p327 p241 p398 p240 p331 p428 p185 p471 p43 p404 p338 p46 p449 p534 p364 p435 p493 p494 p294 p545 p497 p549 p348 p456 p159 p415 p165 p302 p72 }) ({p3 p104 p109 p110 p111 p14 p114 p236 p395 p397 p239 p398 p242 p400 p290 p402 p403 p404 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 } a20 {p3 p104 p109 p110 p111 p114 p236 p395 p397 p239 p398 p242 p400 p290 p402 p403 p404 p46 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 }) ({p548 p214 p235 p330 p14 p374 } a20 {p46 p233 p216 p536 p428 p508 p546 }) ({p384 p108 p14 p465 p327 p331 p428 p469 p401 p404 p338 p493 p494 p366 p545 p549 p456 p159 p348 p415 p165 p72 p304 p210 p97 } a20 {p212 p385 p80 p111 p327 p398 p331 p428 p471 p404 p338 p46 p449 p364 p493 p494 p294 p545 p497 p549 p456 p159 p348 p415 p165 p302 p72 }) ({p0 p338 p307 p191 p489 p10 p111 p545 p321 p549 p463 p456 p478 p417 p327 p208 p302 p72 p331 p471 } a31 {p338 p405 p191 p310 p492 p407 p545 p549 p359 p154 p465 p456 p554 p327 p72 p331 p210 p97 p40 }) ({p217 p512 p14 p359 p285 p232 p178 p327 p331 p399 p129 p291 p338 p531 p138 p191 p492 p545 p549 p160 p456 p159 p206 p165 p72 } a20 {p307 p219 p513 p358 p463 p478 p180 p327 p397 p289 p331 p129 p530 p338 p46 p140 p491 p270 p344 p545 p549 p158 p456 p159 p165 p208 p72 }) ({p376 p216 p10 p262 p29 p327 p398 p332 p331 p431 p43 p404 p338 p435 p536 p493 p494 p545 p411 p549 p551 p456 p159 p415 p165 p504 p72 } a31 {p509 p384 p259 p317 p235 p32 p327 p524 p331 p429 p40 p404 p432 p338 p246 p493 p494 p440 p545 p548 p549 p456 p159 p415 p502 p164 p165 p72 }) ({p338 p307 p191 p489 p10 p111 p545 p321 p549 p463 p154 p456 p159 p478 p417 p327 p165 p208 p302 p331 p72 p471 } a31 {p338 p405 p191 p310 p492 p407 p545 p549 p359 p154 p465 p456 p159 p327 p165 p331 p72 p210 p97 p40 }) ({p358 p553 p456 p27 p194 p179 p165 p277 p199 } a51 {p188 p455 p165 p16 p361 p15 p356 }) ({p98 p132 p75 p101 p553 p81 p177 p141 p10 p458 } a31 {p188 p85 p251 p103 p87 p106 p72 p506 p131 p40 }) ({p320 p136 p215 p14 p333 } a20 {p133 p257 p46 p213 p228 p155 p327 }) ({p1 p104 p10 p395 p396 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p515 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p395 p396 p242 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p509 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p549 p308 p489 p10 p196 p417 p281 p559 } a31 {p549 p359 p481 p290 p407 p319 p200 p388 p40 }) ({p549 p14 p281 p319 } a20 {p549 p46 p279 p319 p290 }) ({p338 p217 p492 p14 p317 p545 p548 p549 p422 p26 p232 p456 p159 p206 p415 p327 p165 p289 p331 p72 p429 p399 } a20 {p219 p314 p463 p29 p425 p478 p327 p397 p289 p332 p331 p338 p46 p491 p536 p344 p546 p545 p549 p456 p159 p415 p165 p208 p72 }) ({p359 p27 p207 p493 p93 p255 p468 p406 p319 } a51 {p357 p464 p308 p494 p208 p479 p15 p470 }) ({p175 p455 p10 p165 p72 p331 p419 p278 p476 p356 } a31 {p252 p162 p179 p72 p331 p277 p199 p558 p40 }) ({p464 p308 p493 p14 } a20 {p463 p307 p46 p493 p468 p319 }) ({p211 p265 p27 p122 p366 p496 p403 p306 } a51 {p497 p212 p364 p395 p301 p386 p295 p15 p367 }) ({p60 } a29 {p10 }) ({p531 p138 p191 p217 p492 p144 p512 p14 p359 p154 p285 p232 p160 p456 p206 p178 p399 p129 p291 } a20 {p0 p530 p307 p46 p140 p491 p219 p270 p513 p344 p358 p463 p158 p159 p456 p478 p180 p208 p397 p289 p129 }) ({p214 p14 p317 p422 p520 p26 p235 p327 p524 p331 p430 p429 p243 p404 p338 p246 p493 p494 p440 p148 p545 p548 p549 p498 p456 p159 p415 p502 p164 p165 p72 } a20 {p376 p216 p314 p233 p29 p425 p327 p332 p331 p527 p431 p404 p338 p46 p248 p536 p493 p494 p438 p546 p545 p411 p549 p551 p456 p159 p415 p166 p165 p503 p504 p72 }) ({p404 p338 p352 p493 p494 p14 p367 p472 p545 p549 p456 p159 p415 p395 p301 p327 p165 p331 p428 p72 p209 } a20 {p404 p211 p338 p46 p265 p493 p109 p494 p496 p545 p549 p456 p159 p415 p122 p327 p165 p331 p428 p72 p400 }) ({p362 p530 p133 p213 p491 p10 p511 p318 p284 p358 p117 p202 p158 p159 p397 p289 p72 p129 } a31 {p1 p448 p340 p138 p217 p144 p512 p285 p118 p157 p232 p206 p178 p288 p254 p128 p72 p40 }) ({p56 } a14 {p25 }) ({p338 p405 p307 p489 p10 p111 p545 p321 p549 p463 p456 p159 p417 p327 p165 p208 p302 p331 p72 p471 } a31 {p338 p405 p310 p407 p545 p549 p359 p465 p456 p159 p327 p165 p331 p72 p210 p97 p40 }) ({p404 p338 p104 p10 p493 p385 p494 p545 p549 p263 p456 p159 p415 p327 p165 p301 p331 p428 p72 p304 p306 } a31 {p404 p338 p104 p493 p494 p545 p549 p263 p456 p159 p264 p415 p327 p165 p301 p331 p428 p72 p401 p304 p40 p306 }) ({p357 p338 p179 p327 p165 p14 p72 p331 p277 p199 p545 } a20 {p338 p460 p46 p192 p540 p356 p455 p327 p165 p255 p343 p72 p331 }) ({p133 p448 p213 p491 p10 p318 p284 p358 p202 p158 p159 p397 p289 p72 } a31 {p1 p448 p340 p138 p217 p144 p285 p157 p232 p206 p178 p288 p254 p72 p40 }) ({p256 p175 p455 p10 p165 p419 p278 p476 p356 } a31 {p252 p162 p179 p254 p331 p277 p199 p558 p40 }) ({p20 } a48 {p23 }) ({p68 p18 } a37 {p19 p49 p69 }) ({p19 } a47 {p27 }) ({p1 p104 p10 p218 p395 p396 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p236 p395 p396 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p509 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p488 p494 p109 p515 p545 p367 p550 p455 p27 p414 p264 p236 p301 p426 p507 p402 } a51 {p488 p218 p494 p109 p15 p545 p367 p550 p455 p414 p264 p301 p426 p242 p507 p402 }) ({p338 p448 p213 p491 p10 p314 p316 p546 p545 p549 p202 p456 p159 p425 p327 p165 p397 p331 p72 p336 p305 } a31 {p1 p338 p448 p490 p217 p316 p545 p549 p422 p26 p232 p456 p159 p206 p416 p327 p165 p331 p72 p40 }) ({p0 p307 p10 p279 p112 p321 p444 p123 p180 p327 p331 p293 p529 p338 p489 p193 p450 p140 p196 p341 p161 p417 p72 p276 p559 } a31 {p310 p383 p388 p282 p116 p359 p327 p182 p331 p481 p445 p40 p338 p134 p191 p143 p407 p543 p200 p154 p160 p272 p554 p457 p459 p72 }) ({p464 p493 p14 p319 } a20 {p463 p46 p493 p468 p319 }) ({p1 p448 p340 p14 p200 p388 p282 p116 p157 p288 p128 p72 p481 p445 p351 } a20 {p293 p362 p133 p339 p46 p213 p450 p511 p318 p284 p117 p202 p123 p72 p559 }) ({p1 p104 p10 p395 p396 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p517 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p227 p395 p396 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p509 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p414 p10 p207 p109 p93 p255 p406 } a31 {p357 p405 p494 p350 p209 p470 p472 p528 p40 }) ({p549 p460 p192 p27 p142 p343 p172 p540 p290 } a51 {p532 p196 p145 p281 p15 p173 p545 }) ({p98 p132 p133 p358 p158 p159 p553 p177 p10 p458 p254 p72 } a31 {p188 p251 p138 p157 p106 p178 p144 p254 p72 p506 p40 }) ({p404 p338 p214 p493 p314 p494 p14 p545 p548 p549 p422 p498 p456 p159 p235 p415 p502 p327 p165 p331 p72 p429 } a20 {p376 p404 p338 p46 p216 p536 p493 p314 p494 p546 p545 p549 p233 p456 p159 p415 p425 p327 p165 p503 p332 p331 p72 }) ({p40 } a33 {p54 }) ({p211 p488 p494 p109 p366 p496 p545 p455 p27 p414 p264 p301 p426 p402 } a51 {p212 p488 p364 p494 p109 p15 p367 p545 p497 p455 p414 p264 p301 p426 p402 }) ({p293 p338 p307 p461 p489 p10 p196 p279 p321 p456 p417 p327 p72 p331 p559 } a31 {p338 p310 p407 p200 p388 p282 p547 p359 p456 p327 p459 p72 p331 p481 p40 }) ({p265 p122 p14 } a20 {p46 p264 p395 p301 p113 }) ({p212 p10 p314 p80 p233 p425 p327 p427 p241 p331 p525 p185 p336 p338 p449 p364 p248 p294 p146 p438 p546 p545 p497 p549 p203 p456 p159 p166 p165 p503 p72 p305 } a31 {p214 p108 p113 p316 p422 p26 p234 p327 p331 p430 p469 p525 p243 p40 p338 p189 p490 p366 p148 p545 p549 p498 p456 p159 p349 p163 p416 p165 p350 p72 p304 }) ({p464 p308 p489 p10 p417 p208 p302 p111 p479 } a31 {p405 p359 p493 p350 p468 p407 p319 p210 p97 p40 }) ({p1 p310 p14 p316 p388 p282 p288 p327 p123 p182 p331 p481 p445 p338 p189 p448 p490 p407 p200 p545 p549 p456 p159 p416 p165 p72 } a20 {p213 p511 p321 p284 p327 p123 p427 p331 p336 p293 p362 p338 p46 p489 p193 p450 p545 p549 p202 p203 p456 p159 p417 p165 p72 p305 p559 }) ({p213 p169 p10 p511 p314 p284 p117 p425 p327 p427 p397 p289 p331 p129 p336 p362 p530 p338 p491 p146 p438 p546 p545 p549 p202 p203 p456 p159 p166 p165 p72 p305 } a31 {p1 p217 p512 p316 p422 p285 p118 p26 p232 p288 p327 p128 p331 p430 p40 p338 p189 p448 p490 p148 p545 p549 p456 p159 p206 p163 p416 p165 p275 p72 }) ({p212 p10 p385 p80 p233 p327 p241 p240 p331 p428 p185 p404 p338 p449 p534 p364 p248 p493 p494 p294 p437 p545 p497 p549 p456 p159 p415 p165 p503 p72 } a31 {p214 p108 p113 p263 p264 p234 p327 p331 p428 p469 p243 p401 p41 p40 p404 p338 p493 p494 p437 p366 p545 p549 p498 p456 p159 p349 p415 p165 p350 p72 p304 }) ({p473 p490 p366 p14 p334 p304 p210 } a20 {p497 p212 p46 p104 p489 p415 p364 p294 p302 p305 }) ({p10 p144 p458 p16 p361 } a31 {p159 p456 p194 p178 p554 p506 p40 }) ({p376 p104 p216 p10 p395 p327 p331 p428 p403 p404 p338 p493 p494 p545 p548 p411 p549 p551 p456 p159 p415 p165 p301 p72 p306 } a31 {p509 p104 p235 p395 p327 p524 p331 p428 p40 p403 p404 p338 p246 p493 p494 p545 p548 p549 p456 p159 p415 p502 p165 p301 p72 p306 }) ({p548 p455 p27 p414 p236 p494 p436 p426 p470 p515 p545 p402 } a51 {p550 p455 p414 p218 p536 p494 p426 p242 p15 p470 p545 p402 }) ({p159 p194 p10 p458 p361 } a31 {p456 p159 p194 p506 p40 }) ({p10 p329 p172 p72 p186 p373 } a31 {p195 p145 p72 p526 p514 p40 }) ({p252 p195 p162 p331 p72 p14 p526 p514 } a20 {p256 p175 p46 p329 p72 p419 p278 p476 }) ({p456 p194 p10 p144 } a31 {p159 p456 p194 p554 p40 }) ({p0 p293 p529 p338 p307 p489 p193 p450 p140 p10 p383 p196 p279 p112 p321 p161 p444 p417 p123 p180 p327 p331 p72 p559 } a31 {p310 p383 p388 p282 p116 p359 p327 p182 p331 p481 p445 p40 p338 p134 p191 p143 p407 p543 p200 p154 p160 p554 p457 p459 p72 }) ({p404 p338 p104 p266 p10 p493 p494 p545 p549 p456 p159 p415 p327 p165 p301 p331 p428 p72 p303 p306 } a31 {p404 p338 p104 p493 p494 p545 p549 p456 p159 p264 p415 p396 p327 p165 p301 p331 p428 p72 p303 p40 p306 }) ({p379 p86 p27 p141 p181 p442 p130 } a51 {p183 p15 p167 p131 p443 }) ({p1 p293 p340 p157 p450 p72 p14 p481 p200 p388 p351 } a20 {p293 p133 p202 p339 p46 p213 p450 p72 p318 p559 }) ({p497 p212 p24 p233 p364 p425 p10 p503 p295 p546 } a31 {p422 p498 p214 p490 p313 p366 p113 p306 p40 }) ({p404 p338 p214 p493 p494 p14 p438 p317 p545 p548 p549 p422 p498 p26 p456 p159 p235 p415 p502 p327 p165 p331 p72 p429 } a20 {p376 p216 p314 p233 p29 p425 p327 p332 p331 p404 p338 p46 p536 p493 p494 p438 p546 p545 p549 p456 p159 p415 p165 p503 p72 }) ({p9 } a42 {p62 }) ({p320 p136 p14 p333 p95 } a20 {p98 p133 p257 p135 p46 p155 p327 }) ({p214 p104 p14 p235 p425 p395 p327 p331 p428 p243 p527 p403 p404 p338 p246 p493 p494 p545 p549 p498 p456 p159 p415 p502 p165 p301 p72 p306 } a20 {p376 p104 p216 p233 p425 p395 p327 p331 p428 p527 p403 p404 p338 p46 p248 p493 p494 p545 p549 p551 p456 p159 p415 p165 p301 p503 p72 p306 }) ({p217 p512 p14 p317 p422 p285 p118 p26 p232 p327 p125 p331 p430 p429 p399 p291 p338 p531 p492 p440 p148 p545 p548 p549 p456 p159 p206 p415 p164 p165 p72 } a20 {p219 p314 p513 p463 p29 p425 p478 p327 p397 p289 p332 p331 p129 p431 p530 p338 p46 p491 p536 p438 p270 p344 p546 p545 p549 p91 p456 p159 p415 p166 p165 p208 p504 p72 }) ({p92 p181 p145 p14 p442 p130 p73 } a20 {p46 p172 p72 p186 p373 p114 }) ({p212 p104 p10 p233 p395 p396 p327 p331 p428 p401 p403 p404 p338 p490 p364 p493 p494 p545 p497 p549 p456 p159 p415 p165 p301 p503 p72 p303 p304 p306 } a31 {p214 p104 p395 p396 p327 p331 p428 p401 p40 p403 p404 p338 p490 p493 p494 p366 p545 p549 p498 p456 p159 p415 p165 p301 p72 p303 p304 p306 }) ({p27 p142 p172 p186 p373 } a51 {p190 p145 p15 p173 p283 }) ({p104 p384 p111 p259 p14 p263 p32 p327 p331 p428 p401 p41 p404 p338 p435 p493 p494 p545 p549 p456 p159 p415 p165 p301 p72 p306 } a20 {p104 p385 p111 p262 p327 p398 p240 p331 p428 p43 p404 p338 p46 p534 p435 p493 p494 p545 p549 p456 p159 p415 p165 p301 p72 p306 }) ({p338 p307 p489 p10 p111 p408 p545 p321 p549 p463 p456 p159 p417 p327 p165 p208 p302 p331 p72 p471 } a31 {p338 p405 p310 p495 p407 p545 p549 p359 p465 p456 p159 p327 p165 p331 p72 p210 p97 p40 }) ({p404 p338 p212 p364 p10 p493 p385 p494 p294 p80 p545 p497 p549 p233 p456 p159 p415 p327 p165 p503 p331 p428 p72 p469 } a31 {p404 p338 p214 p108 p493 p494 p366 p113 p545 p549 p498 p456 p159 p264 p415 p327 p165 p331 p428 p72 p469 p401 p304 p40 }) ({p55 } a8 {p52 }) ({p57 } a30 {p30 }) ({p358 p159 p553 p456 p27 p194 p179 p277 p199 p558 } a51 {p188 p455 p144 p165 p16 p361 p15 p356 }) ({p217 p512 p14 p317 p422 p285 p26 p232 p327 p331 p430 p429 p399 p129 p291 p338 p531 p492 p440 p545 p548 p549 p456 p159 p206 p415 p165 p72 } a20 {p219 p314 p513 p463 p29 p425 p478 p327 p397 p289 p332 p331 p129 p431 p530 p338 p46 p491 p536 p438 p270 p344 p546 p545 p549 p456 p159 p415 p165 p208 p72 }) ({p190 p339 p378 p81 p10 p72 p173 p283 } a31 {p85 p378 p142 p197 p72 p451 p351 p40 }) ({p384 p108 p259 p221 p14 p516 p263 p465 p234 p32 p327 p331 p428 p525 p469 p401 p41 p404 p432 p338 p493 p494 p437 p366 p545 p345 p549 p456 p159 p349 p415 p165 p72 p304 p210 p97 } a20 {p212 p385 p80 p111 p519 p262 p230 p523 p327 p241 p398 p240 p331 p428 p185 p471 p43 p404 p338 p46 p449 p534 p364 p435 p493 p494 p294 p545 p497 p549 p348 p456 p159 p415 p418 p165 p302 p72 }) ({p10 p386 p306 } a31 {p264 p403 p40 p306 }) ({p404 p358 p205 p27 p491 p194 p554 p360 p542 p277 p545 } a51 {p206 p554 p16 p15 p544 p402 p356 p545 }) ({p293 p529 p338 p307 p489 p10 p196 p279 p321 p154 p456 p457 p417 p327 p72 p331 p559 } a31 {p338 p310 p407 p543 p200 p388 p282 p359 p154 p456 p457 p327 p459 p72 p331 p481 p40 }) ({p497 p212 p233 p364 p10 p503 p386 p295 } a31 {p498 p214 p264 p366 p113 p403 p40 p306 }) ({p115 p188 p134 p103 p106 p457 p142 p14 p72 p543 p506 p131 } a20 {p132 p529 p46 p141 p196 p279 p112 p173 p553 p444 p458 p72 p94 }) ({p10 p219 p111 p463 p262 p230 p29 p478 p327 p125 p398 p332 p331 p471 p43 p338 p536 p270 p440 p344 p545 p549 p348 p456 p159 p415 p165 p208 p302 p72 } a31 {p384 p259 p221 p317 p465 p32 p327 p125 p331 p429 p399 p291 p40 p338 p405 p492 p440 p545 p345 p548 p549 p456 p159 p415 p165 p72 p210 p97 }) ({p104 p10 p417 p334 } a31 {p104 p415 p407 p40 }) ({p0 p307 p10 p219 p111 p321 p463 p230 p478 p180 p327 p331 p471 p291 p338 p489 p193 p140 p344 p545 p549 p348 p456 p161 p417 p208 p302 p72 } a31 {p310 p221 p359 p465 p327 p182 p331 p399 p40 p291 p338 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p554 p72 p210 p97 }) ({p404 p338 p104 p384 p493 p494 p111 p14 p545 p549 p262 p456 p159 p415 p327 p165 p301 p331 p428 p72 p401 p306 } a20 {p404 p338 p46 p104 p493 p385 p494 p111 p545 p549 p262 p456 p159 p415 p327 p165 p301 p398 p331 p428 p72 p306 }) ({p1 p201 p228 p155 p157 p455 p27 p254 p419 p476 p545 p484 } a51 {p202 p136 p455 p215 p162 p254 p557 p15 p545 }) ({p63 } a11 {p36 }) ({p425 p10 p330 p397 p544 } a31 {p404 p422 p232 p428 p40 }) ({p548 p455 p27 p414 p207 p494 p436 p93 p426 p468 p545 p402 } a51 {p550 p464 p455 p414 p536 p494 p208 p426 p15 p470 p545 p402 }) ({p98 p132 p89 p101 p553 p177 p141 p10 p458 p72 } a31 {p188 p251 p103 p87 p106 p72 p506 p131 p40 }) ({p404 p338 p10 p536 p111 p408 p545 p549 p463 p456 p159 p415 p327 p165 p208 p302 p398 p331 p72 p471 } a31 {p404 p338 p405 p384 p495 p545 p548 p549 p465 p456 p159 p415 p327 p165 p331 p72 p210 p97 p40 }) ({p307 p10 p219 p111 p321 p463 p230 p478 p180 p327 p331 p471 p291 p338 p489 p193 p140 p344 p545 p549 p154 p348 p456 p159 p161 p417 p165 p208 p302 p72 } a31 {p310 p221 p359 p465 p327 p182 p331 p399 p40 p291 p338 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p159 p165 p72 p210 p97 }) ({p188 p359 p159 p14 p16 p361 p543 } a20 {p529 p358 p307 p46 p553 p456 p159 p194 p196 p279 }) ({p464 p308 p489 p10 p417 p493 p208 p302 p111 } a31 {p359 p493 p350 p468 p407 p319 p210 p97 p40 }) ({p37 } a0 {p7 }) ({p202 p24 p215 p491 p425 p10 p397 p546 } a31 {p1 p422 p228 p232 p206 p490 p313 p40 }) ({p531 p138 p191 p217 p492 p144 p512 p14 p359 p154 p285 p118 p232 p160 p456 p206 p178 p125 p399 p291 } a20 {p0 p530 p307 p46 p140 p491 p219 p270 p513 p344 p358 p463 p91 p158 p159 p456 p478 p180 p208 p397 p289 p129 }) ({p338 p448 p213 p491 p10 p314 p546 p545 p284 p549 p202 p203 p456 p159 p425 p327 p165 p397 p289 p331 p72 p336 p305 } a31 {p1 p338 p448 p490 p217 p316 p545 p549 p422 p285 p26 p232 p456 p159 p206 p416 p288 p327 p165 p331 p72 p40 }) ({p122 p395 p14 } a20 {p46 p395 p301 p113 }) ({p404 p211 p338 p488 p104 p10 p493 p494 p496 p545 p549 p456 p159 p415 p395 p327 p165 p301 p331 p428 p72 p507 p403 p306 } a31 {p404 p338 p168 p488 p104 p493 p494 p367 p545 p549 p456 p159 p415 p395 p165 p301 p327 p72 p331 p428 p372 p40 p403 p306 }) ({p162 p126 p331 p72 p14 p198 p557 p514 p477 } a20 {p201 p256 p3 p46 p329 p72 p419 p484 p476 }) ({p192 p27 p142 p343 p172 p540 p290 p545 } a51 {p196 p145 p281 p15 p173 p545 }) ({p212 p10 p314 p80 p233 p425 p327 p427 p241 p331 p336 p338 p449 p364 p248 p294 p438 p546 p545 p497 p549 p203 p456 p159 p163 p165 p503 p72 p305 } a31 {p214 p108 p113 p316 p422 p26 p327 p331 p430 p469 p243 p40 p338 p189 p490 p366 p545 p549 p498 p456 p159 p349 p416 p163 p165 p350 p72 p304 }) ({p404 p338 p104 p352 p493 p109 p494 p14 p545 p549 p456 p159 p415 p395 p327 p165 p301 p331 p428 p72 p306 } a20 {p404 p338 p46 p104 p265 p493 p109 p494 p545 p549 p456 p159 p415 p327 p165 p301 p331 p428 p72 p400 p306 }) ({p214 p104 p14 p520 p235 p425 p395 p327 p524 p331 p428 p243 p403 p404 p338 p246 p493 p494 p545 p549 p498 p456 p159 p415 p502 p165 p301 p72 p306 } a20 {p376 p104 p216 p233 p425 p395 p327 p331 p428 p527 p403 p404 p338 p46 p248 p493 p494 p545 p411 p549 p551 p456 p159 p415 p165 p301 p503 p72 p306 }) ({p24 p215 p14 } a20 {p46 p213 p228 p313 p305 }) ({p404 p338 p10 p493 p494 p436 p515 p545 p549 p456 p159 p415 p327 p165 p331 p428 p72 p400 p470 } a31 {p509 p404 p338 p352 p493 p494 p545 p550 p549 p456 p159 p415 p327 p165 p242 p331 p428 p72 p470 p40 }) ({p307 p10 p111 p321 p463 p478 p180 p327 p331 p471 p291 p338 p489 p193 p344 p545 p549 p154 p348 p456 p159 p160 p417 p165 p208 p302 p72 } a31 {p310 p359 p465 p327 p182 p331 p399 p40 p291 p338 p405 p191 p492 p407 p545 p345 p549 p154 p456 p159 p160 p165 p72 p210 p97 }) ({p213 p10 p511 p314 p284 p425 p327 p427 p397 p289 p331 p128 p336 p362 p530 p338 p491 p438 p546 p545 p549 p202 p203 p456 p159 p165 p72 p305 } a31 {p1 p217 p512 p316 p422 p285 p26 p232 p288 p327 p331 p128 p430 p40 p338 p189 p448 p490 p545 p549 p456 p159 p206 p416 p165 p72 }) ({p0 p307 p10 p111 p321 p463 p478 p180 p327 p331 p471 p291 p338 p489 p193 p344 p545 p549 p348 p456 p160 p417 p208 p302 p72 } a31 {p338 p405 p191 p310 p492 p407 p545 p345 p549 p359 p154 p465 p456 p160 p554 p327 p182 p331 p72 p399 p210 p40 p291 p97 }) ({p132 p188 p359 p154 p191 p178 p457 p144 p14 p543 p506 } a20 {p0 p529 p132 p307 p46 p196 p279 p358 p159 p553 p444 p180 p458 }) ({p211 p455 p27 p414 p490 p313 p301 p366 p370 p421 p496 p545 } a51 {p497 p212 p24 p488 p455 p414 p364 p301 p15 p367 p545 }) ({p362 p530 p133 p213 p491 p10 p511 p318 p284 p358 p202 p158 p159 p397 p289 p72 p128 } a31 {p1 p448 p340 p138 p217 p144 p512 p285 p157 p232 p206 p178 p288 p254 p72 p128 p40 }) ({p168 p488 p233 p27 p328 p494 p428 p372 p508 p59 p546 p545 } a51 {p488 p214 p494 p330 p426 p15 p507 p374 p545 }) ({p338 p212 p364 p10 p314 p546 p545 p497 p549 p233 p456 p159 p415 p425 p124 p327 p165 p503 p331 p72 p305 } a31 {p338 p214 p490 p366 p113 p545 p549 p422 p498 p26 p456 p159 p415 p327 p165 p303 p331 p72 p40 }) ({p404 p338 p104 p534 p10 p493 p385 p494 p545 p549 p456 p159 p415 p418 p327 p165 p301 p240 p331 p428 p72 p304 p306 } a31 {p404 p338 p104 p493 p494 p437 p545 p549 p263 p456 p159 p264 p415 p327 p165 p301 p331 p428 p72 p401 p304 p41 p40 p306 }) ({p132 p188 p338 p191 p14 p543 p359 p159 p178 p457 p327 p72 p331 p506 } a20 {p529 p132 p338 p307 p46 p196 p279 p358 p553 p159 p444 p180 p458 p327 p72 p331 }) ({p553 p456 p27 p141 p179 p199 p130 } a51 {p188 p455 p361 p15 p131 }) ({p404 p338 p212 p104 p364 p10 p108 p493 p385 p494 p294 p545 p497 p549 p233 p456 p159 p415 p327 p165 p503 p331 p428 p72 } a31 {p404 p338 p214 p104 p108 p493 p494 p366 p113 p545 p549 p498 p456 p159 p264 p415 p327 p165 p331 p428 p72 p401 p304 p40 }) ({p10 p219 p111 p463 p262 p230 p29 p478 p327 p398 p332 p331 p471 p291 p43 p338 p536 p344 p545 p549 p348 p456 p159 p415 p165 p208 p302 p72 } a31 {p384 p259 p221 p317 p465 p32 p327 p331 p429 p399 p40 p291 p338 p405 p492 p545 p345 p548 p549 p456 p159 p415 p165 p72 p210 p97 }) ({p10 p425 p503 p330 p374 } a31 {p422 p498 p428 p508 p40 }) ({p133 p358 p257 p202 p213 p158 p159 p491 p10 p397 p72 } a31 {p1 p138 p157 p232 p206 p217 p178 p144 p254 p72 p333 p40 }) ({p1 p338 p450 p490 p14 p407 p200 p388 p545 p321 p549 p456 p159 p416 p327 p165 p72 p331 p481 } a20 {p338 p46 p213 p489 p450 p545 p321 p549 p202 p456 p159 p417 p327 p165 p72 p331 p336 p305 p559 }) ({p358 p202 p136 p215 p159 p491 p10 p327 p397 } a31 {p1 p228 p155 p157 p232 p206 p178 p144 p327 p40 }) ({p404 p338 p10 p536 p111 p545 p549 p463 p456 p159 p415 p478 p327 p165 p208 p302 p398 p331 p72 p399 p471 } a31 {p404 p338 p405 p384 p492 p545 p548 p549 p465 p456 p159 p415 p327 p165 p331 p72 p399 p210 p97 p40 }) ({p58 } a9 {p55 }) ({p133 p448 p213 p491 p10 p318 p358 p202 p158 p159 p288 p397 p72 } a31 {p1 p448 p340 p138 p217 p144 p157 p232 p206 p178 p288 p254 p72 p40 }) ({p404 p338 p384 p108 p493 p494 p366 p14 p545 p549 p456 p159 p415 p327 p165 p331 p428 p72 p401 p304 p210 p471 p97 } a20 {p212 p385 p80 p111 p327 p398 p331 p428 p471 p404 p338 p46 p364 p493 p494 p294 p545 p497 p549 p456 p159 p415 p165 p302 p72 }) ({p10 p167 p73 } a31 {p379 p268 p73 p40 }) ({p217 p512 p14 p359 p285 p118 p232 p178 p327 p125 p331 p399 p291 p338 p531 p138 p191 p492 p545 p549 p160 p456 p159 p206 p165 p72 } a20 {p307 p219 p513 p358 p463 p478 p180 p327 p397 p289 p331 p129 p530 p338 p46 p140 p491 p270 p344 p545 p549 p91 p158 p456 p159 p165 p208 p72 }) ({p62 } a10 {p50 }) ({p214 p104 p14 p235 p425 p395 p327 p331 p428 p403 p404 p338 p248 p493 p494 p545 p549 p498 p456 p159 p415 p502 p165 p301 p72 p306 } a20 {p376 p104 p216 p233 p425 p395 p327 p331 p428 p403 p404 p338 p46 p248 p493 p494 p545 p549 p456 p159 p415 p165 p301 p503 p72 p306 }) ({p159 p10 p397 p16 p544 } a31 {p404 p232 p159 p194 p178 p40 }) ({p1 p448 p340 p14 p200 p388 p282 p157 p288 p123 p72 p481 p445 p351 } a20 {p293 p362 p133 p339 p46 p213 p450 p511 p318 p284 p202 p123 p72 p559 }) ({p212 p10 p314 p80 p519 p233 p425 p327 p427 p241 p331 p527 p185 p336 p338 p449 p364 p248 p294 p146 p438 p546 p545 p497 p549 p203 p456 p159 p166 p165 p503 p72 p305 } a31 {p214 p108 p113 p316 p422 p520 p26 p234 p327 p331 p525 p430 p469 p243 p40 p338 p189 p490 p366 p148 p545 p549 p498 p456 p159 p349 p163 p416 p165 p350 p72 p304 }) ({p396 p386 p14 p303 p295 } a20 {p46 p266 p124 p403 p306 }) ({p85 p190 p339 p10 p72 p173 p283 } a31 {p85 p142 p197 p72 p451 p351 p40 }) ({p357 p205 p494 p360 p14 p542 p277 p470 p558 } a20 {p46 p554 p207 p165 p93 p255 p406 p402 p356 }) ({p54 } a34 {p51 }) ({p550 p488 p27 p352 p494 p109 p301 p398 p545 } a51 {p550 p488 p384 p494 p109 p301 p15 p400 p545 }) ({p175 p135 p251 p27 p110 p278 p292 } a51 {p89 p99 p252 p177 p15 p95 }) ({p3 p460 p192 p10 p329 p343 p172 p540 } a31 {p126 p459 p145 p198 p514 p477 p545 p40 }) ({p464 p10 p536 p208 p302 p111 p479 p398 } a31 {p548 p405 p384 p493 p350 p468 p210 p97 p40 }) ({p404 p338 p168 p493 p494 p14 p59 p545 p550 p549 p456 p159 p415 p328 p327 p165 p242 p331 p72 p372 } a20 {p404 p338 p46 p493 p494 p436 p515 p545 p549 p456 p159 p415 p327 p165 p426 p331 p72 p507 }) ({p49 } a25 {p67 }) ({p256 p14 } a20 {p46 p254 p331 }) ({p320 p358 p202 p136 p215 p159 p491 p10 p397 } a31 {p1 p228 p155 p157 p232 p206 p178 p144 p327 p254 p40 }) ({p293 p461 p339 p10 p196 p279 p72 p173 p559 } a31 {p547 p142 p459 p72 p481 p200 p388 p282 p351 p40 }) ({p51 } a35 {p60 }) ({p188 p134 p138 p191 p106 p383 p144 p14 p543 p359 p154 p160 p178 p457 p369 p506 } a20 {p132 p0 p529 p307 p46 p140 p382 p196 p279 p112 p341 p358 p158 p159 p553 p444 p180 p458 }) ({p10 p219 p111 p513 p463 p262 p230 p29 p478 p523 p327 p398 p332 p331 p431 p471 p43 p338 p435 p536 p270 p344 p545 p549 p91 p348 p456 p159 p415 p165 p208 p302 p504 p72 } a31 {p384 p259 p221 p317 p516 p465 p32 p327 p125 p331 p429 p399 p291 p40 p432 p338 p531 p405 p492 p440 p545 p345 p548 p549 p456 p159 p415 p164 p165 p72 p210 p97 }) ({p338 p494 p14 p542 p545 p357 p549 p205 p456 p159 p327 p165 p360 p72 p331 p277 p470 } a20 {p338 p46 p406 p356 p545 p549 p456 p159 p207 p327 p165 p93 p255 p72 p331 p402 }) ({p396 p386 p14 p306 } a20 {p46 p266 p403 p306 }) ({p168 p488 p494 p545 p367 p550 p233 p27 p264 p301 p426 p372 p508 } a51 {p550 p488 p214 p264 p494 p301 p426 p15 p507 p545 p367 p374 }) ({p175 p455 p10 p72 p278 p292 p114 } a31 {p252 p87 p179 p92 p72 p199 p130 p40 }) ({p188 p338 p134 p138 p191 p106 p383 p14 p543 p359 p160 p159 p178 p457 p327 p369 p72 p331 p506 } a20 {p132 p529 p338 p307 p46 p140 p382 p196 p279 p112 p341 p358 p158 p553 p159 p444 p180 p458 p327 p72 p331 }) ({p265 p10 p301 } a31 {p264 p395 p301 p40 }) ({p339 p27 p126 p198 p514 p477 p559 } a51 {p3 p329 p481 p15 p200 p388 p351 }) ({p188 p359 p154 p144 p14 p16 p361 p543 } a20 {p0 p529 p358 p307 p46 p159 p553 p456 p194 p196 p279 }) ({p89 p99 p553 p177 p141 p10 p458 p95 p114 } a31 {p188 p135 p251 p87 p92 p110 p506 p131 p40 }) ({p473 p10 p417 p111 p334 } a31 {p104 p415 p407 p97 p40 }) ({p359 p455 p27 p207 p494 p93 p255 p468 p319 p545 } a51 {p357 p464 p308 p455 p494 p208 p15 p470 p545 }) ({p4 } a21 {p66 }) ({p10 p111 p463 p327 p398 p331 p428 p429 p471 p404 p338 p492 p536 p493 p494 p495 p545 p549 p456 p159 p415 p165 p208 p302 p72 } a31 {p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p465 p456 p159 p415 p327 p165 p331 p428 p72 p429 p210 p97 p40 }) ({p338 p494 p14 p542 p59 p545 p550 p549 p205 p456 p159 p415 p328 p327 p165 p360 p331 p72 p470 } a20 {p338 p46 p436 p406 p545 p549 p456 p159 p415 p207 p327 p165 p93 p426 p331 p72 p402 }) ({p550 p488 p104 p27 p352 p494 p302 p398 p209 p472 p545 } a51 {p473 p550 p488 p384 p109 p494 p400 p15 p210 p545 }) ({p98 p132 p133 p382 p10 p318 p358 p158 p159 p553 p177 p458 p368 p72 } a31 {p188 p340 p138 p381 p106 p144 p251 p157 p178 p254 p369 p72 p506 p40 }) ({p175 p135 p251 p155 p157 p27 p331 p419 p278 p476 } a51 {p136 p252 p177 p162 p331 p15 p95 }) ({p42 } a19 {p4 }) ({p24 p228 p14 p306 } a20 {p46 p228 p313 p305 p306 }) ({p190 p339 p380 p81 p10 p269 p72 p173 p283 } a31 {p85 p378 p142 p197 p72 p271 p451 p351 p40 }) ({p1 p310 p14 p316 p388 p282 p116 p288 p327 p128 p182 p331 p481 p445 p338 p189 p448 p490 p143 p407 p200 p545 p549 p456 p159 p163 p416 p165 p72 p276 } a20 {p213 p511 p321 p284 p117 p123 p327 p427 p331 p336 p293 p362 p338 p46 p489 p193 p450 p146 p545 p549 p202 p203 p456 p159 p161 p417 p165 p72 p276 p305 p559 }) ({p464 p10 p536 p493 p208 p302 p111 p398 } a31 {p548 p384 p493 p350 p468 p210 p97 p40 }) ({p265 p27 p301 p403 } a51 {p395 p301 p386 p15 }) ({p188 p134 p138 p191 p382 p106 p144 p14 p543 p359 p154 p160 p178 p457 p506 } a20 {p132 p0 p529 p307 p46 p140 p382 p196 p279 p112 p358 p158 p159 p553 p444 p180 p458 }) ({p99 p85 p251 p176 p14 p167 p475 } a20 {p98 p75 p101 p46 p379 p86 p81 p177 p110 }) ({p384 p108 p259 p14 p263 p230 p465 p327 p331 p428 p469 p401 p404 p338 p493 p494 p366 p545 p345 p549 p456 p159 p349 p415 p165 p72 p304 p210 p97 } a20 {p212 p385 p80 p111 p262 p230 p327 p241 p398 p240 p331 p428 p471 p404 p338 p46 p449 p364 p493 p494 p294 p545 p497 p549 p348 p456 p159 p415 p165 p302 p72 }) ({p36 } a54 {p37 }) ({p338 p212 p364 p10 p314 p294 p546 p545 p497 p549 p233 p456 p159 p415 p425 p416 p327 p165 p503 p331 p72 p305 } a31 {p338 p214 p490 p366 p113 p545 p549 p422 p498 p26 p456 p159 p415 p416 p327 p165 p331 p72 p304 p40 }) ({p293 p529 p338 p134 p307 p489 p193 p450 p10 p196 p279 p321 p154 p417 p444 p180 p327 p72 p331 p559 } a31 {p338 p134 p191 p310 p407 p543 p200 p388 p282 p359 p154 p457 p327 p459 p182 p72 p331 p481 p445 p40 }) ({p265 p301 p14 } a20 {p46 p264 p395 p301 }) ({p376 p216 p10 p262 p29 p327 p398 p332 p331 p431 p43 p404 p338 p435 p536 p493 p494 p545 p549 p551 p456 p159 p415 p164 p165 p72 } a31 {p509 p384 p259 p317 p235 p32 p327 p331 p429 p40 p404 p432 p338 p246 p493 p494 p440 p545 p548 p549 p456 p159 p415 p502 p164 p165 p72 }) ({p293 p529 p339 p10 p457 p196 p279 p72 p173 p559 } a31 {p457 p142 p459 p72 p481 p543 p200 p388 p282 p351 p40 }) ({p338 p212 p364 p10 p314 p294 p80 p316 p546 p545 p497 p549 p233 p456 p159 p425 p327 p165 p503 p331 p72 p336 p305 } a31 {p338 p214 p490 p108 p366 p113 p316 p545 p549 p422 p498 p26 p456 p159 p416 p327 p165 p331 p72 p304 p40 }) ({p404 p338 p104 p534 p10 p493 p385 p494 p437 p545 p549 p456 p159 p415 p327 p165 p301 p240 p331 p428 p72 p304 p306 } a31 {p404 p338 p104 p493 p494 p437 p545 p549 p263 p456 p159 p264 p415 p327 p165 p301 p331 p428 p72 p401 p304 p41 p40 p306 }) ({p3 p104 p109 p110 p111 p14 p114 p395 p397 p398 p400 p290 p402 p403 p404 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p515 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 } a20 {p3 p104 p109 p110 p111 p114 p395 p397 p242 p398 p400 p290 p402 p403 p404 p46 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p509 p313 p319 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 }) ({p1 p201 p256 p228 p155 p157 p27 p327 p419 p484 p476 } a51 {p320 p202 p136 p215 p162 p331 p557 p15 }) ({p60 } a28 {p57 }) ({p188 p338 p134 p138 p191 p382 p106 p14 p543 p359 p160 p159 p178 p457 p327 p72 p331 p506 } a20 {p132 p529 p338 p307 p46 p140 p382 p196 p279 p112 p358 p158 p553 p159 p444 p180 p458 p327 p72 p331 }) ({p338 p448 p213 p491 p10 p314 p546 p545 p549 p202 p456 p159 p425 p416 p327 p165 p397 p331 p72 p305 } a31 {p1 p338 p448 p490 p217 p545 p549 p422 p26 p232 p456 p159 p206 p416 p327 p165 p331 p72 p40 }) ({p404 p338 p168 p104 p493 p494 p14 p545 p549 p456 p159 p415 p395 p165 p301 p327 p426 p242 p72 p331 p428 p372 p403 p306 } a20 {p404 p338 p46 p104 p493 p494 p515 p545 p549 p456 p159 p415 p395 p165 p301 p327 p426 p72 p331 p428 p507 p403 p306 }) ({p159 p10 p458 p16 p361 } a31 {p456 p159 p194 p178 p506 p40 }) ({p104 p384 p111 p259 p14 p263 p32 p327 p331 p428 p401 p41 p404 p432 p338 p493 p494 p437 p545 p549 p456 p159 p415 p165 p301 p72 p306 } a20 {p104 p385 p111 p262 p327 p398 p240 p331 p428 p43 p404 p338 p46 p534 p435 p493 p494 p545 p549 p456 p159 p415 p418 p165 p301 p72 p306 }) ({p10 p207 p109 p93 p436 p400 p406 } a31 {p550 p405 p352 p494 p350 p209 p470 p472 p40 }) ({p25 } a15 {p39 }) ({p39 } a18 {p14 }) ({p359 p159 p206 p492 p14 p16 p544 } a20 {p404 p358 p463 p307 p46 p159 p491 p194 p478 p208 }) ({p23 } a50 {p63 }) ({p133 p338 p213 p340 p491 p10 p545 p358 p549 p202 p158 p159 p456 p327 p397 p72 p331 p333 } a31 {p1 p338 p340 p138 p217 p144 p545 p549 p157 p232 p456 p206 p178 p327 p72 p331 p333 p40 }) ({p473 p415 p384 p366 p14 p401 p304 p210 } a20 {p497 p212 p46 p104 p415 p364 p385 p294 p302 p398 }) ({p99 p14 p95 } a20 {p98 p135 p101 p46 p110 }) ({p404 p338 p212 p104 p266 p364 p10 p493 p494 p545 p497 p549 p233 p456 p159 p415 p124 p327 p165 p503 p331 p428 p72 } a31 {p404 p338 p214 p104 p493 p494 p366 p113 p545 p549 p498 p456 p159 p264 p415 p396 p327 p165 p331 p428 p303 p72 p40 }) ({p28 } a23 {p31 }) ({p293 p0 p529 p338 p307 p489 p10 p196 p279 p321 p456 p457 p417 p327 p72 p331 p559 } a31 {p338 p310 p407 p543 p200 p388 p282 p359 p154 p456 p554 p457 p327 p459 p72 p331 p481 p40 }) ({p404 p338 p10 p493 p494 p436 p545 p549 p456 p159 p415 p327 p165 p331 p428 p72 p242 p400 p470 } a31 {p404 p338 p352 p493 p494 p545 p550 p549 p456 p159 p415 p327 p165 p331 p428 p72 p242 p470 p40 }) ({p549 p359 p460 p192 p27 p255 p343 p540 p290 p319 } a51 {p357 p532 p308 p196 p281 p15 p545 }) ({p338 p10 p421 p545 p201 p549 p456 p159 p327 p165 p426 p370 p331 p72 p484 p402 } a31 {p338 p488 p542 p59 p545 p549 p205 p456 p159 p328 p327 p165 p360 p331 p72 p557 p40 }) ({p1 p340 p157 p450 p288 p14 p72 p481 p200 p388 p282 p351 } a20 {p293 p133 p284 p202 p339 p46 p213 p450 p72 p318 p559 }) ({p310 p108 p221 p14 p316 p465 p234 p327 p523 p182 p331 p469 p338 p189 p490 p143 p366 p407 p545 p345 p549 p456 p159 p349 p163 p416 p165 p72 p304 p210 p97 } a20 {p212 p80 p111 p321 p230 p327 p523 p427 p241 p331 p185 p336 p471 p338 p46 p449 p489 p193 p364 p294 p146 p545 p497 p549 p203 p348 p456 p159 p161 p417 p165 p302 p72 p305 }) ({p217 p14 p317 p422 p285 p26 p232 p327 p331 p429 p399 p129 p291 p338 p492 p438 p545 p548 p549 p456 p159 p206 p415 p165 p72 } a20 {p219 p314 p463 p29 p425 p478 p327 p397 p289 p332 p331 p129 p338 p46 p491 p536 p438 p270 p344 p546 p545 p549 p456 p159 p415 p165 p208 p72 }) ({p293 p339 p10 p457 p196 p279 p459 p72 p173 p559 } a31 {p457 p142 p459 p72 p481 p200 p388 p282 p351 p40 }) ({p1 p310 p14 p316 p388 p282 p116 p288 p327 p128 p182 p331 p481 p445 p338 p189 p448 p490 p143 p407 p200 p545 p549 p272 p456 p159 p163 p416 p165 p275 p72 } a20 {p213 p169 p511 p321 p284 p117 p123 p327 p427 p331 p336 p293 p362 p338 p46 p489 p193 p450 p146 p545 p549 p202 p203 p456 p159 p161 p417 p165 p72 p276 p305 p559 }) ({p510 p87 p92 p53 p73 } a7 {p174 p114 p74 p58 }) ({p547 p532 p308 p14 p281 } a20 {p549 p307 p461 p46 p279 p290 p319 }) ({p338 p339 p214 p248 p493 p111 p14 p358 p549 p159 p235 p425 p417 p458 p327 p397 p398 p428 p403 p306 p374 p559 } a20 {p338 p46 p339 p216 p248 p493 p111 p358 p549 p233 p159 p425 p417 p458 p327 p397 p398 p428 p403 p508 p306 p559 }) ({p174 p10 p114 p74 } a31 {p87 p92 p181 p442 p130 p73 p40 }) ({p212 p10 p385 p80 p233 p234 p327 p241 p240 p331 p428 p404 p338 p449 p364 p248 p493 p494 p294 p545 p497 p549 p456 p159 p415 p165 p503 p72 } a31 {p214 p108 p113 p263 p264 p234 p327 p331 p428 p469 p243 p401 p40 p404 p338 p493 p494 p366 p545 p549 p498 p456 p159 p349 p415 p165 p350 p72 p304 }) ({p404 p358 p205 p159 p27 p491 p194 p360 p542 p277 p558 } a51 {p206 p144 p165 p16 p15 p544 p402 p356 }) ({p24 p303 p14 p295 } a20 {p46 p313 p124 p306 p305 }) ({p211 p27 p490 p122 p313 p366 p370 p421 p496 p306 } a51 {p497 p212 p24 p488 p364 p301 p295 p15 p367 }) ({p358 p136 p159 p553 p177 p10 p458 p254 p95 } a31 {p188 p135 p251 p155 p157 p178 p144 p254 p506 p40 }) ({p0 p307 p10 p219 p111 p513 p321 p463 p230 p478 p523 p180 p327 p331 p471 p338 p489 p193 p140 p270 p344 p545 p549 p91 p348 p456 p161 p417 p208 p302 p72 } a31 {p310 p221 p516 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p531 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p554 p72 p210 p97 }) ({p8 } a41 {p17 }) ({p3 p104 p218 p109 p110 p111 p14 p114 p227 p395 p397 p398 p400 p290 p402 p403 p404 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p356 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 } a20 {p3 p104 p109 p110 p111 p114 p236 p395 p397 p398 p400 p290 p402 p403 p404 p46 p135 p248 p493 p494 p155 p455 p456 p159 p414 p415 p417 p458 p165 p301 p503 p72 p507 p306 p508 p313 p319 p356 p517 p358 p425 p327 p329 p426 p331 p428 p468 p338 p339 p545 p549 p559 }) ({p376 p216 p10 p262 p29 p327 p524 p398 p332 p331 p431 p43 p404 p338 p435 p536 p493 p494 p545 p549 p551 p456 p159 p415 p165 p504 p72 } a31 {p509 p384 p259 p317 p235 p32 p327 p524 p331 p429 p40 p404 p432 p338 p246 p493 p494 p440 p545 p548 p549 p456 p159 p415 p502 p164 p165 p72 }) ({p10 p219 p111 p513 p463 p262 p230 p29 p478 p523 p327 p125 p398 p332 p331 p431 p471 p43 p338 p435 p536 p270 p344 p545 p549 p348 p456 p159 p415 p165 p208 p302 p72 } a31 {p384 p259 p221 p317 p516 p465 p32 p327 p125 p331 p429 p399 p291 p40 p432 p338 p531 p405 p492 p440 p545 p345 p548 p549 p456 p159 p415 p165 p72 p210 p97 }) ({p338 p492 p314 p14 p545 p548 p549 p422 p232 p456 p159 p206 p415 p327 p165 p289 p331 p72 p429 p399 } a20 {p338 p46 p491 p536 p314 p344 p546 p545 p549 p463 p456 p159 p415 p425 p478 p327 p165 p208 p397 p289 p332 p331 p72 }) ({p251 p340 p157 p381 p197 p72 p14 p271 p451 p351 } a20 {p98 p133 p339 p46 p380 p177 p368 p72 p318 }) ({p98 p132 p133 p381 p10 p318 p358 p158 p159 p553 p177 p458 p72 } a31 {p188 p340 p138 p381 p106 p144 p251 p157 p178 p254 p72 p506 p40 }) ({p460 p14 } a20 {p46 p459 p545 }) ({p547 p532 p14 p281 p319 } a20 {p549 p461 p46 p279 p290 p319 }) ({p30 } a32 {p33 }) ({p1 p104 p10 p227 p229 p235 p236 p395 p396 p238 p239 p242 p401 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 } a31 {p1 p104 p227 p229 p235 p236 p395 p396 p238 p239 p242 p401 p40 p403 p404 p488 p246 p490 p492 p142 p493 p494 p145 p495 p251 p252 p157 p456 p159 p415 p457 p162 p502 p165 p301 p72 p303 p304 p306 p508 p357 p359 p327 p331 p428 p85 p338 p87 p194 p366 p543 p545 p367 p547 p548 p549 p550 p557 }) ({p212 p10 p385 p80 p233 p327 p331 p428 p404 p338 p449 p364 p493 p494 p294 p545 p497 p549 p456 p159 p415 p349 p165 p503 p72 } a31 {p214 p108 p113 p264 p327 p331 p428 p469 p401 p40 p404 p338 p493 p494 p366 p545 p549 p498 p456 p159 p415 p349 p165 p350 p72 p304 }) ({p211 p265 p10 p122 p507 p496 } a31 {p168 p264 p395 p301 p113 p372 p367 p40 }) ({p338 p64 p229 p231 p237 p238 p239 } a12 {p338 p229 p231 p237 p238 p34 p239 }) ({p1 p490 p14 p481 p334 p200 p388 } a20 {p202 p46 p213 p489 p415 p305 p559 }) ({p376 p404 p338 p216 p10 p536 p493 p494 p317 p545 p549 p262 p456 p159 p415 p327 p165 p398 p332 p331 p72 } a31 {p509 p404 p338 p384 p493 p494 p259 p317 p545 p548 p549 p456 p159 p235 p415 p502 p327 p165 p331 p72 p429 p40 }) ({p376 p104 p216 p10 p395 p327 p524 p331 p428 p403 p404 p338 p493 p494 p545 p548 p549 p551 p456 p159 p415 p165 p301 p72 p306 } a31 {p509 p104 p235 p395 p327 p524 p331 p428 p40 p403 p404 p338 p246 p493 p494 p545 p548 p549 p456 p159 p415 p502 p165 p301 p72 p306 }) ({p211 p10 p122 p426 p370 p507 p421 p496 } a31 {p168 p488 p301 p328 p113 p372 p367 p59 p40 }) ({p251 p340 p157 p380 p197 p72 p14 p451 p351 } a20 {p98 p133 p339 p46 p380 p177 p72 p318 }) ({p307 p10 p279 p112 p321 p444 p123 p180 p327 p331 p293 p529 p338 p489 p193 p450 p140 p196 p341 p154 p161 p417 p72 p276 p559 } a31 {p310 p383 p388 p282 p116 p359 p327 p182 p331 p481 p445 p40 p338 p134 p191 p143 p407 p543 p200 p154 p160 p272 p457 p459 p72 }) ({p31 } a24 {p39 }) ({p201 p256 p10 p165 p419 p484 p402 p476 p356 } a31 {p205 p162 p254 p360 p331 p542 p277 p557 p558 p40 }) ({p136 p215 p327 p14 } a20 {p133 p46 p213 p228 p155 p327 }) ({p338 p490 p108 p366 p14 p407 p545 p321 p549 p456 p159 p416 p327 p165 p331 p72 p304 p210 p97 } a20 {p338 p212 p46 p489 p364 p294 p80 p111 p545 p321 p497 p549 p456 p159 p417 p327 p165 p302 p331 p72 p336 p305 }) ({p548 p206 p492 p330 p14 p544 } a20 {p404 p463 p46 p491 p536 p478 p208 p428 p546 }) ({p338 p488 p14 p198 p477 p545 p549 p456 p159 p327 p165 p126 p72 p331 p557 p528 } a20 {p338 p3 p46 p421 p545 p201 p549 p414 p456 p159 p327 p165 p370 p72 p331 p484 }) ({p293 p529 p115 p339 p450 p10 p196 p279 p444 p72 p173 p559 } a31 {p142 p543 p200 p388 p282 p115 p457 p459 p72 p481 p445 p351 p40 }) ({p293 p338 p307 p489 p10 p196 p279 p543 p545 p321 p547 p549 p154 p456 p159 p457 p417 p327 p165 p331 p72 p559 } a31 {p338 p310 p407 p543 p200 p388 p282 p545 p547 p549 p359 p154 p456 p159 p457 p327 p165 p331 p72 p481 p40 }) ({p310 p108 p14 p316 p465 p327 p182 p331 p469 p338 p189 p490 p366 p407 p545 p345 p549 p456 p159 p349 p161 p416 p165 p72 p304 p210 p97 } a20 {p212 p80 p111 p321 p327 p427 p241 p331 p336 p471 p338 p46 p449 p489 p193 p364 p294 p545 p497 p549 p203 p348 p456 p159 p161 p417 p165 p302 p72 p305 }) ({p213 p10 p511 p314 p284 p117 p425 p327 p427 p397 p289 p331 p129 p336 p362 p530 p338 p491 p146 p438 p546 p545 p549 p202 p203 p456 p159 p166 p165 p72 p275 p305 } a31 {p1 p217 p512 p316 p422 p285 p118 p26 p232 p288 p327 p128 p331 p430 p40 p338 p189 p448 p490 p148 p545 p549 p456 p159 p206 p163 p416 p165 p72 p275 }) ({p338 p138 p191 p217 p492 p14 p545 p549 p359 p232 p160 p456 p159 p206 p178 p327 p165 p289 p72 p331 p399 } a20 {p338 p307 p46 p140 p491 p219 p344 p545 p358 p549 p463 p158 p456 p159 p478 p180 p327 p165 p208 p397 p289 p72 p331 }) ({p67 } a26 {p60 }) ({p488 p494 p109 p545 p367 p550 p455 p27 p414 p264 p301 p426 p242 p507 p402 } a51 {p488 p494 p109 p15 p545 p367 p550 p455 p414 p264 p301 p426 p242 p507 p402 }) ({p212 p10 p385 p80 p519 p233 p327 p241 p240 p331 p428 p527 p185 p404 p338 p449 p534 p364 p248 p493 p494 p294 p545 p497 p549 p456 p159 p415 p418 p165 p503 p72 } a31 {p214 p108 p113 p520 p263 p264 p234 p327 p331 p428 p525 p469 p243 p401 p41 p40 p404 p338 p493 p494 p437 p366 p545 p549 p498 p456 p159 p349 p415 p165 p350 p72 p304 }) ({p10 p111 p317 p463 p262 p478 p327 p398 p332 p331 p471 p291 p338 p536 p344 p545 p549 p348 p456 p159 p415 p165 p208 p302 p72 } a31 {p338 p405 p384 p492 p259 p317 p545 p345 p548 p549 p465 p456 p159 p415 p327 p165 p331 p72 p429 p399 p210 p40 p291 p97 }) ({p10 p558 } a31 {p554 p165 p40 }) ({p188 p142 p92 p14 p361 p131 p543 } a20 {p529 p46 p553 p456 p141 p196 p279 p173 p114 }) ({p138 p191 p217 p492 p144 p14 p359 p154 p232 p160 p456 p206 p178 p289 p399 } a20 {p0 p307 p46 p140 p491 p219 p344 p358 p463 p158 p159 p456 p478 p180 p208 p397 p289 }) ({p104 p489 p27 p415 p302 p209 p472 p528 p545 } a51 {p473 p414 p109 p334 p15 p210 p545 }) ({p211 p338 p10 p421 p496 p545 p549 p456 p159 p415 p327 p165 p301 p426 p370 p331 p72 p507 } a31 {p338 p168 p488 p367 p59 p545 p549 p456 p159 p415 p328 p327 p165 p301 p331 p72 p372 p40 }) ({p98 p132 p133 p358 p257 p158 p159 p553 p177 p10 p458 p72 } a31 {p188 p251 p138 p157 p106 p178 p144 p254 p72 p333 p506 p40 }) ({p1 p111 p15 p227 p233 p235 p236 p396 p397 p398 p401 p403 p489 p246 p490 p491 p141 p492 p248 p142 p493 p495 p251 p157 p159 p457 p417 p502 p458 p302 p503 p303 p304 p306 p358 p359 p425 p327 p85 p339 p86 p366 p543 p546 p547 p548 p549 p553 p559 } a45 {p1 p111 p227 p233 p235 p236 p396 p397 p398 p401 p403 p489 p246 p490 p491 p141 p492 p248 p142 p493 p495 p251 p64 p157 p159 p457 p417 p502 p458 p302 p503 p303 p304 p306 p358 p359 p425 p327 p85 p339 p86 p366 p543 p546 p547 p548 p549 p553 p559 }) ({p34 } a52 {p61 }) ({p338 p10 p109 p494 p545 p549 p414 p456 p159 p207 p327 p165 p93 p255 p331 p72 } a31 {p338 p494 p472 p545 p357 p549 p456 p159 p327 p165 p350 p331 p72 p209 p470 p528 p40 }) ({p497 p212 p24 p233 p364 p425 p10 p503 p546 p306 } a31 {p422 p498 p214 p490 p313 p366 p40 p306 }) ({p3 p460 p192 p414 p10 p255 p343 p540 } a31 {p357 p126 p459 p198 p528 p477 p545 p40 }) ({p174 p252 p14 p74 } a20 {p175 p46 p72 p278 p292 }) ({p52 } a6 {p20 }) ({p307 p10 p219 p111 p513 p321 p463 p230 p478 p523 p180 p327 p331 p471 p338 p489 p193 p140 p270 p344 p545 p549 p91 p154 p348 p456 p159 p161 p417 p165 p208 p302 p72 } a31 {p310 p221 p516 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p531 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p159 p165 p72 p210 p97 }) ({p404 p338 p10 p493 p109 p494 p436 p545 p549 p456 p159 p415 p207 p327 p165 p93 p331 p428 p72 p400 } a31 {p404 p338 p352 p493 p494 p472 p545 p550 p549 p456 p159 p415 p327 p165 p350 p331 p428 p72 p209 p470 p40 }) ({p359 p192 p455 p27 p255 p343 p540 p290 p319 p545 } a51 {p357 p308 p455 p196 p281 p15 p545 }) ({p293 p529 p338 p307 p489 p193 p450 p140 p10 p383 p196 p279 p112 p321 p154 p161 p444 p417 p123 p180 p327 p331 p72 p559 } a31 {p338 p134 p191 p310 p383 p143 p407 p543 p200 p388 p282 p116 p359 p154 p160 p457 p327 p459 p182 p331 p72 p481 p445 p40 }) ({p1 p201 p228 p455 p27 p490 p313 p370 p421 p484 p545 } a51 {p202 p24 p488 p455 p215 p557 p15 p545 }) ({p339 p10 p196 p459 p281 p173 p559 } a31 {p142 p459 p481 p290 p200 p388 p351 p40 }) ({p3 p192 p10 p329 p343 p172 p540 p72 p545 } a31 {p126 p145 p72 p198 p514 p477 p40 p545 }) ({p214 p14 p317 p422 p26 p235 p327 p331 p430 p429 p243 p404 p338 p246 p493 p494 p440 p545 p548 p549 p498 p456 p159 p415 p502 p165 p166 p72 } a20 {p376 p216 p314 p233 p29 p425 p327 p332 p331 p431 p404 p338 p46 p248 p536 p493 p494 p438 p546 p545 p549 p551 p456 p159 p415 p165 p166 p503 p72 }) ({p404 p338 p104 p10 p493 p385 p494 p545 p549 p456 p159 p415 p327 p165 p301 p240 p331 p428 p72 p304 p41 p306 } a31 {p404 p338 p104 p493 p494 p545 p549 p263 p456 p159 p264 p415 p327 p165 p301 p331 p428 p72 p401 p304 p40 p41 p306 }) ({p359 p154 p206 p492 p144 p14 p16 p544 } a20 {p404 p0 p358 p463 p307 p46 p159 p491 p194 p478 p208 }) ({p338 p10 p476 p356 p545 p201 p549 p456 p165 p327 p72 p331 p419 p484 p402 } a31 {p338 p542 p545 p549 p205 p456 p162 p327 p360 p72 p331 p277 p557 p558 p40 }) ({p0 p307 p10 p219 p111 p513 p321 p463 p230 p478 p523 p180 p327 p125 p331 p471 p338 p489 p193 p140 p270 p344 p545 p549 p348 p456 p161 p417 p208 p302 p72 } a31 {p310 p221 p516 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p531 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p554 p72 p210 p97 }) ({p307 p10 p219 p111 p513 p321 p463 p230 p478 p523 p180 p327 p125 p331 p471 p338 p489 p193 p140 p270 p344 p545 p549 p154 p348 p456 p159 p161 p417 p165 p208 p302 p72 } a31 {p310 p221 p516 p359 p465 p327 p125 p182 p331 p399 p291 p40 p338 p531 p405 p191 p492 p143 p407 p545 p345 p549 p154 p160 p456 p159 p165 p72 p210 p97 }) ({p509 p404 p338 p10 p492 p536 p493 p494 p495 p545 p549 p456 p159 p415 p327 p165 p350 p398 p331 p428 p72 p429 } a31 {p509 p404 p338 p384 p492 p493 p494 p495 p545 p548 p549 p456 p159 p415 p327 p165 p350 p331 p428 p72 p429 p40 }) ({p39 } a17 {p42 }) }, initialMarking = {p1 p3 p22 p227 p228 p229 p230 p231 p233 p234 p235 p236 p237 p238 p239 p242 p41 p43 p448 p246 p450 p248 p251 p252 p455 p348 p456 p349 p68 p457 p70 p458 p254 p350 p459 p72 p356 p357 p358 p359 p262 p263 p264 p468 p469 p470 p471 p85 p86 p87 p366 p367 p275 p276 p378 p379 p104 p380 p381 p382 p383 p108 p109 p110 p111 p113 p114 p115 p395 p123 p288 p396 p125 p289 p397 p128 p398 p129 p399 p400 p290 p401 p291 p402 p403 p132 p293 p404 p134 p405 p135 p488 p489 p490 p491 p141 p492 p142 p493 p494 p145 p495 p154 p155 p157 p158 p159 p160 p414 p161 p415 p162 p163 p416 p164 p417 p502 p165 p166 p301 p302 p503 p303 p304 p507 p306 p508 p509 p313 p314 p316 p317 p319 p321 p425 p327 p523 p329 p426 p524 p331 p428 p333 p429 p525 p527 p338 p530 p531 p189 p339 p340 p191 p193 p194 p435 p437 p438 p440 p543 p545 p546 p547 p548 p549 p550 p553 p554 p557 p559 }, acceptingPlaces = {p61 } );