%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : MSC024+1 : TPTP v8.1.0. Bugfixed v5.5.1. % Transfm : none % Format : tptp:raw % Command : sos-script %s % Computer : n020.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Sun Jul 17 22:59:24 EDT 2022 % Result : Unknown 0.21s 0.50s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.13 % Problem : MSC024+1 : TPTP v8.1.0. Bugfixed v5.5.1. % 0.03/0.13 % Command : sos-script %s % 0.13/0.35 % Computer : n020.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Fri Jul 1 15:46:15 EDT 2022 % 0.13/0.35 % CPUTime : % 0.21/0.49 ----- Otter 3.2, August 2001 ----- % 0.21/0.49 The process was started by sandbox on n020.cluster.edu, % 0.21/0.49 Fri Jul 1 15:46:15 2022 % 0.21/0.49 The command was "./sos". The process ID is 3041. % 0.21/0.49 % 0.21/0.49 set(prolog_style_variables). % 0.21/0.49 set(auto). % 0.21/0.49 dependent: set(auto1). % 0.21/0.49 dependent: set(process_input). % 0.21/0.49 dependent: clear(print_kept). % 0.21/0.49 dependent: clear(print_new_demod). % 0.21/0.49 dependent: clear(print_back_demod). % 0.21/0.49 dependent: clear(print_back_sub). % 0.21/0.49 dependent: set(control_memory). % 0.21/0.49 dependent: assign(max_mem, 12000). % 0.21/0.49 dependent: assign(pick_given_ratio, 4). % 0.21/0.49 dependent: assign(stats_level, 1). % 0.21/0.49 dependent: assign(pick_semantic_ratio, 3). % 0.21/0.49 dependent: assign(sos_limit, 5000). % 0.21/0.49 dependent: assign(max_weight, 60). % 0.21/0.49 clear(print_given). % 0.21/0.49 % 0.21/0.49 formula_list(usable). % 0.21/0.49 % 0.21/0.49 ERROR, term too big: % 0.21/0.49 % 0.21/0.49 % 0.21/0.49 ( exists V41 V42 V43 V44 V45 V46 V47 V48 V49 V50 V51 V52 V53 V54 V55 V56 V57 V58 V59 V60 V61 V62 V63 V64 V65 V66 V67 V68 V69 V70 V71 V72 V73 V74 V75 V76 V77 V78 V79 V80 V81 V82 V83 V84 V85 V86 V87 V88 V89 V90 V91 V92 V93 V94 V95 V96 V97 V98 V99 V100 V101 V102 V103 V104 V105 V106 V107 V108 V109 V110 V111 V112 V113 V114 V115 V116 V117 V118 V119 V120 V121 V122 V123 V124 ( % 0.21/0.49 ( all V125 V1 V2 V3 V4 V5 V6 V7 ( % 0.21/0.49 ( exists V8 V9 V10 V11 V12 V13 V14 V15 V16 V17 V18 V19 V20 V21 V22 V23 V24 V25 V26 V27 V28 V29 V30 V31 V32 V33 V34 V35 V36 V37 V38 V39 V40 V126 V127 V128 V129 V130 V131 V132 V133 V134 V135 V136 V137 V138 V139 V140 V141 V142 V143 V144 V145 V146 V147 V148 V149 V150 V151 V152 V153 V154 V155 V156 V157 V158 V159 V160 V161 V162 V163 V164 V165 V166 V167 V168 V169 V170 V171 V172 V173 V174 V175 V176 V177 V178 V179 V180 V181 V182 V183 V184 V185 V186 V187 V188 V189 V190 V191 V192 V193 V194 V195 V196 V197 V198 V199 V200 V201 V202 V203 V204 V205 V206 V207 V208 V209 V210 V211 V212 V213 V214 V215 V216 V217 V218 V219 V220 V221 V222 V223 V224 V225 V226 V227 V228 V229 V230 V231 V232 V233 V234 V235 V236 V237 V238 V239 V240 V241 V242 V243 V244 V245 V246 V247 V248 V249 V250 V251 V252 V253 V254 V255 V256 V257 V258 V259 V260 V261 V262 V263 V264 V265 V266 V267 V268 V269 V270 V271 V272 V273 V274 V275 V276 V277 V278 V279 V280 V281 V282 V283 V284 V285 V286 V287 V288 V289 V290 V291 V292 V293 V294 V295 V296 V297 V298 V299 V300 V301 V302 V303 V304 V305 V306 V307 V308 V309 V310 V311 V312 V313 V314 V315 V316 V317 V318 V319 V320 V321 V322 V323 V324 V325 V326 V327 V328 V329 V330 V331 V332 V333 V334 V335 V336 V337 V338 V339 V340 V341 V342 V343 V344 V345 V346 V347 V348 V349 V350 V351 V352 V353 V354 V355 V356 V357 V358 V359 V360 V361 V362 V363 V364 V365 V366 V367 V368 V369 V370 V371 V372 V373 V374 V375 V376 V377 V378 V379 V380 V381 V382 V383 V384 V385 V386 V387 V388 V389 V390 V391 V392 V393 V394 V395 V396 V397 V398 V399 V400 V401 V402 V403 V404 V405 V406 V407 V408 V409 V410 V411 V412 V413 V414 V415 V416 V417 V418 V419 V420 V421 V422 V423 V424 V425 V426 V427 V428 V429 V430 V431 V432 V433 V434 V435 V436 V437 V438 V439 V440 V441 V442 V443 V444 V445 V446 V447 V448 V449 V450 V451 V452 V453 V454 V455 V456 V457 V458 V459 V460 V461 V462 V463 V464 V465 V466 V467 V468 V469 V470 V471 V472 V473 V474 V475 V476 V477 V478 V479 V480 V481 V482 V483 V484 V485 V486 V487 V488 V489 V490 V491 V492 V493 V494 V495 V496 V497 V498 V499 V500 V501 V502 V503 V504 V505 V506 V507 V508 V509 V510 V511 V512 V513 V514 V515 V516 V517 V518 V519 V520 V521 V522 V523 V524 V525 V526 V527 V528 V529 V530 V531 V532 V533 V534 V535 V536 ( % 0.21/0.49 ( p(true) % 0.21/0.49 & -p(false) % 0.21/0.49 & ( -p(V103) % 0.21/0.49 | p(V337) ) % 0.21/0.49 & ( -p(V341) % 0.21/0.49 | -p(V103) ) % 0.21/0.49 & ( -p(V68) % 0.21/0.49 | p(V252) ) % 0.21/0.49 & ( p(V514) % 0.21/0.49 | -p(V26) % 0.21/0.49 | p(V28) % 0.21/0.49 | -p(V111) ) % 0.21/0.49 & ( p(V20) % 0.21/0.49 | -p(V431) ) % 0.21/0.49 & ( p(V13) % 0.21/0.49 | -p(V9) % 0.21/0.49 | p(V293) % 0.21/0.49 | -p(V65) ) % 0.21/0.49 & ( -p(V62) % 0.21/0.49 | -p(V70) ) % 0.21/0.49 & ( p(V356) % 0.21/0.49 | -p(V355) ) % 0.21/0.49 & ( -p(V6) % 0.21/0.49 | -p(V219) ) % 0.21/0.49 & ( p(V340) % 0.21/0.49 | -p(V99) ) % 0.21/0.49 & ( -p(V97) % 0.21/0.49 | p(V334) ) % 0.21/0.49 & ( -p(V425) % 0.21/0.49 | p(V19) ) % 0.21/0.49 & ( -p(V183) % 0.21/0.49 | -p(V41) ) % 0.21/0.49 & ( -p(V118) % 0.21/0.49 | p(V436) ) % 0.21/0.49 & ( -p(V471) % 0.21/0.49 | p(V472) ) % 0.21/0.49 & ( p(V287) % 0.21/0.49 | -p(V65) ) % 0.21/0.49 & ( -p(V29) % 0.21/0.49 | -p(V518) ) % 0.21/0.49 & ( p(V340) % 0.21/0.49 | -p(V339) ) % 0.21/0.49 & ( -p(V66) % 0.21/0.49 | p(V14) % 0.21/0.49 | -p(V17) % 0.21/0.49 | -p(V9) ) % 0.21/0.49 & ( -p(V74) % 0.21/0.49 | -p(V248) ) % 0.21/0.49 & ( -p(V110) % 0.21/0.49 | -p(V111) ) % 0.21/0.49 & ( -p(V107) % 0.21/0.49 | p(V462) ) % 0.21/0.49 & ( -p(V50) % 0.21/0.49 | -p(V61) ) % 0.21/0.49 & ( -p(V119) % 0.21/0.49 | -p(V480) ) % 0.21/0.49 & ( -p(V95) % 0.21/0.49 | p(V343) ) % 0.21/0.49 & ( -p(V60) % 0.21/0.49 | p(V226) % 0.21/0.49 | -p(V5) % 0.21/0.49 | p(V7) ) % 0.21/0.49 & ( p(V79) % 0.21/0.49 | -p(V312) ) % 0.21/0.49 & ( -p(V483) % 0.21/0.49 | p(V484) ) % 0.21/0.49 & ( -p(V412) % 0.21/0.49 | p(V90) ) % 0.21/0.49 & ( -p(V117) % 0.21/0.49 | p(V510) % 0.21/0.49 | -p(V27) % 0.21/0.49 | p(V30) ) % 0.21/0.49 & ( -p(V185) % 0.21/0.49 | p(V186) ) % 0.21/0.49 & ( p(V23) % 0.21/0.49 | p(V393) % 0.21/0.49 | -p(V88) % 0.21/0.49 | -p(V17) ) % 0.21/0.49 & ( -p(V314) % 0.21/0.49 | p(V77) ) % 0.21/0.49 & ( -p(V325) % 0.21/0.49 | p(V9) ) % 0.21/0.49 & ( -p(V507) % 0.21/0.49 | p(V26) ) % 0.21/0.49 & ( -p(V4) % 0.21/0.49 | -p(V57) % 0.21/0.49 | p(V6) % 0.21/0.49 | p(V211) ) % 0.21/0.49 & ( -p(V64) % 0.21/0.49 | p(V12) % 0.21/0.49 | -p(V9) % 0.21/0.49 | -p(V17) ) % 0.21/0.49 & ( -p(V376) % 0.21/0.49 | p(V377) ) % 0.21/0.49 & ( -p(V1) % 0.21/0.49 | -p(V9) % 0.21/0.49 | p(V3) % 0.21/0.49 | -p(V42) ) % 0.21/0.49 & ( -p(V53) % 0.21/0.49 | p(V147) ) % 0.21/0.49 & ( -p(V2) % 0.21/0.49 | -p(V51) % 0.21/0.49 | p(V7) % 0.21/0.49 | p(V196) ) % 0.21/0.49 & ( -p(V80) % 0.21/0.49 | -p(V13) % 0.21/0.49 | p(V22) % 0.21/0.49 | p(V14) ) % 0.21/0.49 & ( p(V21) % 0.21/0.49 | -p(V422) ) % 0.21/0.49 & ( p(V444) % 0.21/0.49 | -p(V112) ) % 0.21/0.49 & ( -p(V76) % 0.21/0.49 | p(V263) ) % 0.21/0.49 & ( p(V473) % 0.21/0.49 | -p(V472) ) % 0.21/0.49 & ( p(V4) % 0.21/0.49 | -p(V52) % 0.21/0.49 | p(V207) % 0.21/0.49 | -p(V3) ) % 0.21/0.49 & ( -p(V284) % 0.21/0.49 | p(V285) ) % 0.21/0.49 & ( -p(V112) % 0.21/0.49 | -p(V107) ) % 0.21/0.49 & ( -p(V49) % 0.21/0.49 | -p(V41) ) % 0.21/0.49 & ( -p(V100) % 0.21/0.49 | -p(V99) ) % 0.21/0.49 & ( p(V366) % 0.21/0.49 | -p(V365) ) % 0.21/0.49 & ( -p(V105) % 0.21/0.49 | p(V493) ) % 0.21/0.49 & ( -p(V122) % 0.21/0.49 | p(V447) ) % 0.21/0.49 & ( p(V175) % 0.21/0.49 | -p(V174) ) % 0.21/0.49 & ( -p(V42) % 0.21/0.49 | p(V3) % 0.21/0.49 | p(V11) % 0.21/0.49 | -p(V1) ) % 0.21/0.49 & ( -p(V28) % 0.21/0.49 | -p(V512) ) % 0.21/0.49 & ( -p(V519) % 0.21/0.49 | p(V119) ) % 0.21/0.49 & ( p(V31) % 0.21/0.49 | p(V531) % 0.21/0.49 | -p(V30) % 0.21/0.49 | -p(V124) ) % 0.21/0.49 & ( -p(V137) % 0.21/0.49 | -p(V61) ) % 0.21/0.49 & ( -p(V42) % 0.21/0.49 | -p(V47) ) % 0.21/0.49 & ( -p(V175) % 0.21/0.49 | -p(V48) ) % 0.21/0.49 & ( p(V60) % 0.21/0.49 | -p(V217) ) % 0.21/0.49 & ( p(V171) % 0.21/0.49 | -p(V59) ) % 0.21/0.49 & ( p(V11) % 0.21/0.49 | -p(V68) % 0.21/0.49 | -p(V10) % 0.21/0.49 | p(V302) ) % 0.21/0.49 & ( -p(V80) % 0.21/0.49 | p(V243) ) % 0.21/0.49 & ( -p(V74) % 0.21/0.49 | -p(V73) ) % 0.21/0.49 & ( -p(V190) % 0.21/0.49 | p(V45) ) % 0.21/0.49 & ( -p(V29) % 0.21/0.49 | p(V39) % 0.21/0.49 | p(V31) % 0.21/0.49 | -p(V123) ) % 0.21/0.49 & ( -p(V69) % 0.21/0.49 | p(V252) ) % 0.21/0.49 & ( p(V43) % 0.21/0.49 | -p(V192) ) % 0.21/0.49 & ( -p(V72) % 0.21/0.49 | -p(V67) ) % 0.21/0.49 & ( -p(V76) % 0.21/0.49 | p(V251) ) % 0.21/0.49 & ( p(V440) % 0.21/0.49 | -p(V113) ) % 0.21/0.49 & ( -p(V205) % 0.21/0.49 | -p(V5) ) % 0.21/0.49 & ( p(V164) % 0.21/0.49 | -p(V57) ) % 0.21/0.49 & ( -p(V73) % 0.21/0.49 | -p(V11) % 0.21/0.49 | p(V12) % 0.21/0.49 | p(V309) ) % 0.21/0.49 & ( -p(V68) % 0.21/0.49 | -p(V62) ) % 0.21/0.49 & ( -p(V42) % 0.21/0.49 | -p(V41) ) % 0.21/0.49 & ( p(V365) % 0.21/0.49 | -p(V364) ) % 0.21/0.49 & ( -p(V340) % 0.21/0.49 | -p(V101) ) % 0.21/0.49 & ( -p(V94) % 0.21/0.49 | p(V376) ) % 0.21/0.49 & ( p(V391) % 0.21/0.49 | -p(V84) ) % 0.21/0.49 & ( -p(V194) % 0.21/0.49 | p(V1) ) % 0.21/0.49 & ( -p(V407) % 0.21/0.49 | -p(V23) ) % 0.21/0.49 & ( -p(V195) % 0.21/0.49 | -p(V2) ) % 0.21/0.49 & ( -p(V252) % 0.21/0.49 | p(V253) ) % 0.21/0.49 & ( p(V3) % 0.21/0.49 | -p(V214) ) % 0.21/0.49 & ( p(V265) % 0.21/0.49 | -p(V67) ) % 0.21/0.49 & ( p(V29) % 0.21/0.49 | -p(V525) ) % 0.21/0.49 & ( p(V15) % 0.21/0.49 | -p(V5) % 0.21/0.49 | p(V7) % 0.21/0.49 | -p(V60) ) % 0.21/0.49 & ( p(V490) % 0.21/0.49 | -p(V108) ) % 0.21/0.49 & ( -p(V496) % 0.21/0.49 | p(V25) ) % 0.21/0.49 & ( -p(V531) % 0.21/0.49 | p(V30) ) % 0.21/0.49 & ( -p(V221) % 0.21/0.49 | p(V3) ) % 0.21/0.49 & ( p(V315) % 0.21/0.49 | p(V13) % 0.21/0.49 | p(V317) % 0.21/0.49 | p(V318) % 0.21/0.49 | p(V316) % 0.21/0.49 | -p(V21) ) % 0.21/0.49 & ( p(V241) % 0.21/0.49 | -p(V74) ) % 0.21/0.49 & ( p(V35) % 0.21/0.49 | -p(V105) % 0.21/0.49 | -p(V25) % 0.21/0.49 | p(V27) ) % 0.21/0.49 & ( p(V333) % 0.21/0.49 | -p(V88) ) % 0.21/0.49 & ( -p(V17) % 0.21/0.49 | p(V394) % 0.21/0.49 | -p(V87) % 0.21/0.49 | p(V22) ) % 0.21/0.49 & ( -p(V310) % 0.21/0.49 | -p(V12) ) % 0.21/0.49 & ( -p(V330) % 0.21/0.49 | p(V11) ) % 0.21/0.49 & ( p(V37) % 0.21/0.49 | -p(V107) % 0.21/0.49 | -p(V25) % 0.21/0.49 | p(V29) ) % 0.21/0.49 & ( -p(V426) % 0.21/0.49 | p(V92) ) % 0.21/0.49 & ( -p(V130) % 0.21/0.49 | -p(V58) ) % 0.21/0.49 & ( -p(V13) % 0.21/0.49 | -p(V300) ) % 0.21/0.49 & ( -p(V57) % 0.21/0.49 | p(V174) ) % 0.21/0.49 & ( -p(V117) % 0.21/0.49 | p(V471) ) % 0.21/0.49 & ( -p(V9) % 0.21/0.49 | p(V11) % 0.21/0.49 | p(V19) % 0.21/0.49 | -p(V63) ) % 0.21/0.49 & ( -p(V111) % 0.21/0.49 | p(V478) ) % 0.21/0.49 & ( p(V103) % 0.21/0.49 | -p(V428) ) % 0.21/0.49 & ( -p(V200) % 0.21/0.49 | -p(V3) ) % 0.21/0.49 & ( -p(V197) % 0.21/0.49 | p(V2) ) % 0.21/0.49 & ( -p(V11) % 0.21/0.49 | -p(V304) ) % 0.21/0.49 & ( -p(V7) % 0.21/0.49 | -p(V226) ) % 0.21/0.49 & ( p(V3) % 0.21/0.49 | p(V202) % 0.21/0.49 | -p(V11) % 0.21/0.49 | p(V201) ) % 0.21/0.49 & ( -p(V87) % 0.21/0.49 | p(V338) ) % 0.21/0.49 & ( -p(V64) % 0.21/0.49 | p(V257) ) % 0.21/0.49 & ( -p(V94) % 0.21/0.49 | p(V351) ) % 0.21/0.49 & ( -p(V19) % 0.21/0.49 | p(V21) % 0.21/0.49 | p(V29) % 0.21/0.49 | -p(V95) ) % 0.21/0.49 & ( p(V254) % 0.21/0.49 | -p(V71) ) % 0.21/0.49 & ( -p(V25) % 0.21/0.49 | -p(V109) % 0.21/0.49 | p(V495) % 0.21/0.49 | p(V31) ) % 0.21/0.49 & ( p(V26) % 0.21/0.49 | -p(V535) ) % 0.21/0.49 & ( -p(V68) % 0.21/0.49 | p(V285) ) % 0.21/0.49 & ( -p(V317) % 0.21/0.49 | p(V70) ) % 0.21/0.49 & ( -p(V449) % 0.21/0.49 | -p(V120) ) % 0.21/0.49 & ( -p(V122) % 0.21/0.49 | -p(V29) % 0.21/0.49 | p(V524) % 0.21/0.49 | p(V30) ) % 0.21/0.49 & ( -p(V67) % 0.21/0.49 | -p(V9) % 0.21/0.49 | p(V332) % 0.21/0.49 | p(V15) ) % 0.21/0.49 & ( p(V452) % 0.21/0.49 | -p(V105) ) % 0.21/0.49 & ( -p(V83) % 0.21/0.49 | p(V358) ) % 0.21/0.49 & ( p(V23) % 0.21/0.49 | -p(V17) % 0.21/0.49 | p(V31) % 0.21/0.49 | -p(V88) ) % 0.21/0.49 & ( -p(V289) % 0.21/0.49 | p(V290) ) % 0.21/0.49 & ( -p(V85) % 0.21/0.49 | p(V377) ) % 0.21/0.49 & ( -p(V299) % 0.21/0.49 | -p(V14) ) % 0.21/0.49 & ( p(V4) % 0.21/0.49 | -p(V227) ) % 0.21/0.49 & ( p(V385) % 0.21/0.49 | -p(V384) ) % 0.21/0.49 & ( -p(V418) % 0.21/0.49 | -p(V21) ) % 0.21/0.49 & ( -p(V30) % 0.21/0.49 | -p(V510) ) % 0.21/0.49 & ( p(V390) % 0.21/0.49 | -p(V389) ) % 0.21/0.49 & ( -p(V101) % 0.21/0.49 | p(V345) ) % 0.21/0.49 & ( p(V518) % 0.21/0.49 | p(V517) % 0.21/0.49 | p(V516) % 0.21/0.49 | p(V36) % 0.21/0.49 | -p(V28) ) % 0.21/0.49 & ( -p(V295) % 0.21/0.49 | p(V63) ) % 0.21/0.49 & ( -p(V113) % 0.21/0.49 | p(V486) ) % 0.21/0.49 & ( -p(V234) % 0.21/0.49 | -p(V82) ) % 0.21/0.49 & ( p(V498) % 0.21/0.49 | p(V28) % 0.21/0.49 | -p(V25) % 0.21/0.49 | -p(V106) ) % 0.21/0.49 & ( p(V300) % 0.21/0.49 | -p(V10) % 0.21/0.49 | -p(V70) % 0.21/0.49 | p(V13) ) % 0.21/0.49 & ( p(V19) % 0.21/0.49 | -p(V18) % 0.21/0.49 | -p(V89) % 0.21/0.49 | p(V405) ) % 0.21/0.49 & ( -p(V92) % 0.21/0.49 | p(V338) ) % 0.21/0.49 & ( -p(V245) % 0.21/0.49 | -p(V78) ) % 0.21/0.49 & ( -p(V19) % 0.21/0.49 | p(V20) % 0.21/0.49 | -p(V94) % 0.21/0.49 | -p(V27) ) % 0.21/0.49 & ( p(V105) % 0.21/0.49 | -p(V508) ) % 0.21/0.49 & ( -p(V433) % 0.21/0.49 | p(V93) ) % 0.21/0.49 & ( p(V150) % 0.21/0.49 | -p(V48) ) % 0.21/0.49 & ( -p(V12) % 0.21/0.49 | -p(V311) ) % 0.21/0.49 & ( -p(V46) % 0.21/0.49 | -p(V1) % 0.21/0.49 | p(V7) % 0.21/0.49 | p(V15) ) % 0.21/0.49 & ( -p(V220) % 0.21/0.49 | p(V4) ) % 0.21/0.49 & ( p(V22) % 0.21/0.49 | -p(V101) % 0.21/0.49 | p(V423) % 0.21/0.49 | -p(V21) ) % 0.21/0.49 & ( -p(V63) % 0.21/0.49 | p(V278) ) % 0.21/0.49 & ( p(V37) % 0.21/0.49 | -p(V27) % 0.21/0.49 | p(V29) % 0.21/0.49 | -p(V116) ) % 0.21/0.49 & ( -p(V4) % 0.21/0.49 | -p(V206) ) % 0.21/0.49 & ( -p(V204) % 0.21/0.49 | p(V54) ) % 0.21/0.49 & ( p(V4) % 0.21/0.49 | -p(V213) ) % 0.21/0.49 & ( p(V453) % 0.21/0.49 | -p(V115) ) % 0.21/0.49 & ( -p(V44) % 0.21/0.49 | p(V185) ) % 0.21/0.49 & ( p(V109) % 0.21/0.49 | -p(V495) ) % 0.21/0.49 & ( -p(V241) % 0.21/0.49 | p(V242) ) % 0.21/0.49 & ( p(V148) % 0.21/0.49 | -p(V147) ) % 0.21/0.49 & ( -p(V233) % 0.21/0.49 | p(V234) ) % 0.21/0.49 & ( p(V169) % 0.21/0.49 | -p(V49) ) % 0.21/0.49 & ( -p(V20) % 0.21/0.49 | -p(V412) ) % 0.21/0.49 & ( -p(V484) % 0.21/0.49 | p(V485) ) % 0.21/0.49 & ( -p(V191) % 0.21/0.49 | p(V44) ) % 0.21/0.49 & ( p(V89) % 0.21/0.49 | -p(V404) ) % 0.21/0.49 & ( p(V38) % 0.21/0.49 | p(V30) % 0.21/0.49 | -p(V29) % 0.21/0.49 | -p(V122) ) % 0.21/0.49 & ( -p(V154) % 0.21/0.49 | p(V155) ) % 0.21/0.49 & ( -p(V18) % 0.21/0.49 | -p(V26) % 0.21/0.49 | -p(V91) % 0.21/0.49 | p(V21) ) % 0.21/0.49 & ( -p(V368) % 0.21/0.49 | -p(V96) ) % 0.21/0.49 & ( -p(V114) % 0.21/0.49 | p(V486) ) % 0.21/0.49 & ( p(V22) % 0.21/0.49 | -p(V20) % 0.21/0.49 | -p(V99) % 0.21/0.49 | p(V30) ) % 0.21/0.49 & ( -p(V55) % 0.21/0.49 | p(V177) ) % 0.21/0.49 & ( p(V21) % 0.21/0.49 | -p(V421) ) % 0.21/0.49 & ( -p(V29) % 0.21/0.49 | p(V525) % 0.21/0.49 | -p(V122) % 0.21/0.49 | p(V30) ) % 0.21/0.49 & ( -p(V187) % 0.21/0.49 | p(V188) ) % 0.21/0.49 & ( -p(V437) % 0.21/0.49 | p(V438) ) % 0.21/0.49 & ( p(V6) % 0.21/0.49 | -p(V2) % 0.21/0.49 | -p(V10) % 0.21/0.49 | -p(V50) ) % 0.21/0.49 & ( -p(V497) % 0.21/0.49 | p(V107) ) % 0.21/0.49 & ( p(V44) % 0.21/0.49 | -p(V216) ) % 0.21/0.49 & ( -p(V405) % 0.21/0.49 | p(V89) ) % 0.21/0.49 & ( -p(V536) % 0.21/0.49 | p(V25) ) % 0.21/0.49 & ( -p(V47) % 0.21/0.49 | -p(V41) ) % 0.21/0.49 & ( p(V15) % 0.21/0.49 | p(V23) % 0.21/0.49 | -p(V11) % 0.21/0.49 | -p(V76) ) % 0.21/0.49 & ( -p(V294) % 0.21/0.49 | p(V9) ) % 0.21/0.49 & ( -p(V19) % 0.21/0.49 | -p(V405) ) % 0.21/0.49 & ( -p(V110) % 0.21/0.49 | -p(V485) ) % 0.21/0.49 & ( -p(V108) % 0.21/0.49 | p(V463) ) % 0.21/0.49 & ( p(V14) % 0.21/0.49 | p(V6) % 0.21/0.49 | -p(V45) % 0.21/0.49 | -p(V1) ) % 0.21/0.49 & ( -p(V3) % 0.21/0.49 | -p(V202) ) % 0.21/0.49 & ( -p(V62) % 0.21/0.49 | -p(V72) ) % 0.21/0.49 & ( -p(V20) % 0.21/0.49 | -p(V77) % 0.21/0.49 | -p(V12) % 0.21/0.49 | p(V13) ) % 0.21/0.49 & ( -p(V231) % 0.21/0.49 | -p(V76) ) % 0.21/0.49 & ( p(V86) % 0.21/0.49 | -p(V395) ) % 0.21/0.49 & ( p(V512) % 0.21/0.49 | -p(V27) % 0.21/0.49 | p(V28) % 0.21/0.49 | -p(V115) ) % 0.21/0.49 & ( -p(V197) % 0.21/0.49 | -p(V6) ) % 0.21/0.49 & ( -p(V413) % 0.21/0.49 | -p(V20) ) % 0.21/0.49 & ( -p(V111) % 0.21/0.49 | -p(V26) % 0.21/0.49 | p(V28) % 0.21/0.49 | p(V36) ) % 0.21/0.49 & ( -p(V279) % 0.21/0.49 | -p(V74) ) % 0.21/0.49 & ( -p(V110) % 0.21/0.49 | -p(V104) ) % 0.21/0.49 & ( p(V36) % 0.21/0.49 | -p(V25) % 0.21/0.49 | p(V28) % 0.21/0.49 | -p(V106) ) % 0.21/0.49 & ( -p(V276) % 0.21/0.49 | -p(V77) ) % 0.21/0.49 & ( p(V477) % 0.21/0.49 | -p(V122) ) % 0.21/0.49 & ( -p(V305) % 0.21/0.49 | p(V76) ) % 0.21/0.49 & ( -p(V87) % 0.21/0.49 | -p(V92) ) % 0.21/0.49 & ( p(V64) % 0.21/0.49 | -p(V294) ) % 0.21/0.49 & ( p(V147) % 0.21/0.49 | -p(V52) ) % 0.21/0.49 & ( p(V29) % 0.21/0.49 | p(V21) % 0.21/0.49 | -p(V91) % 0.21/0.49 | -p(V18) ) % 0.21/0.49 & ( p(V299) % 0.21/0.49 | p(V18) % 0.21/0.49 | p(V301) % 0.21/0.49 | p(V300) % 0.21/0.49 | p(V298) % 0.21/0.49 | p(V302) % 0.21/0.49 | -p(V10) ) % 0.21/0.49 & ( -p(V171) % 0.21/0.49 | -p(V44) ) % 0.21/0.49 & ( p(V1) % 0.21/0.49 | -p(V195) ) % 0.21/0.49 & ( p(V20) % 0.21/0.49 | -p(V19) % 0.21/0.49 | -p(V94) % 0.21/0.49 | p(V28) ) % 0.21/0.49 & ( -p(V84) % 0.21/0.49 | -p(V383) ) % 0.21/0.49 & ( -p(V174) % 0.21/0.49 | -p(V56) ) % 0.21/0.49 & ( p(V27) % 0.21/0.49 | -p(V510) ) % 0.21/0.49 & ( -p(V414) % 0.21/0.49 | -p(V23) ) % 0.21/0.49 & ( -p(V205) % 0.21/0.49 | p(V3) ) % 0.21/0.49 & ( -p(V220) % 0.21/0.49 | -p(V6) ) % 0.21/0.49 & ( -p(V440) % 0.21/0.49 | p(V441) ) % 0.21/0.49 & ( p(V52) % 0.21/0.49 | -p(V207) ) % 0.21/0.49 & ( -p(V323) % 0.21/0.49 | p(V11) ) % 0.21/0.49 & ( p(V201) % 0.21/0.49 | p(V3) % 0.21/0.49 | -p(V47) % 0.21/0.49 | -p(V2) ) % 0.21/0.49 & ( -p(V14) % 0.21/0.49 | -p(V82) % 0.21/0.49 | p(V326) % 0.21/0.49 | p(V15) ) % 0.21/0.49 & ( -p(V72) % 0.21/0.49 | p(V15) % 0.21/0.49 | -p(V10) % 0.21/0.49 | p(V298) ) % 0.21/0.49 & ( -p(V58) % 0.21/0.49 | -p(V144) ) % 0.21/0.49 & ( p(V465) % 0.21/0.49 | -p(V123) ) % 0.21/0.49 & ( p(V409) % 0.21/0.49 | -p(V95) % 0.21/0.49 | -p(V19) % 0.21/0.49 | p(V21) ) % 0.21/0.49 & ( -p(V268) % 0.21/0.49 | -p(V66) ) % 0.21/0.49 & ( -p(V78) % 0.21/0.49 | p(V14) % 0.21/0.49 | -p(V20) % 0.21/0.49 | -p(V12) ) % 0.21/0.49 & ( -p(V70) % 0.21/0.49 | p(V13) % 0.21/0.49 | -p(V18) % 0.21/0.49 | -p(V10) ) % 0.21/0.49 & ( -p(V18) % 0.21/0.49 | p(V297) % 0.21/0.49 | p(V10) ) % 0.21/0.49 & ( p(V12) % 0.21/0.49 | -p(V52) % 0.21/0.49 | p(V4) % 0.21/0.49 | -p(V3) ) % 0.21/0.49 & ( p(V236) % 0.21/0.49 | -p(V66) ) % 0.21/0.49 & ( p(V9) % 0.21/0.49 | -p(V17) ) % 0.21/0.49 & ( -p(V112) % 0.21/0.49 | -p(V486) ) % 0.21/0.49 & ( -p(V450) % 0.21/0.49 | p(V451) ) % 0.21/0.49 & ( -p(V9) % 0.21/0.49 | -p(V64) % 0.21/0.49 | p(V12) % 0.21/0.49 | p(V294) ) % 0.21/0.49 & ( p(V10) % 0.21/0.49 | -p(V303) ) % 0.21/0.49 & ( -p(V107) % 0.21/0.49 | -p(V475) ) % 0.21/0.49 & ( -p(V41) % 0.21/0.49 | p(V188) ) % 0.21/0.49 & ( p(V359) % 0.21/0.49 | -p(V85) ) % 0.21/0.49 & ( -p(V514) % 0.21/0.49 | -p(V28) ) % 0.21/0.49 & ( p(V384) % 0.21/0.49 | -p(V93) ) % 0.21/0.49 & ( -p(V30) % 0.21/0.49 | -p(V503) ) % 0.21/0.49 & ( p(V17) % 0.21/0.49 | -p(V397) ) % 0.21/0.49 & ( -p(V78) % 0.21/0.49 | p(V238) ) % 0.21/0.49 & ( -p(V82) % 0.21/0.49 | -p(V75) ) % 0.21/0.49 & ( p(V342) % 0.21/0.49 | -p(V86) ) % 0.21/0.49 & ( -p(V336) % 0.21/0.49 | -p(V103) ) % 0.21/0.49 & ( -p(V535) % 0.21/0.49 | p(V114) ) % 0.21/0.49 & ( p(V9) % 0.21/0.49 | -p(V304) ) % 0.21/0.49 & ( p(V198) % 0.21/0.49 | p(V5) % 0.21/0.49 | -p(V49) % 0.21/0.49 | -p(V2) ) % 0.21/0.49 & ( -p(V91) % 0.21/0.49 | p(V373) ) % 0.21/0.49 & ( -p(V529) % 0.21/0.49 | p(V25) ) % 0.21/0.49 & ( p(V3) % 0.21/0.49 | -p(V203) ) % 0.21/0.49 & ( -p(V89) % 0.21/0.49 | p(V350) ) % 0.21/0.49 & ( -p(V485) % 0.21/0.49 | -p(V105) ) % 0.21/0.49 & ( -p(V501) % 0.21/0.49 | p(V25) ) % 0.21/0.49 & ( p(V260) % 0.21/0.49 | -p(V259) ) % 0.21/0.49 & ( -p(V5) % 0.21/0.49 | -p(V213) ) % 0.21/0.49 & ( -p(V123) % 0.21/0.49 | -p(V446) ) % 0.21/0.49 & ( -p(V117) % 0.21/0.49 | -p(V118) ) % 0.21/0.49 & ( p(V383) % 0.21/0.49 | -p(V94) ) % 0.21/0.49 & ( -p(V28) % 0.21/0.49 | -p(V498) ) % 0.21/0.49 & ( p(V43) % 0.21/0.49 | -p(V209) ) % 0.21/0.49 & ( -p(V49) % 0.21/0.49 | -p(V180) ) % 0.21/0.49 & ( -p(V434) % 0.21/0.49 | p(V17) ) % 0.21/0.49 & ( -p(V89) % 0.21/0.49 | p(V387) ) % 0.21/0.49 & ( -p(V104) % 0.21/0.49 | -p(V112) ) % 0.21/0.49 & ( p(V21) % 0.21/0.49 | -p(V430) ) % 0.21/0.49 & ( -p(V470) % 0.21/0.49 | p(V471) ) % 0.21/0.49 & ( -p(V14) % 0.21/0.49 | -p(V61) % 0.21/0.49 | p(V7) % 0.21/0.49 | -p(V6) ) % 0.21/0.49 & ( p(V30) % 0.21/0.49 | -p(V26) % 0.21/0.49 | -p(V113) % 0.21/0.49 | p(V38) ) % 0.21/0.49 & ( -p(V431) % 0.21/0.49 | p(V100) ) % 0.21/0.49 & ( -p(V5) % 0.21/0.49 | -p(V198) ) % 0.21/0.49 & ( -p(V369) % 0.21/0.49 | p(V370) ) % 0.21/0.49 & ( -p(V400) % 0.21/0.49 | p(V18) ) % 0.21/0.49 & ( -p(V44) % 0.21/0.49 | -p(V49) ) % 0.21/0.49 & ( -p(V346) % 0.21/0.49 | p(V347) ) % 0.21/0.49 & ( -p(V69) % 0.21/0.49 | p(V284) ) % 0.21/0.49 & ( -p(V98) % 0.21/0.49 | -p(V375) ) % 0.21/0.49 & ( -p(V27) % 0.21/0.49 | -p(V35) % 0.21/0.49 | p(V28) % 0.21/0.49 | -p(V115) ) % 0.21/0.49 & ( -p(V94) % 0.21/0.49 | -p(V350) ) % 0.21/0.49 & ( -p(V199) % 0.21/0.49 | p(V48) ) % 0.21/0.49 & ( p(V56) % 0.21/0.49 | -p(V212) ) % 0.21/0.49 & ( -p(V399) % 0.21/0.49 | p(V17) ) % 0.21/0.49 & ( -p(V41) % 0.21/0.49 | -p(V187) ) % 0.21/0.49 & ( -p(V358) % 0.21/0.49 | -p(V85) ) % 0.21/0.49 & ( -p(V444) % 0.21/0.49 | -p(V116) ) % 0.21/0.49 & ( -p(V429) % 0.21/0.49 | -p(V23) ) % 0.21/0.49 & ( -p(V113) % 0.21/0.49 | p(V30) % 0.21/0.49 | p(V528) % 0.21/0.49 | -p(V26) ) % 0.21/0.49 & ( -p(V22) % 0.21/0.49 | -p(V415) ) % 0.21/0.49 & ( -p(V226) % 0.21/0.49 | p(V60) ) % 0.21/0.49 & ( p(V380) % 0.21/0.49 | -p(V89) ) % 0.21/0.49 & ( -p(V73) % 0.21/0.49 | p(V12) % 0.21/0.49 | p(V308) % 0.21/0.49 | -p(V11) ) % 0.21/0.49 & ( -p(V322) % 0.21/0.49 | -p(V14) ) % 0.21/0.49 & ( -p(V110) % 0.21/0.49 | p(V482) ) % 0.21/0.49 & ( p(V530) % 0.21/0.49 | p(V38) % 0.21/0.49 | -p(V30) ) % 0.21/0.49 & ( -p(V84) % 0.21/0.49 | -p(V390) ) % 0.21/0.49 & ( -p(V6) % 0.21/0.49 | -p(V222) ) % 0.21/0.49 & ( -p(V230) % 0.21/0.49 | p(V46) ) % 0.21/0.49 & ( -p(V162) % 0.21/0.49 | -p(V46) ) % 0.21/0.49 & ( -p(V92) % 0.21/0.49 | -p(V369) ) % 0.21/0.49 & ( p(V370) % 0.21/0.49 | -p(V92) ) % 0.21/0.49 & ( p(V73) % 0.21/0.49 | -p(V308) ) % 0.21/0.49 & ( p(V325) % 0.21/0.49 | p(V14) % 0.21/0.49 | -p(V9) % 0.21/0.49 | -p(V66) ) % 0.21/0.49 & ( -p(V123) % 0.21/0.49 | -p(V437) ) % 0.21/0.49 & ( -p(V65) % 0.21/0.49 | p(V272) ) % 0.21/0.49 & ( p(V28) % 0.21/0.49 | -p(V115) % 0.21/0.49 | -p(V27) % 0.21/0.49 | p(V36) ) % 0.21/0.49 & ( -p(V449) % 0.21/0.49 | -p(V119) ) % 0.21/0.49 & ( p(V143) % 0.21/0.49 | -p(V52) ) % 0.21/0.49 & ( -p(V124) % 0.21/0.49 | -p(V123) ) % 0.21/0.49 & ( -p(V100) % 0.21/0.49 | p(V378) ) % 0.21/0.49 & ( -p(V48) % 0.21/0.49 | -p(V43) ) % 0.21/0.49 & ( p(V5) % 0.21/0.49 | -p(V218) ) % 0.21/0.49 & ( p(V62) % 0.21/0.49 | -p(V296) ) % 0.21/0.49 & ( -p(V103) % 0.21/0.49 | -p(V102) ) % 0.21/0.49 & ( p(V29) % 0.21/0.49 | -p(V28) % 0.21/0.49 | -p(V119) % 0.21/0.49 | p(V37) ) % 0.21/0.49 & ( -p(V414) % 0.21/0.49 | p(V20) ) % 0.21/0.49 & ( -p(V436) % 0.21/0.49 | -p(V121) ) % 0.21/0.49 & ( p(V477) % 0.21/0.49 | -p(V123) ) % 0.21/0.49 & ( -p(V52) % 0.21/0.49 | -p(V146) ) % 0.21/0.49 & ( -p(V177) % 0.21/0.49 | -p(V53) ) % 0.21/0.49 & ( -p(V64) % 0.21/0.49 | p(V244) ) % 0.21/0.49 & ( -p(V44) % 0.21/0.49 | p(V156) ) % 0.21/0.49 & ( -p(V103) % 0.21/0.49 | -p(V92) ) % 0.21/0.49 & ( -p(V332) % 0.21/0.49 | p(V67) ) % 0.21/0.49 & ( -p(V1) % 0.21/0.49 | -p(V9) % 0.21/0.49 | p(V4) % 0.21/0.49 | -p(V43) ) % 0.21/0.49 & ( p(V170) % 0.21/0.49 | -p(V44) ) % 0.21/0.49 & ( p(V288) % 0.21/0.49 | -p(V287) ) % 0.21/0.49 & ( -p(V43) % 0.21/0.49 | -p(V175) ) % 0.21/0.49 & ( -p(V506) % 0.21/0.49 | p(V26) ) % 0.21/0.49 & ( p(V21) % 0.21/0.49 | p(V13) % 0.21/0.49 | -p(V65) % 0.21/0.49 | -p(V9) ) % 0.21/0.49 & ( -p(V56) % 0.21/0.49 | p(V5) % 0.21/0.49 | -p(V4) % 0.21/0.49 | -p(V12) ) % 0.21/0.49 & ( -p(V237) % 0.21/0.49 | -p(V78) ) % 0.21/0.49 & ( p(V181) % 0.21/0.49 | -p(V49) ) % 0.21/0.49 & ( -p(V11) % 0.21/0.49 | p(V323) % 0.21/0.49 | p(V14) % 0.21/0.49 | -p(V75) ) % 0.21/0.49 & ( -p(V104) % 0.21/0.49 | -p(V489) ) % 0.21/0.49 & ( -p(V84) % 0.21/0.49 | -p(V89) ) % 0.21/0.49 & ( -p(V98) % 0.21/0.49 | -p(V95) ) % 0.21/0.49 & ( -p(V70) % 0.21/0.49 | p(V271) ) % 0.21/0.49 & ( p(V116) % 0.21/0.49 | -p(V520) ) % 0.21/0.49 & ( -p(V203) % 0.21/0.49 | -p(V7) ) % 0.21/0.49 & ( -p(V30) % 0.21/0.49 | -p(V525) ) % 0.21/0.49 & ( -p(V523) % 0.21/0.49 | p(V123) ) % 0.21/0.49 & ( -p(V438) % 0.21/0.49 | -p(V124) ) % 0.21/0.49 & ( -p(V57) % 0.21/0.49 | -p(V143) ) % 0.21/0.49 & ( -p(V146) % 0.21/0.49 | -p(V55) ) % 0.21/0.49 & ( -p(V100) % 0.21/0.49 | -p(V20) % 0.21/0.49 | p(V23) % 0.21/0.49 | p(V31) ) % 0.21/0.49 & ( -p(V465) % 0.21/0.49 | -p(V121) ) % 0.21/0.49 & ( -p(V1) % 0.21/0.49 | p(V7) % 0.21/0.49 | -p(V46) % 0.21/0.49 | p(V189) ) % 0.21/0.49 & ( -p(V75) % 0.21/0.49 | -p(V249) ) % 0.21/0.49 & ( -p(V398) % 0.21/0.49 | p(V17) ) % 0.21/0.49 & ( -p(V194) % 0.21/0.49 | -p(V2) ) % 0.21/0.49 & ( -p(V74) % 0.21/0.49 | p(V270) ) % 0.21/0.49 & ( -p(V95) % 0.21/0.49 | p(V372) ) % 0.21/0.49 & ( -p(V123) % 0.21/0.49 | -p(V122) ) % 0.21/0.49 & ( p(V15) % 0.21/0.49 | -p(V12) % 0.21/0.49 | -p(V20) % 0.21/0.49 | -p(V79) ) % 0.21/0.49 & ( -p(V332) % 0.21/0.49 | -p(V15) ) % 0.21/0.49 & ( p(V530) % 0.21/0.49 | -p(V30) % 0.21/0.49 | p(V31) % 0.21/0.49 | -p(V124) ) % 0.21/0.49 & ( p(V386) % 0.21/0.49 | -p(V90) ) % 0.21/0.49 & ( -p(V52) % 0.21/0.49 | -p(V142) ) % 0.21/0.49 & ( -p(V68) % 0.21/0.49 | -p(V281) ) % 0.21/0.49 & ( p(V443) % 0.21/0.49 | -p(V122) ) % 0.21/0.49 & ( p(V259) % 0.21/0.49 | -p(V258) ) % 0.21/0.49 & ( -p(V105) % 0.21/0.49 | p(V482) ) % 0.21/0.49 & ( -p(V242) % 0.21/0.49 | -p(V81) ) % 0.21/0.49 & ( p(V446) % 0.21/0.49 | -p(V119) ) % 0.21/0.49 & ( -p(V124) % 0.21/0.49 | -p(V108) ) % 0.21/0.49 & ( p(V271) % 0.21/0.49 | -p(V270) ) % 0.21/0.49 & ( -p(V307) % 0.21/0.49 | -p(V13) ) % 0.21/0.49 & ( p(V31) % 0.21/0.49 | -p(V28) % 0.21/0.49 | -p(V121) % 0.21/0.49 | p(V533) ) % 0.21/0.49 & ( -p(V268) % 0.21/0.49 | p(V269) ) % 0.21/0.49 & ( -p(V527) % 0.21/0.49 | p(V117) ) % 0.21/0.49 & ( -p(V366) % 0.21/0.49 | -p(V88) ) % 0.21/0.49 & ( p(V504) % 0.21/0.49 | p(V29) % 0.21/0.49 | -p(V26) % 0.21/0.49 | -p(V112) ) % 0.21/0.49 & ( -p(V89) % 0.21/0.49 | p(V354) ) % 0.21/0.49 & ( -p(V80) % 0.21/0.49 | -p(V78) ) % 0.21/0.49 & ( -p(V56) % 0.21/0.49 | p(V140) ) % 0.21/0.49 & ( -p(V299) % 0.21/0.49 | p(V71) ) % 0.21/0.49 & ( p(V228) % 0.21/0.49 | p(V226) % 0.21/0.49 | p(V225) % 0.21/0.49 | p(V229) % 0.21/0.49 | p(V227) % 0.21/0.49 | p(V7) % 0.21/0.49 | p(V230) % 0.21/0.49 | -p(V15) ) % 0.21/0.49 & ( -p(V119) % 0.21/0.49 | -p(V116) ) % 0.21/0.49 & ( -p(V123) % 0.21/0.49 | -p(V29) % 0.21/0.49 | p(V532) % 0.21/0.49 | p(V31) ) % 0.21/0.49 & ( p(V15) % 0.21/0.49 | -p(V13) % 0.21/0.49 | -p(V81) % 0.21/0.49 | p(V319) ) % 0.21/0.49 & ( -p(V1) % 0.21/0.49 | p(V189) % 0.21/0.49 | p(V193) % 0.21/0.49 | p(V9) % 0.21/0.49 | p(V191) % 0.21/0.49 | p(V190) % 0.21/0.49 | p(V194) % 0.21/0.49 | p(V192) ) % 0.21/0.49 & ( -p(V292) % 0.21/0.49 | -p(V14) ) % 0.21/0.49 & ( -p(V326) % 0.21/0.49 | p(V82) ) % 0.21/0.49 & ( p(V396) % 0.21/0.49 | p(V394) % 0.21/0.49 | p(V395) % 0.21/0.49 | -p(V17) % 0.21/0.49 | p(V397) % 0.21/0.49 | p(V398) % 0.21/0.49 | p(V393) % 0.21/0.49 | p(V25) ) % 0.21/0.49 & ( -p(V398) % 0.21/0.49 | -p(V18) ) % 0.21/0.49 & ( -p(V43) % 0.21/0.49 | -p(V154) ) % 0.21/0.49 & ( p(V87) % 0.21/0.49 | -p(V394) ) % 0.21/0.49 & ( p(V284) % 0.21/0.49 | -p(V283) ) % 0.21/0.49 & ( p(V30) % 0.21/0.49 | -p(V530) ) % 0.21/0.49 & ( -p(V197) % 0.21/0.49 | p(V50) ) % 0.21/0.49 & ( -p(V87) % 0.21/0.49 | -p(V17) % 0.21/0.49 | p(V427) % 0.21/0.49 | p(V22) ) % 0.21/0.49 & ( -p(V198) % 0.21/0.49 | p(V49) ) % 0.21/0.49 & ( p(V460) % 0.21/0.49 | -p(V105) ) % 0.21/0.49 & ( -p(V291) % 0.21/0.49 | -p(V15) ) % 0.21/0.49 & ( -p(V423) % 0.21/0.49 | p(V21) ) % 0.21/0.49 & ( p(V26) % 0.21/0.49 | -p(V514) ) % 0.21/0.49 & ( -p(V262) % 0.21/0.49 | -p(V76) ) % 0.21/0.49 & ( -p(V26) % 0.21/0.49 | p(V521) % 0.21/0.49 | p(V29) % 0.21/0.49 | -p(V112) ) % 0.21/0.49 & ( -p(V85) % 0.21/0.49 | p(V346) ) % 0.21/0.49 & ( p(V12) % 0.21/0.49 | -p(V64) % 0.21/0.49 | -p(V9) % 0.21/0.49 | p(V20) ) % 0.21/0.49 & ( p(V378) % 0.21/0.49 | -p(V99) ) % 0.21/0.49 & ( -p(V122) % 0.21/0.49 | -p(V123) ) % 0.21/0.49 & ( p(V19) % 0.21/0.49 | -p(V25) % 0.21/0.49 | -p(V84) % 0.21/0.49 | -p(V17) ) % 0.21/0.49 & ( -p(V246) % 0.21/0.49 | p(V247) ) % 0.21/0.49 & ( -p(V131) % 0.21/0.49 | -p(V60) ) % 0.21/0.49 & ( p(V129) % 0.21/0.49 | -p(V46) ) % 0.21/0.49 & ( -p(V44) % 0.21/0.49 | -p(V169) ) % 0.21/0.49 & ( p(V74) % 0.21/0.49 | -p(V307) ) % 0.21/0.49 & ( -p(V79) % 0.21/0.49 | p(V312) % 0.21/0.49 | -p(V12) % 0.21/0.49 | p(V15) ) % 0.21/0.49 & ( -p(V528) % 0.21/0.49 | -p(V30) ) % 0.21/0.49 & ( p(V27) % 0.21/0.49 | -p(V512) ) % 0.21/0.49 & ( -p(V92) % 0.21/0.49 | p(V384) ) % 0.21/0.49 & ( -p(V92) % 0.21/0.49 | -p(V355) ) % 0.21/0.49 & ( -p(V9) % 0.21/0.49 | -p(V62) % 0.21/0.49 | p(V10) % 0.21/0.49 | p(V297) ) % 0.21/0.49 & ( -p(V360) % 0.21/0.49 | p(V361) ) % 0.21/0.49 & ( -p(V152) % 0.21/0.49 | p(V153) ) % 0.21/0.49 & ( -p(V209) % 0.21/0.49 | -p(V4) ) % 0.21/0.49 & ( -p(V344) % 0.21/0.49 | -p(V101) ) % 0.21/0.49 & ( p(V365) % 0.21/0.49 | -p(V97) ) % 0.21/0.49 & ( p(V520) % 0.21/0.49 | -p(V116) % 0.21/0.49 | p(V29) % 0.21/0.49 | -p(V27) ) % 0.21/0.49 & ( p(V69) % 0.21/0.49 | -p(V310) ) % 0.21/0.49 & ( -p(V57) % 0.21/0.49 | -p(V56) ) % 0.21/0.49 & ( -p(V453) % 0.21/0.49 | -p(V117) ) % 0.21/0.49 & ( -p(V312) % 0.21/0.49 | -p(V15) ) % 0.21/0.49 & ( p(V366) % 0.21/0.49 | -p(V93) ) % 0.21/0.49 & ( p(V116) % 0.21/0.49 | -p(V511) ) % 0.21/0.49 & ( -p(V225) % 0.21/0.49 | p(V61) ) % 0.21/0.49 & ( p(V68) % 0.21/0.49 | -p(V302) ) % 0.21/0.49 & ( p(V26) % 0.21/0.49 | -p(V528) ) % 0.21/0.49 & ( p(V112) % 0.21/0.49 | -p(V521) ) % 0.21/0.49 & ( -p(V196) % 0.21/0.49 | -p(V7) ) % 0.21/0.49 & ( p(V301) % 0.21/0.49 | -p(V69) % 0.21/0.49 | p(V12) % 0.21/0.49 | -p(V10) ) % 0.21/0.49 & ( -p(V119) % 0.21/0.49 | -p(V477) ) % 0.21/0.49 & ( -p(V61) % 0.21/0.49 | -p(V57) ) % 0.21/0.49 & ( -p(V531) % 0.21/0.49 | p(V124) ) % 0.21/0.49 & ( -p(V274) % 0.21/0.49 | -p(V64) ) % 0.21/0.49 & ( -p(V134) % 0.21/0.49 | p(V135) ) % 0.21/0.49 & ( p(V79) % 0.21/0.49 | -p(V329) ) % 0.21/0.49 & ( p(V414) % 0.21/0.49 | -p(V20) % 0.21/0.49 | p(V415) % 0.21/0.49 | p(V28) % 0.21/0.49 | p(V416) ) % 0.21/0.49 & ( p(V68) % 0.21/0.49 | -p(V303) ) % 0.21/0.49 & ( -p(V79) % 0.21/0.49 | p(V15) % 0.21/0.49 | -p(V12) % 0.21/0.49 | p(V329) ) % 0.21/0.49 & ( -p(V468) % 0.21/0.49 | -p(V109) ) % 0.21/0.49 & ( -p(V120) % 0.21/0.49 | p(V480) ) % 0.21/0.49 & ( -p(V109) % 0.21/0.49 | p(V435) ) % 0.21/0.49 & ( p(V88) % 0.21/0.49 | -p(V393) ) % 0.21/0.49 & ( -p(V416) % 0.21/0.49 | p(V98) ) % 0.21/0.49 & ( -p(V90) % 0.21/0.49 | p(V354) ) % 0.21/0.49 & ( -p(V68) % 0.21/0.49 | -p(V63) ) % 0.21/0.49 & ( p(V75) % 0.21/0.49 | -p(V306) ) % 0.21/0.49 & ( -p(V85) % 0.21/0.49 | -p(V379) ) % 0.21/0.49 & ( -p(V294) % 0.21/0.49 | -p(V12) ) % 0.21/0.49 & ( p(V22) % 0.21/0.49 | p(V14) % 0.21/0.49 | -p(V78) % 0.21/0.49 | -p(V12) ) % 0.21/0.49 & ( p(V31) % 0.21/0.49 | p(V535) % 0.21/0.49 | -p(V114) % 0.21/0.49 | -p(V26) ) % 0.21/0.49 & ( -p(V98) % 0.21/0.49 | -p(V28) % 0.21/0.49 | p(V21) % 0.21/0.49 | -p(V20) ) % 0.21/0.49 & ( -p(V70) % 0.21/0.49 | p(V283) ) % 0.21/0.49 & ( p(V335) % 0.21/0.49 | -p(V100) ) % 0.21/0.49 & ( p(V14) % 0.21/0.49 | -p(V6) % 0.21/0.49 | p(V224) ) % 0.21/0.49 & ( p(V357) % 0.21/0.49 | -p(V356) ) % 0.21/0.49 & ( p(V30) % 0.21/0.49 | -p(V101) % 0.21/0.49 | -p(V21) % 0.21/0.49 | p(V22) ) % 0.21/0.49 & ( -p(V63) % 0.21/0.49 | -p(V281) ) % 0.21/0.49 & ( p(V14) % 0.21/0.49 | -p(V66) % 0.21/0.49 | p(V292) % 0.21/0.49 | -p(V9) ) % 0.21/0.49 & ( p(V141) % 0.21/0.49 | -p(V60) ) % 0.21/0.49 & ( -p(V41) % 0.21/0.49 | -p(V48) ) % 0.21/0.49 & ( p(V23) % 0.21/0.49 | -p(V88) % 0.21/0.49 | -p(V17) % 0.21/0.49 | -p(V25) ) % 0.21/0.49 & ( -p(V37) % 0.21/0.49 | -p(V123) % 0.21/0.49 | p(V31) % 0.21/0.49 | -p(V29) ) % 0.21/0.49 & ( -p(V46) % 0.21/0.49 | p(V158) ) % 0.21/0.49 & ( -p(V18) % 0.21/0.49 | -p(V10) % 0.21/0.49 | -p(V69) % 0.21/0.49 | p(V12) ) % 0.21/0.49 & ( p(V273) % 0.21/0.49 | -p(V80) ) % 0.21/0.49 & ( -p(V417) % 0.21/0.49 | p(V98) ) % 0.21/0.49 & ( -p(V11) % 0.21/0.49 | p(V21) % 0.21/0.49 | -p(V74) % 0.21/0.49 | p(V13) ) % 0.21/0.49 & ( -p(V202) % 0.21/0.49 | p(V1) ) % 0.21/0.49 & ( -p(V415) % 0.21/0.49 | p(V99) ) % 0.21/0.49 & ( p(V149) % 0.21/0.49 | -p(V55) ) % 0.21/0.49 & ( -p(V49) % 0.21/0.49 | p(V151) ) % 0.21/0.49 & ( -p(V31) % 0.21/0.49 | -p(V516) ) % 0.21/0.49 & ( -p(V535) % 0.21/0.49 | -p(V31) ) % 0.21/0.49 & ( p(V133) % 0.21/0.49 | -p(V132) ) % 0.21/0.49 & ( p(V28) % 0.21/0.49 | -p(V526) ) % 0.21/0.49 & ( -p(V46) % 0.21/0.49 | -p(V51) ) % 0.21/0.49 & ( p(V58) % 0.21/0.49 | -p(V227) ) % 0.21/0.49 & ( -p(V111) % 0.21/0.49 | p(V488) ) % 0.21/0.49 & ( -p(V43) % 0.21/0.49 | p(V155) ) % 0.21/0.49 & ( -p(V350) % 0.21/0.49 | -p(V95) ) % 0.21/0.49 & ( -p(V427) % 0.21/0.49 | p(V17) ) % 0.21/0.49 & ( p(V120) % 0.21/0.49 | -p(V526) ) % 0.21/0.49 & ( p(V4) % 0.21/0.49 | p(V12) % 0.21/0.49 | -p(V1) % 0.21/0.49 | -p(V43) ) % 0.21/0.49 & ( -p(V506) % 0.21/0.49 | -p(V27) ) % 0.21/0.49 & ***HERE*** ( p(V494) % 0.21/0.49 | -p(V104) ) % 0.21/0.49 & ( p(V29) % 0.21/0.49 | -p(V28) % 0.21/0.49 | p(V519) % 0.21/0.49 | -p(V119) ) % 0.21/0.49 & ( p(V5) % 0.21/0.49 | p(V13) % 0.21/0.50 | -p(V3) % 0.21/0.50 | -p(V53) ) % 0.21/0.50 & ( -p(V527) % 0.21/0.50 | -p(V30) ) % 0.21/0.50 & ( -p(V224) % 0.21/0.50 | p(V61) ) % 0.21/0.50 & ( -p(V25) % 0.21/0.50 | p(V497) % 0.21/0.50 | p(V29) % 0.21/0.50 | -p(V107) ) % 0.21/0.50 & ( -p(V66) % 0.21/0.50 | -p(V67) ) % 0.21/0.50 & ( -p(V434) % 0.21/0.50 | p(V88) ) % 0.21/0.50 & ( p(V91) % 0.21/0.50 | -p(V419) ) % 0.21/0.50 & ( -p(V59) % 0.21/0.50 | -p(V60) ) % 0.21/0.50 & ( -p(V118) % 0.21/0.50 | p(V455) ) % 0.21/0.50 & ( -p(V388) % 0.21/0.50 | -p(V86) ) % 0.21/0.50 & ( p(V138) % 0.21/0.50 | -p(V49) ) % 0.21/0.50 & ( p(V151) % 0.21/0.50 | -p(V150) ) % 0.21/0.50 & ( -p(V17) % 0.21/0.50 | -p(V85) % 0.21/0.50 | p(V28) % 0.21/0.50 | p(V20) ) % 0.21/0.50 & ( -p(V52) % 0.21/0.50 | -p(V175) ) % 0.21/0.50 & ( -p(V10) % 0.21/0.50 | -p(V69) % 0.21/0.50 | p(V20) % 0.21/0.50 | p(V12) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | p(V28) % 0.21/0.50 | -p(V111) % 0.21/0.50 | -p(V34) ) % 0.21/0.50 & ( p(V353) % 0.21/0.50 | -p(V352) ) % 0.21/0.50 & ( -p(V398) % 0.21/0.50 | p(V83) ) % 0.21/0.50 & ( -p(V3) % 0.21/0.50 | -p(V54) % 0.21/0.50 | p(V6) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( -p(V23) % 0.21/0.50 | -p(V433) ) % 0.21/0.50 & ( -p(V121) % 0.21/0.50 | -p(V36) % 0.21/0.50 | -p(V28) % 0.21/0.50 | p(V31) ) % 0.21/0.50 & ( -p(V81) % 0.21/0.50 | p(V273) ) % 0.21/0.50 & ( -p(V13) % 0.21/0.50 | p(V216) % 0.21/0.50 | p(V215) % 0.21/0.50 | p(V214) % 0.21/0.50 | p(V213) % 0.21/0.50 | p(V5) ) % 0.21/0.50 & ( -p(V474) % 0.21/0.50 | p(V475) ) % 0.21/0.50 & ( -p(V38) % 0.21/0.50 | p(V39) ) % 0.21/0.50 & ( -p(V151) % 0.21/0.50 | -p(V50) ) % 0.21/0.50 & ( -p(V502) % 0.21/0.50 | p(V114) ) % 0.21/0.50 & ( p(V168) % 0.21/0.50 | -p(V56) ) % 0.21/0.50 & ( -p(V292) % 0.21/0.50 | p(V66) ) % 0.21/0.50 & ( -p(V83) % 0.21/0.50 | -p(V91) ) % 0.21/0.50 & ( p(V439) % 0.21/0.50 | -p(V124) ) % 0.21/0.50 & ( -p(V96) % 0.21/0.50 | p(V22) % 0.21/0.50 | -p(V19) % 0.21/0.50 | p(V408) ) % 0.21/0.50 & ( -p(V277) % 0.21/0.50 | -p(V69) ) % 0.21/0.50 & ( -p(V17) % 0.21/0.50 | p(V21) % 0.21/0.50 | -p(V86) % 0.21/0.50 | -p(V25) ) % 0.21/0.50 & ( p(V268) % 0.21/0.50 | -p(V267) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V90) % 0.21/0.50 | p(V20) % 0.21/0.50 | p(V412) ) % 0.21/0.50 & ( -p(V47) % 0.21/0.50 | p(V150) ) % 0.21/0.50 & ( -p(V250) % 0.21/0.50 | p(V251) ) % 0.21/0.50 & ( p(V290) % 0.21/0.50 | -p(V62) ) % 0.21/0.50 & ( -p(V82) % 0.21/0.50 | p(V15) % 0.21/0.50 | p(V23) % 0.21/0.50 | -p(V14) ) % 0.21/0.50 & ( -p(V79) % 0.21/0.50 | -p(V78) ) % 0.21/0.50 & ( p(V53) % 0.21/0.50 | -p(V205) ) % 0.21/0.50 & ( p(V440) % 0.21/0.50 | -p(V108) ) % 0.21/0.50 & ( p(V31) % 0.21/0.50 | -p(V22) % 0.21/0.50 | -p(V103) % 0.21/0.50 | p(V23) ) % 0.21/0.50 & ( -p(V359) % 0.21/0.50 | -p(V86) ) % 0.21/0.50 & ( p(V474) % 0.21/0.50 | -p(V119) ) % 0.21/0.50 & ( -p(V54) % 0.21/0.50 | p(V6) % 0.21/0.50 | -p(V3) % 0.21/0.50 | p(V221) ) % 0.21/0.50 & ( -p(V41) % 0.21/0.50 | p(V154) ) % 0.21/0.50 & ( -p(V29) % 0.21/0.50 | -p(V497) ) % 0.21/0.50 & ( -p(V311) % 0.21/0.50 | p(V9) ) % 0.21/0.50 & ( -p(V21) % 0.21/0.50 | p(V22) % 0.21/0.50 | -p(V101) % 0.21/0.50 | p(V422) ) % 0.21/0.50 & ( -p(V99) % 0.21/0.50 | p(V348) ) % 0.21/0.50 & ( -p(V461) % 0.21/0.50 | p(V462) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V103) % 0.21/0.50 | p(V428) % 0.21/0.50 | -p(V22) ) % 0.21/0.50 & ( p(V11) % 0.21/0.50 | p(V295) % 0.21/0.50 | -p(V63) % 0.21/0.50 | -p(V9) ) % 0.21/0.50 & ( p(V163) % 0.21/0.50 | -p(V162) ) % 0.21/0.50 & ( -p(V117) % 0.21/0.50 | -p(V452) ) % 0.21/0.50 & ( -p(V23) % 0.21/0.50 | -p(V430) ) % 0.21/0.50 & ( p(V58) % 0.21/0.50 | -p(V210) ) % 0.21/0.50 & ( p(V104) % 0.21/0.50 | -p(V501) ) % 0.21/0.50 & ( -p(V286) % 0.21/0.50 | p(V287) ) % 0.21/0.50 & ( -p(V79) % 0.21/0.50 | -p(V261) ) % 0.21/0.50 & ( -p(V181) % 0.21/0.50 | -p(V48) ) % 0.21/0.50 & ( p(V173) % 0.21/0.50 | -p(V43) ) % 0.21/0.50 & ( -p(V189) % 0.21/0.50 | p(V46) ) % 0.21/0.50 & ( -p(V68) % 0.21/0.50 | p(V278) ) % 0.21/0.50 & ( -p(V214) % 0.21/0.50 | -p(V5) ) % 0.21/0.50 & ( -p(V9) % 0.21/0.50 | -p(V62) % 0.21/0.50 | p(V10) % 0.21/0.50 | p(V18) ) % 0.21/0.50 & ( -p(V74) % 0.21/0.50 | -p(V273) ) % 0.21/0.50 & ( -p(V368) % 0.21/0.50 | p(V369) ) % 0.21/0.50 & ( -p(V301) % 0.21/0.50 | -p(V12) ) % 0.21/0.50 & ( -p(V73) % 0.21/0.50 | p(V281) ) % 0.21/0.50 & ( -p(V296) % 0.21/0.50 | p(V9) ) % 0.21/0.50 & ( -p(V493) % 0.21/0.50 | p(V494) ) % 0.21/0.50 & ( -p(V206) % 0.21/0.50 | p(V3) ) % 0.21/0.50 & ( -p(V335) % 0.21/0.50 | -p(V102) ) % 0.21/0.50 & ( -p(V88) % 0.21/0.50 | p(V367) ) % 0.21/0.50 & ( -p(V61) % 0.21/0.50 | -p(V60) ) % 0.21/0.50 & ( -p(V95) % 0.21/0.50 | p(V382) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | p(V13) % 0.21/0.50 | -p(V74) % 0.21/0.50 | -p(V19) ) % 0.21/0.50 & ( -p(V72) % 0.21/0.50 | -p(V10) % 0.21/0.50 | p(V15) % 0.21/0.50 | p(V331) ) % 0.21/0.50 & ( -p(V59) % 0.21/0.50 | -p(V140) ) % 0.21/0.50 & ( -p(V201) % 0.21/0.50 | p(V2) ) % 0.21/0.50 & ( -p(V1) % 0.21/0.50 | -p(V44) % 0.21/0.50 | p(V5) % 0.21/0.50 | p(V216) ) % 0.21/0.50 & ( -p(V110) % 0.21/0.50 | -p(V105) ) % 0.21/0.50 & ( -p(V104) % 0.21/0.50 | p(V500) % 0.21/0.50 | -p(V25) % 0.21/0.50 | p(V26) ) % 0.21/0.50 & ( -p(V53) % 0.21/0.50 | -p(V146) ) % 0.21/0.50 & ( p(V27) % 0.21/0.50 | -p(V26) % 0.21/0.50 | -p(V34) % 0.21/0.50 | -p(V110) ) % 0.21/0.50 & ( -p(V98) % 0.21/0.50 | p(V348) ) % 0.21/0.50 & ( p(V5) % 0.21/0.50 | -p(V217) ) % 0.21/0.50 & ( -p(V79) % 0.21/0.50 | p(V276) ) % 0.21/0.50 & ( -p(V60) % 0.21/0.50 | p(V159) ) % 0.21/0.50 & ( -p(V99) % 0.21/0.50 | -p(V28) % 0.21/0.50 | -p(V20) % 0.21/0.50 | p(V22) ) % 0.21/0.50 & ( -p(V317) % 0.21/0.50 | -p(V13) ) % 0.21/0.50 & ( -p(V100) % 0.21/0.50 | -p(V363) ) % 0.21/0.50 & ( p(V360) % 0.21/0.50 | -p(V359) ) % 0.21/0.50 & ( -p(V524) % 0.21/0.50 | p(V29) ) % 0.21/0.50 & ( p(V209) % 0.21/0.50 | -p(V12) % 0.21/0.50 | p(V207) % 0.21/0.50 | p(V208) % 0.21/0.50 | p(V4) ) % 0.21/0.50 & ( -p(V77) % 0.21/0.50 | p(V315) % 0.21/0.50 | p(V13) % 0.21/0.50 | -p(V12) ) % 0.21/0.50 & ( p(V14) % 0.21/0.50 | p(V6) % 0.21/0.50 | -p(V2) % 0.21/0.50 | -p(V50) ) % 0.21/0.50 & ( -p(V509) % 0.21/0.50 | -p(V31) ) % 0.21/0.50 & ( -p(V136) % 0.21/0.50 | p(V137) ) % 0.21/0.50 & ( -p(V52) % 0.21/0.50 | p(V172) ) % 0.21/0.50 & ( p(V461) % 0.21/0.50 | -p(V460) ) % 0.21/0.50 & ( -p(V30) % 0.21/0.50 | -p(V124) % 0.21/0.50 | -p(V38) % 0.21/0.50 | p(V31) ) % 0.21/0.50 & ( -p(V208) % 0.21/0.50 | -p(V4) ) % 0.21/0.50 & ( -p(V336) % 0.21/0.50 | p(V337) ) % 0.21/0.50 & ( p(V468) % 0.21/0.50 | -p(V467) ) % 0.21/0.50 & ( -p(V15) % 0.21/0.50 | -p(V326) ) % 0.21/0.50 & ( -p(V77) % 0.21/0.50 | p(V246) ) % 0.21/0.50 & ( p(V437) % 0.21/0.50 | -p(V121) ) % 0.21/0.50 & ( -p(V27) % 0.21/0.50 | p(V509) % 0.21/0.50 | -p(V118) % 0.21/0.50 | p(V31) ) % 0.21/0.50 & ( -p(V111) % 0.21/0.50 | -p(V106) ) % 0.21/0.50 & ( -p(V505) % 0.21/0.50 | -p(V28) ) % 0.21/0.50 & ( p(V7) % 0.21/0.50 | -p(V58) % 0.21/0.50 | -p(V4) % 0.21/0.50 | p(V210) ) % 0.21/0.50 & ( p(V291) % 0.21/0.50 | p(V17) % 0.21/0.50 | p(V296) % 0.21/0.50 | p(V293) % 0.21/0.50 | -p(V9) % 0.21/0.50 | p(V292) % 0.21/0.50 | p(V294) % 0.21/0.50 | p(V295) ) % 0.21/0.50 & ( -p(V354) % 0.21/0.50 | -p(V91) ) % 0.21/0.50 & ( -p(V179) % 0.21/0.50 | -p(V42) ) % 0.21/0.50 & ( -p(V73) % 0.21/0.50 | p(V274) ) % 0.21/0.50 & ( p(V9) % 0.21/0.50 | -p(V291) ) % 0.21/0.50 & ( p(V48) % 0.21/0.50 | -p(V208) ) % 0.21/0.50 & ( -p(V123) % 0.21/0.50 | p(V447) ) % 0.21/0.50 & ( -p(V504) % 0.21/0.50 | p(V112) ) % 0.21/0.50 & ( p(V224) % 0.21/0.50 | -p(V6) % 0.21/0.50 | -p(V61) % 0.21/0.50 | p(V7) ) % 0.21/0.50 & ( -p(V47) % 0.21/0.50 | -p(V182) ) % 0.21/0.50 & ( -p(V434) % 0.21/0.50 | -p(V23) ) % 0.21/0.50 & ( -p(V78) % 0.21/0.50 | p(V266) ) % 0.21/0.50 & ( -p(V107) % 0.21/0.50 | -p(V25) % 0.21/0.50 | p(V522) % 0.21/0.50 | p(V29) ) % 0.21/0.50 & ( -p(V107) % 0.21/0.50 | p(V491) ) % 0.21/0.50 & ( -p(V383) % 0.21/0.50 | -p(V89) ) % 0.21/0.50 & ( p(V335) % 0.21/0.50 | -p(V334) ) % 0.21/0.50 & ( -p(V313) % 0.21/0.50 | p(V12) ) % 0.21/0.50 & ( -p(V467) % 0.21/0.50 | -p(V114) ) % 0.21/0.50 & ( -p(V534) % 0.21/0.50 | p(V118) ) % 0.21/0.50 & ( -p(V36) % 0.21/0.50 | p(V37) ) % 0.21/0.50 & ( -p(V81) % 0.21/0.50 | -p(V13) % 0.21/0.50 | -p(V21) % 0.21/0.50 | p(V15) ) % 0.21/0.50 & ( -p(V58) % 0.21/0.50 | p(V160) ) % 0.21/0.50 & ( p(V125) % 0.21/0.50 | p(V126) ) % 0.21/0.50 & ( -p(V414) % 0.21/0.50 | p(V100) ) % 0.21/0.50 & ( -p(V442) % 0.21/0.50 | p(V443) ) % 0.21/0.50 & ( p(V281) % 0.21/0.50 | -p(V280) ) % 0.21/0.50 & ( -p(V58) % 0.21/0.50 | -p(V143) ) % 0.21/0.50 & ( -p(V19) % 0.21/0.50 | p(V23) % 0.21/0.50 | -p(V97) % 0.21/0.50 | p(V407) ) % 0.21/0.50 & ( p(V28) % 0.21/0.50 | -p(V516) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | -p(V54) % 0.21/0.50 | p(V6) % 0.21/0.50 | -p(V3) ) % 0.21/0.50 & ( p(V349) % 0.21/0.50 | -p(V348) ) % 0.21/0.50 & ( p(V122) % 0.21/0.50 | -p(V525) ) % 0.21/0.50 & ( p(V383) % 0.21/0.50 | -p(V382) ) % 0.21/0.50 & ( p(V401) % 0.21/0.50 | p(V400) % 0.21/0.50 | p(V402) % 0.21/0.50 | p(V403) % 0.21/0.50 | -p(V18) % 0.21/0.50 | p(V404) % 0.21/0.50 | p(V26) ) % 0.21/0.50 & ( -p(V533) % 0.21/0.50 | p(V121) ) % 0.21/0.50 & ( -p(V92) % 0.21/0.50 | -p(V18) % 0.21/0.50 | p(V401) % 0.21/0.50 | p(V22) ) % 0.21/0.50 & ( p(V8) % 0.21/0.50 | -p(V16) ) % 0.21/0.50 & ( p(V449) % 0.21/0.50 | -p(V115) ) % 0.21/0.50 & ( -p(V31) % 0.21/0.50 | -p(V523) ) % 0.21/0.50 & ( -p(V124) % 0.21/0.50 | -p(V443) ) % 0.21/0.50 & ( p(V28) % 0.21/0.50 | -p(V517) ) % 0.21/0.50 & ( -p(V45) % 0.21/0.50 | -p(V46) ) % 0.21/0.50 & ( -p(V104) % 0.21/0.50 | p(V26) % 0.21/0.50 | p(V501) % 0.21/0.50 | -p(V25) ) % 0.21/0.50 & ( p(V81) % 0.21/0.50 | -p(V328) ) % 0.21/0.50 & ( -p(V191) % 0.21/0.50 | p(V1) ) % 0.21/0.50 & ( p(V304) % 0.21/0.50 | -p(V63) % 0.21/0.50 | -p(V9) % 0.21/0.50 | p(V11) ) % 0.21/0.50 & ( p(V448) % 0.21/0.50 | -p(V111) ) % 0.21/0.50 & ( p(V1) % 0.21/0.50 | -p(V216) ) % 0.21/0.50 & ( p(V483) % 0.21/0.50 | -p(V117) ) % 0.21/0.50 & ( p(V269) % 0.21/0.50 | -p(V66) ) % 0.21/0.50 & ( -p(V108) % 0.21/0.50 | -p(V25) % 0.21/0.50 | p(V529) % 0.21/0.50 | p(V30) ) % 0.21/0.50 & ( -p(V117) % 0.21/0.50 | p(V441) ) % 0.21/0.50 & ( p(V296) % 0.21/0.50 | p(V10) % 0.21/0.50 | -p(V9) % 0.21/0.50 | -p(V62) ) % 0.21/0.50 & ( p(V15) % 0.21/0.50 | p(V327) % 0.21/0.50 | p(V329) % 0.21/0.50 | p(V331) % 0.21/0.50 | p(V332) % 0.21/0.50 | p(V328) % 0.21/0.50 | -p(V23) % 0.21/0.50 | p(V330) ) % 0.21/0.50 & ( -p(V379) % 0.21/0.50 | -p(V90) ) % 0.21/0.50 & ( p(V78) % 0.21/0.50 | -p(V313) ) % 0.21/0.50 & ( -p(V61) % 0.21/0.50 | -p(V54) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | -p(V55) % 0.21/0.50 | p(V7) % 0.21/0.50 | -p(V3) ) % 0.21/0.50 & ( p(V125) % 0.21/0.50 | -p(V128) % 0.21/0.50 | -p(V8) ) % 0.21/0.50 & ( -p(V82) % 0.21/0.50 | p(V235) ) % 0.21/0.50 & ( -p(V104) % 0.21/0.50 | -p(V111) ) % 0.21/0.50 & ( -p(V62) % 0.21/0.50 | p(V256) ) % 0.21/0.50 & ( -p(V63) % 0.21/0.50 | p(V248) ) % 0.21/0.50 & ( -p(V237) % 0.21/0.50 | p(V238) ) % 0.21/0.50 & ( p(V467) % 0.21/0.50 | -p(V118) ) % 0.21/0.50 & ( -p(V106) % 0.21/0.50 | p(V492) ) % 0.21/0.50 & ( p(V451) % 0.21/0.50 | -p(V121) ) % 0.21/0.50 & ( p(V81) % 0.21/0.50 | -p(V319) ) % 0.21/0.50 & ( -p(V93) % 0.21/0.50 | -p(V88) ) % 0.21/0.50 & ( -p(V86) % 0.21/0.50 | -p(V373) ) % 0.21/0.50 & ( -p(V256) % 0.21/0.50 | -p(V64) ) % 0.21/0.50 & ( -p(V411) % 0.21/0.50 | p(V19) ) % 0.21/0.50 & ( p(V162) % 0.21/0.50 | -p(V161) ) % 0.21/0.50 & ( p(V26) % 0.21/0.50 | -p(V104) % 0.21/0.50 | -p(V33) % 0.21/0.50 | -p(V25) ) % 0.21/0.50 & ( -p(V470) % 0.21/0.50 | -p(V117) ) % 0.21/0.50 & ( -p(V20) % 0.21/0.50 | -p(V403) ) % 0.21/0.50 & ( -p(V303) % 0.21/0.50 | -p(V11) ) % 0.21/0.50 & ( p(V134) % 0.21/0.50 | -p(V50) ) % 0.21/0.50 & ( -p(V210) % 0.21/0.50 | -p(V7) ) % 0.21/0.50 & ( p(V35) % 0.21/0.50 | -p(V110) % 0.21/0.50 | p(V27) % 0.21/0.50 | -p(V26) ) % 0.21/0.50 & ( -p(V314) % 0.21/0.50 | p(V12) ) % 0.21/0.50 & ( -p(V99) % 0.21/0.50 | -p(V339) ) % 0.21/0.50 & ( -p(V59) % 0.21/0.50 | -p(V5) % 0.21/0.50 | -p(V13) % 0.21/0.50 | p(V6) ) % 0.21/0.50 & ( p(V217) % 0.21/0.50 | p(V218) % 0.21/0.50 | -p(V5) % 0.21/0.50 | p(V13) ) % 0.21/0.50 & ( -p(V12) % 0.21/0.50 | p(V14) % 0.21/0.50 | -p(V78) % 0.21/0.50 | p(V313) ) % 0.21/0.50 & ( p(V341) % 0.21/0.50 | -p(V340) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V20) % 0.21/0.50 | -p(V28) % 0.21/0.50 | -p(V100) ) % 0.21/0.50 & ( -p(V342) % 0.21/0.50 | p(V343) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | p(V4) % 0.21/0.50 | -p(V52) % 0.21/0.50 | -p(V3) ) % 0.21/0.50 & ( p(V414) % 0.21/0.50 | p(V23) % 0.21/0.50 | -p(V100) % 0.21/0.50 | -p(V20) ) % 0.21/0.50 & ( -p(V17) % 0.21/0.50 | p(V13) % 0.21/0.50 | -p(V65) % 0.21/0.50 | -p(V9) ) % 0.21/0.50 & ( -p(V25) % 0.21/0.50 | p(V17) ) % 0.21/0.50 & ( -p(V6) % 0.21/0.50 | -p(V211) ) % 0.21/0.50 & ( -p(V277) % 0.21/0.50 | -p(V64) ) % 0.21/0.50 & ( -p(V15) % 0.21/0.50 | -p(V327) ) % 0.21/0.50 & ( p(V7) % 0.21/0.50 | -p(V6) % 0.21/0.50 | p(V225) % 0.21/0.50 | -p(V61) ) % 0.21/0.50 & ( -p(V1) % 0.21/0.50 | p(V5) % 0.21/0.50 | -p(V9) % 0.21/0.50 | -p(V44) ) % 0.21/0.50 & ( p(V11) % 0.21/0.50 | -p(V305) ) % 0.21/0.50 & ( -p(V121) % 0.21/0.50 | p(V466) ) % 0.21/0.50 & ( p(V6) % 0.21/0.50 | -p(V57) % 0.21/0.50 | -p(V12) % 0.21/0.50 | -p(V4) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | p(V434) % 0.21/0.50 | -p(V88) % 0.21/0.50 | -p(V17) ) % 0.21/0.50 & ( p(V10) % 0.21/0.50 | -p(V41) % 0.21/0.50 | -p(V1) % 0.21/0.50 | p(V2) ) % 0.21/0.50 & ( -p(V128) % 0.21/0.50 | p(V127) ) % 0.21/0.50 & ( -p(V302) % 0.21/0.50 | p(V10) ) % 0.21/0.50 & ( -p(V46) % 0.21/0.50 | p(V163) ) % 0.21/0.50 & ( -p(V31) % 0.21/0.50 | -p(V530) ) % 0.21/0.50 & ( -p(V123) % 0.21/0.50 | p(V438) ) % 0.21/0.50 & ( -p(V315) % 0.21/0.50 | -p(V13) ) % 0.21/0.50 & ( -p(V256) % 0.21/0.50 | p(V257) ) % 0.21/0.50 & ( p(V379) % 0.21/0.50 | -p(V98) ) % 0.21/0.50 & ( p(V448) % 0.21/0.50 | -p(V106) ) % 0.21/0.50 & ( -p(V19) % 0.21/0.50 | p(V22) % 0.21/0.50 | -p(V96) % 0.21/0.50 | p(V30) ) % 0.21/0.50 & ( -p(V94) % 0.21/0.50 | -p(V90) ) % 0.21/0.50 & ( -p(V50) % 0.21/0.50 | p(V6) % 0.21/0.50 | -p(V2) % 0.21/0.50 | p(V197) ) % 0.21/0.50 & ( -p(V54) % 0.21/0.50 | p(V148) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | p(V23) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V93) ) % 0.21/0.50 & ( -p(V21) % 0.21/0.50 | -p(V101) % 0.21/0.50 | -p(V29) % 0.21/0.50 | p(V22) ) % 0.21/0.50 & ( -p(V61) % 0.21/0.50 | p(V7) % 0.21/0.50 | p(V15) % 0.21/0.50 | -p(V6) ) % 0.21/0.50 & ( -p(V29) % 0.21/0.50 | -p(V504) ) % 0.21/0.50 & ( -p(V216) % 0.21/0.50 | -p(V5) ) % 0.21/0.50 & ( -p(V75) % 0.21/0.50 | -p(V76) ) % 0.21/0.50 & ( -p(V83) % 0.21/0.50 | -p(V391) ) % 0.21/0.50 & ( -p(V83) % 0.21/0.50 | p(V18) % 0.21/0.50 | p(V26) % 0.21/0.50 | -p(V17) ) % 0.21/0.50 & ( -p(V524) % 0.21/0.50 | -p(V30) ) % 0.21/0.50 & ( -p(V88) % 0.21/0.50 | -p(V361) ) % 0.21/0.50 & ( -p(V402) % 0.21/0.50 | -p(V21) ) % 0.21/0.50 & ( -p(V478) % 0.21/0.50 | p(V479) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | p(V399) % 0.21/0.50 | p(V18) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | p(V20) % 0.21/0.50 | -p(V26) % 0.21/0.50 | -p(V90) ) % 0.21/0.50 & ( -p(V204) % 0.21/0.50 | p(V3) ) % 0.21/0.50 & ( p(V390) % 0.21/0.50 | -p(V85) ) % 0.21/0.50 & ( -p(V2) % 0.21/0.50 | -p(V50) % 0.21/0.50 | p(V222) % 0.21/0.50 | p(V6) ) % 0.21/0.50 & ( p(V6) % 0.21/0.50 | p(V204) % 0.21/0.50 | -p(V3) % 0.21/0.50 | -p(V54) ) % 0.21/0.50 & ( -p(V76) % 0.21/0.50 | -p(V11) % 0.21/0.50 | p(V15) % 0.21/0.50 | p(V305) ) % 0.21/0.50 & ( -p(V118) % 0.21/0.50 | -p(V466) ) % 0.21/0.50 & ( p(V59) % 0.21/0.50 | -p(V219) ) % 0.21/0.50 & ( -p(V101) % 0.21/0.50 | -p(V102) ) % 0.21/0.50 & ( p(V291) % 0.21/0.50 | -p(V9) % 0.21/0.50 | -p(V67) % 0.21/0.50 | p(V15) ) % 0.21/0.50 & ( -p(V67) % 0.21/0.50 | -p(V9) % 0.21/0.50 | p(V15) % 0.21/0.50 | -p(V17) ) % 0.21/0.50 & ( -p(V351) % 0.21/0.50 | -p(V96) ) % 0.21/0.50 & ( -p(V182) % 0.21/0.50 | p(V183) ) % 0.21/0.50 & ( -p(V33) % 0.21/0.50 | p(V30) % 0.21/0.50 | -p(V108) % 0.21/0.50 | -p(V25) ) % 0.21/0.50 & ( p(V39) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V121) % 0.21/0.50 | -p(V28) ) % 0.21/0.50 & ( -p(V43) % 0.21/0.50 | p(V209) % 0.21/0.50 | -p(V1) % 0.21/0.50 | p(V4) ) % 0.21/0.50 & ( -p(V13) % 0.21/0.50 | -p(V316) ) % 0.21/0.50 & ( -p(V120) % 0.21/0.50 | p(V470) ) % 0.21/0.50 & ( p(V15) % 0.21/0.50 | -p(V7) ) % 0.21/0.50 & ( p(V6) % 0.21/0.50 | p(V190) % 0.21/0.50 | -p(V1) % 0.21/0.50 | -p(V45) ) % 0.21/0.50 & ( p(V4) % 0.21/0.50 | -p(V212) ) % 0.21/0.50 & ( -p(V7) % 0.21/0.50 | -p(V230) ) % 0.21/0.50 & ( -p(V15) % 0.21/0.50 | -p(V331) ) % 0.21/0.50 & ( -p(V143) % 0.21/0.50 | -p(V56) ) % 0.21/0.50 & ( -p(V54) % 0.21/0.50 | p(V165) ) % 0.21/0.50 & ( p(V289) % 0.21/0.50 | -p(V288) ) % 0.21/0.50 & ( -p(V77) % 0.21/0.50 | -p(V78) ) % 0.21/0.50 & ( p(V83) % 0.21/0.50 | -p(V399) ) % 0.21/0.50 & ( -p(V46) % 0.21/0.50 | -p(V157) ) % 0.21/0.50 & ( -p(V118) % 0.21/0.50 | -p(V435) ) % 0.21/0.50 & ( -p(V21) % 0.21/0.50 | -p(V102) % 0.21/0.50 | p(V430) % 0.21/0.50 | p(V23) ) % 0.21/0.50 & ( -p(V529) % 0.21/0.50 | -p(V30) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V97) % 0.21/0.50 | -p(V19) % 0.21/0.50 | p(V31) ) % 0.21/0.50 & ( -p(V166) % 0.21/0.50 | -p(V45) ) % 0.21/0.50 & ( -p(V19) % 0.21/0.50 | -p(V397) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | -p(V500) ) % 0.21/0.50 & ( -p(V67) % 0.21/0.50 | p(V260) ) % 0.21/0.50 & ( -p(V159) % 0.21/0.50 | -p(V58) ) % 0.21/0.50 & ( -p(V76) % 0.21/0.50 | -p(V248) ) % 0.21/0.50 & ( p(V453) % 0.21/0.50 | -p(V116) ) % 0.21/0.50 & ( -p(V12) % 0.21/0.50 | p(V13) % 0.21/0.50 | p(V314) % 0.21/0.50 | -p(V77) ) % 0.21/0.50 & ( p(V497) % 0.21/0.50 | p(V498) % 0.21/0.50 | p(V495) % 0.21/0.50 | p(V500) % 0.21/0.50 | p(V499) % 0.21/0.50 | p(V496) % 0.21/0.50 | p(V33) % 0.21/0.50 | -p(V25) ) % 0.21/0.50 & ( p(V508) % 0.21/0.50 | -p(V105) % 0.21/0.50 | -p(V25) % 0.21/0.50 | p(V27) ) % 0.21/0.50 & ( p(V110) % 0.21/0.50 | -p(V506) ) % 0.21/0.50 & ( p(V254) % 0.21/0.50 | -p(V253) ) % 0.21/0.50 & ( -p(V55) % 0.21/0.50 | -p(V160) ) % 0.21/0.50 & ( -p(V55) % 0.21/0.50 | p(V161) ) % 0.21/0.50 & ( -p(V468) % 0.21/0.50 | p(V469) ) % 0.21/0.50 & ( p(V391) % 0.21/0.50 | -p(V390) ) % 0.21/0.50 & ( -p(V73) % 0.21/0.50 | -p(V69) ) % 0.21/0.50 & ( p(V29) % 0.21/0.50 | -p(V86) % 0.21/0.50 | p(V21) % 0.21/0.50 | -p(V17) ) % 0.21/0.50 & ( p(V15) % 0.21/0.50 | p(V23) % 0.21/0.50 | -p(V12) % 0.21/0.50 | -p(V79) ) % 0.21/0.50 & ( -p(V88) % 0.21/0.50 | p(V362) ) % 0.21/0.50 & ( p(V222) % 0.21/0.50 | p(V221) % 0.21/0.50 | p(V220) % 0.21/0.50 | p(V219) % 0.21/0.50 | -p(V14) % 0.21/0.50 | p(V223) % 0.21/0.50 | p(V6) ) % 0.21/0.50 & ( p(V4) % 0.21/0.50 | -p(V10) % 0.21/0.50 | -p(V2) % 0.21/0.50 | -p(V48) ) % 0.21/0.50 & ( p(V368) % 0.21/0.50 | -p(V99) ) % 0.21/0.50 & ( -p(V130) % 0.21/0.50 | p(V131) ) % 0.21/0.50 & ( p(V424) % 0.21/0.50 | p(V425) % 0.21/0.50 | p(V427) % 0.21/0.50 | p(V426) % 0.21/0.50 | -p(V30) % 0.21/0.50 | p(V423) % 0.21/0.50 | p(V22) ) % 0.21/0.50 & ( -p(V84) % 0.21/0.50 | p(V350) ) % 0.21/0.50 & ( p(V20) % 0.21/0.50 | -p(V416) ) % 0.21/0.50 & ( -p(V171) % 0.21/0.50 | -p(V56) ) % 0.21/0.50 & ( -p(V4) % 0.21/0.50 | p(V7) % 0.21/0.50 | -p(V58) % 0.21/0.50 | -p(V12) ) % 0.21/0.50 & ( p(V162) % 0.21/0.50 | -p(V51) ) % 0.21/0.50 & ( -p(V453) % 0.21/0.50 | p(V454) ) % 0.21/0.50 & ( -p(V226) % 0.21/0.50 | p(V5) ) % 0.21/0.50 & ( -p(V411) % 0.21/0.50 | -p(V20) ) % 0.21/0.50 & ( -p(V116) % 0.21/0.50 | -p(V452) ) % 0.21/0.50 & ( p(V484) % 0.21/0.50 | -p(V116) ) % 0.21/0.50 & ( -p(V5) % 0.21/0.50 | p(V6) % 0.21/0.50 | p(V218) % 0.21/0.50 | -p(V59) ) % 0.21/0.50 & ( -p(V209) % 0.21/0.50 | p(V1) ) % 0.21/0.50 & ( -p(V244) % 0.21/0.50 | p(V245) ) % 0.21/0.50 & ( p(V1) % 0.21/0.50 | -p(V189) ) % 0.21/0.50 & ( -p(V23) % 0.21/0.50 | -p(V431) ) % 0.21/0.50 & ( -p(V282) % 0.21/0.50 | p(V283) ) % 0.21/0.50 & ( -p(V86) % 0.21/0.50 | p(V374) ) % 0.21/0.50 & ( p(V214) % 0.21/0.50 | -p(V53) % 0.21/0.50 | -p(V3) % 0.21/0.50 | p(V5) ) % 0.21/0.50 & ( -p(V117) % 0.21/0.50 | -p(V35) % 0.21/0.50 | p(V30) % 0.21/0.50 | -p(V27) ) % 0.21/0.50 & ( p(V450) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( -p(V33) % 0.21/0.50 | p(V25) ) % 0.21/0.50 & ( -p(V105) % 0.21/0.50 | -p(V110) ) % 0.21/0.50 & ( -p(V406) % 0.21/0.50 | p(V17) ) % 0.21/0.50 & ( -p(V46) % 0.21/0.50 | p(V184) ) % 0.21/0.50 & ( p(V456) % 0.21/0.50 | -p(V110) ) % 0.21/0.50 & ( -p(V254) % 0.21/0.50 | p(V255) ) % 0.21/0.50 & ( p(V28) % 0.21/0.50 | -p(V519) ) % 0.21/0.50 & ( -p(V199) % 0.21/0.50 | -p(V4) ) % 0.21/0.50 & ( -p(V513) % 0.21/0.50 | -p(V28) ) % 0.21/0.50 & ( -p(V184) % 0.21/0.50 | p(V185) ) % 0.21/0.50 & ( -p(V33) % 0.21/0.50 | p(V29) % 0.21/0.50 | -p(V25) % 0.21/0.50 | -p(V107) ) % 0.21/0.50 & ( p(V276) % 0.21/0.50 | -p(V78) ) % 0.21/0.50 & ( p(V2) % 0.21/0.50 | -p(V229) ) % 0.21/0.50 & ( p(V13) % 0.21/0.50 | -p(V4) % 0.21/0.50 | -p(V56) % 0.21/0.50 | p(V5) ) % 0.21/0.50 & ( -p(V14) % 0.21/0.50 | p(V22) % 0.21/0.50 | p(V326) ) % 0.21/0.50 & ( p(V235) % 0.21/0.50 | -p(V234) ) % 0.21/0.50 & ( -p(V404) % 0.21/0.50 | -p(V19) ) % 0.21/0.50 & ( -p(V52) % 0.21/0.50 | -p(V53) ) % 0.21/0.50 & ( p(V87) % 0.21/0.50 | -p(V427) ) % 0.21/0.50 & ( p(V19) % 0.21/0.50 | -p(V10) % 0.21/0.50 | p(V11) % 0.21/0.50 | -p(V68) ) % 0.21/0.50 & ( -p(V80) % 0.21/0.50 | p(V266) ) % 0.21/0.50 & ( p(V157) % 0.21/0.50 | -p(V45) ) % 0.21/0.50 & ( -p(V109) % 0.21/0.50 | p(V490) ) % 0.21/0.50 & ( -p(V66) % 0.21/0.50 | -p(V82) ) % 0.21/0.50 & ( -p(V42) % 0.21/0.50 | p(V146) ) % 0.21/0.50 & ( -p(V179) % 0.21/0.50 | -p(V47) ) % 0.21/0.50 & ( -p(V107) % 0.21/0.50 | -p(V477) ) % 0.21/0.50 & ( -p(V55) % 0.21/0.50 | p(V130) ) % 0.21/0.50 & ( p(V349) % 0.21/0.50 | -p(V100) ) % 0.21/0.50 & ( -p(V13) % 0.21/0.50 | -p(V293) ) % 0.21/0.50 & ( p(V19) % 0.21/0.50 | -p(V407) ) % 0.21/0.50 & ( -p(V25) % 0.21/0.50 | -p(V105) % 0.21/0.50 | p(V27) % 0.21/0.50 | -p(V33) ) % 0.21/0.50 & ( -p(V54) % 0.21/0.50 | p(V177) ) % 0.21/0.50 & ( -p(V95) % 0.21/0.50 | -p(V381) ) % 0.21/0.50 & ( p(V101) % 0.21/0.50 | -p(V423) ) % 0.21/0.50 & ( p(V371) % 0.21/0.50 | -p(V370) ) % 0.21/0.50 & ( -p(V472) % 0.21/0.50 | -p(V108) ) % 0.21/0.50 & ( -p(V97) % 0.21/0.50 | -p(V333) ) % 0.21/0.50 & ( -p(V87) % 0.21/0.50 | p(V388) ) % 0.21/0.50 & ( p(V310) % 0.21/0.50 | -p(V10) % 0.21/0.50 | -p(V69) % 0.21/0.50 | p(V12) ) % 0.21/0.50 & ( -p(V9) % 0.21/0.50 | -p(V45) % 0.21/0.50 | -p(V1) % 0.21/0.50 | p(V6) ) % 0.21/0.50 & ( -p(V520) % 0.21/0.50 | -p(V29) ) % 0.21/0.50 & ( -p(V512) % 0.21/0.50 | p(V115) ) % 0.21/0.50 & ( -p(V51) % 0.21/0.50 | p(V7) % 0.21/0.50 | -p(V2) % 0.21/0.50 | p(V15) ) % 0.21/0.50 & ( -p(V67) % 0.21/0.50 | -p(V259) ) % 0.21/0.50 & ( -p(V48) % 0.21/0.50 | p(V182) ) % 0.21/0.50 & ( p(V141) % 0.21/0.50 | -p(V59) ) % 0.21/0.50 & ( -p(V10) % 0.21/0.50 | p(V299) % 0.21/0.50 | -p(V71) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( -p(V233) % 0.21/0.50 | -p(V81) ) % 0.21/0.50 & ( -p(V65) % 0.21/0.50 | -p(V271) ) % 0.21/0.50 & ( -p(V113) % 0.21/0.50 | -p(V114) ) % 0.21/0.50 & ( p(V480) % 0.21/0.50 | -p(V121) ) % 0.21/0.50 & ( p(V133) % 0.21/0.50 | -p(V61) ) % 0.21/0.50 & ( p(V22) % 0.21/0.50 | -p(V19) % 0.21/0.50 | -p(V96) % 0.21/0.50 | p(V425) ) % 0.21/0.50 & ( -p(V48) % 0.21/0.50 | -p(V47) ) % 0.21/0.50 & ( -p(V51) % 0.21/0.50 | -p(V50) ) % 0.21/0.50 & ( -p(V171) % 0.21/0.50 | -p(V53) ) % 0.21/0.50 & ( p(V442) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( -p(V151) % 0.21/0.50 | p(V152) ) % 0.21/0.50 & ( -p(V477) % 0.21/0.50 | -p(V116) ) % 0.21/0.50 & ( p(V4) % 0.21/0.50 | p(V192) % 0.21/0.50 | -p(V43) % 0.21/0.50 | -p(V1) ) % 0.21/0.50 & ( -p(V45) % 0.21/0.50 | p(V134) ) % 0.21/0.50 & ( -p(V222) % 0.21/0.50 | p(V50) ) % 0.21/0.50 & ( -p(V3) % 0.21/0.50 | p(V7) % 0.21/0.50 | -p(V55) % 0.21/0.50 | p(V228) ) % 0.21/0.50 & ( -p(V297) % 0.21/0.50 | p(V62) ) % 0.21/0.50 & ( -p(V70) % 0.21/0.50 | p(V253) ) % 0.21/0.50 & ( -p(V428) % 0.21/0.50 | -p(V23) ) % 0.21/0.50 & ( p(V42) % 0.21/0.50 | -p(V193) ) % 0.21/0.50 & ( -p(V59) % 0.21/0.50 | -p(V60) ) % 0.21/0.50 & ( p(V180) % 0.21/0.50 | -p(V50) ) % 0.21/0.50 & ( -p(V91) % 0.21/0.50 | -p(V375) ) % 0.21/0.50 & ( -p(V50) % 0.21/0.50 | -p(V165) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | -p(V19) % 0.21/0.50 | p(V15) % 0.21/0.50 | -p(V76) ) % 0.21/0.50 & ( -p(V347) % 0.21/0.50 | -p(V100) ) % 0.21/0.50 & ( -p(V465) % 0.21/0.50 | p(V466) ) % 0.21/0.50 & ( -p(V520) % 0.21/0.50 | p(V27) ) % 0.21/0.50 & ( p(V64) % 0.21/0.50 | -p(V311) ) % 0.21/0.50 & ( -p(V31) % 0.21/0.50 | -p(V495) ) % 0.21/0.50 & ( p(V161) % 0.21/0.50 | -p(V160) ) % 0.21/0.50 & ( -p(V69) % 0.21/0.50 | p(V274) ) % 0.21/0.50 & ( -p(V298) % 0.21/0.50 | -p(V15) ) % 0.21/0.50 & ( p(V22) % 0.21/0.50 | -p(V428) ) % 0.21/0.50 & ( p(V3) % 0.21/0.50 | -p(V42) % 0.21/0.50 | -p(V1) % 0.21/0.50 | p(V193) ) % 0.21/0.50 & ( -p(V32) % 0.21/0.50 | p(V24) ) % 0.21/0.50 & ( -p(V245) % 0.21/0.50 | -p(V79) ) % 0.21/0.50 & ( p(V176) % 0.21/0.50 | -p(V42) ) % 0.21/0.50 & ( p(V4) % 0.21/0.50 | -p(V2) % 0.21/0.50 | -p(V48) % 0.21/0.50 | p(V208) ) % 0.21/0.50 & ( -p(V409) % 0.21/0.50 | p(V95) ) % 0.21/0.50 & ( -p(V73) % 0.21/0.50 | -p(V19) % 0.21/0.50 | p(V12) % 0.21/0.50 | -p(V11) ) % 0.21/0.50 & ( -p(V223) % 0.21/0.50 | p(V1) ) % 0.21/0.50 & ( p(V245) % 0.21/0.50 | -p(V73) ) % 0.21/0.50 & ( -p(V165) % 0.21/0.50 | p(V166) ) % 0.21/0.50 & ( p(V27) % 0.21/0.50 | -p(V527) ) % 0.21/0.50 & ( -p(V454) % 0.21/0.50 | p(V455) ) % 0.21/0.50 & ( p(V18) % 0.21/0.50 | -p(V426) ) % 0.21/0.50 & ( p(V126) % 0.21/0.50 | p(V125) % 0.21/0.50 | -p(V127) ) % 0.21/0.50 & ( -p(V503) % 0.21/0.50 | p(V26) ) % 0.21/0.50 & ( -p(V285) % 0.21/0.50 | -p(V62) ) % 0.21/0.50 & ( p(V389) % 0.21/0.50 | -p(V86) ) % 0.21/0.50 & ( p(V39) % 0.21/0.50 | -p(V30) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V124) ) % 0.21/0.50 & ( -p(V104) % 0.21/0.50 | -p(V114) ) % 0.21/0.50 & ( -p(V518) % 0.21/0.50 | p(V28) ) % 0.21/0.50 & ( -p(V97) % 0.21/0.50 | -p(V352) ) % 0.21/0.50 & ( p(V352) % 0.21/0.50 | -p(V96) ) % 0.21/0.50 & ( p(V444) % 0.21/0.50 | -p(V107) ) % 0.21/0.50 & ( p(V187) % 0.21/0.50 | -p(V42) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V399) ) % 0.21/0.50 & ( -p(V83) % 0.21/0.50 | -p(V90) ) % 0.21/0.50 & ( p(V272) % 0.21/0.50 | -p(V271) ) % 0.21/0.50 & ( -p(V129) % 0.21/0.50 | p(V130) ) % 0.21/0.50 & ( -p(V29) % 0.21/0.50 | -p(V521) ) % 0.21/0.50 & ( -p(V69) % 0.21/0.50 | -p(V283) ) % 0.21/0.50 & ( -p(V193) % 0.21/0.50 | p(V1) ) % 0.21/0.50 & ( p(V234) % 0.21/0.50 | -p(V81) ) % 0.21/0.50 & ( p(V164) % 0.21/0.50 | -p(V59) ) % 0.21/0.50 & ( p(V15) % 0.21/0.50 | -p(V82) % 0.21/0.50 | -p(V14) % 0.21/0.50 | -p(V22) ) % 0.21/0.50 & ( -p(V17) % 0.21/0.50 | p(V18) % 0.21/0.50 | -p(V25) % 0.21/0.50 | -p(V83) ) % 0.21/0.50 & ( -p(V248) % 0.21/0.50 | -p(V75) ) % 0.21/0.50 & ( p(V513) % 0.21/0.50 | -p(V36) % 0.21/0.50 | p(V28) % 0.21/0.50 | p(V515) % 0.21/0.50 | p(V514) ) % 0.21/0.50 & ( p(V303) % 0.21/0.50 | p(V304) % 0.21/0.50 | p(V11) % 0.21/0.50 | -p(V19) ) % 0.21/0.50 & ( -p(V16) % 0.21/0.50 | p(V24) ) % 0.21/0.50 & ( -p(V4) % 0.21/0.50 | p(V5) % 0.21/0.50 | p(V213) % 0.21/0.50 | -p(V56) ) % 0.21/0.50 & ( p(V457) % 0.21/0.50 | -p(V456) ) % 0.21/0.50 & ( -p(V15) % 0.21/0.50 | -p(V330) ) % 0.21/0.50 & ( p(V121) % 0.21/0.50 | -p(V516) ) % 0.21/0.50 & ( -p(V1) % 0.21/0.50 | p(V6) % 0.21/0.50 | -p(V45) % 0.21/0.50 | p(V223) ) % 0.21/0.50 & ( -p(V96) % 0.21/0.50 | -p(V350) ) % 0.21/0.50 & ( p(V15) % 0.21/0.50 | p(V330) % 0.21/0.50 | -p(V11) % 0.21/0.50 | -p(V76) ) % 0.21/0.50 & ( p(V76) % 0.21/0.50 | -p(V330) ) % 0.21/0.50 & ( -p(V25) % 0.21/0.50 | p(V536) % 0.21/0.50 | -p(V109) % 0.21/0.50 | p(V31) ) % 0.21/0.50 & ( p(V450) % 0.21/0.50 | -p(V119) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V114) % 0.21/0.50 | p(V502) ) % 0.21/0.50 & ( -p(V274) % 0.21/0.50 | p(V275) ) % 0.21/0.50 & ( p(V464) % 0.21/0.50 | -p(V109) ) % 0.21/0.50 & ( p(V503) % 0.21/0.50 | p(V34) % 0.21/0.50 | p(V502) % 0.21/0.50 | p(V504) % 0.21/0.50 | -p(V26) % 0.21/0.50 | p(V505) % 0.21/0.50 | p(V506) ) % 0.21/0.50 & ( p(V7) % 0.21/0.50 | -p(V51) % 0.21/0.50 | -p(V10) % 0.21/0.50 | -p(V2) ) % 0.21/0.50 & ( -p(V321) % 0.21/0.50 | p(V13) ) % 0.21/0.50 & ( p(V31) % 0.21/0.50 | -p(V27) % 0.21/0.50 | p(V39) % 0.21/0.50 | -p(V118) ) % 0.21/0.50 & ( p(V376) % 0.21/0.50 | -p(V90) ) % 0.21/0.50 & ( -p(V100) % 0.21/0.50 | -p(V348) ) % 0.21/0.50 & ( -p(V62) % 0.21/0.50 | -p(V9) % 0.21/0.50 | -p(V17) % 0.21/0.50 | p(V10) ) % 0.21/0.50 & ( -p(V101) % 0.21/0.50 | -p(V103) ) % 0.21/0.50 & ( -p(V21) % 0.21/0.50 | -p(V395) ) % 0.21/0.50 & ( -p(V129) % 0.21/0.50 | -p(V55) ) % 0.21/0.50 & ( -p(V424) % 0.21/0.50 | p(V99) ) % 0.21/0.50 & ( -p(V118) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V27) % 0.21/0.50 | p(V534) ) % 0.21/0.50 & ( -p(V104) % 0.21/0.50 | -p(V105) ) % 0.21/0.50 & ( p(V1) % 0.21/0.50 | -p(V230) ) % 0.21/0.50 & ( -p(V99) % 0.21/0.50 | -p(V347) ) % 0.21/0.50 & ( p(V19) % 0.21/0.50 | -p(V89) % 0.21/0.50 | p(V27) % 0.21/0.50 | -p(V18) ) % 0.21/0.50 & ( -p(V207) % 0.21/0.50 | -p(V4) ) % 0.21/0.50 & ( p(V29) % 0.21/0.50 | -p(V532) ) % 0.21/0.50 & ( -p(V102) % 0.21/0.50 | p(V363) ) % 0.21/0.50 & ( -p(V300) % 0.21/0.50 | p(V10) ) % 0.21/0.50 & ( p(V29) % 0.21/0.50 | -p(V523) ) % 0.21/0.50 & ( -p(V75) % 0.21/0.50 | p(V279) ) % 0.21/0.50 & ( p(V75) % 0.21/0.50 | -p(V323) ) % 0.21/0.50 & ( -p(V125) % 0.21/0.50 | -p(V128) % 0.21/0.50 | p(V8) ) % 0.21/0.50 & ( p(V21) % 0.21/0.50 | -p(V19) % 0.21/0.50 | -p(V95) % 0.21/0.50 | p(V418) ) % 0.21/0.50 & ( p(V145) % 0.21/0.50 | -p(V144) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | -p(V114) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V34) ) % 0.21/0.50 & ( -p(V442) % 0.21/0.50 | -p(V122) ) % 0.21/0.50 & ( -p(V2) % 0.21/0.50 | p(V3) % 0.21/0.50 | -p(V47) % 0.21/0.50 | -p(V10) ) % 0.21/0.50 & ( -p(V236) % 0.21/0.50 | -p(V75) ) % 0.21/0.50 & ( -p(V496) % 0.21/0.50 | -p(V30) ) % 0.21/0.50 & ( p(V135) % 0.21/0.50 | -p(V54) ) % 0.21/0.50 & ( -p(V63) % 0.21/0.50 | -p(V288) ) % 0.21/0.50 & ( -p(V79) % 0.21/0.50 | p(V233) ) % 0.21/0.50 & ( p(V4) % 0.21/0.50 | -p(V48) % 0.21/0.50 | -p(V2) % 0.21/0.50 | p(V199) ) % 0.21/0.50 & ( p(V5) % 0.21/0.50 | -p(V3) % 0.21/0.50 | -p(V53) % 0.21/0.50 | p(V205) ) % 0.21/0.50 & ( -p(V172) % 0.21/0.50 | -p(V43) ) % 0.21/0.50 & ( -p(V146) % 0.21/0.50 | -p(V54) ) % 0.21/0.50 & ( -p(V49) % 0.21/0.50 | -p(V171) ) % 0.21/0.50 & ( -p(V438) % 0.21/0.50 | p(V439) ) % 0.21/0.50 & ( p(V45) % 0.21/0.50 | -p(V223) ) % 0.21/0.50 & ( p(V9) % 0.21/0.50 | -p(V332) ) % 0.21/0.50 & ( -p(V68) % 0.21/0.50 | -p(V284) ) % 0.21/0.50 & ( -p(V456) % 0.21/0.50 | -p(V112) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V91) % 0.21/0.50 | p(V419) % 0.21/0.50 | p(V21) ) % 0.21/0.50 & ( -p(V410) % 0.21/0.50 | -p(V20) ) % 0.21/0.50 & ( -p(V63) % 0.21/0.50 | p(V256) ) % 0.21/0.50 & ( p(V181) % 0.21/0.50 | -p(V180) ) % 0.21/0.50 & ( -p(V192) % 0.21/0.50 | -p(V4) ) % 0.21/0.50 & ( p(V94) % 0.21/0.50 | -p(V411) ) % 0.21/0.50 & ( p(V437) % 0.21/0.50 | -p(V436) ) % 0.21/0.50 & ( -p(V51) % 0.21/0.50 | p(V153) ) % 0.21/0.50 & ( -p(V14) % 0.21/0.50 | -p(V325) ) % 0.21/0.50 & ( -p(V21) % 0.21/0.50 | -p(V419) ) % 0.21/0.50 & ( -p(V75) % 0.21/0.50 | p(V267) ) % 0.21/0.50 & ( p(V55) % 0.21/0.50 | -p(V203) ) % 0.21/0.50 & ( -p(V401) % 0.21/0.50 | -p(V22) ) % 0.21/0.50 & ( p(V96) % 0.21/0.50 | -p(V408) ) % 0.21/0.50 & ( -p(V41) % 0.21/0.50 | -p(V51) ) % 0.21/0.50 & ( -p(V94) % 0.21/0.50 | -p(V346) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | p(V307) % 0.21/0.50 | -p(V74) % 0.21/0.50 | p(V13) ) % 0.21/0.50 & ( -p(V413) % 0.21/0.50 | p(V17) ) % 0.21/0.50 & ( -p(V113) % 0.21/0.50 | -p(V104) ) % 0.21/0.50 & ( -p(V228) % 0.21/0.50 | p(V3) ) % 0.21/0.50 & ( -p(V211) % 0.21/0.50 | p(V4) ) % 0.21/0.50 & ( p(V2) % 0.21/0.50 | -p(V208) ) % 0.21/0.50 & ( -p(V126) % 0.21/0.50 | p(V127) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V22) % 0.21/0.50 | p(V429) % 0.21/0.50 | -p(V103) ) % 0.21/0.50 & ( p(V14) % 0.21/0.50 | -p(V71) % 0.21/0.50 | -p(V10) % 0.21/0.50 | p(V22) ) % 0.21/0.50 & ( p(V77) % 0.21/0.50 | -p(V315) ) % 0.21/0.50 & ( p(V388) % 0.21/0.50 | -p(V88) ) % 0.21/0.50 & ( -p(V297) % 0.21/0.50 | -p(V10) ) % 0.21/0.50 & ( -p(V495) % 0.21/0.50 | p(V25) ) % 0.21/0.50 & ( p(V2) % 0.21/0.50 | p(V195) % 0.21/0.50 | -p(V10) ) % 0.21/0.50 & ( -p(V31) % 0.21/0.50 | p(V39) ) % 0.21/0.50 & ( p(V9) % 0.21/0.50 | -p(V293) ) % 0.21/0.50 & ( -p(V24) % 0.21/0.50 | p(V16) ) % 0.21/0.50 & ( p(V461) % 0.21/0.50 | -p(V106) ) % 0.21/0.50 & ( p(V152) % 0.21/0.50 | -p(V50) ) % 0.21/0.50 & ( -p(V22) % 0.21/0.50 | -p(V425) ) % 0.21/0.50 & ( -p(V6) % 0.21/0.50 | -p(V218) ) % 0.21/0.50 & ( -p(V297) % 0.21/0.50 | p(V9) ) % 0.21/0.50 & ( p(V30) % 0.21/0.50 | -p(V37) % 0.21/0.50 | -p(V29) % 0.21/0.50 | -p(V122) ) % 0.21/0.50 & ( -p(V221) % 0.21/0.50 | -p(V6) ) % 0.21/0.50 & ( -p(V55) % 0.21/0.50 | -p(V3) % 0.21/0.50 | p(V7) % 0.21/0.50 | p(V203) ) % 0.21/0.50 & ( p(V472) % 0.21/0.50 | -p(V113) ) % 0.21/0.50 & ( p(V30) % 0.21/0.50 | p(V526) % 0.21/0.50 | p(V528) % 0.21/0.50 | -p(V38) % 0.21/0.50 | p(V525) % 0.21/0.50 | p(V527) % 0.21/0.50 | p(V529) ) % 0.21/0.50 & ( -p(V344) % 0.21/0.50 | -p(V102) ) % 0.21/0.50 & ( -p(V328) % 0.21/0.50 | -p(V15) ) % 0.21/0.50 & ( -p(V12) % 0.21/0.50 | -p(V308) ) % 0.21/0.50 & ( -p(V206) % 0.21/0.50 | p(V52) ) % 0.21/0.50 & ( -p(V448) % 0.21/0.50 | -p(V115) ) % 0.21/0.50 & ( -p(V125) % 0.21/0.50 | -p(V126) ) % 0.21/0.50 & ( -p(V114) % 0.21/0.50 | p(V459) ) % 0.21/0.50 & ( -p(V71) % 0.21/0.50 | -p(V72) ) % 0.21/0.50 & ( -p(V70) % 0.21/0.50 | p(V317) % 0.21/0.50 | p(V13) % 0.21/0.50 | -p(V10) ) % 0.21/0.50 & ( -p(V87) % 0.21/0.50 | -p(V103) ) % 0.21/0.50 & ( -p(V70) % 0.21/0.50 | -p(V270) ) % 0.21/0.50 & ( -p(V83) % 0.21/0.50 | -p(V84) ) % 0.21/0.50 & ( p(V20) % 0.21/0.50 | -p(V94) % 0.21/0.50 | p(V410) % 0.21/0.50 | -p(V19) ) % 0.21/0.50 & ( -p(V461) % 0.21/0.50 | -p(V107) ) % 0.21/0.50 & ( -p(V69) % 0.21/0.50 | -p(V62) ) % 0.21/0.50 & ( -p(V511) % 0.21/0.50 | -p(V29) ) % 0.21/0.50 & ( p(V215) % 0.21/0.50 | p(V5) % 0.21/0.50 | -p(V2) % 0.21/0.50 | -p(V49) ) % 0.21/0.50 & ( p(V13) % 0.21/0.50 | -p(V9) % 0.21/0.50 | p(V318) % 0.21/0.50 | -p(V65) ) % 0.21/0.50 & ( -p(V321) % 0.21/0.50 | p(V80) ) % 0.21/0.50 & ( p(V356) % 0.21/0.50 | -p(V92) ) % 0.21/0.50 & ( -p(V13) % 0.21/0.50 | -p(V21) % 0.21/0.50 | -p(V80) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( p(V139) % 0.21/0.50 | -p(V53) ) % 0.21/0.50 & ( p(V265) % 0.21/0.50 | -p(V264) ) % 0.21/0.50 & ( -p(V74) % 0.21/0.50 | p(V280) ) % 0.21/0.50 & ( -p(V22) % 0.21/0.50 | -p(V422) ) % 0.21/0.50 & ( p(V248) % 0.21/0.50 | -p(V68) ) % 0.21/0.50 & ( -p(V41) % 0.21/0.50 | p(V2) % 0.21/0.50 | p(V195) % 0.21/0.50 | -p(V1) ) % 0.21/0.50 & ( p(V97) % 0.21/0.50 | -p(V432) ) % 0.21/0.50 & ( -p(V52) % 0.21/0.50 | -p(V48) ) % 0.21/0.50 & ( -p(V471) % 0.21/0.50 | -p(V113) ) % 0.21/0.50 & ( -p(V184) % 0.21/0.50 | -p(V44) ) % 0.21/0.50 & ( p(V22) % 0.21/0.50 | p(V415) % 0.21/0.50 | -p(V99) % 0.21/0.50 | -p(V20) ) % 0.21/0.50 & ( p(V309) % 0.21/0.50 | p(V311) % 0.21/0.50 | p(V12) % 0.21/0.50 | p(V310) % 0.21/0.50 | -p(V20) ) % 0.21/0.50 & ( -p(V56) % 0.21/0.50 | -p(V53) ) % 0.21/0.50 & ( -p(V191) % 0.21/0.50 | -p(V5) ) % 0.21/0.50 & ( p(V19) % 0.21/0.50 | p(V308) % 0.21/0.50 | p(V306) % 0.21/0.50 | -p(V11) % 0.21/0.50 | p(V305) % 0.21/0.50 | p(V307) ) % 0.21/0.50 & ( -p(V9) % 0.21/0.50 | -p(V66) % 0.21/0.50 | p(V22) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( p(V417) % 0.21/0.50 | -p(V20) % 0.21/0.50 | -p(V98) % 0.21/0.50 | p(V21) ) % 0.21/0.50 & ( -p(V134) % 0.21/0.50 | -p(V54) ) % 0.21/0.50 & ( -p(V425) % 0.21/0.50 | p(V96) ) % 0.21/0.50 & ( -p(V43) % 0.21/0.50 | p(V142) ) % 0.21/0.50 & ( p(V18) % 0.21/0.50 | -p(V402) ) % 0.21/0.50 & ( -p(V159) % 0.21/0.50 | p(V160) ) % 0.21/0.50 & ( p(V341) % 0.21/0.50 | -p(V101) ) % 0.21/0.50 & ( p(V306) % 0.21/0.50 | -p(V11) % 0.21/0.50 | -p(V75) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( p(V509) % 0.21/0.50 | -p(V27) % 0.21/0.50 | p(V512) % 0.21/0.50 | p(V511) % 0.21/0.50 | p(V35) % 0.21/0.50 | p(V510) ) % 0.21/0.50 & ( -p(V77) % 0.21/0.50 | -p(V273) ) % 0.21/0.50 & ( -p(V401) % 0.21/0.50 | p(V92) ) % 0.21/0.50 & ( p(V17) % 0.21/0.50 | -p(V393) ) % 0.21/0.50 & ( -p(V492) % 0.21/0.50 | -p(V105) ) % 0.21/0.50 & ( -p(V81) % 0.21/0.50 | p(V261) ) % 0.21/0.50 & ( p(V17) % 0.21/0.50 | -p(V420) ) % 0.21/0.50 & ( -p(V87) % 0.21/0.50 | -p(V88) ) % 0.21/0.50 & ( -p(V499) % 0.21/0.50 | -p(V27) ) % 0.21/0.50 & ( -p(V382) % 0.21/0.50 | -p(V94) ) % 0.21/0.50 & ( -p(V97) % 0.21/0.50 | -p(V350) ) % 0.21/0.50 & ( -p(V397) % 0.21/0.50 | p(V84) ) % 0.21/0.50 & ( -p(V56) % 0.21/0.50 | p(V175) ) % 0.21/0.50 & ( -p(V119) % 0.21/0.50 | -p(V445) ) % 0.21/0.50 & ( -p(V44) % 0.21/0.50 | -p(V1) % 0.21/0.50 | p(V13) % 0.21/0.50 | p(V5) ) % 0.21/0.50 & ( p(V19) % 0.21/0.50 | -p(V408) ) % 0.21/0.50 & ( -p(V526) % 0.21/0.50 | -p(V30) ) % 0.21/0.50 & ( -p(V225) % 0.21/0.50 | p(V6) ) % 0.21/0.50 & ( -p(V74) % 0.21/0.50 | -p(V77) ) % 0.21/0.50 & ( -p(V75) % 0.21/0.50 | -p(V11) % 0.21/0.50 | -p(V19) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( -p(V166) % 0.21/0.50 | p(V167) ) % 0.21/0.50 & ( -p(V42) % 0.21/0.50 | p(V3) % 0.21/0.50 | p(V202) % 0.21/0.50 | -p(V1) ) % 0.21/0.50 & ( -p(V306) % 0.21/0.50 | p(V11) ) % 0.21/0.50 & ( p(V470) % 0.21/0.50 | -p(V122) ) % 0.21/0.50 & ( -p(V76) % 0.21/0.50 | p(V279) ) % 0.21/0.50 & ( -p(V118) % 0.21/0.50 | -p(V454) ) % 0.21/0.50 & ( -p(V186) % 0.21/0.50 | -p(V42) ) % 0.21/0.50 & ( -p(V110) % 0.21/0.50 | p(V489) ) % 0.21/0.50 & ( -p(V522) % 0.21/0.50 | -p(V29) ) % 0.21/0.50 & ( -p(V45) % 0.21/0.50 | p(V167) ) % 0.21/0.50 & ( p(V347) % 0.21/0.50 | -p(V94) ) % 0.21/0.50 & ( p(V485) % 0.21/0.50 | -p(V115) ) % 0.21/0.50 & ( -p(V488) % 0.21/0.50 | -p(V110) ) % 0.21/0.50 & ( -p(V23) % 0.21/0.50 | -p(V421) ) % 0.21/0.50 & ( -p(V220) % 0.21/0.50 | p(V57) ) % 0.21/0.50 & ( p(V20) % 0.21/0.50 | p(V413) % 0.21/0.50 | -p(V17) % 0.21/0.50 | -p(V85) ) % 0.21/0.50 & ( -p(V238) % 0.21/0.50 | -p(V80) ) % 0.21/0.50 & ( -p(V115) % 0.21/0.50 | -p(V116) ) % 0.21/0.50 & ( -p(V534) % 0.21/0.50 | -p(V31) ) % 0.21/0.50 & ( -p(V214) % 0.21/0.50 | p(V53) ) % 0.21/0.50 & ( -p(V441) % 0.21/0.50 | p(V442) ) % 0.21/0.50 & ( -p(V7) % 0.21/0.50 | -p(V217) ) % 0.21/0.50 & ( -p(V91) % 0.21/0.50 | -p(V86) ) % 0.21/0.50 & ( p(V2) % 0.21/0.50 | -p(V215) ) % 0.21/0.50 & ( p(V19) % 0.21/0.50 | -p(V84) % 0.21/0.50 | -p(V17) % 0.21/0.50 | p(V397) ) % 0.21/0.50 & ( p(V28) % 0.21/0.50 | p(V513) % 0.21/0.50 | -p(V27) % 0.21/0.50 | -p(V115) ) % 0.21/0.50 & ( -p(V276) % 0.21/0.50 | p(V277) ) % 0.21/0.50 & ( -p(V81) % 0.21/0.50 | -p(V80) ) % 0.21/0.50 & ( -p(V7) % 0.21/0.50 | -p(V189) ) % 0.21/0.50 & ( -p(V400) % 0.21/0.50 | p(V93) ) % 0.21/0.50 & ( -p(V212) % 0.21/0.50 | -p(V5) ) % 0.21/0.50 & ( -p(V76) % 0.21/0.50 | -p(V250) ) % 0.21/0.50 & ( -p(V22) % 0.21/0.50 | -p(V426) ) % 0.21/0.50 & ( -p(V319) % 0.21/0.50 | p(V13) ) % 0.21/0.50 & ( -p(V95) % 0.21/0.50 | -p(V94) ) % 0.21/0.50 & ( p(V433) % 0.21/0.50 | p(V23) % 0.21/0.50 | p(V432) % 0.21/0.50 | p(V429) % 0.21/0.50 | p(V434) % 0.21/0.50 | -p(V31) % 0.21/0.50 | p(V430) % 0.21/0.50 | p(V431) ) % 0.21/0.50 & ( -p(V185) % 0.21/0.50 | -p(V43) ) % 0.21/0.50 & ( -p(V111) % 0.21/0.50 | -p(V481) ) % 0.21/0.50 & ( -p(V107) % 0.21/0.50 | p(V476) ) % 0.21/0.50 & ( -p(V264) % 0.21/0.50 | -p(V67) ) % 0.21/0.50 & ( -p(V83) % 0.21/0.50 | p(V399) % 0.21/0.50 | p(V18) % 0.21/0.50 | -p(V17) ) % 0.21/0.50 & ( p(V56) % 0.21/0.50 | -p(V213) ) % 0.21/0.50 & ( -p(V497) % 0.21/0.50 | p(V25) ) % 0.21/0.50 & ( -p(V81) % 0.21/0.50 | p(V243) ) % 0.21/0.50 & ( -p(V71) % 0.21/0.50 | p(V14) % 0.21/0.50 | -p(V10) % 0.21/0.50 | p(V324) ) % 0.21/0.50 & ( -p(V61) % 0.21/0.50 | p(V159) ) % 0.21/0.50 & ( -p(V413) % 0.21/0.50 | p(V85) ) % 0.21/0.50 & ( -p(V320) % 0.21/0.50 | -p(V14) ) % 0.21/0.50 & ( p(V21) % 0.21/0.50 | p(V416) % 0.21/0.50 | -p(V98) % 0.21/0.50 | -p(V20) ) % 0.21/0.50 & ( -p(V94) % 0.21/0.50 | -p(V379) ) % 0.21/0.50 & ( -p(V17) % 0.21/0.50 | -p(V25) % 0.21/0.50 | p(V22) % 0.21/0.50 | -p(V87) ) % 0.21/0.50 & ( p(V7) % 0.21/0.50 | -p(V5) % 0.21/0.50 | p(V217) % 0.21/0.50 | -p(V60) ) % 0.21/0.50 & ( -p(V81) % 0.21/0.50 | -p(V82) ) % 0.21/0.50 & ( -p(V64) % 0.21/0.50 | -p(V69) ) % 0.21/0.50 & ( p(V232) % 0.21/0.50 | -p(V231) ) % 0.21/0.50 & ( -p(V37) % 0.21/0.50 | p(V38) ) % 0.21/0.50 & ( -p(V324) % 0.21/0.50 | p(V71) ) % 0.21/0.50 & ( p(V488) % 0.21/0.50 | -p(V487) ) % 0.21/0.50 & ( p(V108) % 0.21/0.50 | -p(V529) ) % 0.21/0.50 & ( p(V11) % 0.21/0.50 | -p(V316) ) % 0.21/0.50 & ( -p(V415) % 0.21/0.50 | p(V20) ) % 0.21/0.50 & ( p(V6) % 0.21/0.50 | -p(V224) ) % 0.21/0.50 & ( -p(V257) % 0.21/0.50 | p(V258) ) % 0.21/0.50 & ( p(V10) % 0.21/0.50 | -p(V299) ) % 0.21/0.50 & ( -p(V74) % 0.21/0.50 | p(V249) ) % 0.21/0.50 & ( -p(V221) % 0.21/0.50 | p(V54) ) % 0.21/0.50 & ( -p(V91) % 0.21/0.50 | p(V385) ) % 0.21/0.50 & ( p(V314) % 0.21/0.50 | p(V20) % 0.21/0.50 | p(V313) % 0.21/0.50 | p(V312) % 0.21/0.50 | -p(V12) ) % 0.21/0.50 & ( -p(V46) % 0.21/0.50 | p(V230) % 0.21/0.50 | -p(V1) % 0.21/0.50 | p(V7) ) % 0.21/0.50 & ( p(V12) % 0.21/0.50 | -p(V329) ) % 0.21/0.50 & ( -p(V95) % 0.21/0.50 | -p(V375) ) % 0.21/0.50 & ( p(V12) % 0.21/0.50 | p(V20) % 0.21/0.50 | -p(V73) % 0.21/0.50 | -p(V11) ) % 0.21/0.50 & ( -p(V267) % 0.21/0.50 | -p(V71) ) % 0.21/0.50 & ( -p(V28) % 0.21/0.50 | p(V38) % 0.21/0.50 | p(V30) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( -p(V78) % 0.21/0.50 | p(V14) % 0.21/0.50 | p(V322) % 0.21/0.50 | -p(V12) ) % 0.21/0.50 & ( -p(V124) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( -p(V93) % 0.21/0.50 | -p(V356) ) % 0.21/0.50 & ( p(V18) % 0.21/0.50 | -p(V403) ) % 0.21/0.50 & ( -p(V31) % 0.21/0.50 | -p(V532) ) % 0.21/0.50 & ( -p(V385) % 0.21/0.50 | -p(V90) ) % 0.21/0.50 & ( p(V25) % 0.21/0.50 | -p(V498) ) % 0.21/0.50 & ( -p(V48) % 0.21/0.50 | p(V172) ) % 0.21/0.50 & ( -p(V486) % 0.21/0.50 | p(V487) ) % 0.21/0.50 & ( -p(V102) % 0.21/0.50 | -p(V101) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | p(V316) % 0.21/0.50 | -p(V74) % 0.21/0.50 | p(V13) ) % 0.21/0.50 & ( -p(V22) % 0.21/0.50 | -p(V394) ) % 0.21/0.50 & ( -p(V401) % 0.21/0.50 | p(V18) ) % 0.21/0.50 & ( -p(V116) % 0.21/0.50 | p(V29) % 0.21/0.50 | p(V511) % 0.21/0.50 | -p(V27) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V90) % 0.21/0.50 | p(V403) % 0.21/0.50 | p(V20) ) % 0.21/0.50 & ( p(V407) % 0.21/0.50 | p(V410) % 0.21/0.50 | p(V409) % 0.21/0.50 | p(V408) % 0.21/0.50 | -p(V19) % 0.21/0.50 | p(V27) ) % 0.21/0.50 & ( -p(V109) % 0.21/0.50 | -p(V463) ) % 0.21/0.50 & ( p(V113) % 0.21/0.50 | -p(V503) ) % 0.21/0.50 & ( -p(V528) % 0.21/0.50 | p(V113) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | -p(V302) ) % 0.21/0.50 & ( p(V14) % 0.21/0.50 | -p(V5) % 0.21/0.50 | -p(V59) % 0.21/0.50 | p(V6) ) % 0.21/0.50 & ( -p(V418) % 0.21/0.50 | p(V19) ) % 0.21/0.50 & ( -p(V90) % 0.21/0.50 | -p(V89) ) % 0.21/0.50 & ( p(V5) % 0.21/0.50 | -p(V4) % 0.21/0.50 | p(V212) % 0.21/0.50 | -p(V56) ) % 0.21/0.50 & ( p(V375) % 0.21/0.50 | -p(V102) ) % 0.21/0.50 & ( p(V144) % 0.21/0.50 | -p(V56) ) % 0.21/0.50 & ( -p(V73) % 0.21/0.50 | p(V249) ) % 0.21/0.50 & ( -p(V228) % 0.21/0.50 | -p(V7) ) % 0.21/0.50 & ( -p(V24) % 0.21/0.50 | p(V32) ) % 0.21/0.50 & ( -p(V444) % 0.21/0.50 | p(V445) ) % 0.21/0.50 & ( -p(V420) % 0.21/0.50 | -p(V21) ) % 0.21/0.50 & ( -p(V139) % 0.21/0.50 | p(V140) ) % 0.21/0.50 & ( p(V286) % 0.21/0.50 | -p(V66) ) % 0.21/0.50 & ( -p(V409) % 0.21/0.50 | -p(V21) ) % 0.21/0.50 & ( p(V26) % 0.21/0.50 | -p(V505) ) % 0.21/0.50 & ( -p(V2) % 0.21/0.50 | p(V3) % 0.21/0.50 | -p(V47) % 0.21/0.50 | p(V200) ) % 0.21/0.50 & ( -p(V375) % 0.21/0.50 | -p(V86) ) % 0.21/0.50 & ( -p(V361) % 0.21/0.50 | p(V362) ) % 0.21/0.50 & ( -p(V295) % 0.21/0.50 | p(V9) ) % 0.21/0.50 & ( -p(V136) % 0.21/0.50 | -p(V59) ) % 0.21/0.50 & ( -p(V46) % 0.21/0.50 | p(V7) % 0.21/0.50 | -p(V9) % 0.21/0.50 | -p(V1) ) % 0.21/0.50 & ( -p(V331) % 0.21/0.50 | p(V72) ) % 0.21/0.50 & ( -p(V96) % 0.21/0.50 | -p(V338) ) % 0.21/0.50 & ( -p(V109) % 0.21/0.50 | p(V31) % 0.21/0.50 | p(V39) % 0.21/0.50 | -p(V25) ) % 0.21/0.50 & ( -p(V258) % 0.21/0.50 | -p(V66) ) % 0.21/0.50 & ( -p(V91) % 0.21/0.50 | p(V342) ) % 0.21/0.50 & ( -p(V96) % 0.21/0.50 | p(V381) ) % 0.21/0.50 & ( -p(V6) % 0.21/0.50 | -p(V190) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V92) % 0.21/0.50 | p(V22) % 0.21/0.50 | p(V30) ) % 0.21/0.50 & ( -p(V360) % 0.21/0.50 | -p(V87) ) % 0.21/0.50 & ( -p(V504) % 0.21/0.50 | p(V26) ) % 0.21/0.50 & ( -p(V532) % 0.21/0.50 | p(V123) ) % 0.21/0.50 & ( -p(V480) % 0.21/0.50 | p(V481) ) % 0.21/0.50 & ( -p(V57) % 0.21/0.50 | p(V6) % 0.21/0.50 | p(V14) % 0.21/0.50 | -p(V4) ) % 0.21/0.50 & ( p(V515) % 0.21/0.50 | -p(V25) % 0.21/0.50 | -p(V106) % 0.21/0.50 | p(V28) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V15) ) % 0.21/0.50 & ( p(V136) % 0.21/0.50 | -p(V57) ) % 0.21/0.50 & ( -p(V110) % 0.21/0.50 | p(V452) ) % 0.21/0.50 & ( -p(V112) % 0.21/0.50 | p(V487) ) % 0.21/0.50 & ( -p(V93) % 0.21/0.50 | p(V333) ) % 0.21/0.50 & ( -p(V396) % 0.21/0.50 | p(V17) ) % 0.21/0.50 & ( -p(V246) % 0.21/0.50 | -p(V79) ) % 0.21/0.50 & ( -p(V103) % 0.21/0.50 | -p(V96) ) % 0.21/0.50 & ( -p(V71) % 0.21/0.50 | -p(V62) ) % 0.21/0.50 & ( p(V21) % 0.21/0.50 | -p(V17) % 0.21/0.50 | -p(V86) % 0.21/0.50 | p(V395) ) % 0.21/0.50 & ( p(V22) % 0.21/0.50 | -p(V87) % 0.21/0.50 | p(V30) % 0.21/0.50 | -p(V17) ) % 0.21/0.50 & ( -p(V28) % 0.21/0.50 | -p(V121) % 0.21/0.50 | p(V516) % 0.21/0.50 | p(V31) ) % 0.21/0.50 & ( p(V25) % 0.21/0.50 | -p(V515) ) % 0.21/0.50 & ( -p(V499) % 0.21/0.50 | p(V105) ) % 0.21/0.50 & ( -p(V102) % 0.21/0.50 | p(V345) ) % 0.21/0.50 & ( -p(V3) % 0.21/0.50 | -p(V201) ) % 0.21/0.50 & ( -p(V517) % 0.21/0.50 | p(V120) ) % 0.21/0.50 & ( -p(V125) % 0.21/0.50 | p(V127) ) % 0.21/0.50 & ( -p(V156) % 0.21/0.50 | -p(V45) ) % 0.21/0.50 & ( p(V13) % 0.21/0.50 | -p(V2) % 0.21/0.50 | p(V5) % 0.21/0.50 | -p(V49) ) % 0.21/0.50 & ( -p(V502) % 0.21/0.50 | -p(V31) ) % 0.21/0.50 & ( -p(V132) % 0.21/0.50 | -p(V61) ) % 0.21/0.50 & ( p(V138) % 0.21/0.50 | -p(V44) ) % 0.21/0.50 & ( -p(V500) % 0.21/0.50 | p(V25) ) % 0.21/0.50 & ( -p(V91) % 0.21/0.50 | -p(V372) ) % 0.21/0.50 & ( p(V154) % 0.21/0.50 | -p(V42) ) % 0.21/0.50 & ( -p(V354) % 0.21/0.50 | p(V355) ) % 0.21/0.50 & ( p(V392) % 0.21/0.50 | -p(V83) ) % 0.21/0.50 & ( p(V182) % 0.21/0.50 | -p(V181) ) % 0.21/0.50 & ( -p(V215) % 0.21/0.50 | -p(V5) ) % 0.21/0.50 & ( p(V231) % 0.21/0.50 | -p(V67) ) % 0.21/0.50 & ( -p(V513) % 0.21/0.50 | p(V115) ) % 0.21/0.50 & ( -p(V112) % 0.21/0.50 | -p(V474) ) % 0.21/0.50 & ( p(V336) % 0.21/0.50 | -p(V102) ) % 0.21/0.50 & ( -p(V117) % 0.21/0.50 | -p(V124) ) % 0.21/0.50 & ( -p(V364) % 0.21/0.50 | -p(V97) ) % 0.21/0.50 & ( -p(V27) % 0.21/0.50 | p(V527) % 0.21/0.50 | p(V30) % 0.21/0.50 | -p(V117) ) % 0.21/0.50 & ( -p(V385) % 0.21/0.50 | p(V386) ) % 0.21/0.50 & ( -p(V19) % 0.21/0.50 | -p(V406) ) % 0.21/0.50 & ( p(V178) % 0.21/0.50 | -p(V177) ) % 0.21/0.50 & ( -p(V400) % 0.21/0.50 | -p(V23) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V93) % 0.21/0.50 | p(V433) % 0.21/0.50 | p(V23) ) % 0.21/0.50 & ( -p(V509) % 0.21/0.50 | p(V118) ) % 0.21/0.50 & ( -p(V108) % 0.21/0.50 | p(V38) % 0.21/0.50 | -p(V25) % 0.21/0.50 | p(V30) ) % 0.21/0.50 & ( -p(V200) % 0.21/0.50 | p(V2) ) % 0.21/0.50 & ( -p(V115) % 0.21/0.50 | p(V478) ) % 0.21/0.50 & ( -p(V82) % 0.21/0.50 | -p(V80) ) % 0.21/0.50 & ( p(V280) % 0.21/0.50 | -p(V279) ) % 0.21/0.50 & ( -p(V228) % 0.21/0.50 | p(V55) ) % 0.21/0.50 & ( -p(V82) % 0.21/0.50 | p(V261) ) % 0.21/0.50 & ( -p(V43) % 0.21/0.50 | p(V186) ) % 0.21/0.50 & ( -p(V97) % 0.21/0.50 | -p(V96) ) % 0.21/0.50 & ( p(V375) % 0.21/0.50 | -p(V101) ) % 0.21/0.50 & ( -p(V225) % 0.21/0.50 | -p(V7) ) % 0.21/0.50 & ( p(V454) % 0.21/0.50 | -p(V117) ) % 0.21/0.50 & ( p(V373) % 0.21/0.50 | -p(V372) ) % 0.21/0.50 & ( -p(V12) % 0.21/0.50 | p(V13) % 0.21/0.50 | -p(V77) % 0.21/0.50 | p(V21) ) % 0.21/0.50 & ( p(V459) % 0.21/0.50 | -p(V458) ) % 0.21/0.50 & ( p(V28) % 0.21/0.50 | -p(V533) ) % 0.21/0.50 & ( -p(V123) % 0.21/0.50 | p(V523) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V29) ) % 0.21/0.50 & ( -p(V54) % 0.21/0.50 | -p(V55) ) % 0.21/0.50 & ( p(V4) % 0.21/0.50 | -p(V52) % 0.21/0.50 | p(V206) % 0.21/0.50 | -p(V3) ) % 0.21/0.50 & ( -p(V384) % 0.21/0.50 | -p(V91) ) % 0.21/0.50 & ( p(V18) % 0.21/0.50 | -p(V404) ) % 0.21/0.50 & ( p(V1) % 0.21/0.50 | -p(V9) ) % 0.21/0.50 & ( -p(V395) % 0.21/0.50 | p(V17) ) % 0.21/0.50 & ( -p(V89) % 0.21/0.50 | -p(V83) ) % 0.21/0.50 & ( p(V473) % 0.21/0.50 | -p(V108) ) % 0.21/0.50 & ( -p(V487) % 0.21/0.50 | -p(V111) ) % 0.21/0.50 & ( p(V82) % 0.21/0.50 | -p(V327) ) % 0.21/0.50 & ( -p(V25) % 0.21/0.50 | -p(V108) % 0.21/0.50 | p(V30) % 0.21/0.50 | p(V496) ) % 0.21/0.50 & ( -p(V458) % 0.21/0.50 | -p(V114) ) % 0.21/0.50 & ( -p(V78) % 0.21/0.50 | -p(V82) ) % 0.21/0.50 & ( -p(V81) % 0.21/0.50 | p(V328) % 0.21/0.50 | -p(V13) % 0.21/0.50 | p(V15) ) % 0.21/0.50 & ( -p(V6) % 0.21/0.50 | -p(V204) ) % 0.21/0.50 & ( -p(V509) % 0.21/0.50 | p(V27) ) % 0.21/0.50 & ( p(V12) % 0.21/0.50 | -p(V64) % 0.21/0.50 | -p(V9) % 0.21/0.50 | p(V311) ) % 0.21/0.50 & ( p(V176) % 0.21/0.50 | -p(V47) ) % 0.21/0.50 & ( -p(V517) % 0.21/0.50 | -p(V30) ) % 0.21/0.50 & ( p(V241) % 0.21/0.50 | -p(V240) ) % 0.21/0.50 & ( -p(V71) % 0.21/0.50 | -p(V253) ) % 0.21/0.50 & ( -p(V28) % 0.21/0.50 | -p(V515) ) % 0.21/0.50 & ( -p(V232) % 0.21/0.50 | -p(V79) ) % 0.21/0.50 & ( -p(V178) % 0.21/0.50 | -p(V52) ) % 0.21/0.50 & ( -p(V462) % 0.21/0.50 | p(V463) ) % 0.21/0.50 & ( p(V368) % 0.21/0.50 | -p(V101) ) % 0.21/0.50 & ( -p(V310) % 0.21/0.50 | p(V10) ) % 0.21/0.50 & ( -p(V239) % 0.21/0.50 | -p(V82) ) % 0.21/0.50 & ( -p(V320) % 0.21/0.50 | p(V80) ) % 0.21/0.50 & ( -p(V83) % 0.21/0.50 | -p(V92) ) % 0.21/0.50 & ( -p(V94) % 0.21/0.50 | -p(V19) % 0.21/0.50 | p(V411) % 0.21/0.50 | p(V20) ) % 0.21/0.50 & ( -p(V131) % 0.21/0.50 | p(V132) ) % 0.21/0.50 & ( -p(V47) % 0.21/0.50 | -p(V42) ) % 0.21/0.50 & ( p(V94) % 0.21/0.50 | -p(V410) ) % 0.21/0.50 & ( p(V353) % 0.21/0.50 | -p(V97) ) % 0.21/0.50 & ( -p(V77) % 0.21/0.50 | p(V277) ) % 0.21/0.50 & ( -p(V92) % 0.21/0.50 | -p(V93) ) % 0.21/0.50 & ( -p(V405) % 0.21/0.50 | p(V18) ) % 0.21/0.50 & ( -p(V71) % 0.21/0.50 | -p(V82) ) % 0.21/0.50 & ( -p(V138) % 0.21/0.50 | p(V139) ) % 0.21/0.50 & ( -p(V85) % 0.21/0.50 | -p(V389) ) % 0.21/0.50 & ( -p(V60) % 0.21/0.50 | p(V132) ) % 0.21/0.50 & ( -p(V519) % 0.21/0.50 | -p(V29) ) % 0.21/0.50 & ( -p(V148) % 0.21/0.50 | -p(V55) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V10) % 0.21/0.50 | -p(V72) % 0.21/0.50 | p(V15) ) % 0.21/0.50 & ( p(V458) % 0.21/0.50 | -p(V113) ) % 0.21/0.50 & ( -p(V273) % 0.21/0.50 | -p(V70) ) % 0.21/0.50 & ( p(V19) % 0.21/0.50 | p(V404) % 0.21/0.50 | -p(V89) % 0.21/0.50 | -p(V18) ) % 0.21/0.50 & ( p(V233) % 0.21/0.50 | -p(V232) ) % 0.21/0.50 & ( p(V173) % 0.21/0.50 | -p(V172) ) % 0.21/0.50 & ( -p(V323) % 0.21/0.50 | -p(V14) ) % 0.21/0.50 & ( p(V143) % 0.21/0.50 | -p(V142) ) % 0.21/0.50 & ( -p(V13) % 0.21/0.50 | -p(V314) ) % 0.21/0.50 & ( p(V12) % 0.21/0.50 | -p(V48) % 0.21/0.50 | p(V4) % 0.21/0.50 | -p(V2) ) % 0.21/0.50 & ( -p(V15) % 0.21/0.50 | -p(V329) ) % 0.21/0.50 & ( -p(V254) % 0.21/0.50 | -p(V72) ) % 0.21/0.50 & ( p(V51) % 0.21/0.50 | -p(V229) ) % 0.21/0.50 & ( p(V67) % 0.21/0.50 | -p(V291) ) % 0.21/0.50 & ( p(V259) % 0.21/0.50 | -p(V66) ) % 0.21/0.50 & ( -p(V118) % 0.21/0.50 | -p(V452) ) % 0.21/0.50 & ( -p(V32) % 0.21/0.50 | p(V40) ) % 0.21/0.50 & ( -p(V441) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( p(V481) % 0.21/0.50 | -p(V119) ) % 0.21/0.50 & ( p(V10) % 0.21/0.50 | -p(V301) ) % 0.21/0.50 & ( p(V111) % 0.21/0.50 | -p(V505) ) % 0.21/0.50 & ( -p(V64) % 0.21/0.50 | p(V288) ) % 0.21/0.50 & ( -p(V58) % 0.21/0.50 | p(V131) ) % 0.21/0.50 & ( -p(V80) % 0.21/0.50 | p(V320) % 0.21/0.50 | p(V14) % 0.21/0.50 | -p(V13) ) % 0.21/0.50 & ( -p(V365) % 0.21/0.50 | -p(V93) ) % 0.21/0.50 & ( p(V103) % 0.21/0.50 | -p(V429) ) % 0.21/0.50 & ( p(V18) % 0.21/0.50 | -p(V419) ) % 0.21/0.50 & ( p(V158) % 0.21/0.50 | -p(V157) ) % 0.21/0.50 & ( p(V402) % 0.21/0.50 | -p(V91) % 0.21/0.50 | -p(V18) % 0.21/0.50 | p(V21) ) % 0.21/0.50 & ( -p(V21) % 0.21/0.50 | -p(V102) % 0.21/0.50 | -p(V29) % 0.21/0.50 | p(V23) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | -p(V110) % 0.21/0.50 | p(V507) % 0.21/0.50 | p(V27) ) % 0.21/0.50 & ( p(V422) % 0.21/0.50 | p(V29) % 0.21/0.50 | -p(V21) % 0.21/0.50 | p(V421) ) % 0.21/0.50 & ( -p(V71) % 0.21/0.50 | -p(V66) ) % 0.21/0.50 & ( -p(V490) % 0.21/0.50 | p(V491) ) % 0.21/0.50 & ( p(V27) % 0.21/0.50 | -p(V511) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | -p(V501) ) % 0.21/0.50 & ( p(V237) % 0.21/0.50 | -p(V75) ) % 0.21/0.50 & ( p(V374) % 0.21/0.50 | -p(V373) ) % 0.21/0.50 & ( -p(V113) % 0.21/0.50 | -p(V124) ) % 0.21/0.50 & ( p(V47) % 0.21/0.50 | -p(V201) ) % 0.21/0.50 & ( -p(V28) % 0.21/0.50 | -p(V36) % 0.21/0.50 | p(V30) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( -p(V68) % 0.21/0.50 | -p(V69) ) % 0.21/0.50 & ( p(V34) % 0.21/0.50 | -p(V104) % 0.21/0.50 | -p(V25) % 0.21/0.50 | p(V26) ) % 0.21/0.50 & ( -p(V521) % 0.21/0.50 | p(V26) ) % 0.21/0.50 & ( p(V246) % 0.21/0.50 | -p(V78) ) % 0.21/0.50 & ( -p(V68) % 0.21/0.50 | p(V303) % 0.21/0.50 | p(V11) % 0.21/0.50 | -p(V10) ) % 0.21/0.50 & ( -p(V113) % 0.21/0.50 | -p(V457) ) % 0.21/0.50 & ( -p(V65) % 0.21/0.50 | -p(V257) ) % 0.21/0.50 & ( p(V128) % 0.21/0.50 | -p(V127) ) % 0.21/0.50 & ( -p(V287) % 0.21/0.50 | -p(V64) ) % 0.21/0.50 & ( -p(V72) % 0.21/0.50 | -p(V263) ) % 0.21/0.50 & ( -p(V524) % 0.21/0.50 | p(V122) ) % 0.21/0.50 & ( -p(V522) % 0.21/0.50 | p(V25) ) % 0.21/0.50 & ( -p(V194) % 0.21/0.50 | p(V41) ) % 0.21/0.50 & ( -p(V71) % 0.21/0.50 | p(V282) ) % 0.21/0.50 & ( p(V264) % 0.21/0.50 | -p(V72) ) % 0.21/0.50 & ( -p(V403) % 0.21/0.50 | p(V90) ) % 0.21/0.50 & ( -p(V210) % 0.21/0.50 | p(V4) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | p(V15) % 0.21/0.50 | -p(V81) % 0.21/0.50 | -p(V13) ) % 0.21/0.50 & ( -p(V108) % 0.21/0.50 | -p(V113) ) % 0.21/0.50 & ( -p(V5) % 0.21/0.50 | p(V219) % 0.21/0.50 | p(V6) % 0.21/0.50 | -p(V59) ) % 0.21/0.50 & ( -p(V119) % 0.21/0.50 | p(V29) % 0.21/0.50 | -p(V36) % 0.21/0.50 | -p(V28) ) % 0.21/0.50 & ( p(V236) % 0.21/0.50 | -p(V71) ) % 0.21/0.50 & ( p(V359) % 0.21/0.50 | -p(V358) ) % 0.21/0.50 & ( p(V11) % 0.21/0.50 | -p(V47) % 0.21/0.50 | p(V3) % 0.21/0.50 | -p(V2) ) % 0.21/0.50 & ( -p(V67) % 0.21/0.50 | p(V286) ) % 0.21/0.50 & ( p(V239) % 0.21/0.50 | -p(V80) ) % 0.21/0.50 & ( -p(V2) % 0.21/0.50 | p(V229) % 0.21/0.50 | -p(V51) % 0.21/0.50 | p(V7) ) % 0.21/0.50 & ( -p(V223) % 0.21/0.50 | -p(V6) ) % 0.21/0.50 & ( -p(V116) % 0.21/0.50 | p(V445) ) % 0.21/0.50 & ( p(V30) % 0.21/0.50 | -p(V113) % 0.21/0.50 | -p(V34) % 0.21/0.50 | -p(V26) ) % 0.21/0.50 & ( p(V268) % 0.21/0.50 | -p(V71) ) % 0.21/0.50 & ( -p(V452) % 0.21/0.50 | -p(V115) ) % 0.21/0.50 & ( -p(V90) % 0.21/0.50 | -p(V85) ) % 0.21/0.50 & ( -p(V70) % 0.21/0.50 | p(V21) % 0.21/0.50 | -p(V10) % 0.21/0.50 | p(V13) ) % 0.21/0.50 & ( p(V102) % 0.21/0.50 | -p(V421) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | -p(V93) % 0.21/0.50 | p(V23) % 0.21/0.50 | -p(V18) ) % 0.21/0.50 & ( -p(V296) % 0.21/0.50 | -p(V10) ) % 0.21/0.50 & ( -p(V50) % 0.21/0.50 | p(V166) ) % 0.21/0.50 & ( p(V352) % 0.21/0.50 | -p(V351) ) % 0.21/0.50 & ( -p(V47) % 0.21/0.50 | p(V146) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V19) % 0.21/0.50 | -p(V97) % 0.21/0.50 | -p(V27) ) % 0.21/0.50 & ( -p(V89) % 0.21/0.50 | -p(V26) % 0.21/0.50 | -p(V18) % 0.21/0.50 | p(V19) ) % 0.21/0.50 & ( p(V12) % 0.21/0.50 | p(V211) % 0.21/0.50 | -p(V4) % 0.21/0.50 | p(V210) % 0.21/0.50 | p(V212) ) % 0.21/0.50 & ( -p(V121) % 0.21/0.50 | -p(V449) ) % 0.21/0.50 & ( -p(V322) % 0.21/0.50 | p(V78) ) % 0.21/0.50 & ( p(V11) % 0.21/0.50 | -p(V307) ) % 0.21/0.50 & ( p(V344) % 0.21/0.50 | -p(V98) ) % 0.21/0.50 & ( p(V16) % 0.21/0.50 | -p(V8) ) % 0.21/0.50 & ( p(V270) % 0.21/0.50 | -p(V77) ) % 0.21/0.50 & ( -p(V304) % 0.21/0.50 | p(V63) ) % 0.21/0.50 & ( -p(V35) % 0.21/0.50 | -p(V27) % 0.21/0.50 | -p(V116) % 0.21/0.50 | p(V29) ) % 0.21/0.50 & ( p(V15) % 0.21/0.50 | -p(V58) % 0.21/0.50 | p(V7) % 0.21/0.50 | -p(V4) ) % 0.21/0.50 & ( -p(V80) % 0.21/0.50 | -p(V242) ) % 0.21/0.50 & ( -p(V63) % 0.21/0.50 | -p(V17) % 0.21/0.50 | -p(V9) % 0.21/0.50 | p(V11) ) % 0.21/0.50 & ( -p(V57) % 0.21/0.50 | -p(V58) ) % 0.21/0.50 & ( -p(V462) % 0.21/0.50 | -p(V108) ) % 0.21/0.50 & ( -p(V420) % 0.21/0.50 | p(V86) ) % 0.21/0.50 & ( -p(V14) % 0.21/0.50 | -p(V306) ) % 0.21/0.50 & ( -p(V99) % 0.21/0.50 | -p(V101) ) % 0.21/0.50 & ( -p(V57) % 0.21/0.50 | -p(V4) % 0.21/0.50 | p(V6) % 0.21/0.50 | p(V220) ) % 0.21/0.50 & ( p(V3) % 0.21/0.50 | -p(V207) ) % 0.21/0.50 & ( -p(V58) % 0.21/0.50 | p(V174) ) % 0.21/0.50 & ( -p(V122) % 0.21/0.50 | -p(V446) ) % 0.21/0.50 & ( -p(V493) % 0.21/0.50 | -p(V104) ) % 0.21/0.50 & ( -p(V424) % 0.21/0.50 | -p(V22) ) % 0.21/0.50 & ( p(V358) % 0.21/0.50 | -p(V84) ) % 0.21/0.50 & ( -p(V14) % 0.21/0.50 | -p(V313) ) % 0.21/0.50 & ( -p(V92) % 0.21/0.50 | p(V22) % 0.21/0.50 | p(V426) % 0.21/0.50 | -p(V18) ) % 0.21/0.50 & ( -p(V498) % 0.21/0.50 | p(V106) ) % 0.21/0.50 & ( p(V106) % 0.21/0.50 | -p(V515) ) % 0.21/0.50 & ( -p(V115) % 0.21/0.50 | -p(V484) ) % 0.21/0.50 & ( -p(V98) % 0.21/0.50 | -p(V378) ) % 0.21/0.50 & ( -p(V23) % 0.21/0.50 | p(V31) ) % 0.21/0.50 & ( p(V15) % 0.21/0.50 | -p(V67) % 0.21/0.50 | p(V23) % 0.21/0.50 | -p(V9) ) % 0.21/0.50 & ( -p(V192) % 0.21/0.50 | p(V1) ) % 0.21/0.50 & ( -p(V104) % 0.21/0.50 | p(V460) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | p(V29) % 0.21/0.50 | -p(V112) % 0.21/0.50 | -p(V34) ) % 0.21/0.50 & ( p(V20) % 0.21/0.50 | -p(V417) ) % 0.21/0.50 & ( p(V381) % 0.21/0.50 | -p(V97) ) % 0.21/0.50 & ( -p(V198) % 0.21/0.50 | p(V2) ) % 0.21/0.50 & ( -p(V325) % 0.21/0.50 | p(V66) ) % 0.21/0.50 & ( p(V267) % 0.21/0.50 | -p(V266) ) % 0.21/0.50 & ( p(V231) % 0.21/0.50 | -p(V72) ) % 0.21/0.50 & ( p(V360) % 0.21/0.50 | -p(V86) ) % 0.21/0.50 & ( -p(V114) % 0.21/0.50 | -p(V109) ) % 0.21/0.50 & ( -p(V315) % 0.21/0.50 | p(V12) ) % 0.21/0.50 & ( p(V12) % 0.21/0.50 | -p(V322) ) % 0.21/0.50 & ( p(V18) % 0.21/0.50 | -p(V433) ) % 0.21/0.50 & ( p(V15) % 0.21/0.50 | -p(V14) % 0.21/0.50 | -p(V82) % 0.21/0.50 | p(V327) ) % 0.21/0.50 & ( -p(V408) % 0.21/0.50 | -p(V22) ) % 0.21/0.50 & ( -p(V440) % 0.21/0.50 | -p(V117) ) % 0.21/0.50 & ( -p(V22) % 0.21/0.50 | -p(V427) ) % 0.21/0.50 & ( p(V351) % 0.21/0.50 | -p(V95) ) % 0.21/0.50 & ( -p(V376) % 0.21/0.50 | -p(V85) ) % 0.21/0.50 & ( p(V339) % 0.21/0.50 | -p(V96) ) % 0.21/0.50 & ( -p(V72) % 0.21/0.50 | p(V255) ) % 0.21/0.50 & ( p(V179) % 0.21/0.50 | -p(V52) ) % 0.21/0.50 & ( -p(V9) % 0.21/0.50 | -p(V1) % 0.21/0.50 | -p(V41) % 0.21/0.50 | p(V2) ) % 0.21/0.50 & ( -p(V120) % 0.21/0.50 | -p(V121) ) % 0.21/0.50 & ( -p(V103) % 0.21/0.50 | p(V363) ) % 0.21/0.50 & ( -p(V112) % 0.21/0.50 | p(V29) % 0.21/0.50 | p(V37) % 0.21/0.50 | -p(V26) ) % 0.21/0.50 & ( -p(V63) % 0.21/0.50 | -p(V62) ) % 0.21/0.50 & ( -p(V114) % 0.21/0.50 | p(V435) ) % 0.21/0.50 & ( -p(V31) % 0.21/0.50 | -p(V533) ) % 0.21/0.50 & ( p(V1) % 0.21/0.50 | -p(V190) ) % 0.21/0.50 & ( p(V518) % 0.21/0.50 | p(V29) % 0.21/0.50 | -p(V119) % 0.21/0.50 | -p(V28) ) % 0.21/0.50 & ( -p(V381) % 0.21/0.50 | p(V382) ) % 0.21/0.50 & ( -p(V75) % 0.21/0.50 | -p(V11) % 0.21/0.50 | p(V22) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( -p(V93) % 0.21/0.50 | -p(V83) ) % 0.21/0.50 & ( -p(V333) % 0.21/0.50 | p(V334) ) % 0.21/0.50 & ( p(V28) % 0.21/0.50 | -p(V26) % 0.21/0.50 | -p(V111) % 0.21/0.50 | p(V505) ) % 0.21/0.50 & ( p(V13) % 0.21/0.50 | -p(V320) ) % 0.21/0.50 & ( -p(V122) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( -p(V317) % 0.21/0.50 | p(V10) ) % 0.21/0.50 & ( p(V178) % 0.21/0.50 | -p(V53) ) % 0.21/0.50 & ( -p(V31) % 0.21/0.50 | -p(V536) ) % 0.21/0.50 & ( p(V184) % 0.21/0.50 | -p(V45) ) % 0.21/0.50 & ( -p(V47) % 0.21/0.50 | p(V183) ) % 0.21/0.50 & ( p(V232) % 0.21/0.50 | -p(V76) ) % 0.21/0.50 & ( -p(V44) % 0.21/0.50 | -p(V155) ) % 0.21/0.50 & ( -p(V72) % 0.21/0.50 | p(V282) ) % 0.21/0.50 & ( -p(V20) % 0.21/0.50 | -p(V100) % 0.21/0.50 | p(V23) % 0.21/0.50 | p(V431) ) % 0.21/0.50 & ( -p(V107) % 0.21/0.50 | -p(V490) ) % 0.21/0.50 & ( p(V31) % 0.21/0.50 | -p(V26) % 0.21/0.50 | -p(V114) % 0.21/0.50 | p(V39) ) % 0.21/0.50 & ( -p(V273) % 0.21/0.50 | -p(V65) ) % 0.21/0.50 & ( p(V406) % 0.21/0.50 | p(V405) % 0.21/0.50 | -p(V27) % 0.21/0.50 | p(V19) ) % 0.21/0.50 & ( -p(V492) % 0.21/0.50 | p(V493) ) % 0.21/0.50 & ( p(V171) % 0.21/0.50 | -p(V60) ) % 0.21/0.50 & ( -p(V432) % 0.21/0.50 | p(V19) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | p(V400) % 0.21/0.50 | -p(V18) % 0.21/0.50 | -p(V93) ) % 0.21/0.50 & ( -p(V96) % 0.21/0.50 | p(V369) ) % 0.21/0.50 & ( -p(V293) % 0.21/0.50 | p(V65) ) % 0.21/0.50 & ( p(V250) % 0.21/0.50 | -p(V249) ) % 0.21/0.50 & ( p(V111) % 0.21/0.50 | -p(V514) ) % 0.21/0.50 & ( p(V339) % 0.21/0.50 | -p(V338) ) % 0.21/0.50 & ( -p(V335) % 0.21/0.50 | p(V336) ) % 0.21/0.50 & ( -p(V28) % 0.21/0.50 | p(V413) % 0.21/0.50 | p(V411) % 0.21/0.50 | p(V412) % 0.21/0.50 | p(V20) ) % 0.21/0.50 & ( -p(V156) % 0.21/0.50 | p(V157) ) % 0.21/0.50 & ( -p(V169) % 0.21/0.50 | p(V170) ) % 0.21/0.50 & ( -p(V14) % 0.21/0.50 | -p(V321) ) % 0.21/0.50 & ( -p(V289) % 0.21/0.50 | -p(V62) ) % 0.21/0.50 & ( -p(V164) % 0.21/0.50 | p(V165) ) % 0.21/0.50 & ( p(V10) % 0.21/0.50 | -p(V331) ) % 0.21/0.50 & ( -p(V309) % 0.21/0.50 | p(V73) ) % 0.21/0.50 & ( p(V42) % 0.21/0.50 | -p(V202) ) % 0.21/0.50 & ( -p(V152) % 0.21/0.50 | -p(V51) ) % 0.21/0.50 & ( p(V17) % 0.21/0.50 | -p(V394) ) % 0.21/0.50 & ( -p(V393) % 0.21/0.50 | -p(V23) ) % 0.21/0.50 & ( -p(V124) % 0.21/0.50 | p(V465) ) % 0.21/0.50 & ( -p(V309) % 0.21/0.50 | p(V11) ) % 0.21/0.50 & ( p(V517) % 0.21/0.50 | -p(V120) % 0.21/0.50 | -p(V28) % 0.21/0.50 | p(V30) ) % 0.21/0.50 & ( p(V483) % 0.21/0.50 | -p(V118) ) % 0.21/0.50 & ( -p(V252) % 0.21/0.50 | -p(V70) ) % 0.21/0.50 & ( -p(V388) % 0.21/0.50 | p(V389) ) % 0.21/0.50 & ( -p(V463) % 0.21/0.50 | p(V464) ) % 0.21/0.50 & ( -p(V63) % 0.21/0.50 | -p(V68) ) % 0.21/0.50 & ( -p(V417) % 0.21/0.50 | -p(V21) ) % 0.21/0.50 & ( -p(V41) % 0.21/0.50 | p(V2) % 0.21/0.50 | p(V194) % 0.21/0.50 | -p(V1) ) % 0.21/0.50 & ( p(V95) % 0.21/0.50 | -p(V418) ) % 0.21/0.50 & ( p(V31) % 0.21/0.50 | -p(V21) % 0.21/0.50 | p(V23) % 0.21/0.50 | -p(V102) ) % 0.21/0.50 & ( -p(V161) % 0.21/0.50 | -p(V51) ) % 0.21/0.50 & ( p(V436) % 0.21/0.50 | -p(V435) ) % 0.21/0.50 & ( -p(V73) % 0.21/0.50 | -p(V244) ) % 0.21/0.50 & ( -p(V266) % 0.21/0.50 | -p(V75) ) % 0.21/0.50 & ( -p(V386) % 0.21/0.50 | p(V387) ) % 0.21/0.50 & ( p(V65) % 0.21/0.50 | -p(V318) ) % 0.21/0.50 & ( -p(V41) % 0.21/0.50 | -p(V50) ) % 0.21/0.50 & ( p(V2) % 0.21/0.50 | -p(V199) ) % 0.21/0.50 & ( p(V469) % 0.21/0.50 | -p(V109) ) % 0.21/0.50 & ( -p(V508) % 0.21/0.50 | -p(V27) ) % 0.21/0.50 & ( -p(V22) % 0.21/0.50 | p(V428) % 0.21/0.50 | p(V30) ) % 0.21/0.50 & ( p(V136) % 0.21/0.50 | -p(V135) ) % 0.21/0.50 & ( p(V85) % 0.21/0.50 | -p(V396) ) % 0.21/0.50 & ( p(V7) % 0.21/0.50 | -p(V13) % 0.21/0.50 | -p(V60) % 0.21/0.50 | -p(V5) ) % 0.21/0.50 & ( -p(V363) % 0.21/0.50 | p(V364) ) % 0.21/0.50 & ( -p(V277) % 0.21/0.50 | -p(V73) ) % 0.21/0.50 & ( -p(V318) % 0.21/0.50 | p(V9) ) % 0.21/0.50 & ( p(V531) % 0.21/0.50 | -p(V39) % 0.21/0.50 | p(V536) % 0.21/0.50 | p(V532) % 0.21/0.50 | p(V533) % 0.21/0.50 | p(V534) % 0.21/0.50 | p(V31) % 0.21/0.50 | p(V535) ) % 0.21/0.50 & ( -p(V7) % 0.21/0.50 | -p(V229) ) % 0.21/0.50 & ( -p(V536) % 0.21/0.50 | p(V109) ) % 0.21/0.50 & ( p(V101) % 0.21/0.50 | -p(V422) ) % 0.21/0.50 & ( -p(V17) % 0.21/0.50 | p(V18) % 0.21/0.50 | p(V398) % 0.21/0.50 | -p(V83) ) % 0.21/0.50 & ( -p(V111) % 0.21/0.50 | p(V456) ) % 0.21/0.50 & ( p(V325) % 0.21/0.50 | p(V324) % 0.21/0.50 | p(V14) % 0.21/0.50 | p(V323) % 0.21/0.50 | p(V322) % 0.21/0.50 | p(V321) % 0.21/0.50 | -p(V22) ) % 0.21/0.50 & ( -p(V168) % 0.21/0.50 | p(V169) ) % 0.21/0.50 & ( -p(V57) % 0.21/0.50 | p(V144) ) % 0.21/0.50 & ( -p(V248) % 0.21/0.50 | -p(V73) ) % 0.21/0.50 & ( -p(V27) % 0.21/0.50 | -p(V118) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V35) ) % 0.21/0.50 & ( -p(V98) % 0.21/0.50 | p(V372) ) % 0.21/0.50 & ( p(V489) % 0.21/0.50 | -p(V488) ) % 0.21/0.50 & ( p(V20) % 0.21/0.50 | -p(V17) % 0.21/0.50 | -p(V85) % 0.21/0.50 | p(V396) ) % 0.21/0.50 & ( p(V13) % 0.21/0.50 | -p(V328) ) % 0.21/0.50 & ( p(V5) % 0.21/0.50 | -p(V44) % 0.21/0.50 | p(V191) % 0.21/0.50 | -p(V1) ) % 0.21/0.50 & ( p(V344) % 0.21/0.50 | -p(V343) ) % 0.21/0.50 & ( p(V10) % 0.21/0.50 | -p(V324) ) % 0.21/0.50 & ( -p(V55) % 0.21/0.50 | -p(V3) % 0.21/0.50 | p(V15) % 0.21/0.50 | p(V7) ) % 0.21/0.50 & ( p(V506) % 0.21/0.50 | -p(V110) % 0.21/0.50 | p(V27) % 0.21/0.50 | -p(V26) ) % 0.21/0.50 & ( -p(V370) % 0.21/0.50 | -p(V87) ) % 0.21/0.50 & ( -p(V48) % 0.21/0.50 | p(V142) ) % 0.21/0.50 & ( -p(V69) % 0.21/0.50 | p(V244) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V26) % 0.21/0.50 | p(V22) % 0.21/0.50 | -p(V92) ) % 0.21/0.50 & ( -p(V316) % 0.21/0.50 | p(V74) ) % 0.21/0.50 & ( p(V149) % 0.21/0.50 | -p(V148) ) % 0.21/0.50 & ( -p(V112) % 0.21/0.50 | -p(V477) ) % 0.21/0.50 & ( -p(V168) % 0.21/0.50 | -p(V49) ) % 0.21/0.50 & ( p(V27) % 0.21/0.50 | p(V507) % 0.21/0.50 | p(V508) % 0.21/0.50 | -p(V35) ) % 0.21/0.50 & ( -p(V327) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( -p(V215) % 0.21/0.50 | p(V49) ) % 0.21/0.50 & ( -p(V448) % 0.21/0.50 | p(V449) ) % 0.21/0.50 & ( -p(V37) % 0.21/0.50 | p(V521) % 0.21/0.50 | p(V520) % 0.21/0.50 | p(V522) % 0.21/0.50 | p(V29) % 0.21/0.50 | p(V519) ) % 0.21/0.50 & ( p(V97) % 0.21/0.50 | -p(V407) ) % 0.21/0.50 & ( p(V237) % 0.21/0.50 | -p(V236) ) % 0.21/0.50 & ( p(V379) % 0.21/0.50 | -p(V378) ) % 0.21/0.50 & ( -p(V45) % 0.21/0.50 | -p(V61) ) % 0.21/0.50 & ( p(V371) % 0.21/0.50 | -p(V87) ) % 0.21/0.50 & ( p(V476) % 0.21/0.50 | -p(V475) ) % 0.21/0.50 & ( p(V432) % 0.21/0.50 | p(V23) % 0.21/0.50 | -p(V19) % 0.21/0.50 | -p(V97) ) % 0.21/0.50 & ( -p(V19) % 0.21/0.50 | p(V21) % 0.21/0.50 | -p(V27) % 0.21/0.50 | -p(V95) ) % 0.21/0.50 & ( -p(V530) % 0.21/0.50 | p(V124) ) % 0.21/0.50 & ( -p(V19) % 0.21/0.50 | -p(V27) % 0.21/0.50 | p(V22) % 0.21/0.50 | -p(V96) ) % 0.21/0.50 & ( p(V262) % 0.21/0.50 | -p(V261) ) % 0.21/0.50 & ( -p(V84) % 0.21/0.50 | -p(V89) ) % 0.21/0.50 & ( -p(V56) % 0.21/0.50 | -p(V139) ) % 0.21/0.50 & ( -p(V25) % 0.21/0.50 | -p(V33) % 0.21/0.50 | p(V28) % 0.21/0.50 | -p(V106) ) % 0.21/0.50 & ( -p(V25) % 0.21/0.50 | p(V499) % 0.21/0.50 | p(V27) % 0.21/0.50 | -p(V105) ) % 0.21/0.50 & ( -p(V12) % 0.21/0.50 | -p(V309) ) % 0.21/0.50 & ( p(V361) % 0.21/0.50 | -p(V87) ) % 0.21/0.50 & ( -p(V11) % 0.21/0.50 | -p(V295) ) % 0.21/0.50 & ( p(V18) % 0.21/0.50 | -p(V412) ) % 0.21/0.50 & ( -p(V342) % 0.21/0.50 | -p(V95) ) % 0.21/0.50 & ( -p(V119) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( -p(V195) % 0.21/0.50 | p(V41) ) % 0.21/0.50 & ( p(V35) % 0.21/0.50 | -p(V34) ) % 0.21/0.50 & ( -p(V14) % 0.21/0.50 | -p(V324) ) % 0.21/0.50 & ( p(V380) % 0.21/0.50 | -p(V84) ) % 0.21/0.50 & ( p(V26) % 0.21/0.50 | -p(V502) ) % 0.21/0.50 & ( -p(V298) % 0.21/0.50 | p(V72) ) % 0.21/0.50 & ( -p(V51) % 0.21/0.50 | p(V129) ) % 0.21/0.50 & ( -p(V445) % 0.21/0.50 | p(V446) ) % 0.21/0.50 & ( -p(V27) % 0.21/0.50 | -p(V117) % 0.21/0.50 | p(V30) % 0.21/0.50 | p(V38) ) % 0.21/0.50 & ( p(V21) % 0.21/0.50 | p(V420) % 0.21/0.50 | p(V419) % 0.21/0.50 | p(V417) % 0.21/0.50 | p(V418) % 0.21/0.50 | -p(V29) ) % 0.21/0.50 & ( -p(V77) % 0.21/0.50 | -p(V241) ) % 0.21/0.50 & ( -p(V77) % 0.21/0.50 | -p(V245) ) % 0.21/0.50 & ( -p(V410) % 0.21/0.50 | p(V19) ) % 0.21/0.50 & ( p(V262) % 0.21/0.50 | -p(V79) ) % 0.21/0.50 & ( p(V69) % 0.21/0.50 | -p(V301) ) % 0.21/0.50 & ( -p(V17) % 0.21/0.50 | p(V19) % 0.21/0.50 | -p(V84) % 0.21/0.50 | p(V27) ) % 0.21/0.50 & ( -p(V135) % 0.21/0.50 | -p(V57) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V102) % 0.21/0.50 | p(V421) % 0.21/0.50 | -p(V21) ) % 0.21/0.50 & ( -p(V196) % 0.21/0.50 | p(V2) ) % 0.21/0.50 & ( -p(V507) % 0.21/0.50 | -p(V27) ) % 0.21/0.50 & ( -p(V402) % 0.21/0.50 | p(V91) ) % 0.21/0.50 & ( p(V524) % 0.21/0.50 | p(V523) % 0.21/0.50 | p(V37) % 0.21/0.50 | -p(V29) ) % 0.21/0.50 & ( -p(V124) % 0.21/0.50 | -p(V122) ) % 0.21/0.50 & ( -p(V386) % 0.21/0.50 | -p(V89) ) % 0.21/0.50 & ( -p(V61) % 0.21/0.50 | -p(V59) ) % 0.21/0.50 & ( -p(V25) % 0.21/0.50 | p(V31) % 0.21/0.50 | -p(V33) % 0.21/0.50 | -p(V109) ) % 0.21/0.50 & ( -p(V219) % 0.21/0.50 | p(V5) ) % 0.21/0.50 & ( p(V21) % 0.21/0.50 | -p(V86) % 0.21/0.50 | -p(V17) % 0.21/0.50 | p(V420) ) % 0.21/0.50 & ( p(V367) % 0.21/0.50 | -p(V366) ) % 0.21/0.50 & ( -p(V57) % 0.21/0.50 | -p(V59) ) % 0.21/0.50 & ( -p(V70) % 0.21/0.50 | p(V240) ) % 0.21/0.50 & ( p(V240) % 0.21/0.50 | -p(V65) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V72) % 0.21/0.50 | -p(V10) % 0.21/0.50 | p(V15) ) % 0.21/0.50 & ( p(V242) % 0.21/0.50 | -p(V77) ) % 0.21/0.50 & ( p(V406) % 0.21/0.50 | -p(V84) % 0.21/0.50 | -p(V17) % 0.21/0.50 | p(V19) ) % 0.21/0.50 & ( -p(V100) % 0.21/0.50 | p(V364) ) % 0.21/0.50 & ( p(V57) % 0.21/0.50 | -p(V211) ) % 0.21/0.50 & ( p(V36) % 0.21/0.50 | -p(V35) ) % 0.21/0.50 & ( -p(V15) % 0.21/0.50 | -p(V305) ) % 0.21/0.50 & ( -p(V178) % 0.21/0.50 | p(V179) ) % 0.21/0.50 & ( -p(V54) % 0.21/0.50 | -p(V147) ) % 0.21/0.50 & ( -p(V53) % 0.21/0.50 | p(V168) ) % 0.21/0.50 & ( p(V23) % 0.21/0.50 | -p(V22) % 0.21/0.50 | -p(V103) % 0.21/0.50 | -p(V30) ) % 0.21/0.50 & ( p(V468) % 0.21/0.50 | -p(V114) ) % 0.21/0.50 & ( -p(V53) % 0.21/0.50 | -p(V138) ) % 0.21/0.50 & ( -p(V7) % 0.21/0.50 | -p(V224) ) % 0.21/0.50 & ( -p(V240) % 0.21/0.50 | -p(V74) ) % 0.21/0.50 & ( -p(V13) % 0.21/0.50 | -p(V80) % 0.21/0.50 | p(V14) % 0.21/0.50 | p(V321) ) % 0.21/0.50 & ( -p(V280) % 0.21/0.50 | -p(V73) ) % 0.21/0.50 & ( -p(V106) % 0.21/0.50 | -p(V460) ) % 0.21/0.50 & ( -p(V98) % 0.21/0.50 | -p(V99) ) % 0.21/0.50 & ( p(V156) % 0.21/0.50 | -p(V155) ) % 0.21/0.50 & ( -p(V20) % 0.21/0.50 | -p(V99) % 0.21/0.50 | p(V22) % 0.21/0.50 | p(V424) ) % 0.21/0.50 & ( -p(V531) % 0.21/0.50 | -p(V31) ) % 0.21/0.50 & ( p(V59) % 0.21/0.50 | -p(V218) ) % 0.21/0.50 & ( -p(V116) % 0.21/0.50 | p(V474) ) % 0.21/0.50 & ( -p(V326) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( -p(V115) % 0.21/0.50 | -p(V111) ) % 0.21/0.50 & ( -p(V68) % 0.21/0.50 | -p(V10) % 0.21/0.50 | -p(V18) % 0.21/0.50 | p(V11) ) % 0.21/0.50 & ( -p(V318) % 0.21/0.50 | -p(V13) ) % 0.21/0.50 & ( -p(V106) % 0.21/0.50 | -p(V478) ) % 0.21/0.50 & ( -p(V79) % 0.21/0.50 | p(V247) ) % 0.21/0.50 & ( -p(V534) % 0.21/0.50 | p(V27) ) % 0.21/0.50 & ( p(V137) % 0.21/0.50 | -p(V59) ) % 0.21/0.50 & ( -p(V483) % 0.21/0.50 | -p(V116) ) % 0.21/0.50 & ( p(V357) % 0.21/0.50 | -p(V93) ) % 0.21/0.50 & ( p(V501) % 0.21/0.50 | -p(V34) % 0.21/0.50 | p(V26) ) % 0.21/0.50 & ( -p(V481) % 0.21/0.50 | -p(V115) ) % 0.21/0.50 & ( p(V258) % 0.21/0.50 | -p(V65) ) % 0.21/0.50 & ( p(V275) % 0.21/0.50 | -p(V64) ) % 0.21/0.50 & ( -p(V50) % 0.21/0.50 | -p(V45) ) % 0.21/0.50 & ( -p(V164) % 0.21/0.50 | -p(V54) ) % 0.21/0.50 & ( -p(V3) % 0.21/0.50 | -p(V193) ) % 0.21/0.50 & ( p(V19) % 0.21/0.50 | -p(V409) ) % 0.21/0.50 & ( -p(V70) % 0.21/0.50 | -p(V65) ) % 0.21/0.50 & ( -p(V522) % 0.21/0.50 | p(V107) ) % 0.21/0.50 & ( -p(V347) % 0.21/0.50 | -p(V98) ) % 0.21/0.50 & ( p(V51) % 0.21/0.50 | -p(V196) ) % 0.21/0.50 & ( p(V110) % 0.21/0.50 | -p(V507) ) % 0.21/0.50 & ( p(V289) % 0.21/0.50 | -p(V63) ) % 0.21/0.50 & ( p(V526) % 0.21/0.50 | p(V30) % 0.21/0.50 | -p(V28) % 0.21/0.50 | -p(V120) ) % 0.21/0.50 & ( -p(V263) % 0.21/0.50 | p(V264) ) % 0.21/0.50 & ( p(V7) % 0.21/0.50 | p(V227) % 0.21/0.50 | -p(V58) % 0.21/0.50 | -p(V4) ) % 0.21/0.50 & ( -p(V7) % 0.21/0.50 | -p(V227) ) % 0.21/0.50 & ( p(V239) % 0.21/0.50 | -p(V238) ) % 0.21/0.50 & ( p(V25) % 0.21/0.50 | -p(V508) ) % 0.21/0.50 & ( p(V12) % 0.21/0.50 | -p(V312) ) % 0.21/0.50 & ( p(V198) % 0.21/0.50 | p(V196) % 0.21/0.50 | p(V197) % 0.21/0.50 | p(V199) % 0.21/0.50 | p(V200) % 0.21/0.50 | p(V10) % 0.21/0.50 | -p(V2) ) % 0.21/0.50 & ( -p(V343) % 0.21/0.50 | -p(V98) ) % 0.21/0.50 & ( -p(V319) % 0.21/0.50 | -p(V15) ) % 0.21/0.50 & ( p(V34) % 0.21/0.50 | -p(V33) ) % 0.21/0.50 & ( p(V492) % 0.21/0.50 | -p(V491) ) % 0.21/0.50 & ( -p(V26) % 0.21/0.50 | p(V503) % 0.21/0.50 | -p(V113) % 0.21/0.50 | p(V30) ) % 0.21/0.50 & ( -p(V430) % 0.21/0.50 | p(V102) ) % 0.21/0.50 & ( p(V117) % 0.21/0.50 | -p(V510) ) % 0.21/0.50 & ( p(V2) % 0.21/0.50 | -p(V222) ) % 0.21/0.50 & ( -p(V58) % 0.21/0.50 | p(V145) ) % 0.21/0.50 & ( p(V32) % 0.21/0.50 | -p(V40) ) % 0.21/0.50 & ( -p(V91) % 0.21/0.50 | p(V355) ) % 0.21/0.50 & ( -p(V70) % 0.21/0.50 | -p(V282) ) % 0.21/0.50 & ( p(V475) % 0.21/0.50 | -p(V112) ) % 0.21/0.50 & ( p(V346) % 0.21/0.50 | -p(V90) ) % 0.21/0.50 & ( p(V10) % 0.21/0.50 | -p(V298) ) % 0.21/0.50 & ( p(V20) % 0.21/0.50 | -p(V424) ) % 0.21/0.50 & ( p(V108) % 0.21/0.50 | -p(V496) ) % 0.21/0.50 & ( -p(V391) % 0.21/0.50 | p(V392) ) % 0.21/0.50 & ( -p(V432) % 0.21/0.50 | -p(V23) ) % 0.21/0.50 & ( -p(V406) % 0.21/0.50 | p(V84) ) % 0.21/0.50 & ( p(V47) % 0.21/0.50 | -p(V200) ) % 0.21/0.50 & ( p(V187) % 0.21/0.50 | -p(V186) ) % 0.21/0.50 & ( p(V180) % 0.21/0.50 | -p(V51) ) % 0.21/0.50 & ( -p(V429) % 0.21/0.50 | p(V22) ) % 0.21/0.50 & ( -p(V53) % 0.21/0.50 | -p(V11) % 0.21/0.50 | p(V5) % 0.21/0.50 | -p(V3) ) % 0.21/0.50 & ( -p(V150) % 0.21/0.50 | -p(V49) ) % 0.21/0.50 & ( -p(V99) % 0.21/0.50 | -p(V103) ) % 0.21/0.50 & ( -p(V100) % 0.21/0.50 | -p(V334) ) % 0.21/0.50 & ( p(V9) % 0.21/0.50 | -p(V292) ) % 0.21/0.50 & ( p(V263) % 0.21/0.50 | -p(V262) ) % 0.21/0.50 & ( -p(V18) % 0.21/0.50 | -p(V71) % 0.21/0.50 | -p(V10) % 0.21/0.50 | p(V14) ) % 0.21/0.50 & ( p(V467) % 0.21/0.50 | -p(V466) ) % 0.21/0.50 & ( -p(V513) % 0.21/0.50 | p(V27) ) % 0.21/0.50 & ( -p(V457) % 0.21/0.50 | p(V458) ) % 0.21/0.50 & ( -p(V75) % 0.21/0.50 | p(V250) ) % 0.21/0.50 & ( -p(V491) % 0.21/0.50 | -p(V106) ) % 0.21/0.50 & ( p(V479) % 0.21/0.50 | -p(V106) ) % 0.21/0.50 & ( -p(V500) % 0.21/0.50 | p(V104) ) % 0.21/0.50 & ( -p(V60) % 0.21/0.50 | -p(V140) ) % 0.21/0.50 & ( -p(V300) % 0.21/0.50 | p(V70) ) % 0.21/0.50 & ( -p(V81) % 0.21/0.50 | -p(V80) ) % 0.21/0.50 & ( -p(V112) % 0.21/0.50 | p(V457) ) % 0.21/0.50 & ( -p(V22) % 0.21/0.50 | -p(V423) ) % 0.21/0.50 & ( -p(V20) % 0.21/0.50 | -p(V396) ) % 0.21/0.50 & ( -p(V90) % 0.21/0.50 | p(V20) % 0.21/0.50 | p(V28) % 0.21/0.50 | -p(V18) ) % 0.21/0.50 & ( -p(V21) % 0.21/0.50 | -p(V416) ) % 0.21/0.50 & ( -p(V83) % 0.21/0.50 | -p(V387) ) % 0.21/0.50 & ( -p(V121) % 0.21/0.50 | -p(V450) ) % 0.21/0.50 & ( -p(V17) % 0.21/0.50 | -p(V85) % 0.21/0.50 | -p(V25) % 0.21/0.50 | p(V20) ) % 0.21/0.50 & ( -p(V13) % 0.21/0.50 | p(V21) % 0.21/0.50 | p(V319) % 0.21/0.50 | p(V320) ) % 0.21/0.50 & ( -p(V481) % 0.21/0.50 | -p(V106) ) % 0.21/0.50 & ( p(V119) % 0.21/0.50 | -p(V518) ) % 0.21/0.50 & ( -p(V65) % 0.21/0.50 | -p(V286) ) % 0.21/0.50 & ( -p(V108) % 0.21/0.50 | -p(V109) ) % 0.21/0.50 & ( -p(V98) % 0.21/0.50 | p(V29) % 0.21/0.50 | -p(V20) % 0.21/0.50 | p(V21) ) % 0.21/0.50 & ( p(V25) % 0.21/0.50 | -p(V499) ) % 0.21/0.50 & ( p(V205) % 0.21/0.50 | p(V11) % 0.21/0.50 | p(V206) % 0.21/0.50 | p(V203) % 0.21/0.50 | p(V204) % 0.21/0.50 | -p(V3) ) % 0.21/0.50 & ( -p(V2) % 0.21/0.50 | p(V5) % 0.21/0.50 | -p(V49) % 0.21/0.50 | -p(V10) ) % 0.21/0.50 & ( p(V11) % 0.21/0.50 | -p(V308) ) ) ) ) ) ) ) ). % 0.21/0.50 % 0.21/0.50 ======= end of input processing ======= % 0.21/0.50 % 0.21/0.50 1 input errors were found. % 0.21/0.50 % 0.21/0.50 1 input errors were found. %------------------------------------------------------------------------------