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