\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.000000 0 0.270677 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 5 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 5 BLOCK 1 R1002 R1003 R1004 R1005 R1006 R1007 R1008 R1009 R1010 R1011 R1012 R1013 R1014 R1045 R1046 R1047 R1048 R1049 R1050 R1075 R1076 R1077 R1078 R1079 R1080 R1081 R1082 R1083 R1084 R1085 R1086 R1087 R1088 R1089 BLOCK 2 R1015 R1016 R1019 R1020 R1023 R1024 R1027 R1028 R1096 R1097 R1098 R1102 R1103 R1104 R1108 R1109 R1110 BLOCK 3 R1017 R1018 R1021 R1022 R1025 R1026 R1099 R1100 R1101 R1105 R1106 R1107 BLOCK 4 R1029 R1030 R1033 R1034 R1037 R1038 R1041 R1042 R1117 R1118 R1119 R1123 R1124 R1125 R1129 R1130 R1131 BLOCK 5 R1031 R1032 R1035 R1036 R1039 R1040 R1043 R1044 R1120 R1121 R1122 R1126 R1127 R1128 R1132 R1133 R1134 MASTERCONSS R1051 R1052 R1053 R1054 R1055 R1056 R1057 R1058 R1059 R1060 R1061 R1062 R1063 R1064 R1065 R1066 R1067 R1068 R1069 R1070 R1071 R1072 R1073 R1074 R1090 R1091 R1092 R1093 R1094 R1095 R1111 R1112 R1113 R1114 R1115 R1116