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