You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@ctakes.apache.org by dl...@apache.org on 2012/10/18 19:59:49 UTC
svn commit: r1399753 [10/21] - in
/incubator/ctakes/trunk/ctakes-relation-extractor: models/em_pair/fold_0/
models/em_pair/fold_1/ resources/models/ resources/models/degree_of/
resources/models/em_pair/ resources/models/modifier_extractor/
Modified: incubator/ctakes/trunk/ctakes-relation-extractor/models/em_pair/fold_1/training-data.libsvm
URL: http://svn.apache.org/viewvc/incubator/ctakes/trunk/ctakes-relation-extractor/models/em_pair/fold_1/training-data.libsvm?rev=1399753&r1=1399752&r2=1399753&view=diff
==============================================================================
--- incubator/ctakes/trunk/ctakes-relation-extractor/models/em_pair/fold_1/training-data.libsvm (original)
+++ incubator/ctakes/trunk/ctakes-relation-extractor/models/em_pair/fold_1/training-data.libsvm Thu Oct 18 17:59:47 2012
@@ -86,10 +86,10 @@
1 22:1.0000000 23:1.0000000 24:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 34:1.0000000 37:1.0000000 38:1.0000000 40:1.0000000 43:1.0000000 45:1.5000000 46:2.0000000 47:1.0000000 115:1.0000000 123:1.0000000 198:1.0000000 962:1.0000000 966:1.0000000 967:1.0000000 968:1.0000000 969:1.0000000 970:1.0000000 971:1.0000000 972:1.0000000 973:1.0000000 974:1.0000000 975:1.0000000 980:1.0000000 981:1.0000000 1061:1.0000000 1062:1.0000000 1063:1.0000000 1064:1.0000000 1065:1.0000000 1066:1.0000000 1067:1.0000000 1068:1.0000000 1069:1.0000000 1070:1.0000000 1071:1.0000000 1072:1.0000000 1073:1.0000000 1074:1.0000000 1075:1.0000000
2 22:1.0000000 23:1.0000000 24:1.0000000 25:1.0000000 29:1.0000000 34:1.0000000 37:1.0000000 38:1.0000000 115:1.0000000 198:1.0000000 297:1.0000000 310:1.0000000 509:1.0000000 1003:1.0000000 1004:1.0000000 1005:1.0000000 1006:1.0000000 1007:1.0000000 1008:1.0000000 1009:1.0000000 1010:1.0000000 1011:1.0000000 1012:1.0000000 1016:1.0000000 1017:1.0000000 1061:1.0000000 1062:1.0000000 1063:1.0000000 1064:1.0000000 1065:1.0000000 1066:1.0000000 1067:1.0000000 1068:1.0000000 1069:1.0000000 1070:1.0000000 1071:1.0000000 1072:1.0000000 1073:1.0000000 1074:1.0000000
2 29:1.0000000 67:1.0000000 103:1.0000000 106:1.0000000 114:1.0000000 115:1.0000000 176:1.0000000 297:1.0000000 509:1.0000000 798:1.0000000 820:1.0000000 1076:1.0000000 1077:1.0000000 1078:1.0000000 1079:1.0000000 1080:1.0000000 1081:1.0000000 1082:1.0000000 1083:1.0000000 1084:1.0000000 1085:1.0000000 1086:1.0000000 1087:1.0000000 1088:1.0000000 1089:1.0000000 1090:1.0000000 1091:1.0000000 1092:1.0000000 1093:1.0000000 1094:1.0000000 1095:1.0000000 1096:1.0000000 1097:1.0000000 1098:1.0000000 1099:1.0000000 1100:1.0000000
-1 22:1.0000000 23:1.0000000 24:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 40:1.0000000 43:1.0000000 45:1.5000000 46:2.0000000 47:1.0000000 115:1.0000000 123:1.0000000 198:1.0000000 213:1.0000000 223:1.0000000 243:1.0000000 244:1.0000000 496:1.0000000 497:1.0000000 615:1.0000000 851:1.0000000 884:1.0000000 888:1.0000000 919:1.0000000 1101:1.0000000 1102:1.0000000 1103:1.0000000 1104:1.0000000 1105:1.0000000 1106:1.0000000 1107:1.0000000 1108:1.0000000 1109:1.0000000 1110:1.0000000 1111:1.0000000 1112:1.0000000 1113:1.0000000 1114:1.0000000 1115:1.0000000 1116:1.0000000 1117:1.0000000 1118:1.0000000 1119:1.0000000 1120:1.0000000 1121:1.0000000
-2 24:1.0000000 25:1.0000000 29:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:3.0000000 119:1.0000000 198:1.0000000 213:1.0000000 268:1.0000000 272:1.0000000 292:1.0000000 297:1.0000000 421:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 491:1.0000000 496:1.0000000 497:1.0000000 509:1.0000000 518:1.0000000 615:1.0000000 618:1.0000000 884:1.0000000 888:1.0000000 1101:1.0000000 1102:1.0000000 1103:1.0000000 1104:1.0000000 1105:1.0000000 1106:1.0000000 1107:1.0000000 1115:1.0000000 1116:1.0000000 1117:1.0000000 1118:1.0000000 1119:1.0000000 1122:1.0000000 1123:1.0000000 1124:1.0000000 1125:1.0000000 1126:1.0000000 1127:1.0000000 1128:1.0000000 1129:1.0000000 1130:1.0000000 1131:1.0000000 1132:1.0000000
-2 25:1.0000000 34:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 67:2.0000000 89:1.0000000 94:1.0000000 178:1.0000000 179:1.0000000 198:1.0000000 206:1.0000000 213:1.0000000 258:1.0000000 280:1.0000000 284:1.0000000 292:1.0000000 327:1.0000000 331:1.0000000 340:1.0000000 354:1.0000000 355:1.0000000 369:1.0000000 530:1.0000000 531:1.0000000 533:1.0000000 1102:1.0000000 1103:1.0000000 1104:1.0000000 1105:1.0000000 1115:1.0000000 1133:1.0000000 1134:1.0000000 1135:1.0000000 1136:1.0000000 1137:1.0000000 1138:1.0000000 1139:1.0000000 1140:1.0000000 1141:1.0000000 1142:1.0000000 1143:1.0000000 1144:1.0000000 1145:1.0000000 1146:1.0000000 1147:1.0000000 1148:1.0000000
-2 24:1.0000000 25:1.0000000 45:3.0000000 46:3.0000000 47:3.0000000 67:1.0000000 138:1.0000000 268:1.0000000 272:1.0000000 297:1.0000000 298:1.0000000 421:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 491:1.0000000 518:1.0000000 641:1.0000000 681:1.0000000 682:1.0000000 683:1.0000000 685:1.0000000 686:1.0000000 1115:1.0000000 1122:1.0000000 1123:1.0000000 1124:1.0000000 1125:1.0000000 1126:1.0000000 1127:1.0000000 1128:1.0000000 1129:1.0000000 1131:1.0000000 1149:1.0000000 1150:1.0000000 1151:1.0000000 1152:1.0000000 1153:1.0000000 1154:1.0000000 1155:1.0000000 1156:1.0000000 1157:1.0000000 1158:1.0000000 1159:1.0000000 1160:1.0000000
+1 22:1.0000000 23:1.0000000 24:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 40:1.0000000 43:1.0000000 45:1.5000000 46:2.0000000 47:1.0000000 115:1.0000000 123:1.0000000 198:1.0000000 213:1.0000000 223:1.0000000 243:1.0000000 244:1.0000000 496:1.0000000 497:1.0000000 615:1.0000000 851:1.0000000 884:1.0000000 888:1.0000000 919:1.0000000 1101:1.0000000 1102:1.0000000 1103:1.0000000 1104:1.0000000 1105:1.0000000 1106:1.0000000 1107:1.0000000 1108:1.0000000 1109:1.0000000 1110:1.0000000 1111:1.0000000 1112:1.0000000 1113:1.0000000 1114:1.0000000 1115:1.0000000 1116:1.0000000 1117:1.0000000 1118:1.0000000 1119:1.0000000 1120:1.0000000
+2 24:1.0000000 25:1.0000000 29:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:3.0000000 119:1.0000000 198:1.0000000 213:1.0000000 268:1.0000000 272:1.0000000 292:1.0000000 297:1.0000000 421:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 491:1.0000000 496:1.0000000 497:1.0000000 509:1.0000000 518:1.0000000 615:1.0000000 618:1.0000000 884:1.0000000 888:1.0000000 1101:1.0000000 1102:1.0000000 1103:1.0000000 1104:1.0000000 1105:1.0000000 1106:1.0000000 1107:1.0000000 1115:1.0000000 1116:1.0000000 1117:1.0000000 1118:1.0000000 1121:1.0000000 1122:1.0000000 1123:1.0000000 1124:1.0000000 1125:1.0000000 1126:1.0000000 1127:1.0000000 1128:1.0000000 1129:1.0000000 1130:1.0000000 1131:1.0000000 1132:1.0000000
+2 25:1.0000000 34:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 67:2.0000000 89:1.0000000 94:1.0000000 178:1.0000000 179:1.0000000 198:1.0000000 206:1.0000000 213:1.0000000 258:1.0000000 280:1.0000000 284:1.0000000 292:1.0000000 327:1.0000000 331:1.0000000 340:1.0000000 354:1.0000000 355:1.0000000 369:1.0000000 530:1.0000000 531:1.0000000 533:1.0000000 1102:1.0000000 1103:1.0000000 1104:1.0000000 1105:1.0000000 1130:1.0000000 1133:1.0000000 1134:1.0000000 1135:1.0000000 1136:1.0000000 1137:1.0000000 1138:1.0000000 1139:1.0000000 1140:1.0000000 1141:1.0000000 1142:1.0000000 1143:1.0000000 1144:1.0000000 1145:1.0000000 1146:1.0000000 1147:1.0000000 1148:1.0000000
+2 24:1.0000000 25:1.0000000 45:3.0000000 46:3.0000000 47:3.0000000 67:1.0000000 138:1.0000000 268:1.0000000 272:1.0000000 297:1.0000000 298:1.0000000 421:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 491:1.0000000 518:1.0000000 641:1.0000000 681:1.0000000 682:1.0000000 683:1.0000000 685:1.0000000 686:1.0000000 1121:1.0000000 1122:1.0000000 1123:1.0000000 1124:1.0000000 1125:1.0000000 1126:1.0000000 1127:1.0000000 1128:1.0000000 1130:1.0000000 1131:1.0000000 1149:1.0000000 1150:1.0000000 1151:1.0000000 1152:1.0000000 1153:1.0000000 1154:1.0000000 1155:1.0000000 1156:1.0000000 1157:1.0000000 1158:1.0000000 1159:1.0000000 1160:1.0000000
2 9:1.0000000 25:1.0000000 29:1.0000000 59:1.0000000 61:1.0000000 67:2.0000000 164:1.0000000 176:1.0000000 798:1.0000000 820:1.0000000 860:1.0000000 864:1.0000000 1066:1.0000000 1161:1.0000000 1162:1.0000000 1163:1.0000000 1164:1.0000000 1165:1.0000000 1166:1.0000000 1167:1.0000000 1168:1.0000000 1169:1.0000000 1170:1.0000000 1171:1.0000000 1172:1.0000000 1173:1.0000000 1174:1.0000000 1175:1.0000000 1176:1.0000000 1177:1.0000000 1178:1.0000000 1179:1.0000000 1180:1.0000000 1181:1.0000000 1182:1.0000000 1183:1.0000000 1184:1.0000000 1185:1.0000000 1186:1.0000000
2 20:1.0000000 24:1.0000000 25:1.0000000 30:1.0000000 45:4.5000000 46:5.0000000 47:4.0000000 64:1.0000000 67:1.0000000 89:1.0000000 90:1.0000000 376:1.0000000 380:1.0000000 520:1.0000000 524:1.0000000 542:1.0000000 545:1.0000000 897:1.0000000 1187:1.0000000 1188:1.0000000 1189:1.0000000 1190:1.0000000 1191:1.0000000 1192:1.0000000 1193:1.0000000 1194:1.0000000 1195:1.0000000 1196:1.0000000 1197:1.0000000 1198:1.0000000 1199:1.0000000 1200:1.0000000 1201:1.0000000 1202:1.0000000 1203:1.0000000 1204:1.0000000 1205:1.0000000 1206:1.0000000 1207:1.0000000 1208:1.0000000 1209:1.0000000 1210:1.0000000 1211:1.0000000 1212:1.0000000 1213:1.0000000 1214:1.0000000
2 24:1.0000000 45:4.0000000 46:4.0000000 47:4.0000000 54:1.0000000 64:1.0000000 67:2.0000000 89:1.0000000 115:1.0000000 119:1.0000000 181:1.0000000 297:1.0000000 310:1.0000000 353:1.0000000 542:1.0000000 545:1.0000000 897:1.0000000 1187:1.0000000 1188:1.0000000 1189:1.0000000 1190:1.0000000 1191:1.0000000 1192:1.0000000 1193:1.0000000 1194:1.0000000 1203:1.0000000 1204:1.0000000 1205:1.0000000 1206:1.0000000 1207:1.0000000 1208:1.0000000 1209:1.0000000 1215:1.0000000 1216:1.0000000 1217:1.0000000 1218:1.0000000 1219:1.0000000 1220:1.0000000 1221:1.0000000 1222:1.0000000 1223:1.0000000 1224:1.0000000 1225:1.0000000 1226:1.0000000 1227:1.0000000 1228:1.0000000 1229:1.0000000 1230:1.0000000
@@ -311,10 +311,10 @@
1 22:1.0000000 23:1.0000000 24:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 40:1.0000000 43:1.0000000 45:3.0000000 46:4.0000000 47:2.0000000 198:1.0000000 281:1.0000000 970:1.0000000 1066:1.0000000 1096:1.0000000 1098:1.0000000 1239:1.0000000 1357:1.0000000 1361:1.0000000 1419:1.0000000 1421:1.0000000 1425:1.0000000 1426:1.0000000 1581:1.0000000 1582:1.0000000 1583:1.0000000 1584:1.0000000 1585:1.0000000 1600:1.0000000 1601:1.0000000 1602:1.0000000 1604:1.0000000 1696:1.0000000 1725:1.0000000 1732:1.0000000 1897:1.0000000 1904:1.0000000 1956:1.0000000 1957:1.0000000 1958:1.0000000 1959:1.0000000 1960:1.0000000 1961:1.0000000 1962:1.0000000 1963:1.0000000 1964:1.0000000 1965:1.0000000 1966:1.0000000 1967:1.0000000 1968:1.0000000 1969:1.0000000 1970:1.0000000
1 9:1.0000000 22:1.0000000 23:1.0000000 24:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 40:1.0000000 43:1.0000000 45:3.0000000 46:4.0000000 47:2.0000000 281:1.0000000 970:1.0000000 1066:1.0000000 1096:1.0000000 1098:1.0000000 1239:1.0000000 1357:1.0000000 1361:1.0000000 1419:1.0000000 1421:1.0000000 1425:1.0000000 1426:1.0000000 1581:1.0000000 1582:1.0000000 1583:1.0000000 1584:1.0000000 1585:1.0000000 1600:1.0000000 1601:1.0000000 1602:1.0000000 1604:1.0000000 1725:1.0000000 1732:1.0000000 1957:1.0000000 1959:1.0000000 1960:1.0000000 1961:1.0000000 1963:1.0000000 1964:1.0000000 1967:1.0000000 1968:1.0000000 1969:1.0000000 1970:1.0000000 1971:1.0000000 1972:1.0000000 1973:1.0000000 1974:1.0000000
2 30:1.0000000 34:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 61:1.0000000 64:1.0000000 67:5.0000000 89:1.0000000 90:1.0000000 94:1.0000000 164:1.0000000 281:1.0000000 542:1.0000000 545:1.0000000 1066:1.0000000 1096:1.0000000 1098:1.0000000 1271:1.0000000 1431:1.0000000 1432:1.0000000 1436:1.0000000 1437:1.0000000 1438:1.0000000 1439:1.0000000 1440:1.0000000 1441:1.0000000 1442:1.0000000 1443:1.0000000 1444:1.0000000 1446:1.0000000 1447:1.0000000 1448:1.0000000 1449:1.0000000 1450:1.0000000 1451:1.0000000 1452:1.0000000 1453:1.0000000 1661:1.0000000 1865:1.0000000 1869:1.0000000 1957:1.0000000 1959:1.0000000 1963:1.0000000 1964:1.0000000 1975:1.0000000 1976:1.0000000 1977:1.0000000 1978:1.0000000 1979:1.0000000 1980:1.0000000
-2 24:3.0000000 25:1.0000000 45:6.5000000 46:9.0000000 47:4.0000000 61:1.0000000 67:19.0000000 108:1.0000000 113:1.0000000 119:2.0000000 133:1.0000000 138:1.0000000 152:1.0000000 153:1.0000000 259:1.0000000 292:1.0000000 327:1.0000000 331:1.0000000 594:1.0000000 597:1.0000000 598:1.0000000 733:1.0000000 740:1.0000000 742:1.0000000 1130:1.0000000 1181:1.0000000 1283:1.0000000 1291:1.0000000 1374:1.0000000 1981:1.0000000 1982:1.0000000 1983:1.0000000 1984:1.0000000 1985:1.0000000 1986:1.0000000 1987:1.0000000 1988:1.0000000 1989:1.0000000 1990:1.0000000 1991:1.0000000 1992:1.0000000 1993:1.0000000 1994:1.0000000 1995:1.0000000 1996:1.0000000 1997:1.0000000 1998:1.0000000 1999:1.0000000 2000:1.0000000 2001:1.0000000 2002:2.0000000 2003:2.0000000 2004:1.0000000 2005:1.0000000 2006:1.0000000 2007:1.0000000 2008:1.0000000 2009:1.0000000 2010:1.0000000 2011:1.0000000 2012:1.0000000 2013:1.0000000 2014:1.0000000 2015:1.0000000 2016:1.0000000 2017:1.0000000 2018:1.0000000 2019:1.00000
00 2020:1.0000000 2021:1.0000000 2022:1.0000000
+2 24:3.0000000 25:1.0000000 45:6.5000000 46:9.0000000 47:4.0000000 61:1.0000000 67:19.0000000 108:1.0000000 113:1.0000000 119:2.0000000 133:1.0000000 138:1.0000000 152:1.0000000 153:1.0000000 259:1.0000000 292:1.0000000 327:1.0000000 331:1.0000000 594:1.0000000 597:1.0000000 598:1.0000000 733:1.0000000 740:1.0000000 742:1.0000000 1129:1.0000000 1181:1.0000000 1283:1.0000000 1291:1.0000000 1374:1.0000000 1981:1.0000000 1982:1.0000000 1983:1.0000000 1984:1.0000000 1985:1.0000000 1986:1.0000000 1987:1.0000000 1988:1.0000000 1989:1.0000000 1990:1.0000000 1991:1.0000000 1992:1.0000000 1993:1.0000000 1994:1.0000000 1995:1.0000000 1996:1.0000000 1997:1.0000000 1998:1.0000000 1999:1.0000000 2000:1.0000000 2001:1.0000000 2002:2.0000000 2003:2.0000000 2004:1.0000000 2005:1.0000000 2006:1.0000000 2007:1.0000000 2008:1.0000000 2009:1.0000000 2010:1.0000000 2011:1.0000000 2012:1.0000000 2013:1.0000000 2014:1.0000000 2015:1.0000000 2016:1.0000000 2017:1.0000000 2018:1.0000000 2019:1.00000
00 2020:1.0000000 2021:1.0000000 2022:1.0000000
2 24:1.0000000 25:2.0000000 34:1.0000000 38:1.0000000 45:5.0000000 46:5.0000000 47:5.0000000 61:1.0000000 67:14.0000000 108:1.0000000 113:1.0000000 178:1.0000000 292:1.0000000 346:1.0000000 351:1.0000000 850:1.0000000 1139:1.0000000 1140:1.0000000 1985:1.0000000 2001:1.0000000 2002:2.0000000 2003:2.0000000 2004:1.0000000 2005:1.0000000 2006:1.0000000 2007:1.0000000 2023:1.0000000 2024:1.0000000 2025:1.0000000 2026:1.0000000 2027:1.0000000 2028:1.0000000 2029:1.0000000 2030:1.0000000 2031:1.0000000 2032:1.0000000 2033:1.0000000 2034:1.0000000 2035:1.0000000 2036:1.0000000 2037:1.0000000 2038:1.0000000 2039:1.0000000 2040:1.0000000 2041:1.0000000 2042:1.0000000 2043:1.0000000 2044:1.0000000 2045:1.0000000 2046:1.0000000 2047:1.0000000 2048:1.0000000 2049:1.0000000 2050:1.0000000 2051:1.0000000 2052:1.0000000 2053:1.0000000 2054:1.0000000 2055:1.0000000 2056:1.0000000 2057:1.0000000 2058:1.0000000 2059:1.0000000 2060:1.0000000
-2 24:1.0000000 25:1.0000000 34:1.0000000 38:1.0000000 45:6.0000000 46:7.0000000 47:5.0000000 61:1.0000000 67:17.0000000 108:1.0000000 113:1.0000000 119:1.0000000 259:1.0000000 267:1.0000000 268:1.0000000 272:1.0000000 292:1.0000000 1126:1.0000000 1130:1.0000000 1181:1.0000000 1265:1.0000000 1985:1.0000000 2001:1.0000000 2002:2.0000000 2003:2.0000000 2004:1.0000000 2005:1.0000000 2006:1.0000000 2007:1.0000000 2008:1.0000000 2023:1.0000000 2024:1.0000000 2025:1.0000000 2026:1.0000000 2027:1.0000000 2028:1.0000000 2029:1.0000000 2030:1.0000000 2031:1.0000000 2039:1.0000000 2041:1.0000000 2042:1.0000000 2045:1.0000000 2046:1.0000000 2048:1.0000000 2050:1.0000000 2051:1.0000000 2052:1.0000000 2053:1.0000000 2061:1.0000000 2062:1.0000000 2063:1.0000000 2064:1.0000000 2065:1.0000000 2066:1.0000000 2067:1.0000000 2068:1.0000000 2069:1.0000000 2070:1.0000000 2071:1.0000000 2072:1.0000000 2073:1.0000000 2074:1.0000000 2075:1.0000000 2076:1.0000000 2077:1.0000000 2078:1.0000000
-2 24:2.0000000 25:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:1.0000000 138:1.0000000 259:1.0000000 267:1.0000000 268:1.0000000 272:1.0000000 501:1.0000000 504:1.0000000 505:1.0000000 680:1.0000000 1126:1.0000000 1151:1.0000000 1152:1.0000000 1181:1.0000000 1265:1.0000000 1982:1.0000000 1984:1.0000000 2016:1.0000000 2061:1.0000000 2062:1.0000000 2063:1.0000000 2064:1.0000000 2065:1.0000000 2066:1.0000000 2067:1.0000000 2068:1.0000000 2069:1.0000000 2070:1.0000000 2072:1.0000000 2073:1.0000000 2075:1.0000000 2076:1.0000000 2077:1.0000000 2079:1.0000000 2080:1.0000000 2081:1.0000000 2082:1.0000000 2083:1.0000000 2084:1.0000000 2085:1.0000000 2086:1.0000000 2087:1.0000000 2088:1.0000000 2089:1.0000000 2090:1.0000000 2091:1.0000000 2092:1.0000000
+2 24:1.0000000 25:1.0000000 34:1.0000000 38:1.0000000 45:6.0000000 46:7.0000000 47:5.0000000 61:1.0000000 67:17.0000000 108:1.0000000 113:1.0000000 119:1.0000000 259:1.0000000 267:1.0000000 268:1.0000000 272:1.0000000 292:1.0000000 1125:1.0000000 1129:1.0000000 1181:1.0000000 1265:1.0000000 1985:1.0000000 2001:1.0000000 2002:2.0000000 2003:2.0000000 2004:1.0000000 2005:1.0000000 2006:1.0000000 2007:1.0000000 2008:1.0000000 2023:1.0000000 2024:1.0000000 2025:1.0000000 2026:1.0000000 2027:1.0000000 2028:1.0000000 2029:1.0000000 2030:1.0000000 2031:1.0000000 2039:1.0000000 2041:1.0000000 2042:1.0000000 2045:1.0000000 2046:1.0000000 2048:1.0000000 2050:1.0000000 2051:1.0000000 2052:1.0000000 2053:1.0000000 2061:1.0000000 2062:1.0000000 2063:1.0000000 2064:1.0000000 2065:1.0000000 2066:1.0000000 2067:1.0000000 2068:1.0000000 2069:1.0000000 2070:1.0000000 2071:1.0000000 2072:1.0000000 2073:1.0000000 2074:1.0000000 2075:1.0000000 2076:1.0000000 2077:1.0000000 2078:1.0000000
+2 24:2.0000000 25:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:1.0000000 138:1.0000000 259:1.0000000 267:1.0000000 268:1.0000000 272:1.0000000 501:1.0000000 504:1.0000000 505:1.0000000 680:1.0000000 1125:1.0000000 1151:1.0000000 1152:1.0000000 1181:1.0000000 1265:1.0000000 1982:1.0000000 1984:1.0000000 2016:1.0000000 2061:1.0000000 2062:1.0000000 2063:1.0000000 2064:1.0000000 2065:1.0000000 2066:1.0000000 2067:1.0000000 2068:1.0000000 2069:1.0000000 2070:1.0000000 2072:1.0000000 2073:1.0000000 2075:1.0000000 2076:1.0000000 2077:1.0000000 2079:1.0000000 2080:1.0000000 2081:1.0000000 2082:1.0000000 2083:1.0000000 2084:1.0000000 2085:1.0000000 2086:1.0000000 2087:1.0000000 2088:1.0000000 2089:1.0000000 2090:1.0000000 2091:1.0000000 2092:1.0000000
2 24:1.0000000 25:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:2.0000000 327:1.0000000 331:1.0000000 547:1.0000000 593:1.0000000 594:1.0000000 598:1.0000000 1181:1.0000000 1283:1.0000000 1291:1.0000000 1374:1.0000000 1714:1.0000000 1717:1.0000000 1991:1.0000000 1992:1.0000000 1993:1.0000000 1994:1.0000000 1995:1.0000000 1996:1.0000000 1997:1.0000000 1998:1.0000000 1999:1.0000000 2000:1.0000000 2010:1.0000000 2011:1.0000000 2014:1.0000000 2015:1.0000000 2019:1.0000000 2020:1.0000000 2021:1.0000000 2048:1.0000000 2074:1.0000000 2093:1.0000000 2094:1.0000000 2095:1.0000000 2096:1.0000000 2097:1.0000000 2098:1.0000000 2099:1.0000000 2100:1.0000000 2101:1.0000000 2102:1.0000000 2103:1.0000000 2104:1.0000000 2105:1.0000000 2106:1.0000000 2107:1.0000000 2108:1.0000000
2 24:1.0000000 25:2.0000000 45:2.0000000 46:2.0000000 47:2.0000000 67:1.0000000 176:1.0000000 268:1.0000000 272:1.0000000 418:1.0000000 427:1.0000000 594:1.0000000 598:1.0000000 733:1.0000000 742:1.0000000 798:1.0000000 799:1.0000000 897:1.0000000 1181:1.0000000 1988:1.0000000 2048:1.0000000 2074:1.0000000 2077:1.0000000 2107:1.0000000 2109:1.0000000 2110:1.0000000 2111:1.0000000 2112:1.0000000 2113:1.0000000 2114:1.0000000 2115:1.0000000 2116:1.0000000 2117:1.0000000 2118:1.0000000 2119:1.0000000 2120:1.0000000 2121:1.0000000 2122:1.0000000 2123:1.0000000 2124:1.0000000 2125:1.0000000 2126:1.0000000 2127:1.0000000 2128:1.0000000 2129:1.0000000 2130:1.0000000 2131:1.0000000
2 8:1.0000000 25:3.0000000 26:1.0000000 67:7.0000000 74:1.0000000 78:1.0000000 119:1.0000000 138:1.0000000 176:1.0000000 178:1.0000000 266:1.0000000 413:1.0000000 434:1.0000000 798:1.0000000 2033:1.0000000 2034:1.0000000 2041:1.0000000 2132:1.0000000 2133:1.0000000 2134:1.0000000 2135:1.0000000 2136:1.0000000 2137:1.0000000 2138:1.0000000 2139:1.0000000 2140:1.0000000 2141:1.0000000 2142:1.0000000 2143:1.0000000 2144:1.0000000 2145:1.0000000 2146:1.0000000 2147:1.0000000 2148:1.0000000 2149:1.0000000 2150:1.0000000 2151:1.0000000 2152:1.0000000 2153:1.0000000 2154:1.0000000 2155:1.0000000 2156:1.0000000 2157:1.0000000 2158:1.0000000 2159:1.0000000 2160:1.0000000 2161:1.0000000 2162:1.0000000 2163:1.0000000 2164:1.0000000 2165:1.0000000
@@ -328,30 +328,30 @@
2 9:1.0000000 24:1.0000000 26:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 45:3.5000000 46:5.0000000 47:2.0000000 59:1.0000000 61:1.0000000 67:1.0000000 310:1.0000000 427:1.0000000 519:1.0000000 594:1.0000000 598:1.0000000 635:1.0000000 636:1.0000000 637:1.0000000 638:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 744:1.0000000 745:1.0000000 1071:1.0000000 1098:1.0000000 1238:1.0000000 1241:1.0000000 1510:1.0000000 2054:1.0000000 2055:1.0000000 2224:1.0000000 2226:1.0000000 2286:1.0000000 2287:1.0000000 2288:1.0000000 2289:1.0000000 2290:1.0000000 2291:1.0000000 2292:1.0000000 2293:1.0000000 2294:1.0000000 2295:1.0000000 2296:1.0000000
2 9:1.0000000 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 45:4.0000000 46:5.0000000 47:3.0000000 59:1.0000000 61:4.0000000 67:14.0000000 119:3.0000000 178:1.0000000 181:1.0000000 184:1.0000000 185:1.0000000 259:1.0000000 413:1.0000000 434:1.0000000 529:1.0000000 594:1.0000000 598:1.0000000 635:1.0000000 636:1.0000000 637:1.0000000 638:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 744:1.0000000 745:1.0000000 998:1.0000000 1071:1.0000000 2066:1.0000000 2069:1.0000000 2286:1.0000000 2287:1.0000000 2288:1.0000000 2297:1.0000000 2298:1.0000000 2299:1.0000000 2300:1.0000000 2301:1.0000000 2302:1.0000000 2303:1.0000000 2304:1.0000000 2305:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2312:1.0000000 2313:1.0000000 2314:1.0000000 2315:1.0000000
2 9:1.0000000 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 45:5.0000000 46:5.0000000 47:5.0000000 59:1.0000000 61:4.0000000 67:16.0000000 119:4.0000000 178:1.0000000 259:1.0000000 310:1.0000000 327:1.0000000 331:1.0000000 364:1.0000000 413:1.0000000 434:1.0000000 529:1.0000000 533:1.0000000 594:1.0000000 598:1.0000000 635:1.0000000 636:1.0000000 637:1.0000000 638:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 744:1.0000000 745:1.0000000 1071:1.0000000 2122:1.0000000 2125:1.0000000 2126:1.0000000 2228:1.0000000 2286:1.0000000 2287:1.0000000 2288:1.0000000 2305:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2320:1.0000000 2321:1.0000000 2322:1.0000000 2323:1.0000000 2324:1.0000000 2325:1.0000000 2326:1.0000000
-2 9:1.0000000 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 45:4.5000000 46:5.0000000 47:4.0000000 59:1.0000000 61:5.0000000 67:20.0000000 119:5.0000000 178:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 529:1.0000000 594:1.0000000 598:1.0000000 635:1.0000000 636:1.0000000 637:1.0000000 638:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 744:1.0000000 745:1.0000000 970:1.0000000 1071:1.0000000 1115:1.0000000 2126:1.0000000 2286:1.0000000 2287:1.0000000 2288:1.0000000 2304:1.0000000 2305:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2322:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2331:1.0000000 2332:1.0000000 2333:1.0000000 2334:1.0000000 2335:1.0000000 2336:1.0000000 2337:1.0000000 2338:1.0000000
+2 9:1.0000000 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 45:4.5000000 46:5.0000000 47:4.0000000 59:1.0000000 61:5.0000000 67:20.0000000 119:5.0000000 178:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 529:1.0000000 594:1.0000000 598:1.0000000 635:1.0000000 636:1.0000000 637:1.0000000 638:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 744:1.0000000 745:1.0000000 970:1.0000000 1071:1.0000000 1130:1.0000000 2126:1.0000000 2286:1.0000000 2287:1.0000000 2288:1.0000000 2304:1.0000000 2305:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2322:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2331:1.0000000 2332:1.0000000 2333:1.0000000 2334:1.0000000 2335:1.0000000 2336:1.0000000 2337:1.0000000 2338:1.0000000
2 9:1.0000000 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 45:4.0000000 46:5.0000000 47:3.0000000 59:1.0000000 61:5.0000000 67:29.0000000 74:1.0000000 78:1.0000000 108:1.0000000 119:7.0000000 178:1.0000000 259:1.0000000 413:1.0000000 434:1.0000000 485:1.0000000 529:1.0000000 594:1.0000000 598:1.0000000 635:1.0000000 636:1.0000000 637:1.0000000 638:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 744:1.0000000 745:1.0000000 1071:1.0000000 2126:1.0000000 2165:1.0000000 2286:1.0000000 2287:1.0000000 2288:1.0000000 2304:1.0000000 2305:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2322:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2332:1.0000000 2334:2.0000000 2335:1.0000000 2339:1.0000000 2340:1.0000000 2341:1.0000000 2342:1.0000000 2343:1.0000000 2344:1.0000000 2345:1.0000000 2346:1.0000000 2347:1.0000000 2348:1.0000000 2349:1.0000000 2350:1.0000000 2351:1.0000000 2352:1.0000000 2353:1.00000
00 2354:1.0000000 2355:1.0000000 2356:1.0000000
2 9:1.0000000 20:1.0000000 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 45:5.0000000 46:5.0000000 47:5.0000000 59:1.0000000 61:5.0000000 67:31.0000000 108:1.0000000 119:8.0000000 178:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 485:1.0000000 529:1.0000000 594:1.0000000 598:1.0000000 635:1.0000000 636:1.0000000 637:1.0000000 638:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 744:1.0000000 745:1.0000000 1071:1.0000000 2126:1.0000000 2286:1.0000000 2287:1.0000000 2288:1.0000000 2305:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2322:1.0000000 2334:2.0000000 2335:1.0000000 2344:2.0000000 2345:2.0000000 2346:1.0000000 2347:1.0000000 2348:1.0000000 2349:1.0000000 2350:1.0000000 2351:1.0000000 2352:1.0000000 2357:1.0000000 2358:1.0000000 2359:1.0000000 2360:1.0000000 2361:1.0000000 2362:1.0000000 2363:1.000000
0 2364:1.0000000 2365:1.0000000 2366:1.0000000
-2 9:1.0000000 25:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 59:1.0000000 61:3.0000000 67:12.0000000 89:1.0000000 119:2.0000000 178:1.0000000 179:1.0000000 181:1.0000000 184:1.0000000 185:1.0000000 259:1.0000000 413:1.0000000 434:1.0000000 672:1.0000000 770:1.0000000 998:1.0000000 1096:1.0000000 1167:1.0000000 1831:1.0000000 2066:1.0000000 2069:1.0000000 2086:1.0000000 2087:1.0000000 2297:1.0000000 2298:1.0000000 2299:1.0000000 2300:1.0000000 2301:1.0000000 2302:1.0000000 2303:1.0000000 2304:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2312:1.0000000 2313:1.0000000 2314:1.0000000 2367:1.0000000 2368:1.0000000 2369:1.0000000 2370:1.0000000 2371:1.0000000 2372:1.0000000 2373:1.0000000 2374:1.0000000 2375:1.0000000 2376:1.0000000
-2 9:1.0000000 25:1.0000000 45:3.0000000 46:4.0000000 47:2.0000000 59:1.0000000 61:4.0000000 67:18.0000000 89:1.0000000 119:4.0000000 178:1.0000000 179:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 672:1.0000000 770:1.0000000 970:1.0000000 1096:1.0000000 1115:1.0000000 1167:1.0000000 1831:1.0000000 2086:1.0000000 2087:1.0000000 2126:1.0000000 2304:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2322:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2331:1.0000000 2332:1.0000000 2333:1.0000000 2334:1.0000000 2335:1.0000000 2336:1.0000000 2337:1.0000000 2367:1.0000000 2368:1.0000000 2369:1.0000000 2370:1.0000000 2371:1.0000000 2372:1.0000000 2373:1.0000000 2374:1.0000000 2375:1.0000000 2377:1.0000000
-2 9:1.0000000 25:1.0000000 45:3.0000000 46:4.0000000 47:2.0000000 56:1.0000000 59:1.0000000 61:4.0000000 67:20.0000000 89:1.0000000 119:5.0000000 178:1.0000000 179:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 485:1.0000000 672:1.0000000 770:1.0000000 818:1.0000000 1096:1.0000000 1115:1.0000000 1128:1.0000000 1167:1.0000000 1831:1.0000000 2086:1.0000000 2087:1.0000000 2126:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2322:1.0000000 2334:1.0000000 2335:1.0000000 2344:1.0000000 2345:1.0000000 2358:1.0000000 2359:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2367:1.0000000 2368:1.0000000 2369:1.0000000 2370:1.0000000 2371:1.0000000 2372:1.0000000 2373:1.0000000 2374:1.0000000 2375:1.0000000 2378:1.0000000 2379:1.0000000
-2 9:1.0000000 20:1.0000000 25:1.0000000 45:3.5000000 46:5.0000000 47:2.0000000 59:1.0000000 61:4.0000000 67:29.0000000 89:1.0000000 108:1.0000000 119:7.0000000 178:1.0000000 179:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 485:1.0000000 672:1.0000000 770:1.0000000 1096:1.0000000 1167:1.0000000 1831:1.0000000 2086:1.0000000 2087:1.0000000 2126:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2322:1.0000000 2334:2.0000000 2335:1.0000000 2344:2.0000000 2345:2.0000000 2346:1.0000000 2347:1.0000000 2348:1.0000000 2349:1.0000000 2350:1.0000000 2351:1.0000000 2352:1.0000000 2357:1.0000000 2358:1.0000000 2359:1.0000000 2360:1.0000000 2361:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2367:1.0000000 2368:1.0000000 2369:1.0000000 2370:1.0000000 2371:1.0000000 2372:1.0000000 2373:1.0000000 2374:1.0000000
2375:1.0000000 2380:1.0000000
+2 9:1.0000000 25:1.0000000 26:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 59:1.0000000 61:3.0000000 67:12.0000000 89:1.0000000 119:2.0000000 178:1.0000000 179:1.0000000 181:1.0000000 184:1.0000000 185:1.0000000 259:1.0000000 413:1.0000000 434:1.0000000 672:1.0000000 770:1.0000000 998:1.0000000 1096:1.0000000 1167:1.0000000 1831:1.0000000 2066:1.0000000 2069:1.0000000 2086:1.0000000 2087:1.0000000 2297:1.0000000 2298:1.0000000 2299:1.0000000 2300:1.0000000 2301:1.0000000 2302:1.0000000 2303:1.0000000 2304:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2312:1.0000000 2313:1.0000000 2314:1.0000000 2367:1.0000000 2368:1.0000000 2369:1.0000000 2370:1.0000000 2371:1.0000000 2372:1.0000000 2373:1.0000000 2374:1.0000000 2375:1.0000000 2376:1.0000000
+2 9:1.0000000 25:1.0000000 26:1.0000000 45:3.0000000 46:4.0000000 47:2.0000000 59:1.0000000 61:4.0000000 67:18.0000000 89:1.0000000 119:4.0000000 178:1.0000000 179:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 672:1.0000000 770:1.0000000 970:1.0000000 1096:1.0000000 1130:1.0000000 1167:1.0000000 1831:1.0000000 2086:1.0000000 2087:1.0000000 2126:1.0000000 2304:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2322:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2331:1.0000000 2332:1.0000000 2333:1.0000000 2334:1.0000000 2335:1.0000000 2336:1.0000000 2337:1.0000000 2367:1.0000000 2368:1.0000000 2369:1.0000000 2370:1.0000000 2371:1.0000000 2372:1.0000000 2373:1.0000000 2374:1.0000000 2375:1.0000000 2377:1.0000000
+2 9:1.0000000 25:1.0000000 26:1.0000000 45:3.0000000 46:4.0000000 47:2.0000000 56:1.0000000 59:1.0000000 61:4.0000000 67:20.0000000 89:1.0000000 119:5.0000000 178:1.0000000 179:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 485:1.0000000 672:1.0000000 770:1.0000000 818:1.0000000 1096:1.0000000 1127:1.0000000 1130:1.0000000 1167:1.0000000 1831:1.0000000 2086:1.0000000 2087:1.0000000 2126:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2322:1.0000000 2334:1.0000000 2335:1.0000000 2344:1.0000000 2345:1.0000000 2358:1.0000000 2359:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2367:1.0000000 2368:1.0000000 2369:1.0000000 2370:1.0000000 2371:1.0000000 2372:1.0000000 2373:1.0000000 2374:1.0000000 2375:1.0000000 2378:1.0000000 2379:1.0000000
+2 9:1.0000000 20:1.0000000 25:1.0000000 26:1.0000000 45:3.5000000 46:5.0000000 47:2.0000000 59:1.0000000 61:4.0000000 67:29.0000000 89:1.0000000 108:1.0000000 119:7.0000000 178:1.0000000 179:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 434:1.0000000 485:1.0000000 672:1.0000000 770:1.0000000 1096:1.0000000 1167:1.0000000 1831:1.0000000 2086:1.0000000 2087:1.0000000 2126:1.0000000 2306:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2322:1.0000000 2334:2.0000000 2335:1.0000000 2344:2.0000000 2345:2.0000000 2346:1.0000000 2347:1.0000000 2348:1.0000000 2349:1.0000000 2350:1.0000000 2351:1.0000000 2352:1.0000000 2357:1.0000000 2358:1.0000000 2359:1.0000000 2360:1.0000000 2361:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2367:1.0000000 2368:1.0000000 2369:1.0000000 2370:1.0000000 2371:1.0000000 2372:1.0000000 2373:1.0000000 23
74:1.0000000 2375:1.0000000 2380:1.0000000
2 24:1.0000000 30:1.0000000 45:3.5000000 46:4.0000000 47:3.0000000 61:1.0000000 67:4.0000000 83:1.0000000 138:1.0000000 139:1.0000000 268:1.0000000 310:1.0000000 403:1.0000000 407:1.0000000 413:1.0000000 418:1.0000000 444:1.0000000 446:1.0000000 856:1.0000000 884:1.0000000 887:1.0000000 888:1.0000000 970:1.0000000 1066:1.0000000 1098:1.0000000 1167:1.0000000 1844:1.0000000 2307:1.0000000 2308:1.0000000 2381:1.0000000 2382:1.0000000 2383:1.0000000 2384:1.0000000 2385:1.0000000 2386:1.0000000 2387:1.0000000 2388:1.0000000 2389:1.0000000 2390:1.0000000 2391:1.0000000 2392:1.0000000 2393:1.0000000 2394:1.0000000 2395:1.0000000 2396:1.0000000 2397:1.0000000 2398:1.0000000 2399:1.0000000 2400:1.0000000 2401:1.0000000
2 24:1.0000000 25:1.0000000 45:3.0000000 46:3.0000000 47:3.0000000 61:2.0000000 67:9.0000000 83:1.0000000 119:1.0000000 138:1.0000000 178:1.0000000 181:1.0000000 184:1.0000000 185:1.0000000 259:1.0000000 266:1.0000000 413:1.0000000 856:1.0000000 884:1.0000000 887:1.0000000 888:1.0000000 998:1.0000000 1066:1.0000000 1167:1.0000000 1844:1.0000000 2066:1.0000000 2069:1.0000000 2297:1.0000000 2298:1.0000000 2299:1.0000000 2300:1.0000000 2301:1.0000000 2302:1.0000000 2303:1.0000000 2304:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2312:1.0000000 2313:1.0000000 2314:1.0000000 2381:1.0000000 2382:1.0000000 2383:1.0000000 2384:1.0000000 2385:1.0000000 2386:1.0000000 2387:1.0000000 2395:1.0000000 2396:1.0000000 2397:1.0000000 2398:1.0000000 2402:1.0000000
2 24:1.0000000 25:1.0000000 45:4.0000000 46:5.0000000 47:3.0000000 61:2.0000000 67:11.0000000 83:1.0000000 119:2.0000000 138:1.0000000 178:1.0000000 259:1.0000000 266:1.0000000 310:1.0000000 327:1.0000000 331:1.0000000 364:1.0000000 413:1.0000000 533:1.0000000 856:1.0000000 884:1.0000000 887:1.0000000 888:1.0000000 1066:1.0000000 1167:1.0000000 1844:1.0000000 2122:1.0000000 2125:1.0000000 2126:1.0000000 2228:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2320:1.0000000 2321:1.0000000 2322:1.0000000 2323:1.0000000 2324:1.0000000 2325:1.0000000 2381:1.0000000 2382:1.0000000 2383:1.0000000 2384:1.0000000 2385:1.0000000 2386:1.0000000 2387:1.0000000 2395:1.0000000 2396:1.0000000 2397:1.0000000 2398:1.0000000 2403:1.0000000
-2 24:1.0000000 25:1.0000000 45:3.5000000 46:4.0000000 47:3.0000000 56:1.0000000 61:3.0000000 67:17.0000000 83:1.0000000 119:4.0000000 138:1.0000000 178:1.0000000 259:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 485:1.0000000 818:1.0000000 856:1.0000000 884:1.0000000 887:1.0000000 888:1.0000000 1066:1.0000000 1115:1.0000000 1128:1.0000000 1167:1.0000000 1844:1.0000000 2126:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2322:1.0000000 2334:1.0000000 2335:1.0000000 2344:1.0000000 2345:1.0000000 2358:1.0000000 2359:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2378:1.0000000 2381:1.0000000 2382:1.0000000 2383:1.0000000 2384:1.0000000 2385:1.0000000 2386:1.0000000 2387:1.0000000 2395:1.0000000 2396:1.0000000 2397:1.0000000 2398:1.0000000 2404:1.0000000
+2 24:1.0000000 25:1.0000000 45:3.5000000 46:4.0000000 47:3.0000000 56:1.0000000 61:3.0000000 67:17.0000000 83:1.0000000 119:4.0000000 138:1.0000000 178:1.0000000 259:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 485:1.0000000 818:1.0000000 856:1.0000000 884:1.0000000 887:1.0000000 888:1.0000000 1066:1.0000000 1127:1.0000000 1130:1.0000000 1167:1.0000000 1844:1.0000000 2126:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2322:1.0000000 2334:1.0000000 2335:1.0000000 2344:1.0000000 2345:1.0000000 2358:1.0000000 2359:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2378:1.0000000 2381:1.0000000 2382:1.0000000 2383:1.0000000 2384:1.0000000 2385:1.0000000 2386:1.0000000 2387:1.0000000 2395:1.0000000 2396:1.0000000 2397:1.0000000 2398:1.0000000 2404:1.0000000
2 20:1.0000000 24:1.0000000 25:1.0000000 45:4.0000000 46:5.0000000 47:3.0000000 61:3.0000000 67:26.0000000 83:1.0000000 108:1.0000000 119:6.0000000 138:1.0000000 178:1.0000000 259:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 413:1.0000000 485:1.0000000 856:1.0000000 884:1.0000000 887:1.0000000 888:1.0000000 1066:1.0000000 1167:1.0000000 1844:1.0000000 2126:1.0000000 2307:1.0000000 2308:1.0000000 2309:1.0000000 2310:1.0000000 2311:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2322:1.0000000 2334:2.0000000 2335:1.0000000 2344:2.0000000 2345:2.0000000 2346:1.0000000 2347:1.0000000 2348:1.0000000 2349:1.0000000 2350:1.0000000 2351:1.0000000 2352:1.0000000 2357:1.0000000 2358:1.0000000 2359:1.0000000 2360:1.0000000 2361:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2381:1.0000000 2382:1.0000000 2383:1.0000000 2384:1.0000000 2385:1.0000000 2386:1.0000000 2387:1.0000000 2395:1.0000000 2396:1.0000000 2397:1.0000000
2398:1.0000000 2405:1.0000000
-2 9:1.0000000 25:1.0000000 45:4.0000000 46:4.0000000 47:4.0000000 59:1.0000000 61:2.0000000 67:10.0000000 89:1.0000000 119:2.0000000 178:1.0000000 179:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 594:1.0000000 733:1.0000000 742:1.0000000 766:1.0000000 768:1.0000000 970:1.0000000 1066:1.0000000 1096:1.0000000 1115:1.0000000 2126:1.0000000 2239:1.0000000 2240:1.0000000 2241:1.0000000 2242:1.0000000 2304:1.0000000 2310:1.0000000 2311:1.0000000 2322:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2331:1.0000000 2332:1.0000000 2333:1.0000000 2334:1.0000000 2335:1.0000000 2336:1.0000000 2337:1.0000000 2406:1.0000000 2407:1.0000000 2408:1.0000000 2409:1.0000000 2410:1.0000000 2411:1.0000000
+2 9:1.0000000 25:1.0000000 45:4.0000000 46:4.0000000 47:4.0000000 59:1.0000000 61:2.0000000 67:10.0000000 89:1.0000000 119:2.0000000 178:1.0000000 179:1.0000000 259:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 594:1.0000000 733:1.0000000 742:1.0000000 766:1.0000000 768:1.0000000 970:1.0000000 1066:1.0000000 1096:1.0000000 1130:1.0000000 2126:1.0000000 2239:1.0000000 2240:1.0000000 2241:1.0000000 2242:1.0000000 2304:1.0000000 2310:1.0000000 2311:1.0000000 2322:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2331:1.0000000 2332:1.0000000 2333:1.0000000 2334:1.0000000 2335:1.0000000 2336:1.0000000 2337:1.0000000 2406:1.0000000 2407:1.0000000 2408:1.0000000 2409:1.0000000 2410:1.0000000 2411:1.0000000
2 9:1.0000000 25:1.0000000 45:3.5000000 46:4.0000000 47:3.0000000 59:1.0000000 61:2.0000000 67:19.0000000 74:1.0000000 78:1.0000000 89:1.0000000 108:1.0000000 119:4.0000000 178:1.0000000 179:1.0000000 259:1.0000000 485:1.0000000 594:1.0000000 733:1.0000000 742:1.0000000 766:1.0000000 768:1.0000000 1066:1.0000000 1096:1.0000000 2126:1.0000000 2165:1.0000000 2239:1.0000000 2240:1.0000000 2241:1.0000000 2242:1.0000000 2304:1.0000000 2310:1.0000000 2311:1.0000000 2322:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2332:1.0000000 2334:2.0000000 2335:1.0000000 2339:1.0000000 2340:1.0000000 2341:1.0000000 2342:1.0000000 2343:1.0000000 2344:1.0000000 2345:1.0000000 2346:1.0000000 2347:1.0000000 2348:1.0000000 2349:1.0000000 2350:1.0000000 2351:1.0000000 2352:1.0000000 2353:1.0000000 2354:1.0000000 2355:1.0000000 2406:1.0000000 2407:1.0000000 2408:1.0000000 2409:1.0000000 2410:1.0000000 2412:1.0000000
-2 24:1.0000000 25:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 61:1.0000000 67:5.0000000 119:1.0000000 138:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 970:1.0000000 1071:1.0000000 1115:1.0000000 1205:1.0000000 1209:1.0000000 2099:1.0000000 2113:1.0000000 2124:1.0000000 2126:1.0000000 2213:1.0000000 2214:1.0000000 2215:1.0000000 2216:1.0000000 2234:1.0000000 2304:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2331:1.0000000 2332:1.0000000 2333:1.0000000 2334:1.0000000 2335:1.0000000 2336:1.0000000 2337:1.0000000 2413:1.0000000 2414:1.0000000 2415:1.0000000 2416:1.0000000 2417:1.0000000 2418:1.0000000 2419:1.0000000
+2 24:1.0000000 25:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 61:1.0000000 67:5.0000000 119:1.0000000 138:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 480:1.0000000 483:1.0000000 485:1.0000000 490:1.0000000 970:1.0000000 1071:1.0000000 1130:1.0000000 1205:1.0000000 1209:1.0000000 2099:1.0000000 2113:1.0000000 2124:1.0000000 2126:1.0000000 2213:1.0000000 2214:1.0000000 2215:1.0000000 2216:1.0000000 2234:1.0000000 2304:1.0000000 2327:1.0000000 2328:1.0000000 2329:1.0000000 2330:1.0000000 2331:1.0000000 2332:1.0000000 2333:1.0000000 2334:1.0000000 2335:1.0000000 2336:1.0000000 2337:1.0000000 2413:1.0000000 2414:1.0000000 2415:1.0000000 2416:1.0000000 2417:1.0000000 2418:1.0000000 2419:1.0000000
2 20:1.0000000 24:1.0000000 25:1.0000000 45:4.0000000 46:5.0000000 47:3.0000000 61:1.0000000 67:16.0000000 108:1.0000000 119:4.0000000 138:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 485:1.0000000 1071:1.0000000 1205:1.0000000 1209:1.0000000 2099:1.0000000 2113:1.0000000 2124:1.0000000 2126:1.0000000 2213:1.0000000 2214:1.0000000 2215:1.0000000 2216:1.0000000 2234:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2334:2.0000000 2335:1.0000000 2344:2.0000000 2345:2.0000000 2346:1.0000000 2347:1.0000000 2348:1.0000000 2349:1.0000000 2350:1.0000000 2351:1.0000000 2352:1.0000000 2357:1.0000000 2358:1.0000000 2359:1.0000000 2360:1.0000000 2361:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2413:1.0000000 2414:1.0000000 2415:1.0000000 2416:1.0000000 2417:1.0000000 2418:1.0000000 2420:1.0000000
-2 9:1.0000000 24:1.0000000 25:1.0000000 45:3.5000000 46:4.0000000 47:3.0000000 56:1.0000000 59:1.0000000 61:1.0000000 67:5.0000000 119:1.0000000 138:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 485:1.0000000 539:1.0000000 682:1.0000000 685:1.0000000 686:1.0000000 818:1.0000000 1107:1.0000000 1115:1.0000000 1128:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2335:1.0000000 2344:1.0000000 2345:1.0000000 2358:1.0000000 2359:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2378:1.0000000 2421:1.0000000 2422:1.0000000 2423:1.0000000 2424:1.0000000 2425:1.0000000 2426:1.0000000 2427:1.0000000 2428:1.0000000 2429:1.0000000 2430:1.0000000 2431:1.0000000
-2 24:1.0000000 25:1.0000000 45:3.0000000 46:3.0000000 47:3.0000000 56:1.0000000 67:1.0000000 138:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 594:1.0000000 597:1.0000000 598:1.0000000 818:1.0000000 1066:1.0000000 1115:1.0000000 1128:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2345:1.0000000 2358:1.0000000 2359:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2378:1.0000000 2415:1.0000000 2432:1.0000000 2433:1.0000000 2434:1.0000000 2435:1.0000000 2436:1.0000000 2437:1.0000000 2438:1.0000000 2439:1.0000000 2440:1.0000000 2441:1.0000000 2442:1.0000000 2443:1.0000000 2444:1.0000000
+2 9:1.0000000 24:1.0000000 25:1.0000000 45:3.5000000 46:4.0000000 47:3.0000000 56:1.0000000 59:1.0000000 61:1.0000000 67:5.0000000 119:1.0000000 138:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 485:1.0000000 539:1.0000000 682:1.0000000 685:1.0000000 686:1.0000000 818:1.0000000 1107:1.0000000 1127:1.0000000 1130:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2335:1.0000000 2344:1.0000000 2345:1.0000000 2358:1.0000000 2359:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2378:1.0000000 2421:1.0000000 2422:1.0000000 2423:1.0000000 2424:1.0000000 2425:1.0000000 2426:1.0000000 2427:1.0000000 2428:1.0000000 2429:1.0000000 2430:1.0000000 2431:1.0000000
+2 24:1.0000000 25:1.0000000 45:3.0000000 46:3.0000000 47:3.0000000 56:1.0000000 67:1.0000000 138:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 594:1.0000000 597:1.0000000 598:1.0000000 818:1.0000000 1066:1.0000000 1127:1.0000000 1130:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2345:1.0000000 2358:1.0000000 2359:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2378:1.0000000 2415:1.0000000 2432:1.0000000 2433:1.0000000 2434:1.0000000 2435:1.0000000 2436:1.0000000 2437:1.0000000 2438:1.0000000 2439:1.0000000 2440:1.0000000 2441:1.0000000 2442:1.0000000 2443:1.0000000 2444:1.0000000
2 20:1.0000000 24:1.0000000 25:1.0000000 45:4.5000000 46:5.0000000 47:4.0000000 67:10.0000000 108:1.0000000 119:2.0000000 138:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 594:1.0000000 597:1.0000000 598:1.0000000 1066:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2334:1.0000000 2344:1.0000000 2345:2.0000000 2346:1.0000000 2347:1.0000000 2348:1.0000000 2349:1.0000000 2350:1.0000000 2351:1.0000000 2352:1.0000000 2357:1.0000000 2358:1.0000000 2359:1.0000000 2360:1.0000000 2361:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2415:1.0000000 2432:1.0000000 2433:1.0000000 2434:1.0000000 2435:1.0000000 2436:1.0000000 2437:1.0000000 2438:1.0000000 2439:1.0000000 2440:1.0000000 2441:1.0000000 2442:1.0000000 2443:1.0000000 2445:1.0000000
2 20:1.0000000 24:1.0000000 25:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:1.0000000 138:1.0000000 141:1.0000000 144:1.0000000 145:1.0000000 178:1.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2345:1.0000000 2357:1.0000000 2358:1.0000000 2359:1.0000000 2360:1.0000000 2361:1.0000000 2362:1.0000000 2363:1.0000000 2364:1.0000000 2365:1.0000000 2415:1.0000000 2432:1.0000000 2433:1.0000000 2434:1.0000000 2435:1.0000000 2438:1.0000000 2440:1.0000000 2446:1.0000000 2447:1.0000000 2448:1.0000000 2449:1.0000000 2450:1.0000000 2451:1.0000000 2452:1.0000000 2453:1.0000000 2454:1.0000000
2 24:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:1.0000000 115:1.0000000 138:1.0000000 176:1.0000000 234:1.0000000 268:1.0000000 297:1.0000000 298:1.0000000 310:1.0000000 403:1.0000000 407:1.0000000 413:1.0000000 418:1.0000000 419:1.0000000 421:1.0000000 577:1.0000000 758:1.0000000 761:1.0000000 949:1.0000000 961:1.0000000 1071:1.0000000 1097:1.0000000 1098:1.0000000 1339:1.0000000 1340:1.0000000 1384:1.0000000 1473:1.0000000 1480:1.0000000 1555:1.0000000 1561:1.0000000 2389:1.0000000 2391:1.0000000 2399:1.0000000 2400:1.0000000 2455:1.0000000 2456:1.0000000 2457:1.0000000 2458:1.0000000 2459:1.0000000 2460:1.0000000 2461:1.0000000 2462:1.0000000 2463:1.0000000 2464:1.0000000 2465:1.0000000 2466:1.0000000 2467:1.0000000 2468:1.0000000 2469:1.0000000 2470:1.0000000 2471:1.0000000 2472:1.0000000 2473:1.0000000 2474:1.0000000 2475:1.0000000 2476:1.0000000 2477:1.0000000 2478:1.0000000 2479:1.0000000
1 24:1.0000000 30:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:1.0000000 138:1.0000000 139:1.0000000 234:1.0000000 268:1.0000000 310:1.0000000 403:1.0000000 407:1.0000000 413:1.0000000 418:1.0000000 444:1.0000000 446:1.0000000 758:1.0000000 761:1.0000000 1071:1.0000000 1098:1.0000000 1113:1.0000000 1203:1.0000000 2388:1.0000000 2389:1.0000000 2390:1.0000000 2391:1.0000000 2399:1.0000000 2400:1.0000000 2455:1.0000000 2456:1.0000000 2457:1.0000000 2458:1.0000000 2459:1.0000000 2460:1.0000000 2461:1.0000000 2462:1.0000000 2468:1.0000000 2469:1.0000000 2472:1.0000000 2473:1.0000000 2474:1.0000000 2475:1.0000000 2476:1.0000000 2477:1.0000000 2478:1.0000000 2479:1.0000000 2480:1.0000000
-2 9:1.0000000 25:1.0000000 29:1.0000000 45:5.0000000 46:6.0000000 47:4.0000000 59:1.0000000 61:1.0000000 67:3.0000000 176:1.0000000 178:1.0000000 198:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 403:1.0000000 407:1.0000000 413:1.0000000 418:1.0000000 529:1.0000000 594:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 745:1.0000000 798:1.0000000 820:1.0000000 856:1.0000000 970:1.0000000 1096:1.0000000 1179:1.0000000 1593:1.0000000 1599:1.0000000 1698:1.0000000 1767:1.0000000 1894:1.0000000 1897:1.0000000 1904:1.0000000 1967:1.0000000 2142:1.0000000 2240:1.0000000 2242:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2409:1.0000000 2410:1.0000000 2472:1.0000000 2481:1.0000000 2482:1.0000000 2483:1.0000000 2484:1.0000000 2485:1.0000000 2486:1.0000000 2487:1.0000000 2488:1.0000000 2489:1.0000000 2490:1.0000000 2491:1.0000000 2492:1.0000000 2493:1.0000000 2494:1.0000000
-2 9:1.0000000 25:1.0000000 45:5.0000000 46:6.0000000 47:4.0000000 59:1.0000000 61:2.0000000 67:10.0000000 89:1.0000000 176:1.0000000 178:1.0000000 179:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 292:1.0000000 403:1.0000000 407:1.0000000 413:1.0000000 418:1.0000000 484:1.0000000 594:1.0000000 733:1.0000000 742:1.0000000 766:1.0000000 768:1.0000000 798:1.0000000 820:1.0000000 970:1.0000000 1096:1.0000000 1135:1.0000000 1245:1.0000000 1247:1.0000000 1248:1.0000000 2239:1.0000000 2240:1.0000000 2241:1.0000000 2242:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2409:1.0000000 2410:1.0000000 2472:1.0000000 2486:1.0000000 2487:1.0000000 2489:1.0000000 2490:1.0000000 2491:1.0000000 2492:1.0000000 2493:1.0000000 2494:1.0000000 2495:1.0000000 2496:1.0000000 2497:1.0000000 2498:1.0000000
+2 9:1.0000000 25:1.0000000 29:1.0000000 45:5.0000000 46:6.0000000 47:4.0000000 59:1.0000000 61:1.0000000 67:3.0000000 176:1.0000000 178:1.0000000 198:1.0000000 234:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 403:1.0000000 407:1.0000000 413:1.0000000 418:1.0000000 529:1.0000000 594:1.0000000 733:1.0000000 742:1.0000000 743:1.0000000 745:1.0000000 798:1.0000000 820:1.0000000 856:1.0000000 970:1.0000000 1096:1.0000000 1179:1.0000000 1593:1.0000000 1599:1.0000000 1698:1.0000000 1767:1.0000000 1894:1.0000000 1897:1.0000000 1904:1.0000000 1967:1.0000000 2142:1.0000000 2240:1.0000000 2242:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2409:1.0000000 2410:1.0000000 2472:1.0000000 2481:1.0000000 2482:1.0000000 2483:1.0000000 2484:1.0000000 2485:1.0000000 2486:1.0000000 2487:1.0000000 2488:1.0000000 2489:1.0000000 2490:1.0000000 2491:1.0000000 2492:1.0000000 2493:1.0000000 2494:1.0000000
+2 9:1.0000000 25:1.0000000 45:5.0000000 46:6.0000000 47:4.0000000 59:1.0000000 61:2.0000000 67:10.0000000 89:1.0000000 176:1.0000000 178:1.0000000 179:1.0000000 234:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 292:1.0000000 403:1.0000000 407:1.0000000 413:1.0000000 418:1.0000000 484:1.0000000 594:1.0000000 733:1.0000000 742:1.0000000 766:1.0000000 768:1.0000000 798:1.0000000 820:1.0000000 970:1.0000000 1096:1.0000000 1135:1.0000000 1245:1.0000000 1247:1.0000000 1248:1.0000000 2239:1.0000000 2240:1.0000000 2241:1.0000000 2242:1.0000000 2316:1.0000000 2317:1.0000000 2318:1.0000000 2319:1.0000000 2409:1.0000000 2410:1.0000000 2472:1.0000000 2486:1.0000000 2487:1.0000000 2489:1.0000000 2490:1.0000000 2491:1.0000000 2492:1.0000000 2493:1.0000000 2494:1.0000000 2495:1.0000000 2496:1.0000000 2497:1.0000000 2498:1.0000000
1 24:1.0000000 25:1.0000000 30:1.0000000 40:1.0000000 43:1.0000000 44:1.0000000 45:3.0000000 46:5.0000000 47:1.0000000 67:2.0000000 213:1.0000000 434:1.0000000 735:1.0000000 998:1.0000000 1601:1.0000000 1664:1.0000000 1675:1.0000000 2499:1.0000000 2500:1.0000000 2501:1.0000000 2502:1.0000000 2503:1.0000000 2504:1.0000000 2505:1.0000000 2506:1.0000000 2507:1.0000000 2508:1.0000000 2509:1.0000000 2510:1.0000000 2511:1.0000000 2512:1.0000000 2513:1.0000000 2514:1.0000000 2515:1.0000000 2516:1.0000000 2517:1.0000000 2518:1.0000000 2519:1.0000000 2520:1.0000000 2521:1.0000000 2522:1.0000000 2523:1.0000000 2524:1.0000000 2525:1.0000000 2526:1.0000000 2527:1.0000000
1 24:1.0000000 25:1.0000000 30:1.0000000 45:2.5000000 46:4.0000000 47:1.0000000 67:4.0000000 110:1.0000000 119:1.0000000 213:1.0000000 268:1.0000000 272:1.0000000 310:1.0000000 434:1.0000000 446:1.0000000 735:1.0000000 1601:1.0000000 1664:1.0000000 1675:1.0000000 2123:1.0000000 2169:1.0000000 2499:1.0000000 2500:1.0000000 2501:1.0000000 2502:1.0000000 2503:1.0000000 2504:1.0000000 2505:1.0000000 2506:1.0000000 2516:1.0000000 2518:1.0000000 2519:1.0000000 2520:1.0000000 2521:1.0000000 2522:1.0000000 2523:1.0000000 2528:1.0000000 2529:1.0000000 2530:1.0000000 2531:1.0000000 2532:1.0000000 2533:1.0000000 2534:1.0000000 2535:1.0000000 2536:1.0000000 2537:1.0000000 2538:1.0000000 2539:1.0000000 2540:1.0000000
2 9:1.0000000 24:1.0000000 25:1.0000000 34:1.0000000 38:1.0000000 59:1.0000000 61:1.0000000 67:2.0000000 164:1.0000000 577:1.0000000 798:1.0000000 1249:1.0000000 1264:1.0000000 1268:1.0000000 1271:1.0000000 1661:1.0000000 1664:1.0000000 1673:1.0000000 1688:1.0000000 1692:1.0000000 1868:1.0000000 2541:1.0000000 2542:1.0000000 2543:1.0000000 2544:1.0000000 2545:1.0000000 2546:1.0000000 2547:1.0000000 2548:1.0000000 2549:1.0000000 2550:1.0000000 2551:1.0000000 2552:1.0000000 2553:1.0000000 2554:1.0000000 2555:1.0000000 2556:1.0000000 2557:1.0000000
@@ -433,7 +433,7 @@
2 6:1.0000000 16:1.0000000 22:1.0000000 23:1.0000000 24:1.0000000 32:1.0000000 40:1.0000000 45:1.5000000 46:2.0000000 47:1.0000000 54:1.0000000 56:1.0000000 71:1.0000000 132:1.0000000 135:1.0000000 137:1.0000000 150:1.0000000 520:1.0000000 1181:1.0000000 1205:1.0000000 1209:1.0000000 1664:1.0000000 1701:1.0000000 1725:2.0000000 2178:1.0000000 2278:1.0000000 2284:1.0000000 2342:1.0000000 2731:1.0000000 2735:1.0000000 2741:1.0000000 2742:1.0000000 2951:2.0000000 3219:1.0000000 3220:1.0000000 3221:1.0000000 3222:1.0000000 3223:1.0000000 3224:1.0000000 3225:1.0000000 3226:1.0000000 3227:1.0000000 3228:1.0000000 3229:1.0000000 3230:1.0000000 3231:1.0000000 3232:1.0000000 3233:1.0000000 3234:1.0000000 3235:1.0000000 3236:1.0000000 3237:1.0000000 3238:1.0000000 3239:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000
2 6:1.0000000 22:1.0000000 23:1.0000000 24:1.0000000 32:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 132:1.0000000 135:1.0000000 137:1.0000000 150:1.0000000 168:1.0000000 295:1.0000000 1181:1.0000000 1205:1.0000000 1209:1.0000000 1286:1.0000000 1664:1.0000000 1701:1.0000000 1725:2.0000000 2360:1.0000000 2595:1.0000000 2731:1.0000000 2735:1.0000000 2741:1.0000000 2742:1.0000000 2837:1.0000000 2951:2.0000000 3219:1.0000000 3220:1.0000000 3221:1.0000000 3222:1.0000000 3223:1.0000000 3224:1.0000000 3225:1.0000000 3226:1.0000000 3232:1.0000000 3233:1.0000000 3234:1.0000000 3236:1.0000000 3237:1.0000000 3238:1.0000000 3239:1.0000000 3244:1.0000000 3245:1.0000000 3246:1.0000000 3247:1.0000000 3248:1.0000000 3249:1.0000000 3250:1.0000000 3251:1.0000000 3252:1.0000000 3253:1.0000000 3254:1.0000000 3255:1.0000000 3256:1.0000000 3257:1.0000000
2 6:1.0000000 34:1.0000000 45:1.5000000 46:2.0000000 47:1.0000000 67:1.0000000 108:1.0000000 132:1.0000000 133:1.0000000 137:1.0000000 150:1.0000000 152:1.0000000 153:1.0000000 168:1.0000000 295:1.0000000 1181:1.0000000 1286:1.0000000 2048:1.0000000 2053:1.0000000 2074:1.0000000 2360:1.0000000 2449:1.0000000 2595:1.0000000 2597:1.0000000 2837:1.0000000 3220:1.0000000 3222:1.0000000 3232:1.0000000 3234:1.0000000 3244:1.0000000 3245:1.0000000 3246:1.0000000 3247:1.0000000 3248:1.0000000 3249:1.0000000 3250:1.0000000 3251:1.0000000 3252:1.0000000 3253:1.0000000 3254:1.0000000 3255:1.0000000 3256:1.0000000 3258:1.0000000 3259:1.0000000 3260:1.0000000 3261:1.0000000 3262:1.0000000 3263:1.0000000 3264:1.0000000 3265:1.0000000 3266:1.0000000
-1 22:1.0000000 23:1.0000000 24:2.0000000 25:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 40:1.0000000 43:1.0000000 44:1.0000000 45:1.5000000 46:2.0000000 47:1.0000000 167:1.0000000 176:1.0000000 213:1.0000000 611:1.0000000 614:1.0000000 785:1.0000000 792:1.0000000 794:1.0000000 851:1.0000000 884:1.0000000 888:1.0000000 919:1.0000000 1105:1.0000000 1119:1.0000000 2663:1.0000000 2675:1.0000000 3082:1.0000000 3133:1.0000000 3267:1.0000000 3268:1.0000000 3269:1.0000000 3270:1.0000000 3271:1.0000000 3272:1.0000000 3273:1.0000000 3274:1.0000000 3275:1.0000000 3276:1.0000000 3277:1.0000000 3278:1.0000000 3279:1.0000000 3280:1.0000000
+1 22:1.0000000 23:1.0000000 24:2.0000000 25:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 40:1.0000000 43:1.0000000 44:1.0000000 45:1.5000000 46:2.0000000 47:1.0000000 167:1.0000000 176:1.0000000 213:1.0000000 611:1.0000000 614:1.0000000 785:1.0000000 792:1.0000000 794:1.0000000 851:1.0000000 884:1.0000000 888:1.0000000 919:1.0000000 1105:1.0000000 1118:1.0000000 2663:1.0000000 2675:1.0000000 3082:1.0000000 3133:1.0000000 3267:1.0000000 3268:1.0000000 3269:1.0000000 3270:1.0000000 3271:1.0000000 3272:1.0000000 3273:1.0000000 3274:1.0000000 3275:1.0000000 3276:1.0000000 3277:1.0000000 3278:1.0000000 3279:1.0000000 3280:1.0000000
2 8:1.0000000 20:1.0000000 24:1.0000000 25:1.0000000 26:1.0000000 30:1.0000000 45:3.0000000 46:4.0000000 47:2.0000000 64:1.0000000 67:1.0000000 89:1.0000000 90:1.0000000 376:1.0000000 380:1.0000000 520:1.0000000 524:1.0000000 542:1.0000000 545:1.0000000 919:1.0000000 1187:1.0000000 1188:1.0000000 1189:1.0000000 1190:1.0000000 1193:1.0000000 1194:1.0000000 1195:1.0000000 1196:1.0000000 1197:1.0000000 1198:1.0000000 1200:1.0000000 1201:1.0000000 1202:1.0000000 1203:1.0000000 1210:1.0000000 1211:1.0000000 1212:1.0000000 1213:1.0000000 1666:1.0000000 1667:1.0000000 3025:1.0000000 3281:1.0000000 3282:1.0000000 3283:1.0000000 3284:1.0000000 3285:1.0000000 3286:1.0000000
2 8:1.0000000 24:1.0000000 25:2.0000000 26:1.0000000 45:2.0000000 46:2.0000000 47:2.0000000 61:2.0000000 64:1.0000000 67:9.0000000 89:1.0000000 115:2.0000000 119:2.0000000 542:1.0000000 545:1.0000000 949:1.0000000 961:1.0000000 1097:1.0000000 1187:1.0000000 1188:1.0000000 1189:1.0000000 1190:1.0000000 1193:1.0000000 1194:1.0000000 1224:1.0000000 1232:1.0000000 1234:1.0000000 1235:1.0000000 1236:1.0000000 1237:1.0000000 1238:1.0000000 1241:1.0000000 1242:1.0000000 1243:1.0000000 1244:1.0000000 1245:1.0000000 1246:1.0000000 1247:1.0000000 1248:1.0000000 1249:1.0000000 1250:1.0000000 1251:1.0000000 1252:1.0000000 1253:1.0000000 1254:1.0000000 1255:1.0000000 1256:1.0000000 1260:1.0000000 1261:1.0000000 1262:1.0000000 1265:1.0000000 1266:1.0000000 1267:1.0000000 1422:1.0000000 1666:1.0000000 1667:1.0000000 3025:1.0000000 3281:1.0000000 3282:1.0000000 3283:1.0000000 3284:1.0000000 3285:1.0000000 3287:1.0000000 3288:1.0000000
2 8:1.0000000 24:1.0000000 25:1.0000000 26:1.0000000 30:1.0000000 45:2.0000000 46:2.0000000 47:2.0000000 61:3.0000000 64:1.0000000 67:17.0000000 89:1.0000000 90:1.0000000 119:5.0000000 181:1.0000000 185:1.0000000 281:1.0000000 542:1.0000000 545:1.0000000 1187:1.0000000 1188:1.0000000 1189:1.0000000 1190:1.0000000 1193:1.0000000 1194:1.0000000 1224:1.0000000 1242:1.0000000 1243:1.0000000 1244:1.0000000 1245:1.0000000 1246:1.0000000 1247:1.0000000 1248:1.0000000 1269:1.0000000 1270:1.0000000 1271:1.0000000 1272:1.0000000 1277:1.0000000 1279:1.0000000 1282:1.0000000 1283:1.0000000 1284:1.0000000 1288:1.0000000 1289:1.0000000 1290:1.0000000 1291:1.0000000 1292:1.0000000 1295:1.0000000 1491:1.0000000 1512:1.0000000 1666:1.0000000 1667:1.0000000 3025:1.0000000 3281:1.0000000 3282:1.0000000 3283:1.0000000 3284:1.0000000 3285:1.0000000 3289:1.0000000 3290:1.0000000 3291:1.0000000 3292:1.0000000 3293:1.0000000
@@ -544,13 +544,13 @@
2 24:1.0000000 25:1.0000000 30:1.0000000 67:1.0000000 132:1.0000000 138:1.0000000 139:1.0000000 176:1.0000000 280:1.0000000 284:1.0000000 292:1.0000000 327:1.0000000 331:1.0000000 530:1.0000000 615:1.0000000 618:1.0000000 792:1.0000000 794:1.0000000 1443:1.0000000 2235:1.0000000 2237:1.0000000 2663:1.0000000 2675:1.0000000 2807:1.0000000 2837:1.0000000 3431:1.0000000 3432:1.0000000 3433:1.0000000 3434:1.0000000 3435:1.0000000 3436:1.0000000 3437:1.0000000 3438:1.0000000 3439:1.0000000 3440:1.0000000 3441:1.0000000 3442:1.0000000
1 22:1.0000000 23:1.0000000 24:2.0000000 25:1.0000000 30:1.0000000 32:1.0000000 45:1.0000000 46:1.0000000 47:1.0000000 130:1.0000000 138:1.0000000 139:1.0000000 146:1.0000000 176:1.0000000 280:1.0000000 327:1.0000000 331:1.0000000 530:1.0000000 641:1.0000000 681:1.0000000 682:1.0000000 683:1.0000000 685:1.0000000 686:1.0000000 785:1.0000000 792:1.0000000 794:1.0000000 1443:1.0000000 2235:1.0000000 2237:1.0000000 2663:1.0000000 2675:1.0000000 2807:1.0000000 2837:1.0000000 3082:1.0000000 3117:1.0000000 3205:1.0000000 3439:1.0000000 3440:1.0000000 3441:1.0000000 3442:1.0000000 3443:1.0000000 3444:1.0000000 3445:1.0000000 3446:1.0000000 3447:1.0000000 3448:1.0000000
1 3:1.0000000 5:1.0000000 9:1.0000000 19:1.0000000 20:1.0000000 22:1.0000000 23:1.0000000 24:3.0000000 25:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 39:1.0000000 40:1.0000000 41:1.0000000 43:1.0000000 44:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 176:1.0000000 539:1.0000000 593:1.0000000 594:1.0000000 598:1.0000000 745:1.0000000 785:1.0000000 792:1.0000000 794:1.0000000 2663:1.0000000 2675:1.0000000 3095:1.0000000 3128:1.0000000 3129:1.0000000 3131:1.0000000 3132:1.0000000 3136:1.0000000 3137:1.0000000 3140:1.0000000 3141:1.0000000 3142:1.0000000 3143:1.0000000 3449:1.0000000 3450:1.0000000 3451:1.0000000 3452:1.0000000 3453:1.0000000 3454:1.0000000
-2 24:1.0000000 25:2.0000000 45:3.0000000 46:3.0000000 47:3.0000000 67:5.0000000 138:1.0000000 176:1.0000000 178:1.0000000 198:2.0000000 266:1.0000000 434:1.0000000 577:1.0000000 594:1.0000000 597:1.0000000 598:1.0000000 1265:1.0000000 1987:1.0000000 2033:1.0000000 2034:1.0000000 2055:1.0000000 2058:1.0000000 2059:1.0000000 2184:1.0000000 2187:1.0000000 2308:1.0000000 2437:1.0000000 2441:1.0000000 2442:1.0000000 3455:1.0000000 3456:1.0000000 3457:1.0000000 3458:1.0000000 3459:1.0000000 3460:1.0000000 3461:1.0000000 3462:1.0000000 3463:1.0000000 3464:1.0000000 3465:1.0000000 3466:1.0000000 3467:1.0000000 3468:1.0000000 3469:1.0000000 3470:1.0000000 3471:1.0000000 3472:1.0000000 3473:1.0000000 3474:1.0000000 3475:1.0000000 3476:1.0000000 3477:1.0000000 3478:1.0000000 3479:1.0000000 3480:1.0000000 3481:1.0000000 3482:1.0000000
+2 24:1.0000000 25:2.0000000 26:1.0000000 45:3.0000000 46:3.0000000 47:3.0000000 67:5.0000000 138:1.0000000 176:1.0000000 178:1.0000000 198:2.0000000 266:1.0000000 434:1.0000000 577:1.0000000 594:1.0000000 597:1.0000000 598:1.0000000 1265:1.0000000 1987:1.0000000 2033:1.0000000 2034:1.0000000 2055:1.0000000 2058:1.0000000 2059:1.0000000 2184:1.0000000 2187:1.0000000 2308:1.0000000 2437:1.0000000 2441:1.0000000 2442:1.0000000 3455:1.0000000 3456:1.0000000 3457:1.0000000 3458:1.0000000 3459:1.0000000 3460:1.0000000 3461:1.0000000 3462:1.0000000 3463:1.0000000 3464:1.0000000 3465:1.0000000 3466:1.0000000 3467:1.0000000 3468:1.0000000 3469:1.0000000 3470:1.0000000 3471:1.0000000 3472:1.0000000 3473:1.0000000 3474:1.0000000 3475:1.0000000 3476:1.0000000 3477:1.0000000 3478:1.0000000 3479:1.0000000 3480:1.0000000 3481:1.0000000 3482:1.0000000
2 24:1.0000000 25:1.0000000 45:5.0000000 46:8.0000000 47:2.0000000 63:1.0000000 67:10.0000000 138:1.0000000 141:1.0000000 144:1.0000000 145:1.0000000 176:1.0000000 178:1.0000000 266:1.0000000 292:1.0000000 438:1.0000000 577:1.0000000 615:1.0000000 618:1.0000000 1098:1.0000000 1252:1.0000000 2448:1.0000000 2450:1.0000000 2451:1.0000000 2452:1.0000000 2691:1.0000000 3483:1.0000000 3484:1.0000000 3485:1.0000000 3486:1.0000000 3487:1.0000000 3488:1.0000000 3489:1.0000000 3490:1.0000000 3491:1.0000000 3492:1.0000000 3493:1.0000000 3494:1.0000000 3495:1.0000000 3496:1.0000000 3497:1.0000000 3498:1.0000000 3499:1.0000000 3500:1.0000000 3501:1.0000000 3502:1.0000000 3503:1.0000000 3504:1.0000000 3505:1.0000000 3506:1.0000000 3507:1.0000000 3508:1.0000000 3509:1.0000000 3510:1.0000000 3511:1.0000000 3512:1.0000000 3513:1.0000000 3514:1.0000000 3515:1.0000000 3516:1.0000000 3517:1.0000000 3518:1.0000000
2 24:1.0000000 25:1.0000000 30:1.0000000 45:6.0000000 46:10.0000000 47:2.0000000 63:1.0000000 67:13.0000000 119:1.0000000 138:1.0000000 139:1.0000000 141:1.0000000 144:1.0000000 145:1.0000000 176:1.0000000 268:1.0000000 272:1.0000000 292:1.0000000 390:1.0000000 438:1.0000000 446:1.0000000 569:1.0000000 577:1.0000000 615:1.0000000 618:1.0000000 792:1.0000000 794:1.0000000 2448:1.0000000 2450:1.0000000 2451:1.0000000 2452:1.0000000 2663:1.0000000 2675:1.0000000 2691:1.0000000 3483:1.0000000 3484:1.0000000 3485:1.0000000 3486:1.0000000 3487:1.0000000 3488:1.0000000 3489:1.0000000 3490:1.0000000 3503:1.0000000 3504:1.0000000 3505:1.0000000 3506:1.0000000 3507:1.0000000 3508:1.0000000 3509:1.0000000 3510:1.0000000 3511:1.0000000 3512:1.0000000 3519:1.0000000 3520:1.0000000 3521:1.0000000 3522:1.0000000 3523:1.0000000 3524:1.0000000 3525:1.0000000 3526:1.0000000 3527:1.0000000 3528:1.0000000 3529:1.0000000 3530:1.0000000
2 24:1.0000000 25:1.0000000 30:1.0000000 45:7.0000000 46:12.0000000 47:2.0000000 63:1.0000000 67:15.0000000 119:2.0000000 138:1.0000000 139:1.0000000 141:1.0000000 144:1.0000000 145:1.0000000 176:1.0000000 280:1.0000000 284:1.0000000 292:2.0000000 327:1.0000000 331:1.0000000 438:1.0000000 530:1.0000000 615:1.0000000 618:1.0000000 798:1.0000000 2235:1.0000000 2237:1.0000000 2448:1.0000000 2450:1.0000000 2451:1.0000000 2452:1.0000000 2690:1.0000000 2691:1.0000000 3483:1.0000000 3484:1.0000000 3485:1.0000000 3486:1.0000000 3487:1.0000000 3488:1.0000000 3489:1.0000000 3490:1.0000000 3503:1.0000000 3504:1.0000000 3505:1.0000000 3506:1.0000000 3507:1.0000000 3508:1.0000000 3509:1.0000000 3510:1.0000000 3511:1.0000000 3512:1.0000000 3524:1.0000000 3525:1.0000000 3526:1.0000000 3531:1.0000000 3532:1.0000000 3533:1.0000000 3534:1.0000000 3535:1.0000000 3536:1.0000000 3537:1.0000000 3538:1.0000000 3539:1.0000000 3540:1.0000000
2 24:1.0000000 25:1.0000000 30:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:1.0000000 138:1.0000000 139:1.0000000 176:1.0000000 268:1.0000000 272:1.0000000 390:1.0000000 446:1.0000000 569:1.0000000 577:1.0000000 792:1.0000000 794:1.0000000 1096:1.0000000 1667:1.0000000 2566:1.0000000 2663:1.0000000 2675:1.0000000 3437:1.0000000 3519:1.0000000 3520:1.0000000 3521:1.0000000 3522:1.0000000 3523:1.0000000 3526:1.0000000 3527:1.0000000 3528:1.0000000 3529:1.0000000 3541:1.0000000 3542:1.0000000 3543:1.0000000 3544:1.0000000 3545:1.0000000 3546:1.0000000 3547:1.0000000 3548:1.0000000 3549:1.0000000 3550:1.0000000 3551:1.0000000 3552:1.0000000 3553:1.0000000 3554:1.0000000 3555:1.0000000 3556:1.0000000 3557:1.0000000 3558:1.0000000
2 24:1.0000000 25:1.0000000 30:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:1.0000000 89:1.0000000 90:1.0000000 176:1.0000000 280:1.0000000 284:1.0000000 292:1.0000000 327:1.0000000 331:1.0000000 530:1.0000000 594:1.0000000 598:1.0000000 615:1.0000000 618:1.0000000 768:1.0000000 784:1.0000000 785:1.0000000 798:1.0000000 2198:1.0000000 2235:1.0000000 2237:1.0000000 3082:1.0000000 3531:1.0000000 3532:1.0000000 3533:1.0000000 3534:1.0000000 3535:1.0000000 3536:1.0000000 3537:1.0000000 3538:1.0000000 3539:1.0000000 3551:1.0000000 3552:1.0000000 3559:1.0000000 3560:1.0000000 3561:1.0000000 3562:1.0000000 3563:1.0000000 3564:1.0000000 3565:1.0000000 3566:1.0000000 3567:1.0000000
-2 24:1.0000000 25:1.0000000 26:1.0000000 30:1.0000000 45:3.0000000 46:5.0000000 47:1.0000000 67:4.0000000 109:1.0000000 134:1.0000000 138:1.0000000 139:1.0000000 213:1.0000000 327:1.0000000 331:1.0000000 1098:1.0000000 1115:1.0000000 1283:1.0000000 1291:2.0000000 1374:1.0000000 1601:1.0000000 1714:1.0000000 1717:1.0000000 2084:1.0000000 2213:1.0000000 2214:1.0000000 2215:1.0000000 2216:1.0000000 2224:1.0000000 2226:1.0000000 2237:1.0000000 2523:1.0000000 2688:1.0000000 2689:1.0000000 2691:1.0000000 3204:1.0000000 3209:1.0000000 3210:1.0000000 3212:1.0000000 3568:1.0000000 3569:1.0000000 3570:1.0000000 3571:1.0000000 3572:1.0000000 3573:1.0000000 3574:1.0000000 3575:1.0000000 3576:1.0000000 3577:1.0000000 3578:1.0000000 3579:1.0000000
+2 24:1.0000000 25:1.0000000 26:1.0000000 30:1.0000000 45:3.0000000 46:5.0000000 47:1.0000000 67:4.0000000 109:1.0000000 134:1.0000000 138:1.0000000 139:1.0000000 213:1.0000000 327:1.0000000 331:1.0000000 1098:1.0000000 1130:1.0000000 1283:1.0000000 1291:2.0000000 1374:1.0000000 1601:1.0000000 1714:1.0000000 1717:1.0000000 2084:1.0000000 2213:1.0000000 2214:1.0000000 2215:1.0000000 2216:1.0000000 2224:1.0000000 2226:1.0000000 2237:1.0000000 2523:1.0000000 2688:1.0000000 2689:1.0000000 2691:1.0000000 3204:1.0000000 3209:1.0000000 3210:1.0000000 3212:1.0000000 3568:1.0000000 3569:1.0000000 3570:1.0000000 3571:1.0000000 3572:1.0000000 3573:1.0000000 3574:1.0000000 3575:1.0000000 3576:1.0000000 3577:1.0000000 3578:1.0000000 3579:1.0000000
2 24:1.0000000 25:3.0000000 26:1.0000000 29:1.0000000 45:4.5000000 46:5.0000000 47:4.0000000 61:1.0000000 67:9.0000000 119:1.0000000 176:1.0000000 178:1.0000000 213:1.0000000 259:1.0000000 267:1.0000000 268:1.0000000 269:1.0000000 271:1.0000000 272:1.0000000 529:1.0000000 569:1.0000000 577:1.0000000 1600:1.0000000 1601:1.0000000 1602:1.0000000 1604:1.0000000 2033:1.0000000 2034:1.0000000 2066:1.0000000 2069:1.0000000 2143:1.0000000 2144:1.0000000 2145:1.0000000 2146:1.0000000 2219:1.0000000 2523:1.0000000 2816:1.0000000 2817:1.0000000 3093:1.0000000 3504:1.0000000 3580:1.0000000 3581:1.0000000 3582:1.0000000 3583:1.0000000 3584:1.0000000 3585:1.0000000 3586:1.0000000 3587:1.0000000 3588:1.0000000 3589:1.0000000 3590:1.0000000 3591:1.0000000 3592:1.0000000 3593:1.0000000 3594:1.0000000 3595:1.0000000 3596:1.0000000 3597:1.0000000 3598:1.0000000
2 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 40:1.0000000 44:1.0000000 45:5.0000000 46:6.0000000 47:4.0000000 61:1.0000000 67:10.0000000 119:1.0000000 176:1.0000000 213:1.0000000 259:1.0000000 577:1.0000000 852:1.0000000 1181:1.0000000 1182:1.0000000 1600:1.0000000 1601:1.0000000 1602:1.0000000 1604:1.0000000 2008:1.0000000 2145:1.0000000 2166:1.0000000 2167:1.0000000 2168:1.0000000 2171:1.0000000 2172:1.0000000 2174:1.0000000 2175:1.0000000 2176:1.0000000 2177:1.0000000 2178:1.0000000 2219:1.0000000 2523:1.0000000 2816:1.0000000 2817:1.0000000 3093:1.0000000 3504:1.0000000 3580:1.0000000 3581:1.0000000 3582:1.0000000 3583:1.0000000 3584:1.0000000 3585:1.0000000 3586:1.0000000 3591:1.0000000 3592:1.0000000 3593:1.0000000 3594:1.0000000 3595:1.0000000 3596:1.0000000 3599:1.0000000 3600:1.0000000 3601:1.0000000 3602:1.0000000
2 24:1.0000000 25:3.0000000 26:1.0000000 45:4.5000000 46:5.0000000 47:4.0000000 61:1.0000000 67:7.0000000 83:1.0000000 176:1.0000000 178:1.0000000 259:1.0000000 267:1.0000000 268:1.0000000 269:1.0000000 271:1.0000000 272:1.0000000 569:1.0000000 577:1.0000000 1600:1.0000000 1601:1.0000000 2033:1.0000000 2034:1.0000000 2048:1.0000000 2049:1.0000000 2066:1.0000000 2069:1.0000000 2143:1.0000000 2144:1.0000000 2145:1.0000000 2146:1.0000000 2523:1.0000000 2817:1.0000000 3504:1.0000000 3587:1.0000000 3588:1.0000000 3589:1.0000000 3590:1.0000000 3593:1.0000000 3594:1.0000000 3595:1.0000000 3597:1.0000000 3603:1.0000000 3604:1.0000000 3605:1.0000000 3606:1.0000000 3607:1.0000000 3608:1.0000000 3609:1.0000000 3610:1.0000000 3611:1.0000000 3612:1.0000000 3613:1.0000000 3614:1.0000000 3615:1.0000000 3616:1.0000000
@@ -677,7 +677,7 @@
1 8:1.0000000 24:3.0000000 25:1.0000000 30:1.0000000 45:4.0000000 46:6.0000000 47:2.0000000 67:7.0000000 115:1.0000000 138:1.0000000 139:1.0000000 176:1.0000000 198:1.0000000 268:1.0000000 272:1.0000000 413:1.0000000 418:1.0000000 444:1.0000000 446:1.0000000 451:1.0000000 466:2.0000000 770:1.0000000 856:1.0000000 884:1.0000000 887:1.0000000 1096:1.0000000 1109:1.0000000 1111:1.0000000 2263:1.0000000 2732:1.0000000 3526:1.0000000 3968:1.0000000 3995:1.0000000 3996:1.0000000 4242:1.0000000 4683:1.0000000 4684:1.0000000 4864:1.0000000 4865:1.0000000 4866:1.0000000 4867:1.0000000 4868:1.0000000 4869:1.0000000 4870:1.0000000 4871:1.0000000 4872:1.0000000 4873:1.0000000 4874:1.0000000 4875:1.0000000 4876:1.0000000 4877:1.0000000 4878:1.0000000 4879:1.0000000 4880:1.0000000 4881:1.0000000 4882:1.0000000 4883:1.0000000 4884:1.0000000 4885:1.0000000 4886:1.0000000 4887:1.0000000
1 8:1.0000000 24:3.0000000 25:1.0000000 30:1.0000000 45:6.0000000 46:10.0000000 47:2.0000000 67:14.0000000 119:1.0000000 138:1.0000000 139:1.0000000 198:1.0000000 268:1.0000000 272:1.0000000 413:2.0000000 418:1.0000000 434:1.0000000 444:1.0000000 446:1.0000000 466:4.0000000 770:1.0000000 798:1.0000000 856:1.0000000 884:1.0000000 887:1.0000000 1096:1.0000000 2263:1.0000000 2552:1.0000000 2732:1.0000000 3526:1.0000000 3968:1.0000000 3995:1.0000000 3996:1.0000000 4242:1.0000000 4683:1.0000000 4684:2.0000000 4864:1.0000000 4865:1.0000000 4866:1.0000000 4867:1.0000000 4868:1.0000000 4869:1.0000000 4870:1.0000000 4871:1.0000000 4872:1.0000000 4873:1.0000000 4874:1.0000000 4880:1.0000000 4881:1.0000000 4882:1.0000000 4883:1.0000000 4884:1.0000000 4885:1.0000000 4888:1.0000000 4889:1.0000000 4890:1.0000000 4891:1.0000000 4892:1.0000000 4893:1.0000000 4894:1.0000000 4895:1.0000000 4896:1.0000000 4897:1.0000000 4898:1.0000000
2 24:1.0000000 25:1.0000000 30:1.0000000 45:3.0000000 46:5.0000000 47:1.0000000 67:5.0000000 89:1.0000000 90:1.0000000 198:1.0000000 268:1.0000000 272:1.0000000 413:1.0000000 418:1.0000000 434:1.0000000 444:1.0000000 446:1.0000000 466:2.0000000 594:1.0000000 598:1.0000000 742:1.0000000 759:1.0000000 766:1.0000000 768:1.0000000 798:1.0000000 1102:1.0000000 1103:1.0000000 2027:1.0000000 2184:1.0000000 2187:1.0000000 2552:1.0000000 3995:1.0000000 3996:1.0000000 4036:1.0000000 4242:1.0000000 4683:1.0000000 4684:1.0000000 4888:1.0000000 4889:1.0000000 4890:1.0000000 4891:1.0000000 4892:1.0000000 4895:1.0000000 4896:1.0000000 4897:1.0000000 4899:1.0000000 4900:1.0000000 4901:1.0000000 4902:1.0000000 4903:1.0000000 4904:1.0000000 4905:1.0000000
-1 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 67:2.0000000 115:1.0000000 176:1.0000000 268:1.0000000 272:1.0000000 435:1.0000000 446:1.0000000 466:1.0000000 759:1.0000000 798:1.0000000 998:1.0000000 1440:1.0000000 1601:1.0000000 1604:1.0000000 1961:1.0000000 1972:1.0000000 2523:1.0000000 3996:1.0000000 4242:1.0000000 4906:1.0000000 4907:1.0000000 4908:1.0000000 4909:1.0000000 4910:1.0000000 4911:1.0000000 4912:1.0000000 4913:1.0000000 4914:1.0000000 4915:1.0000000 4916:1.0000000 4917:1.0000000 4918:1.0000000 4919:1.0000000 4920:1.0000000 4921:1.0000000 4922:1.0000000 4923:1.0000000 4924:1.0000000 4925:1.0000000 4926:1.0000000 4927:1.0000000
+1 24:1.0000000 25:1.0000000 26:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 45:2.5000000 46:3.0000000 47:2.0000000 67:2.0000000 115:1.0000000 176:1.0000000 268:1.0000000 272:1.0000000 435:1.0000000 446:1.0000000 466:1.0000000 759:1.0000000 798:1.0000000 998:1.0000000 1440:1.0000000 1601:1.0000000 1604:1.0000000 1961:1.0000000 1972:1.0000000 2523:1.0000000 3715:1.0000000 3996:1.0000000 4242:1.0000000 4906:1.0000000 4907:1.0000000 4908:1.0000000 4909:1.0000000 4910:1.0000000 4911:1.0000000 4912:1.0000000 4913:1.0000000 4914:1.0000000 4915:1.0000000 4916:1.0000000 4917:1.0000000 4918:1.0000000 4919:1.0000000 4920:1.0000000 4921:1.0000000 4922:1.0000000 4923:1.0000000 4924:1.0000000 4925:1.0000000 4926:1.0000000 4927:1.0000000
1 24:1.0000000 30:1.0000000 45:2.0000000 46:3.0000000 47:1.0000000 67:1.0000000 89:1.0000000 90:1.0000000 115:1.0000000 268:1.0000000 446:1.0000000 1066:1.0000000 1098:1.0000000 1600:1.0000000 1601:1.0000000 2400:1.0000000 2523:1.0000000 3609:1.0000000 4161:1.0000000 4163:1.0000000 4174:1.0000000 4230:1.0000000 4928:1.0000000 4929:1.0000000 4930:1.0000000 4931:1.0000000 4932:1.0000000 4933:1.0000000 4934:1.0000000 4935:1.0000000 4936:1.0000000 4937:1.0000000 4938:1.0000000 4939:1.0000000 4940:1.0000000 4941:1.0000000 4942:1.0000000 4943:1.0000000 4944:1.0000000 4945:1.0000000 4946:1.0000000 4947:1.0000000 4948:1.0000000 4949:1.0000000 4950:1.0000000 4951:1.0000000 4952:1.0000000
1 24:1.0000000 25:3.0000000 30:1.0000000 45:3.0000000 46:5.0000000 47:1.0000000 67:6.0000000 89:1.0000000 90:1.0000000 119:1.0000000 466:1.0000000 1066:1.0000000 1098:1.0000000 1555:1.0000000 1561:1.0000000 1600:1.0000000 1601:1.0000000 2523:1.0000000 3197:1.0000000 3201:1.0000000 3589:1.0000000 3590:1.0000000 3609:1.0000000 3996:1.0000000 4161:1.0000000 4163:1.0000000 4242:1.0000000 4928:1.0000000 4929:1.0000000 4930:1.0000000 4931:1.0000000 4932:1.0000000 4933:1.0000000 4934:1.0000000 4935:1.0000000 4945:1.0000000 4947:1.0000000 4948:1.0000000 4953:1.0000000 4954:1.0000000 4955:1.0000000 4956:1.0000000 4957:1.0000000 4958:1.0000000 4959:1.0000000 4960:1.0000000 4961:1.0000000 4962:1.0000000 4963:1.0000000 4964:1.0000000 4965:1.0000000 4966:1.0000000 4967:1.0000000 4968:1.0000000 4969:1.0000000 4970:1.0000000 4971:1.0000000
1 24:1.0000000 25:1.0000000 30:1.0000000 45:4.0000000 46:7.0000000 47:1.0000000 67:9.0000000 89:1.0000000 90:1.0000000 119:1.0000000 280:1.0000000 284:1.0000000 292:1.0000000 327:1.0000000 331:1.0000000 466:1.0000000 530:1.0000000 1066:1.0000000 1098:1.0000000 1600:1.0000000 1601:1.0000000 2235:1.0000000 2237:1.0000000 2523:1.0000000 3589:1.0000000 3590:1.0000000 3609:1.0000000 4161:1.0000000 4163:1.0000000 4928:1.0000000 4929:1.0000000 4930:1.0000000 4931:1.0000000 4932:1.0000000 4933:1.0000000 4934:1.0000000 4935:1.0000000 4945:1.0000000 4947:1.0000000 4948:1.0000000 4955:1.0000000 4958:1.0000000 4959:1.0000000 4962:1.0000000 4963:1.0000000 4964:1.0000000 4965:1.0000000 4966:1.0000000 4972:1.0000000 4973:1.0000000 4974:1.0000000 4975:1.0000000 4976:1.0000000 4977:1.0000000 4978:1.0000000 4979:1.0000000
@@ -718,11 +718,11 @@
2 24:1.0000000 25:1.0000000 40:1.0000000 45:5.0000000 46:7.0000000 47:3.0000000 61:1.0000000 67:45.0000000 103:1.0000000 106:1.0000000 109:1.0000000 110:1.0000000 114:1.0000000 115:2.0000000 119:10.0000000 123:1.0000000 138:1.0000000 170:1.0000000 230:1.0000000 258:2.0000000 292:2.0000000 297:1.0000000 298:1.0000000 302:1.0000000 385:1.0000000 387:1.0000000 388:1.0000000 413:2.0000000 434:1.0000000 641:1.0000000 681:1.0000000 682:1.0000000 683:1.0000000 685:1.0000000 686:1.0000000 793:1.0000000 795:1.0000000 855:1.0000000 879:1.0000000 881:1.0000000 1270:1.0000000 2142:1.0000000 2679:2.0000000 2690:2.0000000 2794:2.0000000 2795:1.0000000 3026:1.0000000 3183:2.0000000 4158:1.0000000 4177:1.0000000 5001:1.0000000 5057:1.0000000 5172:1.0000000 5173:1.0000000 5174:1.0000000 5175:1.0000000 5176:1.0000000 5177:1.0000000 5178:1.0000000 5179:1.0000000 5184:1.0000000 5185:1.0000000 5186:1.0000000 5199:1.0000000 5201:1.0000000 5202:1.0000000 5203:1.0000000 5216:1.0000000 5217:1.000000
0 5304:1.0000000 5305:1.0000000 5306:1.0000000 5307:1.0000000 5308:1.0000000 5309:1.0000000 5310:1.0000000 5311:1.0000000 5312:1.0000000 5318:1.0000000 5319:1.0000000 5320:1.0000000 5321:1.0000000 5322:1.0000000 5323:1.0000000 5324:1.0000000 5325:1.0000000
2 24:1.0000000 25:1.0000000 45:4.5000000 46:6.0000000 47:3.0000000 61:1.0000000 67:48.0000000 86:1.0000000 109:1.0000000 110:1.0000000 114:1.0000000 119:11.0000000 138:1.0000000 170:1.0000000 178:1.0000000 230:1.0000000 258:2.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 289:1.0000000 290:1.0000000 292:2.0000000 413:2.0000000 434:1.0000000 641:1.0000000 681:1.0000000 682:1.0000000 683:1.0000000 685:1.0000000 686:1.0000000 855:1.0000000 881:1.0000000 1270:1.0000000 2142:1.0000000 2679:2.0000000 2690:2.0000000 2794:2.0000000 2795:1.0000000 2897:1.0000000 3026:1.0000000 3183:2.0000000 4158:1.0000000 4177:1.0000000 5001:1.0000000 5057:1.0000000 5172:1.0000000 5173:1.0000000 5174:1.0000000 5175:1.0000000 5176:1.0000000 5177:1.0000000 5178:1.0000000 5179:1.0000000 5184:1.0000000 5185:1.0000000 5186:1.0000000 5201:1.0000000 5202:1.0000000 5203:1.0000000 5216:1.0000000 5217:1.0000000 5288:1.0000000 5289:1.0000000 5290:1.0000000 5291:1.0000000 5292:1.0000000 5293:1.
0000000 5294:1.0000000 5295:1.0000000 5296:1.0000000 5297:1.0000000 5298:1.0000000 5299:1.0000000 5300:1.0000000 5304:1.0000000 5305:1.0000000 5306:1.0000000 5307:1.0000000 5308:1.0000000 5309:1.0000000 5310:1.0000000 5311:1.0000000 5312:1.0000000 5326:1.0000000
2 24:1.0000000 25:2.0000000 45:6.0000000 46:9.0000000 47:3.0000000 61:1.0000000 67:59.0000000 86:1.0000000 109:1.0000000 110:2.0000000 114:2.0000000 119:12.0000000 138:1.0000000 170:1.0000000 178:1.0000000 230:1.0000000 258:2.0000000 266:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 289:1.0000000 290:1.0000000 292:2.0000000 413:2.0000000 434:2.0000000 641:1.0000000 681:1.0000000 682:1.0000000 683:1.0000000 685:1.0000000 686:1.0000000 855:1.0000000 881:1.0000000 1270:1.0000000 2142:1.0000000 2169:1.0000000 2349:1.0000000 2655:1.0000000 2679:3.0000000 2690:2.0000000 2794:2.0000000 2795:1.0000000 3026:1.0000000 3183:2.0000000 4158:1.0000000 4177:1.0000000 4222:1.0000000 4394:1.0000000 5001:1.0000000 5057:1.0000000 5123:1.0000000 5126:1.0000000 5131:1.0000000 5172:1.0000000 5173:1.0000000 5174:1.0000000 5175:1.0000000 5176:1.0000000 5177:1.0000000 5178:1.0000000 5179:1.0000000 5184:1.0000000 5185:1.0000000 5186:1.0000000 5201:1.0000000 5202:1.0000000 5203:1.0000000 5208:1.
0000000 5209:1.0000000 5210:1.0000000 5211:1.0000000 5212:1.0000000 5213:1.0000000 5214:1.0000000 5215:1.0000000 5216:1.0000000 5217:1.0000000 5218:1.0000000 5219:1.0000000 5220:1.0000000 5221:1.0000000 5222:1.0000000 5223:1.0000000 5224:1.0000000 5225:1.0000000 5304:1.0000000 5305:1.0000000 5306:1.0000000 5307:1.0000000 5308:1.0000000 5309:1.0000000 5310:1.0000000 5311:1.0000000 5312:1.0000000 5327:1.0000000
-1 22:1.0000000 23:1.0000000 24:2.0000000 25:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 40:1.0000000 43:1.0000000 44:1.0000000 45:3.5000000 46:5.0000000 47:2.0000000 115:1.0000000 198:1.0000000 495:1.0000000 497:1.0000000 784:1.0000000 785:1.0000000 794:1.0000000 856:1.0000000 884:1.0000000 888:1.0000000 1119:1.0000000 1142:1.0000000 1478:1.0000000 1598:1.0000000 2514:1.0000000 2663:1.0000000 2721:1.0000000 3274:1.0000000 3275:1.0000000 4142:1.0000000 4229:1.0000000 4240:1.0000000 5123:1.0000000 5249:1.0000000 5250:1.0000000 5251:1.0000000 5258:1.0000000 5259:1.0000000 5260:1.0000000 5328:1.0000000 5329:1.0000000 5330:1.0000000 5331:1.0000000 5332:1.0000000 5333:1.0000000 5334:1.0000000 5335:1.0000000
-2 24:2.0000000 25:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 40:1.0000000 43:1.0000000 45:3.0000000 46:4.0000000 47:2.0000000 67:5.0000000 97:1.0000000 99:1.0000000 110:1.0000000 115:1.0000000 119:1.0000000 123:1.0000000 198:1.0000000 495:1.0000000 497:1.0000000 784:1.0000000 785:1.0000000 794:1.0000000 856:1.0000000 884:1.0000000 888:1.0000000 1119:1.0000000 1263:1.0000000 1270:1.0000000 1598:1.0000000 2663:1.0000000 2721:1.0000000 2794:1.0000000 2906:1.0000000 3274:1.0000000 3275:1.0000000 4142:1.0000000 5053:1.0000000 5057:1.0000000 5167:1.0000000 5168:1.0000000 5169:1.0000000 5170:1.0000000 5171:1.0000000 5179:1.0000000 5180:1.0000000 5181:1.0000000 5182:1.0000000 5328:1.0000000 5329:1.0000000 5330:1.0000000 5331:1.0000000 5332:1.0000000 5333:1.0000000 5334:1.0000000 5336:1.0000000 5337:1.0000000
-2 24:2.0000000 25:1.0000000 29:1.0000000 45:4.5000000 46:6.0000000 47:3.0000000 67:13.0000000 110:1.0000000 119:3.0000000 170:1.0000000 198:1.0000000 268:1.0000000 272:1.0000000 297:1.0000000 304:1.0000000 305:1.0000000 306:1.0000000 307:1.0000000 390:1.0000000 403:1.0000000 407:1.0000000 413:1.0000000 418:1.0000000 419:1.0000000 421:1.0000000 472:1.0000000 495:1.0000000 497:1.0000000 509:1.0000000 784:1.0000000 785:1.0000000 856:1.0000000 884:1.0000000 888:1.0000000 1119:1.0000000 1270:1.0000000 1598:1.0000000 2676:1.0000000 2679:1.0000000 2690:1.0000000 2721:1.0000000 2794:1.0000000 3274:1.0000000 3275:1.0000000 4142:1.0000000 4158:1.0000000 5057:1.0000000 5179:1.0000000 5184:1.0000000 5185:1.0000000 5186:1.0000000 5267:1.0000000 5328:1.0000000 5329:1.0000000 5330:1.0000000 5331:1.0000000 5332:1.0000000 5333:1.0000000 5334:1.0000000 5336:1.0000000 5338:1.0000000 5339:1.0000000 5340:1.0000000
-2 24:2.0000000 25:2.0000000 29:1.0000000 45:5.0000000 46:7.0000000 47:3.0000000 61:1.0000000 67:48.0000000 86:1.0000000 109:1.0000000 110:2.0000000 114:2.0000000 119:10.0000000 170:1.0000000 178:1.0000000 198:1.0000000 230:1.0000000 258:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 289:1.0000000 290:1.0000000 292:2.0000000 413:1.0000000 434:2.0000000 495:1.0000000 497:1.0000000 529:1.0000000 784:1.0000000 785:1.0000000 856:1.0000000 881:1.0000000 884:1.0000000 888:1.0000000 1119:1.0000000 1270:1.0000000 1598:1.0000000 2169:1.0000000 2349:1.0000000 2655:1.0000000 2679:2.0000000 2690:1.0000000 2721:1.0000000 2794:2.0000000 2795:1.0000000 3183:2.0000000 3274:1.0000000 3275:1.0000000 4142:1.0000000 4158:1.0000000 4177:1.0000000 4222:1.0000000 4394:1.0000000 5001:1.0000000 5057:1.0000000 5123:1.0000000 5126:1.0000000 5131:1.0000000 5172:1.0000000 5179:1.0000000 5184:1.0000000 5185:1.0000000 5186:1.0000000 5201:1.0000000 5202:1.0000000 5203:1.0000000 5208:1.0000000 5209:1.00
00000 5210:1.0000000 5211:1.0000000 5212:1.0000000 5213:1.0000000 5214:1.0000000 5215:1.0000000 5216:1.0000000 5217:1.0000000 5218:1.0000000 5219:1.0000000 5220:1.0000000 5221:1.0000000 5222:1.0000000 5223:1.0000000 5224:1.0000000 5225:1.0000000 5328:1.0000000 5329:1.0000000 5330:1.0000000 5331:1.0000000 5332:1.0000000 5333:1.0000000 5334:1.0000000 5336:1.0000000 5341:1.0000000
-2 24:2.0000000 25:1.0000000 29:1.0000000 45:3.5000000 46:5.0000000 47:2.0000000 61:1.0000000 67:54.0000000 86:1.0000000 109:1.0000000 110:2.0000000 114:2.0000000 119:11.0000000 170:1.0000000 178:1.0000000 198:1.0000000 230:1.0000000 258:1.0000000 268:1.0000000 271:1.0000000 272:1.0000000 289:1.0000000 290:1.0000000 292:2.0000000 413:1.0000000 434:2.0000000 495:1.0000000 497:1.0000000 529:1.0000000 784:1.0000000 785:1.0000000 856:1.0000000 881:1.0000000 884:1.0000000 888:1.0000000 1119:1.0000000 1270:1.0000000 1598:1.0000000 2349:1.0000000 2679:3.0000000 2690:1.0000000 2721:1.0000000 2794:2.0000000 2795:1.0000000 3183:2.0000000 3274:1.0000000 3275:1.0000000 3790:1.0000000 4142:1.0000000 4158:1.0000000 4177:1.0000000 4218:1.0000000 4222:1.0000000 4394:1.0000000 5001:1.0000000 5057:1.0000000 5131:1.0000000 5172:1.0000000 5179:1.0000000 5184:1.0000000 5185:1.0000000 5186:1.0000000 5201:1.0000000 5202:1.0000000 5203:1.0000000 5216:1.0000000 5217:1.0000000 5218:1.0000000 5219:1.00
00000 5220:1.0000000 5221:1.0000000 5222:1.0000000 5227:1.0000000 5228:1.0000000 5229:1.0000000 5230:1.0000000 5231:1.0000000 5232:1.0000000 5233:1.0000000 5234:1.0000000 5235:1.0000000 5236:1.0000000 5237:1.0000000 5238:1.0000000 5239:1.0000000 5240:1.0000000 5241:1.0000000 5242:1.0000000 5243:1.0000000 5328:1.0000000 5329:1.0000000 5330:1.0000000 5331:1.0000000 5332:1.0000000 5333:1.0000000 5334:1.0000000 5336:1.0000000 5342:1.0000000
[... 2872 lines stripped ...]