Quelle  p7.tst   Sprache: unbekannt

gap> START_TEST("p7.tst");

#
gap> ReadPackage("liepring", "tst/testutils.g");
true

gap> Ls := LiePRingsByLibrary(7);;
gap> List(Ls, LibraryName);
[ "7.0", "7.2", "7.3", "7.4", "7.5", "7.6", "7.7", "7.8", "7.9", "7.10", 
  "7.11", "7.12", "7.13", "7.14", "7.15", "7.16", "7.17", "7.18", "7.19", 
  "7.20", "7.21", "7.22", "7.23", "7.24", "7.25", "7.26", "7.27", "7.28", 
  "7.29", "7.30", "7.31", "7.32", "7.33", "7.34", "7.35", "7.36", "7.37", 
  "7.38", "7.39", "7.40", "7.41", "7.42", "7.43", "7.44", "7.45", "7.46", 
  "7.47", "7.48", "7.49", "7.50", "7.51", "7.52", "7.53", "7.54", "7.55", 
  "7.56", "7.57", "7.58", "7.59", "7.60", "7.61", "7.62", "7.63", "7.64", 
  "7.65", "7.66", "7.67", "7.68", "7.69", "7.70", "7.71", "7.72", "7.73", 
  "7.74", "7.75", "7.76", "7.77", "7.78", "7.79", "7.80", "7.81", "7.82", 
  "7.83", "7.84", "7.85", "7.86", "7.87", "7.88", "7.89", "7.90", "7.91", 
  "7.92", "7.93", "7.94", "7.95", "7.96", "7.97", "7.98", "7.99", "7.100", 
  "7.101", "7.102", "7.103", "7.104", "7.105", "7.106", "7.107", "7.108", 
  "7.109", "7.110", "7.111", "7.112", "7.113", "7.114", "7.115", "7.116", 
  "7.117", "7.118", "7.119", "7.120", "7.121", "7.122", "7.123", "7.124", 
  "7.125", "7.126", "7.127", "7.128", "7.129", "7.130", "7.131", "7.132", 
  "7.133", "7.134", "7.135", "7.136", "7.137", "7.138", "7.139", "7.140", 
  "7.141", "7.142", "7.143", "7.144", "7.145", "7.146", "7.147", "7.148", 
  "7.149", "7.150", "7.151", "7.152", "7.153", "7.154", "7.155", "7.156", 
  "7.157", "7.158", "7.159", "7.160", "7.161", "7.162", "7.163", "7.164", 
  "7.165", "7.166", "7.167", "7.168", "7.169", "7.170", "7.171", "7.172", 
  "7.173", "7.174", "7.175", "7.176", "7.177", "7.178", "7.179", "7.180", 
  "7.181", "7.182", "7.183", "7.184", "7.185", "7.186", "7.187", "7.188", 
  "7.189", "7.190", "7.191", "7.192", "7.193", "7.194", "7.195", "7.196", 
  "7.197", "7.198", "7.199", "7.200", "7.201", "7.202", "7.203", "7.204", 
  "7.205", "7.206", "7.207", "7.208", "7.209", "7.210", "7.211", "7.212", 
  "7.213", "7.214", "7.215", "7.216", "7.217", "7.218", "7.219", "7.220", 
  "7.221", "7.222", "7.223", "7.224", "7.225", "7.226", "7.227", "7.228", 
  "7.229", "7.230", "7.231", "7.232", "7.233", "7.234", "7.235", "7.236", 
  "7.237", "7.238", "7.239", "7.240", "7.241", "7.242", "7.243", "7.244", 
  "7.245", "7.246", "7.247", "7.248", "7.249", "7.250", "7.251", "7.252", 
  "7.253", "7.254", "7.255", "7.256", "7.257", "7.258", "7.259", "7.260", 
  "7.261", "7.262", "7.263", "7.264", "7.265", "7.266", "7.267", "7.268", 
  "7.269", "7.270", "7.271", "7.272", "7.273", "7.274", "7.275", "7.276", 
  "7.277", "7.278", "7.279", "7.280", "7.281", "7.282", "7.283", "7.284", 
  "7.285", "7.286", "7.287", "7.288", "7.289", "7.290", "7.291", "7.292", 
  "7.293", "7.294", "7.295", "7.296", "7.297", "7.298", "7.299", "7.300", 
  "7.301", "7.302", "7.303", "7.304", "7.305", "7.306", "7.307", "7.308", 
  "7.309", "7.310", "7.311", "7.312", "7.313", "7.314", "7.315", "7.316", 
  "7.317", "7.318", "7.319", "7.320", "7.321", "7.322", "7.323", "7.324", 
  "7.325", "7.326", "7.327", "7.328", "7.329", "7.330", "7.331", "7.332", 
  "7.333", "7.334", "7.335", "7.336", "7.337", "7.338", "7.339", "7.340", 
  "7.341", "7.342", "7.343", "7.344", "7.345", "7.346", "7.347", "7.348", 
  "7.349", "7.350", "7.351", "7.352", "7.353", "7.354", "7.355", "7.356", 
  "7.357", "7.358", "7.359", "7.360", "7.361", "7.362", "7.363", "7.364", 
  "7.365", "7.366", "7.367", "7.368", "7.369", "7.370", "7.371", "7.372", 
  "7.373", "7.374", "7.375", "7.376", "7.377", "7.378", "7.379", "7.380", 
  "7.381", "7.382", "7.383", "7.384", "7.385", "7.386", "7.387", "7.388", 
  "7.389", "7.390", "7.391", "7.392", "7.393", "7.394", "7.395", "7.396", 
  "7.397", "7.398", "7.399", "7.400", "7.401", "7.402", "7.403", "7.404", 
  "7.405", "7.406", "7.407", "7.408", "7.409", "7.410", "7.411", "7.412", 
  "7.413", "7.414", "7.415", "7.416", "7.417", "7.418", "7.419", "7.420", 
  "7.421", "7.422", "7.423", "7.424", "7.425", "7.426", "7.427", "7.428", 
  "7.429", "7.430", "7.431", "7.432", "7.433", "7.434", "7.435", "7.436", 
  "7.437", "7.438", "7.439", "7.440", "7.441", "7.442", "7.443", "7.444", 
  "7.445", "7.446", "7.447", "7.448", "7.449", "7.450", "7.451", "7.452", 
  "7.453", "7.454", "7.455", "7.456", "7.457", "7.458", "7.459", "7.460", 
  "7.461", "7.462", "7.463", "7.464", "7.465", "7.466", "7.467", "7.468", 
  "7.469", "7.470", "7.471", "7.472", "7.473", "7.474", "7.475", "7.476", 
  "7.477", "7.478", "7.479", "7.480", "7.481", "7.482", "7.483", "7.484", 
  "7.485", "7.486", "7.487", "7.488", "7.489", "7.490", "7.491", "7.492", 
  "7.493", "7.494", "7.495", "7.496", "7.497", "7.498", "7.499", "7.500", 
  "7.501", "7.502", "7.503", "7.504", "7.505", "7.506", "7.507", "7.508", 
  "7.509", "7.510", "7.511", "7.512", "7.513", "7.514", "7.515", "7.516", 
  "7.517", "7.518", "7.519", "7.520", "7.521", "7.522", "7.523", "7.524", 
  "7.525", "7.526", "7.527", "7.528", "7.529", "7.530", "7.531", "7.532", 
  "7.533", "7.534", "7.535", "7.536", "7.537", "7.538", "7.539", "7.540", 
  "7.541", "7.542", "7.543", "7.544", "7.545", "7.546", "7.547", "7.548", 
  "7.549", "7.550", "7.551", "7.552", "7.553", "7.554", "7.555", "7.556", 
  "7.557", "7.558", "7.559", "7.560", "7.561", "7.562", "7.563", "7.564", 
  "7.565", "7.566", "7.567", "7.568", "7.569", "7.570", "7.571", "7.572", 
  "7.573", "7.574", "7.575", "7.576", "7.577", "7.578", "7.579", "7.580", 
  "7.581", "7.582", "7.583", "7.584", "7.585", "7.586", "7.587", "7.588", 
  "7.589", "7.590", "7.591", "7.592", "7.593", "7.594", "7.595", "7.596", 
  "7.597", "7.598", "7.599", "7.600", "7.601", "7.602", "7.603", "7.604", 
  "7.605", "7.606", "7.607", "7.608", "7.609", "7.610", "7.611", "7.612", 
  "7.613", "7.614", "7.615", "7.616", "7.617", "7.618", "7.619", "7.620", 
  "7.621", "7.622", "7.623", "7.624", "7.625", "7.626", "7.627", "7.628", 
  "7.629", "7.630", "7.631", "7.632", "7.633", "7.634", "7.635", "7.636", 
  "7.637", "7.638", "7.639", "7.640", "7.641", "7.642", "7.643", "7.644", 
  "7.645", "7.646", "7.647", "7.648", "7.649", "7.650", "7.651", "7.652", 
  "7.653", "7.654", "7.655", "7.656", "7.657", "7.658", "7.659", "7.660", 
  "7.661", "7.662", "7.663", "7.664", "7.665", "7.666", "7.667", "7.668", 
  "7.669", "7.670", "7.671", "7.672", "7.673", "7.674", "7.675", "7.676", 
  "7.677", "7.678", "7.679", "7.680", "7.681", "7.682", "7.683", "7.684", 
  "7.685", "7.686", "7.687", "7.688", "7.689", "7.690", "7.691", "7.692", 
  "7.693", "7.694", "7.695", "7.696", "7.697", "7.698", "7.699", "7.700", 
  "7.701", "7.702", "7.703", "7.704", "7.705", "7.706", "7.707", "7.708", 
  "7.709", "7.710", "7.711", "7.712", "7.713", "7.714", "7.715", "7.716", 
  "7.717", "7.718", "7.719", "7.720", "7.721", "7.722", "7.723", "7.724", 
  "7.725", "7.726", "7.727", "7.728", "7.729", "7.730", "7.731", "7.732", 
  "7.733", "7.734", "7.735", "7.736", "7.737", "7.738", "7.739", "7.740", 
  "7.741", "7.742", "7.743", "7.744", "7.745", "7.746", "7.747", "7.748", 
  "7.749", "7.750", "7.751", "7.752", "7.753", "7.754", "7.755", "7.756", 
  "7.757", "7.758", "7.759", "7.760", "7.761", "7.762", "7.763", "7.764", 
  "7.765", "7.766", "7.767", "7.768", "7.769", "7.770", "7.771", "7.772", 
  "7.773", "7.774", "7.775", "7.776", "7.777", "7.778", "7.779", "7.780", 
  "7.781", "7.782", "7.783", "7.784", "7.785", "7.786", "7.787", "7.788", 
  "7.789", "7.790", "7.791", "7.792", "7.793", "7.794", "7.795", "7.796", 
  "7.797", "7.798", "7.799", "7.800", "7.801", "7.802", "7.803", "7.804", 
  "7.805", "7.806", "7.807", "7.808", "7.809", "7.810", "7.811", "7.812", 
  "7.813", "7.814", "7.815", "7.816", "7.817", "7.818", "7.819", "7.820", 
  "7.821", "7.822", "7.823", "7.824", "7.825", "7.826", "7.827", "7.828", 
  "7.829", "7.830", "7.831", "7.832", "7.833", "7.834", "7.835", "7.836", 
  "7.837", "7.838", "7.839", "7.840", "7.841", "7.842", "7.843", "7.844", 
  "7.845", "7.846", "7.847", "7.848", "7.849", "7.850", "7.851", "7.852", 
  "7.853", "7.854", "7.855", "7.856", "7.857", "7.858", "7.859", "7.860", 
  "7.861", "7.862", "7.863", "7.864", "7.865", "7.866", "7.867", "7.868", 
  "7.869", "7.870", "7.871", "7.872", "7.873", "7.874", "7.875", "7.876", 
  "7.877", "7.878", "7.879", "7.880", "7.881", "7.882", "7.883", "7.884", 
  "7.885", "7.886", "7.887", "7.888", "7.889", "7.890", "7.891", "7.892", 
  "7.893", "7.894", "7.895", "7.896", "7.897", "7.898", "7.899", "7.900", 
  "7.901", "7.902", "7.903", "7.904", "7.905", "7.906", "7.907", "7.908", 
  "7.909", "7.910", "7.911", "7.912", "7.913", "7.914", "7.915", "7.916", 
  "7.917", "7.918", "7.919", "7.920", "7.921", "7.922", "7.923", "7.924", 
  "7.925", "7.926", "7.927", "7.928", "7.929", "7.930", "7.931", "7.932", 
  "7.933", "7.934", "7.935", "7.936", "7.937", "7.938", "7.939", "7.940", 
  "7.941", "7.942", "7.943", "7.944", "7.945", "7.946", "7.947", "7.948", 
  "7.949", "7.950", "7.951", "7.952", "7.953", "7.954", "7.955", "7.956", 
  "7.957", "7.958", "7.959", "7.960", "7.961", "7.962", "7.963", "7.964", 
  "7.965", "7.966", "7.967", "7.968", "7.969", "7.970", "7.971", "7.972", 
  "7.973", "7.974", "7.975", "7.976", "7.977", "7.978", "7.979", "7.980", 
  "7.981", "7.982", "7.983", "7.984", "7.985", "7.986", "7.987", "7.988", 
  "7.989", "7.990", "7.991", "7.992", "7.993", "7.994", "7.995", "7.996", 
  "7.997", "7.998", "7.999", "7.1000", "7.1001", "7.1002", "7.1003", 
  "7.1004", "7.1005", "7.1006", "7.1007", "7.1008", "7.1009", "7.1010", 
  "7.1011", "7.1012", "7.1013", "7.1014", "7.1015", "7.1016", "7.1017", 
  "7.1018", "7.1019", "7.1020", "7.1021", "7.1022", "7.1023", "7.1024", 
  "7.1025", "7.1026", "7.1027", "7.1028", "7.1029", "7.1030", "7.1031", 
  "7.1032", "7.1033", "7.1034", "7.1035", "7.1036", "7.1037", "7.1038", 
  "7.1039", "7.1040", "7.1041", "7.1042", "7.1043", "7.1044", "7.1045", 
  "7.1046", "7.1047", "7.1048", "7.1049", "7.1050", "7.1051", "7.1052", 
  "7.1053", "7.1054", "7.1055", "7.1056", "7.1057", "7.1058", "7.1059", 
  "7.1060", "7.1061", "7.1062", "7.1063", "7.1064", "7.1065", "7.1066", 
  "7.1067", "7.1068", "7.1069", "7.1070", "7.1071", "7.1072", "7.1073", 
  "7.1074", "7.1075", "7.1076", "7.1077", "7.1078", "7.1079", "7.1080", 
  "7.1081", "7.1082", "7.1083", "7.1084", "7.1085", "7.1086", "7.1087", 
  "7.1088", "7.1089", "7.1090", "7.1091", "7.1092", "7.1093", "7.1094", 
  "7.1095", "7.1096", "7.1097", "7.1098", "7.1099", "7.1100", "7.1101", 
  "7.1102", "7.1103", "7.1104", "7.1105", "7.1106", "7.1107", "7.1108", 
  "7.1109", "7.1110", "7.1111", "7.1112", "7.1113", "7.1114", "7.1115", 
  "7.1116", "7.1117", "7.1118", "7.1119", "7.1120", "7.1121", "7.1122", 
  "7.1123", "7.1124", "7.1125", "7.1126", "7.1127", "7.1128", "7.1129", 
  "7.1130", "7.1131", "7.1132", "7.1133", "7.1134", "7.1135", "7.1136", 
  "7.1137", "7.1138", "7.1139", "7.1140", "7.1141", "7.1142", "7.1143", 
  "7.1144", "7.1145", "7.1146", "7.1147", "7.1148", "7.1149", "7.1150", 
  "7.1151", "7.1152", "7.1153", "7.1154", "7.1155", "7.1156", "7.1157", 
  "7.1158", "7.1159", "7.1160", "7.1161", "7.1162", "7.1163", "7.1164", 
  "7.1165", "7.1166", "7.1167", "7.1168", "7.1169", "7.1170", "7.1171", 
  "7.1172", "7.1173", "7.1174", "7.1175", "7.1176", "7.1177", "7.1178", 
  "7.1179", "7.1180", "7.1181", "7.1182", "7.1183", "7.1184", "7.1185", 
  "7.1186", "7.1187", "7.1188", "7.1189", "7.1190", "7.1191", "7.1192", 
  "7.1193", "7.1194", "7.1195", "7.1196", "7.1197", "7.1198", "7.1199", 
  "7.1200", "7.1201", "7.1202", "7.1203", "7.1204", "7.1205", "7.1206", 
  "7.1207", "7.1208", "7.1209", "7.1210", "7.1211", "7.1212", "7.1213", 
  "7.1214", "7.1215", "7.1216", "7.1217", "7.1218", "7.1219", "7.1220", 
  "7.1221", "7.1222", "7.1223", "7.1224", "7.1225", "7.1226", "7.1227", 
  "7.1228", "7.1229", "7.1230", "7.1231", "7.1232", "7.1233", "7.1234", 
  "7.1235", "7.1236", "7.1237", "7.1238", "7.1239", "7.1240", "7.1241", 
  "7.1242", "7.1243", "7.1244", "7.1245", "7.1246", "7.1247", "7.1248", 
  "7.1249", "7.1250", "7.1251", "7.1252", "7.1253", "7.1254", "7.1255", 
  "7.1256", "7.1257", "7.1258", "7.1259", "7.1260", "7.1261", "7.1262", 
  "7.1263", "7.1264", "7.1265", "7.1266", "7.1267", "7.1268", "7.1269", 
  "7.1270", "7.1271", "7.1272", "7.1273", "7.1274", "7.1275", "7.1276", 
  "7.1277", "7.1278", "7.1279", "7.1280", "7.1281", "7.1282", "7.1283", 
  "7.1284", "7.1285", "7.1286", "7.1287", "7.1288", "7.1289", "7.1290", 
  "7.1291", "7.1292", "7.1293", "7.1294", "7.1295", "7.1296", "7.1297", 
  "7.1298", "7.1299", "7.1300", "7.1301", "7.1302", "7.1303", "7.1304", 
  "7.1305", "7.1306", "7.1307", "7.1308", "7.1309", "7.1310", "7.1311", 
  "7.1312", "7.1313", "7.1314", "7.1315", "7.1316", "7.1317", "7.1318", 
  "7.1319", "7.1320", "7.1321", "7.1322", "7.1323", "7.1324", "7.1325", 
  "7.1326", "7.1327", "7.1328", "7.1329", "7.1330", "7.1331", "7.1332", 
  "7.1333", "7.1334", "7.1335", "7.1336", "7.1337", "7.1338", "7.1339", 
  "7.1340", "7.1341", "7.1342", "7.1343", "7.1344", "7.1345", "7.1346", 
  "7.1347", "7.1348", "7.1349", "7.1350", "7.1351", "7.1352", "7.1353", 
  "7.1354", "7.1355", "7.1356", "7.1357", "7.1358", "7.1359", "7.1360", 
  "7.1361", "7.1362", "7.1363", "7.1364", "7.1365", "7.1366", "7.1367", 
  "7.1368", "7.1369", "7.1370", "7.1371", "7.1372", "7.1373", "7.1374", 
  "7.1375", "7.1376", "7.1377", "7.1378", "7.1379", "7.1380", "7.1381", 
  "7.1382", "7.1383", "7.1384", "7.1385", "7.1386", "7.1387", "7.1388", 
  "7.1389", "7.1390", "7.1391", "7.1392", "7.1393", "7.1394", "7.1395", 
  "7.1396", "7.1397", "7.1398", "7.1399", "7.1400", "7.1401", "7.1402", 
  "7.1403", "7.1404", "7.1405", "7.1406", "7.1407", "7.1408", "7.1409", 
  "7.1410", "7.1411", "7.1412", "7.1413", "7.1414", "7.1415", "7.1416", 
  "7.1417", "7.1418", "7.1419", "7.1420", "7.1421", "7.1422", "7.1423", 
  "7.1424", "7.1425", "7.1426", "7.1427", "7.1428", "7.1429", "7.1430", 
  "7.1431", "7.1432", "7.1433", "7.1434", "7.1435", "7.1436", "7.1437", 
  "7.1438", "7.1439", "7.1440", "7.1441", "7.1442", "7.1443", "7.1444", 
  "7.1445", "7.1446", "7.1447", "7.1448", "7.1449", "7.1450", "7.1451", 
  "7.1452", "7.1453", "7.1454", "7.1455", "7.1456", "7.1457", "7.1458", 
  "7.1459", "7.1460", "7.1461", "7.1462", "7.1463", "7.1464", "7.1465", 
  "7.1466", "7.1467", "7.1468", "7.1469", "7.1470", "7.1471", "7.1472", 
  "7.1473", "7.1474", "7.1475", "7.1476", "7.1477", "7.1478", "7.1479", 
  "7.1480", "7.1481", "7.1482", "7.1483", "7.1484", "7.1485", "7.1486", 
  "7.1487", "7.1488", "7.1489", "7.1490", "7.1491", "7.1492", "7.1493", 
  "7.1494", "7.1495", "7.1496", "7.1497", "7.1498", "7.1499", "7.1500", 
  "7.1501", "7.1502", "7.1503", "7.1504", "7.1505", "7.1506", "7.1507", 
  "7.1508", "7.1509", "7.1510", "7.1511", "7.1512", "7.1513", "7.1514", 
  "7.1515", "7.1516", "7.1517", "7.1518", "7.1519", "7.1520", "7.1521", 
  "7.1522", "7.1523", "7.1524", "7.1525", "7.1526", "7.1527", "7.1528", 
  "7.1529", "7.1530", "7.1531", "7.1532", "7.1533", "7.1534", "7.1535", 
  "7.1536", "7.1537", "7.1538", "7.1539", "7.1540", "7.1541", "7.1542", 
  "7.1543", "7.1544", "7.1545", "7.1546", "7.1547", "7.1548", "7.1549", 
  "7.1550", "7.1551", "7.1552", "7.1553", "7.1554", "7.1555", "7.1556", 
  "7.1557", "7.1558", "7.1559", "7.1560", "7.1561", "7.1562", "7.1563", 
  "7.1564", "7.1565", "7.1566", "7.1567", "7.1568", "7.1569", "7.1570", 
  "7.1571", "7.1572", "7.1573", "7.1574", "7.1575", "7.1576", "7.1577", 
  "7.1578", "7.1579", "7.1580", "7.1581", "7.1582", "7.1583", "7.1584", 
  "7.1585", "7.1586", "7.1587", "7.1588", "7.1589", "7.1590", "7.1591", 
  "7.1592", "7.1593", "7.1594", "7.1595", "7.1596", "7.1597", "7.1598", 
  "7.1599", "7.1600", "7.1601", "7.1602", "7.1603", "7.1604", "7.1605", 
  "7.1606", "7.1607", "7.1608", "7.1609", "7.1610", "7.1611", "7.1612", 
  "7.1613", "7.1614", "7.1615", "7.1616", "7.1617", "7.1618", "7.1619", 
  "7.1620", "7.1621", "7.1622", "7.1623", "7.1624", "7.1625", "7.1626", 
  "7.1627", "7.1628", "7.1629", "7.1630", "7.1631", "7.1632", "7.1633", 
  "7.1634", "7.1635", "7.1636", "7.1637", "7.1638", "7.1639", "7.1640", 
  "7.1641", "7.1642", "7.1643", "7.1644", "7.1645", "7.1646", "7.1647", 
  "7.1648", "7.1649", "7.1650", "7.1651", "7.1652", "7.1653", "7.1654", 
  "7.1655", "7.1656", "7.1657", "7.1658", "7.1659", "7.1660", "7.1661", 
  "7.1662", "7.1663", "7.1664", "7.1665", "7.1666", "7.1667", "7.1668", 
  "7.1669", "7.1670", "7.1671", "7.1672", "7.1673", "7.1674", "7.1675", 
  "7.1676", "7.1677", "7.1678", "7.1679", "7.1680", "7.1681", "7.1682", 
  "7.1683", "7.1684", "7.1685", "7.1686", "7.1687", "7.1688", "7.1689", 
  "7.1690", "7.1691", "7.1692", "7.1693", "7.1694", "7.1695", "7.1696", 
  "7.1697", "7.1698", "7.1699", "7.1700", "7.1701", "7.1702", "7.1703", 
  "7.1704", "7.1705", "7.1706", "7.1707", "7.1708", "7.1709", "7.1710", 
  "7.1711", "7.1712", "7.1713", "7.1714", "7.1715", "7.1716", "7.1717", 
  "7.1718", "7.1719", "7.1720", "7.1721", "7.1722", "7.1723", "7.1724", 
  "7.1725", "7.1726", "7.1727", "7.1728", "7.1729", "7.1730", "7.1731", 
  "7.1732", "7.1733", "7.1734", "7.1735", "7.1736", "7.1737", "7.1738", 
  "7.1739", "7.1740", "7.1741", "7.1742", "7.1743", "7.1744", "7.1745", 
  "7.1746", "7.1747", "7.1748", "7.1749", "7.1750", "7.1751", "7.1752", 
  "7.1753", "7.1754", "7.1755", "7.1756", "7.1757", "7.1758", "7.1759", 
  "7.1760", "7.1761", "7.1762", "7.1763", "7.1764", "7.1765", "7.1766", 
  "7.1767", "7.1768", "7.1769", "7.1770", "7.1771", "7.1772", "7.1773", 
  "7.1774", "7.1775", "7.1776", "7.1777", "7.1778", "7.1779", "7.1780", 
  "7.1781", "7.1782", "7.1783", "7.1784", "7.1785", "7.1786", "7.1787", 
  "7.1788", "7.1789", "7.1790", "7.1791", "7.1792", "7.1793", "7.1794", 
  "7.1795", "7.1796", "7.1797", "7.1798", "7.1799", "7.1800", "7.1801", 
  "7.1802", "7.1803", "7.1804", "7.1805", "7.1806", "7.1807", "7.1808", 
  "7.1809", "7.1810", "7.1811", "7.1812", "7.1813", "7.1814", "7.1815", 
  "7.1816", "7.1817", "7.1818", "7.1819", "7.1820", "7.1821", "7.1822", 
  "7.1823", "7.1824", "7.1825", "7.1826", "7.1827", "7.1828", "7.1829", 
  "7.1830", "7.1831", "7.1832", "7.1833", "7.1834", "7.1835", "7.1836", 
  "7.1837", "7.1838", "7.1839", "7.1840", "7.1841", "7.1842", "7.1843", 
  "7.1844", "7.1845", "7.1846", "7.1847", "7.1848", "7.1849", "7.1850", 
  "7.1851", "7.1852", "7.1853", "7.1854", "7.1855", "7.1856", "7.1857", 
  "7.1858", "7.1859", "7.1860", "7.1861", "7.1862", "7.1863", "7.1864", 
  "7.1865", "7.1866", "7.1867", "7.1868", "7.1869", "7.1870", "7.1871", 
  "7.1872", "7.1873", "7.1874", "7.1875", "7.1876", "7.1877", "7.1878", 
  "7.1879", "7.1880", "7.1881", "7.1882", "7.1883", "7.1884", "7.1885", 
  "7.1886", "7.1887", "7.1888", "7.1889", "7.1890", "7.1891", "7.1892", 
  "7.1893", "7.1894", "7.1895", "7.1896", "7.1897", "7.1898", "7.1899", 
  "7.1900", "7.1901", "7.1902", "7.1903", "7.1904", "7.1905", "7.1906", 
  "7.1907", "7.1908", "7.1909", "7.1910", "7.1911", "7.1912", "7.1913", 
  "7.1914", "7.1915", "7.1916", "7.1917", "7.1918", "7.1919", "7.1920", 
  "7.1921", "7.1922", "7.1923", "7.1924", "7.1925", "7.1926", "7.1927", 
  "7.1928", "7.1929", "7.1930", "7.1931", "7.1932", "7.1933", "7.1934", 
  "7.1935", "7.1936", "7.1937", "7.1938", "7.1939", "7.1940", "7.1941", 
  "7.1942", "7.1943", "7.1944", "7.1945", "7.1946", "7.1947", "7.1948", 
  "7.1949", "7.1950", "7.1951", "7.1952", "7.1953", "7.1954", "7.1955", 
  "7.1956", "7.1957", "7.1958", "7.1959", "7.1960", "7.1961", "7.1962", 
  "7.1963", "7.1964", "7.1965", "7.1966", "7.1967", "7.1968", "7.1969", 
  "7.1970", "7.1971", "7.1972", "7.1973", "7.1974", "7.1975", "7.1976", 
  "7.1977", "7.1978", "7.1979", "7.1980", "7.1981", "7.1982", "7.1983", 
  "7.1984", "7.1985", "7.1986", "7.1987", "7.1988", "7.1989", "7.1990", 
  "7.1991", "7.1992", "7.1993", "7.1994", "7.1995", "7.1996", "7.1997", 
  "7.1998", "7.1999", "7.2000", "7.2001", "7.2002", "7.2003", "7.2004", 
  "7.2005", "7.2006", "7.2007", "7.2008", "7.2009", "7.2010", "7.2011", 
  "7.2012", "7.2013", "7.2014", "7.2015", "7.2016", "7.2017", "7.2018", 
  "7.2019", "7.2020", "7.2021", "7.2022", "7.2023", "7.2024", "7.2025", 
  "7.2026", "7.2027", "7.2028", "7.2029", "7.2030", "7.2031", "7.2032", 
  "7.2033", "7.2034", "7.2035", "7.2036", "7.2037", "7.2038", "7.2039", 
  "7.2040", "7.2041", "7.2042", "7.2043", "7.2044", "7.2045", "7.2046", 
  "7.2047", "7.2048", "7.2049", "7.2050", "7.2051", "7.2052", "7.2053", 
  "7.2054", "7.2055", "7.2056", "7.2057", "7.2058", "7.2059", "7.2060", 
  "7.2061", "7.2062", "7.2063", "7.2064", "7.2065", "7.2066", "7.2067", 
  "7.2068", "7.2069", "7.2070", "7.2071", "7.2072", "7.2073", "7.2074", 
  "7.2075", "7.2076", "7.2077", "7.2078", "7.2079", "7.2080", "7.2081", 
  "7.2082", "7.2083", "7.2084", "7.2085", "7.2086", "7.2087", "7.2088", 
  "7.2089", "7.2090", "7.2091", "7.2092", "7.2093", "7.2094", "7.2095", 
  "7.2096", "7.2097", "7.2098", "7.2099", "7.2100", "7.2101", "7.2102", 
  "7.2103", "7.2104", "7.2105", "7.2106", "7.2107", "7.2108", "7.2109", 
  "7.2110", "7.2111", "7.2112", "7.2113", "7.2114", "7.2115", "7.2116", 
  "7.2117", "7.2118", "7.2119", "7.2120", "7.2121", "7.2122", "7.2123", 
  "7.2124", "7.2125", "7.2126", "7.2127", "7.2128", "7.2129", "7.2130", 
  "7.2131", "7.2132", "7.2133", "7.2134", "7.2135", "7.2136", "7.2137", 
  "7.2138", "7.2139", "7.2140", "7.2141", "7.2142", "7.2143", "7.2144", 
  "7.2145", "7.2146", "7.2147", "7.2148", "7.2149", "7.2150", "7.2151", 
  "7.2152", "7.2153", "7.2154", "7.2155", "7.2156", "7.2157", "7.2158", 
  "7.2159", "7.2160", "7.2161", "7.2162", "7.2163", "7.2164", "7.2165", 
  "7.2166", "7.2167", "7.2168", "7.2169", "7.2170", "7.2171", "7.2172", 
  "7.2173", "7.2174", "7.2175", "7.2176", "7.2177", "7.2178", "7.2179", 
  "7.2180", "7.2181", "7.2182", "7.2183", "7.2184", "7.2185", "7.2186", 
  "7.2187", "7.2188", "7.2189", "7.2190", "7.2191", "7.2192", "7.2193", 
  "7.2194", "7.2195", "7.2196", "7.2197", "7.2198", "7.2199", "7.2200", 
  "7.2201", "7.2202", "7.2203", "7.2204", "7.2205", "7.2206", "7.2207", 
  "7.2208", "7.2209", "7.2210", "7.2211", "7.2212", "7.2213", "7.2214", 
  "7.2215", "7.2216", "7.2217", "7.2218", "7.2219", "7.2220", "7.2221", 
  "7.2222", "7.2223", "7.2224", "7.2225", "7.2226", "7.2227", "7.2228", 
  "7.2229", "7.2230", "7.2231", "7.2232", "7.2233", "7.2234", "7.2235", 
  "7.2236", "7.2237", "7.2238", "7.2239", "7.2240", "7.2241", "7.2242", 
  "7.2243", "7.2244", "7.2245", "7.2246", "7.2247", "7.2248", "7.2249", 
  "7.2250", "7.2251", "7.2252", "7.2253", "7.2254", "7.2255", "7.2256", 
  "7.2257", "7.2258", "7.2259", "7.2260", "7.2261", "7.2262", "7.2263", 
  "7.2264", "7.2265", "7.2266", "7.2267", "7.2268", "7.2269", "7.2270", 
  "7.2271", "7.2272", "7.2273", "7.2274", "7.2275", "7.2276", "7.2277", 
  "7.2278", "7.2279", "7.2280", "7.2281", "7.2282", "7.2283", "7.2284", 
  "7.2285", "7.2286", "7.2287", "7.2288", "7.2289", "7.2290", "7.2291", 
  "7.2292", "7.2293", "7.2294", "7.2295", "7.2296", "7.2297", "7.2298", 
  "7.2299", "7.2300", "7.2301", "7.2302", "7.2303", "7.2304", "7.2305", 
  "7.2306", "7.2307", "7.2308", "7.2309", "7.2310", "7.2311", "7.2312", 
  "7.2313", "7.2314", "7.2315", "7.2316", "7.2317", "7.2318", "7.2319", 
  "7.2320", "7.2321", "7.2322", "7.2323", "7.2324", "7.2325", "7.2326", 
  "7.2327", "7.2328", "7.2329", "7.2330", "7.2331", "7.2332", "7.2333", 
  "7.2334", "7.2335", "7.2336", "7.2337", "7.2338", "7.2339", "7.2340", 
  "7.2341", "7.2342", "7.2343", "7.2344", "7.2345", "7.2346", "7.2347", 
  "7.2348", "7.2349", "7.2350", "7.2351", "7.2352", "7.2353", "7.2354", 
  "7.2355", "7.2356", "7.2357", "7.2358", "7.2359", "7.2360", "7.2361", 
  "7.2362", "7.2363", "7.2364", "7.2365", "7.2366", "7.2367", "7.2368", 
  "7.2369", "7.2370", "7.2371", "7.2372", "7.2373", "7.2374", "7.2375", 
  "7.2376", "7.2377", "7.2378", "7.2379", "7.2380", "7.2381", "7.2382", 
  "7.2383", "7.2384", "7.2385", "7.2386", "7.2387", "7.2388", "7.2389", 
  "7.2390", "7.2391", "7.2392", "7.2393", "7.2394", "7.2395", "7.2396", 
  "7.2397", "7.2398", "7.2399", "7.2400", "7.2401", "7.2402", "7.2403", 
  "7.2404", "7.2405", "7.2406", "7.2407", "7.2408", "7.2409", "7.2410", 
  "7.2411", "7.2412", "7.2413", "7.2414", "7.2415", "7.2416", "7.2417", 
  "7.2418", "7.2419", "7.2420", "7.2421", "7.2422", "7.2423", "7.2424", 
  "7.2425", "7.2426", "7.2427", "7.2428", "7.2429", "7.2430", "7.2431", 
  "7.2432", "7.2433", "7.2434", "7.2435", "7.2436", "7.2437", "7.2438", 
  "7.2439", "7.2440", "7.2441", "7.2442", "7.2443", "7.2444", "7.2445", 
  "7.2446", "7.2447", "7.2448", "7.2449", "7.2450", "7.2451", "7.2452", 
  "7.2453", "7.2454", "7.2455", "7.2456", "7.2457", "7.2458", "7.2459", 
  "7.2460", "7.2461", "7.2462", "7.2463", "7.2464", "7.2465", "7.2466", 
  "7.2467", "7.2468", "7.2469", "7.2470", "7.2471", "7.2472", "7.2473", 
  "7.2474", "7.2475", "7.2476", "7.2477", "7.2478", "7.2479", "7.2480", 
  "7.2481", "7.2482", "7.2483", "7.2484", "7.2485", "7.2486", "7.2487", 
  "7.2488", "7.2489", "7.2490", "7.2491", "7.2492", "7.2493", "7.2494", 
  "7.2495", "7.2496", "7.2497", "7.2498", "7.2499", "7.2500", "7.2501", 
  "7.2502", "7.2503", "7.2504", "7.2505", "7.2506", "7.2507", "7.2508", 
  "7.2509", "7.2510", "7.2511", "7.2512", "7.2513", "7.2514", "7.2515", 
  "7.2516", "7.2517", "7.2518", "7.2519", "7.2520", "7.2521", "7.2522", 
  "7.2523", "7.2524", "7.2525", "7.2526", "7.2527", "7.2528", "7.2529", 
  "7.2530", "7.2531", "7.2532", "7.2533", "7.2534", "7.2535", "7.2536", 
  "7.2537", "7.2538", "7.2539", "7.2540", "7.2541", "7.2542", "7.2543", 
  "7.2544", "7.2545", "7.2546", "7.2547", "7.2548", "7.2549", "7.2550", 
  "7.2551", "7.2552", "7.2553", "7.2554", "7.2555", "7.2556", "7.2557", 
  "7.2558", "7.2559", "7.2560", "7.2561", "7.2562", "7.2563", "7.2564", 
  "7.2565", "7.2566", "7.2567", "7.2568", "7.2569", "7.2570", "7.2571", 
  "7.2572", "7.2573", "7.2574", "7.2575", "7.2576", "7.2577", "7.2578", 
  "7.2579", "7.2580", "7.2581", "7.2582", "7.2583", "7.2584", "7.2585", 
  "7.2586", "7.2587", "7.2588", "7.2589", "7.2590", "7.2591", "7.2592", 
  "7.2593", "7.2594", "7.2595", "7.2596", "7.2597", "7.2598", "7.2599", 
  "7.2600", "7.2601", "7.2602", "7.2603", "7.2604", "7.2605", "7.2606", 
  "7.2607", "7.2608", "7.2609", "7.2610", "7.2611", "7.2612", "7.2613", 
  "7.2614", "7.2615", "7.2616", "7.2617", "7.2618", "7.2619", "7.2620", 
  "7.2621", "7.2622", "7.2623", "7.2624", "7.2625", "7.2626", "7.2627", 
  "7.2628", "7.2629", "7.2630", "7.2631", "7.2632", "7.2633", "7.2634", 
  "7.2635", "7.2636", "7.2637", "7.2638", "7.2639", "7.2640", "7.2641", 
  "7.2642", "7.2643", "7.2644", "7.2645", "7.2646", "7.2647", "7.2648", 
  "7.2649", "7.2650", "7.2651", "7.2652", "7.2653", "7.2654", "7.2655", 
  "7.2656", "7.2657", "7.2658", "7.2659", "7.2660", "7.2661", "7.2662", 
  "7.2663", "7.2664", "7.2665", "7.2666", "7.2667", "7.2668", "7.2669", 
  "7.2670", "7.2671", "7.2672", "7.2673", "7.2674", "7.2675", "7.2676", 
  "7.2677", "7.2678", "7.2679", "7.2680", "7.2681", "7.2682", "7.2683", 
  "7.2684", "7.2685", "7.2686", "7.2687", "7.2688", "7.2689", "7.2690", 
  "7.2691", "7.2692", "7.2693", "7.2694", "7.2695", "7.2696", "7.2697", 
  "7.2698", "7.2699", "7.2700", "7.2701", "7.2702", "7.2703", "7.2704", 
  "7.2705", "7.2706", "7.2707", "7.2708", "7.2709", "7.2710", "7.2711", 
  "7.2712", "7.2713", "7.2714", "7.2715", "7.2716", "7.2717", "7.2718", 
  "7.2719", "7.2720", "7.2721", "7.2722", "7.2723", "7.2724", "7.2725", 
  "7.2726", "7.2727", "7.2728", "7.2729", "7.2730", "7.2731", "7.2732", 
  "7.2733", "7.2734", "7.2735", "7.2736", "7.2737", "7.2738", "7.2739", 
  "7.2740", "7.2741", "7.2742", "7.2743", "7.2744", "7.2745", "7.2746", 
  "7.2747", "7.2748", "7.2749", "7.2750", "7.2751", "7.2752", "7.2753", 
  "7.2754", "7.2755", "7.2756", "7.2757", "7.2758", "7.2759", "7.2760", 
  "7.2761", "7.2762", "7.2763", "7.2764", "7.2765", "7.2766", "7.2767", 
  "7.2768", "7.2769", "7.2770", "7.2771", "7.2772", "7.2773", "7.2774", 
  "7.2775", "7.2776", "7.2777", "7.2778", "7.2779", "7.2780", "7.2781", 
  "7.2782", "7.2783", "7.2784", "7.2785", "7.2786", "7.2787", "7.2788", 
  "7.2789", "7.2790", "7.2791", "7.2792", "7.2793", "7.2794", "7.2795", 
  "7.2796", "7.2797", "7.2798", "7.2799", "7.2800", "7.2801", "7.2802", 
  "7.2803", "7.2804", "7.2805", "7.2806", "7.2807", "7.2808", "7.2809", 
  "7.2810", "7.2811", "7.2812", "7.2813", "7.2814", "7.2815", "7.2816", 
  "7.2817", "7.2818", "7.2819", "7.2820", "7.2821", "7.2822", "7.2823", 
  "7.2824", "7.2825", "7.2826", "7.2827", "7.2828", "7.2829", "7.2830", 
  "7.2831", "7.2832", "7.2833", "7.2834", "7.2835", "7.2836", "7.2837", 
  "7.2838", "7.2839", "7.2840", "7.2841", "7.2842", "7.2843", "7.2844", 
  "7.2845", "7.2846", "7.2847", "7.2848", "7.2849", "7.2850", "7.2851", 
  "7.2852", "7.2853", "7.2854", "7.2855", "7.2856", "7.2857", "7.2858", 
  "7.2859", "7.2860", "7.2861", "7.2862", "7.2863", "7.2864", "7.2865", 
  "7.2866", "7.2867", "7.2868", "7.2869", "7.2870", "7.2871", "7.2872", 
  "7.2873", "7.2874", "7.2875", "7.2876", "7.2877", "7.2878", "7.2879", 
  "7.2880", "7.2881", "7.2882", "7.2883", "7.2884", "7.2885", "7.2886", 
  "7.2887", "7.2888", "7.2889", "7.2890", "7.2891", "7.2892", "7.2893", 
  "7.2894", "7.2895", "7.2896", "7.2897", "7.2898", "7.2899", "7.2900", 
  "7.2901", "7.2902", "7.2903", "7.2904", "7.2905", "7.2906", "7.2907", 
  "7.2908", "7.2909", "7.2910", "7.2911", "7.2912", "7.2913", "7.2914", 
  "7.2915", "7.2916", "7.2917", "7.2918", "7.2919", "7.2920", "7.2921", 
  "7.2922", "7.2923", "7.2924", "7.2925", "7.2926", "7.2927", "7.2928", 
  "7.2929", "7.2930", "7.2931", "7.2932", "7.2933", "7.2934", "7.2935", 
  "7.2936", "7.2937", "7.2938", "7.2939", "7.2940", "7.2941", "7.2942", 
  "7.2943", "7.2944", "7.2945", "7.2946", "7.2947", "7.2948", "7.2949", 
  "7.2950", "7.2951", "7.2952", "7.2953", "7.2954", "7.2955", "7.2956", 
  "7.2957", "7.2958", "7.2959", "7.2960", "7.2961", "7.2962", "7.2963", 
  "7.2964", "7.2965", "7.2966", "7.2967", "7.2968", "7.2969", "7.2970", 
  "7.2971", "7.2972", "7.2973", "7.2974", "7.2975", "7.2976", "7.2977", 
  "7.2978", "7.2979", "7.2980", "7.2981", "7.2982", "7.2983", "7.2984", 
  "7.2985", "7.2986", "7.2987", "7.2988", "7.2989", "7.2990", "7.2991", 
  "7.2992", "7.2993", "7.2994", "7.2995", "7.2996", "7.2997", "7.2998", 
  "7.2999", "7.3000", "7.3001", "7.3002", "7.3003", "7.3004", "7.3005", 
  "7.3006", "7.3007", "7.3008", "7.3009", "7.3010", "7.3011", "7.3012", 
  "7.3013", "7.3014", "7.3015", "7.3016", "7.3017", "7.3018", "7.3019", 
  "7.3020", "7.3021", "7.3022", "7.3023", "7.3024", "7.3025", "7.3026", 
  "7.3027", "7.3028", "7.3029", "7.3030", "7.3031", "7.3032", "7.3033", 
  "7.3034", "7.3035", "7.3036", "7.3037", "7.3038", "7.3039", "7.3040", 
  "7.3041", "7.3042", "7.3043", "7.3044", "7.3045", "7.3046", "7.3047", 
  "7.3048", "7.3049", "7.3050", "7.3051", "7.3052", "7.3053", "7.3054", 
  "7.3055", "7.3056", "7.3057", "7.3058", "7.3059", "7.3060", "7.3061", 
  "7.3062", "7.3063", "7.3064", "7.3065", "7.3066", "7.3067", "7.3068", 
  "7.3069", "7.3070", "7.3071", "7.3072", "7.3073", "7.3074", "7.3075", 
  "7.3076", "7.3077", "7.3078", "7.3079", "7.3080", "7.3081", "7.3082", 
  "7.3083", "7.3084", "7.3085", "7.3086", "7.3087", "7.3088", "7.3089", 
  "7.3090", "7.3091", "7.3092", "7.3093", "7.3094", "7.3095", "7.3096", 
  "7.3097", "7.3098", "7.3099", "7.3100", "7.3101", "7.3102", "7.3103", 
  "7.3104", "7.3105", "7.3106", "7.3107", "7.3108", "7.3109", "7.3110", 
  "7.3111", "7.3112", "7.3113", "7.3114", "7.3115", "7.3116", "7.3117", 
  "7.3118", "7.3119", "7.3120", "7.3121", "7.3122", "7.3123", "7.3124", 
  "7.3125", "7.3126", "7.3127", "7.3128", "7.3129", "7.3130", "7.3131", 
  "7.3132", "7.3133", "7.3134", "7.3135", "7.3136", "7.3137", "7.3138", 
  "7.3139", "7.3140", "7.3141", "7.3142", "7.3143", "7.3144", "7.3145", 
  "7.3146", "7.3147", "7.3148", "7.3149", "7.3150", "7.3151", "7.3152", 
  "7.3153", "7.3154", "7.3155", "7.3156", "7.3157", "7.3158", "7.3159", 
  "7.3160", "7.3161", "7.3162", "7.3163", "7.3164", "7.3165", "7.3166", 
  "7.3167", "7.3168", "7.3169", "7.3170", "7.3171", "7.3172", "7.3173", 
  "7.3174", "7.3175", "7.3176", "7.3177", "7.3178", "7.3179", "7.3180", 
  "7.3181", "7.3182", "7.3183", "7.3184", "7.3185", "7.3186", "7.3187", 
  "7.3188", "7.3189", "7.3190", "7.3191", "7.3192", "7.3193", "7.3194", 
  "7.3195", "7.3196", "7.3197", "7.3198", "7.3199", "7.3200", "7.3201", 
  "7.3202", "7.3203", "7.3204", "7.3205", "7.3206", "7.3207", "7.3208", 
  "7.3209", "7.3210", "7.3211", "7.3212", "7.3213", "7.3214", "7.3215", 
  "7.3216", "7.3217", "7.3218", "7.3219", "7.3220", "7.3221", "7.3222", 
  "7.3223", "7.3224", "7.3225", "7.3226", "7.3227", "7.3228", "7.3229", 
  "7.3230", "7.3231", "7.3232", "7.3233", "7.3234", "7.3235", "7.3236", 
  "7.3237", "7.3238", "7.3239", "7.3240", "7.3241", "7.3242", "7.3243", 
  "7.3244", "7.3245", "7.3246", "7.3247", "7.3248", "7.3249", "7.3250", 
  "7.3251", "7.3252", "7.3253", "7.3254", "7.3255", "7.3256", "7.3257", 
  "7.3258", "7.3259", "7.3260", "7.3261", "7.3262", "7.3263", "7.3264", 
  "7.3265", "7.3266", "7.3267", "7.3268", "7.3269", "7.3270", "7.3271", 
  "7.3272", "7.3273", "7.3274", "7.3275", "7.3276", "7.3277", "7.3278", 
  "7.3279", "7.3280", "7.3281", "7.3282", "7.3283", "7.3284", "7.3285", 
  "7.3286", "7.3287", "7.3288", "7.3289", "7.3290", "7.3291", "7.3292", 
  "7.3293", "7.3294", "7.3295", "7.3296", "7.3297", "7.3298", "7.3299", 
  "7.3300", "7.3301", "7.3302", "7.3303", "7.3304", "7.3305", "7.3306", 
  "7.3307", "7.3308", "7.3309", "7.3310", "7.3311", "7.3312", "7.3313", 
  "7.3314", "7.3315", "7.3316", "7.3317", "7.3318", "7.3319", "7.3320", 
  "7.3321", "7.3322", "7.3323", "7.3324", "7.3325", "7.3326", "7.3327", 
  "7.3328", "7.3329", "7.3330", "7.3331", "7.3332", "7.3333", "7.3334", 
  "7.3335", "7.3336", "7.3337", "7.3338", "7.3339", "7.3340", "7.3341", 
  "7.3342", "7.3343", "7.3344", "7.3345", "7.3346", "7.3347", "7.3348", 
  "7.3349", "7.3350", "7.3351", "7.3352", "7.3353", "7.3354", "7.3355", 
  "7.3356", "7.3357", "7.3358", "7.3359", "7.3360", "7.3361", "7.3362", 
  "7.3363", "7.3364", "7.3365", "7.3366", "7.3367", "7.3368", "7.3369", 
  "7.3370", "7.3371", "7.3372", "7.3373", "7.3374", "7.3375", "7.3376", 
  "7.3377", "7.3378", "7.3379", "7.3380", "7.3381", "7.3382", "7.3383", 
  "7.3384", "7.3385", "7.3386", "7.3387", "7.3388", "7.3389", "7.3390", 
  "7.3391", "7.3392", "7.3393", "7.3394", "7.3395", "7.3396", "7.3397", 
  "7.3398", "7.3399", "7.3400", "7.3401", "7.3402", "7.3403", "7.3404", 
  "7.3405", "7.3406", "7.3407", "7.3408", "7.3409", "7.3410", "7.3411", 
  "7.3412", "7.3413", "7.3414", "7.3415", "7.3416", "7.3417", "7.3418", 
  "7.3419", "7.3420", "7.3421", "7.3422", "7.3423", "7.3424", "7.3425", 
  "7.3426", "7.3427", "7.3428", "7.3429", "7.3430", "7.3431", "7.3432", 
  "7.3433", "7.3434", "7.3435", "7.3436", "7.3437", "7.3438", "7.3439", 
  "7.3440", "7.3441", "7.3442", "7.3443", "7.3444", "7.3445", "7.3446", 
  "7.3447", "7.3448", "7.3449", "7.3450", "7.3451", "7.3452", "7.3453", 
  "7.3454", "7.3455", "7.3456", "7.3457", "7.3458", "7.3459", "7.3460", 
  "7.3461", "7.3462", "7.3463", "7.3464", "7.3465", "7.3466", "7.3467", 
  "7.3468", "7.3469", "7.3470", "7.3471", "7.3472", "7.3473", "7.3474", 
  "7.3475", "7.3476", "7.3477", "7.3478", "7.3479", "7.3480", "7.3481", 
  "7.3482", "7.3483", "7.3484", "7.3485", "7.3486", "7.3487", "7.3488", 
  "7.3489", "7.3490", "7.3491", "7.3492", "7.3493", "7.3494", "7.3495", 
  "7.3496", "7.3497", "7.3498", "7.3499", "7.3500", "7.3501", "7.3502", 
  "7.3503", "7.3504", "7.3505", "7.3506", "7.3507", "7.3508", "7.3509", 
  "7.3510", "7.3511", "7.3512", "7.3513", "7.3514", "7.3515", "7.3516", 
  "7.3517", "7.3518", "7.3519", "7.3520", "7.3521", "7.3522", "7.3523", 
  "7.3524", "7.3525", "7.3526", "7.3527", "7.3528", "7.3529", "7.3530", 
  "7.3531", "7.3532", "7.3533", "7.3534", "7.3535", "7.3536", "7.3537", 
  "7.3538", "7.3539", "7.3540", "7.3541", "7.3542", "7.3543", "7.3544", 
  "7.3545", "7.3546", "7.3547", "7.3548", "7.3549", "7.3550", "7.3551", 
  "7.3552", "7.3553", "7.3554", "7.3555", "7.3556", "7.3557", "7.3558", 
  "7.3559", "7.3560", "7.3561", "7.3562", "7.3563", "7.3564", "7.3565", 
  "7.3566", "7.3567", "7.3568", "7.3569", "7.3570", "7.3571", "7.3572", 
  "7.3573", "7.3574", "7.3575", "7.3576", "7.3577", "7.3578", "7.3579", 
  "7.3580", "7.3581", "7.3582", "7.3583", "7.3584", "7.3585", "7.3586", 
  "7.3587", "7.3588", "7.3589", "7.3590", "7.3591", "7.3592", "7.3593", 
  "7.3594", "7.3595", "7.3596", "7.3597", "7.3598", "7.3599", "7.3600", 
  "7.3601", "7.3602", "7.3603", "7.3604", "7.3605", "7.3606", "7.3607", 
  "7.3608", "7.3609", "7.3610", "7.3611", "7.3612", "7.3613", "7.3614", 
  "7.3615", "7.3616", "7.3617", "7.3618", "7.3619", "7.3620", "7.3621", 
  "7.3622", "7.3623", "7.3624", "7.3625", "7.3626", "7.3627", "7.3628", 
  "7.3629", "7.3630", "7.3631", "7.3632", "7.3633", "7.3634", "7.3635", 
  "7.3636", "7.3637", "7.3638", "7.3639", "7.3640", "7.3641", "7.3642", 
  "7.3643", "7.3644", "7.3645", "7.3646", "7.3647", "7.3648", "7.3649", 
  "7.3650", "7.3651", "7.3652", "7.3653", "7.3654", "7.3655", "7.3656", 
  "7.3657", "7.3658", "7.3659", "7.3660", "7.3661", "7.3662", "7.3663", 
  "7.3664", "7.3665", "7.3666", "7.3667", "7.3668", "7.3669", "7.3670", 
  "7.3671", "7.3672", "7.3673", "7.3674", "7.3675", "7.3676", "7.3677", 
  "7.3678", "7.3679", "7.3680", "7.3681", "7.3682", "7.3683", "7.3684", 
  "7.3685", "7.3686", "7.3687", "7.3688", "7.3689", "7.3690", "7.3691", 
  "7.3692", "7.3693", "7.3694", "7.3695", "7.3696", "7.3697", "7.3698", 
  "7.3699", "7.3700", "7.3701", "7.3702", "7.3703", "7.3704", "7.3705", 
  "7.3706", "7.3707", "7.3708", "7.3709", "7.3710", "7.3711", "7.3712", 
  "7.3713", "7.3714", "7.3715", "7.3716", "7.3717", "7.3718", "7.3719", 
  "7.3720", "7.3721", "7.3722", "7.3723", "7.3724", "7.3725", "7.3726", 
  "7.3727", "7.3728", "7.3729", "7.3730", "7.3731", "7.3732", "7.3733", 
  "7.3734", "7.3735", "7.3736", "7.3737", "7.3738", "7.3739", "7.3740", 
  "7.3741", "7.3742", "7.3743", "7.3744", "7.3745", "7.3746", "7.3747", 
  "7.3748", "7.3749", "7.3750", "7.3751", "7.3752", "7.3753", "7.3754", 
  "7.3755", "7.3756", "7.3757", "7.3758", "7.3759", "7.3760", "7.3761", 
  "7.3762", "7.3763", "7.3764", "7.3765", "7.3766", "7.3767", "7.3768", 
  "7.3769", "7.3770", "7.3771", "7.3772", "7.3773", "7.3774", "7.3775", 
  "7.3776", "7.3777", "7.3778", "7.3779", "7.3780", "7.3781", "7.3782", 
  "7.3783", "7.3784", "7.3785", "7.3786", "7.3787", "7.3788", "7.3789", 
  "7.3790", "7.3791", "7.3792", "7.3793", "7.3794", "7.3795", "7.3796", 
  "7.3797", "7.3798", "7.3799", "7.3800", "7.3801", "7.3802", "7.3803", 
  "7.3804", "7.3805", "7.3806", "7.3807", "7.3808", "7.3809", "7.3810", 
  "7.3811", "7.3812", "7.3813", "7.3814", "7.3815", "7.3816", "7.3817", 
  "7.3818", "7.3819", "7.3820", "7.3821", "7.3822", "7.3823", "7.3824", 
  "7.3825", "7.3826", "7.3827", "7.3828", "7.3829", "7.3830", "7.3831", 
  "7.3832", "7.3833", "7.3834", "7.3835", "7.3836", "7.3837", "7.3838", 
  "7.3839", "7.3840", "7.3841", "7.3842", "7.3843", "7.3844", "7.3845", 
  "7.3846", "7.3847", "7.3848", "7.3849", "7.3850", "7.3851", "7.3852", 
  "7.3853", "7.3854", "7.3855", "7.3856", "7.3857", "7.3858", "7.3859", 
  "7.3860", "7.3861", "7.3862", "7.3863", "7.3864", "7.3865", "7.3866", 
  "7.3867", "7.3868", "7.3869", "7.3870", "7.3871", "7.3872", "7.3873", 
  "7.3874", "7.3875", "7.3876", "7.3877", "7.3878", "7.3879", "7.3880", 
  "7.3881", "7.3882", "7.3883", "7.3884", "7.3885", "7.3886", "7.3887", 
  "7.3888", "7.3889", "7.3890", "7.3891", "7.3892", "7.3893", "7.3894", 
  "7.3895", "7.3896", "7.3897", "7.3898", "7.3899", "7.3900", "7.3901", 
  "7.3902", "7.3903", "7.3904", "7.3905", "7.3906", "7.3907", "7.3908", 
  "7.3909", "7.3910", "7.3911", "7.3912", "7.3913", "7.3914", "7.3915", 
  "7.3916", "7.3917", "7.3918", "7.3919", "7.3920", "7.3921", "7.3922", 
  "7.3923", "7.3924", "7.3925", "7.3926", "7.3927", "7.3928", "7.3929", 
  "7.3930", "7.3931", "7.3932", "7.3933", "7.3934", "7.3935", "7.3936", 
  "7.3937", "7.3938", "7.3939", "7.3940", "7.3941", "7.3942", "7.3943", 
  "7.3944", "7.3945", "7.3946", "7.3947", "7.3948", "7.3949", "7.3950", 
  "7.3951", "7.3952", "7.3953", "7.3954", "7.3955", "7.3956", "7.3957", 
  "7.3958", "7.3959", "7.3960", "7.3961", "7.3962", "7.3963", "7.3964", 
  "7.3965", "7.3966", "7.3967", "7.3968", "7.3969", "7.3970", "7.3971", 
  "7.3972", "7.3973", "7.3974", "7.3975", "7.3976", "7.3977", "7.3978", 
  "7.3979", "7.3980", "7.3981", "7.3982", "7.3983", "7.3984", "7.3985", 
  "7.3986", "7.3987", "7.3988", "7.3989", "7.3990", "7.3991", "7.3992", 
  "7.3993", "7.3994", "7.3995", "7.3996", "7.3997", "7.3998", "7.3999", 
  "7.4000", "7.4001", "7.4002", "7.4003", "7.4004", "7.4005", "7.4006", 
  "7.4007", "7.4008", "7.4009", "7.4010", "7.4011", "7.4012", "7.4013", 
  "7.4014", "7.4015", "7.4016", "7.4017", "7.4018", "7.4019", "7.4020", 
  "7.4021", "7.4022", "7.4023", "7.4024", "7.4025", "7.4026", "7.4027", 
  "7.4028", "7.4029", "7.4030", "7.4031", "7.4032", "7.4033", "7.4034", 
  "7.4035", "7.4036", "7.4037", "7.4038", "7.4039", "7.4040", "7.4041", 
  "7.4042", "7.4043", "7.4044", "7.4045", "7.4046", "7.4047", "7.4048", 
  "7.4049", "7.4050", "7.4051", "7.4052", "7.4053", "7.4054", "7.4055", 
  "7.4056", "7.4057", "7.4058", "7.4059", "7.4060", "7.4061", "7.4062", 
  "7.4063", "7.4064", "7.4065", "7.4066", "7.4067", "7.4068", "7.4069", 
  "7.4070", "7.4071", "7.4072", "7.4073", "7.4074", "7.4075", "7.4076", 
  "7.4077", "7.4078", "7.4079", "7.4080", "7.4081", "7.4082", "7.4083", 
  "7.4084", "7.4085", "7.4086", "7.4087", "7.4088", "7.4089", "7.4090", 
  "7.4091", "7.4092", "7.4093", "7.4094", "7.4095", "7.4096", "7.4097", 
  "7.4098", "7.4099", "7.4100", "7.4101", "7.4102", "7.4103", "7.4104", 
  "7.4105", "7.4106", "7.4107", "7.4108", "7.4109", "7.4110", "7.4111", 
  "7.4112", "7.4113", "7.4114", "7.4115", "7.4116", "7.4117", "7.4118", 
  "7.4119", "7.4120", "7.4121", "7.4122", "7.4123", "7.4124", "7.4125", 
  "7.4126", "7.4127", "7.4128", "7.4129", "7.4130", "7.4131", "7.4132", 
  "7.4133", "7.4134", "7.4135", "7.4136", "7.4137", "7.4138", "7.4139", 
  "7.4140", "7.4141", "7.4142", "7.4143", "7.4144", "7.4145", "7.4146", 
  "7.4147", "7.4148", "7.4149", "7.4150", "7.4151", "7.4152", "7.4153", 
  "7.4154", "7.4155", "7.4156", "7.4157", "7.4158", "7.4159", "7.4160", 
  "7.4161", "7.4162", "7.4163", "7.4164", "7.4165", "7.4166", "7.4167", 
  "7.4168", "7.4169", "7.4170", "7.4171", "7.4172", "7.4173", "7.4174", 
  "7.4175", "7.4176", "7.4177", "7.4178", "7.4179", "7.4180", "7.4181", 
  "7.4182", "7.4183", "7.4184", "7.4185", "7.4186", "7.4187", "7.4188", 
  "7.4189", "7.4190", "7.4191", "7.4192", "7.4193", "7.4194", "7.4195", 
  "7.4196", "7.4197", "7.4198", "7.4199", "7.4200", "7.4201", "7.4202", 
  "7.4203", "7.4204", "7.4205", "7.4206", "7.4207", "7.4208", "7.4209", 
  "7.4210", "7.4211", "7.4212", "7.4213", "7.4214", "7.4215", "7.4216", 
  "7.4217", "7.4218", "7.4219", "7.4220", "7.4221", "7.4222", "7.4223", 
  "7.4224", "7.4225", "7.4226", "7.4227", "7.4228", "7.4229", "7.4230", 
  "7.4231", "7.4232", "7.4233", "7.4234", "7.4235", "7.4236", "7.4237", 
  "7.4238", "7.4239", "7.4240", "7.4241", "7.4242", "7.4243", "7.4244", 
  "7.4245", "7.4246", "7.4247", "7.4248", "7.4249", "7.4250", "7.4251", 
  "7.4252", "7.4253", "7.4254", "7.4255", "7.4256", "7.4257", "7.4258", 
  "7.4259", "7.4260", "7.4261", "7.4262", "7.4263", "7.4264", "7.4265", 
  "7.4266", "7.4267", "7.4268", "7.4269", "7.4270", "7.4271", "7.4272", 
  "7.4273", "7.4274", "7.4275", "7.4276", "7.4277", "7.4278", "7.4279", 
  "7.4280", "7.4281", "7.4282", "7.4283", "7.4284", "7.4285", "7.4286", 
  "7.4287", "7.4288", "7.4289", "7.4290", "7.4291", "7.4292", "7.4293", 
  "7.4294", "7.4295", "7.4296", "7.4297", "7.4298", "7.4299", "7.4300", 
  "7.4301", "7.4302", "7.4303", "7.4304", "7.4305", "7.4306", "7.4307", 
  "7.4308", "7.4309", "7.4310", "7.4311", "7.4312", "7.4313", "7.4314", 
  "7.4315", "7.4316", "7.4317", "7.4318", "7.4319", "7.4320", "7.4321", 
  "7.4322", "7.4323", "7.4324", "7.4325", "7.4326", "7.4327", "7.4328", 
  "7.4329", "7.4330", "7.4331", "7.4332", "7.4333", "7.4334", "7.4335", 
  "7.4336", "7.4337", "7.4338", "7.4339", "7.4340", "7.4341", "7.4342", 
  "7.4343", "7.4344", "7.4345", "7.4346", "7.4347", "7.4348", "7.4349", 
  "7.4350", "7.4351", "7.4352", "7.4353", "7.4354", "7.4355", "7.4356", 
  "7.4357", "7.4358", "7.4359", "7.4360", "7.4361", "7.4362", "7.4363", 
  "7.4364", "7.4365", "7.4366", "7.4367", "7.4368", "7.4369", "7.4370", 
  "7.4371", "7.4372", "7.4373", "7.4374", "7.4375", "7.4376", "7.4377", 
  "7.4378", "7.4379", "7.4380", "7.4381", "7.4382", "7.4383", "7.4384", 
  "7.4385", "7.4386", "7.4387", "7.4388", "7.4389", "7.4390", "7.4391", 
  "7.4392", "7.4393", "7.4394", "7.4395", "7.4396", "7.4397", "7.4398", 
  "7.4399", "7.4400", "7.4401", "7.4402", "7.4403", "7.4404", "7.4405", 
  "7.4406", "7.4407", "7.4408", "7.4409", "7.4410", "7.4411", "7.4412", 
  "7.4413", "7.4414", "7.4415", "7.4416", "7.4417", "7.4418", "7.4419", 
  "7.4420", "7.4421", "7.4422", "7.4423", "7.4424", "7.4425", "7.4426", 
  "7.4427", "7.4428", "7.4429", "7.4430", "7.4431", "7.4432", "7.4433", 
  "7.4434", "7.4435", "7.4436", "7.4437", "7.4438", "7.4439", "7.4440", 
  "7.4441", "7.4442", "7.4443", "7.4444", "7.4445", "7.4446", "7.4447", 
  "7.4448", "7.4449", "7.4450", "7.4451", "7.4452", "7.4453", "7.4454", 
  "7.4455", "7.4456", "7.4457", "7.4458", "7.4459", "7.4460", "7.4461", 
  "7.4462", "7.4463", "7.4464", "7.4465", "7.4466", "7.4467", "7.4468", 
  "7.4469", "7.4470", "7.4471", "7.4472", "7.4473", "7.4474", "7.4475", 
  "7.4476", "7.4477", "7.4478", "7.4479", "7.4480", "7.4481", "7.4482", 
  "7.4483", "7.4484", "7.4485", "7.4486", "7.4487", "7.4488", "7.4489", 
  "7.4490", "7.4491", "7.4492", "7.4493", "7.4494", "7.4495", "7.4496", 
  "7.4497", "7.4498", "7.4499", "7.4500", "7.4501", "7.4502", "7.4503", 
  "7.4504", "7.4505", "7.4506", "7.4507", "7.4508", "7.4509", "7.4510", 
  "7.4511", "7.4512", "7.4513", "7.4514", "7.4515", "7.4516", "7.4517", 
  "7.4518", "7.4519", "7.4520", "7.4521", "7.4522", "7.4523", "7.4524", 
  "7.4525", "7.4526", "7.4527", "7.4528", "7.4529", "7.4530", "7.4531", 
  "7.4532", "7.4533", "7.4534", "7.4535", "7.4536", "7.4537", "7.4538", 
  "7.4539", "7.4540", "7.4541", "7.4542", "7.4543", "7.4544", "7.4545", 
  "7.4546", "7.4547", "7.4548", "7.4549", "7.4550", "7.4551", "7.4552", 
  "7.4553", "7.4554", "7.4555", "7.4556", "7.4557", "7.4558", "7.4559", 
  "7.4560", "7.4561", "7.4562", "7.4563", "7.4564", "7.4565", "7.4566", 
  "7.4567", "7.4568", "7.4569", "7.4570", "7.4571", "7.4572", "7.4573", 
  "7.4574", "7.4575", "7.4576", "7.4577", "7.4578", "7.4579", "7.4580", 
  "7.4581", "7.4582", "7.4583", "7.4584", "7.4585", "7.4586", "7.4587", 
  "7.4588", "7.4589", "7.4590", "7.4591", "7.4592", "7.4593", "7.4594", 
  "7.4595", "7.4596", "7.4597", "7.4598", "7.4599", "7.4600", "7.4601", 
  "7.4602", "7.4603", "7.4604", "7.4605", "7.4606", "7.4607", "7.4608", 
  "7.4609", "7.4610", "7.4611", "7.4612", "7.4613", "7.4614", "7.4615", 
  "7.4616", "7.4617", "7.4618", "7.4619", "7.4620", "7.4621", "7.4622", 
  "7.4623", "7.4624", "7.4625", "7.4626", "7.4627", "7.4628", "7.4629", 
  "7.4630", "7.4631", "7.4632", "7.4633", "7.4634", "7.4635", "7.4636", 
  "7.4637", "7.4638", "7.4639", "7.4640", "7.4641", "7.4642", "7.4643", 
  "7.4644", "7.4645", "7.4646", "7.4647", "7.4648", "7.4649", "7.4650", 
  "7.4651", "7.4652", "7.4653", "7.4654", "7.4655", "7.4656", "7.4657", 
  "7.4658", "7.4659", "7.4660", "7.4661", "7.4662", "7.4663", "7.4664", 
  "7.4665", "7.4666", "7.4667", "7.4668", "7.4669", "7.4670", "7.4671", 
  "7.4672", "7.4673", "7.4674", "7.4675", "7.4676", "7.4677", "7.4678", 
  "7.4679", "7.4680", "7.4681", "7.4682", "7.4683", "7.4684", "7.4685", 
  "7.4686", "7.4687", "7.4688", "7.4689", "7.4690", "7.4691", "7.4692", 
  "7.4693", "7.4694", "7.4695", "7.4696", "7.4697", "7.4698", "7.4699", 
  "7.4700", "7.4701", "7.4702", "7.4703", "7.4704", "7.4705", "7.4706", 
  "7.4707", "7.4708", "7.4709", "7.4710", "7.4711", "7.4712", "7.4713", 
  "7.4714", "7.4715", "7.4716", "7.4717", "7.4718", "7.4719", "7.4720", 
  "7.4721", "7.4722", "7.4723", "7.4724", "7.4725", "7.4726", "7.4727", 
  "7.4728", "7.4729", "7.4730", "7.4731", "7.4732", "7.4733", "7.4734", 
  "7.4735", "7.4736", "7.4737", "7.4738", "7.4739", "7.4740", "7.4741", 
  "7.4742", "7.4743", "7.4744", "7.4745", "7.4746", "7.4747", "7.4748", 
  "7.4749", "7.4750", "7.4751", "7.4752", "7.4753", "7.4754", "7.4755", 
  "7.4756", "7.4757", "7.4758", "7.4759", "7.4760", "7.4761", "7.4762", 
  "7.4763", "7.4764", "7.4765", "7.4766", "7.4767", "7.4768", "7.4769", 
  "7.4770", "7.4771", "7.4772", "7.1" ]
gap> PrintConditions(Ls);
28: [ "x ne 0, x~x^-1", "" ]
35: [ "1+4x not a square", "" ]
38: [ "x ne 0", "" ]
40: [ "x ne 0", "" ]
48: [ "", "p=1 mod 3" ]
49: [ "", "p=1 mod 3" ]
54: [ "", "p=1 mod 3" ]
55: [ "", "p=1 mod 3" ]
56: [ "", "p=1 mod 3" ]
57: [ "", "p=1 mod 3" ]
58: [ "", "p=1 mod 3" ]
59: [ "", "p=1 mod 3" ]
60: [ "", "p=1 mod 3" ]
61: [ "", "p=1 mod 3" ]
62: [ "See note5.38", "" ]
63: [ "See note5.38", "" ]
71: [ "", "p=1 mod 4" ]
72: [ "", "p=1 mod 4" ]
81: [ "", "p=1 mod 4" ]
82: [ "", "p=1 mod 4" ]
83: [ "", "p=1 mod 4" ]
84: [ "", "p=1 mod 4" ]
85: [ "", "p=1 mod 4" ]
86: [ "", "p=1 mod 4" ]
87: [ "", "p=1 mod 4" ]
88: [ "", "p=1 mod 4" ]
92: [ "", "p=1 mod 3" ]
93: [ "", "p=1 mod 3" ]
94: [ "", "p=1 mod 3" ]
95: [ "", "p=1 mod 3" ]
98: [ "", "p=1 mod 3" ]
99: [ "", "p=1 mod 3" ]
100: [ "", "p=1 mod 3" ]
101: [ "", "p=1 mod 3" ]
104: [ "", "p=1 mod 4" ]
105: [ "", "p=1 mod 4" ]
106: [ "", "p=1 mod 8" ]
107: [ "", "p=1 mod 8" ]
108: [ "", "p=1 mod 8" ]
109: [ "", "p=1 mod 8" ]
110: [ "x ne 0, x~ax if a^3=1", "" ]
111: [ "x ne 0, x~ax if a^3=1", "" ]
112: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
113: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
114: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
115: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
116: [ "", "p=3 mod 4" ]
117: [ "", "p=3 mod 4" ]
118: [ "[x,y]~[x,-y]", "p=1 mod 4" ]
119: [ "[x,y]~[x,-y]", "p=1 mod 4" ]
120: [ "[x,y]~[x,-y]", "p=1 mod 4" ]
121: [ "[x,y]~[x,-y]", "p=1 mod 4" ]
122: [ "x ne 0, [x,y,z]~[ax,a^2y,az] if a^4=1", "" ]
123: [ "x ne 0, [x,y,z]~[ax,a^2y,az] if a^4=1", "" ]
124: [ "x ne 0, [x,y,z]~[ax,a^2y,az] if a^4=1", "p=1 mod 4" ]
125: [ "x ne 0, [x,y,z]~[ax,a^2y,az] if a^4=1", "p=1 mod 4" ]
126: [ "y ne 0, [x,y]~[a^2x,ay] if a^4=1", "" ]
127: [ "y ne 0, [x,y]~[a^2x,ay] if a^4=1", "" ]
128: [ "y ne 0, [x,y]~[a^2x,ay] if a^4=1", "p=1 mod 4" ]
129: [ "y ne 0, [x,y]~[a^2x,ay] if a^4=1", "p=1 mod 4" ]
130: [ "x ne 0", "p=3 mod 4" ]
131: [ "x ne 0", "p=3 mod 4" ]
132: [ "x ne 0, x~-x", "p=1 mod 4" ]
133: [ "x ne 0, x~-x", "p=1 mod 4" ]
134: [ "x ne 0, x~-x", "p=1 mod 4" ]
135: [ "x ne 0, x~-x", "p=1 mod 4" ]
138: [ "", "p=1 mod 4" ]
139: [ "", "p=1 mod 4" ]
141: [ "", "p=1 mod 5" ]
142: [ "", "p=1 mod 5" ]
143: [ "", "p=1 mod 5" ]
144: [ "", "p=1 mod 5" ]
145: [ "y ne 0, [x,y]~[x,ay] if a^5=1", "" ]
146: [ "y ne 0, [x,y]~[x,ay] if a^5=1", "p=1 mod 5" ]
147: [ "y ne 0, [x,y]~[x,ay] if a^5=1", "p=1 mod 5" ]
148: [ "y ne 0, [x,y]~[x,ay] if a^5=1", "p=1 mod 5" ]
149: [ "y ne 0, [x,y]~[x,ay] if a^5=1", "p=1 mod 5" ]
151: [ "", "p=1 mod 5" ]
152: [ "", "p=1 mod 5" ]
153: [ "", "p=1 mod 5" ]
154: [ "", "p=1 mod 5" ]
155: [ "x ne 0, x~ax if a^5=1", "" ]
156: [ "x ne 0, x~ax if a^5=1", "p=1 mod 5" ]
157: [ "x ne 0, x~ax if a^5=1", "p=1 mod 5" ]
158: [ "x ne 0, x~ax if a^5=1", "p=1 mod 5" ]
159: [ "x ne 0, x~ax if a^5=1", "p=1 mod 5" ]
163: [ "", "p=1 mod 3" ]
164: [ "", "p=1 mod 3" ]
165: [ "", "p=1 mod 3" ]
166: [ "", "p=1 mod 3" ]
174: [ "", "p=1 mod 3" ]
175: [ "", "p=1 mod 3" ]
178: [ "", "p=1 mod 3" ]
179: [ "", "p=1 mod 3" ]
181: [ "", "p=1 mod 3" ]
182: [ "", "p=1 mod 3" ]
185: [ "", "p=1 mod 3" ]
186: [ "", "p=1 mod 3" ]
188: [ "", "p=1 mod 3" ]
189: [ "", "p=1 mod 3" ]
195: [ "", "p=1 mod 3" ]
196: [ "", "p=1 mod 3" ]
203: [ "", "p=1 mod 3" ]
204: [ "", "p=1 mod 3" ]
208: [ "", "p=1 mod 4" ]
210: [ "", "p=1 mod 3" ]
211: [ "", "p=1 mod 3" ]
212: [ "x~-x", "" ]
214: [ "x~-x", "" ]
215: [ "x ne 0, x~-x", "" ]
216: [ "x~-x", "" ]
217: [ "x ne 0, x~-x", "" ]
220: [ "", "p=1 mod 4" ]
222: [ "", "p=1 mod 3" ]
223: [ "", "p=1 mod 3" ]
224: [ "x~-x", "" ]
226: [ "x~-x", "" ]
227: [ "x ne 0, x~-x", "" ]
228: [ "x~-x", "" ]
229: [ "x ne 0, x~-x", "" ]
232: [ "", "p=1 mod 3" ]
233: [ "", "p=1 mod 3" ]
234: [ "x~ax if a^4=1", "p=1 mod 4" ]
235: [ "x~ax if a^4=1", "p=1 mod 4" ]
236: [ "x~-x", "p=3 mod 4" ]
237: [ "x~-x", "" ]
238: [ "x ne 0, x~-x", "" ]
239: [ "x~-x", "" ]
240: [ "x ne 0, x~-x", "" ]
243: [ "", "p=1 mod 3" ]
244: [ "", "p=1 mod 3" ]
245: [ "x~ax if a^4=1", "p=1 mod 4" ]
246: [ "x~ax if a^4=1", "p=1 mod 4" ]
247: [ "x~-x", "p=3 mod 4" ]
248: [ "x~-x", "" ]
249: [ "x ne 0, x~-x", "" ]
250: [ "x~-x", "" ]
251: [ "x ne 0, x~-x", "" ]
254: [ "", "p=1 mod 3" ]
255: [ "", "p=1 mod 3" ]
262: [ "", "p=1 mod 4" ]
263: [ "", "p=1 mod 4" ]
268: [ "", "p=1 mod 3" ]
269: [ "", "p=1 mod 3" ]
270: [ "", "p=1 mod 3" ]
271: [ "", "p=1 mod 3" ]
280: [ "", "p=1 mod 3" ]
281: [ "", "p=1 mod 3" ]
282: [ "", "p=1 mod 3" ]
283: [ "", "p=1 mod 3" ]
287: [ "", "p=1 mod 4" ]
288: [ "", "p=1 mod 4" ]
292: [ "x~-x", "" ]
298: [ "x~-x", "" ]
318: [ "", "p=1 mod 4" ]
319: [ "", "p=1 mod 4" ]
324: [ "x ne 0, x~ax if a^3=1", "" ]
325: [ "x ne 0, x~ax if a^3=1", "" ]
326: [ "", "p=1 mod 3" ]
327: [ "", "p=1 mod 3" ]
328: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
329: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
330: [ "", "p=1 mod 3" ]
331: [ "", "p=1 mod 3" ]
332: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
333: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
340: [ "", "p=1 mod 4" ]
341: [ "", "p=1 mod 4" ]
344: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
345: [ "y=1,w,...,w^5, [x,y]~[ax,y] if a^6=1", "p=1 mod 3" ]
346: [ "y=1,w, [x,y]~[-x,y]", "p=2 mod 3" ]
355: [ "", "p=1 mod 4" ]
356: [ "", "p=1 mod 4" ]
360: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
363: [ "", "p=1 mod 4" ]
364: [ "", "p=1 mod 4" ]
367: [ "x=w,w^2", "p=1 mod 3" ]
368: [ "x=w^3,w^4,...,w^8", "p=1 mod 9" ]
369: [ "y=1,w, [x,y]~[ax,y] if a^8=1", "" ]
370: [ "y=w^2,w^3, [x,y]~[ax,y] if a^8=1", "p=1 mod 4" ]
371: [ "y=w^4,w^5,w^6,w^7, [x,y]~[ax,y] if a^8=1", "p=1 mod 8" ]
374: [ "", "p=1 mod 4" ]
375: [ "", "p=1 mod 8" ]
376: [ "", "p=1 mod 8" ]
377: [ "x~-x", "" ]
378: [ "x~-x", "" ]
379: [ "x~-x", "p=1 mod 4" ]
380: [ "x~-x", "p=1 mod 4" ]
381: [ "[x,y]~[-x,y]", "" ]
382: [ "[x,y]~[-x,y]", "" ]
383: [ "x ne 0, [x,y,z]~[-x,-y,z]", "" ]
387: [ "", "p=1 mod 4" ]
388: [ "", "p=1 mod 4" ]
392: [ "[x,y]~[y,x]", "" ]
397: [ "", "p=1 mod 3" ]
398: [ "", "p=1 mod 3" ]
402: [ "x=w^2,w^3,w^4,w^5", "p=1 mod 3" ]
404: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
405: [ "unique z so that z^2-4 is not a square, [x,y,z]~[y,x,z]", "" ]
408: [ "", "p=1 mod 4" ]
409: [ "", "p=1 mod 8" ]
410: [ "", "p=1 mod 8" ]
411: [ "x~-x", "" ]
412: [ "x~-x", "" ]
413: [ "x~-x", "p=1 mod 4" ]
414: [ "x~-x", "p=1 mod 4" ]
415: [ "[x,y]~[-x,y]", "" ]
416: [ "[x,y]~[-x,y]", "" ]
417: [ "x ne 0, [x,y,z]~[-x,-y,z]", "" ]
418: [ "[x,y]~[\302\261x,ay] if a^3=1", "p=1 mod 3" ]
419: [ "[x,y]~[\302\261x,ay] if a^3=1", "p=1 mod 3" ]
420: [ "[x,y]~[\302\261x,ay] if a^3=1", "p=1 mod 3" ]
421: [ "[x,y]~[-x,y]", "p=2 mod 3" ]
424: [ "", "p=1 mod 3" ]
425: [ "", "p=1 mod 3" ]
428: [ "", "p=1 mod 3" ]
429: [ "", "p=1 mod 3" ]
432: [ "", "p=1 mod 4" ]
433: [ "", "p=1 mod 4" ]
434: [ "x~ax if a^4=1", "p=1 mod 4" ]
435: [ "x~ax if a^4=1", "p=1 mod 4" ]
436: [ "x~-x", "p=3 mod 4" ]
438: [ "", "p=1 mod 4" ]
439: [ "x ne 0, x~ax if a^4=1", "p=1 mod 4" ]
440: [ "x ne 0, x~ax if a^4=1", "p=1 mod 4" ]
441: [ "x ne 0, x~-x", "p=3 mod 4" ]
442: [ "[x,y]~[\302\261x,ay] if a^3=1", "p=1 mod 3" ]
443: [ "[x,y]~[\302\261x,ay] if a^3=1", "p=1 mod 3" ]
444: [ "[x,y]~[\302\261x,ay] if a^3=1", "p=1 mod 3" ]
445: [ "[x,y]~[-x,y]", "p=2 mod 3" ]
448: [ "", "p=1 mod 3" ]
449: [ "", "p=1 mod 3" ]
452: [ "", "p=1 mod 3" ]
453: [ "", "p=1 mod 3" ]
456: [ "", "p=1 mod 4" ]
457: [ "", "p=1 mod 4" ]
458: [ "x~ax if a^4=1", "p=1 mod 4" ]
459: [ "x~ax if a^4=1", "p=1 mod 4" ]
460: [ "x~-x", "p=3 mod 4" ]
462: [ "", "p=1 mod 4" ]
463: [ "x ne 0, x~ax if a^4=1", "p=1 mod 4" ]
464: [ "x ne 0, x~ax if a^4=1", "p=1 mod 4" ]
465: [ "x ne 0, x~-x", "p=3 mod 4" ]
471: [ "", "p=1 mod 4" ]
472: [ "", "p=1 mod 4" ]
476: [ "x ne 0, [x,y]~[ax,a^2y] if a^3=1", "" ]
477: [ "x ne 0, [x,y]~[ax,a^2y] if a^3=1", "p=1 mod 3" ]
478: [ "x ne 0, [x,y]~[ax,a^2y] if a^3=1", "p=1 mod 3" ]
479: [ "x~ax if a^3=1", "" ]
480: [ "x~ax if a^3=1", "p=1 mod 3" ]
481: [ "x~ax if a^3=1", "p=1 mod 3" ]
482: [ "[x,y]~[ax,y] if a^3=1", "" ]
483: [ "[x,y]~[ax,y] if a^3=1", "p=1 mod 3" ]
484: [ "[x,y]~[ax,y] if a^3=1", "p=1 mod 3" ]
490: [ "x~-x", "" ]
491: [ "x ne 0, unique y so that 1-wy^2 is not a square, [x,y]~[-x,y]", "" ]
492: [ "unique x so that 1-wx^2 is not a square", "" ]
507: [ "", "p=1 mod 3" ]
508: [ "", "p=1 mod 3" ]
509: [ "", "p=1 mod 3" ]
510: [ "", "p=1 mod 3" ]
517: [ "", "p=1 mod 4" ]
518: [ "", "p=1 mod 4" ]
519: [ "", "p=1 mod 4" ]
520: [ "", "p=1 mod 4" ]
524: [ "x=w^2,w^3,w^4,w^5", "p=1 mod 3" ]
526: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
529: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
532: [ "", "p=1 mod 4" ]
533: [ "", "p=1 mod 4" ]
537: [ "", "p=1 mod 3" ]
538: [ "", "p=1 mod 3" ]
539: [ "", "p=1 mod 3" ]
540: [ "", "p=1 mod 3" ]
541: [ "", "p=1 mod 3" ]
542: [ "", "p=1 mod 3" ]
543: [ "x ne 0", "p=2 mod 3" ]
544: [ "x ne 0", "p=2 mod 3" ]
545: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
546: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
547: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
548: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
549: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
550: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
551: [ "", "p=2 mod 3" ]
552: [ "x ne 0", "p=2 mod 3" ]
553: [ "x~ax if a^3=1", "p=1 mod 3" ]
554: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
555: [ "x~ax if a^3=1", "p=1 mod 3" ]
556: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
557: [ "x~ax if a^3=1", "p=1 mod 3" ]
558: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
559: [ "x~-x", "" ]
560: [ "x~-x", "" ]
566: [ "x=w^2,w^3,w^4,w^5", "p=1 mod 3" ]
569: [ "", "p=1 mod 4" ]
570: [ "", "p=1 mod 4" ]
573: [ "", "p=1 mod 4" ]
574: [ "", "p=1 mod 4" ]
582: [ "", "p=1 mod 4" ]
583: [ "", "p=1 mod 4" ]
586: [ "", "p=1 mod 4" ]
587: [ "", "p=1 mod 4" ]
595: [ "", "p=1 mod 4" ]
596: [ "", "p=1 mod 4" ]
598: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
600: [ "x ne 0", "" ]
603: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
606: [ "x=w^2,w^3,w^4,w^5", "p=1 mod 3" ]
608: [ "x ne 0", "" ]
609: [ "x~-x", "p=3 mod 4" ]
610: [ "x~-x", "p=3 mod 4" ]
611: [ "x ne 0", "p=3 mod 4" ]
612: [ "x ne 0", "p=3 mod 4" ]
613: [ "x~ax if a^4=1", "p=1 mod 4" ]
614: [ "x ne 0, x~-x", "p=1 mod 4" ]
615: [ "x~ax if a^4=1", "p=1 mod 4" ]
616: [ "x ne 0, x~-x", "p=1 mod 4" ]
617: [ "x~ax if a^4=1", "p=1 mod 4" ]
618: [ "x ne 0, x~-x", "p=1 mod 4" ]
619: [ "x~ax if a^4=1", "p=1 mod 4" ]
620: [ "x ne 0, x~-x", "p=1 mod 4" ]
625: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
629: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
632: [ "x=w^2,w^3,w^4,w^5", "p=1 mod 3" ]
635: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
638: [ "", "p=1 mod 4" ]
639: [ "", "p=1 mod 4" ]
640: [ "x=w^4,w^5,w^6,w^7", "p=1 mod 8" ]
643: [ "x=w,w^2,w^3,w^4", "p=1 mod 5" ]
645: [ "x=w,w^2,...,w^6", "p=1 mod 7" ]
647: [ "x ne 0", "" ]
649: [ "x ne 0", "" ]
653: [ "y=w^2,w^3,w^4,w^5", "p=1 mod 3" ]
654: [ "", "p ne 1 mod 5" ]
655: [ "z=1,w,w^2,w^3,w^4, [x,y,z]~[x,ay,z] if a^5=1", "p=1 mod 5" ]
656: [ "[x,y]~[x,-y]", "" ]
657: [ "[x,y]~[x,-y]", "" ]
675: [ "x ne 0", "" ]
706: [ "x ne 0, x~x^-1", "" ]
713: [ "1+4x not a square", "" ]
729: [ "See Notes5.12", "" ]
730: [ "See Notes5.12", "" ]
740: [ "x~ax if a^3=1", "" ]
741: [ "x~ax if a^3=1", "p=1 mod 3" ]
742: [ "x~ax if a^3=1", "p=1 mod 3" ]
743: [ "x~-x", "" ]
744: [ "x~-x", "" ]
745: [ "[x,y]~[x,-y]", "p=3 mod 4" ]
746: [ "x~-x", "p=1 mod 4" ]
747: [ "x~-x", "p=1 mod 4" ]
748: [ "y ne 0, [x,y]~[a^2x,ay] if a^4=1", "p=1 mod 4" ]
749: [ "y ne 0, [x,y]~[a^2x,ay] if a^4=1", "p=1 mod 4" ]
750: [ "x~-x", "" ]
751: [ "x~-x", "" ]
752: [ "[x,y]~[x,-y]", "p=3 mod 4" ]
753: [ "x~-x", "p=1 mod 4" ]
754: [ "x~-x", "p=1 mod 4" ]
755: [ "y ne 0, [x,y]~[a^2x,ay] if a^4=1", "p=1 mod 4" ]
756: [ "y ne 0, [x,y]~[a^2x,ay] if a^4=1", "p=1 mod 4" ]
757: [ "See Notes5.14, Case 1", "" ]
758: [ "See Notes5.14, Case 2", "" ]
759: [ "See Notes5.14, Case 3", "" ]
760: [ "See Notes5.14, Case 4", "" ]
761: [ "See Notes5.14, Case 5", "" ]
762: [ "See Notes5.14, Case 6", "" ]
763: [ "See Notes5.14, Case 7", "" ]
764: [ "See Notes5.14, Case 8", "" ]
765: [ "See Notes5.14, Case 9", "" ]
766: [ "See Notes5.14, Case 10", "" ]
767: [ "See Notes5.14, Case 11", "" ]
768: [ "See Notes5.14, Case 12", "" ]
769: [ "See Notes5.14, Case 13", "" ]
770: [ "See Notes5.14, Case 14", "" ]
771: [ "See Notes5.14, Case 15", "" ]
772: [ "See Notes5.14, Case 16", "" ]
773: [ "See Notes5.14, Case 17", "" ]
774: [ "See Notes5.14, Case 18", "p=1 mod 3" ]
775: [ "See Notes5.14, Case 19", "" ]
776: [ "See Notes5.14, Case 20", "" ]
777: [ "See Notes5.14, Case 21", "" ]
778: [ "See Notes5.14, Case 22", "" ]
779: [ "See Notes5.14, Case 23", "" ]
780: [ "See Notes5.14, Case 24", "p=2 mod 3" ]
799: [ "", "p=1 mod 4" ]
800: [ "", "p=1 mod 4" ]
806: [ "", "p=1 mod 4" ]
807: [ "", "p=1 mod 4" ]
811: [ "x ne 0", "" ]
812: [ "x ne 0", "" ]
813: [ "x ne 0", "" ]
814: [ "x ne 0", "" ]
816: [ "[x,y]~[-x,y]", "" ]
818: [ "x ne 0, x~ax if a^4=1", "" ]
819: [ "", "p=1 mod 4" ]
820: [ "x ne 0, x~ax if a^4=1", "p=1 mod 4" ]
824: [ "x ne 0", "" ]
825: [ "x ne 0", "" ]
826: [ "x ne 0", "" ]
827: [ "x ne 0", "" ]
829: [ "[x,y]~[-x,y]", "" ]
831: [ "x ne 0, x~ax if a^4=1", "" ]
832: [ "", "p=1 mod 4" ]
833: [ "x ne 0, x~ax if a^4=1", "p=1 mod 4" ]
846: [ "x ne 0", "" ]
847: [ "x ne 0", "" ]
848: [ "x ne 0", "" ]
849: [ "x ne 0", "" ]
850: [ "x ne 0", "" ]
851: [ "x ne 0", "" ]
852: [ "x ne 0, [x,y]~[x,-y]", "" ]
853: [ "x ne 0", "" ]
854: [ "x ne 0", "" ]
855: [ "x ne 0, [x,y]~[x,-y]", "" ]
856: [ "x ne 0", "", "[x,z]->[x,y]" ]
857: [ "x ne 0", "", "[x,z]->[x,y]" ]
858: [ "x ne 0", "" ]
859: [ "x ne 1", "" ]
860: [ "x ne 1", "" ]
861: [ "x ne 1", "" ]
870: [ "[x,y,z]~[-x,y,z]", "", "[y,z,t]->[y,z,x]" ]
871: [ "x ne 0, [x,y,z,t]~[-x,y,z,-t]", "" ]
872: [ "[x,y,z]~[-x,y,z]", "", "[y,z,t]->[y,z,x]" ]
873: [ "x ne 0, [x,y,z,t]~[-x,y,z,-t]", "" ]
897: [ "x ne 0, x~ax if a^3=1", "" ]
898: [ "", "p=1 mod 3" ]
899: [ "", "p=1 mod 3" ]
900: [ "", "p=1 mod 3" ]
901: [ "", "p=1 mod 3" ]
902: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
903: [ "", "p=1 mod 3" ]
904: [ "", "p=1 mod 3" ]
905: [ "", "p=1 mod 3" ]
906: [ "", "p=1 mod 3" ]
907: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
912: [ "", "p=2 mod 3" ]
913: [ "", "p=1 mod 3" ]
914: [ "", "p=1 mod 3" ]
915: [ "", "p=1 mod 3" ]
916: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
917: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
918: [ "x ne 0, x~ax if a^3=1", "p=1 mod 3" ]
919: [ "x ne 0, [x,y]~[ax,ay] if a^3=1", "p=1 mod 3" ]
920: [ "x ne 0, [x,y]~[ax,ay] if a^3=1", "p=1 mod 3" ]
921: [ "x ne 0, [x,y]~[ax,ay] if a^3=1", "p=1 mod 3" ]
922: [ "", "p=1 mod 4" ]
923: [ "", "p=1 mod 4" ]
924: [ "", "p=1 mod 4" ]
925: [ "", "p=1 mod 4, p=1 mod 3" ]
926: [ "", "p=1 mod 4, p=1 mod 3" ]
927: [ "", "p=1 mod 4, p=1 mod 3" ]
928: [ "", "p=1 mod 4, p=1 mod 3" ]
929: [ "x~-x", "p=1 mod 4" ]
930: [ "x~-x", "p=1 mod 4" ]
931: [ "x~-x", "p=1 mod 4" ]
932: [ "x~-x", "p=1 mod 4" ]
933: [ "[x,y]~[-x,y]", "p=1 mod 4" ]
934: [ "[x,y]~[-x,y]", "p=1 mod 4" ]
935: [ "[x,y]~[-x,y]", "p=1 mod 4" ]
936: [ "[x,y]~[-x,y]", "p=1 mod 4" ]
937: [ "", "p=1 mod 4" ]
938: [ "", "p=1 mod 4" ]
939: [ "", "p=3 mod 4" ]
940: [ "", "p=3 mod 4" ]
941: [ "", "p=3 mod 4" ]
942: [ "", "p=3 mod 4, p=1 mod 3" ]
943: [ "", "p=3 mod 4, p=1 mod 3" ]
944: [ "", "p=3 mod 4, p=1 mod 3" ]
945: [ "", "p=3 mod 4, p=1 mod 3" ]
946: [ "", "p=3 mod 4" ]
947: [ "", "p=3 mod 4" ]
948: [ "", "p=3 mod 4" ]
949: [ "", "p=3 mod 4" ]
950: [ "", "p=3 mod 4" ]
951: [ "", "p=3 mod 4" ]
953: [ "", "p=1 mod 5" ]
954: [ "", "p=1 mod 5" ]
955: [ "", "p=1 mod 5" ]
956: [ "", "p=1 mod 5" ]
957: [ "x ne 0, x~ax if a^5=1", "" ]
958: [ "x ne 0, x~ax if a^5=1", "p=1 mod 5" ]
959: [ "x ne 0, x~ax if a^5=1", "p=1 mod 5" ]
960: [ "x ne 0, x~ax if a^5=1", "p=1 mod 5" ]
961: [ "x ne 0, x~ax if a^5=1", "p=1 mod 5" ]
962: [ "x ne 0, [x,y]~[ax,a^3y] if a^5=1", "" ]
963: [ "x ne 0, [x,y]~[ax,a^3y] if a^5=1", "p=1 mod 5" ]
964: [ "x ne 0, [x,y]~[ax,a^3y] if a^5=1", "p=1 mod 5" ]
965: [ "x ne 0, [x,y]~[ax,a^3y] if a^5=1", "p=1 mod 5" ]
966: [ "x ne 0, [x,y]~[ax,a^3y] if a^5=1", "p=1 mod 5" ]
968: [ "y ne 0, [x,y]~[x,ay] if a^3=1", "" ]
969: [ "", "p=1 mod 3" ]
970: [ "y ne 0, [x,y]~[x,ay] if a^3=1", "p=1 mod 3" ]
971: [ "", "p=1 mod 3" ]
972: [ "y ne 0, [x,y]~[x,ay] if a^3=1", "p=1 mod 3" ]
973: [ "x ne 0, [x,y,z]~[ax,y,a^2z] if a^3=1", "" ]
974: [ "x ne 0, [x,y,z]~[ax,y,a^2z] if a^3=1", "p=1 mod 3" ]
975: [ "x ne 0, [x,y,z]~[ax,y,a^2z] if a^3=1", "p=1 mod 3" ]
979: [ "x ne 0", "" ]
1003: [ "x~ax if a^3=1", "" ]
1004: [ "", "p=1 mod 3" ]
1005: [ "", "p=1 mod 3" ]
1006: [ "x~ax if a^3=1", "p=1 mod 3" ]
1007: [ "", "p=1 mod 3" ]
1008: [ "", "p=1 mod 3" ]
1009: [ "x~ax if a^3=1", "p=1 mod 3" ]
1018: [ "", "p=1 mod 4" ]
1019: [ "", "p=1 mod 4" ]
1076: [ "", "p=1 mod 4" ]
1077: [ "", "p=1 mod 4" ]
1083: [ "", "p=1 mod 4" ]
1084: [ "x~1-x", "" ]
1085: [ "x~w-x", "" ]
1087: [ "y ne 1/2, [x,y]~[-x,1-y]", "" ]
1088: [ "x~-x", "" ]
1095: [ "", "p=1 mod 3" ]
--> --------------------

--> maximum size reached

--> --------------------