86:@0.048054:0.510692:0.066961:0.510692:0.066961:0.494068:0.048054:0.494068:0.000000:0.000000 4. :@0.114793:0.715613:0.133534:0.715613:0.133534:0.698477:0.114793:0.698477:0.000000:0.000000:0.000000 Selecciona:@0.148037:0.715613:0.229985:0.715613:0.229985:0.698989:0.148037:0.698989:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 la opción correcta.:@0.229985:0.715613:0.369537:0.715613:0.369537:0.699224:0.229985:0.699224:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 a) :@0.148037:0.739332:0.166759:0.739332:0.166759:0.722431:0.148037:0.722431:0.000000:0.000000:0.000000 Si ( ) :@0.181280:0.739332:0.266434:0.739332:0.266434:0.722943:0.181280:0.722943:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 ∼ →:@0.197718:0.740010:0.244211:0.740010:0.244211:0.724437:0.197718:0.724437:0.000000:0.000000:0.000000 p:@0.212718:0.739332:0.221987:0.739332:0.221987:0.722971:0.212718:0.722971:0.000000 q:@0.248246:0.739332:0.257516:0.739332:0.257516:0.722971:0.248246:0.722971:0.000000 ∧ :@0.266434:0.740010:0.282153:0.740010:0.282153:0.724437:0.266434:0.724437:0.000000:0.000000 r:@0.282153:0.739332:0.287442:0.739332:0.287442:0.722971:0.282153:0.722971:0.000000 es verdadera, determinar los valores de verdad de :@0.287442:0.739332:0.658718:0.739332:0.658718:0.722943:0.287442:0.722943:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p, q r.:@0.658718:0.739332:0.707740:0.739332:0.707740:0.722971:0.658718:0.722971:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 y :@0.683526:0.739332:0.699705:0.739332:0.699705:0.722943:0.683526:0.722943:0.000000:0.000000:0.000000 :@0.148037:0.759497:0.152073:0.759497:0.152073:0.743108:0.148037:0.743108:0.000000 A):@0.181280:0.759497:0.198289:0.759497:0.198289:0.742596:0.181280:0.742596:0.000000:0.000000 VVF VFF VVV VFV FFF:@0.198289:0.759497:0.659588:0.759497:0.659588:0.743108:0.198289:0.743108:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 B):@0.289893:0.759497:0.306054:0.759497:0.306054:0.742596:0.289893:0.742596:0.000000:0.000000 C):@0.396386:0.759497:0.413008:0.759497:0.413008:0.742596:0.396386:0.742596:0.000000:0.000000 D):@0.505883:0.759497:0.523776:0.759497:0.523776:0.742596:0.505883:0.742596:0.000000:0.000000 E):@0.614975:0.759497:0.630012:0.759497:0.630012:0.742596:0.614975:0.742596:0.000000:0.000000 b) :@0.148055:0.790352:0.171901:0.790352:0.171901:0.773451:0.148055:0.773451:0.000000:0.000000:0.000000:0.000000 Si (:@0.181299:0.790352:0.202620:0.790352:0.202620:0.773963:0.181299:0.773963:0.000000:0.000000:0.000000:0.000000 p :@0.202620:0.790352:0.215206:0.790352:0.215206:0.773991:0.202620:0.773991:0.000000:0.000000 ∧ ∼:@0.215206:0.791030:0.240470:0.791030:0.240470:0.775457:0.215206:0.775457:0.000000:0.000000:0.000000 ) :@0.226318:0.790352:0.262694:0.790352:0.262694:0.773963:0.226318:0.773963:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 q:@0.244506:0.790352:0.253775:0.790352:0.253775:0.773991:0.244506:0.773991:0.000000 → :@0.262694:0.791030:0.285489:0.791030:0.285489:0.775457:0.262694:0.775457:0.000000:0.000000 r:@0.285489:0.790352:0.290777:0.790352:0.290777:0.773991:0.285489:0.773991:0.000000 es falsa, determinar los valores de verdad de :@0.290777:0.790352:0.620868:0.790352:0.620868:0.773963:0.290777:0.773963:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p, q r.:@0.620868:0.790352:0.669889:0.790352:0.669889:0.773991:0.620868:0.773991:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 y :@0.645675:0.790352:0.661855:0.790352:0.661855:0.773963:0.645675:0.773963:0.000000:0.000000:0.000000 :@0.148055:0.810517:0.152091:0.810517:0.152091:0.794128:0.148055:0.794128:0.000000 A):@0.181299:0.810517:0.198308:0.810517:0.198308:0.793616:0.181299:0.793616:0.000000:0.000000 VVF VFF VVV VFV FFF:@0.198308:0.810517:0.663642:0.810517:0.663642:0.794128:0.198308:0.794128:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 B):@0.289911:0.810517:0.306072:0.810517:0.306072:0.793616:0.289911:0.793616:0.000000:0.000000 C):@0.396405:0.810517:0.413026:0.810517:0.413026:0.793616:0.396405:0.793616:0.000000:0.000000 D):@0.505902:0.810517:0.523795:0.810517:0.523795:0.793616:0.505902:0.793616:0.000000:0.000000 E):@0.619029:0.810517:0.634066:0.810517:0.634066:0.793616:0.619029:0.793616:0.000000:0.000000 c) :@0.148074:0.841372:0.169524:0.841372:0.169524:0.824471:0.148074:0.824471:0.000000:0.000000:0.000000:0.000000 Si ( ) ( ) es falsa, determinar los valores de verdad de :@0.181317:0.841372:0.652177:0.841372:0.652177:0.824983:0.181317:0.824983:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.202638:0.841372:0.211907:0.841372:0.211907:0.825011:0.202638:0.825011:0.000000 ∨:@0.215943:0.842050:0.227055:0.842050:0.227055:0.826477:0.215943:0.826477:0.000000 q:@0.231090:0.841372:0.240359:0.841372:0.240359:0.825011:0.231090:0.825011:0.000000 → →:@0.249278:0.842050:0.303898:0.842050:0.303898:0.826477:0.249278:0.826477:0.000000:0.000000:0.000000 r:@0.276385:0.841372:0.281674:0.841372:0.281674:0.825011:0.276385:0.825011:0.000000 p:@0.307934:0.841372:0.317203:0.841372:0.317203:0.825011:0.307934:0.825011:0.000000 p, q r.:@0.652177:0.841372:0.701198:0.841372:0.701198:0.825011:0.652177:0.825011:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 y :@0.676984:0.841372:0.693163:0.841372:0.693163:0.824983:0.676984:0.824983:0.000000:0.000000:0.000000 :@0.148074:0.861537:0.152109:0.861537:0.152109:0.845148:0.148074:0.845148:0.000000 A):@0.181317:0.861537:0.198326:0.861537:0.198326:0.844636:0.181317:0.844636:0.000000:0.000000 VVF VFF VVV VFV FVV:@0.198326:0.861537:0.661761:0.861537:0.661761:0.845148:0.198326:0.845148:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 B):@0.289930:0.861537:0.306091:0.861537:0.306091:0.844636:0.289930:0.844636:0.000000:0.000000 C):@0.396423:0.861537:0.413045:0.861537:0.413045:0.844636:0.396423:0.844636:0.000000:0.000000 D):@0.505920:0.861537:0.523813:0.861537:0.523813:0.844636:0.505920:0.844636:0.000000:0.000000 E):@0.615012:0.861537:0.630049:0.861537:0.630049:0.844636:0.615012:0.844636:0.000000:0.000000 d) :@0.148092:0.892392:0.171974:0.892392:0.171974:0.875491:0.148092:0.875491:0.000000:0.000000:0.000000:0.000000 Si ( :@0.181336:0.892392:0.215961:0.892392:0.215961:0.876003:0.181336:0.876003:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.202656:0.892392:0.211926:0.892392:0.211926:0.876031:0.202656:0.876031:0.000000 ↔ ∧ ∧:@0.215961:0.893070:0.293873:0.893070:0.293873:0.877497:0.215961:0.877497:0.000000:0.000000:0.000000:0.000000:0.000000 ) ( ) es verdadera, determinar los valores de verdad de :@0.235163:0.892392:0.683338:0.892392:0.683338:0.876003:0.235163:0.876003:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 r:@0.239198:0.892392:0.244487:0.892392:0.244487:0.876031:0.239198:0.876031:0.000000 r:@0.273437:0.892392:0.278726:0.892392:0.278726:0.876031:0.273437:0.876031:0.000000 q:@0.297909:0.892392:0.307178:0.892392:0.307178:0.876031:0.297909:0.876031:0.000000 p, q r.:@0.683338:0.892392:0.732377:0.892392:0.732377:0.876031:0.683338:0.876031:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 y :@0.708163:0.892392:0.724343:0.892392:0.724343:0.876003:0.708163:0.876003:0.000000:0.000000:0.000000 :@0.148111:0.912557:0.152146:0.912557:0.152146:0.896168:0.148111:0.896168:0.000000 A):@0.181354:0.912557:0.198363:0.912557:0.198363:0.895656:0.181354:0.895656:0.000000:0.000000 VVF VFF VVV :@0.198363:0.912557:0.505957:0.912557:0.505957:0.896168:0.198363:0.896168:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 B):@0.289967:0.912557:0.306128:0.912557:0.306128:0.895656:0.289967:0.895656:0.000000:0.000000 C):@0.396460:0.912557:0.413082:0.912557:0.413082:0.895656:0.396460:0.895656:0.000000:0.000000 D) :@0.505957:0.912557:0.527665:0.912557:0.527665:0.895656:0.505957:0.895656:0.000000:0.000000:0.000000 VFV FFF:@0.527665:0.912557:0.660086:0.912557:0.660086:0.896168:0.527665:0.896168:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 E):@0.615472:0.912557:0.630509:0.912557:0.630509:0.895656:0.615472:0.895656:0.000000:0.000000 3. :@0.114886:0.538626:0.133627:0.538626:0.133627:0.521491:0.114886:0.521491:0.000000:0.000000:0.000000 Halla :@0.148129:0.538626:0.190513:0.538626:0.190513:0.522002:0.148129:0.522002:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 el valor de verdad de las siguientes proposiciones::@0.190513:0.538626:0.556578:0.538626:0.556578:0.522238:0.190513:0.522238:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 a):@0.149037:0.564291:0.163945:0.564291:0.163945:0.547390:0.149037:0.547390:0.000000:0.000000 √ 81 = 9 si y solo sí 92 = 81.:@0.183239:0.565799:0.373836:0.565799:0.373836:0.549410:0.183239:0.549410:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 b):@0.149037:0.590085:0.165253:0.590085:0.165253:0.573185:0.149037:0.573185:0.000000:0.000000 Facebook es una red social y un buscador de internet.:@0.183239:0.590085:0.576258:0.590085:0.576258:0.573696:0.183239:0.573696:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 c):@0.149037:0.616321:0.162858:0.616321:0.162858:0.599421:0.149037:0.599421:0.000000:0.000000 Si –3 > –10 entonces –3 + 1 > –10 + 1.:@0.183239:0.616321:0.464074:0.616321:0.464074:0.599932:0.183239:0.599932:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 d):@0.149037:0.642558:0.165290:0.642558:0.165290:0.625657:0.149037:0.625657:0.000000:0.000000 El módulo de la suma es 1 o 3 + 1 = 4.:@0.183239:0.642558:0.460630:0.642558:0.460630:0.626169:0.183239:0.626169:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 e):@0.149037:0.668794:0.164092:0.668794:0.164092:0.651893:0.149037:0.651893:0.000000:0.000000 Si (–7)2 = 49 y (7)2 = 49 entonces √ 49 = ±7.:@0.183239:0.670315:0.493538:0.670294:0.493538:0.653905:0.183239:0.653926:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.216998:0.104493:0.226128:0.104493:0.226128:0.090260:0.216998:0.090260:0.000000 q:@0.291881:0.104493:0.301011:0.104493:0.301011:0.090260:0.291881:0.090260:0.000000 r:@0.368423:0.104493:0.374236:0.104493:0.374236:0.090260:0.368423:0.090260:0.000000 ∼:@0.437057:0.105109:0.446255:0.105109:0.446255:0.090952:0.437057:0.090952:0.000000 p:@0.446255:0.104493:0.455385:0.104493:0.455385:0.090260:0.446255:0.090260:0.000000 ∼:@0.511941:0.105109:0.521138:0.105109:0.521138:0.090952:0.511941:0.090952:0.000000 q:@0.521138:0.104493:0.530268:0.104493:0.530268:0.090260:0.521138:0.090260:0.000000 ∼:@0.589370:0.105109:0.598567:0.105109:0.598567:0.090952:0.589370:0.090952:0.000000 r:@0.598567:0.104493:0.604380:0.104493:0.604380:0.090260:0.598567:0.090260:0.000000 (:@0.642542:0.104493:0.647585:0.104493:0.647585:0.089129:0.642542:0.089129:0.000000 ∼ →:@0.647585:0.105109:0.685512:0.105109:0.685512:0.090952:0.647585:0.090952:0.000000:0.000000:0.000000 p q:@0.656782:0.104493:0.697708:0.104493:0.697708:0.090260:0.656782:0.090260:0.000000:0.000000:0.000000:0.000000:0.000000 ):@0.697708:0.104493:0.702750:0.104493:0.702750:0.089129:0.697708:0.089129:0.000000 (:@0.722049:0.104493:0.727092:0.104493:0.727092:0.089129:0.722049:0.089129:0.000000 q r:@0.727092:0.104493:0.771653:0.104493:0.771653:0.090260:0.727092:0.090260:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 ∨ ∼ :@0.739287:0.105109:0.765840:0.105109:0.765840:0.090952:0.739287:0.090952:0.000000:0.000000:0.000000:0.000000 ):@0.771653:0.104493:0.776696:0.104493:0.776696:0.089129:0.771653:0.089129:0.000000 p :@0.797703:0.104493:0.809899:0.104493:0.809899:0.090260:0.797703:0.090260:0.000000:0.000000 ∨ ∼ ∧:@0.809899:0.105109:0.856537:0.105109:0.856537:0.090952:0.809899:0.090952:0.000000:0.000000:0.000000:0.000000:0.000000 (:@0.820001:0.104493:0.825043:0.104493:0.825043:0.089129:0.820001:0.089129:0.000000 q r:@0.834240:0.104493:0.865416:0.104493:0.865416:0.090260:0.834240:0.090260:0.000000:0.000000:0.000000:0.000000:0.000000 ):@0.865416:0.104493:0.870459:0.104493:0.870459:0.089129:0.865416:0.089129:0.000000 V:@0.217316:0.126596:0.225843:0.126596:0.225843:0.111697:0.217316:0.111697:0.000000 V:@0.292199:0.126596:0.300726:0.126596:0.300726:0.111697:0.292199:0.111697:0.000000 V:@0.367083:0.126596:0.375610:0.126596:0.375610:0.111697:0.367083:0.111697:0.000000 V:@0.217316:0.148700:0.225843:0.148700:0.225843:0.133801:0.217316:0.133801:0.000000 V:@0.292199:0.148700:0.300726:0.148700:0.300726:0.133801:0.292199:0.133801:0.000000 F:@0.367468:0.148700:0.375208:0.148700:0.375208:0.133801:0.367468:0.133801:0.000000 V:@0.217316:0.170803:0.225843:0.170803:0.225843:0.155904:0.217316:0.155904:0.000000 F:@0.292585:0.170803:0.300324:0.170803:0.300324:0.155904:0.292585:0.155904:0.000000 V:@0.367066:0.170803:0.375593:0.170803:0.375593:0.155904:0.367066:0.155904:0.000000 V:@0.217300:0.192906:0.225827:0.192906:0.225827:0.178007:0.217300:0.178007:0.000000 F:@0.292568:0.192906:0.300308:0.192906:0.300308:0.178007:0.292568:0.178007:0.000000 F:@0.367451:0.192906:0.375191:0.192906:0.375191:0.178007:0.367451:0.178007:0.000000 F:@0.217685:0.215010:0.225424:0.215010:0.225424:0.200111:0.217685:0.200111:0.000000 V:@0.292166:0.215010:0.300693:0.215010:0.300693:0.200111:0.292166:0.200111:0.000000 V:@0.367049:0.215010:0.375576:0.215010:0.375576:0.200111:0.367049:0.200111:0.000000 F:@0.217685:0.237113:0.225424:0.237113:0.225424:0.222214:0.217685:0.222214:0.000000 V:@0.292166:0.237113:0.300693:0.237113:0.300693:0.222214:0.292166:0.222214:0.000000 F:@0.367435:0.237113:0.375174:0.237113:0.375174:0.222214:0.367435:0.222214:0.000000 F:@0.217668:0.259216:0.225408:0.259216:0.225408:0.244317:0.217668:0.244317:0.000000 F:@0.292551:0.259216:0.300291:0.259216:0.300291:0.244317:0.292551:0.244317:0.000000 V:@0.367032:0.259216:0.375559:0.259216:0.375559:0.244317:0.367032:0.244317:0.000000 F:@0.217668:0.281320:0.225408:0.281320:0.225408:0.266421:0.217668:0.266421:0.000000 F:@0.292551:0.281320:0.300291:0.281320:0.300291:0.266421:0.292551:0.266421:0.000000 F:@0.367435:0.281320:0.375174:0.281320:0.375174:0.266421:0.367435:0.266421:0.000000 b) :@0.148536:0.106693:0.168567:0.106693:0.168567:0.089793:0.148536:0.089793:0.000000:0.000000:0.000000 p:@0.216998:0.323361:0.226128:0.323361:0.226128:0.309129:0.216998:0.309129:0.000000 q:@0.291881:0.323361:0.301011:0.323361:0.301011:0.309129:0.291881:0.309129:0.000000 r:@0.368423:0.323361:0.374236:0.323361:0.374236:0.309129:0.368423:0.309129:0.000000 p :@0.418630:0.323361:0.430826:0.323361:0.430826:0.309129:0.418630:0.309129:0.000000:0.000000 ∨ :@0.430826:0.323978:0.445115:0.323978:0.445115:0.309820:0.430826:0.309820:0.000000:0.000000 (:@0.445115:0.323361:0.450158:0.323361:0.450158:0.307997:0.445115:0.307997:0.000000 q r:@0.450158:0.323361:0.482456:0.323361:0.482456:0.309129:0.450158:0.309129:0.000000:0.000000:0.000000:0.000000 ∨ :@0.462354:0.323978:0.476643:0.323978:0.476643:0.309820:0.462354:0.309820:0.000000:0.000000 ):@0.482456:0.323361:0.487499:0.323361:0.487499:0.307997:0.482456:0.307997:0.000000 (:@0.508255:0.323361:0.513298:0.323361:0.513298:0.307997:0.508255:0.307997:0.000000 p q:@0.513298:0.323361:0.554224:0.323361:0.554224:0.309129:0.513298:0.309129:0.000000:0.000000:0.000000:0.000000:0.000000 →:@0.525493:0.323978:0.542028:0.323978:0.542028:0.309820:0.525493:0.309820:0.000000 ) :@0.554224:0.323361:0.562734:0.323361:0.562734:0.307997:0.554224:0.307997:0.000000:0.000000 ∧:@0.562734:0.323978:0.572836:0.323978:0.572836:0.309820:0.562734:0.309820:0.000000 r:@0.572836:0.323361:0.581714:0.323361:0.581714:0.309129:0.572836:0.309129:0.000000:0.000000 (:@0.602839:0.323361:0.607882:0.323361:0.607882:0.307997:0.602839:0.307997:0.000000 ∼ ↔ →:@0.607882:0.323978:0.681776:0.323978:0.681776:0.309820:0.607882:0.309820:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p :@0.617079:0.323361:0.629274:0.323361:0.629274:0.309129:0.617079:0.309129:0.000000:0.000000 r:@0.650919:0.323361:0.656732:0.323361:0.656732:0.309129:0.650919:0.309129:0.000000 ) :@0.656732:0.323361:0.665242:0.323361:0.665242:0.307997:0.656732:0.307997:0.000000:0.000000 q:@0.681776:0.323361:0.693972:0.323361:0.693972:0.309129:0.681776:0.309129:0.000000:0.000000 p q r:@0.714628:0.323361:0.779577:0.323361:0.779577:0.309129:0.714628:0.309129:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 ∨:@0.726824:0.323978:0.736925:0.323978:0.736925:0.309820:0.726824:0.309820:0.000000 (:@0.736925:0.323361:0.741968:0.323361:0.741968:0.307997:0.736925:0.307997:0.000000 →:@0.754164:0.323978:0.770698:0.323978:0.770698:0.309820:0.754164:0.309820:0.000000 ):@0.779577:0.323361:0.784619:0.323361:0.784619:0.307997:0.779577:0.307997:0.000000 V:@0.217316:0.345465:0.225843:0.345465:0.225843:0.330566:0.217316:0.330566:0.000000 V:@0.292199:0.345465:0.300726:0.345465:0.300726:0.330566:0.292199:0.330566:0.000000 V:@0.367083:0.345465:0.375610:0.345465:0.375610:0.330566:0.367083:0.330566:0.000000 V:@0.217316:0.367568:0.225843:0.367568:0.225843:0.352669:0.217316:0.352669:0.000000 V:@0.292199:0.367568:0.300726:0.367568:0.300726:0.352669:0.292199:0.352669:0.000000 F:@0.367468:0.367568:0.375208:0.367568:0.375208:0.352669:0.367468:0.352669:0.000000 V:@0.217316:0.389672:0.225843:0.389672:0.225843:0.374773:0.217316:0.374773:0.000000 F:@0.292585:0.389672:0.300324:0.389672:0.300324:0.374773:0.292585:0.374773:0.000000 V:@0.367066:0.389672:0.375593:0.389672:0.375593:0.374773:0.367066:0.374773:0.000000 V:@0.217300:0.411775:0.225827:0.411775:0.225827:0.396876:0.217300:0.396876:0.000000 F:@0.292568:0.411775:0.300308:0.411775:0.300308:0.396876:0.292568:0.396876:0.000000 F:@0.367451:0.411775:0.375191:0.411775:0.375191:0.396876:0.367451:0.396876:0.000000 F:@0.217685:0.433878:0.225424:0.433878:0.225424:0.418979:0.217685:0.418979:0.000000 V:@0.292166:0.433878:0.300693:0.433878:0.300693:0.418979:0.292166:0.418979:0.000000 V:@0.367049:0.433878:0.375576:0.433878:0.375576:0.418979:0.367049:0.418979:0.000000 F:@0.217685:0.455982:0.225424:0.455982:0.225424:0.441083:0.217685:0.441083:0.000000 V:@0.292166:0.455982:0.300693:0.455982:0.300693:0.441083:0.292166:0.441083:0.000000 F:@0.367435:0.455982:0.375174:0.455982:0.375174:0.441083:0.367435:0.441083:0.000000 F:@0.217668:0.478085:0.225408:0.478085:0.225408:0.463186:0.217668:0.463186:0.000000 F:@0.292551:0.478085:0.300291:0.478085:0.300291:0.463186:0.292551:0.463186:0.000000 V:@0.367032:0.478085:0.375559:0.478085:0.375559:0.463186:0.367032:0.463186:0.000000 F:@0.217668:0.500188:0.225408:0.500188:0.225408:0.485289:0.217668:0.485289:0.000000 F:@0.292551:0.500188:0.300291:0.500188:0.300291:0.485289:0.292551:0.485289:0.000000 F:@0.367435:0.500188:0.375174:0.500188:0.375174:0.485289:0.367435:0.485289:0.000000 c) :@0.148536:0.326928:0.166171:0.326928:0.166171:0.310028:0.148536:0.310028:0.000000:0.000000:0.000000 F:@0.442931:0.129784:0.450670:0.129784:0.450670:0.114885:0.442931:0.114885:0.000000 F:@0.442931:0.151786:0.450670:0.151786:0.450670:0.136887:0.442931:0.136887:0.000000 F:@0.442931:0.173789:0.450670:0.173789:0.450670:0.158890:0.442931:0.158890:0.000000 F:@0.442931:0.195792:0.450670:0.195792:0.450670:0.180893:0.442931:0.180893:0.000000 V:@0.442546:0.217795:0.451073:0.217795:0.451073:0.202896:0.442546:0.202896:0.000000 V:@0.442546:0.239797:0.451073:0.239797:0.451073:0.224898:0.442546:0.224898:0.000000 V:@0.442546:0.261800:0.451073:0.261800:0.451073:0.246901:0.442546:0.246901:0.000000 V:@0.442546:0.283803:0.451073:0.283803:0.451073:0.268904:0.442546:0.268904:0.000000 F:@0.515016:0.129784:0.522756:0.129784:0.522756:0.114885:0.515016:0.114885:0.000000 F:@0.515016:0.151786:0.522756:0.151786:0.522756:0.136887:0.515016:0.136887:0.000000 V:@0.514631:0.173789:0.523158:0.173789:0.523158:0.158890:0.514631:0.158890:0.000000 V:@0.514631:0.195792:0.523158:0.195792:0.523158:0.180893:0.514631:0.180893:0.000000 F:@0.515016:0.217795:0.522756:0.217795:0.522756:0.202896:0.515016:0.202896:0.000000 F:@0.515016:0.239797:0.522756:0.239797:0.522756:0.224898:0.515016:0.224898:0.000000 V:@0.514631:0.261800:0.523158:0.261800:0.523158:0.246901:0.514631:0.246901:0.000000 V:@0.514631:0.283803:0.523158:0.283803:0.523158:0.268904:0.514631:0.268904:0.000000 F:@0.593987:0.129784:0.601727:0.129784:0.601727:0.114885:0.593987:0.114885:0.000000 V:@0.593602:0.151786:0.602129:0.151786:0.602129:0.136887:0.593602:0.136887:0.000000 F:@0.593987:0.173789:0.601727:0.173789:0.601727:0.158890:0.593987:0.158890:0.000000 V:@0.593602:0.195792:0.602129:0.195792:0.602129:0.180893:0.593602:0.180893:0.000000 F:@0.593987:0.217795:0.601727:0.217795:0.601727:0.202896:0.593987:0.202896:0.000000 V:@0.593602:0.239797:0.602129:0.239797:0.602129:0.224898:0.593602:0.224898:0.000000 F:@0.593987:0.261800:0.601727:0.261800:0.601727:0.246901:0.593987:0.246901:0.000000 V:@0.593602:0.283803:0.602129:0.283803:0.602129:0.268904:0.593602:0.268904:0.000000 V:@0.669205:0.129784:0.677732:0.129784:0.677732:0.114885:0.669205:0.114885:0.000000 V:@0.669205:0.151786:0.677732:0.151786:0.677732:0.136887:0.669205:0.136887:0.000000 V:@0.669205:0.173789:0.677732:0.173789:0.677732:0.158890:0.669205:0.158890:0.000000 V:@0.669205:0.195792:0.677732:0.195792:0.677732:0.180893:0.669205:0.180893:0.000000 V:@0.669205:0.217795:0.677732:0.217795:0.677732:0.202896:0.669205:0.202896:0.000000 V:@0.669205:0.239797:0.677732:0.239797:0.677732:0.224898:0.669205:0.224898:0.000000 F:@0.669591:0.261800:0.677330:0.261800:0.677330:0.246901:0.669591:0.246901:0.000000 F:@0.669591:0.283803:0.677330:0.283803:0.677330:0.268904:0.669591:0.268904:0.000000 V:@0.744876:0.129784:0.753403:0.129784:0.753403:0.114885:0.744876:0.114885:0.000000 V:@0.744876:0.151786:0.753403:0.151786:0.753403:0.136887:0.744876:0.136887:0.000000 F:@0.745261:0.173789:0.753001:0.173789:0.753001:0.158890:0.745261:0.158890:0.000000 V:@0.744876:0.195792:0.753403:0.195792:0.753403:0.180893:0.744876:0.180893:0.000000 V:@0.744876:0.217795:0.753403:0.217795:0.753403:0.202896:0.744876:0.202896:0.000000 V:@0.744876:0.239797:0.753403:0.239797:0.753403:0.224898:0.744876:0.224898:0.000000 F:@0.745261:0.261800:0.753001:0.261800:0.753001:0.246901:0.745261:0.246901:0.000000 V:@0.744876:0.283803:0.753403:0.283803:0.753403:0.268904:0.744876:0.268904:0.000000 V:@0.831235:0.129784:0.839762:0.129784:0.839762:0.114885:0.831235:0.114885:0.000000 V:@0.831235:0.151786:0.839762:0.151786:0.839762:0.136887:0.831235:0.136887:0.000000 V:@0.831235:0.173789:0.839762:0.173789:0.839762:0.158890:0.831235:0.158890:0.000000 V:@0.831235:0.195792:0.839762:0.195792:0.839762:0.180893:0.831235:0.180893:0.000000 F:@0.831620:0.217795:0.839360:0.217795:0.839360:0.202896:0.831620:0.202896:0.000000 F:@0.831620:0.239797:0.839360:0.239797:0.839360:0.224898:0.831620:0.224898:0.000000 V:@0.831235:0.261800:0.839762:0.261800:0.839762:0.246901:0.831235:0.246901:0.000000 F:@0.831620:0.283803:0.839360:0.283803:0.839360:0.268904:0.831620:0.268904:0.000000 V:@0.449247:0.347397:0.457773:0.347397:0.457773:0.332498:0.449247:0.332498:0.000000 V:@0.449247:0.369400:0.457773:0.369400:0.457773:0.354501:0.449247:0.354501:0.000000 V:@0.449247:0.391403:0.457773:0.391403:0.457773:0.376504:0.449247:0.376504:0.000000 V:@0.449247:0.413406:0.457773:0.413406:0.457773:0.398507:0.449247:0.398507:0.000000 V:@0.449247:0.435408:0.457773:0.435408:0.457773:0.420509:0.449247:0.420509:0.000000 V:@0.449247:0.457411:0.457773:0.457411:0.457773:0.442512:0.449247:0.442512:0.000000 V:@0.449247:0.479414:0.457773:0.479414:0.457773:0.464515:0.449247:0.464515:0.000000 F:@0.449632:0.501417:0.457371:0.501417:0.457371:0.486518:0.449632:0.486518:0.000000 V:@0.543227:0.347397:0.551754:0.347397:0.551754:0.332498:0.543227:0.332498:0.000000 F:@0.543613:0.369400:0.551352:0.369400:0.551352:0.354501:0.543613:0.354501:0.000000 F:@0.543613:0.391403:0.551352:0.391403:0.551352:0.376504:0.543613:0.376504:0.000000 F:@0.543613:0.413406:0.551352:0.413406:0.551352:0.398507:0.543613:0.398507:0.000000 V:@0.543227:0.435408:0.551754:0.435408:0.551754:0.420509:0.543227:0.420509:0.000000 F:@0.543613:0.457411:0.551352:0.457411:0.551352:0.442512:0.543613:0.442512:0.000000 V:@0.543227:0.479414:0.551754:0.479414:0.551754:0.464515:0.543227:0.464515:0.000000 F:@0.543613:0.501417:0.551352:0.501417:0.551352:0.486518:0.543613:0.486518:0.000000 V:@0.638800:0.564998:0.647327:0.564998:0.647327:0.550099:0.638800:0.550099:0.000000 F:@0.639185:0.591402:0.646925:0.591402:0.646925:0.576503:0.639185:0.576503:0.000000 V:@0.638800:0.617805:0.647327:0.617805:0.647327:0.602906:0.638800:0.602906:0.000000 V:@0.638800:0.644208:0.647327:0.644208:0.647327:0.629309:0.638800:0.629309:0.000000 V:@0.638800:0.670612:0.647327:0.670612:0.647327:0.655713:0.638800:0.655713:0.000000 V:@0.647176:0.347397:0.655703:0.347397:0.655703:0.332498:0.647176:0.332498:0.000000 V:@0.647176:0.369400:0.655703:0.369400:0.655703:0.354501:0.647176:0.354501:0.000000 V:@0.647176:0.391403:0.655703:0.391403:0.655703:0.376504:0.647176:0.376504:0.000000 F:@0.647561:0.413406:0.655301:0.413406:0.655301:0.398507:0.647561:0.398507:0.000000 V:@0.647176:0.435408:0.655703:0.435408:0.655703:0.420509:0.647176:0.420509:0.000000 V:@0.647176:0.457411:0.655703:0.457411:0.655703:0.442512:0.647176:0.442512:0.000000 F:@0.647561:0.479414:0.655301:0.479414:0.655301:0.464515:0.647561:0.464515:0.000000 V:@0.647176:0.501417:0.655703:0.501417:0.655703:0.486518:0.647176:0.486518:0.000000 V:@0.746116:0.347397:0.754643:0.347397:0.754643:0.332498:0.746116:0.332498:0.000000 V:@0.746116:0.369400:0.754643:0.369400:0.754643:0.354501:0.746116:0.354501:0.000000 V:@0.746116:0.391403:0.754643:0.391403:0.754643:0.376504:0.746116:0.376504:0.000000 V:@0.746116:0.413406:0.754643:0.413406:0.754643:0.398507:0.746116:0.398507:0.000000 V:@0.746116:0.435408:0.754643:0.435408:0.754643:0.420509:0.746116:0.420509:0.000000 F:@0.746501:0.457411:0.754241:0.457411:0.754241:0.442512:0.746501:0.442512:0.000000 V:@0.746116:0.479414:0.754643:0.479414:0.754643:0.464515:0.746116:0.464515:0.000000 V:@0.746116:0.501417:0.754643:0.501417:0.754643:0.486518:0.746116:0.486518:0.000000