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