// Testfile dumped by Ultimate at 2020/03/07 10:43:26 // // 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 }, transitions = { ({p441 p34 p349 p466 p189 p423 p367 p468 p407 p222 } a51 {p440 p398 p466 p23 p468 p407 p193 p506 }) ({p177 p440 p77 p462 p465 p466 p21 p88 p472 p159 p536 p408 } a20 {p52 p469 p222 p408 p438 p73 p462 p465 p349 p466 p189 p88 p367 }) ({p529 p482 p386 p176 p143 p312 p34 p466 p17 p168 p348 p242 } a51 {p385 p531 p445 p176 p14 p466 p433 p23 }) ({p5 p85 } a39 {p8 p87 p66 }) ({p52 } a22 {p35 }) ({p21 p138 p472 p383 p408 p440 p77 p462 p80 p442 p465 p466 p88 p159 p326 } a20 {p265 p52 p222 p279 p408 p438 p77 p462 p80 p465 p349 p466 p443 p88 }) ({p444 p153 p395 p302 p513 p400 p308 p453 p17 p206 p21 p408 p412 p244 p320 p324 p427 p483 p266 p382 p77 p144 p462 p80 p497 p465 p466 p291 p293 p88 p539 } a20 {p152 p447 p397 p451 p307 p17 p514 p403 p311 p208 p409 p408 p245 p425 p261 p327 p482 p52 p269 p316 p170 p387 p77 p462 p80 p145 p497 p465 p224 p466 p294 p88 p540 }) ({p482 p396 p470 p12 p168 p22 p408 p387 p462 p465 p466 p501 p425 p88 p193 } a31 {p509 p196 p2 p400 p408 p441 p79 p462 p465 p466 p88 p539 p468 p46 }) ({p197 p303 p12 p329 p210 p283 p415 p463 p335 p98 p474 p186 p251 p88 p47 } a31 {p194 p103 p301 p199 p207 p125 p126 p284 p475 p88 p503 p101 p260 p46 }) ({p528 p267 p12 p17 p381 p408 p383 p386 p77 p462 p80 p364 p465 p466 p88 p45 p326 } a31 {p528 p267 p17 p381 p408 p383 p386 p77 p462 p80 p183 p465 p466 p88 p338 p46 p326 }) ({p530 p267 p17 p20 p21 p381 p408 p383 p386 p77 p462 p80 p182 p465 p499 p522 p466 p88 p259 } a20 {p431 p532 p52 p267 p17 p20 p381 p408 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 p259 }) ({p415 p463 p335 p98 p474 p12 p186 p251 p329 p88 p207 p47 } a31 {p194 p103 p475 p88 p503 p207 p101 p125 p126 p260 p46 }) ({p319 p398 p373 p21 p366 } a20 {p281 p318 p52 p396 p423 p325 p381 }) ({p175 p75 p388 p184 p88 p21 p42 p125 } a20 {p299 p53 p52 p86 p501 p329 p88 p502 p124 p193 }) ({p444 p153 p395 p513 p400 p308 p453 p17 p206 p311 p21 p408 p412 p244 p320 p324 p427 p483 p266 p382 p77 p144 p462 p80 p465 p466 p291 p88 p539 } a20 {p152 p447 p397 p451 p307 p17 p514 p403 p311 p208 p409 p408 p245 p425 p261 p327 p482 p52 p316 p170 p387 p77 p462 p80 p145 p465 p224 p466 p294 p88 p540 }) ({p439 p129 p12 p457 p377 p259 p391 } a31 {p174 p418 p163 p249 p465 p345 p240 p135 p46 }) ({p411 p439 p128 p456 p12 p377 p346 p88 p390 p259 p408 p136 } a31 {p174 p411 p342 p418 p163 p249 p131 p464 p88 p240 p408 p46 }) ({p25 } a46 {p27 }) ({p447 p153 p302 p397 p12 p310 p17 p20 p403 p208 p408 p416 p245 p219 p428 p268 p532 p316 p170 p77 p462 p80 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p302 p399 p308 p453 p17 p406 p211 p408 p412 p247 p522 p324 p427 p46 p483 p266 p328 p382 p77 p462 p80 p465 p466 p190 p88 p296 }) ({p12 p454 p222 p408 p383 p385 p77 p462 p80 p465 p349 p466 p443 p88 } a31 {p435 p348 p408 p383 p440 p77 p462 p80 p312 p465 p466 p190 p88 p326 p46 }) ({p151 p511 p200 p306 p21 p240 p408 p249 p131 p262 p137 p342 p277 p278 p379 p347 p141 p77 p441 p462 p80 p286 p465 p466 p88 } a20 {p396 p512 p340 p306 p202 p243 p408 p318 p365 p259 p136 p52 p276 p237 p377 p346 p108 p142 p439 p77 p462 p80 p289 p465 p466 p88 p150 }) ({p439 p12 p86 p457 p116 p172 p535 p391 } a31 {p174 p418 p184 p465 p345 p256 p240 p42 p46 }) ({p103 p130 p169 p256 p21 p384 } a20 {p91 p52 p104 p98 p474 p116 p172 p535 p209 }) ({p227 p7 p451 p17 p231 p358 p21 p408 p29 p414 p421 p253 p528 p264 p267 p110 p381 p383 p386 p77 p462 p80 p114 p465 p499 p466 p88 p502 p351 } a20 {p352 p230 p96 p451 p17 p205 p26 p408 p363 p420 p523 p528 p371 p52 p267 p273 p381 p383 p238 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 }) ({p331 p12 p234 } a31 {p360 p328 p452 p233 p46 }) ({p3 p304 p512 p230 p451 p12 p202 p17 p26 p410 p408 p318 p363 p420 p250 p313 p365 p327 p431 p273 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p304 p513 p17 p206 p24 p408 p414 p413 p320 p253 p46 p429 p262 p530 p137 p271 p270 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p0 p154 p304 p399 p17 p21 p24 p406 p211 p408 p413 p247 p217 p522 p259 p429 p530 p267 p271 p381 p383 p386 p77 p462 p80 p182 p465 p499 p466 p88 p296 } a20 {p3 p154 p310 p17 p20 p410 p408 p416 p157 p250 p313 p219 p259 p428 p268 p431 p532 p52 p267 p533 p381 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 }) ({p415 p473 p463 p12 p186 p251 p502 p330 p47 } a31 {p194 p388 p337 p503 p504 p125 p126 p260 p46 }) ({p31 } a49 {p9 }) ({p91 p21 } a20 {p91 p52 }) ({p411 p439 p456 p12 p86 p116 p346 p88 p172 p390 p535 } a31 {p174 p411 p342 p418 p184 p464 p256 p88 p240 p42 p46 }) ({p262 p530 p17 p21 p379 p408 p386 p77 p462 p80 p182 p249 p465 p522 p466 p88 p136 } a20 {p431 p532 p52 p17 p237 p377 p408 p386 p318 p77 p462 p80 p465 p466 p188 p365 p88 p225 p259 p136 }) ({p262 p530 p137 p17 p20 p21 p379 p408 p386 p77 p462 p80 p182 p497 p249 p131 p465 p522 p466 p88 } a20 {p431 p532 p52 p17 p20 p237 p377 p108 p408 p386 p318 p77 p462 p80 p497 p465 p466 p365 p188 p88 p225 p259 p136 }) ({p174 p411 p194 p388 p464 p256 p88 p21 p503 p126 p260 } a20 {p415 p52 p389 p463 p456 p251 p116 p88 p172 p535 p390 p502 }) ({p119 p12 p139 p259 } a31 {p263 p267 p249 p240 p46 }) ({p181 p12 p88 p502 p407 p241 p221 } a31 {p127 p388 p88 p192 p538 p341 p46 }) ({p447 p154 p302 p397 p12 p310 p17 p514 p20 p403 p208 p408 p416 p245 p520 p219 p428 p268 p532 p316 p170 p77 p462 p80 p145 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p302 p399 p308 p453 p17 p515 p406 p211 p408 p412 p247 p522 p324 p427 p46 p483 p266 p328 p382 p77 p462 p80 p146 p465 p466 p190 p88 p296 }) ({p79 p398 p58 p21 p506 } a20 {p52 p396 p80 p470 p501 p423 }) ({p473 p21 p330 } a20 {p52 p474 p337 p329 p504 }) ({p175 p130 p12 p89 } a31 {p280 p299 p195 p209 p89 p46 }) ({p507 p456 p12 p276 p346 p172 p535 p439 p213 p389 p86 p322 p477 p116 p88 p390 p150 } a31 {p342 p240 p141 p174 p411 p213 p418 p286 p184 p464 p336 p256 p88 p479 p42 p505 p46 }) ({p528 p267 p12 p17 p381 p408 p383 p331 p386 p360 p77 p462 p80 p465 p466 p88 p480 } a31 {p528 p267 p328 p452 p17 p381 p408 p383 p386 p360 p77 p462 p80 p465 p466 p88 p480 p46 }) ({p327 p431 p230 p451 p12 p17 p237 p108 p24 p408 p386 p318 p77 p462 p363 p80 p498 p465 p466 p365 p88 p225 } a31 {p444 p262 p227 p530 p137 p270 p17 p379 p24 p408 p386 p77 p462 p80 p182 p320 p498 p465 p466 p88 p351 p46 }) ({p129 p465 p21 p391 } a20 {p128 p52 p465 p345 p390 p135 }) ({p0 p304 p155 p399 p17 p21 p515 p24 p406 p211 p408 p413 p519 p247 p217 p522 p429 p530 p267 p271 p488 p381 p383 p386 p77 p462 p80 p182 p146 p465 p500 p466 p88 p296 } a20 {p3 p154 p310 p17 p20 p410 p408 p416 p157 p520 p250 p313 p219 p428 p268 p431 p532 p52 p267 p374 p533 p489 p107 p381 p383 p386 p77 p462 p80 p499 p465 p466 p188 p88 p225 }) ({p446 p510 p154 p198 p397 p12 p310 p20 p403 p408 p416 p245 p128 p259 p428 p136 p268 p532 p485 p269 p170 p377 p77 p462 p80 p145 p497 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p511 p302 p200 p399 p308 p19 p406 p408 p412 p247 p249 p131 p522 p427 p46 p483 p266 p486 p163 p382 p77 p462 p496 p80 p146 p465 p466 p88 p296 }) ({p447 p532 p12 p17 p20 p170 p408 p412 p77 p462 p80 p465 p224 p466 p188 p88 p324 p540 } a31 {p0 p483 p328 p453 p17 p408 p382 p412 p77 p462 p80 p465 p522 p466 p88 p324 p46 }) ({p469 p12 p14 p189 p367 p407 p221 } a31 {p529 p127 p77 p143 p341 p468 p242 p46 }) ({p444 p227 p7 p513 p453 p17 p206 p231 p358 p21 p408 p29 p414 p320 p421 p324 p528 p267 p273 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 p351 } a20 {p352 p447 p230 p451 p17 p514 p205 p208 p26 p408 p363 p420 p523 p327 p528 p371 p52 p267 p316 p273 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 }) ({p175 p103 p179 p130 p21 p125 p89 p239 } a20 {p299 p52 p104 p98 p474 p186 p329 p88 p124 p209 p47 }) ({p482 p53 p396 p12 p168 p22 p347 p243 p408 p387 p462 p465 p466 p501 p425 p88 p193 p261 } a31 {p509 p196 p2 p400 p277 p347 p408 p244 p75 p441 p462 p465 p466 p88 p539 p468 p46 }) ({p447 p266 p532 p316 p12 p17 p20 p403 p170 p408 p412 p77 p462 p80 p465 p224 p466 p188 p88 p540 p428 } a31 {p0 p483 p266 p328 p453 p17 p406 p408 p382 p412 p77 p462 p80 p465 p522 p466 p190 p88 p324 p427 p46 }) ({p439 p418 p12 p86 p116 p172 p535 p391 } a31 {p174 p418 p184 p345 p256 p240 p42 p46 }) ({p446 p532 p198 p12 p20 p170 p377 p408 p412 p128 p77 p462 p80 p496 p465 p224 p466 p188 p88 p259 p427 p540 p136 } a31 {p0 p483 p163 p200 p19 p382 p408 p412 p77 p462 p80 p496 p249 p131 p465 p522 p466 p88 p427 p46 }) ({p353 p12 p453 } a31 {p453 p233 p359 p46 }) ({p509 p483 p196 p2 p163 p400 p19 p21 p382 p408 p409 p77 p462 p495 p80 p465 p466 p88 p539 p427 p261 } a20 {p482 p446 p510 p52 p198 p403 p168 p170 p22 p408 p409 p387 p128 p77 p462 p495 p80 p465 p224 p466 p425 p88 p540 p261 }) ({p430 p182 p21 p379 p139 } a20 {p528 p318 p267 p52 p188 p365 p377 p225 }) ({p280 p75 p388 p301 p184 p88 p21 p42 p125 } a20 {p283 p53 p52 p86 p501 p329 p88 p502 p124 p193 }) ({p352 p528 p371 p267 p12 p17 p453 p205 p381 p408 p383 p238 p386 p77 p462 p80 p114 p465 p523 p466 p500 p88 } a31 {p528 p264 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p114 p421 p465 p466 p500 p88 p46 }) ({p3 p230 p12 p17 p26 p410 p408 p363 p420 p262 p431 p267 p271 p379 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 p225 } a31 {p227 p7 p17 p24 p408 p414 p46 p429 p262 p530 p267 p271 p379 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p71 } a29 {p12 }) ({p446 p510 p198 p12 p20 p403 p408 p412 p128 p259 p428 p136 p266 p532 p170 p377 p77 p462 p80 p496 p465 p224 p466 p188 p88 p540 } a31 {p0 p483 p266 p511 p163 p200 p19 p406 p382 p408 p412 p77 p462 p80 p496 p249 p131 p465 p522 p466 p88 p427 p46 }) ({p66 } a14 {p33 }) ({p482 p508 p53 p396 p340 p307 p12 p309 p168 p22 p243 p409 p408 p387 p462 p289 p465 p466 p501 p425 p88 p193 p261 } a31 {p509 p508 p196 p2 p395 p400 p277 p309 p278 p347 p408 p244 p75 p441 p462 p465 p466 p291 p88 p539 p468 p46 }) ({p352 p528 p447 p267 p12 p17 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 p324 } a31 {p528 p267 p328 p453 p17 p358 p233 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 p324 p46 }) ({p422 p21 } a20 {p52 p418 p466 }) ({p363 p319 p451 p12 p366 p226 } a31 {p444 p270 p182 p232 p190 p351 p325 p381 p46 }) ({p327 p262 p528 p530 p267 p230 p373 p451 p12 p17 p379 p381 p408 p383 p386 p318 p77 p462 p363 p80 p465 p466 p88 p225 } a31 {p444 p262 p528 p227 p530 p267 p373 p17 p379 p381 p408 p383 p386 p77 p462 p80 p182 p320 p465 p466 p88 p351 p46 }) ({p444 p152 p395 p400 p308 p453 p17 p206 p311 p21 p408 p412 p244 p320 p324 p427 p483 p266 p382 p77 p462 p80 p465 p466 p291 p88 p539 } a20 {p152 p447 p397 p451 p307 p17 p403 p311 p208 p409 p408 p245 p425 p261 p327 p482 p52 p316 p170 p387 p77 p462 p80 p465 p224 p466 p294 p88 p540 }) ({p30 } a48 {p32 }) ({p352 p528 p447 p267 p316 p12 p17 p205 p381 p408 p383 p29 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p528 p267 p328 p453 p17 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p465 p466 p500 p190 p88 p324 p46 }) ({p83 p27 } a37 {p28 p56 p84 }) ({p28 } a47 {p34 }) ({p3 p230 p12 p17 p26 p410 p408 p157 p363 p420 p250 p313 p431 p267 p273 p374 p533 p489 p107 p381 p383 p386 p77 p462 p80 p115 p465 p466 p88 p225 p502 } a31 {p227 p7 p304 p155 p17 p24 p408 p414 p413 p519 p217 p521 p253 p46 p429 p530 p267 p271 p110 p381 p383 p386 p388 p77 p462 p80 p182 p465 p500 p466 p88 p351 }) ({p127 p21 p89 p173 p118 p160 } a20 {p52 p181 p123 p88 p241 p221 }) ({p411 p439 p418 p12 p86 p116 p346 p88 p172 p390 p535 } a31 {p174 p411 p342 p418 p184 p256 p88 p240 p42 p46 }) ({p415 p53 p301 p463 p335 p12 p168 p501 p22 p329 p88 p193 } a31 {p509 p75 p196 p2 p301 p88 p101 p468 p125 p260 p46 }) ({p528 p267 p17 p21 p454 p381 p408 p383 p386 p360 p77 p462 p80 p465 p466 p88 p338 } a20 {p528 p52 p267 p17 p454 p381 p408 p383 p386 p77 p462 p80 p364 p465 p466 p234 p88 }) ({p130 p12 p169 p124 p384 } a31 {p280 p179 p195 p105 p209 p89 p239 p46 }) ({p529 p143 p463 p34 p17 p168 p341 p242 p408 } a51 {p531 p445 p14 p156 p23 p407 }) ({p262 p0 p530 p137 p200 p17 p21 p24 p379 p408 p386 p77 p462 p80 p182 p497 p249 p131 p465 p522 p466 p88 p428 } a20 {p3 p202 p17 p20 p408 p318 p365 p259 p136 p428 p431 p532 p52 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p152 p396 p512 p340 p451 p307 p12 p202 p309 p243 p409 p408 p318 p365 p425 p261 p327 p482 p237 p108 p142 p387 p77 p462 p80 p289 p465 p466 p88 } a31 {p444 p151 p395 p513 p400 p309 p206 p408 p244 p320 p46 p262 p137 p270 p277 p278 p379 p347 p77 p144 p441 p462 p80 p465 p466 p291 p88 p539 }) ({p528 p267 p12 p17 p453 p381 p408 p383 p386 p77 p462 p80 p465 p466 p235 p88 } a31 {p528 p267 p17 p453 p233 p381 p408 p383 p386 p361 p77 p462 p80 p465 p466 p88 p46 }) ({p46 } a33 {p63 }) ({p119 p267 p12 } a31 {p263 p267 p240 p46 }) ({p446 p510 p198 p306 p456 p12 p276 p377 p346 p439 p128 p495 p389 p285 p322 p88 p390 p150 p259 p481 p136 } a31 {p484 p508 p511 p342 p163 p200 p305 p19 p240 p141 p174 p411 p418 p286 p249 p131 p464 p288 p336 p88 p46 }) ({p77 p34 p189 p337 p367 p125 p221 } a51 {p127 p77 p23 p330 p193 p506 }) ({p127 p177 p388 p77 p88 p21 p536 p160 } a20 {p73 p52 p469 p189 p123 p88 p502 p367 p221 }) ({p176 p363 p435 p34 p183 p451 p165 p466 p480 p383 p338 } a51 {p444 p176 p364 p183 p165 p466 p23 p454 p351 p480 p383 }) ({p319 p373 p21 p366 p226 } a20 {p281 p318 p52 p232 p225 p325 p381 }) ({p430 p267 p182 p21 } a20 {p528 p52 p267 p188 p225 }) ({p181 p34 p337 p504 p241 p125 p221 } a51 {p127 p473 p186 p23 p330 p47 }) ({p447 p154 p397 p12 p310 p17 p514 p20 p403 p208 p408 p416 p245 p520 p219 p428 p268 p532 p269 p316 p170 p77 p462 p80 p145 p498 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p302 p399 p308 p453 p17 p515 p406 p211 p408 p412 p247 p522 p324 p427 p46 p483 p266 p328 p382 p77 p462 p80 p498 p146 p465 p466 p190 p88 p296 }) ({p353 p361 p21 } a20 {p52 p235 p359 }) ({p482 p387 p270 p319 p398 p451 p12 } a31 {p444 p270 p441 p423 p190 p539 p325 p46 }) ({p507 p509 p196 p2 p163 p305 p19 p21 p174 p411 p284 p464 p336 p88 p101 p260 } a20 {p507 p446 p510 p52 p198 p303 p456 p168 p22 p415 p128 p389 p285 p463 p335 p322 p88 p390 }) ({p277 p21 p346 p240 p408 p75 p441 p462 p184 p465 p466 p88 p42 } a20 {p53 p52 p396 p346 p243 p408 p439 p462 p465 p466 p86 p501 p88 p193 }) ({p12 p377 p346 p408 p411 p439 p128 p77 p462 p80 p464 p465 p466 p467 p88 p390 p259 p136 } a31 {p342 p163 p240 p408 p174 p411 p77 p462 p80 p249 p131 p464 p465 p466 p467 p88 p46 }) ({p34 p166 p256 p380 p504 p317 } a51 {p473 p116 p172 p535 p257 p23 p109 }) ({p319 p398 p21 p381 } a20 {p318 p52 p396 p423 p325 p381 }) ({p3 p230 p12 p17 p26 p410 p408 p413 p363 p420 p250 p262 p431 p267 p273 p379 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 p225 } a31 {p227 p7 p17 p24 p408 p414 p413 p253 p46 p429 p262 p530 p267 p271 p379 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p174 p34 p465 p166 p345 p422 p256 p392 p317 } a51 {p176 p466 p457 p116 p172 p535 p257 p23 p391 }) ({p227 p7 p451 p17 p231 p358 p21 p408 p29 p414 p421 p253 p528 p264 p267 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p230 p451 p17 p205 p26 p408 p363 p420 p523 p528 p371 p52 p267 p273 p381 p383 p238 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 }) ({p364 p12 p443 p45 p454 p279 } a31 {p270 p435 p183 p190 p338 p326 p46 p383 }) ({p119 p75 p441 p184 p21 p42 } a20 {p263 p439 p53 p52 p396 p86 p501 p193 }) ({p444 p483 p266 p400 p453 p17 p21 p408 p382 p409 p244 p77 p462 p80 p320 p465 p466 p88 p539 p324 p427 } a20 {p327 p482 p447 p52 p316 p451 p17 p403 p170 p408 p409 p387 p245 p77 p462 p80 p465 p224 p466 p425 p88 p261 p540 }) ({p9 } a42 {p74 }) ({p465 p21 p135 p391 } a20 {p52 p465 p345 p390 p135 }) ({p463 p34 p251 p192 p538 p341 p408 } a51 {p194 p503 p156 p23 p407 p126 }) ({p0 p511 p200 p17 p21 p24 p406 p408 p249 p131 p522 p429 p262 p530 p137 p268 p379 p386 p77 p462 p80 p182 p497 p465 p466 p88 } a20 {p3 p512 p202 p17 p20 p410 p408 p318 p365 p259 p428 p136 p431 p532 p52 p268 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p0 p511 p304 p155 p200 p399 p17 p21 p24 p406 p408 p413 p247 p249 p131 p522 p429 p262 p530 p137 p271 p486 p379 p386 p77 p462 p80 p182 p498 p146 p465 p466 p88 p296 } a20 {p3 p154 p512 p202 p310 p17 p20 p410 p408 p416 p318 p157 p250 p313 p365 p259 p428 p136 p268 p431 p532 p52 p487 p237 p107 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p65 } a8 {p60 }) ({p68 } a30 {p36 }) ({p429 p0 p530 p267 p268 p17 p21 p24 p406 p381 p408 p383 p386 p77 p462 p80 p182 p465 p499 p522 p466 p88 p259 } a20 {p3 p431 p532 p52 p267 p268 p17 p20 p381 p410 p408 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 p259 p428 }) ({p438 p73 p12 p166 p466 p88 p392 p317 } a31 {p177 p176 p466 p88 p257 p159 p472 p536 p46 }) ({p129 p457 p467 p21 p391 } a20 {p128 p52 p465 p345 p424 p390 p135 }) ({p528 p267 p374 p533 p12 p17 p359 p381 p408 p383 p386 p360 p77 p462 p80 p182 p465 p500 p466 p88 } a31 {p528 p267 p17 p359 p381 p408 p383 p386 p360 p77 p519 p462 p80 p182 p217 p521 p465 p500 p466 p88 p46 }) ({p444 p227 p7 p453 p17 p206 p231 p358 p21 p408 p29 p320 p420 p324 p528 p267 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 p351 } a20 {p352 p447 p230 p451 p17 p205 p208 p26 p408 p363 p420 p523 p327 p528 p52 p267 p316 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 }) ({p76 } a11 {p40 }) ({p469 p21 } a20 {p52 p77 p468 }) ({p385 p331 p483 p34 p223 p466 p14 p453 p167 p407 } a51 {p385 p447 p224 p452 p466 p14 p170 p23 p480 p407 }) ({p529 p165 p21 p348 p242 p408 p77 p143 p462 p80 p312 p465 p466 p88 p480 } a20 {p52 p14 p167 p490 p408 p385 p77 p462 p362 p80 p223 p521 p465 p466 p88 }) ({p174 p362 p163 p34 p466 p345 p490 p407 p135 p392 } a51 {p176 p129 p165 p466 p23 p407 p391 }) ({p262 p137 p342 p200 p306 p277 p21 p278 p240 p379 p347 p408 p77 p441 p462 p80 p286 p249 p131 p465 p466 p88 p150 } a20 {p396 p340 p306 p202 p243 p408 p318 p365 p259 p136 p52 p276 p237 p377 p346 p108 p439 p77 p462 p80 p289 p465 p466 p88 p150 }) ({p41 } a0 {p5 }) ({p528 p267 p435 p452 p17 p21 p381 p408 p383 p386 p360 p77 p462 p80 p465 p466 p88 p338 } a20 {p528 p52 p267 p17 p454 p381 p408 p383 p331 p386 p77 p462 p80 p364 p465 p466 p234 p88 }) ({p265 p12 p490 p408 p438 p77 p462 p362 p80 p465 p466 p88 p392 } a31 {p165 p138 p472 p408 p176 p77 p462 p80 p442 p465 p466 p88 p159 p46 }) ({p327 p482 p262 p396 p451 p12 p347 p408 p387 p318 p77 p462 p80 p465 p466 p365 p425 p88 } a31 {p444 p262 p270 p400 p379 p347 p408 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p194 p21 p126 p210 p174 p411 p464 p475 p336 p256 p88 p503 p101 p505 p260 } a20 {p52 p456 p172 p535 p210 p415 p389 p463 p335 p251 p322 p477 p116 p88 p390 }) ({p528 p267 p230 p451 p17 p358 p21 p381 p408 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p528 p52 p267 p230 p451 p17 p381 p408 p383 p386 p77 p462 p363 p80 p115 p465 p499 p466 p88 p502 }) ({p483 p196 p2 p163 p19 p21 p382 p408 p409 p77 p462 p495 p80 p465 p466 p88 p425 p539 } a20 {p482 p446 p52 p198 p168 p170 p22 p408 p409 p387 p128 p77 p462 p495 p80 p465 p224 p466 p88 p425 p540 }) ({p12 p14 p222 p408 p385 p77 p462 p80 p465 p349 p466 p189 p88 p367 } a31 {p529 p348 p242 p408 p440 p77 p143 p462 p80 p312 p465 p466 p88 p46 }) ({p194 p305 p199 p21 p126 p174 p411 p213 p284 p464 p475 p336 p256 p88 p503 p101 p505 p260 } a20 {p52 p303 p456 p172 p535 p210 p415 p389 p285 p463 p335 p251 p322 p477 p116 p187 p88 p390 }) ({p299 p12 p452 p17 p453 p358 p359 p125 p408 p127 p360 p361 p519 p256 p257 p480 p262 p263 p528 p483 p103 p267 p163 p373 p105 p533 p165 p379 p381 p383 p174 p386 p176 p75 p77 p440 p79 p441 p462 p80 p182 p183 p465 p500 p466 p88 } a31 {p299 p452 p17 p453 p358 p359 p125 p408 p127 p360 p361 p519 p217 p521 p256 p257 p480 p46 p262 p263 p528 p483 p103 p267 p163 p373 p105 p165 p379 p381 p383 p174 p386 p176 p75 p77 p440 p79 p441 p462 p80 p182 p183 p465 p500 p466 p88 }) ({p129 p465 p345 p21 } a20 {p128 p52 p465 p345 p135 }) ({p508 p446 p510 p198 p306 p456 p12 p276 p377 p346 p439 p128 p389 p285 p322 p88 p390 p150 p259 p136 } a31 {p508 p511 p342 p163 p200 p305 p19 p240 p141 p174 p411 p418 p286 p249 p131 p464 p288 p336 p88 p46 }) ({p0 p17 p21 p24 p406 p408 p416 p247 p522 p259 p429 p530 p267 p271 p381 p383 p386 p77 p462 p80 p182 p465 p499 p466 p88 } a20 {p3 p17 p20 p410 p408 p416 p250 p259 p428 p268 p431 p532 p52 p267 p381 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 }) ({p439 p128 p12 p377 p346 p424 p88 p390 p259 p408 p136 } a31 {p174 p342 p418 p163 p249 p131 p467 p88 p240 p408 p46 }) ({p3 p512 p230 p451 p12 p202 p17 p26 p410 p408 p318 p363 p420 p365 p327 p431 p271 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p513 p17 p206 p24 p408 p414 p320 p46 p429 p262 p530 p137 p270 p271 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p151 p511 p200 p309 p21 p240 p408 p249 p131 p262 p137 p342 p277 p278 p379 p347 p141 p77 p441 p462 p495 p80 p286 p288 p465 p466 p88 } a20 {p396 p512 p340 p306 p202 p243 p408 p318 p365 p259 p136 p52 p276 p237 p377 p346 p108 p142 p439 p77 p462 p495 p80 p289 p465 p466 p290 p88 p150 }) ({p482 p387 p398 p58 p12 p168 p22 p193 p506 } a31 {p196 p2 p441 p80 p423 p539 p468 p46 }) ({p3 p230 p451 p12 p202 p17 p26 p408 p318 p363 p365 p327 p429 p431 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p17 p206 p24 p408 p320 p46 p262 p429 p530 p137 p270 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p456 p12 p276 p346 p172 p535 p439 p389 p86 p336 p116 p88 p390 } a31 {p342 p240 p174 p411 p418 p286 p184 p464 p336 p256 p88 p42 p46 }) ({p73 p12 p166 p123 p88 p380 p502 p317 } a31 {p177 p388 p105 p88 p257 p536 p160 p46 }) ({p151 p396 p340 p451 p307 p12 p202 p309 p243 p409 p408 p318 p365 p425 p261 p327 p482 p237 p108 p387 p77 p462 p80 p289 p465 p466 p88 } a31 {p444 p151 p395 p400 p309 p206 p408 p244 p320 p46 p262 p137 p270 p277 p278 p379 p347 p77 p441 p462 p80 p465 p466 p291 p88 p539 }) ({p227 p7 p17 p231 p358 p21 p408 p29 p414 p421 p253 p264 p267 p110 p381 p383 p386 p388 p77 p462 p80 p114 p465 p466 p88 p351 } a20 {p352 p230 p96 p17 p205 p26 p408 p363 p420 p523 p371 p52 p267 p273 p381 p383 p238 p386 p77 p462 p80 p115 p465 p466 p88 p502 }) ({p299 p104 p34 p124 p209 p173 p118 p160 } a51 {p175 p179 p130 p123 p23 p239 }) ({p509 p508 p196 p2 p163 p305 p19 p21 p174 p411 p284 p464 p336 p88 p479 p101 p260 } a20 {p507 p446 p510 p52 p198 p303 p456 p168 p22 p415 p128 p389 p285 p463 p335 p322 p88 p390 p481 }) ({p342 p277 p276 p21 p240 p347 p408 p75 p441 p462 p184 p465 p466 p88 p42 } a20 {p53 p52 p396 p340 p276 p346 p243 p408 p439 p462 p465 p466 p86 p501 p88 p193 }) ({p532 p129 p12 p465 p224 p188 p170 p377 p259 } a31 {p483 p163 p249 p465 p522 p135 p46 }) ({p441 p34 p349 p466 p423 p443 p325 p407 p222 p383 } a51 {p440 p319 p398 p466 p23 p407 p326 p383 }) ({p507 p306 p456 p12 p276 p346 p172 p535 p439 p389 p285 p86 p322 p477 p116 p187 p88 p390 p150 } a31 {p342 p305 p240 p141 p174 p411 p213 p418 p286 p184 p464 p288 p336 p256 p88 p479 p42 p505 p46 }) ({p439 p12 p86 p116 p346 p424 p88 p172 p390 p535 } a31 {p174 p342 p418 p184 p467 p256 p88 p240 p42 p46 }) ({p353 p447 p12 } a31 {p328 p453 p233 p359 p46 }) ({p12 p89 p209 } a31 {p89 p209 p46 }) ({p0 p304 p155 p399 p17 p21 p515 p24 p406 p211 p408 p413 p519 p247 p217 p522 p429 p530 p267 p271 p381 p383 p386 p77 p462 p80 p182 p146 p465 p499 p466 p88 p296 } a20 {p3 p154 p310 p17 p20 p410 p408 p416 p157 p520 p250 p313 p219 p428 p268 p431 p532 p52 p267 p374 p533 p107 p381 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 }) ({p509 p483 p266 p196 p2 p395 p163 p307 p400 p19 p21 p382 p408 p412 p244 p77 p462 p495 p80 p465 p466 p88 p539 p427 } a20 {p446 p510 p198 p397 p307 p403 p22 p409 p408 p245 p128 p425 p261 p482 p52 p168 p170 p387 p77 p462 p495 p80 p465 p224 p466 p88 p540 }) ({p327 p482 p262 p270 p396 p451 p12 p408 p387 p318 p77 p462 p80 p465 p466 p425 p88 } a31 {p444 p262 p270 p400 p408 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p0 p511 p200 p17 p21 p24 p406 p408 p416 p247 p249 p131 p522 p429 p262 p530 p137 p271 p379 p386 p77 p462 p80 p182 p497 p465 p466 p88 } a20 {p3 p512 p202 p17 p20 p410 p408 p416 p318 p250 p365 p259 p428 p136 p268 p431 p532 p52 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p444 p528 p327 p267 p453 p17 p358 p21 p381 p408 p383 p386 p77 p462 p80 p465 p499 p466 p88 p351 } a20 {p352 p528 p327 p447 p52 p267 p451 p17 p381 p408 p383 p386 p77 p462 p363 p80 p465 p499 p466 p88 }) ({p69 } a9 {p65 }) ({p482 p396 p12 p168 p22 p347 p408 p387 p75 p77 p462 p79 p80 p465 p466 p501 p425 p88 p193 } a31 {p509 p196 p2 p400 p347 p408 p75 p77 p441 p462 p79 p80 p465 p466 p88 p539 p46 }) ({p3 p512 p230 p451 p12 p202 p17 p26 p410 p408 p318 p157 p363 p420 p250 p313 p365 p327 p431 p273 p487 p237 p107 p108 p386 p77 p462 p80 p115 p499 p465 p466 p88 p225 } a31 {p444 p227 p7 p304 p155 p513 p17 p206 p24 p408 p414 p413 p320 p253 p46 p429 p262 p530 p137 p271 p270 p488 p379 p110 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p74 } a10 {p57 }) ({p299 p12 p452 p17 p453 p358 p359 p125 p408 p127 p360 p361 p519 p216 p217 p256 p257 p480 p262 p263 p528 p483 p103 p267 p163 p373 p105 p165 p379 p381 p383 p174 p386 p176 p75 p77 p440 p79 p441 p462 p80 p182 p183 p465 p500 p466 p88 } a31 {p299 p452 p17 p453 p358 p359 p125 p408 p127 p360 p361 p519 p216 p217 p256 p257 p480 p46 p262 p263 p528 p483 p103 p267 p163 p373 p105 p165 p379 p381 p383 p174 p386 p176 p75 p77 p440 p79 p441 p462 p80 p182 p183 p465 p500 p466 p88 }) ({p152 p396 p512 p340 p451 p307 p12 p202 p311 p243 p409 p408 p318 p365 p425 p261 p327 p482 p237 p108 p142 p387 p77 p462 p80 p496 p289 p465 p466 p290 p88 } a31 {p444 p151 p395 p513 p400 p309 p206 p408 p244 p320 p46 p262 p137 p270 p277 p278 p379 p347 p77 p144 p441 p462 p80 p496 p465 p466 p291 p293 p88 p539 }) ({p151 p508 p342 p306 p277 p278 p21 p240 p347 p408 p141 p75 p441 p462 p286 p184 p465 p466 p88 p479 p42 } a20 {p507 p53 p52 p396 p340 p306 p276 p346 p243 p408 p142 p439 p462 p289 p465 p466 p86 p501 p88 p150 p193 p481 }) ({p444 p153 p395 p302 p513 p400 p308 p453 p17 p206 p21 p408 p412 p244 p320 p324 p427 p483 p266 p486 p382 p77 p144 p462 p80 p498 p465 p466 p291 p293 p88 p539 } a20 {p152 p447 p397 p451 p307 p17 p514 p403 p311 p208 p409 p408 p245 p425 p261 p327 p482 p52 p269 p316 p487 p170 p387 p77 p462 p80 p145 p497 p465 p224 p466 p294 p88 p540 }) ({p439 p129 p12 p465 p377 p259 p391 } a31 {p174 p163 p249 p465 p345 p240 p135 p46 }) ({p415 p463 p58 p12 p168 p22 p330 p193 p506 } a31 {p196 p2 p80 p337 p468 p125 p260 p46 }) ({p3 p512 p230 p451 p12 p202 p17 p26 p410 p408 p413 p318 p363 p420 p250 p365 p327 p431 p273 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p513 p17 p206 p24 p408 p414 p413 p320 p253 p46 p429 p262 p530 p137 p271 p270 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p21 p325 p381 p226 } a20 {p52 p232 p225 p325 p381 }) ({p63 } a34 {p59 }) ({p119 p441 p21 p379 p139 } a20 {p263 p439 p318 p267 p52 p396 p365 p377 }) ({p385 p331 p265 p360 p34 p14 p466 p453 p407 p480 p383 p527 } a51 {p385 p447 p265 p360 p452 p14 p466 p23 p407 p480 p383 p527 }) ({p265 p267 p17 p21 p381 p408 p383 p386 p77 p462 p80 p183 p147 p465 p466 p88 } a20 {p265 p52 p267 p17 p381 p408 p383 p386 p77 p462 p80 p465 p466 p88 p45 p527 }) ({p385 p265 p182 p34 p14 p466 p232 p407 p45 p383 p527 p326 } a51 {p385 p265 p183 p14 p466 p23 p407 p383 p226 p527 p326 }) ({p352 p447 p96 p12 p17 p514 p205 p208 p408 p520 p219 p523 p371 p267 p316 p489 p381 p383 p238 p386 p77 p462 p80 p465 p466 p88 p502 } a31 {p453 p17 p231 p358 p515 p233 p211 p408 p29 p421 p324 p46 p264 p267 p328 p381 p383 p386 p388 p77 p462 p80 p114 p465 p500 p466 p190 p88 }) ({p319 p21 p381 p226 } a20 {p318 p52 p232 p225 p325 p381 }) ({p56 } a25 {p82 }) ({p444 p483 p453 p17 p433 p21 } a20 {p482 p386 p447 p52 p451 p224 p17 p170 }) ({p528 p267 p532 p17 p21 p359 p515 p381 p211 p383 p408 p386 p360 p77 p519 p462 p80 p217 p499 p465 p466 p88 p502 } a20 {p528 p52 p267 p532 p374 p533 p17 p359 p381 p383 p408 p386 p360 p77 p462 p80 p520 p499 p465 p219 p466 p88 p502 }) ({p327 p267 p230 p451 p12 p17 p408 p281 p386 p318 p77 p462 p363 p80 p465 p466 p88 p225 } a31 {p444 p227 p267 p270 p373 p17 p408 p386 p77 p462 p80 p182 p320 p465 p466 p88 p351 p46 }) ({p482 p387 p80 p398 p12 p168 p22 p193 p506 } a31 {p196 p2 p441 p80 p423 p539 p46 }) ({p174 p411 p196 p2 p163 p335 p464 p19 p88 p21 p260 } a20 {p446 p52 p198 p456 p168 p22 p415 p128 p389 p463 p335 p88 p390 }) ({p444 p227 p7 p513 p453 p17 p206 p231 p358 p21 p408 p29 p414 p320 p421 p253 p324 p528 p264 p267 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 p351 } a20 {p352 p447 p230 p451 p17 p514 p205 p208 p26 p408 p363 p420 p523 p327 p528 p371 p52 p267 p273 p316 p381 p383 p238 p386 p77 p462 p80 p465 p499 p466 p88 }) ({p59 } a35 {p71 }) ({p438 p265 p362 p12 p422 p490 p392 } a31 {p176 p418 p442 p165 p466 p138 p159 p472 p46 }) ({p352 p447 p12 p17 p514 p205 p208 p408 p520 p219 p523 p528 p371 p267 p316 p381 p383 p238 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p453 p17 p231 p358 p515 p233 p211 p408 p29 p421 p324 p46 p528 p264 p267 p328 p381 p383 p386 p77 p462 p80 p465 p466 p500 p190 p88 }) ({p328 p270 p418 p57 p521 p190 p88 p233 p468 } a5 {p524 p62 p89 }) ({p528 p447 p267 p12 p17 p381 p408 p383 p386 p77 p462 p80 p465 p466 p235 p88 } a31 {p528 p267 p328 p453 p17 p233 p381 p408 p383 p386 p361 p77 p462 p80 p465 p466 p88 p46 }) ({p457 p467 p21 p135 p391 } a20 {p52 p465 p345 p424 p390 p135 }) ({p78 p462 p215 p216 p218 } a12 {p462 p215 p216 p218 p39 }) ({p415 p470 p463 p335 p12 p501 p168 p22 p329 p88 p193 } a31 {p509 p196 p2 p79 p88 p101 p468 p125 p260 p46 }) ({p509 p153 p196 p2 p395 p302 p400 p308 p19 p21 p408 p412 p244 p427 p484 p483 p266 p163 p382 p77 p144 p462 p496 p80 p465 p466 p291 p293 p88 p539 } a20 {p152 p446 p510 p198 p397 p307 p403 p311 p22 p409 p408 p245 p128 p425 p261 p482 p485 p52 p269 p168 p170 p387 p77 p495 p462 p80 p145 p465 p224 p466 p294 p88 p540 }) ({p444 p483 p400 p453 p17 p21 p408 p382 p409 p77 p462 p80 p320 p465 p466 p88 p539 p324 p427 p261 } a20 {p327 p482 p447 p52 p316 p451 p17 p403 p170 p408 p409 p387 p77 p462 p80 p465 p224 p466 p425 p88 p540 p261 }) ({p265 p12 p167 p17 p490 p408 p77 p462 p362 p80 p223 p465 p466 p88 p527 } a31 {p165 p17 p138 p408 p77 p462 p80 p442 p147 p465 p466 p88 p480 p46 }) ({p1 } a21 {p81 }) ({p363 p12 p190 p381 p226 } a31 {p182 p232 p190 p351 p381 p46 }) ({p12 p167 p17 p408 p331 p386 p77 p462 p80 p223 p465 p466 p88 p527 } a31 {p328 p452 p17 p408 p386 p77 p462 p80 p147 p465 p466 p88 p480 p46 }) ({p105 p524 p62 p89 } a7 {p164 p90 p69 }) ({p80 p21 p330 p506 } a20 {p52 p80 p501 p337 p329 }) ({p263 p177 p439 p34 p466 p86 p159 p472 p536 } a51 {p119 p438 p73 p184 p466 p42 p23 }) ({p174 p194 p388 p464 p256 p21 p503 p156 p126 } a20 {p52 p463 p456 p251 p116 p172 p390 p502 p535 p408 }) ({p447 p268 p532 p316 p397 p12 p308 p17 p20 p403 p170 p408 p416 p245 p77 p462 p80 p465 p224 p466 p188 p88 p428 p540 } a31 {p0 p483 p266 p328 p399 p308 p453 p17 p406 p408 p382 p412 p77 p462 p247 p80 p465 p522 p466 p190 p88 p324 p427 p46 }) ({p152 p396 p340 p307 p12 p309 p22 p243 p409 p408 p425 p261 p481 p482 p53 p168 p142 p387 p495 p462 p289 p465 p466 p501 p88 p193 } a31 {p151 p509 p508 p196 p2 p395 p400 p309 p408 p244 p46 p484 p277 p278 p347 p75 p144 p441 p462 p465 p466 p291 p88 p539 p468 }) ({p327 p482 p396 p340 p451 p12 p237 p278 p108 p243 p409 p408 p387 p318 p77 p462 p80 p465 p466 p365 p425 p88 p261 } a31 {p444 p262 p137 p270 p395 p400 p277 p278 p379 p347 p408 p244 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p48 } a19 {p1 }) ({p262 p137 p342 p277 p276 p21 p240 p379 p347 p408 p77 p441 p462 p80 p249 p131 p465 p466 p88 } a20 {p52 p396 p340 p276 p237 p377 p346 p108 p243 p408 p439 p318 p77 p462 p80 p465 p466 p365 p88 p259 p136 }) ({p446 p510 p198 p305 p456 p12 p276 p377 p346 p439 p128 p389 p322 p88 p390 p150 p259 p136 } a31 {p511 p342 p163 p200 p305 p19 p240 p141 p174 p411 p418 p286 p249 p131 p464 p336 p88 p46 }) ({p446 p510 p198 p302 p397 p12 p310 p20 p403 p408 p416 p245 p128 p259 p428 p136 p268 p532 p170 p377 p77 p462 p80 p496 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p511 p302 p200 p399 p308 p19 p406 p408 p412 p247 p249 p131 p522 p427 p46 p483 p266 p163 p382 p77 p462 p80 p496 p465 p466 p88 p296 }) ({p415 p80 p463 p12 p168 p22 p330 p193 p506 } a31 {p196 p2 p80 p337 p125 p260 p46 }) ({p21 p279 } a20 {p52 p270 p383 }) ({p352 p447 p12 p17 p514 p205 p208 p408 p520 p219 p523 p528 p264 p371 p267 p316 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p453 p17 p231 p358 p515 p233 p211 p408 p29 p421 p324 p46 p528 p264 p267 p328 p381 p383 p386 p77 p462 p80 p465 p466 p500 p190 p88 }) ({p164 p21 p257 p90 } a20 {p52 p166 p88 p380 p317 }) ({p40 } a54 {p41 }) ({p446 p510 p198 p397 p12 p308 p20 p403 p408 p416 p245 p128 p259 p428 p136 p268 p532 p170 p377 p77 p462 p80 p496 p465 p224 p466 p188 p88 p540 } a31 {p0 p511 p200 p399 p308 p19 p406 p408 p412 p247 p249 p131 p522 p427 p46 p483 p266 p163 p382 p77 p462 p80 p496 p465 p466 p88 }) ({p17 p21 p138 p383 p408 p386 p77 p462 p80 p183 p442 p147 p465 p466 p88 p326 } a20 {p265 p52 p17 p279 p408 p386 p77 p462 p80 p465 p466 p443 p88 p45 p527 }) ({p77 p12 p14 p189 p88 p367 p407 p221 } a31 {p529 p127 p77 p143 p88 p341 p242 p46 }) ({p415 p463 p335 p12 p501 p168 p22 p329 p88 p468 p193 } a31 {p509 p196 p2 p88 p101 p468 p125 p260 p46 }) ({p444 p327 p483 p453 p17 p21 p408 p382 p409 p77 p462 p80 p465 p466 p88 p539 } a20 {p482 p327 p447 p52 p451 p17 p170 p408 p409 p387 p77 p462 p80 p465 p224 p466 p88 p540 }) ({p71 } a28 {p68 }) ({p267 p17 p21 p515 p381 p211 p408 p383 p386 p388 p77 p519 p462 p80 p217 p465 p466 p88 } a20 {p52 p267 p374 p533 p17 p381 p408 p383 p386 p77 p462 p80 p520 p465 p219 p466 p88 p502 }) ({p151 p511 p200 p309 p21 p240 p408 p249 p131 p262 p484 p137 p342 p277 p278 p379 p347 p141 p77 p441 p462 p496 p80 p286 p288 p465 p466 p88 } a20 {p396 p512 p340 p306 p202 p243 p408 p318 p365 p259 p136 p485 p52 p276 p237 p377 p346 p108 p142 p439 p77 p495 p462 p80 p289 p465 p466 p290 p88 p150 }) ({p53 p303 p12 p168 p22 p329 p283 p415 p463 p335 p501 p88 p193 p505 } a31 {p509 p196 p2 p301 p125 p75 p284 p88 p101 p468 p260 p46 p505 }) ({p529 p176 p143 p165 p466 p88 p21 p341 p242 } a20 {p52 p362 p521 p14 p422 p88 p490 p407 p392 }) ({p469 p80 p34 p189 p337 p367 p125 p221 } a51 {p127 p77 p58 p23 p330 p193 p506 }) ({p12 p452 p234 } a31 {p360 p452 p233 p46 }) ({p509 p196 p2 p163 p303 p19 p21 p174 p411 p464 p336 p88 p101 p260 } a20 {p446 p510 p52 p198 p303 p456 p168 p22 p415 p128 p389 p463 p335 p322 p88 p390 }) ({p352 p528 p264 p371 p267 p12 p17 p453 p205 p381 p408 p383 p386 p77 p462 p80 p465 p523 p466 p500 p88 } a31 {p528 p264 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p421 p465 p466 p500 p88 p46 }) ({p528 p483 p447 p267 p12 p17 p233 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p528 p483 p267 p328 p453 p17 p233 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 p46 }) ({p33 } a15 {p44 }) ({p44 } a18 {p21 }) ({p509 p196 p2 p395 p400 p308 p19 p311 p21 p408 p412 p244 p427 p483 p266 p163 p382 p77 p462 p495 p80 p465 p466 p291 p88 p539 } a20 {p446 p510 p198 p397 p307 p403 p311 p22 p409 p408 p245 p128 p425 p261 p482 p52 p168 p170 p387 p77 p462 p495 p80 p465 p224 p466 p294 p88 p540 }) ({p32 } a50 {p76 }) ({p14 p17 p21 p123 p22 p124 p359 p211 p360 p363 p364 p217 p251 p135 p259 p325 p265 p267 p381 p383 p385 p73 p438 p386 p439 p387 p77 p80 p499 p86 p337 p88 p502 p504 p451 p232 p407 p454 p408 p415 p520 p423 p527 p528 p532 p345 p462 p115 p465 p466 } a20 {p14 p17 p123 p22 p124 p359 p360 p363 p364 p219 p251 p135 p259 p325 p265 p52 p267 p381 p383 p385 p73 p438 p386 p439 p387 p77 p80 p499 p86 p337 p88 p502 p504 p451 p232 p407 p454 p408 p415 p520 p423 p527 p528 p532 p533 p345 p462 p115 p465 p466 }) ({p528 p176 p265 p34 p147 p165 p466 p188 p480 p383 } a51 {p176 p430 p265 p165 p466 p23 p480 p383 p527 }) ({p3 p304 p230 p12 p17 p26 p410 p408 p363 p420 p250 p313 p262 p431 p267 p273 p379 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 p225 } a31 {p227 p7 p304 p17 p24 p408 p414 p413 p253 p46 p429 p262 p530 p267 p271 p379 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p176 p328 p363 p34 p183 p165 p466 p480 p383 p338 } a51 {p176 p328 p364 p183 p165 p466 p23 p351 p480 p383 }) ({p385 p469 p12 p14 p349 p189 p367 p222 } a31 {p529 p440 p77 p143 p312 p348 p468 p242 p46 }) ({p441 p34 p349 p423 p443 p325 p381 p222 p279 } a51 {p440 p319 p398 p366 p23 p326 p383 }) ({p531 p445 p387 p12 p433 p22 } a31 {p386 p196 p2 p17 p539 p46 }) ({p430 p532 p12 p139 p259 } a31 {p528 p267 p249 p522 p46 }) ({p509 p153 p196 p2 p395 p400 p308 p19 p311 p21 p408 p412 p244 p427 p484 p483 p266 p163 p382 p77 p144 p462 p496 p80 p465 p466 p291 p88 p539 } a20 {p152 p446 p510 p198 p397 p307 p403 p311 p22 p409 p408 p245 p128 p425 p261 p482 p485 p52 p168 p170 p387 p77 p495 p462 p80 p145 p465 p224 p466 p294 p88 p540 }) ({p35 } a23 {p37 }) ({p352 p528 p267 p12 p17 p453 p205 p381 p408 p383 p386 p77 p462 p80 p421 p465 p523 p466 p500 p88 } a31 {p528 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p421 p465 p466 p500 p88 p46 }) ({p531 p483 p445 p163 p433 p21 } a20 {p482 p386 p128 p52 p521 p224 p17 p168 p170 }) ({p280 p103 p179 p195 p301 p21 p207 p125 p89 p239 } a20 {p283 p52 p104 p197 p98 p474 p186 p329 p88 p124 p47 }) ({p387 p12 p17 p433 } a31 {p386 p17 p539 p46 }) ({p444 p528 p227 p267 p453 p17 p231 p358 p21 p26 p381 p408 p383 p386 p77 p462 p80 p320 p465 p499 p466 p88 p324 p351 } a20 {p352 p327 p528 p447 p52 p267 p316 p230 p451 p17 p205 p26 p381 p408 p383 p386 p77 p462 p363 p80 p465 p499 p466 p88 }) ({p177 p299 p34 p86 p124 p536 p160 } a51 {p175 p73 p184 p123 p42 p23 }) ({p0 p511 p200 p399 p17 p310 p21 p24 p406 p408 p413 p247 p249 p131 p522 p429 p262 p530 p137 p271 p379 p386 p77 p462 p80 p182 p497 p465 p466 p88 } a20 {p3 p512 p202 p17 p310 p20 p410 p408 p416 p318 p250 p313 p365 p259 p428 p136 p268 p431 p532 p52 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p444 p227 p7 p513 p453 p17 p206 p231 p358 p21 p408 p29 p414 p320 p421 p253 p324 p264 p267 p488 p110 p381 p383 p386 p77 p462 p80 p114 p465 p500 p466 p88 p351 } a20 {p352 p447 p230 p96 p451 p17 p514 p205 p208 p26 p408 p363 p420 p523 p327 p371 p52 p267 p273 p316 p489 p381 p383 p238 p386 p77 p462 p80 p115 p499 p465 p466 p88 }) ({p483 p362 p163 p34 p223 p14 p466 p167 p490 p407 p135 } a51 {p129 p224 p165 p466 p14 p170 p23 p480 p407 }) ({p435 p452 p17 p21 p348 p408 p77 p462 p80 p312 p465 p466 p88 p480 } a20 {p52 p167 p17 p454 p408 p385 p331 p77 p462 p80 p223 p465 p466 p88 }) ({p151 p508 p342 p277 p309 p278 p21 p240 p347 p408 p141 p75 p441 p462 p286 p184 p288 p465 p466 p88 p479 p42 } a20 {p507 p53 p52 p396 p340 p306 p276 p346 p243 p408 p142 p439 p462 p289 p465 p466 p290 p86 p501 p88 p150 p193 p481 }) ({p528 p267 p12 p17 p454 p381 p408 p383 p386 p77 p462 p80 p364 p465 p466 p443 p88 p45 } a31 {p528 p267 p435 p17 p381 p408 p383 p386 p77 p462 p80 p183 p465 p466 p190 p88 p338 p326 p46 }) ({p352 p528 p267 p12 p17 p453 p231 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p528 p267 p17 p453 p231 p358 p233 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 p46 }) ({p352 p528 p267 p12 p17 p453 p205 p381 p408 p383 p29 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p528 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p465 p466 p500 p88 p46 }) ({p91 p98 p474 p12 p86 p116 p172 p535 p124 } a31 {p280 p103 p184 p105 p475 p256 p88 p42 p46 }) ({p104 p34 p164 p209 p90 } a51 {p130 p169 p23 p384 }) ({p441 p469 p80 p34 p349 p189 p423 p367 p222 } a51 {p440 p77 p398 p58 p23 p193 p506 }) ({p3 p512 p230 p451 p12 p202 p17 p26 p410 p408 p318 p157 p363 p420 p250 p313 p365 p327 p431 p273 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p304 p513 p17 p206 p24 p408 p414 p413 p320 p253 p46 p429 p262 p530 p137 p271 p270 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p80 p398 p21 p506 } a20 {p52 p396 p80 p501 p423 }) ({p327 p137 p431 p230 p451 p12 p17 p237 p408 p386 p318 p77 p462 p363 p80 p465 p466 p365 p88 p225 } a31 {p444 p262 p227 p530 p137 p270 p17 p379 p408 p386 p77 p462 p80 p182 p320 p465 p466 p88 p351 p46 }) ({p8 } a41 {p25 }) ({p103 p415 p463 p335 p474 p12 p186 p251 p329 p88 p47 } a31 {p194 p103 p475 p88 p503 p101 p125 p126 p260 p46 }) ({p265 p14 p232 p407 p383 p385 p182 p34 p466 p443 p45 p325 p527 } a51 {p385 p265 p319 p183 p14 p466 p23 p407 p383 p226 p326 p527 }) ({p164 p12 p123 p90 } a31 {p105 p89 p173 p118 p160 p46 }) ({p528 p227 p267 p451 p17 p231 p358 p21 p26 p381 p408 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p528 p52 p267 p230 p451 p17 p205 p26 p381 p408 p383 p386 p77 p462 p363 p80 p115 p465 p499 p466 p88 p502 }) ({p174 p362 p163 p34 p465 p345 p422 p490 p135 p392 } a51 {p176 p129 p165 p466 p457 p23 p391 }) ({p482 p53 p396 p12 p277 p168 p22 p347 p408 p387 p462 p465 p466 p501 p425 p88 p193 } a31 {p509 p196 p2 p400 p277 p347 p408 p75 p441 p462 p465 p466 p88 p539 p468 p46 }) ({p327 p482 p396 p451 p12 p408 p281 p387 p318 p77 p462 p80 p465 p466 p425 p88 } a31 {p444 p270 p373 p400 p408 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p262 p429 p3 p431 p267 p230 p12 p17 p379 p26 p381 p408 p383 p386 p77 p462 p363 p80 p465 p466 p500 p88 p225 } a31 {p262 p429 p227 p530 p267 p7 p17 p24 p379 p381 p408 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 p46 }) ({p174 p34 p166 p466 p345 p256 p392 p317 } a51 {p176 p466 p116 p172 p535 p257 p23 p391 }) ({p473 p337 p21 } a20 {p52 p474 p337 p504 }) ({p36 } a32 {p38 }) ({p507 p53 p303 p12 p168 p22 p329 p283 p415 p463 p335 p501 p477 p88 p193 } a31 {p509 p196 p2 p301 p125 p75 p284 p88 p479 p101 p468 p505 p260 p46 }) ({p327 p262 p267 p230 p451 p12 p17 p408 p386 p318 p77 p462 p363 p80 p465 p466 p365 p88 p225 } a31 {p444 p262 p227 p267 p270 p17 p379 p408 p386 p77 p462 p80 p182 p320 p465 p466 p88 p351 p46 }) ({p328 p34 p234 p359 } a51 {p353 p360 p328 p23 }) ({p182 p34 p232 p443 p45 p325 p381 p279 } a51 {p319 p183 p23 p366 p226 p326 p383 }) ({p176 p388 p466 p88 p21 p192 p538 p257 p341 } a20 {p52 p166 p422 p88 p502 p407 p392 p317 }) ({p473 p12 p86 p116 p172 p502 p535 p124 p109 } a31 {p280 p388 p184 p105 p256 p42 p504 p46 }) ({p174 p531 p445 p163 p464 p21 p156 } a20 {p128 p52 p463 p521 p456 p17 p168 p390 p408 }) ({p446 p198 p456 p12 p276 p377 p346 p439 p128 p389 p336 p88 p390 p259 p136 } a31 {p342 p163 p200 p19 p240 p174 p411 p418 p286 p249 p131 p464 p336 p88 p46 }) ({p3 p230 p12 p17 p26 p410 p408 p157 p363 p420 p250 p313 p431 p267 p273 p374 p533 p107 p381 p383 p386 p77 p462 p80 p115 p465 p466 p500 p88 p225 } a31 {p227 p7 p304 p155 p17 p24 p408 p414 p413 p519 p217 p521 p253 p46 p429 p530 p267 p271 p110 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p263 p176 p439 p267 p34 p442 p466 p377 p138 p472 p159 } a51 {p119 p438 p176 p265 p466 p23 p139 }) ({p482 p386 p176 p435 p312 p34 p451 p466 p165 p348 } a51 {p444 p385 p176 p466 p165 p433 p23 p454 }) ({p37 } a24 {p44 }) ({p0 p399 p17 p310 p21 p24 p406 p408 p413 p247 p522 p259 p429 p530 p267 p271 p381 p383 p386 p77 p462 p80 p182 p465 p499 p466 p88 } a20 {p3 p17 p310 p20 p410 p408 p416 p250 p313 p259 p428 p268 p431 p532 p52 p267 p381 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 }) ({p280 p75 p301 p184 p475 p88 p21 p42 p125 p505 } a20 {p283 p53 p52 p86 p501 p477 p329 p88 p124 p193 }) ({p363 p319 p451 p12 p381 p226 } a31 {p444 p182 p232 p190 p351 p325 p381 p46 }) ({p446 p510 p198 p12 p20 p403 p408 p412 p245 p128 p259 p428 p136 p268 p532 p170 p377 p77 p462 p80 p496 p465 p224 p466 p188 p88 p540 } a31 {p0 p483 p266 p511 p163 p200 p19 p406 p382 p408 p412 p77 p462 p247 p80 p496 p249 p131 p465 p522 p466 p88 p427 p46 }) ({p82 } a26 {p71 }) ({p447 p154 p397 p12 p310 p17 p514 p20 p403 p208 p408 p416 p245 p520 p219 p428 p268 p532 p269 p316 p487 p170 p77 p462 p80 p145 p499 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p302 p399 p308 p453 p17 p515 p406 p211 p408 p412 p247 p522 p324 p427 p46 p483 p266 p328 p488 p382 p77 p462 p80 p498 p146 p465 p466 p190 p88 p296 }) ({p509 p483 p266 p196 p2 p163 p400 p19 p21 p382 p408 p409 p244 p77 p462 p495 p80 p465 p466 p88 p539 p427 } a20 {p446 p510 p198 p403 p22 p408 p409 p245 p128 p425 p261 p482 p52 p168 p170 p387 p77 p462 p495 p80 p465 p224 p466 p88 p540 }) ({p444 p483 p266 p395 p307 p400 p453 p17 p21 p408 p382 p412 p244 p77 p462 p80 p320 p465 p466 p88 p324 p539 p427 } a20 {p447 p397 p451 p307 p17 p403 p409 p408 p245 p425 p261 p327 p482 p52 p316 p170 p387 p77 p462 p80 p465 p224 p466 p88 p540 }) ({p0 p511 p304 p200 p399 p17 p21 p24 p406 p408 p413 p247 p249 p131 p522 p429 p262 p530 p137 p271 p379 p386 p77 p462 p80 p182 p497 p465 p466 p88 p296 } a20 {p3 p512 p202 p310 p17 p20 p410 p408 p416 p318 p157 p250 p313 p365 p259 p428 p136 p268 p431 p532 p52 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p227 p7 p451 p17 p231 p358 p21 p408 p29 p420 p528 p267 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p230 p451 p17 p205 p26 p408 p363 p420 p523 p528 p52 p267 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 }) ({p352 p528 p447 p267 p316 p12 p17 p205 p208 p381 p408 p383 p386 p77 p462 p80 p465 p421 p219 p523 p466 p500 p88 } a31 {p453 p17 p231 p358 p233 p211 p408 p29 p421 p324 p46 p528 p267 p328 p381 p383 p386 p77 p462 p80 p465 p466 p500 p190 p88 }) ({p430 p532 p267 p12 } a31 {p528 p267 p522 p46 }) ({p385 p12 p349 p443 p454 p222 p279 } a31 {p440 p270 p435 p312 p190 p348 p326 p383 p46 }) ({p262 p431 p267 p230 p12 p17 p379 p24 p381 p408 p383 p386 p77 p462 p363 p80 p465 p466 p500 p88 p225 } a31 {p262 p227 p530 p267 p17 p379 p24 p381 p408 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 p46 }) ({p0 p530 p267 p17 p21 p24 p381 p408 p383 p386 p77 p462 p80 p182 p465 p499 p522 p466 p88 p259 p428 } a20 {p3 p431 p532 p52 p267 p17 p20 p381 p408 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 p259 p428 }) ({p482 p53 p396 p340 p12 p168 p22 p278 p243 p409 p408 p387 p462 p465 p466 p501 p425 p88 p193 p261 } a31 {p509 p196 p2 p395 p400 p277 p278 p347 p408 p244 p75 p441 p462 p465 p466 p88 p539 p468 p46 }) ({p39 } a52 {p72 }) ({p451 p453 p22 p358 p23 p124 p359 p125 p415 p361 p519 p363 p520 p217 p251 p219 p256 p259 p482 p262 p103 p483 p532 p104 p163 p373 p168 p377 p379 p381 p174 p75 p439 p387 p79 p441 p80 p463 p182 p115 p465 p499 p500 p86 p188 } a45 {p451 p453 p22 p358 p124 p359 p125 p415 p361 p519 p363 p520 p217 p251 p219 p256 p259 p482 p262 p103 p483 p532 p104 p163 p373 p168 p377 p379 p381 p174 p75 p439 p387 p78 p79 p441 p80 p463 p182 p115 p465 p499 p500 p86 p188 }) ({p532 p12 p17 p19 p170 p377 p408 p128 p77 p462 p80 p465 p224 p466 p188 p88 p259 p136 } a31 {p483 p163 p17 p19 p408 p77 p462 p80 p249 p131 p465 p522 p466 p88 p46 }) ({p262 p277 p21 p346 p240 p379 p408 p77 p441 p462 p80 p249 p465 p466 p88 } a20 {p52 p396 p237 p377 p346 p243 p408 p439 p318 p77 p462 p80 p465 p466 p365 p88 p259 }) ({p415 p12 p17 p156 } a31 {p17 p260 p408 p46 }) ({p531 p445 p415 p12 p22 p156 } a31 {p196 p2 p17 p260 p408 p46 }) ({p14 p17 p21 p123 p22 p124 p359 p360 p363 p215 p364 p251 p219 p135 p259 p325 p265 p267 p381 p383 p385 p73 p438 p386 p439 p387 p77 p80 p499 p86 p337 p88 p502 p504 p451 p232 p407 p454 p408 p415 p520 p423 p527 p528 p532 p345 p462 p115 p465 p466 } a20 {p14 p17 p123 p22 p124 p359 p360 p363 p215 p364 p251 p219 p135 p259 p325 p265 p52 p267 p381 p383 p385 p73 p438 p386 p439 p387 p77 p80 p499 p86 p337 p88 p502 p504 p451 p232 p407 p454 p408 p415 p520 p423 p527 p528 p532 p345 p462 p115 p465 p466 }) ({p79 p58 p21 p330 p506 } a20 {p52 p80 p470 p501 p337 p329 }) ({p152 p396 p512 p340 p451 p307 p12 p202 p311 p243 p409 p408 p318 p365 p425 p261 p327 p482 p485 p237 p108 p142 p387 p77 p462 p80 p497 p289 p465 p466 p290 p88 } a31 {p444 p151 p395 p513 p400 p309 p206 p408 p244 p320 p46 p262 p137 p270 p486 p277 p278 p379 p347 p77 p144 p441 p462 p496 p80 p465 p466 p291 p293 p88 p539 }) ({p438 p73 p12 p166 p422 p392 p317 } a31 {p177 p176 p418 p466 p257 p159 p472 p536 p46 }) ({p265 p328 p14 p165 p233 p407 p383 p385 p176 p34 p183 p466 p480 p527 } a51 {p265 p328 p14 p165 p233 p23 p407 p383 p385 p176 p183 p466 p480 p527 }) ({p60 } a6 {p30 }) ({p234 p21 } a20 {p360 p52 p233 }) ({p152 p396 p340 p307 p12 p311 p22 p243 p409 p408 p425 p261 p481 p482 p53 p168 p142 p387 p495 p462 p289 p465 p466 p290 p501 p88 p193 } a31 {p151 p509 p508 p196 p2 p395 p400 p309 p408 p244 p46 p484 p277 p278 p347 p75 p144 p441 p462 p465 p466 p291 p293 p88 p539 p468 }) ({p446 p510 p154 p198 p302 p397 p12 p310 p20 p403 p408 p416 p245 p128 p259 p428 p136 p268 p532 p485 p170 p377 p77 p462 p80 p145 p497 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p511 p302 p200 p399 p308 p19 p406 p408 p412 p247 p249 p131 p522 p427 p46 p483 p266 p486 p163 p382 p77 p462 p496 p80 p146 p465 p466 p88 p296 }) ({p327 p482 p396 p451 p12 p237 p347 p243 p408 p387 p318 p77 p462 p80 p465 p466 p365 p425 p88 p261 } a31 {p444 p262 p270 p400 p277 p379 p347 p408 p244 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p262 p528 p530 p267 p230 p373 p12 p17 p379 p381 p408 p383 p386 p77 p462 p363 p80 p465 p466 p500 p190 p88 p225 } a31 {p262 p528 p227 p530 p267 p373 p17 p379 p381 p408 p383 p386 p77 p462 p80 p182 p465 p466 p500 p190 p88 p351 p46 }) ({p3 p155 p230 p12 p17 p26 p410 p408 p157 p363 p420 p250 p313 p262 p431 p267 p273 p533 p379 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 p225 } a31 {p227 p7 p304 p155 p17 p24 p408 p414 p413 p217 p521 p253 p46 p429 p262 p530 p267 p271 p379 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p352 p528 p371 p267 p96 p12 p17 p453 p205 p381 p408 p383 p238 p386 p77 p462 p80 p465 p523 p466 p500 p88 } a31 {p528 p264 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p114 p421 p465 p466 p500 p88 p46 }) ({p528 p176 p267 p34 p442 p147 p165 p466 p188 p377 p138 p480 } a51 {p176 p430 p265 p466 p165 p23 p139 p480 p527 }) ({p447 p268 p532 p316 p12 p17 p20 p403 p170 p408 p412 p245 p77 p462 p80 p465 p224 p466 p188 p88 p540 p428 } a31 {p0 p483 p266 p328 p453 p17 p406 p408 p382 p412 p77 p462 p247 p80 p465 p522 p466 p190 p88 p324 p427 p46 }) ({p482 p387 p319 p398 p451 p12 p366 } a31 {p444 p270 p441 p423 p190 p539 p325 p381 p46 }) ({p447 p532 p12 p17 p170 p408 p382 p386 p77 p462 p80 p465 p224 p466 p188 p88 } a31 {p483 p328 p453 p17 p408 p382 p386 p77 p462 p80 p465 p522 p466 p88 p46 }) ({p44 } a17 {p48 }) ({p507 p342 p306 p277 p278 p21 p240 p347 p408 p75 p441 p462 p286 p184 p465 p466 p88 p42 } a20 {p507 p53 p52 p396 p340 p306 p276 p346 p243 p408 p439 p462 p289 p465 p466 p86 p501 p88 p193 }) ({p227 p7 p451 p17 p231 p358 p21 p408 p29 p414 p421 p528 p267 p273 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p230 p451 p17 p205 p26 p408 p363 p420 p523 p528 p371 p52 p267 p273 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 }) ({p175 p12 p88 } a31 {p280 p299 p88 p46 }) ({p331 p34 p453 p234 p359 } a51 {p353 p447 p360 p452 p23 }) ({p474 p12 p86 p116 p88 p172 p535 p124 p109 } a31 {p280 p184 p105 p475 p256 p88 p42 p46 }) }, initialMarking = {p14 p17 p19 p20 p22 p24 p207 p26 p209 p210 p29 p31 p213 p215 p216 p217 p218 p219 p324 p325 p326 p327 p328 p73 p438 p75 p439 p77 p440 p79 p441 p80 p335 p83 p85 p86 p336 p337 p88 p230 p451 p452 p453 p231 p232 p233 p454 p103 p104 p105 p345 p346 p347 p462 p114 p463 p115 p464 p465 p466 p467 p468 p123 p358 p124 p359 p125 p127 p360 p361 p363 p364 p251 p256 p257 p135 p259 p480 p136 p261 p262 p263 p482 p264 p483 p137 p265 p266 p267 p268 p270 p271 p273 p373 p276 p277 p278 p377 p379 p381 p382 p383 p385 p386 p387 p495 p496 p497 p498 p499 p500 p502 p150 p504 p505 p151 p507 p152 p508 p153 p299 p154 p301 p302 p155 p303 p304 p305 p306 p307 p308 p309 p310 p311 p407 p408 p409 p411 p412 p413 p415 p416 p519 p418 p520 p420 p421 p521 p423 p425 p427 p428 p527 p429 p528 p530 p532 p163 p165 p168 p174 p176 p182 p183 p188 p190 }, 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 }, transitions = { ({p441 p34 p349 p466 p189 p423 p367 p468 p407 p222 } a51 {p440 p398 p466 p23 p468 p407 p193 p506 }) ({p177 p440 p77 p462 p465 p466 p21 p88 p472 p159 p536 p408 } a20 {p52 p469 p222 p408 p438 p73 p462 p465 p349 p466 p189 p88 p367 }) ({p529 p482 p386 p176 p143 p312 p34 p466 p17 p168 p348 p242 } a51 {p385 p531 p445 p176 p14 p466 p433 p23 }) ({p5 p85 } a39 {p8 p87 p66 }) ({p52 } a22 {p35 }) ({p21 p138 p472 p383 p408 p440 p77 p462 p80 p442 p465 p466 p88 p159 p326 } a20 {p265 p52 p222 p279 p408 p438 p77 p462 p80 p465 p349 p466 p443 p88 }) ({p444 p153 p395 p302 p513 p400 p308 p453 p17 p206 p21 p408 p412 p244 p320 p324 p427 p483 p266 p382 p77 p144 p462 p80 p497 p465 p466 p291 p293 p88 p539 } a20 {p152 p447 p397 p451 p307 p17 p514 p403 p311 p208 p409 p408 p245 p425 p261 p327 p482 p52 p269 p316 p170 p387 p77 p462 p80 p145 p497 p465 p224 p466 p294 p88 p540 }) ({p482 p396 p470 p12 p168 p22 p408 p387 p462 p465 p466 p501 p425 p88 p193 } a31 {p509 p196 p2 p400 p408 p441 p79 p462 p465 p466 p88 p539 p468 p46 }) ({p197 p303 p12 p329 p210 p283 p415 p463 p335 p98 p474 p186 p251 p88 p47 } a31 {p194 p103 p301 p199 p207 p125 p126 p284 p475 p88 p503 p101 p260 p46 }) ({p528 p267 p12 p17 p381 p408 p383 p386 p77 p462 p80 p364 p465 p466 p88 p45 p326 } a31 {p528 p267 p17 p381 p408 p383 p386 p77 p462 p80 p183 p465 p466 p88 p338 p46 p326 }) ({p530 p267 p17 p20 p21 p381 p408 p383 p386 p77 p462 p80 p182 p465 p499 p522 p466 p88 p259 } a20 {p431 p532 p52 p267 p17 p20 p381 p408 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 p259 }) ({p415 p463 p335 p98 p474 p12 p186 p251 p329 p88 p207 p47 } a31 {p194 p103 p475 p88 p503 p207 p101 p125 p126 p260 p46 }) ({p319 p398 p373 p21 p366 } a20 {p281 p318 p52 p396 p423 p325 p381 }) ({p175 p75 p388 p184 p88 p21 p42 p125 } a20 {p299 p53 p52 p86 p501 p329 p88 p502 p124 p193 }) ({p444 p153 p395 p513 p400 p308 p453 p17 p206 p311 p21 p408 p412 p244 p320 p324 p427 p483 p266 p382 p77 p144 p462 p80 p465 p466 p291 p88 p539 } a20 {p152 p447 p397 p451 p307 p17 p514 p403 p311 p208 p409 p408 p245 p425 p261 p327 p482 p52 p316 p170 p387 p77 p462 p80 p145 p465 p224 p466 p294 p88 p540 }) ({p439 p129 p12 p457 p377 p259 p391 } a31 {p174 p418 p163 p249 p465 p345 p240 p135 p46 }) ({p411 p439 p128 p456 p12 p377 p346 p88 p390 p259 p408 p136 } a31 {p174 p411 p342 p418 p163 p249 p131 p464 p88 p240 p408 p46 }) ({p25 } a46 {p27 }) ({p447 p153 p302 p397 p12 p310 p17 p20 p403 p208 p408 p416 p245 p219 p428 p268 p532 p316 p170 p77 p462 p80 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p302 p399 p308 p453 p17 p406 p211 p408 p412 p247 p522 p324 p427 p46 p483 p266 p328 p382 p77 p462 p80 p465 p466 p190 p88 p296 }) ({p12 p454 p222 p408 p383 p385 p77 p462 p80 p465 p349 p466 p443 p88 } a31 {p435 p348 p408 p383 p440 p77 p462 p80 p312 p465 p466 p190 p88 p326 p46 }) ({p151 p511 p200 p306 p21 p240 p408 p249 p131 p262 p137 p342 p277 p278 p379 p347 p141 p77 p441 p462 p80 p286 p465 p466 p88 } a20 {p396 p512 p340 p306 p202 p243 p408 p318 p365 p259 p136 p52 p276 p237 p377 p346 p108 p142 p439 p77 p462 p80 p289 p465 p466 p88 p150 }) ({p439 p12 p86 p457 p116 p172 p535 p391 } a31 {p174 p418 p184 p465 p345 p256 p240 p42 p46 }) ({p103 p130 p169 p256 p21 p384 } a20 {p91 p52 p104 p98 p474 p116 p172 p535 p209 }) ({p227 p7 p451 p17 p231 p358 p21 p408 p29 p414 p421 p253 p528 p264 p267 p110 p381 p383 p386 p77 p462 p80 p114 p465 p499 p466 p88 p502 p351 } a20 {p352 p230 p96 p451 p17 p205 p26 p408 p363 p420 p523 p528 p371 p52 p267 p273 p381 p383 p238 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 }) ({p331 p12 p234 } a31 {p360 p328 p452 p233 p46 }) ({p3 p304 p512 p230 p451 p12 p202 p17 p26 p410 p408 p318 p363 p420 p250 p313 p365 p327 p431 p273 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p304 p513 p17 p206 p24 p408 p414 p413 p320 p253 p46 p429 p262 p530 p137 p271 p270 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p0 p154 p304 p399 p17 p21 p24 p406 p211 p408 p413 p247 p217 p522 p259 p429 p530 p267 p271 p381 p383 p386 p77 p462 p80 p182 p465 p499 p466 p88 p296 } a20 {p3 p154 p310 p17 p20 p410 p408 p416 p157 p250 p313 p219 p259 p428 p268 p431 p532 p52 p267 p533 p381 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 }) ({p415 p473 p463 p12 p186 p251 p502 p330 p47 } a31 {p194 p388 p337 p503 p504 p125 p126 p260 p46 }) ({p31 } a49 {p9 }) ({p91 p21 } a20 {p91 p52 }) ({p411 p439 p456 p12 p86 p116 p346 p88 p172 p390 p535 } a31 {p174 p411 p342 p418 p184 p464 p256 p88 p240 p42 p46 }) ({p262 p530 p17 p21 p379 p408 p386 p77 p462 p80 p182 p249 p465 p522 p466 p88 p136 } a20 {p431 p532 p52 p17 p237 p377 p408 p386 p318 p77 p462 p80 p465 p466 p188 p365 p88 p225 p259 p136 }) ({p262 p530 p137 p17 p20 p21 p379 p408 p386 p77 p462 p80 p182 p497 p249 p131 p465 p522 p466 p88 } a20 {p431 p532 p52 p17 p20 p237 p377 p108 p408 p386 p318 p77 p462 p80 p497 p465 p466 p365 p188 p88 p225 p259 p136 }) ({p174 p411 p194 p388 p464 p256 p88 p21 p503 p126 p260 } a20 {p415 p52 p389 p463 p456 p251 p116 p88 p172 p535 p390 p502 }) ({p119 p12 p139 p259 } a31 {p263 p267 p249 p240 p46 }) ({p181 p12 p88 p502 p407 p241 p221 } a31 {p127 p388 p88 p192 p538 p341 p46 }) ({p447 p154 p302 p397 p12 p310 p17 p514 p20 p403 p208 p408 p416 p245 p520 p219 p428 p268 p532 p316 p170 p77 p462 p80 p145 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p302 p399 p308 p453 p17 p515 p406 p211 p408 p412 p247 p522 p324 p427 p46 p483 p266 p328 p382 p77 p462 p80 p146 p465 p466 p190 p88 p296 }) ({p79 p398 p58 p21 p506 } a20 {p52 p396 p80 p470 p501 p423 }) ({p473 p21 p330 } a20 {p52 p474 p337 p329 p504 }) ({p175 p130 p12 p89 } a31 {p280 p299 p195 p209 p89 p46 }) ({p507 p456 p12 p276 p346 p172 p535 p439 p213 p389 p86 p322 p477 p116 p88 p390 p150 } a31 {p342 p240 p141 p174 p411 p213 p418 p286 p184 p464 p336 p256 p88 p479 p42 p505 p46 }) ({p528 p267 p12 p17 p381 p408 p383 p331 p386 p360 p77 p462 p80 p465 p466 p88 p480 } a31 {p528 p267 p328 p452 p17 p381 p408 p383 p386 p360 p77 p462 p80 p465 p466 p88 p480 p46 }) ({p327 p431 p230 p451 p12 p17 p237 p108 p24 p408 p386 p318 p77 p462 p363 p80 p498 p465 p466 p365 p88 p225 } a31 {p444 p262 p227 p530 p137 p270 p17 p379 p24 p408 p386 p77 p462 p80 p182 p320 p498 p465 p466 p88 p351 p46 }) ({p129 p465 p21 p391 } a20 {p128 p52 p465 p345 p390 p135 }) ({p0 p304 p155 p399 p17 p21 p515 p24 p406 p211 p408 p413 p519 p247 p217 p522 p429 p530 p267 p271 p488 p381 p383 p386 p77 p462 p80 p182 p146 p465 p500 p466 p88 p296 } a20 {p3 p154 p310 p17 p20 p410 p408 p416 p157 p520 p250 p313 p219 p428 p268 p431 p532 p52 p267 p374 p533 p489 p107 p381 p383 p386 p77 p462 p80 p499 p465 p466 p188 p88 p225 }) ({p446 p510 p154 p198 p397 p12 p310 p20 p403 p408 p416 p245 p128 p259 p428 p136 p268 p532 p485 p269 p170 p377 p77 p462 p80 p145 p497 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p511 p302 p200 p399 p308 p19 p406 p408 p412 p247 p249 p131 p522 p427 p46 p483 p266 p486 p163 p382 p77 p462 p496 p80 p146 p465 p466 p88 p296 }) ({p447 p532 p12 p17 p20 p170 p408 p412 p77 p462 p80 p465 p224 p466 p188 p88 p324 p540 } a31 {p0 p483 p328 p453 p17 p408 p382 p412 p77 p462 p80 p465 p522 p466 p88 p324 p46 }) ({p469 p12 p14 p189 p367 p407 p221 } a31 {p529 p127 p77 p143 p341 p468 p242 p46 }) ({p444 p227 p7 p513 p453 p17 p206 p231 p358 p21 p408 p29 p414 p320 p421 p324 p528 p267 p273 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 p351 } a20 {p352 p447 p230 p451 p17 p514 p205 p208 p26 p408 p363 p420 p523 p327 p528 p371 p52 p267 p316 p273 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 }) ({p175 p103 p179 p130 p21 p125 p89 p239 } a20 {p299 p52 p104 p98 p474 p186 p329 p88 p124 p209 p47 }) ({p482 p53 p396 p12 p168 p22 p347 p243 p408 p387 p462 p465 p466 p501 p425 p88 p193 p261 } a31 {p509 p196 p2 p400 p277 p347 p408 p244 p75 p441 p462 p465 p466 p88 p539 p468 p46 }) ({p447 p266 p532 p316 p12 p17 p20 p403 p170 p408 p412 p77 p462 p80 p465 p224 p466 p188 p88 p540 p428 } a31 {p0 p483 p266 p328 p453 p17 p406 p408 p382 p412 p77 p462 p80 p465 p522 p466 p190 p88 p324 p427 p46 }) ({p439 p418 p12 p86 p116 p172 p535 p391 } a31 {p174 p418 p184 p345 p256 p240 p42 p46 }) ({p446 p532 p198 p12 p20 p170 p377 p408 p412 p128 p77 p462 p80 p496 p465 p224 p466 p188 p88 p259 p427 p540 p136 } a31 {p0 p483 p163 p200 p19 p382 p408 p412 p77 p462 p80 p496 p249 p131 p465 p522 p466 p88 p427 p46 }) ({p353 p12 p453 } a31 {p453 p233 p359 p46 }) ({p509 p483 p196 p2 p163 p400 p19 p21 p382 p408 p409 p77 p462 p495 p80 p465 p466 p88 p539 p427 p261 } a20 {p482 p446 p510 p52 p198 p403 p168 p170 p22 p408 p409 p387 p128 p77 p462 p495 p80 p465 p224 p466 p425 p88 p540 p261 }) ({p430 p182 p21 p379 p139 } a20 {p528 p318 p267 p52 p188 p365 p377 p225 }) ({p280 p75 p388 p301 p184 p88 p21 p42 p125 } a20 {p283 p53 p52 p86 p501 p329 p88 p502 p124 p193 }) ({p352 p528 p371 p267 p12 p17 p453 p205 p381 p408 p383 p238 p386 p77 p462 p80 p114 p465 p523 p466 p500 p88 } a31 {p528 p264 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p114 p421 p465 p466 p500 p88 p46 }) ({p3 p230 p12 p17 p26 p410 p408 p363 p420 p262 p431 p267 p271 p379 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 p225 } a31 {p227 p7 p17 p24 p408 p414 p46 p429 p262 p530 p267 p271 p379 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p71 } a29 {p12 }) ({p446 p510 p198 p12 p20 p403 p408 p412 p128 p259 p428 p136 p266 p532 p170 p377 p77 p462 p80 p496 p465 p224 p466 p188 p88 p540 } a31 {p0 p483 p266 p511 p163 p200 p19 p406 p382 p408 p412 p77 p462 p80 p496 p249 p131 p465 p522 p466 p88 p427 p46 }) ({p66 } a14 {p33 }) ({p482 p508 p53 p396 p340 p307 p12 p309 p168 p22 p243 p409 p408 p387 p462 p289 p465 p466 p501 p425 p88 p193 p261 } a31 {p509 p508 p196 p2 p395 p400 p277 p309 p278 p347 p408 p244 p75 p441 p462 p465 p466 p291 p88 p539 p468 p46 }) ({p352 p528 p447 p267 p12 p17 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 p324 } a31 {p528 p267 p328 p453 p17 p358 p233 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 p324 p46 }) ({p422 p21 } a20 {p52 p418 p466 }) ({p363 p319 p451 p12 p366 p226 } a31 {p444 p270 p182 p232 p190 p351 p325 p381 p46 }) ({p327 p262 p528 p530 p267 p230 p373 p451 p12 p17 p379 p381 p408 p383 p386 p318 p77 p462 p363 p80 p465 p466 p88 p225 } a31 {p444 p262 p528 p227 p530 p267 p373 p17 p379 p381 p408 p383 p386 p77 p462 p80 p182 p320 p465 p466 p88 p351 p46 }) ({p444 p152 p395 p400 p308 p453 p17 p206 p311 p21 p408 p412 p244 p320 p324 p427 p483 p266 p382 p77 p462 p80 p465 p466 p291 p88 p539 } a20 {p152 p447 p397 p451 p307 p17 p403 p311 p208 p409 p408 p245 p425 p261 p327 p482 p52 p316 p170 p387 p77 p462 p80 p465 p224 p466 p294 p88 p540 }) ({p30 } a48 {p32 }) ({p352 p528 p447 p267 p316 p12 p17 p205 p381 p408 p383 p29 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p528 p267 p328 p453 p17 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p465 p466 p500 p190 p88 p324 p46 }) ({p83 p27 } a37 {p28 p56 p84 }) ({p28 } a47 {p34 }) ({p3 p230 p12 p17 p26 p410 p408 p157 p363 p420 p250 p313 p431 p267 p273 p374 p533 p489 p107 p381 p383 p386 p77 p462 p80 p115 p465 p466 p88 p225 p502 } a31 {p227 p7 p304 p155 p17 p24 p408 p414 p413 p519 p217 p521 p253 p46 p429 p530 p267 p271 p110 p381 p383 p386 p388 p77 p462 p80 p182 p465 p500 p466 p88 p351 }) ({p127 p21 p89 p173 p118 p160 } a20 {p52 p181 p123 p88 p241 p221 }) ({p411 p439 p418 p12 p86 p116 p346 p88 p172 p390 p535 } a31 {p174 p411 p342 p418 p184 p256 p88 p240 p42 p46 }) ({p415 p53 p301 p463 p335 p12 p168 p501 p22 p329 p88 p193 } a31 {p509 p75 p196 p2 p301 p88 p101 p468 p125 p260 p46 }) ({p528 p267 p17 p21 p454 p381 p408 p383 p386 p360 p77 p462 p80 p465 p466 p88 p338 } a20 {p528 p52 p267 p17 p454 p381 p408 p383 p386 p77 p462 p80 p364 p465 p466 p234 p88 }) ({p130 p12 p169 p124 p384 } a31 {p280 p179 p195 p105 p209 p89 p239 p46 }) ({p529 p143 p463 p34 p17 p168 p341 p242 p408 } a51 {p531 p445 p14 p156 p23 p407 }) ({p262 p0 p530 p137 p200 p17 p21 p24 p379 p408 p386 p77 p462 p80 p182 p497 p249 p131 p465 p522 p466 p88 p428 } a20 {p3 p202 p17 p20 p408 p318 p365 p259 p136 p428 p431 p532 p52 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p152 p396 p512 p340 p451 p307 p12 p202 p309 p243 p409 p408 p318 p365 p425 p261 p327 p482 p237 p108 p142 p387 p77 p462 p80 p289 p465 p466 p88 } a31 {p444 p151 p395 p513 p400 p309 p206 p408 p244 p320 p46 p262 p137 p270 p277 p278 p379 p347 p77 p144 p441 p462 p80 p465 p466 p291 p88 p539 }) ({p528 p267 p12 p17 p453 p381 p408 p383 p386 p77 p462 p80 p465 p466 p235 p88 } a31 {p528 p267 p17 p453 p233 p381 p408 p383 p386 p361 p77 p462 p80 p465 p466 p88 p46 }) ({p46 } a33 {p63 }) ({p119 p267 p12 } a31 {p263 p267 p240 p46 }) ({p446 p510 p198 p306 p456 p12 p276 p377 p346 p439 p128 p495 p389 p285 p322 p88 p390 p150 p259 p481 p136 } a31 {p484 p508 p511 p342 p163 p200 p305 p19 p240 p141 p174 p411 p418 p286 p249 p131 p464 p288 p336 p88 p46 }) ({p77 p34 p189 p337 p367 p125 p221 } a51 {p127 p77 p23 p330 p193 p506 }) ({p127 p177 p388 p77 p88 p21 p536 p160 } a20 {p73 p52 p469 p189 p123 p88 p502 p367 p221 }) ({p176 p363 p435 p34 p183 p451 p165 p466 p480 p383 p338 } a51 {p444 p176 p364 p183 p165 p466 p23 p454 p351 p480 p383 }) ({p319 p373 p21 p366 p226 } a20 {p281 p318 p52 p232 p225 p325 p381 }) ({p430 p267 p182 p21 } a20 {p528 p52 p267 p188 p225 }) ({p181 p34 p337 p504 p241 p125 p221 } a51 {p127 p473 p186 p23 p330 p47 }) ({p447 p154 p397 p12 p310 p17 p514 p20 p403 p208 p408 p416 p245 p520 p219 p428 p268 p532 p269 p316 p170 p77 p462 p80 p145 p498 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p302 p399 p308 p453 p17 p515 p406 p211 p408 p412 p247 p522 p324 p427 p46 p483 p266 p328 p382 p77 p462 p80 p498 p146 p465 p466 p190 p88 p296 }) ({p353 p361 p21 } a20 {p52 p235 p359 }) ({p482 p387 p270 p319 p398 p451 p12 } a31 {p444 p270 p441 p423 p190 p539 p325 p46 }) ({p507 p509 p196 p2 p163 p305 p19 p21 p174 p411 p284 p464 p336 p88 p101 p260 } a20 {p507 p446 p510 p52 p198 p303 p456 p168 p22 p415 p128 p389 p285 p463 p335 p322 p88 p390 }) ({p277 p21 p346 p240 p408 p75 p441 p462 p184 p465 p466 p88 p42 } a20 {p53 p52 p396 p346 p243 p408 p439 p462 p465 p466 p86 p501 p88 p193 }) ({p12 p377 p346 p408 p411 p439 p128 p77 p462 p80 p464 p465 p466 p467 p88 p390 p259 p136 } a31 {p342 p163 p240 p408 p174 p411 p77 p462 p80 p249 p131 p464 p465 p466 p467 p88 p46 }) ({p34 p166 p256 p380 p504 p317 } a51 {p473 p116 p172 p535 p257 p23 p109 }) ({p319 p398 p21 p381 } a20 {p318 p52 p396 p423 p325 p381 }) ({p3 p230 p12 p17 p26 p410 p408 p413 p363 p420 p250 p262 p431 p267 p273 p379 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 p225 } a31 {p227 p7 p17 p24 p408 p414 p413 p253 p46 p429 p262 p530 p267 p271 p379 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p174 p34 p465 p166 p345 p422 p256 p392 p317 } a51 {p176 p466 p457 p116 p172 p535 p257 p23 p391 }) ({p227 p7 p451 p17 p231 p358 p21 p408 p29 p414 p421 p253 p528 p264 p267 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p230 p451 p17 p205 p26 p408 p363 p420 p523 p528 p371 p52 p267 p273 p381 p383 p238 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 }) ({p364 p12 p443 p45 p454 p279 } a31 {p270 p435 p183 p190 p338 p326 p46 p383 }) ({p119 p75 p441 p184 p21 p42 } a20 {p263 p439 p53 p52 p396 p86 p501 p193 }) ({p444 p483 p266 p400 p453 p17 p21 p408 p382 p409 p244 p77 p462 p80 p320 p465 p466 p88 p539 p324 p427 } a20 {p327 p482 p447 p52 p316 p451 p17 p403 p170 p408 p409 p387 p245 p77 p462 p80 p465 p224 p466 p425 p88 p261 p540 }) ({p9 } a42 {p74 }) ({p465 p21 p135 p391 } a20 {p52 p465 p345 p390 p135 }) ({p463 p34 p251 p192 p538 p341 p408 } a51 {p194 p503 p156 p23 p407 p126 }) ({p0 p511 p200 p17 p21 p24 p406 p408 p249 p131 p522 p429 p262 p530 p137 p268 p379 p386 p77 p462 p80 p182 p497 p465 p466 p88 } a20 {p3 p512 p202 p17 p20 p410 p408 p318 p365 p259 p428 p136 p431 p532 p52 p268 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p0 p511 p304 p155 p200 p399 p17 p21 p24 p406 p408 p413 p247 p249 p131 p522 p429 p262 p530 p137 p271 p486 p379 p386 p77 p462 p80 p182 p498 p146 p465 p466 p88 p296 } a20 {p3 p154 p512 p202 p310 p17 p20 p410 p408 p416 p318 p157 p250 p313 p365 p259 p428 p136 p268 p431 p532 p52 p487 p237 p107 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p65 } a8 {p60 }) ({p68 } a30 {p36 }) ({p429 p0 p530 p267 p268 p17 p21 p24 p406 p381 p408 p383 p386 p77 p462 p80 p182 p465 p499 p522 p466 p88 p259 } a20 {p3 p431 p532 p52 p267 p268 p17 p20 p381 p410 p408 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 p259 p428 }) ({p438 p73 p12 p166 p466 p88 p392 p317 } a31 {p177 p176 p466 p88 p257 p159 p472 p536 p46 }) ({p129 p457 p467 p21 p391 } a20 {p128 p52 p465 p345 p424 p390 p135 }) ({p528 p267 p374 p533 p12 p17 p359 p381 p408 p383 p386 p360 p77 p462 p80 p182 p465 p500 p466 p88 } a31 {p528 p267 p17 p359 p381 p408 p383 p386 p360 p77 p519 p462 p80 p182 p217 p521 p465 p500 p466 p88 p46 }) ({p444 p227 p7 p453 p17 p206 p231 p358 p21 p408 p29 p320 p420 p324 p528 p267 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 p351 } a20 {p352 p447 p230 p451 p17 p205 p208 p26 p408 p363 p420 p523 p327 p528 p52 p267 p316 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 }) ({p76 } a11 {p40 }) ({p469 p21 } a20 {p52 p77 p468 }) ({p385 p331 p483 p34 p223 p466 p14 p453 p167 p407 } a51 {p385 p447 p224 p452 p466 p14 p170 p23 p480 p407 }) ({p529 p165 p21 p348 p242 p408 p77 p143 p462 p80 p312 p465 p466 p88 p480 } a20 {p52 p14 p167 p490 p408 p385 p77 p462 p362 p80 p223 p521 p465 p466 p88 }) ({p174 p362 p163 p34 p466 p345 p490 p407 p135 p392 } a51 {p176 p129 p165 p466 p23 p407 p391 }) ({p262 p137 p342 p200 p306 p277 p21 p278 p240 p379 p347 p408 p77 p441 p462 p80 p286 p249 p131 p465 p466 p88 p150 } a20 {p396 p340 p306 p202 p243 p408 p318 p365 p259 p136 p52 p276 p237 p377 p346 p108 p439 p77 p462 p80 p289 p465 p466 p88 p150 }) ({p41 } a0 {p5 }) ({p528 p267 p435 p452 p17 p21 p381 p408 p383 p386 p360 p77 p462 p80 p465 p466 p88 p338 } a20 {p528 p52 p267 p17 p454 p381 p408 p383 p331 p386 p77 p462 p80 p364 p465 p466 p234 p88 }) ({p265 p12 p490 p408 p438 p77 p462 p362 p80 p465 p466 p88 p392 } a31 {p165 p138 p472 p408 p176 p77 p462 p80 p442 p465 p466 p88 p159 p46 }) ({p327 p482 p262 p396 p451 p12 p347 p408 p387 p318 p77 p462 p80 p465 p466 p365 p425 p88 } a31 {p444 p262 p270 p400 p379 p347 p408 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p194 p21 p126 p210 p174 p411 p464 p475 p336 p256 p88 p503 p101 p505 p260 } a20 {p52 p456 p172 p535 p210 p415 p389 p463 p335 p251 p322 p477 p116 p88 p390 }) ({p528 p267 p230 p451 p17 p358 p21 p381 p408 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p528 p52 p267 p230 p451 p17 p381 p408 p383 p386 p77 p462 p363 p80 p115 p465 p499 p466 p88 p502 }) ({p483 p196 p2 p163 p19 p21 p382 p408 p409 p77 p462 p495 p80 p465 p466 p88 p425 p539 } a20 {p482 p446 p52 p198 p168 p170 p22 p408 p409 p387 p128 p77 p462 p495 p80 p465 p224 p466 p88 p425 p540 }) ({p12 p14 p222 p408 p385 p77 p462 p80 p465 p349 p466 p189 p88 p367 } a31 {p529 p348 p242 p408 p440 p77 p143 p462 p80 p312 p465 p466 p88 p46 }) ({p194 p305 p199 p21 p126 p174 p411 p213 p284 p464 p475 p336 p256 p88 p503 p101 p505 p260 } a20 {p52 p303 p456 p172 p535 p210 p415 p389 p285 p463 p335 p251 p322 p477 p116 p187 p88 p390 }) ({p299 p12 p452 p17 p453 p358 p359 p125 p408 p127 p360 p361 p519 p256 p257 p480 p262 p263 p528 p483 p103 p267 p163 p373 p105 p533 p165 p379 p381 p383 p174 p386 p176 p75 p77 p440 p79 p441 p462 p80 p182 p183 p465 p500 p466 p88 } a31 {p299 p452 p17 p453 p358 p359 p125 p408 p127 p360 p361 p519 p217 p521 p256 p257 p480 p46 p262 p263 p528 p483 p103 p267 p163 p373 p105 p165 p379 p381 p383 p174 p386 p176 p75 p77 p440 p79 p441 p462 p80 p182 p183 p465 p500 p466 p88 }) ({p129 p465 p345 p21 } a20 {p128 p52 p465 p345 p135 }) ({p508 p446 p510 p198 p306 p456 p12 p276 p377 p346 p439 p128 p389 p285 p322 p88 p390 p150 p259 p136 } a31 {p508 p511 p342 p163 p200 p305 p19 p240 p141 p174 p411 p418 p286 p249 p131 p464 p288 p336 p88 p46 }) ({p0 p17 p21 p24 p406 p408 p416 p247 p522 p259 p429 p530 p267 p271 p381 p383 p386 p77 p462 p80 p182 p465 p499 p466 p88 } a20 {p3 p17 p20 p410 p408 p416 p250 p259 p428 p268 p431 p532 p52 p267 p381 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 }) ({p439 p128 p12 p377 p346 p424 p88 p390 p259 p408 p136 } a31 {p174 p342 p418 p163 p249 p131 p467 p88 p240 p408 p46 }) ({p3 p512 p230 p451 p12 p202 p17 p26 p410 p408 p318 p363 p420 p365 p327 p431 p271 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p513 p17 p206 p24 p408 p414 p320 p46 p429 p262 p530 p137 p270 p271 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p151 p511 p200 p309 p21 p240 p408 p249 p131 p262 p137 p342 p277 p278 p379 p347 p141 p77 p441 p462 p495 p80 p286 p288 p465 p466 p88 } a20 {p396 p512 p340 p306 p202 p243 p408 p318 p365 p259 p136 p52 p276 p237 p377 p346 p108 p142 p439 p77 p462 p495 p80 p289 p465 p466 p290 p88 p150 }) ({p482 p387 p398 p58 p12 p168 p22 p193 p506 } a31 {p196 p2 p441 p80 p423 p539 p468 p46 }) ({p3 p230 p451 p12 p202 p17 p26 p408 p318 p363 p365 p327 p429 p431 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p17 p206 p24 p408 p320 p46 p262 p429 p530 p137 p270 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p456 p12 p276 p346 p172 p535 p439 p389 p86 p336 p116 p88 p390 } a31 {p342 p240 p174 p411 p418 p286 p184 p464 p336 p256 p88 p42 p46 }) ({p73 p12 p166 p123 p88 p380 p502 p317 } a31 {p177 p388 p105 p88 p257 p536 p160 p46 }) ({p151 p396 p340 p451 p307 p12 p202 p309 p243 p409 p408 p318 p365 p425 p261 p327 p482 p237 p108 p387 p77 p462 p80 p289 p465 p466 p88 } a31 {p444 p151 p395 p400 p309 p206 p408 p244 p320 p46 p262 p137 p270 p277 p278 p379 p347 p77 p441 p462 p80 p465 p466 p291 p88 p539 }) ({p227 p7 p17 p231 p358 p21 p408 p29 p414 p421 p253 p264 p267 p110 p381 p383 p386 p388 p77 p462 p80 p114 p465 p466 p88 p351 } a20 {p352 p230 p96 p17 p205 p26 p408 p363 p420 p523 p371 p52 p267 p273 p381 p383 p238 p386 p77 p462 p80 p115 p465 p466 p88 p502 }) ({p299 p104 p34 p124 p209 p173 p118 p160 } a51 {p175 p179 p130 p123 p23 p239 }) ({p509 p508 p196 p2 p163 p305 p19 p21 p174 p411 p284 p464 p336 p88 p479 p101 p260 } a20 {p507 p446 p510 p52 p198 p303 p456 p168 p22 p415 p128 p389 p285 p463 p335 p322 p88 p390 p481 }) ({p342 p277 p276 p21 p240 p347 p408 p75 p441 p462 p184 p465 p466 p88 p42 } a20 {p53 p52 p396 p340 p276 p346 p243 p408 p439 p462 p465 p466 p86 p501 p88 p193 }) ({p532 p129 p12 p465 p224 p188 p170 p377 p259 } a31 {p483 p163 p249 p465 p522 p135 p46 }) ({p441 p34 p349 p466 p423 p443 p325 p407 p222 p383 } a51 {p440 p319 p398 p466 p23 p407 p326 p383 }) ({p507 p306 p456 p12 p276 p346 p172 p535 p439 p389 p285 p86 p322 p477 p116 p187 p88 p390 p150 } a31 {p342 p305 p240 p141 p174 p411 p213 p418 p286 p184 p464 p288 p336 p256 p88 p479 p42 p505 p46 }) ({p439 p12 p86 p116 p346 p424 p88 p172 p390 p535 } a31 {p174 p342 p418 p184 p467 p256 p88 p240 p42 p46 }) ({p353 p447 p12 } a31 {p328 p453 p233 p359 p46 }) ({p12 p89 p209 } a31 {p89 p209 p46 }) ({p0 p304 p155 p399 p17 p21 p515 p24 p406 p211 p408 p413 p519 p247 p217 p522 p429 p530 p267 p271 p381 p383 p386 p77 p462 p80 p182 p146 p465 p499 p466 p88 p296 } a20 {p3 p154 p310 p17 p20 p410 p408 p416 p157 p520 p250 p313 p219 p428 p268 p431 p532 p52 p267 p374 p533 p107 p381 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 }) ({p509 p483 p266 p196 p2 p395 p163 p307 p400 p19 p21 p382 p408 p412 p244 p77 p462 p495 p80 p465 p466 p88 p539 p427 } a20 {p446 p510 p198 p397 p307 p403 p22 p409 p408 p245 p128 p425 p261 p482 p52 p168 p170 p387 p77 p462 p495 p80 p465 p224 p466 p88 p540 }) ({p327 p482 p262 p270 p396 p451 p12 p408 p387 p318 p77 p462 p80 p465 p466 p425 p88 } a31 {p444 p262 p270 p400 p408 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p0 p511 p200 p17 p21 p24 p406 p408 p416 p247 p249 p131 p522 p429 p262 p530 p137 p271 p379 p386 p77 p462 p80 p182 p497 p465 p466 p88 } a20 {p3 p512 p202 p17 p20 p410 p408 p416 p318 p250 p365 p259 p428 p136 p268 p431 p532 p52 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p444 p528 p327 p267 p453 p17 p358 p21 p381 p408 p383 p386 p77 p462 p80 p465 p499 p466 p88 p351 } a20 {p352 p528 p327 p447 p52 p267 p451 p17 p381 p408 p383 p386 p77 p462 p363 p80 p465 p499 p466 p88 }) ({p69 } a9 {p65 }) ({p482 p396 p12 p168 p22 p347 p408 p387 p75 p77 p462 p79 p80 p465 p466 p501 p425 p88 p193 } a31 {p509 p196 p2 p400 p347 p408 p75 p77 p441 p462 p79 p80 p465 p466 p88 p539 p46 }) ({p3 p512 p230 p451 p12 p202 p17 p26 p410 p408 p318 p157 p363 p420 p250 p313 p365 p327 p431 p273 p487 p237 p107 p108 p386 p77 p462 p80 p115 p499 p465 p466 p88 p225 } a31 {p444 p227 p7 p304 p155 p513 p17 p206 p24 p408 p414 p413 p320 p253 p46 p429 p262 p530 p137 p271 p270 p488 p379 p110 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p74 } a10 {p57 }) ({p299 p12 p452 p17 p453 p358 p359 p125 p408 p127 p360 p361 p519 p216 p217 p256 p257 p480 p262 p263 p528 p483 p103 p267 p163 p373 p105 p165 p379 p381 p383 p174 p386 p176 p75 p77 p440 p79 p441 p462 p80 p182 p183 p465 p500 p466 p88 } a31 {p299 p452 p17 p453 p358 p359 p125 p408 p127 p360 p361 p519 p216 p217 p256 p257 p480 p46 p262 p263 p528 p483 p103 p267 p163 p373 p105 p165 p379 p381 p383 p174 p386 p176 p75 p77 p440 p79 p441 p462 p80 p182 p183 p465 p500 p466 p88 }) ({p152 p396 p512 p340 p451 p307 p12 p202 p311 p243 p409 p408 p318 p365 p425 p261 p327 p482 p237 p108 p142 p387 p77 p462 p80 p496 p289 p465 p466 p290 p88 } a31 {p444 p151 p395 p513 p400 p309 p206 p408 p244 p320 p46 p262 p137 p270 p277 p278 p379 p347 p77 p144 p441 p462 p80 p496 p465 p466 p291 p293 p88 p539 }) ({p151 p508 p342 p306 p277 p278 p21 p240 p347 p408 p141 p75 p441 p462 p286 p184 p465 p466 p88 p479 p42 } a20 {p507 p53 p52 p396 p340 p306 p276 p346 p243 p408 p142 p439 p462 p289 p465 p466 p86 p501 p88 p150 p193 p481 }) ({p444 p153 p395 p302 p513 p400 p308 p453 p17 p206 p21 p408 p412 p244 p320 p324 p427 p483 p266 p486 p382 p77 p144 p462 p80 p498 p465 p466 p291 p293 p88 p539 } a20 {p152 p447 p397 p451 p307 p17 p514 p403 p311 p208 p409 p408 p245 p425 p261 p327 p482 p52 p269 p316 p487 p170 p387 p77 p462 p80 p145 p497 p465 p224 p466 p294 p88 p540 }) ({p439 p129 p12 p465 p377 p259 p391 } a31 {p174 p163 p249 p465 p345 p240 p135 p46 }) ({p415 p463 p58 p12 p168 p22 p330 p193 p506 } a31 {p196 p2 p80 p337 p468 p125 p260 p46 }) ({p3 p512 p230 p451 p12 p202 p17 p26 p410 p408 p413 p318 p363 p420 p250 p365 p327 p431 p273 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p513 p17 p206 p24 p408 p414 p413 p320 p253 p46 p429 p262 p530 p137 p271 p270 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p21 p325 p381 p226 } a20 {p52 p232 p225 p325 p381 }) ({p63 } a34 {p59 }) ({p119 p441 p21 p379 p139 } a20 {p263 p439 p318 p267 p52 p396 p365 p377 }) ({p385 p331 p265 p360 p34 p14 p466 p453 p407 p480 p383 p527 } a51 {p385 p447 p265 p360 p452 p14 p466 p23 p407 p480 p383 p527 }) ({p265 p267 p17 p21 p381 p408 p383 p386 p77 p462 p80 p183 p147 p465 p466 p88 } a20 {p265 p52 p267 p17 p381 p408 p383 p386 p77 p462 p80 p465 p466 p88 p45 p527 }) ({p385 p265 p182 p34 p14 p466 p232 p407 p45 p383 p527 p326 } a51 {p385 p265 p183 p14 p466 p23 p407 p383 p226 p527 p326 }) ({p352 p447 p96 p12 p17 p514 p205 p208 p408 p520 p219 p523 p371 p267 p316 p489 p381 p383 p238 p386 p77 p462 p80 p465 p466 p88 p502 } a31 {p453 p17 p231 p358 p515 p233 p211 p408 p29 p421 p324 p46 p264 p267 p328 p381 p383 p386 p388 p77 p462 p80 p114 p465 p500 p466 p190 p88 }) ({p319 p21 p381 p226 } a20 {p318 p52 p232 p225 p325 p381 }) ({p56 } a25 {p82 }) ({p444 p483 p453 p17 p433 p21 } a20 {p482 p386 p447 p52 p451 p224 p17 p170 }) ({p528 p267 p532 p17 p21 p359 p515 p381 p211 p383 p408 p386 p360 p77 p519 p462 p80 p217 p499 p465 p466 p88 p502 } a20 {p528 p52 p267 p532 p374 p533 p17 p359 p381 p383 p408 p386 p360 p77 p462 p80 p520 p499 p465 p219 p466 p88 p502 }) ({p327 p267 p230 p451 p12 p17 p408 p281 p386 p318 p77 p462 p363 p80 p465 p466 p88 p225 } a31 {p444 p227 p267 p270 p373 p17 p408 p386 p77 p462 p80 p182 p320 p465 p466 p88 p351 p46 }) ({p482 p387 p80 p398 p12 p168 p22 p193 p506 } a31 {p196 p2 p441 p80 p423 p539 p46 }) ({p174 p411 p196 p2 p163 p335 p464 p19 p88 p21 p260 } a20 {p446 p52 p198 p456 p168 p22 p415 p128 p389 p463 p335 p88 p390 }) ({p444 p227 p7 p513 p453 p17 p206 p231 p358 p21 p408 p29 p414 p320 p421 p253 p324 p528 p264 p267 p381 p383 p386 p77 p462 p80 p465 p499 p466 p88 p351 } a20 {p352 p447 p230 p451 p17 p514 p205 p208 p26 p408 p363 p420 p523 p327 p528 p371 p52 p267 p273 p316 p381 p383 p238 p386 p77 p462 p80 p465 p499 p466 p88 }) ({p59 } a35 {p71 }) ({p438 p265 p362 p12 p422 p490 p392 } a31 {p176 p418 p442 p165 p466 p138 p159 p472 p46 }) ({p352 p447 p12 p17 p514 p205 p208 p408 p520 p219 p523 p528 p371 p267 p316 p381 p383 p238 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p453 p17 p231 p358 p515 p233 p211 p408 p29 p421 p324 p46 p528 p264 p267 p328 p381 p383 p386 p77 p462 p80 p465 p466 p500 p190 p88 }) ({p328 p270 p418 p57 p521 p190 p88 p233 p468 } a5 {p524 p62 p89 }) ({p528 p447 p267 p12 p17 p381 p408 p383 p386 p77 p462 p80 p465 p466 p235 p88 } a31 {p528 p267 p328 p453 p17 p233 p381 p408 p383 p386 p361 p77 p462 p80 p465 p466 p88 p46 }) ({p457 p467 p21 p135 p391 } a20 {p52 p465 p345 p424 p390 p135 }) ({p78 p462 p215 p216 p218 } a12 {p462 p215 p216 p218 p39 }) ({p415 p470 p463 p335 p12 p501 p168 p22 p329 p88 p193 } a31 {p509 p196 p2 p79 p88 p101 p468 p125 p260 p46 }) ({p509 p153 p196 p2 p395 p302 p400 p308 p19 p21 p408 p412 p244 p427 p484 p483 p266 p163 p382 p77 p144 p462 p496 p80 p465 p466 p291 p293 p88 p539 } a20 {p152 p446 p510 p198 p397 p307 p403 p311 p22 p409 p408 p245 p128 p425 p261 p482 p485 p52 p269 p168 p170 p387 p77 p495 p462 p80 p145 p465 p224 p466 p294 p88 p540 }) ({p444 p483 p400 p453 p17 p21 p408 p382 p409 p77 p462 p80 p320 p465 p466 p88 p539 p324 p427 p261 } a20 {p327 p482 p447 p52 p316 p451 p17 p403 p170 p408 p409 p387 p77 p462 p80 p465 p224 p466 p425 p88 p540 p261 }) ({p265 p12 p167 p17 p490 p408 p77 p462 p362 p80 p223 p465 p466 p88 p527 } a31 {p165 p17 p138 p408 p77 p462 p80 p442 p147 p465 p466 p88 p480 p46 }) ({p1 } a21 {p81 }) ({p363 p12 p190 p381 p226 } a31 {p182 p232 p190 p351 p381 p46 }) ({p12 p167 p17 p408 p331 p386 p77 p462 p80 p223 p465 p466 p88 p527 } a31 {p328 p452 p17 p408 p386 p77 p462 p80 p147 p465 p466 p88 p480 p46 }) ({p105 p524 p62 p89 } a7 {p164 p90 p69 }) ({p80 p21 p330 p506 } a20 {p52 p80 p501 p337 p329 }) ({p263 p177 p439 p34 p466 p86 p159 p472 p536 } a51 {p119 p438 p73 p184 p466 p42 p23 }) ({p174 p194 p388 p464 p256 p21 p503 p156 p126 } a20 {p52 p463 p456 p251 p116 p172 p390 p502 p535 p408 }) ({p447 p268 p532 p316 p397 p12 p308 p17 p20 p403 p170 p408 p416 p245 p77 p462 p80 p465 p224 p466 p188 p88 p428 p540 } a31 {p0 p483 p266 p328 p399 p308 p453 p17 p406 p408 p382 p412 p77 p462 p247 p80 p465 p522 p466 p190 p88 p324 p427 p46 }) ({p152 p396 p340 p307 p12 p309 p22 p243 p409 p408 p425 p261 p481 p482 p53 p168 p142 p387 p495 p462 p289 p465 p466 p501 p88 p193 } a31 {p151 p509 p508 p196 p2 p395 p400 p309 p408 p244 p46 p484 p277 p278 p347 p75 p144 p441 p462 p465 p466 p291 p88 p539 p468 }) ({p327 p482 p396 p340 p451 p12 p237 p278 p108 p243 p409 p408 p387 p318 p77 p462 p80 p465 p466 p365 p425 p88 p261 } a31 {p444 p262 p137 p270 p395 p400 p277 p278 p379 p347 p408 p244 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p48 } a19 {p1 }) ({p262 p137 p342 p277 p276 p21 p240 p379 p347 p408 p77 p441 p462 p80 p249 p131 p465 p466 p88 } a20 {p52 p396 p340 p276 p237 p377 p346 p108 p243 p408 p439 p318 p77 p462 p80 p465 p466 p365 p88 p259 p136 }) ({p446 p510 p198 p305 p456 p12 p276 p377 p346 p439 p128 p389 p322 p88 p390 p150 p259 p136 } a31 {p511 p342 p163 p200 p305 p19 p240 p141 p174 p411 p418 p286 p249 p131 p464 p336 p88 p46 }) ({p446 p510 p198 p302 p397 p12 p310 p20 p403 p408 p416 p245 p128 p259 p428 p136 p268 p532 p170 p377 p77 p462 p80 p496 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p511 p302 p200 p399 p308 p19 p406 p408 p412 p247 p249 p131 p522 p427 p46 p483 p266 p163 p382 p77 p462 p80 p496 p465 p466 p88 p296 }) ({p415 p80 p463 p12 p168 p22 p330 p193 p506 } a31 {p196 p2 p80 p337 p125 p260 p46 }) ({p21 p279 } a20 {p52 p270 p383 }) ({p352 p447 p12 p17 p514 p205 p208 p408 p520 p219 p523 p528 p264 p371 p267 p316 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p453 p17 p231 p358 p515 p233 p211 p408 p29 p421 p324 p46 p528 p264 p267 p328 p381 p383 p386 p77 p462 p80 p465 p466 p500 p190 p88 }) ({p164 p21 p257 p90 } a20 {p52 p166 p88 p380 p317 }) ({p40 } a54 {p41 }) ({p446 p510 p198 p397 p12 p308 p20 p403 p408 p416 p245 p128 p259 p428 p136 p268 p532 p170 p377 p77 p462 p80 p496 p465 p224 p466 p188 p88 p540 } a31 {p0 p511 p200 p399 p308 p19 p406 p408 p412 p247 p249 p131 p522 p427 p46 p483 p266 p163 p382 p77 p462 p80 p496 p465 p466 p88 }) ({p17 p21 p138 p383 p408 p386 p77 p462 p80 p183 p442 p147 p465 p466 p88 p326 } a20 {p265 p52 p17 p279 p408 p386 p77 p462 p80 p465 p466 p443 p88 p45 p527 }) ({p77 p12 p14 p189 p88 p367 p407 p221 } a31 {p529 p127 p77 p143 p88 p341 p242 p46 }) ({p415 p463 p335 p12 p501 p168 p22 p329 p88 p468 p193 } a31 {p509 p196 p2 p88 p101 p468 p125 p260 p46 }) ({p444 p327 p483 p453 p17 p21 p408 p382 p409 p77 p462 p80 p465 p466 p88 p539 } a20 {p482 p327 p447 p52 p451 p17 p170 p408 p409 p387 p77 p462 p80 p465 p224 p466 p88 p540 }) ({p71 } a28 {p68 }) ({p267 p17 p21 p515 p381 p211 p408 p383 p386 p388 p77 p519 p462 p80 p217 p465 p466 p88 } a20 {p52 p267 p374 p533 p17 p381 p408 p383 p386 p77 p462 p80 p520 p465 p219 p466 p88 p502 }) ({p151 p511 p200 p309 p21 p240 p408 p249 p131 p262 p484 p137 p342 p277 p278 p379 p347 p141 p77 p441 p462 p496 p80 p286 p288 p465 p466 p88 } a20 {p396 p512 p340 p306 p202 p243 p408 p318 p365 p259 p136 p485 p52 p276 p237 p377 p346 p108 p142 p439 p77 p495 p462 p80 p289 p465 p466 p290 p88 p150 }) ({p53 p303 p12 p168 p22 p329 p283 p415 p463 p335 p501 p88 p193 p505 } a31 {p509 p196 p2 p301 p125 p75 p284 p88 p101 p468 p260 p46 p505 }) ({p529 p176 p143 p165 p466 p88 p21 p341 p242 } a20 {p52 p362 p521 p14 p422 p88 p490 p407 p392 }) ({p469 p80 p34 p189 p337 p367 p125 p221 } a51 {p127 p77 p58 p23 p330 p193 p506 }) ({p12 p452 p234 } a31 {p360 p452 p233 p46 }) ({p509 p196 p2 p163 p303 p19 p21 p174 p411 p464 p336 p88 p101 p260 } a20 {p446 p510 p52 p198 p303 p456 p168 p22 p415 p128 p389 p463 p335 p322 p88 p390 }) ({p352 p528 p264 p371 p267 p12 p17 p453 p205 p381 p408 p383 p386 p77 p462 p80 p465 p523 p466 p500 p88 } a31 {p528 p264 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p421 p465 p466 p500 p88 p46 }) ({p528 p483 p447 p267 p12 p17 p233 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p528 p483 p267 p328 p453 p17 p233 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 p46 }) ({p33 } a15 {p44 }) ({p44 } a18 {p21 }) ({p509 p196 p2 p395 p400 p308 p19 p311 p21 p408 p412 p244 p427 p483 p266 p163 p382 p77 p462 p495 p80 p465 p466 p291 p88 p539 } a20 {p446 p510 p198 p397 p307 p403 p311 p22 p409 p408 p245 p128 p425 p261 p482 p52 p168 p170 p387 p77 p462 p495 p80 p465 p224 p466 p294 p88 p540 }) ({p32 } a50 {p76 }) ({p14 p17 p21 p123 p22 p124 p359 p211 p360 p363 p364 p217 p251 p135 p259 p325 p265 p267 p381 p383 p385 p73 p438 p386 p439 p387 p77 p80 p499 p86 p337 p88 p502 p504 p451 p232 p407 p454 p408 p415 p520 p423 p527 p528 p532 p345 p462 p115 p465 p466 } a20 {p14 p17 p123 p22 p124 p359 p360 p363 p364 p219 p251 p135 p259 p325 p265 p52 p267 p381 p383 p385 p73 p438 p386 p439 p387 p77 p80 p499 p86 p337 p88 p502 p504 p451 p232 p407 p454 p408 p415 p520 p423 p527 p528 p532 p533 p345 p462 p115 p465 p466 }) ({p528 p176 p265 p34 p147 p165 p466 p188 p480 p383 } a51 {p176 p430 p265 p165 p466 p23 p480 p383 p527 }) ({p3 p304 p230 p12 p17 p26 p410 p408 p363 p420 p250 p313 p262 p431 p267 p273 p379 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 p225 } a31 {p227 p7 p304 p17 p24 p408 p414 p413 p253 p46 p429 p262 p530 p267 p271 p379 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p176 p328 p363 p34 p183 p165 p466 p480 p383 p338 } a51 {p176 p328 p364 p183 p165 p466 p23 p351 p480 p383 }) ({p385 p469 p12 p14 p349 p189 p367 p222 } a31 {p529 p440 p77 p143 p312 p348 p468 p242 p46 }) ({p441 p34 p349 p423 p443 p325 p381 p222 p279 } a51 {p440 p319 p398 p366 p23 p326 p383 }) ({p531 p445 p387 p12 p433 p22 } a31 {p386 p196 p2 p17 p539 p46 }) ({p430 p532 p12 p139 p259 } a31 {p528 p267 p249 p522 p46 }) ({p509 p153 p196 p2 p395 p400 p308 p19 p311 p21 p408 p412 p244 p427 p484 p483 p266 p163 p382 p77 p144 p462 p496 p80 p465 p466 p291 p88 p539 } a20 {p152 p446 p510 p198 p397 p307 p403 p311 p22 p409 p408 p245 p128 p425 p261 p482 p485 p52 p168 p170 p387 p77 p495 p462 p80 p145 p465 p224 p466 p294 p88 p540 }) ({p35 } a23 {p37 }) ({p352 p528 p267 p12 p17 p453 p205 p381 p408 p383 p386 p77 p462 p80 p421 p465 p523 p466 p500 p88 } a31 {p528 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p421 p465 p466 p500 p88 p46 }) ({p531 p483 p445 p163 p433 p21 } a20 {p482 p386 p128 p52 p521 p224 p17 p168 p170 }) ({p280 p103 p179 p195 p301 p21 p207 p125 p89 p239 } a20 {p283 p52 p104 p197 p98 p474 p186 p329 p88 p124 p47 }) ({p387 p12 p17 p433 } a31 {p386 p17 p539 p46 }) ({p444 p528 p227 p267 p453 p17 p231 p358 p21 p26 p381 p408 p383 p386 p77 p462 p80 p320 p465 p499 p466 p88 p324 p351 } a20 {p352 p327 p528 p447 p52 p267 p316 p230 p451 p17 p205 p26 p381 p408 p383 p386 p77 p462 p363 p80 p465 p499 p466 p88 }) ({p177 p299 p34 p86 p124 p536 p160 } a51 {p175 p73 p184 p123 p42 p23 }) ({p0 p511 p200 p399 p17 p310 p21 p24 p406 p408 p413 p247 p249 p131 p522 p429 p262 p530 p137 p271 p379 p386 p77 p462 p80 p182 p497 p465 p466 p88 } a20 {p3 p512 p202 p17 p310 p20 p410 p408 p416 p318 p250 p313 p365 p259 p428 p136 p268 p431 p532 p52 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p444 p227 p7 p513 p453 p17 p206 p231 p358 p21 p408 p29 p414 p320 p421 p253 p324 p264 p267 p488 p110 p381 p383 p386 p77 p462 p80 p114 p465 p500 p466 p88 p351 } a20 {p352 p447 p230 p96 p451 p17 p514 p205 p208 p26 p408 p363 p420 p523 p327 p371 p52 p267 p273 p316 p489 p381 p383 p238 p386 p77 p462 p80 p115 p499 p465 p466 p88 }) ({p483 p362 p163 p34 p223 p14 p466 p167 p490 p407 p135 } a51 {p129 p224 p165 p466 p14 p170 p23 p480 p407 }) ({p435 p452 p17 p21 p348 p408 p77 p462 p80 p312 p465 p466 p88 p480 } a20 {p52 p167 p17 p454 p408 p385 p331 p77 p462 p80 p223 p465 p466 p88 }) ({p151 p508 p342 p277 p309 p278 p21 p240 p347 p408 p141 p75 p441 p462 p286 p184 p288 p465 p466 p88 p479 p42 } a20 {p507 p53 p52 p396 p340 p306 p276 p346 p243 p408 p142 p439 p462 p289 p465 p466 p290 p86 p501 p88 p150 p193 p481 }) ({p528 p267 p12 p17 p454 p381 p408 p383 p386 p77 p462 p80 p364 p465 p466 p443 p88 p45 } a31 {p528 p267 p435 p17 p381 p408 p383 p386 p77 p462 p80 p183 p465 p466 p190 p88 p338 p326 p46 }) ({p352 p528 p267 p12 p17 p453 p231 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p528 p267 p17 p453 p231 p358 p233 p381 p408 p383 p386 p77 p462 p80 p465 p466 p500 p88 p46 }) ({p352 p528 p267 p12 p17 p453 p205 p381 p408 p383 p29 p386 p77 p462 p80 p465 p466 p500 p88 } a31 {p528 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p465 p466 p500 p88 p46 }) ({p91 p98 p474 p12 p86 p116 p172 p535 p124 } a31 {p280 p103 p184 p105 p475 p256 p88 p42 p46 }) ({p104 p34 p164 p209 p90 } a51 {p130 p169 p23 p384 }) ({p441 p469 p80 p34 p349 p189 p423 p367 p222 } a51 {p440 p77 p398 p58 p23 p193 p506 }) ({p3 p512 p230 p451 p12 p202 p17 p26 p410 p408 p318 p157 p363 p420 p250 p313 p365 p327 p431 p273 p237 p108 p386 p77 p462 p80 p498 p465 p466 p88 p225 } a31 {p444 p227 p7 p304 p513 p17 p206 p24 p408 p414 p413 p320 p253 p46 p429 p262 p530 p137 p271 p270 p379 p386 p77 p462 p80 p182 p498 p465 p466 p88 p351 }) ({p80 p398 p21 p506 } a20 {p52 p396 p80 p501 p423 }) ({p327 p137 p431 p230 p451 p12 p17 p237 p408 p386 p318 p77 p462 p363 p80 p465 p466 p365 p88 p225 } a31 {p444 p262 p227 p530 p137 p270 p17 p379 p408 p386 p77 p462 p80 p182 p320 p465 p466 p88 p351 p46 }) ({p8 } a41 {p25 }) ({p103 p415 p463 p335 p474 p12 p186 p251 p329 p88 p47 } a31 {p194 p103 p475 p88 p503 p101 p125 p126 p260 p46 }) ({p265 p14 p232 p407 p383 p385 p182 p34 p466 p443 p45 p325 p527 } a51 {p385 p265 p319 p183 p14 p466 p23 p407 p383 p226 p326 p527 }) ({p164 p12 p123 p90 } a31 {p105 p89 p173 p118 p160 p46 }) ({p528 p227 p267 p451 p17 p231 p358 p21 p26 p381 p408 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p528 p52 p267 p230 p451 p17 p205 p26 p381 p408 p383 p386 p77 p462 p363 p80 p115 p465 p499 p466 p88 p502 }) ({p174 p362 p163 p34 p465 p345 p422 p490 p135 p392 } a51 {p176 p129 p165 p466 p457 p23 p391 }) ({p482 p53 p396 p12 p277 p168 p22 p347 p408 p387 p462 p465 p466 p501 p425 p88 p193 } a31 {p509 p196 p2 p400 p277 p347 p408 p75 p441 p462 p465 p466 p88 p539 p468 p46 }) ({p327 p482 p396 p451 p12 p408 p281 p387 p318 p77 p462 p80 p465 p466 p425 p88 } a31 {p444 p270 p373 p400 p408 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p262 p429 p3 p431 p267 p230 p12 p17 p379 p26 p381 p408 p383 p386 p77 p462 p363 p80 p465 p466 p500 p88 p225 } a31 {p262 p429 p227 p530 p267 p7 p17 p24 p379 p381 p408 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 p46 }) ({p174 p34 p166 p466 p345 p256 p392 p317 } a51 {p176 p466 p116 p172 p535 p257 p23 p391 }) ({p473 p337 p21 } a20 {p52 p474 p337 p504 }) ({p36 } a32 {p38 }) ({p507 p53 p303 p12 p168 p22 p329 p283 p415 p463 p335 p501 p477 p88 p193 } a31 {p509 p196 p2 p301 p125 p75 p284 p88 p479 p101 p468 p505 p260 p46 }) ({p327 p262 p267 p230 p451 p12 p17 p408 p386 p318 p77 p462 p363 p80 p465 p466 p365 p88 p225 } a31 {p444 p262 p227 p267 p270 p17 p379 p408 p386 p77 p462 p80 p182 p320 p465 p466 p88 p351 p46 }) ({p328 p34 p234 p359 } a51 {p353 p360 p328 p23 }) ({p182 p34 p232 p443 p45 p325 p381 p279 } a51 {p319 p183 p23 p366 p226 p326 p383 }) ({p176 p388 p466 p88 p21 p192 p538 p257 p341 } a20 {p52 p166 p422 p88 p502 p407 p392 p317 }) ({p473 p12 p86 p116 p172 p502 p535 p124 p109 } a31 {p280 p388 p184 p105 p256 p42 p504 p46 }) ({p174 p531 p445 p163 p464 p21 p156 } a20 {p128 p52 p463 p521 p456 p17 p168 p390 p408 }) ({p446 p198 p456 p12 p276 p377 p346 p439 p128 p389 p336 p88 p390 p259 p136 } a31 {p342 p163 p200 p19 p240 p174 p411 p418 p286 p249 p131 p464 p336 p88 p46 }) ({p3 p230 p12 p17 p26 p410 p408 p157 p363 p420 p250 p313 p431 p267 p273 p374 p533 p107 p381 p383 p386 p77 p462 p80 p115 p465 p466 p500 p88 p225 } a31 {p227 p7 p304 p155 p17 p24 p408 p414 p413 p519 p217 p521 p253 p46 p429 p530 p267 p271 p110 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p263 p176 p439 p267 p34 p442 p466 p377 p138 p472 p159 } a51 {p119 p438 p176 p265 p466 p23 p139 }) ({p482 p386 p176 p435 p312 p34 p451 p466 p165 p348 } a51 {p444 p385 p176 p466 p165 p433 p23 p454 }) ({p37 } a24 {p44 }) ({p0 p399 p17 p310 p21 p24 p406 p408 p413 p247 p522 p259 p429 p530 p267 p271 p381 p383 p386 p77 p462 p80 p182 p465 p499 p466 p88 } a20 {p3 p17 p310 p20 p410 p408 p416 p250 p313 p259 p428 p268 p431 p532 p52 p267 p381 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 }) ({p280 p75 p301 p184 p475 p88 p21 p42 p125 p505 } a20 {p283 p53 p52 p86 p501 p477 p329 p88 p124 p193 }) ({p363 p319 p451 p12 p381 p226 } a31 {p444 p182 p232 p190 p351 p325 p381 p46 }) ({p446 p510 p198 p12 p20 p403 p408 p412 p245 p128 p259 p428 p136 p268 p532 p170 p377 p77 p462 p80 p496 p465 p224 p466 p188 p88 p540 } a31 {p0 p483 p266 p511 p163 p200 p19 p406 p382 p408 p412 p77 p462 p247 p80 p496 p249 p131 p465 p522 p466 p88 p427 p46 }) ({p82 } a26 {p71 }) ({p447 p154 p397 p12 p310 p17 p514 p20 p403 p208 p408 p416 p245 p520 p219 p428 p268 p532 p269 p316 p487 p170 p77 p462 p80 p145 p499 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p302 p399 p308 p453 p17 p515 p406 p211 p408 p412 p247 p522 p324 p427 p46 p483 p266 p328 p488 p382 p77 p462 p80 p498 p146 p465 p466 p190 p88 p296 }) ({p509 p483 p266 p196 p2 p163 p400 p19 p21 p382 p408 p409 p244 p77 p462 p495 p80 p465 p466 p88 p539 p427 } a20 {p446 p510 p198 p403 p22 p408 p409 p245 p128 p425 p261 p482 p52 p168 p170 p387 p77 p462 p495 p80 p465 p224 p466 p88 p540 }) ({p444 p483 p266 p395 p307 p400 p453 p17 p21 p408 p382 p412 p244 p77 p462 p80 p320 p465 p466 p88 p324 p539 p427 } a20 {p447 p397 p451 p307 p17 p403 p409 p408 p245 p425 p261 p327 p482 p52 p316 p170 p387 p77 p462 p80 p465 p224 p466 p88 p540 }) ({p0 p511 p304 p200 p399 p17 p21 p24 p406 p408 p413 p247 p249 p131 p522 p429 p262 p530 p137 p271 p379 p386 p77 p462 p80 p182 p497 p465 p466 p88 p296 } a20 {p3 p512 p202 p310 p17 p20 p410 p408 p416 p318 p157 p250 p313 p365 p259 p428 p136 p268 p431 p532 p52 p237 p377 p108 p386 p77 p462 p80 p497 p465 p466 p188 p88 p225 }) ({p227 p7 p451 p17 p231 p358 p21 p408 p29 p420 p528 p267 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p230 p451 p17 p205 p26 p408 p363 p420 p523 p528 p52 p267 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 }) ({p352 p528 p447 p267 p316 p12 p17 p205 p208 p381 p408 p383 p386 p77 p462 p80 p465 p421 p219 p523 p466 p500 p88 } a31 {p453 p17 p231 p358 p233 p211 p408 p29 p421 p324 p46 p528 p267 p328 p381 p383 p386 p77 p462 p80 p465 p466 p500 p190 p88 }) ({p430 p532 p267 p12 } a31 {p528 p267 p522 p46 }) ({p385 p12 p349 p443 p454 p222 p279 } a31 {p440 p270 p435 p312 p190 p348 p326 p383 p46 }) ({p262 p431 p267 p230 p12 p17 p379 p24 p381 p408 p383 p386 p77 p462 p363 p80 p465 p466 p500 p88 p225 } a31 {p262 p227 p530 p267 p17 p379 p24 p381 p408 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 p46 }) ({p0 p530 p267 p17 p21 p24 p381 p408 p383 p386 p77 p462 p80 p182 p465 p499 p522 p466 p88 p259 p428 } a20 {p3 p431 p532 p52 p267 p17 p20 p381 p408 p383 p386 p77 p462 p80 p465 p499 p466 p188 p88 p225 p259 p428 }) ({p482 p53 p396 p340 p12 p168 p22 p278 p243 p409 p408 p387 p462 p465 p466 p501 p425 p88 p193 p261 } a31 {p509 p196 p2 p395 p400 p277 p278 p347 p408 p244 p75 p441 p462 p465 p466 p88 p539 p468 p46 }) ({p39 } a52 {p72 }) ({p451 p453 p22 p358 p23 p124 p359 p125 p415 p361 p519 p363 p520 p217 p251 p219 p256 p259 p482 p262 p103 p483 p532 p104 p163 p373 p168 p377 p379 p381 p174 p75 p439 p387 p79 p441 p80 p463 p182 p115 p465 p499 p500 p86 p188 } a45 {p451 p453 p22 p358 p124 p359 p125 p415 p361 p519 p363 p520 p217 p251 p219 p256 p259 p482 p262 p103 p483 p532 p104 p163 p373 p168 p377 p379 p381 p174 p75 p439 p387 p78 p79 p441 p80 p463 p182 p115 p465 p499 p500 p86 p188 }) ({p532 p12 p17 p19 p170 p377 p408 p128 p77 p462 p80 p465 p224 p466 p188 p88 p259 p136 } a31 {p483 p163 p17 p19 p408 p77 p462 p80 p249 p131 p465 p522 p466 p88 p46 }) ({p262 p277 p21 p346 p240 p379 p408 p77 p441 p462 p80 p249 p465 p466 p88 } a20 {p52 p396 p237 p377 p346 p243 p408 p439 p318 p77 p462 p80 p465 p466 p365 p88 p259 }) ({p415 p12 p17 p156 } a31 {p17 p260 p408 p46 }) ({p531 p445 p415 p12 p22 p156 } a31 {p196 p2 p17 p260 p408 p46 }) ({p14 p17 p21 p123 p22 p124 p359 p360 p363 p215 p364 p251 p219 p135 p259 p325 p265 p267 p381 p383 p385 p73 p438 p386 p439 p387 p77 p80 p499 p86 p337 p88 p502 p504 p451 p232 p407 p454 p408 p415 p520 p423 p527 p528 p532 p345 p462 p115 p465 p466 } a20 {p14 p17 p123 p22 p124 p359 p360 p363 p215 p364 p251 p219 p135 p259 p325 p265 p52 p267 p381 p383 p385 p73 p438 p386 p439 p387 p77 p80 p499 p86 p337 p88 p502 p504 p451 p232 p407 p454 p408 p415 p520 p423 p527 p528 p532 p345 p462 p115 p465 p466 }) ({p79 p58 p21 p330 p506 } a20 {p52 p80 p470 p501 p337 p329 }) ({p152 p396 p512 p340 p451 p307 p12 p202 p311 p243 p409 p408 p318 p365 p425 p261 p327 p482 p485 p237 p108 p142 p387 p77 p462 p80 p497 p289 p465 p466 p290 p88 } a31 {p444 p151 p395 p513 p400 p309 p206 p408 p244 p320 p46 p262 p137 p270 p486 p277 p278 p379 p347 p77 p144 p441 p462 p496 p80 p465 p466 p291 p293 p88 p539 }) ({p438 p73 p12 p166 p422 p392 p317 } a31 {p177 p176 p418 p466 p257 p159 p472 p536 p46 }) ({p265 p328 p14 p165 p233 p407 p383 p385 p176 p34 p183 p466 p480 p527 } a51 {p265 p328 p14 p165 p233 p23 p407 p383 p385 p176 p183 p466 p480 p527 }) ({p60 } a6 {p30 }) ({p234 p21 } a20 {p360 p52 p233 }) ({p152 p396 p340 p307 p12 p311 p22 p243 p409 p408 p425 p261 p481 p482 p53 p168 p142 p387 p495 p462 p289 p465 p466 p290 p501 p88 p193 } a31 {p151 p509 p508 p196 p2 p395 p400 p309 p408 p244 p46 p484 p277 p278 p347 p75 p144 p441 p462 p465 p466 p291 p293 p88 p539 p468 }) ({p446 p510 p154 p198 p302 p397 p12 p310 p20 p403 p408 p416 p245 p128 p259 p428 p136 p268 p532 p485 p170 p377 p77 p462 p80 p145 p497 p465 p224 p466 p188 p294 p88 p540 } a31 {p0 p153 p511 p302 p200 p399 p308 p19 p406 p408 p412 p247 p249 p131 p522 p427 p46 p483 p266 p486 p163 p382 p77 p462 p496 p80 p146 p465 p466 p88 p296 }) ({p327 p482 p396 p451 p12 p237 p347 p243 p408 p387 p318 p77 p462 p80 p465 p466 p365 p425 p88 p261 } a31 {p444 p262 p270 p400 p277 p379 p347 p408 p244 p77 p441 p462 p80 p320 p465 p466 p88 p539 p46 }) ({p262 p528 p530 p267 p230 p373 p12 p17 p379 p381 p408 p383 p386 p77 p462 p363 p80 p465 p466 p500 p190 p88 p225 } a31 {p262 p528 p227 p530 p267 p373 p17 p379 p381 p408 p383 p386 p77 p462 p80 p182 p465 p466 p500 p190 p88 p351 p46 }) ({p3 p155 p230 p12 p17 p26 p410 p408 p157 p363 p420 p250 p313 p262 p431 p267 p273 p533 p379 p381 p383 p386 p77 p462 p80 p465 p466 p500 p88 p225 } a31 {p227 p7 p304 p155 p17 p24 p408 p414 p413 p217 p521 p253 p46 p429 p262 p530 p267 p271 p379 p381 p383 p386 p77 p462 p80 p182 p465 p466 p500 p88 p351 }) ({p352 p528 p371 p267 p96 p12 p17 p453 p205 p381 p408 p383 p238 p386 p77 p462 p80 p465 p523 p466 p500 p88 } a31 {p528 p264 p267 p17 p453 p231 p358 p233 p381 p408 p383 p29 p386 p77 p462 p80 p114 p421 p465 p466 p500 p88 p46 }) ({p528 p176 p267 p34 p442 p147 p165 p466 p188 p377 p138 p480 } a51 {p176 p430 p265 p466 p165 p23 p139 p480 p527 }) ({p447 p268 p532 p316 p12 p17 p20 p403 p170 p408 p412 p245 p77 p462 p80 p465 p224 p466 p188 p88 p540 p428 } a31 {p0 p483 p266 p328 p453 p17 p406 p408 p382 p412 p77 p462 p247 p80 p465 p522 p466 p190 p88 p324 p427 p46 }) ({p482 p387 p319 p398 p451 p12 p366 } a31 {p444 p270 p441 p423 p190 p539 p325 p381 p46 }) ({p447 p532 p12 p17 p170 p408 p382 p386 p77 p462 p80 p465 p224 p466 p188 p88 } a31 {p483 p328 p453 p17 p408 p382 p386 p77 p462 p80 p465 p522 p466 p88 p46 }) ({p44 } a17 {p48 }) ({p507 p342 p306 p277 p278 p21 p240 p347 p408 p75 p441 p462 p286 p184 p465 p466 p88 p42 } a20 {p507 p53 p52 p396 p340 p306 p276 p346 p243 p408 p439 p462 p289 p465 p466 p86 p501 p88 p193 }) ({p227 p7 p451 p17 p231 p358 p21 p408 p29 p414 p421 p528 p267 p273 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 p351 } a20 {p352 p230 p451 p17 p205 p26 p408 p363 p420 p523 p528 p371 p52 p267 p273 p381 p383 p386 p77 p462 p80 p115 p465 p499 p466 p88 p502 }) ({p175 p12 p88 } a31 {p280 p299 p88 p46 }) ({p331 p34 p453 p234 p359 } a51 {p353 p447 p360 p452 p23 }) ({p474 p12 p86 p116 p88 p172 p535 p124 p109 } a31 {p280 p184 p105 p475 p256 p88 p42 p46 }) }, initialMarking = {p14 p17 p19 p20 p22 p24 p207 p26 p209 p210 p29 p31 p213 p215 p216 p217 p218 p219 p324 p325 p326 p327 p328 p73 p438 p75 p439 p77 p440 p79 p441 p80 p335 p83 p85 p86 p336 p337 p88 p230 p451 p452 p453 p231 p232 p233 p454 p103 p104 p105 p345 p346 p347 p462 p114 p463 p115 p464 p465 p466 p467 p468 p123 p358 p124 p359 p125 p127 p360 p361 p363 p364 p251 p256 p257 p135 p259 p480 p136 p261 p262 p263 p482 p264 p483 p137 p265 p266 p267 p268 p270 p271 p273 p373 p276 p277 p278 p377 p379 p381 p382 p383 p385 p386 p387 p495 p496 p497 p498 p499 p500 p502 p150 p504 p505 p151 p507 p152 p508 p153 p299 p154 p301 p302 p155 p303 p304 p305 p306 p307 p308 p309 p310 p311 p407 p408 p409 p411 p412 p413 p415 p416 p519 p418 p520 p420 p421 p521 p423 p425 p427 p428 p527 p429 p528 p530 p532 p163 p165 p168 p174 p176 p182 p183 p188 p190 }, acceptingPlaces = {p72 } );